fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r483-tall-167912696400952
Last Updated
May 14, 2023

About the Execution of Smart for UtahNoC-PT-none

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1262.464 89090.00 89051.00 0.00 4.7599E+0009 7.7248E+0010 1 8 normal

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.r483-tall-167912696400952.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 UtahNoC-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696400952
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 5.9K Feb 26 04:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 04:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 04:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 04:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 04:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 04:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 205K 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 1679183797238

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=UtahNoC-PT-none
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtahNoC (PT), instance none
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: 216 places, 977 transitions, 2905 arcs.
AT ITER 0 NEW BEST:: SOT 124401 SOS 61732 HAS SOPS 61156 HAS SOUS 30959 HAS SOUPS 30744 WITH SCORE 30805.732
AT ITER 1 NEW BEST:: SOT 124406 SOS 61670 HAS SOPS 61094 HAS SOUS 30952 HAS SOUPS 30737 WITH SCORE 30798.67
AT ITER 3 NEW BEST:: SOT 124331 SOS 62474 HAS SOPS 61902 HAS SOUS 30795 HAS SOUPS 30554 WITH SCORE 30616.474
AT ITER 6 NEW BEST:: SOT 124051 SOS 62367 HAS SOPS 61795 HAS SOUS 30576 HAS SOUPS 30335 WITH SCORE 30397.367
AT ITER 7 NEW BEST:: SOT 124051 SOS 62351 HAS SOPS 61779 HAS SOUS 30563 HAS SOUPS 30322 WITH SCORE 30384.351
AT ITER 8 NEW BEST:: SOT 124216 SOS 62351 HAS SOPS 61779 HAS SOUS 30508 HAS SOUPS 30267 WITH SCORE 30329.351
AT ITER 9 NEW BEST:: SOT 124216 SOS 62342 HAS SOPS 61770 HAS SOUS 30499 HAS SOUPS 30258 WITH SCORE 30320.342
AT ITER 10 NEW BEST:: SOT 124773 SOS 65067 HAS SOPS 61784 HAS SOUS 30367 HAS SOUPS 29976 WITH SCORE 30041.067
AT ITER 13 NEW BEST:: SOT 124819 SOS 65092 HAS SOPS 61809 HAS SOUS 29978 HAS SOUPS 29587 WITH SCORE 29652.092
AT ITER 14 NEW BEST:: SOT 125105 SOS 65172 HAS SOPS 61889 HAS SOUS 29812 HAS SOUPS 29421 WITH SCORE 29486.172
AT ITER 16 NEW BEST:: SOT 125141 SOS 65141 HAS SOPS 61858 HAS SOUS 29304 HAS SOUPS 28913 WITH SCORE 28978.141
AT ITER 18 NEW BEST:: SOT 125376 SOS 65823 HAS SOPS 62369 HAS SOUS 29317 HAS SOUPS 28826 WITH SCORE 28891.823
AT ITER 20 NEW BEST:: SOT 125408 SOS 65833 HAS SOPS 62379 HAS SOUS 29295 HAS SOUPS 28804 WITH SCORE 28869.833
AT ITER 21 NEW BEST:: SOT 125358 SOS 65733 HAS SOPS 62279 HAS SOUS 29269 HAS SOUPS 28778 WITH SCORE 28843.733
AT ITER 22 NEW BEST:: SOT 124949 SOS 65819 HAS SOPS 62418 HAS SOUS 29049 HAS SOUPS 28558 WITH SCORE 28623.819
AT ITER 23 NEW BEST:: SOT 124953 SOS 65878 HAS SOPS 62488 HAS SOUS 29039 HAS SOUPS 28551 WITH SCORE 28616.878
AT ITER 27 NEW BEST:: SOT 125347 SOS 65868 HAS SOPS 62496 HAS SOUS 29017 HAS SOUPS 28535 WITH SCORE 28600.868
AT ITER 31 NEW BEST:: SOT 125107 SOS 65724 HAS SOPS 62352 HAS SOUS 29017 HAS SOUPS 28535 WITH SCORE 28600.724
AT ITER 35 NEW BEST:: SOT 125519 SOS 66896 HAS SOPS 63524 HAS SOUS 28973 HAS SOUPS 28491 WITH SCORE 28557.896
AT ITER 36 NEW BEST:: SOT 125118 SOS 67012 HAS SOPS 63640 HAS SOUS 28459 HAS SOUPS 27977 WITH SCORE 28044.012
AT ITER 41 NEW BEST:: SOT 125104 SOS 66984 HAS SOPS 63612 HAS SOUS 28435 HAS SOUPS 27953 WITH SCORE 28019.984
AT ITER 43 NEW BEST:: SOT 124681 SOS 66806 HAS SOPS 63404 HAS SOUS 28055 HAS SOUPS 27573 WITH SCORE 27639.806
AT ITER 48 NEW BEST:: SOT 124681 SOS 66718 HAS SOPS 63316 HAS SOUS 28055 HAS SOUPS 27573 WITH SCORE 27639.718
AT ITER 53 NEW BEST:: SOT 124693 SOS 66716 HAS SOPS 63314 HAS SOUS 28053 HAS SOUPS 27571 WITH SCORE 27637.716
AT ITER 54 NEW BEST:: SOT 124693 SOS 66716 HAS SOPS 63314 HAS SOUS 28033 HAS SOUPS 27551 WITH SCORE 27617.716
AT ITER 55 NEW BEST:: SOT 124619 SOS 66642 HAS SOPS 63228 HAS SOUS 27863 HAS SOUPS 27381 WITH SCORE 27447.642
AT ITER 65 NEW BEST:: SOT 124438 SOS 66605 HAS SOPS 63204 HAS SOUS 26890 HAS SOUPS 26413 WITH SCORE 26479.605
AT ITER 66 NEW BEST:: SOT 124656 SOS 67591 HAS SOPS 64190 HAS SOUS 26691 HAS SOUPS 26214 WITH SCORE 26281.591
AT ITER 68 NEW BEST:: SOT 124423 SOS 67416 HAS SOPS 64072 HAS SOUS 26631 HAS SOUPS 26154 WITH SCORE 26221.416
AT ITER 71 NEW BEST:: SOT 124232 SOS 67463 HAS SOPS 64119 HAS SOUS 26492 HAS SOUPS 26015 WITH SCORE 26082.463
AT ITER 72 NEW BEST:: SOT 124232 SOS 67452 HAS SOPS 64108 HAS SOUS 26481 HAS SOUPS 26004 WITH SCORE 26071.452
AT ITER 76 NEW BEST:: SOT 124121 SOS 67345 HAS SOPS 64009 HAS SOUS 26409 HAS SOUPS 25930 WITH SCORE 25997.345
AT ITER 81 NEW BEST:: SOT 123951 SOS 67209 HAS SOPS 63873 HAS SOUS 26409 HAS SOUPS 25930 WITH SCORE 25997.209
AT ITER 86 NEW BEST:: SOT 123680 SOS 66997 HAS SOPS 63661 HAS SOUS 26138 HAS SOUPS 25659 WITH SCORE 25725.997
AT ITER 87 NEW BEST:: SOT 123680 SOS 66995 HAS SOPS 63659 HAS SOUS 26138 HAS SOUPS 25659 WITH SCORE 25725.995
AT ITER 91 NEW BEST:: SOT 123847 SOS 67747 HAS SOPS 64166 HAS SOUS 25816 HAS SOUPS 25206 WITH SCORE 25273.747
AT ITER 92 NEW BEST:: SOT 124009 SOS 67716 HAS SOPS 64135 HAS SOUS 25589 HAS SOUPS 24979 WITH SCORE 25046.716
AT ITER 95 NEW BEST:: SOT 123733 SOS 67288 HAS SOPS 63707 HAS SOUS 25297 HAS SOUPS 24687 WITH SCORE 24754.288
AT ITER 97 NEW BEST:: SOT 124174 SOS 68048 HAS SOPS 64467 HAS SOUS 25107 HAS SOUPS 24497 WITH SCORE 24565.048
AT ITER 101 NEW BEST:: SOT 124154 SOS 68033 HAS SOPS 64452 HAS SOUS 25102 HAS SOUPS 24492 WITH SCORE 24560.033
AT ITER 103 NEW BEST:: SOT 123889 SOS 67756 HAS SOPS 64249 HAS SOUS 24974 HAS SOUPS 24364 WITH SCORE 24431.756
AT ITER 104 NEW BEST:: SOT 123907 SOS 67738 HAS SOPS 64231 HAS SOUS 24956 HAS SOUPS 24346 WITH SCORE 24413.738
AT ITER 109 NEW BEST:: SOT 123884 SOS 67683 HAS SOPS 64177 HAS SOUS 24946 HAS SOUPS 24336 WITH SCORE 24403.683
AT ITER 111 NEW BEST:: SOT 123604 SOS 67353 HAS SOPS 63847 HAS SOUS 24891 HAS SOUPS 24281 WITH SCORE 24348.353
AT ITER 118 NEW BEST:: SOT 123699 SOS 67370 HAS SOPS 63864 HAS SOUS 24694 HAS SOUPS 24084 WITH SCORE 24151.37
AT ITER 129 NEW BEST:: SOT 123610 SOS 67098 HAS SOPS 63592 HAS SOUS 24493 HAS SOUPS 23883 WITH SCORE 23950.098
AT ITER 134 NEW BEST:: SOT 123250 SOS 66882 HAS SOPS 63376 HAS SOUS 24485 HAS SOUPS 23875 WITH SCORE 23941.882
AT ITER 138 NEW BEST:: SOT 122879 SOS 66297 HAS SOPS 62791 HAS SOUS 23904 HAS SOUPS 23294 WITH SCORE 23360.297
AT ITER 140 NEW BEST:: SOT 122800 SOS 65977 HAS SOPS 62471 HAS SOUS 23890 HAS SOUPS 23280 WITH SCORE 23345.977
AT ITER 144 NEW BEST:: SOT 122738 SOS 65853 HAS SOPS 62347 HAS SOUS 23769 HAS SOUPS 23159 WITH SCORE 23224.853
AT ITER 146 NEW BEST:: SOT 122943 SOS 66263 HAS SOPS 62757 HAS SOUS 23316 HAS SOUPS 22706 WITH SCORE 22772.263
AT ITER 150 NEW BEST:: SOT 122875 SOS 66195 HAS SOPS 62689 HAS SOUS 23213 HAS SOUPS 22603 WITH SCORE 22669.195
AT ITER 152 NEW BEST:: SOT 122835 SOS 66155 HAS SOPS 62649 HAS SOUS 23173 HAS SOUPS 22563 WITH SCORE 22629.155
AT ITER 154 NEW BEST:: SOT 122692 SOS 65993 HAS SOPS 62487 HAS SOUS 22886 HAS SOUPS 22276 WITH SCORE 22341.993
AT ITER 157 NEW BEST:: SOT 122508 SOS 65919 HAS SOPS 62449 HAS SOUS 22848 HAS SOUPS 22238 WITH SCORE 22303.919
AT ITER 158 NEW BEST:: SOT 122648 SOS 66250 HAS SOPS 62780 HAS SOUS 22806 HAS SOUPS 22196 WITH SCORE 22262.25
AT ITER 167 NEW BEST:: SOT 122303 SOS 65905 HAS SOPS 62468 HAS SOUS 22656 HAS SOUPS 22046 WITH SCORE 22111.905
AT ITER 175 NEW BEST:: SOT 121747 SOS 65373 HAS SOPS 61936 HAS SOUS 22409 HAS SOUPS 21799 WITH SCORE 21864.373
AT ITER 178 NEW BEST:: SOT 121854 SOS 65433 HAS SOPS 61996 HAS SOUS 22380 HAS SOUPS 21770 WITH SCORE 21835.433
AT ITER 184 NEW BEST:: SOT 121937 SOS 65401 HAS SOPS 61964 HAS SOUS 22348 HAS SOUPS 21738 WITH SCORE 21803.401
AT ITER 185 NEW BEST:: SOT 121604 SOS 63204 HAS SOPS 62206 HAS SOUS 22027 HAS SOUPS 21567 WITH SCORE 21630.204
AT ITER 190 NEW BEST:: SOT 121401 SOS 63029 HAS SOPS 62031 HAS SOUS 21884 HAS SOUPS 21424 WITH SCORE 21487.029
AT ITER 191 NEW BEST:: SOT 121395 SOS 63024 HAS SOPS 62026 HAS SOUS 21875 HAS SOUPS 21415 WITH SCORE 21478.024
AT ITER 193 NEW BEST:: SOT 121378 SOS 63007 HAS SOPS 62009 HAS SOUS 21857 HAS SOUPS 21397 WITH SCORE 21460.007
AT ITER 198 NEW BEST:: SOT 121234 SOS 62878 HAS SOPS 61880 HAS SOUS 21713 HAS SOUPS 21253 WITH SCORE 21315.878
AT ITER 210 NEW BEST:: SOT 121410 SOS 62988 HAS SOPS 61990 HAS SOUS 21709 HAS SOUPS 21249 WITH SCORE 21311.988
AT ITER 211 NEW BEST:: SOT 121795 SOS 63241 HAS SOPS 62264 HAS SOUS 21600 HAS SOUPS 21147 WITH SCORE 21210.241
AT ITER 213 NEW BEST:: SOT 121658 SOS 62843 HAS SOPS 61866 HAS SOUS 21432 HAS SOUPS 20979 WITH SCORE 21041.843
AT ITER 214 NEW BEST:: SOT 121652 SOS 62819 HAS SOPS 61842 HAS SOUS 21414 HAS SOUPS 20961 WITH SCORE 21023.819
AT ITER 219 NEW BEST:: SOT 121434 SOS 63407 HAS SOPS 62430 HAS SOUS 21277 HAS SOUPS 20824 WITH SCORE 20887.407
AT ITER 221 NEW BEST:: SOT 121698 SOS 63803 HAS SOPS 62826 HAS SOUS 21195 HAS SOUPS 20742 WITH SCORE 20805.803
AT ITER 225 NEW BEST:: SOT 121538 SOS 63397 HAS SOPS 62420 HAS SOUS 21121 HAS SOUPS 20668 WITH SCORE 20731.397
AT ITER 232 NEW BEST:: SOT 121491 SOS 63342 HAS SOPS 62365 HAS SOUS 21058 HAS SOUPS 20605 WITH SCORE 20668.342
AT ITER 235 NEW BEST:: SOT 121038 SOS 62559 HAS SOPS 61582 HAS SOUS 20977 HAS SOUPS 20524 WITH SCORE 20586.559
AT ITER 237 NEW BEST:: SOT 121071 SOS 62559 HAS SOPS 61582 HAS SOUS 20966 HAS SOUPS 20513 WITH SCORE 20575.559
AT ITER 239 NEW BEST:: SOT 121052 SOS 62545 HAS SOPS 61568 HAS SOUS 20910 HAS SOUPS 20457 WITH SCORE 20519.545
AT ITER 241 NEW BEST:: SOT 120986 SOS 62662 HAS SOPS 61685 HAS SOUS 20682 HAS SOUPS 20229 WITH SCORE 20291.662
AT ITER 247 NEW BEST:: SOT 121132 SOS 62674 HAS SOPS 61697 HAS SOUS 20654 HAS SOUPS 20201 WITH SCORE 20263.674
AT ITER 249 NEW BEST:: SOT 121025 SOS 62571 HAS SOPS 61594 HAS SOUS 20597 HAS SOUPS 20144 WITH SCORE 20206.571
AT ITER 259 NEW BEST:: SOT 121028 SOS 62034 HAS SOPS 61057 HAS SOUS 20597 HAS SOUPS 20144 WITH SCORE 20206.034
AT ITER 265 NEW BEST:: SOT 121093 SOS 61775 HAS SOPS 60892 HAS SOUS 20516 HAS SOUPS 20110 WITH SCORE 20171.775
AT ITER 267 NEW BEST:: SOT 121038 SOS 61720 HAS SOPS 60837 HAS SOUS 20483 HAS SOUPS 20077 WITH SCORE 20138.72
AT ITER 271 NEW BEST:: SOT 121131 SOS 62095 HAS SOPS 61212 HAS SOUS 20251 HAS SOUPS 19845 WITH SCORE 19907.095
AT ITER 285 NEW BEST:: SOT 121008 SOS 61996 HAS SOPS 61113 HAS SOUS 20226 HAS SOUPS 19820 WITH SCORE 19881.996
AT ITER 287 NEW BEST:: SOT 120847 SOS 62592 HAS SOPS 61709 HAS SOUS 20219 HAS SOUPS 19813 WITH SCORE 19875.592
AT ITER 292 NEW BEST:: SOT 120892 SOS 62577 HAS SOPS 61694 HAS SOUS 20189 HAS SOUPS 19783 WITH SCORE 19845.577
AT ITER 301 NEW BEST:: SOT 120891 SOS 62574 HAS SOPS 61691 HAS SOUS 20189 HAS SOUPS 19783 WITH SCORE 19845.574
AT ITER 308 NEW BEST:: SOT 120898 SOS 62584 HAS SOPS 61707 HAS SOUS 20176 HAS SOUPS 19772 WITH SCORE 19834.584
AT ITER 312 NEW BEST:: SOT 120746 SOS 62450 HAS SOPS 61520 HAS SOUS 19898 HAS SOUPS 19496 WITH SCORE 19558.45
AT ITER 317 NEW BEST:: SOT 120762 SOS 62486 HAS SOPS 61556 HAS SOUS 19894 HAS SOUPS 19492 WITH SCORE 19554.486
AT ITER 319 NEW BEST:: SOT 120293 SOS 62385 HAS SOPS 61455 HAS SOUS 19842 HAS SOUPS 19440 WITH SCORE 19502.385
AT ITER 321 NEW BEST:: SOT 120386 SOS 62411 HAS SOPS 61481 HAS SOUS 19821 HAS SOUPS 19419 WITH SCORE 19481.411
AT ITER 326 NEW BEST:: SOT 120231 SOS 62222 HAS SOPS 61272 HAS SOUS 19807 HAS SOUPS 19398 WITH SCORE 19460.222
AT ITER 335 NEW BEST:: SOT 120229 SOS 62200 HAS SOPS 61250 HAS SOUS 19805 HAS SOUPS 19396 WITH SCORE 19458.2
AT ITER 342 NEW BEST:: SOT 120252 SOS 62210 HAS SOPS 61260 HAS SOUS 19804 HAS SOUPS 19395 WITH SCORE 19457.21
AT ITER 349 NEW BEST:: SOT 120242 SOS 62190 HAS SOPS 61240 HAS SOUS 19784 HAS SOUPS 19375 WITH SCORE 19437.19
AT ITER 352 NEW BEST:: SOT 120369 SOS 62448 HAS SOPS 61498 HAS SOUS 19781 HAS SOUPS 19372 WITH SCORE 19434.448
AT ITER 355 NEW BEST:: SOT 120426 SOS 62475 HAS SOPS 61525 HAS SOUS 19708 HAS SOUPS 19299 WITH SCORE 19361.475
AT ITER 358 NEW BEST:: SOT 120511 SOS 62526 HAS SOPS 61576 HAS SOUS 19694 HAS SOUPS 19285 WITH SCORE 19347.526
AT ITER 361 NEW BEST:: SOT 120511 SOS 62572 HAS SOPS 61622 HAS SOUS 19686 HAS SOUPS 19277 WITH SCORE 19339.572
AT ITER 362 NEW BEST:: SOT 120211 SOS 62860 HAS SOPS 61910 HAS SOUS 19682 HAS SOUPS 19273 WITH SCORE 19335.86
AT ITER 367 NEW BEST:: SOT 120197 SOS 62846 HAS SOPS 61896 HAS SOUS 19668 HAS SOUPS 19259 WITH SCORE 19321.846
AT ITER 369 NEW BEST:: SOT 120213 SOS 62830 HAS SOPS 61880 HAS SOUS 19652 HAS SOUPS 19243 WITH SCORE 19305.83
AT ITER 373 NEW BEST:: SOT 119713 SOS 62416 HAS SOPS 61466 HAS SOUS 19195 HAS SOUPS 18786 WITH SCORE 18848.416
AT ITER 375 NEW BEST:: SOT 119313 SOS 62012 HAS SOPS 61062 HAS SOUS 18726 HAS SOUPS 18317 WITH SCORE 18379.012
AT ITER 380 NEW BEST:: SOT 119205 SOS 61902 HAS SOPS 60904 HAS SOUS 18527 HAS SOUPS 18105 WITH SCORE 18166.902
AT ITER 387 NEW BEST:: SOT 119061 SOS 61374 HAS SOPS 60376 HAS SOUS 18496 HAS SOUPS 18074 WITH SCORE 18135.374
AT ITER 394 NEW BEST:: SOT 119064 SOS 61380 HAS SOPS 60382 HAS SOUS 18480 HAS SOUPS 18058 WITH SCORE 18119.38
AT ITER 403 NEW BEST:: SOT 119059 SOS 61608 HAS SOPS 60610 HAS SOUS 18260 HAS SOUPS 17838 WITH SCORE 17899.608
AT ITER 406 NEW BEST:: SOT 119059 SOS 61608 HAS SOPS 60610 HAS SOUS 18225 HAS SOUPS 17803 WITH SCORE 17864.608
AT ITER 412 NEW BEST:: SOT 118962 SOS 62063 HAS SOPS 60513 HAS SOUS 18139 HAS SOUPS 17670 WITH SCORE 17732.063
AT ITER 418 NEW BEST:: SOT 118602 SOS 61656 HAS SOPS 60106 HAS SOUS 17957 HAS SOUPS 17488 WITH SCORE 17549.656
AT ITER 424 NEW BEST:: SOT 118624 SOS 61286 HAS SOPS 59736 HAS SOUS 17926 HAS SOUPS 17457 WITH SCORE 17518.286
AT ITER 428 NEW BEST:: SOT 118264 SOS 61070 HAS SOPS 59520 HAS SOUS 17896 HAS SOUPS 17427 WITH SCORE 17488.07
AT ITER 433 NEW BEST:: SOT 118264 SOS 61029 HAS SOPS 59520 HAS SOUS 17896 HAS SOUPS 17427 WITH SCORE 17488.029
AT ITER 441 NEW BEST:: SOT 118281 SOS 61038 HAS SOPS 59529 HAS SOUS 17890 HAS SOUPS 17421 WITH SCORE 17482.038
AT ITER 446 NEW BEST:: SOT 118161 SOS 60798 HAS SOPS 59289 HAS SOUS 17866 HAS SOUPS 17397 WITH SCORE 17457.798
AT ITER 452 NEW BEST:: SOT 117947 SOS 60578 HAS SOPS 59069 HAS SOUS 17805 HAS SOUPS 17336 WITH SCORE 17396.578
AT ITER 460 NEW BEST:: SOT 117925 SOS 60520 HAS SOPS 59011 HAS SOUS 17747 HAS SOUPS 17278 WITH SCORE 17338.52
AT ITER 468 NEW BEST:: SOT 117912 SOS 61096 HAS SOPS 59587 HAS SOUS 17745 HAS SOUPS 17276 WITH SCORE 17337.096
AT ITER 469 NEW BEST:: SOT 117795 SOS 59634 HAS SOPS 58125 HAS SOUS 17623 HAS SOUPS 17154 WITH SCORE 17213.634
AT ITER 470 NEW BEST:: SOT 117639 SOS 59557 HAS SOPS 58059 HAS SOUS 17590 HAS SOUPS 17121 WITH SCORE 17180.557
AT ITER 472 NEW BEST:: SOT 118318 SOS 61521 HAS SOPS 59860 HAS SOUS 17691 HAS SOUPS 17112 WITH SCORE 17173.521
AT ITER 481 NEW BEST:: SOT 118348 SOS 61506 HAS SOPS 59830 HAS SOUS 17625 HAS SOUPS 17041 WITH SCORE 17102.506
AT ITER 489 NEW BEST:: SOT 118346 SOS 59927 HAS SOPS 58444 HAS SOUS 17420 HAS SOUPS 16946 WITH SCORE 17005.927
AT ITER 492 NEW BEST:: SOT 118334 SOS 59903 HAS SOPS 58420 HAS SOUS 17400 HAS SOUPS 16926 WITH SCORE 16985.903
AT ITER 493 NEW BEST:: SOT 118234 SOS 59843 HAS SOPS 58360 HAS SOUS 17388 HAS SOUPS 16914 WITH SCORE 16973.843
AT ITER 510 NEW BEST:: SOT 117648 SOS 59456 HAS SOPS 57973 HAS SOUS 17176 HAS SOUPS 16702 WITH SCORE 16761.456
AT ITER 526 NEW BEST:: SOT 117636 SOS 59432 HAS SOPS 57949 HAS SOUS 17129 HAS SOUPS 16655 WITH SCORE 16714.432
AT ITER 531 NEW BEST:: SOT 117632 SOS 59426 HAS SOPS 57941 HAS SOUS 17123 HAS SOUPS 16647 WITH SCORE 16706.426
AT ITER 539 NEW BEST:: SOT 117632 SOS 59426 HAS SOPS 57941 HAS SOUS 17111 HAS SOUPS 16635 WITH SCORE 16694.426
AT ITER 543 NEW BEST:: SOT 117699 SOS 59605 HAS SOPS 58120 HAS SOUS 17056 HAS SOUPS 16580 WITH SCORE 16639.605
AT ITER 554 NEW BEST:: SOT 117695 SOS 59593 HAS SOPS 58112 HAS SOUS 17048 HAS SOUPS 16572 WITH SCORE 16631.593
AT ITER 564 NEW BEST:: SOT 117693 SOS 59597 HAS SOPS 58116 HAS SOUS 17047 HAS SOUPS 16571 WITH SCORE 16630.597
AT ITER 572 NEW BEST:: SOT 117448 SOS 59467 HAS SOPS 57986 HAS SOUS 16805 HAS SOUPS 16329 WITH SCORE 16388.467
AT ITER 589 NEW BEST:: SOT 117374 SOS 59393 HAS SOPS 57925 HAS SOUS 16798 HAS SOUPS 16322 WITH SCORE 16381.393
AT ITER 590 NEW BEST:: SOT 117394 SOS 59521 HAS SOPS 57865 HAS SOUS 16789 HAS SOUPS 16303 WITH SCORE 16362.521
AT ITER 608 NEW BEST:: SOT 117370 SOS 59485 HAS SOPS 57817 HAS SOUS 16775 HAS SOUPS 16285 WITH SCORE 16344.485
AT ITER 609 NEW BEST:: SOT 117345 SOS 59470 HAS SOPS 57802 HAS SOUS 16775 HAS SOUPS 16285 WITH SCORE 16344.47
AT ITER 610 NEW BEST:: SOT 117307 SOS 59422 HAS SOPS 57754 HAS SOUS 16721 HAS SOUPS 16231 WITH SCORE 16290.422
AT ITER 613 NEW BEST:: SOT 117372 SOS 59329 HAS SOPS 57661 HAS SOUS 16568 HAS SOUPS 16078 WITH SCORE 16137.329
AT ITER 614 NEW BEST:: SOT 117314 SOS 59261 HAS SOPS 57593 HAS SOUS 16565 HAS SOUPS 16075 WITH SCORE 16134.261
AT ITER 616 NEW BEST:: SOT 117302 SOS 59261 HAS SOPS 57605 HAS SOUS 16541 HAS SOUPS 16051 WITH SCORE 16110.261
AT ITER 617 NEW BEST:: SOT 117291 SOS 59162 HAS SOPS 57506 HAS SOUS 16475 HAS SOUPS 15985 WITH SCORE 16044.162
AT ITER 619 NEW BEST:: SOT 117294 SOS 59201 HAS SOPS 57545 HAS SOUS 16474 HAS SOUPS 15984 WITH SCORE 16043.201
AT ITER 625 NEW BEST:: SOT 117134 SOS 59011 HAS SOPS 57355 HAS SOUS 16444 HAS SOUPS 15954 WITH SCORE 16013.011
AT ITER 627 NEW BEST:: SOT 117064 SOS 58906 HAS SOPS 57250 HAS SOUS 16414 HAS SOUPS 15924 WITH SCORE 15982.906
AT ITER 634 NEW BEST:: SOT 117058 SOS 59050 HAS SOPS 57394 HAS SOUS 16370 HAS SOUPS 15880 WITH SCORE 15939.05
AT ITER 639 NEW BEST:: SOT 116989 SOS 58963 HAS SOPS 57307 HAS SOUS 16296 HAS SOUPS 15806 WITH SCORE 15864.963
AT ITER 640 NEW BEST:: SOT 116981 SOS 58926 HAS SOPS 57270 HAS SOUS 16264 HAS SOUPS 15774 WITH SCORE 15832.926
AT ITER 641 NEW BEST:: SOT 116921 SOS 58908 HAS SOPS 57252 HAS SOUS 16250 HAS SOUPS 15760 WITH SCORE 15818.908
AT ITER 646 NEW BEST:: SOT 116886 SOS 58861 HAS SOPS 57194 HAS SOUS 16204 HAS SOUPS 15714 WITH SCORE 15772.861
AT ITER 648 NEW BEST:: SOT 117070 SOS 59369 HAS SOPS 57702 HAS SOUS 16186 HAS SOUPS 15696 WITH SCORE 15755.369
AT ITER 658 NEW BEST:: SOT 117064 SOS 59357 HAS SOPS 57690 HAS SOUS 16141 HAS SOUPS 15651 WITH SCORE 15710.357
AT ITER 677 NEW BEST:: SOT 116934 SOS 59279 HAS SOPS 57612 HAS SOUS 16089 HAS SOUPS 15599 WITH SCORE 15658.279
AT ITER 680 NEW BEST:: SOT 117080 SOS 59279 HAS SOPS 57612 HAS SOUS 15948 HAS SOUPS 15458 WITH SCORE 15517.279
AT ITER 696 NEW BEST:: SOT 117085 SOS 59288 HAS SOPS 57621 HAS SOUS 15940 HAS SOUPS 15450 WITH SCORE 15509.288
AT ITER 705 NEW BEST:: SOT 117069 SOS 59179 HAS SOPS 57512 HAS SOUS 15910 HAS SOUPS 15420 WITH SCORE 15479.179
AT ITER 715 NEW BEST:: SOT 117069 SOS 59195 HAS SOPS 57528 HAS SOUS 15842 HAS SOUPS 15352 WITH SCORE 15411.195
AT ITER 721 NEW BEST:: SOT 116922 SOS 59048 HAS SOPS 57381 HAS SOUS 15790 HAS SOUPS 15300 WITH SCORE 15359.048
AT ITER 726 NEW BEST:: SOT 116925 SOS 59032 HAS SOPS 57365 HAS SOUS 15784 HAS SOUPS 15294 WITH SCORE 15353.032
AT ITER 735 NEW BEST:: SOT 116957 SOS 59064 HAS SOPS 57397 HAS SOUS 15774 HAS SOUPS 15284 WITH SCORE 15343.064
AT ITER 737 NEW BEST:: SOT 116945 SOS 59016 HAS SOPS 57349 HAS SOUS 15766 HAS SOUPS 15276 WITH SCORE 15335.016
AT ITER 753 NEW BEST:: SOT 116919 SOS 58984 HAS SOPS 57317 HAS SOUS 15756 HAS SOUPS 15266 WITH SCORE 15324.984
AT ITER 760 NEW BEST:: SOT 116884 SOS 58963 HAS SOPS 57296 HAS SOUS 15747 HAS SOUPS 15257 WITH SCORE 15315.963
AT ITER 768 NEW BEST:: SOT 116934 SOS 58951 HAS SOPS 57256 HAS SOUS 15658 HAS SOUPS 15168 WITH SCORE 15226.951
AT ITER 779 NEW BEST:: SOT 116921 SOS 58938 HAS SOPS 57238 HAS SOUS 15648 HAS SOUPS 15158 WITH SCORE 15216.938
AT ITER 796 NEW BEST:: SOT 116920 SOS 58937 HAS SOPS 57237 HAS SOUS 15647 HAS SOUPS 15157 WITH SCORE 15215.937
AT ITER 797 NEW BEST:: SOT 116910 SOS 58927 HAS SOPS 57217 HAS SOUS 15627 HAS SOUPS 15137 WITH SCORE 15195.927
AT ITER 817 NEW BEST:: SOT 116909 SOS 58928 HAS SOPS 57218 HAS SOUS 15625 HAS SOUPS 15135 WITH SCORE 15193.928
AT ITER 824 NEW BEST:: SOT 116877 SOS 58896 HAS SOPS 57177 HAS SOUS 15557 HAS SOUPS 15067 WITH SCORE 15125.896
AT ITER 825 NEW BEST:: SOT 116835 SOS 58854 HAS SOPS 57135 HAS SOUS 15494 HAS SOUPS 15004 WITH SCORE 15062.854
AT ITER 827 NEW BEST:: SOT 116696 SOS 58393 HAS SOPS 56665 HAS SOUS 15411 HAS SOUPS 14921 WITH SCORE 14979.393
AT ITER 832 NEW BEST:: SOT 116682 SOS 58310 HAS SOPS 56234 HAS SOUS 15315 HAS SOUPS 14760 WITH SCORE 14818.31
AT ITER 847 NEW BEST:: SOT 116734 SOS 58683 HAS SOPS 56607 HAS SOUS 15286 HAS SOUPS 14731 WITH SCORE 14789.683
AT ITER 857 NEW BEST:: SOT 116731 SOS 58680 HAS SOPS 56604 HAS SOUS 15284 HAS SOUPS 14729 WITH SCORE 14787.68
AT ITER 858 NEW BEST:: SOT 116690 SOS 58569 HAS SOPS 56493 HAS SOUS 15070 HAS SOUPS 14515 WITH SCORE 14573.569
AT ITER 859 NEW BEST:: SOT 116676 SOS 58443 HAS SOPS 56395 HAS SOUS 15051 HAS SOUPS 14510 WITH SCORE 14568.443
AT ITER 883 NEW BEST:: SOT 116664 SOS 58419 HAS SOPS 56371 HAS SOUS 15036 HAS SOUPS 14495 WITH SCORE 14553.419
AT ITER 891 NEW BEST:: SOT 116241 SOS 58098 HAS SOPS 56050 HAS SOUS 15012 HAS SOUPS 14471 WITH SCORE 14529.098
AT ITER 897 NEW BEST:: SOT 116231 SOS 58086 HAS SOPS 56034 HAS SOUS 15004 HAS SOUPS 14463 WITH SCORE 14521.086
AT ITER 911 NEW BEST:: SOT 116168 SOS 58019 HAS SOPS 55967 HAS SOUS 14969 HAS SOUPS 14428 WITH SCORE 14486.019
AT ITER 915 NEW BEST:: SOT 116168 SOS 57899 HAS SOPS 55847 HAS SOUS 14879 HAS SOUPS 14338 WITH SCORE 14395.899
AT ITER 919 NEW BEST:: SOT 116044 SOS 57697 HAS SOPS 55645 HAS SOUS 14727 HAS SOUPS 14186 WITH SCORE 14243.697
AT ITER 922 NEW BEST:: SOT 116014 SOS 57640 HAS SOPS 55585 HAS SOUS 14667 HAS SOUPS 14126 WITH SCORE 14183.64
AT ITER 927 NEW BEST:: SOT 115942 SOS 57334 HAS SOPS 55279 HAS SOUS 14661 HAS SOUPS 14120 WITH SCORE 14177.334
AT ITER 932 NEW BEST:: SOT 115873 SOS 56570 HAS SOPS 54515 HAS SOUS 14571 HAS SOUPS 14030 WITH SCORE 14086.57
AT ITER 934 NEW BEST:: SOT 115937 SOS 56522 HAS SOPS 54467 HAS SOUS 14493 HAS SOUPS 13952 WITH SCORE 14008.522
AT ITER 940 NEW BEST:: SOT 115933 SOS 56506 HAS SOPS 54451 HAS SOUS 14477 HAS SOUPS 13936 WITH SCORE 13992.506
AT ITER 942 NEW BEST:: SOT 115936 SOS 56470 HAS SOPS 54415 HAS SOUS 14471 HAS SOUPS 13930 WITH SCORE 13986.47
AT ITER 943 NEW BEST:: SOT 115922 SOS 56454 HAS SOPS 54399 HAS SOUS 14465 HAS SOUPS 13924 WITH SCORE 13980.454
AT ITER 960 NEW BEST:: SOT 115811 SOS 56279 HAS SOPS 54224 HAS SOUS 14399 HAS SOUPS 13858 WITH SCORE 13914.279
AT ITER 965 NEW BEST:: SOT 115758 SOS 56166 HAS SOPS 54111 HAS SOUS 14358 HAS SOUPS 13817 WITH SCORE 13873.166
AT ITER 969 NEW BEST:: SOT 115748 SOS 56146 HAS SOPS 54103 HAS SOUS 14356 HAS SOUPS 13817 WITH SCORE 13873.146
AT ITER 979 NEW BEST:: SOT 115716 SOS 56082 HAS SOPS 54039 HAS SOUS 14332 HAS SOUPS 13793 WITH SCORE 13849.082
AT ITER 980 NEW BEST:: SOT 115676 SOS 55992 HAS SOPS 53959 HAS SOUS 14307 HAS SOUPS 13768 WITH SCORE 13823.992
AT ITER 984 NEW BEST:: SOT 115670 SOS 55998 HAS SOPS 53965 HAS SOUS 14301 HAS SOUPS 13762 WITH SCORE 13817.998
AT ITER 988 NEW BEST:: SOT 115740 SOS 55563 HAS SOPS 53507 HAS SOUS 14320 HAS SOUPS 13762 WITH SCORE 13817.563
AT ITER 995 NEW BEST:: SOT 115735 SOS 55533 HAS SOPS 53477 HAS SOUS 14308 HAS SOUPS 13750 WITH SCORE 13805.533
AT ITER 1009 NEW BEST:: SOT 115711 SOS 55477 HAS SOPS 53421 HAS SOUS 14284 HAS SOUPS 13726 WITH SCORE 13781.477
AT ITER 1012 NEW BEST:: SOT 115687 SOS 55436 HAS SOPS 53373 HAS SOUS 14236 HAS SOUPS 13678 WITH SCORE 13733.436
AT ITER 1013 NEW BEST:: SOT 115643 SOS 55424 HAS SOPS 53361 HAS SOUS 14224 HAS SOUPS 13666 WITH SCORE 13721.424
AT ITER 1017 NEW BEST:: SOT 115607 SOS 55352 HAS SOPS 53289 HAS SOUS 14211 HAS SOUPS 13653 WITH SCORE 13708.352
AT ITER 1018 NEW BEST:: SOT 115598 SOS 55361 HAS SOPS 53298 HAS SOUS 14210 HAS SOUPS 13652 WITH SCORE 13707.361
AT ITER 1026 NEW BEST:: SOT 115597 SOS 55360 HAS SOPS 53296 HAS SOUS 14166 HAS SOUPS 13608 WITH SCORE 13663.36
AT ITER 1030 NEW BEST:: SOT 115584 SOS 55331 HAS SOPS 53267 HAS SOUS 14157 HAS SOUPS 13599 WITH SCORE 13654.331
AT ITER 1045 NEW BEST:: SOT 115582 SOS 55327 HAS SOPS 53263 HAS SOUS 14142 HAS SOUPS 13584 WITH SCORE 13639.327
AT ITER 1053 NEW BEST:: SOT 115586 SOS 55328 HAS SOPS 53264 HAS SOUS 14140 HAS SOUPS 13582 WITH SCORE 13637.328
AT ITER 1058 NEW BEST:: SOT 115542 SOS 55240 HAS SOPS 53176 HAS SOUS 14036 HAS SOUPS 13478 WITH SCORE 13533.24
AT ITER 1072 NEW BEST:: SOT 115487 SOS 55180 HAS SOPS 53116 HAS SOUS 14036 HAS SOUPS 13478 WITH SCORE 13533.18
AT ITER 1088 NEW BEST:: SOT 115652 SOS 55265 HAS SOPS 53201 HAS SOUS 14026 HAS SOUPS 13468 WITH SCORE 13523.265
AT ITER 1102 NEW BEST:: SOT 115659 SOS 55327 HAS SOPS 53263 HAS SOUS 14002 HAS SOUPS 13444 WITH SCORE 13499.327
AT ITER 1110 NEW BEST:: SOT 115740 SOS 55076 HAS SOPS 53012 HAS SOUS 13984 HAS SOUPS 13426 WITH SCORE 13481.076
AT ITER 1118 NEW BEST:: SOT 115253 SOS 54802 HAS SOPS 52738 HAS SOUS 13861 HAS SOUPS 13303 WITH SCORE 13357.802
AT ITER 1132 NEW BEST:: SOT 115259 SOS 54804 HAS SOPS 52740 HAS SOUS 13857 HAS SOUPS 13299 WITH SCORE 13353.804
AT ITER 1137 NEW BEST:: SOT 115247 SOS 54780 HAS SOPS 52716 HAS SOUS 13833 HAS SOUPS 13275 WITH SCORE 13329.78
AT ITER 1144 NEW BEST:: SOT 115275 SOS 55041 HAS SOPS 52895 HAS SOUS 13803 HAS SOUPS 13204 WITH SCORE 13259.041
AT ITER 1169 NEW BEST:: SOT 114961 SOS 54733 HAS SOPS 52587 HAS SOUS 13597 HAS SOUPS 12998 WITH SCORE 13052.733
AT ITER 1173 NEW BEST:: SOT 115052 SOS 54729 HAS SOPS 52583 HAS SOUS 13507 HAS SOUPS 12908 WITH SCORE 12962.729
AT ITER 1230 NEW BEST:: SOT 114886 SOS 54621 HAS SOPS 52475 HAS SOUS 13468 HAS SOUPS 12869 WITH SCORE 12923.621
AT ITER 1250 NEW BEST:: SOT 114930 SOS 54622 HAS SOPS 52464 HAS SOUS 13477 HAS SOUPS 12866 WITH SCORE 12920.622
AT ITER 1269 NEW BEST:: SOT 114889 SOS 54581 HAS SOPS 52423 HAS SOUS 13453 HAS SOUPS 12842 WITH SCORE 12896.581
AT ITER 1272 NEW BEST:: SOT 114959 SOS 54249 HAS SOPS 52091 HAS SOUS 13430 HAS SOUPS 12819 WITH SCORE 12873.249
AT ITER 1282 NEW BEST:: SOT 114959 SOS 54249 HAS SOPS 52091 HAS SOUS 13401 HAS SOUPS 12790 WITH SCORE 12844.249
AT ITER 1326 NEW BEST:: SOT 115068 SOS 54667 HAS SOPS 52509 HAS SOUS 13389 HAS SOUPS 12778 WITH SCORE 12832.667
AT ITER 1333 NEW BEST:: SOT 115277 SOS 54800 HAS SOPS 52642 HAS SOUS 13325 HAS SOUPS 12714 WITH SCORE 12768.8
AT ITER 1335 NEW BEST:: SOT 115310 SOS 54823 HAS SOPS 52665 HAS SOUS 13303 HAS SOUPS 12692 WITH SCORE 12746.823
AT ITER 1338 NEW BEST:: SOT 115298 SOS 54815 HAS SOPS 52645 HAS SOUS 13299 HAS SOUPS 12684 WITH SCORE 12738.815
AT ITER 1344 NEW BEST:: SOT 115570 SOS 55340 HAS SOPS 52852 HAS SOUS 13306 HAS SOUPS 12638 WITH SCORE 12693.34
AT ITER 1348 NEW BEST:: SOT 115537 SOS 55302 HAS SOPS 52814 HAS SOUS 13298 HAS SOUPS 12630 WITH SCORE 12685.302
AT ITER 1354 NEW BEST:: SOT 115537 SOS 55302 HAS SOPS 52814 HAS SOUS 13291 HAS SOUPS 12623 WITH SCORE 12678.302
AT ITER 1360 NEW BEST:: SOT 115339 SOS 55170 HAS SOPS 52682 HAS SOUS 13249 HAS SOUPS 12581 WITH SCORE 12636.17
AT ITER 1384 NEW BEST:: SOT 115202 SOS 55110 HAS SOPS 52591 HAS SOUS 13219 HAS SOUPS 12530 WITH SCORE 12585.11
AT ITER 1412 NEW BEST:: SOT 115186 SOS 55004 HAS SOPS 52485 HAS SOUS 13203 HAS SOUPS 12514 WITH SCORE 12569.004
AT ITER 1419 NEW BEST:: SOT 115177 SOS 54992 HAS SOPS 52473 HAS SOUS 13190 HAS SOUPS 12501 WITH SCORE 12555.992
AT ITER 1427 NEW BEST:: SOT 115174 SOS 54989 HAS SOPS 52467 HAS SOUS 13184 HAS SOUPS 12495 WITH SCORE 12549.989
AT ITER 1429 NEW BEST:: SOT 115277 SOS 54839 HAS SOPS 52317 HAS SOUS 13107 HAS SOUPS 12418 WITH SCORE 12472.839
AT ITER 1431 NEW BEST:: SOT 115390 SOS 54926 HAS SOPS 52404 HAS SOUS 13088 HAS SOUPS 12399 WITH SCORE 12453.926
AT ITER 1434 NEW BEST:: SOT 115390 SOS 54866 HAS SOPS 52344 HAS SOUS 13058 HAS SOUPS 12369 WITH SCORE 12423.866
AT ITER 1459 NEW BEST:: SOT 115388 SOS 54864 HAS SOPS 52342 HAS SOUS 13056 HAS SOUPS 12367 WITH SCORE 12421.864
AT ITER 1460 NEW BEST:: SOT 115313 SOS 54833 HAS SOPS 52311 HAS SOUS 13048 HAS SOUPS 12359 WITH SCORE 12413.833
AT ITER 1469 NEW BEST:: SOT 115295 SOS 54809 HAS SOPS 52287 HAS SOUS 13045 HAS SOUPS 12356 WITH SCORE 12410.809
AT ITER 1482 NEW BEST:: SOT 115304 SOS 54813 HAS SOPS 52291 HAS SOUS 13044 HAS SOUPS 12355 WITH SCORE 12409.813
AT ITER 1486 NEW BEST:: SOT 115288 SOS 54799 HAS SOPS 52277 HAS SOUS 13030 HAS SOUPS 12341 WITH SCORE 12395.799
AT ITER 1500 NEW BEST:: SOT 115229 SOS 54654 HAS SOPS 52123 HAS SOUS 12985 HAS SOUPS 12296 WITH SCORE 12350.654
AT ITER 1508 NEW BEST:: SOT 115214 SOS 54639 HAS SOPS 52108 HAS SOUS 12980 HAS SOUPS 12291 WITH SCORE 12345.639
AT ITER 1517 NEW BEST:: SOT 115346 SOS 54684 HAS SOPS 52120 HAS SOUS 12878 HAS SOUPS 12187 WITH SCORE 12241.684
AT ITER 1523 NEW BEST:: SOT 115053 SOS 54475 HAS SOPS 51919 HAS SOUS 12776 HAS SOUPS 12085 WITH SCORE 12139.475
AT ITER 1543 NEW BEST:: SOT 115018 SOS 54405 HAS SOPS 51849 HAS SOUS 12766 HAS SOUPS 12075 WITH SCORE 12129.405
AT ITER 1548 NEW BEST:: SOT 114898 SOS 54165 HAS SOPS 51609 HAS SOUS 12708 HAS SOUPS 12017 WITH SCORE 12071.165
AT ITER 1554 NEW BEST:: SOT 114826 SOS 54197 HAS SOPS 51641 HAS SOUS 12701 HAS SOUPS 12010 WITH SCORE 12064.197
AT ITER 1569 NEW BEST:: SOT 114818 SOS 54181 HAS SOPS 51625 HAS SOUS 12689 HAS SOUPS 11998 WITH SCORE 12052.181
AT ITER 1571 NEW BEST:: SOT 114802 SOS 54122 HAS SOPS 51588 HAS SOUS 12656 HAS SOUPS 11976 WITH SCORE 12030.122
AT ITER 1576 NEW BEST:: SOT 114666 SOS 54212 HAS SOPS 51678 HAS SOUS 12641 HAS SOUPS 11961 WITH SCORE 12015.212
AT ITER 1608 NEW BEST:: SOT 114435 SOS 53965 HAS SOPS 51431 HAS SOUS 12582 HAS SOUPS 11902 WITH SCORE 11955.965
AT ITER 1611 NEW BEST:: SOT 114422 SOS 53942 HAS SOPS 51405 HAS SOUS 12540 HAS SOUPS 11860 WITH SCORE 11913.942
AT ITER 1617 NEW BEST:: SOT 114435 SOS 53955 HAS SOPS 51418 HAS SOUS 12522 HAS SOUPS 11842 WITH SCORE 11895.955
AT ITER 1646 NEW BEST:: SOT 114828 SOS 54074 HAS SOPS 51537 HAS SOUS 12419 HAS SOUPS 11739 WITH SCORE 11793.074
AT ITER 1694 NEW BEST:: SOT 114786 SOS 54034 HAS SOPS 51453 HAS SOUS 12361 HAS SOUPS 11681 WITH SCORE 11735.034
AT ITER 1698 NEW BEST:: SOT 114791 SOS 54030 HAS SOPS 51449 HAS SOUS 12345 HAS SOUPS 11665 WITH SCORE 11719.03
AT ITER 1710 NEW BEST:: SOT 114719 SOS 53771 HAS SOPS 51200 HAS SOUS 12315 HAS SOUPS 11637 WITH SCORE 11690.771
AT ITER 1713 NEW BEST:: SOT 114740 SOS 53871 HAS SOPS 51300 HAS SOUS 12286 HAS SOUPS 11608 WITH SCORE 11661.871
AT ITER 1717 NEW BEST:: SOT 114686 SOS 53823 HAS SOPS 51252 HAS SOUS 12256 HAS SOUPS 11578 WITH SCORE 11631.823
AT ITER 1723 NEW BEST:: SOT 114695 SOS 53826 HAS SOPS 51255 HAS SOUS 12250 HAS SOUPS 11572 WITH SCORE 11625.826
AT ITER 1733 NEW BEST:: SOT 114671 SOS 53778 HAS SOPS 51207 HAS SOUS 12250 HAS SOUPS 11572 WITH SCORE 11625.778
AT ITER 1775 NEW BEST:: SOT 114534 SOS 53708 HAS SOPS 51137 HAS SOUS 12242 HAS SOUPS 11564 WITH SCORE 11617.708
AT ITER 1789 NEW BEST:: SOT 114434 SOS 53650 HAS SOPS 51079 HAS SOUS 12205 HAS SOUPS 11527 WITH SCORE 11580.65
AT ITER 1792 NEW BEST:: SOT 114437 SOS 53663 HAS SOPS 51092 HAS SOUS 12155 HAS SOUPS 11477 WITH SCORE 11530.663
AT ITER 1796 NEW BEST:: SOT 114513 SOS 53689 HAS SOPS 51118 HAS SOUS 12123 HAS SOUPS 11445 WITH SCORE 11498.689
AT ITER 1800 NEW BEST:: SOT 114546 SOS 53700 HAS SOPS 51129 HAS SOUS 12101 HAS SOUPS 11423 WITH SCORE 11476.7
AT ITER 1802 NEW BEST:: SOT 114375 SOS 53195 HAS SOPS 50624 HAS SOUS 12067 HAS SOUPS 11389 WITH SCORE 11442.195
AT ITER 1843 NEW BEST:: SOT 114369 SOS 53025 HAS SOPS 50454 HAS SOUS 12059 HAS SOUPS 11381 WITH SCORE 11434.025
AT ITER 1852 NEW BEST:: SOT 114330 SOS 53009 HAS SOPS 50438 HAS SOUS 12043 HAS SOUPS 11365 WITH SCORE 11418.009
AT ITER 1866 NEW BEST:: SOT 114313 SOS 53031 HAS SOPS 50460 HAS SOUS 12040 HAS SOUPS 11362 WITH SCORE 11415.031
AT ITER 1873 NEW BEST:: SOT 114309 SOS 53023 HAS SOPS 50452 HAS SOUS 12039 HAS SOUPS 11361 WITH SCORE 11414.023
AT ITER 1898 NEW BEST:: SOT 114314 SOS 53011 HAS SOPS 50440 HAS SOUS 12030 HAS SOUPS 11352 WITH SCORE 11405.011
AT ITER 1899 NEW BEST:: SOT 114308 SOS 53011 HAS SOPS 50438 HAS SOUS 12027 HAS SOUPS 11348 WITH SCORE 11401.011
AT ITER 1912 NEW BEST:: SOT 114323 SOS 52844 HAS SOPS 50255 HAS SOUS 12032 HAS SOUPS 11338 WITH SCORE 11390.844
AT ITER 1915 NEW BEST:: SOT 114337 SOS 52856 HAS SOPS 50267 HAS SOUS 12028 HAS SOUPS 11334 WITH SCORE 11386.856
AT ITER 1963 NEW BEST:: SOT 114329 SOS 52888 HAS SOPS 50299 HAS SOUS 12011 HAS SOUPS 11317 WITH SCORE 11369.888
AT ITER 1964 NEW BEST:: SOT 114326 SOS 52793 HAS SOPS 50204 HAS SOUS 11996 HAS SOUPS 11302 WITH SCORE 11354.793
AT ITER 1974 NEW BEST:: SOT 114288 SOS 52715 HAS SOPS 50126 HAS SOUS 11978 HAS SOUPS 11284 WITH SCORE 11336.715
AT ITER 1990 NEW BEST:: SOT 114533 SOS 52853 HAS SOPS 50259 HAS SOUS 11960 HAS SOUPS 11266 WITH SCORE 11318.853
AT ITER 2000 NEW BEST:: SOT 114490 SOS 52948 HAS SOPS 50354 HAS SOUS 11920 HAS SOUPS 11226 WITH SCORE 11278.948
AT ITER 2048 NEW BEST:: SOT 114393 SOS 52948 HAS SOPS 50354 HAS SOUS 11906 HAS SOUPS 11212 WITH SCORE 11264.948
AT ITER 2052 NEW BEST:: SOT 114468 SOS 52973 HAS SOPS 50366 HAS SOUS 11844 HAS SOUPS 11150 WITH SCORE 11202.973
AT ITER 2053 NEW BEST:: SOT 114493 SOS 52899 HAS SOPS 50292 HAS SOUS 11844 HAS SOUPS 11150 WITH SCORE 11202.899
AT ITER 2071 NEW BEST:: SOT 114397 SOS 52368 HAS SOPS 49761 HAS SOUS 11820 HAS SOUPS 11126 WITH SCORE 11178.368
AT ITER 2077 NEW BEST:: SOT 114200 SOS 51850 HAS SOPS 49243 HAS SOUS 11640 HAS SOUPS 10946 WITH SCORE 10997.85
AT ITER 2079 NEW BEST:: SOT 114115 SOS 51794 HAS SOPS 49156 HAS SOUS 11642 HAS SOUPS 10929 WITH SCORE 10980.794
AT ITER 2092 NEW BEST:: SOT 114111 SOS 51842 HAS SOPS 49204 HAS SOUS 11640 HAS SOUPS 10927 WITH SCORE 10978.842
AT ITER 2102 NEW BEST:: SOT 114087 SOS 51818 HAS SOPS 49180 HAS SOUS 11635 HAS SOUPS 10922 WITH SCORE 10973.818
AT ITER 2103 NEW BEST:: SOT 114149 SOS 51818 HAS SOPS 49180 HAS SOUS 11610 HAS SOUPS 10897 WITH SCORE 10948.818
AT ITER 2128 NEW BEST:: SOT 114141 SOS 51808 HAS SOPS 49170 HAS SOUS 11600 HAS SOUPS 10887 WITH SCORE 10938.808
AT ITER 2137 NEW BEST:: SOT 114153 SOS 51809 HAS SOPS 49170 HAS SOUS 11592 HAS SOUPS 10879 WITH SCORE 10930.809
AT ITER 2193 NEW BEST:: SOT 114151 SOS 51797 HAS SOPS 49158 HAS SOUS 11588 HAS SOUPS 10875 WITH SCORE 10926.797
AT ITER 2196 NEW BEST:: SOT 114137 SOS 51821 HAS SOPS 49224 HAS SOUS 11550 HAS SOUPS 10858 WITH SCORE 10909.821
AT ITER 2204 NEW BEST:: SOT 113910 SOS 51605 HAS SOPS 49008 HAS SOUS 11467 HAS SOUPS 10775 WITH SCORE 10826.605
AT ITER 2214 NEW BEST:: SOT 113818 SOS 51492 HAS SOPS 48895 HAS SOUS 11438 HAS SOUPS 10746 WITH SCORE 10797.492
AT ITER 2215 NEW BEST:: SOT 113752 SOS 51250 HAS SOPS 48653 HAS SOUS 11407 HAS SOUPS 10715 WITH SCORE 10766.25
AT ITER 2241 NEW BEST:: SOT 113712 SOS 51200 HAS SOPS 48603 HAS SOUS 11398 HAS SOUPS 10706 WITH SCORE 10757.2
AT ITER 2258 NEW BEST:: SOT 113768 SOS 51228 HAS SOPS 48631 HAS SOUS 11371 HAS SOUPS 10679 WITH SCORE 10730.228
AT ITER 2271 NEW BEST:: SOT 113763 SOS 51218 HAS SOPS 48621 HAS SOUS 11366 HAS SOUPS 10674 WITH SCORE 10725.218
AT ITER 2284 NEW BEST:: SOT 113578 SOS 50847 HAS SOPS 48436 HAS SOUS 11305 HAS SOUPS 10644 WITH SCORE 10694.847
AT ITER 2312 NEW BEST:: SOT 113701 SOS 50945 HAS SOPS 48521 HAS SOUS 11303 HAS SOUPS 10642 WITH SCORE 10692.945
AT ITER 2316 NEW BEST:: SOT 113767 SOS 50905 HAS SOPS 48481 HAS SOUS 11296 HAS SOUPS 10635 WITH SCORE 10685.905
AT ITER 2326 NEW BEST:: SOT 113630 SOS 50642 HAS SOPS 48362 HAS SOUS 11231 HAS SOUPS 10594 WITH SCORE 10644.642
AT ITER 2335 NEW BEST:: SOT 113630 SOS 50644 HAS SOPS 48362 HAS SOUS 11229 HAS SOUPS 10592 WITH SCORE 10642.644
AT ITER 2360 NEW BEST:: SOT 113630 SOS 50535 HAS SOPS 48253 HAS SOUS 11223 HAS SOUPS 10586 WITH SCORE 10636.535
AT ITER 2365 NEW BEST:: SOT 113630 SOS 50535 HAS SOPS 48253 HAS SOUS 11211 HAS SOUPS 10574 WITH SCORE 10624.535
AT ITER 2370 NEW BEST:: SOT 113618 SOS 50527 HAS SOPS 48245 HAS SOUS 11205 HAS SOUPS 10568 WITH SCORE 10618.527
AT ITER 2378 NEW BEST:: SOT 113493 SOS 50330 HAS SOPS 48048 HAS SOUS 11152 HAS SOUPS 10515 WITH SCORE 10565.33
AT ITER 2389 NEW BEST:: SOT 113493 SOS 50304 HAS SOPS 48022 HAS SOUS 11149 HAS SOUPS 10512 WITH SCORE 10562.304
AT ITER 2414 NEW BEST:: SOT 113493 SOS 50304 HAS SOPS 48026 HAS SOUS 11137 HAS SOUPS 10500 WITH SCORE 10550.304
AT ITER 2420 NEW BEST:: SOT 113478 SOS 50279 HAS SOPS 48006 HAS SOUS 11112 HAS SOUPS 10475 WITH SCORE 10525.279
AT ITER 2434 NEW BEST:: SOT 113369 SOS 49834 HAS SOPS 47561 HAS SOUS 11049 HAS SOUPS 10412 WITH SCORE 10461.834
AT ITER 2443 NEW BEST:: SOT 113274 SOS 49903 HAS SOPS 47556 HAS SOUS 11032 HAS SOUPS 10358 WITH SCORE 10407.903
AT ITER 2463 NEW BEST:: SOT 113015 SOS 49680 HAS SOPS 47330 HAS SOUS 10960 HAS SOUPS 10284 WITH SCORE 10333.68
AT ITER 2469 NEW BEST:: SOT 113007 SOS 49682 HAS SOPS 47332 HAS SOUS 10956 HAS SOUPS 10280 WITH SCORE 10329.682
AT ITER 2483 NEW BEST:: SOT 112891 SOS 49642 HAS SOPS 47292 HAS SOUS 10933 HAS SOUPS 10257 WITH SCORE 10306.642
AT ITER 2513 NEW BEST:: SOT 112955 SOS 49674 HAS SOPS 47308 HAS SOUS 10912 HAS SOUPS 10236 WITH SCORE 10285.674
AT ITER 2547 NEW BEST:: SOT 112940 SOS 49659 HAS SOPS 47293 HAS SOUS 10894 HAS SOUPS 10218 WITH SCORE 10267.659
AT ITER 2565 NEW BEST:: SOT 112907 SOS 49653 HAS SOPS 47287 HAS SOUS 10889 HAS SOUPS 10213 WITH SCORE 10262.653
AT ITER 2570 NEW BEST:: SOT 113034 SOS 49704 HAS SOPS 47324 HAS SOUS 10847 HAS SOUPS 10171 WITH SCORE 10220.704
AT ITER 2577 NEW BEST:: SOT 113034 SOS 49704 HAS SOPS 47324 HAS SOUS 10844 HAS SOUPS 10168 WITH SCORE 10217.704
AT ITER 2592 NEW BEST:: SOT 112738 SOS 49448 HAS SOPS 47068 HAS SOUS 10812 HAS SOUPS 10136 WITH SCORE 10185.448
AT ITER 2594 NEW BEST:: SOT 112718 SOS 49408 HAS SOPS 47028 HAS SOUS 10758 HAS SOUPS 10082 WITH SCORE 10131.408
AT ITER 2600 NEW BEST:: SOT 112739 SOS 49510 HAS SOPS 47130 HAS SOUS 10757 HAS SOUPS 10081 WITH SCORE 10130.51
AT ITER 2610 NEW BEST:: SOT 112633 SOS 49438 HAS SOPS 47058 HAS SOUS 10719 HAS SOUPS 10043 WITH SCORE 10092.438
AT ITER 2612 NEW BEST:: SOT 112613 SOS 49426 HAS SOPS 47046 HAS SOUS 10704 HAS SOUPS 10028 WITH SCORE 10077.426
AT ITER 2614 NEW BEST:: SOT 112613 SOS 49326 HAS SOPS 46946 HAS SOUS 10680 HAS SOUPS 10004 WITH SCORE 10053.326
AT ITER 2631 NEW BEST:: SOT 112730 SOS 49199 HAS SOPS 46783 HAS SOUS 10538 HAS SOUPS 9883 WITH SCORE 9932.199
AT ITER 2632 NEW BEST:: SOT 112724 SOS 49201 HAS SOPS 46781 HAS SOUS 10532 HAS SOUPS 9875 WITH SCORE 9924.201
AT ITER 2643 NEW BEST:: SOT 112892 SOS 49268 HAS SOPS 46848 HAS SOUS 10531 HAS SOUPS 9874 WITH SCORE 9923.268
AT ITER 2669 NEW BEST:: SOT 112794 SOS 49192 HAS SOPS 46772 HAS SOUS 10515 HAS SOUPS 9858 WITH SCORE 9907.192
AT ITER 2684 NEW BEST:: SOT 112945 SOS 49166 HAS SOPS 46777 HAS SOUS 10416 HAS SOUPS 9778 WITH SCORE 9827.166
AT ITER 2688 NEW BEST:: SOT 112942 SOS 49164 HAS SOPS 46775 HAS SOUS 10414 HAS SOUPS 9776 WITH SCORE 9825.164
AT ITER 2691 NEW BEST:: SOT 112942 SOS 49150 HAS SOPS 46761 HAS SOUS 10400 HAS SOUPS 9762 WITH SCORE 9811.15
AT ITER 2704 NEW BEST:: SOT 112971 SOS 49140 HAS SOPS 46742 HAS SOUS 10374 HAS SOUPS 9736 WITH SCORE 9785.14
AT ITER 2714 NEW BEST:: SOT 112946 SOS 49172 HAS SOPS 46753 HAS SOUS 10381 HAS SOUPS 9733 WITH SCORE 9782.172
AT ITER 2723 NEW BEST:: SOT 113008 SOS 49326 HAS SOPS 46907 HAS SOUS 10373 HAS SOUPS 9725 WITH SCORE 9774.326
AT ITER 2730 NEW BEST:: SOT 113116 SOS 49380 HAS SOPS 46961 HAS SOUS 10371 HAS SOUPS 9723 WITH SCORE 9772.38
AT ITER 2755 NEW BEST:: SOT 113214 SOS 49383 HAS SOPS 46964 HAS SOUS 10338 HAS SOUPS 9690 WITH SCORE 9739.383
AT ITER 2784 NEW BEST:: SOT 113293 SOS 49174 HAS SOPS 46718 HAS SOUS 10260 HAS SOUPS 9612 WITH SCORE 9661.174
AT ITER 2788 NEW BEST:: SOT 113263 SOS 49164 HAS SOPS 46708 HAS SOUS 10255 HAS SOUPS 9607 WITH SCORE 9656.164
AT ITER 2790 NEW BEST:: SOT 113263 SOS 49046 HAS SOPS 46568 HAS SOUS 10233 HAS SOUPS 9585 WITH SCORE 9634.046
AT ITER 2814 NEW BEST:: SOT 113255 SOS 49062 HAS SOPS 46568 HAS SOUS 10217 HAS SOUPS 9569 WITH SCORE 9618.062
AT ITER 2826 NEW BEST:: SOT 113232 SOS 49055 HAS SOPS 46561 HAS SOUS 10210 HAS SOUPS 9562 WITH SCORE 9611.055
AT ITER 2871 NEW BEST:: SOT 113045 SOS 48917 HAS SOPS 46423 HAS SOUS 10204 HAS SOUPS 9556 WITH SCORE 9604.917
AT ITER 2893 NEW BEST:: SOT 112984 SOS 48865 HAS SOPS 46371 HAS SOUS 10131 HAS SOUPS 9483 WITH SCORE 9531.865
AT ITER 2894 NEW BEST:: SOT 112978 SOS 48868 HAS SOPS 46374 HAS SOUS 10125 HAS SOUPS 9477 WITH SCORE 9525.868
AT ITER 2908 NEW BEST:: SOT 112915 SOS 48853 HAS SOPS 46359 HAS SOUS 10113 HAS SOUPS 9465 WITH SCORE 9513.853
AT ITER 2939 NEW BEST:: SOT 112915 SOS 48789 HAS SOPS 46295 HAS SOUS 10100 HAS SOUPS 9452 WITH SCORE 9500.789
AT ITER 2959 NEW BEST:: SOT 112923 SOS 48769 HAS SOPS 46275 HAS SOUS 10092 HAS SOUPS 9444 WITH SCORE 9492.769
AT ITER 2976 NEW BEST:: SOT 112923 SOS 48757 HAS SOPS 46257 HAS SOUS 10080 HAS SOUPS 9432 WITH SCORE 9480.757
AT ITER 2984 NEW BEST:: SOT 113016 SOS 48782 HAS SOPS 46282 HAS SOUS 9905 HAS SOUPS 9257 WITH SCORE 9305.782
AT ITER 2992 NEW BEST:: SOT 113027 SOS 48804 HAS SOPS 46304 HAS SOUS 9884 HAS SOUPS 9236 WITH SCORE 9284.804
AT ITER 2993 NEW BEST:: SOT 112973 SOS 48766 HAS SOPS 46266 HAS SOUS 9876 HAS SOUPS 9228 WITH SCORE 9276.766
AT ITER 3020 NEW BEST:: SOT 112985 SOS 48762 HAS SOPS 46262 HAS SOUS 9874 HAS SOUPS 9226 WITH SCORE 9274.762
AT ITER 3036 NEW BEST:: SOT 112837 SOS 48633 HAS SOPS 46133 HAS SOUS 9832 HAS SOUPS 9184 WITH SCORE 9232.633
AT ITER 3060 NEW BEST:: SOT 112835 SOS 48629 HAS SOPS 46129 HAS SOUS 9825 HAS SOUPS 9177 WITH SCORE 9225.629
AT ITER 3181 NEW BEST:: SOT 112804 SOS 48619 HAS SOPS 46119 HAS SOUS 9787 HAS SOUPS 9139 WITH SCORE 9187.619
AT ITER 3223 NEW BEST:: SOT 112923 SOS 48724 HAS SOPS 46212 HAS SOUS 9762 HAS SOUPS 9114 WITH SCORE 9162.724
AT ITER 3230 NEW BEST:: SOT 112881 SOS 48612 HAS SOPS 46107 HAS SOUS 9736 HAS SOUPS 9088 WITH SCORE 9136.612
AT ITER 3248 NEW BEST:: SOT 112887 SOS 48869 HAS SOPS 46364 HAS SOUS 9721 HAS SOUPS 9073 WITH SCORE 9121.869
AT ITER 3299 NEW BEST:: SOT 112887 SOS 48869 HAS SOPS 46364 HAS SOUS 9720 HAS SOUPS 9072 WITH SCORE 9120.869
AT ITER 3322 NEW BEST:: SOT 112896 SOS 48877 HAS SOPS 46372 HAS SOUS 9714 HAS SOUPS 9066 WITH SCORE 9114.877
AT ITER 3327 NEW BEST:: SOT 112907 SOS 48899 HAS SOPS 46394 HAS SOUS 9709 HAS SOUPS 9061 WITH SCORE 9109.899
AT ITER 3328 NEW BEST:: SOT 112763 SOS 48755 HAS SOPS 46250 HAS SOUS 9680 HAS SOUPS 9032 WITH SCORE 9080.755
AT ITER 3339 NEW BEST:: SOT 112763 SOS 48727 HAS SOPS 46222 HAS SOUS 9680 HAS SOUPS 9032 WITH SCORE 9080.727
AT ITER 3385 NEW BEST:: SOT 112747 SOS 48711 HAS SOPS 46206 HAS SOUS 9663 HAS SOUPS 9015 WITH SCORE 9063.711
AT ITER 3394 NEW BEST:: SOT 112708 SOS 48673 HAS SOPS 46168 HAS SOUS 9660 HAS SOUPS 9012 WITH SCORE 9060.673
AT ITER 3406 NEW BEST:: SOT 112656 SOS 48595 HAS SOPS 46168 HAS SOUS 9647 HAS SOUPS 9012 WITH SCORE 9060.595
AT ITER 3435 NEW BEST:: SOT 112756 SOS 48545 HAS SOPS 46118 HAS SOUS 9647 HAS SOUPS 9012 WITH SCORE 9060.545
AT ITER 3455 NEW BEST:: SOT 112754 SOS 48543 HAS SOPS 46114 HAS SOUS 9635 HAS SOUPS 9000 WITH SCORE 9048.543
AT ITER 3456 NEW BEST:: SOT 112710 SOS 48094 HAS SOPS 45665 HAS SOUS 9619 HAS SOUPS 8984 WITH SCORE 9032.094
AT ITER 3481 NEW BEST:: SOT 112652 SOS 48058 HAS SOPS 45629 HAS SOUS 9588 HAS SOUPS 8953 WITH SCORE 9001.058
AT ITER 3493 NEW BEST:: SOT 112650 SOS 48052 HAS SOPS 45623 HAS SOUS 9528 HAS SOUPS 8893 WITH SCORE 8941.052
AT ITER 3502 NEW BEST:: SOT 112654 SOS 48066 HAS SOPS 45633 HAS SOUS 9522 HAS SOUPS 8885 WITH SCORE 8933.066
AT ITER 3504 NEW BEST:: SOT 112529 SOS 47978 HAS SOPS 45545 HAS SOUS 9483 HAS SOUPS 8846 WITH SCORE 8893.978
AT ITER 3519 NEW BEST:: SOT 112522 SOS 47964 HAS SOPS 45531 HAS SOUS 9469 HAS SOUPS 8832 WITH SCORE 8879.964
AT ITER 3535 NEW BEST:: SOT 112522 SOS 47984 HAS SOPS 45551 HAS SOUS 9464 HAS SOUPS 8827 WITH SCORE 8874.984
AT ITER 3586 NEW BEST:: SOT 112558 SOS 48002 HAS SOPS 45569 HAS SOUS 9455 HAS SOUPS 8818 WITH SCORE 8866.002
AT ITER 3608 NEW BEST:: SOT 112561 SOS 48009 HAS SOPS 45576 HAS SOUS 9454 HAS SOUPS 8817 WITH SCORE 8865.009
AT ITER 3644 NEW BEST:: SOT 112551 SOS 47999 HAS SOPS 45566 HAS SOUS 9446 HAS SOUPS 8809 WITH SCORE 8856.999
AT ITER 3651 NEW BEST:: SOT 112485 SOS 47938 HAS SOPS 45511 HAS SOUS 9424 HAS SOUPS 8787 WITH SCORE 8834.938
AT ITER 3652 NEW BEST:: SOT 112397 SOS 47839 HAS SOPS 45412 HAS SOUS 9389 HAS SOUPS 8752 WITH SCORE 8799.839
AT ITER 3698 NEW BEST:: SOT 112406 SOS 48035 HAS SOPS 45608 HAS SOUS 9383 HAS SOUPS 8746 WITH SCORE 8794.035
AT ITER 3709 NEW BEST:: SOT 112405 SOS 48034 HAS SOPS 45607 HAS SOUS 9382 HAS SOUPS 8745 WITH SCORE 8793.034
AT ITER 3744 NEW BEST:: SOT 112405 SOS 48034 HAS SOPS 45607 HAS SOUS 9362 HAS SOUPS 8725 WITH SCORE 8773.034
AT ITER 3770 NEW BEST:: SOT 112413 SOS 48038 HAS SOPS 45611 HAS SOUS 9360 HAS SOUPS 8723 WITH SCORE 8771.038
AT ITER 3867 NEW BEST:: SOT 112410 SOS 48035 HAS SOPS 45608 HAS SOUS 9360 HAS SOUPS 8723 WITH SCORE 8771.035
AT ITER 3875 NEW BEST:: SOT 112410 SOS 48033 HAS SOPS 45606 HAS SOUS 9360 HAS SOUPS 8723 WITH SCORE 8771.033
AT ITER 3885 NEW BEST:: SOT 112339 SOS 47908 HAS SOPS 45481 HAS SOUS 9325 HAS SOUPS 8688 WITH SCORE 8735.908
AT ITER 3901 NEW BEST:: SOT 112295 SOS 47886 HAS SOPS 45459 HAS SOUS 9274 HAS SOUPS 8637 WITH SCORE 8684.886
AT ITER 3915 NEW BEST:: SOT 112301 SOS 47886 HAS SOPS 45459 HAS SOUS 9270 HAS SOUPS 8633 WITH SCORE 8680.886
AT ITER 3920 NEW BEST:: SOT 112304 SOS 47892 HAS SOPS 45465 HAS SOUS 9267 HAS SOUPS 8630 WITH SCORE 8677.892
AT ITER 3923 NEW BEST:: SOT 112300 SOS 47364 HAS SOPS 44897 HAS SOUS 9289 HAS SOUPS 8616 WITH SCORE 8663.364
AT ITER 3983 NEW BEST:: SOT 112299 SOS 47351 HAS SOPS 44887 HAS SOUS 9282 HAS SOUPS 8612 WITH SCORE 8659.351
AT ITER 3994 NEW BEST:: SOT 112203 SOS 47300 HAS SOPS 44836 HAS SOUS 9232 HAS SOUPS 8562 WITH SCORE 8609.3
AT ITER 3996 NEW BEST:: SOT 112167 SOS 47168 HAS SOPS 44728 HAS SOUS 9218 HAS SOUPS 8560 WITH SCORE 8607.168
AT ITER 3998 NEW BEST:: SOT 112167 SOS 47138 HAS SOPS 44698 HAS SOUS 9218 HAS SOUPS 8560 WITH SCORE 8607.138
AT ITER 4014 NEW BEST:: SOT 112147 SOS 47118 HAS SOPS 44678 HAS SOUS 9193 HAS SOUPS 8535 WITH SCORE 8582.118
AT ITER 4019 NEW BEST:: SOT 112151 SOS 47112 HAS SOPS 44669 HAS SOUS 9193 HAS SOUPS 8535 WITH SCORE 8582.112
AT ITER 4022 NEW BEST:: SOT 112143 SOS 47072 HAS SOPS 44629 HAS SOUS 9189 HAS SOUPS 8531 WITH SCORE 8578.072
AT ITER 4028 NEW BEST:: SOT 112122 SOS 47030 HAS SOPS 44587 HAS SOUS 9153 HAS SOUPS 8495 WITH SCORE 8542.03
AT ITER 4049 NEW BEST:: SOT 112165 SOS 47139 HAS SOPS 44626 HAS SOUS 9175 HAS SOUPS 8482 WITH SCORE 8529.139
AT ITER 4056 NEW BEST:: SOT 112156 SOS 47121 HAS SOPS 44608 HAS SOUS 9155 HAS SOUPS 8462 WITH SCORE 8509.121
AT ITER 4068 NEW BEST:: SOT 112176 SOS 47007 HAS SOPS 44494 HAS SOUS 9127 HAS SOUPS 8434 WITH SCORE 8481.007
AT ITER 4114 NEW BEST:: SOT 112165 SOS 46996 HAS SOPS 44480 HAS SOUS 9116 HAS SOUPS 8420 WITH SCORE 8466.996
AT ITER 4141 NEW BEST:: SOT 112131 SOS 46948 HAS SOPS 44432 HAS SOUS 9065 HAS SOUPS 8369 WITH SCORE 8415.948
AT ITER 4160 NEW BEST:: SOT 112119 SOS 46934 HAS SOPS 44418 HAS SOUS 9061 HAS SOUPS 8365 WITH SCORE 8411.934
AT ITER 4329 NEW BEST:: SOT 112110 SOS 46931 HAS SOPS 44415 HAS SOUS 9052 HAS SOUPS 8356 WITH SCORE 8402.931
AT ITER 4342 NEW BEST:: SOT 112125 SOS 46931 HAS SOPS 44415 HAS SOUS 9044 HAS SOUPS 8348 WITH SCORE 8394.931
AT ITER 4371 NEW BEST:: SOT 112130 SOS 46932 HAS SOPS 44407 HAS SOUS 9025 HAS SOUPS 8329 WITH SCORE 8375.932
AT ITER 4373 NEW BEST:: SOT 112122 SOS 46926 HAS SOPS 44401 HAS SOUS 9017 HAS SOUPS 8321 WITH SCORE 8367.926
AT ITER 4445 NEW BEST:: SOT 112112 SOS 47042 HAS SOPS 44517 HAS SOUS 9004 HAS SOUPS 8308 WITH SCORE 8355.042
AT ITER 4475 NEW BEST:: SOT 112114 SOS 47038 HAS SOPS 44513 HAS SOUS 8994 HAS SOUPS 8298 WITH SCORE 8345.038
AT ITER 4483 NEW BEST:: SOT 112104 SOS 47030 HAS SOPS 44505 HAS SOUS 8990 HAS SOUPS 8294 WITH SCORE 8341.03
AT ITER 4502 NEW BEST:: SOT 112100 SOS 47026 HAS SOPS 44508 HAS SOUS 8988 HAS SOUPS 8294 WITH SCORE 8341.026
AT ITER 4578 NEW BEST:: SOT 112062 SOS 46980 HAS SOPS 44459 HAS SOUS 8975 HAS SOUPS 8281 WITH SCORE 8327.98
AT ITER 4583 NEW BEST:: SOT 111973 SOS 46913 HAS SOPS 44400 HAS SOUS 8955 HAS SOUPS 8261 WITH SCORE 8307.913
AT ITER 4640 NEW BEST:: SOT 111973 SOS 46915 HAS SOPS 44402 HAS SOUS 8954 HAS SOUPS 8260 WITH SCORE 8306.915
AT ITER 4644 NEW BEST:: SOT 111884 SOS 46888 HAS SOPS 44375 HAS SOUS 8954 HAS SOUPS 8260 WITH SCORE 8306.888
AT ITER 4726 NEW BEST:: SOT 111879 SOS 46886 HAS SOPS 44373 HAS SOUS 8954 HAS SOUPS 8260 WITH SCORE 8306.886
AT ITER 4765 NEW BEST:: SOT 111869 SOS 46880 HAS SOPS 44367 HAS SOUS 8950 HAS SOUPS 8256 WITH SCORE 8302.88
AT ITER 4829 NEW BEST:: SOT 111939 SOS 46976 HAS SOPS 44468 HAS SOUS 8941 HAS SOUPS 8251 WITH SCORE 8297.976
AT ITER 4833 NEW BEST:: SOT 111955 SOS 47012 HAS SOPS 44458 HAS SOUS 8935 HAS SOUPS 8245 WITH SCORE 8292.012
AT ITER 4837 NEW BEST:: SOT 112012 SOS 47033 HAS SOPS 44479 HAS SOUS 8929 HAS SOUPS 8239 WITH SCORE 8286.033
AT ITER 4871 NEW BEST:: SOT 111991 SOS 47026 HAS SOPS 44472 HAS SOUS 8922 HAS SOUPS 8232 WITH SCORE 8279.026
AT ITER 4920 NEW BEST:: SOT 112000 SOS 47088 HAS SOPS 44501 HAS SOUS 8918 HAS SOUPS 8225 WITH SCORE 8272.088
AT ITER 5037 NEW BEST:: SOT 111992 SOS 47080 HAS SOPS 44491 HAS SOUS 8916 HAS SOUPS 8223 WITH SCORE 8270.08
AT ITER 5054 NEW BEST:: SOT 112006 SOS 47108 HAS SOPS 44519 HAS SOUS 8915 HAS SOUPS 8222 WITH SCORE 8269.108
AT ITER 5059 NEW BEST:: SOT 112002 SOS 47100 HAS SOPS 44511 HAS SOUS 8911 HAS SOUPS 8218 WITH SCORE 8265.1
AT ITER 5103 NEW BEST:: SOT 112006 SOS 47108 HAS SOPS 44519 HAS SOUS 8896 HAS SOUPS 8203 WITH SCORE 8250.108
AT ITER 5132 NEW BEST:: SOT 112010 SOS 47108 HAS SOPS 44519 HAS SOUS 8888 HAS SOUPS 8195 WITH SCORE 8242.108
AT ITER 5178 NEW BEST:: SOT 111930 SOS 47068 HAS SOPS 44519 HAS SOUS 8888 HAS SOUPS 8195 WITH SCORE 8242.068
AT ITER 5214 NEW BEST:: SOT 111900 SOS 47107 HAS SOPS 44558 HAS SOUS 8887 HAS SOUPS 8194 WITH SCORE 8241.107
AT ITER 5266 NEW BEST:: SOT 111890 SOS 47109 HAS SOPS 44560 HAS SOUS 8885 HAS SOUPS 8192 WITH SCORE 8239.109
AT ITER 5275 NEW BEST:: SOT 111882 SOS 47061 HAS SOPS 44512 HAS SOUS 8872 HAS SOUPS 8179 WITH SCORE 8226.061
AT ITER 5295 NEW BEST:: SOT 111878 SOS 47024 HAS SOPS 44473 HAS SOUS 8872 HAS SOUPS 8178 WITH SCORE 8225.024
AT ITER 5348 NEW BEST:: SOT 111879 SOS 47023 HAS SOPS 44472 HAS SOUS 8868 HAS SOUPS 8174 WITH SCORE 8221.023
AT ITER 5352 NEW BEST:: SOT 111842 SOS 46856 HAS SOPS 44305 HAS SOUS 8853 HAS SOUPS 8159 WITH SCORE 8205.856
AT ITER 5407 NEW BEST:: SOT 111792 SOS 46809 HAS SOPS 44271 HAS SOUS 8850 HAS SOUPS 8156 WITH SCORE 8202.809
AT ITER 5422 NEW BEST:: SOT 111792 SOS 46801 HAS SOPS 44263 HAS SOUS 8850 HAS SOUPS 8156 WITH SCORE 8202.801
AT ITER 5475 NEW BEST:: SOT 111599 SOS 46475 HAS SOPS 43868 HAS SOUS 8751 HAS SOUPS 8057 WITH SCORE 8103.475
AT ITER 5496 NEW BEST:: SOT 111585 SOS 46391 HAS SOPS 43784 HAS SOUS 8741 HAS SOUPS 8047 WITH SCORE 8093.391
AT ITER 5563 NEW BEST:: SOT 111579 SOS 46379 HAS SOPS 43772 HAS SOUS 8729 HAS SOUPS 8035 WITH SCORE 8081.379
AT ITER 5629 NEW BEST:: SOT 111555 SOS 46349 HAS SOPS 43736 HAS SOUS 8693 HAS SOUPS 7999 WITH SCORE 8045.349
AT ITER 5644 NEW BEST:: SOT 111555 SOS 46341 HAS SOPS 43728 HAS SOUS 8689 HAS SOUPS 7995 WITH SCORE 8041.341
AT ITER 5651 NEW BEST:: SOT 111549 SOS 46339 HAS SOPS 43726 HAS SOUS 8687 HAS SOUPS 7993 WITH SCORE 8039.339
AT ITER 5671 NEW BEST:: SOT 111517 SOS 46474 HAS SOPS 43861 HAS SOUS 8660 HAS SOUPS 7966 WITH SCORE 8012.474
AT ITER 5712 NEW BEST:: SOT 111535 SOS 46510 HAS SOPS 43897 HAS SOUS 8654 HAS SOUPS 7960 WITH SCORE 8006.51
AT ITER 5735 NEW BEST:: SOT 111447 SOS 46373 HAS SOPS 43760 HAS SOUS 8635 HAS SOUPS 7941 WITH SCORE 7987.373
AT ITER 5737 NEW BEST:: SOT 111444 SOS 46377 HAS SOPS 43759 HAS SOUS 8625 HAS SOUPS 7931 WITH SCORE 7977.377
AT ITER 5739 NEW BEST:: SOT 111441 SOS 46371 HAS SOPS 43753 HAS SOUS 8623 HAS SOUPS 7929 WITH SCORE 7975.371
AT ITER 5763 NEW BEST:: SOT 111381 SOS 46347 HAS SOPS 43729 HAS SOUS 8623 HAS SOUPS 7929 WITH SCORE 7975.347
AT ITER 5803 NEW BEST:: SOT 111378 SOS 46340 HAS SOPS 43722 HAS SOUS 8618 HAS SOUPS 7924 WITH SCORE 7970.34
AT ITER 5809 NEW BEST:: SOT 111287 SOS 46302 HAS SOPS 43684 HAS SOUS 8605 HAS SOUPS 7911 WITH SCORE 7957.302
AT ITER 5825 NEW BEST:: SOT 111273 SOS 46289 HAS SOPS 43662 HAS SOUS 8606 HAS SOUPS 7908 WITH SCORE 7954.289
AT ITER 5831 NEW BEST:: SOT 111231 SOS 46239 HAS SOPS 43612 HAS SOUS 8577 HAS SOUPS 7879 WITH SCORE 7925.239
AT ITER 5904 NEW BEST:: SOT 111234 SOS 46240 HAS SOPS 43613 HAS SOUS 8575 HAS SOUPS 7877 WITH SCORE 7923.24
AT ITER 5914 NEW BEST:: SOT 111228 SOS 46234 HAS SOPS 43607 HAS SOUS 8564 HAS SOUPS 7866 WITH SCORE 7912.234
AT ITER 5971 NEW BEST:: SOT 111222 SOS 46216 HAS SOPS 43589 HAS SOUS 8552 HAS SOUPS 7854 WITH SCORE 7900.216
AT ITER 6019 NEW BEST:: SOT 111216 SOS 46216 HAS SOPS 43589 HAS SOUS 8548 HAS SOUPS 7850 WITH SCORE 7896.216
AT ITER 6032 NEW BEST:: SOT 110887 SOS 46012 HAS SOPS 43363 HAS SOUS 8466 HAS SOUPS 7752 WITH SCORE 7798.012
AT ITER 6091 NEW BEST:: SOT 110884 SOS 46014 HAS SOPS 43365 HAS SOUS 8465 HAS SOUPS 7751 WITH SCORE 7797.014
AT ITER 6125 NEW BEST:: SOT 110850 SOS 45960 HAS SOPS 43311 HAS SOUS 8414 HAS SOUPS 7700 WITH SCORE 7745.96
AT ITER 6166 NEW BEST:: SOT 110843 SOS 45876 HAS SOPS 43227 HAS SOUS 8407 HAS SOUPS 7693 WITH SCORE 7738.876
AT ITER 6167 NEW BEST:: SOT 110817 SOS 45865 HAS SOPS 43217 HAS SOUS 8407 HAS SOUPS 7693 WITH SCORE 7738.865
AT ITER 6175 NEW BEST:: SOT 110814 SOS 45862 HAS SOPS 43214 HAS SOUS 8401 HAS SOUPS 7687 WITH SCORE 7732.862
AT ITER 6232 NEW BEST:: SOT 110800 SOS 45834 HAS SOPS 43186 HAS SOUS 8384 HAS SOUPS 7670 WITH SCORE 7715.834
AT ITER 6258 NEW BEST:: SOT 110793 SOS 45820 HAS SOPS 43172 HAS SOUS 8379 HAS SOUPS 7665 WITH SCORE 7710.82
AT ITER 6268 NEW BEST:: SOT 110787 SOS 45802 HAS SOPS 43154 HAS SOUS 8370 HAS SOUPS 7656 WITH SCORE 7701.802
AT ITER 6277 NEW BEST:: SOT 110776 SOS 45789 HAS SOPS 43139 HAS SOUS 8367 HAS SOUPS 7651 WITH SCORE 7696.789
AT ITER 6303 NEW BEST:: SOT 110770 SOS 45849 HAS SOPS 43199 HAS SOUS 8361 HAS SOUPS 7645 WITH SCORE 7690.849
AT ITER 6355 NEW BEST:: SOT 110767 SOS 45843 HAS SOPS 43193 HAS SOUS 8351 HAS SOUPS 7635 WITH SCORE 7680.843
AT ITER 6416 NEW BEST:: SOT 110768 SOS 45837 HAS SOPS 43187 HAS SOUS 8348 HAS SOUPS 7632 WITH SCORE 7677.837
AT ITER 6483 NEW BEST:: SOT 110764 SOS 45804 HAS SOPS 43152 HAS SOUS 8347 HAS SOUPS 7630 WITH SCORE 7675.804
AT ITER 6508 NEW BEST:: SOT 110755 SOS 45780 HAS SOPS 43128 HAS SOUS 8345 HAS SOUPS 7628 WITH SCORE 7673.78
AT ITER 6544 NEW BEST:: SOT 110747 SOS 46011 HAS SOPS 43372 HAS SOUS 8324 HAS SOUPS 7618 WITH SCORE 7664.011
AT ITER 6673 NEW BEST:: SOT 110744 SOS 46005 HAS SOPS 43372 HAS SOUS 8323 HAS SOUPS 7618 WITH SCORE 7664.005
AT ITER 6706 NEW BEST:: SOT 110714 SOS 45915 HAS SOPS 43294 HAS SOUS 8293 HAS SOUPS 7594 WITH SCORE 7639.915
AT ITER 6737 NEW BEST:: SOT 110714 SOS 45912 HAS SOPS 43291 HAS SOUS 8292 HAS SOUPS 7593 WITH SCORE 7638.912
AT ITER 6878 NEW BEST:: SOT 110710 SOS 45913 HAS SOPS 43292 HAS SOUS 8291 HAS SOUPS 7592 WITH SCORE 7637.913
AT ITER 6898 NEW BEST:: SOT 110704 SOS 45903 HAS SOPS 43284 HAS SOUS 8291 HAS SOUPS 7592 WITH SCORE 7637.903
AT ITER 6918 NEW BEST:: SOT 110711 SOS 45914 HAS SOPS 43301 HAS SOUS 8287 HAS SOUPS 7588 WITH SCORE 7633.914
AT ITER 6982 NEW BEST:: SOT 110746 SOS 45926 HAS SOPS 43313 HAS SOUS 8248 HAS SOUPS 7549 WITH SCORE 7594.926
AT ITER 7073 NEW BEST:: SOT 110729 SOS 45892 HAS SOPS 43255 HAS SOUS 8182 HAS SOUPS 7483 WITH SCORE 7528.892
AT ITER 7246 NEW BEST:: SOT 110757 SOS 45913 HAS SOPS 43276 HAS SOUS 8175 HAS SOUPS 7476 WITH SCORE 7521.913
AT ITER 7253 NEW BEST:: SOT 110710 SOS 45888 HAS SOPS 43255 HAS SOUS 8163 HAS SOUPS 7464 WITH SCORE 7509.888
AT ITER 7293 NEW BEST:: SOT 110708 SOS 45884 HAS SOPS 43251 HAS SOUS 8163 HAS SOUPS 7464 WITH SCORE 7509.884
AT ITER 7298 NEW BEST:: SOT 110727 SOS 45893 HAS SOPS 43256 HAS SOUS 8153 HAS SOUPS 7454 WITH SCORE 7499.893
AT ITER 7438 NEW BEST:: SOT 110715 SOS 45865 HAS SOPS 43228 HAS SOUS 8141 HAS SOUPS 7442 WITH SCORE 7487.865
AT ITER 7476 NEW BEST:: SOT 110711 SOS 45858 HAS SOPS 43221 HAS SOUS 8137 HAS SOUPS 7438 WITH SCORE 7483.858
AT ITER 7508 NEW BEST:: SOT 110716 SOS 45861 HAS SOPS 43223 HAS SOUS 8136 HAS SOUPS 7437 WITH SCORE 7482.861
AT ITER 7588 NEW BEST:: SOT 110719 SOS 45864 HAS SOPS 43226 HAS SOUS 8134 HAS SOUPS 7435 WITH SCORE 7480.864
AT ITER 7611 NEW BEST:: SOT 110713 SOS 45857 HAS SOPS 43216 HAS SOUS 8126 HAS SOUPS 7427 WITH SCORE 7472.857
AT ITER 7663 NEW BEST:: SOT 110679 SOS 45687 HAS SOPS 43038 HAS SOUS 8131 HAS SOUPS 7425 WITH SCORE 7470.687
AT ITER 7709 NEW BEST:: SOT 110679 SOS 45691 HAS SOPS 43042 HAS SOUS 8127 HAS SOUPS 7421 WITH SCORE 7466.691
AT ITER 7710 NEW BEST:: SOT 110697 SOS 45664 HAS SOPS 43015 HAS SOUS 8123 HAS SOUPS 7417 WITH SCORE 7462.664
AT ITER 7787 NEW BEST:: SOT 110732 SOS 45827 HAS SOPS 43200 HAS SOUS 8121 HAS SOUPS 7415 WITH SCORE 7460.827
AT ITER 7800 NEW BEST:: SOT 110677 SOS 45772 HAS SOPS 43178 HAS SOUS 8116 HAS SOUPS 7413 WITH SCORE 7458.772
AT ITER 7832 NEW BEST:: SOT 110666 SOS 45779 HAS SOPS 43185 HAS SOUS 8113 HAS SOUPS 7410 WITH SCORE 7455.779
AT ITER 7867 NEW BEST:: SOT 110660 SOS 45753 HAS SOPS 43159 HAS SOUS 8101 HAS SOUPS 7398 WITH SCORE 7443.753
AT ITER 7913 NEW BEST:: SOT 110661 SOS 45754 HAS SOPS 43163 HAS SOUS 8099 HAS SOUPS 7397 WITH SCORE 7442.754
AT ITER 8065 NEW BEST:: SOT 110645 SOS 45686 HAS SOPS 43095 HAS SOUS 8099 HAS SOUPS 7397 WITH SCORE 7442.686
AT ITER 8167 NEW BEST:: SOT 110653 SOS 45694 HAS SOPS 43103 HAS SOUS 8097 HAS SOUPS 7395 WITH SCORE 7440.694
AT ITER 8259 NEW BEST:: SOT 110646 SOS 45603 HAS SOPS 43012 HAS SOUS 8095 HAS SOUPS 7393 WITH SCORE 7438.603
AT ITER 8261 NEW BEST:: SOT 110645 SOS 45598 HAS SOPS 43007 HAS SOUS 8092 HAS SOUPS 7390 WITH SCORE 7435.598
AT ITER 8284 NEW BEST:: SOT 110657 SOS 45565 HAS SOPS 42979 HAS SOUS 8085 HAS SOUPS 7388 WITH SCORE 7433.565
AT ITER 8315 NEW BEST:: SOT 110672 SOS 45577 HAS SOPS 42991 HAS SOUS 8079 HAS SOUPS 7382 WITH SCORE 7427.577
AT ITER 8337 NEW BEST:: SOT 110670 SOS 45569 HAS SOPS 42983 HAS SOUS 8077 HAS SOUPS 7380 WITH SCORE 7425.569
AT ITER 8406 NEW BEST:: SOT 110675 SOS 45567 HAS SOPS 42977 HAS SOUS 8060 HAS SOUPS 7363 WITH SCORE 7408.567
AT ITER 8431 NEW BEST:: SOT 110692 SOS 45536 HAS SOPS 42979 HAS SOUS 8017 HAS SOUPS 7335 WITH SCORE 7380.536
AT ITER 8589 NEW BEST:: SOT 110673 SOS 45508 HAS SOPS 42931 HAS SOUS 8012 HAS SOUPS 7330 WITH SCORE 7375.508
AT ITER 8631 NEW BEST:: SOT 110661 SOS 45484 HAS SOPS 42907 HAS SOUS 8004 HAS SOUPS 7322 WITH SCORE 7367.484
AT ITER 8772 NEW BEST:: SOT 110646 SOS 45496 HAS SOPS 42919 HAS SOUS 8000 HAS SOUPS 7318 WITH SCORE 7363.496
AT ITER 8838 NEW BEST:: SOT 110655 SOS 45474 HAS SOPS 42897 HAS SOUS 7984 HAS SOUPS 7302 WITH SCORE 7347.474
AT ITER 8856 NEW BEST:: SOT 110615 SOS 45439 HAS SOPS 42862 HAS SOUS 7939 HAS SOUPS 7257 WITH SCORE 7302.439
AT ITER 8857 NEW BEST:: SOT 110622 SOS 45434 HAS SOPS 42857 HAS SOUS 7934 HAS SOUPS 7252 WITH SCORE 7297.434
AT ITER 8925 NEW BEST:: SOT 110620 SOS 45403 HAS SOPS 42818 HAS SOUS 7931 HAS SOUPS 7247 WITH SCORE 7292.403
AT ITER 8929 NEW BEST:: SOT 110590 SOS 45301 HAS SOPS 42716 HAS SOUS 7922 HAS SOUPS 7238 WITH SCORE 7283.301
AT ITER 8973 NEW BEST:: SOT 110596 SOS 45287 HAS SOPS 42702 HAS SOUS 7914 HAS SOUPS 7230 WITH SCORE 7275.287
AT ITER 8985 NEW BEST:: SOT 110594 SOS 45285 HAS SOPS 42698 HAS SOUS 7906 HAS SOUPS 7222 WITH SCORE 7267.285
AT ITER 9022 NEW BEST:: SOT 110582 SOS 45241 HAS SOPS 42650 HAS SOUS 7908 HAS SOUPS 7220 WITH SCORE 7265.241
AT ITER 9141 NEW BEST:: SOT 110594 SOS 45505 HAS SOPS 42662 HAS SOUS 7910 HAS SOUPS 7210 WITH SCORE 7255.505
AT ITER 9217 NEW BEST:: SOT 110589 SOS 45437 HAS SOPS 42594 HAS SOUS 7907 HAS SOUPS 7207 WITH SCORE 7252.437
AT ITER 9327 NEW BEST:: SOT 110579 SOS 45424 HAS SOPS 42581 HAS SOUS 7899 HAS SOUPS 7199 WITH SCORE 7244.424
AT ITER 9357 NEW BEST:: SOT 110558 SOS 45432 HAS SOPS 42589 HAS SOUS 7898 HAS SOUPS 7198 WITH SCORE 7243.432
AT ITER 9358 NEW BEST:: SOT 110554 SOS 45420 HAS SOPS 42579 HAS SOUS 7896 HAS SOUPS 7197 WITH SCORE 7242.42
AT ITER 9438 NEW BEST:: SOT 110554 SOS 45426 HAS SOPS 42585 HAS SOUS 7884 HAS SOUPS 7185 WITH SCORE 7230.426
AT ITER 9645 NEW BEST:: SOT 110547 SOS 45408 HAS SOPS 42567 HAS SOUS 7880 HAS SOUPS 7181 WITH SCORE 7226.408
AT ITER 9656 NEW BEST:: SOT 110545 SOS 45404 HAS SOPS 42563 HAS SOUS 7877 HAS SOUPS 7178 WITH SCORE 7223.404
AT ITER 9683 NEW BEST:: SOT 110541 SOS 45401 HAS SOPS 42560 HAS SOUS 7877 HAS SOUPS 7178 WITH SCORE 7223.401
AT ITER 9727 NEW BEST:: SOT 110559 SOS 45407 HAS SOPS 42566 HAS SOUS 7871 HAS SOUPS 7172 WITH SCORE 7217.407
AT ITER 9765 NEW BEST:: SOT 110558 SOS 45404 HAS SOPS 42563 HAS SOUS 7870 HAS SOUPS 7171 WITH SCORE 7216.404
AT ITER 9827 NEW BEST:: SOT 110561 SOS 45401 HAS SOPS 42560 HAS SOUS 7870 HAS SOUPS 7171 WITH SCORE 7216.401
AT ITER 9999 NEW BEST:: SOT 110561 SOS 45395 HAS SOPS 42560 HAS SOUS 7864 HAS SOUPS 7165 WITH SCORE 7210.395
STATE_SPACE STATES 4759924249 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 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 77248039202 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679183886328

--------------------
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="UtahNoC-PT-none"
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 UtahNoC-PT-none, 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 r483-tall-167912696400952"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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