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-158961251000796.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251000796
=====================================================================

--------------------
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 5.6K Mar 24 05:37 GenericPropertiesVerdict.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)

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589648751162

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

GOT IT HERE. BS
Petri model created: 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 656186 HAS SOPS 586091 HAS SOUS 527530 HAS SOUPS 514975 WITH SCORE 515631.186
AT ITER 2 NEW BEST:: SOT 919740 SOS 657659 HAS SOPS 586169 HAS SOUS 527743 HAS SOUPS 514285 WITH SCORE 514942.659
AT ITER 3 NEW BEST:: SOT 919740 SOS 657244 HAS SOPS 585611 HAS SOUS 527316 HAS SOUPS 513721 WITH SCORE 514378.244
AT ITER 4 NEW BEST:: SOT 919740 SOS 657786 HAS SOPS 585437 HAS SOUS 527585 HAS SOUPS 513295 WITH SCORE 513952.786
AT ITER 5 NEW BEST:: SOT 919740 SOS 657373 HAS SOPS 584987 HAS SOUS 525598 HAS SOUPS 511097 WITH SCORE 511754.373
AT ITER 7 NEW BEST:: SOT 919740 SOS 657973 HAS SOPS 584837 HAS SOUS 524922 HAS SOUPS 510113 WITH SCORE 510770.973
AT ITER 8 NEW BEST:: SOT 919740 SOS 657920 HAS SOPS 584297 HAS SOUS 524789 HAS SOUPS 509533 WITH SCORE 510190.92
AT ITER 9 NEW BEST:: SOT 919740 SOS 659904 HAS SOPS 584297 HAS SOUS 523117 HAS SOUPS 507705 WITH SCORE 508364.904
AT ITER 11 NEW BEST:: SOT 919740 SOS 660290 HAS SOPS 584513 HAS SOUS 523015 HAS SOUPS 507599 WITH SCORE 508259.29
AT ITER 15 NEW BEST:: SOT 919740 SOS 659605 HAS SOPS 583703 HAS SOUS 521990 HAS SOUPS 506619 WITH SCORE 507278.605
AT ITER 16 NEW BEST:: SOT 919740 SOS 659645 HAS SOPS 583523 HAS SOUS 521590 HAS SOUPS 506219 WITH SCORE 506878.645
AT ITER 18 NEW BEST:: SOT 919740 SOS 659240 HAS SOPS 582299 HAS SOUS 519952 HAS SOUPS 504385 WITH SCORE 505044.24
AT ITER 19 NEW BEST:: SOT 919740 SOS 659396 HAS SOPS 582311 HAS SOUS 520085 HAS SOUPS 504254 WITH SCORE 504913.396
AT ITER 21 NEW BEST:: SOT 919740 SOS 661178 HAS SOPS 582881 HAS SOUS 519703 HAS SOUPS 503386 WITH SCORE 504047.178
AT ITER 22 NEW BEST:: SOT 919740 SOS 663700 HAS SOPS 582881 HAS SOUS 517191 HAS SOUPS 500864 WITH SCORE 501527.7
AT ITER 25 NEW BEST:: SOT 919740 SOS 663936 HAS SOPS 582863 HAS SOUS 516495 HAS SOUPS 500144 WITH SCORE 500807.936
AT ITER 28 NEW BEST:: SOT 919740 SOS 664398 HAS SOPS 581819 HAS SOUS 513428 HAS SOUPS 496696 WITH SCORE 497360.398
AT ITER 30 NEW BEST:: SOT 919740 SOS 664316 HAS SOPS 581627 HAS SOUS 513214 HAS SOUPS 496438 WITH SCORE 497102.316
AT ITER 31 NEW BEST:: SOT 919740 SOS 664121 HAS SOPS 581339 HAS SOUS 510983 HAS SOUPS 494314 WITH SCORE 494978.121
AT ITER 33 NEW BEST:: SOT 919740 SOS 664279 HAS SOPS 581339 HAS SOUS 511131 HAS SOUPS 494294 WITH SCORE 494958.279
AT ITER 36 NEW BEST:: SOT 919832 SOS 665627 HAS SOPS 582139 HAS SOUS 510333 HAS SOUPS 493451 WITH SCORE 494116.627
AT ITER 37 NEW BEST:: SOT 919832 SOS 664770 HAS SOPS 580465 HAS SOUS 507714 HAS SOUPS 490893 WITH SCORE 491557.77
AT ITER 39 NEW BEST:: SOT 919832 SOS 665042 HAS SOPS 580051 HAS SOUS 507350 HAS SOUPS 489712 WITH SCORE 490377.042
AT ITER 40 NEW BEST:: SOT 919832 SOS 664994 HAS SOPS 579955 HAS SOUS 506865 HAS SOUPS 489097 WITH SCORE 489761.994
AT ITER 41 NEW BEST:: SOT 919832 SOS 664262 HAS SOPS 580309 HAS SOUS 505891 HAS SOUPS 488275 WITH SCORE 488939.262
AT ITER 42 NEW BEST:: SOT 919832 SOS 664030 HAS SOPS 579781 HAS SOUS 505027 HAS SOUPS 487431 WITH SCORE 488095.03
AT ITER 43 NEW BEST:: SOT 919832 SOS 664628 HAS SOPS 580261 HAS SOUS 504901 HAS SOUPS 487265 WITH SCORE 487929.628
AT ITER 46 NEW BEST:: SOT 919832 SOS 665783 HAS SOPS 582811 HAS SOUS 503014 HAS SOUPS 485282 WITH SCORE 485947.783
AT ITER 48 NEW BEST:: SOT 919832 SOS 667863 HAS SOPS 582811 HAS SOUS 500934 HAS SOUPS 483202 WITH SCORE 483869.863
AT ITER 49 NEW BEST:: SOT 919832 SOS 667692 HAS SOPS 582973 HAS SOUS 500015 HAS SOUPS 482358 WITH SCORE 483025.692
AT ITER 50 NEW BEST:: SOT 919832 SOS 669092 HAS SOPS 582277 HAS SOUS 498076 HAS SOUPS 479752 WITH SCORE 480421.092
AT ITER 51 NEW BEST:: SOT 919832 SOS 669168 HAS SOPS 581935 HAS SOUS 498136 HAS SOUPS 479657 WITH SCORE 480326.168
AT ITER 53 NEW BEST:: SOT 919832 SOS 670282 HAS SOPS 584671 HAS SOUS 496257 HAS SOUPS 477955 WITH SCORE 478625.282
AT ITER 54 NEW BEST:: SOT 919832 SOS 670670 HAS SOPS 585463 HAS SOUS 495542 HAS SOUPS 477284 WITH SCORE 477954.67
AT ITER 58 NEW BEST:: SOT 919832 SOS 672419 HAS SOPS 585949 HAS SOUS 493864 HAS SOUPS 475543 WITH SCORE 476215.419
AT ITER 60 NEW BEST:: SOT 919832 SOS 673332 HAS SOPS 585139 HAS SOUS 491314 HAS SOUPS 472993 WITH SCORE 473666.332
AT ITER 61 NEW BEST:: SOT 919832 SOS 675365 HAS SOPS 585469 HAS SOUS 488633 HAS SOUPS 470253 WITH SCORE 470928.365
AT ITER 62 NEW BEST:: SOT 919832 SOS 675850 HAS SOPS 587557 HAS SOUS 486748 HAS SOUPS 468507 WITH SCORE 469182.85
AT ITER 64 NEW BEST:: SOT 919832 SOS 675702 HAS SOPS 587677 HAS SOUS 486389 HAS SOUPS 468132 WITH SCORE 468807.702
AT ITER 65 NEW BEST:: SOT 919832 SOS 675107 HAS SOPS 586255 HAS SOUS 484054 HAS SOUPS 465833 WITH SCORE 466508.107
AT ITER 67 NEW BEST:: SOT 919832 SOS 676269 HAS SOPS 586255 HAS SOUS 482865 HAS SOUPS 464644 WITH SCORE 465320.269
AT ITER 68 NEW BEST:: SOT 919832 SOS 676164 HAS SOPS 586255 HAS SOUS 482687 HAS SOUPS 464501 WITH SCORE 465177.164
AT ITER 71 NEW BEST:: SOT 919832 SOS 677661 HAS SOPS 586765 HAS SOUS 481497 HAS SOUPS 463198 WITH SCORE 463875.661
AT ITER 72 NEW BEST:: SOT 919832 SOS 677800 HAS SOPS 587113 HAS SOUS 481109 HAS SOUPS 462868 WITH SCORE 463545.8
AT ITER 73 NEW BEST:: SOT 919832 SOS 677820 HAS SOPS 587113 HAS SOUS 481089 HAS SOUPS 462848 WITH SCORE 463525.82
AT ITER 74 NEW BEST:: SOT 919832 SOS 678399 HAS SOPS 589139 HAS SOUS 477732 HAS SOUPS 459767 WITH SCORE 460445.399
AT ITER 75 NEW BEST:: SOT 919832 SOS 678604 HAS SOPS 589445 HAS SOUS 476218 HAS SOUPS 458343 WITH SCORE 459021.604
AT ITER 81 NEW BEST:: SOT 919832 SOS 678798 HAS SOPS 589445 HAS SOUS 476014 HAS SOUPS 458139 WITH SCORE 458817.798
AT ITER 82 NEW BEST:: SOT 919832 SOS 679776 HAS SOPS 592237 HAS SOUS 472948 HAS SOUPS 455364 WITH SCORE 456043.776
AT ITER 84 NEW BEST:: SOT 919832 SOS 679825 HAS SOPS 594145 HAS SOUS 471646 HAS SOUPS 454231 WITH SCORE 454910.825
AT ITER 85 NEW BEST:: SOT 919832 SOS 679675 HAS SOPS 593659 HAS SOUS 471415 HAS SOUPS 454000 WITH SCORE 454679.675
AT ITER 86 NEW BEST:: SOT 919832 SOS 679511 HAS SOPS 594307 HAS SOUS 470988 HAS SOUPS 453641 WITH SCORE 454320.511
AT ITER 88 NEW BEST:: SOT 919832 SOS 679388 HAS SOPS 593827 HAS SOUS 470142 HAS SOUPS 452795 WITH SCORE 453474.388
AT ITER 89 NEW BEST:: SOT 919832 SOS 678846 HAS SOPS 592831 HAS SOUS 468170 HAS SOUPS 450755 WITH SCORE 451433.846
AT ITER 90 NEW BEST:: SOT 919832 SOS 677990 HAS SOPS 591823 HAS SOUS 465121 HAS SOUPS 447849 WITH SCORE 448526.99
AT ITER 91 NEW BEST:: SOT 919832 SOS 677858 HAS SOPS 589897 HAS SOUS 463419 HAS SOUPS 446080 WITH SCORE 446757.858
AT ITER 97 NEW BEST:: SOT 919832 SOS 677882 HAS SOPS 589933 HAS SOUS 463393 HAS SOUPS 446056 WITH SCORE 446733.882
AT ITER 98 NEW BEST:: SOT 919832 SOS 678276 HAS SOPS 590773 HAS SOUS 462317 HAS SOUPS 445018 WITH SCORE 445696.276
AT ITER 99 NEW BEST:: SOT 919832 SOS 678115 HAS SOPS 590773 HAS SOUS 462212 HAS SOUPS 444927 WITH SCORE 445605.115
AT ITER 100 NEW BEST:: SOT 919832 SOS 678250 HAS SOPS 592321 HAS SOUS 462070 HAS SOUPS 444871 WITH SCORE 445549.25
AT ITER 101 NEW BEST:: SOT 919832 SOS 677532 HAS SOPS 589981 HAS SOUS 461567 HAS SOUPS 444028 WITH SCORE 444705.532
AT ITER 102 NEW BEST:: SOT 919832 SOS 677516 HAS SOPS 589933 HAS SOUS 461563 HAS SOUPS 443992 WITH SCORE 444669.516
AT ITER 103 NEW BEST:: SOT 919832 SOS 677396 HAS SOPS 589933 HAS SOUS 461505 HAS SOUPS 443938 WITH SCORE 444615.396
AT ITER 104 NEW BEST:: SOT 919832 SOS 676757 HAS SOPS 588931 HAS SOUS 460232 HAS SOUPS 442665 WITH SCORE 443341.757
AT ITER 105 NEW BEST:: SOT 919832 SOS 676765 HAS SOPS 588925 HAS SOUS 460171 HAS SOUPS 442604 WITH SCORE 443280.765
AT ITER 106 NEW BEST:: SOT 916880 SOS 680909 HAS SOPS 601369 HAS SOUS 456122 HAS SOUPS 442350 WITH SCORE 443030.909
AT ITER 107 NEW BEST:: SOT 916880 SOS 681379 HAS SOPS 602581 HAS SOUS 451465 HAS SOUPS 437838 WITH SCORE 438519.379
AT ITER 108 NEW BEST:: SOT 916880 SOS 680385 HAS SOPS 601339 HAS SOUS 451112 HAS SOUPS 437485 WITH SCORE 438165.385
AT ITER 110 NEW BEST:: SOT 916880 SOS 680497 HAS SOPS 601531 HAS SOUS 451078 HAS SOUPS 437435 WITH SCORE 438115.497
AT ITER 111 NEW BEST:: SOT 917153 SOS 681614 HAS SOPS 602742 HAS SOUS 445691 HAS SOUPS 432048 WITH SCORE 432729.614
AT ITER 114 NEW BEST:: SOT 732823 SOS 497926 HAS SOPS 418464 HAS SOUS 259922 HAS SOUPS 246364 WITH SCORE 246861.926
AT ITER 116 NEW BEST:: SOT 731881 SOS 496588 HAS SOPS 417402 HAS SOUS 258085 HAS SOUPS 244584 WITH SCORE 245080.588
AT ITER 117 NEW BEST:: SOT 731761 SOS 496468 HAS SOPS 417282 HAS SOUS 257979 HAS SOUPS 244478 WITH SCORE 244974.468
AT ITER 119 NEW BEST:: SOT 732390 SOS 497689 HAS SOPS 419363 HAS SOUS 255041 HAS SOUPS 241741 WITH SCORE 242238.689
AT ITER 120 NEW BEST:: SOT 732489 SOS 498860 HAS SOPS 422222 HAS SOUS 253891 HAS SOUPS 240803 WITH SCORE 241301.86
AT ITER 121 NEW BEST:: SOT 732489 SOS 498533 HAS SOPS 421556 HAS SOUS 253651 HAS SOUPS 240563 WITH SCORE 241061.533
AT ITER 122 NEW BEST:: SOT 732489 SOS 497708 HAS SOPS 421360 HAS SOUS 252361 HAS SOUPS 239371 WITH SCORE 239868.708
AT ITER 123 NEW BEST:: SOT 732489 SOS 497672 HAS SOPS 421684 HAS SOUS 252224 HAS SOUPS 239252 WITH SCORE 239749.672
AT ITER 126 NEW BEST:: SOT 732667 SOS 497227 HAS SOPS 422042 HAS SOUS 252077 HAS SOUPS 239105 WITH SCORE 239602.227
AT ITER 128 NEW BEST:: SOT 732667 SOS 495351 HAS SOPS 419834 HAS SOUS 251711 HAS SOUPS 238739 WITH SCORE 239234.351
AT ITER 130 NEW BEST:: SOT 732667 SOS 492746 HAS SOPS 418772 HAS SOUS 250601 HAS SOUPS 237769 WITH SCORE 238261.746
AT ITER 131 NEW BEST:: SOT 732667 SOS 492841 HAS SOPS 418916 HAS SOUS 250383 HAS SOUPS 237548 WITH SCORE 238040.841
AT ITER 132 NEW BEST:: SOT 732667 SOS 492613 HAS SOPS 418766 HAS SOUS 249986 HAS SOUPS 237176 WITH SCORE 237668.613
AT ITER 133 NEW BEST:: SOT 732667 SOS 494077 HAS SOPS 422042 HAS SOUS 247670 HAS SOUPS 235039 WITH SCORE 235533.077
AT ITER 134 NEW BEST:: SOT 733808 SOS 497124 HAS SOPS 424851 HAS SOUS 244752 HAS SOUPS 232201 WITH SCORE 232698.124
AT ITER 137 NEW BEST:: SOT 733808 SOS 497123 HAS SOPS 423891 HAS SOUS 244523 HAS SOUPS 231912 WITH SCORE 232409.123
AT ITER 143 NEW BEST:: SOT 734252 SOS 498159 HAS SOPS 424305 HAS SOUS 243551 HAS SOUPS 230902 WITH SCORE 231400.159
AT ITER 146 NEW BEST:: SOT 734252 SOS 566056 HAS SOPS 424429 HAS SOUS 242035 HAS SOUPS 229386 WITH SCORE 229952.056
AT ITER 147 NEW BEST:: SOT 734121 SOS 565925 HAS SOPS 424298 HAS SOUS 241764 HAS SOUPS 229115 WITH SCORE 229680.925
AT ITER 148 NEW BEST:: SOT 734121 SOS 565925 HAS SOPS 424298 HAS SOUS 240975 HAS SOUPS 228372 WITH SCORE 228937.925
AT ITER 151 NEW BEST:: SOT 734121 SOS 566081 HAS SOPS 424298 HAS SOUS 240253 HAS SOUPS 227650 WITH SCORE 228216.081
AT ITER 154 NEW BEST:: SOT 734121 SOS 566247 HAS SOPS 424946 HAS SOUS 239703 HAS SOUPS 227136 WITH SCORE 227702.247
AT ITER 155 NEW BEST:: SOT 734121 SOS 566525 HAS SOPS 423686 HAS SOUS 239712 HAS SOUPS 227075 WITH SCORE 227641.525
AT ITER 160 NEW BEST:: SOT 734121 SOS 567209 HAS SOPS 423686 HAS SOUS 239047 HAS SOUPS 226410 WITH SCORE 226977.209
AT ITER 161 NEW BEST:: SOT 734121 SOS 567209 HAS SOPS 423722 HAS SOUS 237999 HAS SOUPS 225589 WITH SCORE 226156.209
AT ITER 162 NEW BEST:: SOT 733937 SOS 567025 HAS SOPS 423382 HAS SOUS 237928 HAS SOUPS 225462 WITH SCORE 226029.025
AT ITER 163 NEW BEST:: SOT 733937 SOS 567035 HAS SOPS 424966 HAS SOUS 237791 HAS SOUPS 225425 WITH SCORE 225992.035
AT ITER 164 NEW BEST:: SOT 733473 SOS 566571 HAS SOPS 424778 HAS SOUS 236874 HAS SOUPS 224540 WITH SCORE 225106.571
AT ITER 166 NEW BEST:: SOT 733473 SOS 566571 HAS SOPS 424106 HAS SOUS 236319 HAS SOUPS 224044 WITH SCORE 224610.571
AT ITER 169 NEW BEST:: SOT 733473 SOS 567094 HAS SOPS 426050 HAS SOUS 234145 HAS SOUPS 221999 WITH SCORE 222566.094
AT ITER 170 NEW BEST:: SOT 733473 SOS 567094 HAS SOPS 426050 HAS SOUS 234060 HAS SOUPS 221914 WITH SCORE 222481.094
AT ITER 171 NEW BEST:: SOT 733473 SOS 567094 HAS SOPS 425438 HAS SOUS 232928 HAS SOUPS 220825 WITH SCORE 221392.094
AT ITER 173 NEW BEST:: SOT 733421 SOS 567042 HAS SOPS 425386 HAS SOUS 232802 HAS SOUPS 220699 WITH SCORE 221266.042
AT ITER 178 NEW BEST:: SOT 732343 SOS 565964 HAS SOPS 424308 HAS SOUS 232188 HAS SOUPS 220085 WITH SCORE 220650.964
AT ITER 181 NEW BEST:: SOT 732343 SOS 565964 HAS SOPS 425424 HAS SOUS 231382 HAS SOUPS 219341 WITH SCORE 219906.964
AT ITER 182 NEW BEST:: SOT 732343 SOS 673236 HAS SOPS 425410 HAS SOUS 231204 HAS SOUPS 219163 WITH SCORE 219836.236
AT ITER 185 NEW BEST:: SOT 733625 SOS 674518 HAS SOPS 427868 HAS SOUS 230288 HAS SOUPS 218331 WITH SCORE 219005.518
AT ITER 186 NEW BEST:: SOT 733625 SOS 674518 HAS SOPS 426968 HAS SOUS 230154 HAS SOUPS 218147 WITH SCORE 218821.518
AT ITER 189 NEW BEST:: SOT 734671 SOS 675564 HAS SOPS 428038 HAS SOUS 228948 HAS SOUPS 216924 WITH SCORE 217599.564
AT ITER 190 NEW BEST:: SOT 737189 SOS 678082 HAS SOPS 430048 HAS SOUS 228849 HAS SOUPS 216905 WITH SCORE 217583.082
AT ITER 191 NEW BEST:: SOT 737189 SOS 678082 HAS SOPS 429994 HAS SOUS 228720 HAS SOUPS 216827 WITH SCORE 217505.082
AT ITER 192 NEW BEST:: SOT 737189 SOS 678082 HAS SOPS 429310 HAS SOUS 228747 HAS SOUPS 216770 WITH SCORE 217448.082
AT ITER 195 NEW BEST:: SOT 737189 SOS 678082 HAS SOPS 430606 HAS SOUS 228342 HAS SOUPS 216419 WITH SCORE 217097.082
AT ITER 197 NEW BEST:: SOT 737306 SOS 678199 HAS SOPS 430723 HAS SOUS 228294 HAS SOUPS 216371 WITH SCORE 217049.199
AT ITER 198 NEW BEST:: SOT 659856 SOS 600749 HAS SOPS 530781 HAS SOUS 148508 HAS SOUPS 147743 WITH SCORE 148343.749
AT ITER 199 NEW BEST:: SOT 659699 SOS 600592 HAS SOPS 530624 HAS SOUS 148232 HAS SOUPS 147467 WITH SCORE 148067.592
AT ITER 200 NEW BEST:: SOT 659273 SOS 600166 HAS SOPS 530198 HAS SOUS 148232 HAS SOUPS 147467 WITH SCORE 148067.166
AT ITER 202 NEW BEST:: SOT 659190 SOS 600083 HAS SOPS 530115 HAS SOUS 148091 HAS SOUPS 147326 WITH SCORE 147926.083
AT ITER 204 NEW BEST:: SOT 661648 SOS 602541 HAS SOPS 532573 HAS SOUS 145417 HAS SOUPS 144652 WITH SCORE 145254.541
AT ITER 209 NEW BEST:: SOT 660659 SOS 601552 HAS SOPS 532016 HAS SOUS 143264 HAS SOUPS 142511 WITH SCORE 143112.552
AT ITER 214 NEW BEST:: SOT 660128 SOS 601021 HAS SOPS 531341 HAS SOUS 142833 HAS SOUPS 142080 WITH SCORE 142681.021
AT ITER 215 NEW BEST:: SOT 659697 SOS 600590 HAS SOPS 530910 HAS SOUS 142665 HAS SOUPS 141912 WITH SCORE 142512.59
AT ITER 223 NEW BEST:: SOT 659820 SOS 600483 HAS SOPS 530653 HAS SOUS 141603 HAS SOUPS 140888 WITH SCORE 141488.483
AT ITER 224 NEW BEST:: SOT 659493 SOS 600156 HAS SOPS 530326 HAS SOUS 141468 HAS SOUPS 140753 WITH SCORE 141353.156
AT ITER 225 NEW BEST:: SOT 658856 SOS 599519 HAS SOPS 529689 HAS SOUS 140796 HAS SOUPS 140081 WITH SCORE 140680.519
AT ITER 227 NEW BEST:: SOT 658793 SOS 599456 HAS SOPS 529626 HAS SOUS 140623 HAS SOUPS 139908 WITH SCORE 140507.456
AT ITER 228 NEW BEST:: SOT 658329 SOS 598992 HAS SOPS 529162 HAS SOUS 139804 HAS SOUPS 139089 WITH SCORE 139687.992
AT ITER 229 NEW BEST:: SOT 659250 SOS 599913 HAS SOPS 530083 HAS SOUS 139654 HAS SOUPS 138939 WITH SCORE 139538.913
AT ITER 233 NEW BEST:: SOT 659044 SOS 599707 HAS SOPS 529877 HAS SOUS 139487 HAS SOUPS 138772 WITH SCORE 139371.707
AT ITER 240 NEW BEST:: SOT 658960 SOS 599623 HAS SOPS 529793 HAS SOUS 139325 HAS SOUPS 138610 WITH SCORE 139209.623
AT ITER 242 NEW BEST:: SOT 658810 SOS 599473 HAS SOPS 529643 HAS SOUS 139266 HAS SOUPS 138551 WITH SCORE 139150.473
AT ITER 250 NEW BEST:: SOT 658036 SOS 598699 HAS SOPS 528869 HAS SOUS 138762 HAS SOUPS 138047 WITH SCORE 138645.699
AT ITER 251 NEW BEST:: SOT 658768 SOS 599431 HAS SOPS 529601 HAS SOUS 138166 HAS SOUPS 137451 WITH SCORE 138050.431
AT ITER 253 NEW BEST:: SOT 658152 SOS 598815 HAS SOPS 528985 HAS SOUS 137627 HAS SOUPS 136912 WITH SCORE 137510.815
AT ITER 254 NEW BEST:: SOT 657835 SOS 598498 HAS SOPS 528668 HAS SOUS 136754 HAS SOUPS 136039 WITH SCORE 136637.498
AT ITER 263 NEW BEST:: SOT 657643 SOS 598306 HAS SOPS 528476 HAS SOUS 136399 HAS SOUPS 135684 WITH SCORE 136282.306
AT ITER 265 NEW BEST:: SOT 657633 SOS 598210 HAS SOPS 528262 HAS SOUS 136374 HAS SOUPS 135659 WITH SCORE 136257.21
AT ITER 266 NEW BEST:: SOT 658657 SOS 599234 HAS SOPS 529286 HAS SOUS 135789 HAS SOUPS 135074 WITH SCORE 135673.234
AT ITER 268 NEW BEST:: SOT 658533 SOS 599110 HAS SOPS 529162 HAS SOUS 135482 HAS SOUPS 134767 WITH SCORE 135366.11
AT ITER 271 NEW BEST:: SOT 658561 SOS 599138 HAS SOPS 529190 HAS SOUS 135143 HAS SOUPS 134428 WITH SCORE 135027.138
AT ITER 283 NEW BEST:: SOT 657227 SOS 597804 HAS SOPS 527856 HAS SOUS 134883 HAS SOUPS 134168 WITH SCORE 134765.804
AT ITER 285 NEW BEST:: SOT 657073 SOS 597650 HAS SOPS 527702 HAS SOUS 134821 HAS SOUPS 134106 WITH SCORE 134703.65
AT ITER 287 NEW BEST:: SOT 657082 SOS 597659 HAS SOPS 527711 HAS SOUS 134815 HAS SOUPS 134100 WITH SCORE 134697.659
AT ITER 289 NEW BEST:: SOT 657082 SOS 597659 HAS SOPS 527783 HAS SOUS 134791 HAS SOUPS 134080 WITH SCORE 134677.659
AT ITER 291 NEW BEST:: SOT 657049 SOS 597626 HAS SOPS 527750 HAS SOUS 134782 HAS SOUPS 134071 WITH SCORE 134668.626
AT ITER 293 NEW BEST:: SOT 657170 SOS 597621 HAS SOPS 527499 HAS SOUS 134705 HAS SOUPS 133994 WITH SCORE 134591.621
AT ITER 295 NEW BEST:: SOT 657632 SOS 598083 HAS SOPS 527961 HAS SOUS 134101 HAS SOUPS 133390 WITH SCORE 133988.083
AT ITER 296 NEW BEST:: SOT 657087 SOS 597538 HAS SOPS 527416 HAS SOUS 133835 HAS SOUPS 133124 WITH SCORE 133721.538
AT ITER 304 NEW BEST:: SOT 655006 SOS 595457 HAS SOPS 525335 HAS SOUS 132758 HAS SOUPS 132047 WITH SCORE 132642.457
AT ITER 307 NEW BEST:: SOT 654736 SOS 595187 HAS SOPS 525065 HAS SOUS 132713 HAS SOUPS 132002 WITH SCORE 132597.187
AT ITER 308 NEW BEST:: SOT 654273 SOS 594718 HAS SOPS 524334 HAS SOUS 132652 HAS SOUPS 131941 WITH SCORE 132535.718
AT ITER 309 NEW BEST:: SOT 653871 SOS 594316 HAS SOPS 523932 HAS SOUS 132481 HAS SOUPS 131770 WITH SCORE 132364.316
AT ITER 311 NEW BEST:: SOT 654091 SOS 594536 HAS SOPS 524152 HAS SOUS 132151 HAS SOUPS 131440 WITH SCORE 132034.536
AT ITER 318 NEW BEST:: SOT 654113 SOS 594558 HAS SOPS 524474 HAS SOUS 132060 HAS SOUPS 131374 WITH SCORE 131968.558
AT ITER 328 NEW BEST:: SOT 653944 SOS 594653 HAS SOPS 524383 HAS SOUS 131954 HAS SOUPS 131268 WITH SCORE 131862.653
AT ITER 334 NEW BEST:: SOT 654445 SOS 595154 HAS SOPS 524884 HAS SOUS 131875 HAS SOUPS 131189 WITH SCORE 131784.154
AT ITER 335 NEW BEST:: SOT 654022 SOS 594731 HAS SOPS 524461 HAS SOUS 131524 HAS SOUPS 130838 WITH SCORE 131432.731
AT ITER 336 NEW BEST:: SOT 653966 SOS 594675 HAS SOPS 524405 HAS SOUS 131372 HAS SOUPS 130686 WITH SCORE 131280.675
AT ITER 337 NEW BEST:: SOT 654021 SOS 594730 HAS SOPS 524262 HAS SOUS 131001 HAS SOUPS 130315 WITH SCORE 130909.73
AT ITER 340 NEW BEST:: SOT 654013 SOS 594722 HAS SOPS 524254 HAS SOUS 130933 HAS SOUPS 130247 WITH SCORE 130841.722
AT ITER 344 NEW BEST:: SOT 654209 SOS 594918 HAS SOPS 524450 HAS SOUS 130742 HAS SOUPS 130056 WITH SCORE 130650.918
AT ITER 350 NEW BEST:: SOT 654271 SOS 594980 HAS SOPS 524512 HAS SOUS 130494 HAS SOUPS 129808 WITH SCORE 130402.98
AT ITER 351 NEW BEST:: SOT 654873 SOS 595601 HAS SOPS 526104 HAS SOUS 129428 HAS SOUPS 128787 WITH SCORE 129382.601
AT ITER 356 NEW BEST:: SOT 655268 SOS 595996 HAS SOPS 526499 HAS SOUS 129288 HAS SOUPS 128647 WITH SCORE 129242.996
AT ITER 363 NEW BEST:: SOT 654488 SOS 595216 HAS SOPS 525719 HAS SOUS 128574 HAS SOUPS 127933 WITH SCORE 128528.216
AT ITER 364 NEW BEST:: SOT 654465 SOS 595193 HAS SOPS 525696 HAS SOUS 128522 HAS SOUPS 127881 WITH SCORE 128476.193
AT ITER 368 NEW BEST:: SOT 653631 SOS 594359 HAS SOPS 524976 HAS SOUS 127958 HAS SOUPS 127317 WITH SCORE 127911.359
AT ITER 369 NEW BEST:: SOT 653659 SOS 594387 HAS SOPS 525004 HAS SOUS 127847 HAS SOUPS 127206 WITH SCORE 127800.387
AT ITER 381 NEW BEST:: SOT 653369 SOS 594097 HAS SOPS 524714 HAS SOUS 127555 HAS SOUPS 126914 WITH SCORE 127508.097
AT ITER 383 NEW BEST:: SOT 653219 SOS 593947 HAS SOPS 524564 HAS SOUS 127185 HAS SOUPS 126544 WITH SCORE 127137.947
AT ITER 384 NEW BEST:: SOT 655946 SOS 596674 HAS SOPS 527609 HAS SOUS 126978 HAS SOUPS 126357 WITH SCORE 126953.674
AT ITER 385 NEW BEST:: SOT 658510 SOS 599238 HAS SOPS 530173 HAS SOUS 126744 HAS SOUPS 126123 WITH SCORE 126722.238
AT ITER 388 NEW BEST:: SOT 658839 SOS 599567 HAS SOPS 530646 HAS SOUS 126063 HAS SOUPS 125450 WITH SCORE 126049.567
AT ITER 389 NEW BEST:: SOT 660321 SOS 601049 HAS SOPS 532128 HAS SOUS 125331 HAS SOUPS 124718 WITH SCORE 125319.049
AT ITER 395 NEW BEST:: SOT 660518 SOS 601291 HAS SOPS 533423 HAS SOUS 125049 HAS SOUPS 124485 WITH SCORE 125086.291
AT ITER 397 NEW BEST:: SOT 662010 SOS 602783 HAS SOPS 534915 HAS SOUS 124135 HAS SOUPS 123571 WITH SCORE 124173.783
AT ITER 398 NEW BEST:: SOT 659279 SOS 600129 HAS SOPS 532036 HAS SOUS 123741 HAS SOUPS 123140 WITH SCORE 123740.129
AT ITER 399 NEW BEST:: SOT 659390 SOS 600240 HAS SOPS 532147 HAS SOUS 123646 HAS SOUPS 123045 WITH SCORE 123645.24
AT ITER 401 NEW BEST:: SOT 660039 SOS 600889 HAS SOPS 532796 HAS SOUS 123444 HAS SOUPS 122843 WITH SCORE 123443.889
AT ITER 402 NEW BEST:: SOT 660225 SOS 601075 HAS SOPS 532982 HAS SOUS 122119 HAS SOUPS 121523 WITH SCORE 122124.075
AT ITER 406 NEW BEST:: SOT 659825 SOS 600675 HAS SOPS 532582 HAS SOUS 121889 HAS SOUPS 121293 WITH SCORE 121893.675
AT ITER 409 NEW BEST:: SOT 659766 SOS 600616 HAS SOPS 532523 HAS SOUS 121848 HAS SOUPS 121252 WITH SCORE 121852.616
AT ITER 414 NEW BEST:: SOT 661714 SOS 602564 HAS SOPS 534471 HAS SOUS 121666 HAS SOUPS 121070 WITH SCORE 121672.564
AT ITER 417 NEW BEST:: SOT 661646 SOS 602617 HAS SOPS 535291 HAS SOUS 121213 HAS SOUPS 120654 WITH SCORE 121256.617
AT ITER 429 NEW BEST:: SOT 662203 SOS 603174 HAS SOPS 535848 HAS SOUS 121099 HAS SOUPS 120540 WITH SCORE 121143.174
AT ITER 431 NEW BEST:: SOT 662194 SOS 603165 HAS SOPS 535785 HAS SOUS 121029 HAS SOUPS 120470 WITH SCORE 121073.165
AT ITER 437 NEW BEST:: SOT 661680 SOS 602651 HAS SOPS 535271 HAS SOUS 120434 HAS SOUPS 119875 WITH SCORE 120477.651
AT ITER 438 NEW BEST:: SOT 662074 SOS 603045 HAS SOPS 535665 HAS SOUS 119330 HAS SOUPS 118771 WITH SCORE 119374.045
AT ITER 439 NEW BEST:: SOT 662296 SOS 603267 HAS SOPS 535887 HAS SOUS 119258 HAS SOUPS 118699 WITH SCORE 119302.267
AT ITER 440 NEW BEST:: SOT 661926 SOS 602897 HAS SOPS 535517 HAS SOUS 118902 HAS SOUPS 118343 WITH SCORE 118945.897
AT ITER 441 NEW BEST:: SOT 661718 SOS 602689 HAS SOPS 535309 HAS SOUS 118567 HAS SOUPS 118008 WITH SCORE 118610.689
AT ITER 442 NEW BEST:: SOT 660274 SOS 601245 HAS SOPS 533865 HAS SOUS 118366 HAS SOUPS 117807 WITH SCORE 118408.245
AT ITER 450 NEW BEST:: SOT 660282 SOS 601253 HAS SOPS 533873 HAS SOUS 118332 HAS SOUPS 117773 WITH SCORE 118374.253
AT ITER 458 NEW BEST:: SOT 660498 SOS 601469 HAS SOPS 534089 HAS SOUS 118321 HAS SOUPS 117762 WITH SCORE 118363.469
AT ITER 459 NEW BEST:: SOT 659696 SOS 600667 HAS SOPS 533287 HAS SOUS 118280 HAS SOUPS 117721 WITH SCORE 118321.667
AT ITER 460 NEW BEST:: SOT 659690 SOS 600661 HAS SOPS 533281 HAS SOUS 118247 HAS SOUPS 117688 WITH SCORE 118288.661
AT ITER 467 NEW BEST:: SOT 659763 SOS 600734 HAS SOPS 533408 HAS SOUS 118095 HAS SOUPS 117536 WITH SCORE 118136.734
AT ITER 468 NEW BEST:: SOT 659998 SOS 600969 HAS SOPS 533643 HAS SOUS 118011 HAS SOUPS 117452 WITH SCORE 118052.969
AT ITER 471 NEW BEST:: SOT 659400 SOS 600371 HAS SOPS 533045 HAS SOUS 117662 HAS SOUPS 117103 WITH SCORE 117703.371
AT ITER 477 NEW BEST:: SOT 659073 SOS 600044 HAS SOPS 532718 HAS SOUS 117575 HAS SOUPS 117016 WITH SCORE 117616.044
AT ITER 480 NEW BEST:: SOT 658844 SOS 599815 HAS SOPS 532489 HAS SOUS 117555 HAS SOUPS 116996 WITH SCORE 117595.815
AT ITER 482 NEW BEST:: SOT 658693 SOS 599664 HAS SOPS 532338 HAS SOUS 117446 HAS SOUPS 116887 WITH SCORE 117486.664
AT ITER 488 NEW BEST:: SOT 660205 SOS 601176 HAS SOPS 533850 HAS SOUS 116996 HAS SOUPS 116437 WITH SCORE 117038.176
AT ITER 494 NEW BEST:: SOT 660886 SOS 601857 HAS SOPS 534531 HAS SOUS 116978 HAS SOUPS 116419 WITH SCORE 117020.857
AT ITER 496 NEW BEST:: SOT 662782 SOS 603753 HAS SOPS 536427 HAS SOUS 116800 HAS SOUPS 116241 WITH SCORE 116844.753
AT ITER 503 NEW BEST:: SOT 662308 SOS 603279 HAS SOPS 535953 HAS SOUS 114614 HAS SOUPS 114070 WITH SCORE 114673.279
AT ITER 505 NEW BEST:: SOT 662296 SOS 603267 HAS SOPS 535941 HAS SOUS 114614 HAS SOUPS 114070 WITH SCORE 114673.267
AT ITER 509 NEW BEST:: SOT 662397 SOS 603140 HAS SOPS 535766 HAS SOUS 114398 HAS SOUPS 113854 WITH SCORE 114457.14
AT ITER 516 NEW BEST:: SOT 662626 SOS 603369 HAS SOPS 535995 HAS SOUS 114132 HAS SOUPS 113588 WITH SCORE 114191.369
AT ITER 517 NEW BEST:: SOT 662716 SOS 603459 HAS SOPS 536085 HAS SOUS 114116 HAS SOUPS 113572 WITH SCORE 114175.459
AT ITER 519 NEW BEST:: SOT 664501 SOS 605244 HAS SOPS 537870 HAS SOUS 113905 HAS SOUPS 113361 WITH SCORE 113966.244
AT ITER 520 NEW BEST:: SOT 664501 SOS 605244 HAS SOPS 537870 HAS SOUS 113705 HAS SOUPS 113161 WITH SCORE 113766.244
AT ITER 525 NEW BEST:: SOT 664002 SOS 604745 HAS SOPS 537371 HAS SOUS 113232 HAS SOUPS 112688 WITH SCORE 113292.745
AT ITER 527 NEW BEST:: SOT 664202 SOS 604945 HAS SOPS 537571 HAS SOUS 113219 HAS SOUPS 112675 WITH SCORE 113279.945
AT ITER 529 NEW BEST:: SOT 663603 SOS 604346 HAS SOPS 536972 HAS SOUS 112938 HAS SOUPS 112394 WITH SCORE 112998.346
AT ITER 533 NEW BEST:: SOT 663699 SOS 604442 HAS SOPS 537068 HAS SOUS 112452 HAS SOUPS 111908 WITH SCORE 112512.442
AT ITER 541 NEW BEST:: SOT 664048 SOS 604791 HAS SOPS 537417 HAS SOUS 112055 HAS SOUPS 111511 WITH SCORE 112115.791
AT ITER 543 NEW BEST:: SOT 664068 SOS 604913 HAS SOPS 538253 HAS SOUS 111820 HAS SOUPS 111310 WITH SCORE 111914.913
AT ITER 544 NEW BEST:: SOT 664046 SOS 604891 HAS SOPS 538231 HAS SOUS 111740 HAS SOUPS 111230 WITH SCORE 111834.891
AT ITER 547 NEW BEST:: SOT 664047 SOS 604892 HAS SOPS 538232 HAS SOUS 111621 HAS SOUPS 111111 WITH SCORE 111715.892
AT ITER 549 NEW BEST:: SOT 663997 SOS 605013 HAS SOPS 539110 HAS SOUS 111311 HAS SOUPS 110840 WITH SCORE 111445.013
AT ITER 550 NEW BEST:: SOT 664164 SOS 605180 HAS SOPS 539325 HAS SOUS 110972 HAS SOUPS 110503 WITH SCORE 111108.18
AT ITER 552 NEW BEST:: SOT 663617 SOS 604633 HAS SOPS 538778 HAS SOUS 110840 HAS SOUPS 110371 WITH SCORE 110975.633
AT ITER 564 NEW BEST:: SOT 662691 SOS 603707 HAS SOPS 537852 HAS SOUS 110537 HAS SOUPS 110068 WITH SCORE 110671.707
AT ITER 566 NEW BEST:: SOT 660165 SOS 601181 HAS SOPS 535326 HAS SOUS 109428 HAS SOUPS 108959 WITH SCORE 109560.181
AT ITER 568 NEW BEST:: SOT 660125 SOS 601141 HAS SOPS 535286 HAS SOUS 109384 HAS SOUPS 108915 WITH SCORE 109516.141
AT ITER 571 NEW BEST:: SOT 660125 SOS 601141 HAS SOPS 535286 HAS SOUS 109377 HAS SOUPS 108908 WITH SCORE 109509.141
AT ITER 572 NEW BEST:: SOT 659152 SOS 600168 HAS SOPS 534313 HAS SOUS 109257 HAS SOUPS 108788 WITH SCORE 109388.168
AT ITER 580 NEW BEST:: SOT 659182 SOS 600228 HAS SOPS 534343 HAS SOUS 109173 HAS SOUPS 108704 WITH SCORE 109304.228
AT ITER 581 NEW BEST:: SOT 659215 SOS 600324 HAS SOPS 535388 HAS SOUS 109027 HAS SOUPS 108589 WITH SCORE 109189.324
AT ITER 583 NEW BEST:: SOT 659010 SOS 600119 HAS SOPS 535183 HAS SOUS 108731 HAS SOUPS 108293 WITH SCORE 108893.119
AT ITER 590 NEW BEST:: SOT 659010 SOS 600134 HAS SOPS 535543 HAS SOUS 108601 HAS SOUPS 108191 WITH SCORE 108791.134
AT ITER 594 NEW BEST:: SOT 658515 SOS 599639 HAS SOPS 535048 HAS SOUS 108183 HAS SOUPS 107773 WITH SCORE 108372.639
AT ITER 599 NEW BEST:: SOT 658444 SOS 599568 HAS SOPS 534977 HAS SOUS 107357 HAS SOUPS 106947 WITH SCORE 107546.568
AT ITER 607 NEW BEST:: SOT 658247 SOS 599371 HAS SOPS 534780 HAS SOUS 107309 HAS SOUPS 106899 WITH SCORE 107498.371
AT ITER 608 NEW BEST:: SOT 656107 SOS 597216 HAS SOPS 531932 HAS SOUS 106567 HAS SOUPS 106118 WITH SCORE 106715.216
AT ITER 609 NEW BEST:: SOT 656033 SOS 597142 HAS SOPS 531858 HAS SOUS 106501 HAS SOUPS 106052 WITH SCORE 106649.142
AT ITER 612 NEW BEST:: SOT 656154 SOS 597263 HAS SOPS 531979 HAS SOUS 105533 HAS SOUPS 105084 WITH SCORE 105681.263
AT ITER 615 NEW BEST:: SOT 656627 SOS 597736 HAS SOPS 532452 HAS SOUS 104582 HAS SOUPS 104133 WITH SCORE 104730.736
AT ITER 616 NEW BEST:: SOT 656735 SOS 597844 HAS SOPS 532560 HAS SOUS 104428 HAS SOUPS 103979 WITH SCORE 104576.844
AT ITER 623 NEW BEST:: SOT 656735 SOS 597844 HAS SOPS 532560 HAS SOUS 104420 HAS SOUPS 103971 WITH SCORE 104568.844
AT ITER 635 NEW BEST:: SOT 656796 SOS 597905 HAS SOPS 532621 HAS SOUS 104342 HAS SOUPS 103893 WITH SCORE 104490.905
AT ITER 641 NEW BEST:: SOT 656786 SOS 597895 HAS SOPS 532611 HAS SOUS 104338 HAS SOUPS 103889 WITH SCORE 104486.895
AT ITER 644 NEW BEST:: SOT 656313 SOS 597422 HAS SOPS 532138 HAS SOUS 103910 HAS SOUPS 103461 WITH SCORE 104058.422
AT ITER 646 NEW BEST:: SOT 656313 SOS 597422 HAS SOPS 532336 HAS SOUS 103850 HAS SOUPS 103412 WITH SCORE 104009.422
AT ITER 649 NEW BEST:: SOT 656263 SOS 597372 HAS SOPS 532286 HAS SOUS 103841 HAS SOUPS 103403 WITH SCORE 104000.372
AT ITER 652 NEW BEST:: SOT 656260 SOS 597383 HAS SOPS 532283 HAS SOUS 103757 HAS SOUPS 103319 WITH SCORE 103916.383
AT ITER 658 NEW BEST:: SOT 655961 SOS 597084 HAS SOPS 531984 HAS SOUS 103337 HAS SOUPS 102899 WITH SCORE 103496.084
AT ITER 661 NEW BEST:: SOT 655804 SOS 596927 HAS SOPS 531827 HAS SOUS 102791 HAS SOUPS 102353 WITH SCORE 102949.927
AT ITER 666 NEW BEST:: SOT 655749 SOS 596872 HAS SOPS 531772 HAS SOUS 102746 HAS SOUPS 102308 WITH SCORE 102904.872
AT ITER 677 NEW BEST:: SOT 655811 SOS 596934 HAS SOPS 531834 HAS SOUS 102673 HAS SOUPS 102235 WITH SCORE 102831.934
AT ITER 680 NEW BEST:: SOT 656289 SOS 597412 HAS SOPS 532312 HAS SOUS 102373 HAS SOUPS 101935 WITH SCORE 102532.412
AT ITER 687 NEW BEST:: SOT 656289 SOS 597412 HAS SOPS 532312 HAS SOUS 102358 HAS SOUPS 101920 WITH SCORE 102517.412
AT ITER 690 NEW BEST:: SOT 655772 SOS 596895 HAS SOPS 531795 HAS SOUS 101091 HAS SOUPS 100653 WITH SCORE 101249.895
AT ITER 694 NEW BEST:: SOT 655764 SOS 596887 HAS SOPS 531787 HAS SOUS 101084 HAS SOUPS 100646 WITH SCORE 101242.887
AT ITER 698 NEW BEST:: SOT 655505 SOS 596628 HAS SOPS 531528 HAS SOUS 101069 HAS SOUPS 100631 WITH SCORE 101227.628
AT ITER 700 NEW BEST:: SOT 655169 SOS 596292 HAS SOPS 531492 HAS SOUS 100666 HAS SOUPS 100228 WITH SCORE 100824.292
AT ITER 701 NEW BEST:: SOT 655476 SOS 596599 HAS SOPS 531943 HAS SOUS 100484 HAS SOUPS 100050 WITH SCORE 100646.599
AT ITER 714 NEW BEST:: SOT 655446 SOS 596569 HAS SOPS 531913 HAS SOUS 100468 HAS SOUPS 100034 WITH SCORE 100630.569
AT ITER 717 NEW BEST:: SOT 655916 SOS 597039 HAS SOPS 532383 HAS SOUS 99916 HAS SOUPS 99482 WITH SCORE 100079.039
AT ITER 723 NEW BEST:: SOT 655930 SOS 597053 HAS SOPS 532397 HAS SOUS 99902 HAS SOUPS 99468 WITH SCORE 100065.053
AT ITER 750 NEW BEST:: SOT 656082 SOS 597205 HAS SOPS 532705 HAS SOUS 99537 HAS SOUPS 99116 WITH SCORE 99713.205
AT ITER 757 NEW BEST:: SOT 656082 SOS 597205 HAS SOPS 532705 HAS SOUS 99533 HAS SOUPS 99112 WITH SCORE 99709.205
AT ITER 766 NEW BEST:: SOT 656020 SOS 597143 HAS SOPS 532643 HAS SOUS 99379 HAS SOUPS 98958 WITH SCORE 99555.143
AT ITER 768 NEW BEST:: SOT 656287 SOS 597410 HAS SOPS 532910 HAS SOUS 99251 HAS SOUPS 98830 WITH SCORE 99427.41
AT ITER 790 NEW BEST:: SOT 656369 SOS 597492 HAS SOPS 532992 HAS SOUS 99080 HAS SOUPS 98659 WITH SCORE 99256.492
AT ITER 791 NEW BEST:: SOT 655969 SOS 597092 HAS SOPS 532592 HAS SOUS 98804 HAS SOUPS 98383 WITH SCORE 98980.092
AT ITER 800 NEW BEST:: SOT 654192 SOS 595315 HAS SOPS 530815 HAS SOUS 98090 HAS SOUPS 97669 WITH SCORE 98264.315
AT ITER 808 NEW BEST:: SOT 653902 SOS 595025 HAS SOPS 530525 HAS SOUS 98026 HAS SOUPS 97605 WITH SCORE 98200.025
AT ITER 819 NEW BEST:: SOT 654073 SOS 595200 HAS SOPS 530696 HAS SOUS 97923 HAS SOUPS 97502 WITH SCORE 98097.2
AT ITER 832 NEW BEST:: SOT 654454 SOS 595581 HAS SOPS 531077 HAS SOUS 97893 HAS SOUPS 97472 WITH SCORE 98067.581
AT ITER 836 NEW BEST:: SOT 654391 SOS 595449 HAS SOPS 530270 HAS SOUS 97814 HAS SOUPS 97393 WITH SCORE 97988.449
AT ITER 840 NEW BEST:: SOT 654408 SOS 595466 HAS SOPS 530443 HAS SOUS 97801 HAS SOUPS 97380 WITH SCORE 97975.466
AT ITER 845 NEW BEST:: SOT 654279 SOS 595337 HAS SOPS 530134 HAS SOUS 97794 HAS SOUPS 97373 WITH SCORE 97968.337
AT ITER 853 NEW BEST:: SOT 654279 SOS 595261 HAS SOPS 530126 HAS SOUS 97786 HAS SOUPS 97369 WITH SCORE 97964.261
AT ITER 856 NEW BEST:: SOT 654299 SOS 595281 HAS SOPS 530146 HAS SOUS 97744 HAS SOUPS 97327 WITH SCORE 97922.281
AT ITER 857 NEW BEST:: SOT 653721 SOS 594703 HAS SOPS 529568 HAS SOUS 97620 HAS SOUPS 97203 WITH SCORE 97797.703
AT ITER 875 NEW BEST:: SOT 654229 SOS 595207 HAS SOPS 530094 HAS SOUS 97154 HAS SOUPS 96737 WITH SCORE 97332.207
AT ITER 878 NEW BEST:: SOT 654133 SOS 595111 HAS SOPS 529998 HAS SOUS 97054 HAS SOUPS 96637 WITH SCORE 97232.111
AT ITER 885 NEW BEST:: SOT 654053 SOS 595031 HAS SOPS 529918 HAS SOUS 97032 HAS SOUPS 96615 WITH SCORE 97210.031
AT ITER 896 NEW BEST:: SOT 653500 SOS 594478 HAS SOPS 529365 HAS SOUS 96164 HAS SOUPS 95747 WITH SCORE 96341.478
AT ITER 897 NEW BEST:: SOT 653470 SOS 594448 HAS SOPS 529335 HAS SOUS 96134 HAS SOUPS 95717 WITH SCORE 96311.448
AT ITER 907 NEW BEST:: SOT 653470 SOS 594458 HAS SOPS 529767 HAS SOUS 96059 HAS SOUPS 95666 WITH SCORE 96260.458
AT ITER 914 NEW BEST:: SOT 653296 SOS 594284 HAS SOPS 529593 HAS SOUS 96038 HAS SOUPS 95645 WITH SCORE 96239.284
AT ITER 917 NEW BEST:: SOT 652007 SOS 592995 HAS SOPS 527836 HAS SOUS 95679 HAS SOUPS 95260 WITH SCORE 95852.995
AT ITER 918 NEW BEST:: SOT 652007 SOS 592995 HAS SOPS 527836 HAS SOUS 95658 HAS SOUPS 95239 WITH SCORE 95831.995
AT ITER 922 NEW BEST:: SOT 651977 SOS 592965 HAS SOPS 527806 HAS SOUS 95646 HAS SOUPS 95227 WITH SCORE 95819.965
AT ITER 925 NEW BEST:: SOT 651996 SOS 592984 HAS SOPS 527825 HAS SOUS 95386 HAS SOUPS 94967 WITH SCORE 95559.984
AT ITER 930 NEW BEST:: SOT 651854 SOS 592842 HAS SOPS 527683 HAS SOUS 95279 HAS SOUPS 94860 WITH SCORE 95452.842
AT ITER 938 NEW BEST:: SOT 651864 SOS 592852 HAS SOPS 527693 HAS SOUS 95275 HAS SOUPS 94856 WITH SCORE 95448.852
AT ITER 943 NEW BEST:: SOT 651397 SOS 592385 HAS SOPS 527226 HAS SOUS 94578 HAS SOUPS 94159 WITH SCORE 94751.385
AT ITER 949 NEW BEST:: SOT 651758 SOS 592746 HAS SOPS 527587 HAS SOUS 94455 HAS SOUPS 94036 WITH SCORE 94628.746
AT ITER 950 NEW BEST:: SOT 651648 SOS 592636 HAS SOPS 527477 HAS SOUS 94447 HAS SOUPS 94028 WITH SCORE 94620.636
AT ITER 954 NEW BEST:: SOT 651572 SOS 592560 HAS SOPS 527401 HAS SOUS 94386 HAS SOUPS 93967 WITH SCORE 94559.56
AT ITER 959 NEW BEST:: SOT 651399 SOS 592387 HAS SOPS 527228 HAS SOUS 94180 HAS SOUPS 93761 WITH SCORE 94353.387
AT ITER 960 NEW BEST:: SOT 651084 SOS 592072 HAS SOPS 526913 HAS SOUS 93878 HAS SOUPS 93459 WITH SCORE 94051.072
AT ITER 964 NEW BEST:: SOT 651241 SOS 592229 HAS SOPS 527040 HAS SOUS 93414 HAS SOUPS 92995 WITH SCORE 93587.229
AT ITER 966 NEW BEST:: SOT 651152 SOS 592332 HAS SOPS 527011 HAS SOUS 93357 HAS SOUPS 92938 WITH SCORE 93530.332
AT ITER 970 NEW BEST:: SOT 651059 SOS 592239 HAS SOPS 526918 HAS SOUS 93328 HAS SOUPS 92909 WITH SCORE 93501.239
AT ITER 973 NEW BEST:: SOT 651102 SOS 592282 HAS SOPS 526961 HAS SOUS 93316 HAS SOUPS 92897 WITH SCORE 93489.282
AT ITER 980 NEW BEST:: SOT 651102 SOS 592282 HAS SOPS 526961 HAS SOUS 93285 HAS SOUPS 92866 WITH SCORE 93458.282
AT ITER 981 NEW BEST:: SOT 651102 SOS 592155 HAS SOPS 526835 HAS SOUS 93283 HAS SOUPS 92864 WITH SCORE 93456.155
AT ITER 982 NEW BEST:: SOT 651169 SOS 592222 HAS SOPS 526902 HAS SOUS 93047 HAS SOUPS 92628 WITH SCORE 93220.222
AT ITER 985 NEW BEST:: SOT 652036 SOS 593089 HAS SOPS 527829 HAS SOUS 93026 HAS SOUPS 92612 WITH SCORE 93205.089
AT ITER 987 NEW BEST:: SOT 652026 SOS 593079 HAS SOPS 528059 HAS SOUS 92973 HAS SOUPS 92569 WITH SCORE 93162.079
AT ITER 995 NEW BEST:: SOT 651931 SOS 592984 HAS SOPS 527712 HAS SOUS 92955 HAS SOUPS 92551 WITH SCORE 93143.984
AT ITER 1031 NEW BEST:: SOT 653609 SOS 594662 HAS SOPS 529390 HAS SOUS 92824 HAS SOUPS 92420 WITH SCORE 93014.662
AT ITER 1034 NEW BEST:: SOT 653461 SOS 594514 HAS SOPS 529242 HAS SOUS 92526 HAS SOUPS 92122 WITH SCORE 92716.514
AT ITER 1035 NEW BEST:: SOT 653301 SOS 594354 HAS SOPS 529082 HAS SOUS 92406 HAS SOUPS 92002 WITH SCORE 92596.354
AT ITER 1061 NEW BEST:: SOT 653351 SOS 594404 HAS SOPS 529132 HAS SOUS 92396 HAS SOUPS 91992 WITH SCORE 92586.404
AT ITER 1065 NEW BEST:: SOT 653351 SOS 594404 HAS SOPS 529132 HAS SOUS 92384 HAS SOUPS 91980 WITH SCORE 92574.404
AT ITER 1068 NEW BEST:: SOT 653237 SOS 594290 HAS SOPS 528880 HAS SOUS 92374 HAS SOUPS 91970 WITH SCORE 92564.29
AT ITER 1072 NEW BEST:: SOT 652821 SOS 593874 HAS SOPS 528464 HAS SOUS 91998 HAS SOUPS 91594 WITH SCORE 92187.874
AT ITER 1075 NEW BEST:: SOT 652821 SOS 539078 HAS SOPS 529039 HAS SOUS 91973 HAS SOUPS 91594 WITH SCORE 92133.078
AT ITER 1084 NEW BEST:: SOT 652590 SOS 538847 HAS SOPS 528808 HAS SOUS 91917 HAS SOUPS 91538 WITH SCORE 92076.847
AT ITER 1099 NEW BEST:: SOT 652526 SOS 538783 HAS SOPS 528744 HAS SOUS 91782 HAS SOUPS 91403 WITH SCORE 91941.783
AT ITER 1100 NEW BEST:: SOT 652391 SOS 538648 HAS SOPS 528609 HAS SOUS 91728 HAS SOUPS 91349 WITH SCORE 91887.648
AT ITER 1109 NEW BEST:: SOT 652360 SOS 538293 HAS SOPS 528218 HAS SOUS 91697 HAS SOUPS 91318 WITH SCORE 91856.293
AT ITER 1111 NEW BEST:: SOT 652358 SOS 538156 HAS SOPS 528000 HAS SOUS 91680 HAS SOUPS 91301 WITH SCORE 91839.156
AT ITER 1112 NEW BEST:: SOT 652350 SOS 538148 HAS SOPS 527992 HAS SOUS 91664 HAS SOUPS 91285 WITH SCORE 91823.148
AT ITER 1115 NEW BEST:: SOT 652342 SOS 538140 HAS SOPS 527984 HAS SOUS 91656 HAS SOUPS 91277 WITH SCORE 91815.14
AT ITER 1122 NEW BEST:: SOT 651791 SOS 537589 HAS SOPS 527433 HAS SOUS 91633 HAS SOUPS 91254 WITH SCORE 91791.589
AT ITER 1128 NEW BEST:: SOT 652143 SOS 537941 HAS SOPS 527785 HAS SOUS 91613 HAS SOUPS 91234 WITH SCORE 91771.941
AT ITER 1131 NEW BEST:: SOT 651983 SOS 537781 HAS SOPS 527625 HAS SOUS 91096 HAS SOUPS 90717 WITH SCORE 91254.781
AT ITER 1136 NEW BEST:: SOT 651983 SOS 537944 HAS SOPS 527769 HAS SOUS 91077 HAS SOUPS 90698 WITH SCORE 91235.944
AT ITER 1139 NEW BEST:: SOT 653171 SOS 539132 HAS SOPS 528957 HAS SOUS 90992 HAS SOUPS 90613 WITH SCORE 91152.132
AT ITER 1140 NEW BEST:: SOT 653049 SOS 539010 HAS SOPS 528835 HAS SOUS 90967 HAS SOUPS 90588 WITH SCORE 91127.01
AT ITER 1143 NEW BEST:: SOT 652965 SOS 538926 HAS SOPS 528751 HAS SOUS 90948 HAS SOUPS 90569 WITH SCORE 91107.926
AT ITER 1148 NEW BEST:: SOT 652853 SOS 538814 HAS SOPS 528639 HAS SOUS 90911 HAS SOUPS 90532 WITH SCORE 91070.814
AT ITER 1151 NEW BEST:: SOT 652427 SOS 538388 HAS SOPS 528213 HAS SOUS 90576 HAS SOUPS 90197 WITH SCORE 90735.388
AT ITER 1152 NEW BEST:: SOT 652427 SOS 538360 HAS SOPS 528213 HAS SOUS 90570 HAS SOUPS 90193 WITH SCORE 90731.36
AT ITER 1154 NEW BEST:: SOT 652427 SOS 538646 HAS SOPS 528741 HAS SOUS 90526 HAS SOUPS 90171 WITH SCORE 90709.646
AT ITER 1158 NEW BEST:: SOT 652457 SOS 538676 HAS SOPS 528771 HAS SOUS 90486 HAS SOUPS 90131 WITH SCORE 90669.676
AT ITER 1161 NEW BEST:: SOT 652131 SOS 538350 HAS SOPS 528445 HAS SOUS 90438 HAS SOUPS 90083 WITH SCORE 90621.35
AT ITER 1172 NEW BEST:: SOT 652031 SOS 538250 HAS SOPS 528345 HAS SOUS 89559 HAS SOUPS 89204 WITH SCORE 89742.25
AT ITER 1179 NEW BEST:: SOT 652155 SOS 538374 HAS SOPS 528469 HAS SOUS 89476 HAS SOUPS 89121 WITH SCORE 89659.374
AT ITER 1193 NEW BEST:: SOT 652044 SOS 538263 HAS SOPS 528358 HAS SOUS 89314 HAS SOUPS 88959 WITH SCORE 89497.263
AT ITER 1206 NEW BEST:: SOT 651981 SOS 538200 HAS SOPS 528295 HAS SOUS 89262 HAS SOUPS 88907 WITH SCORE 89445.2
AT ITER 1210 NEW BEST:: SOT 651909 SOS 538128 HAS SOPS 528223 HAS SOUS 89217 HAS SOUPS 88862 WITH SCORE 89400.128
AT ITER 1236 NEW BEST:: SOT 652398 SOS 538617 HAS SOPS 528712 HAS SOUS 88898 HAS SOUPS 88543 WITH SCORE 89081.617
AT ITER 1239 NEW BEST:: SOT 652250 SOS 538469 HAS SOPS 528564 HAS SOUS 88601 HAS SOUPS 88246 WITH SCORE 88784.469
AT ITER 1241 NEW BEST:: SOT 652226 SOS 538445 HAS SOPS 528540 HAS SOUS 88569 HAS SOUPS 88214 WITH SCORE 88752.445
AT ITER 1249 NEW BEST:: SOT 652219 SOS 538438 HAS SOPS 528533 HAS SOUS 88201 HAS SOUPS 87846 WITH SCORE 88384.438
AT ITER 1264 NEW BEST:: SOT 652155 SOS 538374 HAS SOPS 528469 HAS SOUS 88132 HAS SOUPS 87777 WITH SCORE 88315.374
AT ITER 1271 NEW BEST:: SOT 652051 SOS 538270 HAS SOPS 528365 HAS SOUS 88049 HAS SOUPS 87694 WITH SCORE 88232.27
AT ITER 1272 NEW BEST:: SOT 652273 SOS 538492 HAS SOPS 528587 HAS SOUS 88030 HAS SOUPS 87675 WITH SCORE 88213.492
AT ITER 1285 NEW BEST:: SOT 652352 SOS 538571 HAS SOPS 528666 HAS SOUS 87936 HAS SOUPS 87581 WITH SCORE 88119.571
AT ITER 1296 NEW BEST:: SOT 652648 SOS 538867 HAS SOPS 528962 HAS SOUS 87660 HAS SOUPS 87305 WITH SCORE 87843.867
AT ITER 1305 NEW BEST:: SOT 652548 SOS 538767 HAS SOPS 528862 HAS SOUS 87485 HAS SOUPS 87130 WITH SCORE 87668.767
AT ITER 1312 NEW BEST:: SOT 651884 SOS 537456 HAS SOPS 527010 HAS SOUS 87438 HAS SOUPS 87050 WITH SCORE 87587.456
AT ITER 1314 NEW BEST:: SOT 651966 SOS 537538 HAS SOPS 527092 HAS SOUS 87393 HAS SOUPS 87005 WITH SCORE 87542.538
AT ITER 1317 NEW BEST:: SOT 651958 SOS 537530 HAS SOPS 527084 HAS SOUS 87386 HAS SOUPS 86998 WITH SCORE 87535.53
AT ITER 1320 NEW BEST:: SOT 651914 SOS 537486 HAS SOPS 527040 HAS SOUS 87272 HAS SOUPS 86884 WITH SCORE 87421.486
AT ITER 1323 NEW BEST:: SOT 651742 SOS 537342 HAS SOPS 526994 HAS SOUS 86741 HAS SOUPS 86360 WITH SCORE 86897.342
AT ITER 1324 NEW BEST:: SOT 651676 SOS 537276 HAS SOPS 526928 HAS SOUS 86729 HAS SOUPS 86348 WITH SCORE 86885.276
AT ITER 1330 NEW BEST:: SOT 651422 SOS 537022 HAS SOPS 526674 HAS SOUS 86309 HAS SOUPS 85928 WITH SCORE 86465.022
AT ITER 1335 NEW BEST:: SOT 651128 SOS 536728 HAS SOPS 526380 HAS SOUS 85862 HAS SOUPS 85481 WITH SCORE 86017.728
AT ITER 1347 NEW BEST:: SOT 651202 SOS 536802 HAS SOPS 526454 HAS SOUS 85748 HAS SOUPS 85367 WITH SCORE 85903.802
AT ITER 1354 NEW BEST:: SOT 651181 SOS 536723 HAS SOPS 526433 HAS SOUS 85716 HAS SOUPS 85335 WITH SCORE 85871.723
AT ITER 1368 NEW BEST:: SOT 651189 SOS 536731 HAS SOPS 526441 HAS SOUS 85707 HAS SOUPS 85326 WITH SCORE 85862.731
AT ITER 1372 NEW BEST:: SOT 651229 SOS 537036 HAS SOPS 527273 HAS SOUS 85536 HAS SOUPS 85188 WITH SCORE 85725.036
AT ITER 1377 NEW BEST:: SOT 651389 SOS 537196 HAS SOPS 527433 HAS SOUS 85242 HAS SOUPS 84894 WITH SCORE 85431.196
AT ITER 1407 NEW BEST:: SOT 650866 SOS 536673 HAS SOPS 526910 HAS SOUS 85134 HAS SOUPS 84786 WITH SCORE 85322.673
AT ITER 1408 NEW BEST:: SOT 650906 SOS 536713 HAS SOPS 526950 HAS SOUS 85083 HAS SOUPS 84735 WITH SCORE 85271.713
AT ITER 1421 NEW BEST:: SOT 650926 SOS 536733 HAS SOPS 526970 HAS SOUS 85040 HAS SOUPS 84692 WITH SCORE 85228.733
AT ITER 1424 NEW BEST:: SOT 650664 SOS 536471 HAS SOPS 526708 HAS SOUS 84788 HAS SOUPS 84440 WITH SCORE 84976.471
AT ITER 1429 NEW BEST:: SOT 650575 SOS 536382 HAS SOPS 526619 HAS SOUS 84719 HAS SOUPS 84371 WITH SCORE 84907.382
AT ITER 1432 NEW BEST:: SOT 650239 SOS 536046 HAS SOPS 526283 HAS SOUS 84684 HAS SOUPS 84336 WITH SCORE 84872.046
AT ITER 1436 NEW BEST:: SOT 650001 SOS 535808 HAS SOPS 526045 HAS SOUS 84614 HAS SOUPS 84266 WITH SCORE 84801.808
AT ITER 1438 NEW BEST:: SOT 650021 SOS 535828 HAS SOPS 526065 HAS SOUS 84489 HAS SOUPS 84141 WITH SCORE 84676.828
AT ITER 1450 NEW BEST:: SOT 649671 SOS 535478 HAS SOPS 525715 HAS SOUS 84134 HAS SOUPS 83786 WITH SCORE 84321.478
AT ITER 1455 NEW BEST:: SOT 649761 SOS 535568 HAS SOPS 525805 HAS SOUS 84118 HAS SOUPS 83770 WITH SCORE 84305.568
AT ITER 1460 NEW BEST:: SOT 649761 SOS 535052 HAS SOPS 525241 HAS SOUS 84092 HAS SOUPS 83744 WITH SCORE 84279.052
AT ITER 1478 NEW BEST:: SOT 649810 SOS 535101 HAS SOPS 525290 HAS SOUS 84086 HAS SOUPS 83738 WITH SCORE 84273.101
AT ITER 1483 NEW BEST:: SOT 649816 SOS 535107 HAS SOPS 525296 HAS SOUS 84077 HAS SOUPS 83729 WITH SCORE 84264.107
AT ITER 1489 NEW BEST:: SOT 649760 SOS 535051 HAS SOPS 525240 HAS SOUS 84030 HAS SOUPS 83682 WITH SCORE 84217.051
AT ITER 1493 NEW BEST:: SOT 649658 SOS 534949 HAS SOPS 525138 HAS SOUS 83881 HAS SOUPS 83533 WITH SCORE 84067.949
AT ITER 1507 NEW BEST:: SOT 649974 SOS 535265 HAS SOPS 525454 HAS SOUS 83810 HAS SOUPS 83462 WITH SCORE 83997.265
AT ITER 1532 NEW BEST:: SOT 650272 SOS 535563 HAS SOPS 525752 HAS SOUS 83717 HAS SOUPS 83369 WITH SCORE 83904.563
AT ITER 1565 NEW BEST:: SOT 650212 SOS 535503 HAS SOPS 525692 HAS SOUS 83571 HAS SOUPS 83223 WITH SCORE 83758.503
AT ITER 1571 NEW BEST:: SOT 650662 SOS 535953 HAS SOPS 526142 HAS SOUS 83442 HAS SOUPS 83094 WITH SCORE 83629.953
AT ITER 1574 NEW BEST:: SOT 650700 SOS 536104 HAS SOPS 526516 HAS SOUS 83264 HAS SOUPS 82930 WITH SCORE 83466.104
AT ITER 1605 NEW BEST:: SOT 650682 SOS 536086 HAS SOPS 526498 HAS SOUS 83242 HAS SOUPS 82908 WITH SCORE 83444.086
AT ITER 1608 NEW BEST:: SOT 650547 SOS 535951 HAS SOPS 526363 HAS SOUS 83155 HAS SOUPS 82821 WITH SCORE 83356.951
AT ITER 1610 NEW BEST:: SOT 650483 SOS 535887 HAS SOPS 526299 HAS SOUS 83092 HAS SOUPS 82758 WITH SCORE 83293.887
AT ITER 1623 NEW BEST:: SOT 650483 SOS 536175 HAS SOPS 526779 HAS SOUS 83038 HAS SOUPS 82724 WITH SCORE 83260.175
AT ITER 1628 NEW BEST:: SOT 650495 SOS 536187 HAS SOPS 526791 HAS SOUS 83036 HAS SOUPS 82722 WITH SCORE 83258.187
AT ITER 1643 NEW BEST:: SOT 650495 SOS 536407 HAS SOPS 527187 HAS SOUS 83014 HAS SOUPS 82711 WITH SCORE 83247.407
AT ITER 1655 NEW BEST:: SOT 650495 SOS 536437 HAS SOPS 527187 HAS SOUS 82999 HAS SOUPS 82696 WITH SCORE 83232.437
AT ITER 1656 NEW BEST:: SOT 650121 SOS 536063 HAS SOPS 526813 HAS SOUS 82695 HAS SOUPS 82392 WITH SCORE 82928.063
AT ITER 1683 NEW BEST:: SOT 650111 SOS 536053 HAS SOPS 526803 HAS SOUS 82625 HAS SOUPS 82322 WITH SCORE 82858.053
AT ITER 1709 NEW BEST:: SOT 650109 SOS 536051 HAS SOPS 526801 HAS SOUS 82619 HAS SOUPS 82316 WITH SCORE 82852.051
AT ITER 1714 NEW BEST:: SOT 649023 SOS 534853 HAS SOPS 525463 HAS SOUS 81836 HAS SOUPS 81526 WITH SCORE 82060.853
AT ITER 1723 NEW BEST:: SOT 648669 SOS 534499 HAS SOPS 525109 HAS SOUS 81829 HAS SOUPS 81519 WITH SCORE 82053.499
AT ITER 1725 NEW BEST:: SOT 648519 SOS 534349 HAS SOPS 524959 HAS SOUS 81697 HAS SOUPS 81387 WITH SCORE 81921.349
AT ITER 1731 NEW BEST:: SOT 647986 SOS 533816 HAS SOPS 524426 HAS SOUS 81324 HAS SOUPS 81014 WITH SCORE 81547.816
AT ITER 1763 NEW BEST:: SOT 647176 SOS 533006 HAS SOPS 523616 HAS SOUS 80910 HAS SOUPS 80600 WITH SCORE 81133.006
AT ITER 1765 NEW BEST:: SOT 646978 SOS 532808 HAS SOPS 523418 HAS SOUS 80601 HAS SOUPS 80291 WITH SCORE 80823.808
AT ITER 1783 NEW BEST:: SOT 647020 SOS 532850 HAS SOPS 523460 HAS SOUS 80562 HAS SOUPS 80252 WITH SCORE 80784.85
AT ITER 1785 NEW BEST:: SOT 647120 SOS 532740 HAS SOPS 523434 HAS SOUS 80454 HAS SOUPS 80144 WITH SCORE 80676.74
AT ITER 1791 NEW BEST:: SOT 647114 SOS 532734 HAS SOPS 523428 HAS SOUS 80454 HAS SOUPS 80144 WITH SCORE 80676.734
AT ITER 1813 NEW BEST:: SOT 646405 SOS 532237 HAS SOPS 522191 HAS SOUS 80387 HAS SOUPS 80034 WITH SCORE 80566.237
AT ITER 1814 NEW BEST:: SOT 644699 SOS 530531 HAS SOPS 520485 HAS SOUS 79891 HAS SOUPS 79538 WITH SCORE 80068.531
AT ITER 1823 NEW BEST:: SOT 644741 SOS 530573 HAS SOPS 520527 HAS SOUS 79834 HAS SOUPS 79481 WITH SCORE 80011.573
AT ITER 1838 NEW BEST:: SOT 643904 SOS 529736 HAS SOPS 519690 HAS SOUS 79816 HAS SOUPS 79463 WITH SCORE 79992.736
AT ITER 1851 NEW BEST:: SOT 643904 SOS 529764 HAS SOPS 519750 HAS SOUS 79595 HAS SOUPS 79242 WITH SCORE 79771.764
AT ITER 1857 NEW BEST:: SOT 643801 SOS 529661 HAS SOPS 519647 HAS SOUS 79560 HAS SOUPS 79207 WITH SCORE 79736.661
AT ITER 1863 NEW BEST:: SOT 643479 SOS 529339 HAS SOPS 519325 HAS SOUS 79278 HAS SOUPS 78925 WITH SCORE 79454.339
AT ITER 1866 NEW BEST:: SOT 643565 SOS 529703 HAS SOPS 519891 HAS SOUS 79105 HAS SOUPS 78771 WITH SCORE 79300.703
AT ITER 1884 NEW BEST:: SOT 643567 SOS 529832 HAS SOPS 520631 HAS SOUS 79072 HAS SOUPS 78767 WITH SCORE 79296.832
AT ITER 1892 NEW BEST:: SOT 643627 SOS 529892 HAS SOPS 520691 HAS SOUS 78970 HAS SOUPS 78665 WITH SCORE 79194.892
AT ITER 1896 NEW BEST:: SOT 643643 SOS 529917 HAS SOPS 520815 HAS SOUS 78908 HAS SOUPS 78609 WITH SCORE 79138.917
AT ITER 1909 NEW BEST:: SOT 643714 SOS 530020 HAS SOPS 520886 HAS SOUS 78899 HAS SOUPS 78600 WITH SCORE 79130.02
AT ITER 1914 NEW BEST:: SOT 643714 SOS 529600 HAS SOPS 520430 HAS SOUS 78892 HAS SOUPS 78593 WITH SCORE 79122.6
AT ITER 1928 NEW BEST:: SOT 643959 SOS 529845 HAS SOPS 520675 HAS SOUS 78563 HAS SOUPS 78264 WITH SCORE 78793.845
AT ITER 1932 NEW BEST:: SOT 643983 SOS 529869 HAS SOPS 520699 HAS SOUS 78312 HAS SOUPS 78013 WITH SCORE 78542.869
AT ITER 1941 NEW BEST:: SOT 643952 SOS 529838 HAS SOPS 520668 HAS SOUS 78303 HAS SOUPS 78004 WITH SCORE 78533.838
AT ITER 1961 NEW BEST:: SOT 644155 SOS 530061 HAS SOPS 521069 HAS SOUS 78272 HAS SOUPS 77984 WITH SCORE 78514.061
AT ITER 1964 NEW BEST:: SOT 644003 SOS 529909 HAS SOPS 520917 HAS SOUS 78240 HAS SOUPS 77952 WITH SCORE 78481.909
AT ITER 1972 NEW BEST:: SOT 644081 SOS 530615 HAS SOPS 522291 HAS SOUS 78196 HAS SOUPS 77944 WITH SCORE 78474.615
AT ITER 1984 NEW BEST:: SOT 644081 SOS 531200 HAS SOPS 522891 HAS SOUS 78191 HAS SOUPS 77939 WITH SCORE 78470.2
AT ITER 2003 NEW BEST:: SOT 644407 SOS 531526 HAS SOPS 523217 HAS SOUS 78063 HAS SOUPS 77811 WITH SCORE 78342.526
AT ITER 2008 NEW BEST:: SOT 644405 SOS 531524 HAS SOPS 523215 HAS SOUS 78012 HAS SOUPS 77760 WITH SCORE 78291.524
AT ITER 2017 NEW BEST:: SOT 644405 SOS 531524 HAS SOPS 523215 HAS SOUS 77948 HAS SOUPS 77696 WITH SCORE 78227.524
AT ITER 2023 NEW BEST:: SOT 644364 SOS 531483 HAS SOPS 523174 HAS SOUS 77907 HAS SOUPS 77655 WITH SCORE 78186.483
AT ITER 2034 NEW BEST:: SOT 644692 SOS 532019 HAS SOPS 523646 HAS SOUS 77888 HAS SOUPS 77636 WITH SCORE 78168.019
AT ITER 2037 NEW BEST:: SOT 644718 SOS 532045 HAS SOPS 523672 HAS SOUS 77701 HAS SOUPS 77449 WITH SCORE 77981.045
AT ITER 2046 NEW BEST:: SOT 644718 SOS 531935 HAS SOPS 523552 HAS SOUS 77701 HAS SOUPS 77449 WITH SCORE 77980.935
AT ITER 2087 NEW BEST:: SOT 644742 SOS 532139 HAS SOPS 524152 HAS SOUS 77583 HAS SOUPS 77355 WITH SCORE 77887.139
AT ITER 2112 NEW BEST:: SOT 644752 SOS 532263 HAS SOPS 524654 HAS SOUS 77271 HAS SOUPS 77084 WITH SCORE 77616.263
AT ITER 2119 NEW BEST:: SOT 644745 SOS 531759 HAS SOPS 524071 HAS SOUS 77260 HAS SOUPS 77073 WITH SCORE 77604.759
AT ITER 2130 NEW BEST:: SOT 644707 SOS 531721 HAS SOPS 524033 HAS SOUS 77173 HAS SOUPS 76986 WITH SCORE 77517.721
AT ITER 2142 NEW BEST:: SOT 643722 SOS 530736 HAS SOPS 523048 HAS SOUS 77012 HAS SOUPS 76825 WITH SCORE 77355.736
AT ITER 2145 NEW BEST:: SOT 642982 SOS 529996 HAS SOPS 522308 HAS SOUS 76687 HAS SOUPS 76500 WITH SCORE 77029.996
AT ITER 2177 NEW BEST:: SOT 642948 SOS 529962 HAS SOPS 522274 HAS SOUS 76668 HAS SOUPS 76481 WITH SCORE 77010.962
AT ITER 2192 NEW BEST:: SOT 642888 SOS 529902 HAS SOPS 522214 HAS SOUS 76614 HAS SOUPS 76427 WITH SCORE 76956.902
AT ITER 2210 NEW BEST:: SOT 642740 SOS 529754 HAS SOPS 522066 HAS SOUS 76431 HAS SOUPS 76244 WITH SCORE 76773.754
AT ITER 2214 NEW BEST:: SOT 641742 SOS 528756 HAS SOPS 521068 HAS SOUS 76361 HAS SOUPS 76174 WITH SCORE 76702.756
AT ITER 2232 NEW BEST:: SOT 641736 SOS 528750 HAS SOPS 521062 HAS SOUS 76358 HAS SOUPS 76171 WITH SCORE 76699.75
AT ITER 2235 NEW BEST:: SOT 641316 SOS 528330 HAS SOPS 520642 HAS SOUS 76170 HAS SOUPS 75983 WITH SCORE 76511.33
AT ITER 2237 NEW BEST:: SOT 641256 SOS 528270 HAS SOPS 520582 HAS SOUS 76100 HAS SOUPS 75913 WITH SCORE 76441.27
AT ITER 2278 NEW BEST:: SOT 640428 SOS 527549 HAS SOPS 519340 HAS SOUS 76014 HAS SOUPS 75794 WITH SCORE 76321.549
AT ITER 2313 NEW BEST:: SOT 640159 SOS 527304 HAS SOPS 519143 HAS SOUS 75931 HAS SOUPS 75711 WITH SCORE 76238.304
AT ITER 2328 NEW BEST:: SOT 640469 SOS 527614 HAS SOPS 519453 HAS SOUS 75812 HAS SOUPS 75592 WITH SCORE 76119.614
AT ITER 2329 NEW BEST:: SOT 640469 SOS 527564 HAS SOPS 519357 HAS SOUS 75791 HAS SOUPS 75571 WITH SCORE 76098.564
AT ITER 2349 NEW BEST:: SOT 640469 SOS 527606 HAS SOPS 519357 HAS SOUS 75648 HAS SOUPS 75428 WITH SCORE 75955.606
AT ITER 2351 NEW BEST:: SOT 640360 SOS 527486 HAS SOPS 519224 HAS SOUS 75571 HAS SOUPS 75351 WITH SCORE 75878.486
AT ITER 2352 NEW BEST:: SOT 640366 SOS 527492 HAS SOPS 519230 HAS SOUS 75564 HAS SOUPS 75344 WITH SCORE 75871.492
AT ITER 2368 NEW BEST:: SOT 640334 SOS 527460 HAS SOPS 519198 HAS SOUS 75536 HAS SOUPS 75316 WITH SCORE 75843.46
AT ITER 2386 NEW BEST:: SOT 640334 SOS 527460 HAS SOPS 519198 HAS SOUS 75511 HAS SOUPS 75291 WITH SCORE 75818.46
AT ITER 2391 NEW BEST:: SOT 640410 SOS 527536 HAS SOPS 519274 HAS SOUS 75467 HAS SOUPS 75247 WITH SCORE 75774.536
AT ITER 2405 NEW BEST:: SOT 640307 SOS 527433 HAS SOPS 519171 HAS SOUS 75427 HAS SOUPS 75207 WITH SCORE 75734.433
AT ITER 2409 NEW BEST:: SOT 640068 SOS 527194 HAS SOPS 518932 HAS SOUS 75281 HAS SOUPS 75061 WITH SCORE 75588.194
AT ITER 2422 NEW BEST:: SOT 640066 SOS 527192 HAS SOPS 518930 HAS SOUS 75252 HAS SOUPS 75032 WITH SCORE 75559.192
AT ITER 2427 NEW BEST:: SOT 640283 SOS 527409 HAS SOPS 519147 HAS SOUS 75208 HAS SOUPS 74988 WITH SCORE 75515.409
AT ITER 2442 NEW BEST:: SOT 640245 SOS 527371 HAS SOPS 519109 HAS SOUS 75028 HAS SOUPS 74808 WITH SCORE 75335.371
AT ITER 2462 NEW BEST:: SOT 640197 SOS 527323 HAS SOPS 519061 HAS SOUS 74944 HAS SOUPS 74724 WITH SCORE 75251.323
AT ITER 2487 NEW BEST:: SOT 640098 SOS 527224 HAS SOPS 518962 HAS SOUS 74585 HAS SOUPS 74365 WITH SCORE 74892.224
AT ITER 2488 NEW BEST:: SOT 639996 SOS 527122 HAS SOPS 518860 HAS SOUS 74339 HAS SOUPS 74119 WITH SCORE 74646.122
AT ITER 2516 NEW BEST:: SOT 640108 SOS 527234 HAS SOPS 518972 HAS SOUS 74163 HAS SOUPS 73943 WITH SCORE 74470.234
AT ITER 2524 NEW BEST:: SOT 639854 SOS 526980 HAS SOPS 518718 HAS SOUS 74082 HAS SOUPS 73862 WITH SCORE 74388.98
AT ITER 2545 NEW BEST:: SOT 639854 SOS 526980 HAS SOPS 518718 HAS SOUS 74072 HAS SOUPS 73852 WITH SCORE 74378.98
AT ITER 2573 NEW BEST:: SOT 639843 SOS 526969 HAS SOPS 518707 HAS SOUS 74065 HAS SOUPS 73845 WITH SCORE 74371.969
AT ITER 2587 NEW BEST:: SOT 639843 SOS 526995 HAS SOPS 518755 HAS SOUS 74061 HAS SOUPS 73843 WITH SCORE 74369.995
AT ITER 2588 NEW BEST:: SOT 639728 SOS 526880 HAS SOPS 518640 HAS SOUS 73442 HAS SOUPS 73224 WITH SCORE 73750.88
AT ITER 2594 NEW BEST:: SOT 639452 SOS 526604 HAS SOPS 518364 HAS SOUS 73387 HAS SOUPS 73169 WITH SCORE 73695.604
AT ITER 2603 NEW BEST:: SOT 639444 SOS 526596 HAS SOPS 518356 HAS SOUS 73274 HAS SOUPS 73056 WITH SCORE 73582.596
AT ITER 2629 NEW BEST:: SOT 639657 SOS 526809 HAS SOPS 518569 HAS SOUS 73087 HAS SOUPS 72869 WITH SCORE 73395.809
AT ITER 2634 NEW BEST:: SOT 639468 SOS 526620 HAS SOPS 518380 HAS SOUS 73020 HAS SOUPS 72802 WITH SCORE 73328.62
AT ITER 2639 NEW BEST:: SOT 639102 SOS 526078 HAS SOPS 517618 HAS SOUS 73022 HAS SOUPS 72793 WITH SCORE 73319.078
AT ITER 2644 NEW BEST:: SOT 639204 SOS 526180 HAS SOPS 517720 HAS SOUS 72840 HAS SOUPS 72611 WITH SCORE 73137.18
AT ITER 2664 NEW BEST:: SOT 639109 SOS 526085 HAS SOPS 517625 HAS SOUS 72676 HAS SOUPS 72447 WITH SCORE 72973.085
AT ITER 2682 NEW BEST:: SOT 639057 SOS 526033 HAS SOPS 517573 HAS SOUS 72668 HAS SOUPS 72439 WITH SCORE 72965.033
AT ITER 2685 NEW BEST:: SOT 639057 SOS 525607 HAS SOPS 517105 HAS SOUS 72644 HAS SOUPS 72415 WITH SCORE 72940.607
AT ITER 2688 NEW BEST:: SOT 637056 SOS 523598 HAS SOPS 515014 HAS SOUS 71621 HAS SOUPS 71387 WITH SCORE 71910.598
AT ITER 2698 NEW BEST:: SOT 636803 SOS 523345 HAS SOPS 514761 HAS SOUS 71563 HAS SOUPS 71329 WITH SCORE 71852.345
AT ITER 2699 NEW BEST:: SOT 636681 SOS 523223 HAS SOPS 514639 HAS SOUS 71327 HAS SOUPS 71093 WITH SCORE 71616.223
AT ITER 2711 NEW BEST:: SOT 635841 SOS 522383 HAS SOPS 513799 HAS SOUS 71306 HAS SOUPS 71072 WITH SCORE 71594.383
AT ITER 2727 NEW BEST:: SOT 635550 SOS 522092 HAS SOPS 513508 HAS SOUS 71246 HAS SOUPS 71012 WITH SCORE 71534.092
AT ITER 2733 NEW BEST:: SOT 635455 SOS 521997 HAS SOPS 513413 HAS SOUS 71220 HAS SOUPS 70986 WITH SCORE 71507.997
AT ITER 2741 NEW BEST:: SOT 635481 SOS 522023 HAS SOPS 513439 HAS SOUS 71210 HAS SOUPS 70976 WITH SCORE 71498.023
AT ITER 2758 NEW BEST:: SOT 634995 SOS 521537 HAS SOPS 512953 HAS SOUS 70949 HAS SOUPS 70715 WITH SCORE 71236.537
AT ITER 2769 NEW BEST:: SOT 634899 SOS 521933 HAS SOPS 513385 HAS SOUS 70726 HAS SOUPS 70492 WITH SCORE 71013.933
AT ITER 2787 NEW BEST:: SOT 634819 SOS 521853 HAS SOPS 513305 HAS SOUS 70631 HAS SOUPS 70397 WITH SCORE 70918.853
AT ITER 2794 NEW BEST:: SOT 634768 SOS 521818 HAS SOPS 513254 HAS SOUS 70602 HAS SOUPS 70368 WITH SCORE 70889.818
AT ITER 2799 NEW BEST:: SOT 634789 SOS 521839 HAS SOPS 513275 HAS SOUS 70525 HAS SOUPS 70291 WITH SCORE 70812.839
AT ITER 2801 NEW BEST:: SOT 634726 SOS 521776 HAS SOPS 513212 HAS SOUS 70483 HAS SOUPS 70249 WITH SCORE 70770.776
AT ITER 2811 NEW BEST:: SOT 634897 SOS 521947 HAS SOPS 513383 HAS SOUS 70293 HAS SOUPS 70059 WITH SCORE 70580.947
AT ITER 2821 NEW BEST:: SOT 634132 SOS 521182 HAS SOPS 512618 HAS SOUS 69869 HAS SOUPS 69635 WITH SCORE 70156.182
AT ITER 2823 NEW BEST:: SOT 633895 SOS 520945 HAS SOPS 512381 HAS SOUS 69780 HAS SOUPS 69546 WITH SCORE 70066.945
AT ITER 2864 NEW BEST:: SOT 633723 SOS 520773 HAS SOPS 512209 HAS SOUS 69697 HAS SOUPS 69463 WITH SCORE 69983.773
AT ITER 2896 NEW BEST:: SOT 633600 SOS 520650 HAS SOPS 512086 HAS SOUS 69671 HAS SOUPS 69437 WITH SCORE 69957.65
AT ITER 2905 NEW BEST:: SOT 633508 SOS 520558 HAS SOPS 511994 HAS SOUS 69595 HAS SOUPS 69361 WITH SCORE 69881.558
AT ITER 2940 NEW BEST:: SOT 633529 SOS 520579 HAS SOPS 512015 HAS SOUS 69557 HAS SOUPS 69323 WITH SCORE 69843.579
AT ITER 2955 NEW BEST:: SOT 633395 SOS 520445 HAS SOPS 511881 HAS SOUS 69536 HAS SOUPS 69302 WITH SCORE 69822.445
AT ITER 2990 NEW BEST:: SOT 633477 SOS 520527 HAS SOPS 511963 HAS SOUS 69265 HAS SOUPS 69031 WITH SCORE 69551.527
AT ITER 2997 NEW BEST:: SOT 633427 SOS 520477 HAS SOPS 511913 HAS SOUS 69234 HAS SOUPS 69000 WITH SCORE 69520.477
AT ITER 3007 NEW BEST:: SOT 633427 SOS 519941 HAS SOPS 511361 HAS SOUS 69231 HAS SOUPS 68997 WITH SCORE 69516.941
AT ITER 3009 NEW BEST:: SOT 633465 SOS 519979 HAS SOPS 511399 HAS SOUS 69115 HAS SOUPS 68881 WITH SCORE 69400.979
AT ITER 3025 NEW BEST:: SOT 633546 SOS 520060 HAS SOPS 511480 HAS SOUS 69100 HAS SOUPS 68866 WITH SCORE 69386.06
AT ITER 3026 NEW BEST:: SOT 633546 SOS 520060 HAS SOPS 511480 HAS SOUS 69037 HAS SOUPS 68803 WITH SCORE 69323.06
AT ITER 3031 NEW BEST:: SOT 633558 SOS 520072 HAS SOPS 511492 HAS SOUS 69033 HAS SOUPS 68799 WITH SCORE 69319.072
AT ITER 3049 NEW BEST:: SOT 633552 SOS 520066 HAS SOPS 511486 HAS SOUS 68914 HAS SOUPS 68680 WITH SCORE 69200.066
AT ITER 3051 NEW BEST:: SOT 633477 SOS 519991 HAS SOPS 511411 HAS SOUS 68729 HAS SOUPS 68495 WITH SCORE 69014.991
AT ITER 3059 NEW BEST:: SOT 633477 SOS 520017 HAS SOPS 511459 HAS SOUS 68725 HAS SOUPS 68493 WITH SCORE 69013.017
AT ITER 3103 NEW BEST:: SOT 633475 SOS 520015 HAS SOPS 511457 HAS SOUS 68722 HAS SOUPS 68490 WITH SCORE 69010.015
AT ITER 3115 NEW BEST:: SOT 633503 SOS 520043 HAS SOPS 511485 HAS SOUS 68708 HAS SOUPS 68476 WITH SCORE 68996.043
AT ITER 3185 NEW BEST:: SOT 633503 SOS 519839 HAS SOPS 511281 HAS SOUS 68708 HAS SOUPS 68476 WITH SCORE 68995.839
AT ITER 3208 NEW BEST:: SOT 633543 SOS 519879 HAS SOPS 511321 HAS SOUS 68632 HAS SOUPS 68400 WITH SCORE 68919.879
AT ITER 3222 NEW BEST:: SOT 633489 SOS 519825 HAS SOPS 511267 HAS SOUS 68560 HAS SOUPS 68328 WITH SCORE 68847.825
AT ITER 3228 NEW BEST:: SOT 633453 SOS 519789 HAS SOPS 511231 HAS SOUS 68537 HAS SOUPS 68305 WITH SCORE 68824.789
AT ITER 3245 NEW BEST:: SOT 633258 SOS 519594 HAS SOPS 511036 HAS SOUS 68529 HAS SOUPS 68297 WITH SCORE 68816.594
AT ITER 3263 NEW BEST:: SOT 633180 SOS 519516 HAS SOPS 510958 HAS SOUS 68399 HAS SOUPS 68167 WITH SCORE 68686.516
AT ITER 3293 NEW BEST:: SOT 633180 SOS 519522 HAS SOPS 510958 HAS SOUS 68396 HAS SOUPS 68164 WITH SCORE 68683.522
AT ITER 3321 NEW BEST:: SOT 632561 SOS 518903 HAS SOPS 510339 HAS SOUS 68260 HAS SOUPS 68028 WITH SCORE 68546.903
AT ITER 3330 NEW BEST:: SOT 632523 SOS 519528 HAS SOPS 510715 HAS SOUS 68137 HAS SOUPS 67905 WITH SCORE 68424.528
AT ITER 3343 NEW BEST:: SOT 633130 SOS 520135 HAS SOPS 511322 HAS SOUS 68067 HAS SOUPS 67835 WITH SCORE 68355.135
AT ITER 3346 NEW BEST:: SOT 633100 SOS 520105 HAS SOPS 511292 HAS SOUS 68042 HAS SOUPS 67810 WITH SCORE 68330.105
AT ITER 3363 NEW BEST:: SOT 633368 SOS 520373 HAS SOPS 511560 HAS SOUS 68004 HAS SOUPS 67772 WITH SCORE 68292.373
AT ITER 3400 NEW BEST:: SOT 633336 SOS 520330 HAS SOPS 511480 HAS SOUS 67997 HAS SOUPS 67765 WITH SCORE 68285.33
AT ITER 3456 NEW BEST:: SOT 633336 SOS 520138 HAS SOPS 511288 HAS SOUS 67997 HAS SOUPS 67765 WITH SCORE 68285.138
AT ITER 3460 NEW BEST:: SOT 633008 SOS 519810 HAS SOPS 510960 HAS SOUS 67551 HAS SOUPS 67319 WITH SCORE 67838.81
AT ITER 3466 NEW BEST:: SOT 632860 SOS 519662 HAS SOPS 510812 HAS SOUS 67523 HAS SOUPS 67291 WITH SCORE 67810.662
AT ITER 3471 NEW BEST:: SOT 633150 SOS 519952 HAS SOPS 511102 HAS SOUS 67444 HAS SOUPS 67212 WITH SCORE 67731.952
AT ITER 3500 NEW BEST:: SOT 633135 SOS 519921 HAS SOPS 511087 HAS SOUS 67398 HAS SOUPS 67166 WITH SCORE 67685.921
AT ITER 3506 NEW BEST:: SOT 633249 SOS 520035 HAS SOPS 511201 HAS SOUS 67364 HAS SOUPS 67132 WITH SCORE 67652.035
AT ITER 3507 NEW BEST:: SOT 633183 SOS 519969 HAS SOPS 511135 HAS SOUS 67336 HAS SOUPS 67104 WITH SCORE 67623.969
AT ITER 3509 NEW BEST:: SOT 633189 SOS 519975 HAS SOPS 511141 HAS SOUS 67309 HAS SOUPS 67077 WITH SCORE 67596.975
AT ITER 3556 NEW BEST:: SOT 633134 SOS 519920 HAS SOPS 511086 HAS SOUS 67195 HAS SOUPS 66963 WITH SCORE 67482.92
AT ITER 3592 NEW BEST:: SOT 633183 SOS 519969 HAS SOPS 511135 HAS SOUS 67175 HAS SOUPS 66943 WITH SCORE 67462.969
AT ITER 3651 NEW BEST:: SOT 633183 SOS 519977 HAS SOPS 511207 HAS SOUS 67150 HAS SOUPS 66922 WITH SCORE 67441.977
AT ITER 3652 NEW BEST:: SOT 633021 SOS 519815 HAS SOPS 511045 HAS SOUS 67132 HAS SOUPS 66904 WITH SCORE 67423.815
AT ITER 3656 NEW BEST:: SOT 633021 SOS 519725 HAS SOPS 510949 HAS SOUS 67129 HAS SOUPS 66901 WITH SCORE 67420.725
AT ITER 3661 NEW BEST:: SOT 632961 SOS 519665 HAS SOPS 510889 HAS SOUS 67123 HAS SOUPS 66895 WITH SCORE 67414.665
AT ITER 3690 NEW BEST:: SOT 632961 SOS 519912 HAS SOPS 511261 HAS SOUS 67092 HAS SOUPS 66876 WITH SCORE 67395.912
AT ITER 3693 NEW BEST:: SOT 632963 SOS 519914 HAS SOPS 511263 HAS SOUS 67072 HAS SOUPS 66856 WITH SCORE 67375.914
AT ITER 3709 NEW BEST:: SOT 632935 SOS 519886 HAS SOPS 511235 HAS SOUS 67038 HAS SOUPS 66822 WITH SCORE 67341.886
AT ITER 3720 NEW BEST:: SOT 632935 SOS 519538 HAS SOPS 510887 HAS SOUS 67038 HAS SOUPS 66822 WITH SCORE 67341.538
AT ITER 3735 NEW BEST:: SOT 633013 SOS 519616 HAS SOPS 510965 HAS SOUS 67037 HAS SOUPS 66821 WITH SCORE 67340.616
AT ITER 3745 NEW BEST:: SOT 632932 SOS 519535 HAS SOPS 510884 HAS SOUS 66965 HAS SOUPS 66749 WITH SCORE 67268.535
AT ITER 3747 NEW BEST:: SOT 632832 SOS 519435 HAS SOPS 510784 HAS SOUS 66910 HAS SOUPS 66694 WITH SCORE 67213.435
AT ITER 3748 NEW BEST:: SOT 632484 SOS 519087 HAS SOPS 510436 HAS SOUS 66572 HAS SOUPS 66356 WITH SCORE 66875.087
AT ITER 3756 NEW BEST:: SOT 632476 SOS 519079 HAS SOPS 510428 HAS SOUS 66563 HAS SOUPS 66347 WITH SCORE 66866.079
AT ITER 3768 NEW BEST:: SOT 632476 SOS 519233 HAS SOPS 510836 HAS SOUS 66510 HAS SOUPS 66311 WITH SCORE 66830.233
AT ITER 3807 NEW BEST:: SOT 632776 SOS 519533 HAS SOPS 511136 HAS SOUS 66347 HAS SOUPS 66148 WITH SCORE 66667.533
AT ITER 3824 NEW BEST:: SOT 632645 SOS 519402 HAS SOPS 511005 HAS SOUS 66268 HAS SOUPS 66069 WITH SCORE 66588.402
AT ITER 3830 NEW BEST:: SOT 632645 SOS 519282 HAS SOPS 510885 HAS SOUS 66268 HAS SOUPS 66069 WITH SCORE 66588.282
AT ITER 3857 NEW BEST:: SOT 632531 SOS 519168 HAS SOPS 510771 HAS SOUS 66258 HAS SOUPS 66059 WITH SCORE 66578.168
AT ITER 3862 NEW BEST:: SOT 632417 SOS 519054 HAS SOPS 510657 HAS SOUS 66204 HAS SOUPS 66005 WITH SCORE 66524.054
AT ITER 3986 NEW BEST:: SOT 632541 SOS 519178 HAS SOPS 510781 HAS SOUS 66129 HAS SOUPS 65930 WITH SCORE 66449.178
AT ITER 4001 NEW BEST:: SOT 632541 SOS 519502 HAS SOPS 511141 HAS SOUS 66123 HAS SOUPS 65924 WITH SCORE 66443.502
AT ITER 4035 NEW BEST:: SOT 632442 SOS 519403 HAS SOPS 511042 HAS SOUS 66057 HAS SOUPS 65858 WITH SCORE 66377.403
AT ITER 4042 NEW BEST:: SOT 632644 SOS 519605 HAS SOPS 511244 HAS SOUS 66045 HAS SOUPS 65846 WITH SCORE 66365.605
AT ITER 4096 NEW BEST:: SOT 632570 SOS 519053 HAS SOPS 510342 HAS SOUS 66019 HAS SOUPS 65797 WITH SCORE 66316.053
AT ITER 4098 NEW BEST:: SOT 632570 SOS 519053 HAS SOPS 510342 HAS SOUS 65935 HAS SOUPS 65713 WITH SCORE 66232.053
AT ITER 4115 NEW BEST:: SOT 632663 SOS 519146 HAS SOPS 510435 HAS SOUS 65850 HAS SOUPS 65628 WITH SCORE 66147.146
AT ITER 4135 NEW BEST:: SOT 632651 SOS 519134 HAS SOPS 510423 HAS SOUS 65850 HAS SOUPS 65628 WITH SCORE 66147.134
AT ITER 4143 NEW BEST:: SOT 632663 SOS 519146 HAS SOPS 510435 HAS SOUS 65823 HAS SOUPS 65601 WITH SCORE 66120.146
AT ITER 4150 NEW BEST:: SOT 632663 SOS 519182 HAS SOPS 510525 HAS SOUS 65808 HAS SOUPS 65591 WITH SCORE 66110.182
AT ITER 4151 NEW BEST:: SOT 633213 SOS 519732 HAS SOPS 511075 HAS SOUS 65742 HAS SOUPS 65525 WITH SCORE 66044.732
AT ITER 4164 NEW BEST:: SOT 633229 SOS 519748 HAS SOPS 511091 HAS SOUS 65740 HAS SOUPS 65523 WITH SCORE 66042.748
AT ITER 4165 NEW BEST:: SOT 633229 SOS 519748 HAS SOPS 511091 HAS SOUS 65731 HAS SOUPS 65514 WITH SCORE 66033.748
AT ITER 4183 NEW BEST:: SOT 633229 SOS 519748 HAS SOPS 511091 HAS SOUS 65714 HAS SOUPS 65497 WITH SCORE 66016.748
AT ITER 4201 NEW BEST:: SOT 633229 SOS 519700 HAS SOPS 511043 HAS SOUS 65714 HAS SOUPS 65497 WITH SCORE 66016.7
AT ITER 4244 NEW BEST:: SOT 633205 SOS 519676 HAS SOPS 511019 HAS SOUS 65679 HAS SOUPS 65462 WITH SCORE 65981.676
AT ITER 4249 NEW BEST:: SOT 633255 SOS 519726 HAS SOPS 511069 HAS SOUS 65678 HAS SOUPS 65461 WITH SCORE 65980.726
AT ITER 4262 NEW BEST:: SOT 632621 SOS 519092 HAS SOPS 510435 HAS SOUS 65549 HAS SOUPS 65332 WITH SCORE 65851.092
AT ITER 4268 NEW BEST:: SOT 632640 SOS 519111 HAS SOPS 510454 HAS SOUS 65526 HAS SOUPS 65309 WITH SCORE 65828.111
AT ITER 4272 NEW BEST:: SOT 632640 SOS 519083 HAS SOPS 510382 HAS SOUS 65530 HAS SOUPS 65309 WITH SCORE 65828.083
AT ITER 4299 NEW BEST:: SOT 632272 SOS 518715 HAS SOPS 510014 HAS SOUS 65110 HAS SOUPS 64889 WITH SCORE 65407.715
AT ITER 4315 NEW BEST:: SOT 631984 SOS 518427 HAS SOPS 509726 HAS SOUS 64762 HAS SOUPS 64541 WITH SCORE 65059.427
AT ITER 4332 NEW BEST:: SOT 632026 SOS 518469 HAS SOPS 509768 HAS SOUS 64743 HAS SOUPS 64522 WITH SCORE 65040.469
AT ITER 4364 NEW BEST:: SOT 632026 SOS 518469 HAS SOPS 509768 HAS SOUS 64653 HAS SOUPS 64432 WITH SCORE 64950.469
AT ITER 4376 NEW BEST:: SOT 632026 SOS 518092 HAS SOPS 509786 HAS SOUS 64630 HAS SOUPS 64431 WITH SCORE 64949.092
AT ITER 4414 NEW BEST:: SOT 632026 SOS 518092 HAS SOPS 509786 HAS SOUS 64618 HAS SOUPS 64419 WITH SCORE 64937.092
AT ITER 4419 NEW BEST:: SOT 632026 SOS 518134 HAS SOPS 509786 HAS SOUS 64586 HAS SOUPS 64387 WITH SCORE 64905.134
AT ITER 4421 NEW BEST:: SOT 632026 SOS 518142 HAS SOPS 509786 HAS SOUS 64582 HAS SOUPS 64383 WITH SCORE 64901.142
AT ITER 4427 NEW BEST:: SOT 632026 SOS 518172 HAS SOPS 510002 HAS SOUS 64559 HAS SOUPS 64371 WITH SCORE 64889.172
AT ITER 4457 NEW BEST:: SOT 632045 SOS 518467 HAS SOPS 510789 HAS SOUS 64384 HAS SOUPS 64228 WITH SCORE 64746.467
AT ITER 4528 NEW BEST:: SOT 631903 SOS 518325 HAS SOPS 510647 HAS SOUS 64381 HAS SOUPS 64225 WITH SCORE 64743.325
AT ITER 4545 NEW BEST:: SOT 631875 SOS 518297 HAS SOPS 510619 HAS SOUS 64358 HAS SOUPS 64202 WITH SCORE 64720.297
AT ITER 4546 NEW BEST:: SOT 631571 SOS 517993 HAS SOPS 510315 HAS SOUS 64218 HAS SOUPS 64062 WITH SCORE 64579.993
AT ITER 4559 NEW BEST:: SOT 631561 SOS 517983 HAS SOPS 510305 HAS SOUS 64217 HAS SOUPS 64061 WITH SCORE 64578.983
AT ITER 4576 NEW BEST:: SOT 631561 SOS 518370 HAS SOPS 510683 HAS SOUS 64202 HAS SOUPS 64046 WITH SCORE 64564.37
AT ITER 4587 NEW BEST:: SOT 631489 SOS 518298 HAS SOPS 510611 HAS SOUS 64139 HAS SOUPS 63983 WITH SCORE 64501.298
AT ITER 4608 NEW BEST:: SOT 631563 SOS 518456 HAS SOPS 510901 HAS SOUS 63971 HAS SOUPS 63824 WITH SCORE 64342.456
AT ITER 4613 NEW BEST:: SOT 631445 SOS 518338 HAS SOPS 510783 HAS SOUS 63811 HAS SOUPS 63664 WITH SCORE 64182.338
AT ITER 4614 NEW BEST:: SOT 631391 SOS 518284 HAS SOPS 510729 HAS SOUS 63806 HAS SOUPS 63659 WITH SCORE 64177.284
AT ITER 4620 NEW BEST:: SOT 631135 SOS 518028 HAS SOPS 510473 HAS SOUS 63516 HAS SOUPS 63369 WITH SCORE 63887.028
AT ITER 4640 NEW BEST:: SOT 630394 SOS 517287 HAS SOPS 509732 HAS SOUS 63369 HAS SOUPS 63222 WITH SCORE 63739.287
AT ITER 4676 NEW BEST:: SOT 630348 SOS 517241 HAS SOPS 509686 HAS SOUS 63368 HAS SOUPS 63221 WITH SCORE 63738.241
AT ITER 4692 NEW BEST:: SOT 630254 SOS 517147 HAS SOPS 509592 HAS SOUS 63360 HAS SOUPS 63213 WITH SCORE 63730.147
AT ITER 4697 NEW BEST:: SOT 630206 SOS 517099 HAS SOPS 509544 HAS SOUS 63327 HAS SOUPS 63180 WITH SCORE 63697.099
AT ITER 4699 NEW BEST:: SOT 630400 SOS 517293 HAS SOPS 509738 HAS SOUS 63289 HAS SOUPS 63142 WITH SCORE 63659.293
AT ITER 4744 NEW BEST:: SOT 630355 SOS 517248 HAS SOPS 509693 HAS SOUS 63274 HAS SOUPS 63127 WITH SCORE 63644.248
AT ITER 4747 NEW BEST:: SOT 630375 SOS 517268 HAS SOPS 509713 HAS SOUS 63259 HAS SOUPS 63112 WITH SCORE 63629.268
AT ITER 4752 NEW BEST:: SOT 630375 SOS 517196 HAS SOPS 509641 HAS SOUS 63259 HAS SOUPS 63112 WITH SCORE 63629.196
AT ITER 4761 NEW BEST:: SOT 630758 SOS 517579 HAS SOPS 510024 HAS SOUS 63163 HAS SOUPS 63016 WITH SCORE 63533.579
AT ITER 4789 NEW BEST:: SOT 630571 SOS 517392 HAS SOPS 509837 HAS SOUS 63125 HAS SOUPS 62978 WITH SCORE 63495.392
AT ITER 4792 NEW BEST:: SOT 630571 SOS 517392 HAS SOPS 509837 HAS SOUS 63110 HAS SOUPS 62963 WITH SCORE 63480.392
AT ITER 4793 NEW BEST:: SOT 630563 SOS 517384 HAS SOPS 509829 HAS SOUS 63094 HAS SOUPS 62947 WITH SCORE 63464.384
AT ITER 4797 NEW BEST:: SOT 630459 SOS 517280 HAS SOPS 509725 HAS SOUS 63060 HAS SOUPS 62913 WITH SCORE 63430.28
AT ITER 4823 NEW BEST:: SOT 630208 SOS 516609 HAS SOPS 508502 HAS SOUS 63072 HAS SOUPS 62892 WITH SCORE 63408.609
AT ITER 4873 NEW BEST:: SOT 629985 SOS 516386 HAS SOPS 508279 HAS SOUS 63067 HAS SOUPS 62887 WITH SCORE 63403.386
AT ITER 4906 NEW BEST:: SOT 630111 SOS 516512 HAS SOPS 508405 HAS SOUS 63056 HAS SOUPS 62876 WITH SCORE 63392.512
AT ITER 4939 NEW BEST:: SOT 630111 SOS 516468 HAS SOPS 508429 HAS SOUS 63048 HAS SOUPS 62872 WITH SCORE 63388.468
AT ITER 4949 NEW BEST:: SOT 630285 SOS 516642 HAS SOPS 508603 HAS SOUS 63001 HAS SOUPS 62825 WITH SCORE 63341.642
AT ITER 4976 NEW BEST:: SOT 630038 SOS 516395 HAS SOPS 508356 HAS SOUS 62910 HAS SOUPS 62734 WITH SCORE 63250.395
AT ITER 4996 NEW BEST:: SOT 630038 SOS 516395 HAS SOPS 508356 HAS SOUS 62883 HAS SOUPS 62707 WITH SCORE 63223.395
Bounds file is: CTLFireability.xml
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-00 ( (! (EU( ( ((potential((tk(P261)>=1) & (tk(P101)>=1) & (tk(P301)>=1)))) & ((potential((tk(P261)>=1) & (tk(P102)>=1) & (tk(P301)>=1)))) ) , ((potential((tk(P221)>=1) & (tk(P41)>=1) & (tk(P301)>=1)))) ))) & (! ( (! (AF( ((potential((tk(P290)>=1) & (tk(P181)>=1) & (tk(P301)>=1))))))) & (EF( ((potential((tk(P273)>=1) & (tk(P126)>=1) & (tk(P301)>=1)))))) )) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-01 (EF( ( ( ((potential((tk(P288)>=1) & (tk(P173)>=1) & (tk(P301)>=1)))) & ( ( ((potential((tk(P235)>=1) & (tk(P72)>=1) & (tk(P301)>=1)))) | ((potential((tk(P224)>=1) & (tk(P50)>=1) & (tk(P301)>=1)))) ) & ( ((potential((tk(P226)>=1) & (tk(P30)>=1) & (tk(P301)>=1)))) | ((potential((tk(P238)>=1) & (tk(P76)>=1) & (tk(P301)>=1)))) ) ) ) & ((potential((tk(P279)>=1) & (tk(P157)>=1) & (tk(P301)>=1)))) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-02 (EF( ( ( (AX( ((potential((tk(P236)>=1) & (tk(P71)>=1) & (tk(P301)>=1)))))) & (EX( ((potential((tk(P215)>=1) & (tk(P47)>=1) & (tk(P301)>=1)))))) ) & ((potential((tk(P298)>=1) & (tk(P195)>=1) & (tk(P301)>=1)))) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-03 (AX( ( ( (! ( ((potential((tk(P295)>=1) & (tk(P12)>=1) & (tk(P301)>=1)))) | ((potential((tk(P220)>=1) & (tk(P21)>=1) & (tk(P301)>=1)))) )) & (! ( ((potential((tk(P239)>=1) & (tk(P97)>=1) & (tk(P301)>=1)))) | ((potential((tk(P229)>=1) & (tk(P78)>=1) & (tk(P301)>=1)))) )) ) & (EF( ( ((potential((tk(P263)>=1) & (tk(P148)>=1) & (tk(P301)>=1)))) & ((potential((tk(P209)>=1) & (tk(P19)>=1) & (tk(P301)>=1)))) ))) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-04 (EG( (EF( ( ((potential((tk(P234)>=1) & (tk(P46)>=1) & (tk(P301)>=1)))) & ( ((potential((tk(P222)>=1) & (tk(P43)>=1) & (tk(P301)>=1)))) | ((potential((tk(P265)>=1) & (tk(P148)>=1) & (tk(P301)>=1)))) ) )))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-05 (AU( (! (EF( ((potential((tk(P281)>=1) & (tk(P141)>=1) & (tk(P301)>=1))))))) , ( ((potential((tk(P275)>=1) & (tk(P167)>=1) & (tk(P301)>=1)))) | (AF( ((potential((tk(P260)>=1) & (tk(P137)>=1) & (tk(P301)>=1)))))) ) ))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-06 ( (! (EF( ( ( ((potential((tk(P236)>=1) & (tk(P91)>=1) & (tk(P301)>=1)))) & ((potential((tk(P211)>=1) & (tk(P41)>=1) & (tk(P301)>=1)))) ) & (! ((potential((tk(P254)>=1) & (tk(P89)>=1) & (tk(P301)>=1))))) )))) & (AF( ((potential((tk(P286)>=1) & (tk(P191)>=1) & (tk(P301)>=1)))))) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-07 (EF( ( ( (EF( ((potential((tk(P254)>=1) & (tk(P106)>=1) & (tk(P301)>=1)))))) & ((potential((tk(P206)>=1) & (tk(P13)>=1) & (tk(P301)>=1)))) ) & ( (EX( ((potential((tk(P284)>=1) & (tk(P148)>=1) & (tk(P301)>=1)))))) | ((potential((tk(P299)>=1) & (tk(P176)>=1) & (tk(P301)>=1)))) ) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-08 ( (EF( (EX( ( ((potential((tk(P240)>=1) & (tk(P82)>=1) & (tk(P301)>=1)))) | ((potential((tk(P289)>=1) & (tk(P180)>=1) & (tk(P301)>=1)))) ))))) | ( ((potential((tk(P209)>=1) & (tk(P198)>=1) & (tk(P301)>=1)))) & (! ( (EF( ((potential((tk(P206)>=1) & (tk(P11)>=1) & (tk(P301)>=1)))))) | ( (! ((potential((tk(P238)>=1) & (tk(P98)>=1) & (tk(P301)>=1))))) & ((potential((tk(P205)>=1) & (tk(P189)>=1) & (tk(P301)>=1)))) ) )) ) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-09 (EG( (AG( (EF( ((potential((tk(P293)>=1) & (tk(P185)>=1) & (tk(P301)>=1))))))))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-10 (EG( (! ((potential((tk(P269)>=1) & (tk(P139)>=1) & (tk(P301)>=1)))))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-11 (EF( ((potential((tk(P202)>=1) & (tk(P185)>=1) & (tk(P301)>=1))))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-12 (! ( ( (EX( (! ((potential((tk(P224)>=1) & (tk(P26)>=1) & (tk(P301)>=1))))))) & (AF( ( ((potential((tk(P284)>=1) & (tk(P189)>=1) & (tk(P301)>=1)))) | ((potential((tk(P278)>=1) & (tk(P158)>=1) & (tk(P301)>=1)))) ))) ) | (AF( ((potential((tk(P229)>=1) & (tk(P59)>=1) & (tk(P301)>=1)))))) ))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-13 (EG( (AF( (EF( ((potential((tk(P247)>=1) & (tk(P95)>=1) & (tk(P301)>=1))))))))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-14 ( (! (EG( ((potential((tk(P290)>=1) & (tk(P180)>=1) & (tk(P301)>=1))))))) & (! ( (AF( ( ((potential((tk(P297)>=1) & (tk(P173)>=1) & (tk(P301)>=1)))) | ((potential((tk(P221)>=1) & (tk(P59)>=1) & (tk(P301)>=1)))) ))) | ( ((potential((tk(P222)>=1) & (tk(P44)>=1) & (tk(P301)>=1)))) | ( ((potential((tk(P268)>=1) & (tk(P133)>=1) & (tk(P301)>=1)))) | ( ((potential((tk(P275)>=1) & (tk(P132)>=1) & (tk(P301)>=1)))) & ((potential((tk(P267)>=1) & (tk(P114)>=1) & (tk(P301)>=1)))) ) ) ) )) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLFireability-15 (AG( ( ( (EX( ((potential((tk(P290)>=1) & (tk(P159)>=1) & (tk(P301)>=1)))))) | ( ((potential((tk(P298)>=1) & (tk(P13)>=1) & (tk(P301)>=1)))) | ( ((potential((tk(P225)>=1) & (tk(P67)>=1) & (tk(P301)>=1)))) | ((potential((tk(P210)>=1) & (tk(P2)>=1) & (tk(P301)>=1)))) ) ) ) | (! (! (! ((potential((tk(P293)>=1) & (tk(P165)>=1) & (tk(P301)>=1))))))) )))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PhaseVariation-PT-D10CS100, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961251000796"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;