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.r190-csrt-159033383000603.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 Vasy2003-PT-none, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033383000603
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 392K
-rw-r--r-- 1 mcc users 3.7K Apr 12 20:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 20:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 23:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 15 10:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 15 10:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 22:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 207K Mar 24 05:38 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 Vasy2003-PT-none-CTLCardinality-00
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-01
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-02
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-03
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-04
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-05
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-06
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-07
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-08
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-09
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-10
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-11
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-12
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-13
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-14
FORMULA_NAME Vasy2003-PT-none-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590409166509

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Vasy2003 (PT), instance none
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: 485 places, 776 transitions, 2809 arcs.
AT ITER 0 NEW BEST:: SOT 312987 SOS 279620 HAS SOPS 279598 HAS SOUS 152075 HAS SOUPS 152053 WITH SCORE 152332.62
AT ITER 1 NEW BEST:: SOT 312599 SOS 269094 HAS SOPS 269072 HAS SOUS 151687 HAS SOUPS 151665 WITH SCORE 151934.094
AT ITER 7 NEW BEST:: SOT 311034 SOS 268307 HAS SOPS 267643 HAS SOUS 151429 HAS SOUPS 151245 WITH SCORE 151513.307
AT ITER 10 NEW BEST:: SOT 310636 SOS 267568 HAS SOPS 266904 HAS SOUS 150877 HAS SOUPS 150693 WITH SCORE 150960.568
AT ITER 16 NEW BEST:: SOT 310657 SOS 267439 HAS SOPS 266775 HAS SOUS 150803 HAS SOUPS 150619 WITH SCORE 150886.439
AT ITER 18 NEW BEST:: SOT 310492 SOS 267100 HAS SOPS 266436 HAS SOUS 150464 HAS SOUPS 150280 WITH SCORE 150547.1
AT ITER 19 NEW BEST:: SOT 310348 SOS 266956 HAS SOPS 266292 HAS SOUS 150370 HAS SOUPS 150186 WITH SCORE 150452.956
AT ITER 21 NEW BEST:: SOT 310350 SOS 266624 HAS SOPS 265946 HAS SOUS 150024 HAS SOUPS 149840 WITH SCORE 150106.624
AT ITER 22 NEW BEST:: SOT 310350 SOS 263824 HAS SOPS 263146 HAS SOUS 150024 HAS SOUPS 149840 WITH SCORE 150103.824
AT ITER 27 NEW BEST:: SOT 310250 SOS 263724 HAS SOPS 263046 HAS SOUS 150002 HAS SOUPS 149818 WITH SCORE 150081.724
AT ITER 28 NEW BEST:: SOT 310110 SOS 263584 HAS SOPS 262906 HAS SOUS 149930 HAS SOUPS 149746 WITH SCORE 150009.584
AT ITER 35 NEW BEST:: SOT 310056 SOS 263529 HAS SOPS 262851 HAS SOUS 149928 HAS SOUPS 149744 WITH SCORE 150007.529
AT ITER 39 NEW BEST:: SOT 309967 SOS 263351 HAS SOPS 262673 HAS SOUS 149839 HAS SOUPS 149655 WITH SCORE 149918.351
AT ITER 40 NEW BEST:: SOT 309967 SOS 263268 HAS SOPS 262590 HAS SOUS 149788 HAS SOUPS 149604 WITH SCORE 149867.268
AT ITER 41 NEW BEST:: SOT 309829 SOS 262854 HAS SOPS 262176 HAS SOUS 149648 HAS SOUPS 149464 WITH SCORE 149726.854
AT ITER 52 NEW BEST:: SOT 309740 SOS 262676 HAS SOPS 261998 HAS SOUS 149648 HAS SOUPS 149464 WITH SCORE 149726.676
AT ITER 55 NEW BEST:: SOT 292037 SOS 243798 HAS SOPS 242777 HAS SOUS 131174 HAS SOUPS 130817 WITH SCORE 131060.798
AT ITER 58 NEW BEST:: SOT 291777 SOS 243407 HAS SOPS 242386 HAS SOUS 130912 HAS SOUPS 130555 WITH SCORE 130798.407
AT ITER 60 NEW BEST:: SOT 291797 SOS 243219 HAS SOPS 241672 HAS SOUS 130928 HAS SOUPS 130239 WITH SCORE 130482.219
AT ITER 63 NEW BEST:: SOT 264414 SOS 216865 HAS SOPS 214287 HAS SOUS 109177 HAS SOUPS 108183 WITH SCORE 108399.865
AT ITER 66 NEW BEST:: SOT 264215 SOS 216644 HAS SOPS 214066 HAS SOUS 109175 HAS SOUPS 108181 WITH SCORE 108397.644
AT ITER 70 NEW BEST:: SOT 263734 SOS 216163 HAS SOPS 213585 HAS SOUS 108907 HAS SOUPS 107913 WITH SCORE 108129.163
AT ITER 72 NEW BEST:: SOT 263698 SOS 216091 HAS SOPS 213513 HAS SOUS 108871 HAS SOUPS 107877 WITH SCORE 108093.091
AT ITER 73 NEW BEST:: SOT 263694 SOS 216086 HAS SOPS 213508 HAS SOUS 108866 HAS SOUPS 107872 WITH SCORE 108088.086
AT ITER 85 NEW BEST:: SOT 263671 SOS 216028 HAS SOPS 213423 HAS SOUS 108855 HAS SOUPS 107834 WITH SCORE 108050.028
AT ITER 97 NEW BEST:: SOT 263790 SOS 216147 HAS SOPS 213542 HAS SOUS 108854 HAS SOUPS 107833 WITH SCORE 108049.147
AT ITER 99 NEW BEST:: SOT 263694 SOS 216050 HAS SOPS 213445 HAS SOUS 108851 HAS SOUPS 107830 WITH SCORE 108046.05
AT ITER 100 NEW BEST:: SOT 247767 SOS 200267 HAS SOPS 197518 HAS SOUS 93206 HAS SOUPS 92041 WITH SCORE 92241.267
AT ITER 102 NEW BEST:: SOT 247762 SOS 199983 HAS SOPS 197234 HAS SOUS 93201 HAS SOUPS 92036 WITH SCORE 92235.983
AT ITER 107 NEW BEST:: SOT 247828 SOS 197482 HAS SOPS 194733 HAS SOUS 93096 HAS SOUPS 91931 WITH SCORE 92128.482
AT ITER 111 NEW BEST:: SOT 247810 SOS 197455 HAS SOPS 194715 HAS SOUS 93078 HAS SOUPS 91922 WITH SCORE 92119.455
AT ITER 113 NEW BEST:: SOT 247810 SOS 197455 HAS SOPS 194715 HAS SOUS 93043 HAS SOUPS 91887 WITH SCORE 92084.455
AT ITER 114 NEW BEST:: SOT 245959 SOS 196958 HAS SOPS 192922 HAS SOUS 92698 HAS SOUPS 91179 WITH SCORE 91375.958
AT ITER 123 NEW BEST:: SOT 245870 SOS 195911 HAS SOPS 191875 HAS SOUS 92621 HAS SOUPS 91102 WITH SCORE 91297.911
AT ITER 125 NEW BEST:: SOT 245571 SOS 195436 HAS SOPS 191400 HAS SOUS 92146 HAS SOUPS 90627 WITH SCORE 90822.436
AT ITER 135 NEW BEST:: SOT 245504 SOS 195369 HAS SOPS 191275 HAS SOUS 92079 HAS SOUPS 90502 WITH SCORE 90697.369
AT ITER 144 NEW BEST:: SOT 245436 SOS 195301 HAS SOPS 191207 HAS SOUS 92079 HAS SOUPS 90502 WITH SCORE 90697.301
AT ITER 148 NEW BEST:: SOT 245468 SOS 195316 HAS SOPS 191222 HAS SOUS 91970 HAS SOUPS 90393 WITH SCORE 90588.316
AT ITER 163 NEW BEST:: SOT 245120 SOS 194784 HAS SOPS 190690 HAS SOUS 91438 HAS SOUPS 89861 WITH SCORE 90055.784
AT ITER 166 NEW BEST:: SOT 245031 SOS 194695 HAS SOPS 190601 HAS SOUS 91003 HAS SOUPS 89426 WITH SCORE 89620.695
AT ITER 175 NEW BEST:: SOT 245031 SOS 194673 HAS SOPS 190579 HAS SOUS 90980 HAS SOUPS 89403 WITH SCORE 89597.673
AT ITER 184 NEW BEST:: SOT 244829 SOS 194471 HAS SOPS 190377 HAS SOUS 90877 HAS SOUPS 89300 WITH SCORE 89494.471
AT ITER 186 NEW BEST:: SOT 244822 SOS 194608 HAS SOPS 190514 HAS SOUS 90738 HAS SOUPS 89161 WITH SCORE 89355.608
AT ITER 192 NEW BEST:: SOT 244761 SOS 194516 HAS SOPS 190422 HAS SOUS 90616 HAS SOUPS 89039 WITH SCORE 89233.516
AT ITER 194 NEW BEST:: SOT 244745 SOS 194500 HAS SOPS 190406 HAS SOUS 90600 HAS SOUPS 89023 WITH SCORE 89217.5
AT ITER 197 NEW BEST:: SOT 244564 SOS 194319 HAS SOPS 190225 HAS SOUS 90419 HAS SOUPS 88842 WITH SCORE 89036.319
AT ITER 204 NEW BEST:: SOT 244564 SOS 193709 HAS SOPS 189615 HAS SOUS 90418 HAS SOUPS 88841 WITH SCORE 89034.709
AT ITER 212 NEW BEST:: SOT 244548 SOS 193708 HAS SOPS 189614 HAS SOUS 90415 HAS SOUPS 88838 WITH SCORE 89031.708
AT ITER 214 NEW BEST:: SOT 244543 SOS 193703 HAS SOPS 189609 HAS SOUS 90410 HAS SOUPS 88833 WITH SCORE 89026.703
AT ITER 215 NEW BEST:: SOT 244071 SOS 192277 HAS SOPS 188183 HAS SOUS 89783 HAS SOUPS 88206 WITH SCORE 88398.277
AT ITER 217 NEW BEST:: SOT 244042 SOS 192219 HAS SOPS 188094 HAS SOUS 89722 HAS SOUPS 88145 WITH SCORE 88337.219
AT ITER 218 NEW BEST:: SOT 244042 SOS 192295 HAS SOPS 188170 HAS SOUS 89652 HAS SOUPS 88075 WITH SCORE 88267.295
AT ITER 219 NEW BEST:: SOT 244031 SOS 192284 HAS SOPS 188159 HAS SOUS 89630 HAS SOUPS 88053 WITH SCORE 88245.284
AT ITER 222 NEW BEST:: SOT 244021 SOS 190484 HAS SOPS 186359 HAS SOUS 89610 HAS SOUPS 88033 WITH SCORE 88223.484
AT ITER 225 NEW BEST:: SOT 243860 SOS 190327 HAS SOPS 186041 HAS SOUS 89292 HAS SOUPS 87715 WITH SCORE 87905.327
AT ITER 230 NEW BEST:: SOT 244038 SOS 190346 HAS SOPS 185863 HAS SOUS 89278 HAS SOUPS 87701 WITH SCORE 87891.346
AT ITER 238 NEW BEST:: SOT 243873 SOS 189661 HAS SOPS 185178 HAS SOUS 88989 HAS SOUPS 87412 WITH SCORE 87601.661
AT ITER 243 NEW BEST:: SOT 243864 SOS 189634 HAS SOPS 185151 HAS SOUS 88953 HAS SOUPS 87376 WITH SCORE 87565.634
AT ITER 245 NEW BEST:: SOT 243499 SOS 189059 HAS SOPS 184576 HAS SOUS 88449 HAS SOUPS 86872 WITH SCORE 87061.059
AT ITER 250 NEW BEST:: SOT 243314 SOS 188825 HAS SOPS 184342 HAS SOUS 88312 HAS SOUPS 86735 WITH SCORE 86923.825
AT ITER 252 NEW BEST:: SOT 243142 SOS 189329 HAS SOPS 183945 HAS SOUS 88428 HAS SOUPS 86493 WITH SCORE 86682.329
AT ITER 253 NEW BEST:: SOT 243142 SOS 189290 HAS SOPS 183906 HAS SOUS 88389 HAS SOUPS 86454 WITH SCORE 86643.29
AT ITER 256 NEW BEST:: SOT 243164 SOS 189312 HAS SOPS 183928 HAS SOUS 88369 HAS SOUPS 86434 WITH SCORE 86623.312
AT ITER 257 NEW BEST:: SOT 243156 SOS 189304 HAS SOPS 183920 HAS SOUS 88361 HAS SOUPS 86426 WITH SCORE 86615.304
AT ITER 262 NEW BEST:: SOT 243104 SOS 189252 HAS SOPS 183868 HAS SOUS 88351 HAS SOUPS 86416 WITH SCORE 86605.252
AT ITER 263 NEW BEST:: SOT 243104 SOS 189121 HAS SOPS 183737 HAS SOUS 88351 HAS SOUPS 86416 WITH SCORE 86605.121
AT ITER 265 NEW BEST:: SOT 242851 SOS 187567 HAS SOPS 182183 HAS SOUS 87830 HAS SOUPS 85895 WITH SCORE 86082.567
AT ITER 266 NEW BEST:: SOT 242791 SOS 187697 HAS SOPS 182313 HAS SOUS 87478 HAS SOUPS 85543 WITH SCORE 85730.697
AT ITER 268 NEW BEST:: SOT 242412 SOS 187318 HAS SOPS 181934 HAS SOUS 87478 HAS SOUPS 85543 WITH SCORE 85730.318
AT ITER 271 NEW BEST:: SOT 242411 SOS 187317 HAS SOPS 181933 HAS SOUS 87452 HAS SOUPS 85517 WITH SCORE 85704.317
AT ITER 272 NEW BEST:: SOT 242319 SOS 187225 HAS SOPS 181841 HAS SOUS 87239 HAS SOUPS 85304 WITH SCORE 85491.225
AT ITER 285 NEW BEST:: SOT 242288 SOS 187163 HAS SOPS 181779 HAS SOUS 87239 HAS SOUPS 85304 WITH SCORE 85491.163
AT ITER 293 NEW BEST:: SOT 242165 SOS 186672 HAS SOPS 181288 HAS SOUS 87238 HAS SOUPS 85303 WITH SCORE 85489.672
AT ITER 297 NEW BEST:: SOT 242165 SOS 186665 HAS SOPS 181281 HAS SOUS 87238 HAS SOUPS 85303 WITH SCORE 85489.665
AT ITER 313 NEW BEST:: SOT 242163 SOS 186603 HAS SOPS 181219 HAS SOUS 87176 HAS SOUPS 85241 WITH SCORE 85427.603
AT ITER 315 NEW BEST:: SOT 242163 SOS 186522 HAS SOPS 181138 HAS SOUS 87174 HAS SOUPS 85239 WITH SCORE 85425.522
AT ITER 318 NEW BEST:: SOT 242316 SOS 186815 HAS SOPS 181431 HAS SOUS 87060 HAS SOUPS 85125 WITH SCORE 85311.815
AT ITER 325 NEW BEST:: SOT 242311 SOS 186810 HAS SOPS 181426 HAS SOUS 87055 HAS SOUPS 85120 WITH SCORE 85306.81
AT ITER 326 NEW BEST:: SOT 242266 SOS 186797 HAS SOPS 181358 HAS SOUS 87031 HAS SOUPS 85085 WITH SCORE 85271.797
AT ITER 327 NEW BEST:: SOT 241937 SOS 184754 HAS SOPS 179315 HAS SOUS 86676 HAS SOUPS 84730 WITH SCORE 84914.754
AT ITER 334 NEW BEST:: SOT 241966 SOS 184783 HAS SOPS 179344 HAS SOUS 86538 HAS SOUPS 84592 WITH SCORE 84776.783
AT ITER 344 NEW BEST:: SOT 241699 SOS 184516 HAS SOPS 179077 HAS SOUS 86088 HAS SOUPS 84142 WITH SCORE 84326.516
AT ITER 345 NEW BEST:: SOT 241506 SOS 184264 HAS SOPS 178825 HAS SOUS 85894 HAS SOUPS 83948 WITH SCORE 84132.264
AT ITER 353 NEW BEST:: SOT 241506 SOS 184132 HAS SOPS 178825 HAS SOUS 85762 HAS SOUPS 83882 WITH SCORE 84066.132
AT ITER 357 NEW BEST:: SOT 240839 SOS 183465 HAS SOPS 178158 HAS SOUS 85543 HAS SOUPS 83663 WITH SCORE 83846.465
AT ITER 358 NEW BEST:: SOT 240796 SOS 183422 HAS SOPS 178115 HAS SOUS 85543 HAS SOUPS 83663 WITH SCORE 83846.422
AT ITER 363 NEW BEST:: SOT 240751 SOS 183377 HAS SOPS 178070 HAS SOUS 85513 HAS SOUPS 83633 WITH SCORE 83816.377
AT ITER 364 NEW BEST:: SOT 240710 SOS 183312 HAS SOPS 178005 HAS SOUS 85456 HAS SOUPS 83576 WITH SCORE 83759.312
AT ITER 365 NEW BEST:: SOT 241056 SOS 184237 HAS SOPS 178284 HAS SOUS 85545 HAS SOUPS 83328 WITH SCORE 83512.237
AT ITER 370 NEW BEST:: SOT 241031 SOS 184237 HAS SOPS 178284 HAS SOUS 85495 HAS SOUPS 83278 WITH SCORE 83462.237
AT ITER 379 NEW BEST:: SOT 240937 SOS 184049 HAS SOPS 178096 HAS SOUS 85495 HAS SOUPS 83278 WITH SCORE 83462.049
AT ITER 386 NEW BEST:: SOT 240848 SOS 184093 HAS SOPS 178140 HAS SOUS 85377 HAS SOUPS 83160 WITH SCORE 83344.093
AT ITER 389 NEW BEST:: SOT 240708 SOS 177697 HAS SOPS 171744 HAS SOUS 84780 HAS SOUPS 82563 WITH SCORE 82740.697
AT ITER 399 NEW BEST:: SOT 238856 SOS 175845 HAS SOPS 169892 HAS SOUS 84394 HAS SOUPS 82177 WITH SCORE 82352.845
AT ITER 407 NEW BEST:: SOT 238856 SOS 175845 HAS SOPS 169892 HAS SOUS 84392 HAS SOUPS 82175 WITH SCORE 82350.845
AT ITER 410 NEW BEST:: SOT 238599 SOS 174877 HAS SOPS 168924 HAS SOUS 84080 HAS SOUPS 81863 WITH SCORE 82037.877
AT ITER 411 NEW BEST:: SOT 238552 SOS 174791 HAS SOPS 168876 HAS SOUS 84016 HAS SOUPS 81799 WITH SCORE 81973.791
AT ITER 443 NEW BEST:: SOT 238512 SOS 173453 HAS SOPS 167538 HAS SOUS 83916 HAS SOUPS 81699 WITH SCORE 81872.453
AT ITER 448 NEW BEST:: SOT 237374 SOS 172309 HAS SOPS 166394 HAS SOUS 83240 HAS SOUPS 81023 WITH SCORE 81195.309
AT ITER 454 NEW BEST:: SOT 236154 SOS 171379 HAS SOPS 165662 HAS SOUS 82264 HAS SOUPS 80268 WITH SCORE 80439.379
AT ITER 461 NEW BEST:: SOT 236292 SOS 171721 HAS SOPS 166004 HAS SOUS 82094 HAS SOUPS 80098 WITH SCORE 80269.721
AT ITER 462 NEW BEST:: SOT 235988 SOS 169757 HAS SOPS 164040 HAS SOUS 81790 HAS SOUPS 79794 WITH SCORE 79963.757
AT ITER 463 NEW BEST:: SOT 236095 SOS 169962 HAS SOPS 164245 HAS SOUS 81781 HAS SOUPS 79785 WITH SCORE 79954.962
AT ITER 468 NEW BEST:: SOT 236003 SOS 168988 HAS SOPS 163271 HAS SOUS 81767 HAS SOUPS 79771 WITH SCORE 79939.988
AT ITER 473 NEW BEST:: SOT 236005 SOS 168990 HAS SOPS 163273 HAS SOUS 81549 HAS SOUPS 79553 WITH SCORE 79721.99
AT ITER 478 NEW BEST:: SOT 235983 SOS 169086 HAS SOPS 163332 HAS SOUS 81559 HAS SOUPS 79529 WITH SCORE 79698.086
AT ITER 482 NEW BEST:: SOT 236043 SOS 169333 HAS SOPS 163579 HAS SOUS 81438 HAS SOUPS 79408 WITH SCORE 79577.333
AT ITER 486 NEW BEST:: SOT 235999 SOS 169179 HAS SOPS 163425 HAS SOUS 81372 HAS SOUPS 79342 WITH SCORE 79511.179
AT ITER 488 NEW BEST:: SOT 235807 SOS 168909 HAS SOPS 162479 HAS SOUS 80761 HAS SOUPS 78396 WITH SCORE 78564.909
AT ITER 490 NEW BEST:: SOT 235791 SOS 168935 HAS SOPS 162505 HAS SOUS 80745 HAS SOUPS 78380 WITH SCORE 78548.935
AT ITER 492 NEW BEST:: SOT 234757 SOS 169213 HAS SOPS 163271 HAS SOUS 80119 HAS SOUPS 78033 WITH SCORE 78202.213
AT ITER 498 NEW BEST:: SOT 234728 SOS 169065 HAS SOPS 163123 HAS SOUS 80054 HAS SOUPS 77968 WITH SCORE 78137.065
AT ITER 508 NEW BEST:: SOT 234286 SOS 168869 HAS SOPS 162984 HAS SOUS 78999 HAS SOUPS 76913 WITH SCORE 77081.869
AT ITER 514 NEW BEST:: SOT 234219 SOS 168735 HAS SOPS 162850 HAS SOUS 78865 HAS SOUPS 76779 WITH SCORE 76947.735
AT ITER 527 NEW BEST:: SOT 234210 SOS 168726 HAS SOPS 162841 HAS SOUS 78856 HAS SOUPS 76770 WITH SCORE 76938.726
AT ITER 534 NEW BEST:: SOT 234222 SOS 168738 HAS SOPS 162853 HAS SOUS 78841 HAS SOUPS 76755 WITH SCORE 76923.738
AT ITER 535 NEW BEST:: SOT 234108 SOS 168184 HAS SOPS 162399 HAS SOUS 78825 HAS SOUPS 76739 WITH SCORE 76907.184
AT ITER 538 NEW BEST:: SOT 234073 SOS 168149 HAS SOPS 162364 HAS SOUS 78755 HAS SOUPS 76669 WITH SCORE 76837.149
AT ITER 545 NEW BEST:: SOT 234105 SOS 168186 HAS SOPS 162401 HAS SOUS 78522 HAS SOUPS 76436 WITH SCORE 76604.186
AT ITER 573 NEW BEST:: SOT 234249 SOS 168293 HAS SOPS 162508 HAS SOUS 78422 HAS SOUPS 76336 WITH SCORE 76504.293
AT ITER 581 NEW BEST:: SOT 233734 SOS 167778 HAS SOPS 161993 HAS SOUS 78033 HAS SOUPS 75947 WITH SCORE 76114.778
AT ITER 583 NEW BEST:: SOT 233662 SOS 167706 HAS SOPS 161921 HAS SOUS 77961 HAS SOUPS 75875 WITH SCORE 76042.706
AT ITER 591 NEW BEST:: SOT 233650 SOS 167682 HAS SOPS 161897 HAS SOUS 77949 HAS SOUPS 75863 WITH SCORE 76030.682
AT ITER 597 NEW BEST:: SOT 230908 SOS 169080 HAS SOPS 163667 HAS SOUS 75549 HAS SOUPS 73463 WITH SCORE 73632.08
AT ITER 598 NEW BEST:: SOT 230869 SOS 169041 HAS SOPS 163628 HAS SOUS 75347 HAS SOUPS 73261 WITH SCORE 73430.041
AT ITER 605 NEW BEST:: SOT 230692 SOS 168864 HAS SOPS 163451 HAS SOUS 75283 HAS SOUPS 73197 WITH SCORE 73365.864
AT ITER 614 NEW BEST:: SOT 230686 SOS 168850 HAS SOPS 163437 HAS SOUS 75277 HAS SOUPS 73191 WITH SCORE 73359.85
AT ITER 617 NEW BEST:: SOT 230396 SOS 168172 HAS SOPS 162759 HAS SOUS 75059 HAS SOUPS 72973 WITH SCORE 73141.172
AT ITER 624 NEW BEST:: SOT 230155 SOS 168876 HAS SOPS 163463 HAS SOUS 74878 HAS SOUPS 72792 WITH SCORE 72960.876
AT ITER 629 NEW BEST:: SOT 229963 SOS 168684 HAS SOPS 163271 HAS SOUS 74686 HAS SOUPS 72600 WITH SCORE 72768.684
AT ITER 633 NEW BEST:: SOT 229970 SOS 168656 HAS SOPS 163243 HAS SOUS 74647 HAS SOUPS 72561 WITH SCORE 72729.656
AT ITER 634 NEW BEST:: SOT 229619 SOS 168142 HAS SOPS 162729 HAS SOUS 74639 HAS SOUPS 72553 WITH SCORE 72721.142
AT ITER 635 NEW BEST:: SOT 229358 SOS 168970 HAS SOPS 163126 HAS SOUS 74788 HAS SOUPS 72513 WITH SCORE 72681.97
AT ITER 636 NEW BEST:: SOT 229197 SOS 168760 HAS SOPS 162916 HAS SOUS 74492 HAS SOUPS 72217 WITH SCORE 72385.76
AT ITER 640 NEW BEST:: SOT 229197 SOS 168760 HAS SOPS 162916 HAS SOUS 74432 HAS SOUPS 72157 WITH SCORE 72325.76
AT ITER 642 NEW BEST:: SOT 229090 SOS 165111 HAS SOPS 159051 HAS SOUS 74108 HAS SOUPS 71833 WITH SCORE 71998.111
AT ITER 643 NEW BEST:: SOT 229118 SOS 165139 HAS SOPS 159079 HAS SOUS 74049 HAS SOUPS 71774 WITH SCORE 71939.139
AT ITER 644 NEW BEST:: SOT 229095 SOS 165093 HAS SOPS 159033 HAS SOUS 74026 HAS SOUPS 71751 WITH SCORE 71916.093
AT ITER 646 NEW BEST:: SOT 229044 SOS 164215 HAS SOPS 158155 HAS SOUS 73729 HAS SOUPS 71454 WITH SCORE 71618.215
AT ITER 647 NEW BEST:: SOT 228776 SOS 163865 HAS SOPS 157805 HAS SOUS 73584 HAS SOUPS 71309 WITH SCORE 71472.865
AT ITER 667 NEW BEST:: SOT 228881 SOS 163127 HAS SOPS 157067 HAS SOUS 73572 HAS SOUPS 71297 WITH SCORE 71460.127
AT ITER 668 NEW BEST:: SOT 229051 SOS 163299 HAS SOPS 157067 HAS SOUS 73406 HAS SOUPS 71131 WITH SCORE 71294.299
AT ITER 669 NEW BEST:: SOT 228884 SOS 163117 HAS SOPS 156885 HAS SOUS 73239 HAS SOUPS 70964 WITH SCORE 71127.117
AT ITER 673 NEW BEST:: SOT 228932 SOS 163250 HAS SOPS 157018 HAS SOUS 73029 HAS SOUPS 70754 WITH SCORE 70917.25
AT ITER 679 NEW BEST:: SOT 228770 SOS 163060 HAS SOPS 156828 HAS SOUS 72865 HAS SOUPS 70590 WITH SCORE 70753.06
AT ITER 682 NEW BEST:: SOT 228761 SOS 163042 HAS SOPS 156810 HAS SOUS 72838 HAS SOUPS 70563 WITH SCORE 70726.042
AT ITER 689 NEW BEST:: SOT 228754 SOS 163050 HAS SOPS 156818 HAS SOUS 72812 HAS SOUPS 70537 WITH SCORE 70700.05
AT ITER 699 NEW BEST:: SOT 228659 SOS 162529 HAS SOPS 156297 HAS SOUS 72803 HAS SOUPS 70528 WITH SCORE 70690.529
AT ITER 708 NEW BEST:: SOT 228658 SOS 162528 HAS SOPS 156296 HAS SOUS 72797 HAS SOUPS 70522 WITH SCORE 70684.528
AT ITER 715 NEW BEST:: SOT 228654 SOS 162522 HAS SOPS 156290 HAS SOUS 72791 HAS SOUPS 70516 WITH SCORE 70678.522
AT ITER 716 NEW BEST:: SOT 228659 SOS 162932 HAS SOPS 156700 HAS SOUS 72776 HAS SOUPS 70501 WITH SCORE 70663.932
AT ITER 717 NEW BEST:: SOT 228539 SOS 162812 HAS SOPS 156580 HAS SOUS 72776 HAS SOUPS 70501 WITH SCORE 70663.812
AT ITER 727 NEW BEST:: SOT 228275 SOS 162575 HAS SOPS 156334 HAS SOUS 72518 HAS SOUPS 70240 WITH SCORE 70402.575
AT ITER 729 NEW BEST:: SOT 227931 SOS 161998 HAS SOPS 155757 HAS SOUS 71944 HAS SOUPS 69666 WITH SCORE 69827.998
AT ITER 733 NEW BEST:: SOT 227681 SOS 160407 HAS SOPS 154166 HAS SOUS 71830 HAS SOUPS 69552 WITH SCORE 69712.407
AT ITER 737 NEW BEST:: SOT 227645 SOS 160371 HAS SOPS 154130 HAS SOUS 71536 HAS SOUPS 69258 WITH SCORE 69418.371
AT ITER 750 NEW BEST:: SOT 227480 SOS 160151 HAS SOPS 153910 HAS SOUS 71474 HAS SOUPS 69196 WITH SCORE 69356.151
AT ITER 759 NEW BEST:: SOT 227492 SOS 160163 HAS SOPS 153922 HAS SOUS 71472 HAS SOUPS 69194 WITH SCORE 69354.163
AT ITER 774 NEW BEST:: SOT 227370 SOS 159979 HAS SOPS 153738 HAS SOUS 71411 HAS SOUPS 69133 WITH SCORE 69292.979
AT ITER 789 NEW BEST:: SOT 227370 SOS 159951 HAS SOPS 153714 HAS SOUS 71407 HAS SOUPS 69133 WITH SCORE 69292.951
AT ITER 790 NEW BEST:: SOT 227292 SOS 159873 HAS SOPS 153636 HAS SOUS 71211 HAS SOUPS 68937 WITH SCORE 69096.873
AT ITER 791 NEW BEST:: SOT 227228 SOS 159803 HAS SOPS 153566 HAS SOUS 71141 HAS SOUPS 68867 WITH SCORE 69026.803
AT ITER 795 NEW BEST:: SOT 227223 SOS 159798 HAS SOPS 153561 HAS SOUS 70916 HAS SOUPS 68642 WITH SCORE 68801.798
AT ITER 798 NEW BEST:: SOT 227303 SOS 159878 HAS SOPS 153641 HAS SOUS 70891 HAS SOUPS 68617 WITH SCORE 68776.878
AT ITER 807 NEW BEST:: SOT 227226 SOS 159801 HAS SOPS 153564 HAS SOUS 70814 HAS SOUPS 68540 WITH SCORE 68699.801
AT ITER 825 NEW BEST:: SOT 226578 SOS 159173 HAS SOPS 152936 HAS SOUS 70046 HAS SOUPS 67772 WITH SCORE 67931.173
AT ITER 827 NEW BEST:: SOT 220483 SOS 153954 HAS SOPS 147351 HAS SOUS 64204 HAS SOUPS 61845 WITH SCORE 61998.954
AT ITER 829 NEW BEST:: SOT 220482 SOS 153953 HAS SOPS 147350 HAS SOUS 64202 HAS SOUPS 61843 WITH SCORE 61996.953
AT ITER 841 NEW BEST:: SOT 220226 SOS 153889 HAS SOPS 147286 HAS SOUS 63838 HAS SOUPS 61479 WITH SCORE 61632.889
AT ITER 844 NEW BEST:: SOT 219905 SOS 153643 HAS SOPS 147040 HAS SOUS 63828 HAS SOUPS 61469 WITH SCORE 61622.643
AT ITER 846 NEW BEST:: SOT 214157 SOS 147845 HAS SOPS 140952 HAS SOUS 62691 HAS SOUPS 60121 WITH SCORE 60268.845
AT ITER 849 NEW BEST:: SOT 214090 SOS 147778 HAS SOPS 140885 HAS SOUS 62680 HAS SOUPS 60110 WITH SCORE 60257.778
AT ITER 850 NEW BEST:: SOT 214034 SOS 147634 HAS SOPS 140741 HAS SOUS 62636 HAS SOUPS 60066 WITH SCORE 60213.634
AT ITER 859 NEW BEST:: SOT 214034 SOS 147634 HAS SOPS 140741 HAS SOUS 62635 HAS SOUPS 60065 WITH SCORE 60212.634
AT ITER 863 NEW BEST:: SOT 214046 SOS 147178 HAS SOPS 140285 HAS SOUS 62540 HAS SOUPS 59970 WITH SCORE 60117.178
AT ITER 864 NEW BEST:: SOT 214046 SOS 147322 HAS SOPS 140429 HAS SOUS 62444 HAS SOUPS 59874 WITH SCORE 60021.322
AT ITER 872 NEW BEST:: SOT 213836 SOS 147112 HAS SOPS 140225 HAS SOUS 62090 HAS SOUPS 59520 WITH SCORE 59667.112
AT ITER 875 NEW BEST:: SOT 213836 SOS 147041 HAS SOPS 140154 HAS SOUS 62090 HAS SOUPS 59520 WITH SCORE 59667.041
AT ITER 889 NEW BEST:: SOT 213821 SOS 146986 HAS SOPS 140099 HAS SOUS 62050 HAS SOUPS 59480 WITH SCORE 59626.986
AT ITER 890 NEW BEST:: SOT 213821 SOS 146986 HAS SOPS 140099 HAS SOUS 62004 HAS SOUPS 59434 WITH SCORE 59580.986
AT ITER 895 NEW BEST:: SOT 213858 SOS 147066 HAS SOPS 140179 HAS SOUS 61979 HAS SOUPS 59409 WITH SCORE 59556.066
AT ITER 910 NEW BEST:: SOT 213790 SOS 146998 HAS SOPS 140111 HAS SOUS 61964 HAS SOUPS 59394 WITH SCORE 59540.998
AT ITER 912 NEW BEST:: SOT 213690 SOS 146848 HAS SOPS 139911 HAS SOUS 61880 HAS SOUPS 59294 WITH SCORE 59440.848
AT ITER 922 NEW BEST:: SOT 213765 SOS 146929 HAS SOPS 139992 HAS SOUS 61841 HAS SOUPS 59255 WITH SCORE 59401.929
AT ITER 923 NEW BEST:: SOT 213638 SOS 146448 HAS SOPS 139275 HAS SOUS 61746 HAS SOUPS 59135 WITH SCORE 59281.448
AT ITER 924 NEW BEST:: SOT 213637 SOS 146447 HAS SOPS 139274 HAS SOUS 61744 HAS SOUPS 59133 WITH SCORE 59279.447
AT ITER 927 NEW BEST:: SOT 213566 SOS 146376 HAS SOPS 139203 HAS SOUS 61616 HAS SOUPS 59005 WITH SCORE 59151.376
AT ITER 930 NEW BEST:: SOT 213367 SOS 146029 HAS SOPS 138704 HAS SOUS 61371 HAS SOUPS 58659 WITH SCORE 58805.029
AT ITER 949 NEW BEST:: SOT 213264 SOS 145926 HAS SOPS 138601 HAS SOUS 61276 HAS SOUPS 58564 WITH SCORE 58709.926
AT ITER 959 NEW BEST:: SOT 213234 SOS 145763 HAS SOPS 138188 HAS SOUS 61090 HAS SOUPS 58364 WITH SCORE 58509.763
AT ITER 966 NEW BEST:: SOT 213162 SOS 145691 HAS SOPS 138080 HAS SOUS 61028 HAS SOUPS 58302 WITH SCORE 58447.691
AT ITER 978 NEW BEST:: SOT 213219 SOS 145748 HAS SOPS 138137 HAS SOUS 60981 HAS SOUPS 58255 WITH SCORE 58400.748
AT ITER 989 NEW BEST:: SOT 213288 SOS 145817 HAS SOPS 138206 HAS SOUS 60912 HAS SOUPS 58186 WITH SCORE 58331.817
AT ITER 994 NEW BEST:: SOT 213439 SOS 145968 HAS SOPS 138357 HAS SOUS 60805 HAS SOUPS 58079 WITH SCORE 58224.968
AT ITER 1003 NEW BEST:: SOT 213293 SOS 145749 HAS SOPS 138065 HAS SOUS 60586 HAS SOUPS 57860 WITH SCORE 58005.749
AT ITER 1009 NEW BEST:: SOT 213266 SOS 145703 HAS SOPS 138019 HAS SOUS 60540 HAS SOUPS 57814 WITH SCORE 57959.703
AT ITER 1019 NEW BEST:: SOT 211334 SOS 150141 HAS SOPS 141142 HAS SOUS 59687 HAS SOUPS 56837 WITH SCORE 56987.141
AT ITER 1023 NEW BEST:: SOT 211378 SOS 150053 HAS SOPS 141054 HAS SOUS 59684 HAS SOUPS 56834 WITH SCORE 56984.053
AT ITER 1031 NEW BEST:: SOT 211447 SOS 150068 HAS SOPS 141005 HAS SOUS 59674 HAS SOUPS 56760 WITH SCORE 56910.068
AT ITER 1034 NEW BEST:: SOT 211427 SOS 150008 HAS SOPS 140985 HAS SOUS 59654 HAS SOUPS 56760 WITH SCORE 56910.008
AT ITER 1037 NEW BEST:: SOT 211376 SOS 149804 HAS SOPS 140628 HAS SOUS 59603 HAS SOUPS 56658 WITH SCORE 56807.804
AT ITER 1046 NEW BEST:: SOT 211327 SOS 149755 HAS SOPS 140579 HAS SOUS 59554 HAS SOUPS 56609 WITH SCORE 56758.755
AT ITER 1047 NEW BEST:: SOT 211282 SOS 149535 HAS SOPS 140359 HAS SOUS 59514 HAS SOUPS 56569 WITH SCORE 56718.535
AT ITER 1058 NEW BEST:: SOT 211222 SOS 149475 HAS SOPS 140299 HAS SOUS 59384 HAS SOUPS 56439 WITH SCORE 56588.475
AT ITER 1068 NEW BEST:: SOT 211212 SOS 149482 HAS SOPS 140306 HAS SOUS 59383 HAS SOUPS 56438 WITH SCORE 56587.482
AT ITER 1070 NEW BEST:: SOT 211203 SOS 149473 HAS SOPS 140297 HAS SOUS 59374 HAS SOUPS 56429 WITH SCORE 56578.473
AT ITER 1076 NEW BEST:: SOT 211202 SOS 149334 HAS SOPS 140158 HAS SOUS 59371 HAS SOUPS 56426 WITH SCORE 56575.334
AT ITER 1078 NEW BEST:: SOT 211167 SOS 149299 HAS SOPS 140123 HAS SOUS 59371 HAS SOUPS 56426 WITH SCORE 56575.299
AT ITER 1082 NEW BEST:: SOT 211207 SOS 149339 HAS SOPS 140163 HAS SOUS 59307 HAS SOUPS 56362 WITH SCORE 56511.339
AT ITER 1083 NEW BEST:: SOT 210977 SOS 149340 HAS SOPS 139933 HAS SOUS 59278 HAS SOUPS 56310 WITH SCORE 56459.34
AT ITER 1089 NEW BEST:: SOT 210958 SOS 149321 HAS SOPS 139914 HAS SOUS 59209 HAS SOUPS 56241 WITH SCORE 56390.321
AT ITER 1091 NEW BEST:: SOT 210960 SOS 149315 HAS SOPS 139908 HAS SOUS 59201 HAS SOUPS 56233 WITH SCORE 56382.315
AT ITER 1095 NEW BEST:: SOT 210866 SOS 149233 HAS SOPS 139826 HAS SOUS 58936 HAS SOUPS 55968 WITH SCORE 56117.233
AT ITER 1100 NEW BEST:: SOT 210842 SOS 149209 HAS SOPS 139802 HAS SOUS 58936 HAS SOUPS 55968 WITH SCORE 56117.209
AT ITER 1115 NEW BEST:: SOT 210836 SOS 149185 HAS SOPS 139778 HAS SOUS 58927 HAS SOUPS 55959 WITH SCORE 56108.185
AT ITER 1120 NEW BEST:: SOT 210756 SOS 148848 HAS SOPS 139424 HAS SOUS 58881 HAS SOUPS 55913 WITH SCORE 56061.848
AT ITER 1131 NEW BEST:: SOT 210710 SOS 148756 HAS SOPS 139286 HAS SOUS 58822 HAS SOUPS 55854 WITH SCORE 56002.756
AT ITER 1138 NEW BEST:: SOT 210710 SOS 148756 HAS SOPS 139286 HAS SOUS 58814 HAS SOUPS 55846 WITH SCORE 55994.756
AT ITER 1141 NEW BEST:: SOT 210710 SOS 148740 HAS SOPS 139270 HAS SOUS 58814 HAS SOUPS 55846 WITH SCORE 55994.74
AT ITER 1144 NEW BEST:: SOT 210715 SOS 148789 HAS SOPS 139319 HAS SOUS 58785 HAS SOUPS 55817 WITH SCORE 55965.789
AT ITER 1145 NEW BEST:: SOT 210658 SOS 148732 HAS SOPS 139262 HAS SOUS 58728 HAS SOUPS 55760 WITH SCORE 55908.732
AT ITER 1154 NEW BEST:: SOT 210639 SOS 148695 HAS SOPS 139207 HAS SOUS 58708 HAS SOUPS 55740 WITH SCORE 55888.695
AT ITER 1155 NEW BEST:: SOT 210485 SOS 148464 HAS SOPS 138976 HAS SOUS 58708 HAS SOUPS 55740 WITH SCORE 55888.464
AT ITER 1158 NEW BEST:: SOT 210482 SOS 148461 HAS SOPS 138973 HAS SOUS 58705 HAS SOUPS 55737 WITH SCORE 55885.461
AT ITER 1159 NEW BEST:: SOT 210482 SOS 148461 HAS SOPS 138869 HAS SOUS 58659 HAS SOUPS 55623 WITH SCORE 55771.461
AT ITER 1173 NEW BEST:: SOT 210438 SOS 148382 HAS SOPS 138790 HAS SOUS 58581 HAS SOUPS 55545 WITH SCORE 55693.382
AT ITER 1174 NEW BEST:: SOT 210334 SOS 148270 HAS SOPS 138658 HAS SOUS 58464 HAS SOUPS 55428 WITH SCORE 55576.27
AT ITER 1180 NEW BEST:: SOT 210282 SOS 148191 HAS SOPS 138552 HAS SOUS 58435 HAS SOUPS 55399 WITH SCORE 55547.191
AT ITER 1185 NEW BEST:: SOT 210177 SOS 148086 HAS SOPS 138447 HAS SOUS 58432 HAS SOUPS 55396 WITH SCORE 55544.086
AT ITER 1192 NEW BEST:: SOT 210177 SOS 148086 HAS SOPS 138427 HAS SOUS 58412 HAS SOUPS 55376 WITH SCORE 55524.086
AT ITER 1193 NEW BEST:: SOT 210021 SOS 147930 HAS SOPS 138271 HAS SOUS 58266 HAS SOUPS 55230 WITH SCORE 55377.93
AT ITER 1200 NEW BEST:: SOT 209827 SOS 147730 HAS SOPS 138071 HAS SOUS 57946 HAS SOUPS 54910 WITH SCORE 55057.73
AT ITER 1233 NEW BEST:: SOT 209832 SOS 147735 HAS SOPS 138076 HAS SOUS 57887 HAS SOUPS 54851 WITH SCORE 54998.735
AT ITER 1239 NEW BEST:: SOT 209743 SOS 147658 HAS SOPS 137999 HAS SOUS 57815 HAS SOUPS 54779 WITH SCORE 54926.658
AT ITER 1241 NEW BEST:: SOT 204607 SOS 143178 HAS SOPS 132863 HAS SOUS 52726 HAS SOUPS 49433 WITH SCORE 49576.178
AT ITER 1248 NEW BEST:: SOT 204582 SOS 143153 HAS SOPS 132838 HAS SOUS 52676 HAS SOUPS 49383 WITH SCORE 49526.153
AT ITER 1251 NEW BEST:: SOT 204955 SOS 143502 HAS SOPS 133176 HAS SOUS 52505 HAS SOUPS 49212 WITH SCORE 49355.502
AT ITER 1262 NEW BEST:: SOT 205169 SOS 143716 HAS SOPS 133390 HAS SOUS 52471 HAS SOUPS 49178 WITH SCORE 49321.716
AT ITER 1272 NEW BEST:: SOT 205131 SOS 143678 HAS SOPS 133352 HAS SOUS 52433 HAS SOUPS 49140 WITH SCORE 49283.678
AT ITER 1273 NEW BEST:: SOT 205124 SOS 143671 HAS SOPS 133345 HAS SOUS 52426 HAS SOUPS 49133 WITH SCORE 49276.671
AT ITER 1283 NEW BEST:: SOT 205037 SOS 143584 HAS SOPS 133240 HAS SOUS 52441 HAS SOUPS 49130 WITH SCORE 49273.584
AT ITER 1286 NEW BEST:: SOT 204959 SOS 143274 HAS SOPS 133084 HAS SOUS 52439 HAS SOUPS 49128 WITH SCORE 49271.274
AT ITER 1308 NEW BEST:: SOT 204815 SOS 142753 HAS SOPS 132563 HAS SOUS 52356 HAS SOUPS 49045 WITH SCORE 49187.753
AT ITER 1317 NEW BEST:: SOT 204731 SOS 142627 HAS SOPS 132437 HAS SOUS 52230 HAS SOUPS 48919 WITH SCORE 49061.627
AT ITER 1323 NEW BEST:: SOT 204720 SOS 142616 HAS SOPS 132426 HAS SOUS 52208 HAS SOUPS 48897 WITH SCORE 49039.616
AT ITER 1324 NEW BEST:: SOT 204944 SOS 142797 HAS SOPS 132607 HAS SOUS 52206 HAS SOUPS 48895 WITH SCORE 49037.797
AT ITER 1329 NEW BEST:: SOT 204928 SOS 142781 HAS SOPS 132559 HAS SOUS 52142 HAS SOUPS 48831 WITH SCORE 48973.781
AT ITER 1367 NEW BEST:: SOT 204919 SOS 142772 HAS SOPS 132550 HAS SOUS 52124 HAS SOUPS 48813 WITH SCORE 48955.772
AT ITER 1376 NEW BEST:: SOT 204876 SOS 142729 HAS SOPS 132507 HAS SOUS 52081 HAS SOUPS 48770 WITH SCORE 48912.729
AT ITER 1380 NEW BEST:: SOT 204876 SOS 142729 HAS SOPS 132477 HAS SOUS 52051 HAS SOUPS 48725 WITH SCORE 48867.729
AT ITER 1388 NEW BEST:: SOT 205061 SOS 142914 HAS SOPS 132662 HAS SOUS 52041 HAS SOUPS 48715 WITH SCORE 48857.914
AT ITER 1393 NEW BEST:: SOT 205049 SOS 142901 HAS SOPS 132649 HAS SOUS 52027 HAS SOUPS 48701 WITH SCORE 48843.901
AT ITER 1395 NEW BEST:: SOT 205059 SOS 143032 HAS SOPS 132780 HAS SOUS 51814 HAS SOUPS 48488 WITH SCORE 48631.032
AT ITER 1402 NEW BEST:: SOT 205084 SOS 142394 HAS SOPS 132142 HAS SOUS 51800 HAS SOUPS 48474 WITH SCORE 48616.394
AT ITER 1405 NEW BEST:: SOT 205054 SOS 142364 HAS SOPS 132112 HAS SOUS 51771 HAS SOUPS 48445 WITH SCORE 48587.364
AT ITER 1409 NEW BEST:: SOT 204431 SOS 142893 HAS SOPS 131960 HAS SOUS 51508 HAS SOUPS 48016 WITH SCORE 48158.893
AT ITER 1414 NEW BEST:: SOT 204397 SOS 142859 HAS SOPS 131926 HAS SOUS 51474 HAS SOUPS 47982 WITH SCORE 48124.859
AT ITER 1416 NEW BEST:: SOT 204481 SOS 142943 HAS SOPS 132010 HAS SOUS 51373 HAS SOUPS 47881 WITH SCORE 48023.943
AT ITER 1417 NEW BEST:: SOT 204410 SOS 142872 HAS SOPS 131939 HAS SOUS 51258 HAS SOUPS 47766 WITH SCORE 47908.872
AT ITER 1421 NEW BEST:: SOT 204410 SOS 142860 HAS SOPS 131927 HAS SOUS 51258 HAS SOUPS 47766 WITH SCORE 47908.86
AT ITER 1422 NEW BEST:: SOT 204261 SOS 142711 HAS SOPS 131745 HAS SOUS 51192 HAS SOUPS 47667 WITH SCORE 47809.711
AT ITER 1424 NEW BEST:: SOT 204254 SOS 142704 HAS SOPS 131738 HAS SOUS 51185 HAS SOUPS 47660 WITH SCORE 47802.704
AT ITER 1441 NEW BEST:: SOT 204182 SOS 142608 HAS SOPS 131618 HAS SOUS 51065 HAS SOUPS 47540 WITH SCORE 47682.608
AT ITER 1444 NEW BEST:: SOT 204181 SOS 142606 HAS SOPS 131615 HAS SOUS 51062 HAS SOUPS 47537 WITH SCORE 47679.606
AT ITER 1448 NEW BEST:: SOT 203985 SOS 142436 HAS SOPS 131456 HAS SOUS 51048 HAS SOUPS 47523 WITH SCORE 47665.436
AT ITER 1458 NEW BEST:: SOT 203925 SOS 142405 HAS SOPS 131398 HAS SOUS 50980 HAS SOUPS 47448 WITH SCORE 47590.405
AT ITER 1462 NEW BEST:: SOT 203874 SOS 142354 HAS SOPS 131330 HAS SOUS 50951 HAS SOUPS 47402 WITH SCORE 47544.354
AT ITER 1463 NEW BEST:: SOT 203864 SOS 142360 HAS SOPS 131314 HAS SOUS 50950 HAS SOUPS 47393 WITH SCORE 47535.36
AT ITER 1466 NEW BEST:: SOT 203853 SOS 142338 HAS SOPS 131292 HAS SOUS 50939 HAS SOUPS 47382 WITH SCORE 47524.338
AT ITER 1489 NEW BEST:: SOT 203853 SOS 142365 HAS SOPS 131319 HAS SOUS 50855 HAS SOUPS 47298 WITH SCORE 47440.365
AT ITER 1501 NEW BEST:: SOT 203436 SOS 142157 HAS SOPS 131111 HAS SOUS 50164 HAS SOUPS 46607 WITH SCORE 46749.157
AT ITER 1503 NEW BEST:: SOT 203260 SOS 141981 HAS SOPS 130935 HAS SOUS 49988 HAS SOUPS 46431 WITH SCORE 46572.981
AT ITER 1508 NEW BEST:: SOT 203262 SOS 141983 HAS SOPS 130937 HAS SOUS 49917 HAS SOUPS 46360 WITH SCORE 46501.983
AT ITER 1511 NEW BEST:: SOT 203258 SOS 141979 HAS SOPS 130933 HAS SOUS 49917 HAS SOUPS 46360 WITH SCORE 46501.979
AT ITER 1546 NEW BEST:: SOT 203263 SOS 141953 HAS SOPS 130907 HAS SOUS 49896 HAS SOUPS 46339 WITH SCORE 46480.953
AT ITER 1548 NEW BEST:: SOT 203235 SOS 141925 HAS SOPS 130879 HAS SOUS 49836 HAS SOUPS 46279 WITH SCORE 46420.925
AT ITER 1551 NEW BEST:: SOT 203255 SOS 141945 HAS SOPS 130899 HAS SOUS 49759 HAS SOUPS 46202 WITH SCORE 46343.945
AT ITER 1558 NEW BEST:: SOT 203253 SOS 141943 HAS SOPS 130897 HAS SOUS 49755 HAS SOUPS 46198 WITH SCORE 46339.943
AT ITER 1569 NEW BEST:: SOT 203236 SOS 141926 HAS SOPS 130880 HAS SOUS 49721 HAS SOUPS 46164 WITH SCORE 46305.926
AT ITER 1572 NEW BEST:: SOT 203273 SOS 142000 HAS SOPS 130991 HAS SOUS 49649 HAS SOUPS 46092 WITH SCORE 46234.0
AT ITER 1573 NEW BEST:: SOT 203273 SOS 142045 HAS SOPS 131036 HAS SOUS 49527 HAS SOUPS 45970 WITH SCORE 46112.045
AT ITER 1575 NEW BEST:: SOT 203242 SOS 142014 HAS SOPS 131005 HAS SOUS 49458 HAS SOUPS 45901 WITH SCORE 46043.014
AT ITER 1581 NEW BEST:: SOT 203168 SOS 141900 HAS SOPS 130931 HAS SOUS 49361 HAS SOUPS 45804 WITH SCORE 45945.9
AT ITER 1582 NEW BEST:: SOT 203168 SOS 141900 HAS SOPS 130931 HAS SOUS 49261 HAS SOUPS 45704 WITH SCORE 45845.9
AT ITER 1586 NEW BEST:: SOT 203088 SOS 141843 HAS SOPS 130874 HAS SOUS 49241 HAS SOUPS 45684 WITH SCORE 45825.843
AT ITER 1601 NEW BEST:: SOT 203088 SOS 141749 HAS SOPS 130780 HAS SOUS 49241 HAS SOUPS 45684 WITH SCORE 45825.749
AT ITER 1603 NEW BEST:: SOT 203117 SOS 141736 HAS SOPS 130767 HAS SOUS 49186 HAS SOUPS 45629 WITH SCORE 45770.736
AT ITER 1614 NEW BEST:: SOT 203077 SOS 141600 HAS SOPS 130631 HAS SOUS 49162 HAS SOUPS 45605 WITH SCORE 45746.6
AT ITER 1620 NEW BEST:: SOT 202882 SOS 141401 HAS SOPS 130432 HAS SOUS 49010 HAS SOUPS 45453 WITH SCORE 45594.401
AT ITER 1633 NEW BEST:: SOT 203063 SOS 141533 HAS SOPS 130564 HAS SOUS 48987 HAS SOUPS 45430 WITH SCORE 45571.533
AT ITER 1634 NEW BEST:: SOT 203059 SOS 141372 HAS SOPS 130403 HAS SOUS 48969 HAS SOUPS 45412 WITH SCORE 45553.372
AT ITER 1639 NEW BEST:: SOT 203059 SOS 141372 HAS SOPS 130403 HAS SOUS 48953 HAS SOUPS 45396 WITH SCORE 45537.372
AT ITER 1647 NEW BEST:: SOT 203017 SOS 141195 HAS SOPS 130226 HAS SOUS 48879 HAS SOUPS 45322 WITH SCORE 45463.195
AT ITER 1659 NEW BEST:: SOT 203021 SOS 141199 HAS SOPS 130366 HAS SOUS 48739 HAS SOUPS 45250 WITH SCORE 45391.199
AT ITER 1660 NEW BEST:: SOT 202922 SOS 141694 HAS SOPS 130861 HAS SOUS 48640 HAS SOUPS 45151 WITH SCORE 45292.694
AT ITER 1662 NEW BEST:: SOT 202907 SOS 141271 HAS SOPS 130438 HAS SOUS 48640 HAS SOUPS 45151 WITH SCORE 45292.271
AT ITER 1678 NEW BEST:: SOT 202755 SOS 140663 HAS SOPS 129830 HAS SOUS 48503 HAS SOUPS 45014 WITH SCORE 45154.663
AT ITER 1701 NEW BEST:: SOT 203744 SOS 141652 HAS SOPS 130819 HAS SOUS 48378 HAS SOUPS 44889 WITH SCORE 45030.652
AT ITER 1706 NEW BEST:: SOT 203742 SOS 141648 HAS SOPS 130815 HAS SOUS 48376 HAS SOUPS 44887 WITH SCORE 45028.648
AT ITER 1710 NEW BEST:: SOT 203714 SOS 141620 HAS SOPS 130787 HAS SOUS 48348 HAS SOUPS 44859 WITH SCORE 45000.62
AT ITER 1744 NEW BEST:: SOT 203665 SOS 141579 HAS SOPS 130746 HAS SOUS 48348 HAS SOUPS 44859 WITH SCORE 45000.579
AT ITER 1745 NEW BEST:: SOT 203665 SOS 141579 HAS SOPS 130746 HAS SOUS 48326 HAS SOUPS 44837 WITH SCORE 44978.579
AT ITER 1747 NEW BEST:: SOT 203500 SOS 141336 HAS SOPS 130503 HAS SOUS 48228 HAS SOUPS 44739 WITH SCORE 44880.336
AT ITER 1754 NEW BEST:: SOT 203739 SOS 139107 HAS SOPS 128707 HAS SOUS 47963 HAS SOUPS 44506 WITH SCORE 44645.107
AT ITER 1769 NEW BEST:: SOT 203706 SOS 139100 HAS SOPS 128726 HAS SOUS 47890 HAS SOUPS 44433 WITH SCORE 44572.1
AT ITER 1773 NEW BEST:: SOT 203729 SOS 139123 HAS SOPS 128749 HAS SOUS 47796 HAS SOUPS 44339 WITH SCORE 44478.123
AT ITER 1776 NEW BEST:: SOT 203726 SOS 139120 HAS SOPS 128746 HAS SOUS 47790 HAS SOUPS 44333 WITH SCORE 44472.12
AT ITER 1792 NEW BEST:: SOT 203624 SOS 139018 HAS SOPS 128644 HAS SOUS 47709 HAS SOUPS 44252 WITH SCORE 44391.018
AT ITER 1805 NEW BEST:: SOT 203615 SOS 138894 HAS SOPS 128520 HAS SOUS 47618 HAS SOUPS 44161 WITH SCORE 44299.894
AT ITER 1810 NEW BEST:: SOT 203450 SOS 138703 HAS SOPS 128329 HAS SOUS 47509 HAS SOUPS 44052 WITH SCORE 44190.703
AT ITER 1811 NEW BEST:: SOT 203395 SOS 138648 HAS SOPS 128274 HAS SOUS 47509 HAS SOUPS 44052 WITH SCORE 44190.648
AT ITER 1833 NEW BEST:: SOT 203395 SOS 138677 HAS SOPS 128243 HAS SOUS 47478 HAS SOUPS 44021 WITH SCORE 44159.677
AT ITER 1834 NEW BEST:: SOT 203393 SOS 138581 HAS SOPS 128147 HAS SOUS 47400 HAS SOUPS 43943 WITH SCORE 44081.581
AT ITER 1859 NEW BEST:: SOT 203328 SOS 138516 HAS SOPS 128082 HAS SOUS 47240 HAS SOUPS 43783 WITH SCORE 43921.516
AT ITER 1868 NEW BEST:: SOT 203446 SOS 137716 HAS SOPS 127282 HAS SOUS 47224 HAS SOUPS 43767 WITH SCORE 43904.716
AT ITER 1870 NEW BEST:: SOT 203470 SOS 137740 HAS SOPS 127266 HAS SOUS 47235 HAS SOUPS 43751 WITH SCORE 43888.74
AT ITER 1886 NEW BEST:: SOT 203196 SOS 137332 HAS SOPS 126724 HAS SOUS 46821 HAS SOUPS 43320 WITH SCORE 43457.332
AT ITER 1889 NEW BEST:: SOT 203145 SOS 137230 HAS SOPS 126622 HAS SOUS 46770 HAS SOUPS 43269 WITH SCORE 43406.23
AT ITER 1900 NEW BEST:: SOT 203102 SOS 137187 HAS SOPS 126579 HAS SOUS 46684 HAS SOUPS 43183 WITH SCORE 43320.187
AT ITER 1906 NEW BEST:: SOT 203096 SOS 137181 HAS SOPS 126573 HAS SOUS 46681 HAS SOUPS 43180 WITH SCORE 43317.181
AT ITER 1907 NEW BEST:: SOT 203064 SOS 137147 HAS SOPS 126449 HAS SOUS 46686 HAS SOUPS 43148 WITH SCORE 43285.147
AT ITER 1918 NEW BEST:: SOT 203064 SOS 137026 HAS SOPS 126328 HAS SOUS 46664 HAS SOUPS 43126 WITH SCORE 43263.026
AT ITER 1931 NEW BEST:: SOT 203063 SOS 137025 HAS SOPS 126325 HAS SOUS 46663 HAS SOUPS 43125 WITH SCORE 43262.025
AT ITER 1942 NEW BEST:: SOT 203063 SOS 137025 HAS SOPS 126325 HAS SOUS 46622 HAS SOUPS 43084 WITH SCORE 43221.025
AT ITER 1943 NEW BEST:: SOT 202774 SOS 138068 HAS SOPS 126082 HAS SOUS 46549 HAS SOUPS 42942 WITH SCORE 43080.068
AT ITER 1954 NEW BEST:: SOT 202794 SOS 138088 HAS SOPS 126102 HAS SOUS 46541 HAS SOUPS 42934 WITH SCORE 43072.088
AT ITER 1959 NEW BEST:: SOT 202791 SOS 138037 HAS SOPS 126051 HAS SOUS 46442 HAS SOUPS 42835 WITH SCORE 42973.037
AT ITER 1964 NEW BEST:: SOT 202827 SOS 138073 HAS SOPS 126087 HAS SOUS 46404 HAS SOUPS 42797 WITH SCORE 42935.073
AT ITER 1965 NEW BEST:: SOT 202797 SOS 137953 HAS SOPS 125967 HAS SOUS 46404 HAS SOUPS 42797 WITH SCORE 42934.953
AT ITER 1992 NEW BEST:: SOT 202756 SOS 137912 HAS SOPS 125926 HAS SOUS 46398 HAS SOUPS 42791 WITH SCORE 42928.912
AT ITER 2011 NEW BEST:: SOT 202746 SOS 137835 HAS SOPS 125849 HAS SOUS 46378 HAS SOUPS 42771 WITH SCORE 42908.835
AT ITER 2023 NEW BEST:: SOT 202744 SOS 137833 HAS SOPS 125847 HAS SOUS 46332 HAS SOUPS 42725 WITH SCORE 42862.833
AT ITER 2033 NEW BEST:: SOT 202725 SOS 137814 HAS SOPS 125828 HAS SOUS 46196 HAS SOUPS 42589 WITH SCORE 42726.814
AT ITER 2035 NEW BEST:: SOT 202683 SOS 137772 HAS SOPS 125786 HAS SOUS 46125 HAS SOUPS 42518 WITH SCORE 42655.772
AT ITER 2040 NEW BEST:: SOT 202682 SOS 137770 HAS SOPS 125784 HAS SOUS 46125 HAS SOUPS 42518 WITH SCORE 42655.77
AT ITER 2044 NEW BEST:: SOT 202514 SOS 137602 HAS SOPS 125616 HAS SOUS 46119 HAS SOUPS 42512 WITH SCORE 42649.602
AT ITER 2054 NEW BEST:: SOT 202332 SOS 137245 HAS SOPS 125259 HAS SOUS 46014 HAS SOUPS 42407 WITH SCORE 42544.245
AT ITER 2062 NEW BEST:: SOT 202183 SOS 136892 HAS SOPS 124906 HAS SOUS 45952 HAS SOUPS 42345 WITH SCORE 42481.892
AT ITER 2063 NEW BEST:: SOT 202119 SOS 136829 HAS SOPS 124715 HAS SOUS 45921 HAS SOUPS 42282 WITH SCORE 42418.829
AT ITER 2069 NEW BEST:: SOT 202049 SOS 136759 HAS SOPS 124645 HAS SOUS 45781 HAS SOUPS 42142 WITH SCORE 42278.759
AT ITER 2079 NEW BEST:: SOT 202169 SOS 136881 HAS SOPS 124767 HAS SOUS 45685 HAS SOUPS 42046 WITH SCORE 42182.881
AT ITER 2085 NEW BEST:: SOT 202119 SOS 136847 HAS SOPS 124733 HAS SOUS 45645 HAS SOUPS 42006 WITH SCORE 42142.847
AT ITER 2099 NEW BEST:: SOT 202105 SOS 136819 HAS SOPS 124705 HAS SOUS 45617 HAS SOUPS 41978 WITH SCORE 42114.819
AT ITER 2135 NEW BEST:: SOT 202165 SOS 136819 HAS SOPS 124705 HAS SOUS 45597 HAS SOUPS 41958 WITH SCORE 42094.819
AT ITER 2152 NEW BEST:: SOT 202165 SOS 136664 HAS SOPS 124550 HAS SOUS 45566 HAS SOUPS 41927 WITH SCORE 42063.664
AT ITER 2155 NEW BEST:: SOT 202165 SOS 136664 HAS SOPS 124550 HAS SOUS 45500 HAS SOUPS 41861 WITH SCORE 41997.664
AT ITER 2159 NEW BEST:: SOT 202288 SOS 136787 HAS SOPS 124673 HAS SOUS 45377 HAS SOUPS 41738 WITH SCORE 41874.787
AT ITER 2169 NEW BEST:: SOT 202276 SOS 136775 HAS SOPS 124661 HAS SOUS 45317 HAS SOUPS 41678 WITH SCORE 41814.775
AT ITER 2179 NEW BEST:: SOT 202276 SOS 136775 HAS SOPS 124661 HAS SOUS 45307 HAS SOUPS 41668 WITH SCORE 41804.775
AT ITER 2189 NEW BEST:: SOT 202172 SOS 136604 HAS SOPS 124490 HAS SOUS 45035 HAS SOUPS 41396 WITH SCORE 41532.604
AT ITER 2215 NEW BEST:: SOT 202151 SOS 136583 HAS SOPS 124517 HAS SOUS 45018 HAS SOUPS 41387 WITH SCORE 41523.583
AT ITER 2220 NEW BEST:: SOT 202151 SOS 136516 HAS SOPS 124428 HAS SOUS 45018 HAS SOUPS 41387 WITH SCORE 41523.516
AT ITER 2228 NEW BEST:: SOT 202103 SOS 136444 HAS SOPS 124356 HAS SOUS 44970 HAS SOUPS 41339 WITH SCORE 41475.444
AT ITER 2237 NEW BEST:: SOT 202097 SOS 136432 HAS SOPS 124338 HAS SOUS 44958 HAS SOUPS 41321 WITH SCORE 41457.432
AT ITER 2253 NEW BEST:: SOT 202130 SOS 136478 HAS SOPS 124397 HAS SOUS 44957 HAS SOUPS 41320 WITH SCORE 41456.478
AT ITER 2255 NEW BEST:: SOT 202142 SOS 136490 HAS SOPS 124409 HAS SOUS 44856 HAS SOUPS 41219 WITH SCORE 41355.49
AT ITER 2314 NEW BEST:: SOT 202098 SOS 136446 HAS SOPS 124365 HAS SOUS 44826 HAS SOUPS 41189 WITH SCORE 41325.446
AT ITER 2321 NEW BEST:: SOT 202098 SOS 136541 HAS SOPS 124460 HAS SOUS 44772 HAS SOUPS 41135 WITH SCORE 41271.541
AT ITER 2324 NEW BEST:: SOT 202087 SOS 136530 HAS SOPS 124449 HAS SOUS 44757 HAS SOUPS 41120 WITH SCORE 41256.53
AT ITER 2329 NEW BEST:: SOT 202089 SOS 136532 HAS SOPS 124451 HAS SOUS 44729 HAS SOUPS 41092 WITH SCORE 41228.532
AT ITER 2336 NEW BEST:: SOT 202121 SOS 136564 HAS SOPS 124483 HAS SOUS 44658 HAS SOUPS 41021 WITH SCORE 41157.564
AT ITER 2361 NEW BEST:: SOT 202130 SOS 136573 HAS SOPS 124528 HAS SOUS 44636 HAS SOUPS 41017 WITH SCORE 41153.573
AT ITER 2363 NEW BEST:: SOT 202099 SOS 136542 HAS SOPS 124497 HAS SOUS 44605 HAS SOUPS 40986 WITH SCORE 41122.542
AT ITER 2390 NEW BEST:: SOT 202071 SOS 136514 HAS SOPS 124469 HAS SOUS 44591 HAS SOUPS 40972 WITH SCORE 41108.514
AT ITER 2404 NEW BEST:: SOT 202161 SOS 136604 HAS SOPS 124559 HAS SOUS 44570 HAS SOUPS 40951 WITH SCORE 41087.604
AT ITER 2412 NEW BEST:: SOT 202150 SOS 136593 HAS SOPS 124548 HAS SOUS 44559 HAS SOUPS 40940 WITH SCORE 41076.593
AT ITER 2413 NEW BEST:: SOT 202375 SOS 136820 HAS SOPS 124775 HAS SOUS 44551 HAS SOUPS 40932 WITH SCORE 41068.82
AT ITER 2420 NEW BEST:: SOT 202362 SOS 136794 HAS SOPS 124749 HAS SOUS 44538 HAS SOUPS 40919 WITH SCORE 41055.794
AT ITER 2431 NEW BEST:: SOT 202324 SOS 136765 HAS SOPS 124720 HAS SOUS 44481 HAS SOUPS 40862 WITH SCORE 40998.765
AT ITER 2436 NEW BEST:: SOT 201961 SOS 136298 HAS SOPS 124254 HAS SOUS 44349 HAS SOUPS 40730 WITH SCORE 40866.298
AT ITER 2459 NEW BEST:: SOT 201908 SOS 136245 HAS SOPS 124201 HAS SOUS 44330 HAS SOUPS 40711 WITH SCORE 40847.245
AT ITER 2464 NEW BEST:: SOT 202008 SOS 136460 HAS SOPS 124416 HAS SOUS 44297 HAS SOUPS 40678 WITH SCORE 40814.46
AT ITER 2467 NEW BEST:: SOT 201847 SOS 136299 HAS SOPS 124255 HAS SOUS 44162 HAS SOUPS 40543 WITH SCORE 40679.299
AT ITER 2479 NEW BEST:: SOT 201873 SOS 136325 HAS SOPS 124281 HAS SOUS 44154 HAS SOUPS 40535 WITH SCORE 40671.325
AT ITER 2483 NEW BEST:: SOT 201784 SOS 136236 HAS SOPS 124192 HAS SOUS 43976 HAS SOUPS 40357 WITH SCORE 40493.236
AT ITER 2494 NEW BEST:: SOT 201781 SOS 136233 HAS SOPS 124183 HAS SOUS 43964 HAS SOUPS 40345 WITH SCORE 40481.233
AT ITER 2498 NEW BEST:: SOT 201545 SOS 136319 HAS SOPS 123947 HAS SOUS 43735 HAS SOUPS 40060 WITH SCORE 40196.319
AT ITER 2521 NEW BEST:: SOT 201545 SOS 136291 HAS SOPS 123919 HAS SOUS 43707 HAS SOUPS 40032 WITH SCORE 40168.291
AT ITER 2523 NEW BEST:: SOT 201545 SOS 136284 HAS SOPS 123912 HAS SOUS 43707 HAS SOUPS 40032 WITH SCORE 40168.284
AT ITER 2538 NEW BEST:: SOT 201493 SOS 136121 HAS SOPS 123771 HAS SOUS 43691 HAS SOUPS 40016 WITH SCORE 40152.121
AT ITER 2548 NEW BEST:: SOT 201478 SOS 136078 HAS SOPS 123728 HAS SOUS 43691 HAS SOUPS 40016 WITH SCORE 40152.078
AT ITER 2552 NEW BEST:: SOT 201289 SOS 135826 HAS SOPS 123476 HAS SOUS 43439 HAS SOUPS 39764 WITH SCORE 39899.826
AT ITER 2583 NEW BEST:: SOT 201277 SOS 135814 HAS SOPS 123464 HAS SOUS 43437 HAS SOUPS 39762 WITH SCORE 39897.814
AT ITER 2584 NEW BEST:: SOT 201253 SOS 135770 HAS SOPS 123420 HAS SOUS 43381 HAS SOUPS 39706 WITH SCORE 39841.77
AT ITER 2591 NEW BEST:: SOT 201182 SOS 135802 HAS SOPS 123452 HAS SOUS 43148 HAS SOUPS 39473 WITH SCORE 39608.802
AT ITER 2594 NEW BEST:: SOT 201114 SOS 135576 HAS SOPS 123226 HAS SOUS 43094 HAS SOUPS 39419 WITH SCORE 39554.576
AT ITER 2597 NEW BEST:: SOT 201114 SOS 135519 HAS SOPS 123169 HAS SOUS 43094 HAS SOUPS 39419 WITH SCORE 39554.519
AT ITER 2622 NEW BEST:: SOT 200677 SOS 135555 HAS SOPS 123205 HAS SOUS 42664 HAS SOUPS 38989 WITH SCORE 39124.555
AT ITER 2634 NEW BEST:: SOT 200803 SOS 134560 HAS SOPS 122210 HAS SOUS 42461 HAS SOUPS 38786 WITH SCORE 38920.56
AT ITER 2635 NEW BEST:: SOT 200773 SOS 134530 HAS SOPS 122180 HAS SOUS 42446 HAS SOUPS 38771 WITH SCORE 38905.53
AT ITER 2638 NEW BEST:: SOT 200794 SOS 134193 HAS SOPS 121843 HAS SOUS 42391 HAS SOUPS 38716 WITH SCORE 38850.193
AT ITER 2639 NEW BEST:: SOT 200652 SOS 134051 HAS SOPS 121701 HAS SOUS 42249 HAS SOUPS 38574 WITH SCORE 38708.051
AT ITER 2646 NEW BEST:: SOT 200652 SOS 134051 HAS SOPS 121701 HAS SOUS 42207 HAS SOUPS 38532 WITH SCORE 38666.051
AT ITER 2650 NEW BEST:: SOT 200542 SOS 133437 HAS SOPS 121087 HAS SOUS 42176 HAS SOUPS 38501 WITH SCORE 38634.437
AT ITER 2658 NEW BEST:: SOT 200683 SOS 133564 HAS SOPS 120782 HAS SOUS 42108 HAS SOUPS 38433 WITH SCORE 38566.564
AT ITER 2685 NEW BEST:: SOT 200611 SOS 133492 HAS SOPS 120710 HAS SOUS 42108 HAS SOUPS 38433 WITH SCORE 38566.492
AT ITER 2696 NEW BEST:: SOT 200613 SOS 133494 HAS SOPS 120712 HAS SOUS 42104 HAS SOUPS 38429 WITH SCORE 38562.494
AT ITER 2706 NEW BEST:: SOT 200615 SOS 133496 HAS SOPS 120740 HAS SOUS 42084 HAS SOUPS 38409 WITH SCORE 38542.496
AT ITER 2715 NEW BEST:: SOT 200615 SOS 133496 HAS SOPS 120740 HAS SOUS 42072 HAS SOUPS 38397 WITH SCORE 38530.496
AT ITER 2716 NEW BEST:: SOT 200609 SOS 133490 HAS SOPS 120734 HAS SOUS 42060 HAS SOUPS 38385 WITH SCORE 38518.49
AT ITER 2719 NEW BEST:: SOT 200479 SOS 133295 HAS SOPS 120539 HAS SOUS 41865 HAS SOUPS 38190 WITH SCORE 38323.295
AT ITER 2724 NEW BEST:: SOT 200403 SOS 133219 HAS SOPS 120463 HAS SOUS 41740 HAS SOUPS 38065 WITH SCORE 38198.219
AT ITER 2725 NEW BEST:: SOT 200409 SOS 133225 HAS SOPS 120469 HAS SOUS 41710 HAS SOUPS 38035 WITH SCORE 38168.225
AT ITER 2744 NEW BEST:: SOT 200377 SOS 133167 HAS SOPS 120385 HAS SOUS 41672 HAS SOUPS 37997 WITH SCORE 38130.167
AT ITER 2750 NEW BEST:: SOT 200369 SOS 133145 HAS SOPS 120349 HAS SOUS 41664 HAS SOUPS 37989 WITH SCORE 38122.145
AT ITER 2751 NEW BEST:: SOT 200394 SOS 133132 HAS SOPS 120326 HAS SOUS 41655 HAS SOUPS 37980 WITH SCORE 38113.132
AT ITER 2753 NEW BEST:: SOT 200382 SOS 133088 HAS SOPS 120282 HAS SOUS 41619 HAS SOUPS 37944 WITH SCORE 38077.088
AT ITER 2774 NEW BEST:: SOT 200346 SOS 133028 HAS SOPS 120222 HAS SOUS 41583 HAS SOUPS 37908 WITH SCORE 38041.028
AT ITER 2780 NEW BEST:: SOT 200322 SOS 133004 HAS SOPS 120198 HAS SOUS 41561 HAS SOUPS 37886 WITH SCORE 38019.004
AT ITER 2790 NEW BEST:: SOT 200404 SOS 133086 HAS SOPS 120280 HAS SOUS 41523 HAS SOUPS 37848 WITH SCORE 37981.086
AT ITER 2791 NEW BEST:: SOT 200423 SOS 133046 HAS SOPS 120240 HAS SOUS 41519 HAS SOUPS 37844 WITH SCORE 37977.046
AT ITER 2800 NEW BEST:: SOT 200442 SOS 133087 HAS SOPS 120281 HAS SOUS 41507 HAS SOUPS 37832 WITH SCORE 37965.087
AT ITER 2807 NEW BEST:: SOT 200362 SOS 133005 HAS SOPS 120199 HAS SOUS 41458 HAS SOUPS 37783 WITH SCORE 37916.005
AT ITER 2809 NEW BEST:: SOT 200269 SOS 132475 HAS SOPS 119669 HAS SOUS 41349 HAS SOUPS 37674 WITH SCORE 37806.475
AT ITER 2864 NEW BEST:: SOT 200263 SOS 132465 HAS SOPS 119659 HAS SOUS 41339 HAS SOUPS 37664 WITH SCORE 37796.465
AT ITER 2866 NEW BEST:: SOT 199686 SOS 134960 HAS SOPS 121516 HAS SOUS 41268 HAS SOUPS 37542 WITH SCORE 37676.96
AT ITER 2877 NEW BEST:: SOT 199677 SOS 134951 HAS SOPS 121507 HAS SOUS 41250 HAS SOUPS 37524 WITH SCORE 37658.951
AT ITER 2882 NEW BEST:: SOT 199586 SOS 134860 HAS SOPS 121416 HAS SOUS 41159 HAS SOUPS 37433 WITH SCORE 37567.86
AT ITER 2899 NEW BEST:: SOT 199560 SOS 134834 HAS SOPS 121390 HAS SOUS 41107 HAS SOUPS 37381 WITH SCORE 37515.834
AT ITER 2903 NEW BEST:: SOT 199540 SOS 134814 HAS SOPS 121370 HAS SOUS 41087 HAS SOUPS 37361 WITH SCORE 37495.814
AT ITER 2912 NEW BEST:: SOT 199524 SOS 134798 HAS SOPS 121354 HAS SOUS 40998 HAS SOUPS 37272 WITH SCORE 37406.798
AT ITER 2933 NEW BEST:: SOT 199460 SOS 134734 HAS SOPS 121290 HAS SOUS 40998 HAS SOUPS 37272 WITH SCORE 37406.734
AT ITER 2961 NEW BEST:: SOT 199493 SOS 134013 HAS SOPS 120569 HAS SOUS 40975 HAS SOUPS 37249 WITH SCORE 37383.013
AT ITER 2962 NEW BEST:: SOT 199098 SOS 135383 HAS SOPS 120258 HAS SOUS 40682 HAS SOUPS 36866 WITH SCORE 37001.383
AT ITER 2968 NEW BEST:: SOT 198982 SOS 134977 HAS SOPS 119852 HAS SOUS 40636 HAS SOUPS 36820 WITH SCORE 36954.977
AT ITER 2984 NEW BEST:: SOT 198980 SOS 134975 HAS SOPS 119850 HAS SOUS 40635 HAS SOUPS 36819 WITH SCORE 36953.975
AT ITER 3014 NEW BEST:: SOT 198970 SOS 134970 HAS SOPS 119845 HAS SOUS 40629 HAS SOUPS 36813 WITH SCORE 36947.97
AT ITER 3029 NEW BEST:: SOT 198996 SOS 134996 HAS SOPS 119871 HAS SOUS 40626 HAS SOUPS 36810 WITH SCORE 36944.996
AT ITER 3052 NEW BEST:: SOT 199115 SOS 135115 HAS SOPS 119868 HAS SOUS 40560 HAS SOUPS 36744 WITH SCORE 36879.115
AT ITER 3053 NEW BEST:: SOT 199264 SOS 135242 HAS SOPS 119995 HAS SOUS 40548 HAS SOUPS 36732 WITH SCORE 36867.242
AT ITER 3088 NEW BEST:: SOT 199085 SOS 134756 HAS SOPS 119833 HAS SOUS 40352 HAS SOUPS 36715 WITH SCORE 36849.756
AT ITER 3092 NEW BEST:: SOT 199072 SOS 134743 HAS SOPS 119776 HAS SOUS 40370 HAS SOUPS 36689 WITH SCORE 36823.743
AT ITER 3094 NEW BEST:: SOT 199072 SOS 134743 HAS SOPS 119776 HAS SOUS 40346 HAS SOUPS 36665 WITH SCORE 36799.743
AT ITER 3098 NEW BEST:: SOT 199162 SOS 134761 HAS SOPS 119794 HAS SOUS 40292 HAS SOUPS 36611 WITH SCORE 36745.761
AT ITER 3108 NEW BEST:: SOT 199124 SOS 134723 HAS SOPS 119756 HAS SOUS 40273 HAS SOUPS 36592 WITH SCORE 36726.723
AT ITER 3110 NEW BEST:: SOT 199117 SOS 134695 HAS SOPS 119728 HAS SOUS 40266 HAS SOUPS 36585 WITH SCORE 36719.695
AT ITER 3129 NEW BEST:: SOT 199016 SOS 134463 HAS SOPS 119496 HAS SOUS 40216 HAS SOUPS 36535 WITH SCORE 36669.463
AT ITER 3161 NEW BEST:: SOT 198947 SOS 134335 HAS SOPS 119368 HAS SOUS 40137 HAS SOUPS 36456 WITH SCORE 36590.335
AT ITER 3166 NEW BEST:: SOT 198945 SOS 134333 HAS SOPS 119366 HAS SOUS 40133 HAS SOUPS 36452 WITH SCORE 36586.333
AT ITER 3205 NEW BEST:: SOT 198938 SOS 134326 HAS SOPS 119359 HAS SOUS 40119 HAS SOUPS 36438 WITH SCORE 36572.326
AT ITER 3210 NEW BEST:: SOT 198938 SOS 134326 HAS SOPS 119359 HAS SOUS 40075 HAS SOUPS 36394 WITH SCORE 36528.326
AT ITER 3216 NEW BEST:: SOT 198840 SOS 134136 HAS SOPS 119077 HAS SOUS 39793 HAS SOUPS 36112 WITH SCORE 36246.136
AT ITER 3217 NEW BEST:: SOT 198759 SOS 134055 HAS SOPS 118996 HAS SOUS 39712 HAS SOUPS 36031 WITH SCORE 36165.055
AT ITER 3221 NEW BEST:: SOT 198747 SOS 134043 HAS SOPS 119004 HAS SOUS 39662 HAS SOUPS 35981 WITH SCORE 36115.043
AT ITER 3231 NEW BEST:: SOT 198637 SOS 133878 HAS SOPS 118784 HAS SOUS 39497 HAS SOUPS 35816 WITH SCORE 35949.878
AT ITER 3247 NEW BEST:: SOT 198553 SOS 133624 HAS SOPS 118530 HAS SOUS 39481 HAS SOUPS 35800 WITH SCORE 35933.624
AT ITER 3251 NEW BEST:: SOT 198468 SOS 133540 HAS SOPS 118440 HAS SOUS 39476 HAS SOUPS 35789 WITH SCORE 35922.54
AT ITER 3275 NEW BEST:: SOT 198294 SOS 133250 HAS SOPS 118150 HAS SOUS 39418 HAS SOUPS 35731 WITH SCORE 35864.25
AT ITER 3290 NEW BEST:: SOT 198245 SOS 133150 HAS SOPS 118050 HAS SOUS 39318 HAS SOUPS 35631 WITH SCORE 35764.15
AT ITER 3295 NEW BEST:: SOT 198100 SOS 132860 HAS SOPS 117905 HAS SOUS 39049 HAS SOUPS 35507 WITH SCORE 35639.86
AT ITER 3298 NEW BEST:: SOT 197896 SOS 132932 HAS SOPS 117954 HAS SOUS 39028 HAS SOUPS 35431 WITH SCORE 35563.932
AT ITER 3302 NEW BEST:: SOT 197759 SOS 132792 HAS SOPS 117814 HAS SOUS 38866 HAS SOUPS 35269 WITH SCORE 35401.792
AT ITER 3308 NEW BEST:: SOT 197693 SOS 132693 HAS SOPS 117682 HAS SOUS 38767 HAS SOUPS 35170 WITH SCORE 35302.693
AT ITER 3351 NEW BEST:: SOT 197693 SOS 132693 HAS SOPS 117682 HAS SOUS 38742 HAS SOUPS 35145 WITH SCORE 35277.693
AT ITER 3357 NEW BEST:: SOT 197685 SOS 132681 HAS SOPS 117670 HAS SOUS 38734 HAS SOUPS 35137 WITH SCORE 35269.681
AT ITER 3373 NEW BEST:: SOT 197685 SOS 132669 HAS SOPS 117658 HAS SOUS 38734 HAS SOUPS 35137 WITH SCORE 35269.669
AT ITER 3380 NEW BEST:: SOT 197649 SOS 132642 HAS SOPS 117611 HAS SOUS 38692 HAS SOUPS 35090 WITH SCORE 35222.642
AT ITER 3385 NEW BEST:: SOT 197692 SOS 132685 HAS SOPS 117654 HAS SOUS 38667 HAS SOUPS 35065 WITH SCORE 35197.685
AT ITER 3402 NEW BEST:: SOT 197709 SOS 132293 HAS SOPS 117262 HAS SOUS 38653 HAS SOUPS 35051 WITH SCORE 35183.293
AT ITER 3425 NEW BEST:: SOT 197685 SOS 132251 HAS SOPS 117220 HAS SOUS 38611 HAS SOUPS 35009 WITH SCORE 35141.251
AT ITER 3431 NEW BEST:: SOT 197684 SOS 132250 HAS SOPS 117219 HAS SOUS 38588 HAS SOUPS 34986 WITH SCORE 35118.25
AT ITER 3464 NEW BEST:: SOT 197678 SOS 132249 HAS SOPS 117201 HAS SOUS 38570 HAS SOUPS 34968 WITH SCORE 35100.249
AT ITER 3474 NEW BEST:: SOT 197516 SOS 132080 HAS SOPS 117032 HAS SOUS 38356 HAS SOUPS 34754 WITH SCORE 34886.08
AT ITER 3478 NEW BEST:: SOT 197497 SOS 132061 HAS SOPS 117013 HAS SOUS 38318 HAS SOUPS 34716 WITH SCORE 34848.061
AT ITER 3553 NEW BEST:: SOT 197490 SOS 131373 HAS SOPS 116325 HAS SOUS 38311 HAS SOUPS 34709 WITH SCORE 34840.373
AT ITER 3560 NEW BEST:: SOT 197537 SOS 131420 HAS SOPS 116372 HAS SOUS 38299 HAS SOUPS 34697 WITH SCORE 34828.42
AT ITER 3563 NEW BEST:: SOT 197529 SOS 131412 HAS SOPS 116364 HAS SOUS 38291 HAS SOUPS 34689 WITH SCORE 34820.412
AT ITER 3577 NEW BEST:: SOT 197515 SOS 131384 HAS SOPS 116350 HAS SOUS 38282 HAS SOUPS 34687 WITH SCORE 34818.384
AT ITER 3600 NEW BEST:: SOT 197492 SOS 131361 HAS SOPS 116327 HAS SOUS 38259 HAS SOUPS 34664 WITH SCORE 34795.361
AT ITER 3616 NEW BEST:: SOT 197486 SOS 131355 HAS SOPS 116321 HAS SOUS 38253 HAS SOUPS 34658 WITH SCORE 34789.355
AT ITER 3619 NEW BEST:: SOT 197472 SOS 131299 HAS SOPS 116265 HAS SOUS 38232 HAS SOUPS 34637 WITH SCORE 34768.299
AT ITER 3639 NEW BEST:: SOT 197433 SOS 131143 HAS SOPS 116109 HAS SOUS 38232 HAS SOUPS 34637 WITH SCORE 34768.143
AT ITER 3642 NEW BEST:: SOT 197453 SOS 131090 HAS SOPS 115994 HAS SOUS 38221 HAS SOUPS 34595 WITH SCORE 34726.09
AT ITER 3649 NEW BEST:: SOT 197453 SOS 130989 HAS SOPS 115822 HAS SOUS 38170 HAS SOUPS 34544 WITH SCORE 34674.989
AT ITER 3667 NEW BEST:: SOT 197399 SOS 130896 HAS SOPS 115729 HAS SOUS 38103 HAS SOUPS 34477 WITH SCORE 34607.896
AT ITER 3679 NEW BEST:: SOT 197915 SOS 130872 HAS SOPS 115705 HAS SOUS 38079 HAS SOUPS 34453 WITH SCORE 34583.872
AT ITER 3697 NEW BEST:: SOT 197937 SOS 130760 HAS SOPS 115703 HAS SOUS 38023 HAS SOUPS 34419 WITH SCORE 34549.76
AT ITER 3716 NEW BEST:: SOT 197956 SOS 130779 HAS SOPS 115722 HAS SOUS 38014 HAS SOUPS 34410 WITH SCORE 34540.779
AT ITER 3719 NEW BEST:: SOT 197789 SOS 130602 HAS SOPS 115545 HAS SOUS 38008 HAS SOUPS 34404 WITH SCORE 34534.602
AT ITER 3733 NEW BEST:: SOT 197770 SOS 130573 HAS SOPS 115516 HAS SOUS 37895 HAS SOUPS 34291 WITH SCORE 34421.573
AT ITER 3738 NEW BEST:: SOT 197762 SOS 130565 HAS SOPS 115500 HAS SOUS 37883 HAS SOUPS 34275 WITH SCORE 34405.565
AT ITER 3745 NEW BEST:: SOT 197710 SOS 131200 HAS SOPS 115448 HAS SOUS 37790 HAS SOUPS 34044 WITH SCORE 34175.2
AT ITER 3779 NEW BEST:: SOT 197708 SOS 131198 HAS SOPS 115446 HAS SOUS 37786 HAS SOUPS 34040 WITH SCORE 34171.198
AT ITER 3796 NEW BEST:: SOT 197680 SOS 131170 HAS SOPS 115418 HAS SOUS 37758 HAS SOUPS 34012 WITH SCORE 34143.17
AT ITER 3809 NEW BEST:: SOT 197308 SOS 130769 HAS SOPS 115075 HAS SOUS 37415 HAS SOUPS 33669 WITH SCORE 33799.769
AT ITER 3814 NEW BEST:: SOT 197260 SOS 130705 HAS SOPS 115011 HAS SOUS 37383 HAS SOUPS 33637 WITH SCORE 33767.705
AT ITER 3822 NEW BEST:: SOT 197052 SOS 130919 HAS SOPS 115241 HAS SOUS 37187 HAS SOUPS 33441 WITH SCORE 33571.919
AT ITER 3831 NEW BEST:: SOT 196980 SOS 130847 HAS SOPS 115169 HAS SOUS 37187 HAS SOUPS 33441 WITH SCORE 33571.847
AT ITER 3882 NEW BEST:: SOT 196995 SOS 130862 HAS SOPS 115184 HAS SOUS 37173 HAS SOUPS 33427 WITH SCORE 33557.862
AT ITER 3930 NEW BEST:: SOT 196971 SOS 130826 HAS SOPS 115136 HAS SOUS 37173 HAS SOUPS 33415 WITH SCORE 33545.826
AT ITER 3935 NEW BEST:: SOT 196964 SOS 130812 HAS SOPS 115126 HAS SOUS 37152 HAS SOUPS 33394 WITH SCORE 33524.812
AT ITER 3936 NEW BEST:: SOT 197424 SOS 128255 HAS SOPS 113176 HAS SOUS 37106 HAS SOUPS 33392 WITH SCORE 33520.255
AT ITER 3952 NEW BEST:: SOT 197306 SOS 128284 HAS SOPS 113303 HAS SOUS 36994 HAS SOUPS 33280 WITH SCORE 33408.284
AT ITER 3962 NEW BEST:: SOT 197298 SOS 128414 HAS SOPS 113433 HAS SOUS 36963 HAS SOUPS 33249 WITH SCORE 33377.414
AT ITER 3975 NEW BEST:: SOT 197220 SOS 128310 HAS SOPS 113303 HAS SOUS 36885 HAS SOUPS 33171 WITH SCORE 33299.31
AT ITER 3992 NEW BEST:: SOT 197152 SOS 128696 HAS SOPS 113541 HAS SOUS 36850 HAS SOUPS 33086 WITH SCORE 33214.696
AT ITER 3996 NEW BEST:: SOT 197135 SOS 128679 HAS SOPS 113524 HAS SOUS 36816 HAS SOUPS 33052 WITH SCORE 33180.679
AT ITER 3998 NEW BEST:: SOT 197063 SOS 128607 HAS SOPS 113452 HAS SOUS 36744 HAS SOUPS 32980 WITH SCORE 33108.607
AT ITER 4003 NEW BEST:: SOT 197033 SOS 128620 HAS SOPS 113465 HAS SOUS 36735 HAS SOUPS 32971 WITH SCORE 33099.62
AT ITER 4028 NEW BEST:: SOT 197032 SOS 128598 HAS SOPS 113421 HAS SOUS 36733 HAS SOUPS 32969 WITH SCORE 33097.598
AT ITER 4029 NEW BEST:: SOT 197050 SOS 128662 HAS SOPS 113485 HAS SOUS 36724 HAS SOUPS 32960 WITH SCORE 33088.662
AT ITER 4030 NEW BEST:: SOT 197048 SOS 128654 HAS SOPS 113477 HAS SOUS 36724 HAS SOUPS 32960 WITH SCORE 33088.654
AT ITER 4043 NEW BEST:: SOT 196885 SOS 128491 HAS SOPS 113314 HAS SOUS 36688 HAS SOUPS 32924 WITH SCORE 33052.491
AT ITER 4053 NEW BEST:: SOT 196753 SOS 128359 HAS SOPS 113182 HAS SOUS 36523 HAS SOUPS 32759 WITH SCORE 32887.359
AT ITER 4064 NEW BEST:: SOT 196639 SOS 128245 HAS SOPS 113068 HAS SOUS 36412 HAS SOUPS 32648 WITH SCORE 32776.245
AT ITER 4080 NEW BEST:: SOT 196633 SOS 128239 HAS SOPS 113050 HAS SOUS 36394 HAS SOUPS 32630 WITH SCORE 32758.239
AT ITER 4092 NEW BEST:: SOT 196603 SOS 128209 HAS SOPS 113020 HAS SOUS 36364 HAS SOUPS 32600 WITH SCORE 32728.209
AT ITER 4095 NEW BEST:: SOT 196603 SOS 128209 HAS SOPS 113020 HAS SOUS 36333 HAS SOUPS 32569 WITH SCORE 32697.209
AT ITER 4103 NEW BEST:: SOT 196583 SOS 128169 HAS SOPS 112980 HAS SOUS 36303 HAS SOUPS 32539 WITH SCORE 32667.169
AT ITER 4117 NEW BEST:: SOT 196583 SOS 128091 HAS SOPS 112902 HAS SOUS 36303 HAS SOUPS 32539 WITH SCORE 32667.091
AT ITER 4123 NEW BEST:: SOT 196629 SOS 128137 HAS SOPS 112948 HAS SOUS 36240 HAS SOUPS 32476 WITH SCORE 32604.137
AT ITER 4124 NEW BEST:: SOT 196632 SOS 128140 HAS SOPS 112945 HAS SOUS 36237 HAS SOUPS 32473 WITH SCORE 32601.14
AT ITER 4135 NEW BEST:: SOT 196632 SOS 128140 HAS SOPS 112945 HAS SOUS 36233 HAS SOUPS 32469 WITH SCORE 32597.14
AT ITER 4141 NEW BEST:: SOT 196651 SOS 128159 HAS SOPS 112964 HAS SOUS 36215 HAS SOUPS 32451 WITH SCORE 32579.159
AT ITER 4153 NEW BEST:: SOT 196649 SOS 128145 HAS SOPS 112950 HAS SOUS 36205 HAS SOUPS 32441 WITH SCORE 32569.145
AT ITER 4158 NEW BEST:: SOT 196645 SOS 128141 HAS SOPS 112958 HAS SOUS 36201 HAS SOUPS 32441 WITH SCORE 32569.141
AT ITER 4164 NEW BEST:: SOT 196657 SOS 128153 HAS SOPS 112970 HAS SOUS 36195 HAS SOUPS 32435 WITH SCORE 32563.153
AT ITER 4168 NEW BEST:: SOT 196639 SOS 128194 HAS SOPS 113011 HAS SOUS 36188 HAS SOUPS 32428 WITH SCORE 32556.194
AT ITER 4172 NEW BEST:: SOT 196648 SOS 128203 HAS SOPS 113020 HAS SOUS 36184 HAS SOUPS 32424 WITH SCORE 32552.203
AT ITER 4190 NEW BEST:: SOT 196632 SOS 128187 HAS SOPS 113004 HAS SOUS 36164 HAS SOUPS 32404 WITH SCORE 32532.187
AT ITER 4212 NEW BEST:: SOT 196616 SOS 128171 HAS SOPS 112972 HAS SOUS 36164 HAS SOUPS 32388 WITH SCORE 32516.171
AT ITER 4226 NEW BEST:: SOT 196560 SOS 128100 HAS SOPS 112873 HAS SOUS 36093 HAS SOUPS 32317 WITH SCORE 32445.1
AT ITER 4241 NEW BEST:: SOT 196531 SOS 128071 HAS SOPS 112844 HAS SOUS 36062 HAS SOUPS 32286 WITH SCORE 32414.071
AT ITER 4265 NEW BEST:: SOT 196540 SOS 128239 HAS SOPS 112852 HAS SOUS 36036 HAS SOUPS 32207 WITH SCORE 32335.239
AT ITER 4276 NEW BEST:: SOT 196440 SOS 128130 HAS SOPS 112743 HAS SOUS 35986 HAS SOUPS 32157 WITH SCORE 32285.13
AT ITER 4287 NEW BEST:: SOT 196388 SOS 128072 HAS SOPS 112685 HAS SOUS 35954 HAS SOUPS 32125 WITH SCORE 32253.072
AT ITER 4322 NEW BEST:: SOT 196383 SOS 128057 HAS SOPS 112670 HAS SOUS 35944 HAS SOUPS 32115 WITH SCORE 32243.057
AT ITER 4366 NEW BEST:: SOT 196552 SOS 128418 HAS SOPS 112661 HAS SOUS 35992 HAS SOUPS 31936 WITH SCORE 32064.418
AT ITER 4434 NEW BEST:: SOT 196525 SOS 128446 HAS SOPS 112689 HAS SOUS 35988 HAS SOUPS 31932 WITH SCORE 32060.446
AT ITER 4445 NEW BEST:: SOT 196507 SOS 128419 HAS SOPS 112653 HAS SOUS 35961 HAS SOUPS 31905 WITH SCORE 32033.419
AT ITER 4447 NEW BEST:: SOT 196494 SOS 128393 HAS SOPS 112614 HAS SOUS 35922 HAS SOUPS 31866 WITH SCORE 31994.393
AT ITER 4470 NEW BEST:: SOT 196256 SOS 128155 HAS SOPS 112432 HAS SOUS 35670 HAS SOUPS 31614 WITH SCORE 31742.155
AT ITER 4476 NEW BEST:: SOT 196325 SOS 128224 HAS SOPS 112501 HAS SOUS 35649 HAS SOUPS 31593 WITH SCORE 31721.224
AT ITER 4480 NEW BEST:: SOT 196325 SOS 128224 HAS SOPS 112501 HAS SOUS 35639 HAS SOUPS 31583 WITH SCORE 31711.224
AT ITER 4482 NEW BEST:: SOT 196335 SOS 128234 HAS SOPS 112511 HAS SOUS 35629 HAS SOUPS 31573 WITH SCORE 31701.234
AT ITER 4493 NEW BEST:: SOT 196335 SOS 128234 HAS SOPS 112511 HAS SOUS 35622 HAS SOUPS 31566 WITH SCORE 31694.234
AT ITER 4497 NEW BEST:: SOT 196336 SOS 128235 HAS SOPS 112536 HAS SOUS 35499 HAS SOUPS 31443 WITH SCORE 31571.235
AT ITER 4498 NEW BEST:: SOT 196328 SOS 128219 HAS SOPS 112512 HAS SOUS 35475 HAS SOUPS 31419 WITH SCORE 31547.219
AT ITER 4517 NEW BEST:: SOT 196302 SOS 128193 HAS SOPS 112486 HAS SOUS 35437 HAS SOUPS 31381 WITH SCORE 31509.193
AT ITER 4518 NEW BEST:: SOT 196259 SOS 128150 HAS SOPS 112443 HAS SOUS 35394 HAS SOUPS 31338 WITH SCORE 31466.15
AT ITER 4523 NEW BEST:: SOT 196259 SOS 128049 HAS SOPS 112342 HAS SOUS 35293 HAS SOUPS 31237 WITH SCORE 31365.049
AT ITER 4549 NEW BEST:: SOT 196259 SOS 128049 HAS SOPS 112342 HAS SOUS 35251 HAS SOUPS 31195 WITH SCORE 31323.049
AT ITER 4565 NEW BEST:: SOT 196259 SOS 127519 HAS SOPS 111812 HAS SOUS 35251 HAS SOUPS 31195 WITH SCORE 31322.519
AT ITER 4607 NEW BEST:: SOT 196252 SOS 127233 HAS SOPS 111526 HAS SOUS 35244 HAS SOUPS 31188 WITH SCORE 31315.233
AT ITER 4617 NEW BEST:: SOT 196090 SOS 127033 HAS SOPS 111326 HAS SOUS 35148 HAS SOUPS 31092 WITH SCORE 31219.033
AT ITER 4657 NEW BEST:: SOT 196121 SOS 126757 HAS SOPS 111050 HAS SOUS 35121 HAS SOUPS 31065 WITH SCORE 31191.757
AT ITER 4674 NEW BEST:: SOT 196113 SOS 126749 HAS SOPS 111042 HAS SOUS 35110 HAS SOUPS 31054 WITH SCORE 31180.749
AT ITER 4683 NEW BEST:: SOT 196131 SOS 126767 HAS SOPS 111060 HAS SOUS 35030 HAS SOUPS 30974 WITH SCORE 31100.767
AT ITER 4714 NEW BEST:: SOT 196131 SOS 126767 HAS SOPS 111060 HAS SOUS 35004 HAS SOUPS 30948 WITH SCORE 31074.767
AT ITER 4734 NEW BEST:: SOT 196120 SOS 126747 HAS SOPS 111047 HAS SOUS 35000 HAS SOUPS 30944 WITH SCORE 31070.747
AT ITER 4758 NEW BEST:: SOT 196120 SOS 126730 HAS SOPS 111030 HAS SOUS 35000 HAS SOUPS 30944 WITH SCORE 31070.73
AT ITER 4759 NEW BEST:: SOT 196096 SOS 126694 HAS SOPS 110994 HAS SOUS 34976 HAS SOUPS 30920 WITH SCORE 31046.694
AT ITER 4780 NEW BEST:: SOT 196096 SOS 126694 HAS SOPS 110994 HAS SOUS 34956 HAS SOUPS 30900 WITH SCORE 31026.694
AT ITER 4790 NEW BEST:: SOT 196096 SOS 126694 HAS SOPS 110994 HAS SOUS 34952 HAS SOUPS 30896 WITH SCORE 31022.694
AT ITER 4835 NEW BEST:: SOT 196045 SOS 126620 HAS SOPS 110897 HAS SOUS 34906 HAS SOUPS 30827 WITH SCORE 30953.62
AT ITER 4841 NEW BEST:: SOT 196025 SOS 126603 HAS SOPS 110880 HAS SOUS 34891 HAS SOUPS 30812 WITH SCORE 30938.603
AT ITER 4857 NEW BEST:: SOT 195985 SOS 126779 HAS SOPS 111056 HAS SOUS 34871 HAS SOUPS 30792 WITH SCORE 30918.779
AT ITER 4920 NEW BEST:: SOT 195969 SOS 126815 HAS SOPS 111092 HAS SOUS 34847 HAS SOUPS 30768 WITH SCORE 30894.815
AT ITER 4929 NEW BEST:: SOT 195995 SOS 126841 HAS SOPS 111118 HAS SOUS 34797 HAS SOUPS 30718 WITH SCORE 30844.841
AT ITER 4932 NEW BEST:: SOT 196019 SOS 126865 HAS SOPS 111142 HAS SOUS 34773 HAS SOUPS 30694 WITH SCORE 30820.865
AT ITER 4945 NEW BEST:: SOT 196012 SOS 126865 HAS SOPS 111142 HAS SOUS 34752 HAS SOUPS 30673 WITH SCORE 30799.865
AT ITER 4949 NEW BEST:: SOT 196007 SOS 126860 HAS SOPS 111137 HAS SOUS 34747 HAS SOUPS 30668 WITH SCORE 30794.86
AT ITER 4972 NEW BEST:: SOT 196000 SOS 126853 HAS SOPS 111116 HAS SOUS 34740 HAS SOUPS 30647 WITH SCORE 30773.853
AT ITER 4983 NEW BEST:: SOT 196037 SOS 126821 HAS SOPS 111084 HAS SOUS 34700 HAS SOUPS 30607 WITH SCORE 30733.821
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Vasy2003-PT-none-CTLCardinality-00 (EF((AF(( potential( ( 2 ) <= (tk(P436)) ) | potential( ( 2 ) <= (tk(P73)) ) )))))
PROPERTY: Vasy2003-PT-none-CTLCardinality-01 ( (AG( (AF(potential( (tk(P66)) <= (tk(P104)) ))))) | (AU( potential( (tk(P192)) <= (tk(P348)) ),(! potential( (tk(P236)) <= (tk(P173)) )) )) )
PROPERTY: Vasy2003-PT-none-CTLCardinality-02 (! (EF((! ( potential( ( 2 ) <= (tk(P111)) ) | potential( (tk(P384)) <= (tk(P5)) ) )))))
PROPERTY: Vasy2003-PT-none-CTLCardinality-03 ( (! (EU( potential( (tk(P66)) <= (tk(P94)) ),potential( ( 2 ) <= (tk(P13)) ) ))) | ( (EX( potential( (tk(P225)) <= (tk(P166)) ))) & potential( ( 1 ) <= (tk(P298)) ) ) )
PROPERTY: Vasy2003-PT-none-CTLCardinality-04 ( ( (! (EX( potential( (tk(P147)) <= (tk(P421)) )))) | potential( (tk(P25)) <= (tk(P115)) ) ) & (EF(( ( potential( (tk(P217)) <= (tk(P346)) ) & potential( (tk(P144)) <= (tk(P170)) ) ) & ( potential( ( 3 ) <= (tk(P449)) ) & potential( ( 2 ) <= (tk(P348)) ) ) ))) )
PROPERTY: Vasy2003-PT-none-CTLCardinality-05 (AG( ( (AF(potential( ( 1 ) <= (tk(P25)) ))) & ( ( potential( ( 1 ) <= (tk(P12)) ) | potential( (tk(P463)) <= (tk(P29)) ) ) | ( potential( (tk(P388)) <= (tk(P53)) ) | potential( (tk(P461)) <= (tk(P270)) ) ) ) )))
PROPERTY: Vasy2003-PT-none-CTLCardinality-06 ( (AX( (AG( potential( (tk(P354)) <= (tk(P410)) ))))) | ( potential( ( 2 ) <= (tk(P160)) ) | (EF(( potential( ( 3 ) <= (tk(P442)) ) & potential( (tk(P396)) <= (tk(P61)) ) ))) ) )
PROPERTY: Vasy2003-PT-none-CTLCardinality-07 (AX( (AG( ( potential( (tk(P376)) <= (tk(P421)) ) | potential( (tk(P126)) <= (tk(P173)) ) )))))
PROPERTY: Vasy2003-PT-none-CTLCardinality-08 (EF(( ( ( potential( ( 2 ) <= (tk(P115)) ) & potential( ( 1 ) <= (tk(P244)) ) ) | potential( ( 1 ) <= (tk(P381)) ) ) & ( (! potential( (tk(P330)) <= (tk(P333)) )) & (! potential( ( 2 ) <= (tk(P350)) )) ) )))
PROPERTY: Vasy2003-PT-none-CTLCardinality-09 (! (EU( ( potential( ( 2 ) <= (tk(P214)) ) | potential( (tk(P439)) <= (tk(P259)) ) ),(! potential( (tk(P279)) <= (tk(P270)) )) )))
PROPERTY: Vasy2003-PT-none-CTLCardinality-10 (EF(( (EX( potential( ( 3 ) <= (tk(P92)) ))) | potential( ( 2 ) <= (tk(P93)) ) )))
PROPERTY: Vasy2003-PT-none-CTLCardinality-11 (! (EF((! ( potential( (tk(P220)) <= (tk(P228)) ) | potential( ( 2 ) <= (tk(P365)) ) )))))
PROPERTY: Vasy2003-PT-none-CTLCardinality-12 (AX( (AG( ( potential( ( 2 ) <= (tk(P105)) ) | potential( (tk(P475)) <= (tk(P200)) ) )))))
PROPERTY: Vasy2003-PT-none-CTLCardinality-13 (! (EF((AG( potential( ( 2 ) <= (tk(P437)) ))))))
PROPERTY: Vasy2003-PT-none-CTLCardinality-14 ( ( (EU( potential( (tk(P402)) <= (tk(P380)) ),potential( ( 3 ) <= (tk(P477)) ) )) & ( ( potential( ( 1 ) <= (tk(P142)) ) | (! potential( (tk(P315)) <= (tk(P119)) )) ) | (AG( potential( (tk(P315)) <= (tk(P169)) ))) ) ) | ( (AU( potential( (tk(P81)) <= (tk(P52)) ),potential( ( 3 ) <= (tk(P293)) ) )) | (EG( potential( ( 3 ) <= (tk(P457)) ))) ) )
PROPERTY: Vasy2003-PT-none-CTLCardinality-15 (! (EU( ( potential( (tk(P61)) <= (tk(P374)) ) | potential( ( 1 ) <= (tk(P359)) ) ),( potential( ( 2 ) <= (tk(P213)) ) | potential( ( 3 ) <= (tk(P7)) ) ) )))

BK_STOP 1590411427026

--------------------
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: 476 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="Vasy2003-PT-none"
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 Vasy2003-PT-none, 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 r190-csrt-159033383000603"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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