Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922807900724.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DiscoveryGPU-PT-14b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900724
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 2.8K Mar 31 07:35 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K Mar 31 07:35 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 30 00:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 30 00:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 28 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 07:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 07:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 104K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-14b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589364673193

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14b
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 408 places, 434 transitions, 1135 arcs.
AT ITER 0 NEW BEST:: SOT 123878 SOS 59654 HAS SOPS 59654 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52725.654
AT ITER 1 NEW BEST:: SOT 123809 SOS 59411 HAS SOPS 59411 HAS SOUS 52478 HAS SOUPS 52478 WITH SCORE 52537.411
AT ITER 2 NEW BEST:: SOT 123722 SOS 59237 HAS SOPS 59237 HAS SOUS 52304 HAS SOUPS 52304 WITH SCORE 52363.237
AT ITER 4 NEW BEST:: SOT 123759 SOS 59225 HAS SOPS 59225 HAS SOUS 52291 HAS SOUPS 52291 WITH SCORE 52350.225
AT ITER 8 NEW BEST:: SOT 123781 SOS 59252 HAS SOPS 59252 HAS SOUS 52282 HAS SOUPS 52282 WITH SCORE 52341.252
AT ITER 18 NEW BEST:: SOT 123515 SOS 58806 HAS SOPS 58806 HAS SOUS 51886 HAS SOUPS 51886 WITH SCORE 51944.806
AT ITER 33 NEW BEST:: SOT 123515 SOS 58772 HAS SOPS 58772 HAS SOUS 51877 HAS SOUPS 51877 WITH SCORE 51935.772
AT ITER 35 NEW BEST:: SOT 123515 SOS 58772 HAS SOPS 58772 HAS SOUS 51876 HAS SOUPS 51876 WITH SCORE 51934.772
AT ITER 42 NEW BEST:: SOT 123514 SOS 58770 HAS SOPS 58770 HAS SOUS 51874 HAS SOUPS 51874 WITH SCORE 51932.77
AT ITER 46 NEW BEST:: SOT 123525 SOS 58706 HAS SOPS 58706 HAS SOUS 51741 HAS SOUPS 51741 WITH SCORE 51799.706
AT ITER 49 NEW BEST:: SOT 123525 SOS 58682 HAS SOPS 58682 HAS SOUS 51717 HAS SOUPS 51717 WITH SCORE 51775.682
AT ITER 52 NEW BEST:: SOT 123516 SOS 58673 HAS SOPS 58673 HAS SOUS 51707 HAS SOUPS 51707 WITH SCORE 51765.673
AT ITER 54 NEW BEST:: SOT 123476 SOS 58593 HAS SOPS 58593 HAS SOUS 51627 HAS SOUPS 51627 WITH SCORE 51685.593
AT ITER 55 NEW BEST:: SOT 123547 SOS 58562 HAS SOPS 58562 HAS SOUS 51509 HAS SOUPS 51509 WITH SCORE 51567.562
AT ITER 56 NEW BEST:: SOT 123391 SOS 58139 HAS SOPS 58139 HAS SOUS 51197 HAS SOUPS 51197 WITH SCORE 51255.139
AT ITER 59 NEW BEST:: SOT 123415 SOS 57857 HAS SOPS 57857 HAS SOUS 51074 HAS SOUPS 51074 WITH SCORE 51131.857
AT ITER 61 NEW BEST:: SOT 123392 SOS 57788 HAS SOPS 57788 HAS SOUS 51005 HAS SOUPS 51005 WITH SCORE 51062.788
AT ITER 65 NEW BEST:: SOT 123233 SOS 57651 HAS SOPS 57651 HAS SOUS 50846 HAS SOUPS 50846 WITH SCORE 50903.651
AT ITER 79 NEW BEST:: SOT 123215 SOS 57646 HAS SOPS 57646 HAS SOUS 50845 HAS SOUPS 50845 WITH SCORE 50902.646
AT ITER 90 NEW BEST:: SOT 123109 SOS 57540 HAS SOPS 57540 HAS SOUS 50739 HAS SOUPS 50739 WITH SCORE 50796.54
AT ITER 93 NEW BEST:: SOT 123055 SOS 57476 HAS SOPS 57476 HAS SOUS 50717 HAS SOUPS 50717 WITH SCORE 50774.476
AT ITER 98 NEW BEST:: SOT 123073 SOS 57426 HAS SOPS 57426 HAS SOUS 50580 HAS SOUPS 50580 WITH SCORE 50637.426
AT ITER 99 NEW BEST:: SOT 123058 SOS 57396 HAS SOPS 57396 HAS SOUS 50550 HAS SOUPS 50550 WITH SCORE 50607.396
AT ITER 104 NEW BEST:: SOT 123080 SOS 57353 HAS SOPS 57353 HAS SOUS 50506 HAS SOUPS 50506 WITH SCORE 50563.353
AT ITER 106 NEW BEST:: SOT 123080 SOS 57303 HAS SOPS 57303 HAS SOUS 50505 HAS SOUPS 50505 WITH SCORE 50562.303
AT ITER 114 NEW BEST:: SOT 123078 SOS 57493 HAS SOPS 57493 HAS SOUS 50504 HAS SOUPS 50504 WITH SCORE 50561.493
AT ITER 115 NEW BEST:: SOT 123039 SOS 57415 HAS SOPS 57415 HAS SOUS 50504 HAS SOUPS 50504 WITH SCORE 50561.415
AT ITER 116 NEW BEST:: SOT 122888 SOS 57407 HAS SOPS 57407 HAS SOUS 50496 HAS SOUPS 50496 WITH SCORE 50553.407
AT ITER 121 NEW BEST:: SOT 122765 SOS 57033 HAS SOPS 57033 HAS SOUS 50202 HAS SOUPS 50202 WITH SCORE 50259.033
AT ITER 123 NEW BEST:: SOT 122715 SOS 56964 HAS SOPS 56964 HAS SOUS 50133 HAS SOUPS 50133 WITH SCORE 50189.964
AT ITER 126 NEW BEST:: SOT 122563 SOS 56798 HAS SOPS 56798 HAS SOUS 49989 HAS SOUPS 49989 WITH SCORE 50045.798
AT ITER 127 NEW BEST:: SOT 122563 SOS 56768 HAS SOPS 56768 HAS SOUS 49958 HAS SOUPS 49958 WITH SCORE 50014.768
AT ITER 129 NEW BEST:: SOT 122463 SOS 56809 HAS SOPS 56809 HAS SOUS 49913 HAS SOUPS 49913 WITH SCORE 49969.809
AT ITER 132 NEW BEST:: SOT 121257 SOS 57102 HAS SOPS 57102 HAS SOUS 48871 HAS SOUPS 48871 WITH SCORE 48928.102
AT ITER 136 NEW BEST:: SOT 121257 SOS 57203 HAS SOPS 57203 HAS SOUS 48869 HAS SOUPS 48869 WITH SCORE 48926.203
AT ITER 146 NEW BEST:: SOT 121256 SOS 57201 HAS SOPS 57201 HAS SOUS 48867 HAS SOUPS 48867 WITH SCORE 48924.201
AT ITER 155 NEW BEST:: SOT 120992 SOS 56833 HAS SOPS 56833 HAS SOUS 48486 HAS SOUPS 48486 WITH SCORE 48542.833
AT ITER 157 NEW BEST:: SOT 120944 SOS 56689 HAS SOPS 56689 HAS SOUS 48390 HAS SOUPS 48390 WITH SCORE 48446.689
AT ITER 162 NEW BEST:: SOT 120892 SOS 56585 HAS SOPS 56585 HAS SOUS 48286 HAS SOUPS 48286 WITH SCORE 48342.585
AT ITER 166 NEW BEST:: SOT 120892 SOS 56482 HAS SOPS 56482 HAS SOUS 48183 HAS SOUPS 48183 WITH SCORE 48239.482
AT ITER 167 NEW BEST:: SOT 120892 SOS 56383 HAS SOPS 56383 HAS SOUS 48106 HAS SOUPS 48106 WITH SCORE 48162.383
AT ITER 168 NEW BEST:: SOT 120748 SOS 56211 HAS SOPS 56211 HAS SOUS 47961 HAS SOUPS 47961 WITH SCORE 48017.211
AT ITER 169 NEW BEST:: SOT 120748 SOS 56201 HAS SOPS 56201 HAS SOUS 47951 HAS SOUPS 47951 WITH SCORE 48007.201
AT ITER 170 NEW BEST:: SOT 120656 SOS 55931 HAS SOPS 55931 HAS SOUS 47642 HAS SOUPS 47642 WITH SCORE 47697.931
AT ITER 173 NEW BEST:: SOT 120606 SOS 55773 HAS SOPS 55773 HAS SOUS 47542 HAS SOUPS 47542 WITH SCORE 47597.773
AT ITER 177 NEW BEST:: SOT 120603 SOS 55767 HAS SOPS 55767 HAS SOUS 47539 HAS SOUPS 47539 WITH SCORE 47594.767
AT ITER 178 NEW BEST:: SOT 120439 SOS 55529 HAS SOPS 55529 HAS SOUS 47374 HAS SOUPS 47374 WITH SCORE 47429.529
AT ITER 180 NEW BEST:: SOT 120401 SOS 55490 HAS SOPS 55490 HAS SOUS 47335 HAS SOUPS 47335 WITH SCORE 47390.49
AT ITER 181 NEW BEST:: SOT 120322 SOS 55676 HAS SOPS 55676 HAS SOUS 47317 HAS SOUPS 47317 WITH SCORE 47372.676
AT ITER 185 NEW BEST:: SOT 120284 SOS 55638 HAS SOPS 55638 HAS SOUS 47279 HAS SOUPS 47279 WITH SCORE 47334.638
AT ITER 191 NEW BEST:: SOT 120289 SOS 55531 HAS SOPS 55531 HAS SOUS 47223 HAS SOUPS 47223 WITH SCORE 47278.531
AT ITER 192 NEW BEST:: SOT 120288 SOS 55468 HAS SOPS 55468 HAS SOUS 47221 HAS SOUPS 47221 WITH SCORE 47276.468
AT ITER 203 NEW BEST:: SOT 120383 SOS 55546 HAS SOPS 55546 HAS SOUS 47213 HAS SOUPS 47213 WITH SCORE 47268.546
AT ITER 204 NEW BEST:: SOT 120221 SOS 55314 HAS SOPS 55314 HAS SOUS 46994 HAS SOUPS 46994 WITH SCORE 47049.314
AT ITER 205 NEW BEST:: SOT 119104 SOS 54196 HAS SOPS 54196 HAS SOUS 45865 HAS SOUPS 45865 WITH SCORE 45919.196
AT ITER 227 NEW BEST:: SOT 119020 SOS 53938 HAS SOPS 53938 HAS SOUS 45782 HAS SOUPS 45782 WITH SCORE 45835.938
AT ITER 229 NEW BEST:: SOT 118938 SOS 53799 HAS SOPS 53799 HAS SOUS 45700 HAS SOUPS 45700 WITH SCORE 45753.799
AT ITER 232 NEW BEST:: SOT 118750 SOS 53563 HAS SOPS 53563 HAS SOUS 45582 HAS SOUPS 45582 WITH SCORE 45635.563
AT ITER 242 NEW BEST:: SOT 118504 SOS 53194 HAS SOPS 53194 HAS SOUS 45213 HAS SOUPS 45213 WITH SCORE 45266.194
AT ITER 249 NEW BEST:: SOT 118599 SOS 53152 HAS SOPS 53152 HAS SOUS 45193 HAS SOUPS 45193 WITH SCORE 45246.152
AT ITER 255 NEW BEST:: SOT 118436 SOS 52950 HAS SOPS 52950 HAS SOUS 44907 HAS SOUPS 44907 WITH SCORE 44959.95
AT ITER 267 NEW BEST:: SOT 118354 SOS 52693 HAS SOPS 52693 HAS SOUS 44650 HAS SOUPS 44650 WITH SCORE 44702.693
AT ITER 278 NEW BEST:: SOT 118389 SOS 52676 HAS SOPS 52676 HAS SOUS 44632 HAS SOUPS 44632 WITH SCORE 44684.676
AT ITER 280 NEW BEST:: SOT 118389 SOS 52676 HAS SOPS 52676 HAS SOUS 44610 HAS SOUPS 44610 WITH SCORE 44662.676
AT ITER 289 NEW BEST:: SOT 118389 SOS 52563 HAS SOPS 52563 HAS SOUS 44497 HAS SOUPS 44497 WITH SCORE 44549.563
AT ITER 300 NEW BEST:: SOT 118381 SOS 52547 HAS SOPS 52547 HAS SOUS 44481 HAS SOUPS 44481 WITH SCORE 44533.547
AT ITER 309 NEW BEST:: SOT 118292 SOS 52459 HAS SOPS 52459 HAS SOUS 44386 HAS SOUPS 44386 WITH SCORE 44438.459
AT ITER 328 NEW BEST:: SOT 118270 SOS 52275 HAS SOPS 52275 HAS SOUS 44202 HAS SOUPS 44202 WITH SCORE 44254.275
AT ITER 329 NEW BEST:: SOT 118157 SOS 52142 HAS SOPS 52142 HAS SOUS 44069 HAS SOUPS 44069 WITH SCORE 44121.142
AT ITER 332 NEW BEST:: SOT 118092 SOS 52077 HAS SOPS 52077 HAS SOUS 43939 HAS SOUPS 43939 WITH SCORE 43991.077
AT ITER 335 NEW BEST:: SOT 118091 SOS 52075 HAS SOPS 52075 HAS SOUS 43937 HAS SOUPS 43937 WITH SCORE 43989.075
AT ITER 339 NEW BEST:: SOT 118016 SOS 51978 HAS SOPS 51978 HAS SOUS 43787 HAS SOUPS 43787 WITH SCORE 43838.978
AT ITER 350 NEW BEST:: SOT 117966 SOS 51878 HAS SOPS 51878 HAS SOUS 43685 HAS SOUPS 43685 WITH SCORE 43736.878
AT ITER 360 NEW BEST:: SOT 117884 SOS 51608 HAS SOPS 51608 HAS SOUS 43601 HAS SOUPS 43601 WITH SCORE 43652.608
AT ITER 361 NEW BEST:: SOT 117838 SOS 51516 HAS SOPS 51516 HAS SOUS 43509 HAS SOUPS 43509 WITH SCORE 43560.516
AT ITER 363 NEW BEST:: SOT 117879 SOS 51727 HAS SOPS 51727 HAS SOUS 43502 HAS SOUPS 43502 WITH SCORE 43553.727
AT ITER 366 NEW BEST:: SOT 117834 SOS 51568 HAS SOPS 51568 HAS SOUS 43343 HAS SOUPS 43343 WITH SCORE 43394.568
AT ITER 378 NEW BEST:: SOT 117706 SOS 51535 HAS SOPS 51535 HAS SOUS 43244 HAS SOUPS 43244 WITH SCORE 43295.535
AT ITER 382 NEW BEST:: SOT 117705 SOS 51533 HAS SOPS 51533 HAS SOUS 43242 HAS SOUPS 43242 WITH SCORE 43293.533
AT ITER 384 NEW BEST:: SOT 117613 SOS 51440 HAS SOPS 51440 HAS SOUS 43149 HAS SOUPS 43149 WITH SCORE 43200.44
AT ITER 386 NEW BEST:: SOT 117571 SOS 51419 HAS SOPS 51419 HAS SOUS 43091 HAS SOUPS 43091 WITH SCORE 43142.419
AT ITER 390 NEW BEST:: SOT 117515 SOS 51408 HAS SOPS 51408 HAS SOUS 43003 HAS SOUPS 43003 WITH SCORE 43054.408
AT ITER 397 NEW BEST:: SOT 117341 SOS 51163 HAS SOPS 51163 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42879.163
AT ITER 401 NEW BEST:: SOT 117351 SOS 51013 HAS SOPS 51013 HAS SOUS 42678 HAS SOUPS 42678 WITH SCORE 42729.013
AT ITER 402 NEW BEST:: SOT 117350 SOS 50985 HAS SOPS 50985 HAS SOUS 42676 HAS SOUPS 42676 WITH SCORE 42726.985
AT ITER 406 NEW BEST:: SOT 117350 SOS 50951 HAS SOPS 50951 HAS SOUS 42676 HAS SOUPS 42676 WITH SCORE 42726.951
AT ITER 411 NEW BEST:: SOT 117134 SOS 50697 HAS SOPS 50697 HAS SOUS 42288 HAS SOUPS 42288 WITH SCORE 42338.697
AT ITER 416 NEW BEST:: SOT 116970 SOS 50164 HAS SOPS 50164 HAS SOUS 41960 HAS SOUPS 41960 WITH SCORE 42010.164
AT ITER 418 NEW BEST:: SOT 116940 SOS 50156 HAS SOPS 50156 HAS SOUS 41900 HAS SOUPS 41900 WITH SCORE 41950.156
AT ITER 426 NEW BEST:: SOT 116940 SOS 50078 HAS SOPS 50078 HAS SOUS 41899 HAS SOUPS 41899 WITH SCORE 41949.078
AT ITER 436 NEW BEST:: SOT 116941 SOS 50069 HAS SOPS 50069 HAS SOUS 41890 HAS SOUPS 41890 WITH SCORE 41940.069
AT ITER 440 NEW BEST:: SOT 116919 SOS 49965 HAS SOPS 49965 HAS SOUS 41845 HAS SOUPS 41845 WITH SCORE 41894.965
AT ITER 448 NEW BEST:: SOT 116919 SOS 49877 HAS SOPS 49877 HAS SOUS 41845 HAS SOUPS 41845 WITH SCORE 41894.877
AT ITER 450 NEW BEST:: SOT 116919 SOS 49877 HAS SOPS 49877 HAS SOUS 41763 HAS SOUPS 41763 WITH SCORE 41812.877
AT ITER 458 NEW BEST:: SOT 116964 SOS 49818 HAS SOPS 49818 HAS SOUS 41681 HAS SOUPS 41681 WITH SCORE 41730.818
AT ITER 460 NEW BEST:: SOT 116919 SOS 49683 HAS SOPS 49683 HAS SOUS 41546 HAS SOUPS 41546 WITH SCORE 41595.683
AT ITER 462 NEW BEST:: SOT 116918 SOS 49681 HAS SOPS 49681 HAS SOUS 41544 HAS SOUPS 41544 WITH SCORE 41593.681
AT ITER 466 NEW BEST:: SOT 116946 SOS 49606 HAS SOPS 49606 HAS SOUS 41390 HAS SOUPS 41390 WITH SCORE 41439.606
AT ITER 475 NEW BEST:: SOT 116940 SOS 49594 HAS SOPS 49594 HAS SOUS 41384 HAS SOUPS 41384 WITH SCORE 41433.594
AT ITER 477 NEW BEST:: SOT 116903 SOS 49557 HAS SOPS 49557 HAS SOUS 41347 HAS SOUPS 41347 WITH SCORE 41396.557
AT ITER 479 NEW BEST:: SOT 116898 SOS 49552 HAS SOPS 49552 HAS SOUS 41342 HAS SOUPS 41342 WITH SCORE 41391.552
AT ITER 482 NEW BEST:: SOT 116866 SOS 49462 HAS SOPS 49462 HAS SOUS 41308 HAS SOUPS 41308 WITH SCORE 41357.462
AT ITER 488 NEW BEST:: SOT 116861 SOS 49452 HAS SOPS 49452 HAS SOUS 41298 HAS SOUPS 41298 WITH SCORE 41347.452
AT ITER 491 NEW BEST:: SOT 116838 SOS 49355 HAS SOPS 49355 HAS SOUS 41223 HAS SOUPS 41223 WITH SCORE 41272.355
AT ITER 496 NEW BEST:: SOT 116838 SOS 49298 HAS SOPS 49298 HAS SOUS 41223 HAS SOUPS 41223 WITH SCORE 41272.298
AT ITER 497 NEW BEST:: SOT 116799 SOS 49220 HAS SOPS 49220 HAS SOUS 41172 HAS SOUPS 41172 WITH SCORE 41221.22
AT ITER 499 NEW BEST:: SOT 116793 SOS 49208 HAS SOPS 49208 HAS SOUS 41172 HAS SOUPS 41172 WITH SCORE 41221.208
AT ITER 503 NEW BEST:: SOT 116791 SOS 49204 HAS SOPS 49204 HAS SOUS 41164 HAS SOUPS 41164 WITH SCORE 41213.204
AT ITER 509 NEW BEST:: SOT 116717 SOS 46594 HAS SOPS 46594 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40950.594
AT ITER 510 NEW BEST:: SOT 116682 SOS 46570 HAS SOPS 46570 HAS SOUS 40869 HAS SOUPS 40869 WITH SCORE 40915.57
AT ITER 515 NEW BEST:: SOT 116682 SOS 46570 HAS SOPS 46570 HAS SOUS 40836 HAS SOUPS 40836 WITH SCORE 40882.57
AT ITER 520 NEW BEST:: SOT 116682 SOS 46605 HAS SOPS 46605 HAS SOUS 40800 HAS SOUPS 40800 WITH SCORE 40846.605
AT ITER 547 NEW BEST:: SOT 116627 SOS 46495 HAS SOPS 46495 HAS SOUS 40690 HAS SOUPS 40690 WITH SCORE 40736.495
AT ITER 548 NEW BEST:: SOT 116545 SOS 46384 HAS SOPS 46384 HAS SOUS 40579 HAS SOUPS 40579 WITH SCORE 40625.384
AT ITER 557 NEW BEST:: SOT 116545 SOS 46526 HAS SOPS 46526 HAS SOUS 40520 HAS SOUPS 40520 WITH SCORE 40566.526
AT ITER 568 NEW BEST:: SOT 116487 SOS 46383 HAS SOPS 46383 HAS SOUS 40404 HAS SOUPS 40404 WITH SCORE 40450.383
AT ITER 569 NEW BEST:: SOT 116469 SOS 46362 HAS SOPS 46362 HAS SOUS 40356 HAS SOUPS 40356 WITH SCORE 40402.362
AT ITER 579 NEW BEST:: SOT 116443 SOS 46310 HAS SOPS 46310 HAS SOUS 40330 HAS SOUPS 40330 WITH SCORE 40376.31
AT ITER 586 NEW BEST:: SOT 116432 SOS 46296 HAS SOPS 46296 HAS SOUS 40316 HAS SOUPS 40316 WITH SCORE 40362.296
AT ITER 587 NEW BEST:: SOT 116460 SOS 46274 HAS SOPS 46274 HAS SOUS 40294 HAS SOUPS 40294 WITH SCORE 40340.274
AT ITER 591 NEW BEST:: SOT 116417 SOS 46188 HAS SOPS 46188 HAS SOUS 40244 HAS SOUPS 40244 WITH SCORE 40290.188
AT ITER 596 NEW BEST:: SOT 116434 SOS 46205 HAS SOPS 46205 HAS SOUS 40242 HAS SOUPS 40242 WITH SCORE 40288.205
AT ITER 611 NEW BEST:: SOT 116389 SOS 46162 HAS SOPS 46162 HAS SOUS 40187 HAS SOUPS 40187 WITH SCORE 40233.162
AT ITER 613 NEW BEST:: SOT 116389 SOS 46172 HAS SOPS 46172 HAS SOUS 40169 HAS SOUPS 40169 WITH SCORE 40215.172
AT ITER 619 NEW BEST:: SOT 116473 SOS 46058 HAS SOPS 46058 HAS SOUS 40132 HAS SOUPS 40132 WITH SCORE 40178.058
AT ITER 627 NEW BEST:: SOT 116468 SOS 46029 HAS SOPS 46029 HAS SOUS 40108 HAS SOUPS 40108 WITH SCORE 40154.029
AT ITER 630 NEW BEST:: SOT 116429 SOS 45990 HAS SOPS 45990 HAS SOUS 40069 HAS SOUPS 40069 WITH SCORE 40114.99
AT ITER 650 NEW BEST:: SOT 116363 SOS 45826 HAS SOPS 45826 HAS SOUS 39937 HAS SOUPS 39937 WITH SCORE 39982.826
AT ITER 652 NEW BEST:: SOT 116358 SOS 45816 HAS SOPS 45816 HAS SOUS 39927 HAS SOUPS 39927 WITH SCORE 39972.816
AT ITER 657 NEW BEST:: SOT 116358 SOS 45792 HAS SOPS 45792 HAS SOUS 39926 HAS SOUPS 39926 WITH SCORE 39971.792
AT ITER 659 NEW BEST:: SOT 116345 SOS 45766 HAS SOPS 45766 HAS SOUS 39900 HAS SOUPS 39900 WITH SCORE 39945.766
AT ITER 669 NEW BEST:: SOT 116285 SOS 45715 HAS SOPS 45715 HAS SOUS 39849 HAS SOUPS 39849 WITH SCORE 39894.715
AT ITER 672 NEW BEST:: SOT 116295 SOS 45691 HAS SOPS 45691 HAS SOUS 39825 HAS SOUPS 39825 WITH SCORE 39870.691
AT ITER 677 NEW BEST:: SOT 116295 SOS 45681 HAS SOPS 45681 HAS SOUS 39815 HAS SOUPS 39815 WITH SCORE 39860.681
AT ITER 685 NEW BEST:: SOT 116284 SOS 45659 HAS SOPS 45659 HAS SOUS 39793 HAS SOUPS 39793 WITH SCORE 39838.659
AT ITER 688 NEW BEST:: SOT 116289 SOS 45653 HAS SOPS 45653 HAS SOUS 39787 HAS SOUPS 39787 WITH SCORE 39832.653
AT ITER 692 NEW BEST:: SOT 116289 SOS 45649 HAS SOPS 45649 HAS SOUS 39786 HAS SOUPS 39786 WITH SCORE 39831.649
AT ITER 728 NEW BEST:: SOT 116174 SOS 45419 HAS SOPS 45419 HAS SOUS 39556 HAS SOUPS 39556 WITH SCORE 39601.419
AT ITER 729 NEW BEST:: SOT 116167 SOS 45405 HAS SOPS 45405 HAS SOUS 39549 HAS SOUPS 39549 WITH SCORE 39594.405
AT ITER 732 NEW BEST:: SOT 116064 SOS 44530 HAS SOPS 44530 HAS SOUS 39276 HAS SOUPS 39276 WITH SCORE 39320.53
AT ITER 734 NEW BEST:: SOT 116004 SOS 44325 HAS SOPS 44325 HAS SOUS 39176 HAS SOUPS 39176 WITH SCORE 39220.325
AT ITER 743 NEW BEST:: SOT 116004 SOS 44396 HAS SOPS 44396 HAS SOUS 39156 HAS SOUPS 39156 WITH SCORE 39200.396
AT ITER 747 NEW BEST:: SOT 116042 SOS 44445 HAS SOPS 44445 HAS SOUS 39098 HAS SOUPS 39098 WITH SCORE 39142.445
AT ITER 750 NEW BEST:: SOT 113540 SOS 51128 HAS SOPS 51128 HAS SOUS 37088 HAS SOUPS 37088 WITH SCORE 37139.128
AT ITER 755 NEW BEST:: SOT 113485 SOS 51018 HAS SOPS 51018 HAS SOUS 37088 HAS SOUPS 37088 WITH SCORE 37139.018
AT ITER 756 NEW BEST:: SOT 113485 SOS 51018 HAS SOPS 51018 HAS SOUS 37080 HAS SOUPS 37080 WITH SCORE 37131.018
AT ITER 764 NEW BEST:: SOT 113485 SOS 51018 HAS SOPS 51018 HAS SOUS 37067 HAS SOUPS 37067 WITH SCORE 37118.018
AT ITER 766 NEW BEST:: SOT 113373 SOS 50874 HAS SOPS 50874 HAS SOUS 37012 HAS SOUPS 37012 WITH SCORE 37062.874
AT ITER 775 NEW BEST:: SOT 113285 SOS 50769 HAS SOPS 50769 HAS SOUS 36970 HAS SOUPS 36970 WITH SCORE 37020.769
AT ITER 786 NEW BEST:: SOT 113254 SOS 50754 HAS SOPS 50754 HAS SOUS 36955 HAS SOUPS 36955 WITH SCORE 37005.754
AT ITER 798 NEW BEST:: SOT 113186 SOS 50618 HAS SOPS 50618 HAS SOUS 36774 HAS SOUPS 36774 WITH SCORE 36824.618
AT ITER 806 NEW BEST:: SOT 110092 SOS 47721 HAS SOPS 47721 HAS SOUS 34025 HAS SOUPS 34025 WITH SCORE 34072.721
AT ITER 826 NEW BEST:: SOT 110080 SOS 47697 HAS SOPS 47697 HAS SOUS 34001 HAS SOUPS 34001 WITH SCORE 34048.697
AT ITER 850 NEW BEST:: SOT 109925 SOS 47480 HAS SOPS 47480 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33806.48
AT ITER 852 NEW BEST:: SOT 109919 SOS 47468 HAS SOPS 47468 HAS SOUS 33753 HAS SOUPS 33753 WITH SCORE 33800.468
AT ITER 855 NEW BEST:: SOT 109937 SOS 47504 HAS SOPS 47504 HAS SOUS 33721 HAS SOUPS 33721 WITH SCORE 33768.504
AT ITER 867 NEW BEST:: SOT 109952 SOS 47461 HAS SOPS 47461 HAS SOUS 33678 HAS SOUPS 33678 WITH SCORE 33725.461
AT ITER 868 NEW BEST:: SOT 109826 SOS 47335 HAS SOPS 47335 HAS SOUS 33552 HAS SOUPS 33552 WITH SCORE 33599.335
AT ITER 874 NEW BEST:: SOT 109826 SOS 47322 HAS SOPS 47322 HAS SOUS 33552 HAS SOUPS 33552 WITH SCORE 33599.322
AT ITER 884 NEW BEST:: SOT 109826 SOS 47322 HAS SOPS 47322 HAS SOUS 33545 HAS SOUPS 33545 WITH SCORE 33592.322
AT ITER 886 NEW BEST:: SOT 109796 SOS 47187 HAS SOPS 47187 HAS SOUS 33450 HAS SOUPS 33450 WITH SCORE 33497.187
AT ITER 889 NEW BEST:: SOT 109795 SOS 47214 HAS SOPS 47214 HAS SOUS 33448 HAS SOUPS 33448 WITH SCORE 33495.214
AT ITER 890 NEW BEST:: SOT 109765 SOS 47104 HAS SOPS 47104 HAS SOUS 33387 HAS SOUPS 33387 WITH SCORE 33434.104
AT ITER 900 NEW BEST:: SOT 109768 SOS 47097 HAS SOPS 47097 HAS SOUS 33371 HAS SOUPS 33371 WITH SCORE 33418.097
AT ITER 902 NEW BEST:: SOT 109724 SOS 47010 HAS SOPS 47010 HAS SOUS 33333 HAS SOUPS 33333 WITH SCORE 33380.01
AT ITER 920 NEW BEST:: SOT 109568 SOS 46848 HAS SOPS 46848 HAS SOUS 33321 HAS SOUPS 33321 WITH SCORE 33367.848
AT ITER 937 NEW BEST:: SOT 109540 SOS 46792 HAS SOPS 46792 HAS SOUS 33293 HAS SOUPS 33293 WITH SCORE 33339.792
AT ITER 940 NEW BEST:: SOT 109528 SOS 46729 HAS SOPS 46729 HAS SOUS 33269 HAS SOUPS 33269 WITH SCORE 33315.729
AT ITER 951 NEW BEST:: SOT 109535 SOS 46632 HAS SOPS 46632 HAS SOUS 33247 HAS SOUPS 33247 WITH SCORE 33293.632
AT ITER 954 NEW BEST:: SOT 109545 SOS 46652 HAS SOPS 46652 HAS SOUS 33208 HAS SOUPS 33208 WITH SCORE 33254.652
AT ITER 957 NEW BEST:: SOT 109536 SOS 46625 HAS SOPS 46625 HAS SOUS 33190 HAS SOUPS 33190 WITH SCORE 33236.625
AT ITER 983 NEW BEST:: SOT 109519 SOS 46608 HAS SOPS 46608 HAS SOUS 33156 HAS SOUPS 33156 WITH SCORE 33202.608
AT ITER 987 NEW BEST:: SOT 109519 SOS 46579 HAS SOPS 46579 HAS SOUS 33156 HAS SOUPS 33156 WITH SCORE 33202.579
AT ITER 988 NEW BEST:: SOT 109519 SOS 46453 HAS SOPS 46453 HAS SOUS 33155 HAS SOUPS 33155 WITH SCORE 33201.453
AT ITER 993 NEW BEST:: SOT 109539 SOS 46375 HAS SOPS 46375 HAS SOUS 33089 HAS SOUPS 33089 WITH SCORE 33135.375
AT ITER 998 NEW BEST:: SOT 109537 SOS 46358 HAS SOPS 46358 HAS SOUS 33087 HAS SOUPS 33087 WITH SCORE 33133.358
AT ITER 1002 NEW BEST:: SOT 109530 SOS 46296 HAS SOPS 46296 HAS SOUS 33031 HAS SOUPS 33031 WITH SCORE 33077.296
AT ITER 1012 NEW BEST:: SOT 109523 SOS 46309 HAS SOPS 46309 HAS SOUS 33012 HAS SOUPS 33012 WITH SCORE 33058.309
AT ITER 1016 NEW BEST:: SOT 109380 SOS 46166 HAS SOPS 46166 HAS SOUS 32869 HAS SOUPS 32869 WITH SCORE 32915.166
AT ITER 1024 NEW BEST:: SOT 109458 SOS 46099 HAS SOPS 46099 HAS SOUS 32802 HAS SOUPS 32802 WITH SCORE 32848.099
AT ITER 1041 NEW BEST:: SOT 109458 SOS 46059 HAS SOPS 46059 HAS SOUS 32802 HAS SOUPS 32802 WITH SCORE 32848.059
AT ITER 1043 NEW BEST:: SOT 109405 SOS 45884 HAS SOPS 45884 HAS SOUS 32681 HAS SOUPS 32681 WITH SCORE 32726.884
AT ITER 1080 NEW BEST:: SOT 109356 SOS 45786 HAS SOPS 45786 HAS SOUS 32585 HAS SOUPS 32585 WITH SCORE 32630.786
AT ITER 1085 NEW BEST:: SOT 109323 SOS 45753 HAS SOPS 45753 HAS SOUS 32552 HAS SOUPS 32552 WITH SCORE 32597.753
AT ITER 1090 NEW BEST:: SOT 109154 SOS 45626 HAS SOPS 45626 HAS SOUS 32482 HAS SOUPS 32482 WITH SCORE 32527.626
AT ITER 1095 NEW BEST:: SOT 109153 SOS 45618 HAS SOPS 45618 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32476.618
AT ITER 1131 NEW BEST:: SOT 109140 SOS 45592 HAS SOPS 45592 HAS SOUS 32405 HAS SOUPS 32405 WITH SCORE 32450.592
AT ITER 1138 NEW BEST:: SOT 109100 SOS 45273 HAS SOPS 45273 HAS SOUS 32160 HAS SOUPS 32160 WITH SCORE 32205.273
AT ITER 1139 NEW BEST:: SOT 109036 SOS 45034 HAS SOPS 45034 HAS SOUS 32032 HAS SOUPS 32032 WITH SCORE 32077.034
AT ITER 1144 NEW BEST:: SOT 109020 SOS 45029 HAS SOPS 45029 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32072.029
AT ITER 1150 NEW BEST:: SOT 108954 SOS 44947 HAS SOPS 44947 HAS SOUS 31961 HAS SOUPS 31961 WITH SCORE 32005.947
AT ITER 1171 NEW BEST:: SOT 108886 SOS 44811 HAS SOPS 44811 HAS SOUS 31825 HAS SOUPS 31825 WITH SCORE 31869.811
AT ITER 1176 NEW BEST:: SOT 108886 SOS 44811 HAS SOPS 44811 HAS SOUS 31801 HAS SOUPS 31801 WITH SCORE 31845.811
AT ITER 1177 NEW BEST:: SOT 108873 SOS 44820 HAS SOPS 44820 HAS SOUS 31775 HAS SOUPS 31775 WITH SCORE 31819.82
AT ITER 1183 NEW BEST:: SOT 108873 SOS 44838 HAS SOPS 44838 HAS SOUS 31768 HAS SOUPS 31768 WITH SCORE 31812.838
AT ITER 1185 NEW BEST:: SOT 108868 SOS 44828 HAS SOPS 44828 HAS SOUS 31763 HAS SOUPS 31763 WITH SCORE 31807.828
AT ITER 1187 NEW BEST:: SOT 108824 SOS 44784 HAS SOPS 44784 HAS SOUS 31675 HAS SOUPS 31675 WITH SCORE 31719.784
AT ITER 1201 NEW BEST:: SOT 108821 SOS 44781 HAS SOPS 44781 HAS SOUS 31672 HAS SOUPS 31672 WITH SCORE 31716.781
AT ITER 1213 NEW BEST:: SOT 108827 SOS 44793 HAS SOPS 44793 HAS SOUS 31665 HAS SOUPS 31665 WITH SCORE 31709.793
AT ITER 1220 NEW BEST:: SOT 108831 SOS 44818 HAS SOPS 44818 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31684.818
AT ITER 1226 NEW BEST:: SOT 108831 SOS 44747 HAS SOPS 44747 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31684.747
AT ITER 1228 NEW BEST:: SOT 108831 SOS 44732 HAS SOPS 44732 HAS SOUS 31640 HAS SOUPS 31640 WITH SCORE 31684.732
AT ITER 1246 NEW BEST:: SOT 108785 SOS 44686 HAS SOPS 44686 HAS SOUS 31548 HAS SOUPS 31548 WITH SCORE 31592.686
AT ITER 1247 NEW BEST:: SOT 108785 SOS 44684 HAS SOPS 44684 HAS SOUS 31546 HAS SOUPS 31546 WITH SCORE 31590.684
AT ITER 1264 NEW BEST:: SOT 108760 SOS 44609 HAS SOPS 44609 HAS SOUS 31496 HAS SOUPS 31496 WITH SCORE 31540.609
AT ITER 1265 NEW BEST:: SOT 108797 SOS 44683 HAS SOPS 44683 HAS SOUS 31487 HAS SOUPS 31487 WITH SCORE 31531.683
AT ITER 1266 NEW BEST:: SOT 108774 SOS 44637 HAS SOPS 44637 HAS SOUS 31441 HAS SOUPS 31441 WITH SCORE 31485.637
AT ITER 1296 NEW BEST:: SOT 108742 SOS 44573 HAS SOPS 44573 HAS SOUS 31377 HAS SOUPS 31377 WITH SCORE 31421.573
AT ITER 1303 NEW BEST:: SOT 108742 SOS 44405 HAS SOPS 44405 HAS SOUS 31365 HAS SOUPS 31365 WITH SCORE 31409.405
AT ITER 1307 NEW BEST:: SOT 108701 SOS 44373 HAS SOPS 44373 HAS SOUS 31333 HAS SOUPS 31333 WITH SCORE 31377.373
AT ITER 1316 NEW BEST:: SOT 108672 SOS 44336 HAS SOPS 44336 HAS SOUS 31296 HAS SOUPS 31296 WITH SCORE 31340.336
AT ITER 1318 NEW BEST:: SOT 108488 SOS 44146 HAS SOPS 44146 HAS SOUS 31034 HAS SOUPS 31034 WITH SCORE 31078.146
AT ITER 1327 NEW BEST:: SOT 108471 SOS 44129 HAS SOPS 44129 HAS SOUS 31029 HAS SOUPS 31029 WITH SCORE 31073.129
AT ITER 1333 NEW BEST:: SOT 108471 SOS 44129 HAS SOPS 44129 HAS SOUS 31007 HAS SOUPS 31007 WITH SCORE 31051.129
AT ITER 1366 NEW BEST:: SOT 108454 SOS 44095 HAS SOPS 44095 HAS SOUS 30986 HAS SOUPS 30986 WITH SCORE 31030.095
AT ITER 1369 NEW BEST:: SOT 108450 SOS 44083 HAS SOPS 44083 HAS SOUS 30974 HAS SOUPS 30974 WITH SCORE 31018.083
AT ITER 1374 NEW BEST:: SOT 108447 SOS 44077 HAS SOPS 44077 HAS SOUS 30971 HAS SOUPS 30971 WITH SCORE 31015.077
AT ITER 1391 NEW BEST:: SOT 108434 SOS 44041 HAS SOPS 44041 HAS SOUS 30958 HAS SOUPS 30958 WITH SCORE 31002.041
AT ITER 1394 NEW BEST:: SOT 108434 SOS 44006 HAS SOPS 44006 HAS SOUS 30923 HAS SOUPS 30923 WITH SCORE 30967.006
AT ITER 1397 NEW BEST:: SOT 108390 SOS 44003 HAS SOPS 44003 HAS SOUS 30920 HAS SOUPS 30920 WITH SCORE 30964.003
AT ITER 1406 NEW BEST:: SOT 108378 SOS 43955 HAS SOPS 43955 HAS SOUS 30884 HAS SOUPS 30884 WITH SCORE 30927.955
AT ITER 1415 NEW BEST:: SOT 108333 SOS 43807 HAS SOPS 43807 HAS SOUS 30794 HAS SOUPS 30794 WITH SCORE 30837.807
AT ITER 1418 NEW BEST:: SOT 108333 SOS 43706 HAS SOPS 43706 HAS SOUS 30693 HAS SOUPS 30693 WITH SCORE 30736.706
AT ITER 1425 NEW BEST:: SOT 108341 SOS 43631 HAS SOPS 43631 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30694.631
AT ITER 1450 NEW BEST:: SOT 108300 SOS 43588 HAS SOPS 43588 HAS SOUS 30608 HAS SOUPS 30608 WITH SCORE 30651.588
AT ITER 1455 NEW BEST:: SOT 108293 SOS 43575 HAS SOPS 43575 HAS SOUS 30595 HAS SOUPS 30595 WITH SCORE 30638.575
AT ITER 1457 NEW BEST:: SOT 108295 SOS 43576 HAS SOPS 43576 HAS SOUS 30589 HAS SOUPS 30589 WITH SCORE 30632.576
AT ITER 1458 NEW BEST:: SOT 108271 SOS 43552 HAS SOPS 43552 HAS SOUS 30565 HAS SOUPS 30565 WITH SCORE 30608.552
AT ITER 1464 NEW BEST:: SOT 108261 SOS 43543 HAS SOPS 43543 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30599.543
AT ITER 1491 NEW BEST:: SOT 108206 SOS 43433 HAS SOPS 43433 HAS SOUS 30483 HAS SOUPS 30483 WITH SCORE 30526.433
AT ITER 1507 NEW BEST:: SOT 108090 SOS 43142 HAS SOPS 43142 HAS SOUS 30251 HAS SOUPS 30251 WITH SCORE 30294.142
AT ITER 1509 NEW BEST:: SOT 108130 SOS 43126 HAS SOPS 43126 HAS SOUS 30248 HAS SOUPS 30248 WITH SCORE 30291.126
AT ITER 1513 NEW BEST:: SOT 108084 SOS 42989 HAS SOPS 42989 HAS SOUS 30199 HAS SOUPS 30199 WITH SCORE 30241.989
AT ITER 1516 NEW BEST:: SOT 108084 SOS 42983 HAS SOPS 42983 HAS SOUS 30193 HAS SOUPS 30193 WITH SCORE 30235.983
AT ITER 1524 NEW BEST:: SOT 108055 SOS 42925 HAS SOPS 42925 HAS SOUS 30164 HAS SOUPS 30164 WITH SCORE 30206.925
AT ITER 1527 NEW BEST:: SOT 108037 SOS 42912 HAS SOPS 42912 HAS SOUS 30151 HAS SOUPS 30151 WITH SCORE 30193.912
AT ITER 1528 NEW BEST:: SOT 108037 SOS 42812 HAS SOPS 42812 HAS SOUS 30117 HAS SOUPS 30117 WITH SCORE 30159.812
AT ITER 1540 NEW BEST:: SOT 107073 SOS 41840 HAS SOPS 41840 HAS SOUS 29453 HAS SOUPS 29453 WITH SCORE 29494.84
AT ITER 1547 NEW BEST:: SOT 107072 SOS 41814 HAS SOPS 41814 HAS SOUS 29451 HAS SOUPS 29451 WITH SCORE 29492.814
AT ITER 1562 NEW BEST:: SOT 107071 SOS 41759 HAS SOPS 41759 HAS SOUS 29449 HAS SOUPS 29449 WITH SCORE 29490.759
AT ITER 1566 NEW BEST:: SOT 107054 SOS 41751 HAS SOPS 41751 HAS SOUS 29430 HAS SOUPS 29430 WITH SCORE 29471.751
AT ITER 1577 NEW BEST:: SOT 107026 SOS 41735 HAS SOPS 41735 HAS SOUS 29414 HAS SOUPS 29414 WITH SCORE 29455.735
AT ITER 1586 NEW BEST:: SOT 106998 SOS 41761 HAS SOPS 41761 HAS SOUS 29374 HAS SOUPS 29374 WITH SCORE 29415.761
AT ITER 1588 NEW BEST:: SOT 106980 SOS 41734 HAS SOPS 41734 HAS SOUS 29347 HAS SOUPS 29347 WITH SCORE 29388.734
AT ITER 1589 NEW BEST:: SOT 106979 SOS 41731 HAS SOPS 41731 HAS SOUS 29347 HAS SOUPS 29347 WITH SCORE 29388.731
AT ITER 1605 NEW BEST:: SOT 106920 SOS 41606 HAS SOPS 41606 HAS SOUS 29231 HAS SOUPS 29231 WITH SCORE 29272.606
AT ITER 1619 NEW BEST:: SOT 106889 SOS 41544 HAS SOPS 41544 HAS SOUS 29176 HAS SOUPS 29176 WITH SCORE 29217.544
AT ITER 1620 NEW BEST:: SOT 106893 SOS 41475 HAS SOPS 41475 HAS SOUS 29123 HAS SOUPS 29123 WITH SCORE 29164.475
AT ITER 1622 NEW BEST:: SOT 106893 SOS 41444 HAS SOPS 41444 HAS SOUS 29123 HAS SOUPS 29123 WITH SCORE 29164.444
AT ITER 1631 NEW BEST:: SOT 106867 SOS 41406 HAS SOPS 41406 HAS SOUS 29107 HAS SOUPS 29107 WITH SCORE 29148.406
AT ITER 1648 NEW BEST:: SOT 106819 SOS 41310 HAS SOPS 41310 HAS SOUS 28999 HAS SOUPS 28999 WITH SCORE 29040.31
AT ITER 1649 NEW BEST:: SOT 106821 SOS 41298 HAS SOPS 41298 HAS SOUS 28985 HAS SOUPS 28985 WITH SCORE 29026.298
AT ITER 1653 NEW BEST:: SOT 106812 SOS 41283 HAS SOPS 41283 HAS SOUS 28984 HAS SOUPS 28984 WITH SCORE 29025.283
AT ITER 1662 NEW BEST:: SOT 106743 SOS 41214 HAS SOPS 41214 HAS SOUS 28915 HAS SOUPS 28915 WITH SCORE 28956.214
AT ITER 1675 NEW BEST:: SOT 106754 SOS 41236 HAS SOPS 41236 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28943.236
AT ITER 1680 NEW BEST:: SOT 106754 SOS 41236 HAS SOPS 41236 HAS SOUS 28887 HAS SOUPS 28887 WITH SCORE 28928.236
AT ITER 1682 NEW BEST:: SOT 106792 SOS 41147 HAS SOPS 41147 HAS SOUS 28886 HAS SOUPS 28886 WITH SCORE 28927.147
AT ITER 1683 NEW BEST:: SOT 106736 SOS 41091 HAS SOPS 41091 HAS SOUS 28830 HAS SOUPS 28830 WITH SCORE 28871.091
AT ITER 1693 NEW BEST:: SOT 106727 SOS 41070 HAS SOPS 41070 HAS SOUS 28812 HAS SOUPS 28812 WITH SCORE 28853.07
AT ITER 1706 NEW BEST:: SOT 106711 SOS 41038 HAS SOPS 41038 HAS SOUS 28780 HAS SOUPS 28780 WITH SCORE 28821.038
AT ITER 1725 NEW BEST:: SOT 106705 SOS 41032 HAS SOPS 41032 HAS SOUS 28774 HAS SOUPS 28774 WITH SCORE 28815.032
AT ITER 1735 NEW BEST:: SOT 106675 SOS 40946 HAS SOPS 40946 HAS SOUS 28724 HAS SOUPS 28724 WITH SCORE 28764.946
AT ITER 1740 NEW BEST:: SOT 106627 SOS 40850 HAS SOPS 40850 HAS SOUS 28628 HAS SOUPS 28628 WITH SCORE 28668.85
AT ITER 1745 NEW BEST:: SOT 106461 SOS 40684 HAS SOPS 40684 HAS SOUS 28623 HAS SOUPS 28623 WITH SCORE 28663.684
AT ITER 1754 NEW BEST:: SOT 106458 SOS 40681 HAS SOPS 40681 HAS SOUS 28620 HAS SOUPS 28620 WITH SCORE 28660.681
AT ITER 1782 NEW BEST:: SOT 106450 SOS 40673 HAS SOPS 40673 HAS SOUS 28612 HAS SOUPS 28612 WITH SCORE 28652.673
AT ITER 1792 NEW BEST:: SOT 106450 SOS 40639 HAS SOPS 40639 HAS SOUS 28612 HAS SOUPS 28612 WITH SCORE 28652.639
AT ITER 1802 NEW BEST:: SOT 106177 SOS 40613 HAS SOPS 40613 HAS SOUS 28480 HAS SOUPS 28480 WITH SCORE 28520.613
AT ITER 1803 NEW BEST:: SOT 106176 SOS 40612 HAS SOPS 40612 HAS SOUS 28478 HAS SOUPS 28478 WITH SCORE 28518.612
AT ITER 1813 NEW BEST:: SOT 106160 SOS 40588 HAS SOPS 40588 HAS SOUS 28454 HAS SOUPS 28454 WITH SCORE 28494.588
AT ITER 1814 NEW BEST:: SOT 106160 SOS 40588 HAS SOPS 40588 HAS SOUS 28441 HAS SOUPS 28441 WITH SCORE 28481.588
AT ITER 1817 NEW BEST:: SOT 106148 SOS 40564 HAS SOPS 40564 HAS SOUS 28429 HAS SOUPS 28429 WITH SCORE 28469.564
AT ITER 1819 NEW BEST:: SOT 106106 SOS 40415 HAS SOPS 40415 HAS SOUS 28423 HAS SOUPS 28423 WITH SCORE 28463.415
AT ITER 1835 NEW BEST:: SOT 106101 SOS 40405 HAS SOPS 40405 HAS SOUS 28413 HAS SOUPS 28413 WITH SCORE 28453.405
AT ITER 1843 NEW BEST:: SOT 106078 SOS 40382 HAS SOPS 40382 HAS SOUS 28390 HAS SOUPS 28390 WITH SCORE 28430.382
AT ITER 1858 NEW BEST:: SOT 106042 SOS 40346 HAS SOPS 40346 HAS SOUS 28318 HAS SOUPS 28318 WITH SCORE 28358.346
AT ITER 1865 NEW BEST:: SOT 105934 SOS 40253 HAS SOPS 40253 HAS SOUS 28210 HAS SOUPS 28210 WITH SCORE 28250.253
AT ITER 1872 NEW BEST:: SOT 105920 SOS 40199 HAS SOPS 40199 HAS SOUS 28182 HAS SOUPS 28182 WITH SCORE 28222.199
AT ITER 1887 NEW BEST:: SOT 105941 SOS 40166 HAS SOPS 40166 HAS SOUS 28149 HAS SOUPS 28149 WITH SCORE 28189.166
AT ITER 1890 NEW BEST:: SOT 105935 SOS 40154 HAS SOPS 40154 HAS SOUS 28137 HAS SOUPS 28137 WITH SCORE 28177.154
AT ITER 1897 NEW BEST:: SOT 105903 SOS 40122 HAS SOPS 40122 HAS SOUS 28110 HAS SOUPS 28110 WITH SCORE 28150.122
AT ITER 1900 NEW BEST:: SOT 105903 SOS 40117 HAS SOPS 40117 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28145.117
AT ITER 1903 NEW BEST:: SOT 105883 SOS 40077 HAS SOPS 40077 HAS SOUS 28085 HAS SOUPS 28085 WITH SCORE 28125.077
AT ITER 1921 NEW BEST:: SOT 105883 SOS 40067 HAS SOPS 40067 HAS SOUS 28075 HAS SOUPS 28075 WITH SCORE 28115.067
AT ITER 1931 NEW BEST:: SOT 105878 SOS 40057 HAS SOPS 40057 HAS SOUS 28070 HAS SOUPS 28070 WITH SCORE 28110.057
AT ITER 1941 NEW BEST:: SOT 105868 SOS 40037 HAS SOPS 40037 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28090.037
AT ITER 1957 NEW BEST:: SOT 105868 SOS 40035 HAS SOPS 40035 HAS SOUS 28050 HAS SOUPS 28050 WITH SCORE 28090.035
AT ITER 1969 NEW BEST:: SOT 105866 SOS 40114 HAS SOPS 40114 HAS SOUS 28029 HAS SOUPS 28029 WITH SCORE 28069.114
AT ITER 1990 NEW BEST:: SOT 105835 SOS 40052 HAS SOPS 40052 HAS SOUS 27975 HAS SOUPS 27975 WITH SCORE 28015.052
AT ITER 1993 NEW BEST:: SOT 105831 SOS 40080 HAS SOPS 40080 HAS SOUS 27967 HAS SOUPS 27967 WITH SCORE 28007.08
AT ITER 2001 NEW BEST:: SOT 105838 SOS 40079 HAS SOPS 40079 HAS SOUS 27966 HAS SOUPS 27966 WITH SCORE 28006.079
AT ITER 2013 NEW BEST:: SOT 105826 SOS 40055 HAS SOPS 40055 HAS SOUS 27942 HAS SOUPS 27942 WITH SCORE 27982.055
AT ITER 2022 NEW BEST:: SOT 105718 SOS 40002 HAS SOPS 40002 HAS SOUS 27875 HAS SOUPS 27875 WITH SCORE 27915.002
AT ITER 2028 NEW BEST:: SOT 105713 SOS 39992 HAS SOPS 39992 HAS SOUS 27865 HAS SOUPS 27865 WITH SCORE 27904.992
AT ITER 2031 NEW BEST:: SOT 105708 SOS 39992 HAS SOPS 39992 HAS SOUS 27860 HAS SOUPS 27860 WITH SCORE 27899.992
AT ITER 2039 NEW BEST:: SOT 105702 SOS 39974 HAS SOPS 39974 HAS SOUS 27843 HAS SOUPS 27843 WITH SCORE 27882.974
AT ITER 2049 NEW BEST:: SOT 105705 SOS 39968 HAS SOPS 39968 HAS SOUS 27788 HAS SOUPS 27788 WITH SCORE 27827.968
AT ITER 2050 NEW BEST:: SOT 105659 SOS 39876 HAS SOPS 39876 HAS SOUS 27615 HAS SOUPS 27615 WITH SCORE 27654.876
AT ITER 2052 NEW BEST:: SOT 105558 SOS 39775 HAS SOPS 39775 HAS SOUS 27528 HAS SOUPS 27528 WITH SCORE 27567.775
AT ITER 2058 NEW BEST:: SOT 105553 SOS 39765 HAS SOPS 39765 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27548.765
AT ITER 2076 NEW BEST:: SOT 105553 SOS 39755 HAS SOPS 39755 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27548.755
AT ITER 2079 NEW BEST:: SOT 105553 SOS 39755 HAS SOPS 39755 HAS SOUS 27500 HAS SOUPS 27500 WITH SCORE 27539.755
AT ITER 2080 NEW BEST:: SOT 105489 SOS 39736 HAS SOPS 39736 HAS SOUS 27419 HAS SOUPS 27419 WITH SCORE 27458.736
AT ITER 2094 NEW BEST:: SOT 105484 SOS 39726 HAS SOPS 39726 HAS SOUS 27402 HAS SOUPS 27402 WITH SCORE 27441.726
AT ITER 2099 NEW BEST:: SOT 105419 SOS 39553 HAS SOPS 39553 HAS SOUS 27338 HAS SOUPS 27338 WITH SCORE 27377.553
AT ITER 2110 NEW BEST:: SOT 105419 SOS 39441 HAS SOPS 39441 HAS SOUS 27338 HAS SOUPS 27338 WITH SCORE 27377.441
AT ITER 2128 NEW BEST:: SOT 105405 SOS 39443 HAS SOPS 39443 HAS SOUS 27310 HAS SOUPS 27310 WITH SCORE 27349.443
AT ITER 2135 NEW BEST:: SOT 105328 SOS 39375 HAS SOPS 39375 HAS SOUS 27268 HAS SOUPS 27268 WITH SCORE 27307.375
AT ITER 2138 NEW BEST:: SOT 105311 SOS 39340 HAS SOPS 39340 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27239.34
AT ITER 2150 NEW BEST:: SOT 105270 SOS 39258 HAS SOPS 39258 HAS SOUS 27112 HAS SOUPS 27112 WITH SCORE 27151.258
AT ITER 2169 NEW BEST:: SOT 105270 SOS 39258 HAS SOPS 39258 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27146.258
AT ITER 2187 NEW BEST:: SOT 105245 SOS 39250 HAS SOPS 39250 HAS SOUS 27099 HAS SOUPS 27099 WITH SCORE 27138.25
AT ITER 2203 NEW BEST:: SOT 105232 SOS 39224 HAS SOPS 39224 HAS SOUS 27073 HAS SOUPS 27073 WITH SCORE 27112.224
AT ITER 2210 NEW BEST:: SOT 105223 SOS 39215 HAS SOPS 39215 HAS SOUS 27064 HAS SOUPS 27064 WITH SCORE 27103.215
AT ITER 2246 NEW BEST:: SOT 105148 SOS 39158 HAS SOPS 39158 HAS SOUS 27010 HAS SOUPS 27010 WITH SCORE 27049.158
AT ITER 2254 NEW BEST:: SOT 105148 SOS 39149 HAS SOPS 39149 HAS SOUS 27001 HAS SOUPS 27001 WITH SCORE 27040.149
AT ITER 2268 NEW BEST:: SOT 105143 SOS 39139 HAS SOPS 39139 HAS SOUS 26991 HAS SOUPS 26991 WITH SCORE 27030.139
AT ITER 2281 NEW BEST:: SOT 105143 SOS 39139 HAS SOPS 39139 HAS SOUS 26973 HAS SOUPS 26973 WITH SCORE 27012.139
AT ITER 2289 NEW BEST:: SOT 105129 SOS 39097 HAS SOPS 39097 HAS SOUS 26945 HAS SOUPS 26945 WITH SCORE 26984.097
AT ITER 2295 NEW BEST:: SOT 105132 SOS 39103 HAS SOPS 39103 HAS SOUS 26930 HAS SOUPS 26930 WITH SCORE 26969.103
AT ITER 2296 NEW BEST:: SOT 105122 SOS 39083 HAS SOPS 39083 HAS SOUS 26910 HAS SOUPS 26910 WITH SCORE 26949.083
AT ITER 2317 NEW BEST:: SOT 105123 SOS 39073 HAS SOPS 39073 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26944.073
AT ITER 2347 NEW BEST:: SOT 105103 SOS 39004 HAS SOPS 39004 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26903.004
AT ITER 2359 NEW BEST:: SOT 105015 SOS 38942 HAS SOPS 38942 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26814.942
AT ITER 2374 NEW BEST:: SOT 104999 SOS 38962 HAS SOPS 38962 HAS SOUS 26744 HAS SOUPS 26744 WITH SCORE 26782.962
AT ITER 2386 NEW BEST:: SOT 104992 SOS 38955 HAS SOPS 38955 HAS SOUS 26737 HAS SOUPS 26737 WITH SCORE 26775.955
AT ITER 2398 NEW BEST:: SOT 104941 SOS 38853 HAS SOPS 38853 HAS SOUS 26635 HAS SOUPS 26635 WITH SCORE 26673.853
AT ITER 2407 NEW BEST:: SOT 104880 SOS 38655 HAS SOPS 38655 HAS SOUS 26599 HAS SOUPS 26599 WITH SCORE 26637.655
AT ITER 2427 NEW BEST:: SOT 104846 SOS 38575 HAS SOPS 38575 HAS SOUS 26529 HAS SOUPS 26529 WITH SCORE 26567.575
AT ITER 2429 NEW BEST:: SOT 104783 SOS 38512 HAS SOPS 38512 HAS SOUS 26473 HAS SOUPS 26473 WITH SCORE 26511.512
AT ITER 2430 NEW BEST:: SOT 104754 SOS 38454 HAS SOPS 38454 HAS SOUS 26433 HAS SOUPS 26433 WITH SCORE 26471.454
AT ITER 2435 NEW BEST:: SOT 104722 SOS 38390 HAS SOPS 38390 HAS SOUS 26369 HAS SOUPS 26369 WITH SCORE 26407.39
AT ITER 2437 NEW BEST:: SOT 104722 SOS 38345 HAS SOPS 38345 HAS SOUS 26324 HAS SOUPS 26324 WITH SCORE 26362.345
AT ITER 2441 NEW BEST:: SOT 104697 SOS 38295 HAS SOPS 38295 HAS SOUS 26282 HAS SOUPS 26282 WITH SCORE 26320.295
AT ITER 2456 NEW BEST:: SOT 104688 SOS 38297 HAS SOPS 38297 HAS SOUS 26275 HAS SOUPS 26275 WITH SCORE 26313.297
AT ITER 2463 NEW BEST:: SOT 104681 SOS 38283 HAS SOPS 38283 HAS SOUS 26261 HAS SOUPS 26261 WITH SCORE 26299.283
AT ITER 2467 NEW BEST:: SOT 104731 SOS 38288 HAS SOPS 38288 HAS SOUS 26218 HAS SOUPS 26218 WITH SCORE 26256.288
AT ITER 2478 NEW BEST:: SOT 104717 SOS 38260 HAS SOPS 38260 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26214.26
AT ITER 2515 NEW BEST:: SOT 104717 SOS 38205 HAS SOPS 38205 HAS SOUS 26176 HAS SOUPS 26176 WITH SCORE 26214.205
AT ITER 2520 NEW BEST:: SOT 104750 SOS 38201 HAS SOPS 38201 HAS SOUS 26118 HAS SOUPS 26118 WITH SCORE 26156.201
AT ITER 2522 NEW BEST:: SOT 104718 SOS 38173 HAS SOPS 38173 HAS SOUS 26054 HAS SOUPS 26054 WITH SCORE 26092.173
AT ITER 2525 NEW BEST:: SOT 104718 SOS 38191 HAS SOPS 38191 HAS SOUS 26036 HAS SOUPS 26036 WITH SCORE 26074.191
AT ITER 2529 NEW BEST:: SOT 104677 SOS 38109 HAS SOPS 38109 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 25992.109
AT ITER 2542 NEW BEST:: SOT 104707 SOS 38216 HAS SOPS 38216 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 25987.216
AT ITER 2544 NEW BEST:: SOT 104707 SOS 38203 HAS SOPS 38203 HAS SOUS 25945 HAS SOUPS 25945 WITH SCORE 25983.203
AT ITER 2551 NEW BEST:: SOT 104649 SOS 38145 HAS SOPS 38145 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25925.145
AT ITER 2572 NEW BEST:: SOT 104633 SOS 38114 HAS SOPS 38114 HAS SOUS 25883 HAS SOUPS 25883 WITH SCORE 25921.114
AT ITER 2591 NEW BEST:: SOT 104632 SOS 38112 HAS SOPS 38112 HAS SOUS 25882 HAS SOUPS 25882 WITH SCORE 25920.112
AT ITER 2592 NEW BEST:: SOT 104615 SOS 38146 HAS SOPS 38146 HAS SOUS 25873 HAS SOUPS 25873 WITH SCORE 25911.146
AT ITER 2617 NEW BEST:: SOT 104624 SOS 38155 HAS SOPS 38155 HAS SOUS 25824 HAS SOUPS 25824 WITH SCORE 25862.155
AT ITER 2624 NEW BEST:: SOT 104608 SOS 38147 HAS SOPS 38147 HAS SOUS 25814 HAS SOUPS 25814 WITH SCORE 25852.147
AT ITER 2627 NEW BEST:: SOT 104588 SOS 38127 HAS SOPS 38127 HAS SOUS 25774 HAS SOUPS 25774 WITH SCORE 25812.127
AT ITER 2629 NEW BEST:: SOT 104464 SOS 38003 HAS SOPS 38003 HAS SOUS 25774 HAS SOUPS 25774 WITH SCORE 25812.003
AT ITER 2633 NEW BEST:: SOT 104455 SOS 37973 HAS SOPS 37973 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25790.973
AT ITER 2649 NEW BEST:: SOT 104450 SOS 37968 HAS SOPS 37968 HAS SOUS 25696 HAS SOUPS 25696 WITH SCORE 25733.968
AT ITER 2663 NEW BEST:: SOT 104386 SOS 37919 HAS SOPS 37919 HAS SOUS 25647 HAS SOUPS 25647 WITH SCORE 25684.919
AT ITER 2678 NEW BEST:: SOT 104401 SOS 37934 HAS SOPS 37934 HAS SOUS 25628 HAS SOUPS 25628 WITH SCORE 25665.934
AT ITER 2679 NEW BEST:: SOT 104401 SOS 37902 HAS SOPS 37902 HAS SOUS 25596 HAS SOUPS 25596 WITH SCORE 25633.902
AT ITER 2691 NEW BEST:: SOT 104407 SOS 37749 HAS SOPS 37749 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25501.749
AT ITER 2718 NEW BEST:: SOT 104404 SOS 37747 HAS SOPS 37747 HAS SOUS 25462 HAS SOUPS 25462 WITH SCORE 25499.747
AT ITER 2720 NEW BEST:: SOT 104395 SOS 37723 HAS SOPS 37723 HAS SOUS 25438 HAS SOUPS 25438 WITH SCORE 25475.723
AT ITER 2726 NEW BEST:: SOT 104369 SOS 37645 HAS SOPS 37645 HAS SOUS 25386 HAS SOUPS 25386 WITH SCORE 25423.645
AT ITER 2742 NEW BEST:: SOT 104377 SOS 37653 HAS SOPS 37653 HAS SOUS 25358 HAS SOUPS 25358 WITH SCORE 25395.653
AT ITER 2751 NEW BEST:: SOT 104359 SOS 37635 HAS SOPS 37635 HAS SOUS 25322 HAS SOUPS 25322 WITH SCORE 25359.635
AT ITER 2767 NEW BEST:: SOT 104359 SOS 37558 HAS SOPS 37558 HAS SOUS 25245 HAS SOUPS 25245 WITH SCORE 25282.558
AT ITER 2772 NEW BEST:: SOT 104325 SOS 37524 HAS SOPS 37524 HAS SOUS 25245 HAS SOUPS 25245 WITH SCORE 25282.524
AT ITER 2788 NEW BEST:: SOT 104325 SOS 37524 HAS SOPS 37524 HAS SOUS 25149 HAS SOUPS 25149 WITH SCORE 25186.524
AT ITER 2813 NEW BEST:: SOT 104184 SOS 37339 HAS SOPS 37339 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 25001.339
AT ITER 2826 NEW BEST:: SOT 104248 SOS 37318 HAS SOPS 37318 HAS SOUS 24935 HAS SOUPS 24935 WITH SCORE 24972.318
AT ITER 2827 NEW BEST:: SOT 104207 SOS 37236 HAS SOPS 37236 HAS SOUS 24853 HAS SOUPS 24853 WITH SCORE 24890.236
AT ITER 2829 NEW BEST:: SOT 104203 SOS 37232 HAS SOPS 37232 HAS SOUS 24849 HAS SOUPS 24849 WITH SCORE 24886.232
AT ITER 2873 NEW BEST:: SOT 104203 SOS 37144 HAS SOPS 37144 HAS SOUS 24849 HAS SOUPS 24849 WITH SCORE 24886.144
AT ITER 2901 NEW BEST:: SOT 104195 SOS 37134 HAS SOPS 37134 HAS SOUS 24833 HAS SOUPS 24833 WITH SCORE 24870.134
AT ITER 2916 NEW BEST:: SOT 104157 SOS 37058 HAS SOPS 37058 HAS SOUS 24757 HAS SOUPS 24757 WITH SCORE 24794.058
AT ITER 2922 NEW BEST:: SOT 104141 SOS 36985 HAS SOPS 36985 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24623.985
AT ITER 2935 NEW BEST:: SOT 104130 SOS 36963 HAS SOPS 36963 HAS SOUS 24565 HAS SOUPS 24565 WITH SCORE 24601.963
AT ITER 2940 NEW BEST:: SOT 104146 SOS 37080 HAS SOPS 37080 HAS SOUS 24531 HAS SOUPS 24531 WITH SCORE 24568.08
AT ITER 2945 NEW BEST:: SOT 104143 SOS 37074 HAS SOPS 37074 HAS SOUS 24525 HAS SOUPS 24525 WITH SCORE 24562.074
AT ITER 2949 NEW BEST:: SOT 104183 SOS 37106 HAS SOPS 37106 HAS SOUS 24474 HAS SOUPS 24474 WITH SCORE 24511.106
AT ITER 2953 NEW BEST:: SOT 104149 SOS 37018 HAS SOPS 37018 HAS SOUS 24413 HAS SOUPS 24413 WITH SCORE 24450.018
AT ITER 2957 NEW BEST:: SOT 104143 SOS 37006 HAS SOPS 37006 HAS SOUS 24401 HAS SOUPS 24401 WITH SCORE 24438.006
AT ITER 2964 NEW BEST:: SOT 104097 SOS 36920 HAS SOPS 36920 HAS SOUS 24394 HAS SOUPS 24394 WITH SCORE 24430.92
AT ITER 2974 NEW BEST:: SOT 104111 SOS 36943 HAS SOPS 36943 HAS SOUS 24391 HAS SOUPS 24391 WITH SCORE 24427.943
AT ITER 3000 NEW BEST:: SOT 104094 SOS 36889 HAS SOPS 36889 HAS SOUS 24374 HAS SOUPS 24374 WITH SCORE 24410.889
AT ITER 3008 NEW BEST:: SOT 104055 SOS 36844 HAS SOPS 36844 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24398.844
AT ITER 3019 NEW BEST:: SOT 104009 SOS 36722 HAS SOPS 36722 HAS SOUS 24286 HAS SOUPS 24286 WITH SCORE 24322.722
AT ITER 3030 NEW BEST:: SOT 103971 SOS 36684 HAS SOPS 36684 HAS SOUS 24225 HAS SOUPS 24225 WITH SCORE 24261.684
AT ITER 3049 NEW BEST:: SOT 103959 SOS 36672 HAS SOPS 36672 HAS SOUS 24210 HAS SOUPS 24210 WITH SCORE 24246.672
AT ITER 3052 NEW BEST:: SOT 103950 SOS 36618 HAS SOPS 36618 HAS SOUS 24192 HAS SOUPS 24192 WITH SCORE 24228.618
AT ITER 3060 NEW BEST:: SOT 103877 SOS 36506 HAS SOPS 36506 HAS SOUS 24045 HAS SOUPS 24045 WITH SCORE 24081.506
AT ITER 3070 NEW BEST:: SOT 103872 SOS 36496 HAS SOPS 36496 HAS SOUS 24036 HAS SOUPS 24036 WITH SCORE 24072.496
AT ITER 3091 NEW BEST:: SOT 103860 SOS 36478 HAS SOPS 36478 HAS SOUS 24024 HAS SOUPS 24024 WITH SCORE 24060.478
AT ITER 3101 NEW BEST:: SOT 103827 SOS 36478 HAS SOPS 36478 HAS SOUS 23991 HAS SOUPS 23991 WITH SCORE 24027.478
AT ITER 3103 NEW BEST:: SOT 103817 SOS 36458 HAS SOPS 36458 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 24007.458
AT ITER 3117 NEW BEST:: SOT 103838 SOS 36446 HAS SOPS 36446 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23995.446
AT ITER 3128 NEW BEST:: SOT 103837 SOS 36445 HAS SOPS 36445 HAS SOUS 23957 HAS SOUPS 23957 WITH SCORE 23993.445
AT ITER 3132 NEW BEST:: SOT 103837 SOS 36425 HAS SOPS 36425 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23959.425
AT ITER 3141 NEW BEST:: SOT 103829 SOS 36413 HAS SOPS 36413 HAS SOUS 23915 HAS SOUPS 23915 WITH SCORE 23951.413
AT ITER 3164 NEW BEST:: SOT 103846 SOS 36320 HAS SOPS 36320 HAS SOUS 23822 HAS SOUPS 23822 WITH SCORE 23858.32
AT ITER 3176 NEW BEST:: SOT 103845 SOS 36318 HAS SOPS 36318 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 23841.318
AT ITER 3200 NEW BEST:: SOT 103845 SOS 36202 HAS SOPS 36202 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 23841.202
AT ITER 3217 NEW BEST:: SOT 103845 SOS 36156 HAS SOPS 36156 HAS SOUS 23782 HAS SOUPS 23782 WITH SCORE 23818.156
AT ITER 3219 NEW BEST:: SOT 103790 SOS 36115 HAS SOPS 36115 HAS SOUS 23727 HAS SOUPS 23727 WITH SCORE 23763.115
AT ITER 3244 NEW BEST:: SOT 103790 SOS 35897 HAS SOPS 35897 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23743.897
AT ITER 3258 NEW BEST:: SOT 103736 SOS 35789 HAS SOPS 35789 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23656.789
AT ITER 3278 NEW BEST:: SOT 103676 SOS 35773 HAS SOPS 35773 HAS SOUS 23620 HAS SOUPS 23620 WITH SCORE 23655.773
AT ITER 3287 NEW BEST:: SOT 103678 SOS 35677 HAS SOPS 35677 HAS SOUS 23599 HAS SOUPS 23599 WITH SCORE 23634.677
AT ITER 3301 NEW BEST:: SOT 103670 SOS 35687 HAS SOPS 35687 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23618.687
AT ITER 3315 NEW BEST:: SOT 103664 SOS 35681 HAS SOPS 35681 HAS SOUS 23571 HAS SOUPS 23571 WITH SCORE 23606.681
AT ITER 3322 NEW BEST:: SOT 103663 SOS 35679 HAS SOPS 35679 HAS SOUS 23569 HAS SOUPS 23569 WITH SCORE 23604.679
AT ITER 3326 NEW BEST:: SOT 103651 SOS 35668 HAS SOPS 35668 HAS SOUS 23545 HAS SOUPS 23545 WITH SCORE 23580.668
AT ITER 3327 NEW BEST:: SOT 103640 SOS 35646 HAS SOPS 35646 HAS SOUS 23523 HAS SOUPS 23523 WITH SCORE 23558.646
AT ITER 3341 NEW BEST:: SOT 103638 SOS 35617 HAS SOPS 35617 HAS SOUS 23463 HAS SOUPS 23463 WITH SCORE 23498.617
AT ITER 3400 NEW BEST:: SOT 103623 SOS 35654 HAS SOPS 35654 HAS SOUS 23392 HAS SOUPS 23392 WITH SCORE 23427.654
AT ITER 3432 NEW BEST:: SOT 103614 SOS 35640 HAS SOPS 35640 HAS SOUS 23378 HAS SOUPS 23378 WITH SCORE 23413.64
AT ITER 3433 NEW BEST:: SOT 103611 SOS 35634 HAS SOPS 35634 HAS SOUS 23372 HAS SOUPS 23372 WITH SCORE 23407.634
AT ITER 3495 NEW BEST:: SOT 103592 SOS 35589 HAS SOPS 35589 HAS SOUS 23334 HAS SOUPS 23334 WITH SCORE 23369.589
AT ITER 3498 NEW BEST:: SOT 103614 SOS 35633 HAS SOPS 35633 HAS SOUS 23328 HAS SOUPS 23328 WITH SCORE 23363.633
AT ITER 3499 NEW BEST:: SOT 103605 SOS 35624 HAS SOPS 35624 HAS SOUS 23310 HAS SOUPS 23310 WITH SCORE 23345.624
AT ITER 3508 NEW BEST:: SOT 103508 SOS 35510 HAS SOPS 35510 HAS SOUS 23202 HAS SOUPS 23202 WITH SCORE 23237.51
AT ITER 3514 NEW BEST:: SOT 103521 SOS 35566 HAS SOPS 35566 HAS SOUS 23172 HAS SOUPS 23172 WITH SCORE 23207.566
AT ITER 3531 NEW BEST:: SOT 103519 SOS 35564 HAS SOPS 35564 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23203.564
AT ITER 3555 NEW BEST:: SOT 103504 SOS 35534 HAS SOPS 35534 HAS SOUS 23138 HAS SOUPS 23138 WITH SCORE 23173.534
AT ITER 3567 NEW BEST:: SOT 103504 SOS 35533 HAS SOPS 35533 HAS SOUS 23137 HAS SOUPS 23137 WITH SCORE 23172.533
AT ITER 3570 NEW BEST:: SOT 103492 SOS 35472 HAS SOPS 35472 HAS SOUS 23113 HAS SOUPS 23113 WITH SCORE 23148.472
AT ITER 3585 NEW BEST:: SOT 103418 SOS 35209 HAS SOPS 35209 HAS SOUS 22965 HAS SOUPS 22965 WITH SCORE 23000.209
AT ITER 3591 NEW BEST:: SOT 103417 SOS 35208 HAS SOPS 35208 HAS SOUS 22964 HAS SOUPS 22964 WITH SCORE 22999.208
AT ITER 3592 NEW BEST:: SOT 103417 SOS 35208 HAS SOPS 35208 HAS SOUS 22932 HAS SOUPS 22932 WITH SCORE 22967.208
AT ITER 3612 NEW BEST:: SOT 103410 SOS 35194 HAS SOPS 35194 HAS SOUS 22906 HAS SOUPS 22906 WITH SCORE 22941.194
AT ITER 3613 NEW BEST:: SOT 103401 SOS 35168 HAS SOPS 35168 HAS SOUS 22872 HAS SOUPS 22872 WITH SCORE 22907.168
AT ITER 3616 NEW BEST:: SOT 103383 SOS 35132 HAS SOPS 35132 HAS SOUS 22836 HAS SOUPS 22836 WITH SCORE 22871.132
AT ITER 3622 NEW BEST:: SOT 103380 SOS 35160 HAS SOPS 35160 HAS SOUS 22833 HAS SOUPS 22833 WITH SCORE 22868.16
AT ITER 3659 NEW BEST:: SOT 103380 SOS 35148 HAS SOPS 35148 HAS SOUS 22807 HAS SOUPS 22807 WITH SCORE 22842.148
AT ITER 3661 NEW BEST:: SOT 103366 SOS 35134 HAS SOPS 35134 HAS SOUS 22786 HAS SOUPS 22786 WITH SCORE 22821.134
AT ITER 3692 NEW BEST:: SOT 103345 SOS 35092 HAS SOPS 35092 HAS SOUS 22722 HAS SOUPS 22722 WITH SCORE 22757.092
AT ITER 3760 NEW BEST:: SOT 103345 SOS 35086 HAS SOPS 35086 HAS SOUS 22716 HAS SOUPS 22716 WITH SCORE 22751.086
AT ITER 3778 NEW BEST:: SOT 103331 SOS 35072 HAS SOPS 35072 HAS SOUS 22699 HAS SOUPS 22699 WITH SCORE 22734.072
AT ITER 3779 NEW BEST:: SOT 103322 SOS 35054 HAS SOPS 35054 HAS SOUS 22681 HAS SOUPS 22681 WITH SCORE 22716.054
AT ITER 3808 NEW BEST:: SOT 103319 SOS 35053 HAS SOPS 35053 HAS SOUS 22674 HAS SOUPS 22674 WITH SCORE 22709.053
AT ITER 3825 NEW BEST:: SOT 103314 SOS 35043 HAS SOPS 35043 HAS SOUS 22664 HAS SOUPS 22664 WITH SCORE 22699.043
AT ITER 3857 NEW BEST:: SOT 103297 SOS 35009 HAS SOPS 35009 HAS SOUS 22630 HAS SOUPS 22630 WITH SCORE 22665.009
AT ITER 3866 NEW BEST:: SOT 103243 SOS 34955 HAS SOPS 34955 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22556.955
AT ITER 3891 NEW BEST:: SOT 103242 SOS 34929 HAS SOPS 34929 HAS SOUS 22520 HAS SOUPS 22520 WITH SCORE 22554.929
AT ITER 3901 NEW BEST:: SOT 103247 SOS 34853 HAS SOPS 34853 HAS SOUS 22508 HAS SOUPS 22508 WITH SCORE 22542.853
AT ITER 3911 NEW BEST:: SOT 103199 SOS 34765 HAS SOPS 34765 HAS SOUS 22432 HAS SOUPS 22432 WITH SCORE 22466.765
AT ITER 3949 NEW BEST:: SOT 103194 SOS 34755 HAS SOPS 34755 HAS SOUS 22422 HAS SOUPS 22422 WITH SCORE 22456.755
AT ITER 3962 NEW BEST:: SOT 103205 SOS 34748 HAS SOPS 34748 HAS SOUS 22394 HAS SOUPS 22394 WITH SCORE 22428.748
AT ITER 3967 NEW BEST:: SOT 103200 SOS 34733 HAS SOPS 34733 HAS SOUS 22384 HAS SOUPS 22384 WITH SCORE 22418.733
AT ITER 3985 NEW BEST:: SOT 103187 SOS 34715 HAS SOPS 34715 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22400.715
AT ITER 4011 NEW BEST:: SOT 103185 SOS 34711 HAS SOPS 34711 HAS SOUS 22362 HAS SOUPS 22362 WITH SCORE 22396.711
AT ITER 4019 NEW BEST:: SOT 103181 SOS 34707 HAS SOPS 34707 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22392.707
AT ITER 4021 NEW BEST:: SOT 103196 SOS 34705 HAS SOPS 34705 HAS SOUS 22356 HAS SOUPS 22356 WITH SCORE 22390.705
AT ITER 4057 NEW BEST:: SOT 103148 SOS 34766 HAS SOPS 34766 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22389.766
AT ITER 4061 NEW BEST:: SOT 103130 SOS 35322 HAS SOPS 35322 HAS SOUS 22337 HAS SOUPS 22337 WITH SCORE 22372.322
AT ITER 4062 NEW BEST:: SOT 103129 SOS 35321 HAS SOPS 35321 HAS SOUS 22336 HAS SOUPS 22336 WITH SCORE 22371.321
AT ITER 4065 NEW BEST:: SOT 103129 SOS 35324 HAS SOPS 35324 HAS SOUS 22335 HAS SOUPS 22335 WITH SCORE 22370.324
AT ITER 4102 NEW BEST:: SOT 103126 SOS 35347 HAS SOPS 35347 HAS SOUS 22329 HAS SOUPS 22329 WITH SCORE 22364.347
AT ITER 4109 NEW BEST:: SOT 103103 SOS 35301 HAS SOPS 35301 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22318.301
AT ITER 4132 NEW BEST:: SOT 103069 SOS 35267 HAS SOPS 35267 HAS SOUS 22215 HAS SOUPS 22215 WITH SCORE 22250.267
AT ITER 4133 NEW BEST:: SOT 103061 SOS 35259 HAS SOPS 35259 HAS SOUS 22199 HAS SOUPS 22199 WITH SCORE 22234.259
AT ITER 4155 NEW BEST:: SOT 103039 SOS 35223 HAS SOPS 35223 HAS SOUS 22185 HAS SOUPS 22185 WITH SCORE 22220.223
AT ITER 4160 NEW BEST:: SOT 103025 SOS 35195 HAS SOPS 35195 HAS SOUS 22171 HAS SOUPS 22171 WITH SCORE 22206.195
AT ITER 4174 NEW BEST:: SOT 102992 SOS 35063 HAS SOPS 35063 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22140.063
AT ITER 4180 NEW BEST:: SOT 102938 SOS 34955 HAS SOPS 34955 HAS SOUS 22046 HAS SOUPS 22046 WITH SCORE 22080.955
AT ITER 4193 NEW BEST:: SOT 102935 SOS 34949 HAS SOPS 34949 HAS SOUS 22040 HAS SOUPS 22040 WITH SCORE 22074.949
AT ITER 4194 NEW BEST:: SOT 102939 SOS 34957 HAS SOPS 34957 HAS SOUS 22037 HAS SOUPS 22037 WITH SCORE 22071.957
AT ITER 4201 NEW BEST:: SOT 102783 SOS 38568 HAS SOPS 38568 HAS SOUS 22002 HAS SOUPS 22002 WITH SCORE 22040.568
AT ITER 4214 NEW BEST:: SOT 102783 SOS 38525 HAS SOPS 38525 HAS SOUS 21959 HAS SOUPS 21959 WITH SCORE 21997.525
AT ITER 4216 NEW BEST:: SOT 102773 SOS 38505 HAS SOPS 38505 HAS SOUS 21939 HAS SOUPS 21939 WITH SCORE 21977.505
AT ITER 4246 NEW BEST:: SOT 102712 SOS 38444 HAS SOPS 38444 HAS SOUS 21878 HAS SOUPS 21878 WITH SCORE 21916.444
AT ITER 4253 NEW BEST:: SOT 102670 SOS 38402 HAS SOPS 38402 HAS SOUS 21794 HAS SOUPS 21794 WITH SCORE 21832.402
AT ITER 4258 NEW BEST:: SOT 102670 SOS 38393 HAS SOPS 38393 HAS SOUS 21794 HAS SOUPS 21794 WITH SCORE 21832.393
AT ITER 4263 NEW BEST:: SOT 102658 SOS 38349 HAS SOPS 38349 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21808.349
AT ITER 4265 NEW BEST:: SOT 102610 SOS 38342 HAS SOPS 38342 HAS SOUS 21770 HAS SOUPS 21770 WITH SCORE 21808.342
AT ITER 4267 NEW BEST:: SOT 102572 SOS 38273 HAS SOPS 38273 HAS SOUS 21732 HAS SOUPS 21732 WITH SCORE 21770.273
AT ITER 4275 NEW BEST:: SOT 102572 SOS 38273 HAS SOPS 38273 HAS SOUS 21714 HAS SOUPS 21714 WITH SCORE 21752.273
AT ITER 4309 NEW BEST:: SOT 102566 SOS 38263 HAS SOPS 38263 HAS SOUS 21702 HAS SOUPS 21702 WITH SCORE 21740.263
AT ITER 4391 NEW BEST:: SOT 102543 SOS 38235 HAS SOPS 38235 HAS SOUS 21697 HAS SOUPS 21697 WITH SCORE 21735.235
AT ITER 4410 NEW BEST:: SOT 102504 SOS 38284 HAS SOPS 38284 HAS SOUS 21671 HAS SOUPS 21671 WITH SCORE 21709.284
AT ITER 4461 NEW BEST:: SOT 102504 SOS 38284 HAS SOPS 38284 HAS SOUS 21662 HAS SOUPS 21662 WITH SCORE 21700.284
AT ITER 4477 NEW BEST:: SOT 102484 SOS 38244 HAS SOPS 38244 HAS SOUS 21622 HAS SOUPS 21622 WITH SCORE 21660.244
AT ITER 4484 NEW BEST:: SOT 102421 SOS 38164 HAS SOPS 38164 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21580.164
AT ITER 4486 NEW BEST:: SOT 102420 SOS 38158 HAS SOPS 38158 HAS SOUS 21540 HAS SOUPS 21540 WITH SCORE 21578.158
AT ITER 4520 NEW BEST:: SOT 102396 SOS 38132 HAS SOPS 38132 HAS SOUS 21514 HAS SOUPS 21514 WITH SCORE 21552.132
AT ITER 4532 NEW BEST:: SOT 102397 SOS 38134 HAS SOPS 38134 HAS SOUS 21513 HAS SOUPS 21513 WITH SCORE 21551.134
AT ITER 4540 NEW BEST:: SOT 102383 SOS 38120 HAS SOPS 38120 HAS SOUS 21489 HAS SOUPS 21489 WITH SCORE 21527.12
AT ITER 4565 NEW BEST:: SOT 102373 SOS 38110 HAS SOPS 38110 HAS SOUS 21479 HAS SOUPS 21479 WITH SCORE 21517.11
AT ITER 4568 NEW BEST:: SOT 102373 SOS 38110 HAS SOPS 38110 HAS SOUS 21420 HAS SOUPS 21420 WITH SCORE 21458.11
AT ITER 4569 NEW BEST:: SOT 102346 SOS 38056 HAS SOPS 38056 HAS SOUS 21366 HAS SOUPS 21366 WITH SCORE 21404.056
AT ITER 4571 NEW BEST:: SOT 102342 SOS 38048 HAS SOPS 38048 HAS SOUS 21351 HAS SOUPS 21351 WITH SCORE 21389.048
AT ITER 4572 NEW BEST:: SOT 102303 SOS 38040 HAS SOPS 38040 HAS SOUS 21343 HAS SOUPS 21343 WITH SCORE 21381.04
AT ITER 4602 NEW BEST:: SOT 102259 SOS 38015 HAS SOPS 38015 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21337.015
AT ITER 4631 NEW BEST:: SOT 102259 SOS 38013 HAS SOPS 38013 HAS SOUS 21299 HAS SOUPS 21299 WITH SCORE 21337.013
AT ITER 4642 NEW BEST:: SOT 102257 SOS 38009 HAS SOPS 38009 HAS SOUS 21296 HAS SOUPS 21296 WITH SCORE 21334.009
AT ITER 4650 NEW BEST:: SOT 102265 SOS 38025 HAS SOPS 38025 HAS SOUS 21284 HAS SOUPS 21284 WITH SCORE 21322.025
AT ITER 4685 NEW BEST:: SOT 102256 SOS 38016 HAS SOPS 38016 HAS SOUS 21275 HAS SOUPS 21275 WITH SCORE 21313.016
AT ITER 4689 NEW BEST:: SOT 102250 SOS 38004 HAS SOPS 38004 HAS SOUS 21273 HAS SOUPS 21273 WITH SCORE 21311.004
AT ITER 4692 NEW BEST:: SOT 102229 SOS 37983 HAS SOPS 37983 HAS SOUS 21271 HAS SOUPS 21271 WITH SCORE 21308.983
AT ITER 4708 NEW BEST:: SOT 102225 SOS 37975 HAS SOPS 37975 HAS SOUS 21268 HAS SOUPS 21268 WITH SCORE 21305.975
AT ITER 4725 NEW BEST:: SOT 102235 SOS 37966 HAS SOPS 37966 HAS SOUS 21266 HAS SOUPS 21266 WITH SCORE 21303.966
AT ITER 4740 NEW BEST:: SOT 102220 SOS 37936 HAS SOPS 37936 HAS SOUS 21251 HAS SOUPS 21251 WITH SCORE 21288.936
AT ITER 4746 NEW BEST:: SOT 102190 SOS 37905 HAS SOPS 37905 HAS SOUS 21239 HAS SOUPS 21239 WITH SCORE 21276.905
AT ITER 4767 NEW BEST:: SOT 102146 SOS 37894 HAS SOPS 37894 HAS SOUS 21228 HAS SOUPS 21228 WITH SCORE 21265.894
AT ITER 4772 NEW BEST:: SOT 102136 SOS 37889 HAS SOPS 37889 HAS SOUS 21208 HAS SOUPS 21208 WITH SCORE 21245.889
AT ITER 4785 NEW BEST:: SOT 102075 SOS 37864 HAS SOPS 37864 HAS SOUS 21187 HAS SOUPS 21187 WITH SCORE 21224.864
AT ITER 4787 NEW BEST:: SOT 102071 SOS 37860 HAS SOPS 37860 HAS SOUS 21183 HAS SOUPS 21183 WITH SCORE 21220.86
AT ITER 4797 NEW BEST:: SOT 102056 SOS 37798 HAS SOPS 37798 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21190.798
AT ITER 4811 NEW BEST:: SOT 102056 SOS 37788 HAS SOPS 37788 HAS SOUS 21153 HAS SOUPS 21153 WITH SCORE 21190.788
AT ITER 4816 NEW BEST:: SOT 102019 SOS 37764 HAS SOPS 37764 HAS SOUS 21129 HAS SOUPS 21129 WITH SCORE 21166.764
AT ITER 4820 NEW BEST:: SOT 102015 SOS 37750 HAS SOPS 37750 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21158.75
AT ITER 4865 NEW BEST:: SOT 101790 SOS 37364 HAS SOPS 37364 HAS SOUS 21047 HAS SOUPS 21047 WITH SCORE 21084.364
AT ITER 4871 NEW BEST:: SOT 101790 SOS 37364 HAS SOPS 37364 HAS SOUS 21045 HAS SOUPS 21045 WITH SCORE 21082.364
AT ITER 4914 NEW BEST:: SOT 101773 SOS 37312 HAS SOPS 37312 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21079.312
AT ITER 4919 NEW BEST:: SOT 101755 SOS 37294 HAS SOPS 37294 HAS SOUS 21015 HAS SOUPS 21015 WITH SCORE 21052.294
AT ITER 4922 NEW BEST:: SOT 101762 SOS 37293 HAS SOPS 37293 HAS SOUS 20999 HAS SOUPS 20999 WITH SCORE 21036.293
AT ITER 4927 NEW BEST:: SOT 101761 SOS 37291 HAS SOPS 37291 HAS SOUS 20997 HAS SOUPS 20997 WITH SCORE 21034.291
AT ITER 4934 NEW BEST:: SOT 101732 SOS 37253 HAS SOPS 37253 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20976.253
AT ITER 4943 NEW BEST:: SOT 101776 SOS 37297 HAS SOPS 37297 HAS SOUS 20913 HAS SOUPS 20913 WITH SCORE 20950.297
AT ITER 4958 NEW BEST:: SOT 101775 SOS 37333 HAS SOPS 37333 HAS SOUS 20912 HAS SOUPS 20912 WITH SCORE 20949.333
AT ITER 4960 NEW BEST:: SOT 101719 SOS 37241 HAS SOPS 37241 HAS SOUS 20854 HAS SOUPS 20854 WITH SCORE 20891.241
AT ITER 4969 NEW BEST:: SOT 101664 SOS 37131 HAS SOPS 37131 HAS SOUS 20655 HAS SOUPS 20655 WITH SCORE 20692.131
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-00 ( (AU( (! ( ((potential((tk(P27)>=1)))) | ((potential((tk(P342)>=1)))) )) , ( ( ((potential((tk(P325)>=1) & (tk(P400)>=1)))) & ((potential((tk(P393)>=1)))) ) & ((potential((tk(P223)>=1)))) ) )) & (! ( (! (! ( ((potential((tk(P389)>=1)))) & ((potential((tk(P312)>=1)))) ))) & (AU( ((potential((tk(P232)>=1)))) , ((potential((tk(P209)>=1)))) )) )) )
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-01 (AG( (AF( (EX( ((potential((tk(P267)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-02 (EF( (EG( (EF( ((potential((tk(P155)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-03 (EF( ( ( ((potential((tk(P24)>=1)))) & (! (! ((potential((tk(P226)>=1)))))) ) & ((potential((tk(P147)>=1) & (tk(P400)>=1)))) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-04 (AF( ( (! ( ( ((potential((tk(P105)>=1)))) | ((potential((tk(P13)>=1)))) ) | ( ((potential((tk(P173)>=1)))) | ((potential((tk(P196)>=1)))) ) )) & ((potential((tk(P173)>=1)))) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-05 (EU( ( (EG( ((potential((tk(P320)>=1) & (tk(P407)>=1)))))) | ( ( ((potential((tk(P216)>=1)))) | ((potential((tk(P132)>=1)))) ) | (! ((potential((tk(P230)>=1) & (tk(P400)>=1))))) ) ) , (AX( ((potential((tk(P323)>=1)))))) ))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-06 (! (! (! (EG( (! ((potential((tk(P227)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-07 (EF( (AU( ( ((potential((tk(P10)>=1)))) & ((potential((tk(P272)>=1)))) ) , ((potential((tk(P207)>=1)))) ))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-08 (AG( (! ( ((potential((tk(P129)>=1) & (tk(P400)>=1)))) & (EX( ((potential((tk(P96)>=1)))))) ))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-09 ( ( (! (AG( (! ((potential((tk(P68)>=1) & (tk(P400)>=1)))))))) | ( ( ((potential((tk(P66)>=1) & (tk(P400)>=1)))) & (EX( ((potential((tk(P317)>=1)))))) ) & (AG( (! ((potential((tk(P83)>=1))))))) ) ) | (AU( (EF( ((potential((tk(P227)>=1)))))) , (EX( ((potential((tk(P359)>=1) & (tk(P400)>=1)))))) )) )
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-10 (EF( ( ( ((potential((tk(P355)>=1)))) & (! ( ((potential((tk(P87)>=1)))) | ((potential((tk(P367)>=1)))) )) ) & ( ( ( ((potential((tk(P340)>=1)))) & ((potential((tk(P382)>=1)))) ) | ( ((potential((tk(P301)>=1)))) | ((potential((tk(P185)>=1) & (tk(P407)>=1)))) ) ) & ( ( ((potential((tk(P387)>=1) & (tk(P407)>=1)))) | ((potential((tk(P201)>=1) & (tk(P400)>=1)))) ) & ((potential((tk(P63)>=1) & (tk(P407)>=1)))) ) ) )))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-11 (EF( (EF( (EX( ((potential((tk(P292)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-12 ( (EU( ( ( ((potential((tk(P186)>=1)))) & ((potential((tk(P389)>=1)))) ) | (! ((potential((tk(P233)>=1))))) ) , (AG( ((potential((tk(P137)>=1)))))) )) & (AX( (! ( ( ((potential((tk(P196)>=1)))) & ((potential((tk(P132)>=1)))) ) | ((potential((tk(P259)>=1)))) )))) )
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-13 (EF( (EX( (AX( ((potential((tk(P403)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-14 (EG( (! ( (EG( ((potential((tk(P25)>=1) & (tk(P407)>=1)))))) | (EX( ((potential((tk(P35)>=1) & (tk(P400)>=1)))))) ))))
PROPERTY: DiscoveryGPU-PT-14b-CTLFireability-15 (EF( ( (AG( (! ((potential((tk(P177)>=1))))))) & (EG( ( ((potential((tk(P287)>=1)))) | ((potential((tk(P376)>=1) & (tk(P407)>=1)))) ))) )))

BK_TIME_CONFINEMENT_REACHED

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

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="DiscoveryGPU-PT-14b"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is DiscoveryGPU-PT-14b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922807900724"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DiscoveryGPU-PT-14b.tgz
mv DiscoveryGPU-PT-14b execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;