About the Execution of Smart for StigmergyCommit-PT-04b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
3516.155 | 3600000.00 | 3600060.00 | 40.00 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r451-smll-167912643500440.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is StigmergyCommit-PT-04b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643500440
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 26 10:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Feb 26 10:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 35K Feb 26 10:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 26 10:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.6K Feb 26 10:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 10:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 627K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679263463763
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=StigmergyCommit-PT-04b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 04b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 1534 places, 2136 transitions, 8601 arcs.
AT ITER 0 NEW BEST:: SOT 1976600 SOS 288941 HAS SOPS 288941 HAS SOUS 266192 HAS SOUPS 266192 WITH SCORE 266480.941
AT ITER 23 NEW BEST:: SOT 1976499 SOS 288673 HAS SOPS 288673 HAS SOUS 265990 HAS SOUPS 265990 WITH SCORE 266278.673
AT ITER 90 NEW BEST:: SOT 1974977 SOS 303468 HAS SOPS 303468 HAS SOUS 265003 HAS SOUPS 265003 WITH SCORE 265306.468
AT ITER 94 NEW BEST:: SOT 1974976 SOS 303466 HAS SOPS 303466 HAS SOUS 265001 HAS SOUPS 265001 WITH SCORE 265304.466
AT ITER 118 NEW BEST:: SOT 1974975 SOS 303464 HAS SOPS 303464 HAS SOUS 264999 HAS SOUPS 264999 WITH SCORE 265302.464
AT ITER 150 NEW BEST:: SOT 1974924 SOS 303362 HAS SOPS 303362 HAS SOUS 264897 HAS SOUPS 264897 WITH SCORE 265200.362
AT ITER 190 NEW BEST:: SOT 1971826 SOS 308522 HAS SOPS 308522 HAS SOUS 262373 HAS SOUPS 262373 WITH SCORE 262681.522
AT ITER 200 NEW BEST:: SOT 1971792 SOS 308488 HAS SOPS 308488 HAS SOUS 262339 HAS SOUPS 262339 WITH SCORE 262647.488
AT ITER 290 NEW BEST:: SOT 1971744 SOS 308392 HAS SOPS 308392 HAS SOUS 262243 HAS SOUPS 262243 WITH SCORE 262551.392
AT ITER 303 NEW BEST:: SOT 1971743 SOS 308390 HAS SOPS 308390 HAS SOUS 262241 HAS SOUPS 262241 WITH SCORE 262549.39
AT ITER 306 NEW BEST:: SOT 1971742 SOS 308388 HAS SOPS 308388 HAS SOUS 262239 HAS SOUPS 262239 WITH SCORE 262547.388
AT ITER 317 NEW BEST:: SOT 1971574 SOS 308052 HAS SOPS 308052 HAS SOUS 262178 HAS SOUPS 262178 WITH SCORE 262486.052
AT ITER 332 NEW BEST:: SOT 1966453 SOS 315497 HAS SOPS 315497 HAS SOUS 257476 HAS SOUPS 257476 WITH SCORE 257791.497
AT ITER 353 NEW BEST:: SOT 1966435 SOS 315479 HAS SOPS 315479 HAS SOUS 257458 HAS SOUPS 257458 WITH SCORE 257773.479
AT ITER 361 NEW BEST:: SOT 1966383 SOS 315375 HAS SOPS 315375 HAS SOUS 257354 HAS SOUPS 257354 WITH SCORE 257669.375
AT ITER 391 NEW BEST:: SOT 1964191 SOS 317178 HAS SOPS 317178 HAS SOUS 255344 HAS SOUPS 255344 WITH SCORE 255661.178
AT ITER 395 NEW BEST:: SOT 1964191 SOS 317174 HAS SOPS 317174 HAS SOUS 255340 HAS SOUPS 255340 WITH SCORE 255657.174
AT ITER 433 NEW BEST:: SOT 1964015 SOS 317028 HAS SOPS 317028 HAS SOUS 255164 HAS SOUPS 255164 WITH SCORE 255481.028
AT ITER 498 NEW BEST:: SOT 1963962 SOS 316922 HAS SOPS 316922 HAS SOUS 255111 HAS SOUPS 255111 WITH SCORE 255427.922
AT ITER 501 NEW BEST:: SOT 1963911 SOS 316653 HAS SOPS 316653 HAS SOUS 255009 HAS SOUPS 255009 WITH SCORE 255325.653
AT ITER 502 NEW BEST:: SOT 1963796 SOS 316423 HAS SOPS 316423 HAS SOUS 254959 HAS SOUPS 254959 WITH SCORE 255275.423
AT ITER 509 NEW BEST:: SOT 1963764 SOS 316359 HAS SOPS 316359 HAS SOUS 254895 HAS SOUPS 254895 WITH SCORE 255211.359
AT ITER 510 NEW BEST:: SOT 1963660 SOS 316151 HAS SOPS 316151 HAS SOUS 254662 HAS SOUPS 254662 WITH SCORE 254978.151
AT ITER 529 NEW BEST:: SOT 1963613 SOS 316104 HAS SOPS 316104 HAS SOUS 254615 HAS SOUPS 254615 WITH SCORE 254931.104
AT ITER 535 NEW BEST:: SOT 1963535 SOS 315948 HAS SOPS 315948 HAS SOUS 254459 HAS SOUPS 254459 WITH SCORE 254774.948
AT ITER 544 NEW BEST:: SOT 1963535 SOS 315948 HAS SOPS 315948 HAS SOUS 254301 HAS SOUPS 254301 WITH SCORE 254616.948
AT ITER 562 NEW BEST:: SOT 1963482 SOS 315842 HAS SOPS 315842 HAS SOUS 254195 HAS SOUPS 254195 WITH SCORE 254510.842
AT ITER 586 NEW BEST:: SOT 1963471 SOS 315820 HAS SOPS 315820 HAS SOUS 254173 HAS SOUPS 254173 WITH SCORE 254488.82
AT ITER 648 NEW BEST:: SOT 1963445 SOS 315768 HAS SOPS 315768 HAS SOUS 254147 HAS SOUPS 254147 WITH SCORE 254462.768
AT ITER 653 NEW BEST:: SOT 1963443 SOS 315764 HAS SOPS 315764 HAS SOUS 254143 HAS SOUPS 254143 WITH SCORE 254458.764
AT ITER 668 NEW BEST:: SOT 1963442 SOS 315762 HAS SOPS 315762 HAS SOUS 254141 HAS SOUPS 254141 WITH SCORE 254456.762
AT ITER 676 NEW BEST:: SOT 1963456 SOS 315790 HAS SOPS 315790 HAS SOUS 254098 HAS SOUPS 254098 WITH SCORE 254413.79
AT ITER 683 NEW BEST:: SOT 1963371 SOS 315620 HAS SOPS 315620 HAS SOUS 253928 HAS SOUPS 253928 WITH SCORE 254243.62
AT ITER 690 NEW BEST:: SOT 1963339 SOS 315524 HAS SOPS 315524 HAS SOUS 253864 HAS SOUPS 253864 WITH SCORE 254179.524
AT ITER 703 NEW BEST:: SOT 1963285 SOS 315469 HAS SOPS 315469 HAS SOUS 253809 HAS SOUPS 253809 WITH SCORE 254124.469
AT ITER 717 NEW BEST:: SOT 1963235 SOS 315369 HAS SOPS 315369 HAS SOUS 253709 HAS SOUPS 253709 WITH SCORE 254024.369
AT ITER 721 NEW BEST:: SOT 1963160 SOS 315294 HAS SOPS 315294 HAS SOUS 253634 HAS SOUPS 253634 WITH SCORE 253949.294
AT ITER 732 NEW BEST:: SOT 1963097 SOS 315107 HAS SOPS 315107 HAS SOUS 253508 HAS SOUPS 253508 WITH SCORE 253823.107
AT ITER 769 NEW BEST:: SOT 1960816 SOS 340025 HAS SOPS 340025 HAS SOUS 252402 HAS SOUPS 252402 WITH SCORE 252742.025
AT ITER 775 NEW BEST:: SOT 1960816 SOS 340003 HAS SOPS 340003 HAS SOUS 252402 HAS SOUPS 252402 WITH SCORE 252742.003
AT ITER 843 NEW BEST:: SOT 1956892 SOS 351331 HAS SOPS 351331 HAS SOUS 250492 HAS SOUPS 250492 WITH SCORE 250843.331
AT ITER 845 NEW BEST:: SOT 1956822 SOS 351191 HAS SOPS 351191 HAS SOUS 250422 HAS SOUPS 250422 WITH SCORE 250773.191
AT ITER 857 NEW BEST:: SOT 1956822 SOS 350639 HAS SOPS 350639 HAS SOUS 250146 HAS SOUPS 250146 WITH SCORE 250496.639
AT ITER 867 NEW BEST:: SOT 1956817 SOS 350629 HAS SOPS 350629 HAS SOUS 250136 HAS SOUPS 250136 WITH SCORE 250486.629
AT ITER 877 NEW BEST:: SOT 1956733 SOS 350461 HAS SOPS 350461 HAS SOUS 249968 HAS SOUPS 249968 WITH SCORE 250318.461
AT ITER 929 NEW BEST:: SOT 1954066 SOS 356764 HAS SOPS 356764 HAS SOUS 247829 HAS SOUPS 247829 WITH SCORE 248185.764
AT ITER 934 NEW BEST:: SOT 1954066 SOS 356646 HAS SOPS 356646 HAS SOUS 247829 HAS SOUPS 247829 WITH SCORE 248185.646
AT ITER 1002 NEW BEST:: SOT 1954048 SOS 356610 HAS SOPS 356610 HAS SOUS 247793 HAS SOUPS 247793 WITH SCORE 248149.61
AT ITER 1033 NEW BEST:: SOT 1954047 SOS 356608 HAS SOPS 356608 HAS SOUS 247791 HAS SOUPS 247791 WITH SCORE 248147.608
AT ITER 1043 NEW BEST:: SOT 1954046 SOS 356486 HAS SOPS 356486 HAS SOUS 247789 HAS SOUPS 247789 WITH SCORE 248145.486
AT ITER 1059 NEW BEST:: SOT 1953933 SOS 356147 HAS SOPS 356147 HAS SOUS 247563 HAS SOUPS 247563 WITH SCORE 247919.147
AT ITER 1077 NEW BEST:: SOT 1953883 SOS 356108 HAS SOPS 356108 HAS SOUS 247524 HAS SOUPS 247524 WITH SCORE 247880.108
AT ITER 1137 NEW BEST:: SOT 1953832 SOS 355966 HAS SOPS 355966 HAS SOUS 247412 HAS SOUPS 247412 WITH SCORE 247767.966
AT ITER 1157 NEW BEST:: SOT 1953832 SOS 355855 HAS SOPS 355855 HAS SOUS 247412 HAS SOUPS 247412 WITH SCORE 247767.855
AT ITER 1175 NEW BEST:: SOT 1952498 SOS 383856 HAS SOPS 383856 HAS SOUS 247131 HAS SOUPS 247131 WITH SCORE 247514.856
AT ITER 1213 NEW BEST:: SOT 1952497 SOS 377158 HAS SOPS 377158 HAS SOUS 247089 HAS SOUPS 247089 WITH SCORE 247466.158
AT ITER 1220 NEW BEST:: SOT 1952518 SOS 377193 HAS SOPS 377193 HAS SOUS 246994 HAS SOUPS 246994 WITH SCORE 247371.193
AT ITER 1235 NEW BEST:: SOT 1952422 SOS 377001 HAS SOPS 377001 HAS SOUS 246955 HAS SOUPS 246955 WITH SCORE 247332.001
AT ITER 1249 NEW BEST:: SOT 1952364 SOS 376947 HAS SOPS 376947 HAS SOUS 246804 HAS SOUPS 246804 WITH SCORE 247180.947
AT ITER 1274 NEW BEST:: SOT 1946103 SOS 386824 HAS SOPS 386824 HAS SOUS 245258 HAS SOUPS 245258 WITH SCORE 245644.824
AT ITER 1295 NEW BEST:: SOT 1944098 SOS 407077 HAS SOPS 407077 HAS SOUS 244357 HAS SOUPS 244357 WITH SCORE 244764.077
AT ITER 1337 NEW BEST:: SOT 1943857 SOS 406595 HAS SOPS 406595 HAS SOUS 244148 HAS SOUPS 244148 WITH SCORE 244554.595
AT ITER 1373 NEW BEST:: SOT 1943757 SOS 406395 HAS SOPS 406395 HAS SOUS 243948 HAS SOUPS 243948 WITH SCORE 244354.395
AT ITER 1391 NEW BEST:: SOT 1943757 SOS 406379 HAS SOPS 406379 HAS SOUS 243948 HAS SOUPS 243948 WITH SCORE 244354.379
AT ITER 1468 NEW BEST:: SOT 1943728 SOS 404755 HAS SOPS 404755 HAS SOUS 243861 HAS SOUPS 243861 WITH SCORE 244265.755
AT ITER 1478 NEW BEST:: SOT 1943597 SOS 404656 HAS SOPS 404656 HAS SOUS 243762 HAS SOUPS 243762 WITH SCORE 244166.656
AT ITER 1526 NEW BEST:: SOT 1943261 SOS 403984 HAS SOPS 403984 HAS SOUS 243256 HAS SOUPS 243256 WITH SCORE 243659.984
AT ITER 1527 NEW BEST:: SOT 1942615 SOS 403263 HAS SOPS 403263 HAS SOUS 242535 HAS SOUPS 242535 WITH SCORE 242938.263
AT ITER 1546 NEW BEST:: SOT 1942611 SOS 403255 HAS SOPS 403255 HAS SOUS 242527 HAS SOUPS 242527 WITH SCORE 242930.255
AT ITER 1563 NEW BEST:: SOT 1942535 SOS 403109 HAS SOPS 403109 HAS SOUS 242374 HAS SOUPS 242374 WITH SCORE 242777.109
AT ITER 1575 NEW BEST:: SOT 1942604 SOS 403247 HAS SOPS 403247 HAS SOUS 242309 HAS SOUPS 242309 WITH SCORE 242712.247
AT ITER 1591 NEW BEST:: SOT 1942510 SOS 403059 HAS SOPS 403059 HAS SOUS 242121 HAS SOUPS 242121 WITH SCORE 242524.059
AT ITER 1602 NEW BEST:: SOT 1942510 SOS 403059 HAS SOPS 403059 HAS SOUS 242120 HAS SOUPS 242120 WITH SCORE 242523.059
AT ITER 1629 NEW BEST:: SOT 1942438 SOS 402915 HAS SOPS 402915 HAS SOUS 241976 HAS SOUPS 241976 WITH SCORE 242378.915
AT ITER 1658 NEW BEST:: SOT 1942438 SOS 402844 HAS SOPS 402844 HAS SOUS 241905 HAS SOUPS 241905 WITH SCORE 242307.844
AT ITER 1661 NEW BEST:: SOT 1942426 SOS 402820 HAS SOPS 402820 HAS SOUS 241881 HAS SOUPS 241881 WITH SCORE 242283.82
AT ITER 1664 NEW BEST:: SOT 1942341 SOS 402650 HAS SOPS 402650 HAS SOUS 241711 HAS SOUPS 241711 WITH SCORE 242113.65
AT ITER 1669 NEW BEST:: SOT 1942229 SOS 402538 HAS SOPS 402538 HAS SOUS 241599 HAS SOUPS 241599 WITH SCORE 242001.538
AT ITER 1670 NEW BEST:: SOT 1942108 SOS 402296 HAS SOPS 402296 HAS SOUS 241529 HAS SOUPS 241529 WITH SCORE 241931.296
AT ITER 1673 NEW BEST:: SOT 1942070 SOS 402220 HAS SOPS 402220 HAS SOUS 241453 HAS SOUPS 241453 WITH SCORE 241855.22
AT ITER 1682 NEW BEST:: SOT 1941918 SOS 401916 HAS SOPS 401916 HAS SOUS 241149 HAS SOUPS 241149 WITH SCORE 241550.916
AT ITER 1687 NEW BEST:: SOT 1941917 SOS 401914 HAS SOPS 401914 HAS SOUS 241147 HAS SOUPS 241147 WITH SCORE 241548.914
AT ITER 1715 NEW BEST:: SOT 1941722 SOS 401524 HAS SOPS 401524 HAS SOUS 240952 HAS SOUPS 240952 WITH SCORE 241353.524
AT ITER 1730 NEW BEST:: SOT 1941666 SOS 401468 HAS SOPS 401468 HAS SOUS 240896 HAS SOUPS 240896 WITH SCORE 241297.468
AT ITER 1751 NEW BEST:: SOT 1941665 SOS 401355 HAS SOPS 401355 HAS SOUS 240894 HAS SOUPS 240894 WITH SCORE 241295.355
AT ITER 1760 NEW BEST:: SOT 1941636 SOS 401297 HAS SOPS 401297 HAS SOUS 240836 HAS SOUPS 240836 WITH SCORE 241237.297
AT ITER 1764 NEW BEST:: SOT 1941590 SOS 401205 HAS SOPS 401205 HAS SOUS 240783 HAS SOUPS 240783 WITH SCORE 241184.205
AT ITER 1779 NEW BEST:: SOT 1941447 SOS 400919 HAS SOPS 400919 HAS SOUS 240497 HAS SOUPS 240497 WITH SCORE 240897.919
AT ITER 1783 NEW BEST:: SOT 1941318 SOS 400661 HAS SOPS 400661 HAS SOUS 240419 HAS SOUPS 240419 WITH SCORE 240819.661
AT ITER 1790 NEW BEST:: SOT 1941031 SOS 400087 HAS SOPS 400087 HAS SOUS 240011 HAS SOUPS 240011 WITH SCORE 240411.087
AT ITER 1831 NEW BEST:: SOT 1941031 SOS 383266 HAS SOPS 383266 HAS SOUS 239785 HAS SOUPS 239785 WITH SCORE 240168.266
AT ITER 1840 NEW BEST:: SOT 1940807 SOS 382818 HAS SOPS 382818 HAS SOUS 239521 HAS SOUPS 239521 WITH SCORE 239903.818
AT ITER 1848 NEW BEST:: SOT 1940795 SOS 382794 HAS SOPS 382794 HAS SOUS 239497 HAS SOUPS 239497 WITH SCORE 239879.794
AT ITER 1874 NEW BEST:: SOT 1940794 SOS 382792 HAS SOPS 382792 HAS SOUS 239495 HAS SOUPS 239495 WITH SCORE 239877.792
AT ITER 1887 NEW BEST:: SOT 1940793 SOS 382734 HAS SOPS 382734 HAS SOUS 239493 HAS SOUPS 239493 WITH SCORE 239875.734
AT ITER 1899 NEW BEST:: SOT 1940750 SOS 382648 HAS SOPS 382648 HAS SOUS 239407 HAS SOUPS 239407 WITH SCORE 239789.648
AT ITER 1912 NEW BEST:: SOT 1940707 SOS 379079 HAS SOPS 379079 HAS SOUS 239360 HAS SOUPS 239360 WITH SCORE 239739.079
AT ITER 1914 NEW BEST:: SOT 1940530 SOS 378725 HAS SOPS 378725 HAS SOUS 239006 HAS SOUPS 239006 WITH SCORE 239384.725
AT ITER 1915 NEW BEST:: SOT 1940462 SOS 376189 HAS SOPS 376189 HAS SOUS 238778 HAS SOUPS 238778 WITH SCORE 239154.189
AT ITER 1925 NEW BEST:: SOT 1940462 SOS 376189 HAS SOPS 376189 HAS SOUS 238774 HAS SOUPS 238774 WITH SCORE 239150.189
AT ITER 1947 NEW BEST:: SOT 1940446 SOS 376157 HAS SOPS 376157 HAS SOUS 238626 HAS SOUPS 238626 WITH SCORE 239002.157
AT ITER 1956 NEW BEST:: SOT 1940426 SOS 376197 HAS SOPS 376197 HAS SOUS 238606 HAS SOUPS 238606 WITH SCORE 238982.197
AT ITER 1962 NEW BEST:: SOT 1940425 SOS 376195 HAS SOPS 376195 HAS SOUS 238604 HAS SOUPS 238604 WITH SCORE 238980.195
AT ITER 1965 NEW BEST:: SOT 1940413 SOS 376171 HAS SOPS 376171 HAS SOUS 238580 HAS SOUPS 238580 WITH SCORE 238956.171
AT ITER 1994 NEW BEST:: SOT 1940377 SOS 376099 HAS SOPS 376099 HAS SOUS 238508 HAS SOUPS 238508 WITH SCORE 238884.099
AT ITER 2004 NEW BEST:: SOT 1940241 SOS 375827 HAS SOPS 375827 HAS SOUS 238236 HAS SOUPS 238236 WITH SCORE 238611.827
AT ITER 2009 NEW BEST:: SOT 1940170 SOS 365425 HAS SOPS 365425 HAS SOUS 238022 HAS SOUPS 238022 WITH SCORE 238387.425
AT ITER 2048 NEW BEST:: SOT 1940170 SOS 365314 HAS SOPS 365314 HAS SOUS 238022 HAS SOUPS 238022 WITH SCORE 238387.314
AT ITER 2061 NEW BEST:: SOT 1940179 SOS 365247 HAS SOPS 365247 HAS SOUS 237955 HAS SOUPS 237955 WITH SCORE 238320.247
AT ITER 2073 NEW BEST:: SOT 1940129 SOS 365173 HAS SOPS 365173 HAS SOUS 237881 HAS SOUPS 237881 WITH SCORE 238246.173
AT ITER 2081 NEW BEST:: SOT 1936661 SOS 397625 HAS SOPS 397625 HAS SOUS 237780 HAS SOUPS 237780 WITH SCORE 238177.625
AT ITER 2117 NEW BEST:: SOT 1936443 SOS 397189 HAS SOPS 397189 HAS SOUS 237344 HAS SOUPS 237344 WITH SCORE 237741.189
AT ITER 2130 NEW BEST:: SOT 1936342 SOS 396987 HAS SOPS 396987 HAS SOUS 237142 HAS SOUPS 237142 WITH SCORE 237538.987
AT ITER 2171 NEW BEST:: SOT 1933073 SOS 425714 HAS SOPS 425714 HAS SOUS 236045 HAS SOUPS 236045 WITH SCORE 236470.714
AT ITER 2182 NEW BEST:: SOT 1933073 SOS 425676 HAS SOPS 425676 HAS SOUS 236045 HAS SOUPS 236045 WITH SCORE 236470.676
AT ITER 2210 NEW BEST:: SOT 1933009 SOS 425748 HAS SOPS 425748 HAS SOUS 235981 HAS SOUPS 235981 WITH SCORE 236406.748
AT ITER 2220 NEW BEST:: SOT 1932898 SOS 397468 HAS SOPS 397468 HAS SOUS 235448 HAS SOUPS 235448 WITH SCORE 235845.468
AT ITER 2283 NEW BEST:: SOT 1932898 SOS 396100 HAS SOPS 396100 HAS SOUS 235334 HAS SOUPS 235334 WITH SCORE 235730.1
AT ITER 2294 NEW BEST:: SOT 1933021 SOS 396068 HAS SOPS 396068 HAS SOUS 235302 HAS SOUPS 235302 WITH SCORE 235698.068
AT ITER 2335 NEW BEST:: SOT 1933014 SOS 396054 HAS SOPS 396054 HAS SOUS 235288 HAS SOUPS 235288 WITH SCORE 235684.054
AT ITER 2336 NEW BEST:: SOT 1933014 SOS 395487 HAS SOPS 395487 HAS SOUS 235288 HAS SOUPS 235288 WITH SCORE 235683.487
AT ITER 2347 NEW BEST:: SOT 1932960 SOS 395433 HAS SOPS 395433 HAS SOUS 235234 HAS SOUPS 235234 WITH SCORE 235629.433
AT ITER 2365 NEW BEST:: SOT 1927474 SOS 403188 HAS SOPS 403188 HAS SOUS 231675 HAS SOUPS 231675 WITH SCORE 232078.188
AT ITER 2381 NEW BEST:: SOT 1927270 SOS 402780 HAS SOPS 402780 HAS SOUS 231471 HAS SOUPS 231471 WITH SCORE 231873.78
AT ITER 2408 NEW BEST:: SOT 1927270 SOS 402780 HAS SOPS 402780 HAS SOUS 231456 HAS SOUPS 231456 WITH SCORE 231858.78
AT ITER 2409 NEW BEST:: SOT 1927269 SOS 402778 HAS SOPS 402778 HAS SOUS 231454 HAS SOUPS 231454 WITH SCORE 231856.778
AT ITER 2413 NEW BEST:: SOT 1927239 SOS 402718 HAS SOPS 402718 HAS SOUS 231355 HAS SOUPS 231355 WITH SCORE 231757.718
AT ITER 2416 NEW BEST:: SOT 1927238 SOS 402716 HAS SOPS 402716 HAS SOUS 231353 HAS SOUPS 231353 WITH SCORE 231755.716
AT ITER 2421 NEW BEST:: SOT 1927247 SOS 402734 HAS SOPS 402734 HAS SOUS 231333 HAS SOUPS 231333 WITH SCORE 231735.734
AT ITER 2424 NEW BEST:: SOT 1927345 SOS 402930 HAS SOPS 402930 HAS SOUS 231305 HAS SOUPS 231305 WITH SCORE 231707.93
AT ITER 2468 NEW BEST:: SOT 1927344 SOS 402928 HAS SOPS 402928 HAS SOUS 231303 HAS SOUPS 231303 WITH SCORE 231705.928
AT ITER 2512 NEW BEST:: SOT 1927312 SOS 402864 HAS SOPS 402864 HAS SOUS 231239 HAS SOUPS 231239 WITH SCORE 231641.864
AT ITER 2529 NEW BEST:: SOT 1927295 SOS 402847 HAS SOPS 402847 HAS SOUS 231205 HAS SOUPS 231205 WITH SCORE 231607.847
AT ITER 2547 NEW BEST:: SOT 1927292 SOS 402841 HAS SOPS 402841 HAS SOUS 231199 HAS SOUPS 231199 WITH SCORE 231601.841
AT ITER 2567 NEW BEST:: SOT 1927292 SOS 402824 HAS SOPS 402824 HAS SOUS 231199 HAS SOUPS 231199 WITH SCORE 231601.824
AT ITER 2575 NEW BEST:: SOT 1927200 SOS 402640 HAS SOPS 402640 HAS SOUS 231009 HAS SOUPS 231009 WITH SCORE 231411.64
AT ITER 2613 NEW BEST:: SOT 1927168 SOS 402576 HAS SOPS 402576 HAS SOUS 230980 HAS SOUPS 230980 WITH SCORE 231382.576
AT ITER 2633 NEW BEST:: SOT 1927083 SOS 402406 HAS SOPS 402406 HAS SOUS 230895 HAS SOUPS 230895 WITH SCORE 231297.406
AT ITER 2650 NEW BEST:: SOT 1927038 SOS 402316 HAS SOPS 402316 HAS SOUS 230805 HAS SOUPS 230805 WITH SCORE 231207.316
AT ITER 2663 NEW BEST:: SOT 1927038 SOS 402306 HAS SOPS 402306 HAS SOUS 230805 HAS SOUPS 230805 WITH SCORE 231207.306
AT ITER 2666 NEW BEST:: SOT 1926975 SOS 402180 HAS SOPS 402180 HAS SOUS 230679 HAS SOUPS 230679 WITH SCORE 231081.18
AT ITER 2736 NEW BEST:: SOT 1926775 SOS 401780 HAS SOPS 401780 HAS SOUS 230279 HAS SOUPS 230279 WITH SCORE 230680.78
AT ITER 2739 NEW BEST:: SOT 1926673 SOS 401544 HAS SOPS 401544 HAS SOUS 230075 HAS SOUPS 230075 WITH SCORE 230476.544
AT ITER 2755 NEW BEST:: SOT 1926638 SOS 401474 HAS SOPS 401474 HAS SOUS 230061 HAS SOUPS 230061 WITH SCORE 230462.474
AT ITER 2796 NEW BEST:: SOT 1924107 SOS 426188 HAS SOPS 426188 HAS SOUS 229560 HAS SOUPS 229560 WITH SCORE 229986.188
AT ITER 2804 NEW BEST:: SOT 1924103 SOS 426184 HAS SOPS 426184 HAS SOUS 229556 HAS SOUPS 229556 WITH SCORE 229982.184
AT ITER 2812 NEW BEST:: SOT 1924042 SOS 426123 HAS SOPS 426123 HAS SOUS 229495 HAS SOUPS 229495 WITH SCORE 229921.123
AT ITER 2825 NEW BEST:: SOT 1923982 SOS 425975 HAS SOPS 425975 HAS SOUS 229375 HAS SOUPS 229375 WITH SCORE 229800.975
AT ITER 2905 NEW BEST:: SOT 1923891 SOS 425793 HAS SOPS 425793 HAS SOUS 229284 HAS SOUPS 229284 WITH SCORE 229709.793
AT ITER 2921 NEW BEST:: SOT 1923861 SOS 425733 HAS SOPS 425733 HAS SOUS 229224 HAS SOUPS 229224 WITH SCORE 229649.733
AT ITER 2977 NEW BEST:: SOT 1923686 SOS 425383 HAS SOPS 425383 HAS SOUS 229049 HAS SOUPS 229049 WITH SCORE 229474.383
AT ITER 2979 NEW BEST:: SOT 1923673 SOS 425357 HAS SOPS 425357 HAS SOUS 229036 HAS SOUPS 229036 WITH SCORE 229461.357
AT ITER 2983 NEW BEST:: SOT 1923671 SOS 425353 HAS SOPS 425353 HAS SOUS 229032 HAS SOUPS 229032 WITH SCORE 229457.353
AT ITER 2985 NEW BEST:: SOT 1923631 SOS 425273 HAS SOPS 425273 HAS SOUS 228952 HAS SOUPS 228952 WITH SCORE 229377.273
AT ITER 3017 NEW BEST:: SOT 1923628 SOS 425267 HAS SOPS 425267 HAS SOUS 228946 HAS SOUPS 228946 WITH SCORE 229371.267
AT ITER 3028 NEW BEST:: SOT 1923627 SOS 425265 HAS SOPS 425265 HAS SOUS 228944 HAS SOUPS 228944 WITH SCORE 229369.265
AT ITER 3062 NEW BEST:: SOT 1923489 SOS 424851 HAS SOPS 424851 HAS SOUS 228806 HAS SOUPS 228806 WITH SCORE 229230.851
AT ITER 3089 NEW BEST:: SOT 1923461 SOS 424795 HAS SOPS 424795 HAS SOUS 228750 HAS SOUPS 228750 WITH SCORE 229174.795
AT ITER 3117 NEW BEST:: SOT 1923459 SOS 424791 HAS SOPS 424791 HAS SOUS 228746 HAS SOUPS 228746 WITH SCORE 229170.791
AT ITER 3119 NEW BEST:: SOT 1922715 SOS 424132 HAS SOPS 424132 HAS SOUS 228388 HAS SOUPS 228388 WITH SCORE 228812.132
AT ITER 3143 NEW BEST:: SOT 1922645 SOS 420212 HAS SOPS 420212 HAS SOUS 228178 HAS SOUPS 228178 WITH SCORE 228598.212
AT ITER 3150 NEW BEST:: SOT 1922644 SOS 420210 HAS SOPS 420210 HAS SOUS 228176 HAS SOUPS 228176 WITH SCORE 228596.21
AT ITER 3190 NEW BEST:: SOT 1922643 SOS 420208 HAS SOPS 420208 HAS SOUS 228174 HAS SOUPS 228174 WITH SCORE 228594.208
AT ITER 3220 NEW BEST:: SOT 1922606 SOS 420134 HAS SOPS 420134 HAS SOUS 228100 HAS SOUPS 228100 WITH SCORE 228520.134
AT ITER 3230 NEW BEST:: SOT 1922605 SOS 420132 HAS SOPS 420132 HAS SOUS 228098 HAS SOUPS 228098 WITH SCORE 228518.132
AT ITER 3264 NEW BEST:: SOT 1922605 SOS 420102 HAS SOPS 420102 HAS SOUS 228068 HAS SOUPS 228068 WITH SCORE 228488.102
AT ITER 3267 NEW BEST:: SOT 1922539 SOS 419970 HAS SOPS 419970 HAS SOUS 227936 HAS SOUPS 227936 WITH SCORE 228355.97
AT ITER 3276 NEW BEST:: SOT 1922532 SOS 419956 HAS SOPS 419956 HAS SOUS 227934 HAS SOUPS 227934 WITH SCORE 228353.956
AT ITER 3282 NEW BEST:: SOT 1922454 SOS 419982 HAS SOPS 419982 HAS SOUS 227878 HAS SOUPS 227878 WITH SCORE 228297.982
AT ITER 3293 NEW BEST:: SOT 1922373 SOS 419820 HAS SOPS 419820 HAS SOUS 227797 HAS SOUPS 227797 WITH SCORE 228216.82
AT ITER 3325 NEW BEST:: SOT 1922340 SOS 419754 HAS SOPS 419754 HAS SOUS 227764 HAS SOUPS 227764 WITH SCORE 228183.754
AT ITER 3327 NEW BEST:: SOT 1922190 SOS 419454 HAS SOPS 419454 HAS SOUS 227614 HAS SOUPS 227614 WITH SCORE 228033.454
AT ITER 3378 NEW BEST:: SOT 1922043 SOS 419160 HAS SOPS 419160 HAS SOUS 227467 HAS SOUPS 227467 WITH SCORE 227886.16
AT ITER 3436 NEW BEST:: SOT 1922030 SOS 419134 HAS SOPS 419134 HAS SOUS 227441 HAS SOUPS 227441 WITH SCORE 227860.134
AT ITER 3524 NEW BEST:: SOT 1921783 SOS 418640 HAS SOPS 418640 HAS SOUS 226947 HAS SOUPS 226947 WITH SCORE 227365.64
AT ITER 3555 NEW BEST:: SOT 1921678 SOS 418430 HAS SOPS 418430 HAS SOUS 226737 HAS SOUPS 226737 WITH SCORE 227155.43
AT ITER 3649 NEW BEST:: SOT 1921615 SOS 418304 HAS SOPS 418304 HAS SOUS 226594 HAS SOUPS 226594 WITH SCORE 227012.304
AT ITER 3662 NEW BEST:: SOT 1921549 SOS 418172 HAS SOPS 418172 HAS SOUS 226462 HAS SOUPS 226462 WITH SCORE 226880.172
AT ITER 3666 NEW BEST:: SOT 1921413 SOS 417900 HAS SOPS 417900 HAS SOUS 226190 HAS SOUPS 226190 WITH SCORE 226607.9
AT ITER 3708 NEW BEST:: SOT 1921353 SOS 417780 HAS SOPS 417780 HAS SOUS 226070 HAS SOUPS 226070 WITH SCORE 226487.78
AT ITER 3793 NEW BEST:: SOT 1921404 SOS 417882 HAS SOPS 417882 HAS SOUS 226006 HAS SOUPS 226006 WITH SCORE 226423.882
AT ITER 3800 NEW BEST:: SOT 1921364 SOS 417802 HAS SOPS 417802 HAS SOUS 225926 HAS SOUPS 225926 WITH SCORE 226343.802
AT ITER 3803 NEW BEST:: SOT 1921348 SOS 417609 HAS SOPS 417609 HAS SOUS 225910 HAS SOUPS 225910 WITH SCORE 226327.609
AT ITER 3840 NEW BEST:: SOT 1921321 SOS 417555 HAS SOPS 417555 HAS SOUS 225856 HAS SOUPS 225856 WITH SCORE 226273.555
AT ITER 3878 NEW BEST:: SOT 1921309 SOS 417531 HAS SOPS 417531 HAS SOUS 225832 HAS SOUPS 225832 WITH SCORE 226249.531
AT ITER 3887 NEW BEST:: SOT 1921177 SOS 417267 HAS SOPS 417267 HAS SOUS 225568 HAS SOUPS 225568 WITH SCORE 225985.267
AT ITER 3894 NEW BEST:: SOT 1921177 SOS 417267 HAS SOPS 417267 HAS SOUS 225557 HAS SOUPS 225557 WITH SCORE 225974.267
AT ITER 3907 NEW BEST:: SOT 1921072 SOS 417057 HAS SOPS 417057 HAS SOUS 225452 HAS SOUPS 225452 WITH SCORE 225869.057
AT ITER 3923 NEW BEST:: SOT 1921062 SOS 417029 HAS SOPS 417029 HAS SOUS 225432 HAS SOUPS 225432 WITH SCORE 225849.029
AT ITER 3934 NEW BEST:: SOT 1921011 SOS 416927 HAS SOPS 416927 HAS SOUS 225330 HAS SOUPS 225330 WITH SCORE 225746.927
AT ITER 3950 NEW BEST:: SOT 1921011 SOS 416911 HAS SOPS 416911 HAS SOUS 225314 HAS SOUPS 225314 WITH SCORE 225730.911
AT ITER 3952 NEW BEST:: SOT 1920936 SOS 416761 HAS SOPS 416761 HAS SOUS 225250 HAS SOUPS 225250 WITH SCORE 225666.761
AT ITER 3958 NEW BEST:: SOT 1920893 SOS 416718 HAS SOPS 416718 HAS SOUS 225207 HAS SOUPS 225207 WITH SCORE 225623.718
AT ITER 3973 NEW BEST:: SOT 1920708 SOS 416348 HAS SOPS 416348 HAS SOUS 225148 HAS SOUPS 225148 WITH SCORE 225564.348
AT ITER 3978 NEW BEST:: SOT 1920590 SOS 416167 HAS SOPS 416167 HAS SOUS 224924 HAS SOUPS 224924 WITH SCORE 225340.167
AT ITER 3996 NEW BEST:: SOT 1920373 SOS 415722 HAS SOPS 415722 HAS SOUS 224479 HAS SOUPS 224479 WITH SCORE 224894.722
AT ITER 4021 NEW BEST:: SOT 1920364 SOS 415704 HAS SOPS 415704 HAS SOUS 224461 HAS SOUPS 224461 WITH SCORE 224876.704
AT ITER 4022 NEW BEST:: SOT 1919886 SOS 407992 HAS SOPS 407992 HAS SOUS 222240 HAS SOUPS 222240 WITH SCORE 222647.992
AT ITER 4041 NEW BEST:: SOT 1919679 SOS 407578 HAS SOPS 407578 HAS SOUS 221826 HAS SOUPS 221826 WITH SCORE 222233.578
AT ITER 4064 NEW BEST:: SOT 1919657 SOS 407534 HAS SOPS 407534 HAS SOUS 221824 HAS SOUPS 221824 WITH SCORE 222231.534
AT ITER 4065 NEW BEST:: SOT 1911872 SOS 447225 HAS SOPS 447225 HAS SOUS 219259 HAS SOUPS 219259 WITH SCORE 219706.225
AT ITER 4131 NEW BEST:: SOT 1911810 SOS 447101 HAS SOPS 447101 HAS SOUS 219135 HAS SOUPS 219135 WITH SCORE 219582.101
AT ITER 4140 NEW BEST:: SOT 1911759 SOS 446999 HAS SOPS 446999 HAS SOUS 219033 HAS SOUPS 219033 WITH SCORE 219479.999
AT ITER 4149 NEW BEST:: SOT 1911759 SOS 446888 HAS SOPS 446888 HAS SOUS 218922 HAS SOUPS 218922 WITH SCORE 219368.888
AT ITER 4169 NEW BEST:: SOT 1911758 SOS 436626 HAS SOPS 436626 HAS SOUS 218913 HAS SOUPS 218913 WITH SCORE 219349.626
AT ITER 4185 NEW BEST:: SOT 1911741 SOS 436592 HAS SOPS 436592 HAS SOUS 218879 HAS SOUPS 218879 WITH SCORE 219315.592
AT ITER 4233 NEW BEST:: SOT 1911723 SOS 436556 HAS SOPS 436556 HAS SOUS 218843 HAS SOUPS 218843 WITH SCORE 219279.556
AT ITER 4239 NEW BEST:: SOT 1911723 SOS 436503 HAS SOPS 436503 HAS SOUS 218790 HAS SOUPS 218790 WITH SCORE 219226.503
AT ITER 4252 NEW BEST:: SOT 1911546 SOS 436297 HAS SOPS 436297 HAS SOUS 218584 HAS SOUPS 218584 WITH SCORE 219020.297
AT ITER 4307 NEW BEST:: SOT 1911445 SOS 427013 HAS SOPS 427013 HAS SOUS 218382 HAS SOUPS 218382 WITH SCORE 218809.013
AT ITER 4364 NEW BEST:: SOT 1911445 SOS 426965 HAS SOPS 426965 HAS SOUS 218382 HAS SOUPS 218382 WITH SCORE 218808.965
AT ITER 4378 NEW BEST:: SOT 1911383 SOS 426841 HAS SOPS 426841 HAS SOUS 218258 HAS SOUPS 218258 WITH SCORE 218684.841
AT ITER 4391 NEW BEST:: SOT 1911383 SOS 426841 HAS SOPS 426841 HAS SOUS 218158 HAS SOUPS 218158 WITH SCORE 218584.841
AT ITER 4398 NEW BEST:: SOT 1911287 SOS 426553 HAS SOPS 426553 HAS SOUS 217966 HAS SOUPS 217966 WITH SCORE 218392.553
AT ITER 4403 NEW BEST:: SOT 1911287 SOS 426532 HAS SOPS 426532 HAS SOUS 217945 HAS SOUPS 217945 WITH SCORE 218371.532
AT ITER 4421 NEW BEST:: SOT 1911148 SOS 426254 HAS SOPS 426254 HAS SOUS 217667 HAS SOUPS 217667 WITH SCORE 218093.254
AT ITER 4430 NEW BEST:: SOT 1911109 SOS 426176 HAS SOPS 426176 HAS SOUS 217626 HAS SOUPS 217626 WITH SCORE 218052.176
AT ITER 4471 NEW BEST:: SOT 1910970 SOS 425898 HAS SOPS 425898 HAS SOUS 217487 HAS SOUPS 217487 WITH SCORE 217912.898
AT ITER 4472 NEW BEST:: SOT 1910799 SOS 425556 HAS SOPS 425556 HAS SOUS 217323 HAS SOUPS 217323 WITH SCORE 217748.556
AT ITER 4484 NEW BEST:: SOT 1910784 SOS 425526 HAS SOPS 425526 HAS SOUS 217293 HAS SOUPS 217293 WITH SCORE 217718.526
AT ITER 4489 NEW BEST:: SOT 1910786 SOS 425728 HAS SOPS 425728 HAS SOUS 217258 HAS SOUPS 217258 WITH SCORE 217683.728
AT ITER 4497 NEW BEST:: SOT 1910785 SOS 425673 HAS SOPS 425673 HAS SOUS 217256 HAS SOUPS 217256 WITH SCORE 217681.673
AT ITER 4498 NEW BEST:: SOT 1910683 SOS 425469 HAS SOPS 425469 HAS SOUS 217052 HAS SOUPS 217052 WITH SCORE 217477.469
AT ITER 4512 NEW BEST:: SOT 1910484 SOS 425071 HAS SOPS 425071 HAS SOUS 216886 HAS SOUPS 216886 WITH SCORE 217311.071
AT ITER 4513 NEW BEST:: SOT 1910310 SOS 424723 HAS SOPS 424723 HAS SOUS 216538 HAS SOUPS 216538 WITH SCORE 216962.723
AT ITER 4534 NEW BEST:: SOT 1910300 SOS 424713 HAS SOPS 424713 HAS SOUS 216528 HAS SOUPS 216528 WITH SCORE 216952.713
AT ITER 4554 NEW BEST:: SOT 1910171 SOS 424455 HAS SOPS 424455 HAS SOUS 216270 HAS SOUPS 216270 WITH SCORE 216694.455
AT ITER 4568 NEW BEST:: SOT 1910167 SOS 424447 HAS SOPS 424447 HAS SOUS 216262 HAS SOUPS 216262 WITH SCORE 216686.447
AT ITER 4664 NEW BEST:: SOT 1910122 SOS 424357 HAS SOPS 424357 HAS SOUS 216172 HAS SOUPS 216172 WITH SCORE 216596.357
AT ITER 4694 NEW BEST:: SOT 1909966 SOS 424045 HAS SOPS 424045 HAS SOUS 216030 HAS SOUPS 216030 WITH SCORE 216454.045
AT ITER 4738 NEW BEST:: SOT 1909795 SOS 416595 HAS SOPS 416595 HAS SOUS 213921 HAS SOUPS 213921 WITH SCORE 214337.595
AT ITER 4755 NEW BEST:: SOT 1909709 SOS 416423 HAS SOPS 416423 HAS SOUS 213749 HAS SOUPS 213749 WITH SCORE 214165.423
AT ITER 4760 NEW BEST:: SOT 1900150 SOS 418845 HAS SOPS 418845 HAS SOUS 206118 HAS SOUPS 206118 WITH SCORE 206536.845
AT ITER 4767 NEW BEST:: SOT 1900150 SOS 418811 HAS SOPS 418811 HAS SOUS 206118 HAS SOUPS 206118 WITH SCORE 206536.811
AT ITER 4773 NEW BEST:: SOT 1900120 SOS 418511 HAS SOPS 418511 HAS SOUS 206058 HAS SOUPS 206058 WITH SCORE 206476.511
AT ITER 4780 NEW BEST:: SOT 1899435 SOS 417807 HAS SOPS 417807 HAS SOUS 205373 HAS SOUPS 205373 WITH SCORE 205790.807
AT ITER 4789 NEW BEST:: SOT 1899336 SOS 417493 HAS SOPS 417493 HAS SOUS 205175 HAS SOUPS 205175 WITH SCORE 205592.493
AT ITER 4874 NEW BEST:: SOT 1899263 SOS 417347 HAS SOPS 417347 HAS SOUS 205029 HAS SOUPS 205029 WITH SCORE 205446.347
AT ITER 4938 NEW BEST:: SOT 1899231 SOS 417283 HAS SOPS 417283 HAS SOUS 204965 HAS SOUPS 204965 WITH SCORE 205382.283
AT ITER 4959 NEW BEST:: SOT 1899231 SOS 417278 HAS SOPS 417278 HAS SOUS 204960 HAS SOUPS 204960 WITH SCORE 205377.278
AT ITER 4969 NEW BEST:: SOT 1899172 SOS 417160 HAS SOPS 417160 HAS SOUS 204842 HAS SOUPS 204842 WITH SCORE 205259.16
AT ITER 4989 NEW BEST:: SOT 1898970 SOS 416756 HAS SOPS 416756 HAS SOUS 204710 HAS SOUPS 204710 WITH SCORE 205126.756
AT ITER 5006 NEW BEST:: SOT 1898262 SOS 415998 HAS SOPS 415998 HAS SOUS 203952 HAS SOUPS 203952 WITH SCORE 204367.998
AT ITER 5026 NEW BEST:: SOT 1898252 SOS 415978 HAS SOPS 415978 HAS SOUS 203932 HAS SOUPS 203932 WITH SCORE 204347.978
AT ITER 5055 NEW BEST:: SOT 1898186 SOS 415846 HAS SOPS 415846 HAS SOUS 203800 HAS SOUPS 203800 WITH SCORE 204215.846
AT ITER 5060 NEW BEST:: SOT 1898128 SOS 415730 HAS SOPS 415730 HAS SOUS 203684 HAS SOUPS 203684 WITH SCORE 204099.73
AT ITER 5084 NEW BEST:: SOT 1898070 SOS 415558 HAS SOPS 415558 HAS SOUS 203568 HAS SOUPS 203568 WITH SCORE 203983.558
AT ITER 5096 NEW BEST:: SOT 1898042 SOS 415502 HAS SOPS 415502 HAS SOUS 203419 HAS SOUPS 203419 WITH SCORE 203834.502
AT ITER 5099 NEW BEST:: SOT 1898041 SOS 415500 HAS SOPS 415500 HAS SOUS 203417 HAS SOUPS 203417 WITH SCORE 203832.5
AT ITER 5121 NEW BEST:: SOT 1898040 SOS 415498 HAS SOPS 415498 HAS SOUS 203415 HAS SOUPS 203415 WITH SCORE 203830.498
AT ITER 5130 NEW BEST:: SOT 1898002 SOS 415422 HAS SOPS 415422 HAS SOUS 203339 HAS SOUPS 203339 WITH SCORE 203754.422
AT ITER 5154 NEW BEST:: SOT 1897981 SOS 415380 HAS SOPS 415380 HAS SOUS 203318 HAS SOUPS 203318 WITH SCORE 203733.38
AT ITER 5160 NEW BEST:: SOT 1897968 SOS 415336 HAS SOPS 415336 HAS SOUS 203288 HAS SOUPS 203288 WITH SCORE 203703.336
AT ITER 5174 NEW BEST:: SOT 1893892 SOS 411232 HAS SOPS 411232 HAS SOUS 199876 HAS SOUPS 199876 WITH SCORE 200287.232
AT ITER 5193 NEW BEST:: SOT 1893861 SOS 411170 HAS SOPS 411170 HAS SOUS 199814 HAS SOUPS 199814 WITH SCORE 200225.17
AT ITER 5242 NEW BEST:: SOT 1893731 SOS 411118 HAS SOPS 411118 HAS SOUS 199691 HAS SOUPS 199691 WITH SCORE 200102.118
AT ITER 5301 NEW BEST:: SOT 1893668 SOS 411147 HAS SOPS 411147 HAS SOUS 199675 HAS SOUPS 199675 WITH SCORE 200086.147
AT ITER 5327 NEW BEST:: SOT 1893189 SOS 410189 HAS SOPS 410189 HAS SOUS 199120 HAS SOUPS 199120 WITH SCORE 199530.189
AT ITER 5333 NEW BEST:: SOT 1893051 SOS 409913 HAS SOPS 409913 HAS SOUS 199045 HAS SOUPS 199045 WITH SCORE 199454.913
AT ITER 5356 NEW BEST:: SOT 1892936 SOS 409883 HAS SOPS 409883 HAS SOUS 199009 HAS SOUPS 199009 WITH SCORE 199418.883
AT ITER 5360 NEW BEST:: SOT 1892875 SOS 409761 HAS SOPS 409761 HAS SOUS 198887 HAS SOUPS 198887 WITH SCORE 199296.761
AT ITER 5424 NEW BEST:: SOT 1892824 SOS 409659 HAS SOPS 409659 HAS SOUS 198785 HAS SOUPS 198785 WITH SCORE 199194.659
AT ITER 5428 NEW BEST:: SOT 1892759 SOS 409529 HAS SOPS 409529 HAS SOUS 198655 HAS SOUPS 198655 WITH SCORE 199064.529
AT ITER 5430 NEW BEST:: SOT 1892604 SOS 376603 HAS SOPS 376603 HAS SOUS 198236 HAS SOUPS 198236 WITH SCORE 198612.603
AT ITER 5449 NEW BEST:: SOT 1892557 SOS 376509 HAS SOPS 376509 HAS SOUS 198111 HAS SOUPS 198111 WITH SCORE 198487.509
AT ITER 5457 NEW BEST:: SOT 1892470 SOS 376335 HAS SOPS 376335 HAS SOUS 197937 HAS SOUPS 197937 WITH SCORE 198313.335
AT ITER 5470 NEW BEST:: SOT 1892469 SOS 376333 HAS SOPS 376333 HAS SOUS 197935 HAS SOUPS 197935 WITH SCORE 198311.333
AT ITER 5487 NEW BEST:: SOT 1892451 SOS 376297 HAS SOPS 376297 HAS SOUS 197899 HAS SOUPS 197899 WITH SCORE 198275.297
AT ITER 5491 NEW BEST:: SOT 1892474 SOS 376343 HAS SOPS 376343 HAS SOUS 197867 HAS SOUPS 197867 WITH SCORE 198243.343
AT ITER 5517 NEW BEST:: SOT 1892416 SOS 376227 HAS SOPS 376227 HAS SOUS 197751 HAS SOUPS 197751 WITH SCORE 198127.227
AT ITER 5520 NEW BEST:: SOT 1892383 SOS 376128 HAS SOPS 376128 HAS SOUS 197685 HAS SOUPS 197685 WITH SCORE 198061.128
AT ITER 5571 NEW BEST:: SOT 1892383 SOS 376123 HAS SOPS 376123 HAS SOUS 197685 HAS SOUPS 197685 WITH SCORE 198061.123
AT ITER 5574 NEW BEST:: SOT 1892308 SOS 363697 HAS SOPS 363697 HAS SOUS 197126 HAS SOUPS 197126 WITH SCORE 197489.697
AT ITER 5582 NEW BEST:: SOT 1892237 SOS 363555 HAS SOPS 363555 HAS SOUS 196811 HAS SOUPS 196811 WITH SCORE 197174.555
AT ITER 5631 NEW BEST:: SOT 1892237 SOS 363555 HAS SOPS 363555 HAS SOUS 196767 HAS SOUPS 196767 WITH SCORE 197130.555
AT ITER 5636 NEW BEST:: SOT 1892216 SOS 363513 HAS SOPS 363513 HAS SOUS 196725 HAS SOUPS 196725 WITH SCORE 197088.513
AT ITER 5642 NEW BEST:: SOT 1892216 SOS 361353 HAS SOPS 361353 HAS SOUS 196545 HAS SOUPS 196545 WITH SCORE 196906.353
AT ITER 5649 NEW BEST:: SOT 1892215 SOS 361351 HAS SOPS 361351 HAS SOUS 196543 HAS SOUPS 196543 WITH SCORE 196904.351
AT ITER 5659 NEW BEST:: SOT 1892214 SOS 361299 HAS SOPS 361299 HAS SOUS 196541 HAS SOUPS 196541 WITH SCORE 196902.299
AT ITER 5679 NEW BEST:: SOT 1892181 SOS 361233 HAS SOPS 361233 HAS SOUS 196475 HAS SOUPS 196475 WITH SCORE 196836.233
AT ITER 5696 NEW BEST:: SOT 1892123 SOS 361059 HAS SOPS 361059 HAS SOUS 196359 HAS SOUPS 196359 WITH SCORE 196720.059
AT ITER 5756 NEW BEST:: SOT 1892063 SOS 360881 HAS SOPS 360881 HAS SOUS 196239 HAS SOUPS 196239 WITH SCORE 196599.881
AT ITER 5768 NEW BEST:: SOT 1892063 SOS 360881 HAS SOPS 360881 HAS SOUS 196208 HAS SOUPS 196208 WITH SCORE 196568.881
AT ITER 5776 NEW BEST:: SOT 1891991 SOS 360737 HAS SOPS 360737 HAS SOUS 196064 HAS SOUPS 196064 WITH SCORE 196424.737
AT ITER 5782 NEW BEST:: SOT 1891796 SOS 360761 HAS SOPS 360761 HAS SOUS 195938 HAS SOUPS 195938 WITH SCORE 196298.761
AT ITER 5816 NEW BEST:: SOT 1891796 SOS 360722 HAS SOPS 360722 HAS SOUS 195938 HAS SOUPS 195938 WITH SCORE 196298.722
AT ITER 5876 NEW BEST:: SOT 1891711 SOS 360552 HAS SOPS 360552 HAS SOUS 195683 HAS SOUPS 195683 WITH SCORE 196043.552
AT ITER 5880 NEW BEST:: SOT 1891492 SOS 360310 HAS SOPS 360310 HAS SOUS 195436 HAS SOUPS 195436 WITH SCORE 195796.31
AT ITER 5897 NEW BEST:: SOT 1891507 SOS 360537 HAS SOPS 360537 HAS SOUS 195269 HAS SOUPS 195269 WITH SCORE 195629.537
AT ITER 5923 NEW BEST:: SOT 1891470 SOS 360426 HAS SOPS 360426 HAS SOUS 195195 HAS SOUPS 195195 WITH SCORE 195555.426
AT ITER 6011 NEW BEST:: SOT 1891470 SOS 360414 HAS SOPS 360414 HAS SOUS 195195 HAS SOUPS 195195 WITH SCORE 195555.414
AT ITER 6031 NEW BEST:: SOT 1891431 SOS 360336 HAS SOPS 360336 HAS SOUS 195117 HAS SOUPS 195117 WITH SCORE 195477.336
AT ITER 6046 NEW BEST:: SOT 1891420 SOS 360314 HAS SOPS 360314 HAS SOUS 195095 HAS SOUPS 195095 WITH SCORE 195455.314
AT ITER 6068 NEW BEST:: SOT 1891419 SOS 360312 HAS SOPS 360312 HAS SOUS 195093 HAS SOUPS 195093 WITH SCORE 195453.312
AT ITER 6083 NEW BEST:: SOT 1891418 SOS 360310 HAS SOPS 360310 HAS SOUS 195091 HAS SOUPS 195091 WITH SCORE 195451.31
AT ITER 6129 NEW BEST:: SOT 1891418 SOS 360187 HAS SOPS 360187 HAS SOUS 195091 HAS SOUPS 195091 WITH SCORE 195451.187
AT ITER 6132 NEW BEST:: SOT 1891418 SOS 360134 HAS SOPS 360134 HAS SOUS 195091 HAS SOUPS 195091 WITH SCORE 195451.134
AT ITER 6169 NEW BEST:: SOT 1891381 SOS 360060 HAS SOPS 360060 HAS SOUS 195017 HAS SOUPS 195017 WITH SCORE 195377.06
AT ITER 6174 NEW BEST:: SOT 1891224 SOS 359746 HAS SOPS 359746 HAS SOUS 194611 HAS SOUPS 194611 WITH SCORE 194970.746
AT ITER 6206 NEW BEST:: SOT 1891267 SOS 359696 HAS SOPS 359696 HAS SOUS 194561 HAS SOUPS 194561 WITH SCORE 194920.696
AT ITER 6223 NEW BEST:: SOT 1891266 SOS 359694 HAS SOPS 359694 HAS SOUS 194559 HAS SOUPS 194559 WITH SCORE 194918.694
AT ITER 6265 NEW BEST:: SOT 1891278 SOS 359718 HAS SOPS 359718 HAS SOUS 194528 HAS SOUPS 194528 WITH SCORE 194887.718
AT ITER 6304 NEW BEST:: SOT 1891240 SOS 344009 HAS SOPS 344009 HAS SOUS 194452 HAS SOUPS 194452 WITH SCORE 194796.009
AT ITER 6310 NEW BEST:: SOT 1891232 SOS 344001 HAS SOPS 344001 HAS SOUS 194444 HAS SOUPS 194444 WITH SCORE 194788.001
AT ITER 6329 NEW BEST:: SOT 1891187 SOS 343911 HAS SOPS 343911 HAS SOUS 194399 HAS SOUPS 194399 WITH SCORE 194742.911
AT ITER 6377 NEW BEST:: SOT 1891172 SOS 343881 HAS SOPS 343881 HAS SOUS 194369 HAS SOUPS 194369 WITH SCORE 194712.881
AT ITER 6395 NEW BEST:: SOT 1891172 SOS 343849 HAS SOPS 343849 HAS SOUS 194369 HAS SOUPS 194369 WITH SCORE 194712.849
AT ITER 6417 NEW BEST:: SOT 1891071 SOS 343842 HAS SOPS 343842 HAS SOUS 194362 HAS SOUPS 194362 WITH SCORE 194705.842
AT ITER 6422 NEW BEST:: SOT 1890893 SOS 343486 HAS SOPS 343486 HAS SOUS 194184 HAS SOUPS 194184 WITH SCORE 194527.486
AT ITER 6450 NEW BEST:: SOT 1890685 SOS 343070 HAS SOPS 343070 HAS SOUS 193768 HAS SOUPS 193768 WITH SCORE 194111.07
AT ITER 6456 NEW BEST:: SOT 1890684 SOS 343068 HAS SOPS 343068 HAS SOUS 193766 HAS SOUPS 193766 WITH SCORE 194109.068
AT ITER 6507 NEW BEST:: SOT 1890666 SOS 343032 HAS SOPS 343032 HAS SOUS 193748 HAS SOUPS 193748 WITH SCORE 194091.032
AT ITER 6516 NEW BEST:: SOT 1890661 SOS 343022 HAS SOPS 343022 HAS SOUS 193738 HAS SOUPS 193738 WITH SCORE 194081.022
AT ITER 6537 NEW BEST:: SOT 1890469 SOS 338046 HAS SOPS 338046 HAS SOUS 192186 HAS SOUPS 192186 WITH SCORE 192524.046
AT ITER 6549 NEW BEST:: SOT 1890428 SOS 337946 HAS SOPS 337946 HAS SOUS 192089 HAS SOUPS 192089 WITH SCORE 192426.946
AT ITER 6576 NEW BEST:: SOT 1890391 SOS 337941 HAS SOPS 337941 HAS SOUS 192084 HAS SOUPS 192084 WITH SCORE 192421.941
AT ITER 6579 NEW BEST:: SOT 1890330 SOS 337136 HAS SOPS 337136 HAS SOUS 191583 HAS SOUPS 191583 WITH SCORE 191920.136
AT ITER 6581 NEW BEST:: SOT 1890329 SOS 337034 HAS SOPS 337034 HAS SOUS 191581 HAS SOUPS 191581 WITH SCORE 191918.034
AT ITER 6600 NEW BEST:: SOT 1890261 SOS 336898 HAS SOPS 336898 HAS SOUS 191445 HAS SOUPS 191445 WITH SCORE 191781.898
AT ITER 6645 NEW BEST:: SOT 1890188 SOS 336843 HAS SOPS 336843 HAS SOUS 191390 HAS SOUPS 191390 WITH SCORE 191726.843
AT ITER 6649 NEW BEST:: SOT 1890188 SOS 336843 HAS SOPS 336843 HAS SOUS 191388 HAS SOUPS 191388 WITH SCORE 191724.843
AT ITER 6656 NEW BEST:: SOT 1890179 SOS 336825 HAS SOPS 336825 HAS SOUS 191358 HAS SOUPS 191358 WITH SCORE 191694.825
AT ITER 6664 NEW BEST:: SOT 1890085 SOS 336637 HAS SOPS 336637 HAS SOUS 191170 HAS SOUPS 191170 WITH SCORE 191506.637
AT ITER 6685 NEW BEST:: SOT 1890067 SOS 336601 HAS SOPS 336601 HAS SOUS 191134 HAS SOUPS 191134 WITH SCORE 191470.601
AT ITER 6696 NEW BEST:: SOT 1890011 SOS 336489 HAS SOPS 336489 HAS SOUS 190797 HAS SOUPS 190797 WITH SCORE 191133.489
AT ITER 6703 NEW BEST:: SOT 1890008 SOS 336483 HAS SOPS 336483 HAS SOUS 190791 HAS SOUPS 190791 WITH SCORE 191127.483
AT ITER 6786 NEW BEST:: SOT 1889991 SOS 336466 HAS SOPS 336466 HAS SOUS 190774 HAS SOUPS 190774 WITH SCORE 191110.466
AT ITER 6797 NEW BEST:: SOT 1889715 SOS 335914 HAS SOPS 335914 HAS SOUS 190651 HAS SOUPS 190651 WITH SCORE 190986.914
AT ITER 6806 NEW BEST:: SOT 1889651 SOS 335786 HAS SOPS 335786 HAS SOUS 190587 HAS SOUPS 190587 WITH SCORE 190922.786
AT ITER 6812 NEW BEST:: SOT 1889577 SOS 335638 HAS SOPS 335638 HAS SOUS 190513 HAS SOUPS 190513 WITH SCORE 190848.638
AT ITER 6830 NEW BEST:: SOT 1889563 SOS 335610 HAS SOPS 335610 HAS SOUS 190485 HAS SOUPS 190485 WITH SCORE 190820.61
AT ITER 6868 NEW BEST:: SOT 1889321 SOS 328970 HAS SOPS 328970 HAS SOUS 190013 HAS SOUPS 190013 WITH SCORE 190341.97
AT ITER 6909 NEW BEST:: SOT 1889313 SOS 328954 HAS SOPS 328954 HAS SOUS 189997 HAS SOUPS 189997 WITH SCORE 190325.954
AT ITER 6972 NEW BEST:: SOT 1889193 SOS 328450 HAS SOPS 328450 HAS SOUS 189101 HAS SOUPS 189101 WITH SCORE 189429.45
AT ITER 7033 NEW BEST:: SOT 1889192 SOS 328352 HAS SOPS 328352 HAS SOUS 189099 HAS SOUPS 189099 WITH SCORE 189427.352
AT ITER 7052 NEW BEST:: SOT 1889052 SOS 328072 HAS SOPS 328072 HAS SOUS 188735 HAS SOUPS 188735 WITH SCORE 189063.072
AT ITER 7055 NEW BEST:: SOT 1889051 SOS 328070 HAS SOPS 328070 HAS SOUS 188733 HAS SOUPS 188733 WITH SCORE 189061.07
AT ITER 7089 NEW BEST:: SOT 1889033 SOS 328034 HAS SOPS 328034 HAS SOUS 188697 HAS SOUPS 188697 WITH SCORE 189025.034
AT ITER 7102 NEW BEST:: SOT 1889410 SOS 316556 HAS SOPS 316556 HAS SOUS 188574 HAS SOUPS 188574 WITH SCORE 188890.556
AT ITER 7183 NEW BEST:: SOT 1889373 SOS 316482 HAS SOPS 316482 HAS SOUS 188500 HAS SOUPS 188500 WITH SCORE 188816.482
AT ITER 7185 NEW BEST:: SOT 1889369 SOS 316474 HAS SOPS 316474 HAS SOUS 188492 HAS SOUPS 188492 WITH SCORE 188808.474
AT ITER 7211 NEW BEST:: SOT 1889365 SOS 316466 HAS SOPS 316466 HAS SOUS 188484 HAS SOUPS 188484 WITH SCORE 188800.466
AT ITER 7238 NEW BEST:: SOT 1889251 SOS 316113 HAS SOPS 316113 HAS SOUS 188131 HAS SOUPS 188131 WITH SCORE 188447.113
AT ITER 7248 NEW BEST:: SOT 1889228 SOS 316067 HAS SOPS 316067 HAS SOUS 188085 HAS SOUPS 188085 WITH SCORE 188401.067
AT ITER 7251 NEW BEST:: SOT 1889177 SOS 315965 HAS SOPS 315965 HAS SOUS 188034 HAS SOUPS 188034 WITH SCORE 188349.965
AT ITER 7309 NEW BEST:: SOT 1889168 SOS 315947 HAS SOPS 315947 HAS SOUS 188016 HAS SOUPS 188016 WITH SCORE 188331.947
AT ITER 7310 NEW BEST:: SOT 1889167 SOS 315945 HAS SOPS 315945 HAS SOUS 188014 HAS SOUPS 188014 WITH SCORE 188329.945
AT ITER 7313 NEW BEST:: SOT 1889130 SOS 315871 HAS SOPS 315871 HAS SOUS 187869 HAS SOUPS 187869 WITH SCORE 188184.871
AT ITER 7318 NEW BEST:: SOT 1888925 SOS 315461 HAS SOPS 315461 HAS SOUS 187666 HAS SOUPS 187666 WITH SCORE 187981.461
AT ITER 7320 NEW BEST:: SOT 1888924 SOS 315399 HAS SOPS 315399 HAS SOUS 187664 HAS SOUPS 187664 WITH SCORE 187979.399
AT ITER 7390 NEW BEST:: SOT 1888924 SOS 313467 HAS SOPS 313467 HAS SOUS 187076 HAS SOUPS 187076 WITH SCORE 187389.467
AT ITER 7421 NEW BEST:: SOT 1888908 SOS 313414 HAS SOPS 313414 HAS SOUS 187044 HAS SOUPS 187044 WITH SCORE 187357.414
AT ITER 7431 NEW BEST:: SOT 1888959 SOS 313355 HAS SOPS 313355 HAS SOUS 186985 HAS SOUPS 186985 WITH SCORE 187298.355
AT ITER 7447 NEW BEST:: SOT 1888943 SOS 313307 HAS SOPS 313307 HAS SOUS 186953 HAS SOUPS 186953 WITH SCORE 187266.307
AT ITER 7451 NEW BEST:: SOT 1888962 SOS 313345 HAS SOPS 313345 HAS SOUS 186937 HAS SOUPS 186937 WITH SCORE 187250.345
AT ITER 7475 NEW BEST:: SOT 1888936 SOS 313293 HAS SOPS 313293 HAS SOUS 186885 HAS SOUPS 186885 WITH SCORE 187198.293
AT ITER 7484 NEW BEST:: SOT 1888861 SOS 299691 HAS SOPS 299691 HAS SOUS 185623 HAS SOUPS 185623 WITH SCORE 185922.691
AT ITER 7489 NEW BEST:: SOT 1888860 SOS 299689 HAS SOPS 299689 HAS SOUS 185621 HAS SOUPS 185621 WITH SCORE 185920.689
AT ITER 7498 NEW BEST:: SOT 1888860 SOS 299522 HAS SOPS 299522 HAS SOUS 185621 HAS SOUPS 185621 WITH SCORE 185920.522
AT ITER 7500 NEW BEST:: SOT 1888799 SOS 299443 HAS SOPS 299443 HAS SOUS 185531 HAS SOUPS 185531 WITH SCORE 185830.443
AT ITER 7518 NEW BEST:: SOT 1888774 SOS 299393 HAS SOPS 299393 HAS SOUS 185481 HAS SOUPS 185481 WITH SCORE 185780.393
AT ITER 7542 NEW BEST:: SOT 1888746 SOS 299337 HAS SOPS 299337 HAS SOUS 185425 HAS SOUPS 185425 WITH SCORE 185724.337
AT ITER 7576 NEW BEST:: SOT 1888732 SOS 299309 HAS SOPS 299309 HAS SOUS 185411 HAS SOUPS 185411 WITH SCORE 185710.309
AT ITER 7587 NEW BEST:: SOT 1888521 SOS 299077 HAS SOPS 299077 HAS SOUS 185228 HAS SOUPS 185228 WITH SCORE 185527.077
AT ITER 7612 NEW BEST:: SOT 1888419 SOS 298873 HAS SOPS 298873 HAS SOUS 185024 HAS SOUPS 185024 WITH SCORE 185322.873
AT ITER 7618 NEW BEST:: SOT 1888419 SOS 298862 HAS SOPS 298862 HAS SOUS 185013 HAS SOUPS 185013 WITH SCORE 185311.862
AT ITER 7625 NEW BEST:: SOT 1888361 SOS 298719 HAS SOPS 298719 HAS SOUS 184897 HAS SOUPS 184897 WITH SCORE 185195.719
AT ITER 7626 NEW BEST:: SOT 1888361 SOS 298719 HAS SOPS 298719 HAS SOUS 184801 HAS SOUPS 184801 WITH SCORE 185099.719
AT ITER 7633 NEW BEST:: SOT 1888333 SOS 298663 HAS SOPS 298663 HAS SOUS 184745 HAS SOUPS 184745 WITH SCORE 185043.663
AT ITER 7648 NEW BEST:: SOT 1888321 SOS 298654 HAS SOPS 298654 HAS SOUS 184735 HAS SOUPS 184735 WITH SCORE 185033.654
AT ITER 7664 NEW BEST:: SOT 1888317 SOS 298646 HAS SOPS 298646 HAS SOUS 184727 HAS SOUPS 184727 WITH SCORE 185025.646
AT ITER 7691 NEW BEST:: SOT 1888279 SOS 298570 HAS SOPS 298570 HAS SOUS 184651 HAS SOUPS 184651 WITH SCORE 184949.57
AT ITER 7698 NEW BEST:: SOT 1888258 SOS 298558 HAS SOPS 298558 HAS SOUS 184639 HAS SOUPS 184639 WITH SCORE 184937.558
AT ITER 7753 NEW BEST:: SOT 1888198 SOS 298438 HAS SOPS 298438 HAS SOUS 184519 HAS SOUPS 184519 WITH SCORE 184817.438
AT ITER 7767 NEW BEST:: SOT 1888175 SOS 298294 HAS SOPS 298294 HAS SOUS 184375 HAS SOUPS 184375 WITH SCORE 184673.294
AT ITER 7780 NEW BEST:: SOT 1888174 SOS 298292 HAS SOPS 298292 HAS SOUS 184373 HAS SOUPS 184373 WITH SCORE 184671.292
AT ITER 7782 NEW BEST:: SOT 1888028 SOS 298180 HAS SOPS 298180 HAS SOUS 184252 HAS SOUPS 184252 WITH SCORE 184550.18
AT ITER 7812 NEW BEST:: SOT 1887775 SOS 297674 HAS SOPS 297674 HAS SOUS 183876 HAS SOUPS 183876 WITH SCORE 184173.674
AT ITER 7834 NEW BEST:: SOT 1887653 SOS 297552 HAS SOPS 297552 HAS SOUS 183754 HAS SOUPS 183754 WITH SCORE 184051.552
AT ITER 7840 NEW BEST:: SOT 1887608 SOS 297462 HAS SOPS 297462 HAS SOUS 183664 HAS SOUPS 183664 WITH SCORE 183961.462
AT ITER 7898 NEW BEST:: SOT 1887466 SOS 297178 HAS SOPS 297178 HAS SOUS 183605 HAS SOUPS 183605 WITH SCORE 183902.178
AT ITER 7938 NEW BEST:: SOT 1887414 SOS 297074 HAS SOPS 297074 HAS SOUS 183550 HAS SOUPS 183550 WITH SCORE 183847.074
AT ITER 7948 NEW BEST:: SOT 1887355 SOS 296943 HAS SOPS 296943 HAS SOUS 183419 HAS SOUPS 183419 WITH SCORE 183715.943
AT ITER 8013 NEW BEST:: SOT 1887308 SOS 296849 HAS SOPS 296849 HAS SOUS 183404 HAS SOUPS 183404 WITH SCORE 183700.849
AT ITER 8020 NEW BEST:: SOT 1887288 SOS 296809 HAS SOPS 296809 HAS SOUS 183272 HAS SOUPS 183272 WITH SCORE 183568.809
AT ITER 8030 NEW BEST:: SOT 1887165 SOS 296563 HAS SOPS 296563 HAS SOUS 182941 HAS SOUPS 182941 WITH SCORE 183237.563
AT ITER 8106 NEW BEST:: SOT 1887164 SOS 296561 HAS SOPS 296561 HAS SOUS 182939 HAS SOUPS 182939 WITH SCORE 183235.561
AT ITER 8125 NEW BEST:: SOT 1887163 SOS 296559 HAS SOPS 296559 HAS SOUS 182937 HAS SOUPS 182937 WITH SCORE 183233.559
AT ITER 8127 NEW BEST:: SOT 1887103 SOS 296418 HAS SOPS 296418 HAS SOUS 182796 HAS SOUPS 182796 WITH SCORE 183092.418
AT ITER 8143 NEW BEST:: SOT 1887062 SOS 296340 HAS SOPS 296340 HAS SOUS 182718 HAS SOUPS 182718 WITH SCORE 183014.34
AT ITER 8168 NEW BEST:: SOT 1887007 SOS 297245 HAS SOPS 297245 HAS SOUS 182699 HAS SOUPS 182699 WITH SCORE 182996.245
AT ITER 8188 NEW BEST:: SOT 1886991 SOS 297213 HAS SOPS 297213 HAS SOUS 182683 HAS SOUPS 182683 WITH SCORE 182980.213
AT ITER 8194 NEW BEST:: SOT 1886875 SOS 296965 HAS SOPS 296965 HAS SOUS 182451 HAS SOUPS 182451 WITH SCORE 182747.965
AT ITER 8201 NEW BEST:: SOT 1886763 SOS 296741 HAS SOPS 296741 HAS SOUS 182227 HAS SOUPS 182227 WITH SCORE 182523.741
AT ITER 8215 NEW BEST:: SOT 1886754 SOS 296723 HAS SOPS 296723 HAS SOUS 182218 HAS SOUPS 182218 WITH SCORE 182514.723
AT ITER 8256 NEW BEST:: SOT 1886676 SOS 296567 HAS SOPS 296567 HAS SOUS 182140 HAS SOUPS 182140 WITH SCORE 182436.567
AT ITER 8313 NEW BEST:: SOT 1886648 SOS 296539 HAS SOPS 296539 HAS SOUS 182084 HAS SOUPS 182084 WITH SCORE 182380.539
AT ITER 8419 NEW BEST:: SOT 1886625 SOS 296503 HAS SOPS 296503 HAS SOUS 182048 HAS SOUPS 182048 WITH SCORE 182344.503
AT ITER 8468 NEW BEST:: SOT 1886601 SOS 296455 HAS SOPS 296455 HAS SOUS 182000 HAS SOUPS 182000 WITH SCORE 182296.455
AT ITER 8492 NEW BEST:: SOT 1886578 SOS 296529 HAS SOPS 296529 HAS SOUS 181993 HAS SOUPS 181993 WITH SCORE 182289.529
AT ITER 8532 NEW BEST:: SOT 1886568 SOS 296509 HAS SOPS 296509 HAS SOUS 181973 HAS SOUPS 181973 WITH SCORE 182269.509
AT ITER 8565 NEW BEST:: SOT 1886406 SOS 296185 HAS SOPS 296185 HAS SOUS 181811 HAS SOUPS 181811 WITH SCORE 182107.185
AT ITER 8585 NEW BEST:: SOT 1886319 SOS 296011 HAS SOPS 296011 HAS SOUS 181637 HAS SOUPS 181637 WITH SCORE 181933.011
AT ITER 8680 NEW BEST:: SOT 1886294 SOS 295961 HAS SOPS 295961 HAS SOUS 181587 HAS SOUPS 181587 WITH SCORE 181882.961
AT ITER 8727 NEW BEST:: SOT 1886186 SOS 295745 HAS SOPS 295745 HAS SOUS 181479 HAS SOUPS 181479 WITH SCORE 181774.745
AT ITER 8769 NEW BEST:: SOT 1886129 SOS 295631 HAS SOPS 295631 HAS SOUS 181422 HAS SOUPS 181422 WITH SCORE 181717.631
AT ITER 8781 NEW BEST:: SOT 1886103 SOS 295579 HAS SOPS 295579 HAS SOUS 181370 HAS SOUPS 181370 WITH SCORE 181665.579
AT ITER 8786 NEW BEST:: SOT 1885955 SOS 295283 HAS SOPS 295283 HAS SOUS 181248 HAS SOUPS 181248 WITH SCORE 181543.283
AT ITER 8807 NEW BEST:: SOT 1885954 SOS 295281 HAS SOPS 295281 HAS SOUS 181246 HAS SOUPS 181246 WITH SCORE 181541.281
AT ITER 8808 NEW BEST:: SOT 1885953 SOS 295235 HAS SOPS 295235 HAS SOUS 181244 HAS SOUPS 181244 WITH SCORE 181539.235
AT ITER 8847 NEW BEST:: SOT 1885856 SOS 294908 HAS SOPS 294908 HAS SOUS 181050 HAS SOUPS 181050 WITH SCORE 181344.908
AT ITER 8904 NEW BEST:: SOT 1885855 SOS 294906 HAS SOPS 294906 HAS SOUS 181048 HAS SOUPS 181048 WITH SCORE 181342.906
AT ITER 8907 NEW BEST:: SOT 1885763 SOS 292238 HAS SOPS 292238 HAS SOUS 180818 HAS SOUPS 180818 WITH SCORE 181110.238
AT ITER 8952 NEW BEST:: SOT 1885791 SOS 292236 HAS SOPS 292236 HAS SOUS 180816 HAS SOUPS 180816 WITH SCORE 181108.236
AT ITER 8962 NEW BEST:: SOT 1885687 SOS 292028 HAS SOPS 292028 HAS SOUS 180608 HAS SOUPS 180608 WITH SCORE 180900.028
AT ITER 8970 NEW BEST:: SOT 1885622 SOS 291898 HAS SOPS 291898 HAS SOUS 180478 HAS SOUPS 180478 WITH SCORE 180769.898
AT ITER 8987 NEW BEST:: SOT 1885621 SOS 291896 HAS SOPS 291896 HAS SOUS 180476 HAS SOUPS 180476 WITH SCORE 180767.896
AT ITER 8992 NEW BEST:: SOT 1885607 SOS 291868 HAS SOPS 291868 HAS SOUS 180448 HAS SOUPS 180448 WITH SCORE 180739.868
AT ITER 9031 NEW BEST:: SOT 1885607 SOS 291868 HAS SOPS 291868 HAS SOUS 180170 HAS SOUPS 180170 WITH SCORE 180461.868
AT ITER 9040 NEW BEST:: SOT 1885604 SOS 291862 HAS SOPS 291862 HAS SOUS 180164 HAS SOUPS 180164 WITH SCORE 180455.862
AT ITER 9050 NEW BEST:: SOT 1885591 SOS 291836 HAS SOPS 291836 HAS SOUS 180138 HAS SOUPS 180138 WITH SCORE 180429.836
AT ITER 9079 NEW BEST:: SOT 1885590 SOS 291834 HAS SOPS 291834 HAS SOUS 180136 HAS SOUPS 180136 WITH SCORE 180427.834
AT ITER 9117 NEW BEST:: SOT 1885590 SOS 291796 HAS SOPS 291796 HAS SOUS 180117 HAS SOUPS 180117 WITH SCORE 180408.796
AT ITER 9123 NEW BEST:: SOT 1885522 SOS 291762 HAS SOPS 291762 HAS SOUS 180049 HAS SOUPS 180049 WITH SCORE 180340.762
AT ITER 9150 NEW BEST:: SOT 1885416 SOS 291550 HAS SOPS 291550 HAS SOUS 179954 HAS SOUPS 179954 WITH SCORE 180245.55
AT ITER 9252 NEW BEST:: SOT 1885332 SOS 291356 HAS SOPS 291356 HAS SOUS 179760 HAS SOUPS 179760 WITH SCORE 180051.356
AT ITER 9279 NEW BEST:: SOT 1885262 SOS 291412 HAS SOPS 291412 HAS SOUS 179383 HAS SOUPS 179383 WITH SCORE 179674.412
AT ITER 9405 NEW BEST:: SOT 1885291 SOS 291440 HAS SOPS 291440 HAS SOUS 179381 HAS SOUPS 179381 WITH SCORE 179672.44
AT ITER 9428 NEW BEST:: SOT 1885271 SOS 291396 HAS SOPS 291396 HAS SOUS 179353 HAS SOUPS 179353 WITH SCORE 179644.396
AT ITER 9478 NEW BEST:: SOT 1885269 SOS 291392 HAS SOPS 291392 HAS SOUS 179349 HAS SOUPS 179349 WITH SCORE 179640.392
AT ITER 9485 NEW BEST:: SOT 1885200 SOS 291254 HAS SOPS 291254 HAS SOUS 179280 HAS SOUPS 179280 WITH SCORE 179571.254
AT ITER 9511 NEW BEST:: SOT 1885022 SOS 287604 HAS SOPS 287604 HAS SOUS 178946 HAS SOUPS 178946 WITH SCORE 179233.604
AT ITER 9559 NEW BEST:: SOT 1884762 SOS 285383 HAS SOPS 285383 HAS SOUS 178762 HAS SOUPS 178762 WITH SCORE 179047.383
AT ITER 9677 NEW BEST:: SOT 1884767 SOS 285371 HAS SOPS 285371 HAS SOUS 178756 HAS SOUPS 178756 WITH SCORE 179041.371
AT ITER 9692 NEW BEST:: SOT 1884727 SOS 285291 HAS SOPS 285291 HAS SOUS 178676 HAS SOUPS 178676 WITH SCORE 178961.291
AT ITER 9716 NEW BEST:: SOT 1884715 SOS 285267 HAS SOPS 285267 HAS SOUS 178639 HAS SOUPS 178639 WITH SCORE 178924.267
AT ITER 9728 NEW BEST:: SOT 1884689 SOS 285215 HAS SOPS 285215 HAS SOUS 178587 HAS SOUPS 178587 WITH SCORE 178872.215
AT ITER 9735 NEW BEST:: SOT 1884651 SOS 285118 HAS SOPS 285118 HAS SOUS 178490 HAS SOUPS 178490 WITH SCORE 178775.118
AT ITER 9737 NEW BEST:: SOT 1884638 SOS 285092 HAS SOPS 285092 HAS SOUS 178464 HAS SOUPS 178464 WITH SCORE 178749.092
AT ITER 9769 NEW BEST:: SOT 1884541 SOS 284898 HAS SOPS 284898 HAS SOUS 178270 HAS SOUPS 178270 WITH SCORE 178554.898
AT ITER 9772 NEW BEST:: SOT 1884532 SOS 284880 HAS SOPS 284880 HAS SOUS 178237 HAS SOUPS 178237 WITH SCORE 178521.88
AT ITER 9775 NEW BEST:: SOT 1884446 SOS 284708 HAS SOPS 284708 HAS SOUS 178073 HAS SOUPS 178073 WITH SCORE 178357.708
AT ITER 9835 NEW BEST:: SOT 1884439 SOS 284694 HAS SOPS 284694 HAS SOUS 178059 HAS SOUPS 178059 WITH SCORE 178343.694
AT ITER 9844 NEW BEST:: SOT 1884394 SOS 284670 HAS SOPS 284670 HAS SOUS 178024 HAS SOUPS 178024 WITH SCORE 178308.67
AT ITER 9846 NEW BEST:: SOT 1884380 SOS 284642 HAS SOPS 284642 HAS SOUS 177996 HAS SOUPS 177996 WITH SCORE 178280.642
AT ITER 9869 NEW BEST:: SOT 1884366 SOS 284534 HAS SOPS 284534 HAS SOUS 177888 HAS SOUPS 177888 WITH SCORE 178172.534
AT ITER 9874 NEW BEST:: SOT 1884289 SOS 284380 HAS SOPS 284380 HAS SOUS 177734 HAS SOUPS 177734 WITH SCORE 178018.38
AT ITER 9881 NEW BEST:: SOT 1884290 SOS 284382 HAS SOPS 284382 HAS SOUS 177706 HAS SOUPS 177706 WITH SCORE 177990.382
AT ITER 9940 NEW BEST:: SOT 1884277 SOS 284356 HAS SOPS 284356 HAS SOUS 177680 HAS SOUPS 177680 WITH SCORE 177964.356
AT ITER 9959 NEW BEST:: SOT 1884265 SOS 284332 HAS SOPS 284332 HAS SOUS 177656 HAS SOUPS 177656 WITH SCORE 177940.332
AT ITER 9961 NEW BEST:: SOT 1884237 SOS 284276 HAS SOPS 284276 HAS SOUS 177600 HAS SOUPS 177600 WITH SCORE 177884.276
AT ITER 9980 NEW BEST:: SOT 1884224 SOS 284250 HAS SOPS 284250 HAS SOUS 177574 HAS SOUPS 177574 WITH SCORE 177858.25
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12678584 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16151256 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyCommit-PT-04b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is StigmergyCommit-PT-04b, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r451-smll-167912643500440"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/StigmergyCommit-PT-04b.tgz
mv StigmergyCommit-PT-04b execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;