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-158961354800512.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 PolyORBLF-PT-S06J04T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354800512
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 9.7M
-rw-r--r-- 1 mcc users 8.0K Apr 12 05:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 33K Apr 12 05:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Apr 11 05:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 31K Apr 11 05:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.8K Apr 14 12:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 36K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.2K Apr 14 12:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.1K Apr 10 12:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 10 12:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Apr 9 18:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 38K Apr 9 18:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 22:22 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Apr 10 22:22 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 9.4M 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 1589646106126

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

Filename model.pnml
Petri model created: 454 places, 6994 transitions, 59152 arcs.
AT ITER 0 NEW BEST:: SOT 2028676 SOS 1186916 HAS SOPS 1180953 HAS SOUS 210047 HAS SOUPS 209565 WITH SCORE 210751.916
AT ITER 4 NEW BEST:: SOT 2028063 SOS 1186456 HAS SOPS 1180493 HAS SOUS 209677 HAS SOUPS 209195 WITH SCORE 210381.456
AT ITER 11 NEW BEST:: SOT 1863975 SOS 1022474 HAS SOPS 1016511 HAS SOUS 188260 HAS SOUPS 187778 WITH SCORE 188800.474
AT ITER 18 NEW BEST:: SOT 1863959 SOS 1022442 HAS SOPS 1016479 HAS SOUS 188246 HAS SOUPS 187764 WITH SCORE 188786.442
AT ITER 52 NEW BEST:: SOT 1863851 SOS 1022190 HAS SOPS 1016227 HAS SOUS 188120 HAS SOUPS 187638 WITH SCORE 188660.19
AT ITER 59 NEW BEST:: SOT 1863596 SOS 1022004 HAS SOPS 1016041 HAS SOUS 187930 HAS SOUPS 187448 WITH SCORE 188470.004
AT ITER 61 NEW BEST:: SOT 1863455 SOS 1021899 HAS SOPS 1015936 HAS SOUS 187909 HAS SOUPS 187427 WITH SCORE 188448.899
AT ITER 80 NEW BEST:: SOT 1862839 SOS 1021433 HAS SOPS 1015470 HAS SOUS 186971 HAS SOUPS 186489 WITH SCORE 187510.433
AT ITER 85 NEW BEST:: SOT 1862822 SOS 1021415 HAS SOPS 1015561 HAS SOUS 186950 HAS SOUPS 186468 WITH SCORE 187489.415
AT ITER 95 NEW BEST:: SOT 1862237 SOS 1021015 HAS SOPS 1015161 HAS SOUS 186879 HAS SOUPS 186397 WITH SCORE 187418.015
AT ITER 97 NEW BEST:: SOT 1862237 SOS 1019045 HAS SOPS 1013191 HAS SOUS 186879 HAS SOUPS 186397 WITH SCORE 187416.045
AT ITER 107 NEW BEST:: SOT 1862223 SOS 1019031 HAS SOPS 1013170 HAS SOUS 186879 HAS SOUPS 186390 WITH SCORE 187409.031
AT ITER 110 NEW BEST:: SOT 1861878 SOS 1019036 HAS SOPS 1013175 HAS SOUS 186848 HAS SOUPS 186359 WITH SCORE 187378.036
AT ITER 117 NEW BEST:: SOT 1861415 SOS 1018655 HAS SOPS 1012794 HAS SOUS 186373 HAS SOUPS 185884 WITH SCORE 186902.655
AT ITER 121 NEW BEST:: SOT 1861097 SOS 1018451 HAS SOPS 1012590 HAS SOUS 186169 HAS SOUPS 185680 WITH SCORE 186698.451
AT ITER 150 NEW BEST:: SOT 1689269 SOS 846734 HAS SOPS 840873 HAS SOUS 163687 HAS SOUPS 163198 WITH SCORE 164044.734
AT ITER 156 NEW BEST:: SOT 1688454 SOS 845955 HAS SOPS 840094 HAS SOUS 162855 HAS SOUPS 162366 WITH SCORE 163211.955
AT ITER 167 NEW BEST:: SOT 1688463 SOS 845953 HAS SOPS 840155 HAS SOUS 162781 HAS SOUPS 162292 WITH SCORE 163137.953
AT ITER 169 NEW BEST:: SOT 1688500 SOS 845990 HAS SOPS 840192 HAS SOUS 162779 HAS SOUPS 162290 WITH SCORE 163135.99
AT ITER 187 NEW BEST:: SOT 1688420 SOS 846048 HAS SOPS 840250 HAS SOUS 162671 HAS SOUPS 162182 WITH SCORE 163028.048
AT ITER 212 NEW BEST:: SOT 1687975 SOS 845692 HAS SOPS 839894 HAS SOUS 162214 HAS SOUPS 161725 WITH SCORE 162570.692
AT ITER 224 NEW BEST:: SOT 1687808 SOS 845580 HAS SOPS 839782 HAS SOUS 162102 HAS SOUPS 161613 WITH SCORE 162458.58
AT ITER 227 NEW BEST:: SOT 1687796 SOS 845568 HAS SOPS 839764 HAS SOUS 162096 HAS SOUPS 161607 WITH SCORE 162452.568
AT ITER 236 NEW BEST:: SOT 1687622 SOS 845239 HAS SOPS 839576 HAS SOUS 161937 HAS SOUPS 161448 WITH SCORE 162293.239
AT ITER 244 NEW BEST:: SOT 1687405 SOS 845129 HAS SOPS 839466 HAS SOUS 161909 HAS SOUPS 161420 WITH SCORE 162265.129
AT ITER 255 NEW BEST:: SOT 1687344 SOS 844855 HAS SOPS 839192 HAS SOUS 161844 HAS SOUPS 161355 WITH SCORE 162199.855
AT ITER 259 NEW BEST:: SOT 1510616 SOS 739769 HAS SOPS 734106 HAS SOUS 141781 HAS SOUPS 141292 WITH SCORE 142031.769
AT ITER 265 NEW BEST:: SOT 1510590 SOS 739686 HAS SOPS 734024 HAS SOUS 141743 HAS SOUPS 141254 WITH SCORE 141993.686
AT ITER 266 NEW BEST:: SOT 1510344 SOS 739464 HAS SOPS 733802 HAS SOUS 141539 HAS SOUPS 141050 WITH SCORE 141789.464
AT ITER 271 NEW BEST:: SOT 1510319 SOS 739439 HAS SOPS 733777 HAS SOUS 141480 HAS SOUPS 140991 WITH SCORE 141730.439
AT ITER 274 NEW BEST:: SOT 1510187 SOS 739175 HAS SOPS 733513 HAS SOUS 141216 HAS SOUPS 140727 WITH SCORE 141466.175
AT ITER 280 NEW BEST:: SOT 1510095 SOS 739083 HAS SOPS 733421 HAS SOUS 141115 HAS SOUPS 140626 WITH SCORE 141365.083
AT ITER 288 NEW BEST:: SOT 1510047 SOS 739035 HAS SOPS 733369 HAS SOUS 141127 HAS SOUPS 140622 WITH SCORE 141361.035
AT ITER 295 NEW BEST:: SOT 1509973 SOS 738991 HAS SOPS 733465 HAS SOUS 141000 HAS SOUPS 140495 WITH SCORE 141233.991
AT ITER 299 NEW BEST:: SOT 1509856 SOS 738409 HAS SOPS 732883 HAS SOUS 140770 HAS SOUPS 140265 WITH SCORE 141003.409
AT ITER 320 NEW BEST:: SOT 1484967 SOS 713520 HAS SOPS 707994 HAS SOUS 137895 HAS SOUPS 137390 WITH SCORE 138103.52
AT ITER 322 NEW BEST:: SOT 1484667 SOS 713319 HAS SOPS 707793 HAS SOUS 137694 HAS SOUPS 137189 WITH SCORE 137902.319
AT ITER 326 NEW BEST:: SOT 1484547 SOS 713039 HAS SOPS 707513 HAS SOUS 137554 HAS SOUPS 137049 WITH SCORE 137762.039
AT ITER 336 NEW BEST:: SOT 1484480 SOS 712972 HAS SOPS 707422 HAS SOUS 137530 HAS SOUPS 137025 WITH SCORE 137737.972
AT ITER 340 NEW BEST:: SOT 1484452 SOS 712944 HAS SOPS 707394 HAS SOUS 137502 HAS SOUPS 136997 WITH SCORE 137709.944
AT ITER 348 NEW BEST:: SOT 1484425 SOS 712944 HAS SOPS 707394 HAS SOUS 137448 HAS SOUPS 136943 WITH SCORE 137655.944
AT ITER 356 NEW BEST:: SOT 1480755 SOS 730769 HAS SOPS 728526 HAS SOUS 135034 HAS SOUPS 134656 WITH SCORE 135386.769
AT ITER 376 NEW BEST:: SOT 1480622 SOS 730636 HAS SOPS 728393 HAS SOUS 134899 HAS SOUPS 134521 WITH SCORE 135251.636
AT ITER 385 NEW BEST:: SOT 1480622 SOS 730636 HAS SOPS 728393 HAS SOUS 134881 HAS SOUPS 134503 WITH SCORE 135233.636
AT ITER 386 NEW BEST:: SOT 1480587 SOS 730597 HAS SOPS 728354 HAS SOUS 134811 HAS SOUPS 134433 WITH SCORE 135163.597
AT ITER 387 NEW BEST:: SOT 1480522 SOS 730532 HAS SOPS 728289 HAS SOUS 134746 HAS SOUPS 134368 WITH SCORE 135098.532
AT ITER 400 NEW BEST:: SOT 1447911 SOS 697921 HAS SOPS 695678 HAS SOUS 129281 HAS SOUPS 128903 WITH SCORE 129600.921
AT ITER 401 NEW BEST:: SOT 1447454 SOS 697659 HAS SOPS 695416 HAS SOUS 129193 HAS SOUPS 128815 WITH SCORE 129512.659
AT ITER 409 NEW BEST:: SOT 1447110 SOS 697452 HAS SOPS 695209 HAS SOUS 129007 HAS SOUPS 128629 WITH SCORE 129326.452
AT ITER 415 NEW BEST:: SOT 1446788 SOS 696684 HAS SOPS 694441 HAS SOUS 128605 HAS SOUPS 128227 WITH SCORE 128923.684
AT ITER 416 NEW BEST:: SOT 1446426 SOS 696524 HAS SOPS 694281 HAS SOUS 128301 HAS SOUPS 127923 WITH SCORE 128619.524
AT ITER 425 NEW BEST:: SOT 1446386 SOS 696464 HAS SOPS 694221 HAS SOUS 128221 HAS SOUPS 127843 WITH SCORE 128539.464
AT ITER 426 NEW BEST:: SOT 1446318 SOS 696388 HAS SOPS 694145 HAS SOUS 128101 HAS SOUPS 127723 WITH SCORE 128419.388
AT ITER 436 NEW BEST:: SOT 1446182 SOS 696187 HAS SOPS 693944 HAS SOUS 127943 HAS SOUPS 127565 WITH SCORE 128261.187
AT ITER 440 NEW BEST:: SOT 1446174 SOS 696179 HAS SOPS 693936 HAS SOUS 127935 HAS SOUPS 127557 WITH SCORE 128253.179
AT ITER 448 NEW BEST:: SOT 1446174 SOS 696179 HAS SOPS 693936 HAS SOUS 127929 HAS SOUPS 127551 WITH SCORE 128247.179
AT ITER 452 NEW BEST:: SOT 1446189 SOS 696194 HAS SOPS 693933 HAS SOUS 127914 HAS SOUPS 127525 WITH SCORE 128221.194
AT ITER 455 NEW BEST:: SOT 1394475 SOS 677499 HAS SOPS 675238 HAS SOUS 123472 HAS SOUPS 123083 WITH SCORE 123760.499
AT ITER 461 NEW BEST:: SOT 1390580 SOS 673604 HAS SOPS 671343 HAS SOUS 122852 HAS SOUPS 122463 WITH SCORE 123136.604
AT ITER 467 NEW BEST:: SOT 1390546 SOS 673587 HAS SOPS 671326 HAS SOUS 122807 HAS SOUPS 122418 WITH SCORE 123091.587
AT ITER 490 NEW BEST:: SOT 1390538 SOS 673571 HAS SOPS 671310 HAS SOUS 122799 HAS SOUPS 122410 WITH SCORE 123083.571
AT ITER 492 NEW BEST:: SOT 1390538 SOS 673530 HAS SOPS 671269 HAS SOUS 122711 HAS SOUPS 122322 WITH SCORE 122995.53
AT ITER 500 NEW BEST:: SOT 1390495 SOS 673487 HAS SOPS 671235 HAS SOUS 122675 HAS SOUPS 122286 WITH SCORE 122959.487
AT ITER 538 NEW BEST:: SOT 1390495 SOS 673473 HAS SOPS 671221 HAS SOUS 122627 HAS SOUPS 122238 WITH SCORE 122911.473
AT ITER 576 NEW BEST:: SOT 1390308 SOS 673286 HAS SOPS 671034 HAS SOUS 122508 HAS SOUPS 122119 WITH SCORE 122792.286
AT ITER 580 NEW BEST:: SOT 1390230 SOS 673208 HAS SOPS 670956 HAS SOUS 122424 HAS SOUPS 122035 WITH SCORE 122708.208
AT ITER 597 NEW BEST:: SOT 1390224 SOS 673202 HAS SOPS 670950 HAS SOUS 122418 HAS SOUPS 122029 WITH SCORE 122702.202
AT ITER 612 NEW BEST:: SOT 1390239 SOS 673359 HAS SOPS 671107 HAS SOUS 122378 HAS SOUPS 121989 WITH SCORE 122662.359
AT ITER 641 NEW BEST:: SOT 1390233 SOS 673085 HAS SOPS 670833 HAS SOUS 122346 HAS SOUPS 121957 WITH SCORE 122630.085
AT ITER 648 NEW BEST:: SOT 1389736 SOS 672293 HAS SOPS 670041 HAS SOUS 122059 HAS SOUPS 121670 WITH SCORE 122342.293
AT ITER 657 NEW BEST:: SOT 1220900 SOS 680638 HAS SOPS 678386 HAS SOUS 102822 HAS SOUPS 102433 WITH SCORE 103113.638
AT ITER 670 NEW BEST:: SOT 1220900 SOS 680782 HAS SOPS 678530 HAS SOUS 102776 HAS SOUPS 102387 WITH SCORE 103067.782
AT ITER 674 NEW BEST:: SOT 1220918 SOS 680787 HAS SOPS 678535 HAS SOUS 102768 HAS SOUPS 102379 WITH SCORE 103059.787
AT ITER 693 NEW BEST:: SOT 1220882 SOS 680844 HAS SOPS 678587 HAS SOUS 102691 HAS SOUPS 102302 WITH SCORE 102982.844
AT ITER 698 NEW BEST:: SOT 1220882 SOS 679921 HAS SOPS 677664 HAS SOUS 102666 HAS SOUPS 102277 WITH SCORE 102956.921
AT ITER 705 NEW BEST:: SOT 1220882 SOS 679747 HAS SOPS 677490 HAS SOUS 102657 HAS SOUPS 102268 WITH SCORE 102947.747
AT ITER 713 NEW BEST:: SOT 1220825 SOS 679681 HAS SOPS 677423 HAS SOUS 102622 HAS SOUPS 102233 WITH SCORE 102912.681
AT ITER 728 NEW BEST:: SOT 1220840 SOS 679677 HAS SOPS 677419 HAS SOUS 102618 HAS SOUPS 102229 WITH SCORE 102908.677
AT ITER 736 NEW BEST:: SOT 1213854 SOS 672677 HAS SOPS 670419 HAS SOUS 101828 HAS SOUPS 101439 WITH SCORE 102111.677
AT ITER 740 NEW BEST:: SOT 1213837 SOS 672575 HAS SOPS 670317 HAS SOUS 101828 HAS SOUPS 101439 WITH SCORE 102111.575
AT ITER 743 NEW BEST:: SOT 1213424 SOS 672162 HAS SOPS 669904 HAS SOUS 101395 HAS SOUPS 101006 WITH SCORE 101678.162
AT ITER 744 NEW BEST:: SOT 1213301 SOS 671265 HAS SOPS 669775 HAS SOUS 101265 HAS SOUPS 100913 WITH SCORE 101584.265
AT ITER 747 NEW BEST:: SOT 1210006 SOS 667911 HAS SOPS 666421 HAS SOUS 101216 HAS SOUPS 100864 WITH SCORE 101531.911
AT ITER 758 NEW BEST:: SOT 1210009 SOS 667886 HAS SOPS 666396 HAS SOUS 101196 HAS SOUPS 100844 WITH SCORE 101511.886
AT ITER 770 NEW BEST:: SOT 1209973 SOS 667814 HAS SOPS 666324 HAS SOUS 101124 HAS SOUPS 100772 WITH SCORE 101439.814
AT ITER 772 NEW BEST:: SOT 1209861 SOS 667154 HAS SOPS 665664 HAS SOUS 100937 HAS SOUPS 100585 WITH SCORE 101252.154
AT ITER 788 NEW BEST:: SOT 1209192 SOS 666738 HAS SOPS 664926 HAS SOUS 100301 HAS SOUPS 99847 WITH SCORE 100513.738
AT ITER 790 NEW BEST:: SOT 1209182 SOS 651188 HAS SOPS 649376 HAS SOUS 100281 HAS SOUPS 99827 WITH SCORE 100478.188
AT ITER 798 NEW BEST:: SOT 1185785 SOS 811209 HAS SOPS 809397 HAS SOUS 97349 HAS SOUPS 96895 WITH SCORE 97706.209
AT ITER 807 NEW BEST:: SOT 1185400 SOS 810659 HAS SOPS 808847 HAS SOUS 97027 HAS SOUPS 96573 WITH SCORE 97383.659
AT ITER 814 NEW BEST:: SOT 1185400 SOS 809524 HAS SOPS 807712 HAS SOUS 96980 HAS SOUPS 96526 WITH SCORE 97335.524
AT ITER 823 NEW BEST:: SOT 1185400 SOS 809384 HAS SOPS 807572 HAS SOUS 96815 HAS SOUPS 96361 WITH SCORE 97170.384
AT ITER 839 NEW BEST:: SOT 1185368 SOS 809352 HAS SOPS 807550 HAS SOUS 96803 HAS SOUPS 96349 WITH SCORE 97158.352
AT ITER 846 NEW BEST:: SOT 1185362 SOS 809346 HAS SOPS 807544 HAS SOUS 96797 HAS SOUPS 96343 WITH SCORE 97152.346
AT ITER 865 NEW BEST:: SOT 1185036 SOS 809086 HAS SOPS 807284 HAS SOUS 96544 HAS SOUPS 96090 WITH SCORE 96899.086
AT ITER 899 NEW BEST:: SOT 1184224 SOS 808196 HAS SOPS 806394 HAS SOUS 95528 HAS SOUPS 95074 WITH SCORE 95882.196
AT ITER 905 NEW BEST:: SOT 1184178 SOS 807973 HAS SOPS 806171 HAS SOUS 95198 HAS SOUPS 94744 WITH SCORE 95551.973
AT ITER 912 NEW BEST:: SOT 1184158 SOS 807953 HAS SOPS 806131 HAS SOUS 95158 HAS SOUPS 94704 WITH SCORE 95511.953
AT ITER 917 NEW BEST:: SOT 1184125 SOS 807885 HAS SOPS 806063 HAS SOUS 95090 HAS SOUPS 94636 WITH SCORE 95443.885
AT ITER 919 NEW BEST:: SOT 1184072 SOS 807927 HAS SOPS 806119 HAS SOUS 95084 HAS SOUPS 94630 WITH SCORE 95437.927
AT ITER 927 NEW BEST:: SOT 1184006 SOS 793003 HAS SOPS 791195 HAS SOUS 94988 HAS SOUPS 94534 WITH SCORE 95327.003
AT ITER 938 NEW BEST:: SOT 1183970 SOS 792955 HAS SOPS 791147 HAS SOUS 94940 HAS SOUPS 94486 WITH SCORE 95278.955
AT ITER 951 NEW BEST:: SOT 1183750 SOS 792776 HAS SOPS 790968 HAS SOUS 94858 HAS SOUPS 94404 WITH SCORE 95196.776
AT ITER 968 NEW BEST:: SOT 1183426 SOS 792517 HAS SOPS 790709 HAS SOUS 94559 HAS SOUPS 94105 WITH SCORE 94897.517
AT ITER 974 NEW BEST:: SOT 1183426 SOS 791731 HAS SOPS 789923 HAS SOUS 94513 HAS SOUPS 94059 WITH SCORE 94850.731
AT ITER 994 NEW BEST:: SOT 1183386 SOS 791566 HAS SOPS 789749 HAS SOUS 94378 HAS SOUPS 93920 WITH SCORE 94711.566
AT ITER 1010 NEW BEST:: SOT 1183348 SOS 791547 HAS SOPS 789746 HAS SOUS 94355 HAS SOUPS 93897 WITH SCORE 94688.547
AT ITER 1069 NEW BEST:: SOT 1131574 SOS 739612 HAS SOPS 737811 HAS SOUS 89716 HAS SOUPS 89258 WITH SCORE 89997.612
AT ITER 1083 NEW BEST:: SOT 1131436 SOS 739517 HAS SOPS 737716 HAS SOUS 89521 HAS SOUPS 89063 WITH SCORE 89802.517
AT ITER 1095 NEW BEST:: SOT 1131412 SOS 739445 HAS SOPS 737644 HAS SOUS 89449 HAS SOUPS 88991 WITH SCORE 89730.445
AT ITER 1099 NEW BEST:: SOT 1131412 SOS 736534 HAS SOPS 734733 HAS SOUS 89431 HAS SOUPS 88973 WITH SCORE 89709.534
AT ITER 1112 NEW BEST:: SOT 1131453 SOS 736575 HAS SOPS 734750 HAS SOUS 89423 HAS SOUPS 88962 WITH SCORE 89698.575
AT ITER 1117 NEW BEST:: SOT 1131007 SOS 736044 HAS SOPS 734219 HAS SOUS 88591 HAS SOUPS 88130 WITH SCORE 88866.044
AT ITER 1119 NEW BEST:: SOT 1130913 SOS 735934 HAS SOPS 734109 HAS SOUS 88481 HAS SOUPS 88020 WITH SCORE 88755.934
AT ITER 1130 NEW BEST:: SOT 1131018 SOS 736328 HAS SOPS 734503 HAS SOUS 88188 HAS SOUPS 87727 WITH SCORE 88463.328
AT ITER 1132 NEW BEST:: SOT 1131018 SOS 579356 HAS SOPS 577531 HAS SOUS 88188 HAS SOUPS 87727 WITH SCORE 88306.356
AT ITER 1135 NEW BEST:: SOT 1131018 SOS 578486 HAS SOPS 576661 HAS SOUS 88154 HAS SOUPS 87693 WITH SCORE 88271.486
AT ITER 1143 NEW BEST:: SOT 1131288 SOS 579425 HAS SOPS 577600 HAS SOUS 87777 HAS SOUPS 87316 WITH SCORE 87895.425
AT ITER 1145 NEW BEST:: SOT 1131288 SOS 579354 HAS SOPS 577529 HAS SOUS 87777 HAS SOUPS 87316 WITH SCORE 87895.354
AT ITER 1164 NEW BEST:: SOT 1131288 SOS 579563 HAS SOPS 577738 HAS SOUS 87680 HAS SOUPS 87219 WITH SCORE 87798.563
AT ITER 1165 NEW BEST:: SOT 1125731 SOS 618394 HAS SOPS 616569 HAS SOUS 87254 HAS SOUPS 86793 WITH SCORE 87411.394
AT ITER 1169 NEW BEST:: SOT 1125979 SOS 618642 HAS SOPS 616817 HAS SOUS 87251 HAS SOUPS 86790 WITH SCORE 87408.642
AT ITER 1183 NEW BEST:: SOT 1125881 SOS 618433 HAS SOPS 616608 HAS SOUS 87129 HAS SOUPS 86668 WITH SCORE 87286.433
AT ITER 1212 NEW BEST:: SOT 1125923 SOS 618600 HAS SOPS 616775 HAS SOUS 86883 HAS SOUPS 86422 WITH SCORE 87040.6
AT ITER 1218 NEW BEST:: SOT 1125918 SOS 618595 HAS SOPS 616765 HAS SOUS 86877 HAS SOUPS 86411 WITH SCORE 87029.595
AT ITER 1225 NEW BEST:: SOT 1125918 SOS 618667 HAS SOPS 616837 HAS SOUS 86732 HAS SOUPS 86266 WITH SCORE 86884.667
AT ITER 1228 NEW BEST:: SOT 1125725 SOS 618430 HAS SOPS 616600 HAS SOUS 86597 HAS SOUPS 86131 WITH SCORE 86749.43
AT ITER 1236 NEW BEST:: SOT 1125635 SOS 618317 HAS SOPS 616487 HAS SOUS 86433 HAS SOUPS 85967 WITH SCORE 86585.317
AT ITER 1264 NEW BEST:: SOT 1125466 SOS 618148 HAS SOPS 616318 HAS SOUS 86330 HAS SOUPS 85864 WITH SCORE 86482.148
AT ITER 1267 NEW BEST:: SOT 1125460 SOS 618062 HAS SOPS 616232 HAS SOUS 86321 HAS SOUPS 85855 WITH SCORE 86473.062
AT ITER 1277 NEW BEST:: SOT 1125450 SOS 618052 HAS SOPS 616222 HAS SOUS 86301 HAS SOUPS 85835 WITH SCORE 86453.052
AT ITER 1280 NEW BEST:: SOT 1124589 SOS 617632 HAS SOPS 615802 HAS SOUS 85327 HAS SOUPS 84861 WITH SCORE 85478.632
AT ITER 1282 NEW BEST:: SOT 1124571 SOS 617614 HAS SOPS 615784 HAS SOUS 85325 HAS SOUPS 84859 WITH SCORE 85476.614
AT ITER 1287 NEW BEST:: SOT 1124571 SOS 525847 HAS SOPS 524017 HAS SOUS 85325 HAS SOUPS 84859 WITH SCORE 85384.847
AT ITER 1293 NEW BEST:: SOT 1124269 SOS 525645 HAS SOPS 523815 HAS SOUS 85243 HAS SOUPS 84777 WITH SCORE 85302.645
AT ITER 1297 NEW BEST:: SOT 1124147 SOS 525412 HAS SOPS 523582 HAS SOUS 85032 HAS SOUPS 84566 WITH SCORE 85091.412
AT ITER 1301 NEW BEST:: SOT 1124172 SOS 525458 HAS SOPS 523682 HAS SOUS 84883 HAS SOUPS 84417 WITH SCORE 84942.458
AT ITER 1305 NEW BEST:: SOT 1123987 SOS 525252 HAS SOPS 523476 HAS SOUS 84599 HAS SOUPS 84133 WITH SCORE 84658.252
AT ITER 1311 NEW BEST:: SOT 1123929 SOS 525182 HAS SOPS 523418 HAS SOUS 84251 HAS SOUPS 83788 WITH SCORE 84313.182
AT ITER 1341 NEW BEST:: SOT 1123742 SOS 525003 HAS SOPS 523239 HAS SOUS 84061 HAS SOUPS 83598 WITH SCORE 84123.003
AT ITER 1367 NEW BEST:: SOT 1123724 SOS 524985 HAS SOPS 523202 HAS SOUS 84063 HAS SOUPS 83562 WITH SCORE 84086.985
AT ITER 1377 NEW BEST:: SOT 1123650 SOS 525021 HAS SOPS 523238 HAS SOUS 83931 HAS SOUPS 83430 WITH SCORE 83955.021
AT ITER 1400 NEW BEST:: SOT 1123647 SOS 525018 HAS SOPS 523235 HAS SOUS 83925 HAS SOUPS 83424 WITH SCORE 83949.018
AT ITER 1405 NEW BEST:: SOT 1123633 SOS 525004 HAS SOPS 523221 HAS SOUS 83906 HAS SOUPS 83405 WITH SCORE 83930.004
AT ITER 1414 NEW BEST:: SOT 1123650 SOS 524997 HAS SOPS 523214 HAS SOUS 83887 HAS SOUPS 83386 WITH SCORE 83910.997
AT ITER 1423 NEW BEST:: SOT 1123626 SOS 524973 HAS SOPS 523166 HAS SOUS 83803 HAS SOUPS 83302 WITH SCORE 83826.973
AT ITER 1425 NEW BEST:: SOT 1123490 SOS 524649 HAS SOPS 522842 HAS SOUS 83718 HAS SOUPS 83217 WITH SCORE 83741.649
AT ITER 1427 NEW BEST:: SOT 1123378 SOS 524325 HAS SOPS 522518 HAS SOUS 83473 HAS SOUPS 82972 WITH SCORE 83496.325
AT ITER 1441 NEW BEST:: SOT 1123373 SOS 524320 HAS SOPS 522513 HAS SOUS 83463 HAS SOUPS 82962 WITH SCORE 83486.32
AT ITER 1447 NEW BEST:: SOT 1123132 SOS 523832 HAS SOPS 522025 HAS SOUS 83324 HAS SOUPS 82823 WITH SCORE 83346.832
AT ITER 1448 NEW BEST:: SOT 1122888 SOS 523692 HAS SOPS 521885 HAS SOUS 83260 HAS SOUPS 82759 WITH SCORE 83282.692
AT ITER 1462 NEW BEST:: SOT 1122888 SOS 523603 HAS SOPS 521747 HAS SOUS 83165 HAS SOUPS 82664 WITH SCORE 83187.603
AT ITER 1478 NEW BEST:: SOT 1123036 SOS 523780 HAS SOPS 521924 HAS SOUS 83055 HAS SOUPS 82554 WITH SCORE 83077.78
AT ITER 1488 NEW BEST:: SOT 1123031 SOS 523778 HAS SOPS 521922 HAS SOUS 83053 HAS SOUPS 82552 WITH SCORE 83075.778
AT ITER 1490 NEW BEST:: SOT 1123012 SOS 523759 HAS SOPS 521903 HAS SOUS 83015 HAS SOUPS 82514 WITH SCORE 83037.759
AT ITER 1496 NEW BEST:: SOT 1123234 SOS 523908 HAS SOPS 522052 HAS SOUS 82590 HAS SOUPS 82089 WITH SCORE 82612.908
AT ITER 1510 NEW BEST:: SOT 1123132 SOS 523738 HAS SOPS 521848 HAS SOUS 82420 HAS SOUPS 81919 WITH SCORE 82442.738
AT ITER 1513 NEW BEST:: SOT 1123132 SOS 523733 HAS SOPS 521843 HAS SOUS 82401 HAS SOUPS 81900 WITH SCORE 82423.733
AT ITER 1520 NEW BEST:: SOT 1123113 SOS 510572 HAS SOPS 508682 HAS SOUS 82329 HAS SOUPS 81828 WITH SCORE 82338.572
AT ITER 1530 NEW BEST:: SOT 1123105 SOS 510564 HAS SOPS 508674 HAS SOUS 82321 HAS SOUPS 81820 WITH SCORE 82330.564
AT ITER 1534 NEW BEST:: SOT 1123053 SOS 510376 HAS SOPS 508486 HAS SOUS 82167 HAS SOUPS 81666 WITH SCORE 82176.376
AT ITER 1535 NEW BEST:: SOT 1123106 SOS 510746 HAS SOPS 508856 HAS SOUS 82032 HAS SOUPS 81531 WITH SCORE 82041.746
AT ITER 1568 NEW BEST:: SOT 1121890 SOS 509524 HAS SOPS 507634 HAS SOUS 81997 HAS SOUPS 81496 WITH SCORE 82005.524
AT ITER 1619 NEW BEST:: SOT 1121799 SOS 509363 HAS SOPS 507473 HAS SOUS 81854 HAS SOUPS 81353 WITH SCORE 81862.363
AT ITER 1630 NEW BEST:: SOT 1121798 SOS 509362 HAS SOPS 507472 HAS SOUS 81851 HAS SOUPS 81350 WITH SCORE 81859.362
AT ITER 1659 NEW BEST:: SOT 1121787 SOS 509351 HAS SOPS 507457 HAS SOUS 81836 HAS SOUPS 81335 WITH SCORE 81844.351
AT ITER 1675 NEW BEST:: SOT 1121753 SOS 509192 HAS SOPS 507298 HAS SOUS 81812 HAS SOUPS 81311 WITH SCORE 81820.192
AT ITER 1695 NEW BEST:: SOT 1121718 SOS 509137 HAS SOPS 507243 HAS SOUS 81757 HAS SOUPS 81256 WITH SCORE 81765.137
AT ITER 1700 NEW BEST:: SOT 1121017 SOS 508595 HAS SOPS 506701 HAS SOUS 81215 HAS SOUPS 80714 WITH SCORE 81222.595
AT ITER 1701 NEW BEST:: SOT 1120982 SOS 508562 HAS SOPS 506668 HAS SOUS 81122 HAS SOUPS 80621 WITH SCORE 81129.562
AT ITER 1705 NEW BEST:: SOT 1120927 SOS 508527 HAS SOPS 506633 HAS SOUS 81047 HAS SOUPS 80546 WITH SCORE 81054.527
AT ITER 1713 NEW BEST:: SOT 1120877 SOS 508477 HAS SOPS 506583 HAS SOUS 80997 HAS SOUPS 80496 WITH SCORE 81004.477
AT ITER 1744 NEW BEST:: SOT 1120877 SOS 508466 HAS SOPS 506490 HAS SOUS 80907 HAS SOUPS 80406 WITH SCORE 80914.466
AT ITER 1755 NEW BEST:: SOT 1120869 SOS 508458 HAS SOPS 506482 HAS SOUS 80899 HAS SOUPS 80398 WITH SCORE 80906.458
AT ITER 1780 NEW BEST:: SOT 1120461 SOS 508118 HAS SOPS 506142 HAS SOUS 80835 HAS SOUPS 80334 WITH SCORE 80842.118
AT ITER 1792 NEW BEST:: SOT 1120222 SOS 507812 HAS SOPS 505836 HAS SOUS 80683 HAS SOUPS 80182 WITH SCORE 80689.812
AT ITER 1794 NEW BEST:: SOT 1120222 SOS 507812 HAS SOPS 505836 HAS SOUS 80680 HAS SOUPS 80179 WITH SCORE 80686.812
AT ITER 1816 NEW BEST:: SOT 1120225 SOS 507780 HAS SOPS 505804 HAS SOUS 80658 HAS SOUPS 80157 WITH SCORE 80664.78
AT ITER 1822 NEW BEST:: SOT 1120150 SOS 507731 HAS SOPS 505755 HAS SOUS 80396 HAS SOUPS 79895 WITH SCORE 80402.731
AT ITER 1846 NEW BEST:: SOT 1120150 SOS 507730 HAS SOPS 505754 HAS SOUS 80395 HAS SOUPS 79894 WITH SCORE 80401.73
AT ITER 1853 NEW BEST:: SOT 1120060 SOS 507640 HAS SOPS 505664 HAS SOUS 80220 HAS SOUPS 79719 WITH SCORE 80226.64
AT ITER 1867 NEW BEST:: SOT 1119847 SOS 507427 HAS SOPS 505451 HAS SOUS 79987 HAS SOUPS 79486 WITH SCORE 79993.427
AT ITER 1868 NEW BEST:: SOT 1119847 SOS 507387 HAS SOPS 505411 HAS SOUS 79987 HAS SOUPS 79486 WITH SCORE 79993.387
AT ITER 1874 NEW BEST:: SOT 1119614 SOS 507279 HAS SOPS 505303 HAS SOUS 79752 HAS SOUPS 79251 WITH SCORE 79758.279
AT ITER 1882 NEW BEST:: SOT 1119566 SOS 507207 HAS SOPS 505231 HAS SOUS 79692 HAS SOUPS 79191 WITH SCORE 79698.207
AT ITER 1889 NEW BEST:: SOT 1119450 SOS 507089 HAS SOPS 505139 HAS SOUS 79653 HAS SOUPS 79152 WITH SCORE 79659.089
AT ITER 1908 NEW BEST:: SOT 1119415 SOS 507054 HAS SOPS 505104 HAS SOUS 79592 HAS SOUPS 79091 WITH SCORE 79598.054
AT ITER 1910 NEW BEST:: SOT 1119404 SOS 507041 HAS SOPS 505091 HAS SOUS 79570 HAS SOUPS 79069 WITH SCORE 79576.041
AT ITER 1911 NEW BEST:: SOT 1119256 SOS 506756 HAS SOPS 504806 HAS SOUS 79231 HAS SOUPS 78730 WITH SCORE 79236.756
AT ITER 1938 NEW BEST:: SOT 1125878 SOS 513314 HAS SOPS 511428 HAS SOUS 78825 HAS SOUPS 78340 WITH SCORE 78853.314
AT ITER 1973 NEW BEST:: SOT 1125778 SOS 513207 HAS SOPS 511321 HAS SOUS 78800 HAS SOUPS 78315 WITH SCORE 78828.207
AT ITER 1981 NEW BEST:: SOT 1125712 SOS 513146 HAS SOPS 511255 HAS SOUS 78725 HAS SOUPS 78240 WITH SCORE 78753.146
AT ITER 1983 NEW BEST:: SOT 1125688 SOS 513122 HAS SOPS 511207 HAS SOUS 78688 HAS SOUPS 78203 WITH SCORE 78716.122
AT ITER 1988 NEW BEST:: SOT 1125520 SOS 512914 HAS SOPS 510327 HAS SOUS 78520 HAS SOUPS 77867 WITH SCORE 78379.914
AT ITER 1997 NEW BEST:: SOT 1125444 SOS 512834 HAS SOPS 510247 HAS SOUS 78503 HAS SOUPS 77850 WITH SCORE 78362.834
AT ITER 2020 NEW BEST:: SOT 1125384 SOS 512793 HAS SOPS 510206 HAS SOUS 78443 HAS SOUPS 77790 WITH SCORE 78302.793
AT ITER 2022 NEW BEST:: SOT 1125395 SOS 512804 HAS SOPS 510198 HAS SOUS 78410 HAS SOUPS 77757 WITH SCORE 78269.804
AT ITER 2024 NEW BEST:: SOT 1125289 SOS 512660 HAS SOPS 510054 HAS SOUS 78266 HAS SOUPS 77613 WITH SCORE 78125.66
AT ITER 2027 NEW BEST:: SOT 1125269 SOS 512640 HAS SOPS 510034 HAS SOUS 78244 HAS SOUPS 77591 WITH SCORE 78103.64
AT ITER 2075 NEW BEST:: SOT 1125262 SOS 512635 HAS SOPS 510029 HAS SOUS 78216 HAS SOUPS 77563 WITH SCORE 78075.635
AT ITER 2076 NEW BEST:: SOT 1125245 SOS 512609 HAS SOPS 510003 HAS SOUS 78196 HAS SOUPS 77543 WITH SCORE 78055.609
AT ITER 2083 NEW BEST:: SOT 1125227 SOS 512591 HAS SOPS 509961 HAS SOUS 78098 HAS SOUPS 77445 WITH SCORE 77957.591
AT ITER 2084 NEW BEST:: SOT 1125216 SOS 512557 HAS SOPS 509927 HAS SOUS 78056 HAS SOUPS 77403 WITH SCORE 77915.557
AT ITER 2089 NEW BEST:: SOT 1125128 SOS 512469 HAS SOPS 509839 HAS SOUS 78037 HAS SOUPS 77384 WITH SCORE 77896.469
AT ITER 2096 NEW BEST:: SOT 1124628 SOS 512014 HAS SOPS 509384 HAS SOUS 77718 HAS SOUPS 77065 WITH SCORE 77577.014
AT ITER 2113 NEW BEST:: SOT 1124617 SOS 511992 HAS SOPS 509362 HAS SOUS 77696 HAS SOUPS 77043 WITH SCORE 77554.992
AT ITER 2189 NEW BEST:: SOT 1124593 SOS 511944 HAS SOPS 509314 HAS SOUS 77648 HAS SOUPS 76995 WITH SCORE 77506.944
AT ITER 2192 NEW BEST:: SOT 1124582 SOS 511947 HAS SOPS 509317 HAS SOUS 77637 HAS SOUPS 76984 WITH SCORE 77495.947
AT ITER 2203 NEW BEST:: SOT 1124521 SOS 511877 HAS SOPS 509221 HAS SOUS 77541 HAS SOUPS 76888 WITH SCORE 77399.877
AT ITER 2213 NEW BEST:: SOT 1124536 SOS 512199 HAS SOPS 509543 HAS SOUS 77421 HAS SOUPS 76768 WITH SCORE 77280.199
AT ITER 2221 NEW BEST:: SOT 1124418 SOS 512081 HAS SOPS 509425 HAS SOUS 77417 HAS SOUPS 76764 WITH SCORE 77276.081
AT ITER 2237 NEW BEST:: SOT 1124410 SOS 512073 HAS SOPS 509417 HAS SOUS 77361 HAS SOUPS 76708 WITH SCORE 77220.073
AT ITER 2250 NEW BEST:: SOT 1124410 SOS 512045 HAS SOPS 509389 HAS SOUS 77361 HAS SOUPS 76708 WITH SCORE 77220.045
AT ITER 2254 NEW BEST:: SOT 1124404 SOS 512035 HAS SOPS 509379 HAS SOUS 77335 HAS SOUPS 76682 WITH SCORE 77194.035
AT ITER 2259 NEW BEST:: SOT 1124404 SOS 512033 HAS SOPS 509377 HAS SOUS 77329 HAS SOUPS 76676 WITH SCORE 77188.033
AT ITER 2275 NEW BEST:: SOT 1124390 SOS 506608 HAS SOPS 503952 HAS SOUS 77277 HAS SOUPS 76624 WITH SCORE 77130.608
AT ITER 2276 NEW BEST:: SOT 1124377 SOS 506595 HAS SOPS 503926 HAS SOUS 77251 HAS SOUPS 76598 WITH SCORE 77104.595
AT ITER 2320 NEW BEST:: SOT 1124377 SOS 506490 HAS SOPS 503821 HAS SOUS 77236 HAS SOUPS 76583 WITH SCORE 77089.49
AT ITER 2369 NEW BEST:: SOT 1124193 SOS 506387 HAS SOPS 503718 HAS SOUS 77111 HAS SOUPS 76458 WITH SCORE 76964.387
AT ITER 2379 NEW BEST:: SOT 1124173 SOS 506363 HAS SOPS 503694 HAS SOUS 77071 HAS SOUPS 76418 WITH SCORE 76924.363
AT ITER 2395 NEW BEST:: SOT 1124288 SOS 506532 HAS SOPS 503863 HAS SOUS 76984 HAS SOUPS 76331 WITH SCORE 76837.532
AT ITER 2398 NEW BEST:: SOT 1124268 SOS 506461 HAS SOPS 503789 HAS SOUS 76944 HAS SOUPS 76291 WITH SCORE 76797.461
AT ITER 2408 NEW BEST:: SOT 1125163 SOS 507334 HAS SOPS 504706 HAS SOUS 75371 HAS SOUPS 74729 WITH SCORE 75236.334
AT ITER 2450 NEW BEST:: SOT 1125169 SOS 507334 HAS SOPS 504706 HAS SOUS 75365 HAS SOUPS 74723 WITH SCORE 75230.334
AT ITER 2454 NEW BEST:: SOT 1109144 SOS 542374 HAS SOPS 539746 HAS SOUS 74721 HAS SOUPS 74079 WITH SCORE 74621.374
AT ITER 2469 NEW BEST:: SOT 1109144 SOS 542326 HAS SOPS 539698 HAS SOUS 74697 HAS SOUPS 74055 WITH SCORE 74597.326
AT ITER 2500 NEW BEST:: SOT 1109133 SOS 542315 HAS SOPS 539694 HAS SOUS 74693 HAS SOUPS 74051 WITH SCORE 74593.315
AT ITER 2509 NEW BEST:: SOT 1109133 SOS 542342 HAS SOPS 539704 HAS SOUS 74693 HAS SOUPS 74047 WITH SCORE 74589.342
AT ITER 2510 NEW BEST:: SOT 1108785 SOS 541978 HAS SOPS 539340 HAS SOUS 74037 HAS SOUPS 73391 WITH SCORE 73932.978
AT ITER 2541 NEW BEST:: SOT 1108720 SOS 541913 HAS SOPS 539275 HAS SOUS 73972 HAS SOUPS 73326 WITH SCORE 73867.913
AT ITER 2563 NEW BEST:: SOT 1108546 SOS 541707 HAS SOPS 539069 HAS SOUS 73862 HAS SOUPS 73216 WITH SCORE 73757.707
AT ITER 2578 NEW BEST:: SOT 1108557 SOS 541746 HAS SOPS 539108 HAS SOUS 73857 HAS SOUPS 73211 WITH SCORE 73752.746
AT ITER 2585 NEW BEST:: SOT 1108524 SOS 541713 HAS SOPS 539075 HAS SOUS 73824 HAS SOUPS 73178 WITH SCORE 73719.713
AT ITER 2605 NEW BEST:: SOT 1108522 SOS 541711 HAS SOPS 539069 HAS SOUS 73818 HAS SOUPS 73168 WITH SCORE 73709.711
AT ITER 2607 NEW BEST:: SOT 1108537 SOS 541898 HAS SOPS 539256 HAS SOUS 73687 HAS SOUPS 73037 WITH SCORE 73578.898
AT ITER 2636 NEW BEST:: SOT 1108486 SOS 542056 HAS SOPS 539205 HAS SOUS 73638 HAS SOUPS 72977 WITH SCORE 73519.056
AT ITER 2646 NEW BEST:: SOT 1108473 SOS 542142 HAS SOPS 539291 HAS SOUS 73612 HAS SOUPS 72951 WITH SCORE 73493.142
AT ITER 2649 NEW BEST:: SOT 1108473 SOS 542124 HAS SOPS 539273 HAS SOUS 73612 HAS SOUPS 72951 WITH SCORE 73493.124
AT ITER 2657 NEW BEST:: SOT 1108467 SOS 542128 HAS SOPS 539277 HAS SOUS 73568 HAS SOUPS 72907 WITH SCORE 73449.128
AT ITER 2662 NEW BEST:: SOT 1108467 SOS 542114 HAS SOPS 539263 HAS SOUS 73568 HAS SOUPS 72907 WITH SCORE 73449.114
AT ITER 2666 NEW BEST:: SOT 1114850 SOS 548457 HAS SOPS 545646 HAS SOUS 73451 HAS SOUPS 72800 WITH SCORE 73348.457
AT ITER 2668 NEW BEST:: SOT 1114843 SOS 548412 HAS SOPS 545615 HAS SOUS 73437 HAS SOUPS 72790 WITH SCORE 73338.412
AT ITER 2699 NEW BEST:: SOT 1114816 SOS 548477 HAS SOPS 545680 HAS SOUS 73376 HAS SOUPS 72729 WITH SCORE 73277.477
AT ITER 2703 NEW BEST:: SOT 1114807 SOS 548468 HAS SOPS 545671 HAS SOUS 73367 HAS SOUPS 72720 WITH SCORE 73268.468
AT ITER 2726 NEW BEST:: SOT 1114796 SOS 548457 HAS SOPS 545660 HAS SOUS 73331 HAS SOUPS 72684 WITH SCORE 73232.457
AT ITER 2766 NEW BEST:: SOT 1114788 SOS 548449 HAS SOPS 545652 HAS SOUS 73321 HAS SOUPS 72674 WITH SCORE 73222.449
AT ITER 2768 NEW BEST:: SOT 1114788 SOS 548437 HAS SOPS 545640 HAS SOUS 73321 HAS SOUPS 72674 WITH SCORE 73222.437
AT ITER 2780 NEW BEST:: SOT 1114813 SOS 548475 HAS SOPS 545715 HAS SOUS 73180 HAS SOUPS 72533 WITH SCORE 73081.475
AT ITER 2794 NEW BEST:: SOT 1114810 SOS 548472 HAS SOPS 545712 HAS SOUS 73174 HAS SOUPS 72527 WITH SCORE 73075.472
AT ITER 2815 NEW BEST:: SOT 1114785 SOS 548424 HAS SOPS 545664 HAS SOUS 73124 HAS SOUPS 72477 WITH SCORE 73025.424
AT ITER 2824 NEW BEST:: SOT 1114831 SOS 548470 HAS SOPS 545654 HAS SOUS 73113 HAS SOUPS 72464 WITH SCORE 73012.47
AT ITER 2858 NEW BEST:: SOT 1114815 SOS 497458 HAS SOPS 494642 HAS SOUS 72718 HAS SOUPS 72069 WITH SCORE 72566.458
AT ITER 2882 NEW BEST:: SOT 1114834 SOS 497477 HAS SOPS 494661 HAS SOUS 72700 HAS SOUPS 72051 WITH SCORE 72548.477
AT ITER 2888 NEW BEST:: SOT 1114835 SOS 497478 HAS SOPS 494662 HAS SOUS 72699 HAS SOUPS 72050 WITH SCORE 72547.478
AT ITER 2898 NEW BEST:: SOT 1114835 SOS 497478 HAS SOPS 494662 HAS SOUS 72696 HAS SOUPS 72047 WITH SCORE 72544.478
AT ITER 2909 NEW BEST:: SOT 1114835 SOS 497418 HAS SOPS 494602 HAS SOUS 72668 HAS SOUPS 72019 WITH SCORE 72516.418
AT ITER 2913 NEW BEST:: SOT 1114775 SOS 497220 HAS SOPS 494516 HAS SOUS 72578 HAS SOUPS 71957 WITH SCORE 72454.22
AT ITER 2936 NEW BEST:: SOT 1114754 SOS 497156 HAS SOPS 494452 HAS SOUS 72354 HAS SOUPS 71733 WITH SCORE 72230.156
AT ITER 2965 NEW BEST:: SOT 1114745 SOS 497147 HAS SOPS 494434 HAS SOUS 72333 HAS SOUPS 71712 WITH SCORE 72209.147
AT ITER 2983 NEW BEST:: SOT 1114594 SOS 496964 HAS SOPS 494251 HAS SOUS 72333 HAS SOUPS 71712 WITH SCORE 72208.964
AT ITER 2984 NEW BEST:: SOT 1114565 SOS 496935 HAS SOPS 494222 HAS SOUS 72290 HAS SOUPS 71669 WITH SCORE 72165.935
AT ITER 2999 NEW BEST:: SOT 1114486 SOS 496730 HAS SOPS 494017 HAS SOUS 72190 HAS SOUPS 71569 WITH SCORE 72065.73
AT ITER 3004 NEW BEST:: SOT 1114405 SOS 496649 HAS SOPS 493947 HAS SOUS 72091 HAS SOUPS 71470 WITH SCORE 71966.649
AT ITER 3005 NEW BEST:: SOT 1114238 SOS 496474 HAS SOPS 493772 HAS SOUS 71760 HAS SOUPS 71139 WITH SCORE 71635.474
AT ITER 3011 NEW BEST:: SOT 1114227 SOS 496463 HAS SOPS 493761 HAS SOUS 71738 HAS SOUPS 71117 WITH SCORE 71613.463
AT ITER 3027 NEW BEST:: SOT 1114227 SOS 496463 HAS SOPS 493761 HAS SOUS 71737 HAS SOUPS 71116 WITH SCORE 71612.463
AT ITER 3045 NEW BEST:: SOT 1114190 SOS 496402 HAS SOPS 493700 HAS SOUS 71694 HAS SOUPS 71073 WITH SCORE 71569.402
AT ITER 3052 NEW BEST:: SOT 1114207 SOS 496419 HAS SOPS 493717 HAS SOUS 71685 HAS SOUPS 71064 WITH SCORE 71560.419
AT ITER 3055 NEW BEST:: SOT 1114191 SOS 496393 HAS SOPS 493690 HAS SOUS 71661 HAS SOUPS 71040 WITH SCORE 71536.393
AT ITER 3058 NEW BEST:: SOT 1114191 SOS 496321 HAS SOPS 493618 HAS SOUS 71661 HAS SOUPS 71040 WITH SCORE 71536.321
AT ITER 3071 NEW BEST:: SOT 1114325 SOS 496455 HAS SOPS 493752 HAS SOUS 71629 HAS SOUPS 71008 WITH SCORE 71504.455
AT ITER 3079 NEW BEST:: SOT 1114314 SOS 496433 HAS SOPS 493730 HAS SOUS 71607 HAS SOUPS 70986 WITH SCORE 71482.433
AT ITER 3138 NEW BEST:: SOT 1114315 SOS 496434 HAS SOPS 493731 HAS SOUS 71595 HAS SOUPS 70974 WITH SCORE 71470.434
AT ITER 3146 NEW BEST:: SOT 1114255 SOS 496374 HAS SOPS 493671 HAS SOUS 71535 HAS SOUPS 70914 WITH SCORE 71410.374
AT ITER 3182 NEW BEST:: SOT 1114226 SOS 463648 HAS SOPS 460945 HAS SOUS 71553 HAS SOUPS 70932 WITH SCORE 71395.648
AT ITER 3188 NEW BEST:: SOT 1114177 SOS 463640 HAS SOPS 460937 HAS SOUS 71457 HAS SOUPS 70836 WITH SCORE 71299.64
AT ITER 3205 NEW BEST:: SOT 1114126 SOS 463634 HAS SOPS 460985 HAS SOUS 71409 HAS SOUPS 70788 WITH SCORE 71251.634
AT ITER 3231 NEW BEST:: SOT 1114162 SOS 463550 HAS SOPS 460901 HAS SOUS 71382 HAS SOUPS 70761 WITH SCORE 71224.55
AT ITER 3272 NEW BEST:: SOT 1114117 SOS 463482 HAS SOPS 460833 HAS SOUS 71357 HAS SOUPS 70736 WITH SCORE 71199.482
AT ITER 3307 NEW BEST:: SOT 1114056 SOS 462925 HAS SOPS 460276 HAS SOUS 71217 HAS SOUPS 70596 WITH SCORE 71058.925
AT ITER 3323 NEW BEST:: SOT 1113638 SOS 462582 HAS SOPS 459933 HAS SOUS 70694 HAS SOUPS 70073 WITH SCORE 70535.582
AT ITER 3329 NEW BEST:: SOT 1113215 SOS 462215 HAS SOPS 459566 HAS SOUS 70451 HAS SOUPS 69830 WITH SCORE 70292.215
AT ITER 3355 NEW BEST:: SOT 1113213 SOS 462213 HAS SOPS 459564 HAS SOUS 70450 HAS SOUPS 69829 WITH SCORE 70291.213
AT ITER 3391 NEW BEST:: SOT 1113212 SOS 462199 HAS SOPS 459541 HAS SOUS 70436 HAS SOUPS 69818 WITH SCORE 70280.199
AT ITER 3401 NEW BEST:: SOT 1113211 SOS 462201 HAS SOPS 459543 HAS SOUS 70431 HAS SOUPS 69813 WITH SCORE 70275.201
AT ITER 3414 NEW BEST:: SOT 1113199 SOS 462339 HAS SOPS 459681 HAS SOUS 70413 HAS SOUPS 69795 WITH SCORE 70257.339
AT ITER 3420 NEW BEST:: SOT 1113039 SOS 462187 HAS SOPS 459529 HAS SOUS 70267 HAS SOUPS 69649 WITH SCORE 70111.187
AT ITER 3445 NEW BEST:: SOT 1112910 SOS 461821 HAS SOPS 459189 HAS SOUS 70258 HAS SOUPS 69640 WITH SCORE 70101.821
AT ITER 3494 NEW BEST:: SOT 1112902 SOS 461813 HAS SOPS 459181 HAS SOUS 70250 HAS SOUPS 69632 WITH SCORE 70093.813
AT ITER 3504 NEW BEST:: SOT 1112707 SOS 461619 HAS SOPS 458987 HAS SOUS 70056 HAS SOUPS 69438 WITH SCORE 69899.619
AT ITER 3515 NEW BEST:: SOT 1112700 SOS 461612 HAS SOPS 458973 HAS SOUS 70032 HAS SOUPS 69414 WITH SCORE 69875.612
AT ITER 3537 NEW BEST:: SOT 1112695 SOS 461607 HAS SOPS 458968 HAS SOUS 70006 HAS SOUPS 69388 WITH SCORE 69849.607
AT ITER 3539 NEW BEST:: SOT 1112659 SOS 461577 HAS SOPS 458938 HAS SOUS 69958 HAS SOUPS 69340 WITH SCORE 69801.577
AT ITER 3540 NEW BEST:: SOT 1115299 SOS 464161 HAS SOPS 461578 HAS SOUS 68907 HAS SOUPS 68303 WITH SCORE 68767.161
AT ITER 3541 NEW BEST:: SOT 1115174 SOS 464033 HAS SOPS 461450 HAS SOUS 68665 HAS SOUPS 68061 WITH SCORE 68525.033
AT ITER 3572 NEW BEST:: SOT 1115174 SOS 464033 HAS SOPS 461450 HAS SOUS 68656 HAS SOUPS 68052 WITH SCORE 68516.033
AT ITER 3588 NEW BEST:: SOT 1115174 SOS 464033 HAS SOPS 461450 HAS SOUS 68655 HAS SOUPS 68051 WITH SCORE 68515.033
AT ITER 3632 NEW BEST:: SOT 1115167 SOS 464003 HAS SOPS 461420 HAS SOUS 68625 HAS SOUPS 68021 WITH SCORE 68485.003
AT ITER 3634 NEW BEST:: SOT 1115037 SOS 463805 HAS SOPS 461222 HAS SOUS 68490 HAS SOUPS 67886 WITH SCORE 68349.805
AT ITER 3647 NEW BEST:: SOT 1115037 SOS 463805 HAS SOPS 461222 HAS SOUS 68484 HAS SOUPS 67880 WITH SCORE 68343.805
AT ITER 3673 NEW BEST:: SOT 1115037 SOS 463804 HAS SOPS 461221 HAS SOUS 68482 HAS SOUPS 67878 WITH SCORE 68341.804
AT ITER 3682 NEW BEST:: SOT 1114895 SOS 463700 HAS SOPS 461117 HAS SOUS 68378 HAS SOUPS 67774 WITH SCORE 68237.7
AT ITER 3684 NEW BEST:: SOT 1114789 SOS 463578 HAS SOPS 460995 HAS SOUS 68280 HAS SOUPS 67676 WITH SCORE 68139.578
AT ITER 3698 NEW BEST:: SOT 1114768 SOS 463607 HAS SOPS 461024 HAS SOUS 68253 HAS SOUPS 67649 WITH SCORE 68112.607
AT ITER 3724 NEW BEST:: SOT 1114786 SOS 463625 HAS SOPS 461042 HAS SOUS 68228 HAS SOUPS 67624 WITH SCORE 68087.625
AT ITER 3727 NEW BEST:: SOT 1114786 SOS 463565 HAS SOPS 460982 HAS SOUS 68185 HAS SOUPS 67581 WITH SCORE 68044.565
AT ITER 3732 NEW BEST:: SOT 1114768 SOS 463547 HAS SOPS 460964 HAS SOUS 68167 HAS SOUPS 67563 WITH SCORE 68026.547
AT ITER 3735 NEW BEST:: SOT 1114756 SOS 463535 HAS SOPS 460952 HAS SOUS 68143 HAS SOUPS 67539 WITH SCORE 68002.535
AT ITER 3759 NEW BEST:: SOT 1114718 SOS 463415 HAS SOPS 460832 HAS SOUS 68063 HAS SOUPS 67459 WITH SCORE 67922.415
AT ITER 3765 NEW BEST:: SOT 1114715 SOS 463412 HAS SOPS 460803 HAS SOUS 68060 HAS SOUPS 67430 WITH SCORE 67893.412
AT ITER 3792 NEW BEST:: SOT 1114721 SOS 463418 HAS SOPS 460729 HAS SOUS 68109 HAS SOUPS 67401 WITH SCORE 67864.418
AT ITER 3826 NEW BEST:: SOT 1114721 SOS 463510 HAS SOPS 460821 HAS SOUS 68104 HAS SOUPS 67396 WITH SCORE 67859.51
AT ITER 3845 NEW BEST:: SOT 1114712 SOS 463501 HAS SOPS 460812 HAS SOUS 68086 HAS SOUPS 67378 WITH SCORE 67841.501
AT ITER 3867 NEW BEST:: SOT 1114704 SOS 463493 HAS SOPS 460804 HAS SOUS 68078 HAS SOUPS 67370 WITH SCORE 67833.493
AT ITER 3912 NEW BEST:: SOT 1114684 SOS 463671 HAS SOPS 460784 HAS SOUS 68041 HAS SOUPS 67322 WITH SCORE 67785.671
AT ITER 3923 NEW BEST:: SOT 1116058 SOS 465045 HAS SOPS 462158 HAS SOUS 67555 HAS SOUPS 66836 WITH SCORE 67301.045
AT ITER 3932 NEW BEST:: SOT 1116025 SOS 464993 HAS SOPS 462106 HAS SOUS 67501 HAS SOUPS 66782 WITH SCORE 67246.993
AT ITER 4039 NEW BEST:: SOT 1116050 SOS 464944 HAS SOPS 462057 HAS SOUS 67382 HAS SOUPS 66663 WITH SCORE 67127.944
AT ITER 4042 NEW BEST:: SOT 1116024 SOS 464879 HAS SOPS 461992 HAS SOUS 67378 HAS SOUPS 66659 WITH SCORE 67123.879
AT ITER 4069 NEW BEST:: SOT 1116013 SOS 464840 HAS SOPS 461953 HAS SOUS 67307 HAS SOUPS 66588 WITH SCORE 67052.84
AT ITER 4084 NEW BEST:: SOT 1115923 SOS 464780 HAS SOPS 461893 HAS SOUS 67247 HAS SOUPS 66528 WITH SCORE 66992.78
AT ITER 4104 NEW BEST:: SOT 1115901 SOS 464788 HAS SOPS 461890 HAS SOUS 67230 HAS SOUPS 66503 WITH SCORE 66967.788
AT ITER 4108 NEW BEST:: SOT 1115877 SOS 464137 HAS SOPS 461239 HAS SOUS 67219 HAS SOUPS 66492 WITH SCORE 66956.137
AT ITER 4111 NEW BEST:: SOT 1115877 SOS 464103 HAS SOPS 461205 HAS SOUS 67202 HAS SOUPS 66475 WITH SCORE 66939.103
AT ITER 4112 NEW BEST:: SOT 1115622 SOS 463384 HAS SOPS 460486 HAS SOUS 67161 HAS SOUPS 66434 WITH SCORE 66897.384
AT ITER 4150 NEW BEST:: SOT 1115621 SOS 463380 HAS SOPS 460482 HAS SOUS 67161 HAS SOUPS 66434 WITH SCORE 66897.38
AT ITER 4165 NEW BEST:: SOT 1115615 SOS 463374 HAS SOPS 460470 HAS SOUS 67149 HAS SOUPS 66422 WITH SCORE 66885.374
AT ITER 4184 NEW BEST:: SOT 1115615 SOS 463382 HAS SOPS 460482 HAS SOUS 67145 HAS SOUPS 66418 WITH SCORE 66881.382
AT ITER 4186 NEW BEST:: SOT 1115612 SOS 463379 HAS SOPS 460479 HAS SOUS 67142 HAS SOUPS 66415 WITH SCORE 66878.379
AT ITER 4237 NEW BEST:: SOT 1115604 SOS 463371 HAS SOPS 460471 HAS SOUS 67126 HAS SOUPS 66399 WITH SCORE 66862.371
AT ITER 4274 NEW BEST:: SOT 1115604 SOS 463371 HAS SOPS 460471 HAS SOUS 67122 HAS SOUPS 66395 WITH SCORE 66858.371
AT ITER 4306 NEW BEST:: SOT 1115598 SOS 463314 HAS SOPS 460468 HAS SOUS 67119 HAS SOUPS 66395 WITH SCORE 66858.314
AT ITER 4310 NEW BEST:: SOT 1115597 SOS 463313 HAS SOPS 460467 HAS SOUS 67117 HAS SOUPS 66393 WITH SCORE 66856.313
AT ITER 4322 NEW BEST:: SOT 1115489 SOS 463213 HAS SOPS 460367 HAS SOUS 67089 HAS SOUPS 66365 WITH SCORE 66828.213
AT ITER 4331 NEW BEST:: SOT 1115369 SOS 463049 HAS SOPS 460203 HAS SOUS 66925 HAS SOUPS 66201 WITH SCORE 66664.049
AT ITER 4335 NEW BEST:: SOT 1115353 SOS 463222 HAS SOPS 460357 HAS SOUS 66904 HAS SOUPS 66180 WITH SCORE 66643.222
AT ITER 4337 NEW BEST:: SOT 1115334 SOS 463203 HAS SOPS 460324 HAS SOUS 66852 HAS SOUPS 66128 WITH SCORE 66591.203
AT ITER 4347 NEW BEST:: SOT 1115334 SOS 463191 HAS SOPS 460312 HAS SOUS 66849 HAS SOUPS 66125 WITH SCORE 66588.191
AT ITER 4361 NEW BEST:: SOT 1115329 SOS 463186 HAS SOPS 460307 HAS SOUS 66839 HAS SOUPS 66115 WITH SCORE 66578.186
AT ITER 4381 NEW BEST:: SOT 1115188 SOS 462983 HAS SOPS 460104 HAS SOUS 66824 HAS SOUPS 66100 WITH SCORE 66562.983
AT ITER 4392 NEW BEST:: SOT 1115085 SOS 462876 HAS SOPS 459997 HAS SOUS 66714 HAS SOUPS 65990 WITH SCORE 66452.876
AT ITER 4395 NEW BEST:: SOT 1115026 SOS 462813 HAS SOPS 459718 HAS SOUS 66652 HAS SOUPS 65874 WITH SCORE 66336.813
AT ITER 4406 NEW BEST:: SOT 1115012 SOS 462799 HAS SOPS 459718 HAS SOUS 66647 HAS SOUPS 65869 WITH SCORE 66331.799
AT ITER 4436 NEW BEST:: SOT 1114873 SOS 462779 HAS SOPS 459698 HAS SOUS 66595 HAS SOUPS 65817 WITH SCORE 66279.779
AT ITER 4477 NEW BEST:: SOT 1114775 SOS 462635 HAS SOPS 459555 HAS SOUS 66486 HAS SOUPS 65708 WITH SCORE 66170.635
AT ITER 4482 NEW BEST:: SOT 1114775 SOS 462695 HAS SOPS 459615 HAS SOUS 66406 HAS SOUPS 65628 WITH SCORE 66090.695
AT ITER 4547 NEW BEST:: SOT 1114755 SOS 462671 HAS SOPS 459591 HAS SOUS 66366 HAS SOUPS 65588 WITH SCORE 66050.671
AT ITER 4550 NEW BEST:: SOT 1114732 SOS 462648 HAS SOPS 459568 HAS SOUS 66278 HAS SOUPS 65500 WITH SCORE 65962.648
AT ITER 4573 NEW BEST:: SOT 1114708 SOS 462600 HAS SOPS 459520 HAS SOUS 66230 HAS SOUPS 65452 WITH SCORE 65914.6
AT ITER 4592 NEW BEST:: SOT 1114700 SOS 462592 HAS SOPS 459512 HAS SOUS 66195 HAS SOUPS 65417 WITH SCORE 65879.592
AT ITER 4646 NEW BEST:: SOT 1114726 SOS 462618 HAS SOPS 459533 HAS SOUS 66190 HAS SOUPS 65412 WITH SCORE 65874.618
AT ITER 4674 NEW BEST:: SOT 1114715 SOS 462607 HAS SOPS 459520 HAS SOUS 66168 HAS SOUPS 65390 WITH SCORE 65852.607
AT ITER 4688 NEW BEST:: SOT 1114681 SOS 462573 HAS SOPS 459486 HAS SOUS 66134 HAS SOUPS 65356 WITH SCORE 65818.573
AT ITER 4689 NEW BEST:: SOT 1114628 SOS 462573 HAS SOPS 459486 HAS SOUS 66028 HAS SOUPS 65250 WITH SCORE 65712.573
AT ITER 4769 NEW BEST:: SOT 1114627 SOS 462571 HAS SOPS 459484 HAS SOUS 66025 HAS SOUPS 65247 WITH SCORE 65709.571
AT ITER 4785 NEW BEST:: SOT 1114614 SOS 462558 HAS SOPS 459471 HAS SOUS 65999 HAS SOUPS 65221 WITH SCORE 65683.558
AT ITER 4830 NEW BEST:: SOT 1114608 SOS 462552 HAS SOPS 459465 HAS SOUS 65999 HAS SOUPS 65221 WITH SCORE 65683.552
AT ITER 4834 NEW BEST:: SOT 1114608 SOS 462560 HAS SOPS 459473 HAS SOUS 65991 HAS SOUPS 65213 WITH SCORE 65675.56
AT ITER 4849 NEW BEST:: SOT 1114578 SOS 462530 HAS SOPS 459443 HAS SOUS 65991 HAS SOUPS 65213 WITH SCORE 65675.53
AT ITER 4890 NEW BEST:: SOT 1114574 SOS 462526 HAS SOPS 459439 HAS SOUS 65987 HAS SOUPS 65209 WITH SCORE 65671.526
AT ITER 4921 NEW BEST:: SOT 1114497 SOS 462449 HAS SOPS 459362 HAS SOUS 65891 HAS SOUPS 65113 WITH SCORE 65575.449
AT ITER 4927 NEW BEST:: SOT 1114402 SOS 462414 HAS SOPS 459327 HAS SOUS 65878 HAS SOUPS 65100 WITH SCORE 65562.414
AT ITER 4929 NEW BEST:: SOT 1114402 SOS 462498 HAS SOPS 459411 HAS SOUS 65836 HAS SOUPS 65058 WITH SCORE 65520.498
AT ITER 4930 NEW BEST:: SOT 1114402 SOS 462488 HAS SOPS 459401 HAS SOUS 65836 HAS SOUPS 65058 WITH SCORE 65520.488
AT ITER 4938 NEW BEST:: SOT 1114387 SOS 462467 HAS SOPS 459380 HAS SOUS 65821 HAS SOUPS 65043 WITH SCORE 65505.467
AT ITER 4948 NEW BEST:: SOT 1114383 SOS 462463 HAS SOPS 459376 HAS SOUS 65813 HAS SOUPS 65035 WITH SCORE 65497.463
AT ITER 4987 NEW BEST:: SOT 1114387 SOS 462515 HAS SOPS 459428 HAS SOUS 65807 HAS SOUPS 65029 WITH SCORE 65491.515
AT ITER 5018 NEW BEST:: SOT 1114387 SOS 462515 HAS SOPS 459428 HAS SOUS 65795 HAS SOUPS 65017 WITH SCORE 65479.515
AT ITER 5032 NEW BEST:: SOT 1114385 SOS 460965 HAS SOPS 457878 HAS SOUS 65792 HAS SOUPS 65014 WITH SCORE 65474.965
AT ITER 5052 NEW BEST:: SOT 1114409 SOS 459391 HAS SOPS 456264 HAS SOUS 65752 HAS SOUPS 64964 WITH SCORE 65423.391
AT ITER 5066 NEW BEST:: SOT 1114414 SOS 459247 HAS SOPS 456120 HAS SOUS 65608 HAS SOUPS 64820 WITH SCORE 65279.247
AT ITER 5113 NEW BEST:: SOT 1114418 SOS 459242 HAS SOPS 456115 HAS SOUS 65597 HAS SOUPS 64809 WITH SCORE 65268.242
AT ITER 5135 NEW BEST:: SOT 1114485 SOS 459309 HAS SOPS 456182 HAS SOUS 65310 HAS SOUPS 64522 WITH SCORE 64981.309
AT ITER 5223 NEW BEST:: SOT 1114456 SOS 459268 HAS SOPS 456141 HAS SOUS 65308 HAS SOUPS 64520 WITH SCORE 64979.268
AT ITER 5228 NEW BEST:: SOT 1114400 SOS 459164 HAS SOPS 456037 HAS SOUS 65240 HAS SOUPS 64452 WITH SCORE 64911.164
AT ITER 5234 NEW BEST:: SOT 1114388 SOS 456056 HAS SOPS 452929 HAS SOUS 65156 HAS SOUPS 64368 WITH SCORE 64824.056
AT ITER 5243 NEW BEST:: SOT 1114145 SOS 455387 HAS SOPS 452260 HAS SOUS 64844 HAS SOUPS 64056 WITH SCORE 64511.387
AT ITER 5260 NEW BEST:: SOT 1114144 SOS 455386 HAS SOPS 452259 HAS SOUS 64843 HAS SOUPS 64055 WITH SCORE 64510.386
AT ITER 5283 NEW BEST:: SOT 1114140 SOS 455396 HAS SOPS 452269 HAS SOUS 64795 HAS SOUPS 64007 WITH SCORE 64462.396
AT ITER 5287 NEW BEST:: SOT 1114140 SOS 455502 HAS SOPS 452375 HAS SOUS 64780 HAS SOUPS 63992 WITH SCORE 64447.502
AT ITER 5320 NEW BEST:: SOT 1114137 SOS 455499 HAS SOPS 452372 HAS SOUS 64777 HAS SOUPS 63989 WITH SCORE 64444.499
AT ITER 5347 NEW BEST:: SOT 1114057 SOS 455415 HAS SOPS 452288 HAS SOUS 64738 HAS SOUPS 63950 WITH SCORE 64405.415
AT ITER 5349 NEW BEST:: SOT 1114057 SOS 455415 HAS SOPS 452287 HAS SOUS 64736 HAS SOUPS 63948 WITH SCORE 64403.415
AT ITER 5354 NEW BEST:: SOT 1114027 SOS 447655 HAS SOPS 444527 HAS SOUS 64642 HAS SOUPS 63854 WITH SCORE 64301.655
AT ITER 5358 NEW BEST:: SOT 1114030 SOS 447658 HAS SOPS 444530 HAS SOUS 64536 HAS SOUPS 63748 WITH SCORE 64195.658
AT ITER 5383 NEW BEST:: SOT 1116372 SOS 450030 HAS SOPS 446902 HAS SOUS 63810 HAS SOUPS 63022 WITH SCORE 63472.03
AT ITER 5396 NEW BEST:: SOT 1116225 SOS 449883 HAS SOPS 446755 HAS SOUS 63456 HAS SOUPS 62668 WITH SCORE 63117.883
AT ITER 5430 NEW BEST:: SOT 1116241 SOS 449899 HAS SOPS 446764 HAS SOUS 63442 HAS SOUPS 62654 WITH SCORE 63103.899
AT ITER 5436 NEW BEST:: SOT 1116241 SOS 449899 HAS SOPS 446764 HAS SOUS 63436 HAS SOUPS 62648 WITH SCORE 63097.899
AT ITER 5455 NEW BEST:: SOT 1116184 SOS 448294 HAS SOPS 445159 HAS SOUS 63235 HAS SOUPS 62447 WITH SCORE 62895.294
AT ITER 5458 NEW BEST:: SOT 1116165 SOS 448234 HAS SOPS 445099 HAS SOUS 63197 HAS SOUPS 62409 WITH SCORE 62857.234
AT ITER 5499 NEW BEST:: SOT 1116165 SOS 448234 HAS SOPS 443995 HAS SOUS 63326 HAS SOUPS 62262 WITH SCORE 62710.234
AT ITER 5512 NEW BEST:: SOT 1116153 SOS 448222 HAS SOPS 443983 HAS SOUS 63308 HAS SOUPS 62244 WITH SCORE 62692.222
AT ITER 5520 NEW BEST:: SOT 1116153 SOS 448224 HAS SOPS 443985 HAS SOUS 63306 HAS SOUPS 62242 WITH SCORE 62690.224
AT ITER 5596 NEW BEST:: SOT 1116147 SOS 448218 HAS SOPS 443979 HAS SOUS 63300 HAS SOUPS 62236 WITH SCORE 62684.218
AT ITER 5604 NEW BEST:: SOT 1116171 SOS 448646 HAS SOPS 444407 HAS SOUS 63288 HAS SOUPS 62224 WITH SCORE 62672.646
AT ITER 5639 NEW BEST:: SOT 1116158 SOS 448553 HAS SOPS 444314 HAS SOUS 63269 HAS SOUPS 62205 WITH SCORE 62653.553
AT ITER 5659 NEW BEST:: SOT 1116165 SOS 448560 HAS SOPS 444308 HAS SOUS 63263 HAS SOUPS 62199 WITH SCORE 62647.56
AT ITER 5707 NEW BEST:: SOT 1116068 SOS 448245 HAS SOPS 443993 HAS SOUS 63073 HAS SOUPS 62009 WITH SCORE 62457.245
AT ITER 5733 NEW BEST:: SOT 1116072 SOS 448269 HAS SOPS 444017 HAS SOUS 63072 HAS SOUPS 62008 WITH SCORE 62456.269
AT ITER 5739 NEW BEST:: SOT 1116064 SOS 448245 HAS SOPS 443993 HAS SOUS 63055 HAS SOUPS 61991 WITH SCORE 62439.245
AT ITER 5744 NEW BEST:: SOT 1116101 SOS 448282 HAS SOPS 443994 HAS SOUS 63044 HAS SOUPS 61980 WITH SCORE 62428.282
AT ITER 5776 NEW BEST:: SOT 1116094 SOS 448275 HAS SOPS 443966 HAS SOUS 63009 HAS SOUPS 61945 WITH SCORE 62393.275
AT ITER 5798 NEW BEST:: SOT 1116088 SOS 448269 HAS SOPS 443960 HAS SOUS 62992 HAS SOUPS 61928 WITH SCORE 62376.269
AT ITER 5810 NEW BEST:: SOT 1116072 SOS 448255 HAS SOPS 443952 HAS SOUS 62972 HAS SOUPS 61906 WITH SCORE 62354.255
AT ITER 5813 NEW BEST:: SOT 1116016 SOS 448199 HAS SOPS 443896 HAS SOUS 62890 HAS SOUPS 61824 WITH SCORE 62272.199
AT ITER 5825 NEW BEST:: SOT 1115878 SOS 448062 HAS SOPS 443759 HAS SOUS 62773 HAS SOUPS 61707 WITH SCORE 62155.062
AT ITER 5849 NEW BEST:: SOT 1115872 SOS 448088 HAS SOPS 443785 HAS SOUS 62694 HAS SOUPS 61628 WITH SCORE 62076.088
AT ITER 5857 NEW BEST:: SOT 1115868 SOS 448084 HAS SOPS 443772 HAS SOUS 62686 HAS SOUPS 61620 WITH SCORE 62068.084
AT ITER 5869 NEW BEST:: SOT 1115774 SOS 448013 HAS SOPS 443701 HAS SOUS 62591 HAS SOUPS 61525 WITH SCORE 61973.013
AT ITER 5905 NEW BEST:: SOT 1115698 SOS 447723 HAS SOPS 443411 HAS SOUS 62439 HAS SOUPS 61373 WITH SCORE 61820.723
AT ITER 5928 NEW BEST:: SOT 1115585 SOS 447656 HAS SOPS 443376 HAS SOUS 62425 HAS SOUPS 61359 WITH SCORE 61806.656
AT ITER 5932 NEW BEST:: SOT 1115585 SOS 447650 HAS SOPS 443370 HAS SOUS 62425 HAS SOUPS 61359 WITH SCORE 61806.65
AT ITER 5961 NEW BEST:: SOT 1115581 SOS 447646 HAS SOPS 443366 HAS SOUS 62417 HAS SOUPS 61351 WITH SCORE 61798.646
AT ITER 6004 NEW BEST:: SOT 1115084 SOS 446699 HAS SOPS 442419 HAS SOUS 62039 HAS SOUPS 60973 WITH SCORE 61419.699
AT ITER 6019 NEW BEST:: SOT 1115068 SOS 446683 HAS SOPS 442417 HAS SOUS 62023 HAS SOUPS 60957 WITH SCORE 61403.683
AT ITER 6059 NEW BEST:: SOT 1115055 SOS 446660 HAS SOPS 442401 HAS SOUS 62017 HAS SOUPS 60951 WITH SCORE 61397.66
AT ITER 6065 NEW BEST:: SOT 1115024 SOS 446629 HAS SOPS 442370 HAS SOUS 61977 HAS SOUPS 60911 WITH SCORE 61357.629
AT ITER 6084 NEW BEST:: SOT 1115029 SOS 446574 HAS SOPS 442315 HAS SOUS 61948 HAS SOUPS 60882 WITH SCORE 61328.574
AT ITER 6121 NEW BEST:: SOT 1115070 SOS 446606 HAS SOPS 442347 HAS SOUS 61812 HAS SOUPS 60746 WITH SCORE 61192.606
AT ITER 6124 NEW BEST:: SOT 1115067 SOS 446603 HAS SOPS 442341 HAS SOUS 61800 HAS SOUPS 60734 WITH SCORE 61180.603
AT ITER 6141 NEW BEST:: SOT 1115040 SOS 446504 HAS SOPS 442242 HAS SOUS 61778 HAS SOUPS 60712 WITH SCORE 61158.504
AT ITER 6143 NEW BEST:: SOT 1115028 SOS 446492 HAS SOPS 442230 HAS SOUS 61754 HAS SOUPS 60688 WITH SCORE 61134.492
AT ITER 6207 NEW BEST:: SOT 1115155 SOS 447090 HAS SOPS 442828 HAS SOUS 61710 HAS SOUPS 60644 WITH SCORE 61091.09
AT ITER 6233 NEW BEST:: SOT 1115143 SOS 447034 HAS SOPS 442772 HAS SOUS 61688 HAS SOUPS 60622 WITH SCORE 61069.034
AT ITER 6265 NEW BEST:: SOT 1115154 SOS 447024 HAS SOPS 442762 HAS SOUS 61678 HAS SOUPS 60612 WITH SCORE 61059.024
AT ITER 6271 NEW BEST:: SOT 1115155 SOS 447025 HAS SOPS 442763 HAS SOUS 61677 HAS SOUPS 60611 WITH SCORE 61058.025
AT ITER 6289 NEW BEST:: SOT 1115105 SOS 446975 HAS SOPS 442713 HAS SOUS 61633 HAS SOUPS 60567 WITH SCORE 61013.975
AT ITER 6294 NEW BEST:: SOT 1115006 SOS 391089 HAS SOPS 386827 HAS SOUS 61430 HAS SOUPS 60364 WITH SCORE 60755.089
AT ITER 6301 NEW BEST:: SOT 1114969 SOS 391052 HAS SOPS 386790 HAS SOUS 61356 HAS SOUPS 60290 WITH SCORE 60681.052
AT ITER 6324 NEW BEST:: SOT 1114950 SOS 391071 HAS SOPS 386812 HAS SOUS 61355 HAS SOUPS 60289 WITH SCORE 60680.071
AT ITER 6333 NEW BEST:: SOT 1114933 SOS 391054 HAS SOPS 386795 HAS SOUS 61338 HAS SOUPS 60272 WITH SCORE 60663.054
AT ITER 6358 NEW BEST:: SOT 1114958 SOS 391079 HAS SOPS 386783 HAS SOUS 61314 HAS SOUPS 60248 WITH SCORE 60639.079
AT ITER 6406 NEW BEST:: SOT 1114950 SOS 391071 HAS SOPS 386767 HAS SOUS 61290 HAS SOUPS 60224 WITH SCORE 60615.071
AT ITER 6437 NEW BEST:: SOT 1114943 SOS 391069 HAS SOPS 386765 HAS SOUS 61276 HAS SOUPS 60210 WITH SCORE 60601.069
AT ITER 6438 NEW BEST:: SOT 1114892 SOS 403219 HAS SOPS 398915 HAS SOUS 61240 HAS SOUPS 60174 WITH SCORE 60577.219
AT ITER 6478 NEW BEST:: SOT 1114846 SOS 403182 HAS SOPS 398878 HAS SOUS 61226 HAS SOUPS 60160 WITH SCORE 60563.182
AT ITER 6598 NEW BEST:: SOT 1114844 SOS 403180 HAS SOPS 398876 HAS SOUS 61224 HAS SOUPS 60158 WITH SCORE 60561.18
AT ITER 6627 NEW BEST:: SOT 1114844 SOS 403149 HAS SOPS 398845 HAS SOUS 61220 HAS SOUPS 60154 WITH SCORE 60557.149
AT ITER 6629 NEW BEST:: SOT 1114846 SOS 403151 HAS SOPS 398847 HAS SOUS 61216 HAS SOUPS 60150 WITH SCORE 60553.151
AT ITER 6648 NEW BEST:: SOT 1114846 SOS 403151 HAS SOPS 398847 HAS SOUS 61211 HAS SOUPS 60145 WITH SCORE 60548.151
AT ITER 6679 NEW BEST:: SOT 1114847 SOS 403152 HAS SOPS 398848 HAS SOUS 61209 HAS SOUPS 60143 WITH SCORE 60546.152
AT ITER 6722 NEW BEST:: SOT 1114861 SOS 403133 HAS SOPS 398829 HAS SOUS 61205 HAS SOUPS 60139 WITH SCORE 60542.133
AT ITER 6732 NEW BEST:: SOT 1114852 SOS 403115 HAS SOPS 398811 HAS SOUS 61187 HAS SOUPS 60121 WITH SCORE 60524.115
AT ITER 6774 NEW BEST:: SOT 1114840 SOS 403113 HAS SOPS 398809 HAS SOUS 61150 HAS SOUPS 60084 WITH SCORE 60487.113
AT ITER 6784 NEW BEST:: SOT 1114840 SOS 403113 HAS SOPS 398809 HAS SOUS 61138 HAS SOUPS 60072 WITH SCORE 60475.113
AT ITER 6788 NEW BEST:: SOT 1114822 SOS 403089 HAS SOPS 398785 HAS SOUS 61114 HAS SOUPS 60048 WITH SCORE 60451.089
AT ITER 6878 NEW BEST:: SOT 1114808 SOS 403075 HAS SOPS 398771 HAS SOUS 61108 HAS SOUPS 60042 WITH SCORE 60445.075
AT ITER 6889 NEW BEST:: SOT 1114697 SOS 402606 HAS SOPS 398302 HAS SOUS 61072 HAS SOUPS 60006 WITH SCORE 60408.606
AT ITER 6904 NEW BEST:: SOT 1114691 SOS 402600 HAS SOPS 398296 HAS SOUS 61060 HAS SOUPS 59994 WITH SCORE 60396.6
AT ITER 6947 NEW BEST:: SOT 1114683 SOS 402592 HAS SOPS 398295 HAS SOUS 61059 HAS SOUPS 59993 WITH SCORE 60395.592
AT ITER 6996 NEW BEST:: SOT 1104954 SOS 392787 HAS SOPS 388490 HAS SOUS 60075 HAS SOUPS 59009 WITH SCORE 59401.787
AT ITER 7018 NEW BEST:: SOT 1104954 SOS 392743 HAS SOPS 388446 HAS SOUS 60075 HAS SOUPS 59009 WITH SCORE 59401.743
AT ITER 7022 NEW BEST:: SOT 1104954 SOS 392715 HAS SOPS 388418 HAS SOUS 60047 HAS SOUPS 58981 WITH SCORE 59373.715
AT ITER 7062 NEW BEST:: SOT 1104954 SOS 392703 HAS SOPS 388406 HAS SOUS 60047 HAS SOUPS 58981 WITH SCORE 59373.703
AT ITER 7064 NEW BEST:: SOT 1104948 SOS 392697 HAS SOPS 388400 HAS SOUS 60035 HAS SOUPS 58969 WITH SCORE 59361.697
AT ITER 7093 NEW BEST:: SOT 1104926 SOS 392798 HAS SOPS 388501 HAS SOUS 60026 HAS SOUPS 58960 WITH SCORE 59352.798
AT ITER 7154 NEW BEST:: SOT 1104903 SOS 392781 HAS SOPS 388484 HAS SOUS 59991 HAS SOUPS 58925 WITH SCORE 59317.781
AT ITER 7164 NEW BEST:: SOT 1104895 SOS 392773 HAS SOPS 388468 HAS SOUS 59959 HAS SOUPS 58893 WITH SCORE 59285.773
AT ITER 7213 NEW BEST:: SOT 1104903 SOS 392781 HAS SOPS 388476 HAS SOUS 59944 HAS SOUPS 58878 WITH SCORE 59270.781
AT ITER 7245 NEW BEST:: SOT 1104903 SOS 392783 HAS SOPS 388478 HAS SOUS 59942 HAS SOUPS 58876 WITH SCORE 59268.783
AT ITER 7283 NEW BEST:: SOT 1104903 SOS 392782 HAS SOPS 388477 HAS SOUS 59942 HAS SOUPS 58876 WITH SCORE 59268.782
AT ITER 7295 NEW BEST:: SOT 1104848 SOS 392687 HAS SOPS 388401 HAS SOUS 59913 HAS SOUPS 58847 WITH SCORE 59239.687
AT ITER 7332 NEW BEST:: SOT 1104783 SOS 392602 HAS SOPS 388316 HAS SOUS 59846 HAS SOUPS 58780 WITH SCORE 59172.602
AT ITER 7353 NEW BEST:: SOT 1104791 SOS 392690 HAS SOPS 388404 HAS SOUS 59796 HAS SOUPS 58730 WITH SCORE 59122.69
AT ITER 7397 NEW BEST:: SOT 1104786 SOS 392699 HAS SOPS 388413 HAS SOUS 59792 HAS SOUPS 58726 WITH SCORE 59118.699
AT ITER 7411 NEW BEST:: SOT 1104756 SOS 392669 HAS SOPS 388383 HAS SOUS 59762 HAS SOUPS 58696 WITH SCORE 59088.669
AT ITER 7498 NEW BEST:: SOT 1104756 SOS 392670 HAS SOPS 388349 HAS SOUS 59727 HAS SOUPS 58661 WITH SCORE 59053.67
AT ITER 7509 NEW BEST:: SOT 1104770 SOS 392662 HAS SOPS 388341 HAS SOUS 59719 HAS SOUPS 58653 WITH SCORE 59045.662
AT ITER 7539 NEW BEST:: SOT 1104770 SOS 392660 HAS SOPS 388339 HAS SOUS 59719 HAS SOUPS 58653 WITH SCORE 59045.66
AT ITER 7554 NEW BEST:: SOT 1104770 SOS 392644 HAS SOPS 388323 HAS SOUS 59707 HAS SOUPS 58641 WITH SCORE 59033.644
AT ITER 7559 NEW BEST:: SOT 1104650 SOS 392516 HAS SOPS 388195 HAS SOUS 59579 HAS SOUPS 58513 WITH SCORE 58905.516
AT ITER 7565 NEW BEST:: SOT 1104650 SOS 392501 HAS SOPS 388180 HAS SOUS 59558 HAS SOUPS 58492 WITH SCORE 58884.501
AT ITER 7641 NEW BEST:: SOT 1104639 SOS 392490 HAS SOPS 388169 HAS SOUS 59547 HAS SOUPS 58481 WITH SCORE 58873.49
AT ITER 7651 NEW BEST:: SOT 1104637 SOS 392488 HAS SOPS 388167 HAS SOUS 59543 HAS SOUPS 58477 WITH SCORE 58869.488
AT ITER 7652 NEW BEST:: SOT 1104601 SOS 392452 HAS SOPS 388131 HAS SOUS 59507 HAS SOUPS 58441 WITH SCORE 58833.452
AT ITER 7676 NEW BEST:: SOT 1104442 SOS 392260 HAS SOPS 387939 HAS SOUS 59295 HAS SOUPS 58229 WITH SCORE 58621.26
AT ITER 7687 NEW BEST:: SOT 1104444 SOS 392076 HAS SOPS 387755 HAS SOUS 59284 HAS SOUPS 58218 WITH SCORE 58610.076
AT ITER 7753 NEW BEST:: SOT 1104389 SOS 391849 HAS SOPS 387528 HAS SOUS 59253 HAS SOUPS 58187 WITH SCORE 58578.849
AT ITER 7777 NEW BEST:: SOT 1104375 SOS 391835 HAS SOPS 387516 HAS SOUS 59241 HAS SOUPS 58175 WITH SCORE 58566.835
AT ITER 7786 NEW BEST:: SOT 1104341 SOS 391829 HAS SOPS 387510 HAS SOUS 59220 HAS SOUPS 58154 WITH SCORE 58545.829
AT ITER 7806 NEW BEST:: SOT 1104311 SOS 391799 HAS SOPS 387480 HAS SOUS 59171 HAS SOUPS 58105 WITH SCORE 58496.799
AT ITER 7821 NEW BEST:: SOT 1104283 SOS 391761 HAS SOPS 387442 HAS SOUS 59116 HAS SOUPS 58050 WITH SCORE 58441.761
AT ITER 7823 NEW BEST:: SOT 1104283 SOS 391757 HAS SOPS 387438 HAS SOUS 59116 HAS SOUPS 58050 WITH SCORE 58441.757
AT ITER 7824 NEW BEST:: SOT 1104299 SOS 391964 HAS SOPS 387645 HAS SOUS 59105 HAS SOUPS 58039 WITH SCORE 58430.964
AT ITER 7836 NEW BEST:: SOT 1104301 SOS 391964 HAS SOPS 387647 HAS SOUS 59101 HAS SOUPS 58035 WITH SCORE 58426.964
AT ITER 7871 NEW BEST:: SOT 1104299 SOS 391962 HAS SOPS 387645 HAS SOUS 59097 HAS SOUPS 58031 WITH SCORE 58422.962
AT ITER 7906 NEW BEST:: SOT 1104299 SOS 391944 HAS SOPS 387627 HAS SOUS 59079 HAS SOUPS 58013 WITH SCORE 58404.944
AT ITER 7938 NEW BEST:: SOT 1104138 SOS 391825 HAS SOPS 387508 HAS SOUS 59009 HAS SOUPS 57943 WITH SCORE 58334.825
AT ITER 7944 NEW BEST:: SOT 1104141 SOS 392067 HAS SOPS 387750 HAS SOUS 59004 HAS SOUPS 57938 WITH SCORE 58330.067
AT ITER 8003 NEW BEST:: SOT 1104121 SOS 392047 HAS SOPS 387730 HAS SOUS 58981 HAS SOUPS 57915 WITH SCORE 58307.047
AT ITER 8014 NEW BEST:: SOT 1104122 SOS 392007 HAS SOPS 387690 HAS SOUS 58926 HAS SOUPS 57860 WITH SCORE 58252.007
AT ITER 8041 NEW BEST:: SOT 1104122 SOS 392011 HAS SOPS 387694 HAS SOUS 58900 HAS SOUPS 57834 WITH SCORE 58226.011
AT ITER 8073 NEW BEST:: SOT 1104101 SOS 391957 HAS SOPS 387637 HAS SOUS 58889 HAS SOUPS 57834 WITH SCORE 58225.957
AT ITER 8141 NEW BEST:: SOT 1104093 SOS 391949 HAS SOPS 387629 HAS SOUS 58873 HAS SOUPS 57818 WITH SCORE 58209.949
AT ITER 8199 NEW BEST:: SOT 1104035 SOS 391913 HAS SOPS 387593 HAS SOUS 58837 HAS SOUPS 57782 WITH SCORE 58173.913
AT ITER 8202 NEW BEST:: SOT 1103999 SOS 391909 HAS SOPS 387589 HAS SOUS 58765 HAS SOUPS 57710 WITH SCORE 58101.909
AT ITER 8258 NEW BEST:: SOT 1103998 SOS 391908 HAS SOPS 387588 HAS SOUS 58763 HAS SOUPS 57708 WITH SCORE 58099.908
AT ITER 8276 NEW BEST:: SOT 1103960 SOS 375538 HAS SOPS 371218 HAS SOUS 58712 HAS SOUPS 57657 WITH SCORE 58032.538
AT ITER 8277 NEW BEST:: SOT 1103885 SOS 375462 HAS SOPS 371149 HAS SOUS 58705 HAS SOUPS 57650 WITH SCORE 58025.462
AT ITER 8406 NEW BEST:: SOT 1103885 SOS 375282 HAS SOPS 370969 HAS SOUS 58701 HAS SOUPS 57646 WITH SCORE 58021.282
AT ITER 8421 NEW BEST:: SOT 1103892 SOS 375760 HAS SOPS 371447 HAS SOUS 58659 HAS SOUPS 57604 WITH SCORE 57979.76
AT ITER 8429 NEW BEST:: SOT 1103849 SOS 375693 HAS SOPS 371380 HAS SOUS 58604 HAS SOUPS 57549 WITH SCORE 57924.693
AT ITER 8479 NEW BEST:: SOT 1103937 SOS 375773 HAS SOPS 371468 HAS SOUS 58451 HAS SOUPS 57398 WITH SCORE 57773.773
AT ITER 8540 NEW BEST:: SOT 1103937 SOS 375771 HAS SOPS 371466 HAS SOUS 58449 HAS SOUPS 57396 WITH SCORE 57771.771
AT ITER 8569 NEW BEST:: SOT 1103926 SOS 375765 HAS SOPS 371460 HAS SOUS 58428 HAS SOUPS 57375 WITH SCORE 57750.765
AT ITER 8573 NEW BEST:: SOT 1103915 SOS 375789 HAS SOPS 371484 HAS SOUS 58422 HAS SOUPS 57369 WITH SCORE 57744.789
AT ITER 8624 NEW BEST:: SOT 1103903 SOS 375777 HAS SOPS 371472 HAS SOUS 58220 HAS SOUPS 57167 WITH SCORE 57542.777
AT ITER 8652 NEW BEST:: SOT 1103906 SOS 375796 HAS SOPS 371491 HAS SOUS 58209 HAS SOUPS 57156 WITH SCORE 57531.796
AT ITER 8688 NEW BEST:: SOT 1103750 SOS 375636 HAS SOPS 371331 HAS SOUS 58049 HAS SOUPS 56996 WITH SCORE 57371.636
AT ITER 8705 NEW BEST:: SOT 1103750 SOS 375631 HAS SOPS 371290 HAS SOUS 57974 HAS SOUPS 56921 WITH SCORE 57296.631
AT ITER 8748 NEW BEST:: SOT 1103747 SOS 375619 HAS SOPS 371278 HAS SOUS 57968 HAS SOUPS 56915 WITH SCORE 57290.619
AT ITER 8785 NEW BEST:: SOT 1103787 SOS 375659 HAS SOPS 371318 HAS SOUS 57940 HAS SOUPS 56887 WITH SCORE 57262.659
AT ITER 8795 NEW BEST:: SOT 1103779 SOS 375643 HAS SOPS 371302 HAS SOUS 57924 HAS SOUPS 56871 WITH SCORE 57246.643
AT ITER 8843 NEW BEST:: SOT 1103759 SOS 375613 HAS SOPS 371272 HAS SOUS 57894 HAS SOUPS 56841 WITH SCORE 57216.613
AT ITER 8873 NEW BEST:: SOT 1103796 SOS 375650 HAS SOPS 371309 HAS SOUS 57872 HAS SOUPS 56819 WITH SCORE 57194.65
AT ITER 8874 NEW BEST:: SOT 1103804 SOS 375658 HAS SOPS 371285 HAS SOUS 57885 HAS SOUPS 56800 WITH SCORE 57175.658
AT ITER 8887 NEW BEST:: SOT 1103813 SOS 375506 HAS SOPS 371133 HAS SOUS 57879 HAS SOUPS 56794 WITH SCORE 57169.506
AT ITER 8927 NEW BEST:: SOT 1103786 SOS 371725 HAS SOPS 367352 HAS SOUS 57606 HAS SOUPS 56521 WITH SCORE 56892.725
AT ITER 8934 NEW BEST:: SOT 1103796 SOS 371655 HAS SOPS 367282 HAS SOUS 57605 HAS SOUPS 56520 WITH SCORE 56891.655
AT ITER 8955 NEW BEST:: SOT 1103796 SOS 371655 HAS SOPS 367282 HAS SOUS 57598 HAS SOUPS 56513 WITH SCORE 56884.655
AT ITER 8990 NEW BEST:: SOT 1103751 SOS 371580 HAS SOPS 367207 HAS SOUS 57508 HAS SOUPS 56423 WITH SCORE 56794.58
AT ITER 9008 NEW BEST:: SOT 1103747 SOS 371576 HAS SOPS 367203 HAS SOUS 57502 HAS SOUPS 56417 WITH SCORE 56788.576
AT ITER 9059 NEW BEST:: SOT 1103732 SOS 371019 HAS SOPS 366646 HAS SOUS 57498 HAS SOUPS 56413 WITH SCORE 56784.019
AT ITER 9061 NEW BEST:: SOT 1103732 SOS 354047 HAS SOPS 349674 HAS SOUS 57507 HAS SOUPS 56422 WITH SCORE 56776.047
AT ITER 9064 NEW BEST:: SOT 1103763 SOS 354135 HAS SOPS 349306 HAS SOUS 57557 HAS SOUPS 56358 WITH SCORE 56712.135
AT ITER 9139 NEW BEST:: SOT 1103780 SOS 354098 HAS SOPS 349269 HAS SOUS 57531 HAS SOUPS 56332 WITH SCORE 56686.098
AT ITER 9144 NEW BEST:: SOT 1103772 SOS 354090 HAS SOPS 349261 HAS SOUS 57523 HAS SOUPS 56324 WITH SCORE 56678.09
AT ITER 9171 NEW BEST:: SOT 1103769 SOS 354087 HAS SOPS 349258 HAS SOUS 57500 HAS SOUPS 56301 WITH SCORE 56655.087
AT ITER 9172 NEW BEST:: SOT 1103731 SOS 354049 HAS SOPS 349220 HAS SOUS 57431 HAS SOUPS 56232 WITH SCORE 56586.049
AT ITER 9176 NEW BEST:: SOT 1103743 SOS 354724 HAS SOPS 349895 HAS SOUS 57413 HAS SOUPS 56214 WITH SCORE 56568.724
AT ITER 9192 NEW BEST:: SOT 1103584 SOS 354580 HAS SOPS 349751 HAS SOUS 57287 HAS SOUPS 56088 WITH SCORE 56442.58
AT ITER 9258 NEW BEST:: SOT 1100637 SOS 351594 HAS SOPS 346765 HAS SOUS 57058 HAS SOUPS 55859 WITH SCORE 56210.594
AT ITER 9283 NEW BEST:: SOT 1100514 SOS 351563 HAS SOPS 346734 HAS SOUS 57042 HAS SOUPS 55843 WITH SCORE 56194.563
AT ITER 9284 NEW BEST:: SOT 1100504 SOS 351578 HAS SOPS 346749 HAS SOUS 56965 HAS SOUPS 55766 WITH SCORE 56117.578
AT ITER 9299 NEW BEST:: SOT 1100438 SOS 351512 HAS SOPS 346683 HAS SOUS 56909 HAS SOUPS 55710 WITH SCORE 56061.512
AT ITER 9312 NEW BEST:: SOT 1100330 SOS 351404 HAS SOPS 346575 HAS SOUS 56788 HAS SOUPS 55589 WITH SCORE 55940.404
AT ITER 9320 NEW BEST:: SOT 1100326 SOS 351402 HAS SOPS 346573 HAS SOUS 56784 HAS SOUPS 55585 WITH SCORE 55936.402
AT ITER 9339 NEW BEST:: SOT 1100282 SOS 351384 HAS SOPS 346555 HAS SOUS 56761 HAS SOUPS 55562 WITH SCORE 55913.384
AT ITER 9354 NEW BEST:: SOT 1100242 SOS 351358 HAS SOPS 346554 HAS SOUS 56757 HAS SOUPS 55558 WITH SCORE 55909.358
AT ITER 9421 NEW BEST:: SOT 1100182 SOS 351313 HAS SOPS 346509 HAS SOUS 56757 HAS SOUPS 55558 WITH SCORE 55909.313
AT ITER 9441 NEW BEST:: SOT 1100182 SOS 351313 HAS SOPS 346489 HAS SOUS 56717 HAS SOUPS 55518 WITH SCORE 55869.313
AT ITER 9468 NEW BEST:: SOT 1100196 SOS 351319 HAS SOPS 346495 HAS SOUS 56687 HAS SOUPS 55488 WITH SCORE 55839.319
AT ITER 9481 NEW BEST:: SOT 1100152 SOS 351275 HAS SOPS 346451 HAS SOUS 56643 HAS SOUPS 55444 WITH SCORE 55795.275
AT ITER 9556 NEW BEST:: SOT 1099814 SOS 351002 HAS SOPS 346178 HAS SOUS 56449 HAS SOUPS 55250 WITH SCORE 55601.002
AT ITER 9569 NEW BEST:: SOT 1099814 SOS 340220 HAS SOPS 335396 HAS SOUS 56439 HAS SOUPS 55240 WITH SCORE 55580.22
AT ITER 9585 NEW BEST:: SOT 1099754 SOS 340163 HAS SOPS 335355 HAS SOUS 56432 HAS SOUPS 55233 WITH SCORE 55573.163
AT ITER 9651 NEW BEST:: SOT 1099749 SOS 340158 HAS SOPS 335350 HAS SOUS 56427 HAS SOUPS 55228 WITH SCORE 55568.158
AT ITER 9684 NEW BEST:: SOT 1099749 SOS 341886 HAS SOPS 337078 HAS SOUS 56425 HAS SOUPS 55226 WITH SCORE 55567.886
AT ITER 9804 NEW BEST:: SOT 1099746 SOS 341981 HAS SOPS 337173 HAS SOUS 56417 HAS SOUPS 55218 WITH SCORE 55559.981
AT ITER 9828 NEW BEST:: SOT 1099752 SOS 341987 HAS SOPS 337178 HAS SOUS 56407 HAS SOUPS 55208 WITH SCORE 55549.987
AT ITER 9838 NEW BEST:: SOT 1099747 SOS 341962 HAS SOPS 337153 HAS SOUS 56397 HAS SOUPS 55198 WITH SCORE 55539.962
AT ITER 9907 NEW BEST:: SOT 1099749 SOS 341964 HAS SOPS 337151 HAS SOUS 56399 HAS SOUPS 55196 WITH SCORE 55537.964
AT ITER 9964 NEW BEST:: SOT 1099799 SOS 341996 HAS SOPS 337183 HAS SOUS 56397 HAS SOUPS 55194 WITH SCORE 55535.996

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="PolyORBLF-PT-S06J04T04"
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 PolyORBLF-PT-S06J04T04, 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-158961354800512"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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