Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961251000787.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PhaseVariation-PT-D10CS010, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961251000787
=====================================================================

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589648646477

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D10CS010
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: 302 places, 3137 transitions, 21755 arcs.
AT ITER 0 NEW BEST:: SOT 919740 SOS 653923 HAS SOPS 584195 HAS SOUS 529501 HAS SOUPS 517736 WITH SCORE 518389.923
AT ITER 1 NEW BEST:: SOT 919740 SOS 656023 HAS SOPS 584777 HAS SOUS 530255 HAS SOUPS 517328 WITH SCORE 517984.023
AT ITER 2 NEW BEST:: SOT 919740 SOS 656257 HAS SOPS 583801 HAS SOUS 528833 HAS SOUPS 515524 WITH SCORE 516180.257
AT ITER 3 NEW BEST:: SOT 919740 SOS 657099 HAS SOPS 583801 HAS SOUS 528175 HAS SOUPS 514774 WITH SCORE 515431.099
AT ITER 4 NEW BEST:: SOT 919740 SOS 658053 HAS SOPS 583597 HAS SOUS 528293 HAS SOUPS 514074 WITH SCORE 514732.053
AT ITER 5 NEW BEST:: SOT 919740 SOS 659848 HAS SOPS 583625 HAS SOUS 526522 HAS SOUPS 511612 WITH SCORE 512271.848
AT ITER 6 NEW BEST:: SOT 919740 SOS 663702 HAS SOPS 587087 HAS SOUS 521216 HAS SOUPS 506624 WITH SCORE 507287.702
AT ITER 7 NEW BEST:: SOT 919740 SOS 663460 HAS SOPS 586511 HAS SOUS 520746 HAS SOUPS 505934 WITH SCORE 506597.46
AT ITER 8 NEW BEST:: SOT 919740 SOS 663586 HAS SOPS 586667 HAS SOUS 520180 HAS SOUPS 505246 WITH SCORE 505909.586
AT ITER 9 NEW BEST:: SOT 919740 SOS 665189 HAS SOPS 586751 HAS SOUS 520603 HAS SOUPS 504678 WITH SCORE 505343.189
AT ITER 11 NEW BEST:: SOT 919740 SOS 665207 HAS SOPS 586751 HAS SOUS 520585 HAS SOUPS 504660 WITH SCORE 505325.207
AT ITER 12 NEW BEST:: SOT 919740 SOS 666241 HAS SOPS 587165 HAS SOUS 520765 HAS SOUPS 504380 WITH SCORE 505046.241
AT ITER 14 NEW BEST:: SOT 919740 SOS 666763 HAS SOPS 587165 HAS SOUS 520243 HAS SOUPS 503858 WITH SCORE 504524.763
AT ITER 15 NEW BEST:: SOT 919740 SOS 667677 HAS SOPS 587171 HAS SOUS 519097 HAS SOUPS 502491 WITH SCORE 503158.677
AT ITER 16 NEW BEST:: SOT 919740 SOS 667175 HAS SOPS 585767 HAS SOUS 516635 HAS SOUPS 500107 WITH SCORE 500774.175
AT ITER 17 NEW BEST:: SOT 919740 SOS 668392 HAS SOPS 585719 HAS SOUS 514784 HAS SOUPS 497977 WITH SCORE 498645.392
AT ITER 18 NEW BEST:: SOT 919740 SOS 667737 HAS SOPS 585551 HAS SOUS 513896 HAS SOUPS 496796 WITH SCORE 497463.737
AT ITER 19 NEW BEST:: SOT 919740 SOS 668202 HAS SOPS 585353 HAS SOUS 512683 HAS SOUPS 495544 WITH SCORE 496212.202
AT ITER 20 NEW BEST:: SOT 919740 SOS 667876 HAS SOPS 587789 HAS SOUS 510598 HAS SOUPS 493668 WITH SCORE 494335.876
AT ITER 21 NEW BEST:: SOT 919740 SOS 668218 HAS SOPS 588347 HAS SOUS 509519 HAS SOUPS 492589 WITH SCORE 493257.218
AT ITER 22 NEW BEST:: SOT 919740 SOS 668632 HAS SOPS 590747 HAS SOUS 508164 HAS SOUPS 491569 WITH SCORE 492237.632
AT ITER 23 NEW BEST:: SOT 919993 SOS 671168 HAS SOPS 591092 HAS SOUS 504133 HAS SOUPS 487347 WITH SCORE 488018.168
AT ITER 24 NEW BEST:: SOT 919993 SOS 671797 HAS SOPS 591440 HAS SOUS 503476 HAS SOUPS 486675 WITH SCORE 487346.797
AT ITER 25 NEW BEST:: SOT 919993 SOS 672027 HAS SOPS 591440 HAS SOUS 503246 HAS SOUPS 486445 WITH SCORE 487117.027
AT ITER 26 NEW BEST:: SOT 919993 SOS 672177 HAS SOPS 591440 HAS SOUS 503140 HAS SOUPS 486317 WITH SCORE 486989.177
AT ITER 27 NEW BEST:: SOT 919993 SOS 671031 HAS SOPS 589412 HAS SOUS 503270 HAS SOUPS 486078 WITH SCORE 486749.031
AT ITER 30 NEW BEST:: SOT 919993 SOS 672897 HAS SOPS 589412 HAS SOUS 501740 HAS SOUPS 484380 WITH SCORE 485052.897
AT ITER 31 NEW BEST:: SOT 919993 SOS 672496 HAS SOPS 589466 HAS SOUS 501053 HAS SOUPS 484098 WITH SCORE 484770.496
AT ITER 33 NEW BEST:: SOT 919993 SOS 673065 HAS SOPS 589454 HAS SOUS 499818 HAS SOUPS 482863 WITH SCORE 483536.065
AT ITER 34 NEW BEST:: SOT 919993 SOS 674159 HAS SOPS 589454 HAS SOUS 498724 HAS SOUPS 481769 WITH SCORE 482443.159
AT ITER 36 NEW BEST:: SOT 919993 SOS 674287 HAS SOPS 589454 HAS SOUS 498596 HAS SOUPS 481641 WITH SCORE 482315.287
AT ITER 37 NEW BEST:: SOT 919993 SOS 674477 HAS SOPS 589322 HAS SOUS 498380 HAS SOUPS 481157 WITH SCORE 481831.477
AT ITER 38 NEW BEST:: SOT 919993 SOS 673181 HAS SOPS 587432 HAS SOUS 495346 HAS SOUPS 478242 WITH SCORE 478915.181
AT ITER 39 NEW BEST:: SOT 919993 SOS 673178 HAS SOPS 587432 HAS SOUS 495271 HAS SOUPS 478169 WITH SCORE 478842.178
AT ITER 40 NEW BEST:: SOT 919993 SOS 672605 HAS SOPS 588638 HAS SOUS 493870 HAS SOUPS 476906 WITH SCORE 477578.605
AT ITER 41 NEW BEST:: SOT 919993 SOS 673349 HAS SOPS 589064 HAS SOUS 490654 HAS SOUPS 473623 WITH SCORE 474296.349
AT ITER 42 NEW BEST:: SOT 919993 SOS 674407 HAS SOPS 592016 HAS SOUS 488724 HAS SOUPS 471858 WITH SCORE 472532.407
AT ITER 43 NEW BEST:: SOT 919993 SOS 674781 HAS SOPS 590672 HAS SOUS 487463 HAS SOUPS 470316 WITH SCORE 470990.781
AT ITER 44 NEW BEST:: SOT 919993 SOS 675103 HAS SOPS 591410 HAS SOUS 485539 HAS SOUPS 468495 WITH SCORE 469170.103
AT ITER 45 NEW BEST:: SOT 919993 SOS 674075 HAS SOPS 590474 HAS SOUS 483859 HAS SOUPS 466893 WITH SCORE 467567.075
AT ITER 46 NEW BEST:: SOT 919993 SOS 674074 HAS SOPS 590258 HAS SOUS 483895 HAS SOUPS 466833 WITH SCORE 467507.074
AT ITER 47 NEW BEST:: SOT 919993 SOS 694651 HAS SOPS 588783 HAS SOUS 483699 HAS SOUPS 465593 WITH SCORE 466287.651
AT ITER 50 NEW BEST:: SOT 919993 SOS 694497 HAS SOPS 589197 HAS SOUS 480360 HAS SOUPS 462331 WITH SCORE 463025.497
AT ITER 53 NEW BEST:: SOT 919993 SOS 694455 HAS SOPS 589983 HAS SOUS 478356 HAS SOUPS 460571 WITH SCORE 461265.455
AT ITER 56 NEW BEST:: SOT 919993 SOS 694455 HAS SOPS 589959 HAS SOUS 478340 HAS SOUPS 460547 WITH SCORE 461241.455
AT ITER 57 NEW BEST:: SOT 919993 SOS 694297 HAS SOPS 590121 HAS SOUS 477273 HAS SOUPS 459555 WITH SCORE 460249.297
AT ITER 58 NEW BEST:: SOT 920088 SOS 694421 HAS SOPS 591134 HAS SOUS 475997 HAS SOUPS 458174 WITH SCORE 458868.421
AT ITER 59 NEW BEST:: SOT 920088 SOS 694169 HAS SOPS 591242 HAS SOUS 475140 HAS SOUPS 457355 WITH SCORE 458049.169
AT ITER 60 NEW BEST:: SOT 920088 SOS 694347 HAS SOPS 590294 HAS SOUS 475739 HAS SOUPS 456904 WITH SCORE 457598.347
AT ITER 61 NEW BEST:: SOT 920088 SOS 694457 HAS SOPS 590294 HAS SOUS 475636 HAS SOUPS 456801 WITH SCORE 457495.457
AT ITER 63 NEW BEST:: SOT 920088 SOS 695290 HAS SOPS 589808 HAS SOUS 475494 HAS SOUPS 456599 WITH SCORE 457294.29
AT ITER 64 NEW BEST:: SOT 920088 SOS 695290 HAS SOPS 588980 HAS SOUS 475259 HAS SOUPS 455690 WITH SCORE 456385.29
AT ITER 66 NEW BEST:: SOT 920088 SOS 695681 HAS SOPS 589478 HAS SOUS 474382 HAS SOUPS 454741 WITH SCORE 455436.681
AT ITER 67 NEW BEST:: SOT 920088 SOS 693562 HAS SOPS 588740 HAS SOUS 472799 HAS SOUPS 453304 WITH SCORE 453997.562
AT ITER 68 NEW BEST:: SOT 920088 SOS 693562 HAS SOPS 588848 HAS SOUS 472449 HAS SOUPS 452734 WITH SCORE 453427.562
AT ITER 69 NEW BEST:: SOT 920088 SOS 694940 HAS SOPS 589460 HAS SOUS 472023 HAS SOUPS 452308 WITH SCORE 453002.94
AT ITER 71 NEW BEST:: SOT 920088 SOS 694940 HAS SOPS 590288 HAS SOUS 471408 HAS SOUPS 451758 WITH SCORE 452452.94
AT ITER 72 NEW BEST:: SOT 920088 SOS 695024 HAS SOPS 590288 HAS SOUS 471324 HAS SOUPS 451674 WITH SCORE 452369.024
AT ITER 73 NEW BEST:: SOT 920088 SOS 694569 HAS SOPS 590288 HAS SOUS 470761 HAS SOUPS 451169 WITH SCORE 451863.569
AT ITER 74 NEW BEST:: SOT 920088 SOS 694550 HAS SOPS 589538 HAS SOUS 469205 HAS SOUPS 449613 WITH SCORE 450307.55
AT ITER 76 NEW BEST:: SOT 920088 SOS 695024 HAS SOPS 589538 HAS SOUS 468727 HAS SOUPS 449135 WITH SCORE 449830.024
AT ITER 77 NEW BEST:: SOT 920088 SOS 695130 HAS SOPS 589358 HAS SOUS 468261 HAS SOUPS 448669 WITH SCORE 449364.13
AT ITER 78 NEW BEST:: SOT 920088 SOS 696108 HAS SOPS 589898 HAS SOUS 467241 HAS SOUPS 447649 WITH SCORE 448345.108
AT ITER 79 NEW BEST:: SOT 920088 SOS 697732 HAS SOPS 589898 HAS SOUS 465603 HAS SOUPS 446011 WITH SCORE 446708.732
AT ITER 81 NEW BEST:: SOT 920088 SOS 697882 HAS SOPS 589898 HAS SOUS 465453 HAS SOUPS 445861 WITH SCORE 446558.882
AT ITER 82 NEW BEST:: SOT 920088 SOS 698516 HAS SOPS 589826 HAS SOUS 464767 HAS SOUPS 445175 WITH SCORE 445873.516
AT ITER 83 NEW BEST:: SOT 920088 SOS 698580 HAS SOPS 590114 HAS SOUS 463108 HAS SOUPS 443622 WITH SCORE 444320.58
AT ITER 85 NEW BEST:: SOT 920088 SOS 698580 HAS SOPS 589820 HAS SOUS 463204 HAS SOUPS 443323 WITH SCORE 444021.58
AT ITER 86 NEW BEST:: SOT 920088 SOS 698021 HAS SOPS 589154 HAS SOUS 462357 HAS SOUPS 442513 WITH SCORE 443211.021
AT ITER 87 NEW BEST:: SOT 920088 SOS 698299 HAS SOPS 588308 HAS SOUS 461854 HAS SOUPS 442008 WITH SCORE 442706.299
AT ITER 92 NEW BEST:: SOT 920088 SOS 697857 HAS SOPS 588308 HAS SOUS 460646 HAS SOUPS 440898 WITH SCORE 441595.857
AT ITER 93 NEW BEST:: SOT 920088 SOS 698444 HAS SOPS 588308 HAS SOUS 460045 HAS SOUPS 440297 WITH SCORE 440995.444
AT ITER 94 NEW BEST:: SOT 920088 SOS 697323 HAS SOPS 586658 HAS SOUS 458245 HAS SOUPS 438517 WITH SCORE 439214.323
AT ITER 97 NEW BEST:: SOT 920088 SOS 695363 HAS SOPS 586568 HAS SOUS 456093 HAS SOUPS 436576 WITH SCORE 437271.363
AT ITER 98 NEW BEST:: SOT 920088 SOS 695371 HAS SOPS 586664 HAS SOUS 456053 HAS SOUPS 436544 WITH SCORE 437239.371
AT ITER 99 NEW BEST:: SOT 920088 SOS 695371 HAS SOPS 586610 HAS SOUS 456020 HAS SOUPS 436460 WITH SCORE 437155.371
AT ITER 100 NEW BEST:: SOT 920088 SOS 695371 HAS SOPS 586610 HAS SOUS 455734 HAS SOUPS 436192 WITH SCORE 436887.371
AT ITER 101 NEW BEST:: SOT 920088 SOS 695919 HAS SOPS 587000 HAS SOUS 452731 HAS SOUPS 433189 WITH SCORE 433884.919
AT ITER 103 NEW BEST:: SOT 920088 SOS 695685 HAS SOPS 586784 HAS SOUS 452527 HAS SOUPS 433017 WITH SCORE 433712.685
AT ITER 104 NEW BEST:: SOT 920088 SOS 696180 HAS SOPS 587090 HAS SOUS 451204 HAS SOUPS 431745 WITH SCORE 432441.18
AT ITER 106 NEW BEST:: SOT 920088 SOS 697803 HAS SOPS 587924 HAS SOUS 451015 HAS SOUPS 431556 WITH SCORE 432253.803
AT ITER 109 NEW BEST:: SOT 920088 SOS 697419 HAS SOPS 589436 HAS SOUS 450273 HAS SOUPS 430911 WITH SCORE 431608.419
AT ITER 110 NEW BEST:: SOT 920088 SOS 697492 HAS SOPS 590318 HAS SOUS 449756 HAS SOUPS 430517 WITH SCORE 431214.492
AT ITER 111 NEW BEST:: SOT 920088 SOS 696992 HAS SOPS 589022 HAS SOUS 449426 HAS SOUPS 430085 WITH SCORE 430781.992
AT ITER 112 NEW BEST:: SOT 920088 SOS 697082 HAS SOPS 590030 HAS SOUS 448425 HAS SOUPS 429093 WITH SCORE 429790.082
AT ITER 113 NEW BEST:: SOT 920088 SOS 696991 HAS SOPS 589292 HAS SOUS 445742 HAS SOUPS 426515 WITH SCORE 427211.991
AT ITER 114 NEW BEST:: SOT 920088 SOS 696589 HAS SOPS 589382 HAS SOUS 445239 HAS SOUPS 425984 WITH SCORE 426680.589
AT ITER 116 NEW BEST:: SOT 920088 SOS 696521 HAS SOPS 589382 HAS SOUS 444207 HAS SOUPS 425003 WITH SCORE 425699.521
AT ITER 117 NEW BEST:: SOT 920088 SOS 695234 HAS SOPS 591278 HAS SOUS 441740 HAS SOUPS 422873 WITH SCORE 423568.234
AT ITER 118 NEW BEST:: SOT 920088 SOS 694137 HAS SOPS 590072 HAS SOUS 439486 HAS SOUPS 420726 WITH SCORE 421420.137
AT ITER 119 NEW BEST:: SOT 920088 SOS 693397 HAS SOPS 590366 HAS SOUS 439273 HAS SOUPS 420533 WITH SCORE 421226.397
AT ITER 121 NEW BEST:: SOT 920088 SOS 693871 HAS SOPS 590366 HAS SOUS 438745 HAS SOUPS 420005 WITH SCORE 420698.871
AT ITER 122 NEW BEST:: SOT 920088 SOS 693325 HAS SOPS 591776 HAS SOUS 435380 HAS SOUPS 416581 WITH SCORE 417274.325
AT ITER 123 NEW BEST:: SOT 920088 SOS 693325 HAS SOPS 591038 HAS SOUS 434870 HAS SOUPS 415898 WITH SCORE 416591.325
AT ITER 125 NEW BEST:: SOT 920088 SOS 693878 HAS SOPS 591884 HAS SOUS 432261 HAS SOUPS 413435 WITH SCORE 414128.878
AT ITER 126 NEW BEST:: SOT 920088 SOS 695288 HAS SOPS 595592 HAS SOUS 430085 HAS SOUPS 411364 WITH SCORE 412059.288
AT ITER 127 NEW BEST:: SOT 920088 SOS 694715 HAS SOPS 595070 HAS SOUS 428981 HAS SOUPS 410320 WITH SCORE 411014.715
AT ITER 128 NEW BEST:: SOT 920088 SOS 692083 HAS SOPS 593558 HAS SOUS 427399 HAS SOUPS 408872 WITH SCORE 409564.083
AT ITER 129 NEW BEST:: SOT 920088 SOS 692888 HAS SOPS 593558 HAS SOUS 426499 HAS SOUPS 407972 WITH SCORE 408664.888
AT ITER 130 NEW BEST:: SOT 920088 SOS 692590 HAS SOPS 593078 HAS SOUS 426448 HAS SOUPS 407921 WITH SCORE 408613.59
AT ITER 132 NEW BEST:: SOT 920088 SOS 691953 HAS SOPS 591476 HAS SOUS 425586 HAS SOUPS 407059 WITH SCORE 407750.953
AT ITER 134 NEW BEST:: SOT 920088 SOS 691930 HAS SOPS 591224 HAS SOUS 425545 HAS SOUPS 407058 WITH SCORE 407749.93
AT ITER 138 NEW BEST:: SOT 920088 SOS 691930 HAS SOPS 592484 HAS SOUS 424340 HAS SOUPS 405975 WITH SCORE 406666.93
AT ITER 139 NEW BEST:: SOT 920088 SOS 691930 HAS SOPS 592980 HAS SOUS 423589 HAS SOUPS 405665 WITH SCORE 406356.93
AT ITER 140 NEW BEST:: SOT 920088 SOS 690395 HAS SOPS 591096 HAS SOUS 422380 HAS SOUPS 404456 WITH SCORE 405146.395
AT ITER 143 NEW BEST:: SOT 920088 SOS 690169 HAS SOPS 591528 HAS SOUS 421096 HAS SOUPS 403476 WITH SCORE 404166.169
AT ITER 146 NEW BEST:: SOT 920088 SOS 690022 HAS SOPS 591474 HAS SOUS 419941 HAS SOUPS 402262 WITH SCORE 402952.022
AT ITER 147 NEW BEST:: SOT 920088 SOS 688631 HAS SOPS 591228 HAS SOUS 418790 HAS SOUPS 401138 WITH SCORE 401826.631
AT ITER 149 NEW BEST:: SOT 920088 SOS 689002 HAS SOPS 592662 HAS SOUS 418485 HAS SOUPS 400904 WITH SCORE 401593.002
AT ITER 153 NEW BEST:: SOT 920198 SOS 688062 HAS SOPS 592070 HAS SOUS 417235 HAS SOUPS 399613 WITH SCORE 400301.062
AT ITER 154 NEW BEST:: SOT 920198 SOS 688068 HAS SOPS 592808 HAS SOUS 416136 HAS SOUPS 398604 WITH SCORE 399292.068
AT ITER 156 NEW BEST:: SOT 920198 SOS 688068 HAS SOPS 592808 HAS SOUS 416053 HAS SOUPS 398521 WITH SCORE 399209.068
AT ITER 158 NEW BEST:: SOT 920198 SOS 687389 HAS SOPS 591422 HAS SOUS 414287 HAS SOUPS 396746 WITH SCORE 397433.389
AT ITER 162 NEW BEST:: SOT 920198 SOS 687389 HAS SOPS 591746 HAS SOUS 414064 HAS SOUPS 396541 WITH SCORE 397228.389
AT ITER 163 NEW BEST:: SOT 920198 SOS 686999 HAS SOPS 591746 HAS SOUS 413820 HAS SOUPS 396416 WITH SCORE 397102.999
AT ITER 167 NEW BEST:: SOT 920198 SOS 686671 HAS SOPS 591566 HAS SOUS 413788 HAS SOUPS 396384 WITH SCORE 397070.671
AT ITER 169 NEW BEST:: SOT 920198 SOS 687241 HAS SOPS 594434 HAS SOUS 412517 HAS SOUPS 395252 WITH SCORE 395939.241
AT ITER 171 NEW BEST:: SOT 920198 SOS 687817 HAS SOPS 594812 HAS SOUS 412533 HAS SOUPS 395228 WITH SCORE 395915.817
AT ITER 172 NEW BEST:: SOT 920198 SOS 687817 HAS SOPS 594416 HAS SOUS 412534 HAS SOUPS 395037 WITH SCORE 395724.817
AT ITER 173 NEW BEST:: SOT 920198 SOS 687578 HAS SOPS 592274 HAS SOUS 410568 HAS SOUPS 393019 WITH SCORE 393706.578
AT ITER 174 NEW BEST:: SOT 920198 SOS 687578 HAS SOPS 592874 HAS SOUS 410097 HAS SOUPS 392814 WITH SCORE 393501.578
AT ITER 175 NEW BEST:: SOT 920198 SOS 687578 HAS SOPS 593126 HAS SOUS 409995 HAS SOUPS 392691 WITH SCORE 393378.578
AT ITER 177 NEW BEST:: SOT 920198 SOS 686992 HAS SOPS 593338 HAS SOUS 406079 HAS SOUPS 389246 WITH SCORE 389932.992
AT ITER 181 NEW BEST:: SOT 920198 SOS 687570 HAS SOPS 593878 HAS SOUS 406057 HAS SOUPS 389224 WITH SCORE 389911.57
AT ITER 182 NEW BEST:: SOT 920198 SOS 688173 HAS SOPS 594910 HAS SOUS 405822 HAS SOUPS 388936 WITH SCORE 389624.173
AT ITER 185 NEW BEST:: SOT 920198 SOS 688496 HAS SOPS 594910 HAS SOUS 405579 HAS SOUPS 388693 WITH SCORE 389381.496
AT ITER 188 NEW BEST:: SOT 920198 SOS 688760 HAS SOPS 595180 HAS SOUS 403603 HAS SOUPS 386858 WITH SCORE 387546.76
AT ITER 190 NEW BEST:: SOT 920198 SOS 689353 HAS SOPS 595180 HAS SOUS 402798 HAS SOUPS 386053 WITH SCORE 386742.353
AT ITER 191 NEW BEST:: SOT 920198 SOS 689353 HAS SOPS 595054 HAS SOUS 402812 HAS SOUPS 385948 WITH SCORE 386637.353
AT ITER 194 NEW BEST:: SOT 920198 SOS 689427 HAS SOPS 595270 HAS SOUS 402786 HAS SOUPS 385922 WITH SCORE 386611.427
AT ITER 195 NEW BEST:: SOT 920198 SOS 689664 HAS SOPS 596578 HAS SOUS 401699 HAS SOUPS 384835 WITH SCORE 385524.664
AT ITER 196 NEW BEST:: SOT 920198 SOS 689875 HAS SOPS 596416 HAS SOUS 400966 HAS SOUPS 384092 WITH SCORE 384781.875
AT ITER 198 NEW BEST:: SOT 920198 SOS 689597 HAS SOPS 593536 HAS SOUS 400850 HAS SOUPS 383193 WITH SCORE 383882.597
AT ITER 202 NEW BEST:: SOT 920198 SOS 690076 HAS SOPS 594616 HAS SOUS 400542 HAS SOUPS 382945 WITH SCORE 383635.076
AT ITER 203 NEW BEST:: SOT 920198 SOS 690076 HAS SOPS 594616 HAS SOUS 400520 HAS SOUPS 382925 WITH SCORE 383615.076
AT ITER 204 NEW BEST:: SOT 920198 SOS 690052 HAS SOPS 594508 HAS SOUS 400394 HAS SOUPS 382799 WITH SCORE 383489.052
AT ITER 210 NEW BEST:: SOT 920198 SOS 690052 HAS SOPS 594508 HAS SOUS 400414 HAS SOUPS 382774 WITH SCORE 383464.052
AT ITER 211 NEW BEST:: SOT 920198 SOS 690540 HAS SOPS 594952 HAS SOUS 400370 HAS SOUPS 382730 WITH SCORE 383420.54
AT ITER 214 NEW BEST:: SOT 920198 SOS 690683 HAS SOPS 595564 HAS SOUS 400168 HAS SOUPS 382562 WITH SCORE 383252.683
AT ITER 217 NEW BEST:: SOT 920198 SOS 689850 HAS SOPS 594796 HAS SOUS 399027 HAS SOUPS 381421 WITH SCORE 382110.85
AT ITER 220 NEW BEST:: SOT 920198 SOS 689825 HAS SOPS 595084 HAS SOUS 398572 HAS SOUPS 381008 WITH SCORE 381697.825
AT ITER 221 NEW BEST:: SOT 920198 SOS 689496 HAS SOPS 594910 HAS SOUS 398552 HAS SOUPS 380988 WITH SCORE 381677.496
AT ITER 224 NEW BEST:: SOT 920198 SOS 689496 HAS SOPS 594910 HAS SOUS 398429 HAS SOUPS 380858 WITH SCORE 381547.496
AT ITER 225 NEW BEST:: SOT 920198 SOS 689496 HAS SOPS 594910 HAS SOUS 398341 HAS SOUPS 380782 WITH SCORE 381471.496
AT ITER 227 NEW BEST:: SOT 920198 SOS 689527 HAS SOPS 594760 HAS SOUS 398296 HAS SOUPS 380583 WITH SCORE 381272.527
AT ITER 228 NEW BEST:: SOT 920198 SOS 689455 HAS SOPS 594670 HAS SOUS 397858 HAS SOUPS 380145 WITH SCORE 380834.455
AT ITER 233 NEW BEST:: SOT 714451 SOS 624096 HAS SOPS 618791 HAS SOUS 189227 HAS SOUPS 188679 WITH SCORE 189303.096
AT ITER 237 NEW BEST:: SOT 714225 SOS 623870 HAS SOPS 618565 HAS SOUS 188841 HAS SOUPS 188293 WITH SCORE 188916.87
AT ITER 239 NEW BEST:: SOT 714225 SOS 623879 HAS SOPS 618601 HAS SOUS 188734 HAS SOUPS 188189 WITH SCORE 188812.879
AT ITER 242 NEW BEST:: SOT 713462 SOS 623116 HAS SOPS 617838 HAS SOUS 188511 HAS SOUPS 187966 WITH SCORE 188589.116
AT ITER 245 NEW BEST:: SOT 713462 SOS 623116 HAS SOPS 617838 HAS SOUS 188412 HAS SOUPS 187867 WITH SCORE 188490.116
AT ITER 246 NEW BEST:: SOT 713622 SOS 623065 HAS SOPS 618172 HAS SOUS 187295 HAS SOUPS 186779 WITH SCORE 187402.065
AT ITER 248 NEW BEST:: SOT 713622 SOS 623019 HAS SOPS 618400 HAS SOUS 186591 HAS SOUPS 186095 WITH SCORE 186718.019
AT ITER 250 NEW BEST:: SOT 713622 SOS 623019 HAS SOPS 618400 HAS SOUS 186492 HAS SOUPS 185996 WITH SCORE 186619.019
AT ITER 251 NEW BEST:: SOT 713622 SOS 623437 HAS SOPS 618592 HAS SOUS 186439 HAS SOUPS 185943 WITH SCORE 186566.437
AT ITER 252 NEW BEST:: SOT 713622 SOS 623165 HAS SOPS 618484 HAS SOUS 186386 HAS SOUPS 185890 WITH SCORE 186513.165
AT ITER 253 NEW BEST:: SOT 716728 SOS 626271 HAS SOPS 621590 HAS SOUS 185495 HAS SOUPS 184999 WITH SCORE 185625.271
AT ITER 254 NEW BEST:: SOT 716728 SOS 626277 HAS SOPS 621626 HAS SOUS 184584 HAS SOUPS 184090 WITH SCORE 184716.277
AT ITER 255 NEW BEST:: SOT 716728 SOS 626241 HAS SOPS 621602 HAS SOUS 184572 HAS SOUPS 184078 WITH SCORE 184704.241
AT ITER 256 NEW BEST:: SOT 716114 SOS 625627 HAS SOPS 620988 HAS SOUS 184084 HAS SOUPS 183590 WITH SCORE 184215.627
AT ITER 257 NEW BEST:: SOT 716104 SOS 625617 HAS SOPS 620978 HAS SOUS 184079 HAS SOUPS 183585 WITH SCORE 184210.617
AT ITER 258 NEW BEST:: SOT 716814 SOS 626327 HAS SOPS 621688 HAS SOUS 184009 HAS SOUPS 183515 WITH SCORE 184141.327
AT ITER 259 NEW BEST:: SOT 717052 SOS 626189 HAS SOPS 621758 HAS SOUS 183847 HAS SOUPS 183353 WITH SCORE 183979.189
AT ITER 260 NEW BEST:: SOT 717052 SOS 626189 HAS SOPS 621758 HAS SOUS 183808 HAS SOUPS 183314 WITH SCORE 183940.189
AT ITER 261 NEW BEST:: SOT 716984 SOS 626121 HAS SOPS 621690 HAS SOUS 183434 HAS SOUPS 182940 WITH SCORE 183566.121
AT ITER 262 NEW BEST:: SOT 716984 SOS 626151 HAS SOPS 622230 HAS SOUS 183169 HAS SOUPS 182705 WITH SCORE 183331.151
AT ITER 263 NEW BEST:: SOT 717010 SOS 626177 HAS SOPS 622256 HAS SOUS 181339 HAS SOUPS 180875 WITH SCORE 181501.177
AT ITER 264 NEW BEST:: SOT 717010 SOS 626177 HAS SOPS 622256 HAS SOUS 180922 HAS SOUPS 180458 WITH SCORE 181084.177
AT ITER 266 NEW BEST:: SOT 717010 SOS 626457 HAS SOPS 622496 HAS SOUS 180607 HAS SOUPS 180143 WITH SCORE 180769.457
AT ITER 269 NEW BEST:: SOT 717010 SOS 626471 HAS SOPS 622496 HAS SOUS 179700 HAS SOUPS 179236 WITH SCORE 179862.471
AT ITER 271 NEW BEST:: SOT 717538 SOS 626999 HAS SOPS 623024 HAS SOUS 179604 HAS SOUPS 179140 WITH SCORE 179766.999
AT ITER 275 NEW BEST:: SOT 717616 SOS 627077 HAS SOPS 623102 HAS SOUS 179469 HAS SOUPS 179005 WITH SCORE 179632.077
AT ITER 283 NEW BEST:: SOT 717517 SOS 626978 HAS SOPS 623003 HAS SOUS 179298 HAS SOUPS 178834 WITH SCORE 179460.978
AT ITER 284 NEW BEST:: SOT 717517 SOS 627539 HAS SOPS 623703 HAS SOUS 179115 HAS SOUPS 178676 WITH SCORE 179303.539
AT ITER 289 NEW BEST:: SOT 717517 SOS 627539 HAS SOPS 623703 HAS SOUS 179052 HAS SOUPS 178613 WITH SCORE 179240.539
AT ITER 294 NEW BEST:: SOT 717568 SOS 627590 HAS SOPS 623754 HAS SOUS 177950 HAS SOUPS 177511 WITH SCORE 178138.59
AT ITER 295 NEW BEST:: SOT 717520 SOS 627542 HAS SOPS 623706 HAS SOUS 177105 HAS SOUPS 176666 WITH SCORE 177293.542
AT ITER 301 NEW BEST:: SOT 717227 SOS 627249 HAS SOPS 623413 HAS SOUS 176480 HAS SOUPS 176041 WITH SCORE 176668.249
AT ITER 310 NEW BEST:: SOT 717227 SOS 627249 HAS SOPS 623413 HAS SOUS 176119 HAS SOUPS 175680 WITH SCORE 176307.249
AT ITER 316 NEW BEST:: SOT 718256 SOS 628278 HAS SOPS 624442 HAS SOUS 174615 HAS SOUPS 174176 WITH SCORE 174804.278
AT ITER 318 NEW BEST:: SOT 718413 SOS 628435 HAS SOPS 624599 HAS SOUS 174583 HAS SOUPS 174144 WITH SCORE 174772.435
AT ITER 322 NEW BEST:: SOT 716543 SOS 626565 HAS SOPS 622729 HAS SOUS 173950 HAS SOUPS 173511 WITH SCORE 174137.565
AT ITER 324 NEW BEST:: SOT 715922 SOS 625944 HAS SOPS 622108 HAS SOUS 172643 HAS SOUPS 172204 WITH SCORE 172829.944
AT ITER 325 NEW BEST:: SOT 715796 SOS 625818 HAS SOPS 621982 HAS SOUS 172247 HAS SOUPS 171808 WITH SCORE 172433.818
AT ITER 327 NEW BEST:: SOT 715735 SOS 625757 HAS SOPS 621921 HAS SOUS 172046 HAS SOUPS 171607 WITH SCORE 172232.757
AT ITER 328 NEW BEST:: SOT 715735 SOS 625757 HAS SOPS 621921 HAS SOUS 170905 HAS SOUPS 170466 WITH SCORE 171091.757
AT ITER 330 NEW BEST:: SOT 715735 SOS 625731 HAS SOPS 621999 HAS SOUS 170841 HAS SOUPS 170415 WITH SCORE 171040.731
AT ITER 334 NEW BEST:: SOT 715355 SOS 625351 HAS SOPS 621619 HAS SOUS 169366 HAS SOUPS 168940 WITH SCORE 169565.351
AT ITER 336 NEW BEST:: SOT 715433 SOS 625429 HAS SOPS 621697 HAS SOUS 169051 HAS SOUPS 168625 WITH SCORE 169250.429
AT ITER 337 NEW BEST:: SOT 715411 SOS 625407 HAS SOPS 621675 HAS SOUS 169033 HAS SOUPS 168607 WITH SCORE 169232.407
AT ITER 339 NEW BEST:: SOT 715411 SOS 625769 HAS SOPS 622347 HAS SOUS 168840 HAS SOUPS 168442 WITH SCORE 169067.769
AT ITER 341 NEW BEST:: SOT 713625 SOS 623983 HAS SOPS 620561 HAS SOUS 167892 HAS SOUPS 167494 WITH SCORE 168117.983
AT ITER 348 NEW BEST:: SOT 713380 SOS 623738 HAS SOPS 620316 HAS SOUS 167810 HAS SOUPS 167412 WITH SCORE 168035.738
AT ITER 349 NEW BEST:: SOT 714185 SOS 624511 HAS SOPS 621097 HAS SOUS 167579 HAS SOUPS 167181 WITH SCORE 167805.511
AT ITER 352 NEW BEST:: SOT 713686 SOS 624012 HAS SOPS 620598 HAS SOUS 167063 HAS SOUPS 166665 WITH SCORE 167289.012
AT ITER 354 NEW BEST:: SOT 713686 SOS 624012 HAS SOPS 620598 HAS SOUS 166949 HAS SOUPS 166551 WITH SCORE 167175.012
AT ITER 356 NEW BEST:: SOT 713686 SOS 490924 HAS SOPS 446922 HAS SOUS 168114 HAS SOUPS 161533 WITH SCORE 162023.924
AT ITER 358 NEW BEST:: SOT 715031 SOS 492445 HAS SOPS 448753 HAS SOUS 166861 HAS SOUPS 160280 WITH SCORE 160772.445
AT ITER 359 NEW BEST:: SOT 715031 SOS 492261 HAS SOPS 448897 HAS SOUS 166332 HAS SOUPS 159800 WITH SCORE 160292.261
AT ITER 364 NEW BEST:: SOT 715031 SOS 492505 HAS SOPS 449077 HAS SOUS 166232 HAS SOUPS 159700 WITH SCORE 160192.505
AT ITER 365 NEW BEST:: SOT 714941 SOS 491699 HAS SOPS 447961 HAS SOUS 166199 HAS SOUPS 159675 WITH SCORE 160166.699
AT ITER 366 NEW BEST:: SOT 714992 SOS 490707 HAS SOPS 449194 HAS SOUS 164609 HAS SOUPS 158249 WITH SCORE 158739.707
AT ITER 377 NEW BEST:: SOT 715352 SOS 492373 HAS SOPS 451894 HAS SOUS 163636 HAS SOUPS 157341 WITH SCORE 157833.373
AT ITER 378 NEW BEST:: SOT 714338 SOS 490980 HAS SOPS 449962 HAS SOUS 163558 HAS SOUPS 157212 WITH SCORE 157702.98
AT ITER 380 NEW BEST:: SOT 715479 SOS 492732 HAS SOPS 452639 HAS SOUS 162928 HAS SOUPS 156646 WITH SCORE 157138.732
AT ITER 381 NEW BEST:: SOT 716103 SOS 492500 HAS SOPS 452915 HAS SOUS 161359 HAS SOUPS 155130 WITH SCORE 155622.5
AT ITER 382 NEW BEST:: SOT 715047 SOS 491444 HAS SOPS 451859 HAS SOUS 160872 HAS SOUPS 154643 WITH SCORE 155134.444
AT ITER 389 NEW BEST:: SOT 713816 SOS 489201 HAS SOPS 449224 HAS SOUS 160547 HAS SOUPS 154418 WITH SCORE 154907.201
AT ITER 390 NEW BEST:: SOT 712599 SOS 488810 HAS SOPS 447541 HAS SOUS 159759 HAS SOUPS 153412 WITH SCORE 153900.81
AT ITER 398 NEW BEST:: SOT 712599 SOS 488630 HAS SOPS 446839 HAS SOUS 159744 HAS SOUPS 153372 WITH SCORE 153860.63
AT ITER 399 NEW BEST:: SOT 710678 SOS 485785 HAS SOPS 442164 HAS SOUS 159861 HAS SOUPS 153345 WITH SCORE 153830.785
AT ITER 400 NEW BEST:: SOT 710474 SOS 485581 HAS SOPS 441960 HAS SOUS 159778 HAS SOUPS 153262 WITH SCORE 153747.581
AT ITER 401 NEW BEST:: SOT 712285 SOS 487953 HAS SOPS 445517 HAS SOUS 158515 HAS SOUPS 152279 WITH SCORE 152766.953
AT ITER 410 NEW BEST:: SOT 712285 SOS 487667 HAS SOPS 446651 HAS SOUS 157820 HAS SOUPS 151733 WITH SCORE 152220.667
AT ITER 411 NEW BEST:: SOT 712435 SOS 487817 HAS SOPS 446801 HAS SOUS 157704 HAS SOUPS 151617 WITH SCORE 152104.817
AT ITER 412 NEW BEST:: SOT 712493 SOS 487875 HAS SOPS 446859 HAS SOUS 157588 HAS SOUPS 151501 WITH SCORE 151988.875
AT ITER 414 NEW BEST:: SOT 712493 SOS 487924 HAS SOPS 447003 HAS SOUS 157565 HAS SOUPS 151484 WITH SCORE 151971.924
AT ITER 415 NEW BEST:: SOT 712546 SOS 488411 HAS SOPS 447074 HAS SOUS 157208 HAS SOUPS 151127 WITH SCORE 151615.411
AT ITER 428 NEW BEST:: SOT 711910 SOS 487775 HAS SOPS 446438 HAS SOUS 156967 HAS SOUPS 150886 WITH SCORE 151373.775
AT ITER 430 NEW BEST:: SOT 711958 SOS 487823 HAS SOPS 446486 HAS SOUS 156966 HAS SOUPS 150885 WITH SCORE 151372.823
AT ITER 433 NEW BEST:: SOT 712136 SOS 488001 HAS SOPS 446664 HAS SOUS 156421 HAS SOUPS 150340 WITH SCORE 150828.001
AT ITER 437 NEW BEST:: SOT 713200 SOS 489137 HAS SOPS 449030 HAS SOUS 156045 HAS SOUPS 150034 WITH SCORE 150523.137
AT ITER 441 NEW BEST:: SOT 713200 SOS 489101 HAS SOPS 449030 HAS SOUS 155973 HAS SOUPS 149971 WITH SCORE 150460.101
AT ITER 443 NEW BEST:: SOT 713268 SOS 489211 HAS SOPS 449098 HAS SOUS 155396 HAS SOUPS 149394 WITH SCORE 149883.211
AT ITER 445 NEW BEST:: SOT 713226 SOS 489526 HAS SOPS 450352 HAS SOUS 154564 HAS SOUPS 148658 WITH SCORE 149147.526
AT ITER 451 NEW BEST:: SOT 713325 SOS 489936 HAS SOPS 450973 HAS SOUS 154416 HAS SOUPS 148514 WITH SCORE 149003.936
AT ITER 452 NEW BEST:: SOT 713325 SOS 489746 HAS SOPS 451639 HAS SOUS 153944 HAS SOUPS 148111 WITH SCORE 148600.746
AT ITER 454 NEW BEST:: SOT 713325 SOS 489706 HAS SOPS 451615 HAS SOUS 153940 HAS SOUPS 148107 WITH SCORE 148596.706
AT ITER 458 NEW BEST:: SOT 713325 SOS 489766 HAS SOPS 451735 HAS SOUS 153905 HAS SOUPS 148077 WITH SCORE 148566.766
AT ITER 460 NEW BEST:: SOT 714348 SOS 490646 HAS SOPS 454708 HAS SOUS 153175 HAS SOUPS 147488 WITH SCORE 147978.646
AT ITER 461 NEW BEST:: SOT 714495 SOS 491230 HAS SOPS 455557 HAS SOUS 152813 HAS SOUPS 147174 WITH SCORE 147665.23
AT ITER 464 NEW BEST:: SOT 714495 SOS 490580 HAS SOPS 454891 HAS SOUS 152656 HAS SOUPS 147017 WITH SCORE 147507.58
AT ITER 471 NEW BEST:: SOT 714495 SOS 491079 HAS SOPS 456349 HAS SOUS 152359 HAS SOUPS 146801 WITH SCORE 147292.079
AT ITER 479 NEW BEST:: SOT 713785 SOS 490369 HAS SOPS 455639 HAS SOUS 151820 HAS SOUPS 146262 WITH SCORE 146752.369
AT ITER 480 NEW BEST:: SOT 712065 SOS 488649 HAS SOPS 453919 HAS SOUS 150558 HAS SOUPS 145000 WITH SCORE 145488.649
AT ITER 481 NEW BEST:: SOT 712291 SOS 488875 HAS SOPS 454145 HAS SOUS 150308 HAS SOUPS 144750 WITH SCORE 145238.875
AT ITER 483 NEW BEST:: SOT 712291 SOS 489359 HAS SOPS 454251 HAS SOUS 149231 HAS SOUPS 143650 WITH SCORE 144139.359
AT ITER 489 NEW BEST:: SOT 713343 SOS 490411 HAS SOPS 455303 HAS SOUS 149142 HAS SOUPS 143561 WITH SCORE 144051.411
AT ITER 492 NEW BEST:: SOT 713343 SOS 490244 HAS SOPS 455315 HAS SOUS 149105 HAS SOUPS 143542 WITH SCORE 144032.244
AT ITER 494 NEW BEST:: SOT 713343 SOS 490564 HAS SOPS 455447 HAS SOUS 149055 HAS SOUPS 143492 WITH SCORE 143982.564
AT ITER 496 NEW BEST:: SOT 713343 SOS 490420 HAS SOPS 456491 HAS SOUS 148968 HAS SOUPS 143463 WITH SCORE 143953.42
AT ITER 498 NEW BEST:: SOT 713343 SOS 490405 HAS SOPS 457043 HAS SOUS 148718 HAS SOUPS 143294 WITH SCORE 143784.405
AT ITER 502 NEW BEST:: SOT 713343 SOS 490465 HAS SOPS 457079 HAS SOUS 148702 HAS SOUPS 143278 WITH SCORE 143768.465
AT ITER 504 NEW BEST:: SOT 713343 SOS 488749 HAS SOPS 456143 HAS SOUS 147686 HAS SOUPS 142352 WITH SCORE 142840.749
AT ITER 510 NEW BEST:: SOT 713343 SOS 488438 HAS SOPS 456371 HAS SOUS 147546 HAS SOUPS 142250 WITH SCORE 142738.438
AT ITER 514 NEW BEST:: SOT 713343 SOS 488581 HAS SOPS 456587 HAS SOUS 147499 HAS SOUPS 142210 WITH SCORE 142698.581
AT ITER 516 NEW BEST:: SOT 713343 SOS 488556 HAS SOPS 455993 HAS SOUS 147524 HAS SOUPS 142202 WITH SCORE 142690.556
AT ITER 520 NEW BEST:: SOT 712902 SOS 488431 HAS SOPS 456832 HAS SOUS 147097 HAS SOUPS 141855 WITH SCORE 142343.431
AT ITER 522 NEW BEST:: SOT 712854 SOS 488245 HAS SOPS 456190 HAS SOUS 146821 HAS SOUPS 141579 WITH SCORE 142067.245
AT ITER 523 NEW BEST:: SOT 712854 SOS 488560 HAS SOPS 456478 HAS SOUS 146770 HAS SOUPS 141528 WITH SCORE 142016.56
AT ITER 525 NEW BEST:: SOT 712854 SOS 488495 HAS SOPS 456370 HAS SOUS 146749 HAS SOUPS 141507 WITH SCORE 141995.495
AT ITER 530 NEW BEST:: SOT 712885 SOS 488526 HAS SOPS 456401 HAS SOUS 146606 HAS SOUPS 141364 WITH SCORE 141852.526
AT ITER 540 NEW BEST:: SOT 712885 SOS 488549 HAS SOPS 456429 HAS SOUS 146603 HAS SOUPS 141362 WITH SCORE 141850.549
AT ITER 541 NEW BEST:: SOT 712885 SOS 488231 HAS SOPS 456087 HAS SOUS 146522 HAS SOUPS 141281 WITH SCORE 141769.231
AT ITER 544 NEW BEST:: SOT 712885 SOS 488980 HAS SOPS 457275 HAS SOUS 146399 HAS SOUPS 141203 WITH SCORE 141691.98
AT ITER 553 NEW BEST:: SOT 712885 SOS 489144 HAS SOPS 457275 HAS SOUS 146317 HAS SOUPS 141121 WITH SCORE 141610.144
AT ITER 559 NEW BEST:: SOT 712885 SOS 488829 HAS SOPS 456987 HAS SOUS 146287 HAS SOUPS 141091 WITH SCORE 141579.829
AT ITER 560 NEW BEST:: SOT 712839 SOS 488877 HAS SOPS 456941 HAS SOUS 146325 HAS SOUPS 140962 WITH SCORE 141450.877
AT ITER 562 NEW BEST:: SOT 712839 SOS 489160 HAS SOPS 457121 HAS SOUS 146235 HAS SOUPS 140869 WITH SCORE 141358.16
AT ITER 563 NEW BEST:: SOT 712488 SOS 488809 HAS SOPS 456770 HAS SOUS 146085 HAS SOUPS 140719 WITH SCORE 141207.809
AT ITER 564 NEW BEST:: SOT 712650 SOS 488971 HAS SOPS 456932 HAS SOUS 145841 HAS SOUPS 140475 WITH SCORE 140963.971
AT ITER 572 NEW BEST:: SOT 711594 SOS 487915 HAS SOPS 455876 HAS SOUS 145519 HAS SOUPS 140153 WITH SCORE 140640.915
AT ITER 573 NEW BEST:: SOT 711701 SOS 488022 HAS SOPS 455983 HAS SOUS 145485 HAS SOUPS 140119 WITH SCORE 140607.022
AT ITER 580 NEW BEST:: SOT 712100 SOS 488553 HAS SOPS 456646 HAS SOUS 144324 HAS SOUPS 139057 WITH SCORE 139545.553
AT ITER 581 NEW BEST:: SOT 712066 SOS 488519 HAS SOPS 456612 HAS SOUS 144016 HAS SOUPS 138749 WITH SCORE 139237.519
AT ITER 584 NEW BEST:: SOT 712366 SOS 489576 HAS SOPS 458472 HAS SOUS 143509 HAS SOUPS 138314 WITH SCORE 138803.576
AT ITER 590 NEW BEST:: SOT 712366 SOS 489573 HAS SOPS 458472 HAS SOUS 143473 HAS SOUPS 138281 WITH SCORE 138770.573
AT ITER 597 NEW BEST:: SOT 706423 SOS 521264 HAS SOPS 452226 HAS SOUS 137540 HAS SOUPS 132305 WITH SCORE 132826.264
AT ITER 600 NEW BEST:: SOT 706423 SOS 521244 HAS SOPS 452154 HAS SOUS 137516 HAS SOUPS 132281 WITH SCORE 132802.244
AT ITER 603 NEW BEST:: SOT 706423 SOS 521244 HAS SOPS 451986 HAS SOUS 137457 HAS SOUPS 132222 WITH SCORE 132743.244
AT ITER 609 NEW BEST:: SOT 706423 SOS 521244 HAS SOPS 452178 HAS SOUS 137379 HAS SOUPS 132160 WITH SCORE 132681.244
AT ITER 610 NEW BEST:: SOT 706084 SOS 520905 HAS SOPS 451821 HAS SOUS 137107 HAS SOUPS 131888 WITH SCORE 132408.905
AT ITER 618 NEW BEST:: SOT 706084 SOS 520905 HAS SOPS 452487 HAS SOUS 136983 HAS SOUPS 131776 WITH SCORE 132296.905
AT ITER 619 NEW BEST:: SOT 705910 SOS 520731 HAS SOPS 452313 HAS SOUS 136708 HAS SOUPS 131506 WITH SCORE 132026.731
AT ITER 620 NEW BEST:: SOT 705910 SOS 520793 HAS SOPS 452313 HAS SOUS 136677 HAS SOUPS 131475 WITH SCORE 131995.793
AT ITER 621 NEW BEST:: SOT 705876 SOS 520759 HAS SOPS 452279 HAS SOUS 136661 HAS SOUPS 131459 WITH SCORE 131979.759
AT ITER 622 NEW BEST:: SOT 704176 SOS 519059 HAS SOPS 450495 HAS SOUS 135776 HAS SOUPS 130574 WITH SCORE 131093.059
AT ITER 629 NEW BEST:: SOT 704176 SOS 517985 HAS SOPS 448095 HAS SOUS 135513 HAS SOUPS 130311 WITH SCORE 130828.985
AT ITER 630 NEW BEST:: SOT 704062 SOS 517871 HAS SOPS 447981 HAS SOUS 135484 HAS SOUPS 130282 WITH SCORE 130799.871
AT ITER 641 NEW BEST:: SOT 704070 SOS 518813 HAS SOPS 450311 HAS SOUS 135209 HAS SOUPS 130095 WITH SCORE 130613.813
AT ITER 642 NEW BEST:: SOT 703662 SOS 518405 HAS SOPS 448967 HAS SOUS 135196 HAS SOUPS 130040 WITH SCORE 130558.405
AT ITER 644 NEW BEST:: SOT 703662 SOS 518469 HAS SOPS 448967 HAS SOUS 135058 HAS SOUPS 129902 WITH SCORE 130420.469
AT ITER 653 NEW BEST:: SOT 703563 SOS 518250 HAS SOPS 448868 HAS SOUS 134934 HAS SOUPS 129788 WITH SCORE 130306.25
AT ITER 655 NEW BEST:: SOT 703563 SOS 518250 HAS SOPS 448994 HAS SOUS 134868 HAS SOUPS 129731 WITH SCORE 130249.25
AT ITER 663 NEW BEST:: SOT 703563 SOS 518591 HAS SOPS 450272 HAS SOUS 134695 HAS SOUPS 129618 WITH SCORE 130136.591
AT ITER 665 NEW BEST:: SOT 703581 SOS 518609 HAS SOPS 450290 HAS SOUS 134692 HAS SOUPS 129615 WITH SCORE 130133.609
AT ITER 669 NEW BEST:: SOT 704152 SOS 519180 HAS SOPS 450861 HAS SOUS 134667 HAS SOUPS 129590 WITH SCORE 130109.18
AT ITER 670 NEW BEST:: SOT 704209 SOS 519237 HAS SOPS 451458 HAS SOUS 134396 HAS SOUPS 129409 WITH SCORE 129928.237
AT ITER 674 NEW BEST:: SOT 703948 SOS 518976 HAS SOPS 451197 HAS SOUS 134215 HAS SOUPS 129228 WITH SCORE 129746.976
AT ITER 681 NEW BEST:: SOT 703990 SOS 519018 HAS SOPS 451239 HAS SOUS 134209 HAS SOUPS 129222 WITH SCORE 129741.018
AT ITER 683 NEW BEST:: SOT 704346 SOS 519374 HAS SOPS 451595 HAS SOUS 134055 HAS SOUPS 129088 WITH SCORE 129607.374
AT ITER 686 NEW BEST:: SOT 704346 SOS 519475 HAS SOPS 454277 HAS SOUS 133456 HAS SOUPS 128604 WITH SCORE 129123.475
AT ITER 687 NEW BEST:: SOT 703482 SOS 518006 HAS SOPS 449615 HAS SOUS 133219 HAS SOUPS 128236 WITH SCORE 128754.006
AT ITER 690 NEW BEST:: SOT 703482 SOS 518762 HAS SOPS 450659 HAS SOUS 133160 HAS SOUPS 128206 WITH SCORE 128724.762
AT ITER 703 NEW BEST:: SOT 702987 SOS 518267 HAS SOPS 450164 HAS SOUS 132604 HAS SOUPS 127650 WITH SCORE 128168.267
AT ITER 711 NEW BEST:: SOT 702957 SOS 518097 HAS SOPS 449850 HAS SOUS 132075 HAS SOUPS 127283 WITH SCORE 127801.097
AT ITER 712 NEW BEST:: SOT 702957 SOS 517869 HAS SOPS 449202 HAS SOUS 131878 HAS SOUPS 127086 WITH SCORE 127603.869
AT ITER 721 NEW BEST:: SOT 702939 SOS 517851 HAS SOPS 449004 HAS SOUS 131669 HAS SOUPS 126872 WITH SCORE 127389.851
AT ITER 723 NEW BEST:: SOT 702269 SOS 517181 HAS SOPS 448334 HAS SOUS 131509 HAS SOUPS 126712 WITH SCORE 127229.181
AT ITER 725 NEW BEST:: SOT 702269 SOS 516371 HAS SOPS 447074 HAS SOUS 131529 HAS SOUPS 126697 WITH SCORE 127213.371
AT ITER 728 NEW BEST:: SOT 702269 SOS 516702 HAS SOPS 447794 HAS SOUS 131364 HAS SOUPS 126524 WITH SCORE 127040.702
AT ITER 734 NEW BEST:: SOT 702181 SOS 516614 HAS SOPS 447904 HAS SOUS 131040 HAS SOUPS 126212 WITH SCORE 126728.614
AT ITER 735 NEW BEST:: SOT 702181 SOS 517100 HAS SOPS 448732 HAS SOUS 130812 HAS SOUPS 125984 WITH SCORE 126501.1
AT ITER 740 NEW BEST:: SOT 702181 SOS 517456 HAS SOPS 449512 HAS SOUS 130405 HAS SOUPS 125642 WITH SCORE 126159.456
AT ITER 742 NEW BEST:: SOT 702139 SOS 517414 HAS SOPS 449470 HAS SOUS 130391 HAS SOUPS 125628 WITH SCORE 126145.414
AT ITER 753 NEW BEST:: SOT 702139 SOS 517779 HAS SOPS 449758 HAS SOUS 130309 HAS SOUPS 125546 WITH SCORE 126063.779
AT ITER 755 NEW BEST:: SOT 701967 SOS 517607 HAS SOPS 449586 HAS SOUS 130108 HAS SOUPS 125345 WITH SCORE 125862.607
AT ITER 756 NEW BEST:: SOT 701677 SOS 517435 HAS SOPS 449296 HAS SOUS 130111 HAS SOUPS 125343 WITH SCORE 125860.435
AT ITER 761 NEW BEST:: SOT 701517 SOS 517275 HAS SOPS 449136 HAS SOUS 129823 HAS SOUPS 125055 WITH SCORE 125572.275
AT ITER 764 NEW BEST:: SOT 701517 SOS 517275 HAS SOPS 449070 HAS SOUS 129777 HAS SOUPS 125009 WITH SCORE 125526.275
AT ITER 768 NEW BEST:: SOT 701517 SOS 518329 HAS SOPS 452814 HAS SOUS 129357 HAS SOUPS 124882 WITH SCORE 125400.329
AT ITER 780 NEW BEST:: SOT 701517 SOS 517961 HAS SOPS 452358 HAS SOUS 129323 HAS SOUPS 124848 WITH SCORE 125365.961
AT ITER 784 NEW BEST:: SOT 701517 SOS 518718 HAS SOPS 453960 HAS SOUS 129161 HAS SOUPS 124740 WITH SCORE 125258.718
AT ITER 785 NEW BEST:: SOT 701517 SOS 518706 HAS SOPS 453918 HAS SOUS 128792 HAS SOUPS 124392 WITH SCORE 124910.706
AT ITER 794 NEW BEST:: SOT 701517 SOS 519510 HAS SOPS 454998 HAS SOUS 128622 HAS SOUPS 124252 WITH SCORE 124771.51
AT ITER 796 NEW BEST:: SOT 701517 SOS 519510 HAS SOPS 454998 HAS SOUS 128586 HAS SOUPS 124218 WITH SCORE 124737.51
AT ITER 802 NEW BEST:: SOT 701347 SOS 519340 HAS SOPS 454828 HAS SOUS 128218 HAS SOUPS 123850 WITH SCORE 124369.34
AT ITER 803 NEW BEST:: SOT 701160 SOS 519153 HAS SOPS 454641 HAS SOUS 128138 HAS SOUPS 123770 WITH SCORE 124289.153
AT ITER 805 NEW BEST:: SOT 701096 SOS 519089 HAS SOPS 454577 HAS SOUS 128086 HAS SOUPS 123718 WITH SCORE 124237.089
AT ITER 811 NEW BEST:: SOT 701096 SOS 518885 HAS SOPS 454361 HAS SOUS 128062 HAS SOUPS 123694 WITH SCORE 124212.885
AT ITER 832 NEW BEST:: SOT 701270 SOS 519059 HAS SOPS 454535 HAS SOUS 127497 HAS SOUPS 123129 WITH SCORE 123648.059
AT ITER 836 NEW BEST:: SOT 701614 SOS 519416 HAS SOPS 454939 HAS SOUS 126728 HAS SOUPS 122388 WITH SCORE 122907.416
AT ITER 844 NEW BEST:: SOT 700129 SOS 517931 HAS SOPS 453454 HAS SOUS 125260 HAS SOUPS 120920 WITH SCORE 121437.931
AT ITER 859 NEW BEST:: SOT 702318 SOS 520120 HAS SOPS 456135 HAS SOUS 125215 HAS SOUPS 120909 WITH SCORE 121429.12
AT ITER 863 NEW BEST:: SOT 702364 SOS 520166 HAS SOPS 456181 HAS SOUS 124887 HAS SOUPS 120581 WITH SCORE 121101.166
AT ITER 871 NEW BEST:: SOT 702134 SOS 519936 HAS SOPS 455951 HAS SOUS 124777 HAS SOUPS 120471 WITH SCORE 120990.936
AT ITER 872 NEW BEST:: SOT 702134 SOS 628562 HAS SOPS 455749 HAS SOUS 124587 HAS SOUPS 120281 WITH SCORE 120909.562
AT ITER 875 NEW BEST:: SOT 701946 SOS 628374 HAS SOPS 455561 HAS SOUS 124317 HAS SOUPS 120011 WITH SCORE 120639.374
AT ITER 881 NEW BEST:: SOT 701946 SOS 628374 HAS SOPS 455165 HAS SOUS 124248 HAS SOUPS 119934 WITH SCORE 120562.374
AT ITER 889 NEW BEST:: SOT 701882 SOS 628310 HAS SOPS 455101 HAS SOUS 124221 HAS SOUPS 119907 WITH SCORE 120535.31
AT ITER 891 NEW BEST:: SOT 701882 SOS 628455 HAS SOPS 459457 HAS SOUS 123746 HAS SOUPS 119559 WITH SCORE 120187.455
AT ITER 893 NEW BEST:: SOT 701882 SOS 628455 HAS SOPS 462265 HAS SOUS 123643 HAS SOUPS 119534 WITH SCORE 120162.455
AT ITER 898 NEW BEST:: SOT 701882 SOS 628455 HAS SOPS 461149 HAS SOUS 123522 HAS SOUPS 119413 WITH SCORE 120041.455
AT ITER 902 NEW BEST:: SOT 701882 SOS 628469 HAS SOPS 464443 HAS SOUS 123241 HAS SOUPS 119233 WITH SCORE 119861.469
AT ITER 906 NEW BEST:: SOT 701377 SOS 627964 HAS SOPS 463938 HAS SOUS 122598 HAS SOUPS 118590 WITH SCORE 119217.964
AT ITER 913 NEW BEST:: SOT 701377 SOS 628020 HAS SOPS 463938 HAS SOUS 122502 HAS SOUPS 118494 WITH SCORE 119122.02
AT ITER 920 NEW BEST:: SOT 701510 SOS 628153 HAS SOPS 464071 HAS SOUS 122238 HAS SOUPS 118202 WITH SCORE 118830.153
AT ITER 923 NEW BEST:: SOT 701438 SOS 628081 HAS SOPS 463873 HAS SOUS 122059 HAS SOUPS 118023 WITH SCORE 118651.081
AT ITER 938 NEW BEST:: SOT 701412 SOS 628055 HAS SOPS 463181 HAS SOUS 121820 HAS SOUPS 117784 WITH SCORE 118412.055
AT ITER 943 NEW BEST:: SOT 700441 SOS 627084 HAS SOPS 461778 HAS SOUS 120396 HAS SOUPS 116360 WITH SCORE 116987.084
AT ITER 961 NEW BEST:: SOT 701666 SOS 628309 HAS SOPS 463003 HAS SOUS 120254 HAS SOUPS 116218 WITH SCORE 116846.309
AT ITER 962 NEW BEST:: SOT 701496 SOS 628139 HAS SOPS 462005 HAS SOUS 119634 HAS SOUPS 115598 WITH SCORE 116226.139
AT ITER 963 NEW BEST:: SOT 701496 SOS 628139 HAS SOPS 464813 HAS SOUS 119270 HAS SOUPS 115312 WITH SCORE 115940.139
AT ITER 983 NEW BEST:: SOT 701496 SOS 628149 HAS SOPS 468287 HAS SOUS 118237 HAS SOUPS 114387 WITH SCORE 115015.149
AT ITER 984 NEW BEST:: SOT 701248 SOS 627901 HAS SOPS 468039 HAS SOUS 117990 HAS SOUPS 114140 WITH SCORE 114767.901
AT ITER 985 NEW BEST:: SOT 701248 SOS 628063 HAS SOPS 468539 HAS SOUS 117875 HAS SOUPS 114025 WITH SCORE 114653.063
AT ITER 988 NEW BEST:: SOT 700760 SOS 627575 HAS SOPS 468051 HAS SOUS 117869 HAS SOUPS 114019 WITH SCORE 114646.575
AT ITER 992 NEW BEST:: SOT 700548 SOS 627363 HAS SOPS 467839 HAS SOUS 117787 HAS SOUPS 113937 WITH SCORE 114564.363
AT ITER 996 NEW BEST:: SOT 700548 SOS 627363 HAS SOPS 469675 HAS SOUS 117705 HAS SOUPS 113914 WITH SCORE 114541.363
AT ITER 999 NEW BEST:: SOT 701102 SOS 627917 HAS SOPS 470229 HAS SOUS 117595 HAS SOUPS 113804 WITH SCORE 114431.917
AT ITER 1003 NEW BEST:: SOT 701118 SOS 627933 HAS SOPS 470245 HAS SOUS 117527 HAS SOUPS 113786 WITH SCORE 114413.933
AT ITER 1004 NEW BEST:: SOT 700960 SOS 627775 HAS SOPS 470087 HAS SOUS 117487 HAS SOUPS 113746 WITH SCORE 114373.775
AT ITER 1009 NEW BEST:: SOT 701345 SOS 628160 HAS SOPS 470472 HAS SOUS 117360 HAS SOUPS 113619 WITH SCORE 114247.16
AT ITER 1010 NEW BEST:: SOT 701070 SOS 627885 HAS SOPS 470197 HAS SOUS 117151 HAS SOUPS 113410 WITH SCORE 114037.885
AT ITER 1019 NEW BEST:: SOT 700998 SOS 627813 HAS SOPS 470149 HAS SOUS 116744 HAS SOUPS 113032 WITH SCORE 113659.813
AT ITER 1024 NEW BEST:: SOT 700998 SOS 627813 HAS SOPS 470149 HAS SOUS 116685 HAS SOUPS 112973 WITH SCORE 113600.813
AT ITER 1025 NEW BEST:: SOT 700752 SOS 627567 HAS SOPS 469903 HAS SOUS 116677 HAS SOUPS 112965 WITH SCORE 113592.567
AT ITER 1031 NEW BEST:: SOT 700752 SOS 627255 HAS SOPS 469243 HAS SOUS 116677 HAS SOUPS 112965 WITH SCORE 113592.255
AT ITER 1033 NEW BEST:: SOT 700542 SOS 627045 HAS SOPS 469033 HAS SOUS 116635 HAS SOUPS 112923 WITH SCORE 113550.045
AT ITER 1044 NEW BEST:: SOT 686847 SOS 613350 HAS SOPS 512854 HAS SOUS 102172 HAS SOUPS 101273 WITH SCORE 101886.35
AT ITER 1045 NEW BEST:: SOT 686392 SOS 612895 HAS SOPS 512399 HAS SOUS 101798 HAS SOUPS 100899 WITH SCORE 101511.895
AT ITER 1055 NEW BEST:: SOT 686530 SOS 613033 HAS SOPS 512537 HAS SOUS 101562 HAS SOUPS 100663 WITH SCORE 101276.033
AT ITER 1056 NEW BEST:: SOT 686490 SOS 612993 HAS SOPS 512497 HAS SOUS 101506 HAS SOUPS 100607 WITH SCORE 101219.993
AT ITER 1060 NEW BEST:: SOT 686490 SOS 612993 HAS SOPS 512497 HAS SOUS 101500 HAS SOUPS 100601 WITH SCORE 101213.993
AT ITER 1067 NEW BEST:: SOT 686176 SOS 612679 HAS SOPS 512183 HAS SOUS 101313 HAS SOUPS 100414 WITH SCORE 101026.679
AT ITER 1070 NEW BEST:: SOT 685915 SOS 612418 HAS SOPS 511922 HAS SOUS 101225 HAS SOUPS 100326 WITH SCORE 100938.418
AT ITER 1080 NEW BEST:: SOT 686110 SOS 612613 HAS SOPS 512117 HAS SOUS 101073 HAS SOUPS 100178 WITH SCORE 100790.613
AT ITER 1085 NEW BEST:: SOT 686110 SOS 612628 HAS SOPS 512207 HAS SOUS 101058 HAS SOUPS 100168 WITH SCORE 100780.628
AT ITER 1086 NEW BEST:: SOT 686007 SOS 612521 HAS SOPS 512104 HAS SOUS 101053 HAS SOUPS 100163 WITH SCORE 100775.521
AT ITER 1087 NEW BEST:: SOT 685716 SOS 612230 HAS SOPS 511813 HAS SOUS 100994 HAS SOUPS 100104 WITH SCORE 100716.23
AT ITER 1088 NEW BEST:: SOT 687054 SOS 613568 HAS SOPS 513151 HAS SOUS 100889 HAS SOUPS 99999 WITH SCORE 100612.568
AT ITER 1090 NEW BEST:: SOT 687054 SOS 613568 HAS SOPS 513259 HAS SOUS 100862 HAS SOUPS 99975 WITH SCORE 100588.568
AT ITER 1100 NEW BEST:: SOT 687054 SOS 613610 HAS SOPS 514069 HAS SOUS 100816 HAS SOUPS 99929 WITH SCORE 100542.61
AT ITER 1101 NEW BEST:: SOT 686664 SOS 613406 HAS SOPS 513859 HAS SOUS 100645 HAS SOUPS 99758 WITH SCORE 100371.406
AT ITER 1102 NEW BEST:: SOT 686664 SOS 613406 HAS SOPS 513859 HAS SOUS 100616 HAS SOUPS 99729 WITH SCORE 100342.406
AT ITER 1109 NEW BEST:: SOT 686622 SOS 613364 HAS SOPS 513817 HAS SOUS 100544 HAS SOUPS 99657 WITH SCORE 100270.364
AT ITER 1111 NEW BEST:: SOT 687397 SOS 614139 HAS SOPS 514592 HAS SOUS 100289 HAS SOUPS 99402 WITH SCORE 100016.139
AT ITER 1113 NEW BEST:: SOT 687651 SOS 614393 HAS SOPS 516310 HAS SOUS 100037 HAS SOUPS 99205 WITH SCORE 99819.393
AT ITER 1117 NEW BEST:: SOT 687298 SOS 614040 HAS SOPS 515957 HAS SOUS 99879 HAS SOUPS 99047 WITH SCORE 99661.04
AT ITER 1120 NEW BEST:: SOT 687286 SOS 614028 HAS SOPS 515945 HAS SOUS 99792 HAS SOUPS 98960 WITH SCORE 99574.028
AT ITER 1121 NEW BEST:: SOT 687286 SOS 614028 HAS SOPS 516053 HAS SOUS 99740 HAS SOUPS 98917 WITH SCORE 99531.028
AT ITER 1123 NEW BEST:: SOT 687655 SOS 614397 HAS SOPS 517412 HAS SOUS 99691 HAS SOUPS 98913 WITH SCORE 99527.397
AT ITER 1124 NEW BEST:: SOT 687489 SOS 614231 HAS SOPS 517246 HAS SOUS 99623 HAS SOUPS 98845 WITH SCORE 99459.231
AT ITER 1127 NEW BEST:: SOT 687497 SOS 614239 HAS SOPS 517254 HAS SOUS 99500 HAS SOUPS 98722 WITH SCORE 99336.239
AT ITER 1131 NEW BEST:: SOT 687497 SOS 614155 HAS SOPS 517014 HAS SOUS 99500 HAS SOUPS 98722 WITH SCORE 99336.155
AT ITER 1135 NEW BEST:: SOT 687138 SOS 613734 HAS SOPS 516283 HAS SOUS 99481 HAS SOUPS 98705 WITH SCORE 99318.734
AT ITER 1141 NEW BEST:: SOT 686109 SOS 612705 HAS SOPS 514894 HAS SOUS 99037 HAS SOUPS 98251 WITH SCORE 98863.705
AT ITER 1143 NEW BEST:: SOT 686364 SOS 612960 HAS SOPS 515149 HAS SOUS 98989 HAS SOUPS 98203 WITH SCORE 98815.96
AT ITER 1144 NEW BEST:: SOT 686104 SOS 612700 HAS SOPS 514889 HAS SOUS 98829 HAS SOUPS 98043 WITH SCORE 98655.7
AT ITER 1147 NEW BEST:: SOT 685323 SOS 612003 HAS SOPS 514888 HAS SOUS 98663 HAS SOUPS 97877 WITH SCORE 98489.003
AT ITER 1148 NEW BEST:: SOT 685403 SOS 612083 HAS SOPS 514968 HAS SOUS 98433 HAS SOUPS 97647 WITH SCORE 98259.083
AT ITER 1152 NEW BEST:: SOT 685119 SOS 611799 HAS SOPS 514684 HAS SOUS 98399 HAS SOUPS 97613 WITH SCORE 98224.799
AT ITER 1171 NEW BEST:: SOT 685151 SOS 611831 HAS SOPS 514716 HAS SOUS 98223 HAS SOUPS 97437 WITH SCORE 98048.831
AT ITER 1174 NEW BEST:: SOT 684978 SOS 611658 HAS SOPS 514687 HAS SOUS 98168 HAS SOUPS 97386 WITH SCORE 97997.658
AT ITER 1175 NEW BEST:: SOT 684132 SOS 610812 HAS SOPS 513841 HAS SOUS 97695 HAS SOUPS 96913 WITH SCORE 97523.812
AT ITER 1179 NEW BEST:: SOT 684166 SOS 610822 HAS SOPS 513401 HAS SOUS 97654 HAS SOUPS 96872 WITH SCORE 97482.822
AT ITER 1188 NEW BEST:: SOT 684166 SOS 610822 HAS SOPS 514181 HAS SOUS 97640 HAS SOUPS 96858 WITH SCORE 97468.822
AT ITER 1189 NEW BEST:: SOT 684255 SOS 610911 HAS SOPS 514270 HAS SOUS 97563 HAS SOUPS 96781 WITH SCORE 97391.911
AT ITER 1195 NEW BEST:: SOT 684534 SOS 611190 HAS SOPS 514725 HAS SOUS 97341 HAS SOUPS 96571 WITH SCORE 97182.19
AT ITER 1198 NEW BEST:: SOT 684677 SOS 611333 HAS SOPS 514868 HAS SOUS 97313 HAS SOUPS 96543 WITH SCORE 97154.333
AT ITER 1214 NEW BEST:: SOT 684695 SOS 611351 HAS SOPS 514886 HAS SOUS 97196 HAS SOUPS 96426 WITH SCORE 97037.351
AT ITER 1219 NEW BEST:: SOT 684650 SOS 611306 HAS SOPS 514841 HAS SOUS 97184 HAS SOUPS 96414 WITH SCORE 97025.306
AT ITER 1225 NEW BEST:: SOT 684852 SOS 611508 HAS SOPS 515043 HAS SOUS 97157 HAS SOUPS 96387 WITH SCORE 96998.508
AT ITER 1230 NEW BEST:: SOT 684846 SOS 611502 HAS SOPS 515037 HAS SOUS 97154 HAS SOUPS 96384 WITH SCORE 96995.502
AT ITER 1241 NEW BEST:: SOT 684955 SOS 611611 HAS SOPS 515146 HAS SOUS 97046 HAS SOUPS 96276 WITH SCORE 96887.611
AT ITER 1247 NEW BEST:: SOT 685145 SOS 611801 HAS SOPS 515336 HAS SOUS 96646 HAS SOUPS 95876 WITH SCORE 96487.801
AT ITER 1251 NEW BEST:: SOT 685123 SOS 611779 HAS SOPS 515314 HAS SOUS 96640 HAS SOUPS 95870 WITH SCORE 96481.779
AT ITER 1252 NEW BEST:: SOT 683753 SOS 610189 HAS SOPS 512168 HAS SOUS 96216 HAS SOUPS 95372 WITH SCORE 95982.189
AT ITER 1254 NEW BEST:: SOT 683831 SOS 610267 HAS SOPS 512246 HAS SOUS 96133 HAS SOUPS 95289 WITH SCORE 95899.267
AT ITER 1270 NEW BEST:: SOT 683814 SOS 610250 HAS SOPS 512229 HAS SOUS 96070 HAS SOUPS 95226 WITH SCORE 95836.25
AT ITER 1274 NEW BEST:: SOT 684136 SOS 610572 HAS SOPS 512551 HAS SOUS 95915 HAS SOUPS 95071 WITH SCORE 95681.572
AT ITER 1276 NEW BEST:: SOT 683952 SOS 610388 HAS SOPS 512367 HAS SOUS 95807 HAS SOUPS 94963 WITH SCORE 95573.388
AT ITER 1281 NEW BEST:: SOT 683920 SOS 610356 HAS SOPS 512275 HAS SOUS 95679 HAS SOUPS 94835 WITH SCORE 95445.356
AT ITER 1283 NEW BEST:: SOT 683923 SOS 610359 HAS SOPS 512278 HAS SOUS 95573 HAS SOUPS 94729 WITH SCORE 95339.359
AT ITER 1290 NEW BEST:: SOT 683679 SOS 610115 HAS SOPS 512034 HAS SOUS 95398 HAS SOUPS 94554 WITH SCORE 95164.115
AT ITER 1292 NEW BEST:: SOT 683679 SOS 610051 HAS SOPS 512316 HAS SOUS 95084 HAS SOUPS 94291 WITH SCORE 94901.051
AT ITER 1300 NEW BEST:: SOT 683679 SOS 610051 HAS SOPS 512484 HAS SOUS 95080 HAS SOUPS 94287 WITH SCORE 94897.051
AT ITER 1302 NEW BEST:: SOT 683635 SOS 610007 HAS SOPS 512440 HAS SOUS 95080 HAS SOUPS 94287 WITH SCORE 94897.007
AT ITER 1315 NEW BEST:: SOT 682904 SOS 609276 HAS SOPS 511709 HAS SOUS 95051 HAS SOUPS 94258 WITH SCORE 94867.276
AT ITER 1317 NEW BEST:: SOT 682468 SOS 608840 HAS SOPS 511273 HAS SOUS 94920 HAS SOUPS 94127 WITH SCORE 94735.84
AT ITER 1318 NEW BEST:: SOT 681744 SOS 608116 HAS SOPS 509469 HAS SOUS 94927 HAS SOUPS 94096 WITH SCORE 94704.116
AT ITER 1321 NEW BEST:: SOT 681638 SOS 608010 HAS SOPS 509363 HAS SOUS 94842 HAS SOUPS 94011 WITH SCORE 94619.01
AT ITER 1322 NEW BEST:: SOT 681459 SOS 607831 HAS SOPS 509184 HAS SOUS 94732 HAS SOUPS 93901 WITH SCORE 94508.831
AT ITER 1336 NEW BEST:: SOT 681459 SOS 607831 HAS SOPS 509184 HAS SOUS 94708 HAS SOUPS 93877 WITH SCORE 94484.831
AT ITER 1340 NEW BEST:: SOT 681459 SOS 608045 HAS SOPS 509604 HAS SOUS 94703 HAS SOUPS 93872 WITH SCORE 94480.045
AT ITER 1364 NEW BEST:: SOT 681459 SOS 608045 HAS SOPS 509604 HAS SOUS 94581 HAS SOUPS 93750 WITH SCORE 94358.045
AT ITER 1366 NEW BEST:: SOT 681425 SOS 608011 HAS SOPS 509570 HAS SOUS 94521 HAS SOUPS 93690 WITH SCORE 94298.011
AT ITER 1384 NEW BEST:: SOT 681444 SOS 608030 HAS SOPS 509589 HAS SOUS 94505 HAS SOUPS 93674 WITH SCORE 94282.03
AT ITER 1389 NEW BEST:: SOT 681512 SOS 608098 HAS SOPS 509657 HAS SOUS 94504 HAS SOUPS 93673 WITH SCORE 94281.098
AT ITER 1395 NEW BEST:: SOT 681520 SOS 608106 HAS SOPS 509665 HAS SOUS 94482 HAS SOUPS 93651 WITH SCORE 94259.106
AT ITER 1412 NEW BEST:: SOT 681805 SOS 608391 HAS SOPS 509950 HAS SOUS 94256 HAS SOUPS 93425 WITH SCORE 94033.391
AT ITER 1418 NEW BEST:: SOT 681805 SOS 608391 HAS SOPS 509986 HAS SOUS 94250 HAS SOUPS 93420 WITH SCORE 94028.391
AT ITER 1422 NEW BEST:: SOT 681203 SOS 607789 HAS SOPS 507332 HAS SOUS 94293 HAS SOUPS 93406 WITH SCORE 94013.789
AT ITER 1423 NEW BEST:: SOT 681203 SOS 607789 HAS SOPS 507332 HAS SOUS 94275 HAS SOUPS 93388 WITH SCORE 93995.789
AT ITER 1431 NEW BEST:: SOT 680766 SOS 607352 HAS SOPS 506895 HAS SOUS 94033 HAS SOUPS 93146 WITH SCORE 93753.352
AT ITER 1438 NEW BEST:: SOT 680304 SOS 606890 HAS SOPS 506433 HAS SOUS 93948 HAS SOUPS 93061 WITH SCORE 93667.89
AT ITER 1443 NEW BEST:: SOT 679776 SOS 606362 HAS SOPS 505905 HAS SOUS 93946 HAS SOUPS 93059 WITH SCORE 93665.362
AT ITER 1453 NEW BEST:: SOT 679776 SOS 606362 HAS SOPS 505905 HAS SOUS 93923 HAS SOUPS 93036 WITH SCORE 93642.362
AT ITER 1454 NEW BEST:: SOT 678800 SOS 605386 HAS SOPS 504929 HAS SOUS 93475 HAS SOUPS 92588 WITH SCORE 93193.386
AT ITER 1459 NEW BEST:: SOT 678809 SOS 605395 HAS SOPS 504938 HAS SOUS 93473 HAS SOUPS 92586 WITH SCORE 93191.395
AT ITER 1462 NEW BEST:: SOT 678809 SOS 605371 HAS SOPS 505298 HAS SOUS 93334 HAS SOUPS 92505 WITH SCORE 93110.371
AT ITER 1463 NEW BEST:: SOT 677489 SOS 604051 HAS SOPS 503978 HAS SOUS 93175 HAS SOUPS 92346 WITH SCORE 92950.051
AT ITER 1465 NEW BEST:: SOT 677588 SOS 604150 HAS SOPS 504533 HAS SOUS 93152 HAS SOUPS 92342 WITH SCORE 92946.15
AT ITER 1466 NEW BEST:: SOT 677867 SOS 604429 HAS SOPS 504812 HAS SOUS 92983 HAS SOUPS 92173 WITH SCORE 92777.429
AT ITER 1471 NEW BEST:: SOT 677828 SOS 604390 HAS SOPS 504773 HAS SOUS 92944 HAS SOUPS 92134 WITH SCORE 92738.39
AT ITER 1474 NEW BEST:: SOT 678233 SOS 604795 HAS SOPS 505178 HAS SOUS 92587 HAS SOUPS 91777 WITH SCORE 92381.795
AT ITER 1476 NEW BEST:: SOT 678580 SOS 605142 HAS SOPS 505525 HAS SOUS 92146 HAS SOUPS 91336 WITH SCORE 91941.142
AT ITER 1477 NEW BEST:: SOT 678481 SOS 605043 HAS SOPS 505426 HAS SOUS 92025 HAS SOUPS 91215 WITH SCORE 91820.043
AT ITER 1478 NEW BEST:: SOT 679091 SOS 605653 HAS SOPS 506036 HAS SOUS 91863 HAS SOUPS 91053 WITH SCORE 91658.653
AT ITER 1486 NEW BEST:: SOT 678725 SOS 605287 HAS SOPS 505670 HAS SOUS 91795 HAS SOUPS 90985 WITH SCORE 91590.287
AT ITER 1493 NEW BEST:: SOT 678265 SOS 604827 HAS SOPS 505210 HAS SOUS 91533 HAS SOUPS 90723 WITH SCORE 91327.827
AT ITER 1494 NEW BEST:: SOT 678188 SOS 604750 HAS SOPS 504881 HAS SOUS 91518 HAS SOUPS 90701 WITH SCORE 91305.75
AT ITER 1498 NEW BEST:: SOT 678159 SOS 604721 HAS SOPS 504852 HAS SOUS 91456 HAS SOUPS 90639 WITH SCORE 91243.721
AT ITER 1501 NEW BEST:: SOT 677278 SOS 603840 HAS SOPS 503971 HAS SOUS 90777 HAS SOUPS 89960 WITH SCORE 90563.84
AT ITER 1535 NEW BEST:: SOT 677423 SOS 603985 HAS SOPS 504476 HAS SOUS 90169 HAS SOUPS 89372 WITH SCORE 89975.985
AT ITER 1547 NEW BEST:: SOT 677740 SOS 604302 HAS SOPS 504793 HAS SOUS 89892 HAS SOUPS 89095 WITH SCORE 89699.302
AT ITER 1550 NEW BEST:: SOT 676662 SOS 603224 HAS SOPS 503715 HAS SOUS 89758 HAS SOUPS 88961 WITH SCORE 89564.224
AT ITER 1553 NEW BEST:: SOT 676662 SOS 603230 HAS SOPS 503715 HAS SOUS 89732 HAS SOUPS 88935 WITH SCORE 89538.23
AT ITER 1554 NEW BEST:: SOT 676662 SOS 603280 HAS SOPS 505059 HAS SOUS 89676 HAS SOUPS 88879 WITH SCORE 89482.28
AT ITER 1557 NEW BEST:: SOT 676818 SOS 603436 HAS SOPS 505215 HAS SOUS 89554 HAS SOUPS 88757 WITH SCORE 89360.436
AT ITER 1558 NEW BEST:: SOT 677214 SOS 603832 HAS SOPS 505611 HAS SOUS 88858 HAS SOUPS 88061 WITH SCORE 88664.832
AT ITER 1571 NEW BEST:: SOT 676672 SOS 603290 HAS SOPS 505069 HAS SOUS 88547 HAS SOUPS 87750 WITH SCORE 88353.29
AT ITER 1578 NEW BEST:: SOT 676385 SOS 603003 HAS SOPS 504782 HAS SOUS 88486 HAS SOUPS 87689 WITH SCORE 88292.003
AT ITER 1587 NEW BEST:: SOT 676385 SOS 603183 HAS SOPS 505166 HAS SOUS 88438 HAS SOUPS 87657 WITH SCORE 88260.183
AT ITER 1593 NEW BEST:: SOT 675971 SOS 602769 HAS SOPS 504752 HAS SOUS 88287 HAS SOUPS 87506 WITH SCORE 88108.769
AT ITER 1598 NEW BEST:: SOT 675964 SOS 602762 HAS SOPS 505105 HAS SOUS 88239 HAS SOUPS 87458 WITH SCORE 88060.762
AT ITER 1609 NEW BEST:: SOT 675921 SOS 602719 HAS SOPS 505062 HAS SOUS 88127 HAS SOUPS 87346 WITH SCORE 87948.719
AT ITER 1610 NEW BEST:: SOT 675672 SOS 602470 HAS SOPS 504813 HAS SOUS 88054 HAS SOUPS 87273 WITH SCORE 87875.47
AT ITER 1622 NEW BEST:: SOT 675684 SOS 602482 HAS SOPS 504825 HAS SOUS 88036 HAS SOUPS 87255 WITH SCORE 87857.482
AT ITER 1627 NEW BEST:: SOT 675684 SOS 602489 HAS SOPS 504891 HAS SOUS 88025 HAS SOUPS 87244 WITH SCORE 87846.489
AT ITER 1650 NEW BEST:: SOT 675684 SOS 602489 HAS SOPS 504891 HAS SOUS 87921 HAS SOUPS 87140 WITH SCORE 87742.489
AT ITER 1653 NEW BEST:: SOT 674952 SOS 601757 HAS SOPS 504159 HAS SOUS 87912 HAS SOUPS 87131 WITH SCORE 87732.757
AT ITER 1677 NEW BEST:: SOT 674952 SOS 601733 HAS SOPS 504135 HAS SOUS 87912 HAS SOUPS 87131 WITH SCORE 87732.733
AT ITER 1686 NEW BEST:: SOT 674456 SOS 601237 HAS SOPS 503639 HAS SOUS 87793 HAS SOUPS 87012 WITH SCORE 87613.237
AT ITER 1687 NEW BEST:: SOT 673664 SOS 600445 HAS SOPS 502847 HAS SOUS 87406 HAS SOUPS 86625 WITH SCORE 87225.445
AT ITER 1693 NEW BEST:: SOT 673664 SOS 600445 HAS SOPS 502847 HAS SOUS 87042 HAS SOUPS 86261 WITH SCORE 86861.445
AT ITER 1694 NEW BEST:: SOT 673622 SOS 600403 HAS SOPS 502679 HAS SOUS 87042 HAS SOUPS 86261 WITH SCORE 86861.403
AT ITER 1696 NEW BEST:: SOT 673610 SOS 600391 HAS SOPS 502667 HAS SOUS 87024 HAS SOUPS 86243 WITH SCORE 86843.391
AT ITER 1706 NEW BEST:: SOT 673610 SOS 600391 HAS SOPS 502679 HAS SOUS 87022 HAS SOUPS 86241 WITH SCORE 86841.391
AT ITER 1714 NEW BEST:: SOT 673610 SOS 600383 HAS SOPS 502903 HAS SOUS 87001 HAS SOUPS 86220 WITH SCORE 86820.383
AT ITER 1717 NEW BEST:: SOT 671282 SOS 598028 HAS SOPS 498739 HAS SOUS 87055 HAS SOUPS 86208 WITH SCORE 86806.028
AT ITER 1720 NEW BEST:: SOT 670550 SOS 597296 HAS SOPS 498007 HAS SOUS 86580 HAS SOUPS 85733 WITH SCORE 86330.296
AT ITER 1727 NEW BEST:: SOT 670491 SOS 597237 HAS SOPS 497948 HAS SOUS 86286 HAS SOUPS 85439 WITH SCORE 86036.237
AT ITER 1737 NEW BEST:: SOT 670075 SOS 596821 HAS SOPS 497532 HAS SOUS 86232 HAS SOUPS 85385 WITH SCORE 85981.821
AT ITER 1739 NEW BEST:: SOT 670216 SOS 596962 HAS SOPS 499365 HAS SOUS 85924 HAS SOUPS 85134 WITH SCORE 85730.962
AT ITER 1758 NEW BEST:: SOT 669929 SOS 596675 HAS SOPS 499078 HAS SOUS 85487 HAS SOUPS 84697 WITH SCORE 85293.675
AT ITER 1770 NEW BEST:: SOT 669929 SOS 596675 HAS SOPS 499582 HAS SOUS 85394 HAS SOUPS 84618 WITH SCORE 85214.675
AT ITER 1771 NEW BEST:: SOT 669719 SOS 596465 HAS SOPS 499372 HAS SOUS 85316 HAS SOUPS 84540 WITH SCORE 85136.465
AT ITER 1774 NEW BEST:: SOT 668603 SOS 595349 HAS SOPS 580946 HAS SOUS 84086 HAS SOUPS 84001 WITH SCORE 84596.349
AT ITER 1775 NEW BEST:: SOT 668495 SOS 595241 HAS SOPS 580838 HAS SOUS 84056 HAS SOUPS 83971 WITH SCORE 84566.241
AT ITER 1782 NEW BEST:: SOT 669028 SOS 595801 HAS SOPS 581641 HAS SOUS 83441 HAS SOUPS 83371 WITH SCORE 83966.801
AT ITER 1786 NEW BEST:: SOT 669981 SOS 596754 HAS SOPS 582594 HAS SOUS 83249 HAS SOUPS 83179 WITH SCORE 83775.754
AT ITER 1789 NEW BEST:: SOT 669981 SOS 596586 HAS SOPS 582354 HAS SOUS 83242 HAS SOUPS 83172 WITH SCORE 83768.586
AT ITER 1801 NEW BEST:: SOT 669001 SOS 595606 HAS SOPS 581374 HAS SOUS 82430 HAS SOUPS 82360 WITH SCORE 82955.606
AT ITER 1805 NEW BEST:: SOT 668985 SOS 595590 HAS SOPS 581358 HAS SOUS 82342 HAS SOUPS 82272 WITH SCORE 82867.59
AT ITER 1815 NEW BEST:: SOT 669022 SOS 595615 HAS SOPS 581863 HAS SOUS 82188 HAS SOUPS 82144 WITH SCORE 82739.615
AT ITER 1822 NEW BEST:: SOT 668770 SOS 595363 HAS SOPS 581611 HAS SOUS 81857 HAS SOUPS 81813 WITH SCORE 82408.363
AT ITER 1825 NEW BEST:: SOT 668863 SOS 595456 HAS SOPS 581704 HAS SOUS 81820 HAS SOUPS 81776 WITH SCORE 82371.456
AT ITER 1827 NEW BEST:: SOT 667884 SOS 594477 HAS SOPS 580697 HAS SOUS 81785 HAS SOUPS 81740 WITH SCORE 82334.477
AT ITER 1833 NEW BEST:: SOT 667156 SOS 593749 HAS SOPS 579969 HAS SOUS 81750 HAS SOUPS 81705 WITH SCORE 82298.749
AT ITER 1852 NEW BEST:: SOT 666800 SOS 593393 HAS SOPS 579613 HAS SOUS 81635 HAS SOUPS 81590 WITH SCORE 82183.393
AT ITER 1864 NEW BEST:: SOT 666796 SOS 593389 HAS SOPS 579609 HAS SOUS 81631 HAS SOUPS 81586 WITH SCORE 82179.389
AT ITER 1878 NEW BEST:: SOT 666886 SOS 593479 HAS SOPS 579699 HAS SOUS 81607 HAS SOUPS 81562 WITH SCORE 82155.479
AT ITER 1887 NEW BEST:: SOT 666429 SOS 593022 HAS SOPS 579242 HAS SOUS 81428 HAS SOUPS 81383 WITH SCORE 81976.022
AT ITER 1889 NEW BEST:: SOT 666429 SOS 593090 HAS SOPS 579374 HAS SOUS 81391 HAS SOUPS 81346 WITH SCORE 81939.09
AT ITER 1905 NEW BEST:: SOT 665586 SOS 592247 HAS SOPS 578531 HAS SOUS 81071 HAS SOUPS 81026 WITH SCORE 81618.247
AT ITER 1912 NEW BEST:: SOT 665521 SOS 592182 HAS SOPS 578466 HAS SOUS 80978 HAS SOUPS 80933 WITH SCORE 81525.182
AT ITER 1914 NEW BEST:: SOT 665689 SOS 592350 HAS SOPS 578634 HAS SOUS 80906 HAS SOUPS 80861 WITH SCORE 81453.35
AT ITER 1924 NEW BEST:: SOT 665751 SOS 592412 HAS SOPS 578696 HAS SOUS 80843 HAS SOUPS 80798 WITH SCORE 81390.412
AT ITER 1963 NEW BEST:: SOT 665709 SOS 592262 HAS SOPS 578474 HAS SOUS 80783 HAS SOUPS 80738 WITH SCORE 81330.262
AT ITER 1973 NEW BEST:: SOT 665515 SOS 592068 HAS SOPS 578280 HAS SOUS 80783 HAS SOUPS 80738 WITH SCORE 81330.068
AT ITER 1988 NEW BEST:: SOT 665442 SOS 591995 HAS SOPS 578207 HAS SOUS 80728 HAS SOUPS 80683 WITH SCORE 81274.995
AT ITER 2008 NEW BEST:: SOT 665386 SOS 591939 HAS SOPS 578151 HAS SOUS 80707 HAS SOUPS 80662 WITH SCORE 81253.939
AT ITER 2009 NEW BEST:: SOT 665295 SOS 591848 HAS SOPS 578060 HAS SOUS 80653 HAS SOUPS 80608 WITH SCORE 81199.848
AT ITER 2020 NEW BEST:: SOT 665097 SOS 591650 HAS SOPS 577862 HAS SOUS 80374 HAS SOUPS 80329 WITH SCORE 80920.65
AT ITER 2026 NEW BEST:: SOT 665143 SOS 591696 HAS SOPS 577908 HAS SOUS 80103 HAS SOUPS 80058 WITH SCORE 80649.696
AT ITER 2029 NEW BEST:: SOT 665157 SOS 591710 HAS SOPS 577922 HAS SOUS 80098 HAS SOUPS 80053 WITH SCORE 80644.71
AT ITER 2035 NEW BEST:: SOT 664611 SOS 591164 HAS SOPS 577376 HAS SOUS 79851 HAS SOUPS 79806 WITH SCORE 80397.164
AT ITER 2044 NEW BEST:: SOT 664273 SOS 590826 HAS SOPS 577038 HAS SOUS 79538 HAS SOUPS 79493 WITH SCORE 80083.826
AT ITER 2047 NEW BEST:: SOT 664175 SOS 590592 HAS SOPS 576664 HAS SOUS 79508 HAS SOUPS 79463 WITH SCORE 80053.592
AT ITER 2048 NEW BEST:: SOT 663387 SOS 589804 HAS SOPS 575876 HAS SOUS 79180 HAS SOUPS 79135 WITH SCORE 79724.804
AT ITER 2052 NEW BEST:: SOT 663405 SOS 589822 HAS SOPS 575894 HAS SOUS 79114 HAS SOUPS 79069 WITH SCORE 79658.822
AT ITER 2058 NEW BEST:: SOT 663285 SOS 589702 HAS SOPS 575774 HAS SOUS 78862 HAS SOUPS 78817 WITH SCORE 79406.702
AT ITER 2070 NEW BEST:: SOT 663285 SOS 589702 HAS SOPS 575774 HAS SOUS 78829 HAS SOUPS 78784 WITH SCORE 79373.702
AT ITER 2072 NEW BEST:: SOT 663302 SOS 589719 HAS SOPS 575791 HAS SOUS 78815 HAS SOUPS 78770 WITH SCORE 79359.719
AT ITER 2073 NEW BEST:: SOT 663084 SOS 589501 HAS SOPS 575573 HAS SOUS 78780 HAS SOUPS 78735 WITH SCORE 79324.501
AT ITER 2074 NEW BEST:: SOT 662139 SOS 588556 HAS SOPS 574628 HAS SOUS 78053 HAS SOUPS 78008 WITH SCORE 78596.556
AT ITER 2075 NEW BEST:: SOT 662636 SOS 589053 HAS SOPS 575153 HAS SOUS 77333 HAS SOUPS 77289 WITH SCORE 77878.053
AT ITER 2076 NEW BEST:: SOT 662624 SOS 589041 HAS SOPS 575141 HAS SOUS 77325 HAS SOUPS 77281 WITH SCORE 77870.041
AT ITER 2079 NEW BEST:: SOT 662410 SOS 588827 HAS SOPS 574927 HAS SOUS 77099 HAS SOUPS 77055 WITH SCORE 77643.827
AT ITER 2087 NEW BEST:: SOT 662372 SOS 588789 HAS SOPS 574889 HAS SOUS 77053 HAS SOUPS 77009 WITH SCORE 77597.789
AT ITER 2097 NEW BEST:: SOT 662427 SOS 588844 HAS SOPS 574944 HAS SOUS 76996 HAS SOUPS 76952 WITH SCORE 77540.844
AT ITER 2113 NEW BEST:: SOT 662427 SOS 589376 HAS SOPS 575604 HAS SOUS 76982 HAS SOUPS 76938 WITH SCORE 77527.376
AT ITER 2120 NEW BEST:: SOT 662327 SOS 589276 HAS SOPS 575504 HAS SOUS 76860 HAS SOUPS 76816 WITH SCORE 77405.276
AT ITER 2126 NEW BEST:: SOT 662303 SOS 589252 HAS SOPS 575480 HAS SOUS 76807 HAS SOUPS 76763 WITH SCORE 77352.252
AT ITER 2127 NEW BEST:: SOT 662165 SOS 589114 HAS SOPS 575342 HAS SOUS 76685 HAS SOUPS 76641 WITH SCORE 77230.114
AT ITER 2129 NEW BEST:: SOT 662133 SOS 589082 HAS SOPS 575310 HAS SOUS 76567 HAS SOUPS 76523 WITH SCORE 77112.082
AT ITER 2130 NEW BEST:: SOT 662117 SOS 589066 HAS SOPS 575294 HAS SOUS 76328 HAS SOUPS 76284 WITH SCORE 76873.066
AT ITER 2138 NEW BEST:: SOT 662117 SOS 589066 HAS SOPS 575294 HAS SOUS 76257 HAS SOUPS 76213 WITH SCORE 76802.066
AT ITER 2154 NEW BEST:: SOT 662148 SOS 589097 HAS SOPS 575325 HAS SOUS 76236 HAS SOUPS 76192 WITH SCORE 76781.097
AT ITER 2161 NEW BEST:: SOT 662148 SOS 588881 HAS SOPS 575037 HAS SOUS 76236 HAS SOUPS 76192 WITH SCORE 76780.881
AT ITER 2162 NEW BEST:: SOT 661895 SOS 588628 HAS SOPS 574784 HAS SOUS 76178 HAS SOUPS 76134 WITH SCORE 76722.628
AT ITER 2179 NEW BEST:: SOT 661834 SOS 588567 HAS SOPS 574723 HAS SOUS 76101 HAS SOUPS 76057 WITH SCORE 76645.567
AT ITER 2183 NEW BEST:: SOT 661858 SOS 588591 HAS SOPS 574747 HAS SOUS 76097 HAS SOUPS 76053 WITH SCORE 76641.591
AT ITER 2200 NEW BEST:: SOT 661685 SOS 588418 HAS SOPS 574574 HAS SOUS 75921 HAS SOUPS 75877 WITH SCORE 76465.418
AT ITER 2210 NEW BEST:: SOT 661657 SOS 588390 HAS SOPS 574546 HAS SOUS 75808 HAS SOUPS 75764 WITH SCORE 76352.39
AT ITER 2217 NEW BEST:: SOT 661658 SOS 588391 HAS SOPS 574547 HAS SOUS 75638 HAS SOUPS 75594 WITH SCORE 76182.391
AT ITER 2237 NEW BEST:: SOT 661519 SOS 588252 HAS SOPS 574408 HAS SOUS 75612 HAS SOUPS 75568 WITH SCORE 76156.252
AT ITER 2240 NEW BEST:: SOT 661281 SOS 588014 HAS SOPS 574170 HAS SOUS 75526 HAS SOUPS 75482 WITH SCORE 76070.014
AT ITER 2246 NEW BEST:: SOT 660862 SOS 587595 HAS SOPS 573751 HAS SOUS 75308 HAS SOUPS 75264 WITH SCORE 75851.595
AT ITER 2271 NEW BEST:: SOT 661124 SOS 587857 HAS SOPS 574013 HAS SOUS 75193 HAS SOUPS 75149 WITH SCORE 75736.857
AT ITER 2277 NEW BEST:: SOT 661064 SOS 587797 HAS SOPS 573953 HAS SOUS 75181 HAS SOUPS 75137 WITH SCORE 75724.797
AT ITER 2278 NEW BEST:: SOT 660835 SOS 587568 HAS SOPS 573724 HAS SOUS 74901 HAS SOUPS 74857 WITH SCORE 75444.568
AT ITER 2293 NEW BEST:: SOT 660835 SOS 587568 HAS SOPS 573724 HAS SOUS 74837 HAS SOUPS 74793 WITH SCORE 75380.568
AT ITER 2307 NEW BEST:: SOT 660902 SOS 587635 HAS SOPS 573791 HAS SOUS 74832 HAS SOUPS 74788 WITH SCORE 75375.635
AT ITER 2310 NEW BEST:: SOT 660983 SOS 587716 HAS SOPS 573872 HAS SOUS 74770 HAS SOUPS 74726 WITH SCORE 75313.716
AT ITER 2317 NEW BEST:: SOT 660907 SOS 587640 HAS SOPS 573796 HAS SOUS 74449 HAS SOUPS 74405 WITH SCORE 74992.64
AT ITER 2324 NEW BEST:: SOT 660745 SOS 587478 HAS SOPS 573634 HAS SOUS 74324 HAS SOUPS 74280 WITH SCORE 74867.478
AT ITER 2342 NEW BEST:: SOT 660495 SOS 587228 HAS SOPS 573384 HAS SOUS 74123 HAS SOUPS 74079 WITH SCORE 74666.228
AT ITER 2348 NEW BEST:: SOT 660495 SOS 587228 HAS SOPS 573384 HAS SOUS 74091 HAS SOUPS 74047 WITH SCORE 74634.228
AT ITER 2355 NEW BEST:: SOT 660348 SOS 587081 HAS SOPS 573237 HAS SOUS 74080 HAS SOUPS 74036 WITH SCORE 74623.081
AT ITER 2359 NEW BEST:: SOT 660009 SOS 586742 HAS SOPS 572898 HAS SOUS 73887 HAS SOUPS 73843 WITH SCORE 74429.742
AT ITER 2363 NEW BEST:: SOT 660053 SOS 586786 HAS SOPS 572942 HAS SOUS 73876 HAS SOUPS 73832 WITH SCORE 74418.786
AT ITER 2369 NEW BEST:: SOT 659867 SOS 586600 HAS SOPS 572756 HAS SOUS 73653 HAS SOUPS 73609 WITH SCORE 74195.6
AT ITER 2389 NEW BEST:: SOT 659882 SOS 586615 HAS SOPS 572771 HAS SOUS 73570 HAS SOUPS 73526 WITH SCORE 74112.615
AT ITER 2392 NEW BEST:: SOT 659687 SOS 586420 HAS SOPS 572576 HAS SOUS 73548 HAS SOUPS 73504 WITH SCORE 74090.42
AT ITER 2394 NEW BEST:: SOT 659687 SOS 586420 HAS SOPS 572576 HAS SOUS 73500 HAS SOUPS 73456 WITH SCORE 74042.42
AT ITER 2414 NEW BEST:: SOT 659430 SOS 586163 HAS SOPS 572319 HAS SOUS 73171 HAS SOUPS 73127 WITH SCORE 73713.163
AT ITER 2429 NEW BEST:: SOT 657924 SOS 584657 HAS SOPS 570813 HAS SOUS 73013 HAS SOUPS 72969 WITH SCORE 73553.657
AT ITER 2432 NEW BEST:: SOT 658036 SOS 584769 HAS SOPS 570925 HAS SOUS 72969 HAS SOUPS 72925 WITH SCORE 73509.769
AT ITER 2436 NEW BEST:: SOT 658222 SOS 585003 HAS SOPS 571375 HAS SOUS 72751 HAS SOUPS 72729 WITH SCORE 73314.003
AT ITER 2438 NEW BEST:: SOT 657963 SOS 584744 HAS SOPS 571116 HAS SOUS 72686 HAS SOUPS 72664 WITH SCORE 73248.744
AT ITER 2443 NEW BEST:: SOT 657161 SOS 583942 HAS SOPS 570230 HAS SOUS 72328 HAS SOUPS 72303 WITH SCORE 72886.942
AT ITER 2467 NEW BEST:: SOT 656998 SOS 583779 HAS SOPS 570067 HAS SOUS 72280 HAS SOUPS 72255 WITH SCORE 72838.779
AT ITER 2474 NEW BEST:: SOT 657054 SOS 583835 HAS SOPS 570123 HAS SOUS 72275 HAS SOUPS 72250 WITH SCORE 72833.835
AT ITER 2478 NEW BEST:: SOT 657132 SOS 583913 HAS SOPS 570201 HAS SOUS 72246 HAS SOUPS 72221 WITH SCORE 72804.913
AT ITER 2480 NEW BEST:: SOT 657158 SOS 583939 HAS SOPS 570227 HAS SOUS 72164 HAS SOUPS 72139 WITH SCORE 72722.939
AT ITER 2484 NEW BEST:: SOT 657147 SOS 583928 HAS SOPS 570216 HAS SOUS 72125 HAS SOUPS 72100 WITH SCORE 72683.928
AT ITER 2490 NEW BEST:: SOT 657611 SOS 584012 HAS SOPS 570180 HAS SOUS 72039 HAS SOUPS 72014 WITH SCORE 72598.012
AT ITER 2504 NEW BEST:: SOT 657605 SOS 584006 HAS SOPS 570174 HAS SOUS 71961 HAS SOUPS 71936 WITH SCORE 72520.006
AT ITER 2529 NEW BEST:: SOT 657605 SOS 584006 HAS SOPS 570174 HAS SOUS 71922 HAS SOUPS 71897 WITH SCORE 72481.006
AT ITER 2549 NEW BEST:: SOT 657605 SOS 584006 HAS SOPS 570174 HAS SOUS 71757 HAS SOUPS 71732 WITH SCORE 72316.006
AT ITER 2578 NEW BEST:: SOT 656988 SOS 583389 HAS SOPS 569557 HAS SOUS 71437 HAS SOUPS 71412 WITH SCORE 71995.389
AT ITER 2579 NEW BEST:: SOT 656918 SOS 583319 HAS SOPS 569487 HAS SOUS 71437 HAS SOUPS 71412 WITH SCORE 71995.319
AT ITER 2581 NEW BEST:: SOT 656053 SOS 582454 HAS SOPS 568622 HAS SOUS 71055 HAS SOUPS 71030 WITH SCORE 71612.454
AT ITER 2587 NEW BEST:: SOT 655863 SOS 582264 HAS SOPS 568432 HAS SOUS 70991 HAS SOUPS 70966 WITH SCORE 71548.264
AT ITER 2594 NEW BEST:: SOT 655605 SOS 582006 HAS SOPS 568174 HAS SOUS 70767 HAS SOUPS 70742 WITH SCORE 71324.006
AT ITER 2637 NEW BEST:: SOT 655951 SOS 582352 HAS SOPS 568520 HAS SOUS 70743 HAS SOUPS 70718 WITH SCORE 71300.352
AT ITER 2648 NEW BEST:: SOT 655797 SOS 582198 HAS SOPS 568366 HAS SOUS 70690 HAS SOUPS 70665 WITH SCORE 71247.198
AT ITER 2654 NEW BEST:: SOT 655797 SOS 582198 HAS SOPS 568366 HAS SOUS 70673 HAS SOUPS 70648 WITH SCORE 71230.198
AT ITER 2657 NEW BEST:: SOT 655637 SOS 582038 HAS SOPS 568206 HAS SOUS 70642 HAS SOUPS 70617 WITH SCORE 71199.038
AT ITER 2701 NEW BEST:: SOT 655619 SOS 582020 HAS SOPS 568188 HAS SOUS 70619 HAS SOUPS 70594 WITH SCORE 71176.02
AT ITER 2702 NEW BEST:: SOT 655635 SOS 582172 HAS SOPS 568480 HAS SOUS 70609 HAS SOUPS 70584 WITH SCORE 71166.172
AT ITER 2710 NEW BEST:: SOT 655471 SOS 582008 HAS SOPS 568316 HAS SOUS 70301 HAS SOUPS 70276 WITH SCORE 70858.008
AT ITER 2711 NEW BEST:: SOT 655471 SOS 582008 HAS SOPS 568316 HAS SOUS 70284 HAS SOUPS 70259 WITH SCORE 70841.008
AT ITER 2719 NEW BEST:: SOT 655515 SOS 582052 HAS SOPS 568360 HAS SOUS 70280 HAS SOUPS 70255 WITH SCORE 70837.052
AT ITER 2720 NEW BEST:: SOT 655595 SOS 582132 HAS SOPS 568440 HAS SOUS 70184 HAS SOUPS 70159 WITH SCORE 70741.132
AT ITER 2727 NEW BEST:: SOT 656067 SOS 582604 HAS SOPS 568912 HAS SOUS 70180 HAS SOUPS 70155 WITH SCORE 70737.604
AT ITER 2746 NEW BEST:: SOT 656032 SOS 582569 HAS SOPS 568877 HAS SOUS 70160 HAS SOUPS 70135 WITH SCORE 70717.569
AT ITER 2759 NEW BEST:: SOT 655944 SOS 582769 HAS SOPS 569149 HAS SOUS 70109 HAS SOUPS 70084 WITH SCORE 70666.769
AT ITER 2775 NEW BEST:: SOT 655943 SOS 582768 HAS SOPS 569148 HAS SOUS 70029 HAS SOUPS 70004 WITH SCORE 70586.768
AT ITER 2788 NEW BEST:: SOT 655513 SOS 582338 HAS SOPS 568718 HAS SOUS 69916 HAS SOUPS 69891 WITH SCORE 70473.338
AT ITER 2791 NEW BEST:: SOT 655453 SOS 582278 HAS SOPS 568658 HAS SOUS 69856 HAS SOUPS 69831 WITH SCORE 70413.278
AT ITER 2794 NEW BEST:: SOT 655453 SOS 582278 HAS SOPS 568658 HAS SOUS 69806 HAS SOUPS 69781 WITH SCORE 70363.278
AT ITER 2810 NEW BEST:: SOT 655438 SOS 581987 HAS SOPS 568295 HAS SOUS 69778 HAS SOUPS 69753 WITH SCORE 70334.987
AT ITER 2834 NEW BEST:: SOT 655368 SOS 581917 HAS SOPS 568225 HAS SOUS 69688 HAS SOUPS 69663 WITH SCORE 70244.917
AT ITER 2851 NEW BEST:: SOT 655388 SOS 581937 HAS SOPS 568245 HAS SOUS 69650 HAS SOUPS 69625 WITH SCORE 70206.937
AT ITER 2854 NEW BEST:: SOT 655266 SOS 581815 HAS SOPS 568123 HAS SOUS 69606 HAS SOUPS 69581 WITH SCORE 70162.815
AT ITER 2855 NEW BEST:: SOT 655270 SOS 581819 HAS SOPS 568127 HAS SOUS 69590 HAS SOUPS 69565 WITH SCORE 70146.819
AT ITER 2870 NEW BEST:: SOT 655278 SOS 581827 HAS SOPS 568135 HAS SOUS 69525 HAS SOUPS 69500 WITH SCORE 70081.827
AT ITER 2881 NEW BEST:: SOT 655140 SOS 581689 HAS SOPS 567997 HAS SOUS 69504 HAS SOUPS 69479 WITH SCORE 70060.689
AT ITER 2883 NEW BEST:: SOT 655084 SOS 581633 HAS SOPS 567941 HAS SOUS 69455 HAS SOUPS 69430 WITH SCORE 70011.633
AT ITER 2907 NEW BEST:: SOT 655084 SOS 581785 HAS SOPS 568141 HAS SOUS 69432 HAS SOUPS 69407 WITH SCORE 69988.785
AT ITER 2933 NEW BEST:: SOT 655370 SOS 582071 HAS SOPS 568427 HAS SOUS 69371 HAS SOUPS 69346 WITH SCORE 69928.071
AT ITER 2963 NEW BEST:: SOT 655484 SOS 582185 HAS SOPS 568541 HAS SOUS 69034 HAS SOUPS 69009 WITH SCORE 69591.185
AT ITER 2991 NEW BEST:: SOT 655463 SOS 582164 HAS SOPS 568520 HAS SOUS 69018 HAS SOUPS 68993 WITH SCORE 69575.164
AT ITER 3003 NEW BEST:: SOT 655597 SOS 582298 HAS SOPS 568654 HAS SOUS 68993 HAS SOUPS 68968 WITH SCORE 69550.298
AT ITER 3020 NEW BEST:: SOT 655535 SOS 582236 HAS SOPS 568592 HAS SOUS 68839 HAS SOUPS 68814 WITH SCORE 69396.236
AT ITER 3027 NEW BEST:: SOT 655483 SOS 582184 HAS SOPS 568540 HAS SOUS 68787 HAS SOUPS 68762 WITH SCORE 69344.184
AT ITER 3028 NEW BEST:: SOT 654604 SOS 581305 HAS SOPS 567661 HAS SOUS 68549 HAS SOUPS 68524 WITH SCORE 69105.305
AT ITER 3062 NEW BEST:: SOT 654604 SOS 581305 HAS SOPS 567661 HAS SOUS 68539 HAS SOUPS 68514 WITH SCORE 69095.305
AT ITER 3066 NEW BEST:: SOT 654522 SOS 581223 HAS SOPS 567579 HAS SOUS 68487 HAS SOUPS 68462 WITH SCORE 69043.223
AT ITER 3071 NEW BEST:: SOT 654612 SOS 581313 HAS SOPS 567669 HAS SOUS 68484 HAS SOUPS 68459 WITH SCORE 69040.313
AT ITER 3094 NEW BEST:: SOT 654428 SOS 581129 HAS SOPS 567485 HAS SOUS 68205 HAS SOUPS 68180 WITH SCORE 68761.129
AT ITER 3115 NEW BEST:: SOT 654296 SOS 580997 HAS SOPS 567353 HAS SOUS 67548 HAS SOUPS 67523 WITH SCORE 68103.997
AT ITER 3145 NEW BEST:: SOT 654264 SOS 580965 HAS SOPS 567321 HAS SOUS 67460 HAS SOUPS 67435 WITH SCORE 68015.965
AT ITER 3146 NEW BEST:: SOT 654264 SOS 580809 HAS SOPS 567093 HAS SOUS 67460 HAS SOUPS 67435 WITH SCORE 68015.809
AT ITER 3153 NEW BEST:: SOT 654268 SOS 580813 HAS SOPS 567181 HAS SOUS 67381 HAS SOUPS 67359 WITH SCORE 67939.813
AT ITER 3168 NEW BEST:: SOT 654268 SOS 580813 HAS SOPS 567181 HAS SOUS 67377 HAS SOUPS 67355 WITH SCORE 67935.813
AT ITER 3170 NEW BEST:: SOT 654094 SOS 580639 HAS SOPS 567007 HAS SOUS 67325 HAS SOUPS 67303 WITH SCORE 67883.639
AT ITER 3175 NEW BEST:: SOT 654174 SOS 580719 HAS SOPS 567087 HAS SOUS 67302 HAS SOUPS 67280 WITH SCORE 67860.719
AT ITER 3215 NEW BEST:: SOT 654374 SOS 580919 HAS SOPS 567287 HAS SOUS 67201 HAS SOUPS 67179 WITH SCORE 67759.919
AT ITER 3235 NEW BEST:: SOT 654452 SOS 580997 HAS SOPS 567365 HAS SOUS 67149 HAS SOUPS 67127 WITH SCORE 67707.997
AT ITER 3240 NEW BEST:: SOT 654452 SOS 580997 HAS SOPS 567365 HAS SOUS 67147 HAS SOUPS 67125 WITH SCORE 67705.997
AT ITER 3276 NEW BEST:: SOT 654455 SOS 581000 HAS SOPS 567368 HAS SOUS 67140 HAS SOUPS 67118 WITH SCORE 67699.0
AT ITER 3288 NEW BEST:: SOT 654519 SOS 581064 HAS SOPS 567432 HAS SOUS 67139 HAS SOUPS 67117 WITH SCORE 67698.064
AT ITER 3319 NEW BEST:: SOT 654390 SOS 580935 HAS SOPS 567303 HAS SOUS 67053 HAS SOUPS 67031 WITH SCORE 67611.935
AT ITER 3324 NEW BEST:: SOT 654390 SOS 580943 HAS SOPS 567303 HAS SOUS 67036 HAS SOUPS 67014 WITH SCORE 67594.943
AT ITER 3390 NEW BEST:: SOT 654445 SOS 580998 HAS SOPS 567358 HAS SOUS 67014 HAS SOUPS 66992 WITH SCORE 67572.998
AT ITER 3395 NEW BEST:: SOT 654118 SOS 580671 HAS SOPS 567031 HAS SOUS 66776 HAS SOUPS 66754 WITH SCORE 67334.671
AT ITER 3411 NEW BEST:: SOT 654118 SOS 580671 HAS SOPS 567031 HAS SOUS 66756 HAS SOUPS 66734 WITH SCORE 67314.671
AT ITER 3433 NEW BEST:: SOT 654106 SOS 580659 HAS SOPS 567019 HAS SOUS 66679 HAS SOUPS 66657 WITH SCORE 67237.659
AT ITER 3439 NEW BEST:: SOT 654066 SOS 580619 HAS SOPS 566979 HAS SOUS 66664 HAS SOUPS 66642 WITH SCORE 67222.619
AT ITER 3472 NEW BEST:: SOT 653946 SOS 580499 HAS SOPS 566859 HAS SOUS 66535 HAS SOUPS 66513 WITH SCORE 67093.499
AT ITER 3476 NEW BEST:: SOT 653856 SOS 580409 HAS SOPS 566769 HAS SOUS 66379 HAS SOUPS 66357 WITH SCORE 66937.409
AT ITER 3480 NEW BEST:: SOT 653831 SOS 580384 HAS SOPS 566744 HAS SOUS 66361 HAS SOUPS 66339 WITH SCORE 66919.384
AT ITER 3499 NEW BEST:: SOT 653831 SOS 580384 HAS SOPS 566744 HAS SOUS 66352 HAS SOUPS 66330 WITH SCORE 66910.384
AT ITER 3502 NEW BEST:: SOT 653483 SOS 580036 HAS SOPS 566396 HAS SOUS 66024 HAS SOUPS 66002 WITH SCORE 66582.036
AT ITER 3557 NEW BEST:: SOT 653483 SOS 580036 HAS SOPS 566396 HAS SOUS 65894 HAS SOUPS 65872 WITH SCORE 66452.036
AT ITER 3559 NEW BEST:: SOT 653483 SOS 580036 HAS SOPS 566396 HAS SOUS 65777 HAS SOUPS 65755 WITH SCORE 66335.036
AT ITER 3573 NEW BEST:: SOT 653620 SOS 580173 HAS SOPS 566533 HAS SOUS 65760 HAS SOUPS 65738 WITH SCORE 66318.173
AT ITER 3580 NEW BEST:: SOT 653380 SOS 579933 HAS SOPS 566293 HAS SOUS 65301 HAS SOUPS 65279 WITH SCORE 65858.933
AT ITER 3608 NEW BEST:: SOT 653226 SOS 579779 HAS SOPS 566139 HAS SOUS 65181 HAS SOUPS 65159 WITH SCORE 65738.779
AT ITER 3609 NEW BEST:: SOT 653150 SOS 579703 HAS SOPS 566063 HAS SOUS 65175 HAS SOUPS 65153 WITH SCORE 65732.703
AT ITER 3619 NEW BEST:: SOT 653132 SOS 579685 HAS SOPS 566045 HAS SOUS 65168 HAS SOUPS 65146 WITH SCORE 65725.685
AT ITER 3637 NEW BEST:: SOT 653104 SOS 579657 HAS SOPS 566017 HAS SOUS 65168 HAS SOUPS 65146 WITH SCORE 65725.657
AT ITER 3646 NEW BEST:: SOT 653104 SOS 579849 HAS SOPS 566281 HAS SOUS 65151 HAS SOUPS 65129 WITH SCORE 65708.849
AT ITER 3647 NEW BEST:: SOT 652364 SOS 579109 HAS SOPS 565541 HAS SOUS 64954 HAS SOUPS 64932 WITH SCORE 65511.109
AT ITER 3648 NEW BEST:: SOT 652376 SOS 579121 HAS SOPS 565553 HAS SOUS 64928 HAS SOUPS 64906 WITH SCORE 65485.121
AT ITER 3651 NEW BEST:: SOT 652258 SOS 579003 HAS SOPS 565435 HAS SOUS 64768 HAS SOUPS 64746 WITH SCORE 65325.003
AT ITER 3673 NEW BEST:: SOT 652282 SOS 579027 HAS SOPS 565459 HAS SOUS 64754 HAS SOUPS 64732 WITH SCORE 65311.027
AT ITER 3696 NEW BEST:: SOT 651546 SOS 578291 HAS SOPS 564723 HAS SOUS 64430 HAS SOUPS 64408 WITH SCORE 64986.291
AT ITER 3703 NEW BEST:: SOT 651188 SOS 577933 HAS SOPS 564365 HAS SOUS 63821 HAS SOUPS 63799 WITH SCORE 64376.933
AT ITER 3706 NEW BEST:: SOT 651031 SOS 577776 HAS SOPS 564208 HAS SOUS 63817 HAS SOUPS 63795 WITH SCORE 64372.776
AT ITER 3721 NEW BEST:: SOT 650816 SOS 577561 HAS SOPS 563993 HAS SOUS 63635 HAS SOUPS 63613 WITH SCORE 64190.561
AT ITER 3727 NEW BEST:: SOT 650953 SOS 577698 HAS SOPS 564130 HAS SOUS 63447 HAS SOUPS 63425 WITH SCORE 64002.698
AT ITER 3732 NEW BEST:: SOT 650923 SOS 577668 HAS SOPS 564100 HAS SOUS 63417 HAS SOUPS 63395 WITH SCORE 63972.668
AT ITER 3733 NEW BEST:: SOT 650544 SOS 577289 HAS SOPS 563721 HAS SOUS 63314 HAS SOUPS 63292 WITH SCORE 63869.289
AT ITER 3734 NEW BEST:: SOT 650456 SOS 577201 HAS SOPS 563633 HAS SOUS 63260 HAS SOUPS 63238 WITH SCORE 63815.201
AT ITER 3739 NEW BEST:: SOT 650370 SOS 577115 HAS SOPS 563547 HAS SOUS 63237 HAS SOUPS 63215 WITH SCORE 63792.115
AT ITER 3757 NEW BEST:: SOT 650678 SOS 577423 HAS SOPS 563855 HAS SOUS 63229 HAS SOUPS 63207 WITH SCORE 63784.423
AT ITER 3789 NEW BEST:: SOT 650523 SOS 577268 HAS SOPS 563700 HAS SOUS 63125 HAS SOUPS 63103 WITH SCORE 63680.268
AT ITER 3798 NEW BEST:: SOT 650309 SOS 577054 HAS SOPS 563486 HAS SOUS 62957 HAS SOUPS 62935 WITH SCORE 63512.054
AT ITER 3805 NEW BEST:: SOT 650139 SOS 576884 HAS SOPS 563316 HAS SOUS 62877 HAS SOUPS 62855 WITH SCORE 63431.884
AT ITER 3828 NEW BEST:: SOT 650105 SOS 576850 HAS SOPS 563282 HAS SOUS 62805 HAS SOUPS 62783 WITH SCORE 63359.85
AT ITER 3832 NEW BEST:: SOT 650105 SOS 576850 HAS SOPS 563282 HAS SOUS 62742 HAS SOUPS 62720 WITH SCORE 63296.85
AT ITER 3833 NEW BEST:: SOT 650017 SOS 576762 HAS SOPS 563194 HAS SOUS 62699 HAS SOUPS 62677 WITH SCORE 63253.762
AT ITER 3841 NEW BEST:: SOT 650087 SOS 576832 HAS SOPS 563264 HAS SOUS 62693 HAS SOUPS 62671 WITH SCORE 63247.832
AT ITER 3843 NEW BEST:: SOT 650087 SOS 576808 HAS SOPS 563240 HAS SOUS 62693 HAS SOUPS 62671 WITH SCORE 63247.808
AT ITER 3866 NEW BEST:: SOT 650081 SOS 576802 HAS SOPS 563234 HAS SOUS 62624 HAS SOUPS 62602 WITH SCORE 63178.802
AT ITER 3870 NEW BEST:: SOT 650081 SOS 576802 HAS SOPS 563234 HAS SOUS 62621 HAS SOUPS 62599 WITH SCORE 63175.802
AT ITER 3880 NEW BEST:: SOT 650143 SOS 576864 HAS SOPS 563296 HAS SOUS 62562 HAS SOUPS 62540 WITH SCORE 63116.864
AT ITER 3892 NEW BEST:: SOT 650141 SOS 576862 HAS SOPS 563294 HAS SOUS 62556 HAS SOUPS 62536 WITH SCORE 63112.862
AT ITER 3909 NEW BEST:: SOT 650107 SOS 576828 HAS SOPS 563260 HAS SOUS 62470 HAS SOUPS 62450 WITH SCORE 63026.828
AT ITER 3927 NEW BEST:: SOT 649707 SOS 576428 HAS SOPS 562860 HAS SOUS 62390 HAS SOUPS 62370 WITH SCORE 62946.428
AT ITER 3936 NEW BEST:: SOT 649705 SOS 576426 HAS SOPS 562858 HAS SOUS 62367 HAS SOUPS 62347 WITH SCORE 62923.426
AT ITER 3948 NEW BEST:: SOT 649959 SOS 576680 HAS SOPS 563112 HAS SOUS 62188 HAS SOUPS 62168 WITH SCORE 62744.68
AT ITER 3960 NEW BEST:: SOT 650163 SOS 576884 HAS SOPS 563316 HAS SOUS 62140 HAS SOUPS 62120 WITH SCORE 62696.884
AT ITER 3971 NEW BEST:: SOT 650163 SOS 576884 HAS SOPS 563316 HAS SOUS 62135 HAS SOUPS 62115 WITH SCORE 62691.884
AT ITER 3976 NEW BEST:: SOT 650065 SOS 576786 HAS SOPS 563218 HAS SOUS 62074 HAS SOUPS 62054 WITH SCORE 62630.786
AT ITER 4061 NEW BEST:: SOT 649469 SOS 576190 HAS SOPS 562622 HAS SOUS 61765 HAS SOUPS 61745 WITH SCORE 62321.19
AT ITER 4086 NEW BEST:: SOT 649459 SOS 576180 HAS SOPS 562612 HAS SOUS 61642 HAS SOUPS 61622 WITH SCORE 62198.18
AT ITER 4089 NEW BEST:: SOT 649423 SOS 576144 HAS SOPS 562576 HAS SOUS 61607 HAS SOUPS 61587 WITH SCORE 62163.144
AT ITER 4091 NEW BEST:: SOT 649423 SOS 575952 HAS SOPS 562312 HAS SOUS 61607 HAS SOUPS 61587 WITH SCORE 62162.952
AT ITER 4108 NEW BEST:: SOT 649407 SOS 575936 HAS SOPS 562296 HAS SOUS 61517 HAS SOUPS 61497 WITH SCORE 62072.936
AT ITER 4114 NEW BEST:: SOT 649413 SOS 575942 HAS SOPS 562302 HAS SOUS 61505 HAS SOUPS 61485 WITH SCORE 62060.942
AT ITER 4126 NEW BEST:: SOT 649385 SOS 575914 HAS SOPS 562274 HAS SOUS 61455 HAS SOUPS 61435 WITH SCORE 62010.914
AT ITER 4161 NEW BEST:: SOT 649322 SOS 575851 HAS SOPS 562211 HAS SOUS 61246 HAS SOUPS 61226 WITH SCORE 61801.851
AT ITER 4166 NEW BEST:: SOT 648643 SOS 575172 HAS SOPS 561532 HAS SOUS 61162 HAS SOUPS 61142 WITH SCORE 61717.172
AT ITER 4181 NEW BEST:: SOT 648591 SOS 574832 HAS SOPS 561120 HAS SOUS 61162 HAS SOUPS 61142 WITH SCORE 61716.832
AT ITER 4206 NEW BEST:: SOT 648535 SOS 574776 HAS SOPS 561064 HAS SOUS 61102 HAS SOUPS 61082 WITH SCORE 61656.776
AT ITER 4211 NEW BEST:: SOT 648349 SOS 574590 HAS SOPS 560878 HAS SOUS 60837 HAS SOUPS 60817 WITH SCORE 61391.59
AT ITER 4223 NEW BEST:: SOT 648400 SOS 574641 HAS SOPS 560929 HAS SOUS 60748 HAS SOUPS 60728 WITH SCORE 61302.641
AT ITER 4243 NEW BEST:: SOT 648614 SOS 574855 HAS SOPS 561143 HAS SOUS 60666 HAS SOUPS 60646 WITH SCORE 61220.855
AT ITER 4253 NEW BEST:: SOT 648523 SOS 574764 HAS SOPS 561052 HAS SOUS 60645 HAS SOUPS 60625 WITH SCORE 61199.764
AT ITER 4257 NEW BEST:: SOT 648523 SOS 574768 HAS SOPS 561172 HAS SOUS 60617 HAS SOUPS 60607 WITH SCORE 61181.768
AT ITER 4265 NEW BEST:: SOT 648492 SOS 574737 HAS SOPS 561141 HAS SOUS 60617 HAS SOUPS 60607 WITH SCORE 61181.737
AT ITER 4272 NEW BEST:: SOT 648320 SOS 574565 HAS SOPS 560969 HAS SOUS 60435 HAS SOUPS 60425 WITH SCORE 60999.565
AT ITER 4300 NEW BEST:: SOT 648320 SOS 574565 HAS SOPS 560969 HAS SOUS 60433 HAS SOUPS 60423 WITH SCORE 60997.565
AT ITER 4305 NEW BEST:: SOT 648243 SOS 574488 HAS SOPS 560892 HAS SOUS 60421 HAS SOUPS 60411 WITH SCORE 60985.488
AT ITER 4308 NEW BEST:: SOT 648243 SOS 574488 HAS SOPS 560892 HAS SOUS 60401 HAS SOUPS 60391 WITH SCORE 60965.488
AT ITER 4341 NEW BEST:: SOT 648445 SOS 574690 HAS SOPS 561094 HAS SOUS 60301 HAS SOUPS 60291 WITH SCORE 60865.69
AT ITER 4343 NEW BEST:: SOT 648370 SOS 574615 HAS SOPS 561019 HAS SOUS 60301 HAS SOUPS 60291 WITH SCORE 60865.615
AT ITER 4373 NEW BEST:: SOT 648356 SOS 574601 HAS SOPS 561005 HAS SOUS 60297 HAS SOUPS 60287 WITH SCORE 60861.601
AT ITER 4384 NEW BEST:: SOT 648302 SOS 574547 HAS SOPS 560951 HAS SOUS 60224 HAS SOUPS 60214 WITH SCORE 60788.547
AT ITER 4415 NEW BEST:: SOT 648291 SOS 574536 HAS SOPS 560940 HAS SOUS 60208 HAS SOUPS 60198 WITH SCORE 60772.536
AT ITER 4425 NEW BEST:: SOT 648106 SOS 574351 HAS SOPS 560755 HAS SOUS 60191 HAS SOUPS 60181 WITH SCORE 60755.351
AT ITER 4461 NEW BEST:: SOT 647207 SOS 573452 HAS SOPS 559856 HAS SOUS 60006 HAS SOUPS 59996 WITH SCORE 60569.452
AT ITER 4464 NEW BEST:: SOT 647279 SOS 573524 HAS SOPS 559928 HAS SOUS 59952 HAS SOUPS 59942 WITH SCORE 60515.524
AT ITER 4497 NEW BEST:: SOT 647283 SOS 573528 HAS SOPS 559932 HAS SOUS 59926 HAS SOUPS 59916 WITH SCORE 60489.528
AT ITER 4506 NEW BEST:: SOT 647611 SOS 573856 HAS SOPS 560260 HAS SOUS 59891 HAS SOUPS 59881 WITH SCORE 60454.856
AT ITER 4527 NEW BEST:: SOT 647510 SOS 573755 HAS SOPS 560159 HAS SOUS 59831 HAS SOUPS 59821 WITH SCORE 60394.755
AT ITER 4550 NEW BEST:: SOT 647444 SOS 573689 HAS SOPS 560093 HAS SOUS 59825 HAS SOUPS 59815 WITH SCORE 60388.689
AT ITER 4556 NEW BEST:: SOT 647448 SOS 573693 HAS SOPS 560097 HAS SOUS 59815 HAS SOUPS 59805 WITH SCORE 60378.693
AT ITER 4571 NEW BEST:: SOT 647448 SOS 573489 HAS SOPS 559821 HAS SOUS 59815 HAS SOUPS 59805 WITH SCORE 60378.489
AT ITER 4572 NEW BEST:: SOT 647450 SOS 573491 HAS SOPS 559823 HAS SOUS 59504 HAS SOUPS 59494 WITH SCORE 60067.491
AT ITER 4573 NEW BEST:: SOT 647435 SOS 573476 HAS SOPS 559808 HAS SOUS 59469 HAS SOUPS 59459 WITH SCORE 60032.476
AT ITER 4586 NEW BEST:: SOT 647479 SOS 573520 HAS SOPS 559852 HAS SOUS 59378 HAS SOUPS 59368 WITH SCORE 59941.52
AT ITER 4628 NEW BEST:: SOT 647252 SOS 573293 HAS SOPS 559625 HAS SOUS 59290 HAS SOUPS 59280 WITH SCORE 59853.293
AT ITER 4673 NEW BEST:: SOT 647123 SOS 573164 HAS SOPS 559496 HAS SOUS 59277 HAS SOUPS 59267 WITH SCORE 59840.164
AT ITER 4682 NEW BEST:: SOT 647005 SOS 573046 HAS SOPS 559378 HAS SOUS 59138 HAS SOUPS 59128 WITH SCORE 59701.046
AT ITER 4690 NEW BEST:: SOT 647016 SOS 573057 HAS SOPS 559389 HAS SOUS 59107 HAS SOUPS 59097 WITH SCORE 59670.057
AT ITER 4692 NEW BEST:: SOT 647042 SOS 573083 HAS SOPS 559415 HAS SOUS 59103 HAS SOUPS 59093 WITH SCORE 59666.083
AT ITER 4718 NEW BEST:: SOT 646952 SOS 572993 HAS SOPS 559325 HAS SOUS 59039 HAS SOUPS 59029 WITH SCORE 59601.993
AT ITER 4751 NEW BEST:: SOT 646649 SOS 572530 HAS SOPS 558670 HAS SOUS 59050 HAS SOUPS 59018 WITH SCORE 59590.53
AT ITER 4756 NEW BEST:: SOT 646819 SOS 572700 HAS SOPS 558840 HAS SOUS 58986 HAS SOUPS 58954 WITH SCORE 59526.7
AT ITER 4787 NEW BEST:: SOT 646828 SOS 572709 HAS SOPS 558849 HAS SOUS 58971 HAS SOUPS 58939 WITH SCORE 59511.709
AT ITER 4795 NEW BEST:: SOT 646684 SOS 572565 HAS SOPS 558705 HAS SOUS 58959 HAS SOUPS 58927 WITH SCORE 59499.565
AT ITER 4798 NEW BEST:: SOT 646660 SOS 572541 HAS SOPS 558681 HAS SOUS 58838 HAS SOUPS 58806 WITH SCORE 59378.541
AT ITER 4801 NEW BEST:: SOT 646510 SOS 572391 HAS SOPS 558531 HAS SOUS 58833 HAS SOUPS 58801 WITH SCORE 59373.391
AT ITER 4852 NEW BEST:: SOT 645810 SOS 571691 HAS SOPS 557831 HAS SOUS 58673 HAS SOUPS 58641 WITH SCORE 59212.691
AT ITER 4873 NEW BEST:: SOT 645812 SOS 571693 HAS SOPS 557833 HAS SOUS 58632 HAS SOUPS 58600 WITH SCORE 59171.693
AT ITER 4882 NEW BEST:: SOT 645740 SOS 571621 HAS SOPS 557761 HAS SOUS 58632 HAS SOUPS 58600 WITH SCORE 59171.621
AT ITER 4896 NEW BEST:: SOT 645708 SOS 571589 HAS SOPS 557729 HAS SOUS 58611 HAS SOUPS 58579 WITH SCORE 59150.589
AT ITER 4899 NEW BEST:: SOT 645603 SOS 571484 HAS SOPS 557624 HAS SOUS 58573 HAS SOUPS 58541 WITH SCORE 59112.484
AT ITER 4922 NEW BEST:: SOT 645593 SOS 571474 HAS SOPS 557614 HAS SOUS 58564 HAS SOUPS 58532 WITH SCORE 59103.474
AT ITER 4926 NEW BEST:: SOT 645729 SOS 571610 HAS SOPS 557750 HAS SOUS 58562 HAS SOUPS 58530 WITH SCORE 59101.61
AT ITER 4942 NEW BEST:: SOT 645630 SOS 571511 HAS SOPS 557651 HAS SOUS 58544 HAS SOUPS 58512 WITH SCORE 59083.511
AT ITER 4947 NEW BEST:: SOT 645578 SOS 571459 HAS SOPS 557599 HAS SOUS 58452 HAS SOUPS 58420 WITH SCORE 58991.459
AT ITER 4998 NEW BEST:: SOT 645658 SOS 571539 HAS SOPS 557679 HAS SOUS 58381 HAS SOUPS 58349 WITH SCORE 58920.539
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-00 (EG( (EF(( potential( (tk(P257)) <= (tk(P46)) ) & potential( ( 3 ) <= (tk(P149)) ) )))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-01 (AG( (! (AX( potential( ( 2 ) <= (tk(P136)) ))))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-02 ( ( (EF(( potential( ( 3 ) <= (tk(P282)) ) & potential( (tk(P280)) <= (tk(P21)) ) ))) | (AU( potential( ( 1 ) <= (tk(P229)) ),potential( ( 2 ) <= (tk(P107)) ) )) ) & ( (EF(potential( (tk(P286)) <= (tk(P157)) ))) & (AF(( potential( ( 3 ) <= (tk(P197)) ) | potential( ( 2 ) <= (tk(P33)) ) ))) ) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-03 (AU( ( potential( (tk(P140)) <= (tk(P36)) ) | (! potential( (tk(P163)) <= (tk(P177)) )) ),potential( ( 3 ) <= (tk(P213)) ) ))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-04 (EG( (EG( ( potential( (tk(P73)) <= (tk(P10)) ) | potential( ( 2 ) <= (tk(P29)) ) )))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-05 ( (EG( (EG( potential( (tk(P54)) <= (tk(P123)) ))))) | ( (EF((! potential( (tk(P39)) <= (tk(P243)) )))) & (! (AF(potential( ( 1 ) <= (tk(P268)) )))) ) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-06 (AG( ( ( potential( (tk(P199)) <= (tk(P298)) ) & ( potential( (tk(P71)) <= (tk(P151)) ) & potential( ( 2 ) <= (tk(P301)) ) ) ) | ( ( potential( (tk(P37)) <= (tk(P290)) ) | potential( ( 2 ) <= (tk(P54)) ) ) | ( potential( (tk(P47)) <= (tk(P32)) ) | potential( ( 3 ) <= (tk(P148)) ) ) ) )))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-07 (AF((AX( ( potential( ( 3 ) <= (tk(P51)) ) & potential( ( 3 ) <= (tk(P28)) ) )))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-08 ( (AG( potential( (tk(P199)) <= (tk(P200)) ))) | potential( ( 3 ) <= (tk(P99)) ) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-09 ( (! ( ( potential( (tk(P11)) <= (tk(P177)) ) | ( potential( ( 1 ) <= (tk(P278)) ) & potential( ( 2 ) <= (tk(P218)) ) ) ) & (EF(potential( (tk(P111)) <= (tk(P222)) ))) )) | (! (AF((! potential( (tk(P60)) <= (tk(P34)) ))))) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-10 (AG( potential( (tk(P192)) <= (tk(P32)) )))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-11 (! (AF(potential( ( 3 ) <= (tk(P116)) ))))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-12 ( (AG( ( potential( (tk(P205)) <= (tk(P289)) ) | potential( (tk(P193)) <= (tk(P114)) ) ))) & (AX( (EX( potential( (tk(P17)) <= (tk(P71)) ))))) )
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-13 (EU( (AX( potential( (tk(P287)) <= (tk(P167)) ))),(EG( potential( (tk(P56)) <= (tk(P234)) ))) ))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-14 (AF(potential( ( 3 ) <= (tk(P159)) )))
PROPERTY: PhaseVariation-PT-D10CS010-CTLCardinality-15 (EG( (! ( ( potential( ( 1 ) <= (tk(P142)) ) & potential( (tk(P115)) <= (tk(P154)) ) ) & ( potential( (tk(P266)) <= (tk(P40)) ) & potential( (tk(P187)) <= (tk(P190)) ) ) ))))

BK_STOP 1589652115552

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 473 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhaseVariation-PT-D10CS010"
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 PhaseVariation-PT-D10CS010, 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 r108-csrt-158961251000787"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D10CS010.tgz
mv PhaseVariation-PT-D10CS010 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 ;