fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r451-smll-167912643800632
Last Updated
May 14, 2023

About the Execution of Smart for StigmergyElection-PT-06b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4706.888 3600000.00 3599900.00 240.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-167912643800632.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 StigmergyElection-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643800632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.5M
-rw-r--r-- 1 mcc users 7.8K Feb 26 16:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 16:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 16:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 16:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 67K Feb 26 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 26 16:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 26 16:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 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 1.2M 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 1679326293296

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=StigmergyElection-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 06b
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: 835 places, 2416 transitions, 20130 arcs.
AT ITER 0 NEW BEST:: SOT 1533255 SOS 265372 HAS SOPS 265372 HAS SOUS 205772 HAS SOUPS 205772 WITH SCORE 206037.372
AT ITER 2 NEW BEST:: SOT 1533176 SOS 265214 HAS SOPS 265214 HAS SOUS 205614 HAS SOUPS 205614 WITH SCORE 205879.214
AT ITER 4 NEW BEST:: SOT 1531242 SOS 290677 HAS SOPS 290677 HAS SOUS 204009 HAS SOUPS 204009 WITH SCORE 204299.677
AT ITER 31 NEW BEST:: SOT 1531150 SOS 310327 HAS SOPS 310327 HAS SOUS 203847 HAS SOUPS 203847 WITH SCORE 204157.327
AT ITER 32 NEW BEST:: SOT 1529031 SOS 326233 HAS SOPS 326233 HAS SOUS 202610 HAS SOUPS 202610 WITH SCORE 202936.233
AT ITER 54 NEW BEST:: SOT 1529030 SOS 326231 HAS SOPS 326231 HAS SOUS 202608 HAS SOUPS 202608 WITH SCORE 202934.231
AT ITER 58 NEW BEST:: SOT 1527303 SOS 335297 HAS SOPS 335297 HAS SOUS 201930 HAS SOUPS 201930 WITH SCORE 202265.297
AT ITER 74 NEW BEST:: SOT 1527285 SOS 335259 HAS SOPS 335259 HAS SOUS 201920 HAS SOUPS 201920 WITH SCORE 202255.259
AT ITER 81 NEW BEST:: SOT 1527247 SOS 335183 HAS SOPS 335183 HAS SOUS 201916 HAS SOUPS 201916 WITH SCORE 202251.183
AT ITER 90 NEW BEST:: SOT 1527333 SOS 335355 HAS SOPS 335355 HAS SOUS 201912 HAS SOUPS 201912 WITH SCORE 202247.355
AT ITER 99 NEW BEST:: SOT 1527540 SOS 335613 HAS SOPS 335613 HAS SOUS 201869 HAS SOUPS 201869 WITH SCORE 202204.613
AT ITER 117 NEW BEST:: SOT 1527537 SOS 335607 HAS SOPS 335607 HAS SOUS 201863 HAS SOUPS 201863 WITH SCORE 202198.607
AT ITER 119 NEW BEST:: SOT 1524204 SOS 332246 HAS SOPS 332246 HAS SOUS 198522 HAS SOUPS 198522 WITH SCORE 198854.246
AT ITER 130 NEW BEST:: SOT 1524204 SOS 332173 HAS SOPS 332173 HAS SOUS 198449 HAS SOUPS 198449 WITH SCORE 198781.173
AT ITER 148 NEW BEST:: SOT 1524174 SOS 332113 HAS SOPS 332113 HAS SOUS 198419 HAS SOUPS 198419 WITH SCORE 198751.113
AT ITER 164 NEW BEST:: SOT 1524174 SOS 332113 HAS SOPS 332113 HAS SOUS 198417 HAS SOUPS 198417 WITH SCORE 198749.113
AT ITER 171 NEW BEST:: SOT 1524090 SOS 331945 HAS SOPS 331945 HAS SOUS 198333 HAS SOUPS 198333 WITH SCORE 198664.945
AT ITER 202 NEW BEST:: SOT 1523978 SOS 331721 HAS SOPS 331721 HAS SOUS 198221 HAS SOUPS 198221 WITH SCORE 198552.721
AT ITER 212 NEW BEST:: SOT 1523886 SOS 331537 HAS SOPS 331537 HAS SOUS 198129 HAS SOUPS 198129 WITH SCORE 198460.537
AT ITER 253 NEW BEST:: SOT 1521900 SOS 335969 HAS SOPS 335969 HAS SOUS 197216 HAS SOUPS 197216 WITH SCORE 197551.969
AT ITER 285 NEW BEST:: SOT 1521760 SOS 363858 HAS SOPS 363858 HAS SOUS 197051 HAS SOUPS 197051 WITH SCORE 197414.858
AT ITER 293 NEW BEST:: SOT 1521608 SOS 363554 HAS SOPS 363554 HAS SOUS 196899 HAS SOUPS 196899 WITH SCORE 197262.554
AT ITER 298 NEW BEST:: SOT 1521590 SOS 363518 HAS SOPS 363518 HAS SOUS 196863 HAS SOUPS 196863 WITH SCORE 197226.518
AT ITER 311 NEW BEST:: SOT 1521589 SOS 363516 HAS SOPS 363516 HAS SOUS 196861 HAS SOUPS 196861 WITH SCORE 197224.516
AT ITER 333 NEW BEST:: SOT 1521505 SOS 363348 HAS SOPS 363348 HAS SOUS 196815 HAS SOUPS 196815 WITH SCORE 197178.348
AT ITER 367 NEW BEST:: SOT 1516803 SOS 373829 HAS SOPS 373829 HAS SOUS 194473 HAS SOUPS 194473 WITH SCORE 194846.829
AT ITER 370 NEW BEST:: SOT 1512970 SOS 374711 HAS SOPS 374711 HAS SOUS 192451 HAS SOUPS 192451 WITH SCORE 192825.711
AT ITER 376 NEW BEST:: SOT 1511187 SOS 455835 HAS SOPS 455835 HAS SOUS 191669 HAS SOUPS 191669 WITH SCORE 192124.835
AT ITER 394 NEW BEST:: SOT 1511157 SOS 455775 HAS SOPS 455775 HAS SOUS 191609 HAS SOUPS 191609 WITH SCORE 192064.775
AT ITER 395 NEW BEST:: SOT 1511083 SOS 453259 HAS SOPS 453259 HAS SOUS 191387 HAS SOUPS 191387 WITH SCORE 191840.259
AT ITER 399 NEW BEST:: SOT 1510991 SOS 452983 HAS SOPS 452983 HAS SOUS 191203 HAS SOUPS 191203 WITH SCORE 191655.983
AT ITER 404 NEW BEST:: SOT 1510947 SOS 452895 HAS SOPS 452895 HAS SOUS 191115 HAS SOUPS 191115 WITH SCORE 191567.895
AT ITER 406 NEW BEST:: SOT 1508411 SOS 450383 HAS SOPS 450383 HAS SOUS 188655 HAS SOUPS 188655 WITH SCORE 189105.383
AT ITER 409 NEW BEST:: SOT 1508240 SOS 450041 HAS SOPS 450041 HAS SOUS 188492 HAS SOUPS 188492 WITH SCORE 188942.041
AT ITER 437 NEW BEST:: SOT 1503722 SOS 447794 HAS SOPS 447794 HAS SOUS 184125 HAS SOUPS 184125 WITH SCORE 184572.794
AT ITER 438 NEW BEST:: SOT 1503721 SOS 447827 HAS SOPS 447827 HAS SOUS 184123 HAS SOUPS 184123 WITH SCORE 184570.827
AT ITER 453 NEW BEST:: SOT 1503575 SOS 447535 HAS SOPS 447535 HAS SOUS 183956 HAS SOUPS 183956 WITH SCORE 184403.535
AT ITER 454 NEW BEST:: SOT 1503573 SOS 447531 HAS SOPS 447531 HAS SOUS 183952 HAS SOUPS 183952 WITH SCORE 184399.531
AT ITER 470 NEW BEST:: SOT 1503463 SOS 447311 HAS SOPS 447311 HAS SOUS 183718 HAS SOUPS 183718 WITH SCORE 184165.311
AT ITER 478 NEW BEST:: SOT 1503486 SOS 447357 HAS SOPS 447357 HAS SOUS 183580 HAS SOUPS 183580 WITH SCORE 184027.357
AT ITER 489 NEW BEST:: SOT 1503276 SOS 446937 HAS SOPS 446937 HAS SOUS 183265 HAS SOUPS 183265 WITH SCORE 183711.937
AT ITER 498 NEW BEST:: SOT 1503137 SOS 446659 HAS SOPS 446659 HAS SOUS 183126 HAS SOUPS 183126 WITH SCORE 183572.659
AT ITER 513 NEW BEST:: SOT 1501096 SOS 444680 HAS SOPS 444680 HAS SOUS 181183 HAS SOUPS 181183 WITH SCORE 181627.68
AT ITER 516 NEW BEST:: SOT 1500933 SOS 382146 HAS SOPS 382146 HAS SOUS 180857 HAS SOUPS 180857 WITH SCORE 181239.146
AT ITER 546 NEW BEST:: SOT 1500813 SOS 381906 HAS SOPS 381906 HAS SOUS 180737 HAS SOUPS 180737 WITH SCORE 181118.906
AT ITER 566 NEW BEST:: SOT 1500813 SOS 381888 HAS SOPS 381888 HAS SOUS 180736 HAS SOUPS 180736 WITH SCORE 181117.888
AT ITER 584 NEW BEST:: SOT 1500863 SOS 381868 HAS SOPS 381868 HAS SOUS 180716 HAS SOUPS 180716 WITH SCORE 181097.868
AT ITER 586 NEW BEST:: SOT 1500578 SOS 381298 HAS SOPS 381298 HAS SOUS 180146 HAS SOUPS 180146 WITH SCORE 180527.298
AT ITER 608 NEW BEST:: SOT 1500237 SOS 380957 HAS SOPS 380957 HAS SOUS 179805 HAS SOUPS 179805 WITH SCORE 180185.957
AT ITER 642 NEW BEST:: SOT 1495302 SOS 465193 HAS SOPS 465193 HAS SOUS 176187 HAS SOUPS 176187 WITH SCORE 176652.193
AT ITER 657 NEW BEST:: SOT 1491622 SOS 525517 HAS SOPS 525517 HAS SOUS 173274 HAS SOUPS 173274 WITH SCORE 173799.517
AT ITER 662 NEW BEST:: SOT 1491590 SOS 525476 HAS SOPS 525476 HAS SOUS 173251 HAS SOUPS 173251 WITH SCORE 173776.476
AT ITER 693 NEW BEST:: SOT 1491554 SOS 525404 HAS SOPS 525404 HAS SOUS 173179 HAS SOUPS 173179 WITH SCORE 173704.404
AT ITER 701 NEW BEST:: SOT 1491551 SOS 525398 HAS SOPS 525398 HAS SOUS 173173 HAS SOUPS 173173 WITH SCORE 173698.398
AT ITER 706 NEW BEST:: SOT 1491531 SOS 525358 HAS SOPS 525358 HAS SOUS 173133 HAS SOUPS 173133 WITH SCORE 173658.358
AT ITER 707 NEW BEST:: SOT 1491383 SOS 525062 HAS SOPS 525062 HAS SOUS 172985 HAS SOUPS 172985 WITH SCORE 173510.062
AT ITER 734 NEW BEST:: SOT 1491304 SOS 524904 HAS SOPS 524904 HAS SOUS 172906 HAS SOUPS 172906 WITH SCORE 173430.904
AT ITER 758 NEW BEST:: SOT 1491244 SOS 524784 HAS SOPS 524784 HAS SOUS 172846 HAS SOUPS 172846 WITH SCORE 173370.784
AT ITER 760 NEW BEST:: SOT 1491145 SOS 524586 HAS SOPS 524586 HAS SOUS 172746 HAS SOUPS 172746 WITH SCORE 173270.586
AT ITER 765 NEW BEST:: SOT 1491129 SOS 524554 HAS SOPS 524554 HAS SOUS 172730 HAS SOUPS 172730 WITH SCORE 173254.554
AT ITER 780 NEW BEST:: SOT 1482200 SOS 555882 HAS SOPS 555882 HAS SOUS 165970 HAS SOUPS 165970 WITH SCORE 166525.882
AT ITER 789 NEW BEST:: SOT 1482094 SOS 555776 HAS SOPS 555776 HAS SOUS 165864 HAS SOUPS 165864 WITH SCORE 166419.776
AT ITER 804 NEW BEST:: SOT 1482012 SOS 547364 HAS SOPS 547364 HAS SOUS 165659 HAS SOUPS 165659 WITH SCORE 166206.364
AT ITER 806 NEW BEST:: SOT 1482123 SOS 547586 HAS SOPS 547586 HAS SOUS 165603 HAS SOUPS 165603 WITH SCORE 166150.586
AT ITER 817 NEW BEST:: SOT 1482123 SOS 547524 HAS SOPS 547524 HAS SOUS 165541 HAS SOUPS 165541 WITH SCORE 166088.524
AT ITER 844 NEW BEST:: SOT 1478913 SOS 544314 HAS SOPS 544314 HAS SOUS 162361 HAS SOUPS 162361 WITH SCORE 162905.314
AT ITER 855 NEW BEST:: SOT 1478795 SOS 544078 HAS SOPS 544078 HAS SOUS 162224 HAS SOUPS 162224 WITH SCORE 162768.078
AT ITER 884 NEW BEST:: SOT 1478795 SOS 544040 HAS SOPS 544040 HAS SOUS 162185 HAS SOUPS 162185 WITH SCORE 162729.04
AT ITER 905 NEW BEST:: SOT 1478745 SOS 543990 HAS SOPS 543990 HAS SOUS 162135 HAS SOUPS 162135 WITH SCORE 162678.99
AT ITER 955 NEW BEST:: SOT 1478399 SOS 543298 HAS SOPS 543298 HAS SOUS 161642 HAS SOUPS 161642 WITH SCORE 162185.298
AT ITER 971 NEW BEST:: SOT 1478449 SOS 543398 HAS SOPS 543398 HAS SOUS 161618 HAS SOUPS 161618 WITH SCORE 162161.398
AT ITER 975 NEW BEST:: SOT 1478404 SOS 543308 HAS SOPS 543308 HAS SOUS 161573 HAS SOUPS 161573 WITH SCORE 162116.308
AT ITER 999 NEW BEST:: SOT 1478404 SOS 543288 HAS SOPS 543288 HAS SOUS 161573 HAS SOUPS 161573 WITH SCORE 162116.288
AT ITER 1001 NEW BEST:: SOT 1478385 SOS 542150 HAS SOPS 542150 HAS SOUS 161198 HAS SOUPS 161198 WITH SCORE 161740.15
AT ITER 1011 NEW BEST:: SOT 1478332 SOS 542044 HAS SOPS 542044 HAS SOUS 161145 HAS SOUPS 161145 WITH SCORE 161687.044
AT ITER 1026 NEW BEST:: SOT 1478261 SOS 541973 HAS SOPS 541973 HAS SOUS 161074 HAS SOUPS 161074 WITH SCORE 161615.973
AT ITER 1044 NEW BEST:: SOT 1470263 SOS 581249 HAS SOPS 581249 HAS SOUS 155958 HAS SOUPS 155958 WITH SCORE 156539.249
AT ITER 1051 NEW BEST:: SOT 1470236 SOS 581247 HAS SOPS 581247 HAS SOUS 155956 HAS SOUPS 155956 WITH SCORE 156537.247
AT ITER 1066 NEW BEST:: SOT 1470233 SOS 581231 HAS SOPS 581231 HAS SOUS 155940 HAS SOUPS 155940 WITH SCORE 156521.231
AT ITER 1089 NEW BEST:: SOT 1470232 SOS 581229 HAS SOPS 581229 HAS SOUS 155938 HAS SOUPS 155938 WITH SCORE 156519.229
AT ITER 1101 NEW BEST:: SOT 1470118 SOS 581121 HAS SOPS 581121 HAS SOUS 155830 HAS SOUPS 155830 WITH SCORE 156411.121
AT ITER 1130 NEW BEST:: SOT 1470005 SOS 581029 HAS SOPS 581029 HAS SOUS 155728 HAS SOUPS 155728 WITH SCORE 156309.029
AT ITER 1132 NEW BEST:: SOT 1470005 SOS 581018 HAS SOPS 581018 HAS SOUS 155717 HAS SOUPS 155717 WITH SCORE 156298.018
AT ITER 1170 NEW BEST:: SOT 1469605 SOS 580618 HAS SOPS 580618 HAS SOUS 155292 HAS SOUPS 155292 WITH SCORE 155872.618
AT ITER 1172 NEW BEST:: SOT 1469339 SOS 580086 HAS SOPS 580086 HAS SOUS 155032 HAS SOUPS 155032 WITH SCORE 155612.086
AT ITER 1188 NEW BEST:: SOT 1469277 SOS 579962 HAS SOPS 579962 HAS SOUS 154955 HAS SOUPS 154955 WITH SCORE 155534.962
AT ITER 1191 NEW BEST:: SOT 1469246 SOS 579900 HAS SOPS 579900 HAS SOUS 154893 HAS SOUPS 154893 WITH SCORE 155472.9
AT ITER 1211 NEW BEST:: SOT 1456444 SOS 620458 HAS SOPS 620458 HAS SOUS 150568 HAS SOUPS 150568 WITH SCORE 151188.458
AT ITER 1213 NEW BEST:: SOT 1456415 SOS 620400 HAS SOPS 620400 HAS SOUS 150539 HAS SOUPS 150539 WITH SCORE 151159.4
AT ITER 1227 NEW BEST:: SOT 1456185 SOS 591068 HAS SOPS 591068 HAS SOUS 149278 HAS SOUPS 149278 WITH SCORE 149869.068
AT ITER 1250 NEW BEST:: SOT 1456228 SOS 591019 HAS SOPS 591019 HAS SOUS 149229 HAS SOUPS 149229 WITH SCORE 149820.019
AT ITER 1280 NEW BEST:: SOT 1456208 SOS 590979 HAS SOPS 590979 HAS SOUS 149058 HAS SOUPS 149058 WITH SCORE 149648.979
AT ITER 1285 NEW BEST:: SOT 1456242 SOS 590967 HAS SOPS 590967 HAS SOUS 149046 HAS SOUPS 149046 WITH SCORE 149636.967
AT ITER 1294 NEW BEST:: SOT 1456266 SOS 590914 HAS SOPS 590914 HAS SOUS 148993 HAS SOUPS 148993 WITH SCORE 149583.914
AT ITER 1327 NEW BEST:: SOT 1456295 SOS 590592 HAS SOPS 590592 HAS SOUS 148870 HAS SOUPS 148870 WITH SCORE 149460.592
AT ITER 1339 NEW BEST:: SOT 1456190 SOS 588058 HAS SOPS 588058 HAS SOUS 148149 HAS SOUPS 148149 WITH SCORE 148737.058
AT ITER 1342 NEW BEST:: SOT 1456141 SOS 588009 HAS SOPS 588009 HAS SOUS 148100 HAS SOUPS 148100 WITH SCORE 148688.009
AT ITER 1344 NEW BEST:: SOT 1456131 SOS 587989 HAS SOPS 587989 HAS SOUS 148080 HAS SOUPS 148080 WITH SCORE 148667.989
AT ITER 1351 NEW BEST:: SOT 1456089 SOS 587981 HAS SOPS 587981 HAS SOUS 148074 HAS SOUPS 148074 WITH SCORE 148661.981
AT ITER 1359 NEW BEST:: SOT 1456085 SOS 587973 HAS SOPS 587973 HAS SOUS 148070 HAS SOUPS 148070 WITH SCORE 148657.973
AT ITER 1367 NEW BEST:: SOT 1455987 SOS 587777 HAS SOPS 587777 HAS SOUS 147747 HAS SOUPS 147747 WITH SCORE 148334.777
AT ITER 1446 NEW BEST:: SOT 1455987 SOS 587694 HAS SOPS 587694 HAS SOUS 147747 HAS SOUPS 147747 WITH SCORE 148334.694
AT ITER 1464 NEW BEST:: SOT 1449891 SOS 598400 HAS SOPS 598400 HAS SOUS 143888 HAS SOUPS 143888 WITH SCORE 144486.4
AT ITER 1486 NEW BEST:: SOT 1449891 SOS 598400 HAS SOPS 598400 HAS SOUS 143876 HAS SOUPS 143876 WITH SCORE 144474.4
AT ITER 1494 NEW BEST:: SOT 1449693 SOS 598004 HAS SOPS 598004 HAS SOUS 143483 HAS SOUPS 143483 WITH SCORE 144081.004
AT ITER 1560 NEW BEST:: SOT 1449692 SOS 598002 HAS SOPS 598002 HAS SOUS 143481 HAS SOUPS 143481 WITH SCORE 144079.002
AT ITER 1594 NEW BEST:: SOT 1449692 SOS 598002 HAS SOPS 598002 HAS SOUS 143480 HAS SOUPS 143480 WITH SCORE 144078.002
AT ITER 1600 NEW BEST:: SOT 1449521 SOS 597660 HAS SOPS 597660 HAS SOUS 143119 HAS SOUPS 143119 WITH SCORE 143716.66
AT ITER 1603 NEW BEST:: SOT 1449422 SOS 597462 HAS SOPS 597462 HAS SOUS 142974 HAS SOUPS 142974 WITH SCORE 143571.462
AT ITER 1611 NEW BEST:: SOT 1449421 SOS 597460 HAS SOPS 597460 HAS SOUS 142972 HAS SOUPS 142972 WITH SCORE 143569.46
AT ITER 1656 NEW BEST:: SOT 1449421 SOS 597460 HAS SOPS 597460 HAS SOUS 142937 HAS SOUPS 142937 WITH SCORE 143534.46
AT ITER 1665 NEW BEST:: SOT 1449318 SOS 594446 HAS SOPS 594446 HAS SOUS 142127 HAS SOUPS 142127 WITH SCORE 142721.446
AT ITER 1669 NEW BEST:: SOT 1449236 SOS 588990 HAS SOPS 588990 HAS SOUS 141491 HAS SOUPS 141491 WITH SCORE 142079.99
AT ITER 1679 NEW BEST:: SOT 1449236 SOS 588865 HAS SOPS 588865 HAS SOUS 141491 HAS SOUPS 141491 WITH SCORE 142079.865
AT ITER 1687 NEW BEST:: SOT 1449236 SOS 561973 HAS SOPS 561973 HAS SOUS 141436 HAS SOUPS 141436 WITH SCORE 141997.973
AT ITER 1730 NEW BEST:: SOT 1449217 SOS 561935 HAS SOPS 561935 HAS SOUS 141398 HAS SOUPS 141398 WITH SCORE 141959.935
AT ITER 1736 NEW BEST:: SOT 1449068 SOS 561637 HAS SOPS 561637 HAS SOUS 141100 HAS SOUPS 141100 WITH SCORE 141661.637
AT ITER 1744 NEW BEST:: SOT 1449058 SOS 561617 HAS SOPS 561617 HAS SOUS 141096 HAS SOUPS 141096 WITH SCORE 141657.617
AT ITER 1747 NEW BEST:: SOT 1448991 SOS 561483 HAS SOPS 561483 HAS SOUS 140962 HAS SOUPS 140962 WITH SCORE 141523.483
AT ITER 1767 NEW BEST:: SOT 1448985 SOS 561471 HAS SOPS 561471 HAS SOUS 140950 HAS SOUPS 140950 WITH SCORE 141511.471
AT ITER 1774 NEW BEST:: SOT 1448867 SOS 561235 HAS SOPS 561235 HAS SOUS 140850 HAS SOUPS 140850 WITH SCORE 141411.235
AT ITER 1783 NEW BEST:: SOT 1448868 SOS 561237 HAS SOPS 561237 HAS SOUS 140833 HAS SOUPS 140833 WITH SCORE 141394.237
AT ITER 1793 NEW BEST:: SOT 1448861 SOS 561223 HAS SOPS 561223 HAS SOUS 140826 HAS SOUPS 140826 WITH SCORE 141387.223
AT ITER 1804 NEW BEST:: SOT 1448790 SOS 561172 HAS SOPS 561172 HAS SOUS 140774 HAS SOUPS 140774 WITH SCORE 141335.172
AT ITER 1841 NEW BEST:: SOT 1448742 SOS 561076 HAS SOPS 561076 HAS SOUS 140678 HAS SOUPS 140678 WITH SCORE 141239.076
AT ITER 1861 NEW BEST:: SOT 1448742 SOS 561076 HAS SOPS 561076 HAS SOUS 140676 HAS SOUPS 140676 WITH SCORE 141237.076
AT ITER 1864 NEW BEST:: SOT 1448495 SOS 560874 HAS SOPS 560874 HAS SOUS 140453 HAS SOUPS 140453 WITH SCORE 141013.874
AT ITER 1900 NEW BEST:: SOT 1448462 SOS 560808 HAS SOPS 560808 HAS SOUS 140387 HAS SOUPS 140387 WITH SCORE 140947.808
AT ITER 1913 NEW BEST:: SOT 1442411 SOS 600624 HAS SOPS 600624 HAS SOUS 136940 HAS SOUPS 136940 WITH SCORE 137540.624
AT ITER 1926 NEW BEST:: SOT 1442387 SOS 600576 HAS SOPS 600576 HAS SOUS 136892 HAS SOUPS 136892 WITH SCORE 137492.576
AT ITER 1928 NEW BEST:: SOT 1442375 SOS 600168 HAS SOPS 600168 HAS SOUS 136856 HAS SOUPS 136856 WITH SCORE 137456.168
AT ITER 1946 NEW BEST:: SOT 1442372 SOS 600162 HAS SOPS 600162 HAS SOUS 136850 HAS SOUPS 136850 WITH SCORE 137450.162
AT ITER 1947 NEW BEST:: SOT 1442277 SOS 599972 HAS SOPS 599972 HAS SOUS 136660 HAS SOUPS 136660 WITH SCORE 137259.972
AT ITER 2056 NEW BEST:: SOT 1442210 SOS 599838 HAS SOPS 599838 HAS SOUS 136586 HAS SOUPS 136586 WITH SCORE 137185.838
AT ITER 2072 NEW BEST:: SOT 1442196 SOS 599810 HAS SOPS 599810 HAS SOUS 136569 HAS SOUPS 136569 WITH SCORE 137168.81
AT ITER 2074 NEW BEST:: SOT 1441990 SOS 599398 HAS SOPS 599398 HAS SOUS 136374 HAS SOUPS 136374 WITH SCORE 136973.398
AT ITER 2087 NEW BEST:: SOT 1441904 SOS 599226 HAS SOPS 599226 HAS SOUS 136202 HAS SOUPS 136202 WITH SCORE 136801.226
AT ITER 2092 NEW BEST:: SOT 1441899 SOS 599216 HAS SOPS 599216 HAS SOUS 136192 HAS SOUPS 136192 WITH SCORE 136791.216
AT ITER 2093 NEW BEST:: SOT 1441898 SOS 599214 HAS SOPS 599214 HAS SOUS 136190 HAS SOUPS 136190 WITH SCORE 136789.214
AT ITER 2098 NEW BEST:: SOT 1441859 SOS 599136 HAS SOPS 599136 HAS SOUS 136151 HAS SOUPS 136151 WITH SCORE 136750.136
AT ITER 2100 NEW BEST:: SOT 1441720 SOS 599000 HAS SOPS 599000 HAS SOUS 136014 HAS SOUPS 136014 WITH SCORE 136613.0
AT ITER 2106 NEW BEST:: SOT 1441516 SOS 560819 HAS SOPS 560819 HAS SOUS 135020 HAS SOUPS 135020 WITH SCORE 135580.819
AT ITER 2109 NEW BEST:: SOT 1441482 SOS 560751 HAS SOPS 560751 HAS SOUS 134952 HAS SOUPS 134952 WITH SCORE 135512.751
AT ITER 2122 NEW BEST:: SOT 1441482 SOS 560820 HAS SOPS 560820 HAS SOUS 134951 HAS SOUPS 134951 WITH SCORE 135511.82
AT ITER 2126 NEW BEST:: SOT 1440253 SOS 559523 HAS SOPS 559523 HAS SOUS 133654 HAS SOUPS 133654 WITH SCORE 134213.523
AT ITER 2127 NEW BEST:: SOT 1440118 SOS 559253 HAS SOPS 559253 HAS SOUS 133519 HAS SOUPS 133519 WITH SCORE 134078.253
AT ITER 2142 NEW BEST:: SOT 1440222 SOS 559461 HAS SOPS 559461 HAS SOUS 133517 HAS SOUPS 133517 WITH SCORE 134076.461
AT ITER 2143 NEW BEST:: SOT 1440197 SOS 559435 HAS SOPS 559435 HAS SOUS 133491 HAS SOUPS 133491 WITH SCORE 134050.435
AT ITER 2146 NEW BEST:: SOT 1440129 SOS 559299 HAS SOPS 559299 HAS SOUS 133374 HAS SOUPS 133374 WITH SCORE 133933.299
AT ITER 2162 NEW BEST:: SOT 1440369 SOS 559560 HAS SOPS 559560 HAS SOUS 132964 HAS SOUPS 132964 WITH SCORE 133523.56
AT ITER 2191 NEW BEST:: SOT 1440369 SOS 559517 HAS SOPS 559517 HAS SOUS 132921 HAS SOUPS 132921 WITH SCORE 133480.517
AT ITER 2208 NEW BEST:: SOT 1440368 SOS 559515 HAS SOPS 559515 HAS SOUS 132919 HAS SOUPS 132919 WITH SCORE 133478.515
AT ITER 2217 NEW BEST:: SOT 1440422 SOS 559599 HAS SOPS 559599 HAS SOUS 132895 HAS SOUPS 132895 WITH SCORE 133454.599
AT ITER 2227 NEW BEST:: SOT 1440420 SOS 559595 HAS SOPS 559595 HAS SOUS 132891 HAS SOUPS 132891 WITH SCORE 133450.595
AT ITER 2234 NEW BEST:: SOT 1440341 SOS 559221 HAS SOPS 559221 HAS SOUS 132784 HAS SOUPS 132784 WITH SCORE 133343.221
AT ITER 2244 NEW BEST:: SOT 1440331 SOS 546201 HAS SOPS 546201 HAS SOUS 132456 HAS SOUPS 132456 WITH SCORE 133002.201
AT ITER 2255 NEW BEST:: SOT 1440179 SOS 545897 HAS SOPS 545897 HAS SOUS 132304 HAS SOUPS 132304 WITH SCORE 132849.897
AT ITER 2261 NEW BEST:: SOT 1440141 SOS 545821 HAS SOPS 545821 HAS SOUS 132228 HAS SOUPS 132228 WITH SCORE 132773.821
AT ITER 2285 NEW BEST:: SOT 1426439 SOS 555396 HAS SOPS 555396 HAS SOUS 122815 HAS SOUPS 122815 WITH SCORE 123370.396
AT ITER 2305 NEW BEST:: SOT 1426397 SOS 555333 HAS SOPS 555333 HAS SOUS 122752 HAS SOUPS 122752 WITH SCORE 123307.333
AT ITER 2318 NEW BEST:: SOT 1426332 SOS 533135 HAS SOPS 533135 HAS SOUS 121924 HAS SOUPS 121924 WITH SCORE 122457.135
AT ITER 2327 NEW BEST:: SOT 1426327 SOS 532765 HAS SOPS 532765 HAS SOUS 121879 HAS SOUPS 121879 WITH SCORE 122411.765
AT ITER 2328 NEW BEST:: SOT 1426296 SOS 525170 HAS SOPS 525170 HAS SOUS 121817 HAS SOUPS 121817 WITH SCORE 122342.17
AT ITER 2337 NEW BEST:: SOT 1426239 SOS 524938 HAS SOPS 524938 HAS SOUS 121585 HAS SOUPS 121585 WITH SCORE 122109.938
AT ITER 2395 NEW BEST:: SOT 1426239 SOS 524915 HAS SOPS 524915 HAS SOUS 121562 HAS SOUPS 121562 WITH SCORE 122086.915
AT ITER 2404 NEW BEST:: SOT 1426193 SOS 524823 HAS SOPS 524823 HAS SOUS 121496 HAS SOUPS 121496 WITH SCORE 122020.823
AT ITER 2405 NEW BEST:: SOT 1426158 SOS 524171 HAS SOPS 524171 HAS SOUS 120861 HAS SOUPS 120861 WITH SCORE 121385.171
AT ITER 2406 NEW BEST:: SOT 1426066 SOS 523987 HAS SOPS 523987 HAS SOUS 120677 HAS SOUPS 120677 WITH SCORE 121200.987
AT ITER 2411 NEW BEST:: SOT 1426066 SOS 523973 HAS SOPS 523973 HAS SOUS 120677 HAS SOUPS 120677 WITH SCORE 121200.973
AT ITER 2418 NEW BEST:: SOT 1426066 SOS 523973 HAS SOPS 523973 HAS SOUS 120645 HAS SOUPS 120645 WITH SCORE 121168.973
AT ITER 2420 NEW BEST:: SOT 1425778 SOS 523635 HAS SOPS 523635 HAS SOUS 120307 HAS SOUPS 120307 WITH SCORE 120830.635
AT ITER 2440 NEW BEST:: SOT 1426023 SOS 523522 HAS SOPS 523522 HAS SOUS 120242 HAS SOUPS 120242 WITH SCORE 120765.522
AT ITER 2454 NEW BEST:: SOT 1425958 SOS 519600 HAS SOPS 519600 HAS SOUS 119361 HAS SOUPS 119361 WITH SCORE 119880.6
AT ITER 2472 NEW BEST:: SOT 1425795 SOS 478081 HAS SOPS 478081 HAS SOUS 119115 HAS SOUPS 119115 WITH SCORE 119593.081
AT ITER 2473 NEW BEST:: SOT 1425780 SOS 477347 HAS SOPS 477347 HAS SOUS 119084 HAS SOUPS 119084 WITH SCORE 119561.347
AT ITER 2480 NEW BEST:: SOT 1425766 SOS 471864 HAS SOPS 471864 HAS SOUS 118915 HAS SOUPS 118915 WITH SCORE 119386.864
AT ITER 2493 NEW BEST:: SOT 1425765 SOS 471862 HAS SOPS 471862 HAS SOUS 118913 HAS SOUPS 118913 WITH SCORE 119384.862
AT ITER 2496 NEW BEST:: SOT 1425605 SOS 430331 HAS SOPS 430331 HAS SOUS 117953 HAS SOUPS 117953 WITH SCORE 118383.331
AT ITER 2500 NEW BEST:: SOT 1425689 SOS 430499 HAS SOPS 430499 HAS SOUS 117943 HAS SOUPS 117943 WITH SCORE 118373.499
AT ITER 2503 NEW BEST:: SOT 1425631 SOS 430497 HAS SOPS 430497 HAS SOUS 117941 HAS SOUPS 117941 WITH SCORE 118371.497
AT ITER 2506 NEW BEST:: SOT 1425588 SOS 430411 HAS SOPS 430411 HAS SOUS 117855 HAS SOUPS 117855 WITH SCORE 118285.411
AT ITER 2526 NEW BEST:: SOT 1425588 SOS 430407 HAS SOPS 430407 HAS SOUS 117855 HAS SOUPS 117855 WITH SCORE 118285.407
AT ITER 2544 NEW BEST:: SOT 1425575 SOS 430381 HAS SOPS 430381 HAS SOUS 117829 HAS SOUPS 117829 WITH SCORE 118259.381
AT ITER 2583 NEW BEST:: SOT 1425552 SOS 430335 HAS SOPS 430335 HAS SOUS 117783 HAS SOUPS 117783 WITH SCORE 118213.335
AT ITER 2598 NEW BEST:: SOT 1425525 SOS 430281 HAS SOPS 430281 HAS SOUS 117729 HAS SOUPS 117729 WITH SCORE 118159.281
AT ITER 2604 NEW BEST:: SOT 1425459 SOS 430149 HAS SOPS 430149 HAS SOUS 117597 HAS SOUPS 117597 WITH SCORE 118027.149
AT ITER 2643 NEW BEST:: SOT 1425410 SOS 430133 HAS SOPS 430133 HAS SOUS 117581 HAS SOUPS 117581 WITH SCORE 118011.133
AT ITER 2651 NEW BEST:: SOT 1425381 SOS 430075 HAS SOPS 430075 HAS SOUS 117523 HAS SOUPS 117523 WITH SCORE 117953.075
AT ITER 2676 NEW BEST:: SOT 1425276 SOS 429865 HAS SOPS 429865 HAS SOUS 117313 HAS SOUPS 117313 WITH SCORE 117742.865
AT ITER 2696 NEW BEST:: SOT 1425246 SOS 429775 HAS SOPS 429775 HAS SOUS 117258 HAS SOUPS 117258 WITH SCORE 117687.775
AT ITER 2723 NEW BEST:: SOT 1425174 SOS 429631 HAS SOPS 429631 HAS SOUS 117186 HAS SOUPS 117186 WITH SCORE 117615.631
AT ITER 2732 NEW BEST:: SOT 1425113 SOS 421913 HAS SOPS 421913 HAS SOUS 116797 HAS SOUPS 116797 WITH SCORE 117218.913
AT ITER 2740 NEW BEST:: SOT 1425130 SOS 421911 HAS SOPS 421911 HAS SOUS 116796 HAS SOUPS 116796 WITH SCORE 117217.911
AT ITER 2744 NEW BEST:: SOT 1425129 SOS 421909 HAS SOPS 421909 HAS SOUS 116794 HAS SOUPS 116794 WITH SCORE 117215.909
AT ITER 2747 NEW BEST:: SOT 1425089 SOS 421253 HAS SOPS 421253 HAS SOUS 116562 HAS SOUPS 116562 WITH SCORE 116983.253
AT ITER 2750 NEW BEST:: SOT 1425124 SOS 421111 HAS SOPS 421111 HAS SOUS 116533 HAS SOUPS 116533 WITH SCORE 116954.111
AT ITER 2781 NEW BEST:: SOT 1425123 SOS 421109 HAS SOPS 421109 HAS SOUS 116531 HAS SOUPS 116531 WITH SCORE 116952.109
AT ITER 2794 NEW BEST:: SOT 1425091 SOS 421077 HAS SOPS 421077 HAS SOUS 116510 HAS SOUPS 116510 WITH SCORE 116931.077
AT ITER 2799 NEW BEST:: SOT 1425059 SOS 421053 HAS SOPS 421053 HAS SOUS 116500 HAS SOUPS 116500 WITH SCORE 116921.053
AT ITER 2823 NEW BEST:: SOT 1424996 SOS 420990 HAS SOPS 420990 HAS SOUS 116461 HAS SOUPS 116461 WITH SCORE 116881.99
AT ITER 2830 NEW BEST:: SOT 1424922 SOS 420842 HAS SOPS 420842 HAS SOUS 116313 HAS SOUPS 116313 WITH SCORE 116733.842
AT ITER 2856 NEW BEST:: SOT 1424908 SOS 420800 HAS SOPS 420800 HAS SOUS 116271 HAS SOUPS 116271 WITH SCORE 116691.8
AT ITER 2880 NEW BEST:: SOT 1424807 SOS 420762 HAS SOPS 420762 HAS SOUS 116170 HAS SOUPS 116170 WITH SCORE 116590.762
AT ITER 2886 NEW BEST:: SOT 1424831 SOS 420810 HAS SOPS 420810 HAS SOUS 116054 HAS SOUPS 116054 WITH SCORE 116474.81
AT ITER 2891 NEW BEST:: SOT 1424830 SOS 420808 HAS SOPS 420808 HAS SOUS 116052 HAS SOUPS 116052 WITH SCORE 116472.808
AT ITER 2907 NEW BEST:: SOT 1424830 SOS 420808 HAS SOPS 420808 HAS SOUS 115900 HAS SOUPS 115900 WITH SCORE 116320.808
AT ITER 2918 NEW BEST:: SOT 1424811 SOS 420770 HAS SOPS 420770 HAS SOUS 115862 HAS SOUPS 115862 WITH SCORE 116282.77
AT ITER 2946 NEW BEST:: SOT 1424765 SOS 420473 HAS SOPS 420473 HAS SOUS 115565 HAS SOUPS 115565 WITH SCORE 115985.473
AT ITER 2948 NEW BEST:: SOT 1424734 SOS 420411 HAS SOPS 420411 HAS SOUS 115531 HAS SOUPS 115531 WITH SCORE 115951.411
AT ITER 2954 NEW BEST:: SOT 1424706 SOS 420355 HAS SOPS 420355 HAS SOUS 115488 HAS SOUPS 115488 WITH SCORE 115908.355
AT ITER 2985 NEW BEST:: SOT 1424659 SOS 420261 HAS SOPS 420261 HAS SOUS 115394 HAS SOUPS 115394 WITH SCORE 115814.261
AT ITER 3014 NEW BEST:: SOT 1424641 SOS 420225 HAS SOPS 420225 HAS SOUS 115358 HAS SOUPS 115358 WITH SCORE 115778.225
AT ITER 3046 NEW BEST:: SOT 1424616 SOS 420200 HAS SOPS 420200 HAS SOUS 115333 HAS SOUPS 115333 WITH SCORE 115753.2
AT ITER 3056 NEW BEST:: SOT 1424556 SOS 420080 HAS SOPS 420080 HAS SOUS 115213 HAS SOUPS 115213 WITH SCORE 115633.08
AT ITER 3060 NEW BEST:: SOT 1424524 SOS 420016 HAS SOPS 420016 HAS SOUS 115149 HAS SOUPS 115149 WITH SCORE 115569.016
AT ITER 3086 NEW BEST:: SOT 1424496 SOS 419960 HAS SOPS 419960 HAS SOUS 115107 HAS SOUPS 115107 WITH SCORE 115526.96
AT ITER 3089 NEW BEST:: SOT 1424470 SOS 419908 HAS SOPS 419908 HAS SOUS 115055 HAS SOUPS 115055 WITH SCORE 115474.908
AT ITER 3095 NEW BEST:: SOT 1424481 SOS 419930 HAS SOPS 419930 HAS SOUS 115023 HAS SOUPS 115023 WITH SCORE 115442.93
AT ITER 3103 NEW BEST:: SOT 1424481 SOS 419925 HAS SOPS 419925 HAS SOUS 115023 HAS SOUPS 115023 WITH SCORE 115442.925
AT ITER 3109 NEW BEST:: SOT 1424440 SOS 419843 HAS SOPS 419843 HAS SOUS 114992 HAS SOUPS 114992 WITH SCORE 115411.843
AT ITER 3150 NEW BEST:: SOT 1424438 SOS 419839 HAS SOPS 419839 HAS SOUS 114988 HAS SOUPS 114988 WITH SCORE 115407.839
AT ITER 3172 NEW BEST:: SOT 1424434 SOS 419831 HAS SOPS 419831 HAS SOUS 114980 HAS SOUPS 114980 WITH SCORE 115399.831
AT ITER 3174 NEW BEST:: SOT 1424347 SOS 419787 HAS SOPS 419787 HAS SOUS 114915 HAS SOUPS 114915 WITH SCORE 115334.787
AT ITER 3192 NEW BEST:: SOT 1424346 SOS 419785 HAS SOPS 419785 HAS SOUS 114913 HAS SOUPS 114913 WITH SCORE 115332.785
AT ITER 3211 NEW BEST:: SOT 1424321 SOS 419735 HAS SOPS 419735 HAS SOUS 114863 HAS SOUPS 114863 WITH SCORE 115282.735
AT ITER 3257 NEW BEST:: SOT 1424248 SOS 419589 HAS SOPS 419589 HAS SOUS 114785 HAS SOUPS 114785 WITH SCORE 115204.589
AT ITER 3302 NEW BEST:: SOT 1424236 SOS 419583 HAS SOPS 419583 HAS SOUS 114771 HAS SOUPS 114771 WITH SCORE 115190.583
AT ITER 3306 NEW BEST:: SOT 1424230 SOS 419571 HAS SOPS 419571 HAS SOUS 114759 HAS SOUPS 114759 WITH SCORE 115178.571
AT ITER 3311 NEW BEST:: SOT 1424265 SOS 417513 HAS SOPS 417513 HAS SOUS 114729 HAS SOUPS 114729 WITH SCORE 115146.513
AT ITER 3350 NEW BEST:: SOT 1424222 SOS 417427 HAS SOPS 417427 HAS SOUS 114685 HAS SOUPS 114685 WITH SCORE 115102.427
AT ITER 3357 NEW BEST:: SOT 1424190 SOS 417363 HAS SOPS 417363 HAS SOUS 114658 HAS SOUPS 114658 WITH SCORE 115075.363
AT ITER 3405 NEW BEST:: SOT 1424102 SOS 417187 HAS SOPS 417187 HAS SOUS 114570 HAS SOUPS 114570 WITH SCORE 114987.187
AT ITER 3422 NEW BEST:: SOT 1424067 SOS 417117 HAS SOPS 417117 HAS SOUS 114500 HAS SOUPS 114500 WITH SCORE 114917.117
AT ITER 3435 NEW BEST:: SOT 1424000 SOS 416983 HAS SOPS 416983 HAS SOUS 114366 HAS SOUPS 114366 WITH SCORE 114782.983
AT ITER 3482 NEW BEST:: SOT 1424000 SOS 409917 HAS SOPS 409917 HAS SOUS 114084 HAS SOUPS 114084 WITH SCORE 114493.917
AT ITER 3514 NEW BEST:: SOT 1423880 SOS 409831 HAS SOPS 409831 HAS SOUS 114057 HAS SOUPS 114057 WITH SCORE 114466.831
AT ITER 3522 NEW BEST:: SOT 1423853 SOS 409777 HAS SOPS 409777 HAS SOUS 114003 HAS SOUPS 114003 WITH SCORE 114412.777
AT ITER 3528 NEW BEST:: SOT 1423780 SOS 409631 HAS SOPS 409631 HAS SOUS 113857 HAS SOUPS 113857 WITH SCORE 114266.631
AT ITER 3529 NEW BEST:: SOT 1423754 SOS 409621 HAS SOPS 409621 HAS SOUS 113847 HAS SOUPS 113847 WITH SCORE 114256.621
AT ITER 3530 NEW BEST:: SOT 1423650 SOS 409536 HAS SOPS 409536 HAS SOUS 113752 HAS SOUPS 113752 WITH SCORE 114161.536
AT ITER 3597 NEW BEST:: SOT 1423587 SOS 409473 HAS SOPS 409473 HAS SOUS 113626 HAS SOUPS 113626 WITH SCORE 114035.473
AT ITER 3697 NEW BEST:: SOT 1422861 SOS 408750 HAS SOPS 408750 HAS SOUS 112900 HAS SOUPS 112900 WITH SCORE 113308.75
AT ITER 3708 NEW BEST:: SOT 1422809 SOS 396253 HAS SOPS 396253 HAS SOUS 112796 HAS SOUPS 112796 WITH SCORE 113192.253
AT ITER 3716 NEW BEST:: SOT 1422777 SOS 396247 HAS SOPS 396247 HAS SOUS 112790 HAS SOUPS 112790 WITH SCORE 113186.247
AT ITER 3728 NEW BEST:: SOT 1422751 SOS 406755 HAS SOPS 406755 HAS SOUS 112606 HAS SOUPS 112606 WITH SCORE 113012.755
AT ITER 3748 NEW BEST:: SOT 1422750 SOS 406744 HAS SOPS 406744 HAS SOUS 112604 HAS SOUPS 112604 WITH SCORE 113010.744
AT ITER 3765 NEW BEST:: SOT 1422757 SOS 406758 HAS SOPS 406758 HAS SOUS 112502 HAS SOUPS 112502 WITH SCORE 112908.758
AT ITER 3776 NEW BEST:: SOT 1422749 SOS 406715 HAS SOPS 406715 HAS SOUS 112467 HAS SOUPS 112467 WITH SCORE 112873.715
AT ITER 3777 NEW BEST:: SOT 1422731 SOS 403991 HAS SOPS 403991 HAS SOUS 112413 HAS SOUPS 112413 WITH SCORE 112816.991
AT ITER 3803 NEW BEST:: SOT 1422584 SOS 403697 HAS SOPS 403697 HAS SOUS 112199 HAS SOUPS 112199 WITH SCORE 112602.697
AT ITER 3814 NEW BEST:: SOT 1422526 SOS 403581 HAS SOPS 403581 HAS SOUS 112083 HAS SOUPS 112083 WITH SCORE 112486.581
AT ITER 3846 NEW BEST:: SOT 1422460 SOS 403449 HAS SOPS 403449 HAS SOUS 111951 HAS SOUPS 111951 WITH SCORE 112354.449
AT ITER 3855 NEW BEST:: SOT 1422441 SOS 403411 HAS SOPS 403411 HAS SOUS 111894 HAS SOUPS 111894 WITH SCORE 112297.411
AT ITER 3868 NEW BEST:: SOT 1422407 SOS 403343 HAS SOPS 403343 HAS SOUS 111826 HAS SOUPS 111826 WITH SCORE 112229.343
AT ITER 3879 NEW BEST:: SOT 1422311 SOS 403151 HAS SOPS 403151 HAS SOUS 111634 HAS SOUPS 111634 WITH SCORE 112037.151
AT ITER 3901 NEW BEST:: SOT 1422257 SOS 403043 HAS SOPS 403043 HAS SOUS 111526 HAS SOUPS 111526 WITH SCORE 111929.043
AT ITER 3915 NEW BEST:: SOT 1422229 SOS 400881 HAS SOPS 400881 HAS SOUS 111415 HAS SOUPS 111415 WITH SCORE 111815.881
AT ITER 3936 NEW BEST:: SOT 1422216 SOS 400855 HAS SOPS 400855 HAS SOUS 111389 HAS SOUPS 111389 WITH SCORE 111789.855
AT ITER 3983 NEW BEST:: SOT 1422208 SOS 400839 HAS SOPS 400839 HAS SOUS 111373 HAS SOUPS 111373 WITH SCORE 111773.839
AT ITER 4003 NEW BEST:: SOT 1422208 SOS 400839 HAS SOPS 400839 HAS SOUS 111366 HAS SOUPS 111366 WITH SCORE 111766.839
AT ITER 4004 NEW BEST:: SOT 1422208 SOS 400809 HAS SOPS 400809 HAS SOUS 111366 HAS SOUPS 111366 WITH SCORE 111766.809
AT ITER 4013 NEW BEST:: SOT 1422201 SOS 400795 HAS SOPS 400795 HAS SOUS 111352 HAS SOUPS 111352 WITH SCORE 111752.795
AT ITER 4025 NEW BEST:: SOT 1422197 SOS 400787 HAS SOPS 400787 HAS SOUS 111344 HAS SOUPS 111344 WITH SCORE 111744.787
AT ITER 4036 NEW BEST:: SOT 1422197 SOS 400779 HAS SOPS 400779 HAS SOUS 111328 HAS SOUPS 111328 WITH SCORE 111728.779
AT ITER 4040 NEW BEST:: SOT 1422180 SOS 400745 HAS SOPS 400745 HAS SOUS 111294 HAS SOUPS 111294 WITH SCORE 111694.745
AT ITER 4048 NEW BEST:: SOT 1422180 SOS 400724 HAS SOPS 400724 HAS SOUS 111294 HAS SOUPS 111294 WITH SCORE 111694.724
AT ITER 4050 NEW BEST:: SOT 1422136 SOS 400636 HAS SOPS 400636 HAS SOUS 111206 HAS SOUPS 111206 WITH SCORE 111606.636
AT ITER 4053 NEW BEST:: SOT 1422134 SOS 400632 HAS SOPS 400632 HAS SOUS 111203 HAS SOUPS 111203 WITH SCORE 111603.632
AT ITER 4054 NEW BEST:: SOT 1422141 SOS 400623 HAS SOPS 400623 HAS SOUS 111194 HAS SOUPS 111194 WITH SCORE 111594.623
AT ITER 4084 NEW BEST:: SOT 1422123 SOS 400587 HAS SOPS 400587 HAS SOUS 111158 HAS SOUPS 111158 WITH SCORE 111558.587
AT ITER 4094 NEW BEST:: SOT 1422077 SOS 400495 HAS SOPS 400495 HAS SOUS 111066 HAS SOUPS 111066 WITH SCORE 111466.495
AT ITER 4122 NEW BEST:: SOT 1422003 SOS 400347 HAS SOPS 400347 HAS SOUS 110979 HAS SOUPS 110979 WITH SCORE 111379.347
AT ITER 4133 NEW BEST:: SOT 1421979 SOS 397383 HAS SOPS 397383 HAS SOUS 110931 HAS SOUPS 110931 WITH SCORE 111328.383
AT ITER 4140 NEW BEST:: SOT 1421947 SOS 397348 HAS SOPS 397348 HAS SOUS 110896 HAS SOUPS 110896 WITH SCORE 111293.348
AT ITER 4153 NEW BEST:: SOT 1421953 SOS 397360 HAS SOPS 397360 HAS SOUS 110767 HAS SOUPS 110767 WITH SCORE 111164.36
AT ITER 4156 NEW BEST:: SOT 1421759 SOS 397174 HAS SOPS 397174 HAS SOUS 110523 HAS SOUPS 110523 WITH SCORE 110920.174
AT ITER 4178 NEW BEST:: SOT 1421726 SOS 397108 HAS SOPS 397108 HAS SOUS 110457 HAS SOUPS 110457 WITH SCORE 110854.108
AT ITER 4185 NEW BEST:: SOT 1420187 SOS 398651 HAS SOPS 398651 HAS SOUS 109801 HAS SOUPS 109801 WITH SCORE 110199.651
AT ITER 4222 NEW BEST:: SOT 1420143 SOS 398563 HAS SOPS 398563 HAS SOUS 109757 HAS SOUPS 109757 WITH SCORE 110155.563
AT ITER 4235 NEW BEST:: SOT 1420123 SOS 398523 HAS SOPS 398523 HAS SOUS 109727 HAS SOUPS 109727 WITH SCORE 110125.523
AT ITER 4261 NEW BEST:: SOT 1420118 SOS 398513 HAS SOPS 398513 HAS SOUS 109717 HAS SOUPS 109717 WITH SCORE 110115.513
AT ITER 4292 NEW BEST:: SOT 1420003 SOS 398283 HAS SOPS 398283 HAS SOUS 109602 HAS SOUPS 109602 WITH SCORE 110000.283
AT ITER 4302 NEW BEST:: SOT 1420002 SOS 398265 HAS SOPS 398265 HAS SOUS 109600 HAS SOUPS 109600 WITH SCORE 109998.265
AT ITER 4319 NEW BEST:: SOT 1420002 SOS 398248 HAS SOPS 398248 HAS SOUS 109572 HAS SOUPS 109572 WITH SCORE 109970.248
AT ITER 4321 NEW BEST:: SOT 1420002 SOS 398232 HAS SOPS 398232 HAS SOUS 109540 HAS SOUPS 109540 WITH SCORE 109938.232
AT ITER 4328 NEW BEST:: SOT 1419976 SOS 397758 HAS SOPS 397758 HAS SOUS 109173 HAS SOUPS 109173 WITH SCORE 109570.758
AT ITER 4333 NEW BEST:: SOT 1419966 SOS 397738 HAS SOPS 397738 HAS SOUS 109163 HAS SOUPS 109163 WITH SCORE 109560.738
AT ITER 4334 NEW BEST:: SOT 1419900 SOS 397606 HAS SOPS 397606 HAS SOUS 109097 HAS SOUPS 109097 WITH SCORE 109494.606
AT ITER 4362 NEW BEST:: SOT 1419854 SOS 397514 HAS SOPS 397514 HAS SOUS 109051 HAS SOUPS 109051 WITH SCORE 109448.514
AT ITER 4373 NEW BEST:: SOT 1419829 SOS 397464 HAS SOPS 397464 HAS SOUS 109001 HAS SOUPS 109001 WITH SCORE 109398.464
AT ITER 4390 NEW BEST:: SOT 1419822 SOS 397457 HAS SOPS 397457 HAS SOUS 108994 HAS SOUPS 108994 WITH SCORE 109391.457
AT ITER 4430 NEW BEST:: SOT 1419782 SOS 397803 HAS SOPS 397803 HAS SOUS 108932 HAS SOUPS 108932 WITH SCORE 109329.803
AT ITER 4440 NEW BEST:: SOT 1419774 SOS 397795 HAS SOPS 397795 HAS SOUS 108924 HAS SOUPS 108924 WITH SCORE 109321.795
AT ITER 4457 NEW BEST:: SOT 1419700 SOS 397647 HAS SOPS 397647 HAS SOUS 108776 HAS SOUPS 108776 WITH SCORE 109173.647
AT ITER 4468 NEW BEST:: SOT 1419657 SOS 397561 HAS SOPS 397561 HAS SOUS 108690 HAS SOUPS 108690 WITH SCORE 109087.561
AT ITER 4478 NEW BEST:: SOT 1419668 SOS 397532 HAS SOPS 397532 HAS SOUS 108659 HAS SOUPS 108659 WITH SCORE 109056.532
AT ITER 4495 NEW BEST:: SOT 1419454 SOS 397104 HAS SOPS 397104 HAS SOUS 108231 HAS SOUPS 108231 WITH SCORE 108628.104
AT ITER 4498 NEW BEST:: SOT 1419549 SOS 397294 HAS SOPS 397294 HAS SOUS 108199 HAS SOUPS 108199 WITH SCORE 108596.294
AT ITER 4516 NEW BEST:: SOT 1419529 SOS 397254 HAS SOPS 397254 HAS SOUS 108159 HAS SOUPS 108159 WITH SCORE 108556.254
AT ITER 4559 NEW BEST:: SOT 1419397 SOS 398094 HAS SOPS 398094 HAS SOUS 108153 HAS SOUPS 108153 WITH SCORE 108551.094
AT ITER 4592 NEW BEST:: SOT 1419366 SOS 398219 HAS SOPS 398219 HAS SOUS 108133 HAS SOUPS 108133 WITH SCORE 108531.219
AT ITER 4593 NEW BEST:: SOT 1419348 SOS 398183 HAS SOPS 398183 HAS SOUS 108097 HAS SOUPS 108097 WITH SCORE 108495.183
AT ITER 4600 NEW BEST:: SOT 1419345 SOS 398246 HAS SOPS 398246 HAS SOUS 108091 HAS SOUPS 108091 WITH SCORE 108489.246
AT ITER 4613 NEW BEST:: SOT 1419292 SOS 398140 HAS SOPS 398140 HAS SOUS 107985 HAS SOUPS 107985 WITH SCORE 108383.14
AT ITER 4616 NEW BEST:: SOT 1419277 SOS 398110 HAS SOPS 398110 HAS SOUS 107955 HAS SOUPS 107955 WITH SCORE 108353.11
AT ITER 4647 NEW BEST:: SOT 1419232 SOS 398020 HAS SOPS 398020 HAS SOUS 107837 HAS SOUPS 107837 WITH SCORE 108235.02
AT ITER 4659 NEW BEST:: SOT 1419224 SOS 398012 HAS SOPS 398012 HAS SOUS 107829 HAS SOUPS 107829 WITH SCORE 108227.012
AT ITER 4662 NEW BEST:: SOT 1418963 SOS 356227 HAS SOPS 356227 HAS SOUS 107826 HAS SOUPS 107826 WITH SCORE 108182.227
AT ITER 4672 NEW BEST:: SOT 1418996 SOS 356226 HAS SOPS 356226 HAS SOUS 107825 HAS SOUPS 107825 WITH SCORE 108181.226
AT ITER 4688 NEW BEST:: SOT 1418996 SOS 356226 HAS SOPS 356226 HAS SOUS 107824 HAS SOUPS 107824 WITH SCORE 108180.226
AT ITER 4697 NEW BEST:: SOT 1418993 SOS 356220 HAS SOPS 356220 HAS SOUS 107818 HAS SOUPS 107818 WITH SCORE 108174.22
AT ITER 4729 NEW BEST:: SOT 1418984 SOS 356202 HAS SOPS 356202 HAS SOUS 107800 HAS SOUPS 107800 WITH SCORE 108156.202
AT ITER 4758 NEW BEST:: SOT 1418942 SOS 356118 HAS SOPS 356118 HAS SOUS 107758 HAS SOUPS 107758 WITH SCORE 108114.118
AT ITER 4763 NEW BEST:: SOT 1418887 SOS 356063 HAS SOPS 356063 HAS SOUS 107703 HAS SOUPS 107703 WITH SCORE 108059.063
AT ITER 4764 NEW BEST:: SOT 1418780 SOS 355955 HAS SOPS 355955 HAS SOUS 107595 HAS SOUPS 107595 WITH SCORE 107950.955
AT ITER 4795 NEW BEST:: SOT 1418806 SOS 353640 HAS SOPS 353640 HAS SOUS 107362 HAS SOUPS 107362 WITH SCORE 107715.64
AT ITER 4849 NEW BEST:: SOT 1418852 SOS 353732 HAS SOPS 353732 HAS SOUS 107315 HAS SOUPS 107315 WITH SCORE 107668.732
AT ITER 4897 NEW BEST:: SOT 1417647 SOS 352559 HAS SOPS 352559 HAS SOUS 106120 HAS SOUPS 106120 WITH SCORE 106472.559
AT ITER 4901 NEW BEST:: SOT 1417594 SOS 352748 HAS SOPS 352748 HAS SOUS 105726 HAS SOUPS 105726 WITH SCORE 106078.748
AT ITER 4902 NEW BEST:: SOT 1417605 SOS 352770 HAS SOPS 352770 HAS SOUS 105671 HAS SOUPS 105671 WITH SCORE 106023.77
AT ITER 4911 NEW BEST:: SOT 1417600 SOS 352760 HAS SOPS 352760 HAS SOUS 105661 HAS SOUPS 105661 WITH SCORE 106013.76
AT ITER 4923 NEW BEST:: SOT 1417599 SOS 352758 HAS SOPS 352758 HAS SOUS 105659 HAS SOUPS 105659 WITH SCORE 106011.758
AT ITER 4924 NEW BEST:: SOT 1417482 SOS 352524 HAS SOPS 352524 HAS SOUS 105542 HAS SOUPS 105542 WITH SCORE 105894.524
AT ITER 4948 NEW BEST:: SOT 1417353 SOS 352266 HAS SOPS 352266 HAS SOUS 105284 HAS SOUPS 105284 WITH SCORE 105636.266
AT ITER 5026 NEW BEST:: SOT 1417351 SOS 352262 HAS SOPS 352262 HAS SOUS 105280 HAS SOUPS 105280 WITH SCORE 105632.262
AT ITER 5031 NEW BEST:: SOT 1417327 SOS 352214 HAS SOPS 352214 HAS SOUS 105232 HAS SOUPS 105232 WITH SCORE 105584.214
AT ITER 5036 NEW BEST:: SOT 1417324 SOS 352210 HAS SOPS 352210 HAS SOUS 105228 HAS SOUPS 105228 WITH SCORE 105580.21
AT ITER 5073 NEW BEST:: SOT 1417323 SOS 352208 HAS SOPS 352208 HAS SOUS 105226 HAS SOUPS 105226 WITH SCORE 105578.208
AT ITER 5074 NEW BEST:: SOT 1417297 SOS 352156 HAS SOPS 352156 HAS SOUS 105174 HAS SOUPS 105174 WITH SCORE 105526.156
AT ITER 5081 NEW BEST:: SOT 1417275 SOS 352112 HAS SOPS 352112 HAS SOUS 105130 HAS SOUPS 105130 WITH SCORE 105482.112
AT ITER 5168 NEW BEST:: SOT 1417124 SOS 351810 HAS SOPS 351810 HAS SOUS 104984 HAS SOUPS 104984 WITH SCORE 105335.81
AT ITER 5177 NEW BEST:: SOT 1417123 SOS 351808 HAS SOPS 351808 HAS SOUS 104982 HAS SOUPS 104982 WITH SCORE 105333.808
AT ITER 5220 NEW BEST:: SOT 1417071 SOS 351704 HAS SOPS 351704 HAS SOUS 104973 HAS SOUPS 104973 WITH SCORE 105324.704
AT ITER 5226 NEW BEST:: SOT 1417070 SOS 351703 HAS SOPS 351703 HAS SOUS 104972 HAS SOUPS 104972 WITH SCORE 105323.703
AT ITER 5255 NEW BEST:: SOT 1416935 SOS 351433 HAS SOPS 351433 HAS SOUS 104702 HAS SOUPS 104702 WITH SCORE 105053.433
AT ITER 5263 NEW BEST:: SOT 1416917 SOS 351417 HAS SOPS 351417 HAS SOUS 104686 HAS SOUPS 104686 WITH SCORE 105037.417
AT ITER 5276 NEW BEST:: SOT 1416960 SOS 350535 HAS SOPS 350535 HAS SOUS 104660 HAS SOUPS 104660 WITH SCORE 105010.535
AT ITER 5284 NEW BEST:: SOT 1416961 SOS 350471 HAS SOPS 350471 HAS SOUS 104644 HAS SOUPS 104644 WITH SCORE 104994.471
AT ITER 5285 NEW BEST:: SOT 1416908 SOS 350365 HAS SOPS 350365 HAS SOUS 104538 HAS SOUPS 104538 WITH SCORE 104888.365
AT ITER 5290 NEW BEST:: SOT 1417320 SOS 349237 HAS SOPS 349237 HAS SOUS 104404 HAS SOUPS 104404 WITH SCORE 104753.237
AT ITER 5327 NEW BEST:: SOT 1417298 SOS 349193 HAS SOPS 349193 HAS SOUS 104360 HAS SOUPS 104360 WITH SCORE 104709.193
AT ITER 5328 NEW BEST:: SOT 1417298 SOS 349186 HAS SOPS 349186 HAS SOUS 104360 HAS SOUPS 104360 WITH SCORE 104709.186
AT ITER 5339 NEW BEST:: SOT 1417251 SOS 349092 HAS SOPS 349092 HAS SOUS 104313 HAS SOUPS 104313 WITH SCORE 104662.092
AT ITER 5340 NEW BEST:: SOT 1417299 SOS 349052 HAS SOPS 349052 HAS SOUS 104293 HAS SOUPS 104293 WITH SCORE 104642.052
AT ITER 5343 NEW BEST:: SOT 1417355 SOS 349164 HAS SOPS 349164 HAS SOUS 104288 HAS SOUPS 104288 WITH SCORE 104637.164
AT ITER 5366 NEW BEST:: SOT 1417342 SOS 349151 HAS SOPS 349151 HAS SOUS 104275 HAS SOUPS 104275 WITH SCORE 104624.151
AT ITER 5400 NEW BEST:: SOT 1417342 SOS 349151 HAS SOPS 349151 HAS SOUS 104261 HAS SOUPS 104261 WITH SCORE 104610.151
AT ITER 5439 NEW BEST:: SOT 1417339 SOS 349145 HAS SOPS 349145 HAS SOUS 104255 HAS SOUPS 104255 WITH SCORE 104604.145
AT ITER 5445 NEW BEST:: SOT 1417304 SOS 349075 HAS SOPS 349075 HAS SOUS 104185 HAS SOUPS 104185 WITH SCORE 104534.075
AT ITER 5451 NEW BEST:: SOT 1417298 SOS 349063 HAS SOPS 349063 HAS SOUS 104173 HAS SOUPS 104173 WITH SCORE 104522.063
AT ITER 5471 NEW BEST:: SOT 1416975 SOS 349193 HAS SOPS 349193 HAS SOUS 103876 HAS SOUPS 103876 WITH SCORE 104225.193
AT ITER 5522 NEW BEST:: SOT 1416968 SOS 349179 HAS SOPS 349179 HAS SOUS 103862 HAS SOUPS 103862 WITH SCORE 104211.179
AT ITER 5575 NEW BEST:: SOT 1416925 SOS 349093 HAS SOPS 349093 HAS SOUS 103776 HAS SOUPS 103776 WITH SCORE 104125.093
AT ITER 5602 NEW BEST:: SOT 1416663 SOS 348826 HAS SOPS 348826 HAS SOUS 103758 HAS SOUPS 103758 WITH SCORE 104106.826
AT ITER 5611 NEW BEST:: SOT 1416589 SOS 348678 HAS SOPS 348678 HAS SOUS 103664 HAS SOUPS 103664 WITH SCORE 104012.678
AT ITER 5620 NEW BEST:: SOT 1416581 SOS 348662 HAS SOPS 348662 HAS SOUS 103656 HAS SOUPS 103656 WITH SCORE 104004.662
AT ITER 5672 NEW BEST:: SOT 1416558 SOS 348639 HAS SOPS 348639 HAS SOUS 103633 HAS SOUPS 103633 WITH SCORE 103981.639
AT ITER 5687 NEW BEST:: SOT 1416556 SOS 348635 HAS SOPS 348635 HAS SOUS 103581 HAS SOUPS 103581 WITH SCORE 103929.635
AT ITER 5783 NEW BEST:: SOT 1416555 SOS 348633 HAS SOPS 348633 HAS SOUS 103579 HAS SOUPS 103579 WITH SCORE 103927.633
AT ITER 5788 NEW BEST:: SOT 1416525 SOS 347336 HAS SOPS 347336 HAS SOUS 103526 HAS SOUPS 103526 WITH SCORE 103873.336
AT ITER 5813 NEW BEST:: SOT 1416527 SOS 347582 HAS SOPS 347582 HAS SOUS 103420 HAS SOUPS 103420 WITH SCORE 103767.582
AT ITER 5860 NEW BEST:: SOT 1416441 SOS 347410 HAS SOPS 347410 HAS SOUS 103248 HAS SOUPS 103248 WITH SCORE 103595.41
AT ITER 5893 NEW BEST:: SOT 1416421 SOS 347482 HAS SOPS 347482 HAS SOUS 103222 HAS SOUPS 103222 WITH SCORE 103569.482
AT ITER 5961 NEW BEST:: SOT 1416392 SOS 347424 HAS SOPS 347424 HAS SOUS 103193 HAS SOUPS 103193 WITH SCORE 103540.424
AT ITER 5962 NEW BEST:: SOT 1416396 SOS 347432 HAS SOPS 347432 HAS SOUS 103192 HAS SOUPS 103192 WITH SCORE 103539.432
AT ITER 6008 NEW BEST:: SOT 1416388 SOS 347420 HAS SOPS 347420 HAS SOUS 103180 HAS SOUPS 103180 WITH SCORE 103527.42
AT ITER 6055 NEW BEST:: SOT 1416288 SOS 323020 HAS SOPS 323020 HAS SOUS 102980 HAS SOUPS 102980 WITH SCORE 103303.02
AT ITER 6111 NEW BEST:: SOT 1416265 SOS 322974 HAS SOPS 322974 HAS SOUS 102934 HAS SOUPS 102934 WITH SCORE 103256.974
AT ITER 6113 NEW BEST:: SOT 1416200 SOS 322844 HAS SOPS 322844 HAS SOUS 102900 HAS SOUPS 102900 WITH SCORE 103222.844
AT ITER 6181 NEW BEST:: SOT 1415839 SOS 322676 HAS SOPS 322676 HAS SOUS 102792 HAS SOUPS 102792 WITH SCORE 103114.676
AT ITER 6222 NEW BEST:: SOT 1415788 SOS 322574 HAS SOPS 322574 HAS SOUS 102690 HAS SOUPS 102690 WITH SCORE 103012.574
AT ITER 6274 NEW BEST:: SOT 1415782 SOS 322562 HAS SOPS 322562 HAS SOUS 102596 HAS SOUPS 102596 WITH SCORE 102918.562
AT ITER 6277 NEW BEST:: SOT 1415750 SOS 322498 HAS SOPS 322498 HAS SOUS 102532 HAS SOUPS 102532 WITH SCORE 102854.498
AT ITER 6286 NEW BEST:: SOT 1415691 SOS 322380 HAS SOPS 322380 HAS SOUS 102414 HAS SOUPS 102414 WITH SCORE 102736.38
AT ITER 6288 NEW BEST:: SOT 1415716 SOS 322360 HAS SOPS 322360 HAS SOUS 102404 HAS SOUPS 102404 WITH SCORE 102726.36
AT ITER 6296 NEW BEST:: SOT 1415693 SOS 322314 HAS SOPS 322314 HAS SOUS 102358 HAS SOUPS 102358 WITH SCORE 102680.314
AT ITER 6309 NEW BEST:: SOT 1415693 SOS 322314 HAS SOPS 322314 HAS SOUS 102347 HAS SOUPS 102347 WITH SCORE 102669.314
AT ITER 6318 NEW BEST:: SOT 1415684 SOS 322305 HAS SOPS 322305 HAS SOUS 102338 HAS SOUPS 102338 WITH SCORE 102660.305
AT ITER 6354 NEW BEST:: SOT 1415665 SOS 322332 HAS SOPS 322332 HAS SOUS 102318 HAS SOUPS 102318 WITH SCORE 102640.332
AT ITER 6377 NEW BEST:: SOT 1415664 SOS 322330 HAS SOPS 322330 HAS SOUS 102316 HAS SOUPS 102316 WITH SCORE 102638.33
AT ITER 6378 NEW BEST:: SOT 1415659 SOS 322320 HAS SOPS 322320 HAS SOUS 102306 HAS SOUPS 102306 WITH SCORE 102628.32
AT ITER 6383 NEW BEST:: SOT 1415590 SOS 322182 HAS SOPS 322182 HAS SOUS 102168 HAS SOUPS 102168 WITH SCORE 102490.182
AT ITER 6390 NEW BEST:: SOT 1415573 SOS 322148 HAS SOPS 322148 HAS SOUS 102134 HAS SOUPS 102134 WITH SCORE 102456.148
AT ITER 6440 NEW BEST:: SOT 1415532 SOS 322066 HAS SOPS 322066 HAS SOUS 102052 HAS SOUPS 102052 WITH SCORE 102374.066
AT ITER 6443 NEW BEST:: SOT 1415631 SOS 321720 HAS SOPS 321720 HAS SOUS 102037 HAS SOUPS 102037 WITH SCORE 102358.72
AT ITER 6447 NEW BEST:: SOT 1415505 SOS 298511 HAS SOPS 298511 HAS SOUS 101944 HAS SOUPS 101944 WITH SCORE 102242.511
AT ITER 6488 NEW BEST:: SOT 1415488 SOS 298477 HAS SOPS 298477 HAS SOUS 101910 HAS SOUPS 101910 WITH SCORE 102208.477
AT ITER 6499 NEW BEST:: SOT 1415487 SOS 298476 HAS SOPS 298476 HAS SOUS 101909 HAS SOUPS 101909 WITH SCORE 102207.476
AT ITER 6505 NEW BEST:: SOT 1415410 SOS 298322 HAS SOPS 298322 HAS SOUS 101843 HAS SOUPS 101843 WITH SCORE 102141.322
AT ITER 6524 NEW BEST:: SOT 1415393 SOS 298259 HAS SOPS 298259 HAS SOUS 101797 HAS SOUPS 101797 WITH SCORE 102095.259
AT ITER 6540 NEW BEST:: SOT 1415383 SOS 298239 HAS SOPS 298239 HAS SOUS 101777 HAS SOUPS 101777 WITH SCORE 102075.239
AT ITER 6544 NEW BEST:: SOT 1415442 SOS 298238 HAS SOPS 298238 HAS SOUS 101688 HAS SOUPS 101688 WITH SCORE 101986.238
AT ITER 6554 NEW BEST:: SOT 1415439 SOS 298232 HAS SOPS 298232 HAS SOUS 101619 HAS SOUPS 101619 WITH SCORE 101917.232
AT ITER 6588 NEW BEST:: SOT 1415420 SOS 298194 HAS SOPS 298194 HAS SOUS 101581 HAS SOUPS 101581 WITH SCORE 101879.194
AT ITER 6591 NEW BEST:: SOT 1415429 SOS 298136 HAS SOPS 298136 HAS SOUS 101561 HAS SOUPS 101561 WITH SCORE 101859.136
AT ITER 6618 NEW BEST:: SOT 1415322 SOS 297922 HAS SOPS 297922 HAS SOUS 101454 HAS SOUPS 101454 WITH SCORE 101751.922
AT ITER 6629 NEW BEST:: SOT 1415321 SOS 297920 HAS SOPS 297920 HAS SOUS 101452 HAS SOUPS 101452 WITH SCORE 101749.92
AT ITER 6634 NEW BEST:: SOT 1415212 SOS 297702 HAS SOPS 297702 HAS SOUS 101343 HAS SOUPS 101343 WITH SCORE 101640.702
AT ITER 6651 NEW BEST:: SOT 1415198 SOS 297674 HAS SOPS 297674 HAS SOUS 101315 HAS SOUPS 101315 WITH SCORE 101612.674
AT ITER 6689 NEW BEST:: SOT 1415156 SOS 297590 HAS SOPS 297590 HAS SOUS 101234 HAS SOUPS 101234 WITH SCORE 101531.59
AT ITER 6691 NEW BEST:: SOT 1415156 SOS 297596 HAS SOPS 297596 HAS SOUS 101231 HAS SOUPS 101231 WITH SCORE 101528.596
AT ITER 6716 NEW BEST:: SOT 1415057 SOS 297528 HAS SOPS 297528 HAS SOUS 101150 HAS SOUPS 101150 WITH SCORE 101447.528
AT ITER 6742 NEW BEST:: SOT 1415057 SOS 297517 HAS SOPS 297517 HAS SOUS 101128 HAS SOUPS 101128 WITH SCORE 101425.517
AT ITER 6757 NEW BEST:: SOT 1415045 SOS 297493 HAS SOPS 297493 HAS SOUS 101125 HAS SOUPS 101125 WITH SCORE 101422.493
AT ITER 6805 NEW BEST:: SOT 1415040 SOS 297483 HAS SOPS 297483 HAS SOUS 101115 HAS SOUPS 101115 WITH SCORE 101412.483
AT ITER 6825 NEW BEST:: SOT 1415035 SOS 297473 HAS SOPS 297473 HAS SOUS 101105 HAS SOUPS 101105 WITH SCORE 101402.473
AT ITER 6884 NEW BEST:: SOT 1414900 SOS 297203 HAS SOPS 297203 HAS SOUS 100835 HAS SOUPS 100835 WITH SCORE 101132.203
AT ITER 6917 NEW BEST:: SOT 1414864 SOS 297167 HAS SOPS 297167 HAS SOUS 100799 HAS SOUPS 100799 WITH SCORE 101096.167
AT ITER 6978 NEW BEST:: SOT 1414854 SOS 297147 HAS SOPS 297147 HAS SOUS 100779 HAS SOUPS 100779 WITH SCORE 101076.147
AT ITER 6991 NEW BEST:: SOT 1414808 SOS 297055 HAS SOPS 297055 HAS SOUS 100771 HAS SOUPS 100771 WITH SCORE 101068.055
AT ITER 7029 NEW BEST:: SOT 1414783 SOS 297062 HAS SOPS 297062 HAS SOUS 100764 HAS SOUPS 100764 WITH SCORE 101061.062
AT ITER 7032 NEW BEST:: SOT 1414783 SOS 297062 HAS SOPS 297062 HAS SOUS 100756 HAS SOUPS 100756 WITH SCORE 101053.062
AT ITER 7033 NEW BEST:: SOT 1414783 SOS 297050 HAS SOPS 297050 HAS SOUS 100756 HAS SOUPS 100756 WITH SCORE 101053.05
AT ITER 7083 NEW BEST:: SOT 1414698 SOS 296880 HAS SOPS 296880 HAS SOUS 100752 HAS SOUPS 100752 WITH SCORE 101048.88
AT ITER 7090 NEW BEST:: SOT 1414670 SOS 296824 HAS SOPS 296824 HAS SOUS 100696 HAS SOUPS 100696 WITH SCORE 100992.824
AT ITER 7124 NEW BEST:: SOT 1414741 SOS 296803 HAS SOPS 296803 HAS SOUS 100675 HAS SOUPS 100675 WITH SCORE 100971.803
AT ITER 7134 NEW BEST:: SOT 1414731 SOS 296783 HAS SOPS 296783 HAS SOUS 100655 HAS SOUPS 100655 WITH SCORE 100951.783
AT ITER 7147 NEW BEST:: SOT 1414715 SOS 296766 HAS SOPS 296766 HAS SOUS 100638 HAS SOUPS 100638 WITH SCORE 100934.766
AT ITER 7171 NEW BEST:: SOT 1414589 SOS 296514 HAS SOPS 296514 HAS SOUS 100408 HAS SOUPS 100408 WITH SCORE 100704.514
AT ITER 7186 NEW BEST:: SOT 1414431 SOS 296198 HAS SOPS 296198 HAS SOUS 100227 HAS SOUPS 100227 WITH SCORE 100523.198
AT ITER 7200 NEW BEST:: SOT 1414429 SOS 296175 HAS SOPS 296175 HAS SOUS 100204 HAS SOUPS 100204 WITH SCORE 100500.175
AT ITER 7229 NEW BEST:: SOT 1414405 SOS 296127 HAS SOPS 296127 HAS SOUS 100156 HAS SOUPS 100156 WITH SCORE 100452.127
AT ITER 7249 NEW BEST:: SOT 1414409 SOS 289695 HAS SOPS 289695 HAS SOUS 100124 HAS SOUPS 100124 WITH SCORE 100413.695
AT ITER 7251 NEW BEST:: SOT 1414431 SOS 289739 HAS SOPS 289739 HAS SOUS 100115 HAS SOUPS 100115 WITH SCORE 100404.739
AT ITER 7271 NEW BEST:: SOT 1414387 SOS 289651 HAS SOPS 289651 HAS SOUS 100060 HAS SOUPS 100060 WITH SCORE 100349.651
AT ITER 7310 NEW BEST:: SOT 1414364 SOS 284062 HAS SOPS 284062 HAS SOUS 100060 HAS SOUPS 100060 WITH SCORE 100344.062
AT ITER 7354 NEW BEST:: SOT 1414364 SOS 284016 HAS SOPS 284016 HAS SOUS 100060 HAS SOUPS 100060 WITH SCORE 100344.016
AT ITER 7444 NEW BEST:: SOT 1414335 SOS 283958 HAS SOPS 283958 HAS SOUS 100002 HAS SOUPS 100002 WITH SCORE 100285.958
AT ITER 7497 NEW BEST:: SOT 1414282 SOS 283852 HAS SOPS 283852 HAS SOUS 99896 HAS SOUPS 99896 WITH SCORE 100179.852
AT ITER 7614 NEW BEST:: SOT 1414300 SOS 283786 HAS SOPS 283786 HAS SOUS 99716 HAS SOUPS 99716 WITH SCORE 99999.786
AT ITER 7627 NEW BEST:: SOT 1414291 SOS 283768 HAS SOPS 283768 HAS SOUS 99698 HAS SOUPS 99698 WITH SCORE 99981.768
AT ITER 7652 NEW BEST:: SOT 1414274 SOS 283734 HAS SOPS 283734 HAS SOUS 99664 HAS SOUPS 99664 WITH SCORE 99947.734
AT ITER 7655 NEW BEST:: SOT 1414271 SOS 283728 HAS SOPS 283728 HAS SOUS 99658 HAS SOUPS 99658 WITH SCORE 99941.728
AT ITER 7671 NEW BEST:: SOT 1414257 SOS 283700 HAS SOPS 283700 HAS SOUS 99630 HAS SOUPS 99630 WITH SCORE 99913.7
AT ITER 7674 NEW BEST:: SOT 1414255 SOS 283696 HAS SOPS 283696 HAS SOUS 99626 HAS SOUPS 99626 WITH SCORE 99909.696
AT ITER 7732 NEW BEST:: SOT 1414199 SOS 283584 HAS SOPS 283584 HAS SOUS 99514 HAS SOUPS 99514 WITH SCORE 99797.584
AT ITER 7736 NEW BEST:: SOT 1414518 SOS 282686 HAS SOPS 282686 HAS SOUS 99493 HAS SOUPS 99493 WITH SCORE 99775.686
AT ITER 7771 NEW BEST:: SOT 1414511 SOS 282672 HAS SOPS 282672 HAS SOUS 99479 HAS SOUPS 99479 WITH SCORE 99761.672
AT ITER 7777 NEW BEST:: SOT 1414493 SOS 282636 HAS SOPS 282636 HAS SOUS 99434 HAS SOUPS 99434 WITH SCORE 99716.636
AT ITER 7804 NEW BEST:: SOT 1414403 SOS 282456 HAS SOPS 282456 HAS SOUS 99254 HAS SOUPS 99254 WITH SCORE 99536.456
AT ITER 7815 NEW BEST:: SOT 1414356 SOS 282362 HAS SOPS 282362 HAS SOUS 99160 HAS SOUPS 99160 WITH SCORE 99442.362
AT ITER 7845 NEW BEST:: SOT 1414356 SOS 284549 HAS SOPS 284549 HAS SOUS 99124 HAS SOUPS 99124 WITH SCORE 99408.549
AT ITER 7882 NEW BEST:: SOT 1414371 SOS 284523 HAS SOPS 284523 HAS SOUS 99098 HAS SOUPS 99098 WITH SCORE 99382.523
AT ITER 7909 NEW BEST:: SOT 1414318 SOS 284329 HAS SOPS 284329 HAS SOUS 98957 HAS SOUPS 98957 WITH SCORE 99241.329
AT ITER 7913 NEW BEST:: SOT 1414314 SOS 284321 HAS SOPS 284321 HAS SOUS 98949 HAS SOUPS 98949 WITH SCORE 99233.321
AT ITER 7924 NEW BEST:: SOT 1414314 SOS 284306 HAS SOPS 284306 HAS SOUS 98934 HAS SOUPS 98934 WITH SCORE 99218.306
AT ITER 7950 NEW BEST:: SOT 1414284 SOS 284246 HAS SOPS 284246 HAS SOUS 98874 HAS SOUPS 98874 WITH SCORE 99158.246
AT ITER 7996 NEW BEST:: SOT 1414246 SOS 284170 HAS SOPS 284170 HAS SOUS 98798 HAS SOUPS 98798 WITH SCORE 99082.17
AT ITER 8029 NEW BEST:: SOT 1414226 SOS 284124 HAS SOPS 284124 HAS SOUS 98779 HAS SOUPS 98779 WITH SCORE 99063.124
AT ITER 8039 NEW BEST:: SOT 1414215 SOS 284113 HAS SOPS 284113 HAS SOUS 98779 HAS SOUPS 98779 WITH SCORE 99063.113
AT ITER 8052 NEW BEST:: SOT 1414165 SOS 284013 HAS SOPS 284013 HAS SOUS 98679 HAS SOUPS 98679 WITH SCORE 98963.013
AT ITER 8084 NEW BEST:: SOT 1414157 SOS 284005 HAS SOPS 284005 HAS SOUS 98671 HAS SOUPS 98671 WITH SCORE 98955.005
AT ITER 8092 NEW BEST:: SOT 1414147 SOS 283985 HAS SOPS 283985 HAS SOUS 98651 HAS SOUPS 98651 WITH SCORE 98934.985
AT ITER 8159 NEW BEST:: SOT 1414147 SOS 283984 HAS SOPS 283984 HAS SOUS 98650 HAS SOUPS 98650 WITH SCORE 98933.984
AT ITER 8165 NEW BEST:: SOT 1414131 SOS 283952 HAS SOPS 283952 HAS SOUS 98618 HAS SOUPS 98618 WITH SCORE 98901.952
AT ITER 8185 NEW BEST:: SOT 1414108 SOS 283906 HAS SOPS 283906 HAS SOUS 98572 HAS SOUPS 98572 WITH SCORE 98855.906
AT ITER 8188 NEW BEST:: SOT 1414101 SOS 283892 HAS SOPS 283892 HAS SOUS 98558 HAS SOUPS 98558 WITH SCORE 98841.892
AT ITER 8204 NEW BEST:: SOT 1414075 SOS 283840 HAS SOPS 283840 HAS SOUS 98506 HAS SOUPS 98506 WITH SCORE 98789.84
AT ITER 8254 NEW BEST:: SOT 1413832 SOS 283597 HAS SOPS 283597 HAS SOUS 98260 HAS SOUPS 98260 WITH SCORE 98543.597
AT ITER 8268 NEW BEST:: SOT 1413831 SOS 283595 HAS SOPS 283595 HAS SOUS 98259 HAS SOUPS 98259 WITH SCORE 98542.595
AT ITER 8284 NEW BEST:: SOT 1413821 SOS 283586 HAS SOPS 283586 HAS SOUS 98250 HAS SOUPS 98250 WITH SCORE 98533.586
AT ITER 8336 NEW BEST:: SOT 1413810 SOS 283564 HAS SOPS 283564 HAS SOUS 98228 HAS SOUPS 98228 WITH SCORE 98511.564
AT ITER 8351 NEW BEST:: SOT 1413969 SOS 283593 HAS SOPS 283593 HAS SOUS 98118 HAS SOUPS 98118 WITH SCORE 98401.593
AT ITER 8354 NEW BEST:: SOT 1413955 SOS 283565 HAS SOPS 283565 HAS SOUS 98090 HAS SOUPS 98090 WITH SCORE 98373.565
AT ITER 8356 NEW BEST:: SOT 1413905 SOS 283563 HAS SOPS 283563 HAS SOUS 98088 HAS SOUPS 98088 WITH SCORE 98371.563
AT ITER 8357 NEW BEST:: SOT 1413881 SOS 283515 HAS SOPS 283515 HAS SOUS 98040 HAS SOUPS 98040 WITH SCORE 98323.515
AT ITER 8452 NEW BEST:: SOT 1413869 SOS 283491 HAS SOPS 283491 HAS SOUS 98016 HAS SOUPS 98016 WITH SCORE 98299.491
AT ITER 8482 NEW BEST:: SOT 1413840 SOS 283433 HAS SOPS 283433 HAS SOUS 97958 HAS SOUPS 97958 WITH SCORE 98241.433
AT ITER 8490 NEW BEST:: SOT 1413831 SOS 283415 HAS SOPS 283415 HAS SOUS 97949 HAS SOUPS 97949 WITH SCORE 98232.415
AT ITER 8498 NEW BEST:: SOT 1413831 SOS 283391 HAS SOPS 283391 HAS SOUS 97924 HAS SOUPS 97924 WITH SCORE 98207.391
AT ITER 8508 NEW BEST:: SOT 1413741 SOS 283301 HAS SOPS 283301 HAS SOUS 97904 HAS SOUPS 97904 WITH SCORE 98187.301
AT ITER 8520 NEW BEST:: SOT 1413569 SOS 282957 HAS SOPS 282957 HAS SOUS 97560 HAS SOUPS 97560 WITH SCORE 97842.957
AT ITER 8600 NEW BEST:: SOT 1413512 SOS 282843 HAS SOPS 282843 HAS SOUS 97446 HAS SOUPS 97446 WITH SCORE 97728.843
AT ITER 8606 NEW BEST:: SOT 1413491 SOS 282848 HAS SOPS 282848 HAS SOUS 97139 HAS SOUPS 97139 WITH SCORE 97421.848
AT ITER 8626 NEW BEST:: SOT 1413539 SOS 282944 HAS SOPS 282944 HAS SOUS 97047 HAS SOUPS 97047 WITH SCORE 97329.944
AT ITER 8633 NEW BEST:: SOT 1413538 SOS 282931 HAS SOPS 282931 HAS SOUS 97045 HAS SOUPS 97045 WITH SCORE 97327.931
AT ITER 8655 NEW BEST:: SOT 1413537 SOS 282921 HAS SOPS 282921 HAS SOUS 97043 HAS SOUPS 97043 WITH SCORE 97325.921
AT ITER 8661 NEW BEST:: SOT 1413533 SOS 282913 HAS SOPS 282913 HAS SOUS 97035 HAS SOUPS 97035 WITH SCORE 97317.913
AT ITER 8670 NEW BEST:: SOT 1413517 SOS 282898 HAS SOPS 282898 HAS SOUS 97020 HAS SOUPS 97020 WITH SCORE 97302.898
AT ITER 8719 NEW BEST:: SOT 1413510 SOS 282884 HAS SOPS 282884 HAS SOUS 97009 HAS SOUPS 97009 WITH SCORE 97291.884
AT ITER 8741 NEW BEST:: SOT 1413502 SOS 282868 HAS SOPS 282868 HAS SOUS 96997 HAS SOUPS 96997 WITH SCORE 97279.868
AT ITER 8769 NEW BEST:: SOT 1413470 SOS 282855 HAS SOPS 282855 HAS SOUS 96976 HAS SOUPS 96976 WITH SCORE 97258.855
AT ITER 8812 NEW BEST:: SOT 1413469 SOS 282611 HAS SOPS 282611 HAS SOUS 96974 HAS SOUPS 96974 WITH SCORE 97256.611
AT ITER 8846 NEW BEST:: SOT 1413469 SOS 282596 HAS SOPS 282596 HAS SOUS 96974 HAS SOUPS 96974 WITH SCORE 97256.596
AT ITER 8858 NEW BEST:: SOT 1413436 SOS 282530 HAS SOPS 282530 HAS SOUS 96908 HAS SOUPS 96908 WITH SCORE 97190.53
AT ITER 8893 NEW BEST:: SOT 1413463 SOS 282584 HAS SOPS 282584 HAS SOUS 96894 HAS SOUPS 96894 WITH SCORE 97176.584
AT ITER 8920 NEW BEST:: SOT 1413418 SOS 282494 HAS SOPS 282494 HAS SOUS 96892 HAS SOUPS 96892 WITH SCORE 97174.494
AT ITER 8926 NEW BEST:: SOT 1413367 SOS 282444 HAS SOPS 282444 HAS SOUS 96841 HAS SOUPS 96841 WITH SCORE 97123.444
AT ITER 8942 NEW BEST:: SOT 1413349 SOS 282383 HAS SOPS 282383 HAS SOUS 96780 HAS SOUPS 96780 WITH SCORE 97062.383
AT ITER 8952 NEW BEST:: SOT 1413279 SOS 282243 HAS SOPS 282243 HAS SOUS 96710 HAS SOUPS 96710 WITH SCORE 96992.243
AT ITER 8985 NEW BEST:: SOT 1413278 SOS 282241 HAS SOPS 282241 HAS SOUS 96708 HAS SOUPS 96708 WITH SCORE 96990.241
AT ITER 9030 NEW BEST:: SOT 1413278 SOS 265903 HAS SOPS 265903 HAS SOUS 96713 HAS SOUPS 96713 WITH SCORE 96978.903
AT ITER 9044 NEW BEST:: SOT 1413227 SOS 265801 HAS SOPS 265801 HAS SOUS 96611 HAS SOUPS 96611 WITH SCORE 96876.801
AT ITER 9144 NEW BEST:: SOT 1413209 SOS 265781 HAS SOPS 265781 HAS SOUS 96593 HAS SOUPS 96593 WITH SCORE 96858.781
AT ITER 9156 NEW BEST:: SOT 1413215 SOS 265768 HAS SOPS 265768 HAS SOUS 96573 HAS SOUPS 96573 WITH SCORE 96838.768
AT ITER 9189 NEW BEST:: SOT 1413210 SOS 265763 HAS SOPS 265763 HAS SOUS 96568 HAS SOUPS 96568 WITH SCORE 96833.763
AT ITER 9193 NEW BEST:: SOT 1413210 SOS 265602 HAS SOPS 265602 HAS SOUS 96567 HAS SOUPS 96567 WITH SCORE 96832.602
AT ITER 9252 NEW BEST:: SOT 1413195 SOS 265572 HAS SOPS 265572 HAS SOUS 96552 HAS SOUPS 96552 WITH SCORE 96817.572
AT ITER 9257 NEW BEST:: SOT 1413189 SOS 265560 HAS SOPS 265560 HAS SOUS 96540 HAS SOUPS 96540 WITH SCORE 96805.56
AT ITER 9285 NEW BEST:: SOT 1413161 SOS 265504 HAS SOPS 265504 HAS SOUS 96484 HAS SOUPS 96484 WITH SCORE 96749.504
AT ITER 9294 NEW BEST:: SOT 1413154 SOS 265490 HAS SOPS 265490 HAS SOUS 96477 HAS SOUPS 96477 WITH SCORE 96742.49
AT ITER 9312 NEW BEST:: SOT 1413154 SOS 265477 HAS SOPS 265477 HAS SOUS 96477 HAS SOUPS 96477 WITH SCORE 96742.477
AT ITER 9343 NEW BEST:: SOT 1413143 SOS 265455 HAS SOPS 265455 HAS SOUS 96455 HAS SOUPS 96455 WITH SCORE 96720.455
AT ITER 9350 NEW BEST:: SOT 1413143 SOS 261097 HAS SOPS 261097 HAS SOUS 95324 HAS SOUPS 95324 WITH SCORE 95585.097
AT ITER 9387 NEW BEST:: SOT 1413146 SOS 260047 HAS SOPS 260047 HAS SOUS 95305 HAS SOUPS 95305 WITH SCORE 95565.047
AT ITER 9403 NEW BEST:: SOT 1413058 SOS 261551 HAS SOPS 261551 HAS SOUS 95296 HAS SOUPS 95296 WITH SCORE 95557.551
AT ITER 9413 NEW BEST:: SOT 1413049 SOS 261533 HAS SOPS 261533 HAS SOUS 95291 HAS SOUPS 95291 WITH SCORE 95552.533
AT ITER 9434 NEW BEST:: SOT 1413049 SOS 261508 HAS SOPS 261508 HAS SOUS 95266 HAS SOUPS 95266 WITH SCORE 95527.508
AT ITER 9455 NEW BEST:: SOT 1413044 SOS 261498 HAS SOPS 261498 HAS SOUS 95256 HAS SOUPS 95256 WITH SCORE 95517.498
AT ITER 9654 NEW BEST:: SOT 1413037 SOS 261484 HAS SOPS 261484 HAS SOUS 95242 HAS SOUPS 95242 WITH SCORE 95503.484
AT ITER 9707 NEW BEST:: SOT 1413061 SOS 261466 HAS SOPS 261466 HAS SOUS 95240 HAS SOUPS 95240 WITH SCORE 95501.466
AT ITER 9801 NEW BEST:: SOT 1413060 SOS 261464 HAS SOPS 261464 HAS SOUS 95238 HAS SOUPS 95238 WITH SCORE 95499.464
AT ITER 9820 NEW BEST:: SOT 1413040 SOS 261424 HAS SOPS 261424 HAS SOUS 95198 HAS SOUPS 95198 WITH SCORE 95459.424
AT ITER 9823 NEW BEST:: SOT 1413033 SOS 261424 HAS SOPS 261424 HAS SOUS 95191 HAS SOUPS 95191 WITH SCORE 95452.424
AT ITER 9862 NEW BEST:: SOT 1413033 SOS 261424 HAS SOPS 261424 HAS SOUS 95155 HAS SOUPS 95155 WITH SCORE 95416.424
AT ITER 9885 NEW BEST:: SOT 1413025 SOS 261416 HAS SOPS 261416 HAS SOUS 95147 HAS SOUPS 95147 WITH SCORE 95408.416
AT ITER 9901 NEW BEST:: SOT 1413026 SOS 261063 HAS SOPS 261063 HAS SOUS 94644 HAS SOUPS 94644 WITH SCORE 94905.063
AT ITER 9925 NEW BEST:: SOT 1412617 SOS 265094 HAS SOPS 265094 HAS SOUS 94450 HAS SOUPS 94450 WITH SCORE 94715.094
AT ITER 9929 NEW BEST:: SOT 1412591 SOS 265042 HAS SOPS 265042 HAS SOUS 94398 HAS SOUPS 94398 WITH SCORE 94663.042
AT ITER 9940 NEW BEST:: SOT 1412556 SOS 264972 HAS SOPS 264972 HAS SOUS 94328 HAS SOUPS 94328 WITH SCORE 94592.972
AT ITER 9970 NEW BEST:: SOT 1412528 SOS 264916 HAS SOPS 264916 HAS SOUS 94284 HAS SOUPS 94284 WITH SCORE 94548.916
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11485756 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16147932 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="StigmergyElection-PT-06b"
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 StigmergyElection-PT-06b, 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-167912643800632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/StigmergyElection-PT-06b.tgz
mv StigmergyElection-PT-06b 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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
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 ;