Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472600576.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DLCflexbar-PT-6a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472600576
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.6M
-rw-r--r-- 1 mcc users 6.2K Feb 25 17:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 17:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 16:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 25 16:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.8K Feb 25 20:17 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 25 20:17 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.5K Feb 25 18:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 18:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 4.2M Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678251819574

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=DLCflexbar-PT-6a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCflexbar (PT), instance 6a
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2069 places, 16077 transitions, 63325 arcs.
AT ITER 0 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091207 HAS SOUPS 448145 WITH SCORE 464663.533
AT ITER 75 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1091141 HAS SOUPS 448079 WITH SCORE 464597.533
AT ITER 84 NEW BEST:: SOT 19249711 SOS 16518533 HAS SOPS 7997309 HAS SOUS 1090973 HAS SOUPS 447911 WITH SCORE 464429.533
AT ITER 98 NEW BEST:: SOT 19247421 SOS 16531681 HAS SOPS 8002313 HAS SOUS 1089291 HAS SOUPS 446229 WITH SCORE 462760.681
AT ITER 123 NEW BEST:: SOT 19246392 SOS 16535207 HAS SOPS 8000583 HAS SOUS 1089048 HAS SOUPS 445767 WITH SCORE 462302.207
AT ITER 143 NEW BEST:: SOT 19246195 SOS 16533565 HAS SOPS 8001437 HAS SOUS 1088642 HAS SOUPS 445673 WITH SCORE 462206.565
AT ITER 156 NEW BEST:: SOT 19246195 SOS 16533565 HAS SOPS 8001437 HAS SOUS 1088474 HAS SOUPS 445505 WITH SCORE 462038.565
AT ITER 169 NEW BEST:: SOT 19243886 SOS 16546013 HAS SOPS 8005661 HAS SOUS 1087224 HAS SOUPS 444255 WITH SCORE 460801.013
AT ITER 211 NEW BEST:: SOT 19243438 SOS 16546909 HAS SOPS 8005021 HAS SOUS 1086968 HAS SOUPS 443935 WITH SCORE 460481.909
AT ITER 214 NEW BEST:: SOT 19241988 SOS 16551241 HAS SOPS 8003065 HAS SOUS 1086037 HAS SOUPS 442742 WITH SCORE 459293.241
AT ITER 237 NEW BEST:: SOT 19240674 SOS 16557133 HAS SOPS 8003933 HAS SOUS 1085133 HAS SOUPS 441838 WITH SCORE 458395.13300000003
AT ITER 238 NEW BEST:: SOT 19240674 SOS 16557133 HAS SOPS 8003933 HAS SOUS 1084965 HAS SOUPS 441670 WITH SCORE 458227.13300000003
AT ITER 249 NEW BEST:: SOT 19240468 SOS 16555285 HAS SOPS 8004957 HAS SOUS 1084400 HAS SOUPS 441464 WITH SCORE 458019.285
AT ITER 279 NEW BEST:: SOT 19239585 SOS 16557575 HAS SOPS 8003191 HAS SOUS 1084043 HAS SOUPS 440938 WITH SCORE 457495.575
AT ITER 283 NEW BEST:: SOT 19239585 SOS 16557575 HAS SOPS 8003191 HAS SOUS 1084040 HAS SOUPS 440936 WITH SCORE 457493.575
AT ITER 295 NEW BEST:: SOT 19239585 SOS 16557575 HAS SOPS 8003191 HAS SOUS 1084032 HAS SOUPS 440928 WITH SCORE 457485.575
AT ITER 299 NEW BEST:: SOT 19239273 SOS 16556455 HAS SOPS 8003319 HAS SOUS 1083407 HAS SOUPS 440459 WITH SCORE 457015.455
AT ITER 301 NEW BEST:: SOT 19239273 SOS 16556455 HAS SOPS 8003319 HAS SOUS 1083239 HAS SOUPS 440291 WITH SCORE 456847.455
AT ITER 315 NEW BEST:: SOT 19237344 SOS 16562429 HAS SOPS 8003821 HAS SOUS 1081751 HAS SOUPS 438803 WITH SCORE 455365.429
AT ITER 326 NEW BEST:: SOT 19237344 SOS 16562429 HAS SOPS 8003821 HAS SOUS 1081733 HAS SOUPS 438785 WITH SCORE 455347.429
AT ITER 351 NEW BEST:: SOT 19237131 SOS 16561047 HAS SOPS 8004351 HAS SOUS 1081340 HAS SOUPS 438631 WITH SCORE 455192.047
AT ITER 352 NEW BEST:: SOT 19235192 SOS 16567193 HAS SOPS 8004961 HAS SOUS 1079852 HAS SOUPS 437143 WITH SCORE 453710.19299999997
AT ITER 356 NEW BEST:: SOT 19234904 SOS 16566425 HAS SOPS 8004193 HAS SOUS 1079660 HAS SOUPS 436951 WITH SCORE 453517.425
AT ITER 367 NEW BEST:: SOT 19234904 SOS 16566425 HAS SOPS 8004193 HAS SOUS 1079492 HAS SOUPS 436783 WITH SCORE 453349.425
AT ITER 375 NEW BEST:: SOT 19234736 SOS 16566929 HAS SOPS 8004025 HAS SOUS 1079436 HAS SOUPS 436699 WITH SCORE 453265.929
AT ITER 378 NEW BEST:: SOT 19233447 SOS 16574311 HAS SOPS 8004039 HAS SOUS 1079142 HAS SOUPS 436098 WITH SCORE 452672.311
AT ITER 399 NEW BEST:: SOT 19232538 SOS 16576885 HAS SOPS 8002221 HAS SOUS 1078779 HAS SOUPS 435552 WITH SCORE 452128.885
AT ITER 416 NEW BEST:: SOT 19232493 SOS 16576705 HAS SOPS 8002041 HAS SOUS 1078689 HAS SOUPS 435462 WITH SCORE 452038.705
AT ITER 421 NEW BEST:: SOT 19231561 SOS 16579425 HAS SOPS 8000249 HAS SOUS 1078325 HAS SOUPS 434910 WITH SCORE 451489.425
AT ITER 445 NEW BEST:: SOT 19229384 SOS 16594783 HAS SOPS 8006583 HAS SOUS 1076896 HAS SOUPS 433481 WITH SCORE 450075.783
AT ITER 447 NEW BEST:: SOT 19229384 SOS 16594783 HAS SOPS 8006583 HAS SOUS 1076734 HAS SOUPS 433319 WITH SCORE 449913.783
AT ITER 458 NEW BEST:: SOT 19229384 SOS 16594783 HAS SOPS 8006583 HAS SOUS 1076636 HAS SOUPS 433221 WITH SCORE 449815.783
AT ITER 471 NEW BEST:: SOT 19228348 SOS 16591315 HAS SOPS 8005907 HAS SOUS 1075681 HAS SOUPS 432615 WITH SCORE 449206.315
AT ITER 484 NEW BEST:: SOT 19228322 SOS 16591159 HAS SOPS 8005751 HAS SOUS 1075655 HAS SOUPS 432589 WITH SCORE 449180.159
AT ITER 514 NEW BEST:: SOT 19228322 SOS 16591159 HAS SOPS 8005751 HAS SOUS 1075641 HAS SOUPS 432575 WITH SCORE 449166.159
AT ITER 534 NEW BEST:: SOT 19227255 SOS 16597497 HAS SOPS 8006497 HAS SOUS 1075544 HAS SOUPS 432245 WITH SCORE 448842.497
AT ITER 588 NEW BEST:: SOT 19227255 SOS 16597009 HAS SOPS 8007785 HAS SOUS 1075261 HAS SOUPS 432184 WITH SCORE 448781.009
AT ITER 599 NEW BEST:: SOT 19227191 SOS 16596881 HAS SOPS 8007657 HAS SOUS 1075229 HAS SOUPS 432152 WITH SCORE 448748.881
AT ITER 616 NEW BEST:: SOT 19227191 SOS 16596849 HAS SOPS 8007625 HAS SOUS 1075228 HAS SOUPS 432151 WITH SCORE 448747.849
AT ITER 639 NEW BEST:: SOT 19226149 SOS 16598365 HAS SOPS 8005541 HAS SOUS 1074520 HAS SOUPS 431293 WITH SCORE 447891.365
AT ITER 673 NEW BEST:: SOT 19226149 SOS 16598365 HAS SOPS 8005541 HAS SOUS 1074496 HAS SOUPS 431269 WITH SCORE 447867.365
AT ITER 699 NEW BEST:: SOT 19226149 SOS 16598365 HAS SOPS 8005541 HAS SOUS 1074328 HAS SOUPS 431101 WITH SCORE 447699.365
AT ITER 702 NEW BEST:: SOT 19226149 SOS 16598365 HAS SOPS 8005541 HAS SOUS 1074264 HAS SOUPS 431037 WITH SCORE 447635.365
AT ITER 710 NEW BEST:: SOT 19225723 SOS 16597513 HAS SOPS 8006393 HAS SOUS 1073412 HAS SOUPS 430398 WITH SCORE 446995.513
AT ITER 715 NEW BEST:: SOT 19223780 SOS 16603499 HAS SOPS 8006859 HAS SOUS 1071909 HAS SOUPS 428895 WITH SCORE 445498.499
AT ITER 729 NEW BEST:: SOT 19223460 SOS 16602271 HAS SOPS 8006807 HAS SOUS 1071496 HAS SOUPS 428629 WITH SCORE 445231.271
AT ITER 730 NEW BEST:: SOT 19223460 SOS 16602271 HAS SOPS 8006807 HAS SOUS 1071352 HAS SOUPS 428485 WITH SCORE 445087.271
AT ITER 757 NEW BEST:: SOT 19221472 SOS 16615519 HAS SOPS 8012551 HAS SOUS 1070297 HAS SOUPS 427430 WITH SCORE 444045.519
AT ITER 761 NEW BEST:: SOT 19220475 SOS 16635769 HAS SOPS 8019193 HAS SOUS 1070447 HAS SOUPS 427013 WITH SCORE 443648.769
AT ITER 773 NEW BEST:: SOT 19220358 SOS 16635535 HAS SOPS 8018959 HAS SOUS 1070330 HAS SOUPS 426896 WITH SCORE 443531.535
AT ITER 778 NEW BEST:: SOT 19218413 SOS 16642189 HAS SOPS 8020029 HAS SOUS 1068873 HAS SOUPS 425439 WITH SCORE 442081.189
AT ITER 790 NEW BEST:: SOT 19218136 SOS 16641635 HAS SOPS 8022123 HAS SOUS 1068175 HAS SOUPS 425072 WITH SCORE 441713.635
AT ITER 819 NEW BEST:: SOT 19218136 SOS 16641635 HAS SOPS 8022123 HAS SOUS 1068007 HAS SOUPS 424904 WITH SCORE 441545.635
AT ITER 827 NEW BEST:: SOT 19217412 SOS 16638863 HAS SOPS 8021999 HAS SOUS 1067204 HAS SOUPS 424432 WITH SCORE 441070.863
AT ITER 835 NEW BEST:: SOT 19217412 SOS 16638863 HAS SOPS 8021999 HAS SOUS 1067198 HAS SOUPS 424426 WITH SCORE 441064.863
AT ITER 836 NEW BEST:: SOT 19217412 SOS 16638863 HAS SOPS 8021999 HAS SOUS 1067030 HAS SOUPS 424258 WITH SCORE 440896.863
AT ITER 866 NEW BEST:: SOT 19216600 SOS 16642567 HAS SOPS 8020375 HAS SOUS 1066938 HAS SOUPS 423944 WITH SCORE 440586.567
AT ITER 873 NEW BEST:: SOT 19215999 SOS 16645257 HAS SOPS 8019729 HAS SOUS 1066568 HAS SOUPS 423435 WITH SCORE 440080.257
AT ITER 930 NEW BEST:: SOT 19215763 SOS 16644313 HAS SOPS 8018785 HAS SOUS 1066332 HAS SOUPS 423199 WITH SCORE 439843.313
AT ITER 931 NEW BEST:: SOT 19215507 SOS 16643801 HAS SOPS 8019297 HAS SOUS 1065820 HAS SOUPS 422815 WITH SCORE 439458.801
AT ITER 977 NEW BEST:: SOT 19215507 SOS 16643801 HAS SOPS 8019297 HAS SOUS 1065818 HAS SOUPS 422813 WITH SCORE 439456.801
AT ITER 979 NEW BEST:: SOT 19215241 SOS 16642121 HAS SOPS 8019913 HAS SOUS 1065265 HAS SOUPS 422547 WITH SCORE 439189.121
AT ITER 1008 NEW BEST:: SOT 19215241 SOS 16642121 HAS SOPS 8019913 HAS SOUS 1065249 HAS SOUPS 422531 WITH SCORE 439173.121
AT ITER 1023 NEW BEST:: SOT 19215241 SOS 16642121 HAS SOPS 8019913 HAS SOUS 1065089 HAS SOUPS 422371 WITH SCORE 439013.121
AT ITER 1029 NEW BEST:: SOT 19207339 SOS 16628684 HAS SOPS 8014815 HAS SOUS 1064633 HAS SOUPS 422376 WITH SCORE 439004.684
AT ITER 1046 NEW BEST:: SOT 19207339 SOS 16628684 HAS SOPS 8014815 HAS SOUS 1064487 HAS SOUPS 422230 WITH SCORE 438858.684
AT ITER 1058 NEW BEST:: SOT 19207339 SOS 16628684 HAS SOPS 8014815 HAS SOUS 1064319 HAS SOUPS 422062 WITH SCORE 438690.684
AT ITER 1067 NEW BEST:: SOT 19207192 SOS 16628390 HAS SOPS 8016449 HAS SOUS 1063966 HAS SOUPS 421950 WITH SCORE 438578.39
AT ITER 1083 NEW BEST:: SOT 19206733 SOS 16627472 HAS SOPS 8017875 HAS SOUS 1062985 HAS SOUPS 421262 WITH SCORE 437889.472
AT ITER 1135 NEW BEST:: SOT 19206728 SOS 16627007 HAS SOPS 8017410 HAS SOUS 1062980 HAS SOUPS 421257 WITH SCORE 437884.007
AT ITER 1141 NEW BEST:: SOT 19206618 SOS 16626143 HAS SOPS 8016546 HAS SOUS 1062870 HAS SOUPS 421147 WITH SCORE 437773.143
AT ITER 1143 NEW BEST:: SOT 19206618 SOS 16626143 HAS SOPS 8016546 HAS SOUS 1062702 HAS SOUPS 420979 WITH SCORE 437605.143
AT ITER 1146 NEW BEST:: SOT 19205274 SOS 16620767 HAS SOPS 8014754 HAS SOUS 1060462 HAS SOUPS 419187 WITH SCORE 435807.767
AT ITER 1148 NEW BEST:: SOT 19204885 SOS 16619989 HAS SOPS 8015952 HAS SOUS 1059634 HAS SOUPS 418606 WITH SCORE 435225.989
AT ITER 1152 NEW BEST:: SOT 19204805 SOS 16619805 HAS SOPS 8015768 HAS SOUS 1059466 HAS SOUPS 418438 WITH SCORE 435057.805
AT ITER 1161 NEW BEST:: SOT 19203457 SOS 16622965 HAS SOPS 8013072 HAS SOUS 1058548 HAS SOUPS 417276 WITH SCORE 433898.965
AT ITER 1170 NEW BEST:: SOT 19201369 SOS 16629389 HAS SOPS 8013992 HAS SOUS 1056791 HAS SOUPS 415519 WITH SCORE 432148.389
AT ITER 1184 NEW BEST:: SOT 19201369 SOS 16629389 HAS SOPS 8013992 HAS SOUS 1056683 HAS SOUPS 415411 WITH SCORE 432040.389
AT ITER 1196 NEW BEST:: SOT 19201185 SOS 16629021 HAS SOPS 8013624 HAS SOUS 1056591 HAS SOUPS 415319 WITH SCORE 431948.021
AT ITER 1213 NEW BEST:: SOT 19199024 SOS 16638003 HAS SOPS 8016238 HAS SOUS 1055104 HAS SOUPS 413832 WITH SCORE 430470.003
AT ITER 1222 NEW BEST:: SOT 19199024 SOS 16638003 HAS SOPS 8016238 HAS SOUS 1055036 HAS SOUPS 413764 WITH SCORE 430402.003
AT ITER 1241 NEW BEST:: SOT 19198257 SOS 16640773 HAS SOPS 8016480 HAS SOUS 1054333 HAS SOUPS 413061 WITH SCORE 429701.773
AT ITER 1257 NEW BEST:: SOT 19196545 SOS 16650053 HAS SOPS 8019104 HAS SOUS 1053064 HAS SOUPS 411792 WITH SCORE 428442.053
AT ITER 1258 NEW BEST:: SOT 19196620 SOS 16598928 HAS SOPS 7992298 HAS SOUS 1052846 HAS SOUPS 411574 WITH SCORE 428172.928
AT ITER 1273 NEW BEST:: SOT 19195468 SOS 16604344 HAS SOPS 7993938 HAS SOUS 1051851 HAS SOUPS 410579 WITH SCORE 427183.344
AT ITER 1281 NEW BEST:: SOT 19195468 SOS 16604344 HAS SOPS 7993938 HAS SOUS 1051683 HAS SOUPS 410411 WITH SCORE 427015.344
AT ITER 1308 NEW BEST:: SOT 19194411 SOS 16600370 HAS SOPS 7993684 HAS SOUS 1050890 HAS SOUPS 410083 WITH SCORE 426683.37
AT ITER 1333 NEW BEST:: SOT 19194158 SOS 16598860 HAS SOPS 7994182 HAS SOUS 1050445 HAS SOUPS 409889 WITH SCORE 426487.86
AT ITER 1340 NEW BEST:: SOT 19194158 SOS 16598860 HAS SOPS 7994182 HAS SOUS 1050277 HAS SOUPS 409721 WITH SCORE 426319.86
AT ITER 1342 NEW BEST:: SOT 19192510 SOS 16607900 HAS SOPS 7997158 HAS SOUS 1049366 HAS SOUPS 408810 WITH SCORE 425417.9
AT ITER 1357 NEW BEST:: SOT 19192510 SOS 16607900 HAS SOPS 7997158 HAS SOUS 1049198 HAS SOUPS 408642 WITH SCORE 425249.9
AT ITER 1411 NEW BEST:: SOT 19191032 SOS 16616008 HAS SOPS 7998834 HAS SOUS 1048706 HAS SOUPS 407882 WITH SCORE 424498.00800000003
AT ITER 1418 NEW BEST:: SOT 19191032 SOS 16616008 HAS SOPS 7998834 HAS SOUS 1048672 HAS SOUPS 407848 WITH SCORE 424464.00800000003
AT ITER 1451 NEW BEST:: SOT 19190887 SOS 16615718 HAS SOPS 7998544 HAS SOUS 1048526 HAS SOUPS 407702 WITH SCORE 424317.718
AT ITER 1458 NEW BEST:: SOT 19188935 SOS 16629246 HAS SOPS 8003944 HAS SOUS 1047425 HAS SOUPS 406601 WITH SCORE 423230.246
AT ITER 1459 NEW BEST:: SOT 19188875 SOS 16629686 HAS SOPS 8003904 HAS SOUS 1047385 HAS SOUPS 406541 WITH SCORE 423170.686
AT ITER 1494 NEW BEST:: SOT 19189068 SOS 16601583 HAS SOPS 8005376 HAS SOUS 1046699 HAS SOUPS 406180 WITH SCORE 422781.583
AT ITER 1495 NEW BEST:: SOT 19189068 SOS 16601583 HAS SOPS 8005376 HAS SOUS 1046657 HAS SOUPS 406138 WITH SCORE 422739.583
AT ITER 1498 NEW BEST:: SOT 19187878 SOS 16608963 HAS SOPS 8006180 HAS SOUS 1046532 HAS SOUPS 405739 WITH SCORE 422347.963
AT ITER 1545 NEW BEST:: SOT 19187878 SOS 16608963 HAS SOPS 8006180 HAS SOUS 1046364 HAS SOUPS 405571 WITH SCORE 422179.963
AT ITER 1564 NEW BEST:: SOT 19187597 SOS 16607979 HAS SOPS 8005196 HAS SOUS 1046007 HAS SOUPS 405214 WITH SCORE 421821.979
AT ITER 1578 NEW BEST:: SOT 19187597 SOS 16607979 HAS SOPS 8005196 HAS SOUS 1045839 HAS SOUPS 405046 WITH SCORE 421653.979
AT ITER 1589 NEW BEST:: SOT 19187597 SOS 16607979 HAS SOPS 8005196 HAS SOUS 1045837 HAS SOUPS 405044 WITH SCORE 421651.979
AT ITER 1645 NEW BEST:: SOT 19187530 SOS 16607845 HAS SOPS 8005598 HAS SOUS 1045703 HAS SOUPS 404977 WITH SCORE 421584.845
AT ITER 1651 NEW BEST:: SOT 19186426 SOS 16610413 HAS SOPS 8003390 HAS SOUS 1045074 HAS SOUPS 404149 WITH SCORE 420759.413
AT ITER 1692 NEW BEST:: SOT 19186248 SOS 16610057 HAS SOPS 8003746 HAS SOUS 1044718 HAS SOUPS 403882 WITH SCORE 420492.05700000003
AT ITER 1694 NEW BEST:: SOT 19186248 SOS 16610057 HAS SOPS 8003746 HAS SOUS 1044712 HAS SOUPS 403876 WITH SCORE 420486.05700000003
AT ITER 1706 NEW BEST:: SOT 19186248 SOS 16610057 HAS SOPS 8003746 HAS SOUS 1044568 HAS SOUPS 403732 WITH SCORE 420342.05700000003
AT ITER 1707 NEW BEST:: SOT 19186248 SOS 16610057 HAS SOPS 8003746 HAS SOUS 1044502 HAS SOUPS 403666 WITH SCORE 420276.05700000003
AT ITER 1713 NEW BEST:: SOT 19186248 SOS 16610057 HAS SOPS 8003746 HAS SOUS 1044404 HAS SOUPS 403568 WITH SCORE 420178.05700000003
AT ITER 1716 NEW BEST:: SOT 19185984 SOS 16609265 HAS SOPS 8002954 HAS SOUS 1044338 HAS SOUPS 403502 WITH SCORE 420111.265
AT ITER 1737 NEW BEST:: SOT 19184872 SOS 16606001 HAS SOPS 8001770 HAS SOUS 1043422 HAS SOUPS 402846 WITH SCORE 419452.001
AT ITER 1738 NEW BEST:: SOT 19184688 SOS 16604897 HAS SOPS 8000666 HAS SOUS 1043146 HAS SOUPS 402570 WITH SCORE 419174.897
AT ITER 1749 NEW BEST:: SOT 19184424 SOS 16605777 HAS SOPS 8001546 HAS SOUS 1042784 HAS SOUPS 402208 WITH SCORE 418813.777
AT ITER 1752 NEW BEST:: SOT 19184424 SOS 16605777 HAS SOPS 8001546 HAS SOUS 1042758 HAS SOUPS 402182 WITH SCORE 418787.777
AT ITER 1780 NEW BEST:: SOT 19183860 SOS 16602401 HAS SOPS 8001210 HAS SOUS 1041396 HAS SOUPS 401200 WITH SCORE 417802.401
AT ITER 1786 NEW BEST:: SOT 19182651 SOS 16611759 HAS SOPS 8004088 HAS SOUS 1040824 HAS SOUPS 400628 WITH SCORE 417239.759
AT ITER 1791 NEW BEST:: SOT 19182549 SOS 16611555 HAS SOPS 8003884 HAS SOUS 1040722 HAS SOUPS 400526 WITH SCORE 417137.555
AT ITER 1811 NEW BEST:: SOT 19182529 SOS 16611515 HAS SOPS 8003844 HAS SOUS 1040692 HAS SOUPS 400496 WITH SCORE 417107.515
AT ITER 1824 NEW BEST:: SOT 19179381 SOS 16606541 HAS SOPS 8000382 HAS SOUS 1040619 HAS SOUPS 400423 WITH SCORE 417029.541
AT ITER 1834 NEW BEST:: SOT 19177704 SOS 16610227 HAS SOPS 7999524 HAS SOUS 1039265 HAS SOUPS 399069 WITH SCORE 415679.227
AT ITER 1838 NEW BEST:: SOT 19177429 SOS 16608713 HAS SOPS 7999938 HAS SOUS 1038749 HAS SOUPS 398794 WITH SCORE 415402.713
AT ITER 1845 NEW BEST:: SOT 19177429 SOS 16608713 HAS SOPS 7999938 HAS SOUS 1038581 HAS SOUPS 398626 WITH SCORE 415234.713
AT ITER 1850 NEW BEST:: SOT 19177326 SOS 16608507 HAS SOPS 7998708 HAS SOUS 1038503 HAS SOUPS 398420 WITH SCORE 415028.507
AT ITER 1854 NEW BEST:: SOT 19177326 SOS 16608507 HAS SOPS 7998708 HAS SOUS 1038427 HAS SOUPS 398344 WITH SCORE 414952.507
AT ITER 1860 NEW BEST:: SOT 19177128 SOS 16607095 HAS SOPS 7998880 HAS SOUS 1038028 HAS SOUPS 398143 WITH SCORE 414750.095
AT ITER 1897 NEW BEST:: SOT 19176899 SOS 16606621 HAS SOPS 8000390 HAS SOUS 1037500 HAS SOUPS 397863 WITH SCORE 414469.621
AT ITER 1911 NEW BEST:: SOT 19176791 SOS 16606189 HAS SOPS 7999958 HAS SOUS 1037392 HAS SOUPS 397755 WITH SCORE 414361.189
AT ITER 1938 NEW BEST:: SOT 19176704 SOS 16606015 HAS SOPS 8000480 HAS SOUS 1037218 HAS SOUPS 397668 WITH SCORE 414274.015
AT ITER 1955 NEW BEST:: SOT 19176704 SOS 16606015 HAS SOPS 8000480 HAS SOUS 1037138 HAS SOUPS 397588 WITH SCORE 414194.015
AT ITER 1956 NEW BEST:: SOT 19176674 SOS 16606171 HAS SOPS 8000540 HAS SOUS 1037114 HAS SOUPS 397564 WITH SCORE 414170.171
AT ITER 1959 NEW BEST:: SOT 19176613 SOS 16606049 HAS SOPS 8000418 HAS SOUS 1037053 HAS SOUPS 397503 WITH SCORE 414109.049
AT ITER 1985 NEW BEST:: SOT 19176613 SOS 16605857 HAS SOPS 8000610 HAS SOUS 1037005 HAS SOUPS 397503 WITH SCORE 414108.857
AT ITER 1999 NEW BEST:: SOT 19176613 SOS 16605857 HAS SOPS 8000610 HAS SOUS 1036837 HAS SOUPS 397335 WITH SCORE 413940.857
AT ITER 2030 NEW BEST:: SOT 19175278 SOS 16601655 HAS SOPS 7999472 HAS SOUS 1036217 HAS SOUPS 397098 WITH SCORE 413699.655
AT ITER 2044 NEW BEST:: SOT 19175236 SOS 16601571 HAS SOPS 8000988 HAS SOUS 1035975 HAS SOUPS 397056 WITH SCORE 413657.571
AT ITER 2065 NEW BEST:: SOT 19175087 SOS 16599749 HAS SOPS 8002214 HAS SOUS 1035580 HAS SOUPS 397042 WITH SCORE 413641.749
AT ITER 2073 NEW BEST:: SOT 19175087 SOS 16599749 HAS SOPS 8002214 HAS SOUS 1035438 HAS SOUPS 396900 WITH SCORE 413499.749
AT ITER 2106 NEW BEST:: SOT 19174418 SOS 16600979 HAS SOPS 8001732 HAS SOUS 1035172 HAS SOUPS 396634 WITH SCORE 413234.979
AT ITER 2112 NEW BEST:: SOT 19174418 SOS 16600979 HAS SOPS 8001732 HAS SOUS 1035026 HAS SOUPS 396488 WITH SCORE 413088.979
AT ITER 2144 NEW BEST:: SOT 19173828 SOS 16602991 HAS SOPS 8001008 HAS SOUS 1034560 HAS SOUPS 395908 WITH SCORE 412510.991
AT ITER 2145 NEW BEST:: SOT 19173821 SOS 16602813 HAS SOPS 8001158 HAS SOUS 1034513 HAS SOUPS 395902 WITH SCORE 412504.813
AT ITER 2152 NEW BEST:: SOT 19173854 SOS 16603823 HAS SOPS 8000280 HAS SOUS 1034483 HAS SOUPS 395636 WITH SCORE 412239.823
AT ITER 2159 NEW BEST:: SOT 19173854 SOS 16603823 HAS SOPS 8000280 HAS SOUS 1034445 HAS SOUPS 395598 WITH SCORE 412201.823
AT ITER 2183 NEW BEST:: SOT 19172561 SOS 16607597 HAS SOPS 8001510 HAS SOUS 1033698 HAS SOUPS 394851 WITH SCORE 411458.597
AT ITER 2199 NEW BEST:: SOT 19172561 SOS 16607597 HAS SOPS 8001510 HAS SOUS 1033530 HAS SOUPS 394683 WITH SCORE 411290.597
AT ITER 2202 NEW BEST:: SOT 19172561 SOS 16607597 HAS SOPS 8001510 HAS SOUS 1033388 HAS SOUPS 394541 WITH SCORE 411148.597
AT ITER 2206 NEW BEST:: SOT 19172561 SOS 16607597 HAS SOPS 8001510 HAS SOUS 1033384 HAS SOUPS 394537 WITH SCORE 411144.597
AT ITER 2241 NEW BEST:: SOT 19171894 SOS 16616871 HAS SOPS 8006224 HAS SOUS 1033036 HAS SOUPS 394189 WITH SCORE 410805.871
AT ITER 2272 NEW BEST:: SOT 19171457 SOS 16615997 HAS SOPS 8007246 HAS SOUS 1032144 HAS SOUPS 393534 WITH SCORE 410149.997
AT ITER 2277 NEW BEST:: SOT 19171457 SOS 16615997 HAS SOPS 8007246 HAS SOUS 1031976 HAS SOUPS 393366 WITH SCORE 409981.997
AT ITER 2296 NEW BEST:: SOT 19171195 SOS 16618441 HAS SOPS 8007146 HAS SOUS 1031792 HAS SOUPS 393076 WITH SCORE 409694.441
AT ITER 2314 NEW BEST:: SOT 19170999 SOS 16622369 HAS SOPS 8009346 HAS SOUS 1031714 HAS SOUPS 392998 WITH SCORE 409620.369
AT ITER 2318 NEW BEST:: SOT 19170973 SOS 16622213 HAS SOPS 8009398 HAS SOUS 1031662 HAS SOUPS 392972 WITH SCORE 409594.213
AT ITER 2340 NEW BEST:: SOT 19170277 SOS 16620297 HAS SOPS 8007482 HAS SOUS 1031228 HAS SOUPS 392538 WITH SCORE 409158.297
AT ITER 2346 NEW BEST:: SOT 19169231 SOS 16627141 HAS SOPS 8009238 HAS SOUS 1030942 HAS SOUPS 392252 WITH SCORE 408879.141
AT ITER 2357 NEW BEST:: SOT 19169231 SOS 16624605 HAS SOPS 8009814 HAS SOUS 1030553 HAS SOUPS 392252 WITH SCORE 408876.605
AT ITER 2380 NEW BEST:: SOT 19169231 SOS 16624605 HAS SOPS 8009814 HAS SOUS 1030531 HAS SOUPS 392230 WITH SCORE 408854.605
AT ITER 2423 NEW BEST:: SOT 19168695 SOS 16626213 HAS SOPS 8010350 HAS SOUS 1030263 HAS SOUPS 391962 WITH SCORE 408588.213
AT ITER 2483 NEW BEST:: SOT 19166560 SOS 16619987 HAS SOPS 8008036 HAS SOUS 1028951 HAS SOUPS 391139 WITH SCORE 407758.987
AT ITER 2505 NEW BEST:: SOT 19166560 SOS 16619987 HAS SOPS 8008036 HAS SOUS 1028791 HAS SOUPS 390979 WITH SCORE 407598.987
AT ITER 2526 NEW BEST:: SOT 19166510 SOS 16619887 HAS SOPS 8007936 HAS SOUS 1028741 HAS SOUPS 390929 WITH SCORE 407548.887
AT ITER 2533 NEW BEST:: SOT 19166510 SOS 16619887 HAS SOPS 8007936 HAS SOUS 1028593 HAS SOUPS 390781 WITH SCORE 407400.887
AT ITER 2557 NEW BEST:: SOT 19165547 SOS 16566717 HAS SOPS 8005271 HAS SOUS 1027045 HAS SOUPS 389788 WITH SCORE 406354.717
AT ITER 2563 NEW BEST:: SOT 19166132 SOS 16518994 HAS SOPS 8007561 HAS SOUS 1026278 HAS SOUPS 389419 WITH SCORE 405937.994
AT ITER 2571 NEW BEST:: SOT 19165816 SOS 16518362 HAS SOPS 8008193 HAS SOUS 1025646 HAS SOUPS 388945 WITH SCORE 405463.362
AT ITER 2656 NEW BEST:: SOT 19162682 SOS 16529022 HAS SOPS 8010837 HAS SOUS 1024194 HAS SOUPS 387493 WITH SCORE 404022.022
AT ITER 2662 NEW BEST:: SOT 19162178 SOS 16529878 HAS SOPS 8009965 HAS SOUS 1023923 HAS SOUPS 387150 WITH SCORE 403679.878
AT ITER 2664 NEW BEST:: SOT 19162178 SOS 16529878 HAS SOPS 8009965 HAS SOUS 1023903 HAS SOUPS 387130 WITH SCORE 403659.878
AT ITER 2694 NEW BEST:: SOT 19159965 SOS 16490766 HAS SOPS 8011254 HAS SOUS 1023584 HAS SOUPS 386811 WITH SCORE 403301.766
AT ITER 2739 NEW BEST:: SOT 19159965 SOS 16490766 HAS SOPS 8011254 HAS SOUS 1023450 HAS SOUPS 386677 WITH SCORE 403167.766
AT ITER 2768 NEW BEST:: SOT 19160095 SOS 16485906 HAS SOPS 8008442 HAS SOUS 1023452 HAS SOUPS 386679 WITH SCORE 403164.906
AT ITER 2789 NEW BEST:: SOT 19159773 SOS 16485270 HAS SOPS 8005766 HAS SOUS 1023132 HAS SOUPS 386104 WITH SCORE 402589.27
AT ITER 2795 NEW BEST:: SOT 19159682 SOS 16485088 HAS SOPS 8005584 HAS SOUS 1022950 HAS SOUPS 385922 WITH SCORE 402407.088
AT ITER 2810 NEW BEST:: SOT 19160258 SOS 16487264 HAS SOPS 8005712 HAS SOUS 1023121 HAS SOUPS 385837 WITH SCORE 402324.264
AT ITER 2840 NEW BEST:: SOT 19160090 SOS 16486760 HAS SOPS 8005208 HAS SOUS 1023037 HAS SOUPS 385753 WITH SCORE 402239.76
AT ITER 2853 NEW BEST:: SOT 19159343 SOS 16491906 HAS SOPS 8007698 HAS SOUS 1022456 HAS SOUPS 385172 WITH SCORE 401663.906
AT ITER 2872 NEW BEST:: SOT 19159123 SOS 16490586 HAS SOPS 8006378 HAS SOUS 1022125 HAS SOUPS 384841 WITH SCORE 401331.586
AT ITER 2911 NEW BEST:: SOT 19158221 SOS 16487986 HAS SOPS 8005370 HAS SOUS 1021610 HAS SOUPS 384525 WITH SCORE 401012.986
AT ITER 2940 NEW BEST:: SOT 19158433 SOS 16488834 HAS SOPS 8006218 HAS SOUS 1021504 HAS SOUPS 384419 WITH SCORE 400907.834
AT ITER 2951 NEW BEST:: SOT 19158257 SOS 16487266 HAS SOPS 8007082 HAS SOUS 1021160 HAS SOUPS 384379 WITH SCORE 400866.266
AT ITER 2998 NEW BEST:: SOT 19151473 SOS 16475992 HAS SOPS 8002502 HAS SOUS 1020824 HAS SOUPS 384281 WITH SCORE 400756.992
AT ITER 3002 NEW BEST:: SOT 19149961 SOS 16495656 HAS SOPS 8008198 HAS SOUS 1021184 HAS SOUPS 384059 WITH SCORE 400554.656
AT ITER 3026 NEW BEST:: SOT 19149567 SOS 16495608 HAS SOPS 8008150 HAS SOUS 1021067 HAS SOUPS 383942 WITH SCORE 400437.608
AT ITER 3061 NEW BEST:: SOT 19147604 SOS 16511082 HAS SOPS 8014696 HAS SOUS 1019981 HAS SOUPS 382856 WITH SCORE 399367.082
AT ITER 3093 NEW BEST:: SOT 19147697 SOS 16511150 HAS SOPS 8014764 HAS SOUS 1019897 HAS SOUPS 382772 WITH SCORE 399283.15
AT ITER 3158 NEW BEST:: SOT 19147697 SOS 16511150 HAS SOPS 8014764 HAS SOUS 1019833 HAS SOUPS 382708 WITH SCORE 399219.15
AT ITER 3181 NEW BEST:: SOT 19146151 SOS 16528106 HAS SOPS 8022520 HAS SOUS 1019372 HAS SOUPS 382247 WITH SCORE 398775.106
AT ITER 3183 NEW BEST:: SOT 19146151 SOS 16528106 HAS SOPS 8022520 HAS SOUS 1019346 HAS SOUPS 382221 WITH SCORE 398749.106
AT ITER 3185 NEW BEST:: SOT 19145791 SOS 16527746 HAS SOPS 8022160 HAS SOUS 1019346 HAS SOUPS 382221 WITH SCORE 398748.746
AT ITER 3227 NEW BEST:: SOT 19142225 SOS 16522329 HAS SOPS 8018219 HAS SOUS 1019551 HAS SOUPS 382213 WITH SCORE 398735.329
AT ITER 3279 NEW BEST:: SOT 19141397 SOS 16522881 HAS SOPS 8017299 HAS SOUS 1018907 HAS SOUPS 381569 WITH SCORE 398091.881
AT ITER 3300 NEW BEST:: SOT 19140849 SOS 16467287 HAS SOPS 8012392 HAS SOUS 1017265 HAS SOUPS 380484 WITH SCORE 396951.287
AT ITER 3305 NEW BEST:: SOT 19140849 SOS 16467287 HAS SOPS 8012392 HAS SOUS 1017139 HAS SOUPS 380358 WITH SCORE 396825.287
AT ITER 3313 NEW BEST:: SOT 19139765 SOS 16469279 HAS SOPS 8011264 HAS SOUS 1016574 HAS SOUPS 379663 WITH SCORE 396132.279
AT ITER 3314 NEW BEST:: SOT 19134774 SOS 16461002 HAS SOPS 8007491 HAS SOUS 1016451 HAS SOUPS 379662 WITH SCORE 396123.002
AT ITER 3315 NEW BEST:: SOT 19134774 SOS 16461002 HAS SOPS 8007491 HAS SOUS 1016351 HAS SOUPS 379562 WITH SCORE 396023.002
AT ITER 3327 NEW BEST:: SOT 19133833 SOS 16463288 HAS SOPS 8006729 HAS SOUS 1015863 HAS SOUPS 378947 WITH SCORE 395410.288
AT ITER 3329 NEW BEST:: SOT 19133693 SOS 16463648 HAS SOPS 8006609 HAS SOUS 1015803 HAS SOUPS 378867 WITH SCORE 395330.648
AT ITER 3341 NEW BEST:: SOT 19133693 SOS 16463648 HAS SOPS 8006609 HAS SOUS 1015775 HAS SOUPS 378839 WITH SCORE 395302.648
AT ITER 3345 NEW BEST:: SOT 19132527 SOS 16460352 HAS SOPS 8005241 HAS SOUS 1015065 HAS SOUPS 378370 WITH SCORE 394830.352
AT ITER 3364 NEW BEST:: SOT 19132356 SOS 16460010 HAS SOPS 8006179 HAS SOUS 1014649 HAS SOUPS 378114 WITH SCORE 394574.01
AT ITER 3400 NEW BEST:: SOT 19131962 SOS 16475967 HAS SOPS 8005785 HAS SOUS 1014452 HAS SOUPS 377917 WITH SCORE 394392.967
AT ITER 3405 NEW BEST:: SOT 19131680 SOS 16477419 HAS SOPS 8005893 HAS SOUS 1014224 HAS SOUPS 377689 WITH SCORE 394166.419
AT ITER 3420 NEW BEST:: SOT 19130750 SOS 16473887 HAS SOPS 8005705 HAS SOUS 1013755 HAS SOUPS 377638 WITH SCORE 394111.887
AT ITER 3434 NEW BEST:: SOT 19130750 SOS 16473887 HAS SOPS 8005705 HAS SOUS 1013655 HAS SOUPS 377538 WITH SCORE 394011.887
AT ITER 3457 NEW BEST:: SOT 19130434 SOS 16471991 HAS SOPS 8005073 HAS SOUS 1013023 HAS SOUPS 377064 WITH SCORE 393535.991
AT ITER 3482 NEW BEST:: SOT 19130434 SOS 16471991 HAS SOPS 8005073 HAS SOUS 1012855 HAS SOUPS 376896 WITH SCORE 393367.991
AT ITER 3506 NEW BEST:: SOT 19129859 SOS 16501921 HAS SOPS 8004293 HAS SOUS 1012409 HAS SOUPS 376450 WITH SCORE 392951.921
AT ITER 3535 NEW BEST:: SOT 19129690 SOS 16501055 HAS SOPS 8003427 HAS SOUS 1012156 HAS SOUPS 376197 WITH SCORE 392698.055
AT ITER 3560 NEW BEST:: SOT 19129690 SOS 16501055 HAS SOPS 8003427 HAS SOUS 1012112 HAS SOUPS 376153 WITH SCORE 392654.055
AT ITER 3571 NEW BEST:: SOT 19129690 SOS 16501055 HAS SOPS 8003427 HAS SOUS 1011944 HAS SOUPS 375985 WITH SCORE 392486.055
AT ITER 3586 NEW BEST:: SOT 19129622 SOS 16500919 HAS SOPS 8003291 HAS SOUS 1011876 HAS SOUPS 375917 WITH SCORE 392417.919
AT ITER 3602 NEW BEST:: SOT 19129583 SOS 16500841 HAS SOPS 8003213 HAS SOUS 1011821 HAS SOUPS 375862 WITH SCORE 392362.841
AT ITER 3619 NEW BEST:: SOT 19129583 SOS 16500841 HAS SOPS 8003213 HAS SOUS 1011679 HAS SOUPS 375720 WITH SCORE 392220.841
AT ITER 3622 NEW BEST:: SOT 19129583 SOS 16500841 HAS SOPS 8003213 HAS SOUS 1011511 HAS SOUPS 375552 WITH SCORE 392052.841
AT ITER 3635 NEW BEST:: SOT 19129583 SOS 16500841 HAS SOPS 8003213 HAS SOUS 1011425 HAS SOUPS 375466 WITH SCORE 391966.841
AT ITER 3640 NEW BEST:: SOT 19129487 SOS 16500265 HAS SOPS 8003021 HAS SOUS 1011233 HAS SOUPS 375322 WITH SCORE 391822.265
AT ITER 3642 NEW BEST:: SOT 19128267 SOS 16496149 HAS SOPS 8002257 HAS SOUS 1010098 HAS SOUPS 374606 WITH SCORE 391102.149
AT ITER 3662 NEW BEST:: SOT 19126688 SOS 16510839 HAS SOPS 8008467 HAS SOUS 1009493 HAS SOUPS 374001 WITH SCORE 390511.839
AT ITER 3663 NEW BEST:: SOT 19126688 SOS 16509719 HAS SOPS 8007907 HAS SOUS 1009458 HAS SOUPS 373966 WITH SCORE 390475.719
AT ITER 3669 NEW BEST:: SOT 19125250 SOS 16526723 HAS SOPS 8016319 HAS SOUS 1009154 HAS SOUPS 373662 WITH SCORE 390188.723
AT ITER 3680 NEW BEST:: SOT 19125164 SOS 16526963 HAS SOPS 8016559 HAS SOUS 1009068 HAS SOUPS 373576 WITH SCORE 390102.963
AT ITER 3684 NEW BEST:: SOT 19124558 SOS 16524015 HAS SOPS 8017083 HAS SOUS 1008325 HAS SOUPS 373267 WITH SCORE 389791.015
AT ITER 3736 NEW BEST:: SOT 19122717 SOS 16531605 HAS SOPS 8020129 HAS SOUS 1007681 HAS SOUPS 372623 WITH SCORE 389154.605
AT ITER 3749 NEW BEST:: SOT 19120632 SOS 16541563 HAS SOPS 8022983 HAS SOUS 1006442 HAS SOUPS 371384 WITH SCORE 387925.563
AT ITER 3773 NEW BEST:: SOT 19120415 SOS 16541129 HAS SOPS 8022549 HAS SOUS 1006225 HAS SOUPS 371167 WITH SCORE 387708.129
AT ITER 3797 NEW BEST:: SOT 19119976 SOS 16540251 HAS SOPS 8023791 HAS SOUS 1005302 HAS SOUPS 370509 WITH SCORE 387049.251
AT ITER 3829 NEW BEST:: SOT 19118120 SOS 16551003 HAS SOPS 8027295 HAS SOUS 1004129 HAS SOUPS 369336 WITH SCORE 385887.003
AT ITER 3838 NEW BEST:: SOT 19118006 SOS 16551207 HAS SOPS 8027211 HAS SOUS 1004081 HAS SOUPS 369288 WITH SCORE 385839.207
AT ITER 3845 NEW BEST:: SOT 19117850 SOS 16550895 HAS SOPS 8026899 HAS SOUS 1003769 HAS SOUPS 368976 WITH SCORE 385526.895
AT ITER 3893 NEW BEST:: SOT 19117424 SOS 16555707 HAS SOPS 8028879 HAS SOUS 1003520 HAS SOUPS 368727 WITH SCORE 385282.707
AT ITER 3912 NEW BEST:: SOT 19115998 SOS 16557151 HAS SOPS 8027459 HAS SOUS 1002637 HAS SOUPS 367844 WITH SCORE 384401.151
AT ITER 3924 NEW BEST:: SOT 19115932 SOS 16557019 HAS SOPS 8028727 HAS SOUS 1002221 HAS SOUPS 367603 WITH SCORE 384160.019
AT ITER 3940 NEW BEST:: SOT 19115932 SOS 16557019 HAS SOPS 8028727 HAS SOUS 1002213 HAS SOUPS 367595 WITH SCORE 384152.019
AT ITER 3950 NEW BEST:: SOT 19115932 SOS 16557019 HAS SOPS 8028727 HAS SOUS 1002205 HAS SOUPS 367587 WITH SCORE 384144.019
AT ITER 3956 NEW BEST:: SOT 19115932 SOS 16557019 HAS SOPS 8028727 HAS SOUS 1002175 HAS SOUPS 367557 WITH SCORE 384114.019
AT ITER 3981 NEW BEST:: SOT 19115904 SOS 16556963 HAS SOPS 8028671 HAS SOUS 1002133 HAS SOUPS 367515 WITH SCORE 384071.963
AT ITER 4031 NEW BEST:: SOT 19115704 SOS 16561619 HAS SOPS 8029295 HAS SOUS 1001993 HAS SOUPS 367207 WITH SCORE 383768.619
AT ITER 4033 NEW BEST:: SOT 19115686 SOS 16561583 HAS SOPS 8029259 HAS SOUS 1001975 HAS SOUPS 367189 WITH SCORE 383750.583
AT ITER 4075 NEW BEST:: SOT 19115012 SOS 16558191 HAS SOPS 8029955 HAS SOUS 1000928 HAS SOUPS 366653 WITH SCORE 383211.191
AT ITER 4080 NEW BEST:: SOT 19114900 SOS 16557967 HAS SOPS 8029731 HAS SOUS 1000816 HAS SOUPS 366541 WITH SCORE 383098.967
AT ITER 4081 NEW BEST:: SOT 19113413 SOS 16567953 HAS SOPS 8033237 HAS SOUS 1000288 HAS SOUPS 366013 WITH SCORE 382580.953
AT ITER 4088 NEW BEST:: SOT 19111827 SOS 16605156 HAS SOPS 8032647 HAS SOUS 999563 HAS SOUPS 365741 WITH SCORE 382346.156
AT ITER 4113 NEW BEST:: SOT 19111440 SOS 16604382 HAS SOPS 8034153 HAS SOUS 998698 HAS SOUPS 365161 WITH SCORE 381765.382
AT ITER 4136 NEW BEST:: SOT 19111370 SOS 16605642 HAS SOPS 8034853 HAS SOUS 998663 HAS SOUPS 365126 WITH SCORE 381731.642
AT ITER 4163 NEW BEST:: SOT 19111532 SOS 16599686 HAS SOPS 8031409 HAS SOUS 998668 HAS SOUPS 365131 WITH SCORE 381730.686
AT ITER 4188 NEW BEST:: SOT 19112192 SOS 16596262 HAS SOPS 8031153 HAS SOUS 998536 HAS SOUPS 365131 WITH SCORE 381727.262
AT ITER 4196 NEW BEST:: SOT 19111991 SOS 16595860 HAS SOPS 8030751 HAS SOUS 998335 HAS SOUPS 364930 WITH SCORE 381525.86
AT ITER 4232 NEW BEST:: SOT 19111951 SOS 16595780 HAS SOPS 8030671 HAS SOUS 998295 HAS SOUPS 364890 WITH SCORE 381485.78
AT ITER 4255 NEW BEST:: SOT 19111951 SOS 16595780 HAS SOPS 8030671 HAS SOUS 998285 HAS SOUPS 364880 WITH SCORE 381475.78
AT ITER 4267 NEW BEST:: SOT 19112187 SOS 16596684 HAS SOPS 8028607 HAS SOUS 998543 HAS SOUPS 364767 WITH SCORE 381363.684
AT ITER 4325 NEW BEST:: SOT 19112067 SOS 16596444 HAS SOPS 8028367 HAS SOUS 998423 HAS SOUPS 364647 WITH SCORE 381243.444
AT ITER 4334 NEW BEST:: SOT 19111458 SOS 16606414 HAS SOPS 8030153 HAS SOUS 997832 HAS SOUPS 363715 WITH SCORE 380321.414
AT ITER 4431 NEW BEST:: SOT 19111358 SOS 16606214 HAS SOPS 8029953 HAS SOUS 997748 HAS SOUPS 363631 WITH SCORE 380237.214
AT ITER 4435 NEW BEST:: SOT 19111018 SOS 16608134 HAS SOPS 8030785 HAS SOUS 997469 HAS SOUPS 363352 WITH SCORE 379960.134
AT ITER 4448 NEW BEST:: SOT 19109631 SOS 16622288 HAS SOPS 8037003 HAS SOUS 996968 HAS SOUPS 362851 WITH SCORE 379473.288
AT ITER 4492 NEW BEST:: SOT 19109631 SOS 16622288 HAS SOPS 8037003 HAS SOUS 996931 HAS SOUPS 362814 WITH SCORE 379436.288
AT ITER 4499 NEW BEST:: SOT 19109631 SOS 16622288 HAS SOPS 8037003 HAS SOUS 996905 HAS SOUPS 362788 WITH SCORE 379410.288
AT ITER 4510 NEW BEST:: SOT 19109774 SOS 16618526 HAS SOPS 8037289 HAS SOUS 996156 HAS SOUPS 362545 WITH SCORE 379163.526
AT ITER 4515 NEW BEST:: SOT 19102310 SOS 16610618 HAS SOPS 8032201 HAS SOUS 996315 HAS SOUPS 362540 WITH SCORE 379150.618
AT ITER 4568 NEW BEST:: SOT 19102227 SOS 16610452 HAS SOPS 8032035 HAS SOUS 996232 HAS SOUPS 362457 WITH SCORE 379067.452
AT ITER 4606 NEW BEST:: SOT 19102221 SOS 16610440 HAS SOPS 8032023 HAS SOUS 996220 HAS SOUPS 362445 WITH SCORE 379055.44
AT ITER 4615 NEW BEST:: SOT 19102092 SOS 16610182 HAS SOPS 8032797 HAS SOUS 995962 HAS SOUPS 362316 WITH SCORE 378926.18200000003
AT ITER 4629 NEW BEST:: SOT 19101746 SOS 16609490 HAS SOPS 8032105 HAS SOUS 995616 HAS SOUPS 361970 WITH SCORE 378579.49
AT ITER 4633 NEW BEST:: SOT 19101746 SOS 16609490 HAS SOPS 8032105 HAS SOUS 995614 HAS SOUPS 361968 WITH SCORE 378577.49
AT ITER 4655 NEW BEST:: SOT 19101170 SOS 16607954 HAS SOPS 8031337 HAS SOUS 995230 HAS SOUPS 361680 WITH SCORE 378287.954
AT ITER 4679 NEW BEST:: SOT 19100742 SOS 16605594 HAS SOPS 8031985 HAS SOUS 994829 HAS SOUPS 361655 WITH SCORE 378260.594
AT ITER 4680 NEW BEST:: SOT 19100332 SOS 16604446 HAS SOPS 8030837 HAS SOUS 994665 HAS SOUPS 361491 WITH SCORE 378095.446
AT ITER 4699 NEW BEST:: SOT 19099224 SOS 16617238 HAS SOPS 8036349 HAS SOUS 994402 HAS SOUPS 361228 WITH SCORE 377845.238
AT ITER 4705 NEW BEST:: SOT 19101754 SOS 16633313 HAS SOPS 8040748 HAS SOUS 993154 HAS SOUPS 359722 WITH SCORE 376355.313
AT ITER 4714 NEW BEST:: SOT 19101035 SOS 16639867 HAS SOPS 8043094 HAS SOUS 992963 HAS SOUPS 359531 WITH SCORE 376170.867
AT ITER 4726 NEW BEST:: SOT 19101035 SOS 16639867 HAS SOPS 8043094 HAS SOUS 992795 HAS SOUPS 359363 WITH SCORE 376002.867
AT ITER 4737 NEW BEST:: SOT 19101035 SOS 16639867 HAS SOPS 8043094 HAS SOUS 992627 HAS SOUPS 359195 WITH SCORE 375834.867
AT ITER 4740 NEW BEST:: SOT 19100993 SOS 16639615 HAS SOPS 8043010 HAS SOUS 992522 HAS SOUPS 359111 WITH SCORE 375750.615
AT ITER 4749 NEW BEST:: SOT 19096795 SOS 16632255 HAS SOPS 8040340 HAS SOUS 992153 HAS SOUPS 359077 WITH SCORE 375709.255
AT ITER 4758 NEW BEST:: SOT 19095845 SOS 16628735 HAS SOPS 8040060 HAS SOUS 991604 HAS SOUPS 358933 WITH SCORE 375561.735
AT ITER 4759 NEW BEST:: SOT 19095979 SOS 16629765 HAS SOPS 8040178 HAS SOUS 991686 HAS SOUPS 358901 WITH SCORE 375530.765
AT ITER 4766 NEW BEST:: SOT 19095210 SOS 16628227 HAS SOPS 8038640 HAS SOUS 991375 HAS SOUPS 358590 WITH SCORE 375218.227
AT ITER 4773 NEW BEST:: SOT 19094658 SOS 16626555 HAS SOPS 8036968 HAS SOUS 991327 HAS SOUPS 358542 WITH SCORE 375168.555
AT ITER 4803 NEW BEST:: SOT 19094590 SOS 16626487 HAS SOPS 8036900 HAS SOUS 991327 HAS SOUPS 358542 WITH SCORE 375168.487
AT ITER 4807 NEW BEST:: SOT 19093758 SOS 16636663 HAS SOPS 8041156 HAS SOUS 991120 HAS SOUPS 358335 WITH SCORE 374971.663
AT ITER 4836 NEW BEST:: SOT 19093758 SOS 16636663 HAS SOPS 8041156 HAS SOUS 991038 HAS SOUPS 358253 WITH SCORE 374889.663
AT ITER 4847 NEW BEST:: SOT 19093538 SOS 16635611 HAS SOPS 8041328 HAS SOUS 990830 HAS SOUPS 358198 WITH SCORE 374833.611
AT ITER 4870 NEW BEST:: SOT 19093231 SOS 16633013 HAS SOPS 8038730 HAS SOUS 990523 HAS SOUPS 357891 WITH SCORE 374524.013
AT ITER 4882 NEW BEST:: SOT 19092948 SOS 16630749 HAS SOPS 8038730 HAS SOUS 989794 HAS SOUPS 357445 WITH SCORE 374075.749
AT ITER 4890 NEW BEST:: SOT 19092991 SOS 16629115 HAS SOPS 8037784 HAS SOUS 989794 HAS SOUPS 357445 WITH SCORE 374074.115
AT ITER 4894 NEW BEST:: SOT 19106496 SOS 16593480 HAS SOPS 8037504 HAS SOUS 1002308 HAS SOUPS 357414 WITH SCORE 374007.48
AT ITER 4901 NEW BEST:: SOT 19106882 SOS 16594536 HAS SOPS 8038560 HAS SOUS 1002070 HAS SOUPS 357176 WITH SCORE 373770.536
AT ITER 4912 NEW BEST:: SOT 19106733 SOS 16594238 HAS SOPS 8038560 HAS SOUS 1001921 HAS SOUPS 357176 WITH SCORE 373770.238
AT ITER 4915 NEW BEST:: SOT 19106612 SOS 16593996 HAS SOPS 8038560 HAS SOUS 1001800 HAS SOUPS 357176 WITH SCORE 373769.996
AT ITER 4930 NEW BEST:: SOT 19106064 SOS 16593448 HAS SOPS 8038012 HAS SOUS 1001663 HAS SOUPS 357039 WITH SCORE 373632.448
AT ITER 4943 NEW BEST:: SOT 19106116 SOS 16591472 HAS SOPS 8036868 HAS SOUS 1001663 HAS SOUPS 357039 WITH SCORE 373630.472
AT ITER 4945 NEW BEST:: SOT 19105819 SOS 16590878 HAS SOPS 8036274 HAS SOUS 1001203 HAS SOUPS 356579 WITH SCORE 373169.878
AT ITER 4973 NEW BEST:: SOT 19105848 SOS 16589776 HAS SOPS 8035636 HAS SOUS 1001203 HAS SOUPS 356579 WITH SCORE 373168.776
AT ITER 4993 NEW BEST:: SOT 19105688 SOS 16589456 HAS SOPS 8035636 HAS SOUS 1001043 HAS SOUPS 356579 WITH SCORE 373168.456
AT ITER 4995 NEW BEST:: SOT 19105688 SOS 16589456 HAS SOPS 8035636 HAS SOUS 1000915 HAS SOUPS 356451 WITH SCORE 373040.456
AT ITER 5010 NEW BEST:: SOT 19105476 SOS 16588608 HAS SOPS 8034788 HAS SOUS 1000915 HAS SOUPS 356451 WITH SCORE 373039.608
AT ITER 5014 NEW BEST:: SOT 19105366 SOS 16588388 HAS SOPS 8034788 HAS SOUS 1000805 HAS SOUPS 356451 WITH SCORE 373039.388
AT ITER 5018 NEW BEST:: SOT 19105366 SOS 16588388 HAS SOPS 8034788 HAS SOUS 1000669 HAS SOUPS 356315 WITH SCORE 372903.388
AT ITER 5023 NEW BEST:: SOT 19105342 SOS 16588340 HAS SOPS 8034740 HAS SOUS 1000657 HAS SOUPS 356303 WITH SCORE 372891.34
AT ITER 5056 NEW BEST:: SOT 19105215 SOS 16588086 HAS SOPS 8034740 HAS SOUS 1000530 HAS SOUPS 356303 WITH SCORE 372891.086
AT ITER 5079 NEW BEST:: SOT 19104831 SOS 16587318 HAS SOPS 8033972 HAS SOUS 1000235 HAS SOUPS 356008 WITH SCORE 372595.31799999997
AT ITER 5101 NEW BEST:: SOT 19104831 SOS 16587318 HAS SOPS 8033972 HAS SOUS 1000091 HAS SOUPS 355864 WITH SCORE 372451.31799999997
AT ITER 5116 NEW BEST:: SOT 19104793 SOS 16587242 HAS SOPS 8033972 HAS SOUS 1000053 HAS SOUPS 355864 WITH SCORE 372451.242
AT ITER 5145 NEW BEST:: SOT 19104729 SOS 16587050 HAS SOPS 8033908 HAS SOUS 1000021 HAS SOUPS 355848 WITH SCORE 372435.05
AT ITER 5160 NEW BEST:: SOT 19104547 SOS 16587050 HAS SOPS 8033908 HAS SOUS 999903 HAS SOUPS 355730 WITH SCORE 372317.05
AT ITER 5173 NEW BEST:: SOT 19096866 SOS 16573781 HAS SOPS 8029053 HAS SOUS 999255 HAS SOUPS 355683 WITH SCORE 372256.781
AT ITER 5208 NEW BEST:: SOT 19096474 SOS 16572696 HAS SOPS 8030677 HAS SOUS 998772 HAS SOUPS 355501 WITH SCORE 372073.696
AT ITER 5218 NEW BEST:: SOT 19096340 SOS 16572428 HAS SOPS 8030677 HAS SOUS 998638 HAS SOUPS 355501 WITH SCORE 372073.428
AT ITER 5231 NEW BEST:: SOT 19096284 SOS 16571836 HAS SOPS 8030621 HAS SOUS 998606 HAS SOUPS 355469 WITH SCORE 372040.836
AT ITER 5237 NEW BEST:: SOT 19095826 SOS 16577560 HAS SOPS 8033689 HAS SOUS 998425 HAS SOUPS 355288 WITH SCORE 371865.56
AT ITER 5248 NEW BEST:: SOT 19095737 SOS 16577382 HAS SOPS 8033689 HAS SOUS 998336 HAS SOUPS 355288 WITH SCORE 371865.382
AT ITER 5250 NEW BEST:: SOT 19095104 SOS 16591628 HAS SOPS 8040127 HAS SOUS 998296 HAS SOUPS 355248 WITH SCORE 371839.628
AT ITER 5253 NEW BEST:: SOT 19094932 SOS 16591284 HAS SOPS 8040127 HAS SOUS 998124 HAS SOUPS 355248 WITH SCORE 371839.284
AT ITER 5279 NEW BEST:: SOT 19094571 SOS 16589506 HAS SOPS 8038349 HAS SOUS 997763 HAS SOUPS 354887 WITH SCORE 371476.506
AT ITER 5290 NEW BEST:: SOT 19093961 SOS 16580486 HAS SOPS 8034321 HAS SOUS 997090 HAS SOUPS 354422 WITH SCORE 371002.486
AT ITER 5292 NEW BEST:: SOT 19093961 SOS 16580422 HAS SOPS 8034385 HAS SOUS 997074 HAS SOUPS 354422 WITH SCORE 371002.422
AT ITER 5309 NEW BEST:: SOT 19093773 SOS 16580046 HAS SOPS 8034385 HAS SOUS 996886 HAS SOUPS 354422 WITH SCORE 371002.046
AT ITER 5311 NEW BEST:: SOT 19093751 SOS 16579958 HAS SOPS 8034385 HAS SOUS 996853 HAS SOUPS 354400 WITH SCORE 370979.958
AT ITER 5341 NEW BEST:: SOT 19093751 SOS 16579958 HAS SOPS 8034385 HAS SOUS 996787 HAS SOUPS 354334 WITH SCORE 370913.958
AT ITER 5346 NEW BEST:: SOT 19093464 SOS 16579488 HAS SOPS 8031267 HAS SOUS 996580 HAS SOUPS 353796 WITH SCORE 370375.488
AT ITER 5351 NEW BEST:: SOT 19093311 SOS 16579182 HAS SOPS 8031267 HAS SOUS 996389 HAS SOUPS 353758 WITH SCORE 370337.18200000003
AT ITER 5357 NEW BEST:: SOT 19092468 SOS 16585776 HAS SOPS 8034549 HAS SOUS 996086 HAS SOUPS 353455 WITH SCORE 370040.776
AT ITER 5371 NEW BEST:: SOT 19092466 SOS 16585772 HAS SOPS 8034545 HAS SOUS 996083 HAS SOUPS 353452 WITH SCORE 370037.772
AT ITER 5375 NEW BEST:: SOT 19092282 SOS 16585404 HAS SOPS 8034545 HAS SOUS 995899 HAS SOUPS 353452 WITH SCORE 370037.404
AT ITER 5377 NEW BEST:: SOT 19092161 SOS 16586050 HAS SOPS 8034303 HAS SOUS 995915 HAS SOUPS 353431 WITH SCORE 370017.05
AT ITER 5379 NEW BEST:: SOT 19092125 SOS 16585978 HAS SOPS 8034303 HAS SOUS 995879 HAS SOUPS 353431 WITH SCORE 370016.978
AT ITER 5392 NEW BEST:: SOT 19091962 SOS 16585652 HAS SOPS 8035113 HAS SOUS 995553 HAS SOUPS 353247 WITH SCORE 369832.652
AT ITER 5425 NEW BEST:: SOT 19090865 SOS 16590890 HAS SOPS 8036991 HAS SOUS 995062 HAS SOUPS 352756 WITH SCORE 369346.89
AT ITER 5441 NEW BEST:: SOT 19090865 SOS 16590890 HAS SOPS 8036991 HAS SOUS 994894 HAS SOUPS 352588 WITH SCORE 369178.89
AT ITER 5443 NEW BEST:: SOT 19090718 SOS 16590596 HAS SOPS 8036991 HAS SOUS 994747 HAS SOUPS 352588 WITH SCORE 369178.596
AT ITER 5447 NEW BEST:: SOT 19089193 SOS 16593234 HAS SOPS 8035837 HAS SOUS 994304 HAS SOUPS 352145 WITH SCORE 368738.234
AT ITER 5470 NEW BEST:: SOT 19089078 SOS 16593388 HAS SOPS 8035735 HAS SOUS 994250 HAS SOUPS 352091 WITH SCORE 368684.388
AT ITER 5492 NEW BEST:: SOT 19088897 SOS 16593026 HAS SOPS 8035735 HAS SOUS 994069 HAS SOUPS 352091 WITH SCORE 368684.026
AT ITER 5506 NEW BEST:: SOT 19088871 SOS 16593518 HAS SOPS 8035683 HAS SOUS 994043 HAS SOUPS 351997 WITH SCORE 368590.518
AT ITER 5515 NEW BEST:: SOT 19088871 SOS 16593518 HAS SOPS 8035683 HAS SOUS 993963 HAS SOUPS 351917 WITH SCORE 368510.518
AT ITER 5548 NEW BEST:: SOT 19088871 SOS 16593518 HAS SOPS 8035683 HAS SOUS 993843 HAS SOUPS 351797 WITH SCORE 368390.518
AT ITER 5597 NEW BEST:: SOT 19088814 SOS 16592580 HAS SOPS 8036609 HAS SOUS 993355 HAS SOUPS 351542 WITH SCORE 368134.58
AT ITER 5608 NEW BEST:: SOT 19088748 SOS 16592448 HAS SOPS 8036609 HAS SOUS 993289 HAS SOUPS 351542 WITH SCORE 368134.448
AT ITER 5623 NEW BEST:: SOT 19088609 SOS 16592170 HAS SOPS 8036609 HAS SOUS 993150 HAS SOUPS 351542 WITH SCORE 368134.17
AT ITER 5626 NEW BEST:: SOT 19088609 SOS 16592170 HAS SOPS 8036609 HAS SOUS 993044 HAS SOUPS 351436 WITH SCORE 368028.17
AT ITER 5638 NEW BEST:: SOT 19088609 SOS 16592170 HAS SOPS 8036609 HAS SOUS 992940 HAS SOUPS 351332 WITH SCORE 367924.17
AT ITER 5653 NEW BEST:: SOT 19088630 SOS 16592212 HAS SOPS 8036651 HAS SOUS 992702 HAS SOUPS 351094 WITH SCORE 367686.212
AT ITER 5674 NEW BEST:: SOT 19085797 SOS 16587416 HAS SOPS 8034915 HAS SOUS 992457 HAS SOUPS 351064 WITH SCORE 367651.416
AT ITER 5678 NEW BEST:: SOT 19085611 SOS 16584588 HAS SOPS 8034823 HAS SOUS 991872 HAS SOUPS 350821 WITH SCORE 367405.588
AT ITER 5682 NEW BEST:: SOT 19084527 SOS 16581016 HAS SOPS 8034059 HAS SOUS 991488 HAS SOUPS 350788 WITH SCORE 367369.016
AT ITER 5702 NEW BEST:: SOT 19084407 SOS 16580776 HAS SOPS 8033819 HAS SOUS 991248 HAS SOUPS 350548 WITH SCORE 367128.776
AT ITER 5747 NEW BEST:: SOT 19084341 SOS 16580708 HAS SOPS 8033751 HAS SOUS 991146 HAS SOUPS 350446 WITH SCORE 367026.708
AT ITER 5877 NEW BEST:: SOT 19083594 SOS 16577582 HAS SOPS 8033889 HAS SOUS 990689 HAS SOUPS 350397 WITH SCORE 366974.582
AT ITER 5879 NEW BEST:: SOT 19083392 SOS 16577178 HAS SOPS 8033485 HAS SOUS 990487 HAS SOUPS 350195 WITH SCORE 366772.178
AT ITER 5880 NEW BEST:: SOT 19084692 SOS 16578942 HAS SOPS 8034577 HAS SOUS 990416 HAS SOUPS 350124 WITH SCORE 366702.942
AT ITER 5893 NEW BEST:: SOT 19084579 SOS 16578716 HAS SOPS 8034577 HAS SOUS 990303 HAS SOUPS 350124 WITH SCORE 366702.716
AT ITER 5926 NEW BEST:: SOT 19084323 SOS 16578406 HAS SOPS 8034267 HAS SOUS 990045 HAS SOUPS 349866 WITH SCORE 366444.406
AT ITER 5939 NEW BEST:: SOT 19084323 SOS 16578406 HAS SOPS 8034267 HAS SOUS 989991 HAS SOUPS 349812 WITH SCORE 366390.406
AT ITER 5952 NEW BEST:: SOT 19084021 SOS 16576594 HAS SOPS 8033663 HAS SOUS 989387 HAS SOUPS 349359 WITH SCORE 365935.594
AT ITER 5954 NEW BEST:: SOT 19082819 SOS 16573142 HAS SOPS 8032307 HAS SOUS 988709 HAS SOUPS 348943 WITH SCORE 365516.142
AT ITER 5964 NEW BEST:: SOT 19082683 SOS 16572870 HAS SOPS 8032307 HAS SOUS 988573 HAS SOUPS 348943 WITH SCORE 365515.87
AT ITER 6013 NEW BEST:: SOT 19082556 SOS 16572616 HAS SOPS 8032307 HAS SOUS 988446 HAS SOUPS 348943 WITH SCORE 365515.616
AT ITER 6019 NEW BEST:: SOT 19082556 SOS 16571760 HAS SOPS 8032307 HAS SOUS 988339 HAS SOUPS 348943 WITH SCORE 365514.76
AT ITER 6036 NEW BEST:: SOT 19082556 SOS 16571760 HAS SOPS 8032307 HAS SOUS 988325 HAS SOUPS 348929 WITH SCORE 365500.76
AT ITER 6038 NEW BEST:: SOT 19082600 SOS 16571848 HAS SOPS 8032307 HAS SOUS 988355 HAS SOUPS 348915 WITH SCORE 365486.848
AT ITER 6045 NEW BEST:: SOT 19082404 SOS 16570208 HAS SOPS 8033163 HAS SOUS 987877 HAS SOUPS 348749 WITH SCORE 365319.208
AT ITER 6057 NEW BEST:: SOT 19082299 SOS 16569494 HAS SOPS 8033457 HAS SOUS 987702 HAS SOUPS 348700 WITH SCORE 365269.494
AT ITER 6067 NEW BEST:: SOT 19081721 SOS 16571186 HAS SOPS 8033013 HAS SOUS 987511 HAS SOUPS 348420 WITH SCORE 364991.186
AT ITER 6076 NEW BEST:: SOT 19081595 SOS 16570934 HAS SOPS 8033013 HAS SOUS 987385 HAS SOUPS 348420 WITH SCORE 364990.934
AT ITER 6081 NEW BEST:: SOT 19081368 SOS 16569112 HAS SOPS 8033191 HAS SOUS 986930 HAS SOUPS 348215 WITH SCORE 364784.112
AT ITER 6109 NEW BEST:: SOT 19081112 SOS 16571160 HAS SOPS 8034215 HAS SOUS 986738 HAS SOUPS 348023 WITH SCORE 364594.16
AT ITER 6113 NEW BEST:: SOT 19081084 SOS 16571104 HAS SOPS 8034159 HAS SOUS 986710 HAS SOUPS 347995 WITH SCORE 364566.104
AT ITER 6116 NEW BEST:: SOT 19080770 SOS 16570476 HAS SOPS 8034787 HAS SOUS 986239 HAS SOUPS 347681 WITH SCORE 364251.476
AT ITER 6134 NEW BEST:: SOT 19080361 SOS 16569658 HAS SOPS 8033969 HAS SOUS 985700 HAS SOUPS 347142 WITH SCORE 363711.658
AT ITER 6161 NEW BEST:: SOT 19079761 SOS 16567802 HAS SOPS 8032113 HAS SOUS 985550 HAS SOUPS 346992 WITH SCORE 363559.802
AT ITER 6186 NEW BEST:: SOT 19079861 SOS 16569362 HAS SOPS 8030953 HAS SOUS 985432 HAS SOUPS 346534 WITH SCORE 363103.362
AT ITER 6194 NEW BEST:: SOT 19079921 SOS 16571186 HAS SOPS 8031073 HAS SOUS 985550 HAS SOUPS 346439 WITH SCORE 363010.186
AT ITER 6226 NEW BEST:: SOT 19079921 SOS 16571186 HAS SOPS 8031073 HAS SOUS 985384 HAS SOUPS 346273 WITH SCORE 362844.186
AT ITER 6258 NEW BEST:: SOT 19079921 SOS 16571186 HAS SOPS 8031073 HAS SOUS 985334 HAS SOUPS 346223 WITH SCORE 362794.186
AT ITER 6262 NEW BEST:: SOT 19080208 SOS 16565964 HAS SOPS 8028875 HAS SOUS 984865 HAS SOUPS 345880 WITH SCORE 362445.964
AT ITER 6283 NEW BEST:: SOT 19080128 SOS 16565804 HAS SOPS 8028715 HAS SOUS 984785 HAS SOUPS 345800 WITH SCORE 362365.804
AT ITER 6305 NEW BEST:: SOT 19080077 SOS 16563582 HAS SOPS 8028613 HAS SOUS 984453 HAS SOUPS 345733 WITH SCORE 362296.582
AT ITER 6343 NEW BEST:: SOT 19079946 SOS 16563320 HAS SOPS 8028613 HAS SOUS 984306 HAS SOUPS 345717 WITH SCORE 362280.32
AT ITER 6376 NEW BEST:: SOT 19079824 SOS 16512592 HAS SOPS 8028208 HAS SOUS 983760 HAS SOUPS 345724 WITH SCORE 362236.592
AT ITER 6391 NEW BEST:: SOT 19075945 SOS 16505957 HAS SOPS 8025338 HAS SOUS 983631 HAS SOUPS 345595 WITH SCORE 362100.957
AT ITER 6394 NEW BEST:: SOT 19075944 SOS 16506323 HAS SOPS 8024968 HAS SOUS 983722 HAS SOUPS 345594 WITH SCORE 362100.323
AT ITER 6404 NEW BEST:: SOT 19074714 SOS 16502343 HAS SOPS 8024028 HAS SOUS 983022 HAS SOUPS 345274 WITH SCORE 361776.343
AT ITER 6441 NEW BEST:: SOT 19074277 SOS 16499341 HAS SOPS 8023154 HAS SOUS 981965 HAS SOUPS 344483 WITH SCORE 360982.341
AT ITER 6456 NEW BEST:: SOT 19070265 SOS 16503211 HAS SOPS 8022513 HAS SOUS 979983 HAS SOUPS 342893 WITH SCORE 359396.211
AT ITER 6486 NEW BEST:: SOT 19070265 SOS 16503211 HAS SOPS 8022513 HAS SOUS 979957 HAS SOUPS 342867 WITH SCORE 359370.211
AT ITER 6496 NEW BEST:: SOT 19070265 SOS 16503211 HAS SOPS 8022513 HAS SOUS 979863 HAS SOUPS 342773 WITH SCORE 359276.211
AT ITER 6511 NEW BEST:: SOT 19070108 SOS 16502897 HAS SOPS 8022513 HAS SOUS 979706 HAS SOUPS 342773 WITH SCORE 359275.897
AT ITER 6556 NEW BEST:: SOT 19069684 SOS 16504337 HAS SOPS 8022537 HAS SOUS 979485 HAS SOUPS 342493 WITH SCORE 358997.337
AT ITER 6563 NEW BEST:: SOT 19069684 SOS 16504337 HAS SOPS 8022537 HAS SOUS 979475 HAS SOUPS 342483 WITH SCORE 358987.337
AT ITER 6575 NEW BEST:: SOT 19069031 SOS 16500355 HAS SOPS 8022123 HAS SOUS 978169 HAS SOUPS 341623 WITH SCORE 358123.355
AT ITER 6583 NEW BEST:: SOT 19068754 SOS 16499801 HAS SOPS 8021569 HAS SOUS 977691 HAS SOUPS 341145 WITH SCORE 357644.801
AT ITER 6640 NEW BEST:: SOT 19068746 SOS 16499785 HAS SOPS 8021553 HAS SOUS 977605 HAS SOUPS 341059 WITH SCORE 357558.785
AT ITER 6649 NEW BEST:: SOT 19068804 SOS 16499824 HAS SOPS 8021592 HAS SOUS 977586 HAS SOUPS 341040 WITH SCORE 357539.824
AT ITER 6663 NEW BEST:: SOT 19068528 SOS 16504880 HAS SOPS 8023240 HAS SOUS 977594 HAS SOUPS 340906 WITH SCORE 357410.88
AT ITER 6664 NEW BEST:: SOT 19068002 SOS 16503248 HAS SOPS 8021608 HAS SOUS 977358 HAS SOUPS 340670 WITH SCORE 357173.248
AT ITER 6669 NEW BEST:: SOT 19067792 SOS 16501568 HAS SOPS 8021608 HAS SOUS 976924 HAS SOUPS 340446 WITH SCORE 356947.56799999997
AT ITER 6692 NEW BEST:: SOT 19067485 SOS 16499594 HAS SOPS 8020994 HAS SOUS 976310 HAS SOUPS 340002 WITH SCORE 356501.594
AT ITER 6708 NEW BEST:: SOT 19067077 SOS 16500410 HAS SOPS 8020722 HAS SOUS 976106 HAS SOUPS 339798 WITH SCORE 356298.41
AT ITER 6719 NEW BEST:: SOT 19067231 SOS 16494198 HAS SOPS 8017118 HAS SOUS 976097 HAS SOUPS 339789 WITH SCORE 356283.198
AT ITER 6721 NEW BEST:: SOT 19066559 SOS 16496950 HAS SOPS 8016798 HAS SOUS 976161 HAS SOUPS 339725 WITH SCORE 356221.95
AT ITER 6758 NEW BEST:: SOT 19066519 SOS 16496870 HAS SOPS 8016798 HAS SOUS 976121 HAS SOUPS 339725 WITH SCORE 356221.87
AT ITER 6766 NEW BEST:: SOT 19065375 SOS 16493446 HAS SOPS 8015646 HAS SOUS 975437 HAS SOUPS 339325 WITH SCORE 355818.446
AT ITER 6772 NEW BEST:: SOT 19058396 SOS 16438055 HAS SOPS 7962415 HAS SOUS 975831 HAS SOUPS 339326 WITH SCORE 355764.055
AT ITER 6799 NEW BEST:: SOT 19058204 SOS 16437671 HAS SOPS 7962415 HAS SOUS 975639 HAS SOUPS 339326 WITH SCORE 355763.671
AT ITER 6853 NEW BEST:: SOT 19058186 SOS 16437635 HAS SOPS 7962415 HAS SOUS 975621 HAS SOUPS 339326 WITH SCORE 355763.635
AT ITER 6854 NEW BEST:: SOT 19058050 SOS 16437363 HAS SOPS 7962415 HAS SOUS 975485 HAS SOUPS 339326 WITH SCORE 355763.363
AT ITER 6862 NEW BEST:: SOT 19057890 SOS 16436255 HAS SOPS 7961307 HAS SOUS 975325 HAS SOUPS 339166 WITH SCORE 355602.255
AT ITER 6870 NEW BEST:: SOT 19057815 SOS 16436105 HAS SOPS 7961307 HAS SOUS 975250 HAS SOUPS 339166 WITH SCORE 355602.105
AT ITER 6902 NEW BEST:: SOT 19057977 SOS 16436267 HAS SOPS 7961469 HAS SOUS 975247 HAS SOUPS 339163 WITH SCORE 355599.267
AT ITER 6904 NEW BEST:: SOT 19057673 SOS 16435688 HAS SOPS 7960890 HAS SOUS 974943 HAS SOUPS 338859 WITH SCORE 355294.688
AT ITER 6937 NEW BEST:: SOT 19057185 SOS 16439491 HAS SOPS 7960824 HAS SOUS 974998 HAS SOUPS 338753 WITH SCORE 355192.491
AT ITER 6959 NEW BEST:: SOT 19048825 SOS 16425079 HAS SOPS 7955526 HAS SOUS 974148 HAS SOUPS 338554 WITH SCORE 354979.079
AT ITER 6966 NEW BEST:: SOT 19048825 SOS 16425079 HAS SOPS 7955526 HAS SOUS 974140 HAS SOUPS 338546 WITH SCORE 354971.079
AT ITER 6973 NEW BEST:: SOT 19048637 SOS 16424718 HAS SOPS 7955511 HAS SOUS 973952 HAS SOUPS 338531 WITH SCORE 354955.718
AT ITER 7017 NEW BEST:: SOT 19048065 SOS 16423002 HAS SOPS 7954939 HAS SOUS 973523 HAS SOUPS 338245 WITH SCORE 354668.002
AT ITER 7020 NEW BEST:: SOT 19047919 SOS 16422710 HAS SOPS 7954939 HAS SOUS 973377 HAS SOUPS 338245 WITH SCORE 354667.71
AT ITER 7034 NEW BEST:: SOT 19047895 SOS 16423110 HAS SOPS 7954771 HAS SOUS 973324 HAS SOUPS 338121 WITH SCORE 354544.11
AT ITER 7037 NEW BEST:: SOT 19047865 SOS 16423050 HAS SOPS 7954771 HAS SOUS 973294 HAS SOUPS 338121 WITH SCORE 354544.05
AT ITER 7082 NEW BEST:: SOT 19047670 SOS 16425588 HAS SOPS 7955101 HAS SOUS 973260 HAS SOUPS 337995 WITH SCORE 354420.588
AT ITER 7084 NEW BEST:: SOT 19048412 SOS 16428476 HAS SOPS 7957989 HAS SOUS 972816 HAS SOUPS 337551 WITH SCORE 353979.476
AT ITER 7100 NEW BEST:: SOT 19048407 SOS 16428466 HAS SOPS 7957979 HAS SOUS 972811 HAS SOUPS 337546 WITH SCORE 353974.466
AT ITER 7114 NEW BEST:: SOT 19048407 SOS 16428466 HAS SOPS 7957979 HAS SOUS 972789 HAS SOUPS 337524 WITH SCORE 353952.466
AT ITER 7138 NEW BEST:: SOT 19048407 SOS 16428466 HAS SOPS 7957979 HAS SOUS 972701 HAS SOUPS 337436 WITH SCORE 353864.466
AT ITER 7150 NEW BEST:: SOT 19048346 SOS 16428344 HAS SOPS 7957857 HAS SOUS 972579 HAS SOUPS 337314 WITH SCORE 353742.344
AT ITER 7156 NEW BEST:: SOT 19048214 SOS 16428080 HAS SOPS 7959721 HAS SOUS 972054 HAS SOUPS 337055 WITH SCORE 353483.08
AT ITER 7181 NEW BEST:: SOT 19048211 SOS 16428074 HAS SOPS 7959721 HAS SOUS 972051 HAS SOUPS 337055 WITH SCORE 353483.074
AT ITER 7213 NEW BEST:: SOT 19048211 SOS 16428074 HAS SOPS 7959721 HAS SOUS 972029 HAS SOUPS 337033 WITH SCORE 353461.074
AT ITER 7238 NEW BEST:: SOT 19048211 SOS 16428074 HAS SOPS 7959721 HAS SOUS 971963 HAS SOUPS 336967 WITH SCORE 353395.074
AT ITER 7246 NEW BEST:: SOT 19048078 SOS 16427808 HAS SOPS 7959721 HAS SOUS 971830 HAS SOUPS 336967 WITH SCORE 353394.808
AT ITER 7263 NEW BEST:: SOT 19048050 SOS 16427752 HAS SOPS 7959665 HAS SOUS 971802 HAS SOUPS 336939 WITH SCORE 353366.752
AT ITER 7268 NEW BEST:: SOT 19047210 SOS 16434736 HAS SOPS 7961785 HAS SOUS 971613 HAS SOUPS 336750 WITH SCORE 353184.736
AT ITER 7303 NEW BEST:: SOT 19047047 SOS 16433730 HAS SOPS 7961459 HAS SOUS 971372 HAS SOUPS 336594 WITH SCORE 353027.73
AT ITER 7308 NEW BEST:: SOT 19047036 SOS 16433708 HAS SOPS 7961437 HAS SOUS 971361 HAS SOUPS 336583 WITH SCORE 353016.708
AT ITER 7309 NEW BEST:: SOT 19047019 SOS 16433674 HAS SOPS 7961437 HAS SOUS 971344 HAS SOUPS 336583 WITH SCORE 353016.674
AT ITER 7322 NEW BEST:: SOT 19047029 SOS 16433741 HAS SOPS 7961607 HAS SOUS 971071 HAS SOUPS 336536 WITH SCORE 352969.741
AT ITER 7326 NEW BEST:: SOT 19047015 SOS 16433801 HAS SOPS 7961579 HAS SOUS 971057 HAS SOUPS 336511 WITH SCORE 352944.801
AT ITER 7332 NEW BEST:: SOT 19046839 SOS 16433449 HAS SOPS 7961579 HAS SOUS 970779 HAS SOUPS 336409 WITH SCORE 352842.449
AT ITER 7334 NEW BEST:: SOT 19046737 SOS 16433245 HAS SOPS 7962255 HAS SOUS 970567 HAS SOUPS 336307 WITH SCORE 352740.245
AT ITER 7337 NEW BEST:: SOT 19046737 SOS 16433245 HAS SOPS 7962255 HAS SOUS 970505 HAS SOUPS 336245 WITH SCORE 352678.245
AT ITER 7364 NEW BEST:: SOT 19046073 SOS 16439997 HAS SOPS 7964735 HAS SOUS 970344 HAS SOUPS 336084 WITH SCORE 352523.997
AT ITER 7382 NEW BEST:: SOT 19045910 SOS 16439671 HAS SOPS 7964735 HAS SOUS 970181 HAS SOUPS 336084 WITH SCORE 352523.671
AT ITER 7389 NEW BEST:: SOT 19045580 SOS 16438643 HAS SOPS 7963707 HAS SOUS 970035 HAS SOUPS 335938 WITH SCORE 352376.643
AT ITER 7393 NEW BEST:: SOT 19045580 SOS 16438255 HAS SOPS 7963319 HAS SOUS 970035 HAS SOUPS 335938 WITH SCORE 352376.255
AT ITER 7401 NEW BEST:: SOT 19045427 SOS 16438893 HAS SOPS 7963957 HAS SOUS 970000 HAS SOUPS 335903 WITH SCORE 352341.893
AT ITER 7412 NEW BEST:: SOT 19045313 SOS 16438665 HAS SOPS 7963957 HAS SOUS 969886 HAS SOUPS 335903 WITH SCORE 352341.665
AT ITER 7441 NEW BEST:: SOT 19044352 SOS 16415032 HAS SOPS 7970876 HAS SOUS 969505 HAS SOUPS 335522 WITH SCORE 351937.032
AT ITER 7443 NEW BEST:: SOT 19044272 SOS 16414584 HAS SOPS 7970428 HAS SOUS 969317 HAS SOUPS 335334 WITH SCORE 351748.584
AT ITER 7461 NEW BEST:: SOT 19044260 SOS 16414560 HAS SOPS 7970428 HAS SOUS 969305 HAS SOUPS 335334 WITH SCORE 351748.56
AT ITER 7470 NEW BEST:: SOT 19043699 SOS 16415742 HAS SOPS 7969738 HAS SOUS 969095 HAS SOUPS 335046 WITH SCORE 351461.742
AT ITER 7476 NEW BEST:: SOT 19043896 SOS 16416286 HAS SOPS 7970282 HAS SOUS 968987 HAS SOUPS 334938 WITH SCORE 351354.286
AT ITER 7482 NEW BEST:: SOT 19043829 SOS 16413232 HAS SOPS 7971220 HAS SOUS 968430 HAS SOUPS 334880 WITH SCORE 351293.232
AT ITER 7490 NEW BEST:: SOT 19043829 SOS 16413232 HAS SOPS 7971220 HAS SOUS 968422 HAS SOUPS 334872 WITH SCORE 351285.232
AT ITER 7503 NEW BEST:: SOT 19043315 SOS 16418340 HAS SOPS 7972296 HAS SOUS 968166 HAS SOUPS 334448 WITH SCORE 350866.34
AT ITER 7545 NEW BEST:: SOT 19043315 SOS 16418340 HAS SOPS 7972296 HAS SOUS 968118 HAS SOUPS 334400 WITH SCORE 350818.34
AT ITER 7568 NEW BEST:: SOT 19042503 SOS 16417528 HAS SOPS 7971484 HAS SOUS 967915 HAS SOUPS 334197 WITH SCORE 350614.528
AT ITER 7570 NEW BEST:: SOT 19042503 SOS 16417528 HAS SOPS 7971484 HAS SOUS 967909 HAS SOUPS 334191 WITH SCORE 350608.528
AT ITER 7572 NEW BEST:: SOT 19042391 SOS 16417304 HAS SOPS 7971484 HAS SOUS 967797 HAS SOUPS 334191 WITH SCORE 350608.304
AT ITER 7585 NEW BEST:: SOT 19042199 SOS 16416440 HAS SOPS 7971876 HAS SOUS 967448 HAS SOUPS 333999 WITH SCORE 350415.44
AT ITER 7595 NEW BEST:: SOT 19042199 SOS 16416440 HAS SOPS 7971876 HAS SOUS 967282 HAS SOUPS 333833 WITH SCORE 350249.44
AT ITER 7599 NEW BEST:: SOT 19043932 SOS 16419282 HAS SOPS 7972812 HAS SOUS 966987 HAS SOUPS 333521 WITH SCORE 349940.282
AT ITER 7623 NEW BEST:: SOT 19043152 SOS 16422042 HAS SOPS 7972884 HAS SOUS 966912 HAS SOUPS 333446 WITH SCORE 349868.042
AT ITER 7644 NEW BEST:: SOT 19041749 SOS 16427556 HAS SOPS 7974382 HAS SOUS 966406 HAS SOUPS 332940 WITH SCORE 349367.556
AT ITER 7649 NEW BEST:: SOT 19033578 SOS 16413709 HAS SOPS 7969481 HAS SOUS 965615 HAS SOUPS 332788 WITH SCORE 349201.709
AT ITER 7656 NEW BEST:: SOT 19033578 SOS 16413709 HAS SOPS 7969481 HAS SOUS 965447 HAS SOUPS 332620 WITH SCORE 349033.709
AT ITER 7667 NEW BEST:: SOT 19033578 SOS 16413709 HAS SOPS 7969481 HAS SOUS 965329 HAS SOUPS 332502 WITH SCORE 348915.709
AT ITER 7681 NEW BEST:: SOT 19033043 SOS 16420551 HAS SOPS 7972787 HAS SOUS 965015 HAS SOUPS 332188 WITH SCORE 348608.551
AT ITER 7702 NEW BEST:: SOT 19033036 SOS 16420537 HAS SOPS 7971677 HAS SOUS 965001 HAS SOUPS 332037 WITH SCORE 348457.537
AT ITER 7714 NEW BEST:: SOT 19032842 SOS 16422685 HAS SOPS 7972409 HAS SOUS 964925 HAS SOUPS 331902 WITH SCORE 348324.685
AT ITER 7715 NEW BEST:: SOT 19032409 SOS 16421651 HAS SOPS 7971375 HAS SOUS 964801 HAS SOUPS 331778 WITH SCORE 348199.651
AT ITER 7717 NEW BEST:: SOT 19032409 SOS 16421651 HAS SOPS 7971375 HAS SOUS 964761 HAS SOUPS 331738 WITH SCORE 348159.651
AT ITER 7726 NEW BEST:: SOT 19032286 SOS 16421405 HAS SOPS 7971375 HAS SOUS 964638 HAS SOUPS 331738 WITH SCORE 348159.405
AT ITER 7738 NEW BEST:: SOT 19031939 SOS 16418482 HAS SOPS 7970868 HAS SOUS 964044 HAS SOUPS 331446 WITH SCORE 347864.482
AT ITER 7755 NEW BEST:: SOT 19031669 SOS 16420534 HAS SOPS 7970328 HAS SOUS 963882 HAS SOUPS 331176 WITH SCORE 347596.534
AT ITER 7772 NEW BEST:: SOT 19031642 SOS 16418968 HAS SOPS 7970274 HAS SOUS 963606 HAS SOUPS 331089 WITH SCORE 347507.968
AT ITER 7773 NEW BEST:: SOT 19031830 SOS 16418968 HAS SOPS 7970274 HAS SOUS 963512 HAS SOUPS 331042 WITH SCORE 347460.968
AT ITER 7781 NEW BEST:: SOT 19031820 SOS 16418948 HAS SOPS 7970294 HAS SOUS 963492 HAS SOUPS 331027 WITH SCORE 347445.948
AT ITER 7792 NEW BEST:: SOT 19031813 SOS 16418934 HAS SOPS 7970280 HAS SOUS 963485 HAS SOUPS 331020 WITH SCORE 347438.934
AT ITER 7814 NEW BEST:: SOT 19033977 SOS 16429843 HAS SOPS 7975129 HAS SOUS 963629 HAS SOUPS 330962 WITH SCORE 347391.843
AT ITER 7841 NEW BEST:: SOT 19032224 SOS 16425696 HAS SOPS 7973785 HAS SOUS 962477 HAS SOUPS 330520 WITH SCORE 346945.696
AT ITER 7849 NEW BEST:: SOT 19032224 SOS 16425696 HAS SOPS 7973785 HAS SOUS 962435 HAS SOUPS 330478 WITH SCORE 346903.696
AT ITER 7886 NEW BEST:: SOT 19032080 SOS 16423808 HAS SOPS 7973593 HAS SOUS 962079 HAS SOUPS 330334 WITH SCORE 346757.808
AT ITER 7914 NEW BEST:: SOT 19031628 SOS 16422236 HAS SOPS 7973357 HAS SOUS 961720 HAS SOUPS 330142 WITH SCORE 346564.236
AT ITER 7969 NEW BEST:: SOT 19031628 SOS 16420420 HAS SOPS 7971541 HAS SOUS 961509 HAS SOUPS 329931 WITH SCORE 346351.42
AT ITER 7986 NEW BEST:: SOT 19031520 SOS 16420420 HAS SOPS 7971109 HAS SOUS 961401 HAS SOUPS 329769 WITH SCORE 346189.42
AT ITER 8042 NEW BEST:: SOT 19031562 SOS 16420462 HAS SOPS 7971151 HAS SOUS 961397 HAS SOUPS 329765 WITH SCORE 346185.462
AT ITER 8046 NEW BEST:: SOT 19031547 SOS 16420432 HAS SOPS 7971151 HAS SOUS 961382 HAS SOUPS 329765 WITH SCORE 346185.43200000003
AT ITER 8094 NEW BEST:: SOT 19031447 SOS 16420232 HAS SOPS 7971151 HAS SOUS 961282 HAS SOUPS 329765 WITH SCORE 346185.232
AT ITER 8103 NEW BEST:: SOT 19031447 SOS 16420232 HAS SOPS 7971151 HAS SOUS 961180 HAS SOUPS 329663 WITH SCORE 346083.232
AT ITER 8112 NEW BEST:: SOT 19033921 SOS 16422610 HAS SOPS 7972641 HAS SOUS 960768 HAS SOUPS 329473 WITH SCORE 345895.61
AT ITER 8115 NEW BEST:: SOT 19033796 SOS 16422360 HAS SOPS 7972641 HAS SOUS 960643 HAS SOUPS 329473 WITH SCORE 345895.36
AT ITER 8136 NEW BEST:: SOT 19033956 SOS 16428576 HAS SOPS 7972760 HAS SOUS 960669 HAS SOUPS 329432 WITH SCORE 345860.576
AT ITER 8138 NEW BEST:: SOT 19033878 SOS 16428576 HAS SOPS 7972448 HAS SOUS 960591 HAS SOUPS 329315 WITH SCORE 345743.576
AT ITER 8140 NEW BEST:: SOT 19033900 SOS 16428620 HAS SOPS 7972492 HAS SOUS 960314 HAS SOUPS 329038 WITH SCORE 345466.62
AT ITER 8145 NEW BEST:: SOT 19033900 SOS 16428620 HAS SOPS 7972492 HAS SOUS 960222 HAS SOUPS 328946 WITH SCORE 345374.62
AT ITER 8151 NEW BEST:: SOT 19033648 SOS 16428300 HAS SOPS 7970244 HAS SOUS 959752 HAS SOUPS 328235 WITH SCORE 344663.3
AT ITER 8155 NEW BEST:: SOT 19033648 SOS 16428300 HAS SOPS 7970244 HAS SOUS 959604 HAS SOUPS 328087 WITH SCORE 344515.3
AT ITER 8171 NEW BEST:: SOT 19032477 SOS 16424734 HAS SOPS 7969126 HAS SOUS 959060 HAS SOUPS 327849 WITH SCORE 344273.734
AT ITER 8181 NEW BEST:: SOT 19032477 SOS 16424734 HAS SOPS 7969126 HAS SOUS 958962 HAS SOUPS 327751 WITH SCORE 344175.734
AT ITER 8201 NEW BEST:: SOT 19032360 SOS 16424500 HAS SOPS 7969126 HAS SOUS 958845 HAS SOUPS 327751 WITH SCORE 344175.5
AT ITER 8209 NEW BEST:: SOT 19032294 SOS 16424368 HAS SOPS 7968466 HAS SOUS 958845 HAS SOUPS 327685 WITH SCORE 344109.368
AT ITER 8227 NEW BEST:: SOT 19032132 SOS 16424044 HAS SOPS 7968466 HAS SOUS 958683 HAS SOUPS 327685 WITH SCORE 344109.044
AT ITER 8287 NEW BEST:: SOT 19027559 SOS 16416342 HAS SOPS 7965818 HAS SOUS 958229 HAS SOUPS 327592 WITH SCORE 344008.342
AT ITER 8289 NEW BEST:: SOT 19027559 SOS 16417646 HAS SOPS 7965818 HAS SOUS 958229 HAS SOUPS 327429 WITH SCORE 343846.646
AT ITER 8440 NEW BEST:: SOT 19027559 SOS 16417646 HAS SOPS 7965818 HAS SOUS 958179 HAS SOUPS 327379 WITH SCORE 343796.646
AT ITER 8446 NEW BEST:: SOT 19027475 SOS 16417478 HAS SOPS 7965818 HAS SOUS 958095 HAS SOUPS 327379 WITH SCORE 343796.478
AT ITER 8462 NEW BEST:: SOT 19027475 SOS 16417478 HAS SOPS 7965818 HAS SOUS 957941 HAS SOUPS 327225 WITH SCORE 343642.478
AT ITER 8465 NEW BEST:: SOT 19026810 SOS 16415512 HAS SOPS 7965124 HAS SOUS 957435 HAS SOUPS 326878 WITH SCORE 343293.512
AT ITER 8478 NEW BEST:: SOT 19026633 SOS 16415158 HAS SOPS 7965124 HAS SOUS 957258 HAS SOUPS 326878 WITH SCORE 343293.158
AT ITER 8488 NEW BEST:: SOT 19026117 SOS 16413610 HAS SOPS 7964608 HAS SOUS 956945 HAS SOUPS 326694 WITH SCORE 343107.61
AT ITER 8537 NEW BEST:: SOT 19025956 SOS 16413288 HAS SOPS 7964608 HAS SOUS 956784 HAS SOUPS 326694 WITH SCORE 343107.288
AT ITER 8555 NEW BEST:: SOT 19025861 SOS 16413003 HAS SOPS 7964418 HAS SOUS 956689 HAS SOUPS 326599 WITH SCORE 343012.003
AT ITER 8558 NEW BEST:: SOT 19024405 SOS 16390939 HAS SOPS 7953218 HAS SOUS 956353 HAS SOUPS 326375 WITH SCORE 342765.939
AT ITER 8587 NEW BEST:: SOT 19024357 SOS 16390704 HAS SOPS 7952978 HAS SOUS 956332 HAS SOUPS 326354 WITH SCORE 342744.704
AT ITER 8628 NEW BEST:: SOT 19024357 SOS 16390704 HAS SOPS 7952978 HAS SOUS 956190 HAS SOUPS 326212 WITH SCORE 342602.704
AT ITER 8643 NEW BEST:: SOT 19024245 SOS 16390480 HAS SOPS 7952978 HAS SOUS 956078 HAS SOUPS 326212 WITH SCORE 342602.48
AT ITER 8658 NEW BEST:: SOT 19023963 SOS 16389916 HAS SOPS 7952414 HAS SOUS 955795 HAS SOUPS 325929 WITH SCORE 342318.916
AT ITER 8664 NEW BEST:: SOT 19023963 SOS 16389916 HAS SOPS 7952414 HAS SOUS 955667 HAS SOUPS 325801 WITH SCORE 342190.916
AT ITER 8755 NEW BEST:: SOT 19023963 SOS 16389916 HAS SOPS 7952414 HAS SOUS 955664 HAS SOUPS 325799 WITH SCORE 342188.916
AT ITER 8759 NEW BEST:: SOT 19023783 SOS 16388964 HAS SOPS 7952310 HAS SOUS 955378 HAS SOUPS 325619 WITH SCORE 342007.964
AT ITER 8823 NEW BEST:: SOT 19023842 SOS 16383682 HAS SOPS 7949188 HAS SOUS 955301 HAS SOUPS 325542 WITH SCORE 341925.68200000003
AT ITER 8826 NEW BEST:: SOT 19024911 SOS 16384468 HAS SOPS 7949974 HAS SOUS 955122 HAS SOUPS 325363 WITH SCORE 341747.468
AT ITER 8841 NEW BEST:: SOT 19024796 SOS 16384238 HAS SOPS 7949974 HAS SOUS 955007 HAS SOUPS 325363 WITH SCORE 341747.238
AT ITER 8893 NEW BEST:: SOT 19024796 SOS 16384238 HAS SOPS 7949974 HAS SOUS 955004 HAS SOUPS 325361 WITH SCORE 341745.238
AT ITER 8908 NEW BEST:: SOT 19024768 SOS 16384462 HAS SOPS 7950086 HAS SOUS 954983 HAS SOUPS 325340 WITH SCORE 341724.462
AT ITER 8911 NEW BEST:: SOT 19024619 SOS 16384164 HAS SOPS 7950086 HAS SOUS 954834 HAS SOUPS 325340 WITH SCORE 341724.164
AT ITER 8923 NEW BEST:: SOT 19024735 SOS 16383156 HAS SOPS 7950318 HAS SOUS 954649 HAS SOUPS 325310 WITH SCORE 341693.156
AT ITER 8929 NEW BEST:: SOT 19021223 SOS 16378209 HAS SOPS 7946480 HAS SOUS 954732 HAS SOUPS 325226 WITH SCORE 341604.209
AT ITER 8981 NEW BEST:: SOT 19020781 SOS 16377425 HAS SOPS 7946380 HAS SOUS 954323 HAS SOUPS 325159 WITH SCORE 341536.425
AT ITER 9018 NEW BEST:: SOT 19020781 SOS 16377425 HAS SOPS 7946380 HAS SOUS 954257 HAS SOUPS 325093 WITH SCORE 341470.425
AT ITER 9029 NEW BEST:: SOT 19020781 SOS 16377471 HAS SOPS 7946380 HAS SOUS 954211 HAS SOUPS 325047 WITH SCORE 341424.471
AT ITER 9039 NEW BEST:: SOT 19027182 SOS 16383467 HAS SOPS 7952147 HAS SOUS 953674 HAS SOUPS 324867 WITH SCORE 341250.467
AT ITER 9064 NEW BEST:: SOT 19027116 SOS 16383335 HAS SOPS 7952147 HAS SOUS 953608 HAS SOUPS 324867 WITH SCORE 341250.335
AT ITER 9072 NEW BEST:: SOT 19028007 SOS 16384246 HAS SOPS 7952048 HAS SOUS 953613 HAS SOUPS 324852 WITH SCORE 341236.246
AT ITER 9093 NEW BEST:: SOT 19027601 SOS 16383482 HAS SOPS 7951284 HAS SOUS 953100 HAS SOUPS 324339 WITH SCORE 340722.482
AT ITER 9094 NEW BEST:: SOT 19027632 SOS 16378034 HAS SOPS 7949316 HAS SOUS 952841 HAS SOUPS 324225 WITH SCORE 340603.034
AT ITER 9112 NEW BEST:: SOT 19027638 SOS 16378046 HAS SOPS 7949328 HAS SOUS 952817 HAS SOUPS 324201 WITH SCORE 340579.046
AT ITER 9114 NEW BEST:: SOT 19027512 SOS 16377794 HAS SOPS 7949076 HAS SOUS 952554 HAS SOUPS 323938 WITH SCORE 340315.794
AT ITER 9123 NEW BEST:: SOT 19027450 SOS 16377422 HAS SOPS 7948952 HAS SOUS 952461 HAS SOUPS 323876 WITH SCORE 340253.422
AT ITER 9139 NEW BEST:: SOT 19027349 SOS 16376722 HAS SOPS 7948916 HAS SOUS 952277 HAS SOUPS 323775 WITH SCORE 340151.722
AT ITER 9164 NEW BEST:: SOT 19027089 SOS 16387122 HAS SOPS 7948526 HAS SOUS 952017 HAS SOUPS 323515 WITH SCORE 339902.122
AT ITER 9177 NEW BEST:: SOT 19027029 SOS 16387002 HAS SOPS 7948526 HAS SOUS 951957 HAS SOUPS 323515 WITH SCORE 339902.002
AT ITER 9181 NEW BEST:: SOT 19027029 SOS 16387002 HAS SOPS 7948526 HAS SOUS 951885 HAS SOUPS 323443 WITH SCORE 339830.002
AT ITER 9219 NEW BEST:: SOT 19026357 SOS 16385832 HAS SOPS 7948186 HAS SOUS 951545 HAS SOUPS 323269 WITH SCORE 339654.832
AT ITER 9230 NEW BEST:: SOT 19026384 SOS 16384590 HAS SOPS 7947592 HAS SOUS 951491 HAS SOUPS 323242 WITH SCORE 339626.59
AT ITER 9269 NEW BEST:: SOT 19026330 SOS 16384050 HAS SOPS 7947484 HAS SOUS 951382 HAS SOUPS 323187 WITH SCORE 339571.05
AT ITER 9277 NEW BEST:: SOT 19021746 SOS 16377616 HAS SOPS 7943246 HAS SOUS 951190 HAS SOUPS 322995 WITH SCORE 339372.616
AT ITER 9339 NEW BEST:: SOT 19021746 SOS 16377616 HAS SOPS 7943246 HAS SOUS 951022 HAS SOUPS 322827 WITH SCORE 339204.616
AT ITER 9346 NEW BEST:: SOT 19021702 SOS 16377528 HAS SOPS 7943246 HAS SOUS 950978 HAS SOUPS 322827 WITH SCORE 339204.528
AT ITER 9348 NEW BEST:: SOT 19021702 SOS 16377528 HAS SOPS 7943246 HAS SOUS 950914 HAS SOUPS 322763 WITH SCORE 339140.528
AT ITER 9377 NEW BEST:: SOT 19021702 SOS 16377528 HAS SOPS 7943246 HAS SOUS 950912 HAS SOUPS 322761 WITH SCORE 339138.528
AT ITER 9401 NEW BEST:: SOT 19021608 SOS 16377340 HAS SOPS 7943246 HAS SOUS 950818 HAS SOUPS 322761 WITH SCORE 339138.34
AT ITER 9404 NEW BEST:: SOT 19021080 SOS 16375732 HAS SOPS 7942742 HAS SOUS 950572 HAS SOUPS 322653 WITH SCORE 339028.732
AT ITER 9421 NEW BEST:: SOT 19020217 SOS 16378582 HAS SOPS 7942952 HAS SOUS 949982 HAS SOUPS 322063 WITH SCORE 338441.582
AT ITER 9423 NEW BEST:: SOT 19020080 SOS 16385788 HAS SOPS 7942854 HAS SOUS 949972 HAS SOUPS 322053 WITH SCORE 338438.788
AT ITER 9455 NEW BEST:: SOT 19021787 SOS 16385462 HAS SOPS 7942854 HAS SOUS 951635 HAS SOUPS 322053 WITH SCORE 338438.462
AT ITER 9498 NEW BEST:: SOT 19021787 SOS 16385462 HAS SOPS 7942854 HAS SOUS 951583 HAS SOUPS 322001 WITH SCORE 338386.462
AT ITER 9538 NEW BEST:: SOT 19021787 SOS 16385462 HAS SOPS 7942854 HAS SOUS 951519 HAS SOUPS 321937 WITH SCORE 338322.462
AT ITER 9562 NEW BEST:: SOT 19021592 SOS 16385072 HAS SOPS 7942854 HAS SOUS 951324 HAS SOUPS 321937 WITH SCORE 338322.072
AT ITER 9570 NEW BEST:: SOT 19012787 SOS 16376719 HAS SOPS 7939103 HAS SOUS 951413 HAS SOUPS 321913 WITH SCORE 338289.719
AT ITER 9591 NEW BEST:: SOT 19012787 SOS 16376719 HAS SOPS 7939103 HAS SOUS 951409 HAS SOUPS 321909 WITH SCORE 338285.719
AT ITER 9623 NEW BEST:: SOT 19012787 SOS 16376719 HAS SOPS 7939103 HAS SOUS 951389 HAS SOUPS 321889 WITH SCORE 338265.719
AT ITER 9631 NEW BEST:: SOT 19012787 SOS 16376719 HAS SOPS 7939063 HAS SOUS 951384 HAS SOUPS 321879 WITH SCORE 338255.719
AT ITER 9656 NEW BEST:: SOT 19012793 SOS 16374712 HAS SOPS 7938043 HAS SOUS 951378 HAS SOUPS 321873 WITH SCORE 338247.712
AT ITER 9683 NEW BEST:: SOT 19012793 SOS 16375864 HAS SOPS 7937603 HAS SOUS 951534 HAS SOUPS 321830 WITH SCORE 338205.864
AT ITER 9713 NEW BEST:: SOT 19012793 SOS 16375864 HAS SOPS 7937603 HAS SOUS 951508 HAS SOUPS 321804 WITH SCORE 338179.864
AT ITER 9732 NEW BEST:: SOT 19012772 SOS 16375822 HAS SOPS 7937603 HAS SOUS 951485 HAS SOUPS 321802 WITH SCORE 338177.822
AT ITER 9742 NEW BEST:: SOT 19012562 SOS 16375402 HAS SOPS 7938415 HAS SOUS 951121 HAS SOUPS 321592 WITH SCORE 337967.402
AT ITER 9747 NEW BEST:: SOT 19012548 SOS 16375374 HAS SOPS 7938415 HAS SOUS 951107 HAS SOUPS 321592 WITH SCORE 337967.374
AT ITER 9754 NEW BEST:: SOT 19012548 SOS 16375374 HAS SOPS 7938415 HAS SOUS 951031 HAS SOUPS 321516 WITH SCORE 337891.374
AT ITER 9765 NEW BEST:: SOT 19012548 SOS 16375374 HAS SOPS 7938415 HAS SOUS 951011 HAS SOUPS 321496 WITH SCORE 337871.374
AT ITER 9772 NEW BEST:: SOT 19012178 SOS 16392606 HAS SOPS 7944919 HAS SOUS 951219 HAS SOUPS 321257 WITH SCORE 337649.606
AT ITER 9773 NEW BEST:: SOT 19012261 SOS 16393270 HAS SOPS 7944919 HAS SOUS 951261 HAS SOUPS 321216 WITH SCORE 337609.27
AT ITER 9789 NEW BEST:: SOT 19012261 SOS 16393270 HAS SOPS 7944919 HAS SOUS 951097 HAS SOUPS 321052 WITH SCORE 337445.27
AT ITER 9791 NEW BEST:: SOT 19012384 SOS 16393516 HAS SOPS 7944919 HAS SOUS 951098 HAS SOUPS 320930 WITH SCORE 337323.516
AT ITER 9792 NEW BEST:: SOT 19012312 SOS 16393372 HAS SOPS 7944775 HAS SOUS 951024 HAS SOUPS 320856 WITH SCORE 337249.372
AT ITER 9803 NEW BEST:: SOT 19012042 SOS 16393912 HAS SOPS 7944235 HAS SOUS 950722 HAS SOUPS 320419 WITH SCORE 336812.912
AT ITER 9805 NEW BEST:: SOT 19012042 SOS 16393912 HAS SOPS 7944235 HAS SOUS 950218 HAS SOUPS 319915 WITH SCORE 336308.912
AT ITER 9823 NEW BEST:: SOT 19012042 SOS 16393912 HAS SOPS 7944235 HAS SOUS 950128 HAS SOUPS 319825 WITH SCORE 336218.912
AT ITER 9855 NEW BEST:: SOT 19009883 SOS 16391017 HAS SOPS 7942468 HAS SOUS 949931 HAS SOUPS 319628 WITH SCORE 336019.017
AT ITER 9905 NEW BEST:: SOT 19009748 SOS 16390747 HAS SOPS 7942468 HAS SOUS 949796 HAS SOUPS 319628 WITH SCORE 336018.747
AT ITER 9941 NEW BEST:: SOT 19009859 SOS 16385641 HAS SOPS 7940026 HAS SOUS 949574 HAS SOUPS 319517 WITH SCORE 335902.641
AT ITER 9972 NEW BEST:: SOT 19009513 SOS 16398157 HAS SOPS 7939551 HAS SOUS 949132 HAS SOUPS 319095 WITH SCORE 335493.157
AT ITER 9992 NEW BEST:: SOT 19009473 SOS 16398117 HAS SOPS 7939511 HAS SOUS 949132 HAS SOUPS 319095 WITH SCORE 335493.117
AT ITER 9997 NEW BEST:: SOT 19009234 SOS 16397639 HAS SOPS 7939511 HAS SOUS 948893 HAS SOUPS 319095 WITH SCORE 335492.639

BK_STOP 1678255392742

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 371 Killed ${SMART}/smart ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCflexbar-PT-6a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is DLCflexbar-PT-6a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r099-tall-167814472600576"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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