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-158897508100091.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-06a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100091
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 772K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K 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.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K 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 597K 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-06a-CTLCardinality-00
FORMULA_NAME ASLink-PT-06a-CTLCardinality-01
FORMULA_NAME ASLink-PT-06a-CTLCardinality-02
FORMULA_NAME ASLink-PT-06a-CTLCardinality-03
FORMULA_NAME ASLink-PT-06a-CTLCardinality-04
FORMULA_NAME ASLink-PT-06a-CTLCardinality-05
FORMULA_NAME ASLink-PT-06a-CTLCardinality-06
FORMULA_NAME ASLink-PT-06a-CTLCardinality-07
FORMULA_NAME ASLink-PT-06a-CTLCardinality-08
FORMULA_NAME ASLink-PT-06a-CTLCardinality-09
FORMULA_NAME ASLink-PT-06a-CTLCardinality-10
FORMULA_NAME ASLink-PT-06a-CTLCardinality-11
FORMULA_NAME ASLink-PT-06a-CTLCardinality-12
FORMULA_NAME ASLink-PT-06a-CTLCardinality-13
FORMULA_NAME ASLink-PT-06a-CTLCardinality-14
FORMULA_NAME ASLink-PT-06a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589037316112

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06a
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: 1406 places, 2100 transitions, 7896 arcs.
AT ITER 0 NEW BEST:: SOT 1632622 SOS 1122872 HAS SOPS 1122872 HAS SOUS 718392 HAS SOUPS 718392 WITH SCORE 719514.872
AT ITER 1 NEW BEST:: SOT 1626321 SOS 1117237 HAS SOPS 1117237 HAS SOUS 712757 HAS SOUPS 712757 WITH SCORE 713874.237
AT ITER 4 NEW BEST:: SOT 1626151 SOS 1117067 HAS SOPS 1117067 HAS SOUS 712753 HAS SOUPS 712753 WITH SCORE 713870.067
AT ITER 11 NEW BEST:: SOT 1625374 SOS 1114934 HAS SOPS 1114934 HAS SOUS 711195 HAS SOUPS 711195 WITH SCORE 712309.934
AT ITER 19 NEW BEST:: SOT 1625374 SOS 1114480 HAS SOPS 1114480 HAS SOUS 710741 HAS SOUPS 710741 WITH SCORE 711855.48
AT ITER 21 NEW BEST:: SOT 1625374 SOS 1113864 HAS SOPS 1113864 HAS SOUS 710741 HAS SOUPS 710741 WITH SCORE 711854.864
AT ITER 24 NEW BEST:: SOT 1615859 SOS 1104520 HAS SOPS 1104520 HAS SOUS 701397 HAS SOUPS 701397 WITH SCORE 702501.52
AT ITER 26 NEW BEST:: SOT 1614349 SOS 1103010 HAS SOPS 1103010 HAS SOUS 699887 HAS SOUPS 699887 WITH SCORE 700990.01
AT ITER 27 NEW BEST:: SOT 1613638 SOS 1102465 HAS SOPS 1102465 HAS SOUS 699472 HAS SOUPS 699472 WITH SCORE 700574.465
AT ITER 34 NEW BEST:: SOT 1613245 SOS 1102072 HAS SOPS 1102072 HAS SOUS 699471 HAS SOUPS 699471 WITH SCORE 700573.072
AT ITER 37 NEW BEST:: SOT 1613242 SOS 1102071 HAS SOPS 1102071 HAS SOUS 699470 HAS SOUPS 699470 WITH SCORE 700572.071
AT ITER 38 NEW BEST:: SOT 1612613 SOS 1102613 HAS SOPS 1102613 HAS SOUS 699168 HAS SOUPS 699168 WITH SCORE 700270.613
AT ITER 40 NEW BEST:: SOT 1606451 SOS 1096444 HAS SOPS 1096444 HAS SOUS 692999 HAS SOUPS 692999 WITH SCORE 694095.444
AT ITER 43 NEW BEST:: SOT 1606449 SOS 1096477 HAS SOPS 1096477 HAS SOUS 692971 HAS SOUPS 692971 WITH SCORE 694067.477
AT ITER 49 NEW BEST:: SOT 1604304 SOS 1098352 HAS SOPS 1098352 HAS SOUS 691537 HAS SOUPS 691537 WITH SCORE 692635.352
AT ITER 51 NEW BEST:: SOT 1604177 SOS 1098098 HAS SOPS 1098098 HAS SOUS 691410 HAS SOUPS 691410 WITH SCORE 692508.098
AT ITER 57 NEW BEST:: SOT 1604177 SOS 1098037 HAS SOPS 1098037 HAS SOUS 691349 HAS SOUPS 691349 WITH SCORE 692447.037
AT ITER 58 NEW BEST:: SOT 1603701 SOS 1096888 HAS SOPS 1096888 HAS SOUS 690393 HAS SOUPS 690393 WITH SCORE 691489.888
AT ITER 66 NEW BEST:: SOT 1603768 SOS 1096030 HAS SOPS 1096030 HAS SOUS 690391 HAS SOUPS 690391 WITH SCORE 691487.03
AT ITER 78 NEW BEST:: SOT 1603296 SOS 1095338 HAS SOPS 1095338 HAS SOUS 690147 HAS SOUPS 690147 WITH SCORE 691242.338
AT ITER 80 NEW BEST:: SOT 1599244 SOS 1091286 HAS SOPS 1091286 HAS SOUS 686093 HAS SOUPS 686093 WITH SCORE 687184.286
AT ITER 81 NEW BEST:: SOT 1598180 SOS 1096185 HAS SOPS 1096185 HAS SOUS 685623 HAS SOUPS 685623 WITH SCORE 686719.185
AT ITER 84 NEW BEST:: SOT 1591940 SOS 1089945 HAS SOPS 1089945 HAS SOUS 679383 HAS SOUPS 679383 WITH SCORE 680472.945
AT ITER 100 NEW BEST:: SOT 1591776 SOS 1089779 HAS SOPS 1089779 HAS SOUS 679381 HAS SOUPS 679381 WITH SCORE 680470.779
AT ITER 112 NEW BEST:: SOT 1591776 SOS 1089779 HAS SOPS 1089779 HAS SOUS 679373 HAS SOUPS 679373 WITH SCORE 680462.779
AT ITER 117 NEW BEST:: SOT 1581200 SOS 1079203 HAS SOPS 1079203 HAS SOUS 668796 HAS SOUPS 668796 WITH SCORE 669875.203
AT ITER 118 NEW BEST:: SOT 1581199 SOS 1079202 HAS SOPS 1079202 HAS SOUS 668794 HAS SOUPS 668794 WITH SCORE 669873.202
AT ITER 122 NEW BEST:: SOT 1581199 SOS 1078863 HAS SOPS 1078863 HAS SOUS 668628 HAS SOUPS 668628 WITH SCORE 669706.863
AT ITER 125 NEW BEST:: SOT 1581195 SOS 1077937 HAS SOPS 1077937 HAS SOUS 668609 HAS SOUPS 668609 WITH SCORE 669686.937
AT ITER 126 NEW BEST:: SOT 1581195 SOS 1077211 HAS SOPS 1077211 HAS SOUS 667883 HAS SOUPS 667883 WITH SCORE 668960.211
AT ITER 128 NEW BEST:: SOT 1577870 SOS 1072676 HAS SOPS 1072676 HAS SOUS 664032 HAS SOUPS 664032 WITH SCORE 665104.676
AT ITER 129 NEW BEST:: SOT 1577845 SOS 1072651 HAS SOPS 1072651 HAS SOUS 664032 HAS SOUPS 664032 WITH SCORE 665104.651
AT ITER 137 NEW BEST:: SOT 1577681 SOS 1072487 HAS SOPS 1072487 HAS SOUS 663868 HAS SOUPS 663868 WITH SCORE 664940.487
AT ITER 140 NEW BEST:: SOT 1576921 SOS 1071727 HAS SOPS 1071727 HAS SOUS 663607 HAS SOUPS 663607 WITH SCORE 664678.727
AT ITER 141 NEW BEST:: SOT 1575934 SOS 1070803 HAS SOPS 1070803 HAS SOUS 662920 HAS SOUPS 662920 WITH SCORE 663990.803
AT ITER 144 NEW BEST:: SOT 1575934 SOS 1069679 HAS SOPS 1069679 HAS SOUS 662736 HAS SOUPS 662736 WITH SCORE 663805.679
AT ITER 148 NEW BEST:: SOT 1575912 SOS 1069635 HAS SOPS 1069635 HAS SOUS 662692 HAS SOUPS 662692 WITH SCORE 663761.635
AT ITER 150 NEW BEST:: SOT 1575452 SOS 1066681 HAS SOPS 1066681 HAS SOUS 661964 HAS SOUPS 661964 WITH SCORE 663030.681
AT ITER 152 NEW BEST:: SOT 1575020 SOS 1065250 HAS SOPS 1065250 HAS SOUS 661100 HAS SOUPS 661100 WITH SCORE 662165.25
AT ITER 156 NEW BEST:: SOT 1573856 SOS 1064086 HAS SOPS 1064086 HAS SOUS 659935 HAS SOUPS 659935 WITH SCORE 660999.086
AT ITER 157 NEW BEST:: SOT 1573856 SOS 1064081 HAS SOPS 1064081 HAS SOUS 659930 HAS SOUPS 659930 WITH SCORE 660994.081
AT ITER 159 NEW BEST:: SOT 1573565 SOS 1063790 HAS SOPS 1063790 HAS SOUS 659920 HAS SOUPS 659920 WITH SCORE 660983.79
AT ITER 160 NEW BEST:: SOT 1573565 SOS 1059854 HAS SOPS 1059854 HAS SOUS 659286 HAS SOUPS 659286 WITH SCORE 660345.854
AT ITER 163 NEW BEST:: SOT 1571279 SOS 1057568 HAS SOPS 1057568 HAS SOUS 657000 HAS SOUPS 657000 WITH SCORE 658057.568
AT ITER 165 NEW BEST:: SOT 1571279 SOS 1057107 HAS SOPS 1057107 HAS SOUS 656994 HAS SOUPS 656994 WITH SCORE 658051.107
AT ITER 169 NEW BEST:: SOT 1570987 SOS 1056815 HAS SOPS 1056815 HAS SOUS 656808 HAS SOUPS 656808 WITH SCORE 657864.815
AT ITER 172 NEW BEST:: SOT 1570876 SOS 1056704 HAS SOPS 1056704 HAS SOUS 656697 HAS SOUPS 656697 WITH SCORE 657753.704
AT ITER 174 NEW BEST:: SOT 1570649 SOS 1056470 HAS SOPS 1056470 HAS SOUS 656463 HAS SOUPS 656463 WITH SCORE 657519.47
AT ITER 175 NEW BEST:: SOT 1568597 SOS 1054672 HAS SOPS 1054672 HAS SOUS 654157 HAS SOUPS 654157 WITH SCORE 655211.672
AT ITER 182 NEW BEST:: SOT 1567794 SOS 1052770 HAS SOPS 1052770 HAS SOUS 653060 HAS SOUPS 653060 WITH SCORE 654112.77
AT ITER 187 NEW BEST:: SOT 1567857 SOS 1052889 HAS SOPS 1052889 HAS SOUS 653053 HAS SOUPS 653053 WITH SCORE 654105.889
AT ITER 194 NEW BEST:: SOT 1567789 SOS 1052880 HAS SOPS 1052880 HAS SOUS 653043 HAS SOUPS 653043 WITH SCORE 654095.88
AT ITER 195 NEW BEST:: SOT 1567292 SOS 1055164 HAS SOPS 1055164 HAS SOUS 652053 HAS SOUPS 652053 WITH SCORE 653108.164
AT ITER 198 NEW BEST:: SOT 1567292 SOS 1050663 HAS SOPS 1050663 HAS SOUS 651732 HAS SOUPS 651732 WITH SCORE 652782.663
AT ITER 199 NEW BEST:: SOT 1558549 SOS 1041386 HAS SOPS 1041386 HAS SOUS 642736 HAS SOUPS 642736 WITH SCORE 643777.386
AT ITER 200 NEW BEST:: SOT 1558549 SOS 1041336 HAS SOPS 1041336 HAS SOUS 642736 HAS SOUPS 642736 WITH SCORE 643777.336
AT ITER 202 NEW BEST:: SOT 1558081 SOS 1040392 HAS SOPS 1040392 HAS SOUS 641792 HAS SOUPS 641792 WITH SCORE 642832.392
AT ITER 204 NEW BEST:: SOT 1555271 SOS 1041528 HAS SOPS 1041528 HAS SOUS 638597 HAS SOUPS 638597 WITH SCORE 639638.528
AT ITER 205 NEW BEST:: SOT 1555265 SOS 1041515 HAS SOPS 1041515 HAS SOUS 638584 HAS SOUPS 638584 WITH SCORE 639625.515
AT ITER 212 NEW BEST:: SOT 1543101 SOS 1029197 HAS SOPS 1029197 HAS SOUS 626266 HAS SOUPS 626266 WITH SCORE 627295.197
AT ITER 219 NEW BEST:: SOT 1542277 SOS 1028373 HAS SOPS 1028373 HAS SOUS 625441 HAS SOUPS 625441 WITH SCORE 626469.373
AT ITER 225 NEW BEST:: SOT 1542276 SOS 1028329 HAS SOPS 1028329 HAS SOUS 625037 HAS SOUPS 625037 WITH SCORE 626065.329
AT ITER 227 NEW BEST:: SOT 1543592 SOS 1029516 HAS SOPS 1029516 HAS SOUS 623978 HAS SOUPS 623978 WITH SCORE 625007.516
AT ITER 228 NEW BEST:: SOT 1543370 SOS 1028160 HAS SOPS 1028160 HAS SOUS 623405 HAS SOUPS 623405 WITH SCORE 624433.16
AT ITER 229 NEW BEST:: SOT 1539745 SOS 1027648 HAS SOPS 1027648 HAS SOUS 619227 HAS SOUPS 619227 WITH SCORE 620254.648
AT ITER 250 NEW BEST:: SOT 1538817 SOS 1026702 HAS SOPS 1026702 HAS SOUS 617516 HAS SOUPS 617516 WITH SCORE 618542.702
AT ITER 255 NEW BEST:: SOT 1531690 SOS 1021738 HAS SOPS 1021738 HAS SOUS 609739 HAS SOUPS 609739 WITH SCORE 610760.738
AT ITER 267 NEW BEST:: SOT 1530767 SOS 1020815 HAS SOPS 1020815 HAS SOUS 608816 HAS SOUPS 608816 WITH SCORE 609836.815
AT ITER 272 NEW BEST:: SOT 1526363 SOS 1018809 HAS SOPS 1018809 HAS SOUS 605171 HAS SOUPS 605171 WITH SCORE 606189.809
AT ITER 274 NEW BEST:: SOT 1525704 SOS 1018150 HAS SOPS 1018150 HAS SOUS 605150 HAS SOUPS 605150 WITH SCORE 606168.15
AT ITER 275 NEW BEST:: SOT 1525704 SOS 1018039 HAS SOPS 1018039 HAS SOUS 605150 HAS SOUPS 605150 WITH SCORE 606168.039
AT ITER 281 NEW BEST:: SOT 1525183 SOS 1016997 HAS SOPS 1016997 HAS SOUS 604627 HAS SOUPS 604627 WITH SCORE 605643.997
AT ITER 284 NEW BEST:: SOT 1519450 SOS 1011304 HAS SOPS 1011304 HAS SOUS 598933 HAS SOUPS 598933 WITH SCORE 599944.304
AT ITER 292 NEW BEST:: SOT 1516630 SOS 1008909 HAS SOPS 1008909 HAS SOUS 596394 HAS SOUPS 596394 WITH SCORE 597402.909
AT ITER 294 NEW BEST:: SOT 1516407 SOS 1008688 HAS SOPS 1008688 HAS SOUS 596173 HAS SOUPS 596173 WITH SCORE 597181.688
AT ITER 295 NEW BEST:: SOT 1516264 SOS 1008679 HAS SOPS 1008679 HAS SOUS 596164 HAS SOUPS 596164 WITH SCORE 597172.679
AT ITER 297 NEW BEST:: SOT 1515979 SOS 1008394 HAS SOPS 1008394 HAS SOUS 595879 HAS SOUPS 595879 WITH SCORE 596887.394
AT ITER 301 NEW BEST:: SOT 1515432 SOS 1008221 HAS SOPS 1008221 HAS SOUS 595706 HAS SOUPS 595706 WITH SCORE 596714.221
AT ITER 309 NEW BEST:: SOT 1515562 SOS 1008196 HAS SOPS 1008196 HAS SOUS 595471 HAS SOUPS 595471 WITH SCORE 596479.196
AT ITER 310 NEW BEST:: SOT 1515562 SOS 1008196 HAS SOPS 1008196 HAS SOUS 595171 HAS SOUPS 595171 WITH SCORE 596179.196
AT ITER 316 NEW BEST:: SOT 1515353 SOS 1007987 HAS SOPS 1007987 HAS SOUS 595169 HAS SOUPS 595169 WITH SCORE 596176.987
AT ITER 320 NEW BEST:: SOT 1515539 SOS 1007984 HAS SOPS 1007984 HAS SOUS 594412 HAS SOUPS 594412 WITH SCORE 595419.984
AT ITER 336 NEW BEST:: SOT 1515539 SOS 1007757 HAS SOPS 1007757 HAS SOUS 594185 HAS SOUPS 594185 WITH SCORE 595192.757
AT ITER 347 NEW BEST:: SOT 1515539 SOS 1007757 HAS SOPS 1007757 HAS SOUS 594183 HAS SOUPS 594183 WITH SCORE 595190.757
AT ITER 348 NEW BEST:: SOT 1515492 SOS 1007105 HAS SOPS 1007105 HAS SOUS 593816 HAS SOUPS 593816 WITH SCORE 594823.105
AT ITER 350 NEW BEST:: SOT 1515186 SOS 1006799 HAS SOPS 1006799 HAS SOUS 593510 HAS SOUPS 593510 WITH SCORE 594516.799
AT ITER 354 NEW BEST:: SOT 1514592 SOS 1005034 HAS SOPS 1005034 HAS SOUS 592322 HAS SOUPS 592322 WITH SCORE 593327.034
AT ITER 358 NEW BEST:: SOT 1514592 SOS 1004598 HAS SOPS 1004598 HAS SOUS 591776 HAS SOUPS 591776 WITH SCORE 592780.598
AT ITER 361 NEW BEST:: SOT 1514375 SOS 1004381 HAS SOPS 1004381 HAS SOUS 591719 HAS SOUPS 591719 WITH SCORE 592723.381
AT ITER 365 NEW BEST:: SOT 1513418 SOS 1003424 HAS SOPS 1003424 HAS SOUS 590762 HAS SOUPS 590762 WITH SCORE 591765.424
AT ITER 366 NEW BEST:: SOT 1513143 SOS 1000501 HAS SOPS 1000501 HAS SOUS 589887 HAS SOUPS 589887 WITH SCORE 590887.501
AT ITER 367 NEW BEST:: SOT 1513099 SOS 1000446 HAS SOPS 1000446 HAS SOUS 589832 HAS SOUPS 589832 WITH SCORE 590832.446
AT ITER 377 NEW BEST:: SOT 1513099 SOS 1000114 HAS SOPS 1000114 HAS SOUS 589500 HAS SOUPS 589500 WITH SCORE 590500.114
AT ITER 396 NEW BEST:: SOT 1512729 SOS 998773 HAS SOPS 998773 HAS SOUS 588696 HAS SOUPS 588696 WITH SCORE 589694.773
AT ITER 399 NEW BEST:: SOT 1512092 SOS 998136 HAS SOPS 998136 HAS SOUS 588056 HAS SOUPS 588056 WITH SCORE 589054.136
AT ITER 408 NEW BEST:: SOT 1511904 SOS 997760 HAS SOPS 997760 HAS SOUS 587680 HAS SOUPS 587680 WITH SCORE 588677.76
AT ITER 409 NEW BEST:: SOT 1511904 SOS 997760 HAS SOPS 997760 HAS SOUS 587618 HAS SOUPS 587618 WITH SCORE 588615.76
AT ITER 415 NEW BEST:: SOT 1511005 SOS 996861 HAS SOPS 996861 HAS SOUS 586711 HAS SOUPS 586711 WITH SCORE 587707.861
AT ITER 421 NEW BEST:: SOT 1511005 SOS 996860 HAS SOPS 996860 HAS SOUS 586705 HAS SOUPS 586705 WITH SCORE 587701.86
AT ITER 423 NEW BEST:: SOT 1510779 SOS 996530 HAS SOPS 996530 HAS SOUS 586375 HAS SOUPS 586375 WITH SCORE 587371.53
AT ITER 425 NEW BEST:: SOT 1510755 SOS 996506 HAS SOPS 996506 HAS SOUS 586351 HAS SOUPS 586351 WITH SCORE 587347.506
AT ITER 428 NEW BEST:: SOT 1510737 SOS 996488 HAS SOPS 996488 HAS SOUS 586333 HAS SOUPS 586333 WITH SCORE 587329.488
AT ITER 432 NEW BEST:: SOT 1504347 SOS 990098 HAS SOPS 990098 HAS SOUS 579943 HAS SOUPS 579943 WITH SCORE 580933.098
AT ITER 433 NEW BEST:: SOT 1504085 SOS 990081 HAS SOPS 990081 HAS SOUS 579926 HAS SOUPS 579926 WITH SCORE 580916.081
AT ITER 442 NEW BEST:: SOT 1503926 SOS 989455 HAS SOPS 989455 HAS SOUS 579608 HAS SOUPS 579608 WITH SCORE 580597.455
AT ITER 446 NEW BEST:: SOT 1503926 SOS 990700 HAS SOPS 990700 HAS SOUS 578909 HAS SOUPS 578909 WITH SCORE 579899.7
AT ITER 447 NEW BEST:: SOT 1498250 SOS 986832 HAS SOPS 986832 HAS SOUS 573498 HAS SOUPS 573498 WITH SCORE 574484.832
AT ITER 458 NEW BEST:: SOT 1498175 SOS 986757 HAS SOPS 986757 HAS SOUS 573423 HAS SOUPS 573423 WITH SCORE 574409.757
AT ITER 459 NEW BEST:: SOT 1492820 SOS 982008 HAS SOPS 982008 HAS SOUS 568248 HAS SOUPS 568248 WITH SCORE 569230.008
AT ITER 460 NEW BEST:: SOT 1492820 SOS 982006 HAS SOPS 982006 HAS SOUS 568247 HAS SOUPS 568247 WITH SCORE 569229.006
AT ITER 461 NEW BEST:: SOT 1492820 SOS 982270 HAS SOPS 982270 HAS SOUS 568243 HAS SOUPS 568243 WITH SCORE 569225.27
AT ITER 462 NEW BEST:: SOT 1492421 SOS 981871 HAS SOPS 981871 HAS SOUS 567844 HAS SOUPS 567844 WITH SCORE 568825.871
AT ITER 489 NEW BEST:: SOT 1492622 SOS 980779 HAS SOPS 980779 HAS SOUS 566752 HAS SOUPS 566752 WITH SCORE 567732.779
AT ITER 495 NEW BEST:: SOT 1492604 SOS 980761 HAS SOPS 980761 HAS SOUS 566733 HAS SOUPS 566733 WITH SCORE 567713.761
AT ITER 498 NEW BEST:: SOT 1492604 SOS 980761 HAS SOPS 980761 HAS SOUS 566732 HAS SOUPS 566732 WITH SCORE 567712.761
AT ITER 499 NEW BEST:: SOT 1492604 SOS 979884 HAS SOPS 979884 HAS SOUS 566680 HAS SOUPS 566680 WITH SCORE 567659.884
AT ITER 504 NEW BEST:: SOT 1492758 SOS 980211 HAS SOPS 980211 HAS SOUS 566276 HAS SOUPS 566276 WITH SCORE 567256.211
AT ITER 507 NEW BEST:: SOT 1492758 SOS 979578 HAS SOPS 979578 HAS SOUS 566065 HAS SOUPS 566065 WITH SCORE 567044.578
AT ITER 520 NEW BEST:: SOT 1492729 SOS 979549 HAS SOPS 979549 HAS SOUS 566036 HAS SOUPS 566036 WITH SCORE 567015.549
AT ITER 521 NEW BEST:: SOT 1492167 SOS 978987 HAS SOPS 978987 HAS SOUS 565881 HAS SOUPS 565881 WITH SCORE 566859.987
AT ITER 522 NEW BEST:: SOT 1491998 SOS 978762 HAS SOPS 978762 HAS SOUS 565662 HAS SOUPS 565662 WITH SCORE 566640.762
AT ITER 532 NEW BEST:: SOT 1492176 SOS 978966 HAS SOPS 978966 HAS SOUS 565448 HAS SOUPS 565448 WITH SCORE 566426.966
AT ITER 533 NEW BEST:: SOT 1492176 SOS 978726 HAS SOPS 978726 HAS SOUS 565448 HAS SOUPS 565448 WITH SCORE 566426.726
AT ITER 536 NEW BEST:: SOT 1491863 SOS 984484 HAS SOPS 984484 HAS SOUS 565135 HAS SOUPS 565135 WITH SCORE 566119.484
AT ITER 540 NEW BEST:: SOT 1490786 SOS 983398 HAS SOPS 983398 HAS SOUS 564049 HAS SOUPS 564049 WITH SCORE 565032.398
AT ITER 544 NEW BEST:: SOT 1487173 SOS 979655 HAS SOPS 979655 HAS SOUS 560305 HAS SOUPS 560305 WITH SCORE 561284.655
AT ITER 546 NEW BEST:: SOT 1486832 SOS 976927 HAS SOPS 976927 HAS SOUS 560305 HAS SOUPS 560305 WITH SCORE 561281.927
AT ITER 555 NEW BEST:: SOT 1486427 SOS 976522 HAS SOPS 976522 HAS SOUS 560305 HAS SOUPS 560305 WITH SCORE 561281.522
AT ITER 557 NEW BEST:: SOT 1486988 SOS 975597 HAS SOPS 975597 HAS SOUS 560253 HAS SOUPS 560253 WITH SCORE 561228.597
AT ITER 559 NEW BEST:: SOT 1480822 SOS 969104 HAS SOPS 969104 HAS SOUS 553576 HAS SOUPS 553576 WITH SCORE 554545.104
AT ITER 562 NEW BEST:: SOT 1479076 SOS 967358 HAS SOPS 967358 HAS SOUS 551830 HAS SOUPS 551830 WITH SCORE 552797.358
AT ITER 563 NEW BEST:: SOT 1479756 SOS 968038 HAS SOPS 968038 HAS SOUS 551829 HAS SOUPS 551829 WITH SCORE 552797.038
AT ITER 564 NEW BEST:: SOT 1478816 SOS 966158 HAS SOPS 966158 HAS SOUS 550419 HAS SOUPS 550419 WITH SCORE 551385.158
AT ITER 565 NEW BEST:: SOT 1478706 SOS 965268 HAS SOPS 965268 HAS SOUS 550197 HAS SOUPS 550197 WITH SCORE 551162.268
AT ITER 575 NEW BEST:: SOT 1477356 SOS 965562 HAS SOPS 965562 HAS SOUS 549670 HAS SOUPS 549670 WITH SCORE 550635.562
AT ITER 577 NEW BEST:: SOT 1477066 SOS 965025 HAS SOPS 965025 HAS SOUS 549133 HAS SOUPS 549133 WITH SCORE 550098.025
AT ITER 582 NEW BEST:: SOT 1477379 SOS 965013 HAS SOPS 965013 HAS SOUS 548852 HAS SOUPS 548852 WITH SCORE 549817.013
AT ITER 584 NEW BEST:: SOT 1477379 SOS 963278 HAS SOPS 963278 HAS SOUS 548271 HAS SOUPS 548271 WITH SCORE 549234.278
AT ITER 586 NEW BEST:: SOT 1476911 SOS 961667 HAS SOPS 961667 HAS SOUS 547322 HAS SOUPS 547322 WITH SCORE 548283.667
AT ITER 596 NEW BEST:: SOT 1476911 SOS 961177 HAS SOPS 961177 HAS SOUS 546966 HAS SOUPS 546966 WITH SCORE 547927.177
AT ITER 602 NEW BEST:: SOT 1476911 SOS 960993 HAS SOPS 960993 HAS SOUS 546690 HAS SOUPS 546690 WITH SCORE 547650.993
AT ITER 609 NEW BEST:: SOT 1475988 SOS 959406 HAS SOPS 959406 HAS SOUS 544135 HAS SOUPS 544135 WITH SCORE 545094.406
AT ITER 612 NEW BEST:: SOT 1475373 SOS 958791 HAS SOPS 958791 HAS SOUS 543520 HAS SOUPS 543520 WITH SCORE 544478.791
AT ITER 617 NEW BEST:: SOT 1475373 SOS 958791 HAS SOPS 958791 HAS SOUS 543502 HAS SOUPS 543502 WITH SCORE 544460.791
AT ITER 626 NEW BEST:: SOT 1475255 SOS 958437 HAS SOPS 958437 HAS SOUS 543148 HAS SOUPS 543148 WITH SCORE 544106.437
AT ITER 629 NEW BEST:: SOT 1475045 SOS 958227 HAS SOPS 958227 HAS SOUS 542938 HAS SOUPS 542938 WITH SCORE 543896.227
AT ITER 630 NEW BEST:: SOT 1474832 SOS 957356 HAS SOPS 957356 HAS SOUS 542322 HAS SOUPS 542322 WITH SCORE 543279.356
AT ITER 633 NEW BEST:: SOT 1473481 SOS 956005 HAS SOPS 956005 HAS SOUS 540971 HAS SOUPS 540971 WITH SCORE 541927.005
AT ITER 637 NEW BEST:: SOT 1473480 SOS 956004 HAS SOPS 956004 HAS SOUS 540958 HAS SOUPS 540958 WITH SCORE 541914.004
AT ITER 638 NEW BEST:: SOT 1473411 SOS 955935 HAS SOPS 955935 HAS SOUS 540889 HAS SOUPS 540889 WITH SCORE 541844.935
AT ITER 657 NEW BEST:: SOT 1472528 SOS 955267 HAS SOPS 955267 HAS SOUS 540150 HAS SOUPS 540150 WITH SCORE 541105.267
AT ITER 667 NEW BEST:: SOT 1472380 SOS 955127 HAS SOPS 955127 HAS SOUS 540095 HAS SOUPS 540095 WITH SCORE 541050.127
AT ITER 671 NEW BEST:: SOT 1472182 SOS 954467 HAS SOPS 954467 HAS SOUS 539873 HAS SOUPS 539873 WITH SCORE 540827.467
AT ITER 677 NEW BEST:: SOT 1472146 SOS 954431 HAS SOPS 954431 HAS SOUS 539837 HAS SOUPS 539837 WITH SCORE 540791.431
AT ITER 678 NEW BEST:: SOT 1472315 SOS 954214 HAS SOPS 954214 HAS SOUS 539326 HAS SOUPS 539326 WITH SCORE 540280.214
AT ITER 694 NEW BEST:: SOT 1472177 SOS 953938 HAS SOPS 953938 HAS SOUS 539050 HAS SOUPS 539050 WITH SCORE 540003.938
AT ITER 695 NEW BEST:: SOT 1471832 SOS 953593 HAS SOPS 953593 HAS SOUS 538606 HAS SOUPS 538606 WITH SCORE 539559.593
AT ITER 697 NEW BEST:: SOT 1454308 SOS 935829 HAS SOPS 935829 HAS SOUS 520842 HAS SOUPS 520842 WITH SCORE 521777.829
AT ITER 698 NEW BEST:: SOT 1452160 SOS 933681 HAS SOPS 933681 HAS SOUS 518694 HAS SOUPS 518694 WITH SCORE 519627.681
AT ITER 718 NEW BEST:: SOT 1451800 SOS 932883 HAS SOPS 932883 HAS SOUS 518331 HAS SOUPS 518331 WITH SCORE 519263.883
AT ITER 720 NEW BEST:: SOT 1452145 SOS 932090 HAS SOPS 932090 HAS SOUS 518329 HAS SOUPS 518329 WITH SCORE 519261.09
AT ITER 731 NEW BEST:: SOT 1452147 SOS 932086 HAS SOPS 932086 HAS SOUS 518325 HAS SOUPS 518325 WITH SCORE 519257.086
AT ITER 733 NEW BEST:: SOT 1451957 SOS 932078 HAS SOPS 932078 HAS SOUS 518317 HAS SOUPS 518317 WITH SCORE 519249.078
AT ITER 738 NEW BEST:: SOT 1451956 SOS 931870 HAS SOPS 931870 HAS SOUS 518265 HAS SOUPS 518265 WITH SCORE 519196.87
AT ITER 748 NEW BEST:: SOT 1451937 SOS 931851 HAS SOPS 931851 HAS SOUS 518257 HAS SOUPS 518257 WITH SCORE 519188.851
AT ITER 753 NEW BEST:: SOT 1452009 SOS 930483 HAS SOPS 930483 HAS SOUS 516889 HAS SOUPS 516889 WITH SCORE 517819.483
AT ITER 754 NEW BEST:: SOT 1452002 SOS 930476 HAS SOPS 930476 HAS SOUS 516889 HAS SOUPS 516889 WITH SCORE 517819.476
AT ITER 773 NEW BEST:: SOT 1451950 SOS 931324 HAS SOPS 931324 HAS SOUS 516612 HAS SOUPS 516612 WITH SCORE 517543.324
AT ITER 776 NEW BEST:: SOT 1451676 SOS 931050 HAS SOPS 931050 HAS SOUS 516343 HAS SOUPS 516343 WITH SCORE 517274.05
AT ITER 788 NEW BEST:: SOT 1451269 SOS 930640 HAS SOPS 930640 HAS SOUS 515933 HAS SOUPS 515933 WITH SCORE 516863.64
AT ITER 793 NEW BEST:: SOT 1450961 SOS 930147 HAS SOPS 930147 HAS SOUS 515852 HAS SOUPS 515852 WITH SCORE 516782.147
AT ITER 797 NEW BEST:: SOT 1450789 SOS 930014 HAS SOPS 930014 HAS SOUS 515851 HAS SOUPS 515851 WITH SCORE 516781.014
AT ITER 798 NEW BEST:: SOT 1451063 SOS 929839 HAS SOPS 929839 HAS SOUS 515676 HAS SOUPS 515676 WITH SCORE 516605.839
AT ITER 799 NEW BEST:: SOT 1449864 SOS 928640 HAS SOPS 928640 HAS SOUS 514472 HAS SOUPS 514472 WITH SCORE 515400.64
AT ITER 804 NEW BEST:: SOT 1450297 SOS 924010 HAS SOPS 924010 HAS SOUS 514198 HAS SOUPS 514198 WITH SCORE 515122.01
AT ITER 805 NEW BEST:: SOT 1449784 SOS 923497 HAS SOPS 923497 HAS SOUS 514141 HAS SOUPS 514141 WITH SCORE 515064.497
AT ITER 810 NEW BEST:: SOT 1449277 SOS 922199 HAS SOPS 922199 HAS SOUS 513127 HAS SOUPS 513127 WITH SCORE 514049.199
AT ITER 812 NEW BEST:: SOT 1449277 SOS 921986 HAS SOPS 921986 HAS SOUS 512914 HAS SOUPS 512914 WITH SCORE 513835.986
AT ITER 813 NEW BEST:: SOT 1449276 SOS 921985 HAS SOPS 921985 HAS SOUS 512905 HAS SOUPS 512905 WITH SCORE 513826.985
AT ITER 814 NEW BEST:: SOT 1448236 SOS 921439 HAS SOPS 921439 HAS SOUS 512581 HAS SOUPS 512581 WITH SCORE 513502.439
AT ITER 822 NEW BEST:: SOT 1447865 SOS 920317 HAS SOPS 920317 HAS SOUS 511459 HAS SOUPS 511459 WITH SCORE 512379.317
AT ITER 823 NEW BEST:: SOT 1447469 SOS 919921 HAS SOPS 919921 HAS SOUS 510931 HAS SOUPS 510931 WITH SCORE 511850.921
AT ITER 827 NEW BEST:: SOT 1447319 SOS 919370 HAS SOPS 919370 HAS SOUS 510781 HAS SOUPS 510781 WITH SCORE 511700.37
AT ITER 829 NEW BEST:: SOT 1447857 SOS 916512 HAS SOPS 916512 HAS SOUS 510620 HAS SOUPS 510620 WITH SCORE 511536.512
AT ITER 831 NEW BEST:: SOT 1447857 SOS 916495 HAS SOPS 916495 HAS SOUS 510588 HAS SOUPS 510588 WITH SCORE 511504.495
AT ITER 832 NEW BEST:: SOT 1447953 SOS 915695 HAS SOPS 915695 HAS SOUS 510411 HAS SOUPS 510411 WITH SCORE 511326.695
AT ITER 845 NEW BEST:: SOT 1447953 SOS 915606 HAS SOPS 915606 HAS SOUS 510292 HAS SOUPS 510292 WITH SCORE 511207.606
AT ITER 853 NEW BEST:: SOT 1446980 SOS 914633 HAS SOPS 914633 HAS SOUS 509306 HAS SOUPS 509306 WITH SCORE 510220.633
AT ITER 854 NEW BEST:: SOT 1446443 SOS 914096 HAS SOPS 914096 HAS SOUS 509302 HAS SOUPS 509302 WITH SCORE 510216.096
AT ITER 881 NEW BEST:: SOT 1446559 SOS 914362 HAS SOPS 914362 HAS SOUS 509034 HAS SOUPS 509034 WITH SCORE 509948.362
AT ITER 885 NEW BEST:: SOT 1446297 SOS 914362 HAS SOPS 914362 HAS SOUS 508903 HAS SOUPS 508903 WITH SCORE 509817.362
AT ITER 886 NEW BEST:: SOT 1446295 SOS 914027 HAS SOPS 914027 HAS SOUS 508899 HAS SOUPS 508899 WITH SCORE 509813.027
AT ITER 887 NEW BEST:: SOT 1445744 SOS 913910 HAS SOPS 913910 HAS SOUS 508584 HAS SOUPS 508584 WITH SCORE 509497.91
AT ITER 908 NEW BEST:: SOT 1445355 SOS 913521 HAS SOPS 913521 HAS SOUS 508112 HAS SOUPS 508112 WITH SCORE 509025.521
AT ITER 909 NEW BEST:: SOT 1445267 SOS 913433 HAS SOPS 913433 HAS SOUS 508001 HAS SOUPS 508001 WITH SCORE 508914.433
AT ITER 921 NEW BEST:: SOT 1443866 SOS 910247 HAS SOPS 910247 HAS SOUS 505795 HAS SOUPS 505795 WITH SCORE 506705.247
AT ITER 934 NEW BEST:: SOT 1443935 SOS 910067 HAS SOPS 910067 HAS SOUS 505615 HAS SOUPS 505615 WITH SCORE 506525.067
AT ITER 942 NEW BEST:: SOT 1443825 SOS 907552 HAS SOPS 907552 HAS SOUS 504756 HAS SOUPS 504756 WITH SCORE 505663.552
AT ITER 956 NEW BEST:: SOT 1442808 SOS 908393 HAS SOPS 908393 HAS SOUS 504259 HAS SOUPS 504259 WITH SCORE 505167.393
AT ITER 958 NEW BEST:: SOT 1442672 SOS 908257 HAS SOPS 908257 HAS SOUS 504122 HAS SOUPS 504122 WITH SCORE 505030.257
AT ITER 970 NEW BEST:: SOT 1442697 SOS 908232 HAS SOPS 908232 HAS SOUS 504072 HAS SOUPS 504072 WITH SCORE 504980.232
AT ITER 982 NEW BEST:: SOT 1442547 SOS 906975 HAS SOPS 906975 HAS SOUS 503484 HAS SOUPS 503484 WITH SCORE 504390.975
AT ITER 990 NEW BEST:: SOT 1442547 SOS 906768 HAS SOPS 906768 HAS SOUS 503286 HAS SOUPS 503286 WITH SCORE 504192.768
AT ITER 1015 NEW BEST:: SOT 1442479 SOS 906700 HAS SOPS 906700 HAS SOUS 503216 HAS SOUPS 503216 WITH SCORE 504122.7
AT ITER 1037 NEW BEST:: SOT 1442375 SOS 906491 HAS SOPS 906491 HAS SOUS 503006 HAS SOUPS 503006 WITH SCORE 503912.491
AT ITER 1039 NEW BEST:: SOT 1442375 SOS 906374 HAS SOPS 906374 HAS SOUS 502889 HAS SOUPS 502889 WITH SCORE 503795.374
AT ITER 1046 NEW BEST:: SOT 1441732 SOS 904896 HAS SOPS 904896 HAS SOUS 501230 HAS SOUPS 501230 WITH SCORE 502134.896
AT ITER 1047 NEW BEST:: SOT 1441502 SOS 904666 HAS SOPS 904666 HAS SOUS 501000 HAS SOUPS 501000 WITH SCORE 501904.666
AT ITER 1051 NEW BEST:: SOT 1441469 SOS 904600 HAS SOPS 904600 HAS SOUS 500934 HAS SOUPS 500934 WITH SCORE 501838.6
AT ITER 1053 NEW BEST:: SOT 1441469 SOS 904464 HAS SOPS 904464 HAS SOUS 500798 HAS SOUPS 500798 WITH SCORE 501702.464
AT ITER 1054 NEW BEST:: SOT 1436167 SOS 899398 HAS SOPS 899398 HAS SOUS 494890 HAS SOUPS 494890 WITH SCORE 495789.398
AT ITER 1057 NEW BEST:: SOT 1436069 SOS 899300 HAS SOPS 899300 HAS SOUS 494790 HAS SOUPS 494790 WITH SCORE 495689.3
AT ITER 1060 NEW BEST:: SOT 1436069 SOS 898853 HAS SOPS 898853 HAS SOUS 494606 HAS SOUPS 494606 WITH SCORE 495504.853
AT ITER 1071 NEW BEST:: SOT 1436060 SOS 898844 HAS SOPS 898844 HAS SOUS 494597 HAS SOUPS 494597 WITH SCORE 495495.844
AT ITER 1079 NEW BEST:: SOT 1435877 SOS 898479 HAS SOPS 898479 HAS SOUS 494419 HAS SOUPS 494419 WITH SCORE 495317.479
AT ITER 1087 NEW BEST:: SOT 1435216 SOS 897726 HAS SOPS 897726 HAS SOUS 493853 HAS SOUPS 493853 WITH SCORE 494750.726
AT ITER 1093 NEW BEST:: SOT 1434528 SOS 896706 HAS SOPS 896706 HAS SOUS 493473 HAS SOUPS 493473 WITH SCORE 494369.706
AT ITER 1098 NEW BEST:: SOT 1434356 SOS 896534 HAS SOPS 896534 HAS SOUS 493223 HAS SOUPS 493223 WITH SCORE 494119.534
AT ITER 1106 NEW BEST:: SOT 1434347 SOS 896332 HAS SOPS 896332 HAS SOUS 493199 HAS SOUPS 493199 WITH SCORE 494095.332
AT ITER 1112 NEW BEST:: SOT 1433861 SOS 894685 HAS SOPS 894685 HAS SOUS 492076 HAS SOUPS 492076 WITH SCORE 492970.685
AT ITER 1113 NEW BEST:: SOT 1429876 SOS 894606 HAS SOPS 894606 HAS SOUS 489260 HAS SOUPS 489260 WITH SCORE 490154.606
AT ITER 1118 NEW BEST:: SOT 1429876 SOS 894624 HAS SOPS 894624 HAS SOUS 488781 HAS SOUPS 488781 WITH SCORE 489675.624
AT ITER 1120 NEW BEST:: SOT 1430454 SOS 894539 HAS SOPS 894539 HAS SOUS 488426 HAS SOUPS 488426 WITH SCORE 489320.539
AT ITER 1131 NEW BEST:: SOT 1430408 SOS 894421 HAS SOPS 894421 HAS SOUS 488332 HAS SOUPS 488332 WITH SCORE 489226.421
AT ITER 1133 NEW BEST:: SOT 1430519 SOS 893947 HAS SOPS 893947 HAS SOUS 487858 HAS SOUPS 487858 WITH SCORE 488751.947
AT ITER 1136 NEW BEST:: SOT 1430519 SOS 893239 HAS SOPS 893239 HAS SOUS 487354 HAS SOUPS 487354 WITH SCORE 488247.239
AT ITER 1138 NEW BEST:: SOT 1430496 SOS 892940 HAS SOPS 892940 HAS SOUS 487055 HAS SOUPS 487055 WITH SCORE 487947.94
AT ITER 1147 NEW BEST:: SOT 1430487 SOS 892931 HAS SOPS 892931 HAS SOUS 487055 HAS SOUPS 487055 WITH SCORE 487947.931
AT ITER 1148 NEW BEST:: SOT 1430342 SOS 892786 HAS SOPS 892786 HAS SOUS 486910 HAS SOUPS 486910 WITH SCORE 487802.786
AT ITER 1150 NEW BEST:: SOT 1430342 SOS 895866 HAS SOPS 895866 HAS SOUS 486831 HAS SOUPS 486831 WITH SCORE 487726.866
AT ITER 1157 NEW BEST:: SOT 1430129 SOS 895701 HAS SOPS 895701 HAS SOUS 486730 HAS SOUPS 486730 WITH SCORE 487625.701
AT ITER 1158 NEW BEST:: SOT 1430016 SOS 895588 HAS SOPS 895588 HAS SOUS 486617 HAS SOUPS 486617 WITH SCORE 487512.588
AT ITER 1167 NEW BEST:: SOT 1429947 SOS 895519 HAS SOPS 895519 HAS SOUS 486546 HAS SOUPS 486546 WITH SCORE 487441.519
AT ITER 1169 NEW BEST:: SOT 1417143 SOS 890270 HAS SOPS 890270 HAS SOUS 474420 HAS SOUPS 474420 WITH SCORE 475310.27
AT ITER 1200 NEW BEST:: SOT 1417258 SOS 889657 HAS SOPS 889657 HAS SOUS 474274 HAS SOUPS 474274 WITH SCORE 475163.657
AT ITER 1203 NEW BEST:: SOT 1417258 SOS 889657 HAS SOPS 889657 HAS SOUS 474244 HAS SOUPS 474244 WITH SCORE 475133.657
AT ITER 1206 NEW BEST:: SOT 1416876 SOS 888158 HAS SOPS 888158 HAS SOUS 472997 HAS SOUPS 472997 WITH SCORE 473885.158
AT ITER 1213 NEW BEST:: SOT 1416746 SOS 888028 HAS SOPS 888028 HAS SOUS 472867 HAS SOUPS 472867 WITH SCORE 473755.028
AT ITER 1218 NEW BEST:: SOT 1417103 SOS 888385 HAS SOPS 888385 HAS SOUS 472825 HAS SOUPS 472825 WITH SCORE 473713.385
AT ITER 1222 NEW BEST:: SOT 1416760 SOS 886119 HAS SOPS 886119 HAS SOUS 472188 HAS SOUPS 472188 WITH SCORE 473074.119
AT ITER 1227 NEW BEST:: SOT 1409840 SOS 879167 HAS SOPS 879167 HAS SOUS 465236 HAS SOUPS 465236 WITH SCORE 466115.167
AT ITER 1239 NEW BEST:: SOT 1409689 SOS 879010 HAS SOPS 879010 HAS SOUS 465078 HAS SOUPS 465078 WITH SCORE 465957.01
AT ITER 1246 NEW BEST:: SOT 1408928 SOS 877784 HAS SOPS 877784 HAS SOUS 463781 HAS SOUPS 463781 WITH SCORE 464658.784
AT ITER 1247 NEW BEST:: SOT 1408909 SOS 877746 HAS SOPS 877746 HAS SOUS 463743 HAS SOUPS 463743 WITH SCORE 464620.746
AT ITER 1248 NEW BEST:: SOT 1408783 SOS 877620 HAS SOPS 877620 HAS SOUS 463596 HAS SOUPS 463596 WITH SCORE 464473.62
AT ITER 1251 NEW BEST:: SOT 1408401 SOS 875935 HAS SOPS 875935 HAS SOUS 462994 HAS SOUPS 462994 WITH SCORE 463869.935
AT ITER 1255 NEW BEST:: SOT 1408675 SOS 875767 HAS SOPS 875767 HAS SOUS 462826 HAS SOUPS 462826 WITH SCORE 463701.767
AT ITER 1259 NEW BEST:: SOT 1407696 SOS 875852 HAS SOPS 875852 HAS SOUS 462001 HAS SOUPS 462001 WITH SCORE 462876.852
AT ITER 1265 NEW BEST:: SOT 1407681 SOS 875521 HAS SOPS 875521 HAS SOUS 461713 HAS SOUPS 461713 WITH SCORE 462588.521
AT ITER 1267 NEW BEST:: SOT 1407681 SOS 875519 HAS SOPS 875519 HAS SOUS 461577 HAS SOUPS 461577 WITH SCORE 462452.519
AT ITER 1271 NEW BEST:: SOT 1407585 SOS 875367 HAS SOPS 875367 HAS SOUS 461520 HAS SOUPS 461520 WITH SCORE 462395.367
AT ITER 1278 NEW BEST:: SOT 1407585 SOS 874785 HAS SOPS 874785 HAS SOUS 461423 HAS SOUPS 461423 WITH SCORE 462297.785
AT ITER 1281 NEW BEST:: SOT 1407469 SOS 874669 HAS SOPS 874669 HAS SOUS 461307 HAS SOUPS 461307 WITH SCORE 462181.669
AT ITER 1286 NEW BEST:: SOT 1407188 SOS 874386 HAS SOPS 874386 HAS SOUS 461024 HAS SOUPS 461024 WITH SCORE 461898.386
AT ITER 1288 NEW BEST:: SOT 1407312 SOS 874751 HAS SOPS 874751 HAS SOUS 460933 HAS SOUPS 460933 WITH SCORE 461807.751
AT ITER 1290 NEW BEST:: SOT 1407244 SOS 869636 HAS SOPS 869636 HAS SOUS 460797 HAS SOUPS 460797 WITH SCORE 461666.636
AT ITER 1299 NEW BEST:: SOT 1407505 SOS 869920 HAS SOPS 869920 HAS SOUS 460727 HAS SOUPS 460727 WITH SCORE 461596.92
AT ITER 1309 NEW BEST:: SOT 1405895 SOS 867845 HAS SOPS 867845 HAS SOUS 458580 HAS SOUPS 458580 WITH SCORE 459447.845
AT ITER 1310 NEW BEST:: SOT 1405835 SOS 867785 HAS SOPS 867785 HAS SOUS 458479 HAS SOUPS 458479 WITH SCORE 459346.785
AT ITER 1333 NEW BEST:: SOT 1403302 SOS 866646 HAS SOPS 866646 HAS SOUS 455839 HAS SOUPS 455839 WITH SCORE 456705.646
AT ITER 1346 NEW BEST:: SOT 1403342 SOS 865818 HAS SOPS 865818 HAS SOUS 455824 HAS SOUPS 455824 WITH SCORE 456689.818
AT ITER 1350 NEW BEST:: SOT 1403272 SOS 865748 HAS SOPS 865748 HAS SOUS 455719 HAS SOUPS 455719 WITH SCORE 456584.748
AT ITER 1353 NEW BEST:: SOT 1402653 SOS 865264 HAS SOPS 865264 HAS SOUS 455621 HAS SOUPS 455621 WITH SCORE 456486.264
AT ITER 1378 NEW BEST:: SOT 1402653 SOS 864942 HAS SOPS 864942 HAS SOUS 455621 HAS SOUPS 455621 WITH SCORE 456485.942
AT ITER 1379 NEW BEST:: SOT 1402327 SOS 864270 HAS SOPS 864270 HAS SOUS 454949 HAS SOUPS 454949 WITH SCORE 455813.27
AT ITER 1388 NEW BEST:: SOT 1402327 SOS 865179 HAS SOPS 865179 HAS SOUS 454716 HAS SOUPS 454716 WITH SCORE 455581.179
AT ITER 1403 NEW BEST:: SOT 1401649 SOS 864501 HAS SOPS 864501 HAS SOUS 454038 HAS SOUPS 454038 WITH SCORE 454902.501
AT ITER 1414 NEW BEST:: SOT 1401537 SOS 864036 HAS SOPS 864036 HAS SOUS 454019 HAS SOUPS 454019 WITH SCORE 454883.036
AT ITER 1417 NEW BEST:: SOT 1401888 SOS 870270 HAS SOPS 870270 HAS SOUS 453974 HAS SOUPS 453974 WITH SCORE 454844.27
AT ITER 1418 NEW BEST:: SOT 1402084 SOS 870188 HAS SOPS 870188 HAS SOUS 453637 HAS SOUPS 453637 WITH SCORE 454507.188
AT ITER 1422 NEW BEST:: SOT 1402081 SOS 870182 HAS SOPS 870182 HAS SOUS 453634 HAS SOUPS 453634 WITH SCORE 454504.182
AT ITER 1448 NEW BEST:: SOT 1402096 SOS 869905 HAS SOPS 869905 HAS SOUS 453098 HAS SOUPS 453098 WITH SCORE 453967.905
AT ITER 1463 NEW BEST:: SOT 1402083 SOS 869892 HAS SOPS 869892 HAS SOUS 453085 HAS SOUPS 453085 WITH SCORE 453954.892
AT ITER 1470 NEW BEST:: SOT 1401747 SOS 869556 HAS SOPS 869556 HAS SOUS 453076 HAS SOUPS 453076 WITH SCORE 453945.556
AT ITER 1487 NEW BEST:: SOT 1401737 SOS 869537 HAS SOPS 869537 HAS SOUS 453056 HAS SOUPS 453056 WITH SCORE 453925.537
AT ITER 1491 NEW BEST:: SOT 1401745 SOS 869536 HAS SOPS 869536 HAS SOUS 453055 HAS SOUPS 453055 WITH SCORE 453924.536
AT ITER 1501 NEW BEST:: SOT 1401458 SOS 867514 HAS SOPS 867514 HAS SOUS 452481 HAS SOUPS 452481 WITH SCORE 453348.514
AT ITER 1503 NEW BEST:: SOT 1400763 SOS 865853 HAS SOPS 865853 HAS SOUS 451089 HAS SOUPS 451089 WITH SCORE 451954.853
AT ITER 1506 NEW BEST:: SOT 1400763 SOS 865209 HAS SOPS 865209 HAS SOUS 451008 HAS SOUPS 451008 WITH SCORE 451873.209
AT ITER 1516 NEW BEST:: SOT 1399898 SOS 864343 HAS SOPS 864343 HAS SOUS 450142 HAS SOUPS 450142 WITH SCORE 451006.343
AT ITER 1533 NEW BEST:: SOT 1399754 SOS 864236 HAS SOPS 864236 HAS SOUS 450035 HAS SOUPS 450035 WITH SCORE 450899.236
AT ITER 1534 NEW BEST:: SOT 1400026 SOS 864167 HAS SOPS 864167 HAS SOUS 449979 HAS SOUPS 449979 WITH SCORE 450843.167
AT ITER 1575 NEW BEST:: SOT 1400026 SOS 864185 HAS SOPS 864185 HAS SOUS 449977 HAS SOUPS 449977 WITH SCORE 450841.185
AT ITER 1609 NEW BEST:: SOT 1399726 SOS 863885 HAS SOPS 863885 HAS SOUS 449677 HAS SOUPS 449677 WITH SCORE 450540.885
AT ITER 1613 NEW BEST:: SOT 1399695 SOS 863792 HAS SOPS 863792 HAS SOUS 449669 HAS SOUPS 449669 WITH SCORE 450532.792
AT ITER 1614 NEW BEST:: SOT 1399325 SOS 862208 HAS SOPS 862208 HAS SOUS 448667 HAS SOUPS 448667 WITH SCORE 449529.208
AT ITER 1621 NEW BEST:: SOT 1399382 SOS 861764 HAS SOPS 861764 HAS SOUS 448223 HAS SOUPS 448223 WITH SCORE 449084.764
AT ITER 1628 NEW BEST:: SOT 1398596 SOS 860923 HAS SOPS 860923 HAS SOUS 447345 HAS SOUPS 447345 WITH SCORE 448205.923
AT ITER 1667 NEW BEST:: SOT 1398480 SOS 860807 HAS SOPS 860807 HAS SOUS 447225 HAS SOUPS 447225 WITH SCORE 448085.807
AT ITER 1674 NEW BEST:: SOT 1398406 SOS 860696 HAS SOPS 860696 HAS SOUS 447114 HAS SOUPS 447114 WITH SCORE 447974.696
AT ITER 1675 NEW BEST:: SOT 1398406 SOS 860690 HAS SOPS 860690 HAS SOUS 447108 HAS SOUPS 447108 WITH SCORE 447968.69
AT ITER 1677 NEW BEST:: SOT 1398399 SOS 860405 HAS SOPS 860405 HAS SOUS 447094 HAS SOUPS 447094 WITH SCORE 447954.405
AT ITER 1690 NEW BEST:: SOT 1398045 SOS 859962 HAS SOPS 859962 HAS SOUS 446651 HAS SOUPS 446651 WITH SCORE 447510.962
AT ITER 1699 NEW BEST:: SOT 1398045 SOS 859352 HAS SOPS 859352 HAS SOUS 446352 HAS SOUPS 446352 WITH SCORE 447211.352
AT ITER 1706 NEW BEST:: SOT 1398511 SOS 859194 HAS SOPS 859194 HAS SOUS 446110 HAS SOUPS 446110 WITH SCORE 446969.194
AT ITER 1708 NEW BEST:: SOT 1398438 SOS 859116 HAS SOPS 859116 HAS SOUS 446015 HAS SOUPS 446015 WITH SCORE 446874.116
AT ITER 1710 NEW BEST:: SOT 1398746 SOS 863429 HAS SOPS 863429 HAS SOUS 445766 HAS SOUPS 445766 WITH SCORE 446629.429
AT ITER 1716 NEW BEST:: SOT 1398751 SOS 862745 HAS SOPS 862745 HAS SOUS 445759 HAS SOUPS 445759 WITH SCORE 446621.745
AT ITER 1721 NEW BEST:: SOT 1398722 SOS 862712 HAS SOPS 862712 HAS SOUS 445726 HAS SOUPS 445726 WITH SCORE 446588.712
AT ITER 1730 NEW BEST:: SOT 1398658 SOS 862648 HAS SOPS 862648 HAS SOUS 445657 HAS SOUPS 445657 WITH SCORE 446519.648
AT ITER 1741 NEW BEST:: SOT 1398682 SOS 862390 HAS SOPS 862390 HAS SOUS 445399 HAS SOUPS 445399 WITH SCORE 446261.39
AT ITER 1744 NEW BEST:: SOT 1398669 SOS 862338 HAS SOPS 862338 HAS SOUS 445386 HAS SOUPS 445386 WITH SCORE 446248.338
AT ITER 1752 NEW BEST:: SOT 1398145 SOS 861858 HAS SOPS 861858 HAS SOUS 444906 HAS SOUPS 444906 WITH SCORE 445767.858
AT ITER 1760 NEW BEST:: SOT 1398120 SOS 861808 HAS SOPS 861808 HAS SOUS 444856 HAS SOUPS 444856 WITH SCORE 445717.808
AT ITER 1764 NEW BEST:: SOT 1398020 SOS 861708 HAS SOPS 861708 HAS SOUS 444756 HAS SOUPS 444756 WITH SCORE 445617.708
AT ITER 1771 NEW BEST:: SOT 1397941 SOS 860816 HAS SOPS 860816 HAS SOUS 444147 HAS SOUPS 444147 WITH SCORE 445007.816
AT ITER 1788 NEW BEST:: SOT 1397735 SOS 859835 HAS SOPS 859835 HAS SOUS 443909 HAS SOUPS 443909 WITH SCORE 444768.835
AT ITER 1790 NEW BEST:: SOT 1397004 SOS 857559 HAS SOPS 857559 HAS SOUS 441633 HAS SOUPS 441633 WITH SCORE 442490.559
AT ITER 1803 NEW BEST:: SOT 1396975 SOS 857711 HAS SOPS 857711 HAS SOUS 441624 HAS SOUPS 441624 WITH SCORE 442481.711
AT ITER 1805 NEW BEST:: SOT 1396977 SOS 857611 HAS SOPS 857611 HAS SOUS 441567 HAS SOUPS 441567 WITH SCORE 442424.611
AT ITER 1807 NEW BEST:: SOT 1396639 SOS 857273 HAS SOPS 857273 HAS SOUS 441565 HAS SOUPS 441565 WITH SCORE 442422.273
AT ITER 1811 NEW BEST:: SOT 1396703 SOS 857575 HAS SOPS 857575 HAS SOUS 441419 HAS SOUPS 441419 WITH SCORE 442276.575
AT ITER 1812 NEW BEST:: SOT 1392163 SOS 853437 HAS SOPS 853437 HAS SOUS 437175 HAS SOUPS 437175 WITH SCORE 438028.437
AT ITER 1813 NEW BEST:: SOT 1392027 SOS 853277 HAS SOPS 853277 HAS SOUS 437059 HAS SOUPS 437059 WITH SCORE 437912.277
AT ITER 1819 NEW BEST:: SOT 1391755 SOS 853005 HAS SOPS 853005 HAS SOUS 436384 HAS SOUPS 436384 WITH SCORE 437237.005
AT ITER 1823 NEW BEST:: SOT 1391755 SOS 853005 HAS SOPS 853005 HAS SOUS 436191 HAS SOUPS 436191 WITH SCORE 437044.005
AT ITER 1830 NEW BEST:: SOT 1391427 SOS 852677 HAS SOPS 852677 HAS SOUS 435685 HAS SOUPS 435685 WITH SCORE 436537.677
AT ITER 1834 NEW BEST:: SOT 1391434 SOS 852315 HAS SOPS 852315 HAS SOUS 434949 HAS SOUPS 434949 WITH SCORE 435801.315
AT ITER 1837 NEW BEST:: SOT 1391265 SOS 852056 HAS SOPS 852056 HAS SOUS 434611 HAS SOUPS 434611 WITH SCORE 435463.056
AT ITER 1843 NEW BEST:: SOT 1391265 SOS 851494 HAS SOPS 851494 HAS SOUS 434330 HAS SOUPS 434330 WITH SCORE 435181.494
AT ITER 1844 NEW BEST:: SOT 1390139 SOS 850516 HAS SOPS 850516 HAS SOUS 433242 HAS SOUPS 433242 WITH SCORE 434092.516
AT ITER 1845 NEW BEST:: SOT 1389709 SOS 850302 HAS SOPS 850302 HAS SOUS 432849 HAS SOUPS 432849 WITH SCORE 433699.302
AT ITER 1846 NEW BEST:: SOT 1389486 SOS 849563 HAS SOPS 849563 HAS SOUS 432425 HAS SOUPS 432425 WITH SCORE 433274.563
AT ITER 1847 NEW BEST:: SOT 1388626 SOS 848706 HAS SOPS 848706 HAS SOUS 431568 HAS SOUPS 431568 WITH SCORE 432416.706
AT ITER 1850 NEW BEST:: SOT 1388220 SOS 849248 HAS SOPS 849248 HAS SOUS 430925 HAS SOUPS 430925 WITH SCORE 431774.248
AT ITER 1875 NEW BEST:: SOT 1388089 SOS 848841 HAS SOPS 848841 HAS SOUS 430629 HAS SOUPS 430629 WITH SCORE 431477.841
AT ITER 1915 NEW BEST:: SOT 1387929 SOS 848681 HAS SOPS 848681 HAS SOUS 430469 HAS SOUPS 430469 WITH SCORE 431317.681
AT ITER 1916 NEW BEST:: SOT 1387808 SOS 848256 HAS SOPS 848256 HAS SOUS 430207 HAS SOUPS 430207 WITH SCORE 431055.256
AT ITER 1929 NEW BEST:: SOT 1387933 SOS 848528 HAS SOPS 848528 HAS SOUS 429591 HAS SOUPS 429591 WITH SCORE 430439.528
AT ITER 1940 NEW BEST:: SOT 1387470 SOS 845012 HAS SOPS 845012 HAS SOUS 428629 HAS SOUPS 428629 WITH SCORE 429474.012
AT ITER 1944 NEW BEST:: SOT 1387256 SOS 844691 HAS SOPS 844691 HAS SOUS 428308 HAS SOUPS 428308 WITH SCORE 429152.691
AT ITER 1956 NEW BEST:: SOT 1386820 SOS 844116 HAS SOPS 844116 HAS SOUS 427861 HAS SOUPS 427861 WITH SCORE 428705.116
AT ITER 1976 NEW BEST:: SOT 1386975 SOS 843928 HAS SOPS 843928 HAS SOUS 427673 HAS SOUPS 427673 WITH SCORE 428516.928
AT ITER 1994 NEW BEST:: SOT 1386951 SOS 843904 HAS SOPS 843904 HAS SOUS 427648 HAS SOUPS 427648 WITH SCORE 428491.904
AT ITER 1999 NEW BEST:: SOT 1386950 SOS 843859 HAS SOPS 843859 HAS SOUS 427646 HAS SOUPS 427646 WITH SCORE 428489.859
AT ITER 2000 NEW BEST:: SOT 1386526 SOS 843435 HAS SOPS 843435 HAS SOUS 427222 HAS SOUPS 427222 WITH SCORE 428065.435
AT ITER 2021 NEW BEST:: SOT 1386526 SOS 842692 HAS SOPS 842692 HAS SOUS 427222 HAS SOUPS 427222 WITH SCORE 428064.692
AT ITER 2025 NEW BEST:: SOT 1386425 SOS 842410 HAS SOPS 842410 HAS SOUS 426940 HAS SOUPS 426940 WITH SCORE 427782.41
AT ITER 2033 NEW BEST:: SOT 1386425 SOS 842316 HAS SOPS 842316 HAS SOUS 426933 HAS SOUPS 426933 WITH SCORE 427775.316
AT ITER 2066 NEW BEST:: SOT 1386436 SOS 842267 HAS SOPS 842267 HAS SOUS 426884 HAS SOUPS 426884 WITH SCORE 427726.267
AT ITER 2068 NEW BEST:: SOT 1386435 SOS 842266 HAS SOPS 842266 HAS SOUS 426876 HAS SOUPS 426876 WITH SCORE 427718.266
AT ITER 2072 NEW BEST:: SOT 1386159 SOS 841918 HAS SOPS 841918 HAS SOUS 426528 HAS SOUPS 426528 WITH SCORE 427369.918
AT ITER 2080 NEW BEST:: SOT 1386081 SOS 836064 HAS SOPS 836064 HAS SOUS 426372 HAS SOUPS 426372 WITH SCORE 427208.064
AT ITER 2087 NEW BEST:: SOT 1386081 SOS 835903 HAS SOPS 835903 HAS SOUS 426211 HAS SOUPS 426211 WITH SCORE 427046.903
AT ITER 2097 NEW BEST:: SOT 1386128 SOS 835705 HAS SOPS 835705 HAS SOUS 426013 HAS SOUPS 426013 WITH SCORE 426848.705
AT ITER 2104 NEW BEST:: SOT 1386086 SOS 835663 HAS SOPS 835663 HAS SOUS 425971 HAS SOUPS 425971 WITH SCORE 426806.663
AT ITER 2110 NEW BEST:: SOT 1385885 SOS 835060 HAS SOPS 835060 HAS SOUS 425569 HAS SOUPS 425569 WITH SCORE 426404.06
AT ITER 2113 NEW BEST:: SOT 1385789 SOS 834964 HAS SOPS 834964 HAS SOUS 425473 HAS SOUPS 425473 WITH SCORE 426307.964
AT ITER 2115 NEW BEST:: SOT 1385781 SOS 834956 HAS SOPS 834956 HAS SOUS 425465 HAS SOUPS 425465 WITH SCORE 426299.956
AT ITER 2129 NEW BEST:: SOT 1385638 SOS 835623 HAS SOPS 835623 HAS SOUS 425295 HAS SOUPS 425295 WITH SCORE 426130.623
AT ITER 2147 NEW BEST:: SOT 1384973 SOS 834945 HAS SOPS 834945 HAS SOUS 424205 HAS SOUPS 424205 WITH SCORE 425039.945
AT ITER 2148 NEW BEST:: SOT 1384973 SOS 834945 HAS SOPS 834945 HAS SOUS 423695 HAS SOUPS 423695 WITH SCORE 424529.945
AT ITER 2149 NEW BEST:: SOT 1383137 SOS 833097 HAS SOPS 833097 HAS SOUS 421859 HAS SOUPS 421859 WITH SCORE 422692.097
AT ITER 2158 NEW BEST:: SOT 1383137 SOS 832513 HAS SOPS 832513 HAS SOUS 421858 HAS SOUPS 421858 WITH SCORE 422690.513
AT ITER 2163 NEW BEST:: SOT 1382186 SOS 831508 HAS SOPS 831508 HAS SOUS 420853 HAS SOUPS 420853 WITH SCORE 421684.508
AT ITER 2166 NEW BEST:: SOT 1381975 SOS 831086 HAS SOPS 831086 HAS SOUS 420431 HAS SOUPS 420431 WITH SCORE 421262.086
AT ITER 2177 NEW BEST:: SOT 1381947 SOS 831030 HAS SOPS 831030 HAS SOUS 420375 HAS SOUPS 420375 WITH SCORE 421206.03
AT ITER 2185 NEW BEST:: SOT 1382162 SOS 831245 HAS SOPS 831245 HAS SOUS 420160 HAS SOUPS 420160 WITH SCORE 420991.245
AT ITER 2192 NEW BEST:: SOT 1381702 SOS 830795 HAS SOPS 830795 HAS SOUS 419989 HAS SOUPS 419989 WITH SCORE 420819.795
AT ITER 2195 NEW BEST:: SOT 1381702 SOS 830773 HAS SOPS 830773 HAS SOUS 419967 HAS SOUPS 419967 WITH SCORE 420797.773
AT ITER 2200 NEW BEST:: SOT 1381648 SOS 831141 HAS SOPS 831141 HAS SOUS 419158 HAS SOUPS 419158 WITH SCORE 419989.141
AT ITER 2204 NEW BEST:: SOT 1381903 SOS 830869 HAS SOPS 830869 HAS SOUS 418887 HAS SOUPS 418887 WITH SCORE 419717.869
AT ITER 2206 NEW BEST:: SOT 1381903 SOS 830755 HAS SOPS 830755 HAS SOUS 418886 HAS SOUPS 418886 WITH SCORE 419716.755
AT ITER 2233 NEW BEST:: SOT 1381903 SOS 830657 HAS SOPS 830657 HAS SOUS 418788 HAS SOUPS 418788 WITH SCORE 419618.657
AT ITER 2269 NEW BEST:: SOT 1383144 SOS 831658 HAS SOPS 831658 HAS SOUS 418550 HAS SOUPS 418550 WITH SCORE 419381.658
AT ITER 2274 NEW BEST:: SOT 1383125 SOS 831639 HAS SOPS 831639 HAS SOUS 418512 HAS SOUPS 418512 WITH SCORE 419343.639
AT ITER 2284 NEW BEST:: SOT 1379805 SOS 831890 HAS SOPS 831890 HAS SOUS 414758 HAS SOUPS 414758 WITH SCORE 415589.89
AT ITER 2300 NEW BEST:: SOT 1379804 SOS 831669 HAS SOPS 831669 HAS SOUS 414756 HAS SOUPS 414756 WITH SCORE 415587.669
AT ITER 2307 NEW BEST:: SOT 1379697 SOS 831450 HAS SOPS 831450 HAS SOUS 414537 HAS SOUPS 414537 WITH SCORE 415368.45
AT ITER 2317 NEW BEST:: SOT 1370063 SOS 821816 HAS SOPS 821816 HAS SOUS 404899 HAS SOUPS 404899 WITH SCORE 405720.816
AT ITER 2343 NEW BEST:: SOT 1370026 SOS 821742 HAS SOPS 821742 HAS SOUS 404825 HAS SOUPS 404825 WITH SCORE 405646.742
AT ITER 2354 NEW BEST:: SOT 1370022 SOS 821742 HAS SOPS 821742 HAS SOUS 404824 HAS SOUPS 404824 WITH SCORE 405645.742
AT ITER 2364 NEW BEST:: SOT 1369999 SOS 821659 HAS SOPS 821659 HAS SOUS 404652 HAS SOUPS 404652 WITH SCORE 405473.659
AT ITER 2368 NEW BEST:: SOT 1369970 SOS 821630 HAS SOPS 821630 HAS SOUS 404623 HAS SOUPS 404623 WITH SCORE 405444.63
AT ITER 2391 NEW BEST:: SOT 1369558 SOS 819405 HAS SOPS 819405 HAS SOUS 404574 HAS SOUPS 404574 WITH SCORE 405393.405
AT ITER 2400 NEW BEST:: SOT 1369558 SOS 819369 HAS SOPS 819369 HAS SOUS 404508 HAS SOUPS 404508 WITH SCORE 405327.369
AT ITER 2406 NEW BEST:: SOT 1369558 SOS 818320 HAS SOPS 818320 HAS SOUS 404507 HAS SOUPS 404507 WITH SCORE 405325.32
AT ITER 2414 NEW BEST:: SOT 1368936 SOS 817698 HAS SOPS 817698 HAS SOUS 403885 HAS SOUPS 403885 WITH SCORE 404702.698
AT ITER 2422 NEW BEST:: SOT 1368365 SOS 817127 HAS SOPS 817127 HAS SOUS 402736 HAS SOUPS 402736 WITH SCORE 403553.127
AT ITER 2446 NEW BEST:: SOT 1368518 SOS 817045 HAS SOPS 817045 HAS SOUS 402654 HAS SOUPS 402654 WITH SCORE 403471.045
AT ITER 2447 NEW BEST:: SOT 1368518 SOS 815946 HAS SOPS 815946 HAS SOUS 402584 HAS SOUPS 402584 WITH SCORE 403399.946
AT ITER 2455 NEW BEST:: SOT 1368426 SOS 816294 HAS SOPS 816294 HAS SOUS 402400 HAS SOUPS 402400 WITH SCORE 403216.294
AT ITER 2458 NEW BEST:: SOT 1368478 SOS 814678 HAS SOPS 814678 HAS SOUS 402378 HAS SOUPS 402378 WITH SCORE 403192.678
AT ITER 2460 NEW BEST:: SOT 1368441 SOS 813938 HAS SOPS 813938 HAS SOUS 402304 HAS SOUPS 402304 WITH SCORE 403117.938
AT ITER 2471 NEW BEST:: SOT 1368441 SOS 813938 HAS SOPS 813938 HAS SOUS 401933 HAS SOUPS 401933 WITH SCORE 402746.938
AT ITER 2473 NEW BEST:: SOT 1368441 SOS 813839 HAS SOPS 813839 HAS SOUS 401834 HAS SOUPS 401834 WITH SCORE 402647.839
AT ITER 2481 NEW BEST:: SOT 1368441 SOS 814108 HAS SOPS 814108 HAS SOUS 401529 HAS SOUPS 401529 WITH SCORE 402343.108
AT ITER 2487 NEW BEST:: SOT 1368306 SOS 814092 HAS SOPS 814092 HAS SOUS 401513 HAS SOUPS 401513 WITH SCORE 402327.092
AT ITER 2500 NEW BEST:: SOT 1368116 SOS 813192 HAS SOPS 813192 HAS SOUS 400800 HAS SOUPS 400800 WITH SCORE 401613.192
AT ITER 2504 NEW BEST:: SOT 1368113 SOS 812988 HAS SOPS 812988 HAS SOUS 400680 HAS SOUPS 400680 WITH SCORE 401492.988
AT ITER 2528 NEW BEST:: SOT 1368240 SOS 812708 HAS SOPS 812708 HAS SOUS 400324 HAS SOUPS 400324 WITH SCORE 401136.708
AT ITER 2542 NEW BEST:: SOT 1367814 SOS 812282 HAS SOPS 812282 HAS SOUS 399898 HAS SOUPS 399898 WITH SCORE 400710.282
AT ITER 2549 NEW BEST:: SOT 1368063 SOS 812531 HAS SOPS 812531 HAS SOUS 399841 HAS SOUPS 399841 WITH SCORE 400653.531
AT ITER 2553 NEW BEST:: SOT 1367413 SOS 811881 HAS SOPS 811881 HAS SOUS 399083 HAS SOUPS 399083 WITH SCORE 399894.881
AT ITER 2568 NEW BEST:: SOT 1367411 SOS 811879 HAS SOPS 811879 HAS SOUS 399081 HAS SOUPS 399081 WITH SCORE 399892.879
AT ITER 2588 NEW BEST:: SOT 1366901 SOS 811148 HAS SOPS 811148 HAS SOUS 398727 HAS SOUPS 398727 WITH SCORE 399538.148
AT ITER 2599 NEW BEST:: SOT 1366926 SOS 811487 HAS SOPS 811487 HAS SOUS 398508 HAS SOUPS 398508 WITH SCORE 399319.487
AT ITER 2617 NEW BEST:: SOT 1366870 SOS 811431 HAS SOPS 811431 HAS SOUS 398452 HAS SOUPS 398452 WITH SCORE 399263.431
AT ITER 2628 NEW BEST:: SOT 1366856 SOS 811417 HAS SOPS 811417 HAS SOUS 398438 HAS SOUPS 398438 WITH SCORE 399249.417
AT ITER 2632 NEW BEST:: SOT 1366422 SOS 812318 HAS SOPS 812318 HAS SOUS 398418 HAS SOUPS 398418 WITH SCORE 399230.318
AT ITER 2633 NEW BEST:: SOT 1366126 SOS 812022 HAS SOPS 812022 HAS SOUS 397517 HAS SOUPS 397517 WITH SCORE 398329.022
AT ITER 2644 NEW BEST:: SOT 1365984 SOS 811738 HAS SOPS 811738 HAS SOUS 397517 HAS SOUPS 397517 WITH SCORE 398328.738
AT ITER 2646 NEW BEST:: SOT 1365983 SOS 808956 HAS SOPS 808956 HAS SOUS 397515 HAS SOUPS 397515 WITH SCORE 398323.956
AT ITER 2648 NEW BEST:: SOT 1365983 SOS 808846 HAS SOPS 808846 HAS SOUS 397457 HAS SOUPS 397457 WITH SCORE 398265.846
AT ITER 2669 NEW BEST:: SOT 1365983 SOS 808845 HAS SOPS 808845 HAS SOUS 397456 HAS SOUPS 397456 WITH SCORE 398264.845
AT ITER 2690 NEW BEST:: SOT 1365945 SOS 808807 HAS SOPS 808807 HAS SOUS 397418 HAS SOUPS 397418 WITH SCORE 398226.807
AT ITER 2723 NEW BEST:: SOT 1365522 SOS 809492 HAS SOPS 809492 HAS SOUS 397297 HAS SOUPS 397297 WITH SCORE 398106.492
AT ITER 2745 NEW BEST:: SOT 1365522 SOS 809492 HAS SOPS 809492 HAS SOUS 397296 HAS SOUPS 397296 WITH SCORE 398105.492
AT ITER 2762 NEW BEST:: SOT 1365522 SOS 808724 HAS SOPS 808724 HAS SOUS 397048 HAS SOUPS 397048 WITH SCORE 397856.724
AT ITER 2763 NEW BEST:: SOT 1365507 SOS 808709 HAS SOPS 808709 HAS SOUS 396925 HAS SOUPS 396925 WITH SCORE 397733.709
AT ITER 2765 NEW BEST:: SOT 1365488 SOS 808621 HAS SOPS 808621 HAS SOUS 396885 HAS SOUPS 396885 WITH SCORE 397693.621
AT ITER 2772 NEW BEST:: SOT 1365488 SOS 809131 HAS SOPS 809131 HAS SOUS 396883 HAS SOUPS 396883 WITH SCORE 397692.131
AT ITER 2777 NEW BEST:: SOT 1365285 SOS 809891 HAS SOPS 809891 HAS SOUS 396584 HAS SOUPS 396584 WITH SCORE 397393.891
AT ITER 2808 NEW BEST:: SOT 1365254 SOS 809732 HAS SOPS 809732 HAS SOUS 396477 HAS SOUPS 396477 WITH SCORE 397286.732
AT ITER 2813 NEW BEST:: SOT 1365285 SOS 809399 HAS SOPS 809399 HAS SOUS 396460 HAS SOUPS 396460 WITH SCORE 397269.399
AT ITER 2821 NEW BEST:: SOT 1365410 SOS 809391 HAS SOPS 809391 HAS SOUS 396452 HAS SOUPS 396452 WITH SCORE 397261.391
AT ITER 2824 NEW BEST:: SOT 1365399 SOS 809369 HAS SOPS 809369 HAS SOUS 396430 HAS SOUPS 396430 WITH SCORE 397239.369
AT ITER 2827 NEW BEST:: SOT 1365350 SOS 809320 HAS SOPS 809320 HAS SOUS 396381 HAS SOUPS 396381 WITH SCORE 397190.32
AT ITER 2843 NEW BEST:: SOT 1362554 SOS 806291 HAS SOPS 806291 HAS SOUS 392653 HAS SOUPS 392653 WITH SCORE 393459.291
AT ITER 2849 NEW BEST:: SOT 1362036 SOS 805773 HAS SOPS 805773 HAS SOUS 392135 HAS SOUPS 392135 WITH SCORE 392940.773
AT ITER 2856 NEW BEST:: SOT 1361660 SOS 805301 HAS SOPS 805301 HAS SOUS 391377 HAS SOUPS 391377 WITH SCORE 392182.301
AT ITER 2865 NEW BEST:: SOT 1361217 SOS 804900 HAS SOPS 804900 HAS SOUS 391165 HAS SOUPS 391165 WITH SCORE 391969.9
AT ITER 2870 NEW BEST:: SOT 1360689 SOS 804372 HAS SOPS 804372 HAS SOUS 390932 HAS SOUPS 390932 WITH SCORE 391736.372
AT ITER 2878 NEW BEST:: SOT 1360562 SOS 804245 HAS SOPS 804245 HAS SOUS 390894 HAS SOUPS 390894 WITH SCORE 391698.245
AT ITER 2885 NEW BEST:: SOT 1358922 SOS 801466 HAS SOPS 801466 HAS SOUS 389396 HAS SOUPS 389396 WITH SCORE 390197.466
AT ITER 2897 NEW BEST:: SOT 1358692 SOS 801236 HAS SOPS 801236 HAS SOUS 389166 HAS SOUPS 389166 WITH SCORE 389967.236
AT ITER 2900 NEW BEST:: SOT 1357906 SOS 799627 HAS SOPS 799627 HAS SOUS 387680 HAS SOUPS 387680 WITH SCORE 388479.627
AT ITER 2904 NEW BEST:: SOT 1354849 SOS 797286 HAS SOPS 797286 HAS SOUS 385890 HAS SOUPS 385890 WITH SCORE 386687.286
AT ITER 2906 NEW BEST:: SOT 1354745 SOS 797182 HAS SOPS 797182 HAS SOUS 385786 HAS SOUPS 385786 WITH SCORE 386583.182
AT ITER 2913 NEW BEST:: SOT 1353670 SOS 796572 HAS SOPS 796572 HAS SOUS 385054 HAS SOUPS 385054 WITH SCORE 385850.572
AT ITER 2918 NEW BEST:: SOT 1353277 SOS 796179 HAS SOPS 796179 HAS SOUS 384661 HAS SOUPS 384661 WITH SCORE 385457.179
AT ITER 2929 NEW BEST:: SOT 1353197 SOS 795979 HAS SOPS 795979 HAS SOUS 384541 HAS SOUPS 384541 WITH SCORE 385336.979
AT ITER 2957 NEW BEST:: SOT 1353127 SOS 795941 HAS SOPS 795941 HAS SOUS 384448 HAS SOUPS 384448 WITH SCORE 385243.941
AT ITER 2962 NEW BEST:: SOT 1353127 SOS 795937 HAS SOPS 795937 HAS SOUS 384444 HAS SOUPS 384444 WITH SCORE 385239.937
AT ITER 2973 NEW BEST:: SOT 1352952 SOS 797179 HAS SOPS 797179 HAS SOUS 384138 HAS SOUPS 384138 WITH SCORE 384935.179
AT ITER 2975 NEW BEST:: SOT 1352743 SOS 796093 HAS SOPS 796093 HAS SOUS 383823 HAS SOUPS 383823 WITH SCORE 384619.093
AT ITER 2978 NEW BEST:: SOT 1352280 SOS 795378 HAS SOPS 795378 HAS SOUS 383213 HAS SOUPS 383213 WITH SCORE 384008.378
AT ITER 2987 NEW BEST:: SOT 1352208 SOS 795136 HAS SOPS 795136 HAS SOUS 383128 HAS SOUPS 383128 WITH SCORE 383923.136
AT ITER 2989 NEW BEST:: SOT 1351721 SOS 794649 HAS SOPS 794649 HAS SOUS 382641 HAS SOUPS 382641 WITH SCORE 383435.649
AT ITER 2992 NEW BEST:: SOT 1351532 SOS 794248 HAS SOPS 794248 HAS SOUS 382452 HAS SOUPS 382452 WITH SCORE 383246.248
AT ITER 3027 NEW BEST:: SOT 1351552 SOS 793893 HAS SOPS 793893 HAS SOUS 382401 HAS SOUPS 382401 WITH SCORE 383194.893
AT ITER 3049 NEW BEST:: SOT 1351550 SOS 793211 HAS SOPS 793211 HAS SOUS 382367 HAS SOUPS 382367 WITH SCORE 383160.211
AT ITER 3056 NEW BEST:: SOT 1351415 SOS 792872 HAS SOPS 792872 HAS SOUS 382096 HAS SOUPS 382096 WITH SCORE 382888.872
AT ITER 3057 NEW BEST:: SOT 1351444 SOS 792903 HAS SOPS 792903 HAS SOUS 381793 HAS SOUPS 381793 WITH SCORE 382585.903
AT ITER 3067 NEW BEST:: SOT 1351248 SOS 792657 HAS SOPS 792657 HAS SOUS 381547 HAS SOUPS 381547 WITH SCORE 382339.657
AT ITER 3074 NEW BEST:: SOT 1351045 SOS 792251 HAS SOPS 792251 HAS SOUS 381141 HAS SOUPS 381141 WITH SCORE 381933.251
AT ITER 3080 NEW BEST:: SOT 1351045 SOS 791793 HAS SOPS 791793 HAS SOUS 380460 HAS SOUPS 380460 WITH SCORE 381251.793
AT ITER 3093 NEW BEST:: SOT 1350953 SOS 791610 HAS SOPS 791610 HAS SOUS 380274 HAS SOUPS 380274 WITH SCORE 381065.61
AT ITER 3103 NEW BEST:: SOT 1350696 SOS 791353 HAS SOPS 791353 HAS SOUS 380017 HAS SOUPS 380017 WITH SCORE 380808.353
AT ITER 3112 NEW BEST:: SOT 1350536 SOS 791702 HAS SOPS 791702 HAS SOUS 379827 HAS SOUPS 379827 WITH SCORE 380618.702
AT ITER 3120 NEW BEST:: SOT 1350536 SOS 791702 HAS SOPS 791702 HAS SOUS 379798 HAS SOUPS 379798 WITH SCORE 380589.702
AT ITER 3139 NEW BEST:: SOT 1350399 SOS 791261 HAS SOPS 791261 HAS SOUS 379357 HAS SOUPS 379357 WITH SCORE 380148.261
AT ITER 3148 NEW BEST:: SOT 1350017 SOS 790879 HAS SOPS 790879 HAS SOUS 379093 HAS SOUPS 379093 WITH SCORE 379883.879
AT ITER 3172 NEW BEST:: SOT 1350017 SOS 790833 HAS SOPS 790833 HAS SOUS 379047 HAS SOUPS 379047 WITH SCORE 379837.833
AT ITER 3210 NEW BEST:: SOT 1349927 SOS 790872 HAS SOPS 790872 HAS SOUS 378957 HAS SOUPS 378957 WITH SCORE 379747.872
AT ITER 3212 NEW BEST:: SOT 1349927 SOS 790872 HAS SOPS 790872 HAS SOUS 378902 HAS SOUPS 378902 WITH SCORE 379692.872
AT ITER 3228 NEW BEST:: SOT 1349925 SOS 790314 HAS SOPS 790314 HAS SOUS 378843 HAS SOUPS 378843 WITH SCORE 379633.314
AT ITER 3232 NEW BEST:: SOT 1349761 SOS 789822 HAS SOPS 789822 HAS SOUS 378351 HAS SOUPS 378351 WITH SCORE 379140.822
AT ITER 3234 NEW BEST:: SOT 1349527 SOS 789576 HAS SOPS 789576 HAS SOUS 378105 HAS SOUPS 378105 WITH SCORE 378894.576
AT ITER 3240 NEW BEST:: SOT 1349527 SOS 790120 HAS SOPS 790120 HAS SOUS 378023 HAS SOUPS 378023 WITH SCORE 378813.12
AT ITER 3245 NEW BEST:: SOT 1349525 SOS 788817 HAS SOPS 788817 HAS SOUS 377779 HAS SOUPS 377779 WITH SCORE 378567.817
AT ITER 3258 NEW BEST:: SOT 1349442 SOS 788258 HAS SOPS 788258 HAS SOUS 377220 HAS SOUPS 377220 WITH SCORE 378008.258
AT ITER 3264 NEW BEST:: SOT 1349528 SOS 788097 HAS SOPS 788097 HAS SOUS 377059 HAS SOUPS 377059 WITH SCORE 377847.097
AT ITER 3279 NEW BEST:: SOT 1348964 SOS 787598 HAS SOPS 787598 HAS SOUS 376701 HAS SOUPS 376701 WITH SCORE 377488.598
AT ITER 3285 NEW BEST:: SOT 1348976 SOS 785974 HAS SOPS 785974 HAS SOUS 376268 HAS SOUPS 376268 WITH SCORE 377053.974
AT ITER 3287 NEW BEST:: SOT 1347820 SOS 785311 HAS SOPS 785311 HAS SOUS 375343 HAS SOUPS 375343 WITH SCORE 376128.311
AT ITER 3288 NEW BEST:: SOT 1347633 SOS 785084 HAS SOPS 785084 HAS SOUS 375263 HAS SOUPS 375263 WITH SCORE 376048.084
AT ITER 3318 NEW BEST:: SOT 1347861 SOS 785059 HAS SOPS 785059 HAS SOUS 375238 HAS SOUPS 375238 WITH SCORE 376023.059
AT ITER 3348 NEW BEST:: SOT 1347705 SOS 784903 HAS SOPS 784903 HAS SOUS 375073 HAS SOUPS 375073 WITH SCORE 375857.903
AT ITER 3350 NEW BEST:: SOT 1347553 SOS 784751 HAS SOPS 784751 HAS SOUS 374921 HAS SOUPS 374921 WITH SCORE 375705.751
AT ITER 3369 NEW BEST:: SOT 1347526 SOS 784502 HAS SOPS 784502 HAS SOUS 374867 HAS SOUPS 374867 WITH SCORE 375651.502
AT ITER 3374 NEW BEST:: SOT 1347519 SOS 784495 HAS SOPS 784495 HAS SOUS 374860 HAS SOUPS 374860 WITH SCORE 375644.495
AT ITER 3394 NEW BEST:: SOT 1347507 SOS 784471 HAS SOPS 784471 HAS SOUS 374814 HAS SOUPS 374814 WITH SCORE 375598.471
AT ITER 3396 NEW BEST:: SOT 1347357 SOS 783871 HAS SOPS 783871 HAS SOUS 374350 HAS SOUPS 374350 WITH SCORE 375133.871
AT ITER 3424 NEW BEST:: SOT 1347347 SOS 783472 HAS SOPS 783472 HAS SOUS 374311 HAS SOUPS 374311 WITH SCORE 375094.472
AT ITER 3439 NEW BEST:: SOT 1347347 SOS 783446 HAS SOPS 783446 HAS SOUS 374272 HAS SOUPS 374272 WITH SCORE 375055.446
AT ITER 3444 NEW BEST:: SOT 1347388 SOS 783405 HAS SOPS 783405 HAS SOUS 374272 HAS SOUPS 374272 WITH SCORE 375055.405
AT ITER 3456 NEW BEST:: SOT 1347274 SOS 783291 HAS SOPS 783291 HAS SOUS 374158 HAS SOUPS 374158 WITH SCORE 374941.291
AT ITER 3466 NEW BEST:: SOT 1347186 SOS 783203 HAS SOPS 783203 HAS SOUS 373962 HAS SOUPS 373962 WITH SCORE 374745.203
AT ITER 3477 NEW BEST:: SOT 1347003 SOS 782980 HAS SOPS 782980 HAS SOUS 373739 HAS SOUPS 373739 WITH SCORE 374521.98
AT ITER 3487 NEW BEST:: SOT 1346942 SOS 782919 HAS SOPS 782919 HAS SOUS 373711 HAS SOUPS 373711 WITH SCORE 374493.919
AT ITER 3488 NEW BEST:: SOT 1346932 SOS 782909 HAS SOPS 782909 HAS SOUS 373700 HAS SOUPS 373700 WITH SCORE 374482.909
AT ITER 3526 NEW BEST:: SOT 1346869 SOS 782846 HAS SOPS 782846 HAS SOUS 373636 HAS SOUPS 373636 WITH SCORE 374418.846
AT ITER 3552 NEW BEST:: SOT 1346572 SOS 783270 HAS SOPS 783270 HAS SOUS 373444 HAS SOUPS 373444 WITH SCORE 374227.27
AT ITER 3553 NEW BEST:: SOT 1346541 SOS 783208 HAS SOPS 783208 HAS SOUS 373382 HAS SOUPS 373382 WITH SCORE 374165.208
AT ITER 3569 NEW BEST:: SOT 1346823 SOS 783074 HAS SOPS 783074 HAS SOUS 373248 HAS SOUPS 373248 WITH SCORE 374031.074
AT ITER 3591 NEW BEST:: SOT 1346822 SOS 783073 HAS SOPS 783073 HAS SOUS 373246 HAS SOUPS 373246 WITH SCORE 374029.073
AT ITER 3593 NEW BEST:: SOT 1345876 SOS 782634 HAS SOPS 782634 HAS SOUS 372469 HAS SOUPS 372469 WITH SCORE 373251.634
AT ITER 3597 NEW BEST:: SOT 1345530 SOS 782056 HAS SOPS 782056 HAS SOUS 371922 HAS SOUPS 371922 WITH SCORE 372704.056
AT ITER 3598 NEW BEST:: SOT 1345283 SOS 781809 HAS SOPS 781809 HAS SOUS 371887 HAS SOUPS 371887 WITH SCORE 372668.809
AT ITER 3609 NEW BEST:: SOT 1345267 SOS 781740 HAS SOPS 781740 HAS SOUS 371855 HAS SOUPS 371855 WITH SCORE 372636.74
AT ITER 3625 NEW BEST:: SOT 1345180 SOS 781610 HAS SOPS 781610 HAS SOUS 371644 HAS SOUPS 371644 WITH SCORE 372425.61
AT ITER 3626 NEW BEST:: SOT 1345168 SOS 781596 HAS SOPS 781596 HAS SOUS 371630 HAS SOUPS 371630 WITH SCORE 372411.596
AT ITER 3627 NEW BEST:: SOT 1345168 SOS 781225 HAS SOPS 781225 HAS SOUS 371620 HAS SOUPS 371620 WITH SCORE 372401.225
AT ITER 3647 NEW BEST:: SOT 1345168 SOS 780934 HAS SOPS 780934 HAS SOUS 371329 HAS SOUPS 371329 WITH SCORE 372109.934
AT ITER 3661 NEW BEST:: SOT 1345243 SOS 780608 HAS SOPS 780608 HAS SOUS 370848 HAS SOUPS 370848 WITH SCORE 371628.608
AT ITER 3680 NEW BEST:: SOT 1343941 SOS 779306 HAS SOPS 779306 HAS SOUS 369630 HAS SOUPS 369630 WITH SCORE 370409.306
AT ITER 3711 NEW BEST:: SOT 1344035 SOS 779518 HAS SOPS 779518 HAS SOUS 369474 HAS SOUPS 369474 WITH SCORE 370253.518
AT ITER 3719 NEW BEST:: SOT 1344040 SOS 779523 HAS SOPS 779523 HAS SOUS 369466 HAS SOUPS 369466 WITH SCORE 370245.523
AT ITER 3743 NEW BEST:: SOT 1344040 SOS 779523 HAS SOPS 779523 HAS SOUS 369380 HAS SOUPS 369380 WITH SCORE 370159.523
AT ITER 3745 NEW BEST:: SOT 1344036 SOS 780193 HAS SOPS 780193 HAS SOUS 369378 HAS SOUPS 369378 WITH SCORE 370158.193
AT ITER 3754 NEW BEST:: SOT 1344036 SOS 780161 HAS SOPS 780161 HAS SOUS 369362 HAS SOUPS 369362 WITH SCORE 370142.161
AT ITER 3760 NEW BEST:: SOT 1344066 SOS 779859 HAS SOPS 779859 HAS SOUS 369222 HAS SOUPS 369222 WITH SCORE 370001.859
AT ITER 3761 NEW BEST:: SOT 1344002 SOS 778763 HAS SOPS 778763 HAS SOUS 369079 HAS SOUPS 369079 WITH SCORE 369857.763
AT ITER 3765 NEW BEST:: SOT 1343721 SOS 778482 HAS SOPS 778482 HAS SOUS 368798 HAS SOUPS 368798 WITH SCORE 369576.482
AT ITER 3779 NEW BEST:: SOT 1342687 SOS 777811 HAS SOPS 777811 HAS SOUS 368311 HAS SOUPS 368311 WITH SCORE 369088.811
AT ITER 3791 NEW BEST:: SOT 1342417 SOS 777110 HAS SOPS 777110 HAS SOUS 367714 HAS SOUPS 367714 WITH SCORE 368491.11
AT ITER 3806 NEW BEST:: SOT 1342405 SOS 777080 HAS SOPS 777080 HAS SOUS 367699 HAS SOUPS 367699 WITH SCORE 368476.08
AT ITER 3810 NEW BEST:: SOT 1342396 SOS 777071 HAS SOPS 777071 HAS SOUS 367690 HAS SOUPS 367690 WITH SCORE 368467.071
AT ITER 3811 NEW BEST:: SOT 1342395 SOS 777070 HAS SOPS 777070 HAS SOUS 367689 HAS SOUPS 367689 WITH SCORE 368466.07
AT ITER 3825 NEW BEST:: SOT 1342393 SOS 777068 HAS SOPS 777068 HAS SOUS 367685 HAS SOUPS 367685 WITH SCORE 368462.068
AT ITER 3830 NEW BEST:: SOT 1342184 SOS 776859 HAS SOPS 776859 HAS SOUS 367460 HAS SOUPS 367460 WITH SCORE 368236.859
AT ITER 3857 NEW BEST:: SOT 1342086 SOS 776440 HAS SOPS 776440 HAS SOUS 367055 HAS SOUPS 367055 WITH SCORE 367831.44
AT ITER 3864 NEW BEST:: SOT 1342828 SOS 777070 HAS SOPS 777070 HAS SOUS 366929 HAS SOUPS 366929 WITH SCORE 367706.07
AT ITER 3879 NEW BEST:: SOT 1342793 SOS 777035 HAS SOPS 777035 HAS SOUS 366766 HAS SOUPS 366766 WITH SCORE 367543.035
AT ITER 3885 NEW BEST:: SOT 1342793 SOS 776930 HAS SOPS 776930 HAS SOUS 366751 HAS SOUPS 366751 WITH SCORE 367527.93
AT ITER 3893 NEW BEST:: SOT 1342681 SOS 776818 HAS SOPS 776818 HAS SOUS 366639 HAS SOUPS 366639 WITH SCORE 367415.818
AT ITER 3894 NEW BEST:: SOT 1342585 SOS 776530 HAS SOPS 776530 HAS SOUS 366543 HAS SOUPS 366543 WITH SCORE 367319.53
AT ITER 3899 NEW BEST:: SOT 1342579 SOS 776524 HAS SOPS 776524 HAS SOUS 366543 HAS SOUPS 366543 WITH SCORE 367319.524
AT ITER 3911 NEW BEST:: SOT 1342548 SOS 776493 HAS SOPS 776493 HAS SOUS 366512 HAS SOUPS 366512 WITH SCORE 367288.493
AT ITER 3912 NEW BEST:: SOT 1342542 SOS 776087 HAS SOPS 776087 HAS SOUS 366106 HAS SOUPS 366106 WITH SCORE 366882.087
AT ITER 3917 NEW BEST:: SOT 1342542 SOS 775883 HAS SOPS 775883 HAS SOUS 365902 HAS SOUPS 365902 WITH SCORE 366677.883
AT ITER 3919 NEW BEST:: SOT 1342509 SOS 775784 HAS SOPS 775784 HAS SOUS 365803 HAS SOUPS 365803 WITH SCORE 366578.784
AT ITER 3921 NEW BEST:: SOT 1342326 SOS 774380 HAS SOPS 774380 HAS SOUS 365357 HAS SOUPS 365357 WITH SCORE 366131.38
AT ITER 3926 NEW BEST:: SOT 1342326 SOS 774213 HAS SOPS 774213 HAS SOUS 365218 HAS SOUPS 365218 WITH SCORE 365992.213
AT ITER 3962 NEW BEST:: SOT 1342164 SOS 774051 HAS SOPS 774051 HAS SOUS 365056 HAS SOUPS 365056 WITH SCORE 365830.051
AT ITER 3963 NEW BEST:: SOT 1342007 SOS 773479 HAS SOPS 773479 HAS SOUS 364681 HAS SOUPS 364681 WITH SCORE 365454.479
AT ITER 3987 NEW BEST:: SOT 1342007 SOS 773473 HAS SOPS 773473 HAS SOUS 364677 HAS SOUPS 364677 WITH SCORE 365450.473
AT ITER 4006 NEW BEST:: SOT 1342007 SOS 770498 HAS SOPS 770498 HAS SOUS 364649 HAS SOUPS 364649 WITH SCORE 365419.498
AT ITER 4011 NEW BEST:: SOT 1341850 SOS 770311 HAS SOPS 770311 HAS SOUS 364462 HAS SOUPS 364462 WITH SCORE 365232.311
AT ITER 4015 NEW BEST:: SOT 1341926 SOS 769900 HAS SOPS 769900 HAS SOUS 364440 HAS SOUPS 364440 WITH SCORE 365209.9
AT ITER 4018 NEW BEST:: SOT 1341975 SOS 769998 HAS SOPS 769998 HAS SOUS 364433 HAS SOUPS 364433 WITH SCORE 365202.998
AT ITER 4021 NEW BEST:: SOT 1341833 SOS 769717 HAS SOPS 769717 HAS SOUS 364023 HAS SOUPS 364023 WITH SCORE 364792.717
AT ITER 4024 NEW BEST:: SOT 1341804 SOS 769659 HAS SOPS 769659 HAS SOUS 363965 HAS SOUPS 363965 WITH SCORE 364734.659
AT ITER 4031 NEW BEST:: SOT 1338992 SOS 766847 HAS SOPS 766847 HAS SOUS 361143 HAS SOUPS 361143 WITH SCORE 361909.847
AT ITER 4038 NEW BEST:: SOT 1338873 SOS 766728 HAS SOPS 766728 HAS SOUS 361024 HAS SOUPS 361024 WITH SCORE 361790.728
AT ITER 4049 NEW BEST:: SOT 1338884 SOS 766621 HAS SOPS 766621 HAS SOUS 360643 HAS SOUPS 360643 WITH SCORE 361409.621
AT ITER 4054 NEW BEST:: SOT 1338668 SOS 766383 HAS SOPS 766383 HAS SOUS 360216 HAS SOUPS 360216 WITH SCORE 360982.383
AT ITER 4064 NEW BEST:: SOT 1338684 SOS 766545 HAS SOPS 766545 HAS SOUS 360045 HAS SOUPS 360045 WITH SCORE 360811.545
AT ITER 4066 NEW BEST:: SOT 1338469 SOS 766330 HAS SOPS 766330 HAS SOUS 359680 HAS SOUPS 359680 WITH SCORE 360446.33
AT ITER 4068 NEW BEST:: SOT 1338284 SOS 766075 HAS SOPS 766075 HAS SOUS 359425 HAS SOUPS 359425 WITH SCORE 360191.075
AT ITER 4085 NEW BEST:: SOT 1335484 SOS 766989 HAS SOPS 766989 HAS SOUS 358006 HAS SOUPS 358006 WITH SCORE 358772.989
AT ITER 4097 NEW BEST:: SOT 1335602 SOS 766990 HAS SOPS 766990 HAS SOUS 357889 HAS SOUPS 357889 WITH SCORE 358655.99
AT ITER 4132 NEW BEST:: SOT 1335600 SOS 766990 HAS SOPS 766990 HAS SOUS 357885 HAS SOUPS 357885 WITH SCORE 358651.99
AT ITER 4148 NEW BEST:: SOT 1335393 SOS 766706 HAS SOPS 766706 HAS SOUS 356977 HAS SOUPS 356977 WITH SCORE 357743.706
AT ITER 4179 NEW BEST:: SOT 1335393 SOS 766683 HAS SOPS 766683 HAS SOUS 356925 HAS SOUPS 356925 WITH SCORE 357691.683
AT ITER 4235 NEW BEST:: SOT 1335424 SOS 766714 HAS SOPS 766714 HAS SOUS 356916 HAS SOUPS 356916 WITH SCORE 357682.714
AT ITER 4241 NEW BEST:: SOT 1335250 SOS 766778 HAS SOPS 766778 HAS SOUS 356747 HAS SOUPS 356747 WITH SCORE 357513.778
AT ITER 4243 NEW BEST:: SOT 1335207 SOS 766612 HAS SOPS 766612 HAS SOUS 356661 HAS SOUPS 356661 WITH SCORE 357427.612
AT ITER 4269 NEW BEST:: SOT 1335200 SOS 766065 HAS SOPS 766065 HAS SOUS 356647 HAS SOUPS 356647 WITH SCORE 357413.065
AT ITER 4285 NEW BEST:: SOT 1335172 SOS 763843 HAS SOPS 763843 HAS SOUS 356180 HAS SOUPS 356180 WITH SCORE 356943.843
AT ITER 4302 NEW BEST:: SOT 1334716 SOS 763377 HAS SOPS 763377 HAS SOUS 355819 HAS SOUPS 355819 WITH SCORE 356582.377
AT ITER 4306 NEW BEST:: SOT 1334716 SOS 763139 HAS SOPS 763139 HAS SOUS 355819 HAS SOUPS 355819 WITH SCORE 356582.139
AT ITER 4315 NEW BEST:: SOT 1334696 SOS 762823 HAS SOPS 762823 HAS SOUS 355503 HAS SOUPS 355503 WITH SCORE 356265.823
AT ITER 4339 NEW BEST:: SOT 1334696 SOS 763107 HAS SOPS 763107 HAS SOUS 355323 HAS SOUPS 355323 WITH SCORE 356086.107
AT ITER 4358 NEW BEST:: SOT 1334730 SOS 763141 HAS SOPS 763141 HAS SOUS 355252 HAS SOUPS 355252 WITH SCORE 356015.141
AT ITER 4361 NEW BEST:: SOT 1334728 SOS 763102 HAS SOPS 763102 HAS SOUS 355248 HAS SOUPS 355248 WITH SCORE 356011.102
AT ITER 4366 NEW BEST:: SOT 1334643 SOS 762654 HAS SOPS 762654 HAS SOUS 354800 HAS SOUPS 354800 WITH SCORE 355562.654
AT ITER 4375 NEW BEST:: SOT 1334383 SOS 762394 HAS SOPS 762394 HAS SOUS 354768 HAS SOUPS 354768 WITH SCORE 355530.394
AT ITER 4386 NEW BEST:: SOT 1332851 SOS 760902 HAS SOPS 760902 HAS SOUS 353231 HAS SOUPS 353231 WITH SCORE 353991.902
AT ITER 4403 NEW BEST:: SOT 1332893 SOS 760562 HAS SOPS 760562 HAS SOUS 352992 HAS SOUPS 352992 WITH SCORE 353752.562
AT ITER 4411 NEW BEST:: SOT 1332814 SOS 760490 HAS SOPS 760490 HAS SOUS 352850 HAS SOUPS 352850 WITH SCORE 353610.49
AT ITER 4421 NEW BEST:: SOT 1332400 SOS 760076 HAS SOPS 760076 HAS SOUS 352436 HAS SOUPS 352436 WITH SCORE 353196.076
AT ITER 4424 NEW BEST:: SOT 1332199 SOS 759343 HAS SOPS 759343 HAS SOUS 351703 HAS SOUPS 351703 WITH SCORE 352462.343
AT ITER 4430 NEW BEST:: SOT 1332062 SOS 759202 HAS SOPS 759202 HAS SOUS 351403 HAS SOUPS 351403 WITH SCORE 352162.202
AT ITER 4431 NEW BEST:: SOT 1332013 SOS 759153 HAS SOPS 759153 HAS SOUS 351307 HAS SOUPS 351307 WITH SCORE 352066.153
AT ITER 4446 NEW BEST:: SOT 1331836 SOS 758795 HAS SOPS 758795 HAS SOUS 351068 HAS SOUPS 351068 WITH SCORE 351826.795
AT ITER 4447 NEW BEST:: SOT 1331856 SOS 758491 HAS SOPS 758491 HAS SOUS 350930 HAS SOUPS 350930 WITH SCORE 351688.491
AT ITER 4448 NEW BEST:: SOT 1331856 SOS 758137 HAS SOPS 758137 HAS SOUS 350930 HAS SOUPS 350930 WITH SCORE 351688.137
AT ITER 4455 NEW BEST:: SOT 1331938 SOS 758219 HAS SOPS 758219 HAS SOUS 350640 HAS SOUPS 350640 WITH SCORE 351398.219
AT ITER 4458 NEW BEST:: SOT 1331875 SOS 758156 HAS SOPS 758156 HAS SOUS 350577 HAS SOUPS 350577 WITH SCORE 351335.156
AT ITER 4475 NEW BEST:: SOT 1331838 SOS 758107 HAS SOPS 758107 HAS SOUS 350528 HAS SOUPS 350528 WITH SCORE 351286.107
AT ITER 4481 NEW BEST:: SOT 1331653 SOS 757619 HAS SOPS 757619 HAS SOUS 350392 HAS SOUPS 350392 WITH SCORE 351149.619
AT ITER 4489 NEW BEST:: SOT 1331719 SOS 757797 HAS SOPS 757797 HAS SOUS 350299 HAS SOUPS 350299 WITH SCORE 351056.797
AT ITER 4502 NEW BEST:: SOT 1331704 SOS 757767 HAS SOPS 757767 HAS SOUS 350269 HAS SOUPS 350269 WITH SCORE 351026.767
AT ITER 4504 NEW BEST:: SOT 1331668 SOS 757731 HAS SOPS 757731 HAS SOUS 350233 HAS SOUPS 350233 WITH SCORE 350990.731
AT ITER 4510 NEW BEST:: SOT 1330739 SOS 756371 HAS SOPS 756371 HAS SOUS 349064 HAS SOUPS 349064 WITH SCORE 349820.371
AT ITER 4513 NEW BEST:: SOT 1330675 SOS 756155 HAS SOPS 756155 HAS SOUS 348848 HAS SOUPS 348848 WITH SCORE 349604.155
AT ITER 4523 NEW BEST:: SOT 1330684 SOS 756132 HAS SOPS 756132 HAS SOUS 348847 HAS SOUPS 348847 WITH SCORE 349603.132
AT ITER 4531 NEW BEST:: SOT 1330646 SOS 756056 HAS SOPS 756056 HAS SOUS 348771 HAS SOUPS 348771 WITH SCORE 349527.056
AT ITER 4542 NEW BEST:: SOT 1330600 SOS 755964 HAS SOPS 755964 HAS SOUS 348679 HAS SOUPS 348679 WITH SCORE 349434.964
AT ITER 4546 NEW BEST:: SOT 1330479 SOS 755843 HAS SOPS 755843 HAS SOUS 348558 HAS SOUPS 348558 WITH SCORE 349313.843
AT ITER 4554 NEW BEST:: SOT 1330409 SOS 755773 HAS SOPS 755773 HAS SOUS 348535 HAS SOUPS 348535 WITH SCORE 349290.773
AT ITER 4555 NEW BEST:: SOT 1330374 SOS 755465 HAS SOPS 755465 HAS SOUS 348465 HAS SOUPS 348465 WITH SCORE 349220.465
AT ITER 4585 NEW BEST:: SOT 1330271 SOS 755362 HAS SOPS 755362 HAS SOUS 348148 HAS SOUPS 348148 WITH SCORE 348903.362
AT ITER 4594 NEW BEST:: SOT 1330241 SOS 755036 HAS SOPS 755036 HAS SOUS 348088 HAS SOUPS 348088 WITH SCORE 348843.036
AT ITER 4608 NEW BEST:: SOT 1330241 SOS 755019 HAS SOPS 755019 HAS SOUS 348071 HAS SOUPS 348071 WITH SCORE 348826.019
AT ITER 4645 NEW BEST:: SOT 1330089 SOS 754539 HAS SOPS 754539 HAS SOUS 347767 HAS SOUPS 347767 WITH SCORE 348521.539
AT ITER 4665 NEW BEST:: SOT 1330088 SOS 753890 HAS SOPS 753890 HAS SOUS 347765 HAS SOUPS 347765 WITH SCORE 348518.89
AT ITER 4689 NEW BEST:: SOT 1330190 SOS 753528 HAS SOPS 753528 HAS SOUS 347725 HAS SOUPS 347725 WITH SCORE 348478.528
AT ITER 4693 NEW BEST:: SOT 1330217 SOS 753870 HAS SOPS 753870 HAS SOUS 347703 HAS SOUPS 347703 WITH SCORE 348456.87
AT ITER 4695 NEW BEST:: SOT 1330152 SOS 752388 HAS SOPS 752388 HAS SOUS 347598 HAS SOUPS 347598 WITH SCORE 348350.388
AT ITER 4755 NEW BEST:: SOT 1330077 SOS 752312 HAS SOPS 752312 HAS SOUS 347522 HAS SOUPS 347522 WITH SCORE 348274.312
AT ITER 4770 NEW BEST:: SOT 1329805 SOS 752040 HAS SOPS 752040 HAS SOUS 347247 HAS SOUPS 347247 WITH SCORE 347999.04
AT ITER 4773 NEW BEST:: SOT 1329699 SOS 751812 HAS SOPS 751812 HAS SOUS 347019 HAS SOUPS 347019 WITH SCORE 347770.812
AT ITER 4774 NEW BEST:: SOT 1329465 SOS 751608 HAS SOPS 751608 HAS SOUS 346806 HAS SOUPS 346806 WITH SCORE 347557.608
AT ITER 4811 NEW BEST:: SOT 1329214 SOS 751106 HAS SOPS 751106 HAS SOUS 346304 HAS SOUPS 346304 WITH SCORE 347055.106
AT ITER 4828 NEW BEST:: SOT 1329126 SOS 751062 HAS SOPS 751062 HAS SOUS 346259 HAS SOUPS 346259 WITH SCORE 347010.062
AT ITER 4859 NEW BEST:: SOT 1329331 SOS 749927 HAS SOPS 749927 HAS SOUS 346156 HAS SOUPS 346156 WITH SCORE 346905.927
AT ITER 4862 NEW BEST:: SOT 1329227 SOS 749823 HAS SOPS 749823 HAS SOUS 345844 HAS SOUPS 345844 WITH SCORE 346593.823
AT ITER 4869 NEW BEST:: SOT 1329175 SOS 749465 HAS SOPS 749465 HAS SOUS 345617 HAS SOUPS 345617 WITH SCORE 346366.465
AT ITER 4887 NEW BEST:: SOT 1329136 SOS 749319 HAS SOPS 749319 HAS SOUS 345471 HAS SOUPS 345471 WITH SCORE 346220.319
AT ITER 4891 NEW BEST:: SOT 1329136 SOS 749191 HAS SOPS 749191 HAS SOUS 345343 HAS SOUPS 345343 WITH SCORE 346092.191
AT ITER 4929 NEW BEST:: SOT 1329136 SOS 749087 HAS SOPS 749087 HAS SOUS 345343 HAS SOUPS 345343 WITH SCORE 346092.087
AT ITER 4951 NEW BEST:: SOT 1328762 SOS 748713 HAS SOPS 748713 HAS SOUS 344969 HAS SOUPS 344969 WITH SCORE 345717.713
AT ITER 4969 NEW BEST:: SOT 1328875 SOS 749653 HAS SOPS 749653 HAS SOUS 344947 HAS SOUPS 344947 WITH SCORE 345696.653
AT ITER 4972 NEW BEST:: SOT 1329603 SOS 747965 HAS SOPS 747965 HAS SOUS 344631 HAS SOUPS 344631 WITH SCORE 345378.965
AT ITER 4979 NEW BEST:: SOT 1329628 SOS 747990 HAS SOPS 747990 HAS SOUS 344630 HAS SOUPS 344630 WITH SCORE 345377.99
AT ITER 4986 NEW BEST:: SOT 1329659 SOS 747978 HAS SOPS 747978 HAS SOUS 344618 HAS SOUPS 344618 WITH SCORE 345365.978
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-06a-CTLCardinality-00 ( ( ( (AX( potential( (tk(P281)) <= (tk(P1087)) ))) & (AF(potential( ( 2 ) <= (tk(P361)) ))) ) & (AG( ( potential( ( 2 ) <= (tk(P845)) ) | potential( (tk(P914)) <= (tk(P1405)) ) ))) ) & ( ( (AG( potential( (tk(P1130)) <= (tk(P28)) ))) & (! (! potential( (tk(P1013)) <= (tk(P1249)) ))) ) | potential( ( 2 ) <= (tk(P665)) ) ) )
PROPERTY: ASLink-PT-06a-CTLCardinality-01 ( (! (! (AG( potential( ( 2 ) <= (tk(P1004)) ))))) | (AF((EX( potential( ( 2 ) <= (tk(P48)) ))))) )
PROPERTY: ASLink-PT-06a-CTLCardinality-02 (EF((EG( ( potential( (tk(P3)) <= (tk(P45)) ) & potential( ( 1 ) <= (tk(P266)) ) )))))
PROPERTY: ASLink-PT-06a-CTLCardinality-03 ( (! (EF(potential( ( 3 ) <= (tk(P622)) )))) & (EF(potential( ( 1 ) <= (tk(P1401)) ))) )
PROPERTY: ASLink-PT-06a-CTLCardinality-04 (AG( (! ( potential( ( 1 ) <= (tk(P651)) ) | ( potential( ( 3 ) <= (tk(P1238)) ) & potential( ( 3 ) <= (tk(P464)) ) ) ))))
PROPERTY: ASLink-PT-06a-CTLCardinality-05 (EF(potential( ( 3 ) <= (tk(P766)) )))
PROPERTY: ASLink-PT-06a-CTLCardinality-06 ( (EU( potential( (tk(P580)) <= (tk(P1153)) ),( potential( ( 3 ) <= (tk(P410)) ) & potential( ( 3 ) <= (tk(P660)) ) ) )) & ( ( (EX( potential( (tk(P19)) <= (tk(P864)) ))) & ( ( potential( ( 2 ) <= (tk(P567)) ) & potential( ( 2 ) <= (tk(P476)) ) ) & potential( (tk(P931)) <= (tk(P596)) ) ) ) | ( potential( (tk(P1279)) <= (tk(P1210)) ) | potential( (tk(P849)) <= (tk(P30)) ) ) ) )
PROPERTY: ASLink-PT-06a-CTLCardinality-07 (EG( potential( (tk(P591)) <= (tk(P876)) )))
PROPERTY: ASLink-PT-06a-CTLCardinality-08 (EF((AG( potential( ( 3 ) <= (tk(P959)) )))))
PROPERTY: ASLink-PT-06a-CTLCardinality-09 (EG( (EU( potential( ( 1 ) <= (tk(P138)) ),potential( (tk(P396)) <= (tk(P1089)) ) ))))
PROPERTY: ASLink-PT-06a-CTLCardinality-10 (AG( ( ( (! potential( (tk(P276)) <= (tk(P235)) )) & ( potential( (tk(P947)) <= (tk(P1340)) ) & potential( ( 3 ) <= (tk(P803)) ) ) ) | (! ( potential( ( 3 ) <= (tk(P1269)) ) | potential( ( 3 ) <= (tk(P1208)) ) )) )))
PROPERTY: ASLink-PT-06a-CTLCardinality-11 (EG( ( ( ( potential( (tk(P1354)) <= (tk(P826)) ) | potential( ( 2 ) <= (tk(P819)) ) ) | ( potential( (tk(P1363)) <= (tk(P905)) ) | potential( (tk(P884)) <= (tk(P52)) ) ) ) & (EX( potential( (tk(P122)) <= (tk(P459)) ))) )))
PROPERTY: ASLink-PT-06a-CTLCardinality-12 (EG( (AU( potential( (tk(P671)) <= (tk(P173)) ),potential( (tk(P1193)) <= (tk(P918)) ) ))))
PROPERTY: ASLink-PT-06a-CTLCardinality-13 (EF((EF(( potential( ( 2 ) <= (tk(P846)) ) | potential( ( 3 ) <= (tk(P583)) ) )))))
PROPERTY: ASLink-PT-06a-CTLCardinality-14 ( (! (AF(( potential( ( 1 ) <= (tk(P475)) ) & potential( ( 2 ) <= (tk(P43)) ) )))) & ( (! potential( ( 2 ) <= (tk(P935)) )) | (! (AX( potential( ( 3 ) <= (tk(P78)) )))) ) )
PROPERTY: ASLink-PT-06a-CTLCardinality-15 (AU( (EF(potential( ( 1 ) <= (tk(P642)) ))),potential( ( 3 ) <= (tk(P1160)) ) ))

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-06a"
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-06a, 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-158897508100091"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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