Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534800616.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is Peterson-PT-3, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534800616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.6M
-rw-r--r-- 1 mcc users 29K Feb 25 22:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 157K Feb 25 22:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 40K Feb 25 22:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 194K Feb 25 22:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 15K Feb 25 16:31 LTLCardinality.txt
-rw-r--r-- 1 mcc users 50K Feb 25 16:31 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:31 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:31 LTLFireability.xml
-rw-r--r-- 1 mcc users 93K Feb 25 22:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 439K Feb 25 22:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 58K Feb 25 22:11 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 283K Feb 25 22:11 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:31 UpperBounds.txt
-rw-r--r-- 1 mcc users 11K Feb 25 16:31 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 143K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678834419525

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=Peterson-PT-3
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Peterson (PT), instance 3
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 244 places, 332 transitions, 1016 arcs.
AT ITER 0 NEW BEST:: SOT 54930 SOS 22154 HAS SOPS 20406 HAS SOUS 20904 HAS SOUPS 19885 WITH SCORE 19907.154
AT ITER 1 NEW BEST:: SOT 54930 SOS 22121 HAS SOPS 20406 HAS SOUS 20904 HAS SOUPS 19885 WITH SCORE 19907.121
AT ITER 5 NEW BEST:: SOT 54923 SOS 22107 HAS SOPS 20392 HAS SOUS 20890 HAS SOUPS 19871 WITH SCORE 19893.107
AT ITER 12 NEW BEST:: SOT 54903 SOS 22066 HAS SOPS 20410 HAS SOUS 20844 HAS SOUPS 19845 WITH SCORE 19867.066
AT ITER 16 NEW BEST:: SOT 54836 SOS 21807 HAS SOPS 20315 HAS SOUS 20704 HAS SOUPS 19772 WITH SCORE 19793.807
AT ITER 19 NEW BEST:: SOT 54630 SOS 21698 HAS SOPS 20418 HAS SOUS 20519 HAS SOUPS 19733 WITH SCORE 19754.698
AT ITER 20 NEW BEST:: SOT 54630 SOS 21639 HAS SOPS 20418 HAS SOUS 20519 HAS SOUPS 19733 WITH SCORE 19754.639
AT ITER 23 NEW BEST:: SOT 54610 SOS 21645 HAS SOPS 20424 HAS SOUS 20499 HAS SOUPS 19713 WITH SCORE 19734.645
AT ITER 25 NEW BEST:: SOT 54581 SOS 21938 HAS SOPS 20741 HAS SOUS 20468 HAS SOUPS 19694 WITH SCORE 19715.938
AT ITER 29 NEW BEST:: SOT 54581 SOS 21933 HAS SOPS 20741 HAS SOUS 20463 HAS SOUPS 19694 WITH SCORE 19715.933
AT ITER 36 NEW BEST:: SOT 54460 SOS 21857 HAS SOPS 20665 HAS SOUS 20353 HAS SOUPS 19584 WITH SCORE 19605.857
AT ITER 38 NEW BEST:: SOT 54418 SOS 21773 HAS SOPS 20581 HAS SOUS 20269 HAS SOUPS 19500 WITH SCORE 19521.773
AT ITER 47 NEW BEST:: SOT 54505 SOS 21977 HAS SOPS 20506 HAS SOUS 20233 HAS SOUPS 19371 WITH SCORE 19392.977
AT ITER 49 NEW BEST:: SOT 54457 SOS 21881 HAS SOPS 20410 HAS SOUS 20137 HAS SOUPS 19275 WITH SCORE 19296.881
AT ITER 50 NEW BEST:: SOT 54446 SOS 21833 HAS SOPS 20349 HAS SOUS 20115 HAS SOUPS 19253 WITH SCORE 19274.833
AT ITER 58 NEW BEST:: SOT 54380 SOS 22032 HAS SOPS 20283 HAS SOUS 20157 HAS SOUPS 19237 WITH SCORE 19259.032
AT ITER 59 NEW BEST:: SOT 54369 SOS 21966 HAS SOPS 20228 HAS SOUS 20135 HAS SOUPS 19215 WITH SCORE 19236.966
AT ITER 61 NEW BEST:: SOT 54352 SOS 21875 HAS SOPS 20137 HAS SOUS 20044 HAS SOUPS 19124 WITH SCORE 19145.875
AT ITER 67 NEW BEST:: SOT 54376 SOS 21546 HAS SOPS 20089 HAS SOUS 19869 HAS SOUPS 19023 WITH SCORE 19044.546
AT ITER 69 NEW BEST:: SOT 54324 SOS 21442 HAS SOPS 19985 HAS SOUS 19765 HAS SOUPS 18919 WITH SCORE 18940.442
AT ITER 71 NEW BEST:: SOT 54284 SOS 21436 HAS SOPS 19979 HAS SOUS 19685 HAS SOUPS 18839 WITH SCORE 18860.436
AT ITER 72 NEW BEST:: SOT 54136 SOS 21343 HAS SOPS 19937 HAS SOUS 19601 HAS SOUPS 18822 WITH SCORE 18843.343
AT ITER 77 NEW BEST:: SOT 54004 SOS 21264 HAS SOPS 19901 HAS SOUS 19522 HAS SOUPS 18743 WITH SCORE 18764.264
AT ITER 78 NEW BEST:: SOT 53984 SOS 21253 HAS SOPS 19909 HAS SOUS 19502 HAS SOUPS 18723 WITH SCORE 18744.253
AT ITER 82 NEW BEST:: SOT 53947 SOS 21229 HAS SOPS 19851 HAS SOUS 19503 HAS SOUPS 18690 WITH SCORE 18711.229
AT ITER 94 NEW BEST:: SOT 53900 SOS 21135 HAS SOPS 19616 HAS SOUS 19311 HAS SOUPS 18455 WITH SCORE 18476.135
AT ITER 102 NEW BEST:: SOT 53846 SOS 20989 HAS SOPS 19470 HAS SOUS 19198 HAS SOUPS 18342 WITH SCORE 18362.989
AT ITER 107 NEW BEST:: SOT 53859 SOS 20995 HAS SOPS 19466 HAS SOUS 19194 HAS SOUPS 18338 WITH SCORE 18358.995
AT ITER 111 NEW BEST:: SOT 53893 SOS 20931 HAS SOPS 19527 HAS SOUS 18794 HAS SOUPS 18009 WITH SCORE 18029.931
AT ITER 117 NEW BEST:: SOT 53893 SOS 20897 HAS SOPS 19523 HAS SOUS 18775 HAS SOUPS 18005 WITH SCORE 18025.897
AT ITER 137 NEW BEST:: SOT 53877 SOS 20897 HAS SOPS 19507 HAS SOUS 18743 HAS SOUPS 17973 WITH SCORE 17993.897
AT ITER 138 NEW BEST:: SOT 53881 SOS 20898 HAS SOPS 19497 HAS SOUS 18744 HAS SOUPS 17963 WITH SCORE 17983.898
AT ITER 139 NEW BEST:: SOT 53870 SOS 20759 HAS SOPS 19426 HAS SOUS 18687 HAS SOUPS 17941 WITH SCORE 17961.759
AT ITER 143 NEW BEST:: SOT 53863 SOS 20745 HAS SOPS 19412 HAS SOUS 18673 HAS SOUPS 17927 WITH SCORE 17947.745
AT ITER 144 NEW BEST:: SOT 53873 SOS 20736 HAS SOPS 19432 HAS SOUS 18620 HAS SOUPS 17893 WITH SCORE 17913.736
AT ITER 145 NEW BEST:: SOT 53911 SOS 20760 HAS SOPS 19318 HAS SOUS 18618 HAS SOUPS 17786 WITH SCORE 17806.76
AT ITER 150 NEW BEST:: SOT 53880 SOS 20719 HAS SOPS 19277 HAS SOUS 18577 HAS SOUPS 17745 WITH SCORE 17765.719
AT ITER 152 NEW BEST:: SOT 53855 SOS 20523 HAS SOPS 19180 HAS SOUS 18425 HAS SOUPS 17618 WITH SCORE 17638.523
AT ITER 156 NEW BEST:: SOT 53855 SOS 20459 HAS SOPS 19156 HAS SOUS 18417 HAS SOUPS 17618 WITH SCORE 17638.459
AT ITER 164 NEW BEST:: SOT 53786 SOS 20321 HAS SOPS 19018 HAS SOUS 18279 HAS SOUPS 17480 WITH SCORE 17500.321
AT ITER 176 NEW BEST:: SOT 53782 SOS 20313 HAS SOPS 19010 HAS SOUS 18271 HAS SOUPS 17472 WITH SCORE 17492.313
AT ITER 181 NEW BEST:: SOT 53775 SOS 20299 HAS SOPS 18996 HAS SOUS 18257 HAS SOUPS 17458 WITH SCORE 17478.299
AT ITER 183 NEW BEST:: SOT 53753 SOS 20295 HAS SOPS 18992 HAS SOUS 18222 HAS SOUPS 17423 WITH SCORE 17443.295
AT ITER 195 NEW BEST:: SOT 53625 SOS 20310 HAS SOPS 18877 HAS SOUS 18158 HAS SOUPS 17311 WITH SCORE 17331.31
AT ITER 204 NEW BEST:: SOT 53481 SOS 20198 HAS SOPS 18782 HAS SOUS 18044 HAS SOUPS 17197 WITH SCORE 17217.198
AT ITER 206 NEW BEST:: SOT 53435 SOS 20154 HAS SOPS 18738 HAS SOUS 18000 HAS SOUPS 17153 WITH SCORE 17173.154
AT ITER 216 NEW BEST:: SOT 53434 SOS 20203 HAS SOPS 18787 HAS SOUS 17998 HAS SOUPS 17151 WITH SCORE 17171.203
AT ITER 227 NEW BEST:: SOT 53381 SOS 19894 HAS SOPS 18478 HAS SOUS 17925 HAS SOUPS 17078 WITH SCORE 17097.894
AT ITER 233 NEW BEST:: SOT 53428 SOS 20284 HAS SOPS 18691 HAS SOUS 17729 HAS SOUPS 16882 WITH SCORE 16902.284
AT ITER 238 NEW BEST:: SOT 53298 SOS 20138 HAS SOPS 18599 HAS SOUS 17631 HAS SOUPS 16784 WITH SCORE 16804.138
AT ITER 247 NEW BEST:: SOT 53298 SOS 20145 HAS SOPS 18599 HAS SOUS 17631 HAS SOUPS 16777 WITH SCORE 16797.145
AT ITER 251 NEW BEST:: SOT 53281 SOS 20074 HAS SOPS 18565 HAS SOUS 17597 HAS SOUPS 16743 WITH SCORE 16763.074
AT ITER 253 NEW BEST:: SOT 53264 SOS 20040 HAS SOPS 18531 HAS SOUS 17563 HAS SOUPS 16709 WITH SCORE 16729.04
AT ITER 266 NEW BEST:: SOT 53264 SOS 20025 HAS SOPS 18501 HAS SOUS 17533 HAS SOUPS 16679 WITH SCORE 16699.025
AT ITER 267 NEW BEST:: SOT 53246 SOS 19989 HAS SOPS 18465 HAS SOUS 17497 HAS SOUPS 16643 WITH SCORE 16662.989
AT ITER 271 NEW BEST:: SOT 53139 SOS 19954 HAS SOPS 18325 HAS SOUS 17409 HAS SOUPS 16522 WITH SCORE 16541.954
AT ITER 272 NEW BEST:: SOT 53125 SOS 19891 HAS SOPS 18297 HAS SOUS 17381 HAS SOUPS 16494 WITH SCORE 16513.891
AT ITER 273 NEW BEST:: SOT 53116 SOS 19873 HAS SOPS 18279 HAS SOUS 17363 HAS SOUPS 16476 WITH SCORE 16495.873
AT ITER 274 NEW BEST:: SOT 53110 SOS 19861 HAS SOPS 18267 HAS SOUS 17351 HAS SOUPS 16464 WITH SCORE 16483.861
AT ITER 275 NEW BEST:: SOT 53101 SOS 19843 HAS SOPS 18249 HAS SOUS 17333 HAS SOUPS 16446 WITH SCORE 16465.843
AT ITER 276 NEW BEST:: SOT 53066 SOS 19808 HAS SOPS 18214 HAS SOUS 17298 HAS SOUPS 16411 WITH SCORE 16430.808
AT ITER 279 NEW BEST:: SOT 53045 SOS 19766 HAS SOPS 18172 HAS SOUS 17256 HAS SOUPS 16369 WITH SCORE 16388.766
AT ITER 280 NEW BEST:: SOT 53014 SOS 19703 HAS SOPS 18109 HAS SOUS 17171 HAS SOUPS 16284 WITH SCORE 16303.703
AT ITER 283 NEW BEST:: SOT 53003 SOS 19540 HAS SOPS 18038 HAS SOUS 17038 HAS SOUPS 16175 WITH SCORE 16194.54
AT ITER 286 NEW BEST:: SOT 52929 SOS 19499 HAS SOPS 17915 HAS SOUS 17008 HAS SOUPS 16096 WITH SCORE 16115.499
AT ITER 287 NEW BEST:: SOT 52904 SOS 19610 HAS SOPS 17890 HAS SOUS 17014 HAS SOUPS 16074 WITH SCORE 16093.61
AT ITER 288 NEW BEST:: SOT 52775 SOS 19460 HAS SOPS 17699 HAS SOUS 16822 HAS SOUPS 15882 WITH SCORE 15901.46
AT ITER 289 NEW BEST:: SOT 52771 SOS 19505 HAS SOPS 17747 HAS SOUS 16812 HAS SOUPS 15872 WITH SCORE 15891.505
AT ITER 293 NEW BEST:: SOT 52767 SOS 19488 HAS SOPS 17736 HAS SOUS 16786 HAS SOUPS 15849 WITH SCORE 15868.488
AT ITER 299 NEW BEST:: SOT 52726 SOS 19399 HAS SOPS 17654 HAS SOUS 16704 HAS SOUPS 15767 WITH SCORE 15786.399
AT ITER 314 NEW BEST:: SOT 52687 SOS 19386 HAS SOPS 17645 HAS SOUS 16653 HAS SOUPS 15716 WITH SCORE 15735.386
AT ITER 316 NEW BEST:: SOT 52675 SOS 19308 HAS SOPS 17567 HAS SOUS 16629 HAS SOUPS 15692 WITH SCORE 15711.308
AT ITER 320 NEW BEST:: SOT 52676 SOS 19290 HAS SOPS 17605 HAS SOUS 16344 HAS SOUPS 15462 WITH SCORE 15481.29
AT ITER 327 NEW BEST:: SOT 52647 SOS 19232 HAS SOPS 17547 HAS SOUS 16286 HAS SOUPS 15404 WITH SCORE 15423.232
AT ITER 331 NEW BEST:: SOT 52636 SOS 19246 HAS SOPS 17525 HAS SOUS 16263 HAS SOUPS 15381 WITH SCORE 15400.246
AT ITER 338 NEW BEST:: SOT 52527 SOS 19086 HAS SOPS 17348 HAS SOUS 16154 HAS SOUPS 15255 WITH SCORE 15274.086
AT ITER 340 NEW BEST:: SOT 52527 SOS 19074 HAS SOPS 17336 HAS SOUS 16148 HAS SOUPS 15249 WITH SCORE 15268.074
AT ITER 375 NEW BEST:: SOT 52462 SOS 18803 HAS SOPS 17065 HAS SOUS 16010 HAS SOUPS 15111 WITH SCORE 15129.803
AT ITER 392 NEW BEST:: SOT 52467 SOS 18821 HAS SOPS 17064 HAS SOUS 16009 HAS SOUPS 15110 WITH SCORE 15128.821
AT ITER 402 NEW BEST:: SOT 52376 SOS 18605 HAS SOPS 16882 HAS SOUS 15827 HAS SOUPS 14928 WITH SCORE 14946.605
AT ITER 415 NEW BEST:: SOT 52330 SOS 18588 HAS SOPS 16874 HAS SOUS 15810 HAS SOUPS 14920 WITH SCORE 14938.588
AT ITER 418 NEW BEST:: SOT 52329 SOS 18586 HAS SOPS 16872 HAS SOUS 15808 HAS SOUPS 14918 WITH SCORE 14936.586
AT ITER 425 NEW BEST:: SOT 52279 SOS 18336 HAS SOPS 16622 HAS SOUS 15708 HAS SOUPS 14818 WITH SCORE 14836.336
AT ITER 440 NEW BEST:: SOT 52284 SOS 18136 HAS SOPS 16551 HAS SOUS 15466 HAS SOUPS 14624 WITH SCORE 14642.136
AT ITER 441 NEW BEST:: SOT 52298 SOS 18495 HAS SOPS 16243 HAS SOUS 15494 HAS SOUPS 14538 WITH SCORE 14556.495
AT ITER 471 NEW BEST:: SOT 52285 SOS 18422 HAS SOPS 16217 HAS SOUS 15468 HAS SOUPS 14512 WITH SCORE 14530.422
AT ITER 478 NEW BEST:: SOT 52405 SOS 18291 HAS SOPS 15938 HAS SOUS 15337 HAS SOUPS 14381 WITH SCORE 14399.291
AT ITER 481 NEW BEST:: SOT 52371 SOS 18240 HAS SOPS 15902 HAS SOUS 15301 HAS SOUPS 14345 WITH SCORE 14363.24
AT ITER 484 NEW BEST:: SOT 52376 SOS 18208 HAS SOPS 15870 HAS SOUS 15269 HAS SOUPS 14313 WITH SCORE 14331.208
AT ITER 485 NEW BEST:: SOT 52377 SOS 18687 HAS SOPS 15836 HAS SOUS 15291 HAS SOUPS 14278 WITH SCORE 14296.687
AT ITER 498 NEW BEST:: SOT 52354 SOS 18641 HAS SOPS 15790 HAS SOUS 15245 HAS SOUPS 14232 WITH SCORE 14250.641
AT ITER 499 NEW BEST:: SOT 52354 SOS 18639 HAS SOPS 15782 HAS SOUS 15245 HAS SOUPS 14232 WITH SCORE 14250.639
AT ITER 522 NEW BEST:: SOT 52360 SOS 18619 HAS SOPS 15761 HAS SOUS 15218 HAS SOUPS 14205 WITH SCORE 14223.619
AT ITER 523 NEW BEST:: SOT 52359 SOS 18611 HAS SOPS 15759 HAS SOUS 15214 HAS SOUPS 14202 WITH SCORE 14220.611
AT ITER 525 NEW BEST:: SOT 52344 SOS 18594 HAS SOPS 15742 HAS SOUS 15203 HAS SOUPS 14191 WITH SCORE 14209.594
AT ITER 532 NEW BEST:: SOT 52340 SOS 18574 HAS SOPS 15723 HAS SOUS 15184 HAS SOUPS 14172 WITH SCORE 14190.574
AT ITER 534 NEW BEST:: SOT 52308 SOS 18494 HAS SOPS 15643 HAS SOUS 15120 HAS SOUPS 14108 WITH SCORE 14126.494
AT ITER 557 NEW BEST:: SOT 52306 SOS 18490 HAS SOPS 15639 HAS SOUS 15116 HAS SOUPS 14104 WITH SCORE 14122.49
AT ITER 559 NEW BEST:: SOT 52296 SOS 18480 HAS SOPS 15629 HAS SOUS 15106 HAS SOUPS 14094 WITH SCORE 14112.48
AT ITER 583 NEW BEST:: SOT 52296 SOS 18461 HAS SOPS 15610 HAS SOUS 15105 HAS SOUPS 14093 WITH SCORE 14111.461
AT ITER 588 NEW BEST:: SOT 52289 SOS 18425 HAS SOPS 15574 HAS SOUS 15091 HAS SOUPS 14079 WITH SCORE 14097.425
AT ITER 592 NEW BEST:: SOT 52287 SOS 18395 HAS SOPS 15570 HAS SOUS 15087 HAS SOUPS 14075 WITH SCORE 14093.395
AT ITER 595 NEW BEST:: SOT 52268 SOS 18400 HAS SOPS 15568 HAS SOUS 15076 HAS SOUPS 14051 WITH SCORE 14069.4
AT ITER 600 NEW BEST:: SOT 52147 SOS 18140 HAS SOPS 15301 HAS SOUS 14847 HAS SOUPS 13822 WITH SCORE 13840.14
AT ITER 614 NEW BEST:: SOT 52145 SOS 18136 HAS SOPS 15297 HAS SOUS 14843 HAS SOUPS 13818 WITH SCORE 13836.136
AT ITER 626 NEW BEST:: SOT 52140 SOS 18114 HAS SOPS 15287 HAS SOUS 14833 HAS SOUPS 13808 WITH SCORE 13826.114
AT ITER 631 NEW BEST:: SOT 52057 SOS 18500 HAS SOPS 15677 HAS SOUS 14771 HAS SOUPS 13746 WITH SCORE 13764.5
AT ITER 652 NEW BEST:: SOT 51833 SOS 18326 HAS SOPS 15430 HAS SOUS 14608 HAS SOUPS 13533 WITH SCORE 13551.326
AT ITER 656 NEW BEST:: SOT 51790 SOS 18270 HAS SOPS 15383 HAS SOUS 14552 HAS SOUPS 13486 WITH SCORE 13504.27
AT ITER 672 NEW BEST:: SOT 51790 SOS 18267 HAS SOPS 15383 HAS SOUS 14552 HAS SOUPS 13486 WITH SCORE 13504.267
AT ITER 681 NEW BEST:: SOT 51704 SOS 17431 HAS SOPS 15386 HAS SOUS 14347 HAS SOUPS 13379 WITH SCORE 13396.431
AT ITER 696 NEW BEST:: SOT 51698 SOS 17419 HAS SOPS 15374 HAS SOUS 14335 HAS SOUPS 13367 WITH SCORE 13384.419
AT ITER 701 NEW BEST:: SOT 51684 SOS 17377 HAS SOPS 15346 HAS SOUS 14307 HAS SOUPS 13339 WITH SCORE 13356.377
AT ITER 708 NEW BEST:: SOT 51679 SOS 17397 HAS SOPS 15366 HAS SOUS 14297 HAS SOUPS 13329 WITH SCORE 13346.397
AT ITER 727 NEW BEST:: SOT 51670 SOS 17370 HAS SOPS 15339 HAS SOUS 14279 HAS SOUPS 13311 WITH SCORE 13328.37
AT ITER 751 NEW BEST:: SOT 51678 SOS 17378 HAS SOPS 15317 HAS SOUS 14257 HAS SOUPS 13289 WITH SCORE 13306.378
AT ITER 754 NEW BEST:: SOT 51665 SOS 17264 HAS SOPS 15203 HAS SOUS 14231 HAS SOUPS 13263 WITH SCORE 13280.264
AT ITER 771 NEW BEST:: SOT 51700 SOS 17508 HAS SOPS 15500 HAS SOUS 14139 HAS SOUPS 13202 WITH SCORE 13219.508
AT ITER 775 NEW BEST:: SOT 51683 SOS 17462 HAS SOPS 15454 HAS SOUS 14105 HAS SOUPS 13168 WITH SCORE 13185.462
AT ITER 778 NEW BEST:: SOT 51701 SOS 17453 HAS SOPS 15418 HAS SOUS 14096 HAS SOUPS 13159 WITH SCORE 13176.453
AT ITER 779 NEW BEST:: SOT 51707 SOS 17476 HAS SOPS 15447 HAS SOUS 14093 HAS SOUPS 13156 WITH SCORE 13173.476
AT ITER 787 NEW BEST:: SOT 51695 SOS 17452 HAS SOPS 15423 HAS SOUS 14069 HAS SOUPS 13132 WITH SCORE 13149.452
AT ITER 794 NEW BEST:: SOT 51657 SOS 17376 HAS SOPS 15347 HAS SOUS 13993 HAS SOUPS 13056 WITH SCORE 13073.376
AT ITER 798 NEW BEST:: SOT 51519 SOS 17263 HAS SOPS 15266 HAS SOUS 13911 HAS SOUPS 12974 WITH SCORE 12991.263
AT ITER 801 NEW BEST:: SOT 51544 SOS 17271 HAS SOPS 15265 HAS SOUS 13910 HAS SOUPS 12973 WITH SCORE 12990.271
AT ITER 802 NEW BEST:: SOT 51515 SOS 16786 HAS SOPS 14805 HAS SOUS 13849 HAS SOUPS 12912 WITH SCORE 12928.786
AT ITER 808 NEW BEST:: SOT 51512 SOS 16726 HAS SOPS 14745 HAS SOUS 13843 HAS SOUPS 12906 WITH SCORE 12922.726
AT ITER 811 NEW BEST:: SOT 51545 SOS 16857 HAS SOPS 14634 HAS SOUS 13876 HAS SOUPS 12891 WITH SCORE 12907.857
AT ITER 828 NEW BEST:: SOT 51544 SOS 16855 HAS SOPS 14632 HAS SOUS 13874 HAS SOUPS 12889 WITH SCORE 12905.855
AT ITER 831 NEW BEST:: SOT 51648 SOS 16653 HAS SOPS 14605 HAS SOUS 13716 HAS SOUPS 12803 WITH SCORE 12819.653
AT ITER 845 NEW BEST:: SOT 51647 SOS 16715 HAS SOPS 14709 HAS SOUS 13638 HAS SOUPS 12748 WITH SCORE 12764.715
AT ITER 848 NEW BEST:: SOT 51641 SOS 16703 HAS SOPS 14697 HAS SOUS 13626 HAS SOUPS 12736 WITH SCORE 12752.703
AT ITER 849 NEW BEST:: SOT 51646 SOS 16645 HAS SOPS 14639 HAS SOUS 13611 HAS SOUPS 12721 WITH SCORE 12737.645
AT ITER 853 NEW BEST:: SOT 51594 SOS 16484 HAS SOPS 14477 HAS SOUS 13492 HAS SOUPS 12601 WITH SCORE 12617.484
AT ITER 855 NEW BEST:: SOT 51594 SOS 16288 HAS SOPS 14281 HAS SOUS 13448 HAS SOUPS 12557 WITH SCORE 12573.288
AT ITER 870 NEW BEST:: SOT 51591 SOS 16282 HAS SOPS 14275 HAS SOUS 13442 HAS SOUPS 12551 WITH SCORE 12567.282
AT ITER 875 NEW BEST:: SOT 51524 SOS 16206 HAS SOPS 14217 HAS SOUS 13381 HAS SOUPS 12490 WITH SCORE 12506.206
AT ITER 885 NEW BEST:: SOT 51540 SOS 16206 HAS SOPS 14201 HAS SOUS 13374 HAS SOUPS 12474 WITH SCORE 12490.206
AT ITER 888 NEW BEST:: SOT 51519 SOS 16164 HAS SOPS 14159 HAS SOUS 13332 HAS SOUPS 12432 WITH SCORE 12448.164
AT ITER 918 NEW BEST:: SOT 51516 SOS 16149 HAS SOPS 14144 HAS SOUS 13326 HAS SOUPS 12426 WITH SCORE 12442.149
AT ITER 930 NEW BEST:: SOT 51516 SOS 16132 HAS SOPS 14138 HAS SOUS 13320 HAS SOUPS 12423 WITH SCORE 12439.132
AT ITER 941 NEW BEST:: SOT 51478 SOS 16155 HAS SOPS 14175 HAS SOUS 13303 HAS SOUPS 12406 WITH SCORE 12422.155
AT ITER 953 NEW BEST:: SOT 51478 SOS 16154 HAS SOPS 14176 HAS SOUS 13299 HAS SOUPS 12403 WITH SCORE 12419.154
AT ITER 961 NEW BEST:: SOT 51478 SOS 16150 HAS SOPS 14165 HAS SOUS 13292 HAS SOUPS 12396 WITH SCORE 12412.15
AT ITER 975 NEW BEST:: SOT 51508 SOS 16071 HAS SOPS 14143 HAS SOUS 13244 HAS SOUPS 12374 WITH SCORE 12390.071
AT ITER 981 NEW BEST:: SOT 51500 SOS 16075 HAS SOPS 14135 HAS SOUS 13244 HAS SOUPS 12370 WITH SCORE 12386.075
AT ITER 1007 NEW BEST:: SOT 51492 SOS 16059 HAS SOPS 14119 HAS SOUS 13228 HAS SOUPS 12354 WITH SCORE 12370.059
AT ITER 1009 NEW BEST:: SOT 51524 SOS 16061 HAS SOPS 14103 HAS SOUS 13224 HAS SOUPS 12350 WITH SCORE 12366.061
AT ITER 1012 NEW BEST:: SOT 51519 SOS 16051 HAS SOPS 14093 HAS SOUS 13214 HAS SOUPS 12340 WITH SCORE 12356.051
AT ITER 1020 NEW BEST:: SOT 51517 SOS 16045 HAS SOPS 14087 HAS SOUS 13210 HAS SOUPS 12336 WITH SCORE 12352.045
AT ITER 1029 NEW BEST:: SOT 51517 SOS 16027 HAS SOPS 14069 HAS SOUS 13210 HAS SOUPS 12336 WITH SCORE 12352.027
AT ITER 1044 NEW BEST:: SOT 51501 SOS 16070 HAS SOPS 14112 HAS SOUS 13198 HAS SOUPS 12324 WITH SCORE 12340.07
AT ITER 1047 NEW BEST:: SOT 51497 SOS 16064 HAS SOPS 14104 HAS SOUS 13193 HAS SOUPS 12317 WITH SCORE 12333.064
AT ITER 1060 NEW BEST:: SOT 51505 SOS 16048 HAS SOPS 14088 HAS SOUS 13193 HAS SOUPS 12317 WITH SCORE 12333.048
AT ITER 1066 NEW BEST:: SOT 51433 SOS 16115 HAS SOPS 14055 HAS SOUS 13192 HAS SOUPS 12284 WITH SCORE 12300.115
AT ITER 1068 NEW BEST:: SOT 51433 SOS 16157 HAS SOPS 14097 HAS SOUS 13158 HAS SOUPS 12250 WITH SCORE 12266.157
AT ITER 1075 NEW BEST:: SOT 51433 SOS 16116 HAS SOPS 14097 HAS SOUS 13158 HAS SOUPS 12250 WITH SCORE 12266.116
AT ITER 1091 NEW BEST:: SOT 51304 SOS 16025 HAS SOPS 14006 HAS SOUS 13071 HAS SOUPS 12163 WITH SCORE 12179.025
AT ITER 1096 NEW BEST:: SOT 51272 SOS 15993 HAS SOPS 13966 HAS SOUS 13031 HAS SOUPS 12123 WITH SCORE 12138.993
AT ITER 1109 NEW BEST:: SOT 51291 SOS 15931 HAS SOPS 13979 HAS SOUS 12977 HAS SOUPS 12094 WITH SCORE 12109.931
AT ITER 1128 NEW BEST:: SOT 51289 SOS 15927 HAS SOPS 13975 HAS SOUS 12973 HAS SOUPS 12090 WITH SCORE 12105.927
AT ITER 1131 NEW BEST:: SOT 51258 SOS 15896 HAS SOPS 13913 HAS SOUS 12911 HAS SOUPS 12028 WITH SCORE 12043.896
AT ITER 1138 NEW BEST:: SOT 51244 SOS 15868 HAS SOPS 13885 HAS SOUS 12883 HAS SOUPS 12000 WITH SCORE 12015.868
AT ITER 1139 NEW BEST:: SOT 51242 SOS 15864 HAS SOPS 13881 HAS SOUS 12879 HAS SOUPS 11996 WITH SCORE 12011.864
AT ITER 1154 NEW BEST:: SOT 51240 SOS 15862 HAS SOPS 13865 HAS SOUS 12882 HAS SOUPS 11985 WITH SCORE 12000.862
AT ITER 1157 NEW BEST:: SOT 51239 SOS 15835 HAS SOPS 13863 HAS SOUS 12880 HAS SOUPS 11983 WITH SCORE 11998.835
AT ITER 1168 NEW BEST:: SOT 51176 SOS 15709 HAS SOPS 13737 HAS SOUS 12754 HAS SOUPS 11857 WITH SCORE 11872.709
AT ITER 1182 NEW BEST:: SOT 51159 SOS 15675 HAS SOPS 13703 HAS SOUS 12720 HAS SOUPS 11823 WITH SCORE 11838.675
AT ITER 1208 NEW BEST:: SOT 51136 SOS 15611 HAS SOPS 13687 HAS SOUS 12704 HAS SOUPS 11807 WITH SCORE 11822.611
AT ITER 1234 NEW BEST:: SOT 51130 SOS 15599 HAS SOPS 13675 HAS SOUS 12692 HAS SOUPS 11795 WITH SCORE 11810.599
AT ITER 1235 NEW BEST:: SOT 51123 SOS 15585 HAS SOPS 13661 HAS SOUS 12678 HAS SOUPS 11781 WITH SCORE 11796.585
AT ITER 1256 NEW BEST:: SOT 51116 SOS 15535 HAS SOPS 13611 HAS SOUS 12664 HAS SOUPS 11767 WITH SCORE 11782.535
AT ITER 1258 NEW BEST:: SOT 51100 SOS 15508 HAS SOPS 13579 HAS SOUS 12632 HAS SOUPS 11735 WITH SCORE 11750.508
AT ITER 1263 NEW BEST:: SOT 51099 SOS 15502 HAS SOPS 13548 HAS SOUS 12614 HAS SOUPS 11707 WITH SCORE 11722.502
AT ITER 1279 NEW BEST:: SOT 51152 SOS 15455 HAS SOPS 13469 HAS SOUS 12535 HAS SOUPS 11628 WITH SCORE 11643.455
AT ITER 1292 NEW BEST:: SOT 51088 SOS 15398 HAS SOPS 13427 HAS SOUS 12485 HAS SOUPS 11578 WITH SCORE 11593.398
AT ITER 1300 NEW BEST:: SOT 51082 SOS 15416 HAS SOPS 13445 HAS SOUS 12473 HAS SOUPS 11566 WITH SCORE 11581.416
AT ITER 1311 NEW BEST:: SOT 51083 SOS 15413 HAS SOPS 13433 HAS SOUS 12461 HAS SOUPS 11554 WITH SCORE 11569.413
AT ITER 1328 NEW BEST:: SOT 51083 SOS 15401 HAS SOPS 13433 HAS SOUS 12461 HAS SOUPS 11554 WITH SCORE 11569.401
AT ITER 1349 NEW BEST:: SOT 51048 SOS 15361 HAS SOPS 13393 HAS SOUS 12421 HAS SOUPS 11514 WITH SCORE 11529.361
AT ITER 1353 NEW BEST:: SOT 51048 SOS 15356 HAS SOPS 13393 HAS SOUS 12416 HAS SOUPS 11514 WITH SCORE 11529.356
AT ITER 1398 NEW BEST:: SOT 51041 SOS 15342 HAS SOPS 13379 HAS SOUS 12402 HAS SOUPS 11500 WITH SCORE 11515.342
AT ITER 1402 NEW BEST:: SOT 50996 SOS 15261 HAS SOPS 13298 HAS SOUS 12326 HAS SOUPS 11424 WITH SCORE 11439.261
AT ITER 1409 NEW BEST:: SOT 51156 SOS 15252 HAS SOPS 13416 HAS SOUS 12174 HAS SOUPS 11340 WITH SCORE 11355.252
AT ITER 1416 NEW BEST:: SOT 51156 SOS 15193 HAS SOPS 13405 HAS SOUS 12137 HAS SOUPS 11314 WITH SCORE 11329.193
AT ITER 1429 NEW BEST:: SOT 51133 SOS 15192 HAS SOPS 13404 HAS SOUS 12136 HAS SOUPS 11313 WITH SCORE 11328.192
AT ITER 1432 NEW BEST:: SOT 51131 SOS 15188 HAS SOPS 13400 HAS SOUS 12132 HAS SOUPS 11309 WITH SCORE 11324.188
AT ITER 1444 NEW BEST:: SOT 51132 SOS 15176 HAS SOPS 13388 HAS SOUS 12120 HAS SOUPS 11297 WITH SCORE 11312.176
AT ITER 1446 NEW BEST:: SOT 51097 SOS 15141 HAS SOPS 13322 HAS SOUS 12085 HAS SOUPS 11231 WITH SCORE 11246.141
AT ITER 1449 NEW BEST:: SOT 51087 SOS 15121 HAS SOPS 13302 HAS SOUS 12065 HAS SOUPS 11211 WITH SCORE 11226.121
AT ITER 1452 NEW BEST:: SOT 51087 SOS 15121 HAS SOPS 13283 HAS SOUS 12053 HAS SOUPS 11199 WITH SCORE 11214.121
AT ITER 1453 NEW BEST:: SOT 51084 SOS 15115 HAS SOPS 13277 HAS SOUS 12047 HAS SOUPS 11193 WITH SCORE 11208.115
AT ITER 1468 NEW BEST:: SOT 51082 SOS 15113 HAS SOPS 13273 HAS SOUS 12043 HAS SOUPS 11189 WITH SCORE 11204.113
AT ITER 1471 NEW BEST:: SOT 51077 SOS 15102 HAS SOPS 13269 HAS SOUS 12039 HAS SOUPS 11185 WITH SCORE 11200.102
AT ITER 1473 NEW BEST:: SOT 51076 SOS 15100 HAS SOPS 13267 HAS SOUS 12037 HAS SOUPS 11183 WITH SCORE 11198.1
AT ITER 1495 NEW BEST:: SOT 51074 SOS 15098 HAS SOPS 13265 HAS SOUS 12035 HAS SOUPS 11181 WITH SCORE 11196.098
AT ITER 1498 NEW BEST:: SOT 51056 SOS 15031 HAS SOPS 13198 HAS SOUS 11997 HAS SOUPS 11143 WITH SCORE 11158.031
AT ITER 1504 NEW BEST:: SOT 51056 SOS 14995 HAS SOPS 13162 HAS SOUS 11997 HAS SOUPS 11143 WITH SCORE 11157.995
AT ITER 1506 NEW BEST:: SOT 51055 SOS 14993 HAS SOPS 13160 HAS SOUS 11995 HAS SOUPS 11141 WITH SCORE 11155.993
AT ITER 1513 NEW BEST:: SOT 51030 SOS 14965 HAS SOPS 13160 HAS SOUS 11970 HAS SOUPS 11116 WITH SCORE 11130.965
AT ITER 1527 NEW BEST:: SOT 51026 SOS 14966 HAS SOPS 13161 HAS SOUS 11967 HAS SOUPS 11113 WITH SCORE 11127.966
AT ITER 1550 NEW BEST:: SOT 51021 SOS 14875 HAS SOPS 13070 HAS SOUS 11935 HAS SOUPS 11081 WITH SCORE 11095.875
AT ITER 1581 NEW BEST:: SOT 51007 SOS 14847 HAS SOPS 13042 HAS SOUS 11907 HAS SOUPS 11053 WITH SCORE 11067.847
AT ITER 1590 NEW BEST:: SOT 51003 SOS 14832 HAS SOPS 13027 HAS SOUS 11900 HAS SOUPS 11046 WITH SCORE 11060.832
AT ITER 1623 NEW BEST:: SOT 51002 SOS 14830 HAS SOPS 13025 HAS SOUS 11898 HAS SOUPS 11044 WITH SCORE 11058.83
AT ITER 1651 NEW BEST:: SOT 50987 SOS 14822 HAS SOPS 12977 HAS SOUS 11902 HAS SOUPS 11037 WITH SCORE 11051.822
AT ITER 1658 NEW BEST:: SOT 50983 SOS 14814 HAS SOPS 12969 HAS SOUS 11894 HAS SOUPS 11029 WITH SCORE 11043.814
AT ITER 1662 NEW BEST:: SOT 50963 SOS 14774 HAS SOPS 12929 HAS SOUS 11854 HAS SOUPS 10989 WITH SCORE 11003.774
AT ITER 1679 NEW BEST:: SOT 50934 SOS 14826 HAS SOPS 12981 HAS SOUS 11852 HAS SOUPS 10987 WITH SCORE 11001.826
AT ITER 1687 NEW BEST:: SOT 50926 SOS 14810 HAS SOPS 12965 HAS SOUS 11836 HAS SOUPS 10971 WITH SCORE 10985.81
AT ITER 1705 NEW BEST:: SOT 50922 SOS 14794 HAS SOPS 12949 HAS SOUS 11820 HAS SOUPS 10955 WITH SCORE 10969.794
AT ITER 1709 NEW BEST:: SOT 50877 SOS 14716 HAS SOPS 12871 HAS SOUS 11742 HAS SOUPS 10877 WITH SCORE 10891.716
AT ITER 1732 NEW BEST:: SOT 50819 SOS 14674 HAS SOPS 12806 HAS SOUS 11691 HAS SOUPS 10812 WITH SCORE 10826.674
AT ITER 1745 NEW BEST:: SOT 50815 SOS 14666 HAS SOPS 12798 HAS SOUS 11683 HAS SOUPS 10804 WITH SCORE 10818.666
AT ITER 1771 NEW BEST:: SOT 50759 SOS 14734 HAS SOPS 12779 HAS SOUS 11701 HAS SOUPS 10785 WITH SCORE 10799.734
AT ITER 1780 NEW BEST:: SOT 50756 SOS 14728 HAS SOPS 12773 HAS SOUS 11695 HAS SOUPS 10779 WITH SCORE 10793.728
AT ITER 1819 NEW BEST:: SOT 50750 SOS 14719 HAS SOPS 12746 HAS SOUS 11668 HAS SOUPS 10752 WITH SCORE 10766.719
AT ITER 1822 NEW BEST:: SOT 50743 SOS 14754 HAS SOPS 12768 HAS SOUS 11667 HAS SOUPS 10751 WITH SCORE 10765.754
AT ITER 1826 NEW BEST:: SOT 50743 SOS 14723 HAS SOPS 12768 HAS SOUS 11667 HAS SOUPS 10751 WITH SCORE 10765.723
AT ITER 1832 NEW BEST:: SOT 50849 SOS 14780 HAS SOPS 12881 HAS SOUS 11639 HAS SOUPS 10744 WITH SCORE 10758.78
AT ITER 1857 NEW BEST:: SOT 50845 SOS 14776 HAS SOPS 12875 HAS SOUS 11633 HAS SOUPS 10738 WITH SCORE 10752.776
AT ITER 1901 NEW BEST:: SOT 50835 SOS 14756 HAS SOPS 12845 HAS SOUS 11618 HAS SOUPS 10713 WITH SCORE 10727.756
AT ITER 1910 NEW BEST:: SOT 50821 SOS 14750 HAS SOPS 12839 HAS SOUS 11612 HAS SOUPS 10707 WITH SCORE 10721.75
AT ITER 1920 NEW BEST:: SOT 50792 SOS 14678 HAS SOPS 12818 HAS SOUS 11591 HAS SOUPS 10686 WITH SCORE 10700.678
AT ITER 1926 NEW BEST:: SOT 50774 SOS 14673 HAS SOPS 12818 HAS SOUS 11588 HAS SOUPS 10683 WITH SCORE 10697.673
AT ITER 1935 NEW BEST:: SOT 50757 SOS 14900 HAS SOPS 12737 HAS SOUS 11605 HAS SOUPS 10656 WITH SCORE 10670.9
AT ITER 1944 NEW BEST:: SOT 50757 SOS 14884 HAS SOPS 12721 HAS SOUS 11605 HAS SOUPS 10656 WITH SCORE 10670.884
AT ITER 1955 NEW BEST:: SOT 50757 SOS 14874 HAS SOPS 12711 HAS SOUS 11605 HAS SOUPS 10656 WITH SCORE 10670.874
AT ITER 1963 NEW BEST:: SOT 50734 SOS 14864 HAS SOPS 12702 HAS SOUS 11580 HAS SOUPS 10640 WITH SCORE 10654.864
AT ITER 1981 NEW BEST:: SOT 50732 SOS 14860 HAS SOPS 12657 HAS SOUS 11535 HAS SOUPS 10595 WITH SCORE 10609.86
AT ITER 1982 NEW BEST:: SOT 50728 SOS 14856 HAS SOPS 12652 HAS SOUS 11531 HAS SOUPS 10590 WITH SCORE 10604.856
AT ITER 2014 NEW BEST:: SOT 50717 SOS 14845 HAS SOPS 12641 HAS SOUS 11520 HAS SOUPS 10579 WITH SCORE 10593.845
AT ITER 2025 NEW BEST:: SOT 50716 SOS 14843 HAS SOPS 12639 HAS SOUS 11518 HAS SOUPS 10577 WITH SCORE 10591.843
AT ITER 2048 NEW BEST:: SOT 50715 SOS 14837 HAS SOPS 12625 HAS SOUS 11512 HAS SOUPS 10563 WITH SCORE 10577.837
AT ITER 2076 NEW BEST:: SOT 50709 SOS 14802 HAS SOPS 12590 HAS SOUS 11500 HAS SOUPS 10551 WITH SCORE 10565.802
AT ITER 2084 NEW BEST:: SOT 50693 SOS 14778 HAS SOPS 12566 HAS SOUS 11495 HAS SOUPS 10546 WITH SCORE 10560.778
AT ITER 2106 NEW BEST:: SOT 50634 SOS 15099 HAS SOPS 12493 HAS SOUS 11562 HAS SOUPS 10530 WITH SCORE 10545.099
AT ITER 2113 NEW BEST:: SOT 50603 SOS 14828 HAS SOPS 12446 HAS SOUS 11484 HAS SOUPS 10484 WITH SCORE 10498.828
AT ITER 2125 NEW BEST:: SOT 50550 SOS 15032 HAS SOPS 12345 HAS SOUS 11432 HAS SOUPS 10383 WITH SCORE 10398.032
AT ITER 2126 NEW BEST:: SOT 50536 SOS 15018 HAS SOPS 12317 HAS SOUS 11404 HAS SOUPS 10355 WITH SCORE 10370.018
AT ITER 2131 NEW BEST:: SOT 50532 SOS 15001 HAS SOPS 12296 HAS SOUS 11395 HAS SOUPS 10346 WITH SCORE 10361.001
AT ITER 2132 NEW BEST:: SOT 50528 SOS 15005 HAS SOPS 12294 HAS SOUS 11395 HAS SOUPS 10344 WITH SCORE 10359.005
AT ITER 2157 NEW BEST:: SOT 50523 SOS 14995 HAS SOPS 12284 HAS SOUS 11385 HAS SOUPS 10334 WITH SCORE 10348.995
AT ITER 2192 NEW BEST:: SOT 50523 SOS 14995 HAS SOPS 12269 HAS SOUS 11370 HAS SOUPS 10319 WITH SCORE 10333.995
AT ITER 2227 NEW BEST:: SOT 50522 SOS 14993 HAS SOPS 12267 HAS SOUS 11368 HAS SOUPS 10317 WITH SCORE 10331.993
AT ITER 2237 NEW BEST:: SOT 50487 SOS 14915 HAS SOPS 12197 HAS SOUS 11298 HAS SOUPS 10247 WITH SCORE 10261.915
AT ITER 2256 NEW BEST:: SOT 50487 SOS 14897 HAS SOPS 12179 HAS SOUS 11298 HAS SOUPS 10247 WITH SCORE 10261.897
AT ITER 2262 NEW BEST:: SOT 50487 SOS 14887 HAS SOPS 12179 HAS SOUS 11278 HAS SOUPS 10232 WITH SCORE 10246.887
AT ITER 2267 NEW BEST:: SOT 50482 SOS 14876 HAS SOPS 12175 HAS SOUS 11274 HAS SOUPS 10228 WITH SCORE 10242.876
AT ITER 2278 NEW BEST:: SOT 50461 SOS 14834 HAS SOPS 12133 HAS SOUS 11232 HAS SOUPS 10186 WITH SCORE 10200.834
AT ITER 2286 NEW BEST:: SOT 50456 SOS 14824 HAS SOPS 12123 HAS SOUS 11222 HAS SOUPS 10176 WITH SCORE 10190.824
AT ITER 2292 NEW BEST:: SOT 50455 SOS 14823 HAS SOPS 12102 HAS SOUS 11201 HAS SOUPS 10155 WITH SCORE 10169.823
AT ITER 2294 NEW BEST:: SOT 50443 SOS 14791 HAS SOPS 12070 HAS SOUS 11181 HAS SOUPS 10135 WITH SCORE 10149.791
AT ITER 2300 NEW BEST:: SOT 50429 SOS 14758 HAS SOPS 12063 HAS SOUS 11174 HAS SOUPS 10128 WITH SCORE 10142.758
AT ITER 2312 NEW BEST:: SOT 50427 SOS 14751 HAS SOPS 12057 HAS SOUS 11171 HAS SOUPS 10125 WITH SCORE 10139.751
AT ITER 2336 NEW BEST:: SOT 50411 SOS 14736 HAS SOPS 12034 HAS SOUS 11175 HAS SOUPS 10125 WITH SCORE 10139.736
AT ITER 2355 NEW BEST:: SOT 50387 SOS 14712 HAS SOPS 12024 HAS SOUS 11165 HAS SOUPS 10115 WITH SCORE 10129.712
AT ITER 2375 NEW BEST:: SOT 50375 SOS 14688 HAS SOPS 12000 HAS SOUS 11141 HAS SOUPS 10091 WITH SCORE 10105.688
AT ITER 2385 NEW BEST:: SOT 50364 SOS 14666 HAS SOPS 11978 HAS SOUS 11119 HAS SOUPS 10069 WITH SCORE 10083.666
AT ITER 2392 NEW BEST:: SOT 50364 SOS 14737 HAS SOPS 11907 HAS SOUS 11048 HAS SOUPS 9998 WITH SCORE 10012.737
AT ITER 2398 NEW BEST:: SOT 50356 SOS 14721 HAS SOPS 11891 HAS SOUS 11032 HAS SOUPS 9982 WITH SCORE 9996.721
AT ITER 2406 NEW BEST:: SOT 50352 SOS 14717 HAS SOPS 11878 HAS SOUS 11018 HAS SOUPS 9969 WITH SCORE 9983.717
AT ITER 2486 NEW BEST:: SOT 50328 SOS 14753 HAS SOPS 11914 HAS SOUS 11001 HAS SOUPS 9952 WITH SCORE 9966.753
AT ITER 2496 NEW BEST:: SOT 50317 SOS 14746 HAS SOPS 11903 HAS SOUS 10994 HAS SOUPS 9941 WITH SCORE 9955.746
AT ITER 2521 NEW BEST:: SOT 50317 SOS 14729 HAS SOPS 11886 HAS SOUS 10977 HAS SOUPS 9924 WITH SCORE 9938.729
AT ITER 2532 NEW BEST:: SOT 50311 SOS 14717 HAS SOPS 11874 HAS SOUS 10965 HAS SOUPS 9912 WITH SCORE 9926.717
AT ITER 2582 NEW BEST:: SOT 50297 SOS 14684 HAS SOPS 11846 HAS SOUS 10937 HAS SOUPS 9884 WITH SCORE 9898.684
AT ITER 2598 NEW BEST:: SOT 50292 SOS 14679 HAS SOPS 11824 HAS SOUS 10915 HAS SOUPS 9862 WITH SCORE 9876.679
AT ITER 2645 NEW BEST:: SOT 50273 SOS 14641 HAS SOPS 11786 HAS SOUS 10877 HAS SOUPS 9824 WITH SCORE 9838.641
AT ITER 2655 NEW BEST:: SOT 50268 SOS 14631 HAS SOPS 11776 HAS SOUS 10867 HAS SOUPS 9814 WITH SCORE 9828.631
AT ITER 2665 NEW BEST:: SOT 50266 SOS 14629 HAS SOPS 11772 HAS SOUS 10865 HAS SOUPS 9810 WITH SCORE 9824.629
AT ITER 2668 NEW BEST:: SOT 50251 SOS 14599 HAS SOPS 11757 HAS SOUS 10850 HAS SOUPS 9795 WITH SCORE 9809.599
AT ITER 2698 NEW BEST:: SOT 50259 SOS 14607 HAS SOPS 11756 HAS SOUS 10849 HAS SOUPS 9794 WITH SCORE 9808.607
AT ITER 2730 NEW BEST:: SOT 50258 SOS 14544 HAS SOPS 11693 HAS SOUS 10786 HAS SOUPS 9731 WITH SCORE 9745.544
AT ITER 2731 NEW BEST:: SOT 50268 SOS 14585 HAS SOPS 11692 HAS SOUS 10785 HAS SOUPS 9730 WITH SCORE 9744.585
AT ITER 2732 NEW BEST:: SOT 50293 SOS 14552 HAS SOPS 11659 HAS SOUS 10752 HAS SOUPS 9697 WITH SCORE 9711.552
AT ITER 2748 NEW BEST:: SOT 50277 SOS 14626 HAS SOPS 11628 HAS SOUS 10738 HAS SOUPS 9668 WITH SCORE 9682.626
AT ITER 2767 NEW BEST:: SOT 50273 SOS 14618 HAS SOPS 11620 HAS SOUS 10730 HAS SOUPS 9660 WITH SCORE 9674.618
AT ITER 2778 NEW BEST:: SOT 50252 SOS 14576 HAS SOPS 11578 HAS SOUS 10688 HAS SOUPS 9618 WITH SCORE 9632.576
AT ITER 2796 NEW BEST:: SOT 50252 SOS 14554 HAS SOPS 11578 HAS SOUS 10688 HAS SOUPS 9618 WITH SCORE 9632.554
AT ITER 2841 NEW BEST:: SOT 50251 SOS 14556 HAS SOPS 11576 HAS SOUS 10686 HAS SOUPS 9616 WITH SCORE 9630.556
AT ITER 2864 NEW BEST:: SOT 50245 SOS 14550 HAS SOPS 11564 HAS SOUS 10674 HAS SOUPS 9604 WITH SCORE 9618.55
AT ITER 2873 NEW BEST:: SOT 50238 SOS 14530 HAS SOPS 11544 HAS SOUS 10663 HAS SOUPS 9593 WITH SCORE 9607.53
AT ITER 2886 NEW BEST:: SOT 50257 SOS 14567 HAS SOPS 11586 HAS SOUS 10657 HAS SOUPS 9592 WITH SCORE 9606.567
AT ITER 2895 NEW BEST:: SOT 50232 SOS 14517 HAS SOPS 11536 HAS SOUS 10607 HAS SOUPS 9542 WITH SCORE 9556.517
AT ITER 2907 NEW BEST:: SOT 50224 SOS 14501 HAS SOPS 11520 HAS SOUS 10591 HAS SOUPS 9526 WITH SCORE 9540.501
AT ITER 2917 NEW BEST:: SOT 50216 SOS 14502 HAS SOPS 11487 HAS SOUS 10558 HAS SOUPS 9493 WITH SCORE 9507.502
AT ITER 2936 NEW BEST:: SOT 50175 SOS 14619 HAS SOPS 11498 HAS SOUS 10552 HAS SOUPS 9461 WITH SCORE 9475.619
AT ITER 2961 NEW BEST:: SOT 50170 SOS 14613 HAS SOPS 11492 HAS SOUS 10546 HAS SOUPS 9455 WITH SCORE 9469.613
AT ITER 2968 NEW BEST:: SOT 50152 SOS 15013 HAS SOPS 11401 HAS SOUS 10624 HAS SOUPS 9424 WITH SCORE 9439.013
AT ITER 2986 NEW BEST:: SOT 50150 SOS 15009 HAS SOPS 11397 HAS SOUS 10620 HAS SOUPS 9420 WITH SCORE 9435.009
AT ITER 3025 NEW BEST:: SOT 50145 SOS 15019 HAS SOPS 11387 HAS SOUS 10630 HAS SOUPS 9410 WITH SCORE 9425.019
AT ITER 3034 NEW BEST:: SOT 50141 SOS 14973 HAS SOPS 11359 HAS SOUS 10623 HAS SOUPS 9403 WITH SCORE 9417.973
AT ITER 3050 NEW BEST:: SOT 50118 SOS 14937 HAS SOPS 11343 HAS SOUS 10607 HAS SOUPS 9387 WITH SCORE 9401.937
AT ITER 3069 NEW BEST:: SOT 50112 SOS 14925 HAS SOPS 11331 HAS SOUS 10595 HAS SOUPS 9375 WITH SCORE 9389.925
AT ITER 3079 NEW BEST:: SOT 50110 SOS 14921 HAS SOPS 11327 HAS SOUS 10591 HAS SOUPS 9371 WITH SCORE 9385.921
AT ITER 3080 NEW BEST:: SOT 50109 SOS 14920 HAS SOPS 11325 HAS SOUS 10589 HAS SOUPS 9369 WITH SCORE 9383.92
AT ITER 3093 NEW BEST:: SOT 50107 SOS 14916 HAS SOPS 11321 HAS SOUS 10585 HAS SOUPS 9365 WITH SCORE 9379.916
AT ITER 3104 NEW BEST:: SOT 50159 SOS 14947 HAS SOPS 11386 HAS SOUS 10552 HAS SOUPS 9349 WITH SCORE 9363.947
AT ITER 3108 NEW BEST:: SOT 50140 SOS 14928 HAS SOPS 11348 HAS SOUS 10514 HAS SOUPS 9311 WITH SCORE 9325.928
AT ITER 3113 NEW BEST:: SOT 50142 SOS 14910 HAS SOPS 11330 HAS SOUS 10496 HAS SOUPS 9293 WITH SCORE 9307.91
AT ITER 3138 NEW BEST:: SOT 50135 SOS 14896 HAS SOPS 11316 HAS SOUS 10482 HAS SOUPS 9279 WITH SCORE 9293.896
AT ITER 3156 NEW BEST:: SOT 50133 SOS 14892 HAS SOPS 11314 HAS SOUS 10480 HAS SOUPS 9277 WITH SCORE 9291.892
AT ITER 3163 NEW BEST:: SOT 50132 SOS 14891 HAS SOPS 11311 HAS SOUS 10477 HAS SOUPS 9274 WITH SCORE 9288.891
AT ITER 3172 NEW BEST:: SOT 50127 SOS 14886 HAS SOPS 11306 HAS SOUS 10472 HAS SOUPS 9269 WITH SCORE 9283.886
AT ITER 3181 NEW BEST:: SOT 50096 SOS 14903 HAS SOPS 11244 HAS SOUS 10410 HAS SOUPS 9207 WITH SCORE 9221.903
AT ITER 3184 NEW BEST:: SOT 50029 SOS 15348 HAS SOPS 11622 HAS SOUS 10404 HAS SOUPS 9201 WITH SCORE 9216.348
AT ITER 3210 NEW BEST:: SOT 50024 SOS 15341 HAS SOPS 11609 HAS SOUS 10391 HAS SOUPS 9188 WITH SCORE 9203.341
AT ITER 3263 NEW BEST:: SOT 50023 SOS 15339 HAS SOPS 11607 HAS SOUS 10389 HAS SOUPS 9186 WITH SCORE 9201.339
AT ITER 3264 NEW BEST:: SOT 50023 SOS 15336 HAS SOPS 11601 HAS SOUS 10383 HAS SOUPS 9180 WITH SCORE 9195.336
AT ITER 3266 NEW BEST:: SOT 50033 SOS 15493 HAS SOPS 11600 HAS SOUS 10413 HAS SOUPS 9179 WITH SCORE 9194.493
AT ITER 3275 NEW BEST:: SOT 50025 SOS 15485 HAS SOPS 11592 HAS SOUS 10405 HAS SOUPS 9171 WITH SCORE 9186.485
AT ITER 3287 NEW BEST:: SOT 50019 SOS 15476 HAS SOPS 11583 HAS SOUS 10396 HAS SOUPS 9162 WITH SCORE 9177.476
AT ITER 3319 NEW BEST:: SOT 50016 SOS 15472 HAS SOPS 11579 HAS SOUS 10392 HAS SOUPS 9158 WITH SCORE 9173.472
AT ITER 3326 NEW BEST:: SOT 50006 SOS 15470 HAS SOPS 11577 HAS SOUS 10390 HAS SOUPS 9156 WITH SCORE 9171.47
AT ITER 3332 NEW BEST:: SOT 49996 SOS 15492 HAS SOPS 11599 HAS SOUS 10384 HAS SOUPS 9150 WITH SCORE 9165.492
AT ITER 3352 NEW BEST:: SOT 49996 SOS 15479 HAS SOPS 11599 HAS SOUS 10371 HAS SOUPS 9150 WITH SCORE 9165.479
AT ITER 3367 NEW BEST:: SOT 49999 SOS 15482 HAS SOPS 11597 HAS SOUS 10369 HAS SOUPS 9148 WITH SCORE 9163.482
AT ITER 3369 NEW BEST:: SOT 49999 SOS 15463 HAS SOPS 11597 HAS SOUS 10369 HAS SOUPS 9148 WITH SCORE 9163.463
AT ITER 3375 NEW BEST:: SOT 49981 SOS 15427 HAS SOPS 11561 HAS SOUS 10333 HAS SOUPS 9112 WITH SCORE 9127.427
AT ITER 3380 NEW BEST:: SOT 49968 SOS 15401 HAS SOPS 11548 HAS SOUS 10320 HAS SOUPS 9099 WITH SCORE 9114.401
AT ITER 3397 NEW BEST:: SOT 49966 SOS 15397 HAS SOPS 11544 HAS SOUS 10316 HAS SOUPS 9095 WITH SCORE 9110.397
AT ITER 3415 NEW BEST:: SOT 49947 SOS 15361 HAS SOPS 11523 HAS SOUS 10295 HAS SOUPS 9074 WITH SCORE 9089.361
AT ITER 3416 NEW BEST:: SOT 49946 SOS 15305 HAS SOPS 11600 HAS SOUS 10273 HAS SOUPS 9071 WITH SCORE 9086.305
AT ITER 3426 NEW BEST:: SOT 49946 SOS 15303 HAS SOPS 11600 HAS SOUS 10273 HAS SOUPS 9071 WITH SCORE 9086.303
AT ITER 3459 NEW BEST:: SOT 49928 SOS 15267 HAS SOPS 11564 HAS SOUS 10237 HAS SOUPS 9035 WITH SCORE 9050.267
AT ITER 3483 NEW BEST:: SOT 49925 SOS 15223 HAS SOPS 11520 HAS SOUS 10193 HAS SOUPS 8991 WITH SCORE 9006.223
AT ITER 3503 NEW BEST:: SOT 49868 SOS 15103 HAS SOPS 11472 HAS SOUS 10142 HAS SOUPS 8940 WITH SCORE 8955.103
AT ITER 3505 NEW BEST:: SOT 49829 SOS 15125 HAS SOPS 11496 HAS SOUS 10130 HAS SOUPS 8928 WITH SCORE 8943.125
AT ITER 3544 NEW BEST:: SOT 49828 SOS 15123 HAS SOPS 11494 HAS SOUS 10128 HAS SOUPS 8926 WITH SCORE 8941.123
AT ITER 3603 NEW BEST:: SOT 49928 SOS 15095 HAS SOPS 11466 HAS SOUS 10100 HAS SOUPS 8898 WITH SCORE 8913.095
AT ITER 3627 NEW BEST:: SOT 49918 SOS 15117 HAS SOPS 11474 HAS SOUS 10076 HAS SOUPS 8874 WITH SCORE 8889.117
AT ITER 3635 NEW BEST:: SOT 49904 SOS 15102 HAS SOPS 11472 HAS SOUS 10074 HAS SOUPS 8872 WITH SCORE 8887.102
AT ITER 3641 NEW BEST:: SOT 49901 SOS 15096 HAS SOPS 11466 HAS SOUS 10068 HAS SOUPS 8866 WITH SCORE 8881.096
AT ITER 3649 NEW BEST:: SOT 49886 SOS 15066 HAS SOPS 11436 HAS SOUS 10038 HAS SOUPS 8836 WITH SCORE 8851.066
AT ITER 3658 NEW BEST:: SOT 49895 SOS 14884 HAS SOPS 11422 HAS SOUS 9996 HAS SOUPS 8818 WITH SCORE 8832.884
AT ITER 3774 NEW BEST:: SOT 49895 SOS 14882 HAS SOPS 11422 HAS SOUS 9996 HAS SOUPS 8818 WITH SCORE 8832.882
AT ITER 3803 NEW BEST:: SOT 49892 SOS 14876 HAS SOPS 11413 HAS SOUS 9987 HAS SOUPS 8809 WITH SCORE 8823.876
AT ITER 3820 NEW BEST:: SOT 49895 SOS 14942 HAS SOPS 11407 HAS SOUS 9994 HAS SOUPS 8807 WITH SCORE 8821.942
AT ITER 3856 NEW BEST:: SOT 49879 SOS 14883 HAS SOPS 11375 HAS SOUS 9962 HAS SOUPS 8775 WITH SCORE 8789.883
AT ITER 3857 NEW BEST:: SOT 49873 SOS 14877 HAS SOPS 11375 HAS SOUS 9956 HAS SOUPS 8769 WITH SCORE 8783.877
AT ITER 3858 NEW BEST:: SOT 49878 SOS 14881 HAS SOPS 11379 HAS SOUS 9954 HAS SOUPS 8767 WITH SCORE 8781.881
AT ITER 3861 NEW BEST:: SOT 49878 SOS 14886 HAS SOPS 11379 HAS SOUS 9949 HAS SOUPS 8762 WITH SCORE 8776.886
AT ITER 3951 NEW BEST:: SOT 49876 SOS 14882 HAS SOPS 11375 HAS SOUS 9945 HAS SOUPS 8758 WITH SCORE 8772.882
AT ITER 3964 NEW BEST:: SOT 49876 SOS 14878 HAS SOPS 11371 HAS SOUS 9941 HAS SOUPS 8754 WITH SCORE 8768.878
AT ITER 3973 NEW BEST:: SOT 49872 SOS 14870 HAS SOPS 11363 HAS SOUS 9933 HAS SOUPS 8746 WITH SCORE 8760.87
AT ITER 4037 NEW BEST:: SOT 49873 SOS 14868 HAS SOPS 11361 HAS SOUS 9931 HAS SOUPS 8744 WITH SCORE 8758.868
AT ITER 4142 NEW BEST:: SOT 49873 SOS 14861 HAS SOPS 11354 HAS SOUS 9931 HAS SOUPS 8744 WITH SCORE 8758.861
AT ITER 4201 NEW BEST:: SOT 49872 SOS 14856 HAS SOPS 11349 HAS SOUS 9929 HAS SOUPS 8742 WITH SCORE 8756.856
AT ITER 4242 NEW BEST:: SOT 49872 SOS 14856 HAS SOPS 11333 HAS SOUS 9921 HAS SOUPS 8734 WITH SCORE 8748.856
AT ITER 4249 NEW BEST:: SOT 49872 SOS 14832 HAS SOPS 11337 HAS SOUS 9921 HAS SOUPS 8734 WITH SCORE 8748.832
AT ITER 4252 NEW BEST:: SOT 49855 SOS 14861 HAS SOPS 11366 HAS SOUS 9905 HAS SOUPS 8718 WITH SCORE 8732.861
AT ITER 4261 NEW BEST:: SOT 49847 SOS 14845 HAS SOPS 11350 HAS SOUS 9889 HAS SOUPS 8702 WITH SCORE 8716.845
AT ITER 4266 NEW BEST:: SOT 49846 SOS 14787 HAS SOPS 11292 HAS SOUS 9887 HAS SOUPS 8700 WITH SCORE 8714.787
AT ITER 4276 NEW BEST:: SOT 49840 SOS 14790 HAS SOPS 11295 HAS SOUS 9881 HAS SOUPS 8694 WITH SCORE 8708.79
AT ITER 4281 NEW BEST:: SOT 49836 SOS 14786 HAS SOPS 11291 HAS SOUS 9873 HAS SOUPS 8686 WITH SCORE 8700.786
AT ITER 4287 NEW BEST:: SOT 49836 SOS 14776 HAS SOPS 11291 HAS SOUS 9873 HAS SOUPS 8686 WITH SCORE 8700.776
AT ITER 4291 NEW BEST:: SOT 49828 SOS 14760 HAS SOPS 11280 HAS SOUS 9857 HAS SOUPS 8675 WITH SCORE 8689.76
AT ITER 4300 NEW BEST:: SOT 49823 SOS 14750 HAS SOPS 11270 HAS SOUS 9847 HAS SOUPS 8665 WITH SCORE 8679.75
AT ITER 4354 NEW BEST:: SOT 49814 SOS 14732 HAS SOPS 11270 HAS SOUS 9829 HAS SOUPS 8665 WITH SCORE 8679.732
AT ITER 4365 NEW BEST:: SOT 49795 SOS 14688 HAS SOPS 11232 HAS SOUS 9791 HAS SOUPS 8627 WITH SCORE 8641.688
AT ITER 4387 NEW BEST:: SOT 49795 SOS 14702 HAS SOPS 11218 HAS SOUS 9777 HAS SOUPS 8613 WITH SCORE 8627.702
AT ITER 4399 NEW BEST:: SOT 49797 SOS 14675 HAS SOPS 11180 HAS SOUS 9774 HAS SOUPS 8610 WITH SCORE 8624.675
AT ITER 4421 NEW BEST:: SOT 49796 SOS 14673 HAS SOPS 11178 HAS SOUS 9772 HAS SOUPS 8608 WITH SCORE 8622.673
AT ITER 4528 NEW BEST:: SOT 49795 SOS 14671 HAS SOPS 11176 HAS SOUS 9770 HAS SOUPS 8606 WITH SCORE 8620.671
AT ITER 4581 NEW BEST:: SOT 49795 SOS 14668 HAS SOPS 11172 HAS SOUS 9769 HAS SOUPS 8605 WITH SCORE 8619.668
AT ITER 4610 NEW BEST:: SOT 49795 SOS 14664 HAS SOPS 11168 HAS SOUS 9769 HAS SOUPS 8605 WITH SCORE 8619.664
AT ITER 4616 NEW BEST:: SOT 49795 SOS 14648 HAS SOPS 11152 HAS SOUS 9769 HAS SOUPS 8605 WITH SCORE 8619.648
AT ITER 4633 NEW BEST:: SOT 49789 SOS 14642 HAS SOPS 11146 HAS SOUS 9763 HAS SOUPS 8599 WITH SCORE 8613.642
AT ITER 4662 NEW BEST:: SOT 49771 SOS 14612 HAS SOPS 11110 HAS SOUS 9727 HAS SOUPS 8563 WITH SCORE 8577.612
AT ITER 4694 NEW BEST:: SOT 49786 SOS 14619 HAS SOPS 11108 HAS SOUS 9731 HAS SOUPS 8561 WITH SCORE 8575.619
AT ITER 4704 NEW BEST:: SOT 49762 SOS 14905 HAS SOPS 11072 HAS SOUS 9779 HAS SOUPS 8560 WITH SCORE 8574.905
AT ITER 4730 NEW BEST:: SOT 49752 SOS 14885 HAS SOPS 11052 HAS SOUS 9759 HAS SOUPS 8540 WITH SCORE 8554.885
AT ITER 4746 NEW BEST:: SOT 49755 SOS 14880 HAS SOPS 11047 HAS SOUS 9754 HAS SOUPS 8535 WITH SCORE 8549.88
AT ITER 4748 NEW BEST:: SOT 49760 SOS 14872 HAS SOPS 11034 HAS SOUS 9759 HAS SOUPS 8535 WITH SCORE 8549.872
AT ITER 4753 NEW BEST:: SOT 49740 SOS 14878 HAS SOPS 11046 HAS SOUS 9745 HAS SOUPS 8521 WITH SCORE 8535.878
AT ITER 4758 NEW BEST:: SOT 49736 SOS 14870 HAS SOPS 11038 HAS SOUS 9737 HAS SOUPS 8513 WITH SCORE 8527.87
AT ITER 4803 NEW BEST:: SOT 49736 SOS 14870 HAS SOPS 11034 HAS SOUS 9733 HAS SOUPS 8509 WITH SCORE 8523.87
AT ITER 4812 NEW BEST:: SOT 49714 SOS 14859 HAS SOPS 11023 HAS SOUS 9722 HAS SOUPS 8498 WITH SCORE 8512.859
AT ITER 4815 NEW BEST:: SOT 49726 SOS 15068 HAS SOPS 10990 HAS SOUS 9721 HAS SOUPS 8465 WITH SCORE 8480.068
AT ITER 4822 NEW BEST:: SOT 49725 SOS 15066 HAS SOPS 10988 HAS SOUS 9719 HAS SOUPS 8463 WITH SCORE 8478.066
AT ITER 4829 NEW BEST:: SOT 49704 SOS 15000 HAS SOPS 10922 HAS SOUS 9686 HAS SOUPS 8430 WITH SCORE 8445.0
AT ITER 4860 NEW BEST:: SOT 49703 SOS 15001 HAS SOPS 10920 HAS SOUS 9684 HAS SOUPS 8428 WITH SCORE 8443.001
AT ITER 4883 NEW BEST:: SOT 49704 SOS 14994 HAS SOPS 10913 HAS SOUS 9683 HAS SOUPS 8427 WITH SCORE 8441.994
AT ITER 4897 NEW BEST:: SOT 49700 SOS 14995 HAS SOPS 10914 HAS SOUS 9675 HAS SOUPS 8419 WITH SCORE 8433.995
AT ITER 4920 NEW BEST:: SOT 49641 SOS 14910 HAS SOPS 10829 HAS SOUS 9652 HAS SOUPS 8396 WITH SCORE 8410.91
AT ITER 4930 NEW BEST:: SOT 49641 SOS 14905 HAS SOPS 10829 HAS SOUS 9652 HAS SOUPS 8396 WITH SCORE 8410.905
AT ITER 4997 NEW BEST:: SOT 49619 SOS 14894 HAS SOPS 10818 HAS SOUS 9641 HAS SOUPS 8385 WITH SCORE 8399.894
AT ITER 5010 NEW BEST:: SOT 49614 SOS 14885 HAS SOPS 10804 HAS SOUS 9627 HAS SOUPS 8371 WITH SCORE 8385.885
AT ITER 5015 NEW BEST:: SOT 49614 SOS 14864 HAS SOPS 10769 HAS SOUS 9613 HAS SOUPS 8357 WITH SCORE 8371.864
AT ITER 5044 NEW BEST:: SOT 49609 SOS 14821 HAS SOPS 10726 HAS SOUS 9603 HAS SOUPS 8347 WITH SCORE 8361.821
AT ITER 5049 NEW BEST:: SOT 49577 SOS 14794 HAS SOPS 10695 HAS SOUS 9572 HAS SOUPS 8316 WITH SCORE 8330.794
AT ITER 5103 NEW BEST:: SOT 49566 SOS 14779 HAS SOPS 10686 HAS SOUS 9557 HAS SOUPS 8307 WITH SCORE 8321.779
AT ITER 5138 NEW BEST:: SOT 49557 SOS 14770 HAS SOPS 10677 HAS SOUS 9548 HAS SOUPS 8298 WITH SCORE 8312.77
AT ITER 5139 NEW BEST:: SOT 49558 SOS 14722 HAS SOPS 10677 HAS SOUS 9540 HAS SOUPS 8298 WITH SCORE 8312.722
AT ITER 5180 NEW BEST:: SOT 49557 SOS 14717 HAS SOPS 10672 HAS SOUS 9538 HAS SOUPS 8296 WITH SCORE 8310.717
AT ITER 5231 NEW BEST:: SOT 49542 SOS 14691 HAS SOPS 10668 HAS SOUS 9534 HAS SOUPS 8292 WITH SCORE 8306.691
AT ITER 5274 NEW BEST:: SOT 49543 SOS 14692 HAS SOPS 10667 HAS SOUS 9535 HAS SOUPS 8291 WITH SCORE 8305.692
AT ITER 5321 NEW BEST:: SOT 49541 SOS 14688 HAS SOPS 10666 HAS SOUS 9531 HAS SOUPS 8290 WITH SCORE 8304.688
AT ITER 5337 NEW BEST:: SOT 49538 SOS 14682 HAS SOPS 10662 HAS SOUS 9527 HAS SOUPS 8286 WITH SCORE 8300.682
AT ITER 5354 NEW BEST:: SOT 49535 SOS 14676 HAS SOPS 10656 HAS SOUS 9521 HAS SOUPS 8280 WITH SCORE 8294.676
AT ITER 5376 NEW BEST:: SOT 49510 SOS 14612 HAS SOPS 10646 HAS SOUS 9511 HAS SOUPS 8270 WITH SCORE 8284.612
AT ITER 5402 NEW BEST:: SOT 49508 SOS 14602 HAS SOPS 10642 HAS SOUS 9507 HAS SOUPS 8266 WITH SCORE 8280.602
AT ITER 5419 NEW BEST:: SOT 49507 SOS 14600 HAS SOPS 10642 HAS SOUS 9507 HAS SOUPS 8266 WITH SCORE 8280.6
AT ITER 5505 NEW BEST:: SOT 49506 SOS 14608 HAS SOPS 10649 HAS SOUS 9506 HAS SOUPS 8265 WITH SCORE 8279.608
AT ITER 5527 NEW BEST:: SOT 49506 SOS 14590 HAS SOPS 10637 HAS SOUS 9506 HAS SOUPS 8265 WITH SCORE 8279.59
AT ITER 5557 NEW BEST:: SOT 49505 SOS 14588 HAS SOPS 10635 HAS SOUS 9504 HAS SOUPS 8263 WITH SCORE 8277.588
AT ITER 5653 NEW BEST:: SOT 49506 SOS 14604 HAS SOPS 10623 HAS SOUS 9492 HAS SOUPS 8251 WITH SCORE 8265.604
AT ITER 5720 NEW BEST:: SOT 49506 SOS 14600 HAS SOPS 10623 HAS SOUS 9492 HAS SOUPS 8251 WITH SCORE 8265.6
AT ITER 5761 NEW BEST:: SOT 49557 SOS 14652 HAS SOPS 10678 HAS SOUS 9488 HAS SOUPS 8250 WITH SCORE 8264.652
AT ITER 5885 NEW BEST:: SOT 49563 SOS 14631 HAS SOPS 10635 HAS SOUS 9478 HAS SOUPS 8240 WITH SCORE 8254.631
AT ITER 5892 NEW BEST:: SOT 49522 SOS 14339 HAS SOPS 10635 HAS SOUS 9437 HAS SOUPS 8240 WITH SCORE 8254.339
AT ITER 5901 NEW BEST:: SOT 49482 SOS 14259 HAS SOPS 10581 HAS SOUS 9383 HAS SOUPS 8186 WITH SCORE 8200.259
AT ITER 6038 NEW BEST:: SOT 49487 SOS 14241 HAS SOPS 10560 HAS SOUS 9386 HAS SOUPS 8186 WITH SCORE 8200.241
AT ITER 6057 NEW BEST:: SOT 49481 SOS 14208 HAS SOPS 10527 HAS SOUS 9374 HAS SOUPS 8174 WITH SCORE 8188.208
AT ITER 6093 NEW BEST:: SOT 49511 SOS 13837 HAS SOPS 10500 HAS SOUS 9289 HAS SOUPS 8146 WITH SCORE 8159.837
AT ITER 6174 NEW BEST:: SOT 49509 SOS 13836 HAS SOPS 10497 HAS SOUS 9287 HAS SOUPS 8143 WITH SCORE 8156.836
AT ITER 6210 NEW BEST:: SOT 49508 SOS 13833 HAS SOPS 10494 HAS SOUS 9285 HAS SOUPS 8141 WITH SCORE 8154.833
AT ITER 6212 NEW BEST:: SOT 49481 SOS 13806 HAS SOPS 10467 HAS SOUS 9258 HAS SOUPS 8114 WITH SCORE 8127.806
AT ITER 6227 NEW BEST:: SOT 49473 SOS 13842 HAS SOPS 10492 HAS SOUS 9250 HAS SOUPS 8106 WITH SCORE 8119.842
AT ITER 6295 NEW BEST:: SOT 49470 SOS 13836 HAS SOPS 10486 HAS SOUS 9244 HAS SOUPS 8100 WITH SCORE 8113.836
AT ITER 6296 NEW BEST:: SOT 49470 SOS 13827 HAS SOPS 10470 HAS SOUS 9240 HAS SOUPS 8096 WITH SCORE 8109.827
AT ITER 6313 NEW BEST:: SOT 49470 SOS 13822 HAS SOPS 10470 HAS SOUS 9235 HAS SOUPS 8096 WITH SCORE 8109.822
AT ITER 6363 NEW BEST:: SOT 49465 SOS 13797 HAS SOPS 10445 HAS SOUS 9225 HAS SOUPS 8086 WITH SCORE 8099.797
AT ITER 6368 NEW BEST:: SOT 49463 SOS 13793 HAS SOPS 10441 HAS SOUS 9221 HAS SOUPS 8082 WITH SCORE 8095.793
AT ITER 6377 NEW BEST:: SOT 49460 SOS 13787 HAS SOPS 10435 HAS SOUS 9215 HAS SOUPS 8076 WITH SCORE 8089.787
AT ITER 6424 NEW BEST:: SOT 49458 SOS 13783 HAS SOPS 10431 HAS SOUS 9211 HAS SOUPS 8072 WITH SCORE 8085.783
AT ITER 6445 NEW BEST:: SOT 49453 SOS 13773 HAS SOPS 10426 HAS SOUS 9206 HAS SOUPS 8067 WITH SCORE 8080.773
AT ITER 6466 NEW BEST:: SOT 49445 SOS 13757 HAS SOPS 10410 HAS SOUS 9190 HAS SOUPS 8051 WITH SCORE 8064.757
AT ITER 6474 NEW BEST:: SOT 49503 SOS 13755 HAS SOPS 10408 HAS SOUS 9188 HAS SOUPS 8049 WITH SCORE 8062.755
AT ITER 6476 NEW BEST:: SOT 49503 SOS 13747 HAS SOPS 10400 HAS SOUS 9188 HAS SOUPS 8049 WITH SCORE 8062.747
AT ITER 6489 NEW BEST:: SOT 49493 SOS 13727 HAS SOPS 10380 HAS SOUS 9168 HAS SOUPS 8029 WITH SCORE 8042.727
AT ITER 6491 NEW BEST:: SOT 49449 SOS 13787 HAS SOPS 10440 HAS SOUS 9156 HAS SOUPS 8017 WITH SCORE 8030.787
AT ITER 6493 NEW BEST:: SOT 49442 SOS 13775 HAS SOPS 10433 HAS SOUS 9149 HAS SOUPS 8010 WITH SCORE 8023.775
AT ITER 6497 NEW BEST:: SOT 49439 SOS 13769 HAS SOPS 10427 HAS SOUS 9143 HAS SOUPS 8004 WITH SCORE 8017.769
AT ITER 6503 NEW BEST:: SOT 49440 SOS 13723 HAS SOPS 10381 HAS SOUS 9138 HAS SOUPS 7999 WITH SCORE 8012.723
AT ITER 6506 NEW BEST:: SOT 49424 SOS 13691 HAS SOPS 10349 HAS SOUS 9106 HAS SOUPS 7967 WITH SCORE 7980.691
AT ITER 6532 NEW BEST:: SOT 49399 SOS 13676 HAS SOPS 10317 HAS SOUS 9120 HAS SOUPS 7967 WITH SCORE 7980.676
AT ITER 6561 NEW BEST:: SOT 49386 SOS 13710 HAS SOPS 10339 HAS SOUS 9106 HAS SOUPS 7953 WITH SCORE 7966.71
AT ITER 6580 NEW BEST:: SOT 49381 SOS 13705 HAS SOPS 10334 HAS SOUS 9101 HAS SOUPS 7948 WITH SCORE 7961.705
AT ITER 6595 NEW BEST:: SOT 49381 SOS 13705 HAS SOPS 10320 HAS SOUS 9087 HAS SOUPS 7934 WITH SCORE 7947.705
AT ITER 6656 NEW BEST:: SOT 49452 SOS 13780 HAS SOPS 10318 HAS SOUS 9082 HAS SOUPS 7929 WITH SCORE 7942.78
AT ITER 6725 NEW BEST:: SOT 49448 SOS 13772 HAS SOPS 10310 HAS SOUS 9074 HAS SOUPS 7921 WITH SCORE 7934.772
AT ITER 6729 NEW BEST:: SOT 49446 SOS 13768 HAS SOPS 10306 HAS SOUS 9070 HAS SOUPS 7917 WITH SCORE 7930.768
AT ITER 6732 NEW BEST:: SOT 49439 SOS 13729 HAS SOPS 10316 HAS SOUS 9058 HAS SOUPS 7912 WITH SCORE 7925.729
AT ITER 6745 NEW BEST:: SOT 49444 SOS 13737 HAS SOPS 10311 HAS SOUS 9053 HAS SOUPS 7907 WITH SCORE 7920.737
AT ITER 6755 NEW BEST:: SOT 49438 SOS 13725 HAS SOPS 10299 HAS SOUS 9041 HAS SOUPS 7895 WITH SCORE 7908.725
AT ITER 6760 NEW BEST:: SOT 49430 SOS 13709 HAS SOPS 10283 HAS SOUS 9025 HAS SOUPS 7879 WITH SCORE 7892.709
AT ITER 6783 NEW BEST:: SOT 49429 SOS 13745 HAS SOPS 10281 HAS SOUS 9023 HAS SOUPS 7877 WITH SCORE 7890.745
AT ITER 6803 NEW BEST:: SOT 49425 SOS 13737 HAS SOPS 10273 HAS SOUS 9015 HAS SOUPS 7869 WITH SCORE 7882.737
AT ITER 6828 NEW BEST:: SOT 49423 SOS 13733 HAS SOPS 10269 HAS SOUS 9011 HAS SOUPS 7865 WITH SCORE 7878.733
AT ITER 6873 NEW BEST:: SOT 49418 SOS 13715 HAS SOPS 10267 HAS SOUS 9005 HAS SOUPS 7863 WITH SCORE 7876.715
AT ITER 6876 NEW BEST:: SOT 49420 SOS 13725 HAS SOPS 10270 HAS SOUS 9003 HAS SOUPS 7861 WITH SCORE 7874.725
AT ITER 6887 NEW BEST:: SOT 49336 SOS 13642 HAS SOPS 10177 HAS SOUS 9011 HAS SOUPS 7859 WITH SCORE 7872.642
AT ITER 6901 NEW BEST:: SOT 49335 SOS 13647 HAS SOPS 10161 HAS SOUS 8998 HAS SOUPS 7843 WITH SCORE 7856.647
AT ITER 6904 NEW BEST:: SOT 49335 SOS 13645 HAS SOPS 10161 HAS SOUS 8998 HAS SOUPS 7843 WITH SCORE 7856.645
AT ITER 6909 NEW BEST:: SOT 49335 SOS 13648 HAS SOPS 10163 HAS SOUS 8997 HAS SOUPS 7842 WITH SCORE 7855.648
AT ITER 6977 NEW BEST:: SOT 49325 SOS 13638 HAS SOPS 10153 HAS SOUS 8977 HAS SOUPS 7822 WITH SCORE 7835.638
AT ITER 6984 NEW BEST:: SOT 49280 SOS 13582 HAS SOPS 10063 HAS SOUS 8887 HAS SOUPS 7732 WITH SCORE 7745.582
AT ITER 7010 NEW BEST:: SOT 49224 SOS 13664 HAS SOPS 10031 HAS SOUS 8884 HAS SOUPS 7705 WITH SCORE 7718.664
AT ITER 7019 NEW BEST:: SOT 49217 SOS 13657 HAS SOPS 10022 HAS SOUS 8875 HAS SOUPS 7696 WITH SCORE 7709.657
AT ITER 7036 NEW BEST:: SOT 49222 SOS 13669 HAS SOPS 10020 HAS SOUS 8873 HAS SOUPS 7694 WITH SCORE 7707.669
AT ITER 7046 NEW BEST:: SOT 49217 SOS 13616 HAS SOPS 10010 HAS SOUS 8852 HAS SOUPS 7684 WITH SCORE 7697.616
AT ITER 7053 NEW BEST:: SOT 49211 SOS 13610 HAS SOPS 9978 HAS SOUS 8820 HAS SOUPS 7652 WITH SCORE 7665.61
AT ITER 7131 NEW BEST:: SOT 49220 SOS 13625 HAS SOPS 9974 HAS SOUS 8835 HAS SOUPS 7648 WITH SCORE 7661.625
AT ITER 7285 NEW BEST:: SOT 49213 SOS 13611 HAS SOPS 9960 HAS SOUS 8821 HAS SOUPS 7634 WITH SCORE 7647.611
AT ITER 7314 NEW BEST:: SOT 49207 SOS 13615 HAS SOPS 9964 HAS SOUS 8809 HAS SOUPS 7622 WITH SCORE 7635.615
AT ITER 7344 NEW BEST:: SOT 49205 SOS 13613 HAS SOPS 9962 HAS SOUS 8807 HAS SOUPS 7620 WITH SCORE 7633.613
AT ITER 7416 NEW BEST:: SOT 49197 SOS 13620 HAS SOPS 9946 HAS SOUS 8791 HAS SOUPS 7604 WITH SCORE 7617.62
AT ITER 7421 NEW BEST:: SOT 49202 SOS 13600 HAS SOPS 9926 HAS SOUS 8791 HAS SOUPS 7604 WITH SCORE 7617.6
AT ITER 7546 NEW BEST:: SOT 49201 SOS 13597 HAS SOPS 9923 HAS SOUS 8788 HAS SOUPS 7601 WITH SCORE 7614.597
AT ITER 7596 NEW BEST:: SOT 49198 SOS 13597 HAS SOPS 9923 HAS SOUS 8782 HAS SOUPS 7595 WITH SCORE 7608.597
AT ITER 7622 NEW BEST:: SOT 49198 SOS 13582 HAS SOPS 9923 HAS SOUS 8782 HAS SOUPS 7595 WITH SCORE 7608.582
AT ITER 7670 NEW BEST:: SOT 49198 SOS 13557 HAS SOPS 9898 HAS SOUS 8782 HAS SOUPS 7595 WITH SCORE 7608.557
AT ITER 7671 NEW BEST:: SOT 49198 SOS 13553 HAS SOPS 9894 HAS SOUS 8778 HAS SOUPS 7591 WITH SCORE 7604.553
AT ITER 7722 NEW BEST:: SOT 49196 SOS 13549 HAS SOPS 9890 HAS SOUS 8774 HAS SOUPS 7587 WITH SCORE 7600.549
AT ITER 7743 NEW BEST:: SOT 49196 SOS 13540 HAS SOPS 9881 HAS SOUS 8774 HAS SOUPS 7587 WITH SCORE 7600.54
AT ITER 7758 NEW BEST:: SOT 49186 SOS 13520 HAS SOPS 9861 HAS SOUS 8754 HAS SOUPS 7567 WITH SCORE 7580.52
AT ITER 7764 NEW BEST:: SOT 49186 SOS 13512 HAS SOPS 9861 HAS SOUS 8753 HAS SOUPS 7567 WITH SCORE 7580.512
AT ITER 7789 NEW BEST:: SOT 49178 SOS 13504 HAS SOPS 9850 HAS SOUS 8740 HAS SOUPS 7556 WITH SCORE 7569.504
AT ITER 7926 NEW BEST:: SOT 49177 SOS 13502 HAS SOPS 9848 HAS SOUS 8738 HAS SOUPS 7554 WITH SCORE 7567.502
AT ITER 7928 NEW BEST:: SOT 49173 SOS 13494 HAS SOPS 9840 HAS SOUS 8730 HAS SOUPS 7546 WITH SCORE 7559.494
AT ITER 7994 NEW BEST:: SOT 49170 SOS 13491 HAS SOPS 9834 HAS SOUS 8724 HAS SOUPS 7540 WITH SCORE 7553.491
AT ITER 8011 NEW BEST:: SOT 49167 SOS 13485 HAS SOPS 9813 HAS SOUS 8718 HAS SOUPS 7534 WITH SCORE 7547.485
AT ITER 8020 NEW BEST:: SOT 49156 SOS 13471 HAS SOPS 9773 HAS SOUS 8720 HAS SOUPS 7525 WITH SCORE 7538.471
AT ITER 8054 NEW BEST:: SOT 49139 SOS 13335 HAS SOPS 9773 HAS SOUS 8703 HAS SOUPS 7525 WITH SCORE 7538.335
AT ITER 8096 NEW BEST:: SOT 49136 SOS 13335 HAS SOPS 9773 HAS SOUS 8700 HAS SOUPS 7522 WITH SCORE 7535.335
AT ITER 8165 NEW BEST:: SOT 49130 SOS 13313 HAS SOPS 9751 HAS SOUS 8693 HAS SOUPS 7515 WITH SCORE 7528.313
AT ITER 8170 NEW BEST:: SOT 49127 SOS 13309 HAS SOPS 9748 HAS SOUS 8690 HAS SOUPS 7512 WITH SCORE 7525.309
AT ITER 8193 NEW BEST:: SOT 49121 SOS 13297 HAS SOPS 9739 HAS SOUS 8678 HAS SOUPS 7503 WITH SCORE 7516.297
AT ITER 8202 NEW BEST:: SOT 49122 SOS 13285 HAS SOPS 9727 HAS SOUS 8648 HAS SOUPS 7473 WITH SCORE 7486.285
AT ITER 8292 NEW BEST:: SOT 49118 SOS 13281 HAS SOPS 9727 HAS SOUS 8648 HAS SOUPS 7473 WITH SCORE 7486.281
AT ITER 8304 NEW BEST:: SOT 49098 SOS 13232 HAS SOPS 9678 HAS SOUS 8617 HAS SOUPS 7442 WITH SCORE 7455.232
AT ITER 8345 NEW BEST:: SOT 49089 SOS 13238 HAS SOPS 9684 HAS SOUS 8611 HAS SOUPS 7436 WITH SCORE 7449.238
AT ITER 8377 NEW BEST:: SOT 49088 SOS 13235 HAS SOPS 9682 HAS SOUS 8609 HAS SOUPS 7434 WITH SCORE 7447.235
AT ITER 8398 NEW BEST:: SOT 49086 SOS 13231 HAS SOPS 9678 HAS SOUS 8605 HAS SOUPS 7430 WITH SCORE 7443.231
AT ITER 8444 NEW BEST:: SOT 49085 SOS 13229 HAS SOPS 9676 HAS SOUS 8603 HAS SOUPS 7428 WITH SCORE 7441.229
AT ITER 8482 NEW BEST:: SOT 49072 SOS 13214 HAS SOPS 9672 HAS SOUS 8599 HAS SOUPS 7424 WITH SCORE 7437.214
AT ITER 8485 NEW BEST:: SOT 49049 SOS 13294 HAS SOPS 9662 HAS SOUS 8607 HAS SOUPS 7414 WITH SCORE 7427.294
AT ITER 8513 NEW BEST:: SOT 49049 SOS 13252 HAS SOPS 9662 HAS SOUS 8607 HAS SOUPS 7414 WITH SCORE 7427.252
AT ITER 8553 NEW BEST:: SOT 49057 SOS 13253 HAS SOPS 9670 HAS SOUS 8594 HAS SOUPS 7405 WITH SCORE 7418.253
AT ITER 8576 NEW BEST:: SOT 49045 SOS 13229 HAS SOPS 9646 HAS SOUS 8570 HAS SOUPS 7381 WITH SCORE 7394.229
AT ITER 8594 NEW BEST:: SOT 49045 SOS 13223 HAS SOPS 9645 HAS SOUS 8568 HAS SOUPS 7380 WITH SCORE 7393.223
AT ITER 8624 NEW BEST:: SOT 48974 SOS 13156 HAS SOPS 9564 HAS SOUS 8558 HAS SOUPS 7356 WITH SCORE 7369.156
AT ITER 8732 NEW BEST:: SOT 48956 SOS 13120 HAS SOPS 9528 HAS SOUS 8522 HAS SOUPS 7320 WITH SCORE 7333.12
AT ITER 9060 NEW BEST:: SOT 48970 SOS 13085 HAS SOPS 9528 HAS SOUS 8515 HAS SOUPS 7320 WITH SCORE 7333.085
AT ITER 9145 NEW BEST:: SOT 48968 SOS 13081 HAS SOPS 9522 HAS SOUS 8511 HAS SOUPS 7316 WITH SCORE 7329.081
AT ITER 9154 NEW BEST:: SOT 48968 SOS 13080 HAS SOPS 9521 HAS SOUS 8511 HAS SOUPS 7316 WITH SCORE 7329.08
AT ITER 9224 NEW BEST:: SOT 48966 SOS 13077 HAS SOPS 9518 HAS SOUS 8508 HAS SOUPS 7313 WITH SCORE 7326.077
AT ITER 9229 NEW BEST:: SOT 48956 SOS 13057 HAS SOPS 9498 HAS SOUS 8488 HAS SOUPS 7293 WITH SCORE 7306.057
AT ITER 9241 NEW BEST:: SOT 48956 SOS 13056 HAS SOPS 9497 HAS SOUS 8487 HAS SOUPS 7292 WITH SCORE 7305.056
AT ITER 9360 NEW BEST:: SOT 48955 SOS 13049 HAS SOPS 9495 HAS SOUS 8484 HAS SOUPS 7290 WITH SCORE 7303.049
AT ITER 9395 NEW BEST:: SOT 48948 SOS 13033 HAS SOPS 9490 HAS SOUS 8479 HAS SOUPS 7285 WITH SCORE 7298.033
AT ITER 9396 NEW BEST:: SOT 48948 SOS 13027 HAS SOPS 9484 HAS SOUS 8479 HAS SOUPS 7285 WITH SCORE 7298.027
AT ITER 9405 NEW BEST:: SOT 48916 SOS 13000 HAS SOPS 9457 HAS SOUS 8452 HAS SOUPS 7258 WITH SCORE 7271.0
AT ITER 9410 NEW BEST:: SOT 48917 SOS 12997 HAS SOPS 9454 HAS SOUS 8454 HAS SOUPS 7255 WITH SCORE 7267.997
AT ITER 9415 NEW BEST:: SOT 48914 SOS 12994 HAS SOPS 9448 HAS SOUS 8448 HAS SOUPS 7249 WITH SCORE 7261.994
AT ITER 9421 NEW BEST:: SOT 48907 SOS 12987 HAS SOPS 9441 HAS SOUS 8441 HAS SOUPS 7242 WITH SCORE 7254.987
AT ITER 9467 NEW BEST:: SOT 48907 SOS 12942 HAS SOPS 9396 HAS SOUS 8441 HAS SOUPS 7242 WITH SCORE 7254.942
AT ITER 9571 NEW BEST:: SOT 48901 SOS 12957 HAS SOPS 9411 HAS SOUS 8436 HAS SOUPS 7237 WITH SCORE 7249.957
AT ITER 9579 NEW BEST:: SOT 48901 SOS 12956 HAS SOPS 9410 HAS SOUS 8436 HAS SOUPS 7237 WITH SCORE 7249.956
AT ITER 9612 NEW BEST:: SOT 48906 SOS 12966 HAS SOPS 9408 HAS SOUS 8446 HAS SOUPS 7235 WITH SCORE 7247.966
AT ITER 9631 NEW BEST:: SOT 48903 SOS 12951 HAS SOPS 9393 HAS SOUS 8440 HAS SOUPS 7229 WITH SCORE 7241.951
AT ITER 9642 NEW BEST:: SOT 48900 SOS 12967 HAS SOPS 9390 HAS SOUS 8437 HAS SOUPS 7226 WITH SCORE 7238.967
AT ITER 9666 NEW BEST:: SOT 48894 SOS 12937 HAS SOPS 9366 HAS SOUS 8431 HAS SOUPS 7220 WITH SCORE 7232.937
AT ITER 9762 NEW BEST:: SOT 48891 SOS 12931 HAS SOPS 9360 HAS SOUS 8425 HAS SOUPS 7214 WITH SCORE 7226.931
AT ITER 9779 NEW BEST:: SOT 48891 SOS 12907 HAS SOPS 9360 HAS SOUS 8425 HAS SOUPS 7214 WITH SCORE 7226.907
AT ITER 9799 NEW BEST:: SOT 48891 SOS 12913 HAS SOPS 9364 HAS SOUS 8423 HAS SOUPS 7212 WITH SCORE 7224.913
AT ITER 9858 NEW BEST:: SOT 48891 SOS 12901 HAS SOPS 9364 HAS SOUS 8421 HAS SOUPS 7212 WITH SCORE 7224.901
AT ITER 9991 NEW BEST:: SOT 48839 SOS 12844 HAS SOPS 9353 HAS SOUS 8365 HAS SOUPS 7201 WITH SCORE 7213.844
STATE_SPACE STATES 3407946 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 13631784 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678834453207

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is Peterson-PT-3, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r259-smll-167863534800616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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