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-158922807900740.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-15b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900740
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 292K
-rw-r--r-- 1 mcc users 3.4K Mar 31 07:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 07:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 30 00:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 30 00:27 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.3K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K 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.4K Mar 28 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 07:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 27 07:46 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 111K 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-15b-CTLFireability-00
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-01
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-02
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-03
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-04
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-05
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-06
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-07
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-08
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-09
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-10
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-11
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-12
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-13
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-14
FORMULA_NAME DiscoveryGPU-PT-15b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589365088172

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 15b
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: 436 places, 464 transitions, 1214 arcs.
AT ITER 0 NEW BEST:: SOT 137914 SOS 63994 HAS SOPS 63994 HAS SOUS 57245 HAS SOUPS 57245 WITH SCORE 57308.994
AT ITER 4 NEW BEST:: SOT 137918 SOS 63941 HAS SOPS 63941 HAS SOUS 57243 HAS SOUPS 57243 WITH SCORE 57306.941
AT ITER 5 NEW BEST:: SOT 137918 SOS 63941 HAS SOPS 63941 HAS SOUS 57242 HAS SOUPS 57242 WITH SCORE 57305.941
AT ITER 6 NEW BEST:: SOT 137917 SOS 63939 HAS SOPS 63939 HAS SOUS 57240 HAS SOUPS 57240 WITH SCORE 57303.939
AT ITER 8 NEW BEST:: SOT 137904 SOS 63913 HAS SOPS 63913 HAS SOUS 57214 HAS SOUPS 57214 WITH SCORE 57277.913
AT ITER 10 NEW BEST:: SOT 137860 SOS 63869 HAS SOPS 63869 HAS SOUS 57170 HAS SOUPS 57170 WITH SCORE 57233.869
AT ITER 15 NEW BEST:: SOT 137700 SOS 63705 HAS SOPS 63705 HAS SOUS 57010 HAS SOUPS 57010 WITH SCORE 57073.705
AT ITER 19 NEW BEST:: SOT 137532 SOS 63537 HAS SOPS 63537 HAS SOUS 56842 HAS SOUPS 56842 WITH SCORE 56905.537
AT ITER 23 NEW BEST:: SOT 137258 SOS 63126 HAS SOPS 63126 HAS SOUS 56431 HAS SOUPS 56431 WITH SCORE 56494.126
AT ITER 28 NEW BEST:: SOT 137126 SOS 62928 HAS SOPS 62928 HAS SOUS 56233 HAS SOUPS 56233 WITH SCORE 56295.928
AT ITER 30 NEW BEST:: SOT 137076 SOS 62696 HAS SOPS 62696 HAS SOUS 56132 HAS SOUPS 56132 WITH SCORE 56194.696
AT ITER 33 NEW BEST:: SOT 136928 SOS 62455 HAS SOPS 62455 HAS SOUS 55891 HAS SOUPS 55891 WITH SCORE 55953.455
AT ITER 40 NEW BEST:: SOT 136897 SOS 62393 HAS SOPS 62393 HAS SOUS 55829 HAS SOUPS 55829 WITH SCORE 55891.393
AT ITER 41 NEW BEST:: SOT 136846 SOS 63392 HAS SOPS 63392 HAS SOUS 55778 HAS SOUPS 55778 WITH SCORE 55841.392
AT ITER 43 NEW BEST:: SOT 136824 SOS 63370 HAS SOPS 63370 HAS SOUS 55755 HAS SOUPS 55755 WITH SCORE 55818.37
AT ITER 45 NEW BEST:: SOT 136774 SOS 63176 HAS SOPS 63176 HAS SOUS 55472 HAS SOUPS 55472 WITH SCORE 55535.176
AT ITER 52 NEW BEST:: SOT 136715 SOS 63153 HAS SOPS 63153 HAS SOUS 55449 HAS SOUPS 55449 WITH SCORE 55512.153
AT ITER 54 NEW BEST:: SOT 136649 SOS 62919 HAS SOPS 62919 HAS SOUS 55303 HAS SOUPS 55303 WITH SCORE 55365.919
AT ITER 56 NEW BEST:: SOT 136640 SOS 62901 HAS SOPS 62901 HAS SOUS 55294 HAS SOUPS 55294 WITH SCORE 55356.901
AT ITER 58 NEW BEST:: SOT 136604 SOS 62847 HAS SOPS 62847 HAS SOUS 55240 HAS SOUPS 55240 WITH SCORE 55302.847
AT ITER 62 NEW BEST:: SOT 136570 SOS 62779 HAS SOPS 62779 HAS SOUS 55172 HAS SOUPS 55172 WITH SCORE 55234.779
AT ITER 64 NEW BEST:: SOT 136466 SOS 62604 HAS SOPS 62604 HAS SOUS 55067 HAS SOUPS 55067 WITH SCORE 55129.604
AT ITER 65 NEW BEST:: SOT 136458 SOS 62476 HAS SOPS 62476 HAS SOUS 55006 HAS SOUPS 55006 WITH SCORE 55068.476
AT ITER 69 NEW BEST:: SOT 136434 SOS 62399 HAS SOPS 62399 HAS SOUS 54984 HAS SOUPS 54984 WITH SCORE 55046.399
AT ITER 70 NEW BEST:: SOT 136381 SOS 62201 HAS SOPS 62201 HAS SOUS 54721 HAS SOUPS 54721 WITH SCORE 54783.201
AT ITER 73 NEW BEST:: SOT 136295 SOS 62029 HAS SOPS 62029 HAS SOUS 54549 HAS SOUPS 54549 WITH SCORE 54611.029
AT ITER 74 NEW BEST:: SOT 136017 SOS 61618 HAS SOPS 61618 HAS SOUS 54168 HAS SOUPS 54168 WITH SCORE 54229.618
AT ITER 77 NEW BEST:: SOT 135946 SOS 61546 HAS SOPS 61546 HAS SOUS 54096 HAS SOUPS 54096 WITH SCORE 54157.546
AT ITER 78 NEW BEST:: SOT 135961 SOS 61518 HAS SOPS 61518 HAS SOUS 54068 HAS SOUPS 54068 WITH SCORE 54129.518
AT ITER 90 NEW BEST:: SOT 135808 SOS 61217 HAS SOPS 61217 HAS SOUS 53915 HAS SOUPS 53915 WITH SCORE 53976.217
AT ITER 91 NEW BEST:: SOT 135753 SOS 61197 HAS SOPS 61197 HAS SOUS 53860 HAS SOUPS 53860 WITH SCORE 53921.197
AT ITER 96 NEW BEST:: SOT 135625 SOS 61203 HAS SOPS 61203 HAS SOUS 53810 HAS SOUPS 53810 WITH SCORE 53871.203
AT ITER 103 NEW BEST:: SOT 135625 SOS 61203 HAS SOPS 61203 HAS SOUS 53809 HAS SOUPS 53809 WITH SCORE 53870.203
AT ITER 104 NEW BEST:: SOT 135625 SOS 61203 HAS SOPS 61203 HAS SOUS 53799 HAS SOUPS 53799 WITH SCORE 53860.203
AT ITER 110 NEW BEST:: SOT 135625 SOS 61130 HAS SOPS 61130 HAS SOUS 53798 HAS SOUPS 53798 WITH SCORE 53859.13
AT ITER 113 NEW BEST:: SOT 135561 SOS 61002 HAS SOPS 61002 HAS SOUS 53670 HAS SOUPS 53670 WITH SCORE 53731.002
AT ITER 116 NEW BEST:: SOT 135430 SOS 60900 HAS SOPS 60900 HAS SOUS 53536 HAS SOUPS 53536 WITH SCORE 53596.9
AT ITER 122 NEW BEST:: SOT 135425 SOS 60890 HAS SOPS 60890 HAS SOUS 53529 HAS SOUPS 53529 WITH SCORE 53589.89
AT ITER 123 NEW BEST:: SOT 135294 SOS 60536 HAS SOPS 60536 HAS SOUS 53267 HAS SOUPS 53267 WITH SCORE 53327.536
AT ITER 125 NEW BEST:: SOT 135177 SOS 60372 HAS SOPS 60372 HAS SOUS 53149 HAS SOUPS 53149 WITH SCORE 53209.372
AT ITER 132 NEW BEST:: SOT 135120 SOS 60258 HAS SOPS 60258 HAS SOUS 53035 HAS SOUPS 53035 WITH SCORE 53095.258
AT ITER 137 NEW BEST:: SOT 135135 SOS 60288 HAS SOPS 60288 HAS SOUS 52989 HAS SOUPS 52989 WITH SCORE 53049.288
AT ITER 138 NEW BEST:: SOT 135135 SOS 60181 HAS SOPS 60181 HAS SOUS 52989 HAS SOUPS 52989 WITH SCORE 53049.181
AT ITER 142 NEW BEST:: SOT 135103 SOS 60074 HAS SOPS 60074 HAS SOUS 52966 HAS SOUPS 52966 WITH SCORE 53026.074
AT ITER 164 NEW BEST:: SOT 134989 SOS 59903 HAS SOPS 59903 HAS SOUS 52795 HAS SOUPS 52795 WITH SCORE 52854.903
AT ITER 173 NEW BEST:: SOT 135030 SOS 59976 HAS SOPS 59976 HAS SOUS 52793 HAS SOUPS 52793 WITH SCORE 52852.976
AT ITER 180 NEW BEST:: SOT 134978 SOS 59930 HAS SOPS 59930 HAS SOUS 52747 HAS SOUPS 52747 WITH SCORE 52806.93
AT ITER 188 NEW BEST:: SOT 134764 SOS 59558 HAS SOPS 59558 HAS SOUS 52426 HAS SOUPS 52426 WITH SCORE 52485.558
AT ITER 196 NEW BEST:: SOT 134739 SOS 57211 HAS SOPS 57211 HAS SOUS 52389 HAS SOUPS 52389 WITH SCORE 52446.211
AT ITER 200 NEW BEST:: SOT 134667 SOS 57117 HAS SOPS 57117 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52395.117
AT ITER 205 NEW BEST:: SOT 134563 SOS 57013 HAS SOPS 57013 HAS SOUS 52234 HAS SOUPS 52234 WITH SCORE 52291.013
AT ITER 207 NEW BEST:: SOT 134451 SOS 57013 HAS SOPS 57013 HAS SOUS 52122 HAS SOUPS 52122 WITH SCORE 52179.013
AT ITER 211 NEW BEST:: SOT 134402 SOS 56964 HAS SOPS 56964 HAS SOUS 52073 HAS SOUPS 52073 WITH SCORE 52129.964
AT ITER 215 NEW BEST:: SOT 134269 SOS 56682 HAS SOPS 56682 HAS SOUS 51807 HAS SOUPS 51807 WITH SCORE 51863.682
AT ITER 218 NEW BEST:: SOT 134183 SOS 56557 HAS SOPS 56557 HAS SOUS 51706 HAS SOUPS 51706 WITH SCORE 51762.557
AT ITER 220 NEW BEST:: SOT 134182 SOS 56555 HAS SOPS 56555 HAS SOUS 51704 HAS SOUPS 51704 WITH SCORE 51760.555
AT ITER 222 NEW BEST:: SOT 134201 SOS 56383 HAS SOPS 56383 HAS SOUS 51565 HAS SOUPS 51565 WITH SCORE 51621.383
AT ITER 228 NEW BEST:: SOT 134005 SOS 56101 HAS SOPS 56101 HAS SOUS 51368 HAS SOUPS 51368 WITH SCORE 51424.101
AT ITER 232 NEW BEST:: SOT 133921 SOS 56095 HAS SOPS 56095 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51407.095
AT ITER 234 NEW BEST:: SOT 133918 SOS 56092 HAS SOPS 56092 HAS SOUS 51345 HAS SOUPS 51345 WITH SCORE 51401.092
AT ITER 238 NEW BEST:: SOT 133809 SOS 55945 HAS SOPS 55945 HAS SOUS 51235 HAS SOUPS 51235 WITH SCORE 51290.945
AT ITER 268 NEW BEST:: SOT 133809 SOS 55934 HAS SOPS 55934 HAS SOUS 51224 HAS SOUPS 51224 WITH SCORE 51279.934
AT ITER 277 NEW BEST:: SOT 133809 SOS 55775 HAS SOPS 55775 HAS SOUS 51065 HAS SOUPS 51065 WITH SCORE 51120.775
AT ITER 281 NEW BEST:: SOT 133744 SOS 55734 HAS SOPS 55734 HAS SOUS 51007 HAS SOUPS 51007 WITH SCORE 51062.734
AT ITER 289 NEW BEST:: SOT 133744 SOS 55702 HAS SOPS 55702 HAS SOUS 51007 HAS SOUPS 51007 WITH SCORE 51062.702
AT ITER 290 NEW BEST:: SOT 133626 SOS 55649 HAS SOPS 55649 HAS SOUS 50954 HAS SOUPS 50954 WITH SCORE 51009.649
AT ITER 296 NEW BEST:: SOT 133647 SOS 55537 HAS SOPS 55537 HAS SOUS 50825 HAS SOUPS 50825 WITH SCORE 50880.537
AT ITER 308 NEW BEST:: SOT 133646 SOS 55535 HAS SOPS 55535 HAS SOUS 50823 HAS SOUPS 50823 WITH SCORE 50878.535
AT ITER 309 NEW BEST:: SOT 133542 SOS 55327 HAS SOPS 55327 HAS SOUS 50615 HAS SOUPS 50615 WITH SCORE 50670.327
AT ITER 311 NEW BEST:: SOT 133514 SOS 55271 HAS SOPS 55271 HAS SOUS 50559 HAS SOUPS 50559 WITH SCORE 50614.271
AT ITER 314 NEW BEST:: SOT 133481 SOS 55215 HAS SOPS 55215 HAS SOUS 50523 HAS SOUPS 50523 WITH SCORE 50578.215
AT ITER 315 NEW BEST:: SOT 133428 SOS 55164 HAS SOPS 55164 HAS SOUS 50516 HAS SOUPS 50516 WITH SCORE 50571.164
AT ITER 323 NEW BEST:: SOT 133544 SOS 55128 HAS SOPS 55128 HAS SOUS 50512 HAS SOUPS 50512 WITH SCORE 50567.128
AT ITER 328 NEW BEST:: SOT 133469 SOS 55418 HAS SOPS 55418 HAS SOUS 50484 HAS SOUPS 50484 WITH SCORE 50539.418
AT ITER 329 NEW BEST:: SOT 133467 SOS 55416 HAS SOPS 55416 HAS SOUS 50484 HAS SOUPS 50484 WITH SCORE 50539.416
AT ITER 334 NEW BEST:: SOT 133423 SOS 55328 HAS SOPS 55328 HAS SOUS 50396 HAS SOUPS 50396 WITH SCORE 50451.328
AT ITER 337 NEW BEST:: SOT 133416 SOS 55314 HAS SOPS 55314 HAS SOUS 50382 HAS SOUPS 50382 WITH SCORE 50437.314
AT ITER 339 NEW BEST:: SOT 133460 SOS 55252 HAS SOPS 55252 HAS SOUS 50320 HAS SOUPS 50320 WITH SCORE 50375.252
AT ITER 344 NEW BEST:: SOT 133452 SOS 55244 HAS SOPS 55244 HAS SOUS 50320 HAS SOUPS 50320 WITH SCORE 50375.244
AT ITER 346 NEW BEST:: SOT 133484 SOS 55339 HAS SOPS 55339 HAS SOUS 50311 HAS SOUPS 50311 WITH SCORE 50366.339
AT ITER 348 NEW BEST:: SOT 133484 SOS 55292 HAS SOPS 55292 HAS SOUS 50264 HAS SOUPS 50264 WITH SCORE 50319.292
AT ITER 349 NEW BEST:: SOT 133535 SOS 55232 HAS SOPS 55232 HAS SOUS 50217 HAS SOUPS 50217 WITH SCORE 50272.232
AT ITER 353 NEW BEST:: SOT 133518 SOS 55175 HAS SOPS 55175 HAS SOUS 50160 HAS SOUPS 50160 WITH SCORE 50215.175
AT ITER 355 NEW BEST:: SOT 133167 SOS 54797 HAS SOPS 54797 HAS SOUS 49835 HAS SOUPS 49835 WITH SCORE 49889.797
AT ITER 357 NEW BEST:: SOT 133080 SOS 54748 HAS SOPS 54748 HAS SOUS 49786 HAS SOUPS 49786 WITH SCORE 49840.748
AT ITER 366 NEW BEST:: SOT 132962 SOS 54512 HAS SOPS 54512 HAS SOUS 49550 HAS SOUPS 49550 WITH SCORE 49604.512
AT ITER 370 NEW BEST:: SOT 132954 SOS 54496 HAS SOPS 54496 HAS SOUS 49542 HAS SOUPS 49542 WITH SCORE 49596.496
AT ITER 376 NEW BEST:: SOT 132959 SOS 54289 HAS SOPS 54289 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49516.289
AT ITER 379 NEW BEST:: SOT 132956 SOS 54243 HAS SOPS 54243 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49516.243
AT ITER 387 NEW BEST:: SOT 132927 SOS 54185 HAS SOPS 54185 HAS SOUS 49432 HAS SOUPS 49432 WITH SCORE 49486.185
AT ITER 390 NEW BEST:: SOT 132958 SOS 54311 HAS SOPS 54311 HAS SOUS 49430 HAS SOUPS 49430 WITH SCORE 49484.311
AT ITER 391 NEW BEST:: SOT 132949 SOS 54272 HAS SOPS 54272 HAS SOUS 49412 HAS SOUPS 49412 WITH SCORE 49466.272
AT ITER 395 NEW BEST:: SOT 132948 SOS 54173 HAS SOPS 54173 HAS SOUS 49399 HAS SOUPS 49399 WITH SCORE 49453.173
AT ITER 396 NEW BEST:: SOT 132940 SOS 54165 HAS SOPS 54165 HAS SOUS 49391 HAS SOUPS 49391 WITH SCORE 49445.165
AT ITER 409 NEW BEST:: SOT 132937 SOS 54159 HAS SOPS 54159 HAS SOUS 49382 HAS SOUPS 49382 WITH SCORE 49436.159
AT ITER 418 NEW BEST:: SOT 132919 SOS 54123 HAS SOPS 54123 HAS SOUS 49346 HAS SOUPS 49346 WITH SCORE 49400.123
AT ITER 420 NEW BEST:: SOT 132923 SOS 53992 HAS SOPS 53992 HAS SOUS 49346 HAS SOUPS 49346 WITH SCORE 49399.992
AT ITER 426 NEW BEST:: SOT 132913 SOS 53972 HAS SOPS 53972 HAS SOUS 49326 HAS SOUPS 49326 WITH SCORE 49379.972
AT ITER 428 NEW BEST:: SOT 132895 SOS 53936 HAS SOPS 53936 HAS SOUS 49290 HAS SOUPS 49290 WITH SCORE 49343.936
AT ITER 432 NEW BEST:: SOT 132895 SOS 53874 HAS SOPS 53874 HAS SOUS 49290 HAS SOUPS 49290 WITH SCORE 49343.874
AT ITER 446 NEW BEST:: SOT 132811 SOS 53790 HAS SOPS 53790 HAS SOUS 49206 HAS SOUPS 49206 WITH SCORE 49259.79
AT ITER 447 NEW BEST:: SOT 132802 SOS 53772 HAS SOPS 53772 HAS SOUS 49197 HAS SOUPS 49197 WITH SCORE 49250.772
AT ITER 448 NEW BEST:: SOT 132802 SOS 53744 HAS SOPS 53744 HAS SOUS 49169 HAS SOUPS 49169 WITH SCORE 49222.744
AT ITER 449 NEW BEST:: SOT 132764 SOS 53706 HAS SOPS 53706 HAS SOUS 49131 HAS SOUPS 49131 WITH SCORE 49184.706
AT ITER 456 NEW BEST:: SOT 132693 SOS 53635 HAS SOPS 53635 HAS SOUS 49060 HAS SOUPS 49060 WITH SCORE 49113.635
AT ITER 463 NEW BEST:: SOT 132693 SOS 53601 HAS SOPS 53601 HAS SOUS 49026 HAS SOUPS 49026 WITH SCORE 49079.601
AT ITER 469 NEW BEST:: SOT 132579 SOS 53373 HAS SOPS 53373 HAS SOUS 48798 HAS SOUPS 48798 WITH SCORE 48851.373
AT ITER 480 NEW BEST:: SOT 132491 SOS 53197 HAS SOPS 53197 HAS SOUS 48622 HAS SOUPS 48622 WITH SCORE 48675.197
AT ITER 481 NEW BEST:: SOT 132462 SOS 53139 HAS SOPS 53139 HAS SOUS 48564 HAS SOUPS 48564 WITH SCORE 48617.139
AT ITER 485 NEW BEST:: SOT 127095 SOS 55009 HAS SOPS 55009 HAS SOUS 43425 HAS SOUPS 43425 WITH SCORE 43480.009
AT ITER 487 NEW BEST:: SOT 127065 SOS 54949 HAS SOPS 54949 HAS SOUS 43365 HAS SOUPS 43365 WITH SCORE 43419.949
AT ITER 488 NEW BEST:: SOT 127065 SOS 54926 HAS SOPS 54926 HAS SOUS 43354 HAS SOUPS 43354 WITH SCORE 43408.926
AT ITER 491 NEW BEST:: SOT 126981 SOS 54789 HAS SOPS 54789 HAS SOUS 43288 HAS SOUPS 43288 WITH SCORE 43342.789
AT ITER 505 NEW BEST:: SOT 126900 SOS 54627 HAS SOPS 54627 HAS SOUS 43126 HAS SOUPS 43126 WITH SCORE 43180.627
AT ITER 508 NEW BEST:: SOT 126934 SOS 54334 HAS SOPS 54334 HAS SOUS 42970 HAS SOUPS 42970 WITH SCORE 43024.334
AT ITER 525 NEW BEST:: SOT 126929 SOS 54324 HAS SOPS 54324 HAS SOUS 42965 HAS SOUPS 42965 WITH SCORE 43019.324
AT ITER 537 NEW BEST:: SOT 126921 SOS 54300 HAS SOPS 54300 HAS SOUS 42949 HAS SOUPS 42949 WITH SCORE 43003.3
AT ITER 541 NEW BEST:: SOT 126863 SOS 54242 HAS SOPS 54242 HAS SOUS 42949 HAS SOUPS 42949 WITH SCORE 43003.242
AT ITER 544 NEW BEST:: SOT 126847 SOS 54288 HAS SOPS 54288 HAS SOUS 42917 HAS SOUPS 42917 WITH SCORE 42971.288
AT ITER 547 NEW BEST:: SOT 126849 SOS 54362 HAS SOPS 54362 HAS SOUS 42905 HAS SOUPS 42905 WITH SCORE 42959.362
AT ITER 557 NEW BEST:: SOT 126883 SOS 54337 HAS SOPS 54337 HAS SOUS 42880 HAS SOUPS 42880 WITH SCORE 42934.337
AT ITER 561 NEW BEST:: SOT 126883 SOS 54279 HAS SOPS 54279 HAS SOUS 42868 HAS SOUPS 42868 WITH SCORE 42922.279
AT ITER 575 NEW BEST:: SOT 126771 SOS 54055 HAS SOPS 54055 HAS SOUS 42756 HAS SOUPS 42756 WITH SCORE 42810.055
AT ITER 585 NEW BEST:: SOT 126746 SOS 53998 HAS SOPS 53998 HAS SOUS 42687 HAS SOUPS 42687 WITH SCORE 42740.998
AT ITER 593 NEW BEST:: SOT 126685 SOS 53980 HAS SOPS 53980 HAS SOUS 42586 HAS SOUPS 42586 WITH SCORE 42639.98
AT ITER 605 NEW BEST:: SOT 126666 SOS 53918 HAS SOPS 53918 HAS SOUS 42548 HAS SOUPS 42548 WITH SCORE 42601.918
AT ITER 606 NEW BEST:: SOT 126671 SOS 53928 HAS SOPS 53928 HAS SOUS 42517 HAS SOUPS 42517 WITH SCORE 42570.928
AT ITER 615 NEW BEST:: SOT 126667 SOS 53916 HAS SOPS 53916 HAS SOUS 42509 HAS SOUPS 42509 WITH SCORE 42562.916
AT ITER 621 NEW BEST:: SOT 126671 SOS 53787 HAS SOPS 53787 HAS SOUS 42492 HAS SOUPS 42492 WITH SCORE 42545.787
AT ITER 623 NEW BEST:: SOT 126662 SOS 53784 HAS SOPS 53784 HAS SOUS 42489 HAS SOUPS 42489 WITH SCORE 42542.784
AT ITER 629 NEW BEST:: SOT 126650 SOS 53728 HAS SOPS 53728 HAS SOUS 42412 HAS SOUPS 42412 WITH SCORE 42465.728
AT ITER 630 NEW BEST:: SOT 126614 SOS 53831 HAS SOPS 53831 HAS SOUS 42375 HAS SOUPS 42375 WITH SCORE 42428.831
AT ITER 639 NEW BEST:: SOT 126522 SOS 53787 HAS SOPS 53787 HAS SOUS 42191 HAS SOUPS 42191 WITH SCORE 42244.787
AT ITER 643 NEW BEST:: SOT 126546 SOS 53866 HAS SOPS 53866 HAS SOUS 42160 HAS SOUPS 42160 WITH SCORE 42213.866
AT ITER 658 NEW BEST:: SOT 124077 SOS 53460 HAS SOPS 53460 HAS SOUS 39992 HAS SOUPS 39992 WITH SCORE 40045.46
AT ITER 667 NEW BEST:: SOT 124100 SOS 53457 HAS SOPS 53457 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40042.457
AT ITER 673 NEW BEST:: SOT 124100 SOS 53452 HAS SOPS 53452 HAS SOUS 39989 HAS SOUPS 39989 WITH SCORE 40042.452
AT ITER 674 NEW BEST:: SOT 124099 SOS 53377 HAS SOPS 53377 HAS SOUS 39987 HAS SOUPS 39987 WITH SCORE 40040.377
AT ITER 681 NEW BEST:: SOT 124142 SOS 53370 HAS SOPS 53370 HAS SOUS 39979 HAS SOUPS 39979 WITH SCORE 40032.37
AT ITER 682 NEW BEST:: SOT 124121 SOS 53328 HAS SOPS 53328 HAS SOUS 39942 HAS SOUPS 39942 WITH SCORE 39995.328
AT ITER 689 NEW BEST:: SOT 124121 SOS 53098 HAS SOPS 53098 HAS SOUS 39811 HAS SOUPS 39811 WITH SCORE 39864.098
AT ITER 691 NEW BEST:: SOT 124061 SOS 53098 HAS SOPS 53098 HAS SOUS 39751 HAS SOUPS 39751 WITH SCORE 39804.098
AT ITER 693 NEW BEST:: SOT 124081 SOS 53118 HAS SOPS 53118 HAS SOUS 39745 HAS SOUPS 39745 WITH SCORE 39798.118
AT ITER 706 NEW BEST:: SOT 124057 SOS 53027 HAS SOPS 53027 HAS SOUS 39697 HAS SOUPS 39697 WITH SCORE 39750.027
AT ITER 713 NEW BEST:: SOT 124059 SOS 53000 HAS SOPS 53000 HAS SOUS 39692 HAS SOUPS 39692 WITH SCORE 39745.0
AT ITER 715 NEW BEST:: SOT 124052 SOS 52993 HAS SOPS 52993 HAS SOUS 39673 HAS SOUPS 39673 WITH SCORE 39725.993
AT ITER 718 NEW BEST:: SOT 123987 SOS 52928 HAS SOPS 52928 HAS SOUS 39608 HAS SOUPS 39608 WITH SCORE 39660.928
AT ITER 720 NEW BEST:: SOT 123940 SOS 52792 HAS SOPS 52792 HAS SOUS 39546 HAS SOUPS 39546 WITH SCORE 39598.792
AT ITER 723 NEW BEST:: SOT 123937 SOS 52789 HAS SOPS 52789 HAS SOUS 39543 HAS SOUPS 39543 WITH SCORE 39595.789
AT ITER 726 NEW BEST:: SOT 123660 SOS 52350 HAS SOPS 52350 HAS SOUS 39120 HAS SOUPS 39120 WITH SCORE 39172.35
AT ITER 728 NEW BEST:: SOT 123634 SOS 52298 HAS SOPS 52298 HAS SOUS 39068 HAS SOUPS 39068 WITH SCORE 39120.298
AT ITER 734 NEW BEST:: SOT 123619 SOS 52268 HAS SOPS 52268 HAS SOUS 39038 HAS SOUPS 39038 WITH SCORE 39090.268
AT ITER 736 NEW BEST:: SOT 123566 SOS 52248 HAS SOPS 52248 HAS SOUS 38980 HAS SOUPS 38980 WITH SCORE 39032.248
AT ITER 741 NEW BEST:: SOT 123473 SOS 52155 HAS SOPS 52155 HAS SOUS 38835 HAS SOUPS 38835 WITH SCORE 38887.155
AT ITER 744 NEW BEST:: SOT 123461 SOS 52143 HAS SOPS 52143 HAS SOUS 38823 HAS SOUPS 38823 WITH SCORE 38875.143
AT ITER 753 NEW BEST:: SOT 123436 SOS 52118 HAS SOPS 52118 HAS SOUS 38798 HAS SOUPS 38798 WITH SCORE 38850.118
AT ITER 754 NEW BEST:: SOT 123376 SOS 51999 HAS SOPS 51999 HAS SOUS 38771 HAS SOUPS 38771 WITH SCORE 38822.999
AT ITER 761 NEW BEST:: SOT 123384 SOS 51983 HAS SOPS 51983 HAS SOUS 38739 HAS SOUPS 38739 WITH SCORE 38790.983
AT ITER 763 NEW BEST:: SOT 123395 SOS 51891 HAS SOPS 51891 HAS SOUS 38647 HAS SOUPS 38647 WITH SCORE 38698.891
AT ITER 775 NEW BEST:: SOT 123315 SOS 51771 HAS SOPS 51771 HAS SOUS 38567 HAS SOUPS 38567 WITH SCORE 38618.771
AT ITER 785 NEW BEST:: SOT 123241 SOS 51697 HAS SOPS 51697 HAS SOUS 38477 HAS SOUPS 38477 WITH SCORE 38528.697
AT ITER 789 NEW BEST:: SOT 123112 SOS 51555 HAS SOPS 51555 HAS SOUS 38312 HAS SOUPS 38312 WITH SCORE 38363.555
AT ITER 793 NEW BEST:: SOT 123098 SOS 51527 HAS SOPS 51527 HAS SOUS 38284 HAS SOUPS 38284 WITH SCORE 38335.527
AT ITER 826 NEW BEST:: SOT 123022 SOS 51413 HAS SOPS 51413 HAS SOUS 38170 HAS SOUPS 38170 WITH SCORE 38221.413
AT ITER 836 NEW BEST:: SOT 122991 SOS 51351 HAS SOPS 51351 HAS SOUS 38108 HAS SOUPS 38108 WITH SCORE 38159.351
AT ITER 841 NEW BEST:: SOT 122990 SOS 51346 HAS SOPS 51346 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38157.346
AT ITER 848 NEW BEST:: SOT 122966 SOS 51265 HAS SOPS 51265 HAS SOUS 38058 HAS SOUPS 38058 WITH SCORE 38109.265
AT ITER 853 NEW BEST:: SOT 122812 SOS 50957 HAS SOPS 50957 HAS SOUS 37904 HAS SOUPS 37904 WITH SCORE 37954.957
AT ITER 855 NEW BEST:: SOT 122811 SOS 50955 HAS SOPS 50955 HAS SOUS 37902 HAS SOUPS 37902 WITH SCORE 37952.955
AT ITER 856 NEW BEST:: SOT 122781 SOS 50752 HAS SOPS 50752 HAS SOUS 37812 HAS SOUPS 37812 WITH SCORE 37862.752
AT ITER 867 NEW BEST:: SOT 122630 SOS 50505 HAS SOPS 50505 HAS SOUS 37663 HAS SOUPS 37663 WITH SCORE 37713.505
AT ITER 892 NEW BEST:: SOT 122605 SOS 50455 HAS SOPS 50455 HAS SOUS 37613 HAS SOUPS 37613 WITH SCORE 37663.455
AT ITER 899 NEW BEST:: SOT 122605 SOS 50440 HAS SOPS 50440 HAS SOUS 37613 HAS SOUPS 37613 WITH SCORE 37663.44
AT ITER 903 NEW BEST:: SOT 122579 SOS 50388 HAS SOPS 50388 HAS SOUS 37561 HAS SOUPS 37561 WITH SCORE 37611.388
AT ITER 904 NEW BEST:: SOT 122709 SOS 50366 HAS SOPS 50366 HAS SOUS 37553 HAS SOUPS 37553 WITH SCORE 37603.366
AT ITER 906 NEW BEST:: SOT 122695 SOS 50360 HAS SOPS 50360 HAS SOUS 37546 HAS SOUPS 37546 WITH SCORE 37596.36
AT ITER 914 NEW BEST:: SOT 122622 SOS 50287 HAS SOPS 50287 HAS SOUS 37400 HAS SOUPS 37400 WITH SCORE 37450.287
AT ITER 915 NEW BEST:: SOT 122587 SOS 50217 HAS SOPS 50217 HAS SOUS 37330 HAS SOUPS 37330 WITH SCORE 37380.217
AT ITER 918 NEW BEST:: SOT 122587 SOS 50217 HAS SOPS 50217 HAS SOUS 37224 HAS SOUPS 37224 WITH SCORE 37274.217
AT ITER 920 NEW BEST:: SOT 122587 SOS 50194 HAS SOPS 50194 HAS SOUS 37201 HAS SOUPS 37201 WITH SCORE 37251.194
AT ITER 921 NEW BEST:: SOT 122543 SOS 50091 HAS SOPS 50091 HAS SOUS 37172 HAS SOUPS 37172 WITH SCORE 37222.091
AT ITER 933 NEW BEST:: SOT 122491 SOS 50039 HAS SOPS 50039 HAS SOUS 37120 HAS SOUPS 37120 WITH SCORE 37170.039
AT ITER 937 NEW BEST:: SOT 122458 SOS 49966 HAS SOPS 49966 HAS SOUS 37054 HAS SOUPS 37054 WITH SCORE 37103.966
AT ITER 945 NEW BEST:: SOT 122457 SOS 49965 HAS SOPS 49965 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37101.965
AT ITER 963 NEW BEST:: SOT 122457 SOS 49928 HAS SOPS 49928 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37101.928
AT ITER 974 NEW BEST:: SOT 122457 SOS 49875 HAS SOPS 49875 HAS SOUS 37052 HAS SOUPS 37052 WITH SCORE 37101.875
AT ITER 986 NEW BEST:: SOT 122457 SOS 49865 HAS SOPS 49865 HAS SOUS 37042 HAS SOUPS 37042 WITH SCORE 37091.865
AT ITER 998 NEW BEST:: SOT 122444 SOS 49865 HAS SOPS 49865 HAS SOUS 37029 HAS SOUPS 37029 WITH SCORE 37078.865
AT ITER 1000 NEW BEST:: SOT 122345 SOS 49851 HAS SOPS 49851 HAS SOUS 37015 HAS SOUPS 37015 WITH SCORE 37064.851
AT ITER 1007 NEW BEST:: SOT 122345 SOS 49811 HAS SOPS 49811 HAS SOUS 36975 HAS SOUPS 36975 WITH SCORE 37024.811
AT ITER 1010 NEW BEST:: SOT 122299 SOS 49724 HAS SOPS 49724 HAS SOUS 36929 HAS SOUPS 36929 WITH SCORE 36978.724
AT ITER 1012 NEW BEST:: SOT 122292 SOS 49710 HAS SOPS 49710 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36977.71
AT ITER 1014 NEW BEST:: SOT 122359 SOS 47922 HAS SOPS 47922 HAS SOUS 36862 HAS SOUPS 36862 WITH SCORE 36909.922
AT ITER 1024 NEW BEST:: SOT 122330 SOS 47861 HAS SOPS 47861 HAS SOUS 36802 HAS SOUPS 36802 WITH SCORE 36849.861
AT ITER 1054 NEW BEST:: SOT 122323 SOS 47847 HAS SOPS 47847 HAS SOUS 36788 HAS SOUPS 36788 WITH SCORE 36835.847
AT ITER 1083 NEW BEST:: SOT 122300 SOS 47782 HAS SOPS 47782 HAS SOUS 36747 HAS SOUPS 36747 WITH SCORE 36794.782
AT ITER 1085 NEW BEST:: SOT 122293 SOS 47708 HAS SOPS 47708 HAS SOUS 36673 HAS SOUPS 36673 WITH SCORE 36720.708
AT ITER 1087 NEW BEST:: SOT 122295 SOS 47738 HAS SOPS 47738 HAS SOUS 36651 HAS SOUPS 36651 WITH SCORE 36698.738
AT ITER 1088 NEW BEST:: SOT 122317 SOS 47830 HAS SOPS 47830 HAS SOUS 36646 HAS SOUPS 36646 WITH SCORE 36693.83
AT ITER 1093 NEW BEST:: SOT 122317 SOS 47882 HAS SOPS 47882 HAS SOUS 36594 HAS SOUPS 36594 WITH SCORE 36641.882
AT ITER 1103 NEW BEST:: SOT 122336 SOS 47857 HAS SOPS 47857 HAS SOUS 36569 HAS SOUPS 36569 WITH SCORE 36616.857
AT ITER 1111 NEW BEST:: SOT 122327 SOS 47995 HAS SOPS 47995 HAS SOUS 36548 HAS SOUPS 36548 WITH SCORE 36595.995
AT ITER 1116 NEW BEST:: SOT 122223 SOS 47864 HAS SOPS 47864 HAS SOUS 36444 HAS SOUPS 36444 WITH SCORE 36491.864
AT ITER 1118 NEW BEST:: SOT 122214 SOS 47846 HAS SOPS 47846 HAS SOUS 36435 HAS SOUPS 36435 WITH SCORE 36482.846
AT ITER 1122 NEW BEST:: SOT 122214 SOS 47846 HAS SOPS 47846 HAS SOUS 36422 HAS SOUPS 36422 WITH SCORE 36469.846
AT ITER 1140 NEW BEST:: SOT 122211 SOS 47840 HAS SOPS 47840 HAS SOUS 36416 HAS SOUPS 36416 WITH SCORE 36463.84
AT ITER 1144 NEW BEST:: SOT 122144 SOS 47706 HAS SOPS 47706 HAS SOUS 36259 HAS SOUPS 36259 WITH SCORE 36306.706
AT ITER 1145 NEW BEST:: SOT 122137 SOS 47484 HAS SOPS 47484 HAS SOUS 36110 HAS SOUPS 36110 WITH SCORE 36157.484
AT ITER 1146 NEW BEST:: SOT 122108 SOS 47391 HAS SOPS 47391 HAS SOUS 36020 HAS SOUPS 36020 WITH SCORE 36067.391
AT ITER 1149 NEW BEST:: SOT 122108 SOS 47385 HAS SOPS 47385 HAS SOUS 36014 HAS SOUPS 36014 WITH SCORE 36061.385
AT ITER 1154 NEW BEST:: SOT 122132 SOS 47448 HAS SOPS 47448 HAS SOUS 36005 HAS SOUPS 36005 WITH SCORE 36052.448
AT ITER 1160 NEW BEST:: SOT 122061 SOS 47377 HAS SOPS 47377 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 35973.377
AT ITER 1168 NEW BEST:: SOT 121998 SOS 47277 HAS SOPS 47277 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35873.277
AT ITER 1169 NEW BEST:: SOT 121982 SOS 47245 HAS SOPS 47245 HAS SOUS 35794 HAS SOUPS 35794 WITH SCORE 35841.245
AT ITER 1200 NEW BEST:: SOT 121915 SOS 47196 HAS SOPS 47196 HAS SOUS 35784 HAS SOUPS 35784 WITH SCORE 35831.196
AT ITER 1219 NEW BEST:: SOT 121864 SOS 47145 HAS SOPS 47145 HAS SOUS 35733 HAS SOUPS 35733 WITH SCORE 35780.145
AT ITER 1225 NEW BEST:: SOT 121752 SOS 47237 HAS SOPS 47237 HAS SOUS 35693 HAS SOUPS 35693 WITH SCORE 35740.237
AT ITER 1228 NEW BEST:: SOT 121740 SOS 47225 HAS SOPS 47225 HAS SOUS 35669 HAS SOUPS 35669 WITH SCORE 35716.225
AT ITER 1230 NEW BEST:: SOT 121690 SOS 47125 HAS SOPS 47125 HAS SOUS 35565 HAS SOUPS 35565 WITH SCORE 35612.125
AT ITER 1240 NEW BEST:: SOT 121625 SOS 47004 HAS SOPS 47004 HAS SOUS 35500 HAS SOUPS 35500 WITH SCORE 35547.004
AT ITER 1242 NEW BEST:: SOT 121616 SOS 46986 HAS SOPS 46986 HAS SOUS 35482 HAS SOUPS 35482 WITH SCORE 35528.986
AT ITER 1274 NEW BEST:: SOT 121587 SOS 46829 HAS SOPS 46829 HAS SOUS 35412 HAS SOUPS 35412 WITH SCORE 35458.829
AT ITER 1275 NEW BEST:: SOT 121559 SOS 46787 HAS SOPS 46787 HAS SOUS 35384 HAS SOUPS 35384 WITH SCORE 35430.787
AT ITER 1276 NEW BEST:: SOT 121520 SOS 46709 HAS SOPS 46709 HAS SOUS 35306 HAS SOUPS 35306 WITH SCORE 35352.709
AT ITER 1284 NEW BEST:: SOT 121509 SOS 46687 HAS SOPS 46687 HAS SOUS 35282 HAS SOUPS 35282 WITH SCORE 35328.687
AT ITER 1288 NEW BEST:: SOT 121466 SOS 46647 HAS SOPS 46647 HAS SOUS 35239 HAS SOUPS 35239 WITH SCORE 35285.647
AT ITER 1293 NEW BEST:: SOT 121466 SOS 46647 HAS SOPS 46647 HAS SOUS 35236 HAS SOUPS 35236 WITH SCORE 35282.647
AT ITER 1296 NEW BEST:: SOT 121434 SOS 46583 HAS SOPS 46583 HAS SOUS 35236 HAS SOUPS 35236 WITH SCORE 35282.583
AT ITER 1305 NEW BEST:: SOT 121420 SOS 46569 HAS SOPS 46569 HAS SOUS 35222 HAS SOUPS 35222 WITH SCORE 35268.569
AT ITER 1308 NEW BEST:: SOT 121418 SOS 46569 HAS SOPS 46569 HAS SOUS 35220 HAS SOUPS 35220 WITH SCORE 35266.569
AT ITER 1311 NEW BEST:: SOT 121405 SOS 46543 HAS SOPS 46543 HAS SOUS 35194 HAS SOUPS 35194 WITH SCORE 35240.543
AT ITER 1314 NEW BEST:: SOT 121406 SOS 46545 HAS SOPS 46545 HAS SOUS 35164 HAS SOUPS 35164 WITH SCORE 35210.545
AT ITER 1317 NEW BEST:: SOT 121199 SOS 46307 HAS SOPS 46307 HAS SOUS 34954 HAS SOUPS 34954 WITH SCORE 35000.307
AT ITER 1318 NEW BEST:: SOT 121184 SOS 46277 HAS SOPS 46277 HAS SOUS 34939 HAS SOUPS 34939 WITH SCORE 34985.277
AT ITER 1333 NEW BEST:: SOT 121112 SOS 46221 HAS SOPS 46221 HAS SOUS 34883 HAS SOUPS 34883 WITH SCORE 34929.221
AT ITER 1356 NEW BEST:: SOT 121023 SOS 46043 HAS SOPS 46043 HAS SOUS 34705 HAS SOUPS 34705 WITH SCORE 34751.043
AT ITER 1366 NEW BEST:: SOT 121033 SOS 46053 HAS SOPS 46053 HAS SOUS 34699 HAS SOUPS 34699 WITH SCORE 34745.053
AT ITER 1373 NEW BEST:: SOT 121033 SOS 46053 HAS SOPS 46053 HAS SOUS 34696 HAS SOUPS 34696 WITH SCORE 34742.053
AT ITER 1376 NEW BEST:: SOT 121070 SOS 46127 HAS SOPS 46127 HAS SOUS 34676 HAS SOUPS 34676 WITH SCORE 34722.127
AT ITER 1377 NEW BEST:: SOT 121066 SOS 46189 HAS SOPS 46189 HAS SOUS 34674 HAS SOUPS 34674 WITH SCORE 34720.189
AT ITER 1392 NEW BEST:: SOT 121055 SOS 46144 HAS SOPS 46144 HAS SOUS 34664 HAS SOUPS 34664 WITH SCORE 34710.144
AT ITER 1396 NEW BEST:: SOT 120942 SOS 45974 HAS SOPS 45974 HAS SOUS 34495 HAS SOUPS 34495 WITH SCORE 34540.974
AT ITER 1401 NEW BEST:: SOT 120909 SOS 45945 HAS SOPS 45945 HAS SOUS 34466 HAS SOUPS 34466 WITH SCORE 34511.945
AT ITER 1406 NEW BEST:: SOT 120899 SOS 45935 HAS SOPS 45935 HAS SOUS 34446 HAS SOUPS 34446 WITH SCORE 34491.935
AT ITER 1409 NEW BEST:: SOT 120893 SOS 45841 HAS SOPS 45841 HAS SOUS 34434 HAS SOUPS 34434 WITH SCORE 34479.841
AT ITER 1415 NEW BEST:: SOT 120891 SOS 45839 HAS SOPS 45839 HAS SOUS 34432 HAS SOUPS 34432 WITH SCORE 34477.839
AT ITER 1422 NEW BEST:: SOT 120609 SOS 45515 HAS SOPS 45515 HAS SOUS 34289 HAS SOUPS 34289 WITH SCORE 34334.515
AT ITER 1436 NEW BEST:: SOT 120604 SOS 45492 HAS SOPS 45492 HAS SOUS 34279 HAS SOUPS 34279 WITH SCORE 34324.492
AT ITER 1440 NEW BEST:: SOT 120603 SOS 45490 HAS SOPS 45490 HAS SOUS 34277 HAS SOUPS 34277 WITH SCORE 34322.49
AT ITER 1456 NEW BEST:: SOT 120595 SOS 45478 HAS SOPS 45478 HAS SOUS 34265 HAS SOUPS 34265 WITH SCORE 34310.478
AT ITER 1463 NEW BEST:: SOT 120543 SOS 45304 HAS SOPS 45304 HAS SOUS 34161 HAS SOUPS 34161 WITH SCORE 34206.304
AT ITER 1465 NEW BEST:: SOT 120529 SOS 45333 HAS SOPS 45333 HAS SOUS 34140 HAS SOUPS 34140 WITH SCORE 34185.333
AT ITER 1468 NEW BEST:: SOT 120529 SOS 45316 HAS SOPS 45316 HAS SOUS 34122 HAS SOUPS 34122 WITH SCORE 34167.316
AT ITER 1471 NEW BEST:: SOT 120529 SOS 45316 HAS SOPS 45316 HAS SOUS 34106 HAS SOUPS 34106 WITH SCORE 34151.316
AT ITER 1511 NEW BEST:: SOT 120373 SOS 46590 HAS SOPS 46590 HAS SOUS 34054 HAS SOUPS 34054 WITH SCORE 34100.59
AT ITER 1512 NEW BEST:: SOT 120373 SOS 46588 HAS SOPS 46588 HAS SOUS 34054 HAS SOUPS 34054 WITH SCORE 34100.588
AT ITER 1514 NEW BEST:: SOT 120373 SOS 46579 HAS SOPS 46579 HAS SOUS 34054 HAS SOUPS 34054 WITH SCORE 34100.579
AT ITER 1528 NEW BEST:: SOT 120394 SOS 46552 HAS SOPS 46552 HAS SOUS 34048 HAS SOUPS 34048 WITH SCORE 34094.552
AT ITER 1538 NEW BEST:: SOT 120394 SOS 46552 HAS SOPS 46552 HAS SOUS 34028 HAS SOUPS 34028 WITH SCORE 34074.552
AT ITER 1571 NEW BEST:: SOT 120393 SOS 46525 HAS SOPS 46525 HAS SOUS 34024 HAS SOUPS 34024 WITH SCORE 34070.525
AT ITER 1575 NEW BEST:: SOT 120393 SOS 46486 HAS SOPS 46486 HAS SOUS 33985 HAS SOUPS 33985 WITH SCORE 34031.486
AT ITER 1586 NEW BEST:: SOT 120319 SOS 46416 HAS SOPS 46416 HAS SOUS 33953 HAS SOUPS 33953 WITH SCORE 33999.416
AT ITER 1590 NEW BEST:: SOT 120281 SOS 46340 HAS SOPS 46340 HAS SOUS 33918 HAS SOUPS 33918 WITH SCORE 33964.34
AT ITER 1593 NEW BEST:: SOT 120265 SOS 46324 HAS SOPS 46324 HAS SOUS 33902 HAS SOUPS 33902 WITH SCORE 33948.324
AT ITER 1595 NEW BEST:: SOT 120265 SOS 46324 HAS SOPS 46324 HAS SOUS 33870 HAS SOUPS 33870 WITH SCORE 33916.324
AT ITER 1596 NEW BEST:: SOT 120212 SOS 47117 HAS SOPS 47117 HAS SOUS 33817 HAS SOUPS 33817 WITH SCORE 33864.117
AT ITER 1600 NEW BEST:: SOT 120212 SOS 47118 HAS SOPS 47118 HAS SOUS 33816 HAS SOUPS 33816 WITH SCORE 33863.118
AT ITER 1603 NEW BEST:: SOT 120198 SOS 47104 HAS SOPS 47104 HAS SOUS 33788 HAS SOUPS 33788 WITH SCORE 33835.104
AT ITER 1615 NEW BEST:: SOT 120173 SOS 47103 HAS SOPS 47103 HAS SOUS 33738 HAS SOUPS 33738 WITH SCORE 33785.103
AT ITER 1670 NEW BEST:: SOT 120099 SOS 46867 HAS SOPS 46867 HAS SOUS 33489 HAS SOUPS 33489 WITH SCORE 33535.867
AT ITER 1672 NEW BEST:: SOT 120061 SOS 46791 HAS SOPS 46791 HAS SOUS 33451 HAS SOUPS 33451 WITH SCORE 33497.791
AT ITER 1686 NEW BEST:: SOT 120053 SOS 46775 HAS SOPS 46775 HAS SOUS 33421 HAS SOUPS 33421 WITH SCORE 33467.775
AT ITER 1687 NEW BEST:: SOT 120025 SOS 46673 HAS SOPS 46673 HAS SOUS 33365 HAS SOUPS 33365 WITH SCORE 33411.673
AT ITER 1689 NEW BEST:: SOT 120011 SOS 46622 HAS SOPS 46622 HAS SOUS 33330 HAS SOUPS 33330 WITH SCORE 33376.622
AT ITER 1697 NEW BEST:: SOT 119994 SOS 46656 HAS SOPS 46656 HAS SOUS 33298 HAS SOUPS 33298 WITH SCORE 33344.656
AT ITER 1699 NEW BEST:: SOT 119991 SOS 46653 HAS SOPS 46653 HAS SOUS 33295 HAS SOUPS 33295 WITH SCORE 33341.653
AT ITER 1710 NEW BEST:: SOT 119938 SOS 46536 HAS SOPS 46536 HAS SOUS 33233 HAS SOUPS 33233 WITH SCORE 33279.536
AT ITER 1714 NEW BEST:: SOT 119890 SOS 46440 HAS SOPS 46440 HAS SOUS 33185 HAS SOUPS 33185 WITH SCORE 33231.44
AT ITER 1717 NEW BEST:: SOT 119890 SOS 46390 HAS SOPS 46390 HAS SOUS 33174 HAS SOUPS 33174 WITH SCORE 33220.39
AT ITER 1725 NEW BEST:: SOT 119890 SOS 46387 HAS SOPS 46387 HAS SOUS 33174 HAS SOUPS 33174 WITH SCORE 33220.387
AT ITER 1742 NEW BEST:: SOT 119862 SOS 46359 HAS SOPS 46359 HAS SOUS 33146 HAS SOUPS 33146 WITH SCORE 33192.359
AT ITER 1751 NEW BEST:: SOT 119862 SOS 46296 HAS SOPS 46296 HAS SOUS 33146 HAS SOUPS 33146 WITH SCORE 33192.296
AT ITER 1756 NEW BEST:: SOT 119855 SOS 46289 HAS SOPS 46289 HAS SOUS 33139 HAS SOUPS 33139 WITH SCORE 33185.289
AT ITER 1769 NEW BEST:: SOT 119893 SOS 46309 HAS SOPS 46309 HAS SOUS 33135 HAS SOUPS 33135 WITH SCORE 33181.309
AT ITER 1782 NEW BEST:: SOT 119871 SOS 46247 HAS SOPS 46247 HAS SOUS 33094 HAS SOUPS 33094 WITH SCORE 33140.247
AT ITER 1794 NEW BEST:: SOT 119873 SOS 46248 HAS SOPS 46248 HAS SOUS 33093 HAS SOUPS 33093 WITH SCORE 33139.248
AT ITER 1801 NEW BEST:: SOT 119884 SOS 46218 HAS SOPS 46218 HAS SOUS 33033 HAS SOUPS 33033 WITH SCORE 33079.218
AT ITER 1812 NEW BEST:: SOT 119865 SOS 46199 HAS SOPS 46199 HAS SOUS 32995 HAS SOUPS 32995 WITH SCORE 33041.199
AT ITER 1838 NEW BEST:: SOT 119867 SOS 46241 HAS SOPS 46241 HAS SOUS 32988 HAS SOUPS 32988 WITH SCORE 33034.241
AT ITER 1840 NEW BEST:: SOT 119780 SOS 46239 HAS SOPS 46239 HAS SOUS 32986 HAS SOUPS 32986 WITH SCORE 33032.239
AT ITER 1844 NEW BEST:: SOT 119763 SOS 46060 HAS SOPS 46060 HAS SOUS 32933 HAS SOUPS 32933 WITH SCORE 32979.06
AT ITER 1847 NEW BEST:: SOT 119755 SOS 46044 HAS SOPS 46044 HAS SOUS 32889 HAS SOUPS 32889 WITH SCORE 32935.044
AT ITER 1853 NEW BEST:: SOT 119752 SOS 46035 HAS SOPS 46035 HAS SOUS 32886 HAS SOUPS 32886 WITH SCORE 32932.035
AT ITER 1855 NEW BEST:: SOT 119716 SOS 45930 HAS SOPS 45930 HAS SOUS 32798 HAS SOUPS 32798 WITH SCORE 32843.93
AT ITER 1856 NEW BEST:: SOT 119713 SOS 45927 HAS SOPS 45927 HAS SOUS 32795 HAS SOUPS 32795 WITH SCORE 32840.927
AT ITER 1858 NEW BEST:: SOT 119655 SOS 45963 HAS SOPS 45963 HAS SOUS 32737 HAS SOUPS 32737 WITH SCORE 32782.963
AT ITER 1863 NEW BEST:: SOT 119618 SOS 44962 HAS SOPS 44962 HAS SOUS 32663 HAS SOUPS 32663 WITH SCORE 32707.962
AT ITER 1867 NEW BEST:: SOT 119620 SOS 44966 HAS SOPS 44966 HAS SOUS 32662 HAS SOUPS 32662 WITH SCORE 32706.966
AT ITER 1873 NEW BEST:: SOT 119615 SOS 44949 HAS SOPS 44949 HAS SOUS 32652 HAS SOUPS 32652 WITH SCORE 32696.949
AT ITER 1908 NEW BEST:: SOT 119555 SOS 44913 HAS SOPS 44913 HAS SOUS 32495 HAS SOUPS 32495 WITH SCORE 32539.913
AT ITER 1913 NEW BEST:: SOT 119554 SOS 44912 HAS SOPS 44912 HAS SOUS 32473 HAS SOUPS 32473 WITH SCORE 32517.912
AT ITER 1915 NEW BEST:: SOT 119529 SOS 44862 HAS SOPS 44862 HAS SOUS 32466 HAS SOUPS 32466 WITH SCORE 32510.862
AT ITER 1916 NEW BEST:: SOT 119524 SOS 44857 HAS SOPS 44857 HAS SOUS 32461 HAS SOUPS 32461 WITH SCORE 32505.857
AT ITER 1928 NEW BEST:: SOT 119610 SOS 44876 HAS SOPS 44876 HAS SOUS 32421 HAS SOUPS 32421 WITH SCORE 32465.876
AT ITER 1944 NEW BEST:: SOT 119559 SOS 44720 HAS SOPS 44720 HAS SOUS 32316 HAS SOUPS 32316 WITH SCORE 32360.72
AT ITER 1945 NEW BEST:: SOT 119515 SOS 44632 HAS SOPS 44632 HAS SOUS 32228 HAS SOUPS 32228 WITH SCORE 32272.632
AT ITER 1952 NEW BEST:: SOT 119506 SOS 44614 HAS SOPS 44614 HAS SOUS 32210 HAS SOUPS 32210 WITH SCORE 32254.614
AT ITER 1960 NEW BEST:: SOT 119503 SOS 44611 HAS SOPS 44611 HAS SOUS 32204 HAS SOUPS 32204 WITH SCORE 32248.611
AT ITER 1969 NEW BEST:: SOT 119476 SOS 44557 HAS SOPS 44557 HAS SOUS 32157 HAS SOUPS 32157 WITH SCORE 32201.557
AT ITER 1974 NEW BEST:: SOT 119464 SOS 44577 HAS SOPS 44577 HAS SOUS 32145 HAS SOUPS 32145 WITH SCORE 32189.577
AT ITER 1975 NEW BEST:: SOT 119463 SOS 44576 HAS SOPS 44576 HAS SOUS 32143 HAS SOUPS 32143 WITH SCORE 32187.576
AT ITER 1980 NEW BEST:: SOT 119464 SOS 44571 HAS SOPS 44571 HAS SOUS 32138 HAS SOUPS 32138 WITH SCORE 32182.571
AT ITER 1989 NEW BEST:: SOT 119449 SOS 44541 HAS SOPS 44541 HAS SOUS 32108 HAS SOUPS 32108 WITH SCORE 32152.541
AT ITER 1991 NEW BEST:: SOT 119427 SOS 44498 HAS SOPS 44498 HAS SOUS 32085 HAS SOUPS 32085 WITH SCORE 32129.498
AT ITER 1997 NEW BEST:: SOT 119427 SOS 44486 HAS SOPS 44486 HAS SOUS 32073 HAS SOUPS 32073 WITH SCORE 32117.486
AT ITER 2024 NEW BEST:: SOT 119353 SOS 44566 HAS SOPS 44566 HAS SOUS 31993 HAS SOUPS 31993 WITH SCORE 32037.566
AT ITER 2030 NEW BEST:: SOT 119340 SOS 44553 HAS SOPS 44553 HAS SOUS 31981 HAS SOUPS 31981 WITH SCORE 32025.553
AT ITER 2033 NEW BEST:: SOT 119307 SOS 44466 HAS SOPS 44466 HAS SOUS 31920 HAS SOUPS 31920 WITH SCORE 31964.466
AT ITER 2071 NEW BEST:: SOT 119335 SOS 44502 HAS SOPS 44502 HAS SOUS 31910 HAS SOUPS 31910 WITH SCORE 31954.502
AT ITER 2079 NEW BEST:: SOT 119316 SOS 44434 HAS SOPS 44434 HAS SOUS 31862 HAS SOUPS 31862 WITH SCORE 31906.434
AT ITER 2080 NEW BEST:: SOT 119145 SOS 44263 HAS SOPS 44263 HAS SOUS 31691 HAS SOUPS 31691 WITH SCORE 31735.263
AT ITER 2081 NEW BEST:: SOT 119092 SOS 44238 HAS SOPS 44238 HAS SOUS 31672 HAS SOUPS 31672 WITH SCORE 31716.238
AT ITER 2085 NEW BEST:: SOT 119087 SOS 44228 HAS SOPS 44228 HAS SOUS 31599 HAS SOUPS 31599 WITH SCORE 31643.228
AT ITER 2100 NEW BEST:: SOT 119075 SOS 44204 HAS SOPS 44204 HAS SOUS 31595 HAS SOUPS 31595 WITH SCORE 31639.204
AT ITER 2103 NEW BEST:: SOT 119089 SOS 44257 HAS SOPS 44257 HAS SOUS 31584 HAS SOUPS 31584 WITH SCORE 31628.257
AT ITER 2111 NEW BEST:: SOT 119163 SOS 44244 HAS SOPS 44244 HAS SOUS 31571 HAS SOUPS 31571 WITH SCORE 31615.244
AT ITER 2114 NEW BEST:: SOT 119163 SOS 44215 HAS SOPS 44215 HAS SOUS 31559 HAS SOUPS 31559 WITH SCORE 31603.215
AT ITER 2124 NEW BEST:: SOT 119162 SOS 44216 HAS SOPS 44216 HAS SOUS 31554 HAS SOUPS 31554 WITH SCORE 31598.216
AT ITER 2130 NEW BEST:: SOT 119175 SOS 44208 HAS SOPS 44208 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31573.208
AT ITER 2139 NEW BEST:: SOT 119181 SOS 44174 HAS SOPS 44174 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31573.174
AT ITER 2140 NEW BEST:: SOT 119161 SOS 44154 HAS SOPS 44154 HAS SOUS 31509 HAS SOUPS 31509 WITH SCORE 31553.154
AT ITER 2148 NEW BEST:: SOT 119154 SOS 44136 HAS SOPS 44136 HAS SOUS 31491 HAS SOUPS 31491 WITH SCORE 31535.136
AT ITER 2162 NEW BEST:: SOT 119151 SOS 44127 HAS SOPS 44127 HAS SOUS 31485 HAS SOUPS 31485 WITH SCORE 31529.127
AT ITER 2169 NEW BEST:: SOT 119013 SOS 43989 HAS SOPS 43989 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31391.989
AT ITER 2176 NEW BEST:: SOT 119010 SOS 43986 HAS SOPS 43986 HAS SOUS 31345 HAS SOUPS 31345 WITH SCORE 31388.986
AT ITER 2181 NEW BEST:: SOT 118999 SOS 43961 HAS SOPS 43961 HAS SOUS 31323 HAS SOUPS 31323 WITH SCORE 31366.961
AT ITER 2195 NEW BEST:: SOT 118959 SOS 43922 HAS SOPS 43922 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31307.922
AT ITER 2198 NEW BEST:: SOT 118879 SOS 43837 HAS SOPS 43837 HAS SOUS 31257 HAS SOUPS 31257 WITH SCORE 31300.837
AT ITER 2214 NEW BEST:: SOT 118859 SOS 43797 HAS SOPS 43797 HAS SOUS 31237 HAS SOUPS 31237 WITH SCORE 31280.797
AT ITER 2223 NEW BEST:: SOT 118819 SOS 43757 HAS SOPS 43757 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31261.757
AT ITER 2230 NEW BEST:: SOT 118820 SOS 43751 HAS SOPS 43751 HAS SOUS 31198 HAS SOUPS 31198 WITH SCORE 31241.751
AT ITER 2233 NEW BEST:: SOT 118794 SOS 43693 HAS SOPS 43693 HAS SOUS 31146 HAS SOUPS 31146 WITH SCORE 31189.693
AT ITER 2234 NEW BEST:: SOT 118794 SOS 43680 HAS SOPS 43680 HAS SOUS 31146 HAS SOUPS 31146 WITH SCORE 31189.68
AT ITER 2247 NEW BEST:: SOT 118762 SOS 43574 HAS SOPS 43574 HAS SOUS 31122 HAS SOUPS 31122 WITH SCORE 31165.574
AT ITER 2259 NEW BEST:: SOT 118756 SOS 43535 HAS SOPS 43535 HAS SOUS 31057 HAS SOUPS 31057 WITH SCORE 31100.535
AT ITER 2273 NEW BEST:: SOT 118755 SOS 43535 HAS SOPS 43535 HAS SOUS 31055 HAS SOUPS 31055 WITH SCORE 31098.535
AT ITER 2277 NEW BEST:: SOT 118739 SOS 43513 HAS SOPS 43513 HAS SOUS 31033 HAS SOUPS 31033 WITH SCORE 31076.513
AT ITER 2298 NEW BEST:: SOT 118764 SOS 43502 HAS SOPS 43502 HAS SOUS 31022 HAS SOUPS 31022 WITH SCORE 31065.502
AT ITER 2304 NEW BEST:: SOT 118704 SOS 43442 HAS SOPS 43442 HAS SOUS 30979 HAS SOUPS 30979 WITH SCORE 31022.442
AT ITER 2325 NEW BEST:: SOT 118690 SOS 43414 HAS SOPS 43414 HAS SOUS 30965 HAS SOUPS 30965 WITH SCORE 31008.414
AT ITER 2333 NEW BEST:: SOT 118700 SOS 43300 HAS SOPS 43300 HAS SOUS 30873 HAS SOUPS 30873 WITH SCORE 30916.3
AT ITER 2336 NEW BEST:: SOT 118694 SOS 43294 HAS SOPS 43294 HAS SOUS 30869 HAS SOUPS 30869 WITH SCORE 30912.294
AT ITER 2346 NEW BEST:: SOT 118664 SOS 43264 HAS SOPS 43264 HAS SOUS 30833 HAS SOUPS 30833 WITH SCORE 30876.264
AT ITER 2351 NEW BEST:: SOT 118662 SOS 43260 HAS SOPS 43260 HAS SOUS 30829 HAS SOUPS 30829 WITH SCORE 30872.26
AT ITER 2353 NEW BEST:: SOT 118632 SOS 43332 HAS SOPS 43332 HAS SOUS 30770 HAS SOUPS 30770 WITH SCORE 30813.332
AT ITER 2386 NEW BEST:: SOT 118632 SOS 43324 HAS SOPS 43324 HAS SOUS 30762 HAS SOUPS 30762 WITH SCORE 30805.324
AT ITER 2388 NEW BEST:: SOT 118572 SOS 43241 HAS SOPS 43241 HAS SOUS 30716 HAS SOUPS 30716 WITH SCORE 30759.241
AT ITER 2405 NEW BEST:: SOT 118569 SOS 43223 HAS SOPS 43223 HAS SOUS 30699 HAS SOUPS 30699 WITH SCORE 30742.223
AT ITER 2414 NEW BEST:: SOT 118545 SOS 43187 HAS SOPS 43187 HAS SOUS 30651 HAS SOUPS 30651 WITH SCORE 30694.187
AT ITER 2429 NEW BEST:: SOT 118544 SOS 43186 HAS SOPS 43186 HAS SOUS 30649 HAS SOUPS 30649 WITH SCORE 30692.186
AT ITER 2435 NEW BEST:: SOT 118540 SOS 43178 HAS SOPS 43178 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30688.178
AT ITER 2440 NEW BEST:: SOT 118535 SOS 43138 HAS SOPS 43138 HAS SOUS 30625 HAS SOUPS 30625 WITH SCORE 30668.138
AT ITER 2441 NEW BEST:: SOT 118451 SOS 42963 HAS SOPS 42963 HAS SOUS 30423 HAS SOUPS 30423 WITH SCORE 30465.963
AT ITER 2450 NEW BEST:: SOT 118440 SOS 42972 HAS SOPS 42972 HAS SOUS 30401 HAS SOUPS 30401 WITH SCORE 30443.972
AT ITER 2480 NEW BEST:: SOT 118455 SOS 42894 HAS SOPS 42894 HAS SOUS 30393 HAS SOUPS 30393 WITH SCORE 30435.894
AT ITER 2496 NEW BEST:: SOT 118455 SOS 42894 HAS SOPS 42894 HAS SOUS 30373 HAS SOUPS 30373 WITH SCORE 30415.894
AT ITER 2507 NEW BEST:: SOT 118435 SOS 42874 HAS SOPS 42874 HAS SOUS 30353 HAS SOUPS 30353 WITH SCORE 30395.874
AT ITER 2519 NEW BEST:: SOT 118434 SOS 42876 HAS SOPS 42876 HAS SOUS 30352 HAS SOUPS 30352 WITH SCORE 30394.876
AT ITER 2522 NEW BEST:: SOT 118356 SOS 42798 HAS SOPS 42798 HAS SOUS 30196 HAS SOUPS 30196 WITH SCORE 30238.798
AT ITER 2526 NEW BEST:: SOT 118346 SOS 42788 HAS SOPS 42788 HAS SOUS 30186 HAS SOUPS 30186 WITH SCORE 30228.788
AT ITER 2550 NEW BEST:: SOT 118308 SOS 42697 HAS SOPS 42697 HAS SOUS 30135 HAS SOUPS 30135 WITH SCORE 30177.697
AT ITER 2557 NEW BEST:: SOT 118314 SOS 42726 HAS SOPS 42726 HAS SOUS 30129 HAS SOUPS 30129 WITH SCORE 30171.726
AT ITER 2558 NEW BEST:: SOT 118355 SOS 42698 HAS SOPS 42698 HAS SOUS 30101 HAS SOUPS 30101 WITH SCORE 30143.698
AT ITER 2571 NEW BEST:: SOT 118329 SOS 42672 HAS SOPS 42672 HAS SOUS 30075 HAS SOUPS 30075 WITH SCORE 30117.672
AT ITER 2572 NEW BEST:: SOT 118314 SOS 42607 HAS SOPS 42607 HAS SOUS 30045 HAS SOUPS 30045 WITH SCORE 30087.607
AT ITER 2575 NEW BEST:: SOT 118297 SOS 42573 HAS SOPS 42573 HAS SOUS 30011 HAS SOUPS 30011 WITH SCORE 30053.573
AT ITER 2581 NEW BEST:: SOT 118277 SOS 42534 HAS SOPS 42534 HAS SOUS 29973 HAS SOUPS 29973 WITH SCORE 30015.534
AT ITER 2585 NEW BEST:: SOT 118298 SOS 42555 HAS SOPS 42555 HAS SOUS 29958 HAS SOUPS 29958 WITH SCORE 30000.555
AT ITER 2594 NEW BEST:: SOT 118236 SOS 42523 HAS SOPS 42523 HAS SOUS 29926 HAS SOUPS 29926 WITH SCORE 29968.523
AT ITER 2615 NEW BEST:: SOT 118157 SOS 42890 HAS SOPS 42890 HAS SOUS 29877 HAS SOUPS 29877 WITH SCORE 29919.89
AT ITER 2629 NEW BEST:: SOT 118152 SOS 42885 HAS SOPS 42885 HAS SOUS 29872 HAS SOUPS 29872 WITH SCORE 29914.885
AT ITER 2635 NEW BEST:: SOT 118150 SOS 42911 HAS SOPS 42911 HAS SOUS 29867 HAS SOUPS 29867 WITH SCORE 29909.911
AT ITER 2648 NEW BEST:: SOT 118150 SOS 42819 HAS SOPS 42819 HAS SOUS 29867 HAS SOUPS 29867 WITH SCORE 29909.819
AT ITER 2653 NEW BEST:: SOT 118150 SOS 42819 HAS SOPS 42819 HAS SOUS 29829 HAS SOUPS 29829 WITH SCORE 29871.819
AT ITER 2654 NEW BEST:: SOT 118150 SOS 42819 HAS SOPS 42819 HAS SOUS 29826 HAS SOUPS 29826 WITH SCORE 29868.819
AT ITER 2656 NEW BEST:: SOT 118149 SOS 42770 HAS SOPS 42770 HAS SOUS 29819 HAS SOUPS 29819 WITH SCORE 29861.77
AT ITER 2669 NEW BEST:: SOT 118148 SOS 42583 HAS SOPS 42583 HAS SOUS 29817 HAS SOUPS 29817 WITH SCORE 29859.583
AT ITER 2692 NEW BEST:: SOT 118105 SOS 42570 HAS SOPS 42570 HAS SOUS 29804 HAS SOUPS 29804 WITH SCORE 29846.57
AT ITER 2707 NEW BEST:: SOT 118088 SOS 42536 HAS SOPS 42536 HAS SOUS 29787 HAS SOUPS 29787 WITH SCORE 29829.536
AT ITER 2710 NEW BEST:: SOT 118086 SOS 42532 HAS SOPS 42532 HAS SOUS 29783 HAS SOUPS 29783 WITH SCORE 29825.532
AT ITER 2721 NEW BEST:: SOT 118076 SOS 42522 HAS SOPS 42522 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29815.522
AT ITER 2723 NEW BEST:: SOT 118076 SOS 42520 HAS SOPS 42520 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29815.52
AT ITER 2729 NEW BEST:: SOT 118064 SOS 42508 HAS SOPS 42508 HAS SOUS 29761 HAS SOUPS 29761 WITH SCORE 29803.508
AT ITER 2736 NEW BEST:: SOT 118040 SOS 42449 HAS SOPS 42449 HAS SOUS 29737 HAS SOUPS 29737 WITH SCORE 29779.449
AT ITER 2741 NEW BEST:: SOT 118006 SOS 42381 HAS SOPS 42381 HAS SOUS 29669 HAS SOUPS 29669 WITH SCORE 29711.381
AT ITER 2751 NEW BEST:: SOT 117990 SOS 42346 HAS SOPS 42346 HAS SOUS 29637 HAS SOUPS 29637 WITH SCORE 29679.346
AT ITER 2759 NEW BEST:: SOT 117962 SOS 42249 HAS SOPS 42249 HAS SOUS 29582 HAS SOUPS 29582 WITH SCORE 29624.249
AT ITER 2771 NEW BEST:: SOT 117909 SOS 42198 HAS SOPS 42198 HAS SOUS 29582 HAS SOUPS 29582 WITH SCORE 29624.198
AT ITER 2775 NEW BEST:: SOT 117891 SOS 42306 HAS SOPS 42306 HAS SOUS 29546 HAS SOUPS 29546 WITH SCORE 29588.306
AT ITER 2776 NEW BEST:: SOT 117795 SOS 42114 HAS SOPS 42114 HAS SOUS 29397 HAS SOUPS 29397 WITH SCORE 29439.114
AT ITER 2785 NEW BEST:: SOT 117812 SOS 42102 HAS SOPS 42102 HAS SOUS 29385 HAS SOUPS 29385 WITH SCORE 29427.102
AT ITER 2791 NEW BEST:: SOT 117812 SOS 42082 HAS SOPS 42082 HAS SOUS 29385 HAS SOUPS 29385 WITH SCORE 29427.082
AT ITER 2801 NEW BEST:: SOT 117809 SOS 42076 HAS SOPS 42076 HAS SOUS 29382 HAS SOUPS 29382 WITH SCORE 29424.076
AT ITER 2805 NEW BEST:: SOT 117822 SOS 42102 HAS SOPS 42102 HAS SOUS 29356 HAS SOUPS 29356 WITH SCORE 29398.102
AT ITER 2847 NEW BEST:: SOT 117801 SOS 42071 HAS SOPS 42071 HAS SOUS 29352 HAS SOUPS 29352 WITH SCORE 29394.071
AT ITER 2861 NEW BEST:: SOT 117799 SOS 42050 HAS SOPS 42050 HAS SOUS 29331 HAS SOUPS 29331 WITH SCORE 29373.05
AT ITER 2867 NEW BEST:: SOT 117799 SOS 42028 HAS SOPS 42028 HAS SOUS 29310 HAS SOUPS 29310 WITH SCORE 29352.028
AT ITER 2868 NEW BEST:: SOT 117744 SOS 41937 HAS SOPS 41937 HAS SOUS 29200 HAS SOUPS 29200 WITH SCORE 29241.937
AT ITER 2879 NEW BEST:: SOT 117728 SOS 41921 HAS SOPS 41921 HAS SOUS 29184 HAS SOUPS 29184 WITH SCORE 29225.921
AT ITER 2903 NEW BEST:: SOT 117706 SOS 41848 HAS SOPS 41848 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29181.848
AT ITER 2906 NEW BEST:: SOT 117705 SOS 41846 HAS SOPS 41846 HAS SOUS 29138 HAS SOUPS 29138 WITH SCORE 29179.846
AT ITER 2908 NEW BEST:: SOT 117702 SOS 41840 HAS SOPS 41840 HAS SOUS 29123 HAS SOUPS 29123 WITH SCORE 29164.84
AT ITER 2914 NEW BEST:: SOT 117743 SOS 41780 HAS SOPS 41780 HAS SOUS 29063 HAS SOUPS 29063 WITH SCORE 29104.78
AT ITER 2944 NEW BEST:: SOT 117724 SOS 41742 HAS SOPS 41742 HAS SOUS 29044 HAS SOUPS 29044 WITH SCORE 29085.742
AT ITER 2949 NEW BEST:: SOT 117589 SOS 41607 HAS SOPS 41607 HAS SOUS 28909 HAS SOUPS 28909 WITH SCORE 28950.607
AT ITER 2971 NEW BEST:: SOT 117589 SOS 41599 HAS SOPS 41599 HAS SOUS 28909 HAS SOUPS 28909 WITH SCORE 28950.599
AT ITER 2975 NEW BEST:: SOT 117597 SOS 41590 HAS SOPS 41590 HAS SOUS 28887 HAS SOUPS 28887 WITH SCORE 28928.59
AT ITER 2986 NEW BEST:: SOT 117592 SOS 41586 HAS SOPS 41586 HAS SOUS 28877 HAS SOUPS 28877 WITH SCORE 28918.586
AT ITER 2993 NEW BEST:: SOT 117592 SOS 41608 HAS SOPS 41608 HAS SOUS 28842 HAS SOUPS 28842 WITH SCORE 28883.608
AT ITER 3004 NEW BEST:: SOT 117590 SOS 41606 HAS SOPS 41606 HAS SOUS 28840 HAS SOUPS 28840 WITH SCORE 28881.606
AT ITER 3040 NEW BEST:: SOT 117573 SOS 41608 HAS SOPS 41608 HAS SOUS 28807 HAS SOUPS 28807 WITH SCORE 28848.608
AT ITER 3041 NEW BEST:: SOT 117553 SOS 41601 HAS SOPS 41601 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28841.601
AT ITER 3042 NEW BEST:: SOT 117549 SOS 41593 HAS SOPS 41593 HAS SOUS 28792 HAS SOUPS 28792 WITH SCORE 28833.593
AT ITER 3056 NEW BEST:: SOT 117525 SOS 41532 HAS SOPS 41532 HAS SOUS 28781 HAS SOUPS 28781 WITH SCORE 28822.532
AT ITER 3061 NEW BEST:: SOT 117478 SOS 41462 HAS SOPS 41462 HAS SOUS 28710 HAS SOUPS 28710 WITH SCORE 28751.462
AT ITER 3073 NEW BEST:: SOT 117471 SOS 41455 HAS SOPS 41455 HAS SOUS 28709 HAS SOUPS 28709 WITH SCORE 28750.455
AT ITER 3077 NEW BEST:: SOT 117462 SOS 41437 HAS SOPS 41437 HAS SOUS 28691 HAS SOUPS 28691 WITH SCORE 28732.437
AT ITER 3083 NEW BEST:: SOT 117462 SOS 41437 HAS SOPS 41437 HAS SOUS 28675 HAS SOUPS 28675 WITH SCORE 28716.437
AT ITER 3089 NEW BEST:: SOT 117460 SOS 41435 HAS SOPS 41435 HAS SOUS 28673 HAS SOUPS 28673 WITH SCORE 28714.435
AT ITER 3093 NEW BEST:: SOT 117450 SOS 41441 HAS SOPS 41441 HAS SOUS 28658 HAS SOUPS 28658 WITH SCORE 28699.441
AT ITER 3096 NEW BEST:: SOT 117459 SOS 41417 HAS SOPS 41417 HAS SOUS 28643 HAS SOUPS 28643 WITH SCORE 28684.417
AT ITER 3100 NEW BEST:: SOT 117452 SOS 41403 HAS SOPS 41403 HAS SOUS 28629 HAS SOUPS 28629 WITH SCORE 28670.403
AT ITER 3112 NEW BEST:: SOT 117410 SOS 41320 HAS SOPS 41320 HAS SOUS 28586 HAS SOUPS 28586 WITH SCORE 28627.32
AT ITER 3133 NEW BEST:: SOT 117421 SOS 41347 HAS SOPS 41347 HAS SOUS 28542 HAS SOUPS 28542 WITH SCORE 28583.347
AT ITER 3161 NEW BEST:: SOT 117412 SOS 41338 HAS SOPS 41338 HAS SOUS 28533 HAS SOUPS 28533 WITH SCORE 28574.338
AT ITER 3175 NEW BEST:: SOT 117402 SOS 41318 HAS SOPS 41318 HAS SOUS 28513 HAS SOUPS 28513 WITH SCORE 28554.318
AT ITER 3179 NEW BEST:: SOT 117401 SOS 41316 HAS SOPS 41316 HAS SOUS 28511 HAS SOUPS 28511 WITH SCORE 28552.316
AT ITER 3185 NEW BEST:: SOT 117394 SOS 41302 HAS SOPS 41302 HAS SOUS 28497 HAS SOUPS 28497 WITH SCORE 28538.302
AT ITER 3214 NEW BEST:: SOT 117373 SOS 41283 HAS SOPS 41283 HAS SOUS 28496 HAS SOUPS 28496 WITH SCORE 28537.283
AT ITER 3229 NEW BEST:: SOT 117374 SOS 41284 HAS SOPS 41284 HAS SOUS 28480 HAS SOUPS 28480 WITH SCORE 28521.284
AT ITER 3250 NEW BEST:: SOT 117320 SOS 41230 HAS SOPS 41230 HAS SOUS 28426 HAS SOUPS 28426 WITH SCORE 28467.23
AT ITER 3252 NEW BEST:: SOT 117318 SOS 41227 HAS SOPS 41227 HAS SOUS 28424 HAS SOUPS 28424 WITH SCORE 28465.227
AT ITER 3257 NEW BEST:: SOT 117335 SOS 41217 HAS SOPS 41217 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28462.217
AT ITER 3259 NEW BEST:: SOT 117335 SOS 41182 HAS SOPS 41182 HAS SOUS 28421 HAS SOUPS 28421 WITH SCORE 28462.182
AT ITER 3260 NEW BEST:: SOT 117325 SOS 41157 HAS SOPS 41157 HAS SOUS 28401 HAS SOUPS 28401 WITH SCORE 28442.157
AT ITER 3281 NEW BEST:: SOT 117340 SOS 41146 HAS SOPS 41146 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28433.146
AT ITER 3289 NEW BEST:: SOT 117340 SOS 41145 HAS SOPS 41145 HAS SOUS 28392 HAS SOUPS 28392 WITH SCORE 28433.145
AT ITER 3292 NEW BEST:: SOT 117335 SOS 41140 HAS SOPS 41140 HAS SOUS 28382 HAS SOUPS 28382 WITH SCORE 28423.14
AT ITER 3334 NEW BEST:: SOT 117295 SOS 41093 HAS SOPS 41093 HAS SOUS 28342 HAS SOUPS 28342 WITH SCORE 28383.093
AT ITER 3337 NEW BEST:: SOT 117313 SOS 41178 HAS SOPS 41178 HAS SOUS 28311 HAS SOUPS 28311 WITH SCORE 28352.178
AT ITER 3348 NEW BEST:: SOT 117296 SOS 41144 HAS SOPS 41144 HAS SOUS 28301 HAS SOUPS 28301 WITH SCORE 28342.144
AT ITER 3356 NEW BEST:: SOT 117187 SOS 40975 HAS SOPS 40975 HAS SOUS 28192 HAS SOUPS 28192 WITH SCORE 28232.975
AT ITER 3357 NEW BEST:: SOT 117176 SOS 40975 HAS SOPS 40975 HAS SOUS 28178 HAS SOUPS 28178 WITH SCORE 28218.975
AT ITER 3358 NEW BEST:: SOT 117176 SOS 40914 HAS SOPS 40914 HAS SOUS 28178 HAS SOUPS 28178 WITH SCORE 28218.914
AT ITER 3360 NEW BEST:: SOT 117121 SOS 40748 HAS SOPS 40748 HAS SOUS 27987 HAS SOUPS 27987 WITH SCORE 28027.748
AT ITER 3373 NEW BEST:: SOT 117111 SOS 40707 HAS SOPS 40707 HAS SOUS 27958 HAS SOUPS 27958 WITH SCORE 27998.707
AT ITER 3404 NEW BEST:: SOT 117111 SOS 40701 HAS SOPS 40701 HAS SOUS 27958 HAS SOUPS 27958 WITH SCORE 27998.701
AT ITER 3411 NEW BEST:: SOT 117119 SOS 40717 HAS SOPS 40717 HAS SOUS 27956 HAS SOUPS 27956 WITH SCORE 27996.717
AT ITER 3422 NEW BEST:: SOT 117154 SOS 40702 HAS SOPS 40702 HAS SOUS 27946 HAS SOUPS 27946 WITH SCORE 27986.702
AT ITER 3521 NEW BEST:: SOT 117142 SOS 40684 HAS SOPS 40684 HAS SOUS 27928 HAS SOUPS 27928 WITH SCORE 27968.684
AT ITER 3526 NEW BEST:: SOT 117141 SOS 40627 HAS SOPS 40627 HAS SOUS 27893 HAS SOUPS 27893 WITH SCORE 27933.627
AT ITER 3566 NEW BEST:: SOT 117135 SOS 40632 HAS SOPS 40632 HAS SOUS 27881 HAS SOUPS 27881 WITH SCORE 27921.632
AT ITER 3568 NEW BEST:: SOT 117127 SOS 40622 HAS SOPS 40622 HAS SOUS 27871 HAS SOUPS 27871 WITH SCORE 27911.622
AT ITER 3592 NEW BEST:: SOT 117116 SOS 40611 HAS SOPS 40611 HAS SOUS 27849 HAS SOUPS 27849 WITH SCORE 27889.611
AT ITER 3611 NEW BEST:: SOT 117110 SOS 40609 HAS SOPS 40609 HAS SOUS 27847 HAS SOUPS 27847 WITH SCORE 27887.609
AT ITER 3621 NEW BEST:: SOT 117091 SOS 40571 HAS SOPS 40571 HAS SOUS 27809 HAS SOUPS 27809 WITH SCORE 27849.571
AT ITER 3622 NEW BEST:: SOT 117085 SOS 40565 HAS SOPS 40565 HAS SOUS 27803 HAS SOUPS 27803 WITH SCORE 27843.565
AT ITER 3660 NEW BEST:: SOT 117085 SOS 40565 HAS SOPS 40565 HAS SOUS 27790 HAS SOUPS 27790 WITH SCORE 27830.565
AT ITER 3678 NEW BEST:: SOT 117085 SOS 40550 HAS SOPS 40550 HAS SOUS 27790 HAS SOUPS 27790 WITH SCORE 27830.55
AT ITER 3690 NEW BEST:: SOT 117065 SOS 40510 HAS SOPS 40510 HAS SOUS 27779 HAS SOUPS 27779 WITH SCORE 27819.51
AT ITER 3692 NEW BEST:: SOT 117047 SOS 40456 HAS SOPS 40456 HAS SOUS 27761 HAS SOUPS 27761 WITH SCORE 27801.456
AT ITER 3693 NEW BEST:: SOT 117045 SOS 40454 HAS SOPS 40454 HAS SOUS 27761 HAS SOUPS 27761 WITH SCORE 27801.454
AT ITER 3727 NEW BEST:: SOT 117047 SOS 40446 HAS SOPS 40446 HAS SOUS 27753 HAS SOUPS 27753 WITH SCORE 27793.446
AT ITER 3740 NEW BEST:: SOT 117034 SOS 40443 HAS SOPS 40443 HAS SOUS 27726 HAS SOUPS 27726 WITH SCORE 27766.443
AT ITER 3752 NEW BEST:: SOT 117030 SOS 40435 HAS SOPS 40435 HAS SOUS 27718 HAS SOUPS 27718 WITH SCORE 27758.435
AT ITER 3757 NEW BEST:: SOT 117030 SOS 40457 HAS SOPS 40457 HAS SOUS 27714 HAS SOUPS 27714 WITH SCORE 27754.457
AT ITER 3758 NEW BEST:: SOT 117041 SOS 40479 HAS SOPS 40479 HAS SOUS 27676 HAS SOUPS 27676 WITH SCORE 27716.479
AT ITER 3768 NEW BEST:: SOT 117031 SOS 40443 HAS SOPS 40443 HAS SOUS 27623 HAS SOUPS 27623 WITH SCORE 27663.443
AT ITER 3769 NEW BEST:: SOT 116990 SOS 40373 HAS SOPS 40373 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27581.373
AT ITER 3774 NEW BEST:: SOT 117022 SOS 40366 HAS SOPS 40366 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27581.366
AT ITER 3775 NEW BEST:: SOT 117015 SOS 40359 HAS SOPS 40359 HAS SOUS 27541 HAS SOUPS 27541 WITH SCORE 27581.359
AT ITER 3836 NEW BEST:: SOT 117026 SOS 40345 HAS SOPS 40345 HAS SOUS 27527 HAS SOUPS 27527 WITH SCORE 27567.345
AT ITER 3841 NEW BEST:: SOT 117024 SOS 40341 HAS SOPS 40341 HAS SOUS 27523 HAS SOUPS 27523 WITH SCORE 27563.341
AT ITER 3867 NEW BEST:: SOT 116997 SOS 40287 HAS SOPS 40287 HAS SOUS 27428 HAS SOUPS 27428 WITH SCORE 27468.287
AT ITER 3869 NEW BEST:: SOT 116963 SOS 40287 HAS SOPS 40287 HAS SOUS 27419 HAS SOUPS 27419 WITH SCORE 27459.287
AT ITER 3884 NEW BEST:: SOT 116983 SOS 40257 HAS SOPS 40257 HAS SOUS 27419 HAS SOUPS 27419 WITH SCORE 27459.257
AT ITER 3886 NEW BEST:: SOT 116975 SOS 40241 HAS SOPS 40241 HAS SOUS 27403 HAS SOUPS 27403 WITH SCORE 27443.241
AT ITER 3887 NEW BEST:: SOT 116975 SOS 40241 HAS SOPS 40241 HAS SOUS 27399 HAS SOUPS 27399 WITH SCORE 27439.241
AT ITER 3909 NEW BEST:: SOT 116998 SOS 40140 HAS SOPS 40140 HAS SOUS 27255 HAS SOUPS 27255 WITH SCORE 27295.14
AT ITER 3915 NEW BEST:: SOT 116984 SOS 40112 HAS SOPS 40112 HAS SOUS 27227 HAS SOUPS 27227 WITH SCORE 27267.112
AT ITER 3960 NEW BEST:: SOT 116972 SOS 40088 HAS SOPS 40088 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27249.088
AT ITER 3970 NEW BEST:: SOT 116963 SOS 40088 HAS SOPS 40088 HAS SOUS 27200 HAS SOUPS 27200 WITH SCORE 27240.088
AT ITER 3975 NEW BEST:: SOT 116925 SOS 40031 HAS SOPS 40031 HAS SOUS 27143 HAS SOUPS 27143 WITH SCORE 27183.031
AT ITER 4009 NEW BEST:: SOT 116925 SOS 39998 HAS SOPS 39998 HAS SOUS 27143 HAS SOUPS 27143 WITH SCORE 27182.998
AT ITER 4014 NEW BEST:: SOT 116925 SOS 39993 HAS SOPS 39993 HAS SOUS 27143 HAS SOUPS 27143 WITH SCORE 27182.993
AT ITER 4016 NEW BEST:: SOT 116918 SOS 39979 HAS SOPS 39979 HAS SOUS 27136 HAS SOUPS 27136 WITH SCORE 27175.979
AT ITER 4040 NEW BEST:: SOT 116918 SOS 39983 HAS SOPS 39983 HAS SOUS 27132 HAS SOUPS 27132 WITH SCORE 27171.983
AT ITER 4050 NEW BEST:: SOT 116877 SOS 39930 HAS SOPS 39930 HAS SOUS 27079 HAS SOUPS 27079 WITH SCORE 27118.93
AT ITER 4053 NEW BEST:: SOT 116869 SOS 39914 HAS SOPS 39914 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27102.914
AT ITER 4063 NEW BEST:: SOT 116814 SOS 39859 HAS SOPS 39859 HAS SOUS 26953 HAS SOUPS 26953 WITH SCORE 26992.859
AT ITER 4070 NEW BEST:: SOT 116797 SOS 39825 HAS SOPS 39825 HAS SOUS 26919 HAS SOUPS 26919 WITH SCORE 26958.825
AT ITER 4091 NEW BEST:: SOT 116785 SOS 39801 HAS SOPS 39801 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26934.801
AT ITER 4104 NEW BEST:: SOT 116785 SOS 39774 HAS SOPS 39774 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26934.774
AT ITER 4120 NEW BEST:: SOT 116756 SOS 39745 HAS SOPS 39745 HAS SOUS 26895 HAS SOUPS 26895 WITH SCORE 26934.745
AT ITER 4129 NEW BEST:: SOT 116726 SOS 39700 HAS SOPS 39700 HAS SOUS 26850 HAS SOUPS 26850 WITH SCORE 26889.7
AT ITER 4152 NEW BEST:: SOT 116735 SOS 39684 HAS SOPS 39684 HAS SOUS 26843 HAS SOUPS 26843 WITH SCORE 26882.684
AT ITER 4188 NEW BEST:: SOT 116740 SOS 39680 HAS SOPS 39680 HAS SOUS 26839 HAS SOUPS 26839 WITH SCORE 26878.68
AT ITER 4252 NEW BEST:: SOT 116728 SOS 39687 HAS SOPS 39687 HAS SOUS 26827 HAS SOUPS 26827 WITH SCORE 26866.687
AT ITER 4262 NEW BEST:: SOT 116690 SOS 39635 HAS SOPS 39635 HAS SOUS 26783 HAS SOUPS 26783 WITH SCORE 26822.635
AT ITER 4298 NEW BEST:: SOT 116683 SOS 39635 HAS SOPS 39635 HAS SOUS 26782 HAS SOUPS 26782 WITH SCORE 26821.635
AT ITER 4314 NEW BEST:: SOT 116683 SOS 39629 HAS SOPS 39629 HAS SOUS 26776 HAS SOUPS 26776 WITH SCORE 26815.629
AT ITER 4349 NEW BEST:: SOT 116679 SOS 39621 HAS SOPS 39621 HAS SOUS 26772 HAS SOUPS 26772 WITH SCORE 26811.621
AT ITER 4352 NEW BEST:: SOT 116665 SOS 39605 HAS SOPS 39605 HAS SOUS 26744 HAS SOUPS 26744 WITH SCORE 26783.605
AT ITER 4383 NEW BEST:: SOT 116664 SOS 39603 HAS SOPS 39603 HAS SOUS 26742 HAS SOUPS 26742 WITH SCORE 26781.603
AT ITER 4395 NEW BEST:: SOT 116626 SOS 39565 HAS SOPS 39565 HAS SOUS 26737 HAS SOUPS 26737 WITH SCORE 26776.565
AT ITER 4467 NEW BEST:: SOT 116621 SOS 39555 HAS SOPS 39555 HAS SOUS 26722 HAS SOUPS 26722 WITH SCORE 26761.555
AT ITER 4468 NEW BEST:: SOT 116606 SOS 39525 HAS SOPS 39525 HAS SOUS 26705 HAS SOUPS 26705 WITH SCORE 26744.525
AT ITER 4470 NEW BEST:: SOT 116606 SOS 39525 HAS SOPS 39525 HAS SOUS 26689 HAS SOUPS 26689 WITH SCORE 26728.525
AT ITER 4484 NEW BEST:: SOT 116561 SOS 39496 HAS SOPS 39496 HAS SOUS 26660 HAS SOUPS 26660 WITH SCORE 26699.496
AT ITER 4491 NEW BEST:: SOT 116509 SOS 40023 HAS SOPS 40023 HAS SOUS 26629 HAS SOUPS 26629 WITH SCORE 26669.023
AT ITER 4494 NEW BEST:: SOT 116493 SOS 39918 HAS SOPS 39918 HAS SOUS 26537 HAS SOUPS 26537 WITH SCORE 26576.918
AT ITER 4534 NEW BEST:: SOT 116490 SOS 39901 HAS SOPS 39901 HAS SOUS 26530 HAS SOUPS 26530 WITH SCORE 26569.901
AT ITER 4571 NEW BEST:: SOT 116441 SOS 39828 HAS SOPS 39828 HAS SOUS 26476 HAS SOUPS 26476 WITH SCORE 26515.828
AT ITER 4577 NEW BEST:: SOT 116442 SOS 39830 HAS SOPS 39830 HAS SOUS 26474 HAS SOUPS 26474 WITH SCORE 26513.83
AT ITER 4578 NEW BEST:: SOT 116342 SOS 39705 HAS SOPS 39705 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26416.705
AT ITER 4603 NEW BEST:: SOT 116316 SOS 39696 HAS SOPS 39696 HAS SOUS 26374 HAS SOUPS 26374 WITH SCORE 26413.696
AT ITER 4610 NEW BEST:: SOT 116306 SOS 39837 HAS SOPS 39837 HAS SOUS 26354 HAS SOUPS 26354 WITH SCORE 26393.837
AT ITER 4668 NEW BEST:: SOT 116305 SOS 39836 HAS SOPS 39836 HAS SOUS 26352 HAS SOUPS 26352 WITH SCORE 26391.836
AT ITER 4673 NEW BEST:: SOT 116289 SOS 39861 HAS SOPS 39861 HAS SOUS 26337 HAS SOUPS 26337 WITH SCORE 26376.861
AT ITER 4676 NEW BEST:: SOT 116289 SOS 39828 HAS SOPS 39828 HAS SOUS 26337 HAS SOUPS 26337 WITH SCORE 26376.828
AT ITER 4684 NEW BEST:: SOT 116262 SOS 39768 HAS SOPS 39768 HAS SOUS 26318 HAS SOUPS 26318 WITH SCORE 26357.768
AT ITER 4691 NEW BEST:: SOT 116192 SOS 39674 HAS SOPS 39674 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26276.674
AT ITER 4728 NEW BEST:: SOT 116161 SOS 39663 HAS SOPS 39663 HAS SOUS 26237 HAS SOUPS 26237 WITH SCORE 26276.663
AT ITER 4729 NEW BEST:: SOT 116170 SOS 39706 HAS SOPS 39706 HAS SOUS 26230 HAS SOUPS 26230 WITH SCORE 26269.706
AT ITER 4735 NEW BEST:: SOT 116147 SOS 39723 HAS SOPS 39723 HAS SOUS 26194 HAS SOUPS 26194 WITH SCORE 26233.723
AT ITER 4749 NEW BEST:: SOT 116142 SOS 39712 HAS SOPS 39712 HAS SOUS 26187 HAS SOUPS 26187 WITH SCORE 26226.712
AT ITER 4754 NEW BEST:: SOT 116132 SOS 39724 HAS SOPS 39724 HAS SOUS 26180 HAS SOUPS 26180 WITH SCORE 26219.724
AT ITER 4769 NEW BEST:: SOT 116131 SOS 39723 HAS SOPS 39723 HAS SOUS 26180 HAS SOUPS 26180 WITH SCORE 26219.723
AT ITER 4771 NEW BEST:: SOT 116122 SOS 39714 HAS SOPS 39714 HAS SOUS 26171 HAS SOUPS 26171 WITH SCORE 26210.714
AT ITER 4805 NEW BEST:: SOT 116106 SOS 39682 HAS SOPS 39682 HAS SOUS 26085 HAS SOUPS 26085 WITH SCORE 26124.682
AT ITER 4807 NEW BEST:: SOT 116111 SOS 39687 HAS SOPS 39687 HAS SOUS 26081 HAS SOUPS 26081 WITH SCORE 26120.687
AT ITER 4828 NEW BEST:: SOT 116083 SOS 39659 HAS SOPS 39659 HAS SOUS 26070 HAS SOUPS 26070 WITH SCORE 26109.659
AT ITER 4866 NEW BEST:: SOT 116045 SOS 39621 HAS SOPS 39621 HAS SOUS 26032 HAS SOUPS 26032 WITH SCORE 26071.621
AT ITER 4873 NEW BEST:: SOT 116044 SOS 39620 HAS SOPS 39620 HAS SOUS 26031 HAS SOUPS 26031 WITH SCORE 26070.62
AT ITER 4875 NEW BEST:: SOT 116075 SOS 39651 HAS SOPS 39651 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26030.651
AT ITER 4878 NEW BEST:: SOT 116075 SOS 39644 HAS SOPS 39644 HAS SOUS 25991 HAS SOUPS 25991 WITH SCORE 26030.644
AT ITER 4881 NEW BEST:: SOT 116070 SOS 39629 HAS SOPS 39629 HAS SOUS 25982 HAS SOUPS 25982 WITH SCORE 26021.629
AT ITER 4905 NEW BEST:: SOT 116070 SOS 39609 HAS SOPS 39609 HAS SOUS 25982 HAS SOUPS 25982 WITH SCORE 26021.609
AT ITER 4956 NEW BEST:: SOT 116061 SOS 39646 HAS SOPS 39646 HAS SOUS 25979 HAS SOUPS 25979 WITH SCORE 26018.646
AT ITER 4972 NEW BEST:: SOT 116044 SOS 39645 HAS SOPS 39645 HAS SOUS 25978 HAS SOUPS 25978 WITH SCORE 26017.645
AT ITER 4978 NEW BEST:: SOT 116041 SOS 39642 HAS SOPS 39642 HAS SOUS 25975 HAS SOUPS 25975 WITH SCORE 26014.642
AT ITER 4999 NEW BEST:: SOT 115997 SOS 39554 HAS SOPS 39554 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 25964.554
Bounds file is: CTLFireability.xml
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-00 (EG( ( ((potential((tk(P341)>=1)))) | (! ((potential((tk(P349)>=1))))) )))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-01 ( (! (EU( (! ((potential((tk(P214)>=1))))) , ((potential((tk(P407)>=1) & (tk(P428)>=1)))) ))) & (! (EX( (AG( ((potential((tk(P341)>=1))))))))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-02 ( ( ((potential((tk(P404)>=1) & (tk(P435)>=1)))) | (EF( ( ((potential((tk(P415)>=1) & (tk(P435)>=1)))) | ((potential((tk(P81)>=1)))) ))) ) | ((potential((tk(P375)>=1) & (tk(P435)>=1)))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-03 (EG( (EF( (AG( ((potential((tk(P367)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-04 (! ( (AG( (AF( ((potential((tk(P2)>=1)))))))) & (EF( (EX( ((potential((tk(P118)>=1) & (tk(P435)>=1)))))))) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-05 ( ( ((potential((tk(P385)>=1)))) & ((potential((tk(P373)>=1) & (tk(P428)>=1)))) ) | (! (AF( ( (! ((potential((tk(P297)>=1))))) & ((potential((tk(P228)>=1)))) )))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-06 (AU( (! (EX( ((potential((tk(P196)>=1))))))) , (AF( ( ((potential((tk(P62)>=1)))) | ((potential((tk(P228)>=1)))) ))) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-07 (AF( (EG( ( ((potential((tk(P426)>=1)))) & (! ((potential((tk(P436)>=1))))) )))))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-08 ( (! (EF( (EX( ((potential((tk(P181)>=1))))))))) | ( (EG( ( (! ((potential((tk(P373)>=1) & (tk(P428)>=1))))) | ( ((potential((tk(P258)>=1) & (tk(P428)>=1)))) & ((potential((tk(P404)>=1) & (tk(P435)>=1)))) ) ))) | (AF( ((potential((tk(P329)>=1)))))) ) )
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-09 (! ( (EF( ( ( ((potential((tk(P92)>=1)))) | ((potential((tk(P65)>=1)))) ) & (! ((potential((tk(P78)>=1) & (tk(P435)>=1))))) ))) & (! ((potential((tk(P78)>=1) & (tk(P435)>=1))))) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-10 (! ( (AU( (! ((potential((tk(P349)>=1))))) , ( ((potential((tk(P429)>=1)))) | ((potential((tk(P107)>=1) & (tk(P435)>=1)))) ) )) & (EF( (AF( ((potential((tk(P401)>=1)))))))) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-11 ( (AU( ( ( ((potential((tk(P345)>=1)))) | ((potential((tk(P269)>=1) & (tk(P435)>=1)))) ) | ((potential((tk(P356)>=1)))) ) , (AF( ((potential((tk(P309)>=1)))))) )) | (AX( (AF( ( ((potential((tk(P27)>=1)))) & ((potential((tk(P412)>=1)))) ))))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-12 (AG( ( (! ((potential((tk(P213)>=1) & (tk(P435)>=1))))) | ((potential((tk(P405)>=1)))) )))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-13 (EU( (AF( ( ((potential((tk(P223)>=1)))) & ((potential((tk(P235)>=1)))) ))) , (! (AF( ((potential((tk(P333)>=1) & (tk(P428)>=1))))))) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-14 (EX( (AF( (EF( ((potential((tk(P226)>=1) & (tk(P435)>=1))))))))))
PROPERTY: DiscoveryGPU-PT-15b-CTLFireability-15 (AX( ( (! (EG( ((potential((tk(P315)>=1))))))) & (! (AF( ((potential((tk(P161)>=1) & (tk(P435)>=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-15b"
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-15b, 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-158922807900740"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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