fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r108-csrt-158961251100800
Last Updated
Jun 28, 2020

About the Execution of smart for PhaseVariation-PT-D10CS100

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15797.680 2389109.00 2389030.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 '/local/x2003239/mcc2020-input.r108-csrt-158961251100800.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PhaseVariation-PT-D10CS100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251100800
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 4.2K Apr 12 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 9 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.9M Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589648785456

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D10CS100
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 302 places, 3137 transitions, 21755 arcs.
AT ITER 0 NEW BEST:: SOT 919740 SOS 653923 HAS SOPS 584195 HAS SOUS 529501 HAS SOUPS 517736 WITH SCORE 518389.923
AT ITER 1 NEW BEST:: SOT 919740 SOS 654758 HAS SOPS 584069 HAS SOUS 529858 HAS SOUPS 517290 WITH SCORE 517944.758
AT ITER 2 NEW BEST:: SOT 919740 SOS 655253 HAS SOPS 586889 HAS SOUS 527985 HAS SOUPS 515496 WITH SCORE 516151.253
AT ITER 3 NEW BEST:: SOT 919740 SOS 654840 HAS SOPS 586439 HAS SOUS 526170 HAS SOUPS 513458 WITH SCORE 514112.84
AT ITER 5 NEW BEST:: SOT 919740 SOS 661427 HAS SOPS 585959 HAS SOUS 525579 HAS SOUPS 512677 WITH SCORE 513338.427
AT ITER 6 NEW BEST:: SOT 919740 SOS 663318 HAS SOPS 585707 HAS SOUS 526105 HAS SOUPS 511657 WITH SCORE 512320.318
AT ITER 7 NEW BEST:: SOT 919740 SOS 663667 HAS SOPS 587387 HAS SOUS 525123 HAS SOUPS 510390 WITH SCORE 511053.667
AT ITER 8 NEW BEST:: SOT 919740 SOS 662317 HAS SOPS 585875 HAS SOUS 523363 HAS SOUPS 508229 WITH SCORE 508891.317
AT ITER 9 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 584065 HAS SOUS 520480 HAS SOUPS 505117 WITH SCORE 505953.551
AT ITER 10 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 584005 HAS SOUS 519677 HAS SOUPS 504298 WITH SCORE 505134.551
AT ITER 11 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 583879 HAS SOUS 519434 HAS SOUPS 503729 WITH SCORE 504565.551
AT ITER 12 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 583879 HAS SOUS 519106 HAS SOUPS 503419 WITH SCORE 504255.551
AT ITER 13 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 582547 HAS SOUS 516456 HAS SOUPS 500434 WITH SCORE 501270.551
AT ITER 14 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 582859 HAS SOUS 516519 HAS SOUPS 500384 WITH SCORE 501220.551
AT ITER 15 NEW BEST:: SOT 919740 SOS 836551 HAS SOPS 582919 HAS SOUS 516047 HAS SOUPS 499776 WITH SCORE 500612.551
AT ITER 18 NEW BEST:: SOT 919740 SOS 836648 HAS SOPS 585223 HAS SOUS 514533 HAS SOUPS 498196 WITH SCORE 499032.648
AT ITER 20 NEW BEST:: SOT 919740 SOS 836648 HAS SOPS 583945 HAS SOUS 512388 HAS SOUPS 496048 WITH SCORE 496884.648
AT ITER 21 NEW BEST:: SOT 919740 SOS 836648 HAS SOPS 582883 HAS SOUS 511422 HAS SOUPS 495023 WITH SCORE 495859.648
AT ITER 22 NEW BEST:: SOT 919993 SOS 836892 HAS SOPS 583228 HAS SOUS 508346 HAS SOUPS 491620 WITH SCORE 492456.892
AT ITER 23 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 582436 HAS SOUS 504733 HAS SOUPS 488127 WITH SCORE 488963.96
AT ITER 24 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 582724 HAS SOUS 504674 HAS SOUPS 488068 WITH SCORE 488904.96
AT ITER 25 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 581824 HAS SOUS 503894 HAS SOUPS 487223 WITH SCORE 488059.96
AT ITER 26 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 581824 HAS SOUS 502993 HAS SOUPS 486423 WITH SCORE 487259.96
AT ITER 29 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 581824 HAS SOUS 503279 HAS SOUPS 486389 WITH SCORE 487225.96
AT ITER 32 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 582580 HAS SOUS 503316 HAS SOUPS 486367 WITH SCORE 487203.96
AT ITER 33 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 581950 HAS SOUS 502453 HAS SOUPS 485539 WITH SCORE 486375.96
AT ITER 35 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 582754 HAS SOUS 502417 HAS SOUPS 485430 WITH SCORE 486266.96
AT ITER 38 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 584008 HAS SOUS 499780 HAS SOUPS 482905 WITH SCORE 483741.96
AT ITER 39 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 584782 HAS SOUS 495438 HAS SOUPS 478617 WITH SCORE 479453.96
AT ITER 40 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 584422 HAS SOUS 495403 HAS SOUPS 478578 WITH SCORE 479414.96
AT ITER 41 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 584422 HAS SOUS 495401 HAS SOUPS 478570 WITH SCORE 479406.96
AT ITER 45 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 584338 HAS SOUS 495304 HAS SOUPS 478456 WITH SCORE 479292.96
AT ITER 46 NEW BEST:: SOT 919993 SOS 836960 HAS SOPS 584794 HAS SOUS 495092 HAS SOUPS 478037 WITH SCORE 478873.96
AT ITER 47 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 584794 HAS SOUS 493242 HAS SOUPS 476087 WITH SCORE 476924.12
AT ITER 48 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 587662 HAS SOUS 490952 HAS SOUPS 473894 WITH SCORE 474731.12
AT ITER 49 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 587754 HAS SOUS 489698 HAS SOUPS 472491 WITH SCORE 473328.12
AT ITER 52 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 587880 HAS SOUS 489650 HAS SOUPS 472448 WITH SCORE 473285.12
AT ITER 54 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 587700 HAS SOUS 489247 HAS SOUPS 472045 WITH SCORE 472882.12
AT ITER 56 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 587196 HAS SOUS 488683 HAS SOUPS 471509 WITH SCORE 472346.12
AT ITER 57 NEW BEST:: SOT 919993 SOS 837120 HAS SOPS 589320 HAS SOUS 485384 HAS SOUPS 468299 WITH SCORE 469136.12
AT ITER 58 NEW BEST:: SOT 920081 SOS 837208 HAS SOPS 589816 HAS SOUS 484868 HAS SOUPS 467716 WITH SCORE 468553.208
AT ITER 60 NEW BEST:: SOT 649857 SOS 566984 HAS SOPS 503620 HAS SOUS 209645 HAS SOUPS 208213 WITH SCORE 208779.984
AT ITER 62 NEW BEST:: SOT 648872 SOS 565999 HAS SOPS 502419 HAS SOUS 206195 HAS SOUPS 204775 WITH SCORE 205340.999
AT ITER 63 NEW BEST:: SOT 650441 SOS 567537 HAS SOPS 503718 HAS SOUS 205903 HAS SOUPS 204483 WITH SCORE 205050.537
AT ITER 64 NEW BEST:: SOT 650386 SOS 567482 HAS SOPS 503663 HAS SOUS 205165 HAS SOUPS 203745 WITH SCORE 204312.482
AT ITER 66 NEW BEST:: SOT 650207 SOS 567303 HAS SOPS 503484 HAS SOUS 204893 HAS SOUPS 203473 WITH SCORE 204040.303
AT ITER 69 NEW BEST:: SOT 648296 SOS 565596 HAS SOPS 501843 HAS SOUS 203702 HAS SOUPS 202282 WITH SCORE 202847.596
AT ITER 71 NEW BEST:: SOT 647076 SOS 564376 HAS SOPS 500623 HAS SOUS 203318 HAS SOUPS 201898 WITH SCORE 202462.376
AT ITER 72 NEW BEST:: SOT 646198 SOS 563498 HAS SOPS 499745 HAS SOUS 203212 HAS SOUPS 201792 WITH SCORE 202355.498
AT ITER 75 NEW BEST:: SOT 645514 SOS 562814 HAS SOPS 499061 HAS SOUS 202304 HAS SOUPS 200884 WITH SCORE 201446.814
AT ITER 76 NEW BEST:: SOT 644562 SOS 561862 HAS SOPS 498109 HAS SOUS 200558 HAS SOUPS 199138 WITH SCORE 199699.862
AT ITER 77 NEW BEST:: SOT 644564 SOS 561864 HAS SOPS 498111 HAS SOUS 200524 HAS SOUPS 199104 WITH SCORE 199665.864
AT ITER 80 NEW BEST:: SOT 646974 SOS 564274 HAS SOPS 500521 HAS SOUS 199625 HAS SOUPS 198205 WITH SCORE 198769.274
AT ITER 82 NEW BEST:: SOT 648783 SOS 566054 HAS SOPS 502654 HAS SOUS 198842 HAS SOUPS 197476 WITH SCORE 198042.054
AT ITER 84 NEW BEST:: SOT 650488 SOS 567513 HAS SOPS 504029 HAS SOUS 198312 HAS SOUPS 196946 WITH SCORE 197513.513
AT ITER 85 NEW BEST:: SOT 650673 SOS 567698 HAS SOPS 504214 HAS SOUS 198260 HAS SOUPS 196894 WITH SCORE 197461.698
AT ITER 87 NEW BEST:: SOT 650088 SOS 567113 HAS SOPS 503629 HAS SOUS 196677 HAS SOUPS 195311 WITH SCORE 195878.113
AT ITER 88 NEW BEST:: SOT 649432 SOS 566457 HAS SOPS 502973 HAS SOUS 195321 HAS SOUPS 193955 WITH SCORE 194521.457
AT ITER 89 NEW BEST:: SOT 649404 SOS 566429 HAS SOPS 502945 HAS SOUS 195286 HAS SOUPS 193920 WITH SCORE 194486.429
AT ITER 93 NEW BEST:: SOT 650055 SOS 567080 HAS SOPS 503596 HAS SOUS 193025 HAS SOUPS 191659 WITH SCORE 192226.08
AT ITER 95 NEW BEST:: SOT 649624 SOS 566649 HAS SOPS 503165 HAS SOUS 191253 HAS SOUPS 189887 WITH SCORE 190453.649
AT ITER 96 NEW BEST:: SOT 648695 SOS 565715 HAS SOPS 502492 HAS SOUS 189954 HAS SOUPS 188620 WITH SCORE 189185.715
AT ITER 100 NEW BEST:: SOT 649153 SOS 566173 HAS SOPS 502950 HAS SOUS 189076 HAS SOUPS 187742 WITH SCORE 188308.173
AT ITER 102 NEW BEST:: SOT 651523 SOS 568543 HAS SOPS 505320 HAS SOUS 189022 HAS SOUPS 187688 WITH SCORE 188256.543
AT ITER 103 NEW BEST:: SOT 651369 SOS 568389 HAS SOPS 505166 HAS SOUS 188902 HAS SOUPS 187568 WITH SCORE 188136.389
AT ITER 105 NEW BEST:: SOT 651208 SOS 568228 HAS SOPS 505005 HAS SOUS 188370 HAS SOUPS 187036 WITH SCORE 187604.228
AT ITER 106 NEW BEST:: SOT 650161 SOS 567181 HAS SOPS 503958 HAS SOUS 187883 HAS SOUPS 186549 WITH SCORE 187116.181
AT ITER 107 NEW BEST:: SOT 648449 SOS 565469 HAS SOPS 502246 HAS SOUS 186177 HAS SOUPS 184843 WITH SCORE 185408.469
AT ITER 110 NEW BEST:: SOT 648439 SOS 565459 HAS SOPS 502236 HAS SOUS 186127 HAS SOUPS 184793 WITH SCORE 185358.459
AT ITER 111 NEW BEST:: SOT 648419 SOS 565439 HAS SOPS 502216 HAS SOUS 186107 HAS SOUPS 184773 WITH SCORE 185338.439
AT ITER 112 NEW BEST:: SOT 649518 SOS 566538 HAS SOPS 503315 HAS SOUS 184704 HAS SOUPS 183370 WITH SCORE 183936.538
AT ITER 113 NEW BEST:: SOT 646976 SOS 563996 HAS SOPS 500701 HAS SOUS 179207 HAS SOUPS 177877 WITH SCORE 178440.996
AT ITER 117 NEW BEST:: SOT 646980 SOS 564000 HAS SOPS 500705 HAS SOUS 179162 HAS SOUPS 177832 WITH SCORE 178396.0
AT ITER 119 NEW BEST:: SOT 646919 SOS 563939 HAS SOPS 500644 HAS SOUS 178776 HAS SOUPS 177446 WITH SCORE 178009.939
AT ITER 120 NEW BEST:: SOT 647119 SOS 564271 HAS SOPS 501510 HAS SOUS 176205 HAS SOUPS 174912 WITH SCORE 175476.271
AT ITER 121 NEW BEST:: SOT 646961 SOS 564113 HAS SOPS 501352 HAS SOUS 176150 HAS SOUPS 174857 WITH SCORE 175421.113
AT ITER 124 NEW BEST:: SOT 646008 SOS 563306 HAS SOPS 500939 HAS SOUS 173615 HAS SOUPS 172357 WITH SCORE 172920.306
AT ITER 125 NEW BEST:: SOT 645973 SOS 563271 HAS SOPS 500904 HAS SOUS 173559 HAS SOUPS 172301 WITH SCORE 172864.271
AT ITER 126 NEW BEST:: SOT 647123 SOS 564421 HAS SOPS 502054 HAS SOUS 173041 HAS SOUPS 171783 WITH SCORE 172347.421
AT ITER 127 NEW BEST:: SOT 645017 SOS 562501 HAS SOPS 500128 HAS SOUS 168673 HAS SOUPS 167466 WITH SCORE 168028.501
AT ITER 128 NEW BEST:: SOT 645152 SOS 562636 HAS SOPS 500263 HAS SOUS 168333 HAS SOUPS 167126 WITH SCORE 167688.636
AT ITER 129 NEW BEST:: SOT 644803 SOS 562287 HAS SOPS 499914 HAS SOUS 168099 HAS SOUPS 166892 WITH SCORE 167454.287
AT ITER 132 NEW BEST:: SOT 645472 SOS 562956 HAS SOPS 500583 HAS SOUS 167746 HAS SOUPS 166539 WITH SCORE 167101.956
AT ITER 137 NEW BEST:: SOT 643866 SOS 561350 HAS SOPS 498977 HAS SOUS 165764 HAS SOUPS 164557 WITH SCORE 165118.35
AT ITER 138 NEW BEST:: SOT 643786 SOS 561270 HAS SOPS 498897 HAS SOUS 165426 HAS SOUPS 164219 WITH SCORE 164780.27
AT ITER 143 NEW BEST:: SOT 641438 SOS 558922 HAS SOPS 496549 HAS SOUS 164584 HAS SOUPS 163377 WITH SCORE 163935.922
AT ITER 144 NEW BEST:: SOT 641511 SOS 558995 HAS SOPS 496622 HAS SOUS 164410 HAS SOUPS 163203 WITH SCORE 163761.995
AT ITER 147 NEW BEST:: SOT 641552 SOS 559036 HAS SOPS 496663 HAS SOUS 164235 HAS SOUPS 163028 WITH SCORE 163587.036
AT ITER 149 NEW BEST:: SOT 641597 SOS 559104 HAS SOPS 496432 HAS SOUS 163341 HAS SOUPS 162134 WITH SCORE 162693.104
AT ITER 155 NEW BEST:: SOT 641591 SOS 559098 HAS SOPS 496426 HAS SOUS 163338 HAS SOUPS 162131 WITH SCORE 162690.098
AT ITER 158 NEW BEST:: SOT 640922 SOS 558054 HAS SOPS 495775 HAS SOUS 162972 HAS SOUPS 161810 WITH SCORE 162368.054
AT ITER 159 NEW BEST:: SOT 640922 SOS 558054 HAS SOPS 495775 HAS SOUS 162897 HAS SOUPS 161735 WITH SCORE 162293.054
AT ITER 160 NEW BEST:: SOT 640780 SOS 557912 HAS SOPS 495633 HAS SOUS 162512 HAS SOUPS 161350 WITH SCORE 161907.912
AT ITER 163 NEW BEST:: SOT 640502 SOS 557634 HAS SOPS 495355 HAS SOUS 161741 HAS SOUPS 160579 WITH SCORE 161136.634
AT ITER 165 NEW BEST:: SOT 641908 SOS 559040 HAS SOPS 496857 HAS SOUS 161636 HAS SOUPS 160482 WITH SCORE 161041.04
AT ITER 167 NEW BEST:: SOT 641985 SOS 559144 HAS SOPS 497438 HAS SOUS 160541 HAS SOUPS 159415 WITH SCORE 159974.144
AT ITER 169 NEW BEST:: SOT 643451 SOS 560610 HAS SOPS 498904 HAS SOUS 160447 HAS SOUPS 159321 WITH SCORE 159881.61
AT ITER 170 NEW BEST:: SOT 643571 SOS 560730 HAS SOPS 499024 HAS SOUS 160219 HAS SOUPS 159093 WITH SCORE 159653.73
AT ITER 173 NEW BEST:: SOT 643415 SOS 560658 HAS SOPS 498868 HAS SOUS 159978 HAS SOUPS 158852 WITH SCORE 159412.658
AT ITER 176 NEW BEST:: SOT 643453 SOS 560696 HAS SOPS 498852 HAS SOUS 159040 HAS SOUPS 157914 WITH SCORE 158474.696
AT ITER 177 NEW BEST:: SOT 643453 SOS 560696 HAS SOPS 498804 HAS SOUS 159047 HAS SOUPS 157913 WITH SCORE 158473.696
AT ITER 178 NEW BEST:: SOT 642778 SOS 560021 HAS SOPS 498129 HAS SOUS 155978 HAS SOUPS 154844 WITH SCORE 155404.021
AT ITER 182 NEW BEST:: SOT 643112 SOS 560575 HAS SOPS 498463 HAS SOUS 154775 HAS SOUPS 153641 WITH SCORE 154201.575
AT ITER 183 NEW BEST:: SOT 641760 SOS 559223 HAS SOPS 497111 HAS SOUS 154065 HAS SOUPS 152931 WITH SCORE 153490.223
AT ITER 187 NEW BEST:: SOT 642306 SOS 559769 HAS SOPS 497657 HAS SOUS 153852 HAS SOUPS 152718 WITH SCORE 153277.769
AT ITER 195 NEW BEST:: SOT 642244 SOS 559707 HAS SOPS 497595 HAS SOUS 153048 HAS SOUPS 151914 WITH SCORE 152473.707
AT ITER 197 NEW BEST:: SOT 643790 SOS 561253 HAS SOPS 499141 HAS SOUS 151176 HAS SOUPS 150042 WITH SCORE 150603.253
AT ITER 201 NEW BEST:: SOT 643897 SOS 561360 HAS SOPS 499248 HAS SOUS 149854 HAS SOUPS 148720 WITH SCORE 149281.36
AT ITER 203 NEW BEST:: SOT 643897 SOS 561393 HAS SOPS 499248 HAS SOUS 149792 HAS SOUPS 148658 WITH SCORE 149219.393
AT ITER 204 NEW BEST:: SOT 642233 SOS 559729 HAS SOPS 497584 HAS SOUS 148953 HAS SOUPS 147819 WITH SCORE 148378.729
AT ITER 208 NEW BEST:: SOT 643998 SOS 561494 HAS SOPS 499349 HAS SOUS 148531 HAS SOUPS 147397 WITH SCORE 147958.494
AT ITER 209 NEW BEST:: SOT 643800 SOS 561296 HAS SOPS 499151 HAS SOUS 147488 HAS SOUPS 146354 WITH SCORE 146915.296
AT ITER 212 NEW BEST:: SOT 643373 SOS 560869 HAS SOPS 498724 HAS SOUS 147137 HAS SOUPS 146003 WITH SCORE 146563.869
AT ITER 215 NEW BEST:: SOT 643325 SOS 560821 HAS SOPS 498676 HAS SOUS 146799 HAS SOUPS 145665 WITH SCORE 146225.821
AT ITER 218 NEW BEST:: SOT 643081 SOS 560577 HAS SOPS 498114 HAS SOUS 146493 HAS SOUPS 145359 WITH SCORE 145919.577
AT ITER 226 NEW BEST:: SOT 642798 SOS 560282 HAS SOPS 497669 HAS SOUS 146322 HAS SOUPS 145188 WITH SCORE 145748.282
AT ITER 230 NEW BEST:: SOT 642188 SOS 559672 HAS SOPS 497059 HAS SOUS 145945 HAS SOUPS 144811 WITH SCORE 145370.672
AT ITER 236 NEW BEST:: SOT 641210 SOS 558694 HAS SOPS 496081 HAS SOUS 145455 HAS SOUPS 144321 WITH SCORE 144879.694
AT ITER 237 NEW BEST:: SOT 641961 SOS 559424 HAS SOPS 496364 HAS SOUS 145430 HAS SOUPS 144296 WITH SCORE 144855.424
AT ITER 243 NEW BEST:: SOT 639060 SOS 556523 HAS SOPS 493463 HAS SOUS 144746 HAS SOUPS 143612 WITH SCORE 144168.523
AT ITER 245 NEW BEST:: SOT 639060 SOS 556523 HAS SOPS 493601 HAS SOUS 144745 HAS SOUPS 143611 WITH SCORE 144167.523
AT ITER 246 NEW BEST:: SOT 639060 SOS 556523 HAS SOPS 493403 HAS SOUS 144534 HAS SOUPS 143411 WITH SCORE 143967.523
AT ITER 252 NEW BEST:: SOT 639082 SOS 556545 HAS SOPS 493425 HAS SOUS 144530 HAS SOUPS 143407 WITH SCORE 143963.545
AT ITER 253 NEW BEST:: SOT 639371 SOS 556834 HAS SOPS 494092 HAS SOUS 144493 HAS SOUPS 143370 WITH SCORE 143926.834
AT ITER 257 NEW BEST:: SOT 638785 SOS 556248 HAS SOPS 493560 HAS SOUS 143208 HAS SOUPS 142088 WITH SCORE 142644.248
AT ITER 259 NEW BEST:: SOT 639555 SOS 557018 HAS SOPS 494810 HAS SOUS 142862 HAS SOUPS 141762 WITH SCORE 142319.018
AT ITER 261 NEW BEST:: SOT 638987 SOS 556548 HAS SOPS 494242 HAS SOUS 142119 HAS SOUPS 141019 WITH SCORE 141575.548
AT ITER 266 NEW BEST:: SOT 638614 SOS 556175 HAS SOPS 493869 HAS SOUS 141755 HAS SOUPS 140655 WITH SCORE 141211.175
AT ITER 274 NEW BEST:: SOT 636761 SOS 554322 HAS SOPS 492016 HAS SOUS 139992 HAS SOUPS 138892 WITH SCORE 139446.322
AT ITER 278 NEW BEST:: SOT 636701 SOS 554141 HAS SOPS 491956 HAS SOUS 139410 HAS SOUPS 138348 WITH SCORE 138902.141
AT ITER 279 NEW BEST:: SOT 637079 SOS 554519 HAS SOPS 492334 HAS SOUS 139333 HAS SOUPS 138271 WITH SCORE 138825.519
AT ITER 284 NEW BEST:: SOT 637056 SOS 554496 HAS SOPS 492311 HAS SOUS 139286 HAS SOUPS 138224 WITH SCORE 138778.496
AT ITER 286 NEW BEST:: SOT 637039 SOS 554479 HAS SOPS 492294 HAS SOUS 138569 HAS SOUPS 137525 WITH SCORE 138079.479
AT ITER 288 NEW BEST:: SOT 639248 SOS 556688 HAS SOPS 494503 HAS SOUS 138435 HAS SOUPS 137391 WITH SCORE 137947.688
AT ITER 290 NEW BEST:: SOT 639470 SOS 556910 HAS SOPS 494725 HAS SOUS 138031 HAS SOUPS 136987 WITH SCORE 137543.91
AT ITER 293 NEW BEST:: SOT 638851 SOS 556291 HAS SOPS 494106 HAS SOUS 137439 HAS SOUPS 136395 WITH SCORE 136951.291
AT ITER 295 NEW BEST:: SOT 638452 SOS 555892 HAS SOPS 493707 HAS SOUS 137192 HAS SOUPS 136148 WITH SCORE 136703.892
AT ITER 305 NEW BEST:: SOT 638258 SOS 555698 HAS SOPS 493513 HAS SOUS 137154 HAS SOUPS 136110 WITH SCORE 136665.698
AT ITER 308 NEW BEST:: SOT 637389 SOS 554829 HAS SOPS 492644 HAS SOUS 136114 HAS SOUPS 135070 WITH SCORE 135624.829
AT ITER 310 NEW BEST:: SOT 636743 SOS 554183 HAS SOPS 491998 HAS SOUS 134872 HAS SOUPS 133828 WITH SCORE 134382.183
AT ITER 317 NEW BEST:: SOT 635698 SOS 553138 HAS SOPS 490953 HAS SOUS 134227 HAS SOUPS 133183 WITH SCORE 133736.138
AT ITER 319 NEW BEST:: SOT 636787 SOS 554227 HAS SOPS 492042 HAS SOUS 133963 HAS SOUPS 132919 WITH SCORE 133473.227
AT ITER 322 NEW BEST:: SOT 635367 SOS 552807 HAS SOPS 490622 HAS SOUS 133482 HAS SOUPS 132438 WITH SCORE 132990.807
AT ITER 324 NEW BEST:: SOT 634996 SOS 552436 HAS SOPS 490251 HAS SOUS 133336 HAS SOUPS 132292 WITH SCORE 132844.436
AT ITER 331 NEW BEST:: SOT 635192 SOS 552632 HAS SOPS 490447 HAS SOUS 133245 HAS SOUPS 132201 WITH SCORE 132753.632
AT ITER 338 NEW BEST:: SOT 636367 SOS 553807 HAS SOPS 491618 HAS SOUS 132505 HAS SOUPS 131461 WITH SCORE 132014.807
AT ITER 342 NEW BEST:: SOT 636129 SOS 553569 HAS SOPS 491380 HAS SOUS 132505 HAS SOUPS 131461 WITH SCORE 132014.569
AT ITER 345 NEW BEST:: SOT 636278 SOS 553718 HAS SOPS 491529 HAS SOUS 132131 HAS SOUPS 131087 WITH SCORE 131640.718
AT ITER 349 NEW BEST:: SOT 636219 SOS 553659 HAS SOPS 491470 HAS SOUS 132041 HAS SOUPS 130997 WITH SCORE 131550.659
AT ITER 360 NEW BEST:: SOT 635017 SOS 552457 HAS SOPS 490214 HAS SOUS 131475 HAS SOUPS 130431 WITH SCORE 130983.457
AT ITER 369 NEW BEST:: SOT 635901 SOS 553341 HAS SOPS 491098 HAS SOUS 131280 HAS SOUPS 130236 WITH SCORE 130789.341
AT ITER 373 NEW BEST:: SOT 633707 SOS 551460 HAS SOPS 489234 HAS SOUS 129869 HAS SOUPS 128825 WITH SCORE 129376.46
AT ITER 380 NEW BEST:: SOT 633750 SOS 551256 HAS SOPS 489559 HAS SOUS 129587 HAS SOUPS 128590 WITH SCORE 129141.256
AT ITER 381 NEW BEST:: SOT 633622 SOS 551128 HAS SOPS 489431 HAS SOUS 129567 HAS SOUPS 128570 WITH SCORE 129121.128
AT ITER 384 NEW BEST:: SOT 633716 SOS 551222 HAS SOPS 489525 HAS SOUS 129559 HAS SOUPS 128562 WITH SCORE 129113.222
AT ITER 385 NEW BEST:: SOT 632653 SOS 550159 HAS SOPS 488462 HAS SOUS 129258 HAS SOUPS 128261 WITH SCORE 128811.159
AT ITER 388 NEW BEST:: SOT 633739 SOS 551245 HAS SOPS 489548 HAS SOUS 129245 HAS SOUPS 128248 WITH SCORE 128799.245
AT ITER 390 NEW BEST:: SOT 631795 SOS 548837 HAS SOPS 486704 HAS SOUS 128145 HAS SOUPS 127148 WITH SCORE 127696.837
AT ITER 397 NEW BEST:: SOT 631872 SOS 548914 HAS SOPS 486781 HAS SOUS 128081 HAS SOUPS 127084 WITH SCORE 127632.914
AT ITER 399 NEW BEST:: SOT 631527 SOS 548569 HAS SOPS 486436 HAS SOUS 127861 HAS SOUPS 126864 WITH SCORE 127412.569
AT ITER 400 NEW BEST:: SOT 631952 SOS 548994 HAS SOPS 486861 HAS SOUS 127056 HAS SOUPS 126059 WITH SCORE 126607.994
AT ITER 402 NEW BEST:: SOT 631969 SOS 549011 HAS SOPS 486878 HAS SOUS 126225 HAS SOUPS 125228 WITH SCORE 125777.011
AT ITER 403 NEW BEST:: SOT 631418 SOS 548523 HAS SOPS 486879 HAS SOUS 124247 HAS SOUPS 123296 WITH SCORE 123844.523
AT ITER 404 NEW BEST:: SOT 631020 SOS 548125 HAS SOPS 486481 HAS SOUS 123657 HAS SOUPS 122706 WITH SCORE 123254.125
AT ITER 409 NEW BEST:: SOT 631122 SOS 548227 HAS SOPS 486583 HAS SOUS 123512 HAS SOUPS 122561 WITH SCORE 123109.227
AT ITER 413 NEW BEST:: SOT 633289 SOS 550394 HAS SOPS 488840 HAS SOUS 122977 HAS SOUPS 122041 WITH SCORE 122591.394
AT ITER 416 NEW BEST:: SOT 633001 SOS 550106 HAS SOPS 488552 HAS SOUS 122783 HAS SOUPS 121847 WITH SCORE 122397.106
AT ITER 425 NEW BEST:: SOT 634005 SOS 551110 HAS SOPS 489556 HAS SOUS 122063 HAS SOUPS 121127 WITH SCORE 121678.11
AT ITER 427 NEW BEST:: SOT 634257 SOS 551237 HAS SOPS 490516 HAS SOUS 121912 HAS SOUPS 121025 WITH SCORE 121576.237
AT ITER 436 NEW BEST:: SOT 633811 SOS 551061 HAS SOPS 490658 HAS SOUS 121583 HAS SOUPS 120696 WITH SCORE 121247.061
AT ITER 441 NEW BEST:: SOT 633721 SOS 550971 HAS SOPS 490568 HAS SOUS 121451 HAS SOUPS 120564 WITH SCORE 121114.971
AT ITER 444 NEW BEST:: SOT 633555 SOS 550805 HAS SOPS 490402 HAS SOUS 121181 HAS SOUPS 120294 WITH SCORE 120844.805
AT ITER 449 NEW BEST:: SOT 633726 SOS 550976 HAS SOPS 490573 HAS SOUS 120647 HAS SOUPS 119760 WITH SCORE 120310.976
AT ITER 450 NEW BEST:: SOT 633380 SOS 550685 HAS SOPS 491397 HAS SOUS 119846 HAS SOUPS 119007 WITH SCORE 119557.685
AT ITER 453 NEW BEST:: SOT 633798 SOS 551103 HAS SOPS 491617 HAS SOUS 119525 HAS SOUPS 118686 WITH SCORE 119237.103
AT ITER 454 NEW BEST:: SOT 635113 SOS 552242 HAS SOPS 493178 HAS SOUS 117915 HAS SOUPS 117117 WITH SCORE 117669.242
AT ITER 455 NEW BEST:: SOT 635234 SOS 552363 HAS SOPS 493299 HAS SOUS 117814 HAS SOUPS 117016 WITH SCORE 117568.363
AT ITER 456 NEW BEST:: SOT 635094 SOS 552223 HAS SOPS 493159 HAS SOUS 117620 HAS SOUPS 116822 WITH SCORE 117374.223
AT ITER 457 NEW BEST:: SOT 634859 SOS 551988 HAS SOPS 492924 HAS SOUS 117514 HAS SOUPS 116716 WITH SCORE 117267.988
AT ITER 459 NEW BEST:: SOT 634333 SOS 551462 HAS SOPS 492398 HAS SOUS 116841 HAS SOUPS 116043 WITH SCORE 116594.462
AT ITER 463 NEW BEST:: SOT 638270 SOS 555399 HAS SOPS 496431 HAS SOUS 115660 HAS SOUPS 114878 WITH SCORE 115433.399
AT ITER 464 NEW BEST:: SOT 638279 SOS 555256 HAS SOPS 495792 HAS SOUS 114369 HAS SOUPS 113587 WITH SCORE 114142.256
AT ITER 467 NEW BEST:: SOT 637634 SOS 554611 HAS SOPS 495147 HAS SOUS 114276 HAS SOUPS 113494 WITH SCORE 114048.611
AT ITER 468 NEW BEST:: SOT 638400 SOS 555377 HAS SOPS 495913 HAS SOUS 114274 HAS SOUPS 113492 WITH SCORE 114047.377
AT ITER 470 NEW BEST:: SOT 636176 SOS 553153 HAS SOPS 493689 HAS SOUS 113275 HAS SOUPS 112493 WITH SCORE 113046.153
AT ITER 473 NEW BEST:: SOT 634558 SOS 551535 HAS SOPS 492071 HAS SOUS 113106 HAS SOUPS 112324 WITH SCORE 112875.535
AT ITER 475 NEW BEST:: SOT 634558 SOS 531913 HAS SOPS 492278 HAS SOUS 113097 HAS SOUPS 112324 WITH SCORE 112855.913
AT ITER 477 NEW BEST:: SOT 634498 SOS 531853 HAS SOPS 492218 HAS SOUS 112995 HAS SOUPS 112222 WITH SCORE 112753.853
AT ITER 483 NEW BEST:: SOT 634498 SOS 532164 HAS SOPS 492848 HAS SOUS 112919 HAS SOUPS 112166 WITH SCORE 112698.164
AT ITER 485 NEW BEST:: SOT 633987 SOS 531653 HAS SOPS 492337 HAS SOUS 112026 HAS SOUPS 111273 WITH SCORE 111804.653
AT ITER 486 NEW BEST:: SOT 634069 SOS 531735 HAS SOPS 492419 HAS SOUS 111928 HAS SOUPS 111175 WITH SCORE 111706.735
AT ITER 487 NEW BEST:: SOT 633707 SOS 531373 HAS SOPS 492057 HAS SOUS 111579 HAS SOUPS 110826 WITH SCORE 111357.373
AT ITER 489 NEW BEST:: SOT 633851 SOS 531894 HAS SOPS 493461 HAS SOUS 111458 HAS SOUPS 110740 WITH SCORE 111271.894
AT ITER 493 NEW BEST:: SOT 633841 SOS 531884 HAS SOPS 493451 HAS SOUS 111440 HAS SOUPS 110722 WITH SCORE 111253.884
AT ITER 503 NEW BEST:: SOT 632182 SOS 530225 HAS SOPS 491792 HAS SOUS 111145 HAS SOUPS 110427 WITH SCORE 110957.225
AT ITER 505 NEW BEST:: SOT 631849 SOS 529892 HAS SOPS 491459 HAS SOUS 111039 HAS SOUPS 110321 WITH SCORE 110850.892
AT ITER 506 NEW BEST:: SOT 631461 SOS 529504 HAS SOPS 491071 HAS SOUS 110951 HAS SOUPS 110233 WITH SCORE 110762.504
AT ITER 509 NEW BEST:: SOT 631328 SOS 529371 HAS SOPS 490938 HAS SOUS 110743 HAS SOUPS 110025 WITH SCORE 110554.371
AT ITER 510 NEW BEST:: SOT 631319 SOS 529362 HAS SOPS 490929 HAS SOUS 110698 HAS SOUPS 109980 WITH SCORE 110509.362
AT ITER 511 NEW BEST:: SOT 631430 SOS 529847 HAS SOPS 491688 HAS SOUS 110619 HAS SOUPS 109901 WITH SCORE 110430.847
AT ITER 515 NEW BEST:: SOT 633455 SOS 531872 HAS SOPS 493713 HAS SOUS 110344 HAS SOUPS 109626 WITH SCORE 110157.872
AT ITER 523 NEW BEST:: SOT 633543 SOS 531960 HAS SOPS 493801 HAS SOUS 110295 HAS SOUPS 109577 WITH SCORE 110108.96
AT ITER 534 NEW BEST:: SOT 632935 SOS 531352 HAS SOPS 493193 HAS SOUS 109667 HAS SOUPS 108949 WITH SCORE 109480.352
AT ITER 537 NEW BEST:: SOT 632984 SOS 531743 HAS SOPS 493926 HAS SOUS 109660 HAS SOUPS 108942 WITH SCORE 109473.743
AT ITER 540 NEW BEST:: SOT 632850 SOS 531609 HAS SOPS 493792 HAS SOUS 109529 HAS SOUPS 108811 WITH SCORE 109342.609
AT ITER 543 NEW BEST:: SOT 632604 SOS 531363 HAS SOPS 493546 HAS SOUS 109367 HAS SOUPS 108649 WITH SCORE 109180.363
AT ITER 545 NEW BEST:: SOT 632532 SOS 531291 HAS SOPS 493474 HAS SOUS 109279 HAS SOUPS 108561 WITH SCORE 109092.291
AT ITER 550 NEW BEST:: SOT 632540 SOS 531299 HAS SOPS 493482 HAS SOUS 109255 HAS SOUPS 108537 WITH SCORE 109068.299
AT ITER 553 NEW BEST:: SOT 631889 SOS 530648 HAS SOPS 492831 HAS SOUS 109031 HAS SOUPS 108313 WITH SCORE 108843.648
AT ITER 554 NEW BEST:: SOT 632911 SOS 531670 HAS SOPS 493853 HAS SOUS 108746 HAS SOUPS 108028 WITH SCORE 108559.67
AT ITER 557 NEW BEST:: SOT 633498 SOS 532257 HAS SOPS 494440 HAS SOUS 108534 HAS SOUPS 107816 WITH SCORE 108348.257
AT ITER 562 NEW BEST:: SOT 633398 SOS 532157 HAS SOPS 494340 HAS SOUS 108103 HAS SOUPS 107385 WITH SCORE 107917.157
AT ITER 565 NEW BEST:: SOT 633398 SOS 532109 HAS SOPS 495276 HAS SOUS 108041 HAS SOUPS 107375 WITH SCORE 107907.109
AT ITER 568 NEW BEST:: SOT 632768 SOS 531479 HAS SOPS 494646 HAS SOUS 107615 HAS SOUPS 106949 WITH SCORE 107480.479
AT ITER 571 NEW BEST:: SOT 631417 SOS 530128 HAS SOPS 493287 HAS SOUS 107325 HAS SOUPS 106659 WITH SCORE 107189.128
AT ITER 573 NEW BEST:: SOT 630954 SOS 529665 HAS SOPS 492824 HAS SOUS 106394 HAS SOUPS 105728 WITH SCORE 106257.665
AT ITER 578 NEW BEST:: SOT 631134 SOS 529845 HAS SOPS 493004 HAS SOUS 106295 HAS SOUPS 105629 WITH SCORE 106158.845
AT ITER 581 NEW BEST:: SOT 630372 SOS 529083 HAS SOPS 492242 HAS SOUS 105932 HAS SOUPS 105266 WITH SCORE 105795.083
AT ITER 585 NEW BEST:: SOT 630302 SOS 529013 HAS SOPS 492172 HAS SOUS 105799 HAS SOUPS 105133 WITH SCORE 105662.013
AT ITER 590 NEW BEST:: SOT 630281 SOS 528992 HAS SOPS 492151 HAS SOUS 105715 HAS SOUPS 105049 WITH SCORE 105577.992
AT ITER 597 NEW BEST:: SOT 630277 SOS 528988 HAS SOPS 492147 HAS SOUS 105711 HAS SOUPS 105045 WITH SCORE 105573.988
AT ITER 598 NEW BEST:: SOT 630067 SOS 528778 HAS SOPS 491937 HAS SOUS 105485 HAS SOUPS 104819 WITH SCORE 105347.778
AT ITER 600 NEW BEST:: SOT 631701 SOS 530542 HAS SOPS 494195 HAS SOUS 105374 HAS SOUPS 104734 WITH SCORE 105264.542
AT ITER 601 NEW BEST:: SOT 631701 SOS 530548 HAS SOPS 494195 HAS SOUS 105313 HAS SOUPS 104673 WITH SCORE 105203.548
AT ITER 605 NEW BEST:: SOT 629944 SOS 528791 HAS SOPS 492438 HAS SOUS 104218 HAS SOUPS 103578 WITH SCORE 104106.791
AT ITER 610 NEW BEST:: SOT 629549 SOS 528396 HAS SOPS 492043 HAS SOUS 104120 HAS SOUPS 103480 WITH SCORE 104008.396
AT ITER 618 NEW BEST:: SOT 630533 SOS 529380 HAS SOPS 493027 HAS SOUS 103791 HAS SOUPS 103151 WITH SCORE 103680.38
AT ITER 631 NEW BEST:: SOT 630565 SOS 529412 HAS SOPS 493059 HAS SOUS 103727 HAS SOUPS 103087 WITH SCORE 103616.412
AT ITER 632 NEW BEST:: SOT 630558 SOS 529405 HAS SOPS 493052 HAS SOUS 103680 HAS SOUPS 103040 WITH SCORE 103569.405
AT ITER 633 NEW BEST:: SOT 630558 SOS 529469 HAS SOPS 493112 HAS SOUS 103678 HAS SOUPS 103038 WITH SCORE 103567.469
AT ITER 637 NEW BEST:: SOT 630343 SOS 529254 HAS SOPS 492897 HAS SOUS 103344 HAS SOUPS 102704 WITH SCORE 103233.254
AT ITER 650 NEW BEST:: SOT 629536 SOS 528447 HAS SOPS 492090 HAS SOUS 102434 HAS SOUPS 101794 WITH SCORE 102322.447
AT ITER 654 NEW BEST:: SOT 629829 SOS 528740 HAS SOPS 492383 HAS SOUS 102323 HAS SOUPS 101683 WITH SCORE 102211.74
AT ITER 659 NEW BEST:: SOT 628544 SOS 527893 HAS SOPS 491080 HAS SOUS 101970 HAS SOUPS 101285 WITH SCORE 101812.893
AT ITER 671 NEW BEST:: SOT 629164 SOS 528513 HAS SOPS 491700 HAS SOUS 101801 HAS SOUPS 101116 WITH SCORE 101644.513
AT ITER 675 NEW BEST:: SOT 628069 SOS 527418 HAS SOPS 490605 HAS SOUS 101608 HAS SOUPS 100923 WITH SCORE 101450.418
AT ITER 677 NEW BEST:: SOT 628114 SOS 527463 HAS SOPS 490650 HAS SOUS 101519 HAS SOUPS 100834 WITH SCORE 101361.463
AT ITER 680 NEW BEST:: SOT 627987 SOS 527336 HAS SOPS 490523 HAS SOUS 101482 HAS SOUPS 100797 WITH SCORE 101324.336
AT ITER 684 NEW BEST:: SOT 628714 SOS 528063 HAS SOPS 491250 HAS SOUS 100951 HAS SOUPS 100266 WITH SCORE 100794.063
AT ITER 685 NEW BEST:: SOT 628787 SOS 528136 HAS SOPS 491323 HAS SOUS 100913 HAS SOUPS 100228 WITH SCORE 100756.136
AT ITER 689 NEW BEST:: SOT 628678 SOS 528027 HAS SOPS 491214 HAS SOUS 100789 HAS SOUPS 100104 WITH SCORE 100632.027
AT ITER 692 NEW BEST:: SOT 628622 SOS 527516 HAS SOPS 490246 HAS SOUS 100695 HAS SOUPS 100010 WITH SCORE 100537.516
AT ITER 702 NEW BEST:: SOT 628776 SOS 527670 HAS SOPS 490400 HAS SOUS 100587 HAS SOUPS 99902 WITH SCORE 100429.67
AT ITER 713 NEW BEST:: SOT 628777 SOS 527671 HAS SOPS 490401 HAS SOUS 100429 HAS SOUPS 99744 WITH SCORE 100271.671
AT ITER 716 NEW BEST:: SOT 628671 SOS 527565 HAS SOPS 490295 HAS SOUS 100226 HAS SOUPS 99541 WITH SCORE 100068.565
AT ITER 722 NEW BEST:: SOT 628587 SOS 527481 HAS SOPS 490211 HAS SOUS 100132 HAS SOUPS 99447 WITH SCORE 99974.481
AT ITER 729 NEW BEST:: SOT 628417 SOS 527311 HAS SOPS 490041 HAS SOUS 100126 HAS SOUPS 99441 WITH SCORE 99968.311
AT ITER 732 NEW BEST:: SOT 628855 SOS 527749 HAS SOPS 490479 HAS SOUS 99822 HAS SOUPS 99137 WITH SCORE 99664.749
AT ITER 734 NEW BEST:: SOT 628810 SOS 527704 HAS SOPS 490434 HAS SOUS 99806 HAS SOUPS 99121 WITH SCORE 99648.704
AT ITER 735 NEW BEST:: SOT 628823 SOS 527717 HAS SOPS 490447 HAS SOUS 99370 HAS SOUPS 98685 WITH SCORE 99212.717
AT ITER 740 NEW BEST:: SOT 628717 SOS 527254 HAS SOPS 489621 HAS SOUS 99150 HAS SOUPS 98465 WITH SCORE 98992.254
AT ITER 742 NEW BEST:: SOT 628466 SOS 527003 HAS SOPS 489370 HAS SOUS 98824 HAS SOUPS 98139 WITH SCORE 98666.003
AT ITER 745 NEW BEST:: SOT 628529 SOS 527066 HAS SOPS 489433 HAS SOUS 98796 HAS SOUPS 98111 WITH SCORE 98638.066
AT ITER 758 NEW BEST:: SOT 628533 SOS 527070 HAS SOPS 489437 HAS SOUS 98776 HAS SOUPS 98091 WITH SCORE 98618.07
AT ITER 760 NEW BEST:: SOT 628047 SOS 526584 HAS SOPS 488951 HAS SOUS 98220 HAS SOUPS 97535 WITH SCORE 98061.584
AT ITER 762 NEW BEST:: SOT 628023 SOS 526560 HAS SOPS 488927 HAS SOUS 98186 HAS SOUPS 97501 WITH SCORE 98027.56
AT ITER 768 NEW BEST:: SOT 628023 SOS 526608 HAS SOPS 489023 HAS SOUS 98142 HAS SOUPS 97461 WITH SCORE 97987.608
AT ITER 771 NEW BEST:: SOT 627911 SOS 526496 HAS SOPS 488911 HAS SOUS 97895 HAS SOUPS 97214 WITH SCORE 97740.496
AT ITER 778 NEW BEST:: SOT 628471 SOS 527120 HAS SOPS 490245 HAS SOUS 97773 HAS SOUPS 97137 WITH SCORE 97664.12
AT ITER 783 NEW BEST:: SOT 628336 SOS 526985 HAS SOPS 490110 HAS SOUS 97615 HAS SOUPS 96979 WITH SCORE 97505.985
AT ITER 785 NEW BEST:: SOT 629285 SOS 527772 HAS SOPS 491275 HAS SOUS 96797 HAS SOUPS 96197 WITH SCORE 96724.772
AT ITER 787 NEW BEST:: SOT 629289 SOS 527776 HAS SOPS 491279 HAS SOUS 96794 HAS SOUPS 96194 WITH SCORE 96721.776
AT ITER 790 NEW BEST:: SOT 629025 SOS 527542 HAS SOPS 490967 HAS SOUS 96576 HAS SOUPS 95976 WITH SCORE 96503.542
AT ITER 799 NEW BEST:: SOT 630093 SOS 528678 HAS SOPS 492629 HAS SOUS 96284 HAS SOUPS 95717 WITH SCORE 96245.678
AT ITER 807 NEW BEST:: SOT 630779 SOS 529364 HAS SOPS 493315 HAS SOUS 96241 HAS SOUPS 95674 WITH SCORE 96203.364
AT ITER 808 NEW BEST:: SOT 630329 SOS 528914 HAS SOPS 492865 HAS SOUS 96116 HAS SOUPS 95549 WITH SCORE 96077.914
AT ITER 810 NEW BEST:: SOT 630329 SOS 529134 HAS SOPS 493081 HAS SOUS 96114 HAS SOUPS 95547 WITH SCORE 96076.134
AT ITER 824 NEW BEST:: SOT 630491 SOS 529296 HAS SOPS 493243 HAS SOUS 95792 HAS SOUPS 95225 WITH SCORE 95754.296
AT ITER 831 NEW BEST:: SOT 630255 SOS 529060 HAS SOPS 493007 HAS SOUS 95574 HAS SOUPS 95007 WITH SCORE 95536.06
AT ITER 836 NEW BEST:: SOT 630229 SOS 528758 HAS SOPS 492297 HAS SOUS 95406 HAS SOUPS 94839 WITH SCORE 95367.758
AT ITER 838 NEW BEST:: SOT 629794 SOS 528323 HAS SOPS 491862 HAS SOUS 95078 HAS SOUPS 94511 WITH SCORE 95039.323
AT ITER 839 NEW BEST:: SOT 630027 SOS 528556 HAS SOPS 492041 HAS SOUS 94658 HAS SOUPS 94091 WITH SCORE 94619.556
AT ITER 841 NEW BEST:: SOT 630086 SOS 528615 HAS SOPS 492100 HAS SOUS 94439 HAS SOUPS 93872 WITH SCORE 94400.615
AT ITER 849 NEW BEST:: SOT 630104 SOS 528801 HAS SOPS 492838 HAS SOUS 94277 HAS SOUPS 93740 WITH SCORE 94268.801
AT ITER 864 NEW BEST:: SOT 628998 SOS 527695 HAS SOPS 491732 HAS SOUS 93059 HAS SOUPS 92522 WITH SCORE 93049.695
AT ITER 866 NEW BEST:: SOT 628720 SOS 527417 HAS SOPS 491454 HAS SOUS 92757 HAS SOUPS 92220 WITH SCORE 92747.417
AT ITER 870 NEW BEST:: SOT 628807 SOS 527504 HAS SOPS 491541 HAS SOUS 92612 HAS SOUPS 92075 WITH SCORE 92602.504
AT ITER 873 NEW BEST:: SOT 628542 SOS 527239 HAS SOPS 491276 HAS SOUS 92428 HAS SOUPS 91891 WITH SCORE 92418.239
AT ITER 874 NEW BEST:: SOT 628249 SOS 526946 HAS SOPS 490983 HAS SOUS 92209 HAS SOUPS 91672 WITH SCORE 92198.946
AT ITER 880 NEW BEST:: SOT 628281 SOS 526978 HAS SOPS 491015 HAS SOUS 91990 HAS SOUPS 91453 WITH SCORE 91979.978
AT ITER 883 NEW BEST:: SOT 628593 SOS 527290 HAS SOPS 491327 HAS SOUS 91709 HAS SOUPS 91172 WITH SCORE 91699.29
AT ITER 904 NEW BEST:: SOT 628503 SOS 527140 HAS SOPS 490895 HAS SOUS 91651 HAS SOUPS 91114 WITH SCORE 91641.14
AT ITER 907 NEW BEST:: SOT 628256 SOS 526893 HAS SOPS 490648 HAS SOUS 91516 HAS SOUPS 90979 WITH SCORE 91505.893
AT ITER 917 NEW BEST:: SOT 628256 SOS 527009 HAS SOPS 490774 HAS SOUS 91514 HAS SOUPS 90977 WITH SCORE 91504.009
AT ITER 918 NEW BEST:: SOT 627977 SOS 526730 HAS SOPS 490495 HAS SOUS 91462 HAS SOUPS 90925 WITH SCORE 91451.73
AT ITER 927 NEW BEST:: SOT 627977 SOS 527186 HAS SOPS 491143 HAS SOUS 91396 HAS SOUPS 90859 WITH SCORE 91386.186
AT ITER 929 NEW BEST:: SOT 626828 SOS 526035 HAS SOPS 489598 HAS SOUS 91005 HAS SOUPS 90450 WITH SCORE 90976.035
AT ITER 939 NEW BEST:: SOT 626368 SOS 525575 HAS SOPS 489138 HAS SOUS 90565 HAS SOUPS 90010 WITH SCORE 90535.575
AT ITER 958 NEW BEST:: SOT 626220 SOS 525427 HAS SOPS 488990 HAS SOUS 90451 HAS SOUPS 89896 WITH SCORE 90421.427
AT ITER 959 NEW BEST:: SOT 627093 SOS 526300 HAS SOPS 489863 HAS SOUS 90339 HAS SOUPS 89784 WITH SCORE 90310.3
AT ITER 986 NEW BEST:: SOT 627118 SOS 526325 HAS SOPS 489888 HAS SOUS 90000 HAS SOUPS 89445 WITH SCORE 89971.325
AT ITER 988 NEW BEST:: SOT 627194 SOS 526401 HAS SOPS 489964 HAS SOUS 89717 HAS SOUPS 89162 WITH SCORE 89688.401
AT ITER 989 NEW BEST:: SOT 626674 SOS 526256 HAS SOPS 490056 HAS SOUS 89395 HAS SOUPS 88840 WITH SCORE 89366.256
AT ITER 994 NEW BEST:: SOT 626570 SOS 525917 HAS SOPS 488884 HAS SOUS 89137 HAS SOUPS 88545 WITH SCORE 89070.917
AT ITER 1001 NEW BEST:: SOT 626570 SOS 525572 HAS SOPS 489202 HAS SOUS 88938 HAS SOUPS 88399 WITH SCORE 88924.572
AT ITER 1002 NEW BEST:: SOT 626483 SOS 525485 HAS SOPS 489115 HAS SOUS 88477 HAS SOUPS 87938 WITH SCORE 88463.485
AT ITER 1006 NEW BEST:: SOT 626483 SOS 525887 HAS SOPS 489115 HAS SOUS 88491 HAS SOUPS 87922 WITH SCORE 88447.887
AT ITER 1008 NEW BEST:: SOT 626433 SOS 525837 HAS SOPS 489065 HAS SOUS 88035 HAS SOUPS 87466 WITH SCORE 87991.837
AT ITER 1024 NEW BEST:: SOT 626433 SOS 525811 HAS SOPS 489077 HAS SOUS 88002 HAS SOUPS 87437 WITH SCORE 87962.811
AT ITER 1026 NEW BEST:: SOT 626562 SOS 525985 HAS SOPS 489206 HAS SOUS 87902 HAS SOUPS 87337 WITH SCORE 87862.985
AT ITER 1028 NEW BEST:: SOT 626538 SOS 525961 HAS SOPS 489182 HAS SOUS 87850 HAS SOUPS 87285 WITH SCORE 87810.961
AT ITER 1031 NEW BEST:: SOT 626550 SOS 525973 HAS SOPS 489194 HAS SOUS 87828 HAS SOUPS 87263 WITH SCORE 87788.973
AT ITER 1032 NEW BEST:: SOT 626725 SOS 526148 HAS SOPS 489369 HAS SOUS 87531 HAS SOUPS 86966 WITH SCORE 87492.148
AT ITER 1049 NEW BEST:: SOT 626575 SOS 525998 HAS SOPS 489219 HAS SOUS 87440 HAS SOUPS 86875 WITH SCORE 87400.998
AT ITER 1051 NEW BEST:: SOT 626575 SOS 526058 HAS SOPS 489471 HAS SOUS 87401 HAS SOUPS 86836 WITH SCORE 87362.058
AT ITER 1053 NEW BEST:: SOT 626605 SOS 526088 HAS SOPS 489501 HAS SOUS 87395 HAS SOUPS 86830 WITH SCORE 87356.088
AT ITER 1054 NEW BEST:: SOT 626553 SOS 526036 HAS SOPS 489449 HAS SOUS 87359 HAS SOUPS 86794 WITH SCORE 87320.036
AT ITER 1071 NEW BEST:: SOT 626553 SOS 526036 HAS SOPS 489449 HAS SOUS 87273 HAS SOUPS 86708 WITH SCORE 87234.036
AT ITER 1078 NEW BEST:: SOT 626556 SOS 526061 HAS SOPS 490136 HAS SOUS 87224 HAS SOUPS 86697 WITH SCORE 87223.061
AT ITER 1086 NEW BEST:: SOT 626556 SOS 526139 HAS SOPS 490532 HAS SOUS 87105 HAS SOUPS 86601 WITH SCORE 87127.139
AT ITER 1094 NEW BEST:: SOT 626800 SOS 526383 HAS SOPS 490776 HAS SOUS 87010 HAS SOUPS 86506 WITH SCORE 87032.383
AT ITER 1096 NEW BEST:: SOT 626745 SOS 526328 HAS SOPS 490721 HAS SOUS 86889 HAS SOUPS 86385 WITH SCORE 86911.328
AT ITER 1100 NEW BEST:: SOT 626586 SOS 526169 HAS SOPS 490562 HAS SOUS 86889 HAS SOUPS 86385 WITH SCORE 86911.169
AT ITER 1106 NEW BEST:: SOT 626861 SOS 526122 HAS SOPS 490837 HAS SOUS 86147 HAS SOUPS 85685 WITH SCORE 86211.122
AT ITER 1111 NEW BEST:: SOT 626484 SOS 525745 HAS SOPS 490460 HAS SOUS 85935 HAS SOUPS 85473 WITH SCORE 85998.745
AT ITER 1117 NEW BEST:: SOT 626476 SOS 526045 HAS SOPS 491424 HAS SOUS 85598 HAS SOUPS 85163 WITH SCORE 85689.045
AT ITER 1123 NEW BEST:: SOT 626335 SOS 525904 HAS SOPS 491283 HAS SOUS 85520 HAS SOUPS 85085 WITH SCORE 85610.904
AT ITER 1145 NEW BEST:: SOT 626425 SOS 525994 HAS SOPS 491373 HAS SOUS 85473 HAS SOUPS 85038 WITH SCORE 85563.994
AT ITER 1153 NEW BEST:: SOT 626409 SOS 525978 HAS SOPS 491357 HAS SOUS 85465 HAS SOUPS 85030 WITH SCORE 85555.978
AT ITER 1159 NEW BEST:: SOT 626677 SOS 526246 HAS SOPS 491625 HAS SOUS 85436 HAS SOUPS 85001 WITH SCORE 85527.246
AT ITER 1175 NEW BEST:: SOT 626507 SOS 526076 HAS SOPS 491455 HAS SOUS 85133 HAS SOUPS 84698 WITH SCORE 85224.076
AT ITER 1185 NEW BEST:: SOT 626507 SOS 526076 HAS SOPS 491275 HAS SOUS 85093 HAS SOUPS 84658 WITH SCORE 85184.076
AT ITER 1186 NEW BEST:: SOT 626411 SOS 525980 HAS SOPS 491179 HAS SOUS 85021 HAS SOUPS 84586 WITH SCORE 85111.98
AT ITER 1192 NEW BEST:: SOT 626161 SOS 525666 HAS SOPS 491097 HAS SOUS 84583 HAS SOUPS 84179 WITH SCORE 84704.666
AT ITER 1203 NEW BEST:: SOT 626161 SOS 525666 HAS SOPS 491097 HAS SOUS 84570 HAS SOUPS 84166 WITH SCORE 84691.666
AT ITER 1212 NEW BEST:: SOT 626133 SOS 525638 HAS SOPS 491069 HAS SOUS 84558 HAS SOUPS 84154 WITH SCORE 84679.638
AT ITER 1217 NEW BEST:: SOT 626511 SOS 526016 HAS SOPS 491447 HAS SOUS 84401 HAS SOUPS 83997 WITH SCORE 84523.016
AT ITER 1229 NEW BEST:: SOT 626351 SOS 525856 HAS SOPS 491287 HAS SOUS 84229 HAS SOUPS 83825 WITH SCORE 84350.856
AT ITER 1245 NEW BEST:: SOT 624756 SOS 524236 HAS SOPS 489314 HAS SOUS 84137 HAS SOUPS 83712 WITH SCORE 84236.236
AT ITER 1252 NEW BEST:: SOT 624552 SOS 524032 HAS SOPS 489110 HAS SOUS 84104 HAS SOUPS 83679 WITH SCORE 84203.032
AT ITER 1263 NEW BEST:: SOT 624733 SOS 524213 HAS SOPS 489291 HAS SOUS 84054 HAS SOUPS 83629 WITH SCORE 84153.213
AT ITER 1267 NEW BEST:: SOT 624651 SOS 524131 HAS SOPS 489209 HAS SOUS 84003 HAS SOUPS 83578 WITH SCORE 84102.131
AT ITER 1283 NEW BEST:: SOT 624635 SOS 524115 HAS SOPS 489193 HAS SOUS 83719 HAS SOUPS 83294 WITH SCORE 83818.115
AT ITER 1284 NEW BEST:: SOT 624635 SOS 524113 HAS SOPS 489205 HAS SOUS 83701 HAS SOUPS 83278 WITH SCORE 83802.113
AT ITER 1286 NEW BEST:: SOT 624555 SOS 524033 HAS SOPS 489125 HAS SOUS 83356 HAS SOUPS 82933 WITH SCORE 83457.033
AT ITER 1289 NEW BEST:: SOT 624523 SOS 524001 HAS SOPS 489093 HAS SOUS 83304 HAS SOUPS 82881 WITH SCORE 83405.001
AT ITER 1290 NEW BEST:: SOT 624523 SOS 524001 HAS SOPS 489093 HAS SOUS 83301 HAS SOUPS 82878 WITH SCORE 83402.001
AT ITER 1293 NEW BEST:: SOT 624496 SOS 523974 HAS SOPS 489066 HAS SOUS 83275 HAS SOUPS 82852 WITH SCORE 83375.974
AT ITER 1303 NEW BEST:: SOT 624720 SOS 524198 HAS SOPS 489338 HAS SOUS 83220 HAS SOUPS 82799 WITH SCORE 83323.198
AT ITER 1305 NEW BEST:: SOT 624406 SOS 523884 HAS SOPS 489024 HAS SOUS 82635 HAS SOUPS 82214 WITH SCORE 82737.884
AT ITER 1308 NEW BEST:: SOT 624655 SOS 524108 HAS SOPS 489399 HAS SOUS 82098 HAS SOUPS 81698 WITH SCORE 82222.108
AT ITER 1318 NEW BEST:: SOT 624649 SOS 524102 HAS SOPS 489393 HAS SOUS 82050 HAS SOUPS 81650 WITH SCORE 82174.102
AT ITER 1319 NEW BEST:: SOT 624792 SOS 524245 HAS SOPS 489536 HAS SOUS 82003 HAS SOUPS 81603 WITH SCORE 82127.245
AT ITER 1320 NEW BEST:: SOT 624792 SOS 524245 HAS SOPS 489536 HAS SOUS 81967 HAS SOUPS 81567 WITH SCORE 82091.245
AT ITER 1323 NEW BEST:: SOT 622592 SOS 522045 HAS SOPS 487336 HAS SOUS 81372 HAS SOUPS 80972 WITH SCORE 81494.045
AT ITER 1325 NEW BEST:: SOT 624776 SOS 524229 HAS SOPS 489808 HAS SOUS 81312 HAS SOUPS 80925 WITH SCORE 81449.229
AT ITER 1329 NEW BEST:: SOT 624026 SOS 523479 HAS SOPS 489058 HAS SOUS 80570 HAS SOUPS 80183 WITH SCORE 80706.479
AT ITER 1338 NEW BEST:: SOT 624124 SOS 523577 HAS SOPS 489156 HAS SOUS 80516 HAS SOUPS 80129 WITH SCORE 80652.577
AT ITER 1343 NEW BEST:: SOT 624124 SOS 523400 HAS SOPS 490002 HAS SOUS 80354 HAS SOUPS 80021 WITH SCORE 80544.4
AT ITER 1345 NEW BEST:: SOT 624102 SOS 523378 HAS SOPS 489980 HAS SOUS 80347 HAS SOUPS 80014 WITH SCORE 80537.378
AT ITER 1346 NEW BEST:: SOT 623927 SOS 523203 HAS SOPS 489805 HAS SOUS 80231 HAS SOUPS 79898 WITH SCORE 80421.203
AT ITER 1353 NEW BEST:: SOT 624219 SOS 523495 HAS SOPS 490097 HAS SOUS 80111 HAS SOUPS 79778 WITH SCORE 80301.495
AT ITER 1355 NEW BEST:: SOT 624231 SOS 523507 HAS SOPS 490109 HAS SOUS 80103 HAS SOUPS 79770 WITH SCORE 80293.507
AT ITER 1373 NEW BEST:: SOT 624231 SOS 523435 HAS SOPS 490037 HAS SOUS 80103 HAS SOUPS 79770 WITH SCORE 80293.435
AT ITER 1380 NEW BEST:: SOT 624231 SOS 523135 HAS SOPS 489701 HAS SOUS 80085 HAS SOUPS 79752 WITH SCORE 80275.135
AT ITER 1385 NEW BEST:: SOT 624192 SOS 523096 HAS SOPS 489662 HAS SOUS 79566 HAS SOUPS 79233 WITH SCORE 79756.096
AT ITER 1388 NEW BEST:: SOT 624344 SOS 523248 HAS SOPS 489814 HAS SOUS 79541 HAS SOUPS 79208 WITH SCORE 79731.248
AT ITER 1399 NEW BEST:: SOT 624425 SOS 523329 HAS SOPS 489895 HAS SOUS 79457 HAS SOUPS 79124 WITH SCORE 79647.329
AT ITER 1400 NEW BEST:: SOT 624753 SOS 523657 HAS SOPS 490223 HAS SOUS 79190 HAS SOUPS 78857 WITH SCORE 79380.657
AT ITER 1404 NEW BEST:: SOT 624590 SOS 523494 HAS SOPS 490060 HAS SOUS 78532 HAS SOUPS 78199 WITH SCORE 78722.494
AT ITER 1408 NEW BEST:: SOT 624575 SOS 523479 HAS SOPS 490099 HAS SOUS 78520 HAS SOUPS 78187 WITH SCORE 78710.479
AT ITER 1413 NEW BEST:: SOT 624545 SOS 523449 HAS SOPS 490069 HAS SOUS 78486 HAS SOUPS 78153 WITH SCORE 78676.449
AT ITER 1414 NEW BEST:: SOT 624513 SOS 523417 HAS SOPS 490037 HAS SOUS 78330 HAS SOUPS 77997 WITH SCORE 78520.417
AT ITER 1421 NEW BEST:: SOT 624177 SOS 523081 HAS SOPS 489701 HAS SOUS 78213 HAS SOUPS 77880 WITH SCORE 78403.081
AT ITER 1423 NEW BEST:: SOT 624167 SOS 523071 HAS SOPS 489691 HAS SOUS 78153 HAS SOUPS 77820 WITH SCORE 78343.071
AT ITER 1428 NEW BEST:: SOT 621506 SOS 520410 HAS SOPS 487030 HAS SOUS 76086 HAS SOUPS 75753 WITH SCORE 76273.41
AT ITER 1446 NEW BEST:: SOT 621718 SOS 520622 HAS SOPS 487242 HAS SOUS 75992 HAS SOUPS 75659 WITH SCORE 76179.622
AT ITER 1451 NEW BEST:: SOT 620862 SOS 519766 HAS SOPS 486386 HAS SOUS 75735 HAS SOUPS 75402 WITH SCORE 75921.766
AT ITER 1460 NEW BEST:: SOT 620830 SOS 519734 HAS SOPS 486354 HAS SOUS 75719 HAS SOUPS 75386 WITH SCORE 75905.734
AT ITER 1463 NEW BEST:: SOT 620743 SOS 519647 HAS SOPS 486267 HAS SOUS 75593 HAS SOUPS 75260 WITH SCORE 75779.647
AT ITER 1472 NEW BEST:: SOT 620625 SOS 519529 HAS SOPS 486149 HAS SOUS 75575 HAS SOUPS 75242 WITH SCORE 75761.529
AT ITER 1479 NEW BEST:: SOT 620625 SOS 519901 HAS SOPS 486497 HAS SOUS 75563 HAS SOUPS 75230 WITH SCORE 75749.901
AT ITER 1487 NEW BEST:: SOT 620571 SOS 519847 HAS SOPS 486443 HAS SOUS 75548 HAS SOUPS 75215 WITH SCORE 75734.847
AT ITER 1490 NEW BEST:: SOT 620022 SOS 519298 HAS SOPS 485894 HAS SOUS 75394 HAS SOUPS 75061 WITH SCORE 75580.298
AT ITER 1504 NEW BEST:: SOT 619956 SOS 519232 HAS SOPS 485828 HAS SOUS 75322 HAS SOUPS 74989 WITH SCORE 75508.232
AT ITER 1515 NEW BEST:: SOT 619350 SOS 518626 HAS SOPS 485222 HAS SOUS 75212 HAS SOUPS 74879 WITH SCORE 75397.626
AT ITER 1517 NEW BEST:: SOT 619911 SOS 519187 HAS SOPS 485783 HAS SOUS 75110 HAS SOUPS 74777 WITH SCORE 75296.187
AT ITER 1552 NEW BEST:: SOT 619433 SOS 518709 HAS SOPS 485305 HAS SOUS 75075 HAS SOUPS 74742 WITH SCORE 75260.709
AT ITER 1554 NEW BEST:: SOT 619427 SOS 518591 HAS SOPS 485059 HAS SOUS 74904 HAS SOUPS 74571 WITH SCORE 75089.591
AT ITER 1555 NEW BEST:: SOT 619141 SOS 518305 HAS SOPS 484773 HAS SOUS 74780 HAS SOUPS 74447 WITH SCORE 74965.305
AT ITER 1562 NEW BEST:: SOT 619311 SOS 518475 HAS SOPS 484943 HAS SOUS 74736 HAS SOUPS 74403 WITH SCORE 74921.475
AT ITER 1565 NEW BEST:: SOT 619432 SOS 518596 HAS SOPS 485064 HAS SOUS 74703 HAS SOUPS 74370 WITH SCORE 74888.596
AT ITER 1578 NEW BEST:: SOT 619613 SOS 518801 HAS SOPS 485857 HAS SOUS 74422 HAS SOUPS 74106 WITH SCORE 74624.801
AT ITER 1582 NEW BEST:: SOT 619624 SOS 518812 HAS SOPS 485868 HAS SOUS 74411 HAS SOUPS 74095 WITH SCORE 74613.812
AT ITER 1601 NEW BEST:: SOT 619714 SOS 518902 HAS SOPS 485958 HAS SOUS 74393 HAS SOUPS 74077 WITH SCORE 74595.902
AT ITER 1615 NEW BEST:: SOT 619655 SOS 518843 HAS SOPS 485899 HAS SOUS 74301 HAS SOUPS 73985 WITH SCORE 74503.843
AT ITER 1627 NEW BEST:: SOT 619049 SOS 518237 HAS SOPS 485293 HAS SOUS 74178 HAS SOUPS 73862 WITH SCORE 74380.237
AT ITER 1629 NEW BEST:: SOT 618684 SOS 517872 HAS SOPS 484928 HAS SOUS 74010 HAS SOUPS 73694 WITH SCORE 74211.872
AT ITER 1630 NEW BEST:: SOT 618177 SOS 517365 HAS SOPS 484421 HAS SOUS 73966 HAS SOUPS 73650 WITH SCORE 74167.365
AT ITER 1634 NEW BEST:: SOT 616182 SOS 514922 HAS SOPS 481274 HAS SOUS 73114 HAS SOUPS 72766 WITH SCORE 73280.922
AT ITER 1635 NEW BEST:: SOT 616182 SOS 514922 HAS SOPS 481274 HAS SOUS 72882 HAS SOUPS 72534 WITH SCORE 73048.922
AT ITER 1639 NEW BEST:: SOT 616174 SOS 514914 HAS SOPS 481266 HAS SOUS 72812 HAS SOUPS 72464 WITH SCORE 72978.914
AT ITER 1653 NEW BEST:: SOT 616385 SOS 515125 HAS SOPS 481477 HAS SOUS 72682 HAS SOUPS 72334 WITH SCORE 72849.125
AT ITER 1657 NEW BEST:: SOT 616738 SOS 515478 HAS SOPS 481830 HAS SOUS 72669 HAS SOUPS 72321 WITH SCORE 72836.478
AT ITER 1659 NEW BEST:: SOT 616672 SOS 515412 HAS SOPS 481764 HAS SOUS 72541 HAS SOUPS 72193 WITH SCORE 72708.412
AT ITER 1716 NEW BEST:: SOT 616702 SOS 515442 HAS SOPS 481794 HAS SOUS 72457 HAS SOUPS 72109 WITH SCORE 72624.442
AT ITER 1717 NEW BEST:: SOT 616702 SOS 515442 HAS SOPS 481794 HAS SOUS 72442 HAS SOUPS 72094 WITH SCORE 72609.442
AT ITER 1726 NEW BEST:: SOT 616702 SOS 515442 HAS SOPS 481794 HAS SOUS 72367 HAS SOUPS 72019 WITH SCORE 72534.442
AT ITER 1730 NEW BEST:: SOT 616710 SOS 515450 HAS SOPS 481802 HAS SOUS 72363 HAS SOUPS 72015 WITH SCORE 72530.45
AT ITER 1734 NEW BEST:: SOT 617286 SOS 516026 HAS SOPS 482378 HAS SOUS 72297 HAS SOUPS 71949 WITH SCORE 72465.026
AT ITER 1744 NEW BEST:: SOT 617671 SOS 516411 HAS SOPS 482763 HAS SOUS 72174 HAS SOUPS 71826 WITH SCORE 72342.411
AT ITER 1748 NEW BEST:: SOT 617650 SOS 516390 HAS SOPS 482742 HAS SOUS 72153 HAS SOUPS 71805 WITH SCORE 72321.39
AT ITER 1771 NEW BEST:: SOT 617653 SOS 516393 HAS SOPS 482745 HAS SOUS 72030 HAS SOUPS 71682 WITH SCORE 72198.393
AT ITER 1777 NEW BEST:: SOT 617653 SOS 516440 HAS SOPS 482943 HAS SOUS 72010 HAS SOUPS 71671 WITH SCORE 72187.44
AT ITER 1780 NEW BEST:: SOT 617635 SOS 516422 HAS SOPS 482925 HAS SOUS 71964 HAS SOUPS 71625 WITH SCORE 72141.422
AT ITER 1783 NEW BEST:: SOT 618011 SOS 516798 HAS SOPS 483301 HAS SOUS 71944 HAS SOUPS 71605 WITH SCORE 72121.798
AT ITER 1786 NEW BEST:: SOT 617998 SOS 516785 HAS SOPS 483288 HAS SOUS 71935 HAS SOUPS 71596 WITH SCORE 72112.785
AT ITER 1789 NEW BEST:: SOT 617938 SOS 516725 HAS SOPS 483228 HAS SOUS 71907 HAS SOUPS 71568 WITH SCORE 72084.725
AT ITER 1790 NEW BEST:: SOT 617535 SOS 614434 HAS SOPS 614395 HAS SOUS 71490 HAS SOUPS 71451 WITH SCORE 72065.434
AT ITER 1794 NEW BEST:: SOT 617525 SOS 614424 HAS SOPS 614385 HAS SOUS 71414 HAS SOUPS 71375 WITH SCORE 71989.424
AT ITER 1796 NEW BEST:: SOT 617475 SOS 614374 HAS SOPS 614335 HAS SOUS 71414 HAS SOUPS 71375 WITH SCORE 71989.374
AT ITER 1818 NEW BEST:: SOT 617585 SOS 614484 HAS SOPS 614445 HAS SOUS 71297 HAS SOUPS 71258 WITH SCORE 71872.484
AT ITER 1839 NEW BEST:: SOT 617508 SOS 614407 HAS SOPS 614368 HAS SOUS 71241 HAS SOUPS 71202 WITH SCORE 71816.407
AT ITER 1845 NEW BEST:: SOT 617359 SOS 614258 HAS SOPS 614219 HAS SOUS 71096 HAS SOUPS 71057 WITH SCORE 71671.258
AT ITER 1849 NEW BEST:: SOT 617307 SOS 614206 HAS SOPS 614167 HAS SOUS 71063 HAS SOUPS 71024 WITH SCORE 71638.206
AT ITER 1854 NEW BEST:: SOT 617250 SOS 614149 HAS SOPS 614110 HAS SOUS 71021 HAS SOUPS 70982 WITH SCORE 71596.149
AT ITER 1869 NEW BEST:: SOT 617042 SOS 613941 HAS SOPS 613902 HAS SOUS 70969 HAS SOUPS 70930 WITH SCORE 71543.941
AT ITER 1878 NEW BEST:: SOT 616119 SOS 613018 HAS SOPS 612979 HAS SOUS 70915 HAS SOUPS 70876 WITH SCORE 71489.018
AT ITER 1888 NEW BEST:: SOT 615132 SOS 612031 HAS SOPS 611992 HAS SOUS 70403 HAS SOUPS 70364 WITH SCORE 70976.031
AT ITER 1891 NEW BEST:: SOT 614352 SOS 611251 HAS SOPS 611212 HAS SOUS 70377 HAS SOUPS 70338 WITH SCORE 70949.251
AT ITER 1900 NEW BEST:: SOT 614664 SOS 611563 HAS SOPS 611524 HAS SOUS 70226 HAS SOUPS 70187 WITH SCORE 70798.563
AT ITER 1922 NEW BEST:: SOT 614792 SOS 611691 HAS SOPS 611652 HAS SOUS 70185 HAS SOUPS 70146 WITH SCORE 70757.691
AT ITER 1942 NEW BEST:: SOT 614792 SOS 611691 HAS SOPS 611652 HAS SOUS 70171 HAS SOUPS 70132 WITH SCORE 70743.691
AT ITER 1951 NEW BEST:: SOT 614786 SOS 611685 HAS SOPS 611646 HAS SOUS 70003 HAS SOUPS 69964 WITH SCORE 70575.685
AT ITER 2018 NEW BEST:: SOT 614770 SOS 611669 HAS SOPS 611630 HAS SOUS 69995 HAS SOUPS 69956 WITH SCORE 70567.669
AT ITER 2028 NEW BEST:: SOT 614770 SOS 611669 HAS SOPS 611630 HAS SOUS 69992 HAS SOUPS 69953 WITH SCORE 70564.669
AT ITER 2045 NEW BEST:: SOT 614565 SOS 611464 HAS SOPS 611425 HAS SOUS 69744 HAS SOUPS 69705 WITH SCORE 70316.464
AT ITER 2046 NEW BEST:: SOT 614545 SOS 611444 HAS SOPS 611405 HAS SOUS 69594 HAS SOUPS 69555 WITH SCORE 70166.444
AT ITER 2055 NEW BEST:: SOT 612591 SOS 609490 HAS SOPS 609451 HAS SOUS 69156 HAS SOUPS 69117 WITH SCORE 69726.49
AT ITER 2072 NEW BEST:: SOT 612555 SOS 609454 HAS SOPS 609415 HAS SOUS 69147 HAS SOUPS 69108 WITH SCORE 69717.454
AT ITER 2074 NEW BEST:: SOT 612534 SOS 609433 HAS SOPS 609394 HAS SOUS 69136 HAS SOUPS 69097 WITH SCORE 69706.433
AT ITER 2091 NEW BEST:: SOT 612350 SOS 609249 HAS SOPS 609210 HAS SOUS 69091 HAS SOUPS 69052 WITH SCORE 69661.249
AT ITER 2098 NEW BEST:: SOT 611975 SOS 608874 HAS SOPS 608835 HAS SOUS 68845 HAS SOUPS 68806 WITH SCORE 69414.874
AT ITER 2132 NEW BEST:: SOT 612417 SOS 609316 HAS SOPS 609277 HAS SOUS 68822 HAS SOUPS 68783 WITH SCORE 69392.316
AT ITER 2135 NEW BEST:: SOT 612493 SOS 609392 HAS SOPS 609353 HAS SOUS 68772 HAS SOUPS 68733 WITH SCORE 69342.392
AT ITER 2165 NEW BEST:: SOT 612493 SOS 609392 HAS SOPS 609353 HAS SOUS 68771 HAS SOUPS 68732 WITH SCORE 69341.392
AT ITER 2186 NEW BEST:: SOT 612570 SOS 609469 HAS SOPS 609430 HAS SOUS 68727 HAS SOUPS 68688 WITH SCORE 69297.469
AT ITER 2212 NEW BEST:: SOT 614023 SOS 610922 HAS SOPS 610883 HAS SOUS 68209 HAS SOUPS 68170 WITH SCORE 68780.922
AT ITER 2216 NEW BEST:: SOT 613980 SOS 610879 HAS SOPS 610840 HAS SOUS 68165 HAS SOUPS 68126 WITH SCORE 68736.879
AT ITER 2219 NEW BEST:: SOT 613989 SOS 610888 HAS SOPS 610849 HAS SOUS 67650 HAS SOUPS 67611 WITH SCORE 68221.888
AT ITER 2221 NEW BEST:: SOT 613862 SOS 610761 HAS SOPS 610722 HAS SOUS 67577 HAS SOUPS 67538 WITH SCORE 68148.761
AT ITER 2227 NEW BEST:: SOT 613897 SOS 610796 HAS SOPS 610757 HAS SOUS 67540 HAS SOUPS 67501 WITH SCORE 68111.796
AT ITER 2232 NEW BEST:: SOT 613787 SOS 610686 HAS SOPS 610647 HAS SOUS 67404 HAS SOUPS 67365 WITH SCORE 67975.686
AT ITER 2254 NEW BEST:: SOT 613787 SOS 610686 HAS SOPS 610647 HAS SOUS 67389 HAS SOUPS 67350 WITH SCORE 67960.686
AT ITER 2255 NEW BEST:: SOT 613787 SOS 610686 HAS SOPS 610647 HAS SOUS 67374 HAS SOUPS 67335 WITH SCORE 67945.686
AT ITER 2259 NEW BEST:: SOT 613754 SOS 610653 HAS SOPS 610618 HAS SOUS 67333 HAS SOUPS 67298 WITH SCORE 67908.653
AT ITER 2274 NEW BEST:: SOT 614009 SOS 610908 HAS SOPS 610873 HAS SOUS 67295 HAS SOUPS 67260 WITH SCORE 67870.908
AT ITER 2277 NEW BEST:: SOT 613974 SOS 610873 HAS SOPS 610838 HAS SOUS 67121 HAS SOUPS 67086 WITH SCORE 67696.873
AT ITER 2281 NEW BEST:: SOT 614080 SOS 610979 HAS SOPS 610944 HAS SOUS 67104 HAS SOUPS 67069 WITH SCORE 67679.979
AT ITER 2300 NEW BEST:: SOT 613885 SOS 610784 HAS SOPS 610749 HAS SOUS 67060 HAS SOUPS 67025 WITH SCORE 67635.784
AT ITER 2302 NEW BEST:: SOT 613895 SOS 610794 HAS SOPS 610759 HAS SOUS 67058 HAS SOUPS 67023 WITH SCORE 67633.794
AT ITER 2333 NEW BEST:: SOT 613644 SOS 610543 HAS SOPS 610508 HAS SOUS 66983 HAS SOUPS 66948 WITH SCORE 67558.543
AT ITER 2341 NEW BEST:: SOT 614404 SOS 611303 HAS SOPS 611268 HAS SOUS 66978 HAS SOUPS 66943 WITH SCORE 67554.303
AT ITER 2357 NEW BEST:: SOT 614336 SOS 611235 HAS SOPS 611200 HAS SOUS 66875 HAS SOUPS 66840 WITH SCORE 67451.235
AT ITER 2370 NEW BEST:: SOT 614336 SOS 611235 HAS SOPS 611200 HAS SOUS 66870 HAS SOUPS 66835 WITH SCORE 67446.235
AT ITER 2376 NEW BEST:: SOT 614376 SOS 611275 HAS SOPS 611240 HAS SOUS 66834 HAS SOUPS 66799 WITH SCORE 67410.275
AT ITER 2379 NEW BEST:: SOT 614403 SOS 611302 HAS SOPS 611267 HAS SOUS 66816 HAS SOUPS 66781 WITH SCORE 67392.302
AT ITER 2386 NEW BEST:: SOT 613344 SOS 610243 HAS SOPS 610208 HAS SOUS 66335 HAS SOUPS 66300 WITH SCORE 66910.243
AT ITER 2399 NEW BEST:: SOT 613300 SOS 610199 HAS SOPS 610164 HAS SOUS 66251 HAS SOUPS 66216 WITH SCORE 66826.199
AT ITER 2404 NEW BEST:: SOT 612600 SOS 609499 HAS SOPS 609464 HAS SOUS 66181 HAS SOUPS 66146 WITH SCORE 66755.499
AT ITER 2459 NEW BEST:: SOT 612600 SOS 609499 HAS SOPS 609464 HAS SOUS 66176 HAS SOUPS 66141 WITH SCORE 66750.499
AT ITER 2462 NEW BEST:: SOT 612034 SOS 608933 HAS SOPS 608898 HAS SOUS 65456 HAS SOUPS 65421 WITH SCORE 66029.933
AT ITER 2473 NEW BEST:: SOT 611986 SOS 608885 HAS SOPS 608850 HAS SOUS 65408 HAS SOUPS 65373 WITH SCORE 65981.885
AT ITER 2506 NEW BEST:: SOT 611986 SOS 608885 HAS SOPS 608850 HAS SOUS 65392 HAS SOUPS 65357 WITH SCORE 65965.885
AT ITER 2517 NEW BEST:: SOT 611905 SOS 608804 HAS SOPS 608769 HAS SOUS 65356 HAS SOUPS 65321 WITH SCORE 65929.804
AT ITER 2538 NEW BEST:: SOT 611958 SOS 608857 HAS SOPS 608822 HAS SOUS 65314 HAS SOUPS 65279 WITH SCORE 65887.857
AT ITER 2561 NEW BEST:: SOT 612437 SOS 609336 HAS SOPS 609301 HAS SOUS 65298 HAS SOUPS 65263 WITH SCORE 65872.336
AT ITER 2569 NEW BEST:: SOT 612615 SOS 609514 HAS SOPS 609479 HAS SOUS 65251 HAS SOUPS 65216 WITH SCORE 65825.514
AT ITER 2591 NEW BEST:: SOT 612790 SOS 609689 HAS SOPS 609654 HAS SOUS 65245 HAS SOUPS 65210 WITH SCORE 65819.689
AT ITER 2592 NEW BEST:: SOT 612777 SOS 609676 HAS SOPS 609641 HAS SOUS 65223 HAS SOUPS 65188 WITH SCORE 65797.676
AT ITER 2600 NEW BEST:: SOT 612341 SOS 609240 HAS SOPS 609205 HAS SOUS 65000 HAS SOUPS 64965 WITH SCORE 65574.24
AT ITER 2607 NEW BEST:: SOT 610980 SOS 607879 HAS SOPS 607844 HAS SOUS 64457 HAS SOUPS 64422 WITH SCORE 65029.879
AT ITER 2610 NEW BEST:: SOT 610115 SOS 607014 HAS SOPS 606979 HAS SOUS 64456 HAS SOUPS 64421 WITH SCORE 65028.014
AT ITER 2627 NEW BEST:: SOT 610124 SOS 607023 HAS SOPS 606988 HAS SOUS 64429 HAS SOUPS 64394 WITH SCORE 65001.023
AT ITER 2635 NEW BEST:: SOT 610543 SOS 607442 HAS SOPS 607407 HAS SOUS 64099 HAS SOUPS 64064 WITH SCORE 64671.442
AT ITER 2654 NEW BEST:: SOT 610529 SOS 607428 HAS SOPS 607393 HAS SOUS 64098 HAS SOUPS 64063 WITH SCORE 64670.428
AT ITER 2698 NEW BEST:: SOT 610365 SOS 607264 HAS SOPS 607229 HAS SOUS 64045 HAS SOUPS 64010 WITH SCORE 64617.264
AT ITER 2727 NEW BEST:: SOT 610179 SOS 607078 HAS SOPS 607043 HAS SOUS 63789 HAS SOUPS 63754 WITH SCORE 64361.078
AT ITER 2729 NEW BEST:: SOT 610113 SOS 607012 HAS SOPS 606977 HAS SOUS 63731 HAS SOUPS 63696 WITH SCORE 64303.012
AT ITER 2740 NEW BEST:: SOT 609730 SOS 606629 HAS SOPS 606594 HAS SOUS 63590 HAS SOUPS 63555 WITH SCORE 64161.629
AT ITER 2749 NEW BEST:: SOT 609732 SOS 606631 HAS SOPS 606596 HAS SOUS 63589 HAS SOUPS 63554 WITH SCORE 64160.631
AT ITER 2759 NEW BEST:: SOT 609319 SOS 606218 HAS SOPS 606183 HAS SOUS 63335 HAS SOUPS 63300 WITH SCORE 63906.218
AT ITER 2768 NEW BEST:: SOT 609537 SOS 606436 HAS SOPS 606401 HAS SOUS 63294 HAS SOUPS 63259 WITH SCORE 63865.436
AT ITER 2782 NEW BEST:: SOT 609453 SOS 606352 HAS SOPS 606317 HAS SOUS 63249 HAS SOUPS 63214 WITH SCORE 63820.352
AT ITER 2783 NEW BEST:: SOT 609433 SOS 606332 HAS SOPS 606297 HAS SOUS 63229 HAS SOUPS 63194 WITH SCORE 63800.332
AT ITER 2797 NEW BEST:: SOT 609373 SOS 606272 HAS SOPS 606237 HAS SOUS 63154 HAS SOUPS 63119 WITH SCORE 63725.272
AT ITER 2799 NEW BEST:: SOT 609407 SOS 606306 HAS SOPS 606271 HAS SOUS 63123 HAS SOUPS 63088 WITH SCORE 63694.306
AT ITER 2800 NEW BEST:: SOT 609407 SOS 606306 HAS SOPS 606271 HAS SOUS 63084 HAS SOUPS 63049 WITH SCORE 63655.306
AT ITER 2801 NEW BEST:: SOT 609425 SOS 606324 HAS SOPS 606289 HAS SOUS 63075 HAS SOUPS 63040 WITH SCORE 63646.324
AT ITER 2810 NEW BEST:: SOT 609516 SOS 606415 HAS SOPS 606380 HAS SOUS 63072 HAS SOUPS 63037 WITH SCORE 63643.415
AT ITER 2826 NEW BEST:: SOT 608930 SOS 605829 HAS SOPS 605794 HAS SOUS 62928 HAS SOUPS 62893 WITH SCORE 63498.829
AT ITER 2829 NEW BEST:: SOT 608658 SOS 605557 HAS SOPS 605522 HAS SOUS 62897 HAS SOUPS 62862 WITH SCORE 63467.557
AT ITER 2858 NEW BEST:: SOT 608678 SOS 605577 HAS SOPS 605542 HAS SOUS 62873 HAS SOUPS 62838 WITH SCORE 63443.577
AT ITER 2872 NEW BEST:: SOT 608678 SOS 562897 HAS SOPS 562834 HAS SOUS 62858 HAS SOUPS 62834 WITH SCORE 63396.897
AT ITER 2881 NEW BEST:: SOT 608289 SOS 562508 HAS SOPS 562445 HAS SOUS 62853 HAS SOUPS 62829 WITH SCORE 63391.508
AT ITER 2914 NEW BEST:: SOT 608223 SOS 562442 HAS SOPS 562379 HAS SOUS 62749 HAS SOUPS 62725 WITH SCORE 63287.442
AT ITER 2955 NEW BEST:: SOT 608070 SOS 562289 HAS SOPS 562226 HAS SOUS 62713 HAS SOUPS 62689 WITH SCORE 63251.289
AT ITER 2964 NEW BEST:: SOT 607961 SOS 562180 HAS SOPS 562117 HAS SOUS 62612 HAS SOUPS 62588 WITH SCORE 63150.18
AT ITER 2970 NEW BEST:: SOT 608166 SOS 562361 HAS SOPS 562298 HAS SOUS 62503 HAS SOUPS 62479 WITH SCORE 63041.361
AT ITER 3017 NEW BEST:: SOT 608166 SOS 562361 HAS SOPS 562298 HAS SOUS 62391 HAS SOUPS 62367 WITH SCORE 62929.361
AT ITER 3023 NEW BEST:: SOT 608273 SOS 562468 HAS SOPS 562405 HAS SOUS 62351 HAS SOUPS 62327 WITH SCORE 62889.468
AT ITER 3033 NEW BEST:: SOT 608225 SOS 562420 HAS SOPS 562357 HAS SOUS 62320 HAS SOUPS 62296 WITH SCORE 62858.42
AT ITER 3034 NEW BEST:: SOT 608143 SOS 562323 HAS SOPS 562239 HAS SOUS 62262 HAS SOUPS 62238 WITH SCORE 62800.323
AT ITER 3042 NEW BEST:: SOT 608049 SOS 562229 HAS SOPS 562145 HAS SOUS 62192 HAS SOUPS 62168 WITH SCORE 62730.229
AT ITER 3050 NEW BEST:: SOT 608147 SOS 562327 HAS SOPS 562243 HAS SOUS 62176 HAS SOUPS 62152 WITH SCORE 62714.327
AT ITER 3057 NEW BEST:: SOT 607625 SOS 561805 HAS SOPS 561721 HAS SOUS 61939 HAS SOUPS 61915 WITH SCORE 62476.805
AT ITER 3064 NEW BEST:: SOT 607388 SOS 561568 HAS SOPS 561484 HAS SOUS 61911 HAS SOUPS 61887 WITH SCORE 62448.568
AT ITER 3066 NEW BEST:: SOT 607280 SOS 561460 HAS SOPS 561376 HAS SOUS 61906 HAS SOUPS 61882 WITH SCORE 62443.46
AT ITER 3070 NEW BEST:: SOT 606902 SOS 561082 HAS SOPS 560998 HAS SOUS 61863 HAS SOUPS 61839 WITH SCORE 62400.082
AT ITER 3075 NEW BEST:: SOT 606978 SOS 561158 HAS SOPS 561074 HAS SOUS 61831 HAS SOUPS 61807 WITH SCORE 62368.158
AT ITER 3115 NEW BEST:: SOT 606908 SOS 561088 HAS SOPS 561004 HAS SOUS 61791 HAS SOUPS 61767 WITH SCORE 62328.088
AT ITER 3119 NEW BEST:: SOT 606065 SOS 560245 HAS SOPS 560161 HAS SOUS 61377 HAS SOUPS 61353 WITH SCORE 61913.245
AT ITER 3158 NEW BEST:: SOT 606051 SOS 560231 HAS SOPS 560147 HAS SOUS 61366 HAS SOUPS 61342 WITH SCORE 61902.231
AT ITER 3159 NEW BEST:: SOT 606035 SOS 560215 HAS SOPS 560131 HAS SOUS 61366 HAS SOUPS 61342 WITH SCORE 61902.215
AT ITER 3183 NEW BEST:: SOT 606495 SOS 560675 HAS SOPS 560591 HAS SOUS 61215 HAS SOUPS 61191 WITH SCORE 61751.675
AT ITER 3198 NEW BEST:: SOT 606504 SOS 560684 HAS SOPS 560600 HAS SOUS 61204 HAS SOUPS 61180 WITH SCORE 61740.684
AT ITER 3200 NEW BEST:: SOT 606493 SOS 560673 HAS SOPS 560589 HAS SOUS 61200 HAS SOUPS 61176 WITH SCORE 61736.673
AT ITER 3215 NEW BEST:: SOT 606516 SOS 513314 HAS SOPS 506048 HAS SOUS 61206 HAS SOUPS 61128 WITH SCORE 61641.314
AT ITER 3250 NEW BEST:: SOT 606516 SOS 513472 HAS SOPS 506504 HAS SOUS 61152 HAS SOUPS 61093 WITH SCORE 61606.472
AT ITER 3258 NEW BEST:: SOT 606516 SOS 513472 HAS SOPS 506504 HAS SOUS 61146 HAS SOUPS 61087 WITH SCORE 61600.472
AT ITER 3266 NEW BEST:: SOT 606395 SOS 513351 HAS SOPS 506383 HAS SOUS 61068 HAS SOUPS 61009 WITH SCORE 61522.351
AT ITER 3278 NEW BEST:: SOT 606162 SOS 513118 HAS SOPS 506150 HAS SOUS 60804 HAS SOUPS 60745 WITH SCORE 61258.118
AT ITER 3296 NEW BEST:: SOT 605504 SOS 512460 HAS SOPS 505492 HAS SOUS 60252 HAS SOUPS 60193 WITH SCORE 60705.46
AT ITER 3305 NEW BEST:: SOT 605490 SOS 512446 HAS SOPS 505478 HAS SOUS 60219 HAS SOUPS 60160 WITH SCORE 60672.446
AT ITER 3331 NEW BEST:: SOT 605122 SOS 512078 HAS SOPS 505110 HAS SOUS 60200 HAS SOUPS 60141 WITH SCORE 60653.078
AT ITER 3344 NEW BEST:: SOT 604788 SOS 511744 HAS SOPS 504776 HAS SOUS 60129 HAS SOUPS 60070 WITH SCORE 60581.744
AT ITER 3350 NEW BEST:: SOT 604706 SOS 511662 HAS SOPS 504694 HAS SOUS 60045 HAS SOUPS 59986 WITH SCORE 60497.662
AT ITER 3354 NEW BEST:: SOT 604058 SOS 511014 HAS SOPS 504046 HAS SOUS 59563 HAS SOUPS 59504 WITH SCORE 60015.014
AT ITER 3404 NEW BEST:: SOT 604237 SOS 511193 HAS SOPS 504225 HAS SOUS 59360 HAS SOUPS 59301 WITH SCORE 59812.193
AT ITER 3428 NEW BEST:: SOT 603910 SOS 510866 HAS SOPS 503898 HAS SOUS 59338 HAS SOUPS 59279 WITH SCORE 59789.866
AT ITER 3446 NEW BEST:: SOT 603756 SOS 510712 HAS SOPS 503744 HAS SOUS 59293 HAS SOUPS 59234 WITH SCORE 59744.712
AT ITER 3452 NEW BEST:: SOT 603766 SOS 510722 HAS SOPS 503754 HAS SOUS 59198 HAS SOUPS 59139 WITH SCORE 59649.722
AT ITER 3465 NEW BEST:: SOT 603730 SOS 510686 HAS SOPS 503718 HAS SOUS 59158 HAS SOUPS 59099 WITH SCORE 59609.686
AT ITER 3467 NEW BEST:: SOT 603730 SOS 510674 HAS SOPS 503706 HAS SOUS 59158 HAS SOUPS 59099 WITH SCORE 59609.674
AT ITER 3494 NEW BEST:: SOT 603874 SOS 510818 HAS SOPS 503850 HAS SOUS 59038 HAS SOUPS 58979 WITH SCORE 59489.818
AT ITER 3529 NEW BEST:: SOT 603712 SOS 510656 HAS SOPS 503688 HAS SOUS 58992 HAS SOUPS 58933 WITH SCORE 59443.656
AT ITER 3572 NEW BEST:: SOT 603590 SOS 510534 HAS SOPS 503566 HAS SOUS 58920 HAS SOUPS 58861 WITH SCORE 59371.534
AT ITER 3576 NEW BEST:: SOT 603533 SOS 510477 HAS SOPS 503509 HAS SOUS 58839 HAS SOUPS 58780 WITH SCORE 59290.477
AT ITER 3584 NEW BEST:: SOT 603630 SOS 510574 HAS SOPS 503606 HAS SOUS 58814 HAS SOUPS 58755 WITH SCORE 59265.574
AT ITER 3625 NEW BEST:: SOT 603370 SOS 510314 HAS SOPS 503346 HAS SOUS 58625 HAS SOUPS 58566 WITH SCORE 59076.314
AT ITER 3657 NEW BEST:: SOT 603632 SOS 510576 HAS SOPS 503608 HAS SOUS 58557 HAS SOUPS 58498 WITH SCORE 59008.576
AT ITER 3661 NEW BEST:: SOT 603207 SOS 510151 HAS SOPS 503183 HAS SOUS 58314 HAS SOUPS 58255 WITH SCORE 58765.151
AT ITER 3677 NEW BEST:: SOT 602816 SOS 509729 HAS SOPS 502540 HAS SOUS 58058 HAS SOUPS 57982 WITH SCORE 58491.729
AT ITER 3703 NEW BEST:: SOT 602761 SOS 509674 HAS SOPS 502485 HAS SOUS 58053 HAS SOUPS 57977 WITH SCORE 58486.674
AT ITER 3728 NEW BEST:: SOT 602323 SOS 509236 HAS SOPS 502047 HAS SOUS 57982 HAS SOUPS 57906 WITH SCORE 58415.236
AT ITER 3736 NEW BEST:: SOT 602308 SOS 509221 HAS SOPS 502032 HAS SOUS 57955 HAS SOUPS 57879 WITH SCORE 58388.221
AT ITER 3778 NEW BEST:: SOT 602284 SOS 509119 HAS SOPS 501900 HAS SOUS 57939 HAS SOUPS 57863 WITH SCORE 58372.119
AT ITER 3807 NEW BEST:: SOT 602327 SOS 509162 HAS SOPS 501943 HAS SOUS 57905 HAS SOUPS 57829 WITH SCORE 58338.162
AT ITER 3825 NEW BEST:: SOT 602415 SOS 509250 HAS SOPS 502031 HAS SOUS 57897 HAS SOUPS 57821 WITH SCORE 58330.25
AT ITER 3838 NEW BEST:: SOT 602409 SOS 509244 HAS SOPS 502025 HAS SOUS 57895 HAS SOUPS 57819 WITH SCORE 58328.244
AT ITER 3840 NEW BEST:: SOT 602565 SOS 509400 HAS SOPS 502181 HAS SOUS 57858 HAS SOUPS 57782 WITH SCORE 58291.4
AT ITER 3916 NEW BEST:: SOT 602665 SOS 509500 HAS SOPS 502281 HAS SOUS 57857 HAS SOUPS 57781 WITH SCORE 58290.5
AT ITER 3933 NEW BEST:: SOT 602707 SOS 509542 HAS SOPS 502323 HAS SOUS 57819 HAS SOUPS 57743 WITH SCORE 58252.542
AT ITER 3946 NEW BEST:: SOT 602707 SOS 509752 HAS SOPS 502515 HAS SOUS 57810 HAS SOUPS 57734 WITH SCORE 58243.752
AT ITER 4010 NEW BEST:: SOT 602838 SOS 509883 HAS SOPS 502646 HAS SOUS 57806 HAS SOUPS 57730 WITH SCORE 58239.883
AT ITER 4055 NEW BEST:: SOT 602673 SOS 509718 HAS SOPS 502481 HAS SOUS 57751 HAS SOUPS 57675 WITH SCORE 58184.718
AT ITER 4060 NEW BEST:: SOT 602582 SOS 509627 HAS SOPS 502390 HAS SOUS 57725 HAS SOUPS 57649 WITH SCORE 58158.627
AT ITER 4065 NEW BEST:: SOT 602273 SOS 509318 HAS SOPS 502081 HAS SOUS 57518 HAS SOUPS 57442 WITH SCORE 57951.318
AT ITER 4073 NEW BEST:: SOT 602189 SOS 509234 HAS SOPS 501997 HAS SOUS 57501 HAS SOUPS 57425 WITH SCORE 57934.234
AT ITER 4090 NEW BEST:: SOT 602081 SOS 509126 HAS SOPS 501889 HAS SOUS 57430 HAS SOUPS 57354 WITH SCORE 57863.126
AT ITER 4095 NEW BEST:: SOT 602061 SOS 509398 HAS SOPS 502169 HAS SOUS 57403 HAS SOUPS 57327 WITH SCORE 57836.398
AT ITER 4097 NEW BEST:: SOT 602046 SOS 509421 HAS SOPS 502226 HAS SOUS 57389 HAS SOUPS 57313 WITH SCORE 57822.421
AT ITER 4166 NEW BEST:: SOT 601763 SOS 509138 HAS SOPS 501943 HAS SOUS 56829 HAS SOUPS 56753 WITH SCORE 57262.138
AT ITER 4173 NEW BEST:: SOT 601915 SOS 509290 HAS SOPS 502095 HAS SOUS 56772 HAS SOUPS 56696 WITH SCORE 57205.29
AT ITER 4207 NEW BEST:: SOT 601909 SOS 509284 HAS SOPS 502089 HAS SOUS 56752 HAS SOUPS 56676 WITH SCORE 57185.284
AT ITER 4247 NEW BEST:: SOT 601674 SOS 509049 HAS SOPS 501854 HAS SOUS 56743 HAS SOUPS 56667 WITH SCORE 57176.049
AT ITER 4258 NEW BEST:: SOT 601619 SOS 508994 HAS SOPS 501799 HAS SOUS 56718 HAS SOUPS 56642 WITH SCORE 57150.994
AT ITER 4306 NEW BEST:: SOT 601646 SOS 509021 HAS SOPS 501826 HAS SOUS 56712 HAS SOUPS 56636 WITH SCORE 57145.021
AT ITER 4312 NEW BEST:: SOT 601592 SOS 508967 HAS SOPS 501772 HAS SOUS 56662 HAS SOUPS 56586 WITH SCORE 57094.967
AT ITER 4319 NEW BEST:: SOT 601132 SOS 508507 HAS SOPS 501312 HAS SOUS 56599 HAS SOUPS 56523 WITH SCORE 57031.507
AT ITER 4326 NEW BEST:: SOT 600375 SOS 507750 HAS SOPS 500555 HAS SOUS 56413 HAS SOUPS 56337 WITH SCORE 56844.75
AT ITER 4368 NEW BEST:: SOT 599551 SOS 506638 HAS SOPS 499083 HAS SOUS 56385 HAS SOUPS 56282 WITH SCORE 56788.638
AT ITER 4370 NEW BEST:: SOT 599601 SOS 506688 HAS SOPS 499133 HAS SOUS 56320 HAS SOUPS 56217 WITH SCORE 56723.688
AT ITER 4383 NEW BEST:: SOT 599601 SOS 506628 HAS SOPS 499073 HAS SOUS 56320 HAS SOUPS 56217 WITH SCORE 56723.628
AT ITER 4413 NEW BEST:: SOT 599601 SOS 506220 HAS SOPS 498629 HAS SOUS 56320 HAS SOUPS 56217 WITH SCORE 56723.22
AT ITER 4432 NEW BEST:: SOT 599579 SOS 506198 HAS SOPS 498607 HAS SOUS 56293 HAS SOUPS 56190 WITH SCORE 56696.198
AT ITER 4436 NEW BEST:: SOT 599602 SOS 506416 HAS SOPS 499086 HAS SOUS 56209 HAS SOUPS 56123 WITH SCORE 56629.416
AT ITER 4441 NEW BEST:: SOT 599606 SOS 506420 HAS SOPS 499090 HAS SOUS 56199 HAS SOUPS 56113 WITH SCORE 56619.42
AT ITER 4449 NEW BEST:: SOT 599554 SOS 506368 HAS SOPS 499038 HAS SOUS 56193 HAS SOUPS 56107 WITH SCORE 56613.368
AT ITER 4478 NEW BEST:: SOT 599590 SOS 506404 HAS SOPS 499074 HAS SOUS 56190 HAS SOUPS 56104 WITH SCORE 56610.404
AT ITER 4481 NEW BEST:: SOT 599563 SOS 506377 HAS SOPS 499047 HAS SOUS 56103 HAS SOUPS 56017 WITH SCORE 56523.377
AT ITER 4593 NEW BEST:: SOT 599563 SOS 506315 HAS SOPS 498963 HAS SOUS 56092 HAS SOUPS 56006 WITH SCORE 56512.315
AT ITER 4651 NEW BEST:: SOT 599877 SOS 506629 HAS SOPS 499277 HAS SOUS 56040 HAS SOUPS 55954 WITH SCORE 56460.629
AT ITER 4696 NEW BEST:: SOT 599892 SOS 506644 HAS SOPS 499292 HAS SOUS 56009 HAS SOUPS 55923 WITH SCORE 56429.644
AT ITER 4708 NEW BEST:: SOT 599876 SOS 506628 HAS SOPS 499276 HAS SOUS 56005 HAS SOUPS 55919 WITH SCORE 56425.628
AT ITER 4717 NEW BEST:: SOT 600187 SOS 506939 HAS SOPS 499587 HAS SOUS 55956 HAS SOUPS 55870 WITH SCORE 56376.939
AT ITER 4746 NEW BEST:: SOT 600158 SOS 506910 HAS SOPS 499558 HAS SOUS 55900 HAS SOUPS 55814 WITH SCORE 56320.91
AT ITER 4797 NEW BEST:: SOT 600158 SOS 507090 HAS SOPS 499882 HAS SOUS 55887 HAS SOUPS 55812 WITH SCORE 56319.09
AT ITER 4833 NEW BEST:: SOT 599924 SOS 506856 HAS SOPS 499648 HAS SOUS 55846 HAS SOUPS 55771 WITH SCORE 56277.856
AT ITER 4836 NEW BEST:: SOT 599706 SOS 506638 HAS SOPS 499430 HAS SOUS 55713 HAS SOUPS 55638 WITH SCORE 56144.638
AT ITER 4853 NEW BEST:: SOT 600117 SOS 507049 HAS SOPS 499841 HAS SOUS 55600 HAS SOUPS 55525 WITH SCORE 56032.049
AT ITER 4866 NEW BEST:: SOT 600117 SOS 507049 HAS SOPS 499841 HAS SOUS 55532 HAS SOUPS 55457 WITH SCORE 55964.049
AT ITER 4942 NEW BEST:: SOT 600087 SOS 507019 HAS SOPS 499811 HAS SOUS 55487 HAS SOUPS 55412 WITH SCORE 55919.019
AT ITER 4999 NEW BEST:: SOT 599943 SOS 506875 HAS SOPS 499667 HAS SOUS 55487 HAS SOUPS 55412 WITH SCORE 55918.875
AT ITER 5006 NEW BEST:: SOT 599973 SOS 506905 HAS SOPS 499697 HAS SOUS 55483 HAS SOUPS 55408 WITH SCORE 55914.905
AT ITER 5015 NEW BEST:: SOT 599957 SOS 506889 HAS SOPS 499681 HAS SOUS 55483 HAS SOUPS 55408 WITH SCORE 55914.889
AT ITER 5045 NEW BEST:: SOT 599957 SOS 506889 HAS SOPS 499681 HAS SOUS 55481 HAS SOUPS 55406 WITH SCORE 55912.889
AT ITER 5046 NEW BEST:: SOT 599941 SOS 506873 HAS SOPS 499665 HAS SOUS 55467 HAS SOUPS 55392 WITH SCORE 55898.873
AT ITER 5068 NEW BEST:: SOT 599940 SOS 506872 HAS SOPS 499664 HAS SOUS 55452 HAS SOUPS 55377 WITH SCORE 55883.872
AT ITER 5107 NEW BEST:: SOT 599913 SOS 506845 HAS SOPS 499637 HAS SOUS 55407 HAS SOUPS 55332 WITH SCORE 55838.845
AT ITER 5153 NEW BEST:: SOT 599913 SOS 506581 HAS SOPS 499337 HAS SOUS 55407 HAS SOUPS 55332 WITH SCORE 55838.581
AT ITER 5167 NEW BEST:: SOT 599772 SOS 506440 HAS SOPS 499196 HAS SOUS 55223 HAS SOUPS 55148 WITH SCORE 55654.44
AT ITER 5176 NEW BEST:: SOT 599768 SOS 506436 HAS SOPS 499192 HAS SOUS 55216 HAS SOUPS 55141 WITH SCORE 55647.436
AT ITER 5181 NEW BEST:: SOT 599730 SOS 506398 HAS SOPS 499154 HAS SOUS 55208 HAS SOUPS 55133 WITH SCORE 55639.398
AT ITER 5195 NEW BEST:: SOT 599596 SOS 506264 HAS SOPS 499020 HAS SOUS 55205 HAS SOUPS 55130 WITH SCORE 55636.264
AT ITER 5203 NEW BEST:: SOT 599596 SOS 506310 HAS SOPS 499020 HAS SOUS 55204 HAS SOUPS 55129 WITH SCORE 55635.31
AT ITER 5204 NEW BEST:: SOT 599573 SOS 506287 HAS SOPS 498997 HAS SOUS 55197 HAS SOUPS 55122 WITH SCORE 55628.287
AT ITER 5208 NEW BEST:: SOT 599563 SOS 506277 HAS SOPS 498987 HAS SOUS 55119 HAS SOUPS 55044 WITH SCORE 55550.277
AT ITER 5228 NEW BEST:: SOT 599505 SOS 506219 HAS SOPS 498929 HAS SOUS 55086 HAS SOUPS 55011 WITH SCORE 55517.219
AT ITER 5240 NEW BEST:: SOT 599330 SOS 506044 HAS SOPS 498754 HAS SOUS 55074 HAS SOUPS 54999 WITH SCORE 55505.044
AT ITER 5282 NEW BEST:: SOT 599386 SOS 506100 HAS SOPS 498810 HAS SOUS 54996 HAS SOUPS 54921 WITH SCORE 55427.1
AT ITER 5296 NEW BEST:: SOT 599398 SOS 506112 HAS SOPS 498822 HAS SOUS 54831 HAS SOUPS 54756 WITH SCORE 55262.112
AT ITER 5305 NEW BEST:: SOT 599316 SOS 506030 HAS SOPS 498740 HAS SOUS 54753 HAS SOUPS 54678 WITH SCORE 55184.03
AT ITER 5390 NEW BEST:: SOT 599316 SOS 505835 HAS SOPS 498530 HAS SOUS 54738 HAS SOUPS 54663 WITH SCORE 55168.835
AT ITER 5465 NEW BEST:: SOT 599316 SOS 505873 HAS SOPS 498566 HAS SOUS 54736 HAS SOUPS 54661 WITH SCORE 55166.873
AT ITER 5470 NEW BEST:: SOT 599316 SOS 505717 HAS SOPS 498410 HAS SOUS 54736 HAS SOUPS 54661 WITH SCORE 55166.717
AT ITER 5474 NEW BEST:: SOT 599310 SOS 505711 HAS SOPS 498404 HAS SOUS 54731 HAS SOUPS 54656 WITH SCORE 55161.711
AT ITER 5484 NEW BEST:: SOT 599131 SOS 505532 HAS SOPS 498225 HAS SOUS 54693 HAS SOUPS 54618 WITH SCORE 55123.532
AT ITER 5495 NEW BEST:: SOT 598957 SOS 505358 HAS SOPS 498051 HAS SOUS 54681 HAS SOUPS 54606 WITH SCORE 55111.358
AT ITER 5525 NEW BEST:: SOT 598879 SOS 505280 HAS SOPS 497973 HAS SOUS 54675 HAS SOUPS 54600 WITH SCORE 55105.28
AT ITER 5578 NEW BEST:: SOT 598799 SOS 505200 HAS SOPS 497893 HAS SOUS 54641 HAS SOUPS 54566 WITH SCORE 55071.2
AT ITER 5590 NEW BEST:: SOT 597957 SOS 504358 HAS SOPS 497051 HAS SOUS 54577 HAS SOUPS 54502 WITH SCORE 55006.358
AT ITER 5597 NEW BEST:: SOT 597945 SOS 504346 HAS SOPS 497039 HAS SOUS 54557 HAS SOUPS 54482 WITH SCORE 54986.346
AT ITER 5602 NEW BEST:: SOT 597999 SOS 504400 HAS SOPS 497093 HAS SOUS 54539 HAS SOUPS 54464 WITH SCORE 54968.4
AT ITER 5605 NEW BEST:: SOT 597903 SOS 504304 HAS SOPS 496997 HAS SOUS 54535 HAS SOUPS 54460 WITH SCORE 54964.304
AT ITER 5606 NEW BEST:: SOT 597884 SOS 504285 HAS SOPS 496978 HAS SOUS 54420 HAS SOUPS 54345 WITH SCORE 54849.285
AT ITER 5611 NEW BEST:: SOT 597884 SOS 504305 HAS SOPS 496978 HAS SOUS 54410 HAS SOUPS 54335 WITH SCORE 54839.305
AT ITER 5634 NEW BEST:: SOT 597595 SOS 504016 HAS SOPS 496689 HAS SOUS 54358 HAS SOUPS 54283 WITH SCORE 54787.016
AT ITER 5701 NEW BEST:: SOT 597657 SOS 504078 HAS SOPS 496751 HAS SOUS 54330 HAS SOUPS 54255 WITH SCORE 54759.078
AT ITER 5743 NEW BEST:: SOT 597631 SOS 504052 HAS SOPS 496725 HAS SOUS 54269 HAS SOUPS 54194 WITH SCORE 54698.052
AT ITER 5749 NEW BEST:: SOT 597510 SOS 503931 HAS SOPS 496604 HAS SOUS 54168 HAS SOUPS 54093 WITH SCORE 54596.931
AT ITER 5770 NEW BEST:: SOT 597131 SOS 503552 HAS SOPS 496225 HAS SOUS 53915 HAS SOUPS 53840 WITH SCORE 54343.552
AT ITER 5795 NEW BEST:: SOT 596548 SOS 502969 HAS SOPS 495642 HAS SOUS 53533 HAS SOUPS 53458 WITH SCORE 53960.969
AT ITER 5842 NEW BEST:: SOT 596606 SOS 503027 HAS SOPS 495700 HAS SOUS 53435 HAS SOUPS 53360 WITH SCORE 53863.027
AT ITER 5847 NEW BEST:: SOT 596677 SOS 503098 HAS SOPS 495771 HAS SOUS 53394 HAS SOUPS 53319 WITH SCORE 53822.098
AT ITER 5900 NEW BEST:: SOT 596750 SOS 503171 HAS SOPS 495844 HAS SOUS 53362 HAS SOUPS 53287 WITH SCORE 53790.171
AT ITER 5928 NEW BEST:: SOT 596750 SOS 505303 HAS SOPS 495845 HAS SOUS 53359 HAS SOUPS 53284 WITH SCORE 53789.303
AT ITER 5933 NEW BEST:: SOT 596762 SOS 505315 HAS SOPS 495857 HAS SOUS 53327 HAS SOUPS 53252 WITH SCORE 53757.315
AT ITER 5969 NEW BEST:: SOT 596752 SOS 505305 HAS SOPS 495847 HAS SOUS 53307 HAS SOUPS 53232 WITH SCORE 53737.305
AT ITER 5972 NEW BEST:: SOT 596752 SOS 505305 HAS SOPS 495847 HAS SOUS 53287 HAS SOUPS 53212 WITH SCORE 53717.305
AT ITER 6015 NEW BEST:: SOT 596551 SOS 505104 HAS SOPS 495646 HAS SOUS 53225 HAS SOUPS 53150 WITH SCORE 53655.104
AT ITER 6019 NEW BEST:: SOT 596551 SOS 504984 HAS SOPS 495526 HAS SOUS 53225 HAS SOUPS 53150 WITH SCORE 53654.984
AT ITER 6026 NEW BEST:: SOT 596417 SOS 504850 HAS SOPS 495392 HAS SOUS 53176 HAS SOUPS 53101 WITH SCORE 53605.85
AT ITER 6077 NEW BEST:: SOT 596385 SOS 504818 HAS SOPS 495360 HAS SOUS 53157 HAS SOUPS 53082 WITH SCORE 53586.818
AT ITER 6102 NEW BEST:: SOT 596385 SOS 504875 HAS SOPS 495414 HAS SOUS 53154 HAS SOUPS 53079 WITH SCORE 53583.875
AT ITER 6108 NEW BEST:: SOT 596443 SOS 504933 HAS SOPS 495472 HAS SOUS 53152 HAS SOUPS 53077 WITH SCORE 53581.933
AT ITER 6142 NEW BEST:: SOT 596081 SOS 504459 HAS SOPS 494846 HAS SOUS 53144 HAS SOUPS 53058 WITH SCORE 53562.459
AT ITER 6156 NEW BEST:: SOT 596261 SOS 504639 HAS SOPS 495026 HAS SOUS 53116 HAS SOUPS 53030 WITH SCORE 53534.639
AT ITER 6172 NEW BEST:: SOT 596108 SOS 504486 HAS SOPS 494873 HAS SOUS 53098 HAS SOUPS 53012 WITH SCORE 53516.486
AT ITER 6180 NEW BEST:: SOT 596108 SOS 504500 HAS SOPS 494873 HAS SOUS 53078 HAS SOUPS 52992 WITH SCORE 53496.5
AT ITER 6232 NEW BEST:: SOT 596038 SOS 504430 HAS SOPS 494803 HAS SOUS 53005 HAS SOUPS 52919 WITH SCORE 53423.43
AT ITER 6260 NEW BEST:: SOT 596080 SOS 504472 HAS SOPS 494845 HAS SOUS 52988 HAS SOUPS 52902 WITH SCORE 53406.472
AT ITER 6316 NEW BEST:: SOT 596080 SOS 504808 HAS SOPS 495229 HAS SOUS 52874 HAS SOUPS 52788 WITH SCORE 53292.808
AT ITER 6346 NEW BEST:: SOT 596008 SOS 504736 HAS SOPS 495157 HAS SOUS 52819 HAS SOUPS 52733 WITH SCORE 53237.736
AT ITER 6360 NEW BEST:: SOT 595991 SOS 504719 HAS SOPS 495140 HAS SOUS 52802 HAS SOUPS 52716 WITH SCORE 53220.719
AT ITER 6380 NEW BEST:: SOT 596263 SOS 504991 HAS SOPS 495412 HAS SOUS 52756 HAS SOUPS 52670 WITH SCORE 53174.991
AT ITER 6437 NEW BEST:: SOT 596268 SOS 504996 HAS SOPS 495417 HAS SOUS 52751 HAS SOUPS 52665 WITH SCORE 53169.996
AT ITER 6478 NEW BEST:: SOT 596268 SOS 505047 HAS SOPS 495723 HAS SOUS 52700 HAS SOUPS 52631 WITH SCORE 53136.047
AT ITER 6488 NEW BEST:: SOT 595939 SOS 504718 HAS SOPS 495394 HAS SOUS 52384 HAS SOUPS 52315 WITH SCORE 52819.718
AT ITER 6507 NEW BEST:: SOT 595939 SOS 504758 HAS SOPS 495466 HAS SOUS 52378 HAS SOUPS 52311 WITH SCORE 52815.758
AT ITER 6520 NEW BEST:: SOT 595033 SOS 503852 HAS SOPS 494560 HAS SOUS 52236 HAS SOUPS 52169 WITH SCORE 52672.852
AT ITER 6527 NEW BEST:: SOT 594987 SOS 503806 HAS SOPS 494514 HAS SOUS 52206 HAS SOUPS 52139 WITH SCORE 52642.806
AT ITER 6578 NEW BEST:: SOT 594981 SOS 503752 HAS SOPS 494292 HAS SOUS 52211 HAS SOUPS 52138 WITH SCORE 52641.752
AT ITER 6605 NEW BEST:: SOT 594688 SOS 503459 HAS SOPS 493999 HAS SOUS 51957 HAS SOUPS 51884 WITH SCORE 52387.459
AT ITER 6615 NEW BEST:: SOT 594755 SOS 503526 HAS SOPS 494066 HAS SOUS 51901 HAS SOUPS 51828 WITH SCORE 52331.526
AT ITER 6629 NEW BEST:: SOT 594573 SOS 503344 HAS SOPS 493884 HAS SOUS 51830 HAS SOUPS 51757 WITH SCORE 52260.344
AT ITER 6783 NEW BEST:: SOT 594573 SOS 503344 HAS SOPS 493884 HAS SOUS 51808 HAS SOUPS 51735 WITH SCORE 52238.344
AT ITER 6788 NEW BEST:: SOT 594573 SOS 503344 HAS SOPS 493884 HAS SOUS 51797 HAS SOUPS 51724 WITH SCORE 52227.344
AT ITER 6832 NEW BEST:: SOT 594498 SOS 503269 HAS SOPS 493809 HAS SOUS 51771 HAS SOUPS 51698 WITH SCORE 52201.269
AT ITER 6854 NEW BEST:: SOT 594498 SOS 503316 HAS SOPS 493899 HAS SOUS 51762 HAS SOUPS 51693 WITH SCORE 52196.316
AT ITER 6857 NEW BEST:: SOT 594470 SOS 503288 HAS SOPS 493871 HAS SOUS 51741 HAS SOUPS 51672 WITH SCORE 52175.288
AT ITER 6921 NEW BEST:: SOT 594458 SOS 503276 HAS SOPS 493859 HAS SOUS 51733 HAS SOUPS 51664 WITH SCORE 52167.276
AT ITER 6983 NEW BEST:: SOT 594439 SOS 503257 HAS SOPS 493840 HAS SOUS 51700 HAS SOUPS 51631 WITH SCORE 52134.257
AT ITER 6994 NEW BEST:: SOT 594474 SOS 503314 HAS SOPS 494055 HAS SOUS 51658 HAS SOUPS 51594 WITH SCORE 52097.314
AT ITER 7029 NEW BEST:: SOT 594390 SOS 503230 HAS SOPS 493971 HAS SOUS 51561 HAS SOUPS 51497 WITH SCORE 52000.23
AT ITER 7051 NEW BEST:: SOT 594389 SOS 503229 HAS SOPS 493970 HAS SOUS 51560 HAS SOUPS 51496 WITH SCORE 51999.229
AT ITER 7059 NEW BEST:: SOT 594467 SOS 503307 HAS SOPS 494048 HAS SOUS 51489 HAS SOUPS 51425 WITH SCORE 51928.307
AT ITER 7170 NEW BEST:: SOT 594488 SOS 503328 HAS SOPS 494069 HAS SOUS 51461 HAS SOUPS 51397 WITH SCORE 51900.328
AT ITER 7241 NEW BEST:: SOT 594436 SOS 503276 HAS SOPS 494017 HAS SOUS 51420 HAS SOUPS 51356 WITH SCORE 51859.276
AT ITER 7244 NEW BEST:: SOT 594256 SOS 503096 HAS SOPS 493837 HAS SOUS 51250 HAS SOUPS 51186 WITH SCORE 51689.096
AT ITER 7260 NEW BEST:: SOT 593931 SOS 502771 HAS SOPS 493512 HAS SOUS 51230 HAS SOUPS 51166 WITH SCORE 51668.771
AT ITER 7276 NEW BEST:: SOT 593885 SOS 502701 HAS SOPS 493466 HAS SOUS 51130 HAS SOUPS 51066 WITH SCORE 51568.701
AT ITER 7367 NEW BEST:: SOT 593752 SOS 502540 HAS SOPS 493153 HAS SOUS 51117 HAS SOUPS 51048 WITH SCORE 51550.54
AT ITER 7374 NEW BEST:: SOT 593874 SOS 502662 HAS SOPS 493275 HAS SOUS 50934 HAS SOUPS 50865 WITH SCORE 51367.662
AT ITER 7456 NEW BEST:: SOT 593605 SOS 502393 HAS SOPS 493006 HAS SOUS 50847 HAS SOUPS 50778 WITH SCORE 51280.393
AT ITER 7461 NEW BEST:: SOT 593941 SOS 502729 HAS SOPS 493342 HAS SOUS 50694 HAS SOUPS 50625 WITH SCORE 51127.729
AT ITER 7626 NEW BEST:: SOT 593125 SOS 501913 HAS SOPS 492526 HAS SOUS 50688 HAS SOUPS 50619 WITH SCORE 51120.913
AT ITER 7653 NEW BEST:: SOT 593099 SOS 501887 HAS SOPS 492500 HAS SOUS 50678 HAS SOUPS 50609 WITH SCORE 51110.887
AT ITER 7716 NEW BEST:: SOT 593142 SOS 501930 HAS SOPS 492543 HAS SOUS 50627 HAS SOUPS 50558 WITH SCORE 51059.93
AT ITER 7720 NEW BEST:: SOT 593132 SOS 501920 HAS SOPS 492533 HAS SOUS 50627 HAS SOUPS 50558 WITH SCORE 51059.92
AT ITER 7795 NEW BEST:: SOT 593132 SOS 501680 HAS SOPS 492245 HAS SOUS 50627 HAS SOUPS 50558 WITH SCORE 51059.68
AT ITER 7803 NEW BEST:: SOT 593615 SOS 502163 HAS SOPS 492728 HAS SOUS 50604 HAS SOUPS 50535 WITH SCORE 51037.163
AT ITER 7814 NEW BEST:: SOT 593606 SOS 502154 HAS SOPS 492719 HAS SOUS 50604 HAS SOUPS 50535 WITH SCORE 51037.154
AT ITER 7824 NEW BEST:: SOT 593580 SOS 502128 HAS SOPS 492693 HAS SOUS 50600 HAS SOUPS 50531 WITH SCORE 51033.128
AT ITER 7829 NEW BEST:: SOT 593614 SOS 502162 HAS SOPS 492727 HAS SOUS 50487 HAS SOUPS 50418 WITH SCORE 50920.162
AT ITER 7843 NEW BEST:: SOT 593586 SOS 502134 HAS SOPS 492699 HAS SOUS 50451 HAS SOUPS 50382 WITH SCORE 50884.134
AT ITER 7905 NEW BEST:: SOT 593594 SOS 502142 HAS SOPS 492707 HAS SOUS 50385 HAS SOUPS 50316 WITH SCORE 50818.142
AT ITER 7916 NEW BEST:: SOT 593597 SOS 502145 HAS SOPS 492710 HAS SOUS 50373 HAS SOUPS 50304 WITH SCORE 50806.145
AT ITER 7918 NEW BEST:: SOT 593392 SOS 501940 HAS SOPS 492505 HAS SOUS 50313 HAS SOUPS 50244 WITH SCORE 50745.94
AT ITER 8012 NEW BEST:: SOT 593446 SOS 502072 HAS SOPS 492811 HAS SOUS 50300 HAS SOUPS 50238 WITH SCORE 50740.072
AT ITER 8029 NEW BEST:: SOT 593200 SOS 501826 HAS SOPS 492565 HAS SOUS 50228 HAS SOUPS 50166 WITH SCORE 50667.826
AT ITER 8042 NEW BEST:: SOT 593243 SOS 501869 HAS SOPS 492608 HAS SOUS 50226 HAS SOUPS 50164 WITH SCORE 50665.869
AT ITER 8043 NEW BEST:: SOT 592228 SOS 500854 HAS SOPS 491593 HAS SOUS 50094 HAS SOUPS 50032 WITH SCORE 50532.854
AT ITER 8071 NEW BEST:: SOT 592228 SOS 500794 HAS SOPS 491533 HAS SOUS 50094 HAS SOUPS 50032 WITH SCORE 50532.794
AT ITER 8093 NEW BEST:: SOT 592085 SOS 500311 HAS SOPS 490634 HAS SOUS 50109 HAS SOUPS 50026 WITH SCORE 50526.311
AT ITER 8095 NEW BEST:: SOT 592071 SOS 500297 HAS SOPS 490620 HAS SOUS 50050 HAS SOUPS 49967 WITH SCORE 50467.297
AT ITER 8144 NEW BEST:: SOT 592068 SOS 500294 HAS SOPS 490617 HAS SOUS 50047 HAS SOUPS 49964 WITH SCORE 50464.294
AT ITER 8161 NEW BEST:: SOT 592137 SOS 500519 HAS SOPS 491046 HAS SOUS 49978 HAS SOUPS 49905 WITH SCORE 50405.519
AT ITER 8173 NEW BEST:: SOT 591956 SOS 500338 HAS SOPS 490865 HAS SOUS 49869 HAS SOUPS 49796 WITH SCORE 50296.338
AT ITER 8185 NEW BEST:: SOT 591962 SOS 500344 HAS SOPS 490871 HAS SOUS 49856 HAS SOUPS 49783 WITH SCORE 50283.344
AT ITER 8227 NEW BEST:: SOT 591935 SOS 500317 HAS SOPS 490844 HAS SOUS 49830 HAS SOUPS 49757 WITH SCORE 50257.317
AT ITER 8265 NEW BEST:: SOT 591577 SOS 499959 HAS SOPS 490486 HAS SOUS 49769 HAS SOUPS 49696 WITH SCORE 50195.959
AT ITER 8266 NEW BEST:: SOT 591577 SOS 499935 HAS SOPS 490462 HAS SOUS 49769 HAS SOUPS 49696 WITH SCORE 50195.935
AT ITER 8320 NEW BEST:: SOT 591555 SOS 499913 HAS SOPS 490440 HAS SOUS 49749 HAS SOUPS 49676 WITH SCORE 50175.913
AT ITER 8341 NEW BEST:: SOT 591559 SOS 499917 HAS SOPS 490444 HAS SOUS 49746 HAS SOUPS 49673 WITH SCORE 50172.917
AT ITER 8370 NEW BEST:: SOT 591540 SOS 499898 HAS SOPS 490425 HAS SOUS 49723 HAS SOUPS 49650 WITH SCORE 50149.898
AT ITER 8414 NEW BEST:: SOT 591551 SOS 499909 HAS SOPS 490436 HAS SOUS 49667 HAS SOUPS 49594 WITH SCORE 50093.909
AT ITER 8440 NEW BEST:: SOT 591585 SOS 499943 HAS SOPS 490470 HAS SOUS 49578 HAS SOUPS 49505 WITH SCORE 50004.943
AT ITER 8562 NEW BEST:: SOT 591555 SOS 499913 HAS SOPS 490440 HAS SOUS 49547 HAS SOUPS 49474 WITH SCORE 49973.913
AT ITER 8584 NEW BEST:: SOT 591495 SOS 499853 HAS SOPS 490380 HAS SOUS 49501 HAS SOUPS 49428 WITH SCORE 49927.853
AT ITER 8622 NEW BEST:: SOT 591379 SOS 499737 HAS SOPS 490264 HAS SOUS 49483 HAS SOUPS 49410 WITH SCORE 49909.737
AT ITER 8747 NEW BEST:: SOT 591347 SOS 499705 HAS SOPS 490232 HAS SOUS 49468 HAS SOUPS 49395 WITH SCORE 49894.705
AT ITER 8784 NEW BEST:: SOT 591382 SOS 500076 HAS SOPS 491023 HAS SOUS 49441 HAS SOUPS 49389 WITH SCORE 49889.076
AT ITER 8814 NEW BEST:: SOT 591382 SOS 500106 HAS SOPS 491071 HAS SOUS 49430 HAS SOUPS 49378 WITH SCORE 49878.106
AT ITER 8815 NEW BEST:: SOT 591391 SOS 500320 HAS SOPS 491380 HAS SOUS 49421 HAS SOUPS 49369 WITH SCORE 49869.32
AT ITER 8849 NEW BEST:: SOT 591401 SOS 500330 HAS SOPS 491390 HAS SOUS 49413 HAS SOUPS 49361 WITH SCORE 49861.33
AT ITER 8869 NEW BEST:: SOT 591211 SOS 500140 HAS SOPS 491200 HAS SOUS 49336 HAS SOUPS 49284 WITH SCORE 49784.14
AT ITER 8897 NEW BEST:: SOT 591171 SOS 500100 HAS SOPS 491160 HAS SOUS 49321 HAS SOUPS 49269 WITH SCORE 49769.1
AT ITER 9006 NEW BEST:: SOT 591151 SOS 500080 HAS SOPS 491140 HAS SOUS 49291 HAS SOUPS 49239 WITH SCORE 49739.08
AT ITER 9080 NEW BEST:: SOT 591100 SOS 500029 HAS SOPS 491089 HAS SOUS 49232 HAS SOUPS 49180 WITH SCORE 49680.029
AT ITER 9097 NEW BEST:: SOT 591082 SOS 500011 HAS SOPS 491071 HAS SOUS 49136 HAS SOUPS 49084 WITH SCORE 49584.011
AT ITER 9104 NEW BEST:: SOT 590942 SOS 499871 HAS SOPS 490931 HAS SOUS 49120 HAS SOUPS 49068 WITH SCORE 49567.871
AT ITER 9111 NEW BEST:: SOT 591060 SOS 499989 HAS SOPS 491049 HAS SOUS 49118 HAS SOUPS 49066 WITH SCORE 49565.989
AT ITER 9120 NEW BEST:: SOT 591092 SOS 500021 HAS SOPS 491081 HAS SOUS 49108 HAS SOUPS 49056 WITH SCORE 49556.021
AT ITER 9136 NEW BEST:: SOT 591010 SOS 499939 HAS SOPS 490999 HAS SOUS 49092 HAS SOUPS 49040 WITH SCORE 49539.939
AT ITER 9154 NEW BEST:: SOT 591010 SOS 499939 HAS SOPS 490999 HAS SOUS 49063 HAS SOUPS 49011 WITH SCORE 49510.939
AT ITER 9168 NEW BEST:: SOT 591273 SOS 500202 HAS SOPS 491262 HAS SOUS 49048 HAS SOUPS 48996 WITH SCORE 49496.202
AT ITER 9189 NEW BEST:: SOT 591264 SOS 500193 HAS SOPS 491253 HAS SOUS 49021 HAS SOUPS 48969 WITH SCORE 49469.193
AT ITER 9253 NEW BEST:: SOT 591292 SOS 500221 HAS SOPS 491281 HAS SOUS 49020 HAS SOUPS 48968 WITH SCORE 49468.221
AT ITER 9295 NEW BEST:: SOT 591308 SOS 500237 HAS SOPS 491297 HAS SOUS 49010 HAS SOUPS 48958 WITH SCORE 49458.237
AT ITER 9298 NEW BEST:: SOT 591316 SOS 500245 HAS SOPS 491305 HAS SOUS 49004 HAS SOUPS 48952 WITH SCORE 49452.245
AT ITER 9408 NEW BEST:: SOT 591310 SOS 500239 HAS SOPS 491299 HAS SOUS 48999 HAS SOUPS 48947 WITH SCORE 49447.239
AT ITER 9417 NEW BEST:: SOT 591155 SOS 500084 HAS SOPS 491144 HAS SOUS 48943 HAS SOUPS 48891 WITH SCORE 49391.084
AT ITER 9476 NEW BEST:: SOT 591139 SOS 500068 HAS SOPS 491128 HAS SOUS 48942 HAS SOUPS 48890 WITH SCORE 49390.068
AT ITER 9511 NEW BEST:: SOT 590997 SOS 499926 HAS SOPS 490986 HAS SOUS 48866 HAS SOUPS 48814 WITH SCORE 49313.926
AT ITER 9586 NEW BEST:: SOT 590753 SOS 499682 HAS SOPS 490742 HAS SOUS 48824 HAS SOUPS 48772 WITH SCORE 49271.682
AT ITER 9593 NEW BEST:: SOT 590672 SOS 499601 HAS SOPS 490661 HAS SOUS 48746 HAS SOUPS 48694 WITH SCORE 49193.601
AT ITER 9628 NEW BEST:: SOT 590440 SOS 499369 HAS SOPS 490429 HAS SOUS 48601 HAS SOUPS 48549 WITH SCORE 49048.369
AT ITER 9651 NEW BEST:: SOT 590434 SOS 499363 HAS SOPS 490423 HAS SOUS 48593 HAS SOUPS 48541 WITH SCORE 49040.363
AT ITER 9656 NEW BEST:: SOT 590452 SOS 499381 HAS SOPS 490441 HAS SOUS 48565 HAS SOUPS 48513 WITH SCORE 49012.381
AT ITER 9805 NEW BEST:: SOT 590341 SOS 499270 HAS SOPS 490330 HAS SOUS 48510 HAS SOUPS 48458 WITH SCORE 48957.27
AT ITER 9824 NEW BEST:: SOT 590257 SOS 499186 HAS SOPS 490246 HAS SOUS 48496 HAS SOUPS 48444 WITH SCORE 48943.186
AT ITER 9846 NEW BEST:: SOT 590157 SOS 499086 HAS SOPS 490146 HAS SOUS 48488 HAS SOUPS 48436 WITH SCORE 48935.086
AT ITER 9850 NEW BEST:: SOT 590173 SOS 499102 HAS SOPS 490162 HAS SOUS 48480 HAS SOUPS 48428 WITH SCORE 48927.102
AT ITER 9874 NEW BEST:: SOT 590176 SOS 499105 HAS SOPS 490165 HAS SOUS 48471 HAS SOUPS 48419 WITH SCORE 48918.105
AT ITER 9939 NEW BEST:: SOT 590178 SOS 499107 HAS SOPS 490167 HAS SOUS 48454 HAS SOUPS 48402 WITH SCORE 48901.107
AT ITER 9968 NEW BEST:: SOT 590178 SOS 499107 HAS SOPS 490167 HAS SOUS 48442 HAS SOUPS 48390 WITH SCORE 48889.107
AT ITER 9973 NEW BEST:: SOT 590092 SOS 499021 HAS SOPS 490081 HAS SOUS 48408 HAS SOUPS 48356 WITH SCORE 48855.021

BK_STOP 1589651174565

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 471 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="PhaseVariation-PT-D10CS100"
export BK_EXAMINATION="StateSpace"
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 PhaseVariation-PT-D10CS100, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961251100800"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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