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-167813697000576.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-16, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 7.8K Feb 25 16:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 25 16:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 16:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 16:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:50 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 159K 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 1678794270085

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-16
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:44:31] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:44:31] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:44:31] [INFO ] Load time of PNML (sax parser for PT used): 78 ms
[2023-03-14 11:44:31] [INFO ] Transformed 638 places.
[2023-03-14 11:44:31] [INFO ] Transformed 578 transitions.
[2023-03-14 11:44:31] [INFO ] Found NUPN structural information;
[2023-03-14 11:44:31] [INFO ] Parsed PT model containing 638 places and 578 transitions and 1694 arcs in 158 ms.
[2023-03-14 11:44:31] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 638 places, 578 transitions and 1694 arcs took 10 ms.
Total runtime 200 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 16
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: 638 places, 578 transitions, 1694 arcs.
AT ITER 0 NEW BEST:: SOT 234356 SOS 90427 HAS SOPS 90427 HAS SOUS 86710 HAS SOUPS 86710 WITH SCORE 86800.427
AT ITER 5 NEW BEST:: SOT 234356 SOS 90220 HAS SOPS 90220 HAS SOUS 86503 HAS SOUPS 86503 WITH SCORE 86593.22
AT ITER 8 NEW BEST:: SOT 234192 SOS 90002 HAS SOPS 90002 HAS SOUS 86285 HAS SOUPS 86285 WITH SCORE 86375.002
AT ITER 10 NEW BEST:: SOT 234112 SOS 89957 HAS SOPS 89957 HAS SOUS 86240 HAS SOUPS 86240 WITH SCORE 86329.957
AT ITER 36 NEW BEST:: SOT 234176 SOS 89927 HAS SOPS 89927 HAS SOUS 86210 HAS SOUPS 86210 WITH SCORE 86299.927
AT ITER 48 NEW BEST:: SOT 234090 SOS 89817 HAS SOPS 89817 HAS SOUS 86099 HAS SOUPS 86099 WITH SCORE 86188.817
AT ITER 54 NEW BEST:: SOT 234090 SOS 89709 HAS SOPS 89709 HAS SOUS 86034 HAS SOUPS 86034 WITH SCORE 86123.709
AT ITER 55 NEW BEST:: SOT 234090 SOS 89613 HAS SOPS 89613 HAS SOUS 85938 HAS SOUPS 85938 WITH SCORE 86027.613
AT ITER 77 NEW BEST:: SOT 234043 SOS 89660 HAS SOPS 89660 HAS SOUS 85891 HAS SOUPS 85891 WITH SCORE 85980.66
AT ITER 79 NEW BEST:: SOT 233853 SOS 89470 HAS SOPS 89470 HAS SOUS 85701 HAS SOUPS 85701 WITH SCORE 85790.47
AT ITER 93 NEW BEST:: SOT 233853 SOS 89460 HAS SOPS 89460 HAS SOUS 85691 HAS SOUPS 85691 WITH SCORE 85780.46
AT ITER 104 NEW BEST:: SOT 233850 SOS 89457 HAS SOPS 89457 HAS SOUS 85688 HAS SOUPS 85688 WITH SCORE 85777.457
AT ITER 107 NEW BEST:: SOT 234144 SOS 89448 HAS SOPS 89448 HAS SOUS 85679 HAS SOUPS 85679 WITH SCORE 85768.448
AT ITER 115 NEW BEST:: SOT 233835 SOS 89673 HAS SOPS 89673 HAS SOUS 85479 HAS SOUPS 85479 WITH SCORE 85568.673
AT ITER 126 NEW BEST:: SOT 231345 SOS 87349 HAS SOPS 87349 HAS SOUS 83155 HAS SOUPS 83155 WITH SCORE 83242.349
AT ITER 135 NEW BEST:: SOT 231147 SOS 87055 HAS SOPS 87055 HAS SOUS 82957 HAS SOUPS 82957 WITH SCORE 83044.055
AT ITER 138 NEW BEST:: SOT 231147 SOS 87003 HAS SOPS 87003 HAS SOUS 82905 HAS SOUPS 82905 WITH SCORE 82992.003
AT ITER 139 NEW BEST:: SOT 231146 SOS 86826 HAS SOPS 86826 HAS SOUS 82728 HAS SOUPS 82728 WITH SCORE 82814.826
AT ITER 146 NEW BEST:: SOT 231146 SOS 86764 HAS SOPS 86764 HAS SOUS 82666 HAS SOUPS 82666 WITH SCORE 82752.764
AT ITER 148 NEW BEST:: SOT 231084 SOS 86671 HAS SOPS 86671 HAS SOUS 82573 HAS SOUPS 82573 WITH SCORE 82659.671
AT ITER 149 NEW BEST:: SOT 231084 SOS 86642 HAS SOPS 86642 HAS SOUS 82544 HAS SOUPS 82544 WITH SCORE 82630.642
AT ITER 182 NEW BEST:: SOT 231052 SOS 86578 HAS SOPS 86578 HAS SOUS 82480 HAS SOUPS 82480 WITH SCORE 82566.578
AT ITER 186 NEW BEST:: SOT 231051 SOS 86576 HAS SOPS 86576 HAS SOUS 82478 HAS SOUPS 82478 WITH SCORE 82564.576
AT ITER 189 NEW BEST:: SOT 231051 SOS 86544 HAS SOPS 86544 HAS SOUS 82446 HAS SOUPS 82446 WITH SCORE 82532.544
AT ITER 196 NEW BEST:: SOT 231051 SOS 86541 HAS SOPS 86541 HAS SOUS 82443 HAS SOUPS 82443 WITH SCORE 82529.541
AT ITER 197 NEW BEST:: SOT 231038 SOS 86528 HAS SOPS 86528 HAS SOUS 82442 HAS SOUPS 82442 WITH SCORE 82528.528
AT ITER 224 NEW BEST:: SOT 230829 SOS 86385 HAS SOPS 86385 HAS SOUS 82299 HAS SOUPS 82299 WITH SCORE 82385.385
AT ITER 230 NEW BEST:: SOT 230829 SOS 86376 HAS SOPS 86376 HAS SOUS 82290 HAS SOUPS 82290 WITH SCORE 82376.376
AT ITER 238 NEW BEST:: SOT 230828 SOS 86206 HAS SOPS 86206 HAS SOUS 82175 HAS SOUPS 82175 WITH SCORE 82261.206
AT ITER 252 NEW BEST:: SOT 230824 SOS 86163 HAS SOPS 86163 HAS SOUS 82162 HAS SOUPS 82162 WITH SCORE 82248.163
AT ITER 264 NEW BEST:: SOT 230570 SOS 85881 HAS SOPS 85881 HAS SOUS 82052 HAS SOUPS 82052 WITH SCORE 82137.881
AT ITER 276 NEW BEST:: SOT 230570 SOS 85768 HAS SOPS 85768 HAS SOUS 81937 HAS SOUPS 81937 WITH SCORE 82022.768
AT ITER 285 NEW BEST:: SOT 230528 SOS 85723 HAS SOPS 85723 HAS SOUS 81913 HAS SOUPS 81913 WITH SCORE 81998.723
AT ITER 288 NEW BEST:: SOT 230528 SOS 85719 HAS SOPS 85719 HAS SOUS 81913 HAS SOUPS 81913 WITH SCORE 81998.719
AT ITER 301 NEW BEST:: SOT 230644 SOS 85643 HAS SOPS 85643 HAS SOUS 81837 HAS SOUPS 81837 WITH SCORE 81922.643
AT ITER 307 NEW BEST:: SOT 230530 SOS 85415 HAS SOPS 85415 HAS SOUS 81609 HAS SOUPS 81609 WITH SCORE 81694.415
AT ITER 336 NEW BEST:: SOT 230505 SOS 85390 HAS SOPS 85390 HAS SOUS 81584 HAS SOUPS 81584 WITH SCORE 81669.39
AT ITER 345 NEW BEST:: SOT 230467 SOS 85352 HAS SOPS 85352 HAS SOUS 81546 HAS SOUPS 81546 WITH SCORE 81631.352
AT ITER 347 NEW BEST:: SOT 230467 SOS 85351 HAS SOPS 85351 HAS SOUS 81545 HAS SOUPS 81545 WITH SCORE 81630.351
AT ITER 351 NEW BEST:: SOT 230467 SOS 85347 HAS SOPS 85347 HAS SOUS 81541 HAS SOUPS 81541 WITH SCORE 81626.347
AT ITER 352 NEW BEST:: SOT 230442 SOS 85295 HAS SOPS 85295 HAS SOUS 81539 HAS SOUPS 81539 WITH SCORE 81624.295
AT ITER 356 NEW BEST:: SOT 230457 SOS 85482 HAS SOPS 85482 HAS SOUS 81509 HAS SOUPS 81509 WITH SCORE 81594.482
AT ITER 363 NEW BEST:: SOT 230457 SOS 85434 HAS SOPS 85434 HAS SOUS 81461 HAS SOUPS 81461 WITH SCORE 81546.434
AT ITER 366 NEW BEST:: SOT 230457 SOS 85389 HAS SOPS 85389 HAS SOUS 81416 HAS SOUPS 81416 WITH SCORE 81501.389
AT ITER 367 NEW BEST:: SOT 230651 SOS 85585 HAS SOPS 85585 HAS SOUS 81379 HAS SOUPS 81379 WITH SCORE 81464.585
AT ITER 377 NEW BEST:: SOT 230593 SOS 85582 HAS SOPS 85582 HAS SOUS 81376 HAS SOUPS 81376 WITH SCORE 81461.582
AT ITER 381 NEW BEST:: SOT 230593 SOS 85581 HAS SOPS 85581 HAS SOUS 81375 HAS SOUPS 81375 WITH SCORE 81460.581
AT ITER 389 NEW BEST:: SOT 230545 SOS 85437 HAS SOPS 85437 HAS SOUS 81327 HAS SOUPS 81327 WITH SCORE 81412.437
AT ITER 396 NEW BEST:: SOT 230603 SOS 85290 HAS SOPS 85290 HAS SOUS 81180 HAS SOUPS 81180 WITH SCORE 81265.29
AT ITER 416 NEW BEST:: SOT 230585 SOS 85288 HAS SOPS 85288 HAS SOUS 81178 HAS SOUPS 81178 WITH SCORE 81263.288
AT ITER 420 NEW BEST:: SOT 230585 SOS 84978 HAS SOPS 84978 HAS SOUS 80868 HAS SOUPS 80868 WITH SCORE 80952.978
AT ITER 428 NEW BEST:: SOT 229737 SOS 84208 HAS SOPS 84208 HAS SOUS 80098 HAS SOUPS 80098 WITH SCORE 80182.208
AT ITER 431 NEW BEST:: SOT 229570 SOS 83984 HAS SOPS 83984 HAS SOUS 79874 HAS SOUPS 79874 WITH SCORE 79957.984
AT ITER 434 NEW BEST:: SOT 229506 SOS 83856 HAS SOPS 83856 HAS SOUS 79746 HAS SOUPS 79746 WITH SCORE 79829.856
AT ITER 438 NEW BEST:: SOT 229506 SOS 83824 HAS SOPS 83824 HAS SOUS 79714 HAS SOUPS 79714 WITH SCORE 79797.824
AT ITER 449 NEW BEST:: SOT 227211 SOS 81572 HAS SOPS 81572 HAS SOUS 77462 HAS SOUPS 77462 WITH SCORE 77543.572
AT ITER 453 NEW BEST:: SOT 227141 SOS 81540 HAS SOPS 81540 HAS SOUS 77430 HAS SOUPS 77430 WITH SCORE 77511.54
AT ITER 455 NEW BEST:: SOT 227141 SOS 81494 HAS SOPS 81494 HAS SOUS 77384 HAS SOUPS 77384 WITH SCORE 77465.494
AT ITER 463 NEW BEST:: SOT 227077 SOS 81429 HAS SOPS 81429 HAS SOUS 77319 HAS SOUPS 77319 WITH SCORE 77400.429
AT ITER 474 NEW BEST:: SOT 227043 SOS 81378 HAS SOPS 81378 HAS SOUS 77285 HAS SOUPS 77285 WITH SCORE 77366.378
AT ITER 476 NEW BEST:: SOT 227041 SOS 81376 HAS SOPS 81376 HAS SOUS 77279 HAS SOUPS 77279 WITH SCORE 77360.376
AT ITER 481 NEW BEST:: SOT 227041 SOS 81376 HAS SOPS 81376 HAS SOUS 77276 HAS SOUPS 77276 WITH SCORE 77357.376
AT ITER 487 NEW BEST:: SOT 226890 SOS 81122 HAS SOPS 81122 HAS SOUS 77022 HAS SOUPS 77022 WITH SCORE 77103.122
AT ITER 497 NEW BEST:: SOT 226841 SOS 81072 HAS SOPS 81072 HAS SOUS 77021 HAS SOUPS 77021 WITH SCORE 77102.072
AT ITER 505 NEW BEST:: SOT 226678 SOS 80909 HAS SOPS 80909 HAS SOUS 76858 HAS SOUPS 76858 WITH SCORE 76938.909
AT ITER 522 NEW BEST:: SOT 226678 SOS 80854 HAS SOPS 80854 HAS SOUS 76803 HAS SOUPS 76803 WITH SCORE 76883.854
AT ITER 527 NEW BEST:: SOT 226616 SOS 80730 HAS SOPS 80730 HAS SOUS 76741 HAS SOUPS 76741 WITH SCORE 76821.73
AT ITER 530 NEW BEST:: SOT 226615 SOS 80582 HAS SOPS 80582 HAS SOUS 76593 HAS SOUPS 76593 WITH SCORE 76673.582
AT ITER 535 NEW BEST:: SOT 220140 SOS 84638 HAS SOPS 84638 HAS SOUS 70438 HAS SOUPS 70438 WITH SCORE 70522.638
AT ITER 544 NEW BEST:: SOT 220109 SOS 84695 HAS SOPS 84695 HAS SOUS 70407 HAS SOUPS 70407 WITH SCORE 70491.695
AT ITER 550 NEW BEST:: SOT 220092 SOS 84678 HAS SOPS 84678 HAS SOUS 70407 HAS SOUPS 70407 WITH SCORE 70491.678
AT ITER 552 NEW BEST:: SOT 220001 SOS 84587 HAS SOPS 84587 HAS SOUS 70372 HAS SOUPS 70372 WITH SCORE 70456.587
AT ITER 566 NEW BEST:: SOT 219950 SOS 84536 HAS SOPS 84536 HAS SOUS 70321 HAS SOUPS 70321 WITH SCORE 70405.536
AT ITER 567 NEW BEST:: SOT 219950 SOS 84533 HAS SOPS 84533 HAS SOUS 70318 HAS SOUPS 70318 WITH SCORE 70402.533
AT ITER 574 NEW BEST:: SOT 219894 SOS 84521 HAS SOPS 84521 HAS SOUS 70306 HAS SOUPS 70306 WITH SCORE 70390.521
AT ITER 576 NEW BEST:: SOT 219850 SOS 84504 HAS SOPS 84504 HAS SOUS 70289 HAS SOUPS 70289 WITH SCORE 70373.504
AT ITER 578 NEW BEST:: SOT 219657 SOS 84105 HAS SOPS 84105 HAS SOUS 70015 HAS SOUPS 70015 WITH SCORE 70099.105
AT ITER 583 NEW BEST:: SOT 219636 SOS 83966 HAS SOPS 83966 HAS SOUS 69876 HAS SOUPS 69876 WITH SCORE 69959.966
AT ITER 586 NEW BEST:: SOT 219604 SOS 83870 HAS SOPS 83870 HAS SOUS 69812 HAS SOUPS 69812 WITH SCORE 69895.87
AT ITER 608 NEW BEST:: SOT 219604 SOS 83801 HAS SOPS 83801 HAS SOUS 69810 HAS SOUPS 69810 WITH SCORE 69893.801
AT ITER 611 NEW BEST:: SOT 219223 SOS 83781 HAS SOPS 83781 HAS SOUS 69579 HAS SOUPS 69579 WITH SCORE 69662.781
AT ITER 612 NEW BEST:: SOT 219214 SOS 83763 HAS SOPS 83763 HAS SOUS 69561 HAS SOUPS 69561 WITH SCORE 69644.763
AT ITER 614 NEW BEST:: SOT 219066 SOS 83465 HAS SOPS 83465 HAS SOUS 69310 HAS SOUPS 69310 WITH SCORE 69393.465
AT ITER 617 NEW BEST:: SOT 219039 SOS 83438 HAS SOPS 83438 HAS SOUS 69283 HAS SOUPS 69283 WITH SCORE 69366.438
AT ITER 618 NEW BEST:: SOT 219013 SOS 83412 HAS SOPS 83412 HAS SOUS 69257 HAS SOUPS 69257 WITH SCORE 69340.412
AT ITER 638 NEW BEST:: SOT 218861 SOS 83096 HAS SOPS 83096 HAS SOUS 69025 HAS SOUPS 69025 WITH SCORE 69108.096
AT ITER 647 NEW BEST:: SOT 218804 SOS 83026 HAS SOPS 83026 HAS SOUS 68955 HAS SOUPS 68955 WITH SCORE 69038.026
AT ITER 656 NEW BEST:: SOT 218804 SOS 83074 HAS SOPS 83074 HAS SOUS 68953 HAS SOUPS 68953 WITH SCORE 69036.074
AT ITER 662 NEW BEST:: SOT 218804 SOS 83074 HAS SOPS 83074 HAS SOUS 68927 HAS SOUPS 68927 WITH SCORE 69010.074
AT ITER 663 NEW BEST:: SOT 218825 SOS 83073 HAS SOPS 83073 HAS SOUS 68926 HAS SOUPS 68926 WITH SCORE 69009.073
AT ITER 672 NEW BEST:: SOT 218732 SOS 82980 HAS SOPS 82980 HAS SOUS 68926 HAS SOUPS 68926 WITH SCORE 69008.98
AT ITER 676 NEW BEST:: SOT 218731 SOS 82978 HAS SOPS 82978 HAS SOUS 68924 HAS SOUPS 68924 WITH SCORE 69006.978
AT ITER 682 NEW BEST:: SOT 218574 SOS 82664 HAS SOPS 82664 HAS SOUS 68610 HAS SOUPS 68610 WITH SCORE 68692.664
AT ITER 689 NEW BEST:: SOT 218482 SOS 82487 HAS SOPS 82487 HAS SOUS 68433 HAS SOUPS 68433 WITH SCORE 68515.487
AT ITER 695 NEW BEST:: SOT 218336 SOS 82426 HAS SOPS 82426 HAS SOUS 68372 HAS SOUPS 68372 WITH SCORE 68454.426
AT ITER 711 NEW BEST:: SOT 218320 SOS 82410 HAS SOPS 82410 HAS SOUS 68356 HAS SOUPS 68356 WITH SCORE 68438.41
AT ITER 714 NEW BEST:: SOT 218128 SOS 82038 HAS SOPS 82038 HAS SOUS 67984 HAS SOUPS 67984 WITH SCORE 68066.038
AT ITER 715 NEW BEST:: SOT 218126 SOS 82069 HAS SOPS 82069 HAS SOUS 67980 HAS SOUPS 67980 WITH SCORE 68062.069
AT ITER 725 NEW BEST:: SOT 218083 SOS 82026 HAS SOPS 82026 HAS SOUS 67937 HAS SOUPS 67937 WITH SCORE 68019.026
AT ITER 728 NEW BEST:: SOT 218004 SOS 81868 HAS SOPS 81868 HAS SOUS 67815 HAS SOUPS 67815 WITH SCORE 67896.868
AT ITER 729 NEW BEST:: SOT 217987 SOS 81834 HAS SOPS 81834 HAS SOUS 67781 HAS SOUPS 67781 WITH SCORE 67862.834
AT ITER 730 NEW BEST:: SOT 217980 SOS 82216 HAS SOPS 82216 HAS SOUS 67774 HAS SOUPS 67774 WITH SCORE 67856.216
AT ITER 736 NEW BEST:: SOT 217933 SOS 81970 HAS SOPS 81970 HAS SOUS 67657 HAS SOUPS 67657 WITH SCORE 67738.97
AT ITER 739 NEW BEST:: SOT 217904 SOS 81941 HAS SOPS 81941 HAS SOUS 67628 HAS SOUPS 67628 WITH SCORE 67709.941
AT ITER 761 NEW BEST:: SOT 217860 SOS 82041 HAS SOPS 82041 HAS SOUS 67573 HAS SOUPS 67573 WITH SCORE 67655.041
AT ITER 786 NEW BEST:: SOT 217784 SOS 81965 HAS SOPS 81965 HAS SOUS 67535 HAS SOUPS 67535 WITH SCORE 67616.965
AT ITER 791 NEW BEST:: SOT 217643 SOS 81726 HAS SOPS 81726 HAS SOUS 67296 HAS SOUPS 67296 WITH SCORE 67377.726
AT ITER 797 NEW BEST:: SOT 217589 SOS 81672 HAS SOPS 81672 HAS SOUS 67242 HAS SOUPS 67242 WITH SCORE 67323.672
AT ITER 811 NEW BEST:: SOT 217579 SOS 81652 HAS SOPS 81652 HAS SOUS 67222 HAS SOUPS 67222 WITH SCORE 67303.652
AT ITER 812 NEW BEST:: SOT 216769 SOS 80842 HAS SOPS 80842 HAS SOUS 66412 HAS SOUPS 66412 WITH SCORE 66492.842
AT ITER 815 NEW BEST:: SOT 216769 SOS 80831 HAS SOPS 80831 HAS SOUS 66401 HAS SOUPS 66401 WITH SCORE 66481.831
AT ITER 820 NEW BEST:: SOT 216769 SOS 80812 HAS SOPS 80812 HAS SOUS 66382 HAS SOUPS 66382 WITH SCORE 66462.812
AT ITER 845 NEW BEST:: SOT 216688 SOS 80500 HAS SOPS 80500 HAS SOUS 66070 HAS SOUPS 66070 WITH SCORE 66150.5
AT ITER 848 NEW BEST:: SOT 216684 SOS 80496 HAS SOPS 80496 HAS SOUS 66066 HAS SOUPS 66066 WITH SCORE 66146.496
AT ITER 850 NEW BEST:: SOT 216523 SOS 80212 HAS SOPS 80212 HAS SOUS 65893 HAS SOUPS 65893 WITH SCORE 65973.212
AT ITER 856 NEW BEST:: SOT 216338 SOS 80036 HAS SOPS 80036 HAS SOUS 65871 HAS SOUPS 65871 WITH SCORE 65951.036
AT ITER 865 NEW BEST:: SOT 216128 SOS 79767 HAS SOPS 79767 HAS SOUS 65740 HAS SOUPS 65740 WITH SCORE 65819.767
AT ITER 872 NEW BEST:: SOT 216128 SOS 79767 HAS SOPS 79767 HAS SOUS 65689 HAS SOUPS 65689 WITH SCORE 65768.767
AT ITER 888 NEW BEST:: SOT 216128 SOS 79767 HAS SOPS 79767 HAS SOUS 65688 HAS SOUPS 65688 WITH SCORE 65767.767
AT ITER 890 NEW BEST:: SOT 215764 SOS 79269 HAS SOPS 79269 HAS SOUS 65388 HAS SOUPS 65388 WITH SCORE 65467.269
AT ITER 892 NEW BEST:: SOT 215724 SOS 79190 HAS SOPS 79190 HAS SOUS 65327 HAS SOUPS 65327 WITH SCORE 65406.19
AT ITER 894 NEW BEST:: SOT 215678 SOS 78991 HAS SOPS 78991 HAS SOUS 65128 HAS SOUPS 65128 WITH SCORE 65206.991
AT ITER 908 NEW BEST:: SOT 215653 SOS 78966 HAS SOPS 78966 HAS SOUS 65103 HAS SOUPS 65103 WITH SCORE 65181.966
AT ITER 914 NEW BEST:: SOT 215611 SOS 78882 HAS SOPS 78882 HAS SOUS 65060 HAS SOUPS 65060 WITH SCORE 65138.882
AT ITER 915 NEW BEST:: SOT 215611 SOS 78799 HAS SOPS 78799 HAS SOUS 64977 HAS SOUPS 64977 WITH SCORE 65055.799
AT ITER 919 NEW BEST:: SOT 215572 SOS 78760 HAS SOPS 78760 HAS SOUS 64977 HAS SOUPS 64977 WITH SCORE 65055.76
AT ITER 928 NEW BEST:: SOT 215551 SOS 78718 HAS SOPS 78718 HAS SOUS 64935 HAS SOUPS 64935 WITH SCORE 65013.718
AT ITER 934 NEW BEST:: SOT 215551 SOS 78670 HAS SOPS 78670 HAS SOUS 64887 HAS SOUPS 64887 WITH SCORE 64965.67
AT ITER 935 NEW BEST:: SOT 215459 SOS 78623 HAS SOPS 78623 HAS SOUS 64825 HAS SOUPS 64825 WITH SCORE 64903.623
AT ITER 938 NEW BEST:: SOT 215424 SOS 78488 HAS SOPS 78488 HAS SOUS 64690 HAS SOUPS 64690 WITH SCORE 64768.488
AT ITER 947 NEW BEST:: SOT 215189 SOS 78226 HAS SOPS 78226 HAS SOUS 64428 HAS SOUPS 64428 WITH SCORE 64506.226
AT ITER 951 NEW BEST:: SOT 215000 SOS 78036 HAS SOPS 78036 HAS SOUS 64426 HAS SOUPS 64426 WITH SCORE 64504.036
AT ITER 964 NEW BEST:: SOT 214960 SOS 77956 HAS SOPS 77956 HAS SOUS 64386 HAS SOUPS 64386 WITH SCORE 64463.956
AT ITER 976 NEW BEST:: SOT 214828 SOS 77779 HAS SOPS 77779 HAS SOUS 64209 HAS SOUPS 64209 WITH SCORE 64286.779
AT ITER 980 NEW BEST:: SOT 214828 SOS 77674 HAS SOPS 77674 HAS SOUS 64200 HAS SOUPS 64200 WITH SCORE 64277.674
AT ITER 981 NEW BEST:: SOT 214520 SOS 77465 HAS SOPS 77465 HAS SOUS 64194 HAS SOUPS 64194 WITH SCORE 64271.465
AT ITER 992 NEW BEST:: SOT 214501 SOS 77427 HAS SOPS 77427 HAS SOUS 64156 HAS SOUPS 64156 WITH SCORE 64233.427
AT ITER 1001 NEW BEST:: SOT 213969 SOS 89884 HAS SOPS 89884 HAS SOUS 63998 HAS SOUPS 63998 WITH SCORE 64087.884
AT ITER 1009 NEW BEST:: SOT 213930 SOS 89776 HAS SOPS 89776 HAS SOUS 63890 HAS SOUPS 63890 WITH SCORE 63979.776
AT ITER 1011 NEW BEST:: SOT 213891 SOS 89737 HAS SOPS 89737 HAS SOUS 63888 HAS SOUPS 63888 WITH SCORE 63977.737
AT ITER 1014 NEW BEST:: SOT 213889 SOS 89737 HAS SOPS 89737 HAS SOUS 63884 HAS SOUPS 63884 WITH SCORE 63973.737
AT ITER 1035 NEW BEST:: SOT 213900 SOS 89529 HAS SOPS 89529 HAS SOUS 63676 HAS SOUPS 63676 WITH SCORE 63765.529
AT ITER 1037 NEW BEST:: SOT 213900 SOS 89509 HAS SOPS 89509 HAS SOUS 63656 HAS SOUPS 63656 WITH SCORE 63745.509
AT ITER 1042 NEW BEST:: SOT 213846 SOS 89401 HAS SOPS 89401 HAS SOUS 63548 HAS SOUPS 63548 WITH SCORE 63637.401
AT ITER 1056 NEW BEST:: SOT 213826 SOS 89375 HAS SOPS 89375 HAS SOUS 63536 HAS SOUPS 63536 WITH SCORE 63625.375
AT ITER 1062 NEW BEST:: SOT 213768 SOS 89185 HAS SOPS 89185 HAS SOUS 63346 HAS SOUPS 63346 WITH SCORE 63435.185
AT ITER 1074 NEW BEST:: SOT 213768 SOS 89101 HAS SOPS 89101 HAS SOUS 63262 HAS SOUPS 63262 WITH SCORE 63351.101
AT ITER 1076 NEW BEST:: SOT 213763 SOS 89062 HAS SOPS 89062 HAS SOUS 63189 HAS SOUPS 63189 WITH SCORE 63278.062
AT ITER 1079 NEW BEST:: SOT 213762 SOS 89061 HAS SOPS 89061 HAS SOUS 63188 HAS SOUPS 63188 WITH SCORE 63277.061
AT ITER 1105 NEW BEST:: SOT 213548 SOS 88839 HAS SOPS 88839 HAS SOUS 62966 HAS SOUPS 62966 WITH SCORE 63054.839
AT ITER 1108 NEW BEST:: SOT 213509 SOS 88800 HAS SOPS 88800 HAS SOUS 62932 HAS SOUPS 62932 WITH SCORE 63020.8
AT ITER 1145 NEW BEST:: SOT 213482 SOS 88773 HAS SOPS 88773 HAS SOUS 62905 HAS SOUPS 62905 WITH SCORE 62993.773
AT ITER 1148 NEW BEST:: SOT 213482 SOS 88454 HAS SOPS 88454 HAS SOUS 62762 HAS SOUPS 62762 WITH SCORE 62850.454
AT ITER 1151 NEW BEST:: SOT 213399 SOS 88288 HAS SOPS 88288 HAS SOUS 62596 HAS SOUPS 62596 WITH SCORE 62684.288
AT ITER 1167 NEW BEST:: SOT 213383 SOS 88234 HAS SOPS 88234 HAS SOUS 62542 HAS SOUPS 62542 WITH SCORE 62630.234
AT ITER 1179 NEW BEST:: SOT 213382 SOS 88232 HAS SOPS 88232 HAS SOUS 62540 HAS SOUPS 62540 WITH SCORE 62628.232
AT ITER 1194 NEW BEST:: SOT 213382 SOS 88232 HAS SOPS 88232 HAS SOUS 62508 HAS SOUPS 62508 WITH SCORE 62596.232
AT ITER 1222 NEW BEST:: SOT 213147 SOS 87904 HAS SOPS 87904 HAS SOUS 62493 HAS SOUPS 62493 WITH SCORE 62580.904
AT ITER 1227 NEW BEST:: SOT 213108 SOS 87865 HAS SOPS 87865 HAS SOUS 62493 HAS SOUPS 62493 WITH SCORE 62580.865
AT ITER 1259 NEW BEST:: SOT 213063 SOS 87653 HAS SOPS 87653 HAS SOUS 62114 HAS SOUPS 62114 WITH SCORE 62201.653
AT ITER 1266 NEW BEST:: SOT 213024 SOS 87575 HAS SOPS 87575 HAS SOUS 62036 HAS SOUPS 62036 WITH SCORE 62123.575
AT ITER 1274 NEW BEST:: SOT 212981 SOS 87532 HAS SOPS 87532 HAS SOUS 61993 HAS SOUPS 61993 WITH SCORE 62080.532
AT ITER 1291 NEW BEST:: SOT 212981 SOS 87516 HAS SOPS 87516 HAS SOUS 61993 HAS SOUPS 61993 WITH SCORE 62080.516
AT ITER 1294 NEW BEST:: SOT 212899 SOS 87352 HAS SOPS 87352 HAS SOUS 61978 HAS SOUPS 61978 WITH SCORE 62065.352
AT ITER 1298 NEW BEST:: SOT 212760 SOS 87280 HAS SOPS 87280 HAS SOUS 61806 HAS SOUPS 61806 WITH SCORE 61893.28
AT ITER 1304 NEW BEST:: SOT 212716 SOS 87183 HAS SOPS 87183 HAS SOUS 61801 HAS SOUPS 61801 WITH SCORE 61888.183
AT ITER 1313 NEW BEST:: SOT 212695 SOS 87162 HAS SOPS 87162 HAS SOUS 61780 HAS SOUPS 61780 WITH SCORE 61867.162
AT ITER 1334 NEW BEST:: SOT 212535 SOS 86682 HAS SOPS 86682 HAS SOUS 61300 HAS SOUPS 61300 WITH SCORE 61386.682
AT ITER 1348 NEW BEST:: SOT 212540 SOS 86610 HAS SOPS 86610 HAS SOUS 61228 HAS SOUPS 61228 WITH SCORE 61314.61
AT ITER 1350 NEW BEST:: SOT 212643 SOS 86604 HAS SOPS 86604 HAS SOUS 61222 HAS SOUPS 61222 WITH SCORE 61308.604
AT ITER 1355 NEW BEST:: SOT 212643 SOS 86599 HAS SOPS 86599 HAS SOUS 61217 HAS SOUPS 61217 WITH SCORE 61303.599
AT ITER 1357 NEW BEST:: SOT 212487 SOS 86287 HAS SOPS 86287 HAS SOUS 60949 HAS SOUPS 60949 WITH SCORE 61035.287
AT ITER 1387 NEW BEST:: SOT 212698 SOS 86286 HAS SOPS 86286 HAS SOUS 60808 HAS SOUPS 60808 WITH SCORE 60894.286
AT ITER 1391 NEW BEST:: SOT 212494 SOS 85991 HAS SOPS 85991 HAS SOUS 60626 HAS SOUPS 60626 WITH SCORE 60711.991
AT ITER 1403 NEW BEST:: SOT 212493 SOS 85990 HAS SOPS 85990 HAS SOUS 60625 HAS SOUPS 60625 WITH SCORE 60710.99
AT ITER 1407 NEW BEST:: SOT 212541 SOS 85962 HAS SOPS 85962 HAS SOUS 60597 HAS SOUPS 60597 WITH SCORE 60682.962
AT ITER 1418 NEW BEST:: SOT 212567 SOS 85985 HAS SOPS 85985 HAS SOUS 60591 HAS SOUPS 60591 WITH SCORE 60676.985
AT ITER 1422 NEW BEST:: SOT 212553 SOS 85957 HAS SOPS 85957 HAS SOUS 60563 HAS SOUPS 60563 WITH SCORE 60648.957
AT ITER 1425 NEW BEST:: SOT 212548 SOS 85947 HAS SOPS 85947 HAS SOUS 60558 HAS SOUPS 60558 WITH SCORE 60643.947
AT ITER 1440 NEW BEST:: SOT 212541 SOS 85923 HAS SOPS 85923 HAS SOUS 60544 HAS SOUPS 60544 WITH SCORE 60629.923
AT ITER 1457 NEW BEST:: SOT 212525 SOS 85907 HAS SOPS 85907 HAS SOUS 60528 HAS SOUPS 60528 WITH SCORE 60613.907
AT ITER 1461 NEW BEST:: SOT 212525 SOS 85888 HAS SOPS 85888 HAS SOUS 60509 HAS SOUPS 60509 WITH SCORE 60594.888
AT ITER 1479 NEW BEST:: SOT 212514 SOS 85883 HAS SOPS 85883 HAS SOUS 60504 HAS SOUPS 60504 WITH SCORE 60589.883
AT ITER 1503 NEW BEST:: SOT 212412 SOS 85905 HAS SOPS 85905 HAS SOUS 60493 HAS SOUPS 60493 WITH SCORE 60578.905
AT ITER 1507 NEW BEST:: SOT 212396 SOS 85873 HAS SOPS 85873 HAS SOUS 60461 HAS SOUPS 60461 WITH SCORE 60546.873
AT ITER 1510 NEW BEST:: SOT 212396 SOS 85752 HAS SOPS 85752 HAS SOUS 60219 HAS SOUPS 60219 WITH SCORE 60304.752
AT ITER 1537 NEW BEST:: SOT 212396 SOS 85690 HAS SOPS 85690 HAS SOUS 60157 HAS SOUPS 60157 WITH SCORE 60242.69
AT ITER 1538 NEW BEST:: SOT 212396 SOS 85618 HAS SOPS 85618 HAS SOUS 60085 HAS SOUPS 60085 WITH SCORE 60170.618
AT ITER 1544 NEW BEST:: SOT 210180 SOS 83534 HAS SOPS 83534 HAS SOUS 57891 HAS SOUPS 57891 WITH SCORE 57974.534
AT ITER 1548 NEW BEST:: SOT 210153 SOS 83552 HAS SOPS 83552 HAS SOUS 57870 HAS SOUPS 57870 WITH SCORE 57953.552
AT ITER 1550 NEW BEST:: SOT 209903 SOS 83276 HAS SOPS 83276 HAS SOUS 57818 HAS SOUPS 57818 WITH SCORE 57901.276
AT ITER 1553 NEW BEST:: SOT 209794 SOS 83167 HAS SOPS 83167 HAS SOUS 57613 HAS SOUPS 57613 WITH SCORE 57696.167
AT ITER 1554 NEW BEST:: SOT 209794 SOS 83090 HAS SOPS 83090 HAS SOUS 57536 HAS SOUPS 57536 WITH SCORE 57619.09
AT ITER 1557 NEW BEST:: SOT 209661 SOS 82956 HAS SOPS 82956 HAS SOUS 57496 HAS SOUPS 57496 WITH SCORE 57578.956
AT ITER 1587 NEW BEST:: SOT 209660 SOS 82955 HAS SOPS 82955 HAS SOUS 57495 HAS SOUPS 57495 WITH SCORE 57577.955
AT ITER 1600 NEW BEST:: SOT 209632 SOS 82913 HAS SOPS 82913 HAS SOUS 57453 HAS SOUPS 57453 WITH SCORE 57535.913
AT ITER 1602 NEW BEST:: SOT 209398 SOS 82796 HAS SOPS 82796 HAS SOUS 57174 HAS SOUPS 57174 WITH SCORE 57256.796
AT ITER 1613 NEW BEST:: SOT 209398 SOS 82796 HAS SOPS 82796 HAS SOUS 57121 HAS SOUPS 57121 WITH SCORE 57203.796
AT ITER 1614 NEW BEST:: SOT 209382 SOS 82780 HAS SOPS 82780 HAS SOUS 57100 HAS SOUPS 57100 WITH SCORE 57182.78
AT ITER 1620 NEW BEST:: SOT 209358 SOS 82724 HAS SOPS 82724 HAS SOUS 57057 HAS SOUPS 57057 WITH SCORE 57139.724
AT ITER 1621 NEW BEST:: SOT 209301 SOS 82693 HAS SOPS 82693 HAS SOUS 56873 HAS SOUPS 56873 WITH SCORE 56955.693
AT ITER 1625 NEW BEST:: SOT 209254 SOS 82595 HAS SOPS 82595 HAS SOUS 56805 HAS SOUPS 56805 WITH SCORE 56887.595
AT ITER 1627 NEW BEST:: SOT 209238 SOS 82579 HAS SOPS 82579 HAS SOUS 56805 HAS SOUPS 56805 WITH SCORE 56887.579
AT ITER 1632 NEW BEST:: SOT 209214 SOS 82531 HAS SOPS 82531 HAS SOUS 56757 HAS SOUPS 56757 WITH SCORE 56839.531
AT ITER 1671 NEW BEST:: SOT 209135 SOS 82399 HAS SOPS 82399 HAS SOUS 56625 HAS SOUPS 56625 WITH SCORE 56707.399
AT ITER 1672 NEW BEST:: SOT 209180 SOS 82363 HAS SOPS 82363 HAS SOUS 56589 HAS SOUPS 56589 WITH SCORE 56671.363
AT ITER 1675 NEW BEST:: SOT 209016 SOS 82236 HAS SOPS 82236 HAS SOUS 56420 HAS SOUPS 56420 WITH SCORE 56502.236
AT ITER 1695 NEW BEST:: SOT 208857 SOS 82074 HAS SOPS 82074 HAS SOUS 56382 HAS SOUPS 56382 WITH SCORE 56464.074
AT ITER 1714 NEW BEST:: SOT 208857 SOS 82025 HAS SOPS 82025 HAS SOUS 56333 HAS SOUPS 56333 WITH SCORE 56415.025
AT ITER 1717 NEW BEST:: SOT 208848 SOS 82003 HAS SOPS 82003 HAS SOUS 56316 HAS SOUPS 56316 WITH SCORE 56398.003
AT ITER 1727 NEW BEST:: SOT 208844 SOS 81908 HAS SOPS 81908 HAS SOUS 56308 HAS SOUPS 56308 WITH SCORE 56389.908
AT ITER 1747 NEW BEST:: SOT 208767 SOS 81842 HAS SOPS 81842 HAS SOUS 56242 HAS SOUPS 56242 WITH SCORE 56323.842
AT ITER 1770 NEW BEST:: SOT 208760 SOS 81838 HAS SOPS 81838 HAS SOUS 56238 HAS SOUPS 56238 WITH SCORE 56319.838
AT ITER 1774 NEW BEST:: SOT 208757 SOS 81832 HAS SOPS 81832 HAS SOUS 56235 HAS SOUPS 56235 WITH SCORE 56316.832
AT ITER 1782 NEW BEST:: SOT 208752 SOS 81758 HAS SOPS 81758 HAS SOUS 56052 HAS SOUPS 56052 WITH SCORE 56133.758
AT ITER 1786 NEW BEST:: SOT 208695 SOS 81679 HAS SOPS 81679 HAS SOUS 55973 HAS SOUPS 55973 WITH SCORE 56054.679
AT ITER 1814 NEW BEST:: SOT 208499 SOS 81428 HAS SOPS 81428 HAS SOUS 55849 HAS SOUPS 55849 WITH SCORE 55930.428
AT ITER 1816 NEW BEST:: SOT 208448 SOS 81377 HAS SOPS 81377 HAS SOUS 55849 HAS SOUPS 55849 WITH SCORE 55930.377
AT ITER 1818 NEW BEST:: SOT 208492 SOS 81300 HAS SOPS 81300 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55753.3
AT ITER 1834 NEW BEST:: SOT 208489 SOS 81297 HAS SOPS 81297 HAS SOUS 55672 HAS SOUPS 55672 WITH SCORE 55753.297
AT ITER 1862 NEW BEST:: SOT 208485 SOS 81283 HAS SOPS 81283 HAS SOUS 55658 HAS SOUPS 55658 WITH SCORE 55739.283
AT ITER 1886 NEW BEST:: SOT 208422 SOS 81098 HAS SOPS 81098 HAS SOUS 55530 HAS SOUPS 55530 WITH SCORE 55611.098
AT ITER 1912 NEW BEST:: SOT 208428 SOS 81023 HAS SOPS 81023 HAS SOUS 55455 HAS SOUPS 55455 WITH SCORE 55536.023
AT ITER 1917 NEW BEST:: SOT 208390 SOS 80947 HAS SOPS 80947 HAS SOUS 55379 HAS SOUPS 55379 WITH SCORE 55459.947
AT ITER 1930 NEW BEST:: SOT 208390 SOS 80907 HAS SOPS 80907 HAS SOUS 55339 HAS SOUPS 55339 WITH SCORE 55419.907
AT ITER 1957 NEW BEST:: SOT 208390 SOS 80847 HAS SOPS 80847 HAS SOUS 55278 HAS SOUPS 55278 WITH SCORE 55358.847
AT ITER 1965 NEW BEST:: SOT 208417 SOS 80822 HAS SOPS 80822 HAS SOUS 55174 HAS SOUPS 55174 WITH SCORE 55254.822
AT ITER 1970 NEW BEST:: SOT 208417 SOS 80707 HAS SOPS 80707 HAS SOUS 55174 HAS SOUPS 55174 WITH SCORE 55254.707
AT ITER 1989 NEW BEST:: SOT 208403 SOS 80674 HAS SOPS 80674 HAS SOUS 55141 HAS SOUPS 55141 WITH SCORE 55221.674
AT ITER 1990 NEW BEST:: SOT 208075 SOS 79987 HAS SOPS 79987 HAS SOUS 55106 HAS SOUPS 55106 WITH SCORE 55185.987
AT ITER 2003 NEW BEST:: SOT 208056 SOS 79949 HAS SOPS 79949 HAS SOUS 55068 HAS SOUPS 55068 WITH SCORE 55147.949
AT ITER 2032 NEW BEST:: SOT 208070 SOS 79949 HAS SOPS 79949 HAS SOUS 55054 HAS SOUPS 55054 WITH SCORE 55133.949
AT ITER 2035 NEW BEST:: SOT 208101 SOS 79980 HAS SOPS 79980 HAS SOUS 55029 HAS SOUPS 55029 WITH SCORE 55108.98
AT ITER 2039 NEW BEST:: SOT 208146 SOS 79889 HAS SOPS 79889 HAS SOUS 54938 HAS SOUPS 54938 WITH SCORE 55017.889
AT ITER 2046 NEW BEST:: SOT 208026 SOS 79769 HAS SOPS 79769 HAS SOUS 54937 HAS SOUPS 54937 WITH SCORE 55016.769
AT ITER 2048 NEW BEST:: SOT 208036 SOS 79733 HAS SOPS 79733 HAS SOUS 54901 HAS SOUPS 54901 WITH SCORE 54980.733
AT ITER 2069 NEW BEST:: SOT 207997 SOS 79655 HAS SOPS 79655 HAS SOUS 54875 HAS SOUPS 54875 WITH SCORE 54954.655
AT ITER 2072 NEW BEST:: SOT 207931 SOS 79556 HAS SOPS 79556 HAS SOUS 54809 HAS SOUPS 54809 WITH SCORE 54888.556
AT ITER 2095 NEW BEST:: SOT 207923 SOS 79548 HAS SOPS 79548 HAS SOUS 54801 HAS SOUPS 54801 WITH SCORE 54880.548
AT ITER 2097 NEW BEST:: SOT 207799 SOS 79301 HAS SOPS 79301 HAS SOUS 54554 HAS SOUPS 54554 WITH SCORE 54633.301
AT ITER 2100 NEW BEST:: SOT 207799 SOS 79257 HAS SOPS 79257 HAS SOUS 54510 HAS SOUPS 54510 WITH SCORE 54589.257
AT ITER 2101 NEW BEST:: SOT 207787 SOS 79233 HAS SOPS 79233 HAS SOUS 54486 HAS SOUPS 54486 WITH SCORE 54565.233
AT ITER 2117 NEW BEST:: SOT 207787 SOS 79226 HAS SOPS 79226 HAS SOUS 54479 HAS SOUPS 54479 WITH SCORE 54558.226
AT ITER 2167 NEW BEST:: SOT 207773 SOS 79198 HAS SOPS 79198 HAS SOUS 54472 HAS SOUPS 54472 WITH SCORE 54551.198
AT ITER 2203 NEW BEST:: SOT 207737 SOS 79162 HAS SOPS 79162 HAS SOUS 54436 HAS SOUPS 54436 WITH SCORE 54515.162
AT ITER 2208 NEW BEST:: SOT 207571 SOS 78880 HAS SOPS 78880 HAS SOUS 54275 HAS SOUPS 54275 WITH SCORE 54353.88
AT ITER 2216 NEW BEST:: SOT 207502 SOS 78813 HAS SOPS 78813 HAS SOUS 54119 HAS SOUPS 54119 WITH SCORE 54197.813
AT ITER 2217 NEW BEST:: SOT 207495 SOS 78806 HAS SOPS 78806 HAS SOUS 54112 HAS SOUPS 54112 WITH SCORE 54190.806
AT ITER 2219 NEW BEST:: SOT 207495 SOS 78803 HAS SOPS 78803 HAS SOUS 54112 HAS SOUPS 54112 WITH SCORE 54190.803
AT ITER 2237 NEW BEST:: SOT 207470 SOS 78753 HAS SOPS 78753 HAS SOUS 54062 HAS SOUPS 54062 WITH SCORE 54140.753
AT ITER 2245 NEW BEST:: SOT 207470 SOS 78744 HAS SOPS 78744 HAS SOUS 54053 HAS SOUPS 54053 WITH SCORE 54131.744
AT ITER 2262 NEW BEST:: SOT 207574 SOS 78382 HAS SOPS 78382 HAS SOUS 54052 HAS SOUPS 54052 WITH SCORE 54130.382
AT ITER 2267 NEW BEST:: SOT 207573 SOS 78380 HAS SOPS 78380 HAS SOUS 54050 HAS SOUPS 54050 WITH SCORE 54128.38
AT ITER 2292 NEW BEST:: SOT 207555 SOS 78274 HAS SOPS 78274 HAS SOUS 54009 HAS SOUPS 54009 WITH SCORE 54087.274
AT ITER 2343 NEW BEST:: SOT 207565 SOS 78294 HAS SOPS 78294 HAS SOUS 53999 HAS SOUPS 53999 WITH SCORE 54077.294
AT ITER 2346 NEW BEST:: SOT 207508 SOS 78247 HAS SOPS 78247 HAS SOUS 53952 HAS SOUPS 53952 WITH SCORE 54030.247
AT ITER 2368 NEW BEST:: SOT 207366 SOS 78191 HAS SOPS 78191 HAS SOUS 53896 HAS SOUPS 53896 WITH SCORE 53974.191
AT ITER 2380 NEW BEST:: SOT 207342 SOS 78167 HAS SOPS 78167 HAS SOUS 53896 HAS SOUPS 53896 WITH SCORE 53974.167
AT ITER 2381 NEW BEST:: SOT 207315 SOS 78140 HAS SOPS 78140 HAS SOUS 53869 HAS SOUPS 53869 WITH SCORE 53947.14
AT ITER 2393 NEW BEST:: SOT 207200 SOS 78011 HAS SOPS 78011 HAS SOUS 53740 HAS SOUPS 53740 WITH SCORE 53818.011
AT ITER 2399 NEW BEST:: SOT 207330 SOS 77995 HAS SOPS 77995 HAS SOUS 53666 HAS SOUPS 53666 WITH SCORE 53743.995
AT ITER 2413 NEW BEST:: SOT 207325 SOS 77993 HAS SOPS 77993 HAS SOUS 53664 HAS SOUPS 53664 WITH SCORE 53741.993
AT ITER 2416 NEW BEST:: SOT 207301 SOS 77955 HAS SOPS 77955 HAS SOUS 53643 HAS SOUPS 53643 WITH SCORE 53720.955
AT ITER 2418 NEW BEST:: SOT 207349 SOS 77978 HAS SOPS 77978 HAS SOUS 53593 HAS SOUPS 53593 WITH SCORE 53670.978
AT ITER 2446 NEW BEST:: SOT 207349 SOS 77971 HAS SOPS 77971 HAS SOUS 53586 HAS SOUPS 53586 WITH SCORE 53663.971
AT ITER 2454 NEW BEST:: SOT 207342 SOS 77920 HAS SOPS 77920 HAS SOUS 53568 HAS SOUPS 53568 WITH SCORE 53645.92
AT ITER 2460 NEW BEST:: SOT 207435 SOS 78071 HAS SOPS 78071 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53540.071
AT ITER 2464 NEW BEST:: SOT 207435 SOS 77900 HAS SOPS 77900 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53539.9
AT ITER 2475 NEW BEST:: SOT 207241 SOS 77673 HAS SOPS 77673 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53539.673
AT ITER 2487 NEW BEST:: SOT 207236 SOS 77663 HAS SOPS 77663 HAS SOUS 53457 HAS SOUPS 53457 WITH SCORE 53534.663
AT ITER 2498 NEW BEST:: SOT 207209 SOS 77609 HAS SOPS 77609 HAS SOUS 53403 HAS SOUPS 53403 WITH SCORE 53480.609
AT ITER 2501 NEW BEST:: SOT 207221 SOS 77621 HAS SOPS 77621 HAS SOUS 53391 HAS SOUPS 53391 WITH SCORE 53468.621
AT ITER 2521 NEW BEST:: SOT 207173 SOS 77538 HAS SOPS 77538 HAS SOUS 53308 HAS SOUPS 53308 WITH SCORE 53385.538
AT ITER 2548 NEW BEST:: SOT 207168 SOS 77533 HAS SOPS 77533 HAS SOUS 53303 HAS SOUPS 53303 WITH SCORE 53380.533
AT ITER 2549 NEW BEST:: SOT 207191 SOS 77510 HAS SOPS 77510 HAS SOUS 53280 HAS SOUPS 53280 WITH SCORE 53357.51
AT ITER 2550 NEW BEST:: SOT 207155 SOS 77438 HAS SOPS 77438 HAS SOUS 53208 HAS SOUPS 53208 WITH SCORE 53285.438
AT ITER 2560 NEW BEST:: SOT 206983 SOS 77216 HAS SOPS 77216 HAS SOUS 53025 HAS SOUPS 53025 WITH SCORE 53102.216
AT ITER 2564 NEW BEST:: SOT 206958 SOS 77216 HAS SOPS 77216 HAS SOUS 53000 HAS SOUPS 53000 WITH SCORE 53077.216
AT ITER 2565 NEW BEST:: SOT 206957 SOS 77214 HAS SOPS 77214 HAS SOUS 52998 HAS SOUPS 52998 WITH SCORE 53075.214
AT ITER 2585 NEW BEST:: SOT 206944 SOS 77191 HAS SOPS 77191 HAS SOUS 52975 HAS SOUPS 52975 WITH SCORE 53052.191
AT ITER 2613 NEW BEST:: SOT 206943 SOS 77207 HAS SOPS 77207 HAS SOUS 52973 HAS SOUPS 52973 WITH SCORE 53050.207
AT ITER 2635 NEW BEST:: SOT 206874 SOS 77137 HAS SOPS 77137 HAS SOUS 52971 HAS SOUPS 52971 WITH SCORE 53048.137
AT ITER 2647 NEW BEST:: SOT 206866 SOS 77131 HAS SOPS 77131 HAS SOUS 52958 HAS SOUPS 52958 WITH SCORE 53035.131
AT ITER 2655 NEW BEST:: SOT 206823 SOS 77045 HAS SOPS 77045 HAS SOUS 52915 HAS SOUPS 52915 WITH SCORE 52992.045
AT ITER 2656 NEW BEST:: SOT 206757 SOS 76995 HAS SOPS 76995 HAS SOUS 52906 HAS SOUPS 52906 WITH SCORE 52982.995
AT ITER 2661 NEW BEST:: SOT 206458 SOS 76679 HAS SOPS 76679 HAS SOUS 52590 HAS SOUPS 52590 WITH SCORE 52666.679
AT ITER 2676 NEW BEST:: SOT 206151 SOS 76402 HAS SOPS 76402 HAS SOUS 52426 HAS SOUPS 52426 WITH SCORE 52502.402
AT ITER 2681 NEW BEST:: SOT 206044 SOS 76226 HAS SOPS 76226 HAS SOUS 52336 HAS SOUPS 52336 WITH SCORE 52412.226
AT ITER 2685 NEW BEST:: SOT 206150 SOS 75987 HAS SOPS 75987 HAS SOUS 52248 HAS SOUPS 52248 WITH SCORE 52323.987
AT ITER 2688 NEW BEST:: SOT 206138 SOS 75969 HAS SOPS 75969 HAS SOUS 52236 HAS SOUPS 52236 WITH SCORE 52311.969
AT ITER 2700 NEW BEST:: SOT 206026 SOS 75745 HAS SOPS 75745 HAS SOUS 52221 HAS SOUPS 52221 WITH SCORE 52296.745
AT ITER 2729 NEW BEST:: SOT 206030 SOS 75590 HAS SOPS 75590 HAS SOUS 52066 HAS SOUPS 52066 WITH SCORE 52141.59
AT ITER 2733 NEW BEST:: SOT 206030 SOS 75583 HAS SOPS 75583 HAS SOUS 52052 HAS SOUPS 52052 WITH SCORE 52127.583
AT ITER 2734 NEW BEST:: SOT 206014 SOS 75541 HAS SOPS 75541 HAS SOUS 52022 HAS SOUPS 52022 WITH SCORE 52097.541
AT ITER 2738 NEW BEST:: SOT 206014 SOS 75541 HAS SOPS 75541 HAS SOUS 52007 HAS SOUPS 52007 WITH SCORE 52082.541
AT ITER 2768 NEW BEST:: SOT 205961 SOS 75482 HAS SOPS 75482 HAS SOUS 51995 HAS SOUPS 51995 WITH SCORE 52070.482
AT ITER 2773 NEW BEST:: SOT 205971 SOS 75475 HAS SOPS 75475 HAS SOUS 51988 HAS SOUPS 51988 WITH SCORE 52063.475
AT ITER 2776 NEW BEST:: SOT 205938 SOS 75313 HAS SOPS 75313 HAS SOUS 51926 HAS SOUPS 51926 WITH SCORE 52001.313
AT ITER 2788 NEW BEST:: SOT 205929 SOS 75292 HAS SOPS 75292 HAS SOUS 51832 HAS SOUPS 51832 WITH SCORE 51907.292
AT ITER 2790 NEW BEST:: SOT 205936 SOS 75282 HAS SOPS 75282 HAS SOUS 51798 HAS SOUPS 51798 WITH SCORE 51873.282
AT ITER 2811 NEW BEST:: SOT 205965 SOS 75279 HAS SOPS 75279 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51870.279
AT ITER 2814 NEW BEST:: SOT 205964 SOS 75278 HAS SOPS 75278 HAS SOUS 51794 HAS SOUPS 51794 WITH SCORE 51869.278
AT ITER 2831 NEW BEST:: SOT 205964 SOS 75237 HAS SOPS 75237 HAS SOUS 51794 HAS SOUPS 51794 WITH SCORE 51869.237
AT ITER 2838 NEW BEST:: SOT 205942 SOS 75193 HAS SOPS 75193 HAS SOUS 51772 HAS SOUPS 51772 WITH SCORE 51847.193
AT ITER 2852 NEW BEST:: SOT 205972 SOS 75142 HAS SOPS 75142 HAS SOUS 51735 HAS SOUPS 51735 WITH SCORE 51810.142
AT ITER 2853 NEW BEST:: SOT 205856 SOS 74948 HAS SOPS 74948 HAS SOUS 51541 HAS SOUPS 51541 WITH SCORE 51615.948
AT ITER 2856 NEW BEST:: SOT 205856 SOS 74946 HAS SOPS 74946 HAS SOUS 51539 HAS SOUPS 51539 WITH SCORE 51613.946
AT ITER 2857 NEW BEST:: SOT 205632 SOS 74498 HAS SOPS 74498 HAS SOUS 51419 HAS SOUPS 51419 WITH SCORE 51493.498
AT ITER 2863 NEW BEST:: SOT 205476 SOS 74264 HAS SOPS 74264 HAS SOUS 51185 HAS SOUPS 51185 WITH SCORE 51259.264
AT ITER 2908 NEW BEST:: SOT 205516 SOS 74231 HAS SOPS 74231 HAS SOUS 51154 HAS SOUPS 51154 WITH SCORE 51228.231
AT ITER 2911 NEW BEST:: SOT 205537 SOS 74185 HAS SOPS 74185 HAS SOUS 51108 HAS SOUPS 51108 WITH SCORE 51182.185
AT ITER 2920 NEW BEST:: SOT 205505 SOS 74162 HAS SOPS 74162 HAS SOUS 51085 HAS SOUPS 51085 WITH SCORE 51159.162
AT ITER 2933 NEW BEST:: SOT 205393 SOS 74000 HAS SOPS 74000 HAS SOUS 50923 HAS SOUPS 50923 WITH SCORE 50997.0
AT ITER 2946 NEW BEST:: SOT 205389 SOS 73964 HAS SOPS 73964 HAS SOUS 50902 HAS SOUPS 50902 WITH SCORE 50975.964
AT ITER 2961 NEW BEST:: SOT 205279 SOS 73932 HAS SOPS 73932 HAS SOUS 50870 HAS SOUPS 50870 WITH SCORE 50943.932
AT ITER 2962 NEW BEST:: SOT 205313 SOS 73966 HAS SOPS 73966 HAS SOUS 50862 HAS SOUPS 50862 WITH SCORE 50935.966
AT ITER 2963 NEW BEST:: SOT 205190 SOS 73821 HAS SOPS 73821 HAS SOUS 50717 HAS SOUPS 50717 WITH SCORE 50790.821
AT ITER 3031 NEW BEST:: SOT 205183 SOS 73769 HAS SOPS 73769 HAS SOUS 50672 HAS SOUPS 50672 WITH SCORE 50745.769
AT ITER 3032 NEW BEST:: SOT 205146 SOS 73695 HAS SOPS 73695 HAS SOUS 50598 HAS SOUPS 50598 WITH SCORE 50671.695
AT ITER 3039 NEW BEST:: SOT 205050 SOS 73575 HAS SOPS 73575 HAS SOUS 50478 HAS SOUPS 50478 WITH SCORE 50551.575
AT ITER 3052 NEW BEST:: SOT 205009 SOS 73493 HAS SOPS 73493 HAS SOUS 50399 HAS SOUPS 50399 WITH SCORE 50472.493
AT ITER 3092 NEW BEST:: SOT 204909 SOS 73392 HAS SOPS 73392 HAS SOUS 50397 HAS SOUPS 50397 WITH SCORE 50470.392
AT ITER 3094 NEW BEST:: SOT 204886 SOS 73369 HAS SOPS 73369 HAS SOUS 50374 HAS SOUPS 50374 WITH SCORE 50447.369
AT ITER 3097 NEW BEST:: SOT 204911 SOS 73332 HAS SOPS 73332 HAS SOUS 50337 HAS SOUPS 50337 WITH SCORE 50410.332
AT ITER 3107 NEW BEST:: SOT 204904 SOS 73318 HAS SOPS 73318 HAS SOUS 50323 HAS SOUPS 50323 WITH SCORE 50396.318
AT ITER 3121 NEW BEST:: SOT 204868 SOS 72418 HAS SOPS 72418 HAS SOUS 50197 HAS SOUPS 50197 WITH SCORE 50269.418
AT ITER 3122 NEW BEST:: SOT 204803 SOS 72556 HAS SOPS 72556 HAS SOUS 50168 HAS SOUPS 50168 WITH SCORE 50240.556
AT ITER 3129 NEW BEST:: SOT 204788 SOS 72511 HAS SOPS 72511 HAS SOUS 50138 HAS SOUPS 50138 WITH SCORE 50210.511
AT ITER 3131 NEW BEST:: SOT 204788 SOS 72459 HAS SOPS 72459 HAS SOUS 50128 HAS SOUPS 50128 WITH SCORE 50200.459
AT ITER 3133 NEW BEST:: SOT 204922 SOS 72449 HAS SOPS 72449 HAS SOUS 50059 HAS SOUPS 50059 WITH SCORE 50131.449
AT ITER 3150 NEW BEST:: SOT 205019 SOS 72541 HAS SOPS 72541 HAS SOUS 50049 HAS SOUPS 50049 WITH SCORE 50121.541
AT ITER 3151 NEW BEST:: SOT 205022 SOS 72536 HAS SOPS 72536 HAS SOUS 50044 HAS SOUPS 50044 WITH SCORE 50116.536
AT ITER 3156 NEW BEST:: SOT 205016 SOS 72530 HAS SOPS 72530 HAS SOUS 50038 HAS SOUPS 50038 WITH SCORE 50110.53
AT ITER 3159 NEW BEST:: SOT 205008 SOS 72516 HAS SOPS 72516 HAS SOUS 50024 HAS SOUPS 50024 WITH SCORE 50096.516
AT ITER 3160 NEW BEST:: SOT 205050 SOS 72516 HAS SOPS 72516 HAS SOUS 50003 HAS SOUPS 50003 WITH SCORE 50075.516
AT ITER 3176 NEW BEST:: SOT 204997 SOS 72440 HAS SOPS 72440 HAS SOUS 49950 HAS SOUPS 49950 WITH SCORE 50022.44
AT ITER 3182 NEW BEST:: SOT 204963 SOS 72469 HAS SOPS 72469 HAS SOUS 49916 HAS SOUPS 49916 WITH SCORE 49988.469
AT ITER 3201 NEW BEST:: SOT 204961 SOS 72429 HAS SOPS 72429 HAS SOUS 49876 HAS SOUPS 49876 WITH SCORE 49948.429
AT ITER 3231 NEW BEST:: SOT 204941 SOS 72409 HAS SOPS 72409 HAS SOUS 49876 HAS SOUPS 49876 WITH SCORE 49948.409
AT ITER 3242 NEW BEST:: SOT 204915 SOS 72387 HAS SOPS 72387 HAS SOUS 49854 HAS SOUPS 49854 WITH SCORE 49926.387
AT ITER 3250 NEW BEST:: SOT 204849 SOS 72215 HAS SOPS 72215 HAS SOUS 49794 HAS SOUPS 49794 WITH SCORE 49866.215
AT ITER 3257 NEW BEST:: SOT 204702 SOS 72069 HAS SOPS 72069 HAS SOUS 49780 HAS SOUPS 49780 WITH SCORE 49852.069
AT ITER 3264 NEW BEST:: SOT 204680 SOS 72047 HAS SOPS 72047 HAS SOUS 49758 HAS SOUPS 49758 WITH SCORE 49830.047
AT ITER 3271 NEW BEST:: SOT 204668 SOS 72023 HAS SOPS 72023 HAS SOUS 49734 HAS SOUPS 49734 WITH SCORE 49806.023
AT ITER 3272 NEW BEST:: SOT 204577 SOS 72030 HAS SOPS 72030 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49762.03
AT ITER 3286 NEW BEST:: SOT 204556 SOS 72009 HAS SOPS 72009 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49741.009
AT ITER 3295 NEW BEST:: SOT 204548 SOS 71981 HAS SOPS 71981 HAS SOUS 49641 HAS SOUPS 49641 WITH SCORE 49712.981
AT ITER 3297 NEW BEST:: SOT 204510 SOS 71943 HAS SOPS 71943 HAS SOUS 49603 HAS SOUPS 49603 WITH SCORE 49674.943
AT ITER 3321 NEW BEST:: SOT 204225 SOS 71421 HAS SOPS 71421 HAS SOUS 49240 HAS SOUPS 49240 WITH SCORE 49311.421
AT ITER 3336 NEW BEST:: SOT 204235 SOS 71378 HAS SOPS 71378 HAS SOUS 49197 HAS SOUPS 49197 WITH SCORE 49268.378
AT ITER 3369 NEW BEST:: SOT 204231 SOS 71498 HAS SOPS 71498 HAS SOUS 49193 HAS SOUPS 49193 WITH SCORE 49264.498
AT ITER 3373 NEW BEST:: SOT 204260 SOS 71556 HAS SOPS 71556 HAS SOUS 49184 HAS SOUPS 49184 WITH SCORE 49255.556
AT ITER 3413 NEW BEST:: SOT 204248 SOS 71532 HAS SOPS 71532 HAS SOUS 49160 HAS SOUPS 49160 WITH SCORE 49231.532
AT ITER 3421 NEW BEST:: SOT 204257 SOS 71430 HAS SOPS 71430 HAS SOUS 49063 HAS SOUPS 49063 WITH SCORE 49134.43
AT ITER 3426 NEW BEST:: SOT 204264 SOS 71339 HAS SOPS 71339 HAS SOUS 48972 HAS SOUPS 48972 WITH SCORE 49043.339
AT ITER 3454 NEW BEST:: SOT 204195 SOS 71213 HAS SOPS 71213 HAS SOUS 48949 HAS SOUPS 48949 WITH SCORE 49020.213
AT ITER 3461 NEW BEST:: SOT 204195 SOS 71083 HAS SOPS 71083 HAS SOUS 48819 HAS SOUPS 48819 WITH SCORE 48890.083
AT ITER 3489 NEW BEST:: SOT 204107 SOS 70995 HAS SOPS 70995 HAS SOUS 48731 HAS SOUPS 48731 WITH SCORE 48801.995
AT ITER 3498 NEW BEST:: SOT 204124 SOS 71012 HAS SOPS 71012 HAS SOUS 48620 HAS SOUPS 48620 WITH SCORE 48691.012
AT ITER 3501 NEW BEST:: SOT 204144 SOS 70975 HAS SOPS 70975 HAS SOUS 48583 HAS SOUPS 48583 WITH SCORE 48653.975
AT ITER 3512 NEW BEST:: SOT 204093 SOS 70933 HAS SOPS 70933 HAS SOUS 48541 HAS SOUPS 48541 WITH SCORE 48611.933
AT ITER 3517 NEW BEST:: SOT 204093 SOS 70923 HAS SOPS 70923 HAS SOUS 48531 HAS SOUPS 48531 WITH SCORE 48601.923
AT ITER 3524 NEW BEST:: SOT 204093 SOS 70923 HAS SOPS 70923 HAS SOUS 48464 HAS SOUPS 48464 WITH SCORE 48534.923
AT ITER 3534 NEW BEST:: SOT 204093 SOS 70899 HAS SOPS 70899 HAS SOUS 48462 HAS SOUPS 48462 WITH SCORE 48532.899
AT ITER 3556 NEW BEST:: SOT 204043 SOS 70799 HAS SOPS 70799 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48490.799
AT ITER 3563 NEW BEST:: SOT 203998 SOS 70727 HAS SOPS 70727 HAS SOUS 48348 HAS SOUPS 48348 WITH SCORE 48418.727
AT ITER 3580 NEW BEST:: SOT 203975 SOS 70717 HAS SOPS 70717 HAS SOUS 48338 HAS SOUPS 48338 WITH SCORE 48408.717
AT ITER 3596 NEW BEST:: SOT 203905 SOS 70647 HAS SOPS 70647 HAS SOUS 48268 HAS SOUPS 48268 WITH SCORE 48338.647
AT ITER 3605 NEW BEST:: SOT 203904 SOS 70639 HAS SOPS 70639 HAS SOUS 48260 HAS SOUPS 48260 WITH SCORE 48330.639
AT ITER 3628 NEW BEST:: SOT 203900 SOS 70635 HAS SOPS 70635 HAS SOUS 48256 HAS SOUPS 48256 WITH SCORE 48326.635
AT ITER 3652 NEW BEST:: SOT 203840 SOS 70581 HAS SOPS 70581 HAS SOUS 48199 HAS SOUPS 48199 WITH SCORE 48269.581
AT ITER 3679 NEW BEST:: SOT 203848 SOS 70506 HAS SOPS 70506 HAS SOUS 48124 HAS SOUPS 48124 WITH SCORE 48194.506
AT ITER 3699 NEW BEST:: SOT 203910 SOS 70442 HAS SOPS 70442 HAS SOUS 48060 HAS SOUPS 48060 WITH SCORE 48130.442
AT ITER 3714 NEW BEST:: SOT 203764 SOS 70251 HAS SOPS 70251 HAS SOUS 47970 HAS SOUPS 47970 WITH SCORE 48040.251
AT ITER 3726 NEW BEST:: SOT 203667 SOS 70154 HAS SOPS 70154 HAS SOUS 47873 HAS SOUPS 47873 WITH SCORE 47943.154
AT ITER 3730 NEW BEST:: SOT 203659 SOS 70146 HAS SOPS 70146 HAS SOUS 47859 HAS SOUPS 47859 WITH SCORE 47929.146
AT ITER 3732 NEW BEST:: SOT 203550 SOS 70009 HAS SOPS 70009 HAS SOUS 47791 HAS SOUPS 47791 WITH SCORE 47861.009
AT ITER 3751 NEW BEST:: SOT 203521 SOS 69944 HAS SOPS 69944 HAS SOUS 47726 HAS SOUPS 47726 WITH SCORE 47795.944
AT ITER 3757 NEW BEST:: SOT 203437 SOS 69908 HAS SOPS 69908 HAS SOUS 47690 HAS SOUPS 47690 WITH SCORE 47759.908
AT ITER 3765 NEW BEST:: SOT 203297 SOS 69710 HAS SOPS 69710 HAS SOUS 47492 HAS SOUPS 47492 WITH SCORE 47561.71
AT ITER 3793 NEW BEST:: SOT 203203 SOS 69625 HAS SOPS 69625 HAS SOUS 47407 HAS SOUPS 47407 WITH SCORE 47476.625
AT ITER 3810 NEW BEST:: SOT 203201 SOS 69606 HAS SOPS 69606 HAS SOUS 47388 HAS SOUPS 47388 WITH SCORE 47457.606
AT ITER 3818 NEW BEST:: SOT 203110 SOS 69334 HAS SOPS 69334 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47186.334
AT ITER 3860 NEW BEST:: SOT 203125 SOS 69349 HAS SOPS 69349 HAS SOUS 47110 HAS SOUPS 47110 WITH SCORE 47179.349
AT ITER 3891 NEW BEST:: SOT 203095 SOS 69259 HAS SOPS 69259 HAS SOUS 47065 HAS SOUPS 47065 WITH SCORE 47134.259
AT ITER 3910 NEW BEST:: SOT 203059 SOS 69223 HAS SOPS 69223 HAS SOUS 47051 HAS SOUPS 47051 WITH SCORE 47120.223
AT ITER 3921 NEW BEST:: SOT 203040 SOS 69185 HAS SOPS 69185 HAS SOUS 47013 HAS SOUPS 47013 WITH SCORE 47082.185
AT ITER 3954 NEW BEST:: SOT 203040 SOS 69164 HAS SOPS 69164 HAS SOUS 46992 HAS SOUPS 46992 WITH SCORE 47061.164
AT ITER 3963 NEW BEST:: SOT 203040 SOS 69098 HAS SOPS 69098 HAS SOUS 46971 HAS SOUPS 46971 WITH SCORE 47040.098
AT ITER 4000 NEW BEST:: SOT 202951 SOS 68959 HAS SOPS 68959 HAS SOUS 46950 HAS SOUPS 46950 WITH SCORE 47018.959
AT ITER 4026 NEW BEST:: SOT 202951 SOS 68959 HAS SOPS 68959 HAS SOUS 46927 HAS SOUPS 46927 WITH SCORE 46995.959
AT ITER 4083 NEW BEST:: SOT 202935 SOS 68927 HAS SOPS 68927 HAS SOUS 46895 HAS SOUPS 46895 WITH SCORE 46963.927
AT ITER 4090 NEW BEST:: SOT 202921 SOS 68885 HAS SOPS 68885 HAS SOUS 46853 HAS SOUPS 46853 WITH SCORE 46921.885
AT ITER 4107 NEW BEST:: SOT 202936 SOS 68959 HAS SOPS 68959 HAS SOUS 46816 HAS SOUPS 46816 WITH SCORE 46884.959
AT ITER 4109 NEW BEST:: SOT 202930 SOS 68949 HAS SOPS 68949 HAS SOUS 46806 HAS SOUPS 46806 WITH SCORE 46874.949
AT ITER 4139 NEW BEST:: SOT 202930 SOS 68940 HAS SOPS 68940 HAS SOUS 46797 HAS SOUPS 46797 WITH SCORE 46865.94
AT ITER 4147 NEW BEST:: SOT 202928 SOS 68978 HAS SOPS 68978 HAS SOUS 46779 HAS SOUPS 46779 WITH SCORE 46847.978
AT ITER 4168 NEW BEST:: SOT 202880 SOS 68930 HAS SOPS 68930 HAS SOUS 46779 HAS SOUPS 46779 WITH SCORE 46847.93
AT ITER 4173 NEW BEST:: SOT 202880 SOS 68934 HAS SOPS 68934 HAS SOUS 46776 HAS SOUPS 46776 WITH SCORE 46844.934
AT ITER 4174 NEW BEST:: SOT 202879 SOS 68870 HAS SOPS 68870 HAS SOUS 46767 HAS SOUPS 46767 WITH SCORE 46835.87
AT ITER 4229 NEW BEST:: SOT 202853 SOS 68850 HAS SOPS 68850 HAS SOUS 46747 HAS SOUPS 46747 WITH SCORE 46815.85
AT ITER 4238 NEW BEST:: SOT 202861 SOS 68851 HAS SOPS 68851 HAS SOUS 46733 HAS SOUPS 46733 WITH SCORE 46801.851
AT ITER 4266 NEW BEST:: SOT 202842 SOS 68760 HAS SOPS 68760 HAS SOUS 46656 HAS SOUPS 46656 WITH SCORE 46724.76
AT ITER 4271 NEW BEST:: SOT 202787 SOS 68458 HAS SOPS 68458 HAS SOUS 46575 HAS SOUPS 46575 WITH SCORE 46643.458
AT ITER 4281 NEW BEST:: SOT 202823 SOS 68446 HAS SOPS 68446 HAS SOUS 46566 HAS SOUPS 46566 WITH SCORE 46634.446
AT ITER 4316 NEW BEST:: SOT 202813 SOS 68454 HAS SOPS 68454 HAS SOUS 46563 HAS SOUPS 46563 WITH SCORE 46631.454
AT ITER 4356 NEW BEST:: SOT 202813 SOS 68451 HAS SOPS 68451 HAS SOUS 46560 HAS SOUPS 46560 WITH SCORE 46628.451
AT ITER 4361 NEW BEST:: SOT 202801 SOS 68427 HAS SOPS 68427 HAS SOUS 46548 HAS SOUPS 46548 WITH SCORE 46616.427
AT ITER 4374 NEW BEST:: SOT 202794 SOS 68413 HAS SOPS 68413 HAS SOUS 46542 HAS SOUPS 46542 WITH SCORE 46610.413
AT ITER 4388 NEW BEST:: SOT 202796 SOS 68405 HAS SOPS 68405 HAS SOUS 46534 HAS SOUPS 46534 WITH SCORE 46602.405
AT ITER 4393 NEW BEST:: SOT 202787 SOS 68394 HAS SOPS 68394 HAS SOUS 46502 HAS SOUPS 46502 WITH SCORE 46570.394
AT ITER 4398 NEW BEST:: SOT 202784 SOS 68388 HAS SOPS 68388 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46564.388
AT ITER 4403 NEW BEST:: SOT 202768 SOS 68356 HAS SOPS 68356 HAS SOUS 46411 HAS SOUPS 46411 WITH SCORE 46479.356
AT ITER 4410 NEW BEST:: SOT 202750 SOS 68311 HAS SOPS 68311 HAS SOUS 46401 HAS SOUPS 46401 WITH SCORE 46469.311
AT ITER 4411 NEW BEST:: SOT 202746 SOS 68307 HAS SOPS 68307 HAS SOUS 46397 HAS SOUPS 46397 WITH SCORE 46465.307
AT ITER 4437 NEW BEST:: SOT 202738 SOS 68287 HAS SOPS 68287 HAS SOUS 46389 HAS SOUPS 46389 WITH SCORE 46457.287
AT ITER 4520 NEW BEST:: SOT 202733 SOS 68282 HAS SOPS 68282 HAS SOUS 46384 HAS SOUPS 46384 WITH SCORE 46452.282
AT ITER 4530 NEW BEST:: SOT 202732 SOS 68280 HAS SOPS 68280 HAS SOUS 46382 HAS SOUPS 46382 WITH SCORE 46450.28
AT ITER 4598 NEW BEST:: SOT 202947 SOS 68431 HAS SOPS 68431 HAS SOUS 46343 HAS SOUPS 46343 WITH SCORE 46411.431
AT ITER 4599 NEW BEST:: SOT 202951 SOS 68386 HAS SOPS 68386 HAS SOUS 46298 HAS SOUPS 46298 WITH SCORE 46366.386
AT ITER 4631 NEW BEST:: SOT 202891 SOS 68197 HAS SOPS 68197 HAS SOUS 46109 HAS SOUPS 46109 WITH SCORE 46177.197
AT ITER 4674 NEW BEST:: SOT 202857 SOS 68163 HAS SOPS 68163 HAS SOUS 46041 HAS SOUPS 46041 WITH SCORE 46109.163
AT ITER 4707 NEW BEST:: SOT 202783 SOS 68089 HAS SOPS 68089 HAS SOUS 45967 HAS SOUPS 45967 WITH SCORE 46035.089
AT ITER 4888 NEW BEST:: SOT 202697 SOS 67917 HAS SOPS 67917 HAS SOUS 45908 HAS SOUPS 45908 WITH SCORE 45975.917
AT ITER 4910 NEW BEST:: SOT 202814 SOS 68032 HAS SOPS 68032 HAS SOUS 45892 HAS SOUPS 45892 WITH SCORE 45960.032
AT ITER 4914 NEW BEST:: SOT 202830 SOS 67968 HAS SOPS 67968 HAS SOUS 45732 HAS SOUPS 45732 WITH SCORE 45799.968
AT ITER 4921 NEW BEST:: SOT 202823 SOS 67913 HAS SOPS 67913 HAS SOUS 45670 HAS SOUPS 45670 WITH SCORE 45737.913
AT ITER 4923 NEW BEST:: SOT 202823 SOS 67825 HAS SOPS 67825 HAS SOUS 45582 HAS SOUPS 45582 WITH SCORE 45649.825
AT ITER 4968 NEW BEST:: SOT 202805 SOS 67818 HAS SOPS 67818 HAS SOUS 45575 HAS SOUPS 45575 WITH SCORE 45642.818
AT ITER 4975 NEW BEST:: SOT 202805 SOS 67799 HAS SOPS 67799 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45604.799
AT ITER 4986 NEW BEST:: SOT 202800 SOS 67794 HAS SOPS 67794 HAS SOUS 45532 HAS SOUPS 45532 WITH SCORE 45599.794
AT ITER 4988 NEW BEST:: SOT 202809 SOS 67812 HAS SOPS 67812 HAS SOUS 45507 HAS SOUPS 45507 WITH SCORE 45574.812
AT ITER 4991 NEW BEST:: SOT 202809 SOS 67812 HAS SOPS 67812 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45569.812
AT ITER 4998 NEW BEST:: SOT 202761 SOS 67725 HAS SOPS 67725 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45482.725
AT ITER 5002 NEW BEST:: SOT 202715 SOS 67692 HAS SOPS 67692 HAS SOUS 45382 HAS SOUPS 45382 WITH SCORE 45449.692
AT ITER 5041 NEW BEST:: SOT 202676 SOS 67643 HAS SOPS 67643 HAS SOUS 45333 HAS SOUPS 45333 WITH SCORE 45400.643
AT ITER 5045 NEW BEST:: SOT 202661 SOS 67642 HAS SOPS 67642 HAS SOUS 45332 HAS SOUPS 45332 WITH SCORE 45399.642
AT ITER 5054 NEW BEST:: SOT 202644 SOS 67626 HAS SOPS 67626 HAS SOUS 45325 HAS SOUPS 45325 WITH SCORE 45392.626
AT ITER 5069 NEW BEST:: SOT 202642 SOS 67624 HAS SOPS 67624 HAS SOUS 45323 HAS SOUPS 45323 WITH SCORE 45390.624
AT ITER 5095 NEW BEST:: SOT 202612 SOS 67602 HAS SOPS 67602 HAS SOUS 45301 HAS SOUPS 45301 WITH SCORE 45368.602
AT ITER 5102 NEW BEST:: SOT 202589 SOS 67492 HAS SOPS 67492 HAS SOUS 45295 HAS SOUPS 45295 WITH SCORE 45362.492
AT ITER 5112 NEW BEST:: SOT 202589 SOS 67492 HAS SOPS 67492 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45357.492
AT ITER 5114 NEW BEST:: SOT 202654 SOS 67489 HAS SOPS 67489 HAS SOUS 45290 HAS SOUPS 45290 WITH SCORE 45357.489
AT ITER 5171 NEW BEST:: SOT 202652 SOS 67487 HAS SOPS 67487 HAS SOUS 45288 HAS SOUPS 45288 WITH SCORE 45355.487
AT ITER 5179 NEW BEST:: SOT 202630 SOS 67463 HAS SOPS 67463 HAS SOUS 45284 HAS SOUPS 45284 WITH SCORE 45351.463
AT ITER 5229 NEW BEST:: SOT 202625 SOS 67406 HAS SOPS 67406 HAS SOUS 45227 HAS SOUPS 45227 WITH SCORE 45294.406
AT ITER 5239 NEW BEST:: SOT 202553 SOS 67372 HAS SOPS 67372 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45260.372
AT ITER 5282 NEW BEST:: SOT 202553 SOS 67277 HAS SOPS 67277 HAS SOUS 45154 HAS SOUPS 45154 WITH SCORE 45221.277
AT ITER 5308 NEW BEST:: SOT 202542 SOS 67255 HAS SOPS 67255 HAS SOUS 45115 HAS SOUPS 45115 WITH SCORE 45182.255
AT ITER 5333 NEW BEST:: SOT 202542 SOS 67213 HAS SOPS 67213 HAS SOUS 45073 HAS SOUPS 45073 WITH SCORE 45140.213
AT ITER 5335 NEW BEST:: SOT 202526 SOS 67197 HAS SOPS 67197 HAS SOUS 45057 HAS SOUPS 45057 WITH SCORE 45124.197
AT ITER 5349 NEW BEST:: SOT 202519 SOS 67183 HAS SOPS 67183 HAS SOUS 45043 HAS SOUPS 45043 WITH SCORE 45110.183
AT ITER 5389 NEW BEST:: SOT 202526 SOS 67213 HAS SOPS 67213 HAS SOUS 45000 HAS SOUPS 45000 WITH SCORE 45067.213
AT ITER 5395 NEW BEST:: SOT 202489 SOS 67139 HAS SOPS 67139 HAS SOUS 44974 HAS SOUPS 44974 WITH SCORE 45041.139
AT ITER 5406 NEW BEST:: SOT 202496 SOS 67130 HAS SOPS 67130 HAS SOUS 44965 HAS SOUPS 44965 WITH SCORE 45032.13
AT ITER 5411 NEW BEST:: SOT 202482 SOS 67093 HAS SOPS 67093 HAS SOUS 44891 HAS SOUPS 44891 WITH SCORE 44958.093
AT ITER 5439 NEW BEST:: SOT 202476 SOS 67093 HAS SOPS 67093 HAS SOUS 44885 HAS SOUPS 44885 WITH SCORE 44952.093
AT ITER 5453 NEW BEST:: SOT 202410 SOS 67018 HAS SOPS 67018 HAS SOUS 44810 HAS SOUPS 44810 WITH SCORE 44877.018
AT ITER 5468 NEW BEST:: SOT 202410 SOS 67003 HAS SOPS 67003 HAS SOUS 44795 HAS SOUPS 44795 WITH SCORE 44862.003
AT ITER 5469 NEW BEST:: SOT 202407 SOS 66997 HAS SOPS 66997 HAS SOUS 44789 HAS SOUPS 44789 WITH SCORE 44855.997
AT ITER 5474 NEW BEST:: SOT 202406 SOS 66996 HAS SOPS 66996 HAS SOUS 44788 HAS SOUPS 44788 WITH SCORE 44854.996
AT ITER 5481 NEW BEST:: SOT 202405 SOS 66994 HAS SOPS 66994 HAS SOUS 44786 HAS SOUPS 44786 WITH SCORE 44852.994
AT ITER 5498 NEW BEST:: SOT 202399 SOS 66982 HAS SOPS 66982 HAS SOUS 44774 HAS SOUPS 44774 WITH SCORE 44840.982
AT ITER 5510 NEW BEST:: SOT 202399 SOS 66982 HAS SOPS 66982 HAS SOUS 44770 HAS SOUPS 44770 WITH SCORE 44836.982
AT ITER 5531 NEW BEST:: SOT 202426 SOS 66965 HAS SOPS 66965 HAS SOUS 44753 HAS SOUPS 44753 WITH SCORE 44819.965
AT ITER 5536 NEW BEST:: SOT 202426 SOS 66961 HAS SOPS 66961 HAS SOUS 44745 HAS SOUPS 44745 WITH SCORE 44811.961
AT ITER 5541 NEW BEST:: SOT 202426 SOS 66961 HAS SOPS 66961 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44760.961
AT ITER 5544 NEW BEST:: SOT 202414 SOS 66948 HAS SOPS 66948 HAS SOUS 44681 HAS SOUPS 44681 WITH SCORE 44747.948
AT ITER 5565 NEW BEST:: SOT 202418 SOS 66947 HAS SOPS 66947 HAS SOUS 44680 HAS SOUPS 44680 WITH SCORE 44746.947
AT ITER 5579 NEW BEST:: SOT 202407 SOS 66925 HAS SOPS 66925 HAS SOUS 44658 HAS SOUPS 44658 WITH SCORE 44724.925
AT ITER 5590 NEW BEST:: SOT 202372 SOS 66889 HAS SOPS 66889 HAS SOUS 44622 HAS SOUPS 44622 WITH SCORE 44688.889
AT ITER 5602 NEW BEST:: SOT 202327 SOS 66830 HAS SOPS 66830 HAS SOUS 44563 HAS SOUPS 44563 WITH SCORE 44629.83
AT ITER 5604 NEW BEST:: SOT 202331 SOS 66838 HAS SOPS 66838 HAS SOUS 44562 HAS SOUPS 44562 WITH SCORE 44628.838
AT ITER 5632 NEW BEST:: SOT 202230 SOS 66774 HAS SOPS 66774 HAS SOUS 44498 HAS SOUPS 44498 WITH SCORE 44564.774
AT ITER 5633 NEW BEST:: SOT 202230 SOS 66733 HAS SOPS 66733 HAS SOUS 44498 HAS SOUPS 44498 WITH SCORE 44564.733
AT ITER 5718 NEW BEST:: SOT 202204 SOS 66735 HAS SOPS 66735 HAS SOUS 44496 HAS SOUPS 44496 WITH SCORE 44562.735
AT ITER 5734 NEW BEST:: SOT 202204 SOS 66648 HAS SOPS 66648 HAS SOUS 44496 HAS SOUPS 44496 WITH SCORE 44562.648
AT ITER 5781 NEW BEST:: SOT 202285 SOS 66699 HAS SOPS 66699 HAS SOUS 44491 HAS SOUPS 44491 WITH SCORE 44557.699
AT ITER 5799 NEW BEST:: SOT 202266 SOS 66680 HAS SOPS 66680 HAS SOUS 44463 HAS SOUPS 44463 WITH SCORE 44529.68
AT ITER 5807 NEW BEST:: SOT 202214 SOS 66576 HAS SOPS 66576 HAS SOUS 44420 HAS SOUPS 44420 WITH SCORE 44486.576
AT ITER 5811 NEW BEST:: SOT 202207 SOS 66562 HAS SOPS 66562 HAS SOUS 44416 HAS SOUPS 44416 WITH SCORE 44482.562
AT ITER 5845 NEW BEST:: SOT 202165 SOS 66550 HAS SOPS 66550 HAS SOUS 44404 HAS SOUPS 44404 WITH SCORE 44470.55
AT ITER 5876 NEW BEST:: SOT 202142 SOS 66504 HAS SOPS 66504 HAS SOUS 44404 HAS SOUPS 44404 WITH SCORE 44470.504
AT ITER 5883 NEW BEST:: SOT 202085 SOS 66447 HAS SOPS 66447 HAS SOUS 44347 HAS SOUPS 44347 WITH SCORE 44413.447
AT ITER 5886 NEW BEST:: SOT 202085 SOS 66402 HAS SOPS 66402 HAS SOUS 44302 HAS SOUPS 44302 WITH SCORE 44368.402
AT ITER 5899 NEW BEST:: SOT 202085 SOS 66395 HAS SOPS 66395 HAS SOUS 44295 HAS SOUPS 44295 WITH SCORE 44361.395
AT ITER 5943 NEW BEST:: SOT 202085 SOS 66349 HAS SOPS 66349 HAS SOUS 44295 HAS SOUPS 44295 WITH SCORE 44361.349
AT ITER 5977 NEW BEST:: SOT 202082 SOS 66342 HAS SOPS 66342 HAS SOUS 44288 HAS SOUPS 44288 WITH SCORE 44354.342
AT ITER 5999 NEW BEST:: SOT 202083 SOS 66330 HAS SOPS 66330 HAS SOUS 44276 HAS SOUPS 44276 WITH SCORE 44342.33
AT ITER 6007 NEW BEST:: SOT 202070 SOS 66261 HAS SOPS 66261 HAS SOUS 44263 HAS SOUPS 44263 WITH SCORE 44329.261
AT ITER 6009 NEW BEST:: SOT 202069 SOS 66259 HAS SOPS 66259 HAS SOUS 44261 HAS SOUPS 44261 WITH SCORE 44327.259
AT ITER 6026 NEW BEST:: SOT 202046 SOS 66254 HAS SOPS 66254 HAS SOUS 44214 HAS SOUPS 44214 WITH SCORE 44280.254
AT ITER 6064 NEW BEST:: SOT 202052 SOS 66245 HAS SOPS 66245 HAS SOUS 44205 HAS SOUPS 44205 WITH SCORE 44271.245
AT ITER 6080 NEW BEST:: SOT 202039 SOS 66232 HAS SOPS 66232 HAS SOUS 44205 HAS SOUPS 44205 WITH SCORE 44271.232
AT ITER 6093 NEW BEST:: SOT 202039 SOS 66192 HAS SOPS 66192 HAS SOUS 44165 HAS SOUPS 44165 WITH SCORE 44231.192
AT ITER 6144 NEW BEST:: SOT 201978 SOS 66127 HAS SOPS 66127 HAS SOUS 44100 HAS SOUPS 44100 WITH SCORE 44166.127
AT ITER 6156 NEW BEST:: SOT 201882 SOS 66039 HAS SOPS 66039 HAS SOUS 44012 HAS SOUPS 44012 WITH SCORE 44078.039
AT ITER 6171 NEW BEST:: SOT 201899 SOS 66126 HAS SOPS 66126 HAS SOUS 43992 HAS SOUPS 43992 WITH SCORE 44058.126
AT ITER 6180 NEW BEST:: SOT 201877 SOS 66060 HAS SOPS 66060 HAS SOUS 43926 HAS SOUPS 43926 WITH SCORE 43992.06
AT ITER 6192 NEW BEST:: SOT 201867 SOS 66040 HAS SOPS 66040 HAS SOUS 43916 HAS SOUPS 43916 WITH SCORE 43982.04
AT ITER 6211 NEW BEST:: SOT 201867 SOS 66009 HAS SOPS 66009 HAS SOUS 43885 HAS SOUPS 43885 WITH SCORE 43951.009
AT ITER 6214 NEW BEST:: SOT 201867 SOS 66009 HAS SOPS 66009 HAS SOUS 43879 HAS SOUPS 43879 WITH SCORE 43945.009
AT ITER 6236 NEW BEST:: SOT 201820 SOS 66215 HAS SOPS 66215 HAS SOUS 43852 HAS SOUPS 43852 WITH SCORE 43918.215
AT ITER 6237 NEW BEST:: SOT 201784 SOS 66176 HAS SOPS 66176 HAS SOUS 43846 HAS SOUPS 43846 WITH SCORE 43912.176
AT ITER 6262 NEW BEST:: SOT 201755 SOS 66098 HAS SOPS 66098 HAS SOUS 43797 HAS SOUPS 43797 WITH SCORE 43863.098
AT ITER 6287 NEW BEST:: SOT 201712 SOS 66037 HAS SOPS 66037 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43802.037
AT ITER 6297 NEW BEST:: SOT 201686 SOS 66000 HAS SOPS 66000 HAS SOUS 43699 HAS SOUPS 43699 WITH SCORE 43765.0
AT ITER 6304 NEW BEST:: SOT 201532 SOS 65752 HAS SOPS 65752 HAS SOUS 43637 HAS SOUPS 43637 WITH SCORE 43702.752
AT ITER 6317 NEW BEST:: SOT 201399 SOS 65634 HAS SOPS 65634 HAS SOUS 43519 HAS SOUPS 43519 WITH SCORE 43584.634
AT ITER 6325 NEW BEST:: SOT 201381 SOS 65447 HAS SOPS 65447 HAS SOUS 43396 HAS SOUPS 43396 WITH SCORE 43461.447
AT ITER 6332 NEW BEST:: SOT 201488 SOS 65391 HAS SOPS 65391 HAS SOUS 43340 HAS SOUPS 43340 WITH SCORE 43405.391
AT ITER 6351 NEW BEST:: SOT 201308 SOS 65251 HAS SOPS 65251 HAS SOUS 43315 HAS SOUPS 43315 WITH SCORE 43380.251
AT ITER 6357 NEW BEST:: SOT 201313 SOS 65109 HAS SOPS 65109 HAS SOUS 43252 HAS SOUPS 43252 WITH SCORE 43317.109
AT ITER 6361 NEW BEST:: SOT 201312 SOS 65120 HAS SOPS 65120 HAS SOUS 43250 HAS SOUPS 43250 WITH SCORE 43315.12
AT ITER 6367 NEW BEST:: SOT 201301 SOS 65087 HAS SOPS 65087 HAS SOUS 43228 HAS SOUPS 43228 WITH SCORE 43293.087
AT ITER 6377 NEW BEST:: SOT 201305 SOS 65062 HAS SOPS 65062 HAS SOUS 43203 HAS SOUPS 43203 WITH SCORE 43268.062
AT ITER 6379 NEW BEST:: SOT 201285 SOS 65042 HAS SOPS 65042 HAS SOUS 43203 HAS SOUPS 43203 WITH SCORE 43268.042
AT ITER 6389 NEW BEST:: SOT 201148 SOS 64905 HAS SOPS 64905 HAS SOUS 43139 HAS SOUPS 43139 WITH SCORE 43203.905
AT ITER 6419 NEW BEST:: SOT 201046 SOS 64719 HAS SOPS 64719 HAS SOUS 42953 HAS SOUPS 42953 WITH SCORE 43017.719
AT ITER 6429 NEW BEST:: SOT 200979 SOS 64765 HAS SOPS 64765 HAS SOUS 42886 HAS SOUPS 42886 WITH SCORE 42950.765
AT ITER 6433 NEW BEST:: SOT 200982 SOS 64614 HAS SOPS 64614 HAS SOUS 42876 HAS SOUPS 42876 WITH SCORE 42940.614
AT ITER 6440 NEW BEST:: SOT 200988 SOS 64525 HAS SOPS 64525 HAS SOUS 42872 HAS SOUPS 42872 WITH SCORE 42936.525
AT ITER 6461 NEW BEST:: SOT 201263 SOS 64809 HAS SOPS 64809 HAS SOUS 42846 HAS SOUPS 42846 WITH SCORE 42910.809
AT ITER 6473 NEW BEST:: SOT 201255 SOS 64797 HAS SOPS 64797 HAS SOUS 42838 HAS SOUPS 42838 WITH SCORE 42902.797
AT ITER 6549 NEW BEST:: SOT 201220 SOS 64727 HAS SOPS 64727 HAS SOUS 42768 HAS SOUPS 42768 WITH SCORE 42832.727
AT ITER 6555 NEW BEST:: SOT 201215 SOS 64731 HAS SOPS 64731 HAS SOUS 42758 HAS SOUPS 42758 WITH SCORE 42822.731
AT ITER 6559 NEW BEST:: SOT 201136 SOS 64593 HAS SOPS 64593 HAS SOUS 42699 HAS SOUPS 42699 WITH SCORE 42763.593
AT ITER 6583 NEW BEST:: SOT 201136 SOS 64593 HAS SOPS 64593 HAS SOUS 42686 HAS SOUPS 42686 WITH SCORE 42750.593
AT ITER 6588 NEW BEST:: SOT 201048 SOS 64511 HAS SOPS 64511 HAS SOUS 42604 HAS SOUPS 42604 WITH SCORE 42668.511
AT ITER 6595 NEW BEST:: SOT 201038 SOS 64511 HAS SOPS 64511 HAS SOUS 42594 HAS SOUPS 42594 WITH SCORE 42658.511
AT ITER 6631 NEW BEST:: SOT 200623 SOS 64164 HAS SOPS 64164 HAS SOUS 42215 HAS SOUPS 42215 WITH SCORE 42279.164
AT ITER 6650 NEW BEST:: SOT 200515 SOS 64056 HAS SOPS 64056 HAS SOUS 42215 HAS SOUPS 42215 WITH SCORE 42279.056
AT ITER 6705 NEW BEST:: SOT 200509 SOS 64044 HAS SOPS 64044 HAS SOUS 42203 HAS SOUPS 42203 WITH SCORE 42267.044
AT ITER 6714 NEW BEST:: SOT 200510 SOS 64032 HAS SOPS 64032 HAS SOUS 42190 HAS SOUPS 42190 WITH SCORE 42254.032
AT ITER 6821 NEW BEST:: SOT 200427 SOS 63949 HAS SOPS 63949 HAS SOUS 42024 HAS SOUPS 42024 WITH SCORE 42087.949
AT ITER 6824 NEW BEST:: SOT 200422 SOS 63944 HAS SOPS 63944 HAS SOUS 42019 HAS SOUPS 42019 WITH SCORE 42082.944
AT ITER 6930 NEW BEST:: SOT 200414 SOS 63928 HAS SOPS 63928 HAS SOUS 42003 HAS SOUPS 42003 WITH SCORE 42066.928
AT ITER 6939 NEW BEST:: SOT 200413 SOS 63927 HAS SOPS 63927 HAS SOUS 42001 HAS SOUPS 42001 WITH SCORE 42064.927
AT ITER 6947 NEW BEST:: SOT 200444 SOS 63908 HAS SOPS 63908 HAS SOUS 41931 HAS SOUPS 41931 WITH SCORE 41994.908
AT ITER 6962 NEW BEST:: SOT 200443 SOS 63901 HAS SOPS 63901 HAS SOUS 41924 HAS SOUPS 41924 WITH SCORE 41987.901
AT ITER 6969 NEW BEST:: SOT 200418 SOS 63876 HAS SOPS 63876 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 41962.876
AT ITER 7006 NEW BEST:: SOT 200390 SOS 63841 HAS SOPS 63841 HAS SOUS 41864 HAS SOUPS 41864 WITH SCORE 41927.841
AT ITER 7011 NEW BEST:: SOT 200386 SOS 63837 HAS SOPS 63837 HAS SOUS 41860 HAS SOUPS 41860 WITH SCORE 41923.837
AT ITER 7057 NEW BEST:: SOT 200385 SOS 63835 HAS SOPS 63835 HAS SOUS 41858 HAS SOUPS 41858 WITH SCORE 41921.835
AT ITER 7113 NEW BEST:: SOT 200394 SOS 63832 HAS SOPS 63832 HAS SOUS 41855 HAS SOUPS 41855 WITH SCORE 41918.832
AT ITER 7123 NEW BEST:: SOT 200296 SOS 63734 HAS SOPS 63734 HAS SOUS 41832 HAS SOUPS 41832 WITH SCORE 41895.734
AT ITER 7161 NEW BEST:: SOT 200284 SOS 63707 HAS SOPS 63707 HAS SOUS 41805 HAS SOUPS 41805 WITH SCORE 41868.707
AT ITER 7186 NEW BEST:: SOT 200321 SOS 63663 HAS SOPS 63663 HAS SOUS 41761 HAS SOUPS 41761 WITH SCORE 41824.663
AT ITER 7219 NEW BEST:: SOT 200324 SOS 63666 HAS SOPS 63666 HAS SOUS 41749 HAS SOUPS 41749 WITH SCORE 41812.666
AT ITER 7236 NEW BEST:: SOT 200324 SOS 63689 HAS SOPS 63689 HAS SOUS 41743 HAS SOUPS 41743 WITH SCORE 41806.689
AT ITER 7259 NEW BEST:: SOT 200168 SOS 63533 HAS SOPS 63533 HAS SOUS 41587 HAS SOUPS 41587 WITH SCORE 41650.533
AT ITER 7284 NEW BEST:: SOT 200157 SOS 63511 HAS SOPS 63511 HAS SOUS 41565 HAS SOUPS 41565 WITH SCORE 41628.511
AT ITER 7343 NEW BEST:: SOT 200154 SOS 63505 HAS SOPS 63505 HAS SOUS 41559 HAS SOUPS 41559 WITH SCORE 41622.505
AT ITER 7346 NEW BEST:: SOT 200135 SOS 63470 HAS SOPS 63470 HAS SOUS 41524 HAS SOUPS 41524 WITH SCORE 41587.47
AT ITER 7360 NEW BEST:: SOT 200117 SOS 63434 HAS SOPS 63434 HAS SOUS 41470 HAS SOUPS 41470 WITH SCORE 41533.434
AT ITER 7364 NEW BEST:: SOT 200117 SOS 63413 HAS SOPS 63413 HAS SOUS 41449 HAS SOUPS 41449 WITH SCORE 41512.413
AT ITER 7384 NEW BEST:: SOT 200110 SOS 63379 HAS SOPS 63379 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41490.379
AT ITER 7394 NEW BEST:: SOT 200082 SOS 63351 HAS SOPS 63351 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41490.351
AT ITER 7402 NEW BEST:: SOT 199960 SOS 63206 HAS SOPS 63206 HAS SOUS 41360 HAS SOUPS 41360 WITH SCORE 41423.206
AT ITER 7416 NEW BEST:: SOT 199942 SOS 63180 HAS SOPS 63180 HAS SOUS 41334 HAS SOUPS 41334 WITH SCORE 41397.18
AT ITER 7417 NEW BEST:: SOT 199968 SOS 63206 HAS SOPS 63206 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41377.206
AT ITER 7444 NEW BEST:: SOT 199936 SOS 63174 HAS SOPS 63174 HAS SOUS 41314 HAS SOUPS 41314 WITH SCORE 41377.174
AT ITER 7470 NEW BEST:: SOT 199904 SOS 63110 HAS SOPS 63110 HAS SOUS 41250 HAS SOUPS 41250 WITH SCORE 41313.11
AT ITER 7482 NEW BEST:: SOT 199904 SOS 63106 HAS SOPS 63106 HAS SOUS 41246 HAS SOUPS 41246 WITH SCORE 41309.106
AT ITER 7488 NEW BEST:: SOT 199907 SOS 63099 HAS SOPS 63099 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41302.099
AT ITER 7537 NEW BEST:: SOT 199907 SOS 63098 HAS SOPS 63098 HAS SOUS 41238 HAS SOUPS 41238 WITH SCORE 41301.098
AT ITER 7565 NEW BEST:: SOT 199881 SOS 63049 HAS SOPS 63049 HAS SOUS 41189 HAS SOUPS 41189 WITH SCORE 41252.049
AT ITER 7598 NEW BEST:: SOT 199874 SOS 63042 HAS SOPS 63042 HAS SOUS 41182 HAS SOUPS 41182 WITH SCORE 41245.042
AT ITER 7600 NEW BEST:: SOT 199840 SOS 63026 HAS SOPS 63026 HAS SOUS 41166 HAS SOUPS 41166 WITH SCORE 41229.026
AT ITER 7658 NEW BEST:: SOT 199898 SOS 63075 HAS SOPS 63075 HAS SOUS 41109 HAS SOUPS 41109 WITH SCORE 41172.075
AT ITER 7676 NEW BEST:: SOT 199899 SOS 63072 HAS SOPS 63072 HAS SOUS 41106 HAS SOUPS 41106 WITH SCORE 41169.072
AT ITER 7677 NEW BEST:: SOT 199732 SOS 62905 HAS SOPS 62905 HAS SOUS 40939 HAS SOUPS 40939 WITH SCORE 41001.905
AT ITER 7714 NEW BEST:: SOT 199789 SOS 63019 HAS SOPS 63019 HAS SOUS 40931 HAS SOUPS 40931 WITH SCORE 40994.019
AT ITER 7743 NEW BEST:: SOT 199781 SOS 62891 HAS SOPS 62891 HAS SOUS 40867 HAS SOUPS 40867 WITH SCORE 40929.891
AT ITER 7744 NEW BEST:: SOT 199737 SOS 62703 HAS SOPS 62703 HAS SOUS 40828 HAS SOUPS 40828 WITH SCORE 40890.703
AT ITER 7749 NEW BEST:: SOT 199737 SOS 62682 HAS SOPS 62682 HAS SOUS 40807 HAS SOUPS 40807 WITH SCORE 40869.682
AT ITER 7783 NEW BEST:: SOT 199709 SOS 62654 HAS SOPS 62654 HAS SOUS 40779 HAS SOUPS 40779 WITH SCORE 40841.654
AT ITER 7814 NEW BEST:: SOT 199670 SOS 62625 HAS SOPS 62625 HAS SOUS 40750 HAS SOUPS 40750 WITH SCORE 40812.625
AT ITER 7821 NEW BEST:: SOT 199609 SOS 62503 HAS SOPS 62503 HAS SOUS 40628 HAS SOUPS 40628 WITH SCORE 40690.503
AT ITER 7832 NEW BEST:: SOT 199609 SOS 62502 HAS SOPS 62502 HAS SOUS 40628 HAS SOUPS 40628 WITH SCORE 40690.502
AT ITER 7885 NEW BEST:: SOT 199593 SOS 62470 HAS SOPS 62470 HAS SOUS 40596 HAS SOUPS 40596 WITH SCORE 40658.47
AT ITER 7896 NEW BEST:: SOT 199586 SOS 62456 HAS SOPS 62456 HAS SOUS 40582 HAS SOUPS 40582 WITH SCORE 40644.456
AT ITER 7913 NEW BEST:: SOT 199578 SOS 62440 HAS SOPS 62440 HAS SOUS 40566 HAS SOUPS 40566 WITH SCORE 40628.44
AT ITER 7938 NEW BEST:: SOT 199579 SOS 62428 HAS SOPS 62428 HAS SOUS 40554 HAS SOUPS 40554 WITH SCORE 40616.428
AT ITER 7939 NEW BEST:: SOT 199562 SOS 62394 HAS SOPS 62394 HAS SOUS 40520 HAS SOUPS 40520 WITH SCORE 40582.394
AT ITER 7941 NEW BEST:: SOT 199541 SOS 62319 HAS SOPS 62319 HAS SOUS 40450 HAS SOUPS 40450 WITH SCORE 40512.319
AT ITER 7978 NEW BEST:: SOT 199637 SOS 62274 HAS SOPS 62274 HAS SOUS 40309 HAS SOUPS 40309 WITH SCORE 40371.274
AT ITER 8014 NEW BEST:: SOT 199648 SOS 62208 HAS SOPS 62208 HAS SOUS 40243 HAS SOUPS 40243 WITH SCORE 40305.208
AT ITER 8029 NEW BEST:: SOT 199687 SOS 62194 HAS SOPS 62194 HAS SOUS 40229 HAS SOUPS 40229 WITH SCORE 40291.194
AT ITER 8035 NEW BEST:: SOT 199661 SOS 62152 HAS SOPS 62152 HAS SOUS 40197 HAS SOUPS 40197 WITH SCORE 40259.152
AT ITER 8051 NEW BEST:: SOT 199651 SOS 62145 HAS SOPS 62145 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40252.145
AT ITER 8053 NEW BEST:: SOT 199651 SOS 62126 HAS SOPS 62126 HAS SOUS 40190 HAS SOUPS 40190 WITH SCORE 40252.126
AT ITER 8087 NEW BEST:: SOT 199630 SOS 62084 HAS SOPS 62084 HAS SOUS 40128 HAS SOUPS 40128 WITH SCORE 40190.084
AT ITER 8110 NEW BEST:: SOT 199599 SOS 62022 HAS SOPS 62022 HAS SOUS 40097 HAS SOUPS 40097 WITH SCORE 40159.022
AT ITER 8113 NEW BEST:: SOT 199530 SOS 61884 HAS SOPS 61884 HAS SOUS 39959 HAS SOUPS 39959 WITH SCORE 40020.884
AT ITER 8151 NEW BEST:: SOT 199519 SOS 61851 HAS SOPS 61851 HAS SOUS 39926 HAS SOUPS 39926 WITH SCORE 39987.851
AT ITER 8156 NEW BEST:: SOT 199512 SOS 61837 HAS SOPS 61837 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 39980.837
AT ITER 8166 NEW BEST:: SOT 199507 SOS 61827 HAS SOPS 61827 HAS SOUS 39909 HAS SOUPS 39909 WITH SCORE 39970.827
AT ITER 8179 NEW BEST:: SOT 199478 SOS 61803 HAS SOPS 61803 HAS SOUS 39883 HAS SOUPS 39883 WITH SCORE 39944.803
AT ITER 8194 NEW BEST:: SOT 199436 SOS 61719 HAS SOPS 61719 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39851.719
AT ITER 8224 NEW BEST:: SOT 199379 SOS 61605 HAS SOPS 61605 HAS SOUS 39733 HAS SOUPS 39733 WITH SCORE 39794.605
AT ITER 8254 NEW BEST:: SOT 199376 SOS 61603 HAS SOPS 61603 HAS SOUS 39731 HAS SOUPS 39731 WITH SCORE 39792.603
AT ITER 8255 NEW BEST:: SOT 199300 SOS 61527 HAS SOPS 61527 HAS SOUS 39655 HAS SOUPS 39655 WITH SCORE 39716.527
AT ITER 8268 NEW BEST:: SOT 199290 SOS 61517 HAS SOPS 61517 HAS SOUS 39645 HAS SOUPS 39645 WITH SCORE 39706.517
AT ITER 8294 NEW BEST:: SOT 199237 SOS 61411 HAS SOPS 61411 HAS SOUS 39539 HAS SOUPS 39539 WITH SCORE 39600.411
AT ITER 8308 NEW BEST:: SOT 199254 SOS 61428 HAS SOPS 61428 HAS SOUS 39529 HAS SOUPS 39529 WITH SCORE 39590.428
AT ITER 8369 NEW BEST:: SOT 199253 SOS 61427 HAS SOPS 61427 HAS SOUS 39528 HAS SOUPS 39528 WITH SCORE 39589.427
AT ITER 8486 NEW BEST:: SOT 199343 SOS 61478 HAS SOPS 61478 HAS SOUS 39468 HAS SOUPS 39468 WITH SCORE 39529.478
AT ITER 8501 NEW BEST:: SOT 199319 SOS 61430 HAS SOPS 61430 HAS SOUS 39435 HAS SOUPS 39435 WITH SCORE 39496.43
AT ITER 8514 NEW BEST:: SOT 199319 SOS 61427 HAS SOPS 61427 HAS SOUS 39432 HAS SOUPS 39432 WITH SCORE 39493.427
AT ITER 8599 NEW BEST:: SOT 199309 SOS 61413 HAS SOPS 61413 HAS SOUS 39418 HAS SOUPS 39418 WITH SCORE 39479.413
AT ITER 8704 NEW BEST:: SOT 199309 SOS 61261 HAS SOPS 61261 HAS SOUS 39385 HAS SOUPS 39385 WITH SCORE 39446.261
AT ITER 8728 NEW BEST:: SOT 199309 SOS 61255 HAS SOPS 61255 HAS SOUS 39379 HAS SOUPS 39379 WITH SCORE 39440.255
AT ITER 8731 NEW BEST:: SOT 199309 SOS 61255 HAS SOPS 61255 HAS SOUS 39351 HAS SOUPS 39351 WITH SCORE 39412.255
AT ITER 8754 NEW BEST:: SOT 199275 SOS 61253 HAS SOPS 61253 HAS SOUS 39349 HAS SOUPS 39349 WITH SCORE 39410.253
AT ITER 8758 NEW BEST:: SOT 199272 SOS 61248 HAS SOPS 61248 HAS SOUS 39338 HAS SOUPS 39338 WITH SCORE 39399.248
AT ITER 8768 NEW BEST:: SOT 199308 SOS 61235 HAS SOPS 61235 HAS SOUS 39336 HAS SOUPS 39336 WITH SCORE 39397.235
AT ITER 8784 NEW BEST:: SOT 199308 SOS 61186 HAS SOPS 61186 HAS SOUS 39287 HAS SOUPS 39287 WITH SCORE 39348.186
AT ITER 8825 NEW BEST:: SOT 199256 SOS 61082 HAS SOPS 61082 HAS SOUS 39287 HAS SOUPS 39287 WITH SCORE 39348.082
AT ITER 8874 NEW BEST:: SOT 199249 SOS 61059 HAS SOPS 61059 HAS SOUS 39286 HAS SOUPS 39286 WITH SCORE 39347.059
AT ITER 8878 NEW BEST:: SOT 199224 SOS 61059 HAS SOPS 61059 HAS SOUS 39279 HAS SOUPS 39279 WITH SCORE 39340.059
AT ITER 8903 NEW BEST:: SOT 199221 SOS 61053 HAS SOPS 61053 HAS SOUS 39273 HAS SOUPS 39273 WITH SCORE 39334.053
AT ITER 8912 NEW BEST:: SOT 199186 SOS 61018 HAS SOPS 61018 HAS SOUS 39273 HAS SOUPS 39273 WITH SCORE 39334.018
AT ITER 8918 NEW BEST:: SOT 199186 SOS 60964 HAS SOPS 60964 HAS SOUS 39263 HAS SOUPS 39263 WITH SCORE 39323.964
AT ITER 8949 NEW BEST:: SOT 199147 SOS 60916 HAS SOPS 60916 HAS SOUS 39232 HAS SOUPS 39232 WITH SCORE 39292.916
AT ITER 9011 NEW BEST:: SOT 199151 SOS 60909 HAS SOPS 60909 HAS SOUS 39225 HAS SOUPS 39225 WITH SCORE 39285.909
AT ITER 9012 NEW BEST:: SOT 199139 SOS 60849 HAS SOPS 60849 HAS SOUS 39201 HAS SOUPS 39201 WITH SCORE 39261.849
AT ITER 9099 NEW BEST:: SOT 199124 SOS 60866 HAS SOPS 60866 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39250.866
AT ITER 9145 NEW BEST:: SOT 199124 SOS 60861 HAS SOPS 60861 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39250.861
AT ITER 9196 NEW BEST:: SOT 199124 SOS 60853 HAS SOPS 60853 HAS SOUS 39190 HAS SOUPS 39190 WITH SCORE 39250.853
AT ITER 9334 NEW BEST:: SOT 199124 SOS 60852 HAS SOPS 60852 HAS SOUS 39189 HAS SOUPS 39189 WITH SCORE 39249.852
AT ITER 9420 NEW BEST:: SOT 199063 SOS 60784 HAS SOPS 60784 HAS SOUS 39172 HAS SOUPS 39172 WITH SCORE 39232.784
AT ITER 9433 NEW BEST:: SOT 199063 SOS 60770 HAS SOPS 60770 HAS SOUS 39158 HAS SOUPS 39158 WITH SCORE 39218.77
AT ITER 9435 NEW BEST:: SOT 199063 SOS 60669 HAS SOPS 60669 HAS SOUS 39146 HAS SOUPS 39146 WITH SCORE 39206.669
AT ITER 9461 NEW BEST:: SOT 199057 SOS 60656 HAS SOPS 60656 HAS SOUS 39133 HAS SOUPS 39133 WITH SCORE 39193.656
AT ITER 9471 NEW BEST:: SOT 199065 SOS 60662 HAS SOPS 60662 HAS SOUS 39131 HAS SOUPS 39131 WITH SCORE 39191.662
AT ITER 9506 NEW BEST:: SOT 199080 SOS 60677 HAS SOPS 60677 HAS SOUS 39123 HAS SOUPS 39123 WITH SCORE 39183.677
AT ITER 9535 NEW BEST:: SOT 199080 SOS 60673 HAS SOPS 60673 HAS SOUS 39119 HAS SOUPS 39119 WITH SCORE 39179.673
AT ITER 9549 NEW BEST:: SOT 199076 SOS 60665 HAS SOPS 60665 HAS SOUS 39114 HAS SOUPS 39114 WITH SCORE 39174.665
AT ITER 9570 NEW BEST:: SOT 199070 SOS 60656 HAS SOPS 60656 HAS SOUS 39105 HAS SOUPS 39105 WITH SCORE 39165.656
AT ITER 9572 NEW BEST:: SOT 199050 SOS 60616 HAS SOPS 60616 HAS SOUS 39065 HAS SOUPS 39065 WITH SCORE 39125.616
AT ITER 9587 NEW BEST:: SOT 198975 SOS 60466 HAS SOPS 60466 HAS SOUS 38915 HAS SOUPS 38915 WITH SCORE 38975.466
AT ITER 9597 NEW BEST:: SOT 198975 SOS 60426 HAS SOPS 60426 HAS SOUS 38875 HAS SOUPS 38875 WITH SCORE 38935.426
AT ITER 9601 NEW BEST:: SOT 198958 SOS 60392 HAS SOPS 60392 HAS SOUS 38841 HAS SOUPS 38841 WITH SCORE 38901.392
AT ITER 9607 NEW BEST:: SOT 198968 SOS 60402 HAS SOPS 60402 HAS SOUS 38835 HAS SOUPS 38835 WITH SCORE 38895.402
AT ITER 9635 NEW BEST:: SOT 198950 SOS 60366 HAS SOPS 60366 HAS SOUS 38810 HAS SOUPS 38810 WITH SCORE 38870.366
AT ITER 9675 NEW BEST:: SOT 198889 SOS 60305 HAS SOPS 60305 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38807.305
AT ITER 9731 NEW BEST:: SOT 198888 SOS 60304 HAS SOPS 60304 HAS SOUS 38746 HAS SOUPS 38746 WITH SCORE 38806.304
AT ITER 9734 NEW BEST:: SOT 198885 SOS 60298 HAS SOPS 60298 HAS SOUS 38743 HAS SOUPS 38743 WITH SCORE 38803.298
AT ITER 9850 NEW BEST:: SOT 198877 SOS 60282 HAS SOPS 60282 HAS SOUS 38734 HAS SOUPS 38734 WITH SCORE 38794.282
AT ITER 9854 NEW BEST:: SOT 198877 SOS 60282 HAS SOPS 60282 HAS SOUS 38730 HAS SOUPS 38730 WITH SCORE 38790.282
AT ITER 9882 NEW BEST:: SOT 198865 SOS 60273 HAS SOPS 60273 HAS SOUS 38721 HAS SOUPS 38721 WITH SCORE 38781.273
AT ITER 9909 NEW BEST:: SOT 198831 SOS 60239 HAS SOPS 60239 HAS SOUS 38664 HAS SOUPS 38664 WITH SCORE 38724.239
AT ITER 9915 NEW BEST:: SOT 198775 SOS 60114 HAS SOPS 60114 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38624.114
AT ITER 9922 NEW BEST:: SOT 198762 SOS 60072 HAS SOPS 60072 HAS SOUS 38522 HAS SOUPS 38522 WITH SCORE 38582.072
AT ITER 9945 NEW BEST:: SOT 198745 SOS 60057 HAS SOPS 60057 HAS SOUS 38502 HAS SOUPS 38502 WITH SCORE 38562.057
AT ITER 9975 NEW BEST:: SOT 198752 SOS 60053 HAS SOPS 60053 HAS SOUS 38498 HAS SOUPS 38498 WITH SCORE 38558.053
AT ITER 9991 NEW BEST:: SOT 198742 SOS 60033 HAS SOPS 60033 HAS SOUS 38478 HAS SOUPS 38478 WITH SCORE 38538.033
AT ITER 9998 NEW BEST:: SOT 198716 SOS 60007 HAS SOPS 60007 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38512.007
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 13827964 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16126716 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-16"
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-16, 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-167813697000576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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