Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 20K Apr 12 06:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Apr 12 06:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 23K Apr 11 05:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 80K Apr 11 05:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 16K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 86K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 276K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 20K Apr 10 12:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 58K Apr 10 12:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 25K Apr 9 18:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 92K Apr 9 18:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 9.8K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 20K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.7M 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 PolyORBNT-PT-S05J80-CTLCardinality-00
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-01
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-02
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-03
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-04
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-05
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-06
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-07
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-08
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-09
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-10
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-11
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-12
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-13
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-14
FORMULA_NAME PolyORBNT-PT-S05J80-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646422179

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J80
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: 1189 places, 2350 transitions, 14464 arcs.
AT ITER 0 NEW BEST:: SOT 1931564 SOS 971713 HAS SOPS 971713 HAS SOUS 662915 HAS SOUPS 662915 WITH SCORE 663886.713
AT ITER 2 NEW BEST:: SOT 1931477 SOS 971794 HAS SOPS 971794 HAS SOUS 662912 HAS SOUPS 662912 WITH SCORE 663883.794
AT ITER 3 NEW BEST:: SOT 1931474 SOS 971791 HAS SOPS 971791 HAS SOUS 662429 HAS SOUPS 662429 WITH SCORE 663400.791
AT ITER 10 NEW BEST:: SOT 1931279 SOS 971388 HAS SOPS 971388 HAS SOUS 661194 HAS SOUPS 661194 WITH SCORE 662165.388
AT ITER 13 NEW BEST:: SOT 1931080 SOS 970947 HAS SOPS 970947 HAS SOUS 659785 HAS SOUPS 659785 WITH SCORE 660755.947
AT ITER 15 NEW BEST:: SOT 1931020 SOS 970887 HAS SOPS 970887 HAS SOUS 659245 HAS SOUPS 659245 WITH SCORE 660215.887
AT ITER 22 NEW BEST:: SOT 1988926 SOS 1023349 HAS SOPS 1023349 HAS SOUS 651774 HAS SOUPS 651774 WITH SCORE 652797.349
AT ITER 43 NEW BEST:: SOT 1988926 SOS 1023349 HAS SOPS 1023349 HAS SOUS 651374 HAS SOUPS 651374 WITH SCORE 652397.349
AT ITER 61 NEW BEST:: SOT 1988748 SOS 1022768 HAS SOPS 1022768 HAS SOUS 650147 HAS SOUPS 650147 WITH SCORE 651169.768
AT ITER 66 NEW BEST:: SOT 1988633 SOS 1022250 HAS SOPS 1022250 HAS SOUS 649207 HAS SOUPS 649207 WITH SCORE 650229.25
AT ITER 77 NEW BEST:: SOT 1988633 SOS 1022250 HAS SOPS 1022250 HAS SOUS 648807 HAS SOUPS 648807 WITH SCORE 649829.25
AT ITER 85 NEW BEST:: SOT 1988516 SOS 1021730 HAS SOPS 1021730 HAS SOUS 647641 HAS SOUPS 647641 WITH SCORE 648662.73
AT ITER 86 NEW BEST:: SOT 2005803 SOS 1033461 HAS SOPS 1033461 HAS SOUS 640472 HAS SOUPS 640472 WITH SCORE 641505.461
AT ITER 91 NEW BEST:: SOT 2005793 SOS 1032926 HAS SOPS 1032926 HAS SOUS 639725 HAS SOUPS 639725 WITH SCORE 640757.926
AT ITER 102 NEW BEST:: SOT 2005690 SOS 1032975 HAS SOPS 1032975 HAS SOUS 639719 HAS SOUPS 639719 WITH SCORE 640751.975
AT ITER 104 NEW BEST:: SOT 2005678 SOS 1032915 HAS SOPS 1032915 HAS SOUS 639611 HAS SOUPS 639611 WITH SCORE 640643.915
AT ITER 106 NEW BEST:: SOT 2005594 SOS 1032501 HAS SOPS 1032501 HAS SOUS 638885 HAS SOUPS 638885 WITH SCORE 639917.501
AT ITER 107 NEW BEST:: SOT 2005559 SOS 1031943 HAS SOPS 1031943 HAS SOUS 638109 HAS SOUPS 638109 WITH SCORE 639140.943
AT ITER 112 NEW BEST:: SOT 2005282 SOS 1031142 HAS SOPS 1031142 HAS SOUS 636910 HAS SOUPS 636910 WITH SCORE 637941.142
AT ITER 125 NEW BEST:: SOT 2005282 SOS 1031142 HAS SOPS 1031142 HAS SOUS 636510 HAS SOUPS 636510 WITH SCORE 637541.142
AT ITER 152 NEW BEST:: SOT 2005282 SOS 1030637 HAS SOPS 1030637 HAS SOUS 635733 HAS SOUPS 635733 WITH SCORE 636763.637
AT ITER 160 NEW BEST:: SOT 2005481 SOS 1030293 HAS SOPS 1030293 HAS SOUS 635244 HAS SOUPS 635244 WITH SCORE 636274.293
AT ITER 162 NEW BEST:: SOT 2005343 SOS 1029637 HAS SOPS 1029637 HAS SOUS 634172 HAS SOUPS 634172 WITH SCORE 635201.637
AT ITER 163 NEW BEST:: SOT 2005161 SOS 1029455 HAS SOPS 1029455 HAS SOUS 633990 HAS SOUPS 633990 WITH SCORE 635019.455
AT ITER 165 NEW BEST:: SOT 2005042 SOS 1029472 HAS SOPS 1029472 HAS SOUS 633940 HAS SOUPS 633940 WITH SCORE 634969.472
AT ITER 167 NEW BEST:: SOT 2005050 SOS 1030149 HAS SOPS 1030149 HAS SOUS 633771 HAS SOUPS 633771 WITH SCORE 634801.149
AT ITER 171 NEW BEST:: SOT 2005073 SOS 1030172 HAS SOPS 1030172 HAS SOUS 633314 HAS SOUPS 633314 WITH SCORE 634344.172
AT ITER 180 NEW BEST:: SOT 2005114 SOS 1029649 HAS SOPS 1029649 HAS SOUS 632725 HAS SOUPS 632725 WITH SCORE 633754.649
AT ITER 185 NEW BEST:: SOT 2005113 SOS 1029911 HAS SOPS 1029911 HAS SOUS 632483 HAS SOUPS 632483 WITH SCORE 633512.911
AT ITER 187 NEW BEST:: SOT 1982382 SOS 1007258 HAS SOPS 1007258 HAS SOUS 609830 HAS SOUPS 609830 WITH SCORE 610837.258
AT ITER 188 NEW BEST:: SOT 1982067 SOS 1006435 HAS SOPS 1006435 HAS SOUS 608571 HAS SOUPS 608571 WITH SCORE 609577.435
AT ITER 196 NEW BEST:: SOT 1982024 SOS 1006392 HAS SOPS 1006392 HAS SOUS 608528 HAS SOUPS 608528 WITH SCORE 609534.392
AT ITER 199 NEW BEST:: SOT 1982024 SOS 1006392 HAS SOPS 1006392 HAS SOUS 608324 HAS SOUPS 608324 WITH SCORE 609330.392
AT ITER 227 NEW BEST:: SOT 1981869 SOS 1005706 HAS SOPS 1005706 HAS SOUS 607444 HAS SOUPS 607444 WITH SCORE 608449.706
AT ITER 236 NEW BEST:: SOT 1981869 SOS 1005659 HAS SOPS 1005659 HAS SOUS 607209 HAS SOUPS 607209 WITH SCORE 608214.659
AT ITER 238 NEW BEST:: SOT 1981780 SOS 1005578 HAS SOPS 1005578 HAS SOUS 607160 HAS SOUPS 607160 WITH SCORE 608165.578
AT ITER 239 NEW BEST:: SOT 1761135 SOS 790634 HAS SOPS 790634 HAS SOUS 578423 HAS SOUPS 578423 WITH SCORE 579213.634
AT ITER 252 NEW BEST:: SOT 1761129 SOS 790628 HAS SOPS 790628 HAS SOUS 578417 HAS SOUPS 578417 WITH SCORE 579207.628
AT ITER 281 NEW BEST:: SOT 1760974 SOS 790615 HAS SOPS 790615 HAS SOUS 578234 HAS SOUPS 578234 WITH SCORE 579024.615
AT ITER 284 NEW BEST:: SOT 1760526 SOS 790099 HAS SOPS 790099 HAS SOUS 577650 HAS SOUPS 577650 WITH SCORE 578440.099
AT ITER 287 NEW BEST:: SOT 1760486 SOS 789742 HAS SOPS 789742 HAS SOUS 576718 HAS SOUPS 576718 WITH SCORE 577507.742
AT ITER 303 NEW BEST:: SOT 1760494 SOS 790227 HAS SOPS 790227 HAS SOUS 576485 HAS SOUPS 576485 WITH SCORE 577275.227
AT ITER 307 NEW BEST:: SOT 1760417 SOS 789919 HAS SOPS 789919 HAS SOUS 575715 HAS SOUPS 575715 WITH SCORE 576504.919
AT ITER 312 NEW BEST:: SOT 1760417 SOS 789919 HAS SOPS 789919 HAS SOUS 575481 HAS SOUPS 575481 WITH SCORE 576270.919
AT ITER 314 NEW BEST:: SOT 1760345 SOS 789889 HAS SOPS 789889 HAS SOUS 575409 HAS SOUPS 575409 WITH SCORE 576198.889
AT ITER 317 NEW BEST:: SOT 1760353 SOS 790251 HAS SOPS 790251 HAS SOUS 575135 HAS SOUPS 575135 WITH SCORE 575925.251
AT ITER 324 NEW BEST:: SOT 1760548 SOS 790054 HAS SOPS 790054 HAS SOUS 574470 HAS SOUPS 574470 WITH SCORE 575260.054
AT ITER 346 NEW BEST:: SOT 1760686 SOS 789960 HAS SOPS 789960 HAS SOUS 573414 HAS SOUPS 573414 WITH SCORE 574203.96
AT ITER 349 NEW BEST:: SOT 1760648 SOS 789922 HAS SOPS 789922 HAS SOUS 573376 HAS SOUPS 573376 WITH SCORE 574165.922
AT ITER 355 NEW BEST:: SOT 1760681 SOS 789817 HAS SOPS 789817 HAS SOUS 572848 HAS SOUPS 572848 WITH SCORE 573637.817
AT ITER 367 NEW BEST:: SOT 1760649 SOS 789850 HAS SOPS 789850 HAS SOUS 572745 HAS SOUPS 572745 WITH SCORE 573534.85
AT ITER 376 NEW BEST:: SOT 1760511 SOS 790269 HAS SOPS 790269 HAS SOUS 572623 HAS SOUPS 572623 WITH SCORE 573413.269
AT ITER 388 NEW BEST:: SOT 1760371 SOS 789777 HAS SOPS 789777 HAS SOUS 571383 HAS SOUPS 571383 WITH SCORE 572172.777
AT ITER 392 NEW BEST:: SOT 1760231 SOS 789752 HAS SOPS 789752 HAS SOUS 571304 HAS SOUPS 571304 WITH SCORE 572093.752
AT ITER 393 NEW BEST:: SOT 1760231 SOS 789752 HAS SOPS 789752 HAS SOUS 570950 HAS SOUPS 570950 WITH SCORE 571739.752
AT ITER 397 NEW BEST:: SOT 1760239 SOS 790204 HAS SOPS 790204 HAS SOUS 570706 HAS SOUPS 570706 WITH SCORE 571496.204
AT ITER 412 NEW BEST:: SOT 1760198 SOS 790631 HAS SOPS 790631 HAS SOUS 570172 HAS SOUPS 570172 WITH SCORE 570962.631
AT ITER 415 NEW BEST:: SOT 1760198 SOS 790604 HAS SOPS 790604 HAS SOUS 570163 HAS SOUPS 570163 WITH SCORE 570953.604
AT ITER 416 NEW BEST:: SOT 1760035 SOS 790038 HAS SOPS 790038 HAS SOUS 568951 HAS SOUPS 568951 WITH SCORE 569741.038
AT ITER 435 NEW BEST:: SOT 1760015 SOS 790049 HAS SOPS 790049 HAS SOUS 568946 HAS SOUPS 568946 WITH SCORE 569736.049
AT ITER 438 NEW BEST:: SOT 1760015 SOS 790049 HAS SOPS 790049 HAS SOUS 568853 HAS SOUPS 568853 WITH SCORE 569643.049
AT ITER 441 NEW BEST:: SOT 1759810 SOS 789807 HAS SOPS 789807 HAS SOUS 568463 HAS SOUPS 568463 WITH SCORE 569252.807
AT ITER 442 NEW BEST:: SOT 1759810 SOS 789807 HAS SOPS 789807 HAS SOUS 568094 HAS SOUPS 568094 WITH SCORE 568883.807
AT ITER 448 NEW BEST:: SOT 1759958 SOS 790103 HAS SOPS 790103 HAS SOUS 567994 HAS SOUPS 567994 WITH SCORE 568784.103
AT ITER 449 NEW BEST:: SOT 1760046 SOS 790088 HAS SOPS 790088 HAS SOUS 567515 HAS SOUPS 567515 WITH SCORE 568305.088
AT ITER 456 NEW BEST:: SOT 1760046 SOS 790076 HAS SOPS 790076 HAS SOUS 567250 HAS SOUPS 567250 WITH SCORE 568040.076
AT ITER 461 NEW BEST:: SOT 1759944 SOS 789974 HAS SOPS 789974 HAS SOUS 567148 HAS SOUPS 567148 WITH SCORE 567937.974
AT ITER 462 NEW BEST:: SOT 1759876 SOS 790013 HAS SOPS 790013 HAS SOUS 567127 HAS SOUPS 567127 WITH SCORE 567917.013
AT ITER 464 NEW BEST:: SOT 1759835 SOS 789972 HAS SOPS 789972 HAS SOUS 567086 HAS SOUPS 567086 WITH SCORE 567875.972
AT ITER 465 NEW BEST:: SOT 1759771 SOS 789908 HAS SOPS 789908 HAS SOUS 566894 HAS SOUPS 566894 WITH SCORE 567683.908
AT ITER 476 NEW BEST:: SOT 1759771 SOS 789964 HAS SOPS 789964 HAS SOUS 566838 HAS SOUPS 566838 WITH SCORE 567627.964
AT ITER 478 NEW BEST:: SOT 1759771 SOS 789868 HAS SOPS 789868 HAS SOUS 566438 HAS SOUPS 566438 WITH SCORE 567227.868
AT ITER 480 NEW BEST:: SOT 1759627 SOS 789359 HAS SOPS 789359 HAS SOUS 565330 HAS SOUPS 565330 WITH SCORE 566119.359
AT ITER 483 NEW BEST:: SOT 1759627 SOS 789456 HAS SOPS 789456 HAS SOUS 565233 HAS SOUPS 565233 WITH SCORE 566022.456
AT ITER 485 NEW BEST:: SOT 1759612 SOS 789441 HAS SOPS 789441 HAS SOUS 565218 HAS SOUPS 565218 WITH SCORE 566007.441
AT ITER 488 NEW BEST:: SOT 1759670 SOS 790103 HAS SOPS 790103 HAS SOUS 565104 HAS SOUPS 565104 WITH SCORE 565894.103
AT ITER 492 NEW BEST:: SOT 1759517 SOS 789716 HAS SOPS 789716 HAS SOUS 564015 HAS SOUPS 564015 WITH SCORE 564804.716
AT ITER 494 NEW BEST:: SOT 1759447 SOS 789646 HAS SOPS 789646 HAS SOUS 563945 HAS SOUPS 563945 WITH SCORE 564734.646
AT ITER 495 NEW BEST:: SOT 1759387 SOS 789622 HAS SOPS 789622 HAS SOUS 563885 HAS SOUPS 563885 WITH SCORE 564674.622
AT ITER 496 NEW BEST:: SOT 1759387 SOS 789622 HAS SOPS 789622 HAS SOUS 563792 HAS SOUPS 563792 WITH SCORE 564581.622
AT ITER 531 NEW BEST:: SOT 1759387 SOS 789286 HAS SOPS 789286 HAS SOUS 562981 HAS SOUPS 562981 WITH SCORE 563770.286
AT ITER 532 NEW BEST:: SOT 1759376 SOS 789275 HAS SOPS 789275 HAS SOUS 562970 HAS SOUPS 562970 WITH SCORE 563759.275
AT ITER 540 NEW BEST:: SOT 1759376 SOS 789448 HAS SOPS 789448 HAS SOUS 562810 HAS SOUPS 562810 WITH SCORE 563599.448
AT ITER 549 NEW BEST:: SOT 1759212 SOS 789162 HAS SOPS 789162 HAS SOUS 562166 HAS SOUPS 562166 WITH SCORE 562955.162
AT ITER 553 NEW BEST:: SOT 1759047 SOS 788620 HAS SOPS 788620 HAS SOUS 560950 HAS SOUPS 560950 WITH SCORE 561738.62
AT ITER 558 NEW BEST:: SOT 1759121 SOS 788299 HAS SOPS 788299 HAS SOUS 560176 HAS SOUPS 560176 WITH SCORE 560964.299
AT ITER 562 NEW BEST:: SOT 1759224 SOS 788252 HAS SOPS 788252 HAS SOUS 559564 HAS SOUPS 559564 WITH SCORE 560352.252
AT ITER 567 NEW BEST:: SOT 1759272 SOS 788300 HAS SOPS 788300 HAS SOUS 559132 HAS SOUPS 559132 WITH SCORE 559920.3
AT ITER 569 NEW BEST:: SOT 1759151 SOS 788280 HAS SOPS 788280 HAS SOUS 558918 HAS SOUPS 558918 WITH SCORE 559706.28
AT ITER 572 NEW BEST:: SOT 1759076 SOS 787826 HAS SOPS 787826 HAS SOUS 557784 HAS SOUPS 557784 WITH SCORE 558571.826
AT ITER 584 NEW BEST:: SOT 1758761 SOS 787152 HAS SOPS 787152 HAS SOUS 556508 HAS SOUPS 556508 WITH SCORE 557295.152
AT ITER 590 NEW BEST:: SOT 1758761 SOS 786910 HAS SOPS 786910 HAS SOUS 555541 HAS SOUPS 555541 WITH SCORE 556327.91
AT ITER 606 NEW BEST:: SOT 1758721 SOS 786888 HAS SOPS 786888 HAS SOUS 555459 HAS SOUPS 555459 WITH SCORE 556245.888
AT ITER 609 NEW BEST:: SOT 1758966 SOS 787049 HAS SOPS 787049 HAS SOUS 555351 HAS SOUPS 555351 WITH SCORE 556138.049
AT ITER 617 NEW BEST:: SOT 1758824 SOS 787020 HAS SOPS 787020 HAS SOUS 555276 HAS SOUPS 555276 WITH SCORE 556063.02
AT ITER 620 NEW BEST:: SOT 1758739 SOS 786935 HAS SOPS 786935 HAS SOUS 555191 HAS SOUPS 555191 WITH SCORE 555977.935
AT ITER 622 NEW BEST:: SOT 1758731 SOS 786927 HAS SOPS 786927 HAS SOUS 555183 HAS SOUPS 555183 WITH SCORE 555969.927
AT ITER 623 NEW BEST:: SOT 1758731 SOS 786927 HAS SOPS 786927 HAS SOUS 555160 HAS SOUPS 555160 WITH SCORE 555946.927
AT ITER 637 NEW BEST:: SOT 1758731 SOS 786917 HAS SOPS 786917 HAS SOUS 554430 HAS SOUPS 554430 WITH SCORE 555216.917
AT ITER 640 NEW BEST:: SOT 1758640 SOS 786584 HAS SOPS 786584 HAS SOUS 553502 HAS SOUPS 553502 WITH SCORE 554288.584
AT ITER 643 NEW BEST:: SOT 1758587 SOS 786531 HAS SOPS 786531 HAS SOUS 553449 HAS SOUPS 553449 WITH SCORE 554235.531
AT ITER 660 NEW BEST:: SOT 1758693 SOS 786601 HAS SOPS 786601 HAS SOUS 552100 HAS SOUPS 552100 WITH SCORE 552886.601
AT ITER 666 NEW BEST:: SOT 1758605 SOS 786608 HAS SOPS 786608 HAS SOUS 552057 HAS SOUPS 552057 WITH SCORE 552843.608
AT ITER 668 NEW BEST:: SOT 1758628 SOS 786513 HAS SOPS 786513 HAS SOUS 551490 HAS SOUPS 551490 WITH SCORE 552276.513
AT ITER 675 NEW BEST:: SOT 1758688 SOS 786444 HAS SOPS 786444 HAS SOUS 550905 HAS SOUPS 550905 WITH SCORE 551691.444
AT ITER 686 NEW BEST:: SOT 1758732 SOS 786288 HAS SOPS 786288 HAS SOUS 549949 HAS SOUPS 549949 WITH SCORE 550735.288
AT ITER 687 NEW BEST:: SOT 1758732 SOS 786279 HAS SOPS 786279 HAS SOUS 549904 HAS SOUPS 549904 WITH SCORE 550690.279
AT ITER 700 NEW BEST:: SOT 1757729 SOS 785280 HAS SOPS 785280 HAS SOUS 548905 HAS SOUPS 548905 WITH SCORE 549690.28
AT ITER 704 NEW BEST:: SOT 1757586 SOS 784809 HAS SOPS 784809 HAS SOUS 547902 HAS SOUPS 547902 WITH SCORE 548686.809
AT ITER 705 NEW BEST:: SOT 1757421 SOS 784765 HAS SOPS 784765 HAS SOUS 547820 HAS SOUPS 547820 WITH SCORE 548604.765
AT ITER 710 NEW BEST:: SOT 1757421 SOS 784737 HAS SOPS 784737 HAS SOUS 546295 HAS SOUPS 546295 WITH SCORE 547079.737
AT ITER 717 NEW BEST:: SOT 1732894 SOS 760326 HAS SOPS 760326 HAS SOUS 521884 HAS SOUPS 521884 WITH SCORE 522644.326
AT ITER 722 NEW BEST:: SOT 1732902 SOS 760790 HAS SOPS 760790 HAS SOUS 521677 HAS SOUPS 521677 WITH SCORE 522437.79
AT ITER 730 NEW BEST:: SOT 1732902 SOS 760790 HAS SOPS 760790 HAS SOUS 521370 HAS SOUPS 521370 WITH SCORE 522130.79
AT ITER 740 NEW BEST:: SOT 1732797 SOS 760763 HAS SOPS 760763 HAS SOUS 521291 HAS SOUPS 521291 WITH SCORE 522051.763
AT ITER 741 NEW BEST:: SOT 1732895 SOS 760619 HAS SOPS 760619 HAS SOUS 520179 HAS SOUPS 520179 WITH SCORE 520939.619
AT ITER 742 NEW BEST:: SOT 1732735 SOS 760058 HAS SOPS 760058 HAS SOUS 519160 HAS SOUPS 519160 WITH SCORE 519920.058
AT ITER 744 NEW BEST:: SOT 1732689 SOS 760012 HAS SOPS 760012 HAS SOUS 519114 HAS SOUPS 519114 WITH SCORE 519874.012
AT ITER 751 NEW BEST:: SOT 1733035 SOS 760034 HAS SOPS 760034 HAS SOUS 518574 HAS SOUPS 518574 WITH SCORE 519334.034
AT ITER 757 NEW BEST:: SOT 1733017 SOS 760054 HAS SOPS 760054 HAS SOUS 518114 HAS SOUPS 518114 WITH SCORE 518874.054
AT ITER 765 NEW BEST:: SOT 1732971 SOS 760008 HAS SOPS 760008 HAS SOUS 518068 HAS SOUPS 518068 WITH SCORE 518828.008
AT ITER 771 NEW BEST:: SOT 1732944 SOS 759906 HAS SOPS 759906 HAS SOUS 517998 HAS SOUPS 517998 WITH SCORE 518757.906
AT ITER 776 NEW BEST:: SOT 1733059 SOS 759861 HAS SOPS 759861 HAS SOUS 517520 HAS SOUPS 517520 WITH SCORE 518279.861
AT ITER 778 NEW BEST:: SOT 1733158 SOS 759890 HAS SOPS 759890 HAS SOUS 517359 HAS SOUPS 517359 WITH SCORE 518118.89
AT ITER 780 NEW BEST:: SOT 1733209 SOS 759897 HAS SOPS 759897 HAS SOUS 517241 HAS SOUPS 517241 WITH SCORE 518000.897
AT ITER 786 NEW BEST:: SOT 1733209 SOS 759893 HAS SOPS 759893 HAS SOUS 517233 HAS SOUPS 517233 WITH SCORE 517992.893
AT ITER 787 NEW BEST:: SOT 1733209 SOS 759893 HAS SOPS 759893 HAS SOUS 517186 HAS SOUPS 517186 WITH SCORE 517945.893
AT ITER 788 NEW BEST:: SOT 1732974 SOS 759658 HAS SOPS 759658 HAS SOUS 516731 HAS SOUPS 516731 WITH SCORE 517490.658
AT ITER 789 NEW BEST:: SOT 1732945 SOS 759600 HAS SOPS 759600 HAS SOUS 516541 HAS SOUPS 516541 WITH SCORE 517300.6
AT ITER 792 NEW BEST:: SOT 1732878 SOS 759146 HAS SOPS 759146 HAS SOUS 515554 HAS SOUPS 515554 WITH SCORE 516313.146
AT ITER 794 NEW BEST:: SOT 1732764 SOS 759032 HAS SOPS 759032 HAS SOUS 515157 HAS SOUPS 515157 WITH SCORE 515916.032
AT ITER 795 NEW BEST:: SOT 1733425 SOS 759485 HAS SOPS 759485 HAS SOUS 514704 HAS SOUPS 514704 WITH SCORE 515463.485
AT ITER 817 NEW BEST:: SOT 1733425 SOS 759485 HAS SOPS 759485 HAS SOUS 514484 HAS SOUPS 514484 WITH SCORE 515243.485
AT ITER 831 NEW BEST:: SOT 1733425 SOS 759485 HAS SOPS 759485 HAS SOUS 514373 HAS SOUPS 514373 WITH SCORE 515132.485
AT ITER 833 NEW BEST:: SOT 1733327 SOS 759387 HAS SOPS 759387 HAS SOUS 514177 HAS SOUPS 514177 WITH SCORE 514936.387
AT ITER 835 NEW BEST:: SOT 1733271 SOS 759126 HAS SOPS 759126 HAS SOUS 513277 HAS SOUPS 513277 WITH SCORE 514036.126
AT ITER 839 NEW BEST:: SOT 1733173 SOS 759185 HAS SOPS 759185 HAS SOUS 513265 HAS SOUPS 513265 WITH SCORE 514024.185
AT ITER 852 NEW BEST:: SOT 1733298 SOS 759203 HAS SOPS 759203 HAS SOUS 513125 HAS SOUPS 513125 WITH SCORE 513884.203
AT ITER 855 NEW BEST:: SOT 1732549 SOS 758454 HAS SOPS 758454 HAS SOUS 512376 HAS SOUPS 512376 WITH SCORE 513134.454
AT ITER 869 NEW BEST:: SOT 1732471 SOS 758376 HAS SOPS 758376 HAS SOUS 512298 HAS SOUPS 512298 WITH SCORE 513056.376
AT ITER 870 NEW BEST:: SOT 1732470 SOS 758375 HAS SOPS 758375 HAS SOUS 512297 HAS SOUPS 512297 WITH SCORE 513055.375
AT ITER 876 NEW BEST:: SOT 1732470 SOS 758375 HAS SOPS 758375 HAS SOUS 511862 HAS SOUPS 511862 WITH SCORE 512620.375
AT ITER 880 NEW BEST:: SOT 1732340 SOS 758245 HAS SOPS 758245 HAS SOUS 510946 HAS SOUPS 510946 WITH SCORE 511704.245
AT ITER 885 NEW BEST:: SOT 1732340 SOS 758144 HAS SOPS 758144 HAS SOUS 510845 HAS SOUPS 510845 WITH SCORE 511603.144
AT ITER 886 NEW BEST:: SOT 1732524 SOS 758230 HAS SOPS 758230 HAS SOUS 510686 HAS SOUPS 510686 WITH SCORE 511444.23
AT ITER 887 NEW BEST:: SOT 1732524 SOS 758161 HAS SOPS 758161 HAS SOUS 510617 HAS SOUPS 510617 WITH SCORE 511375.161
AT ITER 890 NEW BEST:: SOT 1732281 SOS 757918 HAS SOPS 757918 HAS SOUS 510374 HAS SOUPS 510374 WITH SCORE 511131.918
AT ITER 898 NEW BEST:: SOT 1732247 SOS 757884 HAS SOPS 757884 HAS SOUS 510340 HAS SOUPS 510340 WITH SCORE 511097.884
AT ITER 900 NEW BEST:: SOT 1732192 SOS 757645 HAS SOPS 757645 HAS SOUS 510192 HAS SOUPS 510192 WITH SCORE 510949.645
AT ITER 926 NEW BEST:: SOT 1732192 SOS 757504 HAS SOPS 757504 HAS SOUS 509487 HAS SOUPS 509487 WITH SCORE 510244.504
AT ITER 928 NEW BEST:: SOT 1732087 SOS 757399 HAS SOPS 757399 HAS SOUS 509283 HAS SOUPS 509283 WITH SCORE 510040.399
AT ITER 929 NEW BEST:: SOT 1731977 SOS 757350 HAS SOPS 757350 HAS SOUS 509173 HAS SOUPS 509173 WITH SCORE 509930.35
AT ITER 930 NEW BEST:: SOT 1731933 SOS 757306 HAS SOPS 757306 HAS SOUS 509129 HAS SOUPS 509129 WITH SCORE 509886.306
AT ITER 933 NEW BEST:: SOT 1731830 SOS 757203 HAS SOPS 757203 HAS SOUS 509026 HAS SOUPS 509026 WITH SCORE 509783.203
AT ITER 954 NEW BEST:: SOT 1731704 SOS 757079 HAS SOPS 757079 HAS SOUS 508406 HAS SOUPS 508406 WITH SCORE 509163.079
AT ITER 960 NEW BEST:: SOT 1731704 SOS 756725 HAS SOPS 756725 HAS SOUS 508208 HAS SOUPS 508208 WITH SCORE 508964.725
AT ITER 968 NEW BEST:: SOT 1731553 SOS 756691 HAS SOPS 756691 HAS SOUS 508098 HAS SOUPS 508098 WITH SCORE 508854.691
AT ITER 971 NEW BEST:: SOT 1731514 SOS 756652 HAS SOPS 756652 HAS SOUS 508020 HAS SOUPS 508020 WITH SCORE 508776.652
AT ITER 979 NEW BEST:: SOT 1731630 SOS 756386 HAS SOPS 756386 HAS SOUS 506030 HAS SOUPS 506030 WITH SCORE 506786.386
AT ITER 980 NEW BEST:: SOT 1660923 SOS 853491 HAS SOPS 853491 HAS SOUS 503299 HAS SOUPS 503299 WITH SCORE 504152.491
AT ITER 983 NEW BEST:: SOT 1660962 SOS 853569 HAS SOPS 853569 HAS SOUS 503161 HAS SOUPS 503161 WITH SCORE 504014.569
AT ITER 997 NEW BEST:: SOT 1660926 SOS 853557 HAS SOPS 853557 HAS SOUS 503101 HAS SOUPS 503101 WITH SCORE 503954.557
AT ITER 998 NEW BEST:: SOT 1660926 SOS 853557 HAS SOPS 853557 HAS SOUS 503071 HAS SOUPS 503071 WITH SCORE 503924.557
AT ITER 999 NEW BEST:: SOT 1660926 SOS 853342 HAS SOPS 853342 HAS SOUS 502852 HAS SOUPS 502852 WITH SCORE 503705.342
AT ITER 1002 NEW BEST:: SOT 1660934 SOS 853818 HAS SOPS 853818 HAS SOUS 502672 HAS SOUPS 502672 WITH SCORE 503525.818
AT ITER 1017 NEW BEST:: SOT 1660929 SOS 853813 HAS SOPS 853813 HAS SOUS 502667 HAS SOUPS 502667 WITH SCORE 503520.813
AT ITER 1028 NEW BEST:: SOT 1660836 SOS 853720 HAS SOPS 853720 HAS SOUS 502574 HAS SOUPS 502574 WITH SCORE 503427.72
AT ITER 1031 NEW BEST:: SOT 1661324 SOS 853967 HAS SOPS 853967 HAS SOUS 502140 HAS SOUPS 502140 WITH SCORE 502993.967
AT ITER 1034 NEW BEST:: SOT 1661192 SOS 853986 HAS SOPS 853986 HAS SOUS 502109 HAS SOUPS 502109 WITH SCORE 502962.986
AT ITER 1037 NEW BEST:: SOT 1661109 SOS 853822 HAS SOPS 853822 HAS SOUS 501781 HAS SOUPS 501781 WITH SCORE 502634.822
AT ITER 1038 NEW BEST:: SOT 1660995 SOS 853708 HAS SOPS 853708 HAS SOUS 501667 HAS SOUPS 501667 WITH SCORE 502520.708
AT ITER 1041 NEW BEST:: SOT 1661024 SOS 853737 HAS SOPS 853737 HAS SOUS 501553 HAS SOUPS 501553 WITH SCORE 502406.737
AT ITER 1076 NEW BEST:: SOT 1660969 SOS 853623 HAS SOPS 853623 HAS SOUS 501203 HAS SOUPS 501203 WITH SCORE 502056.623
AT ITER 1078 NEW BEST:: SOT 1660969 SOS 853623 HAS SOPS 853623 HAS SOUS 501050 HAS SOUPS 501050 WITH SCORE 501903.623
AT ITER 1080 NEW BEST:: SOT 1660969 SOS 853623 HAS SOPS 853623 HAS SOUS 500699 HAS SOUPS 500699 WITH SCORE 501552.623
AT ITER 1089 NEW BEST:: SOT 1660969 SOS 853623 HAS SOPS 853623 HAS SOUS 500640 HAS SOUPS 500640 WITH SCORE 501493.623
AT ITER 1091 NEW BEST:: SOT 1660953 SOS 853607 HAS SOPS 853607 HAS SOUS 500622 HAS SOUPS 500622 WITH SCORE 501475.607
AT ITER 1097 NEW BEST:: SOT 1660892 SOS 853424 HAS SOPS 853424 HAS SOUS 499951 HAS SOUPS 499951 WITH SCORE 500804.424
AT ITER 1098 NEW BEST:: SOT 1661755 SOS 854094 HAS SOPS 854094 HAS SOUS 499765 HAS SOUPS 499765 WITH SCORE 500619.094
AT ITER 1099 NEW BEST:: SOT 1661418 SOS 853974 HAS SOPS 853974 HAS SOUS 499241 HAS SOUPS 499241 WITH SCORE 500094.974
AT ITER 1101 NEW BEST:: SOT 1661418 SOS 853974 HAS SOPS 853974 HAS SOUS 498960 HAS SOUPS 498960 WITH SCORE 499813.974
AT ITER 1105 NEW BEST:: SOT 1661272 SOS 853828 HAS SOPS 853828 HAS SOUS 498228 HAS SOUPS 498228 WITH SCORE 499081.828
AT ITER 1107 NEW BEST:: SOT 1661287 SOS 853843 HAS SOPS 853843 HAS SOUS 498213 HAS SOUPS 498213 WITH SCORE 499066.843
AT ITER 1115 NEW BEST:: SOT 1661287 SOS 853855 HAS SOPS 853855 HAS SOUS 498205 HAS SOUPS 498205 WITH SCORE 499058.855
AT ITER 1117 NEW BEST:: SOT 1661287 SOS 853855 HAS SOPS 853855 HAS SOUS 498203 HAS SOUPS 498203 WITH SCORE 499056.855
AT ITER 1119 NEW BEST:: SOT 1661306 SOS 853840 HAS SOPS 853840 HAS SOUS 498033 HAS SOUPS 498033 WITH SCORE 498886.84
AT ITER 1129 NEW BEST:: SOT 1661332 SOS 853892 HAS SOPS 853892 HAS SOUS 497925 HAS SOUPS 497925 WITH SCORE 498778.892
AT ITER 1131 NEW BEST:: SOT 1661195 SOS 853755 HAS SOPS 853755 HAS SOUS 497788 HAS SOUPS 497788 WITH SCORE 498641.755
AT ITER 1138 NEW BEST:: SOT 1661082 SOS 853784 HAS SOPS 853784 HAS SOUS 497770 HAS SOUPS 497770 WITH SCORE 498623.784
AT ITER 1139 NEW BEST:: SOT 1579366 SOS 967490 HAS SOPS 967490 HAS SOUS 492288 HAS SOUPS 492288 WITH SCORE 493255.49
AT ITER 1145 NEW BEST:: SOT 1579573 SOS 967577 HAS SOPS 967577 HAS SOUS 492188 HAS SOUPS 492188 WITH SCORE 493155.577
AT ITER 1166 NEW BEST:: SOT 1579765 SOS 967769 HAS SOPS 967769 HAS SOUS 491435 HAS SOUPS 491435 WITH SCORE 492402.769
AT ITER 1167 NEW BEST:: SOT 1579765 SOS 967688 HAS SOPS 967688 HAS SOUS 490645 HAS SOUPS 490645 WITH SCORE 491612.688
AT ITER 1169 NEW BEST:: SOT 1579765 SOS 967624 HAS SOPS 967624 HAS SOUS 490261 HAS SOUPS 490261 WITH SCORE 491228.624
AT ITER 1178 NEW BEST:: SOT 1579765 SOS 967633 HAS SOPS 967633 HAS SOUS 490229 HAS SOUPS 490229 WITH SCORE 491196.633
AT ITER 1179 NEW BEST:: SOT 1579712 SOS 967702 HAS SOPS 967702 HAS SOUS 490191 HAS SOUPS 490191 WITH SCORE 491158.702
AT ITER 1197 NEW BEST:: SOT 1579917 SOS 967843 HAS SOPS 967843 HAS SOUS 489759 HAS SOUPS 489759 WITH SCORE 490726.843
AT ITER 1199 NEW BEST:: SOT 1579838 SOS 967764 HAS SOPS 967764 HAS SOUS 489680 HAS SOUPS 489680 WITH SCORE 490647.764
AT ITER 1200 NEW BEST:: SOT 1579838 SOS 967764 HAS SOPS 967764 HAS SOUS 489638 HAS SOUPS 489638 WITH SCORE 490605.764
AT ITER 1205 NEW BEST:: SOT 1579414 SOS 967340 HAS SOPS 967340 HAS SOUS 489214 HAS SOUPS 489214 WITH SCORE 490181.34
AT ITER 1210 NEW BEST:: SOT 1578655 SOS 966581 HAS SOPS 966581 HAS SOUS 488455 HAS SOUPS 488455 WITH SCORE 489421.581
AT ITER 1214 NEW BEST:: SOT 1578691 SOS 966617 HAS SOPS 966617 HAS SOUS 487738 HAS SOUPS 487738 WITH SCORE 488704.617
AT ITER 1215 NEW BEST:: SOT 1578872 SOS 966717 HAS SOPS 966717 HAS SOUS 487079 HAS SOUPS 487079 WITH SCORE 488045.717
AT ITER 1223 NEW BEST:: SOT 1578859 SOS 966704 HAS SOPS 966704 HAS SOUS 487064 HAS SOUPS 487064 WITH SCORE 488030.704
AT ITER 1224 NEW BEST:: SOT 1578905 SOS 966750 HAS SOPS 966750 HAS SOUS 486979 HAS SOUPS 486979 WITH SCORE 487945.75
AT ITER 1233 NEW BEST:: SOT 1578943 SOS 966709 HAS SOPS 966709 HAS SOUS 486917 HAS SOUPS 486917 WITH SCORE 487883.709
AT ITER 1236 NEW BEST:: SOT 1578894 SOS 966716 HAS SOPS 966716 HAS SOUS 486902 HAS SOUPS 486902 WITH SCORE 487868.716
AT ITER 1243 NEW BEST:: SOT 1578850 SOS 966700 HAS SOPS 966700 HAS SOUS 486858 HAS SOUPS 486858 WITH SCORE 487824.7
AT ITER 1247 NEW BEST:: SOT 1578774 SOS 966615 HAS SOPS 966615 HAS SOUS 486749 HAS SOUPS 486749 WITH SCORE 487715.615
AT ITER 1249 NEW BEST:: SOT 1578640 SOS 966481 HAS SOPS 966481 HAS SOUS 486643 HAS SOUPS 486643 WITH SCORE 487609.481
AT ITER 1267 NEW BEST:: SOT 1578319 SOS 966160 HAS SOPS 966160 HAS SOUS 486009 HAS SOUPS 486009 WITH SCORE 486975.16
AT ITER 1268 NEW BEST:: SOT 1578180 SOS 966174 HAS SOPS 966174 HAS SOUS 485982 HAS SOUPS 485982 WITH SCORE 486948.174
AT ITER 1275 NEW BEST:: SOT 1578222 SOS 965932 HAS SOPS 965932 HAS SOUS 484394 HAS SOUPS 484394 WITH SCORE 485359.932
AT ITER 1276 NEW BEST:: SOT 1578222 SOS 965932 HAS SOPS 965932 HAS SOUS 484360 HAS SOUPS 484360 WITH SCORE 485325.932
AT ITER 1283 NEW BEST:: SOT 1578252 SOS 966122 HAS SOPS 966122 HAS SOUS 484218 HAS SOUPS 484218 WITH SCORE 485184.122
AT ITER 1285 NEW BEST:: SOT 1578506 SOS 966376 HAS SOPS 966376 HAS SOUS 484120 HAS SOUPS 484120 WITH SCORE 485086.376
AT ITER 1286 NEW BEST:: SOT 1578348 SOS 966218 HAS SOPS 966218 HAS SOUS 483962 HAS SOUPS 483962 WITH SCORE 484928.218
AT ITER 1289 NEW BEST:: SOT 1578348 SOS 966218 HAS SOPS 966218 HAS SOUS 483776 HAS SOUPS 483776 WITH SCORE 484742.218
AT ITER 1298 NEW BEST:: SOT 1578348 SOS 966218 HAS SOPS 966218 HAS SOUS 483121 HAS SOUPS 483121 WITH SCORE 484087.218
AT ITER 1306 NEW BEST:: SOT 1578211 SOS 966081 HAS SOPS 966081 HAS SOUS 482900 HAS SOUPS 482900 WITH SCORE 483866.081
AT ITER 1311 NEW BEST:: SOT 1578432 SOS 966221 HAS SOPS 966221 HAS SOUS 482302 HAS SOUPS 482302 WITH SCORE 483268.221
AT ITER 1324 NEW BEST:: SOT 1578580 SOS 966093 HAS SOPS 966093 HAS SOUS 481526 HAS SOUPS 481526 WITH SCORE 482492.093
AT ITER 1342 NEW BEST:: SOT 1578778 SOS 966118 HAS SOPS 966118 HAS SOUS 481109 HAS SOUPS 481109 WITH SCORE 482075.118
AT ITER 1346 NEW BEST:: SOT 1578773 SOS 966113 HAS SOPS 966113 HAS SOUS 481104 HAS SOUPS 481104 WITH SCORE 482070.113
AT ITER 1348 NEW BEST:: SOT 1578614 SOS 965954 HAS SOPS 965954 HAS SOUS 480945 HAS SOUPS 480945 WITH SCORE 481910.954
AT ITER 1367 NEW BEST:: SOT 1578564 SOS 965937 HAS SOPS 965937 HAS SOUS 480802 HAS SOUPS 480802 WITH SCORE 481767.937
AT ITER 1368 NEW BEST:: SOT 1578554 SOS 965927 HAS SOPS 965927 HAS SOUS 480792 HAS SOUPS 480792 WITH SCORE 481757.927
AT ITER 1389 NEW BEST:: SOT 1578554 SOS 965927 HAS SOPS 965927 HAS SOUS 480467 HAS SOUPS 480467 WITH SCORE 481432.927
AT ITER 1395 NEW BEST:: SOT 1579383 SOS 966675 HAS SOPS 966675 HAS SOUS 480184 HAS SOUPS 480184 WITH SCORE 481150.675
AT ITER 1397 NEW BEST:: SOT 1579328 SOS 968433 HAS SOPS 968433 HAS SOUS 480079 HAS SOUPS 480079 WITH SCORE 481047.433
AT ITER 1399 NEW BEST:: SOT 1579419 SOS 968458 HAS SOPS 968458 HAS SOUS 479497 HAS SOUPS 479497 WITH SCORE 480465.458
AT ITER 1422 NEW BEST:: SOT 1579419 SOS 968458 HAS SOPS 968458 HAS SOUS 479465 HAS SOUPS 479465 WITH SCORE 480433.458
AT ITER 1430 NEW BEST:: SOT 1579373 SOS 968093 HAS SOPS 968093 HAS SOUS 478086 HAS SOUPS 478086 WITH SCORE 479054.093
AT ITER 1432 NEW BEST:: SOT 1579373 SOS 968093 HAS SOPS 968093 HAS SOUS 478014 HAS SOUPS 478014 WITH SCORE 478982.093
AT ITER 1440 NEW BEST:: SOT 1579217 SOS 967937 HAS SOPS 967937 HAS SOUS 477857 HAS SOUPS 477857 WITH SCORE 478824.937
AT ITER 1442 NEW BEST:: SOT 1579195 SOS 967915 HAS SOPS 967915 HAS SOUS 477824 HAS SOUPS 477824 WITH SCORE 478791.915
AT ITER 1466 NEW BEST:: SOT 1579195 SOS 967882 HAS SOPS 967882 HAS SOUS 477791 HAS SOUPS 477791 WITH SCORE 478758.882
AT ITER 1467 NEW BEST:: SOT 1579405 SOS 968092 HAS SOPS 968092 HAS SOUS 477619 HAS SOUPS 477619 WITH SCORE 478587.092
AT ITER 1468 NEW BEST:: SOT 1579405 SOS 968067 HAS SOPS 968067 HAS SOUS 477419 HAS SOUPS 477419 WITH SCORE 478387.067
AT ITER 1488 NEW BEST:: SOT 1579405 SOS 968395 HAS SOPS 968395 HAS SOUS 477337 HAS SOUPS 477337 WITH SCORE 478305.395
AT ITER 1493 NEW BEST:: SOT 1579383 SOS 968380 HAS SOPS 968380 HAS SOUS 477271 HAS SOUPS 477271 WITH SCORE 478239.38
AT ITER 1495 NEW BEST:: SOT 1579263 SOS 968354 HAS SOPS 968354 HAS SOUS 477179 HAS SOUPS 477179 WITH SCORE 478147.354
AT ITER 1497 NEW BEST:: SOT 1579263 SOS 968354 HAS SOPS 968354 HAS SOUS 477018 HAS SOUPS 477018 WITH SCORE 477986.354
AT ITER 1498 NEW BEST:: SOT 1579263 SOS 955754 HAS SOPS 955754 HAS SOUS 476598 HAS SOUPS 476598 WITH SCORE 477553.754
AT ITER 1505 NEW BEST:: SOT 1575806 SOS 952609 HAS SOPS 952609 HAS SOUS 476189 HAS SOUPS 476189 WITH SCORE 477141.609
AT ITER 1516 NEW BEST:: SOT 1575826 SOS 952564 HAS SOPS 952564 HAS SOUS 476020 HAS SOUPS 476020 WITH SCORE 476972.564
AT ITER 1536 NEW BEST:: SOT 1575819 SOS 952557 HAS SOPS 952557 HAS SOUS 475971 HAS SOUPS 475971 WITH SCORE 476923.557
AT ITER 1542 NEW BEST:: SOT 1575667 SOS 952405 HAS SOPS 952405 HAS SOUS 475819 HAS SOUPS 475819 WITH SCORE 476771.405
AT ITER 1552 NEW BEST:: SOT 1575675 SOS 952914 HAS SOPS 952914 HAS SOUS 475664 HAS SOUPS 475664 WITH SCORE 476616.914
AT ITER 1556 NEW BEST:: SOT 1575710 SOS 952914 HAS SOPS 952914 HAS SOUS 475629 HAS SOUPS 475629 WITH SCORE 476581.914
AT ITER 1581 NEW BEST:: SOT 1575842 SOS 953046 HAS SOPS 953046 HAS SOUS 473899 HAS SOUPS 473899 WITH SCORE 474852.046
AT ITER 1600 NEW BEST:: SOT 1575680 SOS 952876 HAS SOPS 952876 HAS SOUS 473293 HAS SOUPS 473293 WITH SCORE 474245.876
AT ITER 1602 NEW BEST:: SOT 1575628 SOS 952824 HAS SOPS 952824 HAS SOUS 473241 HAS SOUPS 473241 WITH SCORE 474193.824
AT ITER 1628 NEW BEST:: SOT 1575588 SOS 952784 HAS SOPS 952784 HAS SOUS 473201 HAS SOUPS 473201 WITH SCORE 474153.784
AT ITER 1631 NEW BEST:: SOT 1575515 SOS 952711 HAS SOPS 952711 HAS SOUS 473055 HAS SOUPS 473055 WITH SCORE 474007.711
AT ITER 1636 NEW BEST:: SOT 1576168 SOS 953176 HAS SOPS 953176 HAS SOUS 472902 HAS SOUPS 472902 WITH SCORE 473855.176
AT ITER 1638 NEW BEST:: SOT 1576225 SOS 953152 HAS SOPS 953152 HAS SOUS 472339 HAS SOUPS 472339 WITH SCORE 473292.152
AT ITER 1640 NEW BEST:: SOT 1576225 SOS 953152 HAS SOPS 953152 HAS SOUS 472237 HAS SOUPS 472237 WITH SCORE 473190.152
AT ITER 1650 NEW BEST:: SOT 1576302 SOS 953306 HAS SOPS 953306 HAS SOUS 472089 HAS SOUPS 472089 WITH SCORE 473042.306
AT ITER 1658 NEW BEST:: SOT 1576053 SOS 953057 HAS SOPS 953057 HAS SOUS 471700 HAS SOUPS 471700 WITH SCORE 472653.057
AT ITER 1659 NEW BEST:: SOT 1576134 SOS 952877 HAS SOPS 952877 HAS SOUS 470737 HAS SOUPS 470737 WITH SCORE 471689.877
AT ITER 1664 NEW BEST:: SOT 1576117 SOS 952860 HAS SOPS 952860 HAS SOUS 470720 HAS SOUPS 470720 WITH SCORE 471672.86
AT ITER 1665 NEW BEST:: SOT 1576295 SOS 952957 HAS SOPS 952957 HAS SOUS 469896 HAS SOUPS 469896 WITH SCORE 470848.957
AT ITER 1672 NEW BEST:: SOT 1576197 SOS 952693 HAS SOPS 952693 HAS SOUS 468798 HAS SOUPS 468798 WITH SCORE 469750.693
AT ITER 1682 NEW BEST:: SOT 1576327 SOS 952823 HAS SOPS 952823 HAS SOUS 468532 HAS SOUPS 468532 WITH SCORE 469484.823
AT ITER 1693 NEW BEST:: SOT 1576252 SOS 952748 HAS SOPS 952748 HAS SOUS 468457 HAS SOUPS 468457 WITH SCORE 469409.748
AT ITER 1702 NEW BEST:: SOT 1576104 SOS 952452 HAS SOPS 952452 HAS SOUS 468330 HAS SOUPS 468330 WITH SCORE 469282.452
AT ITER 1703 NEW BEST:: SOT 1576104 SOS 951981 HAS SOPS 951981 HAS SOUS 468330 HAS SOUPS 468330 WITH SCORE 469281.981
AT ITER 1711 NEW BEST:: SOT 1575918 SOS 951795 HAS SOPS 951795 HAS SOUS 468144 HAS SOUPS 468144 WITH SCORE 469095.795
AT ITER 1713 NEW BEST:: SOT 1575913 SOS 951795 HAS SOPS 951795 HAS SOUS 468139 HAS SOUPS 468139 WITH SCORE 469090.795
AT ITER 1716 NEW BEST:: SOT 1575913 SOS 951795 HAS SOPS 951795 HAS SOUS 467895 HAS SOUPS 467895 WITH SCORE 468846.795
AT ITER 1720 NEW BEST:: SOT 1575913 SOS 951795 HAS SOPS 951795 HAS SOUS 466965 HAS SOUPS 466965 WITH SCORE 467916.795
AT ITER 1721 NEW BEST:: SOT 1575811 SOS 951753 HAS SOPS 951753 HAS SOUS 466921 HAS SOUPS 466921 WITH SCORE 467872.753
AT ITER 1726 NEW BEST:: SOT 1575797 SOS 951739 HAS SOPS 951739 HAS SOUS 466893 HAS SOUPS 466893 WITH SCORE 467844.739
AT ITER 1727 NEW BEST:: SOT 1575797 SOS 951739 HAS SOPS 951739 HAS SOUS 466641 HAS SOUPS 466641 WITH SCORE 467592.739
AT ITER 1728 NEW BEST:: SOT 1575797 SOS 951615 HAS SOPS 951615 HAS SOUS 466021 HAS SOUPS 466021 WITH SCORE 466972.615
AT ITER 1742 NEW BEST:: SOT 1575797 SOS 951716 HAS SOPS 951716 HAS SOUS 465905 HAS SOUPS 465905 WITH SCORE 466856.716
AT ITER 1745 NEW BEST:: SOT 1575797 SOS 951692 HAS SOPS 951692 HAS SOUS 465881 HAS SOUPS 465881 WITH SCORE 466832.692
AT ITER 1747 NEW BEST:: SOT 1575746 SOS 951843 HAS SOPS 951533 HAS SOUS 465784 HAS SOUPS 465722 WITH SCORE 466673.843
AT ITER 1750 NEW BEST:: SOT 1575723 SOS 951820 HAS SOPS 951510 HAS SOUS 465738 HAS SOUPS 465676 WITH SCORE 466627.82
AT ITER 1751 NEW BEST:: SOT 1575735 SOS 951832 HAS SOPS 951522 HAS SOUS 465546 HAS SOUPS 465484 WITH SCORE 466435.832
AT ITER 1754 NEW BEST:: SOT 1575744 SOS 951841 HAS SOPS 951531 HAS SOUS 465447 HAS SOUPS 465385 WITH SCORE 466336.841
AT ITER 1759 NEW BEST:: SOT 1575455 SOS 951552 HAS SOPS 951242 HAS SOUS 465080 HAS SOUPS 465018 WITH SCORE 465969.552
AT ITER 1761 NEW BEST:: SOT 1575455 SOS 952206 HAS SOPS 951896 HAS SOUS 465029 HAS SOUPS 464967 WITH SCORE 465919.206
AT ITER 1762 NEW BEST:: SOT 1575455 SOS 757454 HAS SOPS 757144 HAS SOUS 461957 HAS SOUPS 461895 WITH SCORE 462652.454
AT ITER 1768 NEW BEST:: SOT 1575422 SOS 757388 HAS SOPS 757078 HAS SOUS 461594 HAS SOUPS 461532 WITH SCORE 462289.388
AT ITER 1769 NEW BEST:: SOT 1575427 SOS 757393 HAS SOPS 757083 HAS SOUS 461589 HAS SOUPS 461527 WITH SCORE 462284.393
AT ITER 1791 NEW BEST:: SOT 1576052 SOS 757858 HAS SOPS 757548 HAS SOUS 461260 HAS SOUPS 461198 WITH SCORE 461955.858
AT ITER 1794 NEW BEST:: SOT 1576106 SOS 757912 HAS SOPS 757602 HAS SOUS 461044 HAS SOUPS 460982 WITH SCORE 461739.912
AT ITER 1800 NEW BEST:: SOT 1576114 SOS 758158 HAS SOPS 757848 HAS SOUS 460954 HAS SOUPS 460892 WITH SCORE 461650.158
AT ITER 1804 NEW BEST:: SOT 1576277 SOS 758243 HAS SOPS 757933 HAS SOUS 460939 HAS SOUPS 460877 WITH SCORE 461635.243
AT ITER 1806 NEW BEST:: SOT 1576277 SOS 758243 HAS SOPS 757933 HAS SOUS 460722 HAS SOUPS 460660 WITH SCORE 461418.243
AT ITER 1807 NEW BEST:: SOT 1576453 SOS 758266 HAS SOPS 757956 HAS SOUS 460551 HAS SOUPS 460489 WITH SCORE 461247.266
AT ITER 1808 NEW BEST:: SOT 1576455 SOS 758266 HAS SOPS 757956 HAS SOUS 460549 HAS SOUPS 460487 WITH SCORE 461245.266
AT ITER 1842 NEW BEST:: SOT 1576183 SOS 757994 HAS SOPS 757684 HAS SOUS 460042 HAS SOUPS 459980 WITH SCORE 460737.994
AT ITER 1844 NEW BEST:: SOT 1576183 SOS 757994 HAS SOPS 757684 HAS SOUS 459897 HAS SOUPS 459835 WITH SCORE 460592.994
AT ITER 1845 NEW BEST:: SOT 1576409 SOS 758220 HAS SOPS 757910 HAS SOUS 459583 HAS SOUPS 459521 WITH SCORE 460279.22
AT ITER 1848 NEW BEST:: SOT 1576402 SOS 758213 HAS SOPS 757903 HAS SOUS 459500 HAS SOUPS 459438 WITH SCORE 460196.213
AT ITER 1852 NEW BEST:: SOT 1576245 SOS 758056 HAS SOPS 757746 HAS SOUS 459100 HAS SOUPS 459038 WITH SCORE 459796.056
AT ITER 1853 NEW BEST:: SOT 1576245 SOS 758093 HAS SOPS 757783 HAS SOUS 459085 HAS SOUPS 459023 WITH SCORE 459781.093
AT ITER 1856 NEW BEST:: SOT 1576782 SOS 758549 HAS SOPS 758239 HAS SOUS 459068 HAS SOUPS 459006 WITH SCORE 459764.549
AT ITER 1858 NEW BEST:: SOT 1576782 SOS 758549 HAS SOPS 758239 HAS SOUS 458988 HAS SOUPS 458926 WITH SCORE 459684.549
AT ITER 1859 NEW BEST:: SOT 1576782 SOS 758549 HAS SOPS 758239 HAS SOUS 458652 HAS SOUPS 458590 WITH SCORE 459348.549
AT ITER 1865 NEW BEST:: SOT 1576662 SOS 758348 HAS SOPS 758038 HAS SOUS 458127 HAS SOUPS 458065 WITH SCORE 458823.348
AT ITER 1867 NEW BEST:: SOT 1576620 SOS 758306 HAS SOPS 757996 HAS SOUS 458085 HAS SOUPS 458023 WITH SCORE 458781.306
AT ITER 1873 NEW BEST:: SOT 1576620 SOS 758306 HAS SOPS 757996 HAS SOUS 457927 HAS SOUPS 457865 WITH SCORE 458623.306
AT ITER 1874 NEW BEST:: SOT 1576589 SOS 758410 HAS SOPS 758100 HAS SOUS 457837 HAS SOUPS 457775 WITH SCORE 458533.41
AT ITER 1885 NEW BEST:: SOT 1576502 SOS 758323 HAS SOPS 758013 HAS SOUS 457750 HAS SOUPS 457688 WITH SCORE 458446.323
AT ITER 1899 NEW BEST:: SOT 1576502 SOS 758289 HAS SOPS 757979 HAS SOUS 457703 HAS SOUPS 457641 WITH SCORE 458399.289
AT ITER 1901 NEW BEST:: SOT 1576394 SOS 758181 HAS SOPS 757871 HAS SOUS 457595 HAS SOUPS 457533 WITH SCORE 458291.181
AT ITER 1906 NEW BEST:: SOT 1576394 SOS 758123 HAS SOPS 757813 HAS SOUS 457304 HAS SOUPS 457242 WITH SCORE 458000.123
AT ITER 1912 NEW BEST:: SOT 1576769 SOS 758525 HAS SOPS 758215 HAS SOUS 456999 HAS SOUPS 456937 WITH SCORE 457695.525
AT ITER 1918 NEW BEST:: SOT 1576710 SOS 758466 HAS SOPS 758156 HAS SOUS 456546 HAS SOUPS 456484 WITH SCORE 457242.466
AT ITER 1930 NEW BEST:: SOT 1576710 SOS 758421 HAS SOPS 758111 HAS SOUS 456311 HAS SOUPS 456249 WITH SCORE 457007.421
AT ITER 1938 NEW BEST:: SOT 1576641 SOS 758731 HAS SOPS 758421 HAS SOUS 456173 HAS SOUPS 456111 WITH SCORE 456869.731
AT ITER 1946 NEW BEST:: SOT 1576641 SOS 758731 HAS SOPS 758421 HAS SOUS 456133 HAS SOUPS 456071 WITH SCORE 456829.731
AT ITER 1952 NEW BEST:: SOT 1576641 SOS 758731 HAS SOPS 758421 HAS SOUS 456115 HAS SOUPS 456053 WITH SCORE 456811.731
AT ITER 1955 NEW BEST:: SOT 1576589 SOS 758679 HAS SOPS 758369 HAS SOUS 455995 HAS SOUPS 455933 WITH SCORE 456691.679
AT ITER 1959 NEW BEST:: SOT 1576477 SOS 758511 HAS SOPS 758201 HAS SOUS 455448 HAS SOUPS 455386 WITH SCORE 456144.511
AT ITER 1962 NEW BEST:: SOT 1576264 SOS 758298 HAS SOPS 757988 HAS SOUS 454800 HAS SOUPS 454738 WITH SCORE 455496.298
AT ITER 1978 NEW BEST:: SOT 1576153 SOS 758247 HAS SOPS 757937 HAS SOUS 454746 HAS SOUPS 454684 WITH SCORE 455442.247
AT ITER 1979 NEW BEST:: SOT 1576103 SOS 758313 HAS SOPS 758003 HAS SOUS 454713 HAS SOUPS 454651 WITH SCORE 455409.313
AT ITER 1982 NEW BEST:: SOT 1576046 SOS 758256 HAS SOPS 757946 HAS SOUS 454542 HAS SOUPS 454480 WITH SCORE 455238.256
AT ITER 1992 NEW BEST:: SOT 1575875 SOS 758085 HAS SOPS 757775 HAS SOUS 454361 HAS SOUPS 454299 WITH SCORE 455057.085
AT ITER 1994 NEW BEST:: SOT 1575676 SOS 757886 HAS SOPS 757576 HAS SOUS 453822 HAS SOUPS 453760 WITH SCORE 454517.886
AT ITER 1996 NEW BEST:: SOT 1575631 SOS 757841 HAS SOPS 757531 HAS SOUS 453777 HAS SOUPS 453715 WITH SCORE 454472.841
AT ITER 2005 NEW BEST:: SOT 1575605 SOS 757815 HAS SOPS 757505 HAS SOUS 453725 HAS SOUPS 453663 WITH SCORE 454420.815
AT ITER 2012 NEW BEST:: SOT 1575724 SOS 758032 HAS SOPS 757722 HAS SOUS 453466 HAS SOUPS 453404 WITH SCORE 454162.032
AT ITER 2013 NEW BEST:: SOT 1575657 SOS 757965 HAS SOPS 757655 HAS SOUS 453399 HAS SOUPS 453337 WITH SCORE 454094.965
AT ITER 2022 NEW BEST:: SOT 1575057 SOS 757266 HAS SOPS 756956 HAS SOUS 452851 HAS SOUPS 452789 WITH SCORE 453546.266
AT ITER 2023 NEW BEST:: SOT 1574904 SOS 757108 HAS SOPS 756798 HAS SOUS 452697 HAS SOUPS 452635 WITH SCORE 453392.108
AT ITER 2026 NEW BEST:: SOT 1574896 SOS 757110 HAS SOPS 756800 HAS SOUS 452689 HAS SOUPS 452627 WITH SCORE 453384.11
AT ITER 2033 NEW BEST:: SOT 1575030 SOS 757130 HAS SOPS 756820 HAS SOUS 451839 HAS SOUPS 451777 WITH SCORE 452534.13
AT ITER 2034 NEW BEST:: SOT 1574773 SOS 756873 HAS SOPS 756563 HAS SOUS 451279 HAS SOUPS 451217 WITH SCORE 451973.873
AT ITER 2040 NEW BEST:: SOT 1574359 SOS 756459 HAS SOPS 756149 HAS SOUS 450865 HAS SOUPS 450803 WITH SCORE 451559.459
AT ITER 2042 NEW BEST:: SOT 1574928 SOS 757048 HAS SOPS 756738 HAS SOUS 450474 HAS SOUPS 450412 WITH SCORE 451169.048
AT ITER 2047 NEW BEST:: SOT 1574837 SOS 756937 HAS SOPS 756627 HAS SOUS 450299 HAS SOUPS 450237 WITH SCORE 450993.937
AT ITER 2057 NEW BEST:: SOT 1574837 SOS 756937 HAS SOPS 756627 HAS SOUS 450261 HAS SOUPS 450199 WITH SCORE 450955.937
AT ITER 2069 NEW BEST:: SOT 1574881 SOS 756934 HAS SOPS 756624 HAS SOUS 449435 HAS SOUPS 449373 WITH SCORE 450129.934
AT ITER 2077 NEW BEST:: SOT 1574881 SOS 756962 HAS SOPS 756652 HAS SOUS 449284 HAS SOUPS 449222 WITH SCORE 449978.962
AT ITER 2087 NEW BEST:: SOT 1574881 SOS 757110 HAS SOPS 756800 HAS SOUS 449124 HAS SOUPS 449062 WITH SCORE 449819.11
AT ITER 2092 NEW BEST:: SOT 1574855 SOS 757084 HAS SOPS 756774 HAS SOUS 449098 HAS SOUPS 449036 WITH SCORE 449793.084
AT ITER 2094 NEW BEST:: SOT 1574855 SOS 757064 HAS SOPS 756754 HAS SOUS 449078 HAS SOUPS 449016 WITH SCORE 449773.064
AT ITER 2096 NEW BEST:: SOT 1575299 SOS 757508 HAS SOPS 757198 HAS SOUS 448818 HAS SOUPS 448756 WITH SCORE 449513.508
AT ITER 2098 NEW BEST:: SOT 1575282 SOS 757491 HAS SOPS 757181 HAS SOUS 448767 HAS SOUPS 448705 WITH SCORE 449462.491
AT ITER 2103 NEW BEST:: SOT 1575104 SOS 757232 HAS SOPS 756922 HAS SOUS 447720 HAS SOUPS 447658 WITH SCORE 448415.232
AT ITER 2107 NEW BEST:: SOT 1575068 SOS 757196 HAS SOPS 756886 HAS SOUS 447684 HAS SOUPS 447622 WITH SCORE 448379.196
AT ITER 2124 NEW BEST:: SOT 1574874 SOS 756921 HAS SOPS 756611 HAS SOUS 447085 HAS SOUPS 447023 WITH SCORE 447779.921
AT ITER 2125 NEW BEST:: SOT 1574684 SOS 756780 HAS SOPS 756470 HAS SOUS 446705 HAS SOUPS 446643 WITH SCORE 447399.78
AT ITER 2136 NEW BEST:: SOT 1574667 SOS 756763 HAS SOPS 756453 HAS SOUS 446688 HAS SOUPS 446626 WITH SCORE 447382.763
AT ITER 2138 NEW BEST:: SOT 1574392 SOS 756488 HAS SOPS 756178 HAS SOUS 445917 HAS SOUPS 445855 WITH SCORE 446611.488
AT ITER 2155 NEW BEST:: SOT 1574445 SOS 756506 HAS SOPS 756196 HAS SOUS 445814 HAS SOUPS 445752 WITH SCORE 446508.506
AT ITER 2158 NEW BEST:: SOT 1574695 SOS 756756 HAS SOPS 756446 HAS SOUS 445177 HAS SOUPS 445115 WITH SCORE 445871.756
AT ITER 2176 NEW BEST:: SOT 1574695 SOS 756756 HAS SOPS 756446 HAS SOUS 445076 HAS SOUPS 445014 WITH SCORE 445770.756
AT ITER 2187 NEW BEST:: SOT 1574480 SOS 756702 HAS SOPS 756392 HAS SOUS 444646 HAS SOUPS 444584 WITH SCORE 445340.702
AT ITER 2189 NEW BEST:: SOT 1574480 SOS 756702 HAS SOPS 756392 HAS SOUS 444603 HAS SOUPS 444541 WITH SCORE 445297.702
AT ITER 2190 NEW BEST:: SOT 1574334 SOS 756556 HAS SOPS 756246 HAS SOUS 444496 HAS SOUPS 444434 WITH SCORE 445190.556
AT ITER 2191 NEW BEST:: SOT 1574267 SOS 756489 HAS SOPS 756179 HAS SOUS 444429 HAS SOUPS 444367 WITH SCORE 445123.489
AT ITER 2194 NEW BEST:: SOT 1574267 SOS 756489 HAS SOPS 756179 HAS SOUS 444418 HAS SOUPS 444356 WITH SCORE 445112.489
AT ITER 2218 NEW BEST:: SOT 1574735 SOS 756957 HAS SOPS 756647 HAS SOUS 444031 HAS SOUPS 443969 WITH SCORE 444725.957
AT ITER 2228 NEW BEST:: SOT 1574415 SOS 756739 HAS SOPS 756429 HAS SOUS 443734 HAS SOUPS 443672 WITH SCORE 444428.739
AT ITER 2230 NEW BEST:: SOT 1574433 SOS 756737 HAS SOPS 756427 HAS SOUS 443195 HAS SOUPS 443133 WITH SCORE 443889.737
AT ITER 2241 NEW BEST:: SOT 1574433 SOS 756748 HAS SOPS 756438 HAS SOUS 443184 HAS SOUPS 443122 WITH SCORE 443878.748
AT ITER 2246 NEW BEST:: SOT 1574433 SOS 756704 HAS SOPS 756394 HAS SOUS 443140 HAS SOUPS 443078 WITH SCORE 443834.704
AT ITER 2257 NEW BEST:: SOT 1574385 SOS 756656 HAS SOPS 756346 HAS SOUS 443137 HAS SOUPS 443075 WITH SCORE 443831.656
AT ITER 2266 NEW BEST:: SOT 1574215 SOS 756486 HAS SOPS 756176 HAS SOUS 443003 HAS SOUPS 442941 WITH SCORE 443697.486
AT ITER 2271 NEW BEST:: SOT 1574215 SOS 756567 HAS SOPS 756257 HAS SOUS 442923 HAS SOUPS 442861 WITH SCORE 443617.567
AT ITER 2279 NEW BEST:: SOT 1574525 SOS 756759 HAS SOPS 756449 HAS SOUS 442424 HAS SOUPS 442362 WITH SCORE 443118.759
AT ITER 2280 NEW BEST:: SOT 1574588 SOS 756723 HAS SOPS 756413 HAS SOUS 442035 HAS SOUPS 441973 WITH SCORE 442729.723
AT ITER 2284 NEW BEST:: SOT 1574588 SOS 756723 HAS SOPS 756413 HAS SOUS 441996 HAS SOUPS 441934 WITH SCORE 442690.723
AT ITER 2288 NEW BEST:: SOT 1574595 SOS 756730 HAS SOPS 756420 HAS SOUS 441978 HAS SOUPS 441916 WITH SCORE 442672.73
AT ITER 2298 NEW BEST:: SOT 1574687 SOS 756822 HAS SOPS 756512 HAS SOUS 441650 HAS SOUPS 441588 WITH SCORE 442344.822
AT ITER 2300 NEW BEST:: SOT 1574687 SOS 756822 HAS SOPS 756512 HAS SOUS 441555 HAS SOUPS 441493 WITH SCORE 442249.822
AT ITER 2320 NEW BEST:: SOT 1574687 SOS 756856 HAS SOPS 756546 HAS SOUS 441535 HAS SOUPS 441473 WITH SCORE 442229.856
AT ITER 2333 NEW BEST:: SOT 1574687 SOS 756941 HAS SOPS 756631 HAS SOUS 441500 HAS SOUPS 441438 WITH SCORE 442194.941
AT ITER 2348 NEW BEST:: SOT 1574684 SOS 756938 HAS SOPS 756628 HAS SOUS 441482 HAS SOUPS 441420 WITH SCORE 442176.938
AT ITER 2358 NEW BEST:: SOT 1574597 SOS 756851 HAS SOPS 756541 HAS SOUS 441395 HAS SOUPS 441333 WITH SCORE 442089.851
AT ITER 2359 NEW BEST:: SOT 1574822 SOS 757076 HAS SOPS 756766 HAS SOUS 440996 HAS SOUPS 440934 WITH SCORE 441691.076
AT ITER 2364 NEW BEST:: SOT 1574784 SOS 757038 HAS SOPS 756728 HAS SOUS 440705 HAS SOUPS 440643 WITH SCORE 441400.038
AT ITER 2379 NEW BEST:: SOT 1574786 SOS 757036 HAS SOPS 756726 HAS SOUS 440485 HAS SOUPS 440423 WITH SCORE 441180.036
AT ITER 2384 NEW BEST:: SOT 1550887 SOS 775194 HAS SOPS 774884 HAS SOUS 417126 HAS SOUPS 417064 WITH SCORE 417839.194
AT ITER 2387 NEW BEST:: SOT 1550313 SOS 774620 HAS SOPS 774310 HAS SOUS 416408 HAS SOUPS 416346 WITH SCORE 417120.62
AT ITER 2392 NEW BEST:: SOT 1550188 SOS 774370 HAS SOPS 774060 HAS SOUS 416213 HAS SOUPS 416151 WITH SCORE 416925.37
AT ITER 2394 NEW BEST:: SOT 1550175 SOS 774197 HAS SOPS 773887 HAS SOUS 416109 HAS SOUPS 416047 WITH SCORE 416821.197
AT ITER 2395 NEW BEST:: SOT 1550080 SOS 774102 HAS SOPS 773792 HAS SOUS 415555 HAS SOUPS 415493 WITH SCORE 416267.102
AT ITER 2398 NEW BEST:: SOT 1550080 SOS 774102 HAS SOPS 773792 HAS SOUS 415435 HAS SOUPS 415373 WITH SCORE 416147.102
AT ITER 2404 NEW BEST:: SOT 1549887 SOS 773980 HAS SOPS 773670 HAS SOUS 415191 HAS SOUPS 415129 WITH SCORE 415902.98
AT ITER 2406 NEW BEST:: SOT 1549895 SOS 773995 HAS SOPS 773685 HAS SOUS 415122 HAS SOUPS 415060 WITH SCORE 415833.995
AT ITER 2419 NEW BEST:: SOT 1549895 SOS 773995 HAS SOPS 773685 HAS SOUS 415114 HAS SOUPS 415052 WITH SCORE 415825.995
AT ITER 2426 NEW BEST:: SOT 1549837 SOS 774285 HAS SOPS 773975 HAS SOUS 415015 HAS SOUPS 414953 WITH SCORE 415727.285
AT ITER 2435 NEW BEST:: SOT 1549663 SOS 774111 HAS SOPS 773801 HAS SOUS 414762 HAS SOUPS 414700 WITH SCORE 415474.111
AT ITER 2440 NEW BEST:: SOT 1549517 SOS 773965 HAS SOPS 773655 HAS SOUS 414614 HAS SOUPS 414552 WITH SCORE 415325.965
AT ITER 2442 NEW BEST:: SOT 1549356 SOS 773804 HAS SOPS 773494 HAS SOUS 413745 HAS SOUPS 413683 WITH SCORE 414456.804
AT ITER 2465 NEW BEST:: SOT 1549330 SOS 773778 HAS SOPS 773468 HAS SOUS 413693 HAS SOUPS 413631 WITH SCORE 414404.778
AT ITER 2470 NEW BEST:: SOT 1549313 SOS 773761 HAS SOPS 773451 HAS SOUS 413659 HAS SOUPS 413597 WITH SCORE 414370.761
AT ITER 2478 NEW BEST:: SOT 1549215 SOS 773817 HAS SOPS 773507 HAS SOUS 413463 HAS SOUPS 413401 WITH SCORE 414174.817
AT ITER 2505 NEW BEST:: SOT 1548872 SOS 773474 HAS SOPS 773164 HAS SOUS 412925 HAS SOUPS 412863 WITH SCORE 413636.474
AT ITER 2516 NEW BEST:: SOT 1548583 SOS 773185 HAS SOPS 772875 HAS SOUS 412593 HAS SOUPS 412531 WITH SCORE 413304.185
AT ITER 2530 NEW BEST:: SOT 1548519 SOS 773121 HAS SOPS 772811 HAS SOUS 412529 HAS SOUPS 412467 WITH SCORE 413240.121
AT ITER 2541 NEW BEST:: SOT 1548502 SOS 773104 HAS SOPS 772794 HAS SOUS 412512 HAS SOUPS 412450 WITH SCORE 413223.104
AT ITER 2548 NEW BEST:: SOT 1548475 SOS 773077 HAS SOPS 772767 HAS SOUS 412485 HAS SOUPS 412423 WITH SCORE 413196.077
AT ITER 2552 NEW BEST:: SOT 1548096 SOS 773429 HAS SOPS 773119 HAS SOUS 412347 HAS SOUPS 412285 WITH SCORE 413058.429
AT ITER 2558 NEW BEST:: SOT 1547594 SOS 772927 HAS SOPS 772617 HAS SOUS 411788 HAS SOUPS 411726 WITH SCORE 412498.927
AT ITER 2577 NEW BEST:: SOT 1547746 SOS 773079 HAS SOPS 772769 HAS SOUS 411147 HAS SOUPS 411085 WITH SCORE 411858.079
AT ITER 2579 NEW BEST:: SOT 1547746 SOS 773000 HAS SOPS 772690 HAS SOUS 411147 HAS SOUPS 411085 WITH SCORE 411858.0
AT ITER 2592 NEW BEST:: SOT 1547714 SOS 772968 HAS SOPS 772658 HAS SOUS 411051 HAS SOUPS 410989 WITH SCORE 411761.968
AT ITER 2595 NEW BEST:: SOT 1547714 SOS 772968 HAS SOPS 772658 HAS SOUS 410955 HAS SOUPS 410893 WITH SCORE 411665.968
AT ITER 2600 NEW BEST:: SOT 1547714 SOS 772950 HAS SOPS 772640 HAS SOUS 410955 HAS SOUPS 410893 WITH SCORE 411665.95
AT ITER 2605 NEW BEST:: SOT 1547532 SOS 772768 HAS SOPS 772458 HAS SOUS 410695 HAS SOUPS 410633 WITH SCORE 411405.768
AT ITER 2608 NEW BEST:: SOT 1547735 SOS 772971 HAS SOPS 772661 HAS SOUS 410481 HAS SOUPS 410419 WITH SCORE 411191.971
AT ITER 2614 NEW BEST:: SOT 1547295 SOS 772531 HAS SOPS 772221 HAS SOUS 409604 HAS SOUPS 409542 WITH SCORE 410314.531
AT ITER 2619 NEW BEST:: SOT 1547199 SOS 772435 HAS SOPS 772125 HAS SOUS 409485 HAS SOUPS 409423 WITH SCORE 410195.435
AT ITER 2621 NEW BEST:: SOT 1547199 SOS 772435 HAS SOPS 772125 HAS SOUS 409361 HAS SOUPS 409299 WITH SCORE 410071.435
AT ITER 2635 NEW BEST:: SOT 1547185 SOS 772435 HAS SOPS 772125 HAS SOUS 409347 HAS SOUPS 409285 WITH SCORE 410057.435
AT ITER 2647 NEW BEST:: SOT 1547153 SOS 772403 HAS SOPS 772093 HAS SOUS 409283 HAS SOUPS 409221 WITH SCORE 409993.403
AT ITER 2675 NEW BEST:: SOT 1547191 SOS 772441 HAS SOPS 772131 HAS SOUS 408713 HAS SOUPS 408651 WITH SCORE 409423.441
AT ITER 2677 NEW BEST:: SOT 1547205 SOS 772469 HAS SOPS 772159 HAS SOUS 408510 HAS SOUPS 408448 WITH SCORE 409220.469
AT ITER 2685 NEW BEST:: SOT 1547204 SOS 772468 HAS SOPS 772158 HAS SOUS 408509 HAS SOUPS 408447 WITH SCORE 409219.468
AT ITER 2691 NEW BEST:: SOT 1547085 SOS 772349 HAS SOPS 772039 HAS SOUS 408362 HAS SOUPS 408300 WITH SCORE 409072.349
AT ITER 2692 NEW BEST:: SOT 1547281 SOS 772545 HAS SOPS 772235 HAS SOUS 407397 HAS SOUPS 407335 WITH SCORE 408107.545
AT ITER 2693 NEW BEST:: SOT 1547187 SOS 772451 HAS SOPS 772141 HAS SOUS 407286 HAS SOUPS 407224 WITH SCORE 407996.451
AT ITER 2706 NEW BEST:: SOT 1547187 SOS 772451 HAS SOPS 772141 HAS SOUS 407264 HAS SOUPS 407202 WITH SCORE 407974.451
AT ITER 2718 NEW BEST:: SOT 1547207 SOS 772471 HAS SOPS 772161 HAS SOUS 406406 HAS SOUPS 406344 WITH SCORE 407116.471
AT ITER 2723 NEW BEST:: SOT 1547081 SOS 772345 HAS SOPS 772035 HAS SOUS 405964 HAS SOUPS 405902 WITH SCORE 406674.345
AT ITER 2726 NEW BEST:: SOT 1546939 SOS 772203 HAS SOPS 771893 HAS SOUS 405481 HAS SOUPS 405419 WITH SCORE 406191.203
AT ITER 2736 NEW BEST:: SOT 1546993 SOS 772257 HAS SOPS 771947 HAS SOUS 405445 HAS SOUPS 405383 WITH SCORE 406155.257
AT ITER 2737 NEW BEST:: SOT 1546904 SOS 772079 HAS SOPS 771769 HAS SOUS 405267 HAS SOUPS 405205 WITH SCORE 405977.079
AT ITER 2760 NEW BEST:: SOT 1546847 SOS 771951 HAS SOPS 771641 HAS SOUS 405179 HAS SOUPS 405117 WITH SCORE 405888.951
AT ITER 2773 NEW BEST:: SOT 1546847 SOS 772045 HAS SOPS 771735 HAS SOUS 405099 HAS SOUPS 405037 WITH SCORE 405809.045
AT ITER 2782 NEW BEST:: SOT 1546833 SOS 772031 HAS SOPS 771721 HAS SOUS 405085 HAS SOUPS 405023 WITH SCORE 405795.031
AT ITER 2784 NEW BEST:: SOT 1546856 SOS 772054 HAS SOPS 771744 HAS SOUS 404364 HAS SOUPS 404302 WITH SCORE 405074.054
AT ITER 2804 NEW BEST:: SOT 1547205 SOS 772403 HAS SOPS 772093 HAS SOUS 404058 HAS SOUPS 403996 WITH SCORE 404768.403
AT ITER 2820 NEW BEST:: SOT 1547165 SOS 772363 HAS SOPS 772053 HAS SOUS 403818 HAS SOUPS 403756 WITH SCORE 404528.363
AT ITER 2823 NEW BEST:: SOT 1547071 SOS 772269 HAS SOPS 771959 HAS SOUS 403724 HAS SOUPS 403662 WITH SCORE 404434.269
AT ITER 2855 NEW BEST:: SOT 1546791 SOS 771989 HAS SOPS 771679 HAS SOUS 403119 HAS SOUPS 403057 WITH SCORE 403828.989
AT ITER 2856 NEW BEST:: SOT 1546791 SOS 771982 HAS SOPS 771672 HAS SOUS 403112 HAS SOUPS 403050 WITH SCORE 403821.982
AT ITER 2869 NEW BEST:: SOT 1546089 SOS 771280 HAS SOPS 770970 HAS SOUS 402295 HAS SOUPS 402233 WITH SCORE 403004.28
AT ITER 2882 NEW BEST:: SOT 1546089 SOS 770673 HAS SOPS 770363 HAS SOUS 402295 HAS SOUPS 402233 WITH SCORE 403003.673
AT ITER 2885 NEW BEST:: SOT 1545731 SOS 770315 HAS SOPS 770005 HAS SOUS 401758 HAS SOUPS 401696 WITH SCORE 402466.315
AT ITER 2892 NEW BEST:: SOT 1545955 SOS 769821 HAS SOPS 769511 HAS SOUS 401717 HAS SOUPS 401655 WITH SCORE 402424.821
AT ITER 2893 NEW BEST:: SOT 1545997 SOS 769863 HAS SOPS 769553 HAS SOUS 401081 HAS SOUPS 401019 WITH SCORE 401788.863
AT ITER 2895 NEW BEST:: SOT 1545933 SOS 769799 HAS SOPS 769489 HAS SOUS 400985 HAS SOUPS 400923 WITH SCORE 401692.799
AT ITER 2903 NEW BEST:: SOT 1545933 SOS 769799 HAS SOPS 769489 HAS SOUS 400962 HAS SOUPS 400900 WITH SCORE 401669.799
AT ITER 2908 NEW BEST:: SOT 1545929 SOS 769795 HAS SOPS 769485 HAS SOUS 400954 HAS SOUPS 400892 WITH SCORE 401661.795
AT ITER 2910 NEW BEST:: SOT 1545847 SOS 769713 HAS SOPS 769403 HAS SOUS 400790 HAS SOUPS 400728 WITH SCORE 401497.713
AT ITER 2911 NEW BEST:: SOT 1545799 SOS 769665 HAS SOPS 769355 HAS SOUS 400742 HAS SOUPS 400680 WITH SCORE 401449.665
AT ITER 2924 NEW BEST:: SOT 1545749 SOS 769615 HAS SOPS 769305 HAS SOUS 400692 HAS SOUPS 400630 WITH SCORE 401399.615
AT ITER 2931 NEW BEST:: SOT 1545229 SOS 769095 HAS SOPS 768785 HAS SOUS 399840 HAS SOUPS 399778 WITH SCORE 400547.095
AT ITER 2932 NEW BEST:: SOT 1545208 SOS 769074 HAS SOPS 768764 HAS SOUS 399819 HAS SOUPS 399757 WITH SCORE 400526.074
AT ITER 2937 NEW BEST:: SOT 1544941 SOS 768807 HAS SOPS 768497 HAS SOUS 399513 HAS SOUPS 399451 WITH SCORE 400219.807
AT ITER 2946 NEW BEST:: SOT 1544846 SOS 769498 HAS SOPS 769188 HAS SOUS 399431 HAS SOUPS 399369 WITH SCORE 400138.498
AT ITER 2948 NEW BEST:: SOT 1545115 SOS 769752 HAS SOPS 769442 HAS SOUS 398641 HAS SOUPS 398579 WITH SCORE 399348.752
AT ITER 2952 NEW BEST:: SOT 1545036 SOS 769673 HAS SOPS 769363 HAS SOUS 398317 HAS SOUPS 398255 WITH SCORE 399024.673
AT ITER 2960 NEW BEST:: SOT 1544999 SOS 769636 HAS SOPS 769326 HAS SOUS 398132 HAS SOUPS 398070 WITH SCORE 398839.636
AT ITER 2970 NEW BEST:: SOT 1544920 SOS 770934 HAS SOPS 770624 HAS SOUS 398030 HAS SOUPS 397968 WITH SCORE 398738.934
AT ITER 2974 NEW BEST:: SOT 1544904 SOS 770918 HAS SOPS 770608 HAS SOUS 398014 HAS SOUPS 397952 WITH SCORE 398722.918
AT ITER 2979 NEW BEST:: SOT 1545230 SOS 771244 HAS SOPS 770934 HAS SOUS 397520 HAS SOUPS 397458 WITH SCORE 398229.244
AT ITER 2986 NEW BEST:: SOT 1545230 SOS 753564 HAS SOPS 753254 HAS SOUS 397384 HAS SOUPS 397322 WITH SCORE 398075.564
AT ITER 2987 NEW BEST:: SOT 1545156 SOS 753490 HAS SOPS 753180 HAS SOUS 397310 HAS SOUPS 397248 WITH SCORE 398001.49
AT ITER 3046 NEW BEST:: SOT 1545156 SOS 753490 HAS SOPS 753180 HAS SOUS 397253 HAS SOUPS 397191 WITH SCORE 397944.49
AT ITER 3057 NEW BEST:: SOT 1545157 SOS 753491 HAS SOPS 753181 HAS SOUS 397102 HAS SOUPS 397040 WITH SCORE 397793.491
AT ITER 3064 NEW BEST:: SOT 1545184 SOS 753545 HAS SOPS 753235 HAS SOUS 397080 HAS SOUPS 397018 WITH SCORE 397771.545
AT ITER 3081 NEW BEST:: SOT 1545180 SOS 753735 HAS SOPS 753425 HAS SOUS 396916 HAS SOUPS 396854 WITH SCORE 397607.735
AT ITER 3093 NEW BEST:: SOT 1545153 SOS 753708 HAS SOPS 753398 HAS SOUS 396889 HAS SOUPS 396827 WITH SCORE 397580.708
AT ITER 3103 NEW BEST:: SOT 1545153 SOS 753708 HAS SOPS 753398 HAS SOUS 396779 HAS SOUPS 396717 WITH SCORE 397470.708
AT ITER 3127 NEW BEST:: SOT 1545056 SOS 753611 HAS SOPS 753301 HAS SOUS 396594 HAS SOUPS 396532 WITH SCORE 397285.611
AT ITER 3128 NEW BEST:: SOT 1545056 SOS 753500 HAS SOPS 753190 HAS SOUS 396594 HAS SOUPS 396532 WITH SCORE 397285.5
AT ITER 3129 NEW BEST:: SOT 1545056 SOS 753500 HAS SOPS 753190 HAS SOUS 396466 HAS SOUPS 396404 WITH SCORE 397157.5
AT ITER 3147 NEW BEST:: SOT 1544972 SOS 753416 HAS SOPS 753106 HAS SOUS 396382 HAS SOUPS 396320 WITH SCORE 397073.416
AT ITER 3151 NEW BEST:: SOT 1544748 SOS 753192 HAS SOPS 752882 HAS SOUS 396158 HAS SOUPS 396096 WITH SCORE 396849.192
AT ITER 3171 NEW BEST:: SOT 1544561 SOS 752818 HAS SOPS 752508 HAS SOUS 395784 HAS SOUPS 395722 WITH SCORE 396474.818
AT ITER 3179 NEW BEST:: SOT 1544561 SOS 752781 HAS SOPS 752471 HAS SOUS 395548 HAS SOUPS 395486 WITH SCORE 396238.781
AT ITER 3195 NEW BEST:: SOT 1544561 SOS 752781 HAS SOPS 752471 HAS SOUS 395444 HAS SOUPS 395382 WITH SCORE 396134.781
AT ITER 3203 NEW BEST:: SOT 1544487 SOS 752707 HAS SOPS 752397 HAS SOUS 394938 HAS SOUPS 394876 WITH SCORE 395628.707
AT ITER 3206 NEW BEST:: SOT 1544578 SOS 753021 HAS SOPS 752711 HAS SOUS 394908 HAS SOUPS 394846 WITH SCORE 395599.021
AT ITER 3207 NEW BEST:: SOT 1544611 SOS 752896 HAS SOPS 752586 HAS SOUS 394814 HAS SOUPS 394752 WITH SCORE 395504.896
AT ITER 3209 NEW BEST:: SOT 1544611 SOS 752896 HAS SOPS 752586 HAS SOUS 394742 HAS SOUPS 394680 WITH SCORE 395432.896
AT ITER 3223 NEW BEST:: SOT 1544670 SOS 752955 HAS SOPS 752645 HAS SOUS 394625 HAS SOUPS 394563 WITH SCORE 395315.955
AT ITER 3224 NEW BEST:: SOT 1544670 SOS 752718 HAS SOPS 752408 HAS SOUS 394443 HAS SOUPS 394381 WITH SCORE 395133.718
AT ITER 3227 NEW BEST:: SOT 1544498 SOS 752215 HAS SOPS 751905 HAS SOUS 394003 HAS SOUPS 393941 WITH SCORE 394693.215
AT ITER 3229 NEW BEST:: SOT 1544498 SOS 752215 HAS SOPS 751905 HAS SOUS 393845 HAS SOUPS 393783 WITH SCORE 394535.215
AT ITER 3235 NEW BEST:: SOT 1544553 SOS 752270 HAS SOPS 751960 HAS SOUS 393673 HAS SOUPS 393611 WITH SCORE 394363.27
AT ITER 3244 NEW BEST:: SOT 1544553 SOS 752270 HAS SOPS 751960 HAS SOUS 393597 HAS SOUPS 393535 WITH SCORE 394287.27
AT ITER 3255 NEW BEST:: SOT 1544527 SOS 752244 HAS SOPS 751934 HAS SOUS 393571 HAS SOUPS 393509 WITH SCORE 394261.244
AT ITER 3256 NEW BEST:: SOT 1544527 SOS 752244 HAS SOPS 751934 HAS SOUS 393467 HAS SOUPS 393405 WITH SCORE 394157.244
AT ITER 3257 NEW BEST:: SOT 1544522 SOS 752239 HAS SOPS 751929 HAS SOUS 393437 HAS SOUPS 393375 WITH SCORE 394127.239
AT ITER 3268 NEW BEST:: SOT 1529614 SOS 747306 HAS SOPS 746996 HAS SOUS 378529 HAS SOUPS 378467 WITH SCORE 379214.306
AT ITER 3277 NEW BEST:: SOT 1529817 SOS 747509 HAS SOPS 747199 HAS SOUS 378093 HAS SOUPS 378031 WITH SCORE 378778.509
AT ITER 3284 NEW BEST:: SOT 1529750 SOS 747442 HAS SOPS 747132 HAS SOUS 378037 HAS SOUPS 377975 WITH SCORE 378722.442
AT ITER 3292 NEW BEST:: SOT 1529719 SOS 747184 HAS SOPS 746874 HAS SOUS 377779 HAS SOUPS 377717 WITH SCORE 378464.184
AT ITER 3296 NEW BEST:: SOT 1529527 SOS 746992 HAS SOPS 746682 HAS SOUS 377587 HAS SOUPS 377525 WITH SCORE 378271.992
AT ITER 3311 NEW BEST:: SOT 1529421 SOS 746886 HAS SOPS 746576 HAS SOUS 377521 HAS SOUPS 377459 WITH SCORE 378205.886
AT ITER 3326 NEW BEST:: SOT 1529269 SOS 746822 HAS SOPS 746512 HAS SOUS 377457 HAS SOUPS 377395 WITH SCORE 378141.822
AT ITER 3328 NEW BEST:: SOT 1529237 SOS 746351 HAS SOPS 746041 HAS SOUS 377313 HAS SOUPS 377251 WITH SCORE 377997.351
AT ITER 3335 NEW BEST:: SOT 1529087 SOS 746201 HAS SOPS 745891 HAS SOUS 377159 HAS SOUPS 377097 WITH SCORE 377843.201
AT ITER 3348 NEW BEST:: SOT 1529072 SOS 746186 HAS SOPS 745876 HAS SOUS 377129 HAS SOUPS 377067 WITH SCORE 377813.186
AT ITER 3354 NEW BEST:: SOT 1528844 SOS 745958 HAS SOPS 745648 HAS SOUS 376901 HAS SOUPS 376839 WITH SCORE 377584.958
AT ITER 3356 NEW BEST:: SOT 1528769 SOS 745883 HAS SOPS 745573 HAS SOUS 376736 HAS SOUPS 376674 WITH SCORE 377419.883
AT ITER 3384 NEW BEST:: SOT 1528568 SOS 745682 HAS SOPS 745372 HAS SOUS 376535 HAS SOUPS 376473 WITH SCORE 377218.682
AT ITER 3387 NEW BEST:: SOT 1528444 SOS 745558 HAS SOPS 745248 HAS SOUS 376411 HAS SOUPS 376349 WITH SCORE 377094.558
AT ITER 3393 NEW BEST:: SOT 1528232 SOS 745346 HAS SOPS 745036 HAS SOUS 375751 HAS SOUPS 375689 WITH SCORE 376434.346
AT ITER 3394 NEW BEST:: SOT 1528232 SOS 745346 HAS SOPS 745036 HAS SOUS 375711 HAS SOUPS 375649 WITH SCORE 376394.346
AT ITER 3403 NEW BEST:: SOT 1528232 SOS 745346 HAS SOPS 745036 HAS SOUS 375694 HAS SOUPS 375632 WITH SCORE 376377.346
AT ITER 3405 NEW BEST:: SOT 1528353 SOS 745467 HAS SOPS 745157 HAS SOUS 375331 HAS SOUPS 375269 WITH SCORE 376014.467
AT ITER 3429 NEW BEST:: SOT 1528271 SOS 702663 HAS SOPS 702353 HAS SOUS 374921 HAS SOUPS 374859 WITH SCORE 375561.663
AT ITER 3455 NEW BEST:: SOT 1528243 SOS 702635 HAS SOPS 702325 HAS SOUS 374893 HAS SOUPS 374831 WITH SCORE 375533.635
AT ITER 3464 NEW BEST:: SOT 1528202 SOS 702419 HAS SOPS 702109 HAS SOUS 374752 HAS SOUPS 374690 WITH SCORE 375392.419
AT ITER 3476 NEW BEST:: SOT 1528141 SOS 702152 HAS SOPS 701842 HAS SOUS 374630 HAS SOUPS 374568 WITH SCORE 375270.152
AT ITER 3524 NEW BEST:: SOT 1528041 SOS 702052 HAS SOPS 701742 HAS SOUS 374130 HAS SOUPS 374068 WITH SCORE 374770.052
AT ITER 3541 NEW BEST:: SOT 1528041 SOS 702052 HAS SOPS 701742 HAS SOUS 373937 HAS SOUPS 373875 WITH SCORE 374577.052
AT ITER 3549 NEW BEST:: SOT 1528039 SOS 702050 HAS SOPS 701740 HAS SOUS 373935 HAS SOUPS 373873 WITH SCORE 374575.05
AT ITER 3562 NEW BEST:: SOT 1528019 SOS 702030 HAS SOPS 701720 HAS SOUS 373915 HAS SOUPS 373853 WITH SCORE 374555.03
AT ITER 3566 NEW BEST:: SOT 1528428 SOS 702381 HAS SOPS 702071 HAS SOUS 372931 HAS SOUPS 372869 WITH SCORE 373571.381
AT ITER 3582 NEW BEST:: SOT 1528378 SOS 702331 HAS SOPS 702021 HAS SOUS 372800 HAS SOUPS 372738 WITH SCORE 373440.331
AT ITER 3590 NEW BEST:: SOT 1528262 SOS 701981 HAS SOPS 701671 HAS SOUS 372787 HAS SOUPS 372725 WITH SCORE 373426.981
AT ITER 3599 NEW BEST:: SOT 1527790 SOS 701509 HAS SOPS 701199 HAS SOUS 372266 HAS SOUPS 372204 WITH SCORE 372905.509
AT ITER 3615 NEW BEST:: SOT 1527519 SOS 701238 HAS SOPS 700928 HAS SOUS 371724 HAS SOUPS 371662 WITH SCORE 372363.238
AT ITER 3631 NEW BEST:: SOT 1527846 SOS 701565 HAS SOPS 701255 HAS SOUS 371721 HAS SOUPS 371659 WITH SCORE 372360.565
AT ITER 3637 NEW BEST:: SOT 1527813 SOS 701532 HAS SOPS 701222 HAS SOUS 371717 HAS SOUPS 371655 WITH SCORE 372356.532
AT ITER 3639 NEW BEST:: SOT 1527204 SOS 702153 HAS SOPS 701843 HAS SOUS 371608 HAS SOUPS 371546 WITH SCORE 372248.153
AT ITER 3654 NEW BEST:: SOT 1527179 SOS 702103 HAS SOPS 701793 HAS SOUS 371558 HAS SOUPS 371496 WITH SCORE 372198.103
AT ITER 3671 NEW BEST:: SOT 1527272 SOS 702069 HAS SOPS 701759 HAS SOUS 371531 HAS SOUPS 371469 WITH SCORE 372171.069
AT ITER 3682 NEW BEST:: SOT 1527272 SOS 702069 HAS SOPS 701759 HAS SOUS 371411 HAS SOUPS 371349 WITH SCORE 372051.069
AT ITER 3694 NEW BEST:: SOT 1527219 SOS 701963 HAS SOPS 701653 HAS SOUS 371305 HAS SOUPS 371243 WITH SCORE 371944.963
AT ITER 3696 NEW BEST:: SOT 1527444 SOS 702188 HAS SOPS 701878 HAS SOUS 370706 HAS SOUPS 370644 WITH SCORE 371346.188
AT ITER 3712 NEW BEST:: SOT 1527555 SOS 702299 HAS SOPS 701989 HAS SOUS 370048 HAS SOUPS 369986 WITH SCORE 370688.299
AT ITER 3718 NEW BEST:: SOT 1527951 SOS 702695 HAS SOPS 702385 HAS SOUS 370042 HAS SOUPS 369980 WITH SCORE 370682.695
AT ITER 3721 NEW BEST:: SOT 1527748 SOS 702571 HAS SOPS 702261 HAS SOUS 369794 HAS SOUPS 369732 WITH SCORE 370434.571
AT ITER 3727 NEW BEST:: SOT 1527748 SOS 702571 HAS SOPS 702261 HAS SOUS 369428 HAS SOUPS 369366 WITH SCORE 370068.571
AT ITER 3739 NEW BEST:: SOT 1527727 SOS 702529 HAS SOPS 702219 HAS SOUS 369386 HAS SOUPS 369324 WITH SCORE 370026.529
AT ITER 3742 NEW BEST:: SOT 1525785 SOS 704613 HAS SOPS 704303 HAS SOUS 367399 HAS SOUPS 367337 WITH SCORE 368041.613
AT ITER 3744 NEW BEST:: SOT 1525785 SOS 704613 HAS SOPS 704303 HAS SOUS 367380 HAS SOUPS 367318 WITH SCORE 368022.613
AT ITER 3752 NEW BEST:: SOT 1525784 SOS 704612 HAS SOPS 704302 HAS SOUS 367377 HAS SOUPS 367315 WITH SCORE 368019.612
AT ITER 3768 NEW BEST:: SOT 1525535 SOS 704540 HAS SOPS 704230 HAS SOUS 367233 HAS SOUPS 367171 WITH SCORE 367875.54
AT ITER 3773 NEW BEST:: SOT 1525383 SOS 704314 HAS SOPS 704004 HAS SOUS 367113 HAS SOUPS 367051 WITH SCORE 367755.314
AT ITER 3780 NEW BEST:: SOT 1525196 SOS 704127 HAS SOPS 703817 HAS SOUS 366847 HAS SOUPS 366785 WITH SCORE 367489.127
AT ITER 3784 NEW BEST:: SOT 1524877 SOS 703489 HAS SOPS 703179 HAS SOUS 366209 HAS SOUPS 366147 WITH SCORE 366850.489
AT ITER 3788 NEW BEST:: SOT 1524873 SOS 703477 HAS SOPS 703167 HAS SOUS 366201 HAS SOUPS 366139 WITH SCORE 366842.477
AT ITER 3806 NEW BEST:: SOT 1524812 SOS 703343 HAS SOPS 703033 HAS SOUS 366067 HAS SOUPS 366005 WITH SCORE 366708.343
AT ITER 3831 NEW BEST:: SOT 1524812 SOS 703343 HAS SOPS 703033 HAS SOUS 365852 HAS SOUPS 365790 WITH SCORE 366493.343
AT ITER 3833 NEW BEST:: SOT 1524581 SOS 703112 HAS SOPS 702802 HAS SOUS 365564 HAS SOUPS 365502 WITH SCORE 366205.112
AT ITER 3834 NEW BEST:: SOT 1524464 SOS 702995 HAS SOPS 702685 HAS SOUS 365481 HAS SOUPS 365419 WITH SCORE 366121.995
AT ITER 3837 NEW BEST:: SOT 1524394 SOS 702925 HAS SOPS 702615 HAS SOUS 365271 HAS SOUPS 365209 WITH SCORE 365911.925
AT ITER 3841 NEW BEST:: SOT 1524172 SOS 702703 HAS SOPS 702393 HAS SOUS 364794 HAS SOUPS 364732 WITH SCORE 365434.703
AT ITER 3847 NEW BEST:: SOT 1524222 SOS 702753 HAS SOPS 702443 HAS SOUS 364733 HAS SOUPS 364671 WITH SCORE 365373.753
AT ITER 3853 NEW BEST:: SOT 1524215 SOS 702746 HAS SOPS 702436 HAS SOUS 364719 HAS SOUPS 364657 WITH SCORE 365359.746
AT ITER 3855 NEW BEST:: SOT 1524168 SOS 702699 HAS SOPS 702389 HAS SOUS 364672 HAS SOUPS 364610 WITH SCORE 365312.699
AT ITER 3869 NEW BEST:: SOT 1524168 SOS 702699 HAS SOPS 702389 HAS SOUS 364647 HAS SOUPS 364585 WITH SCORE 365287.699
AT ITER 3873 NEW BEST:: SOT 1524168 SOS 702679 HAS SOPS 702369 HAS SOUS 364567 HAS SOUPS 364505 WITH SCORE 365207.679
AT ITER 3874 NEW BEST:: SOT 1523836 SOS 702638 HAS SOPS 702328 HAS SOUS 364509 HAS SOUPS 364447 WITH SCORE 365149.638
AT ITER 3875 NEW BEST:: SOT 1523817 SOS 702619 HAS SOPS 702309 HAS SOUS 364471 HAS SOUPS 364409 WITH SCORE 365111.619
AT ITER 3882 NEW BEST:: SOT 1523455 SOS 702257 HAS SOPS 701947 HAS SOUS 364163 HAS SOUPS 364101 WITH SCORE 364803.257
AT ITER 3884 NEW BEST:: SOT 1523518 SOS 702320 HAS SOPS 702010 HAS SOUS 364159 HAS SOUPS 364097 WITH SCORE 364799.32
AT ITER 3885 NEW BEST:: SOT 1523560 SOS 702362 HAS SOPS 702052 HAS SOUS 363880 HAS SOUPS 363818 WITH SCORE 364520.362
AT ITER 3911 NEW BEST:: SOT 1523532 SOS 702334 HAS SOPS 702024 HAS SOUS 363853 HAS SOUPS 363791 WITH SCORE 364493.334
AT ITER 3913 NEW BEST:: SOT 1523525 SOS 702320 HAS SOPS 702010 HAS SOUS 363839 HAS SOUPS 363777 WITH SCORE 364479.32
AT ITER 3914 NEW BEST:: SOT 1523399 SOS 702194 HAS SOPS 701884 HAS SOUS 363608 HAS SOUPS 363546 WITH SCORE 364248.194
AT ITER 3917 NEW BEST:: SOT 1523410 SOS 702205 HAS SOPS 701895 HAS SOUS 363526 HAS SOUPS 363464 WITH SCORE 364166.205
AT ITER 3938 NEW BEST:: SOT 1523376 SOS 702171 HAS SOPS 701861 HAS SOUS 363492 HAS SOUPS 363430 WITH SCORE 364132.171
AT ITER 3942 NEW BEST:: SOT 1523349 SOS 702166 HAS SOPS 701856 HAS SOUS 363440 HAS SOUPS 363378 WITH SCORE 364080.166
AT ITER 3949 NEW BEST:: SOT 1523349 SOS 702125 HAS SOPS 701815 HAS SOUS 363440 HAS SOUPS 363378 WITH SCORE 364080.125
AT ITER 3955 NEW BEST:: SOT 1523022 SOS 701798 HAS SOPS 701488 HAS SOUS 362895 HAS SOUPS 362833 WITH SCORE 363534.798
AT ITER 3968 NEW BEST:: SOT 1523596 SOS 702372 HAS SOPS 702062 HAS SOUS 362372 HAS SOUPS 362310 WITH SCORE 363012.372
AT ITER 3969 NEW BEST:: SOT 1523633 SOS 702361 HAS SOPS 702051 HAS SOUS 362361 HAS SOUPS 362299 WITH SCORE 363001.361
AT ITER 3983 NEW BEST:: SOT 1523614 SOS 702819 HAS SOPS 702509 HAS SOUS 362238 HAS SOUPS 362176 WITH SCORE 362878.819
AT ITER 3996 NEW BEST:: SOT 1523614 SOS 702447 HAS SOPS 702137 HAS SOUS 362201 HAS SOUPS 362139 WITH SCORE 362841.447
AT ITER 3997 NEW BEST:: SOT 1523599 SOS 702433 HAS SOPS 702123 HAS SOUS 362086 HAS SOUPS 362024 WITH SCORE 362726.433
AT ITER 4047 NEW BEST:: SOT 1523593 SOS 702427 HAS SOPS 702117 HAS SOUS 361773 HAS SOUPS 361711 WITH SCORE 362413.427
AT ITER 4067 NEW BEST:: SOT 1523475 SOS 702309 HAS SOPS 701999 HAS SOUS 361655 HAS SOUPS 361593 WITH SCORE 362295.309
AT ITER 4080 NEW BEST:: SOT 1523624 SOS 702458 HAS SOPS 702148 HAS SOUS 361609 HAS SOUPS 361547 WITH SCORE 362249.458
AT ITER 4100 NEW BEST:: SOT 1523328 SOS 702162 HAS SOPS 701852 HAS SOUS 361192 HAS SOUPS 361130 WITH SCORE 361832.162
AT ITER 4102 NEW BEST:: SOT 1523338 SOS 702128 HAS SOPS 701818 HAS SOUS 361115 HAS SOUPS 361053 WITH SCORE 361755.128
AT ITER 4119 NEW BEST:: SOT 1523332 SOS 702122 HAS SOPS 701812 HAS SOUS 361031 HAS SOUPS 360969 WITH SCORE 361671.122
AT ITER 4123 NEW BEST:: SOT 1523332 SOS 702116 HAS SOPS 701806 HAS SOUS 361031 HAS SOUPS 360969 WITH SCORE 361671.116
AT ITER 4130 NEW BEST:: SOT 1523360 SOS 701952 HAS SOPS 701642 HAS SOUS 360984 HAS SOUPS 360922 WITH SCORE 361623.952
AT ITER 4150 NEW BEST:: SOT 1523424 SOS 702016 HAS SOPS 701706 HAS SOUS 360744 HAS SOUPS 360682 WITH SCORE 361384.016
AT ITER 4151 NEW BEST:: SOT 1523424 SOS 702016 HAS SOPS 701706 HAS SOUS 360166 HAS SOUPS 360104 WITH SCORE 360806.016
AT ITER 4165 NEW BEST:: SOT 1523409 SOS 702001 HAS SOPS 701691 HAS SOUS 360117 HAS SOUPS 360055 WITH SCORE 360757.001
AT ITER 4166 NEW BEST:: SOT 1524006 SOS 702598 HAS SOPS 702288 HAS SOUS 360096 HAS SOUPS 360034 WITH SCORE 360736.598
AT ITER 4178 NEW BEST:: SOT 1524004 SOS 702596 HAS SOPS 702286 HAS SOUS 360093 HAS SOUPS 360031 WITH SCORE 360733.596
AT ITER 4179 NEW BEST:: SOT 1523990 SOS 702582 HAS SOPS 702272 HAS SOUS 359989 HAS SOUPS 359927 WITH SCORE 360629.582
AT ITER 4184 NEW BEST:: SOT 1524044 SOS 702636 HAS SOPS 702326 HAS SOUS 359887 HAS SOUPS 359825 WITH SCORE 360527.636
AT ITER 4193 NEW BEST:: SOT 1524152 SOS 702744 HAS SOPS 702434 HAS SOUS 359707 HAS SOUPS 359645 WITH SCORE 360347.744
AT ITER 4216 NEW BEST:: SOT 1524277 SOS 702869 HAS SOPS 702559 HAS SOUS 359408 HAS SOUPS 359346 WITH SCORE 360048.869
AT ITER 4268 NEW BEST:: SOT 1524189 SOS 702781 HAS SOPS 702471 HAS SOUS 358968 HAS SOUPS 358906 WITH SCORE 359608.781
AT ITER 4279 NEW BEST:: SOT 1524077 SOS 702669 HAS SOPS 702359 HAS SOUS 358408 HAS SOUPS 358346 WITH SCORE 359048.669
AT ITER 4284 NEW BEST:: SOT 1524026 SOS 702618 HAS SOPS 702308 HAS SOUS 358306 HAS SOUPS 358244 WITH SCORE 358946.618
AT ITER 4285 NEW BEST:: SOT 1524016 SOS 702608 HAS SOPS 702298 HAS SOUS 358284 HAS SOUPS 358222 WITH SCORE 358924.608
AT ITER 4290 NEW BEST:: SOT 1523990 SOS 702556 HAS SOPS 702246 HAS SOUS 358232 HAS SOUPS 358170 WITH SCORE 358872.556
AT ITER 4300 NEW BEST:: SOT 1523919 SOS 702485 HAS SOPS 702175 HAS SOUS 358140 HAS SOUPS 358078 WITH SCORE 358780.485
AT ITER 4302 NEW BEST:: SOT 1523957 SOS 702523 HAS SOPS 702213 HAS SOUS 357938 HAS SOUPS 357876 WITH SCORE 358578.523
AT ITER 4312 NEW BEST:: SOT 1523923 SOS 702043 HAS SOPS 701733 HAS SOUS 357876 HAS SOUPS 357814 WITH SCORE 358516.043
AT ITER 4317 NEW BEST:: SOT 1523731 SOS 701851 HAS SOPS 701541 HAS SOUS 357324 HAS SOUPS 357262 WITH SCORE 357963.851
AT ITER 4330 NEW BEST:: SOT 1523283 SOS 701403 HAS SOPS 701093 HAS SOUS 356493 HAS SOUPS 356431 WITH SCORE 357132.403
AT ITER 4352 NEW BEST:: SOT 1522887 SOS 701007 HAS SOPS 700697 HAS SOUS 356097 HAS SOUPS 356035 WITH SCORE 356736.007
AT ITER 4370 NEW BEST:: SOT 1523057 SOS 701177 HAS SOPS 700867 HAS SOUS 356051 HAS SOUPS 355989 WITH SCORE 356690.177
AT ITER 4371 NEW BEST:: SOT 1522868 SOS 700988 HAS SOPS 700678 HAS SOUS 355818 HAS SOUPS 355756 WITH SCORE 356456.988
AT ITER 4382 NEW BEST:: SOT 1522861 SOS 700981 HAS SOPS 700671 HAS SOUS 355753 HAS SOUPS 355691 WITH SCORE 356391.981
AT ITER 4395 NEW BEST:: SOT 1522715 SOS 700835 HAS SOPS 700525 HAS SOUS 355367 HAS SOUPS 355305 WITH SCORE 356005.835
AT ITER 4400 NEW BEST:: SOT 1522986 SOS 700608 HAS SOPS 700298 HAS SOUS 355299 HAS SOUPS 355237 WITH SCORE 355937.608
AT ITER 4428 NEW BEST:: SOT 1522889 SOS 700511 HAS SOPS 700201 HAS SOUS 355202 HAS SOUPS 355140 WITH SCORE 355840.511
AT ITER 4441 NEW BEST:: SOT 1522789 SOS 700035 HAS SOPS 699725 HAS SOUS 355085 HAS SOUPS 355023 WITH SCORE 355723.035
AT ITER 4456 NEW BEST:: SOT 1522702 SOS 699948 HAS SOPS 699638 HAS SOUS 354951 HAS SOUPS 354889 WITH SCORE 355588.948
AT ITER 4460 NEW BEST:: SOT 1522542 SOS 699788 HAS SOPS 699478 HAS SOUS 354632 HAS SOUPS 354570 WITH SCORE 355269.788
AT ITER 4462 NEW BEST:: SOT 1522542 SOS 699788 HAS SOPS 699478 HAS SOUS 354583 HAS SOUPS 354521 WITH SCORE 355220.788
AT ITER 4468 NEW BEST:: SOT 1522301 SOS 699547 HAS SOPS 699237 HAS SOUS 353137 HAS SOUPS 353075 WITH SCORE 353774.547
AT ITER 4478 NEW BEST:: SOT 1522241 SOS 699487 HAS SOPS 699177 HAS SOUS 353077 HAS SOUPS 353015 WITH SCORE 353714.487
AT ITER 4481 NEW BEST:: SOT 1522252 SOS 699509 HAS SOPS 699199 HAS SOUS 353075 HAS SOUPS 353013 WITH SCORE 353712.509
AT ITER 4488 NEW BEST:: SOT 1522240 SOS 699497 HAS SOPS 699187 HAS SOUS 353063 HAS SOUPS 353001 WITH SCORE 353700.497
AT ITER 4495 NEW BEST:: SOT 1522217 SOS 698950 HAS SOPS 698640 HAS SOUS 353017 HAS SOUPS 352955 WITH SCORE 353653.95
AT ITER 4499 NEW BEST:: SOT 1522207 SOS 698940 HAS SOPS 698630 HAS SOUS 353000 HAS SOUPS 352938 WITH SCORE 353636.94
AT ITER 4502 NEW BEST:: SOT 1522241 SOS 699426 HAS SOPS 699116 HAS SOUS 352977 HAS SOUPS 352915 WITH SCORE 353614.426
AT ITER 4514 NEW BEST:: SOT 1521757 SOS 698942 HAS SOPS 698632 HAS SOUS 352973 HAS SOUPS 352911 WITH SCORE 353609.942
AT ITER 4515 NEW BEST:: SOT 1521618 SOS 698803 HAS SOPS 698493 HAS SOUS 352695 HAS SOUPS 352633 WITH SCORE 353331.803
AT ITER 4525 NEW BEST:: SOT 1521618 SOS 698803 HAS SOPS 698493 HAS SOUS 352540 HAS SOUPS 352478 WITH SCORE 353176.803
AT ITER 4532 NEW BEST:: SOT 1521569 SOS 699035 HAS SOPS 698725 HAS SOUS 352310 HAS SOUPS 352248 WITH SCORE 352947.035
AT ITER 4559 NEW BEST:: SOT 1521480 SOS 698946 HAS SOPS 698636 HAS SOUS 352221 HAS SOUPS 352159 WITH SCORE 352857.946
AT ITER 4570 NEW BEST:: SOT 1521453 SOS 698919 HAS SOPS 698609 HAS SOUS 352184 HAS SOUPS 352122 WITH SCORE 352820.919
AT ITER 4582 NEW BEST:: SOT 1521436 SOS 698951 HAS SOPS 698641 HAS SOUS 352150 HAS SOUPS 352088 WITH SCORE 352786.951
AT ITER 4586 NEW BEST:: SOT 1521436 SOS 698951 HAS SOPS 698641 HAS SOUS 352048 HAS SOUPS 351986 WITH SCORE 352684.951
AT ITER 4592 NEW BEST:: SOT 1521617 SOS 699132 HAS SOPS 698822 HAS SOUS 351337 HAS SOUPS 351275 WITH SCORE 351974.132
AT ITER 4593 NEW BEST:: SOT 1521564 SOS 699079 HAS SOPS 698769 HAS SOUS 351303 HAS SOUPS 351241 WITH SCORE 351940.079
AT ITER 4606 NEW BEST:: SOT 1521499 SOS 699301 HAS SOPS 698991 HAS SOUS 351183 HAS SOUPS 351121 WITH SCORE 351820.301
AT ITER 4617 NEW BEST:: SOT 1521517 SOS 699319 HAS SOPS 699009 HAS SOUS 351116 HAS SOUPS 351054 WITH SCORE 351753.319
AT ITER 4634 NEW BEST:: SOT 1521517 SOS 699340 HAS SOPS 699030 HAS SOUS 351102 HAS SOUPS 351040 WITH SCORE 351739.34
AT ITER 4643 NEW BEST:: SOT 1521425 SOS 699248 HAS SOPS 698938 HAS SOUS 351101 HAS SOUPS 351039 WITH SCORE 351738.248
AT ITER 4658 NEW BEST:: SOT 1521396 SOS 699219 HAS SOPS 698909 HAS SOUS 351057 HAS SOUPS 350995 WITH SCORE 351694.219
AT ITER 4660 NEW BEST:: SOT 1521314 SOS 699137 HAS SOPS 698827 HAS SOUS 350975 HAS SOUPS 350913 WITH SCORE 351612.137
AT ITER 4663 NEW BEST:: SOT 1521231 SOS 699054 HAS SOPS 698744 HAS SOUS 350809 HAS SOUPS 350747 WITH SCORE 351446.054
AT ITER 4682 NEW BEST:: SOT 1521195 SOS 699018 HAS SOPS 698708 HAS SOUS 350773 HAS SOUPS 350711 WITH SCORE 351410.018
AT ITER 4691 NEW BEST:: SOT 1521216 SOS 699039 HAS SOPS 698729 HAS SOUS 350752 HAS SOUPS 350690 WITH SCORE 351389.039
AT ITER 4701 NEW BEST:: SOT 1521435 SOS 699258 HAS SOPS 698948 HAS SOUS 350730 HAS SOUPS 350668 WITH SCORE 351367.258
AT ITER 4736 NEW BEST:: SOT 1521430 SOS 699253 HAS SOPS 698943 HAS SOUS 350725 HAS SOUPS 350663 WITH SCORE 351362.253
AT ITER 4746 NEW BEST:: SOT 1521750 SOS 699595 HAS SOPS 699285 HAS SOUS 350651 HAS SOUPS 350589 WITH SCORE 351288.595
AT ITER 4748 NEW BEST:: SOT 1521778 SOS 699623 HAS SOPS 699313 HAS SOUS 349637 HAS SOUPS 349575 WITH SCORE 350274.623
AT ITER 4764 NEW BEST:: SOT 1521751 SOS 699617 HAS SOPS 699307 HAS SOUS 349625 HAS SOUPS 349563 WITH SCORE 350262.617
AT ITER 4767 NEW BEST:: SOT 1521751 SOS 699617 HAS SOPS 699307 HAS SOUS 349605 HAS SOUPS 349543 WITH SCORE 350242.617
AT ITER 4774 NEW BEST:: SOT 1521711 SOS 699577 HAS SOPS 699267 HAS SOUS 349565 HAS SOUPS 349503 WITH SCORE 350202.577
AT ITER 4776 NEW BEST:: SOT 1521701 SOS 699572 HAS SOPS 699262 HAS SOUS 349555 HAS SOUPS 349493 WITH SCORE 350192.572
AT ITER 4789 NEW BEST:: SOT 1521701 SOS 699462 HAS SOPS 699152 HAS SOUS 349555 HAS SOUPS 349493 WITH SCORE 350192.462
AT ITER 4790 NEW BEST:: SOT 1521655 SOS 699416 HAS SOPS 699106 HAS SOUS 349463 HAS SOUPS 349401 WITH SCORE 350100.416
AT ITER 4800 NEW BEST:: SOT 1521651 SOS 699412 HAS SOPS 699102 HAS SOUS 349459 HAS SOUPS 349397 WITH SCORE 350096.412
AT ITER 4804 NEW BEST:: SOT 1521766 SOS 699527 HAS SOPS 699217 HAS SOUS 349404 HAS SOUPS 349342 WITH SCORE 350041.527
AT ITER 4811 NEW BEST:: SOT 1521640 SOS 699401 HAS SOPS 699091 HAS SOUS 349062 HAS SOUPS 349000 WITH SCORE 349699.401
AT ITER 4817 NEW BEST:: SOT 1521503 SOS 699264 HAS SOPS 698954 HAS SOUS 348873 HAS SOUPS 348811 WITH SCORE 349510.264
AT ITER 4849 NEW BEST:: SOT 1521483 SOS 699244 HAS SOPS 698934 HAS SOUS 348833 HAS SOUPS 348771 WITH SCORE 349470.244
AT ITER 4852 NEW BEST:: SOT 1521421 SOS 699182 HAS SOPS 698872 HAS SOUS 348771 HAS SOUPS 348709 WITH SCORE 349408.182
AT ITER 4856 NEW BEST:: SOT 1521259 SOS 698943 HAS SOPS 698633 HAS SOUS 348698 HAS SOUPS 348636 WITH SCORE 349334.943
AT ITER 4874 NEW BEST:: SOT 1521500 SOS 699184 HAS SOPS 698874 HAS SOUS 348480 HAS SOUPS 348418 WITH SCORE 349117.184
AT ITER 4886 NEW BEST:: SOT 1521500 SOS 699184 HAS SOPS 698874 HAS SOUS 348479 HAS SOUPS 348417 WITH SCORE 349116.184
AT ITER 4887 NEW BEST:: SOT 1521451 SOS 699135 HAS SOPS 698825 HAS SOUS 348430 HAS SOUPS 348368 WITH SCORE 349067.135
AT ITER 4907 NEW BEST:: SOT 1521327 SOS 699011 HAS SOPS 698701 HAS SOUS 348108 HAS SOUPS 348046 WITH SCORE 348745.011
AT ITER 4930 NEW BEST:: SOT 1521320 SOS 699004 HAS SOPS 698694 HAS SOUS 348094 HAS SOUPS 348032 WITH SCORE 348731.004
AT ITER 4954 NEW BEST:: SOT 1521320 SOS 699004 HAS SOPS 698694 HAS SOUS 348068 HAS SOUPS 348006 WITH SCORE 348705.004
AT ITER 4955 NEW BEST:: SOT 1521635 SOS 699319 HAS SOPS 699009 HAS SOUS 347822 HAS SOUPS 347760 WITH SCORE 348459.319
AT ITER 4961 NEW BEST:: SOT 1521650 SOS 699237 HAS SOPS 698927 HAS SOUS 347809 HAS SOUPS 347747 WITH SCORE 348446.237
AT ITER 4967 NEW BEST:: SOT 1521635 SOS 699222 HAS SOPS 698912 HAS SOUS 347777 HAS SOUPS 347715 WITH SCORE 348414.222
AT ITER 4968 NEW BEST:: SOT 1521499 SOS 699086 HAS SOPS 698776 HAS SOUS 347744 HAS SOUPS 347682 WITH SCORE 348381.086
AT ITER 4974 NEW BEST:: SOT 1521400 SOS 698987 HAS SOPS 698677 HAS SOUS 347645 HAS SOUPS 347583 WITH SCORE 348281.987
AT ITER 4976 NEW BEST:: SOT 1521302 SOS 698889 HAS SOPS 698579 HAS SOUS 347518 HAS SOUPS 347456 WITH SCORE 348154.889
AT ITER 4988 NEW BEST:: SOT 1521285 SOS 722821 HAS SOPS 722123 HAS SOUS 347700 HAS SOUPS 347250 WITH SCORE 347972.821
AT ITER 4997 NEW BEST:: SOT 1521217 SOS 722753 HAS SOPS 722055 HAS SOUS 347564 HAS SOUPS 347114 WITH SCORE 347836.753
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-00 (EG( (! (! ( potential( (tk(P1) + tk(P16) + tk(P64) + tk(P72) + tk(P86) + tk(P88) + tk(P109) + tk(P111) + tk(P123) + tk(P140) + tk(P151) + tk(P157) + tk(P169) + tk(P178) + tk(P202) + tk(P206) + tk(P209) + tk(P221) + tk(P230) + tk(P259) + tk(P262) + tk(P289) + tk(P291) + tk(P317) + tk(P322) + tk(P351) + tk(P355) + tk(P356) + tk(P371) + tk(P392) + tk(P394) + tk(P414) + tk(P418) + tk(P423) + tk(P429) + tk(P468) + tk(P484) + tk(P546) + tk(P565) + tk(P583) + tk(P585) + tk(P615) + tk(P617) + tk(P640) + tk(P641) + tk(P657) + tk(P661) + tk(P686) + tk(P708) + tk(P725) + tk(P740) + tk(P754) + tk(P757) + tk(P763) + tk(P765) + tk(P784) + tk(P789) + tk(P790) + tk(P796) + tk(P799) + tk(P820) + tk(P837) + tk(P858) + tk(P866) + tk(P875) + tk(P880) + tk(P931) + tk(P937) + tk(P959) + tk(P995) + tk(P1028) + tk(P1029) + tk(P1035) + tk(P1042) + tk(P1044) + tk(P1058) + tk(P1061) + tk(P1073) + tk(P1122) + tk(P1142) + tk(P1147)) <= (tk(P840)) ) | potential( ( 1 ) <= (tk(P4) + tk(P6) + tk(P38) + tk(P41) + tk(P44) + tk(P60) + tk(P63) + tk(P75) + tk(P93) + tk(P101) + tk(P146) + tk(P155) + tk(P187) + tk(P193) + tk(P205) + tk(P238) + tk(P250) + tk(P258) + tk(P260) + tk(P290) + tk(P299) + tk(P300) + tk(P313) + tk(P315) + tk(P319) + tk(P320) + tk(P328) + tk(P330) + tk(P331) + tk(P345) + tk(P419) + tk(P455) + tk(P457) + tk(P465) + tk(P466) + tk(P476) + tk(P479) + tk(P482) + tk(P488) + tk(P491) + tk(P509) + tk(P515) + tk(P574) + tk(P597) + tk(P598) + tk(P609) + tk(P627) + tk(P632) + tk(P666) + tk(P705) + tk(P717) + tk(P719) + tk(P727) + tk(P739) + tk(P809) + tk(P823) + tk(P843) + tk(P847) + tk(P859) + tk(P869) + tk(P894) + tk(P901) + tk(P906) + tk(P916) + tk(P950) + tk(P954) + tk(P991) + tk(P992) + tk(P993) + tk(P1001) + tk(P1024) + tk(P1031) + tk(P1056) + tk(P1083) + tk(P1084) + tk(P1087) + tk(P1099) + tk(P1117) + tk(P1118) + tk(P1141) + tk(P1174)) ) )))))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-01 (AF(( (! (! potential( (tk(P1057)) <= (tk(P511)) ))) & (AF(potential( ( 2 ) <= (tk(P2) + tk(P13) + tk(P20) + tk(P24) + tk(P30) + tk(P35) + tk(P36) + tk(P48) + tk(P77) + tk(P108) + tk(P124) + tk(P165) + tk(P184) + tk(P192) + tk(P196) + tk(P208) + tk(P211) + tk(P227) + tk(P271) + tk(P337) + tk(P348) + tk(P350) + tk(P386) + tk(P393) + tk(P406) + tk(P413) + tk(P439) + tk(P442) + tk(P478) + tk(P483) + tk(P494) + tk(P500) + tk(P520) + tk(P525) + tk(P527) + tk(P577) + tk(P592) + tk(P637) + tk(P681) + tk(P683) + tk(P689) + tk(P701) + tk(P728) + tk(P738) + tk(P742) + tk(P744) + tk(P746) + tk(P780) + tk(P783) + tk(P794) + tk(P805) + tk(P826) + tk(P827) + tk(P841) + tk(P851) + tk(P865) + tk(P867) + tk(P885) + tk(P886) + tk(P902) + tk(P915) + tk(P917) + tk(P919) + tk(P932) + tk(P945) + tk(P972) + tk(P990) + tk(P994) + tk(P1018) + tk(P1020) + tk(P1039) + tk(P1048) + tk(P1082) + tk(P1092) + tk(P1097) + tk(P1119) + tk(P1121) + tk(P1140) + tk(P1158) + tk(P1178) + tk(P1186)) ))) )))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-02 (AX( (EF(potential( ( 1 ) <= (tk(P605)) )))))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-03 (EG( ( (AX( potential( (tk(P438)) <= (tk(P581)) ))) & potential( (tk(P373)) <= (tk(P844)) ) )))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-04 (EU( potential( (tk(P214)) <= (tk(P895)) ),(! (! potential( ( 2 ) <= (tk(P895)) ))) ))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-05 (EF(potential( (tk(P895)) <= (tk(P373)) )))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-06 ( ( (EU( potential( ( 1 ) <= (tk(P581)) ),potential( ( 3 ) <= (tk(P1057)) ) )) & (! (AF(potential( ( 3 ) <= (tk(P3) + tk(P7) + tk(P9) + tk(P10) + tk(P11) + tk(P12) + tk(P14) + tk(P15) + tk(P17) + tk(P18) + tk(P21) + tk(P22) + tk(P25) + tk(P27) + tk(P33) + tk(P37) + tk(P39) + tk(P47) + tk(P50) + tk(P51) + tk(P56) + tk(P62) + tk(P67) + tk(P70) + tk(P76) + tk(P80) + tk(P81) + tk(P84) + tk(P85) + tk(P87) + tk(P89) + tk(P92) + tk(P94) + tk(P95) + tk(P99) + tk(P100) + tk(P102) + tk(P107) + tk(P115) + tk(P116) + tk(P119) + tk(P122) + tk(P125) + tk(P127) + tk(P128) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P139) + tk(P141) + tk(P143) + tk(P144) + tk(P153) + tk(P156) + tk(P158) + tk(P162) + tk(P168) + tk(P176) + tk(P177) + tk(P179) + tk(P180) + tk(P181) + tk(P183) + tk(P185) + tk(P186) + tk(P189) + tk(P190) + tk(P197) + tk(P199) + tk(P207) + tk(P215) + tk(P216) + tk(P217) + tk(P223) + tk(P224) + tk(P229) + tk(P233) + tk(P235) + tk(P239) + tk(P242) + tk(P245) + tk(P246) + tk(P248) + tk(P252) + tk(P254) + tk(P255) + tk(P257) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P272) + tk(P274) + tk(P280) + tk(P284) + tk(P285) + tk(P288) + tk(P292) + tk(P293) + tk(P294) + tk(P295) + tk(P298) + tk(P302) + tk(P303) + tk(P304) + tk(P306) + tk(P307) + tk(P312) + tk(P316) + tk(P321) + tk(P324) + tk(P326) + tk(P332) + tk(P334) + tk(P335) + tk(P336) + tk(P338) + tk(P339) + tk(P341) + tk(P342) + tk(P343) + tk(P346) + tk(P353) + tk(P358) + tk(P360) + tk(P361) + tk(P365) + tk(P367) + tk(P368) + tk(P375) + tk(P377) + tk(P379) + tk(P380) + tk(P382) + tk(P384) + tk(P390) + tk(P395) + tk(P402) + tk(P403) + tk(P412) + tk(P415) + tk(P417) + tk(P422) + tk(P425) + tk(P426) + tk(P431) + tk(P433) + tk(P434) + tk(P441) + tk(P444) + tk(P445) + tk(P448) + tk(P449) + tk(P450) + tk(P460) + tk(P462) + tk(P464) + tk(P467) + tk(P472) + tk(P474) + tk(P486) + tk(P487) + tk(P489) + tk(P490) + tk(P492) + tk(P493) + tk(P495) + tk(P496) + tk(P498) + tk(P506) + tk(P507) + tk(P510) + tk(P512) + tk(P516) + tk(P526) + tk(P530) + tk(P532) + tk(P536) + tk(P539) + tk(P540) + tk(P541) + tk(P543) + tk(P548) + tk(P549) + tk(P550) + tk(P551) + tk(P555) + tk(P558) + tk(P563) + tk(P568) + tk(P571) + tk(P575) + tk(P576) + tk(P579) + tk(P582) + tk(P587) + tk(P588) + tk(P589) + tk(P590) + tk(P593) + tk(P595) + tk(P604) + tk(P606) + tk(P611) + tk(P618) + tk(P619) + tk(P621) + tk(P623) + tk(P626) + tk(P629) + tk(P630) + tk(P631) + tk(P635) + tk(P636) + tk(P638) + tk(P644) + tk(P646) + tk(P651) + tk(P655) + tk(P656) + tk(P662) + tk(P664) + tk(P667) + tk(P670) + tk(P671) + tk(P672) + tk(P673) + tk(P674) + tk(P691) + tk(P693) + tk(P694) + tk(P695) + tk(P698) + tk(P702) + tk(P703) + tk(P707) + tk(P712) + tk(P713) + tk(P715) + tk(P720) + tk(P721) + tk(P723) + tk(P724) + tk(P731) + tk(P732) + tk(P735) + tk(P736) + tk(P741) + tk(P745) + tk(P748) + tk(P749) + tk(P750) + tk(P752) + tk(P756) + tk(P759) + tk(P761) + tk(P762) + tk(P766) + tk(P767) + tk(P768) + tk(P772) + tk(P773) + tk(P775) + tk(P777) + tk(P779) + tk(P785) + tk(P786) + tk(P787) + tk(P792) + tk(P795) + tk(P801) + tk(P802) + tk(P803) + tk(P804) + tk(P807) + tk(P812) + tk(P813) + tk(P814) + tk(P816) + tk(P819) + tk(P821) + tk(P825) + tk(P831) + tk(P833) + tk(P839) + tk(P842) + tk(P846) + tk(P848) + tk(P853) + tk(P857) + tk(P863) + tk(P868) + tk(P873) + tk(P876) + tk(P877) + tk(P878) + tk(P879) + tk(P881) + tk(P887) + tk(P891) + tk(P893) + tk(P896) + tk(P897) + tk(P899) + tk(P900) + tk(P905) + tk(P907) + tk(P910) + tk(P914) + tk(P920) + tk(P921) + tk(P922) + tk(P924) + tk(P927) + tk(P928) + tk(P935) + tk(P938) + tk(P940) + tk(P943) + tk(P947) + tk(P948) + tk(P952) + tk(P955) + tk(P957) + tk(P958) + tk(P960) + tk(P966) + tk(P967) + tk(P968) + tk(P973) + tk(P977) + tk(P978) + tk(P980) + tk(P981) + tk(P984) + tk(P987) + tk(P989) + tk(P996) + tk(P997) + tk(P999) + tk(P1002) + tk(P1005) + tk(P1007) + tk(P1008) + tk(P1010) + tk(P1012) + tk(P1023) + tk(P1027) + tk(P1030) + tk(P1038) + tk(P1041) + tk(P1045) + tk(P1046) + tk(P1050) + tk(P1051) + tk(P1052) + tk(P1053) + tk(P1064) + tk(P1066) + tk(P1068) + tk(P1069) + tk(P1071) + tk(P1075) + tk(P1078) + tk(P1080) + tk(P1085) + tk(P1094) + tk(P1095) + tk(P1096) + tk(P1100) + tk(P1106) + tk(P1108) + tk(P1111) + tk(P1112) + tk(P1125) + tk(P1128) + tk(P1129) + tk(P1131) + tk(P1137) + tk(P1138) + tk(P1145) + tk(P1150) + tk(P1152) + tk(P1154) + tk(P1156) + tk(P1157) + tk(P1161) + tk(P1162) + tk(P1164) + tk(P1165) + tk(P1166) + tk(P1168) + tk(P1171) + tk(P1172) + tk(P1175) + tk(P1176) + tk(P1179) + tk(P1180) + tk(P1181) + tk(P1185)) )))) ) & ( (! ( ( potential( (tk(P2) + tk(P13) + tk(P20) + tk(P24) + tk(P30) + tk(P35) + tk(P36) + tk(P48) + tk(P77) + tk(P108) + tk(P124) + tk(P165) + tk(P184) + tk(P192) + tk(P196) + tk(P208) + tk(P211) + tk(P227) + tk(P271) + tk(P337) + tk(P348) + tk(P350) + tk(P386) + tk(P393) + tk(P406) + tk(P413) + tk(P439) + tk(P442) + tk(P478) + tk(P483) + tk(P494) + tk(P500) + tk(P520) + tk(P525) + tk(P527) + tk(P577) + tk(P592) + tk(P637) + tk(P681) + tk(P683) + tk(P689) + tk(P701) + tk(P728) + tk(P738) + tk(P742) + tk(P744) + tk(P746) + tk(P780) + tk(P783) + tk(P794) + tk(P805) + tk(P826) + tk(P827) + tk(P841) + tk(P851) + tk(P865) + tk(P867) + tk(P885) + tk(P886) + tk(P902) + tk(P915) + tk(P917) + tk(P919) + tk(P932) + tk(P945) + tk(P972) + tk(P990) + tk(P994) + tk(P1018) + tk(P1020) + tk(P1039) + tk(P1048) + tk(P1082) + tk(P1092) + tk(P1097) + tk(P1119) + tk(P1121) + tk(P1140) + tk(P1158) + tk(P1178) + tk(P1186)) <= (tk(P210) + tk(P314) + tk(P755) + tk(P1040) + tk(P1074)) ) & potential( (tk(P34)) <= (tk(P40) + tk(P372) + tk(P524) + tk(P677) + tk(P793)) ) ) & potential( ( 2 ) <= (tk(P170)) ) )) | potential( ( 1 ) <= (tk(P170)) ) ) )
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-07 ( (AX( ( (! potential( ( 3 ) <= (tk(P40) + tk(P372) + tk(P524) + tk(P677) + tk(P793)) )) & ( potential( (tk(P591)) <= (tk(P1) + tk(P16) + tk(P64) + tk(P72) + tk(P86) + tk(P88) + tk(P109) + tk(P111) + tk(P123) + tk(P140) + tk(P151) + tk(P157) + tk(P169) + tk(P178) + tk(P202) + tk(P206) + tk(P209) + tk(P221) + tk(P230) + tk(P259) + tk(P262) + tk(P289) + tk(P291) + tk(P317) + tk(P322) + tk(P351) + tk(P355) + tk(P356) + tk(P371) + tk(P392) + tk(P394) + tk(P414) + tk(P418) + tk(P423) + tk(P429) + tk(P468) + tk(P484) + tk(P546) + tk(P565) + tk(P583) + tk(P585) + tk(P615) + tk(P617) + tk(P640) + tk(P641) + tk(P657) + tk(P661) + tk(P686) + tk(P708) + tk(P725) + tk(P740) + tk(P754) + tk(P757) + tk(P763) + tk(P765) + tk(P784) + tk(P789) + tk(P790) + tk(P796) + tk(P799) + tk(P820) + tk(P837) + tk(P858) + tk(P866) + tk(P875) + tk(P880) + tk(P931) + tk(P937) + tk(P959) + tk(P995) + tk(P1028) + tk(P1029) + tk(P1035) + tk(P1042) + tk(P1044) + tk(P1058) + tk(P1061) + tk(P1073) + tk(P1122) + tk(P1142) + tk(P1147)) ) | potential( ( 1 ) <= (tk(P605)) ) ) ))) | (AG( (AX( potential( (tk(P850)) <= (tk(P210) + tk(P314) + tk(P755) + tk(P1040) + tk(P1074)) ))))) )
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-08 ( (AG( (AG( potential( (tk(P453)) <= (tk(P896)) ))))) & ( (EG( ( potential( ( 3 ) <= (tk(P641)) ) & potential( (tk(P816)) <= (tk(P810)) ) ))) | (! (AG( potential( ( 3 ) <= (tk(P341)) )))) ) )
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-09 (AG( ( (EG( potential( (tk(P1173)) <= (tk(P117)) ))) | potential( (tk(P513)) <= (tk(P936)) ) )))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-10 ( (AF(potential( ( 1 ) <= (tk(P156)) ))) & (EU( (! potential( (tk(P473)) <= (tk(P696)) )),potential( (tk(P467)) <= (tk(P718)) ) )) )
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-11 (AG( ( (AF(potential( ( 3 ) <= (tk(P1037)) ))) | (AX( potential( ( 1 ) <= (tk(P973)) ))) )))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-12 (AF((AF((! potential( (tk(P601)) <= (tk(P290)) ))))))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-13 ( (AU( (! potential( (tk(P409)) <= (tk(P430)) )),( potential( ( 1 ) <= (tk(P1128)) ) & potential( ( 1 ) <= (tk(P1135)) ) ) )) | ( (! (AX( potential( ( 3 ) <= (tk(P789)) )))) & ( (EG( potential( (tk(P471)) <= (tk(P801)) ))) | (! ( potential( (tk(P139)) <= (tk(P149)) ) & potential( (tk(P823)) <= (tk(P1094)) ) )) ) ) )
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-14 (AG( (AU( potential( (tk(P43)) <= (tk(P21)) ),potential( (tk(P784)) <= (tk(P74)) ) ))))
PROPERTY: PolyORBNT-PT-S05J80-CTLCardinality-15 (AU( (! ( potential( ( 3 ) <= (tk(P1047)) ) & potential( ( 1 ) <= (tk(P570)) ) )),potential( ( 1 ) <= (tk(P162)) ) ))

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="PolyORBNT-PT-S05J80"
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 PolyORBNT-PT-S05J80, 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 r123-tajo-158961355100667"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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