Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508000033.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-02b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000033
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 417K Mar 24 05:37 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 1588997068789

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02b
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1242 places, 1621 transitions, 5041 arcs.
AT ITER 0 NEW BEST:: SOT 1196856 SOS 402698 HAS SOPS 402698 HAS SOUS 312631 HAS SOUPS 312631 WITH SCORE 313033.698
AT ITER 6 NEW BEST:: SOT 1196664 SOS 401864 HAS SOPS 401864 HAS SOUS 312481 HAS SOUPS 312481 WITH SCORE 312882.864
AT ITER 13 NEW BEST:: SOT 1194136 SOS 399494 HAS SOPS 399494 HAS SOUS 312158 HAS SOUPS 312158 WITH SCORE 312557.494
AT ITER 21 NEW BEST:: SOT 1189187 SOS 396701 HAS SOPS 396701 HAS SOUS 307356 HAS SOUPS 307356 WITH SCORE 307752.701
AT ITER 26 NEW BEST:: SOT 1188943 SOS 396419 HAS SOPS 396419 HAS SOUS 307070 HAS SOUPS 307070 WITH SCORE 307466.419
AT ITER 30 NEW BEST:: SOT 1188787 SOS 397355 HAS SOPS 397355 HAS SOUS 306758 HAS SOUPS 306758 WITH SCORE 307155.355
AT ITER 34 NEW BEST:: SOT 1188787 SOS 397237 HAS SOPS 397237 HAS SOUS 306758 HAS SOUPS 306758 WITH SCORE 307155.237
AT ITER 40 NEW BEST:: SOT 1188787 SOS 397236 HAS SOPS 397236 HAS SOUS 306757 HAS SOUPS 306757 WITH SCORE 307154.236
AT ITER 62 NEW BEST:: SOT 1188765 SOS 397170 HAS SOPS 397170 HAS SOUS 306691 HAS SOUPS 306691 WITH SCORE 307088.17
AT ITER 63 NEW BEST:: SOT 1188645 SOS 397253 HAS SOPS 397253 HAS SOUS 306529 HAS SOUPS 306529 WITH SCORE 306926.253
AT ITER 67 NEW BEST:: SOT 1187080 SOS 398845 HAS SOPS 398845 HAS SOUS 305088 HAS SOUPS 305088 WITH SCORE 305486.845
AT ITER 68 NEW BEST:: SOT 1187109 SOS 398830 HAS SOPS 398830 HAS SOUS 305044 HAS SOUPS 305044 WITH SCORE 305442.83
AT ITER 69 NEW BEST:: SOT 1186661 SOS 399036 HAS SOPS 399036 HAS SOUS 304674 HAS SOUPS 304674 WITH SCORE 305073.036
AT ITER 76 NEW BEST:: SOT 1186661 SOS 398448 HAS SOPS 398448 HAS SOUS 304674 HAS SOUPS 304674 WITH SCORE 305072.448
AT ITER 82 NEW BEST:: SOT 1186628 SOS 398382 HAS SOPS 398382 HAS SOUS 304631 HAS SOUPS 304631 WITH SCORE 305029.382
AT ITER 91 NEW BEST:: SOT 1186650 SOS 398367 HAS SOPS 398367 HAS SOUS 304560 HAS SOUPS 304560 WITH SCORE 304958.367
AT ITER 95 NEW BEST:: SOT 1186578 SOS 398223 HAS SOPS 398223 HAS SOUS 304487 HAS SOUPS 304487 WITH SCORE 304885.223
AT ITER 98 NEW BEST:: SOT 1186578 SOS 398218 HAS SOPS 398218 HAS SOUS 304486 HAS SOUPS 304486 WITH SCORE 304884.218
AT ITER 102 NEW BEST:: SOT 1186124 SOS 397127 HAS SOPS 397127 HAS SOUS 303800 HAS SOUPS 303800 WITH SCORE 304197.127
AT ITER 103 NEW BEST:: SOT 1186105 SOS 397070 HAS SOPS 397070 HAS SOUS 303761 HAS SOUPS 303761 WITH SCORE 304158.07
AT ITER 118 NEW BEST:: SOT 1186081 SOS 396896 HAS SOPS 396896 HAS SOUS 303755 HAS SOUPS 303755 WITH SCORE 304151.896
AT ITER 127 NEW BEST:: SOT 1186043 SOS 396653 HAS SOPS 396653 HAS SOUS 303678 HAS SOUPS 303678 WITH SCORE 304074.653
AT ITER 146 NEW BEST:: SOT 1186012 SOS 396497 HAS SOPS 396497 HAS SOUS 303498 HAS SOUPS 303498 WITH SCORE 303894.497
AT ITER 169 NEW BEST:: SOT 1185872 SOS 396357 HAS SOPS 396357 HAS SOUS 303376 HAS SOUPS 303376 WITH SCORE 303772.357
AT ITER 171 NEW BEST:: SOT 1185853 SOS 396319 HAS SOPS 396319 HAS SOUS 303338 HAS SOUPS 303338 WITH SCORE 303734.319
AT ITER 175 NEW BEST:: SOT 1185853 SOS 396318 HAS SOPS 396318 HAS SOUS 303337 HAS SOUPS 303337 WITH SCORE 303733.318
AT ITER 176 NEW BEST:: SOT 1185729 SOS 396194 HAS SOPS 396194 HAS SOUS 303213 HAS SOUPS 303213 WITH SCORE 303609.194
AT ITER 177 NEW BEST:: SOT 1184417 SOS 400054 HAS SOPS 400054 HAS SOUS 302588 HAS SOUPS 302588 WITH SCORE 302988.054
AT ITER 190 NEW BEST:: SOT 1184416 SOS 400010 HAS SOPS 400010 HAS SOUS 302544 HAS SOUPS 302544 WITH SCORE 302944.01
AT ITER 196 NEW BEST:: SOT 1184368 SOS 399317 HAS SOPS 399317 HAS SOUS 302394 HAS SOUPS 302394 WITH SCORE 302793.317
AT ITER 206 NEW BEST:: SOT 1184142 SOS 399577 HAS SOPS 399577 HAS SOUS 301993 HAS SOUPS 301993 WITH SCORE 302392.577
AT ITER 207 NEW BEST:: SOT 1184126 SOS 399495 HAS SOPS 399495 HAS SOUS 301911 HAS SOUPS 301911 WITH SCORE 302310.495
AT ITER 208 NEW BEST:: SOT 1183894 SOS 399725 HAS SOPS 399725 HAS SOUS 301795 HAS SOUPS 301795 WITH SCORE 302194.725
AT ITER 217 NEW BEST:: SOT 1183869 SOS 399698 HAS SOPS 399698 HAS SOUS 301768 HAS SOUPS 301768 WITH SCORE 302167.698
AT ITER 253 NEW BEST:: SOT 1183868 SOS 399696 HAS SOPS 399696 HAS SOUS 301766 HAS SOUPS 301766 WITH SCORE 302165.696
AT ITER 262 NEW BEST:: SOT 1183838 SOS 399693 HAS SOPS 399693 HAS SOUS 301763 HAS SOUPS 301763 WITH SCORE 302162.693
AT ITER 270 NEW BEST:: SOT 1183640 SOS 399495 HAS SOPS 399495 HAS SOUS 301367 HAS SOUPS 301367 WITH SCORE 301766.495
AT ITER 272 NEW BEST:: SOT 1183597 SOS 399452 HAS SOPS 399452 HAS SOUS 301323 HAS SOUPS 301323 WITH SCORE 301722.452
AT ITER 289 NEW BEST:: SOT 1183563 SOS 399197 HAS SOPS 399197 HAS SOUS 301255 HAS SOUPS 301255 WITH SCORE 301654.197
AT ITER 296 NEW BEST:: SOT 1183049 SOS 398860 HAS SOPS 398860 HAS SOUS 300918 HAS SOUPS 300918 WITH SCORE 301316.86
AT ITER 307 NEW BEST:: SOT 1183010 SOS 398829 HAS SOPS 398829 HAS SOUS 300781 HAS SOUPS 300781 WITH SCORE 301179.829
AT ITER 326 NEW BEST:: SOT 1182832 SOS 398820 HAS SOPS 398820 HAS SOUS 300654 HAS SOUPS 300654 WITH SCORE 301052.82
AT ITER 332 NEW BEST:: SOT 1182736 SOS 398724 HAS SOPS 398724 HAS SOUS 300590 HAS SOUPS 300590 WITH SCORE 300988.724
AT ITER 341 NEW BEST:: SOT 1182568 SOS 398178 HAS SOPS 398178 HAS SOUS 300422 HAS SOUPS 300422 WITH SCORE 300820.178
AT ITER 342 NEW BEST:: SOT 1182459 SOS 398068 HAS SOPS 398068 HAS SOUS 300203 HAS SOUPS 300203 WITH SCORE 300601.068
AT ITER 349 NEW BEST:: SOT 1182351 SOS 397960 HAS SOPS 397960 HAS SOUS 300095 HAS SOUPS 300095 WITH SCORE 300492.96
AT ITER 369 NEW BEST:: SOT 1182351 SOS 398025 HAS SOPS 398025 HAS SOUS 300048 HAS SOUPS 300048 WITH SCORE 300446.025
AT ITER 375 NEW BEST:: SOT 1181976 SOS 399139 HAS SOPS 399139 HAS SOUS 300025 HAS SOUPS 300025 WITH SCORE 300424.139
AT ITER 401 NEW BEST:: SOT 1181938 SOS 399153 HAS SOPS 399153 HAS SOUS 299897 HAS SOUPS 299897 WITH SCORE 300296.153
AT ITER 412 NEW BEST:: SOT 1181710 SOS 398939 HAS SOPS 398939 HAS SOUS 299610 HAS SOUPS 299610 WITH SCORE 300008.939
AT ITER 420 NEW BEST:: SOT 1181710 SOS 398794 HAS SOPS 398794 HAS SOUS 299465 HAS SOUPS 299465 WITH SCORE 299863.794
AT ITER 436 NEW BEST:: SOT 1181710 SOS 398742 HAS SOPS 398742 HAS SOUS 299465 HAS SOUPS 299465 WITH SCORE 299863.742
AT ITER 443 NEW BEST:: SOT 1181683 SOS 398688 HAS SOPS 398688 HAS SOUS 299400 HAS SOUPS 299400 WITH SCORE 299798.688
AT ITER 450 NEW BEST:: SOT 1181440 SOS 398620 HAS SOPS 398620 HAS SOUS 299277 HAS SOUPS 299277 WITH SCORE 299675.62
AT ITER 451 NEW BEST:: SOT 1181387 SOS 398567 HAS SOPS 398567 HAS SOUS 299224 HAS SOUPS 299224 WITH SCORE 299622.567
AT ITER 455 NEW BEST:: SOT 1181405 SOS 398514 HAS SOPS 398514 HAS SOUS 299156 HAS SOUPS 299156 WITH SCORE 299554.514
AT ITER 466 NEW BEST:: SOT 1181405 SOS 398511 HAS SOPS 398511 HAS SOUS 299150 HAS SOUPS 299150 WITH SCORE 299548.511
AT ITER 479 NEW BEST:: SOT 1181397 SOS 398486 HAS SOPS 398486 HAS SOUS 299126 HAS SOUPS 299126 WITH SCORE 299524.486
AT ITER 484 NEW BEST:: SOT 1181352 SOS 398498 HAS SOPS 398498 HAS SOUS 299066 HAS SOUPS 299066 WITH SCORE 299464.498
AT ITER 520 NEW BEST:: SOT 1181352 SOS 398431 HAS SOPS 398431 HAS SOUS 298999 HAS SOUPS 298999 WITH SCORE 299397.431
AT ITER 523 NEW BEST:: SOT 1178532 SOS 395806 HAS SOPS 395806 HAS SOUS 298909 HAS SOUPS 298909 WITH SCORE 299304.806
AT ITER 554 NEW BEST:: SOT 1178545 SOS 395619 HAS SOPS 395619 HAS SOUS 298724 HAS SOUPS 298724 WITH SCORE 299119.619
AT ITER 561 NEW BEST:: SOT 1178545 SOS 395618 HAS SOPS 395618 HAS SOUS 298723 HAS SOUPS 298723 WITH SCORE 299118.618
AT ITER 589 NEW BEST:: SOT 1176126 SOS 393365 HAS SOPS 393365 HAS SOUS 298628 HAS SOUPS 298628 WITH SCORE 299021.365
AT ITER 598 NEW BEST:: SOT 1175886 SOS 393149 HAS SOPS 393149 HAS SOUS 298263 HAS SOUPS 298263 WITH SCORE 298656.149
AT ITER 605 NEW BEST:: SOT 1175418 SOS 392681 HAS SOPS 392681 HAS SOUS 297794 HAS SOUPS 297794 WITH SCORE 298186.681
AT ITER 608 NEW BEST:: SOT 1175282 SOS 392706 HAS SOPS 392706 HAS SOUS 297709 HAS SOUPS 297709 WITH SCORE 298101.706
AT ITER 614 NEW BEST:: SOT 1175161 SOS 392457 HAS SOPS 392457 HAS SOUS 297580 HAS SOUPS 297580 WITH SCORE 297972.457
AT ITER 624 NEW BEST:: SOT 1175161 SOS 392435 HAS SOPS 392435 HAS SOUS 297558 HAS SOUPS 297558 WITH SCORE 297950.435
AT ITER 630 NEW BEST:: SOT 1175160 SOS 392433 HAS SOPS 392433 HAS SOUS 297556 HAS SOUPS 297556 WITH SCORE 297948.433
AT ITER 640 NEW BEST:: SOT 1175160 SOS 392264 HAS SOPS 392264 HAS SOUS 297551 HAS SOUPS 297551 WITH SCORE 297943.264
AT ITER 675 NEW BEST:: SOT 1175134 SOS 392012 HAS SOPS 392012 HAS SOUS 297383 HAS SOUPS 297383 WITH SCORE 297775.012
AT ITER 685 NEW BEST:: SOT 1175056 SOS 392012 HAS SOPS 392012 HAS SOUS 297311 HAS SOUPS 297311 WITH SCORE 297703.012
AT ITER 686 NEW BEST:: SOT 1175030 SOS 391856 HAS SOPS 391856 HAS SOUS 297259 HAS SOUPS 297259 WITH SCORE 297650.856
AT ITER 709 NEW BEST:: SOT 1175030 SOS 391949 HAS SOPS 391949 HAS SOUS 297258 HAS SOUPS 297258 WITH SCORE 297649.949
AT ITER 736 NEW BEST:: SOT 1174420 SOS 392568 HAS SOPS 392568 HAS SOUS 297102 HAS SOUPS 297102 WITH SCORE 297494.568
AT ITER 739 NEW BEST:: SOT 1174356 SOS 392441 HAS SOPS 392441 HAS SOUS 297019 HAS SOUPS 297019 WITH SCORE 297411.441
AT ITER 748 NEW BEST:: SOT 1174356 SOS 392313 HAS SOPS 392313 HAS SOUS 297019 HAS SOUPS 297019 WITH SCORE 297411.313
AT ITER 770 NEW BEST:: SOT 1174354 SOS 392309 HAS SOPS 392309 HAS SOUS 297017 HAS SOUPS 297017 WITH SCORE 297409.309
AT ITER 778 NEW BEST:: SOT 1174339 SOS 392365 HAS SOPS 392365 HAS SOUS 296999 HAS SOUPS 296999 WITH SCORE 297391.365
AT ITER 785 NEW BEST:: SOT 1174317 SOS 392411 HAS SOPS 392411 HAS SOUS 296947 HAS SOUPS 296947 WITH SCORE 297339.411
AT ITER 791 NEW BEST:: SOT 1174157 SOS 392091 HAS SOPS 392091 HAS SOUS 296627 HAS SOUPS 296627 WITH SCORE 297019.091
AT ITER 798 NEW BEST:: SOT 1174157 SOS 391953 HAS SOPS 391953 HAS SOUS 296627 HAS SOUPS 296627 WITH SCORE 297018.953
AT ITER 808 NEW BEST:: SOT 1174147 SOS 391943 HAS SOPS 391943 HAS SOUS 296615 HAS SOUPS 296615 WITH SCORE 297006.943
AT ITER 809 NEW BEST:: SOT 1174147 SOS 391920 HAS SOPS 391920 HAS SOUS 296592 HAS SOUPS 296592 WITH SCORE 296983.92
AT ITER 818 NEW BEST:: SOT 1174147 SOS 391852 HAS SOPS 391852 HAS SOUS 296592 HAS SOUPS 296592 WITH SCORE 296983.852
AT ITER 820 NEW BEST:: SOT 1173857 SOS 391496 HAS SOPS 391496 HAS SOUS 296143 HAS SOUPS 296143 WITH SCORE 296534.496
AT ITER 839 NEW BEST:: SOT 1173857 SOS 391480 HAS SOPS 391480 HAS SOUS 296127 HAS SOUPS 296127 WITH SCORE 296518.48
AT ITER 860 NEW BEST:: SOT 1173726 SOS 391087 HAS SOPS 391087 HAS SOUS 295865 HAS SOUPS 295865 WITH SCORE 296256.087
AT ITER 865 NEW BEST:: SOT 1173566 SOS 391110 HAS SOPS 391110 HAS SOUS 295562 HAS SOUPS 295562 WITH SCORE 295953.11
AT ITER 870 NEW BEST:: SOT 1173438 SOS 391186 HAS SOPS 391186 HAS SOUS 295514 HAS SOUPS 295514 WITH SCORE 295905.186
AT ITER 873 NEW BEST:: SOT 1173270 SOS 390665 HAS SOPS 390665 HAS SOUS 294993 HAS SOUPS 294993 WITH SCORE 295383.665
AT ITER 875 NEW BEST:: SOT 1173415 SOS 390776 HAS SOPS 390776 HAS SOUS 294977 HAS SOUPS 294977 WITH SCORE 295367.776
AT ITER 884 NEW BEST:: SOT 1173415 SOS 390776 HAS SOPS 390776 HAS SOUS 294976 HAS SOUPS 294976 WITH SCORE 295366.776
AT ITER 890 NEW BEST:: SOT 1173202 SOS 386154 HAS SOPS 386154 HAS SOUS 294544 HAS SOUPS 294544 WITH SCORE 294930.154
AT ITER 894 NEW BEST:: SOT 1172278 SOS 385366 HAS SOPS 385366 HAS SOUS 294040 HAS SOUPS 294040 WITH SCORE 294425.366
AT ITER 904 NEW BEST:: SOT 1172081 SOS 385073 HAS SOPS 385073 HAS SOUS 293843 HAS SOUPS 293843 WITH SCORE 294228.073
AT ITER 905 NEW BEST:: SOT 1171097 SOS 384320 HAS SOPS 384320 HAS SOUS 293078 HAS SOUPS 293078 WITH SCORE 293462.32
AT ITER 922 NEW BEST:: SOT 1170803 SOS 383998 HAS SOPS 383998 HAS SOUS 292780 HAS SOUPS 292780 WITH SCORE 293163.998
AT ITER 927 NEW BEST:: SOT 1170803 SOS 384072 HAS SOPS 384072 HAS SOUS 292695 HAS SOUPS 292695 WITH SCORE 293079.072
AT ITER 928 NEW BEST:: SOT 1170756 SOS 384024 HAS SOPS 384024 HAS SOUS 292647 HAS SOUPS 292647 WITH SCORE 293031.024
AT ITER 932 NEW BEST:: SOT 1170596 SOS 383704 HAS SOPS 383704 HAS SOUS 292487 HAS SOUPS 292487 WITH SCORE 292870.704
AT ITER 961 NEW BEST:: SOT 1170427 SOS 383535 HAS SOPS 383535 HAS SOUS 292280 HAS SOUPS 292280 WITH SCORE 292663.535
AT ITER 976 NEW BEST:: SOT 1170373 SOS 383427 HAS SOPS 383427 HAS SOUS 292172 HAS SOUPS 292172 WITH SCORE 292555.427
AT ITER 983 NEW BEST:: SOT 1170199 SOS 382993 HAS SOPS 382993 HAS SOUS 291824 HAS SOUPS 291824 WITH SCORE 292206.993
AT ITER 985 NEW BEST:: SOT 1170193 SOS 382562 HAS SOPS 382562 HAS SOUS 291812 HAS SOUPS 291812 WITH SCORE 292194.562
AT ITER 996 NEW BEST:: SOT 1170140 SOS 382456 HAS SOPS 382456 HAS SOUS 291706 HAS SOUPS 291706 WITH SCORE 292088.456
AT ITER 997 NEW BEST:: SOT 1169949 SOS 382212 HAS SOPS 382212 HAS SOUS 291514 HAS SOUPS 291514 WITH SCORE 291896.212
AT ITER 1009 NEW BEST:: SOT 1169949 SOS 382133 HAS SOPS 382133 HAS SOUS 291511 HAS SOUPS 291511 WITH SCORE 291893.133
AT ITER 1015 NEW BEST:: SOT 1169873 SOS 381982 HAS SOPS 381982 HAS SOUS 291360 HAS SOUPS 291360 WITH SCORE 291741.982
AT ITER 1056 NEW BEST:: SOT 1169468 SOS 381684 HAS SOPS 381684 HAS SOUS 291081 HAS SOUPS 291081 WITH SCORE 291462.684
AT ITER 1067 NEW BEST:: SOT 1169235 SOS 381321 HAS SOPS 381321 HAS SOUS 290718 HAS SOUPS 290718 WITH SCORE 291099.321
AT ITER 1073 NEW BEST:: SOT 1169235 SOS 381199 HAS SOPS 381199 HAS SOUS 290596 HAS SOUPS 290596 WITH SCORE 290977.199
AT ITER 1078 NEW BEST:: SOT 1169205 SOS 381177 HAS SOPS 381177 HAS SOUS 290573 HAS SOUPS 290573 WITH SCORE 290954.177
AT ITER 1080 NEW BEST:: SOT 1169120 SOS 381007 HAS SOPS 381007 HAS SOUS 290403 HAS SOUPS 290403 WITH SCORE 290784.007
AT ITER 1105 NEW BEST:: SOT 1168903 SOS 380220 HAS SOPS 380220 HAS SOUS 290238 HAS SOUPS 290238 WITH SCORE 290618.22
AT ITER 1109 NEW BEST:: SOT 1168903 SOS 380180 HAS SOPS 380180 HAS SOUS 290198 HAS SOUPS 290198 WITH SCORE 290578.18
AT ITER 1126 NEW BEST:: SOT 1168831 SOS 379964 HAS SOPS 379964 HAS SOUS 290045 HAS SOUPS 290045 WITH SCORE 290424.964
AT ITER 1131 NEW BEST:: SOT 1167676 SOS 382523 HAS SOPS 382523 HAS SOUS 289978 HAS SOUPS 289978 WITH SCORE 290360.523
AT ITER 1134 NEW BEST:: SOT 1167370 SOS 382216 HAS SOPS 382216 HAS SOUS 289365 HAS SOUPS 289365 WITH SCORE 289747.216
AT ITER 1141 NEW BEST:: SOT 1167315 SOS 382106 HAS SOPS 382106 HAS SOUS 289247 HAS SOUPS 289247 WITH SCORE 289629.106
AT ITER 1163 NEW BEST:: SOT 1167238 SOS 381849 HAS SOPS 381849 HAS SOUS 288990 HAS SOUPS 288990 WITH SCORE 289371.849
AT ITER 1195 NEW BEST:: SOT 1167084 SOS 381541 HAS SOPS 381541 HAS SOUS 288682 HAS SOUPS 288682 WITH SCORE 289063.541
AT ITER 1211 NEW BEST:: SOT 1167083 SOS 381720 HAS SOPS 381720 HAS SOUS 288672 HAS SOUPS 288672 WITH SCORE 289053.72
AT ITER 1212 NEW BEST:: SOT 1167050 SOS 381714 HAS SOPS 381714 HAS SOUS 288666 HAS SOUPS 288666 WITH SCORE 289047.714
AT ITER 1214 NEW BEST:: SOT 1166720 SOS 382463 HAS SOPS 382463 HAS SOUS 288447 HAS SOUPS 288447 WITH SCORE 288829.463
AT ITER 1220 NEW BEST:: SOT 1166405 SOS 382188 HAS SOPS 382188 HAS SOUS 288172 HAS SOUPS 288172 WITH SCORE 288554.188
AT ITER 1221 NEW BEST:: SOT 1166469 SOS 382122 HAS SOPS 382122 HAS SOUS 288106 HAS SOUPS 288106 WITH SCORE 288488.122
AT ITER 1222 NEW BEST:: SOT 1166468 SOS 382120 HAS SOPS 382120 HAS SOUS 288104 HAS SOUPS 288104 WITH SCORE 288486.12
AT ITER 1231 NEW BEST:: SOT 1166252 SOS 381885 HAS SOPS 381885 HAS SOUS 287887 HAS SOUPS 287887 WITH SCORE 288268.885
AT ITER 1247 NEW BEST:: SOT 1166252 SOS 381744 HAS SOPS 381744 HAS SOUS 287887 HAS SOUPS 287887 WITH SCORE 288268.744
AT ITER 1249 NEW BEST:: SOT 1166163 SOS 381702 HAS SOPS 381702 HAS SOUS 287845 HAS SOUPS 287845 WITH SCORE 288226.702
AT ITER 1250 NEW BEST:: SOT 1165757 SOS 381411 HAS SOPS 381411 HAS SOUS 287553 HAS SOUPS 287553 WITH SCORE 287934.411
AT ITER 1256 NEW BEST:: SOT 1165933 SOS 381587 HAS SOPS 381587 HAS SOUS 287465 HAS SOUPS 287465 WITH SCORE 287846.587
AT ITER 1275 NEW BEST:: SOT 1165819 SOS 381406 HAS SOPS 381406 HAS SOUS 287418 HAS SOUPS 287418 WITH SCORE 287799.406
AT ITER 1281 NEW BEST:: SOT 1165811 SOS 381398 HAS SOPS 381398 HAS SOUS 287410 HAS SOUPS 287410 WITH SCORE 287791.398
AT ITER 1296 NEW BEST:: SOT 1165640 SOS 381227 HAS SOPS 381227 HAS SOUS 286791 HAS SOUPS 286791 WITH SCORE 287172.227
AT ITER 1299 NEW BEST:: SOT 1165574 SOS 381138 HAS SOPS 381138 HAS SOUS 286702 HAS SOUPS 286702 WITH SCORE 287083.138
AT ITER 1308 NEW BEST:: SOT 1165574 SOS 381137 HAS SOPS 381137 HAS SOUS 286701 HAS SOUPS 286701 WITH SCORE 287082.137
AT ITER 1310 NEW BEST:: SOT 1165494 SOS 379647 HAS SOPS 379647 HAS SOUS 286554 HAS SOUPS 286554 WITH SCORE 286933.647
AT ITER 1317 NEW BEST:: SOT 1165494 SOS 379775 HAS SOPS 379775 HAS SOUS 286553 HAS SOUPS 286553 WITH SCORE 286932.775
AT ITER 1321 NEW BEST:: SOT 1165472 SOS 379537 HAS SOPS 379537 HAS SOUS 286447 HAS SOUPS 286447 WITH SCORE 286826.537
AT ITER 1322 NEW BEST:: SOT 1165535 SOS 379495 HAS SOPS 379495 HAS SOUS 286405 HAS SOUPS 286405 WITH SCORE 286784.495
AT ITER 1325 NEW BEST:: SOT 1165520 SOS 379465 HAS SOPS 379465 HAS SOUS 286375 HAS SOUPS 286375 WITH SCORE 286754.465
AT ITER 1339 NEW BEST:: SOT 1165519 SOS 380258 HAS SOPS 380258 HAS SOUS 286373 HAS SOUPS 286373 WITH SCORE 286753.258
AT ITER 1350 NEW BEST:: SOT 1165467 SOS 380258 HAS SOPS 380258 HAS SOUS 286300 HAS SOUPS 286300 WITH SCORE 286680.258
AT ITER 1352 NEW BEST:: SOT 1165467 SOS 380115 HAS SOPS 380115 HAS SOUS 286157 HAS SOUPS 286157 WITH SCORE 286537.115
AT ITER 1364 NEW BEST:: SOT 1165467 SOS 380221 HAS SOPS 380221 HAS SOUS 285441 HAS SOUPS 285441 WITH SCORE 285821.221
AT ITER 1367 NEW BEST:: SOT 1165467 SOS 380284 HAS SOPS 380284 HAS SOUS 285437 HAS SOUPS 285437 WITH SCORE 285817.284
AT ITER 1374 NEW BEST:: SOT 1165450 SOS 380250 HAS SOPS 380250 HAS SOUS 285403 HAS SOUPS 285403 WITH SCORE 285783.25
AT ITER 1384 NEW BEST:: SOT 1165440 SOS 380238 HAS SOPS 380238 HAS SOUS 285391 HAS SOUPS 285391 WITH SCORE 285771.238
AT ITER 1388 NEW BEST:: SOT 1165154 SOS 379669 HAS SOPS 379669 HAS SOUS 284970 HAS SOUPS 284970 WITH SCORE 285349.669
AT ITER 1395 NEW BEST:: SOT 1164744 SOS 379086 HAS SOPS 379086 HAS SOUS 284386 HAS SOUPS 284386 WITH SCORE 284765.086
AT ITER 1402 NEW BEST:: SOT 1164743 SOS 378324 HAS SOPS 378324 HAS SOUS 284289 HAS SOUPS 284289 WITH SCORE 284667.324
AT ITER 1403 NEW BEST:: SOT 1164714 SOS 378302 HAS SOPS 378302 HAS SOUS 284267 HAS SOUPS 284267 WITH SCORE 284645.302
AT ITER 1414 NEW BEST:: SOT 1164714 SOS 378302 HAS SOPS 378302 HAS SOUS 284266 HAS SOUPS 284266 WITH SCORE 284644.302
AT ITER 1431 NEW BEST:: SOT 1164714 SOS 378295 HAS SOPS 378295 HAS SOUS 284266 HAS SOUPS 284266 WITH SCORE 284644.295
AT ITER 1437 NEW BEST:: SOT 1164537 SOS 378177 HAS SOPS 378177 HAS SOUS 284148 HAS SOUPS 284148 WITH SCORE 284526.177
AT ITER 1449 NEW BEST:: SOT 1163961 SOS 377856 HAS SOPS 377856 HAS SOUS 283815 HAS SOUPS 283815 WITH SCORE 284192.856
AT ITER 1455 NEW BEST:: SOT 1163974 SOS 377831 HAS SOPS 377831 HAS SOUS 283791 HAS SOUPS 283791 WITH SCORE 284168.831
AT ITER 1467 NEW BEST:: SOT 1163861 SOS 374875 HAS SOPS 374875 HAS SOUS 283033 HAS SOUPS 283033 WITH SCORE 283407.875
AT ITER 1471 NEW BEST:: SOT 1161978 SOS 373111 HAS SOPS 373111 HAS SOUS 282921 HAS SOUPS 282921 WITH SCORE 283294.111
AT ITER 1476 NEW BEST:: SOT 1161981 SOS 373135 HAS SOPS 373135 HAS SOUS 282912 HAS SOUPS 282912 WITH SCORE 283285.135
AT ITER 1478 NEW BEST:: SOT 1162046 SOS 372983 HAS SOPS 372983 HAS SOUS 282760 HAS SOUPS 282760 WITH SCORE 283132.983
AT ITER 1481 NEW BEST:: SOT 1161885 SOS 372531 HAS SOPS 372531 HAS SOUS 282438 HAS SOUPS 282438 WITH SCORE 282810.531
AT ITER 1489 NEW BEST:: SOT 1161885 SOS 372523 HAS SOPS 372523 HAS SOUS 282430 HAS SOUPS 282430 WITH SCORE 282802.523
AT ITER 1516 NEW BEST:: SOT 1161882 SOS 372517 HAS SOPS 372517 HAS SOUS 282421 HAS SOUPS 282421 WITH SCORE 282793.517
AT ITER 1519 NEW BEST:: SOT 1161865 SOS 372391 HAS SOPS 372391 HAS SOUS 282295 HAS SOUPS 282295 WITH SCORE 282667.391
AT ITER 1529 NEW BEST:: SOT 1161822 SOS 372262 HAS SOPS 372262 HAS SOUS 282166 HAS SOUPS 282166 WITH SCORE 282538.262
AT ITER 1545 NEW BEST:: SOT 1161822 SOS 372224 HAS SOPS 372224 HAS SOUS 282166 HAS SOUPS 282166 WITH SCORE 282538.224
AT ITER 1546 NEW BEST:: SOT 1161703 SOS 371986 HAS SOPS 371986 HAS SOUS 281928 HAS SOUPS 281928 WITH SCORE 282299.986
AT ITER 1549 NEW BEST:: SOT 1161282 SOS 371884 HAS SOPS 371884 HAS SOUS 281826 HAS SOUPS 281826 WITH SCORE 282197.884
AT ITER 1550 NEW BEST:: SOT 1161284 SOS 371469 HAS SOPS 371469 HAS SOUS 281758 HAS SOUPS 281758 WITH SCORE 282129.469
AT ITER 1557 NEW BEST:: SOT 1159740 SOS 369828 HAS SOPS 369828 HAS SOUS 280086 HAS SOUPS 280086 WITH SCORE 280455.828
AT ITER 1560 NEW BEST:: SOT 1159419 SOS 369552 HAS SOPS 369552 HAS SOUS 279963 HAS SOUPS 279963 WITH SCORE 280332.552
AT ITER 1571 NEW BEST:: SOT 1159394 SOS 369548 HAS SOPS 369548 HAS SOUS 279429 HAS SOUPS 279429 WITH SCORE 279798.548
AT ITER 1577 NEW BEST:: SOT 1159394 SOS 369539 HAS SOPS 369539 HAS SOUS 279425 HAS SOUPS 279425 WITH SCORE 279794.539
AT ITER 1587 NEW BEST:: SOT 1159393 SOS 369537 HAS SOPS 369537 HAS SOUS 279423 HAS SOUPS 279423 WITH SCORE 279792.537
AT ITER 1600 NEW BEST:: SOT 1159344 SOS 369439 HAS SOPS 369439 HAS SOUS 279374 HAS SOUPS 279374 WITH SCORE 279743.439
AT ITER 1614 NEW BEST:: SOT 1159344 SOS 369348 HAS SOPS 369348 HAS SOUS 279255 HAS SOUPS 279255 WITH SCORE 279624.348
AT ITER 1616 NEW BEST:: SOT 1159325 SOS 369291 HAS SOPS 369291 HAS SOUS 279217 HAS SOUPS 279217 WITH SCORE 279586.291
AT ITER 1630 NEW BEST:: SOT 1159088 SOS 368953 HAS SOPS 368953 HAS SOUS 278894 HAS SOUPS 278894 WITH SCORE 279262.953
AT ITER 1631 NEW BEST:: SOT 1159267 SOS 369282 HAS SOPS 369282 HAS SOUS 278678 HAS SOUPS 278678 WITH SCORE 279047.282
AT ITER 1634 NEW BEST:: SOT 1159119 SOS 368967 HAS SOPS 368967 HAS SOUS 278516 HAS SOUPS 278516 WITH SCORE 278884.967
AT ITER 1668 NEW BEST:: SOT 1159115 SOS 368963 HAS SOPS 368963 HAS SOUS 278512 HAS SOUPS 278512 WITH SCORE 278880.963
AT ITER 1674 NEW BEST:: SOT 1159115 SOS 368826 HAS SOPS 368826 HAS SOUS 278510 HAS SOUPS 278510 WITH SCORE 278878.826
AT ITER 1676 NEW BEST:: SOT 1158436 SOS 368783 HAS SOPS 368783 HAS SOUS 278135 HAS SOUPS 278135 WITH SCORE 278503.783
AT ITER 1691 NEW BEST:: SOT 1158436 SOS 368767 HAS SOPS 368767 HAS SOUS 278119 HAS SOUPS 278119 WITH SCORE 278487.767
AT ITER 1716 NEW BEST:: SOT 1158418 SOS 368732 HAS SOPS 368732 HAS SOUS 278084 HAS SOUPS 278084 WITH SCORE 278452.732
AT ITER 1722 NEW BEST:: SOT 1158124 SOS 368438 HAS SOPS 368438 HAS SOUS 277679 HAS SOUPS 277679 WITH SCORE 278047.438
AT ITER 1727 NEW BEST:: SOT 1157982 SOS 368296 HAS SOPS 368296 HAS SOUS 277430 HAS SOUPS 277430 WITH SCORE 277798.296
AT ITER 1728 NEW BEST:: SOT 1158141 SOS 368925 HAS SOPS 368925 HAS SOUS 277029 HAS SOUPS 277029 WITH SCORE 277397.925
AT ITER 1740 NEW BEST:: SOT 1158138 SOS 368919 HAS SOPS 368919 HAS SOUS 277023 HAS SOUPS 277023 WITH SCORE 277391.919
AT ITER 1742 NEW BEST:: SOT 1157577 SOS 368302 HAS SOPS 368302 HAS SOUS 276780 HAS SOUPS 276780 WITH SCORE 277148.302
AT ITER 1755 NEW BEST:: SOT 1157474 SOS 367947 HAS SOPS 367947 HAS SOUS 276425 HAS SOUPS 276425 WITH SCORE 276792.947
AT ITER 1757 NEW BEST:: SOT 1157523 SOS 367972 HAS SOPS 367972 HAS SOUS 276303 HAS SOUPS 276303 WITH SCORE 276670.972
AT ITER 1770 NEW BEST:: SOT 1157473 SOS 367922 HAS SOPS 367922 HAS SOUS 275853 HAS SOUPS 275853 WITH SCORE 276220.922
AT ITER 1777 NEW BEST:: SOT 1157473 SOS 367942 HAS SOPS 367942 HAS SOUS 275833 HAS SOUPS 275833 WITH SCORE 276200.942
AT ITER 1786 NEW BEST:: SOT 1157473 SOS 367808 HAS SOPS 367808 HAS SOUS 275831 HAS SOUPS 275831 WITH SCORE 276198.808
AT ITER 1794 NEW BEST:: SOT 1157446 SOS 368047 HAS SOPS 368047 HAS SOUS 275808 HAS SOUPS 275808 WITH SCORE 276176.047
AT ITER 1799 NEW BEST:: SOT 1157433 SOS 368008 HAS SOPS 368008 HAS SOUS 275782 HAS SOUPS 275782 WITH SCORE 276150.008
AT ITER 1805 NEW BEST:: SOT 1157433 SOS 367921 HAS SOPS 367921 HAS SOUS 275782 HAS SOUPS 275782 WITH SCORE 276149.921
AT ITER 1808 NEW BEST:: SOT 1157373 SOS 367827 HAS SOPS 367827 HAS SOUS 275707 HAS SOUPS 275707 WITH SCORE 276074.827
AT ITER 1861 NEW BEST:: SOT 1157431 SOS 367825 HAS SOPS 367825 HAS SOUS 275705 HAS SOUPS 275705 WITH SCORE 276072.825
AT ITER 1865 NEW BEST:: SOT 1157431 SOS 367824 HAS SOPS 367824 HAS SOUS 275704 HAS SOUPS 275704 WITH SCORE 276071.824
AT ITER 1898 NEW BEST:: SOT 1157234 SOS 367430 HAS SOPS 367430 HAS SOUS 274847 HAS SOUPS 274847 WITH SCORE 275214.43
AT ITER 1899 NEW BEST:: SOT 1157319 SOS 367119 HAS SOPS 367119 HAS SOUS 274830 HAS SOUPS 274830 WITH SCORE 275197.119
AT ITER 1900 NEW BEST:: SOT 1157287 SOS 367123 HAS SOPS 367123 HAS SOUS 274386 HAS SOUPS 274386 WITH SCORE 274753.123
AT ITER 1910 NEW BEST:: SOT 1157287 SOS 367034 HAS SOPS 367034 HAS SOUS 274386 HAS SOUPS 274386 WITH SCORE 274753.034
AT ITER 1916 NEW BEST:: SOT 1157545 SOS 366307 HAS SOPS 366307 HAS SOUS 274082 HAS SOUPS 274082 WITH SCORE 274448.307
AT ITER 1925 NEW BEST:: SOT 1157175 SOS 366304 HAS SOPS 366304 HAS SOUS 273551 HAS SOUPS 273551 WITH SCORE 273917.304
AT ITER 1927 NEW BEST:: SOT 1157068 SOS 366090 HAS SOPS 366090 HAS SOUS 273337 HAS SOUPS 273337 WITH SCORE 273703.09
AT ITER 1938 NEW BEST:: SOT 1156966 SOS 366366 HAS SOPS 366366 HAS SOUS 273133 HAS SOUPS 273133 WITH SCORE 273499.366
AT ITER 1985 NEW BEST:: SOT 1156966 SOS 365870 HAS SOPS 365870 HAS SOUS 272637 HAS SOUPS 272637 WITH SCORE 273002.87
AT ITER 1998 NEW BEST:: SOT 1156915 SOS 365501 HAS SOPS 365501 HAS SOUS 272372 HAS SOUPS 272372 WITH SCORE 272737.501
AT ITER 2005 NEW BEST:: SOT 1156728 SOS 365350 HAS SOPS 365350 HAS SOUS 272221 HAS SOUPS 272221 WITH SCORE 272586.35
AT ITER 2007 NEW BEST:: SOT 1156728 SOS 365665 HAS SOPS 365665 HAS SOUS 272193 HAS SOUPS 272193 WITH SCORE 272558.665
AT ITER 2015 NEW BEST:: SOT 1156566 SOS 365341 HAS SOPS 365341 HAS SOUS 271869 HAS SOUPS 271869 WITH SCORE 272234.341
AT ITER 2025 NEW BEST:: SOT 1156538 SOS 365369 HAS SOPS 365369 HAS SOUS 271841 HAS SOUPS 271841 WITH SCORE 272206.369
AT ITER 2038 NEW BEST:: SOT 1156515 SOS 365300 HAS SOPS 365300 HAS SOUS 271795 HAS SOUPS 271795 WITH SCORE 272160.3
AT ITER 2043 NEW BEST:: SOT 1156515 SOS 365398 HAS SOPS 365398 HAS SOUS 271599 HAS SOUPS 271599 WITH SCORE 271964.398
AT ITER 2074 NEW BEST:: SOT 1156481 SOS 364871 HAS SOPS 364871 HAS SOUS 271565 HAS SOUPS 271565 WITH SCORE 271929.871
AT ITER 2078 NEW BEST:: SOT 1156343 SOS 364735 HAS SOPS 364735 HAS SOUS 271552 HAS SOUPS 271552 WITH SCORE 271916.735
AT ITER 2088 NEW BEST:: SOT 1156312 SOS 364718 HAS SOPS 364718 HAS SOUS 271535 HAS SOUPS 271535 WITH SCORE 271899.718
AT ITER 2102 NEW BEST:: SOT 1156282 SOS 364658 HAS SOPS 364658 HAS SOUS 271473 HAS SOUPS 271473 WITH SCORE 271837.658
AT ITER 2103 NEW BEST:: SOT 1156258 SOS 364462 HAS SOPS 364462 HAS SOUS 271444 HAS SOUPS 271444 WITH SCORE 271808.462
AT ITER 2120 NEW BEST:: SOT 1156258 SOS 364461 HAS SOPS 364461 HAS SOUS 271443 HAS SOUPS 271443 WITH SCORE 271807.461
AT ITER 2122 NEW BEST:: SOT 1155862 SOS 363844 HAS SOPS 363844 HAS SOUS 271093 HAS SOUPS 271093 WITH SCORE 271456.844
AT ITER 2124 NEW BEST:: SOT 1155596 SOS 363322 HAS SOPS 363322 HAS SOUS 270571 HAS SOUPS 270571 WITH SCORE 270934.322
AT ITER 2137 NEW BEST:: SOT 1155396 SOS 363096 HAS SOPS 363096 HAS SOUS 270371 HAS SOUPS 270371 WITH SCORE 270734.096
AT ITER 2140 NEW BEST:: SOT 1155317 SOS 362936 HAS SOPS 362936 HAS SOUS 270211 HAS SOUPS 270211 WITH SCORE 270573.936
AT ITER 2170 NEW BEST:: SOT 1155288 SOS 362878 HAS SOPS 362878 HAS SOUS 270153 HAS SOUPS 270153 WITH SCORE 270515.878
AT ITER 2193 NEW BEST:: SOT 1155241 SOS 362600 HAS SOPS 362600 HAS SOUS 269731 HAS SOUPS 269731 WITH SCORE 270093.6
AT ITER 2215 NEW BEST:: SOT 1155113 SOS 361859 HAS SOPS 361859 HAS SOUS 269309 HAS SOUPS 269309 WITH SCORE 269670.859
AT ITER 2221 NEW BEST:: SOT 1155113 SOS 361587 HAS SOPS 361587 HAS SOUS 269291 HAS SOUPS 269291 WITH SCORE 269652.587
AT ITER 2223 NEW BEST:: SOT 1155068 SOS 361460 HAS SOPS 361460 HAS SOUS 269272 HAS SOUPS 269272 WITH SCORE 269633.46
AT ITER 2228 NEW BEST:: SOT 1155041 SOS 361211 HAS SOPS 361211 HAS SOUS 269197 HAS SOUPS 269197 WITH SCORE 269558.211
AT ITER 2231 NEW BEST:: SOT 1155032 SOS 361051 HAS SOPS 361051 HAS SOUS 269119 HAS SOUPS 269119 WITH SCORE 269480.051
AT ITER 2257 NEW BEST:: SOT 1154969 SOS 361333 HAS SOPS 361333 HAS SOUS 269044 HAS SOUPS 269044 WITH SCORE 269405.333
AT ITER 2262 NEW BEST:: SOT 1154884 SOS 361125 HAS SOPS 361125 HAS SOUS 268836 HAS SOUPS 268836 WITH SCORE 269197.125
AT ITER 2301 NEW BEST:: SOT 1154867 SOS 361108 HAS SOPS 361108 HAS SOUS 268812 HAS SOUPS 268812 WITH SCORE 269173.108
AT ITER 2309 NEW BEST:: SOT 1154866 SOS 361106 HAS SOPS 361106 HAS SOUS 268810 HAS SOUPS 268810 WITH SCORE 269171.106
AT ITER 2313 NEW BEST:: SOT 1154866 SOS 361105 HAS SOPS 361105 HAS SOUS 268809 HAS SOUPS 268809 WITH SCORE 269170.105
AT ITER 2358 NEW BEST:: SOT 1154800 SOS 361024 HAS SOPS 361024 HAS SOUS 268728 HAS SOUPS 268728 WITH SCORE 269089.024
AT ITER 2371 NEW BEST:: SOT 1154800 SOS 361024 HAS SOPS 361024 HAS SOUS 268380 HAS SOUPS 268380 WITH SCORE 268741.024
AT ITER 2372 NEW BEST:: SOT 1154579 SOS 360582 HAS SOPS 360582 HAS SOUS 267934 HAS SOUPS 267934 WITH SCORE 268294.582
AT ITER 2375 NEW BEST:: SOT 1154579 SOS 360548 HAS SOPS 360548 HAS SOUS 267934 HAS SOUPS 267934 WITH SCORE 268294.548
AT ITER 2392 NEW BEST:: SOT 1154821 SOS 360413 HAS SOPS 360413 HAS SOUS 267915 HAS SOUPS 267915 WITH SCORE 268275.413
AT ITER 2421 NEW BEST:: SOT 1156893 SOS 362246 HAS SOPS 362246 HAS SOUS 267379 HAS SOUPS 267379 WITH SCORE 267741.246
AT ITER 2429 NEW BEST:: SOT 1157134 SOS 362330 HAS SOPS 362330 HAS SOUS 267344 HAS SOUPS 267344 WITH SCORE 267706.33
AT ITER 2446 NEW BEST:: SOT 1157051 SOS 362164 HAS SOPS 362164 HAS SOUS 267246 HAS SOUPS 267246 WITH SCORE 267608.164
AT ITER 2448 NEW BEST:: SOT 1155619 SOS 360742 HAS SOPS 360742 HAS SOUS 265824 HAS SOUPS 265824 WITH SCORE 266184.742
AT ITER 2449 NEW BEST:: SOT 1155619 SOS 360693 HAS SOPS 360693 HAS SOUS 265775 HAS SOUPS 265775 WITH SCORE 266135.693
AT ITER 2471 NEW BEST:: SOT 1154979 SOS 360426 HAS SOPS 360426 HAS SOUS 265339 HAS SOUPS 265339 WITH SCORE 265699.426
AT ITER 2472 NEW BEST:: SOT 1154939 SOS 360329 HAS SOPS 360329 HAS SOUS 265298 HAS SOUPS 265298 WITH SCORE 265658.329
AT ITER 2475 NEW BEST:: SOT 1154894 SOS 360201 HAS SOPS 360201 HAS SOUS 265170 HAS SOUPS 265170 WITH SCORE 265530.201
AT ITER 2490 NEW BEST:: SOT 1154724 SOS 359742 HAS SOPS 359742 HAS SOUS 264829 HAS SOUPS 264829 WITH SCORE 265188.742
AT ITER 2503 NEW BEST:: SOT 1154028 SOS 359713 HAS SOPS 359713 HAS SOUS 264093 HAS SOUPS 264093 WITH SCORE 264452.713
AT ITER 2508 NEW BEST:: SOT 1153978 SOS 359663 HAS SOPS 359663 HAS SOUS 263993 HAS SOUPS 263993 WITH SCORE 264352.663
AT ITER 2509 NEW BEST:: SOT 1153951 SOS 359508 HAS SOPS 359508 HAS SOUS 263932 HAS SOUPS 263932 WITH SCORE 264291.508
AT ITER 2523 NEW BEST:: SOT 1157438 SOS 363014 HAS SOPS 363014 HAS SOUS 263222 HAS SOUPS 263222 WITH SCORE 263585.014
AT ITER 2524 NEW BEST:: SOT 1157574 SOS 362878 HAS SOPS 362878 HAS SOUS 261416 HAS SOUPS 261416 WITH SCORE 261778.878
AT ITER 2527 NEW BEST:: SOT 1157528 SOS 362826 HAS SOPS 362826 HAS SOUS 261329 HAS SOUPS 261329 WITH SCORE 261691.826
AT ITER 2533 NEW BEST:: SOT 1157449 SOS 362706 HAS SOPS 362706 HAS SOUS 261209 HAS SOUPS 261209 WITH SCORE 261571.706
AT ITER 2541 NEW BEST:: SOT 1157442 SOS 362699 HAS SOPS 362699 HAS SOUS 261202 HAS SOUPS 261202 WITH SCORE 261564.699
AT ITER 2554 NEW BEST:: SOT 1157270 SOS 362356 HAS SOPS 362356 HAS SOUS 260856 HAS SOUPS 260856 WITH SCORE 261218.356
AT ITER 2563 NEW BEST:: SOT 1156002 SOS 365023 HAS SOPS 365023 HAS SOUS 260438 HAS SOUPS 260438 WITH SCORE 260803.023
AT ITER 2573 NEW BEST:: SOT 1156002 SOS 364534 HAS SOPS 364534 HAS SOUS 260438 HAS SOUPS 260438 WITH SCORE 260802.534
AT ITER 2578 NEW BEST:: SOT 1155990 SOS 364516 HAS SOPS 364516 HAS SOUS 260426 HAS SOUPS 260426 WITH SCORE 260790.516
AT ITER 2593 NEW BEST:: SOT 1155977 SOS 364433 HAS SOPS 364433 HAS SOUS 260411 HAS SOUPS 260411 WITH SCORE 260775.433
AT ITER 2595 NEW BEST:: SOT 1155950 SOS 364406 HAS SOPS 364406 HAS SOUS 260384 HAS SOUPS 260384 WITH SCORE 260748.406
AT ITER 2600 NEW BEST:: SOT 1155943 SOS 364143 HAS SOPS 364143 HAS SOUS 260218 HAS SOUPS 260218 WITH SCORE 260582.143
AT ITER 2602 NEW BEST:: SOT 1156006 SOS 364128 HAS SOPS 364128 HAS SOUS 260156 HAS SOUPS 260156 WITH SCORE 260520.128
AT ITER 2608 NEW BEST:: SOT 1155982 SOS 364122 HAS SOPS 364122 HAS SOUS 260149 HAS SOUPS 260149 WITH SCORE 260513.122
AT ITER 2627 NEW BEST:: SOT 1156169 SOS 364311 HAS SOPS 364311 HAS SOUS 258962 HAS SOUPS 258962 WITH SCORE 259326.311
AT ITER 2635 NEW BEST:: SOT 1156115 SOS 364411 HAS SOPS 364411 HAS SOUS 258906 HAS SOUPS 258906 WITH SCORE 259270.411
AT ITER 2681 NEW BEST:: SOT 1156060 SOS 364355 HAS SOPS 364355 HAS SOUS 258850 HAS SOUPS 258850 WITH SCORE 259214.355
AT ITER 2696 NEW BEST:: SOT 1155997 SOS 364292 HAS SOPS 364292 HAS SOUS 258786 HAS SOUPS 258786 WITH SCORE 259150.292
AT ITER 2701 NEW BEST:: SOT 1156665 SOS 365202 HAS SOPS 365202 HAS SOUS 258637 HAS SOUPS 258637 WITH SCORE 259002.202
AT ITER 2712 NEW BEST:: SOT 1156661 SOS 365198 HAS SOPS 365198 HAS SOUS 258629 HAS SOUPS 258629 WITH SCORE 258994.198
AT ITER 2713 NEW BEST:: SOT 1156642 SOS 365179 HAS SOPS 365179 HAS SOUS 258610 HAS SOUPS 258610 WITH SCORE 258975.179
AT ITER 2721 NEW BEST:: SOT 1156642 SOS 365178 HAS SOPS 365178 HAS SOUS 258609 HAS SOUPS 258609 WITH SCORE 258974.178
AT ITER 2724 NEW BEST:: SOT 1156526 SOS 364831 HAS SOPS 364831 HAS SOUS 258280 HAS SOUPS 258280 WITH SCORE 258644.831
AT ITER 2747 NEW BEST:: SOT 1156526 SOS 364827 HAS SOPS 364827 HAS SOUS 258276 HAS SOUPS 258276 WITH SCORE 258640.827
AT ITER 2758 NEW BEST:: SOT 1156537 SOS 364838 HAS SOPS 364838 HAS SOUS 257780 HAS SOUPS 257780 WITH SCORE 258144.838
AT ITER 2771 NEW BEST:: SOT 1156490 SOS 364793 HAS SOPS 364793 HAS SOUS 257736 HAS SOUPS 257736 WITH SCORE 258100.793
AT ITER 2782 NEW BEST:: SOT 1156445 SOS 364763 HAS SOPS 364763 HAS SOUS 257706 HAS SOUPS 257706 WITH SCORE 258070.763
AT ITER 2795 NEW BEST:: SOT 1156375 SOS 364693 HAS SOPS 364693 HAS SOUS 257458 HAS SOUPS 257458 WITH SCORE 257822.693
AT ITER 2798 NEW BEST:: SOT 1156309 SOS 364627 HAS SOPS 364627 HAS SOUS 257392 HAS SOUPS 257392 WITH SCORE 257756.627
AT ITER 2801 NEW BEST:: SOT 1156239 SOS 364458 HAS SOPS 364458 HAS SOUS 257252 HAS SOUPS 257252 WITH SCORE 257616.458
AT ITER 2818 NEW BEST:: SOT 1155971 SOS 364125 HAS SOPS 364125 HAS SOUS 256758 HAS SOUPS 256758 WITH SCORE 257122.125
AT ITER 2825 NEW BEST:: SOT 1155889 SOS 364101 HAS SOPS 364101 HAS SOUS 256694 HAS SOUPS 256694 WITH SCORE 257058.101
AT ITER 2838 NEW BEST:: SOT 1155842 SOS 363957 HAS SOPS 363957 HAS SOUS 256550 HAS SOUPS 256550 WITH SCORE 256913.957
AT ITER 2863 NEW BEST:: SOT 1155839 SOS 364088 HAS SOPS 364088 HAS SOUS 256544 HAS SOUPS 256544 WITH SCORE 256908.088
AT ITER 2900 NEW BEST:: SOT 1155723 SOS 363856 HAS SOPS 363856 HAS SOUS 256312 HAS SOUPS 256312 WITH SCORE 256675.856
AT ITER 2922 NEW BEST:: SOT 1155774 SOS 363848 HAS SOPS 363848 HAS SOUS 256304 HAS SOUPS 256304 WITH SCORE 256667.848
AT ITER 2939 NEW BEST:: SOT 1155774 SOS 363823 HAS SOPS 363823 HAS SOUS 256279 HAS SOUPS 256279 WITH SCORE 256642.823
AT ITER 2940 NEW BEST:: SOT 1155774 SOS 362324 HAS SOPS 362324 HAS SOUS 256083 HAS SOUPS 256083 WITH SCORE 256445.324
AT ITER 2958 NEW BEST:: SOT 1155774 SOS 361651 HAS SOPS 361651 HAS SOUS 255944 HAS SOUPS 255944 WITH SCORE 256305.651
AT ITER 2964 NEW BEST:: SOT 1155732 SOS 361653 HAS SOPS 361653 HAS SOUS 255902 HAS SOUPS 255902 WITH SCORE 256263.653
AT ITER 2965 NEW BEST:: SOT 1155738 SOS 361500 HAS SOPS 361500 HAS SOUS 255749 HAS SOUPS 255749 WITH SCORE 256110.5
AT ITER 2980 NEW BEST:: SOT 1155707 SOS 361469 HAS SOPS 361469 HAS SOUS 255687 HAS SOUPS 255687 WITH SCORE 256048.469
AT ITER 3012 NEW BEST:: SOT 1155638 SOS 361495 HAS SOPS 361495 HAS SOUS 255436 HAS SOUPS 255436 WITH SCORE 255797.495
AT ITER 3028 NEW BEST:: SOT 1155667 SOS 361733 HAS SOPS 361733 HAS SOUS 255422 HAS SOUPS 255422 WITH SCORE 255783.733
AT ITER 3031 NEW BEST:: SOT 1155613 SOS 361657 HAS SOPS 361657 HAS SOUS 255357 HAS SOUPS 255357 WITH SCORE 255718.657
AT ITER 3034 NEW BEST:: SOT 1155554 SOS 361598 HAS SOPS 361598 HAS SOUS 255298 HAS SOUPS 255298 WITH SCORE 255659.598
AT ITER 3045 NEW BEST:: SOT 1155372 SOS 361213 HAS SOPS 361213 HAS SOUS 255015 HAS SOUPS 255015 WITH SCORE 255376.213
AT ITER 3079 NEW BEST:: SOT 1155205 SOS 361097 HAS SOPS 361097 HAS SOUS 254979 HAS SOUPS 254979 WITH SCORE 255340.097
AT ITER 3096 NEW BEST:: SOT 1155141 SOS 360921 HAS SOPS 360921 HAS SOUS 254915 HAS SOUPS 254915 WITH SCORE 255275.921
AT ITER 3102 NEW BEST:: SOT 1154923 SOS 360748 HAS SOPS 360748 HAS SOUS 254742 HAS SOUPS 254742 WITH SCORE 255102.748
AT ITER 3141 NEW BEST:: SOT 1154878 SOS 360703 HAS SOPS 360703 HAS SOUS 254697 HAS SOUPS 254697 WITH SCORE 255057.703
AT ITER 3148 NEW BEST:: SOT 1157756 SOS 363711 HAS SOPS 363711 HAS SOUS 252755 HAS SOUPS 252755 WITH SCORE 253118.711
AT ITER 3164 NEW BEST:: SOT 1157701 SOS 363707 HAS SOPS 363707 HAS SOUS 252715 HAS SOUPS 252715 WITH SCORE 253078.707
AT ITER 3188 NEW BEST:: SOT 1157488 SOS 363522 HAS SOPS 363522 HAS SOUS 252474 HAS SOUPS 252474 WITH SCORE 252837.522
AT ITER 3202 NEW BEST:: SOT 1157488 SOS 363121 HAS SOPS 363121 HAS SOUS 252461 HAS SOUPS 252461 WITH SCORE 252824.121
AT ITER 3208 NEW BEST:: SOT 1157752 SOS 363043 HAS SOPS 363043 HAS SOUS 252389 HAS SOUPS 252389 WITH SCORE 252752.043
AT ITER 3215 NEW BEST:: SOT 1157725 SOS 362964 HAS SOPS 362964 HAS SOUS 252367 HAS SOUPS 252367 WITH SCORE 252729.964
AT ITER 3218 NEW BEST:: SOT 1157725 SOS 362782 HAS SOPS 362782 HAS SOUS 252367 HAS SOUPS 252367 WITH SCORE 252729.782
AT ITER 3231 NEW BEST:: SOT 1157454 SOS 362858 HAS SOPS 362858 HAS SOUS 252201 HAS SOUPS 252201 WITH SCORE 252563.858
AT ITER 3241 NEW BEST:: SOT 1157454 SOS 362606 HAS SOPS 362606 HAS SOUS 252117 HAS SOUPS 252117 WITH SCORE 252479.606
AT ITER 3248 NEW BEST:: SOT 1157375 SOS 362526 HAS SOPS 362526 HAS SOUS 252037 HAS SOUPS 252037 WITH SCORE 252399.526
AT ITER 3252 NEW BEST:: SOT 1157375 SOS 362512 HAS SOPS 362512 HAS SOUS 252023 HAS SOUPS 252023 WITH SCORE 252385.512
AT ITER 3280 NEW BEST:: SOT 1157355 SOS 362308 HAS SOPS 362308 HAS SOUS 251818 HAS SOUPS 251818 WITH SCORE 252180.308
AT ITER 3289 NEW BEST:: SOT 1157069 SOS 361736 HAS SOPS 361736 HAS SOUS 251246 HAS SOUPS 251246 WITH SCORE 251607.736
AT ITER 3301 NEW BEST:: SOT 1157020 SOS 360940 HAS SOPS 360940 HAS SOUS 250865 HAS SOUPS 250865 WITH SCORE 251225.94
AT ITER 3317 NEW BEST:: SOT 1157026 SOS 360753 HAS SOPS 360753 HAS SOUS 250678 HAS SOUPS 250678 WITH SCORE 251038.753
AT ITER 3335 NEW BEST:: SOT 1157008 SOS 360855 HAS SOPS 360855 HAS SOUS 250642 HAS SOUPS 250642 WITH SCORE 251002.855
AT ITER 3336 NEW BEST:: SOT 1157008 SOS 360725 HAS SOPS 360725 HAS SOUS 250642 HAS SOUPS 250642 WITH SCORE 251002.725
AT ITER 3342 NEW BEST:: SOT 1157001 SOS 361040 HAS SOPS 361040 HAS SOUS 250607 HAS SOUPS 250607 WITH SCORE 250968.04
AT ITER 3350 NEW BEST:: SOT 1157001 SOS 361005 HAS SOPS 361005 HAS SOUS 250572 HAS SOUPS 250572 WITH SCORE 250933.005
AT ITER 3384 NEW BEST:: SOT 1157698 SOS 362009 HAS SOPS 362009 HAS SOUS 249880 HAS SOUPS 249880 WITH SCORE 250242.009
AT ITER 3407 NEW BEST:: SOT 1157610 SOS 361833 HAS SOPS 361833 HAS SOUS 249704 HAS SOUPS 249704 WITH SCORE 250065.833
AT ITER 3413 NEW BEST:: SOT 1157610 SOS 360064 HAS SOPS 360064 HAS SOUS 249704 HAS SOUPS 249704 WITH SCORE 250064.064
AT ITER 3419 NEW BEST:: SOT 1157609 SOS 359883 HAS SOPS 359883 HAS SOUS 249658 HAS SOUPS 249658 WITH SCORE 250017.883
AT ITER 3426 NEW BEST:: SOT 1157609 SOS 359873 HAS SOPS 359873 HAS SOUS 249653 HAS SOUPS 249653 WITH SCORE 250012.873
AT ITER 3456 NEW BEST:: SOT 1157563 SOS 359870 HAS SOPS 359870 HAS SOUS 249650 HAS SOUPS 249650 WITH SCORE 250009.87
AT ITER 3472 NEW BEST:: SOT 1157477 SOS 359741 HAS SOPS 359741 HAS SOUS 249392 HAS SOUPS 249392 WITH SCORE 249751.741
AT ITER 3481 NEW BEST:: SOT 1157477 SOS 359682 HAS SOPS 359682 HAS SOUS 249333 HAS SOUPS 249333 WITH SCORE 249692.682
AT ITER 3482 NEW BEST:: SOT 1157468 SOS 359664 HAS SOPS 359664 HAS SOUS 249315 HAS SOUPS 249315 WITH SCORE 249674.664
AT ITER 3499 NEW BEST:: SOT 1157384 SOS 359516 HAS SOPS 359516 HAS SOUS 249167 HAS SOUPS 249167 WITH SCORE 249526.516
AT ITER 3526 NEW BEST:: SOT 1157313 SOS 359562 HAS SOPS 359562 HAS SOUS 249010 HAS SOUPS 249010 WITH SCORE 249369.562
AT ITER 3546 NEW BEST:: SOT 1157265 SOS 359423 HAS SOPS 359423 HAS SOUS 248871 HAS SOUPS 248871 WITH SCORE 249230.423
AT ITER 3550 NEW BEST:: SOT 1157321 SOS 359433 HAS SOPS 359433 HAS SOUS 248863 HAS SOUPS 248863 WITH SCORE 249222.433
AT ITER 3592 NEW BEST:: SOT 1157209 SOS 359304 HAS SOPS 359304 HAS SOUS 248742 HAS SOUPS 248742 WITH SCORE 249101.304
AT ITER 3597 NEW BEST:: SOT 1157189 SOS 357034 HAS SOPS 357034 HAS SOUS 248544 HAS SOUPS 248544 WITH SCORE 248901.034
AT ITER 3606 NEW BEST:: SOT 1157189 SOS 357009 HAS SOPS 357009 HAS SOUS 248470 HAS SOUPS 248470 WITH SCORE 248827.009
AT ITER 3620 NEW BEST:: SOT 1157268 SOS 358341 HAS SOPS 358341 HAS SOUS 247663 HAS SOUPS 247663 WITH SCORE 248021.341
AT ITER 3624 NEW BEST:: SOT 1157267 SOS 357771 HAS SOPS 357771 HAS SOUS 247590 HAS SOUPS 247590 WITH SCORE 247947.771
AT ITER 3633 NEW BEST:: SOT 1157218 SOS 357732 HAS SOPS 357732 HAS SOUS 247551 HAS SOUPS 247551 WITH SCORE 247908.732
AT ITER 3646 NEW BEST:: SOT 1157196 SOS 357688 HAS SOPS 357688 HAS SOUS 247529 HAS SOUPS 247529 WITH SCORE 247886.688
AT ITER 3650 NEW BEST:: SOT 1157117 SOS 357542 HAS SOPS 357542 HAS SOUS 247462 HAS SOUPS 247462 WITH SCORE 247819.542
AT ITER 3662 NEW BEST:: SOT 1157009 SOS 357875 HAS SOPS 357875 HAS SOUS 247363 HAS SOUPS 247363 WITH SCORE 247720.875
AT ITER 3666 NEW BEST:: SOT 1157009 SOS 357773 HAS SOPS 357773 HAS SOUS 247261 HAS SOUPS 247261 WITH SCORE 247618.773
AT ITER 3667 NEW BEST:: SOT 1156903 SOS 357579 HAS SOPS 357579 HAS SOUS 246989 HAS SOUPS 246989 WITH SCORE 247346.579
AT ITER 3671 NEW BEST:: SOT 1156895 SOS 357563 HAS SOPS 357563 HAS SOUS 246973 HAS SOUPS 246973 WITH SCORE 247330.563
AT ITER 3710 NEW BEST:: SOT 1156891 SOS 357555 HAS SOPS 357555 HAS SOUS 246965 HAS SOUPS 246965 WITH SCORE 247322.555
AT ITER 3750 NEW BEST:: SOT 1156891 SOS 357544 HAS SOPS 357544 HAS SOUS 246954 HAS SOUPS 246954 WITH SCORE 247311.544
AT ITER 3785 NEW BEST:: SOT 1156891 SOS 358032 HAS SOPS 358032 HAS SOUS 246916 HAS SOUPS 246916 WITH SCORE 247274.032
AT ITER 3814 NEW BEST:: SOT 1156762 SOS 357500 HAS SOPS 357500 HAS SOUS 246757 HAS SOUPS 246757 WITH SCORE 247114.5
AT ITER 3843 NEW BEST:: SOT 1156762 SOS 357422 HAS SOPS 357422 HAS SOUS 246679 HAS SOUPS 246679 WITH SCORE 247036.422
AT ITER 3854 NEW BEST:: SOT 1156736 SOS 357383 HAS SOPS 357383 HAS SOUS 246652 HAS SOUPS 246652 WITH SCORE 247009.383
AT ITER 3866 NEW BEST:: SOT 1156853 SOS 356185 HAS SOPS 356185 HAS SOUS 246632 HAS SOUPS 246632 WITH SCORE 246988.185
AT ITER 3883 NEW BEST:: SOT 1156633 SOS 355873 HAS SOPS 355873 HAS SOUS 246320 HAS SOUPS 246320 WITH SCORE 246675.873
AT ITER 3925 NEW BEST:: SOT 1154640 SOS 353696 HAS SOPS 353696 HAS SOUS 245680 HAS SOUPS 245680 WITH SCORE 246033.696
AT ITER 3933 NEW BEST:: SOT 1154498 SOS 353526 HAS SOPS 353526 HAS SOUS 245510 HAS SOUPS 245510 WITH SCORE 245863.526
AT ITER 3939 NEW BEST:: SOT 1154471 SOS 353499 HAS SOPS 353499 HAS SOUS 245495 HAS SOUPS 245495 WITH SCORE 245848.499
AT ITER 3972 NEW BEST:: SOT 1154458 SOS 352422 HAS SOPS 352422 HAS SOUS 245349 HAS SOUPS 245349 WITH SCORE 245701.422
AT ITER 3980 NEW BEST:: SOT 1154458 SOS 352418 HAS SOPS 352418 HAS SOUS 245345 HAS SOUPS 245345 WITH SCORE 245697.418
AT ITER 3984 NEW BEST:: SOT 1154179 SOS 352139 HAS SOPS 352139 HAS SOUS 245066 HAS SOUPS 245066 WITH SCORE 245418.139
AT ITER 4012 NEW BEST:: SOT 1154179 SOS 352125 HAS SOPS 352125 HAS SOUS 245052 HAS SOUPS 245052 WITH SCORE 245404.125
AT ITER 4034 NEW BEST:: SOT 1154173 SOS 352110 HAS SOPS 352110 HAS SOUS 245037 HAS SOUPS 245037 WITH SCORE 245389.11
AT ITER 4037 NEW BEST:: SOT 1154173 SOS 351993 HAS SOPS 351993 HAS SOUS 244920 HAS SOUPS 244920 WITH SCORE 245271.993
AT ITER 4060 NEW BEST:: SOT 1154164 SOS 351975 HAS SOPS 351975 HAS SOUS 244902 HAS SOUPS 244902 WITH SCORE 245253.975
AT ITER 4127 NEW BEST:: SOT 1154163 SOS 351973 HAS SOPS 351973 HAS SOUS 244900 HAS SOUPS 244900 WITH SCORE 245251.973
AT ITER 4129 NEW BEST:: SOT 1153606 SOS 351331 HAS SOPS 351331 HAS SOUS 244258 HAS SOUPS 244258 WITH SCORE 244609.331
AT ITER 4141 NEW BEST:: SOT 1153606 SOS 351311 HAS SOPS 351311 HAS SOUS 244258 HAS SOUPS 244258 WITH SCORE 244609.311
AT ITER 4178 NEW BEST:: SOT 1153412 SOS 351175 HAS SOPS 351175 HAS SOUS 244064 HAS SOUPS 244064 WITH SCORE 244415.175
AT ITER 4199 NEW BEST:: SOT 1153412 SOS 351099 HAS SOPS 351099 HAS SOUS 244064 HAS SOUPS 244064 WITH SCORE 244415.099
AT ITER 4204 NEW BEST:: SOT 1153412 SOS 351044 HAS SOPS 351044 HAS SOUS 244009 HAS SOUPS 244009 WITH SCORE 244360.044
AT ITER 4222 NEW BEST:: SOT 1153391 SOS 351044 HAS SOPS 351044 HAS SOUS 243988 HAS SOUPS 243988 WITH SCORE 244339.044
AT ITER 4224 NEW BEST:: SOT 1153410 SOS 351305 HAS SOPS 351305 HAS SOUS 243934 HAS SOUPS 243934 WITH SCORE 244285.305
AT ITER 4242 NEW BEST:: SOT 1153099 SOS 350737 HAS SOPS 350737 HAS SOUS 243336 HAS SOUPS 243336 WITH SCORE 243686.737
AT ITER 4261 NEW BEST:: SOT 1153075 SOS 350676 HAS SOPS 350676 HAS SOUS 243288 HAS SOUPS 243288 WITH SCORE 243638.676
AT ITER 4280 NEW BEST:: SOT 1152916 SOS 350570 HAS SOPS 350570 HAS SOUS 243182 HAS SOUPS 243182 WITH SCORE 243532.57
AT ITER 4283 NEW BEST:: SOT 1152916 SOS 350520 HAS SOPS 350520 HAS SOUS 243157 HAS SOUPS 243157 WITH SCORE 243507.52
AT ITER 4289 NEW BEST:: SOT 1152674 SOS 350580 HAS SOPS 350580 HAS SOUS 243080 HAS SOUPS 243080 WITH SCORE 243430.58
AT ITER 4295 NEW BEST:: SOT 1152660 SOS 351372 HAS SOPS 351372 HAS SOUS 242794 HAS SOUPS 242794 WITH SCORE 243145.372
AT ITER 4314 NEW BEST:: SOT 1152660 SOS 351283 HAS SOPS 351283 HAS SOUS 242705 HAS SOUPS 242705 WITH SCORE 243056.283
AT ITER 4324 NEW BEST:: SOT 1152638 SOS 351257 HAS SOPS 351257 HAS SOUS 242533 HAS SOUPS 242533 WITH SCORE 242884.257
AT ITER 4332 NEW BEST:: SOT 1152601 SOS 351156 HAS SOPS 351156 HAS SOUS 242432 HAS SOUPS 242432 WITH SCORE 242783.156
AT ITER 4340 NEW BEST:: SOT 1152510 SOS 350974 HAS SOPS 350974 HAS SOUS 242287 HAS SOUPS 242287 WITH SCORE 242637.974
AT ITER 4346 NEW BEST:: SOT 1152501 SOS 350956 HAS SOPS 350956 HAS SOUS 242269 HAS SOUPS 242269 WITH SCORE 242619.956
AT ITER 4356 NEW BEST:: SOT 1152289 SOS 350550 HAS SOPS 350550 HAS SOUS 241845 HAS SOUPS 241845 WITH SCORE 242195.55
AT ITER 4363 NEW BEST:: SOT 1151078 SOS 351240 HAS SOPS 351240 HAS SOUS 241778 HAS SOUPS 241778 WITH SCORE 242129.24
AT ITER 4377 NEW BEST:: SOT 1152294 SOS 352756 HAS SOPS 352756 HAS SOUS 241591 HAS SOUPS 241591 WITH SCORE 241943.756
AT ITER 4380 NEW BEST:: SOT 1152274 SOS 352744 HAS SOPS 352744 HAS SOUS 241579 HAS SOUPS 241579 WITH SCORE 241931.744
AT ITER 4386 NEW BEST:: SOT 1152267 SOS 352737 HAS SOPS 352737 HAS SOUS 241565 HAS SOUPS 241565 WITH SCORE 241917.737
AT ITER 4387 NEW BEST:: SOT 1152236 SOS 352687 HAS SOPS 352687 HAS SOUS 241534 HAS SOUPS 241534 WITH SCORE 241886.687
AT ITER 4413 NEW BEST:: SOT 1152236 SOS 352445 HAS SOPS 352445 HAS SOUS 241534 HAS SOUPS 241534 WITH SCORE 241886.445
AT ITER 4427 NEW BEST:: SOT 1152145 SOS 352373 HAS SOPS 352373 HAS SOUS 241456 HAS SOUPS 241456 WITH SCORE 241808.373
AT ITER 4445 NEW BEST:: SOT 1152144 SOS 352372 HAS SOPS 352372 HAS SOUS 241454 HAS SOUPS 241454 WITH SCORE 241806.372
AT ITER 4473 NEW BEST:: SOT 1152011 SOS 352226 HAS SOPS 352226 HAS SOUS 241308 HAS SOUPS 241308 WITH SCORE 241660.226
AT ITER 4484 NEW BEST:: SOT 1151954 SOS 352759 HAS SOPS 352759 HAS SOUS 241192 HAS SOUPS 241192 WITH SCORE 241544.759
AT ITER 4504 NEW BEST:: SOT 1151929 SOS 352574 HAS SOPS 352574 HAS SOUS 241183 HAS SOUPS 241183 WITH SCORE 241535.574
AT ITER 4509 NEW BEST:: SOT 1151929 SOS 352576 HAS SOPS 352576 HAS SOUS 241135 HAS SOUPS 241135 WITH SCORE 241487.576
AT ITER 4517 NEW BEST:: SOT 1151912 SOS 352229 HAS SOPS 352229 HAS SOUS 240981 HAS SOUPS 240981 WITH SCORE 241333.229
AT ITER 4544 NEW BEST:: SOT 1151884 SOS 352172 HAS SOPS 352172 HAS SOUS 240924 HAS SOUPS 240924 WITH SCORE 241276.172
AT ITER 4546 NEW BEST:: SOT 1151864 SOS 352132 HAS SOPS 352132 HAS SOUS 240884 HAS SOUPS 240884 WITH SCORE 241236.132
AT ITER 4565 NEW BEST:: SOT 1151822 SOS 352048 HAS SOPS 352048 HAS SOUS 240800 HAS SOUPS 240800 WITH SCORE 241152.048
AT ITER 4574 NEW BEST:: SOT 1151822 SOS 352026 HAS SOPS 352026 HAS SOUS 240778 HAS SOUPS 240778 WITH SCORE 241130.026
AT ITER 4575 NEW BEST:: SOT 1151848 SOS 351841 HAS SOPS 351841 HAS SOUS 240596 HAS SOUPS 240596 WITH SCORE 240947.841
AT ITER 4576 NEW BEST:: SOT 1151848 SOS 351679 HAS SOPS 351679 HAS SOUS 240593 HAS SOUPS 240593 WITH SCORE 240944.679
AT ITER 4589 NEW BEST:: SOT 1151833 SOS 351751 HAS SOPS 351751 HAS SOUS 240552 HAS SOUPS 240552 WITH SCORE 240903.751
AT ITER 4590 NEW BEST:: SOT 1151520 SOS 351450 HAS SOPS 351450 HAS SOUS 240150 HAS SOUPS 240150 WITH SCORE 240501.45
AT ITER 4623 NEW BEST:: SOT 1151481 SOS 351411 HAS SOPS 351411 HAS SOUS 240111 HAS SOUPS 240111 WITH SCORE 240462.411
AT ITER 4630 NEW BEST:: SOT 1151398 SOS 351328 HAS SOPS 351328 HAS SOUS 239945 HAS SOUPS 239945 WITH SCORE 240296.328
AT ITER 4660 NEW BEST:: SOT 1151377 SOS 351275 HAS SOPS 351275 HAS SOUS 239920 HAS SOUPS 239920 WITH SCORE 240271.275
AT ITER 4663 NEW BEST:: SOT 1151386 SOS 351197 HAS SOPS 351197 HAS SOUS 239902 HAS SOUPS 239902 WITH SCORE 240253.197
AT ITER 4685 NEW BEST:: SOT 1151388 SOS 351201 HAS SOPS 351201 HAS SOUS 239825 HAS SOUPS 239825 WITH SCORE 240176.201
AT ITER 4746 NEW BEST:: SOT 1151388 SOS 351606 HAS SOPS 351606 HAS SOUS 239251 HAS SOUPS 239251 WITH SCORE 239602.606
AT ITER 4762 NEW BEST:: SOT 1151372 SOS 351574 HAS SOPS 351574 HAS SOUS 239219 HAS SOUPS 239219 WITH SCORE 239570.574
AT ITER 4780 NEW BEST:: SOT 1151372 SOS 351514 HAS SOPS 351514 HAS SOUS 239159 HAS SOUPS 239159 WITH SCORE 239510.514
AT ITER 4820 NEW BEST:: SOT 1151334 SOS 351172 HAS SOPS 351172 HAS SOUS 239083 HAS SOUPS 239083 WITH SCORE 239434.172
AT ITER 4842 NEW BEST:: SOT 1151292 SOS 351187 HAS SOPS 351187 HAS SOUS 239009 HAS SOUPS 239009 WITH SCORE 239360.187
AT ITER 4850 NEW BEST:: SOT 1151288 SOS 351179 HAS SOPS 351179 HAS SOUS 239002 HAS SOUPS 239002 WITH SCORE 239353.179
AT ITER 4897 NEW BEST:: SOT 1151279 SOS 351146 HAS SOPS 351146 HAS SOUS 238968 HAS SOUPS 238968 WITH SCORE 239319.146
AT ITER 4903 NEW BEST:: SOT 1151183 SOS 351068 HAS SOPS 351068 HAS SOUS 238890 HAS SOUPS 238890 WITH SCORE 239241.068
AT ITER 4904 NEW BEST:: SOT 1151224 SOS 351150 HAS SOPS 351150 HAS SOUS 238708 HAS SOUPS 238708 WITH SCORE 239059.15
AT ITER 4918 NEW BEST:: SOT 1148992 SOS 348749 HAS SOPS 348749 HAS SOUS 237187 HAS SOUPS 237187 WITH SCORE 237535.749
AT ITER 4925 NEW BEST:: SOT 1148003 SOS 347760 HAS SOPS 347760 HAS SOUS 236198 HAS SOUPS 236198 WITH SCORE 236545.76
AT ITER 4927 NEW BEST:: SOT 1147986 SOS 347726 HAS SOPS 347726 HAS SOUS 236181 HAS SOUPS 236181 WITH SCORE 236528.726
AT ITER 4939 NEW BEST:: SOT 1147986 SOS 347700 HAS SOPS 347700 HAS SOUS 236155 HAS SOUPS 236155 WITH SCORE 236502.7
AT ITER 4973 NEW BEST:: SOT 1147987 SOS 347319 HAS SOPS 347319 HAS SOUS 233360 HAS SOUPS 233360 WITH SCORE 233707.319
AT ITER 4981 NEW BEST:: SOT 1147732 SOS 347122 HAS SOPS 347122 HAS SOUS 233049 HAS SOUPS 233049 WITH SCORE 233396.122
AT ITER 5021 NEW BEST:: SOT 1147571 SOS 346961 HAS SOPS 346961 HAS SOUS 233049 HAS SOUPS 233049 WITH SCORE 233395.961
AT ITER 5042 NEW BEST:: SOT 1147213 SOS 346821 HAS SOPS 346821 HAS SOUS 232682 HAS SOUPS 232682 WITH SCORE 233028.821
AT ITER 5061 NEW BEST:: SOT 1147213 SOS 346883 HAS SOPS 346883 HAS SOUS 232667 HAS SOUPS 232667 WITH SCORE 233013.883
AT ITER 5085 NEW BEST:: SOT 1147213 SOS 346773 HAS SOPS 346773 HAS SOUS 232667 HAS SOUPS 232667 WITH SCORE 233013.773
AT ITER 5133 NEW BEST:: SOT 1147059 SOS 346616 HAS SOPS 346616 HAS SOUS 231281 HAS SOUPS 231281 WITH SCORE 231627.616
AT ITER 5134 NEW BEST:: SOT 1146996 SOS 346456 HAS SOPS 346456 HAS SOUS 231155 HAS SOUPS 231155 WITH SCORE 231501.456
AT ITER 5175 NEW BEST:: SOT 1146825 SOS 346114 HAS SOPS 346114 HAS SOUS 230813 HAS SOUPS 230813 WITH SCORE 231159.114
AT ITER 5180 NEW BEST:: SOT 1146774 SOS 346115 HAS SOPS 346115 HAS SOUS 230711 HAS SOUPS 230711 WITH SCORE 231057.115
AT ITER 5202 NEW BEST:: SOT 1146540 SOS 345449 HAS SOPS 345449 HAS SOUS 230038 HAS SOUPS 230038 WITH SCORE 230383.449
AT ITER 5207 NEW BEST:: SOT 1146533 SOS 345442 HAS SOPS 345442 HAS SOUS 230031 HAS SOUPS 230031 WITH SCORE 230376.442
AT ITER 5211 NEW BEST:: SOT 1146514 SOS 345423 HAS SOPS 345423 HAS SOUS 229960 HAS SOUPS 229960 WITH SCORE 230305.423
AT ITER 5218 NEW BEST:: SOT 1146420 SOS 345319 HAS SOPS 345319 HAS SOUS 229856 HAS SOUPS 229856 WITH SCORE 230201.319
AT ITER 5235 NEW BEST:: SOT 1146383 SOS 345245 HAS SOPS 345245 HAS SOUS 229782 HAS SOUPS 229782 WITH SCORE 230127.245
AT ITER 5266 NEW BEST:: SOT 1146383 SOS 345223 HAS SOPS 345223 HAS SOUS 229782 HAS SOUPS 229782 WITH SCORE 230127.223
AT ITER 5272 NEW BEST:: SOT 1146383 SOS 345181 HAS SOPS 345181 HAS SOUS 229761 HAS SOUPS 229761 WITH SCORE 230106.181
AT ITER 5277 NEW BEST:: SOT 1146282 SOS 345041 HAS SOPS 345041 HAS SOUS 229706 HAS SOUPS 229706 WITH SCORE 230051.041
AT ITER 5281 NEW BEST:: SOT 1146281 SOS 345039 HAS SOPS 345039 HAS SOUS 229704 HAS SOUPS 229704 WITH SCORE 230049.039
AT ITER 5313 NEW BEST:: SOT 1146145 SOS 344802 HAS SOPS 344802 HAS SOUS 229661 HAS SOUPS 229661 WITH SCORE 230005.802
AT ITER 5322 NEW BEST:: SOT 1148633 SOS 347526 HAS SOPS 347526 HAS SOUS 227780 HAS SOUPS 227780 WITH SCORE 228127.526
AT ITER 5330 NEW BEST:: SOT 1148617 SOS 347508 HAS SOPS 347508 HAS SOUS 227650 HAS SOUPS 227650 WITH SCORE 227997.508
AT ITER 5343 NEW BEST:: SOT 1148517 SOS 347608 HAS SOPS 347608 HAS SOUS 227550 HAS SOUPS 227550 WITH SCORE 227897.608
AT ITER 5347 NEW BEST:: SOT 1148480 SOS 347619 HAS SOPS 347619 HAS SOUS 226745 HAS SOUPS 226745 WITH SCORE 227092.619
AT ITER 5423 NEW BEST:: SOT 1148458 SOS 347342 HAS SOPS 347342 HAS SOUS 226604 HAS SOUPS 226604 WITH SCORE 226951.342
AT ITER 5429 NEW BEST:: SOT 1148364 SOS 347060 HAS SOPS 347060 HAS SOUS 226416 HAS SOUPS 226416 WITH SCORE 226763.06
AT ITER 5441 NEW BEST:: SOT 1148136 SOS 346108 HAS SOPS 346108 HAS SOUS 225663 HAS SOUPS 225663 WITH SCORE 226009.108
AT ITER 5444 NEW BEST:: SOT 1148136 SOS 346049 HAS SOPS 346049 HAS SOUS 225604 HAS SOUPS 225604 WITH SCORE 225950.049
AT ITER 5458 NEW BEST:: SOT 1148060 SOS 345811 HAS SOPS 345811 HAS SOUS 225452 HAS SOUPS 225452 WITH SCORE 225797.811
AT ITER 5465 NEW BEST:: SOT 1147994 SOS 345573 HAS SOPS 345573 HAS SOUS 225386 HAS SOUPS 225386 WITH SCORE 225731.573
AT ITER 5466 NEW BEST:: SOT 1147716 SOS 345277 HAS SOPS 345277 HAS SOUS 225363 HAS SOUPS 225363 WITH SCORE 225708.277
AT ITER 5468 NEW BEST:: SOT 1145815 SOS 343376 HAS SOPS 343376 HAS SOUS 223462 HAS SOUPS 223462 WITH SCORE 223805.376
AT ITER 5504 NEW BEST:: SOT 1145939 SOS 343308 HAS SOPS 343308 HAS SOUS 223394 HAS SOUPS 223394 WITH SCORE 223737.308
AT ITER 5516 NEW BEST:: SOT 1145871 SOS 343240 HAS SOPS 343240 HAS SOUS 223232 HAS SOUPS 223232 WITH SCORE 223575.24
AT ITER 5518 NEW BEST:: SOT 1145757 SOS 342941 HAS SOPS 342941 HAS SOUS 222933 HAS SOUPS 222933 WITH SCORE 223275.941
AT ITER 5528 NEW BEST:: SOT 1145689 SOS 342730 HAS SOPS 342730 HAS SOUS 222797 HAS SOUPS 222797 WITH SCORE 223139.73
AT ITER 5532 NEW BEST:: SOT 1145662 SOS 342676 HAS SOPS 342676 HAS SOUS 222539 HAS SOUPS 222539 WITH SCORE 222881.676
AT ITER 5535 NEW BEST:: SOT 1145661 SOS 342669 HAS SOPS 342669 HAS SOUS 222538 HAS SOUPS 222538 WITH SCORE 222880.669
AT ITER 5550 NEW BEST:: SOT 1145657 SOS 342661 HAS SOPS 342661 HAS SOUS 222530 HAS SOUPS 222530 WITH SCORE 222872.661
AT ITER 5569 NEW BEST:: SOT 1145618 SOS 342618 HAS SOPS 342618 HAS SOUS 222499 HAS SOUPS 222499 WITH SCORE 222841.618
AT ITER 5576 NEW BEST:: SOT 1145615 SOS 342615 HAS SOPS 342615 HAS SOUS 222493 HAS SOUPS 222493 WITH SCORE 222835.615
AT ITER 5589 NEW BEST:: SOT 1145654 SOS 342576 HAS SOPS 342576 HAS SOUS 222454 HAS SOUPS 222454 WITH SCORE 222796.576
AT ITER 5607 NEW BEST:: SOT 1145654 SOS 342576 HAS SOPS 342576 HAS SOUS 222414 HAS SOUPS 222414 WITH SCORE 222756.576
AT ITER 5609 NEW BEST:: SOT 1145662 SOS 342347 HAS SOPS 342347 HAS SOUS 222185 HAS SOUPS 222185 WITH SCORE 222527.347
AT ITER 5689 NEW BEST:: SOT 1145667 SOS 342244 HAS SOPS 342244 HAS SOUS 222051 HAS SOUPS 222051 WITH SCORE 222393.244
AT ITER 5702 NEW BEST:: SOT 1144452 SOS 341029 HAS SOPS 341029 HAS SOUS 220828 HAS SOUPS 220828 WITH SCORE 221169.029
AT ITER 5705 NEW BEST:: SOT 1144226 SOS 340470 HAS SOPS 340470 HAS SOUS 220495 HAS SOUPS 220495 WITH SCORE 220835.47
AT ITER 5717 NEW BEST:: SOT 1144210 SOS 340370 HAS SOPS 340370 HAS SOUS 220465 HAS SOUPS 220465 WITH SCORE 220805.37
AT ITER 5718 NEW BEST:: SOT 1144191 SOS 340143 HAS SOPS 340143 HAS SOUS 220423 HAS SOUPS 220423 WITH SCORE 220763.143
AT ITER 5721 NEW BEST:: SOT 1144191 SOS 340100 HAS SOPS 340100 HAS SOUS 220380 HAS SOUPS 220380 WITH SCORE 220720.1
AT ITER 5733 NEW BEST:: SOT 1144172 SOS 340043 HAS SOPS 340043 HAS SOUS 220323 HAS SOUPS 220323 WITH SCORE 220663.043
AT ITER 5758 NEW BEST:: SOT 1144172 SOS 339915 HAS SOPS 339915 HAS SOUS 220195 HAS SOUPS 220195 WITH SCORE 220534.915
AT ITER 5777 NEW BEST:: SOT 1141626 SOS 337347 HAS SOPS 337347 HAS SOUS 218187 HAS SOUPS 218187 WITH SCORE 218524.347
AT ITER 5790 NEW BEST:: SOT 1141614 SOS 337357 HAS SOPS 337357 HAS SOUS 218139 HAS SOUPS 218139 WITH SCORE 218476.357
AT ITER 5800 NEW BEST:: SOT 1141545 SOS 337222 HAS SOPS 337222 HAS SOUS 218037 HAS SOUPS 218037 WITH SCORE 218374.222
AT ITER 5805 NEW BEST:: SOT 1141523 SOS 337134 HAS SOPS 337134 HAS SOUS 217971 HAS SOUPS 217971 WITH SCORE 218308.134
AT ITER 5814 NEW BEST:: SOT 1142276 SOS 338132 HAS SOPS 338132 HAS SOUS 217300 HAS SOUPS 217300 WITH SCORE 217638.132
AT ITER 5817 NEW BEST:: SOT 1142223 SOS 338168 HAS SOPS 338168 HAS SOUS 217281 HAS SOUPS 217281 WITH SCORE 217619.168
AT ITER 5876 NEW BEST:: SOT 1142184 SOS 338051 HAS SOPS 338051 HAS SOUS 217164 HAS SOUPS 217164 WITH SCORE 217502.051
AT ITER 5883 NEW BEST:: SOT 1142179 SOS 338010 HAS SOPS 338010 HAS SOUS 217154 HAS SOUPS 217154 WITH SCORE 217492.01
AT ITER 5888 NEW BEST:: SOT 1142179 SOS 337982 HAS SOPS 337982 HAS SOUS 217126 HAS SOUPS 217126 WITH SCORE 217463.982
AT ITER 5899 NEW BEST:: SOT 1142112 SOS 337915 HAS SOPS 337915 HAS SOUS 217059 HAS SOUPS 217059 WITH SCORE 217396.915
AT ITER 5901 NEW BEST:: SOT 1142213 SOS 337863 HAS SOPS 337863 HAS SOUS 217014 HAS SOUPS 217014 WITH SCORE 217351.863
AT ITER 5912 NEW BEST:: SOT 1142204 SOS 337851 HAS SOPS 337851 HAS SOUS 217002 HAS SOUPS 217002 WITH SCORE 217339.851
AT ITER 5925 NEW BEST:: SOT 1142079 SOS 338324 HAS SOPS 338324 HAS SOUS 216984 HAS SOUPS 216984 WITH SCORE 217322.324
AT ITER 5955 NEW BEST:: SOT 1142079 SOS 338106 HAS SOPS 338106 HAS SOUS 216816 HAS SOUPS 216816 WITH SCORE 217154.106
AT ITER 5976 NEW BEST:: SOT 1142021 SOS 337990 HAS SOPS 337990 HAS SOUS 216758 HAS SOUPS 216758 WITH SCORE 217095.99
AT ITER 5979 NEW BEST:: SOT 1142021 SOS 337990 HAS SOPS 337990 HAS SOUS 216751 HAS SOUPS 216751 WITH SCORE 217088.99
AT ITER 5998 NEW BEST:: SOT 1141991 SOS 337956 HAS SOPS 337956 HAS SOUS 216717 HAS SOUPS 216717 WITH SCORE 217054.956
AT ITER 6017 NEW BEST:: SOT 1141866 SOS 337706 HAS SOPS 337706 HAS SOUS 216467 HAS SOUPS 216467 WITH SCORE 216804.706
AT ITER 6023 NEW BEST:: SOT 1141867 SOS 337758 HAS SOPS 337758 HAS SOUS 216336 HAS SOUPS 216336 WITH SCORE 216673.758
AT ITER 6026 NEW BEST:: SOT 1141877 SOS 337768 HAS SOPS 337768 HAS SOUS 216295 HAS SOUPS 216295 WITH SCORE 216632.768
AT ITER 6041 NEW BEST:: SOT 1141936 SOS 337714 HAS SOPS 337714 HAS SOUS 216241 HAS SOUPS 216241 WITH SCORE 216578.714
AT ITER 6059 NEW BEST:: SOT 1141902 SOS 337612 HAS SOPS 337612 HAS SOUS 216105 HAS SOUPS 216105 WITH SCORE 216442.612
AT ITER 6062 NEW BEST:: SOT 1142086 SOS 337737 HAS SOPS 337737 HAS SOUS 215957 HAS SOUPS 215957 WITH SCORE 216294.737
AT ITER 6088 NEW BEST:: SOT 1141992 SOS 337459 HAS SOPS 337459 HAS SOUS 215899 HAS SOUPS 215899 WITH SCORE 216236.459
AT ITER 6104 NEW BEST:: SOT 1141999 SOS 337433 HAS SOPS 337433 HAS SOUS 215873 HAS SOUPS 215873 WITH SCORE 216210.433
AT ITER 6105 NEW BEST:: SOT 1141998 SOS 337406 HAS SOPS 337406 HAS SOUS 214766 HAS SOUPS 214766 WITH SCORE 215103.406
AT ITER 6133 NEW BEST:: SOT 1142013 SOS 337305 HAS SOPS 337305 HAS SOUS 214397 HAS SOUPS 214397 WITH SCORE 214734.305
AT ITER 6142 NEW BEST:: SOT 1141998 SOS 337275 HAS SOPS 337275 HAS SOUS 214352 HAS SOUPS 214352 WITH SCORE 214689.275
AT ITER 6190 NEW BEST:: SOT 1141825 SOS 337087 HAS SOPS 337087 HAS SOUS 214164 HAS SOUPS 214164 WITH SCORE 214501.087
AT ITER 6205 NEW BEST:: SOT 1141814 SOS 337065 HAS SOPS 337065 HAS SOUS 214142 HAS SOUPS 214142 WITH SCORE 214479.065
AT ITER 6206 NEW BEST:: SOT 1141776 SOS 337026 HAS SOPS 337026 HAS SOUS 214103 HAS SOUPS 214103 WITH SCORE 214440.026
AT ITER 6230 NEW BEST:: SOT 1141713 SOS 336963 HAS SOPS 336963 HAS SOUS 214040 HAS SOUPS 214040 WITH SCORE 214376.963
AT ITER 6250 NEW BEST:: SOT 1141660 SOS 336910 HAS SOPS 336910 HAS SOUS 213966 HAS SOUPS 213966 WITH SCORE 214302.91
AT ITER 6251 NEW BEST:: SOT 1141919 SOS 337050 HAS SOPS 337050 HAS SOUS 213956 HAS SOUPS 213956 WITH SCORE 214293.05
AT ITER 6266 NEW BEST:: SOT 1141916 SOS 337046 HAS SOPS 337046 HAS SOUS 213952 HAS SOUPS 213952 WITH SCORE 214289.046
AT ITER 6293 NEW BEST:: SOT 1141913 SOS 337035 HAS SOPS 337035 HAS SOUS 213948 HAS SOUPS 213948 WITH SCORE 214285.035
AT ITER 6294 NEW BEST:: SOT 1141880 SOS 336969 HAS SOPS 336969 HAS SOUS 213882 HAS SOUPS 213882 WITH SCORE 214218.969
AT ITER 6300 NEW BEST:: SOT 1141869 SOS 336704 HAS SOPS 336704 HAS SOUS 213860 HAS SOUPS 213860 WITH SCORE 214196.704
AT ITER 6354 NEW BEST:: SOT 1141844 SOS 336652 HAS SOPS 336652 HAS SOUS 213808 HAS SOUPS 213808 WITH SCORE 214144.652
AT ITER 6371 NEW BEST:: SOT 1141821 SOS 336350 HAS SOPS 336350 HAS SOUS 213763 HAS SOUPS 213763 WITH SCORE 214099.35
AT ITER 6373 NEW BEST:: SOT 1141788 SOS 336284 HAS SOPS 336284 HAS SOUS 213697 HAS SOUPS 213697 WITH SCORE 214033.284
AT ITER 6380 NEW BEST:: SOT 1141788 SOS 336284 HAS SOPS 336284 HAS SOUS 213669 HAS SOUPS 213669 WITH SCORE 214005.284
AT ITER 6387 NEW BEST:: SOT 1141815 SOS 336332 HAS SOPS 336332 HAS SOUS 213607 HAS SOUPS 213607 WITH SCORE 213943.332
AT ITER 6396 NEW BEST:: SOT 1141775 SOS 336252 HAS SOPS 336252 HAS SOUS 213527 HAS SOUPS 213527 WITH SCORE 213863.252
AT ITER 6422 NEW BEST:: SOT 1141771 SOS 336212 HAS SOPS 336212 HAS SOUS 213487 HAS SOUPS 213487 WITH SCORE 213823.212
AT ITER 6433 NEW BEST:: SOT 1141712 SOS 336094 HAS SOPS 336094 HAS SOUS 213369 HAS SOUPS 213369 WITH SCORE 213705.094
AT ITER 6452 NEW BEST:: SOT 1141691 SOS 336036 HAS SOPS 336036 HAS SOUS 213297 HAS SOUPS 213297 WITH SCORE 213633.036
AT ITER 6482 NEW BEST:: SOT 1141691 SOS 335929 HAS SOPS 335929 HAS SOUS 213295 HAS SOUPS 213295 WITH SCORE 213630.929
AT ITER 6493 NEW BEST:: SOT 1141690 SOS 335910 HAS SOPS 335910 HAS SOUS 213289 HAS SOUPS 213289 WITH SCORE 213624.91
AT ITER 6498 NEW BEST:: SOT 1141674 SOS 336103 HAS SOPS 336103 HAS SOUS 213265 HAS SOUPS 213265 WITH SCORE 213601.103
AT ITER 6499 NEW BEST:: SOT 1141653 SOS 336081 HAS SOPS 336081 HAS SOUS 213243 HAS SOUPS 213243 WITH SCORE 213579.081
AT ITER 6517 NEW BEST:: SOT 1141589 SOS 335953 HAS SOPS 335953 HAS SOUS 213179 HAS SOUPS 213179 WITH SCORE 213514.953
AT ITER 6529 NEW BEST:: SOT 1141491 SOS 335763 HAS SOPS 335763 HAS SOUS 213081 HAS SOUPS 213081 WITH SCORE 213416.763
AT ITER 6542 NEW BEST:: SOT 1141414 SOS 336102 HAS SOPS 336102 HAS SOUS 212996 HAS SOUPS 212996 WITH SCORE 213332.102
AT ITER 6586 NEW BEST:: SOT 1141378 SOS 336053 HAS SOPS 336053 HAS SOUS 212947 HAS SOUPS 212947 WITH SCORE 213283.053
AT ITER 6589 NEW BEST:: SOT 1141378 SOS 336053 HAS SOPS 336053 HAS SOUS 212912 HAS SOUPS 212912 WITH SCORE 213248.053
AT ITER 6590 NEW BEST:: SOT 1141412 SOS 335978 HAS SOPS 335978 HAS SOUS 212837 HAS SOUPS 212837 WITH SCORE 213172.978
AT ITER 6613 NEW BEST:: SOT 1141412 SOS 335959 HAS SOPS 335959 HAS SOUS 212818 HAS SOUPS 212818 WITH SCORE 213153.959
AT ITER 6614 NEW BEST:: SOT 1141411 SOS 335956 HAS SOPS 335956 HAS SOUS 212816 HAS SOUPS 212816 WITH SCORE 213151.956
AT ITER 6641 NEW BEST:: SOT 1141487 SOS 336005 HAS SOPS 336005 HAS SOUS 212789 HAS SOUPS 212789 WITH SCORE 213125.005
AT ITER 6643 NEW BEST:: SOT 1141253 SOS 335893 HAS SOPS 335893 HAS SOUS 212677 HAS SOUPS 212677 WITH SCORE 213012.893
AT ITER 6647 NEW BEST:: SOT 1141252 SOS 335742 HAS SOPS 335742 HAS SOUS 212673 HAS SOUPS 212673 WITH SCORE 213008.742
AT ITER 6654 NEW BEST:: SOT 1141218 SOS 335651 HAS SOPS 335651 HAS SOUS 212582 HAS SOUPS 212582 WITH SCORE 212917.651
AT ITER 6658 NEW BEST:: SOT 1141307 SOS 335694 HAS SOPS 335694 HAS SOUS 212102 HAS SOUPS 212102 WITH SCORE 212437.694
AT ITER 6667 NEW BEST:: SOT 1141111 SOS 335565 HAS SOPS 335565 HAS SOUS 211973 HAS SOUPS 211973 WITH SCORE 212308.565
AT ITER 6674 NEW BEST:: SOT 1141048 SOS 334529 HAS SOPS 334529 HAS SOUS 211944 HAS SOUPS 211944 WITH SCORE 212278.529
AT ITER 6716 NEW BEST:: SOT 1141000 SOS 334457 HAS SOPS 334457 HAS SOUS 211848 HAS SOUPS 211848 WITH SCORE 212182.457
AT ITER 6729 NEW BEST:: SOT 1140999 SOS 334456 HAS SOPS 334456 HAS SOUS 211847 HAS SOUPS 211847 WITH SCORE 212181.456
AT ITER 6740 NEW BEST:: SOT 1140964 SOS 334480 HAS SOPS 334480 HAS SOUS 211752 HAS SOUPS 211752 WITH SCORE 212086.48
AT ITER 6746 NEW BEST:: SOT 1140947 SOS 334398 HAS SOPS 334398 HAS SOUS 211670 HAS SOUPS 211670 WITH SCORE 212004.398
AT ITER 6752 NEW BEST:: SOT 1140840 SOS 334184 HAS SOPS 334184 HAS SOUS 211456 HAS SOUPS 211456 WITH SCORE 211790.184
AT ITER 6770 NEW BEST:: SOT 1140874 SOS 334097 HAS SOPS 334097 HAS SOUS 211369 HAS SOUPS 211369 WITH SCORE 211703.097
AT ITER 6772 NEW BEST:: SOT 1140779 SOS 334328 HAS SOPS 334328 HAS SOUS 211264 HAS SOUPS 211264 WITH SCORE 211598.328
AT ITER 6775 NEW BEST:: SOT 1140701 SOS 334056 HAS SOPS 334056 HAS SOUS 211070 HAS SOUPS 211070 WITH SCORE 211404.056
AT ITER 6794 NEW BEST:: SOT 1140603 SOS 333860 HAS SOPS 333860 HAS SOUS 210874 HAS SOUPS 210874 WITH SCORE 211207.86
AT ITER 6847 NEW BEST:: SOT 1140585 SOS 333802 HAS SOPS 333802 HAS SOUS 210816 HAS SOUPS 210816 WITH SCORE 211149.802
AT ITER 6873 NEW BEST:: SOT 1140065 SOS 333236 HAS SOPS 333236 HAS SOUS 210682 HAS SOUPS 210682 WITH SCORE 211015.236
AT ITER 6907 NEW BEST:: SOT 1140065 SOS 333212 HAS SOPS 333212 HAS SOUS 210658 HAS SOUPS 210658 WITH SCORE 210991.212
AT ITER 6928 NEW BEST:: SOT 1139482 SOS 332903 HAS SOPS 332903 HAS SOUS 210032 HAS SOUPS 210032 WITH SCORE 210364.903
AT ITER 6937 NEW BEST:: SOT 1139442 SOS 332874 HAS SOPS 332874 HAS SOUS 210002 HAS SOUPS 210002 WITH SCORE 210334.874
AT ITER 6941 NEW BEST:: SOT 1139430 SOS 332850 HAS SOPS 332850 HAS SOUS 209978 HAS SOUPS 209978 WITH SCORE 210310.85
AT ITER 6962 NEW BEST:: SOT 1139414 SOS 332834 HAS SOPS 332834 HAS SOUS 209962 HAS SOUPS 209962 WITH SCORE 210294.834
AT ITER 6969 NEW BEST:: SOT 1139379 SOS 332800 HAS SOPS 332800 HAS SOUS 209928 HAS SOUPS 209928 WITH SCORE 210260.8
AT ITER 6977 NEW BEST:: SOT 1138903 SOS 332241 HAS SOPS 332241 HAS SOUS 209136 HAS SOUPS 209136 WITH SCORE 209468.241
AT ITER 6987 NEW BEST:: SOT 1138860 SOS 332155 HAS SOPS 332155 HAS SOUS 209008 HAS SOUPS 209008 WITH SCORE 209340.155
AT ITER 6993 NEW BEST:: SOT 1138500 SOS 331817 HAS SOPS 331817 HAS SOUS 208971 HAS SOUPS 208971 WITH SCORE 209302.817
AT ITER 6997 NEW BEST:: SOT 1138179 SOS 331658 HAS SOPS 331658 HAS SOUS 208812 HAS SOUPS 208812 WITH SCORE 209143.658
AT ITER 7008 NEW BEST:: SOT 1138275 SOS 331280 HAS SOPS 331280 HAS SOUS 208788 HAS SOUPS 208788 WITH SCORE 209119.28
AT ITER 7044 NEW BEST:: SOT 1138275 SOS 331280 HAS SOPS 331280 HAS SOUS 208725 HAS SOUPS 208725 WITH SCORE 209056.28
AT ITER 7071 NEW BEST:: SOT 1138240 SOS 331214 HAS SOPS 331214 HAS SOUS 208251 HAS SOUPS 208251 WITH SCORE 208582.214
AT ITER 7078 NEW BEST:: SOT 1138179 SOS 331153 HAS SOPS 331153 HAS SOUS 208133 HAS SOUPS 208133 WITH SCORE 208464.153
AT ITER 7095 NEW BEST:: SOT 1138174 SOS 331166 HAS SOPS 331166 HAS SOUS 208123 HAS SOUPS 208123 WITH SCORE 208454.166
AT ITER 7103 NEW BEST:: SOT 1138136 SOS 331136 HAS SOPS 331136 HAS SOUS 208093 HAS SOUPS 208093 WITH SCORE 208424.136
AT ITER 7107 NEW BEST:: SOT 1138123 SOS 331095 HAS SOPS 331095 HAS SOUS 207899 HAS SOUPS 207899 WITH SCORE 208230.095
AT ITER 7108 NEW BEST:: SOT 1138044 SOS 331018 HAS SOPS 331018 HAS SOUS 207822 HAS SOUPS 207822 WITH SCORE 208153.018
AT ITER 7117 NEW BEST:: SOT 1138084 SOS 331043 HAS SOPS 331043 HAS SOUS 207518 HAS SOUPS 207518 WITH SCORE 207849.043
AT ITER 7120 NEW BEST:: SOT 1137990 SOS 331042 HAS SOPS 331042 HAS SOUS 207233 HAS SOUPS 207233 WITH SCORE 207564.042
AT ITER 7125 NEW BEST:: SOT 1137825 SOS 330712 HAS SOPS 330712 HAS SOUS 206903 HAS SOUPS 206903 WITH SCORE 207233.712
AT ITER 7129 NEW BEST:: SOT 1137070 SOS 329934 HAS SOPS 329934 HAS SOUS 206517 HAS SOUPS 206517 WITH SCORE 206846.934
AT ITER 7146 NEW BEST:: SOT 1135016 SOS 327880 HAS SOPS 327880 HAS SOUS 206079 HAS SOUPS 206079 WITH SCORE 206406.88
AT ITER 7155 NEW BEST:: SOT 1134984 SOS 327816 HAS SOPS 327816 HAS SOUS 206047 HAS SOUPS 206047 WITH SCORE 206374.816
AT ITER 7173 NEW BEST:: SOT 1134938 SOS 327720 HAS SOPS 327720 HAS SOUS 205951 HAS SOUPS 205951 WITH SCORE 206278.72
AT ITER 7183 NEW BEST:: SOT 1134934 SOS 327712 HAS SOPS 327712 HAS SOUS 205943 HAS SOUPS 205943 WITH SCORE 206270.712
AT ITER 7198 NEW BEST:: SOT 1134971 SOS 328446 HAS SOPS 328446 HAS SOUS 205907 HAS SOUPS 205907 WITH SCORE 206235.446
AT ITER 7204 NEW BEST:: SOT 1134971 SOS 328422 HAS SOPS 328422 HAS SOUS 205883 HAS SOUPS 205883 WITH SCORE 206211.422
AT ITER 7216 NEW BEST:: SOT 1134931 SOS 328504 HAS SOPS 328504 HAS SOUS 205843 HAS SOUPS 205843 WITH SCORE 206171.504
AT ITER 7217 NEW BEST:: SOT 1134931 SOS 328453 HAS SOPS 328453 HAS SOUS 205792 HAS SOUPS 205792 WITH SCORE 206120.453
AT ITER 7236 NEW BEST:: SOT 1134931 SOS 328421 HAS SOPS 328421 HAS SOUS 205792 HAS SOUPS 205792 WITH SCORE 206120.421
AT ITER 7242 NEW BEST:: SOT 1134829 SOS 328217 HAS SOPS 328217 HAS SOUS 205690 HAS SOUPS 205690 WITH SCORE 206018.217
AT ITER 7264 NEW BEST:: SOT 1134838 SOS 328202 HAS SOPS 328202 HAS SOUS 205675 HAS SOUPS 205675 WITH SCORE 206003.202
AT ITER 7274 NEW BEST:: SOT 1134763 SOS 328037 HAS SOPS 328037 HAS SOUS 205510 HAS SOUPS 205510 WITH SCORE 205838.037
AT ITER 7286 NEW BEST:: SOT 1134763 SOS 328028 HAS SOPS 328028 HAS SOUS 205510 HAS SOUPS 205510 WITH SCORE 205838.028
AT ITER 7305 NEW BEST:: SOT 1134731 SOS 327994 HAS SOPS 327994 HAS SOUS 205414 HAS SOUPS 205414 WITH SCORE 205741.994
AT ITER 7318 NEW BEST:: SOT 1134845 SOS 327960 HAS SOPS 327960 HAS SOUS 205261 HAS SOUPS 205261 WITH SCORE 205588.96
AT ITER 7328 NEW BEST:: SOT 1134839 SOS 327954 HAS SOPS 327954 HAS SOUS 205255 HAS SOUPS 205255 WITH SCORE 205582.954
AT ITER 7372 NEW BEST:: SOT 1134784 SOS 327899 HAS SOPS 327899 HAS SOUS 205200 HAS SOUPS 205200 WITH SCORE 205527.899
AT ITER 7378 NEW BEST:: SOT 1134760 SOS 328074 HAS SOPS 328074 HAS SOUS 205152 HAS SOUPS 205152 WITH SCORE 205480.074
AT ITER 7389 NEW BEST:: SOT 1134740 SOS 328090 HAS SOPS 328090 HAS SOUS 205112 HAS SOUPS 205112 WITH SCORE 205440.09
AT ITER 7397 NEW BEST:: SOT 1134722 SOS 328054 HAS SOPS 328054 HAS SOUS 205076 HAS SOUPS 205076 WITH SCORE 205404.054
AT ITER 7409 NEW BEST:: SOT 1134720 SOS 328050 HAS SOPS 328050 HAS SOUS 205058 HAS SOUPS 205058 WITH SCORE 205386.05
AT ITER 7428 NEW BEST:: SOT 1134636 SOS 328299 HAS SOPS 328299 HAS SOUS 204890 HAS SOUPS 204890 WITH SCORE 205218.299
AT ITER 7435 NEW BEST:: SOT 1134622 SOS 328283 HAS SOPS 328283 HAS SOUS 204874 HAS SOUPS 204874 WITH SCORE 205202.283
AT ITER 7438 NEW BEST:: SOT 1134607 SOS 328268 HAS SOPS 328268 HAS SOUS 204829 HAS SOUPS 204829 WITH SCORE 205157.268
AT ITER 7446 NEW BEST:: SOT 1134590 SOS 328132 HAS SOPS 328132 HAS SOUS 204812 HAS SOUPS 204812 WITH SCORE 205140.132
AT ITER 7466 NEW BEST:: SOT 1134565 SOS 328082 HAS SOPS 328082 HAS SOUS 204752 HAS SOUPS 204752 WITH SCORE 205080.082
AT ITER 7486 NEW BEST:: SOT 1134348 SOS 327818 HAS SOPS 327818 HAS SOUS 204488 HAS SOUPS 204488 WITH SCORE 204815.818
AT ITER 7488 NEW BEST:: SOT 1134348 SOS 327915 HAS SOPS 327915 HAS SOUS 204458 HAS SOUPS 204458 WITH SCORE 204785.915
AT ITER 7498 NEW BEST:: SOT 1134348 SOS 328059 HAS SOPS 328059 HAS SOUS 204457 HAS SOUPS 204457 WITH SCORE 204785.059
AT ITER 7514 NEW BEST:: SOT 1134331 SOS 328804 HAS SOPS 328804 HAS SOUS 204351 HAS SOUPS 204351 WITH SCORE 204679.804
AT ITER 7539 NEW BEST:: SOT 1134306 SOS 328696 HAS SOPS 328696 HAS SOUS 204243 HAS SOUPS 204243 WITH SCORE 204571.696
AT ITER 7587 NEW BEST:: SOT 1134316 SOS 328757 HAS SOPS 328757 HAS SOUS 204177 HAS SOUPS 204177 WITH SCORE 204505.757
AT ITER 7612 NEW BEST:: SOT 1134302 SOS 328715 HAS SOPS 328715 HAS SOUS 204174 HAS SOUPS 204174 WITH SCORE 204502.715
AT ITER 7613 NEW BEST:: SOT 1134220 SOS 327256 HAS SOPS 327256 HAS SOUS 203799 HAS SOUPS 203799 WITH SCORE 204126.256
AT ITER 7654 NEW BEST:: SOT 1134340 SOS 327376 HAS SOPS 327376 HAS SOUS 203798 HAS SOUPS 203798 WITH SCORE 204125.376
AT ITER 7683 NEW BEST:: SOT 1134232 SOS 327171 HAS SOPS 327171 HAS SOUS 202772 HAS SOUPS 202772 WITH SCORE 203099.171
AT ITER 7693 NEW BEST:: SOT 1134054 SOS 326875 HAS SOPS 326875 HAS SOUS 202726 HAS SOUPS 202726 WITH SCORE 203052.875
AT ITER 7705 NEW BEST:: SOT 1133943 SOS 328204 HAS SOPS 328204 HAS SOUS 202595 HAS SOUPS 202595 WITH SCORE 202923.204
AT ITER 7709 NEW BEST:: SOT 1133831 SOS 328092 HAS SOPS 328092 HAS SOUS 202483 HAS SOUPS 202483 WITH SCORE 202811.092
AT ITER 7714 NEW BEST:: SOT 1133734 SOS 328048 HAS SOPS 328048 HAS SOUS 202436 HAS SOUPS 202436 WITH SCORE 202764.048
AT ITER 7716 NEW BEST:: SOT 1133699 SOS 328552 HAS SOPS 328552 HAS SOUS 202401 HAS SOUPS 202401 WITH SCORE 202729.552
AT ITER 7758 NEW BEST:: SOT 1133441 SOS 328270 HAS SOPS 328270 HAS SOUS 202171 HAS SOUPS 202171 WITH SCORE 202499.27
AT ITER 7769 NEW BEST:: SOT 1133409 SOS 328206 HAS SOPS 328206 HAS SOUS 202107 HAS SOUPS 202107 WITH SCORE 202435.206
AT ITER 7796 NEW BEST:: SOT 1133416 SOS 328025 HAS SOPS 328025 HAS SOUS 202068 HAS SOUPS 202068 WITH SCORE 202396.025
AT ITER 7845 NEW BEST:: SOT 1133424 SOS 328018 HAS SOPS 328018 HAS SOUS 202061 HAS SOUPS 202061 WITH SCORE 202389.018
AT ITER 7848 NEW BEST:: SOT 1133275 SOS 327824 HAS SOPS 327824 HAS SOUS 201926 HAS SOUPS 201926 WITH SCORE 202253.824
AT ITER 7850 NEW BEST:: SOT 1133426 SOS 328312 HAS SOPS 328312 HAS SOUS 201762 HAS SOUPS 201762 WITH SCORE 202090.312
AT ITER 7878 NEW BEST:: SOT 1133552 SOS 328438 HAS SOPS 328438 HAS SOUS 201734 HAS SOUPS 201734 WITH SCORE 202062.438
AT ITER 7888 NEW BEST:: SOT 1133544 SOS 328429 HAS SOPS 328429 HAS SOUS 201725 HAS SOUPS 201725 WITH SCORE 202053.429
AT ITER 7908 NEW BEST:: SOT 1133400 SOS 327997 HAS SOPS 327997 HAS SOUS 201406 HAS SOUPS 201406 WITH SCORE 201733.997
AT ITER 7931 NEW BEST:: SOT 1133417 SOS 327970 HAS SOPS 327970 HAS SOUS 201404 HAS SOUPS 201404 WITH SCORE 201731.97
AT ITER 7933 NEW BEST:: SOT 1133413 SOS 327962 HAS SOPS 327962 HAS SOUS 201396 HAS SOUPS 201396 WITH SCORE 201723.962
AT ITER 7944 NEW BEST:: SOT 1133395 SOS 327931 HAS SOPS 327931 HAS SOUS 201261 HAS SOUPS 201261 WITH SCORE 201588.931
AT ITER 7993 NEW BEST:: SOT 1133334 SOS 327798 HAS SOPS 327798 HAS SOUS 201128 HAS SOUPS 201128 WITH SCORE 201455.798
AT ITER 8011 NEW BEST:: SOT 1133226 SOS 327690 HAS SOPS 327690 HAS SOUS 201020 HAS SOUPS 201020 WITH SCORE 201347.69
AT ITER 8021 NEW BEST:: SOT 1133176 SOS 327591 HAS SOPS 327591 HAS SOUS 200974 HAS SOUPS 200974 WITH SCORE 201301.591
AT ITER 8034 NEW BEST:: SOT 1133259 SOS 327545 HAS SOPS 327545 HAS SOUS 200928 HAS SOUPS 200928 WITH SCORE 201255.545
AT ITER 8067 NEW BEST:: SOT 1133259 SOS 327475 HAS SOPS 327475 HAS SOUS 200858 HAS SOUPS 200858 WITH SCORE 201185.475
AT ITER 8086 NEW BEST:: SOT 1133007 SOS 327223 HAS SOPS 327223 HAS SOUS 200690 HAS SOUPS 200690 WITH SCORE 201017.223
AT ITER 8089 NEW BEST:: SOT 1132996 SOS 327201 HAS SOPS 327201 HAS SOUS 200668 HAS SOUPS 200668 WITH SCORE 200995.201
AT ITER 8090 NEW BEST:: SOT 1132993 SOS 327114 HAS SOPS 327114 HAS SOUS 200653 HAS SOUPS 200653 WITH SCORE 200980.114
AT ITER 8123 NEW BEST:: SOT 1132977 SOS 327082 HAS SOPS 327082 HAS SOUS 200621 HAS SOUPS 200621 WITH SCORE 200948.082
AT ITER 8130 NEW BEST:: SOT 1132970 SOS 327068 HAS SOPS 327068 HAS SOUS 200607 HAS SOUPS 200607 WITH SCORE 200934.068
AT ITER 8137 NEW BEST:: SOT 1133062 SOS 328082 HAS SOPS 328082 HAS SOUS 200570 HAS SOUPS 200570 WITH SCORE 200898.082
AT ITER 8149 NEW BEST:: SOT 1132496 SOS 327586 HAS SOPS 327586 HAS SOUS 200347 HAS SOUPS 200347 WITH SCORE 200674.586
AT ITER 8180 NEW BEST:: SOT 1132496 SOS 327575 HAS SOPS 327575 HAS SOUS 200336 HAS SOUPS 200336 WITH SCORE 200663.575
AT ITER 8192 NEW BEST:: SOT 1132356 SOS 327150 HAS SOPS 327150 HAS SOUS 199876 HAS SOUPS 199876 WITH SCORE 200203.15
AT ITER 8205 NEW BEST:: SOT 1132334 SOS 327145 HAS SOPS 327145 HAS SOUS 199871 HAS SOUPS 199871 WITH SCORE 200198.145
AT ITER 8222 NEW BEST:: SOT 1132334 SOS 326934 HAS SOPS 326934 HAS SOUS 199660 HAS SOUPS 199660 WITH SCORE 199986.934
AT ITER 8235 NEW BEST:: SOT 1132227 SOS 326712 HAS SOPS 326712 HAS SOUS 199293 HAS SOUPS 199293 WITH SCORE 199619.712
AT ITER 8246 NEW BEST:: SOT 1132197 SOS 326638 HAS SOPS 326638 HAS SOUS 199261 HAS SOUPS 199261 WITH SCORE 199587.638
AT ITER 8249 NEW BEST:: SOT 1131966 SOS 326551 HAS SOPS 326551 HAS SOUS 199174 HAS SOUPS 199174 WITH SCORE 199500.551
AT ITER 8346 NEW BEST:: SOT 1131966 SOS 326391 HAS SOPS 326391 HAS SOUS 199174 HAS SOUPS 199174 WITH SCORE 199500.391
AT ITER 8352 NEW BEST:: SOT 1131954 SOS 326309 HAS SOPS 326309 HAS SOUS 199162 HAS SOUPS 199162 WITH SCORE 199488.309
AT ITER 8353 NEW BEST:: SOT 1131913 SOS 326268 HAS SOPS 326268 HAS SOUS 199080 HAS SOUPS 199080 WITH SCORE 199406.268
AT ITER 8376 NEW BEST:: SOT 1131823 SOS 326178 HAS SOPS 326178 HAS SOUS 198875 HAS SOUPS 198875 WITH SCORE 199201.178
AT ITER 8389 NEW BEST:: SOT 1131948 SOS 326127 HAS SOPS 326127 HAS SOUS 198856 HAS SOUPS 198856 WITH SCORE 199182.127
AT ITER 8391 NEW BEST:: SOT 1131960 SOS 326076 HAS SOPS 326076 HAS SOUS 198805 HAS SOUPS 198805 WITH SCORE 199131.076
AT ITER 8396 NEW BEST:: SOT 1131849 SOS 325965 HAS SOPS 325965 HAS SOUS 198694 HAS SOUPS 198694 WITH SCORE 199019.965
AT ITER 8405 NEW BEST:: SOT 1131868 SOS 325643 HAS SOPS 325643 HAS SOUS 198588 HAS SOUPS 198588 WITH SCORE 198913.643
AT ITER 8407 NEW BEST:: SOT 1131723 SOS 325373 HAS SOPS 325373 HAS SOUS 198458 HAS SOUPS 198458 WITH SCORE 198783.373
AT ITER 8415 NEW BEST:: SOT 1131653 SOS 325268 HAS SOPS 325268 HAS SOUS 198353 HAS SOUPS 198353 WITH SCORE 198678.268
AT ITER 8470 NEW BEST:: SOT 1131610 SOS 325561 HAS SOPS 325561 HAS SOUS 198346 HAS SOUPS 198346 WITH SCORE 198671.561
AT ITER 8473 NEW BEST:: SOT 1131385 SOS 325330 HAS SOPS 325330 HAS SOUS 197896 HAS SOUPS 197896 WITH SCORE 198221.33
AT ITER 8483 NEW BEST:: SOT 1131245 SOS 325117 HAS SOPS 325117 HAS SOUS 197848 HAS SOUPS 197848 WITH SCORE 198173.117
AT ITER 8544 NEW BEST:: SOT 1131177 SOS 325049 HAS SOPS 325049 HAS SOUS 197780 HAS SOUPS 197780 WITH SCORE 198105.049
AT ITER 8551 NEW BEST:: SOT 1131177 SOS 324777 HAS SOPS 324777 HAS SOUS 197746 HAS SOUPS 197746 WITH SCORE 198070.777
AT ITER 8572 NEW BEST:: SOT 1131161 SOS 324658 HAS SOPS 324658 HAS SOUS 197721 HAS SOUPS 197721 WITH SCORE 198045.658
AT ITER 8604 NEW BEST:: SOT 1131133 SOS 324617 HAS SOPS 324617 HAS SOUS 197680 HAS SOUPS 197680 WITH SCORE 198004.617
AT ITER 8640 NEW BEST:: SOT 1131133 SOS 324577 HAS SOPS 324577 HAS SOUS 197640 HAS SOUPS 197640 WITH SCORE 197964.577
AT ITER 8644 NEW BEST:: SOT 1131063 SOS 324477 HAS SOPS 324477 HAS SOUS 197540 HAS SOUPS 197540 WITH SCORE 197864.477
AT ITER 8669 NEW BEST:: SOT 1131063 SOS 324472 HAS SOPS 324472 HAS SOUS 197539 HAS SOUPS 197539 WITH SCORE 197863.472
AT ITER 8776 NEW BEST:: SOT 1131040 SOS 324449 HAS SOPS 324449 HAS SOUS 197513 HAS SOUPS 197513 WITH SCORE 197837.449
AT ITER 8783 NEW BEST:: SOT 1131001 SOS 324371 HAS SOPS 324371 HAS SOUS 197435 HAS SOUPS 197435 WITH SCORE 197759.371
AT ITER 8803 NEW BEST:: SOT 1130835 SOS 324061 HAS SOPS 324061 HAS SOUS 197369 HAS SOUPS 197369 WITH SCORE 197693.061
AT ITER 8811 NEW BEST:: SOT 1130821 SOS 324014 HAS SOPS 324014 HAS SOUS 197322 HAS SOUPS 197322 WITH SCORE 197646.014
AT ITER 8826 NEW BEST:: SOT 1130806 SOS 323999 HAS SOPS 323999 HAS SOUS 197312 HAS SOUPS 197312 WITH SCORE 197635.999
AT ITER 8854 NEW BEST:: SOT 1130719 SOS 323912 HAS SOPS 323912 HAS SOUS 197225 HAS SOUPS 197225 WITH SCORE 197548.912
AT ITER 8859 NEW BEST:: SOT 1130753 SOS 323640 HAS SOPS 323640 HAS SOUS 197225 HAS SOUPS 197225 WITH SCORE 197548.64
AT ITER 8889 NEW BEST:: SOT 1130527 SOS 323414 HAS SOPS 323414 HAS SOUS 196999 HAS SOUPS 196999 WITH SCORE 197322.414
AT ITER 8890 NEW BEST:: SOT 1130428 SOS 323216 HAS SOPS 323216 HAS SOUS 196999 HAS SOUPS 196999 WITH SCORE 197322.216
AT ITER 8923 NEW BEST:: SOT 1130428 SOS 323196 HAS SOPS 323196 HAS SOUS 196979 HAS SOUPS 196979 WITH SCORE 197302.196
AT ITER 8955 NEW BEST:: SOT 1130413 SOS 323181 HAS SOPS 323181 HAS SOUS 196964 HAS SOUPS 196964 WITH SCORE 197287.181
AT ITER 8965 NEW BEST:: SOT 1130398 SOS 323079 HAS SOPS 323079 HAS SOUS 196949 HAS SOUPS 196949 WITH SCORE 197272.079
AT ITER 8976 NEW BEST:: SOT 1130380 SOS 323043 HAS SOPS 323043 HAS SOUS 196913 HAS SOUPS 196913 WITH SCORE 197236.043
AT ITER 8984 NEW BEST:: SOT 1130353 SOS 322963 HAS SOPS 322963 HAS SOUS 196833 HAS SOUPS 196833 WITH SCORE 197155.963
AT ITER 8987 NEW BEST:: SOT 1130353 SOS 322687 HAS SOPS 322687 HAS SOUS 196833 HAS SOUPS 196833 WITH SCORE 197155.687
AT ITER 8995 NEW BEST:: SOT 1130343 SOS 322667 HAS SOPS 322667 HAS SOUS 196812 HAS SOUPS 196812 WITH SCORE 197134.667
AT ITER 9056 NEW BEST:: SOT 1130350 SOS 322482 HAS SOPS 322482 HAS SOUS 196788 HAS SOUPS 196788 WITH SCORE 197110.482
AT ITER 9059 NEW BEST:: SOT 1130345 SOS 322477 HAS SOPS 322477 HAS SOUS 196783 HAS SOUPS 196783 WITH SCORE 197105.477
AT ITER 9063 NEW BEST:: SOT 1130334 SOS 322455 HAS SOPS 322455 HAS SOUS 196761 HAS SOUPS 196761 WITH SCORE 197083.455
AT ITER 9066 NEW BEST:: SOT 1130334 SOS 322455 HAS SOPS 322455 HAS SOUS 196750 HAS SOUPS 196750 WITH SCORE 197072.455
AT ITER 9069 NEW BEST:: SOT 1130330 SOS 322395 HAS SOPS 322395 HAS SOUS 196746 HAS SOUPS 196746 WITH SCORE 197068.395
AT ITER 9079 NEW BEST:: SOT 1130295 SOS 322360 HAS SOPS 322360 HAS SOUS 196711 HAS SOUPS 196711 WITH SCORE 197033.36
AT ITER 9113 NEW BEST:: SOT 1129654 SOS 321632 HAS SOPS 321632 HAS SOUS 196023 HAS SOUPS 196023 WITH SCORE 196344.632
AT ITER 9126 NEW BEST:: SOT 1129797 SOS 321775 HAS SOPS 321775 HAS SOUS 195977 HAS SOUPS 195977 WITH SCORE 196298.775
AT ITER 9137 NEW BEST:: SOT 1129756 SOS 321539 HAS SOPS 321539 HAS SOUS 195741 HAS SOUPS 195741 WITH SCORE 196062.539
AT ITER 9140 NEW BEST:: SOT 1129711 SOS 321449 HAS SOPS 321449 HAS SOUS 195651 HAS SOUPS 195651 WITH SCORE 195972.449
AT ITER 9151 NEW BEST:: SOT 1129711 SOS 321411 HAS SOPS 321411 HAS SOUS 195651 HAS SOUPS 195651 WITH SCORE 195972.411
AT ITER 9183 NEW BEST:: SOT 1129697 SOS 321383 HAS SOPS 321383 HAS SOUS 195637 HAS SOUPS 195637 WITH SCORE 195958.383
AT ITER 9209 NEW BEST:: SOT 1129638 SOS 321324 HAS SOPS 321324 HAS SOUS 195578 HAS SOUPS 195578 WITH SCORE 195899.324
AT ITER 9243 NEW BEST:: SOT 1129624 SOS 321137 HAS SOPS 321137 HAS SOUS 195550 HAS SOUPS 195550 WITH SCORE 195871.137
AT ITER 9245 NEW BEST:: SOT 1129446 SOS 320872 HAS SOPS 320872 HAS SOUS 195283 HAS SOUPS 195283 WITH SCORE 195603.872
AT ITER 9270 NEW BEST:: SOT 1129436 SOS 320864 HAS SOPS 320864 HAS SOUS 195263 HAS SOUPS 195263 WITH SCORE 195583.864
AT ITER 9278 NEW BEST:: SOT 1129423 SOS 320851 HAS SOPS 320851 HAS SOUS 195250 HAS SOUPS 195250 WITH SCORE 195570.851
AT ITER 9282 NEW BEST:: SOT 1129412 SOS 320814 HAS SOPS 320814 HAS SOUS 195213 HAS SOUPS 195213 WITH SCORE 195533.814
AT ITER 9311 NEW BEST:: SOT 1129335 SOS 320802 HAS SOPS 320802 HAS SOUS 195169 HAS SOUPS 195169 WITH SCORE 195489.802
AT ITER 9314 NEW BEST:: SOT 1129368 SOS 320771 HAS SOPS 320771 HAS SOUS 195138 HAS SOUPS 195138 WITH SCORE 195458.771
AT ITER 9330 NEW BEST:: SOT 1129368 SOS 320747 HAS SOPS 320747 HAS SOUS 195114 HAS SOUPS 195114 WITH SCORE 195434.747
AT ITER 9333 NEW BEST:: SOT 1129312 SOS 320686 HAS SOPS 320686 HAS SOUS 195053 HAS SOUPS 195053 WITH SCORE 195373.686
AT ITER 9334 NEW BEST:: SOT 1129295 SOS 320652 HAS SOPS 320652 HAS SOUS 195019 HAS SOUPS 195019 WITH SCORE 195339.652
AT ITER 9340 NEW BEST:: SOT 1129261 SOS 320618 HAS SOPS 320618 HAS SOUS 194985 HAS SOUPS 194985 WITH SCORE 195305.618
AT ITER 9342 NEW BEST:: SOT 1129261 SOS 320563 HAS SOPS 320563 HAS SOUS 194897 HAS SOUPS 194897 WITH SCORE 195217.563
AT ITER 9358 NEW BEST:: SOT 1129261 SOS 320390 HAS SOPS 320390 HAS SOUS 194811 HAS SOUPS 194811 WITH SCORE 195131.39
AT ITER 9364 NEW BEST:: SOT 1129251 SOS 320380 HAS SOPS 320380 HAS SOUS 194801 HAS SOUPS 194801 WITH SCORE 195121.38
AT ITER 9401 NEW BEST:: SOT 1129164 SOS 320373 HAS SOPS 320373 HAS SOUS 194794 HAS SOUPS 194794 WITH SCORE 195114.373
AT ITER 9406 NEW BEST:: SOT 1129154 SOS 320363 HAS SOPS 320363 HAS SOUS 194784 HAS SOUPS 194784 WITH SCORE 195104.363
AT ITER 9408 NEW BEST:: SOT 1129194 SOS 320403 HAS SOPS 320403 HAS SOUS 194756 HAS SOUPS 194756 WITH SCORE 195076.403
AT ITER 9412 NEW BEST:: SOT 1129179 SOS 320407 HAS SOPS 320407 HAS SOUS 194729 HAS SOUPS 194729 WITH SCORE 195049.407
AT ITER 9443 NEW BEST:: SOT 1129173 SOS 320395 HAS SOPS 320395 HAS SOUS 194717 HAS SOUPS 194717 WITH SCORE 195037.395
AT ITER 9456 NEW BEST:: SOT 1129112 SOS 320315 HAS SOPS 320315 HAS SOUS 194645 HAS SOUPS 194645 WITH SCORE 194965.315
AT ITER 9457 NEW BEST:: SOT 1129145 SOS 320270 HAS SOPS 320270 HAS SOUS 194633 HAS SOUPS 194633 WITH SCORE 194953.27
AT ITER 9483 NEW BEST:: SOT 1129095 SOS 320322 HAS SOPS 320322 HAS SOUS 194583 HAS SOUPS 194583 WITH SCORE 194903.322
AT ITER 9492 NEW BEST:: SOT 1129086 SOS 320294 HAS SOPS 320294 HAS SOUS 194557 HAS SOUPS 194557 WITH SCORE 194877.294
AT ITER 9495 NEW BEST:: SOT 1128965 SOS 320155 HAS SOPS 320155 HAS SOUS 194424 HAS SOUPS 194424 WITH SCORE 194744.155
AT ITER 9496 NEW BEST:: SOT 1128965 SOS 320116 HAS SOPS 320116 HAS SOUS 194424 HAS SOUPS 194424 WITH SCORE 194744.116
AT ITER 9517 NEW BEST:: SOT 1128913 SOS 320072 HAS SOPS 320072 HAS SOUS 194380 HAS SOUPS 194380 WITH SCORE 194700.072
AT ITER 9538 NEW BEST:: SOT 1128907 SOS 320095 HAS SOPS 320095 HAS SOUS 194368 HAS SOUPS 194368 WITH SCORE 194688.095
AT ITER 9555 NEW BEST:: SOT 1128790 SOS 319548 HAS SOPS 319548 HAS SOUS 194178 HAS SOUPS 194178 WITH SCORE 194497.548
AT ITER 9578 NEW BEST:: SOT 1128760 SOS 319518 HAS SOPS 319518 HAS SOUS 194118 HAS SOUPS 194118 WITH SCORE 194437.518
AT ITER 9583 NEW BEST:: SOT 1128639 SOS 319295 HAS SOPS 319295 HAS SOUS 193946 HAS SOUPS 193946 WITH SCORE 194265.295
AT ITER 9595 NEW BEST:: SOT 1128631 SOS 319279 HAS SOPS 319279 HAS SOUS 193874 HAS SOUPS 193874 WITH SCORE 194193.279
AT ITER 9607 NEW BEST:: SOT 1128631 SOS 319256 HAS SOPS 319256 HAS SOUS 193851 HAS SOUPS 193851 WITH SCORE 194170.256
AT ITER 9614 NEW BEST:: SOT 1128631 SOS 318905 HAS SOPS 318905 HAS SOUS 193851 HAS SOUPS 193851 WITH SCORE 194169.905
AT ITER 9632 NEW BEST:: SOT 1128694 SOS 319532 HAS SOPS 319532 HAS SOUS 193558 HAS SOUPS 193558 WITH SCORE 193877.532
AT ITER 9635 NEW BEST:: SOT 1128669 SOS 319482 HAS SOPS 319482 HAS SOUS 193508 HAS SOUPS 193508 WITH SCORE 193827.482
AT ITER 9665 NEW BEST:: SOT 1128667 SOS 319420 HAS SOPS 319420 HAS SOUS 193504 HAS SOUPS 193504 WITH SCORE 193823.42
AT ITER 9666 NEW BEST:: SOT 1128617 SOS 319370 HAS SOPS 319370 HAS SOUS 193454 HAS SOUPS 193454 WITH SCORE 193773.37
AT ITER 9698 NEW BEST:: SOT 1128617 SOS 319087 HAS SOPS 319087 HAS SOUS 193413 HAS SOUPS 193413 WITH SCORE 193732.087
AT ITER 9703 NEW BEST:: SOT 1128590 SOS 319033 HAS SOPS 319033 HAS SOUS 193359 HAS SOUPS 193359 WITH SCORE 193678.033
AT ITER 9728 NEW BEST:: SOT 1128590 SOS 319033 HAS SOPS 319033 HAS SOUS 193311 HAS SOUPS 193311 WITH SCORE 193630.033
AT ITER 9734 NEW BEST:: SOT 1128590 SOS 318940 HAS SOPS 318940 HAS SOUS 193218 HAS SOUPS 193218 WITH SCORE 193536.94
AT ITER 9737 NEW BEST:: SOT 1128583 SOS 318933 HAS SOPS 318933 HAS SOUS 193211 HAS SOUPS 193211 WITH SCORE 193529.933
AT ITER 9754 NEW BEST:: SOT 1128603 SOS 318847 HAS SOPS 318847 HAS SOUS 193125 HAS SOUPS 193125 WITH SCORE 193443.847
AT ITER 9758 NEW BEST:: SOT 1128575 SOS 318825 HAS SOPS 318825 HAS SOUS 193103 HAS SOUPS 193103 WITH SCORE 193421.825
AT ITER 9767 NEW BEST:: SOT 1128800 SOS 319028 HAS SOPS 319028 HAS SOUS 192904 HAS SOUPS 192904 WITH SCORE 193223.028
AT ITER 9780 NEW BEST:: SOT 1128789 SOS 318855 HAS SOPS 318855 HAS SOUS 192848 HAS SOUPS 192848 WITH SCORE 193166.855
AT ITER 9806 NEW BEST:: SOT 1128782 SOS 318848 HAS SOPS 318848 HAS SOUS 192800 HAS SOUPS 192800 WITH SCORE 193118.848
AT ITER 9813 NEW BEST:: SOT 1128782 SOS 318824 HAS SOPS 318824 HAS SOUS 192776 HAS SOUPS 192776 WITH SCORE 193094.824
AT ITER 9837 NEW BEST:: SOT 1128782 SOS 318801 HAS SOPS 318801 HAS SOUS 192764 HAS SOUPS 192764 WITH SCORE 193082.801
AT ITER 9840 NEW BEST:: SOT 1128778 SOS 318797 HAS SOPS 318797 HAS SOUS 192760 HAS SOUPS 192760 WITH SCORE 193078.797
AT ITER 9871 NEW BEST:: SOT 1128778 SOS 318785 HAS SOPS 318785 HAS SOUS 192748 HAS SOUPS 192748 WITH SCORE 193066.785
AT ITER 9906 NEW BEST:: SOT 1128777 SOS 318781 HAS SOPS 318781 HAS SOUS 192744 HAS SOUPS 192744 WITH SCORE 193062.781
AT ITER 9919 NEW BEST:: SOT 1128777 SOS 318541 HAS SOPS 318541 HAS SOUS 192744 HAS SOUPS 192744 WITH SCORE 193062.541
AT ITER 9934 NEW BEST:: SOT 1128740 SOS 318541 HAS SOPS 318541 HAS SOUS 192411 HAS SOUPS 192411 WITH SCORE 192729.541
AT ITER 9959 NEW BEST:: SOT 1128724 SOS 318519 HAS SOPS 318519 HAS SOUS 192406 HAS SOUPS 192406 WITH SCORE 192724.519
AT ITER 9982 NEW BEST:: SOT 1128682 SOS 318288 HAS SOPS 318288 HAS SOUS 192298 HAS SOUPS 192298 WITH SCORE 192616.288

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-02b"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-02b, 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 r003-smll-158897508000033"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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