fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508000075
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-05a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15762.980 3600000.00 3600010.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 688K
-rw-r--r-- 1 mcc users 2.9K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:41 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:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 516K 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 ASLink-PT-05a-CTLCardinality-00
FORMULA_NAME ASLink-PT-05a-CTLCardinality-01
FORMULA_NAME ASLink-PT-05a-CTLCardinality-02
FORMULA_NAME ASLink-PT-05a-CTLCardinality-03
FORMULA_NAME ASLink-PT-05a-CTLCardinality-04
FORMULA_NAME ASLink-PT-05a-CTLCardinality-05
FORMULA_NAME ASLink-PT-05a-CTLCardinality-06
FORMULA_NAME ASLink-PT-05a-CTLCardinality-07
FORMULA_NAME ASLink-PT-05a-CTLCardinality-08
FORMULA_NAME ASLink-PT-05a-CTLCardinality-09
FORMULA_NAME ASLink-PT-05a-CTLCardinality-10
FORMULA_NAME ASLink-PT-05a-CTLCardinality-11
FORMULA_NAME ASLink-PT-05a-CTLCardinality-12
FORMULA_NAME ASLink-PT-05a-CTLCardinality-13
FORMULA_NAME ASLink-PT-05a-CTLCardinality-14
FORMULA_NAME ASLink-PT-05a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589026345730

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05a
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: 1211 places, 1827 transitions, 6877 arcs.
AT ITER 0 NEW BEST:: SOT 1220961 SOS 839659 HAS SOPS 839659 HAS SOUS 531968 HAS SOUPS 531968 WITH SCORE 532807.659
AT ITER 3 NEW BEST:: SOT 1220366 SOS 839405 HAS SOPS 839405 HAS SOUS 531829 HAS SOUPS 531829 WITH SCORE 532668.405
AT ITER 8 NEW BEST:: SOT 1220366 SOS 835656 HAS SOPS 835656 HAS SOUS 531462 HAS SOUPS 531462 WITH SCORE 532297.656
AT ITER 11 NEW BEST:: SOT 1220366 SOS 835656 HAS SOPS 835656 HAS SOUS 531461 HAS SOUPS 531461 WITH SCORE 532296.656
AT ITER 12 NEW BEST:: SOT 1220366 SOS 835887 HAS SOPS 835887 HAS SOUS 531459 HAS SOUPS 531459 WITH SCORE 532294.887
AT ITER 13 NEW BEST:: SOT 1220165 SOS 835686 HAS SOPS 835686 HAS SOUS 531454 HAS SOUPS 531454 WITH SCORE 532289.686
AT ITER 18 NEW BEST:: SOT 1220165 SOS 833089 HAS SOPS 833089 HAS SOUS 531080 HAS SOUPS 531080 WITH SCORE 531913.089
AT ITER 20 NEW BEST:: SOT 1215220 SOS 832751 HAS SOPS 832751 HAS SOUS 525659 HAS SOUPS 525659 WITH SCORE 526491.751
AT ITER 24 NEW BEST:: SOT 1211970 SOS 829501 HAS SOPS 829501 HAS SOUS 522408 HAS SOUPS 522408 WITH SCORE 523237.501
AT ITER 26 NEW BEST:: SOT 1207989 SOS 827536 HAS SOPS 827536 HAS SOUS 518714 HAS SOUPS 518714 WITH SCORE 519541.536
AT ITER 28 NEW BEST:: SOT 1207276 SOS 826823 HAS SOPS 826823 HAS SOUS 518000 HAS SOUPS 518000 WITH SCORE 518826.823
AT ITER 37 NEW BEST:: SOT 1207276 SOS 826056 HAS SOPS 826056 HAS SOUS 517999 HAS SOUPS 517999 WITH SCORE 518825.056
AT ITER 52 NEW BEST:: SOT 1206879 SOS 825659 HAS SOPS 825659 HAS SOUS 517998 HAS SOUPS 517998 WITH SCORE 518823.659
AT ITER 56 NEW BEST:: SOT 1206879 SOS 825659 HAS SOPS 825659 HAS SOUS 517984 HAS SOUPS 517984 WITH SCORE 518809.659
AT ITER 60 NEW BEST:: SOT 1206879 SOS 825556 HAS SOPS 825556 HAS SOUS 517984 HAS SOUPS 517984 WITH SCORE 518809.556
AT ITER 64 NEW BEST:: SOT 1206879 SOS 825556 HAS SOPS 825556 HAS SOUS 517983 HAS SOUPS 517983 WITH SCORE 518808.556
AT ITER 67 NEW BEST:: SOT 1206846 SOS 825523 HAS SOPS 825523 HAS SOUS 517958 HAS SOUPS 517958 WITH SCORE 518783.523
AT ITER 68 NEW BEST:: SOT 1206690 SOS 824713 HAS SOPS 824713 HAS SOUS 517442 HAS SOUPS 517442 WITH SCORE 518266.713
AT ITER 71 NEW BEST:: SOT 1206693 SOS 824515 HAS SOPS 824515 HAS SOUS 517433 HAS SOUPS 517433 WITH SCORE 518257.515
AT ITER 73 NEW BEST:: SOT 1206368 SOS 823005 HAS SOPS 823005 HAS SOUS 516431 HAS SOUPS 516431 WITH SCORE 517254.005
AT ITER 79 NEW BEST:: SOT 1206368 SOS 823005 HAS SOPS 823005 HAS SOUS 516430 HAS SOUPS 516430 WITH SCORE 517253.005
AT ITER 94 NEW BEST:: SOT 1206248 SOS 820933 HAS SOPS 820933 HAS SOUS 515260 HAS SOUPS 515260 WITH SCORE 516080.933
AT ITER 96 NEW BEST:: SOT 1205617 SOS 819247 HAS SOPS 819247 HAS SOUS 513996 HAS SOUPS 513996 WITH SCORE 514815.247
AT ITER 110 NEW BEST:: SOT 1199561 SOS 812683 HAS SOPS 812683 HAS SOUS 507047 HAS SOUPS 507047 WITH SCORE 507859.683
AT ITER 114 NEW BEST:: SOT 1192899 SOS 808168 HAS SOPS 808168 HAS SOUS 500468 HAS SOUPS 500468 WITH SCORE 501276.168
AT ITER 119 NEW BEST:: SOT 1192607 SOS 807781 HAS SOPS 807781 HAS SOUS 500354 HAS SOUPS 500354 WITH SCORE 501161.781
AT ITER 121 NEW BEST:: SOT 1192252 SOS 807671 HAS SOPS 807671 HAS SOUS 500242 HAS SOUPS 500242 WITH SCORE 501049.671
AT ITER 130 NEW BEST:: SOT 1192252 SOS 807670 HAS SOPS 807670 HAS SOUS 500241 HAS SOUPS 500241 WITH SCORE 501048.67
AT ITER 133 NEW BEST:: SOT 1192207 SOS 807535 HAS SOPS 807535 HAS SOUS 500148 HAS SOUPS 500148 WITH SCORE 500955.535
AT ITER 139 NEW BEST:: SOT 1191569 SOS 806246 HAS SOPS 806246 HAS SOUS 498859 HAS SOUPS 498859 WITH SCORE 499665.246
AT ITER 142 NEW BEST:: SOT 1191569 SOS 806828 HAS SOPS 806828 HAS SOUS 498674 HAS SOUPS 498674 WITH SCORE 499480.828
AT ITER 146 NEW BEST:: SOT 1191569 SOS 806375 HAS SOPS 806375 HAS SOUS 498673 HAS SOUPS 498673 WITH SCORE 499479.375
AT ITER 147 NEW BEST:: SOT 1191600 SOS 806403 HAS SOPS 806403 HAS SOUS 498667 HAS SOUPS 498667 WITH SCORE 499473.403
AT ITER 148 NEW BEST:: SOT 1191467 SOS 806270 HAS SOPS 806270 HAS SOUS 498533 HAS SOUPS 498533 WITH SCORE 499339.27
AT ITER 150 NEW BEST:: SOT 1181773 SOS 797624 HAS SOPS 797624 HAS SOUS 487861 HAS SOUPS 487861 WITH SCORE 488658.624
AT ITER 162 NEW BEST:: SOT 1181534 SOS 797624 HAS SOPS 797624 HAS SOUS 487383 HAS SOUPS 487383 WITH SCORE 488180.624
AT ITER 163 NEW BEST:: SOT 1180988 SOS 796209 HAS SOPS 796209 HAS SOUS 486257 HAS SOUPS 486257 WITH SCORE 487053.209
AT ITER 169 NEW BEST:: SOT 1180951 SOS 796132 HAS SOPS 796132 HAS SOUS 486180 HAS SOUPS 486180 WITH SCORE 486976.132
AT ITER 183 NEW BEST:: SOT 1180951 SOS 795799 HAS SOPS 795799 HAS SOUS 485869 HAS SOUPS 485869 WITH SCORE 486664.799
AT ITER 185 NEW BEST:: SOT 1180951 SOS 795533 HAS SOPS 795533 HAS SOUS 485546 HAS SOUPS 485546 WITH SCORE 486341.533
AT ITER 186 NEW BEST:: SOT 1180791 SOS 795373 HAS SOPS 795373 HAS SOUS 485542 HAS SOUPS 485542 WITH SCORE 486337.373
AT ITER 187 NEW BEST:: SOT 1180791 SOS 794684 HAS SOPS 794684 HAS SOUS 485317 HAS SOUPS 485317 WITH SCORE 486111.684
AT ITER 190 NEW BEST:: SOT 1180802 SOS 794268 HAS SOPS 794268 HAS SOUS 484910 HAS SOUPS 484910 WITH SCORE 485704.268
AT ITER 196 NEW BEST:: SOT 1180799 SOS 794265 HAS SOPS 794265 HAS SOUS 484907 HAS SOUPS 484907 WITH SCORE 485701.265
AT ITER 203 NEW BEST:: SOT 1180799 SOS 793976 HAS SOPS 793976 HAS SOUS 484616 HAS SOUPS 484616 WITH SCORE 485409.976
AT ITER 204 NEW BEST:: SOT 1180530 SOS 793615 HAS SOPS 793615 HAS SOUS 484524 HAS SOUPS 484524 WITH SCORE 485317.615
AT ITER 209 NEW BEST:: SOT 1162461 SOS 783502 HAS SOPS 783502 HAS SOUS 466906 HAS SOUPS 466906 WITH SCORE 467689.502
AT ITER 214 NEW BEST:: SOT 1161705 SOS 782743 HAS SOPS 782743 HAS SOUS 466147 HAS SOUPS 466147 WITH SCORE 466929.743
AT ITER 215 NEW BEST:: SOT 1162002 SOS 781942 HAS SOPS 781942 HAS SOUS 465346 HAS SOUPS 465346 WITH SCORE 466127.942
AT ITER 218 NEW BEST:: SOT 1161985 SOS 781941 HAS SOPS 781941 HAS SOUS 465345 HAS SOUPS 465345 WITH SCORE 466126.941
AT ITER 220 NEW BEST:: SOT 1161985 SOS 782117 HAS SOPS 782117 HAS SOUS 465321 HAS SOUPS 465321 WITH SCORE 466103.117
AT ITER 227 NEW BEST:: SOT 1161985 SOS 781718 HAS SOPS 781718 HAS SOUS 465047 HAS SOUPS 465047 WITH SCORE 465828.718
AT ITER 229 NEW BEST:: SOT 1161985 SOS 781332 HAS SOPS 781332 HAS SOUS 465047 HAS SOUPS 465047 WITH SCORE 465828.332
AT ITER 231 NEW BEST:: SOT 1155593 SOS 774940 HAS SOPS 774940 HAS SOUS 458655 HAS SOUPS 458655 WITH SCORE 459429.94
AT ITER 234 NEW BEST:: SOT 1153103 SOS 772450 HAS SOPS 772450 HAS SOUS 456003 HAS SOUPS 456003 WITH SCORE 456775.45
AT ITER 239 NEW BEST:: SOT 1151059 SOS 770456 HAS SOPS 770456 HAS SOUS 454009 HAS SOUPS 454009 WITH SCORE 454779.456
AT ITER 244 NEW BEST:: SOT 1149981 SOS 769375 HAS SOPS 769375 HAS SOUS 452928 HAS SOUPS 452928 WITH SCORE 453697.375
AT ITER 246 NEW BEST:: SOT 1147445 SOS 766651 HAS SOPS 766651 HAS SOUS 450204 HAS SOUPS 450204 WITH SCORE 450970.651
AT ITER 250 NEW BEST:: SOT 1147365 SOS 766571 HAS SOPS 766571 HAS SOUS 450124 HAS SOUPS 450124 WITH SCORE 450890.571
AT ITER 251 NEW BEST:: SOT 1147361 SOS 767169 HAS SOPS 767169 HAS SOUS 450122 HAS SOUPS 450122 WITH SCORE 450889.169
AT ITER 252 NEW BEST:: SOT 1147261 SOS 767062 HAS SOPS 767062 HAS SOUS 450015 HAS SOUPS 450015 WITH SCORE 450782.062
AT ITER 254 NEW BEST:: SOT 1147172 SOS 766973 HAS SOPS 766973 HAS SOUS 449955 HAS SOUPS 449955 WITH SCORE 450721.973
AT ITER 255 NEW BEST:: SOT 1145693 SOS 765494 HAS SOPS 765494 HAS SOUS 448476 HAS SOUPS 448476 WITH SCORE 449241.494
AT ITER 259 NEW BEST:: SOT 1145239 SOS 765040 HAS SOPS 765040 HAS SOUS 448020 HAS SOUPS 448020 WITH SCORE 448785.04
AT ITER 271 NEW BEST:: SOT 1145239 SOS 762262 HAS SOPS 762262 HAS SOUS 447329 HAS SOUPS 447329 WITH SCORE 448091.262
AT ITER 288 NEW BEST:: SOT 1145235 SOS 762591 HAS SOPS 762591 HAS SOUS 447288 HAS SOUPS 447288 WITH SCORE 448050.591
AT ITER 300 NEW BEST:: SOT 1144497 SOS 761741 HAS SOPS 761741 HAS SOUS 446798 HAS SOUPS 446798 WITH SCORE 447559.741
AT ITER 309 NEW BEST:: SOT 1144616 SOS 760899 HAS SOPS 760899 HAS SOUS 446402 HAS SOUPS 446402 WITH SCORE 447162.899
AT ITER 315 NEW BEST:: SOT 1144530 SOS 760813 HAS SOPS 760813 HAS SOUS 446316 HAS SOUPS 446316 WITH SCORE 447076.813
AT ITER 317 NEW BEST:: SOT 1144126 SOS 760409 HAS SOPS 760409 HAS SOUS 445912 HAS SOUPS 445912 WITH SCORE 446672.409
AT ITER 327 NEW BEST:: SOT 1143888 SOS 760171 HAS SOPS 760171 HAS SOUS 445674 HAS SOUPS 445674 WITH SCORE 446434.171
AT ITER 331 NEW BEST:: SOT 1143888 SOS 760171 HAS SOPS 760171 HAS SOUS 445672 HAS SOUPS 445672 WITH SCORE 446432.171
AT ITER 352 NEW BEST:: SOT 1143479 SOS 759762 HAS SOPS 759762 HAS SOUS 445263 HAS SOUPS 445263 WITH SCORE 446022.762
AT ITER 353 NEW BEST:: SOT 1143300 SOS 758490 HAS SOPS 758490 HAS SOUS 444651 HAS SOUPS 444651 WITH SCORE 445409.49
AT ITER 365 NEW BEST:: SOT 1143029 SOS 758219 HAS SOPS 758219 HAS SOUS 444380 HAS SOUPS 444380 WITH SCORE 445138.219
AT ITER 367 NEW BEST:: SOT 1142505 SOS 757695 HAS SOPS 757695 HAS SOUS 443850 HAS SOUPS 443850 WITH SCORE 444607.695
AT ITER 372 NEW BEST:: SOT 1142315 SOS 757155 HAS SOPS 757155 HAS SOUS 443500 HAS SOUPS 443500 WITH SCORE 444257.155
AT ITER 375 NEW BEST:: SOT 1140870 SOS 755107 HAS SOPS 755107 HAS SOUS 441914 HAS SOUPS 441914 WITH SCORE 442669.107
AT ITER 378 NEW BEST:: SOT 1140587 SOS 754244 HAS SOPS 754244 HAS SOUS 441348 HAS SOUPS 441348 WITH SCORE 442102.244
AT ITER 397 NEW BEST:: SOT 1140574 SOS 754218 HAS SOPS 754218 HAS SOUS 441322 HAS SOUPS 441322 WITH SCORE 442076.218
AT ITER 401 NEW BEST:: SOT 1140371 SOS 753779 HAS SOPS 753779 HAS SOUS 440680 HAS SOUPS 440680 WITH SCORE 441433.779
AT ITER 402 NEW BEST:: SOT 1139999 SOS 752843 HAS SOPS 752843 HAS SOUS 440308 HAS SOUPS 440308 WITH SCORE 441060.843
AT ITER 410 NEW BEST:: SOT 1139996 SOS 751899 HAS SOPS 751899 HAS SOUS 440163 HAS SOUPS 440163 WITH SCORE 440914.899
AT ITER 420 NEW BEST:: SOT 1139996 SOS 748544 HAS SOPS 748544 HAS SOUS 440117 HAS SOUPS 440117 WITH SCORE 440865.544
AT ITER 426 NEW BEST:: SOT 1139989 SOS 748537 HAS SOPS 748537 HAS SOUS 440103 HAS SOUPS 440103 WITH SCORE 440851.537
AT ITER 427 NEW BEST:: SOT 1140061 SOS 748371 HAS SOPS 748371 HAS SOUS 439937 HAS SOUPS 439937 WITH SCORE 440685.371
AT ITER 433 NEW BEST:: SOT 1139861 SOS 748163 HAS SOPS 748163 HAS SOUS 439929 HAS SOUPS 439929 WITH SCORE 440677.163
AT ITER 436 NEW BEST:: SOT 1139913 SOS 747380 HAS SOPS 747380 HAS SOUS 439842 HAS SOUPS 439842 WITH SCORE 440589.38
AT ITER 437 NEW BEST:: SOT 1136350 SOS 745875 HAS SOPS 745875 HAS SOUS 436511 HAS SOUPS 436511 WITH SCORE 437256.875
AT ITER 438 NEW BEST:: SOT 1133795 SOS 743535 HAS SOPS 743535 HAS SOUS 434163 HAS SOUPS 434163 WITH SCORE 434906.535
AT ITER 444 NEW BEST:: SOT 1133047 SOS 742000 HAS SOPS 742000 HAS SOUS 432628 HAS SOUPS 432628 WITH SCORE 433370.0
AT ITER 446 NEW BEST:: SOT 1132889 SOS 741932 HAS SOPS 741932 HAS SOUS 432529 HAS SOUPS 432529 WITH SCORE 433270.932
AT ITER 447 NEW BEST:: SOT 1131937 SOS 740980 HAS SOPS 740980 HAS SOUS 431577 HAS SOUPS 431577 WITH SCORE 432317.98
AT ITER 456 NEW BEST:: SOT 1131747 SOS 740807 HAS SOPS 740807 HAS SOUS 431404 HAS SOUPS 431404 WITH SCORE 432144.807
AT ITER 466 NEW BEST:: SOT 1131043 SOS 739141 HAS SOPS 739141 HAS SOUS 430608 HAS SOUPS 430608 WITH SCORE 431347.141
AT ITER 471 NEW BEST:: SOT 1130859 SOS 738957 HAS SOPS 738957 HAS SOUS 430424 HAS SOUPS 430424 WITH SCORE 431162.957
AT ITER 494 NEW BEST:: SOT 1129158 SOS 737256 HAS SOPS 737256 HAS SOUS 428723 HAS SOUPS 428723 WITH SCORE 429460.256
AT ITER 505 NEW BEST:: SOT 1129158 SOS 737256 HAS SOPS 737256 HAS SOUS 428438 HAS SOUPS 428438 WITH SCORE 429175.256
AT ITER 512 NEW BEST:: SOT 1129158 SOS 736472 HAS SOPS 736472 HAS SOUS 428095 HAS SOUPS 428095 WITH SCORE 428831.472
AT ITER 515 NEW BEST:: SOT 1129082 SOS 736396 HAS SOPS 736396 HAS SOUS 428095 HAS SOUPS 428095 WITH SCORE 428831.396
AT ITER 518 NEW BEST:: SOT 1129082 SOS 736380 HAS SOPS 736380 HAS SOUS 428094 HAS SOUPS 428094 WITH SCORE 428830.38
AT ITER 522 NEW BEST:: SOT 1129082 SOS 735624 HAS SOPS 735624 HAS SOUS 427668 HAS SOUPS 427668 WITH SCORE 428403.624
AT ITER 524 NEW BEST:: SOT 1128010 SOS 734539 HAS SOPS 734539 HAS SOUS 426583 HAS SOUPS 426583 WITH SCORE 427317.539
AT ITER 533 NEW BEST:: SOT 1128099 SOS 734804 HAS SOPS 734804 HAS SOUS 426455 HAS SOUPS 426455 WITH SCORE 427189.804
AT ITER 534 NEW BEST:: SOT 1127515 SOS 734220 HAS SOPS 734220 HAS SOUS 425871 HAS SOUPS 425871 WITH SCORE 426605.22
AT ITER 535 NEW BEST:: SOT 1127318 SOS 732642 HAS SOPS 732642 HAS SOUS 425477 HAS SOUPS 425477 WITH SCORE 426209.642
AT ITER 539 NEW BEST:: SOT 1127323 SOS 732635 HAS SOPS 732635 HAS SOUS 425469 HAS SOUPS 425469 WITH SCORE 426201.635
AT ITER 544 NEW BEST:: SOT 1127275 SOS 732459 HAS SOPS 732459 HAS SOUS 425309 HAS SOUPS 425309 WITH SCORE 426041.459
AT ITER 545 NEW BEST:: SOT 1126367 SOS 731550 HAS SOPS 731550 HAS SOUS 424400 HAS SOUPS 424400 WITH SCORE 425131.55
AT ITER 555 NEW BEST:: SOT 1125903 SOS 731080 HAS SOPS 731080 HAS SOUS 423930 HAS SOUPS 423930 WITH SCORE 424661.08
AT ITER 558 NEW BEST:: SOT 1126152 SOS 731152 HAS SOPS 731152 HAS SOUS 423519 HAS SOUPS 423519 WITH SCORE 424250.152
AT ITER 564 NEW BEST:: SOT 1126152 SOS 731188 HAS SOPS 731188 HAS SOUS 423479 HAS SOUPS 423479 WITH SCORE 424210.188
AT ITER 567 NEW BEST:: SOT 1124080 SOS 733896 HAS SOPS 733896 HAS SOUS 422946 HAS SOUPS 422946 WITH SCORE 423679.896
AT ITER 572 NEW BEST:: SOT 1124047 SOS 734356 HAS SOPS 734356 HAS SOUS 422913 HAS SOUPS 422913 WITH SCORE 423647.356
AT ITER 582 NEW BEST:: SOT 1124047 SOS 734341 HAS SOPS 734341 HAS SOUS 422913 HAS SOUPS 422913 WITH SCORE 423647.341
AT ITER 589 NEW BEST:: SOT 1122317 SOS 734974 HAS SOPS 734974 HAS SOUS 421896 HAS SOUPS 421896 WITH SCORE 422630.974
AT ITER 595 NEW BEST:: SOT 1122502 SOS 734514 HAS SOPS 734514 HAS SOUS 421884 HAS SOUPS 421884 WITH SCORE 422618.514
AT ITER 596 NEW BEST:: SOT 1122449 SOS 734408 HAS SOPS 734408 HAS SOUS 421883 HAS SOUPS 421883 WITH SCORE 422617.408
AT ITER 597 NEW BEST:: SOT 1122270 SOS 734229 HAS SOPS 734229 HAS SOUS 421820 HAS SOUPS 421820 WITH SCORE 422554.229
AT ITER 600 NEW BEST:: SOT 1121748 SOS 733156 HAS SOPS 733156 HAS SOUS 420776 HAS SOUPS 420776 WITH SCORE 421509.156
AT ITER 609 NEW BEST:: SOT 1121485 SOS 732720 HAS SOPS 732720 HAS SOUS 420761 HAS SOUPS 420761 WITH SCORE 421493.72
AT ITER 610 NEW BEST:: SOT 1121207 SOS 732442 HAS SOPS 732442 HAS SOUS 420761 HAS SOUPS 420761 WITH SCORE 421493.442
AT ITER 615 NEW BEST:: SOT 1120595 SOS 730912 HAS SOPS 730912 HAS SOUS 419389 HAS SOUPS 419389 WITH SCORE 420119.912
AT ITER 617 NEW BEST:: SOT 1120775 SOS 730449 HAS SOPS 730449 HAS SOUS 419359 HAS SOUPS 419359 WITH SCORE 420089.449
AT ITER 628 NEW BEST:: SOT 1121228 SOS 729507 HAS SOPS 729507 HAS SOUS 419352 HAS SOUPS 419352 WITH SCORE 420081.507
AT ITER 632 NEW BEST:: SOT 1121228 SOS 728520 HAS SOPS 728520 HAS SOUS 419102 HAS SOUPS 419102 WITH SCORE 419830.52
AT ITER 634 NEW BEST:: SOT 1121228 SOS 727846 HAS SOPS 727846 HAS SOUS 419056 HAS SOUPS 419056 WITH SCORE 419783.846
AT ITER 636 NEW BEST:: SOT 1121215 SOS 727833 HAS SOPS 727833 HAS SOUS 419041 HAS SOUPS 419041 WITH SCORE 419768.833
AT ITER 638 NEW BEST:: SOT 1120757 SOS 727375 HAS SOPS 727375 HAS SOUS 418634 HAS SOUPS 418634 WITH SCORE 419361.375
AT ITER 639 NEW BEST:: SOT 1120624 SOS 727242 HAS SOPS 727242 HAS SOUS 418497 HAS SOUPS 418497 WITH SCORE 419224.242
AT ITER 651 NEW BEST:: SOT 1120535 SOS 727153 HAS SOPS 727153 HAS SOUS 418407 HAS SOUPS 418407 WITH SCORE 419134.153
AT ITER 660 NEW BEST:: SOT 1120534 SOS 727152 HAS SOPS 727152 HAS SOUS 418406 HAS SOUPS 418406 WITH SCORE 419133.152
AT ITER 662 NEW BEST:: SOT 1120534 SOS 726983 HAS SOPS 726983 HAS SOUS 418372 HAS SOUPS 418372 WITH SCORE 419098.983
AT ITER 665 NEW BEST:: SOT 1120534 SOS 726792 HAS SOPS 726792 HAS SOUS 418316 HAS SOUPS 418316 WITH SCORE 419042.792
AT ITER 680 NEW BEST:: SOT 1120507 SOS 726765 HAS SOPS 726765 HAS SOUS 418315 HAS SOUPS 418315 WITH SCORE 419041.765
AT ITER 687 NEW BEST:: SOT 1120507 SOS 726225 HAS SOPS 726225 HAS SOUS 418315 HAS SOUPS 418315 WITH SCORE 419041.225
AT ITER 691 NEW BEST:: SOT 1120817 SOS 725829 HAS SOPS 725829 HAS SOUS 418117 HAS SOUPS 418117 WITH SCORE 418842.829
AT ITER 706 NEW BEST:: SOT 1120277 SOS 725289 HAS SOPS 725289 HAS SOUS 417576 HAS SOUPS 417576 WITH SCORE 418301.289
AT ITER 707 NEW BEST:: SOT 1120447 SOS 724979 HAS SOPS 724979 HAS SOUS 417106 HAS SOUPS 417106 WITH SCORE 417830.979
AT ITER 708 NEW BEST:: SOT 1120507 SOS 725099 HAS SOPS 725099 HAS SOUS 417078 HAS SOUPS 417078 WITH SCORE 417803.099
AT ITER 737 NEW BEST:: SOT 1121641 SOS 725814 HAS SOPS 725814 HAS SOUS 416954 HAS SOUPS 416954 WITH SCORE 417679.814
AT ITER 756 NEW BEST:: SOT 1121641 SOS 725321 HAS SOPS 725321 HAS SOUS 416953 HAS SOUPS 416953 WITH SCORE 417678.321
AT ITER 763 NEW BEST:: SOT 1121525 SOS 725205 HAS SOPS 725205 HAS SOUS 416837 HAS SOUPS 416837 WITH SCORE 417562.205
AT ITER 768 NEW BEST:: SOT 1121525 SOS 724923 HAS SOPS 724923 HAS SOUS 416837 HAS SOUPS 416837 WITH SCORE 417561.923
AT ITER 770 NEW BEST:: SOT 1121419 SOS 724817 HAS SOPS 724817 HAS SOUS 416731 HAS SOUPS 416731 WITH SCORE 417455.817
AT ITER 811 NEW BEST:: SOT 1120395 SOS 726401 HAS SOPS 726401 HAS SOUS 415519 HAS SOUPS 415519 WITH SCORE 416245.401
AT ITER 824 NEW BEST:: SOT 1120325 SOS 726333 HAS SOPS 726333 HAS SOUS 415147 HAS SOUPS 415147 WITH SCORE 415873.333
AT ITER 834 NEW BEST:: SOT 1109371 SOS 717657 HAS SOPS 717657 HAS SOUS 403806 HAS SOUPS 403806 WITH SCORE 404523.657
AT ITER 836 NEW BEST:: SOT 1108421 SOS 716707 HAS SOPS 716707 HAS SOUS 402855 HAS SOUPS 402855 WITH SCORE 403571.707
AT ITER 855 NEW BEST:: SOT 1108325 SOS 716611 HAS SOPS 716611 HAS SOUS 402759 HAS SOUPS 402759 WITH SCORE 403475.611
AT ITER 865 NEW BEST:: SOT 1108325 SOS 716593 HAS SOPS 716593 HAS SOUS 402741 HAS SOUPS 402741 WITH SCORE 403457.593
AT ITER 866 NEW BEST:: SOT 1104379 SOS 712647 HAS SOPS 712647 HAS SOUS 398772 HAS SOUPS 398772 WITH SCORE 399484.647
AT ITER 877 NEW BEST:: SOT 1103870 SOS 712645 HAS SOPS 712645 HAS SOUS 398770 HAS SOUPS 398770 WITH SCORE 399482.645
AT ITER 907 NEW BEST:: SOT 1103757 SOS 712580 HAS SOPS 712580 HAS SOUS 398770 HAS SOUPS 398770 WITH SCORE 399482.58
AT ITER 908 NEW BEST:: SOT 1103666 SOS 712489 HAS SOPS 712489 HAS SOUS 398493 HAS SOUPS 398493 WITH SCORE 399205.489
AT ITER 909 NEW BEST:: SOT 1103662 SOS 712480 HAS SOPS 712480 HAS SOUS 398484 HAS SOUPS 398484 WITH SCORE 399196.48
AT ITER 910 NEW BEST:: SOT 1104321 SOS 711453 HAS SOPS 711453 HAS SOUS 397940 HAS SOUPS 397940 WITH SCORE 398651.453
AT ITER 913 NEW BEST:: SOT 1104173 SOS 710951 HAS SOPS 710951 HAS SOUS 397436 HAS SOUPS 397436 WITH SCORE 398146.951
AT ITER 923 NEW BEST:: SOT 1104146 SOS 710924 HAS SOPS 710924 HAS SOUS 397409 HAS SOUPS 397409 WITH SCORE 398119.924
AT ITER 924 NEW BEST:: SOT 1103132 SOS 709863 HAS SOPS 709863 HAS SOUS 396348 HAS SOUPS 396348 WITH SCORE 397057.863
AT ITER 931 NEW BEST:: SOT 1103132 SOS 710306 HAS SOPS 710306 HAS SOUS 396342 HAS SOUPS 396342 WITH SCORE 397052.306
AT ITER 932 NEW BEST:: SOT 1103254 SOS 710626 HAS SOPS 710626 HAS SOUS 396304 HAS SOUPS 396304 WITH SCORE 397014.626
AT ITER 940 NEW BEST:: SOT 1102961 SOS 710333 HAS SOPS 710333 HAS SOUS 396010 HAS SOUPS 396010 WITH SCORE 396720.333
AT ITER 947 NEW BEST:: SOT 1099841 SOS 708484 HAS SOPS 708484 HAS SOUS 393702 HAS SOUPS 393702 WITH SCORE 394410.484
AT ITER 948 NEW BEST:: SOT 1098709 SOS 710518 HAS SOPS 710518 HAS SOUS 393035 HAS SOUPS 393035 WITH SCORE 393745.518
AT ITER 954 NEW BEST:: SOT 1098557 SOS 710366 HAS SOPS 710366 HAS SOUS 392874 HAS SOUPS 392874 WITH SCORE 393584.366
AT ITER 967 NEW BEST:: SOT 1098509 SOS 710188 HAS SOPS 710188 HAS SOUS 392778 HAS SOUPS 392778 WITH SCORE 393488.188
AT ITER 970 NEW BEST:: SOT 1097839 SOS 709518 HAS SOPS 709518 HAS SOUS 392108 HAS SOUPS 392108 WITH SCORE 392817.518
AT ITER 971 NEW BEST:: SOT 1097636 SOS 709315 HAS SOPS 709315 HAS SOUS 391905 HAS SOUPS 391905 WITH SCORE 392614.315
AT ITER 975 NEW BEST:: SOT 1097375 SOS 708880 HAS SOPS 708880 HAS SOUS 391557 HAS SOUPS 391557 WITH SCORE 392265.88
AT ITER 980 NEW BEST:: SOT 1096940 SOS 712124 HAS SOPS 712124 HAS SOUS 391196 HAS SOUPS 391196 WITH SCORE 391908.124
AT ITER 981 NEW BEST:: SOT 1096689 SOS 711873 HAS SOPS 711873 HAS SOUS 390945 HAS SOUPS 390945 WITH SCORE 391656.873
AT ITER 986 NEW BEST:: SOT 1097154 SOS 711316 HAS SOPS 711316 HAS SOUS 390761 HAS SOUPS 390761 WITH SCORE 391472.316
AT ITER 992 NEW BEST:: SOT 1097112 SOS 711274 HAS SOPS 711274 HAS SOUS 390711 HAS SOUPS 390711 WITH SCORE 391422.274
AT ITER 994 NEW BEST:: SOT 1097111 SOS 711273 HAS SOPS 711273 HAS SOUS 390709 HAS SOUPS 390709 WITH SCORE 391420.273
AT ITER 999 NEW BEST:: SOT 1092513 SOS 707848 HAS SOPS 707848 HAS SOUS 387257 HAS SOUPS 387257 WITH SCORE 387964.848
AT ITER 1012 NEW BEST:: SOT 1087471 SOS 702780 HAS SOPS 702780 HAS SOUS 382189 HAS SOUPS 382189 WITH SCORE 382891.78
AT ITER 1028 NEW BEST:: SOT 1086860 SOS 701316 HAS SOPS 701316 HAS SOUS 381431 HAS SOUPS 381431 WITH SCORE 382132.316
AT ITER 1029 NEW BEST:: SOT 1086851 SOS 701307 HAS SOPS 701307 HAS SOUS 381413 HAS SOUPS 381413 WITH SCORE 382114.307
AT ITER 1031 NEW BEST:: SOT 1086801 SOS 701157 HAS SOPS 701157 HAS SOUS 381313 HAS SOUPS 381313 WITH SCORE 382014.157
AT ITER 1033 NEW BEST:: SOT 1086756 SOS 701112 HAS SOPS 701112 HAS SOUS 381268 HAS SOUPS 381268 WITH SCORE 381969.112
AT ITER 1058 NEW BEST:: SOT 1086679 SOS 701035 HAS SOPS 701035 HAS SOUS 381182 HAS SOUPS 381182 WITH SCORE 381883.035
AT ITER 1061 NEW BEST:: SOT 1086674 SOS 701030 HAS SOPS 701030 HAS SOUS 381177 HAS SOUPS 381177 WITH SCORE 381878.03
AT ITER 1070 NEW BEST:: SOT 1086674 SOS 701243 HAS SOPS 701243 HAS SOUS 380901 HAS SOUPS 380901 WITH SCORE 381602.243
AT ITER 1075 NEW BEST:: SOT 1086674 SOS 700956 HAS SOPS 700956 HAS SOUS 380817 HAS SOUPS 380817 WITH SCORE 381517.956
AT ITER 1088 NEW BEST:: SOT 1086382 SOS 700675 HAS SOPS 700675 HAS SOUS 380536 HAS SOUPS 380536 WITH SCORE 381236.675
AT ITER 1092 NEW BEST:: SOT 1086382 SOS 700271 HAS SOPS 700271 HAS SOUS 380530 HAS SOUPS 380530 WITH SCORE 381230.271
AT ITER 1095 NEW BEST:: SOT 1086382 SOS 699385 HAS SOPS 699385 HAS SOUS 379677 HAS SOUPS 379677 WITH SCORE 380376.385
AT ITER 1102 NEW BEST:: SOT 1085728 SOS 698731 HAS SOPS 698731 HAS SOUS 379023 HAS SOUPS 379023 WITH SCORE 379721.731
AT ITER 1108 NEW BEST:: SOT 1085523 SOS 698526 HAS SOPS 698526 HAS SOUS 378785 HAS SOUPS 378785 WITH SCORE 379483.526
AT ITER 1115 NEW BEST:: SOT 1081469 SOS 695485 HAS SOPS 695485 HAS SOUS 374632 HAS SOUPS 374632 WITH SCORE 375327.485
AT ITER 1118 NEW BEST:: SOT 1081173 SOS 694599 HAS SOPS 694599 HAS SOUS 374040 HAS SOUPS 374040 WITH SCORE 374734.599
AT ITER 1124 NEW BEST:: SOT 1080771 SOS 693596 HAS SOPS 693596 HAS SOUS 373236 HAS SOUPS 373236 WITH SCORE 373929.596
AT ITER 1140 NEW BEST:: SOT 1080217 SOS 693042 HAS SOPS 693042 HAS SOUS 372682 HAS SOUPS 372682 WITH SCORE 373375.042
AT ITER 1145 NEW BEST:: SOT 1080192 SOS 693017 HAS SOPS 693017 HAS SOUS 372654 HAS SOUPS 372654 WITH SCORE 373347.017
AT ITER 1147 NEW BEST:: SOT 1080478 SOS 692944 HAS SOPS 692944 HAS SOUS 372640 HAS SOUPS 372640 WITH SCORE 373332.944
AT ITER 1148 NEW BEST:: SOT 1080478 SOS 692716 HAS SOPS 692716 HAS SOUS 372298 HAS SOUPS 372298 WITH SCORE 372990.716
AT ITER 1149 NEW BEST:: SOT 1080478 SOS 692314 HAS SOPS 692314 HAS SOUS 372294 HAS SOUPS 372294 WITH SCORE 372986.314
AT ITER 1150 NEW BEST:: SOT 1080472 SOS 692308 HAS SOPS 692308 HAS SOUS 372288 HAS SOUPS 372288 WITH SCORE 372980.308
AT ITER 1168 NEW BEST:: SOT 1079999 SOS 691835 HAS SOPS 691835 HAS SOUS 371815 HAS SOUPS 371815 WITH SCORE 372506.835
AT ITER 1169 NEW BEST:: SOT 1079763 SOS 691599 HAS SOPS 691599 HAS SOUS 371579 HAS SOUPS 371579 WITH SCORE 372270.599
AT ITER 1177 NEW BEST:: SOT 1079317 SOS 691153 HAS SOPS 691153 HAS SOUS 371515 HAS SOUPS 371515 WITH SCORE 372206.153
AT ITER 1185 NEW BEST:: SOT 1079146 SOS 690138 HAS SOPS 690138 HAS SOUS 371368 HAS SOUPS 371368 WITH SCORE 372058.138
AT ITER 1197 NEW BEST:: SOT 1078862 SOS 689340 HAS SOPS 689340 HAS SOUS 370830 HAS SOUPS 370830 WITH SCORE 371519.34
AT ITER 1199 NEW BEST:: SOT 1078490 SOS 688968 HAS SOPS 688968 HAS SOUS 370458 HAS SOUPS 370458 WITH SCORE 371146.968
AT ITER 1203 NEW BEST:: SOT 1078324 SOS 688802 HAS SOPS 688802 HAS SOUS 370439 HAS SOUPS 370439 WITH SCORE 371127.802
AT ITER 1206 NEW BEST:: SOT 1078152 SOS 688182 HAS SOPS 688182 HAS SOUS 370403 HAS SOUPS 370403 WITH SCORE 371091.182
AT ITER 1242 NEW BEST:: SOT 1078152 SOS 690151 HAS SOPS 690151 HAS SOUS 370107 HAS SOUPS 370107 WITH SCORE 370797.151
AT ITER 1263 NEW BEST:: SOT 1077401 SOS 689481 HAS SOPS 689481 HAS SOUS 369798 HAS SOUPS 369798 WITH SCORE 370487.481
AT ITER 1264 NEW BEST:: SOT 1077690 SOS 689255 HAS SOPS 689255 HAS SOUS 369414 HAS SOUPS 369414 WITH SCORE 370103.255
AT ITER 1291 NEW BEST:: SOT 1075030 SOS 688317 HAS SOPS 688317 HAS SOUS 366995 HAS SOUPS 366995 WITH SCORE 367683.317
AT ITER 1305 NEW BEST:: SOT 1074980 SOS 688267 HAS SOPS 688267 HAS SOUS 366945 HAS SOUPS 366945 WITH SCORE 367633.267
AT ITER 1309 NEW BEST:: SOT 1074647 SOS 688136 HAS SOPS 688136 HAS SOUS 366563 HAS SOUPS 366563 WITH SCORE 367251.136
AT ITER 1322 NEW BEST:: SOT 1074647 SOS 687567 HAS SOPS 687567 HAS SOUS 365994 HAS SOUPS 365994 WITH SCORE 366681.567
AT ITER 1326 NEW BEST:: SOT 1074482 SOS 687402 HAS SOPS 687402 HAS SOUS 365820 HAS SOUPS 365820 WITH SCORE 366507.402
AT ITER 1329 NEW BEST:: SOT 1074267 SOS 687187 HAS SOPS 687187 HAS SOUS 365816 HAS SOUPS 365816 WITH SCORE 366503.187
AT ITER 1331 NEW BEST:: SOT 1074157 SOS 687077 HAS SOPS 687077 HAS SOUS 365685 HAS SOUPS 365685 WITH SCORE 366372.077
AT ITER 1337 NEW BEST:: SOT 1074157 SOS 687046 HAS SOPS 687046 HAS SOUS 365468 HAS SOUPS 365468 WITH SCORE 366155.046
AT ITER 1357 NEW BEST:: SOT 1073980 SOS 686377 HAS SOPS 686377 HAS SOUS 365077 HAS SOUPS 365077 WITH SCORE 365763.377
AT ITER 1368 NEW BEST:: SOT 1069865 SOS 682258 HAS SOPS 682258 HAS SOUS 360958 HAS SOUPS 360958 WITH SCORE 361640.258
AT ITER 1377 NEW BEST:: SOT 1069022 SOS 681415 HAS SOPS 681415 HAS SOUS 360070 HAS SOUPS 360070 WITH SCORE 360751.415
AT ITER 1388 NEW BEST:: SOT 1068921 SOS 681314 HAS SOPS 681314 HAS SOUS 359969 HAS SOUPS 359969 WITH SCORE 360650.314
AT ITER 1395 NEW BEST:: SOT 1068915 SOS 679636 HAS SOPS 679636 HAS SOUS 359623 HAS SOUPS 359623 WITH SCORE 360302.636
AT ITER 1408 NEW BEST:: SOT 1068747 SOS 679272 HAS SOPS 679272 HAS SOUS 359209 HAS SOUPS 359209 WITH SCORE 359888.272
AT ITER 1435 NEW BEST:: SOT 1068314 SOS 677991 HAS SOPS 677991 HAS SOUS 358343 HAS SOUPS 358343 WITH SCORE 359020.991
AT ITER 1436 NEW BEST:: SOT 1068234 SOS 677911 HAS SOPS 677911 HAS SOUS 358263 HAS SOUPS 358263 WITH SCORE 358940.911
AT ITER 1448 NEW BEST:: SOT 1068146 SOS 678749 HAS SOPS 678749 HAS SOUS 358066 HAS SOUPS 358066 WITH SCORE 358744.749
AT ITER 1468 NEW BEST:: SOT 1067958 SOS 678561 HAS SOPS 678561 HAS SOUS 357875 HAS SOUPS 357875 WITH SCORE 358553.561
AT ITER 1472 NEW BEST:: SOT 1067551 SOS 678154 HAS SOPS 678154 HAS SOUS 357701 HAS SOUPS 357701 WITH SCORE 358379.154
AT ITER 1473 NEW BEST:: SOT 1067319 SOS 677922 HAS SOPS 677922 HAS SOUS 357469 HAS SOUPS 357469 WITH SCORE 358146.922
AT ITER 1474 NEW BEST:: SOT 1067141 SOS 677388 HAS SOPS 677388 HAS SOUS 357136 HAS SOUPS 357136 WITH SCORE 357813.388
AT ITER 1483 NEW BEST:: SOT 1066922 SOS 677384 HAS SOPS 677384 HAS SOUS 357132 HAS SOUPS 357132 WITH SCORE 357809.384
AT ITER 1492 NEW BEST:: SOT 1066766 SOS 677228 HAS SOPS 677228 HAS SOUS 357078 HAS SOUPS 357078 WITH SCORE 357755.228
AT ITER 1496 NEW BEST:: SOT 1065740 SOS 675406 HAS SOPS 675406 HAS SOUS 356352 HAS SOUPS 356352 WITH SCORE 357027.406
AT ITER 1498 NEW BEST:: SOT 1065475 SOS 674821 HAS SOPS 674821 HAS SOUS 355822 HAS SOUPS 355822 WITH SCORE 356496.821
AT ITER 1499 NEW BEST:: SOT 1065237 SOS 674363 HAS SOPS 674363 HAS SOUS 355466 HAS SOUPS 355466 WITH SCORE 356140.363
AT ITER 1500 NEW BEST:: SOT 1063916 SOS 672702 HAS SOPS 672702 HAS SOUS 353805 HAS SOUPS 353805 WITH SCORE 354477.702
AT ITER 1507 NEW BEST:: SOT 1063712 SOS 672498 HAS SOPS 672498 HAS SOUS 353601 HAS SOUPS 353601 WITH SCORE 354273.498
AT ITER 1516 NEW BEST:: SOT 1063520 SOS 671776 HAS SOPS 671776 HAS SOUS 353101 HAS SOUPS 353101 WITH SCORE 353772.776
AT ITER 1528 NEW BEST:: SOT 1063336 SOS 671776 HAS SOPS 671776 HAS SOUS 352811 HAS SOUPS 352811 WITH SCORE 353482.776
AT ITER 1536 NEW BEST:: SOT 1063264 SOS 671774 HAS SOPS 671774 HAS SOUS 352734 HAS SOUPS 352734 WITH SCORE 353405.774
AT ITER 1541 NEW BEST:: SOT 1062624 SOS 671741 HAS SOPS 671741 HAS SOUS 352304 HAS SOUPS 352304 WITH SCORE 352975.741
AT ITER 1544 NEW BEST:: SOT 1062624 SOS 671741 HAS SOPS 671741 HAS SOUS 352301 HAS SOUPS 352301 WITH SCORE 352972.741
AT ITER 1561 NEW BEST:: SOT 1062604 SOS 671701 HAS SOPS 671701 HAS SOUS 352280 HAS SOUPS 352280 WITH SCORE 352951.701
AT ITER 1563 NEW BEST:: SOT 1062604 SOS 671470 HAS SOPS 671470 HAS SOUS 352049 HAS SOUPS 352049 WITH SCORE 352720.47
AT ITER 1591 NEW BEST:: SOT 1062574 SOS 671440 HAS SOPS 671440 HAS SOUS 351959 HAS SOUPS 351959 WITH SCORE 352630.44
AT ITER 1602 NEW BEST:: SOT 1062332 SOS 671762 HAS SOPS 671762 HAS SOUS 351911 HAS SOUPS 351911 WITH SCORE 352582.762
AT ITER 1604 NEW BEST:: SOT 1062275 SOS 671705 HAS SOPS 671705 HAS SOUS 351911 HAS SOUPS 351911 WITH SCORE 352582.705
AT ITER 1612 NEW BEST:: SOT 1062051 SOS 671471 HAS SOPS 671471 HAS SOUS 351463 HAS SOUPS 351463 WITH SCORE 352134.471
AT ITER 1614 NEW BEST:: SOT 1061979 SOS 671043 HAS SOPS 671043 HAS SOUS 351380 HAS SOUPS 351380 WITH SCORE 352051.043
AT ITER 1619 NEW BEST:: SOT 1061952 SOS 670719 HAS SOPS 670719 HAS SOUS 351341 HAS SOUPS 351341 WITH SCORE 352011.719
AT ITER 1620 NEW BEST:: SOT 1061952 SOS 670647 HAS SOPS 670647 HAS SOUS 351328 HAS SOUPS 351328 WITH SCORE 351998.647
AT ITER 1622 NEW BEST:: SOT 1061523 SOS 670042 HAS SOPS 670042 HAS SOUS 350960 HAS SOUPS 350960 WITH SCORE 351630.042
AT ITER 1629 NEW BEST:: SOT 1061440 SOS 669972 HAS SOPS 669972 HAS SOUS 350890 HAS SOUPS 350890 WITH SCORE 351559.972
AT ITER 1631 NEW BEST:: SOT 1061439 SOS 669971 HAS SOPS 669971 HAS SOUS 350881 HAS SOUPS 350881 WITH SCORE 351550.971
AT ITER 1635 NEW BEST:: SOT 1059576 SOS 672336 HAS SOPS 672336 HAS SOUS 349459 HAS SOUPS 349459 WITH SCORE 350131.336
AT ITER 1639 NEW BEST:: SOT 1059296 SOS 672056 HAS SOPS 672056 HAS SOUS 349179 HAS SOUPS 349179 WITH SCORE 349851.056
AT ITER 1647 NEW BEST:: SOT 1058410 SOS 670556 HAS SOPS 670556 HAS SOUS 347407 HAS SOUPS 347407 WITH SCORE 348077.556
AT ITER 1648 NEW BEST:: SOT 1058365 SOS 670511 HAS SOPS 670511 HAS SOUS 347407 HAS SOUPS 347407 WITH SCORE 348077.511
AT ITER 1649 NEW BEST:: SOT 1057941 SOS 671844 HAS SOPS 671844 HAS SOUS 347387 HAS SOUPS 347387 WITH SCORE 348058.844
AT ITER 1653 NEW BEST:: SOT 1057848 SOS 671523 HAS SOPS 671523 HAS SOUS 347066 HAS SOUPS 347066 WITH SCORE 347737.523
AT ITER 1655 NEW BEST:: SOT 1057604 SOS 670636 HAS SOPS 670636 HAS SOUS 346700 HAS SOUPS 346700 WITH SCORE 347370.636
AT ITER 1659 NEW BEST:: SOT 1057565 SOS 670560 HAS SOPS 670560 HAS SOUS 346624 HAS SOUPS 346624 WITH SCORE 347294.56
AT ITER 1664 NEW BEST:: SOT 1057611 SOS 669992 HAS SOPS 669992 HAS SOUS 346056 HAS SOUPS 346056 WITH SCORE 346725.992
AT ITER 1669 NEW BEST:: SOT 1057824 SOS 670104 HAS SOPS 670104 HAS SOUS 345482 HAS SOUPS 345482 WITH SCORE 346152.104
AT ITER 1670 NEW BEST:: SOT 1057206 SOS 669486 HAS SOPS 669486 HAS SOUS 344864 HAS SOUPS 344864 WITH SCORE 345533.486
AT ITER 1687 NEW BEST:: SOT 1056753 SOS 669233 HAS SOPS 669233 HAS SOUS 344549 HAS SOUPS 344549 WITH SCORE 345218.233
AT ITER 1691 NEW BEST:: SOT 1056753 SOS 669226 HAS SOPS 669226 HAS SOUS 344549 HAS SOUPS 344549 WITH SCORE 345218.226
AT ITER 1695 NEW BEST:: SOT 1056741 SOS 669202 HAS SOPS 669202 HAS SOUS 344502 HAS SOUPS 344502 WITH SCORE 345171.202
AT ITER 1706 NEW BEST:: SOT 1056645 SOS 669058 HAS SOPS 669058 HAS SOUS 344358 HAS SOUPS 344358 WITH SCORE 345027.058
AT ITER 1708 NEW BEST:: SOT 1056644 SOS 669057 HAS SOPS 669057 HAS SOUS 344357 HAS SOUPS 344357 WITH SCORE 345026.057
AT ITER 1709 NEW BEST:: SOT 1056644 SOS 668993 HAS SOPS 668993 HAS SOUS 344355 HAS SOUPS 344355 WITH SCORE 345023.993
AT ITER 1710 NEW BEST:: SOT 1056453 SOS 668802 HAS SOPS 668802 HAS SOUS 344247 HAS SOUPS 344247 WITH SCORE 344915.802
AT ITER 1714 NEW BEST:: SOT 1056451 SOS 668671 HAS SOPS 668671 HAS SOUS 344116 HAS SOUPS 344116 WITH SCORE 344784.671
AT ITER 1723 NEW BEST:: SOT 1056451 SOS 668671 HAS SOPS 668671 HAS SOUS 344103 HAS SOUPS 344103 WITH SCORE 344771.671
AT ITER 1728 NEW BEST:: SOT 1056451 SOS 668593 HAS SOPS 668593 HAS SOUS 344098 HAS SOUPS 344098 WITH SCORE 344766.593
AT ITER 1729 NEW BEST:: SOT 1056443 SOS 668585 HAS SOPS 668585 HAS SOUS 344090 HAS SOUPS 344090 WITH SCORE 344758.585
AT ITER 1738 NEW BEST:: SOT 1056552 SOS 668294 HAS SOPS 668294 HAS SOUS 344022 HAS SOUPS 344022 WITH SCORE 344690.294
AT ITER 1741 NEW BEST:: SOT 1056469 SOS 668211 HAS SOPS 668211 HAS SOUS 343939 HAS SOUPS 343939 WITH SCORE 344607.211
AT ITER 1760 NEW BEST:: SOT 1056465 SOS 666809 HAS SOPS 666809 HAS SOUS 343710 HAS SOUPS 343710 WITH SCORE 344376.809
AT ITER 1775 NEW BEST:: SOT 1056166 SOS 666510 HAS SOPS 666510 HAS SOUS 343411 HAS SOUPS 343411 WITH SCORE 344077.51
AT ITER 1777 NEW BEST:: SOT 1056348 SOS 666572 HAS SOPS 666572 HAS SOUS 343195 HAS SOUPS 343195 WITH SCORE 343861.572
AT ITER 1781 NEW BEST:: SOT 1055604 SOS 665880 HAS SOPS 665880 HAS SOUS 342510 HAS SOUPS 342510 WITH SCORE 343175.88
AT ITER 1797 NEW BEST:: SOT 1055551 SOS 665864 HAS SOPS 665864 HAS SOUS 342494 HAS SOUPS 342494 WITH SCORE 343159.864
AT ITER 1799 NEW BEST:: SOT 1055434 SOS 665535 HAS SOPS 665535 HAS SOUS 342039 HAS SOUPS 342039 WITH SCORE 342704.535
AT ITER 1800 NEW BEST:: SOT 1055327 SOS 665405 HAS SOPS 665405 HAS SOUS 341825 HAS SOUPS 341825 WITH SCORE 342490.405
AT ITER 1816 NEW BEST:: SOT 1055156 SOS 665234 HAS SOPS 665234 HAS SOUS 341654 HAS SOUPS 341654 WITH SCORE 342319.234
AT ITER 1835 NEW BEST:: SOT 1054413 SOS 665859 HAS SOPS 665859 HAS SOUS 341133 HAS SOUPS 341133 WITH SCORE 341798.859
AT ITER 1836 NEW BEST:: SOT 1054071 SOS 665509 HAS SOPS 665509 HAS SOUS 340475 HAS SOUPS 340475 WITH SCORE 341140.509
AT ITER 1860 NEW BEST:: SOT 1051696 SOS 663134 HAS SOPS 663134 HAS SOUS 337625 HAS SOUPS 337625 WITH SCORE 338288.134
AT ITER 1863 NEW BEST:: SOT 1051696 SOS 662986 HAS SOPS 662986 HAS SOUS 337621 HAS SOUPS 337621 WITH SCORE 338283.986
AT ITER 1874 NEW BEST:: SOT 1051642 SOS 662932 HAS SOPS 662932 HAS SOUS 337567 HAS SOUPS 337567 WITH SCORE 338229.932
AT ITER 1882 NEW BEST:: SOT 1051642 SOS 662932 HAS SOPS 662932 HAS SOUS 337559 HAS SOUPS 337559 WITH SCORE 338221.932
AT ITER 1891 NEW BEST:: SOT 1051642 SOS 663356 HAS SOPS 663356 HAS SOUS 337529 HAS SOUPS 337529 WITH SCORE 338192.356
AT ITER 1906 NEW BEST:: SOT 1049036 SOS 660261 HAS SOPS 660261 HAS SOUS 334434 HAS SOUPS 334434 WITH SCORE 335094.261
AT ITER 1924 NEW BEST:: SOT 1048798 SOS 660023 HAS SOPS 660023 HAS SOUS 334196 HAS SOUPS 334196 WITH SCORE 334856.023
AT ITER 1925 NEW BEST:: SOT 1048775 SOS 659994 HAS SOPS 659994 HAS SOUS 334177 HAS SOUPS 334177 WITH SCORE 334836.994
AT ITER 1938 NEW BEST:: SOT 1048714 SOS 659931 HAS SOPS 659931 HAS SOUS 334114 HAS SOUPS 334114 WITH SCORE 334773.931
AT ITER 1940 NEW BEST:: SOT 1048348 SOS 659565 HAS SOPS 659565 HAS SOUS 333636 HAS SOUPS 333636 WITH SCORE 334295.565
AT ITER 1942 NEW BEST:: SOT 1048263 SOS 659225 HAS SOPS 659225 HAS SOUS 333466 HAS SOUPS 333466 WITH SCORE 334125.225
AT ITER 1959 NEW BEST:: SOT 1048204 SOS 658779 HAS SOPS 658779 HAS SOUS 333303 HAS SOUPS 333303 WITH SCORE 333961.779
AT ITER 1967 NEW BEST:: SOT 1046672 SOS 657247 HAS SOPS 657247 HAS SOUS 331771 HAS SOUPS 331771 WITH SCORE 332428.247
AT ITER 1968 NEW BEST:: SOT 1046568 SOS 656905 HAS SOPS 656905 HAS SOUS 331444 HAS SOUPS 331444 WITH SCORE 332100.905
AT ITER 1971 NEW BEST:: SOT 1046455 SOS 656882 HAS SOPS 656882 HAS SOUS 331350 HAS SOUPS 331350 WITH SCORE 332006.882
AT ITER 1983 NEW BEST:: SOT 1046413 SOS 656873 HAS SOPS 656873 HAS SOUS 331332 HAS SOUPS 331332 WITH SCORE 331988.873
AT ITER 1985 NEW BEST:: SOT 1046292 SOS 656241 HAS SOPS 656241 HAS SOUS 331276 HAS SOUPS 331276 WITH SCORE 331932.241
AT ITER 1991 NEW BEST:: SOT 1046272 SOS 656081 HAS SOPS 656081 HAS SOUS 331228 HAS SOUPS 331228 WITH SCORE 331884.081
AT ITER 1993 NEW BEST:: SOT 1046271 SOS 656080 HAS SOPS 656080 HAS SOUS 331226 HAS SOUPS 331226 WITH SCORE 331882.08
AT ITER 1995 NEW BEST:: SOT 1046176 SOS 655895 HAS SOPS 655895 HAS SOUS 331017 HAS SOUPS 331017 WITH SCORE 331672.895
AT ITER 1998 NEW BEST:: SOT 1046234 SOS 655780 HAS SOPS 655780 HAS SOUS 331017 HAS SOUPS 331017 WITH SCORE 331672.78
AT ITER 2012 NEW BEST:: SOT 1045778 SOS 655324 HAS SOPS 655324 HAS SOUS 330561 HAS SOUPS 330561 WITH SCORE 331216.324
AT ITER 2017 NEW BEST:: SOT 1045856 SOS 655402 HAS SOPS 655402 HAS SOUS 329866 HAS SOUPS 329866 WITH SCORE 330521.402
AT ITER 2027 NEW BEST:: SOT 1045856 SOS 655001 HAS SOPS 655001 HAS SOUS 329784 HAS SOUPS 329784 WITH SCORE 330439.001
AT ITER 2046 NEW BEST:: SOT 1046155 SOS 655684 HAS SOPS 655684 HAS SOUS 329611 HAS SOUPS 329611 WITH SCORE 330266.684
AT ITER 2057 NEW BEST:: SOT 1046300 SOS 656779 HAS SOPS 656779 HAS SOUS 329364 HAS SOUPS 329364 WITH SCORE 330020.779
AT ITER 2062 NEW BEST:: SOT 1046501 SOS 656980 HAS SOPS 656980 HAS SOUS 329237 HAS SOUPS 329237 WITH SCORE 329893.98
AT ITER 2063 NEW BEST:: SOT 1046500 SOS 656311 HAS SOPS 656311 HAS SOUS 328901 HAS SOUPS 328901 WITH SCORE 329557.311
AT ITER 2068 NEW BEST:: SOT 1046250 SOS 656090 HAS SOPS 656090 HAS SOUS 328224 HAS SOUPS 328224 WITH SCORE 328880.09
AT ITER 2075 NEW BEST:: SOT 1046250 SOS 656077 HAS SOPS 656077 HAS SOUS 328223 HAS SOUPS 328223 WITH SCORE 328879.077
AT ITER 2079 NEW BEST:: SOT 1044667 SOS 654084 HAS SOPS 654084 HAS SOUS 326230 HAS SOUPS 326230 WITH SCORE 326884.084
AT ITER 2091 NEW BEST:: SOT 1040660 SOS 650077 HAS SOPS 650077 HAS SOUS 322223 HAS SOUPS 322223 WITH SCORE 322873.077
AT ITER 2095 NEW BEST:: SOT 1040660 SOS 650062 HAS SOPS 650062 HAS SOUS 322193 HAS SOUPS 322193 WITH SCORE 322843.062
AT ITER 2097 NEW BEST:: SOT 1040660 SOS 650008 HAS SOPS 650008 HAS SOUS 322193 HAS SOUPS 322193 WITH SCORE 322843.008
AT ITER 2104 NEW BEST:: SOT 1040659 SOS 648100 HAS SOPS 648100 HAS SOUS 322191 HAS SOUPS 322191 WITH SCORE 322839.1
AT ITER 2105 NEW BEST:: SOT 1040544 SOS 647682 HAS SOPS 647682 HAS SOUS 321961 HAS SOUPS 321961 WITH SCORE 322608.682
AT ITER 2112 NEW BEST:: SOT 1040241 SOS 647379 HAS SOPS 647379 HAS SOUS 321650 HAS SOUPS 321650 WITH SCORE 322297.379
AT ITER 2119 NEW BEST:: SOT 1037360 SOS 644251 HAS SOPS 644251 HAS SOUS 318729 HAS SOUPS 318729 WITH SCORE 319373.251
AT ITER 2137 NEW BEST:: SOT 1035475 SOS 642361 HAS SOPS 642361 HAS SOUS 316483 HAS SOUPS 316483 WITH SCORE 317125.361
AT ITER 2138 NEW BEST:: SOT 1034917 SOS 641796 HAS SOPS 641796 HAS SOUS 315917 HAS SOUPS 315917 WITH SCORE 316558.796
AT ITER 2150 NEW BEST:: SOT 1035508 SOS 641608 HAS SOPS 641608 HAS SOUS 315882 HAS SOUPS 315882 WITH SCORE 316523.608
AT ITER 2193 NEW BEST:: SOT 1035378 SOS 641478 HAS SOPS 641478 HAS SOUS 315597 HAS SOUPS 315597 WITH SCORE 316238.478
AT ITER 2194 NEW BEST:: SOT 1035225 SOS 640796 HAS SOPS 640796 HAS SOUS 315269 HAS SOUPS 315269 WITH SCORE 315909.796
AT ITER 2200 NEW BEST:: SOT 1035223 SOS 640794 HAS SOPS 640794 HAS SOUS 315267 HAS SOUPS 315267 WITH SCORE 315907.794
AT ITER 2210 NEW BEST:: SOT 1035211 SOS 640580 HAS SOPS 640580 HAS SOUS 315053 HAS SOUPS 315053 WITH SCORE 315693.58
AT ITER 2219 NEW BEST:: SOT 1034885 SOS 638510 HAS SOPS 638510 HAS SOUS 314972 HAS SOUPS 314972 WITH SCORE 315610.51
AT ITER 2233 NEW BEST:: SOT 1034902 SOS 638214 HAS SOPS 638214 HAS SOUS 314540 HAS SOUPS 314540 WITH SCORE 315178.214
AT ITER 2244 NEW BEST:: SOT 1034902 SOS 638203 HAS SOPS 638203 HAS SOUS 314540 HAS SOUPS 314540 WITH SCORE 315178.203
AT ITER 2245 NEW BEST:: SOT 1034796 SOS 638094 HAS SOPS 638094 HAS SOUS 314431 HAS SOUPS 314431 WITH SCORE 315069.094
AT ITER 2258 NEW BEST:: SOT 1034616 SOS 636961 HAS SOPS 636961 HAS SOUS 314223 HAS SOUPS 314223 WITH SCORE 314859.961
AT ITER 2260 NEW BEST:: SOT 1034594 SOS 636795 HAS SOPS 636795 HAS SOUS 313861 HAS SOUPS 313861 WITH SCORE 314497.795
AT ITER 2263 NEW BEST:: SOT 1032268 SOS 637083 HAS SOPS 637083 HAS SOUS 312170 HAS SOUPS 312170 WITH SCORE 312807.083
AT ITER 2269 NEW BEST:: SOT 1032268 SOS 636898 HAS SOPS 636898 HAS SOUS 311972 HAS SOUPS 311972 WITH SCORE 312608.898
AT ITER 2292 NEW BEST:: SOT 1032267 SOS 636897 HAS SOPS 636897 HAS SOUS 311970 HAS SOUPS 311970 WITH SCORE 312606.897
AT ITER 2296 NEW BEST:: SOT 1032173 SOS 636803 HAS SOPS 636803 HAS SOUS 311876 HAS SOUPS 311876 WITH SCORE 312512.803
AT ITER 2299 NEW BEST:: SOT 1032165 SOS 636775 HAS SOPS 636775 HAS SOUS 311864 HAS SOUPS 311864 WITH SCORE 312500.775
AT ITER 2317 NEW BEST:: SOT 1031908 SOS 636004 HAS SOPS 636004 HAS SOUS 311420 HAS SOUPS 311420 WITH SCORE 312056.004
AT ITER 2333 NEW BEST:: SOT 1031908 SOS 636467 HAS SOPS 636467 HAS SOUS 311196 HAS SOUPS 311196 WITH SCORE 311832.467
AT ITER 2354 NEW BEST:: SOT 1031515 SOS 635080 HAS SOPS 635080 HAS SOUS 311079 HAS SOUPS 311079 WITH SCORE 311714.08
AT ITER 2360 NEW BEST:: SOT 1031401 SOS 635300 HAS SOPS 635300 HAS SOUS 310827 HAS SOUPS 310827 WITH SCORE 311462.3
AT ITER 2378 NEW BEST:: SOT 1031401 SOS 635035 HAS SOPS 635035 HAS SOUS 310570 HAS SOUPS 310570 WITH SCORE 311205.035
AT ITER 2391 NEW BEST:: SOT 1031401 SOS 635557 HAS SOPS 635557 HAS SOUS 310560 HAS SOUPS 310560 WITH SCORE 311195.557
AT ITER 2398 NEW BEST:: SOT 1031180 SOS 635336 HAS SOPS 635336 HAS SOUS 310560 HAS SOUPS 310560 WITH SCORE 311195.336
AT ITER 2406 NEW BEST:: SOT 1031255 SOS 635486 HAS SOPS 635486 HAS SOUS 310556 HAS SOUPS 310556 WITH SCORE 311191.486
AT ITER 2417 NEW BEST:: SOT 1030936 SOS 635167 HAS SOPS 635167 HAS SOUS 310026 HAS SOUPS 310026 WITH SCORE 310661.167
AT ITER 2420 NEW BEST:: SOT 1031081 SOS 634991 HAS SOPS 634991 HAS SOUS 309850 HAS SOUPS 309850 WITH SCORE 310484.991
AT ITER 2438 NEW BEST:: SOT 1030819 SOS 634626 HAS SOPS 634626 HAS SOUS 309039 HAS SOUPS 309039 WITH SCORE 309673.626
AT ITER 2454 NEW BEST:: SOT 1030356 SOS 634163 HAS SOPS 634163 HAS SOUS 308568 HAS SOUPS 308568 WITH SCORE 309202.163
AT ITER 2466 NEW BEST:: SOT 1030356 SOS 634147 HAS SOPS 634147 HAS SOUS 308563 HAS SOUPS 308563 WITH SCORE 309197.147
AT ITER 2481 NEW BEST:: SOT 1030356 SOS 633834 HAS SOPS 633834 HAS SOUS 308515 HAS SOUPS 308515 WITH SCORE 309148.834
AT ITER 2484 NEW BEST:: SOT 1029993 SOS 633034 HAS SOPS 633034 HAS SOUS 308000 HAS SOUPS 308000 WITH SCORE 308633.034
AT ITER 2491 NEW BEST:: SOT 1029992 SOS 633033 HAS SOPS 633033 HAS SOUS 307999 HAS SOUPS 307999 WITH SCORE 308632.033
AT ITER 2507 NEW BEST:: SOT 1028898 SOS 631939 HAS SOPS 631939 HAS SOUS 306905 HAS SOUPS 306905 WITH SCORE 307536.939
AT ITER 2523 NEW BEST:: SOT 1028811 SOS 631725 HAS SOPS 631725 HAS SOUS 306686 HAS SOUPS 306686 WITH SCORE 307317.725
AT ITER 2539 NEW BEST:: SOT 1028814 SOS 631530 HAS SOPS 631530 HAS SOUS 306658 HAS SOUPS 306658 WITH SCORE 307289.53
AT ITER 2559 NEW BEST:: SOT 1028974 SOS 630509 HAS SOPS 630509 HAS SOUS 306397 HAS SOUPS 306397 WITH SCORE 307027.509
AT ITER 2575 NEW BEST:: SOT 1028877 SOS 630346 HAS SOPS 630346 HAS SOUS 306301 HAS SOUPS 306301 WITH SCORE 306931.346
AT ITER 2588 NEW BEST:: SOT 1028917 SOS 629497 HAS SOPS 629497 HAS SOUS 306293 HAS SOUPS 306293 WITH SCORE 306922.497
AT ITER 2595 NEW BEST:: SOT 1028917 SOS 629350 HAS SOPS 629350 HAS SOUS 306292 HAS SOUPS 306292 WITH SCORE 306921.35
AT ITER 2608 NEW BEST:: SOT 1019446 SOS 619879 HAS SOPS 619879 HAS SOUS 296820 HAS SOUPS 296820 WITH SCORE 297439.879
AT ITER 2610 NEW BEST:: SOT 1018890 SOS 619555 HAS SOPS 619555 HAS SOUS 296233 HAS SOUPS 296233 WITH SCORE 296852.555
AT ITER 2624 NEW BEST:: SOT 1018877 SOS 619542 HAS SOPS 619542 HAS SOUS 296220 HAS SOUPS 296220 WITH SCORE 296839.542
AT ITER 2626 NEW BEST:: SOT 1018958 SOS 618576 HAS SOPS 618576 HAS SOUS 295903 HAS SOUPS 295903 WITH SCORE 296521.576
AT ITER 2639 NEW BEST:: SOT 1018897 SOS 618361 HAS SOPS 618361 HAS SOUS 295513 HAS SOUPS 295513 WITH SCORE 296131.361
AT ITER 2652 NEW BEST:: SOT 1018420 SOS 617558 HAS SOPS 617558 HAS SOUS 294875 HAS SOUPS 294875 WITH SCORE 295492.558
AT ITER 2667 NEW BEST:: SOT 1018285 SOS 616748 HAS SOPS 616748 HAS SOUS 294605 HAS SOUPS 294605 WITH SCORE 295221.748
AT ITER 2679 NEW BEST:: SOT 1018257 SOS 616510 HAS SOPS 616510 HAS SOUS 294553 HAS SOUPS 294553 WITH SCORE 295169.51
AT ITER 2688 NEW BEST:: SOT 1018254 SOS 616504 HAS SOPS 616504 HAS SOUS 294547 HAS SOUPS 294547 WITH SCORE 295163.504
AT ITER 2694 NEW BEST:: SOT 1018246 SOS 616253 HAS SOPS 616253 HAS SOUS 294424 HAS SOUPS 294424 WITH SCORE 295040.253
AT ITER 2695 NEW BEST:: SOT 1018234 SOS 616217 HAS SOPS 616217 HAS SOUS 294400 HAS SOUPS 294400 WITH SCORE 295016.217
AT ITER 2700 NEW BEST:: SOT 1018526 SOS 616485 HAS SOPS 616485 HAS SOUS 294390 HAS SOUPS 294390 WITH SCORE 295006.485
AT ITER 2713 NEW BEST:: SOT 1018520 SOS 616479 HAS SOPS 616479 HAS SOUS 294378 HAS SOUPS 294378 WITH SCORE 294994.479
AT ITER 2718 NEW BEST:: SOT 1019570 SOS 617594 HAS SOPS 617594 HAS SOUS 294348 HAS SOUPS 294348 WITH SCORE 294965.594
AT ITER 2728 NEW BEST:: SOT 1019507 SOS 617531 HAS SOPS 617531 HAS SOUS 294262 HAS SOUPS 294262 WITH SCORE 294879.531
AT ITER 2731 NEW BEST:: SOT 1019458 SOS 617753 HAS SOPS 617753 HAS SOUS 294216 HAS SOUPS 294216 WITH SCORE 294833.753
AT ITER 2737 NEW BEST:: SOT 1019405 SOS 617616 HAS SOPS 617616 HAS SOUS 294100 HAS SOUPS 294100 WITH SCORE 294717.616
AT ITER 2743 NEW BEST:: SOT 1019145 SOS 617573 HAS SOPS 617573 HAS SOUS 293284 HAS SOUPS 293284 WITH SCORE 293901.573
AT ITER 2746 NEW BEST:: SOT 1018971 SOS 617399 HAS SOPS 617399 HAS SOUS 293087 HAS SOUPS 293087 WITH SCORE 293704.399
AT ITER 2753 NEW BEST:: SOT 1018678 SOS 616813 HAS SOPS 616813 HAS SOUS 292794 HAS SOUPS 292794 WITH SCORE 293410.813
AT ITER 2769 NEW BEST:: SOT 1018657 SOS 616756 HAS SOPS 616756 HAS SOUS 292782 HAS SOUPS 292782 WITH SCORE 293398.756
AT ITER 2778 NEW BEST:: SOT 1018449 SOS 614380 HAS SOPS 614380 HAS SOUS 292086 HAS SOUPS 292086 WITH SCORE 292700.38
AT ITER 2788 NEW BEST:: SOT 1018379 SOS 614310 HAS SOPS 614310 HAS SOUS 292037 HAS SOUPS 292037 WITH SCORE 292651.31
AT ITER 2798 NEW BEST:: SOT 1018224 SOS 614155 HAS SOPS 614155 HAS SOUS 291965 HAS SOUPS 291965 WITH SCORE 292579.155
AT ITER 2799 NEW BEST:: SOT 1018307 SOS 614150 HAS SOPS 614150 HAS SOUS 291960 HAS SOUPS 291960 WITH SCORE 292574.15
AT ITER 2828 NEW BEST:: SOT 1018298 SOS 614628 HAS SOPS 614628 HAS SOUS 291951 HAS SOUPS 291951 WITH SCORE 292565.628
AT ITER 2850 NEW BEST:: SOT 1018297 SOS 614627 HAS SOPS 614627 HAS SOUS 291949 HAS SOUPS 291949 WITH SCORE 292563.627
AT ITER 2852 NEW BEST:: SOT 1018297 SOS 614612 HAS SOPS 614612 HAS SOUS 291949 HAS SOUPS 291949 WITH SCORE 292563.612
AT ITER 2853 NEW BEST:: SOT 1018297 SOS 614294 HAS SOPS 614294 HAS SOUS 291949 HAS SOUPS 291949 WITH SCORE 292563.294
AT ITER 2864 NEW BEST:: SOT 1018242 SOS 614184 HAS SOPS 614184 HAS SOUS 291839 HAS SOUPS 291839 WITH SCORE 292453.184
AT ITER 2880 NEW BEST:: SOT 1018117 SOS 616189 HAS SOPS 616189 HAS SOUS 291762 HAS SOUPS 291762 WITH SCORE 292378.189
AT ITER 2882 NEW BEST:: SOT 1016093 SOS 614502 HAS SOPS 614502 HAS SOUS 291653 HAS SOUPS 291653 WITH SCORE 292267.502
AT ITER 2889 NEW BEST:: SOT 1015914 SOS 613743 HAS SOPS 613743 HAS SOUS 291295 HAS SOUPS 291295 WITH SCORE 291908.743
AT ITER 2902 NEW BEST:: SOT 1015576 SOS 613067 HAS SOPS 613067 HAS SOUS 290619 HAS SOUPS 290619 WITH SCORE 291232.067
AT ITER 2907 NEW BEST:: SOT 1015450 SOS 612758 HAS SOPS 612758 HAS SOUS 290310 HAS SOUPS 290310 WITH SCORE 290922.758
AT ITER 2912 NEW BEST:: SOT 1015445 SOS 612713 HAS SOPS 612713 HAS SOUS 290300 HAS SOUPS 290300 WITH SCORE 290912.713
AT ITER 2920 NEW BEST:: SOT 1015541 SOS 612579 HAS SOPS 612579 HAS SOUS 290297 HAS SOUPS 290297 WITH SCORE 290909.579
AT ITER 2923 NEW BEST:: SOT 1015573 SOS 612539 HAS SOPS 612539 HAS SOUS 290244 HAS SOUPS 290244 WITH SCORE 290856.539
AT ITER 2944 NEW BEST:: SOT 1015553 SOS 612499 HAS SOPS 612499 HAS SOUS 290224 HAS SOUPS 290224 WITH SCORE 290836.499
AT ITER 2945 NEW BEST:: SOT 1014747 SOS 611430 HAS SOPS 611430 HAS SOUS 289154 HAS SOUPS 289154 WITH SCORE 289765.43
AT ITER 2947 NEW BEST:: SOT 1014685 SOS 611087 HAS SOPS 611087 HAS SOUS 288968 HAS SOUPS 288968 WITH SCORE 289579.087
AT ITER 2973 NEW BEST:: SOT 1014657 SOS 611059 HAS SOPS 611059 HAS SOUS 288940 HAS SOUPS 288940 WITH SCORE 289551.059
AT ITER 2978 NEW BEST:: SOT 1014562 SOS 610833 HAS SOPS 610833 HAS SOUS 288940 HAS SOUPS 288940 WITH SCORE 289550.833
AT ITER 2983 NEW BEST:: SOT 1014251 SOS 610543 HAS SOPS 610543 HAS SOUS 288565 HAS SOUPS 288565 WITH SCORE 289175.543
AT ITER 2988 NEW BEST:: SOT 1015124 SOS 611292 HAS SOPS 611292 HAS SOUS 288540 HAS SOUPS 288540 WITH SCORE 289151.292
AT ITER 2990 NEW BEST:: SOT 1015026 SOS 611142 HAS SOPS 611142 HAS SOUS 288479 HAS SOUPS 288479 WITH SCORE 289090.142
AT ITER 3013 NEW BEST:: SOT 1015024 SOS 610984 HAS SOPS 610984 HAS SOUS 288477 HAS SOUPS 288477 WITH SCORE 289087.984
AT ITER 3019 NEW BEST:: SOT 1014755 SOS 610678 HAS SOPS 610678 HAS SOUS 288171 HAS SOUPS 288171 WITH SCORE 288781.678
AT ITER 3023 NEW BEST:: SOT 1014610 SOS 610461 HAS SOPS 610461 HAS SOUS 287954 HAS SOUPS 287954 WITH SCORE 288564.461
AT ITER 3038 NEW BEST:: SOT 1014318 SOS 609558 HAS SOPS 609558 HAS SOUS 287291 HAS SOUPS 287291 WITH SCORE 287900.558
AT ITER 3040 NEW BEST:: SOT 1014306 SOS 609557 HAS SOPS 609557 HAS SOUS 287278 HAS SOUPS 287278 WITH SCORE 287887.557
AT ITER 3044 NEW BEST:: SOT 1014228 SOS 608877 HAS SOPS 608877 HAS SOUS 286751 HAS SOUPS 286751 WITH SCORE 287359.877
AT ITER 3045 NEW BEST:: SOT 1013122 SOS 607980 HAS SOPS 607980 HAS SOUS 285307 HAS SOUPS 285307 WITH SCORE 285914.98
AT ITER 3048 NEW BEST:: SOT 1013022 SOS 607744 HAS SOPS 607744 HAS SOUS 285107 HAS SOUPS 285107 WITH SCORE 285714.744
AT ITER 3053 NEW BEST:: SOT 1012481 SOS 606768 HAS SOPS 606768 HAS SOUS 284340 HAS SOUPS 284340 WITH SCORE 284946.768
AT ITER 3070 NEW BEST:: SOT 1012383 SOS 606678 HAS SOPS 606678 HAS SOUS 284250 HAS SOUPS 284250 WITH SCORE 284856.678
AT ITER 3080 NEW BEST:: SOT 1012431 SOS 606742 HAS SOPS 606742 HAS SOUS 283996 HAS SOUPS 283996 WITH SCORE 284602.742
AT ITER 3085 NEW BEST:: SOT 1012431 SOS 606736 HAS SOPS 606736 HAS SOUS 283990 HAS SOUPS 283990 WITH SCORE 284596.736
AT ITER 3098 NEW BEST:: SOT 1012418 SOS 606723 HAS SOPS 606723 HAS SOUS 283947 HAS SOUPS 283947 WITH SCORE 284553.723
AT ITER 3099 NEW BEST:: SOT 1012372 SOS 604808 HAS SOPS 604808 HAS SOUS 283719 HAS SOUPS 283719 WITH SCORE 284323.808
AT ITER 3108 NEW BEST:: SOT 1012123 SOS 604902 HAS SOPS 604902 HAS SOUS 283700 HAS SOUPS 283700 WITH SCORE 284304.902
AT ITER 3111 NEW BEST:: SOT 1012123 SOS 604894 HAS SOPS 604894 HAS SOUS 283699 HAS SOUPS 283699 WITH SCORE 284303.894
AT ITER 3129 NEW BEST:: SOT 1012123 SOS 604632 HAS SOPS 604632 HAS SOUS 283653 HAS SOUPS 283653 WITH SCORE 284257.632
AT ITER 3141 NEW BEST:: SOT 1012046 SOS 604535 HAS SOPS 604535 HAS SOUS 283537 HAS SOUPS 283537 WITH SCORE 284141.535
AT ITER 3143 NEW BEST:: SOT 1012045 SOS 604534 HAS SOPS 604534 HAS SOUS 283535 HAS SOUPS 283535 WITH SCORE 284139.534
AT ITER 3148 NEW BEST:: SOT 1011717 SOS 604169 HAS SOPS 604169 HAS SOUS 283003 HAS SOUPS 283003 WITH SCORE 283607.169
AT ITER 3174 NEW BEST:: SOT 1011713 SOS 604165 HAS SOPS 604165 HAS SOUS 282999 HAS SOUPS 282999 WITH SCORE 283603.165
AT ITER 3177 NEW BEST:: SOT 1011466 SOS 603918 HAS SOPS 603918 HAS SOUS 282721 HAS SOUPS 282721 WITH SCORE 283324.918
AT ITER 3179 NEW BEST:: SOT 1011432 SOS 603848 HAS SOPS 603848 HAS SOUS 282665 HAS SOUPS 282665 WITH SCORE 283268.848
AT ITER 3185 NEW BEST:: SOT 1011057 SOS 604768 HAS SOPS 604768 HAS SOUS 282407 HAS SOUPS 282407 WITH SCORE 283011.768
AT ITER 3198 NEW BEST:: SOT 1011112 SOS 604501 HAS SOPS 604501 HAS SOUS 282140 HAS SOUPS 282140 WITH SCORE 282744.501
AT ITER 3209 NEW BEST:: SOT 1011112 SOS 604469 HAS SOPS 604469 HAS SOUS 282132 HAS SOUPS 282132 WITH SCORE 282736.469
AT ITER 3211 NEW BEST:: SOT 1011088 SOS 604445 HAS SOPS 604445 HAS SOUS 282108 HAS SOUPS 282108 WITH SCORE 282712.445
AT ITER 3214 NEW BEST:: SOT 1011062 SOS 604419 HAS SOPS 604419 HAS SOUS 282082 HAS SOUPS 282082 WITH SCORE 282686.419
AT ITER 3215 NEW BEST:: SOT 1010869 SOS 604226 HAS SOPS 604226 HAS SOUS 281889 HAS SOUPS 281889 WITH SCORE 282493.226
AT ITER 3216 NEW BEST:: SOT 1006260 SOS 603007 HAS SOPS 603007 HAS SOUS 278374 HAS SOUPS 278374 WITH SCORE 278977.007
AT ITER 3221 NEW BEST:: SOT 1006121 SOS 602868 HAS SOPS 602868 HAS SOUS 278234 HAS SOUPS 278234 WITH SCORE 278836.868
AT ITER 3252 NEW BEST:: SOT 1004914 SOS 601661 HAS SOPS 601661 HAS SOUS 277024 HAS SOUPS 277024 WITH SCORE 277625.661
AT ITER 3254 NEW BEST:: SOT 1004880 SOS 601627 HAS SOPS 601627 HAS SOUS 276956 HAS SOUPS 276956 WITH SCORE 277557.627
AT ITER 3275 NEW BEST:: SOT 1004618 SOS 601365 HAS SOPS 601365 HAS SOUS 276694 HAS SOUPS 276694 WITH SCORE 277295.365
AT ITER 3282 NEW BEST:: SOT 1004554 SOS 601301 HAS SOPS 601301 HAS SOUS 276630 HAS SOUPS 276630 WITH SCORE 277231.301
AT ITER 3298 NEW BEST:: SOT 1004554 SOS 601115 HAS SOPS 601115 HAS SOUS 276444 HAS SOUPS 276444 WITH SCORE 277045.115
AT ITER 3302 NEW BEST:: SOT 1004554 SOS 601195 HAS SOPS 601195 HAS SOUS 276346 HAS SOUPS 276346 WITH SCORE 276947.195
AT ITER 3311 NEW BEST:: SOT 1004548 SOS 601161 HAS SOPS 601161 HAS SOUS 276334 HAS SOUPS 276334 WITH SCORE 276935.161
AT ITER 3312 NEW BEST:: SOT 1004491 SOS 601047 HAS SOPS 601047 HAS SOUS 276220 HAS SOUPS 276220 WITH SCORE 276821.047
AT ITER 3313 NEW BEST:: SOT 1004443 SOS 600951 HAS SOPS 600951 HAS SOUS 276028 HAS SOUPS 276028 WITH SCORE 276628.951
AT ITER 3323 NEW BEST:: SOT 1004285 SOS 600677 HAS SOPS 600677 HAS SOUS 275912 HAS SOUPS 275912 WITH SCORE 276512.677
AT ITER 3326 NEW BEST:: SOT 1004231 SOS 600614 HAS SOPS 600614 HAS SOUS 275849 HAS SOUPS 275849 WITH SCORE 276449.614
AT ITER 3328 NEW BEST:: SOT 1004231 SOS 600636 HAS SOPS 600636 HAS SOUS 275820 HAS SOUPS 275820 WITH SCORE 276420.636
AT ITER 3339 NEW BEST:: SOT 1004231 SOS 602472 HAS SOPS 602472 HAS SOUS 275811 HAS SOUPS 275811 WITH SCORE 276413.472
AT ITER 3344 NEW BEST:: SOT 1003613 SOS 601654 HAS SOPS 601654 HAS SOUS 274861 HAS SOUPS 274861 WITH SCORE 275462.654
AT ITER 3376 NEW BEST:: SOT 1003607 SOS 601648 HAS SOPS 601648 HAS SOUS 274842 HAS SOUPS 274842 WITH SCORE 275443.648
AT ITER 3380 NEW BEST:: SOT 1002481 SOS 600228 HAS SOPS 600228 HAS SOUS 274100 HAS SOUPS 274100 WITH SCORE 274700.228
AT ITER 3419 NEW BEST:: SOT 1002416 SOS 600151 HAS SOPS 600151 HAS SOUS 274013 HAS SOUPS 274013 WITH SCORE 274613.151
AT ITER 3428 NEW BEST:: SOT 1002196 SOS 599821 HAS SOPS 599821 HAS SOUS 273683 HAS SOUPS 273683 WITH SCORE 274282.821
AT ITER 3447 NEW BEST:: SOT 1002148 SOS 599725 HAS SOPS 599725 HAS SOUS 273587 HAS SOUPS 273587 WITH SCORE 274186.725
AT ITER 3448 NEW BEST:: SOT 1001985 SOS 599490 HAS SOPS 599490 HAS SOUS 273398 HAS SOUPS 273398 WITH SCORE 273997.49
AT ITER 3451 NEW BEST:: SOT 1001458 SOS 599152 HAS SOPS 599152 HAS SOUS 273353 HAS SOUPS 273353 WITH SCORE 273952.152
AT ITER 3453 NEW BEST:: SOT 1001219 SOS 598925 HAS SOPS 598925 HAS SOUS 273122 HAS SOUPS 273122 WITH SCORE 273720.925
AT ITER 3454 NEW BEST:: SOT 1000908 SOS 598490 HAS SOPS 598490 HAS SOUS 272687 HAS SOUPS 272687 WITH SCORE 273285.49
AT ITER 3459 NEW BEST:: SOT 1000803 SOS 598385 HAS SOPS 598385 HAS SOUS 272582 HAS SOUPS 272582 WITH SCORE 273180.385
AT ITER 3464 NEW BEST:: SOT 1001484 SOS 598677 HAS SOPS 598677 HAS SOUS 271943 HAS SOUPS 271943 WITH SCORE 272541.677
AT ITER 3492 NEW BEST:: SOT 1001242 SOS 600217 HAS SOPS 600217 HAS SOUS 271730 HAS SOUPS 271730 WITH SCORE 272330.217
AT ITER 3509 NEW BEST:: SOT 1001152 SOS 600123 HAS SOPS 600123 HAS SOUS 271550 HAS SOUPS 271550 WITH SCORE 272150.123
AT ITER 3528 NEW BEST:: SOT 1000868 SOS 599666 HAS SOPS 599666 HAS SOUS 270768 HAS SOUPS 270768 WITH SCORE 271367.666
AT ITER 3529 NEW BEST:: SOT 1000863 SOS 600424 HAS SOPS 600424 HAS SOUS 270766 HAS SOUPS 270766 WITH SCORE 271366.424
AT ITER 3565 NEW BEST:: SOT 1000863 SOS 600424 HAS SOPS 600424 HAS SOUS 270690 HAS SOUPS 270690 WITH SCORE 271290.424
AT ITER 3566 NEW BEST:: SOT 1000368 SOS 601978 HAS SOPS 601978 HAS SOUS 270382 HAS SOUPS 270382 WITH SCORE 270983.978
AT ITER 3576 NEW BEST:: SOT 1000368 SOS 601978 HAS SOPS 601978 HAS SOUS 270338 HAS SOUPS 270338 WITH SCORE 270939.978
AT ITER 3593 NEW BEST:: SOT 1000368 SOS 601920 HAS SOPS 601920 HAS SOUS 270306 HAS SOUPS 270306 WITH SCORE 270907.92
AT ITER 3597 NEW BEST:: SOT 1000305 SOS 601864 HAS SOPS 601864 HAS SOUS 270292 HAS SOUPS 270292 WITH SCORE 270893.864
AT ITER 3601 NEW BEST:: SOT 1000413 SOS 600907 HAS SOPS 600907 HAS SOUS 270106 HAS SOUPS 270106 WITH SCORE 270706.907
AT ITER 3604 NEW BEST:: SOT 1000332 SOS 599851 HAS SOPS 599851 HAS SOUS 270093 HAS SOUPS 270093 WITH SCORE 270692.851
AT ITER 3624 NEW BEST:: SOT 1000332 SOS 600158 HAS SOPS 600158 HAS SOUS 269761 HAS SOUPS 269761 WITH SCORE 270361.158
AT ITER 3664 NEW BEST:: SOT 1000177 SOS 600003 HAS SOPS 600003 HAS SOUS 269606 HAS SOUPS 269606 WITH SCORE 270206.003
AT ITER 3677 NEW BEST:: SOT 999765 SOS 599591 HAS SOPS 599591 HAS SOUS 269158 HAS SOUPS 269158 WITH SCORE 269757.591
AT ITER 3689 NEW BEST:: SOT 999488 SOS 599276 HAS SOPS 599276 HAS SOUS 268660 HAS SOUPS 268660 WITH SCORE 269259.276
AT ITER 3694 NEW BEST:: SOT 999373 SOS 599239 HAS SOPS 599239 HAS SOUS 268623 HAS SOUPS 268623 WITH SCORE 269222.239
AT ITER 3702 NEW BEST:: SOT 999356 SOS 599222 HAS SOPS 599222 HAS SOUS 268606 HAS SOUPS 268606 WITH SCORE 269205.222
AT ITER 3707 NEW BEST:: SOT 999228 SOS 599094 HAS SOPS 599094 HAS SOUS 268478 HAS SOUPS 268478 WITH SCORE 269077.094
AT ITER 3728 NEW BEST:: SOT 999291 SOS 599157 HAS SOPS 599157 HAS SOUS 268460 HAS SOUPS 268460 WITH SCORE 269059.157
AT ITER 3745 NEW BEST:: SOT 999256 SOS 599087 HAS SOPS 599087 HAS SOUS 268390 HAS SOUPS 268390 WITH SCORE 268989.087
AT ITER 3753 NEW BEST:: SOT 999305 SOS 598918 HAS SOPS 598918 HAS SOUS 268386 HAS SOUPS 268386 WITH SCORE 268984.918
AT ITER 3758 NEW BEST:: SOT 999305 SOS 598911 HAS SOPS 598911 HAS SOUS 268379 HAS SOUPS 268379 WITH SCORE 268977.911
AT ITER 3762 NEW BEST:: SOT 999178 SOS 598490 HAS SOPS 598490 HAS SOUS 268011 HAS SOUPS 268011 WITH SCORE 268609.49
AT ITER 3766 NEW BEST:: SOT 998653 SOS 597538 HAS SOPS 597538 HAS SOUS 267256 HAS SOUPS 267256 WITH SCORE 267853.538
AT ITER 3775 NEW BEST:: SOT 998534 SOS 597419 HAS SOPS 597419 HAS SOUS 267046 HAS SOUPS 267046 WITH SCORE 267643.419
AT ITER 3777 NEW BEST:: SOT 998456 SOS 597341 HAS SOPS 597341 HAS SOUS 266968 HAS SOUPS 266968 WITH SCORE 267565.341
AT ITER 3784 NEW BEST:: SOT 998062 SOS 596790 HAS SOPS 596790 HAS SOUS 266410 HAS SOUPS 266410 WITH SCORE 267006.79
AT ITER 3790 NEW BEST:: SOT 997906 SOS 596656 HAS SOPS 596656 HAS SOUS 266098 HAS SOUPS 266098 WITH SCORE 266694.656
AT ITER 3793 NEW BEST:: SOT 997906 SOS 595147 HAS SOPS 595147 HAS SOUS 266063 HAS SOUPS 266063 WITH SCORE 266658.147
AT ITER 3799 NEW BEST:: SOT 997690 SOS 594439 HAS SOPS 594439 HAS SOUS 265631 HAS SOUPS 265631 WITH SCORE 266225.439
AT ITER 3818 NEW BEST:: SOT 997574 SOS 594294 HAS SOPS 594294 HAS SOUS 265486 HAS SOUPS 265486 WITH SCORE 266080.294
AT ITER 3830 NEW BEST:: SOT 997568 SOS 594112 HAS SOPS 594112 HAS SOUS 265348 HAS SOUPS 265348 WITH SCORE 265942.112
AT ITER 3831 NEW BEST:: SOT 997473 SOS 594017 HAS SOPS 594017 HAS SOUS 265253 HAS SOUPS 265253 WITH SCORE 265847.017
AT ITER 3832 NEW BEST:: SOT 997474 SOS 594018 HAS SOPS 594018 HAS SOUS 265251 HAS SOUPS 265251 WITH SCORE 265845.018
AT ITER 3842 NEW BEST:: SOT 997432 SOS 593936 HAS SOPS 593936 HAS SOUS 265169 HAS SOUPS 265169 WITH SCORE 265762.936
AT ITER 3844 NEW BEST:: SOT 997432 SOS 593910 HAS SOPS 593910 HAS SOUS 265169 HAS SOUPS 265169 WITH SCORE 265762.91
AT ITER 3846 NEW BEST:: SOT 997273 SOS 593530 HAS SOPS 593530 HAS SOUS 264819 HAS SOUPS 264819 WITH SCORE 265412.53
AT ITER 3851 NEW BEST:: SOT 997254 SOS 593511 HAS SOPS 593511 HAS SOUS 264781 HAS SOUPS 264781 WITH SCORE 265374.511
AT ITER 3870 NEW BEST:: SOT 997124 SOS 593366 HAS SOPS 593366 HAS SOUS 264729 HAS SOUPS 264729 WITH SCORE 265322.366
AT ITER 3881 NEW BEST:: SOT 996913 SOS 592742 HAS SOPS 592742 HAS SOUS 264191 HAS SOUPS 264191 WITH SCORE 264783.742
AT ITER 3891 NEW BEST:: SOT 996913 SOS 592546 HAS SOPS 592546 HAS SOUS 263995 HAS SOUPS 263995 WITH SCORE 264587.546
AT ITER 3897 NEW BEST:: SOT 996921 SOS 592554 HAS SOPS 592554 HAS SOUS 263916 HAS SOUPS 263916 WITH SCORE 264508.554
AT ITER 3910 NEW BEST:: SOT 996921 SOS 592522 HAS SOPS 592522 HAS SOUS 263916 HAS SOUPS 263916 WITH SCORE 264508.522
AT ITER 3912 NEW BEST:: SOT 996892 SOS 592493 HAS SOPS 592493 HAS SOUS 263887 HAS SOUPS 263887 WITH SCORE 264479.493
AT ITER 3933 NEW BEST:: SOT 996873 SOS 592450 HAS SOPS 592450 HAS SOUS 263866 HAS SOUPS 263866 WITH SCORE 264458.45
AT ITER 3936 NEW BEST:: SOT 996873 SOS 592478 HAS SOPS 592478 HAS SOUS 263754 HAS SOUPS 263754 WITH SCORE 264346.478
AT ITER 3945 NEW BEST:: SOT 996257 SOS 591456 HAS SOPS 591456 HAS SOUS 263724 HAS SOUPS 263724 WITH SCORE 264315.456
AT ITER 3952 NEW BEST:: SOT 996263 SOS 591462 HAS SOPS 591462 HAS SOUS 263712 HAS SOUPS 263712 WITH SCORE 264303.462
AT ITER 3956 NEW BEST:: SOT 996262 SOS 591461 HAS SOPS 591461 HAS SOUS 263711 HAS SOUPS 263711 WITH SCORE 264302.461
AT ITER 3962 NEW BEST:: SOT 996258 SOS 591687 HAS SOPS 591687 HAS SOUS 263709 HAS SOUPS 263709 WITH SCORE 264300.687
AT ITER 3967 NEW BEST:: SOT 996233 SOS 591662 HAS SOPS 591662 HAS SOUS 263683 HAS SOUPS 263683 WITH SCORE 264274.662
AT ITER 3970 NEW BEST:: SOT 996215 SOS 591773 HAS SOPS 591773 HAS SOUS 263620 HAS SOUPS 263620 WITH SCORE 264211.773
AT ITER 3973 NEW BEST:: SOT 996215 SOS 591686 HAS SOPS 591686 HAS SOUS 263562 HAS SOUPS 263562 WITH SCORE 264153.686
AT ITER 3979 NEW BEST:: SOT 996165 SOS 591636 HAS SOPS 591636 HAS SOUS 263512 HAS SOUPS 263512 WITH SCORE 264103.636
AT ITER 3988 NEW BEST:: SOT 996165 SOS 591870 HAS SOPS 591870 HAS SOUS 263473 HAS SOUPS 263473 WITH SCORE 264064.87
AT ITER 4002 NEW BEST:: SOT 996165 SOS 591870 HAS SOPS 591870 HAS SOUS 263450 HAS SOUPS 263450 WITH SCORE 264041.87
AT ITER 4024 NEW BEST:: SOT 996165 SOS 591879 HAS SOPS 591879 HAS SOUS 263441 HAS SOUPS 263441 WITH SCORE 264032.879
AT ITER 4034 NEW BEST:: SOT 996301 SOS 591814 HAS SOPS 591814 HAS SOUS 263376 HAS SOUPS 263376 WITH SCORE 263967.814
AT ITER 4035 NEW BEST:: SOT 995995 SOS 591126 HAS SOPS 591126 HAS SOUS 262764 HAS SOUPS 262764 WITH SCORE 263355.126
AT ITER 4048 NEW BEST:: SOT 995899 SOS 591060 HAS SOPS 591060 HAS SOUS 262731 HAS SOUPS 262731 WITH SCORE 263322.06
AT ITER 4086 NEW BEST:: SOT 995823 SOS 590918 HAS SOPS 590918 HAS SOUS 262579 HAS SOUPS 262579 WITH SCORE 263169.918
AT ITER 4114 NEW BEST:: SOT 995823 SOS 590910 HAS SOPS 590910 HAS SOUS 262578 HAS SOUPS 262578 WITH SCORE 263168.91
AT ITER 4124 NEW BEST:: SOT 995823 SOS 590910 HAS SOPS 590910 HAS SOUS 262482 HAS SOUPS 262482 WITH SCORE 263072.91
AT ITER 4125 NEW BEST:: SOT 995717 SOS 590693 HAS SOPS 590693 HAS SOUS 262265 HAS SOUPS 262265 WITH SCORE 262855.693
AT ITER 4131 NEW BEST:: SOT 995972 SOS 591055 HAS SOPS 591055 HAS SOUS 262168 HAS SOUPS 262168 WITH SCORE 262759.055
AT ITER 4132 NEW BEST:: SOT 995860 SOS 590831 HAS SOPS 590831 HAS SOUS 261944 HAS SOUPS 261944 WITH SCORE 262534.831
AT ITER 4136 NEW BEST:: SOT 995746 SOS 590831 HAS SOPS 590831 HAS SOUS 261887 HAS SOUPS 261887 WITH SCORE 262477.831
AT ITER 4137 NEW BEST:: SOT 995704 SOS 590795 HAS SOPS 590795 HAS SOUS 261851 HAS SOUPS 261851 WITH SCORE 262441.795
AT ITER 4147 NEW BEST:: SOT 995581 SOS 590394 HAS SOPS 590394 HAS SOUS 261821 HAS SOUPS 261821 WITH SCORE 262411.394
AT ITER 4170 NEW BEST:: SOT 995483 SOS 590346 HAS SOPS 590346 HAS SOUS 261442 HAS SOUPS 261442 WITH SCORE 262032.346
AT ITER 4171 NEW BEST:: SOT 995385 SOS 590216 HAS SOPS 590216 HAS SOUS 261312 HAS SOUPS 261312 WITH SCORE 261902.216
AT ITER 4213 NEW BEST:: SOT 995365 SOS 590196 HAS SOPS 590196 HAS SOUS 261275 HAS SOUPS 261275 WITH SCORE 261865.196
AT ITER 4238 NEW BEST:: SOT 995184 SOS 589930 HAS SOPS 589930 HAS SOUS 261009 HAS SOUPS 261009 WITH SCORE 261598.93
AT ITER 4245 NEW BEST:: SOT 995247 SOS 589983 HAS SOPS 589983 HAS SOUS 260999 HAS SOUPS 260999 WITH SCORE 261588.983
AT ITER 4246 NEW BEST:: SOT 995079 SOS 589815 HAS SOPS 589815 HAS SOUS 260831 HAS SOUPS 260831 WITH SCORE 261420.815
AT ITER 4268 NEW BEST:: SOT 995079 SOS 589865 HAS SOPS 589865 HAS SOUS 260821 HAS SOUPS 260821 WITH SCORE 261410.865
AT ITER 4291 NEW BEST:: SOT 994920 SOS 590528 HAS SOPS 590528 HAS SOUS 260796 HAS SOUPS 260796 WITH SCORE 261386.528
AT ITER 4314 NEW BEST:: SOT 994814 SOS 589519 HAS SOPS 589519 HAS SOUS 260690 HAS SOUPS 260690 WITH SCORE 261279.519
AT ITER 4318 NEW BEST:: SOT 994773 SOS 589552 HAS SOPS 589552 HAS SOUS 260689 HAS SOUPS 260689 WITH SCORE 261278.552
AT ITER 4325 NEW BEST:: SOT 994216 SOS 588963 HAS SOPS 588963 HAS SOUS 259919 HAS SOUPS 259919 WITH SCORE 260507.963
AT ITER 4332 NEW BEST:: SOT 994216 SOS 588624 HAS SOPS 588624 HAS SOUS 259580 HAS SOUPS 259580 WITH SCORE 260168.624
AT ITER 4347 NEW BEST:: SOT 994175 SOS 588583 HAS SOPS 588583 HAS SOUS 259580 HAS SOUPS 259580 WITH SCORE 260168.583
AT ITER 4360 NEW BEST:: SOT 994237 SOS 588645 HAS SOPS 588645 HAS SOUS 259546 HAS SOUPS 259546 WITH SCORE 260134.645
AT ITER 4387 NEW BEST:: SOT 994242 SOS 588598 HAS SOPS 588598 HAS SOUS 259499 HAS SOUPS 259499 WITH SCORE 260087.598
AT ITER 4397 NEW BEST:: SOT 993808 SOS 587890 HAS SOPS 587890 HAS SOUS 258357 HAS SOUPS 258357 WITH SCORE 258944.89
AT ITER 4409 NEW BEST:: SOT 993802 SOS 587870 HAS SOPS 587870 HAS SOUS 258349 HAS SOUPS 258349 WITH SCORE 258936.87
AT ITER 4420 NEW BEST:: SOT 993744 SOS 587662 HAS SOPS 587662 HAS SOUS 258208 HAS SOUPS 258208 WITH SCORE 258795.662
AT ITER 4442 NEW BEST:: SOT 993743 SOS 587661 HAS SOPS 587661 HAS SOUS 258206 HAS SOUPS 258206 WITH SCORE 258793.661
AT ITER 4455 NEW BEST:: SOT 993657 SOS 587575 HAS SOPS 587575 HAS SOUS 258120 HAS SOUPS 258120 WITH SCORE 258707.575
AT ITER 4463 NEW BEST:: SOT 993151 SOS 587045 HAS SOPS 587045 HAS SOUS 257687 HAS SOUPS 257687 WITH SCORE 258274.045
AT ITER 4465 NEW BEST:: SOT 993151 SOS 587045 HAS SOPS 587045 HAS SOUS 257625 HAS SOUPS 257625 WITH SCORE 258212.045
AT ITER 4467 NEW BEST:: SOT 993147 SOS 587041 HAS SOPS 587041 HAS SOUS 257621 HAS SOUPS 257621 WITH SCORE 258208.041
AT ITER 4469 NEW BEST:: SOT 993132 SOS 587026 HAS SOPS 587026 HAS SOUS 257584 HAS SOUPS 257584 WITH SCORE 258171.026
AT ITER 4475 NEW BEST:: SOT 993132 SOS 587026 HAS SOPS 587026 HAS SOUS 257500 HAS SOUPS 257500 WITH SCORE 258087.026
AT ITER 4481 NEW BEST:: SOT 993132 SOS 586973 HAS SOPS 586973 HAS SOUS 257500 HAS SOUPS 257500 WITH SCORE 258086.973
AT ITER 4490 NEW BEST:: SOT 993132 SOS 586973 HAS SOPS 586973 HAS SOUS 257471 HAS SOUPS 257471 WITH SCORE 258057.973
AT ITER 4534 NEW BEST:: SOT 993132 SOS 586973 HAS SOPS 586973 HAS SOUS 257349 HAS SOUPS 257349 WITH SCORE 257935.973
AT ITER 4549 NEW BEST:: SOT 993132 SOS 586779 HAS SOPS 586779 HAS SOUS 257155 HAS SOUPS 257155 WITH SCORE 257741.779
AT ITER 4554 NEW BEST:: SOT 993086 SOS 586733 HAS SOPS 586733 HAS SOUS 257117 HAS SOUPS 257117 WITH SCORE 257703.733
AT ITER 4559 NEW BEST:: SOT 993019 SOS 586599 HAS SOPS 586599 HAS SOUS 256983 HAS SOUPS 256983 WITH SCORE 257569.599
AT ITER 4563 NEW BEST:: SOT 993019 SOS 586370 HAS SOPS 586370 HAS SOUS 256822 HAS SOUPS 256822 WITH SCORE 257408.37
AT ITER 4581 NEW BEST:: SOT 993128 SOS 586340 HAS SOPS 586340 HAS SOUS 256792 HAS SOUPS 256792 WITH SCORE 257378.34
AT ITER 4615 NEW BEST:: SOT 992871 SOS 586963 HAS SOPS 586963 HAS SOUS 256645 HAS SOUPS 256645 WITH SCORE 257231.963
AT ITER 4644 NEW BEST:: SOT 992736 SOS 586824 HAS SOPS 586824 HAS SOUS 256518 HAS SOUPS 256518 WITH SCORE 257104.824
AT ITER 4650 NEW BEST:: SOT 992516 SOS 586604 HAS SOPS 586604 HAS SOUS 256356 HAS SOUPS 256356 WITH SCORE 256942.604
AT ITER 4659 NEW BEST:: SOT 992485 SOS 586450 HAS SOPS 586450 HAS SOUS 256249 HAS SOUPS 256249 WITH SCORE 256835.45
AT ITER 4660 NEW BEST:: SOT 992476 SOS 586432 HAS SOPS 586432 HAS SOUS 256231 HAS SOUPS 256231 WITH SCORE 256817.432
AT ITER 4685 NEW BEST:: SOT 992475 SOS 586404 HAS SOPS 586404 HAS SOUS 256229 HAS SOUPS 256229 WITH SCORE 256815.404
AT ITER 4690 NEW BEST:: SOT 992377 SOS 586268 HAS SOPS 586268 HAS SOUS 256093 HAS SOUPS 256093 WITH SCORE 256679.268
AT ITER 4694 NEW BEST:: SOT 992250 SOS 585856 HAS SOPS 585856 HAS SOUS 255681 HAS SOUPS 255681 WITH SCORE 256266.856
AT ITER 4738 NEW BEST:: SOT 992250 SOS 585844 HAS SOPS 585844 HAS SOUS 255669 HAS SOUPS 255669 WITH SCORE 256254.844
AT ITER 4760 NEW BEST:: SOT 991980 SOS 585587 HAS SOPS 585587 HAS SOUS 255102 HAS SOUPS 255102 WITH SCORE 255687.587
AT ITER 4764 NEW BEST:: SOT 991899 SOS 585506 HAS SOPS 585506 HAS SOUS 255102 HAS SOUPS 255102 WITH SCORE 255687.506
AT ITER 4772 NEW BEST:: SOT 991899 SOS 585498 HAS SOPS 585498 HAS SOUS 255101 HAS SOUPS 255101 WITH SCORE 255686.498
AT ITER 4788 NEW BEST:: SOT 991886 SOS 585473 HAS SOPS 585473 HAS SOUS 255075 HAS SOUPS 255075 WITH SCORE 255660.473
AT ITER 4804 NEW BEST:: SOT 991886 SOS 585198 HAS SOPS 585198 HAS SOUS 255075 HAS SOUPS 255075 WITH SCORE 255660.198
AT ITER 4818 NEW BEST:: SOT 991951 SOS 585164 HAS SOPS 585164 HAS SOUS 255041 HAS SOUPS 255041 WITH SCORE 255626.164
AT ITER 4819 NEW BEST:: SOT 991899 SOS 585104 HAS SOPS 585104 HAS SOUS 255028 HAS SOUPS 255028 WITH SCORE 255613.104
AT ITER 4820 NEW BEST:: SOT 991820 SOS 585025 HAS SOPS 585025 HAS SOUS 254949 HAS SOUPS 254949 WITH SCORE 255534.025
AT ITER 4828 NEW BEST:: SOT 991818 SOS 585023 HAS SOPS 585023 HAS SOUS 254945 HAS SOUPS 254945 WITH SCORE 255530.023
AT ITER 4834 NEW BEST:: SOT 991818 SOS 584995 HAS SOPS 584995 HAS SOUS 254942 HAS SOUPS 254942 WITH SCORE 255526.995
AT ITER 4846 NEW BEST:: SOT 991676 SOS 584988 HAS SOPS 584988 HAS SOUS 254935 HAS SOUPS 254935 WITH SCORE 255519.988
AT ITER 4848 NEW BEST:: SOT 991679 SOS 584777 HAS SOPS 584777 HAS SOUS 254780 HAS SOUPS 254780 WITH SCORE 255364.777
AT ITER 4853 NEW BEST:: SOT 991879 SOS 585230 HAS SOPS 585230 HAS SOUS 254751 HAS SOUPS 254751 WITH SCORE 255336.23
AT ITER 4868 NEW BEST:: SOT 991866 SOS 585120 HAS SOPS 585120 HAS SOUS 254743 HAS SOUPS 254743 WITH SCORE 255328.12
AT ITER 4880 NEW BEST:: SOT 991866 SOS 585120 HAS SOPS 585120 HAS SOUS 254664 HAS SOUPS 254664 WITH SCORE 255249.12
AT ITER 4883 NEW BEST:: SOT 991099 SOS 584353 HAS SOPS 584353 HAS SOUS 254337 HAS SOUPS 254337 WITH SCORE 254921.353
AT ITER 4918 NEW BEST:: SOT 991137 SOS 584309 HAS SOPS 584309 HAS SOUS 254293 HAS SOUPS 254293 WITH SCORE 254877.309
AT ITER 4922 NEW BEST:: SOT 991134 SOS 584395 HAS SOPS 584395 HAS SOUS 254219 HAS SOUPS 254219 WITH SCORE 254803.395
AT ITER 4927 NEW BEST:: SOT 991087 SOS 584379 HAS SOPS 584379 HAS SOUS 254218 HAS SOUPS 254218 WITH SCORE 254802.379
AT ITER 4932 NEW BEST:: SOT 991000 SOS 583799 HAS SOPS 583799 HAS SOUS 253971 HAS SOUPS 253971 WITH SCORE 254554.799
AT ITER 4946 NEW BEST:: SOT 990999 SOS 583798 HAS SOPS 583798 HAS SOUS 253936 HAS SOUPS 253936 WITH SCORE 254519.798
AT ITER 4961 NEW BEST:: SOT 990961 SOS 583465 HAS SOPS 583465 HAS SOUS 253897 HAS SOUPS 253897 WITH SCORE 254480.465
AT ITER 4972 NEW BEST:: SOT 990917 SOS 583333 HAS SOPS 583333 HAS SOUS 253809 HAS SOUPS 253809 WITH SCORE 254392.333
AT ITER 4973 NEW BEST:: SOT 990917 SOS 583511 HAS SOPS 583511 HAS SOUS 253748 HAS SOUPS 253748 WITH SCORE 254331.511
AT ITER 4984 NEW BEST:: SOT 990899 SOS 583439 HAS SOPS 583439 HAS SOUS 253604 HAS SOUPS 253604 WITH SCORE 254187.439
AT ITER 4991 NEW BEST:: SOT 990869 SOS 583100 HAS SOPS 583100 HAS SOUS 253544 HAS SOUPS 253544 WITH SCORE 254127.1
AT ITER 4997 NEW BEST:: SOT 990741 SOS 582775 HAS SOPS 582775 HAS SOUS 253219 HAS SOUPS 253219 WITH SCORE 253801.775
AT ITER 4999 NEW BEST:: SOT 990729 SOS 582619 HAS SOPS 582619 HAS SOUS 253051 HAS SOUPS 253051 WITH SCORE 253633.619
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-05a-CTLCardinality-00 (AF(( (! (! potential( ( 2 ) <= (tk(P155)) ))) & (! potential( (tk(P1054)) <= (tk(P668)) )) )))
PROPERTY: ASLink-PT-05a-CTLCardinality-01 (AX( (AF((! potential( (tk(P620)) <= (tk(P610)) ))))))
PROPERTY: ASLink-PT-05a-CTLCardinality-02 (EF(potential( ( 2 ) <= (tk(P41)) )))
PROPERTY: ASLink-PT-05a-CTLCardinality-03 (EF(potential( ( 1 ) <= (tk(P156)) )))
PROPERTY: ASLink-PT-05a-CTLCardinality-04 (AF((AF(( potential( ( 2 ) <= (tk(P504)) ) & potential( ( 2 ) <= (tk(P387)) ) )))))
PROPERTY: ASLink-PT-05a-CTLCardinality-05 (EU( ( ( potential( ( 2 ) <= (tk(P281)) ) | potential( (tk(P430)) <= (tk(P484)) ) ) | ( potential( ( 2 ) <= (tk(P987)) ) | potential( ( 3 ) <= (tk(P428)) ) ) ),(AF(potential( ( 2 ) <= (tk(P514)) ))) ))
PROPERTY: ASLink-PT-05a-CTLCardinality-06 ( (EG( ( (! potential( (tk(P635)) <= (tk(P761)) )) | potential( (tk(P912)) <= (tk(P652)) ) ))) | (AU( potential( (tk(P589)) <= (tk(P775)) ),( potential( ( 3 ) <= (tk(P1194)) ) & potential( ( 2 ) <= (tk(P302)) ) ) )) )
PROPERTY: ASLink-PT-05a-CTLCardinality-07 ( (AF((AG( potential( (tk(P748)) <= (tk(P584)) ))))) & ( (! potential( ( 3 ) <= (tk(P371)) )) | potential( ( 2 ) <= (tk(P858)) ) ) )
PROPERTY: ASLink-PT-05a-CTLCardinality-08 (! (AG( (! (! potential( (tk(P100)) <= (tk(P478)) ))))))
PROPERTY: ASLink-PT-05a-CTLCardinality-09 (EU( (AX( potential( (tk(P525)) <= (tk(P62)) ))),(! potential( (tk(P247)) <= (tk(P407)) )) ))
PROPERTY: ASLink-PT-05a-CTLCardinality-10 (EF((EU( potential( ( 3 ) <= (tk(P1139)) ),potential( ( 3 ) <= (tk(P134)) ) ))))
PROPERTY: ASLink-PT-05a-CTLCardinality-11 ( potential( ( 2 ) <= (tk(P479)) ) | (! ( (! (! potential( (tk(P423)) <= (tk(P500)) ))) & (EG( potential( (tk(P749)) <= (tk(P432)) ))) )) )
PROPERTY: ASLink-PT-05a-CTLCardinality-12 (EU( potential( (tk(P929)) <= (tk(P689)) ),(EF(potential( ( 1 ) <= (tk(P1195)) ))) ))
PROPERTY: ASLink-PT-05a-CTLCardinality-13 (AU( (! potential( ( 2 ) <= (tk(P493)) )),(! ( potential( ( 3 ) <= (tk(P863)) ) | potential( (tk(P1198)) <= (tk(P76)) ) )) ))
PROPERTY: ASLink-PT-05a-CTLCardinality-14 (AF((! (AX( potential( (tk(P287)) <= (tk(P386)) ))))))
PROPERTY: ASLink-PT-05a-CTLCardinality-15 (EU( (! ( potential( ( 1 ) <= (tk(P727)) ) & potential( ( 2 ) <= (tk(P1060)) ) )),potential( ( 3 ) <= (tk(P496)) ) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-05a"
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 ASLink-PT-05a, 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 r003-smll-158897508000075"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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