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-158961250900723.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 Peterson-PT-4, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250900723
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.4M
-rw-r--r-- 1 mcc users 20K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 61K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 144K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 33K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 111K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 87K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 32K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 42K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 138K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 2 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 511K Apr 27 15:14 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 Peterson-PT-4-CTLCardinality-00
FORMULA_NAME Peterson-PT-4-CTLCardinality-01
FORMULA_NAME Peterson-PT-4-CTLCardinality-02
FORMULA_NAME Peterson-PT-4-CTLCardinality-03
FORMULA_NAME Peterson-PT-4-CTLCardinality-04
FORMULA_NAME Peterson-PT-4-CTLCardinality-05
FORMULA_NAME Peterson-PT-4-CTLCardinality-06
FORMULA_NAME Peterson-PT-4-CTLCardinality-07
FORMULA_NAME Peterson-PT-4-CTLCardinality-08
FORMULA_NAME Peterson-PT-4-CTLCardinality-09
FORMULA_NAME Peterson-PT-4-CTLCardinality-10
FORMULA_NAME Peterson-PT-4-CTLCardinality-11
FORMULA_NAME Peterson-PT-4-CTLCardinality-12
FORMULA_NAME Peterson-PT-4-CTLCardinality-13
FORMULA_NAME Peterson-PT-4-CTLCardinality-14
FORMULA_NAME Peterson-PT-4-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589646470056

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 4
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: 480 places, 690 transitions, 2120 arcs.
AT ITER 0 NEW BEST:: SOT 232065 SOS 98737 HAS SOPS 92617 HAS SOUS 93350 HAS SOUPS 89750 WITH SCORE 89848.737
AT ITER 4 NEW BEST:: SOT 231948 SOS 98620 HAS SOPS 92511 HAS SOUS 93211 HAS SOUPS 89622 WITH SCORE 89720.62
AT ITER 8 NEW BEST:: SOT 231914 SOS 98596 HAS SOPS 92520 HAS SOUS 93177 HAS SOUPS 89588 WITH SCORE 89686.596
AT ITER 14 NEW BEST:: SOT 231914 SOS 98481 HAS SOPS 92520 HAS SOUS 93062 HAS SOUPS 89588 WITH SCORE 89686.481
AT ITER 15 NEW BEST:: SOT 231424 SOS 98120 HAS SOPS 92177 HAS SOUS 92572 HAS SOUPS 89131 WITH SCORE 89229.12
AT ITER 17 NEW BEST:: SOT 231372 SOS 98066 HAS SOPS 92074 HAS SOUS 92520 HAS SOUPS 89079 WITH SCORE 89177.066
AT ITER 18 NEW BEST:: SOT 231372 SOS 98004 HAS SOPS 92012 HAS SOUS 92520 HAS SOUPS 89079 WITH SCORE 89177.004
AT ITER 27 NEW BEST:: SOT 231328 SOS 97916 HAS SOPS 91924 HAS SOUS 92432 HAS SOUPS 88991 WITH SCORE 89088.916
AT ITER 28 NEW BEST:: SOT 231279 SOS 97818 HAS SOPS 91826 HAS SOUS 92334 HAS SOUPS 88893 WITH SCORE 88990.818
AT ITER 34 NEW BEST:: SOT 231213 SOS 97782 HAS SOPS 91736 HAS SOUS 92288 HAS SOUPS 88847 WITH SCORE 88944.782
AT ITER 36 NEW BEST:: SOT 231169 SOS 97749 HAS SOPS 91656 HAS SOUS 92243 HAS SOUPS 88802 WITH SCORE 88899.749
AT ITER 42 NEW BEST:: SOT 231167 SOS 97745 HAS SOPS 91652 HAS SOUS 92241 HAS SOUPS 88800 WITH SCORE 88897.745
AT ITER 45 NEW BEST:: SOT 230617 SOS 97440 HAS SOPS 91664 HAS SOUS 91967 HAS SOUPS 88702 WITH SCORE 88799.44
AT ITER 49 NEW BEST:: SOT 230505 SOS 97216 HAS SOPS 91440 HAS SOUS 91743 HAS SOUPS 88478 WITH SCORE 88575.216
AT ITER 56 NEW BEST:: SOT 230496 SOS 97216 HAS SOPS 91431 HAS SOUS 91733 HAS SOUPS 88468 WITH SCORE 88565.216
AT ITER 62 NEW BEST:: SOT 230444 SOS 96930 HAS SOPS 91327 HAS SOUS 91629 HAS SOUPS 88364 WITH SCORE 88460.93
AT ITER 69 NEW BEST:: SOT 230127 SOS 96135 HAS SOPS 90693 HAS SOUS 90864 HAS SOUPS 87730 WITH SCORE 87826.135
AT ITER 70 NEW BEST:: SOT 230017 SOS 95915 HAS SOPS 90473 HAS SOUS 90644 HAS SOUPS 87510 WITH SCORE 87605.915
AT ITER 72 NEW BEST:: SOT 230061 SOS 96003 HAS SOPS 89845 HAS SOUS 90222 HAS SOUPS 86882 WITH SCORE 86978.003
AT ITER 73 NEW BEST:: SOT 230060 SOS 96001 HAS SOPS 89843 HAS SOUS 90220 HAS SOUPS 86880 WITH SCORE 86976.001
AT ITER 75 NEW BEST:: SOT 229981 SOS 95843 HAS SOPS 89685 HAS SOUS 90062 HAS SOUPS 86722 WITH SCORE 86817.843
AT ITER 76 NEW BEST:: SOT 229847 SOS 95446 HAS SOPS 89739 HAS SOUS 89666 HAS SOUPS 86516 WITH SCORE 86611.446
AT ITER 81 NEW BEST:: SOT 229793 SOS 95344 HAS SOPS 89593 HAS SOUS 89648 HAS SOUPS 86498 WITH SCORE 86593.344
AT ITER 92 NEW BEST:: SOT 229676 SOS 95110 HAS SOPS 89359 HAS SOUS 89414 HAS SOUPS 86264 WITH SCORE 86359.11
AT ITER 101 NEW BEST:: SOT 229567 SOS 94892 HAS SOPS 89141 HAS SOUS 89196 HAS SOUPS 86046 WITH SCORE 86140.892
AT ITER 105 NEW BEST:: SOT 229567 SOS 94826 HAS SOPS 89141 HAS SOUS 89196 HAS SOUPS 86046 WITH SCORE 86140.826
AT ITER 109 NEW BEST:: SOT 229567 SOS 94729 HAS SOPS 89044 HAS SOUS 89196 HAS SOUPS 86046 WITH SCORE 86140.729
AT ITER 112 NEW BEST:: SOT 228539 SOS 94019 HAS SOPS 88469 HAS SOUS 88392 HAS SOUPS 85242 WITH SCORE 85336.019
AT ITER 115 NEW BEST:: SOT 228424 SOS 93789 HAS SOPS 88239 HAS SOUS 88162 HAS SOUPS 85012 WITH SCORE 85105.789
AT ITER 117 NEW BEST:: SOT 228396 SOS 93705 HAS SOPS 88155 HAS SOUS 88106 HAS SOUPS 84956 WITH SCORE 85049.705
AT ITER 122 NEW BEST:: SOT 228357 SOS 93627 HAS SOPS 88077 HAS SOUS 88028 HAS SOUPS 84878 WITH SCORE 84971.627
AT ITER 131 NEW BEST:: SOT 228353 SOS 93687 HAS SOPS 88060 HAS SOUS 88029 HAS SOUPS 84874 WITH SCORE 84967.687
AT ITER 133 NEW BEST:: SOT 228233 SOS 93447 HAS SOPS 87820 HAS SOUS 87789 HAS SOUPS 84634 WITH SCORE 84727.447
AT ITER 134 NEW BEST:: SOT 228491 SOS 93691 HAS SOPS 87308 HAS SOUS 87503 HAS SOUPS 84122 WITH SCORE 84215.691
AT ITER 135 NEW BEST:: SOT 228491 SOS 93624 HAS SOPS 87040 HAS SOUS 87302 HAS SOUPS 83921 WITH SCORE 84014.624
AT ITER 142 NEW BEST:: SOT 228450 SOS 93542 HAS SOPS 86958 HAS SOUS 87220 HAS SOUPS 83839 WITH SCORE 83932.542
AT ITER 144 NEW BEST:: SOT 228414 SOS 93393 HAS SOPS 86809 HAS SOUS 87217 HAS SOUPS 83836 WITH SCORE 83929.393
AT ITER 148 NEW BEST:: SOT 228336 SOS 93237 HAS SOPS 86653 HAS SOUS 87061 HAS SOUPS 83680 WITH SCORE 83773.237
AT ITER 149 NEW BEST:: SOT 228333 SOS 93094 HAS SOPS 86647 HAS SOUS 87055 HAS SOUPS 83674 WITH SCORE 83767.094
AT ITER 154 NEW BEST:: SOT 228328 SOS 93084 HAS SOPS 86637 HAS SOUS 87045 HAS SOUPS 83664 WITH SCORE 83757.084
AT ITER 155 NEW BEST:: SOT 228304 SOS 93036 HAS SOPS 86589 HAS SOUS 86997 HAS SOUPS 83616 WITH SCORE 83709.036
AT ITER 157 NEW BEST:: SOT 228265 SOS 92882 HAS SOPS 86435 HAS SOUS 86989 HAS SOUPS 83608 WITH SCORE 83700.882
AT ITER 159 NEW BEST:: SOT 227862 SOS 92719 HAS SOPS 86274 HAS SOUS 86724 HAS SOUPS 83343 WITH SCORE 83435.719
AT ITER 168 NEW BEST:: SOT 226543 SOS 92927 HAS SOPS 86801 HAS SOUS 86049 HAS SOUPS 82668 WITH SCORE 82760.927
AT ITER 170 NEW BEST:: SOT 226470 SOS 92688 HAS SOPS 86562 HAS SOUS 85810 HAS SOUPS 82429 WITH SCORE 82521.688
AT ITER 173 NEW BEST:: SOT 226431 SOS 92709 HAS SOPS 86583 HAS SOUS 85807 HAS SOUPS 82426 WITH SCORE 82518.709
AT ITER 180 NEW BEST:: SOT 226330 SOS 92507 HAS SOPS 86381 HAS SOUS 85605 HAS SOUPS 82224 WITH SCORE 82316.507
AT ITER 183 NEW BEST:: SOT 226315 SOS 92416 HAS SOPS 86290 HAS SOUS 85575 HAS SOUPS 82194 WITH SCORE 82286.416
AT ITER 190 NEW BEST:: SOT 226315 SOS 92394 HAS SOPS 86268 HAS SOUS 85574 HAS SOUPS 82193 WITH SCORE 82285.394
AT ITER 194 NEW BEST:: SOT 226291 SOS 92387 HAS SOPS 86261 HAS SOUS 85567 HAS SOUPS 82186 WITH SCORE 82278.387
AT ITER 198 NEW BEST:: SOT 226291 SOS 92385 HAS SOPS 86259 HAS SOUS 85567 HAS SOUPS 82186 WITH SCORE 82278.385
AT ITER 200 NEW BEST:: SOT 226244 SOS 92380 HAS SOPS 86254 HAS SOUS 85520 HAS SOUPS 82139 WITH SCORE 82231.38
AT ITER 213 NEW BEST:: SOT 226205 SOS 92397 HAS SOPS 86286 HAS SOUS 85424 HAS SOUPS 82043 WITH SCORE 82135.397
AT ITER 217 NEW BEST:: SOT 226194 SOS 92375 HAS SOPS 86264 HAS SOUS 85402 HAS SOUPS 82021 WITH SCORE 82113.375
AT ITER 218 NEW BEST:: SOT 226170 SOS 92354 HAS SOPS 86245 HAS SOUS 85381 HAS SOUPS 82002 WITH SCORE 82094.354
AT ITER 219 NEW BEST:: SOT 226242 SOS 92278 HAS SOPS 85941 HAS SOUS 85149 HAS SOUPS 81770 WITH SCORE 81862.278
AT ITER 221 NEW BEST:: SOT 226239 SOS 92167 HAS SOPS 85306 HAS SOUS 84674 HAS SOUPS 81194 WITH SCORE 81286.167
AT ITER 229 NEW BEST:: SOT 226282 SOS 91948 HAS SOPS 85438 HAS SOUS 84056 HAS SOUPS 80673 WITH SCORE 80764.948
AT ITER 234 NEW BEST:: SOT 225691 SOS 92715 HAS SOPS 86438 HAS SOUS 83942 HAS SOUPS 80625 WITH SCORE 80717.715
AT ITER 236 NEW BEST:: SOT 225631 SOS 92648 HAS SOPS 86378 HAS SOUS 83882 HAS SOUPS 80565 WITH SCORE 80657.648
AT ITER 239 NEW BEST:: SOT 225587 SOS 92561 HAS SOPS 86291 HAS SOUS 83838 HAS SOUPS 80521 WITH SCORE 80613.561
AT ITER 244 NEW BEST:: SOT 225587 SOS 92610 HAS SOPS 86340 HAS SOUS 83823 HAS SOUPS 80506 WITH SCORE 80598.61
AT ITER 245 NEW BEST:: SOT 225223 SOS 92723 HAS SOPS 86853 HAS SOUS 83322 HAS SOUPS 80223 WITH SCORE 80315.723
AT ITER 246 NEW BEST:: SOT 224989 SOS 92206 HAS SOPS 86385 HAS SOUS 82854 HAS SOUPS 79755 WITH SCORE 79847.206
AT ITER 249 NEW BEST:: SOT 224935 SOS 92152 HAS SOPS 86331 HAS SOUS 82746 HAS SOUPS 79647 WITH SCORE 79739.152
AT ITER 255 NEW BEST:: SOT 224935 SOS 92135 HAS SOPS 86314 HAS SOUS 82729 HAS SOUPS 79630 WITH SCORE 79722.135
AT ITER 256 NEW BEST:: SOT 224969 SOS 92249 HAS SOPS 86244 HAS SOUS 82613 HAS SOUPS 79514 WITH SCORE 79606.249
AT ITER 258 NEW BEST:: SOT 224818 SOS 91773 HAS SOPS 85942 HAS SOUS 82311 HAS SOUPS 79212 WITH SCORE 79303.773
AT ITER 260 NEW BEST:: SOT 224701 SOS 91539 HAS SOPS 85708 HAS SOUS 82077 HAS SOUPS 78978 WITH SCORE 79069.539
AT ITER 267 NEW BEST:: SOT 224693 SOS 91523 HAS SOPS 85692 HAS SOUS 82061 HAS SOUPS 78962 WITH SCORE 79053.523
AT ITER 279 NEW BEST:: SOT 224385 SOS 91299 HAS SOPS 85384 HAS SOUS 81809 HAS SOUPS 78654 WITH SCORE 78745.299
AT ITER 280 NEW BEST:: SOT 224295 SOS 91119 HAS SOPS 85204 HAS SOUS 81629 HAS SOUPS 78474 WITH SCORE 78565.119
AT ITER 281 NEW BEST:: SOT 224143 SOS 90827 HAS SOPS 84830 HAS SOUS 81313 HAS SOUPS 78158 WITH SCORE 78248.827
AT ITER 285 NEW BEST:: SOT 224143 SOS 90785 HAS SOPS 84788 HAS SOUS 81313 HAS SOUPS 78158 WITH SCORE 78248.785
AT ITER 286 NEW BEST:: SOT 222982 SOS 89624 HAS SOPS 83462 HAS SOUS 80400 HAS SOUPS 77080 WITH SCORE 77169.624
AT ITER 294 NEW BEST:: SOT 222972 SOS 89570 HAS SOPS 83374 HAS SOUS 80329 HAS SOUPS 77009 WITH SCORE 77098.57
AT ITER 296 NEW BEST:: SOT 222567 SOS 89240 HAS SOPS 83044 HAS SOUS 79999 HAS SOUPS 76679 WITH SCORE 76768.24
AT ITER 297 NEW BEST:: SOT 222566 SOS 89238 HAS SOPS 83042 HAS SOUS 79997 HAS SOUPS 76677 WITH SCORE 76766.238
AT ITER 302 NEW BEST:: SOT 222557 SOS 89220 HAS SOPS 83024 HAS SOUS 79979 HAS SOUPS 76659 WITH SCORE 76748.22
AT ITER 308 NEW BEST:: SOT 222545 SOS 89196 HAS SOPS 83000 HAS SOUS 79955 HAS SOUPS 76635 WITH SCORE 76724.196
AT ITER 309 NEW BEST:: SOT 222421 SOS 88948 HAS SOPS 82752 HAS SOUS 79707 HAS SOUPS 76387 WITH SCORE 76475.948
AT ITER 316 NEW BEST:: SOT 222418 SOS 88929 HAS SOPS 82746 HAS SOUS 79701 HAS SOUPS 76381 WITH SCORE 76469.929
AT ITER 324 NEW BEST:: SOT 222557 SOS 89207 HAS SOPS 82468 HAS SOUS 79537 HAS SOUPS 76103 WITH SCORE 76192.207
AT ITER 328 NEW BEST:: SOT 222627 SOS 89302 HAS SOPS 82623 HAS SOUS 79364 HAS SOUPS 75968 WITH SCORE 76057.302
AT ITER 335 NEW BEST:: SOT 222553 SOS 89154 HAS SOPS 82475 HAS SOUS 79216 HAS SOUPS 75820 WITH SCORE 75909.154
AT ITER 337 NEW BEST:: SOT 222488 SOS 89024 HAS SOPS 82345 HAS SOUS 79086 HAS SOUPS 75690 WITH SCORE 75779.024
AT ITER 342 NEW BEST:: SOT 222634 SOS 88729 HAS SOPS 82432 HAS SOUS 78392 HAS SOUPS 75123 WITH SCORE 75211.729
AT ITER 355 NEW BEST:: SOT 222561 SOS 88659 HAS SOPS 82359 HAS SOUS 78319 HAS SOUPS 75050 WITH SCORE 75138.659
AT ITER 357 NEW BEST:: SOT 222539 SOS 88603 HAS SOPS 82303 HAS SOUS 78275 HAS SOUPS 75006 WITH SCORE 75094.603
AT ITER 364 NEW BEST:: SOT 222515 SOS 88555 HAS SOPS 82255 HAS SOUS 78227 HAS SOUPS 74958 WITH SCORE 75046.555
AT ITER 374 NEW BEST:: SOT 222429 SOS 88703 HAS SOPS 82427 HAS SOUS 78165 HAS SOUPS 74896 WITH SCORE 74984.703
AT ITER 383 NEW BEST:: SOT 222403 SOS 88851 HAS SOPS 82575 HAS SOUS 78163 HAS SOUPS 74894 WITH SCORE 74982.851
AT ITER 387 NEW BEST:: SOT 222403 SOS 88843 HAS SOPS 82567 HAS SOUS 78163 HAS SOUPS 74894 WITH SCORE 74982.843
AT ITER 399 NEW BEST:: SOT 222192 SOS 88903 HAS SOPS 82412 HAS SOUS 78108 HAS SOUPS 74783 WITH SCORE 74871.903
AT ITER 401 NEW BEST:: SOT 222192 SOS 88717 HAS SOPS 82412 HAS SOUS 78108 HAS SOUPS 74783 WITH SCORE 74871.717
AT ITER 404 NEW BEST:: SOT 222192 SOS 88707 HAS SOPS 82402 HAS SOUS 78107 HAS SOUPS 74782 WITH SCORE 74870.707
AT ITER 405 NEW BEST:: SOT 222132 SOS 88647 HAS SOPS 82330 HAS SOUS 78023 HAS SOUPS 74698 WITH SCORE 74786.647
AT ITER 406 NEW BEST:: SOT 222109 SOS 88601 HAS SOPS 82284 HAS SOUS 77977 HAS SOUPS 74652 WITH SCORE 74740.601
AT ITER 409 NEW BEST:: SOT 221978 SOS 88476 HAS SOPS 82159 HAS SOUS 77715 HAS SOUPS 74390 WITH SCORE 74478.476
AT ITER 415 NEW BEST:: SOT 221423 SOS 88021 HAS SOPS 81593 HAS SOUS 77393 HAS SOUPS 73997 WITH SCORE 74085.021
AT ITER 421 NEW BEST:: SOT 221423 SOS 88005 HAS SOPS 81593 HAS SOUS 77393 HAS SOUPS 73997 WITH SCORE 74085.005
AT ITER 427 NEW BEST:: SOT 221227 SOS 87917 HAS SOPS 81537 HAS SOUS 77224 HAS SOUPS 73857 WITH SCORE 73944.917
AT ITER 428 NEW BEST:: SOT 221187 SOS 87837 HAS SOPS 81457 HAS SOUS 77144 HAS SOUPS 73777 WITH SCORE 73864.837
AT ITER 429 NEW BEST:: SOT 220938 SOS 87440 HAS SOPS 81060 HAS SOUS 76713 HAS SOUPS 73346 WITH SCORE 73433.44
AT ITER 437 NEW BEST:: SOT 220764 SOS 87096 HAS SOPS 80716 HAS SOUS 76392 HAS SOUPS 73025 WITH SCORE 73112.096
AT ITER 438 NEW BEST:: SOT 220746 SOS 86996 HAS SOPS 80616 HAS SOUS 76324 HAS SOUPS 72957 WITH SCORE 73043.996
AT ITER 447 NEW BEST:: SOT 220746 SOS 86996 HAS SOPS 80594 HAS SOUS 76302 HAS SOUPS 72935 WITH SCORE 73021.996
AT ITER 448 NEW BEST:: SOT 220615 SOS 86734 HAS SOPS 80332 HAS SOUS 76040 HAS SOUPS 72673 WITH SCORE 72759.734
AT ITER 449 NEW BEST:: SOT 220506 SOS 86512 HAS SOPS 80110 HAS SOUS 75806 HAS SOUPS 72439 WITH SCORE 72525.512
AT ITER 453 NEW BEST:: SOT 220497 SOS 86494 HAS SOPS 80092 HAS SOUS 75788 HAS SOUPS 72421 WITH SCORE 72507.494
AT ITER 471 NEW BEST:: SOT 220462 SOS 86437 HAS SOPS 80064 HAS SOUS 75731 HAS SOUPS 72393 WITH SCORE 72479.437
AT ITER 476 NEW BEST:: SOT 219567 SOS 85567 HAS SOPS 79010 HAS SOUS 74677 HAS SOUPS 71339 WITH SCORE 71424.567
AT ITER 477 NEW BEST:: SOT 219566 SOS 85509 HAS SOPS 78840 HAS SOUS 74563 HAS SOUPS 71225 WITH SCORE 71310.509
AT ITER 478 NEW BEST:: SOT 219565 SOS 85507 HAS SOPS 78838 HAS SOUS 74561 HAS SOUPS 71223 WITH SCORE 71308.507
AT ITER 484 NEW BEST:: SOT 219565 SOS 85485 HAS SOPS 78816 HAS SOUS 74561 HAS SOUPS 71223 WITH SCORE 71308.485
AT ITER 489 NEW BEST:: SOT 219659 SOS 85438 HAS SOPS 78923 HAS SOUS 74281 HAS SOUPS 71010 WITH SCORE 71095.438
AT ITER 494 NEW BEST:: SOT 219579 SOS 85358 HAS SOPS 78763 HAS SOUS 74121 HAS SOUPS 70850 WITH SCORE 70935.358
AT ITER 509 NEW BEST:: SOT 219546 SOS 85292 HAS SOPS 78697 HAS SOUS 74055 HAS SOUPS 70784 WITH SCORE 70869.292
AT ITER 524 NEW BEST:: SOT 219540 SOS 85293 HAS SOPS 78691 HAS SOUS 74049 HAS SOUPS 70778 WITH SCORE 70863.293
AT ITER 538 NEW BEST:: SOT 219497 SOS 85207 HAS SOPS 78605 HAS SOUS 73963 HAS SOUPS 70692 WITH SCORE 70777.207
AT ITER 542 NEW BEST:: SOT 219403 SOS 84920 HAS SOPS 78318 HAS SOUS 73775 HAS SOUPS 70504 WITH SCORE 70588.92
AT ITER 543 NEW BEST:: SOT 219380 SOS 85068 HAS SOPS 78466 HAS SOUS 73729 HAS SOUPS 70458 WITH SCORE 70543.068
AT ITER 546 NEW BEST:: SOT 219221 SOS 84690 HAS SOPS 78088 HAS SOUS 73461 HAS SOUPS 70190 WITH SCORE 70274.69
AT ITER 547 NEW BEST:: SOT 219170 SOS 84612 HAS SOPS 77950 HAS SOUS 73410 HAS SOUPS 70139 WITH SCORE 70223.612
AT ITER 548 NEW BEST:: SOT 219072 SOS 84416 HAS SOPS 77754 HAS SOUS 73214 HAS SOUPS 69943 WITH SCORE 70027.416
AT ITER 554 NEW BEST:: SOT 219072 SOS 84416 HAS SOPS 77754 HAS SOUS 73173 HAS SOUPS 69902 WITH SCORE 69986.416
AT ITER 570 NEW BEST:: SOT 219046 SOS 84390 HAS SOPS 77702 HAS SOUS 73121 HAS SOUPS 69850 WITH SCORE 69934.39
AT ITER 571 NEW BEST:: SOT 218892 SOS 84897 HAS SOPS 77620 HAS SOUS 73189 HAS SOUPS 69846 WITH SCORE 69930.897
AT ITER 579 NEW BEST:: SOT 218885 SOS 84960 HAS SOPS 77683 HAS SOUS 73175 HAS SOUPS 69832 WITH SCORE 69916.96
AT ITER 580 NEW BEST:: SOT 218738 SOS 84666 HAS SOPS 77389 HAS SOUS 72881 HAS SOUPS 69538 WITH SCORE 69622.666
AT ITER 582 NEW BEST:: SOT 218552 SOS 84539 HAS SOPS 77311 HAS SOUS 72740 HAS SOUPS 69418 WITH SCORE 69502.539
AT ITER 583 NEW BEST:: SOT 218518 SOS 84471 HAS SOPS 77243 HAS SOUS 72672 HAS SOUPS 69350 WITH SCORE 69434.471
AT ITER 586 NEW BEST:: SOT 218508 SOS 84461 HAS SOPS 77228 HAS SOUS 72657 HAS SOUPS 69335 WITH SCORE 69419.461
AT ITER 593 NEW BEST:: SOT 218481 SOS 84083 HAS SOPS 76850 HAS SOUS 72603 HAS SOUPS 69281 WITH SCORE 69365.083
AT ITER 602 NEW BEST:: SOT 218481 SOS 84068 HAS SOPS 76850 HAS SOUS 72603 HAS SOUPS 69281 WITH SCORE 69365.068
AT ITER 607 NEW BEST:: SOT 218463 SOS 84014 HAS SOPS 76796 HAS SOUS 72554 HAS SOUPS 69232 WITH SCORE 69316.014
AT ITER 608 NEW BEST:: SOT 218454 SOS 83996 HAS SOPS 76778 HAS SOUS 72536 HAS SOUPS 69214 WITH SCORE 69297.996
AT ITER 618 NEW BEST:: SOT 218447 SOS 83982 HAS SOPS 76764 HAS SOUS 72522 HAS SOUPS 69200 WITH SCORE 69283.982
AT ITER 627 NEW BEST:: SOT 218443 SOS 83974 HAS SOPS 76756 HAS SOUS 72514 HAS SOUPS 69192 WITH SCORE 69275.974
AT ITER 629 NEW BEST:: SOT 218649 SOS 83979 HAS SOPS 76646 HAS SOUS 72483 HAS SOUPS 69161 WITH SCORE 69244.979
AT ITER 632 NEW BEST:: SOT 218646 SOS 84112 HAS SOPS 76640 HAS SOUS 72477 HAS SOUPS 69155 WITH SCORE 69239.112
AT ITER 633 NEW BEST:: SOT 218636 SOS 84092 HAS SOPS 76620 HAS SOUS 72457 HAS SOUPS 69135 WITH SCORE 69219.092
AT ITER 637 NEW BEST:: SOT 218375 SOS 83948 HAS SOPS 76678 HAS SOUS 72422 HAS SOUPS 69100 WITH SCORE 69183.948
AT ITER 642 NEW BEST:: SOT 218348 SOS 83894 HAS SOPS 76624 HAS SOUS 72368 HAS SOUPS 69046 WITH SCORE 69129.894
AT ITER 649 NEW BEST:: SOT 218161 SOS 83325 HAS SOPS 76055 HAS SOUS 71986 HAS SOUPS 68664 WITH SCORE 68747.325
AT ITER 650 NEW BEST:: SOT 218035 SOS 83073 HAS SOPS 75803 HAS SOUS 71734 HAS SOUPS 68412 WITH SCORE 68495.073
AT ITER 651 NEW BEST:: SOT 217967 SOS 83039 HAS SOPS 75786 HAS SOUS 71688 HAS SOUPS 68378 WITH SCORE 68461.039
AT ITER 666 NEW BEST:: SOT 217989 SOS 83032 HAS SOPS 75779 HAS SOUS 71681 HAS SOUPS 68371 WITH SCORE 68454.032
AT ITER 677 NEW BEST:: SOT 217985 SOS 82964 HAS SOPS 75771 HAS SOUS 71673 HAS SOUPS 68363 WITH SCORE 68445.964
AT ITER 685 NEW BEST:: SOT 217982 SOS 82958 HAS SOPS 75765 HAS SOUS 71667 HAS SOUPS 68357 WITH SCORE 68439.958
AT ITER 687 NEW BEST:: SOT 217982 SOS 82884 HAS SOPS 75793 HAS SOUS 71664 HAS SOUPS 68357 WITH SCORE 68439.884
AT ITER 692 NEW BEST:: SOT 217959 SOS 82815 HAS SOPS 75724 HAS SOUS 71641 HAS SOUPS 68334 WITH SCORE 68416.815
AT ITER 699 NEW BEST:: SOT 217548 SOS 82991 HAS SOPS 75909 HAS SOUS 71558 HAS SOUPS 68251 WITH SCORE 68333.991
AT ITER 701 NEW BEST:: SOT 217442 SOS 82576 HAS SOPS 75494 HAS SOUS 71387 HAS SOUPS 68080 WITH SCORE 68162.576
AT ITER 712 NEW BEST:: SOT 217257 SOS 82206 HAS SOPS 75124 HAS SOUS 71017 HAS SOUPS 67710 WITH SCORE 67792.206
AT ITER 717 NEW BEST:: SOT 217205 SOS 82214 HAS SOPS 75132 HAS SOUS 70913 HAS SOUPS 67606 WITH SCORE 67688.214
AT ITER 724 NEW BEST:: SOT 217160 SOS 82124 HAS SOPS 75042 HAS SOUS 70823 HAS SOUPS 67516 WITH SCORE 67598.124
AT ITER 729 NEW BEST:: SOT 217096 SOS 82060 HAS SOPS 74978 HAS SOUS 70759 HAS SOUPS 67452 WITH SCORE 67534.06
AT ITER 734 NEW BEST:: SOT 216985 SOS 81942 HAS SOPS 74860 HAS SOUS 70568 HAS SOUPS 67261 WITH SCORE 67342.942
AT ITER 753 NEW BEST:: SOT 216631 SOS 81617 HAS SOPS 74506 HAS SOUS 70243 HAS SOUPS 66907 WITH SCORE 66988.617
AT ITER 765 NEW BEST:: SOT 216475 SOS 81305 HAS SOPS 74194 HAS SOUS 69931 HAS SOUPS 66595 WITH SCORE 66676.305
AT ITER 767 NEW BEST:: SOT 216475 SOS 81182 HAS SOPS 74071 HAS SOUS 69808 HAS SOUPS 66472 WITH SCORE 66553.182
AT ITER 773 NEW BEST:: SOT 216470 SOS 81177 HAS SOPS 74068 HAS SOUS 69803 HAS SOUPS 66469 WITH SCORE 66550.177
AT ITER 778 NEW BEST:: SOT 216412 SOS 81217 HAS SOPS 74038 HAS SOUS 69788 HAS SOUPS 66433 WITH SCORE 66514.217
AT ITER 798 NEW BEST:: SOT 216332 SOS 81057 HAS SOPS 73878 HAS SOUS 69628 HAS SOUPS 66273 WITH SCORE 66354.057
AT ITER 815 NEW BEST:: SOT 216305 SOS 81092 HAS SOPS 73917 HAS SOUS 69599 HAS SOUPS 66244 WITH SCORE 66325.092
AT ITER 822 NEW BEST:: SOT 216305 SOS 81093 HAS SOPS 73918 HAS SOUS 69545 HAS SOUPS 66190 WITH SCORE 66271.093
AT ITER 824 NEW BEST:: SOT 216286 SOS 81055 HAS SOPS 73880 HAS SOUS 69507 HAS SOUPS 66152 WITH SCORE 66233.055
AT ITER 826 NEW BEST:: SOT 216208 SOS 81002 HAS SOPS 73827 HAS SOUS 69454 HAS SOUPS 66099 WITH SCORE 66180.002
AT ITER 833 NEW BEST:: SOT 216161 SOS 80908 HAS SOPS 73733 HAS SOUS 69360 HAS SOUPS 66005 WITH SCORE 66085.908
AT ITER 835 NEW BEST:: SOT 216146 SOS 80878 HAS SOPS 73703 HAS SOUS 69330 HAS SOUPS 65975 WITH SCORE 66055.878
AT ITER 840 NEW BEST:: SOT 216136 SOS 80858 HAS SOPS 73683 HAS SOUS 69310 HAS SOUPS 65955 WITH SCORE 66035.858
AT ITER 843 NEW BEST:: SOT 216126 SOS 80770 HAS SOPS 73663 HAS SOUS 69290 HAS SOUPS 65935 WITH SCORE 66015.77
AT ITER 847 NEW BEST:: SOT 216009 SOS 80536 HAS SOPS 73429 HAS SOUS 69056 HAS SOUPS 65701 WITH SCORE 65781.536
AT ITER 851 NEW BEST:: SOT 216009 SOS 80533 HAS SOPS 73401 HAS SOUS 69056 HAS SOUPS 65701 WITH SCORE 65781.533
AT ITER 853 NEW BEST:: SOT 215984 SOS 80501 HAS SOPS 73346 HAS SOUS 69001 HAS SOUPS 65646 WITH SCORE 65726.501
AT ITER 855 NEW BEST:: SOT 215950 SOS 80514 HAS SOPS 73270 HAS SOUS 68967 HAS SOUPS 65612 WITH SCORE 65692.514
AT ITER 872 NEW BEST:: SOT 215906 SOS 80433 HAS SOPS 73124 HAS SOUS 68879 HAS SOUPS 65524 WITH SCORE 65604.433
AT ITER 873 NEW BEST:: SOT 215589 SOS 79799 HAS SOPS 72490 HAS SOUS 68245 HAS SOUPS 64890 WITH SCORE 64969.799
AT ITER 874 NEW BEST:: SOT 215141 SOS 79453 HAS SOPS 72161 HAS SOUS 67970 HAS SOUPS 64615 WITH SCORE 64694.453
AT ITER 876 NEW BEST:: SOT 215141 SOS 79453 HAS SOPS 72025 HAS SOUS 67834 HAS SOUPS 64479 WITH SCORE 64558.453
AT ITER 885 NEW BEST:: SOT 215141 SOS 79381 HAS SOPS 72025 HAS SOUS 67834 HAS SOUPS 64479 WITH SCORE 64558.381
AT ITER 890 NEW BEST:: SOT 215018 SOS 79252 HAS SOPS 71891 HAS SOUS 67700 HAS SOUPS 64345 WITH SCORE 64424.252
AT ITER 908 NEW BEST:: SOT 215008 SOS 79232 HAS SOPS 71871 HAS SOUS 67680 HAS SOUPS 64325 WITH SCORE 64404.232
AT ITER 910 NEW BEST:: SOT 214951 SOS 79084 HAS SOPS 71723 HAS SOUS 67558 HAS SOUPS 64203 WITH SCORE 64282.084
AT ITER 916 NEW BEST:: SOT 214946 SOS 79074 HAS SOPS 71713 HAS SOUS 67548 HAS SOUPS 64193 WITH SCORE 64272.074
AT ITER 917 NEW BEST:: SOT 214938 SOS 79058 HAS SOPS 71697 HAS SOUS 67532 HAS SOUPS 64177 WITH SCORE 64256.058
AT ITER 920 NEW BEST:: SOT 214824 SOS 78814 HAS SOPS 71453 HAS SOUS 67457 HAS SOUPS 64102 WITH SCORE 64180.814
AT ITER 924 NEW BEST:: SOT 214788 SOS 78778 HAS SOPS 71417 HAS SOUS 67385 HAS SOUPS 64030 WITH SCORE 64108.778
AT ITER 927 NEW BEST:: SOT 214783 SOS 78735 HAS SOPS 71412 HAS SOUS 67358 HAS SOUPS 64015 WITH SCORE 64093.735
AT ITER 928 NEW BEST:: SOT 214732 SOS 78684 HAS SOPS 71337 HAS SOUS 67362 HAS SOUPS 63995 WITH SCORE 64073.684
AT ITER 937 NEW BEST:: SOT 214732 SOS 78699 HAS SOPS 71377 HAS SOUS 67323 HAS SOUPS 63956 WITH SCORE 64034.699
AT ITER 941 NEW BEST:: SOT 214633 SOS 78501 HAS SOPS 71179 HAS SOUS 67125 HAS SOUPS 63758 WITH SCORE 63836.501
AT ITER 942 NEW BEST:: SOT 214620 SOS 78481 HAS SOPS 71185 HAS SOUS 67105 HAS SOUPS 63742 WITH SCORE 63820.481
AT ITER 943 NEW BEST:: SOT 214616 SOS 78473 HAS SOPS 71177 HAS SOUS 67097 HAS SOUPS 63734 WITH SCORE 63812.473
AT ITER 947 NEW BEST:: SOT 214604 SOS 78442 HAS SOPS 71146 HAS SOUS 67073 HAS SOUPS 63710 WITH SCORE 63788.442
AT ITER 950 NEW BEST:: SOT 214556 SOS 78346 HAS SOPS 71050 HAS SOUS 66977 HAS SOUPS 63614 WITH SCORE 63692.346
AT ITER 952 NEW BEST:: SOT 214556 SOS 78338 HAS SOPS 71042 HAS SOUS 66969 HAS SOUPS 63606 WITH SCORE 63684.338
AT ITER 972 NEW BEST:: SOT 213812 SOS 78186 HAS SOPS 70474 HAS SOUS 66756 HAS SOUPS 63266 WITH SCORE 63344.186
AT ITER 977 NEW BEST:: SOT 213025 SOS 78048 HAS SOPS 69605 HAS SOUS 66515 HAS SOUPS 62859 WITH SCORE 62937.048
AT ITER 1000 NEW BEST:: SOT 213014 SOS 78037 HAS SOPS 69583 HAS SOUS 66493 HAS SOUPS 62837 WITH SCORE 62915.037
AT ITER 1001 NEW BEST:: SOT 212835 SOS 77632 HAS SOPS 69178 HAS SOUS 66135 HAS SOUPS 62479 WITH SCORE 62556.632
AT ITER 1018 NEW BEST:: SOT 212784 SOS 77616 HAS SOPS 69076 HAS SOUS 66069 HAS SOUPS 62377 WITH SCORE 62454.616
AT ITER 1034 NEW BEST:: SOT 212685 SOS 77573 HAS SOPS 69033 HAS SOUS 65871 HAS SOUPS 62179 WITH SCORE 62256.573
AT ITER 1038 NEW BEST:: SOT 212758 SOS 77461 HAS SOPS 68782 HAS SOUS 65724 HAS SOUPS 62032 WITH SCORE 62109.461
AT ITER 1040 NEW BEST:: SOT 212747 SOS 77476 HAS SOPS 68797 HAS SOUS 65702 HAS SOUPS 62010 WITH SCORE 62087.476
AT ITER 1044 NEW BEST:: SOT 212743 SOS 77468 HAS SOPS 68789 HAS SOUS 65694 HAS SOUPS 62002 WITH SCORE 62079.468
AT ITER 1050 NEW BEST:: SOT 212697 SOS 77309 HAS SOPS 68731 HAS SOUS 65559 HAS SOUPS 61879 WITH SCORE 61956.309
AT ITER 1053 NEW BEST:: SOT 212682 SOS 77280 HAS SOPS 68708 HAS SOUS 65536 HAS SOUPS 61856 WITH SCORE 61933.28
AT ITER 1064 NEW BEST:: SOT 212682 SOS 77221 HAS SOPS 68601 HAS SOUS 65536 HAS SOUPS 61856 WITH SCORE 61933.221
AT ITER 1071 NEW BEST:: SOT 212812 SOS 77325 HAS SOPS 68549 HAS SOUS 65640 HAS SOUPS 61830 WITH SCORE 61907.325
AT ITER 1075 NEW BEST:: SOT 212759 SOS 77219 HAS SOPS 68443 HAS SOUS 65534 HAS SOUPS 61724 WITH SCORE 61801.219
AT ITER 1077 NEW BEST:: SOT 212726 SOS 77153 HAS SOPS 68377 HAS SOUS 65468 HAS SOUPS 61658 WITH SCORE 61735.153
AT ITER 1080 NEW BEST:: SOT 212746 SOS 77001 HAS SOPS 68342 HAS SOUS 65429 HAS SOUPS 61650 WITH SCORE 61727.001
AT ITER 1098 NEW BEST:: SOT 212616 SOS 76558 HAS SOPS 67890 HAS SOUS 65290 HAS SOUPS 61511 WITH SCORE 61587.558
AT ITER 1099 NEW BEST:: SOT 212658 SOS 76512 HAS SOPS 67918 HAS SOUS 65276 HAS SOUPS 61511 WITH SCORE 61587.512
AT ITER 1101 NEW BEST:: SOT 212709 SOS 76477 HAS SOPS 68051 HAS SOUS 65134 HAS SOUPS 61410 WITH SCORE 61486.477
AT ITER 1106 NEW BEST:: SOT 212743 SOS 76540 HAS SOPS 68016 HAS SOUS 65099 HAS SOUPS 61375 WITH SCORE 61451.54
AT ITER 1118 NEW BEST:: SOT 212536 SOS 76509 HAS SOPS 68042 HAS SOUS 64970 HAS SOUPS 61246 WITH SCORE 61322.509
AT ITER 1125 NEW BEST:: SOT 212515 SOS 76215 HAS SOPS 67748 HAS SOUS 64928 HAS SOUPS 61204 WITH SCORE 61280.215
AT ITER 1137 NEW BEST:: SOT 212464 SOS 76139 HAS SOPS 67672 HAS SOUS 64852 HAS SOUPS 61128 WITH SCORE 61204.139
AT ITER 1145 NEW BEST:: SOT 212452 SOS 76127 HAS SOPS 67648 HAS SOUS 64828 HAS SOUPS 61104 WITH SCORE 61180.127
AT ITER 1152 NEW BEST:: SOT 212437 SOS 76097 HAS SOPS 67618 HAS SOUS 64798 HAS SOUPS 61074 WITH SCORE 61150.097
AT ITER 1157 NEW BEST:: SOT 212412 SOS 76051 HAS SOPS 67572 HAS SOUS 64773 HAS SOUPS 61049 WITH SCORE 61125.051
AT ITER 1170 NEW BEST:: SOT 212172 SOS 76072 HAS SOPS 67788 HAS SOUS 64728 HAS SOUPS 61004 WITH SCORE 61080.072
AT ITER 1178 NEW BEST:: SOT 212168 SOS 76064 HAS SOPS 67780 HAS SOUS 64720 HAS SOUPS 60996 WITH SCORE 61072.064
AT ITER 1184 NEW BEST:: SOT 212164 SOS 76056 HAS SOPS 67772 HAS SOUS 64712 HAS SOUPS 60988 WITH SCORE 61064.056
AT ITER 1185 NEW BEST:: SOT 212011 SOS 75989 HAS SOPS 67705 HAS SOUS 64645 HAS SOUPS 60921 WITH SCORE 60996.989
AT ITER 1194 NEW BEST:: SOT 212011 SOS 75876 HAS SOPS 67705 HAS SOUS 64645 HAS SOUPS 60921 WITH SCORE 60996.876
AT ITER 1199 NEW BEST:: SOT 211905 SOS 75645 HAS SOPS 67493 HAS SOUS 64506 HAS SOUPS 60782 WITH SCORE 60857.645
AT ITER 1209 NEW BEST:: SOT 211884 SOS 75603 HAS SOPS 67451 HAS SOUS 64464 HAS SOUPS 60740 WITH SCORE 60815.603
AT ITER 1216 NEW BEST:: SOT 211881 SOS 75597 HAS SOPS 67445 HAS SOUS 64458 HAS SOUPS 60734 WITH SCORE 60809.597
AT ITER 1220 NEW BEST:: SOT 211656 SOS 75591 HAS SOPS 67111 HAS SOUS 64240 HAS SOUPS 60458 WITH SCORE 60533.591
AT ITER 1226 NEW BEST:: SOT 211656 SOS 75590 HAS SOPS 67111 HAS SOUS 64240 HAS SOUPS 60458 WITH SCORE 60533.59
AT ITER 1231 NEW BEST:: SOT 211656 SOS 75515 HAS SOPS 67111 HAS SOUS 64240 HAS SOUPS 60458 WITH SCORE 60533.515
AT ITER 1233 NEW BEST:: SOT 211944 SOS 75549 HAS SOPS 67378 HAS SOUS 63945 HAS SOUPS 60262 WITH SCORE 60337.549
AT ITER 1255 NEW BEST:: SOT 211692 SOS 75325 HAS SOPS 67098 HAS SOUS 63665 HAS SOUPS 59982 WITH SCORE 60057.325
AT ITER 1259 NEW BEST:: SOT 211640 SOS 75774 HAS SOPS 67049 HAS SOUS 63655 HAS SOUPS 59933 WITH SCORE 60008.774
AT ITER 1262 NEW BEST:: SOT 211623 SOS 75740 HAS SOPS 67015 HAS SOUS 63621 HAS SOUPS 59899 WITH SCORE 59974.74
AT ITER 1265 NEW BEST:: SOT 210810 SOS 75215 HAS SOPS 66568 HAS SOUS 62969 HAS SOUPS 59247 WITH SCORE 59322.215
AT ITER 1277 NEW BEST:: SOT 210797 SOS 75202 HAS SOPS 66542 HAS SOUS 62943 HAS SOUPS 59221 WITH SCORE 59296.202
AT ITER 1286 NEW BEST:: SOT 210739 SOS 75028 HAS SOPS 66426 HAS SOUS 62827 HAS SOUPS 59105 WITH SCORE 59180.028
AT ITER 1292 NEW BEST:: SOT 210719 SOS 75051 HAS SOPS 66430 HAS SOUS 62759 HAS SOUPS 59037 WITH SCORE 59112.051
AT ITER 1293 NEW BEST:: SOT 210603 SOS 74819 HAS SOPS 66198 HAS SOUS 62527 HAS SOUPS 58805 WITH SCORE 58879.819
AT ITER 1299 NEW BEST:: SOT 210596 SOS 74801 HAS SOPS 66184 HAS SOUS 62520 HAS SOUPS 58798 WITH SCORE 58872.801
AT ITER 1302 NEW BEST:: SOT 210530 SOS 74411 HAS SOPS 65536 HAS SOUS 62001 HAS SOUPS 58279 WITH SCORE 58353.411
AT ITER 1314 NEW BEST:: SOT 210521 SOS 74363 HAS SOPS 65449 HAS SOUS 61914 HAS SOUPS 58192 WITH SCORE 58266.363
AT ITER 1331 NEW BEST:: SOT 210237 SOS 74144 HAS SOPS 65100 HAS SOUS 61918 HAS SOUPS 58131 WITH SCORE 58205.144
AT ITER 1340 NEW BEST:: SOT 210222 SOS 74114 HAS SOPS 65070 HAS SOUS 61888 HAS SOUPS 58101 WITH SCORE 58175.114
AT ITER 1347 NEW BEST:: SOT 210222 SOS 74166 HAS SOPS 65040 HAS SOUS 61882 HAS SOUPS 58095 WITH SCORE 58169.166
AT ITER 1359 NEW BEST:: SOT 210210 SOS 74142 HAS SOPS 65016 HAS SOUS 61858 HAS SOUPS 58071 WITH SCORE 58145.142
AT ITER 1366 NEW BEST:: SOT 210175 SOS 74072 HAS SOPS 64946 HAS SOUS 61788 HAS SOUPS 58001 WITH SCORE 58075.072
AT ITER 1383 NEW BEST:: SOT 210719 SOS 74079 HAS SOPS 65550 HAS SOUS 61527 HAS SOUPS 57939 WITH SCORE 58013.079
AT ITER 1388 NEW BEST:: SOT 210643 SOS 74053 HAS SOPS 65515 HAS SOUS 61487 HAS SOUPS 57899 WITH SCORE 57973.053
AT ITER 1402 NEW BEST:: SOT 210620 SOS 73983 HAS SOPS 65492 HAS SOUS 61464 HAS SOUPS 57876 WITH SCORE 57949.983
AT ITER 1411 NEW BEST:: SOT 210827 SOS 74134 HAS SOPS 65741 HAS SOUS 61391 HAS SOUPS 57845 WITH SCORE 57919.134
AT ITER 1416 NEW BEST:: SOT 210773 SOS 74142 HAS SOPS 65749 HAS SOUS 61315 HAS SOUPS 57769 WITH SCORE 57843.142
AT ITER 1421 NEW BEST:: SOT 210750 SOS 74070 HAS SOPS 65677 HAS SOUS 61269 HAS SOUPS 57723 WITH SCORE 57797.07
AT ITER 1433 NEW BEST:: SOT 210743 SOS 73993 HAS SOPS 65635 HAS SOUS 61220 HAS SOUPS 57681 WITH SCORE 57754.993
AT ITER 1434 NEW BEST:: SOT 209646 SOS 73899 HAS SOPS 64446 HAS SOUS 60665 HAS SOUPS 56929 WITH SCORE 57002.899
AT ITER 1435 NEW BEST:: SOT 209601 SOS 73809 HAS SOPS 64356 HAS SOUS 60575 HAS SOUPS 56839 WITH SCORE 56912.809
AT ITER 1438 NEW BEST:: SOT 209270 SOS 73511 HAS SOPS 64058 HAS SOUS 60218 HAS SOUPS 56482 WITH SCORE 56555.511
AT ITER 1458 NEW BEST:: SOT 209166 SOS 73203 HAS SOPS 63750 HAS SOUS 60005 HAS SOUPS 56269 WITH SCORE 56342.203
AT ITER 1472 NEW BEST:: SOT 209093 SOS 73057 HAS SOPS 63604 HAS SOUS 59898 HAS SOUPS 56162 WITH SCORE 56235.057
AT ITER 1479 NEW BEST:: SOT 209020 SOS 72878 HAS SOPS 63458 HAS SOUS 59778 HAS SOUPS 56042 WITH SCORE 56114.878
AT ITER 1483 NEW BEST:: SOT 209016 SOS 72870 HAS SOPS 63450 HAS SOUS 59770 HAS SOUPS 56034 WITH SCORE 56106.87
AT ITER 1489 NEW BEST:: SOT 208975 SOS 72747 HAS SOPS 63327 HAS SOUS 59688 HAS SOUPS 55952 WITH SCORE 56024.747
AT ITER 1499 NEW BEST:: SOT 208959 SOS 72553 HAS SOPS 63200 HAS SOUS 59623 HAS SOUPS 55903 WITH SCORE 55975.553
AT ITER 1503 NEW BEST:: SOT 208884 SOS 72548 HAS SOPS 63185 HAS SOUS 59578 HAS SOUPS 55838 WITH SCORE 55910.548
AT ITER 1517 NEW BEST:: SOT 208820 SOS 72507 HAS SOPS 63049 HAS SOUS 59491 HAS SOUPS 55707 WITH SCORE 55779.507
AT ITER 1518 NEW BEST:: SOT 208868 SOS 72287 HAS SOPS 62831 HAS SOUS 59362 HAS SOUPS 55578 WITH SCORE 55650.287
AT ITER 1531 NEW BEST:: SOT 208140 SOS 71783 HAS SOPS 62935 HAS SOUS 59277 HAS SOUPS 55493 WITH SCORE 55564.783
AT ITER 1532 NEW BEST:: SOT 207833 SOS 71612 HAS SOPS 62790 HAS SOUS 59050 HAS SOUPS 55266 WITH SCORE 55337.612
AT ITER 1545 NEW BEST:: SOT 207741 SOS 71426 HAS SOPS 62606 HAS SOUS 58866 HAS SOUPS 55082 WITH SCORE 55153.426
AT ITER 1554 NEW BEST:: SOT 207093 SOS 71595 HAS SOPS 62084 HAS SOUS 58946 HAS SOUPS 54997 WITH SCORE 55068.595
AT ITER 1556 NEW BEST:: SOT 207054 SOS 71517 HAS SOPS 62006 HAS SOUS 58868 HAS SOUPS 54919 WITH SCORE 54990.517
AT ITER 1561 NEW BEST:: SOT 207032 SOS 71392 HAS SOPS 61881 HAS SOUS 58845 HAS SOUPS 54896 WITH SCORE 54967.392
AT ITER 1582 NEW BEST:: SOT 207032 SOS 71370 HAS SOPS 61859 HAS SOUS 58845 HAS SOUPS 54896 WITH SCORE 54967.37
AT ITER 1583 NEW BEST:: SOT 207012 SOS 71330 HAS SOPS 61819 HAS SOUS 58805 HAS SOUPS 54856 WITH SCORE 54927.33
AT ITER 1587 NEW BEST:: SOT 206944 SOS 71347 HAS SOPS 61722 HAS SOUS 58771 HAS SOUPS 54822 WITH SCORE 54893.347
AT ITER 1606 NEW BEST:: SOT 206941 SOS 71341 HAS SOPS 61716 HAS SOUS 58765 HAS SOUPS 54816 WITH SCORE 54887.341
AT ITER 1621 NEW BEST:: SOT 206945 SOS 71356 HAS SOPS 61713 HAS SOUS 58780 HAS SOUPS 54813 WITH SCORE 54884.356
AT ITER 1634 NEW BEST:: SOT 206924 SOS 71404 HAS SOPS 61671 HAS SOUS 58738 HAS SOUPS 54771 WITH SCORE 54842.404
AT ITER 1638 NEW BEST:: SOT 206885 SOS 71295 HAS SOPS 61562 HAS SOUS 58629 HAS SOUPS 54662 WITH SCORE 54733.295
AT ITER 1641 NEW BEST:: SOT 207036 SOS 71473 HAS SOPS 61774 HAS SOUS 58525 HAS SOUPS 54590 WITH SCORE 54661.473
AT ITER 1646 NEW BEST:: SOT 207002 SOS 71358 HAS SOPS 61740 HAS SOUS 58491 HAS SOUPS 54556 WITH SCORE 54627.358
AT ITER 1651 NEW BEST:: SOT 207002 SOS 71368 HAS SOPS 61740 HAS SOUS 58442 HAS SOUPS 54507 WITH SCORE 54578.368
AT ITER 1658 NEW BEST:: SOT 206930 SOS 71224 HAS SOPS 61632 HAS SOUS 58334 HAS SOUPS 54399 WITH SCORE 54470.224
AT ITER 1662 NEW BEST:: SOT 206921 SOS 70897 HAS SOPS 61299 HAS SOUS 58279 HAS SOUPS 54344 WITH SCORE 54414.897
AT ITER 1663 NEW BEST:: SOT 206441 SOS 71319 HAS SOPS 60961 HAS SOUS 58094 HAS SOUPS 54006 WITH SCORE 54077.319
AT ITER 1667 NEW BEST:: SOT 206370 SOS 71424 HAS SOPS 61066 HAS SOUS 58045 HAS SOUPS 53957 WITH SCORE 54028.424
AT ITER 1668 NEW BEST:: SOT 206354 SOS 71365 HAS SOPS 61034 HAS SOUS 58013 HAS SOUPS 53925 WITH SCORE 53996.365
AT ITER 1672 NEW BEST:: SOT 206354 SOS 71349 HAS SOPS 61018 HAS SOUS 58013 HAS SOUPS 53925 WITH SCORE 53996.349
AT ITER 1675 NEW BEST:: SOT 206504 SOS 71542 HAS SOPS 60993 HAS SOUS 57988 HAS SOUPS 53900 WITH SCORE 53971.542
AT ITER 1683 NEW BEST:: SOT 206232 SOS 71953 HAS SOPS 60721 HAS SOUS 58124 HAS SOUPS 53887 WITH SCORE 53958.953
AT ITER 1703 NEW BEST:: SOT 206104 SOS 71685 HAS SOPS 60453 HAS SOUS 57856 HAS SOUPS 53619 WITH SCORE 53690.685
AT ITER 1719 NEW BEST:: SOT 205836 SOS 71568 HAS SOPS 60336 HAS SOUS 57537 HAS SOUPS 53300 WITH SCORE 53371.568
AT ITER 1726 NEW BEST:: SOT 205721 SOS 71459 HAS SOPS 60176 HAS SOUS 57377 HAS SOUPS 53140 WITH SCORE 53211.459
AT ITER 1754 NEW BEST:: SOT 205600 SOS 71210 HAS SOPS 59927 HAS SOUS 57128 HAS SOUPS 52891 WITH SCORE 52962.21
AT ITER 1755 NEW BEST:: SOT 205586 SOS 71182 HAS SOPS 59899 HAS SOUS 57100 HAS SOUPS 52863 WITH SCORE 52934.182
AT ITER 1759 NEW BEST:: SOT 205586 SOS 71163 HAS SOPS 59880 HAS SOUS 57081 HAS SOUPS 52844 WITH SCORE 52915.163
AT ITER 1762 NEW BEST:: SOT 205592 SOS 70925 HAS SOPS 59639 HAS SOUS 57077 HAS SOUPS 52840 WITH SCORE 52910.925
AT ITER 1770 NEW BEST:: SOT 205523 SOS 70853 HAS SOPS 59557 HAS SOUS 57075 HAS SOUPS 52828 WITH SCORE 52898.853
AT ITER 1788 NEW BEST:: SOT 205570 SOS 70845 HAS SOPS 59549 HAS SOUS 57022 HAS SOUPS 52775 WITH SCORE 52845.845
AT ITER 1789 NEW BEST:: SOT 205570 SOS 70845 HAS SOPS 59542 HAS SOUS 57015 HAS SOUPS 52768 WITH SCORE 52838.845
AT ITER 1792 NEW BEST:: SOT 205565 SOS 70835 HAS SOPS 59532 HAS SOUS 57005 HAS SOUPS 52758 WITH SCORE 52828.835
AT ITER 1798 NEW BEST:: SOT 205556 SOS 70808 HAS SOPS 59514 HAS SOUS 56987 HAS SOUPS 52740 WITH SCORE 52810.808
AT ITER 1825 NEW BEST:: SOT 205550 SOS 70796 HAS SOPS 59502 HAS SOUS 56975 HAS SOUPS 52728 WITH SCORE 52798.796
AT ITER 1826 NEW BEST:: SOT 205497 SOS 70690 HAS SOPS 59396 HAS SOUS 56869 HAS SOUPS 52622 WITH SCORE 52692.69
AT ITER 1833 NEW BEST:: SOT 205482 SOS 70651 HAS SOPS 59490 HAS SOUS 56763 HAS SOUPS 52541 WITH SCORE 52611.651
AT ITER 1835 NEW BEST:: SOT 205454 SOS 70617 HAS SOPS 59434 HAS SOUS 56707 HAS SOUPS 52485 WITH SCORE 52555.617
AT ITER 1838 NEW BEST:: SOT 205424 SOS 70587 HAS SOPS 59404 HAS SOUS 56647 HAS SOUPS 52425 WITH SCORE 52495.587
AT ITER 1841 NEW BEST:: SOT 205288 SOS 70329 HAS SOPS 59146 HAS SOUS 56389 HAS SOUPS 52167 WITH SCORE 52237.329
AT ITER 1847 NEW BEST:: SOT 205322 SOS 70297 HAS SOPS 59114 HAS SOUS 56357 HAS SOUPS 52135 WITH SCORE 52205.297
AT ITER 1851 NEW BEST:: SOT 205306 SOS 70265 HAS SOPS 59082 HAS SOUS 56325 HAS SOUPS 52103 WITH SCORE 52173.265
AT ITER 1852 NEW BEST:: SOT 205078 SOS 70082 HAS SOPS 58902 HAS SOUS 56113 HAS SOUPS 51891 WITH SCORE 51961.082
AT ITER 1864 NEW BEST:: SOT 204984 SOS 69936 HAS SOPS 58758 HAS SOUS 55969 HAS SOUPS 51747 WITH SCORE 51816.936
AT ITER 1865 NEW BEST:: SOT 204981 SOS 69853 HAS SOPS 58675 HAS SOUS 55963 HAS SOUPS 51741 WITH SCORE 51810.853
AT ITER 1870 NEW BEST:: SOT 204776 SOS 70458 HAS SOPS 59357 HAS SOUS 55926 HAS SOUPS 51704 WITH SCORE 51774.458
AT ITER 1880 NEW BEST:: SOT 204761 SOS 70355 HAS SOPS 59357 HAS SOUS 55806 HAS SOUPS 51599 WITH SCORE 51669.355
AT ITER 1882 NEW BEST:: SOT 204616 SOS 70110 HAS SOPS 59112 HAS SOUS 55577 HAS SOUPS 51370 WITH SCORE 51440.11
AT ITER 1886 NEW BEST:: SOT 204615 SOS 69940 HAS SOPS 58942 HAS SOUS 55549 HAS SOUPS 51342 WITH SCORE 51411.94
AT ITER 1920 NEW BEST:: SOT 204564 SOS 70024 HAS SOPS 58840 HAS SOUS 55447 HAS SOUPS 51240 WITH SCORE 51310.024
AT ITER 1941 NEW BEST:: SOT 204579 SOS 70004 HAS SOPS 58871 HAS SOUS 55372 HAS SOUPS 51180 WITH SCORE 51250.004
AT ITER 1942 NEW BEST:: SOT 204514 SOS 69929 HAS SOPS 58801 HAS SOUS 55302 HAS SOUPS 51110 WITH SCORE 51179.929
AT ITER 1946 NEW BEST:: SOT 204397 SOS 70107 HAS SOPS 58636 HAS SOUS 55185 HAS SOUPS 50948 WITH SCORE 51018.107
AT ITER 1947 NEW BEST:: SOT 204384 SOS 69741 HAS SOPS 58270 HAS SOUS 55131 HAS SOUPS 50894 WITH SCORE 50963.741
AT ITER 1980 NEW BEST:: SOT 204306 SOS 69661 HAS SOPS 58294 HAS SOUS 54920 HAS SOUPS 50709 WITH SCORE 50778.661
AT ITER 1982 NEW BEST:: SOT 204302 SOS 69653 HAS SOPS 58286 HAS SOUS 54912 HAS SOUPS 50701 WITH SCORE 50770.653
AT ITER 1987 NEW BEST:: SOT 204238 SOS 69525 HAS SOPS 58158 HAS SOUS 54784 HAS SOUPS 50573 WITH SCORE 50642.525
AT ITER 2001 NEW BEST:: SOT 204240 SOS 69483 HAS SOPS 58116 HAS SOUS 54742 HAS SOUPS 50531 WITH SCORE 50600.483
AT ITER 2013 NEW BEST:: SOT 204200 SOS 69397 HAS SOPS 58054 HAS SOUS 54708 HAS SOUPS 50497 WITH SCORE 50566.397
AT ITER 2039 NEW BEST:: SOT 204194 SOS 69385 HAS SOPS 58042 HAS SOUS 54696 HAS SOUPS 50485 WITH SCORE 50554.385
AT ITER 2045 NEW BEST:: SOT 204159 SOS 69393 HAS SOPS 57981 HAS SOUS 54635 HAS SOUPS 50424 WITH SCORE 50493.393
AT ITER 2046 NEW BEST:: SOT 204159 SOS 69257 HAS SOPS 57845 HAS SOUS 54601 HAS SOUPS 50390 WITH SCORE 50459.257
AT ITER 2049 NEW BEST:: SOT 204121 SOS 69208 HAS SOPS 57807 HAS SOUS 54563 HAS SOUPS 50352 WITH SCORE 50421.208
AT ITER 2080 NEW BEST:: SOT 204121 SOS 69128 HAS SOPS 57823 HAS SOUS 54512 HAS SOUPS 50317 WITH SCORE 50386.128
AT ITER 2096 NEW BEST:: SOT 204105 SOS 69048 HAS SOPS 57791 HAS SOUS 54480 HAS SOUPS 50285 WITH SCORE 50354.048
AT ITER 2100 NEW BEST:: SOT 203682 SOS 68670 HAS SOPS 57366 HAS SOUS 54241 HAS SOUPS 50003 WITH SCORE 50071.67
AT ITER 2111 NEW BEST:: SOT 203682 SOS 68670 HAS SOPS 57350 HAS SOUS 54225 HAS SOUPS 49987 WITH SCORE 50055.67
AT ITER 2113 NEW BEST:: SOT 203660 SOS 68233 HAS SOPS 57232 HAS SOUS 53922 HAS SOUPS 49732 WITH SCORE 49800.233
AT ITER 2120 NEW BEST:: SOT 203642 SOS 68215 HAS SOPS 57196 HAS SOUS 53904 HAS SOUPS 49696 WITH SCORE 49764.215
AT ITER 2139 NEW BEST:: SOT 203598 SOS 68171 HAS SOPS 57108 HAS SOUS 53816 HAS SOUPS 49608 WITH SCORE 49676.171
AT ITER 2153 NEW BEST:: SOT 203532 SOS 68032 HAS SOPS 56976 HAS SOUS 53684 HAS SOUPS 49476 WITH SCORE 49544.032
AT ITER 2192 NEW BEST:: SOT 203532 SOS 68030 HAS SOPS 56974 HAS SOUS 53682 HAS SOUPS 49474 WITH SCORE 49542.03
AT ITER 2238 NEW BEST:: SOT 203521 SOS 68019 HAS SOPS 56952 HAS SOUS 53660 HAS SOUPS 49452 WITH SCORE 49520.019
AT ITER 2253 NEW BEST:: SOT 203512 SOS 68001 HAS SOPS 56934 HAS SOUS 53642 HAS SOUPS 49434 WITH SCORE 49502.001
AT ITER 2280 NEW BEST:: SOT 203485 SOS 67947 HAS SOPS 56880 HAS SOUS 53588 HAS SOUPS 49380 WITH SCORE 49447.947
AT ITER 2284 NEW BEST:: SOT 203461 SOS 67923 HAS SOPS 56832 HAS SOUS 53540 HAS SOUPS 49332 WITH SCORE 49399.923
AT ITER 2294 NEW BEST:: SOT 203457 SOS 67919 HAS SOPS 56828 HAS SOUS 53536 HAS SOUPS 49328 WITH SCORE 49395.919
AT ITER 2295 NEW BEST:: SOT 203424 SOS 67837 HAS SOPS 56762 HAS SOUS 53464 HAS SOUPS 49256 WITH SCORE 49323.837
AT ITER 2301 NEW BEST:: SOT 203403 SOS 67816 HAS SOPS 56738 HAS SOUS 53443 HAS SOUPS 49232 WITH SCORE 49299.816
AT ITER 2312 NEW BEST:: SOT 203336 SOS 67682 HAS SOPS 56604 HAS SOUS 53309 HAS SOUPS 49098 WITH SCORE 49165.682
AT ITER 2332 NEW BEST:: SOT 203321 SOS 67652 HAS SOPS 56574 HAS SOUS 53279 HAS SOUPS 49068 WITH SCORE 49135.652
AT ITER 2339 NEW BEST:: SOT 203306 SOS 67626 HAS SOPS 56544 HAS SOUS 53249 HAS SOUPS 49038 WITH SCORE 49105.626
AT ITER 2354 NEW BEST:: SOT 203306 SOS 67625 HAS SOPS 56543 HAS SOUS 53249 HAS SOUPS 49038 WITH SCORE 49105.625
AT ITER 2358 NEW BEST:: SOT 203303 SOS 67619 HAS SOPS 56537 HAS SOUS 53243 HAS SOUPS 49032 WITH SCORE 49099.619
AT ITER 2374 NEW BEST:: SOT 203290 SOS 67589 HAS SOPS 56471 HAS SOUS 53220 HAS SOUPS 49009 WITH SCORE 49076.589
AT ITER 2375 NEW BEST:: SOT 203251 SOS 67546 HAS SOPS 56454 HAS SOUS 53203 HAS SOUPS 48992 WITH SCORE 49059.546
AT ITER 2376 NEW BEST:: SOT 203225 SOS 67494 HAS SOPS 56402 HAS SOUS 53151 HAS SOUPS 48940 WITH SCORE 49007.494
AT ITER 2378 NEW BEST:: SOT 203193 SOS 67446 HAS SOPS 56338 HAS SOUS 53087 HAS SOUPS 48876 WITH SCORE 48943.446
AT ITER 2412 NEW BEST:: SOT 203129 SOS 67367 HAS SOPS 56295 HAS SOUS 53044 HAS SOUPS 48833 WITH SCORE 48900.367
AT ITER 2431 NEW BEST:: SOT 203113 SOS 67331 HAS SOPS 56259 HAS SOUS 52992 HAS SOUPS 48781 WITH SCORE 48848.331
AT ITER 2440 NEW BEST:: SOT 203041 SOS 67187 HAS SOPS 56115 HAS SOUS 52876 HAS SOUPS 48665 WITH SCORE 48732.187
AT ITER 2448 NEW BEST:: SOT 203028 SOS 67161 HAS SOPS 56089 HAS SOUS 52850 HAS SOUPS 48639 WITH SCORE 48706.161
AT ITER 2465 NEW BEST:: SOT 203003 SOS 67111 HAS SOPS 56039 HAS SOUS 52800 HAS SOUPS 48589 WITH SCORE 48656.111
AT ITER 2469 NEW BEST:: SOT 202930 SOS 67047 HAS SOPS 55975 HAS SOUS 52747 HAS SOUPS 48536 WITH SCORE 48603.047
AT ITER 2473 NEW BEST:: SOT 202925 SOS 67042 HAS SOPS 55965 HAS SOUS 52737 HAS SOUPS 48526 WITH SCORE 48593.042
AT ITER 2475 NEW BEST:: SOT 202897 SOS 67014 HAS SOPS 55937 HAS SOUS 52709 HAS SOUPS 48498 WITH SCORE 48565.014
AT ITER 2478 NEW BEST:: SOT 202841 SOS 66902 HAS SOPS 55825 HAS SOUS 52597 HAS SOUPS 48386 WITH SCORE 48452.902
AT ITER 2485 NEW BEST:: SOT 202839 SOS 66898 HAS SOPS 55821 HAS SOUS 52593 HAS SOUPS 48382 WITH SCORE 48448.898
AT ITER 2488 NEW BEST:: SOT 202832 SOS 66877 HAS SOPS 55807 HAS SOUS 52579 HAS SOUPS 48368 WITH SCORE 48434.877
AT ITER 2520 NEW BEST:: SOT 202782 SOS 66777 HAS SOPS 55707 HAS SOUS 52479 HAS SOUPS 48268 WITH SCORE 48334.777
AT ITER 2526 NEW BEST:: SOT 202692 SOS 66671 HAS SOPS 55601 HAS SOUS 52373 HAS SOUPS 48162 WITH SCORE 48228.671
AT ITER 2542 NEW BEST:: SOT 202691 SOS 66669 HAS SOPS 55599 HAS SOUS 52371 HAS SOUPS 48160 WITH SCORE 48226.669
AT ITER 2543 NEW BEST:: SOT 202630 SOS 66547 HAS SOPS 55477 HAS SOUS 52249 HAS SOUPS 48038 WITH SCORE 48104.547
AT ITER 2548 NEW BEST:: SOT 202624 SOS 66542 HAS SOPS 55474 HAS SOUS 52245 HAS SOUPS 48034 WITH SCORE 48100.542
AT ITER 2565 NEW BEST:: SOT 202624 SOS 66525 HAS SOPS 55457 HAS SOUS 52245 HAS SOUPS 48034 WITH SCORE 48100.525
AT ITER 2570 NEW BEST:: SOT 202592 SOS 66393 HAS SOPS 55325 HAS SOUS 52181 HAS SOUPS 47970 WITH SCORE 48036.393
AT ITER 2579 NEW BEST:: SOT 202591 SOS 66391 HAS SOPS 55323 HAS SOUS 52179 HAS SOUPS 47968 WITH SCORE 48034.391
AT ITER 2591 NEW BEST:: SOT 202591 SOS 66398 HAS SOPS 55330 HAS SOUS 52178 HAS SOUPS 47967 WITH SCORE 48033.398
AT ITER 2602 NEW BEST:: SOT 202537 SOS 66290 HAS SOPS 55222 HAS SOUS 52070 HAS SOUPS 47859 WITH SCORE 47925.29
AT ITER 2606 NEW BEST:: SOT 202531 SOS 66284 HAS SOPS 55216 HAS SOUS 52064 HAS SOUPS 47853 WITH SCORE 47919.284
AT ITER 2616 NEW BEST:: SOT 202522 SOS 66266 HAS SOPS 55198 HAS SOUS 52046 HAS SOUPS 47835 WITH SCORE 47901.266
AT ITER 2617 NEW BEST:: SOT 202507 SOS 66236 HAS SOPS 55168 HAS SOUS 52016 HAS SOUPS 47805 WITH SCORE 47871.236
AT ITER 2638 NEW BEST:: SOT 202505 SOS 66226 HAS SOPS 55164 HAS SOUS 52012 HAS SOUPS 47801 WITH SCORE 47867.226
AT ITER 2640 NEW BEST:: SOT 202493 SOS 66214 HAS SOPS 55152 HAS SOUS 52000 HAS SOUPS 47789 WITH SCORE 47855.214
AT ITER 2658 NEW BEST:: SOT 202482 SOS 66192 HAS SOPS 55130 HAS SOUS 51956 HAS SOUPS 47745 WITH SCORE 47811.192
AT ITER 2690 NEW BEST:: SOT 202475 SOS 66178 HAS SOPS 55116 HAS SOUS 51942 HAS SOUPS 47731 WITH SCORE 47797.178
AT ITER 2693 NEW BEST:: SOT 202468 SOS 66164 HAS SOPS 55102 HAS SOUS 51928 HAS SOUPS 47717 WITH SCORE 47783.164
AT ITER 2701 NEW BEST:: SOT 202454 SOS 66143 HAS SOPS 55074 HAS SOUS 51900 HAS SOUPS 47689 WITH SCORE 47755.143
AT ITER 2716 NEW BEST:: SOT 202398 SOS 66087 HAS SOPS 54962 HAS SOUS 51788 HAS SOUPS 47577 WITH SCORE 47643.087
AT ITER 2731 NEW BEST:: SOT 202394 SOS 66079 HAS SOPS 54954 HAS SOUS 51780 HAS SOUPS 47569 WITH SCORE 47635.079
AT ITER 2732 NEW BEST:: SOT 202378 SOS 66063 HAS SOPS 54930 HAS SOUS 51756 HAS SOUPS 47545 WITH SCORE 47611.063
AT ITER 2735 NEW BEST:: SOT 202345 SOS 65997 HAS SOPS 54864 HAS SOUS 51690 HAS SOUPS 47479 WITH SCORE 47544.997
AT ITER 2741 NEW BEST:: SOT 202344 SOS 65995 HAS SOPS 54862 HAS SOUS 51688 HAS SOUPS 47477 WITH SCORE 47542.995
AT ITER 2771 NEW BEST:: SOT 202306 SOS 65919 HAS SOPS 54827 HAS SOUS 51653 HAS SOUPS 47442 WITH SCORE 47507.919
AT ITER 2785 NEW BEST:: SOT 202244 SOS 65995 HAS SOPS 54912 HAS SOUS 51631 HAS SOUPS 47420 WITH SCORE 47485.995
AT ITER 2811 NEW BEST:: SOT 202225 SOS 65957 HAS SOPS 54874 HAS SOUS 51593 HAS SOUPS 47382 WITH SCORE 47447.957
AT ITER 2815 NEW BEST:: SOT 202218 SOS 65943 HAS SOPS 54860 HAS SOUS 51579 HAS SOUPS 47368 WITH SCORE 47433.943
AT ITER 2825 NEW BEST:: SOT 202211 SOS 66044 HAS SOPS 54963 HAS SOUS 51574 HAS SOUPS 47363 WITH SCORE 47429.044
AT ITER 2830 NEW BEST:: SOT 202194 SOS 66215 HAS SOPS 54929 HAS SOUS 51540 HAS SOUPS 47329 WITH SCORE 47395.215
AT ITER 2841 NEW BEST:: SOT 202181 SOS 66189 HAS SOPS 54903 HAS SOUS 51514 HAS SOUPS 47303 WITH SCORE 47369.189
AT ITER 2848 NEW BEST:: SOT 202148 SOS 66123 HAS SOPS 54837 HAS SOUS 51448 HAS SOUPS 47237 WITH SCORE 47303.123
AT ITER 2883 NEW BEST:: SOT 202135 SOS 66097 HAS SOPS 54811 HAS SOUS 51422 HAS SOUPS 47211 WITH SCORE 47277.097
AT ITER 2886 NEW BEST:: SOT 202086 SOS 65635 HAS SOPS 54349 HAS SOUS 51381 HAS SOUPS 47170 WITH SCORE 47235.635
AT ITER 2896 NEW BEST:: SOT 202073 SOS 65609 HAS SOPS 54323 HAS SOUS 51355 HAS SOUPS 47144 WITH SCORE 47209.609
AT ITER 2920 NEW BEST:: SOT 202027 SOS 65563 HAS SOPS 54231 HAS SOUS 51263 HAS SOUPS 47052 WITH SCORE 47117.563
AT ITER 2926 NEW BEST:: SOT 202024 SOS 65554 HAS SOPS 54216 HAS SOUS 51248 HAS SOUPS 47037 WITH SCORE 47102.554
AT ITER 2932 NEW BEST:: SOT 201739 SOS 65259 HAS SOPS 53874 HAS SOUS 51254 HAS SOUPS 47004 WITH SCORE 47069.259
AT ITER 2934 NEW BEST:: SOT 201738 SOS 65256 HAS SOPS 53873 HAS SOUS 51253 HAS SOUPS 47003 WITH SCORE 47068.256
AT ITER 2937 NEW BEST:: SOT 201719 SOS 65374 HAS SOPS 53961 HAS SOUS 51221 HAS SOUPS 46971 WITH SCORE 47036.374
AT ITER 2944 NEW BEST:: SOT 201719 SOS 65365 HAS SOPS 53961 HAS SOUS 51221 HAS SOUPS 46971 WITH SCORE 47036.365
AT ITER 2953 NEW BEST:: SOT 201675 SOS 65299 HAS SOPS 53873 HAS SOUS 51155 HAS SOUPS 46883 WITH SCORE 46948.299
AT ITER 2957 NEW BEST:: SOT 201714 SOS 65027 HAS SOPS 53563 HAS SOUS 51098 HAS SOUPS 46826 WITH SCORE 46891.027
AT ITER 2969 NEW BEST:: SOT 201710 SOS 65019 HAS SOPS 53555 HAS SOUS 51090 HAS SOUPS 46818 WITH SCORE 46883.019
AT ITER 2970 NEW BEST:: SOT 201682 SOS 64963 HAS SOPS 53499 HAS SOUS 51034 HAS SOUPS 46762 WITH SCORE 46826.963
AT ITER 2987 NEW BEST:: SOT 201671 SOS 64941 HAS SOPS 53477 HAS SOUS 51012 HAS SOUPS 46740 WITH SCORE 46804.941
AT ITER 2996 NEW BEST:: SOT 201662 SOS 64923 HAS SOPS 53459 HAS SOUS 50994 HAS SOUPS 46722 WITH SCORE 46786.923
AT ITER 2999 NEW BEST:: SOT 201579 SOS 64752 HAS SOPS 53401 HAS SOUS 50941 HAS SOUPS 46669 WITH SCORE 46733.752
AT ITER 3011 NEW BEST:: SOT 201575 SOS 64744 HAS SOPS 53393 HAS SOUS 50933 HAS SOUPS 46661 WITH SCORE 46725.744
AT ITER 3030 NEW BEST:: SOT 201608 SOS 64752 HAS SOPS 53376 HAS SOUS 50916 HAS SOUPS 46644 WITH SCORE 46708.752
AT ITER 3039 NEW BEST:: SOT 201613 SOS 64693 HAS SOPS 53294 HAS SOUS 50880 HAS SOUPS 46608 WITH SCORE 46672.693
AT ITER 3048 NEW BEST:: SOT 201215 SOS 64901 HAS SOPS 52924 HAS SOUS 50741 HAS SOUPS 46354 WITH SCORE 46418.901
AT ITER 3052 NEW BEST:: SOT 201172 SOS 64898 HAS SOPS 52861 HAS SOUS 50705 HAS SOUPS 46308 WITH SCORE 46372.898
AT ITER 3055 NEW BEST:: SOT 201170 SOS 64895 HAS SOPS 52858 HAS SOUS 50702 HAS SOUPS 46305 WITH SCORE 46369.895
AT ITER 3066 NEW BEST:: SOT 201164 SOS 64883 HAS SOPS 52846 HAS SOUS 50690 HAS SOUPS 46293 WITH SCORE 46357.883
AT ITER 3068 NEW BEST:: SOT 201097 SOS 64829 HAS SOPS 52712 HAS SOUS 50556 HAS SOUPS 46159 WITH SCORE 46223.829
AT ITER 3070 NEW BEST:: SOT 201091 SOS 64817 HAS SOPS 52700 HAS SOUS 50544 HAS SOUPS 46147 WITH SCORE 46211.817
AT ITER 3072 NEW BEST:: SOT 201113 SOS 64831 HAS SOPS 52714 HAS SOUS 50541 HAS SOUPS 46144 WITH SCORE 46208.831
AT ITER 3078 NEW BEST:: SOT 201135 SOS 64517 HAS SOPS 52400 HAS SOUS 50471 HAS SOUPS 46074 WITH SCORE 46138.517
AT ITER 3079 NEW BEST:: SOT 201121 SOS 64501 HAS SOPS 52384 HAS SOUS 50455 HAS SOUPS 46058 WITH SCORE 46122.501
AT ITER 3081 NEW BEST:: SOT 201137 SOS 64558 HAS SOPS 52317 HAS SOUS 50388 HAS SOUPS 45991 WITH SCORE 46055.558
AT ITER 3084 NEW BEST:: SOT 200994 SOS 64272 HAS SOPS 52031 HAS SOUS 50102 HAS SOUPS 45705 WITH SCORE 45769.272
AT ITER 3089 NEW BEST:: SOT 200942 SOS 64226 HAS SOPS 51985 HAS SOUS 50056 HAS SOUPS 45659 WITH SCORE 45723.226
AT ITER 3095 NEW BEST:: SOT 200983 SOS 64437 HAS SOPS 52026 HAS SOUS 49991 HAS SOUPS 45594 WITH SCORE 45658.437
AT ITER 3100 NEW BEST:: SOT 200958 SOS 64412 HAS SOPS 52016 HAS SOUS 49976 HAS SOUPS 45584 WITH SCORE 45648.412
AT ITER 3102 NEW BEST:: SOT 200896 SOS 64337 HAS SOPS 51993 HAS SOUS 49953 HAS SOUPS 45561 WITH SCORE 45625.337
AT ITER 3104 NEW BEST:: SOT 200896 SOS 64334 HAS SOPS 51990 HAS SOUS 49950 HAS SOUPS 45558 WITH SCORE 45622.334
AT ITER 3118 NEW BEST:: SOT 200881 SOS 64304 HAS SOPS 51960 HAS SOUS 49920 HAS SOUPS 45528 WITH SCORE 45592.304
AT ITER 3128 NEW BEST:: SOT 200900 SOS 64323 HAS SOPS 51983 HAS SOUS 49911 HAS SOUPS 45523 WITH SCORE 45587.323
AT ITER 3155 NEW BEST:: SOT 200905 SOS 63865 HAS SOPS 51525 HAS SOUS 49453 HAS SOUPS 45065 WITH SCORE 45128.865
AT ITER 3156 NEW BEST:: SOT 200902 SOS 63859 HAS SOPS 51477 HAS SOUS 49405 HAS SOUPS 45017 WITH SCORE 45080.859
AT ITER 3161 NEW BEST:: SOT 200894 SOS 63866 HAS SOPS 51461 HAS SOUS 49367 HAS SOUPS 45001 WITH SCORE 45064.866
AT ITER 3171 NEW BEST:: SOT 200891 SOS 63863 HAS SOPS 51455 HAS SOUS 49364 HAS SOUPS 44995 WITH SCORE 45058.863
AT ITER 3182 NEW BEST:: SOT 200890 SOS 63861 HAS SOPS 51453 HAS SOUS 49362 HAS SOUPS 44993 WITH SCORE 45056.861
AT ITER 3185 NEW BEST:: SOT 200819 SOS 63711 HAS SOPS 51365 HAS SOUS 49264 HAS SOUPS 44895 WITH SCORE 44958.711
AT ITER 3197 NEW BEST:: SOT 200734 SOS 63541 HAS SOPS 51195 HAS SOUS 49094 HAS SOUPS 44725 WITH SCORE 44788.541
AT ITER 3208 NEW BEST:: SOT 200734 SOS 63538 HAS SOPS 51192 HAS SOUS 49091 HAS SOUPS 44722 WITH SCORE 44785.538
AT ITER 3209 NEW BEST:: SOT 200627 SOS 63497 HAS SOPS 51215 HAS SOUS 49039 HAS SOUPS 44670 WITH SCORE 44733.497
AT ITER 3261 NEW BEST:: SOT 200571 SOS 63405 HAS SOPS 51103 HAS SOUS 48927 HAS SOUPS 44558 WITH SCORE 44621.405
AT ITER 3284 NEW BEST:: SOT 200570 SOS 63403 HAS SOPS 51101 HAS SOUS 48925 HAS SOUPS 44556 WITH SCORE 44619.403
AT ITER 3293 NEW BEST:: SOT 200397 SOS 62922 HAS SOPS 50755 HAS SOUS 48579 HAS SOUPS 44210 WITH SCORE 44272.922
AT ITER 3331 NEW BEST:: SOT 200321 SOS 63118 HAS SOPS 50951 HAS SOUS 48427 HAS SOUPS 44058 WITH SCORE 44121.118
AT ITER 3336 NEW BEST:: SOT 200325 SOS 62932 HAS SOPS 50762 HAS SOUS 48289 HAS SOUPS 43920 WITH SCORE 43982.932
AT ITER 3347 NEW BEST:: SOT 200072 SOS 62694 HAS SOPS 50480 HAS SOUS 48273 HAS SOUPS 43861 WITH SCORE 43923.694
AT ITER 3355 NEW BEST:: SOT 200065 SOS 62486 HAS SOPS 50316 HAS SOUS 48184 HAS SOUPS 43772 WITH SCORE 43834.486
AT ITER 3394 NEW BEST:: SOT 200065 SOS 62458 HAS SOPS 50316 HAS SOUS 48184 HAS SOUPS 43772 WITH SCORE 43834.458
AT ITER 3416 NEW BEST:: SOT 200058 SOS 62444 HAS SOPS 50302 HAS SOUS 48170 HAS SOUPS 43758 WITH SCORE 43820.444
AT ITER 3424 NEW BEST:: SOT 200044 SOS 62416 HAS SOPS 50274 HAS SOUS 48142 HAS SOUPS 43730 WITH SCORE 43792.416
AT ITER 3427 NEW BEST:: SOT 199923 SOS 62385 HAS SOPS 50266 HAS SOUS 48123 HAS SOUPS 43711 WITH SCORE 43773.385
AT ITER 3437 NEW BEST:: SOT 199917 SOS 62373 HAS SOPS 50254 HAS SOUS 48111 HAS SOUPS 43699 WITH SCORE 43761.373
AT ITER 3448 NEW BEST:: SOT 199857 SOS 62245 HAS SOPS 50134 HAS SOUS 47991 HAS SOUPS 43579 WITH SCORE 43641.245
AT ITER 3490 NEW BEST:: SOT 199856 SOS 62243 HAS SOPS 50132 HAS SOUS 47989 HAS SOUPS 43577 WITH SCORE 43639.243
AT ITER 3492 NEW BEST:: SOT 199838 SOS 62207 HAS SOPS 50096 HAS SOUS 47953 HAS SOUPS 43541 WITH SCORE 43603.207
AT ITER 3511 NEW BEST:: SOT 199792 SOS 62115 HAS SOPS 50004 HAS SOUS 47861 HAS SOUPS 43449 WITH SCORE 43511.115
AT ITER 3521 NEW BEST:: SOT 199823 SOS 62075 HAS SOPS 49964 HAS SOUS 47857 HAS SOUPS 43445 WITH SCORE 43507.075
AT ITER 3538 NEW BEST:: SOT 199773 SOS 61975 HAS SOPS 49901 HAS SOUS 47794 HAS SOUPS 43382 WITH SCORE 43443.975
AT ITER 3558 NEW BEST:: SOT 199756 SOS 61952 HAS SOPS 49878 HAS SOUS 47771 HAS SOUPS 43359 WITH SCORE 43420.952
AT ITER 3577 NEW BEST:: SOT 199724 SOS 61888 HAS SOPS 49782 HAS SOUS 47675 HAS SOUPS 43263 WITH SCORE 43324.888
AT ITER 3585 NEW BEST:: SOT 199724 SOS 61845 HAS SOPS 49782 HAS SOUS 47675 HAS SOUPS 43263 WITH SCORE 43324.845
AT ITER 3590 NEW BEST:: SOT 199724 SOS 61716 HAS SOPS 49653 HAS SOUS 47634 HAS SOUPS 43222 WITH SCORE 43283.716
AT ITER 3595 NEW BEST:: SOT 199661 SOS 61632 HAS SOPS 49569 HAS SOUS 47544 HAS SOUPS 43132 WITH SCORE 43193.632
AT ITER 3598 NEW BEST:: SOT 199651 SOS 61559 HAS SOPS 49496 HAS SOUS 47524 HAS SOUPS 43112 WITH SCORE 43173.559
AT ITER 3605 NEW BEST:: SOT 199648 SOS 61553 HAS SOPS 49490 HAS SOUS 47518 HAS SOUPS 43106 WITH SCORE 43167.553
AT ITER 3616 NEW BEST:: SOT 199645 SOS 61547 HAS SOPS 49484 HAS SOUS 47512 HAS SOUPS 43100 WITH SCORE 43161.547
AT ITER 3617 NEW BEST:: SOT 199645 SOS 61531 HAS SOPS 49484 HAS SOUS 47512 HAS SOUPS 43100 WITH SCORE 43161.531
AT ITER 3623 NEW BEST:: SOT 199635 SOS 61511 HAS SOPS 49464 HAS SOUS 47492 HAS SOUPS 43080 WITH SCORE 43141.511
AT ITER 3624 NEW BEST:: SOT 199569 SOS 61379 HAS SOPS 49332 HAS SOUS 47360 HAS SOUPS 42948 WITH SCORE 43009.379
AT ITER 3643 NEW BEST:: SOT 199556 SOS 61353 HAS SOPS 49306 HAS SOUS 47334 HAS SOUPS 42922 WITH SCORE 42983.353
AT ITER 3657 NEW BEST:: SOT 199466 SOS 61159 HAS SOPS 49112 HAS SOUS 47154 HAS SOUPS 42742 WITH SCORE 42803.159
AT ITER 3659 NEW BEST:: SOT 199457 SOS 61150 HAS SOPS 49103 HAS SOUS 47145 HAS SOUPS 42733 WITH SCORE 42794.15
AT ITER 3671 NEW BEST:: SOT 199435 SOS 61106 HAS SOPS 49059 HAS SOUS 47101 HAS SOUPS 42689 WITH SCORE 42750.106
AT ITER 3673 NEW BEST:: SOT 199408 SOS 61029 HAS SOPS 49005 HAS SOUS 47047 HAS SOUPS 42635 WITH SCORE 42696.029
AT ITER 3674 NEW BEST:: SOT 199392 SOS 60997 HAS SOPS 48973 HAS SOUS 47015 HAS SOUPS 42603 WITH SCORE 42663.997
AT ITER 3687 NEW BEST:: SOT 199358 SOS 60929 HAS SOPS 48905 HAS SOUS 46947 HAS SOUPS 42535 WITH SCORE 42595.929
AT ITER 3693 NEW BEST:: SOT 199321 SOS 60855 HAS SOPS 48831 HAS SOUS 46873 HAS SOUPS 42461 WITH SCORE 42521.855
AT ITER 3706 NEW BEST:: SOT 199312 SOS 60837 HAS SOPS 48813 HAS SOUS 46855 HAS SOUPS 42443 WITH SCORE 42503.837
AT ITER 3719 NEW BEST:: SOT 199317 SOS 60847 HAS SOPS 48807 HAS SOUS 46849 HAS SOUPS 42437 WITH SCORE 42497.847
AT ITER 3725 NEW BEST:: SOT 199322 SOS 59985 HAS SOPS 48295 HAS SOUS 46611 HAS SOUPS 42286 WITH SCORE 42345.985
AT ITER 3763 NEW BEST:: SOT 199319 SOS 59979 HAS SOPS 48289 HAS SOUS 46605 HAS SOUPS 42280 WITH SCORE 42339.979
AT ITER 3769 NEW BEST:: SOT 199311 SOS 59977 HAS SOPS 48275 HAS SOUS 46599 HAS SOUPS 42272 WITH SCORE 42331.977
AT ITER 3772 NEW BEST:: SOT 199297 SOS 59952 HAS SOPS 48250 HAS SOUS 46574 HAS SOUPS 42247 WITH SCORE 42306.952
AT ITER 3823 NEW BEST:: SOT 199332 SOS 60056 HAS SOPS 48260 HAS SOUS 46550 HAS SOUPS 42223 WITH SCORE 42283.056
AT ITER 3837 NEW BEST:: SOT 199330 SOS 60052 HAS SOPS 48256 HAS SOUS 46546 HAS SOUPS 42219 WITH SCORE 42279.052
AT ITER 3849 NEW BEST:: SOT 199327 SOS 60046 HAS SOPS 48250 HAS SOUS 46540 HAS SOUPS 42213 WITH SCORE 42273.046
AT ITER 3853 NEW BEST:: SOT 199329 SOS 60063 HAS SOPS 48225 HAS SOUS 46524 HAS SOUPS 42190 WITH SCORE 42250.063
AT ITER 3914 NEW BEST:: SOT 199303 SOS 60136 HAS SOPS 48188 HAS SOUS 46516 HAS SOUPS 42171 WITH SCORE 42231.136
AT ITER 3924 NEW BEST:: SOT 199278 SOS 60086 HAS SOPS 48138 HAS SOUS 46466 HAS SOUPS 42121 WITH SCORE 42181.086
AT ITER 3932 NEW BEST:: SOT 199262 SOS 60023 HAS SOPS 48059 HAS SOUS 46387 HAS SOUPS 42042 WITH SCORE 42102.023
AT ITER 3948 NEW BEST:: SOT 199267 SOS 60021 HAS SOPS 48057 HAS SOUS 46385 HAS SOUPS 42040 WITH SCORE 42100.021
AT ITER 3980 NEW BEST:: SOT 199256 SOS 60010 HAS SOPS 48039 HAS SOUS 46367 HAS SOUPS 42022 WITH SCORE 42082.01
AT ITER 3986 NEW BEST:: SOT 199225 SOS 59948 HAS SOPS 47977 HAS SOUS 46305 HAS SOUPS 41960 WITH SCORE 42019.948
AT ITER 3991 NEW BEST:: SOT 199192 SOS 59782 HAS SOPS 47811 HAS SOUS 46139 HAS SOUPS 41794 WITH SCORE 41853.782
AT ITER 3992 NEW BEST:: SOT 199174 SOS 59370 HAS SOPS 47459 HAS SOUS 46103 HAS SOUPS 41758 WITH SCORE 41817.37
AT ITER 3997 NEW BEST:: SOT 199179 SOS 59335 HAS SOPS 47439 HAS SOUS 46088 HAS SOUPS 41748 WITH SCORE 41807.335
AT ITER 4007 NEW BEST:: SOT 199209 SOS 59305 HAS SOPS 47454 HAS SOUS 46028 HAS SOUPS 41703 WITH SCORE 41762.305
AT ITER 4008 NEW BEST:: SOT 199152 SOS 59250 HAS SOPS 47383 HAS SOUS 45965 HAS SOUPS 41632 WITH SCORE 41691.25
AT ITER 4015 NEW BEST:: SOT 199130 SOS 59206 HAS SOPS 47339 HAS SOUS 45921 HAS SOUPS 41588 WITH SCORE 41647.206
AT ITER 4055 NEW BEST:: SOT 199131 SOS 59203 HAS SOPS 47336 HAS SOUS 45918 HAS SOUPS 41585 WITH SCORE 41644.203
AT ITER 4062 NEW BEST:: SOT 199122 SOS 58834 HAS SOPS 46967 HAS SOUS 45862 HAS SOUPS 41529 WITH SCORE 41587.834
AT ITER 4070 NEW BEST:: SOT 199119 SOS 58828 HAS SOPS 46961 HAS SOUS 45856 HAS SOUPS 41523 WITH SCORE 41581.828
AT ITER 4077 NEW BEST:: SOT 199116 SOS 58822 HAS SOPS 46955 HAS SOUS 45850 HAS SOUPS 41517 WITH SCORE 41575.822
AT ITER 4098 NEW BEST:: SOT 199074 SOS 58783 HAS SOPS 46916 HAS SOUS 45812 HAS SOUPS 41479 WITH SCORE 41537.783
AT ITER 4104 NEW BEST:: SOT 199062 SOS 58759 HAS SOPS 46892 HAS SOUS 45788 HAS SOUPS 41455 WITH SCORE 41513.759
AT ITER 4106 NEW BEST:: SOT 199054 SOS 58743 HAS SOPS 46884 HAS SOUS 45780 HAS SOUPS 41447 WITH SCORE 41505.743
AT ITER 4117 NEW BEST:: SOT 199045 SOS 58753 HAS SOPS 46894 HAS SOUS 45778 HAS SOUPS 41445 WITH SCORE 41503.753
AT ITER 4124 NEW BEST:: SOT 199016 SOS 58695 HAS SOPS 46836 HAS SOUS 45720 HAS SOUPS 41387 WITH SCORE 41445.695
AT ITER 4130 NEW BEST:: SOT 199009 SOS 58681 HAS SOPS 46822 HAS SOUS 45706 HAS SOUPS 41373 WITH SCORE 41431.681
AT ITER 4139 NEW BEST:: SOT 199032 SOS 58608 HAS SOPS 46845 HAS SOUS 45688 HAS SOUPS 41371 WITH SCORE 41429.608
AT ITER 4189 NEW BEST:: SOT 198978 SOS 58464 HAS SOPS 46793 HAS SOUS 45573 HAS SOUPS 41319 WITH SCORE 41377.464
AT ITER 4190 NEW BEST:: SOT 198962 SOS 58452 HAS SOPS 46781 HAS SOUS 45561 HAS SOUPS 41307 WITH SCORE 41365.452
AT ITER 4192 NEW BEST:: SOT 198962 SOS 58418 HAS SOPS 46747 HAS SOUS 45527 HAS SOUPS 41273 WITH SCORE 41331.418
AT ITER 4203 NEW BEST:: SOT 198698 SOS 59721 HAS SOPS 46551 HAS SOUS 45693 HAS SOUPS 41242 WITH SCORE 41301.721
AT ITER 4222 NEW BEST:: SOT 198691 SOS 59709 HAS SOPS 46537 HAS SOUS 45679 HAS SOUPS 41228 WITH SCORE 41287.709
AT ITER 4232 NEW BEST:: SOT 198743 SOS 59627 HAS SOPS 46423 HAS SOUS 45646 HAS SOUPS 41195 WITH SCORE 41254.627
AT ITER 4236 NEW BEST:: SOT 198689 SOS 59514 HAS SOPS 46310 HAS SOUS 45464 HAS SOUPS 41013 WITH SCORE 41072.514
AT ITER 4298 NEW BEST:: SOT 198689 SOS 59514 HAS SOPS 46308 HAS SOUS 45462 HAS SOUPS 41011 WITH SCORE 41070.514
AT ITER 4304 NEW BEST:: SOT 198669 SOS 59262 HAS SOPS 46056 HAS SOUS 45410 HAS SOUPS 40959 WITH SCORE 41018.262
AT ITER 4310 NEW BEST:: SOT 198667 SOS 59258 HAS SOPS 46052 HAS SOUS 45406 HAS SOUPS 40955 WITH SCORE 41014.258
AT ITER 4319 NEW BEST:: SOT 198670 SOS 59261 HAS SOPS 46055 HAS SOUS 45385 HAS SOUPS 40934 WITH SCORE 40993.261
AT ITER 4342 NEW BEST:: SOT 198654 SOS 59261 HAS SOPS 46039 HAS SOUS 45385 HAS SOUPS 40918 WITH SCORE 40977.261
AT ITER 4355 NEW BEST:: SOT 198653 SOS 59259 HAS SOPS 46037 HAS SOUS 45383 HAS SOUPS 40916 WITH SCORE 40975.259
AT ITER 4359 NEW BEST:: SOT 198646 SOS 59245 HAS SOPS 46023 HAS SOUS 45369 HAS SOUPS 40902 WITH SCORE 40961.245
AT ITER 4385 NEW BEST:: SOT 198642 SOS 59237 HAS SOPS 46015 HAS SOUS 45361 HAS SOUPS 40894 WITH SCORE 40953.237
AT ITER 4389 NEW BEST:: SOT 198612 SOS 59195 HAS SOPS 45955 HAS SOUS 45301 HAS SOUPS 40834 WITH SCORE 40893.195
AT ITER 4394 NEW BEST:: SOT 198618 SOS 59194 HAS SOPS 45954 HAS SOUS 45300 HAS SOUPS 40833 WITH SCORE 40892.194
AT ITER 4415 NEW BEST:: SOT 198560 SOS 59078 HAS SOPS 45838 HAS SOUS 45184 HAS SOUPS 40717 WITH SCORE 40776.078
AT ITER 4446 NEW BEST:: SOT 198515 SOS 58949 HAS SOPS 45790 HAS SOUS 45136 HAS SOUPS 40669 WITH SCORE 40727.949
AT ITER 4458 NEW BEST:: SOT 198509 SOS 58937 HAS SOPS 45778 HAS SOUS 45124 HAS SOUPS 40657 WITH SCORE 40715.937
AT ITER 4460 NEW BEST:: SOT 198500 SOS 58919 HAS SOPS 45760 HAS SOUS 45106 HAS SOUPS 40639 WITH SCORE 40697.919
AT ITER 4462 NEW BEST:: SOT 198496 SOS 58911 HAS SOPS 45752 HAS SOUS 45098 HAS SOUPS 40631 WITH SCORE 40689.911
AT ITER 4463 NEW BEST:: SOT 198486 SOS 58901 HAS SOPS 45742 HAS SOUS 45088 HAS SOUPS 40621 WITH SCORE 40679.901
AT ITER 4469 NEW BEST:: SOT 198477 SOS 58892 HAS SOPS 45724 HAS SOUS 45070 HAS SOUPS 40603 WITH SCORE 40661.892
AT ITER 4486 NEW BEST:: SOT 198477 SOS 58864 HAS SOPS 45696 HAS SOUS 45070 HAS SOUPS 40603 WITH SCORE 40661.864
AT ITER 4487 NEW BEST:: SOT 198458 SOS 58753 HAS SOPS 45585 HAS SOUS 44959 HAS SOUPS 40492 WITH SCORE 40550.753
AT ITER 4569 NEW BEST:: SOT 198450 SOS 58742 HAS SOPS 45572 HAS SOUS 44949 HAS SOUPS 40479 WITH SCORE 40537.742
AT ITER 4587 NEW BEST:: SOT 198411 SOS 58676 HAS SOPS 45533 HAS SOUS 44910 HAS SOUPS 40440 WITH SCORE 40498.676
AT ITER 4603 NEW BEST:: SOT 198401 SOS 58696 HAS SOPS 45533 HAS SOUS 44905 HAS SOUPS 40430 WITH SCORE 40488.696
AT ITER 4611 NEW BEST:: SOT 198397 SOS 58688 HAS SOPS 45525 HAS SOUS 44897 HAS SOUPS 40422 WITH SCORE 40480.688
AT ITER 4612 NEW BEST:: SOT 198402 SOS 58634 HAS SOPS 45503 HAS SOUS 44799 HAS SOUPS 40336 WITH SCORE 40394.634
AT ITER 4616 NEW BEST:: SOT 198401 SOS 58632 HAS SOPS 45501 HAS SOUS 44797 HAS SOUPS 40334 WITH SCORE 40392.632
AT ITER 4623 NEW BEST:: SOT 198386 SOS 58602 HAS SOPS 45471 HAS SOUS 44767 HAS SOUPS 40304 WITH SCORE 40362.602
AT ITER 4646 NEW BEST:: SOT 198386 SOS 58595 HAS SOPS 45464 HAS SOUS 44767 HAS SOUPS 40304 WITH SCORE 40362.595
AT ITER 4664 NEW BEST:: SOT 198321 SOS 58551 HAS SOPS 45420 HAS SOUS 44723 HAS SOUPS 40260 WITH SCORE 40318.551
AT ITER 4677 NEW BEST:: SOT 198270 SOS 58449 HAS SOPS 45318 HAS SOUS 44621 HAS SOUPS 40158 WITH SCORE 40216.449
AT ITER 4681 NEW BEST:: SOT 198072 SOS 58164 HAS SOPS 45120 HAS SOUS 44423 HAS SOUPS 39960 WITH SCORE 40018.164
AT ITER 4686 NEW BEST:: SOT 198059 SOS 58179 HAS SOPS 45094 HAS SOUS 44397 HAS SOUPS 39934 WITH SCORE 39992.179
AT ITER 4692 NEW BEST:: SOT 198050 SOS 58109 HAS SOPS 45076 HAS SOUS 44379 HAS SOUPS 39916 WITH SCORE 39974.109
AT ITER 4699 NEW BEST:: SOT 197991 SOS 57901 HAS SOPS 44868 HAS SOUS 44171 HAS SOUPS 39708 WITH SCORE 39765.901
AT ITER 4706 NEW BEST:: SOT 197986 SOS 57891 HAS SOPS 44858 HAS SOUS 44161 HAS SOUPS 39698 WITH SCORE 39755.891
AT ITER 4748 NEW BEST:: SOT 198023 SOS 57927 HAS SOPS 44847 HAS SOUS 44150 HAS SOUPS 39687 WITH SCORE 39744.927
AT ITER 4784 NEW BEST:: SOT 198012 SOS 57945 HAS SOPS 44845 HAS SOUS 44148 HAS SOUPS 39685 WITH SCORE 39742.945
AT ITER 4785 NEW BEST:: SOT 198014 SOS 57947 HAS SOPS 44836 HAS SOUS 44130 HAS SOUPS 39667 WITH SCORE 39724.947
AT ITER 4794 NEW BEST:: SOT 198013 SOS 57945 HAS SOPS 44834 HAS SOUS 44128 HAS SOUPS 39665 WITH SCORE 39722.945
AT ITER 4801 NEW BEST:: SOT 197784 SOS 57716 HAS SOPS 44700 HAS SOUS 43931 HAS SOUPS 39531 WITH SCORE 39588.716
AT ITER 4811 NEW BEST:: SOT 197649 SOS 57497 HAS SOPS 44528 HAS SOUS 43759 HAS SOUPS 39359 WITH SCORE 39416.497
AT ITER 4884 NEW BEST:: SOT 197625 SOS 57449 HAS SOPS 44480 HAS SOUS 43711 HAS SOUPS 39311 WITH SCORE 39368.449
AT ITER 4891 NEW BEST:: SOT 197608 SOS 57415 HAS SOPS 44446 HAS SOUS 43677 HAS SOUPS 39277 WITH SCORE 39334.415
AT ITER 4905 NEW BEST:: SOT 197581 SOS 57350 HAS SOPS 44381 HAS SOUS 43623 HAS SOUPS 39223 WITH SCORE 39280.35
AT ITER 4907 NEW BEST:: SOT 197610 SOS 57924 HAS SOPS 44861 HAS SOUS 43606 HAS SOUPS 39206 WITH SCORE 39263.924
AT ITER 4929 NEW BEST:: SOT 197607 SOS 57918 HAS SOPS 44855 HAS SOUS 43600 HAS SOUPS 39200 WITH SCORE 39257.918
AT ITER 4936 NEW BEST:: SOT 197583 SOS 57906 HAS SOPS 44843 HAS SOUS 43588 HAS SOUPS 39188 WITH SCORE 39245.906
AT ITER 4940 NEW BEST:: SOT 197570 SOS 57880 HAS SOPS 44817 HAS SOUS 43562 HAS SOUPS 39162 WITH SCORE 39219.88
AT ITER 4984 NEW BEST:: SOT 197570 SOS 57871 HAS SOPS 44805 HAS SOUS 43559 HAS SOUPS 39159 WITH SCORE 39216.871
AT ITER 4992 NEW BEST:: SOT 197567 SOS 57865 HAS SOPS 44799 HAS SOUS 43553 HAS SOUPS 39153 WITH SCORE 39210.865
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Peterson-PT-4-CTLCardinality-00 (EX( (EU( potential( ( 3 ) <= (tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472)) ),potential( (tk(P209) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237)) <= (tk(P294) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P344) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) ) ))))
PROPERTY: Peterson-PT-4-CTLCardinality-01 (EU( (AX( potential( ( 3 ) <= (tk(P209) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237)) ))),(EG( potential( ( 2 ) <= (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) ))) ))
PROPERTY: Peterson-PT-4-CTLCardinality-02 ( ( potential( (tk(P95) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P123) + tk(P124) + tk(P125)) <= (tk(P448) + tk(P449) + tk(P450) + tk(P451) + tk(P452) + tk(P453) + tk(P454) + tk(P455) + tk(P456) + tk(P457) + tk(P458) + tk(P459) + tk(P460) + tk(P461) + tk(P462) + tk(P463) + tk(P464) + tk(P465) + tk(P466) + tk(P467)) ) & potential( ( 1 ) <= (tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P342) + tk(P343) + tk(P345) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413) + tk(P422) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445)) ) ) | (! (AG( ( potential( ( 1 ) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) ) & potential( (tk(P294) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P344) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) ) )))) )
PROPERTY: Peterson-PT-4-CTLCardinality-03 (EU( ( (! potential( ( 3 ) <= (tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P342) + tk(P343) + tk(P345) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413) + tk(P422) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445)) )) | potential( (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) <= (tk(P95) + tk(P102) + tk(P103) + tk(P104) + tk(P105) + tk(P106) + tk(P107) + tk(P108) + tk(P109) + tk(P110) + tk(P111) + tk(P112) + tk(P113) + tk(P114) + tk(P115) + tk(P116) + tk(P117) + tk(P123) + tk(P124) + tk(P125)) ) ),(EG( potential( ( 2 ) <= (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) ))) ))
PROPERTY: Peterson-PT-4-CTLCardinality-04 ( potential( (tk(P222) + tk(P223) + tk(P224) + tk(P225) + tk(P226) + tk(P227) + tk(P228) + tk(P238) + tk(P239) + tk(P240) + tk(P241) + tk(P242) + tk(P243) + tk(P244) + tk(P245) + tk(P246) + tk(P247) + tk(P248) + tk(P249) + tk(P250) + tk(P251) + tk(P252) + tk(P253) + tk(P254) + tk(P255) + tk(P256) + tk(P257) + tk(P258) + tk(P259) + tk(P260) + tk(P261) + tk(P262) + tk(P263) + tk(P264) + tk(P265) + tk(P266) + tk(P267) + tk(P268) + tk(P269) + tk(P270) + tk(P271) + tk(P272) + tk(P273) + tk(P274) + tk(P275) + tk(P276) + tk(P277) + tk(P278) + tk(P279) + tk(P280) + tk(P281) + tk(P282) + tk(P283) + tk(P284) + tk(P285) + tk(P286) + tk(P287) + tk(P288) + tk(P289) + tk(P290) + tk(P291) + tk(P292) + tk(P293) + tk(P295) + tk(P302) + tk(P303) + tk(P304) + tk(P305) + tk(P306) + tk(P307) + tk(P308) + tk(P309) + tk(P310) + tk(P311) + tk(P312) + tk(P313) + tk(P314) + tk(P315) + tk(P316) + tk(P317)) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) ) & ( (EX( ( potential( (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) <= (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) ) | potential( ( 3 ) <= (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) ) ))) & (EF(( potential( ( 1 ) <= (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) ) & potential( ( 1 ) <= (tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) ) ))) ) )
PROPERTY: Peterson-PT-4-CTLCardinality-05 (! (AG( (EF(potential( (tk(P209) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237)) <= (tk(P118) + tk(P119) + tk(P120) + tk(P121) + tk(P122) + tk(P126) + tk(P127) + tk(P128) + tk(P129) + tk(P130) + tk(P131) + tk(P132) + tk(P133) + tk(P134) + tk(P135) + tk(P136) + tk(P137) + tk(P138) + tk(P139) + tk(P140) + tk(P141) + tk(P142) + tk(P143) + tk(P144) + tk(P145) + tk(P146) + tk(P147) + tk(P148) + tk(P149) + tk(P150) + tk(P151) + tk(P152) + tk(P153) + tk(P154) + tk(P155) + tk(P156) + tk(P157) + tk(P158) + tk(P159) + tk(P160) + tk(P161) + tk(P162) + tk(P163) + tk(P164) + tk(P165) + tk(P166) + tk(P167) + tk(P168) + tk(P169) + tk(P170) + tk(P171) + tk(P172) + tk(P173) + tk(P174) + tk(P175) + tk(P176) + tk(P177) + tk(P178) + tk(P179) + tk(P180) + tk(P181) + tk(P182) + tk(P183) + tk(P184) + tk(P185) + tk(P186) + tk(P187) + tk(P188) + tk(P189) + tk(P190) + tk(P191) + tk(P192) + tk(P193) + tk(P194) + tk(P195) + tk(P196) + tk(P197) + tk(P198) + tk(P199) + tk(P200) + tk(P201) + tk(P202) + tk(P203) + tk(P204) + tk(P205) + tk(P206) + tk(P207) + tk(P208) + tk(P210) + tk(P211) + tk(P212) + tk(P213) + tk(P214) + tk(P215) + tk(P216) + tk(P217) + tk(P218) + tk(P219) + tk(P220) + tk(P221)) ))))))
PROPERTY: Peterson-PT-4-CTLCardinality-06 (EF((! (AG( potential( (tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472)) <= (tk(P209) + tk(P229) + tk(P230) + tk(P231) + tk(P232) + tk(P233) + tk(P234) + tk(P235) + tk(P236) + tk(P237)) ))))))
PROPERTY: Peterson-PT-4-CTLCardinality-07 ( ( ( (EG( potential( (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) <= (tk(P318) + tk(P319) + tk(P320) + tk(P321) + tk(P322) + tk(P323) + tk(P324) + tk(P325) + tk(P326) + tk(P327) + tk(P328) + tk(P329) + tk(P330) + tk(P331) + tk(P332) + tk(P333) + tk(P342) + tk(P343) + tk(P345) + tk(P350) + tk(P351) + tk(P352) + tk(P353) + tk(P354) + tk(P355) + tk(P356) + tk(P357) + tk(P358) + tk(P359) + tk(P360) + tk(P361) + tk(P362) + tk(P363) + tk(P364) + tk(P365) + tk(P366) + tk(P367) + tk(P368) + tk(P369) + tk(P370) + tk(P371) + tk(P372) + tk(P373) + tk(P374) + tk(P375) + tk(P376) + tk(P377) + tk(P378) + tk(P379) + tk(P380) + tk(P381) + tk(P382) + tk(P383) + tk(P384) + tk(P385) + tk(P386) + tk(P387) + tk(P388) + tk(P389) + tk(P390) + tk(P391) + tk(P392) + tk(P393) + tk(P394) + tk(P395) + tk(P396) + tk(P397) + tk(P398) + tk(P399) + tk(P400) + tk(P401) + tk(P402) + tk(P403) + tk(P404) + tk(P405) + tk(P406) + tk(P407) + tk(P408) + tk(P409) + tk(P410) + tk(P411) + tk(P412) + tk(P413) + tk(P422) + tk(P430) + tk(P431) + tk(P432) + tk(P433) + tk(P434) + tk(P435) + tk(P436) + tk(P437) + tk(P438) + tk(P439) + tk(P440) + tk(P441) + tk(P442) + tk(P443) + tk(P444) + tk(P445)) ))) & ( (! potential( ( 3 ) <= (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) )) | potential( ( 2 ) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) ) ) ) | ( (AG( potential( ( 2 ) <= (tk(P294) + tk(P296) + tk(P297) + tk(P298) + tk(P299) + tk(P300) + tk(P301) + tk(P334) + tk(P335) + tk(P336) + tk(P337) + tk(P338) + tk(P339) + tk(P340) + tk(P341) + tk(P344) + tk(P346) + tk(P347) + tk(P348) + tk(P349)) ))) | (AG( potential( (tk(P446) + tk(P447) + tk(P478) + tk(P479) + tk(P480)) <= (tk(P468) + tk(P469) + tk(P470) + tk(P471) + tk(P472)) ))) ) ) & (AX( (AG( potential( ( 1 ) <= (tk(P414) + tk(P415) + tk(P416) + tk(P417) + tk(P418) + tk(P419) + tk(P420) + tk(P421) + tk(P423) + tk(P424) + tk(P425) + tk(P426) + tk(P427) + tk(P428) + tk(P429) + tk(P473) + tk(P474) + tk(P475) + tk(P476) + tk(P477)) ))))) )
PROPERTY: Peterson-PT-4-CTLCardinality-08 (EU( ( ( potential( (tk(P411)) <= (tk(P143)) ) | potential( (tk(P343)) <= (tk(P213)) ) ) & (! potential( ( 3 ) <= (tk(P24)) )) ),(EF(potential( ( 3 ) <= (tk(P324)) ))) ))
PROPERTY: Peterson-PT-4-CTLCardinality-09 (AG( ( (EF(potential( ( 1 ) <= (tk(P231)) ))) | (AX( potential( ( 3 ) <= (tk(P120)) ))) )))
PROPERTY: Peterson-PT-4-CTLCardinality-10 (EF((! potential( (tk(P54)) <= (tk(P122)) ))))
PROPERTY: Peterson-PT-4-CTLCardinality-11 (! (EU( ( potential( ( 2 ) <= (tk(P76)) ) | potential( (tk(P455)) <= (tk(P361)) ) ),( potential( ( 2 ) <= (tk(P208)) ) & potential( (tk(P30)) <= (tk(P426)) ) ) )))
PROPERTY: Peterson-PT-4-CTLCardinality-12 (EG( (EF(( potential( ( 2 ) <= (tk(P350)) ) | potential( ( 1 ) <= (tk(P38)) ) )))))
PROPERTY: Peterson-PT-4-CTLCardinality-13 ( (AG( (AG( potential( (tk(P390)) <= (tk(P148)) ))))) | potential( ( 3 ) <= (tk(P247)) ) )
PROPERTY: Peterson-PT-4-CTLCardinality-14 (EF(potential( ( 3 ) <= (tk(P430)) )))
PROPERTY: Peterson-PT-4-CTLCardinality-15 ( (AG( (AX( potential( (tk(P401)) <= (tk(P92)) ))))) & ( (EU( potential( ( 2 ) <= (tk(P219)) ),potential( (tk(P288)) <= (tk(P431)) ) )) | ( (EX( potential( (tk(P185)) <= (tk(P407)) ))) | potential( (tk(P227)) <= (tk(P387)) ) ) ) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

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