Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697100592.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697100592
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 584K
-rw-r--r-- 1 mcc users 6.3K Feb 25 16:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 16:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 177K 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 1678794834330

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=BusinessProcesses-PT-18
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:53:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:53:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:53:56] [INFO ] Load time of PNML (sax parser for PT used): 86 ms
[2023-03-14 11:53:56] [INFO ] Transformed 717 places.
[2023-03-14 11:53:56] [INFO ] Transformed 642 transitions.
[2023-03-14 11:53:56] [INFO ] Found NUPN structural information;
[2023-03-14 11:53:56] [INFO ] Parsed PT model containing 717 places and 642 transitions and 1860 arcs in 157 ms.
[2023-03-14 11:53:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 717 places, 642 transitions and 1860 arcs took 10 ms.
Total runtime 198 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 18
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: 717 places, 642 transitions, 1860 arcs.
AT ITER 0 NEW BEST:: SOT 292623 SOS 111544 HAS SOPS 111544 HAS SOUS 108469 HAS SOUPS 108469 WITH SCORE 108580.544
AT ITER 3 NEW BEST:: SOT 292623 SOS 111544 HAS SOPS 111544 HAS SOUS 108467 HAS SOUPS 108467 WITH SCORE 108578.544
AT ITER 14 NEW BEST:: SOT 292623 SOS 111475 HAS SOPS 111475 HAS SOUS 108466 HAS SOUPS 108466 WITH SCORE 108577.475
AT ITER 33 NEW BEST:: SOT 292623 SOS 111420 HAS SOPS 111420 HAS SOUS 108411 HAS SOUPS 108411 WITH SCORE 108522.42
AT ITER 45 NEW BEST:: SOT 292540 SOS 111386 HAS SOPS 111386 HAS SOUS 108377 HAS SOUPS 108377 WITH SCORE 108488.386
AT ITER 51 NEW BEST:: SOT 292330 SOS 111176 HAS SOPS 111176 HAS SOUS 108167 HAS SOUPS 108167 WITH SCORE 108278.176
AT ITER 53 NEW BEST:: SOT 285564 SOS 134282 HAS SOPS 134282 HAS SOUS 102238 HAS SOUPS 102238 WITH SCORE 102372.282
AT ITER 61 NEW BEST:: SOT 285346 SOS 133832 HAS SOPS 133832 HAS SOUS 101957 HAS SOUPS 101957 WITH SCORE 102090.832
AT ITER 63 NEW BEST:: SOT 285275 SOS 133742 HAS SOPS 133742 HAS SOUS 101936 HAS SOUPS 101936 WITH SCORE 102069.742
AT ITER 75 NEW BEST:: SOT 285274 SOS 133741 HAS SOPS 133741 HAS SOUS 101935 HAS SOUPS 101935 WITH SCORE 102068.741
AT ITER 76 NEW BEST:: SOT 284980 SOS 133327 HAS SOPS 133327 HAS SOUS 101696 HAS SOUPS 101696 WITH SCORE 101829.327
AT ITER 81 NEW BEST:: SOT 284143 SOS 132508 HAS SOPS 132508 HAS SOUS 100877 HAS SOUPS 100877 WITH SCORE 101009.508
AT ITER 90 NEW BEST:: SOT 282626 SOS 130991 HAS SOPS 130991 HAS SOUS 99461 HAS SOUPS 99461 WITH SCORE 99591.991
AT ITER 94 NEW BEST:: SOT 282620 SOS 130990 HAS SOPS 130990 HAS SOUS 99460 HAS SOUPS 99460 WITH SCORE 99590.99
AT ITER 98 NEW BEST:: SOT 282386 SOS 130522 HAS SOPS 130522 HAS SOUS 99214 HAS SOUPS 99214 WITH SCORE 99344.522
AT ITER 100 NEW BEST:: SOT 282280 SOS 130363 HAS SOPS 130363 HAS SOUS 99108 HAS SOUPS 99108 WITH SCORE 99238.363
AT ITER 107 NEW BEST:: SOT 282280 SOS 130359 HAS SOPS 130359 HAS SOUS 99107 HAS SOUPS 99107 WITH SCORE 99237.359
AT ITER 118 NEW BEST:: SOT 281856 SOS 129723 HAS SOPS 129723 HAS SOUS 98683 HAS SOUPS 98683 WITH SCORE 98812.723
AT ITER 120 NEW BEST:: SOT 281669 SOS 129349 HAS SOPS 129349 HAS SOUS 98309 HAS SOUPS 98309 WITH SCORE 98438.349
AT ITER 122 NEW BEST:: SOT 281623 SOS 129397 HAS SOPS 129397 HAS SOUS 98298 HAS SOUPS 98298 WITH SCORE 98427.397
AT ITER 125 NEW BEST:: SOT 281623 SOS 129279 HAS SOPS 129279 HAS SOUS 98164 HAS SOUPS 98164 WITH SCORE 98293.279
AT ITER 153 NEW BEST:: SOT 281376 SOS 128786 HAS SOPS 128786 HAS SOUS 97828 HAS SOUPS 97828 WITH SCORE 97956.786
AT ITER 157 NEW BEST:: SOT 281397 SOS 128406 HAS SOPS 128406 HAS SOUS 97715 HAS SOUPS 97715 WITH SCORE 97843.406
AT ITER 160 NEW BEST:: SOT 280927 SOS 127749 HAS SOPS 127749 HAS SOUS 97341 HAS SOUPS 97341 WITH SCORE 97468.749
AT ITER 161 NEW BEST:: SOT 280450 SOS 127082 HAS SOPS 127082 HAS SOUS 96961 HAS SOUPS 96961 WITH SCORE 97088.082
AT ITER 190 NEW BEST:: SOT 280398 SOS 127030 HAS SOPS 127030 HAS SOUS 96961 HAS SOUPS 96961 WITH SCORE 97088.03
AT ITER 192 NEW BEST:: SOT 280382 SOS 127014 HAS SOPS 127014 HAS SOUS 96916 HAS SOUPS 96916 WITH SCORE 97043.014
AT ITER 196 NEW BEST:: SOT 280263 SOS 126894 HAS SOPS 126894 HAS SOUS 96914 HAS SOUPS 96914 WITH SCORE 97040.894
AT ITER 197 NEW BEST:: SOT 280136 SOS 126915 HAS SOPS 126915 HAS SOUS 96870 HAS SOUPS 96870 WITH SCORE 96996.915
AT ITER 198 NEW BEST:: SOT 280299 SOS 126646 HAS SOPS 126646 HAS SOUS 96854 HAS SOUPS 96854 WITH SCORE 96980.646
AT ITER 242 NEW BEST:: SOT 280228 SOS 126504 HAS SOPS 126504 HAS SOUS 96712 HAS SOUPS 96712 WITH SCORE 96838.504
AT ITER 248 NEW BEST:: SOT 280204 SOS 126456 HAS SOPS 126456 HAS SOUS 96664 HAS SOUPS 96664 WITH SCORE 96790.456
AT ITER 275 NEW BEST:: SOT 279998 SOS 126034 HAS SOPS 126034 HAS SOUS 96412 HAS SOUPS 96412 WITH SCORE 96538.034
AT ITER 281 NEW BEST:: SOT 279833 SOS 125688 HAS SOPS 125688 HAS SOUS 96263 HAS SOUPS 96263 WITH SCORE 96388.688
AT ITER 282 NEW BEST:: SOT 279873 SOS 125326 HAS SOPS 125326 HAS SOUS 95900 HAS SOUPS 95900 WITH SCORE 96025.326
AT ITER 285 NEW BEST:: SOT 279845 SOS 125297 HAS SOPS 125297 HAS SOUS 95898 HAS SOUPS 95898 WITH SCORE 96023.297
AT ITER 289 NEW BEST:: SOT 279845 SOS 125225 HAS SOPS 125225 HAS SOUS 95898 HAS SOUPS 95898 WITH SCORE 96023.225
AT ITER 292 NEW BEST:: SOT 279706 SOS 125096 HAS SOPS 125096 HAS SOUS 95819 HAS SOUPS 95819 WITH SCORE 95944.096
AT ITER 295 NEW BEST:: SOT 279555 SOS 124945 HAS SOPS 124945 HAS SOUS 95668 HAS SOUPS 95668 WITH SCORE 95792.945
AT ITER 316 NEW BEST:: SOT 279555 SOS 124939 HAS SOPS 124939 HAS SOUS 95668 HAS SOUPS 95668 WITH SCORE 95792.939
AT ITER 318 NEW BEST:: SOT 279345 SOS 124519 HAS SOPS 124519 HAS SOUS 95301 HAS SOUPS 95301 WITH SCORE 95425.519
AT ITER 332 NEW BEST:: SOT 279344 SOS 124517 HAS SOPS 124517 HAS SOUS 95299 HAS SOUPS 95299 WITH SCORE 95423.517
AT ITER 350 NEW BEST:: SOT 279400 SOS 124521 HAS SOPS 124521 HAS SOUS 95226 HAS SOUPS 95226 WITH SCORE 95350.521
AT ITER 354 NEW BEST:: SOT 279378 SOS 124477 HAS SOPS 124477 HAS SOUS 95182 HAS SOUPS 95182 WITH SCORE 95306.477
AT ITER 357 NEW BEST:: SOT 279199 SOS 124113 HAS SOPS 124113 HAS SOUS 95093 HAS SOUPS 95093 WITH SCORE 95217.113
AT ITER 358 NEW BEST:: SOT 279081 SOS 123454 HAS SOPS 123454 HAS SOUS 94709 HAS SOUPS 94709 WITH SCORE 94832.454
AT ITER 367 NEW BEST:: SOT 278915 SOS 123122 HAS SOPS 123122 HAS SOUS 94697 HAS SOUPS 94697 WITH SCORE 94820.122
AT ITER 368 NEW BEST:: SOT 278699 SOS 122466 HAS SOPS 122466 HAS SOUS 94031 HAS SOUPS 94031 WITH SCORE 94153.466
AT ITER 381 NEW BEST:: SOT 278704 SOS 122216 HAS SOPS 122216 HAS SOUS 94004 HAS SOUPS 94004 WITH SCORE 94126.216
AT ITER 383 NEW BEST:: SOT 277129 SOS 120536 HAS SOPS 120536 HAS SOUS 92324 HAS SOUPS 92324 WITH SCORE 92444.536
AT ITER 395 NEW BEST:: SOT 277128 SOS 120534 HAS SOPS 120534 HAS SOUS 92322 HAS SOUPS 92322 WITH SCORE 92442.534
AT ITER 452 NEW BEST:: SOT 277024 SOS 120080 HAS SOPS 120080 HAS SOUS 92061 HAS SOUPS 92061 WITH SCORE 92181.08
AT ITER 453 NEW BEST:: SOT 276862 SOS 119840 HAS SOPS 119840 HAS SOUS 91821 HAS SOUPS 91821 WITH SCORE 91940.84
AT ITER 477 NEW BEST:: SOT 276936 SOS 119464 HAS SOPS 119464 HAS SOUS 91684 HAS SOUPS 91684 WITH SCORE 91803.464
AT ITER 522 NEW BEST:: SOT 276914 SOS 119420 HAS SOPS 119420 HAS SOUS 91640 HAS SOUPS 91640 WITH SCORE 91759.42
AT ITER 524 NEW BEST:: SOT 276678 SOS 119179 HAS SOPS 119179 HAS SOUS 91630 HAS SOUPS 91630 WITH SCORE 91749.179
AT ITER 525 NEW BEST:: SOT 276678 SOS 119075 HAS SOPS 119075 HAS SOUS 91526 HAS SOUPS 91526 WITH SCORE 91645.075
AT ITER 527 NEW BEST:: SOT 276756 SOS 119152 HAS SOPS 119152 HAS SOUS 91524 HAS SOUPS 91524 WITH SCORE 91643.152
AT ITER 530 NEW BEST:: SOT 276755 SOS 119151 HAS SOPS 119151 HAS SOUS 91523 HAS SOUPS 91523 WITH SCORE 91642.151
AT ITER 537 NEW BEST:: SOT 276754 SOS 119149 HAS SOPS 119149 HAS SOUS 91521 HAS SOUPS 91521 WITH SCORE 91640.149
AT ITER 543 NEW BEST:: SOT 276620 SOS 118881 HAS SOPS 118881 HAS SOUS 91455 HAS SOUPS 91455 WITH SCORE 91573.881
AT ITER 545 NEW BEST:: SOT 276595 SOS 118826 HAS SOPS 118826 HAS SOUS 91442 HAS SOUPS 91442 WITH SCORE 91560.826
AT ITER 546 NEW BEST:: SOT 276595 SOS 118826 HAS SOPS 118826 HAS SOUS 91440 HAS SOUPS 91440 WITH SCORE 91558.826
AT ITER 559 NEW BEST:: SOT 276648 SOS 118455 HAS SOPS 118455 HAS SOUS 91381 HAS SOUPS 91381 WITH SCORE 91499.455
AT ITER 562 NEW BEST:: SOT 276648 SOS 118045 HAS SOPS 118045 HAS SOUS 90982 HAS SOUPS 90982 WITH SCORE 91100.045
AT ITER 566 NEW BEST:: SOT 276549 SOS 117564 HAS SOPS 117564 HAS SOUS 90798 HAS SOUPS 90798 WITH SCORE 90915.564
AT ITER 568 NEW BEST:: SOT 276537 SOS 117540 HAS SOPS 117540 HAS SOUS 90786 HAS SOUPS 90786 WITH SCORE 90903.54
AT ITER 570 NEW BEST:: SOT 276462 SOS 117444 HAS SOPS 117444 HAS SOUS 90690 HAS SOUPS 90690 WITH SCORE 90807.444
AT ITER 581 NEW BEST:: SOT 276360 SOS 117240 HAS SOPS 117240 HAS SOUS 90577 HAS SOUPS 90577 WITH SCORE 90694.24
AT ITER 587 NEW BEST:: SOT 276245 SOS 117119 HAS SOPS 117119 HAS SOUS 90456 HAS SOUPS 90456 WITH SCORE 90573.119
AT ITER 607 NEW BEST:: SOT 276149 SOS 117022 HAS SOPS 117022 HAS SOUS 90358 HAS SOUPS 90358 WITH SCORE 90475.022
AT ITER 622 NEW BEST:: SOT 276096 SOS 116969 HAS SOPS 116969 HAS SOUS 90305 HAS SOUPS 90305 WITH SCORE 90421.969
AT ITER 626 NEW BEST:: SOT 275963 SOS 116835 HAS SOPS 116835 HAS SOUS 90303 HAS SOUPS 90303 WITH SCORE 90419.835
AT ITER 627 NEW BEST:: SOT 275949 SOS 116807 HAS SOPS 116807 HAS SOUS 90275 HAS SOUPS 90275 WITH SCORE 90391.807
AT ITER 634 NEW BEST:: SOT 275882 SOS 116740 HAS SOPS 116740 HAS SOUS 90208 HAS SOUPS 90208 WITH SCORE 90324.74
AT ITER 641 NEW BEST:: SOT 275882 SOS 116631 HAS SOPS 116631 HAS SOUS 90099 HAS SOUPS 90099 WITH SCORE 90215.631
AT ITER 652 NEW BEST:: SOT 275934 SOS 116683 HAS SOPS 116683 HAS SOUS 90027 HAS SOUPS 90027 WITH SCORE 90143.683
AT ITER 655 NEW BEST:: SOT 275957 SOS 116706 HAS SOPS 116706 HAS SOUS 89961 HAS SOUPS 89961 WITH SCORE 90077.706
AT ITER 664 NEW BEST:: SOT 275587 SOS 115938 HAS SOPS 115938 HAS SOUS 89647 HAS SOUPS 89647 WITH SCORE 89762.938
AT ITER 666 NEW BEST:: SOT 275352 SOS 115395 HAS SOPS 115395 HAS SOUS 89380 HAS SOUPS 89380 WITH SCORE 89495.395
AT ITER 673 NEW BEST:: SOT 275352 SOS 115270 HAS SOPS 115270 HAS SOUS 89321 HAS SOUPS 89321 WITH SCORE 89436.27
AT ITER 680 NEW BEST:: SOT 275643 SOS 115516 HAS SOPS 115516 HAS SOUS 89261 HAS SOUPS 89261 WITH SCORE 89376.516
AT ITER 681 NEW BEST:: SOT 275689 SOS 115436 HAS SOPS 115436 HAS SOUS 89181 HAS SOUPS 89181 WITH SCORE 89296.436
AT ITER 694 NEW BEST:: SOT 275655 SOS 115402 HAS SOPS 115402 HAS SOUS 89147 HAS SOUPS 89147 WITH SCORE 89262.402
AT ITER 708 NEW BEST:: SOT 275628 SOS 115348 HAS SOPS 115348 HAS SOUS 89110 HAS SOUPS 89110 WITH SCORE 89225.348
AT ITER 711 NEW BEST:: SOT 275582 SOS 115256 HAS SOPS 115256 HAS SOUS 89018 HAS SOUPS 89018 WITH SCORE 89133.256
AT ITER 722 NEW BEST:: SOT 275538 SOS 115168 HAS SOPS 115168 HAS SOUS 88930 HAS SOUPS 88930 WITH SCORE 89045.168
AT ITER 723 NEW BEST:: SOT 275528 SOS 115167 HAS SOPS 115167 HAS SOUS 88929 HAS SOUPS 88929 WITH SCORE 89044.167
AT ITER 728 NEW BEST:: SOT 275619 SOS 115157 HAS SOPS 115157 HAS SOUS 88919 HAS SOUPS 88919 WITH SCORE 89034.157
AT ITER 729 NEW BEST:: SOT 275456 SOS 114831 HAS SOPS 114831 HAS SOUS 88755 HAS SOUPS 88755 WITH SCORE 88869.831
AT ITER 730 NEW BEST:: SOT 275463 SOS 114609 HAS SOPS 114609 HAS SOUS 88365 HAS SOUPS 88365 WITH SCORE 88479.609
AT ITER 739 NEW BEST:: SOT 275306 SOS 114452 HAS SOPS 114452 HAS SOUS 88365 HAS SOUPS 88365 WITH SCORE 88479.452
AT ITER 744 NEW BEST:: SOT 275274 SOS 114356 HAS SOPS 114356 HAS SOUS 88269 HAS SOUPS 88269 WITH SCORE 88383.356
AT ITER 746 NEW BEST:: SOT 275320 SOS 114006 HAS SOPS 114006 HAS SOUS 88195 HAS SOUPS 88195 WITH SCORE 88309.006
AT ITER 755 NEW BEST:: SOT 275319 SOS 113645 HAS SOPS 113645 HAS SOUS 88055 HAS SOUPS 88055 WITH SCORE 88168.645
AT ITER 758 NEW BEST:: SOT 275284 SOS 113537 HAS SOPS 113537 HAS SOUS 87947 HAS SOUPS 87947 WITH SCORE 88060.537
AT ITER 772 NEW BEST:: SOT 275283 SOS 113507 HAS SOPS 113507 HAS SOUS 87917 HAS SOUPS 87917 WITH SCORE 88030.507
AT ITER 788 NEW BEST:: SOT 275196 SOS 113479 HAS SOPS 113479 HAS SOUS 87889 HAS SOUPS 87889 WITH SCORE 88002.479
AT ITER 796 NEW BEST:: SOT 275196 SOS 113219 HAS SOPS 113219 HAS SOUS 87629 HAS SOUPS 87629 WITH SCORE 87742.219
AT ITER 798 NEW BEST:: SOT 274958 SOS 112736 HAS SOPS 112736 HAS SOUS 87271 HAS SOUPS 87271 WITH SCORE 87383.736
AT ITER 801 NEW BEST:: SOT 274957 SOS 112735 HAS SOPS 112735 HAS SOUS 87270 HAS SOUPS 87270 WITH SCORE 87382.735
AT ITER 802 NEW BEST:: SOT 274921 SOS 112699 HAS SOPS 112699 HAS SOUS 87252 HAS SOUPS 87252 WITH SCORE 87364.699
AT ITER 808 NEW BEST:: SOT 274877 SOS 112601 HAS SOPS 112601 HAS SOUS 87154 HAS SOUPS 87154 WITH SCORE 87266.601
AT ITER 819 NEW BEST:: SOT 274866 SOS 112579 HAS SOPS 112579 HAS SOUS 87132 HAS SOUPS 87132 WITH SCORE 87244.579
AT ITER 836 NEW BEST:: SOT 273176 SOS 110879 HAS SOPS 110879 HAS SOUS 85432 HAS SOUPS 85432 WITH SCORE 85542.879
AT ITER 841 NEW BEST:: SOT 273016 SOS 110421 HAS SOPS 110421 HAS SOUS 85402 HAS SOUPS 85402 WITH SCORE 85512.421
AT ITER 854 NEW BEST:: SOT 272978 SOS 110345 HAS SOPS 110345 HAS SOUS 85295 HAS SOUPS 85295 WITH SCORE 85405.345
AT ITER 855 NEW BEST:: SOT 273145 SOS 110305 HAS SOPS 110305 HAS SOUS 85255 HAS SOUPS 85255 WITH SCORE 85365.305
AT ITER 858 NEW BEST:: SOT 273142 SOS 110299 HAS SOPS 110299 HAS SOUS 85249 HAS SOUPS 85249 WITH SCORE 85359.299
AT ITER 866 NEW BEST:: SOT 273208 SOS 110117 HAS SOPS 110117 HAS SOUS 85234 HAS SOUPS 85234 WITH SCORE 85344.117
AT ITER 885 NEW BEST:: SOT 272961 SOS 109869 HAS SOPS 109869 HAS SOUS 85232 HAS SOUPS 85232 WITH SCORE 85341.869
AT ITER 892 NEW BEST:: SOT 272875 SOS 109837 HAS SOPS 109837 HAS SOUS 85161 HAS SOUPS 85161 WITH SCORE 85270.837
AT ITER 893 NEW BEST:: SOT 272873 SOS 109822 HAS SOPS 109822 HAS SOUS 85158 HAS SOUPS 85158 WITH SCORE 85267.822
AT ITER 895 NEW BEST:: SOT 272795 SOS 109666 HAS SOPS 109666 HAS SOUS 85002 HAS SOUPS 85002 WITH SCORE 85111.666
AT ITER 929 NEW BEST:: SOT 272795 SOS 109655 HAS SOPS 109655 HAS SOUS 84991 HAS SOUPS 84991 WITH SCORE 85100.655
AT ITER 938 NEW BEST:: SOT 272781 SOS 109676 HAS SOPS 109676 HAS SOUS 84976 HAS SOUPS 84976 WITH SCORE 85085.676
AT ITER 941 NEW BEST:: SOT 272735 SOS 109650 HAS SOPS 109650 HAS SOUS 84845 HAS SOUPS 84845 WITH SCORE 84954.65
AT ITER 942 NEW BEST:: SOT 272635 SOS 109450 HAS SOPS 109450 HAS SOUS 84745 HAS SOUPS 84745 WITH SCORE 84854.45
AT ITER 958 NEW BEST:: SOT 272452 SOS 109379 HAS SOPS 109379 HAS SOUS 84629 HAS SOUPS 84629 WITH SCORE 84738.379
AT ITER 964 NEW BEST:: SOT 272452 SOS 109345 HAS SOPS 109345 HAS SOUS 84595 HAS SOUPS 84595 WITH SCORE 84704.345
AT ITER 975 NEW BEST:: SOT 272359 SOS 109159 HAS SOPS 109159 HAS SOUS 84409 HAS SOUPS 84409 WITH SCORE 84518.159
AT ITER 984 NEW BEST:: SOT 272273 SOS 108985 HAS SOPS 108985 HAS SOUS 84235 HAS SOUPS 84235 WITH SCORE 84343.985
AT ITER 988 NEW BEST:: SOT 271695 SOS 108157 HAS SOPS 108157 HAS SOUS 83745 HAS SOUPS 83745 WITH SCORE 83853.157
AT ITER 1014 NEW BEST:: SOT 271476 SOS 107938 HAS SOPS 107938 HAS SOUS 83745 HAS SOUPS 83745 WITH SCORE 83852.938
AT ITER 1019 NEW BEST:: SOT 271455 SOS 107916 HAS SOPS 107916 HAS SOUS 83723 HAS SOUPS 83723 WITH SCORE 83830.916
AT ITER 1032 NEW BEST:: SOT 271455 SOS 107842 HAS SOPS 107842 HAS SOUS 83649 HAS SOUPS 83649 WITH SCORE 83756.842
AT ITER 1045 NEW BEST:: SOT 271465 SOS 107814 HAS SOPS 107814 HAS SOUS 83632 HAS SOUPS 83632 WITH SCORE 83739.814
AT ITER 1050 NEW BEST:: SOT 271477 SOS 107678 HAS SOPS 107678 HAS SOUS 83331 HAS SOUPS 83331 WITH SCORE 83438.678
AT ITER 1081 NEW BEST:: SOT 271744 SOS 107587 HAS SOPS 107587 HAS SOUS 83240 HAS SOUPS 83240 WITH SCORE 83347.587
AT ITER 1082 NEW BEST:: SOT 271763 SOS 107434 HAS SOPS 107434 HAS SOUS 83087 HAS SOUPS 83087 WITH SCORE 83194.434
AT ITER 1104 NEW BEST:: SOT 271757 SOS 107422 HAS SOPS 107422 HAS SOUS 83082 HAS SOUPS 83082 WITH SCORE 83189.422
AT ITER 1106 NEW BEST:: SOT 271735 SOS 107411 HAS SOPS 107411 HAS SOUS 83071 HAS SOUPS 83071 WITH SCORE 83178.411
AT ITER 1107 NEW BEST:: SOT 271720 SOS 107396 HAS SOPS 107396 HAS SOUS 83056 HAS SOUPS 83056 WITH SCORE 83163.396
AT ITER 1110 NEW BEST:: SOT 271572 SOS 107174 HAS SOPS 107174 HAS SOUS 82908 HAS SOUPS 82908 WITH SCORE 83015.174
AT ITER 1115 NEW BEST:: SOT 271572 SOS 107171 HAS SOPS 107171 HAS SOUS 82905 HAS SOUPS 82905 WITH SCORE 83012.171
AT ITER 1116 NEW BEST:: SOT 271598 SOS 107093 HAS SOPS 107093 HAS SOUS 82867 HAS SOUPS 82867 WITH SCORE 82974.093
AT ITER 1124 NEW BEST:: SOT 271470 SOS 107016 HAS SOPS 107016 HAS SOUS 82790 HAS SOUPS 82790 WITH SCORE 82897.016
AT ITER 1130 NEW BEST:: SOT 271500 SOS 106957 HAS SOPS 106957 HAS SOUS 82731 HAS SOUPS 82731 WITH SCORE 82837.957
AT ITER 1136 NEW BEST:: SOT 271485 SOS 106953 HAS SOPS 106953 HAS SOUS 82727 HAS SOUPS 82727 WITH SCORE 82833.953
AT ITER 1149 NEW BEST:: SOT 271631 SOS 106925 HAS SOPS 106925 HAS SOUS 82653 HAS SOUPS 82653 WITH SCORE 82759.925
AT ITER 1168 NEW BEST:: SOT 271762 SOS 106909 HAS SOPS 106909 HAS SOUS 82480 HAS SOUPS 82480 WITH SCORE 82586.909
AT ITER 1170 NEW BEST:: SOT 271345 SOS 106195 HAS SOPS 106195 HAS SOUS 82191 HAS SOUPS 82191 WITH SCORE 82297.195
AT ITER 1173 NEW BEST:: SOT 271331 SOS 106181 HAS SOPS 106181 HAS SOUS 82177 HAS SOUPS 82177 WITH SCORE 82283.181
AT ITER 1194 NEW BEST:: SOT 271238 SOS 105995 HAS SOPS 105995 HAS SOUS 82154 HAS SOUPS 82154 WITH SCORE 82259.995
AT ITER 1201 NEW BEST:: SOT 271154 SOS 105859 HAS SOPS 105859 HAS SOUS 82018 HAS SOUPS 82018 WITH SCORE 82123.859
AT ITER 1202 NEW BEST:: SOT 271153 SOS 105857 HAS SOPS 105857 HAS SOUS 82016 HAS SOUPS 82016 WITH SCORE 82121.857
AT ITER 1207 NEW BEST:: SOT 271074 SOS 105724 HAS SOPS 105724 HAS SOUS 81883 HAS SOUPS 81883 WITH SCORE 81988.724
AT ITER 1228 NEW BEST:: SOT 271050 SOS 105714 HAS SOPS 105714 HAS SOUS 81841 HAS SOUPS 81841 WITH SCORE 81946.714
AT ITER 1230 NEW BEST:: SOT 271050 SOS 105683 HAS SOPS 105683 HAS SOUS 81810 HAS SOUPS 81810 WITH SCORE 81915.683
AT ITER 1292 NEW BEST:: SOT 271040 SOS 105673 HAS SOPS 105673 HAS SOUS 81800 HAS SOUPS 81800 WITH SCORE 81905.673
AT ITER 1294 NEW BEST:: SOT 269299 SOS 103916 HAS SOPS 103916 HAS SOUS 80043 HAS SOUPS 80043 WITH SCORE 80146.916
AT ITER 1326 NEW BEST:: SOT 269298 SOS 103914 HAS SOPS 103914 HAS SOUS 80036 HAS SOUPS 80036 WITH SCORE 80139.914
AT ITER 1328 NEW BEST:: SOT 269298 SOS 103913 HAS SOPS 103913 HAS SOUS 80035 HAS SOUPS 80035 WITH SCORE 80138.913
AT ITER 1333 NEW BEST:: SOT 269220 SOS 103757 HAS SOPS 103757 HAS SOUS 79879 HAS SOUPS 79879 WITH SCORE 79982.757
AT ITER 1335 NEW BEST:: SOT 269188 SOS 103693 HAS SOPS 103693 HAS SOUS 79815 HAS SOUPS 79815 WITH SCORE 79918.693
AT ITER 1347 NEW BEST:: SOT 269182 SOS 103684 HAS SOPS 103684 HAS SOUS 79806 HAS SOUPS 79806 WITH SCORE 79909.684
AT ITER 1348 NEW BEST:: SOT 269166 SOS 103668 HAS SOPS 103668 HAS SOUS 79790 HAS SOUPS 79790 WITH SCORE 79893.668
AT ITER 1349 NEW BEST:: SOT 269137 SOS 103581 HAS SOPS 103581 HAS SOUS 79732 HAS SOUPS 79732 WITH SCORE 79835.581
AT ITER 1358 NEW BEST:: SOT 269039 SOS 103413 HAS SOPS 103413 HAS SOUS 79566 HAS SOUPS 79566 WITH SCORE 79669.413
AT ITER 1375 NEW BEST:: SOT 268980 SOS 103295 HAS SOPS 103295 HAS SOUS 79448 HAS SOUPS 79448 WITH SCORE 79551.295
AT ITER 1390 NEW BEST:: SOT 268965 SOS 103265 HAS SOPS 103265 HAS SOUS 79418 HAS SOUPS 79418 WITH SCORE 79521.265
AT ITER 1423 NEW BEST:: SOT 268792 SOS 103092 HAS SOPS 103092 HAS SOUS 79245 HAS SOUPS 79245 WITH SCORE 79348.092
AT ITER 1433 NEW BEST:: SOT 268771 SOS 103088 HAS SOPS 103088 HAS SOUS 79241 HAS SOUPS 79241 WITH SCORE 79344.088
AT ITER 1438 NEW BEST:: SOT 268525 SOS 102842 HAS SOPS 102842 HAS SOUS 79241 HAS SOUPS 79241 WITH SCORE 79343.842
AT ITER 1473 NEW BEST:: SOT 268465 SOS 102677 HAS SOPS 102677 HAS SOUS 79133 HAS SOUPS 79133 WITH SCORE 79235.677
AT ITER 1474 NEW BEST:: SOT 268006 SOS 102019 HAS SOPS 102019 HAS SOUS 78876 HAS SOUPS 78876 WITH SCORE 78978.019
AT ITER 1481 NEW BEST:: SOT 267906 SOS 101984 HAS SOPS 101984 HAS SOUS 78731 HAS SOUPS 78731 WITH SCORE 78832.984
AT ITER 1491 NEW BEST:: SOT 267891 SOS 101977 HAS SOPS 101977 HAS SOUS 78724 HAS SOUPS 78724 WITH SCORE 78825.977
AT ITER 1506 NEW BEST:: SOT 267789 SOS 101773 HAS SOPS 101773 HAS SOUS 78673 HAS SOUPS 78673 WITH SCORE 78774.773
AT ITER 1508 NEW BEST:: SOT 267789 SOS 101710 HAS SOPS 101710 HAS SOUS 78610 HAS SOUPS 78610 WITH SCORE 78711.71
AT ITER 1511 NEW BEST:: SOT 267710 SOS 101603 HAS SOPS 101603 HAS SOUS 78582 HAS SOUPS 78582 WITH SCORE 78683.603
AT ITER 1519 NEW BEST:: SOT 267652 SOS 101487 HAS SOPS 101487 HAS SOUS 78488 HAS SOUPS 78488 WITH SCORE 78589.487
AT ITER 1520 NEW BEST:: SOT 267645 SOS 101459 HAS SOPS 101459 HAS SOUS 78460 HAS SOUPS 78460 WITH SCORE 78561.459
AT ITER 1535 NEW BEST:: SOT 267433 SOS 100859 HAS SOPS 100859 HAS SOUS 78170 HAS SOUPS 78170 WITH SCORE 78270.859
AT ITER 1541 NEW BEST:: SOT 267422 SOS 100854 HAS SOPS 100854 HAS SOUS 78165 HAS SOUPS 78165 WITH SCORE 78265.854
AT ITER 1565 NEW BEST:: SOT 267422 SOS 100828 HAS SOPS 100828 HAS SOUS 78139 HAS SOUPS 78139 WITH SCORE 78239.828
AT ITER 1571 NEW BEST:: SOT 267412 SOS 100818 HAS SOPS 100818 HAS SOUS 78129 HAS SOUPS 78129 WITH SCORE 78229.818
AT ITER 1574 NEW BEST:: SOT 267341 SOS 100717 HAS SOPS 100717 HAS SOUS 78028 HAS SOUPS 78028 WITH SCORE 78128.717
AT ITER 1583 NEW BEST:: SOT 267219 SOS 100434 HAS SOPS 100434 HAS SOUS 77852 HAS SOUPS 77852 WITH SCORE 77952.434
AT ITER 1592 NEW BEST:: SOT 267315 SOS 100289 HAS SOPS 100289 HAS SOUS 77849 HAS SOUPS 77849 WITH SCORE 77949.289
AT ITER 1621 NEW BEST:: SOT 266258 SOS 99930 HAS SOPS 99930 HAS SOUS 76668 HAS SOUPS 76668 WITH SCORE 76767.93
AT ITER 1623 NEW BEST:: SOT 265868 SOS 99415 HAS SOPS 99415 HAS SOUS 76192 HAS SOUPS 76192 WITH SCORE 76291.415
AT ITER 1624 NEW BEST:: SOT 265711 SOS 99101 HAS SOPS 99101 HAS SOUS 75878 HAS SOUPS 75878 WITH SCORE 75977.101
AT ITER 1625 NEW BEST:: SOT 265589 SOS 98735 HAS SOPS 98735 HAS SOUS 75515 HAS SOUPS 75515 WITH SCORE 75613.735
AT ITER 1640 NEW BEST:: SOT 265294 SOS 98209 HAS SOPS 98209 HAS SOUS 74989 HAS SOUPS 74989 WITH SCORE 75087.209
AT ITER 1643 NEW BEST:: SOT 265251 SOS 98166 HAS SOPS 98166 HAS SOUS 74946 HAS SOUPS 74946 WITH SCORE 75044.166
AT ITER 1645 NEW BEST:: SOT 265205 SOS 98076 HAS SOPS 98076 HAS SOUS 74856 HAS SOUPS 74856 WITH SCORE 74954.076
AT ITER 1651 NEW BEST:: SOT 265250 SOS 97964 HAS SOPS 97964 HAS SOUS 74744 HAS SOUPS 74744 WITH SCORE 74841.964
AT ITER 1680 NEW BEST:: SOT 265281 SOS 97911 HAS SOPS 97911 HAS SOUS 74710 HAS SOUPS 74710 WITH SCORE 74807.911
AT ITER 1681 NEW BEST:: SOT 265267 SOS 97895 HAS SOPS 97895 HAS SOUS 74708 HAS SOUPS 74708 WITH SCORE 74805.895
AT ITER 1720 NEW BEST:: SOT 265267 SOS 97847 HAS SOPS 97847 HAS SOUS 74660 HAS SOUPS 74660 WITH SCORE 74757.847
AT ITER 1727 NEW BEST:: SOT 265197 SOS 97847 HAS SOPS 97847 HAS SOUS 74659 HAS SOUPS 74659 WITH SCORE 74756.847
AT ITER 1742 NEW BEST:: SOT 265164 SOS 97781 HAS SOPS 97781 HAS SOUS 74610 HAS SOUPS 74610 WITH SCORE 74707.781
AT ITER 1745 NEW BEST:: SOT 264994 SOS 97526 HAS SOPS 97526 HAS SOUS 74440 HAS SOUPS 74440 WITH SCORE 74537.526
AT ITER 1746 NEW BEST:: SOT 264976 SOS 97507 HAS SOPS 97507 HAS SOUS 74383 HAS SOUPS 74383 WITH SCORE 74480.507
AT ITER 1749 NEW BEST:: SOT 264785 SOS 97367 HAS SOPS 97367 HAS SOUS 74243 HAS SOUPS 74243 WITH SCORE 74340.367
AT ITER 1779 NEW BEST:: SOT 264779 SOS 97355 HAS SOPS 97355 HAS SOUS 74242 HAS SOUPS 74242 WITH SCORE 74339.355
AT ITER 1809 NEW BEST:: SOT 264763 SOS 97339 HAS SOPS 97339 HAS SOUS 74226 HAS SOUPS 74226 WITH SCORE 74323.339
AT ITER 1812 NEW BEST:: SOT 264980 SOS 97284 HAS SOPS 97284 HAS SOUS 74172 HAS SOUPS 74172 WITH SCORE 74269.284
AT ITER 1819 NEW BEST:: SOT 264588 SOS 97156 HAS SOPS 97156 HAS SOUS 74044 HAS SOUPS 74044 WITH SCORE 74141.156
AT ITER 1823 NEW BEST:: SOT 264560 SOS 97135 HAS SOPS 97135 HAS SOUS 74023 HAS SOUPS 74023 WITH SCORE 74120.135
AT ITER 1824 NEW BEST:: SOT 262865 SOS 97547 HAS SOPS 97547 HAS SOUS 72768 HAS SOUPS 72768 WITH SCORE 72865.547
AT ITER 1828 NEW BEST:: SOT 262696 SOS 97378 HAS SOPS 97378 HAS SOUS 72599 HAS SOUPS 72599 WITH SCORE 72696.378
AT ITER 1829 NEW BEST:: SOT 262561 SOS 97107 HAS SOPS 97107 HAS SOUS 72546 HAS SOUPS 72546 WITH SCORE 72643.107
AT ITER 1865 NEW BEST:: SOT 262430 SOS 96976 HAS SOPS 96976 HAS SOUS 72546 HAS SOUPS 72546 WITH SCORE 72642.976
AT ITER 1866 NEW BEST:: SOT 262407 SOS 96953 HAS SOPS 96953 HAS SOUS 72523 HAS SOUPS 72523 WITH SCORE 72619.953
AT ITER 1933 NEW BEST:: SOT 262407 SOS 96891 HAS SOPS 96891 HAS SOUS 72461 HAS SOUPS 72461 WITH SCORE 72557.891
AT ITER 1961 NEW BEST:: SOT 262231 SOS 96715 HAS SOPS 96715 HAS SOUS 72285 HAS SOUPS 72285 WITH SCORE 72381.715
AT ITER 1962 NEW BEST:: SOT 262225 SOS 96709 HAS SOPS 96709 HAS SOUS 72279 HAS SOUPS 72279 WITH SCORE 72375.709
AT ITER 1964 NEW BEST:: SOT 262210 SOS 96679 HAS SOPS 96679 HAS SOUS 72264 HAS SOUPS 72264 WITH SCORE 72360.679
AT ITER 1967 NEW BEST:: SOT 262182 SOS 96602 HAS SOPS 96602 HAS SOUS 72187 HAS SOUPS 72187 WITH SCORE 72283.602
AT ITER 2001 NEW BEST:: SOT 262245 SOS 96665 HAS SOPS 96665 HAS SOUS 72122 HAS SOUPS 72122 WITH SCORE 72218.665
AT ITER 2016 NEW BEST:: SOT 262151 SOS 96550 HAS SOPS 96550 HAS SOUS 72007 HAS SOUPS 72007 WITH SCORE 72103.55
AT ITER 2032 NEW BEST:: SOT 262323 SOS 96537 HAS SOPS 96537 HAS SOUS 71994 HAS SOUPS 71994 WITH SCORE 72090.537
AT ITER 2039 NEW BEST:: SOT 262354 SOS 96562 HAS SOPS 96562 HAS SOUS 71971 HAS SOUPS 71971 WITH SCORE 72067.562
AT ITER 2050 NEW BEST:: SOT 262323 SOS 96184 HAS SOPS 96184 HAS SOUS 71842 HAS SOUPS 71842 WITH SCORE 71938.184
AT ITER 2051 NEW BEST:: SOT 262386 SOS 96099 HAS SOPS 96099 HAS SOUS 71757 HAS SOUPS 71757 WITH SCORE 71853.099
AT ITER 2074 NEW BEST:: SOT 262384 SOS 96093 HAS SOPS 96093 HAS SOUS 71751 HAS SOUPS 71751 WITH SCORE 71847.093
AT ITER 2089 NEW BEST:: SOT 262374 SOS 96073 HAS SOPS 96073 HAS SOUS 71731 HAS SOUPS 71731 WITH SCORE 71827.073
AT ITER 2090 NEW BEST:: SOT 262442 SOS 95988 HAS SOPS 95988 HAS SOUS 71716 HAS SOUPS 71716 WITH SCORE 71811.988
AT ITER 2094 NEW BEST:: SOT 262362 SOS 95828 HAS SOPS 95828 HAS SOUS 71644 HAS SOUPS 71644 WITH SCORE 71739.828
AT ITER 2102 NEW BEST:: SOT 262346 SOS 95812 HAS SOPS 95812 HAS SOUS 71628 HAS SOUPS 71628 WITH SCORE 71723.812
AT ITER 2110 NEW BEST:: SOT 262347 SOS 95810 HAS SOPS 95810 HAS SOUS 71626 HAS SOUPS 71626 WITH SCORE 71721.81
AT ITER 2136 NEW BEST:: SOT 262333 SOS 95797 HAS SOPS 95797 HAS SOUS 71613 HAS SOUPS 71613 WITH SCORE 71708.797
AT ITER 2148 NEW BEST:: SOT 262322 SOS 95738 HAS SOPS 95738 HAS SOUS 71598 HAS SOUPS 71598 WITH SCORE 71693.738
AT ITER 2153 NEW BEST:: SOT 262315 SOS 95690 HAS SOPS 95690 HAS SOUS 71509 HAS SOUPS 71509 WITH SCORE 71604.69
AT ITER 2158 NEW BEST:: SOT 262284 SOS 95578 HAS SOPS 95578 HAS SOUS 71397 HAS SOUPS 71397 WITH SCORE 71492.578
AT ITER 2165 NEW BEST:: SOT 262200 SOS 95354 HAS SOPS 95354 HAS SOUS 71173 HAS SOUPS 71173 WITH SCORE 71268.354
AT ITER 2166 NEW BEST:: SOT 262199 SOS 95351 HAS SOPS 95351 HAS SOUS 71170 HAS SOUPS 71170 WITH SCORE 71265.351
AT ITER 2205 NEW BEST:: SOT 262163 SOS 95315 HAS SOPS 95315 HAS SOUS 71134 HAS SOUPS 71134 WITH SCORE 71229.315
AT ITER 2215 NEW BEST:: SOT 261444 SOS 94315 HAS SOPS 94315 HAS SOUS 70634 HAS SOUPS 70634 WITH SCORE 70728.315
AT ITER 2225 NEW BEST:: SOT 261429 SOS 94300 HAS SOPS 94300 HAS SOUS 70619 HAS SOUPS 70619 WITH SCORE 70713.3
AT ITER 2264 NEW BEST:: SOT 261399 SOS 94231 HAS SOPS 94231 HAS SOUS 70550 HAS SOUPS 70550 WITH SCORE 70644.231
AT ITER 2267 NEW BEST:: SOT 261262 SOS 94093 HAS SOPS 94093 HAS SOUS 70548 HAS SOUPS 70548 WITH SCORE 70642.093
AT ITER 2304 NEW BEST:: SOT 261260 SOS 94089 HAS SOPS 94089 HAS SOUS 70544 HAS SOUPS 70544 WITH SCORE 70638.089
AT ITER 2312 NEW BEST:: SOT 261026 SOS 93716 HAS SOPS 93716 HAS SOUS 70465 HAS SOUPS 70465 WITH SCORE 70558.716
AT ITER 2315 NEW BEST:: SOT 261062 SOS 93698 HAS SOPS 93698 HAS SOUS 70447 HAS SOUPS 70447 WITH SCORE 70540.698
AT ITER 2327 NEW BEST:: SOT 260983 SOS 93537 HAS SOPS 93537 HAS SOUS 70435 HAS SOUPS 70435 WITH SCORE 70528.537
AT ITER 2337 NEW BEST:: SOT 260983 SOS 93557 HAS SOPS 93557 HAS SOUS 70422 HAS SOUPS 70422 WITH SCORE 70515.557
AT ITER 2353 NEW BEST:: SOT 260972 SOS 93546 HAS SOPS 93546 HAS SOUS 70411 HAS SOUPS 70411 WITH SCORE 70504.546
AT ITER 2359 NEW BEST:: SOT 260954 SOS 93512 HAS SOPS 93512 HAS SOUS 70377 HAS SOUPS 70377 WITH SCORE 70470.512
AT ITER 2366 NEW BEST:: SOT 260895 SOS 93404 HAS SOPS 93404 HAS SOUS 70269 HAS SOUPS 70269 WITH SCORE 70362.404
AT ITER 2382 NEW BEST:: SOT 260885 SOS 93384 HAS SOPS 93384 HAS SOUS 70249 HAS SOUPS 70249 WITH SCORE 70342.384
AT ITER 2387 NEW BEST:: SOT 260834 SOS 93238 HAS SOPS 93238 HAS SOUS 70103 HAS SOUPS 70103 WITH SCORE 70196.238
AT ITER 2435 NEW BEST:: SOT 260834 SOS 93238 HAS SOPS 93238 HAS SOUS 70058 HAS SOUPS 70058 WITH SCORE 70151.238
AT ITER 2460 NEW BEST:: SOT 260828 SOS 93201 HAS SOPS 93201 HAS SOUS 70021 HAS SOUPS 70021 WITH SCORE 70114.201
AT ITER 2482 NEW BEST:: SOT 260929 SOS 93107 HAS SOPS 93107 HAS SOUS 69740 HAS SOUPS 69740 WITH SCORE 69833.107
AT ITER 2484 NEW BEST:: SOT 260798 SOS 92944 HAS SOPS 92944 HAS SOUS 69708 HAS SOUPS 69708 WITH SCORE 69800.944
AT ITER 2493 NEW BEST:: SOT 260733 SOS 92880 HAS SOPS 92880 HAS SOUS 69644 HAS SOUPS 69644 WITH SCORE 69736.88
AT ITER 2496 NEW BEST:: SOT 260664 SOS 92811 HAS SOPS 92811 HAS SOUS 69575 HAS SOUPS 69575 WITH SCORE 69667.811
AT ITER 2511 NEW BEST:: SOT 260665 SOS 92723 HAS SOPS 92723 HAS SOUS 69532 HAS SOUPS 69532 WITH SCORE 69624.723
AT ITER 2516 NEW BEST:: SOT 260665 SOS 92694 HAS SOPS 92694 HAS SOUS 69474 HAS SOUPS 69474 WITH SCORE 69566.694
AT ITER 2524 NEW BEST:: SOT 260671 SOS 92694 HAS SOPS 92694 HAS SOUS 69473 HAS SOUPS 69473 WITH SCORE 69565.694
AT ITER 2532 NEW BEST:: SOT 260663 SOS 92603 HAS SOPS 92603 HAS SOUS 69458 HAS SOUPS 69458 WITH SCORE 69550.603
AT ITER 2534 NEW BEST:: SOT 260633 SOS 92558 HAS SOPS 92558 HAS SOUS 69413 HAS SOUPS 69413 WITH SCORE 69505.558
AT ITER 2557 NEW BEST:: SOT 260313 SOS 92544 HAS SOPS 92544 HAS SOUS 69399 HAS SOUPS 69399 WITH SCORE 69491.544
AT ITER 2559 NEW BEST:: SOT 260193 SOS 92385 HAS SOPS 92385 HAS SOUS 69240 HAS SOUPS 69240 WITH SCORE 69332.385
AT ITER 2566 NEW BEST:: SOT 260203 SOS 92405 HAS SOPS 92405 HAS SOUS 69193 HAS SOUPS 69193 WITH SCORE 69285.405
AT ITER 2574 NEW BEST:: SOT 260198 SOS 92402 HAS SOPS 92402 HAS SOUS 69190 HAS SOUPS 69190 WITH SCORE 69282.402
AT ITER 2591 NEW BEST:: SOT 260198 SOS 92402 HAS SOPS 92402 HAS SOUS 69189 HAS SOUPS 69189 WITH SCORE 69281.402
AT ITER 2599 NEW BEST:: SOT 260153 SOS 92357 HAS SOPS 92357 HAS SOUS 69144 HAS SOUPS 69144 WITH SCORE 69236.357
AT ITER 2611 NEW BEST:: SOT 260110 SOS 92271 HAS SOPS 92271 HAS SOUS 69101 HAS SOUPS 69101 WITH SCORE 69193.271
AT ITER 2624 NEW BEST:: SOT 260057 SOS 92223 HAS SOPS 92223 HAS SOUS 69053 HAS SOUPS 69053 WITH SCORE 69145.223
AT ITER 2681 NEW BEST:: SOT 260032 SOS 92173 HAS SOPS 92173 HAS SOUS 69003 HAS SOUPS 69003 WITH SCORE 69095.173
AT ITER 2685 NEW BEST:: SOT 259922 SOS 91892 HAS SOPS 91892 HAS SOUS 68722 HAS SOUPS 68722 WITH SCORE 68813.892
AT ITER 2702 NEW BEST:: SOT 259919 SOS 91886 HAS SOPS 91886 HAS SOUS 68716 HAS SOUPS 68716 WITH SCORE 68807.886
AT ITER 2722 NEW BEST:: SOT 259919 SOS 91869 HAS SOPS 91869 HAS SOUS 68699 HAS SOUPS 68699 WITH SCORE 68790.869
AT ITER 2750 NEW BEST:: SOT 259978 SOS 91844 HAS SOPS 91844 HAS SOUS 68685 HAS SOUPS 68685 WITH SCORE 68776.844
AT ITER 2756 NEW BEST:: SOT 259978 SOS 91824 HAS SOPS 91824 HAS SOUS 68675 HAS SOUPS 68675 WITH SCORE 68766.824
AT ITER 2759 NEW BEST:: SOT 259976 SOS 91824 HAS SOPS 91824 HAS SOUS 68673 HAS SOUPS 68673 WITH SCORE 68764.824
AT ITER 2765 NEW BEST:: SOT 259971 SOS 91819 HAS SOPS 91819 HAS SOUS 68668 HAS SOUPS 68668 WITH SCORE 68759.819
AT ITER 2766 NEW BEST:: SOT 259928 SOS 91733 HAS SOPS 91733 HAS SOUS 68588 HAS SOUPS 68588 WITH SCORE 68679.733
AT ITER 2773 NEW BEST:: SOT 259927 SOS 91731 HAS SOPS 91731 HAS SOUS 68586 HAS SOUPS 68586 WITH SCORE 68677.731
AT ITER 2789 NEW BEST:: SOT 259924 SOS 91728 HAS SOPS 91728 HAS SOUS 68583 HAS SOUPS 68583 WITH SCORE 68674.728
AT ITER 2803 NEW BEST:: SOT 259934 SOS 91692 HAS SOPS 91692 HAS SOUS 68547 HAS SOUPS 68547 WITH SCORE 68638.692
AT ITER 2806 NEW BEST:: SOT 259844 SOS 91423 HAS SOPS 91423 HAS SOUS 68545 HAS SOUPS 68545 WITH SCORE 68636.423
AT ITER 2818 NEW BEST:: SOT 259599 SOS 91122 HAS SOPS 91122 HAS SOUS 68433 HAS SOUPS 68433 WITH SCORE 68524.122
AT ITER 2834 NEW BEST:: SOT 259594 SOS 91117 HAS SOPS 91117 HAS SOUS 68428 HAS SOUPS 68428 WITH SCORE 68519.117
AT ITER 2851 NEW BEST:: SOT 259577 SOS 91100 HAS SOPS 91100 HAS SOUS 68411 HAS SOUPS 68411 WITH SCORE 68502.1
AT ITER 2858 NEW BEST:: SOT 259577 SOS 91047 HAS SOPS 91047 HAS SOUS 68411 HAS SOUPS 68411 WITH SCORE 68502.047
AT ITER 2863 NEW BEST:: SOT 259497 SOS 90909 HAS SOPS 90909 HAS SOUS 68273 HAS SOUPS 68273 WITH SCORE 68363.909
AT ITER 2875 NEW BEST:: SOT 259482 SOS 90879 HAS SOPS 90879 HAS SOUS 68243 HAS SOUPS 68243 WITH SCORE 68333.879
AT ITER 2882 NEW BEST:: SOT 259482 SOS 90879 HAS SOPS 90879 HAS SOUS 68202 HAS SOUPS 68202 WITH SCORE 68292.879
AT ITER 2905 NEW BEST:: SOT 259464 SOS 90860 HAS SOPS 90860 HAS SOUS 68183 HAS SOUPS 68183 WITH SCORE 68273.86
AT ITER 2932 NEW BEST:: SOT 259397 SOS 90666 HAS SOPS 90666 HAS SOUS 68056 HAS SOUPS 68056 WITH SCORE 68146.666
AT ITER 2941 NEW BEST:: SOT 259397 SOS 90674 HAS SOPS 90674 HAS SOUS 68055 HAS SOUPS 68055 WITH SCORE 68145.674
AT ITER 2953 NEW BEST:: SOT 259330 SOS 90607 HAS SOPS 90607 HAS SOUS 67983 HAS SOUPS 67983 WITH SCORE 68073.607
AT ITER 2976 NEW BEST:: SOT 259330 SOS 90597 HAS SOPS 90597 HAS SOUS 67973 HAS SOUPS 67973 WITH SCORE 68063.597
AT ITER 2988 NEW BEST:: SOT 259330 SOS 90508 HAS SOPS 90508 HAS SOUS 67951 HAS SOUPS 67951 WITH SCORE 68041.508
AT ITER 3003 NEW BEST:: SOT 259204 SOS 90256 HAS SOPS 90256 HAS SOUS 67802 HAS SOUPS 67802 WITH SCORE 67892.256
AT ITER 3011 NEW BEST:: SOT 259145 SOS 89971 HAS SOPS 89971 HAS SOUS 67745 HAS SOUPS 67745 WITH SCORE 67834.971
AT ITER 3015 NEW BEST:: SOT 259094 SOS 89920 HAS SOPS 89920 HAS SOUS 67745 HAS SOUPS 67745 WITH SCORE 67834.92
AT ITER 3039 NEW BEST:: SOT 259080 SOS 89906 HAS SOPS 89906 HAS SOUS 67731 HAS SOUPS 67731 WITH SCORE 67820.906
AT ITER 3052 NEW BEST:: SOT 258962 SOS 89681 HAS SOPS 89681 HAS SOUS 67503 HAS SOUPS 67503 WITH SCORE 67592.681
AT ITER 3067 NEW BEST:: SOT 258962 SOS 89673 HAS SOPS 89673 HAS SOUS 67495 HAS SOUPS 67495 WITH SCORE 67584.673
AT ITER 3078 NEW BEST:: SOT 259017 SOS 89646 HAS SOPS 89646 HAS SOUS 67468 HAS SOUPS 67468 WITH SCORE 67557.646
AT ITER 3082 NEW BEST:: SOT 258965 SOS 89656 HAS SOPS 89656 HAS SOUS 67411 HAS SOUPS 67411 WITH SCORE 67500.656
AT ITER 3092 NEW BEST:: SOT 258971 SOS 89634 HAS SOPS 89634 HAS SOUS 67389 HAS SOUPS 67389 WITH SCORE 67478.634
AT ITER 3103 NEW BEST:: SOT 258968 SOS 89631 HAS SOPS 89631 HAS SOUS 67386 HAS SOUPS 67386 WITH SCORE 67475.631
AT ITER 3131 NEW BEST:: SOT 258937 SOS 89572 HAS SOPS 89572 HAS SOUS 67327 HAS SOUPS 67327 WITH SCORE 67416.572
AT ITER 3134 NEW BEST:: SOT 258942 SOS 89535 HAS SOPS 89535 HAS SOUS 67290 HAS SOUPS 67290 WITH SCORE 67379.535
AT ITER 3142 NEW BEST:: SOT 258916 SOS 89496 HAS SOPS 89496 HAS SOUS 67251 HAS SOUPS 67251 WITH SCORE 67340.496
AT ITER 3150 NEW BEST:: SOT 258916 SOS 89417 HAS SOPS 89417 HAS SOUS 67250 HAS SOUPS 67250 WITH SCORE 67339.417
AT ITER 3168 NEW BEST:: SOT 258922 SOS 89408 HAS SOPS 89408 HAS SOUS 67241 HAS SOUPS 67241 WITH SCORE 67330.408
AT ITER 3169 NEW BEST:: SOT 258920 SOS 89406 HAS SOPS 89406 HAS SOUS 67241 HAS SOUPS 67241 WITH SCORE 67330.406
AT ITER 3170 NEW BEST:: SOT 258889 SOS 89366 HAS SOPS 89366 HAS SOUS 67228 HAS SOUPS 67228 WITH SCORE 67317.366
AT ITER 3197 NEW BEST:: SOT 258889 SOS 89294 HAS SOPS 89294 HAS SOUS 67156 HAS SOUPS 67156 WITH SCORE 67245.294
AT ITER 3211 NEW BEST:: SOT 258885 SOS 89286 HAS SOPS 89286 HAS SOUS 67148 HAS SOUPS 67148 WITH SCORE 67237.286
AT ITER 3226 NEW BEST:: SOT 259021 SOS 89233 HAS SOPS 89233 HAS SOUS 67095 HAS SOUPS 67095 WITH SCORE 67184.233
AT ITER 3250 NEW BEST:: SOT 259001 SOS 89127 HAS SOPS 89127 HAS SOUS 66989 HAS SOUPS 66989 WITH SCORE 67078.127
AT ITER 3275 NEW BEST:: SOT 258981 SOS 89092 HAS SOPS 89092 HAS SOUS 66976 HAS SOUPS 66976 WITH SCORE 67065.092
AT ITER 3295 NEW BEST:: SOT 258902 SOS 88946 HAS SOPS 88946 HAS SOUS 66832 HAS SOUPS 66832 WITH SCORE 66920.946
AT ITER 3296 NEW BEST:: SOT 258884 SOS 88910 HAS SOPS 88910 HAS SOUS 66814 HAS SOUPS 66814 WITH SCORE 66902.91
AT ITER 3310 NEW BEST:: SOT 258998 SOS 89138 HAS SOPS 89138 HAS SOUS 66795 HAS SOUPS 66795 WITH SCORE 66884.138
AT ITER 3315 NEW BEST:: SOT 259016 SOS 89074 HAS SOPS 89074 HAS SOUS 66731 HAS SOUPS 66731 WITH SCORE 66820.074
AT ITER 3327 NEW BEST:: SOT 258978 SOS 88974 HAS SOPS 88974 HAS SOUS 66631 HAS SOUPS 66631 WITH SCORE 66719.974
AT ITER 3346 NEW BEST:: SOT 259110 SOS 89058 HAS SOPS 89058 HAS SOUS 66625 HAS SOUPS 66625 WITH SCORE 66714.058
AT ITER 3377 NEW BEST:: SOT 258921 SOS 88869 HAS SOPS 88869 HAS SOUS 66463 HAS SOUPS 66463 WITH SCORE 66551.869
AT ITER 3386 NEW BEST:: SOT 258912 SOS 88860 HAS SOPS 88860 HAS SOUS 66454 HAS SOUPS 66454 WITH SCORE 66542.86
AT ITER 3392 NEW BEST:: SOT 258912 SOS 88798 HAS SOPS 88798 HAS SOUS 66392 HAS SOUPS 66392 WITH SCORE 66480.798
AT ITER 3430 NEW BEST:: SOT 258792 SOS 88558 HAS SOPS 88558 HAS SOUS 66152 HAS SOUPS 66152 WITH SCORE 66240.558
AT ITER 3470 NEW BEST:: SOT 258792 SOS 88558 HAS SOPS 88558 HAS SOUS 66115 HAS SOUPS 66115 WITH SCORE 66203.558
AT ITER 3476 NEW BEST:: SOT 258787 SOS 88553 HAS SOPS 88553 HAS SOUS 66110 HAS SOUPS 66110 WITH SCORE 66198.553
AT ITER 3491 NEW BEST:: SOT 258813 SOS 88595 HAS SOPS 88595 HAS SOUS 66082 HAS SOUPS 66082 WITH SCORE 66170.595
AT ITER 3496 NEW BEST:: SOT 258899 SOS 88680 HAS SOPS 88680 HAS SOUS 66081 HAS SOUPS 66081 WITH SCORE 66169.68
AT ITER 3513 NEW BEST:: SOT 258898 SOS 88678 HAS SOPS 88678 HAS SOUS 66079 HAS SOUPS 66079 WITH SCORE 66167.678
AT ITER 3516 NEW BEST:: SOT 258696 SOS 88656 HAS SOPS 88656 HAS SOUS 65975 HAS SOUPS 65975 WITH SCORE 66063.656
AT ITER 3533 NEW BEST:: SOT 258704 SOS 88661 HAS SOPS 88661 HAS SOUS 65969 HAS SOUPS 65969 WITH SCORE 66057.661
AT ITER 3586 NEW BEST:: SOT 258740 SOS 88636 HAS SOPS 88636 HAS SOUS 65847 HAS SOUPS 65847 WITH SCORE 65935.636
AT ITER 3587 NEW BEST:: SOT 258740 SOS 88627 HAS SOPS 88627 HAS SOUS 65842 HAS SOUPS 65842 WITH SCORE 65930.627
AT ITER 3607 NEW BEST:: SOT 258874 SOS 88665 HAS SOPS 88665 HAS SOUS 65791 HAS SOUPS 65791 WITH SCORE 65879.665
AT ITER 3619 NEW BEST:: SOT 258874 SOS 88652 HAS SOPS 88652 HAS SOUS 65765 HAS SOUPS 65765 WITH SCORE 65853.652
AT ITER 3630 NEW BEST:: SOT 258862 SOS 88640 HAS SOPS 88640 HAS SOUS 65753 HAS SOUPS 65753 WITH SCORE 65841.64
AT ITER 3635 NEW BEST:: SOT 258862 SOS 88640 HAS SOPS 88640 HAS SOUS 65741 HAS SOUPS 65741 WITH SCORE 65829.64
AT ITER 3669 NEW BEST:: SOT 258719 SOS 88243 HAS SOPS 88243 HAS SOUS 65344 HAS SOUPS 65344 WITH SCORE 65432.243
AT ITER 3672 NEW BEST:: SOT 258707 SOS 88013 HAS SOPS 88013 HAS SOUS 65114 HAS SOUPS 65114 WITH SCORE 65202.013
AT ITER 3679 NEW BEST:: SOT 258683 SOS 87965 HAS SOPS 87965 HAS SOUS 65042 HAS SOUPS 65042 WITH SCORE 65129.965
AT ITER 3722 NEW BEST:: SOT 258685 SOS 88013 HAS SOPS 88013 HAS SOUS 64952 HAS SOUPS 64952 WITH SCORE 65040.013
AT ITER 3728 NEW BEST:: SOT 258680 SOS 88003 HAS SOPS 88003 HAS SOUS 64942 HAS SOUPS 64942 WITH SCORE 65030.003
AT ITER 3747 NEW BEST:: SOT 258670 SOS 87985 HAS SOPS 87985 HAS SOUS 64910 HAS SOUPS 64910 WITH SCORE 64997.985
AT ITER 3768 NEW BEST:: SOT 258651 SOS 88023 HAS SOPS 88023 HAS SOUS 64891 HAS SOUPS 64891 WITH SCORE 64979.023
AT ITER 3769 NEW BEST:: SOT 258651 SOS 87975 HAS SOPS 87975 HAS SOUS 64843 HAS SOUPS 64843 WITH SCORE 64930.975
AT ITER 3805 NEW BEST:: SOT 258527 SOS 87811 HAS SOPS 87811 HAS SOUS 64679 HAS SOUPS 64679 WITH SCORE 64766.811
AT ITER 3827 NEW BEST:: SOT 258456 SOS 87740 HAS SOPS 87740 HAS SOUS 64608 HAS SOUPS 64608 WITH SCORE 64695.74
AT ITER 3829 NEW BEST:: SOT 258397 SOS 87681 HAS SOPS 87681 HAS SOUS 64549 HAS SOUPS 64549 WITH SCORE 64636.681
AT ITER 3838 NEW BEST:: SOT 258343 SOS 87573 HAS SOPS 87573 HAS SOUS 64441 HAS SOUPS 64441 WITH SCORE 64528.573
AT ITER 3847 NEW BEST:: SOT 258316 SOS 87441 HAS SOPS 87441 HAS SOUS 64309 HAS SOUPS 64309 WITH SCORE 64396.441
AT ITER 3875 NEW BEST:: SOT 258299 SOS 87416 HAS SOPS 87416 HAS SOUS 64284 HAS SOUPS 64284 WITH SCORE 64371.416
AT ITER 3892 NEW BEST:: SOT 258266 SOS 87389 HAS SOPS 87389 HAS SOUS 64257 HAS SOUPS 64257 WITH SCORE 64344.389
AT ITER 3941 NEW BEST:: SOT 258206 SOS 87269 HAS SOPS 87269 HAS SOUS 64137 HAS SOUPS 64137 WITH SCORE 64224.269
AT ITER 3956 NEW BEST:: SOT 258054 SOS 86759 HAS SOPS 86759 HAS SOUS 63988 HAS SOUPS 63988 WITH SCORE 64074.759
AT ITER 3964 NEW BEST:: SOT 258036 SOS 86733 HAS SOPS 86733 HAS SOUS 63980 HAS SOUPS 63980 WITH SCORE 64066.733
AT ITER 3973 NEW BEST:: SOT 258032 SOS 86725 HAS SOPS 86725 HAS SOUS 63839 HAS SOUPS 63839 WITH SCORE 63925.725
AT ITER 3978 NEW BEST:: SOT 258115 SOS 86891 HAS SOPS 86891 HAS SOUS 63774 HAS SOUPS 63774 WITH SCORE 63860.891
AT ITER 3981 NEW BEST:: SOT 258091 SOS 86867 HAS SOPS 86867 HAS SOUS 63750 HAS SOUPS 63750 WITH SCORE 63836.867
AT ITER 3982 NEW BEST:: SOT 258130 SOS 86905 HAS SOPS 86905 HAS SOUS 63748 HAS SOUPS 63748 WITH SCORE 63834.905
AT ITER 3992 NEW BEST:: SOT 258129 SOS 86902 HAS SOPS 86902 HAS SOUS 63746 HAS SOUPS 63746 WITH SCORE 63832.902
AT ITER 3999 NEW BEST:: SOT 258076 SOS 86634 HAS SOPS 86634 HAS SOUS 63640 HAS SOUPS 63640 WITH SCORE 63726.634
AT ITER 4044 NEW BEST:: SOT 258072 SOS 86626 HAS SOPS 86626 HAS SOUS 63632 HAS SOUPS 63632 WITH SCORE 63718.626
AT ITER 4080 NEW BEST:: SOT 258072 SOS 86532 HAS SOPS 86532 HAS SOUS 63538 HAS SOUPS 63538 WITH SCORE 63624.532
AT ITER 4091 NEW BEST:: SOT 258084 SOS 86497 HAS SOPS 86497 HAS SOUS 63491 HAS SOUPS 63491 WITH SCORE 63577.497
AT ITER 4096 NEW BEST:: SOT 258084 SOS 86473 HAS SOPS 86473 HAS SOUS 63467 HAS SOUPS 63467 WITH SCORE 63553.473
AT ITER 4104 NEW BEST:: SOT 258052 SOS 86409 HAS SOPS 86409 HAS SOUS 63435 HAS SOUPS 63435 WITH SCORE 63521.409
AT ITER 4110 NEW BEST:: SOT 258069 SOS 86416 HAS SOPS 86416 HAS SOUS 63425 HAS SOUPS 63425 WITH SCORE 63511.416
AT ITER 4118 NEW BEST:: SOT 258068 SOS 86414 HAS SOPS 86414 HAS SOUS 63423 HAS SOUPS 63423 WITH SCORE 63509.414
AT ITER 4128 NEW BEST:: SOT 258029 SOS 86364 HAS SOPS 86364 HAS SOUS 63345 HAS SOUPS 63345 WITH SCORE 63431.364
AT ITER 4142 NEW BEST:: SOT 258008 SOS 86261 HAS SOPS 86261 HAS SOUS 63242 HAS SOUPS 63242 WITH SCORE 63328.261
AT ITER 4153 NEW BEST:: SOT 257988 SOS 86221 HAS SOPS 86221 HAS SOUS 63202 HAS SOUPS 63202 WITH SCORE 63288.221
AT ITER 4156 NEW BEST:: SOT 257976 SOS 86197 HAS SOPS 86197 HAS SOUS 63163 HAS SOUPS 63163 WITH SCORE 63249.197
AT ITER 4191 NEW BEST:: SOT 257871 SOS 86127 HAS SOPS 86127 HAS SOUS 63082 HAS SOUPS 63082 WITH SCORE 63168.127
AT ITER 4200 NEW BEST:: SOT 257864 SOS 86124 HAS SOPS 86124 HAS SOUS 63079 HAS SOUPS 63079 WITH SCORE 63165.124
AT ITER 4213 NEW BEST:: SOT 257816 SOS 85980 HAS SOPS 85980 HAS SOUS 62983 HAS SOUPS 62983 WITH SCORE 63068.98
AT ITER 4220 NEW BEST:: SOT 257798 SOS 85674 HAS SOPS 85674 HAS SOUS 62947 HAS SOUPS 62947 WITH SCORE 63032.674
AT ITER 4262 NEW BEST:: SOT 257666 SOS 85542 HAS SOPS 85542 HAS SOUS 62815 HAS SOUPS 62815 WITH SCORE 62900.542
AT ITER 4270 NEW BEST:: SOT 257628 SOS 85466 HAS SOPS 85466 HAS SOUS 62777 HAS SOUPS 62777 WITH SCORE 62862.466
AT ITER 4275 NEW BEST:: SOT 257516 SOS 85336 HAS SOPS 85336 HAS SOUS 62730 HAS SOUPS 62730 WITH SCORE 62815.336
AT ITER 4284 NEW BEST:: SOT 257373 SOS 85193 HAS SOPS 85193 HAS SOUS 62687 HAS SOUPS 62687 WITH SCORE 62772.193
AT ITER 4294 NEW BEST:: SOT 257348 SOS 85168 HAS SOPS 85168 HAS SOUS 62662 HAS SOUPS 62662 WITH SCORE 62747.168
AT ITER 4330 NEW BEST:: SOT 257342 SOS 85156 HAS SOPS 85156 HAS SOUS 62656 HAS SOUPS 62656 WITH SCORE 62741.156
AT ITER 4334 NEW BEST:: SOT 257306 SOS 85090 HAS SOPS 85090 HAS SOUS 62590 HAS SOUPS 62590 WITH SCORE 62675.09
AT ITER 4343 NEW BEST:: SOT 257284 SOS 85024 HAS SOPS 85024 HAS SOUS 62546 HAS SOUPS 62546 WITH SCORE 62631.024
AT ITER 4355 NEW BEST:: SOT 257225 SOS 84965 HAS SOPS 84965 HAS SOUS 62428 HAS SOUPS 62428 WITH SCORE 62512.965
AT ITER 4364 NEW BEST:: SOT 257220 SOS 84954 HAS SOPS 84954 HAS SOUS 62417 HAS SOUPS 62417 WITH SCORE 62501.954
AT ITER 4372 NEW BEST:: SOT 257195 SOS 84904 HAS SOPS 84904 HAS SOUS 62353 HAS SOUPS 62353 WITH SCORE 62437.904
AT ITER 4389 NEW BEST:: SOT 257195 SOS 84865 HAS SOPS 84865 HAS SOUS 62314 HAS SOUPS 62314 WITH SCORE 62398.865
AT ITER 4413 NEW BEST:: SOT 257193 SOS 84862 HAS SOPS 84862 HAS SOUS 62311 HAS SOUPS 62311 WITH SCORE 62395.862
AT ITER 4417 NEW BEST:: SOT 257193 SOS 84842 HAS SOPS 84842 HAS SOUS 62291 HAS SOUPS 62291 WITH SCORE 62375.842
AT ITER 4418 NEW BEST:: SOT 257267 SOS 84990 HAS SOPS 84990 HAS SOUS 62229 HAS SOUPS 62229 WITH SCORE 62313.99
AT ITER 4420 NEW BEST:: SOT 257247 SOS 84958 HAS SOPS 84958 HAS SOUS 62197 HAS SOUPS 62197 WITH SCORE 62281.958
AT ITER 4458 NEW BEST:: SOT 257247 SOS 84958 HAS SOPS 84958 HAS SOUS 62187 HAS SOUPS 62187 WITH SCORE 62271.958
AT ITER 4468 NEW BEST:: SOT 257294 SOS 84933 HAS SOPS 84933 HAS SOUS 62162 HAS SOUPS 62162 WITH SCORE 62246.933
AT ITER 4500 NEW BEST:: SOT 257294 SOS 84889 HAS SOPS 84889 HAS SOUS 62118 HAS SOUPS 62118 WITH SCORE 62202.889
AT ITER 4531 NEW BEST:: SOT 257229 SOS 84831 HAS SOPS 84831 HAS SOUS 62060 HAS SOUPS 62060 WITH SCORE 62144.831
AT ITER 4543 NEW BEST:: SOT 257275 SOS 84791 HAS SOPS 84791 HAS SOUS 62020 HAS SOUPS 62020 WITH SCORE 62104.791
AT ITER 4555 NEW BEST:: SOT 257212 SOS 84733 HAS SOPS 84733 HAS SOUS 61962 HAS SOUPS 61962 WITH SCORE 62046.733
AT ITER 4556 NEW BEST:: SOT 257212 SOS 84733 HAS SOPS 84733 HAS SOUS 61942 HAS SOUPS 61942 WITH SCORE 62026.733
AT ITER 4582 NEW BEST:: SOT 257212 SOS 84665 HAS SOPS 84665 HAS SOUS 61942 HAS SOUPS 61942 WITH SCORE 62026.665
AT ITER 4591 NEW BEST:: SOT 257232 SOS 84651 HAS SOPS 84651 HAS SOUS 61928 HAS SOUPS 61928 WITH SCORE 62012.651
AT ITER 4611 NEW BEST:: SOT 257207 SOS 84576 HAS SOPS 84576 HAS SOUS 61868 HAS SOUPS 61868 WITH SCORE 61952.576
AT ITER 4630 NEW BEST:: SOT 257133 SOS 84530 HAS SOPS 84530 HAS SOUS 61801 HAS SOUPS 61801 WITH SCORE 61885.53
AT ITER 4631 NEW BEST:: SOT 257046 SOS 84356 HAS SOPS 84356 HAS SOUS 61719 HAS SOUPS 61719 WITH SCORE 61803.356
AT ITER 4642 NEW BEST:: SOT 257034 SOS 84344 HAS SOPS 84344 HAS SOUS 61707 HAS SOUPS 61707 WITH SCORE 61791.344
AT ITER 4643 NEW BEST:: SOT 257033 SOS 84320 HAS SOPS 84320 HAS SOUS 61683 HAS SOUPS 61683 WITH SCORE 61767.32
AT ITER 4658 NEW BEST:: SOT 257032 SOS 84309 HAS SOPS 84309 HAS SOUS 61681 HAS SOUPS 61681 WITH SCORE 61765.309
AT ITER 4662 NEW BEST:: SOT 257032 SOS 84293 HAS SOPS 84293 HAS SOUS 61649 HAS SOUPS 61649 WITH SCORE 61733.293
AT ITER 4672 NEW BEST:: SOT 257103 SOS 84348 HAS SOPS 84348 HAS SOUS 61617 HAS SOUPS 61617 WITH SCORE 61701.348
AT ITER 4680 NEW BEST:: SOT 257071 SOS 84362 HAS SOPS 84362 HAS SOUS 61605 HAS SOUPS 61605 WITH SCORE 61689.362
AT ITER 4684 NEW BEST:: SOT 256775 SOS 84066 HAS SOPS 84066 HAS SOUS 61457 HAS SOUPS 61457 WITH SCORE 61541.066
AT ITER 4702 NEW BEST:: SOT 256778 SOS 83953 HAS SOPS 83953 HAS SOUS 61344 HAS SOUPS 61344 WITH SCORE 61427.953
AT ITER 4747 NEW BEST:: SOT 256765 SOS 83940 HAS SOPS 83940 HAS SOUS 61331 HAS SOUPS 61331 WITH SCORE 61414.94
AT ITER 4803 NEW BEST:: SOT 256761 SOS 83936 HAS SOPS 83936 HAS SOUS 61327 HAS SOUPS 61327 WITH SCORE 61410.936
AT ITER 4808 NEW BEST:: SOT 256629 SOS 83897 HAS SOPS 83897 HAS SOUS 61296 HAS SOUPS 61296 WITH SCORE 61379.897
AT ITER 4816 NEW BEST:: SOT 256460 SOS 83657 HAS SOPS 83657 HAS SOUS 61154 HAS SOUPS 61154 WITH SCORE 61237.657
AT ITER 4825 NEW BEST:: SOT 256383 SOS 83534 HAS SOPS 83534 HAS SOUS 61031 HAS SOUPS 61031 WITH SCORE 61114.534
AT ITER 4847 NEW BEST:: SOT 256347 SOS 83480 HAS SOPS 83480 HAS SOUS 60995 HAS SOUPS 60995 WITH SCORE 61078.48
AT ITER 4849 NEW BEST:: SOT 256310 SOS 83443 HAS SOPS 83443 HAS SOUS 60958 HAS SOUPS 60958 WITH SCORE 61041.443
AT ITER 4854 NEW BEST:: SOT 256305 SOS 83433 HAS SOPS 83433 HAS SOUS 60948 HAS SOUPS 60948 WITH SCORE 61031.433
AT ITER 4859 NEW BEST:: SOT 256283 SOS 83389 HAS SOPS 83389 HAS SOUS 60904 HAS SOUPS 60904 WITH SCORE 60987.389
AT ITER 4865 NEW BEST:: SOT 256281 SOS 83371 HAS SOPS 83371 HAS SOUS 60886 HAS SOUPS 60886 WITH SCORE 60969.371
AT ITER 4879 NEW BEST:: SOT 256255 SOS 83319 HAS SOPS 83319 HAS SOUS 60860 HAS SOUPS 60860 WITH SCORE 60943.319
AT ITER 4899 NEW BEST:: SOT 256255 SOS 83316 HAS SOPS 83316 HAS SOUS 60857 HAS SOUPS 60857 WITH SCORE 60940.316
AT ITER 4948 NEW BEST:: SOT 256191 SOS 82228 HAS SOPS 82228 HAS SOUS 60729 HAS SOUPS 60729 WITH SCORE 60811.228
AT ITER 4951 NEW BEST:: SOT 256128 SOS 82165 HAS SOPS 82165 HAS SOUS 60666 HAS SOUPS 60666 WITH SCORE 60748.165
AT ITER 4993 NEW BEST:: SOT 256107 SOS 82144 HAS SOPS 82144 HAS SOUS 60645 HAS SOUPS 60645 WITH SCORE 60727.144
AT ITER 4994 NEW BEST:: SOT 256110 SOS 82137 HAS SOPS 82137 HAS SOUS 60640 HAS SOUPS 60640 WITH SCORE 60722.137
AT ITER 5016 NEW BEST:: SOT 256176 SOS 82160 HAS SOPS 82160 HAS SOUS 60608 HAS SOUPS 60608 WITH SCORE 60690.16
AT ITER 5024 NEW BEST:: SOT 256340 SOS 82096 HAS SOPS 82096 HAS SOUS 60605 HAS SOUPS 60605 WITH SCORE 60687.096
AT ITER 5025 NEW BEST:: SOT 256378 SOS 82083 HAS SOPS 82083 HAS SOUS 60603 HAS SOUPS 60603 WITH SCORE 60685.083
AT ITER 5028 NEW BEST:: SOT 256360 SOS 82047 HAS SOPS 82047 HAS SOUS 60581 HAS SOUPS 60581 WITH SCORE 60663.047
AT ITER 5029 NEW BEST:: SOT 256324 SOS 82011 HAS SOPS 82011 HAS SOUS 60545 HAS SOUPS 60545 WITH SCORE 60627.011
AT ITER 5059 NEW BEST:: SOT 256228 SOS 81891 HAS SOPS 81891 HAS SOUS 60438 HAS SOUPS 60438 WITH SCORE 60519.891
AT ITER 5068 NEW BEST:: SOT 256210 SOS 81891 HAS SOPS 81891 HAS SOUS 60432 HAS SOUPS 60432 WITH SCORE 60513.891
AT ITER 5079 NEW BEST:: SOT 256207 SOS 81888 HAS SOPS 81888 HAS SOUS 60426 HAS SOUPS 60426 WITH SCORE 60507.888
AT ITER 5139 NEW BEST:: SOT 256201 SOS 81879 HAS SOPS 81879 HAS SOUS 60417 HAS SOUPS 60417 WITH SCORE 60498.879
AT ITER 5184 NEW BEST:: SOT 256198 SOS 81847 HAS SOPS 81847 HAS SOUS 60395 HAS SOUPS 60395 WITH SCORE 60476.847
AT ITER 5217 NEW BEST:: SOT 255981 SOS 81522 HAS SOPS 81522 HAS SOUS 60285 HAS SOUPS 60285 WITH SCORE 60366.522
AT ITER 5234 NEW BEST:: SOT 255882 SOS 81450 HAS SOPS 81450 HAS SOUS 60044 HAS SOUPS 60044 WITH SCORE 60125.45
AT ITER 5259 NEW BEST:: SOT 255798 SOS 81408 HAS SOPS 81408 HAS SOUS 59995 HAS SOUPS 59995 WITH SCORE 60076.408
AT ITER 5278 NEW BEST:: SOT 255798 SOS 81394 HAS SOPS 81394 HAS SOUS 59967 HAS SOUPS 59967 WITH SCORE 60048.394
AT ITER 5295 NEW BEST:: SOT 255792 SOS 81388 HAS SOPS 81388 HAS SOUS 59961 HAS SOUPS 59961 WITH SCORE 60042.388
AT ITER 5322 NEW BEST:: SOT 255805 SOS 81482 HAS SOPS 81482 HAS SOUS 59926 HAS SOUPS 59926 WITH SCORE 60007.482
AT ITER 5376 NEW BEST:: SOT 255762 SOS 81414 HAS SOPS 81414 HAS SOUS 59883 HAS SOUPS 59883 WITH SCORE 59964.414
AT ITER 5454 NEW BEST:: SOT 255762 SOS 81377 HAS SOPS 81377 HAS SOUS 59846 HAS SOUPS 59846 WITH SCORE 59927.377
AT ITER 5455 NEW BEST:: SOT 255852 SOS 81274 HAS SOPS 81274 HAS SOUS 59743 HAS SOUPS 59743 WITH SCORE 59824.274
AT ITER 5470 NEW BEST:: SOT 255852 SOS 81264 HAS SOPS 81264 HAS SOUS 59743 HAS SOUPS 59743 WITH SCORE 59824.264
AT ITER 5501 NEW BEST:: SOT 255873 SOS 81264 HAS SOPS 81264 HAS SOUS 59732 HAS SOUPS 59732 WITH SCORE 59813.264
AT ITER 5509 NEW BEST:: SOT 255873 SOS 81264 HAS SOPS 81264 HAS SOUS 59723 HAS SOUPS 59723 WITH SCORE 59804.264
AT ITER 5518 NEW BEST:: SOT 255839 SOS 81160 HAS SOPS 81160 HAS SOUS 59619 HAS SOUPS 59619 WITH SCORE 59700.16
AT ITER 5549 NEW BEST:: SOT 255826 SOS 81134 HAS SOPS 81134 HAS SOUS 59580 HAS SOUPS 59580 WITH SCORE 59661.134
AT ITER 5564 NEW BEST:: SOT 255826 SOS 81114 HAS SOPS 81114 HAS SOUS 59563 HAS SOUPS 59563 WITH SCORE 59644.114
AT ITER 5566 NEW BEST:: SOT 255803 SOS 81091 HAS SOPS 81091 HAS SOUS 59563 HAS SOUPS 59563 WITH SCORE 59644.091
AT ITER 5599 NEW BEST:: SOT 255803 SOS 81049 HAS SOPS 81049 HAS SOUS 59521 HAS SOUPS 59521 WITH SCORE 59602.049
AT ITER 5621 NEW BEST:: SOT 255831 SOS 81101 HAS SOPS 81101 HAS SOUS 59517 HAS SOUPS 59517 WITH SCORE 59598.101
AT ITER 5659 NEW BEST:: SOT 255794 SOS 80992 HAS SOPS 80992 HAS SOUS 59417 HAS SOUPS 59417 WITH SCORE 59497.992
AT ITER 5693 NEW BEST:: SOT 255794 SOS 80992 HAS SOPS 80992 HAS SOUS 59402 HAS SOUPS 59402 WITH SCORE 59482.992
AT ITER 5744 NEW BEST:: SOT 255691 SOS 80899 HAS SOPS 80899 HAS SOUS 59283 HAS SOUPS 59283 WITH SCORE 59363.899
AT ITER 5766 NEW BEST:: SOT 255643 SOS 80851 HAS SOPS 80851 HAS SOUS 59235 HAS SOUPS 59235 WITH SCORE 59315.851
AT ITER 5779 NEW BEST:: SOT 255633 SOS 80831 HAS SOPS 80831 HAS SOUS 59225 HAS SOUPS 59225 WITH SCORE 59305.831
AT ITER 5793 NEW BEST:: SOT 255627 SOS 80819 HAS SOPS 80819 HAS SOUS 59213 HAS SOUPS 59213 WITH SCORE 59293.819
AT ITER 5837 NEW BEST:: SOT 255649 SOS 80808 HAS SOPS 80808 HAS SOUS 59202 HAS SOUPS 59202 WITH SCORE 59282.808
AT ITER 5865 NEW BEST:: SOT 255649 SOS 80776 HAS SOPS 80776 HAS SOUS 59170 HAS SOUPS 59170 WITH SCORE 59250.776
AT ITER 5878 NEW BEST:: SOT 255616 SOS 80724 HAS SOPS 80724 HAS SOUS 59118 HAS SOUPS 59118 WITH SCORE 59198.724
AT ITER 5892 NEW BEST:: SOT 255616 SOS 80690 HAS SOPS 80690 HAS SOUS 59084 HAS SOUPS 59084 WITH SCORE 59164.69
AT ITER 5902 NEW BEST:: SOT 255653 SOS 80722 HAS SOPS 80722 HAS SOUS 59074 HAS SOUPS 59074 WITH SCORE 59154.722
AT ITER 5911 NEW BEST:: SOT 255680 SOS 80749 HAS SOPS 80749 HAS SOUS 59057 HAS SOUPS 59057 WITH SCORE 59137.749
AT ITER 5972 NEW BEST:: SOT 255675 SOS 80739 HAS SOPS 80739 HAS SOUS 59047 HAS SOUPS 59047 WITH SCORE 59127.739
AT ITER 5975 NEW BEST:: SOT 255667 SOS 80731 HAS SOPS 80731 HAS SOUS 59039 HAS SOUPS 59039 WITH SCORE 59119.731
AT ITER 5981 NEW BEST:: SOT 255632 SOS 80696 HAS SOPS 80696 HAS SOUS 59004 HAS SOUPS 59004 WITH SCORE 59084.696
AT ITER 5990 NEW BEST:: SOT 255643 SOS 80666 HAS SOPS 80666 HAS SOUS 58974 HAS SOUPS 58974 WITH SCORE 59054.666
AT ITER 6039 NEW BEST:: SOT 255623 SOS 80668 HAS SOPS 80668 HAS SOUS 58971 HAS SOUPS 58971 WITH SCORE 59051.668
AT ITER 6047 NEW BEST:: SOT 255603 SOS 80628 HAS SOPS 80628 HAS SOUS 58968 HAS SOUPS 58968 WITH SCORE 59048.628
AT ITER 6048 NEW BEST:: SOT 255566 SOS 80591 HAS SOPS 80591 HAS SOUS 58918 HAS SOUPS 58918 WITH SCORE 58998.591
AT ITER 6062 NEW BEST:: SOT 255557 SOS 80573 HAS SOPS 80573 HAS SOUS 58900 HAS SOUPS 58900 WITH SCORE 58980.573
AT ITER 6126 NEW BEST:: SOT 255495 SOS 80524 HAS SOPS 80524 HAS SOUS 58879 HAS SOUPS 58879 WITH SCORE 58959.524
AT ITER 6127 NEW BEST:: SOT 255491 SOS 80520 HAS SOPS 80520 HAS SOUS 58879 HAS SOUPS 58879 WITH SCORE 58959.52
AT ITER 6131 NEW BEST:: SOT 255513 SOS 80472 HAS SOPS 80472 HAS SOUS 58831 HAS SOUPS 58831 WITH SCORE 58911.472
AT ITER 6137 NEW BEST:: SOT 255562 SOS 80463 HAS SOPS 80463 HAS SOUS 58822 HAS SOUPS 58822 WITH SCORE 58902.463
AT ITER 6145 NEW BEST:: SOT 255562 SOS 80374 HAS SOPS 80374 HAS SOUS 58733 HAS SOUPS 58733 WITH SCORE 58813.374
AT ITER 6146 NEW BEST:: SOT 255426 SOS 80281 HAS SOPS 80281 HAS SOUS 58640 HAS SOUPS 58640 WITH SCORE 58720.281
AT ITER 6159 NEW BEST:: SOT 255397 SOS 80091 HAS SOPS 80091 HAS SOUS 58510 HAS SOUPS 58510 WITH SCORE 58590.091
AT ITER 6189 NEW BEST:: SOT 255329 SOS 79987 HAS SOPS 79987 HAS SOUS 58406 HAS SOUPS 58406 WITH SCORE 58485.987
AT ITER 6196 NEW BEST:: SOT 255302 SOS 79933 HAS SOPS 79933 HAS SOUS 58352 HAS SOUPS 58352 WITH SCORE 58431.933
AT ITER 6197 NEW BEST:: SOT 255302 SOS 79824 HAS SOPS 79824 HAS SOUS 58352 HAS SOUPS 58352 WITH SCORE 58431.824
AT ITER 6214 NEW BEST:: SOT 255297 SOS 79814 HAS SOPS 79814 HAS SOUS 58347 HAS SOUPS 58347 WITH SCORE 58426.814
AT ITER 6228 NEW BEST:: SOT 255297 SOS 79794 HAS SOPS 79794 HAS SOUS 58327 HAS SOUPS 58327 WITH SCORE 58406.794
AT ITER 6229 NEW BEST:: SOT 255295 SOS 79778 HAS SOPS 79778 HAS SOUS 58321 HAS SOUPS 58321 WITH SCORE 58400.778
AT ITER 6242 NEW BEST:: SOT 255275 SOS 79738 HAS SOPS 79738 HAS SOUS 58281 HAS SOUPS 58281 WITH SCORE 58360.738
AT ITER 6258 NEW BEST:: SOT 255244 SOS 79707 HAS SOPS 79707 HAS SOUS 58250 HAS SOUPS 58250 WITH SCORE 58329.707
AT ITER 6307 NEW BEST:: SOT 255243 SOS 79614 HAS SOPS 79614 HAS SOUS 58157 HAS SOUPS 58157 WITH SCORE 58236.614
AT ITER 6387 NEW BEST:: SOT 255287 SOS 79654 HAS SOPS 79654 HAS SOUS 58149 HAS SOUPS 58149 WITH SCORE 58228.654
AT ITER 6399 NEW BEST:: SOT 255277 SOS 79595 HAS SOPS 79595 HAS SOUS 58090 HAS SOUPS 58090 WITH SCORE 58169.595
AT ITER 6415 NEW BEST:: SOT 255283 SOS 79607 HAS SOPS 79607 HAS SOUS 58047 HAS SOUPS 58047 WITH SCORE 58126.607
AT ITER 6431 NEW BEST:: SOT 255120 SOS 79503 HAS SOPS 79503 HAS SOUS 57846 HAS SOUPS 57846 WITH SCORE 57925.503
AT ITER 6470 NEW BEST:: SOT 255257 SOS 79441 HAS SOPS 79441 HAS SOUS 57784 HAS SOUPS 57784 WITH SCORE 57863.441
AT ITER 6476 NEW BEST:: SOT 255234 SOS 79430 HAS SOPS 79430 HAS SOUS 57767 HAS SOUPS 57767 WITH SCORE 57846.43
AT ITER 6504 NEW BEST:: SOT 255160 SOS 79411 HAS SOPS 79411 HAS SOUS 57732 HAS SOUPS 57732 WITH SCORE 57811.411
AT ITER 6529 NEW BEST:: SOT 255160 SOS 79373 HAS SOPS 79373 HAS SOUS 57732 HAS SOUPS 57732 WITH SCORE 57811.373
AT ITER 6534 NEW BEST:: SOT 254998 SOS 79043 HAS SOPS 79043 HAS SOUS 57584 HAS SOUPS 57584 WITH SCORE 57663.043
AT ITER 6538 NEW BEST:: SOT 254993 SOS 79033 HAS SOPS 79033 HAS SOUS 57564 HAS SOUPS 57564 WITH SCORE 57643.033
AT ITER 6552 NEW BEST:: SOT 254983 SOS 79013 HAS SOPS 79013 HAS SOUS 57544 HAS SOUPS 57544 WITH SCORE 57623.013
AT ITER 6583 NEW BEST:: SOT 254970 SOS 78987 HAS SOPS 78987 HAS SOUS 57518 HAS SOUPS 57518 WITH SCORE 57596.987
AT ITER 6589 NEW BEST:: SOT 254959 SOS 79176 HAS SOPS 79176 HAS SOUS 57496 HAS SOUPS 57496 WITH SCORE 57575.176
AT ITER 6608 NEW BEST:: SOT 254969 SOS 79172 HAS SOPS 79172 HAS SOUS 57492 HAS SOUPS 57492 WITH SCORE 57571.172
AT ITER 6610 NEW BEST:: SOT 254959 SOS 79162 HAS SOPS 79162 HAS SOUS 57482 HAS SOUPS 57482 WITH SCORE 57561.162
AT ITER 6620 NEW BEST:: SOT 254933 SOS 78864 HAS SOPS 78864 HAS SOUS 57381 HAS SOUPS 57381 WITH SCORE 57459.864
AT ITER 6632 NEW BEST:: SOT 254915 SOS 78810 HAS SOPS 78810 HAS SOUS 57345 HAS SOUPS 57345 WITH SCORE 57423.81
AT ITER 6642 NEW BEST:: SOT 254866 SOS 78712 HAS SOPS 78712 HAS SOUS 57274 HAS SOUPS 57274 WITH SCORE 57352.712
AT ITER 6649 NEW BEST:: SOT 254866 SOS 78670 HAS SOPS 78670 HAS SOUS 57232 HAS SOUPS 57232 WITH SCORE 57310.67
AT ITER 6655 NEW BEST:: SOT 254866 SOS 78592 HAS SOPS 78592 HAS SOUS 57154 HAS SOUPS 57154 WITH SCORE 57232.592
AT ITER 6661 NEW BEST:: SOT 254856 SOS 78500 HAS SOPS 78500 HAS SOUS 57126 HAS SOUPS 57126 WITH SCORE 57204.5
AT ITER 6727 NEW BEST:: SOT 254708 SOS 78280 HAS SOPS 78280 HAS SOUS 56906 HAS SOUPS 56906 WITH SCORE 56984.28
AT ITER 6728 NEW BEST:: SOT 254707 SOS 78278 HAS SOPS 78278 HAS SOUS 56905 HAS SOUPS 56905 WITH SCORE 56983.278
AT ITER 6734 NEW BEST:: SOT 254693 SOS 78274 HAS SOPS 78274 HAS SOUS 56901 HAS SOUPS 56901 WITH SCORE 56979.274
AT ITER 6753 NEW BEST:: SOT 254507 SOS 77969 HAS SOPS 77969 HAS SOUS 56631 HAS SOUPS 56631 WITH SCORE 56708.969
AT ITER 6788 NEW BEST:: SOT 254495 SOS 77916 HAS SOPS 77916 HAS SOUS 56616 HAS SOUPS 56616 WITH SCORE 56693.916
AT ITER 6794 NEW BEST:: SOT 254468 SOS 78003 HAS SOPS 78003 HAS SOUS 56589 HAS SOUPS 56589 WITH SCORE 56667.003
AT ITER 6798 NEW BEST:: SOT 254459 SOS 77985 HAS SOPS 77985 HAS SOUS 56577 HAS SOUPS 56577 WITH SCORE 56654.985
AT ITER 6839 NEW BEST:: SOT 254437 SOS 77963 HAS SOPS 77963 HAS SOUS 56555 HAS SOUPS 56555 WITH SCORE 56632.963
AT ITER 6842 NEW BEST:: SOT 254434 SOS 77953 HAS SOPS 77953 HAS SOUS 56545 HAS SOUPS 56545 WITH SCORE 56622.953
AT ITER 6895 NEW BEST:: SOT 254414 SOS 77913 HAS SOPS 77913 HAS SOUS 56545 HAS SOUPS 56545 WITH SCORE 56622.913
AT ITER 6921 NEW BEST:: SOT 254341 SOS 77856 HAS SOPS 77856 HAS SOUS 56511 HAS SOUPS 56511 WITH SCORE 56588.856
AT ITER 6936 NEW BEST:: SOT 254337 SOS 77845 HAS SOPS 77845 HAS SOUS 56495 HAS SOUPS 56495 WITH SCORE 56572.845
AT ITER 6939 NEW BEST:: SOT 254290 SOS 77763 HAS SOPS 77763 HAS SOUS 56413 HAS SOUPS 56413 WITH SCORE 56490.763
AT ITER 6944 NEW BEST:: SOT 254280 SOS 77767 HAS SOPS 77767 HAS SOUS 56366 HAS SOUPS 56366 WITH SCORE 56443.767
AT ITER 6997 NEW BEST:: SOT 254280 SOS 77742 HAS SOPS 77742 HAS SOUS 56341 HAS SOUPS 56341 WITH SCORE 56418.742
AT ITER 7000 NEW BEST:: SOT 254284 SOS 77731 HAS SOPS 77731 HAS SOUS 56330 HAS SOUPS 56330 WITH SCORE 56407.731
AT ITER 7017 NEW BEST:: SOT 254281 SOS 77728 HAS SOPS 77728 HAS SOUS 56327 HAS SOUPS 56327 WITH SCORE 56404.728
AT ITER 7036 NEW BEST:: SOT 254357 SOS 77472 HAS SOPS 77472 HAS SOUS 56237 HAS SOUPS 56237 WITH SCORE 56314.472
AT ITER 7047 NEW BEST:: SOT 254051 SOS 77411 HAS SOPS 77411 HAS SOUS 56128 HAS SOUPS 56128 WITH SCORE 56205.411
AT ITER 7052 NEW BEST:: SOT 254008 SOS 77298 HAS SOPS 77298 HAS SOUS 56085 HAS SOUPS 56085 WITH SCORE 56162.298
AT ITER 7062 NEW BEST:: SOT 253920 SOS 77240 HAS SOPS 77240 HAS SOUS 55988 HAS SOUPS 55988 WITH SCORE 56065.24
AT ITER 7073 NEW BEST:: SOT 253795 SOS 77104 HAS SOPS 77104 HAS SOUS 55918 HAS SOUPS 55918 WITH SCORE 55995.104
AT ITER 7085 NEW BEST:: SOT 253785 SOS 77084 HAS SOPS 77084 HAS SOUS 55908 HAS SOUPS 55908 WITH SCORE 55985.084
AT ITER 7118 NEW BEST:: SOT 253791 SOS 77083 HAS SOPS 77083 HAS SOUS 55907 HAS SOUPS 55907 WITH SCORE 55984.083
AT ITER 7126 NEW BEST:: SOT 253763 SOS 77041 HAS SOPS 77041 HAS SOUS 55865 HAS SOUPS 55865 WITH SCORE 55942.041
AT ITER 7151 NEW BEST:: SOT 253737 SOS 76989 HAS SOPS 76989 HAS SOUS 55787 HAS SOUPS 55787 WITH SCORE 55863.989
AT ITER 7166 NEW BEST:: SOT 253722 SOS 76989 HAS SOPS 76989 HAS SOUS 55772 HAS SOUPS 55772 WITH SCORE 55848.989
AT ITER 7175 NEW BEST:: SOT 253681 SOS 76908 HAS SOPS 76908 HAS SOUS 55737 HAS SOUPS 55737 WITH SCORE 55813.908
AT ITER 7221 NEW BEST:: SOT 253681 SOS 76908 HAS SOPS 76908 HAS SOUS 55729 HAS SOUPS 55729 WITH SCORE 55805.908
AT ITER 7226 NEW BEST:: SOT 253649 SOS 76902 HAS SOPS 76902 HAS SOUS 55723 HAS SOUPS 55723 WITH SCORE 55799.902
AT ITER 7232 NEW BEST:: SOT 253640 SOS 76893 HAS SOPS 76893 HAS SOUS 55714 HAS SOUPS 55714 WITH SCORE 55790.893
AT ITER 7255 NEW BEST:: SOT 253566 SOS 76813 HAS SOPS 76813 HAS SOUS 55702 HAS SOUPS 55702 WITH SCORE 55778.813
AT ITER 7277 NEW BEST:: SOT 253561 SOS 76812 HAS SOPS 76812 HAS SOUS 55701 HAS SOUPS 55701 WITH SCORE 55777.812
AT ITER 7281 NEW BEST:: SOT 253561 SOS 76759 HAS SOPS 76759 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55724.759
AT ITER 7288 NEW BEST:: SOT 253548 SOS 76694 HAS SOPS 76694 HAS SOUS 55622 HAS SOUPS 55622 WITH SCORE 55698.694
AT ITER 7321 NEW BEST:: SOT 253537 SOS 76658 HAS SOPS 76658 HAS SOUS 55586 HAS SOUPS 55586 WITH SCORE 55662.658
AT ITER 7322 NEW BEST:: SOT 253488 SOS 76605 HAS SOPS 76605 HAS SOUS 55578 HAS SOUPS 55578 WITH SCORE 55654.605
AT ITER 7330 NEW BEST:: SOT 253481 SOS 76591 HAS SOPS 76591 HAS SOUS 55564 HAS SOUPS 55564 WITH SCORE 55640.591
AT ITER 7332 NEW BEST:: SOT 253432 SOS 76559 HAS SOPS 76559 HAS SOUS 55532 HAS SOUPS 55532 WITH SCORE 55608.559
AT ITER 7358 NEW BEST:: SOT 253382 SOS 76509 HAS SOPS 76509 HAS SOUS 55480 HAS SOUPS 55480 WITH SCORE 55556.509
AT ITER 7374 NEW BEST:: SOT 253382 SOS 76509 HAS SOPS 76509 HAS SOUS 55424 HAS SOUPS 55424 WITH SCORE 55500.509
AT ITER 7422 NEW BEST:: SOT 253355 SOS 76482 HAS SOPS 76482 HAS SOUS 55397 HAS SOUPS 55397 WITH SCORE 55473.482
AT ITER 7427 NEW BEST:: SOT 253366 SOS 76418 HAS SOPS 76418 HAS SOUS 55396 HAS SOUPS 55396 WITH SCORE 55472.418
AT ITER 7469 NEW BEST:: SOT 253366 SOS 76412 HAS SOPS 76412 HAS SOUS 55384 HAS SOUPS 55384 WITH SCORE 55460.412
AT ITER 7500 NEW BEST:: SOT 253400 SOS 76398 HAS SOPS 76398 HAS SOUS 55370 HAS SOUPS 55370 WITH SCORE 55446.398
AT ITER 7564 NEW BEST:: SOT 253401 SOS 76291 HAS SOPS 76291 HAS SOUS 55318 HAS SOUPS 55318 WITH SCORE 55394.291
AT ITER 7568 NEW BEST:: SOT 253370 SOS 76243 HAS SOPS 76243 HAS SOUS 55270 HAS SOUPS 55270 WITH SCORE 55346.243
AT ITER 7592 NEW BEST:: SOT 253355 SOS 76213 HAS SOPS 76213 HAS SOUS 55240 HAS SOUPS 55240 WITH SCORE 55316.213
AT ITER 7648 NEW BEST:: SOT 253336 SOS 76194 HAS SOPS 76194 HAS SOUS 55240 HAS SOUPS 55240 WITH SCORE 55316.194
AT ITER 7666 NEW BEST:: SOT 253334 SOS 76192 HAS SOPS 76192 HAS SOUS 55238 HAS SOUPS 55238 WITH SCORE 55314.192
AT ITER 7672 NEW BEST:: SOT 253274 SOS 76147 HAS SOPS 76147 HAS SOUS 55174 HAS SOUPS 55174 WITH SCORE 55250.147
AT ITER 7735 NEW BEST:: SOT 253492 SOS 76201 HAS SOPS 76201 HAS SOUS 55128 HAS SOUPS 55128 WITH SCORE 55204.201
AT ITER 7786 NEW BEST:: SOT 253492 SOS 76188 HAS SOPS 76188 HAS SOUS 55102 HAS SOUPS 55102 WITH SCORE 55178.188
AT ITER 7792 NEW BEST:: SOT 253499 SOS 76117 HAS SOPS 76117 HAS SOUS 55047 HAS SOUPS 55047 WITH SCORE 55123.117
AT ITER 7798 NEW BEST:: SOT 253485 SOS 76037 HAS SOPS 76037 HAS SOUS 54901 HAS SOUPS 54901 WITH SCORE 54977.037
AT ITER 7802 NEW BEST:: SOT 253642 SOS 76215 HAS SOPS 76215 HAS SOUS 54685 HAS SOUPS 54685 WITH SCORE 54761.215
AT ITER 7807 NEW BEST:: SOT 253640 SOS 76210 HAS SOPS 76210 HAS SOUS 54680 HAS SOUPS 54680 WITH SCORE 54756.21
AT ITER 7838 NEW BEST:: SOT 253614 SOS 76184 HAS SOPS 76184 HAS SOUS 54680 HAS SOUPS 54680 WITH SCORE 54756.184
AT ITER 7893 NEW BEST:: SOT 253556 SOS 76083 HAS SOPS 76083 HAS SOUS 54621 HAS SOUPS 54621 WITH SCORE 54697.083
AT ITER 7901 NEW BEST:: SOT 253561 SOS 76076 HAS SOPS 76076 HAS SOUS 54614 HAS SOUPS 54614 WITH SCORE 54690.076
AT ITER 7902 NEW BEST:: SOT 253577 SOS 76074 HAS SOPS 76074 HAS SOUS 54612 HAS SOUPS 54612 WITH SCORE 54688.074
AT ITER 7969 NEW BEST:: SOT 253556 SOS 76032 HAS SOPS 76032 HAS SOUS 54570 HAS SOUPS 54570 WITH SCORE 54646.032
AT ITER 7972 NEW BEST:: SOT 253536 SOS 76012 HAS SOPS 76012 HAS SOUS 54533 HAS SOUPS 54533 WITH SCORE 54609.012
AT ITER 7977 NEW BEST:: SOT 253485 SOS 75910 HAS SOPS 75910 HAS SOUS 54431 HAS SOUPS 54431 WITH SCORE 54506.91
AT ITER 7994 NEW BEST:: SOT 253460 SOS 75896 HAS SOPS 75896 HAS SOUS 54417 HAS SOUPS 54417 WITH SCORE 54492.896
AT ITER 8033 NEW BEST:: SOT 253431 SOS 75776 HAS SOPS 75776 HAS SOUS 54297 HAS SOUPS 54297 WITH SCORE 54372.776
AT ITER 8044 NEW BEST:: SOT 253353 SOS 76268 HAS SOPS 76268 HAS SOUS 54214 HAS SOUPS 54214 WITH SCORE 54290.268
AT ITER 8053 NEW BEST:: SOT 253352 SOS 76266 HAS SOPS 76266 HAS SOUS 54212 HAS SOUPS 54212 WITH SCORE 54288.266
AT ITER 8074 NEW BEST:: SOT 253338 SOS 76252 HAS SOPS 76252 HAS SOUS 54184 HAS SOUPS 54184 WITH SCORE 54260.252
AT ITER 8082 NEW BEST:: SOT 253335 SOS 76248 HAS SOPS 76248 HAS SOUS 54180 HAS SOUPS 54180 WITH SCORE 54256.248
AT ITER 8092 NEW BEST:: SOT 253398 SOS 76289 HAS SOPS 76289 HAS SOUS 54141 HAS SOUPS 54141 WITH SCORE 54217.289
AT ITER 8094 NEW BEST:: SOT 253392 SOS 76283 HAS SOPS 76283 HAS SOUS 54135 HAS SOUPS 54135 WITH SCORE 54211.283
AT ITER 8116 NEW BEST:: SOT 253365 SOS 76256 HAS SOPS 76256 HAS SOUS 54108 HAS SOUPS 54108 WITH SCORE 54184.256
AT ITER 8135 NEW BEST:: SOT 253386 SOS 76277 HAS SOPS 76277 HAS SOUS 54098 HAS SOUPS 54098 WITH SCORE 54174.277
AT ITER 8183 NEW BEST:: SOT 253386 SOS 76275 HAS SOPS 76275 HAS SOUS 54096 HAS SOUPS 54096 WITH SCORE 54172.275
AT ITER 8186 NEW BEST:: SOT 253384 SOS 76271 HAS SOPS 76271 HAS SOUS 54092 HAS SOUPS 54092 WITH SCORE 54168.271
AT ITER 8202 NEW BEST:: SOT 253364 SOS 76251 HAS SOPS 76251 HAS SOUS 54072 HAS SOUPS 54072 WITH SCORE 54148.251
AT ITER 8205 NEW BEST:: SOT 253358 SOS 76249 HAS SOPS 76249 HAS SOUS 54070 HAS SOUPS 54070 WITH SCORE 54146.249
AT ITER 8230 NEW BEST:: SOT 253319 SOS 76200 HAS SOPS 76200 HAS SOUS 54008 HAS SOUPS 54008 WITH SCORE 54084.2
AT ITER 8251 NEW BEST:: SOT 253155 SOS 76162 HAS SOPS 76162 HAS SOUS 53970 HAS SOUPS 53970 WITH SCORE 54046.162
AT ITER 8252 NEW BEST:: SOT 253155 SOS 76005 HAS SOPS 76005 HAS SOUS 53950 HAS SOUPS 53950 WITH SCORE 54026.005
AT ITER 8261 NEW BEST:: SOT 253125 SOS 75954 HAS SOPS 75954 HAS SOUS 53928 HAS SOUPS 53928 WITH SCORE 54003.954
AT ITER 8291 NEW BEST:: SOT 253118 SOS 75933 HAS SOPS 75933 HAS SOUS 53914 HAS SOUPS 53914 WITH SCORE 53989.933
AT ITER 8307 NEW BEST:: SOT 253110 SOS 75826 HAS SOPS 75826 HAS SOUS 53807 HAS SOUPS 53807 WITH SCORE 53882.826
AT ITER 8335 NEW BEST:: SOT 253059 SOS 75751 HAS SOPS 75751 HAS SOUS 53732 HAS SOUPS 53732 WITH SCORE 53807.751
AT ITER 8365 NEW BEST:: SOT 253059 SOS 75751 HAS SOPS 75751 HAS SOUS 53692 HAS SOUPS 53692 WITH SCORE 53767.751
AT ITER 8398 NEW BEST:: SOT 253053 SOS 75745 HAS SOPS 75745 HAS SOUS 53686 HAS SOUPS 53686 WITH SCORE 53761.745
AT ITER 8419 NEW BEST:: SOT 252945 SOS 75529 HAS SOPS 75529 HAS SOUS 53525 HAS SOUPS 53525 WITH SCORE 53600.529
AT ITER 8484 NEW BEST:: SOT 252943 SOS 75527 HAS SOPS 75527 HAS SOUS 53523 HAS SOUPS 53523 WITH SCORE 53598.527
AT ITER 8492 NEW BEST:: SOT 252955 SOS 75539 HAS SOPS 75539 HAS SOUS 53433 HAS SOUPS 53433 WITH SCORE 53508.539
AT ITER 8497 NEW BEST:: SOT 252945 SOS 75524 HAS SOPS 75524 HAS SOUS 53423 HAS SOUPS 53423 WITH SCORE 53498.524
AT ITER 8501 NEW BEST:: SOT 252927 SOS 75470 HAS SOPS 75470 HAS SOUS 53369 HAS SOUPS 53369 WITH SCORE 53444.47
AT ITER 8503 NEW BEST:: SOT 252962 SOS 75465 HAS SOPS 75465 HAS SOUS 53364 HAS SOUPS 53364 WITH SCORE 53439.465
AT ITER 8506 NEW BEST:: SOT 252956 SOS 75454 HAS SOPS 75454 HAS SOUS 53353 HAS SOUPS 53353 WITH SCORE 53428.454
AT ITER 8512 NEW BEST:: SOT 252971 SOS 75392 HAS SOPS 75392 HAS SOUS 53291 HAS SOUPS 53291 WITH SCORE 53366.392
AT ITER 8553 NEW BEST:: SOT 253020 SOS 75382 HAS SOPS 75382 HAS SOUS 53188 HAS SOUPS 53188 WITH SCORE 53263.382
AT ITER 8578 NEW BEST:: SOT 252882 SOS 75220 HAS SOPS 75220 HAS SOUS 53133 HAS SOUPS 53133 WITH SCORE 53208.22
AT ITER 8580 NEW BEST:: SOT 252917 SOS 75217 HAS SOPS 75217 HAS SOUS 53092 HAS SOUPS 53092 WITH SCORE 53167.217
AT ITER 8596 NEW BEST:: SOT 252917 SOS 75185 HAS SOPS 75185 HAS SOUS 53060 HAS SOUPS 53060 WITH SCORE 53135.185
AT ITER 8622 NEW BEST:: SOT 252929 SOS 75199 HAS SOPS 75199 HAS SOUS 53039 HAS SOUPS 53039 WITH SCORE 53114.199
AT ITER 8659 NEW BEST:: SOT 252917 SOS 75160 HAS SOPS 75160 HAS SOUS 53000 HAS SOUPS 53000 WITH SCORE 53075.16
AT ITER 8666 NEW BEST:: SOT 252894 SOS 75105 HAS SOPS 75105 HAS SOUS 52969 HAS SOUPS 52969 WITH SCORE 53044.105
AT ITER 8678 NEW BEST:: SOT 252894 SOS 75062 HAS SOPS 75062 HAS SOUS 52926 HAS SOUPS 52926 WITH SCORE 53001.062
AT ITER 8713 NEW BEST:: SOT 252756 SOS 75020 HAS SOPS 75020 HAS SOUS 52869 HAS SOUPS 52869 WITH SCORE 52944.02
AT ITER 8728 NEW BEST:: SOT 252746 SOS 75010 HAS SOPS 75010 HAS SOUS 52859 HAS SOUPS 52859 WITH SCORE 52934.01
AT ITER 8744 NEW BEST:: SOT 252761 SOS 75010 HAS SOPS 75010 HAS SOUS 52844 HAS SOUPS 52844 WITH SCORE 52919.01
AT ITER 8751 NEW BEST:: SOT 252757 SOS 75002 HAS SOPS 75002 HAS SOUS 52836 HAS SOUPS 52836 WITH SCORE 52911.002
AT ITER 8780 NEW BEST:: SOT 252757 SOS 74925 HAS SOPS 74925 HAS SOUS 52785 HAS SOUPS 52785 WITH SCORE 52859.925
AT ITER 8781 NEW BEST:: SOT 252734 SOS 74924 HAS SOPS 74924 HAS SOUS 52784 HAS SOUPS 52784 WITH SCORE 52858.924
AT ITER 8815 NEW BEST:: SOT 252734 SOS 74919 HAS SOPS 74919 HAS SOUS 52779 HAS SOUPS 52779 WITH SCORE 52853.919
AT ITER 8840 NEW BEST:: SOT 252722 SOS 74895 HAS SOPS 74895 HAS SOUS 52755 HAS SOUPS 52755 WITH SCORE 52829.895
AT ITER 8878 NEW BEST:: SOT 252693 SOS 74866 HAS SOPS 74866 HAS SOUS 52726 HAS SOUPS 52726 WITH SCORE 52800.866
AT ITER 8906 NEW BEST:: SOT 252635 SOS 74807 HAS SOPS 74807 HAS SOUS 52724 HAS SOUPS 52724 WITH SCORE 52798.807
AT ITER 8968 NEW BEST:: SOT 252617 SOS 74771 HAS SOPS 74771 HAS SOUS 52688 HAS SOUPS 52688 WITH SCORE 52762.771
AT ITER 8995 NEW BEST:: SOT 252561 SOS 74723 HAS SOPS 74723 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52746.723
AT ITER 9003 NEW BEST:: SOT 252600 SOS 74646 HAS SOPS 74646 HAS SOUS 52595 HAS SOUPS 52595 WITH SCORE 52669.646
AT ITER 9058 NEW BEST:: SOT 252583 SOS 74630 HAS SOPS 74630 HAS SOUS 52579 HAS SOUPS 52579 WITH SCORE 52653.63
AT ITER 9061 NEW BEST:: SOT 252373 SOS 74430 HAS SOPS 74430 HAS SOUS 52379 HAS SOUPS 52379 WITH SCORE 52453.43
AT ITER 9090 NEW BEST:: SOT 252388 SOS 74420 HAS SOPS 74420 HAS SOUS 52369 HAS SOUPS 52369 WITH SCORE 52443.42
AT ITER 9098 NEW BEST:: SOT 252387 SOS 74418 HAS SOPS 74418 HAS SOUS 52367 HAS SOUPS 52367 WITH SCORE 52441.418
AT ITER 9118 NEW BEST:: SOT 252377 SOS 74398 HAS SOPS 74398 HAS SOUS 52329 HAS SOUPS 52329 WITH SCORE 52403.398
AT ITER 9241 NEW BEST:: SOT 252276 SOS 74261 HAS SOPS 74261 HAS SOUS 52192 HAS SOUPS 52192 WITH SCORE 52266.261
AT ITER 9247 NEW BEST:: SOT 252226 SOS 74211 HAS SOPS 74211 HAS SOUS 52142 HAS SOUPS 52142 WITH SCORE 52216.211
AT ITER 9255 NEW BEST:: SOT 252039 SOS 74063 HAS SOPS 74063 HAS SOUS 52107 HAS SOUPS 52107 WITH SCORE 52181.063
AT ITER 9270 NEW BEST:: SOT 252039 SOS 74031 HAS SOPS 74031 HAS SOUS 52043 HAS SOUPS 52043 WITH SCORE 52117.031
AT ITER 9285 NEW BEST:: SOT 252035 SOS 74003 HAS SOPS 74003 HAS SOUS 52015 HAS SOUPS 52015 WITH SCORE 52089.003
AT ITER 9294 NEW BEST:: SOT 251977 SOS 73946 HAS SOPS 73946 HAS SOUS 51959 HAS SOUPS 51959 WITH SCORE 52032.946
AT ITER 9305 NEW BEST:: SOT 252026 SOS 73916 HAS SOPS 73916 HAS SOUS 51955 HAS SOUPS 51955 WITH SCORE 52028.916
AT ITER 9308 NEW BEST:: SOT 252013 SOS 73899 HAS SOPS 73899 HAS SOUS 51938 HAS SOUPS 51938 WITH SCORE 52011.899
AT ITER 9311 NEW BEST:: SOT 252016 SOS 73788 HAS SOPS 73788 HAS SOUS 51863 HAS SOUPS 51863 WITH SCORE 51936.788
AT ITER 9313 NEW BEST:: SOT 252016 SOS 73788 HAS SOPS 73788 HAS SOUS 51833 HAS SOUPS 51833 WITH SCORE 51906.788
AT ITER 9325 NEW BEST:: SOT 252017 SOS 73783 HAS SOPS 73783 HAS SOUS 51828 HAS SOUPS 51828 WITH SCORE 51901.783
AT ITER 9329 NEW BEST:: SOT 251980 SOS 73709 HAS SOPS 73709 HAS SOUS 51777 HAS SOUPS 51777 WITH SCORE 51850.709
AT ITER 9332 NEW BEST:: SOT 251979 SOS 73708 HAS SOPS 73708 HAS SOUS 51776 HAS SOUPS 51776 WITH SCORE 51849.708
AT ITER 9337 NEW BEST:: SOT 251824 SOS 73703 HAS SOPS 73703 HAS SOUS 51771 HAS SOUPS 51771 WITH SCORE 51844.703
AT ITER 9348 NEW BEST:: SOT 251804 SOS 73785 HAS SOPS 73785 HAS SOUS 51764 HAS SOUPS 51764 WITH SCORE 51837.785
AT ITER 9400 NEW BEST:: SOT 251832 SOS 73795 HAS SOPS 73795 HAS SOUS 51728 HAS SOUPS 51728 WITH SCORE 51801.795
AT ITER 9429 NEW BEST:: SOT 251700 SOS 73792 HAS SOPS 73792 HAS SOUS 51725 HAS SOUPS 51725 WITH SCORE 51798.792
AT ITER 9482 NEW BEST:: SOT 251700 SOS 73769 HAS SOPS 73769 HAS SOUS 51702 HAS SOUPS 51702 WITH SCORE 51775.769
AT ITER 9484 NEW BEST:: SOT 251693 SOS 74109 HAS SOPS 74109 HAS SOUS 51695 HAS SOUPS 51695 WITH SCORE 51769.109
AT ITER 9489 NEW BEST:: SOT 251691 SOS 74105 HAS SOPS 74105 HAS SOUS 51691 HAS SOUPS 51691 WITH SCORE 51765.105
AT ITER 9492 NEW BEST:: SOT 251688 SOS 74099 HAS SOPS 74099 HAS SOUS 51685 HAS SOUPS 51685 WITH SCORE 51759.099
AT ITER 9497 NEW BEST:: SOT 251751 SOS 74097 HAS SOPS 74097 HAS SOUS 51683 HAS SOUPS 51683 WITH SCORE 51757.097
AT ITER 9537 NEW BEST:: SOT 251654 SOS 74000 HAS SOPS 74000 HAS SOUS 51641 HAS SOUPS 51641 WITH SCORE 51715.0
AT ITER 9540 NEW BEST:: SOT 251580 SOS 73929 HAS SOPS 73929 HAS SOUS 51570 HAS SOUPS 51570 WITH SCORE 51643.929
AT ITER 9542 NEW BEST:: SOT 251553 SOS 73931 HAS SOPS 73931 HAS SOUS 51535 HAS SOUPS 51535 WITH SCORE 51608.931
AT ITER 9555 NEW BEST:: SOT 251553 SOS 73815 HAS SOPS 73815 HAS SOUS 51419 HAS SOUPS 51419 WITH SCORE 51492.815
AT ITER 9594 NEW BEST:: SOT 251510 SOS 73925 HAS SOPS 73925 HAS SOUS 51400 HAS SOUPS 51400 WITH SCORE 51473.925
AT ITER 9669 NEW BEST:: SOT 251431 SOS 73767 HAS SOPS 73767 HAS SOUS 51336 HAS SOUPS 51336 WITH SCORE 51409.767
AT ITER 9671 NEW BEST:: SOT 251383 SOS 73723 HAS SOPS 73723 HAS SOUS 51326 HAS SOUPS 51326 WITH SCORE 51399.723
AT ITER 9715 NEW BEST:: SOT 251382 SOS 73721 HAS SOPS 73721 HAS SOUS 51326 HAS SOUPS 51326 WITH SCORE 51399.721
AT ITER 9766 NEW BEST:: SOT 251382 SOS 73690 HAS SOPS 73690 HAS SOUS 51295 HAS SOUPS 51295 WITH SCORE 51368.69
AT ITER 9771 NEW BEST:: SOT 251381 SOS 73668 HAS SOPS 73668 HAS SOUS 51273 HAS SOUPS 51273 WITH SCORE 51346.668
AT ITER 9787 NEW BEST:: SOT 251487 SOS 73702 HAS SOPS 73702 HAS SOUS 51218 HAS SOUPS 51218 WITH SCORE 51291.702
AT ITER 9790 NEW BEST:: SOT 251484 SOS 73696 HAS SOPS 73696 HAS SOUS 51212 HAS SOUPS 51212 WITH SCORE 51285.696
AT ITER 9794 NEW BEST:: SOT 251484 SOS 73695 HAS SOPS 73695 HAS SOUS 51211 HAS SOUPS 51211 WITH SCORE 51284.695
AT ITER 9840 NEW BEST:: SOT 251475 SOS 73677 HAS SOPS 73677 HAS SOUS 51193 HAS SOUPS 51193 WITH SCORE 51266.677
AT ITER 9946 NEW BEST:: SOT 251416 SOS 74470 HAS SOPS 74470 HAS SOUS 51188 HAS SOUPS 51188 WITH SCORE 51262.47
AT ITER 9987 NEW BEST:: SOT 251404 SOS 74446 HAS SOPS 74446 HAS SOUS 51164 HAS SOUPS 51164 WITH SCORE 51238.446
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 11617952 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16125144 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
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
Caught signal 15, terminating.

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="BusinessProcesses-PT-18"
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 BusinessProcesses-PT-18, 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 r043-tajo-167813697100592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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