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-167813688400592.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-18, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688400592
=====================================================================

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

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678471024236

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-18
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 18
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: 717 places, 642 transitions, 1860 arcs.
AT ITER 0 NEW BEST:: SOT 292623 SOS 111544 HAS SOPS 111544 HAS SOUS 108469 HAS SOUPS 108469 WITH SCORE 108580.544
AT ITER 4 NEW BEST:: SOT 292713 SOS 111540 HAS SOPS 111540 HAS SOUS 108465 HAS SOUPS 108465 WITH SCORE 108576.54
AT ITER 6 NEW BEST:: SOT 292690 SOS 111494 HAS SOPS 111494 HAS SOUS 108419 HAS SOUPS 108419 WITH SCORE 108530.494
AT ITER 10 NEW BEST:: SOT 292465 SOS 111245 HAS SOPS 111245 HAS SOUS 108170 HAS SOUPS 108170 WITH SCORE 108281.245
AT ITER 13 NEW BEST:: SOT 292453 SOS 111221 HAS SOPS 111221 HAS SOUS 108146 HAS SOUPS 108146 WITH SCORE 108257.221
AT ITER 19 NEW BEST:: SOT 292453 SOS 111186 HAS SOPS 111186 HAS SOUS 108111 HAS SOUPS 108111 WITH SCORE 108222.186
AT ITER 20 NEW BEST:: SOT 292382 SOS 111135 HAS SOPS 111135 HAS SOUS 108060 HAS SOUPS 108060 WITH SCORE 108171.135
AT ITER 36 NEW BEST:: SOT 292218 SOS 110143 HAS SOPS 110143 HAS SOUS 107656 HAS SOUPS 107656 WITH SCORE 107766.143
AT ITER 40 NEW BEST:: SOT 292054 SOS 110119 HAS SOPS 110119 HAS SOUS 107604 HAS SOUPS 107604 WITH SCORE 107714.119
AT ITER 41 NEW BEST:: SOT 292054 SOS 110112 HAS SOPS 110112 HAS SOUS 107600 HAS SOUPS 107600 WITH SCORE 107710.112
AT ITER 46 NEW BEST:: SOT 292011 SOS 110110 HAS SOPS 110110 HAS SOUS 107598 HAS SOUPS 107598 WITH SCORE 107708.11
AT ITER 52 NEW BEST:: SOT 291865 SOS 109964 HAS SOPS 109964 HAS SOUS 107452 HAS SOUPS 107452 WITH SCORE 107561.964
AT ITER 61 NEW BEST:: SOT 291785 SOS 109817 HAS SOPS 109817 HAS SOUS 107335 HAS SOUPS 107335 WITH SCORE 107444.817
AT ITER 68 NEW BEST:: SOT 291724 SOS 109712 HAS SOPS 109712 HAS SOUS 107230 HAS SOUPS 107230 WITH SCORE 107339.712
AT ITER 78 NEW BEST:: SOT 291724 SOS 109603 HAS SOPS 109603 HAS SOUS 107121 HAS SOUPS 107121 WITH SCORE 107230.603
AT ITER 79 NEW BEST:: SOT 291700 SOS 109632 HAS SOPS 109632 HAS SOUS 107100 HAS SOUPS 107100 WITH SCORE 107209.632
AT ITER 81 NEW BEST:: SOT 291519 SOS 109382 HAS SOPS 109382 HAS SOUS 106850 HAS SOUPS 106850 WITH SCORE 106959.382
AT ITER 86 NEW BEST:: SOT 291448 SOS 109311 HAS SOPS 109311 HAS SOUS 106850 HAS SOUPS 106850 WITH SCORE 106959.311
AT ITER 87 NEW BEST:: SOT 291226 SOS 109032 HAS SOPS 109032 HAS SOUS 106571 HAS SOUPS 106571 WITH SCORE 106680.032
AT ITER 92 NEW BEST:: SOT 291016 SOS 108661 HAS SOPS 108661 HAS SOUS 106200 HAS SOUPS 106200 WITH SCORE 106308.661
AT ITER 118 NEW BEST:: SOT 290908 SOS 108553 HAS SOPS 108553 HAS SOUS 106092 HAS SOUPS 106092 WITH SCORE 106200.553
AT ITER 122 NEW BEST:: SOT 290739 SOS 108346 HAS SOPS 108346 HAS SOUS 105925 HAS SOUPS 105925 WITH SCORE 106033.346
AT ITER 129 NEW BEST:: SOT 290618 SOS 107984 HAS SOPS 107984 HAS SOUS 105563 HAS SOUPS 105563 WITH SCORE 105670.984
AT ITER 133 NEW BEST:: SOT 290524 SOS 107890 HAS SOPS 107890 HAS SOUS 105562 HAS SOUPS 105562 WITH SCORE 105669.89
AT ITER 135 NEW BEST:: SOT 290512 SOS 107878 HAS SOPS 107878 HAS SOUS 105550 HAS SOUPS 105550 WITH SCORE 105657.878
AT ITER 137 NEW BEST:: SOT 290272 SOS 107407 HAS SOPS 107407 HAS SOUS 105079 HAS SOUPS 105079 WITH SCORE 105186.407
AT ITER 139 NEW BEST:: SOT 290202 SOS 107352 HAS SOPS 107352 HAS SOUS 105052 HAS SOUPS 105052 WITH SCORE 105159.352
AT ITER 145 NEW BEST:: SOT 290170 SOS 107333 HAS SOPS 107333 HAS SOUS 105033 HAS SOUPS 105033 WITH SCORE 105140.333
AT ITER 150 NEW BEST:: SOT 290101 SOS 107218 HAS SOPS 107218 HAS SOUS 104918 HAS SOUPS 104918 WITH SCORE 105025.218
AT ITER 173 NEW BEST:: SOT 290481 SOS 107054 HAS SOPS 107054 HAS SOUS 104754 HAS SOUPS 104754 WITH SCORE 104861.054
AT ITER 194 NEW BEST:: SOT 290481 SOS 107013 HAS SOPS 107013 HAS SOUS 104713 HAS SOUPS 104713 WITH SCORE 104820.013
AT ITER 197 NEW BEST:: SOT 290480 SOS 107011 HAS SOPS 107011 HAS SOUS 104711 HAS SOUPS 104711 WITH SCORE 104818.011
AT ITER 201 NEW BEST:: SOT 290440 SOS 106891 HAS SOPS 106891 HAS SOUS 104591 HAS SOUPS 104591 WITH SCORE 104697.891
AT ITER 210 NEW BEST:: SOT 290439 SOS 106889 HAS SOPS 106889 HAS SOUS 104589 HAS SOUPS 104589 WITH SCORE 104695.889
AT ITER 216 NEW BEST:: SOT 290391 SOS 106841 HAS SOPS 106841 HAS SOUS 104541 HAS SOUPS 104541 WITH SCORE 104647.841
AT ITER 222 NEW BEST:: SOT 290489 SOS 106819 HAS SOPS 106819 HAS SOUS 104519 HAS SOUPS 104519 WITH SCORE 104625.819
AT ITER 250 NEW BEST:: SOT 290489 SOS 106819 HAS SOPS 106819 HAS SOUS 104517 HAS SOUPS 104517 WITH SCORE 104623.819
AT ITER 253 NEW BEST:: SOT 290489 SOS 106818 HAS SOPS 106818 HAS SOUS 104516 HAS SOUPS 104516 WITH SCORE 104622.818
AT ITER 254 NEW BEST:: SOT 290418 SOS 106788 HAS SOPS 106788 HAS SOUS 104486 HAS SOUPS 104486 WITH SCORE 104592.788
AT ITER 276 NEW BEST:: SOT 290399 SOS 106769 HAS SOPS 106769 HAS SOUS 104467 HAS SOUPS 104467 WITH SCORE 104573.769
AT ITER 277 NEW BEST:: SOT 290325 SOS 106725 HAS SOPS 106725 HAS SOUS 104423 HAS SOUPS 104423 WITH SCORE 104529.725
AT ITER 284 NEW BEST:: SOT 290327 SOS 106723 HAS SOPS 106723 HAS SOUS 104421 HAS SOUPS 104421 WITH SCORE 104527.723
AT ITER 294 NEW BEST:: SOT 290331 SOS 106700 HAS SOPS 106700 HAS SOUS 104398 HAS SOUPS 104398 WITH SCORE 104504.7
AT ITER 313 NEW BEST:: SOT 290240 SOS 106518 HAS SOPS 106518 HAS SOUS 104216 HAS SOUPS 104216 WITH SCORE 104322.518
AT ITER 349 NEW BEST:: SOT 290211 SOS 106460 HAS SOPS 106460 HAS SOUS 104158 HAS SOUPS 104158 WITH SCORE 104264.46
AT ITER 354 NEW BEST:: SOT 290210 SOS 106459 HAS SOPS 106459 HAS SOUS 104157 HAS SOUPS 104157 WITH SCORE 104263.459
AT ITER 361 NEW BEST:: SOT 290093 SOS 106108 HAS SOPS 106108 HAS SOUS 103806 HAS SOUPS 103806 WITH SCORE 103912.108
AT ITER 367 NEW BEST:: SOT 290094 SOS 106090 HAS SOPS 106090 HAS SOUS 103788 HAS SOUPS 103788 WITH SCORE 103894.09
AT ITER 371 NEW BEST:: SOT 290091 SOS 106087 HAS SOPS 106087 HAS SOUS 103786 HAS SOUPS 103786 WITH SCORE 103892.087
AT ITER 394 NEW BEST:: SOT 289871 SOS 105867 HAS SOPS 105867 HAS SOUS 103566 HAS SOUPS 103566 WITH SCORE 103671.867
AT ITER 408 NEW BEST:: SOT 289770 SOS 105833 HAS SOPS 105833 HAS SOUS 103532 HAS SOUPS 103532 WITH SCORE 103637.833
AT ITER 410 NEW BEST:: SOT 289723 SOS 105671 HAS SOPS 105671 HAS SOUS 103417 HAS SOUPS 103417 WITH SCORE 103522.671
AT ITER 412 NEW BEST:: SOT 289723 SOS 105666 HAS SOPS 105666 HAS SOUS 103412 HAS SOUPS 103412 WITH SCORE 103517.666
AT ITER 414 NEW BEST:: SOT 289723 SOS 105568 HAS SOPS 105568 HAS SOUS 103314 HAS SOUPS 103314 WITH SCORE 103419.568
AT ITER 415 NEW BEST:: SOT 289722 SOS 105407 HAS SOPS 105407 HAS SOUS 103153 HAS SOUPS 103153 WITH SCORE 103258.407
AT ITER 437 NEW BEST:: SOT 289517 SOS 106464 HAS SOPS 106464 HAS SOUS 103070 HAS SOUPS 103070 WITH SCORE 103176.464
AT ITER 444 NEW BEST:: SOT 285993 SOS 104780 HAS SOPS 104780 HAS SOUS 99871 HAS SOUPS 99871 WITH SCORE 99975.78
AT ITER 448 NEW BEST:: SOT 285993 SOS 104759 HAS SOPS 104759 HAS SOUS 99850 HAS SOUPS 99850 WITH SCORE 99954.759
AT ITER 455 NEW BEST:: SOT 286045 SOS 104665 HAS SOPS 104665 HAS SOUS 99756 HAS SOUPS 99756 WITH SCORE 99860.665
AT ITER 459 NEW BEST:: SOT 286044 SOS 104662 HAS SOPS 104662 HAS SOUS 99753 HAS SOUPS 99753 WITH SCORE 99857.662
AT ITER 460 NEW BEST:: SOT 286007 SOS 104600 HAS SOPS 104600 HAS SOUS 99691 HAS SOUPS 99691 WITH SCORE 99795.6
AT ITER 467 NEW BEST:: SOT 286007 SOS 104593 HAS SOPS 104593 HAS SOUS 99684 HAS SOUPS 99684 WITH SCORE 99788.593
AT ITER 468 NEW BEST:: SOT 285994 SOS 104580 HAS SOPS 104580 HAS SOUS 99671 HAS SOUPS 99671 WITH SCORE 99775.58
AT ITER 472 NEW BEST:: SOT 285982 SOS 104568 HAS SOPS 104568 HAS SOUS 99659 HAS SOUPS 99659 WITH SCORE 99763.568
AT ITER 474 NEW BEST:: SOT 286065 SOS 104469 HAS SOPS 104469 HAS SOUS 99560 HAS SOUPS 99560 WITH SCORE 99664.469
AT ITER 496 NEW BEST:: SOT 285985 SOS 104309 HAS SOPS 104309 HAS SOUS 99400 HAS SOUPS 99400 WITH SCORE 99504.309
AT ITER 503 NEW BEST:: SOT 285985 SOS 104091 HAS SOPS 104091 HAS SOUS 99014 HAS SOUPS 99014 WITH SCORE 99118.091
AT ITER 504 NEW BEST:: SOT 285890 SOS 103996 HAS SOPS 103996 HAS SOUS 98919 HAS SOUPS 98919 WITH SCORE 99022.996
AT ITER 518 NEW BEST:: SOT 285856 SOS 103962 HAS SOPS 103962 HAS SOUS 98885 HAS SOUPS 98885 WITH SCORE 98988.962
AT ITER 520 NEW BEST:: SOT 285831 SOS 103916 HAS SOPS 103916 HAS SOUS 98864 HAS SOUPS 98864 WITH SCORE 98967.916
AT ITER 540 NEW BEST:: SOT 285735 SOS 103628 HAS SOPS 103628 HAS SOUS 98576 HAS SOUPS 98576 WITH SCORE 98679.628
AT ITER 541 NEW BEST:: SOT 285500 SOS 103413 HAS SOPS 103413 HAS SOUS 98391 HAS SOUPS 98391 WITH SCORE 98494.413
AT ITER 543 NEW BEST:: SOT 285506 SOS 103271 HAS SOPS 103271 HAS SOUS 98322 HAS SOUPS 98322 WITH SCORE 98425.271
AT ITER 556 NEW BEST:: SOT 285474 SOS 103207 HAS SOPS 103207 HAS SOUS 98304 HAS SOUPS 98304 WITH SCORE 98407.207
AT ITER 564 NEW BEST:: SOT 285401 SOS 103132 HAS SOPS 103132 HAS SOUS 98300 HAS SOUPS 98300 WITH SCORE 98403.132
AT ITER 566 NEW BEST:: SOT 285169 SOS 102825 HAS SOPS 102825 HAS SOUS 97993 HAS SOUPS 97993 WITH SCORE 98095.825
AT ITER 569 NEW BEST:: SOT 284964 SOS 102723 HAS SOPS 102723 HAS SOUS 97891 HAS SOUPS 97891 WITH SCORE 97993.723
AT ITER 570 NEW BEST:: SOT 285022 SOS 102716 HAS SOPS 102716 HAS SOUS 97884 HAS SOUPS 97884 WITH SCORE 97986.716
AT ITER 571 NEW BEST:: SOT 284998 SOS 102668 HAS SOPS 102668 HAS SOUS 97836 HAS SOUPS 97836 WITH SCORE 97938.668
AT ITER 576 NEW BEST:: SOT 284940 SOS 102604 HAS SOPS 102604 HAS SOUS 97772 HAS SOUPS 97772 WITH SCORE 97874.604
AT ITER 592 NEW BEST:: SOT 284866 SOS 102530 HAS SOPS 102530 HAS SOUS 97698 HAS SOUPS 97698 WITH SCORE 97800.53
AT ITER 604 NEW BEST:: SOT 284866 SOS 102462 HAS SOPS 102462 HAS SOUS 97630 HAS SOUPS 97630 WITH SCORE 97732.462
AT ITER 608 NEW BEST:: SOT 284808 SOS 102346 HAS SOPS 102346 HAS SOUS 97514 HAS SOUPS 97514 WITH SCORE 97616.346
AT ITER 611 NEW BEST:: SOT 284808 SOS 102346 HAS SOPS 102346 HAS SOUS 97513 HAS SOUPS 97513 WITH SCORE 97615.346
AT ITER 629 NEW BEST:: SOT 284808 SOS 102318 HAS SOPS 102318 HAS SOUS 97485 HAS SOUPS 97485 WITH SCORE 97587.318
AT ITER 632 NEW BEST:: SOT 284828 SOS 102247 HAS SOPS 102247 HAS SOUS 97414 HAS SOUPS 97414 WITH SCORE 97516.247
AT ITER 653 NEW BEST:: SOT 284820 SOS 102231 HAS SOPS 102231 HAS SOUS 97406 HAS SOUPS 97406 WITH SCORE 97508.231
AT ITER 656 NEW BEST:: SOT 284820 SOS 102217 HAS SOPS 102217 HAS SOUS 97392 HAS SOUPS 97392 WITH SCORE 97494.217
AT ITER 659 NEW BEST:: SOT 284817 SOS 102183 HAS SOPS 102183 HAS SOUS 97358 HAS SOUPS 97358 WITH SCORE 97460.183
AT ITER 688 NEW BEST:: SOT 284907 SOS 102112 HAS SOPS 102112 HAS SOUS 97287 HAS SOUPS 97287 WITH SCORE 97389.112
AT ITER 695 NEW BEST:: SOT 284907 SOS 102073 HAS SOPS 102073 HAS SOUS 97248 HAS SOUPS 97248 WITH SCORE 97350.073
AT ITER 702 NEW BEST:: SOT 284710 SOS 101876 HAS SOPS 101876 HAS SOUS 97051 HAS SOUPS 97051 WITH SCORE 97152.876
AT ITER 720 NEW BEST:: SOT 284335 SOS 101518 HAS SOPS 101518 HAS SOUS 96693 HAS SOUPS 96693 WITH SCORE 96794.518
AT ITER 725 NEW BEST:: SOT 284430 SOS 101347 HAS SOPS 101347 HAS SOUS 96578 HAS SOUPS 96578 WITH SCORE 96679.347
AT ITER 740 NEW BEST:: SOT 284405 SOS 101322 HAS SOPS 101322 HAS SOUS 96553 HAS SOUPS 96553 WITH SCORE 96654.322
AT ITER 753 NEW BEST:: SOT 284405 SOS 101313 HAS SOPS 101313 HAS SOUS 96544 HAS SOUPS 96544 WITH SCORE 96645.313
AT ITER 764 NEW BEST:: SOT 284366 SOS 101235 HAS SOPS 101235 HAS SOUS 96466 HAS SOUPS 96466 WITH SCORE 96567.235
AT ITER 771 NEW BEST:: SOT 284366 SOS 101174 HAS SOPS 101174 HAS SOUS 96405 HAS SOUPS 96405 WITH SCORE 96506.174
AT ITER 775 NEW BEST:: SOT 284216 SOS 100874 HAS SOPS 100874 HAS SOUS 96105 HAS SOUPS 96105 WITH SCORE 96205.874
AT ITER 776 NEW BEST:: SOT 284160 SOS 100850 HAS SOPS 100850 HAS SOUS 96081 HAS SOUPS 96081 WITH SCORE 96181.85
AT ITER 795 NEW BEST:: SOT 284383 SOS 100800 HAS SOPS 100800 HAS SOUS 96031 HAS SOUPS 96031 WITH SCORE 96131.8
AT ITER 811 NEW BEST:: SOT 284355 SOS 100691 HAS SOPS 100691 HAS SOUS 95922 HAS SOUPS 95922 WITH SCORE 96022.691
AT ITER 838 NEW BEST:: SOT 284490 SOS 100694 HAS SOPS 100694 HAS SOUS 95880 HAS SOUPS 95880 WITH SCORE 95980.694
AT ITER 844 NEW BEST:: SOT 284479 SOS 100672 HAS SOPS 100672 HAS SOUS 95858 HAS SOUPS 95858 WITH SCORE 95958.672
AT ITER 850 NEW BEST:: SOT 284548 SOS 100660 HAS SOPS 100660 HAS SOUS 95846 HAS SOUPS 95846 WITH SCORE 95946.66
AT ITER 851 NEW BEST:: SOT 284496 SOS 100608 HAS SOPS 100608 HAS SOUS 95794 HAS SOUPS 95794 WITH SCORE 95894.608
AT ITER 857 NEW BEST:: SOT 284496 SOS 100593 HAS SOPS 100593 HAS SOUS 95794 HAS SOUPS 95794 WITH SCORE 95894.593
AT ITER 866 NEW BEST:: SOT 284490 SOS 100586 HAS SOPS 100586 HAS SOUS 95787 HAS SOUPS 95787 WITH SCORE 95887.586
AT ITER 868 NEW BEST:: SOT 284457 SOS 100553 HAS SOPS 100553 HAS SOUS 95754 HAS SOUPS 95754 WITH SCORE 95854.553
AT ITER 882 NEW BEST:: SOT 284605 SOS 100491 HAS SOPS 100491 HAS SOUS 95722 HAS SOUPS 95722 WITH SCORE 95822.491
AT ITER 891 NEW BEST:: SOT 284604 SOS 100458 HAS SOPS 100458 HAS SOUS 95720 HAS SOUPS 95720 WITH SCORE 95820.458
AT ITER 896 NEW BEST:: SOT 284565 SOS 100446 HAS SOPS 100446 HAS SOUS 95720 HAS SOUPS 95720 WITH SCORE 95820.446
AT ITER 905 NEW BEST:: SOT 284662 SOS 100397 HAS SOPS 100397 HAS SOUS 95671 HAS SOUPS 95671 WITH SCORE 95771.397
AT ITER 912 NEW BEST:: SOT 284586 SOS 100361 HAS SOPS 100361 HAS SOUS 95635 HAS SOUPS 95635 WITH SCORE 95735.361
AT ITER 927 NEW BEST:: SOT 284586 SOS 100351 HAS SOPS 100351 HAS SOUS 95625 HAS SOUPS 95625 WITH SCORE 95725.351
AT ITER 945 NEW BEST:: SOT 284586 SOS 100351 HAS SOPS 100351 HAS SOUS 95623 HAS SOUPS 95623 WITH SCORE 95723.351
AT ITER 967 NEW BEST:: SOT 284555 SOS 100289 HAS SOPS 100289 HAS SOUS 95592 HAS SOUPS 95592 WITH SCORE 95692.289
AT ITER 973 NEW BEST:: SOT 284555 SOS 100150 HAS SOPS 100150 HAS SOUS 95453 HAS SOUPS 95453 WITH SCORE 95553.15
AT ITER 977 NEW BEST:: SOT 284429 SOS 100035 HAS SOPS 100035 HAS SOUS 95338 HAS SOUPS 95338 WITH SCORE 95438.035
AT ITER 981 NEW BEST:: SOT 284404 SOS 99985 HAS SOPS 99985 HAS SOUS 95288 HAS SOUPS 95288 WITH SCORE 95387.985
AT ITER 992 NEW BEST:: SOT 284448 SOS 99936 HAS SOPS 99936 HAS SOUS 95239 HAS SOUPS 95239 WITH SCORE 95338.936
AT ITER 1021 NEW BEST:: SOT 277709 SOS 94122 HAS SOPS 94122 HAS SOUS 88739 HAS SOUPS 88739 WITH SCORE 88833.122
AT ITER 1034 NEW BEST:: SOT 277669 SOS 94082 HAS SOPS 94082 HAS SOUS 88699 HAS SOUPS 88699 WITH SCORE 88793.082
AT ITER 1044 NEW BEST:: SOT 277435 SOS 93869 HAS SOPS 93869 HAS SOUS 88494 HAS SOUPS 88494 WITH SCORE 88587.869
AT ITER 1050 NEW BEST:: SOT 277457 SOS 93846 HAS SOPS 93846 HAS SOUS 88471 HAS SOUPS 88471 WITH SCORE 88564.846
AT ITER 1051 NEW BEST:: SOT 277457 SOS 93846 HAS SOPS 93846 HAS SOUS 88467 HAS SOUPS 88467 WITH SCORE 88560.846
AT ITER 1063 NEW BEST:: SOT 277378 SOS 93727 HAS SOPS 93727 HAS SOUS 88348 HAS SOUPS 88348 WITH SCORE 88441.727
AT ITER 1071 NEW BEST:: SOT 277305 SOS 93654 HAS SOPS 93654 HAS SOUS 88275 HAS SOUPS 88275 WITH SCORE 88368.654
AT ITER 1081 NEW BEST:: SOT 277264 SOS 93572 HAS SOPS 93572 HAS SOUS 88193 HAS SOUPS 88193 WITH SCORE 88286.572
AT ITER 1083 NEW BEST:: SOT 277277 SOS 93571 HAS SOPS 93571 HAS SOUS 88192 HAS SOUPS 88192 WITH SCORE 88285.571
AT ITER 1086 NEW BEST:: SOT 277262 SOS 93541 HAS SOPS 93541 HAS SOUS 88162 HAS SOUPS 88162 WITH SCORE 88255.541
AT ITER 1087 NEW BEST:: SOT 273772 SOS 90051 HAS SOPS 90051 HAS SOUS 84516 HAS SOUPS 84516 WITH SCORE 84606.051
AT ITER 1090 NEW BEST:: SOT 273772 SOS 90045 HAS SOPS 90045 HAS SOUS 84510 HAS SOUPS 84510 WITH SCORE 84600.045
AT ITER 1093 NEW BEST:: SOT 273920 SOS 89840 HAS SOPS 89840 HAS SOUS 84305 HAS SOUPS 84305 WITH SCORE 84394.84
AT ITER 1099 NEW BEST:: SOT 273920 SOS 89839 HAS SOPS 89839 HAS SOUS 84304 HAS SOUPS 84304 WITH SCORE 84393.839
AT ITER 1106 NEW BEST:: SOT 273920 SOS 89839 HAS SOPS 89839 HAS SOUS 84266 HAS SOUPS 84266 WITH SCORE 84355.839
AT ITER 1118 NEW BEST:: SOT 273645 SOS 89468 HAS SOPS 89468 HAS SOUS 83895 HAS SOUPS 83895 WITH SCORE 83984.468
AT ITER 1125 NEW BEST:: SOT 273579 SOS 89409 HAS SOPS 89409 HAS SOUS 83836 HAS SOUPS 83836 WITH SCORE 83925.409
AT ITER 1130 NEW BEST:: SOT 273489 SOS 89363 HAS SOPS 89363 HAS SOUS 83790 HAS SOUPS 83790 WITH SCORE 83879.363
AT ITER 1134 NEW BEST:: SOT 273568 SOS 89139 HAS SOPS 89139 HAS SOUS 83566 HAS SOUPS 83566 WITH SCORE 83655.139
AT ITER 1142 NEW BEST:: SOT 273568 SOS 89135 HAS SOPS 89135 HAS SOUS 83562 HAS SOUPS 83562 WITH SCORE 83651.135
AT ITER 1145 NEW BEST:: SOT 273568 SOS 89111 HAS SOPS 89111 HAS SOUS 83538 HAS SOUPS 83538 WITH SCORE 83627.111
AT ITER 1146 NEW BEST:: SOT 273554 SOS 89083 HAS SOPS 89083 HAS SOUS 83510 HAS SOUPS 83510 WITH SCORE 83599.083
AT ITER 1158 NEW BEST:: SOT 273554 SOS 89052 HAS SOPS 89052 HAS SOUS 83479 HAS SOUPS 83479 WITH SCORE 83568.052
AT ITER 1171 NEW BEST:: SOT 273598 SOS 88910 HAS SOPS 88910 HAS SOUS 83337 HAS SOUPS 83337 WITH SCORE 83425.91
AT ITER 1185 NEW BEST:: SOT 273598 SOS 88806 HAS SOPS 88806 HAS SOUS 83261 HAS SOUPS 83261 WITH SCORE 83349.806
AT ITER 1186 NEW BEST:: SOT 273593 SOS 88771 HAS SOPS 88771 HAS SOUS 83235 HAS SOUPS 83235 WITH SCORE 83323.771
AT ITER 1202 NEW BEST:: SOT 273529 SOS 88707 HAS SOPS 88707 HAS SOUS 83171 HAS SOUPS 83171 WITH SCORE 83259.707
AT ITER 1205 NEW BEST:: SOT 273501 SOS 88679 HAS SOPS 88679 HAS SOUS 83143 HAS SOUPS 83143 WITH SCORE 83231.679
AT ITER 1221 NEW BEST:: SOT 273417 SOS 88595 HAS SOPS 88595 HAS SOUS 83059 HAS SOUPS 83059 WITH SCORE 83147.595
AT ITER 1224 NEW BEST:: SOT 273360 SOS 88549 HAS SOPS 88549 HAS SOUS 83002 HAS SOUPS 83002 WITH SCORE 83090.549
AT ITER 1227 NEW BEST:: SOT 273396 SOS 88567 HAS SOPS 88567 HAS SOUS 82966 HAS SOUPS 82966 WITH SCORE 83054.567
AT ITER 1228 NEW BEST:: SOT 273458 SOS 88526 HAS SOPS 88526 HAS SOUS 82811 HAS SOUPS 82811 WITH SCORE 82899.526
AT ITER 1253 NEW BEST:: SOT 273457 SOS 88460 HAS SOPS 88460 HAS SOUS 82745 HAS SOUPS 82745 WITH SCORE 82833.46
AT ITER 1268 NEW BEST:: SOT 273456 SOS 88291 HAS SOPS 88291 HAS SOUS 82576 HAS SOUPS 82576 WITH SCORE 82664.291
AT ITER 1271 NEW BEST:: SOT 272537 SOS 92073 HAS SOPS 92073 HAS SOUS 81869 HAS SOUPS 81869 WITH SCORE 81961.073
AT ITER 1297 NEW BEST:: SOT 272556 SOS 92092 HAS SOPS 92092 HAS SOUS 81803 HAS SOUPS 81803 WITH SCORE 81895.092
AT ITER 1307 NEW BEST:: SOT 272600 SOS 92136 HAS SOPS 92136 HAS SOUS 81761 HAS SOUPS 81761 WITH SCORE 81853.136
AT ITER 1310 NEW BEST:: SOT 272597 SOS 92130 HAS SOPS 92130 HAS SOUS 81755 HAS SOUPS 81755 WITH SCORE 81847.13
AT ITER 1325 NEW BEST:: SOT 272521 SOS 92090 HAS SOPS 92090 HAS SOUS 81724 HAS SOUPS 81724 WITH SCORE 81816.09
AT ITER 1330 NEW BEST:: SOT 272514 SOS 92083 HAS SOPS 92083 HAS SOUS 81717 HAS SOUPS 81717 WITH SCORE 81809.083
AT ITER 1361 NEW BEST:: SOT 272514 SOS 92045 HAS SOPS 92045 HAS SOUS 81679 HAS SOUPS 81679 WITH SCORE 81771.045
AT ITER 1392 NEW BEST:: SOT 272469 SOS 91998 HAS SOPS 91998 HAS SOUS 81632 HAS SOUPS 81632 WITH SCORE 81723.998
AT ITER 1411 NEW BEST:: SOT 272432 SOS 91961 HAS SOPS 91961 HAS SOUS 81595 HAS SOUPS 81595 WITH SCORE 81686.961
AT ITER 1415 NEW BEST:: SOT 272324 SOS 91745 HAS SOPS 91745 HAS SOUS 81379 HAS SOUPS 81379 WITH SCORE 81470.745
AT ITER 1419 NEW BEST:: SOT 272307 SOS 91728 HAS SOPS 91728 HAS SOUS 81362 HAS SOUPS 81362 WITH SCORE 81453.728
AT ITER 1423 NEW BEST:: SOT 272308 SOS 91726 HAS SOPS 91726 HAS SOUS 81360 HAS SOUPS 81360 WITH SCORE 81451.726
AT ITER 1447 NEW BEST:: SOT 272019 SOS 91373 HAS SOPS 91373 HAS SOUS 81085 HAS SOUPS 81085 WITH SCORE 81176.373
AT ITER 1452 NEW BEST:: SOT 272019 SOS 91371 HAS SOPS 91371 HAS SOUS 81083 HAS SOUPS 81083 WITH SCORE 81174.371
AT ITER 1453 NEW BEST:: SOT 272172 SOS 91355 HAS SOPS 91355 HAS SOUS 81067 HAS SOUPS 81067 WITH SCORE 81158.355
AT ITER 1460 NEW BEST:: SOT 272111 SOS 91327 HAS SOPS 91327 HAS SOUS 81039 HAS SOUPS 81039 WITH SCORE 81130.327
AT ITER 1467 NEW BEST:: SOT 271910 SOS 91221 HAS SOPS 91221 HAS SOUS 80933 HAS SOUPS 80933 WITH SCORE 81024.221
AT ITER 1480 NEW BEST:: SOT 271910 SOS 91205 HAS SOPS 91205 HAS SOUS 80917 HAS SOUPS 80917 WITH SCORE 81008.205
AT ITER 1487 NEW BEST:: SOT 271901 SOS 91196 HAS SOPS 91196 HAS SOUS 80908 HAS SOUPS 80908 WITH SCORE 80999.196
AT ITER 1489 NEW BEST:: SOT 271945 SOS 91072 HAS SOPS 91072 HAS SOUS 80784 HAS SOUPS 80784 WITH SCORE 80875.072
AT ITER 1494 NEW BEST:: SOT 271769 SOS 93389 HAS SOPS 93389 HAS SOUS 80652 HAS SOUPS 80652 WITH SCORE 80745.389
AT ITER 1496 NEW BEST:: SOT 271769 SOS 93303 HAS SOPS 93303 HAS SOUS 80566 HAS SOUPS 80566 WITH SCORE 80659.303
AT ITER 1501 NEW BEST:: SOT 271918 SOS 93284 HAS SOPS 93284 HAS SOUS 80497 HAS SOUPS 80497 WITH SCORE 80590.284
AT ITER 1505 NEW BEST:: SOT 271875 SOS 93233 HAS SOPS 93233 HAS SOUS 80485 HAS SOUPS 80485 WITH SCORE 80578.233
AT ITER 1508 NEW BEST:: SOT 271848 SOS 93206 HAS SOPS 93206 HAS SOUS 80458 HAS SOUPS 80458 WITH SCORE 80551.206
AT ITER 1517 NEW BEST:: SOT 271837 SOS 93195 HAS SOPS 93195 HAS SOUS 80443 HAS SOUPS 80443 WITH SCORE 80536.195
AT ITER 1534 NEW BEST:: SOT 271815 SOS 93151 HAS SOPS 93151 HAS SOUS 80421 HAS SOUPS 80421 WITH SCORE 80514.151
AT ITER 1544 NEW BEST:: SOT 271773 SOS 93066 HAS SOPS 93066 HAS SOUS 80336 HAS SOUPS 80336 WITH SCORE 80429.066
AT ITER 1548 NEW BEST:: SOT 271727 SOS 92974 HAS SOPS 92974 HAS SOUS 80244 HAS SOUPS 80244 WITH SCORE 80336.974
AT ITER 1550 NEW BEST:: SOT 271622 SOS 92749 HAS SOPS 92749 HAS SOUS 80019 HAS SOUPS 80019 WITH SCORE 80111.749
AT ITER 1554 NEW BEST:: SOT 271661 SOS 92746 HAS SOPS 92746 HAS SOUS 80016 HAS SOUPS 80016 WITH SCORE 80108.746
AT ITER 1560 NEW BEST:: SOT 271660 SOS 92744 HAS SOPS 92744 HAS SOUS 80014 HAS SOUPS 80014 WITH SCORE 80106.744
AT ITER 1565 NEW BEST:: SOT 271641 SOS 92725 HAS SOPS 92725 HAS SOUS 79995 HAS SOUPS 79995 WITH SCORE 80087.725
AT ITER 1570 NEW BEST:: SOT 271570 SOS 92654 HAS SOPS 92654 HAS SOUS 79936 HAS SOUPS 79936 WITH SCORE 80028.654
AT ITER 1576 NEW BEST:: SOT 271537 SOS 92638 HAS SOPS 92638 HAS SOUS 79920 HAS SOUPS 79920 WITH SCORE 80012.638
AT ITER 1577 NEW BEST:: SOT 271468 SOS 92500 HAS SOPS 92500 HAS SOUS 79782 HAS SOUPS 79782 WITH SCORE 79874.5
AT ITER 1589 NEW BEST:: SOT 271468 SOS 92500 HAS SOPS 92500 HAS SOUS 79769 HAS SOUPS 79769 WITH SCORE 79861.5
AT ITER 1609 NEW BEST:: SOT 271420 SOS 92452 HAS SOPS 92452 HAS SOUS 79769 HAS SOUPS 79769 WITH SCORE 79861.452
AT ITER 1611 NEW BEST:: SOT 271362 SOS 92394 HAS SOPS 92394 HAS SOUS 79711 HAS SOUPS 79711 WITH SCORE 79803.394
AT ITER 1613 NEW BEST:: SOT 271361 SOS 92393 HAS SOPS 92393 HAS SOUS 79710 HAS SOUPS 79710 WITH SCORE 79802.393
AT ITER 1614 NEW BEST:: SOT 271359 SOS 92391 HAS SOPS 92391 HAS SOUS 79690 HAS SOUPS 79690 WITH SCORE 79782.391
AT ITER 1616 NEW BEST:: SOT 271346 SOS 92309 HAS SOPS 92309 HAS SOUS 79608 HAS SOUPS 79608 WITH SCORE 79700.309
AT ITER 1630 NEW BEST:: SOT 271411 SOS 92195 HAS SOPS 92195 HAS SOUS 79539 HAS SOUPS 79539 WITH SCORE 79631.195
AT ITER 1634 NEW BEST:: SOT 271405 SOS 92183 HAS SOPS 92183 HAS SOUS 79527 HAS SOUPS 79527 WITH SCORE 79619.183
AT ITER 1639 NEW BEST:: SOT 271404 SOS 92181 HAS SOPS 92181 HAS SOUS 79525 HAS SOUPS 79525 WITH SCORE 79617.181
AT ITER 1642 NEW BEST:: SOT 271371 SOS 92148 HAS SOPS 92148 HAS SOUS 79492 HAS SOUPS 79492 WITH SCORE 79584.148
AT ITER 1643 NEW BEST:: SOT 271397 SOS 92179 HAS SOPS 92179 HAS SOUS 79441 HAS SOUPS 79441 WITH SCORE 79533.179
AT ITER 1644 NEW BEST:: SOT 271478 SOS 92163 HAS SOPS 92163 HAS SOUS 79313 HAS SOUPS 79313 WITH SCORE 79405.163
AT ITER 1671 NEW BEST:: SOT 271535 SOS 92157 HAS SOPS 92157 HAS SOUS 79250 HAS SOUPS 79250 WITH SCORE 79342.157
AT ITER 1678 NEW BEST:: SOT 271535 SOS 92156 HAS SOPS 92156 HAS SOUS 79249 HAS SOUPS 79249 WITH SCORE 79341.156
AT ITER 1679 NEW BEST:: SOT 271294 SOS 92100 HAS SOPS 92100 HAS SOUS 79193 HAS SOUPS 79193 WITH SCORE 79285.1
AT ITER 1684 NEW BEST:: SOT 271270 SOS 92052 HAS SOPS 92052 HAS SOUS 79071 HAS SOUPS 79071 WITH SCORE 79163.052
AT ITER 1693 NEW BEST:: SOT 267955 SOS 91176 HAS SOPS 91176 HAS SOUS 76322 HAS SOUPS 76322 WITH SCORE 76413.176
AT ITER 1714 NEW BEST:: SOT 267945 SOS 91166 HAS SOPS 91166 HAS SOUS 76312 HAS SOUPS 76312 WITH SCORE 76403.166
AT ITER 1720 NEW BEST:: SOT 267749 SOS 90796 HAS SOPS 90796 HAS SOUS 75942 HAS SOUPS 75942 WITH SCORE 76032.796
AT ITER 1734 NEW BEST:: SOT 268129 SOS 91105 HAS SOPS 91105 HAS SOUS 75872 HAS SOUPS 75872 WITH SCORE 75963.105
AT ITER 1744 NEW BEST:: SOT 268128 SOS 91104 HAS SOPS 91104 HAS SOUS 75871 HAS SOUPS 75871 WITH SCORE 75962.104
AT ITER 1749 NEW BEST:: SOT 267994 SOS 90920 HAS SOPS 90920 HAS SOUS 75801 HAS SOUPS 75801 WITH SCORE 75891.92
AT ITER 1754 NEW BEST:: SOT 267988 SOS 90981 HAS SOPS 90981 HAS SOUS 75756 HAS SOUPS 75756 WITH SCORE 75846.981
AT ITER 1776 NEW BEST:: SOT 267931 SOS 90742 HAS SOPS 90742 HAS SOUS 75537 HAS SOUPS 75537 WITH SCORE 75627.742
AT ITER 1794 NEW BEST:: SOT 268011 SOS 90735 HAS SOPS 90735 HAS SOUS 75497 HAS SOUPS 75497 WITH SCORE 75587.735
AT ITER 1803 NEW BEST:: SOT 267951 SOS 90645 HAS SOPS 90645 HAS SOUS 75437 HAS SOUPS 75437 WITH SCORE 75527.645
AT ITER 1810 NEW BEST:: SOT 267883 SOS 90577 HAS SOPS 90577 HAS SOUS 75437 HAS SOUPS 75437 WITH SCORE 75527.577
AT ITER 1814 NEW BEST:: SOT 267879 SOS 90573 HAS SOPS 90573 HAS SOUS 75437 HAS SOUPS 75437 WITH SCORE 75527.573
AT ITER 1834 NEW BEST:: SOT 267825 SOS 90467 HAS SOPS 90467 HAS SOUS 75364 HAS SOUPS 75364 WITH SCORE 75454.467
AT ITER 1839 NEW BEST:: SOT 267803 SOS 90336 HAS SOPS 90336 HAS SOUS 75233 HAS SOUPS 75233 WITH SCORE 75323.336
AT ITER 1857 NEW BEST:: SOT 267649 SOS 90149 HAS SOPS 90149 HAS SOUS 75029 HAS SOUPS 75029 WITH SCORE 75119.149
AT ITER 1860 NEW BEST:: SOT 267555 SOS 89891 HAS SOPS 89891 HAS SOUS 74920 HAS SOUPS 74920 WITH SCORE 75009.891
AT ITER 1868 NEW BEST:: SOT 267550 SOS 89888 HAS SOPS 89888 HAS SOUS 74917 HAS SOUPS 74917 WITH SCORE 75006.888
AT ITER 1871 NEW BEST:: SOT 267511 SOS 89828 HAS SOPS 89828 HAS SOUS 74869 HAS SOUPS 74869 WITH SCORE 74958.828
AT ITER 1889 NEW BEST:: SOT 267443 SOS 89726 HAS SOPS 89726 HAS SOUS 74801 HAS SOUPS 74801 WITH SCORE 74890.726
AT ITER 1891 NEW BEST:: SOT 267433 SOS 89716 HAS SOPS 89716 HAS SOUS 74791 HAS SOUPS 74791 WITH SCORE 74880.716
AT ITER 1893 NEW BEST:: SOT 267422 SOS 89714 HAS SOPS 89714 HAS SOUS 74789 HAS SOUPS 74789 WITH SCORE 74878.714
AT ITER 1898 NEW BEST:: SOT 267421 SOS 89623 HAS SOPS 89623 HAS SOUS 74698 HAS SOUPS 74698 WITH SCORE 74787.623
AT ITER 1901 NEW BEST:: SOT 267419 SOS 89369 HAS SOPS 89369 HAS SOUS 74647 HAS SOUPS 74647 WITH SCORE 74736.369
AT ITER 1905 NEW BEST:: SOT 267403 SOS 89240 HAS SOPS 89240 HAS SOUS 74518 HAS SOUPS 74518 WITH SCORE 74607.24
AT ITER 1906 NEW BEST:: SOT 267251 SOS 89145 HAS SOPS 89145 HAS SOUS 74442 HAS SOUPS 74442 WITH SCORE 74531.145
AT ITER 1922 NEW BEST:: SOT 267249 SOS 89141 HAS SOPS 89141 HAS SOUS 74438 HAS SOUPS 74438 WITH SCORE 74527.141
AT ITER 1927 NEW BEST:: SOT 267381 SOS 88924 HAS SOPS 88924 HAS SOUS 74221 HAS SOUPS 74221 WITH SCORE 74309.924
AT ITER 1929 NEW BEST:: SOT 267381 SOS 88781 HAS SOPS 88781 HAS SOUS 74221 HAS SOUPS 74221 WITH SCORE 74309.781
AT ITER 1934 NEW BEST:: SOT 267386 SOS 88785 HAS SOPS 88785 HAS SOUS 74219 HAS SOUPS 74219 WITH SCORE 74307.785
AT ITER 1950 NEW BEST:: SOT 267217 SOS 88447 HAS SOPS 88447 HAS SOUS 74033 HAS SOUPS 74033 WITH SCORE 74121.447
AT ITER 1954 NEW BEST:: SOT 267196 SOS 88426 HAS SOPS 88426 HAS SOUS 74012 HAS SOUPS 74012 WITH SCORE 74100.426
AT ITER 1958 NEW BEST:: SOT 267161 SOS 88292 HAS SOPS 88292 HAS SOUS 73977 HAS SOUPS 73977 WITH SCORE 74065.292
AT ITER 1960 NEW BEST:: SOT 267123 SOS 89112 HAS SOPS 89112 HAS SOUS 73939 HAS SOUPS 73939 WITH SCORE 74028.112
AT ITER 1962 NEW BEST:: SOT 267123 SOS 89034 HAS SOPS 89034 HAS SOUS 73861 HAS SOUPS 73861 WITH SCORE 73950.034
AT ITER 1968 NEW BEST:: SOT 267205 SOS 88936 HAS SOPS 88936 HAS SOUS 73840 HAS SOUPS 73840 WITH SCORE 73928.936
AT ITER 2005 NEW BEST:: SOT 267193 SOS 88924 HAS SOPS 88924 HAS SOUS 73828 HAS SOUPS 73828 WITH SCORE 73916.924
AT ITER 2007 NEW BEST:: SOT 267193 SOS 88818 HAS SOPS 88818 HAS SOUS 73722 HAS SOUPS 73722 WITH SCORE 73810.818
AT ITER 2031 NEW BEST:: SOT 267175 SOS 88800 HAS SOPS 88800 HAS SOUS 73704 HAS SOUPS 73704 WITH SCORE 73792.8
AT ITER 2042 NEW BEST:: SOT 267152 SOS 88773 HAS SOPS 88773 HAS SOUS 73676 HAS SOUPS 73676 WITH SCORE 73764.773
AT ITER 2066 NEW BEST:: SOT 267465 SOS 88686 HAS SOPS 88686 HAS SOUS 73589 HAS SOUPS 73589 WITH SCORE 73677.686
AT ITER 2068 NEW BEST:: SOT 267344 SOS 88657 HAS SOPS 88657 HAS SOUS 73560 HAS SOUPS 73560 WITH SCORE 73648.657
AT ITER 2092 NEW BEST:: SOT 267260 SOS 88489 HAS SOPS 88489 HAS SOUS 73392 HAS SOUPS 73392 WITH SCORE 73480.489
AT ITER 2098 NEW BEST:: SOT 267354 SOS 88491 HAS SOPS 88491 HAS SOUS 73300 HAS SOUPS 73300 WITH SCORE 73388.491
AT ITER 2119 NEW BEST:: SOT 267349 SOS 88481 HAS SOPS 88481 HAS SOUS 73290 HAS SOUPS 73290 WITH SCORE 73378.481
AT ITER 2139 NEW BEST:: SOT 267327 SOS 88473 HAS SOPS 88473 HAS SOUS 73260 HAS SOUPS 73260 WITH SCORE 73348.473
AT ITER 2140 NEW BEST:: SOT 267289 SOS 88358 HAS SOPS 88358 HAS SOUS 73183 HAS SOUPS 73183 WITH SCORE 73271.358
AT ITER 2147 NEW BEST:: SOT 267237 SOS 88306 HAS SOPS 88306 HAS SOUS 73131 HAS SOUPS 73131 WITH SCORE 73219.306
AT ITER 2158 NEW BEST:: SOT 267237 SOS 88266 HAS SOPS 88266 HAS SOUS 73091 HAS SOUPS 73091 WITH SCORE 73179.266
AT ITER 2165 NEW BEST:: SOT 267251 SOS 88168 HAS SOPS 88168 HAS SOUS 72993 HAS SOUPS 72993 WITH SCORE 73081.168
AT ITER 2166 NEW BEST:: SOT 267121 SOS 88031 HAS SOPS 88031 HAS SOUS 72974 HAS SOUPS 72974 WITH SCORE 73062.031
AT ITER 2170 NEW BEST:: SOT 267050 SOS 87900 HAS SOPS 87900 HAS SOUS 72843 HAS SOUPS 72843 WITH SCORE 72930.9
AT ITER 2172 NEW BEST:: SOT 266988 SOS 87898 HAS SOPS 87898 HAS SOUS 72841 HAS SOUPS 72841 WITH SCORE 72928.898
AT ITER 2178 NEW BEST:: SOT 266988 SOS 87898 HAS SOPS 87898 HAS SOUS 72795 HAS SOUPS 72795 WITH SCORE 72882.898
AT ITER 2179 NEW BEST:: SOT 266954 SOS 87715 HAS SOPS 87715 HAS SOUS 72761 HAS SOUPS 72761 WITH SCORE 72848.715
AT ITER 2184 NEW BEST:: SOT 266912 SOS 87581 HAS SOPS 87581 HAS SOUS 72714 HAS SOUPS 72714 WITH SCORE 72801.581
AT ITER 2217 NEW BEST:: SOT 267094 SOS 87557 HAS SOPS 87557 HAS SOUS 72690 HAS SOUPS 72690 WITH SCORE 72777.557
AT ITER 2229 NEW BEST:: SOT 266908 SOS 87338 HAS SOPS 87338 HAS SOUS 72471 HAS SOUPS 72471 WITH SCORE 72558.338
AT ITER 2255 NEW BEST:: SOT 266761 SOS 87204 HAS SOPS 87204 HAS SOUS 72430 HAS SOUPS 72430 WITH SCORE 72517.204
AT ITER 2268 NEW BEST:: SOT 266761 SOS 87192 HAS SOPS 87192 HAS SOUS 72424 HAS SOUPS 72424 WITH SCORE 72511.192
AT ITER 2277 NEW BEST:: SOT 266688 SOS 87119 HAS SOPS 87119 HAS SOUS 72351 HAS SOUPS 72351 WITH SCORE 72438.119
AT ITER 2283 NEW BEST:: SOT 266576 SOS 87034 HAS SOPS 87034 HAS SOUS 72266 HAS SOUPS 72266 WITH SCORE 72353.034
AT ITER 2284 NEW BEST:: SOT 266574 SOS 87032 HAS SOPS 87032 HAS SOUS 72264 HAS SOUPS 72264 WITH SCORE 72351.032
AT ITER 2299 NEW BEST:: SOT 266483 SOS 86900 HAS SOPS 86900 HAS SOUS 72132 HAS SOUPS 72132 WITH SCORE 72218.9
AT ITER 2312 NEW BEST:: SOT 266483 SOS 86863 HAS SOPS 86863 HAS SOUS 72095 HAS SOUPS 72095 WITH SCORE 72181.863
AT ITER 2315 NEW BEST:: SOT 266469 SOS 86889 HAS SOPS 86889 HAS SOUS 72082 HAS SOUPS 72082 WITH SCORE 72168.889
AT ITER 2328 NEW BEST:: SOT 266457 SOS 86833 HAS SOPS 86833 HAS SOUS 71982 HAS SOUPS 71982 WITH SCORE 72068.833
AT ITER 2334 NEW BEST:: SOT 266455 SOS 86807 HAS SOPS 86807 HAS SOUS 71956 HAS SOUPS 71956 WITH SCORE 72042.807
AT ITER 2355 NEW BEST:: SOT 266361 SOS 86749 HAS SOPS 86749 HAS SOUS 71898 HAS SOUPS 71898 WITH SCORE 71984.749
AT ITER 2367 NEW BEST:: SOT 266315 SOS 86666 HAS SOPS 86666 HAS SOUS 71888 HAS SOUPS 71888 WITH SCORE 71974.666
AT ITER 2368 NEW BEST:: SOT 266315 SOS 86570 HAS SOPS 86570 HAS SOUS 71690 HAS SOUPS 71690 WITH SCORE 71776.57
AT ITER 2386 NEW BEST:: SOT 266315 SOS 86499 HAS SOPS 86499 HAS SOUS 71619 HAS SOUPS 71619 WITH SCORE 71705.499
AT ITER 2387 NEW BEST:: SOT 266153 SOS 86235 HAS SOPS 86235 HAS SOUS 71551 HAS SOUPS 71551 WITH SCORE 71637.235
AT ITER 2393 NEW BEST:: SOT 266176 SOS 86647 HAS SOPS 86647 HAS SOUS 71513 HAS SOUPS 71513 WITH SCORE 71599.647
AT ITER 2396 NEW BEST:: SOT 266173 SOS 86644 HAS SOPS 86644 HAS SOUS 71510 HAS SOUPS 71510 WITH SCORE 71596.644
AT ITER 2399 NEW BEST:: SOT 266205 SOS 86490 HAS SOPS 86490 HAS SOUS 71356 HAS SOUPS 71356 WITH SCORE 71442.49
AT ITER 2400 NEW BEST:: SOT 266174 SOS 85963 HAS SOPS 85963 HAS SOUS 71294 HAS SOUPS 71294 WITH SCORE 71379.963
AT ITER 2401 NEW BEST:: SOT 266130 SOS 85875 HAS SOPS 85875 HAS SOUS 71206 HAS SOUPS 71206 WITH SCORE 71291.875
AT ITER 2406 NEW BEST:: SOT 265850 SOS 85575 HAS SOPS 85575 HAS SOUS 70833 HAS SOUPS 70833 WITH SCORE 70918.575
AT ITER 2413 NEW BEST:: SOT 265745 SOS 85517 HAS SOPS 85517 HAS SOUS 70798 HAS SOUPS 70798 WITH SCORE 70883.517
AT ITER 2428 NEW BEST:: SOT 265687 SOS 85459 HAS SOPS 85459 HAS SOUS 70740 HAS SOUPS 70740 WITH SCORE 70825.459
AT ITER 2441 NEW BEST:: SOT 265559 SOS 85301 HAS SOPS 85301 HAS SOUS 70680 HAS SOUPS 70680 WITH SCORE 70765.301
AT ITER 2452 NEW BEST:: SOT 265691 SOS 85433 HAS SOPS 85433 HAS SOUS 70679 HAS SOUPS 70679 WITH SCORE 70764.433
AT ITER 2470 NEW BEST:: SOT 265624 SOS 85366 HAS SOPS 85366 HAS SOUS 70679 HAS SOUPS 70679 WITH SCORE 70764.366
AT ITER 2471 NEW BEST:: SOT 265459 SOS 85200 HAS SOPS 85200 HAS SOUS 70556 HAS SOUPS 70556 WITH SCORE 70641.2
AT ITER 2474 NEW BEST:: SOT 265459 SOS 85187 HAS SOPS 85187 HAS SOUS 70543 HAS SOUPS 70543 WITH SCORE 70628.187
AT ITER 2492 NEW BEST:: SOT 265426 SOS 85107 HAS SOPS 85107 HAS SOUS 70463 HAS SOUPS 70463 WITH SCORE 70548.107
AT ITER 2520 NEW BEST:: SOT 265423 SOS 85098 HAS SOPS 85098 HAS SOUS 70454 HAS SOUPS 70454 WITH SCORE 70539.098
AT ITER 2528 NEW BEST:: SOT 265400 SOS 85075 HAS SOPS 85075 HAS SOUS 70431 HAS SOUPS 70431 WITH SCORE 70516.075
AT ITER 2537 NEW BEST:: SOT 265407 SOS 85073 HAS SOPS 85073 HAS SOUS 70429 HAS SOUPS 70429 WITH SCORE 70514.073
AT ITER 2541 NEW BEST:: SOT 265339 SOS 85050 HAS SOPS 85050 HAS SOUS 70406 HAS SOUPS 70406 WITH SCORE 70491.05
AT ITER 2545 NEW BEST:: SOT 265333 SOS 85038 HAS SOPS 85038 HAS SOUS 70400 HAS SOUPS 70400 WITH SCORE 70485.038
AT ITER 2555 NEW BEST:: SOT 265333 SOS 85019 HAS SOPS 85019 HAS SOUS 70381 HAS SOUPS 70381 WITH SCORE 70466.019
AT ITER 2561 NEW BEST:: SOT 265406 SOS 84953 HAS SOPS 84953 HAS SOUS 70315 HAS SOUPS 70315 WITH SCORE 70399.953
AT ITER 2568 NEW BEST:: SOT 265140 SOS 84585 HAS SOPS 84585 HAS SOUS 70170 HAS SOUPS 70170 WITH SCORE 70254.585
AT ITER 2581 NEW BEST:: SOT 265045 SOS 84398 HAS SOPS 84398 HAS SOUS 69983 HAS SOUPS 69983 WITH SCORE 70067.398
AT ITER 2584 NEW BEST:: SOT 265028 SOS 84379 HAS SOPS 84379 HAS SOUS 69964 HAS SOUPS 69964 WITH SCORE 70048.379
AT ITER 2599 NEW BEST:: SOT 264888 SOS 84397 HAS SOPS 84397 HAS SOUS 69943 HAS SOUPS 69943 WITH SCORE 70027.397
AT ITER 2619 NEW BEST:: SOT 264677 SOS 83975 HAS SOPS 83975 HAS SOUS 69715 HAS SOUPS 69715 WITH SCORE 69798.975
AT ITER 2641 NEW BEST:: SOT 264558 SOS 83737 HAS SOPS 83737 HAS SOUS 69477 HAS SOUPS 69477 WITH SCORE 69560.737
AT ITER 2645 NEW BEST:: SOT 264571 SOS 83735 HAS SOPS 83735 HAS SOUS 69471 HAS SOUPS 69471 WITH SCORE 69554.735
AT ITER 2651 NEW BEST:: SOT 264570 SOS 83733 HAS SOPS 83733 HAS SOUS 69469 HAS SOUPS 69469 WITH SCORE 69552.733
AT ITER 2652 NEW BEST:: SOT 264354 SOS 83517 HAS SOPS 83517 HAS SOUS 69253 HAS SOUPS 69253 WITH SCORE 69336.517
AT ITER 2674 NEW BEST:: SOT 264383 SOS 83514 HAS SOPS 83514 HAS SOUS 69250 HAS SOUPS 69250 WITH SCORE 69333.514
AT ITER 2681 NEW BEST:: SOT 264350 SOS 83448 HAS SOPS 83448 HAS SOUS 69179 HAS SOUPS 69179 WITH SCORE 69262.448
AT ITER 2685 NEW BEST:: SOT 264314 SOS 83376 HAS SOPS 83376 HAS SOUS 69143 HAS SOUPS 69143 WITH SCORE 69226.376
AT ITER 2701 NEW BEST:: SOT 264295 SOS 83357 HAS SOPS 83357 HAS SOUS 69124 HAS SOUPS 69124 WITH SCORE 69207.357
AT ITER 2707 NEW BEST:: SOT 264261 SOS 83323 HAS SOPS 83323 HAS SOUS 69090 HAS SOUPS 69090 WITH SCORE 69173.323
AT ITER 2720 NEW BEST:: SOT 264218 SOS 83280 HAS SOPS 83280 HAS SOUS 69047 HAS SOUPS 69047 WITH SCORE 69130.28
AT ITER 2721 NEW BEST:: SOT 264218 SOS 83264 HAS SOPS 83264 HAS SOUS 69031 HAS SOUPS 69031 WITH SCORE 69114.264
AT ITER 2725 NEW BEST:: SOT 264218 SOS 83231 HAS SOPS 83231 HAS SOUS 68998 HAS SOUPS 68998 WITH SCORE 69081.231
AT ITER 2727 NEW BEST:: SOT 264185 SOS 83198 HAS SOPS 83198 HAS SOUS 68965 HAS SOUPS 68965 WITH SCORE 69048.198
AT ITER 2729 NEW BEST:: SOT 264143 SOS 83114 HAS SOPS 83114 HAS SOUS 68928 HAS SOUPS 68928 WITH SCORE 69011.114
AT ITER 2748 NEW BEST:: SOT 264219 SOS 83090 HAS SOPS 83090 HAS SOUS 68904 HAS SOUPS 68904 WITH SCORE 68987.09
AT ITER 2751 NEW BEST:: SOT 264213 SOS 83078 HAS SOPS 83078 HAS SOUS 68892 HAS SOUPS 68892 WITH SCORE 68975.078
AT ITER 2752 NEW BEST:: SOT 264213 SOS 83078 HAS SOPS 83078 HAS SOUS 68862 HAS SOUPS 68862 WITH SCORE 68945.078
AT ITER 2758 NEW BEST:: SOT 264146 SOS 83011 HAS SOPS 83011 HAS SOUS 68795 HAS SOUPS 68795 WITH SCORE 68878.011
AT ITER 2779 NEW BEST:: SOT 264134 SOS 82987 HAS SOPS 82987 HAS SOUS 68771 HAS SOUPS 68771 WITH SCORE 68853.987
AT ITER 2808 NEW BEST:: SOT 264186 SOS 82973 HAS SOPS 82973 HAS SOUS 68757 HAS SOUPS 68757 WITH SCORE 68839.973
AT ITER 2814 NEW BEST:: SOT 264186 SOS 82973 HAS SOPS 82973 HAS SOUS 68687 HAS SOUPS 68687 WITH SCORE 68769.973
AT ITER 2820 NEW BEST:: SOT 264186 SOS 82973 HAS SOPS 82973 HAS SOUS 68678 HAS SOUPS 68678 WITH SCORE 68760.973
AT ITER 2824 NEW BEST:: SOT 264142 SOS 82925 HAS SOPS 82925 HAS SOUS 68674 HAS SOUPS 68674 WITH SCORE 68756.925
AT ITER 2835 NEW BEST:: SOT 263836 SOS 82618 HAS SOPS 82618 HAS SOUS 68367 HAS SOUPS 68367 WITH SCORE 68449.618
AT ITER 2837 NEW BEST:: SOT 263818 SOS 82600 HAS SOPS 82600 HAS SOUS 68349 HAS SOUPS 68349 WITH SCORE 68431.6
AT ITER 2844 NEW BEST:: SOT 263777 SOS 82597 HAS SOPS 82597 HAS SOUS 68346 HAS SOUPS 68346 WITH SCORE 68428.597
AT ITER 2861 NEW BEST:: SOT 263719 SOS 82502 HAS SOPS 82502 HAS SOUS 68317 HAS SOUPS 68317 WITH SCORE 68399.502
AT ITER 2868 NEW BEST:: SOT 263635 SOS 82397 HAS SOPS 82397 HAS SOUS 68199 HAS SOUPS 68199 WITH SCORE 68281.397
AT ITER 2870 NEW BEST:: SOT 263635 SOS 82397 HAS SOPS 82397 HAS SOUS 68198 HAS SOUPS 68198 WITH SCORE 68280.397
AT ITER 2871 NEW BEST:: SOT 263595 SOS 82267 HAS SOPS 82267 HAS SOUS 68068 HAS SOUPS 68068 WITH SCORE 68150.267
AT ITER 2891 NEW BEST:: SOT 263613 SOS 82235 HAS SOPS 82235 HAS SOUS 68028 HAS SOUPS 68028 WITH SCORE 68110.235
AT ITER 2903 NEW BEST:: SOT 263569 SOS 82191 HAS SOPS 82191 HAS SOUS 67984 HAS SOUPS 67984 WITH SCORE 68066.191
AT ITER 2910 NEW BEST:: SOT 263472 SOS 81997 HAS SOPS 81997 HAS SOUS 67953 HAS SOUPS 67953 WITH SCORE 68034.997
AT ITER 2911 NEW BEST:: SOT 263472 SOS 81996 HAS SOPS 81996 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68033.996
AT ITER 2914 NEW BEST:: SOT 263481 SOS 81990 HAS SOPS 81990 HAS SOUS 67946 HAS SOUPS 67946 WITH SCORE 68027.99
AT ITER 2926 NEW BEST:: SOT 263348 SOS 81857 HAS SOPS 81857 HAS SOUS 67917 HAS SOUPS 67917 WITH SCORE 67998.857
AT ITER 2938 NEW BEST:: SOT 263429 SOS 81743 HAS SOPS 81743 HAS SOUS 67870 HAS SOUPS 67870 WITH SCORE 67951.743
AT ITER 2946 NEW BEST:: SOT 263416 SOS 81730 HAS SOPS 81730 HAS SOUS 67859 HAS SOUPS 67859 WITH SCORE 67940.73
AT ITER 2949 NEW BEST:: SOT 263392 SOS 81574 HAS SOPS 81574 HAS SOUS 67612 HAS SOUPS 67612 WITH SCORE 67693.574
AT ITER 2963 NEW BEST:: SOT 263085 SOS 81167 HAS SOPS 81167 HAS SOUS 67305 HAS SOUPS 67305 WITH SCORE 67386.167
AT ITER 2973 NEW BEST:: SOT 263071 SOS 81135 HAS SOPS 81135 HAS SOUS 67273 HAS SOUPS 67273 WITH SCORE 67354.135
AT ITER 2986 NEW BEST:: SOT 263071 SOS 81114 HAS SOPS 81114 HAS SOUS 67252 HAS SOUPS 67252 WITH SCORE 67333.114
AT ITER 2988 NEW BEST:: SOT 263073 SOS 81031 HAS SOPS 81031 HAS SOUS 67169 HAS SOUPS 67169 WITH SCORE 67250.031
AT ITER 2992 NEW BEST:: SOT 263069 SOS 81025 HAS SOPS 81025 HAS SOUS 67165 HAS SOUPS 67165 WITH SCORE 67246.025
AT ITER 2997 NEW BEST:: SOT 263157 SOS 80966 HAS SOPS 80966 HAS SOUS 67106 HAS SOUPS 67106 WITH SCORE 67186.966
AT ITER 3007 NEW BEST:: SOT 263270 SOS 81079 HAS SOPS 81079 HAS SOUS 67101 HAS SOUPS 67101 WITH SCORE 67182.079
AT ITER 3011 NEW BEST:: SOT 263289 SOS 80948 HAS SOPS 80948 HAS SOUS 66970 HAS SOUPS 66970 WITH SCORE 67050.948
AT ITER 3015 NEW BEST:: SOT 263289 SOS 80946 HAS SOPS 80946 HAS SOUS 66968 HAS SOUPS 66968 WITH SCORE 67048.946
AT ITER 3016 NEW BEST:: SOT 262768 SOS 84853 HAS SOPS 84853 HAS SOUS 66607 HAS SOUPS 66607 WITH SCORE 66691.853
AT ITER 3030 NEW BEST:: SOT 262793 SOS 84903 HAS SOPS 84903 HAS SOUS 66576 HAS SOUPS 66576 WITH SCORE 66660.903
AT ITER 3064 NEW BEST:: SOT 262627 SOS 84737 HAS SOPS 84737 HAS SOUS 66410 HAS SOUPS 66410 WITH SCORE 66494.737
AT ITER 3085 NEW BEST:: SOT 262613 SOS 84727 HAS SOPS 84727 HAS SOUS 66400 HAS SOUPS 66400 WITH SCORE 66484.727
AT ITER 3093 NEW BEST:: SOT 262594 SOS 84696 HAS SOPS 84696 HAS SOUS 66322 HAS SOUPS 66322 WITH SCORE 66406.696
AT ITER 3109 NEW BEST:: SOT 262568 SOS 84641 HAS SOPS 84641 HAS SOUS 66267 HAS SOUPS 66267 WITH SCORE 66351.641
AT ITER 3157 NEW BEST:: SOT 262445 SOS 89470 HAS SOPS 89470 HAS SOUS 66218 HAS SOUPS 66218 WITH SCORE 66307.47
AT ITER 3189 NEW BEST:: SOT 262375 SOS 89365 HAS SOPS 89365 HAS SOUS 66148 HAS SOUPS 66148 WITH SCORE 66237.365
AT ITER 3208 NEW BEST:: SOT 262351 SOS 89361 HAS SOPS 89361 HAS SOUS 66144 HAS SOUPS 66144 WITH SCORE 66233.361
AT ITER 3213 NEW BEST:: SOT 262349 SOS 89346 HAS SOPS 89346 HAS SOUS 66140 HAS SOUPS 66140 WITH SCORE 66229.346
AT ITER 3218 NEW BEST:: SOT 262297 SOS 89174 HAS SOPS 89174 HAS SOUS 65968 HAS SOUPS 65968 WITH SCORE 66057.174
AT ITER 3226 NEW BEST:: SOT 262252 SOS 89174 HAS SOPS 89174 HAS SOUS 65923 HAS SOUPS 65923 WITH SCORE 66012.174
AT ITER 3244 NEW BEST:: SOT 262252 SOS 89170 HAS SOPS 89170 HAS SOUS 65919 HAS SOUPS 65919 WITH SCORE 66008.17
AT ITER 3251 NEW BEST:: SOT 262240 SOS 89137 HAS SOPS 89137 HAS SOUS 65907 HAS SOUPS 65907 WITH SCORE 65996.137
AT ITER 3255 NEW BEST:: SOT 262295 SOS 89192 HAS SOPS 89192 HAS SOUS 65866 HAS SOUPS 65866 WITH SCORE 65955.192
AT ITER 3259 NEW BEST:: SOT 262217 SOS 89109 HAS SOPS 89109 HAS SOUS 65856 HAS SOUPS 65856 WITH SCORE 65945.109
AT ITER 3260 NEW BEST:: SOT 262234 SOS 89108 HAS SOPS 89108 HAS SOUS 65855 HAS SOUPS 65855 WITH SCORE 65944.108
AT ITER 3275 NEW BEST:: SOT 262286 SOS 89041 HAS SOPS 89041 HAS SOUS 65854 HAS SOUPS 65854 WITH SCORE 65943.041
AT ITER 3283 NEW BEST:: SOT 262229 SOS 88990 HAS SOPS 88990 HAS SOUS 65803 HAS SOUPS 65803 WITH SCORE 65891.99
AT ITER 3291 NEW BEST:: SOT 262300 SOS 88921 HAS SOPS 88921 HAS SOUS 65716 HAS SOUPS 65716 WITH SCORE 65804.921
AT ITER 3293 NEW BEST:: SOT 262300 SOS 88911 HAS SOPS 88911 HAS SOUS 65706 HAS SOUPS 65706 WITH SCORE 65794.911
AT ITER 3297 NEW BEST:: SOT 262217 SOS 88745 HAS SOPS 88745 HAS SOUS 65386 HAS SOUPS 65386 WITH SCORE 65474.745
AT ITER 3300 NEW BEST:: SOT 262229 SOS 88741 HAS SOPS 88741 HAS SOUS 65290 HAS SOUPS 65290 WITH SCORE 65378.741
AT ITER 3308 NEW BEST:: SOT 262213 SOS 88709 HAS SOPS 88709 HAS SOUS 65258 HAS SOUPS 65258 WITH SCORE 65346.709
AT ITER 3309 NEW BEST:: SOT 262234 SOS 88658 HAS SOPS 88658 HAS SOUS 65207 HAS SOUPS 65207 WITH SCORE 65295.658
AT ITER 3315 NEW BEST:: SOT 262190 SOS 88526 HAS SOPS 88526 HAS SOUS 65119 HAS SOUPS 65119 WITH SCORE 65207.526
AT ITER 3332 NEW BEST:: SOT 262015 SOS 88176 HAS SOPS 88176 HAS SOUS 64944 HAS SOUPS 64944 WITH SCORE 65032.176
AT ITER 3341 NEW BEST:: SOT 262013 SOS 88174 HAS SOPS 88174 HAS SOUS 64942 HAS SOUPS 64942 WITH SCORE 65030.174
AT ITER 3359 NEW BEST:: SOT 262018 SOS 88202 HAS SOPS 88202 HAS SOUS 64909 HAS SOUPS 64909 WITH SCORE 64997.202
AT ITER 3372 NEW BEST:: SOT 262018 SOS 88164 HAS SOPS 88164 HAS SOUS 64871 HAS SOUPS 64871 WITH SCORE 64959.164
AT ITER 3387 NEW BEST:: SOT 261978 SOS 88008 HAS SOPS 88008 HAS SOUS 64846 HAS SOUPS 64846 WITH SCORE 64934.008
AT ITER 3396 NEW BEST:: SOT 261977 SOS 87991 HAS SOPS 87991 HAS SOUS 64835 HAS SOUPS 64835 WITH SCORE 64922.991
AT ITER 3405 NEW BEST:: SOT 261991 SOS 87977 HAS SOPS 87977 HAS SOUS 64821 HAS SOUPS 64821 WITH SCORE 64908.977
AT ITER 3439 NEW BEST:: SOT 261949 SOS 87914 HAS SOPS 87914 HAS SOUS 64779 HAS SOUPS 64779 WITH SCORE 64866.914
AT ITER 3509 NEW BEST:: SOT 261988 SOS 87862 HAS SOPS 87862 HAS SOUS 64756 HAS SOUPS 64756 WITH SCORE 64843.862
AT ITER 3522 NEW BEST:: SOT 261939 SOS 87764 HAS SOPS 87764 HAS SOUS 64741 HAS SOUPS 64741 WITH SCORE 64828.764
AT ITER 3529 NEW BEST:: SOT 261918 SOS 87731 HAS SOPS 87731 HAS SOUS 64708 HAS SOUPS 64708 WITH SCORE 64795.731
AT ITER 3533 NEW BEST:: SOT 261877 SOS 87690 HAS SOPS 87690 HAS SOUS 64667 HAS SOUPS 64667 WITH SCORE 64754.69
AT ITER 3585 NEW BEST:: SOT 261745 SOS 87538 HAS SOPS 87538 HAS SOUS 64581 HAS SOUPS 64581 WITH SCORE 64668.538
AT ITER 3612 NEW BEST:: SOT 261721 SOS 87510 HAS SOPS 87510 HAS SOUS 64565 HAS SOUPS 64565 WITH SCORE 64652.51
AT ITER 3623 NEW BEST:: SOT 261709 SOS 87495 HAS SOPS 87495 HAS SOUS 64553 HAS SOUPS 64553 WITH SCORE 64640.495
AT ITER 3631 NEW BEST:: SOT 261699 SOS 87475 HAS SOPS 87475 HAS SOUS 64543 HAS SOUPS 64543 WITH SCORE 64630.475
AT ITER 3636 NEW BEST:: SOT 261698 SOS 87474 HAS SOPS 87474 HAS SOUS 64542 HAS SOUPS 64542 WITH SCORE 64629.474
AT ITER 3644 NEW BEST:: SOT 261611 SOS 87424 HAS SOPS 87424 HAS SOUS 64535 HAS SOUPS 64535 WITH SCORE 64622.424
AT ITER 3649 NEW BEST:: SOT 261595 SOS 87400 HAS SOPS 87400 HAS SOUS 64511 HAS SOUPS 64511 WITH SCORE 64598.4
AT ITER 3673 NEW BEST:: SOT 261385 SOS 87190 HAS SOPS 87190 HAS SOUS 64301 HAS SOUPS 64301 WITH SCORE 64388.19
AT ITER 3689 NEW BEST:: SOT 261380 SOS 87167 HAS SOPS 87167 HAS SOUS 64278 HAS SOUPS 64278 WITH SCORE 64365.167
AT ITER 3739 NEW BEST:: SOT 261380 SOS 86136 HAS SOPS 86136 HAS SOUS 64277 HAS SOUPS 64277 WITH SCORE 64363.136
AT ITER 3753 NEW BEST:: SOT 261380 SOS 86112 HAS SOPS 86112 HAS SOUS 64253 HAS SOUPS 64253 WITH SCORE 64339.112
AT ITER 3792 NEW BEST:: SOT 261380 SOS 86035 HAS SOPS 86035 HAS SOUS 64176 HAS SOUPS 64176 WITH SCORE 64262.035
AT ITER 3803 NEW BEST:: SOT 261366 SOS 86015 HAS SOPS 86015 HAS SOUS 64164 HAS SOUPS 64164 WITH SCORE 64250.015
AT ITER 3808 NEW BEST:: SOT 261206 SOS 85855 HAS SOPS 85855 HAS SOUS 64157 HAS SOUPS 64157 WITH SCORE 64242.855
AT ITER 3817 NEW BEST:: SOT 261178 SOS 85812 HAS SOPS 85812 HAS SOUS 64114 HAS SOUPS 64114 WITH SCORE 64199.812
AT ITER 3830 NEW BEST:: SOT 261121 SOS 85755 HAS SOPS 85755 HAS SOUS 64074 HAS SOUPS 64074 WITH SCORE 64159.755
AT ITER 3850 NEW BEST:: SOT 261121 SOS 85748 HAS SOPS 85748 HAS SOUS 64067 HAS SOUPS 64067 WITH SCORE 64152.748
AT ITER 3854 NEW BEST:: SOT 261117 SOS 85738 HAS SOPS 85738 HAS SOUS 64057 HAS SOUPS 64057 WITH SCORE 64142.738
AT ITER 3870 NEW BEST:: SOT 261083 SOS 85734 HAS SOPS 85734 HAS SOUS 64053 HAS SOUPS 64053 WITH SCORE 64138.734
AT ITER 3880 NEW BEST:: SOT 261013 SOS 85594 HAS SOPS 85594 HAS SOUS 63913 HAS SOUPS 63913 WITH SCORE 63998.594
AT ITER 3889 NEW BEST:: SOT 261113 SOS 85694 HAS SOPS 85694 HAS SOUS 63912 HAS SOUPS 63912 WITH SCORE 63997.694
AT ITER 3903 NEW BEST:: SOT 261090 SOS 85614 HAS SOPS 85614 HAS SOUS 63832 HAS SOUPS 63832 WITH SCORE 63917.614
AT ITER 3907 NEW BEST:: SOT 261090 SOS 85613 HAS SOPS 85613 HAS SOUS 63831 HAS SOUPS 63831 WITH SCORE 63916.613
AT ITER 3926 NEW BEST:: SOT 261046 SOS 85506 HAS SOPS 85506 HAS SOUS 63768 HAS SOUPS 63768 WITH SCORE 63853.506
AT ITER 3936 NEW BEST:: SOT 261049 SOS 85477 HAS SOPS 85477 HAS SOUS 63739 HAS SOUPS 63739 WITH SCORE 63824.477
AT ITER 3980 NEW BEST:: SOT 261013 SOS 85401 HAS SOPS 85401 HAS SOUS 63663 HAS SOUPS 63663 WITH SCORE 63748.401
AT ITER 3981 NEW BEST:: SOT 260983 SOS 85320 HAS SOPS 85320 HAS SOUS 63582 HAS SOUPS 63582 WITH SCORE 63667.32
AT ITER 3983 NEW BEST:: SOT 261015 SOS 85312 HAS SOPS 85312 HAS SOUS 63519 HAS SOUPS 63519 WITH SCORE 63604.312
AT ITER 3994 NEW BEST:: SOT 260901 SOS 85063 HAS SOPS 85063 HAS SOUS 63291 HAS SOUPS 63291 WITH SCORE 63376.063
AT ITER 4002 NEW BEST:: SOT 260870 SOS 85032 HAS SOPS 85032 HAS SOUS 63260 HAS SOUPS 63260 WITH SCORE 63345.032
AT ITER 4020 NEW BEST:: SOT 260887 SOS 85030 HAS SOPS 85030 HAS SOUS 63258 HAS SOUPS 63258 WITH SCORE 63343.03
AT ITER 4030 NEW BEST:: SOT 260882 SOS 84949 HAS SOPS 84949 HAS SOUS 63253 HAS SOUPS 63253 WITH SCORE 63337.949
AT ITER 4031 NEW BEST:: SOT 260875 SOS 84944 HAS SOPS 84944 HAS SOUS 63248 HAS SOUPS 63248 WITH SCORE 63332.944
AT ITER 4047 NEW BEST:: SOT 260871 SOS 84940 HAS SOPS 84940 HAS SOUS 63244 HAS SOUPS 63244 WITH SCORE 63328.94
AT ITER 4070 NEW BEST:: SOT 260871 SOS 84910 HAS SOPS 84910 HAS SOUS 63214 HAS SOUPS 63214 WITH SCORE 63298.91
AT ITER 4071 NEW BEST:: SOT 260823 SOS 84862 HAS SOPS 84862 HAS SOUS 63166 HAS SOUPS 63166 WITH SCORE 63250.862
AT ITER 4073 NEW BEST:: SOT 260753 SOS 84708 HAS SOPS 84708 HAS SOUS 63104 HAS SOUPS 63104 WITH SCORE 63188.708
AT ITER 4079 NEW BEST:: SOT 260849 SOS 84800 HAS SOPS 84800 HAS SOUS 63096 HAS SOUPS 63096 WITH SCORE 63180.8
AT ITER 4090 NEW BEST:: SOT 260849 SOS 84800 HAS SOPS 84800 HAS SOUS 63082 HAS SOUPS 63082 WITH SCORE 63166.8
AT ITER 4105 NEW BEST:: SOT 260849 SOS 84800 HAS SOPS 84800 HAS SOUS 63051 HAS SOUPS 63051 WITH SCORE 63135.8
AT ITER 4107 NEW BEST:: SOT 260774 SOS 84743 HAS SOPS 84743 HAS SOUS 62994 HAS SOUPS 62994 WITH SCORE 63078.743
AT ITER 4110 NEW BEST:: SOT 260781 SOS 84734 HAS SOPS 84734 HAS SOUS 62980 HAS SOUPS 62980 WITH SCORE 63064.734
AT ITER 4114 NEW BEST:: SOT 260414 SOS 84253 HAS SOPS 84253 HAS SOUS 62743 HAS SOUPS 62743 WITH SCORE 62827.253
AT ITER 4123 NEW BEST:: SOT 260407 SOS 84246 HAS SOPS 84246 HAS SOUS 62736 HAS SOUPS 62736 WITH SCORE 62820.246
AT ITER 4132 NEW BEST:: SOT 260357 SOS 84224 HAS SOPS 84224 HAS SOUS 62714 HAS SOUPS 62714 WITH SCORE 62798.224
AT ITER 4143 NEW BEST:: SOT 260357 SOS 84217 HAS SOPS 84217 HAS SOUS 62707 HAS SOUPS 62707 WITH SCORE 62791.217
AT ITER 4146 NEW BEST:: SOT 260355 SOS 84183 HAS SOPS 84183 HAS SOUS 62703 HAS SOUPS 62703 WITH SCORE 62787.183
AT ITER 4180 NEW BEST:: SOT 260151 SOS 83964 HAS SOPS 83964 HAS SOUS 62673 HAS SOUPS 62673 WITH SCORE 62756.964
AT ITER 4192 NEW BEST:: SOT 260193 SOS 83969 HAS SOPS 83969 HAS SOUS 62652 HAS SOUPS 62652 WITH SCORE 62735.969
AT ITER 4210 NEW BEST:: SOT 260171 SOS 83936 HAS SOPS 83936 HAS SOUS 62619 HAS SOUPS 62619 WITH SCORE 62702.936
AT ITER 4211 NEW BEST:: SOT 260146 SOS 83911 HAS SOPS 83911 HAS SOUS 62594 HAS SOUPS 62594 WITH SCORE 62677.911
AT ITER 4252 NEW BEST:: SOT 260085 SOS 83716 HAS SOPS 83716 HAS SOUS 62460 HAS SOUPS 62460 WITH SCORE 62543.716
AT ITER 4266 NEW BEST:: SOT 260102 SOS 83750 HAS SOPS 83750 HAS SOUS 62447 HAS SOUPS 62447 WITH SCORE 62530.75
AT ITER 4267 NEW BEST:: SOT 260044 SOS 83692 HAS SOPS 83692 HAS SOUS 62389 HAS SOUPS 62389 WITH SCORE 62472.692
AT ITER 4276 NEW BEST:: SOT 260044 SOS 83682 HAS SOPS 83682 HAS SOUS 62384 HAS SOUPS 62384 WITH SCORE 62467.682
AT ITER 4291 NEW BEST:: SOT 260083 SOS 83692 HAS SOPS 83692 HAS SOUS 62317 HAS SOUPS 62317 WITH SCORE 62400.692
AT ITER 4302 NEW BEST:: SOT 260057 SOS 83640 HAS SOPS 83640 HAS SOUS 62265 HAS SOUPS 62265 WITH SCORE 62348.64
AT ITER 4310 NEW BEST:: SOT 260034 SOS 83704 HAS SOPS 83704 HAS SOUS 62242 HAS SOUPS 62242 WITH SCORE 62325.704
AT ITER 4312 NEW BEST:: SOT 259997 SOS 83697 HAS SOPS 83697 HAS SOUS 62168 HAS SOUPS 62168 WITH SCORE 62251.697
AT ITER 4313 NEW BEST:: SOT 259995 SOS 83693 HAS SOPS 83693 HAS SOUS 62164 HAS SOUPS 62164 WITH SCORE 62247.693
AT ITER 4343 NEW BEST:: SOT 259949 SOS 83923 HAS SOPS 83923 HAS SOUS 62118 HAS SOUPS 62118 WITH SCORE 62201.923
AT ITER 4346 NEW BEST:: SOT 259865 SOS 83839 HAS SOPS 83839 HAS SOUS 62034 HAS SOUPS 62034 WITH SCORE 62117.839
AT ITER 4347 NEW BEST:: SOT 259752 SOS 83726 HAS SOPS 83726 HAS SOUS 61921 HAS SOUPS 61921 WITH SCORE 62004.726
AT ITER 4384 NEW BEST:: SOT 259752 SOS 83726 HAS SOPS 83726 HAS SOUS 61849 HAS SOUPS 61849 WITH SCORE 61932.726
AT ITER 4398 NEW BEST:: SOT 259717 SOS 83656 HAS SOPS 83656 HAS SOUS 61779 HAS SOUPS 61779 WITH SCORE 61862.656
AT ITER 4406 NEW BEST:: SOT 259595 SOS 83462 HAS SOPS 83462 HAS SOUS 61709 HAS SOUPS 61709 WITH SCORE 61792.462
AT ITER 4424 NEW BEST:: SOT 259425 SOS 83376 HAS SOPS 83376 HAS SOUS 61632 HAS SOUPS 61632 WITH SCORE 61715.376
AT ITER 4432 NEW BEST:: SOT 259400 SOS 83326 HAS SOPS 83326 HAS SOUS 61547 HAS SOUPS 61547 WITH SCORE 61630.326
AT ITER 4442 NEW BEST:: SOT 259281 SOS 83207 HAS SOPS 83207 HAS SOUS 61428 HAS SOUPS 61428 WITH SCORE 61511.207
AT ITER 4447 NEW BEST:: SOT 259266 SOS 83124 HAS SOPS 83124 HAS SOUS 61423 HAS SOUPS 61423 WITH SCORE 61506.124
AT ITER 4459 NEW BEST:: SOT 259183 SOS 83041 HAS SOPS 83041 HAS SOUS 61423 HAS SOUPS 61423 WITH SCORE 61506.041
AT ITER 4467 NEW BEST:: SOT 259132 SOS 82970 HAS SOPS 82970 HAS SOUS 61400 HAS SOUPS 61400 WITH SCORE 61482.97
AT ITER 4480 NEW BEST:: SOT 259080 SOS 82888 HAS SOPS 82888 HAS SOUS 61365 HAS SOUPS 61365 WITH SCORE 61447.888
AT ITER 4488 NEW BEST:: SOT 258986 SOS 82817 HAS SOPS 82817 HAS SOUS 61294 HAS SOUPS 61294 WITH SCORE 61376.817
AT ITER 4504 NEW BEST:: SOT 258722 SOS 82321 HAS SOPS 82321 HAS SOUS 60807 HAS SOUPS 60807 WITH SCORE 60889.321
AT ITER 4526 NEW BEST:: SOT 258713 SOS 82303 HAS SOPS 82303 HAS SOUS 60789 HAS SOUPS 60789 WITH SCORE 60871.303
AT ITER 4562 NEW BEST:: SOT 258722 SOS 82300 HAS SOPS 82300 HAS SOUS 60777 HAS SOUPS 60777 WITH SCORE 60859.3
AT ITER 4569 NEW BEST:: SOT 258713 SOS 82271 HAS SOPS 82271 HAS SOUS 60768 HAS SOUPS 60768 WITH SCORE 60850.271
AT ITER 4571 NEW BEST:: SOT 258713 SOS 82252 HAS SOPS 82252 HAS SOUS 60749 HAS SOUPS 60749 WITH SCORE 60831.252
AT ITER 4585 NEW BEST:: SOT 258657 SOS 82233 HAS SOPS 82233 HAS SOUS 60730 HAS SOUPS 60730 WITH SCORE 60812.233
AT ITER 4588 NEW BEST:: SOT 258650 SOS 82212 HAS SOPS 82212 HAS SOUS 60709 HAS SOUPS 60709 WITH SCORE 60791.212
AT ITER 4594 NEW BEST:: SOT 258647 SOS 82206 HAS SOPS 82206 HAS SOUS 60700 HAS SOUPS 60700 WITH SCORE 60782.206
AT ITER 4610 NEW BEST:: SOT 258637 SOS 82181 HAS SOPS 82181 HAS SOUS 60675 HAS SOUPS 60675 WITH SCORE 60757.181
AT ITER 4625 NEW BEST:: SOT 258637 SOS 82181 HAS SOPS 82181 HAS SOUS 60668 HAS SOUPS 60668 WITH SCORE 60750.181
AT ITER 4636 NEW BEST:: SOT 258619 SOS 82145 HAS SOPS 82145 HAS SOUS 60632 HAS SOUPS 60632 WITH SCORE 60714.145
AT ITER 4639 NEW BEST:: SOT 258619 SOS 82124 HAS SOPS 82124 HAS SOUS 60632 HAS SOUPS 60632 WITH SCORE 60714.124
AT ITER 4657 NEW BEST:: SOT 258546 SOS 82025 HAS SOPS 82025 HAS SOUS 60533 HAS SOUPS 60533 WITH SCORE 60615.025
AT ITER 4662 NEW BEST:: SOT 258546 SOS 81992 HAS SOPS 81992 HAS SOUS 60500 HAS SOUPS 60500 WITH SCORE 60581.992
AT ITER 4670 NEW BEST:: SOT 258439 SOS 81852 HAS SOPS 81852 HAS SOUS 60360 HAS SOUPS 60360 WITH SCORE 60441.852
AT ITER 4696 NEW BEST:: SOT 258439 SOS 81836 HAS SOPS 81836 HAS SOUS 60344 HAS SOUPS 60344 WITH SCORE 60425.836
AT ITER 4698 NEW BEST:: SOT 258441 SOS 81819 HAS SOPS 81819 HAS SOUS 60327 HAS SOUPS 60327 WITH SCORE 60408.819
AT ITER 4746 NEW BEST:: SOT 258441 SOS 81784 HAS SOPS 81784 HAS SOUS 60316 HAS SOUPS 60316 WITH SCORE 60397.784
AT ITER 4755 NEW BEST:: SOT 258335 SOS 81724 HAS SOPS 81724 HAS SOUS 60256 HAS SOUPS 60256 WITH SCORE 60337.724
AT ITER 4757 NEW BEST:: SOT 258335 SOS 81707 HAS SOPS 81707 HAS SOUS 60239 HAS SOUPS 60239 WITH SCORE 60320.707
AT ITER 4762 NEW BEST:: SOT 258335 SOS 81702 HAS SOPS 81702 HAS SOUS 60234 HAS SOUPS 60234 WITH SCORE 60315.702
AT ITER 4783 NEW BEST:: SOT 258229 SOS 81522 HAS SOPS 81522 HAS SOUS 60054 HAS SOUPS 60054 WITH SCORE 60135.522
AT ITER 4791 NEW BEST:: SOT 258229 SOS 81514 HAS SOPS 81514 HAS SOUS 60046 HAS SOUPS 60046 WITH SCORE 60127.514
AT ITER 4796 NEW BEST:: SOT 258198 SOS 81483 HAS SOPS 81483 HAS SOUS 59983 HAS SOUPS 59983 WITH SCORE 60064.483
AT ITER 4806 NEW BEST:: SOT 258127 SOS 81424 HAS SOPS 81424 HAS SOUS 59924 HAS SOUPS 59924 WITH SCORE 60005.424
AT ITER 4827 NEW BEST:: SOT 258135 SOS 81440 HAS SOPS 81440 HAS SOUS 59923 HAS SOUPS 59923 WITH SCORE 60004.44
AT ITER 4828 NEW BEST:: SOT 258124 SOS 81383 HAS SOPS 81383 HAS SOUS 59901 HAS SOUPS 59901 WITH SCORE 59982.383
AT ITER 4832 NEW BEST:: SOT 258092 SOS 81360 HAS SOPS 81360 HAS SOUS 59878 HAS SOUPS 59878 WITH SCORE 59959.36
AT ITER 4849 NEW BEST:: SOT 258092 SOS 81312 HAS SOPS 81312 HAS SOUS 59868 HAS SOUPS 59868 WITH SCORE 59949.312
AT ITER 4862 NEW BEST:: SOT 258083 SOS 81294 HAS SOPS 81294 HAS SOUS 59859 HAS SOUPS 59859 WITH SCORE 59940.294
AT ITER 4867 NEW BEST:: SOT 258074 SOS 81285 HAS SOPS 81285 HAS SOUS 59841 HAS SOUPS 59841 WITH SCORE 59922.285
AT ITER 4874 NEW BEST:: SOT 258054 SOS 81213 HAS SOPS 81213 HAS SOUS 59769 HAS SOUPS 59769 WITH SCORE 59850.213
AT ITER 4877 NEW BEST:: SOT 258056 SOS 81209 HAS SOPS 81209 HAS SOUS 59767 HAS SOUPS 59767 WITH SCORE 59848.209
AT ITER 4894 NEW BEST:: SOT 258048 SOS 81192 HAS SOPS 81192 HAS SOUS 59750 HAS SOUPS 59750 WITH SCORE 59831.192
AT ITER 4905 NEW BEST:: SOT 258026 SOS 81167 HAS SOPS 81167 HAS SOUS 59747 HAS SOUPS 59747 WITH SCORE 59828.167
AT ITER 4909 NEW BEST:: SOT 258016 SOS 81147 HAS SOPS 81147 HAS SOUS 59737 HAS SOUPS 59737 WITH SCORE 59818.147
AT ITER 4940 NEW BEST:: SOT 257995 SOS 81127 HAS SOPS 81127 HAS SOUS 59717 HAS SOUPS 59717 WITH SCORE 59798.127
AT ITER 4962 NEW BEST:: SOT 257964 SOS 81096 HAS SOPS 81096 HAS SOUS 59717 HAS SOUPS 59717 WITH SCORE 59798.096
AT ITER 4970 NEW BEST:: SOT 257918 SOS 81093 HAS SOPS 81093 HAS SOUS 59714 HAS SOUPS 59714 WITH SCORE 59795.093
AT ITER 4978 NEW BEST:: SOT 257761 SOS 80627 HAS SOPS 80627 HAS SOUS 59601 HAS SOUPS 59601 WITH SCORE 59681.627
AT ITER 4985 NEW BEST:: SOT 257687 SOS 80479 HAS SOPS 80479 HAS SOUS 59492 HAS SOUPS 59492 WITH SCORE 59572.479
AT ITER 5004 NEW BEST:: SOT 257712 SOS 80469 HAS SOPS 80469 HAS SOUS 59422 HAS SOUPS 59422 WITH SCORE 59502.469
AT ITER 5011 NEW BEST:: SOT 257710 SOS 80465 HAS SOPS 80465 HAS SOUS 59418 HAS SOUPS 59418 WITH SCORE 59498.465
AT ITER 5025 NEW BEST:: SOT 257656 SOS 80417 HAS SOPS 80417 HAS SOUS 59370 HAS SOUPS 59370 WITH SCORE 59450.417
AT ITER 5049 NEW BEST:: SOT 257606 SOS 80321 HAS SOPS 80321 HAS SOUS 59274 HAS SOUPS 59274 WITH SCORE 59354.321
AT ITER 5085 NEW BEST:: SOT 257603 SOS 80315 HAS SOPS 80315 HAS SOUS 59271 HAS SOUPS 59271 WITH SCORE 59351.315
AT ITER 5095 NEW BEST:: SOT 257641 SOS 80301 HAS SOPS 80301 HAS SOUS 59257 HAS SOUPS 59257 WITH SCORE 59337.301
AT ITER 5101 NEW BEST:: SOT 257497 SOS 80157 HAS SOPS 80157 HAS SOUS 59113 HAS SOUPS 59113 WITH SCORE 59193.157
AT ITER 5150 NEW BEST:: SOT 257496 SOS 80156 HAS SOPS 80156 HAS SOUS 59113 HAS SOUPS 59113 WITH SCORE 59193.156
AT ITER 5152 NEW BEST:: SOT 257570 SOS 80140 HAS SOPS 80140 HAS SOUS 59097 HAS SOUPS 59097 WITH SCORE 59177.14
AT ITER 5177 NEW BEST:: SOT 257461 SOS 80073 HAS SOPS 80073 HAS SOUS 59030 HAS SOUPS 59030 WITH SCORE 59110.073
AT ITER 5188 NEW BEST:: SOT 257461 SOS 80073 HAS SOPS 80073 HAS SOUS 59016 HAS SOUPS 59016 WITH SCORE 59096.073
AT ITER 5201 NEW BEST:: SOT 257461 SOS 80051 HAS SOPS 80051 HAS SOUS 58994 HAS SOUPS 58994 WITH SCORE 59074.051
AT ITER 5215 NEW BEST:: SOT 257452 SOS 80047 HAS SOPS 80047 HAS SOUS 58990 HAS SOUPS 58990 WITH SCORE 59070.047
AT ITER 5222 NEW BEST:: SOT 257493 SOS 80041 HAS SOPS 80041 HAS SOUS 58984 HAS SOUPS 58984 WITH SCORE 59064.041
AT ITER 5245 NEW BEST:: SOT 257481 SOS 80005 HAS SOPS 80005 HAS SOUS 58948 HAS SOUPS 58948 WITH SCORE 59028.005
AT ITER 5293 NEW BEST:: SOT 257481 SOS 79972 HAS SOPS 79972 HAS SOUS 58915 HAS SOUPS 58915 WITH SCORE 58994.972
AT ITER 5295 NEW BEST:: SOT 257468 SOS 79961 HAS SOPS 79961 HAS SOUS 58904 HAS SOUPS 58904 WITH SCORE 58983.961
AT ITER 5319 NEW BEST:: SOT 257312 SOS 79716 HAS SOPS 79716 HAS SOUS 58866 HAS SOUPS 58866 WITH SCORE 58945.716
AT ITER 5320 NEW BEST:: SOT 257306 SOS 79704 HAS SOPS 79704 HAS SOUS 58854 HAS SOUPS 58854 WITH SCORE 58933.704
AT ITER 5338 NEW BEST:: SOT 257279 SOS 79677 HAS SOPS 79677 HAS SOUS 58827 HAS SOUPS 58827 WITH SCORE 58906.677
AT ITER 5374 NEW BEST:: SOT 257255 SOS 79629 HAS SOPS 79629 HAS SOUS 58779 HAS SOUPS 58779 WITH SCORE 58858.629
AT ITER 5386 NEW BEST:: SOT 257243 SOS 79589 HAS SOPS 79589 HAS SOUS 58739 HAS SOUPS 58739 WITH SCORE 58818.589
AT ITER 5389 NEW BEST:: SOT 257404 SOS 79543 HAS SOPS 79543 HAS SOUS 58693 HAS SOUPS 58693 WITH SCORE 58772.543
AT ITER 5400 NEW BEST:: SOT 257266 SOS 79439 HAS SOPS 79439 HAS SOUS 58589 HAS SOUPS 58589 WITH SCORE 58668.439
AT ITER 5420 NEW BEST:: SOT 257273 SOS 79453 HAS SOPS 79453 HAS SOUS 58421 HAS SOUPS 58421 WITH SCORE 58500.453
AT ITER 5427 NEW BEST:: SOT 257175 SOS 79285 HAS SOPS 79285 HAS SOUS 58340 HAS SOUPS 58340 WITH SCORE 58419.285
AT ITER 5435 NEW BEST:: SOT 257139 SOS 79213 HAS SOPS 79213 HAS SOUS 58268 HAS SOUPS 58268 WITH SCORE 58347.213
AT ITER 5443 NEW BEST:: SOT 257253 SOS 79346 HAS SOPS 79346 HAS SOUS 58256 HAS SOUPS 58256 WITH SCORE 58335.346
AT ITER 5453 NEW BEST:: SOT 257240 SOS 79320 HAS SOPS 79320 HAS SOUS 58256 HAS SOUPS 58256 WITH SCORE 58335.32
AT ITER 5464 NEW BEST:: SOT 257240 SOS 79318 HAS SOPS 79318 HAS SOUS 58254 HAS SOUPS 58254 WITH SCORE 58333.318
AT ITER 5475 NEW BEST:: SOT 257227 SOS 79292 HAS SOPS 79292 HAS SOUS 58236 HAS SOUPS 58236 WITH SCORE 58315.292
AT ITER 5483 NEW BEST:: SOT 257165 SOS 79199 HAS SOPS 79199 HAS SOUS 58143 HAS SOUPS 58143 WITH SCORE 58222.199
AT ITER 5511 NEW BEST:: SOT 257168 SOS 79183 HAS SOPS 79183 HAS SOUS 58127 HAS SOUPS 58127 WITH SCORE 58206.183
AT ITER 5515 NEW BEST:: SOT 257149 SOS 79164 HAS SOPS 79164 HAS SOUS 58108 HAS SOUPS 58108 WITH SCORE 58187.164
AT ITER 5521 NEW BEST:: SOT 257131 SOS 79002 HAS SOPS 79002 HAS SOUS 57946 HAS SOUPS 57946 WITH SCORE 58025.002
AT ITER 5544 NEW BEST:: SOT 257117 SOS 78974 HAS SOPS 78974 HAS SOUS 57918 HAS SOUPS 57918 WITH SCORE 57996.974
AT ITER 5550 NEW BEST:: SOT 257166 SOS 78740 HAS SOPS 78740 HAS SOUS 57865 HAS SOUPS 57865 WITH SCORE 57943.74
AT ITER 5650 NEW BEST:: SOT 257144 SOS 78718 HAS SOPS 78718 HAS SOUS 57843 HAS SOUPS 57843 WITH SCORE 57921.718
AT ITER 5669 NEW BEST:: SOT 257142 SOS 78714 HAS SOPS 78714 HAS SOUS 57839 HAS SOUPS 57839 WITH SCORE 57917.714
AT ITER 5705 NEW BEST:: SOT 257142 SOS 78714 HAS SOPS 78714 HAS SOUS 57835 HAS SOUPS 57835 WITH SCORE 57913.714
AT ITER 5706 NEW BEST:: SOT 256745 SOS 78179 HAS SOPS 78179 HAS SOUS 57613 HAS SOUPS 57613 WITH SCORE 57691.179
AT ITER 5728 NEW BEST:: SOT 256628 SOS 78062 HAS SOPS 78062 HAS SOUS 57560 HAS SOUPS 57560 WITH SCORE 57638.062
AT ITER 5737 NEW BEST:: SOT 256619 SOS 78035 HAS SOPS 78035 HAS SOUS 57533 HAS SOUPS 57533 WITH SCORE 57611.035
AT ITER 5753 NEW BEST:: SOT 256608 SOS 78013 HAS SOPS 78013 HAS SOUS 57522 HAS SOUPS 57522 WITH SCORE 57600.013
AT ITER 5755 NEW BEST:: SOT 256566 SOS 77929 HAS SOPS 77929 HAS SOUS 57438 HAS SOUPS 57438 WITH SCORE 57515.929
AT ITER 5766 NEW BEST:: SOT 256560 SOS 77917 HAS SOPS 77917 HAS SOUS 57426 HAS SOUPS 57426 WITH SCORE 57503.917
AT ITER 5770 NEW BEST:: SOT 256586 SOS 77935 HAS SOPS 77935 HAS SOUS 57404 HAS SOUPS 57404 WITH SCORE 57481.935
AT ITER 5773 NEW BEST:: SOT 256586 SOS 77925 HAS SOPS 77925 HAS SOUS 57394 HAS SOUPS 57394 WITH SCORE 57471.925
AT ITER 5819 NEW BEST:: SOT 256615 SOS 77983 HAS SOPS 77983 HAS SOUS 57358 HAS SOUPS 57358 WITH SCORE 57435.983
AT ITER 5825 NEW BEST:: SOT 256615 SOS 77982 HAS SOPS 77982 HAS SOUS 57357 HAS SOUPS 57357 WITH SCORE 57434.982
AT ITER 5836 NEW BEST:: SOT 256621 SOS 77926 HAS SOPS 77926 HAS SOUS 57301 HAS SOUPS 57301 WITH SCORE 57378.926
AT ITER 5849 NEW BEST:: SOT 256609 SOS 77894 HAS SOPS 77894 HAS SOUS 57269 HAS SOUPS 57269 WITH SCORE 57346.894
AT ITER 5858 NEW BEST:: SOT 256637 SOS 77718 HAS SOPS 77718 HAS SOUS 57094 HAS SOUPS 57094 WITH SCORE 57171.718
AT ITER 5883 NEW BEST:: SOT 256629 SOS 77702 HAS SOPS 77702 HAS SOUS 57078 HAS SOUPS 57078 WITH SCORE 57155.702
AT ITER 5895 NEW BEST:: SOT 256449 SOS 77578 HAS SOPS 77578 HAS SOUS 57016 HAS SOUPS 57016 WITH SCORE 57093.578
AT ITER 5908 NEW BEST:: SOT 256445 SOS 77570 HAS SOPS 77570 HAS SOUS 57008 HAS SOUPS 57008 WITH SCORE 57085.57
AT ITER 5909 NEW BEST:: SOT 256431 SOS 77556 HAS SOPS 77556 HAS SOUS 56994 HAS SOUPS 56994 WITH SCORE 57071.556
AT ITER 5917 NEW BEST:: SOT 256438 SOS 77553 HAS SOPS 77553 HAS SOUS 56991 HAS SOUPS 56991 WITH SCORE 57068.553
AT ITER 5971 NEW BEST:: SOT 256438 SOS 77553 HAS SOPS 77553 HAS SOUS 56989 HAS SOUPS 56989 WITH SCORE 57066.553
AT ITER 5980 NEW BEST:: SOT 256438 SOS 77542 HAS SOPS 77542 HAS SOUS 56978 HAS SOUPS 56978 WITH SCORE 57055.542
AT ITER 5990 NEW BEST:: SOT 256420 SOS 77524 HAS SOPS 77524 HAS SOUS 56960 HAS SOUPS 56960 WITH SCORE 57037.524
AT ITER 5999 NEW BEST:: SOT 256395 SOS 77428 HAS SOPS 77428 HAS SOUS 56942 HAS SOUPS 56942 WITH SCORE 57019.428
AT ITER 6013 NEW BEST:: SOT 255945 SOS 76743 HAS SOPS 76743 HAS SOUS 56603 HAS SOUPS 56603 WITH SCORE 56679.743
AT ITER 6036 NEW BEST:: SOT 255953 SOS 76736 HAS SOPS 76736 HAS SOUS 56596 HAS SOUPS 56596 WITH SCORE 56672.736
AT ITER 6047 NEW BEST:: SOT 255939 SOS 76732 HAS SOPS 76732 HAS SOUS 56592 HAS SOUPS 56592 WITH SCORE 56668.732
AT ITER 6056 NEW BEST:: SOT 255956 SOS 76766 HAS SOPS 76766 HAS SOUS 56505 HAS SOUPS 56505 WITH SCORE 56581.766
AT ITER 6059 NEW BEST:: SOT 255972 SOS 76745 HAS SOPS 76745 HAS SOUS 56484 HAS SOUPS 56484 WITH SCORE 56560.745
AT ITER 6063 NEW BEST:: SOT 255972 SOS 76745 HAS SOPS 76745 HAS SOUS 56479 HAS SOUPS 56479 WITH SCORE 56555.745
AT ITER 6074 NEW BEST:: SOT 255948 SOS 76697 HAS SOPS 76697 HAS SOUS 56431 HAS SOUPS 56431 WITH SCORE 56507.697
AT ITER 6133 NEW BEST:: SOT 255836 SOS 76645 HAS SOPS 76645 HAS SOUS 56396 HAS SOUPS 56396 WITH SCORE 56472.645
AT ITER 6164 NEW BEST:: SOT 255823 SOS 76944 HAS SOPS 76944 HAS SOUS 56393 HAS SOUPS 56393 WITH SCORE 56469.944
AT ITER 6186 NEW BEST:: SOT 255819 SOS 77059 HAS SOPS 77059 HAS SOUS 56388 HAS SOUPS 56388 WITH SCORE 56465.059
AT ITER 6187 NEW BEST:: SOT 255819 SOS 77052 HAS SOPS 77052 HAS SOUS 56388 HAS SOUPS 56388 WITH SCORE 56465.052
AT ITER 6214 NEW BEST:: SOT 255818 SOS 77050 HAS SOPS 77050 HAS SOUS 56386 HAS SOUPS 56386 WITH SCORE 56463.05
AT ITER 6234 NEW BEST:: SOT 255811 SOS 77036 HAS SOPS 77036 HAS SOUS 56372 HAS SOUPS 56372 WITH SCORE 56449.036
AT ITER 6244 NEW BEST:: SOT 255799 SOS 77012 HAS SOPS 77012 HAS SOUS 56348 HAS SOUPS 56348 WITH SCORE 56425.012
AT ITER 6265 NEW BEST:: SOT 255915 SOS 76988 HAS SOPS 76988 HAS SOUS 56324 HAS SOUPS 56324 WITH SCORE 56400.988
AT ITER 6269 NEW BEST:: SOT 255900 SOS 76973 HAS SOPS 76973 HAS SOUS 56309 HAS SOUPS 56309 WITH SCORE 56385.973
AT ITER 6327 NEW BEST:: SOT 255956 SOS 76866 HAS SOPS 76866 HAS SOUS 56254 HAS SOUPS 56254 WITH SCORE 56330.866
AT ITER 6330 NEW BEST:: SOT 255914 SOS 77118 HAS SOPS 77118 HAS SOUS 56212 HAS SOUPS 56212 WITH SCORE 56289.118
AT ITER 6354 NEW BEST:: SOT 256008 SOS 77040 HAS SOPS 77040 HAS SOUS 56171 HAS SOUPS 56171 WITH SCORE 56248.04
AT ITER 6419 NEW BEST:: SOT 255868 SOS 76949 HAS SOPS 76949 HAS SOUS 56084 HAS SOUPS 56084 WITH SCORE 56160.949
AT ITER 6422 NEW BEST:: SOT 255775 SOS 76813 HAS SOPS 76813 HAS SOUS 55997 HAS SOUPS 55997 WITH SCORE 56073.813
AT ITER 6432 NEW BEST:: SOT 255777 SOS 76809 HAS SOPS 76809 HAS SOUS 55993 HAS SOUPS 55993 WITH SCORE 56069.809
AT ITER 6435 NEW BEST:: SOT 255770 SOS 76808 HAS SOPS 76808 HAS SOUS 55992 HAS SOUPS 55992 WITH SCORE 56068.808
AT ITER 6456 NEW BEST:: SOT 255770 SOS 76808 HAS SOPS 76808 HAS SOUS 55936 HAS SOUPS 55936 WITH SCORE 56012.808
AT ITER 6458 NEW BEST:: SOT 255763 SOS 76801 HAS SOPS 76801 HAS SOUS 55929 HAS SOUPS 55929 WITH SCORE 56005.801
AT ITER 6459 NEW BEST:: SOT 255757 SOS 76795 HAS SOPS 76795 HAS SOUS 55923 HAS SOUPS 55923 WITH SCORE 55999.795
AT ITER 6519 NEW BEST:: SOT 255720 SOS 76749 HAS SOPS 76749 HAS SOUS 55877 HAS SOUPS 55877 WITH SCORE 55953.749
AT ITER 6534 NEW BEST:: SOT 255719 SOS 76747 HAS SOPS 76747 HAS SOUS 55875 HAS SOUPS 55875 WITH SCORE 55951.747
AT ITER 6578 NEW BEST:: SOT 255729 SOS 76737 HAS SOPS 76737 HAS SOUS 55865 HAS SOUPS 55865 WITH SCORE 55941.737
AT ITER 6584 NEW BEST:: SOT 255595 SOS 75834 HAS SOPS 75834 HAS SOUS 55731 HAS SOUPS 55731 WITH SCORE 55806.834
AT ITER 6587 NEW BEST:: SOT 255405 SOS 75648 HAS SOPS 75648 HAS SOUS 55527 HAS SOUPS 55527 WITH SCORE 55602.648
AT ITER 6627 NEW BEST:: SOT 255405 SOS 75644 HAS SOPS 75644 HAS SOUS 55519 HAS SOUPS 55519 WITH SCORE 55594.644
AT ITER 6656 NEW BEST:: SOT 255396 SOS 75626 HAS SOPS 75626 HAS SOUS 55501 HAS SOUPS 55501 WITH SCORE 55576.626
AT ITER 6658 NEW BEST:: SOT 255333 SOS 75522 HAS SOPS 75522 HAS SOUS 55397 HAS SOUPS 55397 WITH SCORE 55472.522
AT ITER 6679 NEW BEST:: SOT 255301 SOS 75469 HAS SOPS 75469 HAS SOUS 55370 HAS SOUPS 55370 WITH SCORE 55445.469
AT ITER 6686 NEW BEST:: SOT 255301 SOS 75465 HAS SOPS 75465 HAS SOUS 55366 HAS SOUPS 55366 WITH SCORE 55441.465
AT ITER 6722 NEW BEST:: SOT 255181 SOS 75105 HAS SOPS 75105 HAS SOUS 55126 HAS SOUPS 55126 WITH SCORE 55201.105
AT ITER 6723 NEW BEST:: SOT 255180 SOS 75103 HAS SOPS 75103 HAS SOUS 55124 HAS SOUPS 55124 WITH SCORE 55199.103
AT ITER 6766 NEW BEST:: SOT 255200 SOS 75143 HAS SOPS 75143 HAS SOUS 55065 HAS SOUPS 55065 WITH SCORE 55140.143
AT ITER 6779 NEW BEST:: SOT 255141 SOS 75025 HAS SOPS 75025 HAS SOUS 54869 HAS SOUPS 54869 WITH SCORE 54944.025
AT ITER 6790 NEW BEST:: SOT 255130 SOS 75014 HAS SOPS 75014 HAS SOUS 54858 HAS SOUPS 54858 WITH SCORE 54933.014
AT ITER 6805 NEW BEST:: SOT 255104 SOS 74936 HAS SOPS 74936 HAS SOUS 54780 HAS SOUPS 54780 WITH SCORE 54854.936
AT ITER 6833 NEW BEST:: SOT 255202 SOS 74912 HAS SOPS 74912 HAS SOUS 54756 HAS SOUPS 54756 WITH SCORE 54830.912
AT ITER 6854 NEW BEST:: SOT 255224 SOS 74956 HAS SOPS 74956 HAS SOUS 54745 HAS SOUPS 54745 WITH SCORE 54819.956
AT ITER 6870 NEW BEST:: SOT 255200 SOS 74872 HAS SOPS 74872 HAS SOUS 54674 HAS SOUPS 54674 WITH SCORE 54748.872
AT ITER 6894 NEW BEST:: SOT 255188 SOS 74860 HAS SOPS 74860 HAS SOUS 54662 HAS SOUPS 54662 WITH SCORE 54736.86
AT ITER 6903 NEW BEST:: SOT 255181 SOS 74763 HAS SOPS 74763 HAS SOUS 54655 HAS SOUPS 54655 WITH SCORE 54729.763
AT ITER 6907 NEW BEST:: SOT 255161 SOS 74723 HAS SOPS 74723 HAS SOUS 54615 HAS SOUPS 54615 WITH SCORE 54689.723
AT ITER 6920 NEW BEST:: SOT 255083 SOS 74584 HAS SOPS 74584 HAS SOUS 54554 HAS SOUPS 54554 WITH SCORE 54628.584
AT ITER 7014 NEW BEST:: SOT 255092 SOS 74585 HAS SOPS 74585 HAS SOUS 54538 HAS SOUPS 54538 WITH SCORE 54612.585
AT ITER 7033 NEW BEST:: SOT 255092 SOS 74581 HAS SOPS 74581 HAS SOUS 54534 HAS SOUPS 54534 WITH SCORE 54608.581
AT ITER 7061 NEW BEST:: SOT 255016 SOS 74429 HAS SOPS 74429 HAS SOUS 54464 HAS SOUPS 54464 WITH SCORE 54538.429
AT ITER 7074 NEW BEST:: SOT 255011 SOS 74419 HAS SOPS 74419 HAS SOUS 54459 HAS SOUPS 54459 WITH SCORE 54533.419
AT ITER 7079 NEW BEST:: SOT 254990 SOS 74398 HAS SOPS 74398 HAS SOUS 54438 HAS SOUPS 54438 WITH SCORE 54512.398
AT ITER 7199 NEW BEST:: SOT 255004 SOS 74404 HAS SOPS 74404 HAS SOUS 54428 HAS SOUPS 54428 WITH SCORE 54502.404
AT ITER 7201 NEW BEST:: SOT 254874 SOS 74385 HAS SOPS 74385 HAS SOUS 54409 HAS SOUPS 54409 WITH SCORE 54483.385
AT ITER 7222 NEW BEST:: SOT 254870 SOS 74324 HAS SOPS 74324 HAS SOUS 54348 HAS SOUPS 54348 WITH SCORE 54422.324
AT ITER 7233 NEW BEST:: SOT 254856 SOS 74296 HAS SOPS 74296 HAS SOUS 54320 HAS SOUPS 54320 WITH SCORE 54394.296
AT ITER 7251 NEW BEST:: SOT 254866 SOS 74252 HAS SOPS 74252 HAS SOUS 54295 HAS SOUPS 54295 WITH SCORE 54369.252
AT ITER 7252 NEW BEST:: SOT 254896 SOS 74312 HAS SOPS 74312 HAS SOUS 54292 HAS SOUPS 54292 WITH SCORE 54366.312
AT ITER 7264 NEW BEST:: SOT 254925 SOS 74339 HAS SOPS 74339 HAS SOUS 54288 HAS SOUPS 54288 WITH SCORE 54362.339
AT ITER 7268 NEW BEST:: SOT 254894 SOS 74277 HAS SOPS 74277 HAS SOUS 54226 HAS SOUPS 54226 WITH SCORE 54300.277
AT ITER 7294 NEW BEST:: SOT 254894 SOS 74221 HAS SOPS 74221 HAS SOUS 54170 HAS SOUPS 54170 WITH SCORE 54244.221
AT ITER 7315 NEW BEST:: SOT 254890 SOS 74217 HAS SOPS 74217 HAS SOUS 54167 HAS SOUPS 54167 WITH SCORE 54241.217
AT ITER 7364 NEW BEST:: SOT 254846 SOS 74163 HAS SOPS 74163 HAS SOUS 54120 HAS SOUPS 54120 WITH SCORE 54194.163
AT ITER 7380 NEW BEST:: SOT 254642 SOS 73884 HAS SOPS 73884 HAS SOUS 53970 HAS SOUPS 53970 WITH SCORE 54043.884
AT ITER 7400 NEW BEST:: SOT 254636 SOS 73775 HAS SOPS 73775 HAS SOUS 53958 HAS SOUPS 53958 WITH SCORE 54031.775
AT ITER 7405 NEW BEST:: SOT 254621 SOS 73768 HAS SOPS 73768 HAS SOUS 53951 HAS SOUPS 53951 WITH SCORE 54024.768
AT ITER 7432 NEW BEST:: SOT 254611 SOS 73748 HAS SOPS 73748 HAS SOUS 53941 HAS SOUPS 53941 WITH SCORE 54014.748
AT ITER 7451 NEW BEST:: SOT 254592 SOS 73752 HAS SOPS 73752 HAS SOUS 53938 HAS SOUPS 53938 WITH SCORE 54011.752
AT ITER 7469 NEW BEST:: SOT 254545 SOS 73658 HAS SOPS 73658 HAS SOUS 53929 HAS SOUPS 53929 WITH SCORE 54002.658
AT ITER 7475 NEW BEST:: SOT 254498 SOS 73590 HAS SOPS 73590 HAS SOUS 53861 HAS SOUPS 53861 WITH SCORE 53934.59
AT ITER 7486 NEW BEST:: SOT 254478 SOS 73540 HAS SOPS 73540 HAS SOUS 53831 HAS SOUPS 53831 WITH SCORE 53904.54
AT ITER 7493 NEW BEST:: SOT 254470 SOS 73524 HAS SOPS 73524 HAS SOUS 53815 HAS SOUPS 53815 WITH SCORE 53888.524
AT ITER 7495 NEW BEST:: SOT 254398 SOS 73380 HAS SOPS 73380 HAS SOUS 53737 HAS SOUPS 53737 WITH SCORE 53810.38
AT ITER 7512 NEW BEST:: SOT 254396 SOS 73376 HAS SOPS 73376 HAS SOUS 53733 HAS SOUPS 53733 WITH SCORE 53806.376
AT ITER 7513 NEW BEST:: SOT 254393 SOS 73373 HAS SOPS 73373 HAS SOUS 53730 HAS SOUPS 53730 WITH SCORE 53803.373
AT ITER 7514 NEW BEST:: SOT 254372 SOS 73249 HAS SOPS 73249 HAS SOUS 53679 HAS SOUPS 53679 WITH SCORE 53752.249
AT ITER 7531 NEW BEST:: SOT 254407 SOS 73289 HAS SOPS 73289 HAS SOUS 53644 HAS SOUPS 53644 WITH SCORE 53717.289
AT ITER 7538 NEW BEST:: SOT 254393 SOS 73897 HAS SOPS 73897 HAS SOUS 53630 HAS SOUPS 53630 WITH SCORE 53703.897
AT ITER 7543 NEW BEST:: SOT 254428 SOS 74035 HAS SOPS 74035 HAS SOUS 53614 HAS SOUPS 53614 WITH SCORE 53688.035
AT ITER 7553 NEW BEST:: SOT 254430 SOS 74039 HAS SOPS 74039 HAS SOUS 53609 HAS SOUPS 53609 WITH SCORE 53683.039
AT ITER 7568 NEW BEST:: SOT 254354 SOS 73925 HAS SOPS 73925 HAS SOUS 53457 HAS SOUPS 53457 WITH SCORE 53530.925
AT ITER 7579 NEW BEST:: SOT 254350 SOS 73921 HAS SOPS 73921 HAS SOUS 53453 HAS SOUPS 53453 WITH SCORE 53526.921
AT ITER 7582 NEW BEST:: SOT 254350 SOS 73912 HAS SOPS 73912 HAS SOUS 53451 HAS SOUPS 53451 WITH SCORE 53524.912
AT ITER 7605 NEW BEST:: SOT 254231 SOS 73561 HAS SOPS 73561 HAS SOUS 53100 HAS SOUPS 53100 WITH SCORE 53173.561
AT ITER 7613 NEW BEST:: SOT 254193 SOS 73517 HAS SOPS 73517 HAS SOUS 53056 HAS SOUPS 53056 WITH SCORE 53129.517
AT ITER 7636 NEW BEST:: SOT 254180 SOS 73502 HAS SOPS 73502 HAS SOUS 53053 HAS SOUPS 53053 WITH SCORE 53126.502
AT ITER 7656 NEW BEST:: SOT 254166 SOS 73488 HAS SOPS 73488 HAS SOUS 53039 HAS SOUPS 53039 WITH SCORE 53112.488
AT ITER 7712 NEW BEST:: SOT 254411 SOS 73429 HAS SOPS 73429 HAS SOUS 52998 HAS SOUPS 52998 WITH SCORE 53071.429
AT ITER 7716 NEW BEST:: SOT 254333 SOS 73351 HAS SOPS 73351 HAS SOUS 52920 HAS SOUPS 52920 WITH SCORE 52993.351
AT ITER 7723 NEW BEST:: SOT 254333 SOS 73333 HAS SOPS 73333 HAS SOUS 52902 HAS SOUPS 52902 WITH SCORE 52975.333
AT ITER 7726 NEW BEST:: SOT 254332 SOS 73332 HAS SOPS 73332 HAS SOUS 52901 HAS SOUPS 52901 WITH SCORE 52974.332
AT ITER 7736 NEW BEST:: SOT 254332 SOS 73270 HAS SOPS 73270 HAS SOUS 52839 HAS SOUPS 52839 WITH SCORE 52912.27
AT ITER 7775 NEW BEST:: SOT 254349 SOS 73243 HAS SOPS 73243 HAS SOUS 52812 HAS SOUPS 52812 WITH SCORE 52885.243
AT ITER 7810 NEW BEST:: SOT 254349 SOS 73182 HAS SOPS 73182 HAS SOUS 52751 HAS SOUPS 52751 WITH SCORE 52824.182
AT ITER 7816 NEW BEST:: SOT 254315 SOS 73114 HAS SOPS 73114 HAS SOUS 52683 HAS SOUPS 52683 WITH SCORE 52756.114
AT ITER 7893 NEW BEST:: SOT 254130 SOS 72744 HAS SOPS 72744 HAS SOUS 52473 HAS SOUPS 52473 WITH SCORE 52545.744
AT ITER 7917 NEW BEST:: SOT 254129 SOS 72741 HAS SOPS 72741 HAS SOUS 52471 HAS SOUPS 52471 WITH SCORE 52543.741
AT ITER 7997 NEW BEST:: SOT 254111 SOS 72723 HAS SOPS 72723 HAS SOUS 52453 HAS SOUPS 52453 WITH SCORE 52525.723
AT ITER 8013 NEW BEST:: SOT 254100 SOS 72668 HAS SOPS 72668 HAS SOUS 52431 HAS SOUPS 52431 WITH SCORE 52503.668
AT ITER 8072 NEW BEST:: SOT 254058 SOS 72584 HAS SOPS 72584 HAS SOUS 52389 HAS SOUPS 52389 WITH SCORE 52461.584
AT ITER 8109 NEW BEST:: SOT 253952 SOS 72457 HAS SOPS 72457 HAS SOUS 52262 HAS SOUPS 52262 WITH SCORE 52334.457
AT ITER 8118 NEW BEST:: SOT 253951 SOS 72455 HAS SOPS 72455 HAS SOUS 52260 HAS SOUPS 52260 WITH SCORE 52332.455
AT ITER 8121 NEW BEST:: SOT 253949 SOS 72445 HAS SOPS 72445 HAS SOUS 52258 HAS SOUPS 52258 WITH SCORE 52330.445
AT ITER 8141 NEW BEST:: SOT 253909 SOS 72397 HAS SOPS 72397 HAS SOUS 52180 HAS SOUPS 52180 WITH SCORE 52252.397
AT ITER 8144 NEW BEST:: SOT 253897 SOS 72385 HAS SOPS 72385 HAS SOUS 52168 HAS SOUPS 52168 WITH SCORE 52240.385
AT ITER 8159 NEW BEST:: SOT 253908 SOS 72374 HAS SOPS 72374 HAS SOUS 52157 HAS SOUPS 52157 WITH SCORE 52229.374
AT ITER 8204 NEW BEST:: SOT 253895 SOS 72348 HAS SOPS 72348 HAS SOUS 52131 HAS SOUPS 52131 WITH SCORE 52203.348
AT ITER 8210 NEW BEST:: SOT 253947 SOS 72285 HAS SOPS 72285 HAS SOUS 52068 HAS SOUPS 52068 WITH SCORE 52140.285
AT ITER 8241 NEW BEST:: SOT 253923 SOS 72278 HAS SOPS 72278 HAS SOUS 52061 HAS SOUPS 52061 WITH SCORE 52133.278
AT ITER 8296 NEW BEST:: SOT 253924 SOS 72250 HAS SOPS 72250 HAS SOUS 52033 HAS SOUPS 52033 WITH SCORE 52105.25
AT ITER 8319 NEW BEST:: SOT 253860 SOS 72186 HAS SOPS 72186 HAS SOUS 51970 HAS SOUPS 51970 WITH SCORE 52042.186
AT ITER 8399 NEW BEST:: SOT 253830 SOS 72156 HAS SOPS 72156 HAS SOUS 51940 HAS SOUPS 51940 WITH SCORE 52012.156
AT ITER 8414 NEW BEST:: SOT 253889 SOS 72203 HAS SOPS 72203 HAS SOUS 51927 HAS SOUPS 51927 WITH SCORE 51999.203
AT ITER 8421 NEW BEST:: SOT 253861 SOS 72161 HAS SOPS 72161 HAS SOUS 51899 HAS SOUPS 51899 WITH SCORE 51971.161
AT ITER 8444 NEW BEST:: SOT 253844 SOS 72127 HAS SOPS 72127 HAS SOUS 51865 HAS SOUPS 51865 WITH SCORE 51937.127
AT ITER 8459 NEW BEST:: SOT 253844 SOS 72086 HAS SOPS 72086 HAS SOUS 51846 HAS SOUPS 51846 WITH SCORE 51918.086
AT ITER 8463 NEW BEST:: SOT 253867 SOS 72087 HAS SOPS 72087 HAS SOUS 51802 HAS SOUPS 51802 WITH SCORE 51874.087
AT ITER 8464 NEW BEST:: SOT 253849 SOS 72105 HAS SOPS 72105 HAS SOUS 51766 HAS SOUPS 51766 WITH SCORE 51838.105
AT ITER 8485 NEW BEST:: SOT 253687 SOS 71971 HAS SOPS 71971 HAS SOUS 51699 HAS SOUPS 51699 WITH SCORE 51770.971
AT ITER 8500 NEW BEST:: SOT 253677 SOS 71951 HAS SOPS 71951 HAS SOUS 51679 HAS SOUPS 51679 WITH SCORE 51750.951
AT ITER 8503 NEW BEST:: SOT 253651 SOS 72053 HAS SOPS 72053 HAS SOUS 51655 HAS SOUPS 51655 WITH SCORE 51727.053
AT ITER 8524 NEW BEST:: SOT 253651 SOS 72027 HAS SOPS 72027 HAS SOUS 51629 HAS SOUPS 51629 WITH SCORE 51701.027
AT ITER 8567 NEW BEST:: SOT 253599 SOS 71976 HAS SOPS 71976 HAS SOUS 51578 HAS SOUPS 51578 WITH SCORE 51649.976
AT ITER 8568 NEW BEST:: SOT 253598 SOS 71974 HAS SOPS 71974 HAS SOUS 51576 HAS SOUPS 51576 WITH SCORE 51647.974
AT ITER 8569 NEW BEST:: SOT 253598 SOS 71955 HAS SOPS 71955 HAS SOUS 51576 HAS SOUPS 51576 WITH SCORE 51647.955
AT ITER 8617 NEW BEST:: SOT 253573 SOS 71906 HAS SOPS 71906 HAS SOUS 51547 HAS SOUPS 51547 WITH SCORE 51618.906
AT ITER 8618 NEW BEST:: SOT 253573 SOS 71899 HAS SOPS 71899 HAS SOUS 51540 HAS SOUPS 51540 WITH SCORE 51611.899
AT ITER 8650 NEW BEST:: SOT 253570 SOS 71893 HAS SOPS 71893 HAS SOUS 51534 HAS SOUPS 51534 WITH SCORE 51605.893
AT ITER 8667 NEW BEST:: SOT 253571 SOS 71888 HAS SOPS 71888 HAS SOUS 51529 HAS SOUPS 51529 WITH SCORE 51600.888
AT ITER 8673 NEW BEST:: SOT 253508 SOS 72135 HAS SOPS 72135 HAS SOUS 51456 HAS SOUPS 51456 WITH SCORE 51528.135
AT ITER 8701 NEW BEST:: SOT 253448 SOS 72015 HAS SOPS 72015 HAS SOUS 51336 HAS SOUPS 51336 WITH SCORE 51408.015
AT ITER 8747 NEW BEST:: SOT 253440 SOS 72004 HAS SOPS 72004 HAS SOUS 51325 HAS SOUPS 51325 WITH SCORE 51397.004
AT ITER 8792 NEW BEST:: SOT 253407 SOS 71995 HAS SOPS 71995 HAS SOUS 51316 HAS SOUPS 51316 WITH SCORE 51387.995
AT ITER 8846 NEW BEST:: SOT 253396 SOS 71963 HAS SOPS 71963 HAS SOUS 51284 HAS SOUPS 51284 WITH SCORE 51355.963
AT ITER 8854 NEW BEST:: SOT 253392 SOS 71943 HAS SOPS 71943 HAS SOUS 51268 HAS SOUPS 51268 WITH SCORE 51339.943
AT ITER 8861 NEW BEST:: SOT 253392 SOS 71943 HAS SOPS 71943 HAS SOUS 51260 HAS SOUPS 51260 WITH SCORE 51331.943
AT ITER 8881 NEW BEST:: SOT 253392 SOS 71875 HAS SOPS 71875 HAS SOUS 51260 HAS SOUPS 51260 WITH SCORE 51331.875
AT ITER 8900 NEW BEST:: SOT 253358 SOS 71805 HAS SOPS 71805 HAS SOUS 51190 HAS SOUPS 51190 WITH SCORE 51261.805
AT ITER 8915 NEW BEST:: SOT 253358 SOS 71816 HAS SOPS 71816 HAS SOUS 51173 HAS SOUPS 51173 WITH SCORE 51244.816
AT ITER 8941 NEW BEST:: SOT 253356 SOS 71814 HAS SOPS 71814 HAS SOUS 51169 HAS SOUPS 51169 WITH SCORE 51240.814
AT ITER 8955 NEW BEST:: SOT 253341 SOS 71863 HAS SOPS 71863 HAS SOUS 51154 HAS SOUPS 51154 WITH SCORE 51225.863
AT ITER 8966 NEW BEST:: SOT 253336 SOS 71858 HAS SOPS 71858 HAS SOUS 51149 HAS SOUPS 51149 WITH SCORE 51220.858
AT ITER 8968 NEW BEST:: SOT 253336 SOS 71837 HAS SOPS 71837 HAS SOUS 51128 HAS SOUPS 51128 WITH SCORE 51199.837
AT ITER 8972 NEW BEST:: SOT 253319 SOS 71764 HAS SOPS 71764 HAS SOUS 51055 HAS SOUPS 51055 WITH SCORE 51126.764
AT ITER 8982 NEW BEST:: SOT 253336 SOS 71759 HAS SOPS 71759 HAS SOUS 51050 HAS SOUPS 51050 WITH SCORE 51121.759
AT ITER 8988 NEW BEST:: SOT 253227 SOS 71603 HAS SOPS 71603 HAS SOUS 50894 HAS SOUPS 50894 WITH SCORE 50965.603
AT ITER 9003 NEW BEST:: SOT 253237 SOS 71601 HAS SOPS 71601 HAS SOUS 50870 HAS SOUPS 50870 WITH SCORE 50941.601
AT ITER 9017 NEW BEST:: SOT 253232 SOS 71595 HAS SOPS 71595 HAS SOUS 50864 HAS SOUPS 50864 WITH SCORE 50935.595
AT ITER 9043 NEW BEST:: SOT 253214 SOS 71549 HAS SOPS 71549 HAS SOUS 50820 HAS SOUPS 50820 WITH SCORE 50891.549
AT ITER 9056 NEW BEST:: SOT 253214 SOS 71546 HAS SOPS 71546 HAS SOUS 50817 HAS SOUPS 50817 WITH SCORE 50888.546
AT ITER 9063 NEW BEST:: SOT 253151 SOS 71483 HAS SOPS 71483 HAS SOUS 50754 HAS SOUPS 50754 WITH SCORE 50825.483
AT ITER 9072 NEW BEST:: SOT 253153 SOS 71459 HAS SOPS 71459 HAS SOUS 50730 HAS SOUPS 50730 WITH SCORE 50801.459
AT ITER 9096 NEW BEST:: SOT 253139 SOS 71458 HAS SOPS 71458 HAS SOUS 50729 HAS SOUPS 50729 WITH SCORE 50800.458
AT ITER 9103 NEW BEST:: SOT 253139 SOS 71455 HAS SOPS 71455 HAS SOUS 50729 HAS SOUPS 50729 WITH SCORE 50800.455
AT ITER 9182 NEW BEST:: SOT 253122 SOS 71413 HAS SOPS 71413 HAS SOUS 50696 HAS SOUPS 50696 WITH SCORE 50767.413
AT ITER 9209 NEW BEST:: SOT 253101 SOS 71375 HAS SOPS 71375 HAS SOUS 50675 HAS SOUPS 50675 WITH SCORE 50746.375
AT ITER 9247 NEW BEST:: SOT 253099 SOS 71406 HAS SOPS 71406 HAS SOUS 50666 HAS SOUPS 50666 WITH SCORE 50737.406
AT ITER 9249 NEW BEST:: SOT 253099 SOS 71395 HAS SOPS 71395 HAS SOUS 50655 HAS SOUPS 50655 WITH SCORE 50726.395
AT ITER 9251 NEW BEST:: SOT 253019 SOS 71315 HAS SOPS 71315 HAS SOUS 50655 HAS SOUPS 50655 WITH SCORE 50726.315
AT ITER 9252 NEW BEST:: SOT 252971 SOS 71243 HAS SOPS 71243 HAS SOUS 50596 HAS SOUPS 50596 WITH SCORE 50667.243
AT ITER 9329 NEW BEST:: SOT 252971 SOS 71208 HAS SOPS 71208 HAS SOUS 50561 HAS SOUPS 50561 WITH SCORE 50632.208
AT ITER 9341 NEW BEST:: SOT 252961 SOS 71190 HAS SOPS 71190 HAS SOUS 50537 HAS SOUPS 50537 WITH SCORE 50608.19
AT ITER 9351 NEW BEST:: SOT 252921 SOS 71110 HAS SOPS 71110 HAS SOUS 50497 HAS SOUPS 50497 WITH SCORE 50568.11
AT ITER 9403 NEW BEST:: SOT 252958 SOS 71029 HAS SOPS 71029 HAS SOUS 50421 HAS SOUPS 50421 WITH SCORE 50492.029
AT ITER 9410 NEW BEST:: SOT 252927 SOS 70967 HAS SOPS 70967 HAS SOUS 50390 HAS SOUPS 50390 WITH SCORE 50460.967
AT ITER 9417 NEW BEST:: SOT 252597 SOS 70632 HAS SOPS 70632 HAS SOUS 50060 HAS SOUPS 50060 WITH SCORE 50130.632
AT ITER 9419 NEW BEST:: SOT 252646 SOS 70612 HAS SOPS 70612 HAS SOUS 50040 HAS SOUPS 50040 WITH SCORE 50110.612
AT ITER 9441 NEW BEST:: SOT 252637 SOS 70604 HAS SOPS 70604 HAS SOUS 50032 HAS SOUPS 50032 WITH SCORE 50102.604
AT ITER 9442 NEW BEST:: SOT 252636 SOS 70602 HAS SOPS 70602 HAS SOUS 50030 HAS SOUPS 50030 WITH SCORE 50100.602
AT ITER 9479 NEW BEST:: SOT 252620 SOS 70578 HAS SOPS 70578 HAS SOUS 50014 HAS SOUPS 50014 WITH SCORE 50084.578
AT ITER 9529 NEW BEST:: SOT 252619 SOS 70576 HAS SOPS 70576 HAS SOUS 50011 HAS SOUPS 50011 WITH SCORE 50081.576
AT ITER 9568 NEW BEST:: SOT 252600 SOS 70557 HAS SOPS 70557 HAS SOUS 49992 HAS SOUPS 49992 WITH SCORE 50062.557
AT ITER 9614 NEW BEST:: SOT 252577 SOS 70284 HAS SOPS 70284 HAS SOUS 49919 HAS SOUPS 49919 WITH SCORE 49989.284
AT ITER 9621 NEW BEST:: SOT 252572 SOS 70279 HAS SOPS 70279 HAS SOUS 49919 HAS SOUPS 49919 WITH SCORE 49989.279
AT ITER 9635 NEW BEST:: SOT 252506 SOS 70266 HAS SOPS 70266 HAS SOUS 49905 HAS SOUPS 49905 WITH SCORE 49975.266
AT ITER 9694 NEW BEST:: SOT 252512 SOS 70122 HAS SOPS 70122 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49905.122
AT ITER 9718 NEW BEST:: SOT 252486 SOS 70096 HAS SOPS 70096 HAS SOUS 49809 HAS SOUPS 49809 WITH SCORE 49879.096
AT ITER 9741 NEW BEST:: SOT 252412 SOS 71345 HAS SOPS 71345 HAS SOUS 49773 HAS SOUPS 49773 WITH SCORE 49844.345
AT ITER 9762 NEW BEST:: SOT 252375 SOS 71271 HAS SOPS 71271 HAS SOUS 49749 HAS SOUPS 49749 WITH SCORE 49820.271
AT ITER 9769 NEW BEST:: SOT 252418 SOS 71155 HAS SOPS 71155 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49704.155
AT ITER 9771 NEW BEST:: SOT 252382 SOS 71119 HAS SOPS 71119 HAS SOUS 49597 HAS SOUPS 49597 WITH SCORE 49668.119
AT ITER 9792 NEW BEST:: SOT 252382 SOS 71115 HAS SOPS 71115 HAS SOUS 49593 HAS SOUPS 49593 WITH SCORE 49664.115
AT ITER 9797 NEW BEST:: SOT 252378 SOS 71109 HAS SOPS 71109 HAS SOUS 49587 HAS SOUPS 49587 WITH SCORE 49658.109
AT ITER 9798 NEW BEST:: SOT 252292 SOS 70926 HAS SOPS 70926 HAS SOUS 49432 HAS SOUPS 49432 WITH SCORE 49502.926
AT ITER 9886 NEW BEST:: SOT 252288 SOS 70914 HAS SOPS 70914 HAS SOUS 49428 HAS SOUPS 49428 WITH SCORE 49498.914
AT ITER 9906 NEW BEST:: SOT 252266 SOS 70901 HAS SOPS 70901 HAS SOUS 49384 HAS SOUPS 49384 WITH SCORE 49454.901
AT ITER 9907 NEW BEST:: SOT 252171 SOS 70795 HAS SOPS 70795 HAS SOUS 49373 HAS SOUPS 49373 WITH SCORE 49443.795
AT ITER 9910 NEW BEST:: SOT 252171 SOS 70784 HAS SOPS 70784 HAS SOUS 49362 HAS SOUPS 49362 WITH SCORE 49432.784
AT ITER 9918 NEW BEST:: SOT 252126 SOS 70752 HAS SOPS 70752 HAS SOUS 49330 HAS SOUPS 49330 WITH SCORE 49400.752
AT ITER 9999 NEW BEST:: SOT 252126 SOS 70743 HAS SOPS 70743 HAS SOUS 49330 HAS SOUPS 49330 WITH SCORE 49400.743
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 14803204 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16154408 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-18"
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-18, 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-167813688400592"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-18.tgz
mv BusinessProcesses-PT-18 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;