Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972400284.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-06b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972400284
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 328K
-rw-r--r-- 1 mcc users 3.7K Apr 4 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 06:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 20:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 20:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 3 13:16 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 3 13:16 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 141K 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 FlexibleBarrier-PT-06b-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-06b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589398532108

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 06b
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: 542 places, 621 transitions, 1533 arcs.
AT ITER 0 NEW BEST:: SOT 214397 SOS 97670 HAS SOPS 97670 HAS SOUS 78263 HAS SOUPS 78263 WITH SCORE 78360.67
AT ITER 4 NEW BEST:: SOT 214369 SOS 97430 HAS SOPS 97430 HAS SOUS 78259 HAS SOUPS 78259 WITH SCORE 78356.43
AT ITER 8 NEW BEST:: SOT 214204 SOS 97285 HAS SOPS 97285 HAS SOUS 78104 HAS SOUPS 78104 WITH SCORE 78201.285
AT ITER 14 NEW BEST:: SOT 214200 SOS 97249 HAS SOPS 97249 HAS SOUS 78096 HAS SOUPS 78096 WITH SCORE 78193.249
AT ITER 16 NEW BEST:: SOT 214095 SOS 97260 HAS SOPS 97260 HAS SOUS 78017 HAS SOUPS 78017 WITH SCORE 78114.26
AT ITER 20 NEW BEST:: SOT 213974 SOS 96782 HAS SOPS 96782 HAS SOUS 77896 HAS SOUPS 77896 WITH SCORE 77992.782
AT ITER 25 NEW BEST:: SOT 213212 SOS 98858 HAS SOPS 98858 HAS SOUS 77686 HAS SOUPS 77686 WITH SCORE 77784.858
AT ITER 34 NEW BEST:: SOT 213212 SOS 98616 HAS SOPS 98616 HAS SOUS 77540 HAS SOUPS 77540 WITH SCORE 77638.616
AT ITER 44 NEW BEST:: SOT 213329 SOS 97900 HAS SOPS 97900 HAS SOUS 77357 HAS SOUPS 77357 WITH SCORE 77454.9
AT ITER 46 NEW BEST:: SOT 213310 SOS 97862 HAS SOPS 97862 HAS SOUS 77319 HAS SOUPS 77319 WITH SCORE 77416.862
AT ITER 59 NEW BEST:: SOT 213303 SOS 97879 HAS SOPS 97879 HAS SOUS 77312 HAS SOUPS 77312 WITH SCORE 77409.879
AT ITER 66 NEW BEST:: SOT 212084 SOS 103252 HAS SOPS 103252 HAS SOUS 76618 HAS SOUPS 76618 WITH SCORE 76721.252
AT ITER 75 NEW BEST:: SOT 211907 SOS 102721 HAS SOPS 102721 HAS SOUS 76091 HAS SOUPS 76091 WITH SCORE 76193.721
AT ITER 76 NEW BEST:: SOT 211870 SOS 102647 HAS SOPS 102647 HAS SOUS 76054 HAS SOUPS 76054 WITH SCORE 76156.647
AT ITER 82 NEW BEST:: SOT 211891 SOS 102398 HAS SOPS 102398 HAS SOUS 76030 HAS SOUPS 76030 WITH SCORE 76132.398
AT ITER 92 NEW BEST:: SOT 210440 SOS 102196 HAS SOPS 102196 HAS SOUS 74781 HAS SOUPS 74781 WITH SCORE 74883.196
AT ITER 93 NEW BEST:: SOT 210440 SOS 102187 HAS SOPS 102187 HAS SOUS 74772 HAS SOUPS 74772 WITH SCORE 74874.187
AT ITER 97 NEW BEST:: SOT 210437 SOS 102178 HAS SOPS 102178 HAS SOUS 74766 HAS SOUPS 74766 WITH SCORE 74868.178
AT ITER 100 NEW BEST:: SOT 210437 SOS 102178 HAS SOPS 102178 HAS SOUS 74696 HAS SOUPS 74696 WITH SCORE 74798.178
AT ITER 102 NEW BEST:: SOT 210353 SOS 101842 HAS SOPS 101842 HAS SOUS 74546 HAS SOUPS 74546 WITH SCORE 74647.842
AT ITER 107 NEW BEST:: SOT 210353 SOS 101590 HAS SOPS 101590 HAS SOUS 74383 HAS SOUPS 74383 WITH SCORE 74484.59
AT ITER 116 NEW BEST:: SOT 210384 SOS 101298 HAS SOPS 101298 HAS SOUS 74269 HAS SOUPS 74269 WITH SCORE 74370.298
AT ITER 117 NEW BEST:: SOT 210220 SOS 101304 HAS SOPS 101304 HAS SOUS 74185 HAS SOUPS 74185 WITH SCORE 74286.304
AT ITER 120 NEW BEST:: SOT 210349 SOS 101126 HAS SOPS 101126 HAS SOUS 74154 HAS SOUPS 74154 WITH SCORE 74255.126
AT ITER 122 NEW BEST:: SOT 208907 SOS 101622 HAS SOPS 101622 HAS SOUS 72994 HAS SOUPS 72994 WITH SCORE 73095.622
AT ITER 126 NEW BEST:: SOT 208891 SOS 101534 HAS SOPS 101534 HAS SOUS 72978 HAS SOUPS 72978 WITH SCORE 73079.534
AT ITER 132 NEW BEST:: SOT 208829 SOS 101348 HAS SOPS 101348 HAS SOUS 72792 HAS SOUPS 72792 WITH SCORE 72893.348
AT ITER 134 NEW BEST:: SOT 208830 SOS 101185 HAS SOPS 101185 HAS SOUS 72508 HAS SOUPS 72508 WITH SCORE 72609.185
AT ITER 135 NEW BEST:: SOT 208737 SOS 100999 HAS SOPS 100999 HAS SOUS 72343 HAS SOUPS 72343 WITH SCORE 72443.999
AT ITER 138 NEW BEST:: SOT 208737 SOS 100999 HAS SOPS 100999 HAS SOUS 72342 HAS SOUPS 72342 WITH SCORE 72442.999
AT ITER 142 NEW BEST:: SOT 208634 SOS 97806 HAS SOPS 97806 HAS SOUS 72033 HAS SOUPS 72033 WITH SCORE 72130.806
AT ITER 146 NEW BEST:: SOT 208634 SOS 97806 HAS SOPS 97806 HAS SOUS 72032 HAS SOUPS 72032 WITH SCORE 72129.806
AT ITER 150 NEW BEST:: SOT 208461 SOS 97507 HAS SOPS 97507 HAS SOUS 71733 HAS SOUPS 71733 WITH SCORE 71830.507
AT ITER 151 NEW BEST:: SOT 208428 SOS 97375 HAS SOPS 97375 HAS SOUS 71667 HAS SOUPS 71667 WITH SCORE 71764.375
AT ITER 158 NEW BEST:: SOT 208420 SOS 97471 HAS SOPS 97471 HAS SOUS 71629 HAS SOUPS 71629 WITH SCORE 71726.471
AT ITER 159 NEW BEST:: SOT 208364 SOS 97387 HAS SOPS 97387 HAS SOUS 71573 HAS SOUPS 71573 WITH SCORE 71670.387
AT ITER 162 NEW BEST:: SOT 208278 SOS 97258 HAS SOPS 97258 HAS SOUS 71485 HAS SOUPS 71485 WITH SCORE 71582.258
AT ITER 163 NEW BEST:: SOT 208318 SOS 96968 HAS SOPS 96968 HAS SOUS 71452 HAS SOUPS 71452 WITH SCORE 71548.968
AT ITER 166 NEW BEST:: SOT 208265 SOS 96809 HAS SOPS 96809 HAS SOUS 71346 HAS SOUPS 71346 WITH SCORE 71442.809
AT ITER 168 NEW BEST:: SOT 208351 SOS 96858 HAS SOPS 96858 HAS SOUS 71272 HAS SOUPS 71272 WITH SCORE 71368.858
AT ITER 198 NEW BEST:: SOT 208465 SOS 96590 HAS SOPS 96590 HAS SOUS 71096 HAS SOUPS 71096 WITH SCORE 71192.59
AT ITER 199 NEW BEST:: SOT 208419 SOS 96544 HAS SOPS 96544 HAS SOUS 71076 HAS SOUPS 71076 WITH SCORE 71172.544
AT ITER 200 NEW BEST:: SOT 208416 SOS 96302 HAS SOPS 96302 HAS SOUS 70919 HAS SOUPS 70919 WITH SCORE 71015.302
AT ITER 206 NEW BEST:: SOT 208463 SOS 96270 HAS SOPS 96270 HAS SOUS 70617 HAS SOUPS 70617 WITH SCORE 70713.27
AT ITER 207 NEW BEST:: SOT 208463 SOS 96213 HAS SOPS 96213 HAS SOUS 70539 HAS SOUPS 70539 WITH SCORE 70635.213
AT ITER 211 NEW BEST:: SOT 207381 SOS 95281 HAS SOPS 95281 HAS SOUS 69556 HAS SOUPS 69556 WITH SCORE 69651.281
AT ITER 215 NEW BEST:: SOT 207381 SOS 95251 HAS SOPS 95251 HAS SOUS 69556 HAS SOUPS 69556 WITH SCORE 69651.251
AT ITER 221 NEW BEST:: SOT 207326 SOS 95141 HAS SOPS 95141 HAS SOUS 69446 HAS SOUPS 69446 WITH SCORE 69541.141
AT ITER 226 NEW BEST:: SOT 207265 SOS 94958 HAS SOPS 94958 HAS SOUS 69359 HAS SOUPS 69359 WITH SCORE 69453.958
AT ITER 231 NEW BEST:: SOT 207046 SOS 94739 HAS SOPS 94739 HAS SOUS 69357 HAS SOUPS 69357 WITH SCORE 69451.739
AT ITER 235 NEW BEST:: SOT 207046 SOS 94702 HAS SOPS 94702 HAS SOUS 69357 HAS SOUPS 69357 WITH SCORE 69451.702
AT ITER 237 NEW BEST:: SOT 207296 SOS 94948 HAS SOPS 94948 HAS SOUS 69350 HAS SOUPS 69350 WITH SCORE 69444.948
AT ITER 238 NEW BEST:: SOT 207295 SOS 94813 HAS SOPS 94813 HAS SOUS 69346 HAS SOUPS 69346 WITH SCORE 69440.813
AT ITER 248 NEW BEST:: SOT 207421 SOS 95065 HAS SOPS 95065 HAS SOUS 69289 HAS SOUPS 69289 WITH SCORE 69384.065
AT ITER 252 NEW BEST:: SOT 206416 SOS 95825 HAS SOPS 95825 HAS SOUS 68676 HAS SOUPS 68676 WITH SCORE 68771.825
AT ITER 258 NEW BEST:: SOT 206416 SOS 95825 HAS SOPS 95825 HAS SOUS 68623 HAS SOUPS 68623 WITH SCORE 68718.825
AT ITER 259 NEW BEST:: SOT 206413 SOS 95822 HAS SOPS 95822 HAS SOUS 68617 HAS SOUPS 68617 WITH SCORE 68712.822
AT ITER 261 NEW BEST:: SOT 206327 SOS 95832 HAS SOPS 95832 HAS SOUS 68590 HAS SOUPS 68590 WITH SCORE 68685.832
AT ITER 269 NEW BEST:: SOT 206312 SOS 95787 HAS SOPS 95787 HAS SOUS 68560 HAS SOUPS 68560 WITH SCORE 68655.787
AT ITER 272 NEW BEST:: SOT 206312 SOS 95739 HAS SOPS 95739 HAS SOUS 68544 HAS SOUPS 68544 WITH SCORE 68639.739
AT ITER 276 NEW BEST:: SOT 206119 SOS 95546 HAS SOPS 95546 HAS SOUS 68475 HAS SOUPS 68475 WITH SCORE 68570.546
AT ITER 280 NEW BEST:: SOT 206119 SOS 95546 HAS SOPS 95546 HAS SOUS 68449 HAS SOUPS 68449 WITH SCORE 68544.546
AT ITER 283 NEW BEST:: SOT 206094 SOS 94557 HAS SOPS 94557 HAS SOUS 68239 HAS SOUPS 68239 WITH SCORE 68333.557
AT ITER 289 NEW BEST:: SOT 206126 SOS 94276 HAS SOPS 94276 HAS SOUS 68031 HAS SOUPS 68031 WITH SCORE 68125.276
AT ITER 303 NEW BEST:: SOT 206020 SOS 93982 HAS SOPS 93982 HAS SOUS 67737 HAS SOUPS 67737 WITH SCORE 67830.982
AT ITER 314 NEW BEST:: SOT 206020 SOS 93995 HAS SOPS 93995 HAS SOUS 67652 HAS SOUPS 67652 WITH SCORE 67745.995
AT ITER 316 NEW BEST:: SOT 206065 SOS 93772 HAS SOPS 93772 HAS SOUS 67507 HAS SOUPS 67507 WITH SCORE 67600.772
AT ITER 326 NEW BEST:: SOT 206065 SOS 93753 HAS SOPS 93753 HAS SOUS 67505 HAS SOUPS 67505 WITH SCORE 67598.753
AT ITER 337 NEW BEST:: SOT 206054 SOS 93752 HAS SOPS 93752 HAS SOUS 67466 HAS SOUPS 67466 WITH SCORE 67559.752
AT ITER 339 NEW BEST:: SOT 206053 SOS 93745 HAS SOPS 93745 HAS SOUS 67464 HAS SOUPS 67464 WITH SCORE 67557.745
AT ITER 345 NEW BEST:: SOT 206002 SOS 93699 HAS SOPS 93699 HAS SOUS 67418 HAS SOUPS 67418 WITH SCORE 67511.699
AT ITER 346 NEW BEST:: SOT 205865 SOS 93572 HAS SOPS 93572 HAS SOUS 67240 HAS SOUPS 67240 WITH SCORE 67333.572
AT ITER 361 NEW BEST:: SOT 205819 SOS 93434 HAS SOPS 93434 HAS SOUS 67102 HAS SOUPS 67102 WITH SCORE 67195.434
AT ITER 368 NEW BEST:: SOT 205819 SOS 93108 HAS SOPS 93108 HAS SOUS 67030 HAS SOUPS 67030 WITH SCORE 67123.108
AT ITER 384 NEW BEST:: SOT 205819 SOS 92989 HAS SOPS 92989 HAS SOUS 66909 HAS SOUPS 66909 WITH SCORE 67001.989
AT ITER 386 NEW BEST:: SOT 205819 SOS 92939 HAS SOPS 92939 HAS SOUS 66859 HAS SOUPS 66859 WITH SCORE 66951.939
AT ITER 391 NEW BEST:: SOT 205819 SOS 92637 HAS SOPS 92637 HAS SOUS 66708 HAS SOUPS 66708 WITH SCORE 66800.637
AT ITER 392 NEW BEST:: SOT 205801 SOS 92601 HAS SOPS 92601 HAS SOUS 66672 HAS SOUPS 66672 WITH SCORE 66764.601
AT ITER 396 NEW BEST:: SOT 203177 SOS 104325 HAS SOPS 104325 HAS SOUS 64532 HAS SOUPS 64532 WITH SCORE 64636.325
AT ITER 397 NEW BEST:: SOT 203177 SOS 104325 HAS SOPS 104325 HAS SOUS 64500 HAS SOUPS 64500 WITH SCORE 64604.325
AT ITER 398 NEW BEST:: SOT 202667 SOS 103305 HAS SOPS 103305 HAS SOUS 63735 HAS SOUPS 63735 WITH SCORE 63838.305
AT ITER 401 NEW BEST:: SOT 202699 SOS 103262 HAS SOPS 103262 HAS SOUS 63483 HAS SOUPS 63483 WITH SCORE 63586.262
AT ITER 405 NEW BEST:: SOT 200318 SOS 103707 HAS SOPS 103707 HAS SOUS 61730 HAS SOUPS 61730 WITH SCORE 61833.707
AT ITER 410 NEW BEST:: SOT 200318 SOS 103707 HAS SOPS 103707 HAS SOUS 61683 HAS SOUPS 61683 WITH SCORE 61786.707
AT ITER 419 NEW BEST:: SOT 200147 SOS 103536 HAS SOPS 103536 HAS SOUS 61604 HAS SOUPS 61604 WITH SCORE 61707.536
AT ITER 420 NEW BEST:: SOT 200158 SOS 103410 HAS SOPS 103410 HAS SOUS 61540 HAS SOUPS 61540 WITH SCORE 61643.41
AT ITER 430 NEW BEST:: SOT 200117 SOS 103369 HAS SOPS 103369 HAS SOUS 61499 HAS SOUPS 61499 WITH SCORE 61602.369
AT ITER 433 NEW BEST:: SOT 200188 SOS 103207 HAS SOPS 103207 HAS SOUS 61351 HAS SOUPS 61351 WITH SCORE 61454.207
AT ITER 435 NEW BEST:: SOT 200090 SOS 103092 HAS SOPS 103092 HAS SOUS 61242 HAS SOUPS 61242 WITH SCORE 61345.092
AT ITER 441 NEW BEST:: SOT 199954 SOS 102684 HAS SOPS 102684 HAS SOUS 61147 HAS SOUPS 61147 WITH SCORE 61249.684
AT ITER 443 NEW BEST:: SOT 199954 SOS 102631 HAS SOPS 102631 HAS SOUS 61081 HAS SOUPS 61081 WITH SCORE 61183.631
AT ITER 447 NEW BEST:: SOT 199910 SOS 102587 HAS SOPS 102587 HAS SOUS 61030 HAS SOUPS 61030 WITH SCORE 61132.587
AT ITER 449 NEW BEST:: SOT 199910 SOS 102567 HAS SOPS 102567 HAS SOUS 61030 HAS SOUPS 61030 WITH SCORE 61132.567
AT ITER 452 NEW BEST:: SOT 199910 SOS 102567 HAS SOPS 102567 HAS SOUS 61020 HAS SOUPS 61020 WITH SCORE 61122.567
AT ITER 460 NEW BEST:: SOT 199910 SOS 102535 HAS SOPS 102535 HAS SOUS 60995 HAS SOUPS 60995 WITH SCORE 61097.535
AT ITER 461 NEW BEST:: SOT 199910 SOS 102459 HAS SOPS 102459 HAS SOUS 60995 HAS SOUPS 60995 WITH SCORE 61097.459
AT ITER 462 NEW BEST:: SOT 199854 SOS 102403 HAS SOPS 102403 HAS SOUS 60939 HAS SOUPS 60939 WITH SCORE 61041.403
AT ITER 463 NEW BEST:: SOT 199854 SOS 102359 HAS SOPS 102359 HAS SOUS 60939 HAS SOUPS 60939 WITH SCORE 61041.359
AT ITER 467 NEW BEST:: SOT 199400 SOS 101905 HAS SOPS 101905 HAS SOUS 60571 HAS SOUPS 60571 WITH SCORE 60672.905
AT ITER 472 NEW BEST:: SOT 199273 SOS 101778 HAS SOPS 101778 HAS SOUS 60535 HAS SOUPS 60535 WITH SCORE 60636.778
AT ITER 476 NEW BEST:: SOT 199239 SOS 101744 HAS SOPS 101744 HAS SOUS 60501 HAS SOUPS 60501 WITH SCORE 60602.744
AT ITER 486 NEW BEST:: SOT 199025 SOS 101672 HAS SOPS 101672 HAS SOUS 60436 HAS SOUPS 60436 WITH SCORE 60537.672
AT ITER 488 NEW BEST:: SOT 199022 SOS 101642 HAS SOPS 101642 HAS SOUS 60418 HAS SOUPS 60418 WITH SCORE 60519.642
AT ITER 494 NEW BEST:: SOT 199026 SOS 101599 HAS SOPS 101599 HAS SOUS 60344 HAS SOUPS 60344 WITH SCORE 60445.599
AT ITER 495 NEW BEST:: SOT 198928 SOS 101520 HAS SOPS 101520 HAS SOUS 60284 HAS SOUPS 60284 WITH SCORE 60385.52
AT ITER 514 NEW BEST:: SOT 198844 SOS 101323 HAS SOPS 101323 HAS SOUS 60282 HAS SOUPS 60282 WITH SCORE 60383.323
AT ITER 522 NEW BEST:: SOT 198872 SOS 101301 HAS SOPS 101301 HAS SOUS 60257 HAS SOUPS 60257 WITH SCORE 60358.301
AT ITER 524 NEW BEST:: SOT 198852 SOS 101241 HAS SOPS 101241 HAS SOUS 60217 HAS SOUPS 60217 WITH SCORE 60318.241
AT ITER 533 NEW BEST:: SOT 198848 SOS 101233 HAS SOPS 101233 HAS SOUS 60209 HAS SOUPS 60209 WITH SCORE 60310.233
AT ITER 536 NEW BEST:: SOT 198750 SOS 101135 HAS SOPS 101135 HAS SOUS 59949 HAS SOUPS 59949 WITH SCORE 60050.135
AT ITER 545 NEW BEST:: SOT 198674 SOS 101016 HAS SOPS 101016 HAS SOUS 59913 HAS SOUPS 59913 WITH SCORE 60014.016
AT ITER 547 NEW BEST:: SOT 198416 SOS 100758 HAS SOPS 100758 HAS SOUS 59912 HAS SOUPS 59912 WITH SCORE 60012.758
AT ITER 548 NEW BEST:: SOT 198272 SOS 100326 HAS SOPS 100326 HAS SOUS 59624 HAS SOUPS 59624 WITH SCORE 59724.326
AT ITER 549 NEW BEST:: SOT 198258 SOS 100298 HAS SOPS 100298 HAS SOUS 59610 HAS SOUPS 59610 WITH SCORE 59710.298
AT ITER 553 NEW BEST:: SOT 198191 SOS 99953 HAS SOPS 99953 HAS SOUS 59428 HAS SOUPS 59428 WITH SCORE 59527.953
AT ITER 559 NEW BEST:: SOT 198090 SOS 99630 HAS SOPS 99630 HAS SOUS 59327 HAS SOUPS 59327 WITH SCORE 59426.63
AT ITER 561 NEW BEST:: SOT 197873 SOS 99196 HAS SOPS 99196 HAS SOUS 59036 HAS SOUPS 59036 WITH SCORE 59135.196
AT ITER 573 NEW BEST:: SOT 197864 SOS 99187 HAS SOPS 99187 HAS SOUS 58996 HAS SOUPS 58996 WITH SCORE 59095.187
AT ITER 580 NEW BEST:: SOT 197836 SOS 99182 HAS SOPS 99182 HAS SOUS 58916 HAS SOUPS 58916 WITH SCORE 59015.182
AT ITER 582 NEW BEST:: SOT 197815 SOS 99191 HAS SOPS 99191 HAS SOUS 58893 HAS SOUPS 58893 WITH SCORE 58992.191
AT ITER 592 NEW BEST:: SOT 197815 SOS 99182 HAS SOPS 99182 HAS SOUS 58847 HAS SOUPS 58847 WITH SCORE 58946.182
AT ITER 595 NEW BEST:: SOT 197713 SOS 98978 HAS SOPS 98978 HAS SOUS 58669 HAS SOUPS 58669 WITH SCORE 58767.978
AT ITER 597 NEW BEST:: SOT 197681 SOS 98914 HAS SOPS 98914 HAS SOUS 58637 HAS SOUPS 58637 WITH SCORE 58735.914
AT ITER 599 NEW BEST:: SOT 197658 SOS 98899 HAS SOPS 98899 HAS SOUS 58467 HAS SOUPS 58467 WITH SCORE 58565.899
AT ITER 603 NEW BEST:: SOT 197658 SOS 98899 HAS SOPS 98899 HAS SOUS 58400 HAS SOUPS 58400 WITH SCORE 58498.899
AT ITER 610 NEW BEST:: SOT 197658 SOS 98899 HAS SOPS 98899 HAS SOUS 58310 HAS SOUPS 58310 WITH SCORE 58408.899
AT ITER 612 NEW BEST:: SOT 197830 SOS 98873 HAS SOPS 98873 HAS SOUS 58305 HAS SOUPS 58305 WITH SCORE 58403.873
AT ITER 614 NEW BEST:: SOT 197796 SOS 98822 HAS SOPS 98822 HAS SOUS 58254 HAS SOUPS 58254 WITH SCORE 58352.822
AT ITER 615 NEW BEST:: SOT 197791 SOS 98752 HAS SOPS 98752 HAS SOUS 58249 HAS SOUPS 58249 WITH SCORE 58347.752
AT ITER 616 NEW BEST:: SOT 197688 SOS 98686 HAS SOPS 98686 HAS SOUS 58202 HAS SOUPS 58202 WITH SCORE 58300.686
AT ITER 617 NEW BEST:: SOT 197687 SOS 98684 HAS SOPS 98684 HAS SOUS 58199 HAS SOUPS 58199 WITH SCORE 58297.684
AT ITER 621 NEW BEST:: SOT 197687 SOS 98627 HAS SOPS 98627 HAS SOUS 58142 HAS SOUPS 58142 WITH SCORE 58240.627
AT ITER 624 NEW BEST:: SOT 197643 SOS 98539 HAS SOPS 98539 HAS SOUS 58054 HAS SOUPS 58054 WITH SCORE 58152.539
AT ITER 626 NEW BEST:: SOT 197231 SOS 98219 HAS SOPS 98219 HAS SOUS 57727 HAS SOUPS 57727 WITH SCORE 57825.219
AT ITER 629 NEW BEST:: SOT 197231 SOS 98059 HAS SOPS 98059 HAS SOUS 57539 HAS SOUPS 57539 WITH SCORE 57637.059
AT ITER 630 NEW BEST:: SOT 197228 SOS 98053 HAS SOPS 98053 HAS SOUS 57536 HAS SOUPS 57536 WITH SCORE 57634.053
AT ITER 634 NEW BEST:: SOT 197207 SOS 97969 HAS SOPS 97969 HAS SOUS 57494 HAS SOUPS 57494 WITH SCORE 57591.969
AT ITER 636 NEW BEST:: SOT 197201 SOS 97903 HAS SOPS 97903 HAS SOUS 57488 HAS SOUPS 57488 WITH SCORE 57585.903
AT ITER 638 NEW BEST:: SOT 197171 SOS 97751 HAS SOPS 97751 HAS SOUS 57458 HAS SOUPS 57458 WITH SCORE 57555.751
AT ITER 647 NEW BEST:: SOT 197064 SOS 97537 HAS SOPS 97537 HAS SOUS 57284 HAS SOUPS 57284 WITH SCORE 57381.537
AT ITER 649 NEW BEST:: SOT 196309 SOS 96783 HAS SOPS 96783 HAS SOUS 56548 HAS SOUPS 56548 WITH SCORE 56644.783
AT ITER 659 NEW BEST:: SOT 196161 SOS 96635 HAS SOPS 96635 HAS SOUS 56467 HAS SOUPS 56467 WITH SCORE 56563.635
AT ITER 663 NEW BEST:: SOT 196156 SOS 96625 HAS SOPS 96625 HAS SOUS 56457 HAS SOUPS 56457 WITH SCORE 56553.625
AT ITER 666 NEW BEST:: SOT 196155 SOS 96622 HAS SOPS 96622 HAS SOUS 56455 HAS SOUPS 56455 WITH SCORE 56551.622
AT ITER 667 NEW BEST:: SOT 196155 SOS 96616 HAS SOPS 96616 HAS SOUS 56455 HAS SOUPS 56455 WITH SCORE 56551.616
AT ITER 669 NEW BEST:: SOT 196119 SOS 96616 HAS SOPS 96616 HAS SOUS 56448 HAS SOUPS 56448 WITH SCORE 56544.616
AT ITER 670 NEW BEST:: SOT 196078 SOS 96575 HAS SOPS 96575 HAS SOUS 56406 HAS SOUPS 56406 WITH SCORE 56502.575
AT ITER 687 NEW BEST:: SOT 196078 SOS 96562 HAS SOPS 96562 HAS SOUS 56369 HAS SOUPS 56369 WITH SCORE 56465.562
AT ITER 689 NEW BEST:: SOT 196077 SOS 96560 HAS SOPS 96560 HAS SOUS 56367 HAS SOUPS 56367 WITH SCORE 56463.56
AT ITER 695 NEW BEST:: SOT 196054 SOS 96556 HAS SOPS 96556 HAS SOUS 56363 HAS SOUPS 56363 WITH SCORE 56459.556
AT ITER 703 NEW BEST:: SOT 196016 SOS 96548 HAS SOPS 96548 HAS SOUS 56357 HAS SOUPS 56357 WITH SCORE 56453.548
AT ITER 707 NEW BEST:: SOT 196016 SOS 96533 HAS SOPS 96533 HAS SOUS 56342 HAS SOUPS 56342 WITH SCORE 56438.533
AT ITER 711 NEW BEST:: SOT 195998 SOS 96497 HAS SOPS 96497 HAS SOUS 56316 HAS SOUPS 56316 WITH SCORE 56412.497
AT ITER 717 NEW BEST:: SOT 195974 SOS 96435 HAS SOPS 96435 HAS SOUS 56269 HAS SOUPS 56269 WITH SCORE 56365.435
AT ITER 721 NEW BEST:: SOT 195967 SOS 96421 HAS SOPS 96421 HAS SOUS 56259 HAS SOUPS 56259 WITH SCORE 56355.421
AT ITER 723 NEW BEST:: SOT 195843 SOS 96173 HAS SOPS 96173 HAS SOUS 56135 HAS SOUPS 56135 WITH SCORE 56231.173
AT ITER 726 NEW BEST:: SOT 195744 SOS 95975 HAS SOPS 95975 HAS SOUS 56051 HAS SOUPS 56051 WITH SCORE 56146.975
AT ITER 735 NEW BEST:: SOT 195673 SOS 95673 HAS SOPS 95673 HAS SOUS 55922 HAS SOUPS 55922 WITH SCORE 56017.673
AT ITER 739 NEW BEST:: SOT 195699 SOS 95456 HAS SOPS 95456 HAS SOUS 55797 HAS SOUPS 55797 WITH SCORE 55892.456
AT ITER 763 NEW BEST:: SOT 195685 SOS 95428 HAS SOPS 95428 HAS SOUS 55770 HAS SOUPS 55770 WITH SCORE 55865.428
AT ITER 769 NEW BEST:: SOT 195685 SOS 95402 HAS SOPS 95402 HAS SOUS 55770 HAS SOUPS 55770 WITH SCORE 55865.402
AT ITER 774 NEW BEST:: SOT 195642 SOS 94188 HAS SOPS 94188 HAS SOUS 55714 HAS SOUPS 55714 WITH SCORE 55808.188
AT ITER 775 NEW BEST:: SOT 195584 SOS 94072 HAS SOPS 94072 HAS SOUS 55656 HAS SOUPS 55656 WITH SCORE 55750.072
AT ITER 786 NEW BEST:: SOT 195589 SOS 93834 HAS SOPS 93834 HAS SOUS 55599 HAS SOUPS 55599 WITH SCORE 55692.834
AT ITER 788 NEW BEST:: SOT 195527 SOS 93772 HAS SOPS 93772 HAS SOUS 55595 HAS SOUPS 55595 WITH SCORE 55688.772
AT ITER 790 NEW BEST:: SOT 195569 SOS 93814 HAS SOPS 93814 HAS SOUS 55591 HAS SOUPS 55591 WITH SCORE 55684.814
AT ITER 796 NEW BEST:: SOT 195398 SOS 93135 HAS SOPS 93135 HAS SOUS 55420 HAS SOUPS 55420 WITH SCORE 55513.135
AT ITER 798 NEW BEST:: SOT 195041 SOS 92672 HAS SOPS 92672 HAS SOUS 55242 HAS SOUPS 55242 WITH SCORE 55334.672
AT ITER 814 NEW BEST:: SOT 195005 SOS 92564 HAS SOPS 92564 HAS SOUS 55170 HAS SOUPS 55170 WITH SCORE 55262.564
AT ITER 817 NEW BEST:: SOT 194957 SOS 92468 HAS SOPS 92468 HAS SOUS 55122 HAS SOUPS 55122 WITH SCORE 55214.468
AT ITER 834 NEW BEST:: SOT 194951 SOS 92456 HAS SOPS 92456 HAS SOUS 55110 HAS SOUPS 55110 WITH SCORE 55202.456
AT ITER 847 NEW BEST:: SOT 194842 SOS 92308 HAS SOPS 92308 HAS SOUS 54947 HAS SOUPS 54947 WITH SCORE 55039.308
AT ITER 854 NEW BEST:: SOT 194775 SOS 92085 HAS SOPS 92085 HAS SOUS 54776 HAS SOUPS 54776 WITH SCORE 54868.085
AT ITER 855 NEW BEST:: SOT 194751 SOS 92006 HAS SOPS 92006 HAS SOUS 54728 HAS SOUPS 54728 WITH SCORE 54820.006
AT ITER 861 NEW BEST:: SOT 194728 SOS 91753 HAS SOPS 91753 HAS SOUS 54705 HAS SOUPS 54705 WITH SCORE 54796.753
AT ITER 865 NEW BEST:: SOT 194723 SOS 91709 HAS SOPS 91709 HAS SOUS 54695 HAS SOUPS 54695 WITH SCORE 54786.709
AT ITER 867 NEW BEST:: SOT 194722 SOS 91708 HAS SOPS 91708 HAS SOUS 54681 HAS SOUPS 54681 WITH SCORE 54772.708
AT ITER 882 NEW BEST:: SOT 194663 SOS 91472 HAS SOPS 91472 HAS SOUS 54529 HAS SOUPS 54529 WITH SCORE 54620.472
AT ITER 885 NEW BEST:: SOT 194581 SOS 91390 HAS SOPS 91390 HAS SOUS 54402 HAS SOUPS 54402 WITH SCORE 54493.39
AT ITER 895 NEW BEST:: SOT 194436 SOS 91245 HAS SOPS 91245 HAS SOUS 54257 HAS SOUPS 54257 WITH SCORE 54348.245
AT ITER 896 NEW BEST:: SOT 194436 SOS 91245 HAS SOPS 91245 HAS SOUS 54199 HAS SOUPS 54199 WITH SCORE 54290.245
AT ITER 900 NEW BEST:: SOT 194556 SOS 91035 HAS SOPS 91035 HAS SOUS 54051 HAS SOUPS 54051 WITH SCORE 54142.035
AT ITER 910 NEW BEST:: SOT 194422 SOS 90767 HAS SOPS 90767 HAS SOUS 53743 HAS SOUPS 53743 WITH SCORE 53833.767
AT ITER 913 NEW BEST:: SOT 194276 SOS 90342 HAS SOPS 90342 HAS SOUS 53318 HAS SOUPS 53318 WITH SCORE 53408.342
AT ITER 917 NEW BEST:: SOT 194178 SOS 90097 HAS SOPS 90097 HAS SOUS 53171 HAS SOUPS 53171 WITH SCORE 53261.097
AT ITER 921 NEW BEST:: SOT 194165 SOS 89875 HAS SOPS 89875 HAS SOUS 53091 HAS SOUPS 53091 WITH SCORE 53180.875
AT ITER 937 NEW BEST:: SOT 194190 SOS 89900 HAS SOPS 89900 HAS SOUS 53069 HAS SOUPS 53069 WITH SCORE 53158.9
AT ITER 938 NEW BEST:: SOT 194186 SOS 89894 HAS SOPS 89894 HAS SOUS 53065 HAS SOUPS 53065 WITH SCORE 53154.894
AT ITER 942 NEW BEST:: SOT 193880 SOS 89741 HAS SOPS 89741 HAS SOUS 53036 HAS SOUPS 53036 WITH SCORE 53125.741
AT ITER 951 NEW BEST:: SOT 193898 SOS 89759 HAS SOPS 89759 HAS SOUS 52899 HAS SOUPS 52899 WITH SCORE 52988.759
AT ITER 954 NEW BEST:: SOT 193898 SOS 89759 HAS SOPS 89759 HAS SOUS 52888 HAS SOUPS 52888 WITH SCORE 52977.759
AT ITER 960 NEW BEST:: SOT 193884 SOS 89745 HAS SOPS 89745 HAS SOUS 52836 HAS SOUPS 52836 WITH SCORE 52925.745
AT ITER 961 NEW BEST:: SOT 193753 SOS 89635 HAS SOPS 89635 HAS SOUS 52781 HAS SOUPS 52781 WITH SCORE 52870.635
AT ITER 968 NEW BEST:: SOT 193699 SOS 89581 HAS SOPS 89581 HAS SOUS 52727 HAS SOUPS 52727 WITH SCORE 52816.581
AT ITER 973 NEW BEST:: SOT 193699 SOS 89581 HAS SOPS 89581 HAS SOUS 52725 HAS SOUPS 52725 WITH SCORE 52814.581
AT ITER 975 NEW BEST:: SOT 193681 SOS 89563 HAS SOPS 89563 HAS SOUS 52664 HAS SOUPS 52664 WITH SCORE 52753.563
AT ITER 985 NEW BEST:: SOT 193556 SOS 89430 HAS SOPS 89430 HAS SOUS 52539 HAS SOUPS 52539 WITH SCORE 52628.43
AT ITER 991 NEW BEST:: SOT 193556 SOS 89387 HAS SOPS 89387 HAS SOUS 52524 HAS SOUPS 52524 WITH SCORE 52613.387
AT ITER 1013 NEW BEST:: SOT 193346 SOS 89168 HAS SOPS 89168 HAS SOUS 52363 HAS SOUPS 52363 WITH SCORE 52452.168
AT ITER 1028 NEW BEST:: SOT 193346 SOS 89167 HAS SOPS 89167 HAS SOUS 52363 HAS SOUPS 52363 WITH SCORE 52452.167
AT ITER 1050 NEW BEST:: SOT 193097 SOS 88867 HAS SOPS 88867 HAS SOUS 52330 HAS SOUPS 52330 WITH SCORE 52418.867
AT ITER 1054 NEW BEST:: SOT 193097 SOS 88808 HAS SOPS 88808 HAS SOUS 52330 HAS SOUPS 52330 WITH SCORE 52418.808
AT ITER 1056 NEW BEST:: SOT 193086 SOS 88797 HAS SOPS 88797 HAS SOUS 52319 HAS SOUPS 52319 WITH SCORE 52407.797
AT ITER 1068 NEW BEST:: SOT 193024 SOS 88557 HAS SOPS 88557 HAS SOUS 52241 HAS SOUPS 52241 WITH SCORE 52329.557
AT ITER 1076 NEW BEST:: SOT 193016 SOS 88549 HAS SOPS 88549 HAS SOUS 52206 HAS SOUPS 52206 WITH SCORE 52294.549
AT ITER 1089 NEW BEST:: SOT 193016 SOS 88549 HAS SOPS 88549 HAS SOUS 52062 HAS SOUPS 52062 WITH SCORE 52150.549
AT ITER 1101 NEW BEST:: SOT 192972 SOS 88461 HAS SOPS 88461 HAS SOUS 51996 HAS SOUPS 51996 WITH SCORE 52084.461
AT ITER 1141 NEW BEST:: SOT 192972 SOS 88315 HAS SOPS 88315 HAS SOUS 51996 HAS SOUPS 51996 WITH SCORE 52084.315
AT ITER 1147 NEW BEST:: SOT 192972 SOS 88315 HAS SOPS 88315 HAS SOUS 51986 HAS SOUPS 51986 WITH SCORE 52074.315
AT ITER 1154 NEW BEST:: SOT 192838 SOS 88094 HAS SOPS 88094 HAS SOUS 51765 HAS SOUPS 51765 WITH SCORE 51853.094
AT ITER 1163 NEW BEST:: SOT 192815 SOS 88165 HAS SOPS 88165 HAS SOUS 51726 HAS SOUPS 51726 WITH SCORE 51814.165
AT ITER 1165 NEW BEST:: SOT 192822 SOS 88025 HAS SOPS 88025 HAS SOUS 51701 HAS SOUPS 51701 WITH SCORE 51789.025
AT ITER 1170 NEW BEST:: SOT 192851 SOS 87933 HAS SOPS 87933 HAS SOUS 51374 HAS SOUPS 51374 WITH SCORE 51461.933
AT ITER 1172 NEW BEST:: SOT 192837 SOS 87835 HAS SOPS 87835 HAS SOUS 51335 HAS SOUPS 51335 WITH SCORE 51422.835
AT ITER 1173 NEW BEST:: SOT 192820 SOS 87801 HAS SOPS 87801 HAS SOUS 51309 HAS SOUPS 51309 WITH SCORE 51396.801
AT ITER 1185 NEW BEST:: SOT 192802 SOS 87737 HAS SOPS 87737 HAS SOUS 51294 HAS SOUPS 51294 WITH SCORE 51381.737
AT ITER 1190 NEW BEST:: SOT 192776 SOS 87723 HAS SOPS 87723 HAS SOUS 51280 HAS SOUPS 51280 WITH SCORE 51367.723
AT ITER 1195 NEW BEST:: SOT 192476 SOS 87492 HAS SOPS 87492 HAS SOUS 51061 HAS SOUPS 51061 WITH SCORE 51148.492
AT ITER 1197 NEW BEST:: SOT 192469 SOS 87415 HAS SOPS 87415 HAS SOUS 50984 HAS SOUPS 50984 WITH SCORE 51071.415
AT ITER 1212 NEW BEST:: SOT 192481 SOS 87377 HAS SOPS 87377 HAS SOUS 50850 HAS SOUPS 50850 WITH SCORE 50937.377
AT ITER 1217 NEW BEST:: SOT 192470 SOS 87373 HAS SOPS 87373 HAS SOUS 50846 HAS SOUPS 50846 WITH SCORE 50933.373
AT ITER 1224 NEW BEST:: SOT 192470 SOS 87373 HAS SOPS 87373 HAS SOUS 50734 HAS SOUPS 50734 WITH SCORE 50821.373
AT ITER 1225 NEW BEST:: SOT 192325 SOS 87207 HAS SOPS 87207 HAS SOUS 50423 HAS SOUPS 50423 WITH SCORE 50510.207
AT ITER 1241 NEW BEST:: SOT 192325 SOS 87207 HAS SOPS 87207 HAS SOUS 50412 HAS SOUPS 50412 WITH SCORE 50499.207
AT ITER 1242 NEW BEST:: SOT 192183 SOS 87065 HAS SOPS 87065 HAS SOUS 50290 HAS SOUPS 50290 WITH SCORE 50377.065
AT ITER 1243 NEW BEST:: SOT 192183 SOS 87065 HAS SOPS 87065 HAS SOUS 50265 HAS SOUPS 50265 WITH SCORE 50352.065
AT ITER 1260 NEW BEST:: SOT 192128 SOS 86993 HAS SOPS 86993 HAS SOUS 50164 HAS SOUPS 50164 WITH SCORE 50250.993
AT ITER 1269 NEW BEST:: SOT 192165 SOS 86612 HAS SOPS 86612 HAS SOUS 50088 HAS SOUPS 50088 WITH SCORE 50174.612
AT ITER 1281 NEW BEST:: SOT 192112 SOS 86605 HAS SOPS 86605 HAS SOUS 50074 HAS SOUPS 50074 WITH SCORE 50160.605
AT ITER 1285 NEW BEST:: SOT 192112 SOS 86599 HAS SOPS 86599 HAS SOUS 50062 HAS SOUPS 50062 WITH SCORE 50148.599
AT ITER 1299 NEW BEST:: SOT 192114 SOS 86603 HAS SOPS 86603 HAS SOUS 50007 HAS SOUPS 50007 WITH SCORE 50093.603
AT ITER 1303 NEW BEST:: SOT 192083 SOS 86472 HAS SOPS 86472 HAS SOUS 49833 HAS SOUPS 49833 WITH SCORE 49919.472
AT ITER 1309 NEW BEST:: SOT 192050 SOS 86373 HAS SOPS 86373 HAS SOUS 49767 HAS SOUPS 49767 WITH SCORE 49853.373
AT ITER 1326 NEW BEST:: SOT 192012 SOS 86336 HAS SOPS 86336 HAS SOUS 49722 HAS SOUPS 49722 WITH SCORE 49808.336
AT ITER 1333 NEW BEST:: SOT 191997 SOS 86306 HAS SOPS 86306 HAS SOUS 49692 HAS SOUPS 49692 WITH SCORE 49778.306
AT ITER 1340 NEW BEST:: SOT 191924 SOS 86094 HAS SOPS 86094 HAS SOUS 49582 HAS SOUPS 49582 WITH SCORE 49668.094
AT ITER 1353 NEW BEST:: SOT 191924 SOS 86094 HAS SOPS 86094 HAS SOUS 49570 HAS SOUPS 49570 WITH SCORE 49656.094
AT ITER 1355 NEW BEST:: SOT 191920 SOS 86008 HAS SOPS 86008 HAS SOUS 49544 HAS SOUPS 49544 WITH SCORE 49630.008
AT ITER 1388 NEW BEST:: SOT 192002 SOS 86395 HAS SOPS 86395 HAS SOUS 49433 HAS SOUPS 49433 WITH SCORE 49519.395
AT ITER 1398 NEW BEST:: SOT 192001 SOS 86394 HAS SOPS 86394 HAS SOUS 49433 HAS SOUPS 49433 WITH SCORE 49519.394
AT ITER 1400 NEW BEST:: SOT 191883 SOS 86158 HAS SOPS 86158 HAS SOUS 49256 HAS SOUPS 49256 WITH SCORE 49342.158
AT ITER 1401 NEW BEST:: SOT 191825 SOS 86042 HAS SOPS 86042 HAS SOUS 49214 HAS SOUPS 49214 WITH SCORE 49300.042
AT ITER 1406 NEW BEST:: SOT 191819 SOS 86030 HAS SOPS 86030 HAS SOUS 49187 HAS SOUPS 49187 WITH SCORE 49273.03
AT ITER 1411 NEW BEST:: SOT 191812 SOS 85836 HAS SOPS 85836 HAS SOUS 49180 HAS SOUPS 49180 WITH SCORE 49265.836
AT ITER 1414 NEW BEST:: SOT 191741 SOS 85978 HAS SOPS 85978 HAS SOUS 49161 HAS SOUPS 49161 WITH SCORE 49246.978
AT ITER 1419 NEW BEST:: SOT 191634 SOS 85871 HAS SOPS 85871 HAS SOUS 49095 HAS SOUPS 49095 WITH SCORE 49180.871
AT ITER 1427 NEW BEST:: SOT 191546 SOS 85231 HAS SOPS 85231 HAS SOUS 48893 HAS SOUPS 48893 WITH SCORE 48978.231
AT ITER 1459 NEW BEST:: SOT 191542 SOS 85223 HAS SOPS 85223 HAS SOUS 48889 HAS SOUPS 48889 WITH SCORE 48974.223
AT ITER 1473 NEW BEST:: SOT 191528 SOS 85253 HAS SOPS 85253 HAS SOUS 48883 HAS SOUPS 48883 WITH SCORE 48968.253
AT ITER 1479 NEW BEST:: SOT 191528 SOS 84189 HAS SOPS 84189 HAS SOUS 48845 HAS SOUPS 48845 WITH SCORE 48929.189
AT ITER 1498 NEW BEST:: SOT 191417 SOS 83856 HAS SOPS 83856 HAS SOUS 48623 HAS SOUPS 48623 WITH SCORE 48706.856
AT ITER 1509 NEW BEST:: SOT 191428 SOS 83784 HAS SOPS 83784 HAS SOUS 48540 HAS SOUPS 48540 WITH SCORE 48623.784
AT ITER 1527 NEW BEST:: SOT 191390 SOS 83746 HAS SOPS 83746 HAS SOUS 48521 HAS SOUPS 48521 WITH SCORE 48604.746
AT ITER 1542 NEW BEST:: SOT 191279 SOS 83422 HAS SOPS 83422 HAS SOUS 48230 HAS SOUPS 48230 WITH SCORE 48313.422
AT ITER 1557 NEW BEST:: SOT 191268 SOS 83466 HAS SOPS 83466 HAS SOUS 48208 HAS SOUPS 48208 WITH SCORE 48291.466
AT ITER 1558 NEW BEST:: SOT 191255 SOS 83440 HAS SOPS 83440 HAS SOUS 48162 HAS SOUPS 48162 WITH SCORE 48245.44
AT ITER 1561 NEW BEST:: SOT 191218 SOS 83403 HAS SOPS 83403 HAS SOUS 48125 HAS SOUPS 48125 WITH SCORE 48208.403
AT ITER 1572 NEW BEST:: SOT 191212 SOS 83394 HAS SOPS 83394 HAS SOUS 48119 HAS SOUPS 48119 WITH SCORE 48202.394
AT ITER 1575 NEW BEST:: SOT 191212 SOS 83378 HAS SOPS 83378 HAS SOUS 48118 HAS SOUPS 48118 WITH SCORE 48201.378
AT ITER 1576 NEW BEST:: SOT 191213 SOS 83217 HAS SOPS 83217 HAS SOUS 48004 HAS SOUPS 48004 WITH SCORE 48087.217
AT ITER 1597 NEW BEST:: SOT 191213 SOS 83174 HAS SOPS 83174 HAS SOUS 47961 HAS SOUPS 47961 WITH SCORE 48044.174
AT ITER 1598 NEW BEST:: SOT 191194 SOS 83020 HAS SOPS 83020 HAS SOUS 47923 HAS SOUPS 47923 WITH SCORE 48006.02
AT ITER 1603 NEW BEST:: SOT 191116 SOS 82486 HAS SOPS 82486 HAS SOUS 47904 HAS SOUPS 47904 WITH SCORE 47986.486
AT ITER 1610 NEW BEST:: SOT 191073 SOS 82468 HAS SOPS 82468 HAS SOUS 47807 HAS SOUPS 47807 WITH SCORE 47889.468
AT ITER 1636 NEW BEST:: SOT 191073 SOS 82437 HAS SOPS 82437 HAS SOUS 47776 HAS SOUPS 47776 WITH SCORE 47858.437
AT ITER 1640 NEW BEST:: SOT 191103 SOS 82499 HAS SOPS 82499 HAS SOUS 47773 HAS SOUPS 47773 WITH SCORE 47855.499
AT ITER 1653 NEW BEST:: SOT 190988 SOS 82179 HAS SOPS 82179 HAS SOUS 47498 HAS SOUPS 47498 WITH SCORE 47580.179
AT ITER 1660 NEW BEST:: SOT 191021 SOS 81926 HAS SOPS 81926 HAS SOUS 47240 HAS SOUPS 47240 WITH SCORE 47321.926
AT ITER 1683 NEW BEST:: SOT 190909 SOS 81646 HAS SOPS 81646 HAS SOUS 47072 HAS SOUPS 47072 WITH SCORE 47153.646
AT ITER 1704 NEW BEST:: SOT 190901 SOS 81591 HAS SOPS 81591 HAS SOUS 47064 HAS SOUPS 47064 WITH SCORE 47145.591
AT ITER 1718 NEW BEST:: SOT 190674 SOS 81364 HAS SOPS 81364 HAS SOUS 46769 HAS SOUPS 46769 WITH SCORE 46850.364
AT ITER 1723 NEW BEST:: SOT 190686 SOS 81346 HAS SOPS 81346 HAS SOUS 46754 HAS SOUPS 46754 WITH SCORE 46835.346
AT ITER 1725 NEW BEST:: SOT 190668 SOS 81292 HAS SOPS 81292 HAS SOUS 46736 HAS SOUPS 46736 WITH SCORE 46817.292
AT ITER 1737 NEW BEST:: SOT 190695 SOS 81154 HAS SOPS 81154 HAS SOUS 46694 HAS SOUPS 46694 WITH SCORE 46775.154
AT ITER 1753 NEW BEST:: SOT 190687 SOS 81146 HAS SOPS 81146 HAS SOUS 46686 HAS SOUPS 46686 WITH SCORE 46767.146
AT ITER 1768 NEW BEST:: SOT 190695 SOS 81162 HAS SOPS 81162 HAS SOUS 46654 HAS SOUPS 46654 WITH SCORE 46735.162
AT ITER 1777 NEW BEST:: SOT 190541 SOS 80854 HAS SOPS 80854 HAS SOUS 46465 HAS SOUPS 46465 WITH SCORE 46545.854
AT ITER 1796 NEW BEST:: SOT 190533 SOS 80846 HAS SOPS 80846 HAS SOUS 46457 HAS SOUPS 46457 WITH SCORE 46537.846
AT ITER 1800 NEW BEST:: SOT 190432 SOS 80509 HAS SOPS 80509 HAS SOUS 46303 HAS SOUPS 46303 WITH SCORE 46383.509
AT ITER 1809 NEW BEST:: SOT 190407 SOS 79883 HAS SOPS 79883 HAS SOUS 46214 HAS SOUPS 46214 WITH SCORE 46293.883
AT ITER 1824 NEW BEST:: SOT 190372 SOS 79746 HAS SOPS 79746 HAS SOUS 46100 HAS SOUPS 46100 WITH SCORE 46179.746
AT ITER 1834 NEW BEST:: SOT 190271 SOS 79645 HAS SOPS 79645 HAS SOUS 45999 HAS SOUPS 45999 WITH SCORE 46078.645
AT ITER 1837 NEW BEST:: SOT 190239 SOS 79581 HAS SOPS 79581 HAS SOUS 45935 HAS SOUPS 45935 WITH SCORE 46014.581
AT ITER 1845 NEW BEST:: SOT 190232 SOS 79625 HAS SOPS 79625 HAS SOUS 45928 HAS SOUPS 45928 WITH SCORE 46007.625
AT ITER 1846 NEW BEST:: SOT 190226 SOS 79607 HAS SOPS 79607 HAS SOUS 45922 HAS SOUPS 45922 WITH SCORE 46001.607
AT ITER 1849 NEW BEST:: SOT 190196 SOS 79412 HAS SOPS 79412 HAS SOUS 45838 HAS SOUPS 45838 WITH SCORE 45917.412
AT ITER 1856 NEW BEST:: SOT 190165 SOS 79421 HAS SOPS 79421 HAS SOUS 45817 HAS SOUPS 45817 WITH SCORE 45896.421
AT ITER 1858 NEW BEST:: SOT 190136 SOS 79392 HAS SOPS 79392 HAS SOUS 45806 HAS SOUPS 45806 WITH SCORE 45885.392
AT ITER 1862 NEW BEST:: SOT 189942 SOS 79216 HAS SOPS 79216 HAS SOUS 45736 HAS SOUPS 45736 WITH SCORE 45815.216
AT ITER 1866 NEW BEST:: SOT 189944 SOS 79201 HAS SOPS 79201 HAS SOUS 45721 HAS SOUPS 45721 WITH SCORE 45800.201
AT ITER 1875 NEW BEST:: SOT 189944 SOS 79172 HAS SOPS 79172 HAS SOUS 45692 HAS SOUPS 45692 WITH SCORE 45771.172
AT ITER 1882 NEW BEST:: SOT 189909 SOS 79021 HAS SOPS 79021 HAS SOUS 45657 HAS SOUPS 45657 WITH SCORE 45736.021
AT ITER 1890 NEW BEST:: SOT 189966 SOS 79083 HAS SOPS 79083 HAS SOUS 45620 HAS SOUPS 45620 WITH SCORE 45699.083
AT ITER 1891 NEW BEST:: SOT 189966 SOS 79035 HAS SOPS 79035 HAS SOUS 45572 HAS SOUPS 45572 WITH SCORE 45651.035
AT ITER 1899 NEW BEST:: SOT 189960 SOS 79023 HAS SOPS 79023 HAS SOUS 45565 HAS SOUPS 45565 WITH SCORE 45644.023
AT ITER 1901 NEW BEST:: SOT 189974 SOS 79051 HAS SOPS 79051 HAS SOUS 45404 HAS SOUPS 45404 WITH SCORE 45483.051
AT ITER 1905 NEW BEST:: SOT 189974 SOS 79051 HAS SOPS 79051 HAS SOUS 45392 HAS SOUPS 45392 WITH SCORE 45471.051
AT ITER 1918 NEW BEST:: SOT 189974 SOS 78955 HAS SOPS 78955 HAS SOUS 45285 HAS SOUPS 45285 WITH SCORE 45363.955
AT ITER 1923 NEW BEST:: SOT 190052 SOS 79111 HAS SOPS 79111 HAS SOUS 45251 HAS SOUPS 45251 WITH SCORE 45330.111
AT ITER 1931 NEW BEST:: SOT 190052 SOS 79091 HAS SOPS 79091 HAS SOUS 45211 HAS SOUPS 45211 WITH SCORE 45290.091
AT ITER 1935 NEW BEST:: SOT 190042 SOS 79102 HAS SOPS 79102 HAS SOUS 45201 HAS SOUPS 45201 WITH SCORE 45280.102
AT ITER 1956 NEW BEST:: SOT 189963 SOS 78878 HAS SOPS 78878 HAS SOUS 44977 HAS SOUPS 44977 WITH SCORE 45055.878
AT ITER 1961 NEW BEST:: SOT 189962 SOS 78877 HAS SOPS 78877 HAS SOUS 44976 HAS SOUPS 44976 WITH SCORE 45054.877
AT ITER 1968 NEW BEST:: SOT 189962 SOS 78874 HAS SOPS 78874 HAS SOUS 44970 HAS SOUPS 44970 WITH SCORE 45048.874
AT ITER 1976 NEW BEST:: SOT 189962 SOS 78874 HAS SOPS 78874 HAS SOUS 44964 HAS SOUPS 44964 WITH SCORE 45042.874
AT ITER 1977 NEW BEST:: SOT 189890 SOS 78730 HAS SOPS 78730 HAS SOUS 44820 HAS SOUPS 44820 WITH SCORE 44898.73
AT ITER 1987 NEW BEST:: SOT 189896 SOS 78325 HAS SOPS 78325 HAS SOUS 44763 HAS SOUPS 44763 WITH SCORE 44841.325
AT ITER 2006 NEW BEST:: SOT 189894 SOS 78321 HAS SOPS 78321 HAS SOUS 44744 HAS SOUPS 44744 WITH SCORE 44822.321
AT ITER 2020 NEW BEST:: SOT 189893 SOS 78320 HAS SOPS 78320 HAS SOUS 44743 HAS SOUPS 44743 WITH SCORE 44821.32
AT ITER 2053 NEW BEST:: SOT 189877 SOS 78288 HAS SOPS 78288 HAS SOUS 44711 HAS SOUPS 44711 WITH SCORE 44789.288
AT ITER 2054 NEW BEST:: SOT 189877 SOS 78285 HAS SOPS 78285 HAS SOUS 44708 HAS SOUPS 44708 WITH SCORE 44786.285
AT ITER 2056 NEW BEST:: SOT 189927 SOS 78266 HAS SOPS 78266 HAS SOUS 44685 HAS SOUPS 44685 WITH SCORE 44763.266
AT ITER 2058 NEW BEST:: SOT 189927 SOS 78266 HAS SOPS 78266 HAS SOUS 44589 HAS SOUPS 44589 WITH SCORE 44667.266
AT ITER 2059 NEW BEST:: SOT 189927 SOS 78266 HAS SOPS 78266 HAS SOUS 44588 HAS SOUPS 44588 WITH SCORE 44666.266
AT ITER 2072 NEW BEST:: SOT 189899 SOS 78227 HAS SOPS 78227 HAS SOUS 44577 HAS SOUPS 44577 WITH SCORE 44655.227
AT ITER 2083 NEW BEST:: SOT 189899 SOS 78177 HAS SOPS 78177 HAS SOUS 44447 HAS SOUPS 44447 WITH SCORE 44525.177
AT ITER 2134 NEW BEST:: SOT 189871 SOS 78149 HAS SOPS 78149 HAS SOUS 44441 HAS SOUPS 44441 WITH SCORE 44519.149
AT ITER 2140 NEW BEST:: SOT 189832 SOS 78271 HAS SOPS 78271 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44507.271
AT ITER 2153 NEW BEST:: SOT 189832 SOS 78271 HAS SOPS 78271 HAS SOUS 44410 HAS SOUPS 44410 WITH SCORE 44488.271
AT ITER 2157 NEW BEST:: SOT 189818 SOS 78243 HAS SOPS 78243 HAS SOUS 44382 HAS SOUPS 44382 WITH SCORE 44460.243
AT ITER 2197 NEW BEST:: SOT 189814 SOS 78231 HAS SOPS 78231 HAS SOUS 44374 HAS SOUPS 44374 WITH SCORE 44452.231
AT ITER 2209 NEW BEST:: SOT 189867 SOS 78219 HAS SOPS 78219 HAS SOUS 44308 HAS SOUPS 44308 WITH SCORE 44386.219
AT ITER 2210 NEW BEST:: SOT 189879 SOS 78243 HAS SOPS 78243 HAS SOUS 44294 HAS SOUPS 44294 WITH SCORE 44372.243
AT ITER 2214 NEW BEST:: SOT 189863 SOS 78227 HAS SOPS 78227 HAS SOUS 44278 HAS SOUPS 44278 WITH SCORE 44356.227
AT ITER 2217 NEW BEST:: SOT 189780 SOS 78135 HAS SOPS 78135 HAS SOUS 44223 HAS SOUPS 44223 WITH SCORE 44301.135
AT ITER 2229 NEW BEST:: SOT 189778 SOS 78131 HAS SOPS 78131 HAS SOUS 44221 HAS SOUPS 44221 WITH SCORE 44299.131
AT ITER 2235 NEW BEST:: SOT 189762 SOS 78110 HAS SOPS 78110 HAS SOUS 44205 HAS SOUPS 44205 WITH SCORE 44283.11
AT ITER 2237 NEW BEST:: SOT 189728 SOS 78076 HAS SOPS 78076 HAS SOUS 44192 HAS SOUPS 44192 WITH SCORE 44270.076
AT ITER 2273 NEW BEST:: SOT 189729 SOS 78049 HAS SOPS 78049 HAS SOUS 44184 HAS SOUPS 44184 WITH SCORE 44262.049
AT ITER 2284 NEW BEST:: SOT 189805 SOS 78171 HAS SOPS 78171 HAS SOUS 44107 HAS SOUPS 44107 WITH SCORE 44185.171
AT ITER 2291 NEW BEST:: SOT 189783 SOS 78127 HAS SOPS 78127 HAS SOUS 44085 HAS SOUPS 44085 WITH SCORE 44163.127
AT ITER 2310 NEW BEST:: SOT 189774 SOS 78080 HAS SOPS 78080 HAS SOUS 44076 HAS SOUPS 44076 WITH SCORE 44154.08
AT ITER 2316 NEW BEST:: SOT 189724 SOS 78044 HAS SOPS 78044 HAS SOUS 44040 HAS SOUPS 44040 WITH SCORE 44118.044
AT ITER 2324 NEW BEST:: SOT 189724 SOS 77968 HAS SOPS 77968 HAS SOUS 43964 HAS SOUPS 43964 WITH SCORE 44041.968
AT ITER 2325 NEW BEST:: SOT 189723 SOS 77959 HAS SOPS 77959 HAS SOUS 43962 HAS SOUPS 43962 WITH SCORE 44039.959
AT ITER 2330 NEW BEST:: SOT 189662 SOS 77898 HAS SOPS 77898 HAS SOUS 43826 HAS SOUPS 43826 WITH SCORE 43903.898
AT ITER 2332 NEW BEST:: SOT 189713 SOS 78000 HAS SOPS 78000 HAS SOUS 43786 HAS SOUPS 43786 WITH SCORE 43864.0
AT ITER 2340 NEW BEST:: SOT 189699 SOS 77818 HAS SOPS 77818 HAS SOUS 43780 HAS SOUPS 43780 WITH SCORE 43857.818
AT ITER 2342 NEW BEST:: SOT 189667 SOS 77695 HAS SOPS 77695 HAS SOUS 43657 HAS SOUPS 43657 WITH SCORE 43734.695
AT ITER 2348 NEW BEST:: SOT 189667 SOS 77685 HAS SOPS 77685 HAS SOUS 43657 HAS SOUPS 43657 WITH SCORE 43734.685
AT ITER 2353 NEW BEST:: SOT 189641 SOS 77633 HAS SOPS 77633 HAS SOUS 43647 HAS SOUPS 43647 WITH SCORE 43724.633
AT ITER 2354 NEW BEST:: SOT 189546 SOS 77443 HAS SOPS 77443 HAS SOUS 43647 HAS SOUPS 43647 WITH SCORE 43724.443
AT ITER 2364 NEW BEST:: SOT 189546 SOS 77429 HAS SOPS 77429 HAS SOUS 43642 HAS SOUPS 43642 WITH SCORE 43719.429
AT ITER 2368 NEW BEST:: SOT 189521 SOS 77379 HAS SOPS 77379 HAS SOUS 43617 HAS SOUPS 43617 WITH SCORE 43694.379
AT ITER 2378 NEW BEST:: SOT 189505 SOS 77347 HAS SOPS 77347 HAS SOUS 43600 HAS SOUPS 43600 WITH SCORE 43677.347
AT ITER 2387 NEW BEST:: SOT 189507 SOS 77241 HAS SOPS 77241 HAS SOUS 43528 HAS SOUPS 43528 WITH SCORE 43605.241
AT ITER 2391 NEW BEST:: SOT 189221 SOS 77194 HAS SOPS 77194 HAS SOUS 43482 HAS SOUPS 43482 WITH SCORE 43559.194
AT ITER 2395 NEW BEST:: SOT 189218 SOS 77191 HAS SOPS 77191 HAS SOUS 43482 HAS SOUPS 43482 WITH SCORE 43559.191
AT ITER 2396 NEW BEST:: SOT 189218 SOS 77191 HAS SOPS 77191 HAS SOUS 43428 HAS SOUPS 43428 WITH SCORE 43505.191
AT ITER 2412 NEW BEST:: SOT 189204 SOS 77177 HAS SOPS 77177 HAS SOUS 43414 HAS SOUPS 43414 WITH SCORE 43491.177
AT ITER 2442 NEW BEST:: SOT 189098 SOS 77071 HAS SOPS 77071 HAS SOUS 43353 HAS SOUPS 43353 WITH SCORE 43430.071
AT ITER 2459 NEW BEST:: SOT 189037 SOS 76984 HAS SOPS 76984 HAS SOUS 43300 HAS SOUPS 43300 WITH SCORE 43376.984
AT ITER 2467 NEW BEST:: SOT 188962 SOS 76834 HAS SOPS 76834 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43226.834
AT ITER 2484 NEW BEST:: SOT 188895 SOS 76767 HAS SOPS 76767 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43226.767
AT ITER 2505 NEW BEST:: SOT 188958 SOS 76745 HAS SOPS 76745 HAS SOUS 43129 HAS SOUPS 43129 WITH SCORE 43205.745
AT ITER 2520 NEW BEST:: SOT 188918 SOS 76665 HAS SOPS 76665 HAS SOUS 43089 HAS SOUPS 43089 WITH SCORE 43165.665
AT ITER 2529 NEW BEST:: SOT 188920 SOS 76661 HAS SOPS 76661 HAS SOUS 43085 HAS SOUPS 43085 WITH SCORE 43161.661
AT ITER 2542 NEW BEST:: SOT 188837 SOS 76578 HAS SOPS 76578 HAS SOUS 43023 HAS SOUPS 43023 WITH SCORE 43099.578
AT ITER 2554 NEW BEST:: SOT 188751 SOS 76520 HAS SOPS 76520 HAS SOUS 42936 HAS SOUPS 42936 WITH SCORE 43012.52
AT ITER 2575 NEW BEST:: SOT 188751 SOS 76520 HAS SOPS 76520 HAS SOUS 42920 HAS SOUPS 42920 WITH SCORE 42996.52
AT ITER 2580 NEW BEST:: SOT 188690 SOS 76398 HAS SOPS 76398 HAS SOUS 42701 HAS SOUPS 42701 WITH SCORE 42777.398
AT ITER 2585 NEW BEST:: SOT 188689 SOS 76354 HAS SOPS 76354 HAS SOUS 42686 HAS SOUPS 42686 WITH SCORE 42762.354
AT ITER 2587 NEW BEST:: SOT 188757 SOS 74671 HAS SOPS 74671 HAS SOUS 42686 HAS SOUPS 42686 WITH SCORE 42760.671
AT ITER 2596 NEW BEST:: SOT 188955 SOS 73362 HAS SOPS 73362 HAS SOUS 42686 HAS SOUPS 42686 WITH SCORE 42759.362
AT ITER 2598 NEW BEST:: SOT 188879 SOS 73191 HAS SOPS 73191 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42740.191
AT ITER 2601 NEW BEST:: SOT 188846 SOS 73158 HAS SOPS 73158 HAS SOUS 42634 HAS SOUPS 42634 WITH SCORE 42707.158
AT ITER 2610 NEW BEST:: SOT 188839 SOS 73139 HAS SOPS 73139 HAS SOUS 42615 HAS SOUPS 42615 WITH SCORE 42688.139
AT ITER 2612 NEW BEST:: SOT 188829 SOS 73129 HAS SOPS 73129 HAS SOUS 42607 HAS SOUPS 42607 WITH SCORE 42680.129
AT ITER 2653 NEW BEST:: SOT 188829 SOS 73105 HAS SOPS 73105 HAS SOUS 42607 HAS SOUPS 42607 WITH SCORE 42680.105
AT ITER 2656 NEW BEST:: SOT 188784 SOS 73060 HAS SOPS 73060 HAS SOUS 42562 HAS SOUPS 42562 WITH SCORE 42635.06
AT ITER 2671 NEW BEST:: SOT 188576 SOS 73104 HAS SOPS 73104 HAS SOUS 42388 HAS SOUPS 42388 WITH SCORE 42461.104
AT ITER 2689 NEW BEST:: SOT 188574 SOS 73100 HAS SOPS 73100 HAS SOUS 42378 HAS SOUPS 42378 WITH SCORE 42451.1
AT ITER 2698 NEW BEST:: SOT 188602 SOS 73128 HAS SOPS 73128 HAS SOUS 42341 HAS SOUPS 42341 WITH SCORE 42414.128
AT ITER 2704 NEW BEST:: SOT 188496 SOS 72943 HAS SOPS 72943 HAS SOUS 42258 HAS SOUPS 42258 WITH SCORE 42330.943
AT ITER 2711 NEW BEST:: SOT 188492 SOS 72935 HAS SOPS 72935 HAS SOUS 42254 HAS SOUPS 42254 WITH SCORE 42326.935
AT ITER 2716 NEW BEST:: SOT 188507 SOS 72934 HAS SOPS 72934 HAS SOUS 42253 HAS SOUPS 42253 WITH SCORE 42325.934
AT ITER 2717 NEW BEST:: SOT 188365 SOS 72851 HAS SOPS 72851 HAS SOUS 42148 HAS SOUPS 42148 WITH SCORE 42220.851
AT ITER 2751 NEW BEST:: SOT 188324 SOS 72769 HAS SOPS 72769 HAS SOUS 42068 HAS SOUPS 42068 WITH SCORE 42140.769
AT ITER 2754 NEW BEST:: SOT 188315 SOS 72843 HAS SOPS 72843 HAS SOUS 42045 HAS SOUPS 42045 WITH SCORE 42117.843
AT ITER 2765 NEW BEST:: SOT 188309 SOS 72761 HAS SOPS 72761 HAS SOUS 42001 HAS SOUPS 42001 WITH SCORE 42073.761
AT ITER 2769 NEW BEST:: SOT 188313 SOS 72701 HAS SOPS 72701 HAS SOUS 41991 HAS SOUPS 41991 WITH SCORE 42063.701
AT ITER 2772 NEW BEST:: SOT 188313 SOS 72602 HAS SOPS 72602 HAS SOUS 41925 HAS SOUPS 41925 WITH SCORE 41997.602
AT ITER 2780 NEW BEST:: SOT 188313 SOS 72602 HAS SOPS 72602 HAS SOUS 41915 HAS SOUPS 41915 WITH SCORE 41987.602
AT ITER 2791 NEW BEST:: SOT 188313 SOS 72578 HAS SOPS 72578 HAS SOUS 41915 HAS SOUPS 41915 WITH SCORE 41987.578
AT ITER 2812 NEW BEST:: SOT 188313 SOS 72476 HAS SOPS 72476 HAS SOUS 41836 HAS SOUPS 41836 WITH SCORE 41908.476
AT ITER 2816 NEW BEST:: SOT 188278 SOS 72441 HAS SOPS 72441 HAS SOUS 41801 HAS SOUPS 41801 WITH SCORE 41873.441
AT ITER 2819 NEW BEST:: SOT 188251 SOS 72387 HAS SOPS 72387 HAS SOUS 41774 HAS SOUPS 41774 WITH SCORE 41846.387
AT ITER 2824 NEW BEST:: SOT 188251 SOS 72367 HAS SOPS 72367 HAS SOUS 41774 HAS SOUPS 41774 WITH SCORE 41846.367
AT ITER 2834 NEW BEST:: SOT 188251 SOS 72367 HAS SOPS 72367 HAS SOUS 41762 HAS SOUPS 41762 WITH SCORE 41834.367
AT ITER 2857 NEW BEST:: SOT 188210 SOS 72321 HAS SOPS 72321 HAS SOUS 41716 HAS SOUPS 41716 WITH SCORE 41788.321
AT ITER 2861 NEW BEST:: SOT 188208 SOS 72319 HAS SOPS 72319 HAS SOUS 41714 HAS SOUPS 41714 WITH SCORE 41786.319
AT ITER 2867 NEW BEST:: SOT 188210 SOS 72295 HAS SOPS 72295 HAS SOUS 41697 HAS SOUPS 41697 WITH SCORE 41769.295
AT ITER 2875 NEW BEST:: SOT 188185 SOS 72272 HAS SOPS 72272 HAS SOUS 41674 HAS SOUPS 41674 WITH SCORE 41746.272
AT ITER 2894 NEW BEST:: SOT 188185 SOS 72596 HAS SOPS 72596 HAS SOUS 41630 HAS SOUPS 41630 WITH SCORE 41702.596
AT ITER 2898 NEW BEST:: SOT 188222 SOS 72590 HAS SOPS 72590 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41699.59
AT ITER 2901 NEW BEST:: SOT 188246 SOS 72584 HAS SOPS 72584 HAS SOUS 41621 HAS SOUPS 41621 WITH SCORE 41693.584
AT ITER 2902 NEW BEST:: SOT 188278 SOS 72616 HAS SOPS 72616 HAS SOUS 41607 HAS SOUPS 41607 WITH SCORE 41679.616
AT ITER 2903 NEW BEST:: SOT 188278 SOS 72504 HAS SOPS 72504 HAS SOUS 41607 HAS SOUPS 41607 WITH SCORE 41679.504
AT ITER 2916 NEW BEST:: SOT 188228 SOS 72480 HAS SOPS 72480 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41655.48
AT ITER 2920 NEW BEST:: SOT 188208 SOS 72437 HAS SOPS 72437 HAS SOUS 41562 HAS SOUPS 41562 WITH SCORE 41634.437
AT ITER 2940 NEW BEST:: SOT 188174 SOS 72400 HAS SOPS 72400 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41628.4
AT ITER 2942 NEW BEST:: SOT 188174 SOS 72400 HAS SOPS 72400 HAS SOUS 41495 HAS SOUPS 41495 WITH SCORE 41567.4
AT ITER 2948 NEW BEST:: SOT 188158 SOS 72354 HAS SOPS 72354 HAS SOUS 41487 HAS SOUPS 41487 WITH SCORE 41559.354
AT ITER 2975 NEW BEST:: SOT 188152 SOS 72342 HAS SOPS 72342 HAS SOUS 41475 HAS SOUPS 41475 WITH SCORE 41547.342
AT ITER 2986 NEW BEST:: SOT 188146 SOS 72330 HAS SOPS 72330 HAS SOUS 41469 HAS SOUPS 41469 WITH SCORE 41541.33
AT ITER 2991 NEW BEST:: SOT 188146 SOS 72288 HAS SOPS 72288 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41499.288
AT ITER 3000 NEW BEST:: SOT 188160 SOS 72302 HAS SOPS 72302 HAS SOUS 41414 HAS SOUPS 41414 WITH SCORE 41486.302
AT ITER 3004 NEW BEST:: SOT 188160 SOS 72255 HAS SOPS 72255 HAS SOUS 41414 HAS SOUPS 41414 WITH SCORE 41486.255
AT ITER 3014 NEW BEST:: SOT 188129 SOS 72257 HAS SOPS 72257 HAS SOUS 41395 HAS SOUPS 41395 WITH SCORE 41467.257
AT ITER 3049 NEW BEST:: SOT 188046 SOS 72091 HAS SOPS 72091 HAS SOUS 41362 HAS SOUPS 41362 WITH SCORE 41434.091
AT ITER 3059 NEW BEST:: SOT 188093 SOS 71985 HAS SOPS 71985 HAS SOUS 41357 HAS SOUPS 41357 WITH SCORE 41428.985
AT ITER 3068 NEW BEST:: SOT 188093 SOS 71855 HAS SOPS 71855 HAS SOUS 41210 HAS SOUPS 41210 WITH SCORE 41281.855
AT ITER 3082 NEW BEST:: SOT 187994 SOS 71657 HAS SOPS 71657 HAS SOUS 41111 HAS SOUPS 41111 WITH SCORE 41182.657
AT ITER 3105 NEW BEST:: SOT 187965 SOS 71600 HAS SOPS 71600 HAS SOUS 41053 HAS SOUPS 41053 WITH SCORE 41124.6
AT ITER 3122 NEW BEST:: SOT 187953 SOS 71588 HAS SOPS 71588 HAS SOUS 41053 HAS SOUPS 41053 WITH SCORE 41124.588
AT ITER 3124 NEW BEST:: SOT 187925 SOS 71555 HAS SOPS 71555 HAS SOUS 41048 HAS SOUPS 41048 WITH SCORE 41119.555
AT ITER 3136 NEW BEST:: SOT 187700 SOS 71105 HAS SOPS 71105 HAS SOUS 40741 HAS SOUPS 40741 WITH SCORE 40812.105
AT ITER 3140 NEW BEST:: SOT 187699 SOS 71191 HAS SOPS 71191 HAS SOUS 40740 HAS SOUPS 40740 WITH SCORE 40811.191
AT ITER 3157 NEW BEST:: SOT 187689 SOS 71223 HAS SOPS 71223 HAS SOUS 40727 HAS SOUPS 40727 WITH SCORE 40798.223
AT ITER 3158 NEW BEST:: SOT 187787 SOS 69736 HAS SOPS 69736 HAS SOUS 40657 HAS SOUPS 40657 WITH SCORE 40726.736
AT ITER 3160 NEW BEST:: SOT 187784 SOS 69733 HAS SOPS 69733 HAS SOUS 40654 HAS SOUPS 40654 WITH SCORE 40723.733
AT ITER 3162 NEW BEST:: SOT 187795 SOS 69705 HAS SOPS 69705 HAS SOUS 40640 HAS SOUPS 40640 WITH SCORE 40709.705
AT ITER 3164 NEW BEST:: SOT 187790 SOS 69685 HAS SOPS 69685 HAS SOUS 40625 HAS SOUPS 40625 WITH SCORE 40694.685
AT ITER 3194 NEW BEST:: SOT 187795 SOS 69670 HAS SOPS 69670 HAS SOUS 40610 HAS SOUPS 40610 WITH SCORE 40679.67
AT ITER 3195 NEW BEST:: SOT 187777 SOS 69652 HAS SOPS 69652 HAS SOUS 40592 HAS SOUPS 40592 WITH SCORE 40661.652
AT ITER 3210 NEW BEST:: SOT 187774 SOS 69646 HAS SOPS 69646 HAS SOUS 40586 HAS SOUPS 40586 WITH SCORE 40655.646
AT ITER 3245 NEW BEST:: SOT 187774 SOS 69646 HAS SOPS 69646 HAS SOUS 40571 HAS SOUPS 40571 WITH SCORE 40640.646
AT ITER 3247 NEW BEST:: SOT 187774 SOS 69590 HAS SOPS 69590 HAS SOUS 40515 HAS SOUPS 40515 WITH SCORE 40584.59
AT ITER 3248 NEW BEST:: SOT 187768 SOS 69578 HAS SOPS 69578 HAS SOUS 40509 HAS SOUPS 40509 WITH SCORE 40578.578
AT ITER 3264 NEW BEST:: SOT 187634 SOS 69714 HAS SOPS 69714 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40570.714
AT ITER 3276 NEW BEST:: SOT 187604 SOS 69654 HAS SOPS 69654 HAS SOUS 40456 HAS SOUPS 40456 WITH SCORE 40525.654
AT ITER 3278 NEW BEST:: SOT 187597 SOS 69647 HAS SOPS 69647 HAS SOUS 40442 HAS SOUPS 40442 WITH SCORE 40511.647
AT ITER 3305 NEW BEST:: SOT 187580 SOS 69613 HAS SOPS 69613 HAS SOUS 40422 HAS SOUPS 40422 WITH SCORE 40491.613
AT ITER 3313 NEW BEST:: SOT 187580 SOS 69699 HAS SOPS 69699 HAS SOUS 40416 HAS SOUPS 40416 WITH SCORE 40485.699
AT ITER 3314 NEW BEST:: SOT 187569 SOS 69567 HAS SOPS 69567 HAS SOUS 40394 HAS SOUPS 40394 WITH SCORE 40463.567
AT ITER 3320 NEW BEST:: SOT 187591 SOS 69566 HAS SOPS 69566 HAS SOUS 40377 HAS SOUPS 40377 WITH SCORE 40446.566
AT ITER 3329 NEW BEST:: SOT 187591 SOS 69566 HAS SOPS 69566 HAS SOUS 40350 HAS SOUPS 40350 WITH SCORE 40419.566
AT ITER 3361 NEW BEST:: SOT 187586 SOS 69556 HAS SOPS 69556 HAS SOUS 40345 HAS SOUPS 40345 WITH SCORE 40414.556
AT ITER 3372 NEW BEST:: SOT 187585 SOS 69555 HAS SOPS 69555 HAS SOUS 40343 HAS SOUPS 40343 WITH SCORE 40412.555
AT ITER 3373 NEW BEST:: SOT 187584 SOS 69553 HAS SOPS 69553 HAS SOUS 40341 HAS SOUPS 40341 WITH SCORE 40410.553
AT ITER 3386 NEW BEST:: SOT 187544 SOS 69502 HAS SOPS 69502 HAS SOUS 40301 HAS SOUPS 40301 WITH SCORE 40370.502
AT ITER 3389 NEW BEST:: SOT 187465 SOS 69344 HAS SOPS 69344 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40120.344
AT ITER 3396 NEW BEST:: SOT 187452 SOS 69318 HAS SOPS 69318 HAS SOUS 40038 HAS SOUPS 40038 WITH SCORE 40107.318
AT ITER 3403 NEW BEST:: SOT 187426 SOS 69266 HAS SOPS 69266 HAS SOUS 39986 HAS SOUPS 39986 WITH SCORE 40055.266
AT ITER 3422 NEW BEST:: SOT 187422 SOS 69240 HAS SOPS 69240 HAS SOUS 39976 HAS SOUPS 39976 WITH SCORE 40045.24
AT ITER 3429 NEW BEST:: SOT 187384 SOS 69210 HAS SOPS 69210 HAS SOUS 39919 HAS SOUPS 39919 WITH SCORE 39988.21
AT ITER 3447 NEW BEST:: SOT 187390 SOS 69091 HAS SOPS 69091 HAS SOUS 39826 HAS SOUPS 39826 WITH SCORE 39895.091
AT ITER 3486 NEW BEST:: SOT 187405 SOS 69216 HAS SOPS 69216 HAS SOUS 39818 HAS SOUPS 39818 WITH SCORE 39887.216
AT ITER 3543 NEW BEST:: SOT 187404 SOS 69214 HAS SOPS 69214 HAS SOUS 39816 HAS SOUPS 39816 WITH SCORE 39885.214
AT ITER 3573 NEW BEST:: SOT 187391 SOS 69188 HAS SOPS 69188 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39859.188
AT ITER 3594 NEW BEST:: SOT 187369 SOS 69166 HAS SOPS 69166 HAS SOUS 39768 HAS SOUPS 39768 WITH SCORE 39837.166
AT ITER 3605 NEW BEST:: SOT 187349 SOS 69146 HAS SOPS 69146 HAS SOUS 39746 HAS SOUPS 39746 WITH SCORE 39815.146
AT ITER 3613 NEW BEST:: SOT 187281 SOS 69100 HAS SOPS 69100 HAS SOUS 39700 HAS SOUPS 39700 WITH SCORE 39769.1
AT ITER 3614 NEW BEST:: SOT 187125 SOS 69458 HAS SOPS 69458 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39747.458
AT ITER 3619 NEW BEST:: SOT 187127 SOS 69462 HAS SOPS 69462 HAS SOUS 39648 HAS SOUPS 39648 WITH SCORE 39717.462
AT ITER 3658 NEW BEST:: SOT 187123 SOS 69539 HAS SOPS 69539 HAS SOUS 39640 HAS SOUPS 39640 WITH SCORE 39709.539
AT ITER 3675 NEW BEST:: SOT 187122 SOS 69537 HAS SOPS 69537 HAS SOUS 39638 HAS SOUPS 39638 WITH SCORE 39707.537
AT ITER 3700 NEW BEST:: SOT 186845 SOS 72021 HAS SOPS 72021 HAS SOUS 39489 HAS SOUPS 39489 WITH SCORE 39561.021
AT ITER 3730 NEW BEST:: SOT 186798 SOS 72010 HAS SOPS 72010 HAS SOUS 39472 HAS SOUPS 39472 WITH SCORE 39544.01
AT ITER 3731 NEW BEST:: SOT 186775 SOS 71964 HAS SOPS 71964 HAS SOUS 39426 HAS SOUPS 39426 WITH SCORE 39497.964
AT ITER 3750 NEW BEST:: SOT 186775 SOS 71964 HAS SOPS 71964 HAS SOUS 39415 HAS SOUPS 39415 WITH SCORE 39486.964
AT ITER 3767 NEW BEST:: SOT 186762 SOS 71938 HAS SOPS 71938 HAS SOUS 39399 HAS SOUPS 39399 WITH SCORE 39470.938
AT ITER 3768 NEW BEST:: SOT 186752 SOS 71959 HAS SOPS 71959 HAS SOUS 39358 HAS SOUPS 39358 WITH SCORE 39429.959
AT ITER 3793 NEW BEST:: SOT 186711 SOS 71877 HAS SOPS 71877 HAS SOUS 39235 HAS SOUPS 39235 WITH SCORE 39306.877
AT ITER 3814 NEW BEST:: SOT 186700 SOS 71855 HAS SOPS 71855 HAS SOUS 39224 HAS SOUPS 39224 WITH SCORE 39295.855
AT ITER 3832 NEW BEST:: SOT 186700 SOS 71855 HAS SOPS 71855 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39262.855
AT ITER 3841 NEW BEST:: SOT 186714 SOS 71844 HAS SOPS 71844 HAS SOUS 39180 HAS SOUPS 39180 WITH SCORE 39251.844
AT ITER 3862 NEW BEST:: SOT 186714 SOS 71844 HAS SOPS 71844 HAS SOUS 39179 HAS SOUPS 39179 WITH SCORE 39250.844
AT ITER 3870 NEW BEST:: SOT 186714 SOS 71840 HAS SOPS 71840 HAS SOUS 39175 HAS SOUPS 39175 WITH SCORE 39246.84
AT ITER 3872 NEW BEST:: SOT 186692 SOS 71818 HAS SOPS 71818 HAS SOUS 39153 HAS SOUPS 39153 WITH SCORE 39224.818
AT ITER 3905 NEW BEST:: SOT 186654 SOS 71701 HAS SOPS 71701 HAS SOUS 39077 HAS SOUPS 39077 WITH SCORE 39148.701
AT ITER 3938 NEW BEST:: SOT 186642 SOS 71663 HAS SOPS 71663 HAS SOUS 39039 HAS SOUPS 39039 WITH SCORE 39110.663
AT ITER 3973 NEW BEST:: SOT 186610 SOS 71567 HAS SOPS 71567 HAS SOUS 38975 HAS SOUPS 38975 WITH SCORE 39046.567
AT ITER 3980 NEW BEST:: SOT 186642 SOS 71585 HAS SOPS 71585 HAS SOUS 38972 HAS SOUPS 38972 WITH SCORE 39043.585
AT ITER 3984 NEW BEST:: SOT 186590 SOS 71546 HAS SOPS 71546 HAS SOUS 38946 HAS SOUPS 38946 WITH SCORE 39017.546
AT ITER 4031 NEW BEST:: SOT 186509 SOS 71502 HAS SOPS 71502 HAS SOUS 38936 HAS SOUPS 38936 WITH SCORE 39007.502
AT ITER 4032 NEW BEST:: SOT 186512 SOS 71614 HAS SOPS 71614 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38990.614
AT ITER 4037 NEW BEST:: SOT 186100 SOS 71201 HAS SOPS 71201 HAS SOUS 38697 HAS SOUPS 38697 WITH SCORE 38768.201
AT ITER 4045 NEW BEST:: SOT 186088 SOS 71189 HAS SOPS 71189 HAS SOUS 38691 HAS SOUPS 38691 WITH SCORE 38762.189
AT ITER 4081 NEW BEST:: SOT 186092 SOS 71197 HAS SOPS 71197 HAS SOUS 38665 HAS SOUPS 38665 WITH SCORE 38736.197
AT ITER 4082 NEW BEST:: SOT 186038 SOS 70987 HAS SOPS 70987 HAS SOUS 38583 HAS SOUPS 38583 WITH SCORE 38653.987
AT ITER 4084 NEW BEST:: SOT 186038 SOS 70960 HAS SOPS 70960 HAS SOUS 38556 HAS SOUPS 38556 WITH SCORE 38626.96
AT ITER 4085 NEW BEST:: SOT 186009 SOS 70931 HAS SOPS 70931 HAS SOUS 38556 HAS SOUPS 38556 WITH SCORE 38626.931
AT ITER 4101 NEW BEST:: SOT 186063 SOS 70997 HAS SOPS 70997 HAS SOUS 38545 HAS SOUPS 38545 WITH SCORE 38615.997
AT ITER 4103 NEW BEST:: SOT 186039 SOS 70949 HAS SOPS 70949 HAS SOUS 38497 HAS SOUPS 38497 WITH SCORE 38567.949
AT ITER 4107 NEW BEST:: SOT 186039 SOS 70927 HAS SOPS 70927 HAS SOUS 38486 HAS SOUPS 38486 WITH SCORE 38556.927
AT ITER 4109 NEW BEST:: SOT 186011 SOS 70871 HAS SOPS 70871 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38522.871
AT ITER 4111 NEW BEST:: SOT 185935 SOS 70719 HAS SOPS 70719 HAS SOUS 38300 HAS SOUPS 38300 WITH SCORE 38370.719
AT ITER 4115 NEW BEST:: SOT 185914 SOS 70677 HAS SOPS 70677 HAS SOUS 38251 HAS SOUPS 38251 WITH SCORE 38321.677
AT ITER 4137 NEW BEST:: SOT 185876 SOS 70639 HAS SOPS 70639 HAS SOUS 38213 HAS SOUPS 38213 WITH SCORE 38283.639
AT ITER 4139 NEW BEST:: SOT 185882 SOS 70567 HAS SOPS 70567 HAS SOUS 38166 HAS SOUPS 38166 WITH SCORE 38236.567
AT ITER 4157 NEW BEST:: SOT 185876 SOS 70547 HAS SOPS 70547 HAS SOUS 38154 HAS SOUPS 38154 WITH SCORE 38224.547
AT ITER 4173 NEW BEST:: SOT 185869 SOS 70427 HAS SOPS 70427 HAS SOUS 38110 HAS SOUPS 38110 WITH SCORE 38180.427
AT ITER 4179 NEW BEST:: SOT 185866 SOS 70448 HAS SOPS 70448 HAS SOUS 38107 HAS SOUPS 38107 WITH SCORE 38177.448
AT ITER 4205 NEW BEST:: SOT 185866 SOS 70358 HAS SOPS 70358 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38113.358
AT ITER 4208 NEW BEST:: SOT 185862 SOS 70350 HAS SOPS 70350 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38105.35
AT ITER 4210 NEW BEST:: SOT 185862 SOS 70333 HAS SOPS 70333 HAS SOUS 38018 HAS SOUPS 38018 WITH SCORE 38088.333
AT ITER 4265 NEW BEST:: SOT 185837 SOS 69822 HAS SOPS 69822 HAS SOUS 37993 HAS SOUPS 37993 WITH SCORE 38062.822
AT ITER 4273 NEW BEST:: SOT 185823 SOS 69881 HAS SOPS 69881 HAS SOUS 37979 HAS SOUPS 37979 WITH SCORE 38048.881
AT ITER 4283 NEW BEST:: SOT 186007 SOS 69775 HAS SOPS 69775 HAS SOUS 37926 HAS SOUPS 37926 WITH SCORE 37995.775
AT ITER 4289 NEW BEST:: SOT 186007 SOS 69757 HAS SOPS 69757 HAS SOUS 37915 HAS SOUPS 37915 WITH SCORE 37984.757
AT ITER 4316 NEW BEST:: SOT 186007 SOS 69712 HAS SOPS 69712 HAS SOUS 37888 HAS SOUPS 37888 WITH SCORE 37957.712
AT ITER 4348 NEW BEST:: SOT 185886 SOS 69283 HAS SOPS 69283 HAS SOUS 37657 HAS SOUPS 37657 WITH SCORE 37726.283
AT ITER 4359 NEW BEST:: SOT 185886 SOS 69283 HAS SOPS 69283 HAS SOUS 37651 HAS SOUPS 37651 WITH SCORE 37720.283
AT ITER 4361 NEW BEST:: SOT 185884 SOS 69281 HAS SOPS 69281 HAS SOUS 37649 HAS SOUPS 37649 WITH SCORE 37718.281
AT ITER 4368 NEW BEST:: SOT 185836 SOS 69233 HAS SOPS 69233 HAS SOUS 37601 HAS SOUPS 37601 WITH SCORE 37670.233
AT ITER 4382 NEW BEST:: SOT 185835 SOS 69231 HAS SOPS 69231 HAS SOUS 37599 HAS SOUPS 37599 WITH SCORE 37668.231
AT ITER 4389 NEW BEST:: SOT 185757 SOS 68599 HAS SOPS 68599 HAS SOUS 37521 HAS SOUPS 37521 WITH SCORE 37589.599
AT ITER 4404 NEW BEST:: SOT 185719 SOS 68582 HAS SOPS 68582 HAS SOUS 37521 HAS SOUPS 37521 WITH SCORE 37589.582
AT ITER 4405 NEW BEST:: SOT 185719 SOS 68554 HAS SOPS 68554 HAS SOUS 37507 HAS SOUPS 37507 WITH SCORE 37575.554
AT ITER 4413 NEW BEST:: SOT 185674 SOS 68464 HAS SOPS 68464 HAS SOUS 37417 HAS SOUPS 37417 WITH SCORE 37485.464
AT ITER 4429 NEW BEST:: SOT 185667 SOS 68457 HAS SOPS 68457 HAS SOUS 37410 HAS SOUPS 37410 WITH SCORE 37478.457
AT ITER 4473 NEW BEST:: SOT 185633 SOS 68605 HAS SOPS 68605 HAS SOUS 37376 HAS SOUPS 37376 WITH SCORE 37444.605
AT ITER 4484 NEW BEST:: SOT 185640 SOS 68612 HAS SOPS 68612 HAS SOUS 37375 HAS SOUPS 37375 WITH SCORE 37443.612
AT ITER 4494 NEW BEST:: SOT 185640 SOS 68597 HAS SOPS 68597 HAS SOUS 37360 HAS SOUPS 37360 WITH SCORE 37428.597
AT ITER 4495 NEW BEST:: SOT 185651 SOS 68576 HAS SOPS 68576 HAS SOUS 37360 HAS SOUPS 37360 WITH SCORE 37428.576
AT ITER 4497 NEW BEST:: SOT 185615 SOS 68538 HAS SOPS 68538 HAS SOUS 37322 HAS SOUPS 37322 WITH SCORE 37390.538
AT ITER 4516 NEW BEST:: SOT 185615 SOS 68467 HAS SOPS 68467 HAS SOUS 37285 HAS SOUPS 37285 WITH SCORE 37353.467
AT ITER 4537 NEW BEST:: SOT 185614 SOS 68463 HAS SOPS 68463 HAS SOUS 37283 HAS SOUPS 37283 WITH SCORE 37351.463
AT ITER 4545 NEW BEST:: SOT 185609 SOS 68431 HAS SOPS 68431 HAS SOUS 37278 HAS SOUPS 37278 WITH SCORE 37346.431
AT ITER 4553 NEW BEST:: SOT 185702 SOS 68558 HAS SOPS 68558 HAS SOUS 37245 HAS SOUPS 37245 WITH SCORE 37313.558
AT ITER 4556 NEW BEST:: SOT 185702 SOS 68558 HAS SOPS 68558 HAS SOUS 37216 HAS SOUPS 37216 WITH SCORE 37284.558
AT ITER 4560 NEW BEST:: SOT 185681 SOS 68514 HAS SOPS 68514 HAS SOUS 37172 HAS SOUPS 37172 WITH SCORE 37240.514
AT ITER 4567 NEW BEST:: SOT 185681 SOS 68498 HAS SOPS 68498 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37232.498
AT ITER 4588 NEW BEST:: SOT 185680 SOS 68497 HAS SOPS 68497 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37232.497
AT ITER 4591 NEW BEST:: SOT 185601 SOS 68451 HAS SOPS 68451 HAS SOUS 37109 HAS SOUPS 37109 WITH SCORE 37177.451
AT ITER 4593 NEW BEST:: SOT 185410 SOS 68260 HAS SOPS 68260 HAS SOUS 37064 HAS SOUPS 37064 WITH SCORE 37132.26
AT ITER 4614 NEW BEST:: SOT 185334 SOS 68184 HAS SOPS 68184 HAS SOUS 36988 HAS SOUPS 36988 WITH SCORE 37056.184
AT ITER 4630 NEW BEST:: SOT 185286 SOS 68088 HAS SOPS 68088 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36996.088
AT ITER 4647 NEW BEST:: SOT 185286 SOS 68045 HAS SOPS 68045 HAS SOUS 36882 HAS SOUPS 36882 WITH SCORE 36950.045
AT ITER 4671 NEW BEST:: SOT 185286 SOS 68045 HAS SOPS 68045 HAS SOUS 36865 HAS SOUPS 36865 WITH SCORE 36933.045
AT ITER 4696 NEW BEST:: SOT 185293 SOS 68004 HAS SOPS 68004 HAS SOUS 36769 HAS SOUPS 36769 WITH SCORE 36837.004
AT ITER 4697 NEW BEST:: SOT 185215 SOS 67926 HAS SOPS 67926 HAS SOUS 36769 HAS SOUPS 36769 WITH SCORE 36836.926
AT ITER 4702 NEW BEST:: SOT 185217 SOS 67925 HAS SOPS 67925 HAS SOUS 36766 HAS SOUPS 36766 WITH SCORE 36833.925
AT ITER 4708 NEW BEST:: SOT 185217 SOS 67925 HAS SOPS 67925 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36826.925
AT ITER 4726 NEW BEST:: SOT 185237 SOS 67905 HAS SOPS 67905 HAS SOUS 36759 HAS SOUPS 36759 WITH SCORE 36826.905
AT ITER 4748 NEW BEST:: SOT 185237 SOS 67887 HAS SOPS 67887 HAS SOUS 36753 HAS SOUPS 36753 WITH SCORE 36820.887
AT ITER 4758 NEW BEST:: SOT 185057 SOS 69196 HAS SOPS 69196 HAS SOUS 36724 HAS SOUPS 36724 WITH SCORE 36793.196
AT ITER 4763 NEW BEST:: SOT 185057 SOS 69178 HAS SOPS 69178 HAS SOUS 36724 HAS SOUPS 36724 WITH SCORE 36793.178
AT ITER 4780 NEW BEST:: SOT 185055 SOS 69309 HAS SOPS 69309 HAS SOUS 36723 HAS SOUPS 36723 WITH SCORE 36792.309
AT ITER 4782 NEW BEST:: SOT 185083 SOS 69277 HAS SOPS 69277 HAS SOUS 36687 HAS SOUPS 36687 WITH SCORE 36756.277
AT ITER 4788 NEW BEST:: SOT 185082 SOS 69264 HAS SOPS 69264 HAS SOUS 36678 HAS SOUPS 36678 WITH SCORE 36747.264
AT ITER 4825 NEW BEST:: SOT 185069 SOS 69238 HAS SOPS 69238 HAS SOUS 36652 HAS SOUPS 36652 WITH SCORE 36721.238
AT ITER 4829 NEW BEST:: SOT 185140 SOS 69236 HAS SOPS 69236 HAS SOUS 36650 HAS SOUPS 36650 WITH SCORE 36719.236
AT ITER 4838 NEW BEST:: SOT 185140 SOS 69236 HAS SOPS 69236 HAS SOUS 36646 HAS SOUPS 36646 WITH SCORE 36715.236
AT ITER 4845 NEW BEST:: SOT 185312 SOS 68300 HAS SOPS 68300 HAS SOUS 36646 HAS SOUPS 36646 WITH SCORE 36714.3
AT ITER 4849 NEW BEST:: SOT 185277 SOS 68265 HAS SOPS 68265 HAS SOUS 36611 HAS SOUPS 36611 WITH SCORE 36679.265
AT ITER 4853 NEW BEST:: SOT 185244 SOS 68218 HAS SOPS 68218 HAS SOUS 36578 HAS SOUPS 36578 WITH SCORE 36646.218
AT ITER 4860 NEW BEST:: SOT 185165 SOS 68152 HAS SOPS 68152 HAS SOUS 36512 HAS SOUPS 36512 WITH SCORE 36580.152
AT ITER 4863 NEW BEST:: SOT 185179 SOS 68110 HAS SOPS 68110 HAS SOUS 36505 HAS SOUPS 36505 WITH SCORE 36573.11
AT ITER 4868 NEW BEST:: SOT 185197 SOS 68083 HAS SOPS 68083 HAS SOUS 36484 HAS SOUPS 36484 WITH SCORE 36552.083
AT ITER 4884 NEW BEST:: SOT 185173 SOS 68062 HAS SOPS 68062 HAS SOUS 36480 HAS SOUPS 36480 WITH SCORE 36548.062
AT ITER 4916 NEW BEST:: SOT 185122 SOS 67846 HAS SOPS 67846 HAS SOUS 36448 HAS SOUPS 36448 WITH SCORE 36515.846
AT ITER 4928 NEW BEST:: SOT 185122 SOS 67845 HAS SOPS 67845 HAS SOUS 36447 HAS SOUPS 36447 WITH SCORE 36514.845
AT ITER 4947 NEW BEST:: SOT 185095 SOS 67921 HAS SOPS 67921 HAS SOUS 36420 HAS SOUPS 36420 WITH SCORE 36487.921
AT ITER 4948 NEW BEST:: SOT 185026 SOS 67807 HAS SOPS 67807 HAS SOUS 36375 HAS SOUPS 36375 WITH SCORE 36442.807
AT ITER 4951 NEW BEST:: SOT 184994 SOS 66340 HAS SOPS 66340 HAS SOUS 36236 HAS SOUPS 36236 WITH SCORE 36302.34
AT ITER 4959 NEW BEST:: SOT 184994 SOS 66298 HAS SOPS 66298 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36281.298
AT ITER 4960 NEW BEST:: SOT 184994 SOS 66232 HAS SOPS 66232 HAS SOUS 36215 HAS SOUPS 36215 WITH SCORE 36281.232
AT ITER 4971 NEW BEST:: SOT 184979 SOS 66217 HAS SOPS 66217 HAS SOUS 36209 HAS SOUPS 36209 WITH SCORE 36275.217
AT ITER 4977 NEW BEST:: SOT 184965 SOS 66203 HAS SOPS 66203 HAS SOUS 36209 HAS SOUPS 36209 WITH SCORE 36275.203
AT ITER 4978 NEW BEST:: SOT 184984 SOS 66210 HAS SOPS 66210 HAS SOUS 36197 HAS SOUPS 36197 WITH SCORE 36263.21
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-00 (EX( (EF( (EF( ((potential((tk(P343)>=1) & (tk(P40)>=1) & (tk(P419)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-01 (EU( (! (! ( ((potential((tk(P275)>=1) & (tk(P172)>=1) & (tk(P454)>=1)))) & ((potential((tk(P462)>=1)))) ))) , (EF( ( ((potential((tk(P191)>=1)))) | ((potential((tk(P336)>=1)))) ))) ))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-02 (EF( (AG( (! ( ((potential((tk(P134)>=1)))) | ((potential((tk(P364)>=1) & (tk(P275)>=1) & (tk(P519)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-03 (AF( (EG( (! ((potential((tk(P229)>=1)))))))))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-04 (EF( (! (! (EX( ((potential((tk(P66)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-05 (EG( ( ((potential((tk(P134)>=1) & (tk(P528)>=1)))) | (EF( ( ((potential((tk(P472)>=1)))) | ((potential((tk(P65)>=1)))) ))) )))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-06 (AF( ( (EX( ((potential((tk(P130)>=1)))))) | ( ( ((potential((tk(P360)>=1) & (tk(P207)>=1) & (tk(P514)>=1)))) & ((potential((tk(P287)>=1)))) ) & ((potential((tk(P197)>=1)))) ) )))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-07 ( (! (! (EG( (! ((potential((tk(P7)>=1))))))))) | ( ( (AG( ( ((potential((tk(P438)>=1)))) & ((potential((tk(P67)>=1)))) ))) | (EG( ( ((potential((tk(P25)>=1)))) & ((potential((tk(P528)>=1)))) ))) ) | ((potential((tk(P371)>=1)))) ) )
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-08 (EG( (! ( ( ( ((potential((tk(P134)>=1)))) | ((potential((tk(P151)>=1)))) ) & ( ((potential((tk(P202)>=1)))) | ((potential((tk(P266)>=1)))) ) ) & ((potential((tk(P508)>=1)))) ))))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-09 (EF( ((potential((tk(P243)>=1))))))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-10 ( (EF( ( (EX( ((potential((tk(P64)>=1)))))) | ((potential((tk(P307)>=1)))) ))) & (AF( (EU( ((potential((tk(P359)>=1)))) , ((potential((tk(P385)>=1)))) )))) )
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-11 ( (! (! ( (! ( ((potential((tk(P321)>=1)))) | ((potential((tk(P182)>=1)))) )) | (! (! ((potential((tk(P267)>=1)))))) ))) & (! (EG( (! ((potential((tk(P326)>=1) & (tk(P540)>=1)))))))) )
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-12 (EF( ( ( ((potential((tk(P406)>=1)))) & (AX( ((potential((tk(P245)>=1)))))) ) | ((potential((tk(P215)>=1)))) )))
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-13 ( (AX( (EU( ((potential((tk(P153)>=1)))) , ((potential((tk(P3)>=1)))) )))) | (EF( ( ( ( ((potential((tk(P258)>=1) & (tk(P540)>=1)))) & ((potential((tk(P234)>=1) & (tk(P71)>=1) & (tk(P464)>=1)))) ) & ( ((potential((tk(P290)>=1)))) | ((potential((tk(P258)>=1) & (tk(P540)>=1)))) ) ) & (AG( ((potential((tk(P243)>=1)))))) ))) )
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-14 ( ((potential((tk(P208)>=1)))) | (! ( (AG( (! ((potential((tk(P270)>=1) & (tk(P528)>=1))))))) & (EF( ( ((potential((tk(P399)>=1)))) & ((potential((tk(P418)>=1)))) ))) )) )
PROPERTY: FlexibleBarrier-PT-06b-CTLFireability-15 (AF( (EX( (AF( ((potential((tk(P22)>=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="FlexibleBarrier-PT-06b"
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 FlexibleBarrier-PT-06b, 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 r078-smll-158922972400284"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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