Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502700328.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 Railroad-PT-100, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502700328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 5.3M
-rw-r--r-- 1 mcc users 3.2K Apr 12 08:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 12 08:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Apr 11 09:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 11 09:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Apr 10 14:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 10 14:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 21:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 9 21:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 5.2M Mar 24 05:38 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 1589828690828

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

Filename model.pnml
Petri model created: 1018 places, 10506 transitions, 62728 arcs.
AT ITER 0 NEW BEST:: SOT 2998731 SOS 2384651 HAS SOPS 2375098 HAS SOUS 1322979 HAS SOUPS 1322878 WITH SCORE 1325262.651
AT ITER 9 NEW BEST:: SOT 2995651 SOS 2381602 HAS SOPS 2372047 HAS SOUS 1319833 HAS SOUPS 1319732 WITH SCORE 1322113.602
AT ITER 33 NEW BEST:: SOT 2996951 SOS 2381785 HAS SOPS 2367454 HAS SOUS 1314254 HAS SOUPS 1314153 WITH SCORE 1316534.785
AT ITER 35 NEW BEST:: SOT 2996951 SOS 2381784 HAS SOPS 2367453 HAS SOUS 1314253 HAS SOUPS 1314152 WITH SCORE 1316533.784
AT ITER 37 NEW BEST:: SOT 2987670 SOS 2366957 HAS SOPS 2347850 HAS SOUS 1294995 HAS SOUPS 1294894 WITH SCORE 1297260.957
AT ITER 62 NEW BEST:: SOT 2987542 SOS 2366929 HAS SOPS 2347822 HAS SOUS 1294967 HAS SOUPS 1294866 WITH SCORE 1297232.929
AT ITER 72 NEW BEST:: SOT 2985610 SOS 2365004 HAS SOPS 2345893 HAS SOUS 1292956 HAS SOUPS 1292855 WITH SCORE 1295220.004
AT ITER 73 NEW BEST:: SOT 2985653 SOS 2364819 HAS SOPS 2345708 HAS SOUS 1292771 HAS SOUPS 1292670 WITH SCORE 1295034.819
AT ITER 81 NEW BEST:: SOT 2985642 SOS 2364814 HAS SOPS 2345703 HAS SOUS 1292766 HAS SOUPS 1292665 WITH SCORE 1295029.814
AT ITER 114 NEW BEST:: SOT 2985491 SOS 2364751 HAS SOPS 2345640 HAS SOUS 1292703 HAS SOUPS 1292602 WITH SCORE 1294966.751
AT ITER 142 NEW BEST:: SOT 2985281 SOS 2364584 HAS SOPS 2345473 HAS SOUS 1292536 HAS SOUPS 1292435 WITH SCORE 1294799.584
AT ITER 143 NEW BEST:: SOT 2985209 SOS 2364440 HAS SOPS 2345329 HAS SOUS 1292392 HAS SOUPS 1292291 WITH SCORE 1294655.44
AT ITER 149 NEW BEST:: SOT 2985274 SOS 2364428 HAS SOPS 2345317 HAS SOUS 1292380 HAS SOUPS 1292279 WITH SCORE 1294643.428
AT ITER 154 NEW BEST:: SOT 2985202 SOS 2364284 HAS SOPS 2345173 HAS SOUS 1292236 HAS SOUPS 1292135 WITH SCORE 1294499.284
AT ITER 155 NEW BEST:: SOT 2985106 SOS 2364093 HAS SOPS 2344982 HAS SOUS 1292045 HAS SOUPS 1291944 WITH SCORE 1294308.093
AT ITER 156 NEW BEST:: SOT 2979769 SOS 2358832 HAS SOPS 2339717 HAS SOUS 1286700 HAS SOUPS 1286599 WITH SCORE 1288957.832
AT ITER 160 NEW BEST:: SOT 2969320 SOS 2346091 HAS SOPS 2322198 HAS SOUS 1264909 HAS SOUPS 1264808 WITH SCORE 1267154.091
AT ITER 161 NEW BEST:: SOT 2963514 SOS 2340358 HAS SOPS 2316460 HAS SOUS 1259136 HAS SOUPS 1259035 WITH SCORE 1261375.358
AT ITER 168 NEW BEST:: SOT 2958500 SOS 2335446 HAS SOPS 2311548 HAS SOUS 1254232 HAS SOUPS 1254131 WITH SCORE 1256466.446
AT ITER 181 NEW BEST:: SOT 2951550 SOS 2327169 HAS SOPS 2298492 HAS SOUS 1239250 HAS SOUPS 1239149 WITH SCORE 1241476.169
AT ITER 191 NEW BEST:: SOT 2949571 SOS 2325216 HAS SOPS 2296533 HAS SOUS 1237203 HAS SOUPS 1237102 WITH SCORE 1239427.216
AT ITER 220 NEW BEST:: SOT 2949527 SOS 2325172 HAS SOPS 2296489 HAS SOUS 1237159 HAS SOUPS 1237058 WITH SCORE 1239383.172
AT ITER 227 NEW BEST:: SOT 2944372 SOS 2314359 HAS SOPS 2280896 HAS SOUS 1225730 HAS SOUPS 1225629 WITH SCORE 1227943.359
AT ITER 230 NEW BEST:: SOT 2944122 SOS 2314023 HAS SOPS 2280560 HAS SOUS 1225394 HAS SOUPS 1225293 WITH SCORE 1227607.023
AT ITER 235 NEW BEST:: SOT 2944083 SOS 2313945 HAS SOPS 2280482 HAS SOUS 1225316 HAS SOUPS 1225215 WITH SCORE 1227528.945
AT ITER 257 NEW BEST:: SOT 2951083 SOS 2317494 HAS SOPS 2279251 HAS SOUS 1218733 HAS SOUPS 1218632 WITH SCORE 1220949.494
AT ITER 264 NEW BEST:: SOT 2955583 SOS 2320350 HAS SOPS 2277327 HAS SOUS 1207944 HAS SOUPS 1207843 WITH SCORE 1210163.35
AT ITER 276 NEW BEST:: SOT 2955541 SOS 2320312 HAS SOPS 2277289 HAS SOUS 1207906 HAS SOUPS 1207805 WITH SCORE 1210125.312
AT ITER 278 NEW BEST:: SOT 2951472 SOS 2316297 HAS SOPS 2273265 HAS SOUS 1203867 HAS SOUPS 1203766 WITH SCORE 1206082.297
AT ITER 284 NEW BEST:: SOT 2951472 SOS 2316225 HAS SOPS 2273193 HAS SOUS 1203795 HAS SOUPS 1203694 WITH SCORE 1206010.225
AT ITER 289 NEW BEST:: SOT 2948140 SOS 2312925 HAS SOPS 2269549 HAS SOUS 1197666 HAS SOUPS 1197556 WITH SCORE 1199868.925
AT ITER 290 NEW BEST:: SOT 2948139 SOS 2312923 HAS SOPS 2269547 HAS SOUS 1197664 HAS SOUPS 1197554 WITH SCORE 1199866.923
AT ITER 299 NEW BEST:: SOT 2955439 SOS 2318902 HAS SOPS 2270706 HAS SOUS 1189356 HAS SOUPS 1189246 WITH SCORE 1191564.902
AT ITER 300 NEW BEST:: SOT 2955399 SOS 2318822 HAS SOPS 2270626 HAS SOUS 1189276 HAS SOUPS 1189166 WITH SCORE 1191484.822
AT ITER 323 NEW BEST:: SOT 2955399 SOS 2318722 HAS SOPS 2270526 HAS SOUS 1189275 HAS SOUPS 1189165 WITH SCORE 1191483.722
AT ITER 333 NEW BEST:: SOT 2955271 SOS 2318594 HAS SOPS 2270398 HAS SOUS 1189147 HAS SOUPS 1189037 WITH SCORE 1191355.594
AT ITER 345 NEW BEST:: SOT 2955117 SOS 2318490 HAS SOPS 2270294 HAS SOUS 1189043 HAS SOUPS 1188933 WITH SCORE 1191251.49
AT ITER 352 NEW BEST:: SOT 2952072 SOS 2315473 HAS SOPS 2267267 HAS SOUS 1185916 HAS SOUPS 1185806 WITH SCORE 1188121.473
AT ITER 367 NEW BEST:: SOT 2952058 SOS 2315459 HAS SOPS 2267253 HAS SOUS 1185902 HAS SOUPS 1185792 WITH SCORE 1188107.459
AT ITER 377 NEW BEST:: SOT 2946072 SOS 2302852 HAS SOPS 2249825 HAS SOUS 1172464 HAS SOUPS 1172354 WITH SCORE 1174656.852
AT ITER 378 NEW BEST:: SOT 2948672 SOS 2305452 HAS SOPS 2252425 HAS SOUS 1171820 HAS SOUPS 1171710 WITH SCORE 1174015.452
AT ITER 383 NEW BEST:: SOT 2948553 SOS 2305427 HAS SOPS 2252400 HAS SOUS 1171795 HAS SOUPS 1171685 WITH SCORE 1173990.427
AT ITER 388 NEW BEST:: SOT 2944877 SOS 2301822 HAS SOPS 2248784 HAS SOUS 1168004 HAS SOUPS 1167894 WITH SCORE 1170195.822
AT ITER 391 NEW BEST:: SOT 2935908 SOS 2290298 HAS SOPS 2232438 HAS SOUS 1148225 HAS SOUPS 1148115 WITH SCORE 1150405.298
AT ITER 397 NEW BEST:: SOT 2935901 SOS 2290284 HAS SOPS 2232424 HAS SOUS 1148211 HAS SOUPS 1148101 WITH SCORE 1150391.284
AT ITER 414 NEW BEST:: SOT 2928162 SOS 2276003 HAS SOPS 2213321 HAS SOUS 1130922 HAS SOUPS 1130812 WITH SCORE 1133088.003
AT ITER 421 NEW BEST:: SOT 2926296 SOS 2268281 HAS SOPS 2201265 HAS SOUS 1126464 HAS SOUPS 1126354 WITH SCORE 1128622.281
AT ITER 457 NEW BEST:: SOT 2933974 SOS 2267252 HAS SOPS 2195414 HAS SOUS 1125874 HAS SOUPS 1125764 WITH SCORE 1128031.252
AT ITER 483 NEW BEST:: SOT 2933806 SOS 2267129 HAS SOPS 2195291 HAS SOUS 1125751 HAS SOUPS 1125641 WITH SCORE 1127908.129
AT ITER 496 NEW BEST:: SOT 2929648 SOS 2262971 HAS SOPS 2191133 HAS SOUS 1121639 HAS SOUPS 1121529 WITH SCORE 1123791.971
AT ITER 541 NEW BEST:: SOT 2930448 SOS 2263689 HAS SOPS 2191851 HAS SOUS 1114960 HAS SOUPS 1114850 WITH SCORE 1117113.689
AT ITER 545 NEW BEST:: SOT 2930445 SOS 2263683 HAS SOPS 2191845 HAS SOUS 1114954 HAS SOUPS 1114844 WITH SCORE 1117107.683
AT ITER 554 NEW BEST:: SOT 2930445 SOS 2264013 HAS SOPS 2192175 HAS SOUS 1106356 HAS SOUPS 1106246 WITH SCORE 1108510.013
AT ITER 556 NEW BEST:: SOT 2928259 SOS 2261803 HAS SOPS 2189965 HAS SOUS 1104146 HAS SOUPS 1104036 WITH SCORE 1106297.803
AT ITER 560 NEW BEST:: SOT 2928259 SOS 2261687 HAS SOPS 2189849 HAS SOUS 1104030 HAS SOUPS 1103920 WITH SCORE 1106181.687
AT ITER 561 NEW BEST:: SOT 2927465 SOS 2260980 HAS SOPS 2189127 HAS SOUS 1103326 HAS SOUPS 1103216 WITH SCORE 1105476.98
AT ITER 574 NEW BEST:: SOT 2941965 SOS 2273951 HAS SOPS 2197275 HAS SOUS 1102797 HAS SOUPS 1102687 WITH SCORE 1104960.951
AT ITER 580 NEW BEST:: SOT 2941730 SOS 2273727 HAS SOPS 2197051 HAS SOUS 1102573 HAS SOUPS 1102463 WITH SCORE 1104736.727
AT ITER 595 NEW BEST:: SOT 2946530 SOS 2276484 HAS SOPS 2194985 HAS SOUS 1092474 HAS SOUPS 1092364 WITH SCORE 1094640.484
AT ITER 600 NEW BEST:: SOT 2942298 SOS 2263447 HAS SOPS 2177127 HAS SOUS 1082370 HAS SOUPS 1082260 WITH SCORE 1084523.447
AT ITER 622 NEW BEST:: SOT 2942110 SOS 2263264 HAS SOPS 2176858 HAS SOUS 1081753 HAS SOUPS 1081643 WITH SCORE 1083906.264
AT ITER 628 NEW BEST:: SOT 2942110 SOS 2261764 HAS SOPS 2175358 HAS SOUS 1081738 HAS SOUPS 1081628 WITH SCORE 1083889.764
AT ITER 638 NEW BEST:: SOT 2942110 SOS 2261763 HAS SOPS 2175357 HAS SOUS 1081737 HAS SOUPS 1081627 WITH SCORE 1083888.763
AT ITER 646 NEW BEST:: SOT 2942128 SOS 2261671 HAS SOPS 2175265 HAS SOUS 1081645 HAS SOUPS 1081535 WITH SCORE 1083796.671
AT ITER 649 NEW BEST:: SOT 2942108 SOS 2261651 HAS SOPS 2175228 HAS SOUS 1081536 HAS SOUPS 1081426 WITH SCORE 1083687.651
AT ITER 651 NEW BEST:: SOT 2945908 SOS 2265451 HAS SOPS 2179028 HAS SOUS 1078245 HAS SOUPS 1078135 WITH SCORE 1080400.451
AT ITER 655 NEW BEST:: SOT 2945928 SOS 2265445 HAS SOPS 2179022 HAS SOUS 1078239 HAS SOUPS 1078129 WITH SCORE 1080394.445
AT ITER 659 NEW BEST:: SOT 2945928 SOS 2265428 HAS SOPS 2179005 HAS SOUS 1078222 HAS SOUPS 1078112 WITH SCORE 1080377.428
AT ITER 663 NEW BEST:: SOT 2906036 SOS 2228095 HAS SOPS 2139034 HAS SOUS 1038448 HAS SOUPS 1038141 WITH SCORE 1040369.095
AT ITER 665 NEW BEST:: SOT 2905950 SOS 2228016 HAS SOPS 2138955 HAS SOUS 1038369 HAS SOUPS 1038062 WITH SCORE 1040290.016
AT ITER 671 NEW BEST:: SOT 2896251 SOS 2218586 HAS SOPS 2129525 HAS SOUS 1028939 HAS SOUPS 1028632 WITH SCORE 1030850.586
AT ITER 673 NEW BEST:: SOT 2896319 SOS 2218582 HAS SOPS 2129521 HAS SOUS 1028935 HAS SOUPS 1028628 WITH SCORE 1030846.582
AT ITER 731 NEW BEST:: SOT 2896319 SOS 2216682 HAS SOPS 2127621 HAS SOUS 1028916 HAS SOUPS 1028609 WITH SCORE 1030825.682
AT ITER 733 NEW BEST:: SOT 2896325 SOS 2216699 HAS SOPS 2127620 HAS SOUS 1028845 HAS SOUPS 1028538 WITH SCORE 1030754.699
AT ITER 735 NEW BEST:: SOT 2896367 SOS 2216741 HAS SOPS 2127558 HAS SOUS 1028783 HAS SOUPS 1028476 WITH SCORE 1030692.741
AT ITER 750 NEW BEST:: SOT 2896367 SOS 2207941 HAS SOPS 2118758 HAS SOUS 1028695 HAS SOUPS 1028388 WITH SCORE 1030595.941
AT ITER 756 NEW BEST:: SOT 2885794 SOS 2194284 HAS SOPS 2100271 HAS SOUS 1005315 HAS SOUPS 1005008 WITH SCORE 1007202.284
AT ITER 765 NEW BEST:: SOT 2882813 SOS 2191378 HAS SOPS 2095729 HAS SOUS 995181 HAS SOUPS 994867 WITH SCORE 997058.378
AT ITER 789 NEW BEST:: SOT 2882500 SOS 2191156 HAS SOPS 2095507 HAS SOUS 994959 HAS SOUPS 994645 WITH SCORE 996836.156
AT ITER 800 NEW BEST:: SOT 2882539 SOS 2191170 HAS SOPS 2095502 HAS SOUS 994954 HAS SOUPS 994640 WITH SCORE 996831.17
AT ITER 806 NEW BEST:: SOT 2888139 SOS 2196770 HAS SOPS 2101102 HAS SOUS 992534 HAS SOUPS 992220 WITH SCORE 994416.77
AT ITER 823 NEW BEST:: SOT 2880954 SOS 2185907 HAS SOPS 2085319 HAS SOUS 976119 HAS SOUPS 975805 WITH SCORE 977990.907
AT ITER 834 NEW BEST:: SOT 2872649 SOS 2177762 HAS SOPS 2079014 HAS SOUS 976118 HAS SOUPS 975804 WITH SCORE 977981.762
AT ITER 875 NEW BEST:: SOT 2871818 SOS 2177014 HAS SOPS 2078246 HAS SOUS 975351 HAS SOUPS 975037 WITH SCORE 977214.014
AT ITER 877 NEW BEST:: SOT 2871666 SOS 2176862 HAS SOPS 2078094 HAS SOUS 975199 HAS SOUPS 974885 WITH SCORE 977061.862
AT ITER 889 NEW BEST:: SOT 2881136 SOS 2182719 HAS SOPS 2079122 HAS SOUS 971403 HAS SOUPS 971089 WITH SCORE 973271.719
AT ITER 895 NEW BEST:: SOT 2880996 SOS 2182579 HAS SOPS 2078914 HAS SOUS 971195 HAS SOUPS 970881 WITH SCORE 973063.579
AT ITER 909 NEW BEST:: SOT 2884694 SOS 2183956 HAS SOPS 2075462 HAS SOUS 960050 HAS SOUPS 959736 WITH SCORE 961919.956
AT ITER 950 NEW BEST:: SOT 2883067 SOS 2182329 HAS SOPS 2072853 HAS SOUS 956830 HAS SOUPS 956479 WITH SCORE 958661.329
AT ITER 996 NEW BEST:: SOT 2883064 SOS 2182326 HAS SOPS 2072850 HAS SOUS 956827 HAS SOUPS 956476 WITH SCORE 958658.326
AT ITER 997 NEW BEST:: SOT 2883064 SOS 2182326 HAS SOPS 2072850 HAS SOUS 956774 HAS SOUPS 956423 WITH SCORE 958605.326
AT ITER 999 NEW BEST:: SOT 2882927 SOS 2182123 HAS SOPS 2072594 HAS SOUS 956518 HAS SOUPS 956167 WITH SCORE 958349.123
AT ITER 1038 NEW BEST:: SOT 2882697 SOS 2181944 HAS SOPS 2072415 HAS SOUS 956339 HAS SOUPS 955988 WITH SCORE 958169.944
AT ITER 1054 NEW BEST:: SOT 2878551 SOS 2177870 HAS SOPS 2064331 HAS SOUS 936662 HAS SOUPS 936301 WITH SCORE 938478.87
AT ITER 1069 NEW BEST:: SOT 2878551 SOS 2177870 HAS SOPS 2064329 HAS SOUS 936660 HAS SOUPS 936299 WITH SCORE 938476.87
AT ITER 1077 NEW BEST:: SOT 2878550 SOS 2177812 HAS SOPS 2064270 HAS SOUS 936601 HAS SOUPS 936240 WITH SCORE 938417.812
AT ITER 1105 NEW BEST:: SOT 2878377 SOS 2177744 HAS SOPS 2064202 HAS SOUS 936533 HAS SOUPS 936172 WITH SCORE 938349.744
AT ITER 1113 NEW BEST:: SOT 2878267 SOS 2177615 HAS SOPS 2064073 HAS SOUS 936404 HAS SOUPS 936043 WITH SCORE 938220.615
AT ITER 1122 NEW BEST:: SOT 2886083 SOS 2180024 HAS SOPS 2061397 HAS SOUS 932669 HAS SOUPS 932308 WITH SCORE 934488.024
AT ITER 1124 NEW BEST:: SOT 2886063 SOS 2180004 HAS SOPS 2061337 HAS SOUS 932609 HAS SOUPS 932248 WITH SCORE 934428.004
AT ITER 1139 NEW BEST:: SOT 2886048 SOS 2179988 HAS SOPS 2061321 HAS SOUS 932593 HAS SOUPS 932232 WITH SCORE 934411.988
AT ITER 1150 NEW BEST:: SOT 2886073 SOS 2180013 HAS SOPS 2061324 HAS SOUS 932532 HAS SOUPS 932171 WITH SCORE 934351.013
AT ITER 1175 NEW BEST:: SOT 2886073 SOS 2175513 HAS SOPS 2056824 HAS SOUS 932487 HAS SOUPS 932126 WITH SCORE 934301.513
AT ITER 1189 NEW BEST:: SOT 2888037 SOS 2174699 HAS SOPS 2050924 HAS SOUS 920754 HAS SOUPS 920393 WITH SCORE 922567.699
AT ITER 1192 NEW BEST:: SOT 2887136 SOS 2173832 HAS SOPS 2049802 HAS SOUS 918989 HAS SOUPS 918628 WITH SCORE 920801.832
AT ITER 1205 NEW BEST:: SOT 2887144 SOS 2173840 HAS SOPS 2049770 HAS SOUS 918957 HAS SOUPS 918596 WITH SCORE 920769.84
AT ITER 1207 NEW BEST:: SOT 2886850 SOS 2199766 HAS SOPS 2049476 HAS SOUS 918969 HAS SOUPS 918302 WITH SCORE 920501.766
AT ITER 1210 NEW BEST:: SOT 2886808 SOS 2199724 HAS SOPS 2049434 HAS SOUS 918927 HAS SOUPS 918260 WITH SCORE 920459.724
AT ITER 1211 NEW BEST:: SOT 2884163 SOS 2193791 HAS SOPS 2038672 HAS SOUS 912289 HAS SOUPS 911622 WITH SCORE 913815.791
AT ITER 1221 NEW BEST:: SOT 2878263 SOS 2187996 HAS SOPS 2032877 HAS SOUS 906523 HAS SOUPS 905856 WITH SCORE 908043.996
AT ITER 1230 NEW BEST:: SOT 2873215 SOS 2176204 HAS SOPS 2016062 HAS SOUS 894595 HAS SOUPS 893928 WITH SCORE 896104.204
AT ITER 1233 NEW BEST:: SOT 2871376 SOS 2174339 HAS SOPS 2014019 HAS SOUS 890282 HAS SOUPS 889615 WITH SCORE 891789.339
AT ITER 1236 NEW BEST:: SOT 2871173 SOS 2174136 HAS SOPS 2013776 HAS SOUS 890039 HAS SOUPS 889372 WITH SCORE 891546.136
AT ITER 1249 NEW BEST:: SOT 2871134 SOS 2174097 HAS SOPS 2013723 HAS SOUS 889986 HAS SOUPS 889319 WITH SCORE 891493.097
AT ITER 1250 NEW BEST:: SOT 2871067 SOS 2174030 HAS SOPS 2013656 HAS SOUS 889919 HAS SOUPS 889252 WITH SCORE 891426.03
AT ITER 1251 NEW BEST:: SOT 2871031 SOS 2173994 HAS SOPS 2013620 HAS SOUS 889883 HAS SOUPS 889216 WITH SCORE 891389.994
AT ITER 1258 NEW BEST:: SOT 2871031 SOS 2173994 HAS SOPS 2013619 HAS SOUS 889882 HAS SOUPS 889215 WITH SCORE 891388.994
AT ITER 1267 NEW BEST:: SOT 2861413 SOS 2161613 HAS SOPS 1996141 HAS SOUS 868065 HAS SOUPS 867398 WITH SCORE 869559.613
AT ITER 1283 NEW BEST:: SOT 2855857 SOS 2154340 HAS SOPS 1983833 HAS SOUS 854894 HAS SOUPS 854227 WITH SCORE 856381.34
AT ITER 1288 NEW BEST:: SOT 2855857 SOS 2151740 HAS SOPS 1981233 HAS SOUS 854868 HAS SOUPS 854201 WITH SCORE 856352.74
AT ITER 1293 NEW BEST:: SOT 2855857 SOS 2151740 HAS SOPS 1981233 HAS SOUS 854865 HAS SOUPS 854198 WITH SCORE 856349.74
AT ITER 1296 NEW BEST:: SOT 2855857 SOS 2148340 HAS SOPS 1977833 HAS SOUS 854831 HAS SOUPS 854164 WITH SCORE 856312.34
AT ITER 1312 NEW BEST:: SOT 2862253 SOS 2147568 HAS SOPS 1971988 HAS SOUS 851502 HAS SOUPS 850835 WITH SCORE 852982.568
AT ITER 1334 NEW BEST:: SOT 2866453 SOS 2151705 HAS SOPS 1976223 HAS SOUS 850137 HAS SOUPS 849470 WITH SCORE 851621.705
AT ITER 1336 NEW BEST:: SOT 2877351 SOS 2158591 HAS SOPS 1978012 HAS SOUS 848503 HAS SOUPS 847836 WITH SCORE 849994.591
AT ITER 1338 NEW BEST:: SOT 2876905 SOS 2158114 HAS SOPS 1977535 HAS SOUS 847959 HAS SOUPS 847292 WITH SCORE 849450.114
AT ITER 1346 NEW BEST:: SOT 2876872 SOS 2158081 HAS SOPS 1977502 HAS SOUS 847926 HAS SOUPS 847259 WITH SCORE 849417.081
AT ITER 1361 NEW BEST:: SOT 2876872 SOS 2158080 HAS SOPS 1977501 HAS SOUS 847925 HAS SOUPS 847258 WITH SCORE 849416.08
AT ITER 1363 NEW BEST:: SOT 2876774 SOS 2157982 HAS SOPS 1977501 HAS SOUS 847925 HAS SOUPS 847258 WITH SCORE 849415.982
AT ITER 1375 NEW BEST:: SOT 2876484 SOS 2157692 HAS SOPS 1977093 HAS SOUS 847517 HAS SOUPS 846850 WITH SCORE 849007.692
AT ITER 1385 NEW BEST:: SOT 2876435 SOS 2157643 HAS SOPS 1977044 HAS SOUS 847468 HAS SOUPS 846801 WITH SCORE 848958.643
AT ITER 1403 NEW BEST:: SOT 2876394 SOS 2157602 HAS SOPS 1977003 HAS SOUS 847427 HAS SOUPS 846760 WITH SCORE 848917.602
AT ITER 1407 NEW BEST:: SOT 2876885 SOS 2158120 HAS SOPS 1975402 HAS SOUS 843991 HAS SOUPS 843324 WITH SCORE 845482.12
AT ITER 1419 NEW BEST:: SOT 2876873 SOS 2158108 HAS SOPS 1975389 HAS SOUS 843978 HAS SOUPS 843311 WITH SCORE 845469.108
AT ITER 1420 NEW BEST:: SOT 2876872 SOS 2158083 HAS SOPS 1975368 HAS SOUS 843957 HAS SOUPS 843290 WITH SCORE 845448.083
AT ITER 1443 NEW BEST:: SOT 2876872 SOS 2158083 HAS SOPS 1975263 HAS SOUS 843883 HAS SOUPS 843216 WITH SCORE 845374.083
AT ITER 1481 NEW BEST:: SOT 2881526 SOS 2162737 HAS SOPS 1977032 HAS SOUS 841226 HAS SOUPS 840559 WITH SCORE 842721.737
AT ITER 1494 NEW BEST:: SOT 2881474 SOS 2162685 HAS SOPS 1976945 HAS SOUS 841139 HAS SOUPS 840472 WITH SCORE 842634.685
AT ITER 1496 NEW BEST:: SOT 2873174 SOS 2154468 HAS SOPS 1968728 HAS SOUS 832922 HAS SOUPS 832255 WITH SCORE 834409.468
AT ITER 1499 NEW BEST:: SOT 2873025 SOS 2154355 HAS SOPS 1968585 HAS SOUS 832754 HAS SOUPS 832087 WITH SCORE 834241.355
AT ITER 1501 NEW BEST:: SOT 2873007 SOS 2154337 HAS SOPS 1968567 HAS SOUS 832736 HAS SOUPS 832069 WITH SCORE 834223.337
AT ITER 1509 NEW BEST:: SOT 2882607 SOS 2163937 HAS SOPS 1978373 HAS SOUS 831414 HAS SOUPS 830747 WITH SCORE 832910.937
AT ITER 1516 NEW BEST:: SOT 2885807 SOS 2167033 HAS SOPS 1981394 HAS SOUS 827356 HAS SOUPS 826689 WITH SCORE 828856.033
AT ITER 1526 NEW BEST:: SOT 2885607 SOS 2166859 HAS SOPS 1981220 HAS SOUS 827182 HAS SOUPS 826515 WITH SCORE 828681.859
AT ITER 1533 NEW BEST:: SOT 2883831 SOS 2165083 HAS SOPS 1979420 HAS SOUS 823413 HAS SOUPS 822746 WITH SCORE 824911.083
AT ITER 1559 NEW BEST:: SOT 2883831 SOS 2165072 HAS SOPS 1979409 HAS SOUS 823413 HAS SOUPS 822746 WITH SCORE 824911.072
AT ITER 1628 NEW BEST:: SOT 2883844 SOS 2165087 HAS SOPS 1979364 HAS SOUS 823276 HAS SOUPS 822609 WITH SCORE 824774.087
AT ITER 1632 NEW BEST:: SOT 2883769 SOS 2165028 HAS SOPS 1979277 HAS SOUS 823131 HAS SOUPS 822464 WITH SCORE 824629.028
AT ITER 1649 NEW BEST:: SOT 2883178 SOS 2164437 HAS SOPS 1978903 HAS SOUS 822334 HAS SOUPS 821667 WITH SCORE 823831.437
AT ITER 1654 NEW BEST:: SOT 2883167 SOS 2164426 HAS SOPS 1978892 HAS SOUS 822323 HAS SOUPS 821656 WITH SCORE 823820.426
AT ITER 1668 NEW BEST:: SOT 2883072 SOS 2164331 HAS SOPS 1978797 HAS SOUS 822228 HAS SOUPS 821561 WITH SCORE 823725.331
AT ITER 1673 NEW BEST:: SOT 2880749 SOS 2161963 HAS SOPS 1976366 HAS SOUS 817241 HAS SOUPS 816574 WITH SCORE 818735.963
AT ITER 1678 NEW BEST:: SOT 2880749 SOS 2162022 HAS SOPS 1976425 HAS SOUS 811381 HAS SOUPS 810714 WITH SCORE 812876.022
AT ITER 1698 NEW BEST:: SOT 2889049 SOS 2169044 HAS SOPS 1978161 HAS SOUS 804922 HAS SOUPS 804255 WITH SCORE 806424.044
AT ITER 1761 NEW BEST:: SOT 2889034 SOS 2169029 HAS SOPS 1978146 HAS SOUS 804907 HAS SOUPS 804240 WITH SCORE 806409.029
AT ITER 1764 NEW BEST:: SOT 2874635 SOS 2154630 HAS SOPS 1963747 HAS SOUS 790525 HAS SOUPS 789858 WITH SCORE 792012.63
AT ITER 1768 NEW BEST:: SOT 2874616 SOS 2154611 HAS SOPS 1963709 HAS SOUS 790487 HAS SOUPS 789820 WITH SCORE 791974.611
AT ITER 1776 NEW BEST:: SOT 2870616 SOS 2152611 HAS SOPS 1961709 HAS SOUS 786515 HAS SOUPS 785848 WITH SCORE 788000.611
AT ITER 1794 NEW BEST:: SOT 2870562 SOS 2152557 HAS SOPS 1961673 HAS SOUS 786479 HAS SOUPS 785812 WITH SCORE 787964.557
AT ITER 1807 NEW BEST:: SOT 2870562 SOS 2152464 HAS SOPS 1961580 HAS SOUS 786346 HAS SOUPS 785679 WITH SCORE 787831.464
AT ITER 1829 NEW BEST:: SOT 2870562 SOS 2142739 HAS SOPS 1949738 HAS SOUS 785899 HAS SOUPS 785232 WITH SCORE 787374.739
AT ITER 1851 NEW BEST:: SOT 2870452 SOS 2142629 HAS SOPS 1949663 HAS SOUS 785824 HAS SOUPS 785157 WITH SCORE 787299.629
AT ITER 1855 NEW BEST:: SOT 2870352 SOS 2142529 HAS SOPS 1949563 HAS SOUS 785724 HAS SOUPS 785057 WITH SCORE 787199.529
AT ITER 1871 NEW BEST:: SOT 2870352 SOS 2142529 HAS SOPS 1949562 HAS SOUS 785723 HAS SOUPS 785056 WITH SCORE 787198.529
AT ITER 1885 NEW BEST:: SOT 2865752 SOS 2137975 HAS SOPS 1945008 HAS SOUS 781169 HAS SOUPS 780502 WITH SCORE 782639.975
AT ITER 1886 NEW BEST:: SOT 2861634 SOS 2133857 HAS SOPS 1940776 HAS SOUS 772216 HAS SOUPS 771549 WITH SCORE 773682.857
AT ITER 1893 NEW BEST:: SOT 2863810 SOS 2135977 HAS SOPS 1942890 HAS SOUS 770936 HAS SOUPS 770269 WITH SCORE 772404.977
AT ITER 1895 NEW BEST:: SOT 2870688 SOS 2142865 HAS SOPS 1949908 HAS SOUS 770601 HAS SOUPS 769934 WITH SCORE 772076.865
AT ITER 1906 NEW BEST:: SOT 2862624 SOS 2143821 HAS SOPS 1950698 HAS SOUS 750371 HAS SOUPS 749704 WITH SCORE 751847.821
AT ITER 1907 NEW BEST:: SOT 2862010 SOS 2143207 HAS SOPS 1948087 HAS SOUS 744956 HAS SOUPS 744289 WITH SCORE 746432.207
AT ITER 1908 NEW BEST:: SOT 2861994 SOS 2143191 HAS SOPS 1948087 HAS SOUS 744956 HAS SOUPS 744289 WITH SCORE 746432.191
AT ITER 1918 NEW BEST:: SOT 2861898 SOS 2143095 HAS SOPS 1947992 HAS SOUS 744861 HAS SOUPS 744194 WITH SCORE 746337.095
AT ITER 1920 NEW BEST:: SOT 2861801 SOS 2142998 HAS SOPS 1947940 HAS SOUS 744809 HAS SOUPS 744142 WITH SCORE 746284.998
AT ITER 1927 NEW BEST:: SOT 2861702 SOS 2142899 HAS SOPS 1947841 HAS SOUS 744710 HAS SOUPS 744043 WITH SCORE 746185.899
AT ITER 1937 NEW BEST:: SOT 2861687 SOS 2142884 HAS SOPS 1947811 HAS SOUS 744680 HAS SOUPS 744013 WITH SCORE 746155.884
AT ITER 1956 NEW BEST:: SOT 2861623 SOS 2142785 HAS SOPS 1947712 HAS SOUS 744581 HAS SOUPS 743914 WITH SCORE 746056.785
AT ITER 2017 NEW BEST:: SOT 2861601 SOS 2142763 HAS SOPS 1947690 HAS SOUS 743559 HAS SOUPS 742892 WITH SCORE 745034.763
AT ITER 2019 NEW BEST:: SOT 2861618 SOS 2142780 HAS SOPS 1946021 HAS SOUS 739753 HAS SOUPS 739086 WITH SCORE 741228.78
AT ITER 2039 NEW BEST:: SOT 2852363 SOS 2133525 HAS SOPS 1936766 HAS SOUS 730673 HAS SOUPS 730006 WITH SCORE 732139.525
AT ITER 2040 NEW BEST:: SOT 2851600 SOS 2132762 HAS SOPS 1935395 HAS SOUS 728355 HAS SOUPS 727688 WITH SCORE 729820.762
AT ITER 2041 NEW BEST:: SOT 2851582 SOS 2132744 HAS SOPS 1935375 HAS SOUS 728335 HAS SOUPS 727668 WITH SCORE 729800.744
AT ITER 2044 NEW BEST:: SOT 2851555 SOS 2132717 HAS SOPS 1935316 HAS SOUS 728276 HAS SOUPS 727609 WITH SCORE 729741.717
AT ITER 2049 NEW BEST:: SOT 2850525 SOS 2131687 HAS SOPS 1934286 HAS SOUS 726539 HAS SOUPS 725872 WITH SCORE 728003.687
AT ITER 2054 NEW BEST:: SOT 2850525 SOS 2131687 HAS SOPS 1934270 HAS SOUS 726523 HAS SOUPS 725856 WITH SCORE 727987.687
AT ITER 2058 NEW BEST:: SOT 2850450 SOS 2131612 HAS SOPS 1934145 HAS SOUS 726398 HAS SOUPS 725731 WITH SCORE 727862.612
AT ITER 2059 NEW BEST:: SOT 2850147 SOS 2131309 HAS SOPS 1933398 HAS SOUS 724918 HAS SOUPS 724251 WITH SCORE 726382.309
AT ITER 2071 NEW BEST:: SOT 2850079 SOS 2131241 HAS SOPS 1933398 HAS SOUS 724918 HAS SOUPS 724251 WITH SCORE 726382.241
AT ITER 2115 NEW BEST:: SOT 2849722 SOS 2130998 HAS SOPS 1933505 HAS SOUS 724888 HAS SOUPS 724221 WITH SCORE 726351.998
AT ITER 2137 NEW BEST:: SOT 2847289 SOS 2128565 HAS SOPS 1930457 HAS SOUS 719131 HAS SOUPS 718464 WITH SCORE 720592.565
AT ITER 2159 NEW BEST:: SOT 2847224 SOS 2128500 HAS SOPS 1930355 HAS SOUS 719029 HAS SOUPS 718362 WITH SCORE 720490.5
AT ITER 2167 NEW BEST:: SOT 2847114 SOS 2128390 HAS SOPS 1930245 HAS SOUS 718919 HAS SOUPS 718252 WITH SCORE 720380.39
AT ITER 2196 NEW BEST:: SOT 2847059 SOS 2128335 HAS SOPS 1930190 HAS SOUS 718864 HAS SOUPS 718197 WITH SCORE 720325.335
AT ITER 2210 NEW BEST:: SOT 2847059 SOS 2128464 HAS SOPS 1930319 HAS SOUS 705197 HAS SOUPS 704530 WITH SCORE 706658.464
AT ITER 2214 NEW BEST:: SOT 2845100 SOS 2126505 HAS SOPS 1926863 HAS SOUS 699482 HAS SOUPS 698815 WITH SCORE 700941.505
AT ITER 2216 NEW BEST:: SOT 2845100 SOS 2118240 HAS SOPS 1918598 HAS SOUS 699250 HAS SOUPS 698583 WITH SCORE 700701.24
AT ITER 2239 NEW BEST:: SOT 2845073 SOS 2118213 HAS SOPS 1918571 HAS SOUS 699223 HAS SOUPS 698556 WITH SCORE 700674.213
AT ITER 2245 NEW BEST:: SOT 2845020 SOS 2121360 HAS SOPS 1921718 HAS SOUS 699202 HAS SOUPS 698535 WITH SCORE 700656.36
AT ITER 2250 NEW BEST:: SOT 2844958 SOS 2113544 HAS SOPS 1912636 HAS SOUS 698746 HAS SOUPS 698079 WITH SCORE 700192.544
AT ITER 2268 NEW BEST:: SOT 2844899 SOS 2113485 HAS SOPS 1912577 HAS SOUS 698687 HAS SOUPS 698020 WITH SCORE 700133.485
AT ITER 2274 NEW BEST:: SOT 2844873 SOS 2113459 HAS SOPS 1912547 HAS SOUS 698657 HAS SOUPS 697990 WITH SCORE 700103.459
AT ITER 2283 NEW BEST:: SOT 2844810 SOS 2113396 HAS SOPS 1912452 HAS SOUS 698562 HAS SOUPS 697895 WITH SCORE 700008.396
AT ITER 2291 NEW BEST:: SOT 2844718 SOS 2113304 HAS SOPS 1912360 HAS SOUS 698470 HAS SOUPS 697803 WITH SCORE 699916.304
AT ITER 2311 NEW BEST:: SOT 2844565 SOS 2113151 HAS SOPS 1912207 HAS SOUS 698308 HAS SOUPS 697641 WITH SCORE 699754.151
AT ITER 2313 NEW BEST:: SOT 2844552 SOS 2113138 HAS SOPS 1912173 HAS SOUS 698274 HAS SOUPS 697607 WITH SCORE 699720.138
AT ITER 2354 NEW BEST:: SOT 2844399 SOS 2110213 HAS SOPS 1903761 HAS SOUS 687840 HAS SOUPS 687173 WITH SCORE 689283.213
AT ITER 2366 NEW BEST:: SOT 2844271 SOS 2110085 HAS SOPS 1903633 HAS SOUS 687712 HAS SOUPS 687045 WITH SCORE 689155.085
AT ITER 2391 NEW BEST:: SOT 2844295 SOS 2110109 HAS SOPS 1903497 HAS SOUS 687385 HAS SOUPS 686718 WITH SCORE 688828.109
AT ITER 2394 NEW BEST:: SOT 2844028 SOS 2109842 HAS SOPS 1903277 HAS SOUS 687165 HAS SOUPS 686498 WITH SCORE 688607.842
AT ITER 2396 NEW BEST:: SOT 2843882 SOS 2104544 HAS SOPS 1896075 HAS SOUS 686642 HAS SOUPS 685975 WITH SCORE 688079.544
AT ITER 2397 NEW BEST:: SOT 2843721 SOS 2104383 HAS SOPS 1896074 HAS SOUS 686641 HAS SOUPS 685974 WITH SCORE 688078.383
AT ITER 2403 NEW BEST:: SOT 2843689 SOS 2104204 HAS SOPS 1895895 HAS SOUS 686419 HAS SOUPS 685752 WITH SCORE 687856.204
AT ITER 2407 NEW BEST:: SOT 2843689 SOS 2104204 HAS SOPS 1895894 HAS SOUS 686418 HAS SOUPS 685751 WITH SCORE 687855.204
AT ITER 2443 NEW BEST:: SOT 2843605 SOS 2104120 HAS SOPS 1895810 HAS SOUS 686334 HAS SOUPS 685667 WITH SCORE 687771.12
AT ITER 2455 NEW BEST:: SOT 2843465 SOS 2103980 HAS SOPS 1895762 HAS SOUS 686286 HAS SOUPS 685619 WITH SCORE 687722.98
AT ITER 2456 NEW BEST:: SOT 2843025 SOS 2103540 HAS SOPS 1895331 HAS SOUS 685855 HAS SOUPS 685188 WITH SCORE 687291.54
AT ITER 2479 NEW BEST:: SOT 2843745 SOS 2104260 HAS SOPS 1894102 HAS SOUS 681950 HAS SOUPS 681283 WITH SCORE 683387.26
AT ITER 2487 NEW BEST:: SOT 2843732 SOS 2104247 HAS SOPS 1894089 HAS SOUS 681937 HAS SOUPS 681270 WITH SCORE 683374.247
AT ITER 2496 NEW BEST:: SOT 2837000 SOS 2097515 HAS SOPS 1887357 HAS SOUS 675205 HAS SOUPS 674538 WITH SCORE 676635.515
AT ITER 2518 NEW BEST:: SOT 2845032 SOS 2099045 HAS SOPS 1883337 HAS SOUS 674242 HAS SOUPS 673575 WITH SCORE 675674.045
AT ITER 2531 NEW BEST:: SOT 2845032 SOS 2096745 HAS SOPS 1881037 HAS SOUS 674219 HAS SOUPS 673552 WITH SCORE 675648.745
AT ITER 2542 NEW BEST:: SOT 2845004 SOS 2096717 HAS SOPS 1880996 HAS SOUS 674178 HAS SOUPS 673511 WITH SCORE 675607.717
AT ITER 2579 NEW BEST:: SOT 2845003 SOS 2096716 HAS SOPS 1880995 HAS SOUS 674177 HAS SOUPS 673510 WITH SCORE 675606.716
AT ITER 2600 NEW BEST:: SOT 2844877 SOS 2096590 HAS SOPS 1880908 HAS SOUS 674090 HAS SOUPS 673423 WITH SCORE 675519.59
AT ITER 2602 NEW BEST:: SOT 2844859 SOS 2096572 HAS SOPS 1880890 HAS SOUS 674072 HAS SOUPS 673405 WITH SCORE 675501.572
AT ITER 2614 NEW BEST:: SOT 2844133 SOS 2095834 HAS SOPS 1880152 HAS SOUS 673334 HAS SOUPS 672667 WITH SCORE 674762.834
AT ITER 2616 NEW BEST:: SOT 2844133 SOS 2094389 HAS SOPS 1878707 HAS SOUS 673321 HAS SOUPS 672654 WITH SCORE 674748.389
AT ITER 2626 NEW BEST:: SOT 2843886 SOS 2094097 HAS SOPS 1878694 HAS SOUS 673314 HAS SOUPS 672647 WITH SCORE 674741.097
AT ITER 2674 NEW BEST:: SOT 2843848 SOS 2094059 HAS SOPS 1878656 HAS SOUS 673276 HAS SOUPS 672609 WITH SCORE 674703.059
AT ITER 2681 NEW BEST:: SOT 2843542 SOS 2093753 HAS SOPS 1878361 HAS SOUS 672981 HAS SOUPS 672314 WITH SCORE 674407.753
AT ITER 2690 NEW BEST:: SOT 2841224 SOS 2084855 HAS SOPS 1864417 HAS SOUS 667153 HAS SOUPS 666486 WITH SCORE 668570.855
AT ITER 2706 NEW BEST:: SOT 2841328 SOS 2084778 HAS SOPS 1864340 HAS SOUS 667130 HAS SOUPS 666463 WITH SCORE 668547.778
AT ITER 2711 NEW BEST:: SOT 2841100 SOS 2084550 HAS SOPS 1864112 HAS SOUS 666902 HAS SOUPS 666235 WITH SCORE 668319.55
AT ITER 2712 NEW BEST:: SOT 2840947 SOS 2084397 HAS SOPS 1863975 HAS SOUS 666765 HAS SOUPS 666098 WITH SCORE 668182.397
AT ITER 2715 NEW BEST:: SOT 2840939 SOS 2084389 HAS SOPS 1863967 HAS SOUS 666757 HAS SOUPS 666090 WITH SCORE 668174.389
AT ITER 2734 NEW BEST:: SOT 2840937 SOS 2084387 HAS SOPS 1863965 HAS SOUS 666755 HAS SOUPS 666088 WITH SCORE 668172.387
AT ITER 2747 NEW BEST:: SOT 2840719 SOS 2078812 HAS SOPS 1856115 HAS SOUS 666010 HAS SOUPS 665343 WITH SCORE 667421.812
AT ITER 2751 NEW BEST:: SOT 2840640 SOS 2078733 HAS SOPS 1856074 HAS SOUS 665969 HAS SOUPS 665302 WITH SCORE 667380.733
AT ITER 2765 NEW BEST:: SOT 2840984 SOS 2079077 HAS SOPS 1854909 HAS SOUS 663071 HAS SOUPS 662404 WITH SCORE 664483.077
AT ITER 2785 NEW BEST:: SOT 2836784 SOS 2074877 HAS SOPS 1850709 HAS SOUS 660671 HAS SOUPS 660004 WITH SCORE 662078.877
AT ITER 2818 NEW BEST:: SOT 2836777 SOS 2074870 HAS SOPS 1850702 HAS SOUS 660664 HAS SOUPS 659997 WITH SCORE 662071.87
AT ITER 2841 NEW BEST:: SOT 2836736 SOS 2074829 HAS SOPS 1850645 HAS SOUS 660607 HAS SOUPS 659940 WITH SCORE 662014.829
AT ITER 2861 NEW BEST:: SOT 2836622 SOS 2074715 HAS SOPS 1850638 HAS SOUS 660600 HAS SOUPS 659933 WITH SCORE 662007.715
AT ITER 2881 NEW BEST:: SOT 2835727 SOS 2073820 HAS SOPS 1848618 HAS SOUS 657156 HAS SOUPS 656489 WITH SCORE 658562.82
AT ITER 2897 NEW BEST:: SOT 2834982 SOS 2073052 HAS SOPS 1847039 HAS SOUS 657039 HAS SOUPS 656372 WITH SCORE 658445.052
AT ITER 2935 NEW BEST:: SOT 2834948 SOS 2073018 HAS SOPS 1846993 HAS SOUS 656993 HAS SOUPS 656326 WITH SCORE 658399.018
AT ITER 2938 NEW BEST:: SOT 2834918 SOS 2072988 HAS SOPS 1846948 HAS SOUS 656948 HAS SOUPS 656281 WITH SCORE 658353.988
AT ITER 2939 NEW BEST:: SOT 2834866 SOS 2072936 HAS SOPS 1846895 HAS SOUS 656895 HAS SOUPS 656228 WITH SCORE 658300.936
AT ITER 2944 NEW BEST:: SOT 2835607 SOS 2073677 HAS SOPS 1846883 HAS SOUS 655982 HAS SOUPS 655315 WITH SCORE 657388.677
AT ITER 2964 NEW BEST:: SOT 2835425 SOS 2073495 HAS SOPS 1846701 HAS SOUS 655796 HAS SOUPS 655129 WITH SCORE 657202.495
AT ITER 2987 NEW BEST:: SOT 2835396 SOS 2073466 HAS SOPS 1846672 HAS SOUS 655767 HAS SOUPS 655100 WITH SCORE 657173.466
AT ITER 2995 NEW BEST:: SOT 2835358 SOS 2073428 HAS SOPS 1846584 HAS SOUS 655679 HAS SOUPS 655012 WITH SCORE 657085.428
AT ITER 2996 NEW BEST:: SOT 2831858 SOS 2069978 HAS SOPS 1843134 HAS SOUS 648714 HAS SOUPS 648047 WITH SCORE 650116.978
AT ITER 3016 NEW BEST:: SOT 2831639 SOS 2069759 HAS SOPS 1842915 HAS SOUS 648495 HAS SOUPS 647828 WITH SCORE 649897.759
AT ITER 3017 NEW BEST:: SOT 2831576 SOS 2069696 HAS SOPS 1842852 HAS SOUS 648432 HAS SOUPS 647765 WITH SCORE 649834.696
AT ITER 3024 NEW BEST:: SOT 2831557 SOS 2069677 HAS SOPS 1842799 HAS SOUS 648379 HAS SOUPS 647712 WITH SCORE 649781.677
AT ITER 3041 NEW BEST:: SOT 2831542 SOS 2067844 HAS SOPS 1840966 HAS SOUS 648346 HAS SOUPS 647679 WITH SCORE 649746.844
AT ITER 3099 NEW BEST:: SOT 2831461 SOS 2067763 HAS SOPS 1840885 HAS SOUS 648265 HAS SOUPS 647598 WITH SCORE 649665.763
AT ITER 3114 NEW BEST:: SOT 2831399 SOS 2067701 HAS SOPS 1840823 HAS SOUS 648203 HAS SOUPS 647536 WITH SCORE 649603.701
AT ITER 3136 NEW BEST:: SOT 2831399 SOS 2067701 HAS SOPS 1840817 HAS SOUS 648197 HAS SOUPS 647530 WITH SCORE 649597.701
AT ITER 3171 NEW BEST:: SOT 2831653 SOS 2067955 HAS SOPS 1838994 HAS SOUS 643615 HAS SOUPS 642948 WITH SCORE 645015.955
AT ITER 3174 NEW BEST:: SOT 2840949 SOS 2073276 HAS SOPS 1838597 HAS SOUS 640440 HAS SOUPS 639773 WITH SCORE 641846.276
AT ITER 3178 NEW BEST:: SOT 2840848 SOS 2073175 HAS SOPS 1838597 HAS SOUS 640440 HAS SOUPS 639773 WITH SCORE 641846.175
AT ITER 3179 NEW BEST:: SOT 2840729 SOS 2073192 HAS SOPS 1838563 HAS SOUS 640170 HAS SOUPS 639503 WITH SCORE 641576.192
AT ITER 3209 NEW BEST:: SOT 2840723 SOS 2073186 HAS SOPS 1838557 HAS SOUS 640164 HAS SOUPS 639497 WITH SCORE 641570.186
AT ITER 3228 NEW BEST:: SOT 2844191 SOS 2076560 HAS SOPS 1836345 HAS SOUS 636055 HAS SOUPS 635388 WITH SCORE 637464.56
AT ITER 3234 NEW BEST:: SOT 2844176 SOS 2076545 HAS SOPS 1836315 HAS SOUS 636025 HAS SOUPS 635358 WITH SCORE 637434.545
AT ITER 3246 NEW BEST:: SOT 2844152 SOS 2076521 HAS SOPS 1836258 HAS SOUS 635968 HAS SOUPS 635301 WITH SCORE 637377.521
AT ITER 3266 NEW BEST:: SOT 2844110 SOS 2076479 HAS SOPS 1836202 HAS SOUS 635912 HAS SOUPS 635245 WITH SCORE 637321.479
AT ITER 3270 NEW BEST:: SOT 2844110 SOS 2073258 HAS SOPS 1832981 HAS SOUS 635880 HAS SOUPS 635213 WITH SCORE 637286.258
AT ITER 3310 NEW BEST:: SOT 2836623 SOS 2069748 HAS SOPS 1832908 HAS SOUS 629575 HAS SOUPS 628908 WITH SCORE 630977.748
AT ITER 3312 NEW BEST:: SOT 2836556 SOS 2069681 HAS SOPS 1832904 HAS SOUS 629571 HAS SOUPS 628904 WITH SCORE 630973.681
AT ITER 3331 NEW BEST:: SOT 2835856 SOS 2068981 HAS SOPS 1832197 HAS SOUS 628864 HAS SOUPS 628197 WITH SCORE 630265.981
AT ITER 3369 NEW BEST:: SOT 2835824 SOS 2068949 HAS SOPS 1832165 HAS SOUS 628832 HAS SOUPS 628165 WITH SCORE 630233.949
AT ITER 3373 NEW BEST:: SOT 2835724 SOS 2068849 HAS SOPS 1832067 HAS SOUS 628683 HAS SOUPS 628016 WITH SCORE 630084.849
AT ITER 3383 NEW BEST:: SOT 2835710 SOS 2068835 HAS SOPS 1832057 HAS SOUS 628673 HAS SOUPS 628006 WITH SCORE 630074.835
AT ITER 3393 NEW BEST:: SOT 2835692 SOS 2068817 HAS SOPS 1832035 HAS SOUS 628651 HAS SOUPS 627984 WITH SCORE 630052.817
AT ITER 3400 NEW BEST:: SOT 2835692 SOS 2068799 HAS SOPS 1832017 HAS SOUS 628566 HAS SOUPS 627899 WITH SCORE 629967.799
AT ITER 3427 NEW BEST:: SOT 2835620 SOS 2068727 HAS SOPS 1831946 HAS SOUS 628495 HAS SOUPS 627828 WITH SCORE 629896.727
AT ITER 3434 NEW BEST:: SOT 2835589 SOS 2068696 HAS SOPS 1831915 HAS SOUS 628464 HAS SOUPS 627797 WITH SCORE 629865.696
AT ITER 3449 NEW BEST:: SOT 2835589 SOS 2068683 HAS SOPS 1831902 HAS SOUS 628450 HAS SOUPS 627783 WITH SCORE 629851.683
AT ITER 3475 NEW BEST:: SOT 2833826 SOS 2066920 HAS SOPS 1830139 HAS SOUS 626776 HAS SOUPS 626109 WITH SCORE 628175.92
AT ITER 3493 NEW BEST:: SOT 2833774 SOS 2066868 HAS SOPS 1830083 HAS SOUS 626720 HAS SOUPS 626053 WITH SCORE 628119.868
AT ITER 3494 NEW BEST:: SOT 2837620 SOS 2070714 HAS SOPS 1831922 HAS SOUS 626672 HAS SOUPS 626005 WITH SCORE 628075.714
AT ITER 3504 NEW BEST:: SOT 2837224 SOS 2070293 HAS SOPS 1831548 HAS SOUS 626298 HAS SOUPS 625631 WITH SCORE 627701.293
AT ITER 3511 NEW BEST:: SOT 2837137 SOS 2080098 HAS SOPS 1831464 HAS SOUS 626214 HAS SOUPS 625444 WITH SCORE 627524.098
AT ITER 3609 NEW BEST:: SOT 2837937 SOS 2080898 HAS SOPS 1832264 HAS SOUS 625390 HAS SOUPS 624620 WITH SCORE 626700.898
AT ITER 3612 NEW BEST:: SOT 2837925 SOS 2080886 HAS SOPS 1832252 HAS SOUS 625378 HAS SOUPS 624608 WITH SCORE 626688.886
AT ITER 3614 NEW BEST:: SOT 2837926 SOS 2080887 HAS SOPS 1832244 HAS SOUS 625370 HAS SOUPS 624600 WITH SCORE 626680.887
AT ITER 3620 NEW BEST:: SOT 2843026 SOS 2085987 HAS SOPS 1837344 HAS SOUS 620925 HAS SOUPS 620155 WITH SCORE 622240.987
AT ITER 3628 NEW BEST:: SOT 2843020 SOS 2085981 HAS SOPS 1837338 HAS SOUS 620919 HAS SOUPS 620149 WITH SCORE 622234.981
AT ITER 3646 NEW BEST:: SOT 2842949 SOS 2085598 HAS SOPS 1835031 HAS SOUS 617142 HAS SOUPS 616372 WITH SCORE 618457.598
AT ITER 3659 NEW BEST:: SOT 2835706 SOS 2083325 HAS SOPS 1832758 HAS SOUS 610213 HAS SOUPS 609443 WITH SCORE 611526.325
AT ITER 3678 NEW BEST:: SOT 2835637 SOS 2083256 HAS SOPS 1832684 HAS SOUS 610139 HAS SOUPS 609369 WITH SCORE 611452.256
AT ITER 3690 NEW BEST:: SOT 2835632 SOS 2083251 HAS SOPS 1832679 HAS SOUS 610134 HAS SOUPS 609364 WITH SCORE 611447.251
AT ITER 3691 NEW BEST:: SOT 2835750 SOS 2083358 HAS SOPS 1832505 HAS SOUS 610060 HAS SOUPS 609290 WITH SCORE 611373.358
AT ITER 3703 NEW BEST:: SOT 2835913 SOS 2083521 HAS SOPS 1832430 HAS SOUS 609985 HAS SOUPS 609215 WITH SCORE 611298.521
AT ITER 3708 NEW BEST:: SOT 2835859 SOS 2083467 HAS SOPS 1832376 HAS SOUS 609931 HAS SOUPS 609161 WITH SCORE 611244.467
AT ITER 3727 NEW BEST:: SOT 2835777 SOS 2083385 HAS SOPS 1832293 HAS SOUS 609848 HAS SOUPS 609078 WITH SCORE 611161.385
AT ITER 3758 NEW BEST:: SOT 2835504 SOS 2083112 HAS SOPS 1831920 HAS SOUS 609475 HAS SOUPS 608705 WITH SCORE 610788.112
AT ITER 3767 NEW BEST:: SOT 2835534 SOS 2083142 HAS SOPS 1831916 HAS SOUS 609439 HAS SOUPS 608669 WITH SCORE 610752.142
AT ITER 3770 NEW BEST:: SOT 2835479 SOS 2083087 HAS SOPS 1831861 HAS SOUS 609384 HAS SOUPS 608614 WITH SCORE 610697.087
AT ITER 3786 NEW BEST:: SOT 2833710 SOS 2076136 HAS SOPS 1820105 HAS SOUS 604896 HAS SOUPS 604126 WITH SCORE 606202.136
AT ITER 3805 NEW BEST:: SOT 2833708 SOS 2076134 HAS SOPS 1820065 HAS SOUS 604856 HAS SOUPS 604086 WITH SCORE 606162.134
AT ITER 3806 NEW BEST:: SOT 2833708 SOS 2076134 HAS SOPS 1818827 HAS SOUS 597220 HAS SOUPS 596450 WITH SCORE 598526.134
AT ITER 3814 NEW BEST:: SOT 2833708 SOS 2076102 HAS SOPS 1818795 HAS SOUS 597188 HAS SOUPS 596418 WITH SCORE 598494.102
AT ITER 3823 NEW BEST:: SOT 2833589 SOS 2075983 HAS SOPS 1818676 HAS SOUS 597069 HAS SOUPS 596299 WITH SCORE 598374.983
AT ITER 3843 NEW BEST:: SOT 2833589 SOS 2075983 HAS SOPS 1818666 HAS SOUS 597059 HAS SOUPS 596289 WITH SCORE 598364.983
AT ITER 3846 NEW BEST:: SOT 2832756 SOS 2075135 HAS SOPS 1818200 HAS SOUS 594911 HAS SOUPS 594156 WITH SCORE 596231.135
AT ITER 3867 NEW BEST:: SOT 2832548 SOS 2074927 HAS SOPS 1818073 HAS SOUS 594784 HAS SOUPS 594029 WITH SCORE 596103.927
AT ITER 3875 NEW BEST:: SOT 2832054 SOS 2074433 HAS SOPS 1817968 HAS SOUS 594679 HAS SOUPS 593924 WITH SCORE 595998.433
AT ITER 3892 NEW BEST:: SOT 2831896 SOS 2074275 HAS SOPS 1817810 HAS SOUS 594521 HAS SOUPS 593766 WITH SCORE 595840.275
AT ITER 3906 NEW BEST:: SOT 2831843 SOS 2074222 HAS SOPS 1817757 HAS SOUS 594468 HAS SOUPS 593713 WITH SCORE 595787.222
AT ITER 3952 NEW BEST:: SOT 2831837 SOS 2074216 HAS SOPS 1817751 HAS SOUS 594462 HAS SOUPS 593707 WITH SCORE 595781.216
AT ITER 3972 NEW BEST:: SOT 2832006 SOS 2074402 HAS SOPS 1817633 HAS SOUS 594303 HAS SOUPS 593548 WITH SCORE 595622.402
AT ITER 3974 NEW BEST:: SOT 2831948 SOS 2074344 HAS SOPS 1817575 HAS SOUS 594245 HAS SOUPS 593490 WITH SCORE 595564.344
AT ITER 3982 NEW BEST:: SOT 2844943 SOS 2087339 HAS SOPS 1823204 HAS SOUS 593182 HAS SOUPS 592427 WITH SCORE 594514.339
AT ITER 3987 NEW BEST:: SOT 2845855 SOS 2088251 HAS SOPS 1824116 HAS SOUS 585715 HAS SOUPS 584960 WITH SCORE 587048.251
AT ITER 4000 NEW BEST:: SOT 2845757 SOS 2088153 HAS SOPS 1824018 HAS SOUS 585617 HAS SOUPS 584862 WITH SCORE 586950.153
AT ITER 4009 NEW BEST:: SOT 2857245 SOS 2096161 HAS SOPS 1826006 HAS SOUS 585094 HAS SOUPS 584339 WITH SCORE 586435.161
AT ITER 4013 NEW BEST:: SOT 2857166 SOS 2096082 HAS SOPS 1825944 HAS SOUS 585032 HAS SOUPS 584277 WITH SCORE 586373.082
AT ITER 4059 NEW BEST:: SOT 2857165 SOS 2096081 HAS SOPS 1825943 HAS SOUS 585031 HAS SOUPS 584276 WITH SCORE 586372.081
AT ITER 4071 NEW BEST:: SOT 2856958 SOS 2095874 HAS SOPS 1825635 HAS SOUS 584723 HAS SOUPS 583968 WITH SCORE 586063.874
AT ITER 4122 NEW BEST:: SOT 2856940 SOS 2095856 HAS SOPS 1825617 HAS SOUS 584705 HAS SOUPS 583950 WITH SCORE 586045.856
AT ITER 4174 NEW BEST:: SOT 2856929 SOS 2095845 HAS SOPS 1825595 HAS SOUS 584683 HAS SOUPS 583928 WITH SCORE 586023.845
AT ITER 4179 NEW BEST:: SOT 2855753 SOS 2094681 HAS SOPS 1824431 HAS SOUS 582307 HAS SOUPS 581552 WITH SCORE 583646.681
AT ITER 4195 NEW BEST:: SOT 2855753 SOS 2094558 HAS SOPS 1824308 HAS SOUS 582283 HAS SOUPS 581528 WITH SCORE 583622.558
AT ITER 4222 NEW BEST:: SOT 2852854 SOS 2090929 HAS SOPS 1815186 HAS SOUS 575377 HAS SOUPS 574622 WITH SCORE 576712.929
AT ITER 4232 NEW BEST:: SOT 2852804 SOS 2090879 HAS SOPS 1815111 HAS SOUS 575302 HAS SOUPS 574547 WITH SCORE 576637.879
AT ITER 4241 NEW BEST:: SOT 2852804 SOS 2090879 HAS SOPS 1815077 HAS SOUS 575268 HAS SOUPS 574513 WITH SCORE 576603.879
AT ITER 4278 NEW BEST:: SOT 2852770 SOS 2090845 HAS SOPS 1815043 HAS SOUS 575234 HAS SOUPS 574479 WITH SCORE 576569.845
AT ITER 4321 NEW BEST:: SOT 2852070 SOS 2090145 HAS SOPS 1814343 HAS SOUS 574534 HAS SOUPS 573779 WITH SCORE 575869.145
AT ITER 4322 NEW BEST:: SOT 2851998 SOS 2090073 HAS SOPS 1814271 HAS SOUS 574462 HAS SOUPS 573707 WITH SCORE 575797.073
AT ITER 4361 NEW BEST:: SOT 2856498 SOS 2094573 HAS SOPS 1818911 HAS SOUS 569556 HAS SOUPS 568801 WITH SCORE 570895.573
AT ITER 4368 NEW BEST:: SOT 2856458 SOS 2094533 HAS SOPS 1818889 HAS SOUS 569534 HAS SOUPS 568779 WITH SCORE 570873.533
AT ITER 4406 NEW BEST:: SOT 2856177 SOS 2092349 HAS SOPS 1814091 HAS SOUS 568719 HAS SOUPS 567964 WITH SCORE 570056.349
AT ITER 4407 NEW BEST:: SOT 2856071 SOS 2092243 HAS SOPS 1813985 HAS SOUS 568613 HAS SOUPS 567858 WITH SCORE 569950.243
AT ITER 4436 NEW BEST:: SOT 2855948 SOS 2091812 HAS SOPS 1813550 HAS SOUS 568270 HAS SOUPS 567515 WITH SCORE 569606.812
AT ITER 4532 NEW BEST:: SOT 2855950 SOS 2091814 HAS SOPS 1813535 HAS SOUS 568255 HAS SOUPS 567500 WITH SCORE 569591.814
AT ITER 4539 NEW BEST:: SOT 2855966 SOS 2091781 HAS SOPS 1813502 HAS SOUS 568128 HAS SOUPS 567373 WITH SCORE 569464.781
AT ITER 4579 NEW BEST:: SOT 2855966 SOS 2091780 HAS SOPS 1813502 HAS SOUS 568128 HAS SOUPS 567373 WITH SCORE 569464.78
AT ITER 4597 NEW BEST:: SOT 2855966 SOS 2090574 HAS SOPS 1812296 HAS SOUS 568116 HAS SOUPS 567361 WITH SCORE 569451.574
AT ITER 4690 NEW BEST:: SOT 2855966 SOS 2088891 HAS SOPS 1810613 HAS SOUS 568116 HAS SOUPS 567361 WITH SCORE 569449.891
AT ITER 4715 NEW BEST:: SOT 2852042 SOS 2085116 HAS SOPS 1806838 HAS SOUS 564273 HAS SOUPS 563518 WITH SCORE 565603.116
AT ITER 4815 NEW BEST:: SOT 2852042 SOS 2085109 HAS SOPS 1806831 HAS SOUS 564273 HAS SOUPS 563518 WITH SCORE 565603.109
AT ITER 4829 NEW BEST:: SOT 2852042 SOS 2084200 HAS SOPS 1805922 HAS SOUS 564255 HAS SOUPS 563500 WITH SCORE 565584.2
AT ITER 4872 NEW BEST:: SOT 2852041 SOS 2084199 HAS SOPS 1805921 HAS SOUS 564254 HAS SOUPS 563499 WITH SCORE 565583.199
AT ITER 4882 NEW BEST:: SOT 2851938 SOS 2084096 HAS SOPS 1805910 HAS SOUS 564243 HAS SOUPS 563488 WITH SCORE 565572.096
AT ITER 4906 NEW BEST:: SOT 2851921 SOS 2084079 HAS SOPS 1805893 HAS SOUS 561626 HAS SOUPS 560871 WITH SCORE 562955.079
AT ITER 4919 NEW BEST:: SOT 2851907 SOS 2084065 HAS SOPS 1805874 HAS SOUS 561607 HAS SOUPS 560852 WITH SCORE 562936.065
AT ITER 4924 NEW BEST:: SOT 2851907 SOS 2084065 HAS SOPS 1805872 HAS SOUS 561605 HAS SOUPS 560850 WITH SCORE 562934.065
AT ITER 4937 NEW BEST:: SOT 2851913 SOS 2084071 HAS SOPS 1805859 HAS SOUS 561592 HAS SOUPS 560837 WITH SCORE 562921.071
AT ITER 4955 NEW BEST:: SOT 2851882 SOS 2084040 HAS SOPS 1805828 HAS SOUS 561561 HAS SOUPS 560806 WITH SCORE 562890.04
AT ITER 4973 NEW BEST:: SOT 2849095 SOS 2081253 HAS SOPS 1803041 HAS SOUS 561519 HAS SOUPS 560764 WITH SCORE 562845.253
AT ITER 5044 NEW BEST:: SOT 2849095 SOS 2081253 HAS SOPS 1803033 HAS SOUS 561511 HAS SOUPS 560756 WITH SCORE 562837.253
AT ITER 5063 NEW BEST:: SOT 2849095 SOS 2081253 HAS SOPS 1802976 HAS SOUS 561454 HAS SOUPS 560699 WITH SCORE 562780.253
AT ITER 5067 NEW BEST:: SOT 2849045 SOS 2081203 HAS SOPS 1802895 HAS SOUS 561373 HAS SOUPS 560618 WITH SCORE 562699.203
AT ITER 5114 NEW BEST:: SOT 2848733 SOS 2080891 HAS SOPS 1802583 HAS SOUS 561061 HAS SOUPS 560306 WITH SCORE 562386.891
AT ITER 5119 NEW BEST:: SOT 2848721 SOS 2080879 HAS SOPS 1802571 HAS SOUS 561049 HAS SOUPS 560294 WITH SCORE 562374.879
AT ITER 5172 NEW BEST:: SOT 2843621 SOS 2075779 HAS SOPS 1797471 HAS SOUS 557313 HAS SOUPS 556558 WITH SCORE 558633.779
AT ITER 5178 NEW BEST:: SOT 2841903 SOS 2066868 HAS SOPS 1783697 HAS SOUS 553032 HAS SOUPS 552277 WITH SCORE 554343.868
AT ITER 5203 NEW BEST:: SOT 2841896 SOS 2066854 HAS SOPS 1783690 HAS SOUS 553018 HAS SOUPS 552263 WITH SCORE 554329.854
AT ITER 5213 NEW BEST:: SOT 2841957 SOS 2066915 HAS SOPS 1783679 HAS SOUS 553007 HAS SOUPS 552252 WITH SCORE 554318.915
AT ITER 5225 NEW BEST:: SOT 2839020 SOS 2063978 HAS SOPS 1779290 HAS SOUS 548170 HAS SOUPS 547394 WITH SCORE 549457.978
AT ITER 5267 NEW BEST:: SOT 2839005 SOS 2063963 HAS SOPS 1779275 HAS SOUS 548155 HAS SOUPS 547379 WITH SCORE 549442.963
AT ITER 5282 NEW BEST:: SOT 2838993 SOS 2063951 HAS SOPS 1779260 HAS SOUS 548140 HAS SOUPS 547364 WITH SCORE 549427.951
AT ITER 5330 NEW BEST:: SOT 2838867 SOS 2063825 HAS SOPS 1779083 HAS SOUS 547963 HAS SOUPS 547187 WITH SCORE 549250.825
AT ITER 5342 NEW BEST:: SOT 2838867 SOS 2062834 HAS SOPS 1778092 HAS SOUS 547962 HAS SOUPS 547186 WITH SCORE 549248.834
AT ITER 5343 NEW BEST:: SOT 2838867 SOS 2053238 HAS SOPS 1768496 HAS SOUS 547672 HAS SOUPS 546896 WITH SCORE 548949.238
AT ITER 5369 NEW BEST:: SOT 2845828 SOS 2060199 HAS SOPS 1771771 HAS SOUS 547498 HAS SOUPS 546722 WITH SCORE 548782.199
AT ITER 5375 NEW BEST:: SOT 2841802 SOS 2056173 HAS SOPS 1761465 HAS SOUS 532745 HAS SOUPS 531942 WITH SCORE 533998.173
AT ITER 5391 NEW BEST:: SOT 2841553 SOS 2047957 HAS SOPS 1750781 HAS SOUS 531956 HAS SOUPS 531153 WITH SCORE 533200.957
AT ITER 5405 NEW BEST:: SOT 2839029 SOS 2045409 HAS SOPS 1748231 HAS SOUS 526808 HAS SOUPS 526005 WITH SCORE 528050.409
AT ITER 5460 NEW BEST:: SOT 2839021 SOS 2045401 HAS SOPS 1748223 HAS SOUS 526800 HAS SOUPS 525997 WITH SCORE 528042.401
AT ITER 5569 NEW BEST:: SOT 2837699 SOS 2044079 HAS SOPS 1746901 HAS SOUS 525478 HAS SOUPS 524675 WITH SCORE 526719.079
AT ITER 5584 NEW BEST:: SOT 2837675 SOS 2044055 HAS SOPS 1746886 HAS SOUS 525463 HAS SOUPS 524660 WITH SCORE 526704.055
AT ITER 5596 NEW BEST:: SOT 2837656 SOS 2044036 HAS SOPS 1746867 HAS SOUS 525444 HAS SOUPS 524641 WITH SCORE 526685.036
AT ITER 5611 NEW BEST:: SOT 2837113 SOS 2043493 HAS SOPS 1742948 HAS SOUS 519403 HAS SOUPS 518600 WITH SCORE 520643.493
AT ITER 5614 NEW BEST:: SOT 2832562 SOS 2041510 HAS SOPS 1745923 HAS SOUS 517539 HAS SOUPS 516736 WITH SCORE 518777.51
AT ITER 5620 NEW BEST:: SOT 2830191 SOS 2039139 HAS SOPS 1742607 HAS SOUS 512508 HAS SOUPS 511705 WITH SCORE 513744.139
AT ITER 5653 NEW BEST:: SOT 2823121 SOS 2032184 HAS SOPS 1735652 HAS SOUS 507853 HAS SOUPS 507050 WITH SCORE 509082.184
AT ITER 5661 NEW BEST:: SOT 2822835 SOS 2031898 HAS SOPS 1733763 HAS SOUS 507070 HAS SOUPS 506267 WITH SCORE 508298.898
AT ITER 5667 NEW BEST:: SOT 2822773 SOS 2031836 HAS SOPS 1733763 HAS SOUS 507070 HAS SOUPS 506267 WITH SCORE 508298.836
AT ITER 5684 NEW BEST:: SOT 2822749 SOS 2031812 HAS SOPS 1733695 HAS SOUS 507002 HAS SOUPS 506199 WITH SCORE 508230.812
AT ITER 5710 NEW BEST:: SOT 2822749 SOS 2031630 HAS SOPS 1733782 HAS SOUS 506897 HAS SOUPS 506094 WITH SCORE 508125.63
AT ITER 5729 NEW BEST:: SOT 2822863 SOS 2031786 HAS SOPS 1733781 HAS SOUS 506896 HAS SOUPS 506093 WITH SCORE 508124.786
AT ITER 5746 NEW BEST:: SOT 2822851 SOS 2031774 HAS SOPS 1733781 HAS SOUS 506896 HAS SOUPS 506093 WITH SCORE 508124.774
AT ITER 5767 NEW BEST:: SOT 2822811 SOS 2031734 HAS SOPS 1733745 HAS SOUS 506860 HAS SOUPS 506057 WITH SCORE 508088.734
AT ITER 5774 NEW BEST:: SOT 2822801 SOS 2031724 HAS SOPS 1732419 HAS SOUS 504800 HAS SOUPS 503997 WITH SCORE 506028.724
AT ITER 5781 NEW BEST:: SOT 2822783 SOS 2031706 HAS SOPS 1732419 HAS SOUS 502982 HAS SOUPS 502179 WITH SCORE 504210.706
AT ITER 5824 NEW BEST:: SOT 2822766 SOS 2031689 HAS SOPS 1732385 HAS SOUS 502948 HAS SOUPS 502145 WITH SCORE 504176.689
AT ITER 5827 NEW BEST:: SOT 2822720 SOS 2031643 HAS SOPS 1732316 HAS SOUS 502879 HAS SOUPS 502076 WITH SCORE 504107.643
AT ITER 5928 NEW BEST:: SOT 2822695 SOS 2031473 HAS SOPS 1732146 HAS SOUS 502564 HAS SOUPS 501761 WITH SCORE 503792.473
AT ITER 5929 NEW BEST:: SOT 2822616 SOS 2031394 HAS SOPS 1731988 HAS SOUS 502406 HAS SOUPS 501603 WITH SCORE 503634.394
AT ITER 5997 NEW BEST:: SOT 2823828 SOS 2027934 HAS SOPS 1722575 HAS SOUS 498345 HAS SOUPS 497542 WITH SCORE 499569.934
AT ITER 6043 NEW BEST:: SOT 2823809 SOS 2027915 HAS SOPS 1722550 HAS SOUS 498320 HAS SOUPS 497517 WITH SCORE 499544.915
AT ITER 6063 NEW BEST:: SOT 2823786 SOS 2027701 HAS SOPS 1722336 HAS SOUS 497915 HAS SOUPS 497112 WITH SCORE 499139.701
AT ITER 6080 NEW BEST:: SOT 2823732 SOS 2027647 HAS SOPS 1722255 HAS SOUS 497834 HAS SOUPS 497031 WITH SCORE 499058.647
AT ITER 6166 NEW BEST:: SOT 2823726 SOS 2027641 HAS SOPS 1722249 HAS SOUS 497828 HAS SOUPS 497025 WITH SCORE 499052.641
AT ITER 6190 NEW BEST:: SOT 2818248 SOS 2022163 HAS SOPS 1716771 HAS SOUS 492460 HAS SOUPS 491657 WITH SCORE 493679.163
AT ITER 6195 NEW BEST:: SOT 2819066 SOS 2022981 HAS SOPS 1715095 HAS SOUS 487738 HAS SOUPS 486935 WITH SCORE 488957.981
AT ITER 6275 NEW BEST:: SOT 2819066 SOS 2022960 HAS SOPS 1715074 HAS SOUS 487717 HAS SOUPS 486914 WITH SCORE 488936.96
AT ITER 6290 NEW BEST:: SOT 2819050 SOS 2022944 HAS SOPS 1715058 HAS SOUS 487701 HAS SOUPS 486898 WITH SCORE 488920.944
AT ITER 6314 NEW BEST:: SOT 2819014 SOS 2022908 HAS SOPS 1715022 HAS SOUS 487665 HAS SOUPS 486862 WITH SCORE 488884.908
AT ITER 6334 NEW BEST:: SOT 2819014 SOS 2022032 HAS SOPS 1714146 HAS SOUS 487656 HAS SOUPS 486853 WITH SCORE 488875.032
AT ITER 6357 NEW BEST:: SOT 2819327 SOS 2022107 HAS SOPS 1714221 HAS SOUS 487544 HAS SOUPS 486741 WITH SCORE 488763.107
AT ITER 6358 NEW BEST:: SOT 2814341 SOS 2017121 HAS SOPS 1709235 HAS SOUS 482558 HAS SOUPS 481755 WITH SCORE 483772.121
AT ITER 6365 NEW BEST:: SOT 2814293 SOS 2017073 HAS SOPS 1709181 HAS SOUS 482504 HAS SOUPS 481701 WITH SCORE 483718.073
AT ITER 6391 NEW BEST:: SOT 2814293 SOS 2015449 HAS SOPS 1707557 HAS SOUS 482488 HAS SOUPS 481685 WITH SCORE 483700.449
AT ITER 6399 NEW BEST:: SOT 2814264 SOS 2015420 HAS SOPS 1707526 HAS SOUS 482457 HAS SOUPS 481654 WITH SCORE 483669.42
AT ITER 6408 NEW BEST:: SOT 2814241 SOS 2015397 HAS SOPS 1707502 HAS SOUS 482433 HAS SOUPS 481630 WITH SCORE 483645.397
AT ITER 6442 NEW BEST:: SOT 2814191 SOS 2015347 HAS SOPS 1707452 HAS SOUS 482383 HAS SOUPS 481580 WITH SCORE 483595.347
AT ITER 6477 NEW BEST:: SOT 2814175 SOS 2015331 HAS SOPS 1707436 HAS SOUS 482367 HAS SOUPS 481564 WITH SCORE 483579.331
AT ITER 6491 NEW BEST:: SOT 2811799 SOS 2012955 HAS SOPS 1705036 HAS SOUS 479977 HAS SOUPS 479174 WITH SCORE 481186.955
AT ITER 6509 NEW BEST:: SOT 2811763 SOS 2012919 HAS SOPS 1705036 HAS SOUS 479977 HAS SOUPS 479174 WITH SCORE 481186.919
AT ITER 6515 NEW BEST:: SOT 2811404 SOS 2012560 HAS SOPS 1704721 HAS SOUS 479662 HAS SOUPS 478859 WITH SCORE 480871.56
AT ITER 6555 NEW BEST:: SOT 2811404 SOS 2011160 HAS SOPS 1703321 HAS SOUS 479648 HAS SOUPS 478845 WITH SCORE 480856.16
AT ITER 6639 NEW BEST:: SOT 2812228 SOS 2011984 HAS SOPS 1701695 HAS SOUS 477006 HAS SOUPS 476203 WITH SCORE 478214.984
AT ITER 6650 NEW BEST:: SOT 2812162 SOS 2011918 HAS SOPS 1701679 HAS SOUS 476990 HAS SOUPS 476187 WITH SCORE 478198.918
AT ITER 6674 NEW BEST:: SOT 2811000 SOS 2010756 HAS SOPS 1700565 HAS SOUS 475977 HAS SOUPS 475174 WITH SCORE 477184.756
AT ITER 6678 NEW BEST:: SOT 2807244 SOS 2007000 HAS SOPS 1697838 HAS SOUS 474280 HAS SOUPS 473477 WITH SCORE 475484.0
AT ITER 6695 NEW BEST:: SOT 2807165 SOS 2006921 HAS SOPS 1697787 HAS SOUS 474229 HAS SOUPS 473426 WITH SCORE 475432.921
AT ITER 6772 NEW BEST:: SOT 2807029 SOS 2006785 HAS SOPS 1697651 HAS SOUS 474093 HAS SOUPS 473290 WITH SCORE 475296.785
AT ITER 6775 NEW BEST:: SOT 2807019 SOS 2006775 HAS SOPS 1697645 HAS SOUS 474087 HAS SOUPS 473284 WITH SCORE 475290.775
AT ITER 6809 NEW BEST:: SOT 2807019 SOS 2006775 HAS SOPS 1697612 HAS SOUS 474054 HAS SOUPS 473251 WITH SCORE 475257.775
AT ITER 6849 NEW BEST:: SOT 2807006 SOS 2006762 HAS SOPS 1697599 HAS SOUS 474041 HAS SOUPS 473238 WITH SCORE 475244.762
AT ITER 6910 NEW BEST:: SOT 2807000 SOS 2006756 HAS SOPS 1697593 HAS SOUS 474035 HAS SOUPS 473232 WITH SCORE 475238.756
AT ITER 6923 NEW BEST:: SOT 2807000 SOS 2004738 HAS SOPS 1695575 HAS SOUS 473997 HAS SOUPS 473194 WITH SCORE 475198.738
AT ITER 6950 NEW BEST:: SOT 2806995 SOS 2004733 HAS SOPS 1695570 HAS SOUS 473992 HAS SOUPS 473189 WITH SCORE 475193.733
AT ITER 6966 NEW BEST:: SOT 2806963 SOS 2004701 HAS SOPS 1695508 HAS SOUS 473930 HAS SOUPS 473127 WITH SCORE 475131.701
AT ITER 6999 NEW BEST:: SOT 2806963 SOS 2004643 HAS SOPS 1695450 HAS SOUS 473814 HAS SOUPS 473011 WITH SCORE 475015.643
AT ITER 7015 NEW BEST:: SOT 2806963 SOS 2004643 HAS SOPS 1695407 HAS SOUS 473771 HAS SOUPS 472968 WITH SCORE 474972.643
AT ITER 7020 NEW BEST:: SOT 2806963 SOS 2003643 HAS SOPS 1694407 HAS SOUS 473761 HAS SOUPS 472958 WITH SCORE 474961.643
AT ITER 7047 NEW BEST:: SOT 2806947 SOS 2003627 HAS SOPS 1694391 HAS SOUS 473745 HAS SOUPS 472942 WITH SCORE 474945.627
AT ITER 7055 NEW BEST:: SOT 2806866 SOS 2003546 HAS SOPS 1694377 HAS SOUS 473731 HAS SOUPS 472928 WITH SCORE 474931.546
AT ITER 7077 NEW BEST:: SOT 2806846 SOS 2003526 HAS SOPS 1694357 HAS SOUS 473711 HAS SOUPS 472908 WITH SCORE 474911.526
AT ITER 7081 NEW BEST:: SOT 2806828 SOS 2003508 HAS SOPS 1694310 HAS SOUS 473664 HAS SOUPS 472861 WITH SCORE 474864.508
AT ITER 7112 NEW BEST:: SOT 2807835 SOS 2004515 HAS SOPS 1696440 HAS SOUS 473416 HAS SOUPS 472613 WITH SCORE 474617.515
AT ITER 7127 NEW BEST:: SOT 2807835 SOS 2004515 HAS SOPS 1696440 HAS SOUS 473398 HAS SOUPS 472595 WITH SCORE 474599.515
AT ITER 7136 NEW BEST:: SOT 2807782 SOS 2004462 HAS SOPS 1696381 HAS SOUS 473339 HAS SOUPS 472536 WITH SCORE 474540.462
AT ITER 7150 NEW BEST:: SOT 2807702 SOS 2004382 HAS SOPS 1696301 HAS SOUS 473259 HAS SOUPS 472456 WITH SCORE 474460.382
AT ITER 7184 NEW BEST:: SOT 2807688 SOS 2004368 HAS SOPS 1696287 HAS SOUS 473245 HAS SOUPS 472442 WITH SCORE 474446.368
AT ITER 7186 NEW BEST:: SOT 2807233 SOS 2003913 HAS SOPS 1694991 HAS SOUS 470979 HAS SOUPS 470176 WITH SCORE 472179.913
AT ITER 7222 NEW BEST:: SOT 2807233 SOS 2003913 HAS SOPS 1694986 HAS SOUS 470974 HAS SOUPS 470171 WITH SCORE 472174.913
AT ITER 7254 NEW BEST:: SOT 2807045 SOS 2003725 HAS SOPS 1694358 HAS SOUS 469900 HAS SOUPS 469097 WITH SCORE 471100.725
AT ITER 7265 NEW BEST:: SOT 2807039 SOS 2003719 HAS SOPS 1694309 HAS SOUS 469851 HAS SOUPS 469048 WITH SCORE 471051.719
AT ITER 7267 NEW BEST:: SOT 2806091 SOS 2002771 HAS SOPS 1691586 HAS SOUS 467547 HAS SOUPS 466744 WITH SCORE 468746.771
AT ITER 7298 NEW BEST:: SOT 2806091 SOS 2001570 HAS SOPS 1690385 HAS SOUS 467535 HAS SOUPS 466732 WITH SCORE 468733.57
AT ITER 7390 NEW BEST:: SOT 2806091 SOS 2001570 HAS SOPS 1690380 HAS SOUS 467530 HAS SOUPS 466727 WITH SCORE 468728.57
AT ITER 7411 NEW BEST:: SOT 2805978 SOS 2001457 HAS SOPS 1690291 HAS SOUS 467441 HAS SOUPS 466638 WITH SCORE 468639.457
AT ITER 7419 NEW BEST:: SOT 2805499 SOS 2001255 HAS SOPS 1690089 HAS SOUS 467024 HAS SOUPS 466221 WITH SCORE 468222.255
AT ITER 7453 NEW BEST:: SOT 2805442 SOS 2001198 HAS SOPS 1690032 HAS SOUS 466967 HAS SOUPS 466164 WITH SCORE 468165.198
AT ITER 7475 NEW BEST:: SOT 2805399 SOS 2001155 HAS SOPS 1689959 HAS SOUS 466894 HAS SOUPS 466091 WITH SCORE 468092.155
AT ITER 7489 NEW BEST:: SOT 2805344 SOS 2001100 HAS SOPS 1689931 HAS SOUS 466866 HAS SOUPS 466063 WITH SCORE 468064.1
AT ITER 7493 NEW BEST:: SOT 2805334 SOS 2001090 HAS SOPS 1689911 HAS SOUS 466846 HAS SOUPS 466043 WITH SCORE 468044.09
AT ITER 7516 NEW BEST:: SOT 2805320 SOS 2001013 HAS SOPS 1689759 HAS SOUS 466806 HAS SOUPS 466003 WITH SCORE 468004.013
AT ITER 7546 NEW BEST:: SOT 2805346 SOS 2001001 HAS SOPS 1689747 HAS SOUS 466794 HAS SOUPS 465991 WITH SCORE 467992.001
AT ITER 7550 NEW BEST:: SOT 2805325 SOS 2000980 HAS SOPS 1689726 HAS SOUS 466773 HAS SOUPS 465970 WITH SCORE 467970.98
AT ITER 7607 NEW BEST:: SOT 2805325 SOS 2000980 HAS SOPS 1689719 HAS SOUS 466766 HAS SOUPS 465963 WITH SCORE 467963.98
AT ITER 7617 NEW BEST:: SOT 2805300 SOS 2000955 HAS SOPS 1689686 HAS SOUS 466733 HAS SOUPS 465930 WITH SCORE 467930.955
AT ITER 7625 NEW BEST:: SOT 2812440 SOS 2008095 HAS SOPS 1690485 HAS SOUS 463514 HAS SOUPS 462711 WITH SCORE 464719.095
AT ITER 7694 NEW BEST:: SOT 2812440 SOS 2007858 HAS SOPS 1690248 HAS SOUS 463514 HAS SOUPS 462711 WITH SCORE 464718.858
AT ITER 7696 NEW BEST:: SOT 2812373 SOS 2007791 HAS SOPS 1690181 HAS SOUS 463447 HAS SOUPS 462644 WITH SCORE 464651.791
AT ITER 7728 NEW BEST:: SOT 2812183 SOS 2007559 HAS SOPS 1690100 HAS SOUS 463366 HAS SOUPS 462563 WITH SCORE 464570.559
AT ITER 7756 NEW BEST:: SOT 2812157 SOS 2007533 HAS SOPS 1690100 HAS SOUS 463366 HAS SOUPS 462563 WITH SCORE 464570.533
AT ITER 7767 NEW BEST:: SOT 2812068 SOS 2007444 HAS SOPS 1690013 HAS SOUS 463279 HAS SOUPS 462476 WITH SCORE 464483.444
AT ITER 7779 NEW BEST:: SOT 2812046 SOS 2007422 HAS SOPS 1690002 HAS SOUS 463268 HAS SOUPS 462465 WITH SCORE 464472.422
AT ITER 7809 NEW BEST:: SOT 2812046 SOS 2005589 HAS SOPS 1688169 HAS SOUS 463217 HAS SOUPS 462414 WITH SCORE 464419.589
AT ITER 7860 NEW BEST:: SOT 2812046 SOS 2005589 HAS SOPS 1688165 HAS SOUS 463213 HAS SOUPS 462410 WITH SCORE 464415.589
AT ITER 7890 NEW BEST:: SOT 2826946 SOS 2016424 HAS SOPS 1692788 HAS SOUS 462510 HAS SOUPS 461707 WITH SCORE 463723.424
AT ITER 7918 NEW BEST:: SOT 2826946 SOS 2014447 HAS SOPS 1690811 HAS SOUS 462490 HAS SOUPS 461687 WITH SCORE 463701.447
AT ITER 7938 NEW BEST:: SOT 2826946 SOS 2010647 HAS SOPS 1687011 HAS SOUS 462452 HAS SOUPS 461649 WITH SCORE 463659.647
AT ITER 7955 NEW BEST:: SOT 2826864 SOS 2010565 HAS SOPS 1686929 HAS SOUS 462370 HAS SOUPS 461567 WITH SCORE 463577.565
AT ITER 7970 NEW BEST:: SOT 2826557 SOS 2010258 HAS SOPS 1686382 HAS SOUS 461685 HAS SOUPS 460882 WITH SCORE 462892.258
AT ITER 7988 NEW BEST:: SOT 2826557 SOS 2010243 HAS SOPS 1686367 HAS SOUS 461685 HAS SOUPS 460882 WITH SCORE 462892.243
AT ITER 8003 NEW BEST:: SOT 2826557 SOS 2007981 HAS SOPS 1684105 HAS SOUS 461572 HAS SOUPS 460769 WITH SCORE 462776.981
AT ITER 8005 NEW BEST:: SOT 2826467 SOS 2007891 HAS SOPS 1683986 HAS SOUS 461453 HAS SOUPS 460650 WITH SCORE 462657.891
AT ITER 8016 NEW BEST:: SOT 2826461 SOS 2007885 HAS SOPS 1683980 HAS SOUS 461447 HAS SOUPS 460644 WITH SCORE 462651.885
AT ITER 8046 NEW BEST:: SOT 2826461 SOS 2007885 HAS SOPS 1683976 HAS SOUS 461443 HAS SOUPS 460640 WITH SCORE 462647.885
AT ITER 8066 NEW BEST:: SOT 2826453 SOS 2007877 HAS SOPS 1683968 HAS SOUS 461435 HAS SOUPS 460632 WITH SCORE 462639.877
AT ITER 8180 NEW BEST:: SOT 2826406 SOS 2007830 HAS SOPS 1683921 HAS SOUS 461388 HAS SOUPS 460585 WITH SCORE 462592.83
AT ITER 8239 NEW BEST:: SOT 2826333 SOS 2007757 HAS SOPS 1683848 HAS SOUS 461315 HAS SOUPS 460512 WITH SCORE 462519.757
AT ITER 8267 NEW BEST:: SOT 2825033 SOS 2006457 HAS SOPS 1682548 HAS SOUS 460315 HAS SOUPS 459512 WITH SCORE 461518.457
AT ITER 8373 NEW BEST:: SOT 2825033 SOS 2006447 HAS SOPS 1682538 HAS SOUS 459305 HAS SOUPS 458502 WITH SCORE 460508.447
AT ITER 8384 NEW BEST:: SOT 2825014 SOS 2006428 HAS SOPS 1682500 HAS SOUS 459267 HAS SOUPS 458464 WITH SCORE 460470.428
AT ITER 8403 NEW BEST:: SOT 2827814 SOS 2009207 HAS SOPS 1685344 HAS SOUS 458311 HAS SOUPS 457508 WITH SCORE 459517.207
AT ITER 8462 NEW BEST:: SOT 2827798 SOS 2009220 HAS SOPS 1685320 HAS SOUS 458287 HAS SOUPS 457484 WITH SCORE 459493.22
AT ITER 8560 NEW BEST:: SOT 2834777 SOS 2008713 HAS SOPS 1678599 HAS SOUS 457515 HAS SOUPS 456712 WITH SCORE 458720.713
AT ITER 8581 NEW BEST:: SOT 2842533 SOS 2011689 HAS SOPS 1675242 HAS SOUS 452692 HAS SOUPS 451889 WITH SCORE 453900.689
AT ITER 8583 NEW BEST:: SOT 2842419 SOS 2011575 HAS SOPS 1675046 HAS SOUS 452496 HAS SOUPS 451693 WITH SCORE 453704.575
AT ITER 8628 NEW BEST:: SOT 2838233 SOS 2007394 HAS SOPS 1670865 HAS SOUS 448470 HAS SOUPS 447667 WITH SCORE 449674.394
AT ITER 8664 NEW BEST:: SOT 2838221 SOS 2007382 HAS SOPS 1670853 HAS SOUS 448458 HAS SOUPS 447655 WITH SCORE 449662.382
AT ITER 8725 NEW BEST:: SOT 2838216 SOS 2007377 HAS SOPS 1670853 HAS SOUS 448458 HAS SOUPS 447655 WITH SCORE 449662.377
AT ITER 8774 NEW BEST:: SOT 2838159 SOS 2007320 HAS SOPS 1670691 HAS SOUS 448197 HAS SOUPS 447394 WITH SCORE 449401.32
AT ITER 8849 NEW BEST:: SOT 2837980 SOS 2006003 HAS SOPS 1667012 HAS SOUS 447642 HAS SOUPS 446839 WITH SCORE 448845.003
AT ITER 8868 NEW BEST:: SOT 2837932 SOS 2005955 HAS SOPS 1666964 HAS SOUS 447594 HAS SOUPS 446791 WITH SCORE 448796.955
AT ITER 8909 NEW BEST:: SOT 2837740 SOS 2005763 HAS SOPS 1666788 HAS SOUS 447418 HAS SOUPS 446615 WITH SCORE 448620.763
AT ITER 8933 NEW BEST:: SOT 2837732 SOS 2005755 HAS SOPS 1666757 HAS SOUS 447387 HAS SOUPS 446584 WITH SCORE 448589.755
AT ITER 8989 NEW BEST:: SOT 2837729 SOS 2005752 HAS SOPS 1666757 HAS SOUS 447387 HAS SOUPS 446584 WITH SCORE 448589.752
AT ITER 9013 NEW BEST:: SOT 2834836 SOS 2002984 HAS SOPS 1665655 HAS SOUS 446475 HAS SOUPS 445672 WITH SCORE 447674.984
AT ITER 9032 NEW BEST:: SOT 2834825 SOS 2002973 HAS SOPS 1665635 HAS SOUS 446455 HAS SOUPS 445652 WITH SCORE 447654.973
AT ITER 9036 NEW BEST:: SOT 2837925 SOS 2006073 HAS SOPS 1668774 HAS SOUS 446059 HAS SOUPS 445256 WITH SCORE 447262.073
AT ITER 9061 NEW BEST:: SOT 2837860 SOS 2006008 HAS SOPS 1668761 HAS SOUS 446046 HAS SOUPS 445243 WITH SCORE 447249.008
AT ITER 9075 NEW BEST:: SOT 2837775 SOS 2005923 HAS SOPS 1668676 HAS SOUS 445961 HAS SOUPS 445158 WITH SCORE 447163.923
AT ITER 9105 NEW BEST:: SOT 2837747 SOS 2005895 HAS SOPS 1668648 HAS SOUS 445933 HAS SOUPS 445130 WITH SCORE 447135.895
AT ITER 9124 NEW BEST:: SOT 2837187 SOS 2004889 HAS SOPS 1664077 HAS SOUS 444384 HAS SOUPS 443581 WITH SCORE 445585.889
AT ITER 9135 NEW BEST:: SOT 2835439 SOS 2003141 HAS SOPS 1662329 HAS SOUS 444342 HAS SOUPS 443539 WITH SCORE 445542.141
AT ITER 9186 NEW BEST:: SOT 2835437 SOS 2003139 HAS SOPS 1662327 HAS SOUS 444340 HAS SOUPS 443537 WITH SCORE 445540.139
AT ITER 9201 NEW BEST:: SOT 2835437 SOS 2003101 HAS SOPS 1662289 HAS SOUS 444340 HAS SOUPS 443537 WITH SCORE 445540.101
AT ITER 9244 NEW BEST:: SOT 2835423 SOS 2003087 HAS SOPS 1662275 HAS SOUS 444326 HAS SOUPS 443523 WITH SCORE 445526.087
AT ITER 9270 NEW BEST:: SOT 2828423 SOS 1996087 HAS SOPS 1655275 HAS SOUS 437346 HAS SOUPS 436543 WITH SCORE 438539.087
AT ITER 9310 NEW BEST:: SOT 2828548 SOS 1996107 HAS SOPS 1655027 HAS SOUS 437005 HAS SOUPS 436202 WITH SCORE 438198.107
AT ITER 9312 NEW BEST:: SOT 2828543 SOS 1996102 HAS SOPS 1655021 HAS SOUS 436999 HAS SOUPS 436196 WITH SCORE 438192.102
AT ITER 9329 NEW BEST:: SOT 2828348 SOS 1995907 HAS SOPS 1654825 HAS SOUS 436598 HAS SOUPS 435795 WITH SCORE 437790.907
AT ITER 9340 NEW BEST:: SOT 2828348 SOS 1994879 HAS SOPS 1653797 HAS SOUS 436560 HAS SOUPS 435757 WITH SCORE 437751.879
AT ITER 9348 NEW BEST:: SOT 2828348 SOS 1993364 HAS SOPS 1652282 HAS SOUS 436545 HAS SOUPS 435742 WITH SCORE 437735.364
AT ITER 9359 NEW BEST:: SOT 2826630 SOS 1990342 HAS SOPS 1644218 HAS SOUS 432379 HAS SOUPS 431576 WITH SCORE 433566.342
AT ITER 9387 NEW BEST:: SOT 2826520 SOS 1990232 HAS SOPS 1644108 HAS SOUS 432269 HAS SOUPS 431466 WITH SCORE 433456.232
AT ITER 9392 NEW BEST:: SOT 2826520 SOS 1990232 HAS SOPS 1644052 HAS SOUS 432213 HAS SOUPS 431410 WITH SCORE 433400.232
AT ITER 9485 NEW BEST:: SOT 2826517 SOS 1990229 HAS SOPS 1644049 HAS SOUS 432210 HAS SOUPS 431407 WITH SCORE 433397.229
AT ITER 9501 NEW BEST:: SOT 2826497 SOS 1990209 HAS SOPS 1644049 HAS SOUS 432210 HAS SOUPS 431407 WITH SCORE 433397.209
AT ITER 9544 NEW BEST:: SOT 2826446 SOS 1990158 HAS SOPS 1642683 HAS SOUS 430075 HAS SOUPS 429272 WITH SCORE 431262.158
AT ITER 9551 NEW BEST:: SOT 2826442 SOS 1990154 HAS SOPS 1642679 HAS SOUS 430071 HAS SOUPS 429268 WITH SCORE 431258.154
AT ITER 9600 NEW BEST:: SOT 2826786 SOS 1990460 HAS SOPS 1642614 HAS SOUS 430006 HAS SOUPS 429203 WITH SCORE 431193.46
AT ITER 9637 NEW BEST:: SOT 2826725 SOS 1990399 HAS SOPS 1642492 HAS SOUS 429884 HAS SOUPS 429081 WITH SCORE 431071.399
AT ITER 9647 NEW BEST:: SOT 2826725 SOS 1990375 HAS SOPS 1642492 HAS SOUS 427484 HAS SOUPS 426681 WITH SCORE 428671.375
AT ITER 9651 NEW BEST:: SOT 2826711 SOS 1990361 HAS SOPS 1642478 HAS SOUS 424036 HAS SOUPS 423233 WITH SCORE 425223.361
AT ITER 9663 NEW BEST:: SOT 2826532 SOS 1990182 HAS SOPS 1642478 HAS SOUS 424036 HAS SOUPS 423233 WITH SCORE 425223.182
AT ITER 9700 NEW BEST:: SOT 2829977 SOS 1993616 HAS SOPS 1645777 HAS SOUS 423420 HAS SOUPS 422617 WITH SCORE 424610.616
AT ITER 9706 NEW BEST:: SOT 2829969 SOS 1993608 HAS SOPS 1645769 HAS SOUS 423412 HAS SOUPS 422609 WITH SCORE 424602.608
AT ITER 9710 NEW BEST:: SOT 2825613 SOS 1989252 HAS SOPS 1641369 HAS SOUS 419046 HAS SOUPS 418243 WITH SCORE 420232.252
AT ITER 9724 NEW BEST:: SOT 2825595 SOS 1989234 HAS SOPS 1641351 HAS SOUS 419028 HAS SOUPS 418225 WITH SCORE 420214.234
AT ITER 9777 NEW BEST:: SOT 2826204 SOS 1989843 HAS SOPS 1638869 HAS SOUS 416394 HAS SOUPS 415591 WITH SCORE 417580.843
AT ITER 9789 NEW BEST:: SOT 2826186 SOS 1989825 HAS SOPS 1638848 HAS SOUS 416373 HAS SOUPS 415570 WITH SCORE 417559.825
AT ITER 9802 NEW BEST:: SOT 2824096 SOS 1987756 HAS SOPS 1636779 HAS SOUS 414304 HAS SOUPS 413501 WITH SCORE 415488.756
AT ITER 9899 NEW BEST:: SOT 2824096 SOS 1989615 HAS SOPS 1638638 HAS SOUS 414282 HAS SOUPS 413479 WITH SCORE 415468.615
AT ITER 9903 NEW BEST:: SOT 2825999 SOS 1990589 HAS SOPS 1633865 HAS SOUS 412224 HAS SOUPS 411421 WITH SCORE 413411.589
AT ITER 9906 NEW BEST:: SOT 2826007 SOS 1990597 HAS SOPS 1633860 HAS SOUS 412219 HAS SOUPS 411416 WITH SCORE 413406.597
AT ITER 9911 NEW BEST:: SOT 2825994 SOS 1990584 HAS SOPS 1633847 HAS SOUS 412206 HAS SOUPS 411403 WITH SCORE 413393.584
AT ITER 9935 NEW BEST:: SOT 2825858 SOS 1990448 HAS SOPS 1633711 HAS SOUS 412070 HAS SOUPS 411267 WITH SCORE 413257.448
AT ITER 9944 NEW BEST:: SOT 2825798 SOS 1990347 HAS SOPS 1633610 HAS SOUS 411928 HAS SOUPS 411125 WITH SCORE 413115.347
AT ITER 9978 NEW BEST:: SOT 2825798 SOS 1990047 HAS SOPS 1633310 HAS SOUS 411925 HAS SOUPS 411122 WITH SCORE 413112.047

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="Railroad-PT-100"
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 Railroad-PT-100, 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 r138-smll-158961502700328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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