Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 27 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 14:36 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Apr 27 14:36 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.5K Apr 27 14:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 27 14:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.8K Apr 27 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Apr 27 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 27 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 27 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 27 14:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 27 14:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 equiv_col
-rw-r--r-- 1 mcc users 4 Apr 27 14:36 instance
-rw-r--r-- 1 mcc users 6 Apr 27 14:36 iscolored
-rw-r--r-- 1 mcc users 1.5M Apr 27 14:36 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589361059210

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

GOT IT HERE. BS
Petri model created: 250 places, 2600 transitions, 20100 arcs.
AT ITER 0 NEW BEST:: SOT 578557 SOS 530341 HAS SOPS 499860 HAS SOUS 486339 HAS SOUPS 475458 WITH SCORE 475988.341
AT ITER 1 NEW BEST:: SOT 576024 SOS 532206 HAS SOPS 496154 HAS SOUS 472468 HAS SOUPS 461630 WITH SCORE 462162.206
AT ITER 2 NEW BEST:: SOT 576024 SOS 532206 HAS SOPS 496106 HAS SOUS 472372 HAS SOUPS 461534 WITH SCORE 462066.206
AT ITER 4 NEW BEST:: SOT 576024 SOS 531302 HAS SOPS 494372 HAS SOUS 468274 HAS SOUPS 457500 WITH SCORE 458031.302
AT ITER 6 NEW BEST:: SOT 573672 SOS 528950 HAS SOPS 492020 HAS SOUS 465922 HAS SOUPS 455148 WITH SCORE 455676.95
AT ITER 7 NEW BEST:: SOT 573672 SOS 528950 HAS SOPS 491991 HAS SOUS 465864 HAS SOUPS 455090 WITH SCORE 455618.95
AT ITER 10 NEW BEST:: SOT 570375 SOS 525653 HAS SOPS 488694 HAS SOUS 462567 HAS SOUPS 451793 WITH SCORE 452318.653
AT ITER 12 NEW BEST:: SOT 566235 SOS 521513 HAS SOPS 484554 HAS SOUS 458427 HAS SOUPS 447653 WITH SCORE 448174.513
AT ITER 13 NEW BEST:: SOT 563599 SOS 518877 HAS SOPS 481918 HAS SOUS 455791 HAS SOUPS 445017 WITH SCORE 445535.877
AT ITER 15 NEW BEST:: SOT 563599 SOS 518877 HAS SOPS 481872 HAS SOUS 455699 HAS SOUPS 444925 WITH SCORE 445443.877
AT ITER 17 NEW BEST:: SOT 563599 SOS 517671 HAS SOPS 480342 HAS SOUS 451915 HAS SOUPS 441209 WITH SCORE 441726.671
AT ITER 18 NEW BEST:: SOT 563594 SOS 517241 HAS SOPS 479745 HAS SOUS 451864 HAS SOUPS 441158 WITH SCORE 441675.241
AT ITER 19 NEW BEST:: SOT 558841 SOS 512514 HAS SOPS 474943 HAS SOUS 447064 HAS SOUPS 436307 WITH SCORE 436819.514
AT ITER 20 NEW BEST:: SOT 558841 SOS 512289 HAS SOPS 474331 HAS SOUS 446053 HAS SOUPS 435308 WITH SCORE 435820.289
AT ITER 21 NEW BEST:: SOT 555218 SOS 508666 HAS SOPS 470708 HAS SOUS 442430 HAS SOUPS 431685 WITH SCORE 432193.666
AT ITER 25 NEW BEST:: SOT 555218 SOS 507626 HAS SOPS 471165 HAS SOUS 438692 HAS SOUPS 428053 WITH SCORE 428560.626
AT ITER 26 NEW BEST:: SOT 551788 SOS 504273 HAS SOPS 467735 HAS SOUS 435427 HAS SOUPS 424623 WITH SCORE 425127.273
AT ITER 27 NEW BEST:: SOT 551788 SOS 503851 HAS SOPS 461463 HAS SOUS 429403 HAS SOUPS 418599 WITH SCORE 419102.851
AT ITER 28 NEW BEST:: SOT 547899 SOS 499962 HAS SOPS 457525 HAS SOUS 425434 HAS SOUPS 414612 WITH SCORE 415111.962
AT ITER 31 NEW BEST:: SOT 548142 SOS 498890 HAS SOPS 455372 HAS SOUS 417001 HAS SOUPS 406331 WITH SCORE 406829.89
AT ITER 32 NEW BEST:: SOT 545811 SOS 496559 HAS SOPS 453041 HAS SOUS 414670 HAS SOUPS 404000 WITH SCORE 404496.559
AT ITER 33 NEW BEST:: SOT 547038 SOS 497225 HAS SOPS 454268 HAS SOUS 406766 HAS SOUPS 396189 WITH SCORE 396686.225
AT ITER 36 NEW BEST:: SOT 546989 SOS 497176 HAS SOPS 454235 HAS SOUS 406749 HAS SOUPS 396172 WITH SCORE 396669.176
AT ITER 37 NEW BEST:: SOT 546025 SOS 496212 HAS SOPS 453271 HAS SOUS 405836 HAS SOUPS 395208 WITH SCORE 395704.212
AT ITER 38 NEW BEST:: SOT 545657 SOS 495844 HAS SOPS 452903 HAS SOUS 405460 HAS SOUPS 394840 WITH SCORE 395335.844
AT ITER 39 NEW BEST:: SOT 545657 SOS 494654 HAS SOPS 450761 HAS SOUS 401624 HAS SOUPS 391060 WITH SCORE 391554.654
AT ITER 41 NEW BEST:: SOT 545788 SOS 493753 HAS SOPS 448465 HAS SOUS 394284 HAS SOUPS 383841 WITH SCORE 384334.753
AT ITER 45 NEW BEST:: SOT 545788 SOS 493474 HAS SOPS 447615 HAS SOUS 392846 HAS SOUPS 382420 WITH SCORE 382913.474
AT ITER 46 NEW BEST:: SOT 542476 SOS 490162 HAS SOPS 444254 HAS SOUS 389436 HAS SOUPS 379010 WITH SCORE 379500.162
AT ITER 48 NEW BEST:: SOT 539065 SOS 486190 HAS SOPS 438497 HAS SOUS 384040 HAS SOUPS 373717 WITH SCORE 374203.19
AT ITER 50 NEW BEST:: SOT 539065 SOS 486190 HAS SOPS 438448 HAS SOUS 383942 HAS SOUPS 373619 WITH SCORE 374105.19
AT ITER 51 NEW BEST:: SOT 536305 SOS 482321 HAS SOPS 433238 HAS SOUS 371658 HAS SOUPS 361433 WITH SCORE 361915.321
AT ITER 54 NEW BEST:: SOT 536305 SOS 480645 HAS SOPS 431912 HAS SOUS 370922 HAS SOUPS 360739 WITH SCORE 361219.645
AT ITER 55 NEW BEST:: SOT 536305 SOS 478785 HAS SOPS 430688 HAS SOUS 367810 HAS SOUPS 357701 WITH SCORE 358179.785
AT ITER 58 NEW BEST:: SOT 536880 SOS 479115 HAS SOPS 431325 HAS SOUS 363204 HAS SOUPS 353206 WITH SCORE 353685.115
AT ITER 60 NEW BEST:: SOT 536880 SOS 477913 HAS SOPS 428979 HAS SOUS 359368 HAS SOUPS 349422 WITH SCORE 349899.913
AT ITER 61 NEW BEST:: SOT 538225 SOS 479148 HAS SOPS 430324 HAS SOUS 357073 HAS SOUPS 347202 WITH SCORE 347681.148
AT ITER 62 NEW BEST:: SOT 538225 SOS 477295 HAS SOPS 427999 HAS SOUS 354223 HAS SOUPS 344399 WITH SCORE 344876.295
AT ITER 63 NEW BEST:: SOT 536582 SOS 475652 HAS SOPS 426356 HAS SOUS 352580 HAS SOUPS 342756 WITH SCORE 343231.652
AT ITER 67 NEW BEST:: SOT 534552 SOS 473622 HAS SOPS 424326 HAS SOUS 350598 HAS SOUPS 340726 WITH SCORE 341199.622
AT ITER 68 NEW BEST:: SOT 535113 SOS 472301 HAS SOPS 422847 HAS SOUS 342721 HAS SOUPS 333013 WITH SCORE 333485.301
AT ITER 70 NEW BEST:: SOT 535113 SOS 471706 HAS SOPS 422847 HAS SOUS 341516 HAS SOUPS 331844 WITH SCORE 332315.706
AT ITER 71 NEW BEST:: SOT 530975 SOS 467535 HAS SOPS 418556 HAS SOUS 337267 HAS SOUPS 327580 WITH SCORE 328047.535
AT ITER 72 NEW BEST:: SOT 530975 SOS 465629 HAS SOPS 418174 HAS SOUS 334227 HAS SOUPS 324631 WITH SCORE 325096.629
AT ITER 75 NEW BEST:: SOT 530476 SOS 465130 HAS SOPS 417675 HAS SOUS 333736 HAS SOUPS 324132 WITH SCORE 324597.13
AT ITER 76 NEW BEST:: SOT 530476 SOS 464100 HAS SOPS 417114 HAS SOUS 330683 HAS SOUPS 321149 WITH SCORE 321613.1
AT ITER 77 NEW BEST:: SOT 530938 SOS 463034 HAS SOPS 415077 HAS SOUS 320508 HAS SOUPS 311134 WITH SCORE 311597.034
AT ITER 78 NEW BEST:: SOT 529543 SOS 461639 HAS SOPS 413679 HAS SOUS 319107 HAS SOUPS 309733 WITH SCORE 310194.639
AT ITER 80 NEW BEST:: SOT 536450 SOS 467497 HAS SOPS 420748 HAS SOUS 316989 HAS SOUPS 307822 WITH SCORE 308289.497
AT ITER 81 NEW BEST:: SOT 540291 SOS 471072 HAS SOPS 425974 HAS SOUS 313187 HAS SOUPS 304207 WITH SCORE 304678.072
AT ITER 84 NEW BEST:: SOT 540291 SOS 470713 HAS SOPS 425100 HAS SOUS 312706 HAS SOUPS 303726 WITH SCORE 304196.713
AT ITER 89 NEW BEST:: SOT 537124 SOS 467546 HAS SOPS 421933 HAS SOUS 309609 HAS SOUPS 300559 WITH SCORE 301026.546
AT ITER 90 NEW BEST:: SOT 537124 SOS 467454 HAS SOPS 421780 HAS SOUS 309542 HAS SOUPS 300492 WITH SCORE 300959.454
AT ITER 92 NEW BEST:: SOT 536578 SOS 466908 HAS SOPS 421234 HAS SOUS 308982 HAS SOUPS 299946 WITH SCORE 300412.908
AT ITER 97 NEW BEST:: SOT 536578 SOS 466914 HAS SOPS 421387 HAS SOUS 308885 HAS SOUPS 299854 WITH SCORE 300320.914
AT ITER 100 NEW BEST:: SOT 536581 SOS 464235 HAS SOPS 417590 HAS SOUS 303907 HAS SOUPS 294952 WITH SCORE 295416.235
AT ITER 102 NEW BEST:: SOT 536562 SOS 463596 HAS SOPS 415183 HAS SOUS 302084 HAS SOUPS 293129 WITH SCORE 293592.596
AT ITER 103 NEW BEST:: SOT 536562 SOS 462685 HAS SOPS 411360 HAS SOUS 299093 HAS SOUPS 290138 WITH SCORE 290600.685
AT ITER 104 NEW BEST:: SOT 536567 SOS 462641 HAS SOPS 411375 HAS SOUS 298667 HAS SOUPS 289722 WITH SCORE 290184.641
AT ITER 105 NEW BEST:: SOT 536567 SOS 461541 HAS SOPS 410967 HAS SOUS 297193 HAS SOUPS 288291 WITH SCORE 288752.541
AT ITER 107 NEW BEST:: SOT 536469 SOS 461474 HAS SOPS 410894 HAS SOUS 297032 HAS SOUPS 288181 WITH SCORE 288642.474
AT ITER 110 NEW BEST:: SOT 536380 SOS 461385 HAS SOPS 410796 HAS SOUS 296885 HAS SOUPS 288074 WITH SCORE 288535.385
AT ITER 113 NEW BEST:: SOT 535131 SOS 462137 HAS SOPS 410363 HAS SOUS 296098 HAS SOUPS 287209 WITH SCORE 287671.137
AT ITER 114 NEW BEST:: SOT 531115 SOS 458208 HAS SOPS 406347 HAS SOUS 295145 HAS SOUPS 286193 WITH SCORE 286651.208
AT ITER 115 NEW BEST:: SOT 526334 SOS 453427 HAS SOPS 401566 HAS SOUS 290391 HAS SOUPS 281412 WITH SCORE 281865.427
AT ITER 117 NEW BEST:: SOT 526334 SOS 451311 HAS SOPS 399816 HAS SOUS 288972 HAS SOUPS 280028 WITH SCORE 280479.311
AT ITER 119 NEW BEST:: SOT 527412 SOS 451625 HAS SOPS 400961 HAS SOUS 285246 HAS SOUPS 276416 WITH SCORE 276867.625
AT ITER 122 NEW BEST:: SOT 534982 SOS 457129 HAS SOPS 408105 HAS SOUS 283899 HAS SOUPS 275291 WITH SCORE 275748.129
AT ITER 123 NEW BEST:: SOT 535079 SOS 455061 HAS SOPS 407116 HAS SOUS 279183 HAS SOUPS 270692 WITH SCORE 271147.061
AT ITER 126 NEW BEST:: SOT 532256 SOS 451904 HAS SOPS 403479 HAS SOUS 275801 HAS SOUPS 267310 WITH SCORE 267761.904
AT ITER 128 NEW BEST:: SOT 530735 SOS 447715 HAS SOPS 398068 HAS SOUS 267511 HAS SOUPS 259158 WITH SCORE 259605.715
AT ITER 130 NEW BEST:: SOT 530735 SOS 447644 HAS SOPS 398068 HAS SOUS 267132 HAS SOUPS 258788 WITH SCORE 259235.644
AT ITER 131 NEW BEST:: SOT 530817 SOS 447724 HAS SOPS 398150 HAS SOUS 267116 HAS SOUPS 258774 WITH SCORE 259221.724
AT ITER 133 NEW BEST:: SOT 530791 SOS 447698 HAS SOPS 398124 HAS SOUS 267090 HAS SOUPS 258748 WITH SCORE 259195.698
AT ITER 135 NEW BEST:: SOT 530791 SOS 447686 HAS SOPS 398029 HAS SOUS 267045 HAS SOUPS 258620 WITH SCORE 259067.686
AT ITER 144 NEW BEST:: SOT 530791 SOS 447122 HAS SOPS 395829 HAS SOUS 265321 HAS SOUPS 256896 WITH SCORE 257343.122
AT ITER 146 NEW BEST:: SOT 530653 SOS 446984 HAS SOPS 395691 HAS SOUS 265179 HAS SOUPS 256758 WITH SCORE 257204.984
AT ITER 147 NEW BEST:: SOT 530653 SOS 445182 HAS SOPS 395271 HAS SOUS 262632 HAS SOUPS 254290 WITH SCORE 254735.182
AT ITER 150 NEW BEST:: SOT 530653 SOS 445236 HAS SOPS 395526 HAS SOUS 262593 HAS SOUPS 254256 WITH SCORE 254701.236
AT ITER 151 NEW BEST:: SOT 530653 SOS 445236 HAS SOPS 395525 HAS SOUS 262592 HAS SOUPS 254254 WITH SCORE 254699.236
AT ITER 152 NEW BEST:: SOT 529441 SOS 443146 HAS SOPS 394166 HAS SOUS 259253 HAS SOUPS 251029 WITH SCORE 251472.146
AT ITER 154 NEW BEST:: SOT 529441 SOS 442062 HAS SOPS 392636 HAS SOUS 258747 HAS SOUPS 250523 WITH SCORE 250965.062
AT ITER 156 NEW BEST:: SOT 529441 SOS 442062 HAS SOPS 392635 HAS SOUS 258745 HAS SOUPS 250521 WITH SCORE 250963.062
AT ITER 158 NEW BEST:: SOT 529270 SOS 441891 HAS SOPS 392464 HAS SOUS 258574 HAS SOUPS 250350 WITH SCORE 250791.891
AT ITER 161 NEW BEST:: SOT 529940 SOS 439315 HAS SOPS 390819 HAS SOUS 252482 HAS SOUPS 244413 WITH SCORE 244852.315
AT ITER 163 NEW BEST:: SOT 528161 SOS 437509 HAS SOPS 388970 HAS SOUS 250617 HAS SOUPS 242548 WITH SCORE 242985.509
AT ITER 164 NEW BEST:: SOT 528139 SOS 437487 HAS SOPS 388937 HAS SOUS 250625 HAS SOUPS 242504 WITH SCORE 242941.487
AT ITER 165 NEW BEST:: SOT 528139 SOS 437202 HAS SOPS 388580 HAS SOUS 250539 HAS SOUPS 242418 WITH SCORE 242855.202
AT ITER 166 NEW BEST:: SOT 531500 SOS 437592 HAS SOPS 389552 HAS SOUS 246844 HAS SOUPS 238876 WITH SCORE 239313.592
AT ITER 167 NEW BEST:: SOT 531500 SOS 437565 HAS SOPS 389452 HAS SOUS 246767 HAS SOUPS 238799 WITH SCORE 239236.565
AT ITER 169 NEW BEST:: SOT 531500 SOS 436426 HAS SOPS 386982 HAS SOUS 245367 HAS SOUPS 237399 WITH SCORE 237835.426
AT ITER 172 NEW BEST:: SOT 530129 SOS 434619 HAS SOPS 384911 HAS SOUS 243704 HAS SOUPS 235736 WITH SCORE 236170.619
AT ITER 174 NEW BEST:: SOT 530129 SOS 433686 HAS SOPS 382991 HAS SOUS 242643 HAS SOUPS 234675 WITH SCORE 235108.686
AT ITER 177 NEW BEST:: SOT 530429 SOS 432049 HAS SOPS 379591 HAS SOUS 237332 HAS SOUPS 229438 WITH SCORE 229870.049
AT ITER 178 NEW BEST:: SOT 532508 SOS 433894 HAS SOPS 381686 HAS SOUS 235077 HAS SOUPS 227275 WITH SCORE 227708.894
AT ITER 179 NEW BEST:: SOT 532508 SOS 432702 HAS SOPS 379138 HAS SOUS 233574 HAS SOUPS 225772 WITH SCORE 226204.702
AT ITER 180 NEW BEST:: SOT 531635 SOS 432503 HAS SOPS 381921 HAS SOUS 229833 HAS SOUPS 222096 WITH SCORE 222528.503
AT ITER 181 NEW BEST:: SOT 531635 SOS 431423 HAS SOPS 380391 HAS SOUS 229357 HAS SOUPS 221586 WITH SCORE 222017.423
AT ITER 182 NEW BEST:: SOT 534085 SOS 433208 HAS SOPS 386330 HAS SOUS 225509 HAS SOUPS 217824 WITH SCORE 218257.208
AT ITER 183 NEW BEST:: SOT 532462 SOS 431569 HAS SOPS 384626 HAS SOUS 223756 HAS SOUPS 216071 WITH SCORE 216502.569
AT ITER 184 NEW BEST:: SOT 530522 SOS 429629 HAS SOPS 382686 HAS SOUS 221816 HAS SOUPS 214131 WITH SCORE 214560.629
AT ITER 185 NEW BEST:: SOT 533777 SOS 431731 HAS SOPS 385994 HAS SOUS 219830 HAS SOUPS 212275 WITH SCORE 212706.731
AT ITER 186 NEW BEST:: SOT 533777 SOS 429877 HAS SOPS 383924 HAS SOUS 219409 HAS SOUPS 211943 WITH SCORE 212372.877
AT ITER 187 NEW BEST:: SOT 533777 SOS 428808 HAS SOPS 382270 HAS SOUS 218756 HAS SOUPS 211370 WITH SCORE 211798.808
AT ITER 192 NEW BEST:: SOT 534520 SOS 431544 HAS SOPS 389213 HAS SOUS 217104 HAS SOUPS 209855 WITH SCORE 210286.544
AT ITER 197 NEW BEST:: SOT 534729 SOS 431529 HAS SOPS 389422 HAS SOUS 215337 HAS SOUPS 208132 WITH SCORE 208563.529
AT ITER 198 NEW BEST:: SOT 534729 SOS 431529 HAS SOPS 389414 HAS SOUS 215321 HAS SOUPS 208116 WITH SCORE 208547.529
AT ITER 199 NEW BEST:: SOT 534734 SOS 431493 HAS SOPS 389419 HAS SOUS 215117 HAS SOUPS 207917 WITH SCORE 208348.493
AT ITER 201 NEW BEST:: SOT 533829 SOS 430095 HAS SOPS 387114 HAS SOUS 213249 HAS SOUPS 206049 WITH SCORE 206479.095
AT ITER 204 NEW BEST:: SOT 532196 SOS 428462 HAS SOPS 385432 HAS SOUS 211518 HAS SOUPS 204318 WITH SCORE 204746.462
AT ITER 207 NEW BEST:: SOT 532196 SOS 427008 HAS SOPS 382982 HAS SOUS 210473 HAS SOUPS 203273 WITH SCORE 203700.008
AT ITER 209 NEW BEST:: SOT 532191 SOS 426995 HAS SOPS 382969 HAS SOUS 210460 HAS SOUPS 203260 WITH SCORE 203686.995
AT ITER 213 NEW BEST:: SOT 532199 SOS 426301 HAS SOPS 382987 HAS SOUS 209830 HAS SOUPS 202657 WITH SCORE 203083.301
AT ITER 214 NEW BEST:: SOT 532210 SOS 426232 HAS SOPS 382998 HAS SOUS 209421 HAS SOUPS 202258 WITH SCORE 202684.232
AT ITER 215 NEW BEST:: SOT 533182 SOS 426766 HAS SOPS 383949 HAS SOUS 206212 HAS SOUPS 199141 WITH SCORE 199567.766
AT ITER 216 NEW BEST:: SOT 532057 SOS 425641 HAS SOPS 382824 HAS SOUS 205087 HAS SOUPS 198016 WITH SCORE 198441.641
AT ITER 217 NEW BEST:: SOT 531665 SOS 425249 HAS SOPS 382459 HAS SOUS 204749 HAS SOUPS 197678 WITH SCORE 198103.249
AT ITER 222 NEW BEST:: SOT 531665 SOS 424832 HAS SOPS 381949 HAS SOUS 204636 HAS SOUPS 197565 WITH SCORE 197989.832
AT ITER 224 NEW BEST:: SOT 531841 SOS 425179 HAS SOPS 383996 HAS SOUS 203034 HAS SOUPS 196034 WITH SCORE 196459.179
AT ITER 226 NEW BEST:: SOT 531841 SOS 424340 HAS SOPS 382297 HAS SOUS 202092 HAS SOUPS 195092 WITH SCORE 195516.34
AT ITER 230 NEW BEST:: SOT 531841 SOS 423341 HAS SOPS 380337 HAS SOUS 201088 HAS SOUPS 194091 WITH SCORE 194514.341
AT ITER 232 NEW BEST:: SOT 531674 SOS 422641 HAS SOPS 380170 HAS SOUS 197658 HAS SOUPS 190684 WITH SCORE 191106.641
AT ITER 235 NEW BEST:: SOT 531674 SOS 422369 HAS SOPS 379720 HAS SOUS 197471 HAS SOUPS 190497 WITH SCORE 190919.369
AT ITER 236 NEW BEST:: SOT 531306 SOS 422001 HAS SOPS 379304 HAS SOUS 197014 HAS SOUPS 190033 WITH SCORE 190455.001
AT ITER 237 NEW BEST:: SOT 531782 SOS 419975 HAS SOPS 376124 HAS SOUS 196237 HAS SOUPS 189211 WITH SCORE 189630.975
AT ITER 242 NEW BEST:: SOT 531782 SOS 416615 HAS SOPS 371777 HAS SOUS 195214 HAS SOUPS 188188 WITH SCORE 188604.615
AT ITER 243 NEW BEST:: SOT 531867 SOS 417688 HAS SOPS 374310 HAS SOUS 194455 HAS SOUPS 187477 WITH SCORE 187894.688
AT ITER 246 NEW BEST:: SOT 530548 SOS 414849 HAS SOPS 370599 HAS SOUS 192237 HAS SOUPS 185192 WITH SCORE 185606.849
AT ITER 252 NEW BEST:: SOT 530548 SOS 411539 HAS SOPS 367032 HAS SOUS 191256 HAS SOUPS 184290 WITH SCORE 184701.539
AT ITER 253 NEW BEST:: SOT 530874 SOS 412330 HAS SOPS 370752 HAS SOUS 188497 HAS SOUPS 181654 WITH SCORE 182066.33
AT ITER 254 NEW BEST:: SOT 530874 SOS 412264 HAS SOPS 370652 HAS SOUS 188459 HAS SOUPS 181616 WITH SCORE 182028.264
AT ITER 258 NEW BEST:: SOT 527857 SOS 409247 HAS SOPS 367635 HAS SOUS 185442 HAS SOUPS 178599 WITH SCORE 179008.247
AT ITER 259 NEW BEST:: SOT 527857 SOS 406475 HAS SOPS 364073 HAS SOUS 184642 HAS SOUPS 177799 WITH SCORE 178205.475
AT ITER 263 NEW BEST:: SOT 528374 SOS 406948 HAS SOPS 364590 HAS SOUS 183953 HAS SOUPS 177135 WITH SCORE 177541.948
AT ITER 265 NEW BEST:: SOT 528369 SOS 406922 HAS SOPS 364562 HAS SOUS 183925 HAS SOUPS 177107 WITH SCORE 177513.922
AT ITER 268 NEW BEST:: SOT 530149 SOS 405010 HAS SOPS 365359 HAS SOUS 180103 HAS SOUPS 173498 WITH SCORE 173903.01
AT ITER 270 NEW BEST:: SOT 530739 SOS 402407 HAS SOPS 363544 HAS SOUS 176570 HAS SOUPS 170070 WITH SCORE 170472.407
AT ITER 273 NEW BEST:: SOT 530739 SOS 400596 HAS SOPS 361068 HAS SOUS 175830 HAS SOUPS 169330 WITH SCORE 169730.596
AT ITER 274 NEW BEST:: SOT 530739 SOS 400100 HAS SOPS 360446 HAS SOUS 175615 HAS SOUPS 169180 WITH SCORE 169580.1
AT ITER 275 NEW BEST:: SOT 529824 SOS 398872 HAS SOPS 359131 HAS SOUS 174585 HAS SOUPS 168170 WITH SCORE 168568.872
AT ITER 277 NEW BEST:: SOT 529331 SOS 398379 HAS SOPS 358638 HAS SOUS 174092 HAS SOUPS 167677 WITH SCORE 168075.379
AT ITER 280 NEW BEST:: SOT 529331 SOS 397225 HAS SOPS 356488 HAS SOUS 173010 HAS SOUPS 166595 WITH SCORE 166992.225
AT ITER 286 NEW BEST:: SOT 529332 SOS 397238 HAS SOPS 356493 HAS SOUS 173004 HAS SOUPS 166588 WITH SCORE 166985.238
AT ITER 289 NEW BEST:: SOT 530274 SOS 397989 HAS SOPS 357435 HAS SOUS 171237 HAS SOUPS 164879 WITH SCORE 165276.989
AT ITER 295 NEW BEST:: SOT 534423 SOS 401043 HAS SOPS 361963 HAS SOUS 167559 HAS SOUPS 161430 WITH SCORE 161831.043
AT ITER 296 NEW BEST:: SOT 535359 SOS 400568 HAS SOPS 360440 HAS SOUS 167422 HAS SOUPS 161293 WITH SCORE 161693.568
AT ITER 300 NEW BEST:: SOT 535359 SOS 399245 HAS SOPS 358742 HAS SOUS 166977 HAS SOUPS 160935 WITH SCORE 161334.245
AT ITER 301 NEW BEST:: SOT 534806 SOS 398692 HAS SOPS 358160 HAS SOUS 166383 HAS SOUPS 160324 WITH SCORE 160722.692
AT ITER 304 NEW BEST:: SOT 534806 SOS 398342 HAS SOPS 357548 HAS SOUS 166097 HAS SOUPS 160038 WITH SCORE 160436.342
AT ITER 305 NEW BEST:: SOT 534784 SOS 398320 HAS SOPS 357526 HAS SOUS 166075 HAS SOUPS 160016 WITH SCORE 160414.32
AT ITER 313 NEW BEST:: SOT 534975 SOS 398405 HAS SOPS 357717 HAS SOUS 165833 HAS SOUPS 159774 WITH SCORE 160172.405
AT ITER 315 NEW BEST:: SOT 534233 SOS 397663 HAS SOPS 356975 HAS SOUS 165074 HAS SOUPS 159032 WITH SCORE 159429.663
AT ITER 318 NEW BEST:: SOT 534856 SOS 398330 HAS SOPS 358965 HAS SOUS 163664 HAS SOUPS 157690 WITH SCORE 158088.33
AT ITER 320 NEW BEST:: SOT 537149 SOS 395833 HAS SOPS 359453 HAS SOUS 160592 HAS SOUPS 154786 WITH SCORE 155181.833
AT ITER 323 NEW BEST:: SOT 537143 SOS 395827 HAS SOPS 359447 HAS SOUS 160586 HAS SOUPS 154780 WITH SCORE 155175.827
AT ITER 324 NEW BEST:: SOT 537153 SOS 392220 HAS SOPS 357154 HAS SOUS 159520 HAS SOUPS 153761 WITH SCORE 154153.22
AT ITER 325 NEW BEST:: SOT 539580 SOS 394385 HAS SOPS 363764 HAS SOUS 157839 HAS SOUPS 152254 WITH SCORE 152648.385
AT ITER 329 NEW BEST:: SOT 539580 SOS 394385 HAS SOPS 363731 HAS SOUS 157773 HAS SOUPS 152188 WITH SCORE 152582.385
AT ITER 331 NEW BEST:: SOT 539580 SOS 394416 HAS SOPS 363711 HAS SOUS 157712 HAS SOUPS 152124 WITH SCORE 152518.416
AT ITER 336 NEW BEST:: SOT 539580 SOS 394017 HAS SOPS 363252 HAS SOUS 157625 HAS SOUPS 152046 WITH SCORE 152440.017
AT ITER 337 NEW BEST:: SOT 539580 SOS 394000 HAS SOPS 363235 HAS SOUS 157625 HAS SOUPS 152046 WITH SCORE 152440.0
AT ITER 340 NEW BEST:: SOT 540730 SOS 395007 HAS SOPS 364385 HAS SOUS 155818 HAS SOUPS 150301 WITH SCORE 150696.007
AT ITER 346 NEW BEST:: SOT 540730 SOS 395007 HAS SOPS 364349 HAS SOUS 155769 HAS SOUPS 150229 WITH SCORE 150624.007
AT ITER 347 NEW BEST:: SOT 541433 SOS 393234 HAS SOPS 364127 HAS SOUS 151706 HAS SOUPS 146315 WITH SCORE 146708.234
AT ITER 349 NEW BEST:: SOT 540825 SOS 393956 HAS SOPS 364365 HAS SOUS 151561 HAS SOUPS 146055 WITH SCORE 146448.956
AT ITER 351 NEW BEST:: SOT 540825 SOS 393967 HAS SOPS 364365 HAS SOUS 151550 HAS SOUPS 146044 WITH SCORE 146437.967
AT ITER 352 NEW BEST:: SOT 540825 SOS 393984 HAS SOPS 364365 HAS SOUS 151533 HAS SOUPS 146027 WITH SCORE 146420.984
AT ITER 355 NEW BEST:: SOT 539247 SOS 389025 HAS SOPS 360135 HAS SOUS 142731 HAS SOUPS 137381 WITH SCORE 137770.025
AT ITER 361 NEW BEST:: SOT 539247 SOS 389025 HAS SOPS 360119 HAS SOUS 142699 HAS SOUPS 137349 WITH SCORE 137738.025
AT ITER 366 NEW BEST:: SOT 537244 SOS 385423 HAS SOPS 355550 HAS SOUS 139584 HAS SOUPS 134214 WITH SCORE 134599.423
AT ITER 370 NEW BEST:: SOT 536295 SOS 383189 HAS SOPS 352385 HAS SOUS 137616 HAS SOUPS 132246 WITH SCORE 132629.189
AT ITER 373 NEW BEST:: SOT 536295 SOS 383186 HAS SOPS 352382 HAS SOUS 137613 HAS SOUPS 132243 WITH SCORE 132626.186
AT ITER 375 NEW BEST:: SOT 535939 SOS 382783 HAS SOPS 352056 HAS SOUS 137339 HAS SOUPS 131994 WITH SCORE 132376.783
AT ITER 377 NEW BEST:: SOT 535971 SOS 383281 HAS SOPS 354860 HAS SOUS 136499 HAS SOUPS 131219 WITH SCORE 131602.281
AT ITER 381 NEW BEST:: SOT 536095 SOS 382164 HAS SOPS 354640 HAS SOUS 135316 HAS SOUPS 130083 WITH SCORE 130465.164
AT ITER 382 NEW BEST:: SOT 536095 SOS 382033 HAS SOPS 354505 HAS SOUS 135181 HAS SOUPS 129948 WITH SCORE 130330.033
AT ITER 383 NEW BEST:: SOT 536918 SOS 382822 HAS SOPS 355328 HAS SOUS 134488 HAS SOUPS 129286 WITH SCORE 129668.822
AT ITER 385 NEW BEST:: SOT 536918 SOS 382842 HAS SOPS 355327 HAS SOUS 134466 HAS SOUPS 129264 WITH SCORE 129646.842
AT ITER 392 NEW BEST:: SOT 536918 SOS 382167 HAS SOPS 354592 HAS SOUS 134391 HAS SOUPS 129189 WITH SCORE 129571.167
AT ITER 393 NEW BEST:: SOT 539081 SOS 383803 HAS SOPS 356755 HAS SOUS 133339 HAS SOUPS 128155 WITH SCORE 128538.803
AT ITER 395 NEW BEST:: SOT 538709 SOS 383431 HAS SOPS 356383 HAS SOUS 132967 HAS SOUPS 127783 WITH SCORE 128166.431
AT ITER 396 NEW BEST:: SOT 540247 SOS 384675 HAS SOPS 357921 HAS SOUS 130849 HAS SOUPS 125744 WITH SCORE 126128.675
AT ITER 400 NEW BEST:: SOT 540247 SOS 385036 HAS SOPS 358254 HAS SOUS 130830 HAS SOUPS 125717 WITH SCORE 126102.036
AT ITER 401 NEW BEST:: SOT 540222 SOS 384404 HAS SOPS 357405 HAS SOUS 130581 HAS SOUPS 125435 WITH SCORE 125819.404
AT ITER 402 NEW BEST:: SOT 540222 SOS 383456 HAS SOPS 356436 HAS SOUS 130550 HAS SOUPS 125427 WITH SCORE 125810.456
AT ITER 405 NEW BEST:: SOT 540953 SOS 383781 HAS SOPS 357206 HAS SOUS 129665 HAS SOUPS 124584 WITH SCORE 124967.781
AT ITER 408 NEW BEST:: SOT 540865 SOS 383669 HAS SOPS 357078 HAS SOUS 129537 HAS SOUPS 124456 WITH SCORE 124839.669
AT ITER 412 NEW BEST:: SOT 539423 SOS 382227 HAS SOPS 355653 HAS SOUS 128112 HAS SOUPS 123048 WITH SCORE 123430.227
AT ITER 413 NEW BEST:: SOT 540084 SOS 382872 HAS SOPS 356314 HAS SOUS 127989 HAS SOUPS 122941 WITH SCORE 123323.872
AT ITER 415 NEW BEST:: SOT 540084 SOS 382431 HAS SOPS 355795 HAS SOUS 127895 HAS SOUPS 122847 WITH SCORE 123229.431
AT ITER 417 NEW BEST:: SOT 540084 SOS 381963 HAS SOPS 355279 HAS SOUS 127880 HAS SOUPS 122773 WITH SCORE 123154.963
AT ITER 420 NEW BEST:: SOT 540084 SOS 380896 HAS SOPS 353902 HAS SOUS 127489 HAS SOUPS 122409 WITH SCORE 122789.896
AT ITER 424 NEW BEST:: SOT 540043 SOS 378077 HAS SOPS 354156 HAS SOUS 124170 HAS SOUPS 119186 WITH SCORE 119564.077
AT ITER 427 NEW BEST:: SOT 539877 SOS 377911 HAS SOPS 353990 HAS SOUS 124004 HAS SOUPS 119020 WITH SCORE 119397.911
AT ITER 428 NEW BEST:: SOT 540915 SOS 378920 HAS SOPS 355028 HAS SOUS 123621 HAS SOUPS 118666 WITH SCORE 119044.92
AT ITER 429 NEW BEST:: SOT 540634 SOS 378310 HAS SOPS 354370 HAS SOUS 123278 HAS SOUPS 118303 WITH SCORE 118681.31
AT ITER 430 NEW BEST:: SOT 545759 SOS 382499 HAS SOPS 359585 HAS SOUS 122019 HAS SOUPS 117194 WITH SCORE 117576.499
AT ITER 436 NEW BEST:: SOT 545759 SOS 380565 HAS SOPS 357435 HAS SOUS 121717 HAS SOUPS 116935 WITH SCORE 117315.565
AT ITER 438 NEW BEST:: SOT 545759 SOS 380637 HAS SOPS 357501 HAS SOUS 121783 HAS SOUPS 116923 WITH SCORE 117303.637
AT ITER 456 NEW BEST:: SOT 546445 SOS 380211 HAS SOPS 360159 HAS SOUS 119127 HAS SOUPS 114482 WITH SCORE 114862.211
AT ITER 459 NEW BEST:: SOT 546413 SOS 380031 HAS SOPS 359923 HAS SOUS 118831 HAS SOUPS 114190 WITH SCORE 114570.031
AT ITER 460 NEW BEST:: SOT 546413 SOS 379433 HAS SOPS 359273 HAS SOUS 118753 HAS SOUPS 114125 WITH SCORE 114504.433
AT ITER 463 NEW BEST:: SOT 545703 SOS 378631 HAS SOPS 358277 HAS SOUS 117692 HAS SOUPS 113027 WITH SCORE 113405.631
AT ITER 464 NEW BEST:: SOT 545328 SOS 376633 HAS SOPS 355819 HAS SOUS 116824 HAS SOUPS 112118 WITH SCORE 112494.633
AT ITER 466 NEW BEST:: SOT 545328 SOS 376339 HAS SOPS 355519 HAS SOUS 116800 HAS SOUPS 112106 WITH SCORE 112482.339
AT ITER 468 NEW BEST:: SOT 549016 SOS 379672 HAS SOPS 359271 HAS SOUS 116634 HAS SOUPS 112063 WITH SCORE 112442.672
AT ITER 469 NEW BEST:: SOT 549009 SOS 379481 HAS SOPS 359060 HAS SOUS 116599 HAS SOUPS 112028 WITH SCORE 112407.481
AT ITER 471 NEW BEST:: SOT 549009 SOS 379719 HAS SOPS 359304 HAS SOUS 116561 HAS SOUPS 112006 WITH SCORE 112385.719
AT ITER 478 NEW BEST:: SOT 549271 SOS 379964 HAS SOPS 359566 HAS SOUS 116240 HAS SOUPS 111697 WITH SCORE 112076.964
AT ITER 480 NEW BEST:: SOT 549288 SOS 380387 HAS SOPS 360858 HAS SOUS 115676 HAS SOUPS 111163 WITH SCORE 111543.387
AT ITER 485 NEW BEST:: SOT 548857 SOS 380018 HAS SOPS 360547 HAS SOUS 115270 HAS SOUPS 110848 WITH SCORE 111228.018
AT ITER 497 NEW BEST:: SOT 549827 SOS 380951 HAS SOPS 361529 HAS SOUS 114351 HAS SOUPS 109968 WITH SCORE 110348.951
AT ITER 498 NEW BEST:: SOT 550053 SOS 381151 HAS SOPS 361755 HAS SOUS 114003 HAS SOUPS 109632 WITH SCORE 110013.151
AT ITER 500 NEW BEST:: SOT 550024 SOS 381122 HAS SOPS 361726 HAS SOUS 113974 HAS SOUPS 109603 WITH SCORE 109984.122
AT ITER 503 NEW BEST:: SOT 550024 SOS 381069 HAS SOPS 361674 HAS SOUS 113973 HAS SOUPS 109602 WITH SCORE 109983.069
AT ITER 512 NEW BEST:: SOT 550024 SOS 381069 HAS SOPS 361646 HAS SOUS 113945 HAS SOUPS 109546 WITH SCORE 109927.069
AT ITER 517 NEW BEST:: SOT 551088 SOS 380134 HAS SOPS 361260 HAS SOUS 110530 HAS SOUPS 106230 WITH SCORE 106610.134
AT ITER 523 NEW BEST:: SOT 551108 SOS 380195 HAS SOPS 361592 HAS SOUS 110245 HAS SOUPS 105951 WITH SCORE 106331.195
AT ITER 524 NEW BEST:: SOT 551100 SOS 380187 HAS SOPS 361584 HAS SOUS 110237 HAS SOUPS 105943 WITH SCORE 106323.187
AT ITER 529 NEW BEST:: SOT 551113 SOS 380010 HAS SOPS 361597 HAS SOUS 109990 HAS SOUPS 105705 WITH SCORE 106085.01
AT ITER 531 NEW BEST:: SOT 550956 SOS 378762 HAS SOPS 360216 HAS SOUS 109652 HAS SOUPS 105367 WITH SCORE 105745.762
AT ITER 533 NEW BEST:: SOT 550956 SOS 378762 HAS SOPS 360163 HAS SOUS 109599 HAS SOUPS 105261 WITH SCORE 105639.762
AT ITER 538 NEW BEST:: SOT 550956 SOS 377907 HAS SOPS 359238 HAS SOUS 109545 HAS SOUPS 105148 WITH SCORE 105525.907
AT ITER 543 NEW BEST:: SOT 550921 SOS 377872 HAS SOPS 359203 HAS SOUS 109510 HAS SOUPS 105113 WITH SCORE 105490.872
AT ITER 546 NEW BEST:: SOT 550921 SOS 377886 HAS SOPS 359214 HAS SOUS 109521 HAS SOUPS 105107 WITH SCORE 105484.886
AT ITER 548 NEW BEST:: SOT 550921 SOS 376592 HAS SOPS 357684 HAS SOUS 109189 HAS SOUPS 104811 WITH SCORE 105187.592
AT ITER 549 NEW BEST:: SOT 550921 SOS 375273 HAS SOPS 356369 HAS SOUS 109139 HAS SOUPS 104792 WITH SCORE 105167.273
AT ITER 550 NEW BEST:: SOT 551198 SOS 375544 HAS SOPS 356646 HAS SOUS 109122 HAS SOUPS 104781 WITH SCORE 105156.544
AT ITER 556 NEW BEST:: SOT 551198 SOS 375448 HAS SOPS 356454 HAS SOUS 108939 HAS SOUPS 104589 WITH SCORE 104964.448
AT ITER 557 NEW BEST:: SOT 551198 SOS 375448 HAS SOPS 356440 HAS SOUS 108925 HAS SOUPS 104575 WITH SCORE 104950.448
AT ITER 558 NEW BEST:: SOT 551198 SOS 375488 HAS SOPS 356453 HAS SOUS 108878 HAS SOUPS 104528 WITH SCORE 104903.488
AT ITER 559 NEW BEST:: SOT 551198 SOS 375488 HAS SOPS 356440 HAS SOUS 108857 HAS SOUPS 104502 WITH SCORE 104877.488
AT ITER 560 NEW BEST:: SOT 551456 SOS 374564 HAS SOPS 356698 HAS SOUS 104097 HAS SOUPS 99866 WITH SCORE 100240.564
AT ITER 563 NEW BEST:: SOT 553452 SOS 379004 HAS SOPS 363041 HAS SOUS 100859 HAS SOUPS 96793 WITH SCORE 97172.004
AT ITER 567 NEW BEST:: SOT 553452 SOS 378925 HAS SOPS 362940 HAS SOUS 100852 HAS SOUPS 96749 WITH SCORE 97127.925
AT ITER 572 NEW BEST:: SOT 553375 SOS 378848 HAS SOPS 362863 HAS SOUS 100775 HAS SOUPS 96672 WITH SCORE 97050.848
AT ITER 574 NEW BEST:: SOT 553375 SOS 378024 HAS SOPS 361741 HAS SOUS 100433 HAS SOUPS 96330 WITH SCORE 96708.024
AT ITER 575 NEW BEST:: SOT 553719 SOS 378301 HAS SOPS 362085 HAS SOUS 100244 HAS SOUPS 96153 WITH SCORE 96531.301
AT ITER 576 NEW BEST:: SOT 554885 SOS 379422 HAS SOPS 363251 HAS SOUS 100055 HAS SOUPS 95992 WITH SCORE 96371.422
AT ITER 584 NEW BEST:: SOT 554885 SOS 379423 HAS SOPS 363251 HAS SOUS 100054 HAS SOUPS 95991 WITH SCORE 96370.423
AT ITER 590 NEW BEST:: SOT 554246 SOS 378784 HAS SOPS 362612 HAS SOUS 99415 HAS SOUPS 95352 WITH SCORE 95730.784
AT ITER 592 NEW BEST:: SOT 552964 SOS 376206 HAS SOPS 358429 HAS SOUS 99264 HAS SOUPS 95144 WITH SCORE 95520.206
AT ITER 594 NEW BEST:: SOT 552964 SOS 375384 HAS SOPS 357460 HAS SOUS 99079 HAS SOUPS 94959 WITH SCORE 95334.384
AT ITER 600 NEW BEST:: SOT 553507 SOS 375793 HAS SOPS 358028 HAS SOUS 98556 HAS SOUPS 94461 WITH SCORE 94836.793
AT ITER 614 NEW BEST:: SOT 553611 SOS 376455 HAS SOPS 358999 HAS SOUS 98153 HAS SOUPS 94075 WITH SCORE 94451.455
AT ITER 616 NEW BEST:: SOT 553607 SOS 376451 HAS SOPS 358965 HAS SOUS 98119 HAS SOUPS 94011 WITH SCORE 94387.451
AT ITER 624 NEW BEST:: SOT 554586 SOS 377067 HAS SOPS 359981 HAS SOUS 97098 HAS SOUPS 93075 WITH SCORE 93452.067
AT ITER 625 NEW BEST:: SOT 554575 SOS 377056 HAS SOPS 359970 HAS SOUS 97087 HAS SOUPS 93064 WITH SCORE 93441.056
AT ITER 636 NEW BEST:: SOT 554523 SOS 377004 HAS SOPS 359918 HAS SOUS 97035 HAS SOUPS 93012 WITH SCORE 93389.004
AT ITER 641 NEW BEST:: SOT 553914 SOS 374278 HAS SOPS 356352 HAS SOUS 95468 HAS SOUPS 91399 WITH SCORE 91773.278
AT ITER 645 NEW BEST:: SOT 553950 SOS 374296 HAS SOPS 356388 HAS SOUS 95422 HAS SOUPS 91355 WITH SCORE 91729.296
AT ITER 646 NEW BEST:: SOT 553950 SOS 371030 HAS SOPS 353063 HAS SOUS 95291 HAS SOUPS 91224 WITH SCORE 91595.03
AT ITER 648 NEW BEST:: SOT 553950 SOS 369222 HAS SOPS 351164 HAS SOUS 95126 HAS SOUPS 91047 WITH SCORE 91416.222
AT ITER 652 NEW BEST:: SOT 553950 SOS 368101 HAS SOPS 350014 HAS SOUS 95051 HAS SOUPS 90972 WITH SCORE 91340.101
AT ITER 655 NEW BEST:: SOT 553950 SOS 367380 HAS SOPS 349278 HAS SOUS 95022 HAS SOUPS 90927 WITH SCORE 91294.38
AT ITER 657 NEW BEST:: SOT 553950 SOS 366547 HAS SOPS 348411 HAS SOUS 94971 HAS SOUPS 90859 WITH SCORE 91225.547
AT ITER 662 NEW BEST:: SOT 553950 SOS 366048 HAS SOPS 347902 HAS SOUS 94942 HAS SOUPS 90830 WITH SCORE 91196.048
AT ITER 671 NEW BEST:: SOT 553973 SOS 366047 HAS SOPS 347927 HAS SOUS 94891 HAS SOUPS 90783 WITH SCORE 91149.047
AT ITER 675 NEW BEST:: SOT 553973 SOS 366948 HAS SOPS 348817 HAS SOUS 94888 HAS SOUPS 90780 WITH SCORE 91146.948
AT ITER 688 NEW BEST:: SOT 553973 SOS 366619 HAS SOPS 348442 HAS SOUS 94810 HAS SOUPS 90702 WITH SCORE 91068.619
AT ITER 703 NEW BEST:: SOT 553973 SOS 365337 HAS SOPS 346826 HAS SOUS 94412 HAS SOUPS 90304 WITH SCORE 90669.337
AT ITER 705 NEW BEST:: SOT 554502 SOS 364930 HAS SOPS 347462 HAS SOUS 92799 HAS SOUPS 88756 WITH SCORE 89120.93
AT ITER 708 NEW BEST:: SOT 554502 SOS 366000 HAS SOPS 348482 HAS SOUS 92729 HAS SOUPS 88664 WITH SCORE 89030.0
AT ITER 715 NEW BEST:: SOT 554502 SOS 365944 HAS SOPS 348389 HAS SOUS 92636 HAS SOUPS 88590 WITH SCORE 88955.944
AT ITER 720 NEW BEST:: SOT 554498 SOS 365827 HAS SOPS 348185 HAS SOUS 92537 HAS SOUPS 88491 WITH SCORE 88856.827
AT ITER 735 NEW BEST:: SOT 554498 SOS 365810 HAS SOPS 348168 HAS SOUS 92520 HAS SOUPS 88474 WITH SCORE 88839.81
AT ITER 738 NEW BEST:: SOT 554498 SOS 364794 HAS SOPS 347139 HAS SOUS 92486 HAS SOUPS 88440 WITH SCORE 88804.794
AT ITER 739 NEW BEST:: SOT 554498 SOS 367034 HAS SOPS 349321 HAS SOUS 92581 HAS SOUPS 88359 WITH SCORE 88726.034
AT ITER 741 NEW BEST:: SOT 554155 SOS 366691 HAS SOPS 348978 HAS SOUS 92238 HAS SOUPS 88016 WITH SCORE 88382.691
AT ITER 754 NEW BEST:: SOT 554114 SOS 366650 HAS SOPS 348937 HAS SOUS 92197 HAS SOUPS 87975 WITH SCORE 88341.65
AT ITER 762 NEW BEST:: SOT 554114 SOS 366074 HAS SOPS 348349 HAS SOUS 92173 HAS SOUPS 87951 WITH SCORE 88317.074
AT ITER 766 NEW BEST:: SOT 554126 SOS 364034 HAS SOPS 348601 HAS SOUS 91437 HAS SOUPS 87276 WITH SCORE 87640.034
AT ITER 783 NEW BEST:: SOT 554841 SOS 364371 HAS SOPS 349343 HAS SOUS 90357 HAS SOUPS 86267 WITH SCORE 86631.371
AT ITER 790 NEW BEST:: SOT 554516 SOS 364067 HAS SOPS 349018 HAS SOUS 90361 HAS SOUPS 86264 WITH SCORE 86628.067
AT ITER 793 NEW BEST:: SOT 554770 SOS 364303 HAS SOPS 349272 HAS SOUS 90183 HAS SOUPS 86095 WITH SCORE 86459.303
AT ITER 799 NEW BEST:: SOT 554770 SOS 364997 HAS SOPS 349929 HAS SOUS 90155 HAS SOUPS 86048 WITH SCORE 86412.997
AT ITER 805 NEW BEST:: SOT 555321 SOS 365301 HAS SOPS 350480 HAS SOUS 89453 HAS SOUPS 85376 WITH SCORE 85741.301
AT ITER 807 NEW BEST:: SOT 555305 SOS 365285 HAS SOPS 350464 HAS SOUS 89437 HAS SOUPS 85360 WITH SCORE 85725.285
AT ITER 809 NEW BEST:: SOT 555305 SOS 363832 HAS SOPS 348964 HAS SOUS 89330 HAS SOUPS 85253 WITH SCORE 85616.832
AT ITER 817 NEW BEST:: SOT 555305 SOS 363985 HAS SOPS 349061 HAS SOUS 89280 HAS SOUPS 85147 WITH SCORE 85510.985
AT ITER 821 NEW BEST:: SOT 555305 SOS 364112 HAS SOPS 349181 HAS SOUS 89253 HAS SOUPS 85120 WITH SCORE 85484.112
AT ITER 825 NEW BEST:: SOT 555519 SOS 364318 HAS SOPS 349395 HAS SOUS 89175 HAS SOUPS 85048 WITH SCORE 85412.318
AT ITER 834 NEW BEST:: SOT 558137 SOS 366353 HAS SOPS 352183 HAS SOUS 87989 HAS SOUPS 83955 WITH SCORE 84321.353
AT ITER 841 NEW BEST:: SOT 557965 SOS 366130 HAS SOPS 351981 HAS SOUS 87836 HAS SOUPS 83823 WITH SCORE 84189.13
AT ITER 845 NEW BEST:: SOT 557965 SOS 364687 HAS SOPS 350431 HAS SOUS 87667 HAS SOUPS 83654 WITH SCORE 84018.687
AT ITER 848 NEW BEST:: SOT 557965 SOS 364593 HAS SOPS 350329 HAS SOUS 87629 HAS SOUPS 83642 WITH SCORE 84006.593
AT ITER 857 NEW BEST:: SOT 557965 SOS 364277 HAS SOPS 349941 HAS SOUS 87553 HAS SOUPS 83566 WITH SCORE 83930.277
AT ITER 860 NEW BEST:: SOT 557937 SOS 364206 HAS SOPS 349837 HAS SOUS 87449 HAS SOUPS 83472 WITH SCORE 83836.206
AT ITER 864 NEW BEST:: SOT 557937 SOS 364205 HAS SOPS 349836 HAS SOUS 87449 HAS SOUPS 83472 WITH SCORE 83836.205
AT ITER 868 NEW BEST:: SOT 557961 SOS 364190 HAS SOPS 349860 HAS SOUS 87362 HAS SOUPS 83388 WITH SCORE 83752.19
AT ITER 884 NEW BEST:: SOT 557961 SOS 362436 HAS SOPS 348104 HAS SOUS 87269 HAS SOUPS 83377 WITH SCORE 83739.436
AT ITER 886 NEW BEST:: SOT 557961 SOS 362449 HAS SOPS 348082 HAS SOUS 87247 HAS SOUPS 83320 WITH SCORE 83682.449
AT ITER 897 NEW BEST:: SOT 558015 SOS 362463 HAS SOPS 348136 HAS SOUS 87141 HAS SOUPS 83218 WITH SCORE 83580.463
AT ITER 898 NEW BEST:: SOT 560568 SOS 367557 HAS SOPS 354689 HAS SOUS 85163 HAS SOUPS 81363 WITH SCORE 81730.557
AT ITER 909 NEW BEST:: SOT 560568 SOS 365191 HAS SOPS 352236 HAS SOUS 84978 HAS SOUPS 81178 WITH SCORE 81543.191
AT ITER 918 NEW BEST:: SOT 560568 SOS 365222 HAS SOPS 352215 HAS SOUS 84957 HAS SOUPS 81105 WITH SCORE 81470.222
AT ITER 920 NEW BEST:: SOT 560568 SOS 364177 HAS SOPS 351170 HAS SOUS 84920 HAS SOUPS 81069 WITH SCORE 81433.177
AT ITER 925 NEW BEST:: SOT 562038 SOS 365514 HAS SOPS 352640 HAS SOUS 84723 HAS SOUPS 80908 WITH SCORE 81273.514
AT ITER 927 NEW BEST:: SOT 562038 SOS 365312 HAS SOPS 352438 HAS SOUS 84774 HAS SOUPS 80903 WITH SCORE 81268.312
AT ITER 941 NEW BEST:: SOT 562038 SOS 366235 HAS SOPS 353335 HAS SOUS 84784 HAS SOUPS 80892 WITH SCORE 81258.235
AT ITER 944 NEW BEST:: SOT 562030 SOS 366227 HAS SOPS 353327 HAS SOUS 84776 HAS SOUPS 80884 WITH SCORE 81250.227
AT ITER 951 NEW BEST:: SOT 562198 SOS 366366 HAS SOPS 353495 HAS SOUS 84723 HAS SOUPS 80836 WITH SCORE 81202.366
AT ITER 959 NEW BEST:: SOT 561338 SOS 369999 HAS SOPS 357439 HAS SOUS 84366 HAS SOUPS 80435 WITH SCORE 80804.999
AT ITER 961 NEW BEST:: SOT 561347 SOS 372436 HAS SOPS 359760 HAS SOUS 84287 HAS SOUPS 80310 WITH SCORE 80682.436
AT ITER 967 NEW BEST:: SOT 561347 SOS 372401 HAS SOPS 359725 HAS SOUS 84252 HAS SOUPS 80310 WITH SCORE 80682.401
AT ITER 968 NEW BEST:: SOT 561284 SOS 372338 HAS SOPS 359662 HAS SOUS 84189 HAS SOUPS 80247 WITH SCORE 80619.338
AT ITER 971 NEW BEST:: SOT 561284 SOS 373134 HAS SOPS 360438 HAS SOUS 84181 HAS SOUPS 80239 WITH SCORE 80612.134
AT ITER 972 NEW BEST:: SOT 559576 SOS 370375 HAS SOPS 356730 HAS SOUS 83644 HAS SOUPS 79658 WITH SCORE 80028.375
AT ITER 973 NEW BEST:: SOT 559525 SOS 370327 HAS SOPS 356614 HAS SOUS 83542 HAS SOUPS 79471 WITH SCORE 79841.327
AT ITER 974 NEW BEST:: SOT 559525 SOS 370327 HAS SOPS 356611 HAS SOUS 83539 HAS SOUPS 79465 WITH SCORE 79835.327
AT ITER 983 NEW BEST:: SOT 561137 SOS 373240 HAS SOPS 360235 HAS SOUS 82904 HAS SOUPS 78879 WITH SCORE 79252.24
AT ITER 997 NEW BEST:: SOT 561137 SOS 372139 HAS SOPS 359134 HAS SOUS 82886 HAS SOUPS 78835 WITH SCORE 79207.139
AT ITER 1001 NEW BEST:: SOT 561177 SOS 374373 HAS SOPS 361328 HAS SOUS 82976 HAS SOUPS 78829 WITH SCORE 79203.373
AT ITER 1018 NEW BEST:: SOT 561177 SOS 370668 HAS SOPS 357401 HAS SOUS 82523 HAS SOUPS 78453 WITH SCORE 78823.668
AT ITER 1019 NEW BEST:: SOT 560757 SOS 370254 HAS SOPS 356994 HAS SOUS 82074 HAS SOUPS 78004 WITH SCORE 78374.254
AT ITER 1028 NEW BEST:: SOT 558944 SOS 368416 HAS SOPS 354981 HAS SOUS 82028 HAS SOUPS 77919 WITH SCORE 78287.416
AT ITER 1032 NEW BEST:: SOT 557105 SOS 366644 HAS SOPS 353132 HAS SOUS 81652 HAS SOUPS 77512 WITH SCORE 77878.644
AT ITER 1039 NEW BEST:: SOT 557105 SOS 364390 HAS SOPS 350784 HAS SOUS 81418 HAS SOUPS 77324 WITH SCORE 77688.39
AT ITER 1058 NEW BEST:: SOT 557105 SOS 359732 HAS SOPS 346129 HAS SOUS 81231 HAS SOUPS 77232 WITH SCORE 77591.732
AT ITER 1060 NEW BEST:: SOT 557034 SOS 359661 HAS SOPS 346058 HAS SOUS 81160 HAS SOUPS 77161 WITH SCORE 77520.661
AT ITER 1062 NEW BEST:: SOT 556077 SOS 360333 HAS SOPS 347611 HAS SOUS 81173 HAS SOUPS 77147 WITH SCORE 77507.333
AT ITER 1066 NEW BEST:: SOT 556077 SOS 360183 HAS SOPS 347461 HAS SOUS 81167 HAS SOUPS 77141 WITH SCORE 77501.183
AT ITER 1077 NEW BEST:: SOT 555692 SOS 359809 HAS SOPS 347024 HAS SOUS 80730 HAS SOUPS 76641 WITH SCORE 77000.809
AT ITER 1083 NEW BEST:: SOT 555712 SOS 358672 HAS SOPS 345820 HAS SOUS 80635 HAS SOUPS 76546 WITH SCORE 76904.672
AT ITER 1089 NEW BEST:: SOT 555712 SOS 358672 HAS SOPS 345816 HAS SOUS 80631 HAS SOUPS 76538 WITH SCORE 76896.672
AT ITER 1096 NEW BEST:: SOT 555712 SOS 359513 HAS SOPS 346636 HAS SOUS 80618 HAS SOUPS 76525 WITH SCORE 76884.513
AT ITER 1133 NEW BEST:: SOT 555712 SOS 359507 HAS SOPS 346615 HAS SOUS 80588 HAS SOUPS 76495 WITH SCORE 76854.507
AT ITER 1148 NEW BEST:: SOT 552825 SOS 356739 HAS SOPS 343728 HAS SOUS 80082 HAS SOUPS 75939 WITH SCORE 76295.739
AT ITER 1150 NEW BEST:: SOT 552825 SOS 356820 HAS SOPS 343799 HAS SOUS 80076 HAS SOUPS 75911 WITH SCORE 76267.82
AT ITER 1155 NEW BEST:: SOT 552825 SOS 356820 HAS SOPS 343794 HAS SOUS 80071 HAS SOUPS 75901 WITH SCORE 76257.82
AT ITER 1159 NEW BEST:: SOT 555980 SOS 358682 HAS SOPS 347088 HAS SOUS 77708 HAS SOUPS 73816 WITH SCORE 74174.682
AT ITER 1160 NEW BEST:: SOT 556034 SOS 359238 HAS SOPS 348319 HAS SOUS 77134 HAS SOUPS 73272 WITH SCORE 73631.238
AT ITER 1169 NEW BEST:: SOT 556034 SOS 359238 HAS SOPS 348313 HAS SOUS 77130 HAS SOUPS 73260 WITH SCORE 73619.238
AT ITER 1173 NEW BEST:: SOT 556034 SOS 358438 HAS SOPS 347513 HAS SOUS 77098 HAS SOUPS 73228 WITH SCORE 73586.438
AT ITER 1174 NEW BEST:: SOT 557831 SOS 360081 HAS SOPS 349310 HAS SOUS 76803 HAS SOUPS 72974 WITH SCORE 73334.081
AT ITER 1182 NEW BEST:: SOT 556779 SOS 359029 HAS SOPS 348258 HAS SOUS 75751 HAS SOUPS 71922 WITH SCORE 72281.029
AT ITER 1187 NEW BEST:: SOT 557394 SOS 359563 HAS SOPS 348873 HAS SOUS 75497 HAS SOUPS 71687 WITH SCORE 72046.563
AT ITER 1189 NEW BEST:: SOT 557394 SOS 359417 HAS SOPS 348727 HAS SOUS 75496 HAS SOUPS 71685 WITH SCORE 72044.417
AT ITER 1190 NEW BEST:: SOT 557560 SOS 359541 HAS SOPS 349643 HAS SOUS 73784 HAS SOUPS 70027 WITH SCORE 70386.541
AT ITER 1197 NEW BEST:: SOT 556106 SOS 358115 HAS SOPS 348189 HAS SOUS 73249 HAS SOUPS 69476 WITH SCORE 69834.115
AT ITER 1198 NEW BEST:: SOT 556106 SOS 358100 HAS SOPS 348162 HAS SOUS 73225 HAS SOUPS 69452 WITH SCORE 69810.1
AT ITER 1210 NEW BEST:: SOT 556106 SOS 358085 HAS SOPS 348132 HAS SOUS 73210 HAS SOUPS 69422 WITH SCORE 69780.085
AT ITER 1213 NEW BEST:: SOT 556338 SOS 358267 HAS SOPS 348364 HAS SOUS 72992 HAS SOUPS 69214 WITH SCORE 69572.267
AT ITER 1216 NEW BEST:: SOT 556338 SOS 358117 HAS SOPS 348189 HAS SOUS 72961 HAS SOUPS 69161 WITH SCORE 69519.117
AT ITER 1218 NEW BEST:: SOT 556338 SOS 358467 HAS SOPS 348531 HAS SOUS 72967 HAS SOUPS 69159 WITH SCORE 69517.467
AT ITER 1227 NEW BEST:: SOT 556338 SOS 358446 HAS SOPS 348508 HAS SOUS 72946 HAS SOUPS 69159 WITH SCORE 69517.446
AT ITER 1229 NEW BEST:: SOT 556338 SOS 358446 HAS SOPS 348501 HAS SOUS 72939 HAS SOUPS 69145 WITH SCORE 69503.446
AT ITER 1245 NEW BEST:: SOT 556338 SOS 358196 HAS SOPS 348241 HAS SOUS 72919 HAS SOUPS 69120 WITH SCORE 69478.196
AT ITER 1251 NEW BEST:: SOT 556338 SOS 358184 HAS SOPS 348217 HAS SOUS 72895 HAS SOUPS 69096 WITH SCORE 69454.184
AT ITER 1263 NEW BEST:: SOT 556338 SOS 358134 HAS SOPS 348166 HAS SOUS 72892 HAS SOUPS 69093 WITH SCORE 69451.134
AT ITER 1282 NEW BEST:: SOT 556333 SOS 358078 HAS SOPS 347911 HAS SOUS 72678 HAS SOUPS 68879 WITH SCORE 69237.078
AT ITER 1284 NEW BEST:: SOT 556333 SOS 357954 HAS SOPS 347697 HAS SOUS 72464 HAS SOUPS 68699 WITH SCORE 69056.954
AT ITER 1289 NEW BEST:: SOT 556297 SOS 357918 HAS SOPS 347661 HAS SOUS 72428 HAS SOUPS 68663 WITH SCORE 69020.918
AT ITER 1291 NEW BEST:: SOT 556297 SOS 356750 HAS SOPS 346467 HAS SOUS 72373 HAS SOUPS 68608 WITH SCORE 68964.75
AT ITER 1302 NEW BEST:: SOT 556582 SOS 357015 HAS SOPS 346752 HAS SOUS 72328 HAS SOUPS 68570 WITH SCORE 68927.015
AT ITER 1306 NEW BEST:: SOT 556582 SOS 356915 HAS SOPS 346652 HAS SOUS 72324 HAS SOUPS 68566 WITH SCORE 68922.915
AT ITER 1308 NEW BEST:: SOT 556643 SOS 356922 HAS SOPS 346713 HAS SOUS 72089 HAS SOUPS 68338 WITH SCORE 68694.922
AT ITER 1355 NEW BEST:: SOT 554720 SOS 355016 HAS SOPS 344790 HAS SOUS 71047 HAS SOUPS 67279 WITH SCORE 67634.016
AT ITER 1362 NEW BEST:: SOT 554760 SOS 355053 HAS SOPS 344830 HAS SOUS 71040 HAS SOUPS 67273 WITH SCORE 67628.053
AT ITER 1377 NEW BEST:: SOT 553262 SOS 353603 HAS SOPS 343308 HAS SOUS 70670 HAS SOUPS 66855 WITH SCORE 67208.603
AT ITER 1386 NEW BEST:: SOT 553262 SOS 353635 HAS SOPS 343322 HAS SOUS 70636 HAS SOUPS 66821 WITH SCORE 67174.635
AT ITER 1413 NEW BEST:: SOT 553262 SOS 353435 HAS SOPS 343118 HAS SOUS 70628 HAS SOUPS 66809 WITH SCORE 67162.435
AT ITER 1415 NEW BEST:: SOT 553016 SOS 353697 HAS SOPS 343465 HAS SOUS 70490 HAS SOUPS 66702 WITH SCORE 67055.697
AT ITER 1417 NEW BEST:: SOT 554034 SOS 354662 HAS SOPS 344508 HAS SOUS 70361 HAS SOUPS 66598 WITH SCORE 66952.662
AT ITER 1422 NEW BEST:: SOT 554034 SOS 357020 HAS SOPS 346808 HAS SOUS 70349 HAS SOUPS 66586 WITH SCORE 66943.02
AT ITER 1431 NEW BEST:: SOT 554034 SOS 356000 HAS SOPS 345788 HAS SOUS 70278 HAS SOUPS 66546 WITH SCORE 66902.0
AT ITER 1434 NEW BEST:: SOT 555557 SOS 357365 HAS SOPS 347317 HAS SOUS 69767 HAS SOUPS 66083 WITH SCORE 66440.365
AT ITER 1464 NEW BEST:: SOT 555476 SOS 357288 HAS SOPS 347240 HAS SOUS 69690 HAS SOUPS 66006 WITH SCORE 66363.288
AT ITER 1491 NEW BEST:: SOT 555476 SOS 357186 HAS SOPS 347138 HAS SOUS 69686 HAS SOUPS 66002 WITH SCORE 66359.186
AT ITER 1493 NEW BEST:: SOT 555476 SOS 357084 HAS SOPS 347036 HAS SOUS 69692 HAS SOUPS 65998 WITH SCORE 66355.084
AT ITER 1506 NEW BEST:: SOT 555476 SOS 356634 HAS SOPS 346590 HAS SOUS 69678 HAS SOUPS 65988 WITH SCORE 66344.634
AT ITER 1509 NEW BEST:: SOT 555955 SOS 356743 HAS SOPS 347123 HAS SOUS 67935 HAS SOUPS 64299 WITH SCORE 64655.743
AT ITER 1512 NEW BEST:: SOT 555861 SOS 356653 HAS SOPS 347029 HAS SOUS 67937 HAS SOUPS 64299 WITH SCORE 64655.653
AT ITER 1534 NEW BEST:: SOT 555861 SOS 356092 HAS SOPS 346468 HAS SOUS 67953 HAS SOUPS 64277 WITH SCORE 64633.092
AT ITER 1559 NEW BEST:: SOT 555663 SOS 355900 HAS SOPS 346267 HAS SOUS 67896 HAS SOUPS 64214 WITH SCORE 64569.9
AT ITER 1563 NEW BEST:: SOT 555663 SOS 355666 HAS SOPS 345917 HAS SOUS 67766 HAS SOUPS 64084 WITH SCORE 64439.666
AT ITER 1565 NEW BEST:: SOT 555648 SOS 355327 HAS SOPS 345543 HAS SOUS 67700 HAS SOUPS 64018 WITH SCORE 64373.327
AT ITER 1586 NEW BEST:: SOT 555648 SOS 355322 HAS SOPS 345538 HAS SOUS 67700 HAS SOUPS 64018 WITH SCORE 64373.322
AT ITER 1590 NEW BEST:: SOT 555648 SOS 355272 HAS SOPS 345488 HAS SOUS 67698 HAS SOUPS 64016 WITH SCORE 64371.272
AT ITER 1594 NEW BEST:: SOT 555166 SOS 354551 HAS SOPS 344506 HAS SOUS 67435 HAS SOUPS 63743 WITH SCORE 64097.551
AT ITER 1600 NEW BEST:: SOT 555166 SOS 354551 HAS SOPS 344501 HAS SOUS 67430 HAS SOUPS 63733 WITH SCORE 64087.551
AT ITER 1606 NEW BEST:: SOT 555166 SOS 352701 HAS SOPS 342688 HAS SOUS 67430 HAS SOUPS 63733 WITH SCORE 64085.701
AT ITER 1608 NEW BEST:: SOT 555166 SOS 352701 HAS SOPS 342668 HAS SOUS 67410 HAS SOUPS 63693 WITH SCORE 64045.701
AT ITER 1614 NEW BEST:: SOT 555166 SOS 352611 HAS SOPS 342562 HAS SOUS 67390 HAS SOUPS 63669 WITH SCORE 64021.611
AT ITER 1624 NEW BEST:: SOT 555069 SOS 352515 HAS SOPS 342465 HAS SOUS 67342 HAS SOUPS 63620 WITH SCORE 63972.515
AT ITER 1630 NEW BEST:: SOT 555069 SOS 354204 HAS SOPS 344109 HAS SOUS 67320 HAS SOUPS 63598 WITH SCORE 63952.204
AT ITER 1640 NEW BEST:: SOT 555069 SOS 353817 HAS SOPS 343720 HAS SOUS 67302 HAS SOUPS 63580 WITH SCORE 63933.817
AT ITER 1649 NEW BEST:: SOT 555031 SOS 353779 HAS SOPS 343682 HAS SOUS 67264 HAS SOUPS 63542 WITH SCORE 63895.779
AT ITER 1652 NEW BEST:: SOT 555031 SOS 353779 HAS SOPS 343674 HAS SOUS 67256 HAS SOUPS 63526 WITH SCORE 63879.779
AT ITER 1654 NEW BEST:: SOT 555031 SOS 353564 HAS SOPS 343091 HAS SOUS 66864 HAS SOUPS 63151 WITH SCORE 63504.564
AT ITER 1674 NEW BEST:: SOT 555031 SOS 353423 HAS SOPS 342938 HAS SOUS 66858 HAS SOUPS 63133 WITH SCORE 63486.423
AT ITER 1676 NEW BEST:: SOT 555031 SOS 353423 HAS SOPS 342928 HAS SOUS 66848 HAS SOUPS 63113 WITH SCORE 63466.423
AT ITER 1683 NEW BEST:: SOT 555031 SOS 353168 HAS SOPS 342673 HAS SOUS 66838 HAS SOUPS 63103 WITH SCORE 63456.168
AT ITER 1694 NEW BEST:: SOT 555031 SOS 353368 HAS SOPS 342823 HAS SOUS 66796 HAS SOUPS 63011 WITH SCORE 63364.368
AT ITER 1698 NEW BEST:: SOT 552887 SOS 348884 HAS SOPS 336893 HAS SOUS 66770 HAS SOUPS 62946 WITH SCORE 63294.884
AT ITER 1717 NEW BEST:: SOT 552887 SOS 347731 HAS SOPS 335744 HAS SOUS 66748 HAS SOUPS 62924 WITH SCORE 63271.731
AT ITER 1722 NEW BEST:: SOT 552887 SOS 347731 HAS SOPS 335731 HAS SOUS 66735 HAS SOUPS 62898 WITH SCORE 63245.731
AT ITER 1731 NEW BEST:: SOT 552571 SOS 347435 HAS SOPS 335410 HAS SOUS 66644 HAS SOUPS 62797 WITH SCORE 63144.435
AT ITER 1747 NEW BEST:: SOT 552571 SOS 347383 HAS SOPS 335358 HAS SOUS 66622 HAS SOUPS 62797 WITH SCORE 63144.383
AT ITER 1750 NEW BEST:: SOT 552571 SOS 347383 HAS SOPS 335348 HAS SOUS 66612 HAS SOUPS 62777 WITH SCORE 63124.383
AT ITER 1751 NEW BEST:: SOT 552571 SOS 347128 HAS SOPS 335093 HAS SOUS 66602 HAS SOUPS 62767 WITH SCORE 63114.128
AT ITER 1778 NEW BEST:: SOT 552571 SOS 347077 HAS SOPS 335042 HAS SOUS 66611 HAS SOUPS 62765 WITH SCORE 63112.077
AT ITER 1782 NEW BEST:: SOT 552571 SOS 346827 HAS SOPS 334796 HAS SOUS 66605 HAS SOUPS 62763 WITH SCORE 63109.827
AT ITER 1805 NEW BEST:: SOT 552564 SOS 346751 HAS SOPS 334539 HAS SOUS 66407 HAS SOUPS 62565 WITH SCORE 62911.751
AT ITER 1813 NEW BEST:: SOT 552564 SOS 346660 HAS SOPS 334440 HAS SOUS 66390 HAS SOUPS 62556 WITH SCORE 62902.66
AT ITER 1840 NEW BEST:: SOT 553982 SOS 347883 HAS SOPS 335860 HAS SOUS 66055 HAS SOUPS 62262 WITH SCORE 62609.883
AT ITER 1860 NEW BEST:: SOT 553078 SOS 346585 HAS SOPS 334038 HAS SOUS 65491 HAS SOUPS 61680 WITH SCORE 62026.585
AT ITER 1883 NEW BEST:: SOT 557664 SOS 350651 HAS SOPS 338624 HAS SOUS 65347 HAS SOUPS 61641 WITH SCORE 61991.651
AT ITER 1915 NEW BEST:: SOT 557664 SOS 350602 HAS SOPS 338576 HAS SOUS 65347 HAS SOUPS 61641 WITH SCORE 61991.602
AT ITER 1918 NEW BEST:: SOT 557664 SOS 350902 HAS SOPS 338776 HAS SOUS 65259 HAS SOUPS 61494 WITH SCORE 61844.902
AT ITER 1932 NEW BEST:: SOT 558982 SOS 352047 HAS SOPS 340127 HAS SOUS 65133 HAS SOUPS 61434 WITH SCORE 61786.047
AT ITER 1936 NEW BEST:: SOT 558982 SOS 351384 HAS SOPS 339464 HAS SOUS 65086 HAS SOUPS 61408 WITH SCORE 61759.384
AT ITER 1953 NEW BEST:: SOT 559210 SOS 351546 HAS SOPS 339692 HAS SOUS 64830 HAS SOUPS 61163 WITH SCORE 61514.546
AT ITER 1981 NEW BEST:: SOT 557681 SOS 350073 HAS SOPS 338163 HAS SOUS 64845 HAS SOUPS 61146 WITH SCORE 61496.073
AT ITER 1983 NEW BEST:: SOT 556089 SOS 348638 HAS SOPS 336495 HAS SOUS 64882 HAS SOUPS 61145 WITH SCORE 61493.638
AT ITER 1990 NEW BEST:: SOT 556089 SOS 348434 HAS SOPS 336291 HAS SOUS 64891 HAS SOUPS 61137 WITH SCORE 61485.434
AT ITER 1997 NEW BEST:: SOT 556089 SOS 348332 HAS SOPS 336189 HAS SOUS 64867 HAS SOUPS 61133 WITH SCORE 61481.332
AT ITER 2005 NEW BEST:: SOT 555232 SOS 347334 HAS SOPS 334720 HAS SOUS 64115 HAS SOUPS 60369 WITH SCORE 60716.334
AT ITER 2010 NEW BEST:: SOT 555232 SOS 350760 HAS SOPS 338051 HAS SOUS 64134 HAS SOUPS 60317 WITH SCORE 60667.76
AT ITER 2015 NEW BEST:: SOT 555232 SOS 350435 HAS SOPS 337726 HAS SOUS 64097 HAS SOUPS 60286 WITH SCORE 60636.435
AT ITER 2067 NEW BEST:: SOT 555232 SOS 349235 HAS SOPS 336548 HAS SOUS 64071 HAS SOUPS 60282 WITH SCORE 60631.235
AT ITER 2071 NEW BEST:: SOT 555232 SOS 349589 HAS SOPS 336867 HAS SOUS 64050 HAS SOUPS 60223 WITH SCORE 60572.589
AT ITER 2081 NEW BEST:: SOT 555232 SOS 348889 HAS SOPS 336167 HAS SOUS 64022 HAS SOUPS 60195 WITH SCORE 60543.889
AT ITER 2087 NEW BEST:: SOT 554954 SOS 348453 HAS SOPS 335589 HAS SOUS 63990 HAS SOUPS 60155 WITH SCORE 60503.453
AT ITER 2111 NEW BEST:: SOT 554954 SOS 348303 HAS SOPS 335442 HAS SOUS 63987 HAS SOUPS 60155 WITH SCORE 60503.303
AT ITER 2113 NEW BEST:: SOT 554954 SOS 347753 HAS SOPS 334892 HAS SOUS 63965 HAS SOUPS 60133 WITH SCORE 60480.753
AT ITER 2125 NEW BEST:: SOT 554954 SOS 347460 HAS SOPS 334599 HAS SOUS 63960 HAS SOUPS 60128 WITH SCORE 60475.46
AT ITER 2127 NEW BEST:: SOT 554954 SOS 347460 HAS SOPS 334597 HAS SOUS 63956 HAS SOUPS 60124 WITH SCORE 60471.46
AT ITER 2130 NEW BEST:: SOT 554954 SOS 344742 HAS SOPS 331740 HAS SOUS 63699 HAS SOUPS 59926 WITH SCORE 60270.742
AT ITER 2135 NEW BEST:: SOT 554950 SOS 344738 HAS SOPS 331731 HAS SOUS 63682 HAS SOUPS 59912 WITH SCORE 60256.738
AT ITER 2144 NEW BEST:: SOT 554950 SOS 343581 HAS SOPS 330531 HAS SOUS 63614 HAS SOUPS 59844 WITH SCORE 60187.581
AT ITER 2150 NEW BEST:: SOT 554950 SOS 343267 HAS SOPS 330217 HAS SOUS 63594 HAS SOUPS 59824 WITH SCORE 60167.267
AT ITER 2153 NEW BEST:: SOT 554988 SOS 343300 HAS SOPS 330255 HAS SOUS 63587 HAS SOUPS 59818 WITH SCORE 60161.3
AT ITER 2162 NEW BEST:: SOT 554988 SOS 343300 HAS SOPS 330252 HAS SOUS 63584 HAS SOUPS 59815 WITH SCORE 60158.3
AT ITER 2201 NEW BEST:: SOT 554988 SOS 343312 HAS SOPS 330252 HAS SOUS 63584 HAS SOUPS 59803 WITH SCORE 60146.312
AT ITER 2203 NEW BEST:: SOT 555001 SOS 343427 HAS SOPS 330305 HAS SOUS 63538 HAS SOUPS 59732 WITH SCORE 60075.427
AT ITER 2221 NEW BEST:: SOT 555001 SOS 343420 HAS SOPS 330298 HAS SOUS 63531 HAS SOUPS 59725 WITH SCORE 60068.42
AT ITER 2223 NEW BEST:: SOT 555001 SOS 343417 HAS SOPS 330286 HAS SOUS 63519 HAS SOUPS 59713 WITH SCORE 60056.417
AT ITER 2245 NEW BEST:: SOT 555032 SOS 343425 HAS SOPS 330217 HAS SOUS 63469 HAS SOUPS 59663 WITH SCORE 60006.425
AT ITER 2251 NEW BEST:: SOT 555019 SOS 343358 HAS SOPS 330122 HAS SOUS 63375 HAS SOUPS 59594 WITH SCORE 59937.358
AT ITER 2265 NEW BEST:: SOT 555019 SOS 342708 HAS SOPS 329472 HAS SOUS 63349 HAS SOUPS 59568 WITH SCORE 59910.708
AT ITER 2281 NEW BEST:: SOT 555019 SOS 342458 HAS SOPS 329218 HAS SOUS 63315 HAS SOUPS 59555 WITH SCORE 59897.458
AT ITER 2283 NEW BEST:: SOT 555019 SOS 342433 HAS SOPS 329184 HAS SOUS 63280 HAS SOUPS 59537 WITH SCORE 59879.433
AT ITER 2301 NEW BEST:: SOT 553948 SOS 346394 HAS SOPS 333331 HAS SOUS 62597 HAS SOUPS 58917 WITH SCORE 59263.394
AT ITER 2324 NEW BEST:: SOT 553905 SOS 346284 HAS SOPS 333009 HAS SOUS 62325 HAS SOUPS 58665 WITH SCORE 59011.284
AT ITER 2340 NEW BEST:: SOT 554167 SOS 346480 HAS SOPS 333271 HAS SOUS 62153 HAS SOUPS 58503 WITH SCORE 58849.48
AT ITER 2357 NEW BEST:: SOT 554167 SOS 348437 HAS SOPS 335143 HAS SOUS 62065 HAS SOUPS 58413 WITH SCORE 58761.437
AT ITER 2368 NEW BEST:: SOT 554167 SOS 348402 HAS SOPS 335030 HAS SOUS 62048 HAS SOUPS 58331 WITH SCORE 58679.402
AT ITER 2385 NEW BEST:: SOT 554203 SOS 348417 HAS SOPS 335067 HAS SOUS 61956 HAS SOUPS 58243 WITH SCORE 58591.417
AT ITER 2398 NEW BEST:: SOT 554203 SOS 344552 HAS SOPS 331240 HAS SOUS 61777 HAS SOUPS 58167 WITH SCORE 58511.552
AT ITER 2407 NEW BEST:: SOT 554203 SOS 344552 HAS SOPS 331237 HAS SOUS 61774 HAS SOUPS 58161 WITH SCORE 58505.552
AT ITER 2418 NEW BEST:: SOT 554203 SOS 344150 HAS SOPS 330843 HAS SOUS 61764 HAS SOUPS 58161 WITH SCORE 58505.15
AT ITER 2419 NEW BEST:: SOT 554203 SOS 343791 HAS SOPS 330484 HAS SOUS 61750 HAS SOUPS 58147 WITH SCORE 58490.791
AT ITER 2426 NEW BEST:: SOT 554203 SOS 343332 HAS SOPS 330025 HAS SOUS 61732 HAS SOUPS 58129 WITH SCORE 58472.332
AT ITER 2432 NEW BEST:: SOT 554203 SOS 345227 HAS SOPS 331863 HAS SOUS 61708 HAS SOUPS 58104 WITH SCORE 58449.227
AT ITER 2476 NEW BEST:: SOT 554154 SOS 347028 HAS SOPS 333627 HAS SOUS 61659 HAS SOUPS 58055 WITH SCORE 58402.028
AT ITER 2481 NEW BEST:: SOT 554154 SOS 346284 HAS SOPS 332856 HAS SOUS 61602 HAS SOUPS 57998 WITH SCORE 58344.284
AT ITER 2544 NEW BEST:: SOT 554154 SOS 346238 HAS SOPS 332805 HAS SOUS 61595 HAS SOUPS 57991 WITH SCORE 58337.238
AT ITER 2554 NEW BEST:: SOT 554154 SOS 345218 HAS SOPS 331795 HAS SOUS 61565 HAS SOUPS 57971 WITH SCORE 58316.218
AT ITER 2582 NEW BEST:: SOT 556110 SOS 349558 HAS SOPS 337678 HAS SOUS 61368 HAS SOUPS 57851 WITH SCORE 58200.558
AT ITER 2610 NEW BEST:: SOT 556110 SOS 350669 HAS SOPS 338755 HAS SOUS 61389 HAS SOUPS 57827 WITH SCORE 58177.669
AT ITER 2611 NEW BEST:: SOT 559620 SOS 353804 HAS SOPS 342265 HAS SOUS 61224 HAS SOUPS 57743 WITH SCORE 58096.804
AT ITER 2616 NEW BEST:: SOT 559620 SOS 353753 HAS SOPS 342214 HAS SOUS 61222 HAS SOUPS 57741 WITH SCORE 58094.753
AT ITER 2633 NEW BEST:: SOT 559620 SOS 353553 HAS SOPS 342018 HAS SOUS 61218 HAS SOUPS 57741 WITH SCORE 58094.553
AT ITER 2635 NEW BEST:: SOT 560010 SOS 354701 HAS SOPS 343458 HAS SOUS 60892 HAS SOUPS 57436 WITH SCORE 57790.701
AT ITER 2641 NEW BEST:: SOT 560010 SOS 354693 HAS SOPS 343442 HAS SOUS 60876 HAS SOUPS 57420 WITH SCORE 57774.693
AT ITER 2643 NEW BEST:: SOT 560010 SOS 354897 HAS SOPS 343641 HAS SOUS 60920 HAS SOUPS 57418 WITH SCORE 57772.897
AT ITER 2646 NEW BEST:: SOT 560010 SOS 355050 HAS SOPS 343772 HAS SOUS 60904 HAS SOUPS 57380 WITH SCORE 57735.05
AT ITER 2665 NEW BEST:: SOT 560010 SOS 355150 HAS SOPS 343863 HAS SOUS 60899 HAS SOUPS 57373 WITH SCORE 57728.15
AT ITER 2671 NEW BEST:: SOT 558787 SOS 353956 HAS SOPS 342640 HAS SOUS 60397 HAS SOUPS 56856 WITH SCORE 57209.956
AT ITER 2687 NEW BEST:: SOT 558787 SOS 353944 HAS SOPS 342628 HAS SOUS 60385 HAS SOUPS 56856 WITH SCORE 57209.944
AT ITER 2696 NEW BEST:: SOT 558787 SOS 353944 HAS SOPS 342624 HAS SOUS 60381 HAS SOUPS 56848 WITH SCORE 57201.944
AT ITER 2709 NEW BEST:: SOT 558787 SOS 353944 HAS SOPS 342602 HAS SOUS 60331 HAS SOUPS 56804 WITH SCORE 57157.944
AT ITER 2711 NEW BEST:: SOT 558787 SOS 353794 HAS SOPS 342452 HAS SOUS 60325 HAS SOUPS 56798 WITH SCORE 57151.794
AT ITER 2724 NEW BEST:: SOT 558787 SOS 353386 HAS SOPS 342044 HAS SOUS 60301 HAS SOUPS 56782 WITH SCORE 57135.386
AT ITER 2751 NEW BEST:: SOT 558787 SOS 353277 HAS SOPS 341935 HAS SOUS 60288 HAS SOUPS 56778 WITH SCORE 57131.277
AT ITER 2754 NEW BEST:: SOT 558787 SOS 352155 HAS SOPS 340835 HAS SOUS 60266 HAS SOUPS 56778 WITH SCORE 57130.155
AT ITER 2785 NEW BEST:: SOT 558787 SOS 351237 HAS SOPS 339917 HAS SOUS 60230 HAS SOUPS 56742 WITH SCORE 57093.237
AT ITER 2799 NEW BEST:: SOT 558787 SOS 353634 HAS SOPS 342244 HAS SOUS 60324 HAS SOUPS 56696 WITH SCORE 57049.634
AT ITER 2810 NEW BEST:: SOT 558787 SOS 353539 HAS SOPS 342148 HAS SOUS 60318 HAS SOUPS 56696 WITH SCORE 57049.539
AT ITER 2817 NEW BEST:: SOT 557897 SOS 352683 HAS SOPS 341234 HAS SOUS 59968 HAS SOUPS 56324 WITH SCORE 56676.683
AT ITER 2827 NEW BEST:: SOT 556175 SOS 351011 HAS SOPS 339512 HAS SOUS 59246 HAS SOUPS 55581 WITH SCORE 55932.011
AT ITER 2829 NEW BEST:: SOT 556443 SOS 352739 HAS SOPS 341616 HAS SOUS 58162 HAS SOUPS 54533 WITH SCORE 54885.739
AT ITER 2847 NEW BEST:: SOT 556443 SOS 352637 HAS SOPS 341516 HAS SOUS 58160 HAS SOUPS 54533 WITH SCORE 54885.637
AT ITER 2860 NEW BEST:: SOT 557087 SOS 350220 HAS SOPS 337991 HAS SOUS 57605 HAS SOUPS 53957 WITH SCORE 54307.22
AT ITER 2878 NEW BEST:: SOT 557461 SOS 350544 HAS SOPS 338365 HAS SOUS 57529 HAS SOUPS 53891 WITH SCORE 54241.544
AT ITER 2902 NEW BEST:: SOT 557461 SOS 350442 HAS SOPS 338263 HAS SOUS 57525 HAS SOUPS 53887 WITH SCORE 54237.442
AT ITER 2918 NEW BEST:: SOT 557461 SOS 350442 HAS SOPS 338238 HAS SOUS 57500 HAS SOUPS 53837 WITH SCORE 54187.442
AT ITER 2939 NEW BEST:: SOT 556305 SOS 349312 HAS SOPS 337082 HAS SOUS 57318 HAS SOUPS 53635 WITH SCORE 53984.312
AT ITER 2944 NEW BEST:: SOT 560492 SOS 353010 HAS SOPS 341269 HAS SOUS 56994 HAS SOUPS 53411 WITH SCORE 53764.01
AT ITER 2976 NEW BEST:: SOT 560469 SOS 350303 HAS SOPS 337778 HAS SOUS 56056 HAS SOUPS 52493 WITH SCORE 52843.303
AT ITER 2996 NEW BEST:: SOT 560495 SOS 350323 HAS SOPS 337804 HAS SOUS 56038 HAS SOUPS 52476 WITH SCORE 52826.323
AT ITER 2999 NEW BEST:: SOT 560495 SOS 350042 HAS SOPS 337523 HAS SOUS 56045 HAS SOUPS 52470 WITH SCORE 52820.042
AT ITER 3024 NEW BEST:: SOT 560495 SOS 349685 HAS SOPS 337166 HAS SOUS 56031 HAS SOUPS 52456 WITH SCORE 52805.685
AT ITER 3025 NEW BEST:: SOT 560664 SOS 349850 HAS SOPS 337335 HAS SOUS 56004 HAS SOUPS 52433 WITH SCORE 52782.85
AT ITER 3048 NEW BEST:: SOT 560618 SOS 349804 HAS SOPS 337289 HAS SOUS 55958 HAS SOUPS 52387 WITH SCORE 52736.804
AT ITER 3050 NEW BEST:: SOT 560618 SOS 349619 HAS SOPS 337104 HAS SOUS 55965 HAS SOUPS 52383 WITH SCORE 52732.619
AT ITER 3106 NEW BEST:: SOT 560618 SOS 347222 HAS SOPS 334738 HAS SOUS 55840 HAS SOUPS 52351 WITH SCORE 52698.222
AT ITER 3118 NEW BEST:: SOT 560462 SOS 347051 HAS SOPS 334480 HAS SOUS 55693 HAS SOUPS 52202 WITH SCORE 52549.051
AT ITER 3125 NEW BEST:: SOT 560462 SOS 347066 HAS SOPS 334489 HAS SOUS 55702 HAS SOUPS 52190 WITH SCORE 52537.066
AT ITER 3136 NEW BEST:: SOT 560253 SOS 346842 HAS SOPS 334130 HAS SOUS 55602 HAS SOUPS 52085 WITH SCORE 52431.842
AT ITER 3147 NEW BEST:: SOT 560415 SOS 346932 HAS SOPS 334292 HAS SOUS 55236 HAS SOUPS 51731 WITH SCORE 52077.932
AT ITER 3179 NEW BEST:: SOT 560415 SOS 346932 HAS SOPS 334288 HAS SOUS 55232 HAS SOUPS 51723 WITH SCORE 52069.932
AT ITER 3183 NEW BEST:: SOT 560415 SOS 347748 HAS SOPS 335083 HAS SOUS 55230 HAS SOUPS 51713 WITH SCORE 52060.748
AT ITER 3243 NEW BEST:: SOT 560415 SOS 347601 HAS SOPS 334936 HAS SOUS 55226 HAS SOUPS 51709 WITH SCORE 52056.601
AT ITER 3312 NEW BEST:: SOT 559467 SOS 346605 HAS SOPS 333438 HAS SOUS 54304 HAS SOUPS 50776 WITH SCORE 51122.605
AT ITER 3330 NEW BEST:: SOT 559467 SOS 347217 HAS SOPS 334032 HAS SOUS 54328 HAS SOUPS 50764 WITH SCORE 51111.217
AT ITER 3398 NEW BEST:: SOT 559479 SOS 347175 HAS SOPS 334050 HAS SOUS 54100 HAS SOUPS 50548 WITH SCORE 50895.175
AT ITER 3410 NEW BEST:: SOT 559479 SOS 347171 HAS SOPS 334040 HAS SOUS 54094 HAS SOUPS 50536 WITH SCORE 50883.171
AT ITER 3437 NEW BEST:: SOT 559479 SOS 347170 HAS SOPS 334038 HAS SOUS 54092 HAS SOUPS 50534 WITH SCORE 50881.17
AT ITER 3440 NEW BEST:: SOT 559479 SOS 346915 HAS SOPS 333783 HAS SOUS 54041 HAS SOUPS 50524 WITH SCORE 50870.915
AT ITER 3466 NEW BEST:: SOT 559479 SOS 346915 HAS SOPS 333776 HAS SOUS 54027 HAS SOUPS 50510 WITH SCORE 50856.915
AT ITER 3478 NEW BEST:: SOT 559479 SOS 346456 HAS SOPS 333317 HAS SOUS 54000 HAS SOUPS 50492 WITH SCORE 50838.456
AT ITER 3501 NEW BEST:: SOT 559479 SOS 346456 HAS SOPS 333307 HAS SOUS 53990 HAS SOUPS 50472 WITH SCORE 50818.456
AT ITER 3513 NEW BEST:: SOT 559486 SOS 346460 HAS SOPS 333282 HAS SOUS 53959 HAS SOUPS 50421 WITH SCORE 50767.46
AT ITER 3524 NEW BEST:: SOT 558937 SOS 345988 HAS SOPS 332983 HAS SOUS 53593 HAS SOUPS 50055 WITH SCORE 50400.988
AT ITER 3527 NEW BEST:: SOT 558937 SOS 345988 HAS SOPS 332979 HAS SOUS 53589 HAS SOUPS 50047 WITH SCORE 50392.988
AT ITER 3530 NEW BEST:: SOT 558937 SOS 345988 HAS SOPS 332969 HAS SOUS 53579 HAS SOUPS 50027 WITH SCORE 50372.988
AT ITER 3627 NEW BEST:: SOT 558937 SOS 345988 HAS SOPS 332963 HAS SOUS 53583 HAS SOUPS 50015 WITH SCORE 50360.988
AT ITER 3656 NEW BEST:: SOT 558937 SOS 345338 HAS SOPS 332326 HAS SOUS 53570 HAS SOUPS 50015 WITH SCORE 50360.338
AT ITER 3679 NEW BEST:: SOT 558937 SOS 345338 HAS SOPS 332321 HAS SOUS 53560 HAS SOUPS 50005 WITH SCORE 50350.338
AT ITER 3681 NEW BEST:: SOT 558937 SOS 343961 HAS SOPS 330944 HAS SOUS 53506 HAS SOUPS 49951 WITH SCORE 50294.961
AT ITER 3724 NEW BEST:: SOT 558937 SOS 344508 HAS SOPS 331477 HAS SOUS 53500 HAS SOUPS 49945 WITH SCORE 50289.508
AT ITER 3748 NEW BEST:: SOT 558937 SOS 343947 HAS SOPS 330916 HAS SOUS 53478 HAS SOUPS 49923 WITH SCORE 50266.947
AT ITER 3842 NEW BEST:: SOT 558937 SOS 343947 HAS SOPS 330906 HAS SOUS 53468 HAS SOUPS 49903 WITH SCORE 50246.947
AT ITER 3886 NEW BEST:: SOT 558937 SOS 343845 HAS SOPS 330804 HAS SOUS 53464 HAS SOUPS 49899 WITH SCORE 50242.845
AT ITER 3892 NEW BEST:: SOT 558937 SOS 342264 HAS SOPS 329232 HAS SOUS 53411 HAS SOUPS 49855 WITH SCORE 50197.264
AT ITER 3893 NEW BEST:: SOT 560331 SOS 343481 HAS SOPS 330698 HAS SOUS 53290 HAS SOUPS 49770 WITH SCORE 50113.481
AT ITER 3955 NEW BEST:: SOT 560331 SOS 343481 HAS SOPS 330693 HAS SOUS 53300 HAS SOUPS 49760 WITH SCORE 50103.481
AT ITER 3965 NEW BEST:: SOT 560331 SOS 343481 HAS SOPS 330689 HAS SOUS 53296 HAS SOUPS 49752 WITH SCORE 50095.481
AT ITER 4026 NEW BEST:: SOT 560331 SOS 343681 HAS SOPS 330884 HAS SOUS 53293 HAS SOUPS 49744 WITH SCORE 50087.681
AT ITER 4033 NEW BEST:: SOT 560331 SOS 343426 HAS SOPS 330630 HAS SOUS 53284 HAS SOUPS 49736 WITH SCORE 50079.426
AT ITER 4116 NEW BEST:: SOT 560331 SOS 343273 HAS SOPS 330480 HAS SOUS 53281 HAS SOUPS 49736 WITH SCORE 50079.273
AT ITER 4157 NEW BEST:: SOT 560331 SOS 343266 HAS SOPS 330473 HAS SOUS 53272 HAS SOUPS 49736 WITH SCORE 50079.266
AT ITER 4171 NEW BEST:: SOT 560331 SOS 343215 HAS SOPS 330422 HAS SOUS 53270 HAS SOUPS 49734 WITH SCORE 50077.215
AT ITER 4220 NEW BEST:: SOT 560331 SOS 343215 HAS SOPS 330415 HAS SOUS 53263 HAS SOUPS 49720 WITH SCORE 50063.215
AT ITER 4248 NEW BEST:: SOT 560325 SOS 343209 HAS SOPS 330407 HAS SOUS 53255 HAS SOUPS 49710 WITH SCORE 50053.209
AT ITER 4298 NEW BEST:: SOT 560325 SOS 343847 HAS SOPS 331020 HAS SOUS 53231 HAS SOUPS 49686 WITH SCORE 50029.847
AT ITER 4335 NEW BEST:: SOT 560325 SOS 344140 HAS SOPS 331313 HAS SOUS 53230 HAS SOUPS 49685 WITH SCORE 50029.14
AT ITER 4350 NEW BEST:: SOT 560325 SOS 344140 HAS SOPS 331295 HAS SOUS 53212 HAS SOUPS 49649 WITH SCORE 49993.14
AT ITER 4405 NEW BEST:: SOT 560325 SOS 344140 HAS SOPS 331292 HAS SOUS 53212 HAS SOUPS 49643 WITH SCORE 49987.14
AT ITER 4438 NEW BEST:: SOT 560325 SOS 343834 HAS SOPS 330986 HAS SOUS 53200 HAS SOUPS 49631 WITH SCORE 49974.834
AT ITER 4442 NEW BEST:: SOT 560325 SOS 343832 HAS SOPS 330983 HAS SOUS 53197 HAS SOUPS 49628 WITH SCORE 49971.832
AT ITER 4538 NEW BEST:: SOT 560325 SOS 343832 HAS SOPS 330982 HAS SOUS 53196 HAS SOUPS 49626 WITH SCORE 49969.832
AT ITER 4543 NEW BEST:: SOT 560325 SOS 343832 HAS SOPS 330981 HAS SOUS 53195 HAS SOUPS 49624 WITH SCORE 49967.832
AT ITER 4552 NEW BEST:: SOT 559616 SOS 343123 HAS SOPS 330272 HAS SOUS 52486 HAS SOUPS 48915 WITH SCORE 49258.123
AT ITER 4555 NEW BEST:: SOT 559616 SOS 343423 HAS SOPS 330565 HAS SOUS 52485 HAS SOUPS 48913 WITH SCORE 49256.423
AT ITER 4565 NEW BEST:: SOT 559616 SOS 343424 HAS SOPS 330564 HAS SOUS 52490 HAS SOUPS 48909 WITH SCORE 49252.424
AT ITER 4580 NEW BEST:: SOT 559616 SOS 343431 HAS SOPS 330563 HAS SOUS 52482 HAS SOUPS 48901 WITH SCORE 49244.431
AT ITER 4598 NEW BEST:: SOT 559616 SOS 343329 HAS SOPS 330461 HAS SOUS 52464 HAS SOUPS 48897 WITH SCORE 49240.329
AT ITER 4659 NEW BEST:: SOT 559664 SOS 343367 HAS SOPS 330409 HAS SOUS 52418 HAS SOUPS 48851 WITH SCORE 49194.367
AT ITER 4719 NEW BEST:: SOT 559664 SOS 343356 HAS SOPS 330398 HAS SOUS 52401 HAS SOUPS 48851 WITH SCORE 49194.356
AT ITER 4799 NEW BEST:: SOT 559664 SOS 343603 HAS SOPS 330641 HAS SOUS 52407 HAS SOUPS 48850 WITH SCORE 49193.603
AT ITER 4832 NEW BEST:: SOT 559664 SOS 342896 HAS SOPS 329934 HAS SOUS 52379 HAS SOUPS 48822 WITH SCORE 49164.896
AT ITER 4867 NEW BEST:: SOT 559664 SOS 342896 HAS SOPS 329928 HAS SOUS 52373 HAS SOUPS 48810 WITH SCORE 49152.896
AT ITER 4891 NEW BEST:: SOT 559664 SOS 342284 HAS SOPS 329322 HAS SOUS 52328 HAS SOUPS 48798 WITH SCORE 49140.284
AT ITER 4907 NEW BEST:: SOT 559664 SOS 342080 HAS SOPS 329118 HAS SOUS 52320 HAS SOUPS 48790 WITH SCORE 49132.08
AT ITER 4915 NEW BEST:: SOT 559657 SOS 342073 HAS SOPS 329111 HAS SOUS 52313 HAS SOUPS 48783 WITH SCORE 49125.073
AT ITER 4948 NEW BEST:: SOT 559631 SOS 341980 HAS SOPS 328951 HAS SOUS 52166 HAS SOUPS 48623 WITH SCORE 48964.98
AT ITER 4951 NEW BEST:: SOT 559631 SOS 341930 HAS SOPS 328902 HAS SOUS 52166 HAS SOUPS 48623 WITH SCORE 48964.93
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Dekker-PT-050-CTLCardinality-00 (AG( (! potential( ( 3 ) <= (tk(P48)) ))))
PROPERTY: Dekker-PT-050-CTLCardinality-01 (! (EX( (EF(potential( ( 3 ) <= (tk(P103)) ))))))
PROPERTY: Dekker-PT-050-CTLCardinality-02 (EU( ( ( potential( ( 3 ) <= (tk(P183)) ) | potential( ( 2 ) <= (tk(P156)) ) ) & (! potential( (tk(P142)) <= (tk(P39)) )) ),(EF(potential( ( 2 ) <= (tk(P86)) ))) ))
PROPERTY: Dekker-PT-050-CTLCardinality-03 ( (AG( ( (! potential( (tk(P66)) <= (tk(P136)) )) | ( potential( (tk(P133)) <= (tk(P139)) ) | potential( (tk(P216)) <= (tk(P52)) ) ) ))) | ( potential( (tk(P130)) <= (tk(P80)) ) & ( ( ( potential( (tk(P97)) <= (tk(P156)) ) & potential( (tk(P244)) <= (tk(P99)) ) ) | ( potential( ( 3 ) <= (tk(P226)) ) & potential( ( 3 ) <= (tk(P49)) ) ) ) & (AF(potential( (tk(P165)) <= (tk(P87)) ))) ) ) )
PROPERTY: Dekker-PT-050-CTLCardinality-04 ( potential( (tk(P5)) <= (tk(P208)) ) | (EG( (EF(potential( ( 3 ) <= (tk(P155)) ))))) )
PROPERTY: Dekker-PT-050-CTLCardinality-05 ( (! (! potential( (tk(P99)) <= (tk(P235)) ))) | (EF(( (! potential( ( 2 ) <= (tk(P36)) )) & potential( ( 3 ) <= (tk(P154)) ) ))) )
PROPERTY: Dekker-PT-050-CTLCardinality-06 ( ( potential( ( 3 ) <= (tk(P10)) ) & potential( (tk(P215)) <= (tk(P55)) ) ) | (! (AG( (! potential( ( 2 ) <= (tk(P32)) ))))) )
PROPERTY: Dekker-PT-050-CTLCardinality-07 (EF(potential( ( 2 ) <= (tk(P242)) )))
PROPERTY: Dekker-PT-050-CTLCardinality-08 ( ( (! ( potential( ( 2 ) <= (tk(P187)) ) & potential( ( 3 ) <= (tk(P1)) ) )) & (AG( (! potential( ( 3 ) <= (tk(P138)) )))) ) & (! (! potential( (tk(P56)) <= (tk(P118)) ))) )
PROPERTY: Dekker-PT-050-CTLCardinality-09 (EF((AF(( potential( ( 1 ) <= (tk(P34)) ) & potential( ( 2 ) <= (tk(P183)) ) )))))
PROPERTY: Dekker-PT-050-CTLCardinality-10 (EU( (EF(potential( ( 2 ) <= (tk(P237)) ))),potential( ( 3 ) <= (tk(P116)) ) ))
PROPERTY: Dekker-PT-050-CTLCardinality-11 ( ( (! potential( (tk(P70)) <= (tk(P26)) )) | (! ( ( potential( ( 3 ) <= (tk(P237)) ) | potential( (tk(P57)) <= (tk(P130)) ) ) | (! potential( (tk(P59)) <= (tk(P109)) )) )) ) | (EU( (! potential( ( 3 ) <= (tk(P207)) )),potential( ( 3 ) <= (tk(P86)) ) )) )
PROPERTY: Dekker-PT-050-CTLCardinality-12 (! (! (EF(( potential( ( 3 ) <= (tk(P29)) ) & potential( (tk(P142)) <= (tk(P65)) ) )))))
PROPERTY: Dekker-PT-050-CTLCardinality-13 (EU( ( potential( (tk(P28)) <= (tk(P162)) ) | ( potential( ( 3 ) <= (tk(P233)) ) | potential( (tk(P233)) <= (tk(P228)) ) ) ),( ( potential( ( 2 ) <= (tk(P184)) ) | potential( ( 3 ) <= (tk(P71)) ) ) & ( potential( ( 3 ) <= (tk(P228)) ) | potential( ( 2 ) <= (tk(P231)) ) ) ) ))
PROPERTY: Dekker-PT-050-CTLCardinality-14 (AF((EU( potential( ( 1 ) <= (tk(P161)) ),potential( ( 3 ) <= (tk(P128)) ) ))))
PROPERTY: Dekker-PT-050-CTLCardinality-15 ( (AF((AG( potential( (tk(P247)) <= (tk(P233)) ))))) | ( ( potential( (tk(P45)) <= (tk(P58)) ) | potential( (tk(P46)) <= (tk(P223)) ) ) & (AG( potential( ( 3 ) <= (tk(P53)) ))) ) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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