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.r048-ebro-158902542400600.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 DLCround-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542400600
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K Mar 30 20:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 20:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 10:58 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 10:58 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 28 06:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 28 06:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 27 00:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 27 00:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 871K 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 1590869272341

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

Filename model.pnml
Petri model created: 419 places, 3407 transitions, 13330 arcs.
AT ITER 0 NEW BEST:: SOT 885325 SOS 761883 HAS SOPS 463178 HAS SOUS 84380 HAS SOUPS 60636 WITH SCORE 61397.883
AT ITER 31 NEW BEST:: SOT 885721 SOS 758143 HAS SOPS 462713 HAS SOUS 85992 HAS SOUPS 60596 WITH SCORE 61354.143
AT ITER 34 NEW BEST:: SOT 885596 SOS 755045 HAS SOPS 461039 HAS SOUS 85895 HAS SOUPS 60588 WITH SCORE 61343.045
AT ITER 36 NEW BEST:: SOT 885497 SOS 749036 HAS SOPS 455942 HAS SOUS 85821 HAS SOUPS 60571 WITH SCORE 61320.036
AT ITER 43 NEW BEST:: SOT 884636 SOS 748298 HAS SOPS 454589 HAS SOUS 84546 HAS SOUPS 58824 WITH SCORE 59572.298
AT ITER 47 NEW BEST:: SOT 884598 SOS 745843 HAS SOPS 452134 HAS SOUS 84539 HAS SOUPS 58817 WITH SCORE 59562.843
AT ITER 50 NEW BEST:: SOT 884588 SOS 745823 HAS SOPS 452114 HAS SOUS 84519 HAS SOUPS 58797 WITH SCORE 59542.823
AT ITER 54 NEW BEST:: SOT 884618 SOS 745853 HAS SOPS 452144 HAS SOUS 84504 HAS SOUPS 58782 WITH SCORE 59527.853
AT ITER 64 NEW BEST:: SOT 884554 SOS 744701 HAS SOPS 452016 HAS SOUS 84415 HAS SOUPS 58757 WITH SCORE 59501.701
AT ITER 96 NEW BEST:: SOT 884429 SOS 742451 HAS SOPS 451174 HAS SOUS 84316 HAS SOUPS 58746 WITH SCORE 59488.451
AT ITER 116 NEW BEST:: SOT 885336 SOS 739973 HAS SOPS 450639 HAS SOUS 86283 HAS SOUPS 58624 WITH SCORE 59363.973
AT ITER 123 NEW BEST:: SOT 885780 SOS 740659 HAS SOPS 450720 HAS SOUS 85499 HAS SOUPS 57840 WITH SCORE 58580.659
AT ITER 140 NEW BEST:: SOT 883633 SOS 735529 HAS SOPS 448494 HAS SOUS 83258 HAS SOUPS 55643 WITH SCORE 56378.529
AT ITER 148 NEW BEST:: SOT 883118 SOS 735252 HAS SOPS 447622 HAS SOUS 82437 HAS SOUPS 54386 WITH SCORE 55121.252
AT ITER 151 NEW BEST:: SOT 882233 SOS 729215 HAS SOPS 444913 HAS SOUS 80242 HAS SOUPS 52502 WITH SCORE 53231.215
AT ITER 181 NEW BEST:: SOT 881419 SOS 728640 HAS SOPS 444338 HAS SOUS 77990 HAS SOUPS 50250 WITH SCORE 50978.64
AT ITER 185 NEW BEST:: SOT 881403 SOS 728352 HAS SOPS 444050 HAS SOUS 77974 HAS SOUPS 50234 WITH SCORE 50962.352
AT ITER 186 NEW BEST:: SOT 881701 SOS 724524 HAS SOPS 443358 HAS SOUS 77749 HAS SOUPS 49261 WITH SCORE 49985.524
AT ITER 216 NEW BEST:: SOT 881685 SOS 724252 HAS SOPS 443086 HAS SOUS 77733 HAS SOUPS 49245 WITH SCORE 49969.252
AT ITER 229 NEW BEST:: SOT 881638 SOS 723330 HAS SOPS 442740 HAS SOUS 77658 HAS SOUPS 49206 WITH SCORE 49929.33
AT ITER 237 NEW BEST:: SOT 882744 SOS 720879 HAS SOPS 442151 HAS SOUS 80040 HAS SOUPS 49107 WITH SCORE 49827.879
AT ITER 247 NEW BEST:: SOT 882740 SOS 720835 HAS SOPS 442107 HAS SOUS 80036 HAS SOUPS 49103 WITH SCORE 49823.835
AT ITER 267 NEW BEST:: SOT 882680 SOS 720795 HAS SOPS 442017 HAS SOUS 79875 HAS SOUPS 48938 WITH SCORE 49658.795
AT ITER 271 NEW BEST:: SOT 882743 SOS 720123 HAS SOPS 442017 HAS SOUS 79791 HAS SOUPS 48896 WITH SCORE 49616.123
AT ITER 281 NEW BEST:: SOT 882761 SOS 720141 HAS SOPS 442035 HAS SOUS 79782 HAS SOUPS 48887 WITH SCORE 49607.141
AT ITER 288 NEW BEST:: SOT 883150 SOS 716746 HAS SOPS 441445 HAS SOUS 80042 HAS SOUPS 48647 WITH SCORE 49363.746
AT ITER 293 NEW BEST:: SOT 882925 SOS 716521 HAS SOPS 440989 HAS SOUS 79438 HAS SOUPS 47892 WITH SCORE 48608.521
AT ITER 294 NEW BEST:: SOT 882826 SOS 712324 HAS SOPS 437352 HAS SOUS 79374 HAS SOUPS 47863 WITH SCORE 48575.324
AT ITER 313 NEW BEST:: SOT 883503 SOS 713110 HAS SOPS 437920 HAS SOUS 79391 HAS SOUPS 47763 WITH SCORE 48476.11
AT ITER 324 NEW BEST:: SOT 882879 SOS 712680 HAS SOPS 437674 HAS SOUS 79196 HAS SOUPS 47399 WITH SCORE 48111.68
AT ITER 334 NEW BEST:: SOT 882843 SOS 712338 HAS SOPS 437332 HAS SOUS 79142 HAS SOUPS 47345 WITH SCORE 48057.338
AT ITER 342 NEW BEST:: SOT 882757 SOS 712059 HAS SOPS 437154 HAS SOUS 79015 HAS SOUPS 47275 WITH SCORE 47987.059
AT ITER 360 NEW BEST:: SOT 882930 SOS 702101 HAS SOPS 429244 HAS SOUS 78815 HAS SOUPS 47203 WITH SCORE 47905.101
AT ITER 369 NEW BEST:: SOT 884332 SOS 703703 HAS SOPS 429646 HAS SOUS 77945 HAS SOUPS 46333 WITH SCORE 47036.703
AT ITER 382 NEW BEST:: SOT 884304 SOS 702527 HAS SOPS 429030 HAS SOUS 77892 HAS SOUPS 46315 WITH SCORE 47017.527
AT ITER 407 NEW BEST:: SOT 884906 SOS 703469 HAS SOPS 428952 HAS SOUS 77383 HAS SOUPS 45602 WITH SCORE 46305.469
AT ITER 417 NEW BEST:: SOT 884720 SOS 703190 HAS SOPS 428766 HAS SOUS 77197 HAS SOUPS 45416 WITH SCORE 46119.19
AT ITER 435 NEW BEST:: SOT 884302 SOS 702772 HAS SOPS 428253 HAS SOUS 76918 HAS SOUPS 45109 WITH SCORE 45811.772
AT ITER 454 NEW BEST:: SOT 883158 SOS 700206 HAS SOPS 426053 HAS SOUS 76668 HAS SOUPS 44859 WITH SCORE 45559.206
AT ITER 473 NEW BEST:: SOT 883050 SOS 700098 HAS SOPS 425945 HAS SOUS 76497 HAS SOUPS 44716 WITH SCORE 45416.098
AT ITER 477 NEW BEST:: SOT 883001 SOS 700000 HAS SOPS 425945 HAS SOUS 76448 HAS SOUPS 44716 WITH SCORE 45416.0
AT ITER 480 NEW BEST:: SOT 882588 SOS 699090 HAS SOPS 425560 HAS SOUS 76390 HAS SOUPS 44665 WITH SCORE 45364.09
AT ITER 489 NEW BEST:: SOT 882489 SOS 698925 HAS SOPS 425494 HAS SOUS 76341 HAS SOUPS 44649 WITH SCORE 45347.925
AT ITER 495 NEW BEST:: SOT 882285 SOS 698805 HAS SOPS 425374 HAS SOUS 75749 HAS SOUPS 44057 WITH SCORE 44755.805
AT ITER 501 NEW BEST:: SOT 882285 SOS 698805 HAS SOPS 425256 HAS SOUS 75631 HAS SOUPS 43939 WITH SCORE 44637.805
AT ITER 504 NEW BEST:: SOT 881041 SOS 695911 HAS SOPS 422968 HAS SOUS 75658 HAS SOUPS 43938 WITH SCORE 44633.911
AT ITER 507 NEW BEST:: SOT 881107 SOS 695977 HAS SOPS 422872 HAS SOUS 75562 HAS SOUPS 43842 WITH SCORE 44537.977
AT ITER 511 NEW BEST:: SOT 879633 SOS 691567 HAS SOPS 421709 HAS SOUS 75596 HAS SOUPS 43837 WITH SCORE 44528.567
AT ITER 512 NEW BEST:: SOT 879603 SOS 691507 HAS SOPS 421649 HAS SOUS 75546 HAS SOUPS 43787 WITH SCORE 44478.507
AT ITER 526 NEW BEST:: SOT 879496 SOS 691312 HAS SOPS 421598 HAS SOUS 75501 HAS SOUPS 43774 WITH SCORE 44465.312
AT ITER 528 NEW BEST:: SOT 879423 SOS 691258 HAS SOPS 421656 HAS SOUS 75416 HAS SOUPS 43745 WITH SCORE 44436.258
AT ITER 530 NEW BEST:: SOT 879423 SOS 691258 HAS SOPS 421627 HAS SOUS 75378 HAS SOUPS 43711 WITH SCORE 44402.258
AT ITER 539 NEW BEST:: SOT 878592 SOS 688938 HAS SOPS 421018 HAS SOUS 75347 HAS SOUPS 43673 WITH SCORE 44361.938
AT ITER 547 NEW BEST:: SOT 878198 SOS 688330 HAS SOPS 420700 HAS SOUS 75137 HAS SOUPS 43539 WITH SCORE 44227.33
AT ITER 552 NEW BEST:: SOT 878261 SOS 686083 HAS SOPS 419589 HAS SOUS 75019 HAS SOUPS 43492 WITH SCORE 44178.083
AT ITER 557 NEW BEST:: SOT 878275 SOS 686043 HAS SOPS 419589 HAS SOUS 74965 HAS SOUPS 43492 WITH SCORE 44178.043
AT ITER 565 NEW BEST:: SOT 878407 SOS 686371 HAS SOPS 419665 HAS SOUS 74960 HAS SOUPS 43473 WITH SCORE 44159.371
AT ITER 583 NEW BEST:: SOT 878389 SOS 686353 HAS SOPS 419647 HAS SOUS 74953 HAS SOUPS 43466 WITH SCORE 44152.353
AT ITER 585 NEW BEST:: SOT 878221 SOS 686161 HAS SOPS 419443 HAS SOUS 74797 HAS SOUPS 43320 WITH SCORE 44006.161
AT ITER 594 NEW BEST:: SOT 877895 SOS 689802 HAS SOPS 421083 HAS SOUS 74677 HAS SOUPS 43243 WITH SCORE 43932.802
AT ITER 601 NEW BEST:: SOT 877889 SOS 689370 HAS SOPS 421355 HAS SOUS 74595 HAS SOUPS 43205 WITH SCORE 43894.37
AT ITER 608 NEW BEST:: SOT 877700 SOS 688764 HAS SOPS 421118 HAS SOUS 74685 HAS SOUPS 43185 WITH SCORE 43873.764
AT ITER 616 NEW BEST:: SOT 877346 SOS 687088 HAS SOPS 420271 HAS SOUS 75420 HAS SOUPS 43185 WITH SCORE 43872.088
AT ITER 622 NEW BEST:: SOT 877336 SOS 687068 HAS SOPS 420271 HAS SOUS 75410 HAS SOUPS 43185 WITH SCORE 43872.068
AT ITER 625 NEW BEST:: SOT 876933 SOS 686634 HAS SOPS 420023 HAS SOUS 75395 HAS SOUPS 43170 WITH SCORE 43856.634
AT ITER 627 NEW BEST:: SOT 876933 SOS 686634 HAS SOPS 419995 HAS SOUS 75367 HAS SOUPS 43142 WITH SCORE 43828.634
AT ITER 640 NEW BEST:: SOT 876909 SOS 686610 HAS SOPS 419971 HAS SOUS 75343 HAS SOUPS 43118 WITH SCORE 43804.61
AT ITER 642 NEW BEST:: SOT 876892 SOS 686593 HAS SOPS 419954 HAS SOUS 75326 HAS SOUPS 43101 WITH SCORE 43787.593
AT ITER 665 NEW BEST:: SOT 877617 SOS 687231 HAS SOPS 419854 HAS SOUS 74657 HAS SOUPS 42567 WITH SCORE 43254.231
AT ITER 668 NEW BEST:: SOT 877236 SOS 686656 HAS SOPS 419570 HAS SOUS 74366 HAS SOUPS 42373 WITH SCORE 43059.656
AT ITER 673 NEW BEST:: SOT 877241 SOS 686646 HAS SOPS 419570 HAS SOUS 74351 HAS SOUPS 42373 WITH SCORE 43059.646
AT ITER 682 NEW BEST:: SOT 876497 SOS 682786 HAS SOPS 419412 HAS SOUS 74222 HAS SOUPS 42362 WITH SCORE 43044.786
AT ITER 689 NEW BEST:: SOT 876451 SOS 682800 HAS SOPS 419306 HAS SOUS 73584 HAS SOUPS 41886 WITH SCORE 42568.8
AT ITER 694 NEW BEST:: SOT 876414 SOS 682816 HAS SOPS 419159 HAS SOUS 73588 HAS SOUPS 41873 WITH SCORE 42555.816
AT ITER 725 NEW BEST:: SOT 877000 SOS 683658 HAS SOPS 419361 HAS SOUS 74005 HAS SOUPS 41786 WITH SCORE 42469.658
AT ITER 728 NEW BEST:: SOT 877000 SOS 683658 HAS SOPS 419361 HAS SOUS 74000 HAS SOUPS 41781 WITH SCORE 42464.658
AT ITER 734 NEW BEST:: SOT 876928 SOS 683518 HAS SOPS 419313 HAS SOUS 73948 HAS SOUPS 41753 WITH SCORE 42436.518
AT ITER 739 NEW BEST:: SOT 877063 SOS 683653 HAS SOPS 419373 HAS SOUS 73930 HAS SOUPS 41735 WITH SCORE 42418.653
AT ITER 744 NEW BEST:: SOT 877692 SOS 680550 HAS SOPS 418824 HAS SOUS 75666 HAS SOUPS 41604 WITH SCORE 42284.55
AT ITER 752 NEW BEST:: SOT 877691 SOS 679348 HAS SOPS 417850 HAS SOUS 75652 HAS SOUPS 41590 WITH SCORE 42269.348
AT ITER 765 NEW BEST:: SOT 877948 SOS 679903 HAS SOPS 417660 HAS SOUS 75700 HAS SOUPS 41046 WITH SCORE 41725.903
AT ITER 787 NEW BEST:: SOT 877380 SOS 678671 HAS SOPS 416432 HAS SOUS 75631 HAS SOUPS 40922 WITH SCORE 41600.671
AT ITER 792 NEW BEST:: SOT 877387 SOS 678678 HAS SOPS 416434 HAS SOUS 75630 HAS SOUPS 40921 WITH SCORE 41599.678
AT ITER 795 NEW BEST:: SOT 877398 SOS 678689 HAS SOPS 416356 HAS SOUS 75616 HAS SOUPS 40907 WITH SCORE 41585.689
AT ITER 799 NEW BEST:: SOT 877336 SOS 678565 HAS SOPS 416356 HAS SOUS 75404 HAS SOUPS 40852 WITH SCORE 41530.565
AT ITER 801 NEW BEST:: SOT 877285 SOS 678493 HAS SOPS 416326 HAS SOUS 75353 HAS SOUPS 40822 WITH SCORE 41500.493
AT ITER 814 NEW BEST:: SOT 877261 SOS 678205 HAS SOPS 416208 HAS SOUS 75355 HAS SOUPS 40822 WITH SCORE 41500.205
AT ITER 824 NEW BEST:: SOT 877105 SOS 677974 HAS SOPS 416127 HAS SOUS 75199 HAS SOUPS 40741 WITH SCORE 41418.974
AT ITER 841 NEW BEST:: SOT 877317 SOS 668574 HAS SOPS 408464 HAS SOUS 75081 HAS SOUPS 40733 WITH SCORE 41401.574
AT ITER 858 NEW BEST:: SOT 877440 SOS 668821 HAS SOPS 408464 HAS SOUS 75118 HAS SOUPS 40727 WITH SCORE 41395.821
AT ITER 860 NEW BEST:: SOT 878084 SOS 669425 HAS SOPS 409148 HAS SOUS 75159 HAS SOUPS 40724 WITH SCORE 41393.425
AT ITER 862 NEW BEST:: SOT 878065 SOS 669406 HAS SOPS 409129 HAS SOUS 75140 HAS SOUPS 40705 WITH SCORE 41374.406
AT ITER 865 NEW BEST:: SOT 877422 SOS 669065 HAS SOPS 409947 HAS SOUS 73045 HAS SOUPS 40522 WITH SCORE 41191.065
AT ITER 868 NEW BEST:: SOT 877410 SOS 668021 HAS SOPS 408903 HAS SOUS 73045 HAS SOUPS 40522 WITH SCORE 41190.021
AT ITER 875 NEW BEST:: SOT 877431 SOS 668718 HAS SOPS 409813 HAS SOUS 72897 HAS SOUPS 40449 WITH SCORE 41117.718
AT ITER 878 NEW BEST:: SOT 877372 SOS 668600 HAS SOPS 409813 HAS SOUS 72323 HAS SOUPS 40164 WITH SCORE 40832.6
AT ITER 907 NEW BEST:: SOT 877598 SOS 668974 HAS SOPS 410187 HAS SOUS 72289 HAS SOUPS 40157 WITH SCORE 40825.974
AT ITER 914 NEW BEST:: SOT 878283 SOS 669831 HAS SOPS 410516 HAS SOUS 71998 HAS SOUPS 39866 WITH SCORE 40535.831
AT ITER 928 NEW BEST:: SOT 878264 SOS 669793 HAS SOPS 410516 HAS SOUS 71979 HAS SOUPS 39866 WITH SCORE 40535.793
AT ITER 938 NEW BEST:: SOT 878242 SOS 669760 HAS SOPS 410505 HAS SOUS 71957 HAS SOUPS 39855 WITH SCORE 40524.76
AT ITER 942 NEW BEST:: SOT 878322 SOS 672314 HAS SOPS 411771 HAS SOUS 72046 HAS SOUPS 39540 WITH SCORE 40212.314
AT ITER 961 NEW BEST:: SOT 878906 SOS 672855 HAS SOPS 412398 HAS SOUS 71889 HAS SOUPS 39427 WITH SCORE 40099.855
AT ITER 963 NEW BEST:: SOT 879066 SOS 673045 HAS SOPS 412528 HAS SOUS 71904 HAS SOUPS 39419 WITH SCORE 40092.045
AT ITER 989 NEW BEST:: SOT 878976 SOS 673016 HAS SOPS 412377 HAS SOUS 71798 HAS SOUPS 39258 WITH SCORE 39931.016
AT ITER 995 NEW BEST:: SOT 878925 SOS 672914 HAS SOPS 412377 HAS SOUS 71666 HAS SOUPS 39213 WITH SCORE 39885.914
AT ITER 999 NEW BEST:: SOT 878873 SOS 672810 HAS SOPS 412377 HAS SOUS 71614 HAS SOUPS 39213 WITH SCORE 39885.81
AT ITER 1001 NEW BEST:: SOT 878873 SOS 672810 HAS SOPS 412377 HAS SOUS 71533 HAS SOUPS 39168 WITH SCORE 39840.81
AT ITER 1013 NEW BEST:: SOT 878809 SOS 672917 HAS SOPS 412360 HAS SOUS 71511 HAS SOUPS 39137 WITH SCORE 39809.917
AT ITER 1023 NEW BEST:: SOT 878935 SOS 673018 HAS SOPS 412361 HAS SOUS 71412 HAS SOUPS 39063 WITH SCORE 39736.018
AT ITER 1052 NEW BEST:: SOT 878918 SOS 672209 HAS SOPS 411552 HAS SOUS 71330 HAS SOUPS 38981 WITH SCORE 39653.209
AT ITER 1081 NEW BEST:: SOT 878905 SOS 672196 HAS SOPS 411552 HAS SOUS 71330 HAS SOUPS 38981 WITH SCORE 39653.196
AT ITER 1088 NEW BEST:: SOT 878904 SOS 672195 HAS SOPS 411551 HAS SOUS 71329 HAS SOUPS 38980 WITH SCORE 39652.195
AT ITER 1090 NEW BEST:: SOT 878908 SOS 672267 HAS SOPS 411623 HAS SOUS 71325 HAS SOUPS 38976 WITH SCORE 39648.267
AT ITER 1093 NEW BEST:: SOT 878855 SOS 672421 HAS SOPS 411121 HAS SOUS 71354 HAS SOUPS 38964 WITH SCORE 39636.421
AT ITER 1108 NEW BEST:: SOT 878850 SOS 672411 HAS SOPS 411111 HAS SOUS 71349 HAS SOUPS 38959 WITH SCORE 39631.411
AT ITER 1145 NEW BEST:: SOT 879166 SOS 672727 HAS SOPS 411199 HAS SOUS 71343 HAS SOUPS 38953 WITH SCORE 39625.727
AT ITER 1172 NEW BEST:: SOT 879166 SOS 672727 HAS SOPS 411199 HAS SOUS 71335 HAS SOUPS 38948 WITH SCORE 39620.727
AT ITER 1184 NEW BEST:: SOT 878713 SOS 671821 HAS SOPS 411173 HAS SOUS 70793 HAS SOUPS 38909 WITH SCORE 39580.821
AT ITER 1189 NEW BEST:: SOT 878768 SOS 671177 HAS SOPS 410763 HAS SOUS 70796 HAS SOUPS 38899 WITH SCORE 39570.177
AT ITER 1191 NEW BEST:: SOT 880127 SOS 676385 HAS SOPS 412855 HAS SOUS 68954 HAS SOUPS 38618 WITH SCORE 39294.385
AT ITER 1196 NEW BEST:: SOT 879639 SOS 675409 HAS SOPS 412855 HAS SOUS 68707 HAS SOUPS 38618 WITH SCORE 39293.409
AT ITER 1215 NEW BEST:: SOT 879531 SOS 675310 HAS SOPS 412855 HAS SOUS 68566 HAS SOUPS 38614 WITH SCORE 39289.31
AT ITER 1217 NEW BEST:: SOT 879483 SOS 675225 HAS SOPS 412844 HAS SOUS 68518 HAS SOUPS 38603 WITH SCORE 39278.225
AT ITER 1235 NEW BEST:: SOT 879482 SOS 675224 HAS SOPS 412844 HAS SOUS 68518 HAS SOUPS 38603 WITH SCORE 39278.224
AT ITER 1239 NEW BEST:: SOT 879482 SOS 675224 HAS SOPS 412844 HAS SOUS 67996 HAS SOUPS 38313 WITH SCORE 38988.224
AT ITER 1250 NEW BEST:: SOT 879595 SOS 675337 HAS SOPS 412957 HAS SOUS 67991 HAS SOUPS 38308 WITH SCORE 38983.337
AT ITER 1271 NEW BEST:: SOT 879508 SOS 676297 HAS SOPS 414005 HAS SOUS 66256 HAS SOUPS 38163 WITH SCORE 38839.297
AT ITER 1272 NEW BEST:: SOT 879423 SOS 676212 HAS SOPS 413920 HAS SOUS 66021 HAS SOUPS 37928 WITH SCORE 38604.212
AT ITER 1283 NEW BEST:: SOT 879429 SOS 676000 HAS SOPS 413900 HAS SOUS 66007 HAS SOUPS 37926 WITH SCORE 38602.0
AT ITER 1287 NEW BEST:: SOT 879413 SOS 675896 HAS SOPS 413890 HAS SOUS 66006 HAS SOUPS 37925 WITH SCORE 38600.896
AT ITER 1298 NEW BEST:: SOT 879354 SOS 675466 HAS SOPS 413760 HAS SOUS 65902 HAS SOUPS 37847 WITH SCORE 38522.466
AT ITER 1307 NEW BEST:: SOT 879297 SOS 675409 HAS SOPS 413760 HAS SOUS 65910 HAS SOUPS 37839 WITH SCORE 38514.409
AT ITER 1343 NEW BEST:: SOT 879286 SOS 675387 HAS SOPS 413760 HAS SOUS 65899 HAS SOUPS 37839 WITH SCORE 38514.387
AT ITER 1349 NEW BEST:: SOT 880114 SOS 676215 HAS SOPS 414588 HAS SOUS 65896 HAS SOUPS 37837 WITH SCORE 38513.215
AT ITER 1353 NEW BEST:: SOT 880047 SOS 676091 HAS SOPS 414538 HAS SOUS 65845 HAS SOUPS 37803 WITH SCORE 38479.091
AT ITER 1357 NEW BEST:: SOT 880026 SOS 675937 HAS SOPS 414384 HAS SOUS 65838 HAS SOUPS 37796 WITH SCORE 38471.937
AT ITER 1364 NEW BEST:: SOT 879975 SOS 675860 HAS SOPS 414346 HAS SOUS 65809 HAS SOUPS 37780 WITH SCORE 38455.86
AT ITER 1375 NEW BEST:: SOT 879156 SOS 674998 HAS SOPS 413814 HAS SOUS 65805 HAS SOUPS 37776 WITH SCORE 38450.998
AT ITER 1392 NEW BEST:: SOT 879156 SOS 674883 HAS SOPS 413814 HAS SOUS 65782 HAS SOUPS 37753 WITH SCORE 38427.883
AT ITER 1397 NEW BEST:: SOT 879278 SOS 675024 HAS SOPS 413860 HAS SOUS 65775 HAS SOUPS 37702 WITH SCORE 38377.024
AT ITER 1399 NEW BEST:: SOT 879745 SOS 675958 HAS SOPS 413860 HAS SOUS 66006 HAS SOUPS 37700 WITH SCORE 38375.958
AT ITER 1403 NEW BEST:: SOT 879746 SOS 675667 HAS SOPS 413617 HAS SOUS 66002 HAS SOUPS 37699 WITH SCORE 38374.667
AT ITER 1413 NEW BEST:: SOT 879625 SOS 672125 HAS SOPS 411739 HAS SOUS 65901 HAS SOUPS 37702 WITH SCORE 38374.125
AT ITER 1414 NEW BEST:: SOT 879239 SOS 672093 HAS SOPS 411675 HAS SOUS 65647 HAS SOUPS 37702 WITH SCORE 38374.093
AT ITER 1418 NEW BEST:: SOT 879176 SOS 672123 HAS SOPS 411675 HAS SOUS 65536 HAS SOUPS 37678 WITH SCORE 38350.123
AT ITER 1419 NEW BEST:: SOT 878853 SOS 671079 HAS SOPS 410354 HAS SOUS 65606 HAS SOUPS 37678 WITH SCORE 38349.079
AT ITER 1461 NEW BEST:: SOT 878818 SOS 671024 HAS SOPS 410339 HAS SOUS 65571 HAS SOUPS 37663 WITH SCORE 38334.024
AT ITER 1476 NEW BEST:: SOT 878654 SOS 670750 HAS SOPS 410089 HAS SOUS 65555 HAS SOUPS 37637 WITH SCORE 38307.75
AT ITER 1480 NEW BEST:: SOT 878654 SOS 670750 HAS SOPS 410089 HAS SOUS 65456 HAS SOUPS 37582 WITH SCORE 38252.75
AT ITER 1483 NEW BEST:: SOT 878644 SOS 670700 HAS SOPS 410061 HAS SOUS 65440 HAS SOUPS 37576 WITH SCORE 38246.7
AT ITER 1497 NEW BEST:: SOT 878640 SOS 670692 HAS SOPS 410061 HAS SOUS 65436 HAS SOUPS 37576 WITH SCORE 38246.692
AT ITER 1501 NEW BEST:: SOT 878651 SOS 670351 HAS SOPS 409896 HAS SOUS 65414 HAS SOUPS 37565 WITH SCORE 38235.351
AT ITER 1507 NEW BEST:: SOT 879449 SOS 671149 HAS SOPS 410694 HAS SOUS 65411 HAS SOUPS 37563 WITH SCORE 38234.149
AT ITER 1508 NEW BEST:: SOT 879397 SOS 671097 HAS SOPS 410689 HAS SOUS 65406 HAS SOUPS 37558 WITH SCORE 38229.097
AT ITER 1526 NEW BEST:: SOT 879371 SOS 671093 HAS SOPS 410045 HAS SOUS 65417 HAS SOUPS 37529 WITH SCORE 38200.093
AT ITER 1527 NEW BEST:: SOT 879609 SOS 671549 HAS SOPS 410083 HAS SOUS 65515 HAS SOUPS 37507 WITH SCORE 38178.549
AT ITER 1530 NEW BEST:: SOT 879557 SOS 672165 HAS SOPS 409979 HAS SOUS 65546 HAS SOUPS 37493 WITH SCORE 38165.165
AT ITER 1537 NEW BEST:: SOT 879586 SOS 672897 HAS SOPS 410457 HAS SOUS 65516 HAS SOUPS 37463 WITH SCORE 38135.897
AT ITER 1557 NEW BEST:: SOT 879627 SOS 673139 HAS SOPS 410699 HAS SOUS 65452 HAS SOUPS 37399 WITH SCORE 38072.139
AT ITER 1577 NEW BEST:: SOT 879650 SOS 672387 HAS SOPS 410699 HAS SOUS 65360 HAS SOUPS 37354 WITH SCORE 38026.387
AT ITER 1589 NEW BEST:: SOT 879747 SOS 670591 HAS SOPS 410231 HAS SOUS 65262 HAS SOUPS 37339 WITH SCORE 38009.591
AT ITER 1604 NEW BEST:: SOT 879743 SOS 670608 HAS SOPS 410220 HAS SOUS 65233 HAS SOUPS 37310 WITH SCORE 37980.608
AT ITER 1612 NEW BEST:: SOT 879759 SOS 670496 HAS SOPS 410236 HAS SOUS 65225 HAS SOUPS 37310 WITH SCORE 37980.496
AT ITER 1642 NEW BEST:: SOT 879730 SOS 670337 HAS SOPS 410122 HAS SOUS 65212 HAS SOUPS 37297 WITH SCORE 37967.337
AT ITER 1659 NEW BEST:: SOT 879634 SOS 670193 HAS SOPS 410122 HAS SOUS 64883 HAS SOUPS 37114 WITH SCORE 37784.193
AT ITER 1670 NEW BEST:: SOT 879471 SOS 669929 HAS SOPS 409976 HAS SOUS 64719 HAS SOUPS 37017 WITH SCORE 37686.929
AT ITER 1683 NEW BEST:: SOT 880095 SOS 670524 HAS SOPS 410629 HAS SOUS 64665 HAS SOUPS 36964 WITH SCORE 37634.524
AT ITER 1700 NEW BEST:: SOT 878878 SOS 668996 HAS SOPS 409723 HAS SOUS 64514 HAS SOUPS 36964 WITH SCORE 37632.996
AT ITER 1720 NEW BEST:: SOT 878605 SOS 668037 HAS SOPS 409251 HAS SOUS 64772 HAS SOUPS 36905 WITH SCORE 37573.037
AT ITER 1737 NEW BEST:: SOT 878258 SOS 667078 HAS SOPS 408964 HAS SOUS 64737 HAS SOUPS 36902 WITH SCORE 37569.078
AT ITER 1738 NEW BEST:: SOT 879297 SOS 664998 HAS SOPS 408740 HAS SOUS 65922 HAS SOUPS 36881 WITH SCORE 37545.998
AT ITER 1742 NEW BEST:: SOT 879275 SOS 664965 HAS SOPS 408531 HAS SOUS 65922 HAS SOUPS 36870 WITH SCORE 37534.965
AT ITER 1750 NEW BEST:: SOT 879275 SOS 664965 HAS SOPS 408531 HAS SOUS 65895 HAS SOUPS 36855 WITH SCORE 37519.965
AT ITER 1769 NEW BEST:: SOT 879263 SOS 664941 HAS SOPS 408531 HAS SOUS 65883 HAS SOUPS 36855 WITH SCORE 37519.941
AT ITER 1776 NEW BEST:: SOT 879318 SOS 665001 HAS SOPS 408561 HAS SOUS 65873 HAS SOUPS 36845 WITH SCORE 37510.001
AT ITER 1777 NEW BEST:: SOT 880308 SOS 667080 HAS SOPS 409155 HAS SOUS 65658 HAS SOUPS 36729 WITH SCORE 37396.08
AT ITER 1786 NEW BEST:: SOT 880298 SOS 659490 HAS SOPS 401565 HAS SOUS 65646 HAS SOUPS 36717 WITH SCORE 37376.49
AT ITER 1789 NEW BEST:: SOT 880298 SOS 659490 HAS SOPS 401565 HAS SOUS 65619 HAS SOUPS 36702 WITH SCORE 37361.49
AT ITER 1792 NEW BEST:: SOT 880972 SOS 665284 HAS SOPS 402897 HAS SOUS 65762 HAS SOUPS 36678 WITH SCORE 37343.284
AT ITER 1798 NEW BEST:: SOT 880925 SOS 665190 HAS SOPS 402850 HAS SOUS 65659 HAS SOUPS 36626 WITH SCORE 37291.19
AT ITER 1809 NEW BEST:: SOT 880905 SOS 665192 HAS SOPS 402852 HAS SOUS 65647 HAS SOUPS 36614 WITH SCORE 37279.192
AT ITER 1825 NEW BEST:: SOT 880671 SOS 664958 HAS SOPS 402618 HAS SOUS 65647 HAS SOUPS 36614 WITH SCORE 37278.958
AT ITER 1857 NEW BEST:: SOT 880653 SOS 664680 HAS SOPS 402820 HAS SOUS 65572 HAS SOUPS 36569 WITH SCORE 37233.68
AT ITER 1873 NEW BEST:: SOT 880651 SOS 664678 HAS SOPS 402820 HAS SOUS 65568 HAS SOUPS 36565 WITH SCORE 37229.678
AT ITER 1882 NEW BEST:: SOT 880605 SOS 665494 HAS SOPS 403007 HAS SOUS 65540 HAS SOUPS 36533 WITH SCORE 37198.494
AT ITER 1908 NEW BEST:: SOT 880039 SOS 664335 HAS SOPS 402016 HAS SOUS 65577 HAS SOUPS 36527 WITH SCORE 37191.335
AT ITER 1928 NEW BEST:: SOT 880045 SOS 664334 HAS SOPS 402575 HAS SOUS 65540 HAS SOUPS 36525 WITH SCORE 37189.334
AT ITER 1930 NEW BEST:: SOT 879957 SOS 662750 HAS SOPS 401695 HAS SOUS 65435 HAS SOUPS 36464 WITH SCORE 37126.75
AT ITER 1932 NEW BEST:: SOT 880295 SOS 663443 HAS SOPS 402315 HAS SOUS 65327 HAS SOUPS 36399 WITH SCORE 37062.443
AT ITER 1935 NEW BEST:: SOT 880545 SOS 663722 HAS SOPS 402440 HAS SOUS 65256 HAS SOUPS 36338 WITH SCORE 37001.722
AT ITER 1939 NEW BEST:: SOT 879015 SOS 659087 HAS SOPS 400967 HAS SOUS 65097 HAS SOUPS 36335 WITH SCORE 36994.087
AT ITER 1960 NEW BEST:: SOT 878898 SOS 657984 HAS SOPS 400791 HAS SOUS 64854 HAS SOUPS 36140 WITH SCORE 36797.984
AT ITER 1965 NEW BEST:: SOT 878664 SOS 657750 HAS SOPS 400557 HAS SOUS 64854 HAS SOUPS 36140 WITH SCORE 36797.75
AT ITER 1977 NEW BEST:: SOT 878631 SOS 656733 HAS SOPS 399969 HAS SOUS 64833 HAS SOUPS 36119 WITH SCORE 36775.733
AT ITER 1997 NEW BEST:: SOT 878582 SOS 656219 HAS SOPS 399455 HAS SOUS 64774 HAS SOUPS 36060 WITH SCORE 36716.219
AT ITER 2016 NEW BEST:: SOT 878540 SOS 656118 HAS SOPS 399406 HAS SOUS 64666 HAS SOUPS 36011 WITH SCORE 36667.118
AT ITER 2022 NEW BEST:: SOT 878528 SOS 656106 HAS SOPS 399394 HAS SOUS 64666 HAS SOUPS 36011 WITH SCORE 36667.106
AT ITER 2033 NEW BEST:: SOT 878534 SOS 655911 HAS SOPS 399247 HAS SOUS 64660 HAS SOUPS 36008 WITH SCORE 36663.911
AT ITER 2040 NEW BEST:: SOT 878358 SOS 655717 HAS SOPS 399143 HAS SOUS 64624 HAS SOUPS 35972 WITH SCORE 36627.717
AT ITER 2043 NEW BEST:: SOT 878358 SOS 655681 HAS SOPS 399143 HAS SOUS 64588 HAS SOUPS 35972 WITH SCORE 36627.681
AT ITER 2080 NEW BEST:: SOT 878352 SOS 655671 HAS SOPS 399141 HAS SOUS 64582 HAS SOUPS 35970 WITH SCORE 36625.671
AT ITER 2082 NEW BEST:: SOT 878317 SOS 655636 HAS SOPS 399141 HAS SOUS 64582 HAS SOUPS 35970 WITH SCORE 36625.636
AT ITER 2083 NEW BEST:: SOT 878307 SOS 655516 HAS SOPS 399131 HAS SOUS 64572 HAS SOUPS 35960 WITH SCORE 36615.516
AT ITER 2085 NEW BEST:: SOT 878293 SOS 655484 HAS SOPS 399119 HAS SOUS 64570 HAS SOUPS 35960 WITH SCORE 36615.484
AT ITER 2089 NEW BEST:: SOT 877760 SOS 654865 HAS SOPS 398671 HAS SOUS 64517 HAS SOUPS 35957 WITH SCORE 36611.865
AT ITER 2109 NEW BEST:: SOT 877235 SOS 654439 HAS SOPS 398047 HAS SOUS 64616 HAS SOUPS 35957 WITH SCORE 36611.439
AT ITER 2113 NEW BEST:: SOT 877144 SOS 654257 HAS SOPS 398047 HAS SOUS 64041 HAS SOUPS 35697 WITH SCORE 36351.257
AT ITER 2130 NEW BEST:: SOT 877144 SOS 654223 HAS SOPS 398047 HAS SOUS 64007 HAS SOUPS 35697 WITH SCORE 36351.223
AT ITER 2134 NEW BEST:: SOT 876488 SOS 652956 HAS SOPS 398002 HAS SOUS 63748 HAS SOUPS 35670 WITH SCORE 36322.956
AT ITER 2161 NEW BEST:: SOT 876428 SOS 652896 HAS SOPS 397942 HAS SOUS 63748 HAS SOUPS 35670 WITH SCORE 36322.896
AT ITER 2178 NEW BEST:: SOT 876428 SOS 652896 HAS SOPS 397942 HAS SOUS 63715 HAS SOUPS 35652 WITH SCORE 36304.896
AT ITER 2204 NEW BEST:: SOT 876438 SOS 652736 HAS SOPS 397942 HAS SOUS 63705 HAS SOUPS 35652 WITH SCORE 36304.736
AT ITER 2207 NEW BEST:: SOT 876564 SOS 653086 HAS SOPS 398026 HAS SOUS 63705 HAS SOUPS 35638 WITH SCORE 36291.086
AT ITER 2209 NEW BEST:: SOT 876222 SOS 652744 HAS SOPS 397684 HAS SOUS 63498 HAS SOUPS 35523 WITH SCORE 36175.744
AT ITER 2245 NEW BEST:: SOT 876202 SOS 652384 HAS SOPS 397644 HAS SOUS 63476 HAS SOUPS 35521 WITH SCORE 36173.384
AT ITER 2282 NEW BEST:: SOT 876173 SOS 652297 HAS SOPS 397557 HAS SOUS 63447 HAS SOUPS 35492 WITH SCORE 36144.297
AT ITER 2287 NEW BEST:: SOT 876159 SOS 652269 HAS SOPS 397529 HAS SOUS 63433 HAS SOUPS 35478 WITH SCORE 36130.269
AT ITER 2312 NEW BEST:: SOT 876170 SOS 652280 HAS SOPS 397535 HAS SOUS 63431 HAS SOUPS 35476 WITH SCORE 36128.28
AT ITER 2315 NEW BEST:: SOT 875954 SOS 652064 HAS SOPS 397319 HAS SOUS 63431 HAS SOUPS 35476 WITH SCORE 36128.064
AT ITER 2321 NEW BEST:: SOT 875945 SOS 652046 HAS SOPS 397319 HAS SOUS 63406 HAS SOUPS 35460 WITH SCORE 36112.046
AT ITER 2322 NEW BEST:: SOT 875936 SOS 652037 HAS SOPS 397319 HAS SOUS 63406 HAS SOUPS 35460 WITH SCORE 36112.037
AT ITER 2324 NEW BEST:: SOT 875820 SOS 651901 HAS SOPS 397243 HAS SOUS 63400 HAS SOUPS 35454 WITH SCORE 36105.901
AT ITER 2350 NEW BEST:: SOT 875760 SOS 651853 HAS SOPS 397171 HAS SOUS 63412 HAS SOUPS 35454 WITH SCORE 36105.853
AT ITER 2373 NEW BEST:: SOT 875646 SOS 651739 HAS SOPS 397057 HAS SOUS 63412 HAS SOUPS 35454 WITH SCORE 36105.739
AT ITER 2381 NEW BEST:: SOT 875511 SOS 651665 HAS SOPS 397225 HAS SOUS 62987 HAS SOUPS 35413 WITH SCORE 36064.665
AT ITER 2388 NEW BEST:: SOT 875420 SOS 651574 HAS SOPS 397134 HAS SOUS 62936 HAS SOUPS 35362 WITH SCORE 36013.574
AT ITER 2399 NEW BEST:: SOT 875258 SOS 651412 HAS SOPS 396972 HAS SOUS 62918 HAS SOUPS 35352 WITH SCORE 36003.412
AT ITER 2408 NEW BEST:: SOT 875167 SOS 651229 HAS SOPS 396927 HAS SOUS 62894 HAS SOUPS 35351 WITH SCORE 36002.229
AT ITER 2413 NEW BEST:: SOT 875244 SOS 651306 HAS SOPS 396901 HAS SOUS 62868 HAS SOUPS 35325 WITH SCORE 35976.306
AT ITER 2419 NEW BEST:: SOT 875233 SOS 651163 HAS SOPS 396879 HAS SOUS 62857 HAS SOUPS 35325 WITH SCORE 35976.163
AT ITER 2429 NEW BEST:: SOT 875191 SOS 651079 HAS SOPS 396879 HAS SOUS 62815 HAS SOUPS 35325 WITH SCORE 35976.079
AT ITER 2432 NEW BEST:: SOT 875193 SOS 649942 HAS SOPS 395742 HAS SOUS 62800 HAS SOUPS 35310 WITH SCORE 35959.942
AT ITER 2440 NEW BEST:: SOT 875193 SOS 649967 HAS SOPS 395742 HAS SOUS 62823 HAS SOUPS 35308 WITH SCORE 35957.967
AT ITER 2442 NEW BEST:: SOT 874965 SOS 649695 HAS SOPS 395470 HAS SOUS 62672 HAS SOUPS 35157 WITH SCORE 35806.695
AT ITER 2443 NEW BEST:: SOT 874830 SOS 649490 HAS SOPS 395370 HAS SOUS 62559 HAS SOUPS 35079 WITH SCORE 35728.49
AT ITER 2460 NEW BEST:: SOT 874830 SOS 649490 HAS SOPS 395370 HAS SOUS 62541 HAS SOUPS 35069 WITH SCORE 35718.49
AT ITER 2468 NEW BEST:: SOT 874884 SOS 649598 HAS SOPS 395370 HAS SOUS 62550 HAS SOUPS 35044 WITH SCORE 35693.598
AT ITER 2475 NEW BEST:: SOT 874881 SOS 649592 HAS SOPS 395370 HAS SOUS 62547 HAS SOUPS 35044 WITH SCORE 35693.592
AT ITER 2476 NEW BEST:: SOT 874646 SOS 649353 HAS SOPS 395257 HAS SOUS 62539 HAS SOUPS 35036 WITH SCORE 35685.353
AT ITER 2479 NEW BEST:: SOT 875159 SOS 651219 HAS SOPS 396097 HAS SOUS 61542 HAS SOUPS 34926 WITH SCORE 35577.219
AT ITER 2518 NEW BEST:: SOT 875151 SOS 651203 HAS SOPS 396097 HAS SOUS 61534 HAS SOUPS 34926 WITH SCORE 35577.203
AT ITER 2527 NEW BEST:: SOT 875551 SOS 646050 HAS SOPS 390736 HAS SOUS 61536 HAS SOUPS 34925 WITH SCORE 35571.05
AT ITER 2539 NEW BEST:: SOT 875512 SOS 645545 HAS SOPS 390621 HAS SOUS 61523 HAS SOUPS 34912 WITH SCORE 35557.545
AT ITER 2550 NEW BEST:: SOT 875509 SOS 645539 HAS SOPS 390615 HAS SOUS 61520 HAS SOUPS 34909 WITH SCORE 35554.539
AT ITER 2579 NEW BEST:: SOT 875506 SOS 645463 HAS SOPS 390612 HAS SOUS 61444 HAS SOUPS 34906 WITH SCORE 35551.463
AT ITER 2580 NEW BEST:: SOT 875053 SOS 645001 HAS SOPS 390339 HAS SOUS 61467 HAS SOUPS 34881 WITH SCORE 35526.001
AT ITER 2587 NEW BEST:: SOT 874918 SOS 643336 HAS SOPS 390114 HAS SOUS 61332 HAS SOUPS 34836 WITH SCORE 35479.336
AT ITER 2635 NEW BEST:: SOT 874877 SOS 642598 HAS SOPS 389376 HAS SOUS 61291 HAS SOUPS 34795 WITH SCORE 35437.598
AT ITER 2650 NEW BEST:: SOT 874840 SOS 642561 HAS SOPS 389376 HAS SOUS 61291 HAS SOUPS 34795 WITH SCORE 35437.561
AT ITER 2656 NEW BEST:: SOT 874930 SOS 643101 HAS SOPS 389661 HAS SOUS 61276 HAS SOUPS 34780 WITH SCORE 35423.101
AT ITER 2672 NEW BEST:: SOT 874918 SOS 643089 HAS SOPS 389649 HAS SOUS 61276 HAS SOUPS 34780 WITH SCORE 35423.089
AT ITER 2676 NEW BEST:: SOT 874848 SOS 643012 HAS SOPS 389593 HAS SOUS 61276 HAS SOUPS 34773 WITH SCORE 35416.012
AT ITER 2717 NEW BEST:: SOT 874716 SOS 642484 HAS SOPS 389317 HAS SOUS 61264 HAS SOUPS 34773 WITH SCORE 35415.484
AT ITER 2726 NEW BEST:: SOT 874707 SOS 642466 HAS SOPS 389317 HAS SOUS 61255 HAS SOUPS 34773 WITH SCORE 35415.466
AT ITER 2736 NEW BEST:: SOT 874680 SOS 642439 HAS SOPS 389317 HAS SOUS 61255 HAS SOUPS 34773 WITH SCORE 35415.439
AT ITER 2762 NEW BEST:: SOT 874654 SOS 641922 HAS SOPS 389296 HAS SOUS 61161 HAS SOUPS 34710 WITH SCORE 35351.922
AT ITER 2773 NEW BEST:: SOT 874495 SOS 641642 HAS SOPS 389218 HAS SOUS 61120 HAS SOUPS 34672 WITH SCORE 35313.642
AT ITER 2778 NEW BEST:: SOT 873706 SOS 637722 HAS SOPS 387457 HAS SOUS 61048 HAS SOUPS 34648 WITH SCORE 35285.722
AT ITER 2780 NEW BEST:: SOT 873676 SOS 637407 HAS SOPS 387268 HAS SOUS 61024 HAS SOUPS 34633 WITH SCORE 35270.407
AT ITER 2793 NEW BEST:: SOT 873660 SOS 637374 HAS SOPS 387260 HAS SOUS 61007 HAS SOUPS 34625 WITH SCORE 35262.374
AT ITER 2843 NEW BEST:: SOT 873657 SOS 637494 HAS SOPS 387380 HAS SOUS 60987 HAS SOUPS 34605 WITH SCORE 35242.494
AT ITER 2863 NEW BEST:: SOT 873651 SOS 637440 HAS SOPS 387323 HAS SOUS 60987 HAS SOUPS 34602 WITH SCORE 35239.44
AT ITER 2889 NEW BEST:: SOT 873634 SOS 635961 HAS SOPS 385844 HAS SOUS 60987 HAS SOUPS 34602 WITH SCORE 35237.961
AT ITER 2900 NEW BEST:: SOT 873319 SOS 635601 HAS SOPS 385574 HAS SOUS 60987 HAS SOUPS 34602 WITH SCORE 35237.601
AT ITER 2905 NEW BEST:: SOT 873179 SOS 635396 HAS SOPS 385406 HAS SOUS 60858 HAS SOUPS 34526 WITH SCORE 35161.396
AT ITER 2919 NEW BEST:: SOT 873009 SOS 635260 HAS SOPS 385202 HAS SOUS 60892 HAS SOUPS 34526 WITH SCORE 35161.26
AT ITER 2927 NEW BEST:: SOT 873009 SOS 635208 HAS SOPS 385202 HAS SOUS 60840 HAS SOUPS 34526 WITH SCORE 35161.208
AT ITER 2928 NEW BEST:: SOT 873009 SOS 635208 HAS SOPS 385202 HAS SOUS 60804 HAS SOUPS 34506 WITH SCORE 35141.208
AT ITER 2931 NEW BEST:: SOT 872993 SOS 635184 HAS SOPS 385190 HAS SOUS 60796 HAS SOUPS 34500 WITH SCORE 35135.184
AT ITER 2939 NEW BEST:: SOT 872899 SOS 636319 HAS SOPS 385525 HAS SOUS 60550 HAS SOUPS 34491 WITH SCORE 35127.319
AT ITER 2979 NEW BEST:: SOT 872807 SOS 636229 HAS SOPS 385431 HAS SOUS 60575 HAS SOUPS 34462 WITH SCORE 35098.229
AT ITER 2997 NEW BEST:: SOT 872457 SOS 635949 HAS SOPS 385011 HAS SOUS 60645 HAS SOUPS 34462 WITH SCORE 35097.949
AT ITER 3006 NEW BEST:: SOT 872188 SOS 629199 HAS SOPS 379253 HAS SOUS 60651 HAS SOUPS 34468 WITH SCORE 35097.199
AT ITER 3014 NEW BEST:: SOT 872286 SOS 629311 HAS SOPS 379337 HAS SOUS 60638 HAS SOUPS 34450 WITH SCORE 35079.311
AT ITER 3040 NEW BEST:: SOT 872238 SOS 629269 HAS SOPS 379283 HAS SOUS 60644 HAS SOUPS 34450 WITH SCORE 35079.269
AT ITER 3045 NEW BEST:: SOT 872237 SOS 629268 HAS SOPS 379283 HAS SOUS 60644 HAS SOUPS 34450 WITH SCORE 35079.268
AT ITER 3051 NEW BEST:: SOT 872204 SOS 629235 HAS SOPS 379283 HAS SOUS 60644 HAS SOUPS 34450 WITH SCORE 35079.235
AT ITER 3081 NEW BEST:: SOT 872200 SOS 629231 HAS SOPS 379279 HAS SOUS 60640 HAS SOUPS 34446 WITH SCORE 35075.231
AT ITER 3087 NEW BEST:: SOT 871970 SOS 628959 HAS SOPS 379112 HAS SOUS 60619 HAS SOUPS 34425 WITH SCORE 35053.959
AT ITER 3130 NEW BEST:: SOT 871835 SOS 627969 HAS SOPS 378122 HAS SOUS 60574 HAS SOUPS 34380 WITH SCORE 35007.969
AT ITER 3131 NEW BEST:: SOT 872357 SOS 628491 HAS SOPS 378309 HAS SOUS 60483 HAS SOUPS 34289 WITH SCORE 34917.491
AT ITER 3147 NEW BEST:: SOT 872403 SOS 628537 HAS SOPS 378309 HAS SOUS 60465 HAS SOUPS 34279 WITH SCORE 34907.537
AT ITER 3148 NEW BEST:: SOT 872521 SOS 628655 HAS SOPS 378300 HAS SOUS 60460 HAS SOUPS 34274 WITH SCORE 34902.655
AT ITER 3199 NEW BEST:: SOT 872824 SOS 629447 HAS SOPS 378498 HAS SOUS 60403 HAS SOUPS 34230 WITH SCORE 34859.447
AT ITER 3203 NEW BEST:: SOT 872824 SOS 629267 HAS SOPS 378486 HAS SOUS 60367 HAS SOUPS 34206 WITH SCORE 34835.267
AT ITER 3219 NEW BEST:: SOT 872685 SOS 626895 HAS SOPS 377218 HAS SOUS 60286 HAS SOUPS 34194 WITH SCORE 34820.895
AT ITER 3225 NEW BEST:: SOT 872655 SOS 626865 HAS SOPS 377188 HAS SOUS 60286 HAS SOUPS 34194 WITH SCORE 34820.865
AT ITER 3248 NEW BEST:: SOT 872630 SOS 626415 HAS SOPS 376738 HAS SOUS 60261 HAS SOUPS 34169 WITH SCORE 34795.415
AT ITER 3252 NEW BEST:: SOT 872617 SOS 626845 HAS SOPS 377078 HAS SOUS 60264 HAS SOUPS 34166 WITH SCORE 34792.845
AT ITER 3281 NEW BEST:: SOT 872631 SOS 626859 HAS SOPS 377082 HAS SOUS 60262 HAS SOUPS 34164 WITH SCORE 34790.859
AT ITER 3294 NEW BEST:: SOT 872622 SOS 626850 HAS SOPS 377073 HAS SOUS 60253 HAS SOUPS 34155 WITH SCORE 34781.85
AT ITER 3318 NEW BEST:: SOT 872738 SOS 627992 HAS SOPS 377853 HAS SOUS 59243 HAS SOUPS 34095 WITH SCORE 34722.992
AT ITER 3330 NEW BEST:: SOT 872706 SOS 628488 HAS SOPS 378349 HAS SOUS 59214 HAS SOUPS 34066 WITH SCORE 34694.488
AT ITER 3351 NEW BEST:: SOT 872641 SOS 628408 HAS SOPS 378292 HAS SOUS 59212 HAS SOUPS 34058 WITH SCORE 34686.408
AT ITER 3353 NEW BEST:: SOT 872666 SOS 627807 HAS SOPS 378086 HAS SOUS 59208 HAS SOUPS 34056 WITH SCORE 34683.807
AT ITER 3360 NEW BEST:: SOT 872654 SOS 627795 HAS SOPS 378086 HAS SOUS 59208 HAS SOUPS 34056 WITH SCORE 34683.795
AT ITER 3368 NEW BEST:: SOT 872660 SOS 627807 HAS SOPS 378086 HAS SOUS 59190 HAS SOUPS 34041 WITH SCORE 34668.807
AT ITER 3373 NEW BEST:: SOT 872624 SOS 632318 HAS SOPS 379555 HAS SOUS 59248 HAS SOUPS 34021 WITH SCORE 34653.318
AT ITER 3400 NEW BEST:: SOT 872449 SOS 632178 HAS SOPS 379345 HAS SOUS 59283 HAS SOUPS 34021 WITH SCORE 34653.178
AT ITER 3402 NEW BEST:: SOT 872388 SOS 632108 HAS SOPS 379275 HAS SOUS 59265 HAS SOUPS 34003 WITH SCORE 34635.108
AT ITER 3414 NEW BEST:: SOT 872415 SOS 631733 HAS SOPS 379341 HAS SOUS 59232 HAS SOUPS 33999 WITH SCORE 34630.733
AT ITER 3418 NEW BEST:: SOT 872350 SOS 631634 HAS SOPS 379310 HAS SOUS 59167 HAS SOUPS 33968 WITH SCORE 34599.634
AT ITER 3431 NEW BEST:: SOT 872321 SOS 631605 HAS SOPS 379310 HAS SOUS 59167 HAS SOUPS 33968 WITH SCORE 34599.605
AT ITER 3434 NEW BEST:: SOT 872317 SOS 631533 HAS SOPS 379238 HAS SOUS 59154 HAS SOUPS 33955 WITH SCORE 34586.533
AT ITER 3452 NEW BEST:: SOT 872317 SOS 631413 HAS SOPS 379246 HAS SOUS 59146 HAS SOUPS 33955 WITH SCORE 34586.413
AT ITER 3472 NEW BEST:: SOT 872284 SOS 631059 HAS SOPS 378420 HAS SOUS 59136 HAS SOUPS 33915 WITH SCORE 34546.059
AT ITER 3492 NEW BEST:: SOT 872251 SOS 631026 HAS SOPS 378420 HAS SOUS 59136 HAS SOUPS 33915 WITH SCORE 34546.026
AT ITER 3493 NEW BEST:: SOT 872237 SOS 630998 HAS SOPS 378420 HAS SOUS 59122 HAS SOUPS 33915 WITH SCORE 34545.998
AT ITER 3494 NEW BEST:: SOT 872237 SOS 630987 HAS SOPS 378420 HAS SOUS 59111 HAS SOUPS 33915 WITH SCORE 34545.987
AT ITER 3496 NEW BEST:: SOT 872311 SOS 630699 HAS SOPS 379436 HAS SOUS 59017 HAS SOUPS 33899 WITH SCORE 34529.699
AT ITER 3577 NEW BEST:: SOT 872273 SOS 633250 HAS SOPS 380141 HAS SOUS 58989 HAS SOUPS 33871 WITH SCORE 34504.25
AT ITER 3604 NEW BEST:: SOT 872222 SOS 633148 HAS SOPS 380141 HAS SOUS 58938 HAS SOUPS 33871 WITH SCORE 34504.148
AT ITER 3606 NEW BEST:: SOT 872231 SOS 633149 HAS SOPS 380141 HAS SOUS 58912 HAS SOUPS 33861 WITH SCORE 34494.149
AT ITER 3612 NEW BEST:: SOT 872209 SOS 633105 HAS SOPS 380141 HAS SOUS 58872 HAS SOUPS 33851 WITH SCORE 34484.105
AT ITER 3619 NEW BEST:: SOT 872246 SOS 632871 HAS SOPS 380238 HAS SOUS 58821 HAS SOUPS 33800 WITH SCORE 34432.871
AT ITER 3643 NEW BEST:: SOT 872225 SOS 632829 HAS SOPS 380196 HAS SOUS 58737 HAS SOUPS 33716 WITH SCORE 34348.829
AT ITER 3737 NEW BEST:: SOT 872003 SOS 632233 HAS SOPS 380062 HAS SOUS 58713 HAS SOUPS 33714 WITH SCORE 34346.233
AT ITER 3746 NEW BEST:: SOT 872130 SOS 632399 HAS SOPS 380228 HAS SOUS 58703 HAS SOUPS 33704 WITH SCORE 34336.399
AT ITER 3759 NEW BEST:: SOT 871501 SOS 631644 HAS SOPS 379788 HAS SOUS 58641 HAS SOUPS 33642 WITH SCORE 34273.644
AT ITER 3797 NEW BEST:: SOT 871402 SOS 631545 HAS SOPS 379743 HAS SOUS 58632 HAS SOUPS 33633 WITH SCORE 34264.545
AT ITER 3845 NEW BEST:: SOT 872222 SOS 632537 HAS SOPS 380243 HAS SOUS 58631 HAS SOUPS 33632 WITH SCORE 34264.537
AT ITER 3847 NEW BEST:: SOT 872204 SOS 633029 HAS SOPS 380633 HAS SOUS 58625 HAS SOUPS 33620 WITH SCORE 34253.029
AT ITER 3879 NEW BEST:: SOT 872012 SOS 632741 HAS SOPS 380633 HAS SOUS 58501 HAS SOUPS 33592 WITH SCORE 34224.741
AT ITER 3888 NEW BEST:: SOT 871892 SOS 632631 HAS SOPS 380633 HAS SOUS 58338 HAS SOUPS 33578 WITH SCORE 34210.631
AT ITER 3895 NEW BEST:: SOT 871900 SOS 632569 HAS SOPS 380565 HAS SOUS 58281 HAS SOUPS 33521 WITH SCORE 34153.569
AT ITER 3935 NEW BEST:: SOT 872093 SOS 632786 HAS SOPS 380680 HAS SOUS 58267 HAS SOUPS 33507 WITH SCORE 34139.786
AT ITER 3938 NEW BEST:: SOT 872090 SOS 632972 HAS SOPS 380674 HAS SOUS 58270 HAS SOUPS 33498 WITH SCORE 34130.972
AT ITER 3950 NEW BEST:: SOT 872030 SOS 632912 HAS SOPS 380667 HAS SOUS 58263 HAS SOUPS 33491 WITH SCORE 34123.912
AT ITER 3952 NEW BEST:: SOT 871877 SOS 632716 HAS SOPS 380672 HAS SOUS 58230 HAS SOUPS 33458 WITH SCORE 34090.716
AT ITER 3955 NEW BEST:: SOT 871811 SOS 629404 HAS SOPS 377808 HAS SOUS 58180 HAS SOUPS 33436 WITH SCORE 34065.404
AT ITER 3960 NEW BEST:: SOT 871697 SOS 629290 HAS SOPS 377694 HAS SOUS 58099 HAS SOUPS 33391 WITH SCORE 34020.29
AT ITER 3964 NEW BEST:: SOT 871697 SOS 629290 HAS SOPS 377694 HAS SOUS 58095 HAS SOUPS 33387 WITH SCORE 34016.29
AT ITER 4003 NEW BEST:: SOT 870930 SOS 628512 HAS SOPS 376938 HAS SOUS 58057 HAS SOUPS 33372 WITH SCORE 34000.512
AT ITER 4018 NEW BEST:: SOT 869728 SOS 625126 HAS SOPS 376201 HAS SOUS 57978 HAS SOUPS 33362 WITH SCORE 33987.126
AT ITER 4045 NEW BEST:: SOT 869678 SOS 625026 HAS SOPS 376201 HAS SOUS 57654 HAS SOUPS 33222 WITH SCORE 33847.026
AT ITER 4052 NEW BEST:: SOT 869680 SOS 624994 HAS SOPS 376201 HAS SOUS 57648 HAS SOUPS 33218 WITH SCORE 33842.994
AT ITER 4053 NEW BEST:: SOT 869633 SOS 624947 HAS SOPS 376201 HAS SOUS 57648 HAS SOUPS 33218 WITH SCORE 33842.947
AT ITER 4083 NEW BEST:: SOT 869681 SOS 625007 HAS SOPS 376231 HAS SOUS 57642 HAS SOUPS 33212 WITH SCORE 33837.007
AT ITER 4093 NEW BEST:: SOT 869565 SOS 624811 HAS SOPS 376160 HAS SOUS 57585 HAS SOUPS 33170 WITH SCORE 33794.811
AT ITER 4113 NEW BEST:: SOT 869562 SOS 624805 HAS SOPS 376160 HAS SOUS 57582 HAS SOUPS 33170 WITH SCORE 33794.805
AT ITER 4114 NEW BEST:: SOT 869593 SOS 623813 HAS SOPS 375664 HAS SOUS 57520 HAS SOUPS 33139 WITH SCORE 33762.813
AT ITER 4116 NEW BEST:: SOT 869577 SOS 623797 HAS SOPS 375648 HAS SOUS 57504 HAS SOUPS 33123 WITH SCORE 33746.797
AT ITER 4136 NEW BEST:: SOT 869559 SOS 623682 HAS SOPS 375627 HAS SOUS 57502 HAS SOUPS 33121 WITH SCORE 33744.682
AT ITER 4154 NEW BEST:: SOT 869204 SOS 622795 HAS SOPS 375420 HAS SOUS 57482 HAS SOUPS 33121 WITH SCORE 33743.795
AT ITER 4156 NEW BEST:: SOT 869199 SOS 622705 HAS SOPS 375250 HAS SOUS 57487 HAS SOUPS 33121 WITH SCORE 33743.705
AT ITER 4157 NEW BEST:: SOT 869155 SOS 622639 HAS SOPS 375250 HAS SOUS 57465 HAS SOUPS 33121 WITH SCORE 33743.639
AT ITER 4192 NEW BEST:: SOT 869064 SOS 623337 HAS SOPS 375398 HAS SOUS 57387 HAS SOUPS 33037 WITH SCORE 33660.337
AT ITER 4203 NEW BEST:: SOT 868952 SOS 623233 HAS SOPS 375278 HAS SOUS 57395 HAS SOUPS 33037 WITH SCORE 33660.233
AT ITER 4212 NEW BEST:: SOT 868830 SOS 621509 HAS SOPS 373924 HAS SOUS 57171 HAS SOUPS 32874 WITH SCORE 33495.509
AT ITER 4223 NEW BEST:: SOT 868826 SOS 621453 HAS SOPS 373900 HAS SOUS 57168 HAS SOUPS 32873 WITH SCORE 33494.453
AT ITER 4229 NEW BEST:: SOT 867394 SOS 617010 HAS SOPS 372194 HAS SOUS 57007 HAS SOUPS 32847 WITH SCORE 33464.01
AT ITER 4230 NEW BEST:: SOT 867394 SOS 616998 HAS SOPS 372194 HAS SOUS 56995 HAS SOUPS 32847 WITH SCORE 33463.998
AT ITER 4232 NEW BEST:: SOT 867262 SOS 616679 HAS SOPS 372117 HAS SOUS 56973 HAS SOUPS 32836 WITH SCORE 33452.679
AT ITER 4236 NEW BEST:: SOT 867262 SOS 616679 HAS SOPS 372117 HAS SOUS 56961 HAS SOUPS 32824 WITH SCORE 33440.679
AT ITER 4271 NEW BEST:: SOT 867258 SOS 616675 HAS SOPS 372117 HAS SOUS 56961 HAS SOUPS 32824 WITH SCORE 33440.675
AT ITER 4277 NEW BEST:: SOT 867244 SOS 615655 HAS SOPS 371817 HAS SOUS 56899 HAS SOUPS 32807 WITH SCORE 33422.655
AT ITER 4303 NEW BEST:: SOT 866900 SOS 615225 HAS SOPS 371559 HAS SOUS 56838 HAS SOUPS 32797 WITH SCORE 33412.225
AT ITER 4304 NEW BEST:: SOT 866871 SOS 615167 HAS SOPS 371559 HAS SOUS 56809 HAS SOUPS 32797 WITH SCORE 33412.167
AT ITER 4315 NEW BEST:: SOT 866847 SOS 614139 HAS SOPS 370723 HAS SOUS 56772 HAS SOUPS 32772 WITH SCORE 33386.139
AT ITER 4325 NEW BEST:: SOT 866805 SOS 614097 HAS SOPS 370681 HAS SOUS 56772 HAS SOUPS 32772 WITH SCORE 33386.097
AT ITER 4327 NEW BEST:: SOT 866794 SOS 614235 HAS SOPS 370681 HAS SOUS 56641 HAS SOUPS 32732 WITH SCORE 33346.235
AT ITER 4333 NEW BEST:: SOT 866784 SOS 614220 HAS SOPS 370581 HAS SOUS 56631 HAS SOUPS 32717 WITH SCORE 33331.22
AT ITER 4356 NEW BEST:: SOT 866776 SOS 614176 HAS SOPS 370603 HAS SOUS 56620 HAS SOUPS 32710 WITH SCORE 33324.176
AT ITER 4359 NEW BEST:: SOT 866830 SOS 614284 HAS SOPS 370603 HAS SOUS 56653 HAS SOUPS 32695 WITH SCORE 33309.284
AT ITER 4364 NEW BEST:: SOT 866831 SOS 614300 HAS SOPS 370620 HAS SOUS 56645 HAS SOUPS 32687 WITH SCORE 33301.3
AT ITER 4373 NEW BEST:: SOT 866831 SOS 614299 HAS SOPS 370620 HAS SOUS 56644 HAS SOUPS 32687 WITH SCORE 33301.299
AT ITER 4388 NEW BEST:: SOT 866814 SOS 613625 HAS SOPS 370266 HAS SOUS 56610 HAS SOUPS 32673 WITH SCORE 33286.625
AT ITER 4436 NEW BEST:: SOT 866804 SOS 613609 HAS SOPS 370250 HAS SOUS 56588 HAS SOUPS 32651 WITH SCORE 33264.609
AT ITER 4445 NEW BEST:: SOT 866188 SOS 607034 HAS SOPS 364973 HAS SOUS 56503 HAS SOUPS 32625 WITH SCORE 33232.034
AT ITER 4465 NEW BEST:: SOT 866114 SOS 606904 HAS SOPS 364955 HAS SOUS 56447 HAS SOUPS 32607 WITH SCORE 33213.904
AT ITER 4481 NEW BEST:: SOT 866114 SOS 606897 HAS SOPS 364996 HAS SOUS 56432 HAS SOUPS 32572 WITH SCORE 33178.897
AT ITER 4545 NEW BEST:: SOT 866107 SOS 606771 HAS SOPS 364758 HAS SOUS 56425 HAS SOUPS 32558 WITH SCORE 33164.771
AT ITER 4579 NEW BEST:: SOT 866026 SOS 606690 HAS SOPS 364758 HAS SOUS 56341 HAS SOUPS 32474 WITH SCORE 33080.69
AT ITER 4594 NEW BEST:: SOT 866037 SOS 606701 HAS SOPS 364753 HAS SOUS 56336 HAS SOUPS 32469 WITH SCORE 33075.701
AT ITER 4666 NEW BEST:: SOT 865967 SOS 606631 HAS SOPS 364753 HAS SOUS 56336 HAS SOUPS 32469 WITH SCORE 33075.631
AT ITER 4684 NEW BEST:: SOT 865978 SOS 606635 HAS SOPS 364757 HAS SOUS 56323 HAS SOUPS 32456 WITH SCORE 33062.635
AT ITER 4725 NEW BEST:: SOT 866446 SOS 607879 HAS SOPS 365047 HAS SOUS 56351 HAS SOUPS 32444 WITH SCORE 33051.879
AT ITER 4732 NEW BEST:: SOT 866266 SOS 607444 HAS SOPS 364942 HAS SOUS 56336 HAS SOUPS 32444 WITH SCORE 33051.444
AT ITER 4750 NEW BEST:: SOT 866341 SOS 607854 HAS SOPS 364989 HAS SOUS 56327 HAS SOUPS 32435 WITH SCORE 33042.854
AT ITER 4776 NEW BEST:: SOT 866341 SOS 607807 HAS SOPS 364989 HAS SOUS 56280 HAS SOUPS 32435 WITH SCORE 33042.807
AT ITER 4791 NEW BEST:: SOT 866454 SOS 607928 HAS SOPS 364982 HAS SOUS 56273 HAS SOUPS 32424 WITH SCORE 33031.928
AT ITER 4794 NEW BEST:: SOT 865506 SOS 605448 HAS SOPS 364370 HAS SOUS 56147 HAS SOUPS 32390 WITH SCORE 32995.448
AT ITER 4815 NEW BEST:: SOT 865416 SOS 605358 HAS SOPS 364280 HAS SOUS 56147 HAS SOUPS 32390 WITH SCORE 32995.358
AT ITER 4818 NEW BEST:: SOT 865398 SOS 605322 HAS SOPS 364280 HAS SOUS 56129 HAS SOUPS 32390 WITH SCORE 32995.322
AT ITER 4827 NEW BEST:: SOT 865446 SOS 605370 HAS SOPS 364328 HAS SOUS 56123 HAS SOUPS 32386 WITH SCORE 32991.37
AT ITER 4877 NEW BEST:: SOT 865410 SOS 605334 HAS SOPS 364292 HAS SOUS 56123 HAS SOUPS 32386 WITH SCORE 32991.334
AT ITER 4887 NEW BEST:: SOT 865290 SOS 605194 HAS SOPS 364212 HAS SOUS 56113 HAS SOUPS 32376 WITH SCORE 32981.194
AT ITER 4891 NEW BEST:: SOT 865290 SOS 604891 HAS SOPS 363957 HAS SOUS 56110 HAS SOUPS 32376 WITH SCORE 32980.891
AT ITER 4925 NEW BEST:: SOT 865264 SOS 604839 HAS SOPS 363957 HAS SOUS 56084 HAS SOUPS 32376 WITH SCORE 32980.839
AT ITER 4965 NEW BEST:: SOT 865251 SOS 604837 HAS SOPS 364034 HAS SOUS 56061 HAS SOUPS 32352 WITH SCORE 32956.837
AT ITER 5050 NEW BEST:: SOT 865249 SOS 604835 HAS SOPS 364034 HAS SOUS 56061 HAS SOUPS 32352 WITH SCORE 32956.835
AT ITER 5127 NEW BEST:: SOT 865239 SOS 604825 HAS SOPS 364034 HAS SOUS 56061 HAS SOUPS 32352 WITH SCORE 32956.825
AT ITER 5191 NEW BEST:: SOT 864969 SOS 604600 HAS SOPS 363764 HAS SOUS 56106 HAS SOUPS 32352 WITH SCORE 32956.6
AT ITER 5203 NEW BEST:: SOT 864963 SOS 604588 HAS SOPS 363764 HAS SOUS 56100 HAS SOUPS 32352 WITH SCORE 32956.588
AT ITER 5234 NEW BEST:: SOT 865609 SOS 606769 HAS SOPS 364526 HAS SOUS 55367 HAS SOUPS 32108 WITH SCORE 32714.769
AT ITER 5250 NEW BEST:: SOT 865276 SOS 606289 HAS SOPS 364190 HAS SOUS 55334 HAS SOUPS 32072 WITH SCORE 32678.289
AT ITER 5280 NEW BEST:: SOT 865348 SOS 606361 HAS SOPS 364190 HAS SOUS 55325 HAS SOUPS 32067 WITH SCORE 32673.361
AT ITER 5329 NEW BEST:: SOT 865348 SOS 606361 HAS SOPS 364190 HAS SOUS 55307 HAS SOUPS 32057 WITH SCORE 32663.361
AT ITER 5330 NEW BEST:: SOT 865368 SOS 606401 HAS SOPS 364806 HAS SOUS 55255 HAS SOUPS 32041 WITH SCORE 32647.401
AT ITER 5348 NEW BEST:: SOT 865364 SOS 605968 HAS SOPS 364348 HAS SOUS 55252 HAS SOUPS 32038 WITH SCORE 32643.968
AT ITER 5352 NEW BEST:: SOT 865364 SOS 605947 HAS SOPS 364348 HAS SOUS 55231 HAS SOUPS 32038 WITH SCORE 32643.947
AT ITER 5359 NEW BEST:: SOT 864902 SOS 605485 HAS SOPS 363952 HAS SOUS 55231 HAS SOUPS 32038 WITH SCORE 32643.485
AT ITER 5421 NEW BEST:: SOT 864994 SOS 605577 HAS SOPS 363952 HAS SOUS 55147 HAS SOUPS 32026 WITH SCORE 32631.577
AT ITER 5423 NEW BEST:: SOT 865160 SOS 605963 HAS SOPS 364008 HAS SOUS 55174 HAS SOUPS 31998 WITH SCORE 32603.963
AT ITER 5440 NEW BEST:: SOT 865178 SOS 605981 HAS SOPS 364026 HAS SOUS 55171 HAS SOUPS 31996 WITH SCORE 32601.981
AT ITER 5446 NEW BEST:: SOT 865154 SOS 605957 HAS SOPS 364002 HAS SOUS 55171 HAS SOUPS 31996 WITH SCORE 32601.957
AT ITER 5551 NEW BEST:: SOT 864986 SOS 605789 HAS SOPS 363834 HAS SOUS 55171 HAS SOUPS 31996 WITH SCORE 32601.789
AT ITER 5553 NEW BEST:: SOT 864972 SOS 605773 HAS SOPS 363822 HAS SOUS 55171 HAS SOUPS 31996 WITH SCORE 32601.773
AT ITER 5582 NEW BEST:: SOT 864966 SOS 605791 HAS SOPS 363900 HAS SOUS 55147 HAS SOUPS 31978 WITH SCORE 32583.791
AT ITER 5592 NEW BEST:: SOT 864926 SOS 605741 HAS SOPS 363870 HAS SOUS 55142 HAS SOUPS 31978 WITH SCORE 32583.741
AT ITER 5593 NEW BEST:: SOT 864920 SOS 605729 HAS SOPS 363870 HAS SOUS 55127 HAS SOUPS 31973 WITH SCORE 32578.729
AT ITER 5615 NEW BEST:: SOT 865004 SOS 604273 HAS SOPS 362974 HAS SOUS 55099 HAS SOUPS 31945 WITH SCORE 32549.273
AT ITER 5635 NEW BEST:: SOT 864743 SOS 603984 HAS SOPS 362815 HAS SOUS 55096 HAS SOUPS 31942 WITH SCORE 32545.984
AT ITER 5644 NEW BEST:: SOT 864794 SOS 604869 HAS SOPS 362854 HAS SOUS 55093 HAS SOUPS 31939 WITH SCORE 32543.869
AT ITER 5658 NEW BEST:: SOT 864780 SOS 604855 HAS SOPS 362840 HAS SOUS 55079 HAS SOUPS 31925 WITH SCORE 32529.855
AT ITER 5662 NEW BEST:: SOT 864770 SOS 604665 HAS SOPS 362810 HAS SOUS 55059 HAS SOUPS 31915 WITH SCORE 32519.665
AT ITER 5663 NEW BEST:: SOT 865010 SOS 605165 HAS SOPS 362930 HAS SOUS 55039 HAS SOUPS 31875 WITH SCORE 32480.165
AT ITER 5698 NEW BEST:: SOT 864974 SOS 604690 HAS SOPS 362743 HAS SOUS 55039 HAS SOUPS 31875 WITH SCORE 32479.69
AT ITER 5707 NEW BEST:: SOT 864966 SOS 604682 HAS SOPS 362735 HAS SOUS 55037 HAS SOUPS 31873 WITH SCORE 32477.682
AT ITER 5712 NEW BEST:: SOT 864956 SOS 604672 HAS SOPS 362735 HAS SOUS 55034 HAS SOUPS 31866 WITH SCORE 32470.672
AT ITER 5729 NEW BEST:: SOT 864824 SOS 604540 HAS SOPS 362603 HAS SOUS 55013 HAS SOUPS 31861 WITH SCORE 32465.54
AT ITER 5804 NEW BEST:: SOT 864637 SOS 603825 HAS SOPS 362240 HAS SOUS 54986 HAS SOUPS 31850 WITH SCORE 32453.825
AT ITER 5825 NEW BEST:: SOT 864511 SOS 603699 HAS SOPS 362114 HAS SOUS 54986 HAS SOUPS 31850 WITH SCORE 32453.699
AT ITER 5834 NEW BEST:: SOT 864487 SOS 603651 HAS SOPS 362114 HAS SOUS 54962 HAS SOUPS 31850 WITH SCORE 32453.651
AT ITER 5847 NEW BEST:: SOT 864487 SOS 603651 HAS SOPS 362114 HAS SOUS 54959 HAS SOUPS 31847 WITH SCORE 32450.651
AT ITER 5850 NEW BEST:: SOT 864485 SOS 603647 HAS SOPS 362110 HAS SOUS 54955 HAS SOUPS 31845 WITH SCORE 32448.647
AT ITER 5857 NEW BEST:: SOT 864485 SOS 603652 HAS SOPS 362110 HAS SOUS 54952 HAS SOUPS 31837 WITH SCORE 32440.652000000002
AT ITER 5905 NEW BEST:: SOT 864499 SOS 603666 HAS SOPS 362114 HAS SOUS 54950 HAS SOUPS 31835 WITH SCORE 32438.666
AT ITER 5927 NEW BEST:: SOT 864499 SOS 603666 HAS SOPS 362114 HAS SOUS 54941 HAS SOUPS 31830 WITH SCORE 32433.666
AT ITER 5934 NEW BEST:: SOT 864459 SOS 603626 HAS SOPS 362094 HAS SOUS 54937 HAS SOUPS 31826 WITH SCORE 32429.626
AT ITER 5951 NEW BEST:: SOT 864394 SOS 603574 HAS SOPS 362016 HAS SOUS 54886 HAS SOUPS 31786 WITH SCORE 32389.574
AT ITER 5997 NEW BEST:: SOT 864048 SOS 602620 HAS SOPS 361254 HAS SOUS 54860 HAS SOUPS 31760 WITH SCORE 32362.62
AT ITER 6049 NEW BEST:: SOT 863333 SOS 596240 HAS SOPS 356084 HAS SOUS 54695 HAS SOUPS 31650 WITH SCORE 32246.24
AT ITER 6078 NEW BEST:: SOT 863322 SOS 596229 HAS SOPS 356079 HAS SOUS 54694 HAS SOUPS 31649 WITH SCORE 32245.229
AT ITER 6106 NEW BEST:: SOT 863324 SOS 596193 HAS SOPS 356049 HAS SOUS 54694 HAS SOUPS 31649 WITH SCORE 32245.193
AT ITER 6126 NEW BEST:: SOT 863324 SOS 596193 HAS SOPS 356049 HAS SOUS 54559 HAS SOUPS 31574 WITH SCORE 32170.193
AT ITER 6130 NEW BEST:: SOT 863923 SOS 597727 HAS SOPS 356385 HAS SOUS 54491 HAS SOUPS 31467 WITH SCORE 32064.727
AT ITER 6141 NEW BEST:: SOT 863895 SOS 597699 HAS SOPS 356385 HAS SOUS 54491 HAS SOUPS 31467 WITH SCORE 32064.699
AT ITER 6177 NEW BEST:: SOT 863878 SOS 597665 HAS SOPS 356385 HAS SOUS 54474 HAS SOUPS 31467 WITH SCORE 32064.665
AT ITER 6200 NEW BEST:: SOT 863866 SOS 597469 HAS SOPS 356628 HAS SOUS 54439 HAS SOUPS 31459 WITH SCORE 32056.469
AT ITER 6223 NEW BEST:: SOT 863755 SOS 596666 HAS SOPS 356481 HAS SOUS 54367 HAS SOUPS 31428 WITH SCORE 32024.666
AT ITER 6251 NEW BEST:: SOT 863719 SOS 596229 HAS SOPS 356243 HAS SOUS 54285 HAS SOUPS 31361 WITH SCORE 31957.229
AT ITER 6284 NEW BEST:: SOT 863918 SOS 596645 HAS SOPS 356659 HAS SOUS 54250 HAS SOUPS 31354 WITH SCORE 31950.645
AT ITER 6292 NEW BEST:: SOT 863884 SOS 596351 HAS SOPS 356356 HAS SOUS 54225 HAS SOUPS 31329 WITH SCORE 31925.351
AT ITER 6294 NEW BEST:: SOT 863893 SOS 596361 HAS SOPS 356361 HAS SOUS 54222 HAS SOUPS 31326 WITH SCORE 31922.361
AT ITER 6296 NEW BEST:: SOT 863879 SOS 596319 HAS SOPS 356095 HAS SOUS 54236 HAS SOUPS 31326 WITH SCORE 31922.319
AT ITER 6330 NEW BEST:: SOT 863753 SOS 596058 HAS SOPS 356005 HAS SOUS 54209 HAS SOUPS 31308 WITH SCORE 31904.058
AT ITER 6375 NEW BEST:: SOT 863727 SOS 594896 HAS SOPS 354861 HAS SOUS 54191 HAS SOUPS 31290 WITH SCORE 31884.896
AT ITER 6391 NEW BEST:: SOT 863723 SOS 594888 HAS SOPS 354853 HAS SOUS 54187 HAS SOUPS 31286 WITH SCORE 31880.888
AT ITER 6398 NEW BEST:: SOT 862919 SOS 592817 HAS SOPS 354364 HAS SOUS 54142 HAS SOUPS 31262 WITH SCORE 31854.817
AT ITER 6400 NEW BEST:: SOT 862666 SOS 590083 HAS SOPS 352186 HAS SOUS 54131 HAS SOUPS 31259 WITH SCORE 31849.083
AT ITER 6403 NEW BEST:: SOT 862191 SOS 589666 HAS SOPS 352186 HAS SOUS 53477 HAS SOUPS 31215 WITH SCORE 31804.666
AT ITER 6406 NEW BEST:: SOT 862189 SOS 589664 HAS SOPS 352186 HAS SOUS 53477 HAS SOUPS 31215 WITH SCORE 31804.664
AT ITER 6436 NEW BEST:: SOT 862189 SOS 589629 HAS SOPS 352172 HAS SOUS 53469 HAS SOUPS 31207 WITH SCORE 31796.629
AT ITER 6447 NEW BEST:: SOT 862189 SOS 589693 HAS SOPS 352204 HAS SOUS 53467 HAS SOUPS 31203 WITH SCORE 31792.693
AT ITER 6468 NEW BEST:: SOT 862189 SOS 589693 HAS SOPS 352204 HAS SOUS 53461 HAS SOUPS 31199 WITH SCORE 31788.693
AT ITER 6486 NEW BEST:: SOT 862166 SOS 589647 HAS SOPS 352204 HAS SOUS 53438 HAS SOUPS 31199 WITH SCORE 31788.647
AT ITER 6507 NEW BEST:: SOT 862160 SOS 589617 HAS SOPS 352200 HAS SOUS 53436 HAS SOUPS 31199 WITH SCORE 31788.617
AT ITER 6538 NEW BEST:: SOT 862363 SOS 588169 HAS SOPS 352400 HAS SOUS 53330 HAS SOUPS 31196 WITH SCORE 31784.169
AT ITER 6547 NEW BEST:: SOT 862343 SOS 588149 HAS SOPS 352400 HAS SOUS 53330 HAS SOUPS 31196 WITH SCORE 31784.149
AT ITER 6586 NEW BEST:: SOT 862343 SOS 588245 HAS SOPS 352392 HAS SOUS 53334 HAS SOUPS 31192 WITH SCORE 31780.245
AT ITER 6596 NEW BEST:: SOT 862379 SOS 588281 HAS SOPS 352392 HAS SOUS 53271 HAS SOUPS 31157 WITH SCORE 31745.281
AT ITER 6598 NEW BEST:: SOT 862384 SOS 588619 HAS SOPS 352718 HAS SOUS 53266 HAS SOUPS 31152 WITH SCORE 31740.619
AT ITER 6662 NEW BEST:: SOT 862363 SOS 588433 HAS SOPS 352718 HAS SOUS 53248 HAS SOUPS 31136 WITH SCORE 31724.433
AT ITER 6675 NEW BEST:: SOT 862323 SOS 588326 HAS SOPS 352618 HAS SOUS 53247 HAS SOUPS 31131 WITH SCORE 31719.326
AT ITER 6696 NEW BEST:: SOT 862623 SOS 588670 HAS SOPS 352806 HAS SOUS 53245 HAS SOUPS 31129 WITH SCORE 31717.67
AT ITER 6702 NEW BEST:: SOT 862593 SOS 588640 HAS SOPS 352806 HAS SOUS 53245 HAS SOUPS 31129 WITH SCORE 31717.64
AT ITER 6720 NEW BEST:: SOT 862664 SOS 589137 HAS SOPS 353291 HAS SOUS 53210 HAS SOUPS 31120 WITH SCORE 31709.137
AT ITER 6734 NEW BEST:: SOT 862714 SOS 589257 HAS SOPS 353252 HAS SOUS 53216 HAS SOUPS 31098 WITH SCORE 31687.257
AT ITER 6741 NEW BEST:: SOT 862448 SOS 588957 HAS SOPS 353096 HAS SOUS 53215 HAS SOUPS 31097 WITH SCORE 31685.957
AT ITER 6786 NEW BEST:: SOT 862448 SOS 588957 HAS SOPS 353096 HAS SOUS 53040 HAS SOUPS 30990 WITH SCORE 31578.957
AT ITER 6791 NEW BEST:: SOT 862427 SOS 588579 HAS SOPS 353054 HAS SOUS 53019 HAS SOUPS 30990 WITH SCORE 31578.579
AT ITER 6796 NEW BEST:: SOT 862427 SOS 588579 HAS SOPS 353054 HAS SOUS 53013 HAS SOUPS 30986 WITH SCORE 31574.579
AT ITER 6808 NEW BEST:: SOT 862527 SOS 588679 HAS SOPS 353054 HAS SOUS 53004 HAS SOUPS 30981 WITH SCORE 31569.679
AT ITER 6869 NEW BEST:: SOT 862497 SOS 588638 HAS SOPS 353034 HAS SOUS 52984 HAS SOUPS 30967 WITH SCORE 31555.638
AT ITER 6879 NEW BEST:: SOT 862471 SOS 588769 HAS SOPS 353011 HAS SOUS 52968 HAS SOUPS 30944 WITH SCORE 31532.769
AT ITER 6941 NEW BEST:: SOT 862532 SOS 588830 HAS SOPS 353002 HAS SOUS 52959 HAS SOUPS 30935 WITH SCORE 31523.83
AT ITER 6948 NEW BEST:: SOT 862438 SOS 588572 HAS SOPS 352942 HAS SOUS 52885 HAS SOUPS 30905 WITH SCORE 31493.572
AT ITER 7020 NEW BEST:: SOT 862405 SOS 588524 HAS SOPS 352920 HAS SOUS 52856 HAS SOUPS 30887 WITH SCORE 31475.524
AT ITER 7025 NEW BEST:: SOT 862421 SOS 588540 HAS SOPS 352924 HAS SOUS 52852 HAS SOUPS 30883 WITH SCORE 31471.54
AT ITER 7042 NEW BEST:: SOT 862605 SOS 588692 HAS SOPS 353140 HAS SOUS 52817 HAS SOUPS 30881 WITH SCORE 31469.692
AT ITER 7049 NEW BEST:: SOT 862593 SOS 588476 HAS SOPS 352924 HAS SOUS 52793 HAS SOUPS 30857 WITH SCORE 31445.476
AT ITER 7134 NEW BEST:: SOT 862533 SOS 588416 HAS SOPS 352864 HAS SOUS 52784 HAS SOUPS 30853 WITH SCORE 31441.416
AT ITER 7144 NEW BEST:: SOT 862569 SOS 588392 HAS SOPS 352876 HAS SOUS 52778 HAS SOUPS 30847 WITH SCORE 31435.392
AT ITER 7197 NEW BEST:: SOT 862275 SOS 588098 HAS SOPS 352582 HAS SOUS 52778 HAS SOUPS 30847 WITH SCORE 31435.097999999998
AT ITER 7208 NEW BEST:: SOT 862109 SOS 586804 HAS SOPS 351288 HAS SOUS 52692 HAS SOUPS 30761 WITH SCORE 31347.804
AT ITER 7209 NEW BEST:: SOT 861911 SOS 585927 HAS SOPS 350782 HAS SOUS 52667 HAS SOUPS 30736 WITH SCORE 31321.927
AT ITER 7235 NEW BEST:: SOT 862008 SOS 585907 HAS SOPS 350685 HAS SOUS 52568 HAS SOUPS 30675 WITH SCORE 31260.907
AT ITER 7248 NEW BEST:: SOT 861990 SOS 585889 HAS SOPS 350685 HAS SOUS 52568 HAS SOUPS 30675 WITH SCORE 31260.889
AT ITER 7283 NEW BEST:: SOT 862050 SOS 587113 HAS SOPS 350805 HAS SOUS 52622 HAS SOUPS 30660 WITH SCORE 31247.113
AT ITER 7313 NEW BEST:: SOT 861829 SOS 586569 HAS SOPS 350346 HAS SOUS 52588 HAS SOUPS 30626 WITH SCORE 31212.569
AT ITER 7319 NEW BEST:: SOT 861829 SOS 586569 HAS SOPS 350346 HAS SOUS 52585 HAS SOUPS 30624 WITH SCORE 31210.569
AT ITER 7349 NEW BEST:: SOT 861811 SOS 586519 HAS SOPS 350334 HAS SOUS 52567 HAS SOUPS 30616 WITH SCORE 31202.519
AT ITER 7402 NEW BEST:: SOT 861781 SOS 586489 HAS SOPS 350334 HAS SOUS 52567 HAS SOUPS 30616 WITH SCORE 31202.489
AT ITER 7408 NEW BEST:: SOT 861776 SOS 585919 HAS SOPS 350292 HAS SOUS 52528 HAS SOUPS 30610 WITH SCORE 31195.919
AT ITER 7445 NEW BEST:: SOT 859911 SOS 580645 HAS SOPS 348530 HAS SOUS 52334 HAS SOUPS 30582 WITH SCORE 31162.645
AT ITER 7453 NEW BEST:: SOT 860384 SOS 581118 HAS SOPS 348745 HAS SOUS 52326 HAS SOUPS 30574 WITH SCORE 31155.118
AT ITER 7475 NEW BEST:: SOT 860396 SOS 581130 HAS SOPS 348757 HAS SOUS 52323 HAS SOUPS 30572 WITH SCORE 31153.13
AT ITER 7476 NEW BEST:: SOT 860396 SOS 581130 HAS SOPS 348757 HAS SOUS 52320 HAS SOUPS 30570 WITH SCORE 31151.13
AT ITER 7496 NEW BEST:: SOT 860429 SOS 581332 HAS SOPS 348773 HAS SOUS 52308 HAS SOUPS 30558 WITH SCORE 31139.332
AT ITER 7499 NEW BEST:: SOT 860429 SOS 581348 HAS SOPS 348789 HAS SOUS 52287 HAS SOUPS 30537 WITH SCORE 31118.347999999998
AT ITER 7500 NEW BEST:: SOT 860416 SOS 581335 HAS SOPS 348789 HAS SOUS 52303 HAS SOUPS 30537 WITH SCORE 31118.335
AT ITER 7507 NEW BEST:: SOT 859514 SOS 579049 HAS SOPS 346913 HAS SOUS 52251 HAS SOUPS 30485 WITH SCORE 31064.049
AT ITER 7522 NEW BEST:: SOT 859533 SOS 578128 HAS SOPS 346374 HAS SOUS 52211 HAS SOUPS 30445 WITH SCORE 31023.128
AT ITER 7542 NEW BEST:: SOT 859409 SOS 577869 HAS SOPS 346298 HAS SOUS 52141 HAS SOUPS 30426 WITH SCORE 31003.869
AT ITER 7572 NEW BEST:: SOT 859227 SOS 577560 HAS SOPS 346047 HAS SOUS 52145 HAS SOUPS 30414 WITH SCORE 30991.56
AT ITER 7603 NEW BEST:: SOT 859225 SOS 577406 HAS SOPS 345893 HAS SOUS 52135 HAS SOUPS 30404 WITH SCORE 30981.406
AT ITER 7619 NEW BEST:: SOT 859255 SOS 577442 HAS SOPS 345914 HAS SOUS 52129 HAS SOUPS 30398 WITH SCORE 30975.442
AT ITER 7648 NEW BEST:: SOT 859216 SOS 577403 HAS SOPS 345914 HAS SOUS 52129 HAS SOUPS 30398 WITH SCORE 30975.403
AT ITER 7657 NEW BEST:: SOT 859140 SOS 575977 HAS SOPS 345299 HAS SOUS 52080 HAS SOUPS 30399 WITH SCORE 30974.977
AT ITER 7683 NEW BEST:: SOT 858339 SOS 573650 HAS SOPS 343368 HAS SOUS 52047 HAS SOUPS 30359 WITH SCORE 30932.65
AT ITER 7690 NEW BEST:: SOT 858301 SOS 573612 HAS SOPS 343330 HAS SOUS 52045 HAS SOUPS 30341 WITH SCORE 30914.612
AT ITER 7750 NEW BEST:: SOT 858291 SOS 573592 HAS SOPS 343330 HAS SOUS 52040 HAS SOUPS 30341 WITH SCORE 30914.592
AT ITER 7798 NEW BEST:: SOT 858277 SOS 573578 HAS SOPS 343316 HAS SOUS 52026 HAS SOUPS 30327 WITH SCORE 30900.578
AT ITER 7824 NEW BEST:: SOT 858286 SOS 573416 HAS SOPS 343181 HAS SOUS 52026 HAS SOUPS 30327 WITH SCORE 30900.416
AT ITER 7827 NEW BEST:: SOT 858286 SOS 573402 HAS SOPS 343076 HAS SOUS 52033 HAS SOUPS 30327 WITH SCORE 30900.402000000002
AT ITER 7840 NEW BEST:: SOT 858539 SOS 567098 HAS SOPS 337603 HAS SOUS 52025 HAS SOUPS 30306 WITH SCORE 30873.097999999998
AT ITER 7861 NEW BEST:: SOT 858539 SOS 567098 HAS SOPS 337603 HAS SOUS 52007 HAS SOUPS 30296 WITH SCORE 30863.097999999998
AT ITER 7873 NEW BEST:: SOT 858599 SOS 567158 HAS SOPS 337618 HAS SOUS 51986 HAS SOUPS 30291 WITH SCORE 30858.158
AT ITER 7910 NEW BEST:: SOT 858669 SOS 567232 HAS SOPS 337656 HAS SOUS 51978 HAS SOUPS 30283 WITH SCORE 30850.232
AT ITER 7924 NEW BEST:: SOT 858709 SOS 566752 HAS SOPS 337560 HAS SOUS 51953 HAS SOUPS 30282 WITH SCORE 30848.752
AT ITER 7968 NEW BEST:: SOT 858686 SOS 566729 HAS SOPS 337537 HAS SOUS 51957 HAS SOUPS 30274 WITH SCORE 30840.729
AT ITER 7978 NEW BEST:: SOT 858713 SOS 566810 HAS SOPS 337603 HAS SOUS 51954 HAS SOUPS 30271 WITH SCORE 30837.81
AT ITER 7993 NEW BEST:: SOT 858696 SOS 566793 HAS SOPS 337603 HAS SOUS 51954 HAS SOUPS 30271 WITH SCORE 30837.793
AT ITER 7996 NEW BEST:: SOT 858680 SOS 566777 HAS SOPS 337603 HAS SOUS 51954 HAS SOUPS 30271 WITH SCORE 30837.777000000002
AT ITER 8012 NEW BEST:: SOT 858828 SOS 567132 HAS SOPS 337697 HAS SOUS 51996 HAS SOUPS 30267 WITH SCORE 30834.132
AT ITER 8027 NEW BEST:: SOT 858822 SOS 567124 HAS SOPS 337693 HAS SOUS 51990 HAS SOUPS 30263 WITH SCORE 30830.124
AT ITER 8030 NEW BEST:: SOT 858831 SOS 567108 HAS SOPS 337681 HAS SOUS 51963 HAS SOUPS 30252 WITH SCORE 30819.108
AT ITER 8045 NEW BEST:: SOT 858831 SOS 567108 HAS SOPS 337681 HAS SOUS 51954 HAS SOUPS 30247 WITH SCORE 30814.108
AT ITER 8056 NEW BEST:: SOT 858811 SOS 567088 HAS SOPS 337681 HAS SOUS 51954 HAS SOUPS 30247 WITH SCORE 30814.088
AT ITER 8077 NEW BEST:: SOT 859223 SOS 567920 HAS SOPS 337597 HAS SOUS 52169 HAS SOUPS 30230 WITH SCORE 30797.92
AT ITER 8082 NEW BEST:: SOT 859139 SOS 567836 HAS SOPS 337597 HAS SOUS 52169 HAS SOUPS 30230 WITH SCORE 30797.836
AT ITER 8101 NEW BEST:: SOT 857669 SOS 560901 HAS SOPS 330837 HAS SOUS 52141 HAS SOUPS 30130 WITH SCORE 30690.901
AT ITER 8179 NEW BEST:: SOT 858004 SOS 561574 HAS SOPS 331058 HAS SOUS 52252 HAS SOUPS 30127 WITH SCORE 30688.574
AT ITER 8180 NEW BEST:: SOT 857995 SOS 561556 HAS SOPS 331058 HAS SOUS 52243 HAS SOUPS 30127 WITH SCORE 30688.556
AT ITER 8187 NEW BEST:: SOT 857995 SOS 561998 HAS SOPS 331064 HAS SOUS 52249 HAS SOUPS 30105 WITH SCORE 30666.998
AT ITER 8213 NEW BEST:: SOT 858044 SOS 562039 HAS SOPS 331050 HAS SOUS 52227 HAS SOUPS 30091 WITH SCORE 30653.039
AT ITER 8234 NEW BEST:: SOT 857996 SOS 561923 HAS SOPS 331022 HAS SOUS 52223 HAS SOUPS 30091 WITH SCORE 30652.923
AT ITER 8237 NEW BEST:: SOT 858002 SOS 561929 HAS SOPS 331028 HAS SOUS 52220 HAS SOUPS 30089 WITH SCORE 30650.929
AT ITER 8263 NEW BEST:: SOT 858022 SOS 562471 HAS SOPS 331102 HAS SOUS 52232 HAS SOUPS 30071 WITH SCORE 30633.471
AT ITER 8278 NEW BEST:: SOT 858020 SOS 562467 HAS SOPS 331102 HAS SOUS 52230 HAS SOUPS 30071 WITH SCORE 30633.467
AT ITER 8313 NEW BEST:: SOT 857972 SOS 562419 HAS SOPS 331090 HAS SOUS 52218 HAS SOUPS 30059 WITH SCORE 30621.419
AT ITER 8326 NEW BEST:: SOT 857948 SOS 562395 HAS SOPS 331066 HAS SOUS 52218 HAS SOUPS 30059 WITH SCORE 30621.395
AT ITER 8327 NEW BEST:: SOT 857936 SOS 562380 HAS SOPS 331051 HAS SOUS 52212 HAS SOUPS 30053 WITH SCORE 30615.38
AT ITER 8353 NEW BEST:: SOT 857910 SOS 562328 HAS SOPS 331051 HAS SOUS 52186 HAS SOUPS 30053 WITH SCORE 30615.328
AT ITER 8363 NEW BEST:: SOT 856705 SOS 558709 HAS SOPS 329595 HAS SOUS 51976 HAS SOUPS 29946 WITH SCORE 30504.709
AT ITER 8376 NEW BEST:: SOT 856704 SOS 558708 HAS SOPS 329595 HAS SOUS 51974 HAS SOUPS 29944 WITH SCORE 30502.708
AT ITER 8405 NEW BEST:: SOT 856635 SOS 558656 HAS SOPS 329590 HAS SOUS 51964 HAS SOUPS 29931 WITH SCORE 30489.656
AT ITER 8408 NEW BEST:: SOT 856633 SOS 558654 HAS SOPS 329590 HAS SOUS 51964 HAS SOUPS 29931 WITH SCORE 30489.654
AT ITER 8459 NEW BEST:: SOT 856621 SOS 558636 HAS SOPS 329590 HAS SOUS 51946 HAS SOUPS 29919 WITH SCORE 30477.636
AT ITER 8551 NEW BEST:: SOT 856598 SOS 558613 HAS SOPS 329590 HAS SOUS 51946 HAS SOUPS 29919 WITH SCORE 30477.613
AT ITER 8602 NEW BEST:: SOT 856711 SOS 558924 HAS SOPS 329657 HAS SOUS 51935 HAS SOUPS 29898 WITH SCORE 30456.924
AT ITER 8605 NEW BEST:: SOT 856507 SOS 558414 HAS SOPS 329521 HAS SOUS 51901 HAS SOUPS 29881 WITH SCORE 30439.414
AT ITER 8619 NEW BEST:: SOT 856382 SOS 558098 HAS SOPS 329436 HAS SOUS 51886 HAS SOUPS 29877 WITH SCORE 30435.097999999998
AT ITER 8620 NEW BEST:: SOT 856431 SOS 558546 HAS SOPS 329884 HAS SOUS 51855 HAS SOUPS 29846 WITH SCORE 30404.546
AT ITER 8648 NEW BEST:: SOT 856391 SOS 558506 HAS SOPS 329884 HAS SOUS 51855 HAS SOUPS 29846 WITH SCORE 30404.506
AT ITER 8658 NEW BEST:: SOT 856400 SOS 558428 HAS SOPS 329836 HAS SOUS 51843 HAS SOUPS 29837 WITH SCORE 30395.428
AT ITER 8659 NEW BEST:: SOT 856394 SOS 558431 HAS SOPS 329827 HAS SOUS 51838 HAS SOUPS 29832 WITH SCORE 30390.431
AT ITER 8665 NEW BEST:: SOT 856342 SOS 557899 HAS SOPS 329379 HAS SOUS 51826 HAS SOUPS 29824 WITH SCORE 30381.899
AT ITER 8681 NEW BEST:: SOT 856337 SOS 557959 HAS SOPS 329439 HAS SOUS 51711 HAS SOUPS 29804 WITH SCORE 30361.959
AT ITER 8697 NEW BEST:: SOT 856338 SOS 557993 HAS SOPS 329491 HAS SOUS 51708 HAS SOUPS 29803 WITH SCORE 30360.993
AT ITER 8708 NEW BEST:: SOT 856119 SOS 557770 HAS SOPS 329340 HAS SOUS 51699 HAS SOUPS 29784 WITH SCORE 30341.77
AT ITER 8727 NEW BEST:: SOT 856103 SOS 557754 HAS SOPS 329340 HAS SOUS 51699 HAS SOUPS 29784 WITH SCORE 30341.754
AT ITER 8732 NEW BEST:: SOT 855602 SOS 557253 HAS SOPS 329104 HAS SOUS 51646 HAS SOUPS 29731 WITH SCORE 30288.253
AT ITER 8741 NEW BEST:: SOT 855602 SOS 557237 HAS SOPS 329088 HAS SOUS 51645 HAS SOUPS 29730 WITH SCORE 30287.237
AT ITER 8756 NEW BEST:: SOT 855755 SOS 557662 HAS SOPS 329190 HAS SOUS 51645 HAS SOUPS 29713 WITH SCORE 30270.662
AT ITER 8770 NEW BEST:: SOT 855647 SOS 557326 HAS SOPS 328914 HAS SOUS 51645 HAS SOUPS 29713 WITH SCORE 30270.326
AT ITER 8787 NEW BEST:: SOT 855998 SOS 558556 HAS SOPS 329992 HAS SOUS 51613 HAS SOUPS 29681 WITH SCORE 30239.556
AT ITER 8810 NEW BEST:: SOT 855998 SOS 558546 HAS SOPS 329982 HAS SOUS 51613 HAS SOUPS 29681 WITH SCORE 30239.546
AT ITER 8824 NEW BEST:: SOT 855998 SOS 558546 HAS SOPS 329982 HAS SOUS 51568 HAS SOUPS 29656 WITH SCORE 30214.546
AT ITER 8829 NEW BEST:: SOT 855984 SOS 557818 HAS SOPS 329254 HAS SOUS 51561 HAS SOUPS 29649 WITH SCORE 30206.818
AT ITER 8851 NEW BEST:: SOT 855974 SOS 557798 HAS SOPS 329254 HAS SOUS 51551 HAS SOUPS 29649 WITH SCORE 30206.798
AT ITER 8855 NEW BEST:: SOT 855846 SOS 557465 HAS SOPS 328987 HAS SOUS 51544 HAS SOUPS 29642 WITH SCORE 30199.465
AT ITER 8880 NEW BEST:: SOT 855756 SOS 557374 HAS SOPS 328922 HAS SOUS 51550 HAS SOUPS 29641 WITH SCORE 30198.374
AT ITER 8893 NEW BEST:: SOT 855738 SOS 557334 HAS SOPS 328906 HAS SOUS 51546 HAS SOUPS 29637 WITH SCORE 30194.334
AT ITER 8905 NEW BEST:: SOT 855736 SOS 557300 HAS SOPS 328904 HAS SOUS 51542 HAS SOUPS 29635 WITH SCORE 30192.3
AT ITER 8915 NEW BEST:: SOT 855451 SOS 556419 HAS SOPS 328171 HAS SOUS 51525 HAS SOUPS 29618 WITH SCORE 30174.419
AT ITER 8958 NEW BEST:: SOT 855525 SOS 556622 HAS SOPS 328220 HAS SOUS 51511 HAS SOUPS 29603 WITH SCORE 30159.622
AT ITER 8965 NEW BEST:: SOT 855371 SOS 556440 HAS SOPS 328122 HAS SOUS 51497 HAS SOUPS 29589 WITH SCORE 30145.44
AT ITER 8981 NEW BEST:: SOT 855317 SOS 556359 HAS SOPS 328041 HAS SOUS 51479 HAS SOUPS 29571 WITH SCORE 30127.359
AT ITER 9026 NEW BEST:: SOT 855317 SOS 556359 HAS SOPS 328041 HAS SOUS 51464 HAS SOUPS 29561 WITH SCORE 30117.359
AT ITER 9116 NEW BEST:: SOT 855076 SOS 554950 HAS SOPS 327237 HAS SOUS 51448 HAS SOUPS 29548 WITH SCORE 30102.95
AT ITER 9132 NEW BEST:: SOT 855075 SOS 554798 HAS SOPS 327245 HAS SOUS 51438 HAS SOUPS 29548 WITH SCORE 30102.798
AT ITER 9149 NEW BEST:: SOT 855468 SOS 555626 HAS SOPS 327479 HAS SOUS 51471 HAS SOUPS 29543 WITH SCORE 30098.626
AT ITER 9204 NEW BEST:: SOT 855450 SOS 555608 HAS SOPS 327461 HAS SOUS 51471 HAS SOUPS 29543 WITH SCORE 30098.608
AT ITER 9270 NEW BEST:: SOT 855460 SOS 555634 HAS SOPS 327467 HAS SOUS 51471 HAS SOUPS 29542 WITH SCORE 30097.634
AT ITER 9272 NEW BEST:: SOT 855397 SOS 555541 HAS SOPS 327424 HAS SOUS 51446 HAS SOUPS 29527 WITH SCORE 30082.541
AT ITER 9295 NEW BEST:: SOT 855429 SOS 555061 HAS SOPS 327160 HAS SOUS 51430 HAS SOUPS 29503 WITH SCORE 30058.061
AT ITER 9357 NEW BEST:: SOT 855053 SOS 551447 HAS SOPS 324136 HAS SOUS 51351 HAS SOUPS 29449 WITH SCORE 30000.447
AT ITER 9393 NEW BEST:: SOT 855070 SOS 551855 HAS SOPS 324192 HAS SOUS 51370 HAS SOUPS 29446 WITH SCORE 29997.855
AT ITER 9424 NEW BEST:: SOT 855085 SOS 551585 HAS SOPS 323967 HAS SOUS 51370 HAS SOUPS 29446 WITH SCORE 29997.585
AT ITER 9436 NEW BEST:: SOT 855062 SOS 551683 HAS SOPS 323809 HAS SOUS 51379 HAS SOUPS 29439 WITH SCORE 29990.683
AT ITER 9437 NEW BEST:: SOT 855066 SOS 550990 HAS SOPS 323260 HAS SOUS 51368 HAS SOUPS 29437 WITH SCORE 29987.99
AT ITER 9463 NEW BEST:: SOT 854901 SOS 550570 HAS SOPS 323155 HAS SOUS 51338 HAS SOUPS 29422 WITH SCORE 29972.57
AT ITER 9472 NEW BEST:: SOT 854901 SOS 550570 HAS SOPS 323155 HAS SOUS 51302 HAS SOUPS 29402 WITH SCORE 29952.57
AT ITER 9530 NEW BEST:: SOT 855076 SOS 554207 HAS SOPS 324371 HAS SOUS 51237 HAS SOUPS 29342 WITH SCORE 29896.207
AT ITER 9560 NEW BEST:: SOT 855065 SOS 554196 HAS SOPS 324371 HAS SOUS 51237 HAS SOUPS 29342 WITH SCORE 29896.196
AT ITER 9615 NEW BEST:: SOT 854937 SOS 554036 HAS SOPS 324275 HAS SOUS 51221 HAS SOUPS 29342 WITH SCORE 29896.036
AT ITER 9626 NEW BEST:: SOT 854937 SOS 553652 HAS SOPS 324275 HAS SOUS 51185 HAS SOUPS 29330 WITH SCORE 29883.652000000002
AT ITER 9665 NEW BEST:: SOT 854825 SOS 553512 HAS SOPS 324191 HAS SOUS 51171 HAS SOUPS 29330 WITH SCORE 29883.512
AT ITER 9700 NEW BEST:: SOT 854799 SOS 553486 HAS SOPS 324191 HAS SOUS 51171 HAS SOUPS 29330 WITH SCORE 29883.486
AT ITER 9718 NEW BEST:: SOT 854878 SOS 552980 HAS SOPS 323999 HAS SOUS 51141 HAS SOUPS 29305 WITH SCORE 29857.98
AT ITER 9719 NEW BEST:: SOT 854768 SOS 552870 HAS SOPS 323999 HAS SOUS 51125 HAS SOUPS 29289 WITH SCORE 29841.87
AT ITER 9724 NEW BEST:: SOT 853827 SOS 550680 HAS SOPS 322194 HAS SOUS 51091 HAS SOUPS 29255 WITH SCORE 29805.68
AT ITER 9726 NEW BEST:: SOT 853745 SOS 551404 HAS SOPS 322214 HAS SOUS 51104 HAS SOUPS 29224 WITH SCORE 29775.404
AT ITER 9735 NEW BEST:: SOT 853374 SOS 551053 HAS SOPS 321995 HAS SOUS 51049 HAS SOUPS 29155 WITH SCORE 29706.053
AT ITER 9771 NEW BEST:: SOT 853126 SOS 550007 HAS SOPS 320974 HAS SOUS 51026 HAS SOUPS 29107 WITH SCORE 29657.007
AT ITER 9807 NEW BEST:: SOT 853053 SOS 553469 HAS SOPS 323732 HAS SOUS 51064 HAS SOUPS 29101 WITH SCORE 29654.469
AT ITER 9808 NEW BEST:: SOT 852970 SOS 553322 HAS SOPS 323681 HAS SOUS 51037 HAS SOUPS 29090 WITH SCORE 29643.322
AT ITER 9839 NEW BEST:: SOT 853047 SOS 553518 HAS SOPS 323730 HAS SOUS 51040 HAS SOUPS 29086 WITH SCORE 29639.518
AT ITER 9846 NEW BEST:: SOT 853082 SOS 550592 HAS SOPS 321588 HAS SOUS 50964 HAS SOUPS 29059 WITH SCORE 29609.592
AT ITER 9868 NEW BEST:: SOT 853055 SOS 550565 HAS SOPS 321588 HAS SOUS 50964 HAS SOUPS 29059 WITH SCORE 29609.565
AT ITER 9897 NEW BEST:: SOT 853135 SOS 549105 HAS SOPS 320328 HAS SOUS 50948 HAS SOUPS 29059 WITH SCORE 29608.105
AT ITER 9905 NEW BEST:: SOT 853083 SOS 548993 HAS SOPS 320288 HAS SOUS 50936 HAS SOUPS 29051 WITH SCORE 29599.993
AT ITER 9908 NEW BEST:: SOT 853121 SOS 548733 HAS SOPS 320280 HAS SOUS 50907 HAS SOUPS 29043 WITH SCORE 29591.733
AT ITER 9922 NEW BEST:: SOT 853263 SOS 549091 HAS SOPS 320368 HAS SOUS 50941 HAS SOUPS 29023 WITH SCORE 29572.091
AT ITER 9950 NEW BEST:: SOT 853263 SOS 549091 HAS SOPS 320368 HAS SOUS 50938 HAS SOUPS 29021 WITH SCORE 29570.091
AT ITER 9980 NEW BEST:: SOT 853269 SOS 550013 HAS SOPS 321056 HAS SOUS 50950 HAS SOUPS 29020 WITH SCORE 29570.013
AT ITER 9986 NEW BEST:: SOT 853260 SOS 550004 HAS SOPS 321056 HAS SOUS 50950 HAS SOUPS 29020 WITH SCORE 29570.004

BK_STOP 1590871447560

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 484 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-12a"
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 DLCround-PT-12a, 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 r048-ebro-158902542400600"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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