Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599700064.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-04a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599700064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 980K
-rw-r--r-- 1 mcc users 6.5K Feb 26 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 13:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 13:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 13:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 158K Feb 26 13:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 13:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 113K Feb 26 13:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 436K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678722755103

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-04a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 15:52:38] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 15:52:38] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 15:52:38] [INFO ] Load time of PNML (sax parser for PT used): 153 ms
[2023-03-13 15:52:38] [INFO ] Transformed 1016 places.
[2023-03-13 15:52:38] [INFO ] Transformed 1554 transitions.
[2023-03-13 15:52:38] [INFO ] Found NUPN structural information;
[2023-03-13 15:52:38] [INFO ] Parsed PT model containing 1016 places and 1554 transitions and 5858 arcs in 336 ms.
[2023-03-13 15:52:38] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 1016 places, 1554 transitions and 5858 arcs took 16 ms.
Total runtime 413 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 04a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
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 9 NEW BEST:: SOT 867032 SOS 591074 HAS SOPS 591074 HAS SOUS 371721 HAS SOUPS 371721 WITH SCORE 372312.074
AT ITER 11 NEW BEST:: SOT 866934 SOS 590778 HAS SOPS 590778 HAS SOUS 371425 HAS SOUPS 371425 WITH SCORE 372015.778
AT ITER 18 NEW BEST:: SOT 866723 SOS 589873 HAS SOPS 589873 HAS SOUS 370982 HAS SOUPS 370982 WITH SCORE 371571.873
AT ITER 22 NEW BEST:: SOT 866720 SOS 589870 HAS SOPS 589870 HAS SOUS 370978 HAS SOUPS 370978 WITH SCORE 371567.87
AT ITER 25 NEW BEST:: SOT 863553 SOS 590302 HAS SOPS 590302 HAS SOUS 367488 HAS SOUPS 367488 WITH SCORE 368078.302
AT ITER 29 NEW BEST:: SOT 863381 SOS 588926 HAS SOPS 588926 HAS SOUS 367144 HAS SOUPS 367144 WITH SCORE 367732.926
AT ITER 34 NEW BEST:: SOT 863227 SOS 588772 HAS SOPS 588772 HAS SOUS 366989 HAS SOUPS 366989 WITH SCORE 367577.772
AT ITER 37 NEW BEST:: SOT 862575 SOS 589246 HAS SOPS 589246 HAS SOUS 366900 HAS SOUPS 366900 WITH SCORE 367489.246
AT ITER 42 NEW BEST:: SOT 862051 SOS 588722 HAS SOPS 588722 HAS SOUS 366376 HAS SOUPS 366376 WITH SCORE 366964.722
AT ITER 47 NEW BEST:: SOT 861654 SOS 588611 HAS SOPS 588611 HAS SOUS 366373 HAS SOUPS 366373 WITH SCORE 366961.611
AT ITER 52 NEW BEST:: SOT 861654 SOS 588502 HAS SOPS 588502 HAS SOUS 366370 HAS SOUPS 366370 WITH SCORE 366958.502
AT ITER 61 NEW BEST:: SOT 861896 SOS 588484 HAS SOPS 588484 HAS SOUS 365749 HAS SOUPS 365749 WITH SCORE 366337.484
AT ITER 63 NEW BEST:: SOT 861338 SOS 587926 HAS SOPS 587926 HAS SOUS 365191 HAS SOUPS 365191 WITH SCORE 365778.926
AT ITER 64 NEW BEST:: SOT 861215 SOS 587803 HAS SOPS 587803 HAS SOUS 365068 HAS SOUPS 365068 WITH SCORE 365655.803
AT ITER 67 NEW BEST:: SOT 861215 SOS 587709 HAS SOPS 587709 HAS SOUS 364985 HAS SOUPS 364985 WITH SCORE 365572.709
AT ITER 70 NEW BEST:: SOT 861211 SOS 587307 HAS SOPS 587307 HAS SOUS 364583 HAS SOUPS 364583 WITH SCORE 365170.307
AT ITER 71 NEW BEST:: SOT 861211 SOS 587307 HAS SOPS 587307 HAS SOUS 364582 HAS SOUPS 364582 WITH SCORE 365169.307
AT ITER 73 NEW BEST:: SOT 860462 SOS 587813 HAS SOPS 587813 HAS SOUS 364205 HAS SOUPS 364205 WITH SCORE 364792.813
AT ITER 81 NEW BEST:: SOT 860823 SOS 587552 HAS SOPS 587552 HAS SOUS 364142 HAS SOUPS 364142 WITH SCORE 364729.552
AT ITER 82 NEW BEST:: SOT 860898 SOS 587552 HAS SOPS 587552 HAS SOUS 364067 HAS SOUPS 364067 WITH SCORE 364654.552
AT ITER 97 NEW BEST:: SOT 860898 SOS 587670 HAS SOPS 587670 HAS SOUS 364066 HAS SOUPS 364066 WITH SCORE 364653.67
AT ITER 109 NEW BEST:: SOT 860898 SOS 587502 HAS SOPS 587502 HAS SOUS 363898 HAS SOUPS 363898 WITH SCORE 364485.502
AT ITER 111 NEW BEST:: SOT 860253 SOS 586198 HAS SOPS 586198 HAS SOUS 362594 HAS SOUPS 362594 WITH SCORE 363180.198
AT ITER 113 NEW BEST:: SOT 859853 SOS 585174 HAS SOPS 585174 HAS SOUS 361794 HAS SOUPS 361794 WITH SCORE 362379.174
AT ITER 120 NEW BEST:: SOT 859853 SOS 585253 HAS SOPS 585253 HAS SOUS 361744 HAS SOUPS 361744 WITH SCORE 362329.253
AT ITER 134 NEW BEST:: SOT 858234 SOS 583634 HAS SOPS 583634 HAS SOUS 360192 HAS SOUPS 360192 WITH SCORE 360775.634
AT ITER 135 NEW BEST:: SOT 858062 SOS 583044 HAS SOPS 583044 HAS SOUS 359848 HAS SOUPS 359848 WITH SCORE 360431.044
AT ITER 136 NEW BEST:: SOT 858062 SOS 582726 HAS SOPS 582726 HAS SOUS 359652 HAS SOUPS 359652 WITH SCORE 360234.726
AT ITER 141 NEW BEST:: SOT 858059 SOS 581597 HAS SOPS 581597 HAS SOUS 359434 HAS SOUPS 359434 WITH SCORE 360015.597
AT ITER 143 NEW BEST:: SOT 858059 SOS 581149 HAS SOPS 581149 HAS SOUS 359383 HAS SOUPS 359383 WITH SCORE 359964.149
AT ITER 145 NEW BEST:: SOT 858059 SOS 579526 HAS SOPS 579526 HAS SOUS 359351 HAS SOUPS 359351 WITH SCORE 359930.526
AT ITER 147 NEW BEST:: SOT 858059 SOS 579526 HAS SOPS 579526 HAS SOUS 359349 HAS SOUPS 359349 WITH SCORE 359928.526
AT ITER 152 NEW BEST:: SOT 857767 SOS 579234 HAS SOPS 579234 HAS SOUS 359079 HAS SOUPS 359079 WITH SCORE 359658.234
AT ITER 155 NEW BEST:: SOT 857385 SOS 578330 HAS SOPS 578330 HAS SOUS 358769 HAS SOUPS 358769 WITH SCORE 359347.33
AT ITER 171 NEW BEST:: SOT 854996 SOS 575941 HAS SOPS 575941 HAS SOUS 356379 HAS SOUPS 356379 WITH SCORE 356954.941
AT ITER 174 NEW BEST:: SOT 854996 SOS 574752 HAS SOPS 574752 HAS SOUS 356379 HAS SOUPS 356379 WITH SCORE 356953.752
AT ITER 177 NEW BEST:: SOT 854770 SOS 573935 HAS SOPS 573935 HAS SOUS 355976 HAS SOUPS 355976 WITH SCORE 356549.935
AT ITER 183 NEW BEST:: SOT 854887 SOS 573126 HAS SOPS 573126 HAS SOUS 355902 HAS SOUPS 355902 WITH SCORE 356475.126
AT ITER 192 NEW BEST:: SOT 854887 SOS 573214 HAS SOPS 573214 HAS SOUS 355800 HAS SOUPS 355800 WITH SCORE 356373.214
AT ITER 196 NEW BEST:: SOT 854707 SOS 573032 HAS SOPS 573032 HAS SOUS 355798 HAS SOUPS 355798 WITH SCORE 356371.032
AT ITER 198 NEW BEST:: SOT 854678 SOS 571998 HAS SOPS 571998 HAS SOUS 354962 HAS SOUPS 354962 WITH SCORE 355533.998
AT ITER 199 NEW BEST:: SOT 854368 SOS 571688 HAS SOPS 571688 HAS SOUS 354651 HAS SOUPS 354651 WITH SCORE 355222.688
AT ITER 200 NEW BEST:: SOT 854368 SOS 571541 HAS SOPS 571541 HAS SOUS 354484 HAS SOUPS 354484 WITH SCORE 355055.541
AT ITER 205 NEW BEST:: SOT 851684 SOS 573256 HAS SOPS 573256 HAS SOUS 352156 HAS SOUPS 352156 WITH SCORE 352729.256
AT ITER 206 NEW BEST:: SOT 850285 SOS 574538 HAS SOPS 574538 HAS SOUS 351498 HAS SOUPS 351498 WITH SCORE 352072.538
AT ITER 211 NEW BEST:: SOT 848705 SOS 573472 HAS SOPS 573472 HAS SOUS 349480 HAS SOUPS 349480 WITH SCORE 350053.472
AT ITER 214 NEW BEST:: SOT 848705 SOS 573472 HAS SOPS 573472 HAS SOUS 349479 HAS SOUPS 349479 WITH SCORE 350052.472
AT ITER 227 NEW BEST:: SOT 848490 SOS 573158 HAS SOPS 573158 HAS SOUS 349479 HAS SOUPS 349479 WITH SCORE 350052.158
AT ITER 233 NEW BEST:: SOT 848123 SOS 572749 HAS SOPS 572749 HAS SOUS 349376 HAS SOUPS 349376 WITH SCORE 349948.749
AT ITER 238 NEW BEST:: SOT 847753 SOS 572006 HAS SOPS 572006 HAS SOUS 348633 HAS SOUPS 348633 WITH SCORE 349205.006
AT ITER 249 NEW BEST:: SOT 846974 SOS 571065 HAS SOPS 571065 HAS SOUS 347847 HAS SOUPS 347847 WITH SCORE 348418.065
AT ITER 254 NEW BEST:: SOT 846999 SOS 571174 HAS SOPS 571174 HAS SOUS 347836 HAS SOUPS 347836 WITH SCORE 348407.174
AT ITER 259 NEW BEST:: SOT 844182 SOS 568357 HAS SOPS 568357 HAS SOUS 345019 HAS SOUPS 345019 WITH SCORE 345587.357
AT ITER 261 NEW BEST:: SOT 844090 SOS 568265 HAS SOPS 568265 HAS SOUS 344927 HAS SOUPS 344927 WITH SCORE 345495.265
AT ITER 262 NEW BEST:: SOT 844032 SOS 568207 HAS SOPS 568207 HAS SOUS 344921 HAS SOUPS 344921 WITH SCORE 345489.207
AT ITER 266 NEW BEST:: SOT 842195 SOS 566369 HAS SOPS 566369 HAS SOUS 343078 HAS SOUPS 343078 WITH SCORE 343644.369
AT ITER 268 NEW BEST:: SOT 842122 SOS 566296 HAS SOPS 566296 HAS SOUS 343005 HAS SOUPS 343005 WITH SCORE 343571.296
AT ITER 271 NEW BEST:: SOT 841529 SOS 565000 HAS SOPS 565000 HAS SOUS 341819 HAS SOUPS 341819 WITH SCORE 342384.0
AT ITER 275 NEW BEST:: SOT 831547 SOS 553587 HAS SOPS 553587 HAS SOUS 331157 HAS SOUPS 331157 WITH SCORE 331710.587
AT ITER 286 NEW BEST:: SOT 831547 SOS 553515 HAS SOPS 553515 HAS SOUS 331157 HAS SOUPS 331157 WITH SCORE 331710.515
AT ITER 287 NEW BEST:: SOT 831578 SOS 552913 HAS SOPS 552913 HAS SOUS 331052 HAS SOUPS 331052 WITH SCORE 331604.913
AT ITER 291 NEW BEST:: SOT 831161 SOS 551743 HAS SOPS 551743 HAS SOUS 330628 HAS SOUPS 330628 WITH SCORE 331179.743
AT ITER 308 NEW BEST:: SOT 830750 SOS 551332 HAS SOPS 551332 HAS SOUS 330190 HAS SOUPS 330190 WITH SCORE 330741.332
AT ITER 315 NEW BEST:: SOT 830725 SOS 551476 HAS SOPS 551476 HAS SOUS 330165 HAS SOUPS 330165 WITH SCORE 330716.476
AT ITER 317 NEW BEST:: SOT 830725 SOS 550493 HAS SOPS 550493 HAS SOUS 330164 HAS SOUPS 330164 WITH SCORE 330714.493
AT ITER 321 NEW BEST:: SOT 829539 SOS 549587 HAS SOPS 549587 HAS SOUS 328838 HAS SOUPS 328838 WITH SCORE 329387.587
AT ITER 327 NEW BEST:: SOT 828981 SOS 549419 HAS SOPS 549419 HAS SOUS 328812 HAS SOUPS 328812 WITH SCORE 329361.419
AT ITER 329 NEW BEST:: SOT 828977 SOS 549407 HAS SOPS 549407 HAS SOUS 328800 HAS SOUPS 328800 WITH SCORE 329349.407
AT ITER 332 NEW BEST:: SOT 829048 SOS 548803 HAS SOPS 548803 HAS SOUS 328365 HAS SOUPS 328365 WITH SCORE 328913.803
AT ITER 333 NEW BEST:: SOT 829048 SOS 548803 HAS SOPS 548803 HAS SOUS 328359 HAS SOUPS 328359 WITH SCORE 328907.803
AT ITER 335 NEW BEST:: SOT 822968 SOS 542723 HAS SOPS 542723 HAS SOUS 322279 HAS SOUPS 322279 WITH SCORE 322821.723
AT ITER 338 NEW BEST:: SOT 822524 SOS 541419 HAS SOPS 541419 HAS SOUS 321196 HAS SOUPS 321196 WITH SCORE 321737.419
AT ITER 347 NEW BEST:: SOT 822524 SOS 541941 HAS SOPS 541941 HAS SOUS 320889 HAS SOUPS 320889 WITH SCORE 321430.941
AT ITER 352 NEW BEST:: SOT 822524 SOS 542523 HAS SOPS 542523 HAS SOUS 320855 HAS SOUPS 320855 WITH SCORE 321397.523
AT ITER 354 NEW BEST:: SOT 822352 SOS 542351 HAS SOPS 542351 HAS SOUS 320683 HAS SOUPS 320683 WITH SCORE 321225.351
AT ITER 359 NEW BEST:: SOT 821664 SOS 541986 HAS SOPS 541986 HAS SOUS 320441 HAS SOUPS 320441 WITH SCORE 320982.986
AT ITER 376 NEW BEST:: SOT 821500 SOS 541822 HAS SOPS 541822 HAS SOUS 320441 HAS SOUPS 320441 WITH SCORE 320982.822
AT ITER 383 NEW BEST:: SOT 821454 SOS 541776 HAS SOPS 541776 HAS SOUS 320435 HAS SOUPS 320435 WITH SCORE 320976.776
AT ITER 384 NEW BEST:: SOT 821453 SOS 541775 HAS SOPS 541775 HAS SOUS 320434 HAS SOUPS 320434 WITH SCORE 320975.775
AT ITER 385 NEW BEST:: SOT 821271 SOS 541585 HAS SOPS 541585 HAS SOUS 320244 HAS SOUPS 320244 WITH SCORE 320785.585
AT ITER 393 NEW BEST:: SOT 817130 SOS 537202 HAS SOPS 537202 HAS SOUS 315860 HAS SOUPS 315860 WITH SCORE 316397.202
AT ITER 414 NEW BEST:: SOT 817038 SOS 537189 HAS SOPS 537189 HAS SOUS 315846 HAS SOUPS 315846 WITH SCORE 316383.189
AT ITER 416 NEW BEST:: SOT 812950 SOS 532787 HAS SOPS 532787 HAS SOUS 311444 HAS SOUPS 311444 WITH SCORE 311976.787
AT ITER 419 NEW BEST:: SOT 812911 SOS 532787 HAS SOPS 532787 HAS SOUS 311441 HAS SOUPS 311441 WITH SCORE 311973.787
AT ITER 432 NEW BEST:: SOT 812856 SOS 532347 HAS SOPS 532347 HAS SOUS 311331 HAS SOUPS 311331 WITH SCORE 311863.347
AT ITER 435 NEW BEST:: SOT 811609 SOS 531286 HAS SOPS 531286 HAS SOUS 309880 HAS SOUPS 309880 WITH SCORE 310411.286
AT ITER 437 NEW BEST:: SOT 811563 SOS 531240 HAS SOPS 531240 HAS SOUS 309832 HAS SOUPS 309832 WITH SCORE 310363.24
AT ITER 444 NEW BEST:: SOT 811563 SOS 530533 HAS SOPS 530533 HAS SOUS 309311 HAS SOUPS 309311 WITH SCORE 309841.533
AT ITER 450 NEW BEST:: SOT 811427 SOS 530397 HAS SOPS 530397 HAS SOUS 309175 HAS SOUPS 309175 WITH SCORE 309705.397
AT ITER 452 NEW BEST:: SOT 811390 SOS 529621 HAS SOPS 529621 HAS SOUS 308629 HAS SOUPS 308629 WITH SCORE 309158.621
AT ITER 453 NEW BEST:: SOT 811272 SOS 529503 HAS SOPS 529503 HAS SOUS 308574 HAS SOUPS 308574 WITH SCORE 309103.503
AT ITER 455 NEW BEST:: SOT 811272 SOS 529503 HAS SOPS 529503 HAS SOUS 308572 HAS SOUPS 308572 WITH SCORE 309101.503
AT ITER 458 NEW BEST:: SOT 811136 SOS 529367 HAS SOPS 529367 HAS SOUS 308568 HAS SOUPS 308568 WITH SCORE 309097.367
AT ITER 465 NEW BEST:: SOT 811136 SOS 529367 HAS SOPS 529367 HAS SOUS 308567 HAS SOUPS 308567 WITH SCORE 309096.367
AT ITER 470 NEW BEST:: SOT 809441 SOS 526603 HAS SOPS 526603 HAS SOUS 306516 HAS SOUPS 306516 WITH SCORE 307042.603
AT ITER 473 NEW BEST:: SOT 809041 SOS 526475 HAS SOPS 526475 HAS SOUS 306181 HAS SOUPS 306181 WITH SCORE 306707.475
AT ITER 481 NEW BEST:: SOT 809158 SOS 525586 HAS SOPS 525586 HAS SOUS 305871 HAS SOUPS 305871 WITH SCORE 306396.586
AT ITER 496 NEW BEST:: SOT 809011 SOS 525026 HAS SOPS 525026 HAS SOUS 305577 HAS SOUPS 305577 WITH SCORE 306102.026
AT ITER 498 NEW BEST:: SOT 808875 SOS 524592 HAS SOPS 524592 HAS SOUS 305441 HAS SOUPS 305441 WITH SCORE 305965.592
AT ITER 503 NEW BEST:: SOT 808874 SOS 524591 HAS SOPS 524591 HAS SOUS 305438 HAS SOUPS 305438 WITH SCORE 305962.591
AT ITER 507 NEW BEST:: SOT 808857 SOS 524574 HAS SOPS 524574 HAS SOUS 305436 HAS SOUPS 305436 WITH SCORE 305960.574
AT ITER 509 NEW BEST:: SOT 808828 SOS 524516 HAS SOPS 524516 HAS SOUS 305378 HAS SOUPS 305378 WITH SCORE 305902.516
AT ITER 516 NEW BEST:: SOT 808810 SOS 524498 HAS SOPS 524498 HAS SOUS 305358 HAS SOUPS 305358 WITH SCORE 305882.498
AT ITER 535 NEW BEST:: SOT 808855 SOS 524732 HAS SOPS 524732 HAS SOUS 305313 HAS SOUPS 305313 WITH SCORE 305837.732
AT ITER 541 NEW BEST:: SOT 809421 SOS 524518 HAS SOPS 524518 HAS SOUS 305099 HAS SOUPS 305099 WITH SCORE 305623.518
AT ITER 545 NEW BEST:: SOT 809086 SOS 524183 HAS SOPS 524183 HAS SOUS 304692 HAS SOUPS 304692 WITH SCORE 305216.183
AT ITER 546 NEW BEST:: SOT 809126 SOS 523837 HAS SOPS 523837 HAS SOUS 304346 HAS SOUPS 304346 WITH SCORE 304869.837
AT ITER 548 NEW BEST:: SOT 804812 SOS 523775 HAS SOPS 523775 HAS SOUS 300960 HAS SOUPS 300960 WITH SCORE 301483.775
AT ITER 549 NEW BEST:: SOT 804997 SOS 522923 HAS SOPS 522923 HAS SOUS 300108 HAS SOUPS 300108 WITH SCORE 300630.923
AT ITER 555 NEW BEST:: SOT 804830 SOS 522756 HAS SOPS 522756 HAS SOUS 299832 HAS SOUPS 299832 WITH SCORE 300354.756
AT ITER 557 NEW BEST:: SOT 804830 SOS 522456 HAS SOPS 522456 HAS SOUS 299532 HAS SOUPS 299532 WITH SCORE 300054.456
AT ITER 558 NEW BEST:: SOT 805279 SOS 522749 HAS SOPS 522749 HAS SOUS 299524 HAS SOUPS 299524 WITH SCORE 300046.749
AT ITER 562 NEW BEST:: SOT 805184 SOS 522654 HAS SOPS 522654 HAS SOUS 299429 HAS SOUPS 299429 WITH SCORE 299951.654
AT ITER 600 NEW BEST:: SOT 804373 SOS 521843 HAS SOPS 521843 HAS SOUS 298618 HAS SOUPS 298618 WITH SCORE 299139.843
AT ITER 602 NEW BEST:: SOT 804224 SOS 520550 HAS SOPS 520550 HAS SOUS 298322 HAS SOUPS 298322 WITH SCORE 298842.55
AT ITER 607 NEW BEST:: SOT 804224 SOS 520443 HAS SOPS 520443 HAS SOUS 298304 HAS SOUPS 298304 WITH SCORE 298824.443
AT ITER 616 NEW BEST:: SOT 804042 SOS 520170 HAS SOPS 520170 HAS SOUS 297986 HAS SOUPS 297986 WITH SCORE 298506.17
AT ITER 617 NEW BEST:: SOT 804042 SOS 519566 HAS SOPS 519566 HAS SOUS 297950 HAS SOUPS 297950 WITH SCORE 298469.566
AT ITER 621 NEW BEST:: SOT 803679 SOS 519040 HAS SOPS 519040 HAS SOUS 297901 HAS SOUPS 297901 WITH SCORE 298420.04
AT ITER 623 NEW BEST:: SOT 803147 SOS 517967 HAS SOPS 517967 HAS SOUS 296828 HAS SOUPS 296828 WITH SCORE 297345.967
AT ITER 624 NEW BEST:: SOT 802954 SOS 517830 HAS SOPS 517830 HAS SOUS 296691 HAS SOUPS 296691 WITH SCORE 297208.83
AT ITER 629 NEW BEST:: SOT 802700 SOS 513297 HAS SOPS 513297 HAS SOUS 296399 HAS SOUPS 296399 WITH SCORE 296912.297
AT ITER 644 NEW BEST:: SOT 802627 SOS 513224 HAS SOPS 513224 HAS SOUS 296325 HAS SOUPS 296325 WITH SCORE 296838.224
AT ITER 656 NEW BEST:: SOT 802273 SOS 513134 HAS SOPS 513134 HAS SOUS 295927 HAS SOUPS 295927 WITH SCORE 296440.134
AT ITER 661 NEW BEST:: SOT 802374 SOS 512799 HAS SOPS 512799 HAS SOUS 295359 HAS SOUPS 295359 WITH SCORE 295871.799
AT ITER 664 NEW BEST:: SOT 802304 SOS 513216 HAS SOPS 513216 HAS SOUS 295271 HAS SOUPS 295271 WITH SCORE 295784.216
AT ITER 667 NEW BEST:: SOT 801341 SOS 512253 HAS SOPS 512253 HAS SOUS 294308 HAS SOUPS 294308 WITH SCORE 294820.253
AT ITER 675 NEW BEST:: SOT 801304 SOS 512216 HAS SOPS 512216 HAS SOUS 294271 HAS SOUPS 294271 WITH SCORE 294783.216
AT ITER 686 NEW BEST:: SOT 801304 SOS 512090 HAS SOPS 512090 HAS SOUS 294269 HAS SOUPS 294269 WITH SCORE 294781.09
AT ITER 705 NEW BEST:: SOT 801303 SOS 511912 HAS SOPS 511912 HAS SOUS 294208 HAS SOUPS 294208 WITH SCORE 294719.912
AT ITER 707 NEW BEST:: SOT 801317 SOS 511926 HAS SOPS 511926 HAS SOUS 294038 HAS SOUPS 294038 WITH SCORE 294549.926
AT ITER 709 NEW BEST:: SOT 801316 SOS 511691 HAS SOPS 511691 HAS SOUS 294036 HAS SOUPS 294036 WITH SCORE 294547.691
AT ITER 713 NEW BEST:: SOT 801243 SOS 511320 HAS SOPS 511320 HAS SOUS 293811 HAS SOUPS 293811 WITH SCORE 294322.32
AT ITER 722 NEW BEST:: SOT 801043 SOS 510933 HAS SOPS 510933 HAS SOUS 293624 HAS SOUPS 293624 WITH SCORE 294134.933
AT ITER 732 NEW BEST:: SOT 801015 SOS 510905 HAS SOPS 510905 HAS SOUS 293537 HAS SOUPS 293537 WITH SCORE 294047.905
AT ITER 743 NEW BEST:: SOT 801002 SOS 510267 HAS SOPS 510267 HAS SOUS 293326 HAS SOUPS 293326 WITH SCORE 293836.267
AT ITER 747 NEW BEST:: SOT 800950 SOS 510215 HAS SOPS 510215 HAS SOUS 293274 HAS SOUPS 293274 WITH SCORE 293784.215
AT ITER 766 NEW BEST:: SOT 800355 SOS 509620 HAS SOPS 509620 HAS SOUS 292679 HAS SOUPS 292679 WITH SCORE 293188.62
AT ITER 773 NEW BEST:: SOT 800221 SOS 509165 HAS SOPS 509165 HAS SOUS 292254 HAS SOUPS 292254 WITH SCORE 292763.165
AT ITER 774 NEW BEST:: SOT 800221 SOS 507626 HAS SOPS 507626 HAS SOUS 292023 HAS SOUPS 292023 WITH SCORE 292530.626
AT ITER 778 NEW BEST:: SOT 800221 SOS 507089 HAS SOPS 507089 HAS SOUS 292021 HAS SOUPS 292021 WITH SCORE 292528.089
AT ITER 781 NEW BEST:: SOT 799671 SOS 506539 HAS SOPS 506539 HAS SOUS 291471 HAS SOUPS 291471 WITH SCORE 291977.539
AT ITER 784 NEW BEST:: SOT 799602 SOS 505931 HAS SOPS 505931 HAS SOUS 291401 HAS SOUPS 291401 WITH SCORE 291906.931
AT ITER 794 NEW BEST:: SOT 799602 SOS 505020 HAS SOPS 505020 HAS SOUS 291397 HAS SOUPS 291397 WITH SCORE 291902.02
AT ITER 796 NEW BEST:: SOT 799649 SOS 504644 HAS SOPS 504644 HAS SOUS 290999 HAS SOUPS 290999 WITH SCORE 291503.644
AT ITER 806 NEW BEST:: SOT 799246 SOS 504638 HAS SOPS 504638 HAS SOUS 290993 HAS SOUPS 290993 WITH SCORE 291497.638
AT ITER 809 NEW BEST:: SOT 799442 SOS 504733 HAS SOPS 504733 HAS SOUS 290992 HAS SOUPS 290992 WITH SCORE 291496.733
AT ITER 816 NEW BEST:: SOT 799405 SOS 504660 HAS SOPS 504660 HAS SOUS 290919 HAS SOUPS 290919 WITH SCORE 291423.66
AT ITER 817 NEW BEST:: SOT 799370 SOS 505222 HAS SOPS 505222 HAS SOUS 290702 HAS SOUPS 290702 WITH SCORE 291207.222
AT ITER 826 NEW BEST:: SOT 794344 SOS 499880 HAS SOPS 499880 HAS SOUS 285373 HAS SOUPS 285373 WITH SCORE 285872.88
AT ITER 831 NEW BEST:: SOT 794135 SOS 499215 HAS SOPS 499215 HAS SOUS 284667 HAS SOUPS 284667 WITH SCORE 285166.215
AT ITER 840 NEW BEST:: SOT 793988 SOS 498999 HAS SOPS 498999 HAS SOUS 284449 HAS SOUPS 284449 WITH SCORE 284947.999
AT ITER 845 NEW BEST:: SOT 793988 SOS 498283 HAS SOPS 498283 HAS SOUS 283827 HAS SOUPS 283827 WITH SCORE 284325.283
AT ITER 847 NEW BEST:: SOT 794389 SOS 497083 HAS SOPS 497083 HAS SOUS 283762 HAS SOUPS 283762 WITH SCORE 284259.083
AT ITER 848 NEW BEST:: SOT 794132 SOS 494279 HAS SOPS 494279 HAS SOUS 283729 HAS SOUPS 283729 WITH SCORE 284223.279
AT ITER 851 NEW BEST:: SOT 794399 SOS 494169 HAS SOPS 494169 HAS SOUS 283619 HAS SOUPS 283619 WITH SCORE 284113.169
AT ITER 854 NEW BEST:: SOT 793165 SOS 492929 HAS SOPS 492929 HAS SOUS 282379 HAS SOUPS 282379 WITH SCORE 282871.929
AT ITER 855 NEW BEST:: SOT 793230 SOS 492210 HAS SOPS 492210 HAS SOUS 281650 HAS SOUPS 281650 WITH SCORE 282142.21
AT ITER 859 NEW BEST:: SOT 793230 SOS 491045 HAS SOPS 491045 HAS SOUS 280763 HAS SOUPS 280763 WITH SCORE 281254.045
AT ITER 862 NEW BEST:: SOT 792686 SOS 489174 HAS SOPS 489174 HAS SOUS 280066 HAS SOUPS 280066 WITH SCORE 280555.174
AT ITER 865 NEW BEST:: SOT 792660 SOS 489132 HAS SOPS 489132 HAS SOUS 280024 HAS SOUPS 280024 WITH SCORE 280513.132
AT ITER 873 NEW BEST:: SOT 792592 SOS 488996 HAS SOPS 488996 HAS SOUS 279888 HAS SOUPS 279888 WITH SCORE 280376.996
AT ITER 883 NEW BEST:: SOT 792589 SOS 488987 HAS SOPS 488987 HAS SOUS 279879 HAS SOUPS 279879 WITH SCORE 280367.987
AT ITER 884 NEW BEST:: SOT 792400 SOS 488798 HAS SOPS 488798 HAS SOUS 279690 HAS SOUPS 279690 WITH SCORE 280178.798
AT ITER 886 NEW BEST:: SOT 791964 SOS 487781 HAS SOPS 487781 HAS SOUS 278799 HAS SOUPS 278799 WITH SCORE 279286.781
AT ITER 896 NEW BEST:: SOT 791753 SOS 487950 HAS SOPS 487950 HAS SOUS 278588 HAS SOUPS 278588 WITH SCORE 279075.95
AT ITER 898 NEW BEST:: SOT 791490 SOS 487687 HAS SOPS 487687 HAS SOUS 278588 HAS SOUPS 278588 WITH SCORE 279075.687
AT ITER 904 NEW BEST:: SOT 791395 SOS 487592 HAS SOPS 487592 HAS SOUS 278582 HAS SOUPS 278582 WITH SCORE 279069.592
AT ITER 910 NEW BEST:: SOT 789687 SOS 486122 HAS SOPS 486122 HAS SOUS 277029 HAS SOUPS 277029 WITH SCORE 277515.122
AT ITER 911 NEW BEST:: SOT 789687 SOS 487009 HAS SOPS 487009 HAS SOUS 277021 HAS SOUPS 277021 WITH SCORE 277508.009
AT ITER 930 NEW BEST:: SOT 789679 SOS 486065 HAS SOPS 486065 HAS SOUS 277013 HAS SOUPS 277013 WITH SCORE 277499.065
AT ITER 931 NEW BEST:: SOT 789410 SOS 485796 HAS SOPS 485796 HAS SOUS 276743 HAS SOUPS 276743 WITH SCORE 277228.796
AT ITER 933 NEW BEST:: SOT 789374 SOS 485782 HAS SOPS 485782 HAS SOUS 276729 HAS SOUPS 276729 WITH SCORE 277214.782
AT ITER 934 NEW BEST:: SOT 789635 SOS 486919 HAS SOPS 486919 HAS SOUS 276305 HAS SOUPS 276305 WITH SCORE 276791.919
AT ITER 949 NEW BEST:: SOT 789237 SOS 485409 HAS SOPS 485409 HAS SOUS 275509 HAS SOUPS 275509 WITH SCORE 275994.409
AT ITER 966 NEW BEST:: SOT 787203 SOS 483193 HAS SOPS 483193 HAS SOUS 273252 HAS SOUPS 273252 WITH SCORE 273735.193
AT ITER 976 NEW BEST:: SOT 785836 SOS 482542 HAS SOPS 482542 HAS SOUS 272507 HAS SOUPS 272507 WITH SCORE 272989.542
AT ITER 982 NEW BEST:: SOT 785771 SOS 482477 HAS SOPS 482477 HAS SOUS 272449 HAS SOUPS 272449 WITH SCORE 272931.477
AT ITER 983 NEW BEST:: SOT 785623 SOS 482329 HAS SOPS 482329 HAS SOUS 272430 HAS SOUPS 272430 WITH SCORE 272912.329
AT ITER 984 NEW BEST:: SOT 785570 SOS 482276 HAS SOPS 482276 HAS SOUS 272428 HAS SOUPS 272428 WITH SCORE 272910.276
AT ITER 989 NEW BEST:: SOT 785570 SOS 481379 HAS SOPS 481379 HAS SOUS 272427 HAS SOUPS 272427 WITH SCORE 272908.379
AT ITER 1000 NEW BEST:: SOT 785352 SOS 480932 HAS SOPS 480932 HAS SOUS 272131 HAS SOUPS 272131 WITH SCORE 272611.932
AT ITER 1004 NEW BEST:: SOT 785245 SOS 480874 HAS SOPS 480874 HAS SOUS 272130 HAS SOUPS 272130 WITH SCORE 272610.874
AT ITER 1011 NEW BEST:: SOT 785175 SOS 480804 HAS SOPS 480804 HAS SOUS 272094 HAS SOUPS 272094 WITH SCORE 272574.804
AT ITER 1012 NEW BEST:: SOT 784887 SOS 480516 HAS SOPS 480516 HAS SOUS 271806 HAS SOUPS 271806 WITH SCORE 272286.516
AT ITER 1022 NEW BEST:: SOT 784975 SOS 479983 HAS SOPS 479983 HAS SOUS 271795 HAS SOUPS 271795 WITH SCORE 272274.983
AT ITER 1030 NEW BEST:: SOT 784573 SOS 478815 HAS SOPS 478815 HAS SOUS 270405 HAS SOUPS 270405 WITH SCORE 270883.815
AT ITER 1038 NEW BEST:: SOT 783416 SOS 479362 HAS SOPS 479362 HAS SOUS 269684 HAS SOUPS 269684 WITH SCORE 270163.362
AT ITER 1041 NEW BEST:: SOT 783213 SOS 479143 HAS SOPS 479143 HAS SOUS 269278 HAS SOUPS 269278 WITH SCORE 269757.143
AT ITER 1047 NEW BEST:: SOT 783185 SOS 479115 HAS SOPS 479115 HAS SOUS 269250 HAS SOUPS 269250 WITH SCORE 269729.115
AT ITER 1058 NEW BEST:: SOT 783185 SOS 479099 HAS SOPS 479099 HAS SOUS 269250 HAS SOUPS 269250 WITH SCORE 269729.099
AT ITER 1083 NEW BEST:: SOT 782785 SOS 478608 HAS SOPS 478608 HAS SOUS 268759 HAS SOUPS 268759 WITH SCORE 269237.608
AT ITER 1105 NEW BEST:: SOT 782785 SOS 478512 HAS SOPS 478512 HAS SOUS 268758 HAS SOUPS 268758 WITH SCORE 269236.512
AT ITER 1110 NEW BEST:: SOT 782553 SOS 477441 HAS SOPS 477441 HAS SOUS 268358 HAS SOUPS 268358 WITH SCORE 268835.441
AT ITER 1128 NEW BEST:: SOT 782812 SOS 477431 HAS SOPS 477431 HAS SOUS 268124 HAS SOUPS 268124 WITH SCORE 268601.431
AT ITER 1129 NEW BEST:: SOT 782771 SOS 477370 HAS SOPS 477370 HAS SOUS 268090 HAS SOUPS 268090 WITH SCORE 268567.37
AT ITER 1135 NEW BEST:: SOT 781761 SOS 476360 HAS SOPS 476360 HAS SOUS 267135 HAS SOUPS 267135 WITH SCORE 267611.36
AT ITER 1149 NEW BEST:: SOT 781761 SOS 476360 HAS SOPS 476360 HAS SOUS 267123 HAS SOUPS 267123 WITH SCORE 267599.36
AT ITER 1155 NEW BEST:: SOT 781553 SOS 474067 HAS SOPS 474067 HAS SOUS 266445 HAS SOUPS 266445 WITH SCORE 266919.067
AT ITER 1162 NEW BEST:: SOT 781517 SOS 474031 HAS SOPS 474031 HAS SOUS 266404 HAS SOUPS 266404 WITH SCORE 266878.031
AT ITER 1167 NEW BEST:: SOT 781517 SOS 473867 HAS SOPS 473867 HAS SOUS 266191 HAS SOUPS 266191 WITH SCORE 266664.867
AT ITER 1176 NEW BEST:: SOT 781701 SOS 473229 HAS SOPS 473229 HAS SOUS 266168 HAS SOUPS 266168 WITH SCORE 266641.229
AT ITER 1177 NEW BEST:: SOT 781701 SOS 473221 HAS SOPS 473221 HAS SOUS 266167 HAS SOUPS 266167 WITH SCORE 266640.221
AT ITER 1193 NEW BEST:: SOT 781389 SOS 472920 HAS SOPS 472920 HAS SOUS 266145 HAS SOUPS 266145 WITH SCORE 266617.92
AT ITER 1199 NEW BEST:: SOT 781221 SOS 472752 HAS SOPS 472752 HAS SOUS 266118 HAS SOUPS 266118 WITH SCORE 266590.752
AT ITER 1214 NEW BEST:: SOT 781221 SOS 472752 HAS SOPS 472752 HAS SOUS 266037 HAS SOUPS 266037 WITH SCORE 266509.752
AT ITER 1222 NEW BEST:: SOT 781054 SOS 472365 HAS SOPS 472365 HAS SOUS 265982 HAS SOUPS 265982 WITH SCORE 266454.365
AT ITER 1224 NEW BEST:: SOT 781276 SOS 472383 HAS SOPS 472383 HAS SOUS 265816 HAS SOUPS 265816 WITH SCORE 266288.383
AT ITER 1227 NEW BEST:: SOT 781276 SOS 472320 HAS SOPS 472320 HAS SOUS 265816 HAS SOUPS 265816 WITH SCORE 266288.32
AT ITER 1233 NEW BEST:: SOT 783012 SOS 473650 HAS SOPS 473650 HAS SOUS 265406 HAS SOUPS 265406 WITH SCORE 265879.65
AT ITER 1239 NEW BEST:: SOT 776777 SOS 469496 HAS SOPS 469496 HAS SOUS 259396 HAS SOUPS 259396 WITH SCORE 259865.496
AT ITER 1249 NEW BEST:: SOT 777421 SOS 470075 HAS SOPS 470075 HAS SOUS 259333 HAS SOUPS 259333 WITH SCORE 259803.075
AT ITER 1254 NEW BEST:: SOT 777278 SOS 469932 HAS SOPS 469932 HAS SOUS 259245 HAS SOUPS 259245 WITH SCORE 259714.932
AT ITER 1262 NEW BEST:: SOT 777596 SOS 469757 HAS SOPS 469757 HAS SOUS 258823 HAS SOUPS 258823 WITH SCORE 259292.757
AT ITER 1271 NEW BEST:: SOT 777596 SOS 469893 HAS SOPS 469893 HAS SOUS 258743 HAS SOUPS 258743 WITH SCORE 259212.893
AT ITER 1277 NEW BEST:: SOT 777583 SOS 469880 HAS SOPS 469880 HAS SOUS 258743 HAS SOUPS 258743 WITH SCORE 259212.88
AT ITER 1279 NEW BEST:: SOT 777001 SOS 468951 HAS SOPS 468951 HAS SOUS 258228 HAS SOUPS 258228 WITH SCORE 258696.951
AT ITER 1281 NEW BEST:: SOT 776992 SOS 468909 HAS SOPS 468909 HAS SOUS 258210 HAS SOUPS 258210 WITH SCORE 258678.909
AT ITER 1283 NEW BEST:: SOT 776950 SOS 468867 HAS SOPS 468867 HAS SOUS 258168 HAS SOUPS 258168 WITH SCORE 258636.867
AT ITER 1287 NEW BEST:: SOT 776813 SOS 468730 HAS SOPS 468730 HAS SOUS 258168 HAS SOUPS 258168 WITH SCORE 258636.73
AT ITER 1289 NEW BEST:: SOT 776490 SOS 467642 HAS SOPS 467642 HAS SOUS 257522 HAS SOUPS 257522 WITH SCORE 257989.642
AT ITER 1309 NEW BEST:: SOT 776209 SOS 465217 HAS SOPS 465217 HAS SOUS 256705 HAS SOUPS 256705 WITH SCORE 257170.217
AT ITER 1317 NEW BEST:: SOT 776200 SOS 465122 HAS SOPS 465122 HAS SOUS 256601 HAS SOUPS 256601 WITH SCORE 257066.122
AT ITER 1322 NEW BEST:: SOT 776200 SOS 465118 HAS SOPS 465118 HAS SOUS 256597 HAS SOUPS 256597 WITH SCORE 257062.118
AT ITER 1324 NEW BEST:: SOT 776197 SOS 464796 HAS SOPS 464796 HAS SOUS 256589 HAS SOUPS 256589 WITH SCORE 257053.796
AT ITER 1325 NEW BEST:: SOT 774772 SOS 463163 HAS SOPS 463163 HAS SOUS 255043 HAS SOUPS 255043 WITH SCORE 255506.163
AT ITER 1336 NEW BEST:: SOT 774772 SOS 463013 HAS SOPS 463013 HAS SOUS 254789 HAS SOUPS 254789 WITH SCORE 255252.013
AT ITER 1363 NEW BEST:: SOT 774744 SOS 462734 HAS SOPS 462734 HAS SOUS 254658 HAS SOUPS 254658 WITH SCORE 255120.734
AT ITER 1376 NEW BEST:: SOT 774662 SOS 462455 HAS SOPS 462455 HAS SOUS 254543 HAS SOUPS 254543 WITH SCORE 255005.455
AT ITER 1383 NEW BEST:: SOT 774657 SOS 462163 HAS SOPS 462163 HAS SOUS 254471 HAS SOUPS 254471 WITH SCORE 254933.163
AT ITER 1387 NEW BEST:: SOT 774573 SOS 462052 HAS SOPS 462052 HAS SOUS 254399 HAS SOUPS 254399 WITH SCORE 254861.052
AT ITER 1393 NEW BEST:: SOT 774220 SOS 461757 HAS SOPS 461757 HAS SOUS 253571 HAS SOUPS 253571 WITH SCORE 254032.757
AT ITER 1410 NEW BEST:: SOT 773987 SOS 461028 HAS SOPS 461028 HAS SOUS 252842 HAS SOUPS 252842 WITH SCORE 253303.028
AT ITER 1422 NEW BEST:: SOT 773835 SOS 460876 HAS SOPS 460876 HAS SOUS 252386 HAS SOUPS 252386 WITH SCORE 252846.876
AT ITER 1433 NEW BEST:: SOT 774033 SOS 460904 HAS SOPS 460904 HAS SOUS 251678 HAS SOUPS 251678 WITH SCORE 252138.904
AT ITER 1446 NEW BEST:: SOT 774033 SOS 461042 HAS SOPS 461042 HAS SOUS 251627 HAS SOUPS 251627 WITH SCORE 252088.042
AT ITER 1449 NEW BEST:: SOT 773943 SOS 460503 HAS SOPS 460503 HAS SOUS 251417 HAS SOUPS 251417 WITH SCORE 251877.503
AT ITER 1457 NEW BEST:: SOT 773943 SOS 460329 HAS SOPS 460329 HAS SOUS 251388 HAS SOUPS 251388 WITH SCORE 251848.329
AT ITER 1470 NEW BEST:: SOT 772817 SOS 460919 HAS SOPS 460919 HAS SOUS 250508 HAS SOUPS 250508 WITH SCORE 250968.919
AT ITER 1475 NEW BEST:: SOT 772795 SOS 460853 HAS SOPS 460853 HAS SOUS 250464 HAS SOUPS 250464 WITH SCORE 250924.853
AT ITER 1479 NEW BEST:: SOT 771699 SOS 459757 HAS SOPS 459757 HAS SOUS 249368 HAS SOUPS 249368 WITH SCORE 249827.757
AT ITER 1485 NEW BEST:: SOT 771687 SOS 459454 HAS SOPS 459454 HAS SOUS 249015 HAS SOUPS 249015 WITH SCORE 249474.454
AT ITER 1486 NEW BEST:: SOT 771525 SOS 459130 HAS SOPS 459130 HAS SOUS 248600 HAS SOUPS 248600 WITH SCORE 249059.13
AT ITER 1489 NEW BEST:: SOT 771525 SOS 459186 HAS SOPS 459186 HAS SOUS 248544 HAS SOUPS 248544 WITH SCORE 249003.186
AT ITER 1500 NEW BEST:: SOT 771453 SOS 459114 HAS SOPS 459114 HAS SOUS 248413 HAS SOUPS 248413 WITH SCORE 248872.114
AT ITER 1504 NEW BEST:: SOT 771292 SOS 458935 HAS SOPS 458935 HAS SOUS 248091 HAS SOUPS 248091 WITH SCORE 248549.935
AT ITER 1531 NEW BEST:: SOT 770490 SOS 458845 HAS SOPS 458845 HAS SOUS 247378 HAS SOUPS 247378 WITH SCORE 247836.845
AT ITER 1536 NEW BEST:: SOT 770459 SOS 458814 HAS SOPS 458814 HAS SOUS 247340 HAS SOUPS 247340 WITH SCORE 247798.814
AT ITER 1543 NEW BEST:: SOT 770330 SOS 458673 HAS SOPS 458673 HAS SOUS 247199 HAS SOUPS 247199 WITH SCORE 247657.673
AT ITER 1548 NEW BEST:: SOT 769793 SOS 458136 HAS SOPS 458136 HAS SOUS 246662 HAS SOUPS 246662 WITH SCORE 247120.136
AT ITER 1553 NEW BEST:: SOT 769747 SOS 458090 HAS SOPS 458090 HAS SOUS 246616 HAS SOUPS 246616 WITH SCORE 247074.09
AT ITER 1566 NEW BEST:: SOT 769776 SOS 458188 HAS SOPS 458188 HAS SOUS 246605 HAS SOUPS 246605 WITH SCORE 247063.188
AT ITER 1581 NEW BEST:: SOT 769776 SOS 458188 HAS SOPS 458188 HAS SOUS 246540 HAS SOUPS 246540 WITH SCORE 246998.188
AT ITER 1586 NEW BEST:: SOT 769654 SOS 457985 HAS SOPS 457985 HAS SOUS 246309 HAS SOUPS 246309 WITH SCORE 246766.985
AT ITER 1589 NEW BEST:: SOT 769654 SOS 457860 HAS SOPS 457860 HAS SOUS 246309 HAS SOUPS 246309 WITH SCORE 246766.86
AT ITER 1596 NEW BEST:: SOT 769648 SOS 457856 HAS SOPS 457856 HAS SOUS 246305 HAS SOUPS 246305 WITH SCORE 246762.856
AT ITER 1599 NEW BEST:: SOT 769550 SOS 457772 HAS SOPS 457772 HAS SOUS 246193 HAS SOUPS 246193 WITH SCORE 246650.772
AT ITER 1605 NEW BEST:: SOT 769474 SOS 457696 HAS SOPS 457696 HAS SOUS 246181 HAS SOUPS 246181 WITH SCORE 246638.696
AT ITER 1613 NEW BEST:: SOT 769427 SOS 457649 HAS SOPS 457649 HAS SOUS 246087 HAS SOUPS 246087 WITH SCORE 246544.649
AT ITER 1627 NEW BEST:: SOT 769389 SOS 457277 HAS SOPS 457277 HAS SOUS 246011 HAS SOUPS 246011 WITH SCORE 246468.277
AT ITER 1631 NEW BEST:: SOT 768801 SOS 456689 HAS SOPS 456689 HAS SOUS 245423 HAS SOUPS 245423 WITH SCORE 245879.689
AT ITER 1642 NEW BEST:: SOT 768801 SOS 456743 HAS SOPS 456743 HAS SOUS 245388 HAS SOUPS 245388 WITH SCORE 245844.743
AT ITER 1644 NEW BEST:: SOT 768828 SOS 456181 HAS SOPS 456181 HAS SOUS 245314 HAS SOUPS 245314 WITH SCORE 245770.181
AT ITER 1651 NEW BEST:: SOT 768828 SOS 456181 HAS SOPS 456181 HAS SOUS 245280 HAS SOUPS 245280 WITH SCORE 245736.181
AT ITER 1662 NEW BEST:: SOT 768828 SOS 456075 HAS SOPS 456075 HAS SOUS 245174 HAS SOUPS 245174 WITH SCORE 245630.075
AT ITER 1672 NEW BEST:: SOT 768825 SOS 456043 HAS SOPS 456043 HAS SOUS 245171 HAS SOUPS 245171 WITH SCORE 245627.043
AT ITER 1683 NEW BEST:: SOT 768493 SOS 455709 HAS SOPS 455709 HAS SOUS 244838 HAS SOUPS 244838 WITH SCORE 245293.709
AT ITER 1689 NEW BEST:: SOT 767993 SOS 455293 HAS SOPS 455293 HAS SOUS 244419 HAS SOUPS 244419 WITH SCORE 244874.293
AT ITER 1711 NEW BEST:: SOT 767985 SOS 455285 HAS SOPS 455285 HAS SOUS 244410 HAS SOUPS 244410 WITH SCORE 244865.285
AT ITER 1727 NEW BEST:: SOT 767886 SOS 454976 HAS SOPS 454976 HAS SOUS 244212 HAS SOUPS 244212 WITH SCORE 244666.976
AT ITER 1734 NEW BEST:: SOT 767917 SOS 454971 HAS SOPS 454971 HAS SOUS 244139 HAS SOUPS 244139 WITH SCORE 244593.971
AT ITER 1750 NEW BEST:: SOT 767874 SOS 454928 HAS SOPS 454928 HAS SOUS 244096 HAS SOUPS 244096 WITH SCORE 244550.928
AT ITER 1767 NEW BEST:: SOT 767850 SOS 454904 HAS SOPS 454904 HAS SOUS 244072 HAS SOUPS 244072 WITH SCORE 244526.904
AT ITER 1772 NEW BEST:: SOT 767707 SOS 454475 HAS SOPS 454475 HAS SOUS 243786 HAS SOUPS 243786 WITH SCORE 244240.475
AT ITER 1776 NEW BEST:: SOT 767707 SOS 454351 HAS SOPS 454351 HAS SOUS 243786 HAS SOUPS 243786 WITH SCORE 244240.351
AT ITER 1788 NEW BEST:: SOT 767695 SOS 451212 HAS SOPS 451212 HAS SOUS 243601 HAS SOUPS 243601 WITH SCORE 244052.212
AT ITER 1793 NEW BEST:: SOT 767695 SOS 450215 HAS SOPS 450215 HAS SOUS 243285 HAS SOUPS 243285 WITH SCORE 243735.215
AT ITER 1815 NEW BEST:: SOT 767143 SOS 449663 HAS SOPS 449663 HAS SOUS 242733 HAS SOUPS 242733 WITH SCORE 243182.663
AT ITER 1823 NEW BEST:: SOT 766894 SOS 449414 HAS SOPS 449414 HAS SOUS 242484 HAS SOUPS 242484 WITH SCORE 242933.414
AT ITER 1825 NEW BEST:: SOT 766900 SOS 449405 HAS SOPS 449405 HAS SOUS 242484 HAS SOUPS 242484 WITH SCORE 242933.405
AT ITER 1830 NEW BEST:: SOT 766904 SOS 449271 HAS SOPS 449271 HAS SOUS 242350 HAS SOUPS 242350 WITH SCORE 242799.271
AT ITER 1833 NEW BEST:: SOT 766746 SOS 449113 HAS SOPS 449113 HAS SOUS 242034 HAS SOUPS 242034 WITH SCORE 242483.113
AT ITER 1842 NEW BEST:: SOT 766694 SOS 449061 HAS SOPS 449061 HAS SOUS 241982 HAS SOUPS 241982 WITH SCORE 242431.061
AT ITER 1843 NEW BEST:: SOT 766638 SOS 449005 HAS SOPS 449005 HAS SOUS 241926 HAS SOUPS 241926 WITH SCORE 242375.005
AT ITER 1856 NEW BEST:: SOT 765070 SOS 447241 HAS SOPS 447241 HAS SOUS 240162 HAS SOUPS 240162 WITH SCORE 240609.241
AT ITER 1865 NEW BEST:: SOT 765176 SOS 447128 HAS SOPS 447128 HAS SOUS 240025 HAS SOUPS 240025 WITH SCORE 240472.128
AT ITER 1867 NEW BEST:: SOT 765173 SOS 447125 HAS SOPS 447125 HAS SOUS 240025 HAS SOUPS 240025 WITH SCORE 240472.125
AT ITER 1869 NEW BEST:: SOT 765207 SOS 447303 HAS SOPS 447303 HAS SOUS 240019 HAS SOUPS 240019 WITH SCORE 240466.303
AT ITER 1873 NEW BEST:: SOT 764979 SOS 445946 HAS SOPS 445946 HAS SOUS 239563 HAS SOUPS 239563 WITH SCORE 240008.946
AT ITER 1879 NEW BEST:: SOT 764959 SOS 445919 HAS SOPS 445919 HAS SOUS 239536 HAS SOUPS 239536 WITH SCORE 239981.919
AT ITER 1880 NEW BEST:: SOT 764959 SOS 445676 HAS SOPS 445676 HAS SOUS 239293 HAS SOUPS 239293 WITH SCORE 239738.676
AT ITER 1899 NEW BEST:: SOT 764935 SOS 445640 HAS SOPS 445640 HAS SOUS 239257 HAS SOUPS 239257 WITH SCORE 239702.64
AT ITER 1913 NEW BEST:: SOT 763384 SOS 443669 HAS SOPS 443669 HAS SOUS 237670 HAS SOUPS 237670 WITH SCORE 238113.669
AT ITER 1915 NEW BEST:: SOT 763381 SOS 443596 HAS SOPS 443596 HAS SOUS 237629 HAS SOUPS 237629 WITH SCORE 238072.596
AT ITER 1919 NEW BEST:: SOT 763375 SOS 443587 HAS SOPS 443587 HAS SOUS 237620 HAS SOUPS 237620 WITH SCORE 238063.587
AT ITER 1934 NEW BEST:: SOT 763364 SOS 443576 HAS SOPS 443576 HAS SOUS 237609 HAS SOUPS 237609 WITH SCORE 238052.576
AT ITER 1940 NEW BEST:: SOT 763345 SOS 443500 HAS SOPS 443500 HAS SOUS 237586 HAS SOUPS 237586 WITH SCORE 238029.5
AT ITER 1948 NEW BEST:: SOT 763155 SOS 443309 HAS SOPS 443309 HAS SOUS 237395 HAS SOUPS 237395 WITH SCORE 237838.309
AT ITER 1953 NEW BEST:: SOT 763154 SOS 443280 HAS SOPS 443280 HAS SOUS 237366 HAS SOUPS 237366 WITH SCORE 237809.28
AT ITER 1954 NEW BEST:: SOT 763128 SOS 443183 HAS SOPS 443183 HAS SOUS 237269 HAS SOUPS 237269 WITH SCORE 237712.183
AT ITER 1956 NEW BEST:: SOT 763144 SOS 443199 HAS SOPS 443199 HAS SOUS 237256 HAS SOUPS 237256 WITH SCORE 237699.199
AT ITER 1961 NEW BEST:: SOT 762714 SOS 442631 HAS SOPS 442631 HAS SOUS 236688 HAS SOUPS 236688 WITH SCORE 237130.631
AT ITER 1967 NEW BEST:: SOT 762570 SOS 442199 HAS SOPS 442199 HAS SOUS 236543 HAS SOUPS 236543 WITH SCORE 236985.199
AT ITER 1971 NEW BEST:: SOT 762095 SOS 441684 HAS SOPS 441684 HAS SOUS 236028 HAS SOUPS 236028 WITH SCORE 236469.684
AT ITER 1973 NEW BEST:: SOT 762228 SOS 441817 HAS SOPS 441817 HAS SOUS 236015 HAS SOUPS 236015 WITH SCORE 236456.817
AT ITER 1979 NEW BEST:: SOT 762015 SOS 441622 HAS SOPS 441622 HAS SOUS 235914 HAS SOUPS 235914 WITH SCORE 236355.622
AT ITER 1983 NEW BEST:: SOT 761870 SOS 441346 HAS SOPS 441346 HAS SOUS 235803 HAS SOUPS 235803 WITH SCORE 236244.346
AT ITER 2003 NEW BEST:: SOT 762611 SOS 441954 HAS SOPS 441954 HAS SOUS 235670 HAS SOUPS 235670 WITH SCORE 236111.954
AT ITER 2014 NEW BEST:: SOT 762130 SOS 441473 HAS SOPS 441473 HAS SOUS 235189 HAS SOUPS 235189 WITH SCORE 235630.473
AT ITER 2048 NEW BEST:: SOT 762068 SOS 441422 HAS SOPS 441422 HAS SOUS 235138 HAS SOUPS 235138 WITH SCORE 235579.422
AT ITER 2059 NEW BEST:: SOT 762068 SOS 441268 HAS SOPS 441268 HAS SOUS 235035 HAS SOUPS 235035 WITH SCORE 235476.268
AT ITER 2062 NEW BEST:: SOT 762037 SOS 441207 HAS SOPS 441207 HAS SOUS 234974 HAS SOUPS 234974 WITH SCORE 235415.207
AT ITER 2067 NEW BEST:: SOT 762035 SOS 441205 HAS SOPS 441205 HAS SOUS 234972 HAS SOUPS 234972 WITH SCORE 235413.205
AT ITER 2075 NEW BEST:: SOT 761926 SOS 440952 HAS SOPS 440952 HAS SOUS 234856 HAS SOUPS 234856 WITH SCORE 235296.952
AT ITER 2085 NEW BEST:: SOT 762063 SOS 440950 HAS SOPS 440950 HAS SOUS 234854 HAS SOUPS 234854 WITH SCORE 235294.95
AT ITER 2098 NEW BEST:: SOT 762028 SOS 440915 HAS SOPS 440915 HAS SOUS 234819 HAS SOUPS 234819 WITH SCORE 235259.915
AT ITER 2101 NEW BEST:: SOT 762003 SOS 440866 HAS SOPS 440866 HAS SOUS 234770 HAS SOUPS 234770 WITH SCORE 235210.866
AT ITER 2107 NEW BEST:: SOT 761331 SOS 439537 HAS SOPS 439537 HAS SOUS 234645 HAS SOUPS 234645 WITH SCORE 235084.537
AT ITER 2110 NEW BEST:: SOT 761056 SOS 439044 HAS SOPS 439044 HAS SOUS 234199 HAS SOUPS 234199 WITH SCORE 234638.044
AT ITER 2146 NEW BEST:: SOT 760672 SOS 438660 HAS SOPS 438660 HAS SOUS 233815 HAS SOUPS 233815 WITH SCORE 234253.66
AT ITER 2157 NEW BEST:: SOT 759416 SOS 444600 HAS SOPS 444600 HAS SOUS 233314 HAS SOUPS 233314 WITH SCORE 233758.6
AT ITER 2163 NEW BEST:: SOT 759416 SOS 443818 HAS SOPS 443818 HAS SOUS 233213 HAS SOUPS 233213 WITH SCORE 233656.818
AT ITER 2170 NEW BEST:: SOT 759665 SOS 444067 HAS SOPS 444067 HAS SOUS 233015 HAS SOUPS 233015 WITH SCORE 233459.067
AT ITER 2171 NEW BEST:: SOT 759665 SOS 444056 HAS SOPS 444056 HAS SOUS 233005 HAS SOUPS 233005 WITH SCORE 233449.056
AT ITER 2178 NEW BEST:: SOT 759822 SOS 444068 HAS SOPS 444068 HAS SOUS 232551 HAS SOUPS 232551 WITH SCORE 232995.068
AT ITER 2203 NEW BEST:: SOT 758987 SOS 443840 HAS SOPS 443840 HAS SOUS 231928 HAS SOUPS 231928 WITH SCORE 232371.84
AT ITER 2212 NEW BEST:: SOT 758935 SOS 443762 HAS SOPS 443762 HAS SOUS 231850 HAS SOUPS 231850 WITH SCORE 232293.762
AT ITER 2221 NEW BEST:: SOT 758935 SOS 443762 HAS SOPS 443762 HAS SOUS 231837 HAS SOUPS 231837 WITH SCORE 232280.762
AT ITER 2229 NEW BEST:: SOT 758914 SOS 443741 HAS SOPS 443741 HAS SOUS 231816 HAS SOUPS 231816 WITH SCORE 232259.741
AT ITER 2251 NEW BEST:: SOT 758816 SOS 443706 HAS SOPS 443706 HAS SOUS 231781 HAS SOUPS 231781 WITH SCORE 232224.706
AT ITER 2253 NEW BEST:: SOT 758762 SOS 443639 HAS SOPS 443639 HAS SOUS 231768 HAS SOUPS 231768 WITH SCORE 232211.639
AT ITER 2262 NEW BEST:: SOT 758733 SOS 443610 HAS SOPS 443610 HAS SOUS 231739 HAS SOUPS 231739 WITH SCORE 232182.61
AT ITER 2267 NEW BEST:: SOT 758503 SOS 443372 HAS SOPS 443372 HAS SOUS 231501 HAS SOUPS 231501 WITH SCORE 231944.372
AT ITER 2278 NEW BEST:: SOT 758503 SOS 443358 HAS SOPS 443358 HAS SOUS 231487 HAS SOUPS 231487 WITH SCORE 231930.358
AT ITER 2292 NEW BEST:: SOT 758503 SOS 443164 HAS SOPS 443164 HAS SOUS 231293 HAS SOUPS 231293 WITH SCORE 231736.164
AT ITER 2299 NEW BEST:: SOT 758275 SOS 442936 HAS SOPS 442936 HAS SOUS 231065 HAS SOUPS 231065 WITH SCORE 231507.936
AT ITER 2304 NEW BEST:: SOT 758274 SOS 442935 HAS SOPS 442935 HAS SOUS 231063 HAS SOUPS 231063 WITH SCORE 231505.935
AT ITER 2315 NEW BEST:: SOT 758242 SOS 442871 HAS SOPS 442871 HAS SOUS 230999 HAS SOUPS 230999 WITH SCORE 231441.871
AT ITER 2318 NEW BEST:: SOT 758191 SOS 442820 HAS SOPS 442820 HAS SOUS 230994 HAS SOUPS 230994 WITH SCORE 231436.82
AT ITER 2332 NEW BEST:: SOT 758003 SOS 442279 HAS SOPS 442279 HAS SOUS 230375 HAS SOUPS 230375 WITH SCORE 230817.279
AT ITER 2333 NEW BEST:: SOT 757842 SOS 441957 HAS SOPS 441957 HAS SOUS 230053 HAS SOUPS 230053 WITH SCORE 230494.957
AT ITER 2352 NEW BEST:: SOT 757820 SOS 441765 HAS SOPS 441765 HAS SOUS 229861 HAS SOUPS 229861 WITH SCORE 230302.765
AT ITER 2362 NEW BEST:: SOT 757820 SOS 441763 HAS SOPS 441763 HAS SOUS 229859 HAS SOUPS 229859 WITH SCORE 230300.763
AT ITER 2370 NEW BEST:: SOT 757827 SOS 441759 HAS SOPS 441759 HAS SOUS 229855 HAS SOUPS 229855 WITH SCORE 230296.759
AT ITER 2376 NEW BEST:: SOT 757851 SOS 441783 HAS SOPS 441783 HAS SOUS 229814 HAS SOUPS 229814 WITH SCORE 230255.783
AT ITER 2396 NEW BEST:: SOT 757787 SOS 440652 HAS SOPS 440652 HAS SOUS 229671 HAS SOUPS 229671 WITH SCORE 230111.652
AT ITER 2402 NEW BEST:: SOT 757586 SOS 440451 HAS SOPS 440451 HAS SOUS 229669 HAS SOUPS 229669 WITH SCORE 230109.451
AT ITER 2403 NEW BEST:: SOT 757528 SOS 440500 HAS SOPS 440500 HAS SOUS 229526 HAS SOUPS 229526 WITH SCORE 229966.5
AT ITER 2420 NEW BEST:: SOT 757580 SOS 440356 HAS SOPS 440356 HAS SOUS 229382 HAS SOUPS 229382 WITH SCORE 229822.356
AT ITER 2442 NEW BEST:: SOT 757576 SOS 440312 HAS SOPS 440312 HAS SOUS 229382 HAS SOUPS 229382 WITH SCORE 229822.312
AT ITER 2445 NEW BEST:: SOT 757576 SOS 439817 HAS SOPS 439817 HAS SOUS 229371 HAS SOUPS 229371 WITH SCORE 229810.817
AT ITER 2447 NEW BEST:: SOT 757032 SOS 439273 HAS SOPS 439273 HAS SOUS 228825 HAS SOUPS 228825 WITH SCORE 229264.273
AT ITER 2466 NEW BEST:: SOT 757007 SOS 438829 HAS SOPS 438829 HAS SOUS 228775 HAS SOUPS 228775 WITH SCORE 229213.829
AT ITER 2468 NEW BEST:: SOT 757007 SOS 438895 HAS SOPS 438895 HAS SOUS 228600 HAS SOUPS 228600 WITH SCORE 229038.895
AT ITER 2483 NEW BEST:: SOT 756817 SOS 438800 HAS SOPS 438800 HAS SOUS 228505 HAS SOUPS 228505 WITH SCORE 228943.8
AT ITER 2484 NEW BEST:: SOT 756173 SOS 438839 HAS SOPS 438839 HAS SOUS 228465 HAS SOUPS 228465 WITH SCORE 228903.839
AT ITER 2485 NEW BEST:: SOT 756132 SOS 438837 HAS SOPS 438837 HAS SOUS 228416 HAS SOUPS 228416 WITH SCORE 228854.837
AT ITER 2489 NEW BEST:: SOT 756132 SOS 438771 HAS SOPS 438771 HAS SOUS 228372 HAS SOUPS 228372 WITH SCORE 228810.771
AT ITER 2522 NEW BEST:: SOT 756113 SOS 438749 HAS SOPS 438749 HAS SOUS 228350 HAS SOUPS 228350 WITH SCORE 228788.749
AT ITER 2524 NEW BEST:: SOT 755778 SOS 438414 HAS SOPS 438414 HAS SOUS 228344 HAS SOUPS 228344 WITH SCORE 228782.414
AT ITER 2525 NEW BEST:: SOT 755754 SOS 438340 HAS SOPS 438340 HAS SOUS 228279 HAS SOUPS 228279 WITH SCORE 228717.34
AT ITER 2538 NEW BEST:: SOT 755754 SOS 438340 HAS SOPS 438340 HAS SOUS 228243 HAS SOUPS 228243 WITH SCORE 228681.34
AT ITER 2548 NEW BEST:: SOT 755662 SOS 438156 HAS SOPS 438156 HAS SOUS 228097 HAS SOUPS 228097 WITH SCORE 228535.156
AT ITER 2553 NEW BEST:: SOT 755245 SOS 437655 HAS SOPS 437655 HAS SOUS 227596 HAS SOUPS 227596 WITH SCORE 228033.655
AT ITER 2554 NEW BEST:: SOT 754800 SOS 436934 HAS SOPS 436934 HAS SOUS 226717 HAS SOUPS 226717 WITH SCORE 227153.934
AT ITER 2556 NEW BEST:: SOT 754626 SOS 436760 HAS SOPS 436760 HAS SOUS 226543 HAS SOUPS 226543 WITH SCORE 226979.76
AT ITER 2564 NEW BEST:: SOT 754626 SOS 436760 HAS SOPS 436760 HAS SOUS 226536 HAS SOUPS 226536 WITH SCORE 226972.76
AT ITER 2579 NEW BEST:: SOT 754626 SOS 436760 HAS SOPS 436760 HAS SOUS 226534 HAS SOUPS 226534 WITH SCORE 226970.76
AT ITER 2583 NEW BEST:: SOT 754626 SOS 436578 HAS SOPS 436578 HAS SOUS 226273 HAS SOUPS 226273 WITH SCORE 226709.578
AT ITER 2620 NEW BEST:: SOT 753884 SOS 436064 HAS SOPS 436064 HAS SOUS 226241 HAS SOUPS 226241 WITH SCORE 226677.064
AT ITER 2635 NEW BEST:: SOT 752671 SOS 436343 HAS SOPS 436343 HAS SOUS 225131 HAS SOUPS 225131 WITH SCORE 225567.343
AT ITER 2649 NEW BEST:: SOT 752671 SOS 436343 HAS SOPS 436343 HAS SOUS 225118 HAS SOUPS 225118 WITH SCORE 225554.343
AT ITER 2651 NEW BEST:: SOT 752501 SOS 435661 HAS SOPS 435661 HAS SOUS 224782 HAS SOUPS 224782 WITH SCORE 225217.661
AT ITER 2657 NEW BEST:: SOT 752322 SOS 435280 HAS SOPS 435280 HAS SOUS 224578 HAS SOUPS 224578 WITH SCORE 225013.28
AT ITER 2659 NEW BEST:: SOT 752322 SOS 435054 HAS SOPS 435054 HAS SOUS 224528 HAS SOUPS 224528 WITH SCORE 224963.054
AT ITER 2675 NEW BEST:: SOT 752348 SOS 434983 HAS SOPS 434983 HAS SOUS 224457 HAS SOUPS 224457 WITH SCORE 224891.983
AT ITER 2683 NEW BEST:: SOT 735874 SOS 420911 HAS SOPS 420911 HAS SOUS 207901 HAS SOUPS 207901 WITH SCORE 208321.911
AT ITER 2696 NEW BEST:: SOT 735843 SOS 420805 HAS SOPS 420805 HAS SOUS 207795 HAS SOUPS 207795 WITH SCORE 208215.805
AT ITER 2719 NEW BEST:: SOT 732292 SOS 417254 HAS SOPS 417254 HAS SOUS 204299 HAS SOUPS 204299 WITH SCORE 204716.254
AT ITER 2727 NEW BEST:: SOT 732167 SOS 417027 HAS SOPS 417027 HAS SOUS 204155 HAS SOUPS 204155 WITH SCORE 204572.027
AT ITER 2734 NEW BEST:: SOT 732242 SOS 417132 HAS SOPS 417132 HAS SOUS 204118 HAS SOUPS 204118 WITH SCORE 204535.132
AT ITER 2749 NEW BEST:: SOT 732242 SOS 417562 HAS SOPS 417562 HAS SOUS 204093 HAS SOUPS 204093 WITH SCORE 204510.562
AT ITER 2754 NEW BEST:: SOT 732233 SOS 417555 HAS SOPS 417555 HAS SOUS 204086 HAS SOUPS 204086 WITH SCORE 204503.555
AT ITER 2771 NEW BEST:: SOT 732227 SOS 417531 HAS SOPS 417531 HAS SOUS 204080 HAS SOUPS 204080 WITH SCORE 204497.531
AT ITER 2783 NEW BEST:: SOT 732045 SOS 417349 HAS SOPS 417349 HAS SOUS 203601 HAS SOUPS 203601 WITH SCORE 204018.349
AT ITER 2791 NEW BEST:: SOT 731159 SOS 416556 HAS SOPS 416556 HAS SOUS 202759 HAS SOUPS 202759 WITH SCORE 203175.556
AT ITER 2796 NEW BEST:: SOT 731159 SOS 416556 HAS SOPS 416556 HAS SOUS 202755 HAS SOUPS 202755 WITH SCORE 203171.556
AT ITER 2803 NEW BEST:: SOT 731099 SOS 416496 HAS SOPS 416496 HAS SOUS 202688 HAS SOUPS 202688 WITH SCORE 203104.496
AT ITER 2805 NEW BEST:: SOT 730701 SOS 416098 HAS SOPS 416098 HAS SOUS 202290 HAS SOUPS 202290 WITH SCORE 202706.098
AT ITER 2812 NEW BEST:: SOT 728848 SOS 414314 HAS SOPS 414314 HAS SOUS 200283 HAS SOUPS 200283 WITH SCORE 200697.314
AT ITER 2841 NEW BEST:: SOT 728491 SOS 413957 HAS SOPS 413957 HAS SOUS 200099 HAS SOUPS 200099 WITH SCORE 200512.957
AT ITER 2842 NEW BEST:: SOT 728396 SOS 413861 HAS SOPS 413861 HAS SOUS 200003 HAS SOUPS 200003 WITH SCORE 200416.861
AT ITER 2850 NEW BEST:: SOT 728373 SOS 413838 HAS SOPS 413838 HAS SOUS 199936 HAS SOUPS 199936 WITH SCORE 200349.838
AT ITER 2861 NEW BEST:: SOT 728262 SOS 413681 HAS SOPS 413681 HAS SOUS 199779 HAS SOUPS 199779 WITH SCORE 200192.681
AT ITER 2866 NEW BEST:: SOT 728268 SOS 413687 HAS SOPS 413687 HAS SOUS 199773 HAS SOUPS 199773 WITH SCORE 200186.687
AT ITER 2894 NEW BEST:: SOT 728289 SOS 413678 HAS SOPS 413678 HAS SOUS 199764 HAS SOUPS 199764 WITH SCORE 200177.678
AT ITER 2903 NEW BEST:: SOT 728175 SOS 413550 HAS SOPS 413550 HAS SOUS 199582 HAS SOUPS 199582 WITH SCORE 199995.55
AT ITER 2916 NEW BEST:: SOT 728176 SOS 414141 HAS SOPS 414141 HAS SOUS 199506 HAS SOUPS 199506 WITH SCORE 199920.141
AT ITER 2917 NEW BEST:: SOT 727975 SOS 413635 HAS SOPS 413635 HAS SOUS 199239 HAS SOUPS 199239 WITH SCORE 199652.635
AT ITER 2923 NEW BEST:: SOT 727975 SOS 413635 HAS SOPS 413635 HAS SOUS 199211 HAS SOUPS 199211 WITH SCORE 199624.635
AT ITER 2927 NEW BEST:: SOT 727668 SOS 413244 HAS SOPS 413244 HAS SOUS 198862 HAS SOUPS 198862 WITH SCORE 199275.244
AT ITER 2943 NEW BEST:: SOT 727655 SOS 413236 HAS SOPS 413236 HAS SOUS 198861 HAS SOUPS 198861 WITH SCORE 199274.236
AT ITER 2944 NEW BEST:: SOT 727655 SOS 413221 HAS SOPS 413221 HAS SOUS 198845 HAS SOUPS 198845 WITH SCORE 199258.221
AT ITER 2956 NEW BEST:: SOT 727646 SOS 413948 HAS SOPS 413948 HAS SOUS 198827 HAS SOUPS 198827 WITH SCORE 199240.948
AT ITER 2963 NEW BEST:: SOT 727644 SOS 413944 HAS SOPS 413944 HAS SOUS 198823 HAS SOUPS 198823 WITH SCORE 199236.944
AT ITER 2972 NEW BEST:: SOT 727644 SOS 413944 HAS SOPS 413944 HAS SOUS 198741 HAS SOUPS 198741 WITH SCORE 199154.944
AT ITER 2979 NEW BEST:: SOT 727471 SOS 413771 HAS SOPS 413771 HAS SOUS 198586 HAS SOUPS 198586 WITH SCORE 198999.771
AT ITER 2987 NEW BEST:: SOT 727461 SOS 413761 HAS SOPS 413761 HAS SOUS 198408 HAS SOUPS 198408 WITH SCORE 198821.761
AT ITER 3011 NEW BEST:: SOT 727461 SOS 413761 HAS SOPS 413761 HAS SOUS 198387 HAS SOUPS 198387 WITH SCORE 198800.761
AT ITER 3013 NEW BEST:: SOT 727430 SOS 413506 HAS SOPS 413506 HAS SOUS 198132 HAS SOUPS 198132 WITH SCORE 198545.506
AT ITER 3019 NEW BEST:: SOT 726892 SOS 415908 HAS SOPS 415908 HAS SOUS 197726 HAS SOUPS 197726 WITH SCORE 198141.908
AT ITER 3030 NEW BEST:: SOT 726863 SOS 415879 HAS SOPS 415879 HAS SOUS 197716 HAS SOUPS 197716 WITH SCORE 198131.879
AT ITER 3036 NEW BEST:: SOT 726741 SOS 415757 HAS SOPS 415757 HAS SOUS 197593 HAS SOUPS 197593 WITH SCORE 198008.757
AT ITER 3043 NEW BEST:: SOT 726581 SOS 415597 HAS SOPS 415597 HAS SOUS 197317 HAS SOUPS 197317 WITH SCORE 197732.597
AT ITER 3058 NEW BEST:: SOT 726404 SOS 415880 HAS SOPS 415880 HAS SOUS 197031 HAS SOUPS 197031 WITH SCORE 197446.88
AT ITER 3060 NEW BEST:: SOT 726249 SOS 415725 HAS SOPS 415725 HAS SOUS 196764 HAS SOUPS 196764 WITH SCORE 197179.725
AT ITER 3068 NEW BEST:: SOT 726150 SOS 415572 HAS SOPS 415572 HAS SOUS 196611 HAS SOUPS 196611 WITH SCORE 197026.572
AT ITER 3071 NEW BEST:: SOT 726145 SOS 415567 HAS SOPS 415567 HAS SOUS 196606 HAS SOUPS 196606 WITH SCORE 197021.567
AT ITER 3072 NEW BEST:: SOT 726352 SOS 415351 HAS SOPS 415351 HAS SOUS 196606 HAS SOUPS 196606 WITH SCORE 197021.351
AT ITER 3079 NEW BEST:: SOT 726536 SOS 415535 HAS SOPS 415535 HAS SOUS 196558 HAS SOUPS 196558 WITH SCORE 196973.535
AT ITER 3085 NEW BEST:: SOT 726487 SOS 415486 HAS SOPS 415486 HAS SOUS 196509 HAS SOUPS 196509 WITH SCORE 196924.486
AT ITER 3096 NEW BEST:: SOT 726473 SOS 415472 HAS SOPS 415472 HAS SOUS 196495 HAS SOUPS 196495 WITH SCORE 196910.472
AT ITER 3099 NEW BEST:: SOT 726249 SOS 415201 HAS SOPS 415201 HAS SOUS 196488 HAS SOUPS 196488 WITH SCORE 196903.201
AT ITER 3109 NEW BEST:: SOT 726169 SOS 415121 HAS SOPS 415121 HAS SOUS 196328 HAS SOUPS 196328 WITH SCORE 196743.121
AT ITER 3147 NEW BEST:: SOT 725994 SOS 414806 HAS SOPS 414806 HAS SOUS 196013 HAS SOUPS 196013 WITH SCORE 196427.806
AT ITER 3157 NEW BEST:: SOT 725993 SOS 414805 HAS SOPS 414805 HAS SOUS 196011 HAS SOUPS 196011 WITH SCORE 196425.805
AT ITER 3180 NEW BEST:: SOT 725988 SOS 414620 HAS SOPS 414620 HAS SOUS 196001 HAS SOUPS 196001 WITH SCORE 196415.62
AT ITER 3204 NEW BEST:: SOT 725897 SOS 414482 HAS SOPS 414482 HAS SOUS 195863 HAS SOUPS 195863 WITH SCORE 196277.482
AT ITER 3219 NEW BEST:: SOT 725897 SOS 414263 HAS SOPS 414263 HAS SOUS 195644 HAS SOUPS 195644 WITH SCORE 196058.263
AT ITER 3227 NEW BEST:: SOT 725822 SOS 412293 HAS SOPS 412293 HAS SOUS 195343 HAS SOUPS 195343 WITH SCORE 195755.293
AT ITER 3246 NEW BEST:: SOT 725822 SOS 412293 HAS SOPS 412293 HAS SOUS 195317 HAS SOUPS 195317 WITH SCORE 195729.293
AT ITER 3249 NEW BEST:: SOT 725822 SOS 412268 HAS SOPS 412268 HAS SOUS 195292 HAS SOUPS 195292 WITH SCORE 195704.268
AT ITER 3264 NEW BEST:: SOT 725818 SOS 412249 HAS SOPS 412249 HAS SOUS 195273 HAS SOUPS 195273 WITH SCORE 195685.249
AT ITER 3267 NEW BEST:: SOT 725818 SOS 412249 HAS SOPS 412249 HAS SOUS 195266 HAS SOUPS 195266 WITH SCORE 195678.249
AT ITER 3269 NEW BEST:: SOT 725797 SOS 411942 HAS SOPS 411942 HAS SOUS 195075 HAS SOUPS 195075 WITH SCORE 195486.942
AT ITER 3278 NEW BEST:: SOT 725797 SOS 411934 HAS SOPS 411934 HAS SOUS 195067 HAS SOUPS 195067 WITH SCORE 195478.934
AT ITER 3285 NEW BEST:: SOT 725593 SOS 411549 HAS SOPS 411549 HAS SOUS 194927 HAS SOUPS 194927 WITH SCORE 195338.549
AT ITER 3290 NEW BEST:: SOT 725727 SOS 411636 HAS SOPS 411636 HAS SOUS 194500 HAS SOUPS 194500 WITH SCORE 194911.636
AT ITER 3296 NEW BEST:: SOT 724306 SOS 410801 HAS SOPS 410801 HAS SOUS 193454 HAS SOUPS 193454 WITH SCORE 193864.801
AT ITER 3308 NEW BEST:: SOT 724079 SOS 408712 HAS SOPS 408712 HAS SOUS 193000 HAS SOUPS 193000 WITH SCORE 193408.712
AT ITER 3316 NEW BEST:: SOT 724077 SOS 408710 HAS SOPS 408710 HAS SOUS 192996 HAS SOUPS 192996 WITH SCORE 193404.71
AT ITER 3319 NEW BEST:: SOT 723704 SOS 408188 HAS SOPS 408188 HAS SOUS 192474 HAS SOUPS 192474 WITH SCORE 192882.188
AT ITER 3345 NEW BEST:: SOT 722982 SOS 407886 HAS SOPS 407886 HAS SOUS 191758 HAS SOUPS 191758 WITH SCORE 192165.886
AT ITER 3360 NEW BEST:: SOT 722704 SOS 407580 HAS SOPS 407580 HAS SOUS 191485 HAS SOUPS 191485 WITH SCORE 191892.58
AT ITER 3363 NEW BEST:: SOT 722634 SOS 407209 HAS SOPS 407209 HAS SOUS 191240 HAS SOUPS 191240 WITH SCORE 191647.209
AT ITER 3370 NEW BEST:: SOT 722634 SOS 407097 HAS SOPS 407097 HAS SOUS 191010 HAS SOUPS 191010 WITH SCORE 191417.097
AT ITER 3375 NEW BEST:: SOT 722388 SOS 406851 HAS SOPS 406851 HAS SOUS 190969 HAS SOUPS 190969 WITH SCORE 191375.851
AT ITER 3376 NEW BEST:: SOT 718689 SOS 403152 HAS SOPS 403152 HAS SOUS 187241 HAS SOUPS 187241 WITH SCORE 187644.152
AT ITER 3383 NEW BEST:: SOT 718110 SOS 402573 HAS SOPS 402573 HAS SOUS 186453 HAS SOUPS 186453 WITH SCORE 186855.573
AT ITER 3419 NEW BEST:: SOT 718019 SOS 402573 HAS SOPS 402573 HAS SOUS 186271 HAS SOUPS 186271 WITH SCORE 186673.573
AT ITER 3434 NEW BEST:: SOT 717976 SOS 402355 HAS SOPS 402355 HAS SOUS 185989 HAS SOUPS 185989 WITH SCORE 186391.355
AT ITER 3437 NEW BEST:: SOT 717875 SOS 402211 HAS SOPS 402211 HAS SOUS 185701 HAS SOUPS 185701 WITH SCORE 186103.211
AT ITER 3449 NEW BEST:: SOT 717925 SOS 402261 HAS SOPS 402261 HAS SOUS 185649 HAS SOUPS 185649 WITH SCORE 186051.261
AT ITER 3450 NEW BEST:: SOT 717911 SOS 402247 HAS SOPS 402247 HAS SOUS 185635 HAS SOUPS 185635 WITH SCORE 186037.247
AT ITER 3463 NEW BEST:: SOT 717846 SOS 402182 HAS SOPS 402182 HAS SOUS 185570 HAS SOUPS 185570 WITH SCORE 185972.182
AT ITER 3465 NEW BEST:: SOT 717696 SOS 402311 HAS SOPS 402311 HAS SOUS 185275 HAS SOUPS 185275 WITH SCORE 185677.311
AT ITER 3470 NEW BEST:: SOT 717703 SOS 402184 HAS SOPS 402184 HAS SOUS 185148 HAS SOUPS 185148 WITH SCORE 185550.184
AT ITER 3471 NEW BEST:: SOT 717610 SOS 402048 HAS SOPS 402048 HAS SOUS 185012 HAS SOUPS 185012 WITH SCORE 185414.048
AT ITER 3475 NEW BEST:: SOT 717610 SOS 401847 HAS SOPS 401847 HAS SOUS 184934 HAS SOUPS 184934 WITH SCORE 185335.847
AT ITER 3477 NEW BEST:: SOT 717591 SOS 401828 HAS SOPS 401828 HAS SOUS 184915 HAS SOUPS 184915 WITH SCORE 185316.828
AT ITER 3497 NEW BEST:: SOT 717294 SOS 401531 HAS SOPS 401531 HAS SOUS 184546 HAS SOUPS 184546 WITH SCORE 184947.531
AT ITER 3502 NEW BEST:: SOT 717198 SOS 401261 HAS SOPS 401261 HAS SOUS 184330 HAS SOUPS 184330 WITH SCORE 184731.261
AT ITER 3513 NEW BEST:: SOT 717113 SOS 400911 HAS SOPS 400911 HAS SOUS 183980 HAS SOUPS 183980 WITH SCORE 184380.911
AT ITER 3517 NEW BEST:: SOT 717088 SOS 400881 HAS SOPS 400881 HAS SOUS 183950 HAS SOUPS 183950 WITH SCORE 184350.881
AT ITER 3527 NEW BEST:: SOT 717088 SOS 400797 HAS SOPS 400797 HAS SOUS 183938 HAS SOUPS 183938 WITH SCORE 184338.797
AT ITER 3531 NEW BEST:: SOT 717287 SOS 401017 HAS SOPS 401017 HAS SOUS 183894 HAS SOUPS 183894 WITH SCORE 184295.017
AT ITER 3560 NEW BEST:: SOT 717275 SOS 401005 HAS SOPS 401005 HAS SOUS 183874 HAS SOUPS 183874 WITH SCORE 184275.005
AT ITER 3597 NEW BEST:: SOT 717140 SOS 400839 HAS SOPS 400839 HAS SOUS 183708 HAS SOUPS 183708 WITH SCORE 184108.839
AT ITER 3603 NEW BEST:: SOT 717140 SOS 399978 HAS SOPS 399978 HAS SOUS 183552 HAS SOUPS 183552 WITH SCORE 183951.978
AT ITER 3608 NEW BEST:: SOT 716465 SOS 399303 HAS SOPS 399303 HAS SOUS 182877 HAS SOUPS 182877 WITH SCORE 183276.303
AT ITER 3614 NEW BEST:: SOT 716361 SOS 399735 HAS SOPS 399735 HAS SOUS 182754 HAS SOUPS 182754 WITH SCORE 183153.735
AT ITER 3624 NEW BEST:: SOT 716531 SOS 399673 HAS SOPS 399673 HAS SOUS 182680 HAS SOUPS 182680 WITH SCORE 183079.673
AT ITER 3626 NEW BEST:: SOT 716067 SOS 399209 HAS SOPS 399209 HAS SOUS 182216 HAS SOUPS 182216 WITH SCORE 182615.209
AT ITER 3627 NEW BEST:: SOT 715851 SOS 398887 HAS SOPS 398887 HAS SOUS 181876 HAS SOUPS 181876 WITH SCORE 182274.887
AT ITER 3630 NEW BEST:: SOT 715857 SOS 397173 HAS SOPS 397173 HAS SOUS 181699 HAS SOUPS 181699 WITH SCORE 182096.173
AT ITER 3633 NEW BEST:: SOT 715763 SOS 397237 HAS SOPS 397237 HAS SOUS 181673 HAS SOUPS 181673 WITH SCORE 182070.237
AT ITER 3637 NEW BEST:: SOT 715763 SOS 397158 HAS SOPS 397158 HAS SOUS 181120 HAS SOUPS 181120 WITH SCORE 181517.158
AT ITER 3642 NEW BEST:: SOT 715628 SOS 397013 HAS SOPS 397013 HAS SOUS 181030 HAS SOUPS 181030 WITH SCORE 181427.013
AT ITER 3671 NEW BEST:: SOT 715611 SOS 396996 HAS SOPS 396996 HAS SOUS 181030 HAS SOUPS 181030 WITH SCORE 181426.996
AT ITER 3688 NEW BEST:: SOT 715411 SOS 395952 HAS SOPS 395952 HAS SOUS 180912 HAS SOUPS 180912 WITH SCORE 181307.952
AT ITER 3694 NEW BEST:: SOT 715218 SOS 395759 HAS SOPS 395759 HAS SOUS 180719 HAS SOUPS 180719 WITH SCORE 181114.759
AT ITER 3696 NEW BEST:: SOT 715217 SOS 395439 HAS SOPS 395439 HAS SOUS 180717 HAS SOUPS 180717 WITH SCORE 181112.439
AT ITER 3701 NEW BEST:: SOT 714977 SOS 395120 HAS SOPS 395120 HAS SOUS 180282 HAS SOUPS 180282 WITH SCORE 180677.12
AT ITER 3707 NEW BEST:: SOT 714743 SOS 394821 HAS SOPS 394821 HAS SOUS 179983 HAS SOUPS 179983 WITH SCORE 180377.821
AT ITER 3708 NEW BEST:: SOT 713767 SOS 393623 HAS SOPS 393623 HAS SOUS 179469 HAS SOUPS 179469 WITH SCORE 179862.623
AT ITER 3710 NEW BEST:: SOT 713749 SOS 393605 HAS SOPS 393605 HAS SOUS 179451 HAS SOUPS 179451 WITH SCORE 179844.605
AT ITER 3720 NEW BEST:: SOT 713904 SOS 393504 HAS SOPS 393504 HAS SOUS 179392 HAS SOUPS 179392 WITH SCORE 179785.504
AT ITER 3721 NEW BEST:: SOT 713927 SOS 393441 HAS SOPS 393441 HAS SOUS 179329 HAS SOUPS 179329 WITH SCORE 179722.441
AT ITER 3750 NEW BEST:: SOT 713590 SOS 393098 HAS SOPS 393098 HAS SOUS 178818 HAS SOUPS 178818 WITH SCORE 179211.098
AT ITER 3787 NEW BEST:: SOT 713574 SOS 393078 HAS SOPS 393078 HAS SOUS 178800 HAS SOUPS 178800 WITH SCORE 179193.078
AT ITER 3790 NEW BEST:: SOT 713574 SOS 392182 HAS SOPS 392182 HAS SOUS 178688 HAS SOUPS 178688 WITH SCORE 179080.182
AT ITER 3791 NEW BEST:: SOT 713574 SOS 392182 HAS SOPS 392182 HAS SOUS 178628 HAS SOUPS 178628 WITH SCORE 179020.182
AT ITER 3794 NEW BEST:: SOT 713563 SOS 392171 HAS SOPS 392171 HAS SOUS 178617 HAS SOUPS 178617 WITH SCORE 179009.171
AT ITER 3831 NEW BEST:: SOT 713395 SOS 391953 HAS SOPS 391953 HAS SOUS 178399 HAS SOUPS 178399 WITH SCORE 178790.953
AT ITER 3835 NEW BEST:: SOT 713273 SOS 391565 HAS SOPS 391565 HAS SOUS 178239 HAS SOUPS 178239 WITH SCORE 178630.565
AT ITER 3841 NEW BEST:: SOT 712945 SOS 391237 HAS SOPS 391237 HAS SOUS 177885 HAS SOUPS 177885 WITH SCORE 178276.237
AT ITER 3868 NEW BEST:: SOT 712895 SOS 391088 HAS SOPS 391088 HAS SOUS 177736 HAS SOUPS 177736 WITH SCORE 178127.088
AT ITER 3870 NEW BEST:: SOT 712464 SOS 391467 HAS SOPS 391467 HAS SOUS 177250 HAS SOUPS 177250 WITH SCORE 177641.467
AT ITER 3885 NEW BEST:: SOT 712464 SOS 391464 HAS SOPS 391464 HAS SOUS 177250 HAS SOUPS 177250 WITH SCORE 177641.464
AT ITER 3892 NEW BEST:: SOT 712286 SOS 391361 HAS SOPS 391361 HAS SOUS 177147 HAS SOUPS 177147 WITH SCORE 177538.361
AT ITER 3896 NEW BEST:: SOT 711975 SOS 390752 HAS SOPS 390752 HAS SOUS 176737 HAS SOUPS 176737 WITH SCORE 177127.752
AT ITER 3898 NEW BEST:: SOT 711782 SOS 386375 HAS SOPS 386375 HAS SOUS 176351 HAS SOUPS 176351 WITH SCORE 176737.375
AT ITER 3908 NEW BEST:: SOT 711717 SOS 386341 HAS SOPS 386341 HAS SOUS 176317 HAS SOUPS 176317 WITH SCORE 176703.341
AT ITER 3923 NEW BEST:: SOT 711697 SOS 386274 HAS SOPS 386274 HAS SOUS 176279 HAS SOUPS 176279 WITH SCORE 176665.274
AT ITER 3929 NEW BEST:: SOT 711661 SOS 386242 HAS SOPS 386242 HAS SOUS 176247 HAS SOUPS 176247 WITH SCORE 176633.242
AT ITER 3948 NEW BEST:: SOT 711631 SOS 386202 HAS SOPS 386202 HAS SOUS 176207 HAS SOUPS 176207 WITH SCORE 176593.202
AT ITER 3960 NEW BEST:: SOT 711591 SOS 385817 HAS SOPS 385817 HAS SOUS 176207 HAS SOUPS 176207 WITH SCORE 176592.817
AT ITER 3973 NEW BEST:: SOT 711591 SOS 385817 HAS SOPS 385817 HAS SOUS 176178 HAS SOUPS 176178 WITH SCORE 176563.817
AT ITER 3983 NEW BEST:: SOT 711586 SOS 385787 HAS SOPS 385787 HAS SOUS 176161 HAS SOUPS 176161 WITH SCORE 176546.787
AT ITER 3985 NEW BEST:: SOT 710943 SOS 384853 HAS SOPS 384853 HAS SOUS 175227 HAS SOUPS 175227 WITH SCORE 175611.853
AT ITER 3987 NEW BEST:: SOT 710754 SOS 384376 HAS SOPS 384376 HAS SOUS 175033 HAS SOUPS 175033 WITH SCORE 175417.376
AT ITER 3988 NEW BEST:: SOT 710754 SOS 384347 HAS SOPS 384347 HAS SOUS 174975 HAS SOUPS 174975 WITH SCORE 175359.347
AT ITER 4018 NEW BEST:: SOT 710546 SOS 385140 HAS SOPS 385140 HAS SOUS 174858 HAS SOUPS 174858 WITH SCORE 175243.14
AT ITER 4027 NEW BEST:: SOT 710546 SOS 385363 HAS SOPS 385363 HAS SOUS 174689 HAS SOUPS 174689 WITH SCORE 175074.363
AT ITER 4062 NEW BEST:: SOT 710546 SOS 386527 HAS SOPS 386527 HAS SOUS 174621 HAS SOUPS 174621 WITH SCORE 175007.527
AT ITER 4086 NEW BEST:: SOT 710546 SOS 386519 HAS SOPS 386519 HAS SOUS 174620 HAS SOUPS 174620 WITH SCORE 175006.519
AT ITER 4091 NEW BEST:: SOT 710546 SOS 386535 HAS SOPS 386535 HAS SOUS 174554 HAS SOUPS 174554 WITH SCORE 174940.535
AT ITER 4092 NEW BEST:: SOT 710277 SOS 385997 HAS SOPS 385997 HAS SOUS 174016 HAS SOUPS 174016 WITH SCORE 174401.997
AT ITER 4112 NEW BEST:: SOT 710214 SOS 385934 HAS SOPS 385934 HAS SOUS 173762 HAS SOUPS 173762 WITH SCORE 174147.934
AT ITER 4136 NEW BEST:: SOT 710241 SOS 385961 HAS SOPS 385961 HAS SOUS 173735 HAS SOUPS 173735 WITH SCORE 174120.961
AT ITER 4148 NEW BEST:: SOT 710379 SOS 386099 HAS SOPS 386099 HAS SOUS 173732 HAS SOUPS 173732 WITH SCORE 174118.099
AT ITER 4158 NEW BEST:: SOT 710201 SOS 385429 HAS SOPS 385429 HAS SOUS 173589 HAS SOUPS 173589 WITH SCORE 173974.429
AT ITER 4166 NEW BEST:: SOT 710100 SOS 386682 HAS SOPS 386682 HAS SOUS 173491 HAS SOUPS 173491 WITH SCORE 173877.682
AT ITER 4176 NEW BEST:: SOT 710101 SOS 386683 HAS SOPS 386683 HAS SOUS 173411 HAS SOUPS 173411 WITH SCORE 173797.683
AT ITER 4190 NEW BEST:: SOT 710120 SOS 386662 HAS SOPS 386662 HAS SOUS 173390 HAS SOUPS 173390 WITH SCORE 173776.662
AT ITER 4199 NEW BEST:: SOT 709892 SOS 386434 HAS SOPS 386434 HAS SOUS 173162 HAS SOUPS 173162 WITH SCORE 173548.434
AT ITER 4235 NEW BEST:: SOT 709890 SOS 386344 HAS SOPS 386344 HAS SOUS 173142 HAS SOUPS 173142 WITH SCORE 173528.344
AT ITER 4241 NEW BEST:: SOT 709889 SOS 386342 HAS SOPS 386342 HAS SOUS 173140 HAS SOUPS 173140 WITH SCORE 173526.342
AT ITER 4254 NEW BEST:: SOT 709870 SOS 386323 HAS SOPS 386323 HAS SOUS 173117 HAS SOUPS 173117 WITH SCORE 173503.323
AT ITER 4257 NEW BEST:: SOT 709868 SOS 386228 HAS SOPS 386228 HAS SOUS 173053 HAS SOUPS 173053 WITH SCORE 173439.228
AT ITER 4262 NEW BEST:: SOT 709868 SOS 386067 HAS SOPS 386067 HAS SOUS 172892 HAS SOUPS 172892 WITH SCORE 173278.067
AT ITER 4266 NEW BEST:: SOT 709870 SOS 385890 HAS SOPS 385890 HAS SOUS 172715 HAS SOUPS 172715 WITH SCORE 173100.89
AT ITER 4269 NEW BEST:: SOT 709870 SOS 385880 HAS SOPS 385880 HAS SOUS 172685 HAS SOUPS 172685 WITH SCORE 173070.88
AT ITER 4279 NEW BEST:: SOT 709870 SOS 385746 HAS SOPS 385746 HAS SOUS 172669 HAS SOUPS 172669 WITH SCORE 173054.746
AT ITER 4284 NEW BEST:: SOT 709830 SOS 385706 HAS SOPS 385706 HAS SOUS 172608 HAS SOUPS 172608 WITH SCORE 172993.706
AT ITER 4293 NEW BEST:: SOT 709875 SOS 385850 HAS SOPS 385850 HAS SOUS 172537 HAS SOUPS 172537 WITH SCORE 172922.85
AT ITER 4315 NEW BEST:: SOT 709831 SOS 385806 HAS SOPS 385806 HAS SOUS 172493 HAS SOUPS 172493 WITH SCORE 172878.806
AT ITER 4344 NEW BEST:: SOT 710072 SOS 385925 HAS SOPS 385925 HAS SOUS 172301 HAS SOUPS 172301 WITH SCORE 172686.925
AT ITER 4392 NEW BEST:: SOT 709974 SOS 385827 HAS SOPS 385827 HAS SOUS 172203 HAS SOUPS 172203 WITH SCORE 172588.827
AT ITER 4426 NEW BEST:: SOT 709815 SOS 385735 HAS SOPS 385735 HAS SOUS 172111 HAS SOUPS 172111 WITH SCORE 172496.735
AT ITER 4438 NEW BEST:: SOT 709680 SOS 385600 HAS SOPS 385600 HAS SOUS 172066 HAS SOUPS 172066 WITH SCORE 172451.6
AT ITER 4483 NEW BEST:: SOT 709661 SOS 385562 HAS SOPS 385562 HAS SOUS 172028 HAS SOUPS 172028 WITH SCORE 172413.562
AT ITER 4487 NEW BEST:: SOT 709585 SOS 385423 HAS SOPS 385423 HAS SOUS 171887 HAS SOUPS 171887 WITH SCORE 172272.423
AT ITER 4499 NEW BEST:: SOT 709584 SOS 385347 HAS SOPS 385347 HAS SOUS 171811 HAS SOUPS 171811 WITH SCORE 172196.347
AT ITER 4503 NEW BEST:: SOT 709466 SOS 385162 HAS SOPS 385162 HAS SOUS 171626 HAS SOUPS 171626 WITH SCORE 172011.162
AT ITER 4526 NEW BEST:: SOT 709394 SOS 385090 HAS SOPS 385090 HAS SOUS 171482 HAS SOUPS 171482 WITH SCORE 171867.09
AT ITER 4542 NEW BEST:: SOT 709376 SOS 385072 HAS SOPS 385072 HAS SOUS 171455 HAS SOUPS 171455 WITH SCORE 171840.072
AT ITER 4594 NEW BEST:: SOT 709376 SOS 385054 HAS SOPS 385054 HAS SOUS 171422 HAS SOUPS 171422 WITH SCORE 171807.054
AT ITER 4595 NEW BEST:: SOT 709375 SOS 385049 HAS SOPS 385049 HAS SOUS 171413 HAS SOUPS 171413 WITH SCORE 171798.049
AT ITER 4600 NEW BEST:: SOT 709242 SOS 384936 HAS SOPS 384936 HAS SOUS 171139 HAS SOUPS 171139 WITH SCORE 171523.936
AT ITER 4613 NEW BEST:: SOT 709062 SOS 385232 HAS SOPS 385232 HAS SOUS 171051 HAS SOUPS 171051 WITH SCORE 171436.232
AT ITER 4618 NEW BEST:: SOT 709025 SOS 385195 HAS SOPS 385195 HAS SOUS 171014 HAS SOUPS 171014 WITH SCORE 171399.195
AT ITER 4631 NEW BEST:: SOT 708942 SOS 380447 HAS SOPS 380447 HAS SOUS 170370 HAS SOUPS 170370 WITH SCORE 170750.447
AT ITER 4633 NEW BEST:: SOT 708699 SOS 380360 HAS SOPS 380360 HAS SOUS 170262 HAS SOUPS 170262 WITH SCORE 170642.36
AT ITER 4672 NEW BEST:: SOT 708698 SOS 380351 HAS SOPS 380351 HAS SOUS 170260 HAS SOUPS 170260 WITH SCORE 170640.351
AT ITER 4678 NEW BEST:: SOT 708616 SOS 380269 HAS SOPS 380269 HAS SOUS 170172 HAS SOUPS 170172 WITH SCORE 170552.269
AT ITER 4679 NEW BEST:: SOT 708382 SOS 379615 HAS SOPS 379615 HAS SOUS 169679 HAS SOUPS 169679 WITH SCORE 170058.615
AT ITER 4692 NEW BEST:: SOT 708308 SOS 378059 HAS SOPS 378059 HAS SOUS 169259 HAS SOUPS 169259 WITH SCORE 169637.059
AT ITER 4697 NEW BEST:: SOT 707648 SOS 378532 HAS SOPS 378532 HAS SOUS 168507 HAS SOUPS 168507 WITH SCORE 168885.532
AT ITER 4706 NEW BEST:: SOT 707202 SOS 378390 HAS SOPS 378390 HAS SOUS 168150 HAS SOUPS 168150 WITH SCORE 168528.39
AT ITER 4738 NEW BEST:: SOT 707193 SOS 378381 HAS SOPS 378381 HAS SOUS 168141 HAS SOUPS 168141 WITH SCORE 168519.381
AT ITER 4767 NEW BEST:: SOT 707119 SOS 378239 HAS SOPS 378239 HAS SOUS 167999 HAS SOUPS 167999 WITH SCORE 168377.239
AT ITER 4769 NEW BEST:: SOT 707119 SOS 377961 HAS SOPS 377961 HAS SOUS 167858 HAS SOUPS 167858 WITH SCORE 168235.961
AT ITER 4771 NEW BEST:: SOT 707115 SOS 377957 HAS SOPS 377957 HAS SOUS 167854 HAS SOUPS 167854 WITH SCORE 168231.957
AT ITER 4792 NEW BEST:: SOT 707098 SOS 377923 HAS SOPS 377923 HAS SOUS 167820 HAS SOUPS 167820 WITH SCORE 168197.923
AT ITER 4795 NEW BEST:: SOT 706943 SOS 377902 HAS SOPS 377902 HAS SOUS 167719 HAS SOUPS 167719 WITH SCORE 168096.902
AT ITER 4817 NEW BEST:: SOT 706947 SOS 377906 HAS SOPS 377906 HAS SOUS 167717 HAS SOUPS 167717 WITH SCORE 168094.906
AT ITER 4830 NEW BEST:: SOT 706940 SOS 377899 HAS SOPS 377899 HAS SOUS 167710 HAS SOUPS 167710 WITH SCORE 168087.899
AT ITER 4838 NEW BEST:: SOT 706933 SOS 377885 HAS SOPS 377885 HAS SOUS 167696 HAS SOUPS 167696 WITH SCORE 168073.885
AT ITER 4883 NEW BEST:: SOT 707013 SOS 377823 HAS SOPS 377823 HAS SOUS 167696 HAS SOUPS 167696 WITH SCORE 168073.823
AT ITER 4931 NEW BEST:: SOT 707005 SOS 377950 HAS SOPS 377950 HAS SOUS 167603 HAS SOUPS 167603 WITH SCORE 167980.95
AT ITER 4939 NEW BEST:: SOT 707005 SOS 377892 HAS SOPS 377892 HAS SOUS 167592 HAS SOUPS 167592 WITH SCORE 167969.892
AT ITER 4943 NEW BEST:: SOT 706995 SOS 377844 HAS SOPS 377844 HAS SOUS 167544 HAS SOUPS 167544 WITH SCORE 167921.844
AT ITER 4944 NEW BEST:: SOT 706955 SOS 377764 HAS SOPS 377764 HAS SOUS 167512 HAS SOUPS 167512 WITH SCORE 167889.764
AT ITER 4970 NEW BEST:: SOT 706955 SOS 377669 HAS SOPS 377669 HAS SOUS 167477 HAS SOUPS 167477 WITH SCORE 167854.669
AT ITER 4985 NEW BEST:: SOT 706871 SOS 377492 HAS SOPS 377492 HAS SOUS 167300 HAS SOUPS 167300 WITH SCORE 167677.492
AT ITER 4990 NEW BEST:: SOT 706847 SOS 377468 HAS SOPS 377468 HAS SOUS 167276 HAS SOUPS 167276 WITH SCORE 167653.468
AT ITER 5019 NEW BEST:: SOT 706793 SOS 377414 HAS SOPS 377414 HAS SOUS 167222 HAS SOUPS 167222 WITH SCORE 167599.414
AT ITER 5038 NEW BEST:: SOT 706576 SOS 377348 HAS SOPS 377348 HAS SOUS 167156 HAS SOUPS 167156 WITH SCORE 167533.348
AT ITER 5051 NEW BEST:: SOT 706576 SOS 377415 HAS SOPS 377415 HAS SOUS 167137 HAS SOUPS 167137 WITH SCORE 167514.415
AT ITER 5052 NEW BEST:: SOT 706478 SOS 377120 HAS SOPS 377120 HAS SOUS 167051 HAS SOUPS 167051 WITH SCORE 167428.12
AT ITER 5055 NEW BEST:: SOT 706449 SOS 377064 HAS SOPS 377064 HAS SOUS 167020 HAS SOUPS 167020 WITH SCORE 167397.064
AT ITER 5058 NEW BEST:: SOT 706449 SOS 377046 HAS SOPS 377046 HAS SOUS 167020 HAS SOUPS 167020 WITH SCORE 167397.046
AT ITER 5059 NEW BEST:: SOT 706397 SOS 376994 HAS SOPS 376994 HAS SOUS 166968 HAS SOUPS 166968 WITH SCORE 167344.994
AT ITER 5068 NEW BEST:: SOT 706397 SOS 376975 HAS SOPS 376975 HAS SOUS 166949 HAS SOUPS 166949 WITH SCORE 167325.975
AT ITER 5072 NEW BEST:: SOT 706312 SOS 376890 HAS SOPS 376890 HAS SOUS 166666 HAS SOUPS 166666 WITH SCORE 167042.89
AT ITER 5114 NEW BEST:: SOT 706299 SOS 376754 HAS SOPS 376754 HAS SOUS 166530 HAS SOUPS 166530 WITH SCORE 166906.754
AT ITER 5130 NEW BEST:: SOT 706287 SOS 376742 HAS SOPS 376742 HAS SOUS 166524 HAS SOUPS 166524 WITH SCORE 166900.742
AT ITER 5134 NEW BEST:: SOT 706309 SOS 376802 HAS SOPS 376802 HAS SOUS 166495 HAS SOUPS 166495 WITH SCORE 166871.802
AT ITER 5146 NEW BEST:: SOT 706303 SOS 376790 HAS SOPS 376790 HAS SOUS 166483 HAS SOUPS 166483 WITH SCORE 166859.79
AT ITER 5175 NEW BEST:: SOT 706153 SOS 376612 HAS SOPS 376612 HAS SOUS 166332 HAS SOUPS 166332 WITH SCORE 166708.612
AT ITER 5199 NEW BEST:: SOT 706085 SOS 376476 HAS SOPS 376476 HAS SOUS 166196 HAS SOUPS 166196 WITH SCORE 166572.476
AT ITER 5204 NEW BEST:: SOT 706084 SOS 376475 HAS SOPS 376475 HAS SOUS 166194 HAS SOUPS 166194 WITH SCORE 166570.475
AT ITER 5226 NEW BEST:: SOT 706091 SOS 376482 HAS SOPS 376482 HAS SOUS 166188 HAS SOUPS 166188 WITH SCORE 166564.482
AT ITER 5267 NEW BEST:: SOT 706067 SOS 376458 HAS SOPS 376458 HAS SOUS 166164 HAS SOUPS 166164 WITH SCORE 166540.458
AT ITER 5291 NEW BEST:: SOT 705917 SOS 376308 HAS SOPS 376308 HAS SOUS 166014 HAS SOUPS 166014 WITH SCORE 166390.308
AT ITER 5292 NEW BEST:: SOT 705854 SOS 376245 HAS SOPS 376245 HAS SOUS 165943 HAS SOUPS 165943 WITH SCORE 166319.245
AT ITER 5293 NEW BEST:: SOT 705672 SOS 376218 HAS SOPS 376218 HAS SOUS 165906 HAS SOUPS 165906 WITH SCORE 166282.218
AT ITER 5304 NEW BEST:: SOT 705552 SOS 376181 HAS SOPS 376181 HAS SOUS 165892 HAS SOUPS 165892 WITH SCORE 166268.181
AT ITER 5349 NEW BEST:: SOT 705432 SOS 376061 HAS SOPS 376061 HAS SOUS 165652 HAS SOUPS 165652 WITH SCORE 166028.061
AT ITER 5370 NEW BEST:: SOT 705443 SOS 375760 HAS SOPS 375760 HAS SOUS 165585 HAS SOUPS 165585 WITH SCORE 165960.76
AT ITER 5372 NEW BEST:: SOT 705471 SOS 375641 HAS SOPS 375641 HAS SOUS 165559 HAS SOUPS 165559 WITH SCORE 165934.641
AT ITER 5373 NEW BEST:: SOT 705470 SOS 375641 HAS SOPS 375641 HAS SOUS 165537 HAS SOUPS 165537 WITH SCORE 165912.641
AT ITER 5377 NEW BEST:: SOT 705234 SOS 375153 HAS SOPS 375153 HAS SOUS 165403 HAS SOUPS 165403 WITH SCORE 165778.153
AT ITER 5378 NEW BEST:: SOT 705234 SOS 375153 HAS SOPS 375153 HAS SOUS 165309 HAS SOUPS 165309 WITH SCORE 165684.153
AT ITER 5382 NEW BEST:: SOT 705234 SOS 375153 HAS SOPS 375153 HAS SOUS 165304 HAS SOUPS 165304 WITH SCORE 165679.153
AT ITER 5405 NEW BEST:: SOT 705234 SOS 374909 HAS SOPS 374909 HAS SOUS 165288 HAS SOUPS 165288 WITH SCORE 165662.909
AT ITER 5426 NEW BEST:: SOT 705212 SOS 374575 HAS SOPS 374575 HAS SOUS 165275 HAS SOUPS 165275 WITH SCORE 165649.575
AT ITER 5430 NEW BEST:: SOT 705201 SOS 374520 HAS SOPS 374520 HAS SOUS 165129 HAS SOUPS 165129 WITH SCORE 165503.52
AT ITER 5454 NEW BEST:: SOT 705171 SOS 374413 HAS SOPS 374413 HAS SOUS 165022 HAS SOUPS 165022 WITH SCORE 165396.413
AT ITER 5467 NEW BEST:: SOT 705171 SOS 374414 HAS SOPS 374414 HAS SOUS 165021 HAS SOUPS 165021 WITH SCORE 165395.414
AT ITER 5488 NEW BEST:: SOT 705148 SOS 374391 HAS SOPS 374391 HAS SOUS 164996 HAS SOUPS 164996 WITH SCORE 165370.391
AT ITER 5511 NEW BEST:: SOT 705117 SOS 374360 HAS SOPS 374360 HAS SOUS 164931 HAS SOUPS 164931 WITH SCORE 165305.36
AT ITER 5512 NEW BEST:: SOT 703924 SOS 374504 HAS SOPS 374504 HAS SOUS 164137 HAS SOUPS 164137 WITH SCORE 164511.504
AT ITER 5526 NEW BEST:: SOT 703929 SOS 374482 HAS SOPS 374482 HAS SOUS 164115 HAS SOUPS 164115 WITH SCORE 164489.482
AT ITER 5527 NEW BEST:: SOT 703903 SOS 374419 HAS SOPS 374419 HAS SOUS 164052 HAS SOUPS 164052 WITH SCORE 164426.419
AT ITER 5557 NEW BEST:: SOT 703919 SOS 374435 HAS SOPS 374435 HAS SOUS 164018 HAS SOUPS 164018 WITH SCORE 164392.435
AT ITER 5560 NEW BEST:: SOT 703956 SOS 374472 HAS SOPS 374472 HAS SOUS 164004 HAS SOUPS 164004 WITH SCORE 164378.472
AT ITER 5563 NEW BEST:: SOT 703914 SOS 374208 HAS SOPS 374208 HAS SOUS 163895 HAS SOUPS 163895 WITH SCORE 164269.208
AT ITER 5578 NEW BEST:: SOT 703624 SOS 373918 HAS SOPS 373918 HAS SOUS 163621 HAS SOUPS 163621 WITH SCORE 163994.918
AT ITER 5579 NEW BEST:: SOT 703520 SOS 373814 HAS SOPS 373814 HAS SOUS 163517 HAS SOUPS 163517 WITH SCORE 163890.814
AT ITER 5581 NEW BEST:: SOT 703485 SOS 373779 HAS SOPS 373779 HAS SOUS 163460 HAS SOUPS 163460 WITH SCORE 163833.779
AT ITER 5589 NEW BEST:: SOT 703404 SOS 373698 HAS SOPS 373698 HAS SOUS 163327 HAS SOUPS 163327 WITH SCORE 163700.698
AT ITER 5695 NEW BEST:: SOT 703300 SOS 374071 HAS SOPS 374071 HAS SOUS 163284 HAS SOUPS 163284 WITH SCORE 163658.071
AT ITER 5763 NEW BEST:: SOT 703286 SOS 374057 HAS SOPS 374057 HAS SOUS 163284 HAS SOUPS 163284 WITH SCORE 163658.057
AT ITER 5771 NEW BEST:: SOT 703262 SOS 374021 HAS SOPS 374021 HAS SOUS 163248 HAS SOUPS 163248 WITH SCORE 163622.021
AT ITER 5772 NEW BEST:: SOT 702921 SOS 373335 HAS SOPS 373335 HAS SOUS 162562 HAS SOUPS 162562 WITH SCORE 162935.335
AT ITER 5783 NEW BEST:: SOT 702909 SOS 373275 HAS SOPS 373275 HAS SOUS 162538 HAS SOUPS 162538 WITH SCORE 162911.275
AT ITER 5790 NEW BEST:: SOT 702847 SOS 373094 HAS SOPS 373094 HAS SOUS 162362 HAS SOUPS 162362 WITH SCORE 162735.094
AT ITER 5795 NEW BEST:: SOT 702812 SOS 372957 HAS SOPS 372957 HAS SOUS 162225 HAS SOUPS 162225 WITH SCORE 162597.957
AT ITER 5802 NEW BEST:: SOT 702811 SOS 372956 HAS SOPS 372956 HAS SOUS 162223 HAS SOUPS 162223 WITH SCORE 162595.956
AT ITER 5811 NEW BEST:: SOT 702593 SOS 372587 HAS SOPS 372587 HAS SOUS 161877 HAS SOUPS 161877 WITH SCORE 162249.587
AT ITER 5832 NEW BEST:: SOT 703304 SOS 373255 HAS SOPS 373255 HAS SOUS 161834 HAS SOUPS 161834 WITH SCORE 162207.255
AT ITER 5851 NEW BEST:: SOT 703262 SOS 373471 HAS SOPS 373471 HAS SOUS 161615 HAS SOUPS 161615 WITH SCORE 161988.471
AT ITER 5852 NEW BEST:: SOT 703265 SOS 373430 HAS SOPS 373430 HAS SOUS 161567 HAS SOUPS 161567 WITH SCORE 161940.43
AT ITER 5910 NEW BEST:: SOT 703229 SOS 373374 HAS SOPS 373374 HAS SOUS 161511 HAS SOUPS 161511 WITH SCORE 161884.374
AT ITER 5925 NEW BEST:: SOT 703220 SOS 373365 HAS SOPS 373365 HAS SOUS 161501 HAS SOUPS 161501 WITH SCORE 161874.365
AT ITER 5975 NEW BEST:: SOT 703188 SOS 373333 HAS SOPS 373333 HAS SOUS 161469 HAS SOUPS 161469 WITH SCORE 161842.333
AT ITER 5983 NEW BEST:: SOT 703285 SOS 373299 HAS SOPS 373299 HAS SOUS 161258 HAS SOUPS 161258 WITH SCORE 161631.299
AT ITER 5993 NEW BEST:: SOT 703221 SOS 372862 HAS SOPS 372862 HAS SOUS 161130 HAS SOUPS 161130 WITH SCORE 161502.862
AT ITER 5995 NEW BEST:: SOT 703185 SOS 372830 HAS SOPS 372830 HAS SOUS 161116 HAS SOUPS 161116 WITH SCORE 161488.83
AT ITER 6017 NEW BEST:: SOT 703185 SOS 372853 HAS SOPS 372853 HAS SOUS 161105 HAS SOUPS 161105 WITH SCORE 161477.853
AT ITER 6019 NEW BEST:: SOT 703013 SOS 372681 HAS SOPS 372681 HAS SOUS 160933 HAS SOUPS 160933 WITH SCORE 161305.681
AT ITER 6037 NEW BEST:: SOT 702840 SOS 372508 HAS SOPS 372508 HAS SOUS 160650 HAS SOUPS 160650 WITH SCORE 161022.508
AT ITER 6045 NEW BEST:: SOT 702800 SOS 372426 HAS SOPS 372426 HAS SOUS 160528 HAS SOUPS 160528 WITH SCORE 160900.426
AT ITER 6052 NEW BEST:: SOT 702826 SOS 372418 HAS SOPS 372418 HAS SOUS 160498 HAS SOUPS 160498 WITH SCORE 160870.418
AT ITER 6072 NEW BEST:: SOT 702798 SOS 372243 HAS SOPS 372243 HAS SOUS 160470 HAS SOUPS 160470 WITH SCORE 160842.243
AT ITER 6103 NEW BEST:: SOT 702788 SOS 372233 HAS SOPS 372233 HAS SOUS 160307 HAS SOUPS 160307 WITH SCORE 160679.233
AT ITER 6112 NEW BEST:: SOT 702478 SOS 371194 HAS SOPS 371194 HAS SOUS 160033 HAS SOUPS 160033 WITH SCORE 160404.194
AT ITER 6126 NEW BEST:: SOT 702463 SOS 371209 HAS SOPS 371209 HAS SOUS 160018 HAS SOUPS 160018 WITH SCORE 160389.209
AT ITER 6143 NEW BEST:: SOT 702360 SOS 371186 HAS SOPS 371186 HAS SOUS 159995 HAS SOUPS 159995 WITH SCORE 160366.186
AT ITER 6147 NEW BEST:: SOT 702231 SOS 371110 HAS SOPS 371110 HAS SOUS 159991 HAS SOUPS 159991 WITH SCORE 160362.11
AT ITER 6158 NEW BEST:: SOT 701899 SOS 370262 HAS SOPS 370262 HAS SOUS 159629 HAS SOUPS 159629 WITH SCORE 159999.262
AT ITER 6167 NEW BEST:: SOT 701807 SOS 370071 HAS SOPS 370071 HAS SOUS 159438 HAS SOUPS 159438 WITH SCORE 159808.071
AT ITER 6196 NEW BEST:: SOT 701601 SOS 369810 HAS SOPS 369810 HAS SOUS 159026 HAS SOUPS 159026 WITH SCORE 159395.81
AT ITER 6207 NEW BEST:: SOT 701546 SOS 369663 HAS SOPS 369663 HAS SOUS 158956 HAS SOUPS 158956 WITH SCORE 159325.663
AT ITER 6248 NEW BEST:: SOT 701536 SOS 369653 HAS SOPS 369653 HAS SOUS 158940 HAS SOUPS 158940 WITH SCORE 159309.653
AT ITER 6255 NEW BEST:: SOT 701489 SOS 369148 HAS SOPS 369148 HAS SOUS 158903 HAS SOUPS 158903 WITH SCORE 159272.148
AT ITER 6296 NEW BEST:: SOT 701460 SOS 369119 HAS SOPS 369119 HAS SOUS 158845 HAS SOUPS 158845 WITH SCORE 159214.119
AT ITER 6297 NEW BEST:: SOT 701459 SOS 369117 HAS SOPS 369117 HAS SOUS 158843 HAS SOUPS 158843 WITH SCORE 159212.117
AT ITER 6371 NEW BEST:: SOT 701437 SOS 369095 HAS SOPS 369095 HAS SOUS 158799 HAS SOUPS 158799 WITH SCORE 159168.095
AT ITER 6381 NEW BEST:: SOT 701568 SOS 369072 HAS SOPS 369072 HAS SOUS 158767 HAS SOUPS 158767 WITH SCORE 159136.072
AT ITER 6398 NEW BEST:: SOT 701369 SOS 368861 HAS SOPS 368861 HAS SOUS 158765 HAS SOUPS 158765 WITH SCORE 159133.861
AT ITER 6411 NEW BEST:: SOT 701312 SOS 368781 HAS SOPS 368781 HAS SOUS 158685 HAS SOUPS 158685 WITH SCORE 159053.781
AT ITER 6435 NEW BEST:: SOT 701511 SOS 367153 HAS SOPS 367153 HAS SOUS 158543 HAS SOUPS 158543 WITH SCORE 158910.153
AT ITER 6466 NEW BEST:: SOT 701330 SOS 366972 HAS SOPS 366972 HAS SOUS 158153 HAS SOUPS 158153 WITH SCORE 158519.972
AT ITER 6511 NEW BEST:: SOT 701330 SOS 366972 HAS SOPS 366972 HAS SOUS 158134 HAS SOUPS 158134 WITH SCORE 158500.972
AT ITER 6513 NEW BEST:: SOT 701311 SOS 366963 HAS SOPS 366963 HAS SOUS 158067 HAS SOUPS 158067 WITH SCORE 158433.963
AT ITER 6543 NEW BEST:: SOT 701294 SOS 366759 HAS SOPS 366759 HAS SOUS 158033 HAS SOUPS 158033 WITH SCORE 158399.759
AT ITER 6547 NEW BEST:: SOT 701255 SOS 366681 HAS SOPS 366681 HAS SOUS 157955 HAS SOUPS 157955 WITH SCORE 158321.681
AT ITER 6556 NEW BEST:: SOT 701163 SOS 366432 HAS SOPS 366432 HAS SOUS 157784 HAS SOUPS 157784 WITH SCORE 158150.432
AT ITER 6559 NEW BEST:: SOT 701085 SOS 366258 HAS SOPS 366258 HAS SOUS 157628 HAS SOUPS 157628 WITH SCORE 157994.258
AT ITER 6564 NEW BEST:: SOT 700212 SOS 365385 HAS SOPS 365385 HAS SOUS 156585 HAS SOUPS 156585 WITH SCORE 156950.385
AT ITER 6597 NEW BEST:: SOT 700113 SOS 365213 HAS SOPS 365213 HAS SOUS 156384 HAS SOUPS 156384 WITH SCORE 156749.213
AT ITER 6605 NEW BEST:: SOT 699934 SOS 364946 HAS SOPS 364946 HAS SOUS 156117 HAS SOUPS 156117 WITH SCORE 156481.946
AT ITER 6625 NEW BEST:: SOT 699902 SOS 364908 HAS SOPS 364908 HAS SOUS 156083 HAS SOUPS 156083 WITH SCORE 156447.908
AT ITER 6637 NEW BEST:: SOT 699677 SOS 364683 HAS SOPS 364683 HAS SOUS 155934 HAS SOUPS 155934 WITH SCORE 156298.683
AT ITER 6638 NEW BEST:: SOT 699658 SOS 364664 HAS SOPS 364664 HAS SOUS 155915 HAS SOUPS 155915 WITH SCORE 156279.664
AT ITER 6657 NEW BEST:: SOT 699653 SOS 364660 HAS SOPS 364660 HAS SOUS 155910 HAS SOUPS 155910 WITH SCORE 156274.66
AT ITER 6659 NEW BEST:: SOT 699906 SOS 364791 HAS SOPS 364791 HAS SOUS 155799 HAS SOUPS 155799 WITH SCORE 156163.791
AT ITER 6684 NEW BEST:: SOT 699768 SOS 364741 HAS SOPS 364741 HAS SOUS 155758 HAS SOUPS 155758 WITH SCORE 156122.741
AT ITER 6687 NEW BEST:: SOT 699763 SOS 364819 HAS SOPS 364819 HAS SOUS 155756 HAS SOUPS 155756 WITH SCORE 156120.819
AT ITER 6715 NEW BEST:: SOT 699740 SOS 364773 HAS SOPS 364773 HAS SOUS 155710 HAS SOUPS 155710 WITH SCORE 156074.773
AT ITER 6721 NEW BEST:: SOT 699711 SOS 364642 HAS SOPS 364642 HAS SOUS 155635 HAS SOUPS 155635 WITH SCORE 155999.642
AT ITER 6729 NEW BEST:: SOT 699711 SOS 365040 HAS SOPS 365040 HAS SOUS 155529 HAS SOUPS 155529 WITH SCORE 155894.04
AT ITER 6737 NEW BEST:: SOT 699710 SOS 365039 HAS SOPS 365039 HAS SOUS 155527 HAS SOUPS 155527 WITH SCORE 155892.039
AT ITER 6757 NEW BEST:: SOT 699710 SOS 364906 HAS SOPS 364906 HAS SOUS 155394 HAS SOUPS 155394 WITH SCORE 155758.906
AT ITER 6764 NEW BEST:: SOT 699542 SOS 364738 HAS SOPS 364738 HAS SOUS 155226 HAS SOUPS 155226 WITH SCORE 155590.738
AT ITER 6794 NEW BEST:: SOT 699317 SOS 364441 HAS SOPS 364441 HAS SOUS 155134 HAS SOUPS 155134 WITH SCORE 155498.441
AT ITER 6796 NEW BEST:: SOT 699234 SOS 364358 HAS SOPS 364358 HAS SOUS 155051 HAS SOUPS 155051 WITH SCORE 155415.358
AT ITER 6809 NEW BEST:: SOT 699153 SOS 364520 HAS SOPS 364520 HAS SOUS 154976 HAS SOUPS 154976 WITH SCORE 155340.52
AT ITER 6822 NEW BEST:: SOT 699022 SOS 364389 HAS SOPS 364389 HAS SOUS 154756 HAS SOUPS 154756 WITH SCORE 155120.389
AT ITER 6830 NEW BEST:: SOT 698914 SOS 364140 HAS SOPS 364140 HAS SOUS 154673 HAS SOUPS 154673 WITH SCORE 155037.14
AT ITER 6833 NEW BEST:: SOT 698890 SOS 364116 HAS SOPS 364116 HAS SOUS 154649 HAS SOUPS 154649 WITH SCORE 155013.116
AT ITER 6838 NEW BEST:: SOT 698843 SOS 363963 HAS SOPS 363963 HAS SOUS 154437 HAS SOUPS 154437 WITH SCORE 154800.963
AT ITER 6859 NEW BEST:: SOT 698843 SOS 363905 HAS SOPS 363905 HAS SOUS 154379 HAS SOUPS 154379 WITH SCORE 154742.905
AT ITER 6874 NEW BEST:: SOT 698382 SOS 363500 HAS SOPS 363500 HAS SOUS 153947 HAS SOUPS 153947 WITH SCORE 154310.5
AT ITER 6878 NEW BEST:: SOT 698393 SOS 363522 HAS SOPS 363522 HAS SOUS 153926 HAS SOUPS 153926 WITH SCORE 154289.522
AT ITER 6885 NEW BEST:: SOT 698189 SOS 363114 HAS SOPS 363114 HAS SOUS 153518 HAS SOUPS 153518 WITH SCORE 153881.114
AT ITER 6897 NEW BEST:: SOT 698189 SOS 363114 HAS SOPS 363114 HAS SOUS 153511 HAS SOUPS 153511 WITH SCORE 153874.114
AT ITER 6920 NEW BEST:: SOT 698043 SOS 362605 HAS SOPS 362605 HAS SOUS 153244 HAS SOUPS 153244 WITH SCORE 153606.605
AT ITER 6936 NEW BEST:: SOT 697992 SOS 362492 HAS SOPS 362492 HAS SOUS 153131 HAS SOUPS 153131 WITH SCORE 153493.492
AT ITER 6940 NEW BEST:: SOT 697969 SOS 362446 HAS SOPS 362446 HAS SOUS 153085 HAS SOUPS 153085 WITH SCORE 153447.446
AT ITER 6965 NEW BEST:: SOT 697969 SOS 362446 HAS SOPS 362446 HAS SOUS 153038 HAS SOUPS 153038 WITH SCORE 153400.446
AT ITER 6999 NEW BEST:: SOT 697903 SOS 362446 HAS SOPS 362446 HAS SOUS 152972 HAS SOUPS 152972 WITH SCORE 153334.446
AT ITER 7004 NEW BEST:: SOT 697887 SOS 362430 HAS SOPS 362430 HAS SOUS 152956 HAS SOUPS 152956 WITH SCORE 153318.43
AT ITER 7061 NEW BEST:: SOT 697881 SOS 362430 HAS SOPS 362430 HAS SOUS 152954 HAS SOUPS 152954 WITH SCORE 153316.43
AT ITER 7069 NEW BEST:: SOT 697842 SOS 362301 HAS SOPS 362301 HAS SOUS 152876 HAS SOUPS 152876 WITH SCORE 153238.301
AT ITER 7099 NEW BEST:: SOT 697801 SOS 362279 HAS SOPS 362279 HAS SOUS 152845 HAS SOUPS 152845 WITH SCORE 153207.279
AT ITER 7111 NEW BEST:: SOT 697462 SOS 361886 HAS SOPS 361886 HAS SOUS 152452 HAS SOUPS 152452 WITH SCORE 152813.886
AT ITER 7115 NEW BEST:: SOT 697433 SOS 361873 HAS SOPS 361873 HAS SOUS 152439 HAS SOUPS 152439 WITH SCORE 152800.873
AT ITER 7138 NEW BEST:: SOT 697407 SOS 361821 HAS SOPS 361821 HAS SOUS 152403 HAS SOUPS 152403 WITH SCORE 152764.821
AT ITER 7156 NEW BEST:: SOT 697484 SOS 361738 HAS SOPS 361738 HAS SOUS 152320 HAS SOUPS 152320 WITH SCORE 152681.738
AT ITER 7159 NEW BEST:: SOT 697197 SOS 361574 HAS SOPS 361574 HAS SOUS 152056 HAS SOUPS 152056 WITH SCORE 152417.574
AT ITER 7166 NEW BEST:: SOT 697197 SOS 361544 HAS SOPS 361544 HAS SOUS 152056 HAS SOUPS 152056 WITH SCORE 152417.544
AT ITER 7172 NEW BEST:: SOT 697087 SOS 361434 HAS SOPS 361434 HAS SOUS 151946 HAS SOUPS 151946 WITH SCORE 152307.434
AT ITER 7203 NEW BEST:: SOT 696974 SOS 361321 HAS SOPS 361321 HAS SOUS 151833 HAS SOUPS 151833 WITH SCORE 152194.321
AT ITER 7212 NEW BEST:: SOT 696809 SOS 360656 HAS SOPS 360656 HAS SOUS 151809 HAS SOUPS 151809 WITH SCORE 152169.656
AT ITER 7227 NEW BEST:: SOT 696806 SOS 360653 HAS SOPS 360653 HAS SOUS 151725 HAS SOUPS 151725 WITH SCORE 152085.653
AT ITER 7240 NEW BEST:: SOT 696703 SOS 360220 HAS SOPS 360220 HAS SOUS 151601 HAS SOUPS 151601 WITH SCORE 151961.22
AT ITER 7245 NEW BEST:: SOT 696693 SOS 360210 HAS SOPS 360210 HAS SOUS 151591 HAS SOUPS 151591 WITH SCORE 151951.21
AT ITER 7300 NEW BEST:: SOT 696612 SOS 359986 HAS SOPS 359986 HAS SOUS 151506 HAS SOUPS 151506 WITH SCORE 151865.986
AT ITER 7303 NEW BEST:: SOT 696607 SOS 359981 HAS SOPS 359981 HAS SOUS 151496 HAS SOUPS 151496 WITH SCORE 151855.981
AT ITER 7312 NEW BEST:: SOT 696601 SOS 359975 HAS SOPS 359975 HAS SOUS 151490 HAS SOUPS 151490 WITH SCORE 151849.975
AT ITER 7317 NEW BEST:: SOT 696317 SOS 359356 HAS SOPS 359356 HAS SOUS 151009 HAS SOUPS 151009 WITH SCORE 151368.356
AT ITER 7325 NEW BEST:: SOT 696312 SOS 359351 HAS SOPS 359351 HAS SOUS 150999 HAS SOUPS 150999 WITH SCORE 151358.351
AT ITER 7346 NEW BEST:: SOT 696255 SOS 359092 HAS SOPS 359092 HAS SOUS 150890 HAS SOUPS 150890 WITH SCORE 151249.092
AT ITER 7353 NEW BEST:: SOT 696236 SOS 359054 HAS SOPS 359054 HAS SOUS 150852 HAS SOUPS 150852 WITH SCORE 151211.054
AT ITER 7354 NEW BEST:: SOT 696288 SOS 359503 HAS SOPS 359503 HAS SOUS 150789 HAS SOUPS 150789 WITH SCORE 151148.503
AT ITER 7361 NEW BEST:: SOT 696277 SOS 359492 HAS SOPS 359492 HAS SOUS 150780 HAS SOUPS 150780 WITH SCORE 151139.492
AT ITER 7364 NEW BEST:: SOT 696344 SOS 359292 HAS SOPS 359292 HAS SOUS 150778 HAS SOUPS 150778 WITH SCORE 151137.292
AT ITER 7376 NEW BEST:: SOT 696310 SOS 358896 HAS SOPS 358896 HAS SOUS 150534 HAS SOUPS 150534 WITH SCORE 150892.896
AT ITER 7395 NEW BEST:: SOT 696183 SOS 358796 HAS SOPS 358796 HAS SOUS 150498 HAS SOUPS 150498 WITH SCORE 150856.796
AT ITER 7443 NEW BEST:: SOT 696123 SOS 358676 HAS SOPS 358676 HAS SOUS 150378 HAS SOUPS 150378 WITH SCORE 150736.676
AT ITER 7452 NEW BEST:: SOT 696185 SOS 358587 HAS SOPS 358587 HAS SOUS 150289 HAS SOUPS 150289 WITH SCORE 150647.587
AT ITER 7510 NEW BEST:: SOT 696195 SOS 358608 HAS SOPS 358608 HAS SOUS 150201 HAS SOUPS 150201 WITH SCORE 150559.608
AT ITER 7519 NEW BEST:: SOT 696168 SOS 358366 HAS SOPS 358366 HAS SOUS 150188 HAS SOUPS 150188 WITH SCORE 150546.366
AT ITER 7526 NEW BEST:: SOT 696135 SOS 358117 HAS SOPS 358117 HAS SOUS 150023 HAS SOUPS 150023 WITH SCORE 150381.117
AT ITER 7531 NEW BEST:: SOT 696126 SOS 358099 HAS SOPS 358099 HAS SOUS 150005 HAS SOUPS 150005 WITH SCORE 150363.099
AT ITER 7536 NEW BEST:: SOT 696108 SOS 358081 HAS SOPS 358081 HAS SOUS 149971 HAS SOUPS 149971 WITH SCORE 150329.081
AT ITER 7537 NEW BEST:: SOT 696064 SOS 357597 HAS SOPS 357597 HAS SOUS 149957 HAS SOUPS 149957 WITH SCORE 150314.597
AT ITER 7560 NEW BEST:: SOT 696053 SOS 357564 HAS SOPS 357564 HAS SOUS 149946 HAS SOUPS 149946 WITH SCORE 150303.564
AT ITER 7604 NEW BEST:: SOT 695907 SOS 357272 HAS SOPS 357272 HAS SOUS 149654 HAS SOUPS 149654 WITH SCORE 150011.272
AT ITER 7711 NEW BEST:: SOT 695886 SOS 357258 HAS SOPS 357258 HAS SOUS 149654 HAS SOUPS 149654 WITH SCORE 150011.258
AT ITER 7726 NEW BEST:: SOT 695530 SOS 356841 HAS SOPS 356841 HAS SOUS 149342 HAS SOUPS 149342 WITH SCORE 149698.841
AT ITER 7796 NEW BEST:: SOT 695450 SOS 356731 HAS SOPS 356731 HAS SOUS 149252 HAS SOUPS 149252 WITH SCORE 149608.731
AT ITER 7800 NEW BEST:: SOT 695382 SOS 356536 HAS SOPS 356536 HAS SOUS 149130 HAS SOUPS 149130 WITH SCORE 149486.536
AT ITER 7808 NEW BEST:: SOT 695198 SOS 356352 HAS SOPS 356352 HAS SOUS 148946 HAS SOUPS 148946 WITH SCORE 149302.352
AT ITER 7810 NEW BEST:: SOT 695172 SOS 356326 HAS SOPS 356326 HAS SOUS 148920 HAS SOUPS 148920 WITH SCORE 149276.326
AT ITER 7811 NEW BEST:: SOT 695110 SOS 356264 HAS SOPS 356264 HAS SOUS 148858 HAS SOUPS 148858 WITH SCORE 149214.264
AT ITER 7813 NEW BEST:: SOT 694656 SOS 355705 HAS SOPS 355705 HAS SOUS 148466 HAS SOUPS 148466 WITH SCORE 148821.705
AT ITER 7822 NEW BEST:: SOT 694656 SOS 355701 HAS SOPS 355701 HAS SOUS 148462 HAS SOUPS 148462 WITH SCORE 148817.701
AT ITER 7851 NEW BEST:: SOT 694614 SOS 355659 HAS SOPS 355659 HAS SOUS 148420 HAS SOUPS 148420 WITH SCORE 148775.659
AT ITER 7853 NEW BEST:: SOT 694562 SOS 355437 HAS SOPS 355437 HAS SOUS 148327 HAS SOUPS 148327 WITH SCORE 148682.437
AT ITER 7862 NEW BEST:: SOT 694445 SOS 355347 HAS SOPS 355347 HAS SOUS 148166 HAS SOUPS 148166 WITH SCORE 148521.347
AT ITER 7867 NEW BEST:: SOT 694430 SOS 355332 HAS SOPS 355332 HAS SOUS 148166 HAS SOUPS 148166 WITH SCORE 148521.332
AT ITER 7888 NEW BEST:: SOT 694404 SOS 355306 HAS SOPS 355306 HAS SOUS 148079 HAS SOUPS 148079 WITH SCORE 148434.306
AT ITER 7898 NEW BEST:: SOT 694275 SOS 355177 HAS SOPS 355177 HAS SOUS 147985 HAS SOUPS 147985 WITH SCORE 148340.177
AT ITER 7931 NEW BEST:: SOT 694273 SOS 355173 HAS SOPS 355173 HAS SOUS 147983 HAS SOUPS 147983 WITH SCORE 148338.173
AT ITER 7968 NEW BEST:: SOT 694227 SOS 355198 HAS SOPS 355198 HAS SOUS 147902 HAS SOUPS 147902 WITH SCORE 148257.198
AT ITER 7980 NEW BEST:: SOT 694227 SOS 355108 HAS SOPS 355108 HAS SOUS 147864 HAS SOUPS 147864 WITH SCORE 148219.108
AT ITER 7982 NEW BEST:: SOT 694199 SOS 355056 HAS SOPS 355056 HAS SOUS 147828 HAS SOUPS 147828 WITH SCORE 148183.056
AT ITER 8042 NEW BEST:: SOT 694199 SOS 355056 HAS SOPS 355056 HAS SOUS 147764 HAS SOUPS 147764 WITH SCORE 148119.056
AT ITER 8045 NEW BEST:: SOT 694115 SOS 354972 HAS SOPS 354972 HAS SOUS 147606 HAS SOUPS 147606 WITH SCORE 147960.972
AT ITER 8046 NEW BEST:: SOT 694107 SOS 354964 HAS SOPS 354964 HAS SOUS 147596 HAS SOUPS 147596 WITH SCORE 147950.964
AT ITER 8076 NEW BEST:: SOT 694090 SOS 354926 HAS SOPS 354926 HAS SOUS 147562 HAS SOUPS 147562 WITH SCORE 147916.926
AT ITER 8099 NEW BEST:: SOT 694048 SOS 354878 HAS SOPS 354878 HAS SOUS 147546 HAS SOUPS 147546 WITH SCORE 147900.878
AT ITER 8103 NEW BEST:: SOT 693981 SOS 354811 HAS SOPS 354811 HAS SOUS 147412 HAS SOUPS 147412 WITH SCORE 147766.811
AT ITER 8106 NEW BEST:: SOT 693981 SOS 354811 HAS SOPS 354811 HAS SOUS 147399 HAS SOUPS 147399 WITH SCORE 147753.811
AT ITER 8115 NEW BEST:: SOT 693981 SOS 354732 HAS SOPS 354732 HAS SOUS 147346 HAS SOUPS 147346 WITH SCORE 147700.732
AT ITER 8128 NEW BEST:: SOT 693981 SOS 354716 HAS SOPS 354716 HAS SOUS 147320 HAS SOUPS 147320 WITH SCORE 147674.716
AT ITER 8149 NEW BEST:: SOT 693894 SOS 354693 HAS SOPS 354693 HAS SOUS 147236 HAS SOUPS 147236 WITH SCORE 147590.693
AT ITER 8168 NEW BEST:: SOT 693893 SOS 354685 HAS SOPS 354685 HAS SOUS 147234 HAS SOUPS 147234 WITH SCORE 147588.685
AT ITER 8170 NEW BEST:: SOT 693851 SOS 354601 HAS SOPS 354601 HAS SOUS 147150 HAS SOUPS 147150 WITH SCORE 147504.601
AT ITER 8188 NEW BEST:: SOT 693844 SOS 354587 HAS SOPS 354587 HAS SOUS 147136 HAS SOUPS 147136 WITH SCORE 147490.587
AT ITER 8194 NEW BEST:: SOT 693838 SOS 354491 HAS SOPS 354491 HAS SOUS 147124 HAS SOUPS 147124 WITH SCORE 147478.491
AT ITER 8218 NEW BEST:: SOT 694006 SOS 354659 HAS SOPS 354659 HAS SOUS 147022 HAS SOUPS 147022 WITH SCORE 147376.659
AT ITER 8221 NEW BEST:: SOT 693830 SOS 354446 HAS SOPS 354446 HAS SOUS 146809 HAS SOUPS 146809 WITH SCORE 147163.446
AT ITER 8227 NEW BEST:: SOT 693720 SOS 354462 HAS SOPS 354462 HAS SOUS 146715 HAS SOUPS 146715 WITH SCORE 147069.462
AT ITER 8246 NEW BEST:: SOT 693677 SOS 354461 HAS SOPS 354461 HAS SOUS 146714 HAS SOUPS 146714 WITH SCORE 147068.461
AT ITER 8254 NEW BEST:: SOT 693670 SOS 354462 HAS SOPS 354462 HAS SOUS 146700 HAS SOUPS 146700 WITH SCORE 147054.462
AT ITER 8260 NEW BEST:: SOT 693639 SOS 354501 HAS SOPS 354501 HAS SOUS 146632 HAS SOUPS 146632 WITH SCORE 146986.501
AT ITER 8278 NEW BEST:: SOT 693468 SOS 354330 HAS SOPS 354330 HAS SOUS 146339 HAS SOUPS 146339 WITH SCORE 146693.33
AT ITER 8301 NEW BEST:: SOT 693456 SOS 354306 HAS SOPS 354306 HAS SOUS 146315 HAS SOUPS 146315 WITH SCORE 146669.306
AT ITER 8321 NEW BEST:: SOT 693418 SOS 354218 HAS SOPS 354218 HAS SOUS 146237 HAS SOUPS 146237 WITH SCORE 146591.218
AT ITER 8335 NEW BEST:: SOT 693360 SOS 354108 HAS SOPS 354108 HAS SOUS 146075 HAS SOUPS 146075 WITH SCORE 146429.108
AT ITER 8340 NEW BEST:: SOT 693352 SOS 354050 HAS SOPS 354050 HAS SOUS 146042 HAS SOUPS 146042 WITH SCORE 146396.05
AT ITER 8351 NEW BEST:: SOT 693410 SOS 353967 HAS SOPS 353967 HAS SOUS 145949 HAS SOUPS 145949 WITH SCORE 146302.967
AT ITER 8353 NEW BEST:: SOT 693342 SOS 353891 HAS SOPS 353891 HAS SOUS 145813 HAS SOUPS 145813 WITH SCORE 146166.891
AT ITER 8359 NEW BEST:: SOT 693334 SOS 353883 HAS SOPS 353883 HAS SOUS 145813 HAS SOUPS 145813 WITH SCORE 146166.883
AT ITER 8369 NEW BEST:: SOT 693334 SOS 353765 HAS SOPS 353765 HAS SOUS 145807 HAS SOUPS 145807 WITH SCORE 146160.765
AT ITER 8403 NEW BEST:: SOT 693326 SOS 353777 HAS SOPS 353777 HAS SOUS 145805 HAS SOUPS 145805 WITH SCORE 146158.777
AT ITER 8429 NEW BEST:: SOT 693325 SOS 353757 HAS SOPS 353757 HAS SOUS 145803 HAS SOUPS 145803 WITH SCORE 146156.757
AT ITER 8436 NEW BEST:: SOT 693325 SOS 353817 HAS SOPS 353817 HAS SOUS 145798 HAS SOUPS 145798 WITH SCORE 146151.817
AT ITER 8438 NEW BEST:: SOT 693277 SOS 352982 HAS SOPS 352982 HAS SOUS 145733 HAS SOUPS 145733 WITH SCORE 146085.982
AT ITER 8452 NEW BEST:: SOT 693271 SOS 352976 HAS SOPS 352976 HAS SOUS 145728 HAS SOUPS 145728 WITH SCORE 146080.976
AT ITER 8466 NEW BEST:: SOT 693259 SOS 352964 HAS SOPS 352964 HAS SOUS 145692 HAS SOUPS 145692 WITH SCORE 146044.964
AT ITER 8502 NEW BEST:: SOT 693235 SOS 352940 HAS SOPS 352940 HAS SOUS 145668 HAS SOUPS 145668 WITH SCORE 146020.94
AT ITER 8527 NEW BEST:: SOT 693235 SOS 352845 HAS SOPS 352845 HAS SOUS 145668 HAS SOUPS 145668 WITH SCORE 146020.845
AT ITER 8530 NEW BEST:: SOT 693219 SOS 352788 HAS SOPS 352788 HAS SOUS 145636 HAS SOUPS 145636 WITH SCORE 145988.788
AT ITER 8540 NEW BEST:: SOT 693218 SOS 352751 HAS SOPS 352751 HAS SOUS 145599 HAS SOUPS 145599 WITH SCORE 145951.751
AT ITER 8574 NEW BEST:: SOT 693094 SOS 352627 HAS SOPS 352627 HAS SOUS 145475 HAS SOUPS 145475 WITH SCORE 145827.627
AT ITER 8575 NEW BEST:: SOT 693199 SOS 352595 HAS SOPS 352595 HAS SOUS 145443 HAS SOUPS 145443 WITH SCORE 145795.595
AT ITER 8589 NEW BEST:: SOT 693079 SOS 351659 HAS SOPS 351659 HAS SOUS 145051 HAS SOUPS 145051 WITH SCORE 145402.659
AT ITER 8599 NEW BEST:: SOT 693069 SOS 351654 HAS SOPS 351654 HAS SOUS 145033 HAS SOUPS 145033 WITH SCORE 145384.654
AT ITER 8602 NEW BEST:: SOT 693059 SOS 351522 HAS SOPS 351522 HAS SOUS 144937 HAS SOUPS 144937 WITH SCORE 145288.522
AT ITER 8683 NEW BEST:: SOT 693042 SOS 351505 HAS SOPS 351505 HAS SOUS 144920 HAS SOUPS 144920 WITH SCORE 145271.505
AT ITER 8723 NEW BEST:: SOT 692725 SOS 351168 HAS SOPS 351168 HAS SOUS 144608 HAS SOUPS 144608 WITH SCORE 144959.168
AT ITER 8763 NEW BEST:: SOT 692573 SOS 350938 HAS SOPS 350938 HAS SOUS 144439 HAS SOUPS 144439 WITH SCORE 144789.938
AT ITER 8808 NEW BEST:: SOT 692578 SOS 350937 HAS SOPS 350937 HAS SOUS 144436 HAS SOUPS 144436 WITH SCORE 144786.937
AT ITER 8811 NEW BEST:: SOT 692440 SOS 350277 HAS SOPS 350277 HAS SOUS 144235 HAS SOUPS 144235 WITH SCORE 144585.277
AT ITER 8821 NEW BEST:: SOT 692385 SOS 350106 HAS SOPS 350106 HAS SOUS 144048 HAS SOUPS 144048 WITH SCORE 144398.106
AT ITER 8844 NEW BEST:: SOT 692371 SOS 350092 HAS SOPS 350092 HAS SOUS 144020 HAS SOUPS 144020 WITH SCORE 144370.092
AT ITER 8846 NEW BEST:: SOT 692344 SOS 350087 HAS SOPS 350087 HAS SOUS 144015 HAS SOUPS 144015 WITH SCORE 144365.087
AT ITER 8866 NEW BEST:: SOT 692101 SOS 349516 HAS SOPS 349516 HAS SOUS 143521 HAS SOUPS 143521 WITH SCORE 143870.516
AT ITER 8889 NEW BEST:: SOT 691940 SOS 349035 HAS SOPS 349035 HAS SOUS 143199 HAS SOUPS 143199 WITH SCORE 143548.035
AT ITER 8891 NEW BEST:: SOT 691930 SOS 349079 HAS SOPS 349079 HAS SOUS 143187 HAS SOUPS 143187 WITH SCORE 143536.079
AT ITER 8896 NEW BEST:: SOT 692003 SOS 348475 HAS SOPS 348475 HAS SOUS 142919 HAS SOUPS 142919 WITH SCORE 143267.475
AT ITER 8913 NEW BEST:: SOT 692003 SOS 348271 HAS SOPS 348271 HAS SOUS 142828 HAS SOUPS 142828 WITH SCORE 143176.271
AT ITER 8917 NEW BEST:: SOT 692020 SOS 348253 HAS SOPS 348253 HAS SOUS 142810 HAS SOUPS 142810 WITH SCORE 143158.253
AT ITER 8969 NEW BEST:: SOT 692020 SOS 348253 HAS SOPS 348253 HAS SOUS 142808 HAS SOUPS 142808 WITH SCORE 143156.253
AT ITER 8978 NEW BEST:: SOT 691983 SOS 348934 HAS SOPS 348934 HAS SOUS 142753 HAS SOUPS 142753 WITH SCORE 143101.934
AT ITER 9000 NEW BEST:: SOT 691818 SOS 348633 HAS SOPS 348633 HAS SOUS 142568 HAS SOUPS 142568 WITH SCORE 142916.633
AT ITER 9002 NEW BEST:: SOT 691818 SOS 348618 HAS SOPS 348618 HAS SOUS 142556 HAS SOUPS 142556 WITH SCORE 142904.618
AT ITER 9011 NEW BEST:: SOT 691818 SOS 348610 HAS SOPS 348610 HAS SOUS 142555 HAS SOUPS 142555 WITH SCORE 142903.61
AT ITER 9027 NEW BEST:: SOT 690775 SOS 346450 HAS SOPS 346450 HAS SOUS 141438 HAS SOUPS 141438 WITH SCORE 141784.45
AT ITER 9044 NEW BEST:: SOT 690715 SOS 346360 HAS SOPS 346360 HAS SOUS 141318 HAS SOUPS 141318 WITH SCORE 141664.36
AT ITER 9063 NEW BEST:: SOT 690354 SOS 346269 HAS SOPS 346269 HAS SOUS 140957 HAS SOUPS 140957 WITH SCORE 141303.269
AT ITER 9083 NEW BEST:: SOT 690276 SOS 346191 HAS SOPS 346191 HAS SOUS 140879 HAS SOUPS 140879 WITH SCORE 141225.191
AT ITER 9099 NEW BEST:: SOT 690276 SOS 345767 HAS SOPS 345767 HAS SOUS 140826 HAS SOUPS 140826 WITH SCORE 141171.767
AT ITER 9103 NEW BEST:: SOT 690194 SOS 345722 HAS SOPS 345722 HAS SOUS 140681 HAS SOUPS 140681 WITH SCORE 141026.722
AT ITER 9125 NEW BEST:: SOT 690194 SOS 344857 HAS SOPS 344857 HAS SOUS 140681 HAS SOUPS 140681 WITH SCORE 141025.857
AT ITER 9132 NEW BEST:: SOT 690164 SOS 344797 HAS SOPS 344797 HAS SOUS 140621 HAS SOUPS 140621 WITH SCORE 140965.797
AT ITER 9209 NEW BEST:: SOT 690335 SOS 344591 HAS SOPS 344591 HAS SOUS 140376 HAS SOUPS 140376 WITH SCORE 140720.591
AT ITER 9222 NEW BEST:: SOT 690329 SOS 344585 HAS SOPS 344585 HAS SOUS 140359 HAS SOUPS 140359 WITH SCORE 140703.585
AT ITER 9272 NEW BEST:: SOT 690164 SOS 344513 HAS SOPS 344513 HAS SOUS 140269 HAS SOUPS 140269 WITH SCORE 140613.513
AT ITER 9274 NEW BEST:: SOT 690121 SOS 344395 HAS SOPS 344395 HAS SOUS 140151 HAS SOUPS 140151 WITH SCORE 140495.395
AT ITER 9276 NEW BEST:: SOT 690067 SOS 344393 HAS SOPS 344393 HAS SOUS 140123 HAS SOUPS 140123 WITH SCORE 140467.393
AT ITER 9279 NEW BEST:: SOT 690008 SOS 344275 HAS SOPS 344275 HAS SOUS 139973 HAS SOUPS 139973 WITH SCORE 140317.275
AT ITER 9331 NEW BEST:: SOT 690041 SOS 344273 HAS SOPS 344273 HAS SOUS 139971 HAS SOUPS 139971 WITH SCORE 140315.273
AT ITER 9335 NEW BEST:: SOT 690035 SOS 344267 HAS SOPS 344267 HAS SOUS 139959 HAS SOUPS 139959 WITH SCORE 140303.267
AT ITER 9381 NEW BEST:: SOT 690020 SOS 343900 HAS SOPS 343900 HAS SOUS 139935 HAS SOUPS 139935 WITH SCORE 140278.9
AT ITER 9384 NEW BEST:: SOT 689963 SOS 343831 HAS SOPS 343831 HAS SOUS 139798 HAS SOUPS 139798 WITH SCORE 140141.831
AT ITER 9410 NEW BEST:: SOT 689924 SOS 343753 HAS SOPS 343753 HAS SOUS 139642 HAS SOUPS 139642 WITH SCORE 139985.753
AT ITER 9415 NEW BEST:: SOT 689696 SOS 343487 HAS SOPS 343487 HAS SOUS 139376 HAS SOUPS 139376 WITH SCORE 139719.487
AT ITER 9460 NEW BEST:: SOT 689667 SOS 343429 HAS SOPS 343429 HAS SOUS 139318 HAS SOUPS 139318 WITH SCORE 139661.429
AT ITER 9465 NEW BEST:: SOT 689656 SOS 343425 HAS SOPS 343425 HAS SOUS 139288 HAS SOUPS 139288 WITH SCORE 139631.425
AT ITER 9484 NEW BEST:: SOT 689538 SOS 343307 HAS SOPS 343307 HAS SOUS 139170 HAS SOUPS 139170 WITH SCORE 139513.307
AT ITER 9493 NEW BEST:: SOT 689541 SOS 343310 HAS SOPS 343310 HAS SOUS 139160 HAS SOUPS 139160 WITH SCORE 139503.31
AT ITER 9503 NEW BEST:: SOT 689528 SOS 343297 HAS SOPS 343297 HAS SOUS 139068 HAS SOUPS 139068 WITH SCORE 139411.297
AT ITER 9534 NEW BEST:: SOT 689460 SOS 343057 HAS SOPS 343057 HAS SOUS 139021 HAS SOUPS 139021 WITH SCORE 139364.057
AT ITER 9555 NEW BEST:: SOT 689460 SOS 342971 HAS SOPS 342971 HAS SOUS 138935 HAS SOUPS 138935 WITH SCORE 139277.971
AT ITER 9585 NEW BEST:: SOT 689451 SOS 342962 HAS SOPS 342962 HAS SOUS 138926 HAS SOUPS 138926 WITH SCORE 139268.962
AT ITER 9593 NEW BEST:: SOT 689361 SOS 342782 HAS SOPS 342782 HAS SOUS 138836 HAS SOUPS 138836 WITH SCORE 139178.782
AT ITER 9606 NEW BEST:: SOT 689005 SOS 343266 HAS SOPS 343266 HAS SOUS 138760 HAS SOUPS 138760 WITH SCORE 139103.266
AT ITER 9608 NEW BEST:: SOT 688951 SOS 343239 HAS SOPS 343239 HAS SOUS 138733 HAS SOUPS 138733 WITH SCORE 139076.239
AT ITER 9613 NEW BEST:: SOT 688931 SOS 343169 HAS SOPS 343169 HAS SOUS 138688 HAS SOUPS 138688 WITH SCORE 139031.169
AT ITER 9615 NEW BEST:: SOT 688844 SOS 343115 HAS SOPS 343115 HAS SOUS 138634 HAS SOUPS 138634 WITH SCORE 138977.115
AT ITER 9663 NEW BEST:: SOT 688853 SOS 343124 HAS SOPS 343124 HAS SOUS 138579 HAS SOUPS 138579 WITH SCORE 138922.124
AT ITER 9677 NEW BEST:: SOT 688715 SOS 343013 HAS SOPS 343013 HAS SOUS 138468 HAS SOUPS 138468 WITH SCORE 138811.013
AT ITER 9695 NEW BEST:: SOT 688613 SOS 342827 HAS SOPS 342827 HAS SOUS 138396 HAS SOUPS 138396 WITH SCORE 138738.827
AT ITER 9696 NEW BEST:: SOT 688613 SOS 342827 HAS SOPS 342827 HAS SOUS 138386 HAS SOUPS 138386 WITH SCORE 138728.827
AT ITER 9726 NEW BEST:: SOT 688609 SOS 342819 HAS SOPS 342819 HAS SOUS 138378 HAS SOUPS 138378 WITH SCORE 138720.819
AT ITER 9742 NEW BEST:: SOT 688562 SOS 342699 HAS SOPS 342699 HAS SOUS 138284 HAS SOUPS 138284 WITH SCORE 138626.699
AT ITER 9776 NEW BEST:: SOT 688555 SOS 342692 HAS SOPS 342692 HAS SOUS 138277 HAS SOUPS 138277 WITH SCORE 138619.692
AT ITER 9777 NEW BEST:: SOT 688349 SOS 342649 HAS SOPS 342649 HAS SOUS 138234 HAS SOUPS 138234 WITH SCORE 138576.649
AT ITER 9812 NEW BEST:: SOT 688285 SOS 342553 HAS SOPS 342553 HAS SOUS 138136 HAS SOUPS 138136 WITH SCORE 138478.553
AT ITER 9850 NEW BEST:: SOT 688155 SOS 342423 HAS SOPS 342423 HAS SOUS 137899 HAS SOUPS 137899 WITH SCORE 138241.423
AT ITER 9857 NEW BEST:: SOT 688206 SOS 342339 HAS SOPS 342339 HAS SOUS 137896 HAS SOUPS 137896 WITH SCORE 138238.339
AT ITER 9864 NEW BEST:: SOT 688181 SOS 342089 HAS SOPS 342089 HAS SOUS 137821 HAS SOUPS 137821 WITH SCORE 138163.089
AT ITER 9888 NEW BEST:: SOT 688137 SOS 342045 HAS SOPS 342045 HAS SOUS 137777 HAS SOUPS 137777 WITH SCORE 138119.045
AT ITER 9906 NEW BEST:: SOT 688111 SOS 342019 HAS SOPS 342019 HAS SOUS 137675 HAS SOUPS 137675 WITH SCORE 138017.019
AT ITER 9914 NEW BEST:: SOT 688103 SOS 342003 HAS SOPS 342003 HAS SOUS 137659 HAS SOUPS 137659 WITH SCORE 138001.003
AT ITER 9923 NEW BEST:: SOT 688103 SOS 342039 HAS SOPS 342039 HAS SOUS 137623 HAS SOUPS 137623 WITH SCORE 137965.039
AT ITER 9962 NEW BEST:: SOT 688072 SOS 342004 HAS SOPS 342004 HAS SOUS 137588 HAS SOUPS 137588 WITH SCORE 137930.004
AT ITER 9970 NEW BEST:: SOT 688072 SOS 341995 HAS SOPS 341995 HAS SOUS 137588 HAS SOUPS 137588 WITH SCORE 137929.995
AT ITER 9976 NEW BEST:: SOT 687970 SOS 341893 HAS SOPS 341893 HAS SOUS 137384 HAS SOUPS 137384 WITH SCORE 137725.893
AT ITER 9999 NEW BEST:: SOT 687996 SOS 341919 HAS SOPS 341919 HAS SOUS 137378 HAS SOUPS 137378 WITH SCORE 137719.919
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 8420756 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16121560 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smartxred"
echo " Input is ASLink-PT-04a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r011-oct2-167813599700064"
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 [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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