Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961355000640.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is PolyORBNT-PT-S05J20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961355000640
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.9M
-rw-r--r-- 1 mcc users 5.5K Apr 12 05:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 12 05:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Apr 11 05:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 34K Apr 11 05:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.2K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 37K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 34K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 100K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.9K Apr 10 12:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 10 12:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Apr 9 18:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 32K Apr 9 18:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 7.1K Apr 10 22:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 14K Apr 10 22:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.6M Mar 24 05:37 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 1589646264230

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBNT (PT), instance S05J20
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 349 places, 1210 transitions, 8824 arcs.
AT ITER 0 NEW BEST:: SOT 302756 SOS 140340 HAS SOPS 140340 HAS SOUS 57192 HAS SOUPS 57192 WITH SCORE 57332.34
AT ITER 4 NEW BEST:: SOT 299255 SOS 136897 HAS SOPS 136897 HAS SOUS 53749 HAS SOUPS 53749 WITH SCORE 53885.897
AT ITER 22 NEW BEST:: SOT 298651 SOS 145342 HAS SOPS 145342 HAS SOUS 53462 HAS SOUPS 53462 WITH SCORE 53607.342
AT ITER 25 NEW BEST:: SOT 298651 SOS 145342 HAS SOPS 145342 HAS SOUS 53362 HAS SOUPS 53362 WITH SCORE 53507.342
AT ITER 44 NEW BEST:: SOT 298562 SOS 145253 HAS SOPS 145253 HAS SOUS 53273 HAS SOUPS 53273 WITH SCORE 53418.253
AT ITER 61 NEW BEST:: SOT 298540 SOS 145231 HAS SOPS 145231 HAS SOUS 53251 HAS SOUPS 53251 WITH SCORE 53396.231
AT ITER 62 NEW BEST:: SOT 298530 SOS 145243 HAS SOPS 145243 HAS SOUS 53250 HAS SOUPS 53250 WITH SCORE 53395.243
AT ITER 68 NEW BEST:: SOT 298494 SOS 145171 HAS SOPS 145171 HAS SOUS 52929 HAS SOUPS 52929 WITH SCORE 53074.171
AT ITER 73 NEW BEST:: SOT 298502 SOS 145320 HAS SOPS 145320 HAS SOUS 52884 HAS SOUPS 52884 WITH SCORE 53029.32
AT ITER 74 NEW BEST:: SOT 298542 SOS 145360 HAS SOPS 145360 HAS SOUS 52804 HAS SOUPS 52804 WITH SCORE 52949.36
AT ITER 87 NEW BEST:: SOT 298514 SOS 145332 HAS SOPS 145332 HAS SOUS 52776 HAS SOUPS 52776 WITH SCORE 52921.332
AT ITER 94 NEW BEST:: SOT 298492 SOS 145358 HAS SOPS 145358 HAS SOUS 52732 HAS SOUPS 52732 WITH SCORE 52877.358
AT ITER 109 NEW BEST:: SOT 298376 SOS 145242 HAS SOPS 145242 HAS SOUS 52616 HAS SOUPS 52616 WITH SCORE 52761.242
AT ITER 127 NEW BEST:: SOT 298376 SOS 145141 HAS SOPS 145141 HAS SOUS 52598 HAS SOUPS 52598 WITH SCORE 52743.141
AT ITER 128 NEW BEST:: SOT 298272 SOS 145039 HAS SOPS 145039 HAS SOUS 52494 HAS SOUPS 52494 WITH SCORE 52639.039
AT ITER 129 NEW BEST:: SOT 298281 SOS 146309 HAS SOPS 146309 HAS SOUS 52489 HAS SOUPS 52489 WITH SCORE 52635.309
AT ITER 141 NEW BEST:: SOT 298193 SOS 146871 HAS SOPS 146871 HAS SOUS 52449 HAS SOUPS 52449 WITH SCORE 52595.871
AT ITER 148 NEW BEST:: SOT 298162 SOS 146835 HAS SOPS 146835 HAS SOUS 52338 HAS SOUPS 52338 WITH SCORE 52484.835
AT ITER 153 NEW BEST:: SOT 298008 SOS 146640 HAS SOPS 146640 HAS SOUS 51874 HAS SOUPS 51874 WITH SCORE 52020.64
AT ITER 161 NEW BEST:: SOT 297906 SOS 146538 HAS SOPS 146538 HAS SOUS 51772 HAS SOUPS 51772 WITH SCORE 51918.538
AT ITER 166 NEW BEST:: SOT 297906 SOS 146528 HAS SOPS 146528 HAS SOUS 51772 HAS SOUPS 51772 WITH SCORE 51918.528
AT ITER 170 NEW BEST:: SOT 297888 SOS 146505 HAS SOPS 146505 HAS SOUS 51729 HAS SOUPS 51729 WITH SCORE 51875.505
AT ITER 183 NEW BEST:: SOT 297888 SOS 146494 HAS SOPS 146494 HAS SOUS 51665 HAS SOUPS 51665 WITH SCORE 51811.494
AT ITER 187 NEW BEST:: SOT 297845 SOS 146570 HAS SOPS 146570 HAS SOUS 51653 HAS SOUPS 51653 WITH SCORE 51799.57
AT ITER 200 NEW BEST:: SOT 297792 SOS 146476 HAS SOPS 146476 HAS SOUS 51130 HAS SOUPS 51130 WITH SCORE 51276.476
AT ITER 211 NEW BEST:: SOT 297792 SOS 146466 HAS SOPS 146466 HAS SOUS 51079 HAS SOUPS 51079 WITH SCORE 51225.466
AT ITER 217 NEW BEST:: SOT 297767 SOS 146437 HAS SOPS 146437 HAS SOUS 51034 HAS SOUPS 51034 WITH SCORE 51180.437
AT ITER 221 NEW BEST:: SOT 297851 SOS 146480 HAS SOPS 146480 HAS SOUS 50824 HAS SOUPS 50824 WITH SCORE 50970.48
AT ITER 222 NEW BEST:: SOT 297747 SOS 146335 HAS SOPS 146335 HAS SOUS 50410 HAS SOUPS 50410 WITH SCORE 50556.335
AT ITER 224 NEW BEST:: SOT 297376 SOS 146018 HAS SOPS 146018 HAS SOUS 50039 HAS SOUPS 50039 WITH SCORE 50185.018
AT ITER 228 NEW BEST:: SOT 297374 SOS 146018 HAS SOPS 146018 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50181.018
AT ITER 234 NEW BEST:: SOT 297374 SOS 145965 HAS SOPS 145965 HAS SOUS 49941 HAS SOUPS 49941 WITH SCORE 50086.965
AT ITER 235 NEW BEST:: SOT 297349 SOS 145940 HAS SOPS 145940 HAS SOUS 49916 HAS SOUPS 49916 WITH SCORE 50061.94
AT ITER 239 NEW BEST:: SOT 297346 SOS 145969 HAS SOPS 145969 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 50042.969
AT ITER 254 NEW BEST:: SOT 297389 SOS 145971 HAS SOPS 145971 HAS SOUS 49710 HAS SOUPS 49710 WITH SCORE 49855.971
AT ITER 276 NEW BEST:: SOT 297356 SOS 145938 HAS SOPS 145938 HAS SOUS 49685 HAS SOUPS 49685 WITH SCORE 49830.938
AT ITER 284 NEW BEST:: SOT 297270 SOS 145840 HAS SOPS 145840 HAS SOUS 49539 HAS SOUPS 49539 WITH SCORE 49684.84
AT ITER 297 NEW BEST:: SOT 297269 SOS 145859 HAS SOPS 145859 HAS SOUS 49351 HAS SOUPS 49351 WITH SCORE 49496.859
AT ITER 309 NEW BEST:: SOT 297226 SOS 145695 HAS SOPS 145695 HAS SOUS 49265 HAS SOUPS 49265 WITH SCORE 49410.695
AT ITER 316 NEW BEST:: SOT 297226 SOS 145685 HAS SOPS 145685 HAS SOUS 49171 HAS SOUPS 49171 WITH SCORE 49316.685
AT ITER 325 NEW BEST:: SOT 216806 SOS 94814 HAS SOPS 94814 HAS SOUS 39274 HAS SOUPS 39274 WITH SCORE 39368.814
AT ITER 330 NEW BEST:: SOT 216806 SOS 94773 HAS SOPS 94773 HAS SOUS 39145 HAS SOUPS 39145 WITH SCORE 39239.773
AT ITER 331 NEW BEST:: SOT 216778 SOS 94703 HAS SOPS 94703 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39211.703
AT ITER 332 NEW BEST:: SOT 216735 SOS 94660 HAS SOPS 94660 HAS SOUS 39074 HAS SOUPS 39074 WITH SCORE 39168.66
AT ITER 342 NEW BEST:: SOT 216691 SOS 94638 HAS SOPS 94638 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39146.638
AT ITER 352 NEW BEST:: SOT 216684 SOS 94631 HAS SOPS 94631 HAS SOUS 39045 HAS SOUPS 39045 WITH SCORE 39139.631
AT ITER 353 NEW BEST:: SOT 216711 SOS 96155 HAS SOPS 96155 HAS SOUS 39013 HAS SOUPS 39013 WITH SCORE 39109.155
AT ITER 354 NEW BEST:: SOT 216711 SOS 96155 HAS SOPS 96155 HAS SOUS 38973 HAS SOUPS 38973 WITH SCORE 39069.155
AT ITER 355 NEW BEST:: SOT 216696 SOS 96140 HAS SOPS 96140 HAS SOUS 38958 HAS SOUPS 38958 WITH SCORE 39054.14
AT ITER 356 NEW BEST:: SOT 216844 SOS 96288 HAS SOPS 96288 HAS SOUS 38900 HAS SOUPS 38900 WITH SCORE 38996.288
AT ITER 359 NEW BEST:: SOT 216844 SOS 96288 HAS SOPS 96288 HAS SOUS 38878 HAS SOUPS 38878 WITH SCORE 38974.288
AT ITER 361 NEW BEST:: SOT 216842 SOS 96286 HAS SOPS 96286 HAS SOUS 38876 HAS SOUPS 38876 WITH SCORE 38972.286
AT ITER 364 NEW BEST:: SOT 216860 SOS 96304 HAS SOPS 96304 HAS SOUS 38796 HAS SOUPS 38796 WITH SCORE 38892.304
AT ITER 366 NEW BEST:: SOT 216768 SOS 96365 HAS SOPS 96365 HAS SOUS 38783 HAS SOUPS 38783 WITH SCORE 38879.365
AT ITER 368 NEW BEST:: SOT 216768 SOS 96353 HAS SOPS 96353 HAS SOUS 38780 HAS SOUPS 38780 WITH SCORE 38876.353
AT ITER 369 NEW BEST:: SOT 216901 SOS 96486 HAS SOPS 96486 HAS SOUS 38623 HAS SOUPS 38623 WITH SCORE 38719.486
AT ITER 376 NEW BEST:: SOT 216929 SOS 96514 HAS SOPS 96514 HAS SOUS 38611 HAS SOUPS 38611 WITH SCORE 38707.514
AT ITER 385 NEW BEST:: SOT 216922 SOS 96507 HAS SOPS 96507 HAS SOUS 38604 HAS SOUPS 38604 WITH SCORE 38700.507
AT ITER 394 NEW BEST:: SOT 216922 SOS 96507 HAS SOPS 96507 HAS SOUS 38594 HAS SOUPS 38594 WITH SCORE 38690.507
AT ITER 400 NEW BEST:: SOT 216892 SOS 96477 HAS SOPS 96477 HAS SOUS 38564 HAS SOUPS 38564 WITH SCORE 38660.477
AT ITER 402 NEW BEST:: SOT 216886 SOS 96471 HAS SOPS 96471 HAS SOUS 38558 HAS SOUPS 38558 WITH SCORE 38654.471
AT ITER 404 NEW BEST:: SOT 216942 SOS 96527 HAS SOPS 96527 HAS SOUS 38376 HAS SOUPS 38376 WITH SCORE 38472.527
AT ITER 426 NEW BEST:: SOT 216946 SOS 96483 HAS SOPS 96483 HAS SOUS 38364 HAS SOUPS 38364 WITH SCORE 38460.483
AT ITER 428 NEW BEST:: SOT 216905 SOS 96442 HAS SOPS 96442 HAS SOUS 38195 HAS SOUPS 38195 WITH SCORE 38291.442
AT ITER 433 NEW BEST:: SOT 216875 SOS 96412 HAS SOPS 96412 HAS SOUS 38165 HAS SOUPS 38165 WITH SCORE 38261.412
AT ITER 434 NEW BEST:: SOT 216875 SOS 96412 HAS SOPS 96412 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38231.412
AT ITER 436 NEW BEST:: SOT 216869 SOS 96406 HAS SOPS 96406 HAS SOUS 38123 HAS SOUPS 38123 WITH SCORE 38219.406
AT ITER 455 NEW BEST:: SOT 216841 SOS 96378 HAS SOPS 96378 HAS SOUS 38095 HAS SOUPS 38095 WITH SCORE 38191.378
AT ITER 457 NEW BEST:: SOT 216841 SOS 96377 HAS SOPS 96377 HAS SOUS 38095 HAS SOUPS 38095 WITH SCORE 38191.377
AT ITER 466 NEW BEST:: SOT 216796 SOS 96257 HAS SOPS 96257 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38131.257
AT ITER 467 NEW BEST:: SOT 216737 SOS 96198 HAS SOPS 96198 HAS SOUS 37976 HAS SOUPS 37976 WITH SCORE 38072.198
AT ITER 470 NEW BEST:: SOT 216729 SOS 96178 HAS SOPS 96178 HAS SOUS 37968 HAS SOUPS 37968 WITH SCORE 38064.178
AT ITER 477 NEW BEST:: SOT 216723 SOS 96160 HAS SOPS 96160 HAS SOUS 37956 HAS SOUPS 37956 WITH SCORE 38052.16
AT ITER 478 NEW BEST:: SOT 216723 SOS 96094 HAS SOPS 96094 HAS SOUS 37887 HAS SOUPS 37887 WITH SCORE 37983.094
AT ITER 484 NEW BEST:: SOT 216773 SOS 96144 HAS SOPS 96144 HAS SOUS 37754 HAS SOUPS 37754 WITH SCORE 37850.144
AT ITER 492 NEW BEST:: SOT 216773 SOS 96144 HAS SOPS 96144 HAS SOUS 37714 HAS SOUPS 37714 WITH SCORE 37810.144
AT ITER 499 NEW BEST:: SOT 216773 SOS 96144 HAS SOPS 96144 HAS SOUS 37677 HAS SOUPS 37677 WITH SCORE 37773.144
AT ITER 504 NEW BEST:: SOT 216722 SOS 96093 HAS SOPS 96093 HAS SOUS 37626 HAS SOUPS 37626 WITH SCORE 37722.093
AT ITER 510 NEW BEST:: SOT 216745 SOS 96116 HAS SOPS 96116 HAS SOUS 37517 HAS SOUPS 37517 WITH SCORE 37613.116
AT ITER 517 NEW BEST:: SOT 216747 SOS 96118 HAS SOPS 96118 HAS SOUS 37481 HAS SOUPS 37481 WITH SCORE 37577.118
AT ITER 519 NEW BEST:: SOT 216781 SOS 96152 HAS SOPS 96152 HAS SOUS 37439 HAS SOUPS 37439 WITH SCORE 37535.152
AT ITER 526 NEW BEST:: SOT 216777 SOS 96148 HAS SOPS 96148 HAS SOUS 37435 HAS SOUPS 37435 WITH SCORE 37531.148
AT ITER 538 NEW BEST:: SOT 216776 SOS 96147 HAS SOPS 96147 HAS SOUS 37430 HAS SOUPS 37430 WITH SCORE 37526.147
AT ITER 542 NEW BEST:: SOT 216770 SOS 96136 HAS SOPS 96136 HAS SOUS 37418 HAS SOUPS 37418 WITH SCORE 37514.136
AT ITER 554 NEW BEST:: SOT 216742 SOS 96108 HAS SOPS 96108 HAS SOUS 37346 HAS SOUPS 37346 WITH SCORE 37442.108
AT ITER 563 NEW BEST:: SOT 216714 SOS 96066 HAS SOPS 96066 HAS SOUS 37290 HAS SOUPS 37290 WITH SCORE 37386.066
AT ITER 570 NEW BEST:: SOT 216800 SOS 96152 HAS SOPS 96152 HAS SOUS 37282 HAS SOUPS 37282 WITH SCORE 37378.152
AT ITER 582 NEW BEST:: SOT 216799 SOS 96151 HAS SOPS 96151 HAS SOUS 37281 HAS SOUPS 37281 WITH SCORE 37377.151
AT ITER 588 NEW BEST:: SOT 216817 SOS 96169 HAS SOPS 96169 HAS SOUS 37230 HAS SOUPS 37230 WITH SCORE 37326.169
AT ITER 608 NEW BEST:: SOT 216676 SOS 96028 HAS SOPS 96028 HAS SOUS 36749 HAS SOUPS 36749 WITH SCORE 36845.028
AT ITER 647 NEW BEST:: SOT 216606 SOS 95958 HAS SOPS 95958 HAS SOUS 36558 HAS SOUPS 36558 WITH SCORE 36653.958
AT ITER 656 NEW BEST:: SOT 216579 SOS 95931 HAS SOPS 95931 HAS SOUS 36531 HAS SOUPS 36531 WITH SCORE 36626.931
AT ITER 670 NEW BEST:: SOT 216589 SOS 95941 HAS SOPS 95941 HAS SOUS 36515 HAS SOUPS 36515 WITH SCORE 36610.941
AT ITER 672 NEW BEST:: SOT 216508 SOS 95860 HAS SOPS 95860 HAS SOUS 36124 HAS SOUPS 36124 WITH SCORE 36219.86
AT ITER 676 NEW BEST:: SOT 216501 SOS 95843 HAS SOPS 95843 HAS SOUS 36107 HAS SOUPS 36107 WITH SCORE 36202.843
AT ITER 698 NEW BEST:: SOT 216494 SOS 95836 HAS SOPS 95836 HAS SOUS 36100 HAS SOUPS 36100 WITH SCORE 36195.836
AT ITER 700 NEW BEST:: SOT 216395 SOS 95737 HAS SOPS 95737 HAS SOUS 36001 HAS SOUPS 36001 WITH SCORE 36096.737
AT ITER 718 NEW BEST:: SOT 216395 SOS 95698 HAS SOPS 95698 HAS SOUS 35938 HAS SOUPS 35938 WITH SCORE 36033.698
AT ITER 720 NEW BEST:: SOT 216271 SOS 95574 HAS SOPS 95574 HAS SOUS 35678 HAS SOUPS 35678 WITH SCORE 35773.574
AT ITER 750 NEW BEST:: SOT 216244 SOS 95520 HAS SOPS 95520 HAS SOUS 35624 HAS SOUPS 35624 WITH SCORE 35719.52
AT ITER 752 NEW BEST:: SOT 216226 SOS 95502 HAS SOPS 95502 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35673.502
AT ITER 761 NEW BEST:: SOT 216262 SOS 95538 HAS SOPS 95538 HAS SOUS 35556 HAS SOUPS 35556 WITH SCORE 35651.538
AT ITER 778 NEW BEST:: SOT 216261 SOS 95474 HAS SOPS 95474 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35629.474
AT ITER 789 NEW BEST:: SOT 216261 SOS 95486 HAS SOPS 95486 HAS SOUS 35525 HAS SOUPS 35525 WITH SCORE 35620.486
AT ITER 790 NEW BEST:: SOT 216221 SOS 95446 HAS SOPS 95446 HAS SOUS 35485 HAS SOUPS 35485 WITH SCORE 35580.446
AT ITER 814 NEW BEST:: SOT 216151 SOS 95376 HAS SOPS 95376 HAS SOUS 35285 HAS SOUPS 35285 WITH SCORE 35380.376
AT ITER 816 NEW BEST:: SOT 216148 SOS 95373 HAS SOPS 95373 HAS SOUS 35273 HAS SOUPS 35273 WITH SCORE 35368.373
AT ITER 821 NEW BEST:: SOT 216140 SOS 95365 HAS SOPS 95365 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35360.365
AT ITER 833 NEW BEST:: SOT 216102 SOS 95404 HAS SOPS 95404 HAS SOUS 35263 HAS SOUPS 35263 WITH SCORE 35358.404
AT ITER 834 NEW BEST:: SOT 216102 SOS 95397 HAS SOPS 95397 HAS SOUS 35242 HAS SOUPS 35242 WITH SCORE 35337.397
AT ITER 837 NEW BEST:: SOT 216098 SOS 95393 HAS SOPS 95393 HAS SOUS 35238 HAS SOUPS 35238 WITH SCORE 35333.393
AT ITER 854 NEW BEST:: SOT 216107 SOS 95402 HAS SOPS 95402 HAS SOUS 35207 HAS SOUPS 35207 WITH SCORE 35302.402
AT ITER 855 NEW BEST:: SOT 216107 SOS 95402 HAS SOPS 95402 HAS SOUS 35181 HAS SOUPS 35181 WITH SCORE 35276.402
AT ITER 860 NEW BEST:: SOT 216107 SOS 95353 HAS SOPS 95353 HAS SOUS 35157 HAS SOUPS 35157 WITH SCORE 35252.353
AT ITER 875 NEW BEST:: SOT 216076 SOS 95322 HAS SOPS 95322 HAS SOUS 34753 HAS SOUPS 34753 WITH SCORE 34848.322
AT ITER 878 NEW BEST:: SOT 216076 SOS 95322 HAS SOPS 95322 HAS SOUS 34735 HAS SOUPS 34735 WITH SCORE 34830.322
AT ITER 902 NEW BEST:: SOT 216234 SOS 95480 HAS SOPS 95480 HAS SOUS 34733 HAS SOUPS 34733 WITH SCORE 34828.48
AT ITER 907 NEW BEST:: SOT 216234 SOS 95480 HAS SOPS 95480 HAS SOUS 34709 HAS SOUPS 34709 WITH SCORE 34804.48
AT ITER 924 NEW BEST:: SOT 216213 SOS 95459 HAS SOPS 95459 HAS SOUS 34688 HAS SOUPS 34688 WITH SCORE 34783.459
AT ITER 929 NEW BEST:: SOT 216187 SOS 95433 HAS SOPS 95433 HAS SOUS 34647 HAS SOUPS 34647 WITH SCORE 34742.433
AT ITER 946 NEW BEST:: SOT 216170 SOS 95540 HAS SOPS 95540 HAS SOUS 34613 HAS SOUPS 34613 WITH SCORE 34708.54
AT ITER 949 NEW BEST:: SOT 216161 SOS 95531 HAS SOPS 95531 HAS SOUS 34604 HAS SOUPS 34604 WITH SCORE 34699.531
AT ITER 954 NEW BEST:: SOT 216217 SOS 95587 HAS SOPS 95587 HAS SOUS 34595 HAS SOUPS 34595 WITH SCORE 34690.587
AT ITER 959 NEW BEST:: SOT 216235 SOS 95605 HAS SOPS 95605 HAS SOUS 34534 HAS SOUPS 34534 WITH SCORE 34629.605
AT ITER 963 NEW BEST:: SOT 216263 SOS 95596 HAS SOPS 95596 HAS SOUS 34514 HAS SOUPS 34514 WITH SCORE 34609.596
AT ITER 968 NEW BEST:: SOT 216263 SOS 95596 HAS SOPS 95596 HAS SOUS 34498 HAS SOUPS 34498 WITH SCORE 34593.596
AT ITER 969 NEW BEST:: SOT 216264 SOS 95597 HAS SOPS 95597 HAS SOUS 34472 HAS SOUPS 34472 WITH SCORE 34567.597
AT ITER 970 NEW BEST:: SOT 216264 SOS 95597 HAS SOPS 95597 HAS SOUS 34467 HAS SOUPS 34467 WITH SCORE 34562.597
AT ITER 980 NEW BEST:: SOT 216264 SOS 95593 HAS SOPS 95593 HAS SOUS 34463 HAS SOUPS 34463 WITH SCORE 34558.593
AT ITER 985 NEW BEST:: SOT 216240 SOS 95659 HAS SOPS 95659 HAS SOUS 34461 HAS SOUPS 34461 WITH SCORE 34556.659
AT ITER 993 NEW BEST:: SOT 216133 SOS 95552 HAS SOPS 95552 HAS SOUS 34289 HAS SOUPS 34289 WITH SCORE 34384.552
AT ITER 995 NEW BEST:: SOT 216132 SOS 95551 HAS SOPS 95551 HAS SOUS 34288 HAS SOUPS 34288 WITH SCORE 34383.551
AT ITER 997 NEW BEST:: SOT 216132 SOS 95551 HAS SOPS 95551 HAS SOUS 34270 HAS SOUPS 34270 WITH SCORE 34365.551
AT ITER 1005 NEW BEST:: SOT 216189 SOS 95608 HAS SOPS 95608 HAS SOUS 33927 HAS SOUPS 33927 WITH SCORE 34022.608
AT ITER 1021 NEW BEST:: SOT 216127 SOS 95549 HAS SOPS 95549 HAS SOUS 33782 HAS SOUPS 33782 WITH SCORE 33877.549
AT ITER 1028 NEW BEST:: SOT 216118 SOS 95540 HAS SOPS 95540 HAS SOUS 33728 HAS SOUPS 33728 WITH SCORE 33823.54
AT ITER 1032 NEW BEST:: SOT 216118 SOS 95540 HAS SOPS 95540 HAS SOUS 33691 HAS SOUPS 33691 WITH SCORE 33786.54
AT ITER 1036 NEW BEST:: SOT 216033 SOS 95451 HAS SOPS 95426 HAS SOUS 33582 HAS SOUPS 33577 WITH SCORE 33672.451
AT ITER 1052 NEW BEST:: SOT 216027 SOS 95457 HAS SOPS 95432 HAS SOUS 33576 HAS SOUPS 33571 WITH SCORE 33666.457
AT ITER 1058 NEW BEST:: SOT 216024 SOS 95454 HAS SOPS 95429 HAS SOUS 33573 HAS SOUPS 33568 WITH SCORE 33663.454
AT ITER 1066 NEW BEST:: SOT 216003 SOS 95292 HAS SOPS 95267 HAS SOUS 33480 HAS SOUPS 33475 WITH SCORE 33570.292
AT ITER 1067 NEW BEST:: SOT 216003 SOS 95236 HAS SOPS 95211 HAS SOUS 33480 HAS SOUPS 33475 WITH SCORE 33570.236
AT ITER 1075 NEW BEST:: SOT 216044 SOS 95277 HAS SOPS 95252 HAS SOUS 33336 HAS SOUPS 33331 WITH SCORE 33426.277
AT ITER 1081 NEW BEST:: SOT 216011 SOS 95283 HAS SOPS 95258 HAS SOUS 33315 HAS SOUPS 33310 WITH SCORE 33405.283
AT ITER 1088 NEW BEST:: SOT 215949 SOS 95221 HAS SOPS 95196 HAS SOUS 33202 HAS SOUPS 33197 WITH SCORE 33292.221
AT ITER 1094 NEW BEST:: SOT 215902 SOS 95202 HAS SOPS 95177 HAS SOUS 33136 HAS SOUPS 33131 WITH SCORE 33226.202
AT ITER 1098 NEW BEST:: SOT 215850 SOS 82270 HAS SOPS 82245 HAS SOUS 33000 HAS SOUPS 32995 WITH SCORE 33077.27
AT ITER 1102 NEW BEST:: SOT 215477 SOS 81897 HAS SOPS 81872 HAS SOUS 32627 HAS SOUPS 32622 WITH SCORE 32703.897
AT ITER 1103 NEW BEST:: SOT 215521 SOS 81941 HAS SOPS 81916 HAS SOUS 32571 HAS SOUPS 32566 WITH SCORE 32647.941
AT ITER 1115 NEW BEST:: SOT 215510 SOS 81919 HAS SOPS 81894 HAS SOUS 32558 HAS SOUPS 32553 WITH SCORE 32634.919
AT ITER 1122 NEW BEST:: SOT 215495 SOS 81904 HAS SOPS 81879 HAS SOUS 32461 HAS SOUPS 32456 WITH SCORE 32537.904
AT ITER 1126 NEW BEST:: SOT 215478 SOS 81887 HAS SOPS 81862 HAS SOUS 32416 HAS SOUPS 32411 WITH SCORE 32492.887
AT ITER 1129 NEW BEST:: SOT 215474 SOS 81889 HAS SOPS 81864 HAS SOUS 32414 HAS SOUPS 32409 WITH SCORE 32490.889
AT ITER 1131 NEW BEST:: SOT 215472 SOS 81888 HAS SOPS 81863 HAS SOUS 32413 HAS SOUPS 32408 WITH SCORE 32489.888
AT ITER 1162 NEW BEST:: SOT 215468 SOS 81644 HAS SOPS 81619 HAS SOUS 32373 HAS SOUPS 32368 WITH SCORE 32449.644
AT ITER 1174 NEW BEST:: SOT 215435 SOS 81611 HAS SOPS 81586 HAS SOUS 32340 HAS SOUPS 32335 WITH SCORE 32416.611
AT ITER 1180 NEW BEST:: SOT 215435 SOS 81611 HAS SOPS 81586 HAS SOUS 32339 HAS SOUPS 32334 WITH SCORE 32415.611
AT ITER 1185 NEW BEST:: SOT 215447 SOS 81763 HAS SOPS 81738 HAS SOUS 32317 HAS SOUPS 32312 WITH SCORE 32393.763
AT ITER 1188 NEW BEST:: SOT 215435 SOS 81751 HAS SOPS 81726 HAS SOUS 32305 HAS SOUPS 32300 WITH SCORE 32381.751
AT ITER 1194 NEW BEST:: SOT 215388 SOS 81704 HAS SOPS 81679 HAS SOUS 32220 HAS SOUPS 32215 WITH SCORE 32296.704
AT ITER 1205 NEW BEST:: SOT 215378 SOS 81694 HAS SOPS 81669 HAS SOUS 32210 HAS SOUPS 32205 WITH SCORE 32286.694
AT ITER 1211 NEW BEST:: SOT 215354 SOS 81670 HAS SOPS 81645 HAS SOUS 32126 HAS SOUPS 32121 WITH SCORE 32202.67
AT ITER 1223 NEW BEST:: SOT 215361 SOS 81677 HAS SOPS 81652 HAS SOUS 32112 HAS SOUPS 32107 WITH SCORE 32188.677
AT ITER 1235 NEW BEST:: SOT 215354 SOS 81670 HAS SOPS 81645 HAS SOUS 32101 HAS SOUPS 32096 WITH SCORE 32177.67
AT ITER 1272 NEW BEST:: SOT 215337 SOS 81653 HAS SOPS 81628 HAS SOUS 32067 HAS SOUPS 32062 WITH SCORE 32143.653
AT ITER 1277 NEW BEST:: SOT 215311 SOS 81627 HAS SOPS 81602 HAS SOUS 32041 HAS SOUPS 32036 WITH SCORE 32117.627
AT ITER 1283 NEW BEST:: SOT 215318 SOS 81603 HAS SOPS 81578 HAS SOUS 32032 HAS SOUPS 32027 WITH SCORE 32108.603
AT ITER 1285 NEW BEST:: SOT 215310 SOS 81599 HAS SOPS 81574 HAS SOUS 32024 HAS SOUPS 32019 WITH SCORE 32100.599
AT ITER 1294 NEW BEST:: SOT 215278 SOS 81567 HAS SOPS 81542 HAS SOUS 31939 HAS SOUPS 31934 WITH SCORE 32015.567
AT ITER 1297 NEW BEST:: SOT 215312 SOS 81601 HAS SOPS 81576 HAS SOUS 31927 HAS SOUPS 31922 WITH SCORE 32003.601
AT ITER 1301 NEW BEST:: SOT 215245 SOS 81467 HAS SOPS 81442 HAS SOUS 31793 HAS SOUPS 31788 WITH SCORE 31869.467
AT ITER 1342 NEW BEST:: SOT 215241 SOS 81463 HAS SOPS 81438 HAS SOUS 31757 HAS SOUPS 31752 WITH SCORE 31833.463
AT ITER 1356 NEW BEST:: SOT 215241 SOS 81457 HAS SOPS 81432 HAS SOUS 31754 HAS SOUPS 31749 WITH SCORE 31830.457
AT ITER 1375 NEW BEST:: SOT 215239 SOS 81463 HAS SOPS 81438 HAS SOUS 31750 HAS SOUPS 31745 WITH SCORE 31826.463
AT ITER 1382 NEW BEST:: SOT 215237 SOS 81461 HAS SOPS 81436 HAS SOUS 31748 HAS SOUPS 31743 WITH SCORE 31824.461
AT ITER 1397 NEW BEST:: SOT 215207 SOS 81431 HAS SOPS 81406 HAS SOUS 31718 HAS SOUPS 31713 WITH SCORE 31794.431
AT ITER 1407 NEW BEST:: SOT 215214 SOS 81438 HAS SOPS 81413 HAS SOUS 31634 HAS SOUPS 31629 WITH SCORE 31710.438
AT ITER 1408 NEW BEST:: SOT 215209 SOS 81433 HAS SOPS 81408 HAS SOUS 31629 HAS SOUPS 31624 WITH SCORE 31705.433
AT ITER 1416 NEW BEST:: SOT 215152 SOS 81376 HAS SOPS 81351 HAS SOUS 31617 HAS SOUPS 31612 WITH SCORE 31693.376
AT ITER 1448 NEW BEST:: SOT 215116 SOS 81340 HAS SOPS 81315 HAS SOUS 31580 HAS SOUPS 31575 WITH SCORE 31656.34
AT ITER 1449 NEW BEST:: SOT 215043 SOS 81326 HAS SOPS 81301 HAS SOUS 31541 HAS SOUPS 31536 WITH SCORE 31617.326
AT ITER 1483 NEW BEST:: SOT 215021 SOS 81304 HAS SOPS 81279 HAS SOUS 31519 HAS SOUPS 31514 WITH SCORE 31595.304
AT ITER 1485 NEW BEST:: SOT 215014 SOS 81297 HAS SOPS 81272 HAS SOUS 31494 HAS SOUPS 31489 WITH SCORE 31570.297
AT ITER 1496 NEW BEST:: SOT 215012 SOS 81302 HAS SOPS 81277 HAS SOUS 31490 HAS SOUPS 31485 WITH SCORE 31566.302
AT ITER 1498 NEW BEST:: SOT 214937 SOS 81227 HAS SOPS 81202 HAS SOUS 31338 HAS SOUPS 31333 WITH SCORE 31414.227
AT ITER 1523 NEW BEST:: SOT 214935 SOS 81217 HAS SOPS 81202 HAS SOUS 31336 HAS SOUPS 31333 WITH SCORE 31414.217
AT ITER 1558 NEW BEST:: SOT 214929 SOS 81211 HAS SOPS 81196 HAS SOUS 31329 HAS SOUPS 31326 WITH SCORE 31407.211
AT ITER 1567 NEW BEST:: SOT 214917 SOS 81199 HAS SOPS 81184 HAS SOUS 31305 HAS SOUPS 31302 WITH SCORE 31383.199
AT ITER 1584 NEW BEST:: SOT 214687 SOS 80977 HAS SOPS 80962 HAS SOUS 31083 HAS SOUPS 31080 WITH SCORE 31160.977
AT ITER 1589 NEW BEST:: SOT 214634 SOS 80924 HAS SOPS 80909 HAS SOUS 31055 HAS SOUPS 31052 WITH SCORE 31132.924
AT ITER 1613 NEW BEST:: SOT 214594 SOS 80844 HAS SOPS 80829 HAS SOUS 30975 HAS SOUPS 30972 WITH SCORE 31052.844
AT ITER 1615 NEW BEST:: SOT 214594 SOS 80827 HAS SOPS 80812 HAS SOUS 30966 HAS SOUPS 30963 WITH SCORE 31043.827
AT ITER 1639 NEW BEST:: SOT 214588 SOS 80821 HAS SOPS 80806 HAS SOUS 30692 HAS SOUPS 30689 WITH SCORE 30769.821
AT ITER 1642 NEW BEST:: SOT 214588 SOS 80821 HAS SOPS 80806 HAS SOUS 30678 HAS SOUPS 30675 WITH SCORE 30755.821
AT ITER 1683 NEW BEST:: SOT 214586 SOS 80817 HAS SOPS 80802 HAS SOUS 30678 HAS SOUPS 30675 WITH SCORE 30755.817
AT ITER 1696 NEW BEST:: SOT 214586 SOS 80831 HAS SOPS 80816 HAS SOUS 30669 HAS SOUPS 30666 WITH SCORE 30746.831
AT ITER 1699 NEW BEST:: SOT 214586 SOS 80831 HAS SOPS 80816 HAS SOUS 30667 HAS SOUPS 30664 WITH SCORE 30744.831
AT ITER 1713 NEW BEST:: SOT 214554 SOS 80792 HAS SOPS 80777 HAS SOUS 30608 HAS SOUPS 30605 WITH SCORE 30685.792
AT ITER 1715 NEW BEST:: SOT 214554 SOS 80786 HAS SOPS 80771 HAS SOUS 30602 HAS SOUPS 30599 WITH SCORE 30679.786
AT ITER 1743 NEW BEST:: SOT 214548 SOS 80772 HAS SOPS 80757 HAS SOUS 30588 HAS SOUPS 30585 WITH SCORE 30665.772
AT ITER 1768 NEW BEST:: SOT 214548 SOS 80729 HAS SOPS 80714 HAS SOUS 30548 HAS SOUPS 30545 WITH SCORE 30625.729
AT ITER 1771 NEW BEST:: SOT 214469 SOS 80650 HAS SOPS 80635 HAS SOUS 30463 HAS SOUPS 30460 WITH SCORE 30540.65
AT ITER 1795 NEW BEST:: SOT 214534 SOS 80715 HAS SOPS 80700 HAS SOUS 30414 HAS SOUPS 30411 WITH SCORE 30491.715
AT ITER 1798 NEW BEST:: SOT 214534 SOS 80715 HAS SOPS 80700 HAS SOUS 30400 HAS SOUPS 30397 WITH SCORE 30477.715
AT ITER 1799 NEW BEST:: SOT 214517 SOS 80698 HAS SOPS 80683 HAS SOUS 30206 HAS SOUPS 30203 WITH SCORE 30283.698
AT ITER 1815 NEW BEST:: SOT 214631 SOS 80812 HAS SOPS 80797 HAS SOUS 30154 HAS SOUPS 30151 WITH SCORE 30231.812
AT ITER 1818 NEW BEST:: SOT 214678 SOS 80859 HAS SOPS 80844 HAS SOUS 30088 HAS SOUPS 30085 WITH SCORE 30165.859
AT ITER 1820 NEW BEST:: SOT 214662 SOS 80843 HAS SOPS 80828 HAS SOUS 30051 HAS SOUPS 30048 WITH SCORE 30128.843
AT ITER 1830 NEW BEST:: SOT 214630 SOS 80811 HAS SOPS 80796 HAS SOUS 30019 HAS SOUPS 30016 WITH SCORE 30096.811
AT ITER 1839 NEW BEST:: SOT 214630 SOS 80801 HAS SOPS 80786 HAS SOUS 29999 HAS SOUPS 29996 WITH SCORE 30076.801
AT ITER 1857 NEW BEST:: SOT 214667 SOS 80838 HAS SOPS 80823 HAS SOUS 29940 HAS SOUPS 29937 WITH SCORE 30017.838
AT ITER 1866 NEW BEST:: SOT 214701 SOS 80872 HAS SOPS 80857 HAS SOUS 29938 HAS SOUPS 29935 WITH SCORE 30015.872
AT ITER 1870 NEW BEST:: SOT 214686 SOS 80857 HAS SOPS 80842 HAS SOUS 29923 HAS SOUPS 29920 WITH SCORE 30000.857
AT ITER 1879 NEW BEST:: SOT 214678 SOS 80849 HAS SOPS 80834 HAS SOUS 29915 HAS SOUPS 29912 WITH SCORE 29992.849
AT ITER 1908 NEW BEST:: SOT 214629 SOS 80800 HAS SOPS 80785 HAS SOUS 29887 HAS SOUPS 29884 WITH SCORE 29964.8
AT ITER 1936 NEW BEST:: SOT 214452 SOS 80631 HAS SOPS 80616 HAS SOUS 29711 HAS SOUPS 29708 WITH SCORE 29788.631
AT ITER 1938 NEW BEST:: SOT 214424 SOS 80603 HAS SOPS 80588 HAS SOUS 29655 HAS SOUPS 29652 WITH SCORE 29732.603
AT ITER 1956 NEW BEST:: SOT 214394 SOS 80604 HAS SOPS 80589 HAS SOUS 29610 HAS SOUPS 29607 WITH SCORE 29687.604
AT ITER 1978 NEW BEST:: SOT 214327 SOS 80537 HAS SOPS 80522 HAS SOUS 29591 HAS SOUPS 29588 WITH SCORE 29668.537
AT ITER 1982 NEW BEST:: SOT 214278 SOS 80488 HAS SOPS 80473 HAS SOUS 29542 HAS SOUPS 29539 WITH SCORE 29619.488
AT ITER 2029 NEW BEST:: SOT 214261 SOS 80480 HAS SOPS 80465 HAS SOUS 29508 HAS SOUPS 29505 WITH SCORE 29585.48
AT ITER 2053 NEW BEST:: SOT 214239 SOS 80416 HAS SOPS 80401 HAS SOUS 29500 HAS SOUPS 29497 WITH SCORE 29577.416
AT ITER 2056 NEW BEST:: SOT 214239 SOS 80405 HAS SOPS 80390 HAS SOUS 29473 HAS SOUPS 29470 WITH SCORE 29550.405
AT ITER 2070 NEW BEST:: SOT 214145 SOS 80311 HAS SOPS 80296 HAS SOUS 29354 HAS SOUPS 29351 WITH SCORE 29431.311
AT ITER 2078 NEW BEST:: SOT 214113 SOS 80279 HAS SOPS 80264 HAS SOUS 29240 HAS SOUPS 29237 WITH SCORE 29317.279
AT ITER 2121 NEW BEST:: SOT 214111 SOS 80277 HAS SOPS 80262 HAS SOUS 29237 HAS SOUPS 29234 WITH SCORE 29314.277
AT ITER 2143 NEW BEST:: SOT 214190 SOS 80356 HAS SOPS 80341 HAS SOUS 29102 HAS SOUPS 29099 WITH SCORE 29179.356
AT ITER 2160 NEW BEST:: SOT 214094 SOS 80219 HAS SOPS 80204 HAS SOUS 28965 HAS SOUPS 28962 WITH SCORE 29042.219
AT ITER 2166 NEW BEST:: SOT 214109 SOS 80174 HAS SOPS 80159 HAS SOUS 28921 HAS SOUPS 28918 WITH SCORE 28998.174
AT ITER 2174 NEW BEST:: SOT 214187 SOS 80252 HAS SOPS 80237 HAS SOUS 28842 HAS SOUPS 28839 WITH SCORE 28919.252
AT ITER 2175 NEW BEST:: SOT 214155 SOS 80220 HAS SOPS 80205 HAS SOUS 28810 HAS SOUPS 28807 WITH SCORE 28887.22
AT ITER 2179 NEW BEST:: SOT 214251 SOS 80316 HAS SOPS 80301 HAS SOUS 28720 HAS SOUPS 28717 WITH SCORE 28797.316
AT ITER 2220 NEW BEST:: SOT 214227 SOS 80292 HAS SOPS 80277 HAS SOUS 28689 HAS SOUPS 28686 WITH SCORE 28766.292
AT ITER 2230 NEW BEST:: SOT 214227 SOS 80289 HAS SOPS 80274 HAS SOUS 28689 HAS SOUPS 28686 WITH SCORE 28766.289
AT ITER 2241 NEW BEST:: SOT 214192 SOS 80254 HAS SOPS 80239 HAS SOUS 28434 HAS SOUPS 28431 WITH SCORE 28511.254
AT ITER 2260 NEW BEST:: SOT 214168 SOS 80263 HAS SOPS 80248 HAS SOUS 28415 HAS SOUPS 28412 WITH SCORE 28492.263
AT ITER 2277 NEW BEST:: SOT 214168 SOS 80263 HAS SOPS 80248 HAS SOUS 28412 HAS SOUPS 28409 WITH SCORE 28489.263
AT ITER 2279 NEW BEST:: SOT 214106 SOS 80201 HAS SOPS 80186 HAS SOUS 28310 HAS SOUPS 28307 WITH SCORE 28387.201
AT ITER 2308 NEW BEST:: SOT 214056 SOS 80151 HAS SOPS 80136 HAS SOUS 28229 HAS SOUPS 28226 WITH SCORE 28306.151
AT ITER 2309 NEW BEST:: SOT 214055 SOS 80150 HAS SOPS 80135 HAS SOUS 28226 HAS SOUPS 28223 WITH SCORE 28303.15
AT ITER 2312 NEW BEST:: SOT 213883 SOS 79106 HAS SOPS 79094 HAS SOUS 28055 HAS SOUPS 28052 WITH SCORE 28131.106
AT ITER 2313 NEW BEST:: SOT 213881 SOS 79104 HAS SOPS 79092 HAS SOUS 28053 HAS SOUPS 28050 WITH SCORE 28129.104
AT ITER 2327 NEW BEST:: SOT 213803 SOS 79026 HAS SOPS 79014 HAS SOUS 27971 HAS SOUPS 27968 WITH SCORE 28047.026
AT ITER 2335 NEW BEST:: SOT 213800 SOS 79020 HAS SOPS 79008 HAS SOUS 27956 HAS SOUPS 27953 WITH SCORE 28032.02
AT ITER 2345 NEW BEST:: SOT 213777 SOS 78997 HAS SOPS 78985 HAS SOUS 27933 HAS SOUPS 27930 WITH SCORE 28008.997
AT ITER 2348 NEW BEST:: SOT 213772 SOS 79096 HAS SOPS 79084 HAS SOUS 27923 HAS SOUPS 27920 WITH SCORE 27999.096
AT ITER 2359 NEW BEST:: SOT 213859 SOS 79183 HAS SOPS 79171 HAS SOUS 27922 HAS SOUPS 27919 WITH SCORE 27998.183
AT ITER 2360 NEW BEST:: SOT 213822 SOS 79372 HAS SOPS 79360 HAS SOUS 27800 HAS SOUPS 27797 WITH SCORE 27876.372
AT ITER 2362 NEW BEST:: SOT 213821 SOS 79371 HAS SOPS 79359 HAS SOUS 27798 HAS SOUPS 27795 WITH SCORE 27874.371
AT ITER 2384 NEW BEST:: SOT 213821 SOS 79371 HAS SOPS 79359 HAS SOUS 27782 HAS SOUPS 27779 WITH SCORE 27858.371
AT ITER 2391 NEW BEST:: SOT 213814 SOS 79364 HAS SOPS 79352 HAS SOUS 27768 HAS SOUPS 27765 WITH SCORE 27844.364
AT ITER 2406 NEW BEST:: SOT 213807 SOS 79380 HAS SOPS 79368 HAS SOUS 27754 HAS SOUPS 27751 WITH SCORE 27830.38
AT ITER 2411 NEW BEST:: SOT 213805 SOS 79378 HAS SOPS 79366 HAS SOUS 27750 HAS SOUPS 27747 WITH SCORE 27826.378
AT ITER 2412 NEW BEST:: SOT 213848 SOS 79421 HAS SOPS 79409 HAS SOUS 27641 HAS SOUPS 27638 WITH SCORE 27717.421
AT ITER 2415 NEW BEST:: SOT 213843 SOS 79416 HAS SOPS 79404 HAS SOUS 27636 HAS SOUPS 27633 WITH SCORE 27712.416
AT ITER 2432 NEW BEST:: SOT 213862 SOS 79435 HAS SOPS 79423 HAS SOUS 27621 HAS SOUPS 27618 WITH SCORE 27697.435
AT ITER 2436 NEW BEST:: SOT 213854 SOS 79427 HAS SOPS 79415 HAS SOUS 27613 HAS SOUPS 27610 WITH SCORE 27689.427
AT ITER 2437 NEW BEST:: SOT 213857 SOS 79430 HAS SOPS 79418 HAS SOUS 27610 HAS SOUPS 27607 WITH SCORE 27686.43
AT ITER 2449 NEW BEST:: SOT 213900 SOS 79473 HAS SOPS 79461 HAS SOUS 27600 HAS SOUPS 27597 WITH SCORE 27676.473
AT ITER 2470 NEW BEST:: SOT 213853 SOS 79379 HAS SOPS 79367 HAS SOUS 27506 HAS SOUPS 27503 WITH SCORE 27582.379
AT ITER 2473 NEW BEST:: SOT 213850 SOS 79376 HAS SOPS 79364 HAS SOUS 27500 HAS SOUPS 27497 WITH SCORE 27576.376
AT ITER 2478 NEW BEST:: SOT 213791 SOS 79317 HAS SOPS 79305 HAS SOUS 27476 HAS SOUPS 27473 WITH SCORE 27552.317
AT ITER 2485 NEW BEST:: SOT 213755 SOS 79281 HAS SOPS 79269 HAS SOUS 27404 HAS SOUPS 27401 WITH SCORE 27480.281
AT ITER 2489 NEW BEST:: SOT 213753 SOS 79279 HAS SOPS 79267 HAS SOUS 27384 HAS SOUPS 27381 WITH SCORE 27460.279
AT ITER 2517 NEW BEST:: SOT 213783 SOS 79271 HAS SOPS 79259 HAS SOUS 27368 HAS SOUPS 27365 WITH SCORE 27444.271
AT ITER 2530 NEW BEST:: SOT 213781 SOS 79267 HAS SOPS 79255 HAS SOUS 27364 HAS SOUPS 27361 WITH SCORE 27440.267
AT ITER 2563 NEW BEST:: SOT 213772 SOS 79258 HAS SOPS 79246 HAS SOUS 27346 HAS SOUPS 27343 WITH SCORE 27422.258
AT ITER 2579 NEW BEST:: SOT 213772 SOS 79254 HAS SOPS 79242 HAS SOUS 27346 HAS SOUPS 27343 WITH SCORE 27422.254
AT ITER 2583 NEW BEST:: SOT 213772 SOS 79254 HAS SOPS 79242 HAS SOUS 27330 HAS SOUPS 27327 WITH SCORE 27406.254
AT ITER 2619 NEW BEST:: SOT 213736 SOS 79218 HAS SOPS 79206 HAS SOUS 27258 HAS SOUPS 27255 WITH SCORE 27334.218
AT ITER 2626 NEW BEST:: SOT 213736 SOS 79244 HAS SOPS 79232 HAS SOUS 27239 HAS SOUPS 27236 WITH SCORE 27315.244
AT ITER 2632 NEW BEST:: SOT 213719 SOS 79227 HAS SOPS 79215 HAS SOUS 27222 HAS SOUPS 27219 WITH SCORE 27298.227
AT ITER 2663 NEW BEST:: SOT 213719 SOS 79221 HAS SOPS 79209 HAS SOUS 27222 HAS SOUPS 27219 WITH SCORE 27298.221
AT ITER 2758 NEW BEST:: SOT 213693 SOS 79195 HAS SOPS 79183 HAS SOUS 27183 HAS SOUPS 27180 WITH SCORE 27259.195
AT ITER 2778 NEW BEST:: SOT 213699 SOS 79201 HAS SOPS 79189 HAS SOUS 27170 HAS SOUPS 27167 WITH SCORE 27246.201
AT ITER 2808 NEW BEST:: SOT 213681 SOS 79183 HAS SOPS 79171 HAS SOUS 27136 HAS SOUPS 27133 WITH SCORE 27212.183
AT ITER 2815 NEW BEST:: SOT 213684 SOS 79186 HAS SOPS 79174 HAS SOUS 27135 HAS SOUPS 27132 WITH SCORE 27211.186
AT ITER 2827 NEW BEST:: SOT 213682 SOS 79184 HAS SOPS 79172 HAS SOUS 27133 HAS SOUPS 27130 WITH SCORE 27209.184
AT ITER 2841 NEW BEST:: SOT 213675 SOS 79177 HAS SOPS 79165 HAS SOUS 27126 HAS SOUPS 27123 WITH SCORE 27202.177
AT ITER 2866 NEW BEST:: SOT 213656 SOS 79158 HAS SOPS 79146 HAS SOUS 27107 HAS SOUPS 27104 WITH SCORE 27183.158
AT ITER 2906 NEW BEST:: SOT 213668 SOS 79170 HAS SOPS 79158 HAS SOUS 27099 HAS SOUPS 27096 WITH SCORE 27175.17
AT ITER 2946 NEW BEST:: SOT 213656 SOS 79158 HAS SOPS 79146 HAS SOUS 27087 HAS SOUPS 27084 WITH SCORE 27163.158
AT ITER 2949 NEW BEST:: SOT 213655 SOS 79157 HAS SOPS 79145 HAS SOUS 27080 HAS SOUPS 27077 WITH SCORE 27156.157
AT ITER 2951 NEW BEST:: SOT 213662 SOS 79156 HAS SOPS 79144 HAS SOUS 27078 HAS SOUPS 27075 WITH SCORE 27154.156
AT ITER 2973 NEW BEST:: SOT 213654 SOS 79148 HAS SOPS 79136 HAS SOUS 27078 HAS SOUPS 27075 WITH SCORE 27154.148
AT ITER 2976 NEW BEST:: SOT 213672 SOS 79166 HAS SOPS 79154 HAS SOUS 27015 HAS SOUPS 27012 WITH SCORE 27091.166
AT ITER 2984 NEW BEST:: SOT 213624 SOS 79118 HAS SOPS 79106 HAS SOUS 26919 HAS SOUPS 26916 WITH SCORE 26995.118
AT ITER 2986 NEW BEST:: SOT 213613 SOS 79107 HAS SOPS 79095 HAS SOUS 26878 HAS SOUPS 26875 WITH SCORE 26954.107
AT ITER 2991 NEW BEST:: SOT 213543 SOS 79037 HAS SOPS 79025 HAS SOUS 26695 HAS SOUPS 26692 WITH SCORE 26771.037
AT ITER 3003 NEW BEST:: SOT 213568 SOS 79062 HAS SOPS 79050 HAS SOUS 26684 HAS SOUPS 26681 WITH SCORE 26760.062
AT ITER 3008 NEW BEST:: SOT 213491 SOS 78985 HAS SOPS 78973 HAS SOUS 26527 HAS SOUPS 26524 WITH SCORE 26602.985
AT ITER 3025 NEW BEST:: SOT 213491 SOS 78960 HAS SOPS 78948 HAS SOUS 26497 HAS SOUPS 26494 WITH SCORE 26572.96
AT ITER 3027 NEW BEST:: SOT 213494 SOS 78963 HAS SOPS 78951 HAS SOUS 26491 HAS SOUPS 26488 WITH SCORE 26566.963
AT ITER 3042 NEW BEST:: SOT 213441 SOS 78910 HAS SOPS 78898 HAS SOUS 26449 HAS SOUPS 26446 WITH SCORE 26524.91
AT ITER 3062 NEW BEST:: SOT 213398 SOS 78867 HAS SOPS 78855 HAS SOUS 26221 HAS SOUPS 26218 WITH SCORE 26296.867
AT ITER 3096 NEW BEST:: SOT 213365 SOS 78904 HAS SOPS 78892 HAS SOUS 26200 HAS SOUPS 26197 WITH SCORE 26275.904
AT ITER 3106 NEW BEST:: SOT 213379 SOS 78918 HAS SOPS 78906 HAS SOUS 26154 HAS SOUPS 26151 WITH SCORE 26229.918
AT ITER 3107 NEW BEST:: SOT 213379 SOS 78860 HAS SOPS 78848 HAS SOUS 26154 HAS SOUPS 26151 WITH SCORE 26229.86
AT ITER 3119 NEW BEST:: SOT 213375 SOS 78852 HAS SOPS 78840 HAS SOUS 26147 HAS SOUPS 26144 WITH SCORE 26222.852
AT ITER 3120 NEW BEST:: SOT 213372 SOS 78838 HAS SOPS 78826 HAS SOUS 26141 HAS SOUPS 26138 WITH SCORE 26216.838
AT ITER 3160 NEW BEST:: SOT 213372 SOS 78831 HAS SOPS 78819 HAS SOUS 26134 HAS SOUPS 26131 WITH SCORE 26209.831
AT ITER 3164 NEW BEST:: SOT 213338 SOS 78797 HAS SOPS 78785 HAS SOUS 26059 HAS SOUPS 26056 WITH SCORE 26134.797
AT ITER 3179 NEW BEST:: SOT 213327 SOS 78786 HAS SOPS 78774 HAS SOUS 25996 HAS SOUPS 25993 WITH SCORE 26071.786
AT ITER 3204 NEW BEST:: SOT 213324 SOS 78783 HAS SOPS 78771 HAS SOUS 25993 HAS SOUPS 25990 WITH SCORE 26068.783
AT ITER 3222 NEW BEST:: SOT 213317 SOS 78034 HAS SOPS 78022 HAS SOUS 25979 HAS SOUPS 25976 WITH SCORE 26054.034
AT ITER 3272 NEW BEST:: SOT 213249 SOS 77966 HAS SOPS 77954 HAS SOUS 25904 HAS SOUPS 25901 WITH SCORE 25978.966
AT ITER 3279 NEW BEST:: SOT 213222 SOS 77990 HAS SOPS 77978 HAS SOUS 25876 HAS SOUPS 25873 WITH SCORE 25950.99
AT ITER 3287 NEW BEST:: SOT 213230 SOS 77998 HAS SOPS 77986 HAS SOUS 25772 HAS SOUPS 25769 WITH SCORE 25846.998
AT ITER 3294 NEW BEST:: SOT 213229 SOS 77998 HAS SOPS 77986 HAS SOUS 25770 HAS SOUPS 25767 WITH SCORE 25844.998
AT ITER 3303 NEW BEST:: SOT 213243 SOS 78012 HAS SOPS 78000 HAS SOUS 25666 HAS SOUPS 25663 WITH SCORE 25741.012
AT ITER 3405 NEW BEST:: SOT 212696 SOS 77591 HAS SOPS 77579 HAS SOUS 25061 HAS SOUPS 25058 WITH SCORE 25135.591
AT ITER 3418 NEW BEST:: SOT 212430 SOS 77389 HAS SOPS 77377 HAS SOUS 24988 HAS SOUPS 24985 WITH SCORE 25062.389
AT ITER 3419 NEW BEST:: SOT 212423 SOS 77382 HAS SOPS 77370 HAS SOUS 24974 HAS SOUPS 24971 WITH SCORE 25048.382
AT ITER 3426 NEW BEST:: SOT 212417 SOS 77380 HAS SOPS 77368 HAS SOUS 24970 HAS SOUPS 24967 WITH SCORE 25044.38
AT ITER 3439 NEW BEST:: SOT 212397 SOS 77360 HAS SOPS 77348 HAS SOUS 24937 HAS SOUPS 24934 WITH SCORE 25011.36
AT ITER 3487 NEW BEST:: SOT 212394 SOS 77359 HAS SOPS 77347 HAS SOUS 24935 HAS SOUPS 24932 WITH SCORE 25009.359
AT ITER 3497 NEW BEST:: SOT 212378 SOS 77343 HAS SOPS 77331 HAS SOUS 24887 HAS SOUPS 24884 WITH SCORE 24961.343
AT ITER 3501 NEW BEST:: SOT 212354 SOS 77319 HAS SOPS 77307 HAS SOUS 24825 HAS SOUPS 24822 WITH SCORE 24899.319
AT ITER 3523 NEW BEST:: SOT 212274 SOS 77299 HAS SOPS 77287 HAS SOUS 24785 HAS SOUPS 24782 WITH SCORE 24859.299
AT ITER 3525 NEW BEST:: SOT 212273 SOS 77297 HAS SOPS 77285 HAS SOUS 24785 HAS SOUPS 24782 WITH SCORE 24859.297
AT ITER 3531 NEW BEST:: SOT 212267 SOS 77291 HAS SOPS 77279 HAS SOUS 24773 HAS SOUPS 24770 WITH SCORE 24847.291
AT ITER 3532 NEW BEST:: SOT 212267 SOS 74067 HAS SOPS 74055 HAS SOUS 24773 HAS SOUPS 24770 WITH SCORE 24844.067
AT ITER 3534 NEW BEST:: SOT 212250 SOS 74050 HAS SOPS 74038 HAS SOUS 24773 HAS SOUPS 24770 WITH SCORE 24844.05
AT ITER 3538 NEW BEST:: SOT 212175 SOS 73975 HAS SOPS 73963 HAS SOUS 24715 HAS SOUPS 24712 WITH SCORE 24785.975
AT ITER 3551 NEW BEST:: SOT 212258 SOS 74058 HAS SOPS 74046 HAS SOUS 24688 HAS SOUPS 24685 WITH SCORE 24759.058
AT ITER 3561 NEW BEST:: SOT 212242 SOS 74042 HAS SOPS 74030 HAS SOUS 24641 HAS SOUPS 24638 WITH SCORE 24712.042
AT ITER 3567 NEW BEST:: SOT 212194 SOS 74036 HAS SOPS 74024 HAS SOUS 24629 HAS SOUPS 24626 WITH SCORE 24700.036
AT ITER 3571 NEW BEST:: SOT 212163 SOS 74036 HAS SOPS 74024 HAS SOUS 24623 HAS SOUPS 24620 WITH SCORE 24694.036
AT ITER 3574 NEW BEST:: SOT 212151 SOS 74024 HAS SOPS 74012 HAS SOUS 24587 HAS SOUPS 24584 WITH SCORE 24658.024
AT ITER 3598 NEW BEST:: SOT 212151 SOS 74024 HAS SOPS 74012 HAS SOUS 24583 HAS SOUPS 24580 WITH SCORE 24654.024
AT ITER 3647 NEW BEST:: SOT 212151 SOS 73999 HAS SOPS 73987 HAS SOUS 24558 HAS SOUPS 24555 WITH SCORE 24628.999
AT ITER 3650 NEW BEST:: SOT 212133 SOS 73981 HAS SOPS 73969 HAS SOUS 24540 HAS SOUPS 24537 WITH SCORE 24610.981
AT ITER 3652 NEW BEST:: SOT 212133 SOS 73981 HAS SOPS 73969 HAS SOUS 24538 HAS SOUPS 24535 WITH SCORE 24608.981
AT ITER 3657 NEW BEST:: SOT 212086 SOS 73887 HAS SOPS 73875 HAS SOUS 24444 HAS SOUPS 24441 WITH SCORE 24514.887
AT ITER 3661 NEW BEST:: SOT 212081 SOS 73887 HAS SOPS 73875 HAS SOUS 24442 HAS SOUPS 24439 WITH SCORE 24512.887
AT ITER 3690 NEW BEST:: SOT 212167 SOS 73973 HAS SOPS 73961 HAS SOUS 24413 HAS SOUPS 24410 WITH SCORE 24483.973
AT ITER 3704 NEW BEST:: SOT 212163 SOS 73969 HAS SOPS 73957 HAS SOUS 24405 HAS SOUPS 24402 WITH SCORE 24475.969
AT ITER 3707 NEW BEST:: SOT 212089 SOS 73969 HAS SOPS 73957 HAS SOUS 24287 HAS SOUPS 24284 WITH SCORE 24357.969
AT ITER 3738 NEW BEST:: SOT 212048 SOS 73951 HAS SOPS 73939 HAS SOUS 24251 HAS SOUPS 24248 WITH SCORE 24321.951
AT ITER 3749 NEW BEST:: SOT 212056 SOS 74105 HAS SOPS 74093 HAS SOUS 24244 HAS SOUPS 24241 WITH SCORE 24315.105
AT ITER 3751 NEW BEST:: SOT 212032 SOS 74081 HAS SOPS 74069 HAS SOUS 24191 HAS SOUPS 24188 WITH SCORE 24262.081
AT ITER 3755 NEW BEST:: SOT 212025 SOS 74074 HAS SOPS 74062 HAS SOUS 24184 HAS SOUPS 24181 WITH SCORE 24255.074
AT ITER 3764 NEW BEST:: SOT 212009 SOS 74058 HAS SOPS 74046 HAS SOUS 24168 HAS SOUPS 24165 WITH SCORE 24239.058
AT ITER 3770 NEW BEST:: SOT 212006 SOS 74055 HAS SOPS 74043 HAS SOUS 24165 HAS SOUPS 24162 WITH SCORE 24236.055
AT ITER 3792 NEW BEST:: SOT 211969 SOS 73976 HAS SOPS 73964 HAS SOUS 24127 HAS SOUPS 24124 WITH SCORE 24197.976
AT ITER 3813 NEW BEST:: SOT 211955 SOS 73962 HAS SOPS 73950 HAS SOUS 24099 HAS SOUPS 24096 WITH SCORE 24169.962
AT ITER 3844 NEW BEST:: SOT 211945 SOS 73952 HAS SOPS 73940 HAS SOUS 24079 HAS SOUPS 24076 WITH SCORE 24149.952
AT ITER 3887 NEW BEST:: SOT 211922 SOS 73929 HAS SOPS 73917 HAS SOUS 24032 HAS SOUPS 24029 WITH SCORE 24102.929
AT ITER 3905 NEW BEST:: SOT 211914 SOS 73921 HAS SOPS 73909 HAS SOUS 24024 HAS SOUPS 24021 WITH SCORE 24094.921
AT ITER 3918 NEW BEST:: SOT 211912 SOS 73919 HAS SOPS 73907 HAS SOUS 24020 HAS SOUPS 24017 WITH SCORE 24090.919
AT ITER 3923 NEW BEST:: SOT 211896 SOS 73887 HAS SOPS 73875 HAS SOUS 23988 HAS SOUPS 23985 WITH SCORE 24058.887
AT ITER 3932 NEW BEST:: SOT 211888 SOS 73750 HAS SOPS 73738 HAS SOUS 23956 HAS SOUPS 23953 WITH SCORE 24026.75
AT ITER 3992 NEW BEST:: SOT 211804 SOS 73718 HAS SOPS 73706 HAS SOUS 23898 HAS SOUPS 23895 WITH SCORE 23968.718
AT ITER 4104 NEW BEST:: SOT 211797 SOS 73695 HAS SOPS 73683 HAS SOUS 23883 HAS SOUPS 23880 WITH SCORE 23953.695
AT ITER 4112 NEW BEST:: SOT 211777 SOS 73695 HAS SOPS 73683 HAS SOUS 23843 HAS SOUPS 23840 WITH SCORE 23913.695
AT ITER 4201 NEW BEST:: SOT 211776 SOS 73694 HAS SOPS 73682 HAS SOUS 23843 HAS SOUPS 23840 WITH SCORE 23913.694
AT ITER 4203 NEW BEST:: SOT 211758 SOS 73676 HAS SOPS 73664 HAS SOUS 23813 HAS SOUPS 23810 WITH SCORE 23883.676
AT ITER 4219 NEW BEST:: SOT 211744 SOS 73662 HAS SOPS 73650 HAS SOUS 23785 HAS SOUPS 23782 WITH SCORE 23855.662
AT ITER 4231 NEW BEST:: SOT 211748 SOS 73650 HAS SOPS 73638 HAS SOUS 23730 HAS SOUPS 23727 WITH SCORE 23800.65
AT ITER 4237 NEW BEST:: SOT 211741 SOS 73654 HAS SOPS 73642 HAS SOUS 23726 HAS SOUPS 23723 WITH SCORE 23796.654
AT ITER 4241 NEW BEST:: SOT 211746 SOS 73659 HAS SOPS 73647 HAS SOUS 23716 HAS SOUPS 23713 WITH SCORE 23786.659
AT ITER 4249 NEW BEST:: SOT 211737 SOS 73650 HAS SOPS 73638 HAS SOUS 23680 HAS SOUPS 23677 WITH SCORE 23750.65
AT ITER 4260 NEW BEST:: SOT 211728 SOS 73641 HAS SOPS 73629 HAS SOUS 23662 HAS SOUPS 23659 WITH SCORE 23732.641
AT ITER 4317 NEW BEST:: SOT 211732 SOS 73645 HAS SOPS 73633 HAS SOUS 23654 HAS SOUPS 23651 WITH SCORE 23724.645
AT ITER 4355 NEW BEST:: SOT 211695 SOS 73608 HAS SOPS 73596 HAS SOUS 23617 HAS SOUPS 23614 WITH SCORE 23687.608
AT ITER 4365 NEW BEST:: SOT 211695 SOS 73608 HAS SOPS 73596 HAS SOUS 23613 HAS SOUPS 23610 WITH SCORE 23683.608
AT ITER 4376 NEW BEST:: SOT 211694 SOS 73603 HAS SOPS 73591 HAS SOUS 23611 HAS SOUPS 23608 WITH SCORE 23681.603
AT ITER 4387 NEW BEST:: SOT 211690 SOS 73599 HAS SOPS 73587 HAS SOUS 23607 HAS SOUPS 23604 WITH SCORE 23677.599
AT ITER 4394 NEW BEST:: SOT 211671 SOS 73580 HAS SOPS 73568 HAS SOUS 23588 HAS SOUPS 23585 WITH SCORE 23658.58
AT ITER 4414 NEW BEST:: SOT 211675 SOS 73584 HAS SOPS 73572 HAS SOUS 23578 HAS SOUPS 23575 WITH SCORE 23648.584
AT ITER 4425 NEW BEST:: SOT 211670 SOS 73571 HAS SOPS 73559 HAS SOUS 23576 HAS SOUPS 23573 WITH SCORE 23646.571
AT ITER 4455 NEW BEST:: SOT 211659 SOS 66545 HAS SOPS 66531 HAS SOUS 23483 HAS SOUPS 23480 WITH SCORE 23546.545
AT ITER 4490 NEW BEST:: SOT 211635 SOS 66521 HAS SOPS 66507 HAS SOUS 23459 HAS SOUPS 23456 WITH SCORE 23522.521
AT ITER 4500 NEW BEST:: SOT 211635 SOS 66511 HAS SOPS 66497 HAS SOUS 23459 HAS SOUPS 23456 WITH SCORE 23522.511
AT ITER 4610 NEW BEST:: SOT 211628 SOS 66504 HAS SOPS 66490 HAS SOUS 23445 HAS SOUPS 23442 WITH SCORE 23508.504
AT ITER 4661 NEW BEST:: SOT 211628 SOS 66502 HAS SOPS 66488 HAS SOUS 23443 HAS SOUPS 23440 WITH SCORE 23506.502
AT ITER 4719 NEW BEST:: SOT 211641 SOS 66499 HAS SOPS 66485 HAS SOUS 23437 HAS SOUPS 23434 WITH SCORE 23500.499
AT ITER 4722 NEW BEST:: SOT 211639 SOS 66497 HAS SOPS 66483 HAS SOUS 23427 HAS SOUPS 23424 WITH SCORE 23490.497
AT ITER 4751 NEW BEST:: SOT 211623 SOS 66481 HAS SOPS 66467 HAS SOUS 23411 HAS SOUPS 23408 WITH SCORE 23474.481
AT ITER 4774 NEW BEST:: SOT 211620 SOS 66478 HAS SOPS 66464 HAS SOUS 23402 HAS SOUPS 23399 WITH SCORE 23465.478
AT ITER 4789 NEW BEST:: SOT 211619 SOS 66477 HAS SOPS 66463 HAS SOUS 23400 HAS SOUPS 23397 WITH SCORE 23463.477
AT ITER 4803 NEW BEST:: SOT 211622 SOS 66455 HAS SOPS 66441 HAS SOUS 23378 HAS SOUPS 23375 WITH SCORE 23441.455
AT ITER 4826 NEW BEST:: SOT 211620 SOS 66453 HAS SOPS 66439 HAS SOUS 23376 HAS SOUPS 23373 WITH SCORE 23439.453
AT ITER 4865 NEW BEST:: SOT 211605 SOS 66438 HAS SOPS 66424 HAS SOUS 23361 HAS SOUPS 23358 WITH SCORE 23424.438
AT ITER 4910 NEW BEST:: SOT 211595 SOS 66488 HAS SOPS 66474 HAS SOUS 23341 HAS SOUPS 23338 WITH SCORE 23404.488
AT ITER 4988 NEW BEST:: SOT 211578 SOS 66471 HAS SOPS 66457 HAS SOUS 23324 HAS SOUPS 23321 WITH SCORE 23387.471
AT ITER 4991 NEW BEST:: SOT 211613 SOS 66390 HAS SOPS 66376 HAS SOUS 23306 HAS SOUPS 23303 WITH SCORE 23369.39
AT ITER 4999 NEW BEST:: SOT 211593 SOS 66370 HAS SOPS 66356 HAS SOUS 23305 HAS SOUPS 23302 WITH SCORE 23368.37
AT ITER 5002 NEW BEST:: SOT 211594 SOS 66371 HAS SOPS 66357 HAS SOUS 23298 HAS SOUPS 23295 WITH SCORE 23361.371
AT ITER 5022 NEW BEST:: SOT 211587 SOS 66364 HAS SOPS 66350 HAS SOUS 23281 HAS SOUPS 23278 WITH SCORE 23344.364
AT ITER 5030 NEW BEST:: SOT 211587 SOS 66364 HAS SOPS 66350 HAS SOUS 23278 HAS SOUPS 23275 WITH SCORE 23341.364
AT ITER 5064 NEW BEST:: SOT 211579 SOS 66343 HAS SOPS 66329 HAS SOUS 23229 HAS SOUPS 23226 WITH SCORE 23292.343
AT ITER 5157 NEW BEST:: SOT 211555 SOS 66319 HAS SOPS 66305 HAS SOUS 23205 HAS SOUPS 23202 WITH SCORE 23268.319
AT ITER 5158 NEW BEST:: SOT 211549 SOS 66313 HAS SOPS 66299 HAS SOUS 23199 HAS SOUPS 23196 WITH SCORE 23262.313
AT ITER 5195 NEW BEST:: SOT 211543 SOS 66312 HAS SOPS 66298 HAS SOUS 23197 HAS SOUPS 23194 WITH SCORE 23260.312
AT ITER 5198 NEW BEST:: SOT 211548 SOS 66317 HAS SOPS 66303 HAS SOUS 23155 HAS SOUPS 23152 WITH SCORE 23218.317
AT ITER 5217 NEW BEST:: SOT 211507 SOS 66276 HAS SOPS 66262 HAS SOUS 23073 HAS SOUPS 23070 WITH SCORE 23136.276
AT ITER 5220 NEW BEST:: SOT 211509 SOS 66278 HAS SOPS 66264 HAS SOUS 23048 HAS SOUPS 23045 WITH SCORE 23111.278
AT ITER 5245 NEW BEST:: SOT 211497 SOS 66254 HAS SOPS 66240 HAS SOUS 23024 HAS SOUPS 23021 WITH SCORE 23087.254
AT ITER 5270 NEW BEST:: SOT 211449 SOS 66158 HAS SOPS 66144 HAS SOUS 22928 HAS SOUPS 22925 WITH SCORE 22991.158
AT ITER 5295 NEW BEST:: SOT 211416 SOS 66125 HAS SOPS 66111 HAS SOUS 22914 HAS SOUPS 22911 WITH SCORE 22977.125
AT ITER 5374 NEW BEST:: SOT 211392 SOS 66077 HAS SOPS 66063 HAS SOUS 22866 HAS SOUPS 22863 WITH SCORE 22929.077
AT ITER 5382 NEW BEST:: SOT 211390 SOS 66075 HAS SOPS 66061 HAS SOUS 22864 HAS SOUPS 22861 WITH SCORE 22927.075
AT ITER 5401 NEW BEST:: SOT 211403 SOS 66088 HAS SOPS 66074 HAS SOUS 22842 HAS SOUPS 22839 WITH SCORE 22905.088
AT ITER 5403 NEW BEST:: SOT 211399 SOS 66084 HAS SOPS 66070 HAS SOUS 22830 HAS SOUPS 22827 WITH SCORE 22893.084
AT ITER 5407 NEW BEST:: SOT 211368 SOS 63303 HAS SOPS 63289 HAS SOUS 22767 HAS SOUPS 22764 WITH SCORE 22827.303
AT ITER 5427 NEW BEST:: SOT 211366 SOS 63301 HAS SOPS 63287 HAS SOUS 22763 HAS SOUPS 22760 WITH SCORE 22823.301
AT ITER 5451 NEW BEST:: SOT 211382 SOS 63317 HAS SOPS 63303 HAS SOUS 22755 HAS SOUPS 22752 WITH SCORE 22815.317
AT ITER 5467 NEW BEST:: SOT 211381 SOS 63318 HAS SOPS 63304 HAS SOUS 22751 HAS SOUPS 22748 WITH SCORE 22811.318
AT ITER 5489 NEW BEST:: SOT 211377 SOS 63314 HAS SOPS 63300 HAS SOUS 22719 HAS SOUPS 22716 WITH SCORE 22779.314
AT ITER 5522 NEW BEST:: SOT 211357 SOS 63294 HAS SOPS 63280 HAS SOUS 22683 HAS SOUPS 22680 WITH SCORE 22743.294
AT ITER 5538 NEW BEST:: SOT 211346 SOS 66643 HAS SOPS 66629 HAS SOUS 22664 HAS SOUPS 22661 WITH SCORE 22727.643
AT ITER 5560 NEW BEST:: SOT 211305 SOS 66602 HAS SOPS 66588 HAS SOUS 22623 HAS SOUPS 22620 WITH SCORE 22686.602
AT ITER 5571 NEW BEST:: SOT 211322 SOS 66619 HAS SOPS 66605 HAS SOUS 22613 HAS SOUPS 22610 WITH SCORE 22676.619
AT ITER 5582 NEW BEST:: SOT 211313 SOS 66610 HAS SOPS 66596 HAS SOUS 22565 HAS SOUPS 22562 WITH SCORE 22628.61
AT ITER 5584 NEW BEST:: SOT 211295 SOS 66592 HAS SOPS 66578 HAS SOUS 22560 HAS SOUPS 22557 WITH SCORE 22623.592
AT ITER 5617 NEW BEST:: SOT 211259 SOS 66581 HAS SOPS 66567 HAS SOUS 22535 HAS SOUPS 22532 WITH SCORE 22598.581
AT ITER 5623 NEW BEST:: SOT 211239 SOS 66561 HAS SOPS 66547 HAS SOUS 22506 HAS SOUPS 22503 WITH SCORE 22569.561
AT ITER 5633 NEW BEST:: SOT 211219 SOS 66541 HAS SOPS 66527 HAS SOUS 22486 HAS SOUPS 22483 WITH SCORE 22549.541
AT ITER 5641 NEW BEST:: SOT 211216 SOS 66538 HAS SOPS 66524 HAS SOUS 22485 HAS SOUPS 22482 WITH SCORE 22548.538
AT ITER 5653 NEW BEST:: SOT 211194 SOS 66516 HAS SOPS 66502 HAS SOUS 22462 HAS SOUPS 22459 WITH SCORE 22525.516
AT ITER 5656 NEW BEST:: SOT 211165 SOS 66544 HAS SOPS 66530 HAS SOUS 22446 HAS SOUPS 22443 WITH SCORE 22509.544
AT ITER 5665 NEW BEST:: SOT 211164 SOS 66538 HAS SOPS 66529 HAS SOUS 22444 HAS SOUPS 22442 WITH SCORE 22508.538
AT ITER 5733 NEW BEST:: SOT 211162 SOS 66536 HAS SOPS 66527 HAS SOUS 22442 HAS SOUPS 22440 WITH SCORE 22506.536
AT ITER 5749 NEW BEST:: SOT 211158 SOS 66532 HAS SOPS 66523 HAS SOUS 22424 HAS SOUPS 22422 WITH SCORE 22488.532
AT ITER 5751 NEW BEST:: SOT 211149 SOS 66523 HAS SOPS 66514 HAS SOUS 22397 HAS SOUPS 22395 WITH SCORE 22461.523
AT ITER 5844 NEW BEST:: SOT 211146 SOS 66496 HAS SOPS 66487 HAS SOUS 22391 HAS SOUPS 22389 WITH SCORE 22455.496
AT ITER 5848 NEW BEST:: SOT 211108 SOS 66458 HAS SOPS 66449 HAS SOUS 22353 HAS SOUPS 22351 WITH SCORE 22417.458
AT ITER 5851 NEW BEST:: SOT 211094 SOS 66444 HAS SOPS 66435 HAS SOUS 22275 HAS SOUPS 22273 WITH SCORE 22339.444
AT ITER 5855 NEW BEST:: SOT 211093 SOS 66443 HAS SOPS 66434 HAS SOUS 22273 HAS SOUPS 22271 WITH SCORE 22337.443
AT ITER 5917 NEW BEST:: SOT 211058 SOS 66422 HAS SOPS 66413 HAS SOUS 22203 HAS SOUPS 22201 WITH SCORE 22267.422
AT ITER 5938 NEW BEST:: SOT 211054 SOS 66418 HAS SOPS 66409 HAS SOUS 22195 HAS SOUPS 22193 WITH SCORE 22259.418
AT ITER 5967 NEW BEST:: SOT 211052 SOS 66395 HAS SOPS 66386 HAS SOUS 22157 HAS SOUPS 22155 WITH SCORE 22221.395
AT ITER 5998 NEW BEST:: SOT 211075 SOS 66418 HAS SOPS 66409 HAS SOUS 22115 HAS SOUPS 22113 WITH SCORE 22179.418
AT ITER 6007 NEW BEST:: SOT 211071 SOS 66447 HAS SOPS 66438 HAS SOUS 22109 HAS SOUPS 22107 WITH SCORE 22173.447
AT ITER 6033 NEW BEST:: SOT 211039 SOS 66415 HAS SOPS 66406 HAS SOUS 21907 HAS SOUPS 21905 WITH SCORE 21971.415
AT ITER 6045 NEW BEST:: SOT 211036 SOS 66412 HAS SOPS 66403 HAS SOUS 21899 HAS SOUPS 21897 WITH SCORE 21963.412
AT ITER 6056 NEW BEST:: SOT 211029 SOS 66405 HAS SOPS 66396 HAS SOUS 21885 HAS SOUPS 21883 WITH SCORE 21949.405
AT ITER 6093 NEW BEST:: SOT 211010 SOS 66386 HAS SOPS 66377 HAS SOUS 21855 HAS SOUPS 21853 WITH SCORE 21919.386
AT ITER 6135 NEW BEST:: SOT 211012 SOS 66384 HAS SOPS 66375 HAS SOUS 21851 HAS SOUPS 21849 WITH SCORE 21915.384
AT ITER 6146 NEW BEST:: SOT 210975 SOS 66347 HAS SOPS 66338 HAS SOUS 21828 HAS SOUPS 21826 WITH SCORE 21892.347
AT ITER 6170 NEW BEST:: SOT 210975 SOS 66485 HAS SOPS 66476 HAS SOUS 21802 HAS SOUPS 21800 WITH SCORE 21866.485
AT ITER 6203 NEW BEST:: SOT 210966 SOS 66476 HAS SOPS 66467 HAS SOUS 21750 HAS SOUPS 21748 WITH SCORE 21814.476
AT ITER 6250 NEW BEST:: SOT 210937 SOS 66320 HAS SOPS 66311 HAS SOUS 21721 HAS SOUPS 21719 WITH SCORE 21785.32
AT ITER 6389 NEW BEST:: SOT 210933 SOS 66316 HAS SOPS 66307 HAS SOUS 21713 HAS SOUPS 21711 WITH SCORE 21777.316
AT ITER 6409 NEW BEST:: SOT 210923 SOS 66306 HAS SOPS 66297 HAS SOUS 21693 HAS SOUPS 21691 WITH SCORE 21757.306
AT ITER 6425 NEW BEST:: SOT 210918 SOS 66301 HAS SOPS 66292 HAS SOUS 21688 HAS SOUPS 21686 WITH SCORE 21752.301
AT ITER 6447 NEW BEST:: SOT 210887 SOS 66270 HAS SOPS 66261 HAS SOUS 21645 HAS SOUPS 21643 WITH SCORE 21709.27
AT ITER 6472 NEW BEST:: SOT 210840 SOS 66223 HAS SOPS 66214 HAS SOUS 21601 HAS SOUPS 21599 WITH SCORE 21665.223
AT ITER 6473 NEW BEST:: SOT 210838 SOS 66219 HAS SOPS 66210 HAS SOUS 21597 HAS SOUPS 21595 WITH SCORE 21661.219
AT ITER 6482 NEW BEST:: SOT 210835 SOS 66210 HAS SOPS 66201 HAS SOUS 21591 HAS SOUPS 21589 WITH SCORE 21655.21
AT ITER 6549 NEW BEST:: SOT 210808 SOS 66183 HAS SOPS 66174 HAS SOUS 21564 HAS SOUPS 21562 WITH SCORE 21628.183
AT ITER 6565 NEW BEST:: SOT 210769 SOS 66131 HAS SOPS 66122 HAS SOUS 21512 HAS SOUPS 21510 WITH SCORE 21576.131
AT ITER 6585 NEW BEST:: SOT 210767 SOS 66129 HAS SOPS 66120 HAS SOUS 21491 HAS SOUPS 21489 WITH SCORE 21555.129
AT ITER 6681 NEW BEST:: SOT 210752 SOS 66114 HAS SOPS 66105 HAS SOUS 21447 HAS SOUPS 21445 WITH SCORE 21511.114
AT ITER 6709 NEW BEST:: SOT 210742 SOS 66104 HAS SOPS 66095 HAS SOUS 21395 HAS SOUPS 21393 WITH SCORE 21459.104
AT ITER 6713 NEW BEST:: SOT 210722 SOS 66084 HAS SOPS 66075 HAS SOUS 21363 HAS SOUPS 21361 WITH SCORE 21427.084
AT ITER 6761 NEW BEST:: SOT 210723 SOS 66085 HAS SOPS 66076 HAS SOUS 21336 HAS SOUPS 21334 WITH SCORE 21400.085
AT ITER 6800 NEW BEST:: SOT 210719 SOS 66081 HAS SOPS 66072 HAS SOUS 21318 HAS SOUPS 21316 WITH SCORE 21382.081
AT ITER 6807 NEW BEST:: SOT 210713 SOS 66081 HAS SOPS 66072 HAS SOUS 21306 HAS SOUPS 21304 WITH SCORE 21370.081
AT ITER 6874 NEW BEST:: SOT 210705 SOS 66073 HAS SOPS 66064 HAS SOUS 21269 HAS SOUPS 21267 WITH SCORE 21333.073
AT ITER 6891 NEW BEST:: SOT 210711 SOS 66024 HAS SOPS 66015 HAS SOUS 21222 HAS SOUPS 21220 WITH SCORE 21286.024
AT ITER 6893 NEW BEST:: SOT 210706 SOS 66019 HAS SOPS 66010 HAS SOUS 21207 HAS SOUPS 21205 WITH SCORE 21271.019
AT ITER 6899 NEW BEST:: SOT 210704 SOS 66017 HAS SOPS 66008 HAS SOUS 21202 HAS SOUPS 21200 WITH SCORE 21266.017
AT ITER 6902 NEW BEST:: SOT 210679 SOS 65992 HAS SOPS 65983 HAS SOUS 21154 HAS SOUPS 21152 WITH SCORE 21217.992
AT ITER 6904 NEW BEST:: SOT 210674 SOS 65987 HAS SOPS 65978 HAS SOUS 21144 HAS SOUPS 21142 WITH SCORE 21207.987
AT ITER 6940 NEW BEST:: SOT 210662 SOS 65975 HAS SOPS 65966 HAS SOUS 21120 HAS SOUPS 21118 WITH SCORE 21183.975
AT ITER 6942 NEW BEST:: SOT 210652 SOS 65965 HAS SOPS 65956 HAS SOUS 21110 HAS SOUPS 21108 WITH SCORE 21173.965
AT ITER 6964 NEW BEST:: SOT 210622 SOS 65935 HAS SOPS 65926 HAS SOUS 21050 HAS SOUPS 21048 WITH SCORE 21113.935
AT ITER 6978 NEW BEST:: SOT 210619 SOS 65932 HAS SOPS 65923 HAS SOUS 21047 HAS SOUPS 21045 WITH SCORE 21110.932
AT ITER 7007 NEW BEST:: SOT 210619 SOS 63748 HAS SOPS 63739 HAS SOUS 21047 HAS SOUPS 21045 WITH SCORE 21108.748
AT ITER 7060 NEW BEST:: SOT 210611 SOS 63740 HAS SOPS 63731 HAS SOUS 21023 HAS SOUPS 21021 WITH SCORE 21084.74
AT ITER 7082 NEW BEST:: SOT 210611 SOS 63740 HAS SOPS 63731 HAS SOUS 21022 HAS SOUPS 21020 WITH SCORE 21083.74
AT ITER 7161 NEW BEST:: SOT 210607 SOS 63744 HAS SOPS 63735 HAS SOUS 21014 HAS SOUPS 21012 WITH SCORE 21075.744
AT ITER 7182 NEW BEST:: SOT 210596 SOS 63719 HAS SOPS 63710 HAS SOUS 20989 HAS SOUPS 20987 WITH SCORE 21050.719
AT ITER 7191 NEW BEST:: SOT 210488 SOS 63611 HAS SOPS 63602 HAS SOUS 20750 HAS SOUPS 20748 WITH SCORE 20811.611
AT ITER 7249 NEW BEST:: SOT 210491 SOS 63614 HAS SOPS 63605 HAS SOUS 20747 HAS SOUPS 20745 WITH SCORE 20808.614
AT ITER 7269 NEW BEST:: SOT 210479 SOS 63602 HAS SOPS 63593 HAS SOUS 20714 HAS SOUPS 20712 WITH SCORE 20775.602
AT ITER 7275 NEW BEST:: SOT 210455 SOS 69807 HAS SOPS 69798 HAS SOUS 20698 HAS SOUPS 20696 WITH SCORE 20765.807
AT ITER 7304 NEW BEST:: SOT 210445 SOS 69797 HAS SOPS 69788 HAS SOUS 20685 HAS SOUPS 20683 WITH SCORE 20752.797
AT ITER 7348 NEW BEST:: SOT 210467 SOS 69819 HAS SOPS 69810 HAS SOUS 20573 HAS SOUPS 20571 WITH SCORE 20640.819
AT ITER 7473 NEW BEST:: SOT 210464 SOS 69816 HAS SOPS 69807 HAS SOUS 20567 HAS SOUPS 20565 WITH SCORE 20634.816
AT ITER 7486 NEW BEST:: SOT 210457 SOS 69809 HAS SOPS 69800 HAS SOUS 20542 HAS SOUPS 20540 WITH SCORE 20609.809
AT ITER 7523 NEW BEST:: SOT 210457 SOS 69801 HAS SOPS 69792 HAS SOUS 20542 HAS SOUPS 20540 WITH SCORE 20609.801
AT ITER 7533 NEW BEST:: SOT 210448 SOS 69792 HAS SOPS 69783 HAS SOUS 20533 HAS SOUPS 20531 WITH SCORE 20600.792
AT ITER 7607 NEW BEST:: SOT 210448 SOS 69785 HAS SOPS 69776 HAS SOUS 20533 HAS SOUPS 20531 WITH SCORE 20600.785
AT ITER 7620 NEW BEST:: SOT 210434 SOS 69771 HAS SOPS 69762 HAS SOUS 20505 HAS SOUPS 20503 WITH SCORE 20572.771
AT ITER 7687 NEW BEST:: SOT 210398 SOS 69735 HAS SOPS 69726 HAS SOUS 20449 HAS SOUPS 20447 WITH SCORE 20516.735
AT ITER 7692 NEW BEST:: SOT 210397 SOS 69734 HAS SOPS 69725 HAS SOUS 20448 HAS SOUPS 20446 WITH SCORE 20515.734
AT ITER 7719 NEW BEST:: SOT 210391 SOS 69728 HAS SOPS 69719 HAS SOUS 20430 HAS SOUPS 20428 WITH SCORE 20497.728
AT ITER 7740 NEW BEST:: SOT 210387 SOS 69724 HAS SOPS 69715 HAS SOUS 20420 HAS SOUPS 20418 WITH SCORE 20487.724
AT ITER 7746 NEW BEST:: SOT 210383 SOS 69720 HAS SOPS 69711 HAS SOUS 20410 HAS SOUPS 20408 WITH SCORE 20477.72
AT ITER 7750 NEW BEST:: SOT 210379 SOS 69674 HAS SOPS 69665 HAS SOUS 20385 HAS SOUPS 20383 WITH SCORE 20452.674
AT ITER 7766 NEW BEST:: SOT 210398 SOS 69669 HAS SOPS 69660 HAS SOUS 20375 HAS SOUPS 20373 WITH SCORE 20442.669
AT ITER 7790 NEW BEST:: SOT 210396 SOS 69667 HAS SOPS 69658 HAS SOUS 20371 HAS SOUPS 20369 WITH SCORE 20438.667
AT ITER 7855 NEW BEST:: SOT 210393 SOS 69664 HAS SOPS 69655 HAS SOUS 20365 HAS SOUPS 20363 WITH SCORE 20432.664
AT ITER 7860 NEW BEST:: SOT 210391 SOS 69662 HAS SOPS 69653 HAS SOUS 20363 HAS SOUPS 20361 WITH SCORE 20430.662
AT ITER 7885 NEW BEST:: SOT 210370 SOS 69641 HAS SOPS 69632 HAS SOUS 20348 HAS SOUPS 20346 WITH SCORE 20415.641
AT ITER 7888 NEW BEST:: SOT 210380 SOS 69399 HAS SOPS 69390 HAS SOUS 20276 HAS SOUPS 20274 WITH SCORE 20343.399
AT ITER 7922 NEW BEST:: SOT 210391 SOS 69421 HAS SOPS 69412 HAS SOUS 20265 HAS SOUPS 20263 WITH SCORE 20332.421
AT ITER 7986 NEW BEST:: SOT 210390 SOS 69419 HAS SOPS 69410 HAS SOUS 20263 HAS SOUPS 20261 WITH SCORE 20330.419
AT ITER 7987 NEW BEST:: SOT 210340 SOS 69364 HAS SOPS 69355 HAS SOUS 20208 HAS SOUPS 20206 WITH SCORE 20275.364
AT ITER 8029 NEW BEST:: SOT 210346 SOS 69353 HAS SOPS 69344 HAS SOUS 20136 HAS SOUPS 20134 WITH SCORE 20203.353
AT ITER 8077 NEW BEST:: SOT 210342 SOS 69349 HAS SOPS 69340 HAS SOUS 20132 HAS SOUPS 20130 WITH SCORE 20199.349
AT ITER 8135 NEW BEST:: SOT 210332 SOS 69339 HAS SOPS 69330 HAS SOUS 20115 HAS SOUPS 20113 WITH SCORE 20182.339
AT ITER 8281 NEW BEST:: SOT 210319 SOS 69326 HAS SOPS 69317 HAS SOUS 20110 HAS SOUPS 20108 WITH SCORE 20177.326
AT ITER 8353 NEW BEST:: SOT 210306 SOS 69313 HAS SOPS 69304 HAS SOUS 20093 HAS SOUPS 20091 WITH SCORE 20160.313
AT ITER 8363 NEW BEST:: SOT 210306 SOS 69304 HAS SOPS 69295 HAS SOUS 20084 HAS SOUPS 20082 WITH SCORE 20151.304
AT ITER 8429 NEW BEST:: SOT 210294 SOS 69292 HAS SOPS 69283 HAS SOUS 20049 HAS SOUPS 20047 WITH SCORE 20116.292
AT ITER 8470 NEW BEST:: SOT 210294 SOS 69273 HAS SOPS 69264 HAS SOUS 20030 HAS SOUPS 20028 WITH SCORE 20097.273
AT ITER 8497 NEW BEST:: SOT 210271 SOS 69250 HAS SOPS 69241 HAS SOUS 19982 HAS SOUPS 19980 WITH SCORE 20049.25
AT ITER 8526 NEW BEST:: SOT 210259 SOS 69238 HAS SOPS 69229 HAS SOUS 19958 HAS SOUPS 19956 WITH SCORE 20025.238
AT ITER 8553 NEW BEST:: SOT 210259 SOS 69237 HAS SOPS 69228 HAS SOUS 19958 HAS SOUPS 19956 WITH SCORE 20025.237
AT ITER 8561 NEW BEST:: SOT 210259 SOS 69226 HAS SOPS 69217 HAS SOUS 19947 HAS SOUPS 19945 WITH SCORE 20014.226
AT ITER 8590 NEW BEST:: SOT 210242 SOS 69206 HAS SOPS 69197 HAS SOUS 19941 HAS SOUPS 19939 WITH SCORE 20008.206
AT ITER 8630 NEW BEST:: SOT 210254 SOS 69218 HAS SOPS 69209 HAS SOUS 19928 HAS SOUPS 19926 WITH SCORE 19995.218
AT ITER 8669 NEW BEST:: SOT 210253 SOS 69217 HAS SOPS 69208 HAS SOUS 19926 HAS SOUPS 19924 WITH SCORE 19993.217
AT ITER 8707 NEW BEST:: SOT 210250 SOS 69214 HAS SOPS 69205 HAS SOUS 19911 HAS SOUPS 19909 WITH SCORE 19978.214
AT ITER 8729 NEW BEST:: SOT 210247 SOS 69211 HAS SOPS 69202 HAS SOUS 19905 HAS SOUPS 19903 WITH SCORE 19972.211
AT ITER 8811 NEW BEST:: SOT 210244 SOS 69205 HAS SOPS 69196 HAS SOUS 19899 HAS SOUPS 19897 WITH SCORE 19966.205
AT ITER 8857 NEW BEST:: SOT 210224 SOS 69185 HAS SOPS 69176 HAS SOUS 19845 HAS SOUPS 19843 WITH SCORE 19912.185
AT ITER 8874 NEW BEST:: SOT 210221 SOS 69182 HAS SOPS 69173 HAS SOUS 19845 HAS SOUPS 19843 WITH SCORE 19912.182
AT ITER 8888 NEW BEST:: SOT 210221 SOS 69182 HAS SOPS 69173 HAS SOUS 19837 HAS SOUPS 19835 WITH SCORE 19904.182
AT ITER 8891 NEW BEST:: SOT 210205 SOS 69166 HAS SOPS 69157 HAS SOUS 19805 HAS SOUPS 19803 WITH SCORE 19872.166
AT ITER 8900 NEW BEST:: SOT 210194 SOS 69155 HAS SOPS 69146 HAS SOUS 19796 HAS SOUPS 19794 WITH SCORE 19863.155
AT ITER 8937 NEW BEST:: SOT 210192 SOS 69153 HAS SOPS 69144 HAS SOUS 19792 HAS SOUPS 19790 WITH SCORE 19859.153
AT ITER 8983 NEW BEST:: SOT 210182 SOS 69143 HAS SOPS 69134 HAS SOUS 19760 HAS SOUPS 19758 WITH SCORE 19827.143
AT ITER 9051 NEW BEST:: SOT 210167 SOS 69128 HAS SOPS 69119 HAS SOUS 19715 HAS SOUPS 19713 WITH SCORE 19782.128
AT ITER 9056 NEW BEST:: SOT 210149 SOS 69110 HAS SOPS 69101 HAS SOUS 19679 HAS SOUPS 19677 WITH SCORE 19746.11
AT ITER 9077 NEW BEST:: SOT 210134 SOS 69095 HAS SOPS 69086 HAS SOUS 19656 HAS SOUPS 19654 WITH SCORE 19723.095
AT ITER 9106 NEW BEST:: SOT 210106 SOS 69067 HAS SOPS 69058 HAS SOUS 19628 HAS SOUPS 19626 WITH SCORE 19695.067
AT ITER 9128 NEW BEST:: SOT 210095 SOS 69045 HAS SOPS 69036 HAS SOUS 19606 HAS SOUPS 19604 WITH SCORE 19673.045
AT ITER 9130 NEW BEST:: SOT 210094 SOS 69044 HAS SOPS 69035 HAS SOUS 19605 HAS SOUPS 19603 WITH SCORE 19672.044
AT ITER 9165 NEW BEST:: SOT 210075 SOS 69042 HAS SOPS 69033 HAS SOUS 19601 HAS SOUPS 19599 WITH SCORE 19668.042
AT ITER 9211 NEW BEST:: SOT 210043 SOS 69045 HAS SOPS 69036 HAS SOUS 19566 HAS SOUPS 19564 WITH SCORE 19633.045
AT ITER 9358 NEW BEST:: SOT 210039 SOS 69041 HAS SOPS 69032 HAS SOUS 19536 HAS SOUPS 19534 WITH SCORE 19603.041
AT ITER 9372 NEW BEST:: SOT 210027 SOS 69029 HAS SOPS 69020 HAS SOUS 19532 HAS SOUPS 19530 WITH SCORE 19599.029
AT ITER 9396 NEW BEST:: SOT 210024 SOS 69026 HAS SOPS 69017 HAS SOUS 19526 HAS SOUPS 19524 WITH SCORE 19593.026
AT ITER 9414 NEW BEST:: SOT 210015 SOS 69017 HAS SOPS 69008 HAS SOUS 19509 HAS SOUPS 19507 WITH SCORE 19576.017
AT ITER 9436 NEW BEST:: SOT 210013 SOS 69015 HAS SOPS 69006 HAS SOUS 19505 HAS SOUPS 19503 WITH SCORE 19572.015
AT ITER 9493 NEW BEST:: SOT 210013 SOS 69013 HAS SOPS 69004 HAS SOUS 19501 HAS SOUPS 19499 WITH SCORE 19568.013
AT ITER 9549 NEW BEST:: SOT 210013 SOS 69010 HAS SOPS 69001 HAS SOUS 19501 HAS SOUPS 19499 WITH SCORE 19568.01
AT ITER 9590 NEW BEST:: SOT 210013 SOS 69032 HAS SOPS 69023 HAS SOUS 19479 HAS SOUPS 19477 WITH SCORE 19546.032
AT ITER 9607 NEW BEST:: SOT 210006 SOS 69025 HAS SOPS 69016 HAS SOUS 19465 HAS SOUPS 19463 WITH SCORE 19532.025
AT ITER 9646 NEW BEST:: SOT 210007 SOS 68431 HAS SOPS 68422 HAS SOUS 19465 HAS SOUPS 19463 WITH SCORE 19531.431
AT ITER 9703 NEW BEST:: SOT 209988 SOS 68412 HAS SOPS 68403 HAS SOUS 19446 HAS SOUPS 19444 WITH SCORE 19512.412
AT ITER 9761 NEW BEST:: SOT 210000 SOS 68424 HAS SOPS 68415 HAS SOUS 19443 HAS SOUPS 19441 WITH SCORE 19509.424
AT ITER 9766 NEW BEST:: SOT 209999 SOS 68402 HAS SOPS 68393 HAS SOUS 19443 HAS SOUPS 19441 WITH SCORE 19509.402
AT ITER 9803 NEW BEST:: SOT 210011 SOS 68414 HAS SOPS 68405 HAS SOUS 19439 HAS SOUPS 19437 WITH SCORE 19505.414
AT ITER 9810 NEW BEST:: SOT 209982 SOS 68393 HAS SOPS 68384 HAS SOUS 19405 HAS SOUPS 19403 WITH SCORE 19471.393
AT ITER 9831 NEW BEST:: SOT 209971 SOS 68382 HAS SOPS 68373 HAS SOUS 19383 HAS SOUPS 19381 WITH SCORE 19449.382
AT ITER 9834 NEW BEST:: SOT 209966 SOS 68377 HAS SOPS 68368 HAS SOUS 19373 HAS SOUPS 19371 WITH SCORE 19439.377
AT ITER 9841 NEW BEST:: SOT 209978 SOS 68389 HAS SOPS 68380 HAS SOUS 19371 HAS SOUPS 19369 WITH SCORE 19437.389
AT ITER 9916 NEW BEST:: SOT 209977 SOS 68388 HAS SOPS 68379 HAS SOUS 19367 HAS SOUPS 19365 WITH SCORE 19433.388
AT ITER 9964 NEW BEST:: SOT 209977 SOS 68388 HAS SOPS 68379 HAS SOUS 19353 HAS SOUPS 19351 WITH SCORE 19419.388
STATE_SPACE STATES 693820562 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 58 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBNT-PT-S05J20"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PolyORBNT-PT-S05J20, 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 r123-tajo-158961355000640"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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