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.r099-tall-167814472900800.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 DLCshifumi-PT-2a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472900800
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 716K
-rw-r--r-- 1 mcc users 6.1K Feb 26 08:04 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 26 08:04 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 07:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 07:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:54 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 08:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 08:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.5K Feb 26 08:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 08:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 213K Mar 5 18:22 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 1678264662172

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=DLCshifumi-PT-2a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 2a
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: 188 places, 888 transitions, 3166 arcs.
AT ITER 0 NEW BEST:: SOT 122605 SOS 88663 HAS SOPS 54386 HAS SOUS 25074 HAS SOUPS 16131 WITH SCORE 16219.663
AT ITER 3 NEW BEST:: SOT 122728 SOS 88755 HAS SOPS 54504 HAS SOUS 25073 HAS SOUPS 16105 WITH SCORE 16193.755
AT ITER 5 NEW BEST:: SOT 122554 SOS 88659 HAS SOPS 54318 HAS SOUS 24882 HAS SOUPS 15941 WITH SCORE 16029.659
AT ITER 10 NEW BEST:: SOT 122276 SOS 88611 HAS SOPS 54270 HAS SOUS 24834 HAS SOUPS 15893 WITH SCORE 15981.611
AT ITER 15 NEW BEST:: SOT 122188 SOS 88435 HAS SOPS 54182 HAS SOUS 24702 HAS SOUPS 15805 WITH SCORE 15893.435
AT ITER 17 NEW BEST:: SOT 122156 SOS 88387 HAS SOPS 54166 HAS SOUS 24678 HAS SOUPS 15789 WITH SCORE 15877.387
AT ITER 20 NEW BEST:: SOT 122118 SOS 88311 HAS SOPS 54128 HAS SOUS 24602 HAS SOUPS 15732 WITH SCORE 15820.311
AT ITER 21 NEW BEST:: SOT 121579 SOS 87545 HAS SOPS 53888 HAS SOUS 24552 HAS SOUPS 15700 WITH SCORE 15787.545
AT ITER 22 NEW BEST:: SOT 121515 SOS 87417 HAS SOPS 53824 HAS SOUS 24424 HAS SOUPS 15604 WITH SCORE 15691.417
AT ITER 24 NEW BEST:: SOT 121449 SOS 87219 HAS SOPS 53626 HAS SOUS 24325 HAS SOUPS 15505 WITH SCORE 15592.219
AT ITER 26 NEW BEST:: SOT 121415 SOS 87151 HAS SOPS 53592 HAS SOUS 24274 HAS SOUPS 15471 WITH SCORE 15558.151
AT ITER 28 NEW BEST:: SOT 120959 SOS 86351 HAS SOPS 53168 HAS SOUS 24346 HAS SOUPS 15451 WITH SCORE 15537.351
AT ITER 31 NEW BEST:: SOT 120887 SOS 86288 HAS SOPS 53105 HAS SOUS 24238 HAS SOUPS 15361 WITH SCORE 15447.288
AT ITER 32 NEW BEST:: SOT 120397 SOS 85450 HAS SOPS 52633 HAS SOUS 24333 HAS SOUPS 15331 WITH SCORE 15416.45
AT ITER 35 NEW BEST:: SOT 119832 SOS 84713 HAS SOPS 52273 HAS SOUS 24202 HAS SOUPS 15231 WITH SCORE 15315.713
AT ITER 39 NEW BEST:: SOT 119860 SOS 84769 HAS SOPS 52329 HAS SOUS 24168 HAS SOUPS 15228 WITH SCORE 15312.769
AT ITER 41 NEW BEST:: SOT 119484 SOS 84405 HAS SOPS 52000 HAS SOUS 24156 HAS SOUPS 15216 WITH SCORE 15300.405
AT ITER 43 NEW BEST:: SOT 119346 SOS 84279 HAS SOPS 51886 HAS SOUS 23940 HAS SOUPS 15048 WITH SCORE 15132.279
AT ITER 46 NEW BEST:: SOT 119186 SOS 84099 HAS SOPS 51746 HAS SOUS 23920 HAS SOUPS 15028 WITH SCORE 15112.099
AT ITER 47 NEW BEST:: SOT 118862 SOS 84235 HAS SOPS 51794 HAS SOUS 23808 HAS SOUPS 14920 WITH SCORE 15004.235
AT ITER 49 NEW BEST:: SOT 118030 SOS 84431 HAS SOPS 51804 HAS SOUS 23534 HAS SOUPS 14676 WITH SCORE 14760.431
AT ITER 52 NEW BEST:: SOT 117902 SOS 84404 HAS SOPS 51641 HAS SOUS 23210 HAS SOUPS 14384 WITH SCORE 14468.404
AT ITER 53 NEW BEST:: SOT 117764 SOS 84128 HAS SOPS 51365 HAS SOUS 23126 HAS SOUPS 14300 WITH SCORE 14384.128
AT ITER 54 NEW BEST:: SOT 117216 SOS 83707 HAS SOPS 50903 HAS SOUS 22737 HAS SOUPS 13954 WITH SCORE 14037.707
AT ITER 55 NEW BEST:: SOT 116801 SOS 83428 HAS SOPS 50550 HAS SOUS 22449 HAS SOUPS 13673 WITH SCORE 13756.428
AT ITER 57 NEW BEST:: SOT 116717 SOS 83260 HAS SOPS 50466 HAS SOUS 22281 HAS SOUPS 13547 WITH SCORE 13630.26
AT ITER 61 NEW BEST:: SOT 115943 SOS 82835 HAS SOPS 49908 HAS SOUS 21809 HAS SOUPS 13093 WITH SCORE 13175.835
AT ITER 62 NEW BEST:: SOT 115925 SOS 82763 HAS SOPS 49836 HAS SOUS 21791 HAS SOUPS 13075 WITH SCORE 13157.763
AT ITER 67 NEW BEST:: SOT 114984 SOS 81502 HAS SOPS 49215 HAS SOUS 21682 HAS SOUPS 13046 WITH SCORE 13127.502
AT ITER 69 NEW BEST:: SOT 114984 SOS 81502 HAS SOPS 49215 HAS SOUS 21679 HAS SOUPS 13043 WITH SCORE 13124.502
AT ITER 73 NEW BEST:: SOT 114101 SOS 80982 HAS SOPS 48554 HAS SOUS 21182 HAS SOUPS 12589 WITH SCORE 12669.982
AT ITER 79 NEW BEST:: SOT 113381 SOS 81040 HAS SOPS 48667 HAS SOUS 20946 HAS SOUPS 12443 WITH SCORE 12524.04
AT ITER 80 NEW BEST:: SOT 113337 SOS 80974 HAS SOPS 48623 HAS SOUS 20924 HAS SOUPS 12432 WITH SCORE 12512.974
AT ITER 81 NEW BEST:: SOT 113382 SOS 81139 HAS SOPS 48704 HAS SOUS 20844 HAS SOUPS 12357 WITH SCORE 12438.139
AT ITER 92 NEW BEST:: SOT 113242 SOS 81279 HAS SOPS 48704 HAS SOUS 20704 HAS SOUPS 12217 WITH SCORE 12298.279
AT ITER 95 NEW BEST:: SOT 113229 SOS 81045 HAS SOPS 48614 HAS SOUS 20694 HAS SOUPS 12216 WITH SCORE 12297.045
AT ITER 96 NEW BEST:: SOT 113128 SOS 80946 HAS SOPS 48439 HAS SOUS 20430 HAS SOUPS 11948 WITH SCORE 12028.946
AT ITER 97 NEW BEST:: SOT 112504 SOS 80794 HAS SOPS 47929 HAS SOUS 19948 HAS SOUPS 11498 WITH SCORE 11578.794
AT ITER 100 NEW BEST:: SOT 112428 SOS 81302 HAS SOPS 48137 HAS SOUS 19909 HAS SOUPS 11409 WITH SCORE 11490.302
AT ITER 103 NEW BEST:: SOT 112387 SOS 81208 HAS SOPS 48020 HAS SOUS 19817 HAS SOUPS 11317 WITH SCORE 11398.208
AT ITER 104 NEW BEST:: SOT 112379 SOS 81192 HAS SOPS 48012 HAS SOUS 19801 HAS SOUPS 11305 WITH SCORE 11386.192
AT ITER 113 NEW BEST:: SOT 112373 SOS 81180 HAS SOPS 47836 HAS SOUS 19756 HAS SOUPS 11223 WITH SCORE 11304.18
AT ITER 114 NEW BEST:: SOT 112393 SOS 81287 HAS SOPS 47879 HAS SOUS 19672 HAS SOUPS 11145 WITH SCORE 11226.287
AT ITER 119 NEW BEST:: SOT 112393 SOS 81255 HAS SOPS 47847 HAS SOUS 19672 HAS SOUPS 11145 WITH SCORE 11226.255
AT ITER 125 NEW BEST:: SOT 112355 SOS 81179 HAS SOPS 47779 HAS SOUS 19648 HAS SOUPS 11121 WITH SCORE 11202.179
AT ITER 126 NEW BEST:: SOT 112304 SOS 81077 HAS SOPS 47691 HAS SOUS 19515 HAS SOUPS 11033 WITH SCORE 11114.077
AT ITER 130 NEW BEST:: SOT 112236 SOS 80871 HAS SOPS 47485 HAS SOUS 19447 HAS SOUPS 10965 WITH SCORE 11045.871
AT ITER 140 NEW BEST:: SOT 112556 SOS 81217 HAS SOPS 47645 HAS SOUS 19391 HAS SOUPS 10909 WITH SCORE 10990.217
AT ITER 145 NEW BEST:: SOT 112545 SOS 81307 HAS SOPS 47707 HAS SOUS 19387 HAS SOUPS 10905 WITH SCORE 10986.307
AT ITER 146 NEW BEST:: SOT 112155 SOS 80662 HAS SOPS 47243 HAS SOUS 19500 HAS SOUPS 10889 WITH SCORE 10969.662
AT ITER 154 NEW BEST:: SOT 112438 SOS 80945 HAS SOPS 47322 HAS SOUS 19399 HAS SOUPS 10788 WITH SCORE 10868.945
AT ITER 157 NEW BEST:: SOT 112417 SOS 80924 HAS SOPS 47294 HAS SOUS 19385 HAS SOUPS 10774 WITH SCORE 10854.924
AT ITER 160 NEW BEST:: SOT 112433 SOS 80700 HAS SOPS 47134 HAS SOUS 19385 HAS SOUPS 10774 WITH SCORE 10854.7
AT ITER 169 NEW BEST:: SOT 112425 SOS 80728 HAS SOPS 47150 HAS SOUS 19377 HAS SOUPS 10766 WITH SCORE 10846.728
AT ITER 170 NEW BEST:: SOT 111867 SOS 79996 HAS SOPS 46894 HAS SOUS 19003 HAS SOUPS 10714 WITH SCORE 10793.996
AT ITER 173 NEW BEST:: SOT 111933 SOS 80128 HAS SOPS 46916 HAS SOUS 19024 HAS SOUPS 10713 WITH SCORE 10793.128
AT ITER 176 NEW BEST:: SOT 111911 SOS 80038 HAS SOPS 46826 HAS SOUS 18956 HAS SOUPS 10668 WITH SCORE 10748.038
AT ITER 179 NEW BEST:: SOT 111905 SOS 79914 HAS SOPS 46864 HAS SOUS 18869 HAS SOUPS 10662 WITH SCORE 10741.914
AT ITER 185 NEW BEST:: SOT 111765 SOS 79484 HAS SOPS 47412 HAS SOUS 19077 HAS SOUPS 10635 WITH SCORE 10714.484
AT ITER 197 NEW BEST:: SOT 110943 SOS 78715 HAS SOPS 46650 HAS SOUS 19107 HAS SOUPS 10572 WITH SCORE 10650.715
AT ITER 201 NEW BEST:: SOT 110904 SOS 78843 HAS SOPS 46722 HAS SOUS 19082 HAS SOUPS 10547 WITH SCORE 10625.843
AT ITER 206 NEW BEST:: SOT 110879 SOS 78919 HAS SOPS 46750 HAS SOUS 19073 HAS SOUPS 10530 WITH SCORE 10608.919
AT ITER 207 NEW BEST:: SOT 110528 SOS 79255 HAS SOPS 46782 HAS SOUS 19062 HAS SOUPS 10519 WITH SCORE 10598.255
AT ITER 208 NEW BEST:: SOT 110534 SOS 79255 HAS SOPS 46782 HAS SOUS 19049 HAS SOUPS 10512 WITH SCORE 10591.255
AT ITER 210 NEW BEST:: SOT 110531 SOS 79239 HAS SOPS 46802 HAS SOUS 19028 HAS SOUPS 10509 WITH SCORE 10588.239
AT ITER 215 NEW BEST:: SOT 110641 SOS 79349 HAS SOPS 46868 HAS SOUS 19025 HAS SOUPS 10506 WITH SCORE 10585.349
AT ITER 219 NEW BEST:: SOT 110674 SOS 79382 HAS SOPS 46846 HAS SOUS 18992 HAS SOUPS 10473 WITH SCORE 10552.382
AT ITER 221 NEW BEST:: SOT 110662 SOS 79364 HAS SOPS 46840 HAS SOUS 18983 HAS SOUPS 10467 WITH SCORE 10546.364
AT ITER 222 NEW BEST:: SOT 110662 SOS 79364 HAS SOPS 46840 HAS SOUS 18977 HAS SOUPS 10461 WITH SCORE 10540.364
AT ITER 223 NEW BEST:: SOT 110342 SOS 79598 HAS SOPS 47054 HAS SOUS 18874 HAS SOUPS 10343 WITH SCORE 10422.598
AT ITER 225 NEW BEST:: SOT 110209 SOS 79696 HAS SOPS 47148 HAS SOUS 18812 HAS SOUPS 10281 WITH SCORE 10360.696
AT ITER 229 NEW BEST:: SOT 110202 SOS 79479 HAS SOPS 47016 HAS SOUS 18789 HAS SOUPS 10258 WITH SCORE 10337.479
AT ITER 233 NEW BEST:: SOT 110200 SOS 79475 HAS SOPS 47016 HAS SOUS 18789 HAS SOUPS 10258 WITH SCORE 10337.475
AT ITER 235 NEW BEST:: SOT 110224 SOS 79525 HAS SOPS 47016 HAS SOUS 18813 HAS SOUPS 10257 WITH SCORE 10336.525
AT ITER 236 NEW BEST:: SOT 110224 SOS 79525 HAS SOPS 47016 HAS SOUS 18801 HAS SOUPS 10245 WITH SCORE 10324.525
AT ITER 238 NEW BEST:: SOT 109587 SOS 78832 HAS SOPS 46603 HAS SOUS 18797 HAS SOUPS 10170 WITH SCORE 10248.832
AT ITER 239 NEW BEST:: SOT 109614 SOS 78886 HAS SOPS 46539 HAS SOUS 18765 HAS SOUPS 10138 WITH SCORE 10216.886
AT ITER 241 NEW BEST:: SOT 109569 SOS 78805 HAS SOPS 46521 HAS SOUS 18738 HAS SOUPS 10120 WITH SCORE 10198.805
AT ITER 249 NEW BEST:: SOT 109577 SOS 78830 HAS SOPS 46512 HAS SOUS 18768 HAS SOUPS 10115 WITH SCORE 10193.83
AT ITER 251 NEW BEST:: SOT 109297 SOS 78587 HAS SOPS 46229 HAS SOUS 18768 HAS SOUPS 10080 WITH SCORE 10158.587
AT ITER 253 NEW BEST:: SOT 109282 SOS 78562 HAS SOPS 46204 HAS SOUS 18753 HAS SOUPS 10065 WITH SCORE 10143.562
AT ITER 261 NEW BEST:: SOT 109295 SOS 78445 HAS SOPS 46178 HAS SOUS 18753 HAS SOUPS 10065 WITH SCORE 10143.445
AT ITER 265 NEW BEST:: SOT 109621 SOS 78527 HAS SOPS 46514 HAS SOUS 18655 HAS SOUPS 10000 WITH SCORE 10078.527
AT ITER 273 NEW BEST:: SOT 109611 SOS 78485 HAS SOPS 46450 HAS SOUS 18656 HAS SOUPS 9990 WITH SCORE 10068.485
AT ITER 275 NEW BEST:: SOT 109497 SOS 78371 HAS SOPS 46292 HAS SOUS 18636 HAS SOUPS 9970 WITH SCORE 10048.371
AT ITER 277 NEW BEST:: SOT 109424 SOS 78083 HAS SOPS 45862 HAS SOUS 18561 HAS SOUPS 9824 WITH SCORE 9902.083
AT ITER 291 NEW BEST:: SOT 109382 SOS 77999 HAS SOPS 45862 HAS SOUS 18772 HAS SOUPS 9824 WITH SCORE 9901.999
AT ITER 304 NEW BEST:: SOT 109047 SOS 77597 HAS SOPS 45624 HAS SOUS 18505 HAS SOUPS 9639 WITH SCORE 9716.597
AT ITER 308 NEW BEST:: SOT 108995 SOS 77443 HAS SOPS 45470 HAS SOUS 18503 HAS SOUPS 9612 WITH SCORE 9689.443
AT ITER 310 NEW BEST:: SOT 108806 SOS 77065 HAS SOPS 45470 HAS SOUS 18398 HAS SOUPS 9612 WITH SCORE 9689.065
AT ITER 316 NEW BEST:: SOT 108804 SOS 77041 HAS SOPS 45446 HAS SOUS 18391 HAS SOUPS 9605 WITH SCORE 9682.041
AT ITER 322 NEW BEST:: SOT 108391 SOS 78247 HAS SOPS 45378 HAS SOUS 17884 HAS SOUPS 9391 WITH SCORE 9469.247
AT ITER 326 NEW BEST:: SOT 108394 SOS 78248 HAS SOPS 45384 HAS SOUS 17835 HAS SOUPS 9360 WITH SCORE 9438.248
AT ITER 339 NEW BEST:: SOT 107999 SOS 78446 HAS SOPS 45338 HAS SOUS 17636 HAS SOUPS 9179 WITH SCORE 9257.446
AT ITER 345 NEW BEST:: SOT 107999 SOS 78494 HAS SOPS 45338 HAS SOUS 17634 HAS SOUPS 9174 WITH SCORE 9252.494
AT ITER 359 NEW BEST:: SOT 108007 SOS 78522 HAS SOPS 45346 HAS SOUS 17626 HAS SOUPS 9166 WITH SCORE 9244.522
AT ITER 363 NEW BEST:: SOT 107997 SOS 78502 HAS SOPS 45342 HAS SOUS 17624 HAS SOUPS 9164 WITH SCORE 9242.502
AT ITER 364 NEW BEST:: SOT 107917 SOS 78342 HAS SOPS 45182 HAS SOUS 17570 HAS SOUPS 9110 WITH SCORE 9188.342
AT ITER 376 NEW BEST:: SOT 108362 SOS 78819 HAS SOPS 45401 HAS SOUS 17516 HAS SOUPS 9056 WITH SCORE 9134.819
AT ITER 387 NEW BEST:: SOT 108479 SOS 79173 HAS SOPS 45582 HAS SOUS 17491 HAS SOUPS 9031 WITH SCORE 9110.173
AT ITER 389 NEW BEST:: SOT 107516 SOS 78123 HAS SOPS 44915 HAS SOUS 17458 HAS SOUPS 8977 WITH SCORE 9055.123
AT ITER 391 NEW BEST:: SOT 107507 SOS 78114 HAS SOPS 44886 HAS SOUS 17397 HAS SOUPS 8916 WITH SCORE 8994.114
AT ITER 402 NEW BEST:: SOT 107502 SOS 78024 HAS SOPS 44796 HAS SOUS 17392 HAS SOUPS 8911 WITH SCORE 8989.024
AT ITER 407 NEW BEST:: SOT 107195 SOS 77663 HAS SOPS 44407 HAS SOUS 17351 HAS SOUPS 8870 WITH SCORE 8947.663
AT ITER 409 NEW BEST:: SOT 107183 SOS 77643 HAS SOPS 44391 HAS SOUS 17343 HAS SOUPS 8864 WITH SCORE 8941.643
AT ITER 414 NEW BEST:: SOT 107567 SOS 78003 HAS SOPS 44655 HAS SOUS 17311 HAS SOUPS 8854 WITH SCORE 8932.003
AT ITER 415 NEW BEST:: SOT 107552 SOS 77557 HAS SOPS 44309 HAS SOUS 17298 HAS SOUPS 8841 WITH SCORE 8918.557
AT ITER 418 NEW BEST:: SOT 107539 SOS 77403 HAS SOPS 44203 HAS SOUS 17277 HAS SOUPS 8828 WITH SCORE 8905.403
AT ITER 424 NEW BEST:: SOT 107536 SOS 77397 HAS SOPS 44197 HAS SOUS 17186 HAS SOUPS 8781 WITH SCORE 8858.397
AT ITER 426 NEW BEST:: SOT 107095 SOS 76974 HAS SOPS 43876 HAS SOUS 17171 HAS SOUPS 8766 WITH SCORE 8842.974
AT ITER 445 NEW BEST:: SOT 107187 SOS 77038 HAS SOPS 43940 HAS SOUS 17204 HAS SOUPS 8747 WITH SCORE 8824.038
AT ITER 448 NEW BEST:: SOT 107791 SOS 77358 HAS SOPS 44260 HAS SOUS 16988 HAS SOUPS 8613 WITH SCORE 8690.358
AT ITER 450 NEW BEST:: SOT 107755 SOS 77322 HAS SOPS 44248 HAS SOUS 16988 HAS SOUPS 8613 WITH SCORE 8690.322
AT ITER 454 NEW BEST:: SOT 107629 SOS 77178 HAS SOPS 44158 HAS SOUS 16970 HAS SOUPS 8595 WITH SCORE 8672.178
AT ITER 459 NEW BEST:: SOT 107660 SOS 77213 HAS SOPS 44175 HAS SOUS 16968 HAS SOUPS 8593 WITH SCORE 8670.213
AT ITER 460 NEW BEST:: SOT 107578 SOS 77262 HAS SOPS 44111 HAS SOUS 16932 HAS SOUPS 8562 WITH SCORE 8639.262
AT ITER 463 NEW BEST:: SOT 107501 SOS 77178 HAS SOPS 44027 HAS SOUS 16827 HAS SOUPS 8464 WITH SCORE 8541.178
AT ITER 465 NEW BEST:: SOT 107606 SOS 78438 HAS SOPS 44837 HAS SOUS 16882 HAS SOUPS 8444 WITH SCORE 8522.438
AT ITER 483 NEW BEST:: SOT 107884 SOS 78730 HAS SOPS 44931 HAS SOUS 16857 HAS SOUPS 8419 WITH SCORE 8497.73
AT ITER 484 NEW BEST:: SOT 107988 SOS 78698 HAS SOPS 44937 HAS SOUS 16707 HAS SOUPS 8319 WITH SCORE 8397.698
AT ITER 486 NEW BEST:: SOT 108098 SOS 78818 HAS SOPS 44997 HAS SOUS 16687 HAS SOUPS 8299 WITH SCORE 8377.818
AT ITER 506 NEW BEST:: SOT 107473 SOS 77055 HAS SOPS 43993 HAS SOUS 16660 HAS SOUPS 8294 WITH SCORE 8371.055
AT ITER 508 NEW BEST:: SOT 107586 SOS 77128 HAS SOPS 44066 HAS SOUS 16376 HAS SOUPS 8010 WITH SCORE 8087.128
AT ITER 512 NEW BEST:: SOT 107562 SOS 77104 HAS SOPS 44042 HAS SOUS 16376 HAS SOUPS 7998 WITH SCORE 8075.104
AT ITER 534 NEW BEST:: SOT 107111 SOS 76591 HAS SOPS 43678 HAS SOUS 16330 HAS SOUPS 7935 WITH SCORE 8011.591
AT ITER 535 NEW BEST:: SOT 107096 SOS 76561 HAS SOPS 43678 HAS SOUS 16330 HAS SOUPS 7935 WITH SCORE 8011.561
AT ITER 536 NEW BEST:: SOT 106856 SOS 76303 HAS SOPS 43540 HAS SOUS 16330 HAS SOUPS 7933 WITH SCORE 8009.303
AT ITER 548 NEW BEST:: SOT 106619 SOS 75978 HAS SOPS 43215 HAS SOUS 16160 HAS SOUPS 7763 WITH SCORE 7838.978
AT ITER 553 NEW BEST:: SOT 106595 SOS 75954 HAS SOPS 43191 HAS SOUS 16160 HAS SOUPS 7763 WITH SCORE 7838.954
AT ITER 572 NEW BEST:: SOT 106583 SOS 75930 HAS SOPS 43179 HAS SOUS 16136 HAS SOUPS 7745 WITH SCORE 7820.93
AT ITER 587 NEW BEST:: SOT 106565 SOS 75906 HAS SOPS 43155 HAS SOUS 16130 HAS SOUPS 7739 WITH SCORE 7814.906
AT ITER 594 NEW BEST:: SOT 106535 SOS 75870 HAS SOPS 43119 HAS SOUS 16105 HAS SOUPS 7726 WITH SCORE 7801.87
AT ITER 599 NEW BEST:: SOT 106524 SOS 75848 HAS SOPS 43061 HAS SOUS 16076 HAS SOUPS 7697 WITH SCORE 7772.848
AT ITER 603 NEW BEST:: SOT 106430 SOS 75609 HAS SOPS 43018 HAS SOUS 15892 HAS SOUPS 7611 WITH SCORE 7686.609
AT ITER 608 NEW BEST:: SOT 106409 SOS 75581 HAS SOPS 42990 HAS SOUS 15890 HAS SOUPS 7610 WITH SCORE 7685.581
AT ITER 610 NEW BEST:: SOT 106355 SOS 75557 HAS SOPS 43002 HAS SOUS 15874 HAS SOUPS 7600 WITH SCORE 7675.557
AT ITER 637 NEW BEST:: SOT 106309 SOS 75101 HAS SOPS 42946 HAS SOUS 15837 HAS SOUPS 7572 WITH SCORE 7647.101
AT ITER 642 NEW BEST:: SOT 106372 SOS 75185 HAS SOPS 43030 HAS SOUS 15836 HAS SOUPS 7571 WITH SCORE 7646.185
AT ITER 651 NEW BEST:: SOT 105832 SOS 74555 HAS SOPS 42670 HAS SOUS 15780 HAS SOUPS 7522 WITH SCORE 7596.555
AT ITER 665 NEW BEST:: SOT 105592 SOS 74315 HAS SOPS 42610 HAS SOUS 15696 HAS SOUPS 7462 WITH SCORE 7536.315
AT ITER 676 NEW BEST:: SOT 106145 SOS 75061 HAS SOPS 42792 HAS SOUS 15729 HAS SOUPS 7430 WITH SCORE 7505.061
AT ITER 683 NEW BEST:: SOT 106219 SOS 75159 HAS SOPS 42890 HAS SOUS 15650 HAS SOUPS 7416 WITH SCORE 7491.159
AT ITER 689 NEW BEST:: SOT 106022 SOS 74830 HAS SOPS 42646 HAS SOUS 15620 HAS SOUPS 7334 WITH SCORE 7408.83
AT ITER 690 NEW BEST:: SOT 106005 SOS 74796 HAS SOPS 42646 HAS SOUS 15592 HAS SOUPS 7322 WITH SCORE 7396.796
AT ITER 713 NEW BEST:: SOT 105705 SOS 74428 HAS SOPS 42563 HAS SOUS 15396 HAS SOUPS 7320 WITH SCORE 7394.428
AT ITER 717 NEW BEST:: SOT 105557 SOS 74194 HAS SOPS 42315 HAS SOUS 15443 HAS SOUPS 7320 WITH SCORE 7394.194
AT ITER 720 NEW BEST:: SOT 105509 SOS 74146 HAS SOPS 42315 HAS SOUS 15419 HAS SOUPS 7320 WITH SCORE 7394.146
AT ITER 721 NEW BEST:: SOT 105042 SOS 73589 HAS SOPS 42173 HAS SOUS 15366 HAS SOUPS 7267 WITH SCORE 7340.589
AT ITER 729 NEW BEST:: SOT 104327 SOS 72668 HAS SOPS 41692 HAS SOUS 15219 HAS SOUPS 7175 WITH SCORE 7247.668
AT ITER 731 NEW BEST:: SOT 104339 SOS 72612 HAS SOPS 41636 HAS SOUS 15199 HAS SOUPS 7155 WITH SCORE 7227.612
AT ITER 744 NEW BEST:: SOT 104319 SOS 72629 HAS SOPS 41634 HAS SOUS 15187 HAS SOUPS 7143 WITH SCORE 7215.629
AT ITER 747 NEW BEST:: SOT 104319 SOS 72629 HAS SOPS 41615 HAS SOUS 15168 HAS SOUPS 7124 WITH SCORE 7196.629
AT ITER 759 NEW BEST:: SOT 104338 SOS 72652 HAS SOPS 41615 HAS SOUS 15162 HAS SOUPS 7119 WITH SCORE 7191.652
AT ITER 772 NEW BEST:: SOT 104265 SOS 72506 HAS SOPS 41615 HAS SOUS 15178 HAS SOUPS 7119 WITH SCORE 7191.506
AT ITER 777 NEW BEST:: SOT 104770 SOS 72856 HAS SOPS 41977 HAS SOUS 15162 HAS SOUPS 7103 WITH SCORE 7175.856
AT ITER 778 NEW BEST:: SOT 104739 SOS 72930 HAS SOPS 42101 HAS SOUS 15085 HAS SOUPS 7094 WITH SCORE 7166.93
AT ITER 783 NEW BEST:: SOT 104347 SOS 72464 HAS SOPS 41907 HAS SOUS 15032 HAS SOUPS 7083 WITH SCORE 7155.464
AT ITER 790 NEW BEST:: SOT 104350 SOS 72422 HAS SOPS 41883 HAS SOUS 15029 HAS SOUPS 7083 WITH SCORE 7155.422
AT ITER 791 NEW BEST:: SOT 104154 SOS 72142 HAS SOPS 41687 HAS SOUS 15001 HAS SOUPS 7055 WITH SCORE 7127.142
AT ITER 795 NEW BEST:: SOT 104141 SOS 72129 HAS SOPS 41674 HAS SOUS 14972 HAS SOUPS 7042 WITH SCORE 7114.129
AT ITER 797 NEW BEST:: SOT 104105 SOS 71983 HAS SOPS 41576 HAS SOUS 14848 HAS SOUPS 6958 WITH SCORE 7029.983
AT ITER 801 NEW BEST:: SOT 104107 SOS 71985 HAS SOPS 41578 HAS SOUS 14846 HAS SOUPS 6956 WITH SCORE 7027.985
AT ITER 819 NEW BEST:: SOT 104309 SOS 72225 HAS SOPS 41666 HAS SOUS 14825 HAS SOUPS 6916 WITH SCORE 6988.225
AT ITER 838 NEW BEST:: SOT 104294 SOS 72195 HAS SOPS 41646 HAS SOUS 14800 HAS SOUPS 6896 WITH SCORE 6968.195
AT ITER 851 NEW BEST:: SOT 103751 SOS 71549 HAS SOPS 41352 HAS SOUS 14715 HAS SOUPS 6855 WITH SCORE 6926.549
AT ITER 863 NEW BEST:: SOT 103749 SOS 71513 HAS SOPS 41348 HAS SOUS 14713 HAS SOUPS 6855 WITH SCORE 6926.513
AT ITER 868 NEW BEST:: SOT 103679 SOS 71429 HAS SOPS 41306 HAS SOUS 14657 HAS SOUPS 6827 WITH SCORE 6898.429
AT ITER 873 NEW BEST:: SOT 103662 SOS 71440 HAS SOPS 41276 HAS SOUS 14642 HAS SOUPS 6812 WITH SCORE 6883.44
AT ITER 882 NEW BEST:: SOT 102791 SOS 70402 HAS SOPS 40748 HAS SOUS 14556 HAS SOUPS 6789 WITH SCORE 6859.402
AT ITER 890 NEW BEST:: SOT 102839 SOS 69392 HAS SOPS 40050 HAS SOUS 14396 HAS SOUPS 6692 WITH SCORE 6761.392
AT ITER 892 NEW BEST:: SOT 102365 SOS 68868 HAS SOPS 39844 HAS SOUS 14373 HAS SOUPS 6669 WITH SCORE 6737.868
AT ITER 895 NEW BEST:: SOT 102297 SOS 68783 HAS SOPS 39844 HAS SOUS 14371 HAS SOUPS 6669 WITH SCORE 6737.783
AT ITER 897 NEW BEST:: SOT 102292 SOS 68773 HAS SOPS 39844 HAS SOUS 14367 HAS SOUPS 6669 WITH SCORE 6737.773
AT ITER 906 NEW BEST:: SOT 101750 SOS 67128 HAS SOPS 38571 HAS SOUS 14320 HAS SOUPS 6626 WITH SCORE 6693.128
AT ITER 931 NEW BEST:: SOT 101571 SOS 67232 HAS SOPS 38547 HAS SOUS 14297 HAS SOUPS 6604 WITH SCORE 6671.232
AT ITER 950 NEW BEST:: SOT 101476 SOS 67110 HAS SOPS 38439 HAS SOUS 14182 HAS SOUPS 6523 WITH SCORE 6590.11
AT ITER 959 NEW BEST:: SOT 101389 SOS 66936 HAS SOPS 38257 HAS SOUS 14219 HAS SOUPS 6496 WITH SCORE 6562.936
AT ITER 966 NEW BEST:: SOT 101387 SOS 66935 HAS SOPS 38257 HAS SOUS 14219 HAS SOUPS 6496 WITH SCORE 6562.935
AT ITER 982 NEW BEST:: SOT 101299 SOS 66891 HAS SOPS 38213 HAS SOUS 14230 HAS SOUPS 6496 WITH SCORE 6562.891
AT ITER 987 NEW BEST:: SOT 101297 SOS 66887 HAS SOPS 38189 HAS SOUS 14226 HAS SOUPS 6494 WITH SCORE 6560.887
AT ITER 992 NEW BEST:: SOT 101355 SOS 66681 HAS SOPS 37937 HAS SOUS 14155 HAS SOUPS 6442 WITH SCORE 6508.681
AT ITER 996 NEW BEST:: SOT 101341 SOS 66667 HAS SOPS 37929 HAS SOUS 14155 HAS SOUPS 6442 WITH SCORE 6508.667
AT ITER 1049 NEW BEST:: SOT 101313 SOS 66611 HAS SOPS 37901 HAS SOUS 14122 HAS SOUPS 6423 WITH SCORE 6489.611
AT ITER 1051 NEW BEST:: SOT 101087 SOS 66439 HAS SOPS 37719 HAS SOUS 14124 HAS SOUPS 6398 WITH SCORE 6464.439
AT ITER 1060 NEW BEST:: SOT 101081 SOS 66361 HAS SOPS 37641 HAS SOUS 14124 HAS SOUPS 6398 WITH SCORE 6464.361
AT ITER 1062 NEW BEST:: SOT 101103 SOS 66347 HAS SOPS 37619 HAS SOUS 14122 HAS SOUPS 6396 WITH SCORE 6462.347
AT ITER 1070 NEW BEST:: SOT 100887 SOS 66080 HAS SOPS 37485 HAS SOUS 14058 HAS SOUPS 6332 WITH SCORE 6398.08
AT ITER 1076 NEW BEST:: SOT 100857 SOS 65954 HAS SOPS 37479 HAS SOUS 13974 HAS SOUPS 6308 WITH SCORE 6373.954
AT ITER 1080 NEW BEST:: SOT 100369 SOS 65557 HAS SOPS 37082 HAS SOUS 14009 HAS SOUPS 6286 WITH SCORE 6351.557
AT ITER 1104 NEW BEST:: SOT 100197 SOS 65382 HAS SOPS 37006 HAS SOUS 14025 HAS SOUPS 6285 WITH SCORE 6350.382
AT ITER 1116 NEW BEST:: SOT 99965 SOS 64918 HAS SOPS 36890 HAS SOUS 13967 HAS SOUPS 6285 WITH SCORE 6349.918
AT ITER 1124 NEW BEST:: SOT 99935 SOS 64828 HAS SOPS 36830 HAS SOUS 13892 HAS SOUPS 6225 WITH SCORE 6289.828
AT ITER 1125 NEW BEST:: SOT 99827 SOS 64612 HAS SOPS 36830 HAS SOUS 13648 HAS SOUPS 6225 WITH SCORE 6289.612
AT ITER 1127 NEW BEST:: SOT 99533 SOS 64216 HAS SOPS 36700 HAS SOUS 13571 HAS SOUPS 6175 WITH SCORE 6239.216
AT ITER 1129 NEW BEST:: SOT 99265 SOS 63936 HAS SOPS 36552 HAS SOUS 13567 HAS SOUPS 6171 WITH SCORE 6234.936
AT ITER 1131 NEW BEST:: SOT 99572 SOS 64123 HAS SOPS 36727 HAS SOUS 13554 HAS SOUPS 6169 WITH SCORE 6233.123
AT ITER 1132 NEW BEST:: SOT 99470 SOS 64150 HAS SOPS 36587 HAS SOUS 13582 HAS SOUPS 6140 WITH SCORE 6204.15
AT ITER 1141 NEW BEST:: SOT 99463 SOS 64064 HAS SOPS 36501 HAS SOUS 13576 HAS SOUPS 6134 WITH SCORE 6198.064
AT ITER 1144 NEW BEST:: SOT 99241 SOS 63802 HAS SOPS 36359 HAS SOUS 13538 HAS SOUPS 6096 WITH SCORE 6159.802
AT ITER 1146 NEW BEST:: SOT 99036 SOS 63623 HAS SOPS 36191 HAS SOUS 13467 HAS SOUPS 6072 WITH SCORE 6135.623
AT ITER 1152 NEW BEST:: SOT 99034 SOS 63619 HAS SOPS 36187 HAS SOUS 13465 HAS SOUPS 6070 WITH SCORE 6133.619
AT ITER 1179 NEW BEST:: SOT 99085 SOS 63657 HAS SOPS 36225 HAS SOUS 13372 HAS SOUPS 6049 WITH SCORE 6112.657
AT ITER 1190 NEW BEST:: SOT 99041 SOS 63503 HAS SOPS 36115 HAS SOUS 13361 HAS SOUPS 6038 WITH SCORE 6101.503
AT ITER 1192 NEW BEST:: SOT 98931 SOS 63341 HAS SOPS 36009 HAS SOUS 13358 HAS SOUPS 6016 WITH SCORE 6079.341
AT ITER 1195 NEW BEST:: SOT 98927 SOS 63333 HAS SOPS 36005 HAS SOUS 13356 HAS SOUPS 6014 WITH SCORE 6077.333
AT ITER 1199 NEW BEST:: SOT 98996 SOS 63075 HAS SOPS 35688 HAS SOUS 13331 HAS SOUPS 5984 WITH SCORE 6047.075
AT ITER 1200 NEW BEST:: SOT 98942 SOS 63021 HAS SOPS 35662 HAS SOUS 13348 HAS SOUPS 5984 WITH SCORE 6047.021
AT ITER 1224 NEW BEST:: SOT 98830 SOS 62937 HAS SOPS 35578 HAS SOUS 13362 HAS SOUPS 5984 WITH SCORE 6046.937
AT ITER 1228 NEW BEST:: SOT 98816 SOS 63021 HAS SOPS 35634 HAS SOUS 13355 HAS SOUPS 5977 WITH SCORE 6040.021
AT ITER 1229 NEW BEST:: SOT 98843 SOS 63075 HAS SOPS 35644 HAS SOUS 13349 HAS SOUPS 5967 WITH SCORE 6030.075
AT ITER 1247 NEW BEST:: SOT 98847 SOS 63083 HAS SOPS 35558 HAS SOUS 13331 HAS SOUPS 5931 WITH SCORE 5994.083
AT ITER 1257 NEW BEST:: SOT 98851 SOS 63071 HAS SOPS 35610 HAS SOUS 13298 HAS SOUPS 5930 WITH SCORE 5993.071
AT ITER 1263 NEW BEST:: SOT 98815 SOS 63279 HAS SOPS 35706 HAS SOUS 13290 HAS SOUPS 5922 WITH SCORE 5985.279
AT ITER 1287 NEW BEST:: SOT 98723 SOS 63227 HAS SOPS 35666 HAS SOUS 13300 HAS SOUPS 5922 WITH SCORE 5985.227
AT ITER 1304 NEW BEST:: SOT 98723 SOS 63225 HAS SOPS 35667 HAS SOUS 13299 HAS SOUPS 5922 WITH SCORE 5985.225
AT ITER 1306 NEW BEST:: SOT 98723 SOS 63233 HAS SOPS 35667 HAS SOUS 13300 HAS SOUPS 5915 WITH SCORE 5978.233
AT ITER 1311 NEW BEST:: SOT 98714 SOS 63213 HAS SOPS 35647 HAS SOUS 13295 HAS SOUPS 5909 WITH SCORE 5972.213
AT ITER 1312 NEW BEST:: SOT 98700 SOS 63185 HAS SOPS 35591 HAS SOUS 13295 HAS SOUPS 5895 WITH SCORE 5958.185
AT ITER 1330 NEW BEST:: SOT 98688 SOS 63197 HAS SOPS 35606 HAS SOUS 13292 HAS SOUPS 5892 WITH SCORE 5955.197
AT ITER 1334 NEW BEST:: SOT 98628 SOS 63107 HAS SOPS 35666 HAS SOUS 13172 HAS SOUPS 5892 WITH SCORE 5955.107
AT ITER 1336 NEW BEST:: SOT 98616 SOS 63083 HAS SOPS 35656 HAS SOUS 13160 HAS SOUPS 5887 WITH SCORE 5950.083
AT ITER 1340 NEW BEST:: SOT 98575 SOS 63423 HAS SOPS 35638 HAS SOUS 13161 HAS SOUPS 5863 WITH SCORE 5926.423
AT ITER 1342 NEW BEST:: SOT 98547 SOS 63367 HAS SOPS 35582 HAS SOUS 13153 HAS SOUPS 5855 WITH SCORE 5918.367
AT ITER 1363 NEW BEST:: SOT 98497 SOS 63302 HAS SOPS 35552 HAS SOUS 13138 HAS SOUPS 5845 WITH SCORE 5908.302
AT ITER 1370 NEW BEST:: SOT 98469 SOS 63202 HAS SOPS 35452 HAS SOUS 13106 HAS SOUPS 5813 WITH SCORE 5876.202
AT ITER 1384 NEW BEST:: SOT 98450 SOS 63164 HAS SOPS 35452 HAS SOUS 13097 HAS SOUPS 5813 WITH SCORE 5876.164
AT ITER 1407 NEW BEST:: SOT 98383 SOS 63116 HAS SOPS 35416 HAS SOUS 13034 HAS SOUPS 5780 WITH SCORE 5843.116
AT ITER 1408 NEW BEST:: SOT 98097 SOS 62999 HAS SOPS 35156 HAS SOUS 13062 HAS SOUPS 5780 WITH SCORE 5842.999
AT ITER 1433 NEW BEST:: SOT 98041 SOS 62911 HAS SOPS 35092 HAS SOUS 13042 HAS SOUPS 5772 WITH SCORE 5834.911
AT ITER 1436 NEW BEST:: SOT 97920 SOS 62735 HAS SOPS 34916 HAS SOUS 13011 HAS SOUPS 5741 WITH SCORE 5803.735
AT ITER 1449 NEW BEST:: SOT 97918 SOS 62732 HAS SOPS 34910 HAS SOUS 13009 HAS SOUPS 5738 WITH SCORE 5800.732
AT ITER 1450 NEW BEST:: SOT 97916 SOS 62730 HAS SOPS 34908 HAS SOUS 13006 HAS SOUPS 5735 WITH SCORE 5797.73
AT ITER 1453 NEW BEST:: SOT 97952 SOS 62466 HAS SOPS 34788 HAS SOUS 13004 HAS SOUPS 5733 WITH SCORE 5795.466
AT ITER 1455 NEW BEST:: SOT 97994 SOS 62496 HAS SOPS 34824 HAS SOUS 12977 HAS SOUPS 5706 WITH SCORE 5768.496
AT ITER 1458 NEW BEST:: SOT 97995 SOS 62497 HAS SOPS 34809 HAS SOUS 12976 HAS SOUPS 5704 WITH SCORE 5766.497
AT ITER 1459 NEW BEST:: SOT 97989 SOS 62489 HAS SOPS 34801 HAS SOUS 12974 HAS SOUPS 5702 WITH SCORE 5764.489
AT ITER 1468 NEW BEST:: SOT 97983 SOS 62701 HAS SOPS 34929 HAS SOUS 12968 HAS SOUPS 5696 WITH SCORE 5758.701
AT ITER 1481 NEW BEST:: SOT 97998 SOS 62531 HAS SOPS 34713 HAS SOUS 12970 HAS SOUPS 5676 WITH SCORE 5738.531
AT ITER 1509 NEW BEST:: SOT 97995 SOS 62522 HAS SOPS 34704 HAS SOUS 12969 HAS SOUPS 5675 WITH SCORE 5737.522
AT ITER 1520 NEW BEST:: SOT 97935 SOS 62402 HAS SOPS 34704 HAS SOUS 12815 HAS SOUPS 5675 WITH SCORE 5737.402
AT ITER 1529 NEW BEST:: SOT 97930 SOS 62392 HAS SOPS 34704 HAS SOUS 12811 HAS SOUPS 5675 WITH SCORE 5737.392
AT ITER 1531 NEW BEST:: SOT 97927 SOS 62386 HAS SOPS 34704 HAS SOUS 12811 HAS SOUPS 5675 WITH SCORE 5737.386
AT ITER 1559 NEW BEST:: SOT 98014 SOS 62473 HAS SOPS 34752 HAS SOUS 12807 HAS SOUPS 5671 WITH SCORE 5733.473
AT ITER 1568 NEW BEST:: SOT 97522 SOS 61953 HAS SOPS 34427 HAS SOUS 12740 HAS SOUPS 5635 WITH SCORE 5696.953
AT ITER 1569 NEW BEST:: SOT 97524 SOS 61943 HAS SOPS 34423 HAS SOUS 12739 HAS SOUPS 5634 WITH SCORE 5695.943
AT ITER 1570 NEW BEST:: SOT 97519 SOS 61923 HAS SOPS 34393 HAS SOUS 12739 HAS SOUPS 5629 WITH SCORE 5690.923
AT ITER 1572 NEW BEST:: SOT 97752 SOS 62191 HAS SOPS 34401 HAS SOUS 12845 HAS SOUPS 5571 WITH SCORE 5633.191
AT ITER 1589 NEW BEST:: SOT 97687 SOS 62244 HAS SOPS 34233 HAS SOUS 12812 HAS SOUPS 5487 WITH SCORE 5549.244
AT ITER 1596 NEW BEST:: SOT 97323 SOS 61761 HAS SOPS 34023 HAS SOUS 12777 HAS SOUPS 5487 WITH SCORE 5548.761
AT ITER 1613 NEW BEST:: SOT 96716 SOS 61040 HAS SOPS 33623 HAS SOUS 12690 HAS SOUPS 5448 WITH SCORE 5509.04
AT ITER 1617 NEW BEST:: SOT 96699 SOS 60972 HAS SOPS 33555 HAS SOUS 12707 HAS SOUPS 5448 WITH SCORE 5508.972
AT ITER 1621 NEW BEST:: SOT 96686 SOS 60816 HAS SOPS 33429 HAS SOUS 12694 HAS SOUPS 5435 WITH SCORE 5495.816
AT ITER 1626 NEW BEST:: SOT 96805 SOS 60780 HAS SOPS 33385 HAS SOUS 12601 HAS SOUPS 5383 WITH SCORE 5443.78
AT ITER 1634 NEW BEST:: SOT 96517 SOS 60444 HAS SOPS 33193 HAS SOUS 12544 HAS SOUPS 5341 WITH SCORE 5401.444
AT ITER 1640 NEW BEST:: SOT 96357 SOS 60271 HAS SOPS 33074 HAS SOUS 12560 HAS SOUPS 5335 WITH SCORE 5395.271
AT ITER 1643 NEW BEST:: SOT 96355 SOS 60267 HAS SOPS 33074 HAS SOUS 12556 HAS SOUPS 5335 WITH SCORE 5395.267
AT ITER 1646 NEW BEST:: SOT 95942 SOS 59854 HAS SOPS 32956 HAS SOUS 12528 HAS SOUPS 5335 WITH SCORE 5394.854
AT ITER 1671 NEW BEST:: SOT 95964 SOS 59880 HAS SOPS 32964 HAS SOUS 12527 HAS SOUPS 5325 WITH SCORE 5384.88
AT ITER 1708 NEW BEST:: SOT 95911 SOS 59942 HAS SOPS 33047 HAS SOUS 12510 HAS SOUPS 5320 WITH SCORE 5379.942
AT ITER 1713 NEW BEST:: SOT 95752 SOS 59755 HAS SOPS 32926 HAS SOUS 12503 HAS SOUPS 5307 WITH SCORE 5366.755
AT ITER 1730 NEW BEST:: SOT 95734 SOS 59740 HAS SOPS 32914 HAS SOUS 12503 HAS SOUPS 5307 WITH SCORE 5366.74
AT ITER 1783 NEW BEST:: SOT 95492 SOS 59452 HAS SOPS 32668 HAS SOUS 12507 HAS SOUPS 5290 WITH SCORE 5349.452
AT ITER 1788 NEW BEST:: SOT 96108 SOS 60179 HAS SOPS 33097 HAS SOUS 12537 HAS SOUPS 5277 WITH SCORE 5337.179
AT ITER 1793 NEW BEST:: SOT 96113 SOS 60189 HAS SOPS 33097 HAS SOUS 12532 HAS SOUPS 5272 WITH SCORE 5332.189
AT ITER 1800 NEW BEST:: SOT 96093 SOS 60149 HAS SOPS 33087 HAS SOUS 12517 HAS SOUPS 5262 WITH SCORE 5322.149
AT ITER 1811 NEW BEST:: SOT 96042 SOS 60019 HAS SOPS 33041 HAS SOUS 12500 HAS SOUPS 5259 WITH SCORE 5319.019
AT ITER 1815 NEW BEST:: SOT 95832 SOS 59775 HAS SOPS 32893 HAS SOUS 12493 HAS SOUPS 5252 WITH SCORE 5311.775
AT ITER 1817 NEW BEST:: SOT 95832 SOS 59759 HAS SOPS 32877 HAS SOUS 12492 HAS SOUPS 5251 WITH SCORE 5310.759
AT ITER 1825 NEW BEST:: SOT 94913 SOS 58651 HAS SOPS 32325 HAS SOUS 12265 HAS SOUPS 5139 WITH SCORE 5197.651
AT ITER 1827 NEW BEST:: SOT 94913 SOS 58651 HAS SOPS 32321 HAS SOUS 12259 HAS SOUPS 5133 WITH SCORE 5191.651
AT ITER 1851 NEW BEST:: SOT 94879 SOS 58611 HAS SOPS 32311 HAS SOUS 12259 HAS SOUPS 5133 WITH SCORE 5191.611
AT ITER 1859 NEW BEST:: SOT 94770 SOS 58186 HAS SOPS 31969 HAS SOUS 12234 HAS SOUPS 5099 WITH SCORE 5157.186
AT ITER 1869 NEW BEST:: SOT 94768 SOS 58182 HAS SOPS 31967 HAS SOUS 12230 HAS SOUPS 5096 WITH SCORE 5154.182
AT ITER 1882 NEW BEST:: SOT 94655 SOS 58078 HAS SOPS 31895 HAS SOUS 12228 HAS SOUPS 5096 WITH SCORE 5154.078
AT ITER 1883 NEW BEST:: SOT 94643 SOS 57050 HAS SOPS 31095 HAS SOUS 12220 HAS SOUPS 5083 WITH SCORE 5140.05
AT ITER 1895 NEW BEST:: SOT 94159 SOS 56677 HAS SOPS 30755 HAS SOUS 12220 HAS SOUPS 5083 WITH SCORE 5139.677
AT ITER 1917 NEW BEST:: SOT 94153 SOS 56497 HAS SOPS 30653 HAS SOUS 12220 HAS SOUPS 5083 WITH SCORE 5139.497
AT ITER 1933 NEW BEST:: SOT 94069 SOS 56341 HAS SOPS 30611 HAS SOUS 12139 HAS SOUPS 5023 WITH SCORE 5079.341
AT ITER 1936 NEW BEST:: SOT 94068 SOS 56348 HAS SOPS 30600 HAS SOUS 12122 HAS SOUPS 4997 WITH SCORE 5053.348
AT ITER 1969 NEW BEST:: SOT 93972 SOS 56124 HAS SOPS 30568 HAS SOUS 12058 HAS SOUPS 4965 WITH SCORE 5021.124
AT ITER 1981 NEW BEST:: SOT 93888 SOS 56004 HAS SOPS 30484 HAS SOUS 12034 HAS SOUPS 4941 WITH SCORE 4997.004
AT ITER 1990 NEW BEST:: SOT 93886 SOS 55968 HAS SOPS 30456 HAS SOUS 12028 HAS SOUPS 4935 WITH SCORE 4990.968
AT ITER 1992 NEW BEST:: SOT 93971 SOS 56082 HAS SOPS 30570 HAS SOUS 12016 HAS SOUPS 4923 WITH SCORE 4979.082
AT ITER 1997 NEW BEST:: SOT 93962 SOS 56035 HAS SOPS 30523 HAS SOUS 11990 HAS SOUPS 4897 WITH SCORE 4953.035
AT ITER 2032 NEW BEST:: SOT 93591 SOS 55664 HAS SOPS 30311 HAS SOUS 11990 HAS SOUPS 4897 WITH SCORE 4952.664
AT ITER 2036 NEW BEST:: SOT 93475 SOS 55350 HAS SOPS 29991 HAS SOUS 12010 HAS SOUPS 4895 WITH SCORE 4950.35
AT ITER 2043 NEW BEST:: SOT 93412 SOS 55287 HAS SOPS 29955 HAS SOUS 12010 HAS SOUPS 4895 WITH SCORE 4950.287
AT ITER 2046 NEW BEST:: SOT 93404 SOS 55304 HAS SOPS 29939 HAS SOUS 12010 HAS SOUPS 4891 WITH SCORE 4946.304
AT ITER 2049 NEW BEST:: SOT 93401 SOS 55270 HAS SOPS 29917 HAS SOUS 12003 HAS SOUPS 4886 WITH SCORE 4941.27
AT ITER 2055 NEW BEST:: SOT 93114 SOS 54983 HAS SOPS 29753 HAS SOUS 11967 HAS SOUPS 4866 WITH SCORE 4920.983
AT ITER 2059 NEW BEST:: SOT 92443 SOS 54148 HAS SOPS 29314 HAS SOUS 11814 HAS SOUPS 4778 WITH SCORE 4832.148
AT ITER 2078 NEW BEST:: SOT 92086 SOS 53620 HAS SOPS 29218 HAS SOUS 11517 HAS SOUPS 4775 WITH SCORE 4828.62
AT ITER 2100 NEW BEST:: SOT 92066 SOS 53600 HAS SOPS 29202 HAS SOUS 11513 HAS SOUPS 4771 WITH SCORE 4824.6
AT ITER 2108 NEW BEST:: SOT 92020 SOS 53536 HAS SOPS 29136 HAS SOUS 11507 HAS SOUPS 4765 WITH SCORE 4818.536
AT ITER 2152 NEW BEST:: SOT 91973 SOS 53556 HAS SOPS 29102 HAS SOUS 11493 HAS SOUPS 4750 WITH SCORE 4803.556
AT ITER 2157 NEW BEST:: SOT 91979 SOS 53559 HAS SOPS 29105 HAS SOUS 11489 HAS SOUPS 4747 WITH SCORE 4800.559
AT ITER 2175 NEW BEST:: SOT 91786 SOS 53173 HAS SOPS 29105 HAS SOUS 11484 HAS SOUPS 4747 WITH SCORE 4800.173
AT ITER 2193 NEW BEST:: SOT 91751 SOS 53138 HAS SOPS 29088 HAS SOUS 11449 HAS SOUPS 4730 WITH SCORE 4783.138
AT ITER 2201 NEW BEST:: SOT 91747 SOS 53126 HAS SOPS 29080 HAS SOUS 11441 HAS SOUPS 4724 WITH SCORE 4777.126
AT ITER 2205 NEW BEST:: SOT 91677 SOS 52972 HAS SOPS 29052 HAS SOUS 11365 HAS SOUPS 4699 WITH SCORE 4751.972
AT ITER 2213 NEW BEST:: SOT 91729 SOS 53032 HAS SOPS 29112 HAS SOUS 11329 HAS SOUPS 4663 WITH SCORE 4716.032
AT ITER 2232 NEW BEST:: SOT 91723 SOS 53022 HAS SOPS 29112 HAS SOUS 11319 HAS SOUPS 4661 WITH SCORE 4714.022
AT ITER 2257 NEW BEST:: SOT 91786 SOS 53099 HAS SOPS 29113 HAS SOUS 11356 HAS SOUPS 4636 WITH SCORE 4689.099
AT ITER 2262 NEW BEST:: SOT 91647 SOS 52961 HAS SOPS 29033 HAS SOUS 11356 HAS SOUPS 4636 WITH SCORE 4688.961
AT ITER 2274 NEW BEST:: SOT 91642 SOS 52954 HAS SOPS 29029 HAS SOUS 11354 HAS SOUPS 4634 WITH SCORE 4686.954
AT ITER 2280 NEW BEST:: SOT 91204 SOS 52078 HAS SOPS 29029 HAS SOUS 10888 HAS SOUPS 4634 WITH SCORE 4686.078
AT ITER 2289 NEW BEST:: SOT 91197 SOS 52068 HAS SOPS 29019 HAS SOUS 10883 HAS SOUPS 4631 WITH SCORE 4683.068
AT ITER 2304 NEW BEST:: SOT 91251 SOS 52050 HAS SOPS 29091 HAS SOUS 10865 HAS SOUPS 4631 WITH SCORE 4683.05
AT ITER 2308 NEW BEST:: SOT 91254 SOS 52056 HAS SOPS 29035 HAS SOUS 10837 HAS SOUPS 4603 WITH SCORE 4655.056
AT ITER 2391 NEW BEST:: SOT 91264 SOS 52004 HAS SOPS 28983 HAS SOUS 10829 HAS SOUPS 4595 WITH SCORE 4647.004
AT ITER 2397 NEW BEST:: SOT 91270 SOS 51760 HAS SOPS 28803 HAS SOUS 10819 HAS SOUPS 4585 WITH SCORE 4636.76
AT ITER 2400 NEW BEST:: SOT 91202 SOS 51674 HAS SOPS 28753 HAS SOUS 10799 HAS SOUPS 4571 WITH SCORE 4622.674
AT ITER 2417 NEW BEST:: SOT 90946 SOS 51573 HAS SOPS 28509 HAS SOUS 10971 HAS SOUPS 4571 WITH SCORE 4622.573
AT ITER 2418 NEW BEST:: SOT 90944 SOS 51569 HAS SOPS 28505 HAS SOUS 10973 HAS SOUPS 4571 WITH SCORE 4622.569
AT ITER 2435 NEW BEST:: SOT 91024 SOS 51678 HAS SOPS 28507 HAS SOUS 10966 HAS SOUPS 4553 WITH SCORE 4604.678
AT ITER 2452 NEW BEST:: SOT 90800 SOS 51454 HAS SOPS 28379 HAS SOUS 10966 HAS SOUPS 4553 WITH SCORE 4604.454
AT ITER 2458 NEW BEST:: SOT 90709 SOS 51353 HAS SOPS 28323 HAS SOUS 10947 HAS SOUPS 4547 WITH SCORE 4598.353
AT ITER 2462 NEW BEST:: SOT 90745 SOS 51389 HAS SOPS 28323 HAS SOUS 10971 HAS SOUPS 4539 WITH SCORE 4590.389
AT ITER 2463 NEW BEST:: SOT 90889 SOS 51590 HAS SOPS 28323 HAS SOUS 10961 HAS SOUPS 4501 WITH SCORE 4552.59
AT ITER 2464 NEW BEST:: SOT 90430 SOS 51243 HAS SOPS 27976 HAS SOUS 11016 HAS SOUPS 4501 WITH SCORE 4552.243
AT ITER 2486 NEW BEST:: SOT 90388 SOS 51201 HAS SOPS 27952 HAS SOUS 11016 HAS SOUPS 4501 WITH SCORE 4552.201
AT ITER 2487 NEW BEST:: SOT 89815 SOS 50601 HAS SOPS 27406 HAS SOUS 11002 HAS SOUPS 4501 WITH SCORE 4551.601
AT ITER 2502 NEW BEST:: SOT 89809 SOS 50365 HAS SOPS 27298 HAS SOUS 10992 HAS SOUPS 4499 WITH SCORE 4549.365
AT ITER 2506 NEW BEST:: SOT 89799 SOS 50359 HAS SOPS 27292 HAS SOUS 10994 HAS SOUPS 4497 WITH SCORE 4547.359
AT ITER 2518 NEW BEST:: SOT 89631 SOS 50266 HAS SOPS 27148 HAS SOUS 10989 HAS SOUPS 4485 WITH SCORE 4535.266
AT ITER 2530 NEW BEST:: SOT 89598 SOS 50230 HAS SOPS 27130 HAS SOUS 10953 HAS SOUPS 4464 WITH SCORE 4514.23
AT ITER 2536 NEW BEST:: SOT 89631 SOS 50274 HAS SOPS 27174 HAS SOUS 10949 HAS SOUPS 4460 WITH SCORE 4510.274
AT ITER 2546 NEW BEST:: SOT 89305 SOS 49889 HAS SOPS 26808 HAS SOUS 10765 HAS SOUPS 4318 WITH SCORE 4367.889
AT ITER 2564 NEW BEST:: SOT 89305 SOS 49889 HAS SOPS 26808 HAS SOUS 10746 HAS SOUPS 4310 WITH SCORE 4359.889
AT ITER 2591 NEW BEST:: SOT 89067 SOS 49651 HAS SOPS 26672 HAS SOUS 10746 HAS SOUPS 4310 WITH SCORE 4359.651
AT ITER 2629 NEW BEST:: SOT 89067 SOS 49645 HAS SOPS 26672 HAS SOUS 10743 HAS SOUPS 4308 WITH SCORE 4357.645
AT ITER 2640 NEW BEST:: SOT 89088 SOS 48368 HAS SOPS 25667 HAS SOUS 10717 HAS SOUPS 4299 WITH SCORE 4347.368
AT ITER 2645 NEW BEST:: SOT 89088 SOS 48360 HAS SOPS 25651 HAS SOUS 10721 HAS SOUPS 4299 WITH SCORE 4347.36
AT ITER 2662 NEW BEST:: SOT 89286 SOS 48588 HAS SOPS 25742 HAS SOUS 10682 HAS SOUPS 4287 WITH SCORE 4335.588
AT ITER 2667 NEW BEST:: SOT 88994 SOS 47992 HAS SOPS 25602 HAS SOUS 10595 HAS SOUPS 4282 WITH SCORE 4329.992
AT ITER 2684 NEW BEST:: SOT 88994 SOS 47958 HAS SOPS 25458 HAS SOUS 10628 HAS SOUPS 4279 WITH SCORE 4326.958
AT ITER 2689 NEW BEST:: SOT 88679 SOS 47600 HAS SOPS 25235 HAS SOUS 10608 HAS SOUPS 4268 WITH SCORE 4315.6
AT ITER 2698 NEW BEST:: SOT 88643 SOS 47528 HAS SOPS 25211 HAS SOUS 10550 HAS SOUPS 4234 WITH SCORE 4281.528
AT ITER 2703 NEW BEST:: SOT 88250 SOS 47544 HAS SOPS 24754 HAS SOUS 10832 HAS SOUPS 4232 WITH SCORE 4279.544
AT ITER 2725 NEW BEST:: SOT 88241 SOS 47535 HAS SOPS 24754 HAS SOUS 10835 HAS SOUPS 4232 WITH SCORE 4279.535
AT ITER 2742 NEW BEST:: SOT 88319 SOS 47550 HAS SOPS 24766 HAS SOUS 10805 HAS SOUPS 4220 WITH SCORE 4267.55
AT ITER 2746 NEW BEST:: SOT 88319 SOS 47547 HAS SOPS 24766 HAS SOUS 10805 HAS SOUPS 4220 WITH SCORE 4267.547
AT ITER 2754 NEW BEST:: SOT 88184 SOS 47364 HAS SOPS 24692 HAS SOUS 10751 HAS SOUPS 4197 WITH SCORE 4244.364
AT ITER 2767 NEW BEST:: SOT 88189 SOS 47304 HAS SOPS 24632 HAS SOUS 10726 HAS SOUPS 4172 WITH SCORE 4219.304
AT ITER 2772 NEW BEST:: SOT 88189 SOS 47304 HAS SOPS 24632 HAS SOUS 10654 HAS SOUPS 4132 WITH SCORE 4179.304
AT ITER 2789 NEW BEST:: SOT 88185 SOS 47292 HAS SOPS 24612 HAS SOUS 10642 HAS SOUPS 4120 WITH SCORE 4167.292
AT ITER 2792 NEW BEST:: SOT 88179 SOS 47291 HAS SOPS 24611 HAS SOUS 10632 HAS SOUPS 4110 WITH SCORE 4157.291
AT ITER 2802 NEW BEST:: SOT 88143 SOS 47255 HAS SOPS 24590 HAS SOUS 10631 HAS SOUPS 4109 WITH SCORE 4156.255
AT ITER 2812 NEW BEST:: SOT 88233 SOS 47435 HAS SOPS 24590 HAS SOUS 10731 HAS SOUPS 4095 WITH SCORE 4142.435
AT ITER 2815 NEW BEST:: SOT 88139 SOS 47406 HAS SOPS 24494 HAS SOUS 10745 HAS SOUPS 4067 WITH SCORE 4114.406
AT ITER 2819 NEW BEST:: SOT 87833 SOS 47396 HAS SOPS 24150 HAS SOUS 11110 HAS SOUPS 4067 WITH SCORE 4114.396
AT ITER 2830 NEW BEST:: SOT 87740 SOS 47303 HAS SOPS 24105 HAS SOUS 11105 HAS SOUPS 4062 WITH SCORE 4109.303
AT ITER 2841 NEW BEST:: SOT 87718 SOS 47251 HAS SOPS 24083 HAS SOUS 11059 HAS SOUPS 4031 WITH SCORE 4078.251
AT ITER 2850 NEW BEST:: SOT 87633 SOS 47081 HAS SOPS 24083 HAS SOUS 11029 HAS SOUPS 4031 WITH SCORE 4078.081
AT ITER 2860 NEW BEST:: SOT 87632 SOS 47019 HAS SOPS 24053 HAS SOUS 11024 HAS SOUPS 4028 WITH SCORE 4075.019
AT ITER 2861 NEW BEST:: SOT 87652 SOS 46773 HAS SOPS 23887 HAS SOUS 11018 HAS SOUPS 4022 WITH SCORE 4068.773
AT ITER 2884 NEW BEST:: SOT 87717 SOS 46864 HAS SOPS 23913 HAS SOUS 11007 HAS SOUPS 4011 WITH SCORE 4057.864
AT ITER 2888 NEW BEST:: SOT 87669 SOS 46800 HAS SOPS 23849 HAS SOUS 10998 HAS SOUPS 4011 WITH SCORE 4057.8
AT ITER 2916 NEW BEST:: SOT 87729 SOS 46928 HAS SOPS 23875 HAS SOUS 11010 HAS SOUPS 4006 WITH SCORE 4052.928
AT ITER 2917 NEW BEST:: SOT 87555 SOS 46580 HAS SOPS 23875 HAS SOUS 10983 HAS SOUPS 4006 WITH SCORE 4052.58
AT ITER 2921 NEW BEST:: SOT 87518 SOS 46402 HAS SOPS 23763 HAS SOUS 10967 HAS SOUPS 3990 WITH SCORE 4036.402
AT ITER 2938 NEW BEST:: SOT 87515 SOS 46408 HAS SOPS 23787 HAS SOUS 10955 HAS SOUPS 3984 WITH SCORE 4030.408
AT ITER 2983 NEW BEST:: SOT 87431 SOS 46330 HAS SOPS 23727 HAS SOUS 10946 HAS SOUPS 3975 WITH SCORE 4021.33
AT ITER 2984 NEW BEST:: SOT 87425 SOS 46318 HAS SOPS 23727 HAS SOUS 10943 HAS SOUPS 3975 WITH SCORE 4021.318
AT ITER 3018 NEW BEST:: SOT 87397 SOS 46262 HAS SOPS 23713 HAS SOUS 10936 HAS SOUPS 3975 WITH SCORE 4021.262
AT ITER 3032 NEW BEST:: SOT 87360 SOS 46177 HAS SOPS 23700 HAS SOUS 10914 HAS SOUPS 3965 WITH SCORE 4011.177
AT ITER 3035 NEW BEST:: SOT 86987 SOS 45831 HAS SOPS 23434 HAS SOUS 10883 HAS SOUPS 3934 WITH SCORE 3979.831
AT ITER 3048 NEW BEST:: SOT 86909 SOS 45649 HAS SOPS 23382 HAS SOUS 10857 HAS SOUPS 3934 WITH SCORE 3979.649
AT ITER 3062 NEW BEST:: SOT 86898 SOS 45618 HAS SOPS 23381 HAS SOUS 10851 HAS SOUPS 3933 WITH SCORE 3978.618
AT ITER 3063 NEW BEST:: SOT 86896 SOS 45614 HAS SOPS 23377 HAS SOUS 10853 HAS SOUPS 3933 WITH SCORE 3978.614
AT ITER 3104 NEW BEST:: SOT 86833 SOS 45530 HAS SOPS 23335 HAS SOUS 10846 HAS SOUPS 3933 WITH SCORE 3978.53
AT ITER 3114 NEW BEST:: SOT 86834 SOS 45529 HAS SOPS 23335 HAS SOUS 10846 HAS SOUPS 3933 WITH SCORE 3978.529
AT ITER 3118 NEW BEST:: SOT 86839 SOS 45459 HAS SOPS 23285 HAS SOUS 10846 HAS SOUPS 3933 WITH SCORE 3978.459
AT ITER 3145 NEW BEST:: SOT 86823 SOS 45379 HAS SOPS 23229 HAS SOUS 10830 HAS SOUPS 3921 WITH SCORE 3966.379
AT ITER 3206 NEW BEST:: SOT 86234 SOS 44768 HAS SOPS 22797 HAS SOUS 10733 HAS SOUPS 3838 WITH SCORE 3882.768
AT ITER 3213 NEW BEST:: SOT 86237 SOS 44774 HAS SOPS 22803 HAS SOUS 10724 HAS SOUPS 3836 WITH SCORE 3880.774
AT ITER 3233 NEW BEST:: SOT 86247 SOS 44684 HAS SOPS 22697 HAS SOUS 10713 HAS SOUPS 3825 WITH SCORE 3869.684
AT ITER 3290 NEW BEST:: SOT 86229 SOS 44680 HAS SOPS 22705 HAS SOUS 10707 HAS SOUPS 3823 WITH SCORE 3867.68
AT ITER 3314 NEW BEST:: SOT 86082 SOS 44533 HAS SOPS 22621 HAS SOUS 10707 HAS SOUPS 3823 WITH SCORE 3867.533
AT ITER 3321 NEW BEST:: SOT 86166 SOS 44505 HAS SOPS 22733 HAS SOUS 10599 HAS SOUPS 3823 WITH SCORE 3867.505
AT ITER 3328 NEW BEST:: SOT 86161 SOS 44495 HAS SOPS 22733 HAS SOUS 10599 HAS SOUPS 3823 WITH SCORE 3867.495
AT ITER 3341 NEW BEST:: SOT 86125 SOS 44411 HAS SOPS 22721 HAS SOUS 10575 HAS SOUPS 3811 WITH SCORE 3855.411
AT ITER 3365 NEW BEST:: SOT 86068 SOS 44278 HAS SOPS 22683 HAS SOUS 10556 HAS SOUPS 3811 WITH SCORE 3855.278
AT ITER 3378 NEW BEST:: SOT 86103 SOS 44330 HAS SOPS 22693 HAS SOUS 10561 HAS SOUPS 3810 WITH SCORE 3854.33
AT ITER 3384 NEW BEST:: SOT 86105 SOS 44338 HAS SOPS 22691 HAS SOUS 10563 HAS SOUPS 3809 WITH SCORE 3853.338
AT ITER 3386 NEW BEST:: SOT 86129 SOS 44368 HAS SOPS 22703 HAS SOUS 10553 HAS SOUPS 3805 WITH SCORE 3849.368
AT ITER 3389 NEW BEST:: SOT 86083 SOS 44322 HAS SOPS 22667 HAS SOUS 10553 HAS SOUPS 3793 WITH SCORE 3837.322
AT ITER 3397 NEW BEST:: SOT 86077 SOS 44310 HAS SOPS 22655 HAS SOUS 10547 HAS SOUPS 3787 WITH SCORE 3831.31
AT ITER 3425 NEW BEST:: SOT 86105 SOS 44345 HAS SOPS 22655 HAS SOUS 10561 HAS SOUPS 3773 WITH SCORE 3817.345
AT ITER 3426 NEW BEST:: SOT 86025 SOS 44245 HAS SOPS 22537 HAS SOUS 10540 HAS SOUPS 3752 WITH SCORE 3796.245
AT ITER 3477 NEW BEST:: SOT 86027 SOS 44243 HAS SOPS 22537 HAS SOUS 10538 HAS SOUPS 3750 WITH SCORE 3794.243
AT ITER 3489 NEW BEST:: SOT 86026 SOS 44220 HAS SOPS 22514 HAS SOUS 10535 HAS SOUPS 3747 WITH SCORE 3791.22
AT ITER 3494 NEW BEST:: SOT 86022 SOS 44212 HAS SOPS 22506 HAS SOUS 10525 HAS SOUPS 3737 WITH SCORE 3781.212
AT ITER 3550 NEW BEST:: SOT 86014 SOS 44196 HAS SOPS 22498 HAS SOUS 10517 HAS SOUPS 3733 WITH SCORE 3777.196
AT ITER 3592 NEW BEST:: SOT 85984 SOS 44154 HAS SOPS 22486 HAS SOUS 10503 HAS SOUPS 3723 WITH SCORE 3767.154
AT ITER 3600 NEW BEST:: SOT 85980 SOS 44150 HAS SOPS 22466 HAS SOUS 10496 HAS SOUPS 3710 WITH SCORE 3754.15
AT ITER 3623 NEW BEST:: SOT 86076 SOS 44182 HAS SOPS 22370 HAS SOUS 10480 HAS SOUPS 3678 WITH SCORE 3722.182
AT ITER 3655 NEW BEST:: SOT 86112 SOS 44227 HAS SOPS 22370 HAS SOUS 10489 HAS SOUPS 3675 WITH SCORE 3719.227
AT ITER 3685 NEW BEST:: SOT 86079 SOS 44143 HAS SOPS 22322 HAS SOUS 10480 HAS SOUPS 3669 WITH SCORE 3713.143
AT ITER 3699 NEW BEST:: SOT 86344 SOS 44333 HAS SOPS 22508 HAS SOUS 10454 HAS SOUPS 3660 WITH SCORE 3704.333
AT ITER 3724 NEW BEST:: SOT 86348 SOS 44317 HAS SOPS 22494 HAS SOUS 10454 HAS SOUPS 3660 WITH SCORE 3704.317
AT ITER 3777 NEW BEST:: SOT 86342 SOS 44281 HAS SOPS 22396 HAS SOUS 10454 HAS SOUPS 3656 WITH SCORE 3700.281
AT ITER 3783 NEW BEST:: SOT 86241 SOS 43802 HAS SOPS 22118 HAS SOUS 10437 HAS SOUPS 3639 WITH SCORE 3682.802
AT ITER 3788 NEW BEST:: SOT 86261 SOS 43824 HAS SOPS 22130 HAS SOUS 10433 HAS SOUPS 3635 WITH SCORE 3678.824
AT ITER 3805 NEW BEST:: SOT 86231 SOS 43776 HAS SOPS 22142 HAS SOUS 10427 HAS SOUPS 3629 WITH SCORE 3672.776
AT ITER 3875 NEW BEST:: SOT 86132 SOS 43520 HAS SOPS 21892 HAS SOUS 10432 HAS SOUPS 3615 WITH SCORE 3658.52
AT ITER 3931 NEW BEST:: SOT 86041 SOS 43415 HAS SOPS 21817 HAS SOUS 10372 HAS SOUPS 3571 WITH SCORE 3614.415
AT ITER 3943 NEW BEST:: SOT 86028 SOS 43398 HAS SOPS 21806 HAS SOUS 10371 HAS SOUPS 3570 WITH SCORE 3613.398
AT ITER 3966 NEW BEST:: SOT 85972 SOS 43346 HAS SOPS 21758 HAS SOUS 10359 HAS SOUPS 3558 WITH SCORE 3601.346
AT ITER 4024 NEW BEST:: SOT 85960 SOS 43334 HAS SOPS 21746 HAS SOUS 10356 HAS SOUPS 3555 WITH SCORE 3598.334
AT ITER 4029 NEW BEST:: SOT 85832 SOS 43230 HAS SOPS 21642 HAS SOUS 10369 HAS SOUPS 3549 WITH SCORE 3592.23
AT ITER 4061 NEW BEST:: SOT 85717 SOS 43135 HAS SOPS 21545 HAS SOUS 10338 HAS SOUPS 3517 WITH SCORE 3560.135
AT ITER 4092 NEW BEST:: SOT 85872 SOS 43229 HAS SOPS 21655 HAS SOUS 10315 HAS SOUPS 3514 WITH SCORE 3557.229
AT ITER 4100 NEW BEST:: SOT 85876 SOS 43225 HAS SOPS 21657 HAS SOUS 10315 HAS SOUPS 3514 WITH SCORE 3557.225
AT ITER 4105 NEW BEST:: SOT 85876 SOS 43259 HAS SOPS 21675 HAS SOUS 10309 HAS SOUPS 3508 WITH SCORE 3551.259
AT ITER 4124 NEW BEST:: SOT 85873 SOS 43253 HAS SOPS 21669 HAS SOUS 10303 HAS SOUPS 3502 WITH SCORE 3545.253
AT ITER 4205 NEW BEST:: SOT 85863 SOS 43247 HAS SOPS 21669 HAS SOUS 10297 HAS SOUPS 3498 WITH SCORE 3541.247
AT ITER 4232 NEW BEST:: SOT 85857 SOS 43229 HAS SOPS 21669 HAS SOUS 10261 HAS SOUPS 3481 WITH SCORE 3524.229
AT ITER 4243 NEW BEST:: SOT 85855 SOS 43225 HAS SOPS 21665 HAS SOUS 10259 HAS SOUPS 3479 WITH SCORE 3522.225
AT ITER 4294 NEW BEST:: SOT 85851 SOS 43219 HAS SOPS 21663 HAS SOUS 10257 HAS SOUPS 3477 WITH SCORE 3520.219
AT ITER 4303 NEW BEST:: SOT 85801 SOS 43169 HAS SOPS 21623 HAS SOUS 10247 HAS SOUPS 3467 WITH SCORE 3510.169
AT ITER 4361 NEW BEST:: SOT 85676 SOS 42919 HAS SOPS 21623 HAS SOUS 10215 HAS SOUPS 3467 WITH SCORE 3509.919
AT ITER 4378 NEW BEST:: SOT 85545 SOS 42776 HAS SOPS 21542 HAS SOUS 10201 HAS SOUPS 3459 WITH SCORE 3501.776
AT ITER 4411 NEW BEST:: SOT 85598 SOS 42822 HAS SOPS 21576 HAS SOUS 10199 HAS SOUPS 3457 WITH SCORE 3499.822
AT ITER 4448 NEW BEST:: SOT 85553 SOS 42759 HAS SOPS 21558 HAS SOUS 10198 HAS SOUPS 3456 WITH SCORE 3498.759
AT ITER 4469 NEW BEST:: SOT 85470 SOS 42641 HAS SOPS 21552 HAS SOUS 10147 HAS SOUPS 3453 WITH SCORE 3495.641
AT ITER 4474 NEW BEST:: SOT 85407 SOS 42578 HAS SOPS 21516 HAS SOUS 10147 HAS SOUPS 3453 WITH SCORE 3495.578
AT ITER 4476 NEW BEST:: SOT 85385 SOS 42526 HAS SOPS 21494 HAS SOUS 10127 HAS SOUPS 3444 WITH SCORE 3486.526
AT ITER 4513 NEW BEST:: SOT 85375 SOS 42390 HAS SOPS 21386 HAS SOUS 10126 HAS SOUPS 3443 WITH SCORE 3485.39
AT ITER 4538 NEW BEST:: SOT 85423 SOS 42374 HAS SOPS 21450 HAS SOUS 10110 HAS SOUPS 3443 WITH SCORE 3485.374
AT ITER 4561 NEW BEST:: SOT 85294 SOS 42189 HAS SOPS 21378 HAS SOUS 10007 HAS SOUPS 3432 WITH SCORE 3474.189
AT ITER 4585 NEW BEST:: SOT 85288 SOS 42183 HAS SOPS 21370 HAS SOUS 10003 HAS SOUPS 3428 WITH SCORE 3470.183
AT ITER 4592 NEW BEST:: SOT 85373 SOS 42157 HAS SOPS 21268 HAS SOUS 10008 HAS SOUPS 3418 WITH SCORE 3460.157
AT ITER 4597 NEW BEST:: SOT 85363 SOS 42148 HAS SOPS 21258 HAS SOUS 10007 HAS SOUPS 3416 WITH SCORE 3458.148
AT ITER 4622 NEW BEST:: SOT 85356 SOS 42141 HAS SOPS 21254 HAS SOUS 9998 HAS SOUPS 3411 WITH SCORE 3453.141
AT ITER 4637 NEW BEST:: SOT 85272 SOS 42077 HAS SOPS 21190 HAS SOUS 10008 HAS SOUPS 3408 WITH SCORE 3450.077
AT ITER 4642 NEW BEST:: SOT 85268 SOS 42069 HAS SOPS 21190 HAS SOUS 10008 HAS SOUPS 3408 WITH SCORE 3450.069
AT ITER 4649 NEW BEST:: SOT 85286 SOS 42057 HAS SOPS 21138 HAS SOUS 10006 HAS SOUPS 3394 WITH SCORE 3436.057
AT ITER 4660 NEW BEST:: SOT 85236 SOS 42006 HAS SOPS 21096 HAS SOUS 9991 HAS SOUPS 3380 WITH SCORE 3422.006
AT ITER 4680 NEW BEST:: SOT 85194 SOS 41952 HAS SOPS 21066 HAS SOUS 9976 HAS SOUPS 3368 WITH SCORE 3409.952
AT ITER 4700 NEW BEST:: SOT 85183 SOS 41942 HAS SOPS 21050 HAS SOUS 9968 HAS SOUPS 3360 WITH SCORE 3401.942
AT ITER 4712 NEW BEST:: SOT 85111 SOS 41798 HAS SOPS 21050 HAS SOUS 9869 HAS SOUPS 3360 WITH SCORE 3401.798
AT ITER 4735 NEW BEST:: SOT 84660 SOS 41436 HAS SOPS 20760 HAS SOUS 9854 HAS SOUPS 3351 WITH SCORE 3392.436
AT ITER 4755 NEW BEST:: SOT 84664 SOS 41441 HAS SOPS 20760 HAS SOUS 9856 HAS SOUPS 3349 WITH SCORE 3390.441
AT ITER 4803 NEW BEST:: SOT 84657 SOS 41438 HAS SOPS 20724 HAS SOUS 9862 HAS SOUPS 3344 WITH SCORE 3385.438
AT ITER 4861 NEW BEST:: SOT 84659 SOS 41448 HAS SOPS 20734 HAS SOUS 9861 HAS SOUPS 3343 WITH SCORE 3384.448
AT ITER 4868 NEW BEST:: SOT 84673 SOS 41470 HAS SOPS 20744 HAS SOUS 9848 HAS SOUPS 3338 WITH SCORE 3379.47
AT ITER 4938 NEW BEST:: SOT 84652 SOS 41533 HAS SOPS 20734 HAS SOUS 9846 HAS SOUPS 3335 WITH SCORE 3376.533
AT ITER 4975 NEW BEST:: SOT 84662 SOS 41547 HAS SOPS 20738 HAS SOUS 9848 HAS SOUPS 3333 WITH SCORE 3374.547
AT ITER 4987 NEW BEST:: SOT 84682 SOS 41572 HAS SOPS 20738 HAS SOUS 9870 HAS SOUPS 3331 WITH SCORE 3372.572
AT ITER 4989 NEW BEST:: SOT 84679 SOS 41566 HAS SOPS 20732 HAS SOUS 9861 HAS SOUPS 3322 WITH SCORE 3363.566
AT ITER 4996 NEW BEST:: SOT 84579 SOS 41466 HAS SOPS 20632 HAS SOUS 9851 HAS SOUPS 3302 WITH SCORE 3343.466
AT ITER 5040 NEW BEST:: SOT 84583 SOS 41470 HAS SOPS 20616 HAS SOUS 9843 HAS SOUPS 3294 WITH SCORE 3335.47
AT ITER 5060 NEW BEST:: SOT 84506 SOS 41406 HAS SOPS 20552 HAS SOUS 9831 HAS SOUPS 3282 WITH SCORE 3323.406
AT ITER 5083 NEW BEST:: SOT 84491 SOS 41371 HAS SOPS 20542 HAS SOUS 9826 HAS SOUPS 3282 WITH SCORE 3323.371
AT ITER 5170 NEW BEST:: SOT 84489 SOS 41367 HAS SOPS 20542 HAS SOUS 9823 HAS SOUPS 3281 WITH SCORE 3322.367
AT ITER 5178 NEW BEST:: SOT 84576 SOS 41478 HAS SOPS 20544 HAS SOUS 9926 HAS SOUPS 3280 WITH SCORE 3321.478
AT ITER 5203 NEW BEST:: SOT 84640 SOS 41446 HAS SOPS 20460 HAS SOUS 9928 HAS SOUPS 3271 WITH SCORE 3312.446
AT ITER 5254 NEW BEST:: SOT 84650 SOS 41442 HAS SOPS 20440 HAS SOUS 9928 HAS SOUPS 3267 WITH SCORE 3308.442
AT ITER 5256 NEW BEST:: SOT 84658 SOS 41448 HAS SOPS 20444 HAS SOUS 9926 HAS SOUPS 3265 WITH SCORE 3306.448
AT ITER 5317 NEW BEST:: SOT 84640 SOS 41418 HAS SOPS 20420 HAS SOUS 9911 HAS SOUPS 3253 WITH SCORE 3294.418
AT ITER 5342 NEW BEST:: SOT 84512 SOS 41190 HAS SOPS 20332 HAS SOUS 9887 HAS SOUPS 3229 WITH SCORE 3270.19
AT ITER 5344 NEW BEST:: SOT 84511 SOS 41188 HAS SOPS 20330 HAS SOUS 9885 HAS SOUPS 3227 WITH SCORE 3268.188
AT ITER 5486 NEW BEST:: SOT 84485 SOS 41164 HAS SOPS 20334 HAS SOUS 9869 HAS SOUPS 3225 WITH SCORE 3266.164
AT ITER 5507 NEW BEST:: SOT 84528 SOS 41130 HAS SOPS 20246 HAS SOUS 9848 HAS SOUPS 3195 WITH SCORE 3236.13
AT ITER 5553 NEW BEST:: SOT 84580 SOS 41195 HAS SOPS 20246 HAS SOUS 9846 HAS SOUPS 3181 WITH SCORE 3222.195
AT ITER 5554 NEW BEST:: SOT 84585 SOS 41191 HAS SOPS 20238 HAS SOUS 9846 HAS SOUPS 3180 WITH SCORE 3221.191
AT ITER 5597 NEW BEST:: SOT 84582 SOS 41239 HAS SOPS 20236 HAS SOUS 9845 HAS SOUPS 3179 WITH SCORE 3220.239
AT ITER 5632 NEW BEST:: SOT 84567 SOS 41219 HAS SOPS 20206 HAS SOUS 9835 HAS SOUPS 3164 WITH SCORE 3205.219
AT ITER 5645 NEW BEST:: SOT 84586 SOS 41213 HAS SOPS 20184 HAS SOUS 9832 HAS SOUPS 3158 WITH SCORE 3199.213
AT ITER 5692 NEW BEST:: SOT 84466 SOS 41174 HAS SOPS 20052 HAS SOUS 9961 HAS SOUPS 3150 WITH SCORE 3191.174
AT ITER 5694 NEW BEST:: SOT 84420 SOS 41112 HAS SOPS 20040 HAS SOUS 9914 HAS SOUPS 3150 WITH SCORE 3191.112
AT ITER 5702 NEW BEST:: SOT 84242 SOS 40973 HAS SOPS 19916 HAS SOUS 9917 HAS SOUPS 3150 WITH SCORE 3190.973
AT ITER 5712 NEW BEST:: SOT 84236 SOS 40975 HAS SOPS 19908 HAS SOUS 9910 HAS SOUPS 3145 WITH SCORE 3185.975
AT ITER 5714 NEW BEST:: SOT 84184 SOS 40871 HAS SOPS 19908 HAS SOUS 9894 HAS SOUPS 3145 WITH SCORE 3185.871
AT ITER 5723 NEW BEST:: SOT 84118 SOS 40859 HAS SOPS 19896 HAS SOUS 9873 HAS SOUPS 3129 WITH SCORE 3169.859
AT ITER 5821 NEW BEST:: SOT 84184 SOS 40943 HAS SOPS 19900 HAS SOUS 9938 HAS SOUPS 3115 WITH SCORE 3155.943
AT ITER 5823 NEW BEST:: SOT 84196 SOS 40927 HAS SOPS 19870 HAS SOUS 9939 HAS SOUPS 3110 WITH SCORE 3150.927
AT ITER 5836 NEW BEST:: SOT 84193 SOS 40924 HAS SOPS 19870 HAS SOUS 9939 HAS SOUPS 3110 WITH SCORE 3150.924
AT ITER 5866 NEW BEST:: SOT 84264 SOS 41018 HAS SOPS 19884 HAS SOUS 10004 HAS SOUPS 3105 WITH SCORE 3146.018
AT ITER 5883 NEW BEST:: SOT 84418 SOS 41126 HAS SOPS 19992 HAS SOUS 9975 HAS SOUPS 3101 WITH SCORE 3142.126
AT ITER 5900 NEW BEST:: SOT 84450 SOS 41166 HAS SOPS 19992 HAS SOUS 9971 HAS SOUPS 3093 WITH SCORE 3134.166
AT ITER 5931 NEW BEST:: SOT 84422 SOS 41130 HAS SOPS 19968 HAS SOUS 9943 HAS SOUPS 3081 WITH SCORE 3122.13
AT ITER 5933 NEW BEST:: SOT 84410 SOS 41111 HAS SOPS 19959 HAS SOUS 9939 HAS SOUPS 3077 WITH SCORE 3118.111
AT ITER 5964 NEW BEST:: SOT 84290 SOS 41151 HAS SOPS 19799 HAS SOUS 10014 HAS SOUPS 3072 WITH SCORE 3113.151
AT ITER 6010 NEW BEST:: SOT 84290 SOS 41151 HAS SOPS 19785 HAS SOUS 10009 HAS SOUPS 3066 WITH SCORE 3107.151
AT ITER 6064 NEW BEST:: SOT 84331 SOS 41214 HAS SOPS 19753 HAS SOUS 10082 HAS SOUPS 3063 WITH SCORE 3104.214
AT ITER 6077 NEW BEST:: SOT 84329 SOS 41211 HAS SOPS 19752 HAS SOUS 10081 HAS SOUPS 3062 WITH SCORE 3103.211
AT ITER 6112 NEW BEST:: SOT 84341 SOS 41231 HAS SOPS 19776 HAS SOUS 10069 HAS SOUPS 3060 WITH SCORE 3101.231
AT ITER 6151 NEW BEST:: SOT 84243 SOS 41203 HAS SOPS 19680 HAS SOUS 10069 HAS SOUPS 3055 WITH SCORE 3096.203
AT ITER 6210 NEW BEST:: SOT 84242 SOS 41203 HAS SOPS 19678 HAS SOUS 10069 HAS SOUPS 3054 WITH SCORE 3095.203
AT ITER 6253 NEW BEST:: SOT 84242 SOS 41203 HAS SOPS 19678 HAS SOUS 10033 HAS SOUPS 3034 WITH SCORE 3075.203
AT ITER 6275 NEW BEST:: SOT 83955 SOS 41091 HAS SOPS 19398 HAS SOUS 10007 HAS SOUPS 2997 WITH SCORE 3038.091
AT ITER 6336 NEW BEST:: SOT 83955 SOS 41091 HAS SOPS 19398 HAS SOUS 9863 HAS SOUPS 2917 WITH SCORE 2958.091
AT ITER 6398 NEW BEST:: SOT 83947 SOS 41091 HAS SOPS 19402 HAS SOUS 9861 HAS SOUPS 2916 WITH SCORE 2957.091
AT ITER 6410 NEW BEST:: SOT 83931 SOS 41089 HAS SOPS 19410 HAS SOUS 9853 HAS SOUPS 2912 WITH SCORE 2953.089
AT ITER 6411 NEW BEST:: SOT 83945 SOS 41101 HAS SOPS 19406 HAS SOUS 9851 HAS SOUPS 2902 WITH SCORE 2943.101
AT ITER 6474 NEW BEST:: SOT 83943 SOS 41097 HAS SOPS 19406 HAS SOUS 9847 HAS SOUPS 2900 WITH SCORE 2941.097
AT ITER 6501 NEW BEST:: SOT 83929 SOS 41059 HAS SOPS 19366 HAS SOUS 9848 HAS SOUPS 2899 WITH SCORE 2940.059
AT ITER 6508 NEW BEST:: SOT 83893 SOS 41005 HAS SOPS 19330 HAS SOUS 9835 HAS SOUPS 2895 WITH SCORE 2936.005
AT ITER 6566 NEW BEST:: SOT 83875 SOS 40981 HAS SOPS 19300 HAS SOUS 9820 HAS SOUPS 2880 WITH SCORE 2920.981
AT ITER 6583 NEW BEST:: SOT 83874 SOS 40970 HAS SOPS 19286 HAS SOUS 9817 HAS SOUPS 2876 WITH SCORE 2916.97
AT ITER 6664 NEW BEST:: SOT 83923 SOS 41051 HAS SOPS 19282 HAS SOUS 9814 HAS SOUPS 2873 WITH SCORE 2914.051
AT ITER 6888 NEW BEST:: SOT 83915 SOS 41039 HAS SOPS 19270 HAS SOUS 9809 HAS SOUPS 2870 WITH SCORE 2911.039
AT ITER 6916 NEW BEST:: SOT 83905 SOS 41025 HAS SOPS 19266 HAS SOUS 9809 HAS SOUPS 2870 WITH SCORE 2911.025
AT ITER 6955 NEW BEST:: SOT 83706 SOS 40857 HAS SOPS 19144 HAS SOUS 9792 HAS SOUPS 2861 WITH SCORE 2901.857
AT ITER 7051 NEW BEST:: SOT 83829 SOS 40818 HAS SOPS 19308 HAS SOUS 9751 HAS SOUPS 2861 WITH SCORE 2901.818
AT ITER 7077 NEW BEST:: SOT 83825 SOS 40810 HAS SOPS 19308 HAS SOUS 9751 HAS SOUPS 2861 WITH SCORE 2901.81
AT ITER 7155 NEW BEST:: SOT 83583 SOS 40326 HAS SOPS 19308 HAS SOUS 9416 HAS SOUPS 2861 WITH SCORE 2901.326
AT ITER 7168 NEW BEST:: SOT 83567 SOS 40213 HAS SOPS 19194 HAS SOUS 9411 HAS SOUPS 2856 WITH SCORE 2896.213
AT ITER 7268 NEW BEST:: SOT 83595 SOS 40336 HAS SOPS 19249 HAS SOUS 9410 HAS SOUPS 2855 WITH SCORE 2895.336
AT ITER 7294 NEW BEST:: SOT 83621 SOS 40332 HAS SOPS 19281 HAS SOUS 9404 HAS SOUPS 2855 WITH SCORE 2895.332
AT ITER 7356 NEW BEST:: SOT 83385 SOS 40094 HAS SOPS 19047 HAS SOUS 9348 HAS SOUPS 2825 WITH SCORE 2865.094
AT ITER 7444 NEW BEST:: SOT 83382 SOS 40090 HAS SOPS 19043 HAS SOUS 9347 HAS SOUPS 2825 WITH SCORE 2865.09
AT ITER 7545 NEW BEST:: SOT 83472 SOS 40270 HAS SOPS 19043 HAS SOUS 9717 HAS SOUPS 2819 WITH SCORE 2859.27
AT ITER 7568 NEW BEST:: SOT 83468 SOS 40266 HAS SOPS 19035 HAS SOUS 9717 HAS SOUPS 2815 WITH SCORE 2855.266
AT ITER 7616 NEW BEST:: SOT 83460 SOS 40264 HAS SOPS 19039 HAS SOUS 9714 HAS SOUPS 2814 WITH SCORE 2854.264
AT ITER 7671 NEW BEST:: SOT 83533 SOS 40368 HAS SOPS 19045 HAS SOUS 9727 HAS SOUPS 2813 WITH SCORE 2853.368
AT ITER 7675 NEW BEST:: SOT 83532 SOS 40366 HAS SOPS 19043 HAS SOUS 9723 HAS SOUPS 2809 WITH SCORE 2849.366
AT ITER 7686 NEW BEST:: SOT 83497 SOS 40346 HAS SOPS 19023 HAS SOUS 9723 HAS SOUPS 2809 WITH SCORE 2849.346
AT ITER 7775 NEW BEST:: SOT 83341 SOS 40202 HAS SOPS 18927 HAS SOUS 9723 HAS SOUPS 2809 WITH SCORE 2849.202
AT ITER 7927 NEW BEST:: SOT 83501 SOS 40522 HAS SOPS 18927 HAS SOUS 9917 HAS SOUPS 2805 WITH SCORE 2845.522
AT ITER 7948 NEW BEST:: SOT 83503 SOS 40473 HAS SOPS 18893 HAS SOUS 9916 HAS SOUPS 2805 WITH SCORE 2845.473
AT ITER 7949 NEW BEST:: SOT 83503 SOS 40475 HAS SOPS 18891 HAS SOUS 9916 HAS SOUPS 2804 WITH SCORE 2844.475
AT ITER 7973 NEW BEST:: SOT 83496 SOS 40461 HAS SOPS 18883 HAS SOUS 9913 HAS SOUPS 2801 WITH SCORE 2841.461
AT ITER 8000 NEW BEST:: SOT 83480 SOS 40429 HAS SOPS 18883 HAS SOUS 9909 HAS SOUPS 2801 WITH SCORE 2841.429
AT ITER 8046 NEW BEST:: SOT 83489 SOS 40426 HAS SOPS 18895 HAS SOUS 9906 HAS SOUPS 2801 WITH SCORE 2841.426
AT ITER 8082 NEW BEST:: SOT 83488 SOS 40424 HAS SOPS 18893 HAS SOUS 9905 HAS SOUPS 2800 WITH SCORE 2840.424
AT ITER 8231 NEW BEST:: SOT 83503 SOS 40442 HAS SOPS 18899 HAS SOUS 9907 HAS SOUPS 2796 WITH SCORE 2836.442
AT ITER 8233 NEW BEST:: SOT 83503 SOS 40442 HAS SOPS 18899 HAS SOUS 9905 HAS SOUPS 2795 WITH SCORE 2835.442
AT ITER 8269 NEW BEST:: SOT 83580 SOS 40548 HAS SOPS 18907 HAS SOUS 9907 HAS SOUPS 2787 WITH SCORE 2827.548
AT ITER 8278 NEW BEST:: SOT 83439 SOS 40595 HAS SOPS 18719 HAS SOUS 9900 HAS SOUPS 2757 WITH SCORE 2797.595
AT ITER 8287 NEW BEST:: SOT 83314 SOS 40495 HAS SOPS 18649 HAS SOUS 9899 HAS SOUPS 2756 WITH SCORE 2796.495
AT ITER 8334 NEW BEST:: SOT 83316 SOS 40479 HAS SOPS 18653 HAS SOUS 9893 HAS SOUPS 2756 WITH SCORE 2796.479
AT ITER 8455 NEW BEST:: SOT 83351 SOS 40494 HAS SOPS 18623 HAS SOUS 9900 HAS SOUPS 2753 WITH SCORE 2793.494
AT ITER 8671 NEW BEST:: SOT 83351 SOS 40494 HAS SOPS 18623 HAS SOUS 9898 HAS SOUPS 2751 WITH SCORE 2791.494
AT ITER 8830 NEW BEST:: SOT 83350 SOS 40492 HAS SOPS 18623 HAS SOUS 9757 HAS SOUPS 2751 WITH SCORE 2791.492
AT ITER 8866 NEW BEST:: SOT 83302 SOS 40380 HAS SOPS 18591 HAS SOUS 9741 HAS SOUPS 2751 WITH SCORE 2791.38
AT ITER 8902 NEW BEST:: SOT 83303 SOS 40382 HAS SOPS 18593 HAS SOUS 9740 HAS SOUPS 2750 WITH SCORE 2790.382
AT ITER 8957 NEW BEST:: SOT 83267 SOS 40285 HAS SOPS 18491 HAS SOUS 9744 HAS SOUPS 2749 WITH SCORE 2789.285
AT ITER 8972 NEW BEST:: SOT 83268 SOS 40284 HAS SOPS 18493 HAS SOUS 9744 HAS SOUPS 2749 WITH SCORE 2789.284
AT ITER 9056 NEW BEST:: SOT 83253 SOS 40278 HAS SOPS 18503 HAS SOUS 9737 HAS SOUPS 2746 WITH SCORE 2786.278
AT ITER 9065 NEW BEST:: SOT 83203 SOS 40214 HAS SOPS 18483 HAS SOUS 9712 HAS SOUPS 2730 WITH SCORE 2770.214
AT ITER 9105 NEW BEST:: SOT 83200 SOS 40208 HAS SOPS 18481 HAS SOUS 9709 HAS SOUPS 2729 WITH SCORE 2769.208
AT ITER 9129 NEW BEST:: SOT 83130 SOS 40072 HAS SOPS 18432 HAS SOUS 9706 HAS SOUPS 2726 WITH SCORE 2766.072
AT ITER 9221 NEW BEST:: SOT 83130 SOS 40078 HAS SOPS 18424 HAS SOUS 9705 HAS SOUPS 2721 WITH SCORE 2761.078
AT ITER 9321 NEW BEST:: SOT 83064 SOS 40100 HAS SOPS 18336 HAS SOUS 9700 HAS SOUPS 2706 WITH SCORE 2746.1
AT ITER 9336 NEW BEST:: SOT 83034 SOS 40040 HAS SOPS 18336 HAS SOUS 9695 HAS SOUPS 2706 WITH SCORE 2746.04
AT ITER 9339 NEW BEST:: SOT 83034 SOS 40168 HAS SOPS 18464 HAS SOUS 9694 HAS SOUPS 2705 WITH SCORE 2745.168
AT ITER 9444 NEW BEST:: SOT 83031 SOS 40160 HAS SOPS 18450 HAS SOUS 9695 HAS SOUPS 2704 WITH SCORE 2744.16
AT ITER 9560 NEW BEST:: SOT 83037 SOS 40164 HAS SOPS 18454 HAS SOUS 9692 HAS SOUPS 2699 WITH SCORE 2739.164
AT ITER 9562 NEW BEST:: SOT 83031 SOS 40155 HAS SOPS 18450 HAS SOUS 9685 HAS SOUPS 2697 WITH SCORE 2737.155
AT ITER 9579 NEW BEST:: SOT 83009 SOS 40153 HAS SOPS 18466 HAS SOUS 9678 HAS SOUPS 2696 WITH SCORE 2736.153
AT ITER 9626 NEW BEST:: SOT 82989 SOS 40133 HAS SOPS 18450 HAS SOUS 9674 HAS SOUPS 2692 WITH SCORE 2732.133
AT ITER 9735 NEW BEST:: SOT 82985 SOS 40125 HAS SOPS 18442 HAS SOUS 9670 HAS SOUPS 2688 WITH SCORE 2728.125
AT ITER 9876 NEW BEST:: SOT 82983 SOS 40127 HAS SOPS 18438 HAS SOUS 9671 HAS SOUPS 2686 WITH SCORE 2726.127
AT ITER 9947 NEW BEST:: SOT 82983 SOS 40127 HAS SOPS 18430 HAS SOUS 9669 HAS SOUPS 2680 WITH SCORE 2720.127
STATE_SPACE STATES 474756150994301 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 79 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50961681693873861 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678264695411

--------------------
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="DLCshifumi-PT-2a"
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 DLCshifumi-PT-2a, 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 r099-tall-167814472900800"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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