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-158922807900739.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807900739
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-15b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589365088218

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 15b
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.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 10 NEW BEST:: SOT 137914 SOS 63906 HAS SOPS 63906 HAS SOUS 57156 HAS SOUPS 57156 WITH SCORE 57219.906
AT ITER 14 NEW BEST:: SOT 137822 SOS 63774 HAS SOPS 63774 HAS SOUS 57064 HAS SOUPS 57064 WITH SCORE 57127.774
AT ITER 15 NEW BEST:: SOT 137811 SOS 63763 HAS SOPS 63763 HAS SOUS 57052 HAS SOUPS 57052 WITH SCORE 57115.763
AT ITER 19 NEW BEST:: SOT 137787 SOS 63608 HAS SOPS 63608 HAS SOUS 56817 HAS SOUPS 56817 WITH SCORE 56880.608
AT ITER 20 NEW BEST:: SOT 137787 SOS 63539 HAS SOPS 63539 HAS SOUS 56747 HAS SOUPS 56747 WITH SCORE 56810.539
AT ITER 21 NEW BEST:: SOT 137721 SOS 63317 HAS SOPS 63317 HAS SOUS 56502 HAS SOUPS 56502 WITH SCORE 56565.317
AT ITER 26 NEW BEST:: SOT 137557 SOS 62994 HAS SOPS 62994 HAS SOUS 56352 HAS SOUPS 56352 WITH SCORE 56414.994
AT ITER 27 NEW BEST:: SOT 137557 SOS 62939 HAS SOPS 62939 HAS SOUS 56348 HAS SOUPS 56348 WITH SCORE 56410.939
AT ITER 31 NEW BEST:: SOT 137552 SOS 62929 HAS SOPS 62929 HAS SOUS 56337 HAS SOUPS 56337 WITH SCORE 56399.929
AT ITER 39 NEW BEST:: SOT 137551 SOS 62927 HAS SOPS 62927 HAS SOUS 56335 HAS SOUPS 56335 WITH SCORE 56397.927
AT ITER 44 NEW BEST:: SOT 137550 SOS 62925 HAS SOPS 62925 HAS SOUS 56333 HAS SOUPS 56333 WITH SCORE 56395.925
AT ITER 48 NEW BEST:: SOT 137366 SOS 62581 HAS SOPS 62581 HAS SOUS 56057 HAS SOUPS 56057 WITH SCORE 56119.581
AT ITER 51 NEW BEST:: SOT 137325 SOS 62406 HAS SOPS 62406 HAS SOUS 55974 HAS SOUPS 55974 WITH SCORE 56036.406
AT ITER 70 NEW BEST:: SOT 137096 SOS 62191 HAS SOPS 62191 HAS SOUS 55631 HAS SOUPS 55631 WITH SCORE 55693.191
AT ITER 84 NEW BEST:: SOT 136918 SOS 61877 HAS SOPS 61877 HAS SOUS 55363 HAS SOUPS 55363 WITH SCORE 55424.877
AT ITER 85 NEW BEST:: SOT 136852 SOS 61745 HAS SOPS 61745 HAS SOUS 55294 HAS SOUPS 55294 WITH SCORE 55355.745
AT ITER 86 NEW BEST:: SOT 136747 SOS 61640 HAS SOPS 61640 HAS SOUS 55189 HAS SOUPS 55189 WITH SCORE 55250.64
AT ITER 87 NEW BEST:: SOT 136747 SOS 61589 HAS SOPS 61589 HAS SOUS 55188 HAS SOUPS 55188 WITH SCORE 55249.589
AT ITER 89 NEW BEST:: SOT 136722 SOS 61539 HAS SOPS 61539 HAS SOUS 55138 HAS SOUPS 55138 WITH SCORE 55199.539
AT ITER 99 NEW BEST:: SOT 136722 SOS 61534 HAS SOPS 61534 HAS SOUS 55131 HAS SOUPS 55131 WITH SCORE 55192.534
AT ITER 102 NEW BEST:: SOT 136712 SOS 61880 HAS SOPS 61880 HAS SOUS 55091 HAS SOUPS 55091 WITH SCORE 55152.88
AT ITER 105 NEW BEST:: SOT 136712 SOS 61851 HAS SOPS 61851 HAS SOUS 55062 HAS SOUPS 55062 WITH SCORE 55123.851
AT ITER 108 NEW BEST:: SOT 136642 SOS 61743 HAS SOPS 61743 HAS SOUS 54991 HAS SOUPS 54991 WITH SCORE 55052.743
AT ITER 115 NEW BEST:: SOT 136623 SOS 61608 HAS SOPS 61608 HAS SOUS 54766 HAS SOUPS 54766 WITH SCORE 54827.608
AT ITER 118 NEW BEST:: SOT 136593 SOS 61571 HAS SOPS 61571 HAS SOUS 54736 HAS SOUPS 54736 WITH SCORE 54797.571
AT ITER 119 NEW BEST:: SOT 136556 SOS 61514 HAS SOPS 61514 HAS SOUS 54699 HAS SOUPS 54699 WITH SCORE 54760.514
AT ITER 120 NEW BEST:: SOT 136556 SOS 61514 HAS SOPS 61514 HAS SOUS 54698 HAS SOUPS 54698 WITH SCORE 54759.514
AT ITER 127 NEW BEST:: SOT 136498 SOS 61398 HAS SOPS 61398 HAS SOUS 54582 HAS SOUPS 54582 WITH SCORE 54643.398
AT ITER 133 NEW BEST:: SOT 136412 SOS 61312 HAS SOPS 61312 HAS SOUS 54496 HAS SOUPS 54496 WITH SCORE 54557.312
AT ITER 135 NEW BEST:: SOT 136321 SOS 61261 HAS SOPS 61261 HAS SOUS 54445 HAS SOUPS 54445 WITH SCORE 54506.261
AT ITER 140 NEW BEST:: SOT 136333 SOS 61106 HAS SOPS 61106 HAS SOUS 54290 HAS SOUPS 54290 WITH SCORE 54351.106
AT ITER 145 NEW BEST:: SOT 136264 SOS 61072 HAS SOPS 61072 HAS SOUS 54256 HAS SOUPS 54256 WITH SCORE 54317.072
AT ITER 153 NEW BEST:: SOT 136234 SOS 61012 HAS SOPS 61012 HAS SOUS 54196 HAS SOUPS 54196 WITH SCORE 54257.012
AT ITER 155 NEW BEST:: SOT 136211 SOS 60966 HAS SOPS 60966 HAS SOUS 54150 HAS SOUPS 54150 WITH SCORE 54210.966
AT ITER 163 NEW BEST:: SOT 136218 SOS 60929 HAS SOPS 60929 HAS SOUS 54113 HAS SOUPS 54113 WITH SCORE 54173.929
AT ITER 174 NEW BEST:: SOT 136201 SOS 60895 HAS SOPS 60895 HAS SOUS 54079 HAS SOUPS 54079 WITH SCORE 54139.895
AT ITER 189 NEW BEST:: SOT 136120 SOS 60781 HAS SOPS 60781 HAS SOUS 53962 HAS SOUPS 53962 WITH SCORE 54022.781
AT ITER 190 NEW BEST:: SOT 136045 SOS 60674 HAS SOPS 60674 HAS SOUS 53855 HAS SOUPS 53855 WITH SCORE 53915.674
AT ITER 193 NEW BEST:: SOT 135990 SOS 62438 HAS SOPS 62438 HAS SOUS 53849 HAS SOUPS 53849 WITH SCORE 53911.438
AT ITER 194 NEW BEST:: SOT 135956 SOS 62036 HAS SOPS 62036 HAS SOUS 53797 HAS SOUPS 53797 WITH SCORE 53859.036
AT ITER 195 NEW BEST:: SOT 135955 SOS 62034 HAS SOPS 62034 HAS SOUS 53795 HAS SOUPS 53795 WITH SCORE 53857.034
AT ITER 197 NEW BEST:: SOT 135933 SOS 61951 HAS SOPS 61951 HAS SOUS 53786 HAS SOUPS 53786 WITH SCORE 53847.951
AT ITER 198 NEW BEST:: SOT 135871 SOS 61732 HAS SOPS 61732 HAS SOUS 53567 HAS SOUPS 53567 WITH SCORE 53628.732
AT ITER 199 NEW BEST:: SOT 135871 SOS 61709 HAS SOPS 61709 HAS SOUS 53544 HAS SOUPS 53544 WITH SCORE 53605.709
AT ITER 201 NEW BEST:: SOT 135842 SOS 61734 HAS SOPS 61734 HAS SOUS 53475 HAS SOUPS 53475 WITH SCORE 53536.734
AT ITER 203 NEW BEST:: SOT 135813 SOS 61676 HAS SOPS 61676 HAS SOUS 53446 HAS SOUPS 53446 WITH SCORE 53507.676
AT ITER 207 NEW BEST:: SOT 135813 SOS 61676 HAS SOPS 61676 HAS SOUS 53445 HAS SOUPS 53445 WITH SCORE 53506.676
AT ITER 214 NEW BEST:: SOT 135813 SOS 61655 HAS SOPS 61655 HAS SOUS 53444 HAS SOUPS 53444 WITH SCORE 53505.655
AT ITER 215 NEW BEST:: SOT 135666 SOS 61701 HAS SOPS 61701 HAS SOUS 53338 HAS SOUPS 53338 WITH SCORE 53399.701
AT ITER 223 NEW BEST:: SOT 135650 SOS 61700 HAS SOPS 61700 HAS SOUS 53337 HAS SOUPS 53337 WITH SCORE 53398.7
AT ITER 226 NEW BEST:: SOT 135600 SOS 61600 HAS SOPS 61600 HAS SOUS 53237 HAS SOUPS 53237 WITH SCORE 53298.6
AT ITER 229 NEW BEST:: SOT 135569 SOS 61597 HAS SOPS 61597 HAS SOUS 53234 HAS SOUPS 53234 WITH SCORE 53295.597
AT ITER 230 NEW BEST:: SOT 135364 SOS 61309 HAS SOPS 61309 HAS SOUS 52945 HAS SOUPS 52945 WITH SCORE 53006.309
AT ITER 232 NEW BEST:: SOT 135296 SOS 61356 HAS SOPS 61356 HAS SOUS 52853 HAS SOUPS 52853 WITH SCORE 52914.356
AT ITER 233 NEW BEST:: SOT 135296 SOS 61384 HAS SOPS 61384 HAS SOUS 52852 HAS SOUPS 52852 WITH SCORE 52913.384
AT ITER 243 NEW BEST:: SOT 135296 SOS 61242 HAS SOPS 61242 HAS SOUS 52852 HAS SOUPS 52852 WITH SCORE 52913.242
AT ITER 253 NEW BEST:: SOT 135218 SOS 61110 HAS SOPS 61110 HAS SOUS 52774 HAS SOUPS 52774 WITH SCORE 52835.11
AT ITER 260 NEW BEST:: SOT 134995 SOS 61027 HAS SOPS 61027 HAS SOUS 52672 HAS SOUPS 52672 WITH SCORE 52733.027
AT ITER 265 NEW BEST:: SOT 134959 SOS 61013 HAS SOPS 61013 HAS SOUS 52671 HAS SOUPS 52671 WITH SCORE 52732.013
AT ITER 266 NEW BEST:: SOT 134822 SOS 60875 HAS SOPS 60875 HAS SOUS 52533 HAS SOUPS 52533 WITH SCORE 52593.875
AT ITER 269 NEW BEST:: SOT 134795 SOS 60848 HAS SOPS 60848 HAS SOUS 52506 HAS SOUPS 52506 WITH SCORE 52566.848
AT ITER 274 NEW BEST:: SOT 134773 SOS 60693 HAS SOPS 60693 HAS SOUS 52461 HAS SOUPS 52461 WITH SCORE 52521.693
AT ITER 278 NEW BEST:: SOT 134709 SOS 60565 HAS SOPS 60565 HAS SOUS 52271 HAS SOUPS 52271 WITH SCORE 52331.565
AT ITER 292 NEW BEST:: SOT 134609 SOS 60482 HAS SOPS 60482 HAS SOUS 52187 HAS SOUPS 52187 WITH SCORE 52247.482
AT ITER 297 NEW BEST:: SOT 134607 SOS 60480 HAS SOPS 60480 HAS SOUS 52184 HAS SOUPS 52184 WITH SCORE 52244.48
AT ITER 298 NEW BEST:: SOT 134451 SOS 60407 HAS SOPS 60407 HAS SOUS 52099 HAS SOUPS 52099 WITH SCORE 52159.407
AT ITER 301 NEW BEST:: SOT 134419 SOS 60343 HAS SOPS 60343 HAS SOUS 52035 HAS SOUPS 52035 WITH SCORE 52095.343
AT ITER 306 NEW BEST:: SOT 134427 SOS 60319 HAS SOPS 60319 HAS SOUS 52016 HAS SOUPS 52016 WITH SCORE 52076.319
AT ITER 314 NEW BEST:: SOT 134376 SOS 60124 HAS SOPS 60124 HAS SOUS 51772 HAS SOUPS 51772 WITH SCORE 51832.124
AT ITER 321 NEW BEST:: SOT 134363 SOS 60098 HAS SOPS 60098 HAS SOUS 51673 HAS SOUPS 51673 WITH SCORE 51733.098
AT ITER 322 NEW BEST:: SOT 134363 SOS 59946 HAS SOPS 59946 HAS SOUS 51520 HAS SOUPS 51520 WITH SCORE 51579.946
AT ITER 332 NEW BEST:: SOT 134363 SOS 59886 HAS SOPS 59886 HAS SOUS 51460 HAS SOUPS 51460 WITH SCORE 51519.886
AT ITER 334 NEW BEST:: SOT 134321 SOS 59886 HAS SOPS 59886 HAS SOUS 51418 HAS SOUPS 51418 WITH SCORE 51477.886
AT ITER 335 NEW BEST:: SOT 134308 SOS 59867 HAS SOPS 59867 HAS SOUS 51405 HAS SOUPS 51405 WITH SCORE 51464.867
AT ITER 337 NEW BEST:: SOT 134160 SOS 59711 HAS SOPS 59711 HAS SOUS 51247 HAS SOUPS 51247 WITH SCORE 51306.711
AT ITER 339 NEW BEST:: SOT 134160 SOS 59544 HAS SOPS 59544 HAS SOUS 51247 HAS SOUPS 51247 WITH SCORE 51306.544
AT ITER 342 NEW BEST:: SOT 134160 SOS 59518 HAS SOPS 59518 HAS SOUS 51221 HAS SOUPS 51221 WITH SCORE 51280.518
AT ITER 345 NEW BEST:: SOT 134081 SOS 59239 HAS SOPS 59239 HAS SOUS 51030 HAS SOUPS 51030 WITH SCORE 51089.239
AT ITER 352 NEW BEST:: SOT 134079 SOS 59235 HAS SOPS 59235 HAS SOUS 51026 HAS SOUPS 51026 WITH SCORE 51085.235
AT ITER 356 NEW BEST:: SOT 134061 SOS 59204 HAS SOPS 59204 HAS SOUS 50995 HAS SOUPS 50995 WITH SCORE 51054.204
AT ITER 366 NEW BEST:: SOT 134061 SOS 59077 HAS SOPS 59077 HAS SOUS 50868 HAS SOUPS 50868 WITH SCORE 50927.077
AT ITER 371 NEW BEST:: SOT 134058 SOS 59071 HAS SOPS 59071 HAS SOUS 50865 HAS SOUPS 50865 WITH SCORE 50924.071
AT ITER 374 NEW BEST:: SOT 134042 SOS 59065 HAS SOPS 59065 HAS SOUS 50855 HAS SOUPS 50855 WITH SCORE 50914.065
AT ITER 375 NEW BEST:: SOT 133966 SOS 58913 HAS SOPS 58913 HAS SOUS 50702 HAS SOUPS 50702 WITH SCORE 50760.913
AT ITER 376 NEW BEST:: SOT 133966 SOS 58913 HAS SOPS 58913 HAS SOUS 50701 HAS SOUPS 50701 WITH SCORE 50759.913
AT ITER 383 NEW BEST:: SOT 133861 SOS 58808 HAS SOPS 58808 HAS SOUS 50596 HAS SOUPS 50596 WITH SCORE 50654.808
AT ITER 384 NEW BEST:: SOT 133942 SOS 58767 HAS SOPS 58767 HAS SOUS 50555 HAS SOUPS 50555 WITH SCORE 50613.767
AT ITER 389 NEW BEST:: SOT 133878 SOS 58697 HAS SOPS 58697 HAS SOUS 50485 HAS SOUPS 50485 WITH SCORE 50543.697
AT ITER 390 NEW BEST:: SOT 133849 SOS 58639 HAS SOPS 58639 HAS SOUS 50427 HAS SOUPS 50427 WITH SCORE 50485.639
AT ITER 392 NEW BEST:: SOT 133868 SOS 58625 HAS SOPS 58625 HAS SOUS 50416 HAS SOUPS 50416 WITH SCORE 50474.625
AT ITER 395 NEW BEST:: SOT 133843 SOS 58620 HAS SOPS 58620 HAS SOUS 50366 HAS SOUPS 50366 WITH SCORE 50424.62
AT ITER 398 NEW BEST:: SOT 133843 SOS 58575 HAS SOPS 58575 HAS SOUS 50366 HAS SOUPS 50366 WITH SCORE 50424.575
AT ITER 399 NEW BEST:: SOT 133783 SOS 58455 HAS SOPS 58455 HAS SOUS 50308 HAS SOUPS 50308 WITH SCORE 50366.455
AT ITER 405 NEW BEST:: SOT 133768 SOS 58440 HAS SOPS 58440 HAS SOUS 50293 HAS SOUPS 50293 WITH SCORE 50351.44
AT ITER 409 NEW BEST:: SOT 133794 SOS 58385 HAS SOPS 58385 HAS SOUS 50260 HAS SOUPS 50260 WITH SCORE 50318.385
AT ITER 410 NEW BEST:: SOT 133757 SOS 58381 HAS SOPS 58381 HAS SOUS 50153 HAS SOUPS 50153 WITH SCORE 50211.381
AT ITER 412 NEW BEST:: SOT 133756 SOS 58379 HAS SOPS 58379 HAS SOUS 50151 HAS SOUPS 50151 WITH SCORE 50209.379
AT ITER 415 NEW BEST:: SOT 133681 SOS 58355 HAS SOPS 58355 HAS SOUS 50116 HAS SOUPS 50116 WITH SCORE 50174.355
AT ITER 417 NEW BEST:: SOT 133640 SOS 58338 HAS SOPS 58338 HAS SOUS 50099 HAS SOUPS 50099 WITH SCORE 50157.338
AT ITER 418 NEW BEST:: SOT 133640 SOS 57175 HAS SOPS 57175 HAS SOUS 50099 HAS SOUPS 50099 WITH SCORE 50156.175
AT ITER 421 NEW BEST:: SOT 133492 SOS 56979 HAS SOPS 56979 HAS SOUS 49903 HAS SOUPS 49903 WITH SCORE 49959.979
AT ITER 424 NEW BEST:: SOT 133440 SOS 56792 HAS SOPS 56792 HAS SOUS 49716 HAS SOUPS 49716 WITH SCORE 49772.792
AT ITER 427 NEW BEST:: SOT 133387 SOS 56686 HAS SOPS 56686 HAS SOUS 49527 HAS SOUPS 49527 WITH SCORE 49583.686
AT ITER 429 NEW BEST:: SOT 133339 SOS 56590 HAS SOPS 56590 HAS SOUS 49431 HAS SOUPS 49431 WITH SCORE 49487.59
AT ITER 430 NEW BEST:: SOT 133240 SOS 56392 HAS SOPS 56392 HAS SOUS 49233 HAS SOUPS 49233 WITH SCORE 49289.392
AT ITER 431 NEW BEST:: SOT 133240 SOS 56374 HAS SOPS 56374 HAS SOUS 49233 HAS SOUPS 49233 WITH SCORE 49289.374
AT ITER 432 NEW BEST:: SOT 133216 SOS 56338 HAS SOPS 56338 HAS SOUS 49209 HAS SOUPS 49209 WITH SCORE 49265.338
AT ITER 437 NEW BEST:: SOT 133056 SOS 56097 HAS SOPS 56097 HAS SOUS 48969 HAS SOUPS 48969 WITH SCORE 49025.097
AT ITER 456 NEW BEST:: SOT 132812 SOS 55829 HAS SOPS 55829 HAS SOUS 48669 HAS SOUPS 48669 WITH SCORE 48724.829
AT ITER 459 NEW BEST:: SOT 132725 SOS 55731 HAS SOPS 55731 HAS SOUS 48581 HAS SOUPS 48581 WITH SCORE 48636.731
AT ITER 461 NEW BEST:: SOT 132727 SOS 55711 HAS SOPS 55711 HAS SOUS 48561 HAS SOUPS 48561 WITH SCORE 48616.711
AT ITER 466 NEW BEST:: SOT 132720 SOS 55734 HAS SOPS 55734 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48572.734
AT ITER 468 NEW BEST:: SOT 132720 SOS 55664 HAS SOPS 55664 HAS SOUS 48447 HAS SOUPS 48447 WITH SCORE 48502.664
AT ITER 483 NEW BEST:: SOT 132666 SOS 55652 HAS SOPS 55652 HAS SOUS 48426 HAS SOUPS 48426 WITH SCORE 48481.652
AT ITER 484 NEW BEST:: SOT 132666 SOS 55599 HAS SOPS 55599 HAS SOUS 48373 HAS SOUPS 48373 WITH SCORE 48428.599
AT ITER 488 NEW BEST:: SOT 132760 SOS 55556 HAS SOPS 55556 HAS SOUS 48330 HAS SOUPS 48330 WITH SCORE 48385.556
AT ITER 489 NEW BEST:: SOT 132676 SOS 55460 HAS SOPS 55460 HAS SOUS 48300 HAS SOUPS 48300 WITH SCORE 48355.46
AT ITER 496 NEW BEST:: SOT 132677 SOS 55462 HAS SOPS 55462 HAS SOUS 48298 HAS SOUPS 48298 WITH SCORE 48353.462
AT ITER 501 NEW BEST:: SOT 132656 SOS 55420 HAS SOPS 55420 HAS SOUS 48266 HAS SOUPS 48266 WITH SCORE 48321.42
AT ITER 507 NEW BEST:: SOT 132647 SOS 55305 HAS SOPS 55305 HAS SOUS 48257 HAS SOUPS 48257 WITH SCORE 48312.305
AT ITER 519 NEW BEST:: SOT 127482 SOS 64941 HAS SOPS 64941 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43310.941
AT ITER 520 NEW BEST:: SOT 127495 SOS 64967 HAS SOPS 64967 HAS SOUS 43232 HAS SOUPS 43232 WITH SCORE 43296.967
AT ITER 527 NEW BEST:: SOT 127428 SOS 64833 HAS SOPS 64833 HAS SOUS 43140 HAS SOUPS 43140 WITH SCORE 43204.833
AT ITER 532 NEW BEST:: SOT 127372 SOS 64721 HAS SOPS 64721 HAS SOUS 43009 HAS SOUPS 43009 WITH SCORE 43073.721
AT ITER 544 NEW BEST:: SOT 127206 SOS 64562 HAS SOPS 64562 HAS SOUS 42927 HAS SOUPS 42927 WITH SCORE 42991.562
AT ITER 551 NEW BEST:: SOT 127221 SOS 64644 HAS SOPS 64644 HAS SOUS 42923 HAS SOUPS 42923 WITH SCORE 42987.644
AT ITER 557 NEW BEST:: SOT 127221 SOS 64568 HAS SOPS 64568 HAS SOUS 42923 HAS SOUPS 42923 WITH SCORE 42987.568
AT ITER 577 NEW BEST:: SOT 127221 SOS 64508 HAS SOPS 64508 HAS SOUS 42923 HAS SOUPS 42923 WITH SCORE 42987.508
AT ITER 578 NEW BEST:: SOT 124934 SOS 62312 HAS SOPS 62312 HAS SOUS 40750 HAS SOUPS 40750 WITH SCORE 40812.312
AT ITER 586 NEW BEST:: SOT 124931 SOS 62284 HAS SOPS 62284 HAS SOUS 40744 HAS SOUPS 40744 WITH SCORE 40806.284
AT ITER 592 NEW BEST:: SOT 124867 SOS 62156 HAS SOPS 62156 HAS SOUS 40616 HAS SOUPS 40616 WITH SCORE 40678.156
AT ITER 602 NEW BEST:: SOT 124844 SOS 62110 HAS SOPS 62110 HAS SOUS 40593 HAS SOUPS 40593 WITH SCORE 40655.11
AT ITER 607 NEW BEST:: SOT 124676 SOS 61848 HAS SOPS 61848 HAS SOUS 40331 HAS SOUPS 40331 WITH SCORE 40392.848
AT ITER 612 NEW BEST:: SOT 124789 SOS 62074 HAS SOPS 62074 HAS SOUS 40323 HAS SOUPS 40323 WITH SCORE 40385.074
AT ITER 613 NEW BEST:: SOT 124785 SOS 62066 HAS SOPS 62066 HAS SOUS 40319 HAS SOUPS 40319 WITH SCORE 40381.066
AT ITER 617 NEW BEST:: SOT 124797 SOS 62090 HAS SOPS 62090 HAS SOUS 40306 HAS SOUPS 40306 WITH SCORE 40368.09
AT ITER 618 NEW BEST:: SOT 124775 SOS 62046 HAS SOPS 62046 HAS SOUS 40262 HAS SOUPS 40262 WITH SCORE 40324.046
AT ITER 622 NEW BEST:: SOT 124742 SOS 61980 HAS SOPS 61980 HAS SOUS 40188 HAS SOUPS 40188 WITH SCORE 40249.98
AT ITER 626 NEW BEST:: SOT 124738 SOS 61972 HAS SOPS 61972 HAS SOUS 40180 HAS SOUPS 40180 WITH SCORE 40241.972
AT ITER 641 NEW BEST:: SOT 124660 SOS 61817 HAS SOPS 61817 HAS SOUS 40142 HAS SOUPS 40142 WITH SCORE 40203.817
AT ITER 642 NEW BEST:: SOT 124636 SOS 61726 HAS SOPS 61726 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40112.726
AT ITER 647 NEW BEST:: SOT 124636 SOS 61715 HAS SOPS 61715 HAS SOUS 40051 HAS SOUPS 40051 WITH SCORE 40112.715
AT ITER 648 NEW BEST:: SOT 124636 SOS 61634 HAS SOPS 61634 HAS SOUS 39970 HAS SOUPS 39970 WITH SCORE 40031.634
AT ITER 653 NEW BEST:: SOT 124489 SOS 61345 HAS SOPS 61345 HAS SOUS 39818 HAS SOUPS 39818 WITH SCORE 39879.345
AT ITER 662 NEW BEST:: SOT 124472 SOS 61292 HAS SOPS 61292 HAS SOUS 39785 HAS SOUPS 39785 WITH SCORE 39846.292
AT ITER 665 NEW BEST:: SOT 124353 SOS 61054 HAS SOPS 61054 HAS SOUS 39587 HAS SOUPS 39587 WITH SCORE 39648.054
AT ITER 680 NEW BEST:: SOT 124349 SOS 61048 HAS SOPS 61048 HAS SOUS 39581 HAS SOUPS 39581 WITH SCORE 39642.048
AT ITER 689 NEW BEST:: SOT 124134 SOS 60779 HAS SOPS 60779 HAS SOUS 39386 HAS SOUPS 39386 WITH SCORE 39446.779
AT ITER 692 NEW BEST:: SOT 124120 SOS 60784 HAS SOPS 60784 HAS SOUS 39333 HAS SOUPS 39333 WITH SCORE 39393.784
AT ITER 695 NEW BEST:: SOT 124111 SOS 60775 HAS SOPS 60775 HAS SOUS 39324 HAS SOUPS 39324 WITH SCORE 39384.775
AT ITER 702 NEW BEST:: SOT 124111 SOS 60736 HAS SOPS 60736 HAS SOUS 39285 HAS SOUPS 39285 WITH SCORE 39345.736
AT ITER 708 NEW BEST:: SOT 124151 SOS 60770 HAS SOPS 60770 HAS SOUS 39258 HAS SOUPS 39258 WITH SCORE 39318.77
AT ITER 711 NEW BEST:: SOT 124100 SOS 60731 HAS SOPS 60731 HAS SOUS 39215 HAS SOUPS 39215 WITH SCORE 39275.731
AT ITER 725 NEW BEST:: SOT 124052 SOS 60635 HAS SOPS 60635 HAS SOUS 39119 HAS SOUPS 39119 WITH SCORE 39179.635
AT ITER 739 NEW BEST:: SOT 123997 SOS 60434 HAS SOPS 60434 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39077.434
AT ITER 742 NEW BEST:: SOT 123980 SOS 60400 HAS SOPS 60400 HAS SOUS 38983 HAS SOUPS 38983 WITH SCORE 39043.4
AT ITER 750 NEW BEST:: SOT 123949 SOS 60370 HAS SOPS 60370 HAS SOUS 38923 HAS SOUPS 38923 WITH SCORE 38983.37
AT ITER 759 NEW BEST:: SOT 123965 SOS 60258 HAS SOPS 60258 HAS SOUS 38843 HAS SOUPS 38843 WITH SCORE 38903.258
AT ITER 765 NEW BEST:: SOT 123880 SOS 60088 HAS SOPS 60088 HAS SOUS 38674 HAS SOUPS 38674 WITH SCORE 38734.088
AT ITER 775 NEW BEST:: SOT 123876 SOS 60080 HAS SOPS 60080 HAS SOUS 38666 HAS SOUPS 38666 WITH SCORE 38726.08
AT ITER 796 NEW BEST:: SOT 123874 SOS 60078 HAS SOPS 60078 HAS SOUS 38662 HAS SOUPS 38662 WITH SCORE 38722.078
AT ITER 809 NEW BEST:: SOT 123791 SOS 60018 HAS SOPS 60018 HAS SOUS 38638 HAS SOUPS 38638 WITH SCORE 38698.018
AT ITER 810 NEW BEST:: SOT 123781 SOS 60008 HAS SOPS 60008 HAS SOUS 38628 HAS SOUPS 38628 WITH SCORE 38688.008
AT ITER 814 NEW BEST:: SOT 123775 SOS 59969 HAS SOPS 59969 HAS SOUS 38450 HAS SOUPS 38450 WITH SCORE 38509.969
AT ITER 834 NEW BEST:: SOT 123696 SOS 59897 HAS SOPS 59897 HAS SOUS 38406 HAS SOUPS 38406 WITH SCORE 38465.897
AT ITER 841 NEW BEST:: SOT 123703 SOS 59891 HAS SOPS 59891 HAS SOUS 38400 HAS SOUPS 38400 WITH SCORE 38459.891
AT ITER 845 NEW BEST:: SOT 123618 SOS 59793 HAS SOPS 59793 HAS SOUS 38290 HAS SOUPS 38290 WITH SCORE 38349.793
AT ITER 848 NEW BEST:: SOT 123608 SOS 59773 HAS SOPS 59773 HAS SOUS 38230 HAS SOUPS 38230 WITH SCORE 38289.773
AT ITER 853 NEW BEST:: SOT 123594 SOS 59725 HAS SOPS 59725 HAS SOUS 38219 HAS SOUPS 38219 WITH SCORE 38278.725
AT ITER 861 NEW BEST:: SOT 123592 SOS 59719 HAS SOPS 59719 HAS SOUS 38215 HAS SOUPS 38215 WITH SCORE 38274.719
AT ITER 865 NEW BEST:: SOT 123592 SOS 59715 HAS SOPS 59715 HAS SOUS 38211 HAS SOUPS 38211 WITH SCORE 38270.715
AT ITER 867 NEW BEST:: SOT 123275 SOS 59349 HAS SOPS 59349 HAS SOUS 37886 HAS SOUPS 37886 WITH SCORE 37945.349
AT ITER 873 NEW BEST:: SOT 123224 SOS 59247 HAS SOPS 59247 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37843.247
AT ITER 888 NEW BEST:: SOT 123224 SOS 59185 HAS SOPS 59185 HAS SOUS 37784 HAS SOUPS 37784 WITH SCORE 37843.185
AT ITER 895 NEW BEST:: SOT 123219 SOS 59177 HAS SOPS 59177 HAS SOUS 37776 HAS SOUPS 37776 WITH SCORE 37835.177
AT ITER 899 NEW BEST:: SOT 123219 SOS 59177 HAS SOPS 59177 HAS SOUS 37708 HAS SOUPS 37708 WITH SCORE 37767.177
AT ITER 903 NEW BEST:: SOT 123219 SOS 58997 HAS SOPS 58997 HAS SOUS 37655 HAS SOUPS 37655 WITH SCORE 37713.997
AT ITER 904 NEW BEST:: SOT 123219 SOS 58997 HAS SOPS 58997 HAS SOUS 37607 HAS SOUPS 37607 WITH SCORE 37665.997
AT ITER 906 NEW BEST:: SOT 123114 SOS 58787 HAS SOPS 58787 HAS SOUS 37458 HAS SOUPS 37458 WITH SCORE 37516.787
AT ITER 914 NEW BEST:: SOT 123119 SOS 58797 HAS SOPS 58797 HAS SOUS 37450 HAS SOUPS 37450 WITH SCORE 37508.797
AT ITER 919 NEW BEST:: SOT 123088 SOS 58766 HAS SOPS 58766 HAS SOUS 37444 HAS SOUPS 37444 WITH SCORE 37502.766
AT ITER 923 NEW BEST:: SOT 123088 SOS 58745 HAS SOPS 58745 HAS SOUS 37423 HAS SOUPS 37423 WITH SCORE 37481.745
AT ITER 924 NEW BEST:: SOT 123079 SOS 58727 HAS SOPS 58727 HAS SOUS 37421 HAS SOUPS 37421 WITH SCORE 37479.727
AT ITER 925 NEW BEST:: SOT 123074 SOS 58722 HAS SOPS 58722 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37462.722
AT ITER 927 NEW BEST:: SOT 123055 SOS 58705 HAS SOPS 58705 HAS SOUS 37366 HAS SOUPS 37366 WITH SCORE 37424.705
AT ITER 932 NEW BEST:: SOT 123014 SOS 58606 HAS SOPS 58606 HAS SOUS 37321 HAS SOUPS 37321 WITH SCORE 37379.606
AT ITER 935 NEW BEST:: SOT 123012 SOS 58603 HAS SOPS 58603 HAS SOUS 37317 HAS SOUPS 37317 WITH SCORE 37375.603
AT ITER 936 NEW BEST:: SOT 123007 SOS 58593 HAS SOPS 58593 HAS SOUS 37307 HAS SOUPS 37307 WITH SCORE 37365.593
AT ITER 948 NEW BEST:: SOT 122970 SOS 58435 HAS SOPS 58435 HAS SOUS 37142 HAS SOUPS 37142 WITH SCORE 37200.435
AT ITER 951 NEW BEST:: SOT 122958 SOS 58411 HAS SOPS 58411 HAS SOUS 37118 HAS SOUPS 37118 WITH SCORE 37176.411
AT ITER 974 NEW BEST:: SOT 122700 SOS 58072 HAS SOPS 58072 HAS SOUS 36930 HAS SOUPS 36930 WITH SCORE 36988.072
AT ITER 988 NEW BEST:: SOT 122655 SOS 58027 HAS SOPS 58027 HAS SOUS 36885 HAS SOUPS 36885 WITH SCORE 36943.027
AT ITER 993 NEW BEST:: SOT 122629 SOS 57975 HAS SOPS 57975 HAS SOUS 36777 HAS SOUPS 36777 WITH SCORE 36834.975
AT ITER 994 NEW BEST:: SOT 122643 SOS 57989 HAS SOPS 57989 HAS SOUS 36776 HAS SOUPS 36776 WITH SCORE 36833.989
AT ITER 995 NEW BEST:: SOT 122602 SOS 57892 HAS SOPS 57892 HAS SOUS 36705 HAS SOUPS 36705 WITH SCORE 36762.892
AT ITER 1004 NEW BEST:: SOT 122623 SOS 57934 HAS SOPS 57934 HAS SOUS 36681 HAS SOUPS 36681 WITH SCORE 36738.934
AT ITER 1014 NEW BEST:: SOT 122549 SOS 57857 HAS SOPS 57857 HAS SOUS 36494 HAS SOUPS 36494 WITH SCORE 36551.857
AT ITER 1020 NEW BEST:: SOT 122549 SOS 57831 HAS SOPS 57831 HAS SOUS 36447 HAS SOUPS 36447 WITH SCORE 36504.831
AT ITER 1023 NEW BEST:: SOT 122549 SOS 57812 HAS SOPS 57812 HAS SOUS 36447 HAS SOUPS 36447 WITH SCORE 36504.812
AT ITER 1040 NEW BEST:: SOT 122549 SOS 57810 HAS SOPS 57810 HAS SOUS 36445 HAS SOUPS 36445 WITH SCORE 36502.81
AT ITER 1051 NEW BEST:: SOT 122548 SOS 57806 HAS SOPS 57806 HAS SOUS 36443 HAS SOUPS 36443 WITH SCORE 36500.806
AT ITER 1053 NEW BEST:: SOT 122517 SOS 57744 HAS SOPS 57744 HAS SOUS 36381 HAS SOUPS 36381 WITH SCORE 36438.744
AT ITER 1067 NEW BEST:: SOT 122521 SOS 57669 HAS SOPS 57669 HAS SOUS 36335 HAS SOUPS 36335 WITH SCORE 36392.669
AT ITER 1070 NEW BEST:: SOT 122521 SOS 57669 HAS SOPS 57669 HAS SOUS 36325 HAS SOUPS 36325 WITH SCORE 36382.669
AT ITER 1073 NEW BEST:: SOT 122521 SOS 57669 HAS SOPS 57669 HAS SOUS 36324 HAS SOUPS 36324 WITH SCORE 36381.669
AT ITER 1101 NEW BEST:: SOT 122521 SOS 57637 HAS SOPS 57637 HAS SOUS 36308 HAS SOUPS 36308 WITH SCORE 36365.637
AT ITER 1104 NEW BEST:: SOT 122442 SOS 57453 HAS SOPS 57453 HAS SOUS 36165 HAS SOUPS 36165 WITH SCORE 36222.453
AT ITER 1108 NEW BEST:: SOT 122442 SOS 57452 HAS SOPS 57452 HAS SOUS 36164 HAS SOUPS 36164 WITH SCORE 36221.452
AT ITER 1110 NEW BEST:: SOT 122428 SOS 57424 HAS SOPS 57424 HAS SOUS 36155 HAS SOUPS 36155 WITH SCORE 36212.424
AT ITER 1118 NEW BEST:: SOT 122428 SOS 57358 HAS SOPS 57358 HAS SOUS 36089 HAS SOUPS 36089 WITH SCORE 36146.358
AT ITER 1119 NEW BEST:: SOT 122418 SOS 57348 HAS SOPS 57348 HAS SOUS 36079 HAS SOUPS 36079 WITH SCORE 36136.348
AT ITER 1136 NEW BEST:: SOT 122391 SOS 57264 HAS SOPS 57264 HAS SOUS 36055 HAS SOUPS 36055 WITH SCORE 36112.264
AT ITER 1139 NEW BEST:: SOT 122383 SOS 57088 HAS SOPS 57088 HAS SOUS 35871 HAS SOUPS 35871 WITH SCORE 35928.088
AT ITER 1143 NEW BEST:: SOT 122270 SOS 56962 HAS SOPS 56962 HAS SOUS 35845 HAS SOUPS 35845 WITH SCORE 35901.962
AT ITER 1146 NEW BEST:: SOT 122332 SOS 57024 HAS SOPS 57024 HAS SOUS 35843 HAS SOUPS 35843 WITH SCORE 35900.024
AT ITER 1153 NEW BEST:: SOT 122357 SOS 57030 HAS SOPS 57030 HAS SOUS 35769 HAS SOUPS 35769 WITH SCORE 35826.03
AT ITER 1157 NEW BEST:: SOT 122254 SOS 56894 HAS SOPS 56894 HAS SOUS 35633 HAS SOUPS 35633 WITH SCORE 35689.894
AT ITER 1183 NEW BEST:: SOT 122246 SOS 56886 HAS SOPS 56886 HAS SOUS 35625 HAS SOUPS 35625 WITH SCORE 35681.886
AT ITER 1186 NEW BEST:: SOT 122213 SOS 56787 HAS SOPS 56787 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35615.787
AT ITER 1195 NEW BEST:: SOT 122204 SOS 56778 HAS SOPS 56778 HAS SOUS 35559 HAS SOUPS 35559 WITH SCORE 35615.778
AT ITER 1196 NEW BEST:: SOT 122177 SOS 56759 HAS SOPS 56759 HAS SOUS 35505 HAS SOUPS 35505 WITH SCORE 35561.759
AT ITER 1201 NEW BEST:: SOT 122194 SOS 49333 HAS SOPS 49333 HAS SOUS 35435 HAS SOUPS 35435 WITH SCORE 35484.333
AT ITER 1203 NEW BEST:: SOT 122194 SOS 49333 HAS SOPS 49333 HAS SOUS 35431 HAS SOUPS 35431 WITH SCORE 35480.333
AT ITER 1231 NEW BEST:: SOT 122160 SOS 49336 HAS SOPS 49336 HAS SOUS 35394 HAS SOUPS 35394 WITH SCORE 35443.336
AT ITER 1233 NEW BEST:: SOT 122132 SOS 49337 HAS SOPS 49337 HAS SOUS 35360 HAS SOUPS 35360 WITH SCORE 35409.337
AT ITER 1250 NEW BEST:: SOT 122132 SOS 49249 HAS SOPS 49249 HAS SOUS 35360 HAS SOUPS 35360 WITH SCORE 35409.249
AT ITER 1251 NEW BEST:: SOT 122148 SOS 49246 HAS SOPS 49246 HAS SOUS 35357 HAS SOUPS 35357 WITH SCORE 35406.246
AT ITER 1253 NEW BEST:: SOT 122158 SOS 49266 HAS SOPS 49266 HAS SOUS 35350 HAS SOUPS 35350 WITH SCORE 35399.266
AT ITER 1258 NEW BEST:: SOT 122113 SOS 49151 HAS SOPS 49151 HAS SOUS 35260 HAS SOUPS 35260 WITH SCORE 35309.151
AT ITER 1264 NEW BEST:: SOT 122096 SOS 49108 HAS SOPS 49108 HAS SOUS 35219 HAS SOUPS 35219 WITH SCORE 35268.108
AT ITER 1286 NEW BEST:: SOT 122218 SOS 49325 HAS SOPS 49325 HAS SOUS 35095 HAS SOUPS 35095 WITH SCORE 35144.325
AT ITER 1287 NEW BEST:: SOT 122218 SOS 49325 HAS SOPS 49325 HAS SOUS 35077 HAS SOUPS 35077 WITH SCORE 35126.325
AT ITER 1295 NEW BEST:: SOT 122197 SOS 49343 HAS SOPS 49343 HAS SOUS 35074 HAS SOUPS 35074 WITH SCORE 35123.343
AT ITER 1297 NEW BEST:: SOT 121963 SOS 49033 HAS SOPS 49033 HAS SOUS 34764 HAS SOUPS 34764 WITH SCORE 34813.033
AT ITER 1300 NEW BEST:: SOT 121687 SOS 48757 HAS SOPS 48757 HAS SOUS 34488 HAS SOUPS 34488 WITH SCORE 34536.757
AT ITER 1302 NEW BEST:: SOT 121687 SOS 48757 HAS SOPS 48757 HAS SOUS 34457 HAS SOUPS 34457 WITH SCORE 34505.757
AT ITER 1314 NEW BEST:: SOT 121673 SOS 48743 HAS SOPS 48743 HAS SOUS 34425 HAS SOUPS 34425 WITH SCORE 34473.743
AT ITER 1324 NEW BEST:: SOT 121612 SOS 48621 HAS SOPS 48621 HAS SOUS 34374 HAS SOUPS 34374 WITH SCORE 34422.621
AT ITER 1329 NEW BEST:: SOT 121564 SOS 48586 HAS SOPS 48586 HAS SOUS 34278 HAS SOUPS 34278 WITH SCORE 34326.586
AT ITER 1333 NEW BEST:: SOT 121530 SOS 48552 HAS SOPS 48552 HAS SOUS 34210 HAS SOUPS 34210 WITH SCORE 34258.552
AT ITER 1336 NEW BEST:: SOT 121496 SOS 48484 HAS SOPS 48484 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34224.484
AT ITER 1355 NEW BEST:: SOT 121487 SOS 48466 HAS SOPS 48466 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34224.466
AT ITER 1363 NEW BEST:: SOT 121447 SOS 48386 HAS SOPS 48386 HAS SOUS 34096 HAS SOUPS 34096 WITH SCORE 34144.386
AT ITER 1367 NEW BEST:: SOT 121388 SOS 48309 HAS SOPS 48309 HAS SOUS 34019 HAS SOUPS 34019 WITH SCORE 34067.309
AT ITER 1371 NEW BEST:: SOT 121374 SOS 48281 HAS SOPS 48281 HAS SOUS 34013 HAS SOUPS 34013 WITH SCORE 34061.281
AT ITER 1372 NEW BEST:: SOT 121306 SOS 48145 HAS SOPS 48145 HAS SOUS 33877 HAS SOUPS 33877 WITH SCORE 33925.145
AT ITER 1394 NEW BEST:: SOT 121299 SOS 48132 HAS SOPS 48132 HAS SOUS 33869 HAS SOUPS 33869 WITH SCORE 33917.132
AT ITER 1415 NEW BEST:: SOT 121233 SOS 48444 HAS SOPS 48444 HAS SOUS 33809 HAS SOUPS 33809 WITH SCORE 33857.444
AT ITER 1419 NEW BEST:: SOT 121156 SOS 48069 HAS SOPS 48069 HAS SOUS 33567 HAS SOUPS 33567 WITH SCORE 33615.069
AT ITER 1433 NEW BEST:: SOT 121149 SOS 48055 HAS SOPS 48055 HAS SOUS 33553 HAS SOUPS 33553 WITH SCORE 33601.055
AT ITER 1437 NEW BEST:: SOT 121117 SOS 48023 HAS SOPS 48023 HAS SOUS 33489 HAS SOUPS 33489 WITH SCORE 33537.023
AT ITER 1463 NEW BEST:: SOT 121108 SOS 47994 HAS SOPS 47994 HAS SOUS 33471 HAS SOUPS 33471 WITH SCORE 33518.994
AT ITER 1501 NEW BEST:: SOT 121096 SOS 47989 HAS SOPS 47989 HAS SOUS 33459 HAS SOUPS 33459 WITH SCORE 33506.989
AT ITER 1504 NEW BEST:: SOT 121053 SOS 47832 HAS SOPS 47832 HAS SOUS 33302 HAS SOUPS 33302 WITH SCORE 33349.832
AT ITER 1523 NEW BEST:: SOT 120846 SOS 47682 HAS SOPS 47682 HAS SOUS 33302 HAS SOUPS 33302 WITH SCORE 33349.682
AT ITER 1540 NEW BEST:: SOT 120836 SOS 47662 HAS SOPS 47662 HAS SOUS 33282 HAS SOUPS 33282 WITH SCORE 33329.662
AT ITER 1549 NEW BEST:: SOT 120804 SOS 47598 HAS SOPS 47598 HAS SOUS 33153 HAS SOUPS 33153 WITH SCORE 33200.598
AT ITER 1555 NEW BEST:: SOT 120760 SOS 47510 HAS SOPS 47510 HAS SOUS 33109 HAS SOUPS 33109 WITH SCORE 33156.51
AT ITER 1559 NEW BEST:: SOT 120762 SOS 47475 HAS SOPS 47475 HAS SOUS 33074 HAS SOUPS 33074 WITH SCORE 33121.475
AT ITER 1562 NEW BEST:: SOT 120761 SOS 47424 HAS SOPS 47424 HAS SOUS 33072 HAS SOUPS 33072 WITH SCORE 33119.424
AT ITER 1566 NEW BEST:: SOT 120589 SOS 47210 HAS SOPS 47210 HAS SOUS 32837 HAS SOUPS 32837 WITH SCORE 32884.21
AT ITER 1569 NEW BEST:: SOT 120582 SOS 47196 HAS SOPS 47196 HAS SOUS 32807 HAS SOUPS 32807 WITH SCORE 32854.196
AT ITER 1570 NEW BEST:: SOT 120558 SOS 47112 HAS SOPS 47112 HAS SOUS 32759 HAS SOUPS 32759 WITH SCORE 32806.112
AT ITER 1575 NEW BEST:: SOT 120558 SOS 47112 HAS SOPS 47112 HAS SOUS 32736 HAS SOUPS 32736 WITH SCORE 32783.112
AT ITER 1576 NEW BEST:: SOT 120547 SOS 47101 HAS SOPS 47101 HAS SOUS 32714 HAS SOUPS 32714 WITH SCORE 32761.101
AT ITER 1588 NEW BEST:: SOT 120541 SOS 47089 HAS SOPS 47089 HAS SOUS 32702 HAS SOUPS 32702 WITH SCORE 32749.089
AT ITER 1591 NEW BEST:: SOT 120503 SOS 47014 HAS SOPS 47014 HAS SOUS 32626 HAS SOUPS 32626 WITH SCORE 32673.014
AT ITER 1597 NEW BEST:: SOT 120500 SOS 46984 HAS SOPS 46984 HAS SOUS 32599 HAS SOUPS 32599 WITH SCORE 32645.984
AT ITER 1598 NEW BEST:: SOT 120457 SOS 46941 HAS SOPS 46941 HAS SOUS 32556 HAS SOUPS 32556 WITH SCORE 32602.941
AT ITER 1602 NEW BEST:: SOT 120392 SOS 46811 HAS SOPS 46811 HAS SOUS 32475 HAS SOUPS 32475 WITH SCORE 32521.811
AT ITER 1618 NEW BEST:: SOT 120358 SOS 46812 HAS SOPS 46812 HAS SOUS 32372 HAS SOUPS 32372 WITH SCORE 32418.812
AT ITER 1627 NEW BEST:: SOT 120346 SOS 46831 HAS SOPS 46831 HAS SOUS 32361 HAS SOUPS 32361 WITH SCORE 32407.831
AT ITER 1639 NEW BEST:: SOT 120293 SOS 46825 HAS SOPS 46825 HAS SOUS 32308 HAS SOUPS 32308 WITH SCORE 32354.825
AT ITER 1663 NEW BEST:: SOT 120253 SOS 46739 HAS SOPS 46739 HAS SOUS 32228 HAS SOUPS 32228 WITH SCORE 32274.739
AT ITER 1674 NEW BEST:: SOT 120245 SOS 46736 HAS SOPS 46736 HAS SOUS 32225 HAS SOUPS 32225 WITH SCORE 32271.736
AT ITER 1679 NEW BEST:: SOT 120180 SOS 46671 HAS SOPS 46671 HAS SOUS 32156 HAS SOUPS 32156 WITH SCORE 32202.671
AT ITER 1692 NEW BEST:: SOT 120157 SOS 46625 HAS SOPS 46625 HAS SOUS 32110 HAS SOUPS 32110 WITH SCORE 32156.625
AT ITER 1696 NEW BEST:: SOT 120149 SOS 46666 HAS SOPS 46666 HAS SOUS 32084 HAS SOUPS 32084 WITH SCORE 32130.666
AT ITER 1707 NEW BEST:: SOT 120218 SOS 46817 HAS SOPS 46817 HAS SOUS 32067 HAS SOUPS 32067 WITH SCORE 32113.817
AT ITER 1716 NEW BEST:: SOT 120194 SOS 46790 HAS SOPS 46790 HAS SOUS 32040 HAS SOUPS 32040 WITH SCORE 32086.79
AT ITER 1749 NEW BEST:: SOT 120194 SOS 46780 HAS SOPS 46780 HAS SOUS 32030 HAS SOUPS 32030 WITH SCORE 32076.78
AT ITER 1751 NEW BEST:: SOT 120166 SOS 46746 HAS SOPS 46746 HAS SOUS 32018 HAS SOUPS 32018 WITH SCORE 32064.746
AT ITER 1752 NEW BEST:: SOT 120038 SOS 46490 HAS SOPS 46490 HAS SOUS 31762 HAS SOUPS 31762 WITH SCORE 31808.49
AT ITER 1760 NEW BEST:: SOT 120038 SOS 46483 HAS SOPS 46483 HAS SOUS 31753 HAS SOUPS 31753 WITH SCORE 31799.483
AT ITER 1770 NEW BEST:: SOT 120025 SOS 46476 HAS SOPS 46476 HAS SOUS 31743 HAS SOUPS 31743 WITH SCORE 31789.476
AT ITER 1794 NEW BEST:: SOT 120043 SOS 46383 HAS SOPS 46383 HAS SOUS 31677 HAS SOUPS 31677 WITH SCORE 31723.383
AT ITER 1800 NEW BEST:: SOT 120004 SOS 46225 HAS SOPS 46225 HAS SOUS 31558 HAS SOUPS 31558 WITH SCORE 31604.225
AT ITER 1803 NEW BEST:: SOT 119947 SOS 46175 HAS SOPS 46175 HAS SOUS 31508 HAS SOUPS 31508 WITH SCORE 31554.175
AT ITER 1834 NEW BEST:: SOT 119938 SOS 46226 HAS SOPS 46226 HAS SOUS 31479 HAS SOUPS 31479 WITH SCORE 31525.226
AT ITER 1835 NEW BEST:: SOT 119951 SOS 46060 HAS SOPS 46060 HAS SOUS 31444 HAS SOUPS 31444 WITH SCORE 31490.06
AT ITER 1847 NEW BEST:: SOT 119954 SOS 46089 HAS SOPS 46089 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31480.089
AT ITER 1857 NEW BEST:: SOT 119954 SOS 45949 HAS SOPS 45949 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31479.949
AT ITER 1863 NEW BEST:: SOT 119948 SOS 45942 HAS SOPS 45942 HAS SOUS 31428 HAS SOUPS 31428 WITH SCORE 31473.942
AT ITER 1902 NEW BEST:: SOT 119948 SOS 45919 HAS SOPS 45919 HAS SOUS 31428 HAS SOUPS 31428 WITH SCORE 31473.919
AT ITER 1921 NEW BEST:: SOT 119948 SOS 45908 HAS SOPS 45908 HAS SOUS 31428 HAS SOUPS 31428 WITH SCORE 31473.908
AT ITER 1959 NEW BEST:: SOT 119875 SOS 45792 HAS SOPS 45792 HAS SOUS 31376 HAS SOUPS 31376 WITH SCORE 31421.792
AT ITER 2011 NEW BEST:: SOT 119898 SOS 45784 HAS SOPS 45784 HAS SOUS 31368 HAS SOUPS 31368 WITH SCORE 31413.784
AT ITER 2040 NEW BEST:: SOT 119850 SOS 45753 HAS SOPS 45753 HAS SOUS 31320 HAS SOUPS 31320 WITH SCORE 31365.753
AT ITER 2087 NEW BEST:: SOT 119801 SOS 45675 HAS SOPS 45675 HAS SOUS 31244 HAS SOUPS 31244 WITH SCORE 31289.675
AT ITER 2110 NEW BEST:: SOT 119802 SOS 45646 HAS SOPS 45646 HAS SOUS 31216 HAS SOUPS 31216 WITH SCORE 31261.646
AT ITER 2120 NEW BEST:: SOT 119794 SOS 45630 HAS SOPS 45630 HAS SOUS 31210 HAS SOUPS 31210 WITH SCORE 31255.63
AT ITER 2128 NEW BEST:: SOT 119774 SOS 45626 HAS SOPS 45626 HAS SOUS 31182 HAS SOUPS 31182 WITH SCORE 31227.626
AT ITER 2134 NEW BEST:: SOT 119773 SOS 45625 HAS SOPS 45625 HAS SOUS 31159 HAS SOUPS 31159 WITH SCORE 31204.625
AT ITER 2141 NEW BEST:: SOT 119690 SOS 45542 HAS SOPS 45542 HAS SOUS 31041 HAS SOUPS 31041 WITH SCORE 31086.542
AT ITER 2145 NEW BEST:: SOT 119659 SOS 45542 HAS SOPS 45542 HAS SOUS 31010 HAS SOUPS 31010 WITH SCORE 31055.542
AT ITER 2149 NEW BEST:: SOT 119655 SOS 45538 HAS SOPS 45538 HAS SOUS 31006 HAS SOUPS 31006 WITH SCORE 31051.538
AT ITER 2155 NEW BEST:: SOT 119708 SOS 45584 HAS SOPS 45584 HAS SOUS 30999 HAS SOUPS 30999 WITH SCORE 31044.584
AT ITER 2156 NEW BEST:: SOT 119692 SOS 45512 HAS SOPS 45512 HAS SOUS 30943 HAS SOUPS 30943 WITH SCORE 30988.512
AT ITER 2164 NEW BEST:: SOT 119678 SOS 45439 HAS SOPS 45439 HAS SOUS 30905 HAS SOUPS 30905 WITH SCORE 30950.439
AT ITER 2167 NEW BEST:: SOT 119661 SOS 45466 HAS SOPS 45466 HAS SOUS 30871 HAS SOUPS 30871 WITH SCORE 30916.466
AT ITER 2174 NEW BEST:: SOT 119661 SOS 45462 HAS SOPS 45462 HAS SOUS 30871 HAS SOUPS 30871 WITH SCORE 30916.462
AT ITER 2187 NEW BEST:: SOT 119639 SOS 45418 HAS SOPS 45418 HAS SOUS 30801 HAS SOUPS 30801 WITH SCORE 30846.418
AT ITER 2188 NEW BEST:: SOT 119605 SOS 45384 HAS SOPS 45384 HAS SOUS 30767 HAS SOUPS 30767 WITH SCORE 30812.384
AT ITER 2201 NEW BEST:: SOT 119566 SOS 45306 HAS SOPS 45306 HAS SOUS 30661 HAS SOUPS 30661 WITH SCORE 30706.306
AT ITER 2207 NEW BEST:: SOT 119566 SOS 45306 HAS SOPS 45306 HAS SOUS 30655 HAS SOUPS 30655 WITH SCORE 30700.306
AT ITER 2213 NEW BEST:: SOT 119535 SOS 45306 HAS SOPS 45306 HAS SOUS 30593 HAS SOUPS 30593 WITH SCORE 30638.306
AT ITER 2216 NEW BEST:: SOT 119487 SOS 45324 HAS SOPS 45324 HAS SOUS 30545 HAS SOUPS 30545 WITH SCORE 30590.324
AT ITER 2218 NEW BEST:: SOT 119487 SOS 45316 HAS SOPS 45316 HAS SOUS 30545 HAS SOUPS 30545 WITH SCORE 30590.316
AT ITER 2220 NEW BEST:: SOT 119469 SOS 45313 HAS SOPS 45313 HAS SOUS 30541 HAS SOUPS 30541 WITH SCORE 30586.313
AT ITER 2228 NEW BEST:: SOT 119425 SOS 45269 HAS SOPS 45269 HAS SOUS 30475 HAS SOUPS 30475 WITH SCORE 30520.269
AT ITER 2232 NEW BEST:: SOT 119436 SOS 45229 HAS SOPS 45229 HAS SOUS 30435 HAS SOUPS 30435 WITH SCORE 30480.229
AT ITER 2234 NEW BEST:: SOT 119432 SOS 45283 HAS SOPS 45283 HAS SOUS 30428 HAS SOUPS 30428 WITH SCORE 30473.283
AT ITER 2280 NEW BEST:: SOT 119429 SOS 45219 HAS SOPS 45219 HAS SOUS 30422 HAS SOUPS 30422 WITH SCORE 30467.219
AT ITER 2284 NEW BEST:: SOT 119429 SOS 45175 HAS SOPS 45175 HAS SOUS 30378 HAS SOUPS 30378 WITH SCORE 30423.175
AT ITER 2290 NEW BEST:: SOT 119428 SOS 45162 HAS SOPS 45162 HAS SOUS 30376 HAS SOUPS 30376 WITH SCORE 30421.162
AT ITER 2291 NEW BEST:: SOT 119427 SOS 45148 HAS SOPS 45148 HAS SOUS 30371 HAS SOUPS 30371 WITH SCORE 30416.148
AT ITER 2292 NEW BEST:: SOT 119336 SOS 45066 HAS SOPS 45066 HAS SOUS 30288 HAS SOUPS 30288 WITH SCORE 30333.066
AT ITER 2312 NEW BEST:: SOT 119314 SOS 45022 HAS SOPS 45022 HAS SOUS 30244 HAS SOUPS 30244 WITH SCORE 30289.022
AT ITER 2386 NEW BEST:: SOT 119304 SOS 45012 HAS SOPS 45012 HAS SOUS 30224 HAS SOUPS 30224 WITH SCORE 30269.012
AT ITER 2420 NEW BEST:: SOT 119303 SOS 45010 HAS SOPS 45010 HAS SOUS 30221 HAS SOUPS 30221 WITH SCORE 30266.01
AT ITER 2448 NEW BEST:: SOT 119291 SOS 44987 HAS SOPS 44987 HAS SOUS 30208 HAS SOUPS 30208 WITH SCORE 30252.987
AT ITER 2454 NEW BEST:: SOT 119273 SOS 44969 HAS SOPS 44969 HAS SOUS 30190 HAS SOUPS 30190 WITH SCORE 30234.969
AT ITER 2457 NEW BEST:: SOT 119188 SOS 44933 HAS SOPS 44933 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30216.933
AT ITER 2458 NEW BEST:: SOT 119179 SOS 44931 HAS SOPS 44931 HAS SOUS 30170 HAS SOUPS 30170 WITH SCORE 30214.931
AT ITER 2464 NEW BEST:: SOT 119049 SOS 46012 HAS SOPS 46012 HAS SOUS 30062 HAS SOUPS 30062 WITH SCORE 30108.012
AT ITER 2467 NEW BEST:: SOT 118997 SOS 47821 HAS SOPS 47821 HAS SOUS 30044 HAS SOUPS 30044 WITH SCORE 30091.821
AT ITER 2476 NEW BEST:: SOT 118739 SOS 47553 HAS SOPS 47553 HAS SOUS 29801 HAS SOUPS 29801 WITH SCORE 29848.553
AT ITER 2480 NEW BEST:: SOT 118739 SOS 47550 HAS SOPS 47550 HAS SOUS 29798 HAS SOUPS 29798 WITH SCORE 29845.55
AT ITER 2483 NEW BEST:: SOT 118766 SOS 47546 HAS SOPS 47546 HAS SOUS 29797 HAS SOUPS 29797 WITH SCORE 29844.546
AT ITER 2500 NEW BEST:: SOT 118770 SOS 47554 HAS SOPS 47554 HAS SOUS 29793 HAS SOUPS 29793 WITH SCORE 29840.554
AT ITER 2510 NEW BEST:: SOT 118770 SOS 47544 HAS SOPS 47544 HAS SOUS 29783 HAS SOUPS 29783 WITH SCORE 29830.544
AT ITER 2519 NEW BEST:: SOT 118656 SOS 47365 HAS SOPS 47365 HAS SOUS 29604 HAS SOUPS 29604 WITH SCORE 29651.365
AT ITER 2526 NEW BEST:: SOT 118578 SOS 47313 HAS SOPS 47313 HAS SOUS 29516 HAS SOUPS 29516 WITH SCORE 29563.313
AT ITER 2527 NEW BEST:: SOT 118586 SOS 47344 HAS SOPS 47344 HAS SOUS 29491 HAS SOUPS 29491 WITH SCORE 29538.344
AT ITER 2554 NEW BEST:: SOT 118550 SOS 47308 HAS SOPS 47308 HAS SOUS 29455 HAS SOUPS 29455 WITH SCORE 29502.308
AT ITER 2563 NEW BEST:: SOT 118522 SOS 47280 HAS SOPS 47280 HAS SOUS 29399 HAS SOUPS 29399 WITH SCORE 29446.28
AT ITER 2565 NEW BEST:: SOT 118480 SOS 47244 HAS SOPS 47244 HAS SOUS 29354 HAS SOUPS 29354 WITH SCORE 29401.244
AT ITER 2583 NEW BEST:: SOT 118480 SOS 47243 HAS SOPS 47243 HAS SOUS 29338 HAS SOUPS 29338 WITH SCORE 29385.243
AT ITER 2589 NEW BEST:: SOT 118465 SOS 47171 HAS SOPS 47171 HAS SOUS 29305 HAS SOUPS 29305 WITH SCORE 29352.171
AT ITER 2594 NEW BEST:: SOT 118459 SOS 47166 HAS SOPS 47166 HAS SOUS 29289 HAS SOUPS 29289 WITH SCORE 29336.166
AT ITER 2609 NEW BEST:: SOT 118389 SOS 47096 HAS SOPS 47096 HAS SOUS 29250 HAS SOUPS 29250 WITH SCORE 29297.096
AT ITER 2625 NEW BEST:: SOT 118387 SOS 47074 HAS SOPS 47074 HAS SOUS 29247 HAS SOUPS 29247 WITH SCORE 29294.074
AT ITER 2634 NEW BEST:: SOT 118384 SOS 47068 HAS SOPS 47068 HAS SOUS 29241 HAS SOUPS 29241 WITH SCORE 29288.068
AT ITER 2637 NEW BEST:: SOT 118413 SOS 47228 HAS SOPS 47228 HAS SOUS 29208 HAS SOUPS 29208 WITH SCORE 29255.228
AT ITER 2640 NEW BEST:: SOT 118406 SOS 47214 HAS SOPS 47214 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29241.214
AT ITER 2644 NEW BEST:: SOT 118388 SOS 47214 HAS SOPS 47214 HAS SOUS 29158 HAS SOUPS 29158 WITH SCORE 29205.214
AT ITER 2647 NEW BEST:: SOT 118394 SOS 47182 HAS SOPS 47182 HAS SOUS 29126 HAS SOUPS 29126 WITH SCORE 29173.182
AT ITER 2648 NEW BEST:: SOT 118371 SOS 47136 HAS SOPS 47136 HAS SOUS 29107 HAS SOUPS 29107 WITH SCORE 29154.136
AT ITER 2662 NEW BEST:: SOT 118345 SOS 47151 HAS SOPS 47151 HAS SOUS 29102 HAS SOUPS 29102 WITH SCORE 29149.151
AT ITER 2663 NEW BEST:: SOT 118332 SOS 47060 HAS SOPS 47060 HAS SOUS 29076 HAS SOUPS 29076 WITH SCORE 29123.06
AT ITER 2665 NEW BEST:: SOT 118245 SOS 47040 HAS SOPS 47040 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 29007.04
AT ITER 2690 NEW BEST:: SOT 118222 SOS 47017 HAS SOPS 47017 HAS SOUS 28919 HAS SOUPS 28919 WITH SCORE 28966.017
AT ITER 2699 NEW BEST:: SOT 118192 SOS 46982 HAS SOPS 46982 HAS SOUS 28888 HAS SOUPS 28888 WITH SCORE 28934.982
AT ITER 2701 NEW BEST:: SOT 118184 SOS 46964 HAS SOPS 46964 HAS SOUS 28817 HAS SOUPS 28817 WITH SCORE 28863.964
AT ITER 2743 NEW BEST:: SOT 118228 SOS 46928 HAS SOPS 46928 HAS SOUS 28781 HAS SOUPS 28781 WITH SCORE 28827.928
AT ITER 2745 NEW BEST:: SOT 118207 SOS 46977 HAS SOPS 46977 HAS SOUS 28719 HAS SOUPS 28719 WITH SCORE 28765.977
AT ITER 2779 NEW BEST:: SOT 118207 SOS 46983 HAS SOPS 46983 HAS SOUS 28713 HAS SOUPS 28713 WITH SCORE 28759.983
AT ITER 2786 NEW BEST:: SOT 118220 SOS 46917 HAS SOPS 46917 HAS SOUS 28680 HAS SOUPS 28680 WITH SCORE 28726.917
AT ITER 2805 NEW BEST:: SOT 118193 SOS 46863 HAS SOPS 46863 HAS SOUS 28626 HAS SOUPS 28626 WITH SCORE 28672.863
AT ITER 2815 NEW BEST:: SOT 118171 SOS 46832 HAS SOPS 46832 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28659.832
AT ITER 2816 NEW BEST:: SOT 118171 SOS 46818 HAS SOPS 46818 HAS SOUS 28613 HAS SOUPS 28613 WITH SCORE 28659.818
AT ITER 2832 NEW BEST:: SOT 118171 SOS 46818 HAS SOPS 46818 HAS SOUS 28612 HAS SOUPS 28612 WITH SCORE 28658.818
AT ITER 2886 NEW BEST:: SOT 118163 SOS 46810 HAS SOPS 46810 HAS SOUS 28596 HAS SOUPS 28596 WITH SCORE 28642.81
AT ITER 2901 NEW BEST:: SOT 118152 SOS 46796 HAS SOPS 46796 HAS SOUS 28582 HAS SOUPS 28582 WITH SCORE 28628.796
AT ITER 2907 NEW BEST:: SOT 118134 SOS 46778 HAS SOPS 46778 HAS SOUS 28546 HAS SOUPS 28546 WITH SCORE 28592.778
AT ITER 2920 NEW BEST:: SOT 118125 SOS 46764 HAS SOPS 46764 HAS SOUS 28536 HAS SOUPS 28536 WITH SCORE 28582.764
AT ITER 2935 NEW BEST:: SOT 118120 SOS 46759 HAS SOPS 46759 HAS SOUS 28535 HAS SOUPS 28535 WITH SCORE 28581.759
AT ITER 2936 NEW BEST:: SOT 118124 SOS 46746 HAS SOPS 46746 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28572.746
AT ITER 2993 NEW BEST:: SOT 118090 SOS 46678 HAS SOPS 46678 HAS SOUS 28466 HAS SOUPS 28466 WITH SCORE 28512.678
AT ITER 3005 NEW BEST:: SOT 118089 SOS 46673 HAS SOPS 46673 HAS SOUS 28464 HAS SOUPS 28464 WITH SCORE 28510.673
AT ITER 3012 NEW BEST:: SOT 118085 SOS 46669 HAS SOPS 46669 HAS SOUS 28460 HAS SOUPS 28460 WITH SCORE 28506.669
AT ITER 3022 NEW BEST:: SOT 118068 SOS 46635 HAS SOPS 46635 HAS SOUS 28443 HAS SOUPS 28443 WITH SCORE 28489.635
AT ITER 3043 NEW BEST:: SOT 118034 SOS 45760 HAS SOPS 45760 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28421.76
AT ITER 3054 NEW BEST:: SOT 118030 SOS 45720 HAS SOPS 45720 HAS SOUS 28359 HAS SOUPS 28359 WITH SCORE 28404.72
AT ITER 3079 NEW BEST:: SOT 118023 SOS 45713 HAS SOPS 45713 HAS SOUS 28352 HAS SOUPS 28352 WITH SCORE 28397.713
AT ITER 3110 NEW BEST:: SOT 118022 SOS 45711 HAS SOPS 45711 HAS SOUS 28350 HAS SOUPS 28350 WITH SCORE 28395.711
AT ITER 3113 NEW BEST:: SOT 117936 SOS 45709 HAS SOPS 45709 HAS SOUS 28348 HAS SOUPS 28348 WITH SCORE 28393.709
AT ITER 3116 NEW BEST:: SOT 117956 SOS 45803 HAS SOPS 45803 HAS SOUS 28311 HAS SOUPS 28311 WITH SCORE 28356.803
AT ITER 3127 NEW BEST:: SOT 117727 SOS 45745 HAS SOPS 45745 HAS SOUS 28164 HAS SOUPS 28164 WITH SCORE 28209.745
AT ITER 3128 NEW BEST:: SOT 117706 SOS 45724 HAS SOPS 45724 HAS SOUS 28143 HAS SOUPS 28143 WITH SCORE 28188.724
AT ITER 3135 NEW BEST:: SOT 117487 SOS 45518 HAS SOPS 45518 HAS SOUS 28059 HAS SOUPS 28059 WITH SCORE 28104.518
AT ITER 3136 NEW BEST:: SOT 117481 SOS 45506 HAS SOPS 45506 HAS SOUS 28048 HAS SOUPS 28048 WITH SCORE 28093.506
AT ITER 3142 NEW BEST:: SOT 117455 SOS 45454 HAS SOPS 45454 HAS SOUS 28007 HAS SOUPS 28007 WITH SCORE 28052.454
AT ITER 3155 NEW BEST:: SOT 117453 SOS 45442 HAS SOPS 45442 HAS SOUS 27995 HAS SOUPS 27995 WITH SCORE 28040.442
AT ITER 3157 NEW BEST:: SOT 117415 SOS 45366 HAS SOPS 45366 HAS SOUS 27899 HAS SOUPS 27899 WITH SCORE 27944.366
AT ITER 3174 NEW BEST:: SOT 117426 SOS 45368 HAS SOPS 45368 HAS SOUS 27890 HAS SOUPS 27890 WITH SCORE 27935.368
AT ITER 3209 NEW BEST:: SOT 117419 SOS 45348 HAS SOPS 45348 HAS SOUS 27876 HAS SOUPS 27876 WITH SCORE 27921.348
AT ITER 3216 NEW BEST:: SOT 117394 SOS 45313 HAS SOPS 45313 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27871.313
AT ITER 3234 NEW BEST:: SOT 117380 SOS 45285 HAS SOPS 45285 HAS SOUS 27807 HAS SOUPS 27807 WITH SCORE 27852.285
AT ITER 3239 NEW BEST:: SOT 117380 SOS 45232 HAS SOPS 45232 HAS SOUS 27754 HAS SOUPS 27754 WITH SCORE 27799.232
AT ITER 3251 NEW BEST:: SOT 117373 SOS 45218 HAS SOPS 45218 HAS SOUS 27740 HAS SOUPS 27740 WITH SCORE 27785.218
AT ITER 3261 NEW BEST:: SOT 117293 SOS 45161 HAS SOPS 45161 HAS SOUS 27683 HAS SOUPS 27683 WITH SCORE 27728.161
AT ITER 3293 NEW BEST:: SOT 117288 SOS 45163 HAS SOPS 45163 HAS SOUS 27673 HAS SOUPS 27673 WITH SCORE 27718.163
AT ITER 3301 NEW BEST:: SOT 117287 SOS 45162 HAS SOPS 45162 HAS SOUS 27671 HAS SOUPS 27671 WITH SCORE 27716.162
AT ITER 3320 NEW BEST:: SOT 117286 SOS 45159 HAS SOPS 45159 HAS SOUS 27669 HAS SOUPS 27669 WITH SCORE 27714.159
AT ITER 3324 NEW BEST:: SOT 117256 SOS 45129 HAS SOPS 45129 HAS SOUS 27609 HAS SOUPS 27609 WITH SCORE 27654.129
AT ITER 3333 NEW BEST:: SOT 117227 SOS 45071 HAS SOPS 45071 HAS SOUS 27509 HAS SOUPS 27509 WITH SCORE 27554.071
AT ITER 3355 NEW BEST:: SOT 117225 SOS 45067 HAS SOPS 45067 HAS SOUS 27505 HAS SOUPS 27505 WITH SCORE 27550.067
AT ITER 3363 NEW BEST:: SOT 117219 SOS 45063 HAS SOPS 45063 HAS SOUS 27501 HAS SOUPS 27501 WITH SCORE 27546.063
AT ITER 3404 NEW BEST:: SOT 117194 SOS 45013 HAS SOPS 45013 HAS SOUS 27474 HAS SOUPS 27474 WITH SCORE 27519.013
AT ITER 3425 NEW BEST:: SOT 117162 SOS 44981 HAS SOPS 44981 HAS SOUS 27442 HAS SOUPS 27442 WITH SCORE 27486.981
AT ITER 3431 NEW BEST:: SOT 117133 SOS 44945 HAS SOPS 44945 HAS SOUS 27413 HAS SOUPS 27413 WITH SCORE 27457.945
AT ITER 3437 NEW BEST:: SOT 117136 SOS 44888 HAS SOPS 44888 HAS SOUS 27374 HAS SOUPS 27374 WITH SCORE 27418.888
AT ITER 3441 NEW BEST:: SOT 117134 SOS 44884 HAS SOPS 44884 HAS SOUS 27368 HAS SOUPS 27368 WITH SCORE 27412.884
AT ITER 3457 NEW BEST:: SOT 117138 SOS 44849 HAS SOPS 44849 HAS SOUS 27333 HAS SOUPS 27333 WITH SCORE 27377.849
AT ITER 3460 NEW BEST:: SOT 117138 SOS 44848 HAS SOPS 44848 HAS SOUS 27332 HAS SOUPS 27332 WITH SCORE 27376.848
AT ITER 3469 NEW BEST:: SOT 117138 SOS 44848 HAS SOPS 44848 HAS SOUS 27327 HAS SOUPS 27327 WITH SCORE 27371.848
AT ITER 3470 NEW BEST:: SOT 117114 SOS 44757 HAS SOPS 44757 HAS SOUS 27301 HAS SOUPS 27301 WITH SCORE 27345.757
AT ITER 3478 NEW BEST:: SOT 117108 SOS 44751 HAS SOPS 44751 HAS SOUS 27289 HAS SOUPS 27289 WITH SCORE 27333.751
AT ITER 3480 NEW BEST:: SOT 117108 SOS 44727 HAS SOPS 44727 HAS SOUS 27265 HAS SOUPS 27265 WITH SCORE 27309.727
AT ITER 3481 NEW BEST:: SOT 117086 SOS 44695 HAS SOPS 44695 HAS SOUS 27246 HAS SOUPS 27246 WITH SCORE 27290.695
AT ITER 3487 NEW BEST:: SOT 117078 SOS 44687 HAS SOPS 44687 HAS SOUS 27238 HAS SOUPS 27238 WITH SCORE 27282.687
AT ITER 3506 NEW BEST:: SOT 117082 SOS 44691 HAS SOPS 44691 HAS SOUS 27233 HAS SOUPS 27233 WITH SCORE 27277.691
AT ITER 3547 NEW BEST:: SOT 117060 SOS 44600 HAS SOPS 44600 HAS SOUS 27142 HAS SOUPS 27142 WITH SCORE 27186.6
AT ITER 3568 NEW BEST:: SOT 117053 SOS 44586 HAS SOPS 44586 HAS SOUS 27128 HAS SOUPS 27128 WITH SCORE 27172.586
AT ITER 3569 NEW BEST:: SOT 117050 SOS 44461 HAS SOPS 44461 HAS SOUS 27042 HAS SOUPS 27042 WITH SCORE 27086.461
AT ITER 3576 NEW BEST:: SOT 117044 SOS 44449 HAS SOPS 44449 HAS SOUS 27030 HAS SOUPS 27030 WITH SCORE 27074.449
AT ITER 3597 NEW BEST:: SOT 117018 SOS 44449 HAS SOPS 44449 HAS SOUS 27004 HAS SOUPS 27004 WITH SCORE 27048.449
AT ITER 3598 NEW BEST:: SOT 116965 SOS 44361 HAS SOPS 44361 HAS SOUS 26936 HAS SOUPS 26936 WITH SCORE 26980.361
AT ITER 3606 NEW BEST:: SOT 116953 SOS 44356 HAS SOPS 44356 HAS SOUS 26931 HAS SOUPS 26931 WITH SCORE 26975.356
AT ITER 3609 NEW BEST:: SOT 116944 SOS 44347 HAS SOPS 44347 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26957.347
AT ITER 3618 NEW BEST:: SOT 116939 SOS 44337 HAS SOPS 44337 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26957.337
AT ITER 3636 NEW BEST:: SOT 116952 SOS 44317 HAS SOPS 44317 HAS SOUS 26884 HAS SOUPS 26884 WITH SCORE 26928.317
AT ITER 3641 NEW BEST:: SOT 116882 SOS 44319 HAS SOPS 44319 HAS SOUS 26882 HAS SOUPS 26882 WITH SCORE 26926.319
AT ITER 3646 NEW BEST:: SOT 116821 SOS 44258 HAS SOPS 44258 HAS SOUS 26821 HAS SOUPS 26821 WITH SCORE 26865.258
AT ITER 3647 NEW BEST:: SOT 116820 SOS 44257 HAS SOPS 44257 HAS SOUS 26819 HAS SOUPS 26819 WITH SCORE 26863.257
AT ITER 3652 NEW BEST:: SOT 116817 SOS 44248 HAS SOPS 44248 HAS SOUS 26807 HAS SOUPS 26807 WITH SCORE 26851.248
AT ITER 3659 NEW BEST:: SOT 116850 SOS 44246 HAS SOPS 44246 HAS SOUS 26807 HAS SOUPS 26807 WITH SCORE 26851.246
AT ITER 3664 NEW BEST:: SOT 116847 SOS 44240 HAS SOPS 44240 HAS SOUS 26798 HAS SOUPS 26798 WITH SCORE 26842.24
AT ITER 3697 NEW BEST:: SOT 116843 SOS 44232 HAS SOPS 44232 HAS SOUS 26775 HAS SOUPS 26775 WITH SCORE 26819.232
AT ITER 3703 NEW BEST:: SOT 116819 SOS 44208 HAS SOPS 44208 HAS SOUS 26751 HAS SOUPS 26751 WITH SCORE 26795.208
AT ITER 3735 NEW BEST:: SOT 116813 SOS 44199 HAS SOPS 44199 HAS SOUS 26742 HAS SOUPS 26742 WITH SCORE 26786.199
AT ITER 3736 NEW BEST:: SOT 116747 SOS 44170 HAS SOPS 44170 HAS SOUS 26721 HAS SOUPS 26721 WITH SCORE 26765.17
AT ITER 3754 NEW BEST:: SOT 116729 SOS 44134 HAS SOPS 44134 HAS SOUS 26685 HAS SOUPS 26685 WITH SCORE 26729.134
AT ITER 3768 NEW BEST:: SOT 116654 SOS 44316 HAS SOPS 44316 HAS SOUS 26619 HAS SOUPS 26619 WITH SCORE 26663.316
AT ITER 3783 NEW BEST:: SOT 116583 SOS 44174 HAS SOPS 44174 HAS SOUS 26565 HAS SOUPS 26565 WITH SCORE 26609.174
AT ITER 3800 NEW BEST:: SOT 116580 SOS 44168 HAS SOPS 44168 HAS SOUS 26562 HAS SOUPS 26562 WITH SCORE 26606.168
AT ITER 3801 NEW BEST:: SOT 116579 SOS 44140 HAS SOPS 44140 HAS SOUS 26560 HAS SOUPS 26560 WITH SCORE 26604.14
AT ITER 3803 NEW BEST:: SOT 116530 SOS 44094 HAS SOPS 44094 HAS SOUS 26488 HAS SOUPS 26488 WITH SCORE 26532.094
AT ITER 3831 NEW BEST:: SOT 116522 SOS 44078 HAS SOPS 44078 HAS SOUS 26477 HAS SOUPS 26477 WITH SCORE 26521.078
AT ITER 3840 NEW BEST:: SOT 116516 SOS 44069 HAS SOPS 44069 HAS SOUS 26468 HAS SOUPS 26468 WITH SCORE 26512.069
AT ITER 3857 NEW BEST:: SOT 116521 SOS 44074 HAS SOPS 44074 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26491.074
AT ITER 3893 NEW BEST:: SOT 116521 SOS 43984 HAS SOPS 43984 HAS SOUS 26447 HAS SOUPS 26447 WITH SCORE 26490.984
AT ITER 3924 NEW BEST:: SOT 116518 SOS 43978 HAS SOPS 43978 HAS SOUS 26441 HAS SOUPS 26441 WITH SCORE 26484.978
AT ITER 3928 NEW BEST:: SOT 116456 SOS 43906 HAS SOPS 43906 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26420.906
AT ITER 3935 NEW BEST:: SOT 116456 SOS 43847 HAS SOPS 43847 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26420.847
AT ITER 3941 NEW BEST:: SOT 116456 SOS 43759 HAS SOPS 43759 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26420.759
AT ITER 3948 NEW BEST:: SOT 116456 SOS 43731 HAS SOPS 43731 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26420.731
AT ITER 3965 NEW BEST:: SOT 116452 SOS 43728 HAS SOPS 43728 HAS SOUS 26368 HAS SOUPS 26368 WITH SCORE 26411.728
AT ITER 3970 NEW BEST:: SOT 116466 SOS 43709 HAS SOPS 43709 HAS SOUS 26363 HAS SOUPS 26363 WITH SCORE 26406.709
AT ITER 3986 NEW BEST:: SOT 116436 SOS 43679 HAS SOPS 43679 HAS SOUS 26300 HAS SOUPS 26300 WITH SCORE 26343.679
AT ITER 3993 NEW BEST:: SOT 116435 SOS 43677 HAS SOPS 43677 HAS SOUS 26298 HAS SOUPS 26298 WITH SCORE 26341.677
AT ITER 4003 NEW BEST:: SOT 116425 SOS 43647 HAS SOPS 43647 HAS SOUS 26286 HAS SOUPS 26286 WITH SCORE 26329.647
AT ITER 4018 NEW BEST:: SOT 116404 SOS 43568 HAS SOPS 43568 HAS SOUS 26265 HAS SOUPS 26265 WITH SCORE 26308.568
AT ITER 4031 NEW BEST:: SOT 116331 SOS 43423 HAS SOPS 43423 HAS SOUS 26246 HAS SOUPS 26246 WITH SCORE 26289.423
AT ITER 4036 NEW BEST:: SOT 116229 SOS 43321 HAS SOPS 43321 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26271.321
AT ITER 4041 NEW BEST:: SOT 116218 SOS 43299 HAS SOPS 43299 HAS SOUS 26217 HAS SOUPS 26217 WITH SCORE 26260.299
AT ITER 4044 NEW BEST:: SOT 116218 SOS 43239 HAS SOPS 43239 HAS SOUS 26157 HAS SOUPS 26157 WITH SCORE 26200.239
AT ITER 4051 NEW BEST:: SOT 116218 SOS 43158 HAS SOPS 43158 HAS SOUS 26157 HAS SOUPS 26157 WITH SCORE 26200.158
AT ITER 4060 NEW BEST:: SOT 116172 SOS 43111 HAS SOPS 43111 HAS SOUS 26066 HAS SOUPS 26066 WITH SCORE 26109.111
AT ITER 4066 NEW BEST:: SOT 116149 SOS 43098 HAS SOPS 43098 HAS SOUS 26053 HAS SOUPS 26053 WITH SCORE 26096.098
AT ITER 4076 NEW BEST:: SOT 116186 SOS 43167 HAS SOPS 43167 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26029.167
AT ITER 4085 NEW BEST:: SOT 116186 SOS 43130 HAS SOPS 43130 HAS SOUS 25986 HAS SOUPS 25986 WITH SCORE 26029.13
AT ITER 4087 NEW BEST:: SOT 116185 SOS 43128 HAS SOPS 43128 HAS SOUS 25980 HAS SOUPS 25980 WITH SCORE 26023.128
AT ITER 4101 NEW BEST:: SOT 116150 SOS 43045 HAS SOPS 43045 HAS SOUS 25954 HAS SOUPS 25954 WITH SCORE 25997.045
AT ITER 4105 NEW BEST:: SOT 116150 SOS 43045 HAS SOPS 43045 HAS SOUS 25953 HAS SOUPS 25953 WITH SCORE 25996.045
AT ITER 4111 NEW BEST:: SOT 116145 SOS 42974 HAS SOPS 42974 HAS SOUS 25925 HAS SOUPS 25925 WITH SCORE 25967.974
AT ITER 4117 NEW BEST:: SOT 116143 SOS 42984 HAS SOPS 42984 HAS SOUS 25923 HAS SOUPS 25923 WITH SCORE 25965.984
AT ITER 4133 NEW BEST:: SOT 116143 SOS 42976 HAS SOPS 42976 HAS SOUS 25915 HAS SOUPS 25915 WITH SCORE 25957.976
AT ITER 4210 NEW BEST:: SOT 116134 SOS 42967 HAS SOPS 42967 HAS SOUS 25908 HAS SOUPS 25908 WITH SCORE 25950.967
AT ITER 4212 NEW BEST:: SOT 116124 SOS 42947 HAS SOPS 42947 HAS SOUS 25888 HAS SOUPS 25888 WITH SCORE 25930.947
AT ITER 4274 NEW BEST:: SOT 116118 SOS 42937 HAS SOPS 42937 HAS SOUS 25876 HAS SOUPS 25876 WITH SCORE 25918.937
AT ITER 4318 NEW BEST:: SOT 116113 SOS 42931 HAS SOPS 42931 HAS SOUS 25866 HAS SOUPS 25866 WITH SCORE 25908.931
AT ITER 4322 NEW BEST:: SOT 116100 SOS 42884 HAS SOPS 42884 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 25882.884
AT ITER 4323 NEW BEST:: SOT 116079 SOS 42856 HAS SOPS 42856 HAS SOUS 25798 HAS SOUPS 25798 WITH SCORE 25840.856
AT ITER 4326 NEW BEST:: SOT 116074 SOS 42841 HAS SOPS 42841 HAS SOUS 25783 HAS SOUPS 25783 WITH SCORE 25825.841
AT ITER 4349 NEW BEST:: SOT 116079 SOS 42862 HAS SOPS 42862 HAS SOUS 25777 HAS SOUPS 25777 WITH SCORE 25819.862
AT ITER 4375 NEW BEST:: SOT 116091 SOS 42857 HAS SOPS 42857 HAS SOUS 25776 HAS SOUPS 25776 WITH SCORE 25818.857
AT ITER 4434 NEW BEST:: SOT 116087 SOS 42733 HAS SOPS 42733 HAS SOUS 25768 HAS SOUPS 25768 WITH SCORE 25810.733
AT ITER 4457 NEW BEST:: SOT 116055 SOS 42673 HAS SOPS 42673 HAS SOUS 25732 HAS SOUPS 25732 WITH SCORE 25774.673
AT ITER 4468 NEW BEST:: SOT 115999 SOS 42617 HAS SOPS 42617 HAS SOUS 25676 HAS SOUPS 25676 WITH SCORE 25718.617
AT ITER 4509 NEW BEST:: SOT 115999 SOS 42614 HAS SOPS 42614 HAS SOUS 25670 HAS SOUPS 25670 WITH SCORE 25712.614
AT ITER 4516 NEW BEST:: SOT 115953 SOS 42466 HAS SOPS 42466 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25595.466
AT ITER 4517 NEW BEST:: SOT 115951 SOS 42462 HAS SOPS 42462 HAS SOUS 25549 HAS SOUPS 25549 WITH SCORE 25591.462
AT ITER 4526 NEW BEST:: SOT 115927 SOS 42438 HAS SOPS 42438 HAS SOUS 25525 HAS SOUPS 25525 WITH SCORE 25567.438
AT ITER 4530 NEW BEST:: SOT 115923 SOS 42458 HAS SOPS 42458 HAS SOUS 25517 HAS SOUPS 25517 WITH SCORE 25559.458
AT ITER 4553 NEW BEST:: SOT 115923 SOS 42449 HAS SOPS 42449 HAS SOUS 25517 HAS SOUPS 25517 WITH SCORE 25559.449
AT ITER 4555 NEW BEST:: SOT 115923 SOS 42364 HAS SOPS 42364 HAS SOUS 25517 HAS SOUPS 25517 WITH SCORE 25559.364
AT ITER 4574 NEW BEST:: SOT 115914 SOS 42355 HAS SOPS 42355 HAS SOUS 25499 HAS SOUPS 25499 WITH SCORE 25541.355
AT ITER 4589 NEW BEST:: SOT 115921 SOS 42342 HAS SOPS 42342 HAS SOUS 25486 HAS SOUPS 25486 WITH SCORE 25528.342
AT ITER 4606 NEW BEST:: SOT 115888 SOS 42276 HAS SOPS 42276 HAS SOUS 25453 HAS SOUPS 25453 WITH SCORE 25495.276
AT ITER 4650 NEW BEST:: SOT 115857 SOS 42214 HAS SOPS 42214 HAS SOUS 25424 HAS SOUPS 25424 WITH SCORE 25466.214
AT ITER 4671 NEW BEST:: SOT 115875 SOS 42092 HAS SOPS 42092 HAS SOUS 25415 HAS SOUPS 25415 WITH SCORE 25457.092
AT ITER 4693 NEW BEST:: SOT 115854 SOS 42050 HAS SOPS 42050 HAS SOUS 25394 HAS SOUPS 25394 WITH SCORE 25436.05
AT ITER 4698 NEW BEST:: SOT 115850 SOS 41988 HAS SOPS 41988 HAS SOUS 25328 HAS SOUPS 25328 WITH SCORE 25369.988
AT ITER 4705 NEW BEST:: SOT 115836 SOS 42076 HAS SOPS 42076 HAS SOUS 25314 HAS SOUPS 25314 WITH SCORE 25356.076
AT ITER 4721 NEW BEST:: SOT 115836 SOS 42079 HAS SOPS 42079 HAS SOUS 25311 HAS SOUPS 25311 WITH SCORE 25353.079
AT ITER 4733 NEW BEST:: SOT 115856 SOS 42043 HAS SOPS 42043 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25317.043
AT ITER 4737 NEW BEST:: SOT 115841 SOS 42033 HAS SOPS 42033 HAS SOUS 25245 HAS SOUPS 25245 WITH SCORE 25287.033
AT ITER 4784 NEW BEST:: SOT 115828 SOS 42007 HAS SOPS 42007 HAS SOUS 25238 HAS SOUPS 25238 WITH SCORE 25280.007
AT ITER 4833 NEW BEST:: SOT 115795 SOS 42013 HAS SOPS 42013 HAS SOUS 25215 HAS SOUPS 25215 WITH SCORE 25257.013
AT ITER 4835 NEW BEST:: SOT 115795 SOS 41933 HAS SOPS 41933 HAS SOUS 25175 HAS SOUPS 25175 WITH SCORE 25216.933
AT ITER 4844 NEW BEST:: SOT 115795 SOS 41933 HAS SOPS 41933 HAS SOUS 25151 HAS SOUPS 25151 WITH SCORE 25192.933
AT ITER 4853 NEW BEST:: SOT 115767 SOS 41918 HAS SOPS 41918 HAS SOUS 25077 HAS SOUPS 25077 WITH SCORE 25118.918
AT ITER 4878 NEW BEST:: SOT 115763 SOS 41880 HAS SOPS 41880 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25061.88
AT ITER 4889 NEW BEST:: SOT 115746 SOS 41863 HAS SOPS 41863 HAS SOUS 24986 HAS SOUPS 24986 WITH SCORE 25027.863
AT ITER 4897 NEW BEST:: SOT 115735 SOS 41825 HAS SOPS 41825 HAS SOUS 24975 HAS SOUPS 24975 WITH SCORE 25016.825
AT ITER 4898 NEW BEST:: SOT 115731 SOS 41817 HAS SOPS 41817 HAS SOUS 24967 HAS SOUPS 24967 WITH SCORE 25008.817
AT ITER 4913 NEW BEST:: SOT 115728 SOS 41618 HAS SOPS 41618 HAS SOUS 24851 HAS SOUPS 24851 WITH SCORE 24892.618
AT ITER 4920 NEW BEST:: SOT 115727 SOS 41617 HAS SOPS 41617 HAS SOUS 24850 HAS SOUPS 24850 WITH SCORE 24891.617
AT ITER 4950 NEW BEST:: SOT 115716 SOS 41606 HAS SOPS 41606 HAS SOUS 24828 HAS SOUPS 24828 WITH SCORE 24869.606
AT ITER 4955 NEW BEST:: SOT 115717 SOS 41599 HAS SOPS 41599 HAS SOUS 24821 HAS SOUPS 24821 WITH SCORE 24862.599
AT ITER 4958 NEW BEST:: SOT 115810 SOS 41575 HAS SOPS 41575 HAS SOUS 24803 HAS SOUPS 24803 WITH SCORE 24844.575
AT ITER 4980 NEW BEST:: SOT 115808 SOS 41550 HAS SOPS 41550 HAS SOUS 24794 HAS SOUPS 24794 WITH SCORE 24835.55
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-00 ( (EX( (EF(potential( ( 2 ) <= (tk(P155)) ))))) & ( potential( ( 1 ) <= (tk(P322)) ) | (! potential( ( 3 ) <= (tk(P286)) )) ) )
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-01 (! (EG( ( (! potential( (tk(P54)) <= (tk(P179)) )) | ( potential( (tk(P104)) <= (tk(P348)) ) | potential( (tk(P411)) <= (tk(P384)) ) ) ))))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-02 ( (AU( ( potential( ( 1 ) <= (tk(P64)) ) | potential( (tk(P271)) <= (tk(P214)) ) ),potential( ( 2 ) <= (tk(P279)) ) )) & (EG( (! potential( ( 2 ) <= (tk(P91)) )))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-03 ( (AG( (AF(potential( (tk(P116)) <= (tk(P17)) ))))) | (AG( potential( (tk(P165)) <= (tk(P227)) ))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-04 (AU( (AX( potential( (tk(P240)) <= (tk(P244)) ))),( ( potential( (tk(P328)) <= (tk(P279)) ) & potential( ( 1 ) <= (tk(P266)) ) ) & ( potential( (tk(P34)) <= (tk(P87)) ) | potential( (tk(P267)) <= (tk(P331)) ) ) ) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-05 (AU( (EF(potential( ( 2 ) <= (tk(P320)) ))),(EG( potential( ( 3 ) <= (tk(P13)) ))) ))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-06 (EX( (EF(( potential( ( 1 ) <= (tk(P147)) ) | potential( ( 3 ) <= (tk(P223)) ) )))))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-07 ( (! potential( ( 3 ) <= (tk(P192)) )) & (! (! (AG( potential( (tk(P294)) <= (tk(P380)) ))))) )
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-08 ( ( (! (EX( potential( (tk(P434)) <= (tk(P163)) )))) | ( (! potential( ( 2 ) <= (tk(P348)) )) & (AG( potential( (tk(P84)) <= (tk(P337)) ))) ) ) & (! ( (EF(potential( ( 2 ) <= (tk(P89)) ))) & (AF(potential( (tk(P177)) <= (tk(P390)) ))) )) )
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-09 (EX( (EU( potential( (tk(P76)) <= (tk(P396)) ),potential( ( 2 ) <= (tk(P430)) ) ))))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-10 (AF((EG( ( potential( ( 2 ) <= (tk(P435)) ) | potential( (tk(P72)) <= (tk(P98)) ) )))))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-11 ( (AX( (EF(potential( ( 1 ) <= (tk(P22)) ))))) & potential( (tk(P348)) <= (tk(P20)) ) )
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-12 (EF((EU( potential( (tk(P109)) <= (tk(P346)) ),potential( ( 1 ) <= (tk(P246)) ) ))))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-13 (EF(( ( ( potential( (tk(P400)) <= (tk(P146)) ) | potential( (tk(P45)) <= (tk(P89)) ) ) & ( potential( ( 2 ) <= (tk(P80)) ) & potential( ( 2 ) <= (tk(P192)) ) ) ) & potential( ( 3 ) <= (tk(P185)) ) )))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-14 (AF(( (AF(potential( ( 3 ) <= (tk(P290)) ))) | ( ( potential( (tk(P33)) <= (tk(P163)) ) & potential( (tk(P113)) <= (tk(P232)) ) ) & potential( ( 2 ) <= (tk(P3)) ) ) )))
PROPERTY: DiscoveryGPU-PT-15b-CTLCardinality-15 (AF((EF(potential( ( 1 ) <= (tk(P297)) )))))

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="CTLCardinality"
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 CTLCardinality"
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-158922807900739"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;