Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806900019.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 DLCshifumi-PT-3a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806900019
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 944K
-rw-r--r-- 1 mcc users 2.8K Mar 30 21:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 21:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 29 12:04 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 29 12:04 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 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:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 07:25 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 07:25 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 01:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 27 01:49 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 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 778K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-3a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589357747156

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 3a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 544 places, 3097 transitions, 11545 arcs.
AT ITER 0 NEW BEST:: SOT 1161244 SOS 902926 HAS SOPS 486037 HAS SOUS 143202 HAS SOUPS 74919 WITH SCORE 75821.926
AT ITER 24 NEW BEST:: SOT 1159774 SOS 903678 HAS SOPS 485601 HAS SOUS 142207 HAS SOUPS 73924 WITH SCORE 74827.678
AT ITER 27 NEW BEST:: SOT 1159431 SOS 903678 HAS SOPS 485160 HAS SOUS 142011 HAS SOUPS 73679 WITH SCORE 74582.678
AT ITER 32 NEW BEST:: SOT 1159295 SOS 903406 HAS SOPS 485305 HAS SOUS 141748 HAS SOUPS 73555 WITH SCORE 74458.406
AT ITER 41 NEW BEST:: SOT 1158791 SOS 903499 HAS SOPS 484750 HAS SOUS 141551 HAS SOUPS 73286 WITH SCORE 74189.499
AT ITER 42 NEW BEST:: SOT 1157854 SOS 903475 HAS SOPS 483655 HAS SOUS 141022 HAS SOUPS 72638 WITH SCORE 73541.475
AT ITER 52 NEW BEST:: SOT 1155927 SOS 900265 HAS SOPS 482915 HAS SOUS 140700 HAS SOUPS 72585 WITH SCORE 73485.265
AT ITER 53 NEW BEST:: SOT 1155091 SOS 900058 HAS SOPS 481808 HAS SOUS 140192 HAS SOUPS 71977 WITH SCORE 72877.058
AT ITER 64 NEW BEST:: SOT 1154685 SOS 900058 HAS SOPS 481286 HAS SOUS 140018 HAS SOUPS 71745 WITH SCORE 72645.058
AT ITER 78 NEW BEST:: SOT 1153663 SOS 902155 HAS SOPS 481673 HAS SOUS 139596 HAS SOUPS 71193 WITH SCORE 72095.155
AT ITER 89 NEW BEST:: SOT 1153663 SOS 902155 HAS SOPS 481673 HAS SOUS 139522 HAS SOUPS 71119 WITH SCORE 72021.155
AT ITER 90 NEW BEST:: SOT 1151881 SOS 899253 HAS SOPS 480961 HAS SOUS 139328 HAS SOUPS 71069 WITH SCORE 71968.253
AT ITER 92 NEW BEST:: SOT 1151881 SOS 899253 HAS SOPS 480961 HAS SOUS 139278 HAS SOUPS 71019 WITH SCORE 71918.253
AT ITER 96 NEW BEST:: SOT 1151648 SOS 898787 HAS SOPS 481089 HAS SOUS 138812 HAS SOUPS 70751 WITH SCORE 71649.787
AT ITER 97 NEW BEST:: SOT 1150985 SOS 899333 HAS SOPS 480744 HAS SOUS 138488 HAS SOUPS 70328 WITH SCORE 71227.333
AT ITER 101 NEW BEST:: SOT 1150976 SOS 899334 HAS SOPS 480736 HAS SOUS 138483 HAS SOUPS 70322 WITH SCORE 71221.334
AT ITER 109 NEW BEST:: SOT 1148902 SOS 896008 HAS SOPS 479794 HAS SOUS 138191 HAS SOUPS 70180 WITH SCORE 71076.008
AT ITER 118 NEW BEST:: SOT 1148443 SOS 896916 HAS SOPS 479739 HAS SOUS 137941 HAS SOUPS 69823 WITH SCORE 70719.916
AT ITER 126 NEW BEST:: SOT 1147897 SOS 897048 HAS SOPS 479169 HAS SOUS 137656 HAS SOUPS 69460 WITH SCORE 70357.048
AT ITER 127 NEW BEST:: SOT 1147111 SOS 897339 HAS SOPS 478515 HAS SOUS 137329 HAS SOUPS 69028 WITH SCORE 69925.339
AT ITER 128 NEW BEST:: SOT 1145345 SOS 895197 HAS SOPS 477193 HAS SOUS 137243 HAS SOUPS 68968 WITH SCORE 69863.197
AT ITER 130 NEW BEST:: SOT 1145480 SOS 887267 HAS SOPS 477668 HAS SOUS 136831 HAS SOUPS 68761 WITH SCORE 69648.267
AT ITER 133 NEW BEST:: SOT 1145102 SOS 887267 HAS SOPS 477182 HAS SOUS 136669 HAS SOUPS 68545 WITH SCORE 69432.267
AT ITER 140 NEW BEST:: SOT 1143014 SOS 884823 HAS SOPS 475654 HAS SOUS 136590 HAS SOUPS 68492 WITH SCORE 69376.823
AT ITER 141 NEW BEST:: SOT 1142519 SOS 878066 HAS SOPS 477205 HAS SOUS 136052 HAS SOUPS 67946 WITH SCORE 68824.066
AT ITER 142 NEW BEST:: SOT 1140299 SOS 874476 HAS SOPS 476293 HAS SOUS 135748 HAS SOUPS 67882 WITH SCORE 68756.476
AT ITER 144 NEW BEST:: SOT 1136385 SOS 869596 HAS SOPS 473762 HAS SOUS 135256 HAS SOUPS 67599 WITH SCORE 68468.596
AT ITER 145 NEW BEST:: SOT 1136047 SOS 876360 HAS SOPS 473458 HAS SOUS 135138 HAS SOUPS 67481 WITH SCORE 68357.36
AT ITER 147 NEW BEST:: SOT 1136883 SOS 877002 HAS SOPS 474294 HAS SOUS 134650 HAS SOUPS 67131 WITH SCORE 68008.002
AT ITER 158 NEW BEST:: SOT 1136631 SOS 876498 HAS SOPS 474168 HAS SOUS 134146 HAS SOUPS 66753 WITH SCORE 67629.498
AT ITER 169 NEW BEST:: SOT 1135958 SOS 876228 HAS SOPS 473609 HAS SOUS 133824 HAS SOUPS 66368 WITH SCORE 67244.228
AT ITER 171 NEW BEST:: SOT 1135858 SOS 876028 HAS SOPS 473880 HAS SOUS 133567 HAS SOUPS 66268 WITH SCORE 67144.028
AT ITER 173 NEW BEST:: SOT 1135858 SOS 876028 HAS SOPS 473880 HAS SOUS 133541 HAS SOUPS 66242 WITH SCORE 67118.028
AT ITER 174 NEW BEST:: SOT 1133208 SOS 872835 HAS SOPS 472132 HAS SOUS 133405 HAS SOUPS 66210 WITH SCORE 67082.835
AT ITER 177 NEW BEST:: SOT 1132728 SOS 872895 HAS SOPS 471772 HAS SOUS 133164 HAS SOUPS 65969 WITH SCORE 66841.895
AT ITER 186 NEW BEST:: SOT 1132816 SOS 873227 HAS SOPS 471864 HAS SOUS 133108 HAS SOUPS 65913 WITH SCORE 66786.227
AT ITER 187 NEW BEST:: SOT 1132739 SOS 873073 HAS SOPS 471710 HAS SOUS 132954 HAS SOUPS 65759 WITH SCORE 66632.073
AT ITER 191 NEW BEST:: SOT 1131702 SOS 865434 HAS SOPS 471943 HAS SOUS 132127 HAS SOUPS 64932 WITH SCORE 65797.434
AT ITER 199 NEW BEST:: SOT 1131702 SOS 865380 HAS SOPS 471889 HAS SOUS 132091 HAS SOUPS 64896 WITH SCORE 65761.38
AT ITER 204 NEW BEST:: SOT 1131617 SOS 865174 HAS SOPS 472235 HAS SOUS 131857 HAS SOUPS 64846 WITH SCORE 65711.174
AT ITER 209 NEW BEST:: SOT 1128996 SOS 862160 HAS SOPS 470334 HAS SOUS 131810 HAS SOUPS 64823 WITH SCORE 65685.16
AT ITER 215 NEW BEST:: SOT 1128469 SOS 862935 HAS SOPS 470092 HAS SOUS 131489 HAS SOUPS 64389 WITH SCORE 65251.935
AT ITER 218 NEW BEST:: SOT 1128370 SOS 862239 HAS SOPS 469906 HAS SOUS 131247 HAS SOUPS 64317 WITH SCORE 65179.239
AT ITER 248 NEW BEST:: SOT 1126199 SOS 858865 HAS SOPS 469152 HAS SOUS 130938 HAS SOUPS 64299 WITH SCORE 65157.865
AT ITER 252 NEW BEST:: SOT 1126098 SOS 858663 HAS SOPS 469152 HAS SOUS 130938 HAS SOUPS 64299 WITH SCORE 65157.663
AT ITER 254 NEW BEST:: SOT 1126098 SOS 858663 HAS SOPS 469152 HAS SOUS 130928 HAS SOUPS 64289 WITH SCORE 65147.663
AT ITER 255 NEW BEST:: SOT 1125665 SOS 866117 HAS SOPS 468702 HAS SOUS 130668 HAS SOUPS 64029 WITH SCORE 64895.117
AT ITER 270 NEW BEST:: SOT 1125469 SOS 865627 HAS SOPS 468212 HAS SOUS 130374 HAS SOUPS 63735 WITH SCORE 64600.627
AT ITER 273 NEW BEST:: SOT 1124802 SOS 866813 HAS SOPS 468642 HAS SOUS 129871 HAS SOUPS 63232 WITH SCORE 64098.813
AT ITER 278 NEW BEST:: SOT 1122790 SOS 864602 HAS SOPS 466986 HAS SOUS 129822 HAS SOUPS 63193 WITH SCORE 64057.602
AT ITER 286 NEW BEST:: SOT 1122594 SOS 863916 HAS SOPS 466594 HAS SOUS 129429 HAS SOUPS 62898 WITH SCORE 63761.916
AT ITER 292 NEW BEST:: SOT 1121845 SOS 862751 HAS SOPS 466053 HAS SOUS 128437 HAS SOUPS 62114 WITH SCORE 62976.751
AT ITER 300 NEW BEST:: SOT 1121845 SOS 862668 HAS SOPS 465721 HAS SOUS 128520 HAS SOUPS 62114 WITH SCORE 62976.668
AT ITER 317 NEW BEST:: SOT 1121759 SOS 862450 HAS SOPS 465503 HAS SOUS 128388 HAS SOUPS 61982 WITH SCORE 62844.45
AT ITER 323 NEW BEST:: SOT 1122685 SOS 863206 HAS SOPS 466533 HAS SOUS 128157 HAS SOUPS 61888 WITH SCORE 62751.206
AT ITER 326 NEW BEST:: SOT 1122685 SOS 863422 HAS SOPS 466533 HAS SOUS 128165 HAS SOUPS 61824 WITH SCORE 62687.422
AT ITER 333 NEW BEST:: SOT 1122200 SOS 862275 HAS SOPS 465917 HAS SOUS 127372 HAS SOUPS 61208 WITH SCORE 62070.275
AT ITER 334 NEW BEST:: SOT 1121950 SOS 862695 HAS SOPS 466061 HAS SOUS 127178 HAS SOUPS 61014 WITH SCORE 61876.695
AT ITER 339 NEW BEST:: SOT 1121932 SOS 862652 HAS SOPS 466013 HAS SOUS 126584 HAS SOUPS 60594 WITH SCORE 61456.652
AT ITER 340 NEW BEST:: SOT 1121992 SOS 862732 HAS SOPS 466013 HAS SOUS 126604 HAS SOUPS 60554 WITH SCORE 61416.732
AT ITER 363 NEW BEST:: SOT 1121987 SOS 862722 HAS SOPS 466003 HAS SOUS 126594 HAS SOUPS 60544 WITH SCORE 61406.722
AT ITER 366 NEW BEST:: SOT 1122107 SOS 862872 HAS SOPS 466063 HAS SOUS 126584 HAS SOUPS 60524 WITH SCORE 61386.872
AT ITER 393 NEW BEST:: SOT 1122030 SOS 862679 HAS SOPS 466032 HAS SOUS 126417 HAS SOUPS 60411 WITH SCORE 61273.679
AT ITER 394 NEW BEST:: SOT 1117675 SOS 856881 HAS SOPS 463351 HAS SOUS 126030 HAS SOUPS 60364 WITH SCORE 61220.881
AT ITER 400 NEW BEST:: SOT 1117065 SOS 862101 HAS SOPS 462961 HAS SOUS 125685 HAS SOUPS 60101 WITH SCORE 60963.101
AT ITER 421 NEW BEST:: SOT 1117061 SOS 862093 HAS SOPS 462953 HAS SOUS 125681 HAS SOUPS 60097 WITH SCORE 60959.093
AT ITER 422 NEW BEST:: SOT 1115353 SOS 860064 HAS SOPS 461683 HAS SOUS 125636 HAS SOUPS 60067 WITH SCORE 60927.064
AT ITER 423 NEW BEST:: SOT 1115196 SOS 859655 HAS SOPS 461744 HAS SOUS 125417 HAS SOUPS 59973 WITH SCORE 60832.655
AT ITER 434 NEW BEST:: SOT 1114543 SOS 859513 HAS SOPS 460873 HAS SOUS 125037 HAS SOUPS 59512 WITH SCORE 60371.513
AT ITER 444 NEW BEST:: SOT 1111252 SOS 855683 HAS SOPS 458784 HAS SOUS 124910 HAS SOUPS 59515 WITH SCORE 60370.683
AT ITER 450 NEW BEST:: SOT 1111252 SOS 855683 HAS SOPS 458784 HAS SOUS 124882 HAS SOUPS 59487 WITH SCORE 60342.683
AT ITER 451 NEW BEST:: SOT 1111224 SOS 855699 HAS SOPS 458800 HAS SOUS 124881 HAS SOUPS 59486 WITH SCORE 60341.699
AT ITER 452 NEW BEST:: SOT 1111269 SOS 855834 HAS SOPS 458800 HAS SOUS 124845 HAS SOUPS 59441 WITH SCORE 60296.834
AT ITER 457 NEW BEST:: SOT 1111115 SOS 855384 HAS SOPS 458668 HAS SOUS 124691 HAS SOUPS 59379 WITH SCORE 60234.384
AT ITER 460 NEW BEST:: SOT 1110765 SOS 855862 HAS SOPS 458516 HAS SOUS 124664 HAS SOUPS 59282 WITH SCORE 60137.862
AT ITER 462 NEW BEST:: SOT 1107779 SOS 852182 HAS SOPS 456594 HAS SOUS 124348 HAS SOUPS 59131 WITH SCORE 59983.182
AT ITER 465 NEW BEST:: SOT 1106046 SOS 850135 HAS SOPS 455242 HAS SOUS 124200 HAS SOUPS 58983 WITH SCORE 59833.135
AT ITER 471 NEW BEST:: SOT 1102026 SOS 844889 HAS SOPS 452744 HAS SOUS 123819 HAS SOUPS 58892 WITH SCORE 59736.889
AT ITER 479 NEW BEST:: SOT 1102026 SOS 844889 HAS SOPS 452744 HAS SOUS 123743 HAS SOUPS 58816 WITH SCORE 59660.889
AT ITER 481 NEW BEST:: SOT 1102026 SOS 844852 HAS SOPS 452744 HAS SOUS 123743 HAS SOUPS 58816 WITH SCORE 59660.852
AT ITER 489 NEW BEST:: SOT 1101632 SOS 844161 HAS SOPS 452344 HAS SOUS 123460 HAS SOUPS 58630 WITH SCORE 59474.161
AT ITER 490 NEW BEST:: SOT 1101587 SOS 844416 HAS SOPS 452464 HAS SOUS 123460 HAS SOUPS 58615 WITH SCORE 59459.416
AT ITER 493 NEW BEST:: SOT 1100914 SOS 847066 HAS SOPS 453175 HAS SOUS 123253 HAS SOUPS 58209 WITH SCORE 59056.066
AT ITER 494 NEW BEST:: SOT 1100552 SOS 847582 HAS SOPS 453319 HAS SOUS 122979 HAS SOUPS 57935 WITH SCORE 58782.582
AT ITER 495 NEW BEST:: SOT 1100450 SOS 846958 HAS SOPS 453352 HAS SOUS 122703 HAS SOUPS 57878 WITH SCORE 58724.958
AT ITER 496 NEW BEST:: SOT 1100450 SOS 846956 HAS SOPS 453350 HAS SOUS 122701 HAS SOUPS 57876 WITH SCORE 58722.956
AT ITER 501 NEW BEST:: SOT 1099982 SOS 846098 HAS SOPS 452726 HAS SOUS 122322 HAS SOUPS 57575 WITH SCORE 58421.098
AT ITER 503 NEW BEST:: SOT 1099838 SOS 845810 HAS SOPS 452789 HAS SOUS 122061 HAS SOUPS 57431 WITH SCORE 58276.81
AT ITER 510 NEW BEST:: SOT 1099838 SOS 845810 HAS SOPS 452789 HAS SOUS 122005 HAS SOUPS 57375 WITH SCORE 58220.81
AT ITER 530 NEW BEST:: SOT 1096897 SOS 842348 HAS SOPS 450855 HAS SOUS 121733 HAS SOUPS 57208 WITH SCORE 58050.348
AT ITER 531 NEW BEST:: SOT 1096140 SOS 843488 HAS SOPS 451089 HAS SOUS 121523 HAS SOUPS 56998 WITH SCORE 57841.488
AT ITER 543 NEW BEST:: SOT 1096106 SOS 843580 HAS SOPS 451091 HAS SOUS 121502 HAS SOUPS 56967 WITH SCORE 57810.58
AT ITER 553 NEW BEST:: SOT 1096106 SOS 843580 HAS SOPS 451091 HAS SOUS 121430 HAS SOUPS 56895 WITH SCORE 57738.58
AT ITER 555 NEW BEST:: SOT 1095773 SOS 844894 HAS SOPS 451811 HAS SOUS 121379 HAS SOUPS 56844 WITH SCORE 57688.894
AT ITER 576 NEW BEST:: SOT 1095715 SOS 844865 HAS SOPS 451782 HAS SOUS 121352 HAS SOUPS 56817 WITH SCORE 57661.865
AT ITER 583 NEW BEST:: SOT 1095715 SOS 844865 HAS SOPS 451782 HAS SOUS 121332 HAS SOUPS 56797 WITH SCORE 57641.865
AT ITER 584 NEW BEST:: SOT 1095715 SOS 844817 HAS SOPS 451734 HAS SOUS 121316 HAS SOUPS 56781 WITH SCORE 57625.817
AT ITER 597 NEW BEST:: SOT 1093590 SOS 842379 HAS SOPS 450201 HAS SOUS 121388 HAS SOUPS 56759 WITH SCORE 57601.379
AT ITER 599 NEW BEST:: SOT 1093302 SOS 841875 HAS SOPS 449913 HAS SOUS 121172 HAS SOUPS 56615 WITH SCORE 57456.875
AT ITER 601 NEW BEST:: SOT 1092439 SOS 840747 HAS SOPS 449331 HAS SOUS 121121 HAS SOUPS 56563 WITH SCORE 57403.747
AT ITER 606 NEW BEST:: SOT 1088322 SOS 835697 HAS SOPS 446729 HAS SOUS 120724 HAS SOUPS 56388 WITH SCORE 57223.697
AT ITER 607 NEW BEST:: SOT 1088322 SOS 835604 HAS SOPS 446729 HAS SOUS 120684 HAS SOUPS 56379 WITH SCORE 57214.604
AT ITER 621 NEW BEST:: SOT 1087634 SOS 834400 HAS SOPS 446041 HAS SOUS 120322 HAS SOUPS 56189 WITH SCORE 57023.4
AT ITER 628 NEW BEST:: SOT 1087579 SOS 834345 HAS SOPS 446151 HAS SOUS 120215 HAS SOUPS 56137 WITH SCORE 56971.345
AT ITER 635 NEW BEST:: SOT 1087583 SOS 834400 HAS SOPS 446159 HAS SOUS 120078 HAS SOUPS 56047 WITH SCORE 56881.4
AT ITER 651 NEW BEST:: SOT 1088380 SOS 837425 HAS SOPS 447912 HAS SOUS 119997 HAS SOUPS 55966 WITH SCORE 56803.425
AT ITER 684 NEW BEST:: SOT 1088380 SOS 837425 HAS SOPS 447912 HAS SOUS 119987 HAS SOUPS 55956 WITH SCORE 56793.425
AT ITER 692 NEW BEST:: SOT 1088380 SOS 837425 HAS SOPS 447912 HAS SOUS 119929 HAS SOUPS 55898 WITH SCORE 56735.425
AT ITER 693 NEW BEST:: SOT 1088244 SOS 837153 HAS SOPS 448048 HAS SOUS 119657 HAS SOUPS 55762 WITH SCORE 56599.153
AT ITER 714 NEW BEST:: SOT 1088136 SOS 837045 HAS SOPS 447976 HAS SOUS 119657 HAS SOUPS 55762 WITH SCORE 56599.045
AT ITER 716 NEW BEST:: SOT 1085261 SOS 833199 HAS SOPS 446209 HAS SOUS 119307 HAS SOUPS 55643 WITH SCORE 56476.199
AT ITER 717 NEW BEST:: SOT 1085181 SOS 833101 HAS SOPS 446297 HAS SOUS 119165 HAS SOUPS 55563 WITH SCORE 56396.101
AT ITER 729 NEW BEST:: SOT 1085200 SOS 833053 HAS SOPS 446104 HAS SOUS 119062 HAS SOUPS 55460 WITH SCORE 56293.053
AT ITER 730 NEW BEST:: SOT 1085170 SOS 832968 HAS SOPS 446074 HAS SOUS 119057 HAS SOUPS 55460 WITH SCORE 56292.968
AT ITER 733 NEW BEST:: SOT 1084524 SOS 834729 HAS SOPS 447350 HAS SOUS 118855 HAS SOUPS 55352 WITH SCORE 56186.729
AT ITER 743 NEW BEST:: SOT 1084506 SOS 834684 HAS SOPS 447305 HAS SOUS 118828 HAS SOUPS 55325 WITH SCORE 56159.684
AT ITER 751 NEW BEST:: SOT 1083040 SOS 833086 HAS SOPS 446105 HAS SOUS 118731 HAS SOUPS 55294 WITH SCORE 56127.086
AT ITER 752 NEW BEST:: SOT 1082893 SOS 832517 HAS SOPS 445597 HAS SOUS 118482 HAS SOUPS 55045 WITH SCORE 55877.517
AT ITER 754 NEW BEST:: SOT 1080789 SOS 829938 HAS SOPS 444055 HAS SOUS 118474 HAS SOUPS 54989 WITH SCORE 55818.938
AT ITER 757 NEW BEST:: SOT 1080697 SOS 829754 HAS SOPS 444138 HAS SOUS 118293 HAS SOUPS 54897 WITH SCORE 55726.754
AT ITER 758 NEW BEST:: SOT 1080601 SOS 829508 HAS SOPS 444231 HAS SOUS 118009 HAS SOUPS 54726 WITH SCORE 55555.508
AT ITER 765 NEW BEST:: SOT 1077887 SOS 826304 HAS SOPS 442295 HAS SOUS 117844 HAS SOUPS 54554 WITH SCORE 55380.304
AT ITER 771 NEW BEST:: SOT 1077808 SOS 826066 HAS SOPS 442177 HAS SOUS 117765 HAS SOUPS 54515 WITH SCORE 55341.066
AT ITER 772 NEW BEST:: SOT 1077529 SOS 825467 HAS SOPS 442078 HAS SOUS 117668 HAS SOUPS 54508 WITH SCORE 55333.467
AT ITER 773 NEW BEST:: SOT 1078905 SOS 827184 HAS SOPS 442768 HAS SOUS 117848 HAS SOUPS 54477 WITH SCORE 55304.184
AT ITER 779 NEW BEST:: SOT 1078316 SOS 822647 HAS SOPS 442179 HAS SOUS 117355 HAS SOUPS 53946 WITH SCORE 54768.647
AT ITER 780 NEW BEST:: SOT 1077456 SOS 822406 HAS SOPS 442255 HAS SOUS 116953 HAS SOUPS 53635 WITH SCORE 54457.406
AT ITER 785 NEW BEST:: SOT 1077370 SOS 822048 HAS SOPS 442101 HAS SOUS 116817 HAS SOUPS 53567 WITH SCORE 54389.048
AT ITER 791 NEW BEST:: SOT 1078012 SOS 822690 HAS SOPS 442419 HAS SOUS 116703 HAS SOUPS 53453 WITH SCORE 54275.69
AT ITER 792 NEW BEST:: SOT 1076594 SOS 821051 HAS SOPS 441219 HAS SOUS 116701 HAS SOUPS 53386 WITH SCORE 54207.051
AT ITER 801 NEW BEST:: SOT 1076552 SOS 820841 HAS SOPS 441135 HAS SOUS 116617 HAS SOUPS 53344 WITH SCORE 54164.841
AT ITER 811 NEW BEST:: SOT 1076382 SOS 820671 HAS SOPS 440965 HAS SOUS 116494 HAS SOUPS 53221 WITH SCORE 54041.671
AT ITER 827 NEW BEST:: SOT 1076479 SOS 820914 HAS SOPS 440926 HAS SOUS 116242 HAS SOUPS 52901 WITH SCORE 53721.914
AT ITER 828 NEW BEST:: SOT 1076451 SOS 820886 HAS SOPS 440982 HAS SOUS 116186 HAS SOUPS 52873 WITH SCORE 53693.886
AT ITER 829 NEW BEST:: SOT 1076475 SOS 820441 HAS SOPS 440753 HAS SOUS 116162 HAS SOUPS 52873 WITH SCORE 53693.441
AT ITER 848 NEW BEST:: SOT 1076634 SOS 818996 HAS SOPS 439854 HAS SOUS 115986 HAS SOUPS 52697 WITH SCORE 53515.996
AT ITER 857 NEW BEST:: SOT 1075272 SOS 817570 HAS SOPS 439056 HAS SOUS 115990 HAS SOUPS 52640 WITH SCORE 53457.57
AT ITER 858 NEW BEST:: SOT 1075444 SOS 814866 HAS SOPS 437232 HAS SOUS 115682 HAS SOUPS 52403 WITH SCORE 53217.866
AT ITER 859 NEW BEST:: SOT 1075024 SOS 814026 HAS SOPS 436392 HAS SOUS 115538 HAS SOUPS 52259 WITH SCORE 53073.026
AT ITER 867 NEW BEST:: SOT 1074976 SOS 814006 HAS SOPS 436544 HAS SOUS 115462 HAS SOUPS 52259 WITH SCORE 53073.006
AT ITER 868 NEW BEST:: SOT 1074812 SOS 813755 HAS SOPS 436524 HAS SOUS 115344 HAS SOUPS 52218 WITH SCORE 53031.755
AT ITER 880 NEW BEST:: SOT 1074812 SOS 813755 HAS SOPS 436524 HAS SOUS 115276 HAS SOUPS 52150 WITH SCORE 52963.755
AT ITER 882 NEW BEST:: SOT 1074698 SOS 813411 HAS SOPS 436599 HAS SOUS 115159 HAS SOUPS 52137 WITH SCORE 52950.411
AT ITER 884 NEW BEST:: SOT 1074487 SOS 812989 HAS SOPS 436529 HAS SOUS 114938 HAS SOUPS 52026 WITH SCORE 52838.989
AT ITER 885 NEW BEST:: SOT 1074400 SOS 812530 HAS SOPS 436355 HAS SOUS 114688 HAS SOUPS 51871 WITH SCORE 52683.53
AT ITER 901 NEW BEST:: SOT 1073998 SOS 811838 HAS SOPS 435907 HAS SOUS 114464 HAS SOUPS 51759 WITH SCORE 52570.838
AT ITER 904 NEW BEST:: SOT 1073998 SOS 811838 HAS SOPS 435907 HAS SOUS 114455 HAS SOUPS 51754 WITH SCORE 52565.838
AT ITER 905 NEW BEST:: SOT 1073956 SOS 811691 HAS SOPS 435760 HAS SOUS 114371 HAS SOUPS 51670 WITH SCORE 52481.691
AT ITER 921 NEW BEST:: SOT 1073686 SOS 811301 HAS SOPS 435356 HAS SOUS 114193 HAS SOUPS 51492 WITH SCORE 52303.301
AT ITER 925 NEW BEST:: SOT 1073581 SOS 811406 HAS SOPS 435251 HAS SOUS 114172 HAS SOUPS 51450 WITH SCORE 52261.406
AT ITER 934 NEW BEST:: SOT 1073865 SOS 811836 HAS SOPS 435251 HAS SOUS 114204 HAS SOUPS 51423 WITH SCORE 52234.836
AT ITER 940 NEW BEST:: SOT 1071563 SOS 808042 HAS SOPS 434419 HAS SOUS 113830 HAS SOUPS 51370 WITH SCORE 52178.042
AT ITER 954 NEW BEST:: SOT 1070506 SOS 806566 HAS SOPS 433859 HAS SOUS 113642 HAS SOUPS 51219 WITH SCORE 52025.566
AT ITER 1000 NEW BEST:: SOT 1070550 SOS 806288 HAS SOPS 434028 HAS SOUS 113455 HAS SOUPS 51181 WITH SCORE 51987.288
AT ITER 1006 NEW BEST:: SOT 1070468 SOS 806083 HAS SOPS 433823 HAS SOUS 113373 HAS SOUPS 51099 WITH SCORE 51905.083
AT ITER 1008 NEW BEST:: SOT 1070123 SOS 805531 HAS SOPS 433823 HAS SOUS 113304 HAS SOUPS 51099 WITH SCORE 51904.531
AT ITER 1009 NEW BEST:: SOT 1070123 SOS 805531 HAS SOPS 433823 HAS SOUS 113301 HAS SOUPS 51097 WITH SCORE 51902.531
AT ITER 1041 NEW BEST:: SOT 1070117 SOS 805519 HAS SOPS 433811 HAS SOUS 113295 HAS SOUPS 51091 WITH SCORE 51896.519
AT ITER 1043 NEW BEST:: SOT 1069976 SOS 805378 HAS SOPS 433670 HAS SOUS 113293 HAS SOUPS 51089 WITH SCORE 51894.378
AT ITER 1047 NEW BEST:: SOT 1069820 SOS 805222 HAS SOPS 433280 HAS SOUS 113293 HAS SOUPS 51011 WITH SCORE 51816.222
AT ITER 1057 NEW BEST:: SOT 1069820 SOS 805222 HAS SOPS 433280 HAS SOUS 113221 HAS SOUPS 50939 WITH SCORE 51744.222
AT ITER 1061 NEW BEST:: SOT 1069780 SOS 805004 HAS SOPS 433062 HAS SOUS 113178 HAS SOUPS 50896 WITH SCORE 51701.004
AT ITER 1085 NEW BEST:: SOT 1069381 SOS 804206 HAS SOPS 433062 HAS SOUS 113087 HAS SOUPS 50896 WITH SCORE 51700.206
AT ITER 1091 NEW BEST:: SOT 1070529 SOS 805574 HAS SOPS 433870 HAS SOUS 113046 HAS SOUPS 50862 WITH SCORE 51667.574
AT ITER 1103 NEW BEST:: SOT 1070392 SOS 805123 HAS SOPS 433698 HAS SOUS 112689 HAS SOUPS 50598 WITH SCORE 51403.123
AT ITER 1105 NEW BEST:: SOT 1071304 SOS 806035 HAS SOPS 433926 HAS SOUS 112625 HAS SOUPS 50534 WITH SCORE 51340.035
AT ITER 1109 NEW BEST:: SOT 1071304 SOS 806035 HAS SOPS 433926 HAS SOUS 112569 HAS SOUPS 50478 WITH SCORE 51284.035
AT ITER 1112 NEW BEST:: SOT 1071002 SOS 806369 HAS SOPS 433657 HAS SOUS 112506 HAS SOUPS 50348 WITH SCORE 51154.369
AT ITER 1134 NEW BEST:: SOT 1069205 SOS 804134 HAS SOPS 432601 HAS SOUS 112379 HAS SOUPS 50324 WITH SCORE 51128.134
AT ITER 1162 NEW BEST:: SOT 1069205 SOS 804134 HAS SOPS 432601 HAS SOUS 112343 HAS SOUPS 50288 WITH SCORE 51092.134
AT ITER 1190 NEW BEST:: SOT 1069060 SOS 803626 HAS SOPS 432264 HAS SOUS 112331 HAS SOUPS 50276 WITH SCORE 51079.626
AT ITER 1204 NEW BEST:: SOT 1069074 SOS 803388 HAS SOPS 432152 HAS SOUS 112317 HAS SOUPS 50276 WITH SCORE 51079.388
AT ITER 1206 NEW BEST:: SOT 1069057 SOS 803337 HAS SOPS 432169 HAS SOUS 112300 HAS SOUPS 50276 WITH SCORE 51079.337
AT ITER 1222 NEW BEST:: SOT 1067783 SOS 801865 HAS SOPS 431082 HAS SOUS 112113 HAS SOUPS 50045 WITH SCORE 50846.865
AT ITER 1230 NEW BEST:: SOT 1067621 SOS 801547 HAS SOPS 430984 HAS SOUS 112059 HAS SOUPS 50023 WITH SCORE 50824.547
AT ITER 1233 NEW BEST:: SOT 1067463 SOS 801279 HAS SOPS 430716 HAS SOUS 111976 HAS SOUPS 49940 WITH SCORE 50741.279
AT ITER 1234 NEW BEST:: SOT 1067189 SOS 801403 HAS SOPS 430824 HAS SOUS 111872 HAS SOUPS 49873 WITH SCORE 50674.403
AT ITER 1243 NEW BEST:: SOT 1067183 SOS 801391 HAS SOPS 430809 HAS SOUS 111870 HAS SOUPS 49869 WITH SCORE 50670.391
AT ITER 1245 NEW BEST:: SOT 1067163 SOS 801252 HAS SOPS 430670 HAS SOUS 111790 HAS SOUPS 49789 WITH SCORE 50590.252
AT ITER 1292 NEW BEST:: SOT 1067040 SOS 801072 HAS SOPS 430556 HAS SOUS 111640 HAS SOUPS 49705 WITH SCORE 50506.072
AT ITER 1293 NEW BEST:: SOT 1066974 SOS 800940 HAS SOPS 430402 HAS SOUS 111596 HAS SOUPS 49639 WITH SCORE 50439.94
AT ITER 1296 NEW BEST:: SOT 1066965 SOS 800922 HAS SOPS 430384 HAS SOUS 111587 HAS SOUPS 49630 WITH SCORE 50430.922
AT ITER 1320 NEW BEST:: SOT 1066913 SOS 800792 HAS SOPS 430254 HAS SOUS 111509 HAS SOUPS 49552 WITH SCORE 50352.792
AT ITER 1343 NEW BEST:: SOT 1066804 SOS 800525 HAS SOPS 430036 HAS SOUS 111313 HAS SOUPS 49405 WITH SCORE 50205.525
AT ITER 1345 NEW BEST:: SOT 1066683 SOS 800382 HAS SOPS 429959 HAS SOUS 111313 HAS SOUPS 49405 WITH SCORE 50205.382
AT ITER 1349 NEW BEST:: SOT 1066663 SOS 800342 HAS SOPS 429919 HAS SOUS 111273 HAS SOUPS 49365 WITH SCORE 50165.342
AT ITER 1361 NEW BEST:: SOT 1066625 SOS 800466 HAS SOPS 429983 HAS SOUS 111245 HAS SOUPS 49337 WITH SCORE 50137.466
AT ITER 1365 NEW BEST:: SOT 1066605 SOS 800431 HAS SOPS 429963 HAS SOUS 111235 HAS SOUPS 49332 WITH SCORE 50132.431
AT ITER 1389 NEW BEST:: SOT 1066443 SOS 801025 HAS SOPS 430233 HAS SOUS 111127 HAS SOUPS 49224 WITH SCORE 50025.025
AT ITER 1394 NEW BEST:: SOT 1065655 SOS 800130 HAS SOPS 429361 HAS SOUS 111154 HAS SOUPS 49163 WITH SCORE 49963.13
AT ITER 1398 NEW BEST:: SOT 1065613 SOS 800025 HAS SOPS 429256 HAS SOUS 111091 HAS SOUPS 49100 WITH SCORE 49900.025
AT ITER 1404 NEW BEST:: SOT 1065268 SOS 799624 HAS SOPS 429041 HAS SOUS 111062 HAS SOUPS 49071 WITH SCORE 49870.624
AT ITER 1408 NEW BEST:: SOT 1065268 SOS 799558 HAS SOPS 428975 HAS SOUS 111062 HAS SOUPS 49071 WITH SCORE 49870.558
AT ITER 1409 NEW BEST:: SOT 1065211 SOS 799501 HAS SOPS 428918 HAS SOUS 111005 HAS SOUPS 49014 WITH SCORE 49813.501
AT ITER 1414 NEW BEST:: SOT 1065289 SOS 799618 HAS SOPS 429035 HAS SOUS 110966 HAS SOUPS 48975 WITH SCORE 49774.618
AT ITER 1433 NEW BEST:: SOT 1065032 SOS 799274 HAS SOPS 428813 HAS SOUS 110855 HAS SOUPS 48864 WITH SCORE 49663.274
AT ITER 1437 NEW BEST:: SOT 1065812 SOS 799404 HAS SOPS 429203 HAS SOUS 110335 HAS SOUPS 48474 WITH SCORE 49273.404
AT ITER 1451 NEW BEST:: SOT 1065641 SOS 801461 HAS SOPS 429865 HAS SOUS 110433 HAS SOUPS 48417 WITH SCORE 49218.461
AT ITER 1452 NEW BEST:: SOT 1065625 SOS 801396 HAS SOPS 429888 HAS SOUS 110374 HAS SOUPS 48387 WITH SCORE 49188.396
AT ITER 1473 NEW BEST:: SOT 1064310 SOS 799893 HAS SOPS 428874 HAS SOUS 110418 HAS SOUPS 48350 WITH SCORE 49149.893
AT ITER 1483 NEW BEST:: SOT 1064371 SOS 799987 HAS SOPS 428874 HAS SOUS 110395 HAS SOUPS 48322 WITH SCORE 49121.987
AT ITER 1490 NEW BEST:: SOT 1064787 SOS 800351 HAS SOPS 429238 HAS SOUS 110291 HAS SOUPS 48270 WITH SCORE 49070.351
AT ITER 1500 NEW BEST:: SOT 1063969 SOS 799145 HAS SOPS 428948 HAS SOUS 110267 HAS SOUPS 48270 WITH SCORE 49069.145
AT ITER 1517 NEW BEST:: SOT 1063801 SOS 798977 HAS SOPS 428864 HAS SOUS 110253 HAS SOUPS 48256 WITH SCORE 49054.977
AT ITER 1524 NEW BEST:: SOT 1063794 SOS 798956 HAS SOPS 428843 HAS SOUS 110248 HAS SOUPS 48251 WITH SCORE 49049.956
AT ITER 1535 NEW BEST:: SOT 1063640 SOS 798648 HAS SOPS 428695 HAS SOUS 110241 HAS SOUPS 48244 WITH SCORE 49042.648
AT ITER 1543 NEW BEST:: SOT 1063632 SOS 798620 HAS SOPS 428679 HAS SOUS 110221 HAS SOUPS 48228 WITH SCORE 49026.62
AT ITER 1565 NEW BEST:: SOT 1063569 SOS 798632 HAS SOPS 428591 HAS SOUS 110236 HAS SOUPS 48192 WITH SCORE 48990.632
AT ITER 1572 NEW BEST:: SOT 1062840 SOS 798314 HAS SOPS 428345 HAS SOUS 109744 HAS SOUPS 47807 WITH SCORE 48605.314
AT ITER 1580 NEW BEST:: SOT 1062840 SOS 798255 HAS SOPS 428286 HAS SOUS 109744 HAS SOUPS 47807 WITH SCORE 48605.255
AT ITER 1586 NEW BEST:: SOT 1062776 SOS 798191 HAS SOPS 428222 HAS SOUS 109752 HAS SOUPS 47807 WITH SCORE 48605.191
AT ITER 1596 NEW BEST:: SOT 1062516 SOS 797761 HAS SOPS 428092 HAS SOUS 109651 HAS SOUPS 47771 WITH SCORE 48568.761
AT ITER 1598 NEW BEST:: SOT 1062420 SOS 797538 HAS SOPS 428185 HAS SOUS 109455 HAS SOUPS 47680 WITH SCORE 48477.538
AT ITER 1609 NEW BEST:: SOT 1062386 SOS 792491 HAS SOPS 423958 HAS SOUS 109428 HAS SOUPS 47673 WITH SCORE 48465.491
AT ITER 1628 NEW BEST:: SOT 1062521 SOS 792041 HAS SOPS 423508 HAS SOUS 109473 HAS SOUPS 47673 WITH SCORE 48465.041
AT ITER 1630 NEW BEST:: SOT 1062403 SOS 792051 HAS SOPS 423512 HAS SOUS 109453 HAS SOUPS 47667 WITH SCORE 48459.051
AT ITER 1642 NEW BEST:: SOT 1063481 SOS 793325 HAS SOPS 424100 HAS SOUS 109383 HAS SOUPS 47561 WITH SCORE 48354.325
AT ITER 1652 NEW BEST:: SOT 1063489 SOS 793197 HAS SOPS 423972 HAS SOUS 109363 HAS SOUPS 47541 WITH SCORE 48334.197
AT ITER 1653 NEW BEST:: SOT 1063489 SOS 793192 HAS SOPS 423952 HAS SOUS 109368 HAS SOUPS 47541 WITH SCORE 48334.192
AT ITER 1657 NEW BEST:: SOT 1063341 SOS 793201 HAS SOPS 423904 HAS SOUS 109312 HAS SOUPS 47485 WITH SCORE 48278.201
AT ITER 1659 NEW BEST:: SOT 1063254 SOS 793056 HAS SOPS 423846 HAS SOUS 109283 HAS SOUPS 47485 WITH SCORE 48278.056
AT ITER 1675 NEW BEST:: SOT 1063236 SOS 793190 HAS SOPS 424490 HAS SOUS 109095 HAS SOUPS 47467 WITH SCORE 48260.19
AT ITER 1689 NEW BEST:: SOT 1063352 SOS 792900 HAS SOPS 424287 HAS SOUS 109095 HAS SOUPS 47467 WITH SCORE 48259.9
AT ITER 1704 NEW BEST:: SOT 1063220 SOS 792636 HAS SOPS 424287 HAS SOUS 109058 HAS SOUPS 47467 WITH SCORE 48259.636
AT ITER 1706 NEW BEST:: SOT 1063072 SOS 792488 HAS SOPS 424139 HAS SOUS 109053 HAS SOUPS 47462 WITH SCORE 48254.488
AT ITER 1745 NEW BEST:: SOT 1061869 SOS 791168 HAS SOPS 423431 HAS SOUS 108996 HAS SOUPS 47405 WITH SCORE 48196.168
AT ITER 1762 NEW BEST:: SOT 1061389 SOS 789728 HAS SOPS 422771 HAS SOUS 108756 HAS SOUPS 47225 WITH SCORE 48014.728
AT ITER 1772 NEW BEST:: SOT 1061407 SOS 789814 HAS SOPS 422722 HAS SOUS 108742 HAS SOUPS 47174 WITH SCORE 47963.814
AT ITER 1782 NEW BEST:: SOT 1061471 SOS 789876 HAS SOPS 422755 HAS SOUS 108731 HAS SOUPS 47163 WITH SCORE 47952.876
AT ITER 1790 NEW BEST:: SOT 1061455 SOS 789844 HAS SOPS 422723 HAS SOUS 108718 HAS SOUPS 47150 WITH SCORE 47939.844
AT ITER 1795 NEW BEST:: SOT 1060601 SOS 789045 HAS SOPS 422304 HAS SOUS 108684 HAS SOUPS 47100 WITH SCORE 47889.045
AT ITER 1796 NEW BEST:: SOT 1059305 SOS 787001 HAS SOPS 422110 HAS SOUS 108353 HAS SOUPS 47102 WITH SCORE 47889.001
AT ITER 1829 NEW BEST:: SOT 1059197 SOS 786785 HAS SOPS 422110 HAS SOUS 108236 HAS SOUPS 47102 WITH SCORE 47888.785
AT ITER 1835 NEW BEST:: SOT 1059143 SOS 786626 HAS SOPS 421951 HAS SOUS 108182 HAS SOUPS 47048 WITH SCORE 47834.626
AT ITER 1839 NEW BEST:: SOT 1059135 SOS 786623 HAS SOPS 421943 HAS SOUS 108181 HAS SOUPS 47046 WITH SCORE 47832.623
AT ITER 1854 NEW BEST:: SOT 1058728 SOS 786349 HAS SOPS 421516 HAS SOUS 107940 HAS SOUPS 46805 WITH SCORE 47591.349
AT ITER 1856 NEW BEST:: SOT 1058736 SOS 786349 HAS SOPS 421516 HAS SOUS 107932 HAS SOUPS 46797 WITH SCORE 47583.349
AT ITER 1860 NEW BEST:: SOT 1058680 SOS 786281 HAS SOPS 421492 HAS SOUS 107863 HAS SOUPS 46772 WITH SCORE 47558.281
AT ITER 1865 NEW BEST:: SOT 1058594 SOS 785794 HAS SOPS 421005 HAS SOUS 107777 HAS SOUPS 46686 WITH SCORE 47471.794
AT ITER 1871 NEW BEST:: SOT 1057980 SOS 787226 HAS SOPS 421297 HAS SOUS 107760 HAS SOUPS 46669 WITH SCORE 47456.226
AT ITER 1876 NEW BEST:: SOT 1057603 SOS 786778 HAS SOPS 421087 HAS SOUS 107493 HAS SOUPS 46508 WITH SCORE 47294.778
AT ITER 1892 NEW BEST:: SOT 1057564 SOS 786700 HAS SOPS 421009 HAS SOUS 107484 HAS SOUPS 46499 WITH SCORE 47285.7
AT ITER 1900 NEW BEST:: SOT 1057176 SOS 786771 HAS SOPS 420780 HAS SOUS 107307 HAS SOUPS 46322 WITH SCORE 47108.771
AT ITER 1925 NEW BEST:: SOT 1056515 SOS 786069 HAS SOPS 420193 HAS SOUS 107126 HAS SOUPS 46083 WITH SCORE 46869.069
AT ITER 1942 NEW BEST:: SOT 1056431 SOS 785827 HAS SOPS 420032 HAS SOUS 106953 HAS SOUPS 45947 WITH SCORE 46732.827
AT ITER 1952 NEW BEST:: SOT 1056431 SOS 785827 HAS SOPS 420032 HAS SOUS 106875 HAS SOUPS 45869 WITH SCORE 46654.827
AT ITER 1972 NEW BEST:: SOT 1056110 SOS 785392 HAS SOPS 420218 HAS SOUS 106588 HAS SOUPS 45789 WITH SCORE 46574.392
AT ITER 1974 NEW BEST:: SOT 1055973 SOS 787478 HAS SOPS 421596 HAS SOUS 106569 HAS SOUPS 45770 WITH SCORE 46557.478
AT ITER 1978 NEW BEST:: SOT 1055911 SOS 787389 HAS SOPS 421507 HAS SOUS 106507 HAS SOUPS 45708 WITH SCORE 46495.389
AT ITER 2016 NEW BEST:: SOT 1055793 SOS 789454 HAS SOPS 421153 HAS SOUS 106507 HAS SOUPS 45649 WITH SCORE 46438.454
AT ITER 2023 NEW BEST:: SOT 1055784 SOS 789436 HAS SOPS 421135 HAS SOUS 106498 HAS SOUPS 45640 WITH SCORE 46429.436
AT ITER 2025 NEW BEST:: SOT 1055372 SOS 789208 HAS SOPS 420887 HAS SOUS 106534 HAS SOUPS 45620 WITH SCORE 46409.208
AT ITER 2031 NEW BEST:: SOT 1055333 SOS 789145 HAS SOPS 420824 HAS SOUS 106507 HAS SOUPS 45593 WITH SCORE 46382.145
AT ITER 2033 NEW BEST:: SOT 1055143 SOS 788917 HAS SOPS 420710 HAS SOUS 106488 HAS SOUPS 45574 WITH SCORE 46362.917
AT ITER 2036 NEW BEST:: SOT 1055031 SOS 788765 HAS SOPS 420630 HAS SOUS 106464 HAS SOUPS 45558 WITH SCORE 46346.765
AT ITER 2073 NEW BEST:: SOT 1055031 SOS 788765 HAS SOPS 420630 HAS SOUS 106404 HAS SOUPS 45498 WITH SCORE 46286.765
AT ITER 2081 NEW BEST:: SOT 1053703 SOS 787090 HAS SOPS 419936 HAS SOUS 106294 HAS SOUPS 45497 WITH SCORE 46284.09
AT ITER 2096 NEW BEST:: SOT 1053703 SOS 787090 HAS SOPS 419936 HAS SOUS 106284 HAS SOUPS 45487 WITH SCORE 46274.09
AT ITER 2108 NEW BEST:: SOT 1053785 SOS 787086 HAS SOPS 420026 HAS SOUS 106178 HAS SOUPS 45475 WITH SCORE 46262.086
AT ITER 2129 NEW BEST:: SOT 1053780 SOS 787076 HAS SOPS 420026 HAS SOUS 106202 HAS SOUPS 45475 WITH SCORE 46262.076
AT ITER 2133 NEW BEST:: SOT 1053765 SOS 787131 HAS SOPS 420051 HAS SOUS 106192 HAS SOUPS 45465 WITH SCORE 46252.131
AT ITER 2137 NEW BEST:: SOT 1053769 SOS 787092 HAS SOPS 420258 HAS SOUS 106185 HAS SOUPS 45464 WITH SCORE 46251.092
AT ITER 2167 NEW BEST:: SOT 1053763 SOS 787084 HAS SOPS 420244 HAS SOUS 106183 HAS SOUPS 45460 WITH SCORE 46247.084
AT ITER 2174 NEW BEST:: SOT 1053091 SOS 785208 HAS SOPS 418704 HAS SOUS 105971 HAS SOUPS 45199 WITH SCORE 45984.208
AT ITER 2179 NEW BEST:: SOT 1053143 SOS 784727 HAS SOPS 418264 HAS SOUS 105852 HAS SOUPS 45080 WITH SCORE 45864.727
AT ITER 2194 NEW BEST:: SOT 1053143 SOS 784727 HAS SOPS 418264 HAS SOUS 105846 HAS SOUPS 45074 WITH SCORE 45858.727
AT ITER 2210 NEW BEST:: SOT 1052783 SOS 784367 HAS SOPS 418024 HAS SOUS 105824 HAS SOUPS 45052 WITH SCORE 45836.367
AT ITER 2217 NEW BEST:: SOT 1052184 SOS 783674 HAS SOPS 417613 HAS SOUS 105762 HAS SOUPS 44990 WITH SCORE 45773.674
AT ITER 2225 NEW BEST:: SOT 1051860 SOS 783350 HAS SOPS 417289 HAS SOUS 105753 HAS SOUPS 44985 WITH SCORE 45768.35
AT ITER 2235 NEW BEST:: SOT 1052016 SOS 783489 HAS SOPS 417428 HAS SOUS 105720 HAS SOUPS 44973 WITH SCORE 45756.489
AT ITER 2242 NEW BEST:: SOT 1052280 SOS 783819 HAS SOPS 417560 HAS SOUS 105741 HAS SOUPS 44960 WITH SCORE 45743.819
AT ITER 2245 NEW BEST:: SOT 1052280 SOS 783819 HAS SOPS 417560 HAS SOUS 105673 HAS SOUPS 44892 WITH SCORE 45675.819
AT ITER 2279 NEW BEST:: SOT 1052264 SOS 783787 HAS SOPS 417544 HAS SOUS 105665 HAS SOUPS 44884 WITH SCORE 45667.787
AT ITER 2302 NEW BEST:: SOT 1052344 SOS 783767 HAS SOPS 417504 HAS SOUS 105675 HAS SOUPS 44884 WITH SCORE 45667.767
AT ITER 2314 NEW BEST:: SOT 1050924 SOS 782183 HAS SOPS 416329 HAS SOUS 105712 HAS SOUPS 44846 WITH SCORE 45628.183
AT ITER 2334 NEW BEST:: SOT 1050912 SOS 782127 HAS SOPS 416273 HAS SOUS 105693 HAS SOUPS 44827 WITH SCORE 45609.127
AT ITER 2341 NEW BEST:: SOT 1050302 SOS 781411 HAS SOPS 415841 HAS SOUS 105621 HAS SOUPS 44827 WITH SCORE 45608.411
AT ITER 2347 NEW BEST:: SOT 1050302 SOS 781354 HAS SOPS 415841 HAS SOUS 105602 HAS SOUPS 44827 WITH SCORE 45608.354
AT ITER 2362 NEW BEST:: SOT 1049934 SOS 780999 HAS SOPS 415486 HAS SOUS 105316 HAS SOUPS 44541 WITH SCORE 45321.999
AT ITER 2398 NEW BEST:: SOT 1049488 SOS 780446 HAS SOPS 415234 HAS SOUS 105312 HAS SOUPS 44537 WITH SCORE 45317.446
AT ITER 2399 NEW BEST:: SOT 1049500 SOS 780464 HAS SOPS 415234 HAS SOUS 105312 HAS SOUPS 44531 WITH SCORE 45311.464
AT ITER 2400 NEW BEST:: SOT 1048117 SOS 777698 HAS SOPS 415234 HAS SOUS 104940 HAS SOUPS 44531 WITH SCORE 45308.698
AT ITER 2401 NEW BEST:: SOT 1047949 SOS 777498 HAS SOPS 415146 HAS SOUS 104916 HAS SOUPS 44507 WITH SCORE 45284.498
AT ITER 2406 NEW BEST:: SOT 1048017 SOS 777472 HAS SOPS 415030 HAS SOUS 104745 HAS SOUPS 44467 WITH SCORE 45244.472
AT ITER 2416 NEW BEST:: SOT 1048017 SOS 777457 HAS SOPS 415015 HAS SOUS 104740 HAS SOUPS 44462 WITH SCORE 45239.457
AT ITER 2444 NEW BEST:: SOT 1046817 SOS 776012 HAS SOPS 414002 HAS SOUS 104722 HAS SOUPS 44406 WITH SCORE 45182.012
AT ITER 2448 NEW BEST:: SOT 1046789 SOS 775956 HAS SOPS 413988 HAS SOUS 104680 HAS SOUPS 44378 WITH SCORE 45153.956
AT ITER 2455 NEW BEST:: SOT 1046801 SOS 776106 HAS SOPS 414000 HAS SOUS 104712 HAS SOUPS 44364 WITH SCORE 45140.106
AT ITER 2479 NEW BEST:: SOT 1046364 SOS 775669 HAS SOPS 413727 HAS SOUS 104685 HAS SOUPS 44296 WITH SCORE 45071.669
AT ITER 2481 NEW BEST:: SOT 1046140 SOS 775426 HAS SOPS 413559 HAS SOUS 104661 HAS SOUPS 44272 WITH SCORE 45047.426
AT ITER 2482 NEW BEST:: SOT 1045897 SOS 775156 HAS SOPS 413235 HAS SOUS 104634 HAS SOUPS 44218 WITH SCORE 44993.156
AT ITER 2485 NEW BEST:: SOT 1048428 SOS 778069 HAS SOPS 414496 HAS SOUS 104630 HAS SOUPS 44077 WITH SCORE 44855.069
AT ITER 2487 NEW BEST:: SOT 1048438 SOS 778173 HAS SOPS 414423 HAS SOUS 104643 HAS SOUPS 44031 WITH SCORE 44809.173
AT ITER 2511 NEW BEST:: SOT 1048567 SOS 778566 HAS SOPS 414504 HAS SOUS 104580 HAS SOUPS 43968 WITH SCORE 44746.566
AT ITER 2518 NEW BEST:: SOT 1048501 SOS 778564 HAS SOPS 414632 HAS SOUS 104356 HAS SOUPS 43874 WITH SCORE 44652.564
AT ITER 2528 NEW BEST:: SOT 1048600 SOS 778587 HAS SOPS 414146 HAS SOUS 104456 HAS SOUPS 43807 WITH SCORE 44585.587
AT ITER 2544 NEW BEST:: SOT 1048504 SOS 778795 HAS SOPS 414174 HAS SOUS 104457 HAS SOUPS 43788 WITH SCORE 44566.795
AT ITER 2546 NEW BEST:: SOT 1048482 SOS 778751 HAS SOPS 414174 HAS SOUS 104435 HAS SOUPS 43788 WITH SCORE 44566.751
AT ITER 2578 NEW BEST:: SOT 1048138 SOS 778453 HAS SOPS 413876 HAS SOUS 104478 HAS SOUPS 43788 WITH SCORE 44566.453
AT ITER 2581 NEW BEST:: SOT 1048340 SOS 778553 HAS SOPS 413976 HAS SOUS 104452 HAS SOUPS 43762 WITH SCORE 44540.553
AT ITER 2589 NEW BEST:: SOT 1047785 SOS 777802 HAS SOPS 413715 HAS SOUS 104403 HAS SOUPS 43713 WITH SCORE 44490.802
AT ITER 2595 NEW BEST:: SOT 1047597 SOS 779024 HAS SOPS 414373 HAS SOUS 104309 HAS SOUPS 43619 WITH SCORE 44398.024
AT ITER 2596 NEW BEST:: SOT 1047290 SOS 778575 HAS SOPS 414094 HAS SOUS 104186 HAS SOUPS 43493 WITH SCORE 44271.575
AT ITER 2610 NEW BEST:: SOT 1047330 SOS 778540 HAS SOPS 414059 HAS SOUS 104169 HAS SOUPS 43476 WITH SCORE 44254.54
AT ITER 2611 NEW BEST:: SOT 1047330 SOS 778513 HAS SOPS 414032 HAS SOUS 104169 HAS SOUPS 43476 WITH SCORE 44254.513
AT ITER 2613 NEW BEST:: SOT 1048226 SOS 779323 HAS SOPS 414510 HAS SOUS 103999 HAS SOUPS 43366 WITH SCORE 44145.323
AT ITER 2617 NEW BEST:: SOT 1048030 SOS 779127 HAS SOPS 414382 HAS SOUS 104007 HAS SOUPS 43357 WITH SCORE 44136.127
AT ITER 2622 NEW BEST:: SOT 1047892 SOS 778891 HAS SOPS 414266 HAS SOUS 103949 HAS SOUPS 43339 WITH SCORE 44117.891
AT ITER 2625 NEW BEST:: SOT 1046542 SOS 777333 HAS SOPS 413674 HAS SOUS 103928 HAS SOUPS 43318 WITH SCORE 44095.333
AT ITER 2631 NEW BEST:: SOT 1046612 SOS 777435 HAS SOPS 413674 HAS SOUS 103884 HAS SOUPS 43280 WITH SCORE 44057.435
AT ITER 2646 NEW BEST:: SOT 1046604 SOS 777428 HAS SOPS 413670 HAS SOUS 103884 HAS SOUPS 43280 WITH SCORE 44057.428
AT ITER 2677 NEW BEST:: SOT 1046233 SOS 776686 HAS SOPS 413670 HAS SOUS 103835 HAS SOUPS 43280 WITH SCORE 44056.686
AT ITER 2689 NEW BEST:: SOT 1046341 SOS 775876 HAS SOPS 413238 HAS SOUS 103781 HAS SOUPS 43280 WITH SCORE 44055.876
AT ITER 2697 NEW BEST:: SOT 1046867 SOS 776308 HAS SOPS 413670 HAS SOUS 103747 HAS SOUPS 43246 WITH SCORE 44022.308
AT ITER 2738 NEW BEST:: SOT 1045718 SOS 772727 HAS SOPS 412129 HAS SOUS 103472 HAS SOUPS 43107 WITH SCORE 43879.727
AT ITER 2746 NEW BEST:: SOT 1045550 SOS 772718 HAS SOPS 411912 HAS SOUS 103605 HAS SOUPS 43081 WITH SCORE 43853.718
AT ITER 2747 NEW BEST:: SOT 1045542 SOS 772691 HAS SOPS 411894 HAS SOUS 103604 HAS SOUPS 43080 WITH SCORE 43852.691
AT ITER 2752 NEW BEST:: SOT 1045526 SOS 772651 HAS SOPS 411830 HAS SOUS 103588 HAS SOUPS 43056 WITH SCORE 43828.651
AT ITER 2756 NEW BEST:: SOT 1045572 SOS 772716 HAS SOPS 411814 HAS SOUS 103601 HAS SOUPS 43042 WITH SCORE 43814.716
AT ITER 2766 NEW BEST:: SOT 1045461 SOS 772859 HAS SOPS 411759 HAS SOUS 103578 HAS SOUPS 42997 WITH SCORE 43769.859
AT ITER 2769 NEW BEST:: SOT 1045585 SOS 773019 HAS SOPS 411853 HAS SOUS 103576 HAS SOUPS 42995 WITH SCORE 43768.019
AT ITER 2776 NEW BEST:: SOT 1045340 SOS 773289 HAS SOPS 411763 HAS SOUS 103445 HAS SOUPS 42824 WITH SCORE 43597.289
AT ITER 2780 NEW BEST:: SOT 1045724 SOS 771144 HAS SOPS 410179 HAS SOUS 103371 HAS SOUPS 42687 WITH SCORE 43458.144
AT ITER 2786 NEW BEST:: SOT 1045724 SOS 771144 HAS SOPS 410179 HAS SOUS 103368 HAS SOUPS 42685 WITH SCORE 43456.144
AT ITER 2787 NEW BEST:: SOT 1045678 SOS 770868 HAS SOPS 409995 HAS SOUS 103368 HAS SOUPS 42662 WITH SCORE 43432.868
AT ITER 2803 NEW BEST:: SOT 1045722 SOS 770927 HAS SOPS 410034 HAS SOUS 103353 HAS SOUPS 42652 WITH SCORE 43422.927
AT ITER 2808 NEW BEST:: SOT 1045702 SOS 770507 HAS SOPS 409785 HAS SOUS 103276 HAS SOUPS 42594 WITH SCORE 43364.507
AT ITER 2825 NEW BEST:: SOT 1042594 SOS 766700 HAS SOPS 407142 HAS SOUS 103390 HAS SOUPS 42570 WITH SCORE 43336.7
AT ITER 2828 NEW BEST:: SOT 1041517 SOS 765561 HAS SOPS 406348 HAS SOUS 103235 HAS SOUPS 42416 WITH SCORE 43181.561
AT ITER 2832 NEW BEST:: SOT 1040240 SOS 763943 HAS SOPS 405540 HAS SOUS 103184 HAS SOUPS 42406 WITH SCORE 43169.943
AT ITER 2837 NEW BEST:: SOT 1040238 SOS 763943 HAS SOPS 405540 HAS SOUS 103180 HAS SOUPS 42402 WITH SCORE 43165.943
AT ITER 2840 NEW BEST:: SOT 1040106 SOS 763795 HAS SOPS 405740 HAS SOUS 103012 HAS SOUPS 42350 WITH SCORE 43113.795
AT ITER 2858 NEW BEST:: SOT 1039978 SOS 763634 HAS SOPS 405579 HAS SOUS 102980 HAS SOUPS 42318 WITH SCORE 43081.634
AT ITER 2870 NEW BEST:: SOT 1039978 SOS 763634 HAS SOPS 405579 HAS SOUS 102973 HAS SOUPS 42311 WITH SCORE 43074.634
AT ITER 2874 NEW BEST:: SOT 1039906 SOS 763490 HAS SOPS 405435 HAS SOUS 102670 HAS SOUPS 42008 WITH SCORE 42771.49
AT ITER 2878 NEW BEST:: SOT 1036877 SOS 760074 HAS SOPS 403471 HAS SOUS 102618 HAS SOUPS 41956 WITH SCORE 42716.074
AT ITER 2884 NEW BEST:: SOT 1036140 SOS 759500 HAS SOPS 402815 HAS SOUS 102628 HAS SOUPS 41879 WITH SCORE 42638.5
AT ITER 2891 NEW BEST:: SOT 1035248 SOS 762596 HAS SOPS 402607 HAS SOUS 101876 HAS SOUPS 41704 WITH SCORE 42466.596
AT ITER 2900 NEW BEST:: SOT 1035372 SOS 762756 HAS SOPS 402668 HAS SOUS 101871 HAS SOUPS 41688 WITH SCORE 42450.756
AT ITER 2907 NEW BEST:: SOT 1035558 SOS 762814 HAS SOPS 402726 HAS SOUS 101618 HAS SOUPS 41435 WITH SCORE 42197.814
AT ITER 2937 NEW BEST:: SOT 1035536 SOS 762770 HAS SOPS 402682 HAS SOUS 101596 HAS SOUPS 41413 WITH SCORE 42175.77
AT ITER 2939 NEW BEST:: SOT 1034335 SOS 761062 HAS SOPS 402110 HAS SOUS 101435 HAS SOUPS 41342 WITH SCORE 42103.062
AT ITER 2946 NEW BEST:: SOT 1034494 SOS 761306 HAS SOPS 402110 HAS SOUS 101403 HAS SOUPS 41289 WITH SCORE 42050.306
AT ITER 2957 NEW BEST:: SOT 1034300 SOS 763953 HAS SOPS 403557 HAS SOUS 101225 HAS SOUPS 41111 WITH SCORE 41874.953
AT ITER 2971 NEW BEST:: SOT 1032908 SOS 762633 HAS SOPS 402401 HAS SOUS 101045 HAS SOUPS 40911 WITH SCORE 41673.633
AT ITER 2983 NEW BEST:: SOT 1033226 SOS 762851 HAS SOPS 402619 HAS SOUS 100988 HAS SOUPS 40909 WITH SCORE 41671.851
AT ITER 2988 NEW BEST:: SOT 1033178 SOS 762755 HAS SOPS 402575 HAS SOUS 100962 HAS SOUPS 40883 WITH SCORE 41645.755
AT ITER 2991 NEW BEST:: SOT 1033003 SOS 762475 HAS SOPS 402575 HAS SOUS 100927 HAS SOUPS 40883 WITH SCORE 41645.475
AT ITER 3001 NEW BEST:: SOT 1032257 SOS 761447 HAS SOPS 402069 HAS SOUS 100823 HAS SOUPS 40837 WITH SCORE 41598.447
AT ITER 3015 NEW BEST:: SOT 1032164 SOS 761354 HAS SOPS 401976 HAS SOUS 100742 HAS SOUPS 40756 WITH SCORE 41517.354
AT ITER 3026 NEW BEST:: SOT 1032147 SOS 761337 HAS SOPS 401959 HAS SOUS 100733 HAS SOUPS 40747 WITH SCORE 41508.337
AT ITER 3040 NEW BEST:: SOT 1031907 SOS 761037 HAS SOPS 401839 HAS SOUS 100693 HAS SOUPS 40727 WITH SCORE 41488.037
AT ITER 3044 NEW BEST:: SOT 1031907 SOS 761037 HAS SOPS 401839 HAS SOUS 100685 HAS SOUPS 40719 WITH SCORE 41480.037
AT ITER 3049 NEW BEST:: SOT 1030467 SOS 759067 HAS SOPS 400467 HAS SOUS 100617 HAS SOUPS 40629 WITH SCORE 41388.067
AT ITER 3068 NEW BEST:: SOT 1030423 SOS 759007 HAS SOPS 400431 HAS SOUS 100613 HAS SOUPS 40625 WITH SCORE 41384.007
AT ITER 3079 NEW BEST:: SOT 1030390 SOS 758949 HAS SOPS 400397 HAS SOUS 100601 HAS SOUPS 40621 WITH SCORE 41379.949
AT ITER 3091 NEW BEST:: SOT 1030295 SOS 758759 HAS SOPS 400397 HAS SOUS 100598 HAS SOUPS 40621 WITH SCORE 41379.759
AT ITER 3099 NEW BEST:: SOT 1030247 SOS 758855 HAS SOPS 400385 HAS SOUS 100604 HAS SOUPS 40615 WITH SCORE 41373.855
AT ITER 3101 NEW BEST:: SOT 1030247 SOS 758855 HAS SOPS 400385 HAS SOUS 100576 HAS SOUPS 40587 WITH SCORE 41345.855
AT ITER 3117 NEW BEST:: SOT 1029975 SOS 758615 HAS SOPS 400145 HAS SOUS 100610 HAS SOUPS 40587 WITH SCORE 41345.615
AT ITER 3125 NEW BEST:: SOT 1029882 SOS 758584 HAS SOPS 399898 HAS SOUS 100613 HAS SOUPS 40518 WITH SCORE 41276.584
AT ITER 3138 NEW BEST:: SOT 1029165 SOS 757643 HAS SOPS 399409 HAS SOUS 100513 HAS SOUPS 40463 WITH SCORE 41220.643
AT ITER 3139 NEW BEST:: SOT 1027949 SOS 755747 HAS SOPS 398881 HAS SOUS 100375 HAS SOUPS 40442 WITH SCORE 41197.747
AT ITER 3149 NEW BEST:: SOT 1027909 SOS 755561 HAS SOPS 398824 HAS SOUS 100290 HAS SOUPS 40395 WITH SCORE 41150.561
AT ITER 3151 NEW BEST:: SOT 1028219 SOS 755983 HAS SOPS 399121 HAS SOUS 100237 HAS SOUPS 40362 WITH SCORE 41117.983
AT ITER 3188 NEW BEST:: SOT 1028119 SOS 756207 HAS SOPS 399217 HAS SOUS 100215 HAS SOUPS 40331 WITH SCORE 41087.207
AT ITER 3189 NEW BEST:: SOT 1028092 SOS 756180 HAS SOPS 399190 HAS SOUS 100130 HAS SOUPS 40246 WITH SCORE 41002.18
AT ITER 3192 NEW BEST:: SOT 1028063 SOS 756122 HAS SOPS 399190 HAS SOUS 100101 HAS SOUPS 40246 WITH SCORE 41002.122
AT ITER 3193 NEW BEST:: SOT 1026650 SOS 754428 HAS SOPS 398114 HAS SOUS 99962 HAS SOUPS 40107 WITH SCORE 40861.428
AT ITER 3207 NEW BEST:: SOT 1026549 SOS 754451 HAS SOPS 398812 HAS SOUS 99701 HAS SOUPS 40071 WITH SCORE 40825.451
AT ITER 3208 NEW BEST:: SOT 1026044 SOS 753931 HAS SOPS 398392 HAS SOUS 99686 HAS SOUPS 40071 WITH SCORE 40824.931
AT ITER 3220 NEW BEST:: SOT 1026018 SOS 753879 HAS SOPS 398340 HAS SOUS 99633 HAS SOUPS 40018 WITH SCORE 40771.879
AT ITER 3233 NEW BEST:: SOT 1025939 SOS 753721 HAS SOPS 398182 HAS SOUS 99475 HAS SOUPS 39860 WITH SCORE 40613.721
AT ITER 3237 NEW BEST:: SOT 1025971 SOS 753839 HAS SOPS 397979 HAS SOUS 99542 HAS SOUPS 39838 WITH SCORE 40591.839
AT ITER 3241 NEW BEST:: SOT 1025710 SOS 754177 HAS SOPS 397930 HAS SOUS 99496 HAS SOUPS 39749 WITH SCORE 40503.177
AT ITER 3242 NEW BEST:: SOT 1026155 SOS 755805 HAS SOPS 398707 HAS SOUS 99334 HAS SOUPS 39588 WITH SCORE 40343.805
AT ITER 3258 NEW BEST:: SOT 1025641 SOS 754777 HAS SOPS 398707 HAS SOUS 99214 HAS SOUPS 39588 WITH SCORE 40342.777
AT ITER 3280 NEW BEST:: SOT 1025552 SOS 754854 HAS SOPS 398714 HAS SOUS 99195 HAS SOUPS 39569 WITH SCORE 40323.854
AT ITER 3281 NEW BEST:: SOT 1025438 SOS 754626 HAS SOPS 398486 HAS SOUS 99165 HAS SOUPS 39539 WITH SCORE 40293.626
AT ITER 3302 NEW BEST:: SOT 1026842 SOS 756174 HAS SOPS 399344 HAS SOUS 99126 HAS SOUPS 39500 WITH SCORE 40256.174
AT ITER 3307 NEW BEST:: SOT 1027145 SOS 756749 HAS SOPS 399511 HAS SOUS 99137 HAS SOUPS 39443 WITH SCORE 40199.749
AT ITER 3310 NEW BEST:: SOT 1026981 SOS 756560 HAS SOPS 399322 HAS SOUS 99094 HAS SOUPS 39400 WITH SCORE 40156.56
AT ITER 3325 NEW BEST:: SOT 1026750 SOS 756098 HAS SOPS 399072 HAS SOUS 98719 HAS SOUPS 39097 WITH SCORE 39853.098
AT ITER 3354 NEW BEST:: SOT 1026624 SOS 756224 HAS SOPS 398778 HAS SOUS 98783 HAS SOUPS 39021 WITH SCORE 39777.224
AT ITER 3356 NEW BEST:: SOT 1026633 SOS 756233 HAS SOPS 398787 HAS SOUS 98648 HAS SOUPS 38886 WITH SCORE 39642.233
AT ITER 3391 NEW BEST:: SOT 1026637 SOS 756224 HAS SOPS 398782 HAS SOUS 98645 HAS SOUPS 38883 WITH SCORE 39639.224
AT ITER 3405 NEW BEST:: SOT 1026677 SOS 756277 HAS SOPS 398754 HAS SOUS 98653 HAS SOUPS 38864 WITH SCORE 39620.277
AT ITER 3416 NEW BEST:: SOT 1026674 SOS 756271 HAS SOPS 398754 HAS SOUS 98650 HAS SOUPS 38864 WITH SCORE 39620.271
AT ITER 3449 NEW BEST:: SOT 1026656 SOS 756251 HAS SOPS 398740 HAS SOUS 98648 HAS SOUPS 38862 WITH SCORE 39618.251
AT ITER 3461 NEW BEST:: SOT 1026642 SOS 756223 HAS SOPS 398732 HAS SOUS 98614 HAS SOUPS 38838 WITH SCORE 39594.223
AT ITER 3495 NEW BEST:: SOT 1026640 SOS 756222 HAS SOPS 398731 HAS SOUS 98612 HAS SOUPS 38836 WITH SCORE 39592.222
AT ITER 3500 NEW BEST:: SOT 1026419 SOS 755929 HAS SOPS 398600 HAS SOUS 98553 HAS SOUPS 38795 WITH SCORE 39550.929
AT ITER 3506 NEW BEST:: SOT 1026333 SOS 755913 HAS SOPS 399052 HAS SOUS 98311 HAS SOUPS 38709 WITH SCORE 39464.913
AT ITER 3509 NEW BEST:: SOT 1026270 SOS 755819 HAS SOPS 398988 HAS SOUS 98279 HAS SOUPS 38677 WITH SCORE 39432.819
AT ITER 3541 NEW BEST:: SOT 1026040 SOS 755418 HAS SOPS 398764 HAS SOUS 98200 HAS SOUPS 38657 WITH SCORE 39412.418
AT ITER 3544 NEW BEST:: SOT 1026080 SOS 755300 HAS SOPS 398844 HAS SOUS 98108 HAS SOUPS 38631 WITH SCORE 39386.3
AT ITER 3556 NEW BEST:: SOT 1025994 SOS 754936 HAS SOPS 397904 HAS SOUS 98212 HAS SOUPS 38543 WITH SCORE 39297.936
AT ITER 3557 NEW BEST:: SOT 1026464 SOS 755453 HAS SOPS 398186 HAS SOUS 98193 HAS SOUPS 38521 WITH SCORE 39276.453
AT ITER 3558 NEW BEST:: SOT 1026476 SOS 755477 HAS SOPS 398178 HAS SOUS 98189 HAS SOUPS 38517 WITH SCORE 39272.477
AT ITER 3561 NEW BEST:: SOT 1025708 SOS 754565 HAS SOPS 397734 HAS SOUS 98162 HAS SOUPS 38490 WITH SCORE 39244.565
AT ITER 3565 NEW BEST:: SOT 1024336 SOS 752865 HAS SOPS 396634 HAS SOUS 97997 HAS SOUPS 38325 WITH SCORE 39077.865
AT ITER 3576 NEW BEST:: SOT 1020463 SOS 747719 HAS SOPS 394088 HAS SOUS 97642 HAS SOUPS 38295 WITH SCORE 39042.719
AT ITER 3577 NEW BEST:: SOT 1020457 SOS 747467 HAS SOPS 393836 HAS SOUS 97636 HAS SOUPS 38289 WITH SCORE 39036.467
AT ITER 3587 NEW BEST:: SOT 1020356 SOS 748461 HAS SOPS 394281 HAS SOUS 97657 HAS SOUPS 38249 WITH SCORE 38997.461
AT ITER 3611 NEW BEST:: SOT 1020416 SOS 748575 HAS SOPS 394311 HAS SOUS 97606 HAS SOUPS 38183 WITH SCORE 38931.575
AT ITER 3626 NEW BEST:: SOT 1019146 SOS 746926 HAS SOPS 393532 HAS SOUS 97551 HAS SOUPS 38171 WITH SCORE 38917.926
AT ITER 3634 NEW BEST:: SOT 1018924 SOS 746672 HAS SOPS 393361 HAS SOUS 97546 HAS SOUPS 38160 WITH SCORE 38906.672
AT ITER 3635 NEW BEST:: SOT 1018798 SOS 747960 HAS SOPS 393928 HAS SOUS 97629 HAS SOUPS 38149 WITH SCORE 38896.96
AT ITER 3640 NEW BEST:: SOT 1018654 SOS 747816 HAS SOPS 393784 HAS SOUS 97566 HAS SOUPS 38086 WITH SCORE 38833.816
AT ITER 3643 NEW BEST:: SOT 1018657 SOS 747819 HAS SOPS 393726 HAS SOUS 97531 HAS SOUPS 38047 WITH SCORE 38794.819
AT ITER 3658 NEW BEST:: SOT 1018657 SOS 747807 HAS SOPS 393726 HAS SOUS 97527 HAS SOUPS 38047 WITH SCORE 38794.807
AT ITER 3666 NEW BEST:: SOT 1018992 SOS 748200 HAS SOPS 393945 HAS SOUS 97503 HAS SOUPS 38023 WITH SCORE 38771.2
AT ITER 3671 NEW BEST:: SOT 1018980 SOS 748188 HAS SOPS 393933 HAS SOUS 97489 HAS SOUPS 38009 WITH SCORE 38757.188
AT ITER 3721 NEW BEST:: SOT 1018915 SOS 748144 HAS SOPS 393889 HAS SOUS 97442 HAS SOUPS 37962 WITH SCORE 38710.144
AT ITER 3722 NEW BEST:: SOT 1018865 SOS 748089 HAS SOPS 393859 HAS SOUS 97437 HAS SOUPS 37962 WITH SCORE 38710.089
AT ITER 3736 NEW BEST:: SOT 1019068 SOS 748692 HAS SOPS 394072 HAS SOUS 97473 HAS SOUPS 37877 WITH SCORE 38625.692
AT ITER 3752 NEW BEST:: SOT 1019060 SOS 748652 HAS SOPS 394056 HAS SOUS 97449 HAS SOUPS 37861 WITH SCORE 38609.652
AT ITER 3761 NEW BEST:: SOT 1019193 SOS 749185 HAS SOPS 394382 HAS SOUS 97421 HAS SOUPS 37833 WITH SCORE 38582.185
AT ITER 3777 NEW BEST:: SOT 1018654 SOS 749031 HAS SOPS 394126 HAS SOUS 97157 HAS SOUPS 37626 WITH SCORE 38375.031
AT ITER 3781 NEW BEST:: SOT 1018519 SOS 748666 HAS SOPS 393761 HAS SOUS 97019 HAS SOUPS 37488 WITH SCORE 38236.666
AT ITER 3788 NEW BEST:: SOT 1018549 SOS 748696 HAS SOPS 393776 HAS SOUS 97014 HAS SOUPS 37483 WITH SCORE 38231.696
AT ITER 3798 NEW BEST:: SOT 1018509 SOS 748877 HAS SOPS 393696 HAS SOUS 97030 HAS SOUPS 37412 WITH SCORE 38160.877
AT ITER 3811 NEW BEST:: SOT 1018499 SOS 748857 HAS SOPS 393696 HAS SOUS 97020 HAS SOUPS 37412 WITH SCORE 38160.857
AT ITER 3812 NEW BEST:: SOT 1018336 SOS 748568 HAS SOPS 393548 HAS SOUS 97032 HAS SOUPS 37412 WITH SCORE 38160.568
AT ITER 3842 NEW BEST:: SOT 1018340 SOS 748578 HAS SOPS 393552 HAS SOUS 97031 HAS SOUPS 37410 WITH SCORE 38158.578
AT ITER 3845 NEW BEST:: SOT 1018297 SOS 748492 HAS SOPS 393466 HAS SOUS 96988 HAS SOUPS 37367 WITH SCORE 38115.492
AT ITER 3872 NEW BEST:: SOT 1016164 SOS 746332 HAS SOPS 391360 HAS SOUS 96961 HAS SOUPS 37367 WITH SCORE 38113.332
AT ITER 3874 NEW BEST:: SOT 1016080 SOS 746220 HAS SOPS 391290 HAS SOUS 96947 HAS SOUPS 37353 WITH SCORE 38099.22
AT ITER 3879 NEW BEST:: SOT 1016084 SOS 746148 HAS SOPS 391238 HAS SOUS 96935 HAS SOUPS 37345 WITH SCORE 38091.148
AT ITER 3921 NEW BEST:: SOT 1016068 SOS 746134 HAS SOPS 391226 HAS SOUS 96933 HAS SOUPS 37343 WITH SCORE 38089.134
AT ITER 3925 NEW BEST:: SOT 1016067 SOS 746132 HAS SOPS 391224 HAS SOUS 96932 HAS SOUPS 37342 WITH SCORE 38088.132
AT ITER 3931 NEW BEST:: SOT 1016283 SOS 746348 HAS SOPS 391278 HAS SOUS 96927 HAS SOUPS 37337 WITH SCORE 38083.348
AT ITER 3936 NEW BEST:: SOT 1016115 SOS 746108 HAS SOPS 391110 HAS SOUS 96903 HAS SOUPS 37313 WITH SCORE 38059.108
AT ITER 3945 NEW BEST:: SOT 1016025 SOS 746008 HAS SOPS 391040 HAS SOUS 96893 HAS SOUPS 37303 WITH SCORE 38049.008
AT ITER 3948 NEW BEST:: SOT 1015979 SOS 745735 HAS SOPS 390767 HAS SOUS 96797 HAS SOUPS 37207 WITH SCORE 37952.735
AT ITER 3967 NEW BEST:: SOT 1016092 SOS 745968 HAS SOPS 390800 HAS SOUS 96830 HAS SOUPS 37200 WITH SCORE 37945.968
AT ITER 3972 NEW BEST:: SOT 1015965 SOS 745819 HAS SOPS 390651 HAS SOUS 96703 HAS SOUPS 37073 WITH SCORE 37818.819
AT ITER 3994 NEW BEST:: SOT 1015961 SOS 745811 HAS SOPS 390643 HAS SOUS 96699 HAS SOUPS 37069 WITH SCORE 37814.811
AT ITER 4017 NEW BEST:: SOT 1015664 SOS 745217 HAS SOPS 390643 HAS SOUS 96582 HAS SOUPS 37069 WITH SCORE 37814.217
AT ITER 4031 NEW BEST:: SOT 1015646 SOS 745351 HAS SOPS 390555 HAS SOUS 96651 HAS SOUPS 37064 WITH SCORE 37809.351
AT ITER 4069 NEW BEST:: SOT 1015586 SOS 745237 HAS SOPS 390525 HAS SOUS 96552 HAS SOUPS 36980 WITH SCORE 37725.237
AT ITER 4094 NEW BEST:: SOT 1015568 SOS 745183 HAS SOPS 390453 HAS SOUS 96570 HAS SOUPS 36980 WITH SCORE 37725.183
AT ITER 4136 NEW BEST:: SOT 1015562 SOS 745135 HAS SOPS 390405 HAS SOUS 96564 HAS SOUPS 36974 WITH SCORE 37719.135
AT ITER 4156 NEW BEST:: SOT 1015743 SOS 744638 HAS SOPS 389871 HAS SOUS 96519 HAS SOUPS 36858 WITH SCORE 37602.638
AT ITER 4161 NEW BEST:: SOT 1015707 SOS 744575 HAS SOPS 389808 HAS SOUS 96501 HAS SOUPS 36840 WITH SCORE 37584.575
AT ITER 4186 NEW BEST:: SOT 1016300 SOS 745519 HAS SOPS 390000 HAS SOUS 96558 HAS SOUPS 36834 WITH SCORE 37579.519
AT ITER 4194 NEW BEST:: SOT 1016241 SOS 745191 HAS SOPS 389882 HAS SOUS 96365 HAS SOUPS 36711 WITH SCORE 37456.191
AT ITER 4201 NEW BEST:: SOT 1015338 SOS 742524 HAS SOPS 388292 HAS SOUS 96002 HAS SOUPS 36369 WITH SCORE 37111.524
AT ITER 4205 NEW BEST:: SOT 1015296 SOS 742482 HAS SOPS 388256 HAS SOUS 95936 HAS SOUPS 36327 WITH SCORE 37069.482
AT ITER 4215 NEW BEST:: SOT 1015121 SOS 742132 HAS SOPS 388124 HAS SOUS 95808 HAS SOUPS 36293 WITH SCORE 37035.132
AT ITER 4217 NEW BEST:: SOT 1015109 SOS 742117 HAS SOPS 388118 HAS SOUS 95798 HAS SOUPS 36288 WITH SCORE 37030.117
AT ITER 4226 NEW BEST:: SOT 1014712 SOS 741323 HAS SOPS 388118 HAS SOUS 95681 HAS SOUPS 36288 WITH SCORE 37029.323
AT ITER 4232 NEW BEST:: SOT 1014721 SOS 740331 HAS SOPS 387659 HAS SOUS 95647 HAS SOUPS 36267 WITH SCORE 37007.331
AT ITER 4233 NEW BEST:: SOT 1014447 SOS 739891 HAS SOPS 387651 HAS SOUS 95589 HAS SOUPS 36263 WITH SCORE 37002.891
AT ITER 4241 NEW BEST:: SOT 1014471 SOS 739923 HAS SOPS 387651 HAS SOUS 95565 HAS SOUPS 36247 WITH SCORE 36986.923
AT ITER 4256 NEW BEST:: SOT 1013211 SOS 738683 HAS SOPS 387035 HAS SOUS 95499 HAS SOUPS 36176 WITH SCORE 36914.683
AT ITER 4259 NEW BEST:: SOT 1012856 SOS 737597 HAS SOPS 386654 HAS SOUS 95453 HAS SOUPS 36177 WITH SCORE 36914.597
AT ITER 4274 NEW BEST:: SOT 1012108 SOS 736645 HAS SOPS 386042 HAS SOUS 95453 HAS SOUPS 36177 WITH SCORE 36913.645
AT ITER 4287 NEW BEST:: SOT 1012108 SOS 736085 HAS SOPS 385706 HAS SOUS 95453 HAS SOUPS 36177 WITH SCORE 36913.085
AT ITER 4291 NEW BEST:: SOT 1012852 SOS 736854 HAS SOPS 386235 HAS SOUS 95375 HAS SOUPS 36137 WITH SCORE 36873.854
AT ITER 4293 NEW BEST:: SOT 1013008 SOS 733902 HAS SOPS 384579 HAS SOUS 95104 HAS SOUPS 36010 WITH SCORE 36743.902
AT ITER 4318 NEW BEST:: SOT 1013033 SOS 733955 HAS SOPS 384590 HAS SOUS 95108 HAS SOUPS 36007 WITH SCORE 36740.955
AT ITER 4352 NEW BEST:: SOT 1013325 SOS 734727 HAS SOPS 384899 HAS SOUS 95194 HAS SOUPS 35973 WITH SCORE 36707.727
AT ITER 4369 NEW BEST:: SOT 1013633 SOS 735119 HAS SOPS 385039 HAS SOUS 95164 HAS SOUPS 35915 WITH SCORE 36650.119
AT ITER 4411 NEW BEST:: SOT 1013656 SOS 735095 HAS SOPS 385015 HAS SOUS 95098 HAS SOUPS 35849 WITH SCORE 36584.095
AT ITER 4419 NEW BEST:: SOT 1013711 SOS 735165 HAS SOPS 385045 HAS SOUS 95093 HAS SOUPS 35839 WITH SCORE 36574.165
AT ITER 4451 NEW BEST:: SOT 1013311 SOS 734685 HAS SOPS 384805 HAS SOUS 95064 HAS SOUPS 35810 WITH SCORE 36544.685
AT ITER 4461 NEW BEST:: SOT 1012475 SOS 733761 HAS SOPS 384269 HAS SOUS 95020 HAS SOUPS 35766 WITH SCORE 36499.761
AT ITER 4463 NEW BEST:: SOT 1012475 SOS 733761 HAS SOPS 384269 HAS SOUS 95004 HAS SOUPS 35750 WITH SCORE 36483.761
AT ITER 4478 NEW BEST:: SOT 1012031 SOS 732466 HAS SOPS 383455 HAS SOUS 94823 HAS SOUPS 35606 WITH SCORE 36338.466
AT ITER 4488 NEW BEST:: SOT 1010282 SOS 730441 HAS SOPS 382006 HAS SOUS 94812 HAS SOUPS 35540 WITH SCORE 36270.441
AT ITER 4512 NEW BEST:: SOT 1010303 SOS 730450 HAS SOPS 382015 HAS SOUS 94800 HAS SOUPS 35531 WITH SCORE 36261.45
AT ITER 4533 NEW BEST:: SOT 1010192 SOS 730738 HAS SOPS 382183 HAS SOUS 94743 HAS SOUPS 35489 WITH SCORE 36219.738
AT ITER 4540 NEW BEST:: SOT 1010072 SOS 730463 HAS SOPS 382246 HAS SOUS 94650 HAS SOUPS 35467 WITH SCORE 36197.463
AT ITER 4541 NEW BEST:: SOT 1010121 SOS 730520 HAS SOPS 382262 HAS SOUS 94586 HAS SOUPS 35403 WITH SCORE 36133.52
AT ITER 4572 NEW BEST:: SOT 1010138 SOS 730214 HAS SOPS 382058 HAS SOUS 94586 HAS SOUPS 35403 WITH SCORE 36133.214
AT ITER 4592 NEW BEST:: SOT 1009770 SOS 729478 HAS SOPS 381874 HAS SOUS 94494 HAS SOUPS 35403 WITH SCORE 36132.478
AT ITER 4594 NEW BEST:: SOT 1009309 SOS 728997 HAS SOPS 381393 HAS SOUS 94493 HAS SOUPS 35351 WITH SCORE 36079.997
AT ITER 4629 NEW BEST:: SOT 1009309 SOS 728925 HAS SOPS 381321 HAS SOUS 94469 HAS SOUPS 35327 WITH SCORE 36055.925
AT ITER 4630 NEW BEST:: SOT 1009280 SOS 728838 HAS SOPS 381205 HAS SOUS 94498 HAS SOUPS 35327 WITH SCORE 36055.838
AT ITER 4645 NEW BEST:: SOT 1009307 SOS 728731 HAS SOPS 381030 HAS SOUS 94404 HAS SOUPS 35233 WITH SCORE 35961.731
AT ITER 4649 NEW BEST:: SOT 1009882 SOS 729251 HAS SOPS 381340 HAS SOUS 94385 HAS SOUPS 35214 WITH SCORE 35943.251
AT ITER 4682 NEW BEST:: SOT 1009270 SOS 728027 HAS SOPS 381340 HAS SOUS 94284 HAS SOUPS 35214 WITH SCORE 35942.027
AT ITER 4684 NEW BEST:: SOT 1009245 SOS 728186 HAS SOPS 381400 HAS SOUS 94281 HAS SOUPS 35200 WITH SCORE 35928.186
AT ITER 4691 NEW BEST:: SOT 1009158 SOS 728081 HAS SOPS 381349 HAS SOUS 94269 HAS SOUPS 35188 WITH SCORE 35916.081
AT ITER 4741 NEW BEST:: SOT 1009150 SOS 728073 HAS SOPS 381341 HAS SOUS 94269 HAS SOUPS 35188 WITH SCORE 35916.073
AT ITER 4755 NEW BEST:: SOT 1009150 SOS 728073 HAS SOPS 381341 HAS SOUS 94225 HAS SOUPS 35144 WITH SCORE 35872.073
AT ITER 4758 NEW BEST:: SOT 1009022 SOS 727945 HAS SOPS 381309 HAS SOUS 94209 HAS SOUPS 35128 WITH SCORE 35855.945
AT ITER 4762 NEW BEST:: SOT 1009124 SOS 728030 HAS SOPS 381377 HAS SOUS 94175 HAS SOUPS 35111 WITH SCORE 35839.03
AT ITER 4763 NEW BEST:: SOT 1009093 SOS 727968 HAS SOPS 381453 HAS SOUS 94097 HAS SOUPS 35079 WITH SCORE 35806.968
AT ITER 4802 NEW BEST:: SOT 1006778 SOS 725614 HAS SOPS 380347 HAS SOUS 94089 HAS SOUPS 35065 WITH SCORE 35790.614
AT ITER 4805 NEW BEST:: SOT 1006551 SOS 725349 HAS SOPS 380050 HAS SOUS 94089 HAS SOUPS 35038 WITH SCORE 35763.349
AT ITER 4876 NEW BEST:: SOT 1006515 SOS 725277 HAS SOPS 380050 HAS SOUS 94053 HAS SOUPS 35038 WITH SCORE 35763.277
AT ITER 4902 NEW BEST:: SOT 1006515 SOS 724327 HAS SOPS 379550 HAS SOUS 93953 HAS SOUPS 34988 WITH SCORE 35712.327
AT ITER 4946 NEW BEST:: SOT 1006568 SOS 719420 HAS SOPS 375668 HAS SOUS 93932 HAS SOUPS 34992 WITH SCORE 35711.42
AT ITER 4952 NEW BEST:: SOT 1006386 SOS 719118 HAS SOPS 375566 HAS SOUS 93844 HAS SOUPS 34944 WITH SCORE 35663.118
AT ITER 4957 NEW BEST:: SOT 1006302 SOS 718998 HAS SOPS 375482 HAS SOUS 93820 HAS SOUPS 34920 WITH SCORE 35638.998
AT ITER 4964 NEW BEST:: SOT 1005513 SOS 718114 HAS SOPS 374982 HAS SOUS 93744 HAS SOUPS 34844 WITH SCORE 35562.114
AT ITER 4970 NEW BEST:: SOT 1005615 SOS 714195 HAS SOPS 373097 HAS SOUS 93570 HAS SOUPS 34727 WITH SCORE 35441.195
AT ITER 4980 NEW BEST:: SOT 1003887 SOS 711891 HAS SOPS 371657 HAS SOUS 93570 HAS SOUPS 34727 WITH SCORE 35438.891
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-00 (EX( (AG( ( potential( (tk(P435)) <= (tk(P401)) ) | potential( ( 3 ) <= (tk(P200)) ) )))))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-01 (EF(( potential( ( 2 ) <= (tk(P417)) ) & (EX( potential( (tk(P406)) <= (tk(P305)) ))) )))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-02 (AG( potential( (tk(P138)) <= (tk(P352)) )))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-03 (! (AX( (EF(potential( ( 3 ) <= (tk(P162)) ))))))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-04 (AG( (EG( potential( (tk(P300)) <= (tk(P386)) )))))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-05 (AF((! (EF(potential( ( 2 ) <= (tk(P272)) ))))))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-06 (EF(potential( ( 3 ) <= (tk(P398)) )))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-07 (EG( ( (AG( potential( (tk(P114)) <= (tk(P54)) ))) | potential( ( 1 ) <= (tk(P31)) ) )))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-08 (EF(potential( ( 3 ) <= (tk(P94)) )))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-09 (EU( (AF(potential( (tk(P50)) <= (tk(P453)) ))),(AG( potential( ( 3 ) <= (tk(P75)) ))) ))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-10 ( (EG( (EG( potential( (tk(P265)) <= (tk(P193)) ))))) & ( (! (AG( potential( (tk(P251)) <= (tk(P423)) )))) & ( (AX( potential( (tk(P136)) <= (tk(P483)) ))) & potential( (tk(P476)) <= (tk(P457)) ) ) ) )
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-11 (AG( potential( (tk(P278)) <= (tk(P527)) )))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-12 ( (AX( (AG( potential( ( 1 ) <= (tk(P30)) ))))) | (AG( (! potential( ( 1 ) <= (tk(P87)) )))) )
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-13 (! (! (AG( ( potential( (tk(P93)) <= (tk(P403)) ) | potential( ( 3 ) <= (tk(P95)) ) )))))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-14 (! ( (! (AG( potential( (tk(P533)) <= (tk(P429)) )))) & (AU( potential( ( 3 ) <= (tk(P445)) ),potential( (tk(P371)) <= (tk(P147)) ) )) ))
PROPERTY: DLCshifumi-PT-3a-CTLCardinality-15 ( (EF(( potential( ( 3 ) <= (tk(P178)) ) | (! potential( (tk(P59)) <= (tk(P295)) )) ))) & ( (EF(( potential( (tk(P418)) <= (tk(P275)) ) | potential( (tk(P281)) <= (tk(P176)) ) ))) & ( (EF(potential( ( 1 ) <= (tk(P154)) ))) | (AG( potential( ( 3 ) <= (tk(P366)) ))) ) ) )

BK_STOP 1589358869242

--------------------
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: 474 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="DLCshifumi-PT-3a"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCshifumi-PT-3a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r063-tajo-158922806900019"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-3a.tgz
mv DLCshifumi-PT-3a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;