About the Execution of Smart for BusinessProcesses-PT-19
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
1326.771 | 3600000.00 | 3600030.00 | 0.00 | [undef] | Time out reached |
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.r035-tajo-167813688400600.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 smart
Input is BusinessProcesses-PT-19, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688400600
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 79K Feb 25 16:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 16:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 25 16:46 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 189K 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 1678471070226
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-19
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 19
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 772 places, 685 transitions, 1981 arcs.
AT ITER 0 NEW BEST:: SOT 336519 SOS 127778 HAS SOPS 127778 HAS SOUS 124526 HAS SOUPS 124526 WITH SCORE 124653.778
AT ITER 5 NEW BEST:: SOT 332426 SOS 125099 HAS SOPS 125099 HAS SOUS 120767 HAS SOUPS 120767 WITH SCORE 120892.099
AT ITER 16 NEW BEST:: SOT 332419 SOS 125085 HAS SOPS 125085 HAS SOUS 120753 HAS SOUPS 120753 WITH SCORE 120878.085
AT ITER 26 NEW BEST:: SOT 332419 SOS 125044 HAS SOPS 125044 HAS SOUS 120738 HAS SOUPS 120738 WITH SCORE 120863.044
AT ITER 55 NEW BEST:: SOT 332419 SOS 124954 HAS SOPS 124954 HAS SOUS 120473 HAS SOUPS 120473 WITH SCORE 120597.954
AT ITER 56 NEW BEST:: SOT 332578 SOS 124458 HAS SOPS 124458 HAS SOUS 120110 HAS SOUPS 120110 WITH SCORE 120234.458
AT ITER 57 NEW BEST:: SOT 332565 SOS 124205 HAS SOPS 124205 HAS SOUS 120082 HAS SOUPS 120082 WITH SCORE 120206.205
AT ITER 59 NEW BEST:: SOT 332633 SOS 123926 HAS SOPS 123926 HAS SOUS 119803 HAS SOUPS 119803 WITH SCORE 119926.926
AT ITER 60 NEW BEST:: SOT 332375 SOS 123668 HAS SOPS 123668 HAS SOUS 119545 HAS SOUPS 119545 WITH SCORE 119668.668
AT ITER 76 NEW BEST:: SOT 332131 SOS 123499 HAS SOPS 123499 HAS SOUS 119376 HAS SOUPS 119376 WITH SCORE 119499.499
AT ITER 78 NEW BEST:: SOT 332130 SOS 123497 HAS SOPS 123497 HAS SOUS 119374 HAS SOUPS 119374 WITH SCORE 119497.497
AT ITER 83 NEW BEST:: SOT 331972 SOS 123181 HAS SOPS 123181 HAS SOUS 119058 HAS SOUPS 119058 WITH SCORE 119181.181
AT ITER 86 NEW BEST:: SOT 331972 SOS 123178 HAS SOPS 123178 HAS SOUS 119055 HAS SOUPS 119055 WITH SCORE 119178.178
AT ITER 88 NEW BEST:: SOT 331972 SOS 122944 HAS SOPS 122944 HAS SOUS 118821 HAS SOUPS 118821 WITH SCORE 118943.944
AT ITER 92 NEW BEST:: SOT 331756 SOS 122728 HAS SOPS 122728 HAS SOUS 118605 HAS SOUPS 118605 WITH SCORE 118727.728
AT ITER 99 NEW BEST:: SOT 331491 SOS 122356 HAS SOPS 122356 HAS SOUS 118233 HAS SOUPS 118233 WITH SCORE 118355.356
AT ITER 105 NEW BEST:: SOT 331302 SOS 122167 HAS SOPS 122167 HAS SOUS 118044 HAS SOUPS 118044 WITH SCORE 118166.167
AT ITER 107 NEW BEST:: SOT 331301 SOS 122166 HAS SOPS 122166 HAS SOUS 118043 HAS SOUPS 118043 WITH SCORE 118165.166
AT ITER 108 NEW BEST:: SOT 331191 SOS 122164 HAS SOPS 122164 HAS SOUS 117932 HAS SOUPS 117932 WITH SCORE 118054.164
AT ITER 116 NEW BEST:: SOT 330940 SOS 121839 HAS SOPS 121839 HAS SOUS 117607 HAS SOUPS 117607 WITH SCORE 117728.839
AT ITER 119 NEW BEST:: SOT 330690 SOS 121607 HAS SOPS 121607 HAS SOUS 117375 HAS SOUPS 117375 WITH SCORE 117496.607
AT ITER 130 NEW BEST:: SOT 330312 SOS 121469 HAS SOPS 121469 HAS SOUS 117237 HAS SOUPS 117237 WITH SCORE 117358.469
AT ITER 140 NEW BEST:: SOT 330524 SOS 121668 HAS SOPS 121668 HAS SOUS 117224 HAS SOUPS 117224 WITH SCORE 117345.668
AT ITER 152 NEW BEST:: SOT 330524 SOS 121569 HAS SOPS 121569 HAS SOUS 117142 HAS SOUPS 117142 WITH SCORE 117263.569
AT ITER 155 NEW BEST:: SOT 330486 SOS 121551 HAS SOPS 121551 HAS SOUS 117124 HAS SOUPS 117124 WITH SCORE 117245.551
AT ITER 159 NEW BEST:: SOT 330485 SOS 121549 HAS SOPS 121549 HAS SOUS 117122 HAS SOUPS 117122 WITH SCORE 117243.549
AT ITER 173 NEW BEST:: SOT 330485 SOS 121471 HAS SOPS 121471 HAS SOUS 117044 HAS SOUPS 117044 WITH SCORE 117165.471
AT ITER 178 NEW BEST:: SOT 330370 SOS 121338 HAS SOPS 121338 HAS SOUS 116911 HAS SOUPS 116911 WITH SCORE 117032.338
AT ITER 180 NEW BEST:: SOT 330370 SOS 121289 HAS SOPS 121289 HAS SOUS 116862 HAS SOUPS 116862 WITH SCORE 116983.289
AT ITER 194 NEW BEST:: SOT 330392 SOS 121236 HAS SOPS 121236 HAS SOUS 116809 HAS SOUPS 116809 WITH SCORE 116930.236
AT ITER 215 NEW BEST:: SOT 330392 SOS 121235 HAS SOPS 121235 HAS SOUS 116808 HAS SOUPS 116808 WITH SCORE 116929.235
AT ITER 218 NEW BEST:: SOT 330316 SOS 121083 HAS SOPS 121083 HAS SOUS 116656 HAS SOUPS 116656 WITH SCORE 116777.083
AT ITER 220 NEW BEST:: SOT 330339 SOS 120983 HAS SOPS 120983 HAS SOUS 116556 HAS SOUPS 116556 WITH SCORE 116676.983
AT ITER 231 NEW BEST:: SOT 330203 SOS 120945 HAS SOPS 120945 HAS SOUS 116518 HAS SOUPS 116518 WITH SCORE 116638.945
AT ITER 233 NEW BEST:: SOT 330202 SOS 120762 HAS SOPS 120762 HAS SOUS 116335 HAS SOUPS 116335 WITH SCORE 116455.762
AT ITER 234 NEW BEST:: SOT 330133 SOS 120725 HAS SOPS 120725 HAS SOUS 116298 HAS SOUPS 116298 WITH SCORE 116418.725
AT ITER 236 NEW BEST:: SOT 330133 SOS 120628 HAS SOPS 120628 HAS SOUS 116201 HAS SOUPS 116201 WITH SCORE 116321.628
AT ITER 251 NEW BEST:: SOT 329993 SOS 120488 HAS SOPS 120488 HAS SOUS 116061 HAS SOUPS 116061 WITH SCORE 116181.488
AT ITER 253 NEW BEST:: SOT 329869 SOS 120326 HAS SOPS 120326 HAS SOUS 115949 HAS SOUPS 115949 WITH SCORE 116069.326
AT ITER 264 NEW BEST:: SOT 329796 SOS 120326 HAS SOPS 120326 HAS SOUS 115948 HAS SOUPS 115948 WITH SCORE 116068.326
AT ITER 272 NEW BEST:: SOT 329765 SOS 120294 HAS SOPS 120294 HAS SOUS 115916 HAS SOUPS 115916 WITH SCORE 116036.294
AT ITER 284 NEW BEST:: SOT 329741 SOS 120294 HAS SOPS 120294 HAS SOUS 115908 HAS SOUPS 115908 WITH SCORE 116028.294
AT ITER 298 NEW BEST:: SOT 329652 SOS 120116 HAS SOPS 120116 HAS SOUS 115908 HAS SOUPS 115908 WITH SCORE 116028.116
AT ITER 310 NEW BEST:: SOT 329652 SOS 119929 HAS SOPS 119929 HAS SOUS 115721 HAS SOUPS 115721 WITH SCORE 115840.929
AT ITER 324 NEW BEST:: SOT 329652 SOS 119890 HAS SOPS 119890 HAS SOUS 115721 HAS SOUPS 115721 WITH SCORE 115840.89
AT ITER 331 NEW BEST:: SOT 329652 SOS 119844 HAS SOPS 119844 HAS SOUS 115721 HAS SOUPS 115721 WITH SCORE 115840.844
AT ITER 332 NEW BEST:: SOT 320834 SOS 120009 HAS SOPS 120009 HAS SOUS 107407 HAS SOUPS 107407 WITH SCORE 107527.009
AT ITER 338 NEW BEST:: SOT 320522 SOS 119351 HAS SOPS 119351 HAS SOUS 106749 HAS SOUPS 106749 WITH SCORE 106868.351
AT ITER 346 NEW BEST:: SOT 320469 SOS 119298 HAS SOPS 119298 HAS SOUS 106696 HAS SOUPS 106696 WITH SCORE 106815.298
AT ITER 351 NEW BEST:: SOT 320277 SOS 119021 HAS SOPS 119021 HAS SOUS 106419 HAS SOUPS 106419 WITH SCORE 106538.021
AT ITER 357 NEW BEST:: SOT 320241 SOS 119649 HAS SOPS 119649 HAS SOUS 106399 HAS SOUPS 106399 WITH SCORE 106518.649
AT ITER 367 NEW BEST:: SOT 320133 SOS 119433 HAS SOPS 119433 HAS SOUS 106290 HAS SOUPS 106290 WITH SCORE 106409.433
AT ITER 368 NEW BEST:: SOT 320133 SOS 119433 HAS SOPS 119433 HAS SOUS 106289 HAS SOUPS 106289 WITH SCORE 106408.433
AT ITER 381 NEW BEST:: SOT 319971 SOS 119109 HAS SOPS 119109 HAS SOUS 106127 HAS SOUPS 106127 WITH SCORE 106246.109
AT ITER 385 NEW BEST:: SOT 319596 SOS 118601 HAS SOPS 118601 HAS SOUS 105752 HAS SOUPS 105752 WITH SCORE 105870.601
AT ITER 388 NEW BEST:: SOT 319444 SOS 118334 HAS SOPS 118334 HAS SOUS 105549 HAS SOUPS 105549 WITH SCORE 105667.334
AT ITER 390 NEW BEST:: SOT 319279 SOS 118082 HAS SOPS 118082 HAS SOUS 105297 HAS SOUPS 105297 WITH SCORE 105415.082
AT ITER 393 NEW BEST:: SOT 319168 SOS 117857 HAS SOPS 117857 HAS SOUS 105008 HAS SOUPS 105008 WITH SCORE 105125.857
AT ITER 409 NEW BEST:: SOT 319074 SOS 117762 HAS SOPS 117762 HAS SOUS 105006 HAS SOUPS 105006 WITH SCORE 105123.762
AT ITER 438 NEW BEST:: SOT 319072 SOS 117758 HAS SOPS 117758 HAS SOUS 105002 HAS SOUPS 105002 WITH SCORE 105119.758
AT ITER 441 NEW BEST:: SOT 319109 SOS 117795 HAS SOPS 117795 HAS SOUS 104954 HAS SOUPS 104954 WITH SCORE 105071.795
AT ITER 449 NEW BEST:: SOT 318446 SOS 126273 HAS SOPS 126273 HAS SOUS 104411 HAS SOUPS 104411 WITH SCORE 104537.273
AT ITER 456 NEW BEST:: SOT 318437 SOS 126232 HAS SOPS 126232 HAS SOUS 104402 HAS SOUPS 104402 WITH SCORE 104528.232
AT ITER 463 NEW BEST:: SOT 318099 SOS 125556 HAS SOPS 125556 HAS SOUS 103900 HAS SOUPS 103900 WITH SCORE 104025.556
AT ITER 467 NEW BEST:: SOT 317949 SOS 125331 HAS SOPS 125331 HAS SOUS 103675 HAS SOUPS 103675 WITH SCORE 103800.331
AT ITER 469 NEW BEST:: SOT 317948 SOS 125207 HAS SOPS 125207 HAS SOUS 103671 HAS SOUPS 103671 WITH SCORE 103796.207
AT ITER 473 NEW BEST:: SOT 317948 SOS 124970 HAS SOPS 124970 HAS SOUS 103343 HAS SOUPS 103343 WITH SCORE 103467.97
AT ITER 493 NEW BEST:: SOT 317948 SOS 124963 HAS SOPS 124963 HAS SOUS 103336 HAS SOUPS 103336 WITH SCORE 103460.963
AT ITER 494 NEW BEST:: SOT 317524 SOS 124327 HAS SOPS 124327 HAS SOUS 102912 HAS SOUPS 102912 WITH SCORE 103036.327
AT ITER 497 NEW BEST:: SOT 317537 SOS 124083 HAS SOPS 124083 HAS SOUS 102787 HAS SOUPS 102787 WITH SCORE 102911.083
AT ITER 514 NEW BEST:: SOT 317439 SOS 124041 HAS SOPS 124041 HAS SOUS 102745 HAS SOUPS 102745 WITH SCORE 102869.041
AT ITER 515 NEW BEST:: SOT 317405 SOS 124007 HAS SOPS 124007 HAS SOUS 102711 HAS SOUPS 102711 WITH SCORE 102835.007
AT ITER 516 NEW BEST:: SOT 317553 SOS 123690 HAS SOPS 123690 HAS SOUS 102581 HAS SOUPS 102581 WITH SCORE 102704.69
AT ITER 523 NEW BEST:: SOT 317606 SOS 123419 HAS SOPS 123419 HAS SOUS 102413 HAS SOUPS 102413 WITH SCORE 102536.419
AT ITER 543 NEW BEST:: SOT 317670 SOS 123300 HAS SOPS 123300 HAS SOUS 102294 HAS SOUPS 102294 WITH SCORE 102417.3
AT ITER 552 NEW BEST:: SOT 317669 SOS 123298 HAS SOPS 123298 HAS SOUS 102292 HAS SOUPS 102292 WITH SCORE 102415.298
AT ITER 554 NEW BEST:: SOT 317646 SOS 123203 HAS SOPS 123203 HAS SOUS 102197 HAS SOUPS 102197 WITH SCORE 102320.203
AT ITER 555 NEW BEST:: SOT 317438 SOS 122909 HAS SOPS 122909 HAS SOUS 102025 HAS SOUPS 102025 WITH SCORE 102147.909
AT ITER 561 NEW BEST:: SOT 317574 SOS 122895 HAS SOPS 122895 HAS SOUS 101670 HAS SOUPS 101670 WITH SCORE 101792.895
AT ITER 566 NEW BEST:: SOT 317462 SOS 122727 HAS SOPS 122727 HAS SOUS 101558 HAS SOUPS 101558 WITH SCORE 101680.727
AT ITER 569 NEW BEST:: SOT 317129 SOS 122061 HAS SOPS 122061 HAS SOUS 101055 HAS SOUPS 101055 WITH SCORE 101177.061
AT ITER 570 NEW BEST:: SOT 317140 SOS 122039 HAS SOPS 122039 HAS SOUS 100950 HAS SOUPS 100950 WITH SCORE 101072.039
AT ITER 576 NEW BEST:: SOT 317082 SOS 121892 HAS SOPS 121892 HAS SOUS 100861 HAS SOUPS 100861 WITH SCORE 100982.892
AT ITER 597 NEW BEST:: SOT 317035 SOS 121834 HAS SOPS 121834 HAS SOUS 100814 HAS SOUPS 100814 WITH SCORE 100935.834
AT ITER 606 NEW BEST:: SOT 317034 SOS 121833 HAS SOPS 121833 HAS SOUS 100813 HAS SOUPS 100813 WITH SCORE 100934.833
AT ITER 607 NEW BEST:: SOT 317012 SOS 121810 HAS SOPS 121810 HAS SOUS 100811 HAS SOUPS 100811 WITH SCORE 100932.81
AT ITER 620 NEW BEST:: SOT 316966 SOS 121645 HAS SOPS 121645 HAS SOUS 100667 HAS SOUPS 100667 WITH SCORE 100788.645
AT ITER 628 NEW BEST:: SOT 317097 SOS 121559 HAS SOPS 121559 HAS SOUS 100666 HAS SOUPS 100666 WITH SCORE 100787.559
AT ITER 636 NEW BEST:: SOT 317085 SOS 121547 HAS SOPS 121547 HAS SOUS 100654 HAS SOUPS 100654 WITH SCORE 100775.547
AT ITER 641 NEW BEST:: SOT 317003 SOS 121383 HAS SOPS 121383 HAS SOUS 100645 HAS SOUPS 100645 WITH SCORE 100766.383
AT ITER 651 NEW BEST:: SOT 313263 SOS 117067 HAS SOPS 117067 HAS SOUS 96635 HAS SOUPS 96635 WITH SCORE 96752.067
AT ITER 652 NEW BEST:: SOT 313141 SOS 116831 HAS SOPS 116831 HAS SOUS 96592 HAS SOUPS 96592 WITH SCORE 96708.831
AT ITER 661 NEW BEST:: SOT 313083 SOS 116773 HAS SOPS 116773 HAS SOUS 96534 HAS SOUPS 96534 WITH SCORE 96650.773
AT ITER 665 NEW BEST:: SOT 313100 SOS 116725 HAS SOPS 116725 HAS SOUS 96469 HAS SOUPS 96469 WITH SCORE 96585.725
AT ITER 671 NEW BEST:: SOT 312979 SOS 116575 HAS SOPS 116575 HAS SOUS 96425 HAS SOUPS 96425 WITH SCORE 96541.575
AT ITER 672 NEW BEST:: SOT 313143 SOS 116687 HAS SOPS 116687 HAS SOUS 96424 HAS SOUPS 96424 WITH SCORE 96540.687
AT ITER 690 NEW BEST:: SOT 313133 SOS 116667 HAS SOPS 116667 HAS SOUS 96404 HAS SOUPS 96404 WITH SCORE 96520.667
AT ITER 694 NEW BEST:: SOT 313047 SOS 116623 HAS SOPS 116623 HAS SOUS 96360 HAS SOUPS 96360 WITH SCORE 96476.623
AT ITER 695 NEW BEST:: SOT 313037 SOS 116499 HAS SOPS 116499 HAS SOUS 96283 HAS SOUPS 96283 WITH SCORE 96399.499
AT ITER 697 NEW BEST:: SOT 313037 SOS 116485 HAS SOPS 116485 HAS SOUS 96269 HAS SOUPS 96269 WITH SCORE 96385.485
AT ITER 736 NEW BEST:: SOT 313051 SOS 116517 HAS SOPS 116517 HAS SOUS 96259 HAS SOUPS 96259 WITH SCORE 96375.517
AT ITER 759 NEW BEST:: SOT 313093 SOS 116503 HAS SOPS 116503 HAS SOUS 96245 HAS SOUPS 96245 WITH SCORE 96361.503
AT ITER 765 NEW BEST:: SOT 313143 SOS 116553 HAS SOPS 116553 HAS SOUS 96244 HAS SOUPS 96244 WITH SCORE 96360.553
AT ITER 766 NEW BEST:: SOT 313218 SOS 116260 HAS SOPS 116260 HAS SOUS 96160 HAS SOUPS 96160 WITH SCORE 96276.26
AT ITER 772 NEW BEST:: SOT 313247 SOS 116007 HAS SOPS 116007 HAS SOUS 95907 HAS SOUPS 95907 WITH SCORE 96023.007
AT ITER 773 NEW BEST:: SOT 313165 SOS 115969 HAS SOPS 115969 HAS SOUS 95903 HAS SOUPS 95903 WITH SCORE 96018.969
AT ITER 777 NEW BEST:: SOT 312949 SOS 115684 HAS SOPS 115684 HAS SOUS 95618 HAS SOUPS 95618 WITH SCORE 95733.684
AT ITER 790 NEW BEST:: SOT 312808 SOS 115402 HAS SOPS 115402 HAS SOUS 95569 HAS SOUPS 95569 WITH SCORE 95684.402
AT ITER 804 NEW BEST:: SOT 312748 SOS 115282 HAS SOPS 115282 HAS SOUS 95449 HAS SOUPS 95449 WITH SCORE 95564.282
AT ITER 816 NEW BEST:: SOT 312707 SOS 115296 HAS SOPS 115296 HAS SOUS 95408 HAS SOUPS 95408 WITH SCORE 95523.296
AT ITER 822 NEW BEST:: SOT 312435 SOS 114773 HAS SOPS 114773 HAS SOUS 95274 HAS SOUPS 95274 WITH SCORE 95388.773
AT ITER 824 NEW BEST:: SOT 312434 SOS 114772 HAS SOPS 114772 HAS SOUS 95273 HAS SOUPS 95273 WITH SCORE 95387.772
AT ITER 840 NEW BEST:: SOT 312393 SOS 114690 HAS SOPS 114690 HAS SOUS 95191 HAS SOUPS 95191 WITH SCORE 95305.69
AT ITER 842 NEW BEST:: SOT 312229 SOS 114525 HAS SOPS 114525 HAS SOUS 95189 HAS SOUPS 95189 WITH SCORE 95303.525
AT ITER 845 NEW BEST:: SOT 312029 SOS 114218 HAS SOPS 114218 HAS SOUS 94707 HAS SOUPS 94707 WITH SCORE 94821.218
AT ITER 850 NEW BEST:: SOT 311921 SOS 114193 HAS SOPS 114193 HAS SOUS 94682 HAS SOUPS 94682 WITH SCORE 94796.193
AT ITER 851 NEW BEST:: SOT 312121 SOS 114280 HAS SOPS 114280 HAS SOUS 94646 HAS SOUPS 94646 WITH SCORE 94760.28
AT ITER 868 NEW BEST:: SOT 312138 SOS 114246 HAS SOPS 114246 HAS SOUS 94612 HAS SOUPS 94612 WITH SCORE 94726.246
AT ITER 871 NEW BEST:: SOT 311989 SOS 113830 HAS SOPS 113830 HAS SOUS 94295 HAS SOUPS 94295 WITH SCORE 94408.83
AT ITER 873 NEW BEST:: SOT 311898 SOS 113648 HAS SOPS 113648 HAS SOUS 94247 HAS SOUPS 94247 WITH SCORE 94360.648
AT ITER 879 NEW BEST:: SOT 311898 SOS 113528 HAS SOPS 113528 HAS SOUS 94007 HAS SOUPS 94007 WITH SCORE 94120.528
AT ITER 883 NEW BEST:: SOT 311808 SOS 113348 HAS SOPS 113348 HAS SOUS 93948 HAS SOUPS 93948 WITH SCORE 94061.348
AT ITER 885 NEW BEST:: SOT 311772 SOS 113276 HAS SOPS 113276 HAS SOUS 93849 HAS SOUPS 93849 WITH SCORE 93962.276
AT ITER 886 NEW BEST:: SOT 311679 SOS 112916 HAS SOPS 112916 HAS SOUS 93489 HAS SOUPS 93489 WITH SCORE 93601.916
AT ITER 887 NEW BEST:: SOT 311525 SOS 112608 HAS SOPS 112608 HAS SOUS 93192 HAS SOUPS 93192 WITH SCORE 93304.608
AT ITER 893 NEW BEST:: SOT 309053 SOS 110135 HAS SOPS 110135 HAS SOUS 90843 HAS SOUPS 90843 WITH SCORE 90953.135
AT ITER 894 NEW BEST:: SOT 309047 SOS 110129 HAS SOPS 110129 HAS SOUS 90837 HAS SOUPS 90837 WITH SCORE 90947.129
AT ITER 911 NEW BEST:: SOT 308931 SOS 110033 HAS SOPS 110033 HAS SOUS 90758 HAS SOUPS 90758 WITH SCORE 90868.033
AT ITER 917 NEW BEST:: SOT 308922 SOS 110023 HAS SOPS 110023 HAS SOUS 90756 HAS SOUPS 90756 WITH SCORE 90866.023
AT ITER 940 NEW BEST:: SOT 308767 SOS 109868 HAS SOPS 109868 HAS SOUS 90601 HAS SOUPS 90601 WITH SCORE 90710.868
AT ITER 946 NEW BEST:: SOT 308608 SOS 109464 HAS SOPS 109464 HAS SOUS 90197 HAS SOUPS 90197 WITH SCORE 90306.464
AT ITER 965 NEW BEST:: SOT 308606 SOS 109462 HAS SOPS 109462 HAS SOUS 90195 HAS SOUPS 90195 WITH SCORE 90304.462
AT ITER 971 NEW BEST:: SOT 308653 SOS 109395 HAS SOPS 109395 HAS SOUS 90128 HAS SOUPS 90128 WITH SCORE 90237.395
AT ITER 980 NEW BEST:: SOT 308587 SOS 109359 HAS SOPS 109359 HAS SOUS 90092 HAS SOUPS 90092 WITH SCORE 90201.359
AT ITER 1001 NEW BEST:: SOT 308479 SOS 109230 HAS SOPS 109230 HAS SOUS 89963 HAS SOUPS 89963 WITH SCORE 90072.23
AT ITER 1002 NEW BEST:: SOT 308426 SOS 109177 HAS SOPS 109177 HAS SOUS 89963 HAS SOUPS 89963 WITH SCORE 90072.177
AT ITER 1024 NEW BEST:: SOT 308381 SOS 109105 HAS SOPS 109105 HAS SOUS 89891 HAS SOUPS 89891 WITH SCORE 90000.105
AT ITER 1031 NEW BEST:: SOT 308381 SOS 109045 HAS SOPS 109045 HAS SOUS 89831 HAS SOUPS 89831 WITH SCORE 89940.045
AT ITER 1039 NEW BEST:: SOT 308307 SOS 108885 HAS SOPS 108885 HAS SOUS 89671 HAS SOUPS 89671 WITH SCORE 89779.885
AT ITER 1057 NEW BEST:: SOT 308006 SOS 108593 HAS SOPS 108593 HAS SOUS 89591 HAS SOUPS 89591 WITH SCORE 89699.593
AT ITER 1060 NEW BEST:: SOT 308006 SOS 108586 HAS SOPS 108586 HAS SOUS 89591 HAS SOUPS 89591 WITH SCORE 89699.586
AT ITER 1065 NEW BEST:: SOT 308045 SOS 108547 HAS SOPS 108547 HAS SOUS 89591 HAS SOUPS 89591 WITH SCORE 89699.547
AT ITER 1070 NEW BEST:: SOT 308009 SOS 108514 HAS SOPS 108514 HAS SOUS 89558 HAS SOUPS 89558 WITH SCORE 89666.514
AT ITER 1080 NEW BEST:: SOT 308008 SOS 108512 HAS SOPS 108512 HAS SOUS 89556 HAS SOUPS 89556 WITH SCORE 89664.512
AT ITER 1094 NEW BEST:: SOT 307880 SOS 108384 HAS SOPS 108384 HAS SOUS 89468 HAS SOUPS 89468 WITH SCORE 89576.384
AT ITER 1108 NEW BEST:: SOT 307853 SOS 108357 HAS SOPS 108357 HAS SOUS 89468 HAS SOUPS 89468 WITH SCORE 89576.357
AT ITER 1114 NEW BEST:: SOT 307811 SOS 108273 HAS SOPS 108273 HAS SOUS 89384 HAS SOUPS 89384 WITH SCORE 89492.273
AT ITER 1140 NEW BEST:: SOT 307776 SOS 108238 HAS SOPS 108238 HAS SOUS 89349 HAS SOUPS 89349 WITH SCORE 89457.238
AT ITER 1144 NEW BEST:: SOT 307740 SOS 108184 HAS SOPS 108184 HAS SOUS 89295 HAS SOUPS 89295 WITH SCORE 89403.184
AT ITER 1150 NEW BEST:: SOT 307727 SOS 108171 HAS SOPS 108171 HAS SOUS 89282 HAS SOUPS 89282 WITH SCORE 89390.171
AT ITER 1152 NEW BEST:: SOT 307837 SOS 108126 HAS SOPS 108126 HAS SOUS 89210 HAS SOUPS 89210 WITH SCORE 89318.126
AT ITER 1162 NEW BEST:: SOT 307818 SOS 108064 HAS SOPS 108064 HAS SOUS 89148 HAS SOUPS 89148 WITH SCORE 89256.064
AT ITER 1175 NEW BEST:: SOT 307687 SOS 107933 HAS SOPS 107933 HAS SOUS 89017 HAS SOUPS 89017 WITH SCORE 89124.933
AT ITER 1182 NEW BEST:: SOT 307687 SOS 107895 HAS SOPS 107895 HAS SOUS 89017 HAS SOUPS 89017 WITH SCORE 89124.895
AT ITER 1186 NEW BEST:: SOT 307687 SOS 107849 HAS SOPS 107849 HAS SOUS 88971 HAS SOUPS 88971 WITH SCORE 89078.849
AT ITER 1188 NEW BEST:: SOT 307707 SOS 107749 HAS SOPS 107749 HAS SOUS 88734 HAS SOUPS 88734 WITH SCORE 88841.749
AT ITER 1190 NEW BEST:: SOT 307707 SOS 107564 HAS SOPS 107564 HAS SOUS 88549 HAS SOUPS 88549 WITH SCORE 88656.564
AT ITER 1195 NEW BEST:: SOT 307640 SOS 107430 HAS SOPS 107430 HAS SOUS 88482 HAS SOUPS 88482 WITH SCORE 88589.43
AT ITER 1204 NEW BEST:: SOT 307639 SOS 107428 HAS SOPS 107428 HAS SOUS 88480 HAS SOUPS 88480 WITH SCORE 88587.428
AT ITER 1207 NEW BEST:: SOT 307552 SOS 107313 HAS SOPS 107313 HAS SOUS 88365 HAS SOUPS 88365 WITH SCORE 88472.313
AT ITER 1217 NEW BEST:: SOT 307529 SOS 107290 HAS SOPS 107290 HAS SOUS 88342 HAS SOUPS 88342 WITH SCORE 88449.29
AT ITER 1220 NEW BEST:: SOT 307479 SOS 107214 HAS SOPS 107214 HAS SOUS 88266 HAS SOUPS 88266 WITH SCORE 88373.214
AT ITER 1226 NEW BEST:: SOT 307407 SOS 107076 HAS SOPS 107076 HAS SOUS 88225 HAS SOUPS 88225 WITH SCORE 88332.076
AT ITER 1231 NEW BEST:: SOT 307284 SOS 106876 HAS SOPS 106876 HAS SOUS 88159 HAS SOUPS 88159 WITH SCORE 88265.876
AT ITER 1232 NEW BEST:: SOT 307240 SOS 106871 HAS SOPS 106871 HAS SOUS 88154 HAS SOUPS 88154 WITH SCORE 88260.871
AT ITER 1262 NEW BEST:: SOT 307357 SOS 106942 HAS SOPS 106942 HAS SOUS 88087 HAS SOUPS 88087 WITH SCORE 88193.942
AT ITER 1264 NEW BEST:: SOT 307271 SOS 106856 HAS SOPS 106856 HAS SOUS 88087 HAS SOUPS 88087 WITH SCORE 88193.856
AT ITER 1276 NEW BEST:: SOT 307269 SOS 106854 HAS SOPS 106854 HAS SOUS 88085 HAS SOUPS 88085 WITH SCORE 88191.854
AT ITER 1296 NEW BEST:: SOT 307266 SOS 106998 HAS SOPS 106998 HAS SOUS 88039 HAS SOUPS 88039 WITH SCORE 88145.998
AT ITER 1308 NEW BEST:: SOT 307205 SOS 107170 HAS SOPS 107170 HAS SOUS 87932 HAS SOUPS 87932 WITH SCORE 88039.17
AT ITER 1321 NEW BEST:: SOT 307205 SOS 107160 HAS SOPS 107160 HAS SOUS 87922 HAS SOUPS 87922 WITH SCORE 88029.16
AT ITER 1347 NEW BEST:: SOT 307107 SOS 107117 HAS SOPS 107117 HAS SOUS 87879 HAS SOUPS 87879 WITH SCORE 87986.117
AT ITER 1352 NEW BEST:: SOT 306145 SOS 106153 HAS SOPS 106153 HAS SOUS 86917 HAS SOUPS 86917 WITH SCORE 87023.153
AT ITER 1371 NEW BEST:: SOT 306125 SOS 106123 HAS SOPS 106123 HAS SOUS 86887 HAS SOUPS 86887 WITH SCORE 86993.123
AT ITER 1372 NEW BEST:: SOT 306182 SOS 106108 HAS SOPS 106108 HAS SOUS 86800 HAS SOUPS 86800 WITH SCORE 86906.108
AT ITER 1378 NEW BEST:: SOT 306137 SOS 106018 HAS SOPS 106018 HAS SOUS 86721 HAS SOUPS 86721 WITH SCORE 86827.018
AT ITER 1382 NEW BEST:: SOT 306173 SOS 105794 HAS SOPS 105794 HAS SOUS 86497 HAS SOUPS 86497 WITH SCORE 86602.794
AT ITER 1387 NEW BEST:: SOT 306155 SOS 105758 HAS SOPS 105758 HAS SOUS 86461 HAS SOUPS 86461 WITH SCORE 86566.758
AT ITER 1414 NEW BEST:: SOT 306222 SOS 105731 HAS SOPS 105731 HAS SOUS 86434 HAS SOUPS 86434 WITH SCORE 86539.731
AT ITER 1424 NEW BEST:: SOT 306221 SOS 105729 HAS SOPS 105729 HAS SOUS 86432 HAS SOUPS 86432 WITH SCORE 86537.729
AT ITER 1434 NEW BEST:: SOT 306227 SOS 105686 HAS SOPS 105686 HAS SOUS 86389 HAS SOUPS 86389 WITH SCORE 86494.686
AT ITER 1436 NEW BEST:: SOT 306108 SOS 105516 HAS SOPS 105516 HAS SOUS 86270 HAS SOUPS 86270 WITH SCORE 86375.516
AT ITER 1447 NEW BEST:: SOT 306108 SOS 105509 HAS SOPS 105509 HAS SOUS 86263 HAS SOUPS 86263 WITH SCORE 86368.509
AT ITER 1454 NEW BEST:: SOT 306081 SOS 105409 HAS SOPS 105409 HAS SOUS 86163 HAS SOUPS 86163 WITH SCORE 86268.409
AT ITER 1460 NEW BEST:: SOT 306101 SOS 105312 HAS SOPS 105312 HAS SOUS 86046 HAS SOUPS 86046 WITH SCORE 86151.312
AT ITER 1470 NEW BEST:: SOT 305969 SOS 105128 HAS SOPS 105128 HAS SOUS 85941 HAS SOUPS 85941 WITH SCORE 86046.128
AT ITER 1475 NEW BEST:: SOT 305905 SOS 104714 HAS SOPS 104714 HAS SOUS 85760 HAS SOUPS 85760 WITH SCORE 85864.714
AT ITER 1483 NEW BEST:: SOT 305696 SOS 104296 HAS SOPS 104296 HAS SOUS 85354 HAS SOUPS 85354 WITH SCORE 85458.296
AT ITER 1508 NEW BEST:: SOT 305610 SOS 104295 HAS SOPS 104295 HAS SOUS 85353 HAS SOUPS 85353 WITH SCORE 85457.295
AT ITER 1510 NEW BEST:: SOT 305726 SOS 104193 HAS SOPS 104193 HAS SOUS 85251 HAS SOUPS 85251 WITH SCORE 85355.193
AT ITER 1511 NEW BEST:: SOT 305673 SOS 103950 HAS SOPS 103950 HAS SOUS 85017 HAS SOUPS 85017 WITH SCORE 85120.95
AT ITER 1516 NEW BEST:: SOT 305656 SOS 104201 HAS SOPS 104201 HAS SOUS 85013 HAS SOUPS 85013 WITH SCORE 85117.201
AT ITER 1522 NEW BEST:: SOT 305656 SOS 104201 HAS SOPS 104201 HAS SOUS 84979 HAS SOUPS 84979 WITH SCORE 85083.201
AT ITER 1546 NEW BEST:: SOT 305654 SOS 104199 HAS SOPS 104199 HAS SOUS 84977 HAS SOUPS 84977 WITH SCORE 85081.199
AT ITER 1551 NEW BEST:: SOT 305600 SOS 104077 HAS SOPS 104077 HAS SOUS 84977 HAS SOUPS 84977 WITH SCORE 85081.077
AT ITER 1567 NEW BEST:: SOT 305554 SOS 103985 HAS SOPS 103985 HAS SOUS 84931 HAS SOUPS 84931 WITH SCORE 85034.985
AT ITER 1576 NEW BEST:: SOT 305544 SOS 103965 HAS SOPS 103965 HAS SOUS 84921 HAS SOUPS 84921 WITH SCORE 85024.965
AT ITER 1577 NEW BEST:: SOT 305524 SOS 103925 HAS SOPS 103925 HAS SOUS 84901 HAS SOUPS 84901 WITH SCORE 85004.925
AT ITER 1587 NEW BEST:: SOT 305568 SOS 103703 HAS SOPS 103703 HAS SOUS 84850 HAS SOUPS 84850 WITH SCORE 84953.703
AT ITER 1588 NEW BEST:: SOT 305553 SOS 103674 HAS SOPS 103674 HAS SOUS 84820 HAS SOUPS 84820 WITH SCORE 84923.674
AT ITER 1605 NEW BEST:: SOT 305541 SOS 103642 HAS SOPS 103642 HAS SOUS 84806 HAS SOUPS 84806 WITH SCORE 84909.642
AT ITER 1617 NEW BEST:: SOT 305394 SOS 103349 HAS SOPS 103349 HAS SOUS 84513 HAS SOUPS 84513 WITH SCORE 84616.349
AT ITER 1629 NEW BEST:: SOT 305324 SOS 103211 HAS SOPS 103211 HAS SOUS 84443 HAS SOUPS 84443 WITH SCORE 84546.211
AT ITER 1630 NEW BEST:: SOT 305256 SOS 102812 HAS SOPS 102812 HAS SOUS 84191 HAS SOUPS 84191 WITH SCORE 84293.812
AT ITER 1643 NEW BEST:: SOT 305260 SOS 102706 HAS SOPS 102706 HAS SOUS 84085 HAS SOUPS 84085 WITH SCORE 84187.706
AT ITER 1694 NEW BEST:: SOT 305216 SOS 102648 HAS SOPS 102648 HAS SOUS 84057 HAS SOUPS 84057 WITH SCORE 84159.648
AT ITER 1707 NEW BEST:: SOT 305228 SOS 102642 HAS SOPS 102642 HAS SOUS 84051 HAS SOUPS 84051 WITH SCORE 84153.642
AT ITER 1732 NEW BEST:: SOT 305109 SOS 102522 HAS SOPS 102522 HAS SOUS 83931 HAS SOUPS 83931 WITH SCORE 84033.522
AT ITER 1737 NEW BEST:: SOT 305094 SOS 102507 HAS SOPS 102507 HAS SOUS 83916 HAS SOUPS 83916 WITH SCORE 84018.507
AT ITER 1760 NEW BEST:: SOT 305085 SOS 102489 HAS SOPS 102489 HAS SOUS 83898 HAS SOUPS 83898 WITH SCORE 84000.489
AT ITER 1761 NEW BEST:: SOT 304933 SOS 102261 HAS SOPS 102261 HAS SOUS 83746 HAS SOUPS 83746 WITH SCORE 83848.261
AT ITER 1796 NEW BEST:: SOT 304881 SOS 102208 HAS SOPS 102208 HAS SOUS 83744 HAS SOUPS 83744 WITH SCORE 83846.208
AT ITER 1802 NEW BEST:: SOT 304981 SOS 101945 HAS SOPS 101945 HAS SOUS 83481 HAS SOUPS 83481 WITH SCORE 83582.945
AT ITER 1812 NEW BEST:: SOT 304977 SOS 101943 HAS SOPS 101943 HAS SOUS 83479 HAS SOUPS 83479 WITH SCORE 83580.943
AT ITER 1830 NEW BEST:: SOT 304956 SOS 101922 HAS SOPS 101922 HAS SOUS 83437 HAS SOUPS 83437 WITH SCORE 83538.922
AT ITER 1851 NEW BEST:: SOT 304951 SOS 101917 HAS SOPS 101917 HAS SOUS 83432 HAS SOUPS 83432 WITH SCORE 83533.917
AT ITER 1861 NEW BEST:: SOT 304893 SOS 101801 HAS SOPS 101801 HAS SOUS 83316 HAS SOUPS 83316 WITH SCORE 83417.801
AT ITER 1871 NEW BEST:: SOT 304640 SOS 101428 HAS SOPS 101428 HAS SOUS 82946 HAS SOUPS 82946 WITH SCORE 83047.428
AT ITER 1880 NEW BEST:: SOT 304640 SOS 101422 HAS SOPS 101422 HAS SOUS 82940 HAS SOUPS 82940 WITH SCORE 83041.422
AT ITER 1887 NEW BEST:: SOT 304558 SOS 101298 HAS SOPS 101298 HAS SOUS 82816 HAS SOUPS 82816 WITH SCORE 82917.298
AT ITER 1920 NEW BEST:: SOT 304556 SOS 101295 HAS SOPS 101295 HAS SOUS 82814 HAS SOUPS 82814 WITH SCORE 82915.295
AT ITER 1921 NEW BEST:: SOT 304533 SOS 101272 HAS SOPS 101272 HAS SOUS 82791 HAS SOUPS 82791 WITH SCORE 82892.272
AT ITER 1942 NEW BEST:: SOT 304468 SOS 101207 HAS SOPS 101207 HAS SOUS 82791 HAS SOUPS 82791 WITH SCORE 82892.207
AT ITER 1954 NEW BEST:: SOT 304117 SOS 101203 HAS SOPS 101203 HAS SOUS 82440 HAS SOUPS 82440 WITH SCORE 82541.203
AT ITER 1973 NEW BEST:: SOT 304017 SOS 101087 HAS SOPS 101087 HAS SOUS 82324 HAS SOUPS 82324 WITH SCORE 82425.087
AT ITER 1981 NEW BEST:: SOT 304017 SOS 101087 HAS SOPS 101087 HAS SOUS 82305 HAS SOUPS 82305 WITH SCORE 82406.087
AT ITER 1993 NEW BEST:: SOT 303778 SOS 100988 HAS SOPS 100988 HAS SOUS 82056 HAS SOUPS 82056 WITH SCORE 82156.988
AT ITER 2050 NEW BEST:: SOT 303777 SOS 100918 HAS SOPS 100918 HAS SOUS 81986 HAS SOUPS 81986 WITH SCORE 82086.918
AT ITER 2051 NEW BEST:: SOT 303748 SOS 100711 HAS SOPS 100711 HAS SOUS 81779 HAS SOUPS 81779 WITH SCORE 81879.711
AT ITER 2053 NEW BEST:: SOT 303721 SOS 100670 HAS SOPS 100670 HAS SOUS 81738 HAS SOUPS 81738 WITH SCORE 81838.67
AT ITER 2057 NEW BEST:: SOT 303593 SOS 100591 HAS SOPS 100591 HAS SOUS 81659 HAS SOUPS 81659 WITH SCORE 81759.591
AT ITER 2063 NEW BEST:: SOT 303552 SOS 100917 HAS SOPS 100917 HAS SOUS 81658 HAS SOUPS 81658 WITH SCORE 81758.917
AT ITER 2083 NEW BEST:: SOT 303518 SOS 100822 HAS SOPS 100822 HAS SOUS 81589 HAS SOUPS 81589 WITH SCORE 81689.822
AT ITER 2086 NEW BEST:: SOT 303333 SOS 100675 HAS SOPS 100675 HAS SOUS 81554 HAS SOUPS 81554 WITH SCORE 81654.675
AT ITER 2090 NEW BEST:: SOT 303245 SOS 100584 HAS SOPS 100584 HAS SOUS 81463 HAS SOUPS 81463 WITH SCORE 81563.584
AT ITER 2092 NEW BEST:: SOT 303236 SOS 100575 HAS SOPS 100575 HAS SOUS 81454 HAS SOUPS 81454 WITH SCORE 81554.575
AT ITER 2112 NEW BEST:: SOT 303236 SOS 100574 HAS SOPS 100574 HAS SOUS 81453 HAS SOUPS 81453 WITH SCORE 81553.574
AT ITER 2113 NEW BEST:: SOT 303319 SOS 100523 HAS SOPS 100523 HAS SOUS 81413 HAS SOUPS 81413 WITH SCORE 81513.523
AT ITER 2124 NEW BEST:: SOT 303241 SOS 100274 HAS SOPS 100274 HAS SOUS 81247 HAS SOUPS 81247 WITH SCORE 81347.274
AT ITER 2130 NEW BEST:: SOT 303218 SOS 100250 HAS SOPS 100250 HAS SOUS 81223 HAS SOUPS 81223 WITH SCORE 81323.25
AT ITER 2136 NEW BEST:: SOT 302964 SOS 99996 HAS SOPS 99996 HAS SOUS 81217 HAS SOUPS 81217 WITH SCORE 81316.996
AT ITER 2139 NEW BEST:: SOT 302964 SOS 99996 HAS SOPS 99996 HAS SOUS 81207 HAS SOUPS 81207 WITH SCORE 81306.996
AT ITER 2141 NEW BEST:: SOT 302979 SOS 100018 HAS SOPS 100018 HAS SOUS 81180 HAS SOUPS 81180 WITH SCORE 81280.018
AT ITER 2147 NEW BEST:: SOT 302979 SOS 99987 HAS SOPS 99987 HAS SOUS 81179 HAS SOUPS 81179 WITH SCORE 81278.987
AT ITER 2151 NEW BEST:: SOT 302488 SOS 99497 HAS SOPS 99497 HAS SOUS 80920 HAS SOUPS 80920 WITH SCORE 81019.497
AT ITER 2158 NEW BEST:: SOT 302488 SOS 99454 HAS SOPS 99454 HAS SOUS 80877 HAS SOUPS 80877 WITH SCORE 80976.454
AT ITER 2164 NEW BEST:: SOT 302488 SOS 99446 HAS SOPS 99446 HAS SOUS 80877 HAS SOUPS 80877 WITH SCORE 80976.446
AT ITER 2173 NEW BEST:: SOT 302293 SOS 98881 HAS SOPS 98881 HAS SOUS 80624 HAS SOUPS 80624 WITH SCORE 80722.881
AT ITER 2191 NEW BEST:: SOT 302293 SOS 98853 HAS SOPS 98853 HAS SOUS 80568 HAS SOUPS 80568 WITH SCORE 80666.853
AT ITER 2196 NEW BEST:: SOT 302195 SOS 98704 HAS SOPS 98704 HAS SOUS 80468 HAS SOUPS 80468 WITH SCORE 80566.704
AT ITER 2197 NEW BEST:: SOT 302225 SOS 98686 HAS SOPS 98686 HAS SOUS 80372 HAS SOUPS 80372 WITH SCORE 80470.686
AT ITER 2217 NEW BEST:: SOT 302322 SOS 98880 HAS SOPS 98880 HAS SOUS 80327 HAS SOUPS 80327 WITH SCORE 80425.88
AT ITER 2242 NEW BEST:: SOT 302227 SOS 98690 HAS SOPS 98690 HAS SOUS 80192 HAS SOUPS 80192 WITH SCORE 80290.69
AT ITER 2249 NEW BEST:: SOT 302359 SOS 98615 HAS SOPS 98615 HAS SOUS 80150 HAS SOUPS 80150 WITH SCORE 80248.615
AT ITER 2259 NEW BEST:: SOT 302262 SOS 98518 HAS SOPS 98518 HAS SOUS 80000 HAS SOUPS 80000 WITH SCORE 80098.518
AT ITER 2261 NEW BEST:: SOT 302209 SOS 98433 HAS SOPS 98433 HAS SOUS 79794 HAS SOUPS 79794 WITH SCORE 79892.433
AT ITER 2266 NEW BEST:: SOT 302198 SOS 98422 HAS SOPS 98422 HAS SOUS 79783 HAS SOUPS 79783 WITH SCORE 79881.422
AT ITER 2285 NEW BEST:: SOT 302226 SOS 98400 HAS SOPS 98400 HAS SOUS 79761 HAS SOUPS 79761 WITH SCORE 79859.4
AT ITER 2294 NEW BEST:: SOT 302226 SOS 98318 HAS SOPS 98318 HAS SOUS 79761 HAS SOUPS 79761 WITH SCORE 79859.318
AT ITER 2299 NEW BEST:: SOT 302217 SOS 98300 HAS SOPS 98300 HAS SOUS 79752 HAS SOUPS 79752 WITH SCORE 79850.3
AT ITER 2303 NEW BEST:: SOT 302309 SOS 98231 HAS SOPS 98231 HAS SOUS 79683 HAS SOUPS 79683 WITH SCORE 79781.231
AT ITER 2317 NEW BEST:: SOT 302148 SOS 98125 HAS SOPS 98125 HAS SOUS 79577 HAS SOUPS 79577 WITH SCORE 79675.125
AT ITER 2330 NEW BEST:: SOT 302164 SOS 98068 HAS SOPS 98068 HAS SOUS 79520 HAS SOUPS 79520 WITH SCORE 79618.068
AT ITER 2348 NEW BEST:: SOT 302163 SOS 98067 HAS SOPS 98067 HAS SOUS 79519 HAS SOUPS 79519 WITH SCORE 79617.067
AT ITER 2349 NEW BEST:: SOT 302158 SOS 98062 HAS SOPS 98062 HAS SOUS 79509 HAS SOUPS 79509 WITH SCORE 79607.062
AT ITER 2355 NEW BEST:: SOT 302121 SOS 97988 HAS SOPS 97988 HAS SOUS 79435 HAS SOUPS 79435 WITH SCORE 79532.988
AT ITER 2395 NEW BEST:: SOT 301972 SOS 97839 HAS SOPS 97839 HAS SOUS 79286 HAS SOUPS 79286 WITH SCORE 79383.839
AT ITER 2408 NEW BEST:: SOT 301972 SOS 97523 HAS SOPS 97523 HAS SOUS 78970 HAS SOUPS 78970 WITH SCORE 79067.523
AT ITER 2409 NEW BEST:: SOT 301962 SOS 97513 HAS SOPS 97513 HAS SOUS 78960 HAS SOUPS 78960 WITH SCORE 79057.513
AT ITER 2418 NEW BEST:: SOT 301967 SOS 97503 HAS SOPS 97503 HAS SOUS 78833 HAS SOUPS 78833 WITH SCORE 78930.503
AT ITER 2426 NEW BEST:: SOT 301967 SOS 97420 HAS SOPS 97420 HAS SOUS 78750 HAS SOUPS 78750 WITH SCORE 78847.42
AT ITER 2459 NEW BEST:: SOT 301868 SOS 97311 HAS SOPS 97311 HAS SOUS 78693 HAS SOUPS 78693 WITH SCORE 78790.311
AT ITER 2462 NEW BEST:: SOT 301807 SOS 97330 HAS SOPS 97330 HAS SOUS 78641 HAS SOUPS 78641 WITH SCORE 78738.33
AT ITER 2463 NEW BEST:: SOT 301807 SOS 97310 HAS SOPS 97310 HAS SOUS 78590 HAS SOUPS 78590 WITH SCORE 78687.31
AT ITER 2469 NEW BEST:: SOT 301807 SOS 97259 HAS SOPS 97259 HAS SOUS 78584 HAS SOUPS 78584 WITH SCORE 78681.259
AT ITER 2473 NEW BEST:: SOT 301854 SOS 97240 HAS SOPS 97240 HAS SOUS 78574 HAS SOUPS 78574 WITH SCORE 78671.24
AT ITER 2489 NEW BEST:: SOT 301812 SOS 97139 HAS SOPS 97139 HAS SOUS 78473 HAS SOUPS 78473 WITH SCORE 78570.139
AT ITER 2507 NEW BEST:: SOT 301711 SOS 96822 HAS SOPS 96822 HAS SOUS 78367 HAS SOUPS 78367 WITH SCORE 78463.822
AT ITER 2511 NEW BEST:: SOT 301748 SOS 96846 HAS SOPS 96846 HAS SOUS 78366 HAS SOUPS 78366 WITH SCORE 78462.846
AT ITER 2515 NEW BEST:: SOT 301714 SOS 96779 HAS SOPS 96779 HAS SOUS 78299 HAS SOUPS 78299 WITH SCORE 78395.779
AT ITER 2532 NEW BEST:: SOT 301546 SOS 96611 HAS SOPS 96611 HAS SOUS 78131 HAS SOUPS 78131 WITH SCORE 78227.611
AT ITER 2555 NEW BEST:: SOT 301429 SOS 96494 HAS SOPS 96494 HAS SOUS 78014 HAS SOUPS 78014 WITH SCORE 78110.494
AT ITER 2560 NEW BEST:: SOT 301404 SOS 96444 HAS SOPS 96444 HAS SOUS 77964 HAS SOUPS 77964 WITH SCORE 78060.444
AT ITER 2570 NEW BEST:: SOT 301226 SOS 96199 HAS SOPS 96199 HAS SOUS 77897 HAS SOUPS 77897 WITH SCORE 77993.199
AT ITER 2577 NEW BEST:: SOT 301304 SOS 96355 HAS SOPS 96355 HAS SOUS 77835 HAS SOUPS 77835 WITH SCORE 77931.355
AT ITER 2578 NEW BEST:: SOT 301284 SOS 96332 HAS SOPS 96332 HAS SOUS 77812 HAS SOUPS 77812 WITH SCORE 77908.332
AT ITER 2600 NEW BEST:: SOT 301261 SOS 96299 HAS SOPS 96299 HAS SOUS 77779 HAS SOUPS 77779 WITH SCORE 77875.299
AT ITER 2617 NEW BEST:: SOT 300823 SOS 95861 HAS SOPS 95861 HAS SOUS 77530 HAS SOUPS 77530 WITH SCORE 77625.861
AT ITER 2650 NEW BEST:: SOT 300823 SOS 95859 HAS SOPS 95859 HAS SOUS 77528 HAS SOUPS 77528 WITH SCORE 77623.859
AT ITER 2657 NEW BEST:: SOT 300810 SOS 95858 HAS SOPS 95858 HAS SOUS 77527 HAS SOUPS 77527 WITH SCORE 77622.858
AT ITER 2662 NEW BEST:: SOT 300517 SOS 95524 HAS SOPS 95524 HAS SOUS 77475 HAS SOUPS 77475 WITH SCORE 77570.524
AT ITER 2667 NEW BEST:: SOT 300356 SOS 95334 HAS SOPS 95334 HAS SOUS 77274 HAS SOUPS 77274 WITH SCORE 77369.334
AT ITER 2676 NEW BEST:: SOT 300343 SOS 95308 HAS SOPS 95308 HAS SOUS 77242 HAS SOUPS 77242 WITH SCORE 77337.308
AT ITER 2717 NEW BEST:: SOT 300251 SOS 94911 HAS SOPS 94911 HAS SOUS 76978 HAS SOUPS 76978 WITH SCORE 77072.911
AT ITER 2720 NEW BEST:: SOT 300140 SOS 94683 HAS SOPS 94683 HAS SOUS 76750 HAS SOUPS 76750 WITH SCORE 76844.683
AT ITER 2732 NEW BEST:: SOT 300102 SOS 94607 HAS SOPS 94607 HAS SOUS 76674 HAS SOUPS 76674 WITH SCORE 76768.607
AT ITER 2757 NEW BEST:: SOT 300102 SOS 94534 HAS SOPS 94534 HAS SOUS 76674 HAS SOUPS 76674 WITH SCORE 76768.534
AT ITER 2760 NEW BEST:: SOT 300071 SOS 94472 HAS SOPS 94472 HAS SOUS 76602 HAS SOUPS 76602 WITH SCORE 76696.472
AT ITER 2766 NEW BEST:: SOT 300071 SOS 94459 HAS SOPS 94459 HAS SOUS 76589 HAS SOUPS 76589 WITH SCORE 76683.459
AT ITER 2767 NEW BEST:: SOT 300046 SOS 94434 HAS SOPS 94434 HAS SOUS 76589 HAS SOUPS 76589 WITH SCORE 76683.434
AT ITER 2788 NEW BEST:: SOT 299936 SOS 94324 HAS SOPS 94324 HAS SOUS 76479 HAS SOUPS 76479 WITH SCORE 76573.324
AT ITER 2803 NEW BEST:: SOT 299936 SOS 94324 HAS SOPS 94324 HAS SOUS 76372 HAS SOUPS 76372 WITH SCORE 76466.324
AT ITER 2819 NEW BEST:: SOT 299823 SOS 94098 HAS SOPS 94098 HAS SOUS 76313 HAS SOUPS 76313 WITH SCORE 76407.098
AT ITER 2824 NEW BEST:: SOT 299711 SOS 93980 HAS SOPS 93980 HAS SOUS 76195 HAS SOUPS 76195 WITH SCORE 76288.98
AT ITER 2829 NEW BEST:: SOT 299770 SOS 93965 HAS SOPS 93965 HAS SOUS 76180 HAS SOUPS 76180 WITH SCORE 76273.965
AT ITER 2843 NEW BEST:: SOT 299945 SOS 93819 HAS SOPS 93819 HAS SOUS 76035 HAS SOUPS 76035 WITH SCORE 76128.819
AT ITER 2863 NEW BEST:: SOT 299905 SOS 93739 HAS SOPS 93739 HAS SOUS 75955 HAS SOUPS 75955 WITH SCORE 76048.739
AT ITER 2893 NEW BEST:: SOT 299786 SOS 93524 HAS SOPS 93524 HAS SOUS 75740 HAS SOUPS 75740 WITH SCORE 75833.524
AT ITER 2929 NEW BEST:: SOT 299720 SOS 93417 HAS SOPS 93417 HAS SOUS 75609 HAS SOUPS 75609 WITH SCORE 75702.417
AT ITER 2939 NEW BEST:: SOT 299739 SOS 93348 HAS SOPS 93348 HAS SOUS 75540 HAS SOUPS 75540 WITH SCORE 75633.348
AT ITER 2940 NEW BEST:: SOT 299697 SOS 93319 HAS SOPS 93319 HAS SOUS 75511 HAS SOUPS 75511 WITH SCORE 75604.319
AT ITER 2950 NEW BEST:: SOT 299670 SOS 93265 HAS SOPS 93265 HAS SOUS 75457 HAS SOUPS 75457 WITH SCORE 75550.265
AT ITER 2965 NEW BEST:: SOT 299632 SOS 93227 HAS SOPS 93227 HAS SOUS 75419 HAS SOUPS 75419 WITH SCORE 75512.227
AT ITER 2967 NEW BEST:: SOT 299689 SOS 93341 HAS SOPS 93341 HAS SOUS 75377 HAS SOUPS 75377 WITH SCORE 75470.341
AT ITER 2976 NEW BEST:: SOT 299688 SOS 93339 HAS SOPS 93339 HAS SOUS 75375 HAS SOUPS 75375 WITH SCORE 75468.339
AT ITER 2988 NEW BEST:: SOT 299709 SOS 93341 HAS SOPS 93341 HAS SOUS 75374 HAS SOUPS 75374 WITH SCORE 75467.341
AT ITER 2989 NEW BEST:: SOT 299729 SOS 93380 HAS SOPS 93380 HAS SOUS 75327 HAS SOUPS 75327 WITH SCORE 75420.38
AT ITER 3006 NEW BEST:: SOT 299729 SOS 93350 HAS SOPS 93350 HAS SOUS 75312 HAS SOUPS 75312 WITH SCORE 75405.35
AT ITER 3017 NEW BEST:: SOT 299775 SOS 93174 HAS SOPS 93174 HAS SOUS 75169 HAS SOUPS 75169 WITH SCORE 75262.174
AT ITER 3026 NEW BEST:: SOT 299775 SOS 93156 HAS SOPS 93156 HAS SOUS 75151 HAS SOUPS 75151 WITH SCORE 75244.156
AT ITER 3046 NEW BEST:: SOT 299393 SOS 92603 HAS SOPS 92603 HAS SOUS 74863 HAS SOUPS 74863 WITH SCORE 74955.603
AT ITER 3050 NEW BEST:: SOT 299409 SOS 92602 HAS SOPS 92602 HAS SOUS 74862 HAS SOUPS 74862 WITH SCORE 74954.602
AT ITER 3061 NEW BEST:: SOT 299409 SOS 92559 HAS SOPS 92559 HAS SOUS 74776 HAS SOUPS 74776 WITH SCORE 74868.559
AT ITER 3069 NEW BEST:: SOT 299363 SOS 92467 HAS SOPS 92467 HAS SOUS 74684 HAS SOUPS 74684 WITH SCORE 74776.467
AT ITER 3071 NEW BEST:: SOT 299328 SOS 92350 HAS SOPS 92350 HAS SOUS 74630 HAS SOUPS 74630 WITH SCORE 74722.35
AT ITER 3073 NEW BEST:: SOT 299322 SOS 92191 HAS SOPS 92191 HAS SOUS 74471 HAS SOUPS 74471 WITH SCORE 74563.191
AT ITER 3098 NEW BEST:: SOT 298930 SOS 91590 HAS SOPS 91590 HAS SOUS 74132 HAS SOUPS 74132 WITH SCORE 74223.59
AT ITER 3147 NEW BEST:: SOT 298745 SOS 91334 HAS SOPS 91334 HAS SOUS 74006 HAS SOUPS 74006 WITH SCORE 74097.334
AT ITER 3153 NEW BEST:: SOT 298688 SOS 91317 HAS SOPS 91317 HAS SOUS 73954 HAS SOUPS 73954 WITH SCORE 74045.317
AT ITER 3163 NEW BEST:: SOT 298682 SOS 91330 HAS SOPS 91330 HAS SOUS 73948 HAS SOUPS 73948 WITH SCORE 74039.33
AT ITER 3188 NEW BEST:: SOT 298682 SOS 91330 HAS SOPS 91330 HAS SOUS 73898 HAS SOUPS 73898 WITH SCORE 73989.33
AT ITER 3205 NEW BEST:: SOT 298653 SOS 91272 HAS SOPS 91272 HAS SOUS 73735 HAS SOUPS 73735 WITH SCORE 73826.272
AT ITER 3213 NEW BEST:: SOT 298593 SOS 91211 HAS SOPS 91211 HAS SOUS 73674 HAS SOUPS 73674 WITH SCORE 73765.211
AT ITER 3233 NEW BEST:: SOT 298496 SOS 91066 HAS SOPS 91066 HAS SOUS 73563 HAS SOUPS 73563 WITH SCORE 73654.066
AT ITER 3240 NEW BEST:: SOT 298625 SOS 90976 HAS SOPS 90976 HAS SOUS 73497 HAS SOUPS 73497 WITH SCORE 73587.976
AT ITER 3250 NEW BEST:: SOT 298598 SOS 90946 HAS SOPS 90946 HAS SOUS 73467 HAS SOUPS 73467 WITH SCORE 73557.946
AT ITER 3263 NEW BEST:: SOT 298610 SOS 90840 HAS SOPS 90840 HAS SOUS 73361 HAS SOUPS 73361 WITH SCORE 73451.84
AT ITER 3309 NEW BEST:: SOT 298595 SOS 90825 HAS SOPS 90825 HAS SOUS 73345 HAS SOUPS 73345 WITH SCORE 73435.825
AT ITER 3317 NEW BEST:: SOT 298586 SOS 90807 HAS SOPS 90807 HAS SOUS 73327 HAS SOUPS 73327 WITH SCORE 73417.807
AT ITER 3319 NEW BEST:: SOT 298582 SOS 90798 HAS SOPS 90798 HAS SOUS 73318 HAS SOUPS 73318 WITH SCORE 73408.798
AT ITER 3377 NEW BEST:: SOT 298568 SOS 90784 HAS SOPS 90784 HAS SOUS 73297 HAS SOUPS 73297 WITH SCORE 73387.784
AT ITER 3378 NEW BEST:: SOT 298392 SOS 90241 HAS SOPS 90241 HAS SOUS 72939 HAS SOUPS 72939 WITH SCORE 73029.241
AT ITER 3396 NEW BEST:: SOT 298384 SOS 90233 HAS SOPS 90233 HAS SOUS 72935 HAS SOUPS 72935 WITH SCORE 73025.233
AT ITER 3401 NEW BEST:: SOT 298270 SOS 90118 HAS SOPS 90118 HAS SOUS 72870 HAS SOUPS 72870 WITH SCORE 72960.118
AT ITER 3408 NEW BEST:: SOT 298262 SOS 90094 HAS SOPS 90094 HAS SOUS 72854 HAS SOUPS 72854 WITH SCORE 72944.094
AT ITER 3450 NEW BEST:: SOT 298269 SOS 90108 HAS SOPS 90108 HAS SOUS 72831 HAS SOUPS 72831 WITH SCORE 72921.108
AT ITER 3453 NEW BEST:: SOT 298221 SOS 89873 HAS SOPS 89873 HAS SOUS 72757 HAS SOUPS 72757 WITH SCORE 72846.873
AT ITER 3454 NEW BEST:: SOT 298233 SOS 89808 HAS SOPS 89808 HAS SOUS 72704 HAS SOUPS 72704 WITH SCORE 72793.808
AT ITER 3456 NEW BEST:: SOT 298249 SOS 89727 HAS SOPS 89727 HAS SOUS 72703 HAS SOUPS 72703 WITH SCORE 72792.727
AT ITER 3484 NEW BEST:: SOT 298236 SOS 89714 HAS SOPS 89714 HAS SOUS 72690 HAS SOUPS 72690 WITH SCORE 72779.714
AT ITER 3490 NEW BEST:: SOT 297997 SOS 89251 HAS SOPS 89251 HAS SOUS 72371 HAS SOUPS 72371 WITH SCORE 72460.251
AT ITER 3499 NEW BEST:: SOT 297961 SOS 89215 HAS SOPS 89215 HAS SOUS 72357 HAS SOUPS 72357 WITH SCORE 72446.215
AT ITER 3501 NEW BEST:: SOT 297957 SOS 89211 HAS SOPS 89211 HAS SOUS 72353 HAS SOUPS 72353 WITH SCORE 72442.211
AT ITER 3502 NEW BEST:: SOT 297879 SOS 89055 HAS SOPS 89055 HAS SOUS 72197 HAS SOUPS 72197 WITH SCORE 72286.055
AT ITER 3505 NEW BEST:: SOT 297857 SOS 89011 HAS SOPS 89011 HAS SOUS 72153 HAS SOUPS 72153 WITH SCORE 72242.011
AT ITER 3510 NEW BEST:: SOT 297826 SOS 88969 HAS SOPS 88969 HAS SOUS 72131 HAS SOUPS 72131 WITH SCORE 72219.969
AT ITER 3521 NEW BEST:: SOT 297815 SOS 88905 HAS SOPS 88905 HAS SOUS 72067 HAS SOUPS 72067 WITH SCORE 72155.905
AT ITER 3527 NEW BEST:: SOT 297811 SOS 88604 HAS SOPS 88604 HAS SOUS 71848 HAS SOUPS 71848 WITH SCORE 71936.604
AT ITER 3528 NEW BEST:: SOT 297794 SOS 88603 HAS SOPS 88603 HAS SOUS 71847 HAS SOUPS 71847 WITH SCORE 71935.603
AT ITER 3541 NEW BEST:: SOT 297465 SOS 88179 HAS SOPS 88179 HAS SOUS 71423 HAS SOUPS 71423 WITH SCORE 71511.179
AT ITER 3544 NEW BEST:: SOT 297456 SOS 88161 HAS SOPS 88161 HAS SOUS 71372 HAS SOUPS 71372 WITH SCORE 71460.161
AT ITER 3547 NEW BEST:: SOT 297472 SOS 88160 HAS SOPS 88160 HAS SOUS 71371 HAS SOUPS 71371 WITH SCORE 71459.16
AT ITER 3580 NEW BEST:: SOT 297420 SOS 88108 HAS SOPS 88108 HAS SOUS 71319 HAS SOUPS 71319 WITH SCORE 71407.108
AT ITER 3612 NEW BEST:: SOT 297388 SOS 88076 HAS SOPS 88076 HAS SOUS 71287 HAS SOUPS 71287 WITH SCORE 71375.076
AT ITER 3616 NEW BEST:: SOT 297388 SOS 87863 HAS SOPS 87863 HAS SOUS 71074 HAS SOUPS 71074 WITH SCORE 71161.863
AT ITER 3619 NEW BEST:: SOT 297388 SOS 87862 HAS SOPS 87862 HAS SOUS 71073 HAS SOUPS 71073 WITH SCORE 71160.862
AT ITER 3657 NEW BEST:: SOT 297388 SOS 87837 HAS SOPS 87837 HAS SOUS 71048 HAS SOUPS 71048 WITH SCORE 71135.837
AT ITER 3665 NEW BEST:: SOT 297176 SOS 87652 HAS SOPS 87652 HAS SOUS 70849 HAS SOUPS 70849 WITH SCORE 70936.652
AT ITER 3684 NEW BEST:: SOT 297178 SOS 87618 HAS SOPS 87618 HAS SOUS 70815 HAS SOUPS 70815 WITH SCORE 70902.618
AT ITER 3709 NEW BEST:: SOT 297085 SOS 87579 HAS SOPS 87579 HAS SOUS 70776 HAS SOUPS 70776 WITH SCORE 70863.579
AT ITER 3715 NEW BEST:: SOT 297054 SOS 87551 HAS SOPS 87551 HAS SOUS 70714 HAS SOUPS 70714 WITH SCORE 70801.551
AT ITER 3717 NEW BEST:: SOT 296978 SOS 87399 HAS SOPS 87399 HAS SOUS 70698 HAS SOUPS 70698 WITH SCORE 70785.399
AT ITER 3724 NEW BEST:: SOT 296960 SOS 87363 HAS SOPS 87363 HAS SOUS 70662 HAS SOUPS 70662 WITH SCORE 70749.363
AT ITER 3737 NEW BEST:: SOT 296946 SOS 87333 HAS SOPS 87333 HAS SOUS 70632 HAS SOUPS 70632 WITH SCORE 70719.333
AT ITER 3747 NEW BEST:: SOT 296946 SOS 87301 HAS SOPS 87301 HAS SOUS 70600 HAS SOUPS 70600 WITH SCORE 70687.301
AT ITER 3753 NEW BEST:: SOT 297051 SOS 87372 HAS SOPS 87372 HAS SOUS 70532 HAS SOUPS 70532 WITH SCORE 70619.372
AT ITER 3754 NEW BEST:: SOT 296964 SOS 87361 HAS SOPS 87361 HAS SOUS 70521 HAS SOUPS 70521 WITH SCORE 70608.361
AT ITER 3755 NEW BEST:: SOT 297006 SOS 87309 HAS SOPS 87309 HAS SOUS 70481 HAS SOUPS 70481 WITH SCORE 70568.309
AT ITER 3795 NEW BEST:: SOT 297062 SOS 87265 HAS SOPS 87265 HAS SOUS 70437 HAS SOUPS 70437 WITH SCORE 70524.265
AT ITER 3813 NEW BEST:: SOT 296931 SOS 87081 HAS SOPS 87081 HAS SOUS 70253 HAS SOUPS 70253 WITH SCORE 70340.081
AT ITER 3819 NEW BEST:: SOT 296953 SOS 87059 HAS SOPS 87059 HAS SOUS 70253 HAS SOUPS 70253 WITH SCORE 70340.059
AT ITER 3823 NEW BEST:: SOT 296661 SOS 86424 HAS SOPS 86424 HAS SOUS 69805 HAS SOUPS 69805 WITH SCORE 69891.424
AT ITER 3830 NEW BEST:: SOT 296529 SOS 86295 HAS SOPS 86295 HAS SOUS 69676 HAS SOUPS 69676 WITH SCORE 69762.295
AT ITER 3847 NEW BEST:: SOT 296528 SOS 86293 HAS SOPS 86293 HAS SOUS 69674 HAS SOUPS 69674 WITH SCORE 69760.293
AT ITER 3876 NEW BEST:: SOT 296505 SOS 86280 HAS SOPS 86280 HAS SOUS 69661 HAS SOUPS 69661 WITH SCORE 69747.28
AT ITER 3881 NEW BEST:: SOT 296500 SOS 86270 HAS SOPS 86270 HAS SOUS 69651 HAS SOUPS 69651 WITH SCORE 69737.27
AT ITER 3887 NEW BEST:: SOT 296457 SOS 86204 HAS SOPS 86204 HAS SOUS 69585 HAS SOUPS 69585 WITH SCORE 69671.204
AT ITER 3917 NEW BEST:: SOT 296396 SOS 86172 HAS SOPS 86172 HAS SOUS 69526 HAS SOUPS 69526 WITH SCORE 69612.172
AT ITER 3924 NEW BEST:: SOT 296417 SOS 86085 HAS SOPS 86085 HAS SOUS 69439 HAS SOUPS 69439 WITH SCORE 69525.085
AT ITER 3943 NEW BEST:: SOT 296400 SOS 86051 HAS SOPS 86051 HAS SOUS 69405 HAS SOUPS 69405 WITH SCORE 69491.051
AT ITER 3975 NEW BEST:: SOT 296504 SOS 86051 HAS SOPS 86051 HAS SOUS 69362 HAS SOUPS 69362 WITH SCORE 69448.051
AT ITER 4000 NEW BEST:: SOT 296461 SOS 86008 HAS SOPS 86008 HAS SOUS 69319 HAS SOUPS 69319 WITH SCORE 69405.008
AT ITER 4001 NEW BEST:: SOT 296442 SOS 85989 HAS SOPS 85989 HAS SOUS 69300 HAS SOUPS 69300 WITH SCORE 69385.989
AT ITER 4002 NEW BEST:: SOT 296395 SOS 85937 HAS SOPS 85937 HAS SOUS 69248 HAS SOUPS 69248 WITH SCORE 69333.937
AT ITER 4016 NEW BEST:: SOT 296389 SOS 85929 HAS SOPS 85929 HAS SOUS 69240 HAS SOUPS 69240 WITH SCORE 69325.929
AT ITER 4017 NEW BEST:: SOT 296227 SOS 85767 HAS SOPS 85767 HAS SOUS 69240 HAS SOUPS 69240 WITH SCORE 69325.767
AT ITER 4029 NEW BEST:: SOT 295957 SOS 85497 HAS SOPS 85497 HAS SOUS 68970 HAS SOUPS 68970 WITH SCORE 69055.497
AT ITER 4035 NEW BEST:: SOT 295901 SOS 85561 HAS SOPS 85561 HAS SOUS 68869 HAS SOUPS 68869 WITH SCORE 68954.561
AT ITER 4045 NEW BEST:: SOT 295866 SOS 85528 HAS SOPS 85528 HAS SOUS 68836 HAS SOUPS 68836 WITH SCORE 68921.528
AT ITER 4064 NEW BEST:: SOT 295756 SOS 85308 HAS SOPS 85308 HAS SOUS 68590 HAS SOUPS 68590 WITH SCORE 68675.308
AT ITER 4120 NEW BEST:: SOT 295751 SOS 85298 HAS SOPS 85298 HAS SOUS 68572 HAS SOUPS 68572 WITH SCORE 68657.298
AT ITER 4126 NEW BEST:: SOT 295751 SOS 85287 HAS SOPS 85287 HAS SOUS 68561 HAS SOUPS 68561 WITH SCORE 68646.287
AT ITER 4150 NEW BEST:: SOT 295746 SOS 85286 HAS SOPS 85286 HAS SOUS 68560 HAS SOUPS 68560 WITH SCORE 68645.286
AT ITER 4215 NEW BEST:: SOT 295746 SOS 85134 HAS SOPS 85134 HAS SOUS 68421 HAS SOUPS 68421 WITH SCORE 68506.134
AT ITER 4221 NEW BEST:: SOT 295730 SOS 85108 HAS SOPS 85108 HAS SOUS 68395 HAS SOUPS 68395 WITH SCORE 68480.108
AT ITER 4248 NEW BEST:: SOT 295730 SOS 85108 HAS SOPS 85108 HAS SOUS 68394 HAS SOUPS 68394 WITH SCORE 68479.108
AT ITER 4285 NEW BEST:: SOT 295632 SOS 85068 HAS SOPS 85068 HAS SOUS 68224 HAS SOUPS 68224 WITH SCORE 68309.068
AT ITER 4289 NEW BEST:: SOT 295632 SOS 85068 HAS SOPS 85068 HAS SOUS 68217 HAS SOUPS 68217 WITH SCORE 68302.068
AT ITER 4305 NEW BEST:: SOT 295603 SOS 85046 HAS SOPS 85046 HAS SOUS 68195 HAS SOUPS 68195 WITH SCORE 68280.046
AT ITER 4321 NEW BEST:: SOT 295603 SOS 84973 HAS SOPS 84973 HAS SOUS 68122 HAS SOUPS 68122 WITH SCORE 68206.973
AT ITER 4388 NEW BEST:: SOT 295608 SOS 84983 HAS SOPS 84983 HAS SOUS 68069 HAS SOUPS 68069 WITH SCORE 68153.983
AT ITER 4411 NEW BEST:: SOT 295483 SOS 84845 HAS SOPS 84845 HAS SOUS 67932 HAS SOUPS 67932 WITH SCORE 68016.845
AT ITER 4414 NEW BEST:: SOT 295509 SOS 84819 HAS SOPS 84819 HAS SOUS 67932 HAS SOUPS 67932 WITH SCORE 68016.819
AT ITER 4415 NEW BEST:: SOT 295437 SOS 84716 HAS SOPS 84716 HAS SOUS 67854 HAS SOUPS 67854 WITH SCORE 67938.716
AT ITER 4460 NEW BEST:: SOT 295435 SOS 84713 HAS SOPS 84713 HAS SOUS 67852 HAS SOUPS 67852 WITH SCORE 67936.713
AT ITER 4464 NEW BEST:: SOT 295430 SOS 84702 HAS SOPS 84702 HAS SOUS 67841 HAS SOUPS 67841 WITH SCORE 67925.702
AT ITER 4476 NEW BEST:: SOT 295311 SOS 84464 HAS SOPS 84464 HAS SOUS 67603 HAS SOUPS 67603 WITH SCORE 67687.464
AT ITER 4493 NEW BEST:: SOT 295291 SOS 84450 HAS SOPS 84450 HAS SOUS 67589 HAS SOUPS 67589 WITH SCORE 67673.45
AT ITER 4497 NEW BEST:: SOT 295291 SOS 84426 HAS SOPS 84426 HAS SOUS 67565 HAS SOUPS 67565 WITH SCORE 67649.426
AT ITER 4507 NEW BEST:: SOT 295290 SOS 84413 HAS SOPS 84413 HAS SOUS 67552 HAS SOUPS 67552 WITH SCORE 67636.413
AT ITER 4524 NEW BEST:: SOT 295290 SOS 84381 HAS SOPS 84381 HAS SOUS 67552 HAS SOUPS 67552 WITH SCORE 67636.381
AT ITER 4560 NEW BEST:: SOT 295336 SOS 84370 HAS SOPS 84370 HAS SOUS 67541 HAS SOUPS 67541 WITH SCORE 67625.37
AT ITER 4573 NEW BEST:: SOT 295340 SOS 84345 HAS SOPS 84345 HAS SOUS 67516 HAS SOUPS 67516 WITH SCORE 67600.345
AT ITER 4580 NEW BEST:: SOT 295399 SOS 84357 HAS SOPS 84357 HAS SOUS 67502 HAS SOUPS 67502 WITH SCORE 67586.357
AT ITER 4593 NEW BEST:: SOT 295431 SOS 84378 HAS SOPS 84378 HAS SOUS 67462 HAS SOUPS 67462 WITH SCORE 67546.378
AT ITER 4608 NEW BEST:: SOT 295379 SOS 84326 HAS SOPS 84326 HAS SOUS 67410 HAS SOUPS 67410 WITH SCORE 67494.326
AT ITER 4611 NEW BEST:: SOT 295355 SOS 84272 HAS SOPS 84272 HAS SOUS 67316 HAS SOUPS 67316 WITH SCORE 67400.272
AT ITER 4614 NEW BEST:: SOT 295358 SOS 84278 HAS SOPS 84278 HAS SOUS 67245 HAS SOUPS 67245 WITH SCORE 67329.278
AT ITER 4630 NEW BEST:: SOT 295384 SOS 84238 HAS SOPS 84238 HAS SOUS 67205 HAS SOUPS 67205 WITH SCORE 67289.238
AT ITER 4639 NEW BEST:: SOT 295329 SOS 84060 HAS SOPS 84060 HAS SOUS 67027 HAS SOUPS 67027 WITH SCORE 67111.06
AT ITER 4642 NEW BEST:: SOT 295322 SOS 84046 HAS SOPS 84046 HAS SOUS 67013 HAS SOUPS 67013 WITH SCORE 67097.046
AT ITER 4645 NEW BEST:: SOT 295322 SOS 83966 HAS SOPS 83966 HAS SOUS 66853 HAS SOUPS 66853 WITH SCORE 66936.966
AT ITER 4650 NEW BEST:: SOT 295307 SOS 83936 HAS SOPS 83936 HAS SOUS 66823 HAS SOUPS 66823 WITH SCORE 66906.936
AT ITER 4651 NEW BEST:: SOT 295215 SOS 83931 HAS SOPS 83931 HAS SOUS 66818 HAS SOUPS 66818 WITH SCORE 66901.931
AT ITER 4674 NEW BEST:: SOT 295215 SOS 83928 HAS SOPS 83928 HAS SOUS 66815 HAS SOUPS 66815 WITH SCORE 66898.928
AT ITER 4679 NEW BEST:: SOT 295232 SOS 83799 HAS SOPS 83799 HAS SOUS 66686 HAS SOUPS 66686 WITH SCORE 66769.799
AT ITER 4692 NEW BEST:: SOT 295157 SOS 83733 HAS SOPS 83733 HAS SOUS 66620 HAS SOUPS 66620 WITH SCORE 66703.733
AT ITER 4695 NEW BEST:: SOT 295153 SOS 83729 HAS SOPS 83729 HAS SOUS 66612 HAS SOUPS 66612 WITH SCORE 66695.729
AT ITER 4704 NEW BEST:: SOT 295153 SOS 83718 HAS SOPS 83718 HAS SOUS 66601 HAS SOUPS 66601 WITH SCORE 66684.718
AT ITER 4709 NEW BEST:: SOT 295160 SOS 83717 HAS SOPS 83717 HAS SOUS 66600 HAS SOUPS 66600 WITH SCORE 66683.717
AT ITER 4730 NEW BEST:: SOT 295160 SOS 83685 HAS SOPS 83685 HAS SOUS 66568 HAS SOUPS 66568 WITH SCORE 66651.685
AT ITER 4732 NEW BEST:: SOT 295250 SOS 83790 HAS SOPS 83790 HAS SOUS 66553 HAS SOUPS 66553 WITH SCORE 66636.79
AT ITER 4744 NEW BEST:: SOT 295230 SOS 83695 HAS SOPS 83695 HAS SOUS 66439 HAS SOUPS 66439 WITH SCORE 66522.695
AT ITER 4776 NEW BEST:: SOT 295223 SOS 83676 HAS SOPS 83676 HAS SOUS 66420 HAS SOUPS 66420 WITH SCORE 66503.676
AT ITER 4786 NEW BEST:: SOT 295211 SOS 83625 HAS SOPS 83625 HAS SOUS 66363 HAS SOUPS 66363 WITH SCORE 66446.625
AT ITER 4796 NEW BEST:: SOT 295296 SOS 83493 HAS SOPS 83493 HAS SOUS 66267 HAS SOUPS 66267 WITH SCORE 66350.493
AT ITER 4815 NEW BEST:: SOT 295482 SOS 83475 HAS SOPS 83475 HAS SOUS 66249 HAS SOUPS 66249 WITH SCORE 66332.475
AT ITER 4822 NEW BEST:: SOT 295465 SOS 83451 HAS SOPS 83451 HAS SOUS 66201 HAS SOUPS 66201 WITH SCORE 66284.451
AT ITER 4856 NEW BEST:: SOT 295407 SOS 83335 HAS SOPS 83335 HAS SOUS 66196 HAS SOUPS 66196 WITH SCORE 66279.335
AT ITER 4873 NEW BEST:: SOT 295412 SOS 83267 HAS SOPS 83267 HAS SOUS 66117 HAS SOUPS 66117 WITH SCORE 66200.267
AT ITER 4880 NEW BEST:: SOT 295235 SOS 84897 HAS SOPS 84897 HAS SOUS 65992 HAS SOUPS 65992 WITH SCORE 66076.897
AT ITER 4955 NEW BEST:: SOT 295250 SOS 84897 HAS SOPS 84897 HAS SOUS 65977 HAS SOUPS 65977 WITH SCORE 66061.897
AT ITER 5006 NEW BEST:: SOT 295226 SOS 84738 HAS SOPS 84738 HAS SOUS 65929 HAS SOUPS 65929 WITH SCORE 66013.738
AT ITER 5009 NEW BEST:: SOT 295216 SOS 84718 HAS SOPS 84718 HAS SOUS 65909 HAS SOUPS 65909 WITH SCORE 65993.718
AT ITER 5023 NEW BEST:: SOT 295190 SOS 84692 HAS SOPS 84692 HAS SOUS 65883 HAS SOUPS 65883 WITH SCORE 65967.692
AT ITER 5024 NEW BEST:: SOT 295191 SOS 84673 HAS SOPS 84673 HAS SOUS 65864 HAS SOUPS 65864 WITH SCORE 65948.673
AT ITER 5055 NEW BEST:: SOT 295133 SOS 84618 HAS SOPS 84618 HAS SOUS 65809 HAS SOUPS 65809 WITH SCORE 65893.618
AT ITER 5070 NEW BEST:: SOT 295119 SOS 84590 HAS SOPS 84590 HAS SOUS 65781 HAS SOUPS 65781 WITH SCORE 65865.59
AT ITER 5195 NEW BEST:: SOT 295092 SOS 84544 HAS SOPS 84544 HAS SOUS 65726 HAS SOUPS 65726 WITH SCORE 65810.544
AT ITER 5232 NEW BEST:: SOT 295039 SOS 84522 HAS SOPS 84522 HAS SOUS 65701 HAS SOUPS 65701 WITH SCORE 65785.522
AT ITER 5233 NEW BEST:: SOT 295039 SOS 84521 HAS SOPS 84521 HAS SOUS 65700 HAS SOUPS 65700 WITH SCORE 65784.521
AT ITER 5244 NEW BEST:: SOT 295020 SOS 84606 HAS SOPS 84606 HAS SOUS 65689 HAS SOUPS 65689 WITH SCORE 65773.606
AT ITER 5267 NEW BEST:: SOT 295015 SOS 84601 HAS SOPS 84601 HAS SOUS 65689 HAS SOUPS 65689 WITH SCORE 65773.601
AT ITER 5268 NEW BEST:: SOT 294979 SOS 84565 HAS SOPS 84565 HAS SOUS 65649 HAS SOUPS 65649 WITH SCORE 65733.565
AT ITER 5288 NEW BEST:: SOT 294972 SOS 84544 HAS SOPS 84544 HAS SOUS 65628 HAS SOUPS 65628 WITH SCORE 65712.544
AT ITER 5291 NEW BEST:: SOT 294956 SOS 84512 HAS SOPS 84512 HAS SOUS 65596 HAS SOUPS 65596 WITH SCORE 65680.512
AT ITER 5311 NEW BEST:: SOT 294988 SOS 84513 HAS SOPS 84513 HAS SOUS 65525 HAS SOUPS 65525 WITH SCORE 65609.513
AT ITER 5342 NEW BEST:: SOT 294995 SOS 84465 HAS SOPS 84465 HAS SOUS 65477 HAS SOUPS 65477 WITH SCORE 65561.465
AT ITER 5358 NEW BEST:: SOT 294966 SOS 84376 HAS SOPS 84376 HAS SOUS 65337 HAS SOUPS 65337 WITH SCORE 65421.376
AT ITER 5415 NEW BEST:: SOT 294929 SOS 84360 HAS SOPS 84360 HAS SOUS 65321 HAS SOUPS 65321 WITH SCORE 65405.36
AT ITER 5440 NEW BEST:: SOT 294927 SOS 84356 HAS SOPS 84356 HAS SOUS 65317 HAS SOUPS 65317 WITH SCORE 65401.356
AT ITER 5452 NEW BEST:: SOT 294923 SOS 84348 HAS SOPS 84348 HAS SOUS 65309 HAS SOUPS 65309 WITH SCORE 65393.348
AT ITER 5499 NEW BEST:: SOT 294897 SOS 84296 HAS SOPS 84296 HAS SOUS 65283 HAS SOUPS 65283 WITH SCORE 65367.296
AT ITER 5513 NEW BEST:: SOT 294905 SOS 84277 HAS SOPS 84277 HAS SOUS 65264 HAS SOUPS 65264 WITH SCORE 65348.277
AT ITER 5566 NEW BEST:: SOT 294904 SOS 84275 HAS SOPS 84275 HAS SOUS 65262 HAS SOUPS 65262 WITH SCORE 65346.275
AT ITER 5573 NEW BEST:: SOT 294875 SOS 84211 HAS SOPS 84211 HAS SOUS 65198 HAS SOUPS 65198 WITH SCORE 65282.211
AT ITER 5604 NEW BEST:: SOT 294875 SOS 84201 HAS SOPS 84201 HAS SOUS 65188 HAS SOUPS 65188 WITH SCORE 65272.201
AT ITER 5628 NEW BEST:: SOT 294855 SOS 84171 HAS SOPS 84171 HAS SOUS 65168 HAS SOUPS 65168 WITH SCORE 65252.171
AT ITER 5649 NEW BEST:: SOT 294843 SOS 84159 HAS SOPS 84159 HAS SOUS 65168 HAS SOUPS 65168 WITH SCORE 65252.159
AT ITER 5653 NEW BEST:: SOT 294614 SOS 84025 HAS SOPS 84025 HAS SOUS 65034 HAS SOUPS 65034 WITH SCORE 65118.025
AT ITER 5656 NEW BEST:: SOT 294566 SOS 83929 HAS SOPS 83929 HAS SOUS 64986 HAS SOUPS 64986 WITH SCORE 65069.929
AT ITER 5679 NEW BEST:: SOT 294495 SOS 83849 HAS SOPS 83849 HAS SOUS 64906 HAS SOUPS 64906 WITH SCORE 64989.849
AT ITER 5682 NEW BEST:: SOT 294495 SOS 83849 HAS SOPS 83849 HAS SOUS 64899 HAS SOUPS 64899 WITH SCORE 64982.849
AT ITER 5691 NEW BEST:: SOT 294469 SOS 83839 HAS SOPS 83839 HAS SOUS 64880 HAS SOUPS 64880 WITH SCORE 64963.839
AT ITER 5724 NEW BEST:: SOT 294325 SOS 83362 HAS SOPS 83362 HAS SOUS 64715 HAS SOUPS 64715 WITH SCORE 64798.362
AT ITER 5725 NEW BEST:: SOT 294290 SOS 83307 HAS SOPS 83307 HAS SOUS 64660 HAS SOUPS 64660 WITH SCORE 64743.307
AT ITER 5732 NEW BEST:: SOT 294048 SOS 83065 HAS SOPS 83065 HAS SOUS 64514 HAS SOUPS 64514 WITH SCORE 64597.065
AT ITER 5735 NEW BEST:: SOT 293693 SOS 84596 HAS SOPS 84596 HAS SOUS 64454 HAS SOUPS 64454 WITH SCORE 64538.596
AT ITER 5753 NEW BEST:: SOT 293680 SOS 84583 HAS SOPS 84583 HAS SOUS 64441 HAS SOUPS 64441 WITH SCORE 64525.583
AT ITER 5768 NEW BEST:: SOT 293654 SOS 84531 HAS SOPS 84531 HAS SOUS 64389 HAS SOUPS 64389 WITH SCORE 64473.531
AT ITER 5802 NEW BEST:: SOT 293648 SOS 84519 HAS SOPS 84519 HAS SOUS 64377 HAS SOUPS 64377 WITH SCORE 64461.519
AT ITER 5807 NEW BEST:: SOT 293524 SOS 84427 HAS SOPS 84427 HAS SOUS 64285 HAS SOUPS 64285 WITH SCORE 64369.427
AT ITER 5812 NEW BEST:: SOT 293538 SOS 84411 HAS SOPS 84411 HAS SOUS 64277 HAS SOUPS 64277 WITH SCORE 64361.411
AT ITER 5825 NEW BEST:: SOT 293472 SOS 84345 HAS SOPS 84345 HAS SOUS 64211 HAS SOUPS 64211 WITH SCORE 64295.345
AT ITER 5833 NEW BEST:: SOT 293471 SOS 84343 HAS SOPS 84343 HAS SOUS 64209 HAS SOUPS 64209 WITH SCORE 64293.343
AT ITER 5834 NEW BEST:: SOT 293469 SOS 84339 HAS SOPS 84339 HAS SOUS 64205 HAS SOUPS 64205 WITH SCORE 64289.339
AT ITER 5843 NEW BEST:: SOT 293440 SOS 84281 HAS SOPS 84281 HAS SOUS 64147 HAS SOUPS 64147 WITH SCORE 64231.281
AT ITER 5861 NEW BEST:: SOT 293396 SOS 84201 HAS SOPS 84201 HAS SOUS 64067 HAS SOUPS 64067 WITH SCORE 64151.201
AT ITER 5870 NEW BEST:: SOT 293393 SOS 84210 HAS SOPS 84210 HAS SOUS 64064 HAS SOUPS 64064 WITH SCORE 64148.21
AT ITER 5887 NEW BEST:: SOT 293316 SOS 84133 HAS SOPS 84133 HAS SOUS 63987 HAS SOUPS 63987 WITH SCORE 64071.133
AT ITER 5913 NEW BEST:: SOT 293315 SOS 84132 HAS SOPS 84132 HAS SOUS 63986 HAS SOUPS 63986 WITH SCORE 64070.132
AT ITER 5928 NEW BEST:: SOT 293117 SOS 83948 HAS SOPS 83948 HAS SOUS 63802 HAS SOUPS 63802 WITH SCORE 63885.948
AT ITER 5946 NEW BEST:: SOT 293117 SOS 83946 HAS SOPS 83946 HAS SOUS 63800 HAS SOUPS 63800 WITH SCORE 63883.946
AT ITER 5951 NEW BEST:: SOT 293096 SOS 83904 HAS SOPS 83904 HAS SOUS 63780 HAS SOUPS 63780 WITH SCORE 63863.904
AT ITER 5957 NEW BEST:: SOT 293082 SOS 83861 HAS SOPS 83861 HAS SOUS 63737 HAS SOUPS 63737 WITH SCORE 63820.861
AT ITER 6040 NEW BEST:: SOT 293112 SOS 83831 HAS SOPS 83831 HAS SOUS 63707 HAS SOUPS 63707 WITH SCORE 63790.831
AT ITER 6057 NEW BEST:: SOT 293071 SOS 83790 HAS SOPS 83790 HAS SOUS 63663 HAS SOUPS 63663 WITH SCORE 63746.79
AT ITER 6060 NEW BEST:: SOT 292962 SOS 83662 HAS SOPS 83662 HAS SOUS 63625 HAS SOUPS 63625 WITH SCORE 63708.662
AT ITER 6070 NEW BEST:: SOT 292942 SOS 83642 HAS SOPS 83642 HAS SOUS 63605 HAS SOUPS 63605 WITH SCORE 63688.642
AT ITER 6081 NEW BEST:: SOT 292976 SOS 83675 HAS SOPS 83675 HAS SOUS 63603 HAS SOUPS 63603 WITH SCORE 63686.675
AT ITER 6179 NEW BEST:: SOT 292933 SOS 83614 HAS SOPS 83614 HAS SOUS 63574 HAS SOUPS 63574 WITH SCORE 63657.614
AT ITER 6185 NEW BEST:: SOT 292870 SOS 83625 HAS SOPS 83625 HAS SOUS 63516 HAS SOUPS 63516 WITH SCORE 63599.625
AT ITER 6191 NEW BEST:: SOT 292862 SOS 83617 HAS SOPS 83617 HAS SOUS 63508 HAS SOUPS 63508 WITH SCORE 63591.617
AT ITER 6196 NEW BEST:: SOT 292859 SOS 83612 HAS SOPS 83612 HAS SOUS 63503 HAS SOUPS 63503 WITH SCORE 63586.612
AT ITER 6223 NEW BEST:: SOT 292760 SOS 83463 HAS SOPS 83463 HAS SOUS 63472 HAS SOUPS 63472 WITH SCORE 63555.463
AT ITER 6229 NEW BEST:: SOT 292743 SOS 83446 HAS SOPS 83446 HAS SOUS 63455 HAS SOUPS 63455 WITH SCORE 63538.446
AT ITER 6243 NEW BEST:: SOT 292743 SOS 83444 HAS SOPS 83444 HAS SOUS 63453 HAS SOUPS 63453 WITH SCORE 63536.444
AT ITER 6246 NEW BEST:: SOT 292745 SOS 83448 HAS SOPS 83448 HAS SOUS 63452 HAS SOUPS 63452 WITH SCORE 63535.448
AT ITER 6296 NEW BEST:: SOT 292743 SOS 83444 HAS SOPS 83444 HAS SOUS 63451 HAS SOUPS 63451 WITH SCORE 63534.444
AT ITER 6309 NEW BEST:: SOT 292715 SOS 83402 HAS SOPS 83402 HAS SOUS 63409 HAS SOUPS 63409 WITH SCORE 63492.402
AT ITER 6310 NEW BEST:: SOT 292759 SOS 83387 HAS SOPS 83387 HAS SOUS 63394 HAS SOUPS 63394 WITH SCORE 63477.387
AT ITER 6315 NEW BEST:: SOT 292776 SOS 83138 HAS SOPS 83138 HAS SOUS 63370 HAS SOUPS 63370 WITH SCORE 63453.138
AT ITER 6334 NEW BEST:: SOT 292801 SOS 83048 HAS SOPS 83048 HAS SOUS 63280 HAS SOUPS 63280 WITH SCORE 63363.048
AT ITER 6348 NEW BEST:: SOT 292775 SOS 83016 HAS SOPS 83016 HAS SOUS 63254 HAS SOUPS 63254 WITH SCORE 63337.016
AT ITER 6381 NEW BEST:: SOT 292775 SOS 83006 HAS SOPS 83006 HAS SOUS 63244 HAS SOUPS 63244 WITH SCORE 63327.006
AT ITER 6390 NEW BEST:: SOT 292775 SOS 82970 HAS SOPS 82970 HAS SOUS 63172 HAS SOUPS 63172 WITH SCORE 63254.97
AT ITER 6427 NEW BEST:: SOT 292775 SOS 82898 HAS SOPS 82898 HAS SOUS 63159 HAS SOUPS 63159 WITH SCORE 63241.898
AT ITER 6464 NEW BEST:: SOT 292738 SOS 82829 HAS SOPS 82829 HAS SOUS 63090 HAS SOUPS 63090 WITH SCORE 63172.829
AT ITER 6474 NEW BEST:: SOT 292682 SOS 82738 HAS SOPS 82738 HAS SOUS 63033 HAS SOUPS 63033 WITH SCORE 63115.738
AT ITER 6488 NEW BEST:: SOT 292697 SOS 82750 HAS SOPS 82750 HAS SOUS 63026 HAS SOUPS 63026 WITH SCORE 63108.75
AT ITER 6496 NEW BEST:: SOT 292697 SOS 82744 HAS SOPS 82744 HAS SOUS 63020 HAS SOUPS 63020 WITH SCORE 63102.744
AT ITER 6532 NEW BEST:: SOT 292469 SOS 88104 HAS SOPS 88104 HAS SOUS 62919 HAS SOUPS 62919 WITH SCORE 63007.104
AT ITER 6545 NEW BEST:: SOT 292471 SOS 87604 HAS SOPS 87604 HAS SOUS 62915 HAS SOUPS 62915 WITH SCORE 63002.604
AT ITER 6551 NEW BEST:: SOT 292471 SOS 87596 HAS SOPS 87596 HAS SOUS 62915 HAS SOUPS 62915 WITH SCORE 63002.596
AT ITER 6555 NEW BEST:: SOT 292471 SOS 87583 HAS SOPS 87583 HAS SOUS 62902 HAS SOUPS 62902 WITH SCORE 62989.583
AT ITER 6571 NEW BEST:: SOT 292474 SOS 87575 HAS SOPS 87575 HAS SOUS 62894 HAS SOUPS 62894 WITH SCORE 62981.575
AT ITER 6687 NEW BEST:: SOT 292500 SOS 87529 HAS SOPS 87529 HAS SOUS 62848 HAS SOUPS 62848 WITH SCORE 62935.529
AT ITER 6722 NEW BEST:: SOT 292451 SOS 87431 HAS SOPS 87431 HAS SOUS 62750 HAS SOUPS 62750 WITH SCORE 62837.431
AT ITER 6730 NEW BEST:: SOT 292429 SOS 87430 HAS SOPS 87430 HAS SOUS 62749 HAS SOUPS 62749 WITH SCORE 62836.43
AT ITER 6732 NEW BEST:: SOT 292417 SOS 87419 HAS SOPS 87419 HAS SOUS 62738 HAS SOUPS 62738 WITH SCORE 62825.419
AT ITER 6758 NEW BEST:: SOT 292390 SOS 87365 HAS SOPS 87365 HAS SOUS 62723 HAS SOUPS 62723 WITH SCORE 62810.365
AT ITER 6776 NEW BEST:: SOT 292390 SOS 87364 HAS SOPS 87364 HAS SOUS 62722 HAS SOUPS 62722 WITH SCORE 62809.364
AT ITER 6803 NEW BEST:: SOT 292437 SOS 86685 HAS SOPS 86685 HAS SOUS 62709 HAS SOUPS 62709 WITH SCORE 62795.685
AT ITER 6821 NEW BEST:: SOT 292448 SOS 86556 HAS SOPS 86556 HAS SOUS 62538 HAS SOUPS 62538 WITH SCORE 62624.556
AT ITER 6831 NEW BEST:: SOT 292419 SOS 86517 HAS SOPS 86517 HAS SOUS 62499 HAS SOUPS 62499 WITH SCORE 62585.517
AT ITER 6867 NEW BEST:: SOT 292451 SOS 86549 HAS SOPS 86549 HAS SOUS 62493 HAS SOUPS 62493 WITH SCORE 62579.549
AT ITER 6904 NEW BEST:: SOT 292437 SOS 86745 HAS SOPS 86745 HAS SOUS 62479 HAS SOUPS 62479 WITH SCORE 62565.745
AT ITER 6907 NEW BEST:: SOT 292397 SOS 86626 HAS SOPS 86626 HAS SOUS 62435 HAS SOUPS 62435 WITH SCORE 62521.626
AT ITER 6947 NEW BEST:: SOT 292385 SOS 86602 HAS SOPS 86602 HAS SOUS 62411 HAS SOUPS 62411 WITH SCORE 62497.602
AT ITER 6980 NEW BEST:: SOT 292385 SOS 86615 HAS SOPS 86615 HAS SOUS 62408 HAS SOUPS 62408 WITH SCORE 62494.615
AT ITER 6983 NEW BEST:: SOT 292368 SOS 86598 HAS SOPS 86598 HAS SOUS 62391 HAS SOUPS 62391 WITH SCORE 62477.598
AT ITER 7005 NEW BEST:: SOT 292372 SOS 86585 HAS SOPS 86585 HAS SOUS 62378 HAS SOUPS 62378 WITH SCORE 62464.585
AT ITER 7013 NEW BEST:: SOT 292364 SOS 86679 HAS SOPS 86679 HAS SOUS 62376 HAS SOUPS 62376 WITH SCORE 62462.679
AT ITER 7022 NEW BEST:: SOT 292334 SOS 86659 HAS SOPS 86659 HAS SOUS 62356 HAS SOUPS 62356 WITH SCORE 62442.659
AT ITER 7047 NEW BEST:: SOT 292315 SOS 86621 HAS SOPS 86621 HAS SOUS 62299 HAS SOUPS 62299 WITH SCORE 62385.621
AT ITER 7071 NEW BEST:: SOT 292312 SOS 86615 HAS SOPS 86615 HAS SOUS 62293 HAS SOUPS 62293 WITH SCORE 62379.615
AT ITER 7113 NEW BEST:: SOT 292314 SOS 86614 HAS SOPS 86614 HAS SOUS 62292 HAS SOUPS 62292 WITH SCORE 62378.614
AT ITER 7121 NEW BEST:: SOT 292303 SOS 86592 HAS SOPS 86592 HAS SOUS 62281 HAS SOUPS 62281 WITH SCORE 62367.592
AT ITER 7134 NEW BEST:: SOT 292223 SOS 86421 HAS SOPS 86421 HAS SOUS 62201 HAS SOUPS 62201 WITH SCORE 62287.421
AT ITER 7141 NEW BEST:: SOT 292166 SOS 86388 HAS SOPS 86388 HAS SOUS 62168 HAS SOUPS 62168 WITH SCORE 62254.388
AT ITER 7163 NEW BEST:: SOT 292159 SOS 86387 HAS SOPS 86387 HAS SOUS 62167 HAS SOUPS 62167 WITH SCORE 62253.387
AT ITER 7211 NEW BEST:: SOT 292110 SOS 86338 HAS SOPS 86338 HAS SOUS 62118 HAS SOUPS 62118 WITH SCORE 62204.338
AT ITER 7227 NEW BEST:: SOT 292012 SOS 86142 HAS SOPS 86142 HAS SOUS 61922 HAS SOUPS 61922 WITH SCORE 62008.142
AT ITER 7257 NEW BEST:: SOT 292012 SOS 86114 HAS SOPS 86114 HAS SOUS 61922 HAS SOUPS 61922 WITH SCORE 62008.114
AT ITER 7293 NEW BEST:: SOT 292012 SOS 86112 HAS SOPS 86112 HAS SOUS 61920 HAS SOUPS 61920 WITH SCORE 62006.112
AT ITER 7298 NEW BEST:: SOT 292012 SOS 86080 HAS SOPS 86080 HAS SOUS 61888 HAS SOUPS 61888 WITH SCORE 61974.08
AT ITER 7325 NEW BEST:: SOT 291958 SOS 86041 HAS SOPS 86041 HAS SOUS 61849 HAS SOUPS 61849 WITH SCORE 61935.041
AT ITER 7351 NEW BEST:: SOT 291819 SOS 85902 HAS SOPS 85902 HAS SOUS 61710 HAS SOUPS 61710 WITH SCORE 61795.902
AT ITER 7391 NEW BEST:: SOT 291840 SOS 85904 HAS SOPS 85904 HAS SOUS 61703 HAS SOUPS 61703 WITH SCORE 61788.904
AT ITER 7397 NEW BEST:: SOT 291840 SOS 85872 HAS SOPS 85872 HAS SOUS 61671 HAS SOUPS 61671 WITH SCORE 61756.872
AT ITER 7413 NEW BEST:: SOT 291821 SOS 85862 HAS SOPS 85862 HAS SOUS 61661 HAS SOUPS 61661 WITH SCORE 61746.862
AT ITER 7414 NEW BEST:: SOT 291799 SOS 86998 HAS SOPS 86998 HAS SOUS 61639 HAS SOUPS 61639 WITH SCORE 61725.998
AT ITER 7415 NEW BEST:: SOT 291832 SOS 86992 HAS SOPS 86992 HAS SOUS 61633 HAS SOUPS 61633 WITH SCORE 61719.992
AT ITER 7427 NEW BEST:: SOT 291832 SOS 86942 HAS SOPS 86942 HAS SOUS 61583 HAS SOUPS 61583 WITH SCORE 61669.942
AT ITER 7449 NEW BEST:: SOT 291831 SOS 86940 HAS SOPS 86940 HAS SOUS 61581 HAS SOUPS 61581 WITH SCORE 61667.94
AT ITER 7457 NEW BEST:: SOT 291823 SOS 86932 HAS SOPS 86932 HAS SOUS 61576 HAS SOUPS 61576 WITH SCORE 61662.932
AT ITER 7465 NEW BEST:: SOT 291838 SOS 86910 HAS SOPS 86910 HAS SOUS 61554 HAS SOUPS 61554 WITH SCORE 61640.91
AT ITER 7474 NEW BEST:: SOT 291761 SOS 86818 HAS SOPS 86818 HAS SOUS 61468 HAS SOUPS 61468 WITH SCORE 61554.818
AT ITER 7479 NEW BEST:: SOT 291758 SOS 86812 HAS SOPS 86812 HAS SOUS 61462 HAS SOUPS 61462 WITH SCORE 61548.812
AT ITER 7496 NEW BEST:: SOT 291621 SOS 86628 HAS SOPS 86628 HAS SOUS 61278 HAS SOUPS 61278 WITH SCORE 61364.628
AT ITER 7526 NEW BEST:: SOT 291495 SOS 86312 HAS SOPS 86312 HAS SOUS 61220 HAS SOUPS 61220 WITH SCORE 61306.312
AT ITER 7530 NEW BEST:: SOT 291495 SOS 86243 HAS SOPS 86243 HAS SOUS 61151 HAS SOUPS 61151 WITH SCORE 61237.243
AT ITER 7549 NEW BEST:: SOT 291485 SOS 86228 HAS SOPS 86228 HAS SOUS 61141 HAS SOUPS 61141 WITH SCORE 61227.228
AT ITER 7619 NEW BEST:: SOT 291472 SOS 86148 HAS SOPS 86148 HAS SOUS 61115 HAS SOUPS 61115 WITH SCORE 61201.148
AT ITER 7663 NEW BEST:: SOT 291446 SOS 86122 HAS SOPS 86122 HAS SOUS 61089 HAS SOUPS 61089 WITH SCORE 61175.122
AT ITER 7672 NEW BEST:: SOT 291446 SOS 86068 HAS SOPS 86068 HAS SOUS 61063 HAS SOUPS 61063 WITH SCORE 61149.068
AT ITER 7682 NEW BEST:: SOT 291460 SOS 86081 HAS SOPS 86081 HAS SOUS 61049 HAS SOUPS 61049 WITH SCORE 61135.081
AT ITER 7714 NEW BEST:: SOT 291406 SOS 85960 HAS SOPS 85960 HAS SOUS 60995 HAS SOUPS 60995 WITH SCORE 61080.96
AT ITER 7726 NEW BEST:: SOT 291406 SOS 85958 HAS SOPS 85958 HAS SOUS 60993 HAS SOUPS 60993 WITH SCORE 61078.958
AT ITER 7728 NEW BEST:: SOT 291374 SOS 85930 HAS SOPS 85930 HAS SOUS 60965 HAS SOUPS 60965 WITH SCORE 61050.93
AT ITER 7740 NEW BEST:: SOT 291340 SOS 85916 HAS SOPS 85916 HAS SOUS 60949 HAS SOUPS 60949 WITH SCORE 61034.916
AT ITER 7776 NEW BEST:: SOT 291315 SOS 85891 HAS SOPS 85891 HAS SOUS 60899 HAS SOUPS 60899 WITH SCORE 60984.891
AT ITER 7791 NEW BEST:: SOT 291283 SOS 85827 HAS SOPS 85827 HAS SOUS 60835 HAS SOUPS 60835 WITH SCORE 60920.827
AT ITER 7798 NEW BEST:: SOT 291276 SOS 85820 HAS SOPS 85820 HAS SOUS 60828 HAS SOUPS 60828 WITH SCORE 60913.82
AT ITER 7812 NEW BEST:: SOT 291288 SOS 85844 HAS SOPS 85844 HAS SOUS 60797 HAS SOUPS 60797 WITH SCORE 60882.844
AT ITER 7821 NEW BEST:: SOT 291304 SOS 85828 HAS SOPS 85828 HAS SOUS 60781 HAS SOUPS 60781 WITH SCORE 60866.828
AT ITER 7839 NEW BEST:: SOT 291304 SOS 85826 HAS SOPS 85826 HAS SOUS 60779 HAS SOUPS 60779 WITH SCORE 60864.826
AT ITER 7847 NEW BEST:: SOT 291275 SOS 85813 HAS SOPS 85813 HAS SOUS 60766 HAS SOUPS 60766 WITH SCORE 60851.813
AT ITER 7860 NEW BEST:: SOT 291269 SOS 85807 HAS SOPS 85807 HAS SOUS 60760 HAS SOUPS 60760 WITH SCORE 60845.807
AT ITER 7880 NEW BEST:: SOT 291269 SOS 85771 HAS SOPS 85771 HAS SOUS 60724 HAS SOUPS 60724 WITH SCORE 60809.771
AT ITER 7907 NEW BEST:: SOT 291245 SOS 85744 HAS SOPS 85744 HAS SOUS 60691 HAS SOUPS 60691 WITH SCORE 60776.744
AT ITER 7932 NEW BEST:: SOT 291252 SOS 85733 HAS SOPS 85733 HAS SOUS 60680 HAS SOUPS 60680 WITH SCORE 60765.733
AT ITER 7942 NEW BEST:: SOT 291194 SOS 85707 HAS SOPS 85707 HAS SOUS 60654 HAS SOUPS 60654 WITH SCORE 60739.707
AT ITER 7994 NEW BEST:: SOT 291186 SOS 85691 HAS SOPS 85691 HAS SOUS 60638 HAS SOUPS 60638 WITH SCORE 60723.691
AT ITER 7995 NEW BEST:: SOT 291189 SOS 85685 HAS SOPS 85685 HAS SOUS 60632 HAS SOUPS 60632 WITH SCORE 60717.685
AT ITER 8015 NEW BEST:: SOT 291178 SOS 85630 HAS SOPS 85630 HAS SOUS 60610 HAS SOUPS 60610 WITH SCORE 60695.63
AT ITER 8020 NEW BEST:: SOT 291137 SOS 85614 HAS SOPS 85614 HAS SOUS 60594 HAS SOUPS 60594 WITH SCORE 60679.614
AT ITER 8069 NEW BEST:: SOT 291130 SOS 85604 HAS SOPS 85604 HAS SOUS 60584 HAS SOUPS 60584 WITH SCORE 60669.604
AT ITER 8080 NEW BEST:: SOT 291025 SOS 85499 HAS SOPS 85499 HAS SOUS 60584 HAS SOUPS 60584 WITH SCORE 60669.499
AT ITER 8082 NEW BEST:: SOT 290998 SOS 85482 HAS SOPS 85482 HAS SOUS 60567 HAS SOUPS 60567 WITH SCORE 60652.482
AT ITER 8121 NEW BEST:: SOT 291000 SOS 85484 HAS SOPS 85484 HAS SOUS 60565 HAS SOUPS 60565 WITH SCORE 60650.484
AT ITER 8129 NEW BEST:: SOT 291006 SOS 85482 HAS SOPS 85482 HAS SOUS 60563 HAS SOUPS 60563 WITH SCORE 60648.482
AT ITER 8131 NEW BEST:: SOT 290997 SOS 85420 HAS SOPS 85420 HAS SOUS 60501 HAS SOUPS 60501 WITH SCORE 60586.42
AT ITER 8138 NEW BEST:: SOT 290991 SOS 85413 HAS SOPS 85413 HAS SOUS 60500 HAS SOUPS 60500 WITH SCORE 60585.413
AT ITER 8176 NEW BEST:: SOT 290965 SOS 85412 HAS SOPS 85412 HAS SOUS 60499 HAS SOUPS 60499 WITH SCORE 60584.412
AT ITER 8210 NEW BEST:: SOT 290965 SOS 85410 HAS SOPS 85410 HAS SOUS 60497 HAS SOUPS 60497 WITH SCORE 60582.41
AT ITER 8212 NEW BEST:: SOT 290968 SOS 85381 HAS SOPS 85381 HAS SOUS 60468 HAS SOUPS 60468 WITH SCORE 60553.381
AT ITER 8220 NEW BEST:: SOT 290972 SOS 85389 HAS SOPS 85389 HAS SOUS 60452 HAS SOUPS 60452 WITH SCORE 60537.389
AT ITER 8229 NEW BEST:: SOT 290922 SOS 85339 HAS SOPS 85339 HAS SOUS 60409 HAS SOUPS 60409 WITH SCORE 60494.339
AT ITER 8254 NEW BEST:: SOT 290919 SOS 85333 HAS SOPS 85333 HAS SOUS 60403 HAS SOUPS 60403 WITH SCORE 60488.333
AT ITER 8272 NEW BEST:: SOT 290916 SOS 85268 HAS SOPS 85268 HAS SOUS 60338 HAS SOUPS 60338 WITH SCORE 60423.268
AT ITER 8291 NEW BEST:: SOT 290933 SOS 85271 HAS SOPS 85271 HAS SOUS 60335 HAS SOUPS 60335 WITH SCORE 60420.271
AT ITER 8310 NEW BEST:: SOT 290796 SOS 85134 HAS SOPS 85134 HAS SOUS 60198 HAS SOUPS 60198 WITH SCORE 60283.134
AT ITER 8363 NEW BEST:: SOT 290796 SOS 85124 HAS SOPS 85124 HAS SOUS 60188 HAS SOUPS 60188 WITH SCORE 60273.124
AT ITER 8377 NEW BEST:: SOT 290781 SOS 85094 HAS SOPS 85094 HAS SOUS 60158 HAS SOUPS 60158 WITH SCORE 60243.094
AT ITER 8405 NEW BEST:: SOT 290738 SOS 85008 HAS SOPS 85008 HAS SOUS 60072 HAS SOUPS 60072 WITH SCORE 60157.008
AT ITER 8460 NEW BEST:: SOT 290738 SOS 85008 HAS SOPS 85008 HAS SOUS 60011 HAS SOUPS 60011 WITH SCORE 60096.008
AT ITER 8504 NEW BEST:: SOT 290734 SOS 85004 HAS SOPS 85004 HAS SOUS 60011 HAS SOUPS 60011 WITH SCORE 60096.004
AT ITER 8511 NEW BEST:: SOT 290728 SOS 84992 HAS SOPS 84992 HAS SOUS 59999 HAS SOUPS 59999 WITH SCORE 60083.992
AT ITER 8522 NEW BEST:: SOT 290725 SOS 84989 HAS SOPS 84989 HAS SOUS 59996 HAS SOUPS 59996 WITH SCORE 60080.989
AT ITER 8548 NEW BEST:: SOT 290795 SOS 84972 HAS SOPS 84972 HAS SOUS 59982 HAS SOUPS 59982 WITH SCORE 60066.972
AT ITER 8560 NEW BEST:: SOT 290795 SOS 84955 HAS SOPS 84955 HAS SOUS 59982 HAS SOUPS 59982 WITH SCORE 60066.955
AT ITER 8566 NEW BEST:: SOT 290783 SOS 84917 HAS SOPS 84917 HAS SOUS 59944 HAS SOUPS 59944 WITH SCORE 60028.917
AT ITER 8596 NEW BEST:: SOT 290764 SOS 84920 HAS SOPS 84920 HAS SOUS 59943 HAS SOUPS 59943 WITH SCORE 60027.92
AT ITER 8600 NEW BEST:: SOT 290764 SOS 84849 HAS SOPS 84849 HAS SOUS 59943 HAS SOUPS 59943 WITH SCORE 60027.849
AT ITER 8601 NEW BEST:: SOT 290796 SOS 84921 HAS SOPS 84921 HAS SOUS 59819 HAS SOUPS 59819 WITH SCORE 59903.921
AT ITER 8611 NEW BEST:: SOT 290762 SOS 84900 HAS SOPS 84900 HAS SOUS 59804 HAS SOUPS 59804 WITH SCORE 59888.9
AT ITER 8687 NEW BEST:: SOT 290757 SOS 84890 HAS SOPS 84890 HAS SOUS 59794 HAS SOUPS 59794 WITH SCORE 59878.89
AT ITER 8732 NEW BEST:: SOT 290842 SOS 84943 HAS SOPS 84943 HAS SOUS 59730 HAS SOUPS 59730 WITH SCORE 59814.943
AT ITER 8776 NEW BEST:: SOT 290846 SOS 84907 HAS SOPS 84907 HAS SOUS 59694 HAS SOUPS 59694 WITH SCORE 59778.907
AT ITER 8863 NEW BEST:: SOT 290846 SOS 84906 HAS SOPS 84906 HAS SOUS 59694 HAS SOUPS 59694 WITH SCORE 59778.906
AT ITER 8874 NEW BEST:: SOT 290846 SOS 84900 HAS SOPS 84900 HAS SOUS 59692 HAS SOUPS 59692 WITH SCORE 59776.9
AT ITER 8882 NEW BEST:: SOT 290843 SOS 84894 HAS SOPS 84894 HAS SOUS 59686 HAS SOUPS 59686 WITH SCORE 59770.894
AT ITER 8890 NEW BEST:: SOT 290827 SOS 84893 HAS SOPS 84893 HAS SOUS 59685 HAS SOUPS 59685 WITH SCORE 59769.893
AT ITER 8917 NEW BEST:: SOT 290782 SOS 84758 HAS SOPS 84758 HAS SOUS 59640 HAS SOUPS 59640 WITH SCORE 59724.758
AT ITER 8928 NEW BEST:: SOT 290767 SOS 84728 HAS SOPS 84728 HAS SOUS 59610 HAS SOUPS 59610 WITH SCORE 59694.728
AT ITER 8937 NEW BEST:: SOT 290703 SOS 84648 HAS SOPS 84648 HAS SOUS 59530 HAS SOUPS 59530 WITH SCORE 59614.648
AT ITER 8959 NEW BEST:: SOT 290703 SOS 84580 HAS SOPS 84580 HAS SOUS 59462 HAS SOUPS 59462 WITH SCORE 59546.58
AT ITER 8971 NEW BEST:: SOT 290667 SOS 84473 HAS SOPS 84473 HAS SOUS 59446 HAS SOUPS 59446 WITH SCORE 59530.473
AT ITER 8995 NEW BEST:: SOT 290681 SOS 84462 HAS SOPS 84462 HAS SOUS 59435 HAS SOUPS 59435 WITH SCORE 59519.462
AT ITER 9071 NEW BEST:: SOT 290657 SOS 84432 HAS SOPS 84432 HAS SOUS 59411 HAS SOUPS 59411 WITH SCORE 59495.432
AT ITER 9149 NEW BEST:: SOT 290575 SOS 84383 HAS SOPS 84383 HAS SOUS 59362 HAS SOUPS 59362 WITH SCORE 59446.383
AT ITER 9210 NEW BEST:: SOT 290575 SOS 84373 HAS SOPS 84373 HAS SOUS 59352 HAS SOUPS 59352 WITH SCORE 59436.373
AT ITER 9213 NEW BEST:: SOT 290518 SOS 84347 HAS SOPS 84347 HAS SOUS 59310 HAS SOUPS 59310 WITH SCORE 59394.347
AT ITER 9221 NEW BEST:: SOT 290518 SOS 84335 HAS SOPS 84335 HAS SOUS 59298 HAS SOUPS 59298 WITH SCORE 59382.335
AT ITER 9258 NEW BEST:: SOT 290508 SOS 84325 HAS SOPS 84325 HAS SOUS 59288 HAS SOUPS 59288 WITH SCORE 59372.325
AT ITER 9272 NEW BEST:: SOT 290499 SOS 84307 HAS SOPS 84307 HAS SOUS 59270 HAS SOUPS 59270 WITH SCORE 59354.307
AT ITER 9294 NEW BEST:: SOT 290499 SOS 84307 HAS SOPS 84307 HAS SOUS 59228 HAS SOUPS 59228 WITH SCORE 59312.307
AT ITER 9296 NEW BEST:: SOT 290385 SOS 84193 HAS SOPS 84193 HAS SOUS 59114 HAS SOUPS 59114 WITH SCORE 59198.193
AT ITER 9308 NEW BEST:: SOT 290357 SOS 84137 HAS SOPS 84137 HAS SOUS 59095 HAS SOUPS 59095 WITH SCORE 59179.137
AT ITER 9323 NEW BEST:: SOT 290364 SOS 84135 HAS SOPS 84135 HAS SOUS 59077 HAS SOUPS 59077 WITH SCORE 59161.135
AT ITER 9329 NEW BEST:: SOT 290350 SOS 84121 HAS SOPS 84121 HAS SOUS 59070 HAS SOUPS 59070 WITH SCORE 59154.121
AT ITER 9336 NEW BEST:: SOT 290349 SOS 84105 HAS SOPS 84105 HAS SOUS 59066 HAS SOUPS 59066 WITH SCORE 59150.105
AT ITER 9348 NEW BEST:: SOT 290337 SOS 84093 HAS SOPS 84093 HAS SOUS 59054 HAS SOUPS 59054 WITH SCORE 59138.093
AT ITER 9372 NEW BEST:: SOT 290350 SOS 84106 HAS SOPS 84106 HAS SOUS 59041 HAS SOUPS 59041 WITH SCORE 59125.106
AT ITER 9393 NEW BEST:: SOT 290341 SOS 84040 HAS SOPS 84040 HAS SOUS 58975 HAS SOUPS 58975 WITH SCORE 59059.04
AT ITER 9409 NEW BEST:: SOT 290343 SOS 84009 HAS SOPS 84009 HAS SOUS 58944 HAS SOUPS 58944 WITH SCORE 59028.009
AT ITER 9428 NEW BEST:: SOT 290398 SOS 84064 HAS SOPS 84064 HAS SOUS 58931 HAS SOUPS 58931 WITH SCORE 59015.064
AT ITER 9429 NEW BEST:: SOT 290381 SOS 84030 HAS SOPS 84030 HAS SOUS 58897 HAS SOUPS 58897 WITH SCORE 58981.03
AT ITER 9439 NEW BEST:: SOT 290321 SOS 84066 HAS SOPS 84066 HAS SOUS 58837 HAS SOUPS 58837 WITH SCORE 58921.066
AT ITER 9441 NEW BEST:: SOT 290319 SOS 84062 HAS SOPS 84062 HAS SOUS 58833 HAS SOUPS 58833 WITH SCORE 58917.062
AT ITER 9444 NEW BEST:: SOT 290319 SOS 83958 HAS SOPS 83958 HAS SOUS 58833 HAS SOUPS 58833 WITH SCORE 58916.958
AT ITER 9459 NEW BEST:: SOT 290291 SOS 83924 HAS SOPS 83924 HAS SOUS 58799 HAS SOUPS 58799 WITH SCORE 58882.924
AT ITER 9483 NEW BEST:: SOT 290266 SOS 83874 HAS SOPS 83874 HAS SOUS 58749 HAS SOUPS 58749 WITH SCORE 58832.874
AT ITER 9485 NEW BEST:: SOT 290239 SOS 83847 HAS SOPS 83847 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58805.847
AT ITER 9499 NEW BEST:: SOT 290228 SOS 83827 HAS SOPS 83827 HAS SOUS 58700 HAS SOUPS 58700 WITH SCORE 58783.827
AT ITER 9516 NEW BEST:: SOT 290230 SOS 83821 HAS SOPS 83821 HAS SOUS 58647 HAS SOUPS 58647 WITH SCORE 58730.821
AT ITER 9547 NEW BEST:: SOT 290216 SOS 83800 HAS SOPS 83800 HAS SOUS 58626 HAS SOUPS 58626 WITH SCORE 58709.8
AT ITER 9550 NEW BEST:: SOT 290254 SOS 83792 HAS SOPS 83792 HAS SOUS 58588 HAS SOUPS 58588 WITH SCORE 58671.792
AT ITER 9569 NEW BEST:: SOT 290277 SOS 83784 HAS SOPS 83784 HAS SOUS 58580 HAS SOUPS 58580 WITH SCORE 58663.784
AT ITER 9587 NEW BEST:: SOT 290277 SOS 83784 HAS SOPS 83784 HAS SOUS 58551 HAS SOUPS 58551 WITH SCORE 58634.784
AT ITER 9631 NEW BEST:: SOT 290232 SOS 83694 HAS SOPS 83694 HAS SOUS 58461 HAS SOUPS 58461 WITH SCORE 58544.694
AT ITER 9640 NEW BEST:: SOT 290231 SOS 83692 HAS SOPS 83692 HAS SOUS 58459 HAS SOUPS 58459 WITH SCORE 58542.692
AT ITER 9650 NEW BEST:: SOT 290365 SOS 83786 HAS SOPS 83786 HAS SOUS 58408 HAS SOUPS 58408 WITH SCORE 58491.786
AT ITER 9695 NEW BEST:: SOT 290421 SOS 83736 HAS SOPS 83736 HAS SOUS 58358 HAS SOUPS 58358 WITH SCORE 58441.736
AT ITER 9744 NEW BEST:: SOT 290378 SOS 83669 HAS SOPS 83669 HAS SOUS 58291 HAS SOUPS 58291 WITH SCORE 58374.669
AT ITER 9780 NEW BEST:: SOT 290364 SOS 83581 HAS SOPS 83581 HAS SOUS 58203 HAS SOUPS 58203 WITH SCORE 58286.581
AT ITER 9793 NEW BEST:: SOT 290364 SOS 83498 HAS SOPS 83498 HAS SOUS 58196 HAS SOUPS 58196 WITH SCORE 58279.498
AT ITER 9823 NEW BEST:: SOT 290364 SOS 83497 HAS SOPS 83497 HAS SOUS 58195 HAS SOUPS 58195 WITH SCORE 58278.497
AT ITER 9855 NEW BEST:: SOT 290358 SOS 83479 HAS SOPS 83479 HAS SOUS 58177 HAS SOUPS 58177 WITH SCORE 58260.479
AT ITER 9890 NEW BEST:: SOT 290436 SOS 83214 HAS SOPS 83214 HAS SOUS 58170 HAS SOUPS 58170 WITH SCORE 58253.214
AT ITER 9939 NEW BEST:: SOT 290188 SOS 82913 HAS SOPS 82913 HAS SOUS 57869 HAS SOUPS 57869 WITH SCORE 57951.913
AT ITER 9945 NEW BEST:: SOT 290188 SOS 82832 HAS SOPS 82832 HAS SOUS 57859 HAS SOUPS 57859 WITH SCORE 57941.832
AT ITER 9983 NEW BEST:: SOT 290109 SOS 82764 HAS SOPS 82764 HAS SOUS 57791 HAS SOUPS 57791 WITH SCORE 57873.764
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14871468 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16156096 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
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-19"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-19, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688400600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-19.tgz
mv BusinessProcesses-PT-19 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 '
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 ;