fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r063-tajo-158922806900052
Last Updated
Jun 28, 2020

About the Execution of smart for DLCshifumi-PT-5a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15791.850 2445887.00 2445992.00 0.00 [undef] Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 3.4K Mar 31 01:00 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 31 01:00 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 14:56 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 14:56 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 10:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 10:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 27 03:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 27 03:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 3.9M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589357749062

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

GOT IT HERE. BS
Petri model created: 2162 places, 14865 transitions, 57457 arcs.
AT ITER 0 NEW BEST:: SOT 20143635 SOS 16667178 HAS SOPS 8343135 HAS SOUS 1611290 HAS SOUPS 721084 WITH SCORE 737751.178
AT ITER 4 NEW BEST:: SOT 20143241 SOS 16666003 HAS SOPS 8343895 HAS SOUS 1610509 HAS SOUPS 720690 WITH SCORE 737356.003
AT ITER 6 NEW BEST:: SOT 20143241 SOS 16666003 HAS SOPS 8343895 HAS SOUS 1610281 HAS SOUPS 720462 WITH SCORE 737128.003
AT ITER 8 NEW BEST:: SOT 20141262 SOS 16669947 HAS SOPS 8342394 HAS SOUS 1609079 HAS SOUPS 718897 WITH SCORE 735566.947
AT ITER 16 NEW BEST:: SOT 20140740 SOS 16668903 HAS SOPS 8342895 HAS SOUS 1608000 HAS SOUPS 718127 WITH SCORE 734795.903
AT ITER 23 NEW BEST:: SOT 20140740 SOS 16668903 HAS SOPS 8342895 HAS SOUS 1607990 HAS SOUPS 718117 WITH SCORE 734785.903
AT ITER 30 NEW BEST:: SOT 20140478 SOS 16668379 HAS SOPS 8343026 HAS SOUS 1607466 HAS SOUPS 717724 WITH SCORE 734392.379
AT ITER 45 NEW BEST:: SOT 20138780 SOS 16577316 HAS SOPS 8351195 HAS SOUS 1606991 HAS SOUPS 717249 WITH SCORE 733826.316
AT ITER 46 NEW BEST:: SOT 20138318 SOS 16575806 HAS SOPS 8352615 HAS SOUS 1605943 HAS SOUPS 716787 WITH SCORE 733362.806
AT ITER 64 NEW BEST:: SOT 20138318 SOS 16575806 HAS SOPS 8352615 HAS SOUS 1605751 HAS SOUPS 716595 WITH SCORE 733170.806
AT ITER 93 NEW BEST:: SOT 20137018 SOS 16577058 HAS SOPS 8350657 HAS SOUS 1605009 HAS SOUPS 715639 WITH SCORE 732216.058
AT ITER 94 NEW BEST:: SOT 20135886 SOS 16578466 HAS SOPS 8349005 HAS SOUS 1604545 HAS SOUPS 714971 WITH SCORE 731549.466
AT ITER 107 NEW BEST:: SOT 20135548 SOS 16577360 HAS SOPS 8350049 HAS SOUS 1603905 HAS SOUPS 714761 WITH SCORE 731338.36
AT ITER 111 NEW BEST:: SOT 20133892 SOS 16578980 HAS SOPS 8347559 HAS SOUS 1602779 HAS SOUPS 713361 WITH SCORE 729939.98
AT ITER 128 NEW BEST:: SOT 20130693 SOS 16586341 HAS SOPS 8348690 HAS SOUS 1600869 HAS SOUPS 711451 WITH SCORE 728037.341
AT ITER 131 NEW BEST:: SOT 20129358 SOS 16582111 HAS SOPS 8347060 HAS SOUS 1599239 HAS SOUPS 710341 WITH SCORE 726923.111
AT ITER 133 NEW BEST:: SOT 20128144 SOS 16582311 HAS SOPS 8345070 HAS SOUS 1598427 HAS SOUPS 709383 WITH SCORE 725965.311
AT ITER 141 NEW BEST:: SOT 20127353 SOS 16585232 HAS SOPS 8344436 HAS SOUS 1597913 HAS SOUPS 708632 WITH SCORE 725217.232
AT ITER 146 NEW BEST:: SOT 20123773 SOS 16593551 HAS SOPS 8346125 HAS SOUS 1594980 HAS SOUPS 705699 WITH SCORE 722292.551
AT ITER 154 NEW BEST:: SOT 20123773 SOS 16593551 HAS SOPS 8346125 HAS SOUS 1594734 HAS SOUPS 705453 WITH SCORE 722046.551
AT ITER 157 NEW BEST:: SOT 20123773 SOS 16593551 HAS SOPS 8346125 HAS SOUS 1594488 HAS SOUPS 705207 WITH SCORE 721800.551
AT ITER 167 NEW BEST:: SOT 20120432 SOS 16599870 HAS SOPS 8346674 HAS SOUS 1591727 HAS SOUPS 702446 WITH SCORE 719045.87
AT ITER 172 NEW BEST:: SOT 20120314 SOS 16599429 HAS SOPS 8346233 HAS SOUS 1591568 HAS SOUPS 702287 WITH SCORE 718886.429
AT ITER 174 NEW BEST:: SOT 20119156 SOS 16600965 HAS SOPS 8344559 HAS SOUS 1591096 HAS SOUPS 701601 WITH SCORE 718201.965
AT ITER 175 NEW BEST:: SOT 20119131 SOS 16600915 HAS SOPS 8344509 HAS SOUS 1591046 HAS SOUPS 701551 WITH SCORE 718151.915
AT ITER 187 NEW BEST:: SOT 20116261 SOS 16605943 HAS SOPS 8344377 HAS SOUS 1588809 HAS SOUPS 699314 WITH SCORE 715919.943
AT ITER 201 NEW BEST:: SOT 20116063 SOS 16605349 HAS SOPS 8344113 HAS SOUS 1588545 HAS SOUPS 699116 WITH SCORE 715721.349
AT ITER 209 NEW BEST:: SOT 20112670 SOS 16617142 HAS SOPS 8348226 HAS SOUS 1586078 HAS SOUPS 696649 WITH SCORE 713266.142
AT ITER 215 NEW BEST:: SOT 20110943 SOS 16622458 HAS SOPS 8347467 HAS SOUS 1585595 HAS SOUPS 695761 WITH SCORE 712383.458
AT ITER 222 NEW BEST:: SOT 20109564 SOS 16624902 HAS SOPS 8345576 HAS SOUS 1585050 HAS SOUPS 694927 WITH SCORE 711551.902
AT ITER 223 NEW BEST:: SOT 20108997 SOS 16623768 HAS SOPS 8346202 HAS SOUS 1583850 HAS SOUPS 694079 WITH SCORE 710702.768
AT ITER 229 NEW BEST:: SOT 20108997 SOS 16623768 HAS SOPS 8346202 HAS SOUS 1583624 HAS SOUPS 693853 WITH SCORE 710476.768
AT ITER 268 NEW BEST:: SOT 20105685 SOS 16633437 HAS SOPS 8349061 HAS SOUS 1581060 HAS SOUPS 691289 WITH SCORE 707922.437
AT ITER 280 NEW BEST:: SOT 20105267 SOS 16632276 HAS SOPS 8349525 HAS SOUS 1580373 HAS SOUPS 690927 WITH SCORE 707559.276
AT ITER 285 NEW BEST:: SOT 20104605 SOS 16630952 HAS SOPS 8349856 HAS SOUS 1579049 HAS SOUPS 689934 WITH SCORE 706564.952
AT ITER 292 NEW BEST:: SOT 20101685 SOS 16643351 HAS SOPS 8354775 HAS SOUS 1577346 HAS SOUPS 688231 WITH SCORE 704874.351
AT ITER 317 NEW BEST:: SOT 20099442 SOS 16657974 HAS SOPS 8361568 HAS SOUS 1576484 HAS SOUPS 687369 WITH SCORE 704026.974
AT ITER 324 NEW BEST:: SOT 20099211 SOS 16658975 HAS SOPS 8361414 HAS SOUS 1576330 HAS SOUPS 687138 WITH SCORE 703796.975
AT ITER 343 NEW BEST:: SOT 20097356 SOS 16660827 HAS SOPS 8358631 HAS SOUS 1575040 HAS SOUPS 685539 WITH SCORE 702199.827
AT ITER 345 NEW BEST:: SOT 20095575 SOS 16663093 HAS SOPS 8356232 HAS SOUS 1573872 HAS SOUPS 684060 WITH SCORE 700723.093
AT ITER 348 NEW BEST:: SOT 20094723 SOS 16664505 HAS SOPS 8355184 HAS SOUS 1573364 HAS SOUPS 683388 WITH SCORE 700052.505
AT ITER 359 NEW BEST:: SOT 20094583 SOS 16663987 HAS SOPS 8354666 HAS SOUS 1573224 HAS SOUPS 683248 WITH SCORE 699911.987
AT ITER 360 NEW BEST:: SOT 20094583 SOS 16663987 HAS SOPS 8354666 HAS SOUS 1573162 HAS SOUPS 683186 WITH SCORE 699849.987
AT ITER 368 NEW BEST:: SOT 20094512 SOS 16663845 HAS SOPS 8354524 HAS SOUS 1573086 HAS SOUPS 683110 WITH SCORE 699773.845
AT ITER 369 NEW BEST:: SOT 20094512 SOS 16663845 HAS SOPS 8354524 HAS SOUS 1572840 HAS SOUPS 682864 WITH SCORE 699527.845
AT ITER 378 NEW BEST:: SOT 20094512 SOS 16663845 HAS SOPS 8354524 HAS SOUS 1572660 HAS SOUPS 682684 WITH SCORE 699347.845
AT ITER 382 NEW BEST:: SOT 20094137 SOS 16662720 HAS SOPS 8354024 HAS SOUS 1572182 HAS SOUPS 682331 WITH SCORE 698993.72
AT ITER 384 NEW BEST:: SOT 20094137 SOS 16662720 HAS SOPS 8354024 HAS SOUS 1571936 HAS SOUPS 682085 WITH SCORE 698747.72
AT ITER 388 NEW BEST:: SOT 20087284 SOS 16652434 HAS SOPS 8349237 HAS SOUS 1571346 HAS SOUPS 681873 WITH SCORE 698525.434
AT ITER 394 NEW BEST:: SOT 20087284 SOS 16652434 HAS SOPS 8349237 HAS SOUS 1571146 HAS SOUPS 681673 WITH SCORE 698325.434
AT ITER 417 NEW BEST:: SOT 20086747 SOS 16651360 HAS SOPS 8350373 HAS SOUS 1569899 HAS SOUPS 680868 WITH SCORE 697519.36
AT ITER 419 NEW BEST:: SOT 20086747 SOS 16651360 HAS SOPS 8350373 HAS SOUS 1569667 HAS SOUPS 680636 WITH SCORE 697287.36
AT ITER 440 NEW BEST:: SOT 20086565 SOS 16650905 HAS SOPS 8349918 HAS SOUS 1569485 HAS SOUPS 680454 WITH SCORE 697104.905
AT ITER 445 NEW BEST:: SOT 20085181 SOS 16653033 HAS SOPS 8347966 HAS SOUS 1568845 HAS SOUPS 679542 WITH SCORE 696195.033
AT ITER 454 NEW BEST:: SOT 20084166 SOS 16659963 HAS SOPS 8351696 HAS SOUS 1568150 HAS SOUPS 678847 WITH SCORE 695506.963
AT ITER 455 NEW BEST:: SOT 20083734 SOS 16659099 HAS SOPS 8351912 HAS SOUS 1567286 HAS SOUPS 678199 WITH SCORE 694858.099
AT ITER 463 NEW BEST:: SOT 20083294 SOS 16657119 HAS SOPS 8351032 HAS SOUS 1566405 HAS SOUPS 677538 WITH SCORE 694195.119
AT ITER 481 NEW BEST:: SOT 20082498 SOS 16659935 HAS SOPS 8350368 HAS SOUS 1565828 HAS SOUPS 676729 WITH SCORE 693388.935
AT ITER 483 NEW BEST:: SOT 20080608 SOS 16664774 HAS SOPS 8349271 HAS SOUS 1564647 HAS SOUPS 675162 WITH SCORE 691826.774
AT ITER 491 NEW BEST:: SOT 20079556 SOS 16665910 HAS SOPS 8347707 HAS SOUS 1564211 HAS SOUPS 674546 WITH SCORE 691211.91
AT ITER 493 NEW BEST:: SOT 20079425 SOS 16665648 HAS SOPS 8349030 HAS SOUS 1563698 HAS SOUPS 674350 WITH SCORE 691015.648
AT ITER 495 NEW BEST:: SOT 20079425 SOS 16665648 HAS SOPS 8349030 HAS SOUS 1563658 HAS SOUPS 674310 WITH SCORE 690975.648
AT ITER 499 NEW BEST:: SOT 20078551 SOS 16670424 HAS SOPS 8351476 HAS SOUS 1563017 HAS SOUPS 673669 WITH SCORE 690339.424
AT ITER 513 NEW BEST:: SOT 20078073 SOS 16669468 HAS SOPS 8351715 HAS SOUS 1562061 HAS SOUPS 672952 WITH SCORE 689621.468
AT ITER 516 NEW BEST:: SOT 20077903 SOS 16668442 HAS SOPS 8354119 HAS SOUS 1561367 HAS SOUPS 672944 WITH SCORE 689612.442
AT ITER 517 NEW BEST:: SOT 20077903 SOS 16668442 HAS SOPS 8354119 HAS SOUS 1561121 HAS SOUPS 672698 WITH SCORE 689366.442
AT ITER 519 NEW BEST:: SOT 20077347 SOS 16668546 HAS SOPS 8353263 HAS SOUS 1560757 HAS SOUPS 672270 WITH SCORE 688938.546
AT ITER 521 NEW BEST:: SOT 20076881 SOS 16667614 HAS SOPS 8353496 HAS SOUS 1559825 HAS SOUPS 671571 WITH SCORE 688238.6140000001
AT ITER 532 NEW BEST:: SOT 20075927 SOS 16666342 HAS SOPS 8352754 HAS SOUS 1559719 HAS SOUPS 671465 WITH SCORE 688131.342
AT ITER 545 NEW BEST:: SOT 20074490 SOS 16663036 HAS SOPS 8351608 HAS SOUS 1558887 HAS SOUPS 671065 WITH SCORE 687728.036
AT ITER 547 NEW BEST:: SOT 20074490 SOS 16663036 HAS SOPS 8351608 HAS SOUS 1558641 HAS SOUPS 670819 WITH SCORE 687482.036
AT ITER 548 NEW BEST:: SOT 20074236 SOS 16662027 HAS SOPS 8353104 HAS SOUS 1557886 HAS SOUPS 670565 WITH SCORE 687227.027
AT ITER 560 NEW BEST:: SOT 20074236 SOS 16662027 HAS SOPS 8353104 HAS SOUS 1557640 HAS SOUPS 670319 WITH SCORE 686981.027
AT ITER 561 NEW BEST:: SOT 20072692 SOS 16665876 HAS SOPS 8351793 HAS SOUS 1557130 HAS SOUPS 669465 WITH SCORE 686130.876
AT ITER 565 NEW BEST:: SOT 20072002 SOS 16664496 HAS SOPS 8352138 HAS SOUS 1555750 HAS SOUPS 668430 WITH SCORE 685094.496
AT ITER 575 NEW BEST:: SOT 20071770 SOS 16664032 HAS SOPS 8352254 HAS SOUS 1555286 HAS SOUPS 668082 WITH SCORE 684746.032
AT ITER 580 NEW BEST:: SOT 20070769 SOS 16682861 HAS SOPS 8358318 HAS SOUS 1556082 HAS SOUPS 668027 WITH SCORE 684709.861
AT ITER 587 NEW BEST:: SOT 20069643 SOS 16690112 HAS SOPS 8361809 HAS SOUS 1555348 HAS SOUPS 667293 WITH SCORE 683983.112
AT ITER 590 NEW BEST:: SOT 20068985 SOS 16688796 HAS SOPS 8362138 HAS SOUS 1554032 HAS SOUPS 666306 WITH SCORE 682994.796
AT ITER 601 NEW BEST:: SOT 20068534 SOS 16687894 HAS SOPS 8363601 HAS SOUS 1552945 HAS SOUPS 665692 WITH SCORE 682379.894
AT ITER 611 NEW BEST:: SOT 20068098 SOS 16686568 HAS SOPS 8364545 HAS SOUS 1552055 HAS SOUPS 665256 WITH SCORE 681942.568
AT ITER 612 NEW BEST:: SOT 20068230 SOS 16686766 HAS SOPS 8364743 HAS SOUS 1551989 HAS SOUPS 665190 WITH SCORE 681876.766
AT ITER 613 NEW BEST:: SOT 20067890 SOS 16685685 HAS SOPS 8365667 HAS SOUS 1551248 HAS SOUPS 664850 WITH SCORE 681535.685
AT ITER 631 NEW BEST:: SOT 20067732 SOS 16685369 HAS SOPS 8365351 HAS SOUS 1551090 HAS SOUPS 664692 WITH SCORE 681377.369
AT ITER 650 NEW BEST:: SOT 20067711 SOS 16685327 HAS SOPS 8365569 HAS SOUS 1551007 HAS SOUPS 664661 WITH SCORE 681346.327
AT ITER 653 NEW BEST:: SOT 20066168 SOS 16688150 HAS SOPS 8363727 HAS SOUS 1550031 HAS SOUPS 663374 WITH SCORE 680062.15
AT ITER 671 NEW BEST:: SOT 20063397 SOS 16696145 HAS SOPS 8365782 HAS SOUS 1548099 HAS SOUPS 661442 WITH SCORE 678138.145
AT ITER 672 NEW BEST:: SOT 20063019 SOS 16695389 HAS SOPS 8366111 HAS SOUS 1547315 HAS SOUPS 660875 WITH SCORE 677570.389
AT ITER 674 NEW BEST:: SOT 20063019 SOS 16695389 HAS SOPS 8366111 HAS SOUS 1547169 HAS SOUPS 660729 WITH SCORE 677424.389
AT ITER 676 NEW BEST:: SOT 20061082 SOS 16705800 HAS SOPS 8369397 HAS SOUS 1547371 HAS SOUPS 660456 WITH SCORE 677161.8
AT ITER 677 NEW BEST:: SOT 20060748 SOS 16705132 HAS SOPS 8369564 HAS SOUS 1546870 HAS SOUPS 660122 WITH SCORE 676827.132
AT ITER 678 NEW BEST:: SOT 20057332 SOS 16711410 HAS SOPS 8370042 HAS SOUS 1543980 HAS SOUPS 657232 WITH SCORE 673943.41
AT ITER 680 NEW BEST:: SOT 20054935 SOS 16728327 HAS SOPS 8378539 HAS SOUS 1543284 HAS SOUPS 656536 WITH SCORE 673264.327
AT ITER 684 NEW BEST:: SOT 20054935 SOS 16728327 HAS SOPS 8378539 HAS SOUS 1543038 HAS SOUPS 656290 WITH SCORE 673018.327
AT ITER 695 NEW BEST:: SOT 20054861 SOS 16728179 HAS SOPS 8378391 HAS SOUS 1542964 HAS SOUPS 656216 WITH SCORE 672944.179
AT ITER 696 NEW BEST:: SOT 20054605 SOS 16728351 HAS SOPS 8378563 HAS SOUS 1542878 HAS SOUPS 656130 WITH SCORE 672858.351
AT ITER 703 NEW BEST:: SOT 20053716 SOS 16729214 HAS SOPS 8377341 HAS SOUS 1542364 HAS SOUPS 655477 WITH SCORE 672206.214
AT ITER 705 NEW BEST:: SOT 20053700 SOS 16729182 HAS SOPS 8377309 HAS SOUS 1542348 HAS SOUPS 655461 WITH SCORE 672190.182
AT ITER 716 NEW BEST:: SOT 20053700 SOS 16729182 HAS SOPS 8377309 HAS SOUS 1542144 HAS SOUPS 655257 WITH SCORE 671986.182
AT ITER 722 NEW BEST:: SOT 20053382 SOS 16626296 HAS SOPS 8326366 HAS SOUS 1540645 HAS SOUPS 654167 WITH SCORE 670793.296
AT ITER 726 NEW BEST:: SOT 20053148 SOS 16625828 HAS SOPS 8327068 HAS SOUS 1540177 HAS SOUPS 653933 WITH SCORE 670558.828
AT ITER 731 NEW BEST:: SOT 20052747 SOS 16625026 HAS SOPS 8327411 HAS SOUS 1539347 HAS SOUPS 653332 WITH SCORE 669957.026
AT ITER 734 NEW BEST:: SOT 20052204 SOS 16623940 HAS SOPS 8328800 HAS SOUS 1538038 HAS SOUPS 652518 WITH SCORE 669141.94
AT ITER 741 NEW BEST:: SOT 20051734 SOS 16621825 HAS SOPS 8327860 HAS SOUS 1537097 HAS SOUPS 651812 WITH SCORE 668433.825
AT ITER 755 NEW BEST:: SOT 20051718 SOS 16621432 HAS SOPS 8327467 HAS SOUS 1537081 HAS SOUPS 651796 WITH SCORE 668417.432
AT ITER 762 NEW BEST:: SOT 20049790 SOS 16625263 HAS SOPS 8326288 HAS SOUS 1536079 HAS SOUPS 650460 WITH SCORE 667085.263
AT ITER 765 NEW BEST:: SOT 20049302 SOS 16623892 HAS SOPS 8326892 HAS SOUS 1535196 HAS SOUPS 649972 WITH SCORE 666595.892
AT ITER 768 NEW BEST:: SOT 20046457 SOS 16629888 HAS SOPS 8327718 HAS SOUS 1533104 HAS SOUPS 647880 WITH SCORE 664509.888
AT ITER 784 NEW BEST:: SOT 20046417 SOS 16629808 HAS SOPS 8327638 HAS SOUS 1533084 HAS SOUPS 647860 WITH SCORE 664489.808
AT ITER 790 NEW BEST:: SOT 20046417 SOS 16629808 HAS SOPS 8327638 HAS SOUS 1532838 HAS SOUPS 647614 WITH SCORE 664243.808
AT ITER 798 NEW BEST:: SOT 20046319 SOS 16622752 HAS SOPS 8323032 HAS SOUS 1532495 HAS SOUPS 647271 WITH SCORE 663893.752
AT ITER 807 NEW BEST:: SOT 20046159 SOS 16622647 HAS SOPS 8322927 HAS SOUS 1532394 HAS SOUPS 647170 WITH SCORE 663792.647
AT ITER 808 NEW BEST:: SOT 20046084 SOS 16622717 HAS SOPS 8322997 HAS SOUS 1532363 HAS SOUPS 647139 WITH SCORE 663761.717
AT ITER 831 NEW BEST:: SOT 20046084 SOS 16622717 HAS SOPS 8322997 HAS SOUS 1532199 HAS SOUPS 646975 WITH SCORE 663597.717
AT ITER 841 NEW BEST:: SOT 20045970 SOS 16624085 HAS SOPS 8323795 HAS SOUS 1532142 HAS SOUPS 646918 WITH SCORE 663542.085
AT ITER 848 NEW BEST:: SOT 20045970 SOS 16624085 HAS SOPS 8323795 HAS SOUS 1532070 HAS SOUPS 646846 WITH SCORE 663470.085
AT ITER 850 NEW BEST:: SOT 20045970 SOS 16624085 HAS SOPS 8323795 HAS SOUS 1531824 HAS SOUPS 646600 WITH SCORE 663224.085
AT ITER 858 NEW BEST:: SOT 20045938 SOS 16624021 HAS SOPS 8323731 HAS SOUS 1531792 HAS SOUPS 646568 WITH SCORE 663192.021
AT ITER 869 NEW BEST:: SOT 20045109 SOS 16625156 HAS SOPS 8322661 HAS SOUS 1531304 HAS SOUPS 645933 WITH SCORE 662558.156
AT ITER 870 NEW BEST:: SOT 20045109 SOS 16625156 HAS SOPS 8322661 HAS SOUS 1531058 HAS SOUPS 645687 WITH SCORE 662312.156
AT ITER 881 NEW BEST:: SOT 20043890 SOS 16626588 HAS SOPS 8320868 HAS SOUS 1530158 HAS SOUPS 644572 WITH SCORE 661198.588
AT ITER 882 NEW BEST:: SOT 20043861 SOS 16626530 HAS SOPS 8320810 HAS SOUS 1530128 HAS SOUPS 644542 WITH SCORE 661168.53
AT ITER 884 NEW BEST:: SOT 20043625 SOS 16626058 HAS SOPS 8320338 HAS SOUS 1529676 HAS SOUPS 644090 WITH SCORE 660716.058
AT ITER 888 NEW BEST:: SOT 20043155 SOS 16625118 HAS SOPS 8322273 HAS SOUS 1528631 HAS SOUPS 643620 WITH SCORE 660245.118
AT ITER 924 NEW BEST:: SOT 20043155 SOS 16625118 HAS SOPS 8322273 HAS SOUS 1528521 HAS SOUPS 643510 WITH SCORE 660135.118
AT ITER 925 NEW BEST:: SOT 20043030 SOS 16624868 HAS SOPS 8322023 HAS SOUS 1528271 HAS SOUPS 643260 WITH SCORE 659884.868
AT ITER 938 NEW BEST:: SOT 20043030 SOS 16624868 HAS SOPS 8322023 HAS SOUS 1528251 HAS SOUPS 643240 WITH SCORE 659864.868
AT ITER 941 NEW BEST:: SOT 20043030 SOS 16624868 HAS SOPS 8322023 HAS SOUS 1528209 HAS SOUPS 643198 WITH SCORE 659822.868
AT ITER 946 NEW BEST:: SOT 20040957 SOS 16630429 HAS SOPS 8323044 HAS SOUS 1526854 HAS SOUPS 641843 WITH SCORE 658473.429
AT ITER 948 NEW BEST:: SOT 20040655 SOS 16629825 HAS SOPS 8323845 HAS SOUS 1526531 HAS SOUPS 641801 WITH SCORE 658430.825
AT ITER 954 NEW BEST:: SOT 20040589 SOS 16629528 HAS SOPS 8323713 HAS SOUS 1526397 HAS SOUPS 641700 WITH SCORE 658329.528
AT ITER 960 NEW BEST:: SOT 20040365 SOS 16628520 HAS SOPS 8322705 HAS SOUS 1526061 HAS SOUPS 641364 WITH SCORE 657992.52
AT ITER 975 NEW BEST:: SOT 20039879 SOS 16627548 HAS SOPS 8323418 HAS SOUS 1525019 HAS SOUPS 640659 WITH SCORE 657286.548
AT ITER 984 NEW BEST:: SOT 20039913 SOS 16626655 HAS SOPS 8322865 HAS SOUS 1524994 HAS SOUPS 640634 WITH SCORE 657260.655
AT ITER 986 NEW BEST:: SOT 20034307 SOS 16631536 HAS SOPS 8320736 HAS SOUS 1520802 HAS SOUPS 636442 WITH SCORE 653073.536
AT ITER 990 NEW BEST:: SOT 20031457 SOS 16634966 HAS SOPS 8318016 HAS SOUS 1519170 HAS SOUPS 634400 WITH SCORE 651034.966
AT ITER 994 NEW BEST:: SOT 20030764 SOS 16632881 HAS SOPS 8319426 HAS SOUS 1517842 HAS SOUPS 633771 WITH SCORE 650403.881
AT ITER 995 NEW BEST:: SOT 20030764 SOS 16632881 HAS SOPS 8319426 HAS SOUS 1517638 HAS SOUPS 633567 WITH SCORE 650199.881
AT ITER 1000 NEW BEST:: SOT 20030556 SOS 16632120 HAS SOPS 8320390 HAS SOUS 1517085 HAS SOUPS 633359 WITH SCORE 649991.12
AT ITER 1009 NEW BEST:: SOT 20030298 SOS 16631604 HAS SOPS 8319874 HAS SOUS 1516827 HAS SOUPS 633101 WITH SCORE 649732.604
AT ITER 1014 NEW BEST:: SOT 20028798 SOS 16628214 HAS SOPS 8318434 HAS SOUS 1516118 HAS SOUPS 632782 WITH SCORE 649410.214
AT ITER 1018 NEW BEST:: SOT 20026725 SOS 16632046 HAS SOPS 8316551 HAS SOUS 1514819 HAS SOUPS 631102 WITH SCORE 647734.046
AT ITER 1048 NEW BEST:: SOT 20021544 SOS 16624590 HAS SOPS 8312586 HAS SOUS 1514737 HAS SOUPS 631052 WITH SCORE 647676.59
AT ITER 1058 NEW BEST:: SOT 20021544 SOS 16624590 HAS SOPS 8312586 HAS SOUS 1514491 HAS SOUPS 630806 WITH SCORE 647430.59
AT ITER 1067 NEW BEST:: SOT 20021456 SOS 16623644 HAS SOPS 8312550 HAS SOUS 1514039 HAS SOUPS 630536 WITH SCORE 647159.644
AT ITER 1069 NEW BEST:: SOT 20016536 SOS 16630124 HAS SOPS 8312580 HAS SOUS 1511368 HAS SOUPS 627865 WITH SCORE 644495.124
AT ITER 1070 NEW BEST:: SOT 20015411 SOS 16644553 HAS SOPS 8320979 HAS SOUS 1510828 HAS SOUPS 627325 WITH SCORE 643969.553
AT ITER 1073 NEW BEST:: SOT 20015411 SOS 16644553 HAS SOPS 8320979 HAS SOUS 1510740 HAS SOUPS 627237 WITH SCORE 643881.553
AT ITER 1083 NEW BEST:: SOT 20016079 SOS 16584385 HAS SOPS 8323313 HAS SOUS 1509920 HAS SOUPS 626913 WITH SCORE 643497.385
AT ITER 1090 NEW BEST:: SOT 20016079 SOS 16584320 HAS SOPS 8323248 HAS SOUS 1509920 HAS SOUPS 626913 WITH SCORE 643497.32
AT ITER 1095 NEW BEST:: SOT 20013852 SOS 16596041 HAS SOPS 8328269 HAS SOUS 1508906 HAS SOUPS 625899 WITH SCORE 642495.041
AT ITER 1110 NEW BEST:: SOT 20013500 SOS 16594831 HAS SOPS 8329589 HAS SOUS 1508048 HAS SOUPS 625547 WITH SCORE 642141.831
AT ITER 1124 NEW BEST:: SOT 20013500 SOS 16594831 HAS SOPS 8329589 HAS SOUS 1507802 HAS SOUPS 625301 WITH SCORE 641895.831
AT ITER 1131 NEW BEST:: SOT 20010324 SOS 16602000 HAS SOPS 8330838 HAS SOUS 1505240 HAS SOUPS 622739 WITH SCORE 639341.0
AT ITER 1134 NEW BEST:: SOT 20010988 SOS 16606980 HAS SOPS 8333328 HAS SOUS 1504742 HAS SOUPS 622241 WITH SCORE 638847.98
AT ITER 1137 NEW BEST:: SOT 20009551 SOS 16609971 HAS SOPS 8332494 HAS SOUS 1503932 HAS SOUPS 621176 WITH SCORE 637785.971
AT ITER 1139 NEW BEST:: SOT 20007583 SOS 16612359 HAS SOPS 8329812 HAS SOUS 1502574 HAS SOUPS 619480 WITH SCORE 636092.359
AT ITER 1162 NEW BEST:: SOT 20006948 SOS 16611089 HAS SOPS 8330327 HAS SOUS 1501275 HAS SOUPS 618538 WITH SCORE 635149.089
AT ITER 1170 NEW BEST:: SOT 20006948 SOS 16611089 HAS SOPS 8330327 HAS SOUS 1501059 HAS SOUPS 618322 WITH SCORE 634933.089
AT ITER 1174 NEW BEST:: SOT 20006102 SOS 16616678 HAS SOPS 8333096 HAS SOUS 1500495 HAS SOUPS 617758 WITH SCORE 634374.678
AT ITER 1185 NEW BEST:: SOT 20005886 SOS 16616631 HAS SOPS 8332509 HAS SOUS 1500424 HAS SOUPS 617579 WITH SCORE 634195.631
AT ITER 1191 NEW BEST:: SOT 20005404 SOS 16615067 HAS SOPS 8333945 HAS SOUS 1499342 HAS SOUPS 617097 WITH SCORE 633712.067
AT ITER 1226 NEW BEST:: SOT 20005056 SOS 16614371 HAS SOPS 8333249 HAS SOUS 1498646 HAS SOUPS 616401 WITH SCORE 633015.371
AT ITER 1245 NEW BEST:: SOT 20005056 SOS 16614306 HAS SOPS 8333184 HAS SOUS 1498646 HAS SOUPS 616401 WITH SCORE 633015.306
AT ITER 1249 NEW BEST:: SOT 20004527 SOS 16612083 HAS SOPS 8333176 HAS SOUS 1497409 HAS SOUPS 615607 WITH SCORE 632219.083
AT ITER 1268 NEW BEST:: SOT 20003608 SOS 16609823 HAS SOPS 8333026 HAS SOUS 1496480 HAS SOUPS 615100 WITH SCORE 631709.823
AT ITER 1281 NEW BEST:: SOT 20001947 SOS 16625396 HAS SOPS 8341049 HAS SOUS 1496437 HAS SOUPS 615057 WITH SCORE 631682.396
AT ITER 1301 NEW BEST:: SOT 20000836 SOS 16631530 HAS SOPS 8341603 HAS SOUS 1496748 HAS SOUPS 614996 WITH SCORE 631627.53
AT ITER 1303 NEW BEST:: SOT 20000768 SOS 16631870 HAS SOPS 8341773 HAS SOUS 1496697 HAS SOUPS 614945 WITH SCORE 631576.87
AT ITER 1322 NEW BEST:: SOT 19999472 SOS 16640956 HAS SOPS 8346549 HAS SOUS 1495902 HAS SOUPS 614150 WITH SCORE 630790.956
AT ITER 1358 NEW BEST:: SOT 19999212 SOS 16640436 HAS SOPS 8346029 HAS SOUS 1495642 HAS SOUPS 613890 WITH SCORE 630530.436
AT ITER 1360 NEW BEST:: SOT 19996984 SOS 16651100 HAS SOPS 8347993 HAS SOUS 1494788 HAS SOUPS 612456 WITH SCORE 629107.1
AT ITER 1361 NEW BEST:: SOT 19995856 SOS 16653817 HAS SOPS 8349733 HAS SOUS 1494421 HAS SOUPS 612160 WITH SCORE 628813.817
AT ITER 1363 NEW BEST:: SOT 19995631 SOS 16652915 HAS SOPS 8351091 HAS SOUS 1493901 HAS SOUPS 612092 WITH SCORE 628744.915
AT ITER 1364 NEW BEST:: SOT 19995631 SOS 16652915 HAS SOPS 8351091 HAS SOUS 1493853 HAS SOUPS 612044 WITH SCORE 628696.915
AT ITER 1382 NEW BEST:: SOT 19995449 SOS 16652293 HAS SOPS 8350469 HAS SOUS 1493671 HAS SOUPS 611862 WITH SCORE 628514.293
AT ITER 1398 NEW BEST:: SOT 19995449 SOS 16652293 HAS SOPS 8350469 HAS SOUS 1493543 HAS SOUPS 611734 WITH SCORE 628386.293
AT ITER 1401 NEW BEST:: SOT 19990000 SOS 16644518 HAS SOPS 8346334 HAS SOUS 1493478 HAS SOUPS 611700 WITH SCORE 628344.518
AT ITER 1414 NEW BEST:: SOT 19979853 SOS 16630129 HAS SOPS 8339323 HAS SOUS 1492783 HAS SOUPS 611535 WITH SCORE 628165.129
AT ITER 1415 NEW BEST:: SOT 19979651 SOS 16628055 HAS SOPS 8340939 HAS SOUS 1491566 HAS SOUPS 611056 WITH SCORE 627684.055
AT ITER 1420 NEW BEST:: SOT 19977949 SOS 16629835 HAS SOPS 8338399 HAS SOUS 1490404 HAS SOUPS 609606 WITH SCORE 626235.835
AT ITER 1429 NEW BEST:: SOT 19977033 SOS 16627774 HAS SOPS 8336338 HAS SOUS 1490175 HAS SOUPS 609377 WITH SCORE 626004.774
AT ITER 1435 NEW BEST:: SOT 19975557 SOS 16624503 HAS SOPS 8334662 HAS SOUS 1488299 HAS SOUPS 607820 WITH SCORE 624444.503
AT ITER 1438 NEW BEST:: SOT 19974699 SOS 16622787 HAS SOPS 8332946 HAS SOUS 1487763 HAS SOUPS 607284 WITH SCORE 623906.787
AT ITER 1440 NEW BEST:: SOT 19974429 SOS 16622247 HAS SOPS 8333081 HAS SOUS 1487358 HAS SOUPS 607014 WITH SCORE 623636.247
AT ITER 1444 NEW BEST:: SOT 19974429 SOS 16622247 HAS SOPS 8333081 HAS SOUS 1487112 HAS SOUPS 606768 WITH SCORE 623390.247
AT ITER 1446 NEW BEST:: SOT 19972128 SOS 16630353 HAS SOPS 8332832 HAS SOUS 1485839 HAS SOUPS 604938 WITH SCORE 621568.353
AT ITER 1456 NEW BEST:: SOT 19971400 SOS 16630769 HAS SOPS 8332208 HAS SOUS 1485527 HAS SOUPS 604626 WITH SCORE 621256.769
AT ITER 1462 NEW BEST:: SOT 19971282 SOS 16630474 HAS SOPS 8331913 HAS SOUS 1485409 HAS SOUPS 604508 WITH SCORE 621138.474
AT ITER 1464 NEW BEST:: SOT 19971282 SOS 16629959 HAS SOPS 8331398 HAS SOUS 1485386 HAS SOUPS 604485 WITH SCORE 621114.959
AT ITER 1470 NEW BEST:: SOT 19969754 SOS 16634770 HAS SOPS 8331799 HAS SOUS 1484925 HAS SOUPS 603730 WITH SCORE 620364.77
AT ITER 1478 NEW BEST:: SOT 19969754 SOS 16634770 HAS SOPS 8331799 HAS SOUS 1484917 HAS SOUPS 603722 WITH SCORE 620356.77
AT ITER 1487 NEW BEST:: SOT 19968827 SOS 16635353 HAS SOPS 8330837 HAS SOUS 1484395 HAS SOUPS 603097 WITH SCORE 619732.353
AT ITER 1494 NEW BEST:: SOT 19968509 SOS 16634717 HAS SOPS 8330201 HAS SOUS 1484077 HAS SOUPS 602779 WITH SCORE 619413.717
AT ITER 1498 NEW BEST:: SOT 19968256 SOS 16633713 HAS SOPS 8331687 HAS SOUS 1483505 HAS SOUPS 602705 WITH SCORE 619338.713
AT ITER 1499 NEW BEST:: SOT 19957370 SOS 16617178 HAS SOPS 8324569 HAS SOUS 1482823 HAS SOUPS 602542 WITH SCORE 619159.178
AT ITER 1502 NEW BEST:: SOT 19957370 SOS 16617178 HAS SOPS 8324569 HAS SOUS 1482577 HAS SOUPS 602296 WITH SCORE 618913.178
AT ITER 1517 NEW BEST:: SOT 19954817 SOS 16626577 HAS SOPS 8327668 HAS SOUS 1480982 HAS SOUPS 600701 WITH SCORE 617327.577
AT ITER 1520 NEW BEST:: SOT 19943843 SOS 16609808 HAS SOPS 8320617 HAS SOUS 1480449 HAS SOUPS 600707 WITH SCORE 617316.808
AT ITER 1531 NEW BEST:: SOT 19943462 SOS 16609046 HAS SOPS 8322200 HAS SOUS 1479481 HAS SOUPS 600208 WITH SCORE 616817.046
AT ITER 1535 NEW BEST:: SOT 19934481 SOS 16596788 HAS SOPS 8315923 HAS SOUS 1478709 HAS SOUPS 599821 WITH SCORE 616417.788
AT ITER 1548 NEW BEST:: SOT 19934090 SOS 16596488 HAS SOPS 8315623 HAS SOUS 1478240 HAS SOUPS 599352 WITH SCORE 615948.488
AT ITER 1564 NEW BEST:: SOT 19934036 SOS 16596380 HAS SOPS 8315515 HAS SOUS 1478240 HAS SOUPS 599352 WITH SCORE 615948.38
AT ITER 1573 NEW BEST:: SOT 19932900 SOS 16596898 HAS SOPS 8314483 HAS SOUS 1477517 HAS SOUPS 598629 WITH SCORE 615225.898
AT ITER 1581 NEW BEST:: SOT 19932900 SOS 16596898 HAS SOPS 8314483 HAS SOUS 1477377 HAS SOUPS 598489 WITH SCORE 615085.898
AT ITER 1589 NEW BEST:: SOT 19931390 SOS 16593421 HAS SOPS 8313291 HAS SOUS 1476596 HAS SOUPS 598165 WITH SCORE 614758.421
AT ITER 1598 NEW BEST:: SOT 19931354 SOS 16593349 HAS SOPS 8315644 HAS SOUS 1476075 HAS SOUPS 598129 WITH SCORE 614722.349
AT ITER 1613 NEW BEST:: SOT 19931354 SOS 16593349 HAS SOPS 8315644 HAS SOUS 1475857 HAS SOUPS 597911 WITH SCORE 614504.349
AT ITER 1626 NEW BEST:: SOT 19931354 SOS 16593349 HAS SOPS 8315644 HAS SOUS 1475611 HAS SOUPS 597665 WITH SCORE 614258.349
AT ITER 1634 NEW BEST:: SOT 19930760 SOS 16594555 HAS SOPS 8314960 HAS SOUS 1475647 HAS SOUPS 597575 WITH SCORE 614169.555
AT ITER 1635 NEW BEST:: SOT 19930689 SOS 16563913 HAS SOPS 8299812 HAS SOUS 1475261 HAS SOUPS 597311 WITH SCORE 613874.913
AT ITER 1636 NEW BEST:: SOT 19930285 SOS 16566923 HAS SOPS 8301162 HAS SOUS 1475023 HAS SOUPS 597073 WITH SCORE 613639.923
AT ITER 1637 NEW BEST:: SOT 19930037 SOS 16566427 HAS SOPS 8301416 HAS SOUS 1474475 HAS SOUPS 596675 WITH SCORE 613241.427
AT ITER 1638 NEW BEST:: SOT 19928032 SOS 16561839 HAS SOPS 8299718 HAS SOUS 1473834 HAS SOUPS 596612 WITH SCORE 613173.839
AT ITER 1646 NEW BEST:: SOT 19928032 SOS 16561839 HAS SOPS 8299718 HAS SOUS 1473608 HAS SOUPS 596386 WITH SCORE 612947.839
AT ITER 1651 NEW BEST:: SOT 19930949 SOS 16566195 HAS SOPS 8302650 HAS SOUS 1472261 HAS SOUPS 595395 WITH SCORE 611961.195
AT ITER 1660 NEW BEST:: SOT 19924184 SOS 16556477 HAS SOPS 8297513 HAS SOUS 1471965 HAS SOUPS 595263 WITH SCORE 611819.477
AT ITER 1669 NEW BEST:: SOT 19923597 SOS 16555303 HAS SOPS 8298184 HAS SOUS 1470724 HAS SOUPS 594391 WITH SCORE 610946.303
AT ITER 1679 NEW BEST:: SOT 19923545 SOS 16555199 HAS SOPS 8298080 HAS SOUS 1470698 HAS SOUPS 594365 WITH SCORE 610920.199
AT ITER 1683 NEW BEST:: SOT 19922757 SOS 16561415 HAS SOPS 8302084 HAS SOUS 1470520 HAS SOUPS 594187 WITH SCORE 610748.415
AT ITER 1691 NEW BEST:: SOT 19922757 SOS 16561415 HAS SOPS 8302084 HAS SOUS 1470478 HAS SOUPS 594145 WITH SCORE 610706.415
AT ITER 1698 NEW BEST:: SOT 19922757 SOS 16561415 HAS SOPS 8302084 HAS SOUS 1470232 HAS SOUPS 593899 WITH SCORE 610460.415
AT ITER 1702 NEW BEST:: SOT 19922389 SOS 16560679 HAS SOPS 8302268 HAS SOUS 1469496 HAS SOUPS 593347 WITH SCORE 609907.679
AT ITER 1717 NEW BEST:: SOT 19922101 SOS 16561831 HAS SOPS 8301980 HAS SOUS 1469304 HAS SOUPS 593059 WITH SCORE 609620.831
AT ITER 1726 NEW BEST:: SOT 19920690 SOS 16558452 HAS SOPS 8301386 HAS SOUS 1468472 HAS SOUPS 592784 WITH SCORE 609342.452
AT ITER 1731 NEW BEST:: SOT 19918378 SOS 16573645 HAS SOPS 8308939 HAS SOUS 1467921 HAS SOUPS 592233 WITH SCORE 608806.645
AT ITER 1740 NEW BEST:: SOT 19918378 SOS 16573645 HAS SOPS 8308939 HAS SOUS 1467675 HAS SOUPS 591987 WITH SCORE 608560.645
AT ITER 1747 NEW BEST:: SOT 19918378 SOS 16573289 HAS SOPS 8310363 HAS SOUS 1467319 HAS SOUPS 591987 WITH SCORE 608560.289
AT ITER 1759 NEW BEST:: SOT 19916306 SOS 16577075 HAS SOPS 8310857 HAS SOUS 1466565 HAS SOUPS 591233 WITH SCORE 607810.075
AT ITER 1760 NEW BEST:: SOT 19915826 SOS 16575906 HAS SOPS 8309688 HAS SOUS 1466445 HAS SOUPS 591113 WITH SCORE 607688.906
AT ITER 1789 NEW BEST:: SOT 19915745 SOS 16575744 HAS SOPS 8309526 HAS SOUS 1466364 HAS SOUPS 591032 WITH SCORE 607607.744
AT ITER 1790 NEW BEST:: SOT 19915129 SOS 16575927 HAS SOPS 8309709 HAS SOUS 1466020 HAS SOUPS 590688 WITH SCORE 607263.927
AT ITER 1791 NEW BEST:: SOT 19914502 SOS 16574183 HAS SOPS 8310415 HAS SOUS 1465466 HAS SOUPS 590624 WITH SCORE 607198.183
AT ITER 1805 NEW BEST:: SOT 19914484 SOS 16572982 HAS SOPS 8309214 HAS SOUS 1465215 HAS SOUPS 590373 WITH SCORE 606945.982
AT ITER 1812 NEW BEST:: SOT 19914484 SOS 16572982 HAS SOPS 8309214 HAS SOUS 1464780 HAS SOUPS 590371 WITH SCORE 606943.982
AT ITER 1815 NEW BEST:: SOT 19914504 SOS 16573402 HAS SOPS 8309334 HAS SOUS 1464780 HAS SOUPS 590351 WITH SCORE 606924.402
AT ITER 1835 NEW BEST:: SOT 19912267 SOS 16584783 HAS SOPS 8314115 HAS SOUS 1463603 HAS SOUPS 589174 WITH SCORE 605758.783
AT ITER 1836 NEW BEST:: SOT 19911049 SOS 16586831 HAS SOPS 8314133 HAS SOUS 1463400 HAS SOUPS 588971 WITH SCORE 605557.831
AT ITER 1842 NEW BEST:: SOT 19910252 SOS 16590412 HAS SOPS 8314339 HAS SOUS 1463169 HAS SOUPS 588515 WITH SCORE 605105.412
AT ITER 1856 NEW BEST:: SOT 19910480 SOS 16591096 HAS SOPS 8314339 HAS SOUS 1463055 HAS SOUPS 588401 WITH SCORE 604992.096
AT ITER 1880 NEW BEST:: SOT 19909906 SOS 16588552 HAS SOPS 8313540 HAS SOUS 1462531 HAS SOUPS 588226 WITH SCORE 604814.552
AT ITER 1904 NEW BEST:: SOT 19908785 SOS 16593549 HAS SOPS 8315557 HAS SOUS 1462167 HAS SOUPS 587862 WITH SCORE 604455.549
AT ITER 1906 NEW BEST:: SOT 19908591 SOS 16593086 HAS SOPS 8318564 HAS SOUS 1461356 HAS SOUPS 587745 WITH SCORE 604338.086
AT ITER 1919 NEW BEST:: SOT 19907836 SOS 16591339 HAS SOPS 8316817 HAS SOUS 1460983 HAS SOUPS 587372 WITH SCORE 603963.339
AT ITER 1934 NEW BEST:: SOT 19907279 SOS 16610265 HAS SOPS 8324793 HAS SOUS 1461468 HAS SOUPS 587127 WITH SCORE 603737.265
AT ITER 1938 NEW BEST:: SOT 19907256 SOS 16610104 HAS SOPS 8324747 HAS SOUS 1461422 HAS SOUPS 587104 WITH SCORE 603714.104
AT ITER 1940 NEW BEST:: SOT 19907205 SOS 16610002 HAS SOPS 8325045 HAS SOUS 1461291 HAS SOUPS 587053 WITH SCORE 603663.002
AT ITER 1944 NEW BEST:: SOT 19907033 SOS 16607278 HAS SOPS 8324896 HAS SOUS 1460389 HAS SOUPS 586666 WITH SCORE 603273.278
AT ITER 1950 NEW BEST:: SOT 19906837 SOS 16609042 HAS SOPS 8325890 HAS SOUS 1460270 HAS SOUPS 586547 WITH SCORE 603156.042
AT ITER 1985 NEW BEST:: SOT 19905308 SOS 16605606 HAS SOPS 8324344 HAS SOUS 1459360 HAS SOUPS 586015 WITH SCORE 602620.606
AT ITER 1994 NEW BEST:: SOT 19905308 SOS 16605606 HAS SOPS 8324344 HAS SOUS 1459114 HAS SOUPS 585769 WITH SCORE 602374.606
AT ITER 2013 NEW BEST:: SOT 19901378 SOS 16596668 HAS SOPS 8317665 HAS SOUS 1457924 HAS SOUPS 584865 WITH SCORE 601461.668
AT ITER 2018 NEW BEST:: SOT 19901378 SOS 16596668 HAS SOPS 8317665 HAS SOUS 1457884 HAS SOUPS 584825 WITH SCORE 601421.668
AT ITER 2036 NEW BEST:: SOT 19901145 SOS 16596202 HAS SOPS 8317199 HAS SOUS 1457418 HAS SOUPS 584359 WITH SCORE 600955.202
AT ITER 2038 NEW BEST:: SOT 19899154 SOS 16591670 HAS SOPS 8315417 HAS SOUS 1456736 HAS SOUPS 584227 WITH SCORE 600818.67
AT ITER 2045 NEW BEST:: SOT 19898976 SOS 16591314 HAS SOPS 8315061 HAS SOUS 1456605 HAS SOUPS 584096 WITH SCORE 600687.314
AT ITER 2049 NEW BEST:: SOT 19897167 SOS 16599779 HAS SOPS 8318566 HAS SOUS 1455822 HAS SOUPS 583313 WITH SCORE 599912.779
AT ITER 2071 NEW BEST:: SOT 19897167 SOS 16599779 HAS SOPS 8318566 HAS SOUS 1455576 HAS SOUPS 583067 WITH SCORE 599666.779
AT ITER 2072 NEW BEST:: SOT 19897029 SOS 16599779 HAS SOPS 8318566 HAS SOUS 1455507 HAS SOUPS 582998 WITH SCORE 599597.779
AT ITER 2076 NEW BEST:: SOT 19897029 SOS 16599779 HAS SOPS 8318566 HAS SOUS 1455455 HAS SOUPS 582946 WITH SCORE 599545.779
AT ITER 2088 NEW BEST:: SOT 19896879 SOS 16599479 HAS SOPS 8320691 HAS SOUS 1454783 HAS SOUPS 582759 WITH SCORE 599358.479
AT ITER 2090 NEW BEST:: SOT 19896879 SOS 16599479 HAS SOPS 8320691 HAS SOUS 1454775 HAS SOUPS 582751 WITH SCORE 599350.479
AT ITER 2094 NEW BEST:: SOT 19896884 SOS 16599334 HAS SOPS 8321961 HAS SOUS 1454471 HAS SOUPS 582730 WITH SCORE 599329.334
AT ITER 2097 NEW BEST:: SOT 19896884 SOS 16598969 HAS SOPS 8321596 HAS SOUS 1454471 HAS SOUPS 582730 WITH SCORE 599328.969
AT ITER 2117 NEW BEST:: SOT 19896543 SOS 16599715 HAS SOPS 8321832 HAS SOUS 1454334 HAS SOUPS 582593 WITH SCORE 599192.715
AT ITER 2128 NEW BEST:: SOT 19895741 SOS 16597455 HAS SOPS 8322852 HAS SOUS 1452876 HAS SOUPS 581791 WITH SCORE 598388.455
AT ITER 2131 NEW BEST:: SOT 19895427 SOS 16595967 HAS SOPS 8321364 HAS SOUS 1452412 HAS SOUPS 581327 WITH SCORE 597922.967
AT ITER 2143 NEW BEST:: SOT 19895369 SOS 16595851 HAS SOPS 8321248 HAS SOUS 1452354 HAS SOUPS 581269 WITH SCORE 597864.851
AT ITER 2147 NEW BEST:: SOT 19895277 SOS 16595667 HAS SOPS 8321064 HAS SOUS 1452170 HAS SOUPS 581085 WITH SCORE 597680.667
AT ITER 2159 NEW BEST:: SOT 19895242 SOS 16596493 HAS SOPS 8321570 HAS SOUS 1452167 HAS SOUPS 581082 WITH SCORE 597678.493
AT ITER 2199 NEW BEST:: SOT 19892243 SOS 16603220 HAS SOPS 8320287 HAS SOUS 1451204 HAS SOUPS 579585 WITH SCORE 596188.22
AT ITER 2213 NEW BEST:: SOT 19890427 SOS 16608858 HAS SOPS 8320825 HAS SOUS 1449970 HAS SOUPS 578351 WITH SCORE 594959.858
AT ITER 2232 NEW BEST:: SOT 19890368 SOS 16608457 HAS SOPS 8320471 HAS SOUS 1449899 HAS SOUPS 578280 WITH SCORE 594888.457
AT ITER 2239 NEW BEST:: SOT 19890117 SOS 16607955 HAS SOPS 8319969 HAS SOUS 1449267 HAS SOUPS 577648 WITH SCORE 594255.955
AT ITER 2273 NEW BEST:: SOT 19890117 SOS 16607955 HAS SOPS 8319969 HAS SOUS 1449021 HAS SOUPS 577402 WITH SCORE 594009.955
AT ITER 2275 NEW BEST:: SOT 19889773 SOS 16606579 HAS SOPS 8318593 HAS SOUS 1448524 HAS SOUPS 576905 WITH SCORE 593511.579
AT ITER 2291 NEW BEST:: SOT 19889681 SOS 16606395 HAS SOPS 8318409 HAS SOUS 1448432 HAS SOUPS 576813 WITH SCORE 593419.395
AT ITER 2300 NEW BEST:: SOT 19888791 SOS 16618351 HAS SOPS 8323285 HAS SOUS 1448759 HAS SOUPS 576668 WITH SCORE 593286.351
AT ITER 2301 NEW BEST:: SOT 19888096 SOS 16616961 HAS SOPS 8321895 HAS SOUS 1447421 HAS SOUPS 575330 WITH SCORE 591946.961
AT ITER 2314 NEW BEST:: SOT 19886889 SOS 16622281 HAS SOPS 8323435 HAS SOUS 1447401 HAS SOUPS 575310 WITH SCORE 591932.281
AT ITER 2317 NEW BEST:: SOT 19886889 SOS 16622281 HAS SOPS 8323435 HAS SOUS 1447157 HAS SOUPS 575066 WITH SCORE 591688.281
AT ITER 2322 NEW BEST:: SOT 19886473 SOS 16621449 HAS SOPS 8324783 HAS SOUS 1446506 HAS SOUPS 574851 WITH SCORE 591472.449
AT ITER 2343 NEW BEST:: SOT 19884832 SOS 16632428 HAS SOPS 8330292 HAS SOUS 1445962 HAS SOUPS 574307 WITH SCORE 590939.428
AT ITER 2366 NEW BEST:: SOT 19884832 SOS 16632428 HAS SOPS 8330292 HAS SOUS 1445960 HAS SOUPS 574305 WITH SCORE 590937.428
AT ITER 2379 NEW BEST:: SOT 19882890 SOS 16633692 HAS SOPS 8327266 HAS SOUS 1444560 HAS SOUPS 572619 WITH SCORE 589252.692
AT ITER 2385 NEW BEST:: SOT 19882684 SOS 16631605 HAS SOPS 8325179 HAS SOUS 1444207 HAS SOUPS 572266 WITH SCORE 588897.605
AT ITER 2396 NEW BEST:: SOT 19882684 SOS 16631525 HAS SOPS 8325099 HAS SOUS 1444196 HAS SOUPS 572255 WITH SCORE 588886.525
AT ITER 2426 NEW BEST:: SOT 19882391 SOS 16629397 HAS SOPS 8325022 HAS SOUS 1443641 HAS SOUPS 572105 WITH SCORE 588734.397
AT ITER 2439 NEW BEST:: SOT 19879701 SOS 16623459 HAS SOPS 8321874 HAS SOUS 1442067 HAS SOUPS 571089 WITH SCORE 587712.459
AT ITER 2442 NEW BEST:: SOT 19877995 SOS 16627778 HAS SOPS 8322623 HAS SOUS 1441141 HAS SOUPS 570163 WITH SCORE 586790.778
AT ITER 2453 NEW BEST:: SOT 19878421 SOS 16628796 HAS SOPS 8322811 HAS SOUS 1440935 HAS SOUPS 569791 WITH SCORE 586419.796
AT ITER 2455 NEW BEST:: SOT 19878421 SOS 16628796 HAS SOPS 8322811 HAS SOUS 1440689 HAS SOUPS 569545 WITH SCORE 586173.796
AT ITER 2483 NEW BEST:: SOT 19878212 SOS 16627968 HAS SOPS 8324033 HAS SOUS 1440205 HAS SOUPS 569471 WITH SCORE 586098.968
AT ITER 2491 NEW BEST:: SOT 19878007 SOS 16627558 HAS SOPS 8323623 HAS SOUS 1439880 HAS SOUPS 569146 WITH SCORE 585773.558
AT ITER 2492 NEW BEST:: SOT 19878007 SOS 16627113 HAS SOPS 8323178 HAS SOUS 1439880 HAS SOUPS 569146 WITH SCORE 585773.113
AT ITER 2497 NEW BEST:: SOT 19878007 SOS 16627113 HAS SOPS 8323178 HAS SOUS 1439860 HAS SOUPS 569126 WITH SCORE 585753.113
AT ITER 2543 NEW BEST:: SOT 19877897 SOS 16626950 HAS SOPS 8322730 HAS SOUS 1439804 HAS SOUPS 569013 WITH SCORE 585639.95
AT ITER 2549 NEW BEST:: SOT 19877897 SOS 16626950 HAS SOPS 8322730 HAS SOUS 1439646 HAS SOUPS 568855 WITH SCORE 585481.95
AT ITER 2553 NEW BEST:: SOT 19870786 SOS 16617285 HAS SOPS 8317447 HAS SOUS 1439054 HAS SOUPS 568419 WITH SCORE 585036.285
AT ITER 2597 NEW BEST:: SOT 19863453 SOS 16607745 HAS SOPS 8310989 HAS SOUS 1438758 HAS SOUPS 568066 WITH SCORE 584673.745
AT ITER 2607 NEW BEST:: SOT 19863453 SOS 16607745 HAS SOPS 8310989 HAS SOUS 1438640 HAS SOUPS 567948 WITH SCORE 584555.745
AT ITER 2620 NEW BEST:: SOT 19863121 SOS 16607081 HAS SOPS 8311155 HAS SOUS 1438142 HAS SOUPS 567616 WITH SCORE 584223.081
AT ITER 2621 NEW BEST:: SOT 19861467 SOS 16605057 HAS SOPS 8309131 HAS SOUS 1437772 HAS SOUPS 567246 WITH SCORE 583851.057
AT ITER 2646 NEW BEST:: SOT 19862658 SOS 16605267 HAS SOPS 8309995 HAS SOUS 1436674 HAS SOUPS 566475 WITH SCORE 583080.267
AT ITER 2647 NEW BEST:: SOT 19852207 SOS 16590015 HAS SOPS 8303292 HAS SOUS 1435793 HAS SOUPS 566090 WITH SCORE 582680.015
AT ITER 2648 NEW BEST:: SOT 19849680 SOS 16596882 HAS SOPS 8304739 HAS SOUS 1434711 HAS SOUPS 565008 WITH SCORE 581604.882
AT ITER 2649 NEW BEST:: SOT 19848836 SOS 16594954 HAS SOPS 8302811 HAS SOUS 1434534 HAS SOUPS 564831 WITH SCORE 581425.954
AT ITER 2655 NEW BEST:: SOT 19846294 SOS 16589233 HAS SOPS 8300275 HAS SOUS 1433010 HAS SOUPS 563944 WITH SCORE 580533.233
AT ITER 2657 NEW BEST:: SOT 19846294 SOS 16588498 HAS SOPS 8299540 HAS SOUS 1432956 HAS SOUPS 563890 WITH SCORE 580478.498
AT ITER 2664 NEW BEST:: SOT 19846294 SOS 16588498 HAS SOPS 8299540 HAS SOUS 1432710 HAS SOUPS 563644 WITH SCORE 580232.498
AT ITER 2679 NEW BEST:: SOT 19845094 SOS 16589548 HAS SOPS 8298890 HAS SOUS 1432018 HAS SOUPS 562952 WITH SCORE 579541.548
AT ITER 2681 NEW BEST:: SOT 19844482 SOS 16588324 HAS SOPS 8299481 HAS SOUS 1430762 HAS SOUPS 562059 WITH SCORE 578647.324
AT ITER 2683 NEW BEST:: SOT 19842008 SOS 16601128 HAS SOPS 8305295 HAS SOUS 1430197 HAS SOUPS 561494 WITH SCORE 578095.128
AT ITER 2704 NEW BEST:: SOT 19842008 SOS 16601128 HAS SOPS 8305295 HAS SOUS 1430109 HAS SOUPS 561406 WITH SCORE 578007.128
AT ITER 2728 NEW BEST:: SOT 19842008 SOS 16601128 HAS SOPS 8305295 HAS SOUS 1429863 HAS SOUPS 561160 WITH SCORE 577761.128
AT ITER 2732 NEW BEST:: SOT 19841092 SOS 16600064 HAS SOPS 8304231 HAS SOUS 1429511 HAS SOUPS 560808 WITH SCORE 577408.064
AT ITER 2751 NEW BEST:: SOT 19841387 SOS 16591664 HAS SOPS 8300256 HAS SOUS 1428921 HAS SOUPS 560513 WITH SCORE 577104.664
AT ITER 2766 NEW BEST:: SOT 19841387 SOS 16591664 HAS SOPS 8300256 HAS SOUS 1428855 HAS SOUPS 560447 WITH SCORE 577038.664
AT ITER 2772 NEW BEST:: SOT 19841315 SOS 16591340 HAS SOPS 8300112 HAS SOUS 1428747 HAS SOUPS 560375 WITH SCORE 576966.34
AT ITER 2776 NEW BEST:: SOT 19841087 SOS 16590567 HAS SOPS 8300924 HAS SOUS 1428260 HAS SOUPS 560205 WITH SCORE 576795.567
AT ITER 2792 NEW BEST:: SOT 19841042 SOS 16590252 HAS SOPS 8300609 HAS SOUS 1428168 HAS SOUPS 560113 WITH SCORE 576703.252
AT ITER 2813 NEW BEST:: SOT 19838837 SOS 16599390 HAS SOPS 8304337 HAS SOUS 1426859 HAS SOUPS 558804 WITH SCORE 575403.39
AT ITER 2820 NEW BEST:: SOT 19838837 SOS 16599390 HAS SOPS 8304337 HAS SOUS 1426853 HAS SOUPS 558798 WITH SCORE 575397.39
AT ITER 2830 NEW BEST:: SOT 19838319 SOS 16598863 HAS SOPS 8303810 HAS SOUS 1426180 HAS SOUPS 558125 WITH SCORE 574723.863
AT ITER 2832 NEW BEST:: SOT 19838319 SOS 16598863 HAS SOPS 8303810 HAS SOUS 1426022 HAS SOUPS 557967 WITH SCORE 574565.863
AT ITER 2858 NEW BEST:: SOT 19837435 SOS 16642149 HAS SOPS 8347070 HAS SOUS 1425508 HAS SOUPS 557453 WITH SCORE 574095.149
AT ITER 2864 NEW BEST:: SOT 19836252 SOS 16646867 HAS SOPS 8348708 HAS SOUS 1425150 HAS SOUPS 557095 WITH SCORE 573741.867
AT ITER 2873 NEW BEST:: SOT 19835842 SOS 16652179 HAS SOPS 8351830 HAS SOUS 1424959 HAS SOUPS 556904 WITH SCORE 573556.179
AT ITER 2894 NEW BEST:: SOT 19835842 SOS 16652179 HAS SOPS 8351830 HAS SOUS 1424831 HAS SOUPS 556776 WITH SCORE 573428.179
AT ITER 2927 NEW BEST:: SOT 19836578 SOS 16653835 HAS SOPS 8352566 HAS SOUS 1425009 HAS SOUPS 556770 WITH SCORE 573423.835
AT ITER 2942 NEW BEST:: SOT 19836595 SOS 16651054 HAS SOPS 8352600 HAS SOUS 1424182 HAS SOUPS 556506 WITH SCORE 573157.054
AT ITER 2949 NEW BEST:: SOT 19836595 SOS 16651054 HAS SOPS 8352600 HAS SOUS 1423936 HAS SOUPS 556260 WITH SCORE 572911.054
AT ITER 2974 NEW BEST:: SOT 19836719 SOS 16650806 HAS SOPS 8352352 HAS SOUS 1423936 HAS SOUPS 556260 WITH SCORE 572910.806
AT ITER 2976 NEW BEST:: SOT 19836633 SOS 16650634 HAS SOPS 8354985 HAS SOUS 1423289 HAS SOUPS 556174 WITH SCORE 572824.634
AT ITER 2982 NEW BEST:: SOT 19836633 SOS 16650634 HAS SOPS 8354985 HAS SOUS 1423189 HAS SOUPS 556074 WITH SCORE 572724.634
AT ITER 2985 NEW BEST:: SOT 19836633 SOS 16650634 HAS SOPS 8354985 HAS SOUS 1422969 HAS SOUPS 555854 WITH SCORE 572504.634
AT ITER 3010 NEW BEST:: SOT 19836669 SOS 16657586 HAS SOPS 8356612 HAS SOUS 1422935 HAS SOUPS 555465 WITH SCORE 572122.586
AT ITER 3014 NEW BEST:: SOT 19836573 SOS 16657394 HAS SOPS 8356085 HAS SOUS 1422839 HAS SOUPS 555302 WITH SCORE 571959.394
AT ITER 3019 NEW BEST:: SOT 19836470 SOS 16657188 HAS SOPS 8356394 HAS SOUS 1422633 HAS SOUPS 555199 WITH SCORE 571856.188
AT ITER 3042 NEW BEST:: SOT 19836470 SOS 16657188 HAS SOPS 8356394 HAS SOUS 1422619 HAS SOUPS 555185 WITH SCORE 571842.188
AT ITER 3045 NEW BEST:: SOT 19836836 SOS 16658081 HAS SOPS 8357287 HAS SOUS 1422385 HAS SOUPS 554951 WITH SCORE 571609.081
AT ITER 3061 NEW BEST:: SOT 19836984 SOS 16658229 HAS SOPS 8357435 HAS SOUS 1422331 HAS SOUPS 554897 WITH SCORE 571555.229
AT ITER 3072 NEW BEST:: SOT 19836937 SOS 16657900 HAS SOPS 8357341 HAS SOUS 1422237 HAS SOUPS 554850 WITH SCORE 571507.9
AT ITER 3088 NEW BEST:: SOT 19836013 SOS 16657328 HAS SOPS 8356769 HAS SOUS 1421951 HAS SOUPS 554564 WITH SCORE 571221.328
AT ITER 3113 NEW BEST:: SOT 19836013 SOS 16657328 HAS SOPS 8356769 HAS SOUS 1421861 HAS SOUPS 554474 WITH SCORE 571131.328
AT ITER 3135 NEW BEST:: SOT 19835653 SOS 16656608 HAS SOPS 8356049 HAS SOUS 1421501 HAS SOUPS 554114 WITH SCORE 570770.608
AT ITER 3136 NEW BEST:: SOT 19835653 SOS 16656362 HAS SOPS 8357033 HAS SOUS 1421255 HAS SOUPS 554114 WITH SCORE 570770.362
AT ITER 3138 NEW BEST:: SOT 19835129 SOS 16655120 HAS SOPS 8356761 HAS SOUS 1420939 HAS SOUPS 553992 WITH SCORE 570647.12
AT ITER 3156 NEW BEST:: SOT 19834948 SOS 16654758 HAS SOPS 8356399 HAS SOUS 1420744 HAS SOUPS 553797 WITH SCORE 570451.758
AT ITER 3183 NEW BEST:: SOT 19835528 SOS 16656192 HAS SOPS 8356463 HAS SOUS 1420813 HAS SOUPS 553592 WITH SCORE 570248.192
AT ITER 3185 NEW BEST:: SOT 19835528 SOS 16656192 HAS SOPS 8356463 HAS SOUS 1420647 HAS SOUPS 553426 WITH SCORE 570082.192
AT ITER 3213 NEW BEST:: SOT 19835185 SOS 16655956 HAS SOPS 8356227 HAS SOUS 1420414 HAS SOUPS 553193 WITH SCORE 569848.956
AT ITER 3230 NEW BEST:: SOT 19835046 SOS 16653198 HAS SOPS 8356059 HAS SOUS 1419777 HAS SOUPS 553074 WITH SCORE 569727.198
AT ITER 3268 NEW BEST:: SOT 19834837 SOS 16652780 HAS SOPS 8355641 HAS SOUS 1419359 HAS SOUPS 552656 WITH SCORE 569308.78
AT ITER 3279 NEW BEST:: SOT 19833380 SOS 16666106 HAS SOPS 8362617 HAS SOUS 1419267 HAS SOUPS 552564 WITH SCORE 569230.106
AT ITER 3283 NEW BEST:: SOT 19833380 SOS 16666106 HAS SOPS 8362617 HAS SOUS 1419029 HAS SOUPS 552326 WITH SCORE 568992.106
AT ITER 3292 NEW BEST:: SOT 19832754 SOS 16671871 HAS SOPS 8365442 HAS SOUS 1418697 HAS SOUPS 551994 WITH SCORE 568665.871
AT ITER 3296 NEW BEST:: SOT 19832754 SOS 16669651 HAS SOPS 8365442 HAS SOUS 1417971 HAS SOUPS 551712 WITH SCORE 568381.651
AT ITER 3316 NEW BEST:: SOT 19832611 SOS 16669529 HAS SOPS 8365320 HAS SOUS 1417951 HAS SOUPS 551692 WITH SCORE 568361.529
AT ITER 3318 NEW BEST:: SOT 19832224 SOS 16668755 HAS SOPS 8364546 HAS SOUS 1417367 HAS SOUPS 551108 WITH SCORE 567776.755
AT ITER 3327 NEW BEST:: SOT 19832143 SOS 16668593 HAS SOPS 8364384 HAS SOUS 1417285 HAS SOUPS 551026 WITH SCORE 567694.593
AT ITER 3347 NEW BEST:: SOT 19831973 SOS 16668168 HAS SOPS 8364384 HAS SOUS 1417030 HAS SOUPS 550856 WITH SCORE 567524.168
AT ITER 3348 NEW BEST:: SOT 19831773 SOS 16667718 HAS SOPS 8364184 HAS SOUS 1416930 HAS SOUPS 550806 WITH SCORE 567473.718
AT ITER 3375 NEW BEST:: SOT 19831659 SOS 16667490 HAS SOPS 8364416 HAS SOUS 1416632 HAS SOUPS 550600 WITH SCORE 567267.49
AT ITER 3400 NEW BEST:: SOT 19831263 SOS 16665554 HAS SOPS 8363815 HAS SOUS 1416147 HAS SOUPS 550382 WITH SCORE 567047.554
AT ITER 3402 NEW BEST:: SOT 19830707 SOS 16664442 HAS SOPS 8362703 HAS SOUS 1415077 HAS SOUPS 549312 WITH SCORE 565976.442
AT ITER 3414 NEW BEST:: SOT 19830783 SOS 16664741 HAS SOPS 8362267 HAS SOUS 1414949 HAS SOUPS 549037 WITH SCORE 565701.741
AT ITER 3419 NEW BEST:: SOT 19827763 SOS 16660213 HAS SOPS 8360225 HAS SOUS 1414489 HAS SOUPS 548803 WITH SCORE 565463.213
AT ITER 3439 NEW BEST:: SOT 19827641 SOS 16659969 HAS SOPS 8359981 HAS SOUS 1414306 HAS SOUPS 548620 WITH SCORE 565279.969
AT ITER 3440 NEW BEST:: SOT 19827469 SOS 16658420 HAS SOPS 8358432 HAS SOUS 1413813 HAS SOUPS 548127 WITH SCORE 564785.42
AT ITER 3443 NEW BEST:: SOT 19827226 SOS 16659473 HAS SOPS 8358270 HAS SOUS 1413570 HAS SOUPS 547803 WITH SCORE 564462.473
AT ITER 3452 NEW BEST:: SOT 19826299 SOS 16666994 HAS SOPS 8360941 HAS SOUS 1413404 HAS SOUPS 547637 WITH SCORE 564303.994
AT ITER 3464 NEW BEST:: SOT 19825855 SOS 16664706 HAS SOPS 8360053 HAS SOUS 1412471 HAS SOUPS 546984 WITH SCORE 563648.706
AT ITER 3472 NEW BEST:: SOT 19825855 SOS 16664706 HAS SOPS 8360053 HAS SOUS 1412225 HAS SOUPS 546738 WITH SCORE 563402.706
AT ITER 3475 NEW BEST:: SOT 19825855 SOS 16664706 HAS SOPS 8360053 HAS SOUS 1412027 HAS SOUPS 546540 WITH SCORE 563204.706
AT ITER 3501 NEW BEST:: SOT 19825441 SOS 16663809 HAS SOPS 8359156 HAS SOUS 1411751 HAS SOUPS 546264 WITH SCORE 562927.809
AT ITER 3523 NEW BEST:: SOT 19825320 SOS 16663217 HAS SOPS 8359184 HAS SOUS 1411506 HAS SOUPS 546143 WITH SCORE 562806.217
AT ITER 3531 NEW BEST:: SOT 19825320 SOS 16663217 HAS SOPS 8358544 HAS SOUS 1411633 HAS SOUPS 546142 WITH SCORE 562805.217
AT ITER 3539 NEW BEST:: SOT 19825281 SOS 16663139 HAS SOPS 8358466 HAS SOUS 1411493 HAS SOUPS 546002 WITH SCORE 562665.139
AT ITER 3557 NEW BEST:: SOT 19825281 SOS 16663139 HAS SOPS 8358466 HAS SOUS 1411377 HAS SOUPS 545886 WITH SCORE 562549.139
AT ITER 3572 NEW BEST:: SOT 19824230 SOS 16660751 HAS SOPS 8356078 HAS SOUS 1411291 HAS SOUPS 545800 WITH SCORE 562460.751
AT ITER 3577 NEW BEST:: SOT 19822118 SOS 16657487 HAS SOPS 8353582 HAS SOUS 1411291 HAS SOUPS 545608 WITH SCORE 562265.487
AT ITER 3582 NEW BEST:: SOT 19822286 SOS 16657995 HAS SOPS 8354090 HAS SOUS 1411273 HAS SOUPS 545590 WITH SCORE 562247.995
AT ITER 3589 NEW BEST:: SOT 19811858 SOS 16643216 HAS SOPS 8346693 HAS SOUS 1409770 HAS SOUPS 544590 WITH SCORE 561233.216
AT ITER 3591 NEW BEST:: SOT 19810696 SOS 16638879 HAS SOPS 8345711 HAS SOUS 1408309 HAS SOUPS 543800 WITH SCORE 560438.879
AT ITER 3610 NEW BEST:: SOT 19810960 SOS 16637615 HAS SOPS 8345407 HAS SOUS 1408243 HAS SOUPS 543798 WITH SCORE 560435.615
AT ITER 3611 NEW BEST:: SOT 19800476 SOS 16622246 HAS SOPS 8338228 HAS SOUS 1406842 HAS SOUPS 542838 WITH SCORE 559460.246
AT ITER 3612 NEW BEST:: SOT 19800476 SOS 16622246 HAS SOPS 8338228 HAS SOUS 1406762 HAS SOUPS 542758 WITH SCORE 559380.246
AT ITER 3632 NEW BEST:: SOT 19800448 SOS 16622545 HAS SOPS 8338527 HAS SOUS 1406734 HAS SOUPS 542730 WITH SCORE 559352.545
AT ITER 3655 NEW BEST:: SOT 19802716 SOS 16631205 HAS SOPS 8341881 HAS SOUS 1406528 HAS SOUPS 542355 WITH SCORE 558986.205
AT ITER 3658 NEW BEST:: SOT 19802418 SOS 16630609 HAS SOPS 8341285 HAS SOUS 1405932 HAS SOUPS 541759 WITH SCORE 558389.609
AT ITER 3659 NEW BEST:: SOT 19802326 SOS 16630384 HAS SOPS 8341265 HAS SOUS 1405868 HAS SOUPS 541736 WITH SCORE 558366.384
AT ITER 3663 NEW BEST:: SOT 19799431 SOS 16633941 HAS SOPS 8340182 HAS SOUS 1405105 HAS SOUPS 540973 WITH SCORE 557606.941
AT ITER 3685 NEW BEST:: SOT 19799431 SOS 16633941 HAS SOPS 8340182 HAS SOUS 1405033 HAS SOUPS 540901 WITH SCORE 557534.941
AT ITER 3714 NEW BEST:: SOT 19799305 SOS 16633089 HAS SOPS 8339330 HAS SOUS 1404907 HAS SOUPS 540775 WITH SCORE 557408.089
AT ITER 3720 NEW BEST:: SOT 19799090 SOS 16631234 HAS SOPS 8337475 HAS SOUS 1404165 HAS SOUPS 540033 WITH SCORE 556664.234
AT ITER 3739 NEW BEST:: SOT 19795210 SOS 16670842 HAS SOPS 8335947 HAS SOUS 1401284 HAS SOUPS 538887 WITH SCORE 555557.842
AT ITER 3748 NEW BEST:: SOT 19795210 SOS 16670842 HAS SOPS 8335947 HAS SOUS 1401274 HAS SOUPS 538877 WITH SCORE 555547.842
AT ITER 3754 NEW BEST:: SOT 19794938 SOS 16669618 HAS SOPS 8334723 HAS SOUS 1400959 HAS SOUPS 538562 WITH SCORE 555231.618
AT ITER 3790 NEW BEST:: SOT 19794938 SOS 16669618 HAS SOPS 8334723 HAS SOUS 1400841 HAS SOUPS 538444 WITH SCORE 555113.618
AT ITER 3799 NEW BEST:: SOT 19794722 SOS 16668946 HAS SOPS 8335251 HAS SOUS 1400418 HAS SOUPS 538261 WITH SCORE 554929.946
AT ITER 3813 NEW BEST:: SOT 19794017 SOS 16673931 HAS SOPS 8336711 HAS SOUS 1400183 HAS SOUPS 537791 WITH SCORE 554464.931
AT ITER 3818 NEW BEST:: SOT 19793797 SOS 16672941 HAS SOPS 8336271 HAS SOUS 1399853 HAS SOUPS 537571 WITH SCORE 554243.941
AT ITER 3822 NEW BEST:: SOT 19793166 SOS 16673389 HAS SOPS 8335769 HAS SOUS 1399602 HAS SOUPS 537320 WITH SCORE 553993.389
AT ITER 3848 NEW BEST:: SOT 19793069 SOS 16673195 HAS SOPS 8335575 HAS SOUS 1399505 HAS SOUPS 537223 WITH SCORE 553896.195
AT ITER 3865 NEW BEST:: SOT 19793057 SOS 16672855 HAS SOPS 8336815 HAS SOUS 1399186 HAS SOUPS 537220 WITH SCORE 553892.855
AT ITER 3871 NEW BEST:: SOT 19789948 SOS 16668718 HAS SOPS 8334070 HAS SOUS 1398861 HAS SOUPS 536895 WITH SCORE 553563.718
AT ITER 3896 NEW BEST:: SOT 19788282 SOS 16670148 HAS SOPS 8332290 HAS SOUS 1398019 HAS SOUPS 535839 WITH SCORE 552509.148
AT ITER 3898 NEW BEST:: SOT 19788273 SOS 16670139 HAS SOPS 8332236 HAS SOUS 1398019 HAS SOUPS 535830 WITH SCORE 552500.139
AT ITER 3902 NEW BEST:: SOT 19787897 SOS 16669158 HAS SOPS 8331255 HAS SOUS 1397643 HAS SOUPS 535454 WITH SCORE 552123.158
AT ITER 3904 NEW BEST:: SOT 19784575 SOS 16679971 HAS SOPS 8334628 HAS SOUS 1395415 HAS SOUPS 533226 WITH SCORE 549905.971
AT ITER 3908 NEW BEST:: SOT 19783582 SOS 16684285 HAS SOPS 8335567 HAS SOUS 1395635 HAS SOUPS 533221 WITH SCORE 549905.285
AT ITER 3911 NEW BEST:: SOT 19783151 SOS 16683423 HAS SOPS 8334705 HAS SOUS 1395204 HAS SOUPS 532790 WITH SCORE 549473.423
AT ITER 3914 NEW BEST:: SOT 19780439 SOS 16680263 HAS SOPS 8333243 HAS SOUS 1395127 HAS SOUPS 532713 WITH SCORE 549393.263
AT ITER 3920 NEW BEST:: SOT 19780439 SOS 16680263 HAS SOPS 8333243 HAS SOUS 1395071 HAS SOUPS 532657 WITH SCORE 549337.263
AT ITER 4029 NEW BEST:: SOT 19780439 SOS 16680263 HAS SOPS 8333243 HAS SOUS 1394825 HAS SOUPS 532411 WITH SCORE 549091.263
AT ITER 4032 NEW BEST:: SOT 19780439 SOS 16680263 HAS SOPS 8333243 HAS SOUS 1394579 HAS SOUPS 532165 WITH SCORE 548845.263
AT ITER 4043 NEW BEST:: SOT 19780439 SOS 16680263 HAS SOPS 8333243 HAS SOUS 1394333 HAS SOUPS 531919 WITH SCORE 548599.263
AT ITER 4044 NEW BEST:: SOT 19780235 SOS 16679855 HAS SOPS 8332835 HAS SOUS 1394231 HAS SOUPS 531817 WITH SCORE 548496.855
AT ITER 4060 NEW BEST:: SOT 19780341 SOS 16679447 HAS SOPS 8332427 HAS SOUS 1393985 HAS SOUPS 531571 WITH SCORE 548250.447
AT ITER 4102 NEW BEST:: SOT 19780341 SOS 16679492 HAS SOPS 8332202 HAS SOUS 1393985 HAS SOUPS 531526 WITH SCORE 548205.492
AT ITER 4106 NEW BEST:: SOT 19780176 SOS 16677458 HAS SOPS 8331233 HAS SOUS 1393859 HAS SOUPS 531471 WITH SCORE 548148.458
AT ITER 4108 NEW BEST:: SOT 19780151 SOS 16677098 HAS SOPS 8332183 HAS SOUS 1393560 HAS SOUPS 531434 WITH SCORE 548111.098
AT ITER 4118 NEW BEST:: SOT 19780151 SOS 16677098 HAS SOPS 8332183 HAS SOUS 1393402 HAS SOUPS 531276 WITH SCORE 547953.098
AT ITER 4126 NEW BEST:: SOT 19780151 SOS 16677098 HAS SOPS 8332183 HAS SOUS 1393328 HAS SOUPS 531202 WITH SCORE 547879.098
AT ITER 4140 NEW BEST:: SOT 19771626 SOS 16664212 HAS SOPS 8326634 HAS SOUS 1392332 HAS SOUPS 530858 WITH SCORE 547522.212
AT ITER 4165 NEW BEST:: SOT 19770824 SOS 16666771 HAS SOPS 8326478 HAS SOUS 1392435 HAS SOUPS 530780 WITH SCORE 547446.771
AT ITER 4193 NEW BEST:: SOT 19771177 SOS 16610984 HAS SOPS 8327196 HAS SOUS 1391425 HAS SOUPS 530217 WITH SCORE 546827.984
AT ITER 4238 NEW BEST:: SOT 19771790 SOS 16599705 HAS SOPS 8322967 HAS SOUS 1390411 HAS SOUPS 529673 WITH SCORE 546272.705
AT ITER 4245 NEW BEST:: SOT 19770983 SOS 16595276 HAS SOPS 8321353 HAS SOUS 1388571 HAS SOUPS 528396 WITH SCORE 544991.276
AT ITER 4254 NEW BEST:: SOT 19770737 SOS 16594784 HAS SOPS 8320861 HAS SOUS 1388325 HAS SOUPS 528150 WITH SCORE 544744.784
AT ITER 4256 NEW BEST:: SOT 19770737 SOS 16594784 HAS SOPS 8320861 HAS SOUS 1388245 HAS SOUPS 528070 WITH SCORE 544664.784
AT ITER 4269 NEW BEST:: SOT 19761164 SOS 16581479 HAS SOPS 8314618 HAS SOUS 1387664 HAS SOUPS 527943 WITH SCORE 544524.479
AT ITER 4272 NEW BEST:: SOT 19760830 SOS 16580811 HAS SOPS 8311665 HAS SOUS 1387787 HAS SOUPS 527609 WITH SCORE 544189.811
AT ITER 4280 NEW BEST:: SOT 19760499 SOS 16580149 HAS SOPS 8312533 HAS SOUS 1386991 HAS SOUPS 527119 WITH SCORE 543699.149
AT ITER 4329 NEW BEST:: SOT 19749642 SOS 16563848 HAS SOPS 8305252 HAS SOUS 1385426 HAS SOUPS 526374 WITH SCORE 542937.848
AT ITER 4345 NEW BEST:: SOT 19749363 SOS 16562421 HAS SOPS 8305258 HAS SOUS 1385109 HAS SOUPS 526337 WITH SCORE 542899.421
AT ITER 4359 NEW BEST:: SOT 19749252 SOS 16562199 HAS SOPS 8306381 HAS SOUS 1384813 HAS SOUPS 526310 WITH SCORE 542872.199
AT ITER 4382 NEW BEST:: SOT 19748602 SOS 16560470 HAS SOPS 8306797 HAS SOUS 1384074 HAS SOUPS 526000 WITH SCORE 542560.47
AT ITER 4403 NEW BEST:: SOT 19747617 SOS 16563360 HAS SOPS 8305637 HAS SOUS 1384080 HAS SOUPS 525736 WITH SCORE 542299.36
AT ITER 4431 NEW BEST:: SOT 19747514 SOS 16563257 HAS SOPS 8305534 HAS SOUS 1383977 HAS SOUPS 525633 WITH SCORE 542196.257
AT ITER 4439 NEW BEST:: SOT 19747514 SOS 16563257 HAS SOPS 8305534 HAS SOUS 1383965 HAS SOUPS 525621 WITH SCORE 542184.257
AT ITER 4442 NEW BEST:: SOT 19745558 SOS 16570095 HAS SOPS 8307522 HAS SOUS 1382857 HAS SOUPS 524513 WITH SCORE 541083.095
AT ITER 4443 NEW BEST:: SOT 19745297 SOS 16569573 HAS SOPS 8307000 HAS SOUS 1382228 HAS SOUPS 523884 WITH SCORE 540453.573
AT ITER 4447 NEW BEST:: SOT 19742711 SOS 16563794 HAS SOPS 8304256 HAS SOUS 1379928 HAS SOUPS 522191 WITH SCORE 538754.794
AT ITER 4450 NEW BEST:: SOT 19742797 SOS 16561558 HAS SOPS 8302880 HAS SOUS 1379928 HAS SOUPS 522191 WITH SCORE 538752.558
AT ITER 4495 NEW BEST:: SOT 19741413 SOS 16558674 HAS SOPS 8299996 HAS SOUS 1379588 HAS SOUPS 521851 WITH SCORE 538409.674
AT ITER 4508 NEW BEST:: SOT 19736046 SOS 16550735 HAS SOPS 8296358 HAS SOUS 1379163 HAS SOUPS 521730 WITH SCORE 538280.735
AT ITER 4512 NEW BEST:: SOT 19736046 SOS 16550735 HAS SOPS 8296358 HAS SOUS 1378905 HAS SOUPS 521472 WITH SCORE 538022.735
AT ITER 4515 NEW BEST:: SOT 19736046 SOS 16550735 HAS SOPS 8297768 HAS SOUS 1378341 HAS SOUPS 521190 WITH SCORE 537740.735
AT ITER 4517 NEW BEST:: SOT 19727262 SOS 16537677 HAS SOPS 8292212 HAS SOUS 1377544 HAS SOUPS 521075 WITH SCORE 537612.677
AT ITER 4531 NEW BEST:: SOT 19727262 SOS 16537677 HAS SOPS 8292212 HAS SOUS 1377386 HAS SOUPS 520917 WITH SCORE 537454.677
AT ITER 4544 NEW BEST:: SOT 19727080 SOS 16536513 HAS SOPS 8291048 HAS SOUS 1377044 HAS SOUPS 520575 WITH SCORE 537111.513
AT ITER 4554 NEW BEST:: SOT 19725201 SOS 16544711 HAS SOPS 8297058 HAS SOUS 1376548 HAS SOUPS 520483 WITH SCORE 537027.711
AT ITER 4557 NEW BEST:: SOT 19724921 SOS 16544151 HAS SOPS 8296498 HAS SOUS 1376174 HAS SOUPS 520109 WITH SCORE 536653.151
AT ITER 4561 NEW BEST:: SOT 19724635 SOS 16543761 HAS SOPS 8296108 HAS SOUS 1376107 HAS SOUPS 520042 WITH SCORE 536585.7609999999
AT ITER 4568 NEW BEST:: SOT 19722900 SOS 16548166 HAS SOPS 8296563 HAS SOUS 1375020 HAS SOUPS 518955 WITH SCORE 535503.166
AT ITER 4571 NEW BEST:: SOT 19722632 SOS 16547109 HAS SOPS 8298111 HAS SOUS 1374423 HAS SOUPS 518879 WITH SCORE 535426.109
AT ITER 4573 NEW BEST:: SOT 19722555 SOS 16546955 HAS SOPS 8298317 HAS SOUS 1374269 HAS SOUPS 518797 WITH SCORE 535343.955
AT ITER 4582 NEW BEST:: SOT 19722555 SOS 16546955 HAS SOPS 8298317 HAS SOUS 1374101 HAS SOUPS 518629 WITH SCORE 535175.955
AT ITER 4594 NEW BEST:: SOT 19721743 SOS 16547524 HAS SOPS 8297146 HAS SOUS 1373774 HAS SOUPS 518186 WITH SCORE 534733.524
AT ITER 4611 NEW BEST:: SOT 19721519 SOS 16546890 HAS SOPS 8297442 HAS SOUS 1373476 HAS SOUPS 518074 WITH SCORE 534620.89
AT ITER 4613 NEW BEST:: SOT 19720969 SOS 16546222 HAS SOPS 8296774 HAS SOUS 1373250 HAS SOUPS 517848 WITH SCORE 534394.222
AT ITER 4614 NEW BEST:: SOT 19720898 SOS 16545555 HAS SOPS 8296632 HAS SOUS 1373108 HAS SOUPS 517811 WITH SCORE 534356.555
AT ITER 4630 NEW BEST:: SOT 19720808 SOS 16545195 HAS SOPS 8296497 HAS SOUS 1372928 HAS SOUPS 517676 WITH SCORE 534221.195
AT ITER 4642 NEW BEST:: SOT 19718960 SOS 16557900 HAS SOPS 8301582 HAS SOUS 1372733 HAS SOUPS 517481 WITH SCORE 534038.9
AT ITER 4649 NEW BEST:: SOT 19718960 SOS 16557900 HAS SOPS 8301582 HAS SOUS 1372487 HAS SOUPS 517235 WITH SCORE 533792.9
AT ITER 4664 NEW BEST:: SOT 19718992 SOS 16557964 HAS SOPS 8301646 HAS SOUS 1372438 HAS SOUPS 517186 WITH SCORE 533743.964
AT ITER 4666 NEW BEST:: SOT 19717789 SOS 16561546 HAS SOPS 8301913 HAS SOUS 1372239 HAS SOUPS 516766 WITH SCORE 533327.546
AT ITER 4676 NEW BEST:: SOT 19717428 SOS 16560824 HAS SOPS 8301191 HAS SOUS 1371892 HAS SOUPS 516419 WITH SCORE 532979.824
AT ITER 4702 NEW BEST:: SOT 19717480 SOS 16557568 HAS SOPS 8299135 HAS SOUS 1371824 HAS SOUPS 516351 WITH SCORE 532908.568
AT ITER 4713 NEW BEST:: SOT 19717362 SOS 16557332 HAS SOPS 8298899 HAS SOUS 1371502 HAS SOUPS 516029 WITH SCORE 532586.332
AT ITER 4732 NEW BEST:: SOT 19717362 SOS 16557837 HAS SOPS 8297904 HAS SOUS 1371303 HAS SOUPS 515530 WITH SCORE 532087.837
AT ITER 4735 NEW BEST:: SOT 19715239 SOS 16568048 HAS SOPS 8301625 HAS SOUS 1371218 HAS SOUPS 515445 WITH SCORE 532013.048
AT ITER 4741 NEW BEST:: SOT 19714496 SOS 16568780 HAS SOPS 8298752 HAS SOUS 1370159 HAS SOUPS 513665 WITH SCORE 530233.78
AT ITER 4746 NEW BEST:: SOT 19708090 SOS 16559383 HAS SOPS 8293932 HAS SOUS 1369790 HAS SOUPS 513328 WITH SCORE 529887.383
AT ITER 4838 NEW BEST:: SOT 19708066 SOS 16559329 HAS SOPS 8293908 HAS SOUS 1369778 HAS SOUPS 513322 WITH SCORE 529881.329
AT ITER 4860 NEW BEST:: SOT 19708066 SOS 16559329 HAS SOPS 8293908 HAS SOUS 1369696 HAS SOUPS 513240 WITH SCORE 529799.329
AT ITER 4861 NEW BEST:: SOT 19708066 SOS 16556743 HAS SOPS 8292342 HAS SOUS 1369594 HAS SOUPS 513138 WITH SCORE 529694.743
AT ITER 4885 NEW BEST:: SOT 19708066 SOS 16556743 HAS SOPS 8292342 HAS SOUS 1369534 HAS SOUPS 513078 WITH SCORE 529634.743
AT ITER 4908 NEW BEST:: SOT 19706524 SOS 16553208 HAS SOPS 8291062 HAS SOUS 1368574 HAS SOUPS 512569 WITH SCORE 529122.208
AT ITER 4911 NEW BEST:: SOT 19706266 SOS 16552750 HAS SOPS 8290918 HAS SOUS 1368459 HAS SOUPS 512511 WITH SCORE 529063.75
AT ITER 4935 NEW BEST:: SOT 19706266 SOS 16552750 HAS SOPS 8290918 HAS SOUS 1368319 HAS SOUPS 512371 WITH SCORE 528923.75
AT ITER 4953 NEW BEST:: SOT 19706090 SOS 16552398 HAS SOPS 8290566 HAS SOUS 1368275 HAS SOUPS 512327 WITH SCORE 528879.398
AT ITER 4962 NEW BEST:: SOT 19707377 SOS 16551927 HAS SOPS 8290095 HAS SOUS 1368079 HAS SOUPS 512131 WITH SCORE 528682.927
AT ITER 4963 NEW BEST:: SOT 19707377 SOS 16551927 HAS SOPS 8290095 HAS SOUS 1367935 HAS SOUPS 511987 WITH SCORE 528538.927
AT ITER 4966 NEW BEST:: SOT 19707377 SOS 16551927 HAS SOPS 8290095 HAS SOUS 1367689 HAS SOUPS 511741 WITH SCORE 528292.927
AT ITER 4993 NEW BEST:: SOT 19705735 SOS 16566320 HAS SOPS 8293643 HAS SOUS 1367300 HAS SOUPS 510629 WITH SCORE 527195.32
Bounds file is: CTLFireability.xml
PROPERTY: DLCshifumi-PT-5a-CTLFireability-00 ( (EX( (! (AG( ((potential((tk(P561)>=1) & (tk(P1072)>=1))))))))) & (AX( (AF( (! ((potential((tk(P246)>=1) & (tk(P1474)>=1))))))))) )
PROPERTY: DLCshifumi-PT-5a-CTLFireability-01 ( (AF( ((potential((tk(P1588)>=1) & (tk(P889)>=1)))))) | ( ( ( (AF( ((potential((tk(P1818)>=1) & (tk(P899)>=1)))))) | (EF( ((potential((tk(P1555)>=1) & (tk(P891)>=1)))))) ) & ((potential((tk(P402)>=1) & (tk(P1765)>=1)))) ) & (AF( ( ( ((potential((tk(P514)>=1) & (tk(P1059)>=1)))) | ((potential((tk(P841)>=1)))) ) | (! ((potential((tk(P908)>=1) & (tk(P1924)>=1))))) ))) ) )
PROPERTY: DLCshifumi-PT-5a-CTLFireability-02 (! (AX( (AF( ( ((potential((tk(P881)>=1) & (tk(P1321)>=1)))) | ((potential((tk(P880)>=1) & (tk(P1394)>=1)))) ))))))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-03 (! ( (AG( (! ( ((potential((tk(P877)>=1) & (tk(P1244)>=1)))) & ((potential((tk(P1226)>=1) & (tk(P239)>=1)))) )))) | (AU( ( ((potential((tk(P317)>=1) & (tk(P1987)>=1)))) | ((potential((tk(P897)>=1) & (tk(P1792)>=1)))) ) , ( ((potential((tk(P730)>=1)))) | ((potential((tk(P880)>=1) & (tk(P1218)>=1)))) ) )) ))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-04 ( ( ((potential((tk(P1893)>=1) & (tk(P901)>=1)))) & (! (AF( ( ((potential((tk(P891)>=1) & (tk(P1575)>=1)))) & ((potential((tk(P905)>=1) & (tk(P2094)>=1)))) )))) ) | ( (EX( (EF( ((potential((tk(P880)>=1) & (tk(P1272)>=1)))))))) | ( ( ((potential((tk(P902)>=1) & (tk(P1728)>=1)))) | (AF( ((potential((tk(P890)>=1) & (tk(P1616)>=1)))))) ) & (EG( ( ((potential((tk(P558)>=1) & (tk(P1563)>=1)))) & ((potential((tk(P224)>=1)))) ))) ) ) )
PROPERTY: DLCshifumi-PT-5a-CTLFireability-05 (EF( (EU( ( ((potential((tk(P890)>=1) & (tk(P1470)>=1)))) | ((potential((tk(P887)>=1) & (tk(P1486)>=1)))) ) , ( ((potential((tk(P908)>=1) & (tk(P2074)>=1)))) | ((potential((tk(P868)>=1) & (tk(P1088)>=1)))) ) ))))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-06 (AG( (EF( (! (! ((potential((tk(P895)>=1) & (tk(P1690)>=1))))))))))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-07 (! (AU( ( ( ((potential((tk(P882)>=1)))) | ((potential((tk(P871)>=1) & (tk(P919)>=1)))) ) | (! ((potential((tk(P1635)>=1) & (tk(P891)>=1))))) ) , (AG( ((potential((tk(P871)>=1) & (tk(P1157)>=1)))))) )))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-08 (AU( ( (AG( ((potential((tk(P729)>=1) & (tk(P1120)>=1)))))) & ( (! ((potential((tk(P875)>=1))))) & ( ((potential((tk(P2114)>=1) & (tk(P764)>=1)))) & ((potential((tk(P902)>=1) & (tk(P1676)>=1)))) ) ) ) , (! (AF( ((potential((tk(P448)>=1))))))) ))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-09 (AF( ( (EU( ((potential((tk(P337)>=1) & (tk(P1008)>=1)))) , ((potential((tk(P900)>=1) & (tk(P1810)>=1)))) )) & ( ((potential((tk(P797)>=1)))) & (EX( ((potential((tk(P901)>=1) & (tk(P1887)>=1)))))) ) )))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-10 (AG( (! ((potential((tk(P880)>=1) & (tk(P1354)>=1)))))))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-11 (! (! ( ( ( (! ((potential((tk(P481)>=1))))) & ( ((potential((tk(P901)>=1) & (tk(P1821)>=1)))) | ((potential((tk(P148)>=1) & (tk(P1445)>=1)))) ) ) | ( ( ((potential((tk(P1895)>=1) & (tk(P901)>=1)))) & ((potential((tk(P379)>=1) & (tk(P1512)>=1)))) ) | (! ((potential((tk(P895)>=1) & (tk(P1656)>=1))))) ) ) & ( (AF( ((potential((tk(P229)>=1) & (tk(P1469)>=1)))))) | ((potential((tk(P911)>=1) & (tk(P1955)>=1)))) ) )))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-12 (AF( (EG( (EG( ((potential((tk(P573)>=1))))))))))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-13 (AU( (EF( ( ((potential((tk(P388)>=1) & (tk(P2007)>=1)))) | ((potential((tk(P885)>=1) & (tk(P1452)>=1)))) ))) , (AF( ( ((potential((tk(P896)>=1) & (tk(P1854)>=1)))) & ((potential((tk(P912)>=1) & (tk(P1954)>=1)))) ))) ))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-14 (EX( (EG( ((potential((tk(P281)>=1) & (tk(P1484)>=1))))))))
PROPERTY: DLCshifumi-PT-5a-CTLFireability-15 ( (AG( (AF( ((potential((tk(P907)>=1) & (tk(P1920)>=1)))))))) | (EF( ( (EF( ((potential((tk(P911)>=1) & (tk(P2068)>=1)))))) & ((potential((tk(P287)>=1)))) ))) )

BK_STOP 1589360194949

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-5a"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

tar xzf /home/mcc/BenchKit/INPUTS/DLCshifumi-PT-5a.tgz
mv DLCshifumi-PT-5a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;