Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542400616.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-13a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 3.6K Mar 30 21:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 21:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 11:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 11:34 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:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 07:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 07:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 01:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 27 01:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 987K 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 1590869273416

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

Filename model.pnml
Petri model created: 463 places, 3847 transitions, 15089 arcs.
AT ITER 0 NEW BEST:: SOT 1098087 SOS 951716 HAS SOPS 579739 HAS SOUS 102156 HAS SOUPS 74420 WITH SCORE 75371.716
AT ITER 15 NEW BEST:: SOT 1101113 SOS 951479 HAS SOPS 578967 HAS SOUS 105158 HAS SOUPS 74254 WITH SCORE 75205.479
AT ITER 21 NEW BEST:: SOT 1101255 SOS 950034 HAS SOPS 579069 HAS SOUS 105009 HAS SOUPS 74196 WITH SCORE 75146.034
AT ITER 31 NEW BEST:: SOT 1101235 SOS 949674 HAS SOPS 579049 HAS SOUS 104969 HAS SOUPS 74176 WITH SCORE 75125.674
AT ITER 35 NEW BEST:: SOT 1101205 SOS 949134 HAS SOPS 579019 HAS SOUS 104909 HAS SOUPS 74146 WITH SCORE 75095.134
AT ITER 56 NEW BEST:: SOT 1101345 SOS 949234 HAS SOPS 579119 HAS SOUS 104900 HAS SOUPS 74137 WITH SCORE 75086.234
AT ITER 61 NEW BEST:: SOT 1100935 SOS 948963 HAS SOPS 578153 HAS SOUS 104001 HAS SOUPS 72714 WITH SCORE 73662.963
AT ITER 77 NEW BEST:: SOT 1102205 SOS 943986 HAS SOPS 575537 HAS SOUS 105093 HAS SOUPS 71978 WITH SCORE 72921.986
AT ITER 80 NEW BEST:: SOT 1101852 SOS 943683 HAS SOPS 574984 HAS SOUS 104590 HAS SOUPS 71275 WITH SCORE 72218.683
AT ITER 96 NEW BEST:: SOT 1101852 SOS 943683 HAS SOPS 574984 HAS SOUS 104581 HAS SOUPS 71270 WITH SCORE 72213.683
AT ITER 97 NEW BEST:: SOT 1101764 SOS 943642 HAS SOPS 574708 HAS SOUS 103929 HAS SOUPS 70618 WITH SCORE 71561.642
AT ITER 114 NEW BEST:: SOT 1103043 SOS 945142 HAS SOPS 574882 HAS SOUS 103712 HAS SOUPS 69957 WITH SCORE 70902.142
AT ITER 116 NEW BEST:: SOT 1102941 SOS 945040 HAS SOPS 574780 HAS SOUS 103610 HAS SOUPS 69855 WITH SCORE 70800.04
AT ITER 117 NEW BEST:: SOT 1102936 SOS 944945 HAS SOPS 574770 HAS SOUS 103600 HAS SOUPS 69850 WITH SCORE 70794.945
AT ITER 118 NEW BEST:: SOT 1103026 SOS 943825 HAS SOPS 574755 HAS SOUS 103455 HAS SOUPS 69770 WITH SCORE 70713.825
AT ITER 122 NEW BEST:: SOT 1103151 SOS 942975 HAS SOPS 573905 HAS SOUS 103375 HAS SOUPS 69690 WITH SCORE 70632.975
AT ITER 123 NEW BEST:: SOT 1102071 SOS 942036 HAS SOPS 572261 HAS SOUS 100675 HAS SOUPS 66958 WITH SCORE 67900.036
AT ITER 127 NEW BEST:: SOT 1102056 SOS 942021 HAS SOPS 572246 HAS SOUS 100670 HAS SOUPS 66953 WITH SCORE 67895.021
AT ITER 128 NEW BEST:: SOT 1103193 SOS 939439 HAS SOPS 571642 HAS SOUS 102858 HAS SOUPS 66721 WITH SCORE 67660.439
AT ITER 148 NEW BEST:: SOT 1103080 SOS 930960 HAS SOPS 564395 HAS SOUS 102778 HAS SOUPS 66714 WITH SCORE 67644.96
AT ITER 170 NEW BEST:: SOT 1103123 SOS 929895 HAS SOPS 563721 HAS SOUS 102723 HAS SOUPS 66659 WITH SCORE 67588.895
AT ITER 176 NEW BEST:: SOT 1103016 SOS 926765 HAS SOPS 563039 HAS SOUS 102559 HAS SOUPS 66639 WITH SCORE 67565.765
AT ITER 179 NEW BEST:: SOT 1102981 SOS 926170 HAS SOPS 562934 HAS SOUS 102419 HAS SOUPS 66534 WITH SCORE 67460.17
AT ITER 185 NEW BEST:: SOT 1102973 SOS 926154 HAS SOPS 562934 HAS SOUS 102411 HAS SOUPS 66534 WITH SCORE 67460.154
AT ITER 196 NEW BEST:: SOT 1102881 SOS 926062 HAS SOPS 562842 HAS SOUS 102310 HAS SOUPS 66437 WITH SCORE 67363.062
AT ITER 204 NEW BEST:: SOT 1102816 SOS 921846 HAS SOPS 559374 HAS SOUS 102235 HAS SOUPS 66406 WITH SCORE 67327.846
AT ITER 206 NEW BEST:: SOT 1102664 SOS 921610 HAS SOPS 559222 HAS SOUS 101999 HAS SOUPS 66254 WITH SCORE 67175.61
AT ITER 215 NEW BEST:: SOT 1102601 SOS 921556 HAS SOPS 559123 HAS SOUS 101864 HAS SOUPS 66103 WITH SCORE 67024.556
AT ITER 216 NEW BEST:: SOT 1102556 SOS 920656 HAS SOPS 558988 HAS SOUS 101793 HAS SOUPS 66077 WITH SCORE 66997.656
AT ITER 233 NEW BEST:: SOT 1102328 SOS 927189 HAS SOPS 562410 HAS SOUS 101729 HAS SOUPS 66061 WITH SCORE 66988.189
AT ITER 241 NEW BEST:: SOT 1102022 SOS 926989 HAS SOPS 561680 HAS SOUS 101087 HAS SOUPS 65003 WITH SCORE 65929.989
AT ITER 252 NEW BEST:: SOT 1101472 SOS 926462 HAS SOPS 561153 HAS SOUS 100455 HAS SOUPS 64371 WITH SCORE 65297.462
AT ITER 253 NEW BEST:: SOT 1101327 SOS 930506 HAS SOPS 562697 HAS SOUS 100396 HAS SOUPS 64312 WITH SCORE 65242.506
AT ITER 254 NEW BEST:: SOT 1101271 SOS 929102 HAS SOPS 562058 HAS SOUS 100324 HAS SOUPS 64285 WITH SCORE 65214.102
AT ITER 272 NEW BEST:: SOT 1101259 SOS 929090 HAS SOPS 562046 HAS SOUS 100321 HAS SOUPS 64278 WITH SCORE 65207.09
AT ITER 296 NEW BEST:: SOT 1101239 SOS 929060 HAS SOPS 562036 HAS SOUS 100309 HAS SOUPS 64273 WITH SCORE 65202.06
AT ITER 298 NEW BEST:: SOT 1101215 SOS 929420 HAS SOPS 561988 HAS SOUS 100285 HAS SOUPS 64225 WITH SCORE 65154.42
AT ITER 301 NEW BEST:: SOT 1099506 SOS 924184 HAS SOPS 560501 HAS SOUS 100362 HAS SOUPS 64132 WITH SCORE 65056.184
AT ITER 321 NEW BEST:: SOT 1099468 SOS 924051 HAS SOPS 560463 HAS SOUS 100343 HAS SOUPS 64132 WITH SCORE 65056.051
AT ITER 326 NEW BEST:: SOT 1099450 SOS 922395 HAS SOPS 558807 HAS SOUS 100343 HAS SOUPS 64132 WITH SCORE 65054.395
AT ITER 331 NEW BEST:: SOT 1099314 SOS 922311 HAS SOPS 558593 HAS SOUS 100175 HAS SOUPS 63860 WITH SCORE 64782.311
AT ITER 337 NEW BEST:: SOT 1099220 SOS 919641 HAS SOPS 557164 HAS SOUS 100093 HAS SOUPS 63851 WITH SCORE 64770.641
AT ITER 368 NEW BEST:: SOT 1099220 SOS 919568 HAS SOPS 557091 HAS SOUS 100020 HAS SOUPS 63778 WITH SCORE 64697.568
AT ITER 370 NEW BEST:: SOT 1099546 SOS 920474 HAS SOPS 557997 HAS SOUS 98713 HAS SOUPS 62471 WITH SCORE 63391.474
AT ITER 377 NEW BEST:: SOT 1097921 SOS 915413 HAS SOPS 556655 HAS SOUS 98755 HAS SOUPS 62416 WITH SCORE 63331.413
AT ITER 408 NEW BEST:: SOT 1097957 SOS 915449 HAS SOPS 556691 HAS SOUS 98747 HAS SOUPS 62412 WITH SCORE 63327.449
AT ITER 417 NEW BEST:: SOT 1097941 SOS 904328 HAS SOPS 547284 HAS SOUS 98531 HAS SOUPS 62282 WITH SCORE 63186.328
AT ITER 419 NEW BEST:: SOT 1097902 SOS 904289 HAS SOPS 547245 HAS SOUS 98492 HAS SOUPS 62243 WITH SCORE 63147.289
AT ITER 425 NEW BEST:: SOT 1097942 SOS 904329 HAS SOPS 547285 HAS SOUS 98472 HAS SOUPS 62223 WITH SCORE 63127.329
AT ITER 429 NEW BEST:: SOT 1098268 SOS 904655 HAS SOPS 547611 HAS SOUS 98456 HAS SOUPS 62191 WITH SCORE 63095.655
AT ITER 436 NEW BEST:: SOT 1097756 SOS 899805 HAS SOPS 544967 HAS SOUS 97991 HAS SOUPS 61980 WITH SCORE 62879.805
AT ITER 470 NEW BEST:: SOT 1097756 SOS 899805 HAS SOPS 544967 HAS SOUS 97983 HAS SOUPS 61972 WITH SCORE 62871.805
AT ITER 483 NEW BEST:: SOT 1097684 SOS 899373 HAS SOPS 544871 HAS SOUS 97911 HAS SOUPS 61924 WITH SCORE 62823.373
AT ITER 494 NEW BEST:: SOT 1097669 SOS 899358 HAS SOPS 544856 HAS SOUS 97896 HAS SOUPS 61909 WITH SCORE 62808.358
AT ITER 495 NEW BEST:: SOT 1098157 SOS 899968 HAS SOPS 545100 HAS SOUS 97803 HAS SOUPS 61816 WITH SCORE 62715.968
AT ITER 496 NEW BEST:: SOT 1097734 SOS 899470 HAS SOPS 544506 HAS SOUS 96981 HAS SOUPS 60926 WITH SCORE 61825.47
AT ITER 502 NEW BEST:: SOT 1097668 SOS 899338 HAS SOPS 544431 HAS SOUS 96876 HAS SOUPS 60887 WITH SCORE 61786.338
AT ITER 514 NEW BEST:: SOT 1097668 SOS 899338 HAS SOPS 543343 HAS SOUS 96893 HAS SOUPS 60840 WITH SCORE 61739.338
AT ITER 517 NEW BEST:: SOT 1097623 SOS 899248 HAS SOPS 543343 HAS SOUS 96848 HAS SOUPS 60840 WITH SCORE 61739.248
AT ITER 519 NEW BEST:: SOT 1097405 SOS 899242 HAS SOPS 542211 HAS SOUS 94442 HAS SOUPS 58501 WITH SCORE 59400.242
AT ITER 522 NEW BEST:: SOT 1098654 SOS 900426 HAS SOPS 543309 HAS SOUS 94269 HAS SOUPS 58366 WITH SCORE 59266.426
AT ITER 524 NEW BEST:: SOT 1098078 SOS 898509 HAS SOPS 542714 HAS SOUS 94458 HAS SOUPS 58366 WITH SCORE 59264.509
AT ITER 525 NEW BEST:: SOT 1098629 SOS 899425 HAS SOPS 542714 HAS SOUS 94314 HAS SOUPS 58106 WITH SCORE 59005.425
AT ITER 548 NEW BEST:: SOT 1098623 SOS 899421 HAS SOPS 542710 HAS SOUS 94314 HAS SOUPS 58106 WITH SCORE 59005.421
AT ITER 550 NEW BEST:: SOT 1098569 SOS 898341 HAS SOPS 542548 HAS SOUS 94260 HAS SOUPS 58106 WITH SCORE 59004.341
AT ITER 559 NEW BEST:: SOT 1099503 SOS 899427 HAS SOPS 542722 HAS SOUS 93506 HAS SOUPS 57352 WITH SCORE 58251.427
AT ITER 560 NEW BEST:: SOT 1098825 SOS 897171 HAS SOPS 542022 HAS SOUS 93728 HAS SOUPS 57352 WITH SCORE 58249.171
AT ITER 563 NEW BEST:: SOT 1098760 SOS 904935 HAS SOPS 546386 HAS SOUS 93706 HAS SOUPS 57330 WITH SCORE 58234.935
AT ITER 567 NEW BEST:: SOT 1100417 SOS 903678 HAS SOPS 545829 HAS SOUS 96307 HAS SOUPS 57078 WITH SCORE 57981.678
AT ITER 572 NEW BEST:: SOT 1100357 SOS 901518 HAS SOPS 544689 HAS SOUS 96247 HAS SOUPS 57078 WITH SCORE 57979.518
AT ITER 586 NEW BEST:: SOT 1100433 SOS 901649 HAS SOPS 544639 HAS SOUS 96252 HAS SOUPS 57028 WITH SCORE 57929.649
AT ITER 592 NEW BEST:: SOT 1100368 SOS 901519 HAS SOPS 544704 HAS SOUS 96122 HAS SOUPS 56963 WITH SCORE 57864.519
AT ITER 608 NEW BEST:: SOT 1100349 SOS 899771 HAS SOPS 542956 HAS SOUS 96122 HAS SOUPS 56963 WITH SCORE 57862.771
AT ITER 609 NEW BEST:: SOT 1100371 SOS 899934 HAS SOPS 543119 HAS SOUS 96111 HAS SOUPS 56952 WITH SCORE 57851.934
AT ITER 611 NEW BEST:: SOT 1100449 SOS 899910 HAS SOPS 544115 HAS SOUS 96027 HAS SOUPS 56928 WITH SCORE 57827.91
AT ITER 617 NEW BEST:: SOT 1100401 SOS 899651 HAS SOPS 543856 HAS SOUS 96024 HAS SOUPS 56925 WITH SCORE 57824.651
AT ITER 630 NEW BEST:: SOT 1100638 SOS 899932 HAS SOPS 544005 HAS SOUS 96019 HAS SOUPS 56920 WITH SCORE 57819.932
AT ITER 631 NEW BEST:: SOT 1100634 SOS 898868 HAS SOPS 543270 HAS SOUS 96005 HAS SOUPS 56906 WITH SCORE 57804.868
AT ITER 634 NEW BEST:: SOT 1100566 SOS 893455 HAS SOPS 538684 HAS SOUS 95883 HAS SOUPS 56833 WITH SCORE 57726.455
AT ITER 635 NEW BEST:: SOT 1100652 SOS 893569 HAS SOPS 538798 HAS SOUS 95868 HAS SOUPS 56818 WITH SCORE 57711.569
AT ITER 653 NEW BEST:: SOT 1100544 SOS 893353 HAS SOPS 538690 HAS SOUS 95652 HAS SOUPS 56710 WITH SCORE 57603.353
AT ITER 656 NEW BEST:: SOT 1100500 SOS 893291 HAS SOPS 538664 HAS SOUS 95608 HAS SOUPS 56684 WITH SCORE 57577.291
AT ITER 683 NEW BEST:: SOT 1100595 SOS 893391 HAS SOPS 538764 HAS SOUS 95573 HAS SOUPS 56649 WITH SCORE 57542.391
AT ITER 686 NEW BEST:: SOT 1100355 SOS 893185 HAS SOPS 538349 HAS SOUS 94769 HAS SOUPS 55858 WITH SCORE 56751.185
AT ITER 689 NEW BEST:: SOT 1100341 SOS 891973 HAS SOPS 537687 HAS SOUS 94755 HAS SOUPS 55844 WITH SCORE 56735.973
AT ITER 699 NEW BEST:: SOT 1100246 SOS 891783 HAS SOPS 537687 HAS SOUS 94660 HAS SOUPS 55844 WITH SCORE 56735.783
AT ITER 714 NEW BEST:: SOT 1099408 SOS 889367 HAS SOPS 534236 HAS SOUS 93890 HAS SOUPS 55074 WITH SCORE 55963.367
AT ITER 725 NEW BEST:: SOT 1099138 SOS 888962 HAS SOPS 534101 HAS SOUS 93795 HAS SOUPS 55039 WITH SCORE 55927.962
AT ITER 734 NEW BEST:: SOT 1099113 SOS 887253 HAS SOPS 532679 HAS SOUS 93716 HAS SOUPS 54960 WITH SCORE 55847.253
AT ITER 735 NEW BEST:: SOT 1099114 SOS 887256 HAS SOPS 532679 HAS SOUS 93716 HAS SOUPS 54959 WITH SCORE 55846.256
AT ITER 739 NEW BEST:: SOT 1100406 SOS 883878 HAS SOPS 532075 HAS SOUS 96414 HAS SOUPS 54870 WITH SCORE 55753.878
AT ITER 768 NEW BEST:: SOT 1100442 SOS 883932 HAS SOPS 532093 HAS SOUS 96324 HAS SOUPS 54816 WITH SCORE 55699.932
AT ITER 769 NEW BEST:: SOT 1100436 SOS 879613 HAS SOPS 529599 HAS SOUS 96318 HAS SOUPS 54810 WITH SCORE 55689.613
AT ITER 771 NEW BEST:: SOT 1100356 SOS 881883 HAS SOPS 530579 HAS SOUS 96273 HAS SOUPS 54736 WITH SCORE 55617.883
AT ITER 776 NEW BEST:: SOT 1100229 SOS 880480 HAS SOPS 529176 HAS SOUS 96146 HAS SOUPS 54609 WITH SCORE 55489.48
AT ITER 793 NEW BEST:: SOT 1100159 SOS 880389 HAS SOPS 529127 HAS SOUS 96076 HAS SOUPS 54560 WITH SCORE 55440.389
AT ITER 799 NEW BEST:: SOT 1099985 SOS 880215 HAS SOPS 528953 HAS SOUS 95902 HAS SOUPS 54386 WITH SCORE 55266.215
AT ITER 814 NEW BEST:: SOT 1099958 SOS 880131 HAS SOPS 528926 HAS SOUS 95818 HAS SOUPS 54359 WITH SCORE 55239.131
AT ITER 819 NEW BEST:: SOT 1099754 SOS 877496 HAS SOPS 528025 HAS SOUS 95687 HAS SOUPS 54330 WITH SCORE 55207.496
AT ITER 820 NEW BEST:: SOT 1099731 SOS 877451 HAS SOPS 528024 HAS SOUS 95664 HAS SOUPS 54329 WITH SCORE 55206.451
AT ITER 821 NEW BEST:: SOT 1099468 SOS 877047 HAS SOPS 527902 HAS SOUS 95555 HAS SOUPS 54295 WITH SCORE 55172.047
AT ITER 824 NEW BEST:: SOT 1099481 SOS 877050 HAS SOPS 527905 HAS SOUS 95512 HAS SOUPS 54252 WITH SCORE 55129.05
AT ITER 835 NEW BEST:: SOT 1099471 SOS 877040 HAS SOPS 527933 HAS SOUS 95509 HAS SOUPS 54245 WITH SCORE 55122.04
AT ITER 866 NEW BEST:: SOT 1099641 SOS 877290 HAS SOPS 527879 HAS SOUS 95535 HAS SOUPS 54191 WITH SCORE 55068.29
AT ITER 867 NEW BEST:: SOT 1099605 SOS 877254 HAS SOPS 527843 HAS SOUS 95499 HAS SOUPS 54155 WITH SCORE 55032.254
AT ITER 871 NEW BEST:: SOT 1099602 SOS 877251 HAS SOPS 527840 HAS SOUS 95496 HAS SOUPS 54152 WITH SCORE 55029.251
AT ITER 903 NEW BEST:: SOT 1099592 SOS 877241 HAS SOPS 527840 HAS SOUS 95404 HAS SOUPS 54092 WITH SCORE 54969.241
AT ITER 914 NEW BEST:: SOT 1099589 SOS 877238 HAS SOPS 527837 HAS SOUS 95401 HAS SOUPS 54089 WITH SCORE 54966.238
AT ITER 927 NEW BEST:: SOT 1099581 SOS 877222 HAS SOPS 527833 HAS SOUS 95397 HAS SOUPS 54089 WITH SCORE 54966.222
AT ITER 932 NEW BEST:: SOT 1099581 SOS 877222 HAS SOPS 527786 HAS SOUS 95350 HAS SOUPS 54042 WITH SCORE 54919.222
AT ITER 942 NEW BEST:: SOT 1099483 SOS 877138 HAS SOPS 527870 HAS SOUS 95331 HAS SOUPS 54019 WITH SCORE 54896.138
AT ITER 943 NEW BEST:: SOT 1097642 SOS 872536 HAS SOPS 523798 HAS SOUS 95204 HAS SOUPS 53839 WITH SCORE 54711.536
AT ITER 946 NEW BEST:: SOT 1097521 SOS 872612 HAS SOPS 523884 HAS SOUS 95108 HAS SOUPS 53743 WITH SCORE 54615.612
AT ITER 966 NEW BEST:: SOT 1097463 SOS 872496 HAS SOPS 523884 HAS SOUS 95050 HAS SOUPS 53743 WITH SCORE 54615.496
AT ITER 974 NEW BEST:: SOT 1097463 SOS 872465 HAS SOPS 523884 HAS SOUS 95050 HAS SOUPS 53743 WITH SCORE 54615.465
AT ITER 986 NEW BEST:: SOT 1097052 SOS 871758 HAS SOPS 523573 HAS SOUS 94907 HAS SOUPS 53628 WITH SCORE 54499.758
AT ITER 1000 NEW BEST:: SOT 1096734 SOS 871418 HAS SOPS 522782 HAS SOUS 93115 HAS SOUPS 51842 WITH SCORE 52713.418
AT ITER 1005 NEW BEST:: SOT 1096863 SOS 877878 HAS SOPS 527777 HAS SOUS 92733 HAS SOUPS 51772 WITH SCORE 52649.878
AT ITER 1017 NEW BEST:: SOT 1097579 SOS 878492 HAS SOPS 528595 HAS SOUS 92561 HAS SOUPS 51702 WITH SCORE 52580.492
AT ITER 1028 NEW BEST:: SOT 1097630 SOS 878593 HAS SOPS 528546 HAS SOUS 92562 HAS SOUPS 51653 WITH SCORE 52531.593
AT ITER 1030 NEW BEST:: SOT 1097598 SOS 878529 HAS SOPS 528546 HAS SOUS 92530 HAS SOUPS 51653 WITH SCORE 52531.529
AT ITER 1036 NEW BEST:: SOT 1097574 SOS 878345 HAS SOPS 528362 HAS SOUS 92506 HAS SOUPS 51629 WITH SCORE 52507.345
AT ITER 1048 NEW BEST:: SOT 1097453 SOS 878146 HAS SOPS 528243 HAS SOUS 92448 HAS SOUPS 51586 WITH SCORE 52464.146
AT ITER 1050 NEW BEST:: SOT 1097429 SOS 876814 HAS SOPS 526911 HAS SOUS 92436 HAS SOUPS 51574 WITH SCORE 52450.814
AT ITER 1052 NEW BEST:: SOT 1097535 SOS 876910 HAS SOPS 526949 HAS SOUS 92422 HAS SOUPS 51520 WITH SCORE 52396.91
AT ITER 1055 NEW BEST:: SOT 1097537 SOS 876591 HAS SOPS 527271 HAS SOUS 92355 HAS SOUPS 51491 WITH SCORE 52367.591
AT ITER 1059 NEW BEST:: SOT 1097469 SOS 876455 HAS SOPS 527271 HAS SOUS 92323 HAS SOUPS 51491 WITH SCORE 52367.455
AT ITER 1064 NEW BEST:: SOT 1097461 SOS 876439 HAS SOPS 527267 HAS SOUS 92319 HAS SOUPS 51491 WITH SCORE 52367.439
AT ITER 1071 NEW BEST:: SOT 1097404 SOS 876325 HAS SOPS 527267 HAS SOUS 92262 HAS SOUPS 51491 WITH SCORE 52367.325
AT ITER 1072 NEW BEST:: SOT 1097415 SOS 874143 HAS SOPS 525411 HAS SOUS 92220 HAS SOUPS 51471 WITH SCORE 52345.143
AT ITER 1078 NEW BEST:: SOT 1097538 SOS 869444 HAS SOPS 521378 HAS SOUS 92155 HAS SOUPS 51406 WITH SCORE 52275.444
AT ITER 1081 NEW BEST:: SOT 1097485 SOS 869338 HAS SOPS 521378 HAS SOUS 92102 HAS SOUPS 51406 WITH SCORE 52275.338
AT ITER 1087 NEW BEST:: SOT 1097509 SOS 869497 HAS SOPS 521537 HAS SOUS 92053 HAS SOUPS 51357 WITH SCORE 52226.497
AT ITER 1101 NEW BEST:: SOT 1097498 SOS 869475 HAS SOPS 521294 HAS SOUS 92056 HAS SOUPS 51347 WITH SCORE 52216.475
AT ITER 1103 NEW BEST:: SOT 1097004 SOS 869019 HAS SOPS 521294 HAS SOUS 91445 HAS SOUPS 51345 WITH SCORE 52214.019
AT ITER 1115 NEW BEST:: SOT 1097532 SOS 869622 HAS SOPS 521573 HAS SOUS 90827 HAS SOUPS 50835 WITH SCORE 51704.622
AT ITER 1119 NEW BEST:: SOT 1097532 SOS 869637 HAS SOPS 521573 HAS SOUS 90812 HAS SOUPS 50820 WITH SCORE 51689.637
AT ITER 1120 NEW BEST:: SOT 1097526 SOS 869625 HAS SOPS 521573 HAS SOUS 90806 HAS SOUPS 50820 WITH SCORE 51689.625
AT ITER 1128 NEW BEST:: SOT 1097596 SOS 869877 HAS SOPS 521657 HAS SOUS 90731 HAS SOUPS 50797 WITH SCORE 51666.877
AT ITER 1138 NEW BEST:: SOT 1097511 SOS 869861 HAS SOPS 521503 HAS SOUS 90772 HAS SOUPS 50757 WITH SCORE 51626.861
AT ITER 1154 NEW BEST:: SOT 1097523 SOS 869876 HAS SOPS 521503 HAS SOUS 90748 HAS SOUPS 50733 WITH SCORE 51602.876
AT ITER 1156 NEW BEST:: SOT 1097722 SOS 870284 HAS SOPS 521133 HAS SOUS 89116 HAS SOUPS 49252 WITH SCORE 50122.284
AT ITER 1165 NEW BEST:: SOT 1097639 SOS 870201 HAS SOPS 521133 HAS SOUS 89116 HAS SOUPS 49252 WITH SCORE 50122.201
AT ITER 1167 NEW BEST:: SOT 1097612 SOS 870176 HAS SOPS 521104 HAS SOUS 89089 HAS SOUPS 49223 WITH SCORE 50093.176
AT ITER 1173 NEW BEST:: SOT 1099452 SOS 872208 HAS SOPS 521984 HAS SOUS 89450 HAS SOUPS 49132 WITH SCORE 50004.208
AT ITER 1180 NEW BEST:: SOT 1099783 SOS 872594 HAS SOPS 522150 HAS SOUS 89176 HAS SOUPS 48913 WITH SCORE 49785.594
AT ITER 1193 NEW BEST:: SOT 1099898 SOS 872685 HAS SOPS 522186 HAS SOUS 89137 HAS SOUPS 48902 WITH SCORE 49774.685
AT ITER 1195 NEW BEST:: SOT 1099808 SOS 872729 HAS SOPS 521828 HAS SOUS 89160 HAS SOUPS 48791 WITH SCORE 49663.729
AT ITER 1208 NEW BEST:: SOT 1099740 SOS 872661 HAS SOPS 521828 HAS SOUS 89160 HAS SOUPS 48791 WITH SCORE 49663.661
AT ITER 1214 NEW BEST:: SOT 1098035 SOS 867171 HAS SOPS 519936 HAS SOUS 89901 HAS SOUPS 48729 WITH SCORE 49596.171
AT ITER 1221 NEW BEST:: SOT 1097999 SOS 867111 HAS SOPS 519924 HAS SOUS 89865 HAS SOUPS 48693 WITH SCORE 49560.111
AT ITER 1227 NEW BEST:: SOT 1097991 SOS 867099 HAS SOPS 519920 HAS SOUS 89857 HAS SOUPS 48689 WITH SCORE 49556.099
AT ITER 1242 NEW BEST:: SOT 1097991 SOS 867099 HAS SOPS 519894 HAS SOUS 89831 HAS SOUPS 48663 WITH SCORE 49530.099
AT ITER 1247 NEW BEST:: SOT 1097991 SOS 867915 HAS SOPS 520710 HAS SOUS 89819 HAS SOUPS 48651 WITH SCORE 49518.915
AT ITER 1265 NEW BEST:: SOT 1098014 SOS 867961 HAS SOPS 520710 HAS SOUS 89693 HAS SOUPS 48556 WITH SCORE 49423.961
AT ITER 1287 NEW BEST:: SOT 1098010 SOS 867957 HAS SOPS 520706 HAS SOUS 89689 HAS SOUPS 48552 WITH SCORE 49419.957
AT ITER 1298 NEW BEST:: SOT 1098105 SOS 869841 HAS SOPS 522041 HAS SOUS 87297 HAS SOUPS 48233 WITH SCORE 49102.841
AT ITER 1301 NEW BEST:: SOT 1098136 SOS 868999 HAS SOPS 521223 HAS SOUS 87268 HAS SOUPS 48204 WITH SCORE 49072.999
AT ITER 1317 NEW BEST:: SOT 1096904 SOS 867767 HAS SOPS 519991 HAS SOUS 87113 HAS SOUPS 48061 WITH SCORE 48928.767
AT ITER 1332 NEW BEST:: SOT 1096889 SOS 867687 HAS SOPS 519911 HAS SOUS 87108 HAS SOUPS 48056 WITH SCORE 48923.687
AT ITER 1336 NEW BEST:: SOT 1095783 SOS 866501 HAS SOPS 519300 HAS SOUS 87108 HAS SOUPS 48056 WITH SCORE 48922.501
AT ITER 1359 NEW BEST:: SOT 1095769 SOS 866485 HAS SOPS 519290 HAS SOUS 87108 HAS SOUPS 48054 WITH SCORE 48920.485
AT ITER 1361 NEW BEST:: SOT 1095754 SOS 866455 HAS SOPS 519290 HAS SOUS 87093 HAS SOUPS 48054 WITH SCORE 48920.455
AT ITER 1365 NEW BEST:: SOT 1094981 SOS 865682 HAS SOPS 518517 HAS SOUS 86965 HAS SOUPS 47954 WITH SCORE 48819.682
AT ITER 1383 NEW BEST:: SOT 1094971 SOS 865652 HAS SOPS 518507 HAS SOUS 86955 HAS SOUPS 47954 WITH SCORE 48819.652
AT ITER 1390 NEW BEST:: SOT 1095163 SOS 865796 HAS SOPS 518603 HAS SOUS 86859 HAS SOUPS 47882 WITH SCORE 48747.796
AT ITER 1391 NEW BEST:: SOT 1094732 SOS 866342 HAS SOPS 519659 HAS SOUS 84965 HAS SOUPS 47820 WITH SCORE 48686.342
AT ITER 1403 NEW BEST:: SOT 1094714 SOS 866324 HAS SOPS 519641 HAS SOUS 84947 HAS SOUPS 47802 WITH SCORE 48668.324
AT ITER 1406 NEW BEST:: SOT 1094642 SOS 865634 HAS SOPS 519173 HAS SOUS 84937 HAS SOUPS 47792 WITH SCORE 48657.634
AT ITER 1417 NEW BEST:: SOT 1094685 SOS 865624 HAS SOPS 519173 HAS SOUS 84884 HAS SOUPS 47792 WITH SCORE 48657.624
AT ITER 1432 NEW BEST:: SOT 1094701 SOS 865656 HAS SOPS 519181 HAS SOUS 84864 HAS SOUPS 47776 WITH SCORE 48641.656
AT ITER 1462 NEW BEST:: SOT 1094783 SOS 865779 HAS SOPS 519181 HAS SOUS 84881 HAS SOUPS 47761 WITH SCORE 48626.779
AT ITER 1466 NEW BEST:: SOT 1094771 SOS 865815 HAS SOPS 519178 HAS SOUS 84881 HAS SOUPS 47758 WITH SCORE 48623.815
AT ITER 1477 NEW BEST:: SOT 1094741 SOS 865785 HAS SOPS 519148 HAS SOUS 84881 HAS SOUPS 47758 WITH SCORE 48623.785
AT ITER 1480 NEW BEST:: SOT 1094783 SOS 865925 HAS SOPS 519190 HAS SOUS 84846 HAS SOUPS 47744 WITH SCORE 48609.925
AT ITER 1487 NEW BEST:: SOT 1094785 SOS 865861 HAS SOPS 519177 HAS SOUS 84843 HAS SOUPS 47741 WITH SCORE 48606.861
AT ITER 1493 NEW BEST:: SOT 1094818 SOS 865899 HAS SOPS 519190 HAS SOUS 84816 HAS SOUPS 47714 WITH SCORE 48579.899
AT ITER 1500 NEW BEST:: SOT 1094653 SOS 865699 HAS SOPS 519060 HAS SOUS 84716 HAS SOUPS 47653 WITH SCORE 48518.699
AT ITER 1502 NEW BEST:: SOT 1094623 SOS 865663 HAS SOPS 519039 HAS SOUS 84716 HAS SOUPS 47653 WITH SCORE 48518.663
AT ITER 1504 NEW BEST:: SOT 1094586 SOS 865568 HAS SOPS 519002 HAS SOUS 84621 HAS SOUPS 47616 WITH SCORE 48481.568
AT ITER 1522 NEW BEST:: SOT 1094583 SOS 865564 HAS SOPS 519000 HAS SOUS 84619 HAS SOUPS 47615 WITH SCORE 48480.564
AT ITER 1523 NEW BEST:: SOT 1094538 SOS 865474 HAS SOPS 518955 HAS SOUS 84529 HAS SOUPS 47570 WITH SCORE 48435.474
AT ITER 1537 NEW BEST:: SOT 1094538 SOS 865521 HAS SOPS 518908 HAS SOUS 84529 HAS SOUPS 47523 WITH SCORE 48388.521
AT ITER 1538 NEW BEST:: SOT 1095577 SOS 868915 HAS SOPS 520036 HAS SOUS 83498 HAS SOUPS 47333 WITH SCORE 48201.915
AT ITER 1549 NEW BEST:: SOT 1095575 SOS 868893 HAS SOPS 520033 HAS SOUS 83497 HAS SOUPS 47333 WITH SCORE 48201.893
AT ITER 1561 NEW BEST:: SOT 1095575 SOS 868794 HAS SOPS 519934 HAS SOUS 83474 HAS SOUPS 47310 WITH SCORE 48178.794
AT ITER 1566 NEW BEST:: SOT 1095687 SOS 868874 HAS SOPS 519982 HAS SOUS 83394 HAS SOUPS 47246 WITH SCORE 48114.874
AT ITER 1571 NEW BEST:: SOT 1095495 SOS 866740 HAS SOPS 519973 HAS SOUS 83229 HAS SOUPS 47206 WITH SCORE 48072.74
AT ITER 1579 NEW BEST:: SOT 1095495 SOS 866740 HAS SOPS 519973 HAS SOUS 83220 HAS SOUPS 47201 WITH SCORE 48067.74
AT ITER 1584 NEW BEST:: SOT 1095385 SOS 856693 HAS SOPS 511779 HAS SOUS 83101 HAS SOUPS 47191 WITH SCORE 48047.693
AT ITER 1592 NEW BEST:: SOT 1095369 SOS 856346 HAS SOPS 511857 HAS SOUS 83035 HAS SOUPS 47150 WITH SCORE 48006.346
AT ITER 1599 NEW BEST:: SOT 1095360 SOS 856328 HAS SOPS 511857 HAS SOUS 83026 HAS SOUPS 47150 WITH SCORE 48006.328
AT ITER 1604 NEW BEST:: SOT 1095333 SOS 855977 HAS SOPS 511659 HAS SOUS 82990 HAS SOUPS 47123 WITH SCORE 47978.977
AT ITER 1606 NEW BEST:: SOT 1095483 SOS 856227 HAS SOPS 511709 HAS SOUS 83012 HAS SOUPS 47107 WITH SCORE 47963.227
AT ITER 1613 NEW BEST:: SOT 1095475 SOS 856211 HAS SOPS 511557 HAS SOUS 83020 HAS SOUPS 47107 WITH SCORE 47963.211
AT ITER 1614 NEW BEST:: SOT 1095319 SOS 855821 HAS SOPS 511466 HAS SOUS 82994 HAS SOUPS 47094 WITH SCORE 47949.821
AT ITER 1619 NEW BEST:: SOT 1097112 SOS 857606 HAS SOPS 513267 HAS SOUS 82960 HAS SOUPS 47040 WITH SCORE 47897.606
AT ITER 1623 NEW BEST:: SOT 1097405 SOS 857928 HAS SOPS 513490 HAS SOUS 82914 HAS SOUPS 47027 WITH SCORE 47884.928
AT ITER 1626 NEW BEST:: SOT 1097549 SOS 857120 HAS SOPS 514484 HAS SOUS 82735 HAS SOUPS 46954 WITH SCORE 47811.12
AT ITER 1634 NEW BEST:: SOT 1097642 SOS 857369 HAS SOPS 514544 HAS SOUS 82726 HAS SOUPS 46945 WITH SCORE 47802.369
AT ITER 1637 NEW BEST:: SOT 1097723 SOS 856890 HAS SOPS 515340 HAS SOUS 82633 HAS SOUPS 46927 WITH SCORE 47783.89
AT ITER 1643 NEW BEST:: SOT 1097826 SOS 856993 HAS SOPS 515443 HAS SOUS 82601 HAS SOUPS 46895 WITH SCORE 47751.993
AT ITER 1648 NEW BEST:: SOT 1097797 SOS 855796 HAS SOPS 515385 HAS SOUS 82534 HAS SOUPS 46895 WITH SCORE 47750.796
AT ITER 1660 NEW BEST:: SOT 1097734 SOS 855712 HAS SOPS 515343 HAS SOUS 82492 HAS SOUPS 46874 WITH SCORE 47729.712
AT ITER 1661 NEW BEST:: SOT 1097709 SOS 855644 HAS SOPS 515318 HAS SOUS 82424 HAS SOUPS 46849 WITH SCORE 47704.644
AT ITER 1669 NEW BEST:: SOT 1097453 SOS 854876 HAS SOPS 514614 HAS SOUS 82424 HAS SOUPS 46817 WITH SCORE 47671.876
AT ITER 1682 NEW BEST:: SOT 1096454 SOS 853610 HAS SOPS 513707 HAS SOUS 82428 HAS SOUPS 46786 WITH SCORE 47639.61
AT ITER 1706 NEW BEST:: SOT 1096454 SOS 853400 HAS SOPS 513497 HAS SOUS 82428 HAS SOUPS 46786 WITH SCORE 47639.4
AT ITER 1709 NEW BEST:: SOT 1096454 SOS 852924 HAS SOPS 513497 HAS SOUS 82400 HAS SOUPS 46786 WITH SCORE 47638.924
AT ITER 1714 NEW BEST:: SOT 1095024 SOS 851458 HAS SOPS 511773 HAS SOUS 81241 HAS SOUPS 45663 WITH SCORE 46514.458
AT ITER 1721 NEW BEST:: SOT 1095020 SOS 851450 HAS SOPS 511771 HAS SOUS 81239 HAS SOUPS 45663 WITH SCORE 46514.45
AT ITER 1744 NEW BEST:: SOT 1095003 SOS 851416 HAS SOPS 511771 HAS SOUS 81222 HAS SOUPS 45663 WITH SCORE 46514.416
AT ITER 1745 NEW BEST:: SOT 1094921 SOS 851334 HAS SOPS 511771 HAS SOUS 81058 HAS SOUPS 45499 WITH SCORE 46350.334
AT ITER 1749 NEW BEST:: SOT 1094941 SOS 851926 HAS SOPS 512187 HAS SOUS 80353 HAS SOUPS 45396 WITH SCORE 46247.926
AT ITER 1762 NEW BEST:: SOT 1095031 SOS 852016 HAS SOPS 512012 HAS SOUS 80111 HAS SOUPS 45154 WITH SCORE 46006.016
AT ITER 1768 NEW BEST:: SOT 1094716 SOS 851701 HAS SOPS 511742 HAS SOUS 79824 HAS SOUPS 44978 WITH SCORE 45829.701
AT ITER 1773 NEW BEST:: SOT 1094716 SOS 851730 HAS SOPS 511568 HAS SOUS 79795 HAS SOUPS 44920 WITH SCORE 45771.73
AT ITER 1783 NEW BEST:: SOT 1094687 SOS 849323 HAS SOPS 511133 HAS SOUS 79664 HAS SOUPS 44905 WITH SCORE 45754.323
AT ITER 1801 NEW BEST:: SOT 1094632 SOS 848038 HAS SOPS 510028 HAS SOUS 79554 HAS SOUPS 44795 WITH SCORE 45643.038
AT ITER 1808 NEW BEST:: SOT 1094551 SOS 847899 HAS SOPS 510005 HAS SOUS 79473 HAS SOUPS 44772 WITH SCORE 45619.899
AT ITER 1811 NEW BEST:: SOT 1094646 SOS 848003 HAS SOPS 510109 HAS SOUS 79445 HAS SOUPS 44744 WITH SCORE 45592.003
AT ITER 1823 NEW BEST:: SOT 1094676 SOS 848061 HAS SOPS 510111 HAS SOUS 79419 HAS SOUPS 44718 WITH SCORE 45566.061
AT ITER 1825 NEW BEST:: SOT 1094635 SOS 845530 HAS SOPS 507580 HAS SOUS 79402 HAS SOUPS 44701 WITH SCORE 45546.53
AT ITER 1827 NEW BEST:: SOT 1094602 SOS 842409 HAS SOPS 504542 HAS SOUS 79338 HAS SOUPS 44693 WITH SCORE 45535.409
AT ITER 1829 NEW BEST:: SOT 1094594 SOS 842393 HAS SOPS 504538 HAS SOUS 79334 HAS SOUPS 44693 WITH SCORE 45535.393
AT ITER 1848 NEW BEST:: SOT 1094841 SOS 842674 HAS SOPS 504683 HAS SOUS 79279 HAS SOUPS 44672 WITH SCORE 45514.674
AT ITER 1860 NEW BEST:: SOT 1093689 SOS 838838 HAS SOPS 503391 HAS SOUS 79155 HAS SOUPS 44652 WITH SCORE 45490.838
AT ITER 1887 NEW BEST:: SOT 1093678 SOS 838827 HAS SOPS 503380 HAS SOUS 79144 HAS SOUPS 44641 WITH SCORE 45479.827
AT ITER 1898 NEW BEST:: SOT 1093532 SOS 828227 HAS SOPS 494718 HAS SOUS 78793 HAS SOUPS 44404 WITH SCORE 45232.227
AT ITER 1923 NEW BEST:: SOT 1093517 SOS 828197 HAS SOPS 494703 HAS SOUS 78763 HAS SOUPS 44389 WITH SCORE 45217.197
AT ITER 1928 NEW BEST:: SOT 1093360 SOS 825611 HAS SOPS 494234 HAS SOUS 78492 HAS SOUPS 44242 WITH SCORE 45067.611
AT ITER 1934 NEW BEST:: SOT 1093358 SOS 825591 HAS SOPS 494231 HAS SOUS 78491 HAS SOUPS 44242 WITH SCORE 45067.591
AT ITER 1943 NEW BEST:: SOT 1093364 SOS 825569 HAS SOPS 494231 HAS SOUS 78463 HAS SOUPS 44242 WITH SCORE 45067.569
AT ITER 1944 NEW BEST:: SOT 1093340 SOS 825545 HAS SOPS 494207 HAS SOUS 78439 HAS SOUPS 44218 WITH SCORE 45043.545
AT ITER 1958 NEW BEST:: SOT 1093276 SOS 825481 HAS SOPS 494207 HAS SOUS 78412 HAS SOUPS 44203 WITH SCORE 45028.481
AT ITER 1971 NEW BEST:: SOT 1093423 SOS 825724 HAS SOPS 494292 HAS SOUS 78371 HAS SOUPS 44199 WITH SCORE 45024.724
AT ITER 1975 NEW BEST:: SOT 1093408 SOS 825709 HAS SOPS 494292 HAS SOUS 78371 HAS SOUPS 44199 WITH SCORE 45024.709
AT ITER 1981 NEW BEST:: SOT 1093284 SOS 824693 HAS SOPS 493408 HAS SOUS 78259 HAS SOUPS 44121 WITH SCORE 44945.693
AT ITER 2010 NEW BEST:: SOT 1093135 SOS 824312 HAS SOPS 493167 HAS SOUS 78243 HAS SOUPS 44105 WITH SCORE 44929.312
AT ITER 2021 NEW BEST:: SOT 1093203 SOS 823422 HAS SOPS 493195 HAS SOUS 78184 HAS SOUPS 44100 WITH SCORE 44923.422
AT ITER 2043 NEW BEST:: SOT 1093189 SOS 823395 HAS SOPS 493181 HAS SOUS 78157 HAS SOUPS 44086 WITH SCORE 44909.395
AT ITER 2045 NEW BEST:: SOT 1092012 SOS 805434 HAS SOPS 478811 HAS SOUS 77978 HAS SOUPS 44037 WITH SCORE 44842.434
AT ITER 2055 NEW BEST:: SOT 1091979 SOS 805288 HAS SOPS 478777 HAS SOUS 77961 HAS SOUPS 44020 WITH SCORE 44825.288
AT ITER 2061 NEW BEST:: SOT 1091974 SOS 805283 HAS SOPS 478777 HAS SOUS 77961 HAS SOUPS 44020 WITH SCORE 44825.283
AT ITER 2080 NEW BEST:: SOT 1091347 SOS 803491 HAS SOPS 478259 HAS SOUS 77928 HAS SOUPS 43964 WITH SCORE 44767.491
AT ITER 2093 NEW BEST:: SOT 1091346 SOS 803493 HAS SOPS 478258 HAS SOUS 77927 HAS SOUPS 43963 WITH SCORE 44766.493
AT ITER 2110 NEW BEST:: SOT 1091332 SOS 803479 HAS SOPS 478258 HAS SOUS 77890 HAS SOUPS 43930 WITH SCORE 44733.479
AT ITER 2114 NEW BEST:: SOT 1091432 SOS 803579 HAS SOPS 478258 HAS SOUS 77872 HAS SOUPS 43920 WITH SCORE 44723.579
AT ITER 2115 NEW BEST:: SOT 1091242 SOS 803085 HAS SOPS 478144 HAS SOUS 77872 HAS SOUPS 43920 WITH SCORE 44723.085
AT ITER 2120 NEW BEST:: SOT 1091224 SOS 803138 HAS SOPS 478055 HAS SOUS 77872 HAS SOUPS 43849 WITH SCORE 44652.138
AT ITER 2131 NEW BEST:: SOT 1090811 SOS 802612 HAS SOPS 477755 HAS SOUS 77546 HAS SOUPS 43680 WITH SCORE 44482.612
AT ITER 2139 NEW BEST:: SOT 1090664 SOS 804273 HAS SOPS 477189 HAS SOUS 77652 HAS SOUPS 43655 WITH SCORE 44459.273
AT ITER 2141 NEW BEST:: SOT 1090668 SOS 804231 HAS SOPS 477189 HAS SOUS 77606 HAS SOUPS 43655 WITH SCORE 44459.231
AT ITER 2172 NEW BEST:: SOT 1090696 SOS 802801 HAS SOPS 477136 HAS SOUS 77391 HAS SOUPS 43521 WITH SCORE 44323.801
AT ITER 2176 NEW BEST:: SOT 1090239 SOS 802147 HAS SOPS 477032 HAS SOUS 77132 HAS SOUPS 43417 WITH SCORE 44219.147
AT ITER 2181 NEW BEST:: SOT 1090095 SOS 802003 HAS SOPS 476888 HAS SOUS 77132 HAS SOUPS 43417 WITH SCORE 44219.003
AT ITER 2186 NEW BEST:: SOT 1090033 SOS 801941 HAS SOPS 476888 HAS SOUS 77132 HAS SOUPS 43417 WITH SCORE 44218.941
AT ITER 2187 NEW BEST:: SOT 1090033 SOS 801903 HAS SOPS 477211 HAS SOUS 77112 HAS SOUPS 43417 WITH SCORE 44218.903
AT ITER 2200 NEW BEST:: SOT 1090164 SOS 802034 HAS SOPS 477211 HAS SOUS 77103 HAS SOUPS 43412 WITH SCORE 44214.034
AT ITER 2209 NEW BEST:: SOT 1089977 SOS 801269 HAS SOPS 476786 HAS SOUS 77069 HAS SOUPS 43378 WITH SCORE 44179.269
AT ITER 2224 NEW BEST:: SOT 1089884 SOS 801109 HAS SOPS 476760 HAS SOUS 76976 HAS SOUPS 43352 WITH SCORE 44153.109
AT ITER 2231 NEW BEST:: SOT 1089856 SOS 800843 HAS SOPS 476501 HAS SOUS 76976 HAS SOUPS 43345 WITH SCORE 44145.843
AT ITER 2233 NEW BEST:: SOT 1089851 SOS 800843 HAS SOPS 476501 HAS SOUS 76971 HAS SOUPS 43340 WITH SCORE 44140.843
AT ITER 2256 NEW BEST:: SOT 1089825 SOS 800817 HAS SOPS 476475 HAS SOUS 76945 HAS SOUPS 43314 WITH SCORE 44114.817
AT ITER 2260 NEW BEST:: SOT 1089817 SOS 800785 HAS SOPS 476467 HAS SOUS 76913 HAS SOUPS 43306 WITH SCORE 44106.785
AT ITER 2263 NEW BEST:: SOT 1089828 SOS 800740 HAS SOPS 476467 HAS SOUS 76857 HAS SOUPS 43306 WITH SCORE 44106.74
AT ITER 2266 NEW BEST:: SOT 1089808 SOS 800720 HAS SOPS 476447 HAS SOUS 76857 HAS SOUPS 43306 WITH SCORE 44106.72
AT ITER 2281 NEW BEST:: SOT 1089767 SOS 800679 HAS SOPS 476447 HAS SOUS 76857 HAS SOUPS 43306 WITH SCORE 44106.679
AT ITER 2292 NEW BEST:: SOT 1090321 SOS 802525 HAS SOPS 477027 HAS SOUS 76454 HAS SOUPS 43180 WITH SCORE 43982.525
AT ITER 2294 NEW BEST:: SOT 1090309 SOS 802505 HAS SOPS 477023 HAS SOUS 76450 HAS SOUPS 43180 WITH SCORE 43982.505
AT ITER 2299 NEW BEST:: SOT 1089820 SOS 801212 HAS SOPS 476708 HAS SOUS 76411 HAS SOUPS 43180 WITH SCORE 43981.212
AT ITER 2304 NEW BEST:: SOT 1089820 SOS 801212 HAS SOPS 476708 HAS SOUS 76402 HAS SOUPS 43175 WITH SCORE 43976.212
AT ITER 2317 NEW BEST:: SOT 1089202 SOS 800594 HAS SOPS 476495 HAS SOUS 76402 HAS SOUPS 43175 WITH SCORE 43975.594
AT ITER 2323 NEW BEST:: SOT 1089172 SOS 800400 HAS SOPS 476269 HAS SOUS 76365 HAS SOUPS 43123 WITH SCORE 43923.4
AT ITER 2330 NEW BEST:: SOT 1087864 SOS 795128 HAS SOPS 473806 HAS SOUS 76198 HAS SOUPS 43076 WITH SCORE 43871.128
AT ITER 2333 NEW BEST:: SOT 1087864 SOS 795128 HAS SOPS 473806 HAS SOUS 76195 HAS SOUPS 43074 WITH SCORE 43869.128
AT ITER 2338 NEW BEST:: SOT 1087663 SOS 793030 HAS SOPS 469906 HAS SOUS 76145 HAS SOUPS 42918 WITH SCORE 43711.03
AT ITER 2353 NEW BEST:: SOT 1087702 SOS 793069 HAS SOPS 469906 HAS SOUS 76109 HAS SOUPS 42898 WITH SCORE 43691.069
AT ITER 2376 NEW BEST:: SOT 1087671 SOS 793012 HAS SOPS 469901 HAS SOUS 76078 HAS SOUPS 42893 WITH SCORE 43686.012
AT ITER 2388 NEW BEST:: SOT 1087657 SOS 792998 HAS SOPS 469901 HAS SOUS 76078 HAS SOUPS 42893 WITH SCORE 43685.998
AT ITER 2395 NEW BEST:: SOT 1087655 SOS 792996 HAS SOPS 469901 HAS SOUS 76078 HAS SOUPS 42893 WITH SCORE 43685.996
AT ITER 2397 NEW BEST:: SOT 1087516 SOS 792574 HAS SOPS 469775 HAS SOUS 76083 HAS SOUPS 42875 WITH SCORE 43667.574
AT ITER 2405 NEW BEST:: SOT 1087516 SOS 792489 HAS SOPS 469690 HAS SOUS 76083 HAS SOUPS 42875 WITH SCORE 43667.489
AT ITER 2410 NEW BEST:: SOT 1087516 SOS 791787 HAS SOPS 469651 HAS SOUS 76005 HAS SOUPS 42836 WITH SCORE 43627.787
AT ITER 2423 NEW BEST:: SOT 1087516 SOS 791787 HAS SOPS 469651 HAS SOUS 75951 HAS SOUPS 42806 WITH SCORE 43597.787
AT ITER 2427 NEW BEST:: SOT 1087482 SOS 791736 HAS SOPS 469634 HAS SOUS 75921 HAS SOUPS 42789 WITH SCORE 43580.736
AT ITER 2448 NEW BEST:: SOT 1087499 SOS 791741 HAS SOPS 469615 HAS SOUS 75890 HAS SOUPS 42770 WITH SCORE 43561.741
AT ITER 2455 NEW BEST:: SOT 1087445 SOS 791327 HAS SOPS 469201 HAS SOUS 75872 HAS SOUPS 42752 WITH SCORE 43543.327
AT ITER 2456 NEW BEST:: SOT 1087268 SOS 792893 HAS SOPS 469186 HAS SOUS 75922 HAS SOUPS 42709 WITH SCORE 43501.893
AT ITER 2485 NEW BEST:: SOT 1087268 SOS 792848 HAS SOPS 469141 HAS SOUS 75919 HAS SOUPS 42706 WITH SCORE 43498.848
AT ITER 2496 NEW BEST:: SOT 1087268 SOS 791136 HAS SOPS 467701 HAS SOUS 75903 HAS SOUPS 42706 WITH SCORE 43497.136
AT ITER 2523 NEW BEST:: SOT 1087177 SOS 791052 HAS SOPS 467701 HAS SOUS 75770 HAS SOUPS 42692 WITH SCORE 43483.052
AT ITER 2528 NEW BEST:: SOT 1087826 SOS 794570 HAS SOPS 469586 HAS SOUS 75785 HAS SOUPS 42650 WITH SCORE 43444.57
AT ITER 2568 NEW BEST:: SOT 1087886 SOS 794597 HAS SOPS 469541 HAS SOUS 75707 HAS SOUPS 42605 WITH SCORE 43399.597
AT ITER 2577 NEW BEST:: SOT 1087919 SOS 795524 HAS SOPS 470468 HAS SOUS 75693 HAS SOUPS 42591 WITH SCORE 43386.524
AT ITER 2580 NEW BEST:: SOT 1089116 SOS 799070 HAS SOPS 471402 HAS SOUS 75422 HAS SOUPS 42438 WITH SCORE 43237.07
AT ITER 2621 NEW BEST:: SOT 1090376 SOS 802220 HAS SOPS 472137 HAS SOUS 75517 HAS SOUPS 42428 WITH SCORE 43230.22
AT ITER 2623 NEW BEST:: SOT 1090376 SOS 802220 HAS SOPS 472137 HAS SOUS 75499 HAS SOUPS 42418 WITH SCORE 43220.22
AT ITER 2625 NEW BEST:: SOT 1089969 SOS 801776 HAS SOPS 471878 HAS SOUS 75462 HAS SOUPS 42381 WITH SCORE 43182.776
AT ITER 2626 NEW BEST:: SOT 1089967 SOS 801432 HAS SOPS 472758 HAS SOUS 75392 HAS SOUPS 42379 WITH SCORE 43180.432
AT ITER 2633 NEW BEST:: SOT 1089967 SOS 801432 HAS SOPS 472758 HAS SOUS 75329 HAS SOUPS 42344 WITH SCORE 43145.432
AT ITER 2637 NEW BEST:: SOT 1089864 SOS 801306 HAS SOPS 472638 HAS SOUS 75266 HAS SOUPS 42304 WITH SCORE 43105.306
AT ITER 2639 NEW BEST:: SOT 1089940 SOS 801420 HAS SOPS 472638 HAS SOUS 75288 HAS SOUPS 42294 WITH SCORE 43095.42
AT ITER 2685 NEW BEST:: SOT 1089833 SOS 800452 HAS SOPS 472594 HAS SOUS 75244 HAS SOUPS 42250 WITH SCORE 43050.452
AT ITER 2701 NEW BEST:: SOT 1089765 SOS 800120 HAS SOPS 472262 HAS SOUS 75218 HAS SOUPS 42224 WITH SCORE 43024.12
AT ITER 2710 NEW BEST:: SOT 1089755 SOS 800110 HAS SOPS 472262 HAS SOUS 75218 HAS SOUPS 42224 WITH SCORE 43024.11
AT ITER 2731 NEW BEST:: SOT 1089828 SOS 801005 HAS SOPS 470967 HAS SOUS 75323 HAS SOUPS 42205 WITH SCORE 43006.005
AT ITER 2733 NEW BEST:: SOT 1089916 SOS 801093 HAS SOPS 470967 HAS SOUS 75287 HAS SOUPS 42185 WITH SCORE 42986.093
AT ITER 2754 NEW BEST:: SOT 1089811 SOS 800859 HAS SOPS 470932 HAS SOUS 75250 HAS SOUPS 42183 WITH SCORE 42983.859
AT ITER 2771 NEW BEST:: SOT 1089788 SOS 800422 HAS SOPS 469866 HAS SOUS 75250 HAS SOUPS 42146 WITH SCORE 42946.422
AT ITER 2787 NEW BEST:: SOT 1087847 SOS 797703 HAS SOPS 469100 HAS SOUS 73590 HAS SOUPS 41379 WITH SCORE 42176.703
AT ITER 2793 NEW BEST:: SOT 1087462 SOS 795626 HAS SOPS 467979 HAS SOUS 73536 HAS SOUPS 41357 WITH SCORE 42152.626
AT ITER 2795 NEW BEST:: SOT 1087462 SOS 795626 HAS SOPS 467979 HAS SOUS 73491 HAS SOUPS 41332 WITH SCORE 42127.626
AT ITER 2802 NEW BEST:: SOT 1087444 SOS 795302 HAS SOPS 467655 HAS SOUS 73473 HAS SOUPS 41314 WITH SCORE 42109.302
AT ITER 2806 NEW BEST:: SOT 1087509 SOS 795411 HAS SOPS 467676 HAS SOUS 73494 HAS SOUPS 41313 WITH SCORE 42108.411
AT ITER 2809 NEW BEST:: SOT 1087499 SOS 795401 HAS SOPS 467676 HAS SOUS 73494 HAS SOUPS 41313 WITH SCORE 42108.401
AT ITER 2811 NEW BEST:: SOT 1087501 SOS 795403 HAS SOPS 467676 HAS SOUS 73480 HAS SOUPS 41307 WITH SCORE 42102.403
AT ITER 2824 NEW BEST:: SOT 1087497 SOS 795003 HAS SOPS 467480 HAS SOUS 73464 HAS SOUPS 41303 WITH SCORE 42098.003
AT ITER 2843 NEW BEST:: SOT 1087497 SOS 795003 HAS SOPS 467803 HAS SOUS 73426 HAS SOUPS 41284 WITH SCORE 42079.003
AT ITER 2846 NEW BEST:: SOT 1087472 SOS 794978 HAS SOPS 467803 HAS SOUS 73376 HAS SOUPS 41234 WITH SCORE 42028.978
AT ITER 2862 NEW BEST:: SOT 1087466 SOS 794969 HAS SOPS 467794 HAS SOUS 73370 HAS SOUPS 41228 WITH SCORE 42022.969
AT ITER 2881 NEW BEST:: SOT 1088415 SOS 796047 HAS SOPS 468380 HAS SOUS 73347 HAS SOUPS 41205 WITH SCORE 42001.047
AT ITER 2882 NEW BEST:: SOT 1088391 SOS 796968 HAS SOPS 469301 HAS SOUS 73323 HAS SOUPS 41181 WITH SCORE 41977.968
AT ITER 2884 NEW BEST:: SOT 1088344 SOS 796874 HAS SOPS 469301 HAS SOUS 73276 HAS SOUPS 41181 WITH SCORE 41977.874
AT ITER 2893 NEW BEST:: SOT 1088212 SOS 796615 HAS SOPS 469169 HAS SOUS 73091 HAS SOUPS 41123 WITH SCORE 41919.615
AT ITER 2914 NEW BEST:: SOT 1088212 SOS 796615 HAS SOPS 469169 HAS SOUS 73055 HAS SOUPS 41103 WITH SCORE 41899.615
AT ITER 2916 NEW BEST:: SOT 1088229 SOS 796904 HAS SOPS 469203 HAS SOUS 73057 HAS SOUPS 41090 WITH SCORE 41886.904
AT ITER 2922 NEW BEST:: SOT 1088169 SOS 796812 HAS SOPS 469111 HAS SOUS 73054 HAS SOUPS 41087 WITH SCORE 41883.812
AT ITER 2923 NEW BEST:: SOT 1088100 SOS 796743 HAS SOPS 469111 HAS SOUS 73054 HAS SOUPS 41087 WITH SCORE 41883.743
AT ITER 2941 NEW BEST:: SOT 1087960 SOS 796603 HAS SOPS 468971 HAS SOUS 72978 HAS SOUPS 41011 WITH SCORE 41807.603
AT ITER 2977 NEW BEST:: SOT 1087757 SOS 795180 HAS SOPS 468721 HAS SOUS 72910 HAS SOUPS 41012 WITH SCORE 41807.18
AT ITER 2984 NEW BEST:: SOT 1087696 SOS 795058 HAS SOPS 468721 HAS SOUS 72849 HAS SOUPS 41012 WITH SCORE 41807.058
AT ITER 2988 NEW BEST:: SOT 1088587 SOS 795949 HAS SOPS 469126 HAS SOUS 72768 HAS SOUPS 40931 WITH SCORE 41726.949
AT ITER 3014 NEW BEST:: SOT 1088385 SOS 795747 HAS SOPS 468924 HAS SOUS 72766 HAS SOUPS 40885 WITH SCORE 41680.747
AT ITER 3025 NEW BEST:: SOT 1088478 SOS 795840 HAS SOPS 468924 HAS SOUS 72523 HAS SOUPS 40750 WITH SCORE 41545.84
AT ITER 3035 NEW BEST:: SOT 1088482 SOS 796156 HAS SOPS 468946 HAS SOUS 72520 HAS SOUPS 40740 WITH SCORE 41536.156
AT ITER 3036 NEW BEST:: SOT 1088547 SOS 796272 HAS SOPS 468960 HAS SOUS 72523 HAS SOUPS 40723 WITH SCORE 41519.272
AT ITER 3037 NEW BEST:: SOT 1088547 SOS 796456 HAS SOPS 470085 HAS SOUS 72414 HAS SOUPS 40630 WITH SCORE 41426.456
AT ITER 3048 NEW BEST:: SOT 1088503 SOS 796368 HAS SOPS 470085 HAS SOUS 72370 HAS SOUPS 40630 WITH SCORE 41426.368
AT ITER 3102 NEW BEST:: SOT 1088643 SOS 796746 HAS SOPS 470169 HAS SOUS 72342 HAS SOUPS 40602 WITH SCORE 41398.746
AT ITER 3107 NEW BEST:: SOT 1088842 SOS 797080 HAS SOPS 470233 HAS SOUS 72390 HAS SOUPS 40594 WITH SCORE 41391.08
AT ITER 3110 NEW BEST:: SOT 1089101 SOS 797375 HAS SOPS 470384 HAS SOUS 72361 HAS SOUPS 40565 WITH SCORE 41362.375
AT ITER 3116 NEW BEST:: SOT 1089113 SOS 797393 HAS SOPS 470390 HAS SOUS 72337 HAS SOUPS 40551 WITH SCORE 41348.393
AT ITER 3137 NEW BEST:: SOT 1089107 SOS 797387 HAS SOPS 470390 HAS SOUS 72337 HAS SOUPS 40551 WITH SCORE 41348.387
AT ITER 3141 NEW BEST:: SOT 1088810 SOS 796604 HAS SOPS 470201 HAS SOUS 72310 HAS SOUPS 40551 WITH SCORE 41347.604
AT ITER 3173 NEW BEST:: SOT 1088674 SOS 794315 HAS SOPS 467951 HAS SOUS 72105 HAS SOUPS 40346 WITH SCORE 41140.315
AT ITER 3198 NEW BEST:: SOT 1088577 SOS 794218 HAS SOPS 467951 HAS SOUS 72105 HAS SOUPS 40346 WITH SCORE 41140.218
AT ITER 3225 NEW BEST:: SOT 1090182 SOS 798937 HAS SOPS 469122 HAS SOUS 72140 HAS SOUPS 40325 WITH SCORE 41123.937
AT ITER 3229 NEW BEST:: SOT 1090155 SOS 798890 HAS SOPS 469075 HAS SOUS 72139 HAS SOUPS 40324 WITH SCORE 41122.89
AT ITER 3242 NEW BEST:: SOT 1089598 SOS 797327 HAS SOPS 468648 HAS SOUS 72065 HAS SOUPS 40278 WITH SCORE 41075.327
AT ITER 3259 NEW BEST:: SOT 1089511 SOS 784505 HAS SOPS 457815 HAS SOUS 71786 HAS SOUPS 40116 WITH SCORE 40900.505
AT ITER 3273 NEW BEST:: SOT 1089501 SOS 784495 HAS SOPS 457815 HAS SOUS 71721 HAS SOUPS 40071 WITH SCORE 40855.495
AT ITER 3297 NEW BEST:: SOT 1089873 SOS 785471 HAS SOPS 458039 HAS SOUS 71717 HAS SOUPS 40067 WITH SCORE 40852.471
AT ITER 3341 NEW BEST:: SOT 1089765 SOS 786459 HAS SOPS 457221 HAS SOUS 71695 HAS SOUPS 40002 WITH SCORE 40788.459
AT ITER 3347 NEW BEST:: SOT 1089765 SOS 786459 HAS SOPS 457221 HAS SOUS 71692 HAS SOUPS 40000 WITH SCORE 40786.459
AT ITER 3351 NEW BEST:: SOT 1089622 SOS 786208 HAS SOPS 456545 HAS SOUS 71714 HAS SOUPS 39997 WITH SCORE 40783.208
AT ITER 3379 NEW BEST:: SOT 1089502 SOS 786028 HAS SOPS 456545 HAS SOUS 71614 HAS SOUPS 39957 WITH SCORE 40743.028
AT ITER 3384 NEW BEST:: SOT 1089503 SOS 786047 HAS SOPS 456564 HAS SOUS 71596 HAS SOUPS 39939 WITH SCORE 40725.047
AT ITER 3391 NEW BEST:: SOT 1089485 SOS 786029 HAS SOPS 456564 HAS SOUS 71596 HAS SOUPS 39939 WITH SCORE 40725.029
AT ITER 3395 NEW BEST:: SOT 1089454 SOS 785998 HAS SOPS 456564 HAS SOUS 71542 HAS SOUPS 39909 WITH SCORE 40694.998
AT ITER 3403 NEW BEST:: SOT 1089477 SOS 788625 HAS SOPS 459191 HAS SOUS 71535 HAS SOUPS 39902 WITH SCORE 40690.625
AT ITER 3406 NEW BEST:: SOT 1089292 SOS 788415 HAS SOPS 459112 HAS SOUS 71498 HAS SOUPS 39884 WITH SCORE 40672.415
AT ITER 3409 NEW BEST:: SOT 1089124 SOS 788247 HAS SOPS 458944 HAS SOUS 71498 HAS SOUPS 39884 WITH SCORE 40672.247
AT ITER 3414 NEW BEST:: SOT 1089109 SOS 788232 HAS SOPS 458944 HAS SOUS 71498 HAS SOUPS 39884 WITH SCORE 40672.232
AT ITER 3427 NEW BEST:: SOT 1089089 SOS 788210 HAS SOPS 458928 HAS SOUS 71498 HAS SOUPS 39882 WITH SCORE 40670.21
AT ITER 3456 NEW BEST:: SOT 1089075 SOS 788168 HAS SOPS 458914 HAS SOUS 71484 HAS SOUPS 39882 WITH SCORE 40670.168
AT ITER 3522 NEW BEST:: SOT 1088987 SOS 791010 HAS SOPS 461093 HAS SOUS 71497 HAS SOUPS 39856 WITH SCORE 40647.01
AT ITER 3550 NEW BEST:: SOT 1088993 SOS 790806 HAS SOPS 460940 HAS SOUS 71485 HAS SOUPS 39847 WITH SCORE 40637.806
AT ITER 3577 NEW BEST:: SOT 1088976 SOS 790789 HAS SOPS 460923 HAS SOUS 71468 HAS SOUPS 39830 WITH SCORE 40620.789
AT ITER 3583 NEW BEST:: SOT 1088932 SOS 790701 HAS SOPS 460923 HAS SOUS 71424 HAS SOUPS 39830 WITH SCORE 40620.701
AT ITER 3587 NEW BEST:: SOT 1088932 SOS 790701 HAS SOPS 460923 HAS SOUS 71415 HAS SOUPS 39825 WITH SCORE 40615.701
AT ITER 3618 NEW BEST:: SOT 1088840 SOS 790519 HAS SOPS 460785 HAS SOUS 71432 HAS SOUPS 39823 WITH SCORE 40613.519
AT ITER 3646 NEW BEST:: SOT 1088825 SOS 790507 HAS SOPS 460767 HAS SOUS 71435 HAS SOUPS 39823 WITH SCORE 40613.507
AT ITER 3654 NEW BEST:: SOT 1088426 SOS 789126 HAS SOPS 459546 HAS SOUS 71362 HAS SOUPS 39750 WITH SCORE 40539.126
AT ITER 3663 NEW BEST:: SOT 1088401 SOS 789101 HAS SOPS 459546 HAS SOUS 71362 HAS SOUPS 39750 WITH SCORE 40539.101
AT ITER 3666 NEW BEST:: SOT 1088408 SOS 787758 HAS SOPS 458732 HAS SOUS 71346 HAS SOUPS 39734 WITH SCORE 40521.758
AT ITER 3687 NEW BEST:: SOT 1088424 SOS 787790 HAS SOPS 458740 HAS SOUS 71298 HAS SOUPS 39702 WITH SCORE 40489.79
AT ITER 3692 NEW BEST:: SOT 1088354 SOS 787720 HAS SOPS 458740 HAS SOUS 71330 HAS SOUPS 39694 WITH SCORE 40481.72
AT ITER 3712 NEW BEST:: SOT 1088312 SOS 787678 HAS SOPS 458740 HAS SOUS 71330 HAS SOUPS 39694 WITH SCORE 40481.678
AT ITER 3724 NEW BEST:: SOT 1088291 SOS 787279 HAS SOPS 458698 HAS SOUS 71303 HAS SOUPS 39688 WITH SCORE 40475.279
AT ITER 3729 NEW BEST:: SOT 1087261 SOS 786450 HAS SOPS 458234 HAS SOUS 71337 HAS SOUPS 39648 WITH SCORE 40434.45
AT ITER 3767 NEW BEST:: SOT 1087233 SOS 786422 HAS SOPS 458234 HAS SOUS 71321 HAS SOUPS 39632 WITH SCORE 40418.422
AT ITER 3773 NEW BEST:: SOT 1087232 SOS 786420 HAS SOPS 458234 HAS SOUS 71320 HAS SOUPS 39632 WITH SCORE 40418.42
AT ITER 3816 NEW BEST:: SOT 1087234 SOS 788118 HAS SOPS 459822 HAS SOUS 71300 HAS SOUPS 39612 WITH SCORE 40400.118
AT ITER 3824 NEW BEST:: SOT 1086552 SOS 785848 HAS SOPS 457886 HAS SOUS 71283 HAS SOUPS 39586 WITH SCORE 40371.848
AT ITER 3829 NEW BEST:: SOT 1086577 SOS 785891 HAS SOPS 457893 HAS SOUS 71272 HAS SOUPS 39575 WITH SCORE 40360.891
AT ITER 3830 NEW BEST:: SOT 1086584 SOS 786481 HAS SOPS 457939 HAS SOUS 71280 HAS SOUPS 39551 WITH SCORE 40337.481
AT ITER 3834 NEW BEST:: SOT 1086368 SOS 786229 HAS SOPS 457795 HAS SOUS 71262 HAS SOUPS 39533 WITH SCORE 40319.229
AT ITER 3839 NEW BEST:: SOT 1085801 SOS 786135 HAS SOPS 458575 HAS SOUS 69356 HAS SOUPS 39373 WITH SCORE 40159.135
AT ITER 3842 NEW BEST:: SOT 1085798 SOS 786129 HAS SOPS 458575 HAS SOUS 69353 HAS SOUPS 39373 WITH SCORE 40159.129
AT ITER 3858 NEW BEST:: SOT 1085757 SOS 786088 HAS SOPS 458575 HAS SOUS 69353 HAS SOUPS 39373 WITH SCORE 40159.088
AT ITER 3865 NEW BEST:: SOT 1085888 SOS 786222 HAS SOPS 458654 HAS SOUS 69344 HAS SOUPS 39364 WITH SCORE 40150.222
AT ITER 3882 NEW BEST:: SOT 1085934 SOS 786269 HAS SOPS 458099 HAS SOUS 69307 HAS SOUPS 39284 WITH SCORE 40070.269
AT ITER 3895 NEW BEST:: SOT 1086021 SOS 785910 HAS SOPS 458068 HAS SOUS 69353 HAS SOUPS 39251 WITH SCORE 40036.91
AT ITER 3896 NEW BEST:: SOT 1086017 SOS 785902 HAS SOPS 458068 HAS SOUS 69349 HAS SOUPS 39251 WITH SCORE 40036.902
AT ITER 3903 NEW BEST:: SOT 1085495 SOS 784791 HAS SOPS 456776 HAS SOUS 69401 HAS SOUPS 39234 WITH SCORE 40018.791
AT ITER 3919 NEW BEST:: SOT 1085469 SOS 784765 HAS SOPS 456776 HAS SOUS 69361 HAS SOUPS 39194 WITH SCORE 39978.765
AT ITER 3956 NEW BEST:: SOT 1085867 SOS 785099 HAS SOPS 457238 HAS SOUS 69294 HAS SOUPS 39192 WITH SCORE 39977.099
AT ITER 3974 NEW BEST:: SOT 1085830 SOS 785348 HAS SOPS 457487 HAS SOUS 69258 HAS SOUPS 39156 WITH SCORE 39941.348
AT ITER 3997 NEW BEST:: SOT 1085848 SOS 785307 HAS SOPS 457487 HAS SOUS 69199 HAS SOUPS 39156 WITH SCORE 39941.307
AT ITER 4002 NEW BEST:: SOT 1087369 SOS 789893 HAS SOPS 458843 HAS SOUS 68795 HAS SOUPS 39067 WITH SCORE 39856.893
AT ITER 4010 NEW BEST:: SOT 1087182 SOS 789695 HAS SOPS 458837 HAS SOUS 68788 HAS SOUPS 39066 WITH SCORE 39855.695
AT ITER 4038 NEW BEST:: SOT 1087176 SOS 789683 HAS SOPS 458837 HAS SOUS 68782 HAS SOUPS 39066 WITH SCORE 39855.683
AT ITER 4064 NEW BEST:: SOT 1087180 SOS 789570 HAS SOPS 458765 HAS SOUS 68775 HAS SOUPS 39059 WITH SCORE 39848.57
AT ITER 4083 NEW BEST:: SOT 1087172 SOS 789906 HAS SOPS 458727 HAS SOUS 68789 HAS SOUPS 39051 WITH SCORE 39840.906
AT ITER 4093 NEW BEST:: SOT 1087237 SOS 790621 HAS SOPS 458812 HAS SOUS 68833 HAS SOUPS 39050 WITH SCORE 39840.621
AT ITER 4102 NEW BEST:: SOT 1090044 SOS 796827 HAS SOPS 463985 HAS SOUS 68619 HAS SOUPS 38892 WITH SCORE 39688.827
AT ITER 4115 NEW BEST:: SOT 1090127 SOS 794976 HAS SOPS 463239 HAS SOUS 68508 HAS SOUPS 38846 WITH SCORE 39640.976
AT ITER 4117 NEW BEST:: SOT 1090125 SOS 794940 HAS SOPS 463203 HAS SOUS 68506 HAS SOUPS 38844 WITH SCORE 39638.94
AT ITER 4118 NEW BEST:: SOT 1090439 SOS 795251 HAS SOPS 463367 HAS SOUS 68463 HAS SOUPS 38817 WITH SCORE 39612.251
AT ITER 4181 NEW BEST:: SOT 1089661 SOS 792603 HAS SOPS 460752 HAS SOUS 68515 HAS SOUPS 38798 WITH SCORE 39590.603
AT ITER 4215 NEW BEST:: SOT 1089654 SOS 792596 HAS SOPS 460752 HAS SOUS 68515 HAS SOUPS 38798 WITH SCORE 39590.596
AT ITER 4230 NEW BEST:: SOT 1089092 SOS 789248 HAS SOPS 459448 HAS SOUS 68507 HAS SOUPS 38790 WITH SCORE 39579.248
AT ITER 4257 NEW BEST:: SOT 1089044 SOS 788744 HAS SOPS 458944 HAS SOUS 68505 HAS SOUPS 38788 WITH SCORE 39576.744
AT ITER 4259 NEW BEST:: SOT 1088954 SOS 788654 HAS SOPS 458944 HAS SOUS 68505 HAS SOUPS 38788 WITH SCORE 39576.654
AT ITER 4265 NEW BEST:: SOT 1088994 SOS 788762 HAS SOPS 458968 HAS SOUS 68497 HAS SOUPS 38780 WITH SCORE 39568.762
AT ITER 4297 NEW BEST:: SOT 1089077 SOS 788845 HAS SOPS 458966 HAS SOUS 68490 HAS SOUPS 38773 WITH SCORE 39561.845
AT ITER 4304 NEW BEST:: SOT 1089086 SOS 788870 HAS SOPS 458972 HAS SOUS 68487 HAS SOUPS 38771 WITH SCORE 39559.87
AT ITER 4309 NEW BEST:: SOT 1089015 SOS 788136 HAS SOPS 458253 HAS SOUS 68467 HAS SOUPS 38751 WITH SCORE 39539.136
AT ITER 4330 NEW BEST:: SOT 1088581 SOS 787671 HAS SOPS 457974 HAS SOUS 68436 HAS SOUPS 38720 WITH SCORE 39507.671
AT ITER 4340 NEW BEST:: SOT 1088578 SOS 787665 HAS SOPS 457968 HAS SOUS 68430 HAS SOUPS 38714 WITH SCORE 39501.665
AT ITER 4371 NEW BEST:: SOT 1088578 SOS 787665 HAS SOPS 457968 HAS SOUS 68424 HAS SOUPS 38710 WITH SCORE 39497.665
AT ITER 4393 NEW BEST:: SOT 1088572 SOS 787659 HAS SOPS 457968 HAS SOUS 68412 HAS SOUPS 38698 WITH SCORE 39485.659
AT ITER 4445 NEW BEST:: SOT 1088563 SOS 787650 HAS SOPS 457968 HAS SOUS 68394 HAS SOUPS 38680 WITH SCORE 39467.65
AT ITER 4449 NEW BEST:: SOT 1088693 SOS 787868 HAS SOPS 458010 HAS SOUS 68436 HAS SOUPS 38678 WITH SCORE 39465.868
AT ITER 4456 NEW BEST:: SOT 1088645 SOS 787840 HAS SOPS 458010 HAS SOUS 68456 HAS SOUPS 38678 WITH SCORE 39465.84
AT ITER 4466 NEW BEST:: SOT 1088614 SOS 787220 HAS SOPS 457390 HAS SOUS 68456 HAS SOUPS 38678 WITH SCORE 39465.22
AT ITER 4472 NEW BEST:: SOT 1088608 SOS 787214 HAS SOPS 457390 HAS SOUS 68456 HAS SOUPS 38678 WITH SCORE 39465.214
AT ITER 4477 NEW BEST:: SOT 1088548 SOS 787647 HAS SOPS 457313 HAS SOUS 68447 HAS SOUPS 38639 WITH SCORE 39426.647
AT ITER 4497 NEW BEST:: SOT 1088487 SOS 787390 HAS SOPS 457126 HAS SOUS 68417 HAS SOUPS 38609 WITH SCORE 39396.39
AT ITER 4517 NEW BEST:: SOT 1088302 SOS 786893 HAS SOPS 456935 HAS SOUS 68360 HAS SOUPS 38580 WITH SCORE 39366.893
AT ITER 4526 NEW BEST:: SOT 1088302 SOS 786888 HAS SOPS 456935 HAS SOUS 68355 HAS SOUPS 38580 WITH SCORE 39366.888
AT ITER 4538 NEW BEST:: SOT 1088202 SOS 786688 HAS SOPS 456885 HAS SOUS 68305 HAS SOUPS 38580 WITH SCORE 39366.688
AT ITER 4546 NEW BEST:: SOT 1088239 SOS 786947 HAS SOPS 456647 HAS SOUS 68340 HAS SOUPS 38576 WITH SCORE 39362.947
AT ITER 4548 NEW BEST:: SOT 1088303 SOS 787139 HAS SOPS 456687 HAS SOUS 68329 HAS SOUPS 38565 WITH SCORE 39352.139
AT ITER 4617 NEW BEST:: SOT 1088299 SOS 787141 HAS SOPS 456687 HAS SOUS 68327 HAS SOUPS 38563 WITH SCORE 39350.141
AT ITER 4650 NEW BEST:: SOT 1088280 SOS 787084 HAS SOPS 456668 HAS SOUS 68308 HAS SOUPS 38563 WITH SCORE 39350.084
AT ITER 4682 NEW BEST:: SOT 1088280 SOS 787084 HAS SOPS 456668 HAS SOUS 68299 HAS SOUPS 38558 WITH SCORE 39345.084
AT ITER 4690 NEW BEST:: SOT 1088441 SOS 787654 HAS SOPS 456854 HAS SOUS 68119 HAS SOUPS 38496 WITH SCORE 39283.654
AT ITER 4701 NEW BEST:: SOT 1088403 SOS 786951 HAS SOPS 456474 HAS SOUS 68040 HAS SOUPS 38436 WITH SCORE 39222.951
AT ITER 4702 NEW BEST:: SOT 1088351 SOS 786899 HAS SOPS 456474 HAS SOUS 68040 HAS SOUPS 38436 WITH SCORE 39222.899
AT ITER 4708 NEW BEST:: SOT 1088344 SOS 786857 HAS SOPS 456257 HAS SOUS 68033 HAS SOUPS 38429 WITH SCORE 39215.857
AT ITER 4717 NEW BEST:: SOT 1088354 SOS 786759 HAS SOPS 456261 HAS SOUS 68025 HAS SOUPS 38427 WITH SCORE 39213.759
AT ITER 4795 NEW BEST:: SOT 1088354 SOS 786759 HAS SOPS 456261 HAS SOUS 67998 HAS SOUPS 38412 WITH SCORE 39198.759
AT ITER 4830 NEW BEST:: SOT 1088378 SOS 786507 HAS SOPS 455931 HAS SOUS 67973 HAS SOUPS 38387 WITH SCORE 39173.507
AT ITER 4846 NEW BEST:: SOT 1088271 SOS 787335 HAS SOPS 455991 HAS SOUS 67901 HAS SOUPS 38347 WITH SCORE 39134.335
AT ITER 4892 NEW BEST:: SOT 1088263 SOS 787395 HAS SOPS 456051 HAS SOUS 67893 HAS SOUPS 38339 WITH SCORE 39126.395
AT ITER 4910 NEW BEST:: SOT 1088187 SOS 787319 HAS SOPS 456051 HAS SOUS 67893 HAS SOUPS 38339 WITH SCORE 39126.319
AT ITER 4970 NEW BEST:: SOT 1087201 SOS 776536 HAS SOPS 447462 HAS SOUS 67820 HAS SOUPS 38307 WITH SCORE 39083.536
AT ITER 4978 NEW BEST:: SOT 1087225 SOS 776560 HAS SOPS 447486 HAS SOUS 67787 HAS SOUPS 38294 WITH SCORE 39070.56
AT ITER 4984 NEW BEST:: SOT 1087222 SOS 776555 HAS SOPS 447485 HAS SOUS 67786 HAS SOUPS 38294 WITH SCORE 39070.555
AT ITER 4992 NEW BEST:: SOT 1087222 SOS 776436 HAS SOPS 447376 HAS SOUS 67785 HAS SOUPS 38293 WITH SCORE 39069.436
AT ITER 4998 NEW BEST:: SOT 1087218 SOS 776432 HAS SOPS 447376 HAS SOUS 67785 HAS SOUPS 38293 WITH SCORE 39069.432
AT ITER 5032 NEW BEST:: SOT 1087245 SOS 773190 HAS SOPS 444605 HAS SOUS 67724 HAS SOUPS 38265 WITH SCORE 39038.19
AT ITER 5055 NEW BEST:: SOT 1087195 SOS 773243 HAS SOPS 444796 HAS SOUS 67620 HAS SOUPS 38230 WITH SCORE 39003.243
AT ITER 5123 NEW BEST:: SOT 1087180 SOS 772397 HAS SOPS 444511 HAS SOUS 67523 HAS SOUPS 38166 WITH SCORE 38938.397
AT ITER 5127 NEW BEST:: SOT 1087177 SOS 772394 HAS SOPS 444508 HAS SOUS 67520 HAS SOUPS 38163 WITH SCORE 38935.394
AT ITER 5145 NEW BEST:: SOT 1087147 SOS 772304 HAS SOPS 444478 HAS SOUS 67490 HAS SOUPS 38163 WITH SCORE 38935.304
AT ITER 5147 NEW BEST:: SOT 1087873 SOS 774218 HAS SOPS 444940 HAS SOUS 67548 HAS SOUPS 38155 WITH SCORE 38929.218
AT ITER 5155 NEW BEST:: SOT 1087839 SOS 774150 HAS SOPS 444872 HAS SOUS 67514 HAS SOUPS 38121 WITH SCORE 38895.15
AT ITER 5191 NEW BEST:: SOT 1088266 SOS 774521 HAS SOPS 444466 HAS SOUS 67983 HAS SOUPS 37995 WITH SCORE 38769.521
AT ITER 5194 NEW BEST:: SOT 1088242 SOS 773537 HAS SOPS 443578 HAS SOUS 67983 HAS SOUPS 37995 WITH SCORE 38768.537
AT ITER 5197 NEW BEST:: SOT 1088325 SOS 773620 HAS SOPS 443578 HAS SOUS 67929 HAS SOUPS 37965 WITH SCORE 38738.62
AT ITER 5210 NEW BEST:: SOT 1088535 SOS 773791 HAS SOPS 443685 HAS SOUS 67898 HAS SOUPS 37953 WITH SCORE 38726.791
AT ITER 5229 NEW BEST:: SOT 1088535 SOS 773791 HAS SOPS 443685 HAS SOUS 67871 HAS SOUPS 37938 WITH SCORE 38711.791
AT ITER 5241 NEW BEST:: SOT 1088304 SOS 772893 HAS SOPS 443249 HAS SOUS 67849 HAS SOUPS 37937 WITH SCORE 38709.893
AT ITER 5244 NEW BEST:: SOT 1088295 SOS 772875 HAS SOPS 443078 HAS SOUS 67849 HAS SOUPS 37928 WITH SCORE 38700.875
AT ITER 5268 NEW BEST:: SOT 1088278 SOS 772804 HAS SOPS 443217 HAS SOUS 67829 HAS SOUPS 37922 WITH SCORE 38694.804
AT ITER 5280 NEW BEST:: SOT 1088134 SOS 772004 HAS SOPS 442577 HAS SOUS 67625 HAS SOUPS 37794 WITH SCORE 38566.004
AT ITER 5301 NEW BEST:: SOT 1088125 SOS 771833 HAS SOPS 442559 HAS SOUS 67616 HAS SOUPS 37794 WITH SCORE 38565.833
AT ITER 5308 NEW BEST:: SOT 1088200 SOS 771992 HAS SOPS 442606 HAS SOUS 67615 HAS SOUPS 37785 WITH SCORE 38556.992
AT ITER 5309 NEW BEST:: SOT 1088178 SOS 771662 HAS SOPS 442584 HAS SOUS 67571 HAS SOUPS 37763 WITH SCORE 38534.662
AT ITER 5329 NEW BEST:: SOT 1087881 SOS 770875 HAS SOPS 441959 HAS SOUS 67564 HAS SOUPS 37756 WITH SCORE 38526.875
AT ITER 5342 NEW BEST:: SOT 1087891 SOS 770538 HAS SOPS 441832 HAS SOUS 67559 HAS SOUPS 37756 WITH SCORE 38526.538
AT ITER 5343 NEW BEST:: SOT 1087924 SOS 770604 HAS SOPS 441824 HAS SOUS 67555 HAS SOUPS 37752 WITH SCORE 38522.604
AT ITER 5379 NEW BEST:: SOT 1087594 SOS 770274 HAS SOPS 441494 HAS SOUS 67555 HAS SOUPS 37752 WITH SCORE 38522.274
AT ITER 5395 NEW BEST:: SOT 1087555 SOS 768961 HAS SOPS 440861 HAS SOUS 67498 HAS SOUPS 37735 WITH SCORE 38503.961
AT ITER 5402 NEW BEST:: SOT 1087540 SOS 768949 HAS SOPS 440849 HAS SOUS 67489 HAS SOUPS 37726 WITH SCORE 38494.949
AT ITER 5411 NEW BEST:: SOT 1087561 SOS 767623 HAS SOPS 440169 HAS SOUS 67380 HAS SOUPS 37655 WITH SCORE 38422.623
AT ITER 5420 NEW BEST:: SOT 1087540 SOS 767421 HAS SOPS 440127 HAS SOUS 67338 HAS SOUPS 37625 WITH SCORE 38392.421
AT ITER 5422 NEW BEST:: SOT 1087519 SOS 767358 HAS SOPS 440106 HAS SOUS 67317 HAS SOUPS 37625 WITH SCORE 38392.358
AT ITER 5457 NEW BEST:: SOT 1087591 SOS 767421 HAS SOPS 440151 HAS SOUS 67296 HAS SOUPS 37613 WITH SCORE 38380.421
AT ITER 5461 NEW BEST:: SOT 1087589 SOS 767310 HAS SOPS 440039 HAS SOUS 67293 HAS SOUPS 37609 WITH SCORE 38376.31
AT ITER 5481 NEW BEST:: SOT 1087589 SOS 767310 HAS SOPS 440039 HAS SOUS 67212 HAS SOUPS 37564 WITH SCORE 38331.31
AT ITER 5495 NEW BEST:: SOT 1087733 SOS 767454 HAS SOPS 440183 HAS SOUS 67209 HAS SOUPS 37562 WITH SCORE 38329.454
AT ITER 5521 NEW BEST:: SOT 1087738 SOS 767464 HAS SOPS 440183 HAS SOUS 67205 HAS SOUPS 37557 WITH SCORE 38324.464
AT ITER 5524 NEW BEST:: SOT 1087729 SOS 767259 HAS SOPS 439978 HAS SOUS 67185 HAS SOUPS 37537 WITH SCORE 38304.259
AT ITER 5531 NEW BEST:: SOT 1087717 SOS 767239 HAS SOPS 439958 HAS SOUS 67169 HAS SOUPS 37521 WITH SCORE 38288.239
AT ITER 5590 NEW BEST:: SOT 1087716 SOS 767220 HAS SOPS 439956 HAS SOUS 67167 HAS SOUPS 37520 WITH SCORE 38287.22
AT ITER 5605 NEW BEST:: SOT 1087687 SOS 766912 HAS SOPS 439948 HAS SOUS 67133 HAS SOUPS 37506 WITH SCORE 38272.912
AT ITER 5611 NEW BEST:: SOT 1087657 SOS 766882 HAS SOPS 439918 HAS SOUS 67133 HAS SOUPS 37506 WITH SCORE 38272.882
AT ITER 5647 NEW BEST:: SOT 1086262 SOS 761632 HAS SOPS 435172 HAS SOUS 67161 HAS SOUPS 37489 WITH SCORE 38250.632
AT ITER 5648 NEW BEST:: SOT 1086250 SOS 761620 HAS SOPS 435160 HAS SOUS 67161 HAS SOUPS 37489 WITH SCORE 38250.62
AT ITER 5661 NEW BEST:: SOT 1086250 SOS 761620 HAS SOPS 435160 HAS SOUS 67137 HAS SOUPS 37465 WITH SCORE 38226.62
AT ITER 5694 NEW BEST:: SOT 1086250 SOS 761620 HAS SOPS 435160 HAS SOUS 67119 HAS SOUPS 37455 WITH SCORE 38216.62
AT ITER 5702 NEW BEST:: SOT 1085549 SOS 759071 HAS SOPS 434479 HAS SOUS 67127 HAS SOUPS 37426 WITH SCORE 38185.071
AT ITER 5716 NEW BEST:: SOT 1085531 SOS 759053 HAS SOPS 434479 HAS SOUS 67127 HAS SOUPS 37426 WITH SCORE 38185.053
AT ITER 5754 NEW BEST:: SOT 1085526 SOS 759053 HAS SOPS 434394 HAS SOUS 67122 HAS SOUPS 37416 WITH SCORE 38175.053
AT ITER 5765 NEW BEST:: SOT 1085526 SOS 759061 HAS SOPS 434394 HAS SOUS 67118 HAS SOUPS 37412 WITH SCORE 38171.061
AT ITER 5772 NEW BEST:: SOT 1085526 SOS 758947 HAS SOPS 434280 HAS SOUS 67118 HAS SOUPS 37412 WITH SCORE 38170.947
AT ITER 5781 NEW BEST:: SOT 1085450 SOS 758871 HAS SOPS 434280 HAS SOUS 67118 HAS SOUPS 37412 WITH SCORE 38170.871
AT ITER 5800 NEW BEST:: SOT 1085450 SOS 758871 HAS SOPS 434280 HAS SOUS 67082 HAS SOUPS 37392 WITH SCORE 38150.871
AT ITER 5820 NEW BEST:: SOT 1085449 SOS 758867 HAS SOPS 434262 HAS SOUS 67082 HAS SOUPS 37391 WITH SCORE 38149.867
AT ITER 5842 NEW BEST:: SOT 1085465 SOS 759297 HAS SOPS 434273 HAS SOUS 67061 HAS SOUPS 37343 WITH SCORE 38102.297
AT ITER 5845 NEW BEST:: SOT 1084828 SOS 756569 HAS SOPS 431737 HAS SOUS 67038 HAS SOUPS 37286 WITH SCORE 38042.569
AT ITER 5881 NEW BEST:: SOT 1084855 SOS 756566 HAS SOPS 431737 HAS SOUS 67008 HAS SOUPS 37286 WITH SCORE 38042.566
AT ITER 5889 NEW BEST:: SOT 1084850 SOS 756556 HAS SOPS 431737 HAS SOUS 67003 HAS SOUPS 37286 WITH SCORE 38042.556
AT ITER 5893 NEW BEST:: SOT 1084856 SOS 756562 HAS SOPS 431743 HAS SOUS 66997 HAS SOUPS 37284 WITH SCORE 38040.562
AT ITER 5902 NEW BEST:: SOT 1085168 SOS 757410 HAS SOPS 431993 HAS SOUS 67001 HAS SOUPS 37262 WITH SCORE 38019.41
AT ITER 5922 NEW BEST:: SOT 1085147 SOS 757280 HAS SOPS 431939 HAS SOUS 66975 HAS SOUPS 37257 WITH SCORE 38014.28
AT ITER 5925 NEW BEST:: SOT 1085147 SOS 757280 HAS SOPS 431939 HAS SOUS 66966 HAS SOUPS 37252 WITH SCORE 38009.28
AT ITER 6010 NEW BEST:: SOT 1085206 SOS 756159 HAS SOPS 430995 HAS SOUS 66966 HAS SOUPS 37252 WITH SCORE 38008.159
AT ITER 6017 NEW BEST:: SOT 1085206 SOS 756159 HAS SOPS 430995 HAS SOUS 66957 HAS SOUPS 37247 WITH SCORE 38003.159
AT ITER 6072 NEW BEST:: SOT 1085039 SOS 755716 HAS SOPS 430864 HAS SOUS 66936 HAS SOUPS 37236 WITH SCORE 37991.716
AT ITER 6074 NEW BEST:: SOT 1085259 SOS 755936 HAS SOPS 430846 HAS SOUS 66929 HAS SOUPS 37229 WITH SCORE 37984.936
AT ITER 6087 NEW BEST:: SOT 1085190 SOS 760291 HAS SOPS 435304 HAS SOUS 66883 HAS SOUPS 37217 WITH SCORE 37977.291
AT ITER 6093 NEW BEST:: SOT 1085124 SOS 760225 HAS SOPS 435304 HAS SOUS 66883 HAS SOUPS 37217 WITH SCORE 37977.225
AT ITER 6104 NEW BEST:: SOT 1085103 SOS 760183 HAS SOPS 435304 HAS SOUS 66853 HAS SOUPS 37212 WITH SCORE 37972.183
AT ITER 6131 NEW BEST:: SOT 1085103 SOS 760183 HAS SOPS 435304 HAS SOUS 66781 HAS SOUPS 37172 WITH SCORE 37932.183
AT ITER 6142 NEW BEST:: SOT 1085021 SOS 760019 HAS SOPS 435263 HAS SOUS 66740 HAS SOUPS 37172 WITH SCORE 37932.019
AT ITER 6173 NEW BEST:: SOT 1085012 SOS 759848 HAS SOPS 435092 HAS SOUS 66713 HAS SOUPS 37145 WITH SCORE 37904.848
AT ITER 6187 NEW BEST:: SOT 1085012 SOS 759848 HAS SOPS 435092 HAS SOUS 66650 HAS SOUPS 37110 WITH SCORE 37869.848
AT ITER 6259 NEW BEST:: SOT 1085012 SOS 759848 HAS SOPS 435092 HAS SOUS 66608 HAS SOUPS 37068 WITH SCORE 37827.848
AT ITER 6262 NEW BEST:: SOT 1084976 SOS 759802 HAS SOPS 435098 HAS SOUS 66598 HAS SOUPS 37058 WITH SCORE 37817.802
AT ITER 6287 NEW BEST:: SOT 1084945 SOS 759771 HAS SOPS 435098 HAS SOUS 66598 HAS SOUPS 37058 WITH SCORE 37817.771
AT ITER 6306 NEW BEST:: SOT 1084929 SOS 759739 HAS SOPS 434794 HAS SOUS 66614 HAS SOUPS 37058 WITH SCORE 37817.739
AT ITER 6343 NEW BEST:: SOT 1084917 SOS 757602 HAS SOPS 432946 HAS SOUS 66585 HAS SOUPS 37046 WITH SCORE 37803.602
AT ITER 6345 NEW BEST:: SOT 1085199 SOS 757884 HAS SOPS 433228 HAS SOUS 66582 HAS SOUPS 37042 WITH SCORE 37799.884
AT ITER 6357 NEW BEST:: SOT 1085181 SOS 758622 HAS SOPS 433376 HAS SOUS 66567 HAS SOUPS 37013 WITH SCORE 37771.622
AT ITER 6365 NEW BEST:: SOT 1085435 SOS 759199 HAS SOPS 433503 HAS SOUS 66548 HAS SOUPS 36994 WITH SCORE 37753.199
AT ITER 6430 NEW BEST:: SOT 1085435 SOS 759199 HAS SOPS 433503 HAS SOUS 66546 HAS SOUPS 36992 WITH SCORE 37751.199
AT ITER 6445 NEW BEST:: SOT 1085435 SOS 759199 HAS SOPS 433503 HAS SOUS 66508 HAS SOUPS 36954 WITH SCORE 37713.199
AT ITER 6488 NEW BEST:: SOT 1085435 SOS 759199 HAS SOPS 433503 HAS SOUS 66490 HAS SOUPS 36944 WITH SCORE 37703.199
AT ITER 6495 NEW BEST:: SOT 1085285 SOS 758779 HAS SOPS 433428 HAS SOUS 66475 HAS SOUPS 36944 WITH SCORE 37702.779
AT ITER 6511 NEW BEST:: SOT 1085224 SOS 758731 HAS SOPS 433431 HAS SOUS 66493 HAS SOUPS 36933 WITH SCORE 37691.731
AT ITER 6518 NEW BEST:: SOT 1085224 SOS 758731 HAS SOPS 433431 HAS SOUS 66466 HAS SOUPS 36918 WITH SCORE 37676.731
AT ITER 6524 NEW BEST:: SOT 1084726 SOS 757713 HAS SOPS 432643 HAS SOUS 66414 HAS SOUPS 36866 WITH SCORE 37623.713
AT ITER 6526 NEW BEST:: SOT 1084693 SOS 757680 HAS SOPS 432643 HAS SOUS 66414 HAS SOUPS 36866 WITH SCORE 37623.68
AT ITER 6530 NEW BEST:: SOT 1084667 SOS 757628 HAS SOPS 432643 HAS SOUS 66388 HAS SOUPS 36866 WITH SCORE 37623.628
AT ITER 6538 NEW BEST:: SOT 1084666 SOS 757626 HAS SOPS 432643 HAS SOUS 66387 HAS SOUPS 36866 WITH SCORE 37623.626
AT ITER 6554 NEW BEST:: SOT 1084668 SOS 757749 HAS SOPS 432630 HAS SOUS 66389 HAS SOUPS 36860 WITH SCORE 37617.749
AT ITER 6557 NEW BEST:: SOT 1084798 SOS 756371 HAS SOPS 431126 HAS SOUS 66393 HAS SOUPS 36822 WITH SCORE 37578.371
AT ITER 6607 NEW BEST:: SOT 1084797 SOS 756370 HAS SOPS 431126 HAS SOUS 66393 HAS SOUPS 36822 WITH SCORE 37578.37
AT ITER 6646 NEW BEST:: SOT 1083933 SOS 751791 HAS SOPS 428550 HAS SOUS 66286 HAS SOUPS 36715 WITH SCORE 37466.791
AT ITER 6652 NEW BEST:: SOT 1083891 SOS 751331 HAS SOPS 427726 HAS SOUS 66260 HAS SOUPS 36663 WITH SCORE 37414.331
AT ITER 6735 NEW BEST:: SOT 1083878 SOS 751318 HAS SOPS 427726 HAS SOUS 66260 HAS SOUPS 36663 WITH SCORE 37414.318
AT ITER 6757 NEW BEST:: SOT 1083878 SOS 751102 HAS SOPS 427714 HAS SOUS 66224 HAS SOUPS 36639 WITH SCORE 37390.102
AT ITER 6787 NEW BEST:: SOT 1083834 SOS 751058 HAS SOPS 427714 HAS SOUS 66224 HAS SOUPS 36639 WITH SCORE 37390.058
AT ITER 6806 NEW BEST:: SOT 1083837 SOS 751061 HAS SOPS 427717 HAS SOUS 66164 HAS SOUPS 36607 WITH SCORE 37358.061
AT ITER 6821 NEW BEST:: SOT 1083821 SOS 751032 HAS SOPS 427714 HAS SOUS 66148 HAS SOUPS 36604 WITH SCORE 37355.032
AT ITER 6865 NEW BEST:: SOT 1084801 SOS 753744 HAS SOPS 428396 HAS SOUS 66212 HAS SOUPS 36593 WITH SCORE 37346.744
AT ITER 6871 NEW BEST:: SOT 1084700 SOS 754355 HAS SOPS 428860 HAS SOUS 66194 HAS SOUPS 36575 WITH SCORE 37329.355
AT ITER 6882 NEW BEST:: SOT 1084700 SOS 754355 HAS SOPS 428860 HAS SOUS 66158 HAS SOUPS 36555 WITH SCORE 37309.355
AT ITER 6921 NEW BEST:: SOT 1084700 SOS 754324 HAS SOPS 428829 HAS SOUS 66127 HAS SOUPS 36524 WITH SCORE 37278.324
AT ITER 6959 NEW BEST:: SOT 1084489 SOS 753838 HAS SOPS 428439 HAS SOUS 66121 HAS SOUPS 36518 WITH SCORE 37271.838
AT ITER 7060 NEW BEST:: SOT 1084387 SOS 753736 HAS SOPS 428337 HAS SOUS 66121 HAS SOUPS 36518 WITH SCORE 37271.736
AT ITER 7108 NEW BEST:: SOT 1084373 SOS 753722 HAS SOPS 428337 HAS SOUS 66121 HAS SOUPS 36518 WITH SCORE 37271.722
AT ITER 7126 NEW BEST:: SOT 1084392 SOS 753495 HAS SOPS 428180 HAS SOUS 66112 HAS SOUPS 36509 WITH SCORE 37262.495
AT ITER 7130 NEW BEST:: SOT 1084248 SOS 753095 HAS SOPS 428084 HAS SOUS 66112 HAS SOUPS 36509 WITH SCORE 37262.095
AT ITER 7132 NEW BEST:: SOT 1084248 SOS 753089 HAS SOPS 428084 HAS SOUS 66112 HAS SOUPS 36509 WITH SCORE 37262.089
AT ITER 7157 NEW BEST:: SOT 1083389 SOS 750448 HAS SOPS 427115 HAS SOUS 66014 HAS SOUPS 36487 WITH SCORE 37237.448
AT ITER 7192 NEW BEST:: SOT 1083182 SOS 750250 HAS SOPS 427025 HAS SOUS 65699 HAS SOUPS 36325 WITH SCORE 37075.25
AT ITER 7198 NEW BEST:: SOT 1083182 SOS 750250 HAS SOPS 427025 HAS SOUS 65663 HAS SOUPS 36305 WITH SCORE 37055.25
AT ITER 7205 NEW BEST:: SOT 1083018 SOS 749807 HAS SOPS 426915 HAS SOUS 65649 HAS SOUPS 36300 WITH SCORE 37049.807
AT ITER 7212 NEW BEST:: SOT 1082486 SOS 748583 HAS SOPS 425799 HAS SOUS 65629 HAS SOUPS 36226 WITH SCORE 36974.583
AT ITER 7269 NEW BEST:: SOT 1082338 SOS 747951 HAS SOPS 425167 HAS SOUS 65565 HAS SOUPS 36162 WITH SCORE 36909.951
AT ITER 7304 NEW BEST:: SOT 1082338 SOS 747934 HAS SOPS 425150 HAS SOUS 65564 HAS SOUPS 36161 WITH SCORE 36908.934
AT ITER 7310 NEW BEST:: SOT 1082444 SOS 748040 HAS SOPS 425150 HAS SOUS 65523 HAS SOUPS 36140 WITH SCORE 36888.04
AT ITER 7324 NEW BEST:: SOT 1083135 SOS 750009 HAS SOPS 425755 HAS SOUS 65579 HAS SOUPS 36134 WITH SCORE 36884.009
AT ITER 7326 NEW BEST:: SOT 1082916 SOS 747485 HAS SOPS 424658 HAS SOUS 65546 HAS SOUPS 36101 WITH SCORE 36848.485
AT ITER 7338 NEW BEST:: SOT 1083123 SOS 748400 HAS SOPS 425136 HAS SOUS 65543 HAS SOUPS 36098 WITH SCORE 36846.4
AT ITER 7345 NEW BEST:: SOT 1083278 SOS 748710 HAS SOPS 425248 HAS SOUS 65526 HAS SOUPS 36081 WITH SCORE 36829.71
AT ITER 7415 NEW BEST:: SOT 1083237 SOS 748669 HAS SOPS 425248 HAS SOUS 65512 HAS SOUPS 36067 WITH SCORE 36815.669
AT ITER 7450 NEW BEST:: SOT 1083237 SOS 748669 HAS SOPS 425248 HAS SOUS 65458 HAS SOUPS 36037 WITH SCORE 36785.669
AT ITER 7458 NEW BEST:: SOT 1083219 SOS 748624 HAS SOPS 425236 HAS SOUS 65458 HAS SOUPS 36037 WITH SCORE 36785.624
AT ITER 7462 NEW BEST:: SOT 1083594 SOS 749551 HAS SOPS 425546 HAS SOUS 65355 HAS SOUPS 36010 WITH SCORE 36759.551
AT ITER 7503 NEW BEST:: SOT 1083444 SOS 749380 HAS SOPS 425390 HAS SOUS 65352 HAS SOUPS 35992 WITH SCORE 36741.38
AT ITER 7523 NEW BEST:: SOT 1083434 SOS 749232 HAS SOPS 425205 HAS SOUS 65350 HAS SOUPS 35985 WITH SCORE 36734.232
AT ITER 7533 NEW BEST:: SOT 1083443 SOS 749259 HAS SOPS 425209 HAS SOUS 65349 HAS SOUPS 35983 WITH SCORE 36732.259
AT ITER 7572 NEW BEST:: SOT 1082791 SOS 747551 HAS SOPS 424845 HAS SOUS 65292 HAS SOUPS 35980 WITH SCORE 36727.551
AT ITER 7579 NEW BEST:: SOT 1082781 SOS 747531 HAS SOPS 424840 HAS SOUS 65287 HAS SOUPS 35980 WITH SCORE 36727.531
AT ITER 7603 NEW BEST:: SOT 1082748 SOS 747498 HAS SOPS 424840 HAS SOUS 65287 HAS SOUPS 35980 WITH SCORE 36727.498
AT ITER 7608 NEW BEST:: SOT 1082707 SOS 747067 HAS SOPS 424494 HAS SOUS 65275 HAS SOUPS 35969 WITH SCORE 36716.067
AT ITER 7627 NEW BEST:: SOT 1082741 SOS 747101 HAS SOPS 424494 HAS SOUS 65266 HAS SOUPS 35964 WITH SCORE 36711.101
AT ITER 7630 NEW BEST:: SOT 1082741 SOS 747135 HAS SOPS 425106 HAS SOUS 65204 HAS SOUPS 35936 WITH SCORE 36683.135
AT ITER 7650 NEW BEST:: SOT 1082716 SOS 747110 HAS SOPS 425106 HAS SOUS 65204 HAS SOUPS 35936 WITH SCORE 36683.11
AT ITER 7659 NEW BEST:: SOT 1082689 SOS 747083 HAS SOPS 425106 HAS SOUS 65194 HAS SOUPS 35926 WITH SCORE 36673.083
AT ITER 7660 NEW BEST:: SOT 1082687 SOS 747081 HAS SOPS 425106 HAS SOUS 65194 HAS SOUPS 35926 WITH SCORE 36673.081
AT ITER 7692 NEW BEST:: SOT 1082557 SOS 746483 HAS SOPS 424794 HAS SOUS 65168 HAS SOUPS 35913 WITH SCORE 36659.483
AT ITER 7721 NEW BEST:: SOT 1082521 SOS 746489 HAS SOPS 424800 HAS SOUS 65161 HAS SOUPS 35906 WITH SCORE 36652.489
AT ITER 7726 NEW BEST:: SOT 1082794 SOS 746762 HAS SOPS 424982 HAS SOUS 65035 HAS SOUPS 35888 WITH SCORE 36634.762
AT ITER 7758 NEW BEST:: SOT 1082790 SOS 746746 HAS SOPS 424966 HAS SOUS 65018 HAS SOUPS 35871 WITH SCORE 36617.746
AT ITER 7763 NEW BEST:: SOT 1082752 SOS 746708 HAS SOPS 424966 HAS SOUS 64992 HAS SOUPS 35845 WITH SCORE 36591.708
AT ITER 7766 NEW BEST:: SOT 1082459 SOS 746015 HAS SOPS 424373 HAS SOUS 64977 HAS SOUPS 35805 WITH SCORE 36551.015
AT ITER 7778 NEW BEST:: SOT 1082291 SOS 745809 HAS SOPS 424167 HAS SOUS 64882 HAS SOUPS 35710 WITH SCORE 36455.809
AT ITER 7779 NEW BEST:: SOT 1082274 SOS 745792 HAS SOPS 424167 HAS SOUS 64850 HAS SOUPS 35678 WITH SCORE 36423.792
AT ITER 7782 NEW BEST:: SOT 1082264 SOS 745782 HAS SOPS 424157 HAS SOUS 64840 HAS SOUPS 35668 WITH SCORE 36413.782
AT ITER 7814 NEW BEST:: SOT 1082254 SOS 745703 HAS SOPS 424129 HAS SOUS 64835 HAS SOUPS 35666 WITH SCORE 36411.703
AT ITER 7818 NEW BEST:: SOT 1082248 SOS 745589 HAS SOPS 424015 HAS SOUS 64825 HAS SOUPS 35656 WITH SCORE 36401.589
AT ITER 7850 NEW BEST:: SOT 1082266 SOS 745601 HAS SOPS 424005 HAS SOUS 64809 HAS SOUPS 35646 WITH SCORE 36391.601
AT ITER 7859 NEW BEST:: SOT 1082263 SOS 744073 HAS SOPS 423599 HAS SOUS 64708 HAS SOUPS 35611 WITH SCORE 36355.073
AT ITER 7862 NEW BEST:: SOT 1082257 SOS 744067 HAS SOPS 423599 HAS SOUS 64708 HAS SOUPS 35611 WITH SCORE 36355.067
AT ITER 7918 NEW BEST:: SOT 1082246 SOS 743954 HAS SOPS 423584 HAS SOUS 64697 HAS SOUPS 35607 WITH SCORE 36350.954
AT ITER 7920 NEW BEST:: SOT 1082246 SOS 743954 HAS SOPS 423584 HAS SOUS 64688 HAS SOUPS 35602 WITH SCORE 36345.954
AT ITER 7928 NEW BEST:: SOT 1082242 SOS 743950 HAS SOPS 423584 HAS SOUS 64688 HAS SOUPS 35602 WITH SCORE 36345.95
AT ITER 7930 NEW BEST:: SOT 1082233 SOS 743941 HAS SOPS 423584 HAS SOUS 64670 HAS SOUPS 35584 WITH SCORE 36327.941
AT ITER 7945 NEW BEST:: SOT 1081980 SOS 743688 HAS SOPS 423469 HAS SOUS 64659 HAS SOUPS 35573 WITH SCORE 36316.688
AT ITER 7970 NEW BEST:: SOT 1081888 SOS 743596 HAS SOPS 423469 HAS SOUS 64655 HAS SOUPS 35569 WITH SCORE 36312.596
AT ITER 7972 NEW BEST:: SOT 1081864 SOS 743568 HAS SOPS 423465 HAS SOUS 64647 HAS SOUPS 35565 WITH SCORE 36308.568
AT ITER 7976 NEW BEST:: SOT 1081845 SOS 743549 HAS SOPS 423465 HAS SOUS 64647 HAS SOUPS 35565 WITH SCORE 36308.549
AT ITER 7984 NEW BEST:: SOT 1080605 SOS 740209 HAS SOPS 422673 HAS SOUS 64427 HAS SOUPS 35547 WITH SCORE 36287.209
AT ITER 8022 NEW BEST:: SOT 1080536 SOS 739938 HAS SOPS 422482 HAS SOUS 64327 HAS SOUPS 35487 WITH SCORE 36226.938
AT ITER 8024 NEW BEST:: SOT 1080703 SOS 740336 HAS SOPS 422598 HAS SOUS 64326 HAS SOUPS 35477 WITH SCORE 36217.336
AT ITER 8026 NEW BEST:: SOT 1080656 SOS 740458 HAS SOPS 422629 HAS SOUS 64322 HAS SOUPS 35462 WITH SCORE 36202.458
AT ITER 8083 NEW BEST:: SOT 1080440 SOS 740242 HAS SOPS 422413 HAS SOUS 64322 HAS SOUPS 35462 WITH SCORE 36202.242
AT ITER 8094 NEW BEST:: SOT 1080440 SOS 740242 HAS SOPS 422413 HAS SOUS 64313 HAS SOUPS 35457 WITH SCORE 36197.242
AT ITER 8098 NEW BEST:: SOT 1080442 SOS 740280 HAS SOPS 422451 HAS SOUS 64307 HAS SOUPS 35451 WITH SCORE 36191.28
AT ITER 8119 NEW BEST:: SOT 1080439 SOS 740277 HAS SOPS 422451 HAS SOUS 64307 HAS SOUPS 35451 WITH SCORE 36191.277
AT ITER 8211 NEW BEST:: SOT 1080331 SOS 740007 HAS SOPS 422388 HAS SOUS 64298 HAS SOUPS 35451 WITH SCORE 36191.007
AT ITER 8238 NEW BEST:: SOT 1080327 SOS 740003 HAS SOPS 422388 HAS SOUS 64298 HAS SOUPS 35451 WITH SCORE 36191.003
AT ITER 8251 NEW BEST:: SOT 1080339 SOS 740116 HAS SOPS 422559 HAS SOUS 64281 HAS SOUPS 35443 WITH SCORE 36183.116
AT ITER 8282 NEW BEST:: SOT 1080315 SOS 740184 HAS SOPS 422482 HAS SOUS 64257 HAS SOUPS 35419 WITH SCORE 36159.184
AT ITER 8297 NEW BEST:: SOT 1080315 SOS 740184 HAS SOPS 422482 HAS SOUS 64221 HAS SOUPS 35399 WITH SCORE 36139.184
AT ITER 8311 NEW BEST:: SOT 1080473 SOS 740329 HAS SOPS 422589 HAS SOUS 64182 HAS SOUPS 35379 WITH SCORE 36119.329
AT ITER 8367 NEW BEST:: SOT 1080473 SOS 740253 HAS SOPS 422581 HAS SOUS 64174 HAS SOUPS 35375 WITH SCORE 36115.253
AT ITER 8413 NEW BEST:: SOT 1080659 SOS 740625 HAS SOPS 422674 HAS SOUS 64253 HAS SOUPS 35367 WITH SCORE 36107.625
AT ITER 8421 NEW BEST:: SOT 1080657 SOS 740623 HAS SOPS 422674 HAS SOUS 64253 HAS SOUPS 35367 WITH SCORE 36107.623
AT ITER 8448 NEW BEST:: SOT 1080978 SOS 741461 HAS SOPS 422878 HAS SOUS 64274 HAS SOUPS 35365 WITH SCORE 36106.461
AT ITER 8451 NEW BEST:: SOT 1080863 SOS 740464 HAS SOPS 422763 HAS SOUS 64210 HAS SOUPS 35364 WITH SCORE 36104.464
AT ITER 8459 NEW BEST:: SOT 1080743 SOS 740334 HAS SOPS 422693 HAS SOUS 64200 HAS SOUPS 35354 WITH SCORE 36094.334
AT ITER 8478 NEW BEST:: SOT 1080715 SOS 740373 HAS SOPS 422693 HAS SOUS 64180 HAS SOUPS 35334 WITH SCORE 36074.373
AT ITER 8560 NEW BEST:: SOT 1080721 SOS 740426 HAS SOPS 422746 HAS SOUS 64177 HAS SOUPS 35331 WITH SCORE 36071.426
AT ITER 8580 NEW BEST:: SOT 1080820 SOS 740507 HAS SOPS 422800 HAS SOUS 64159 HAS SOUPS 35322 WITH SCORE 36062.507
AT ITER 8607 NEW BEST:: SOT 1080783 SOS 740618 HAS SOPS 422863 HAS SOUS 64158 HAS SOUPS 35317 WITH SCORE 36057.618
AT ITER 8631 NEW BEST:: SOT 1080783 SOS 740504 HAS SOPS 422851 HAS SOUS 64146 HAS SOUPS 35311 WITH SCORE 36051.504
AT ITER 8633 NEW BEST:: SOT 1080344 SOS 739343 HAS SOPS 421918 HAS SOUS 64084 HAS SOUPS 35249 WITH SCORE 35988.343
AT ITER 8668 NEW BEST:: SOT 1080435 SOS 739539 HAS SOPS 421974 HAS SOUS 64105 HAS SOUPS 35235 WITH SCORE 35974.539
AT ITER 8698 NEW BEST:: SOT 1080361 SOS 739177 HAS SOPS 421964 HAS SOUS 64079 HAS SOUPS 35225 WITH SCORE 35964.177
AT ITER 8714 NEW BEST:: SOT 1080521 SOS 739609 HAS SOPS 422060 HAS SOUS 64047 HAS SOUPS 35193 WITH SCORE 35932.609
AT ITER 8715 NEW BEST:: SOT 1080608 SOS 740038 HAS SOPS 422201 HAS SOUS 64028 HAS SOUPS 35174 WITH SCORE 35914.038
AT ITER 8732 NEW BEST:: SOT 1080608 SOS 740038 HAS SOPS 422201 HAS SOUS 63848 HAS SOUPS 35074 WITH SCORE 35814.038
AT ITER 8747 NEW BEST:: SOT 1080591 SOS 740021 HAS SOPS 422201 HAS SOUS 63848 HAS SOUPS 35074 WITH SCORE 35814.021
AT ITER 8749 NEW BEST:: SOT 1080599 SOS 739749 HAS SOPS 421985 HAS SOUS 63840 HAS SOUPS 35070 WITH SCORE 35809.749
AT ITER 8766 NEW BEST:: SOT 1080621 SOS 739807 HAS SOPS 421999 HAS SOUS 63840 HAS SOUPS 35068 WITH SCORE 35807.807
AT ITER 8796 NEW BEST:: SOT 1080555 SOS 739633 HAS SOPS 421957 HAS SOUS 63834 HAS SOUPS 35068 WITH SCORE 35807.633
AT ITER 8797 NEW BEST:: SOT 1080243 SOS 738900 HAS SOPS 421703 HAS SOUS 63777 HAS SOUPS 35011 WITH SCORE 35749.9
AT ITER 8847 NEW BEST:: SOT 1079880 SOS 737943 HAS SOPS 421472 HAS SOUS 63725 HAS SOUPS 34992 WITH SCORE 35729.943
AT ITER 8853 NEW BEST:: SOT 1079364 SOS 736921 HAS SOPS 421127 HAS SOUS 63715 HAS SOUPS 34982 WITH SCORE 35718.921
AT ITER 8866 NEW BEST:: SOT 1079344 SOS 736901 HAS SOPS 421127 HAS SOUS 63715 HAS SOUPS 34982 WITH SCORE 35718.901
AT ITER 8894 NEW BEST:: SOT 1079308 SOS 736869 HAS SOPS 421111 HAS SOUS 63719 HAS SOUPS 34982 WITH SCORE 35718.869
AT ITER 8943 NEW BEST:: SOT 1079251 SOS 736662 HAS SOPS 421018 HAS SOUS 63710 HAS SOUPS 34973 WITH SCORE 35709.662
AT ITER 8955 NEW BEST:: SOT 1077916 SOS 733186 HAS SOPS 418142 HAS SOUS 63634 HAS SOUPS 34897 WITH SCORE 35630.186
AT ITER 8993 NEW BEST:: SOT 1078421 SOS 733759 HAS SOPS 418453 HAS SOUS 63560 HAS SOUPS 34827 WITH SCORE 35560.759
AT ITER 9023 NEW BEST:: SOT 1078411 SOS 733927 HAS SOPS 418596 HAS SOUS 63545 HAS SOUPS 34812 WITH SCORE 35545.927
AT ITER 9063 NEW BEST:: SOT 1078430 SOS 733946 HAS SOPS 418596 HAS SOUS 63527 HAS SOUPS 34802 WITH SCORE 35535.946
AT ITER 9066 NEW BEST:: SOT 1078435 SOS 733774 HAS SOPS 418244 HAS SOUS 63532 HAS SOUPS 34787 WITH SCORE 35520.774
AT ITER 9100 NEW BEST:: SOT 1078435 SOS 733774 HAS SOPS 418244 HAS SOUS 63523 HAS SOUPS 34782 WITH SCORE 35515.774
AT ITER 9123 NEW BEST:: SOT 1078416 SOS 731903 HAS SOPS 416581 HAS SOUS 63488 HAS SOUPS 34747 WITH SCORE 35478.903
AT ITER 9144 NEW BEST:: SOT 1078413 SOS 730248 HAS SOPS 415776 HAS SOUS 63427 HAS SOUPS 34736 WITH SCORE 35466.248
AT ITER 9149 NEW BEST:: SOT 1078702 SOS 730848 HAS SOPS 415964 HAS SOUS 63501 HAS SOUPS 34715 WITH SCORE 35445.848
AT ITER 9179 NEW BEST:: SOT 1078693 SOS 730830 HAS SOPS 415958 HAS SOUS 63498 HAS SOUPS 34715 WITH SCORE 35445.83
AT ITER 9187 NEW BEST:: SOT 1078582 SOS 730719 HAS SOPS 415972 HAS SOUS 63498 HAS SOUPS 34715 WITH SCORE 35445.719
AT ITER 9206 NEW BEST:: SOT 1078594 SOS 730623 HAS SOPS 415876 HAS SOUS 63498 HAS SOUPS 34715 WITH SCORE 35445.623
AT ITER 9263 NEW BEST:: SOT 1078475 SOS 730504 HAS SOPS 415871 HAS SOUS 63493 HAS SOUPS 34710 WITH SCORE 35440.504
AT ITER 9295 NEW BEST:: SOT 1077668 SOS 714939 HAS SOPS 402513 HAS SOUS 63443 HAS SOUPS 34609 WITH SCORE 35323.939
AT ITER 9314 NEW BEST:: SOT 1077957 SOS 719410 HAS SOPS 405821 HAS SOUS 63335 HAS SOUPS 34552 WITH SCORE 35271.41
AT ITER 9331 NEW BEST:: SOT 1077957 SOS 719410 HAS SOPS 405821 HAS SOUS 63308 HAS SOUPS 34537 WITH SCORE 35256.41
AT ITER 9344 NEW BEST:: SOT 1078065 SOS 719662 HAS SOPS 405893 HAS SOUS 63287 HAS SOUPS 34515 WITH SCORE 35234.662
AT ITER 9361 NEW BEST:: SOT 1078063 SOS 719652 HAS SOPS 405889 HAS SOUS 63281 HAS SOUPS 34511 WITH SCORE 35230.652
AT ITER 9378 NEW BEST:: SOT 1078063 SOS 719652 HAS SOPS 405889 HAS SOUS 63272 HAS SOUPS 34506 WITH SCORE 35225.652
AT ITER 9415 NEW BEST:: SOT 1077754 SOS 718706 HAS SOPS 405687 HAS SOUS 63263 HAS SOUPS 34498 WITH SCORE 35216.706
AT ITER 9445 NEW BEST:: SOT 1077726 SOS 718622 HAS SOPS 405603 HAS SOUS 63187 HAS SOUPS 34422 WITH SCORE 35140.622
AT ITER 9478 NEW BEST:: SOT 1077726 SOS 718622 HAS SOPS 405603 HAS SOUS 63079 HAS SOUPS 34362 WITH SCORE 35080.622
AT ITER 9491 NEW BEST:: SOT 1077702 SOS 718541 HAS SOPS 405010 HAS SOUS 63080 HAS SOUPS 34328 WITH SCORE 35046.541
AT ITER 9498 NEW BEST:: SOT 1077672 SOS 718481 HAS SOPS 404995 HAS SOUS 63065 HAS SOUPS 34328 WITH SCORE 35046.481
AT ITER 9527 NEW BEST:: SOT 1077638 SOS 718413 HAS SOPS 404978 HAS SOUS 63048 HAS SOUPS 34328 WITH SCORE 35046.413
AT ITER 9554 NEW BEST:: SOT 1077635 SOS 718359 HAS SOPS 404921 HAS SOUS 63045 HAS SOUPS 34325 WITH SCORE 35043.359
AT ITER 9573 NEW BEST:: SOT 1077622 SOS 718346 HAS SOPS 404921 HAS SOUS 63045 HAS SOUPS 34325 WITH SCORE 35043.346
AT ITER 9575 NEW BEST:: SOT 1077575 SOS 718299 HAS SOPS 404921 HAS SOUS 63019 HAS SOUPS 34299 WITH SCORE 35017.299
AT ITER 9603 NEW BEST:: SOT 1077521 SOS 718245 HAS SOPS 404867 HAS SOUS 63019 HAS SOUPS 34299 WITH SCORE 35017.245
AT ITER 9605 NEW BEST:: SOT 1077520 SOS 718311 HAS SOPS 404865 HAS SOUS 63021 HAS SOUPS 34297 WITH SCORE 35015.311
AT ITER 9641 NEW BEST:: SOT 1077472 SOS 718347 HAS SOPS 405195 HAS SOUS 62988 HAS SOUPS 34285 WITH SCORE 35003.347
AT ITER 9645 NEW BEST:: SOT 1077416 SOS 718291 HAS SOPS 405195 HAS SOUS 62988 HAS SOUPS 34285 WITH SCORE 35003.291
AT ITER 9663 NEW BEST:: SOT 1077412 SOS 718283 HAS SOPS 405193 HAS SOUS 62986 HAS SOUPS 34285 WITH SCORE 35003.283
AT ITER 9713 NEW BEST:: SOT 1076352 SOS 714324 HAS SOPS 403524 HAS SOUS 62984 HAS SOUPS 34287 WITH SCORE 35001.324
AT ITER 9728 NEW BEST:: SOT 1076333 SOS 714305 HAS SOPS 403524 HAS SOUS 62984 HAS SOUPS 34287 WITH SCORE 35001.305
AT ITER 9762 NEW BEST:: SOT 1076189 SOS 714055 HAS SOPS 403402 HAS SOUS 62941 HAS SOUPS 34266 WITH SCORE 34980.055
AT ITER 9763 NEW BEST:: SOT 1076186 SOS 714052 HAS SOPS 403399 HAS SOUS 62938 HAS SOUPS 34263 WITH SCORE 34977.052
AT ITER 9764 NEW BEST:: SOT 1075024 SOS 710733 HAS SOPS 402626 HAS SOUS 62885 HAS SOUPS 34266 WITH SCORE 34976.733
AT ITER 9875 NEW BEST:: SOT 1075019 SOS 710583 HAS SOPS 402581 HAS SOUS 62880 HAS SOUPS 34261 WITH SCORE 34971.583
AT ITER 9954 NEW BEST:: SOT 1074953 SOS 709946 HAS SOPS 402454 HAS SOUS 62843 HAS SOUPS 34254 WITH SCORE 34963.946
AT ITER 9961 NEW BEST:: SOT 1074928 SOS 709759 HAS SOPS 402439 HAS SOUS 62832 HAS SOUPS 34253 WITH SCORE 34962.759

BK_STOP 1590871396466

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 479 Aborted ${SMART} ${INPUT_SM}

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="DLCround-PT-13a"
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 DLCround-PT-13a, 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 r048-ebro-158902542400616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-13a.tgz
mv DLCround-PT-13a 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 ;