Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 436K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589015370082

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1016 places, 1554 transitions, 5858 arcs.
AT ITER 0 NEW BEST:: SOT 867032 SOS 592964 HAS SOPS 592964 HAS SOUS 372089 HAS SOUPS 372089 WITH SCORE 372681.964
AT ITER 6 NEW BEST:: SOT 864708 SOS 592544 HAS SOPS 592544 HAS SOUS 370048 HAS SOUPS 370048 WITH SCORE 370640.544
AT ITER 7 NEW BEST:: SOT 864708 SOS 592475 HAS SOPS 592475 HAS SOUS 370048 HAS SOUPS 370048 WITH SCORE 370640.475
AT ITER 12 NEW BEST:: SOT 864708 SOS 592196 HAS SOPS 592196 HAS SOUS 369769 HAS SOUPS 369769 WITH SCORE 370361.196
AT ITER 13 NEW BEST:: SOT 864708 SOS 592087 HAS SOPS 592087 HAS SOUS 369442 HAS SOUPS 369442 WITH SCORE 370034.087
AT ITER 14 NEW BEST:: SOT 864401 SOS 591184 HAS SOPS 591184 HAS SOUS 369216 HAS SOUPS 369216 WITH SCORE 369807.184
AT ITER 16 NEW BEST:: SOT 864401 SOS 591177 HAS SOPS 591177 HAS SOUS 369209 HAS SOUPS 369209 WITH SCORE 369800.177
AT ITER 18 NEW BEST:: SOT 864363 SOS 591138 HAS SOPS 591138 HAS SOUS 369204 HAS SOUPS 369204 WITH SCORE 369795.138
AT ITER 21 NEW BEST:: SOT 864363 SOS 590525 HAS SOPS 590525 HAS SOUS 368887 HAS SOUPS 368887 WITH SCORE 369477.525
AT ITER 23 NEW BEST:: SOT 861029 SOS 587191 HAS SOPS 587191 HAS SOUS 365553 HAS SOUPS 365553 WITH SCORE 366140.191
AT ITER 25 NEW BEST:: SOT 861140 SOS 586019 HAS SOPS 586019 HAS SOUS 365552 HAS SOUPS 365552 WITH SCORE 366138.019
AT ITER 28 NEW BEST:: SOT 861053 SOS 584964 HAS SOPS 584964 HAS SOUS 365376 HAS SOUPS 365376 WITH SCORE 365960.964
AT ITER 35 NEW BEST:: SOT 861045 SOS 584939 HAS SOPS 584939 HAS SOUS 365351 HAS SOUPS 365351 WITH SCORE 365935.939
AT ITER 44 NEW BEST:: SOT 861580 SOS 584218 HAS SOPS 584218 HAS SOUS 364557 HAS SOUPS 364557 WITH SCORE 365141.218
AT ITER 48 NEW BEST:: SOT 858871 SOS 581509 HAS SOPS 581509 HAS SOUS 361848 HAS SOUPS 361848 WITH SCORE 362429.509
AT ITER 51 NEW BEST:: SOT 848631 SOS 572810 HAS SOPS 572810 HAS SOUS 351006 HAS SOUPS 351006 WITH SCORE 351578.81
AT ITER 53 NEW BEST:: SOT 848223 SOS 572399 HAS SOPS 572399 HAS SOUS 350999 HAS SOUPS 350999 WITH SCORE 351571.399
AT ITER 57 NEW BEST:: SOT 847748 SOS 569695 HAS SOPS 569695 HAS SOUS 350177 HAS SOUPS 350177 WITH SCORE 350746.695
AT ITER 62 NEW BEST:: SOT 847463 SOS 569409 HAS SOPS 569409 HAS SOUS 350176 HAS SOUPS 350176 WITH SCORE 350745.409
AT ITER 65 NEW BEST:: SOT 847291 SOS 569237 HAS SOPS 569237 HAS SOUS 350172 HAS SOUPS 350172 WITH SCORE 350741.237
AT ITER 66 NEW BEST:: SOT 846473 SOS 568419 HAS SOPS 568419 HAS SOUS 349353 HAS SOUPS 349353 WITH SCORE 349921.419
AT ITER 67 NEW BEST:: SOT 846261 SOS 567598 HAS SOPS 567598 HAS SOUS 349139 HAS SOUPS 349139 WITH SCORE 349706.598
AT ITER 76 NEW BEST:: SOT 846501 SOS 566651 HAS SOPS 566651 HAS SOUS 348764 HAS SOUPS 348764 WITH SCORE 349330.651
AT ITER 79 NEW BEST:: SOT 846370 SOS 565681 HAS SOPS 565681 HAS SOUS 347977 HAS SOUPS 347977 WITH SCORE 348542.681
AT ITER 82 NEW BEST:: SOT 845922 SOS 565233 HAS SOPS 565233 HAS SOUS 347528 HAS SOUPS 347528 WITH SCORE 348093.233
AT ITER 84 NEW BEST:: SOT 845922 SOS 564782 HAS SOPS 564782 HAS SOUS 347170 HAS SOUPS 347170 WITH SCORE 347734.782
AT ITER 86 NEW BEST:: SOT 845598 SOS 564262 HAS SOPS 564262 HAS SOUS 347055 HAS SOUPS 347055 WITH SCORE 347619.262
AT ITER 88 NEW BEST:: SOT 845388 SOS 564039 HAS SOPS 564039 HAS SOUS 346832 HAS SOUPS 346832 WITH SCORE 347396.039
AT ITER 93 NEW BEST:: SOT 845642 SOS 563446 HAS SOPS 563446 HAS SOUS 345982 HAS SOUPS 345982 WITH SCORE 346545.446
AT ITER 105 NEW BEST:: SOT 845642 SOS 563056 HAS SOPS 563056 HAS SOUS 345981 HAS SOUPS 345981 WITH SCORE 346544.056
AT ITER 110 NEW BEST:: SOT 845431 SOS 562845 HAS SOPS 562845 HAS SOUS 345769 HAS SOUPS 345769 WITH SCORE 346331.845
AT ITER 112 NEW BEST:: SOT 845246 SOS 562660 HAS SOPS 562660 HAS SOUS 345747 HAS SOUPS 345747 WITH SCORE 346309.66
AT ITER 114 NEW BEST:: SOT 844988 SOS 562402 HAS SOPS 562402 HAS SOUS 345488 HAS SOUPS 345488 WITH SCORE 346050.402
AT ITER 115 NEW BEST:: SOT 844947 SOS 562353 HAS SOPS 562353 HAS SOUS 345476 HAS SOUPS 345476 WITH SCORE 346038.353
AT ITER 116 NEW BEST:: SOT 843711 SOS 561117 HAS SOPS 561117 HAS SOUS 344098 HAS SOUPS 344098 WITH SCORE 344659.117
AT ITER 117 NEW BEST:: SOT 843711 SOS 560588 HAS SOPS 560588 HAS SOUS 344097 HAS SOUPS 344097 WITH SCORE 344657.588
AT ITER 118 NEW BEST:: SOT 843711 SOS 560588 HAS SOPS 560588 HAS SOUS 344091 HAS SOUPS 344091 WITH SCORE 344651.588
AT ITER 120 NEW BEST:: SOT 836165 SOS 553042 HAS SOPS 553042 HAS SOUS 336545 HAS SOUPS 336545 WITH SCORE 337098.042
AT ITER 123 NEW BEST:: SOT 836161 SOS 553038 HAS SOPS 553038 HAS SOUS 336541 HAS SOUPS 336541 WITH SCORE 337094.038
AT ITER 125 NEW BEST:: SOT 836156 SOS 552850 HAS SOPS 552850 HAS SOUS 336518 HAS SOUPS 336518 WITH SCORE 337070.85
AT ITER 128 NEW BEST:: SOT 836154 SOS 552819 HAS SOPS 552819 HAS SOUS 336487 HAS SOUPS 336487 WITH SCORE 337039.819
AT ITER 140 NEW BEST:: SOT 836100 SOS 552765 HAS SOPS 552765 HAS SOUS 336433 HAS SOUPS 336433 WITH SCORE 336985.765
AT ITER 141 NEW BEST:: SOT 830008 SOS 546673 HAS SOPS 546673 HAS SOUS 330341 HAS SOUPS 330341 WITH SCORE 330887.673
AT ITER 143 NEW BEST:: SOT 830002 SOS 546667 HAS SOPS 546667 HAS SOUS 330334 HAS SOUPS 330334 WITH SCORE 330880.667
AT ITER 144 NEW BEST:: SOT 829596 SOS 545234 HAS SOPS 545234 HAS SOUS 329018 HAS SOUPS 329018 WITH SCORE 329563.234
AT ITER 147 NEW BEST:: SOT 829428 SOS 545717 HAS SOPS 545717 HAS SOUS 328662 HAS SOUPS 328662 WITH SCORE 329207.717
AT ITER 148 NEW BEST:: SOT 829428 SOS 545519 HAS SOPS 545519 HAS SOUS 328134 HAS SOUPS 328134 WITH SCORE 328679.519
AT ITER 150 NEW BEST:: SOT 829735 SOS 544742 HAS SOPS 544742 HAS SOUS 327901 HAS SOUPS 327901 WITH SCORE 328445.742
AT ITER 153 NEW BEST:: SOT 829471 SOS 544394 HAS SOPS 544394 HAS SOUS 327901 HAS SOUPS 327901 WITH SCORE 328445.394
AT ITER 154 NEW BEST:: SOT 829472 SOS 544382 HAS SOPS 544382 HAS SOUS 327889 HAS SOUPS 327889 WITH SCORE 328433.382
AT ITER 165 NEW BEST:: SOT 829472 SOS 540382 HAS SOPS 540382 HAS SOUS 327093 HAS SOUPS 327093 WITH SCORE 327633.382
AT ITER 168 NEW BEST:: SOT 829472 SOS 539813 HAS SOPS 539813 HAS SOUS 326999 HAS SOUPS 326999 WITH SCORE 327538.813
AT ITER 176 NEW BEST:: SOT 829472 SOS 539807 HAS SOPS 539807 HAS SOUS 326993 HAS SOUPS 326993 WITH SCORE 327532.807
AT ITER 177 NEW BEST:: SOT 830232 SOS 541440 HAS SOPS 541440 HAS SOUS 326480 HAS SOUPS 326480 WITH SCORE 327021.44
AT ITER 185 NEW BEST:: SOT 830232 SOS 541440 HAS SOPS 541440 HAS SOUS 326477 HAS SOUPS 326477 WITH SCORE 327018.44
AT ITER 187 NEW BEST:: SOT 828403 SOS 538812 HAS SOPS 538812 HAS SOUS 324094 HAS SOUPS 324094 WITH SCORE 324632.812
AT ITER 191 NEW BEST:: SOT 828403 SOS 538748 HAS SOPS 538748 HAS SOUS 324094 HAS SOUPS 324094 WITH SCORE 324632.748
AT ITER 197 NEW BEST:: SOT 827239 SOS 537584 HAS SOPS 537584 HAS SOUS 322927 HAS SOUPS 322927 WITH SCORE 323464.584
AT ITER 201 NEW BEST:: SOT 827239 SOS 537551 HAS SOPS 537551 HAS SOUS 322894 HAS SOUPS 322894 WITH SCORE 323431.551
AT ITER 209 NEW BEST:: SOT 826507 SOS 536819 HAS SOPS 536819 HAS SOUS 322162 HAS SOUPS 322162 WITH SCORE 322698.819
AT ITER 212 NEW BEST:: SOT 826491 SOS 536803 HAS SOPS 536803 HAS SOUS 322146 HAS SOUPS 322146 WITH SCORE 322682.803
AT ITER 218 NEW BEST:: SOT 826432 SOS 536678 HAS SOPS 536678 HAS SOUS 322021 HAS SOUPS 322021 WITH SCORE 322557.678
AT ITER 223 NEW BEST:: SOT 826128 SOS 535766 HAS SOPS 535766 HAS SOUS 321409 HAS SOUPS 321409 WITH SCORE 321944.766
AT ITER 228 NEW BEST:: SOT 826120 SOS 536039 HAS SOPS 536039 HAS SOUS 321384 HAS SOUPS 321384 WITH SCORE 321920.039
AT ITER 231 NEW BEST:: SOT 826120 SOS 536039 HAS SOPS 536039 HAS SOUS 321382 HAS SOUPS 321382 WITH SCORE 321918.039
AT ITER 242 NEW BEST:: SOT 824930 SOS 535333 HAS SOPS 535333 HAS SOUS 320483 HAS SOUPS 320483 WITH SCORE 321018.333
AT ITER 244 NEW BEST:: SOT 824930 SOS 534644 HAS SOPS 534644 HAS SOUS 320229 HAS SOUPS 320229 WITH SCORE 320763.644
AT ITER 245 NEW BEST:: SOT 824908 SOS 534615 HAS SOPS 534615 HAS SOUS 320221 HAS SOUPS 320221 WITH SCORE 320755.615
AT ITER 247 NEW BEST:: SOT 822522 SOS 532229 HAS SOPS 532229 HAS SOUS 317833 HAS SOUPS 317833 WITH SCORE 318365.229
AT ITER 266 NEW BEST:: SOT 822506 SOS 532213 HAS SOPS 532213 HAS SOUS 317816 HAS SOUPS 317816 WITH SCORE 318348.213
AT ITER 273 NEW BEST:: SOT 822468 SOS 532175 HAS SOPS 532175 HAS SOUS 317766 HAS SOUPS 317766 WITH SCORE 318298.175
AT ITER 274 NEW BEST:: SOT 821887 SOS 530486 HAS SOPS 530486 HAS SOUS 316579 HAS SOUPS 316579 WITH SCORE 317109.486
AT ITER 282 NEW BEST:: SOT 820053 SOS 528652 HAS SOPS 528652 HAS SOUS 314745 HAS SOUPS 314745 WITH SCORE 315273.652
AT ITER 296 NEW BEST:: SOT 811904 SOS 520038 HAS SOPS 520038 HAS SOUS 306144 HAS SOUPS 306144 WITH SCORE 306664.038
AT ITER 305 NEW BEST:: SOT 811901 SOS 520035 HAS SOPS 520035 HAS SOUS 306141 HAS SOUPS 306141 WITH SCORE 306661.035
AT ITER 328 NEW BEST:: SOT 805592 SOS 513927 HAS SOPS 513927 HAS SOUS 300003 HAS SOUPS 300003 WITH SCORE 300516.927
AT ITER 334 NEW BEST:: SOT 805592 SOS 513927 HAS SOPS 513927 HAS SOUS 299979 HAS SOUPS 299979 WITH SCORE 300492.927
AT ITER 339 NEW BEST:: SOT 805627 SOS 513924 HAS SOPS 513924 HAS SOUS 299941 HAS SOUPS 299941 WITH SCORE 300454.924
AT ITER 353 NEW BEST:: SOT 802082 SOS 510379 HAS SOPS 510379 HAS SOUS 296210 HAS SOUPS 296210 WITH SCORE 296720.379
AT ITER 361 NEW BEST:: SOT 801994 SOS 510291 HAS SOPS 510291 HAS SOUS 296121 HAS SOUPS 296121 WITH SCORE 296631.291
AT ITER 366 NEW BEST:: SOT 801754 SOS 509887 HAS SOPS 509887 HAS SOUS 296019 HAS SOUPS 296019 WITH SCORE 296528.887
AT ITER 372 NEW BEST:: SOT 801752 SOS 509885 HAS SOPS 509885 HAS SOUS 296015 HAS SOUPS 296015 WITH SCORE 296524.885
AT ITER 380 NEW BEST:: SOT 801604 SOS 509209 HAS SOPS 509209 HAS SOUS 295339 HAS SOUPS 295339 WITH SCORE 295848.209
AT ITER 391 NEW BEST:: SOT 801179 SOS 505816 HAS SOPS 505816 HAS SOUS 294323 HAS SOUPS 294323 WITH SCORE 294828.816
AT ITER 397 NEW BEST:: SOT 801084 SOS 505802 HAS SOPS 505802 HAS SOUS 294309 HAS SOUPS 294309 WITH SCORE 294814.802
AT ITER 400 NEW BEST:: SOT 801401 SOS 505663 HAS SOPS 505663 HAS SOUS 294170 HAS SOUPS 294170 WITH SCORE 294675.663
AT ITER 408 NEW BEST:: SOT 801273 SOS 505535 HAS SOPS 505535 HAS SOUS 294042 HAS SOUPS 294042 WITH SCORE 294547.535
AT ITER 416 NEW BEST:: SOT 801273 SOS 505521 HAS SOPS 505521 HAS SOUS 294042 HAS SOUPS 294042 WITH SCORE 294547.521
AT ITER 421 NEW BEST:: SOT 801273 SOS 505521 HAS SOPS 505521 HAS SOUS 294041 HAS SOUPS 294041 WITH SCORE 294546.521
AT ITER 422 NEW BEST:: SOT 800845 SOS 503736 HAS SOPS 503736 HAS SOUS 293327 HAS SOUPS 293327 WITH SCORE 293830.736
AT ITER 425 NEW BEST:: SOT 800566 SOS 503520 HAS SOPS 503520 HAS SOUS 293111 HAS SOUPS 293111 WITH SCORE 293614.52
AT ITER 426 NEW BEST:: SOT 800566 SOS 503642 HAS SOPS 503642 HAS SOUS 293110 HAS SOUPS 293110 WITH SCORE 293613.642
AT ITER 428 NEW BEST:: SOT 800566 SOS 503642 HAS SOPS 503642 HAS SOUS 293109 HAS SOUPS 293109 WITH SCORE 293612.642
AT ITER 429 NEW BEST:: SOT 800566 SOS 503679 HAS SOPS 503679 HAS SOUS 292860 HAS SOUPS 292860 WITH SCORE 293363.679
AT ITER 433 NEW BEST:: SOT 801226 SOS 504330 HAS SOPS 504330 HAS SOUS 292851 HAS SOUPS 292851 WITH SCORE 293355.33
AT ITER 440 NEW BEST:: SOT 801095 SOS 503675 HAS SOPS 503675 HAS SOUS 292718 HAS SOUPS 292718 WITH SCORE 293221.675
AT ITER 442 NEW BEST:: SOT 800021 SOS 502569 HAS SOPS 502569 HAS SOUS 291612 HAS SOUPS 291612 WITH SCORE 292114.569
AT ITER 459 NEW BEST:: SOT 795319 SOS 497801 HAS SOPS 497801 HAS SOUS 286844 HAS SOUPS 286844 WITH SCORE 287341.801
AT ITER 468 NEW BEST:: SOT 795316 SOS 497335 HAS SOPS 497335 HAS SOUS 286836 HAS SOUPS 286836 WITH SCORE 287333.335
AT ITER 471 NEW BEST:: SOT 794430 SOS 497352 HAS SOPS 497352 HAS SOUS 286075 HAS SOUPS 286075 WITH SCORE 286572.352
AT ITER 473 NEW BEST:: SOT 794304 SOS 497262 HAS SOPS 497262 HAS SOUS 285931 HAS SOUPS 285931 WITH SCORE 286428.262
AT ITER 476 NEW BEST:: SOT 793980 SOS 497165 HAS SOPS 497165 HAS SOUS 285052 HAS SOUPS 285052 WITH SCORE 285549.165
AT ITER 479 NEW BEST:: SOT 793927 SOS 497112 HAS SOPS 497112 HAS SOUS 284999 HAS SOUPS 284999 WITH SCORE 285496.112
AT ITER 491 NEW BEST:: SOT 793926 SOS 495460 HAS SOPS 495460 HAS SOUS 284997 HAS SOUPS 284997 WITH SCORE 285492.46
AT ITER 493 NEW BEST:: SOT 793928 SOS 495456 HAS SOPS 495456 HAS SOUS 284938 HAS SOUPS 284938 WITH SCORE 285433.456
AT ITER 495 NEW BEST:: SOT 793655 SOS 495045 HAS SOPS 495045 HAS SOUS 284366 HAS SOUPS 284366 WITH SCORE 284861.045
AT ITER 496 NEW BEST:: SOT 793236 SOS 493944 HAS SOPS 493944 HAS SOUS 283265 HAS SOUPS 283265 WITH SCORE 283758.944
AT ITER 503 NEW BEST:: SOT 791518 SOS 492226 HAS SOPS 492226 HAS SOUS 281547 HAS SOUPS 281547 WITH SCORE 282039.226
AT ITER 507 NEW BEST:: SOT 791518 SOS 491974 HAS SOPS 491974 HAS SOUS 281460 HAS SOUPS 281460 WITH SCORE 281951.974
AT ITER 520 NEW BEST:: SOT 791517 SOS 491967 HAS SOPS 491967 HAS SOUS 281452 HAS SOUPS 281452 WITH SCORE 281943.967
AT ITER 532 NEW BEST:: SOT 789173 SOS 491723 HAS SOPS 491723 HAS SOUS 279727 HAS SOUPS 279727 WITH SCORE 280218.723
AT ITER 534 NEW BEST:: SOT 789173 SOS 491454 HAS SOPS 491454 HAS SOUS 279723 HAS SOUPS 279723 WITH SCORE 280214.454
AT ITER 548 NEW BEST:: SOT 789173 SOS 491424 HAS SOPS 491424 HAS SOUS 279702 HAS SOUPS 279702 WITH SCORE 280193.424
AT ITER 549 NEW BEST:: SOT 788893 SOS 490846 HAS SOPS 490846 HAS SOUS 279251 HAS SOUPS 279251 WITH SCORE 279741.846
AT ITER 551 NEW BEST:: SOT 788810 SOS 490763 HAS SOPS 490763 HAS SOUS 279131 HAS SOUPS 279131 WITH SCORE 279621.763
AT ITER 559 NEW BEST:: SOT 788203 SOS 490154 HAS SOPS 490154 HAS SOUS 278522 HAS SOUPS 278522 WITH SCORE 279012.154
AT ITER 579 NEW BEST:: SOT 788203 SOS 490134 HAS SOPS 490134 HAS SOUS 278502 HAS SOUPS 278502 WITH SCORE 278992.134
AT ITER 611 NEW BEST:: SOT 788152 SOS 489535 HAS SOPS 489535 HAS SOUS 278400 HAS SOUPS 278400 WITH SCORE 278889.535
AT ITER 621 NEW BEST:: SOT 788152 SOS 490946 HAS SOPS 490946 HAS SOUS 278224 HAS SOUPS 278224 WITH SCORE 278714.946
AT ITER 622 NEW BEST:: SOT 787604 SOS 492308 HAS SOPS 492308 HAS SOUS 277503 HAS SOUPS 277503 WITH SCORE 277995.308
AT ITER 623 NEW BEST:: SOT 786824 SOS 492728 HAS SOPS 492728 HAS SOUS 277130 HAS SOUPS 277130 WITH SCORE 277622.728
AT ITER 626 NEW BEST:: SOT 783354 SOS 489153 HAS SOPS 489153 HAS SOUS 273553 HAS SOUPS 273553 WITH SCORE 274042.153
AT ITER 636 NEW BEST:: SOT 783336 SOS 489117 HAS SOPS 489117 HAS SOUS 273535 HAS SOUPS 273535 WITH SCORE 274024.117
AT ITER 639 NEW BEST:: SOT 783605 SOS 489183 HAS SOPS 489183 HAS SOUS 273513 HAS SOUPS 273513 WITH SCORE 274002.183
AT ITER 644 NEW BEST:: SOT 783605 SOS 488523 HAS SOPS 488523 HAS SOUS 273489 HAS SOUPS 273489 WITH SCORE 273977.523
AT ITER 653 NEW BEST:: SOT 783512 SOS 488465 HAS SOPS 488465 HAS SOUS 273487 HAS SOUPS 273487 WITH SCORE 273975.465
AT ITER 655 NEW BEST:: SOT 783279 SOS 488232 HAS SOPS 488232 HAS SOUS 272788 HAS SOUPS 272788 WITH SCORE 273276.232
AT ITER 663 NEW BEST:: SOT 782937 SOS 487801 HAS SOPS 487801 HAS SOUS 272398 HAS SOUPS 272398 WITH SCORE 272885.801
AT ITER 667 NEW BEST:: SOT 782937 SOS 488431 HAS SOPS 488431 HAS SOUS 272364 HAS SOUPS 272364 WITH SCORE 272852.431
AT ITER 674 NEW BEST:: SOT 783024 SOS 488022 HAS SOPS 488022 HAS SOUS 272201 HAS SOUPS 272201 WITH SCORE 272689.022
AT ITER 682 NEW BEST:: SOT 780273 SOS 487148 HAS SOPS 487148 HAS SOUS 269868 HAS SOUPS 269868 WITH SCORE 270355.148
AT ITER 700 NEW BEST:: SOT 780257 SOS 486911 HAS SOPS 486911 HAS SOUS 269819 HAS SOUPS 269819 WITH SCORE 270305.911
AT ITER 713 NEW BEST:: SOT 780121 SOS 486421 HAS SOPS 486421 HAS SOUS 269329 HAS SOUPS 269329 WITH SCORE 269815.421
AT ITER 716 NEW BEST:: SOT 777837 SOS 484137 HAS SOPS 484137 HAS SOUS 267044 HAS SOUPS 267044 WITH SCORE 267528.137
AT ITER 717 NEW BEST:: SOT 777774 SOS 484011 HAS SOPS 484011 HAS SOUS 267005 HAS SOUPS 267005 WITH SCORE 267489.011
AT ITER 725 NEW BEST:: SOT 777774 SOS 483847 HAS SOPS 483847 HAS SOUS 266841 HAS SOUPS 266841 WITH SCORE 267324.847
AT ITER 726 NEW BEST:: SOT 773156 SOS 483086 HAS SOPS 483086 HAS SOUS 262518 HAS SOUPS 262518 WITH SCORE 263001.086
AT ITER 728 NEW BEST:: SOT 773156 SOS 482439 HAS SOPS 482439 HAS SOUS 262295 HAS SOUPS 262295 WITH SCORE 262777.439
AT ITER 729 NEW BEST:: SOT 772806 SOS 482089 HAS SOPS 482089 HAS SOUS 262047 HAS SOUPS 262047 WITH SCORE 262529.089
AT ITER 736 NEW BEST:: SOT 769249 SOS 479572 HAS SOPS 479572 HAS SOUS 258849 HAS SOUPS 258849 WITH SCORE 259328.572
AT ITER 739 NEW BEST:: SOT 769255 SOS 479219 HAS SOPS 479219 HAS SOUS 258739 HAS SOUPS 258739 WITH SCORE 259218.219
AT ITER 744 NEW BEST:: SOT 767530 SOS 480086 HAS SOPS 480086 HAS SOUS 257955 HAS SOUPS 257955 WITH SCORE 258435.086
AT ITER 747 NEW BEST:: SOT 763267 SOS 475342 HAS SOPS 475342 HAS SOUS 252910 HAS SOUPS 252910 WITH SCORE 253385.342
AT ITER 760 NEW BEST:: SOT 763162 SOS 475235 HAS SOPS 475235 HAS SOUS 252804 HAS SOUPS 252804 WITH SCORE 253279.235
AT ITER 770 NEW BEST:: SOT 763659 SOS 474446 HAS SOPS 474446 HAS SOUS 252300 HAS SOUPS 252300 WITH SCORE 252774.446
AT ITER 771 NEW BEST:: SOT 763551 SOS 474338 HAS SOPS 474338 HAS SOUS 252148 HAS SOUPS 252148 WITH SCORE 252622.338
AT ITER 783 NEW BEST:: SOT 763529 SOS 474316 HAS SOPS 474316 HAS SOUS 252124 HAS SOUPS 252124 WITH SCORE 252598.316
AT ITER 815 NEW BEST:: SOT 763034 SOS 473821 HAS SOPS 473821 HAS SOUS 251629 HAS SOUPS 251629 WITH SCORE 252102.821
AT ITER 822 NEW BEST:: SOT 763121 SOS 473414 HAS SOPS 473414 HAS SOUS 251468 HAS SOUPS 251468 WITH SCORE 251941.414
AT ITER 830 NEW BEST:: SOT 763097 SOS 473382 HAS SOPS 473382 HAS SOUS 251420 HAS SOUPS 251420 WITH SCORE 251893.382
AT ITER 844 NEW BEST:: SOT 762924 SOS 472165 HAS SOPS 472165 HAS SOUS 251244 HAS SOUPS 251244 WITH SCORE 251716.165
AT ITER 849 NEW BEST:: SOT 762862 SOS 472041 HAS SOPS 472041 HAS SOUS 251244 HAS SOUPS 251244 WITH SCORE 251716.041
AT ITER 855 NEW BEST:: SOT 762386 SOS 472101 HAS SOPS 472101 HAS SOUS 250714 HAS SOUPS 250714 WITH SCORE 251186.101
AT ITER 863 NEW BEST:: SOT 762204 SOS 471919 HAS SOPS 471919 HAS SOUS 250532 HAS SOUPS 250532 WITH SCORE 251003.919
AT ITER 864 NEW BEST:: SOT 761965 SOS 471680 HAS SOPS 471680 HAS SOUS 250423 HAS SOUPS 250423 WITH SCORE 250894.68
AT ITER 867 NEW BEST:: SOT 761962 SOS 471677 HAS SOPS 471677 HAS SOUS 250420 HAS SOUPS 250420 WITH SCORE 250891.677
AT ITER 868 NEW BEST:: SOT 764123 SOS 473598 HAS SOPS 473598 HAS SOUS 250395 HAS SOUPS 250395 WITH SCORE 250868.598
AT ITER 869 NEW BEST:: SOT 763641 SOS 472476 HAS SOPS 472476 HAS SOUS 249707 HAS SOUPS 249707 WITH SCORE 250179.476
AT ITER 871 NEW BEST:: SOT 762809 SOS 470973 HAS SOPS 470973 HAS SOUS 248771 HAS SOUPS 248771 WITH SCORE 249241.973
AT ITER 872 NEW BEST:: SOT 762809 SOS 470426 HAS SOPS 470426 HAS SOUS 248766 HAS SOUPS 248766 WITH SCORE 249236.426
AT ITER 879 NEW BEST:: SOT 762809 SOS 470376 HAS SOPS 470376 HAS SOUS 248633 HAS SOUPS 248633 WITH SCORE 249103.376
AT ITER 882 NEW BEST:: SOT 762792 SOS 470359 HAS SOPS 470359 HAS SOUS 248616 HAS SOUPS 248616 WITH SCORE 249086.359
AT ITER 883 NEW BEST:: SOT 761254 SOS 468901 HAS SOPS 468901 HAS SOUS 247349 HAS SOUPS 247349 WITH SCORE 247817.901
AT ITER 891 NEW BEST:: SOT 761019 SOS 468435 HAS SOPS 468435 HAS SOUS 246883 HAS SOUPS 246883 WITH SCORE 247351.435
AT ITER 898 NEW BEST:: SOT 761019 SOS 467943 HAS SOPS 467943 HAS SOUS 246391 HAS SOUPS 246391 WITH SCORE 246858.943
AT ITER 899 NEW BEST:: SOT 760737 SOS 467428 HAS SOPS 467428 HAS SOUS 245828 HAS SOUPS 245828 WITH SCORE 246295.428
AT ITER 904 NEW BEST:: SOT 760737 SOS 467136 HAS SOPS 467136 HAS SOUS 245699 HAS SOUPS 245699 WITH SCORE 246166.136
AT ITER 909 NEW BEST:: SOT 760736 SOS 467135 HAS SOPS 467135 HAS SOUS 245698 HAS SOUPS 245698 WITH SCORE 246165.135
AT ITER 933 NEW BEST:: SOT 760661 SOS 467060 HAS SOPS 467060 HAS SOUS 245623 HAS SOUPS 245623 WITH SCORE 246090.06
AT ITER 950 NEW BEST:: SOT 760489 SOS 465802 HAS SOPS 465802 HAS SOUS 245434 HAS SOUPS 245434 WITH SCORE 245899.802
AT ITER 955 NEW BEST:: SOT 760079 SOS 466049 HAS SOPS 466049 HAS SOUS 244758 HAS SOUPS 244758 WITH SCORE 245224.049
AT ITER 963 NEW BEST:: SOT 759878 SOS 464152 HAS SOPS 464152 HAS SOUS 244529 HAS SOUPS 244529 WITH SCORE 244993.152
AT ITER 967 NEW BEST:: SOT 759918 SOS 462260 HAS SOPS 462260 HAS SOUS 244356 HAS SOUPS 244356 WITH SCORE 244818.26
AT ITER 972 NEW BEST:: SOT 758984 SOS 461466 HAS SOPS 461466 HAS SOUS 243418 HAS SOUPS 243418 WITH SCORE 243879.466
AT ITER 982 NEW BEST:: SOT 758552 SOS 461034 HAS SOPS 461034 HAS SOUS 242986 HAS SOUPS 242986 WITH SCORE 243447.034
AT ITER 983 NEW BEST:: SOT 758552 SOS 460934 HAS SOPS 460934 HAS SOUS 242985 HAS SOUPS 242985 WITH SCORE 243445.934
AT ITER 985 NEW BEST:: SOT 758385 SOS 460767 HAS SOPS 460767 HAS SOUS 242817 HAS SOUPS 242817 WITH SCORE 243277.767
AT ITER 999 NEW BEST:: SOT 758130 SOS 460098 HAS SOPS 460098 HAS SOUS 242341 HAS SOUPS 242341 WITH SCORE 242801.098
AT ITER 1001 NEW BEST:: SOT 758129 SOS 460034 HAS SOPS 460034 HAS SOUS 242322 HAS SOUPS 242322 WITH SCORE 242782.034
AT ITER 1006 NEW BEST:: SOT 757959 SOS 459864 HAS SOPS 459864 HAS SOUS 242154 HAS SOUPS 242154 WITH SCORE 242613.864
AT ITER 1011 NEW BEST:: SOT 757991 SOS 460080 HAS SOPS 460080 HAS SOUS 242140 HAS SOUPS 242140 WITH SCORE 242600.08
AT ITER 1015 NEW BEST:: SOT 757983 SOS 460072 HAS SOPS 460072 HAS SOUS 242132 HAS SOUPS 242132 WITH SCORE 242592.072
AT ITER 1016 NEW BEST:: SOT 760066 SOS 462038 HAS SOPS 462038 HAS SOUS 242035 HAS SOUPS 242035 WITH SCORE 242497.038
AT ITER 1018 NEW BEST:: SOT 760044 SOS 462016 HAS SOPS 462016 HAS SOUS 242013 HAS SOUPS 242013 WITH SCORE 242475.016
AT ITER 1024 NEW BEST:: SOT 759991 SOS 461995 HAS SOPS 461995 HAS SOUS 241992 HAS SOUPS 241992 WITH SCORE 242453.995
AT ITER 1032 NEW BEST:: SOT 759971 SOS 461975 HAS SOPS 461975 HAS SOUS 241990 HAS SOUPS 241990 WITH SCORE 242451.975
AT ITER 1035 NEW BEST:: SOT 759505 SOS 459850 HAS SOPS 459850 HAS SOUS 241118 HAS SOUPS 241118 WITH SCORE 241577.85
AT ITER 1038 NEW BEST:: SOT 759505 SOS 459730 HAS SOPS 459730 HAS SOUS 240998 HAS SOUPS 240998 WITH SCORE 241457.73
AT ITER 1045 NEW BEST:: SOT 759422 SOS 459647 HAS SOPS 459647 HAS SOUS 240998 HAS SOUPS 240998 WITH SCORE 241457.647
AT ITER 1048 NEW BEST:: SOT 752508 SOS 452733 HAS SOPS 452733 HAS SOUS 234083 HAS SOUPS 234083 WITH SCORE 234535.733
AT ITER 1059 NEW BEST:: SOT 752157 SOS 452348 HAS SOPS 452348 HAS SOUS 233698 HAS SOUPS 233698 WITH SCORE 234150.348
AT ITER 1061 NEW BEST:: SOT 752157 SOS 452041 HAS SOPS 452041 HAS SOUS 233563 HAS SOUPS 233563 WITH SCORE 234015.041
AT ITER 1063 NEW BEST:: SOT 751923 SOS 451807 HAS SOPS 451807 HAS SOUS 233368 HAS SOUPS 233368 WITH SCORE 233819.807
AT ITER 1064 NEW BEST:: SOT 750978 SOS 450862 HAS SOPS 450862 HAS SOUS 232415 HAS SOUPS 232415 WITH SCORE 232865.862
AT ITER 1071 NEW BEST:: SOT 750978 SOS 450572 HAS SOPS 450572 HAS SOUS 232415 HAS SOUPS 232415 WITH SCORE 232865.572
AT ITER 1077 NEW BEST:: SOT 750950 SOS 450360 HAS SOPS 450360 HAS SOUS 232331 HAS SOUPS 232331 WITH SCORE 232781.36
AT ITER 1079 NEW BEST:: SOT 750925 SOS 450335 HAS SOPS 450335 HAS SOUS 232305 HAS SOUPS 232305 WITH SCORE 232755.335
AT ITER 1082 NEW BEST:: SOT 750758 SOS 452351 HAS SOPS 452351 HAS SOUS 232154 HAS SOUPS 232154 WITH SCORE 232606.351
AT ITER 1086 NEW BEST:: SOT 750712 SOS 452305 HAS SOPS 452305 HAS SOUS 232108 HAS SOUPS 232108 WITH SCORE 232560.305
AT ITER 1101 NEW BEST:: SOT 750585 SOS 451656 HAS SOPS 451656 HAS SOUS 231854 HAS SOUPS 231854 WITH SCORE 232305.656
AT ITER 1109 NEW BEST:: SOT 748998 SOS 450645 HAS SOPS 450645 HAS SOUS 230742 HAS SOUPS 230742 WITH SCORE 231192.645
AT ITER 1114 NEW BEST:: SOT 748965 SOS 450612 HAS SOPS 450612 HAS SOUS 230709 HAS SOUPS 230709 WITH SCORE 231159.612
AT ITER 1115 NEW BEST:: SOT 748812 SOS 449964 HAS SOPS 449964 HAS SOUS 230403 HAS SOUPS 230403 WITH SCORE 230852.964
AT ITER 1120 NEW BEST:: SOT 748764 SOS 449916 HAS SOPS 449916 HAS SOUS 230355 HAS SOUPS 230355 WITH SCORE 230804.916
AT ITER 1140 NEW BEST:: SOT 748814 SOS 448429 HAS SOPS 448429 HAS SOUS 230120 HAS SOUPS 230120 WITH SCORE 230568.429
AT ITER 1150 NEW BEST:: SOT 748814 SOS 448219 HAS SOPS 448219 HAS SOUS 229910 HAS SOUPS 229910 WITH SCORE 230358.219
AT ITER 1152 NEW BEST:: SOT 748208 SOS 447712 HAS SOPS 447712 HAS SOUS 229403 HAS SOUPS 229403 WITH SCORE 229850.712
AT ITER 1154 NEW BEST:: SOT 748113 SOS 447373 HAS SOPS 447373 HAS SOUS 229213 HAS SOUPS 229213 WITH SCORE 229660.373
AT ITER 1157 NEW BEST:: SOT 748112 SOS 447372 HAS SOPS 447372 HAS SOUS 229211 HAS SOUPS 229211 WITH SCORE 229658.372
AT ITER 1166 NEW BEST:: SOT 748111 SOS 447371 HAS SOPS 447371 HAS SOUS 229209 HAS SOUPS 229209 WITH SCORE 229656.371
AT ITER 1187 NEW BEST:: SOT 747486 SOS 446438 HAS SOPS 446438 HAS SOUS 228313 HAS SOUPS 228313 WITH SCORE 228759.438
AT ITER 1193 NEW BEST:: SOT 747407 SOS 446201 HAS SOPS 446201 HAS SOUS 228155 HAS SOUPS 228155 WITH SCORE 228601.201
AT ITER 1197 NEW BEST:: SOT 747407 SOS 445217 HAS SOPS 445217 HAS SOUS 228154 HAS SOUPS 228154 WITH SCORE 228599.217
AT ITER 1205 NEW BEST:: SOT 747481 SOS 445217 HAS SOPS 445217 HAS SOUS 227977 HAS SOUPS 227977 WITH SCORE 228422.217
AT ITER 1211 NEW BEST:: SOT 745885 SOS 443621 HAS SOPS 443621 HAS SOUS 226267 HAS SOUPS 226267 WITH SCORE 226710.621
AT ITER 1227 NEW BEST:: SOT 745917 SOS 443653 HAS SOPS 443653 HAS SOUS 226251 HAS SOUPS 226251 WITH SCORE 226694.653
AT ITER 1252 NEW BEST:: SOT 745431 SOS 442708 HAS SOPS 442708 HAS SOUS 225611 HAS SOUPS 225611 WITH SCORE 226053.708
AT ITER 1257 NEW BEST:: SOT 745424 SOS 442701 HAS SOPS 442701 HAS SOUS 225604 HAS SOUPS 225604 WITH SCORE 226046.701
AT ITER 1280 NEW BEST:: SOT 745422 SOS 442699 HAS SOPS 442699 HAS SOUS 225602 HAS SOUPS 225602 WITH SCORE 226044.699
AT ITER 1288 NEW BEST:: SOT 745412 SOS 442689 HAS SOPS 442689 HAS SOUS 225592 HAS SOUPS 225592 WITH SCORE 226034.689
AT ITER 1289 NEW BEST:: SOT 745443 SOS 442124 HAS SOPS 442124 HAS SOUS 225501 HAS SOUPS 225501 WITH SCORE 225943.124
AT ITER 1295 NEW BEST:: SOT 745407 SOS 442088 HAS SOPS 442088 HAS SOUS 225465 HAS SOUPS 225465 WITH SCORE 225907.088
AT ITER 1304 NEW BEST:: SOT 744668 SOS 444670 HAS SOPS 444670 HAS SOUS 225151 HAS SOUPS 225151 WITH SCORE 225595.67
AT ITER 1309 NEW BEST:: SOT 744510 SOS 443941 HAS SOPS 443941 HAS SOUS 224844 HAS SOUPS 224844 WITH SCORE 225287.941
AT ITER 1315 NEW BEST:: SOT 744192 SOS 443624 HAS SOPS 443624 HAS SOUS 224599 HAS SOUPS 224599 WITH SCORE 225042.624
AT ITER 1330 NEW BEST:: SOT 743830 SOS 443456 HAS SOPS 443456 HAS SOUS 224431 HAS SOUPS 224431 WITH SCORE 224874.456
AT ITER 1336 NEW BEST:: SOT 743830 SOS 444047 HAS SOPS 444047 HAS SOUS 224393 HAS SOUPS 224393 WITH SCORE 224837.047
AT ITER 1341 NEW BEST:: SOT 743830 SOS 443597 HAS SOPS 443597 HAS SOUS 224360 HAS SOUPS 224360 WITH SCORE 224803.597
AT ITER 1343 NEW BEST:: SOT 743830 SOS 441047 HAS SOPS 441047 HAS SOUS 224360 HAS SOUPS 224360 WITH SCORE 224801.047
AT ITER 1347 NEW BEST:: SOT 744061 SOS 440903 HAS SOPS 440903 HAS SOUS 224303 HAS SOUPS 224303 WITH SCORE 224743.903
AT ITER 1349 NEW BEST:: SOT 744036 SOS 441080 HAS SOPS 441080 HAS SOUS 224301 HAS SOUPS 224301 WITH SCORE 224742.08
AT ITER 1356 NEW BEST:: SOT 744021 SOS 441126 HAS SOPS 441126 HAS SOUS 224275 HAS SOUPS 224275 WITH SCORE 224716.126
AT ITER 1363 NEW BEST:: SOT 744021 SOS 440529 HAS SOPS 440529 HAS SOUS 224275 HAS SOUPS 224275 WITH SCORE 224715.529
AT ITER 1365 NEW BEST:: SOT 744017 SOS 440315 HAS SOPS 440315 HAS SOUS 224239 HAS SOUPS 224239 WITH SCORE 224679.315
AT ITER 1374 NEW BEST:: SOT 743811 SOS 439903 HAS SOPS 439903 HAS SOUS 223827 HAS SOUPS 223827 WITH SCORE 224266.903
AT ITER 1414 NEW BEST:: SOT 743893 SOS 439765 HAS SOPS 439765 HAS SOUS 223689 HAS SOUPS 223689 WITH SCORE 224128.765
AT ITER 1416 NEW BEST:: SOT 744049 SOS 439590 HAS SOPS 439590 HAS SOUS 223689 HAS SOUPS 223689 WITH SCORE 224128.59
AT ITER 1425 NEW BEST:: SOT 743981 SOS 439510 HAS SOPS 439510 HAS SOUS 223608 HAS SOUPS 223608 WITH SCORE 224047.51
AT ITER 1431 NEW BEST:: SOT 743745 SOS 439274 HAS SOPS 439274 HAS SOUS 223372 HAS SOUPS 223372 WITH SCORE 223811.274
AT ITER 1433 NEW BEST:: SOT 743707 SOS 439236 HAS SOPS 439236 HAS SOUS 223372 HAS SOUPS 223372 WITH SCORE 223811.236
AT ITER 1435 NEW BEST:: SOT 743614 SOS 438956 HAS SOPS 438956 HAS SOUS 223186 HAS SOUPS 223186 WITH SCORE 223624.956
AT ITER 1446 NEW BEST:: SOT 743740 SOS 438904 HAS SOPS 438904 HAS SOUS 223134 HAS SOUPS 223134 WITH SCORE 223572.904
AT ITER 1459 NEW BEST:: SOT 743262 SOS 438175 HAS SOPS 438175 HAS SOUS 222228 HAS SOUPS 222228 WITH SCORE 222666.175
AT ITER 1468 NEW BEST:: SOT 743257 SOS 438166 HAS SOPS 438166 HAS SOUS 222218 HAS SOUPS 222218 WITH SCORE 222656.166
AT ITER 1484 NEW BEST:: SOT 743450 SOS 437099 HAS SOPS 437099 HAS SOUS 221790 HAS SOUPS 221790 WITH SCORE 222227.099
AT ITER 1495 NEW BEST:: SOT 743332 SOS 437329 HAS SOPS 437329 HAS SOUS 221611 HAS SOUPS 221611 WITH SCORE 222048.329
AT ITER 1499 NEW BEST:: SOT 743332 SOS 437289 HAS SOPS 437289 HAS SOUS 221596 HAS SOUPS 221596 WITH SCORE 222033.289
AT ITER 1500 NEW BEST:: SOT 743326 SOS 437218 HAS SOPS 437218 HAS SOUS 221590 HAS SOUPS 221590 WITH SCORE 222027.218
AT ITER 1516 NEW BEST:: SOT 743249 SOS 437681 HAS SOPS 437681 HAS SOUS 221378 HAS SOUPS 221378 WITH SCORE 221815.681
AT ITER 1530 NEW BEST:: SOT 743249 SOS 437668 HAS SOPS 437668 HAS SOUS 221376 HAS SOUPS 221376 WITH SCORE 221813.668
AT ITER 1533 NEW BEST:: SOT 743133 SOS 437381 HAS SOPS 437381 HAS SOUS 221215 HAS SOUPS 221215 WITH SCORE 221652.381
AT ITER 1536 NEW BEST:: SOT 743101 SOS 437349 HAS SOPS 437349 HAS SOUS 221183 HAS SOUPS 221183 WITH SCORE 221620.349
AT ITER 1545 NEW BEST:: SOT 743178 SOS 437059 HAS SOPS 437059 HAS SOUS 221179 HAS SOUPS 221179 WITH SCORE 221616.059
AT ITER 1550 NEW BEST:: SOT 743177 SOS 436864 HAS SOPS 436864 HAS SOUS 221179 HAS SOUPS 221179 WITH SCORE 221615.864
AT ITER 1551 NEW BEST:: SOT 743177 SOS 436354 HAS SOPS 436354 HAS SOUS 220903 HAS SOUPS 220903 WITH SCORE 221339.354
AT ITER 1556 NEW BEST:: SOT 743308 SOS 436351 HAS SOPS 436351 HAS SOUS 220766 HAS SOUPS 220766 WITH SCORE 221202.351
AT ITER 1565 NEW BEST:: SOT 743167 SOS 436133 HAS SOPS 436133 HAS SOUS 220561 HAS SOUPS 220561 WITH SCORE 220997.133
AT ITER 1566 NEW BEST:: SOT 743125 SOS 436091 HAS SOPS 436091 HAS SOUS 220477 HAS SOUPS 220477 WITH SCORE 220913.091
AT ITER 1576 NEW BEST:: SOT 743124 SOS 436090 HAS SOPS 436090 HAS SOUS 220403 HAS SOUPS 220403 WITH SCORE 220839.09
AT ITER 1577 NEW BEST:: SOT 743086 SOS 435941 HAS SOPS 435941 HAS SOUS 220312 HAS SOUPS 220312 WITH SCORE 220747.941
AT ITER 1582 NEW BEST:: SOT 743085 SOS 435940 HAS SOPS 435940 HAS SOUS 220310 HAS SOUPS 220310 WITH SCORE 220745.94
AT ITER 1587 NEW BEST:: SOT 742986 SOS 435841 HAS SOPS 435841 HAS SOUS 220204 HAS SOUPS 220204 WITH SCORE 220639.841
AT ITER 1598 NEW BEST:: SOT 742785 SOS 435803 HAS SOPS 435803 HAS SOUS 220198 HAS SOUPS 220198 WITH SCORE 220633.803
AT ITER 1611 NEW BEST:: SOT 742720 SOS 435124 HAS SOPS 435124 HAS SOUS 220005 HAS SOUPS 220005 WITH SCORE 220440.124
AT ITER 1620 NEW BEST:: SOT 742170 SOS 434365 HAS SOPS 434365 HAS SOUS 219176 HAS SOUPS 219176 WITH SCORE 219610.365
AT ITER 1633 NEW BEST:: SOT 742170 SOS 434193 HAS SOPS 434193 HAS SOUS 219176 HAS SOUPS 219176 WITH SCORE 219610.193
AT ITER 1635 NEW BEST:: SOT 742170 SOS 434192 HAS SOPS 434192 HAS SOUS 219175 HAS SOUPS 219175 WITH SCORE 219609.192
AT ITER 1639 NEW BEST:: SOT 742170 SOS 434168 HAS SOPS 434168 HAS SOUS 219151 HAS SOUPS 219151 WITH SCORE 219585.168
AT ITER 1642 NEW BEST:: SOT 742126 SOS 434124 HAS SOPS 434124 HAS SOUS 219105 HAS SOUPS 219105 WITH SCORE 219539.124
AT ITER 1645 NEW BEST:: SOT 742116 SOS 433756 HAS SOPS 433756 HAS SOUS 219044 HAS SOUPS 219044 WITH SCORE 219477.756
AT ITER 1646 NEW BEST:: SOT 742022 SOS 433432 HAS SOPS 433432 HAS SOUS 218760 HAS SOUPS 218760 WITH SCORE 219193.432
AT ITER 1652 NEW BEST:: SOT 742314 SOS 432677 HAS SOPS 432677 HAS SOUS 218664 HAS SOUPS 218664 WITH SCORE 219096.677
AT ITER 1653 NEW BEST:: SOT 742304 SOS 432657 HAS SOPS 432657 HAS SOUS 218644 HAS SOUPS 218644 WITH SCORE 219076.657
AT ITER 1660 NEW BEST:: SOT 741790 SOS 432143 HAS SOPS 432143 HAS SOUS 218274 HAS SOUPS 218274 WITH SCORE 218706.143
AT ITER 1663 NEW BEST:: SOT 741703 SOS 432059 HAS SOPS 432059 HAS SOUS 218259 HAS SOUPS 218259 WITH SCORE 218691.059
AT ITER 1665 NEW BEST:: SOT 741703 SOS 431927 HAS SOPS 431927 HAS SOUS 218259 HAS SOUPS 218259 WITH SCORE 218690.927
AT ITER 1671 NEW BEST:: SOT 741371 SOS 431505 HAS SOPS 431505 HAS SOUS 217973 HAS SOUPS 217973 WITH SCORE 218404.505
AT ITER 1681 NEW BEST:: SOT 741119 SOS 431253 HAS SOPS 431253 HAS SOUS 217721 HAS SOUPS 217721 WITH SCORE 218152.253
AT ITER 1688 NEW BEST:: SOT 740834 SOS 430525 HAS SOPS 430525 HAS SOUS 217122 HAS SOUPS 217122 WITH SCORE 217552.525
AT ITER 1704 NEW BEST:: SOT 740721 SOS 430092 HAS SOPS 430092 HAS SOUS 217075 HAS SOUPS 217075 WITH SCORE 217505.092
AT ITER 1724 NEW BEST:: SOT 740415 SOS 429786 HAS SOPS 429786 HAS SOUS 216766 HAS SOUPS 216766 WITH SCORE 217195.786
AT ITER 1726 NEW BEST:: SOT 740415 SOS 429280 HAS SOPS 429280 HAS SOUS 216473 HAS SOUPS 216473 WITH SCORE 216902.28
AT ITER 1753 NEW BEST:: SOT 740415 SOS 429289 HAS SOPS 429289 HAS SOUS 216464 HAS SOUPS 216464 WITH SCORE 216893.289
AT ITER 1761 NEW BEST:: SOT 740294 SOS 428963 HAS SOPS 428963 HAS SOUS 216138 HAS SOUPS 216138 WITH SCORE 216566.963
AT ITER 1770 NEW BEST:: SOT 740172 SOS 426291 HAS SOPS 426291 HAS SOUS 215626 HAS SOUPS 215626 WITH SCORE 216052.291
AT ITER 1791 NEW BEST:: SOT 740117 SOS 426236 HAS SOPS 426236 HAS SOUS 215558 HAS SOUPS 215558 WITH SCORE 215984.236
AT ITER 1793 NEW BEST:: SOT 739921 SOS 425942 HAS SOPS 425942 HAS SOUS 215166 HAS SOUPS 215166 WITH SCORE 215591.942
AT ITER 1800 NEW BEST:: SOT 739491 SOS 425874 HAS SOPS 425874 HAS SOUS 215098 HAS SOUPS 215098 WITH SCORE 215523.874
AT ITER 1806 NEW BEST:: SOT 739158 SOS 425541 HAS SOPS 425541 HAS SOUS 214765 HAS SOUPS 214765 WITH SCORE 215190.541
AT ITER 1824 NEW BEST:: SOT 738965 SOS 424941 HAS SOPS 424941 HAS SOUS 214445 HAS SOUPS 214445 WITH SCORE 214869.941
AT ITER 1828 NEW BEST:: SOT 738839 SOS 424689 HAS SOPS 424689 HAS SOUS 214193 HAS SOUPS 214193 WITH SCORE 214617.689
AT ITER 1836 NEW BEST:: SOT 739038 SOS 424051 HAS SOPS 424051 HAS SOUS 213555 HAS SOUPS 213555 WITH SCORE 213979.051
AT ITER 1838 NEW BEST:: SOT 739038 SOS 423741 HAS SOPS 423741 HAS SOUS 213456 HAS SOUPS 213456 WITH SCORE 213879.741
AT ITER 1849 NEW BEST:: SOT 738910 SOS 423508 HAS SOPS 423508 HAS SOUS 213341 HAS SOUPS 213341 WITH SCORE 213764.508
AT ITER 1850 NEW BEST:: SOT 738515 SOS 422820 HAS SOPS 422820 HAS SOUS 212946 HAS SOUPS 212946 WITH SCORE 213368.82
AT ITER 1853 NEW BEST:: SOT 738452 SOS 422757 HAS SOPS 422757 HAS SOUS 212883 HAS SOUPS 212883 WITH SCORE 213305.757
AT ITER 1858 NEW BEST:: SOT 736136 SOS 420441 HAS SOPS 420441 HAS SOUS 210567 HAS SOUPS 210567 WITH SCORE 210987.441
AT ITER 1870 NEW BEST:: SOT 736053 SOS 420358 HAS SOPS 420358 HAS SOUS 210484 HAS SOUPS 210484 WITH SCORE 210904.358
AT ITER 1880 NEW BEST:: SOT 735969 SOS 420035 HAS SOPS 420035 HAS SOUS 210161 HAS SOUPS 210161 WITH SCORE 210581.035
AT ITER 1903 NEW BEST:: SOT 735557 SOS 420412 HAS SOPS 420412 HAS SOUS 209933 HAS SOUPS 209933 WITH SCORE 210353.412
AT ITER 1918 NEW BEST:: SOT 735315 SOS 420018 HAS SOPS 420018 HAS SOUS 209411 HAS SOUPS 209411 WITH SCORE 209831.018
AT ITER 1926 NEW BEST:: SOT 735251 SOS 420016 HAS SOPS 420016 HAS SOUS 209047 HAS SOUPS 209047 WITH SCORE 209467.016
AT ITER 1931 NEW BEST:: SOT 734692 SOS 418926 HAS SOPS 418926 HAS SOUS 208470 HAS SOUPS 208470 WITH SCORE 208888.926
AT ITER 1934 NEW BEST:: SOT 734692 SOS 418586 HAS SOPS 418586 HAS SOUS 208402 HAS SOUPS 208402 WITH SCORE 208820.586
AT ITER 1935 NEW BEST:: SOT 734686 SOS 418580 HAS SOPS 418580 HAS SOUS 208396 HAS SOUPS 208396 WITH SCORE 208814.58
AT ITER 1942 NEW BEST:: SOT 734415 SOS 417895 HAS SOPS 417895 HAS SOUS 207733 HAS SOUPS 207733 WITH SCORE 208150.895
AT ITER 1950 NEW BEST:: SOT 734359 SOS 417839 HAS SOPS 417839 HAS SOUS 207690 HAS SOUPS 207690 WITH SCORE 208107.839
AT ITER 1957 NEW BEST:: SOT 734353 SOS 417804 HAS SOPS 417804 HAS SOUS 207678 HAS SOUPS 207678 WITH SCORE 208095.804
AT ITER 1972 NEW BEST:: SOT 734347 SOS 417832 HAS SOPS 417832 HAS SOUS 207666 HAS SOUPS 207666 WITH SCORE 208083.832
AT ITER 1987 NEW BEST:: SOT 734341 SOS 417826 HAS SOPS 417826 HAS SOUS 207660 HAS SOUPS 207660 WITH SCORE 208077.826
AT ITER 1988 NEW BEST:: SOT 734461 SOS 417824 HAS SOPS 417824 HAS SOUS 207627 HAS SOUPS 207627 WITH SCORE 208044.824
AT ITER 2025 NEW BEST:: SOT 734216 SOS 417514 HAS SOPS 417514 HAS SOUS 207363 HAS SOUPS 207363 WITH SCORE 207780.514
AT ITER 2032 NEW BEST:: SOT 734097 SOS 416990 HAS SOPS 416990 HAS SOUS 207126 HAS SOUPS 207126 WITH SCORE 207542.99
AT ITER 2036 NEW BEST:: SOT 734096 SOS 416892 HAS SOPS 416892 HAS SOUS 206954 HAS SOUPS 206954 WITH SCORE 207370.892
AT ITER 2040 NEW BEST:: SOT 733816 SOS 416704 HAS SOPS 416704 HAS SOUS 206749 HAS SOUPS 206749 WITH SCORE 207165.704
AT ITER 2051 NEW BEST:: SOT 733751 SOS 416639 HAS SOPS 416639 HAS SOUS 206722 HAS SOUPS 206722 WITH SCORE 207138.639
AT ITER 2052 NEW BEST:: SOT 732099 SOS 414987 HAS SOPS 414987 HAS SOUS 205070 HAS SOUPS 205070 WITH SCORE 205484.987
AT ITER 2057 NEW BEST:: SOT 731243 SOS 414607 HAS SOPS 414607 HAS SOUS 204458 HAS SOUPS 204458 WITH SCORE 204872.607
AT ITER 2087 NEW BEST:: SOT 731194 SOS 414558 HAS SOPS 414558 HAS SOUS 204387 HAS SOUPS 204387 WITH SCORE 204801.558
AT ITER 2097 NEW BEST:: SOT 731099 SOS 414245 HAS SOPS 414245 HAS SOUS 204074 HAS SOUPS 204074 WITH SCORE 204488.245
AT ITER 2109 NEW BEST:: SOT 731057 SOS 414350 HAS SOPS 414350 HAS SOUS 204056 HAS SOUPS 204056 WITH SCORE 204470.35
AT ITER 2111 NEW BEST:: SOT 731158 SOS 414288 HAS SOPS 414288 HAS SOUS 203940 HAS SOUPS 203940 WITH SCORE 204354.288
AT ITER 2112 NEW BEST:: SOT 731206 SOS 414419 HAS SOPS 414419 HAS SOUS 203799 HAS SOUPS 203799 WITH SCORE 204213.419
AT ITER 2115 NEW BEST:: SOT 731201 SOS 414409 HAS SOPS 414409 HAS SOUS 203784 HAS SOUPS 203784 WITH SCORE 204198.409
AT ITER 2117 NEW BEST:: SOT 731159 SOS 414367 HAS SOPS 414367 HAS SOUS 203742 HAS SOUPS 203742 WITH SCORE 204156.367
AT ITER 2121 NEW BEST:: SOT 730988 SOS 414111 HAS SOPS 414111 HAS SOUS 203557 HAS SOUPS 203557 WITH SCORE 203971.111
AT ITER 2128 NEW BEST:: SOT 730779 SOS 414605 HAS SOPS 414605 HAS SOUS 203348 HAS SOUPS 203348 WITH SCORE 203762.605
AT ITER 2134 NEW BEST:: SOT 730703 SOS 415009 HAS SOPS 415009 HAS SOUS 203272 HAS SOUPS 203272 WITH SCORE 203687.009
AT ITER 2136 NEW BEST:: SOT 730675 SOS 414981 HAS SOPS 414981 HAS SOUS 203206 HAS SOUPS 203206 WITH SCORE 203620.981
AT ITER 2168 NEW BEST:: SOT 728851 SOS 413145 HAS SOPS 413145 HAS SOUS 201370 HAS SOUPS 201370 WITH SCORE 201783.145
AT ITER 2176 NEW BEST:: SOT 728705 SOS 412854 HAS SOPS 412854 HAS SOUS 201078 HAS SOUPS 201078 WITH SCORE 201490.854
AT ITER 2180 NEW BEST:: SOT 728502 SOS 412448 HAS SOPS 412448 HAS SOUS 200672 HAS SOUPS 200672 WITH SCORE 201084.448
AT ITER 2184 NEW BEST:: SOT 728502 SOS 412407 HAS SOPS 412407 HAS SOUS 200606 HAS SOUPS 200606 WITH SCORE 201018.407
AT ITER 2208 NEW BEST:: SOT 728490 SOS 412340 HAS SOPS 412340 HAS SOUS 200582 HAS SOUPS 200582 WITH SCORE 200994.34
AT ITER 2211 NEW BEST:: SOT 728424 SOS 410234 HAS SOPS 410234 HAS SOUS 200450 HAS SOUPS 200450 WITH SCORE 200860.234
AT ITER 2214 NEW BEST:: SOT 728387 SOS 410196 HAS SOPS 410196 HAS SOUS 200412 HAS SOUPS 200412 WITH SCORE 200822.196
AT ITER 2221 NEW BEST:: SOT 728359 SOS 410168 HAS SOPS 410168 HAS SOUS 200356 HAS SOUPS 200356 WITH SCORE 200766.168
AT ITER 2222 NEW BEST:: SOT 728311 SOS 410119 HAS SOPS 410119 HAS SOUS 200307 HAS SOUPS 200307 WITH SCORE 200717.119
AT ITER 2258 NEW BEST:: SOT 728311 SOS 410119 HAS SOPS 410119 HAS SOUS 200289 HAS SOUPS 200289 WITH SCORE 200699.119
AT ITER 2266 NEW BEST:: SOT 728304 SOS 410045 HAS SOPS 410045 HAS SOUS 200257 HAS SOUPS 200257 WITH SCORE 200667.045
AT ITER 2278 NEW BEST:: SOT 728327 SOS 410021 HAS SOPS 410021 HAS SOUS 199926 HAS SOUPS 199926 WITH SCORE 200336.021
AT ITER 2281 NEW BEST:: SOT 728742 SOS 409938 HAS SOPS 409938 HAS SOUS 199653 HAS SOUPS 199653 WITH SCORE 200062.938
AT ITER 2301 NEW BEST:: SOT 728641 SOS 409555 HAS SOPS 409555 HAS SOUS 199522 HAS SOUPS 199522 WITH SCORE 199931.555
AT ITER 2308 NEW BEST:: SOT 727538 SOS 408452 HAS SOPS 408452 HAS SOUS 198600 HAS SOUPS 198600 WITH SCORE 199008.452
AT ITER 2309 NEW BEST:: SOT 727537 SOS 408450 HAS SOPS 408450 HAS SOUS 198598 HAS SOUPS 198598 WITH SCORE 199006.45
AT ITER 2327 NEW BEST:: SOT 727448 SOS 408240 HAS SOPS 408240 HAS SOUS 198360 HAS SOUPS 198360 WITH SCORE 198768.24
AT ITER 2337 NEW BEST:: SOT 727301 SOS 407352 HAS SOPS 407352 HAS SOUS 197674 HAS SOUPS 197674 WITH SCORE 198081.352
AT ITER 2340 NEW BEST:: SOT 727292 SOS 407343 HAS SOPS 407343 HAS SOUS 197665 HAS SOUPS 197665 WITH SCORE 198072.343
AT ITER 2364 NEW BEST:: SOT 727427 SOS 406978 HAS SOPS 406978 HAS SOUS 197634 HAS SOUPS 197634 WITH SCORE 198040.978
AT ITER 2381 NEW BEST:: SOT 727420 SOS 406989 HAS SOPS 406989 HAS SOUS 197632 HAS SOUPS 197632 WITH SCORE 198038.989
AT ITER 2395 NEW BEST:: SOT 727357 SOS 406870 HAS SOPS 406870 HAS SOUS 197555 HAS SOUPS 197555 WITH SCORE 197961.87
AT ITER 2407 NEW BEST:: SOT 727071 SOS 406580 HAS SOPS 406580 HAS SOUS 197387 HAS SOUPS 197387 WITH SCORE 197793.58
AT ITER 2408 NEW BEST:: SOT 727103 SOS 406302 HAS SOPS 406302 HAS SOUS 197217 HAS SOUPS 197217 WITH SCORE 197623.302
AT ITER 2436 NEW BEST:: SOT 727050 SOS 406249 HAS SOPS 406249 HAS SOUS 197073 HAS SOUPS 197073 WITH SCORE 197479.249
AT ITER 2444 NEW BEST:: SOT 727044 SOS 406380 HAS SOPS 406380 HAS SOUS 197022 HAS SOUPS 197022 WITH SCORE 197428.38
AT ITER 2454 NEW BEST:: SOT 727014 SOS 406350 HAS SOPS 406350 HAS SOUS 196992 HAS SOUPS 196992 WITH SCORE 197398.35
AT ITER 2458 NEW BEST:: SOT 726913 SOS 406249 HAS SOPS 406249 HAS SOUS 196800 HAS SOUPS 196800 WITH SCORE 197206.249
AT ITER 2467 NEW BEST:: SOT 726803 SOS 406029 HAS SOPS 406029 HAS SOUS 196580 HAS SOUPS 196580 WITH SCORE 196986.029
AT ITER 2472 NEW BEST:: SOT 726803 SOS 405735 HAS SOPS 405735 HAS SOUS 196580 HAS SOUPS 196580 WITH SCORE 196985.735
AT ITER 2503 NEW BEST:: SOT 726603 SOS 405559 HAS SOPS 405559 HAS SOUS 196561 HAS SOUPS 196561 WITH SCORE 196966.559
AT ITER 2514 NEW BEST:: SOT 726575 SOS 405519 HAS SOPS 405519 HAS SOUS 196521 HAS SOUPS 196521 WITH SCORE 196926.519
AT ITER 2519 NEW BEST:: SOT 726288 SOS 404743 HAS SOPS 404743 HAS SOUS 196072 HAS SOUPS 196072 WITH SCORE 196476.743
AT ITER 2551 NEW BEST:: SOT 726083 SOS 404538 HAS SOPS 404538 HAS SOUS 195825 HAS SOUPS 195825 WITH SCORE 196229.538
AT ITER 2553 NEW BEST:: SOT 726041 SOS 404139 HAS SOPS 404139 HAS SOUS 195783 HAS SOUPS 195783 WITH SCORE 196187.139
AT ITER 2567 NEW BEST:: SOT 726041 SOS 404139 HAS SOPS 404139 HAS SOUS 195765 HAS SOUPS 195765 WITH SCORE 196169.139
AT ITER 2572 NEW BEST:: SOT 725965 SOS 403908 HAS SOPS 403908 HAS SOUS 195534 HAS SOUPS 195534 WITH SCORE 195937.908
AT ITER 2584 NEW BEST:: SOT 725001 SOS 402944 HAS SOPS 402944 HAS SOUS 194570 HAS SOUPS 194570 WITH SCORE 194972.944
AT ITER 2585 NEW BEST:: SOT 724921 SOS 402396 HAS SOPS 402396 HAS SOUS 194386 HAS SOUPS 194386 WITH SCORE 194788.396
AT ITER 2588 NEW BEST:: SOT 724885 SOS 402655 HAS SOPS 402655 HAS SOUS 194205 HAS SOUPS 194205 WITH SCORE 194607.655
AT ITER 2638 NEW BEST:: SOT 724880 SOS 402650 HAS SOPS 402650 HAS SOUS 194203 HAS SOUPS 194203 WITH SCORE 194605.65
AT ITER 2639 NEW BEST:: SOT 724880 SOS 402739 HAS SOPS 402739 HAS SOUS 194168 HAS SOUPS 194168 WITH SCORE 194570.739
AT ITER 2647 NEW BEST:: SOT 724589 SOS 402448 HAS SOPS 402448 HAS SOUS 193877 HAS SOUPS 193877 WITH SCORE 194279.448
AT ITER 2656 NEW BEST:: SOT 724237 SOS 402117 HAS SOPS 402117 HAS SOUS 193045 HAS SOUPS 193045 WITH SCORE 193447.117
AT ITER 2657 NEW BEST:: SOT 724237 SOS 402117 HAS SOPS 402117 HAS SOUS 192962 HAS SOUPS 192962 WITH SCORE 193364.117
AT ITER 2666 NEW BEST:: SOT 724224 SOS 402080 HAS SOPS 402080 HAS SOUS 192925 HAS SOUPS 192925 WITH SCORE 193327.08
AT ITER 2688 NEW BEST:: SOT 724460 SOS 402316 HAS SOPS 402316 HAS SOUS 192902 HAS SOUPS 192902 WITH SCORE 193304.316
AT ITER 2693 NEW BEST:: SOT 724128 SOS 401984 HAS SOPS 401984 HAS SOUS 192570 HAS SOUPS 192570 WITH SCORE 192971.984
AT ITER 2699 NEW BEST:: SOT 724119 SOS 401964 HAS SOPS 401964 HAS SOUS 192561 HAS SOUPS 192561 WITH SCORE 192962.964
AT ITER 2700 NEW BEST:: SOT 724188 SOS 401948 HAS SOPS 401948 HAS SOUS 192396 HAS SOUPS 192396 WITH SCORE 192797.948
AT ITER 2714 NEW BEST:: SOT 723424 SOS 401778 HAS SOPS 401778 HAS SOUS 191743 HAS SOUPS 191743 WITH SCORE 192144.778
AT ITER 2727 NEW BEST:: SOT 723185 SOS 401075 HAS SOPS 401075 HAS SOUS 191504 HAS SOUPS 191504 WITH SCORE 191905.075
AT ITER 2731 NEW BEST:: SOT 722806 SOS 400696 HAS SOPS 400696 HAS SOUS 190996 HAS SOUPS 190996 WITH SCORE 191396.696
AT ITER 2750 NEW BEST:: SOT 722641 SOS 399674 HAS SOPS 399674 HAS SOUS 190721 HAS SOUPS 190721 WITH SCORE 191120.674
AT ITER 2753 NEW BEST:: SOT 722630 SOS 399601 HAS SOPS 399601 HAS SOUS 190648 HAS SOUPS 190648 WITH SCORE 191047.601
AT ITER 2760 NEW BEST:: SOT 722580 SOS 399490 HAS SOPS 399490 HAS SOUS 190537 HAS SOUPS 190537 WITH SCORE 190936.49
AT ITER 2779 NEW BEST:: SOT 722048 SOS 400930 HAS SOPS 400930 HAS SOUS 190415 HAS SOUPS 190415 WITH SCORE 190815.93
AT ITER 2781 NEW BEST:: SOT 722011 SOS 400893 HAS SOPS 400893 HAS SOUS 190378 HAS SOUPS 190378 WITH SCORE 190778.893
AT ITER 2796 NEW BEST:: SOT 722011 SOS 400696 HAS SOPS 400696 HAS SOUS 190220 HAS SOUPS 190220 WITH SCORE 190620.696
AT ITER 2805 NEW BEST:: SOT 722060 SOS 400250 HAS SOPS 400250 HAS SOUS 190162 HAS SOUPS 190162 WITH SCORE 190562.25
AT ITER 2823 NEW BEST:: SOT 722058 SOS 400248 HAS SOPS 400248 HAS SOUS 190158 HAS SOUPS 190158 WITH SCORE 190558.248
AT ITER 2832 NEW BEST:: SOT 721600 SOS 399919 HAS SOPS 399919 HAS SOUS 189652 HAS SOUPS 189652 WITH SCORE 190051.919
AT ITER 2844 NEW BEST:: SOT 721587 SOS 399814 HAS SOPS 399814 HAS SOUS 189626 HAS SOUPS 189626 WITH SCORE 190025.814
AT ITER 2846 NEW BEST:: SOT 721540 SOS 399814 HAS SOPS 399814 HAS SOUS 189617 HAS SOUPS 189617 WITH SCORE 190016.814
AT ITER 2851 NEW BEST:: SOT 721351 SOS 399339 HAS SOPS 399339 HAS SOUS 189142 HAS SOUPS 189142 WITH SCORE 189541.339
AT ITER 2869 NEW BEST:: SOT 721349 SOS 399392 HAS SOPS 399392 HAS SOUS 189138 HAS SOUPS 189138 WITH SCORE 189537.392
AT ITER 2897 NEW BEST:: SOT 721220 SOS 399263 HAS SOPS 399263 HAS SOUS 189009 HAS SOUPS 189009 WITH SCORE 189408.263
AT ITER 2907 NEW BEST:: SOT 721220 SOS 399126 HAS SOPS 399126 HAS SOUS 188835 HAS SOUPS 188835 WITH SCORE 189234.126
AT ITER 2910 NEW BEST:: SOT 721027 SOS 398933 HAS SOPS 398933 HAS SOUS 188535 HAS SOUPS 188535 WITH SCORE 188933.933
AT ITER 2936 NEW BEST:: SOT 721068 SOS 398620 HAS SOPS 398620 HAS SOUS 188494 HAS SOUPS 188494 WITH SCORE 188892.62
AT ITER 2949 NEW BEST:: SOT 720973 SOS 398337 HAS SOPS 398337 HAS SOUS 188298 HAS SOUPS 188298 WITH SCORE 188696.337
AT ITER 2950 NEW BEST:: SOT 721011 SOS 398352 HAS SOPS 398352 HAS SOUS 188232 HAS SOUPS 188232 WITH SCORE 188630.352
AT ITER 2951 NEW BEST:: SOT 721011 SOS 398318 HAS SOPS 398318 HAS SOUS 188198 HAS SOUPS 188198 WITH SCORE 188596.318
AT ITER 2962 NEW BEST:: SOT 720949 SOS 398256 HAS SOPS 398256 HAS SOUS 188151 HAS SOUPS 188151 WITH SCORE 188549.256
AT ITER 2974 NEW BEST:: SOT 720949 SOS 398100 HAS SOPS 398100 HAS SOUS 188067 HAS SOUPS 188067 WITH SCORE 188465.1
AT ITER 2992 NEW BEST:: SOT 720860 SOS 396603 HAS SOPS 396603 HAS SOUS 187975 HAS SOUPS 187975 WITH SCORE 188371.603
AT ITER 3004 NEW BEST:: SOT 720935 SOS 396235 HAS SOPS 396235 HAS SOUS 187840 HAS SOUPS 187840 WITH SCORE 188236.235
AT ITER 3008 NEW BEST:: SOT 720984 SOS 394908 HAS SOPS 394908 HAS SOUS 187119 HAS SOUPS 187119 WITH SCORE 187513.908
AT ITER 3018 NEW BEST:: SOT 720956 SOS 394880 HAS SOPS 394880 HAS SOUS 187091 HAS SOUPS 187091 WITH SCORE 187485.88
AT ITER 3041 NEW BEST:: SOT 720956 SOS 394880 HAS SOPS 394880 HAS SOUS 187045 HAS SOUPS 187045 WITH SCORE 187439.88
AT ITER 3064 NEW BEST:: SOT 720759 SOS 394545 HAS SOPS 394545 HAS SOUS 186912 HAS SOUPS 186912 WITH SCORE 187306.545
AT ITER 3071 NEW BEST:: SOT 720617 SOS 393953 HAS SOPS 393953 HAS SOUS 186628 HAS SOUPS 186628 WITH SCORE 187021.953
AT ITER 3081 NEW BEST:: SOT 720335 SOS 393011 HAS SOPS 393011 HAS SOUS 185686 HAS SOUPS 185686 WITH SCORE 186079.011
AT ITER 3093 NEW BEST:: SOT 720600 SOS 393276 HAS SOPS 393276 HAS SOUS 185630 HAS SOUPS 185630 WITH SCORE 186023.276
AT ITER 3111 NEW BEST:: SOT 719330 SOS 391629 HAS SOPS 391629 HAS SOUS 183892 HAS SOUPS 183892 WITH SCORE 184283.629
AT ITER 3129 NEW BEST:: SOT 718811 SOS 391106 HAS SOPS 391106 HAS SOUS 183687 HAS SOUPS 183687 WITH SCORE 184078.106
AT ITER 3149 NEW BEST:: SOT 718602 SOS 390763 HAS SOPS 390763 HAS SOUS 183433 HAS SOUPS 183433 WITH SCORE 183823.763
AT ITER 3160 NEW BEST:: SOT 718547 SOS 390708 HAS SOPS 390708 HAS SOUS 183229 HAS SOUPS 183229 WITH SCORE 183619.708
AT ITER 3164 NEW BEST:: SOT 718301 SOS 390190 HAS SOPS 390190 HAS SOUS 183056 HAS SOUPS 183056 WITH SCORE 183446.19
AT ITER 3175 NEW BEST:: SOT 718307 SOS 390296 HAS SOPS 390296 HAS SOUS 182799 HAS SOUPS 182799 WITH SCORE 183189.296
AT ITER 3196 NEW BEST:: SOT 718343 SOS 389824 HAS SOPS 389824 HAS SOUS 182547 HAS SOUPS 182547 WITH SCORE 182936.824
AT ITER 3199 NEW BEST:: SOT 718342 SOS 389823 HAS SOPS 389823 HAS SOUS 182546 HAS SOUPS 182546 WITH SCORE 182935.823
AT ITER 3201 NEW BEST:: SOT 718245 SOS 389603 HAS SOPS 389603 HAS SOUS 182393 HAS SOUPS 182393 WITH SCORE 182782.603
AT ITER 3220 NEW BEST:: SOT 718093 SOS 389451 HAS SOPS 389451 HAS SOUS 182393 HAS SOUPS 182393 WITH SCORE 182782.451
AT ITER 3227 NEW BEST:: SOT 717749 SOS 388418 HAS SOPS 388418 HAS SOUS 181877 HAS SOUPS 181877 WITH SCORE 182265.418
AT ITER 3231 NEW BEST:: SOT 717739 SOS 388474 HAS SOPS 388474 HAS SOUS 181867 HAS SOUPS 181867 WITH SCORE 182255.474
AT ITER 3240 NEW BEST:: SOT 717623 SOS 388328 HAS SOPS 388328 HAS SOUS 181721 HAS SOUPS 181721 WITH SCORE 182109.328
AT ITER 3243 NEW BEST:: SOT 717648 SOS 388353 HAS SOPS 388353 HAS SOUS 181672 HAS SOUPS 181672 WITH SCORE 182060.353
AT ITER 3260 NEW BEST:: SOT 717622 SOS 388395 HAS SOPS 388395 HAS SOUS 181633 HAS SOUPS 181633 WITH SCORE 182021.395
AT ITER 3276 NEW BEST:: SOT 717649 SOS 388377 HAS SOPS 388377 HAS SOUS 181615 HAS SOUPS 181615 WITH SCORE 182003.377
AT ITER 3277 NEW BEST:: SOT 717647 SOS 388375 HAS SOPS 388375 HAS SOUS 181611 HAS SOUPS 181611 WITH SCORE 181999.375
AT ITER 3312 NEW BEST:: SOT 717555 SOS 388271 HAS SOPS 388271 HAS SOUS 181507 HAS SOUPS 181507 WITH SCORE 181895.271
AT ITER 3316 NEW BEST:: SOT 717552 SOS 386913 HAS SOPS 386913 HAS SOUS 181205 HAS SOUPS 181205 WITH SCORE 181591.913
AT ITER 3328 NEW BEST:: SOT 717556 SOS 386933 HAS SOPS 386933 HAS SOUS 181203 HAS SOUPS 181203 WITH SCORE 181589.933
AT ITER 3335 NEW BEST:: SOT 717554 SOS 386931 HAS SOPS 386931 HAS SOUS 181197 HAS SOUPS 181197 WITH SCORE 181583.931
AT ITER 3337 NEW BEST:: SOT 717390 SOS 386762 HAS SOPS 386762 HAS SOUS 181028 HAS SOUPS 181028 WITH SCORE 181414.762
AT ITER 3340 NEW BEST:: SOT 717387 SOS 386759 HAS SOPS 386759 HAS SOUS 181025 HAS SOUPS 181025 WITH SCORE 181411.759
AT ITER 3344 NEW BEST:: SOT 717387 SOS 387061 HAS SOPS 387061 HAS SOUS 181013 HAS SOUPS 181013 WITH SCORE 181400.061
AT ITER 3353 NEW BEST:: SOT 717387 SOS 386967 HAS SOPS 386967 HAS SOUS 180966 HAS SOUPS 180966 WITH SCORE 181352.967
AT ITER 3359 NEW BEST:: SOT 717609 SOS 386740 HAS SOPS 386740 HAS SOUS 180751 HAS SOUPS 180751 WITH SCORE 181137.74
AT ITER 3360 NEW BEST:: SOT 717615 SOS 386631 HAS SOPS 386631 HAS SOUS 180735 HAS SOUPS 180735 WITH SCORE 181121.631
AT ITER 3410 NEW BEST:: SOT 717300 SOS 386394 HAS SOPS 386394 HAS SOUS 180711 HAS SOUPS 180711 WITH SCORE 181097.394
AT ITER 3457 NEW BEST:: SOT 717194 SOS 386372 HAS SOPS 386372 HAS SOUS 180653 HAS SOUPS 180653 WITH SCORE 181039.372
AT ITER 3488 NEW BEST:: SOT 717194 SOS 386354 HAS SOPS 386354 HAS SOUS 180652 HAS SOUPS 180652 WITH SCORE 181038.354
AT ITER 3501 NEW BEST:: SOT 716954 SOS 386078 HAS SOPS 386078 HAS SOUS 180376 HAS SOUPS 180376 WITH SCORE 180762.078
AT ITER 3510 NEW BEST:: SOT 716954 SOS 386070 HAS SOPS 386070 HAS SOUS 180368 HAS SOUPS 180368 WITH SCORE 180754.07
AT ITER 3530 NEW BEST:: SOT 716914 SOS 385811 HAS SOPS 385811 HAS SOUS 180109 HAS SOUPS 180109 WITH SCORE 180494.811
AT ITER 3533 NEW BEST:: SOT 716914 SOS 385732 HAS SOPS 385732 HAS SOUS 180109 HAS SOUPS 180109 WITH SCORE 180494.732
AT ITER 3546 NEW BEST:: SOT 716912 SOS 385730 HAS SOPS 385730 HAS SOUS 180107 HAS SOUPS 180107 WITH SCORE 180492.73
AT ITER 3563 NEW BEST:: SOT 716912 SOS 385727 HAS SOPS 385727 HAS SOUS 180104 HAS SOUPS 180104 WITH SCORE 180489.727
AT ITER 3609 NEW BEST:: SOT 717098 SOS 385749 HAS SOPS 385749 HAS SOUS 180079 HAS SOUPS 180079 WITH SCORE 180464.749
AT ITER 3642 NEW BEST:: SOT 717064 SOS 385651 HAS SOPS 385651 HAS SOUS 180041 HAS SOUPS 180041 WITH SCORE 180426.651
AT ITER 3678 NEW BEST:: SOT 717028 SOS 385615 HAS SOPS 385615 HAS SOUS 179970 HAS SOUPS 179970 WITH SCORE 180355.615
AT ITER 3710 NEW BEST:: SOT 717076 SOS 386084 HAS SOPS 386084 HAS SOUS 179887 HAS SOUPS 179887 WITH SCORE 180273.084
AT ITER 3721 NEW BEST:: SOT 716935 SOS 385802 HAS SOPS 385802 HAS SOUS 179605 HAS SOUPS 179605 WITH SCORE 179990.802
AT ITER 3726 NEW BEST:: SOT 716928 SOS 385795 HAS SOPS 385795 HAS SOUS 179598 HAS SOUPS 179598 WITH SCORE 179983.795
AT ITER 3742 NEW BEST:: SOT 716778 SOS 385645 HAS SOPS 385645 HAS SOUS 179448 HAS SOUPS 179448 WITH SCORE 179833.645
AT ITER 3752 NEW BEST:: SOT 716682 SOS 385549 HAS SOPS 385549 HAS SOUS 179352 HAS SOUPS 179352 WITH SCORE 179737.549
AT ITER 3763 NEW BEST:: SOT 716788 SOS 384350 HAS SOPS 384350 HAS SOUS 179342 HAS SOUPS 179342 WITH SCORE 179726.35
AT ITER 3770 NEW BEST:: SOT 716663 SOS 384983 HAS SOPS 384983 HAS SOUS 178950 HAS SOUPS 178950 WITH SCORE 179334.983
AT ITER 3777 NEW BEST:: SOT 716610 SOS 384781 HAS SOPS 384781 HAS SOUS 178844 HAS SOUPS 178844 WITH SCORE 179228.781
AT ITER 3786 NEW BEST:: SOT 716650 SOS 384729 HAS SOPS 384729 HAS SOUS 178838 HAS SOUPS 178838 WITH SCORE 179222.729
AT ITER 3828 NEW BEST:: SOT 716650 SOS 385484 HAS SOPS 385484 HAS SOUS 178705 HAS SOUPS 178705 WITH SCORE 179090.484
AT ITER 3836 NEW BEST:: SOT 716285 SOS 384973 HAS SOPS 384973 HAS SOUS 177975 HAS SOUPS 177975 WITH SCORE 178359.973
AT ITER 3840 NEW BEST:: SOT 716204 SOS 384422 HAS SOPS 384422 HAS SOUS 177913 HAS SOUPS 177913 WITH SCORE 178297.422
AT ITER 3844 NEW BEST:: SOT 716196 SOS 384414 HAS SOPS 384414 HAS SOUS 177905 HAS SOUPS 177905 WITH SCORE 178289.414
AT ITER 3878 NEW BEST:: SOT 716196 SOS 384563 HAS SOPS 384563 HAS SOUS 177874 HAS SOUPS 177874 WITH SCORE 178258.563
AT ITER 3881 NEW BEST:: SOT 716196 SOS 384471 HAS SOPS 384471 HAS SOUS 177782 HAS SOUPS 177782 WITH SCORE 178166.471
AT ITER 3888 NEW BEST:: SOT 716172 SOS 384154 HAS SOPS 384154 HAS SOUS 177604 HAS SOUPS 177604 WITH SCORE 177988.154
AT ITER 3895 NEW BEST:: SOT 715714 SOS 383394 HAS SOPS 383394 HAS SOUS 177229 HAS SOUPS 177229 WITH SCORE 177612.394
AT ITER 3903 NEW BEST:: SOT 715708 SOS 383388 HAS SOPS 383388 HAS SOUS 177227 HAS SOUPS 177227 WITH SCORE 177610.388
AT ITER 3906 NEW BEST:: SOT 715678 SOS 383358 HAS SOPS 383358 HAS SOUS 177189 HAS SOUPS 177189 WITH SCORE 177572.358
AT ITER 3907 NEW BEST:: SOT 715617 SOS 383321 HAS SOPS 383321 HAS SOUS 177172 HAS SOUPS 177172 WITH SCORE 177555.321
AT ITER 3915 NEW BEST:: SOT 715605 SOS 383297 HAS SOPS 383297 HAS SOUS 177148 HAS SOUPS 177148 WITH SCORE 177531.297
AT ITER 3928 NEW BEST:: SOT 715565 SOS 383257 HAS SOPS 383257 HAS SOUS 177073 HAS SOUPS 177073 WITH SCORE 177456.257
AT ITER 3934 NEW BEST:: SOT 715557 SOS 383029 HAS SOPS 383029 HAS SOUS 176861 HAS SOUPS 176861 WITH SCORE 177244.029
AT ITER 3957 NEW BEST:: SOT 715549 SOS 383038 HAS SOPS 383038 HAS SOUS 176853 HAS SOUPS 176853 WITH SCORE 177236.038
AT ITER 3969 NEW BEST:: SOT 715676 SOS 383165 HAS SOPS 383165 HAS SOUS 176813 HAS SOUPS 176813 WITH SCORE 177196.165
AT ITER 3982 NEW BEST:: SOT 715747 SOS 383093 HAS SOPS 383093 HAS SOUS 176741 HAS SOUPS 176741 WITH SCORE 177124.093
AT ITER 3995 NEW BEST:: SOT 715589 SOS 382935 HAS SOPS 382935 HAS SOUS 176583 HAS SOUPS 176583 WITH SCORE 176965.935
AT ITER 4003 NEW BEST:: SOT 715589 SOS 382551 HAS SOPS 382551 HAS SOUS 176535 HAS SOUPS 176535 WITH SCORE 176917.551
AT ITER 4014 NEW BEST:: SOT 715421 SOS 381943 HAS SOPS 381943 HAS SOUS 176334 HAS SOUPS 176334 WITH SCORE 176715.943
AT ITER 4020 NEW BEST:: SOT 715295 SOS 381943 HAS SOPS 381943 HAS SOUS 176333 HAS SOUPS 176333 WITH SCORE 176714.943
AT ITER 4022 NEW BEST:: SOT 715284 SOS 381932 HAS SOPS 381932 HAS SOUS 176322 HAS SOUPS 176322 WITH SCORE 176703.932
AT ITER 4056 NEW BEST:: SOT 715272 SOS 381663 HAS SOPS 381663 HAS SOUS 176155 HAS SOUPS 176155 WITH SCORE 176536.663
AT ITER 4058 NEW BEST:: SOT 715205 SOS 381194 HAS SOPS 381194 HAS SOUS 176155 HAS SOUPS 176155 WITH SCORE 176536.194
AT ITER 4060 NEW BEST:: SOT 715149 SOS 378810 HAS SOPS 378810 HAS SOUS 175802 HAS SOUPS 175802 WITH SCORE 176180.81
AT ITER 4071 NEW BEST:: SOT 715082 SOS 378743 HAS SOPS 378743 HAS SOUS 175778 HAS SOUPS 175778 WITH SCORE 176156.743
AT ITER 4081 NEW BEST:: SOT 715082 SOS 378743 HAS SOPS 378743 HAS SOUS 175768 HAS SOUPS 175768 WITH SCORE 176146.743
AT ITER 4126 NEW BEST:: SOT 715136 SOS 378435 HAS SOPS 378435 HAS SOUS 175648 HAS SOUPS 175648 WITH SCORE 176026.435
AT ITER 4131 NEW BEST:: SOT 715136 SOS 378420 HAS SOPS 378420 HAS SOUS 175618 HAS SOUPS 175618 WITH SCORE 175996.42
AT ITER 4163 NEW BEST:: SOT 715049 SOS 378246 HAS SOPS 378246 HAS SOUS 175444 HAS SOUPS 175444 WITH SCORE 175822.246
AT ITER 4164 NEW BEST:: SOT 715043 SOS 378210 HAS SOPS 378210 HAS SOUS 175408 HAS SOUPS 175408 WITH SCORE 175786.21
AT ITER 4181 NEW BEST:: SOT 714998 SOS 378652 HAS SOPS 378652 HAS SOUS 175379 HAS SOUPS 175379 WITH SCORE 175757.652
AT ITER 4195 NEW BEST:: SOT 714881 SOS 378797 HAS SOPS 378797 HAS SOUS 175262 HAS SOUPS 175262 WITH SCORE 175640.797
AT ITER 4217 NEW BEST:: SOT 714754 SOS 378778 HAS SOPS 378778 HAS SOUS 175243 HAS SOUPS 175243 WITH SCORE 175621.778
AT ITER 4230 NEW BEST:: SOT 714664 SOS 378642 HAS SOPS 378642 HAS SOUS 174995 HAS SOUPS 174995 WITH SCORE 175373.642
AT ITER 4236 NEW BEST:: SOT 714664 SOS 378620 HAS SOPS 378620 HAS SOUS 174995 HAS SOUPS 174995 WITH SCORE 175373.62
AT ITER 4246 NEW BEST:: SOT 714644 SOS 378600 HAS SOPS 378600 HAS SOUS 174975 HAS SOUPS 174975 WITH SCORE 175353.6
AT ITER 4250 NEW BEST:: SOT 714632 SOS 378588 HAS SOPS 378588 HAS SOUS 174927 HAS SOUPS 174927 WITH SCORE 175305.588
AT ITER 4253 NEW BEST:: SOT 714632 SOS 378478 HAS SOPS 378478 HAS SOUS 174717 HAS SOUPS 174717 WITH SCORE 175095.478
AT ITER 4264 NEW BEST:: SOT 714631 SOS 378477 HAS SOPS 378477 HAS SOUS 174716 HAS SOUPS 174716 WITH SCORE 175094.477
AT ITER 4284 NEW BEST:: SOT 714631 SOS 378434 HAS SOPS 378434 HAS SOUS 174673 HAS SOUPS 174673 WITH SCORE 175051.434
AT ITER 4287 NEW BEST:: SOT 714418 SOS 377969 HAS SOPS 377969 HAS SOUS 174421 HAS SOUPS 174421 WITH SCORE 174798.969
AT ITER 4292 NEW BEST:: SOT 714334 SOS 377909 HAS SOPS 377909 HAS SOUS 174361 HAS SOUPS 174361 WITH SCORE 174738.909
AT ITER 4314 NEW BEST:: SOT 714325 SOS 377900 HAS SOPS 377900 HAS SOUS 174357 HAS SOUPS 174357 WITH SCORE 174734.9
AT ITER 4315 NEW BEST:: SOT 714325 SOS 377900 HAS SOPS 377900 HAS SOUS 174276 HAS SOUPS 174276 WITH SCORE 174653.9
AT ITER 4319 NEW BEST:: SOT 713982 SOS 377441 HAS SOPS 377441 HAS SOUS 173751 HAS SOUPS 173751 WITH SCORE 174128.441
AT ITER 4330 NEW BEST:: SOT 713981 SOS 377440 HAS SOPS 377440 HAS SOUS 173750 HAS SOUPS 173750 WITH SCORE 174127.44
AT ITER 4341 NEW BEST:: SOT 713969 SOS 377428 HAS SOPS 377428 HAS SOUS 173738 HAS SOUPS 173738 WITH SCORE 174115.428
AT ITER 4345 NEW BEST:: SOT 713947 SOS 377406 HAS SOPS 377406 HAS SOUS 173706 HAS SOUPS 173706 WITH SCORE 174083.406
AT ITER 4349 NEW BEST:: SOT 713789 SOS 376950 HAS SOPS 376950 HAS SOUS 173250 HAS SOUPS 173250 WITH SCORE 173626.95
AT ITER 4361 NEW BEST:: SOT 713637 SOS 375270 HAS SOPS 375270 HAS SOUS 172905 HAS SOUPS 172905 WITH SCORE 173280.27
AT ITER 4389 NEW BEST:: SOT 713637 SOS 375163 HAS SOPS 375163 HAS SOUS 172850 HAS SOUPS 172850 WITH SCORE 173225.163
AT ITER 4396 NEW BEST:: SOT 713637 SOS 374659 HAS SOPS 374659 HAS SOUS 172787 HAS SOUPS 172787 WITH SCORE 173161.659
AT ITER 4401 NEW BEST:: SOT 713594 SOS 374624 HAS SOPS 374624 HAS SOUS 172752 HAS SOUPS 172752 WITH SCORE 173126.624
AT ITER 4410 NEW BEST:: SOT 713479 SOS 374319 HAS SOPS 374319 HAS SOUS 172637 HAS SOUPS 172637 WITH SCORE 173011.319
AT ITER 4412 NEW BEST:: SOT 713460 SOS 374300 HAS SOPS 374300 HAS SOUS 172599 HAS SOUPS 172599 WITH SCORE 172973.3
AT ITER 4468 NEW BEST:: SOT 713411 SOS 374109 HAS SOPS 374109 HAS SOUS 172480 HAS SOUPS 172480 WITH SCORE 172854.109
AT ITER 4476 NEW BEST:: SOT 713271 SOS 373936 HAS SOPS 373936 HAS SOUS 172200 HAS SOUPS 172200 WITH SCORE 172573.936
AT ITER 4501 NEW BEST:: SOT 713251 SOS 373916 HAS SOPS 373916 HAS SOUS 172170 HAS SOUPS 172170 WITH SCORE 172543.916
AT ITER 4505 NEW BEST:: SOT 713309 SOS 373822 HAS SOPS 373822 HAS SOUS 172145 HAS SOUPS 172145 WITH SCORE 172518.822
AT ITER 4519 NEW BEST:: SOT 713309 SOS 373790 HAS SOPS 373790 HAS SOUS 172145 HAS SOUPS 172145 WITH SCORE 172518.79
AT ITER 4544 NEW BEST:: SOT 713308 SOS 373789 HAS SOPS 373789 HAS SOUS 172143 HAS SOUPS 172143 WITH SCORE 172516.789
AT ITER 4549 NEW BEST:: SOT 713308 SOS 374039 HAS SOPS 374039 HAS SOUS 172093 HAS SOUPS 172093 WITH SCORE 172467.039
AT ITER 4560 NEW BEST:: SOT 713026 SOS 373775 HAS SOPS 373775 HAS SOUS 171835 HAS SOUPS 171835 WITH SCORE 172208.775
AT ITER 4581 NEW BEST:: SOT 712960 SOS 373636 HAS SOPS 373636 HAS SOUS 171775 HAS SOUPS 171775 WITH SCORE 172148.636
AT ITER 4601 NEW BEST:: SOT 712914 SOS 373590 HAS SOPS 373590 HAS SOUS 171706 HAS SOUPS 171706 WITH SCORE 172079.59
AT ITER 4602 NEW BEST:: SOT 712908 SOS 373578 HAS SOPS 373578 HAS SOUS 171480 HAS SOUPS 171480 WITH SCORE 171853.578
AT ITER 4618 NEW BEST:: SOT 712908 SOS 373158 HAS SOPS 373158 HAS SOUS 171420 HAS SOUPS 171420 WITH SCORE 171793.158
AT ITER 4625 NEW BEST:: SOT 712836 SOS 373012 HAS SOPS 373012 HAS SOUS 171348 HAS SOUPS 171348 WITH SCORE 171721.012
AT ITER 4660 NEW BEST:: SOT 712814 SOS 372990 HAS SOPS 372990 HAS SOUS 171314 HAS SOUPS 171314 WITH SCORE 171686.99
AT ITER 4710 NEW BEST:: SOT 712814 SOS 373200 HAS SOPS 373200 HAS SOUS 171240 HAS SOUPS 171240 WITH SCORE 171613.2
AT ITER 4725 NEW BEST:: SOT 712769 SOS 373200 HAS SOPS 373200 HAS SOUS 171150 HAS SOUPS 171150 WITH SCORE 171523.2
AT ITER 4733 NEW BEST:: SOT 712721 SOS 373146 HAS SOPS 373146 HAS SOUS 171096 HAS SOUPS 171096 WITH SCORE 171469.146
AT ITER 4734 NEW BEST:: SOT 712592 SOS 373013 HAS SOPS 373013 HAS SOUS 170963 HAS SOUPS 170963 WITH SCORE 171336.013
AT ITER 4756 NEW BEST:: SOT 711428 SOS 374007 HAS SOPS 374007 HAS SOUS 169770 HAS SOUPS 169770 WITH SCORE 170144.007
AT ITER 4768 NEW BEST:: SOT 711421 SOS 373719 HAS SOPS 373719 HAS SOUS 169605 HAS SOUPS 169605 WITH SCORE 169978.719
AT ITER 4780 NEW BEST:: SOT 711396 SOS 373694 HAS SOPS 373694 HAS SOUS 169555 HAS SOUPS 169555 WITH SCORE 169928.694
AT ITER 4781 NEW BEST:: SOT 711396 SOS 373695 HAS SOPS 373695 HAS SOUS 169534 HAS SOUPS 169534 WITH SCORE 169907.695
AT ITER 4786 NEW BEST:: SOT 711396 SOS 373695 HAS SOPS 373695 HAS SOUS 169510 HAS SOUPS 169510 WITH SCORE 169883.695
AT ITER 4791 NEW BEST:: SOT 711272 SOS 373571 HAS SOPS 373571 HAS SOUS 169432 HAS SOUPS 169432 WITH SCORE 169805.571
AT ITER 4795 NEW BEST:: SOT 711638 SOS 373564 HAS SOPS 373564 HAS SOUS 169425 HAS SOUPS 169425 WITH SCORE 169798.564
AT ITER 4810 NEW BEST:: SOT 711255 SOS 373253 HAS SOPS 373253 HAS SOUS 168872 HAS SOUPS 168872 WITH SCORE 169245.253
AT ITER 4813 NEW BEST:: SOT 711080 SOS 372903 HAS SOPS 372903 HAS SOUS 168522 HAS SOUPS 168522 WITH SCORE 168894.903
AT ITER 4836 NEW BEST:: SOT 711079 SOS 372902 HAS SOPS 372902 HAS SOUS 168521 HAS SOUPS 168521 WITH SCORE 168893.902
AT ITER 4844 NEW BEST:: SOT 711264 SOS 373068 HAS SOPS 373068 HAS SOUS 168496 HAS SOUPS 168496 WITH SCORE 168869.068
AT ITER 4851 NEW BEST:: SOT 711264 SOS 373033 HAS SOPS 373033 HAS SOUS 168461 HAS SOUPS 168461 WITH SCORE 168834.033
AT ITER 4887 NEW BEST:: SOT 711132 SOS 372935 HAS SOPS 372935 HAS SOUS 168363 HAS SOUPS 168363 WITH SCORE 168735.935
AT ITER 4919 NEW BEST:: SOT 710837 SOS 372639 HAS SOPS 372639 HAS SOUS 168067 HAS SOUPS 168067 WITH SCORE 168439.639
AT ITER 4939 NEW BEST:: SOT 710837 SOS 371853 HAS SOPS 371853 HAS SOUS 167943 HAS SOUPS 167943 WITH SCORE 168314.853
AT ITER 4957 NEW BEST:: SOT 710829 SOS 371915 HAS SOPS 371915 HAS SOUS 167927 HAS SOUPS 167927 WITH SCORE 168298.915
AT ITER 4961 NEW BEST:: SOT 710811 SOS 371900 HAS SOPS 371900 HAS SOUS 167661 HAS SOUPS 167661 WITH SCORE 168032.9
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ASLink-PT-04a-CTLCardinality-00 (EG( (EF(( potential( ( 1 ) <= (tk(P291)) ) | potential( ( 2 ) <= (tk(P250)) ) )))))
PROPERTY: ASLink-PT-04a-CTLCardinality-01 ( (EU( potential( (tk(P589)) <= (tk(P656)) ),( potential( ( 1 ) <= (tk(P220)) ) & potential( ( 3 ) <= (tk(P860)) ) ) )) | ( (EX( (! potential( ( 1 ) <= (tk(P508)) )))) & ( (! ( potential( (tk(P39)) <= (tk(P156)) ) & potential( (tk(P147)) <= (tk(P283)) ) )) & potential( (tk(P990)) <= (tk(P922)) ) ) ) )
PROPERTY: ASLink-PT-04a-CTLCardinality-02 (! (AG( potential( (tk(P262)) <= (tk(P284)) ))))
PROPERTY: ASLink-PT-04a-CTLCardinality-03 (EG( (EU( potential( (tk(P502)) <= (tk(P477)) ),potential( (tk(P165)) <= (tk(P763)) ) ))))
PROPERTY: ASLink-PT-04a-CTLCardinality-04 ( ( (! (EX( potential( ( 2 ) <= (tk(P695)) )))) & ( potential( ( 2 ) <= (tk(P835)) ) & ( ( potential( ( 3 ) <= (tk(P888)) ) | potential( (tk(P416)) <= (tk(P906)) ) ) & ( potential( ( 2 ) <= (tk(P893)) ) & potential( (tk(P123)) <= (tk(P109)) ) ) ) ) ) | (! (EG( ( potential( ( 3 ) <= (tk(P636)) ) | potential( (tk(P582)) <= (tk(P204)) ) )))) )
PROPERTY: ASLink-PT-04a-CTLCardinality-05 (EU( (EG( potential( (tk(P500)) <= (tk(P473)) ))),(! ( potential( ( 3 ) <= (tk(P234)) ) | potential( (tk(P902)) <= (tk(P672)) ) )) ))
PROPERTY: ASLink-PT-04a-CTLCardinality-06 (AU( ( (! potential( (tk(P434)) <= (tk(P805)) )) | (! potential( ( 2 ) <= (tk(P361)) )) ),(! potential( (tk(P589)) <= (tk(P546)) )) ))
PROPERTY: ASLink-PT-04a-CTLCardinality-07 ( ( (AU( potential( (tk(P438)) <= (tk(P100)) ),potential( ( 2 ) <= (tk(P631)) ) )) & (! (AG( potential( ( 1 ) <= (tk(P401)) )))) ) & ( (! (! (! potential( (tk(P250)) <= (tk(P190)) )))) | (EG( (! potential( ( 1 ) <= (tk(P721)) )))) ) )
PROPERTY: ASLink-PT-04a-CTLCardinality-08 (AF((EF(potential( ( 2 ) <= (tk(P954)) )))))
PROPERTY: ASLink-PT-04a-CTLCardinality-09 (AX( (AG( (! potential( ( 2 ) <= (tk(P387)) ))))))
PROPERTY: ASLink-PT-04a-CTLCardinality-10 (! (AG( (! ( potential( ( 2 ) <= (tk(P686)) ) | potential( ( 3 ) <= (tk(P800)) ) )))))
PROPERTY: ASLink-PT-04a-CTLCardinality-11 (AG( (! ( ( potential( ( 2 ) <= (tk(P399)) ) | potential( ( 2 ) <= (tk(P327)) ) ) & potential( ( 1 ) <= (tk(P313)) ) ))))
PROPERTY: ASLink-PT-04a-CTLCardinality-12 (AU( (EF(potential( (tk(P721)) <= (tk(P578)) ))),( ( potential( ( 3 ) <= (tk(P515)) ) & potential( ( 3 ) <= (tk(P755)) ) ) & ( potential( (tk(P709)) <= (tk(P48)) ) & potential( (tk(P233)) <= (tk(P9)) ) ) ) ))
PROPERTY: ASLink-PT-04a-CTLCardinality-13 (! (AG( (! potential( ( 3 ) <= (tk(P897)) )))))
PROPERTY: ASLink-PT-04a-CTLCardinality-14 ( ( (AG( ( potential( (tk(P405)) <= (tk(P324)) ) | potential( (tk(P766)) <= (tk(P261)) ) ))) | (AG( (! potential( (tk(P706)) <= (tk(P159)) )))) ) | (EU( (! potential( ( 2 ) <= (tk(P492)) )),( potential( ( 2 ) <= (tk(P644)) ) & potential( ( 3 ) <= (tk(P670)) ) ) )) )
PROPERTY: ASLink-PT-04a-CTLCardinality-15 ( (! potential( (tk(P153)) <= (tk(P36)) )) | (! (EU( potential( (tk(P919)) <= (tk(P226)) ),potential( ( 2 ) <= (tk(P524)) ) ))) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ASLink-PT-04a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508000059"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-04a.tgz
mv ASLink-PT-04a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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