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.r259-smll-167863534400352.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 NoC3x3-PT-8B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534400352
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.4M
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:59 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 26 09:59 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 09:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 26 09:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 10:00 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 10:00 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.0M Mar 5 18:23 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 1678768392161

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=NoC3x3-PT-8B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8B
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: 9140 places, 14577 transitions, 30726 arcs.
AT ITER 0 NEW BEST:: SOT 69147713 SOS 8174620 HAS SOPS 8174620 HAS SOUS 5957584 HAS SOUPS 5957584 WITH SCORE 5965758.62
AT ITER 4 NEW BEST:: SOT 69111572 SOS 8343430 HAS SOPS 8343430 HAS SOUS 5922376 HAS SOUPS 5922376 WITH SCORE 5930719.43
AT ITER 12 NEW BEST:: SOT 69110126 SOS 8341963 HAS SOPS 8341963 HAS SOUS 5920909 HAS SOUPS 5920909 WITH SCORE 5929250.963
AT ITER 43 NEW BEST:: SOT 69109605 SOS 8341548 HAS SOPS 8341548 HAS SOUS 5920494 HAS SOUPS 5920494 WITH SCORE 5928835.548
AT ITER 94 NEW BEST:: SOT 69106761 SOS 8338735 HAS SOPS 8338735 HAS SOUS 5917678 HAS SOUPS 5917678 WITH SCORE 5926016.735
AT ITER 116 NEW BEST:: SOT 68997623 SOS 8686559 HAS SOPS 8686559 HAS SOUS 5814172 HAS SOUPS 5814172 WITH SCORE 5822858.559
AT ITER 117 NEW BEST:: SOT 68996991 SOS 8685951 HAS SOPS 8685951 HAS SOUS 5813489 HAS SOUPS 5813489 WITH SCORE 5822174.951
AT ITER 163 NEW BEST:: SOT 68994793 SOS 8685779 HAS SOPS 8685779 HAS SOUS 5811802 HAS SOUPS 5811802 WITH SCORE 5820487.779
AT ITER 176 NEW BEST:: SOT 68994668 SOS 8685529 HAS SOPS 8685529 HAS SOUS 5811677 HAS SOUPS 5811677 WITH SCORE 5820362.529
AT ITER 201 NEW BEST:: SOT 68992250 SOS 8684953 HAS SOPS 8684953 HAS SOUS 5808474 HAS SOUPS 5808474 WITH SCORE 5817158.953
AT ITER 213 NEW BEST:: SOT 68992250 SOS 8684915 HAS SOPS 8684915 HAS SOUS 5808474 HAS SOUPS 5808474 WITH SCORE 5817158.915
AT ITER 266 NEW BEST:: SOT 68928668 SOS 9108459 HAS SOPS 9108459 HAS SOUS 5750796 HAS SOUPS 5750796 WITH SCORE 5759904.459
AT ITER 270 NEW BEST:: SOT 68928418 SOS 9107959 HAS SOPS 9107959 HAS SOUS 5750795 HAS SOUPS 5750795 WITH SCORE 5759902.959
AT ITER 288 NEW BEST:: SOT 68924519 SOS 9103161 HAS SOPS 9103161 HAS SOUS 5745919 HAS SOUPS 5745919 WITH SCORE 5755022.161
AT ITER 350 NEW BEST:: SOT 68924519 SOS 9102969 HAS SOPS 9102969 HAS SOUS 5745919 HAS SOUPS 5745919 WITH SCORE 5755021.969
AT ITER 361 NEW BEST:: SOT 68913049 SOS 9734337 HAS SOPS 9734337 HAS SOUS 5742786 HAS SOUPS 5742786 WITH SCORE 5752520.337
AT ITER 414 NEW BEST:: SOT 68912902 SOS 9734141 HAS SOPS 9734141 HAS SOUS 5742637 HAS SOUPS 5742637 WITH SCORE 5752371.141
AT ITER 460 NEW BEST:: SOT 68912902 SOS 9734141 HAS SOPS 9734141 HAS SOUS 5742636 HAS SOUPS 5742636 WITH SCORE 5752370.141
AT ITER 495 NEW BEST:: SOT 68912735 SOS 9733807 HAS SOPS 9733807 HAS SOUS 5742467 HAS SOUPS 5742467 WITH SCORE 5752200.807
AT ITER 521 NEW BEST:: SOT 68911990 SOS 9732868 HAS SOPS 9732868 HAS SOUS 5741171 HAS SOUPS 5741171 WITH SCORE 5750903.868
AT ITER 536 NEW BEST:: SOT 68910304 SOS 9730603 HAS SOPS 9730603 HAS SOUS 5738592 HAS SOUPS 5738592 WITH SCORE 5748322.603
AT ITER 552 NEW BEST:: SOT 68909340 SOS 9729332 HAS SOPS 9729332 HAS SOUS 5736971 HAS SOUPS 5736971 WITH SCORE 5746700.332
AT ITER 568 NEW BEST:: SOT 68909245 SOS 9729142 HAS SOPS 9729142 HAS SOUS 5736876 HAS SOUPS 5736876 WITH SCORE 5746605.142
AT ITER 581 NEW BEST:: SOT 68909075 SOS 9728377 HAS SOPS 9728377 HAS SOUS 5736621 HAS SOUPS 5736621 WITH SCORE 5746349.377
AT ITER 603 NEW BEST:: SOT 68908439 SOS 9727105 HAS SOPS 9727105 HAS SOUS 5735984 HAS SOUPS 5735984 WITH SCORE 5745711.105
AT ITER 609 NEW BEST:: SOT 68907942 SOS 9727187 HAS SOPS 9727187 HAS SOUS 5735834 HAS SOUPS 5735834 WITH SCORE 5745561.187
AT ITER 649 NEW BEST:: SOT 68907340 SOS 9725682 HAS SOPS 9725682 HAS SOUS 5734931 HAS SOUPS 5734931 WITH SCORE 5744656.682
AT ITER 681 NEW BEST:: SOT 68906465 SOS 9724910 HAS SOPS 9724910 HAS SOUS 5734159 HAS SOUPS 5734159 WITH SCORE 5743883.91
AT ITER 696 NEW BEST:: SOT 68786255 SOS 9605554 HAS SOPS 9605554 HAS SOUS 5613949 HAS SOUPS 5613949 WITH SCORE 5623554.554
AT ITER 724 NEW BEST:: SOT 68786255 SOS 9605332 HAS SOPS 9605332 HAS SOUS 5613949 HAS SOUPS 5613949 WITH SCORE 5623554.332
AT ITER 737 NEW BEST:: SOT 68785649 SOS 9601978 HAS SOPS 9601978 HAS SOUS 5613556 HAS SOUPS 5613556 WITH SCORE 5623157.978
AT ITER 754 NEW BEST:: SOT 68783311 SOS 9605417 HAS SOPS 9605417 HAS SOUS 5613038 HAS SOUPS 5613038 WITH SCORE 5622643.417
AT ITER 755 NEW BEST:: SOT 68782480 SOS 9605255 HAS SOPS 9605255 HAS SOUS 5612523 HAS SOUPS 5612523 WITH SCORE 5622128.255
AT ITER 765 NEW BEST:: SOT 68782480 SOS 9605255 HAS SOPS 9605255 HAS SOUS 5612521 HAS SOUPS 5612521 WITH SCORE 5622126.255
AT ITER 782 NEW BEST:: SOT 68781513 SOS 9604288 HAS SOPS 9604288 HAS SOUS 5611429 HAS SOUPS 5611429 WITH SCORE 5621033.288
AT ITER 792 NEW BEST:: SOT 68781068 SOS 9603847 HAS SOPS 9603847 HAS SOUS 5610881 HAS SOUPS 5610881 WITH SCORE 5620484.847
AT ITER 818 NEW BEST:: SOT 68781014 SOS 9603739 HAS SOPS 9603739 HAS SOUS 5610248 HAS SOUPS 5610248 WITH SCORE 5619851.739
AT ITER 862 NEW BEST:: SOT 68780807 SOS 9603118 HAS SOPS 9603118 HAS SOUS 5609834 HAS SOUPS 5609834 WITH SCORE 5619437.118
AT ITER 889 NEW BEST:: SOT 68779652 SOS 9601521 HAS SOPS 9601521 HAS SOUS 5608204 HAS SOUPS 5608204 WITH SCORE 5617805.521
AT ITER 890 NEW BEST:: SOT 68778416 SOS 9600393 HAS SOPS 9600393 HAS SOUS 5607074 HAS SOUPS 5607074 WITH SCORE 5616674.393
AT ITER 910 NEW BEST:: SOT 68777675 SOS 9598911 HAS SOPS 9598911 HAS SOUS 5606333 HAS SOUPS 5606333 WITH SCORE 5615931.911
AT ITER 917 NEW BEST:: SOT 68656453 SOS 9664159 HAS SOPS 9664159 HAS SOUS 5488282 HAS SOUPS 5488282 WITH SCORE 5497946.159
AT ITER 929 NEW BEST:: SOT 68654882 SOS 9661971 HAS SOPS 9661971 HAS SOUS 5486094 HAS SOUPS 5486094 WITH SCORE 5495755.971
AT ITER 947 NEW BEST:: SOT 68610494 SOS 9896279 HAS SOPS 9896279 HAS SOUS 5444737 HAS SOUPS 5444737 WITH SCORE 5454633.279
AT ITER 964 NEW BEST:: SOT 68558412 SOS 10123191 HAS SOPS 10123191 HAS SOUS 5394891 HAS SOUPS 5394891 WITH SCORE 5405014.191
AT ITER 978 NEW BEST:: SOT 68557626 SOS 10122974 HAS SOPS 10122974 HAS SOUS 5394486 HAS SOUPS 5394486 WITH SCORE 5404608.974
AT ITER 1010 NEW BEST:: SOT 68555353 SOS 10120754 HAS SOPS 10120754 HAS SOUS 5392246 HAS SOUPS 5392246 WITH SCORE 5402366.754
AT ITER 1014 NEW BEST:: SOT 68554265 SOS 10118578 HAS SOPS 10118578 HAS SOUS 5391157 HAS SOUPS 5391157 WITH SCORE 5401275.578
AT ITER 1041 NEW BEST:: SOT 68553970 SOS 10117988 HAS SOPS 10117988 HAS SOUS 5391157 HAS SOUPS 5391157 WITH SCORE 5401274.988
AT ITER 1043 NEW BEST:: SOT 68552609 SOS 10113860 HAS SOPS 10113860 HAS SOUS 5389810 HAS SOUPS 5389810 WITH SCORE 5399923.86
AT ITER 1066 NEW BEST:: SOT 68550049 SOS 10110522 HAS SOPS 10110522 HAS SOUS 5386359 HAS SOUPS 5386359 WITH SCORE 5396469.522
AT ITER 1091 NEW BEST:: SOT 68549437 SOS 10109298 HAS SOPS 10109298 HAS SOUS 5385746 HAS SOUPS 5385746 WITH SCORE 5395855.298
AT ITER 1105 NEW BEST:: SOT 68549228 SOS 10108880 HAS SOPS 10108880 HAS SOUS 5385536 HAS SOUPS 5385536 WITH SCORE 5395644.88
AT ITER 1113 NEW BEST:: SOT 68548458 SOS 10107340 HAS SOPS 10107340 HAS SOUS 5385175 HAS SOUPS 5385175 WITH SCORE 5395282.34
AT ITER 1118 NEW BEST:: SOT 68548359 SOS 10107142 HAS SOPS 10107142 HAS SOUS 5385076 HAS SOUPS 5385076 WITH SCORE 5395183.142
AT ITER 1135 NEW BEST:: SOT 68547774 SOS 10107493 HAS SOPS 10107493 HAS SOUS 5384989 HAS SOUPS 5384989 WITH SCORE 5395096.493
AT ITER 1144 NEW BEST:: SOT 68547440 SOS 10106825 HAS SOPS 10106825 HAS SOUS 5384321 HAS SOUPS 5384321 WITH SCORE 5394427.825
AT ITER 1147 NEW BEST:: SOT 68546901 SOS 10105747 HAS SOPS 10105747 HAS SOUS 5383782 HAS SOUPS 5383782 WITH SCORE 5393887.747
AT ITER 1153 NEW BEST:: SOT 68546291 SOS 10103917 HAS SOPS 10103917 HAS SOUS 5383564 HAS SOUPS 5383564 WITH SCORE 5393667.917
AT ITER 1163 NEW BEST:: SOT 68546038 SOS 10103411 HAS SOPS 10103411 HAS SOUS 5383311 HAS SOUPS 5383311 WITH SCORE 5393414.411
AT ITER 1171 NEW BEST:: SOT 68545819 SOS 10102754 HAS SOPS 10102754 HAS SOUS 5383092 HAS SOUPS 5383092 WITH SCORE 5393194.754
AT ITER 1214 NEW BEST:: SOT 68545819 SOS 10102371 HAS SOPS 10102371 HAS SOUS 5383091 HAS SOUPS 5383091 WITH SCORE 5393193.371
AT ITER 1271 NEW BEST:: SOT 68545819 SOS 10100625 HAS SOPS 10100625 HAS SOUS 5383091 HAS SOUPS 5383091 WITH SCORE 5393191.625
AT ITER 1275 NEW BEST:: SOT 68545542 SOS 10100071 HAS SOPS 10100071 HAS SOUS 5383089 HAS SOUPS 5383089 WITH SCORE 5393189.071
AT ITER 1276 NEW BEST:: SOT 68544924 SOS 10098835 HAS SOPS 10098835 HAS SOUS 5382769 HAS SOUPS 5382769 WITH SCORE 5392867.835
AT ITER 1284 NEW BEST:: SOT 68544236 SOS 10097459 HAS SOPS 10097459 HAS SOUS 5382767 HAS SOUPS 5382767 WITH SCORE 5392864.459
AT ITER 1340 NEW BEST:: SOT 68543703 SOS 10096393 HAS SOPS 10096393 HAS SOUS 5381547 HAS SOUPS 5381547 WITH SCORE 5391643.393
AT ITER 1360 NEW BEST:: SOT 68543347 SOS 10095681 HAS SOPS 10095681 HAS SOUS 5381544 HAS SOUPS 5381544 WITH SCORE 5391639.681
AT ITER 1374 NEW BEST:: SOT 68543292 SOS 10095766 HAS SOPS 10095766 HAS SOUS 5381450 HAS SOUPS 5381450 WITH SCORE 5391545.766
AT ITER 1401 NEW BEST:: SOT 68542862 SOS 10094906 HAS SOPS 10094906 HAS SOUS 5381019 HAS SOUPS 5381019 WITH SCORE 5391113.906
AT ITER 1422 NEW BEST:: SOT 68542626 SOS 10094434 HAS SOPS 10094434 HAS SOUS 5380665 HAS SOUPS 5380665 WITH SCORE 5390759.434
AT ITER 1430 NEW BEST:: SOT 68542327 SOS 10093836 HAS SOPS 10093836 HAS SOUS 5380366 HAS SOUPS 5380366 WITH SCORE 5390459.836
AT ITER 1451 NEW BEST:: SOT 68541827 SOS 10095412 HAS SOPS 10095412 HAS SOUS 5379805 HAS SOUPS 5379805 WITH SCORE 5389900.412
AT ITER 1482 NEW BEST:: SOT 68521734 SOS 10184874 HAS SOPS 10184874 HAS SOUS 5359712 HAS SOUPS 5359712 WITH SCORE 5369896.874
AT ITER 1500 NEW BEST:: SOT 68521769 SOS 10184807 HAS SOPS 10184807 HAS SOUS 5359442 HAS SOUPS 5359442 WITH SCORE 5369626.807
AT ITER 1506 NEW BEST:: SOT 68521503 SOS 10185035 HAS SOPS 10185035 HAS SOUS 5359078 HAS SOUPS 5359078 WITH SCORE 5369263.035
AT ITER 1512 NEW BEST:: SOT 68521149 SOS 10184327 HAS SOPS 10184327 HAS SOUS 5358724 HAS SOUPS 5358724 WITH SCORE 5368908.327
AT ITER 1513 NEW BEST:: SOT 68521006 SOS 10183771 HAS SOPS 10183771 HAS SOUS 5358644 HAS SOUPS 5358644 WITH SCORE 5368827.771
AT ITER 1558 NEW BEST:: SOT 68520777 SOS 10183313 HAS SOPS 10183313 HAS SOUS 5358415 HAS SOUPS 5358415 WITH SCORE 5368598.313
AT ITER 1566 NEW BEST:: SOT 68520270 SOS 10181183 HAS SOPS 10181183 HAS SOUS 5357923 HAS SOUPS 5357923 WITH SCORE 5368104.183
AT ITER 1584 NEW BEST:: SOT 68520270 SOS 10181183 HAS SOPS 10181183 HAS SOUS 5357209 HAS SOUPS 5357209 WITH SCORE 5367390.183
AT ITER 1606 NEW BEST:: SOT 68519821 SOS 10180841 HAS SOPS 10180841 HAS SOUS 5356864 HAS SOUPS 5356864 WITH SCORE 5367044.841
AT ITER 1614 NEW BEST:: SOT 68439955 SOS 10146317 HAS SOPS 10146317 HAS SOUS 5276998 HAS SOUPS 5276998 WITH SCORE 5287144.317
AT ITER 1668 NEW BEST:: SOT 68439955 SOS 10146154 HAS SOPS 10146154 HAS SOUS 5276998 HAS SOUPS 5276998 WITH SCORE 5287144.154
AT ITER 1692 NEW BEST:: SOT 68439135 SOS 10144514 HAS SOPS 10144514 HAS SOUS 5276997 HAS SOUPS 5276997 WITH SCORE 5287141.514
AT ITER 1710 NEW BEST:: SOT 68439006 SOS 10144256 HAS SOPS 10144256 HAS SOUS 5276868 HAS SOUPS 5276868 WITH SCORE 5287012.256
AT ITER 1721 NEW BEST:: SOT 68439006 SOS 10144058 HAS SOPS 10144058 HAS SOUS 5276862 HAS SOUPS 5276862 WITH SCORE 5287006.058
AT ITER 1743 NEW BEST:: SOT 68439005 SOS 10144056 HAS SOPS 10144056 HAS SOUS 5276861 HAS SOUPS 5276861 WITH SCORE 5287005.056
AT ITER 1748 NEW BEST:: SOT 68438849 SOS 10143666 HAS SOPS 10143666 HAS SOUS 5276549 HAS SOUPS 5276549 WITH SCORE 5286692.666
AT ITER 1756 NEW BEST:: SOT 68438522 SOS 10143012 HAS SOPS 10143012 HAS SOUS 5276547 HAS SOUPS 5276547 WITH SCORE 5286690.012
AT ITER 1762 NEW BEST:: SOT 68435649 SOS 10144434 HAS SOPS 10144434 HAS SOUS 5274150 HAS SOUPS 5274150 WITH SCORE 5284294.434
AT ITER 1788 NEW BEST:: SOT 68435595 SOS 10144326 HAS SOPS 10144326 HAS SOUS 5274096 HAS SOUPS 5274096 WITH SCORE 5284240.326
AT ITER 1799 NEW BEST:: SOT 68434608 SOS 10144386 HAS SOPS 10144386 HAS SOUS 5273441 HAS SOUPS 5273441 WITH SCORE 5283585.386
AT ITER 1810 NEW BEST:: SOT 68434138 SOS 10144317 HAS SOPS 10144317 HAS SOUS 5272889 HAS SOUPS 5272889 WITH SCORE 5283033.317
AT ITER 1812 NEW BEST:: SOT 68416600 SOS 10128450 HAS SOPS 10128450 HAS SOUS 5255632 HAS SOUPS 5255632 WITH SCORE 5265760.45
AT ITER 1839 NEW BEST:: SOT 68414431 SOS 10126297 HAS SOPS 10126297 HAS SOUS 5253026 HAS SOUPS 5253026 WITH SCORE 5263152.297
AT ITER 1840 NEW BEST:: SOT 68413851 SOS 10126297 HAS SOPS 10126297 HAS SOUS 5252949 HAS SOUPS 5252949 WITH SCORE 5263075.297
AT ITER 1844 NEW BEST:: SOT 68413458 SOS 10124449 HAS SOPS 10124449 HAS SOUS 5252629 HAS SOUPS 5252629 WITH SCORE 5262753.449
AT ITER 1860 NEW BEST:: SOT 68412771 SOS 10122388 HAS SOPS 10122388 HAS SOUS 5252376 HAS SOUPS 5252376 WITH SCORE 5262498.388
AT ITER 1874 NEW BEST:: SOT 68325811 SOS 10252608 HAS SOPS 10252608 HAS SOUS 5169183 HAS SOUPS 5169183 WITH SCORE 5179435.608
AT ITER 1908 NEW BEST:: SOT 68325471 SOS 10251928 HAS SOPS 10251928 HAS SOUS 5168842 HAS SOUPS 5168842 WITH SCORE 5179093.928
AT ITER 1926 NEW BEST:: SOT 68325471 SOS 10250390 HAS SOPS 10250390 HAS SOUS 5168842 HAS SOUPS 5168842 WITH SCORE 5179092.39
AT ITER 1947 NEW BEST:: SOT 68324391 SOS 10248230 HAS SOPS 10248230 HAS SOUS 5167762 HAS SOUPS 5167762 WITH SCORE 5178010.23
AT ITER 1961 NEW BEST:: SOT 68324117 SOS 10247956 HAS SOPS 10247956 HAS SOUS 5167488 HAS SOUPS 5167488 WITH SCORE 5177735.956
AT ITER 1984 NEW BEST:: SOT 68322967 SOS 10248330 HAS SOPS 10248330 HAS SOUS 5166975 HAS SOUPS 5166975 WITH SCORE 5177223.33
AT ITER 2006 NEW BEST:: SOT 68322857 SOS 10248789 HAS SOPS 10248789 HAS SOUS 5166891 HAS SOUPS 5166891 WITH SCORE 5177139.789
AT ITER 2030 NEW BEST:: SOT 68322220 SOS 10248789 HAS SOPS 10248789 HAS SOUS 5166254 HAS SOUPS 5166254 WITH SCORE 5176502.789
AT ITER 2040 NEW BEST:: SOT 68321695 SOS 10248813 HAS SOPS 10248813 HAS SOUS 5165948 HAS SOUPS 5165948 WITH SCORE 5176196.813
AT ITER 2042 NEW BEST:: SOT 68321125 SOS 10247673 HAS SOPS 10247673 HAS SOUS 5165378 HAS SOUPS 5165378 WITH SCORE 5175625.673
AT ITER 2107 NEW BEST:: SOT 68320431 SOS 10247253 HAS SOPS 10247253 HAS SOUS 5164710 HAS SOUPS 5164710 WITH SCORE 5174957.253
AT ITER 2110 NEW BEST:: SOT 68319913 SOS 10246783 HAS SOPS 10246783 HAS SOUS 5164240 HAS SOUPS 5164240 WITH SCORE 5174486.783
AT ITER 2118 NEW BEST:: SOT 68319159 SOS 10245275 HAS SOPS 10245275 HAS SOUS 5163486 HAS SOUPS 5163486 WITH SCORE 5173731.275
AT ITER 2148 NEW BEST:: SOT 68319058 SOS 10245883 HAS SOPS 10245883 HAS SOUS 5163477 HAS SOUPS 5163477 WITH SCORE 5173722.883
AT ITER 2162 NEW BEST:: SOT 68318790 SOS 10245079 HAS SOPS 10245079 HAS SOUS 5162941 HAS SOUPS 5162941 WITH SCORE 5173186.079
AT ITER 2189 NEW BEST:: SOT 68318497 SOS 10244493 HAS SOPS 10244493 HAS SOUS 5162940 HAS SOUPS 5162940 WITH SCORE 5173184.493
AT ITER 2191 NEW BEST:: SOT 68317720 SOS 10241189 HAS SOPS 10241189 HAS SOUS 5162195 HAS SOUPS 5162195 WITH SCORE 5172436.189
AT ITER 2212 NEW BEST:: SOT 68317092 SOS 10239933 HAS SOPS 10239933 HAS SOUS 5162195 HAS SOUPS 5162195 WITH SCORE 5172434.933
AT ITER 2223 NEW BEST:: SOT 68315982 SOS 10235493 HAS SOPS 10235493 HAS SOUS 5161877 HAS SOUPS 5161877 WITH SCORE 5172112.493
AT ITER 2244 NEW BEST:: SOT 68315775 SOS 10235426 HAS SOPS 10235426 HAS SOUS 5161765 HAS SOUPS 5161765 WITH SCORE 5172000.426
AT ITER 2250 NEW BEST:: SOT 68313857 SOS 10050882 HAS SOPS 10050882 HAS SOUS 5159847 HAS SOUPS 5159847 WITH SCORE 5169897.882
AT ITER 2258 NEW BEST:: SOT 68313706 SOS 10050580 HAS SOPS 10050580 HAS SOUS 5159695 HAS SOUPS 5159695 WITH SCORE 5169745.58
AT ITER 2269 NEW BEST:: SOT 68313614 SOS 10050396 HAS SOPS 10050396 HAS SOUS 5159511 HAS SOUPS 5159511 WITH SCORE 5169561.396
AT ITER 2270 NEW BEST:: SOT 68313564 SOS 10050296 HAS SOPS 10050296 HAS SOUS 5159411 HAS SOUPS 5159411 WITH SCORE 5169461.296
AT ITER 2274 NEW BEST:: SOT 68313369 SOS 10049906 HAS SOPS 10049906 HAS SOUS 5159410 HAS SOUPS 5159410 WITH SCORE 5169459.906
AT ITER 2315 NEW BEST:: SOT 68313258 SOS 10049462 HAS SOPS 10049462 HAS SOUS 5159077 HAS SOUPS 5159077 WITH SCORE 5169126.462
AT ITER 2320 NEW BEST:: SOT 68313225 SOS 10049396 HAS SOPS 10049396 HAS SOUS 5159044 HAS SOUPS 5159044 WITH SCORE 5169093.396
AT ITER 2323 NEW BEST:: SOT 68312493 SOS 10047932 HAS SOPS 10047932 HAS SOUS 5159042 HAS SOUPS 5159042 WITH SCORE 5169089.932
AT ITER 2348 NEW BEST:: SOT 68312493 SOS 10047932 HAS SOPS 10047932 HAS SOUS 5159041 HAS SOUPS 5159041 WITH SCORE 5169088.932
AT ITER 2352 NEW BEST:: SOT 68312438 SOS 10048146 HAS SOPS 10048146 HAS SOUS 5158989 HAS SOUPS 5158989 WITH SCORE 5169037.146
AT ITER 2379 NEW BEST:: SOT 68312368 SOS 10043276 HAS SOPS 10043276 HAS SOUS 5158833 HAS SOUPS 5158833 WITH SCORE 5168876.276
AT ITER 2426 NEW BEST:: SOT 68312060 SOS 10043142 HAS SOPS 10043142 HAS SOUS 5158105 HAS SOUPS 5158105 WITH SCORE 5168148.142
AT ITER 2434 NEW BEST:: SOT 68270741 SOS 10182948 HAS SOPS 10182948 HAS SOUS 5118289 HAS SOUPS 5118289 WITH SCORE 5128471.948
AT ITER 2438 NEW BEST:: SOT 68270687 SOS 10182840 HAS SOPS 10182840 HAS SOUS 5118234 HAS SOUPS 5118234 WITH SCORE 5128416.84
AT ITER 2469 NEW BEST:: SOT 68270678 SOS 10183240 HAS SOPS 10183240 HAS SOUS 5118216 HAS SOUPS 5118216 WITH SCORE 5128399.24
AT ITER 2472 NEW BEST:: SOT 68203127 SOS 10115774 HAS SOPS 10115774 HAS SOUS 5050749 HAS SOUPS 5050749 WITH SCORE 5060864.774
AT ITER 2488 NEW BEST:: SOT 68201593 SOS 10113800 HAS SOPS 10113800 HAS SOUS 5048668 HAS SOUPS 5048668 WITH SCORE 5058781.8
AT ITER 2489 NEW BEST:: SOT 68201100 SOS 10112814 HAS SOPS 10112814 HAS SOUS 5048175 HAS SOUPS 5048175 WITH SCORE 5058287.814
AT ITER 2494 NEW BEST:: SOT 68200811 SOS 10112236 HAS SOPS 10112236 HAS SOUS 5047886 HAS SOUPS 5047886 WITH SCORE 5057998.236
AT ITER 2505 NEW BEST:: SOT 68200011 SOS 10109484 HAS SOPS 10109484 HAS SOUS 5047085 HAS SOUPS 5047085 WITH SCORE 5057194.484
AT ITER 2535 NEW BEST:: SOT 68174427 SOS 10237923 HAS SOPS 10237923 HAS SOUS 5027425 HAS SOUPS 5027425 WITH SCORE 5037662.923
AT ITER 2536 NEW BEST:: SOT 68173062 SOS 10236631 HAS SOPS 10236631 HAS SOUS 5025543 HAS SOUPS 5025543 WITH SCORE 5035779.631
AT ITER 2555 NEW BEST:: SOT 68172702 SOS 10235911 HAS SOPS 10235911 HAS SOUS 5025183 HAS SOUPS 5025183 WITH SCORE 5035418.911
AT ITER 2565 NEW BEST:: SOT 68172694 SOS 10235895 HAS SOPS 10235895 HAS SOUS 5025174 HAS SOUPS 5025174 WITH SCORE 5035409.895
AT ITER 2566 NEW BEST:: SOT 68172281 SOS 10235069 HAS SOPS 10235069 HAS SOUS 5024761 HAS SOUPS 5024761 WITH SCORE 5034996.069
AT ITER 2578 NEW BEST:: SOT 68170312 SOS 10232493 HAS SOPS 10232493 HAS SOUS 5022185 HAS SOUPS 5022185 WITH SCORE 5032417.493
AT ITER 2588 NEW BEST:: SOT 68169616 SOS 10229709 HAS SOPS 10229709 HAS SOUS 5021488 HAS SOUPS 5021488 WITH SCORE 5031717.709
AT ITER 2646 NEW BEST:: SOT 68169468 SOS 10229412 HAS SOPS 10229412 HAS SOUS 5021191 HAS SOUPS 5021191 WITH SCORE 5031420.412
AT ITER 2654 NEW BEST:: SOT 68167985 SOS 10228813 HAS SOPS 10228813 HAS SOUS 5020253 HAS SOUPS 5020253 WITH SCORE 5030481.813
AT ITER 2664 NEW BEST:: SOT 68167545 SOS 10227933 HAS SOPS 10227933 HAS SOUS 5019812 HAS SOUPS 5019812 WITH SCORE 5030039.933
AT ITER 2680 NEW BEST:: SOT 68167269 SOS 10227381 HAS SOPS 10227381 HAS SOUS 5019252 HAS SOUPS 5019252 WITH SCORE 5029479.381
AT ITER 2749 NEW BEST:: SOT 68165549 SOS 10230311 HAS SOPS 10230311 HAS SOUS 5018003 HAS SOUPS 5018003 WITH SCORE 5028233.311
AT ITER 2753 NEW BEST:: SOT 68165357 SOS 10229927 HAS SOPS 10229927 HAS SOUS 5018002 HAS SOUPS 5018002 WITH SCORE 5028231.927
AT ITER 2756 NEW BEST:: SOT 68165357 SOS 10229927 HAS SOPS 10229927 HAS SOUS 5017481 HAS SOUPS 5017481 WITH SCORE 5027710.927
AT ITER 2758 NEW BEST:: SOT 68164785 SOS 10229355 HAS SOPS 10229355 HAS SOUS 5016909 HAS SOUPS 5016909 WITH SCORE 5027138.355
AT ITER 2800 NEW BEST:: SOT 68146762 SOS 10217949 HAS SOPS 10217949 HAS SOUS 4998886 HAS SOUPS 4998886 WITH SCORE 5009103.949
AT ITER 2803 NEW BEST:: SOT 68145456 SOS 10217296 HAS SOPS 10217296 HAS SOUS 4997580 HAS SOUPS 4997580 WITH SCORE 5007797.296
AT ITER 2825 NEW BEST:: SOT 68144893 SOS 10216170 HAS SOPS 10216170 HAS SOUS 4997017 HAS SOUPS 4997017 WITH SCORE 5007233.17
AT ITER 2849 NEW BEST:: SOT 68144425 SOS 10216988 HAS SOPS 10216988 HAS SOUS 4996439 HAS SOUPS 4996439 WITH SCORE 5006655.988
AT ITER 2852 NEW BEST:: SOT 68143857 SOS 10215852 HAS SOPS 10215852 HAS SOUS 4995870 HAS SOUPS 4995870 WITH SCORE 5006085.852
AT ITER 2873 NEW BEST:: SOT 68143466 SOS 10215436 HAS SOPS 10215436 HAS SOUS 4995357 HAS SOUPS 4995357 WITH SCORE 5005572.436
AT ITER 2893 NEW BEST:: SOT 68143331 SOS 10215166 HAS SOPS 10215166 HAS SOUS 4995222 HAS SOUPS 4995222 WITH SCORE 5005437.166
AT ITER 2904 NEW BEST:: SOT 68143331 SOS 10215055 HAS SOPS 10215055 HAS SOUS 4995222 HAS SOUPS 4995222 WITH SCORE 5005437.055
AT ITER 2946 NEW BEST:: SOT 68143331 SOS 10214983 HAS SOPS 10214983 HAS SOUS 4995222 HAS SOUPS 4995222 WITH SCORE 5005436.983
AT ITER 2983 NEW BEST:: SOT 68143012 SOS 10214026 HAS SOPS 10214026 HAS SOUS 4994903 HAS SOUPS 4994903 WITH SCORE 5005117.026
AT ITER 3013 NEW BEST:: SOT 68142145 SOS 10212292 HAS SOPS 10212292 HAS SOUS 4994036 HAS SOUPS 4994036 WITH SCORE 5004248.292
AT ITER 3021 NEW BEST:: SOT 68141952 SOS 10212314 HAS SOPS 10212314 HAS SOUS 4993834 HAS SOUPS 4993834 WITH SCORE 5004046.314
AT ITER 3035 NEW BEST:: SOT 68141952 SOS 10212200 HAS SOPS 10212200 HAS SOUS 4993834 HAS SOUPS 4993834 WITH SCORE 5004046.2
AT ITER 3046 NEW BEST:: SOT 68119857 SOS 10472447 HAS SOPS 10472447 HAS SOUS 4981813 HAS SOUPS 4981813 WITH SCORE 4992285.447
AT ITER 3051 NEW BEST:: SOT 68027079 SOS 10562763 HAS SOPS 10562763 HAS SOUS 4892758 HAS SOUPS 4892758 WITH SCORE 4903320.763
AT ITER 3110 NEW BEST:: SOT 68027079 SOS 10562763 HAS SOPS 10562763 HAS SOUS 4892757 HAS SOUPS 4892757 WITH SCORE 4903319.763
AT ITER 3115 NEW BEST:: SOT 68026530 SOS 10561665 HAS SOPS 10561665 HAS SOUS 4892757 HAS SOUPS 4892757 WITH SCORE 4903318.665
AT ITER 3124 NEW BEST:: SOT 68026523 SOS 10561630 HAS SOPS 10561630 HAS SOUS 4892750 HAS SOUPS 4892750 WITH SCORE 4903311.63
AT ITER 3142 NEW BEST:: SOT 68026054 SOS 10561014 HAS SOPS 10561014 HAS SOUS 4892348 HAS SOUPS 4892348 WITH SCORE 4902909.014
AT ITER 3146 NEW BEST:: SOT 68024890 SOS 10557522 HAS SOPS 10557522 HAS SOUS 4892098 HAS SOUPS 4892098 WITH SCORE 4902655.522
AT ITER 3190 NEW BEST:: SOT 68024890 SOS 10556496 HAS SOPS 10556496 HAS SOUS 4892097 HAS SOUPS 4892097 WITH SCORE 4902653.496
AT ITER 3209 NEW BEST:: SOT 68024006 SOS 10554728 HAS SOPS 10554728 HAS SOUS 4891213 HAS SOUPS 4891213 WITH SCORE 4901767.728
AT ITER 3233 NEW BEST:: SOT 68024006 SOS 10554728 HAS SOPS 10554728 HAS SOUS 4891212 HAS SOUPS 4891212 WITH SCORE 4901766.728
AT ITER 3240 NEW BEST:: SOT 68023517 SOS 10553750 HAS SOPS 10553750 HAS SOUS 4890723 HAS SOUPS 4890723 WITH SCORE 4901276.75
AT ITER 3263 NEW BEST:: SOT 67982815 SOS 10580760 HAS SOPS 10580760 HAS SOUS 4851226 HAS SOUPS 4851226 WITH SCORE 4861806.76
AT ITER 3282 NEW BEST:: SOT 67982641 SOS 10580733 HAS SOPS 10580733 HAS SOUS 4850901 HAS SOUPS 4850901 WITH SCORE 4861481.733
AT ITER 3301 NEW BEST:: SOT 67981795 SOS 10579041 HAS SOPS 10579041 HAS SOUS 4850055 HAS SOUPS 4850055 WITH SCORE 4860634.041
AT ITER 3304 NEW BEST:: SOT 67980788 SOS 10577027 HAS SOPS 10577027 HAS SOUS 4847078 HAS SOUPS 4847078 WITH SCORE 4857655.027
AT ITER 3310 NEW BEST:: SOT 67980166 SOS 10575783 HAS SOPS 10575783 HAS SOUS 4846456 HAS SOUPS 4846456 WITH SCORE 4857031.783
AT ITER 3311 NEW BEST:: SOT 67980166 SOS 10575783 HAS SOPS 10575783 HAS SOUS 4845836 HAS SOUPS 4845836 WITH SCORE 4856411.783
AT ITER 3321 NEW BEST:: SOT 67979321 SOS 10578239 HAS SOPS 10578239 HAS SOUS 4845790 HAS SOUPS 4845790 WITH SCORE 4856368.239
AT ITER 3323 NEW BEST:: SOT 67979321 SOS 10576845 HAS SOPS 10576845 HAS SOUS 4845790 HAS SOUPS 4845790 WITH SCORE 4856366.845
AT ITER 3328 NEW BEST:: SOT 67978262 SOS 10575403 HAS SOPS 10575403 HAS SOUS 4844155 HAS SOUPS 4844155 WITH SCORE 4854730.403
AT ITER 3338 NEW BEST:: SOT 67978127 SOS 10575133 HAS SOPS 10575133 HAS SOUS 4844020 HAS SOUPS 4844020 WITH SCORE 4854595.133
AT ITER 3349 NEW BEST:: SOT 67977938 SOS 10574755 HAS SOPS 10574755 HAS SOUS 4844020 HAS SOUPS 4844020 WITH SCORE 4854594.755
AT ITER 3368 NEW BEST:: SOT 67977743 SOS 10574365 HAS SOPS 10574365 HAS SOUS 4843825 HAS SOUPS 4843825 WITH SCORE 4854399.365
AT ITER 3373 NEW BEST:: SOT 67976373 SOS 10571625 HAS SOPS 10571625 HAS SOUS 4842454 HAS SOUPS 4842454 WITH SCORE 4853025.625
AT ITER 3384 NEW BEST:: SOT 67976079 SOS 10571037 HAS SOPS 10571037 HAS SOUS 4842453 HAS SOUPS 4842453 WITH SCORE 4853024.037
AT ITER 3385 NEW BEST:: SOT 67975349 SOS 10568847 HAS SOPS 10568847 HAS SOUS 4841358 HAS SOUPS 4841358 WITH SCORE 4851926.847
AT ITER 3389 NEW BEST:: SOT 67975349 SOS 10568743 HAS SOPS 10568743 HAS SOUS 4841358 HAS SOUPS 4841358 WITH SCORE 4851926.743
AT ITER 3402 NEW BEST:: SOT 67974385 SOS 10567603 HAS SOPS 10567603 HAS SOUS 4840205 HAS SOUPS 4840205 WITH SCORE 4850772.603
AT ITER 3414 NEW BEST:: SOT 67974322 SOS 10567477 HAS SOPS 10567477 HAS SOUS 4840141 HAS SOUPS 4840141 WITH SCORE 4850708.477
AT ITER 3418 NEW BEST:: SOT 67974132 SOS 10567097 HAS SOPS 10567097 HAS SOUS 4840141 HAS SOUPS 4840141 WITH SCORE 4850708.097
AT ITER 3424 NEW BEST:: SOT 67940806 SOS 10868225 HAS SOPS 10868225 HAS SOUS 4811018 HAS SOUPS 4811018 WITH SCORE 4821886.225
AT ITER 3425 NEW BEST:: SOT 67940776 SOS 10868195 HAS SOPS 10868195 HAS SOUS 4811018 HAS SOUPS 4811018 WITH SCORE 4821886.195
AT ITER 3426 NEW BEST:: SOT 67940281 SOS 10865720 HAS SOPS 10865720 HAS SOUS 4810522 HAS SOUPS 4810522 WITH SCORE 4821387.72
AT ITER 3429 NEW BEST:: SOT 67939749 SOS 10865066 HAS SOPS 10865066 HAS SOUS 4809841 HAS SOUPS 4809841 WITH SCORE 4820706.066
AT ITER 3432 NEW BEST:: SOT 67939403 SOS 10866648 HAS SOPS 10866648 HAS SOUS 4809041 HAS SOUPS 4809041 WITH SCORE 4819907.648
AT ITER 3473 NEW BEST:: SOT 67939403 SOS 10866648 HAS SOPS 10866648 HAS SOUS 4808773 HAS SOUPS 4808773 WITH SCORE 4819639.648
AT ITER 3498 NEW BEST:: SOT 67939113 SOS 10866068 HAS SOPS 10866068 HAS SOUS 4808773 HAS SOUPS 4808773 WITH SCORE 4819639.068
AT ITER 3515 NEW BEST:: SOT 67937181 SOS 10863170 HAS SOPS 10863170 HAS SOUS 4805875 HAS SOUPS 4805875 WITH SCORE 4816738.17
AT ITER 3535 NEW BEST:: SOT 67937181 SOS 10862840 HAS SOPS 10862840 HAS SOUS 4805875 HAS SOUPS 4805875 WITH SCORE 4816737.84
AT ITER 3544 NEW BEST:: SOT 67936996 SOS 10862588 HAS SOPS 10862588 HAS SOUS 4805595 HAS SOUPS 4805595 WITH SCORE 4816457.588
AT ITER 3558 NEW BEST:: SOT 67936718 SOS 10861497 HAS SOPS 10861497 HAS SOUS 4805445 HAS SOUPS 4805445 WITH SCORE 4816306.497
AT ITER 3568 NEW BEST:: SOT 67936732 SOS 10861525 HAS SOPS 10861525 HAS SOUS 4805145 HAS SOUPS 4805145 WITH SCORE 4816006.525
AT ITER 3608 NEW BEST:: SOT 67935298 SOS 10631477 HAS SOPS 10631477 HAS SOUS 4803711 HAS SOUPS 4803711 WITH SCORE 4814342.477
AT ITER 3642 NEW BEST:: SOT 67935298 SOS 10631434 HAS SOPS 10631434 HAS SOUS 4803711 HAS SOUPS 4803711 WITH SCORE 4814342.434
AT ITER 3658 NEW BEST:: SOT 67935298 SOS 10631434 HAS SOPS 10631434 HAS SOUS 4803167 HAS SOUPS 4803167 WITH SCORE 4813798.434
AT ITER 3680 NEW BEST:: SOT 67934854 SOS 10630990 HAS SOPS 10630990 HAS SOUS 4802771 HAS SOUPS 4802771 WITH SCORE 4813401.99
AT ITER 3713 NEW BEST:: SOT 67934069 SOS 10629420 HAS SOPS 10629420 HAS SOUS 4802770 HAS SOUPS 4802770 WITH SCORE 4813399.42
AT ITER 3720 NEW BEST:: SOT 67933796 SOS 10628874 HAS SOPS 10628874 HAS SOUS 4802497 HAS SOUPS 4802497 WITH SCORE 4813125.874
AT ITER 3736 NEW BEST:: SOT 67933660 SOS 10628772 HAS SOPS 10628772 HAS SOUS 4802327 HAS SOUPS 4802327 WITH SCORE 4812955.772
AT ITER 3767 NEW BEST:: SOT 67933581 SOS 10628614 HAS SOPS 10628614 HAS SOUS 4802248 HAS SOUPS 4802248 WITH SCORE 4812876.614
AT ITER 3775 NEW BEST:: SOT 67933288 SOS 10628028 HAS SOPS 10628028 HAS SOUS 4802246 HAS SOUPS 4802246 WITH SCORE 4812874.028
AT ITER 3798 NEW BEST:: SOT 67933116 SOS 10627684 HAS SOPS 10627684 HAS SOUS 4802245 HAS SOUPS 4802245 WITH SCORE 4812872.684
AT ITER 3800 NEW BEST:: SOT 67921969 SOS 10684522 HAS SOPS 10684522 HAS SOUS 4791338 HAS SOUPS 4791338 WITH SCORE 4802022.522
AT ITER 3864 NEW BEST:: SOT 67920925 SOS 10684644 HAS SOPS 10684644 HAS SOUS 4790169 HAS SOUPS 4790169 WITH SCORE 4800853.644
AT ITER 3887 NEW BEST:: SOT 67920085 SOS 10684256 HAS SOPS 10684256 HAS SOUS 4789329 HAS SOUPS 4789329 WITH SCORE 4800013.256
AT ITER 3888 NEW BEST:: SOT 67919539 SOS 10683164 HAS SOPS 10683164 HAS SOUS 4788783 HAS SOUPS 4788783 WITH SCORE 4799466.164
AT ITER 3937 NEW BEST:: SOT 67919539 SOS 10683015 HAS SOPS 10683015 HAS SOUS 4788783 HAS SOUPS 4788783 WITH SCORE 4799466.015
AT ITER 3964 NEW BEST:: SOT 67918475 SOS 10680148 HAS SOPS 10680148 HAS SOUS 4788059 HAS SOUPS 4788059 WITH SCORE 4798739.148
AT ITER 3968 NEW BEST:: SOT 67916989 SOS 10678662 HAS SOPS 10678662 HAS SOUS 4786571 HAS SOUPS 4786571 WITH SCORE 4797249.662
AT ITER 3994 NEW BEST:: SOT 67917033 SOS 10678750 HAS SOPS 10678750 HAS SOUS 4786233 HAS SOUPS 4786233 WITH SCORE 4796911.75
AT ITER 4065 NEW BEST:: SOT 67915365 SOS 10676298 HAS SOPS 10676298 HAS SOUS 4783781 HAS SOUPS 4783781 WITH SCORE 4794457.298
AT ITER 4069 NEW BEST:: SOT 67915176 SOS 10675920 HAS SOPS 10675920 HAS SOUS 4783592 HAS SOUPS 4783592 WITH SCORE 4794267.92
AT ITER 4103 NEW BEST:: SOT 67915176 SOS 10675920 HAS SOPS 10675920 HAS SOUS 4783591 HAS SOUPS 4783591 WITH SCORE 4794266.92
AT ITER 4106 NEW BEST:: SOT 67914310 SOS 10674717 HAS SOPS 10674717 HAS SOUS 4783253 HAS SOUPS 4783253 WITH SCORE 4793927.717
AT ITER 4208 NEW BEST:: SOT 67914232 SOS 10674561 HAS SOPS 10674561 HAS SOUS 4783250 HAS SOUPS 4783250 WITH SCORE 4793924.561
AT ITER 4210 NEW BEST:: SOT 67914102 SOS 10674301 HAS SOPS 10674301 HAS SOUS 4783248 HAS SOUPS 4783248 WITH SCORE 4793922.301
AT ITER 4224 NEW BEST:: SOT 67913840 SOS 10675013 HAS SOPS 10675013 HAS SOUS 4782389 HAS SOUPS 4782389 WITH SCORE 4793064.013
AT ITER 4241 NEW BEST:: SOT 67913839 SOS 10675011 HAS SOPS 10675011 HAS SOUS 4782387 HAS SOUPS 4782387 WITH SCORE 4793062.011
AT ITER 4265 NEW BEST:: SOT 67913058 SOS 10673449 HAS SOPS 10673449 HAS SOUS 4781824 HAS SOUPS 4781824 WITH SCORE 4792497.449
AT ITER 4304 NEW BEST:: SOT 67880144 SOS 10675964 HAS SOPS 10675964 HAS SOUS 4749382 HAS SOUPS 4749382 WITH SCORE 4760057.964
AT ITER 4381 NEW BEST:: SOT 67879975 SOS 10675626 HAS SOPS 10675626 HAS SOUS 4749044 HAS SOUPS 4749044 WITH SCORE 4759719.626
AT ITER 4383 NEW BEST:: SOT 67879698 SOS 10176312 HAS SOPS 10176312 HAS SOUS 4748767 HAS SOUPS 4748767 WITH SCORE 4758943.312
AT ITER 4410 NEW BEST:: SOT 67879698 SOS 10175331 HAS SOPS 10175331 HAS SOUS 4748767 HAS SOUPS 4748767 WITH SCORE 4758942.331
AT ITER 4411 NEW BEST:: SOT 67879363 SOS 10174154 HAS SOPS 10174154 HAS SOUS 4748466 HAS SOUPS 4748466 WITH SCORE 4758640.154
AT ITER 4451 NEW BEST:: SOT 67879349 SOS 10174126 HAS SOPS 10174126 HAS SOUS 4748466 HAS SOUPS 4748466 WITH SCORE 4758640.126
AT ITER 4522 NEW BEST:: SOT 67878429 SOS 10172286 HAS SOPS 10172286 HAS SOUS 4748357 HAS SOUPS 4748357 WITH SCORE 4758529.286
AT ITER 4529 NEW BEST:: SOT 67878414 SOS 10172256 HAS SOPS 10172256 HAS SOUS 4748342 HAS SOUPS 4748342 WITH SCORE 4758514.256
AT ITER 4575 NEW BEST:: SOT 67878357 SOS 10172142 HAS SOPS 10172142 HAS SOUS 4748284 HAS SOUPS 4748284 WITH SCORE 4758456.142
AT ITER 4595 NEW BEST:: SOT 67877725 SOS 10170878 HAS SOPS 10170878 HAS SOUS 4748283 HAS SOUPS 4748283 WITH SCORE 4758453.878
AT ITER 4602 NEW BEST:: SOT 67877298 SOS 10170024 HAS SOPS 10170024 HAS SOUS 4747856 HAS SOUPS 4747856 WITH SCORE 4758026.024
AT ITER 4610 NEW BEST:: SOT 67875398 SOS 10166224 HAS SOPS 10166224 HAS SOUS 4746007 HAS SOUPS 4746007 WITH SCORE 4756173.224
AT ITER 4622 NEW BEST:: SOT 67875398 SOS 10166702 HAS SOPS 10166702 HAS SOUS 4746006 HAS SOUPS 4746006 WITH SCORE 4756172.702
AT ITER 4630 NEW BEST:: SOT 67875398 SOS 10164056 HAS SOPS 10164056 HAS SOUS 4745633 HAS SOUPS 4745633 WITH SCORE 4755797.056
AT ITER 4651 NEW BEST:: SOT 67875224 SOS 10163708 HAS SOPS 10163708 HAS SOUS 4745285 HAS SOUPS 4745285 WITH SCORE 4755448.708
AT ITER 4682 NEW BEST:: SOT 67874192 SOS 10163784 HAS SOPS 10163784 HAS SOUS 4744632 HAS SOUPS 4744632 WITH SCORE 4754795.784
AT ITER 4722 NEW BEST:: SOT 67873474 SOS 10162347 HAS SOPS 10162347 HAS SOUS 4743195 HAS SOUPS 4743195 WITH SCORE 4753357.347
AT ITER 4727 NEW BEST:: SOT 67873365 SOS 10162129 HAS SOPS 10162129 HAS SOUS 4743086 HAS SOUPS 4743086 WITH SCORE 4753248.129
AT ITER 4751 NEW BEST:: SOT 67872809 SOS 10161017 HAS SOPS 10161017 HAS SOUS 4743086 HAS SOUPS 4743086 WITH SCORE 4753247.017
AT ITER 4789 NEW BEST:: SOT 67872116 SOS 10163241 HAS SOPS 10163241 HAS SOUS 4741671 HAS SOUPS 4741671 WITH SCORE 4751834.241
AT ITER 4817 NEW BEST:: SOT 67871750 SOS 10162509 HAS SOPS 10162509 HAS SOUS 4741305 HAS SOUPS 4741305 WITH SCORE 4751467.509
AT ITER 4852 NEW BEST:: SOT 67871226 SOS 10162177 HAS SOPS 10162177 HAS SOUS 4740781 HAS SOUPS 4740781 WITH SCORE 4750943.177
AT ITER 4869 NEW BEST:: SOT 67870799 SOS 10161323 HAS SOPS 10161323 HAS SOUS 4740354 HAS SOUPS 4740354 WITH SCORE 4750515.323
AT ITER 4889 NEW BEST:: SOT 67870631 SOS 10161221 HAS SOPS 10161221 HAS SOUS 4740053 HAS SOUPS 4740053 WITH SCORE 4750214.221
AT ITER 4913 NEW BEST:: SOT 67870007 SOS 10161199 HAS SOPS 10161199 HAS SOUS 4740020 HAS SOUPS 4740020 WITH SCORE 4750181.199
AT ITER 4939 NEW BEST:: SOT 67870007 SOS 10160796 HAS SOPS 10160796 HAS SOUS 4740019 HAS SOUPS 4740019 WITH SCORE 4750179.796
AT ITER 4961 NEW BEST:: SOT 67870007 SOS 10160796 HAS SOPS 10160796 HAS SOUS 4740017 HAS SOUPS 4740017 WITH SCORE 4750177.796
AT ITER 4977 NEW BEST:: SOT 67870007 SOS 10159910 HAS SOPS 10159910 HAS SOUS 4740017 HAS SOUPS 4740017 WITH SCORE 4750176.91
AT ITER 4994 NEW BEST:: SOT 67870007 SOS 10159755 HAS SOPS 10159755 HAS SOUS 4740017 HAS SOUPS 4740017 WITH SCORE 4750176.755
AT ITER 5012 NEW BEST:: SOT 67870001 SOS 10159743 HAS SOPS 10159743 HAS SOUS 4740011 HAS SOUPS 4740011 WITH SCORE 4750170.743
AT ITER 5024 NEW BEST:: SOT 67861112 SOS 10224476 HAS SOPS 10224476 HAS SOUS 4731699 HAS SOUPS 4731699 WITH SCORE 4741923.476
AT ITER 5031 NEW BEST:: SOT 67861112 SOS 10224476 HAS SOPS 10224476 HAS SOUS 4731126 HAS SOUPS 4731126 WITH SCORE 4741350.476
AT ITER 5040 NEW BEST:: SOT 67860815 SOS 10224210 HAS SOPS 10224210 HAS SOUS 4730860 HAS SOUPS 4730860 WITH SCORE 4741084.21
AT ITER 5057 NEW BEST:: SOT 67860448 SOS 10223075 HAS SOPS 10223075 HAS SOUS 4730676 HAS SOUPS 4730676 WITH SCORE 4740899.075
AT ITER 5111 NEW BEST:: SOT 67859334 SOS 10222787 HAS SOPS 10222787 HAS SOUS 4729818 HAS SOUPS 4729818 WITH SCORE 4740040.787
AT ITER 5128 NEW BEST:: SOT 67859128 SOS 10222684 HAS SOPS 10222684 HAS SOUS 4729611 HAS SOUPS 4729611 WITH SCORE 4739833.684
AT ITER 5156 NEW BEST:: SOT 67858874 SOS 10222842 HAS SOPS 10222842 HAS SOUS 4729404 HAS SOUPS 4729404 WITH SCORE 4739626.842
AT ITER 5159 NEW BEST:: SOT 67858584 SOS 10222455 HAS SOPS 10222455 HAS SOUS 4729114 HAS SOUPS 4729114 WITH SCORE 4739336.455
AT ITER 5173 NEW BEST:: SOT 67858584 SOS 10222382 HAS SOPS 10222382 HAS SOUS 4729114 HAS SOUPS 4729114 WITH SCORE 4739336.382
AT ITER 5177 NEW BEST:: SOT 67858553 SOS 10222320 HAS SOPS 10222320 HAS SOUS 4729083 HAS SOUPS 4729083 WITH SCORE 4739305.32
AT ITER 5184 NEW BEST:: SOT 67858553 SOS 10221380 HAS SOPS 10221380 HAS SOUS 4728613 HAS SOUPS 4728613 WITH SCORE 4738834.38
AT ITER 5213 NEW BEST:: SOT 67857845 SOS 10219256 HAS SOPS 10219256 HAS SOUS 4727905 HAS SOUPS 4727905 WITH SCORE 4738124.256
AT ITER 5245 NEW BEST:: SOT 67857611 SOS 10218788 HAS SOPS 10218788 HAS SOUS 4727670 HAS SOUPS 4727670 WITH SCORE 4737888.788
AT ITER 5248 NEW BEST:: SOT 67856772 SOS 10217949 HAS SOPS 10217949 HAS SOUS 4727052 HAS SOUPS 4727052 WITH SCORE 4737269.949
AT ITER 5259 NEW BEST:: SOT 67856586 SOS 10217577 HAS SOPS 10217577 HAS SOUS 4726866 HAS SOUPS 4726866 WITH SCORE 4737083.577
AT ITER 5262 NEW BEST:: SOT 67856351 SOS 10216551 HAS SOPS 10216551 HAS SOUS 4726631 HAS SOUPS 4726631 WITH SCORE 4736847.551
AT ITER 5276 NEW BEST:: SOT 67856973 SOS 10214137 HAS SOPS 10214137 HAS SOUS 4726181 HAS SOUPS 4726181 WITH SCORE 4736395.137
AT ITER 5301 NEW BEST:: SOT 67856634 SOS 10214094 HAS SOPS 10214094 HAS SOUS 4725919 HAS SOUPS 4725919 WITH SCORE 4736133.094
AT ITER 5306 NEW BEST:: SOT 67855465 SOS 10211756 HAS SOPS 10211756 HAS SOUS 4724749 HAS SOUPS 4724749 WITH SCORE 4734960.756
AT ITER 5336 NEW BEST:: SOT 67854215 SOS 10210104 HAS SOPS 10210104 HAS SOUS 4723097 HAS SOUPS 4723097 WITH SCORE 4733307.104
AT ITER 5339 NEW BEST:: SOT 67854215 SOS 10209804 HAS SOPS 10209804 HAS SOUS 4723097 HAS SOUPS 4723097 WITH SCORE 4733306.804
AT ITER 5340 NEW BEST:: SOT 67853838 SOS 10209050 HAS SOPS 10209050 HAS SOUS 4722720 HAS SOUPS 4722720 WITH SCORE 4732929.05
AT ITER 5348 NEW BEST:: SOT 67853838 SOS 10207834 HAS SOPS 10207834 HAS SOUS 4722720 HAS SOUPS 4722720 WITH SCORE 4732927.834
AT ITER 5350 NEW BEST:: SOT 67853075 SOS 10206308 HAS SOPS 10206308 HAS SOUS 4722429 HAS SOUPS 4722429 WITH SCORE 4732635.308
AT ITER 5459 NEW BEST:: SOT 67853075 SOS 10205994 HAS SOPS 10205994 HAS SOUS 4722428 HAS SOUPS 4722428 WITH SCORE 4732633.994
AT ITER 5469 NEW BEST:: SOT 67852072 SOS 10203988 HAS SOPS 10203988 HAS SOUS 4721425 HAS SOUPS 4721425 WITH SCORE 4731628.988
AT ITER 5475 NEW BEST:: SOT 67850876 SOS 10202792 HAS SOPS 10202792 HAS SOUS 4719631 HAS SOUPS 4719631 WITH SCORE 4729833.792
AT ITER 5477 NEW BEST:: SOT 67850126 SOS 10202042 HAS SOPS 10202042 HAS SOUS 4718886 HAS SOUPS 4718886 WITH SCORE 4729088.042
AT ITER 5502 NEW BEST:: SOT 67849497 SOS 10201340 HAS SOPS 10201340 HAS SOUS 4718220 HAS SOUPS 4718220 WITH SCORE 4728421.34
AT ITER 5505 NEW BEST:: SOT 67847541 SOS 10202128 HAS SOPS 10202128 HAS SOUS 4715356 HAS SOUPS 4715356 WITH SCORE 4725558.128
AT ITER 5509 NEW BEST:: SOT 67836166 SOS 10289638 HAS SOPS 10289638 HAS SOUS 4704726 HAS SOUPS 4704726 WITH SCORE 4715015.638
AT ITER 5544 NEW BEST:: SOT 67801590 SOS 10260304 HAS SOPS 10260304 HAS SOUS 4670641 HAS SOUPS 4670641 WITH SCORE 4680901.304
AT ITER 5571 NEW BEST:: SOT 67801527 SOS 10260178 HAS SOPS 10260178 HAS SOUS 4670578 HAS SOUPS 4670578 WITH SCORE 4680838.178
AT ITER 5628 NEW BEST:: SOT 67801297 SOS 10259392 HAS SOPS 10259392 HAS SOUS 4670348 HAS SOUPS 4670348 WITH SCORE 4680607.392
AT ITER 5656 NEW BEST:: SOT 67781587 SOS 10666264 HAS SOPS 10666264 HAS SOUS 4655151 HAS SOUPS 4655151 WITH SCORE 4665817.264
AT ITER 5705 NEW BEST:: SOT 67781524 SOS 10666138 HAS SOPS 10666138 HAS SOUS 4655067 HAS SOUPS 4655067 WITH SCORE 4665733.138
AT ITER 5712 NEW BEST:: SOT 67781297 SOS 10665684 HAS SOPS 10665684 HAS SOUS 4654839 HAS SOUPS 4654839 WITH SCORE 4665504.684
AT ITER 5743 NEW BEST:: SOT 67780863 SOS 10665250 HAS SOPS 10665250 HAS SOUS 4654405 HAS SOUPS 4654405 WITH SCORE 4665070.25
AT ITER 5779 NEW BEST:: SOT 67780631 SOS 10664786 HAS SOPS 10664786 HAS SOUS 4654173 HAS SOUPS 4654173 WITH SCORE 4664837.786
AT ITER 5782 NEW BEST:: SOT 67780141 SOS 10664390 HAS SOPS 10664390 HAS SOUS 4653745 HAS SOUPS 4653745 WITH SCORE 4664409.39
AT ITER 5788 NEW BEST:: SOT 67780141 SOS 10663411 HAS SOPS 10663411 HAS SOUS 4653745 HAS SOUPS 4653745 WITH SCORE 4664408.411
AT ITER 5805 NEW BEST:: SOT 67780141 SOS 10663411 HAS SOPS 10663411 HAS SOUS 4653567 HAS SOUPS 4653567 WITH SCORE 4664230.411
AT ITER 5819 NEW BEST:: SOT 67780141 SOS 10663411 HAS SOPS 10663411 HAS SOUS 4653525 HAS SOUPS 4653525 WITH SCORE 4664188.411
AT ITER 5824 NEW BEST:: SOT 67779514 SOS 10662789 HAS SOPS 10662789 HAS SOUS 4652897 HAS SOUPS 4652897 WITH SCORE 4663559.789
AT ITER 5831 NEW BEST:: SOT 67779514 SOS 10662789 HAS SOPS 10662789 HAS SOUS 4652896 HAS SOUPS 4652896 WITH SCORE 4663558.789
AT ITER 5833 NEW BEST:: SOT 67779189 SOS 10662139 HAS SOPS 10662139 HAS SOUS 4652571 HAS SOUPS 4652571 WITH SCORE 4663233.139
AT ITER 5854 NEW BEST:: SOT 67778639 SOS 10661039 HAS SOPS 10661039 HAS SOUS 4652021 HAS SOUPS 4652021 WITH SCORE 4662682.039
AT ITER 5870 NEW BEST:: SOT 67778639 SOS 10661366 HAS SOPS 10661366 HAS SOUS 4652020 HAS SOUPS 4652020 WITH SCORE 4662681.366
AT ITER 5889 NEW BEST:: SOT 67750315 SOS 10855860 HAS SOPS 10855860 HAS SOUS 4628088 HAS SOUPS 4628088 WITH SCORE 4638943.86
AT ITER 5898 NEW BEST:: SOT 67750315 SOS 10856303 HAS SOPS 10856303 HAS SOUS 4628086 HAS SOUPS 4628086 WITH SCORE 4638942.303
AT ITER 5958 NEW BEST:: SOT 67749855 SOS 10854003 HAS SOPS 10854003 HAS SOUS 4627166 HAS SOUPS 4627166 WITH SCORE 4638020.003
AT ITER 5960 NEW BEST:: SOT 67749732 SOS 10853757 HAS SOPS 10853757 HAS SOUS 4627042 HAS SOUPS 4627042 WITH SCORE 4637895.757
AT ITER 5984 NEW BEST:: SOT 67749645 SOS 10866459 HAS SOPS 10866459 HAS SOUS 4626955 HAS SOUPS 4626955 WITH SCORE 4637821.459
AT ITER 5995 NEW BEST:: SOT 67746620 SOS 10679553 HAS SOPS 10679553 HAS SOUS 4623095 HAS SOUPS 4623095 WITH SCORE 4633774.553
AT ITER 5999 NEW BEST:: SOT 67746598 SOS 10679509 HAS SOPS 10679509 HAS SOUS 4623072 HAS SOUPS 4623072 WITH SCORE 4633751.509
AT ITER 6002 NEW BEST:: SOT 67746564 SOS 10679237 HAS SOPS 10679237 HAS SOUS 4623038 HAS SOUPS 4623038 WITH SCORE 4633717.237
AT ITER 6049 NEW BEST:: SOT 67746564 SOS 10678520 HAS SOPS 10678520 HAS SOUS 4621582 HAS SOUPS 4621582 WITH SCORE 4632260.52
AT ITER 6050 NEW BEST:: SOT 67746349 SOS 10678090 HAS SOPS 10678090 HAS SOUS 4620767 HAS SOUPS 4620767 WITH SCORE 4631445.09
AT ITER 6113 NEW BEST:: SOT 67746088 SOS 10678031 HAS SOPS 10678031 HAS SOUS 4620505 HAS SOUPS 4620505 WITH SCORE 4631183.031
AT ITER 6118 NEW BEST:: SOT 67746001 SOS 10677857 HAS SOPS 10677857 HAS SOUS 4620331 HAS SOUPS 4620331 WITH SCORE 4631008.857
AT ITER 6119 NEW BEST:: SOT 67745689 SOS 10677233 HAS SOPS 10677233 HAS SOUS 4620019 HAS SOUPS 4620019 WITH SCORE 4630696.233
AT ITER 6120 NEW BEST:: SOT 67727279 SOS 10696045 HAS SOPS 10696045 HAS SOUS 4602584 HAS SOUPS 4602584 WITH SCORE 4613280.045
AT ITER 6165 NEW BEST:: SOT 67715998 SOS 10689323 HAS SOPS 10689323 HAS SOUS 4591562 HAS SOUPS 4591562 WITH SCORE 4602251.323
AT ITER 6179 NEW BEST:: SOT 67715324 SOS 10688516 HAS SOPS 10688516 HAS SOUS 4590347 HAS SOUPS 4590347 WITH SCORE 4601035.516
AT ITER 6190 NEW BEST:: SOT 67714994 SOS 10689128 HAS SOPS 10689128 HAS SOUS 4589596 HAS SOUPS 4589596 WITH SCORE 4600285.128
AT ITER 6210 NEW BEST:: SOT 67714912 SOS 10688882 HAS SOPS 10688882 HAS SOUS 4589514 HAS SOUPS 4589514 WITH SCORE 4600202.882
AT ITER 6218 NEW BEST:: SOT 67714891 SOS 10688378 HAS SOPS 10688378 HAS SOUS 4589493 HAS SOUPS 4589493 WITH SCORE 4600181.378
AT ITER 6231 NEW BEST:: SOT 67714184 SOS 10686964 HAS SOPS 10686964 HAS SOUS 4589491 HAS SOUPS 4589491 WITH SCORE 4600177.964
AT ITER 6249 NEW BEST:: SOT 67713897 SOS 10686390 HAS SOPS 10686390 HAS SOUS 4589490 HAS SOUPS 4589490 WITH SCORE 4600176.39
AT ITER 6263 NEW BEST:: SOT 67713897 SOS 10685969 HAS SOPS 10685969 HAS SOUS 4589489 HAS SOUPS 4589489 WITH SCORE 4600174.969
AT ITER 6294 NEW BEST:: SOT 67713528 SOS 10685231 HAS SOPS 10685231 HAS SOUS 4589119 HAS SOUPS 4589119 WITH SCORE 4599804.231
AT ITER 6318 NEW BEST:: SOT 67712988 SOS 10683805 HAS SOPS 10683805 HAS SOUS 4588650 HAS SOUPS 4588650 WITH SCORE 4599333.805
AT ITER 6334 NEW BEST:: SOT 67712794 SOS 10683879 HAS SOPS 10683879 HAS SOUS 4588216 HAS SOUPS 4588216 WITH SCORE 4598899.879
AT ITER 6353 NEW BEST:: SOT 67711576 SOS 10682661 HAS SOPS 10682661 HAS SOUS 4586998 HAS SOUPS 4586998 WITH SCORE 4597680.661
AT ITER 6355 NEW BEST:: SOT 67710801 SOS 10678231 HAS SOPS 10678231 HAS SOUS 4586223 HAS SOUPS 4586223 WITH SCORE 4596901.231
AT ITER 6358 NEW BEST:: SOT 67710094 SOS 10670107 HAS SOPS 10670107 HAS SOUS 4585847 HAS SOUPS 4585847 WITH SCORE 4596517.107
AT ITER 6364 NEW BEST:: SOT 67709687 SOS 10669293 HAS SOPS 10669293 HAS SOUS 4585440 HAS SOUPS 4585440 WITH SCORE 4596109.293
AT ITER 6454 NEW BEST:: SOT 67709687 SOS 10668475 HAS SOPS 10668475 HAS SOUS 4585440 HAS SOUPS 4585440 WITH SCORE 4596108.475
AT ITER 6480 NEW BEST:: SOT 67710111 SOS 10668848 HAS SOPS 10668848 HAS SOUS 4585190 HAS SOUPS 4585190 WITH SCORE 4595858.848
AT ITER 6500 NEW BEST:: SOT 67708917 SOS 10666460 HAS SOPS 10666460 HAS SOUS 4583282 HAS SOUPS 4583282 WITH SCORE 4593948.46
AT ITER 6517 NEW BEST:: SOT 67708362 SOS 10665350 HAS SOPS 10665350 HAS SOUS 4583282 HAS SOUPS 4583282 WITH SCORE 4593947.35
AT ITER 6524 NEW BEST:: SOT 67701020 SOS 10874163 HAS SOPS 10874163 HAS SOUS 4581639 HAS SOUPS 4581639 WITH SCORE 4592513.163
AT ITER 6527 NEW BEST:: SOT 67701020 SOS 10873692 HAS SOPS 10873692 HAS SOUS 4581639 HAS SOUPS 4581639 WITH SCORE 4592512.692
AT ITER 6532 NEW BEST:: SOT 67700871 SOS 10873189 HAS SOPS 10873189 HAS SOUS 4581297 HAS SOUPS 4581297 WITH SCORE 4592170.189
AT ITER 6538 NEW BEST:: SOT 67700300 SOS 10872542 HAS SOPS 10872542 HAS SOUS 4580693 HAS SOUPS 4580693 WITH SCORE 4591565.542
AT ITER 6590 NEW BEST:: SOT 67700163 SOS 10872540 HAS SOPS 10872540 HAS SOUS 4580689 HAS SOUPS 4580689 WITH SCORE 4591561.54
AT ITER 6595 NEW BEST:: SOT 67700163 SOS 10869009 HAS SOPS 10869009 HAS SOUS 4580689 HAS SOUPS 4580689 WITH SCORE 4591558.009
AT ITER 6632 NEW BEST:: SOT 67700163 SOS 10868723 HAS SOPS 10868723 HAS SOUS 4580689 HAS SOUPS 4580689 WITH SCORE 4591557.723
AT ITER 6677 NEW BEST:: SOT 67700163 SOS 10867055 HAS SOPS 10867055 HAS SOUS 4580689 HAS SOUPS 4580689 WITH SCORE 4591556.055
AT ITER 6686 NEW BEST:: SOT 67696344 SOS 10863236 HAS SOPS 10863236 HAS SOUS 4576803 HAS SOUPS 4576803 WITH SCORE 4587666.236
AT ITER 6690 NEW BEST:: SOT 67696322 SOS 10863192 HAS SOPS 10863192 HAS SOUS 4576781 HAS SOUPS 4576781 WITH SCORE 4587644.192
AT ITER 6696 NEW BEST:: SOT 67695512 SOS 10862112 HAS SOPS 10862112 HAS SOUS 4575701 HAS SOUPS 4575701 WITH SCORE 4586563.112
AT ITER 6712 NEW BEST:: SOT 67694979 SOS 10858708 HAS SOPS 10858708 HAS SOUS 4575168 HAS SOUPS 4575168 WITH SCORE 4586026.708
AT ITER 6721 NEW BEST:: SOT 67694811 SOS 10858372 HAS SOPS 10858372 HAS SOUS 4574827 HAS SOUPS 4574827 WITH SCORE 4585685.372
AT ITER 6736 NEW BEST:: SOT 67693747 SOS 10856244 HAS SOPS 10856244 HAS SOUS 4573762 HAS SOUPS 4573762 WITH SCORE 4584618.244
AT ITER 6799 NEW BEST:: SOT 67693391 SOS 10855532 HAS SOPS 10855532 HAS SOUS 4572752 HAS SOUPS 4572752 WITH SCORE 4583607.532
AT ITER 6813 NEW BEST:: SOT 67692791 SOS 10854332 HAS SOPS 10854332 HAS SOUS 4572751 HAS SOUPS 4572751 WITH SCORE 4583605.332
AT ITER 6819 NEW BEST:: SOT 67692660 SOS 10854951 HAS SOPS 10854951 HAS SOUS 4572727 HAS SOUPS 4572727 WITH SCORE 4583581.951
AT ITER 6835 NEW BEST:: SOT 67692660 SOS 10854772 HAS SOPS 10854772 HAS SOUS 4572548 HAS SOUPS 4572548 WITH SCORE 4583402.772
AT ITER 6856 NEW BEST:: SOT 67691760 SOS 10854169 HAS SOPS 10854169 HAS SOUS 4571985 HAS SOUPS 4571985 WITH SCORE 4582839.169
AT ITER 6859 NEW BEST:: SOT 67678952 SOS 10962641 HAS SOPS 10962641 HAS SOUS 4560850 HAS SOUPS 4560850 WITH SCORE 4571812.641
AT ITER 6897 NEW BEST:: SOT 67678997 SOS 10962065 HAS SOPS 10962065 HAS SOUS 4560607 HAS SOUPS 4560607 WITH SCORE 4571569.065
AT ITER 6919 NEW BEST:: SOT 67678858 SOS 10961787 HAS SOPS 10961787 HAS SOUS 4560468 HAS SOUPS 4560468 WITH SCORE 4571429.787
AT ITER 6921 NEW BEST:: SOT 67678845 SOS 10961761 HAS SOPS 10961761 HAS SOUS 4560455 HAS SOUPS 4560455 WITH SCORE 4571416.761
AT ITER 6926 NEW BEST:: SOT 67647432 SOS 11158231 HAS SOPS 11158231 HAS SOUS 4531467 HAS SOUPS 4531467 WITH SCORE 4542625.231
AT ITER 6944 NEW BEST:: SOT 67647352 SOS 11158151 HAS SOPS 11158151 HAS SOUS 4531385 HAS SOUPS 4531385 WITH SCORE 4542543.151
AT ITER 6955 NEW BEST:: SOT 67647352 SOS 11157585 HAS SOPS 11157585 HAS SOUS 4531083 HAS SOUPS 4531083 WITH SCORE 4542240.585
AT ITER 6983 NEW BEST:: SOT 67647352 SOS 11156770 HAS SOPS 11156770 HAS SOUS 4531083 HAS SOUPS 4531083 WITH SCORE 4542239.77
AT ITER 6985 NEW BEST:: SOT 67643685 SOS 11156006 HAS SOPS 11156006 HAS SOUS 4529618 HAS SOUPS 4529618 WITH SCORE 4540774.006
AT ITER 7024 NEW BEST:: SOT 67643253 SOS 11155466 HAS SOPS 11155466 HAS SOUS 4529078 HAS SOUPS 4529078 WITH SCORE 4540233.466
AT ITER 7047 NEW BEST:: SOT 67642676 SOS 11154312 HAS SOPS 11154312 HAS SOUS 4529076 HAS SOUPS 4529076 WITH SCORE 4540230.312
AT ITER 7134 NEW BEST:: SOT 67642572 SOS 11154104 HAS SOPS 11154104 HAS SOUS 4528994 HAS SOUPS 4528994 WITH SCORE 4540148.104
AT ITER 7136 NEW BEST:: SOT 67641451 SOS 11148382 HAS SOPS 11148382 HAS SOUS 4528635 HAS SOUPS 4528635 WITH SCORE 4539783.382
AT ITER 7139 NEW BEST:: SOT 67641451 SOS 11148136 HAS SOPS 11148136 HAS SOUS 4528512 HAS SOUPS 4528512 WITH SCORE 4539660.136
AT ITER 7153 NEW BEST:: SOT 67641060 SOS 11146217 HAS SOPS 11146217 HAS SOUS 4528339 HAS SOUPS 4528339 WITH SCORE 4539485.217
AT ITER 7175 NEW BEST:: SOT 67640273 SOS 11144643 HAS SOPS 11144643 HAS SOUS 4527793 HAS SOUPS 4527793 WITH SCORE 4538937.643
AT ITER 7189 NEW BEST:: SOT 67639953 SOS 11144003 HAS SOPS 11144003 HAS SOUS 4527793 HAS SOUPS 4527793 WITH SCORE 4538937.003
AT ITER 7206 NEW BEST:: SOT 67639613 SOS 11143323 HAS SOPS 11143323 HAS SOUS 4527453 HAS SOUPS 4527453 WITH SCORE 4538596.323
AT ITER 7214 NEW BEST:: SOT 67639613 SOS 11143323 HAS SOPS 11143323 HAS SOUS 4527162 HAS SOUPS 4527162 WITH SCORE 4538305.323
AT ITER 7215 NEW BEST:: SOT 67639613 SOS 11143323 HAS SOPS 11143323 HAS SOUS 4526947 HAS SOUPS 4526947 WITH SCORE 4538090.323
AT ITER 7216 NEW BEST:: SOT 67639261 SOS 11142619 HAS SOPS 11142619 HAS SOUS 4526595 HAS SOUPS 4526595 WITH SCORE 4537737.619
AT ITER 7239 NEW BEST:: SOT 67639075 SOS 11142247 HAS SOPS 11142247 HAS SOUS 4526198 HAS SOUPS 4526198 WITH SCORE 4537340.247
AT ITER 7299 NEW BEST:: SOT 67639075 SOS 11141712 HAS SOPS 11141712 HAS SOUS 4526198 HAS SOUPS 4526198 WITH SCORE 4537339.712
AT ITER 7320 NEW BEST:: SOT 67637435 SOS 11138432 HAS SOPS 11138432 HAS SOUS 4524558 HAS SOUPS 4524558 WITH SCORE 4535696.432
AT ITER 7333 NEW BEST:: SOT 67637435 SOS 11138432 HAS SOPS 11138432 HAS SOUS 4524557 HAS SOUPS 4524557 WITH SCORE 4535695.432
AT ITER 7345 NEW BEST:: SOT 67636879 SOS 11137320 HAS SOPS 11137320 HAS SOUS 4524556 HAS SOUPS 4524556 WITH SCORE 4535693.32
AT ITER 7354 NEW BEST:: SOT 67636998 SOS 11137558 HAS SOPS 11137558 HAS SOUS 4523738 HAS SOUPS 4523738 WITH SCORE 4534875.558
AT ITER 7369 NEW BEST:: SOT 67636054 SOS 11136173 HAS SOPS 11136173 HAS SOUS 4522353 HAS SOUPS 4522353 WITH SCORE 4533489.173
AT ITER 7372 NEW BEST:: SOT 67634830 SOS 11132501 HAS SOPS 11132501 HAS SOUS 4521308 HAS SOUPS 4521308 WITH SCORE 4532440.501
AT ITER 7428 NEW BEST:: SOT 67634700 SOS 11130649 HAS SOPS 11130649 HAS SOUS 4520552 HAS SOUPS 4520552 WITH SCORE 4531682.649
AT ITER 7449 NEW BEST:: SOT 67633746 SOS 11125720 HAS SOPS 11125720 HAS SOUS 4519598 HAS SOUPS 4519598 WITH SCORE 4530723.72
AT ITER 7467 NEW BEST:: SOT 67630870 SOS 11121173 HAS SOPS 11121173 HAS SOUS 4515812 HAS SOUPS 4515812 WITH SCORE 4526933.173
AT ITER 7469 NEW BEST:: SOT 67630870 SOS 11120980 HAS SOPS 11120980 HAS SOUS 4515619 HAS SOUPS 4515619 WITH SCORE 4526739.98
AT ITER 7483 NEW BEST:: SOT 67628956 SOS 11119066 HAS SOPS 11119066 HAS SOUS 4513704 HAS SOUPS 4513704 WITH SCORE 4524823.066
AT ITER 7514 NEW BEST:: SOT 67628315 SOS 11117143 HAS SOPS 11117143 HAS SOUS 4513063 HAS SOUPS 4513063 WITH SCORE 4524180.143
AT ITER 7575 NEW BEST:: SOT 67626675 SOS 11118666 HAS SOPS 11118666 HAS SOUS 4512093 HAS SOUPS 4512093 WITH SCORE 4523211.666
AT ITER 7592 NEW BEST:: SOT 67626675 SOS 11118666 HAS SOPS 11118666 HAS SOUS 4512086 HAS SOUPS 4512086 WITH SCORE 4523204.666
AT ITER 7667 NEW BEST:: SOT 67626503 SOS 11118408 HAS SOPS 11118408 HAS SOUS 4511828 HAS SOUPS 4511828 WITH SCORE 4522946.408
AT ITER 7693 NEW BEST:: SOT 67626221 SOS 11117844 HAS SOPS 11117844 HAS SOUS 4511828 HAS SOUPS 4511828 WITH SCORE 4522945.844
AT ITER 7702 NEW BEST:: SOT 67626221 SOS 11117681 HAS SOPS 11117681 HAS SOUS 4511828 HAS SOUPS 4511828 WITH SCORE 4522945.681
AT ITER 7709 NEW BEST:: SOT 67625796 SOS 11116831 HAS SOPS 11116831 HAS SOUS 4511544 HAS SOUPS 4511544 WITH SCORE 4522660.831
AT ITER 7712 NEW BEST:: SOT 67625682 SOS 11116717 HAS SOPS 11116717 HAS SOUS 4511373 HAS SOUPS 4511373 WITH SCORE 4522489.717
AT ITER 7718 NEW BEST:: SOT 67625324 SOS 11116001 HAS SOPS 11116001 HAS SOUS 4511014 HAS SOUPS 4511014 WITH SCORE 4522130.001
AT ITER 7720 NEW BEST:: SOT 67625129 SOS 11116781 HAS SOPS 11116781 HAS SOUS 4510952 HAS SOUPS 4510952 WITH SCORE 4522068.781
AT ITER 7736 NEW BEST:: SOT 67624341 SOS 11115796 HAS SOPS 11115796 HAS SOUS 4509967 HAS SOUPS 4509967 WITH SCORE 4521082.796
AT ITER 7768 NEW BEST:: SOT 67623921 SOS 11114956 HAS SOPS 11114956 HAS SOUS 4509127 HAS SOUPS 4509127 WITH SCORE 4520241.956
AT ITER 7777 NEW BEST:: SOT 67623921 SOS 11114906 HAS SOPS 11114906 HAS SOUS 4509127 HAS SOUPS 4509127 WITH SCORE 4520241.906
AT ITER 7805 NEW BEST:: SOT 67623415 SOS 11113894 HAS SOPS 11113894 HAS SOUS 4508115 HAS SOUPS 4508115 WITH SCORE 4519228.894
AT ITER 7810 NEW BEST:: SOT 67622842 SOS 11113544 HAS SOPS 11113544 HAS SOUS 4507364 HAS SOUPS 4507364 WITH SCORE 4518477.544
AT ITER 7822 NEW BEST:: SOT 67622999 SOS 11113324 HAS SOPS 11113324 HAS SOUS 4507333 HAS SOUPS 4507333 WITH SCORE 4518446.324
AT ITER 7827 NEW BEST:: SOT 67622865 SOS 11113056 HAS SOPS 11113056 HAS SOUS 4507065 HAS SOUPS 4507065 WITH SCORE 4518178.056
AT ITER 7829 NEW BEST:: SOT 67622111 SOS 11110746 HAS SOPS 11110746 HAS SOUS 4506310 HAS SOUPS 4506310 WITH SCORE 4517420.746
AT ITER 7836 NEW BEST:: SOT 67621004 SOS 11107425 HAS SOPS 11107425 HAS SOUS 4505203 HAS SOUPS 4505203 WITH SCORE 4516310.425
AT ITER 7866 NEW BEST:: SOT 67620815 SOS 11107173 HAS SOPS 11107173 HAS SOUS 4504908 HAS SOUPS 4504908 WITH SCORE 4516015.173
AT ITER 7878 NEW BEST:: SOT 67620815 SOS 11106310 HAS SOPS 11106310 HAS SOUS 4504908 HAS SOUPS 4504908 WITH SCORE 4516014.31
AT ITER 7888 NEW BEST:: SOT 67620506 SOS 11105098 HAS SOPS 11105098 HAS SOUS 4504741 HAS SOUPS 4504741 WITH SCORE 4515846.098
AT ITER 7895 NEW BEST:: SOT 67620506 SOS 11104276 HAS SOPS 11104276 HAS SOUS 4504399 HAS SOUPS 4504399 WITH SCORE 4515503.276
AT ITER 7910 NEW BEST:: SOT 67620482 SOS 11104228 HAS SOPS 11104228 HAS SOUS 4504374 HAS SOUPS 4504374 WITH SCORE 4515478.228
AT ITER 7921 NEW BEST:: SOT 67620407 SOS 11100472 HAS SOPS 11100472 HAS SOUS 4504299 HAS SOUPS 4504299 WITH SCORE 4515399.472
AT ITER 7963 NEW BEST:: SOT 67620184 SOS 11100026 HAS SOPS 11100026 HAS SOUS 4503351 HAS SOUPS 4503351 WITH SCORE 4514451.026
AT ITER 7987 NEW BEST:: SOT 67619953 SOS 11099333 HAS SOPS 11099333 HAS SOUS 4503164 HAS SOUPS 4503164 WITH SCORE 4514263.333
AT ITER 8080 NEW BEST:: SOT 67619143 SOS 11094689 HAS SOPS 11094689 HAS SOUS 4502971 HAS SOUPS 4502971 WITH SCORE 4514065.689
AT ITER 8091 NEW BEST:: SOT 67618960 SOS 11094323 HAS SOPS 11094323 HAS SOUS 4502788 HAS SOUPS 4502788 WITH SCORE 4513882.323
AT ITER 8099 NEW BEST:: SOT 67618960 SOS 11094021 HAS SOPS 11094021 HAS SOUS 4502787 HAS SOUPS 4502787 WITH SCORE 4513881.021
AT ITER 8104 NEW BEST:: SOT 67618810 SOS 11093972 HAS SOPS 11093972 HAS SOUS 4502729 HAS SOUPS 4502729 WITH SCORE 4513822.972
AT ITER 8116 NEW BEST:: SOT 67619233 SOS 11090618 HAS SOPS 11090618 HAS SOUS 4501872 HAS SOUPS 4501872 WITH SCORE 4512962.618
AT ITER 8137 NEW BEST:: SOT 67619233 SOS 11090618 HAS SOPS 11090618 HAS SOUS 4501869 HAS SOUPS 4501869 WITH SCORE 4512959.618
AT ITER 8139 NEW BEST:: SOT 67618821 SOS 11090205 HAS SOPS 11090205 HAS SOUS 4501662 HAS SOUPS 4501662 WITH SCORE 4512752.205
AT ITER 8145 NEW BEST:: SOT 67618559 SOS 11089681 HAS SOPS 11089681 HAS SOUS 4501400 HAS SOUPS 4501400 WITH SCORE 4512489.681
AT ITER 8154 NEW BEST:: SOT 67618559 SOS 11089369 HAS SOPS 11089369 HAS SOUS 4501189 HAS SOUPS 4501189 WITH SCORE 4512278.369
AT ITER 8171 NEW BEST:: SOT 67617669 SOS 11085261 HAS SOPS 11085261 HAS SOUS 4500298 HAS SOUPS 4500298 WITH SCORE 4511383.261
AT ITER 8202 NEW BEST:: SOT 67616509 SOS 11074464 HAS SOPS 11074464 HAS SOUS 4499862 HAS SOUPS 4499862 WITH SCORE 4510936.464
AT ITER 8207 NEW BEST:: SOT 67614786 SOS 11219881 HAS SOPS 11219881 HAS SOUS 4498140 HAS SOUPS 4498140 WITH SCORE 4509359.881
AT ITER 8210 NEW BEST:: SOT 67614786 SOS 11219641 HAS SOPS 11219641 HAS SOUS 4498140 HAS SOUPS 4498140 WITH SCORE 4509359.641
AT ITER 8219 NEW BEST:: SOT 67614541 SOS 11219151 HAS SOPS 11219151 HAS SOUS 4497650 HAS SOUPS 4497650 WITH SCORE 4508869.151
AT ITER 8221 NEW BEST:: SOT 67614541 SOS 11218878 HAS SOPS 11218878 HAS SOUS 4497648 HAS SOUPS 4497648 WITH SCORE 4508866.878
AT ITER 8242 NEW BEST:: SOT 67614541 SOS 11218520 HAS SOPS 11218520 HAS SOUS 4497647 HAS SOUPS 4497647 WITH SCORE 4508865.52
AT ITER 8255 NEW BEST:: SOT 67614179 SOS 11220330 HAS SOPS 11220330 HAS SOUS 4496923 HAS SOUPS 4496923 WITH SCORE 4508143.33
AT ITER 8286 NEW BEST:: SOT 67613150 SOS 11215221 HAS SOPS 11215221 HAS SOUS 4495894 HAS SOUPS 4495894 WITH SCORE 4507109.221
AT ITER 8299 NEW BEST:: SOT 67612350 SOS 11212366 HAS SOPS 11212366 HAS SOUS 4495303 HAS SOUPS 4495303 WITH SCORE 4506515.366
AT ITER 8364 NEW BEST:: SOT 67612402 SOS 11212174 HAS SOPS 11212174 HAS SOUS 4495111 HAS SOUPS 4495111 WITH SCORE 4506323.174
AT ITER 8429 NEW BEST:: SOT 67606588 SOS 11206360 HAS SOPS 11206360 HAS SOUS 4489195 HAS SOUPS 4489195 WITH SCORE 4500401.36
AT ITER 8438 NEW BEST:: SOT 67606214 SOS 11205612 HAS SOPS 11205612 HAS SOUS 4488820 HAS SOUPS 4488820 WITH SCORE 4500025.612
AT ITER 8441 NEW BEST:: SOT 67605505 SOS 11204416 HAS SOPS 11204416 HAS SOUS 4487393 HAS SOUPS 4487393 WITH SCORE 4498597.416
AT ITER 8453 NEW BEST:: SOT 67604764 SOS 11203652 HAS SOPS 11203652 HAS SOUS 4486406 HAS SOUPS 4486406 WITH SCORE 4497609.652
AT ITER 8472 NEW BEST:: SOT 67548067 SOS 11467806 HAS SOPS 11467806 HAS SOUS 4433155 HAS SOUPS 4433155 WITH SCORE 4444622.806
AT ITER 8541 NEW BEST:: SOT 67547608 SOS 11462736 HAS SOPS 11462736 HAS SOUS 4432467 HAS SOUPS 4432467 WITH SCORE 4443929.736
AT ITER 8551 NEW BEST:: SOT 67542771 SOS 11471535 HAS SOPS 11471535 HAS SOUS 4429338 HAS SOUPS 4429338 WITH SCORE 4440809.535
AT ITER 8560 NEW BEST:: SOT 67541877 SOS 11469747 HAS SOPS 11469747 HAS SOUS 4429338 HAS SOUPS 4429338 WITH SCORE 4440807.747
AT ITER 8572 NEW BEST:: SOT 67541877 SOS 11466405 HAS SOPS 11466405 HAS SOUS 4429338 HAS SOUPS 4429338 WITH SCORE 4440804.405
AT ITER 8588 NEW BEST:: SOT 67541678 SOS 11466189 HAS SOPS 11466189 HAS SOUS 4429329 HAS SOUPS 4429329 WITH SCORE 4440795.189
AT ITER 8611 NEW BEST:: SOT 67541390 SOS 11465613 HAS SOPS 11465613 HAS SOUS 4428471 HAS SOUPS 4428471 WITH SCORE 4439936.613
AT ITER 8615 NEW BEST:: SOT 67541382 SOS 11465597 HAS SOPS 11465597 HAS SOUS 4428463 HAS SOUPS 4428463 WITH SCORE 4439928.597
AT ITER 8618 NEW BEST:: SOT 67541227 SOS 11465287 HAS SOPS 11465287 HAS SOUS 4428086 HAS SOUPS 4428086 WITH SCORE 4439551.287
AT ITER 8619 NEW BEST:: SOT 67539777 SOS 11462387 HAS SOPS 11462387 HAS SOUS 4426636 HAS SOUPS 4426636 WITH SCORE 4438098.387
AT ITER 8630 NEW BEST:: SOT 67539777 SOS 11462668 HAS SOPS 11462668 HAS SOUS 4426635 HAS SOUPS 4426635 WITH SCORE 4438097.668
AT ITER 8637 NEW BEST:: SOT 67539722 SOS 11462503 HAS SOPS 11462503 HAS SOUS 4426505 HAS SOUPS 4426505 WITH SCORE 4437967.503
AT ITER 8638 NEW BEST:: SOT 67539636 SOS 11462331 HAS SOPS 11462331 HAS SOUS 4426419 HAS SOUPS 4426419 WITH SCORE 4437881.331
AT ITER 8643 NEW BEST:: SOT 67538905 SOS 11460869 HAS SOPS 11460869 HAS SOUS 4426315 HAS SOUPS 4426315 WITH SCORE 4437775.869
AT ITER 8650 NEW BEST:: SOT 67538622 SOS 11460869 HAS SOPS 11460869 HAS SOUS 4426032 HAS SOUPS 4426032 WITH SCORE 4437492.869
AT ITER 8651 NEW BEST:: SOT 67538458 SOS 11460541 HAS SOPS 11460541 HAS SOUS 4425750 HAS SOUPS 4425750 WITH SCORE 4437210.541
AT ITER 8652 NEW BEST:: SOT 67538178 SOS 11461007 HAS SOPS 11461007 HAS SOUS 4425470 HAS SOUPS 4425470 WITH SCORE 4436931.007
AT ITER 8662 NEW BEST:: SOT 67537924 SOS 11460245 HAS SOPS 11460245 HAS SOUS 4425216 HAS SOUPS 4425216 WITH SCORE 4436676.245
AT ITER 8678 NEW BEST:: SOT 67537924 SOS 11459641 HAS SOPS 11459641 HAS SOUS 4424914 HAS SOUPS 4424914 WITH SCORE 4436373.641
AT ITER 8685 NEW BEST:: SOT 67537183 SOS 11458159 HAS SOPS 11458159 HAS SOUS 4422691 HAS SOUPS 4422691 WITH SCORE 4434149.159
AT ITER 8696 NEW BEST:: SOT 67537183 SOS 11454844 HAS SOPS 11454844 HAS SOUS 4422691 HAS SOUPS 4422691 WITH SCORE 4434145.844
AT ITER 8726 NEW BEST:: SOT 67536442 SOS 11453362 HAS SOPS 11453362 HAS SOUS 4422691 HAS SOUPS 4422691 WITH SCORE 4434144.362
AT ITER 8728 NEW BEST:: SOT 67536442 SOS 11452380 HAS SOPS 11452380 HAS SOUS 4422200 HAS SOUPS 4422200 WITH SCORE 4433652.38
AT ITER 8741 NEW BEST:: SOT 67536113 SOS 11452641 HAS SOPS 11452641 HAS SOUS 4421918 HAS SOUPS 4421918 WITH SCORE 4433370.641
AT ITER 8771 NEW BEST:: SOT 67536113 SOS 11452057 HAS SOPS 11452057 HAS SOUS 4421917 HAS SOUPS 4421917 WITH SCORE 4433369.057
AT ITER 8773 NEW BEST:: SOT 67536113 SOS 11452168 HAS SOPS 11452168 HAS SOUS 4421914 HAS SOUPS 4421914 WITH SCORE 4433366.168
AT ITER 8781 NEW BEST:: SOT 67535583 SOS 11451776 HAS SOPS 11451776 HAS SOUS 4421552 HAS SOUPS 4421552 WITH SCORE 4433003.776
AT ITER 8826 NEW BEST:: SOT 67535530 SOS 11439185 HAS SOPS 11439185 HAS SOUS 4421499 HAS SOUPS 4421499 WITH SCORE 4432938.185
AT ITER 8854 NEW BEST:: SOT 67535438 SOS 11438181 HAS SOPS 11438181 HAS SOUS 4421407 HAS SOUPS 4421407 WITH SCORE 4432845.181
AT ITER 8870 NEW BEST:: SOT 67535350 SOS 11438005 HAS SOPS 11438005 HAS SOUS 4421188 HAS SOUPS 4421188 WITH SCORE 4432626.005
AT ITER 8874 NEW BEST:: SOT 67534323 SOS 11283955 HAS SOPS 11283955 HAS SOUS 4419134 HAS SOUPS 4419134 WITH SCORE 4430417.955
AT ITER 8878 NEW BEST:: SOT 67533744 SOS 11282797 HAS SOPS 11282797 HAS SOUS 4419132 HAS SOUPS 4419132 WITH SCORE 4430414.797
AT ITER 8895 NEW BEST:: SOT 67533611 SOS 11282531 HAS SOPS 11282531 HAS SOUS 4418999 HAS SOUPS 4418999 WITH SCORE 4430281.531
AT ITER 8926 NEW BEST:: SOT 67530054 SOS 11278687 HAS SOPS 11278687 HAS SOUS 4415343 HAS SOUPS 4415343 WITH SCORE 4426621.687
AT ITER 8939 NEW BEST:: SOT 67529692 SOS 11277963 HAS SOPS 11277963 HAS SOUS 4415342 HAS SOUPS 4415342 WITH SCORE 4426619.963
AT ITER 8955 NEW BEST:: SOT 67530034 SOS 11278591 HAS SOPS 11278591 HAS SOUS 4415304 HAS SOUPS 4415304 WITH SCORE 4426582.591
AT ITER 8982 NEW BEST:: SOT 67529536 SOS 11277595 HAS SOPS 11277595 HAS SOUS 4415301 HAS SOUPS 4415301 WITH SCORE 4426578.595
AT ITER 8987 NEW BEST:: SOT 67529536 SOS 11275123 HAS SOPS 11275123 HAS SOUS 4415301 HAS SOUPS 4415301 WITH SCORE 4426576.123
AT ITER 9002 NEW BEST:: SOT 67530353 SOS 11273558 HAS SOPS 11273558 HAS SOUS 4414775 HAS SOUPS 4414775 WITH SCORE 4426048.558
AT ITER 9034 NEW BEST:: SOT 67529648 SOS 11273239 HAS SOPS 11273239 HAS SOUS 4414420 HAS SOUPS 4414420 WITH SCORE 4425693.239
AT ITER 9063 NEW BEST:: SOT 67530024 SOS 11273991 HAS SOPS 11273991 HAS SOUS 4414330 HAS SOUPS 4414330 WITH SCORE 4425603.991
AT ITER 9071 NEW BEST:: SOT 67526531 SOS 11269223 HAS SOPS 11269223 HAS SOUS 4410087 HAS SOUPS 4410087 WITH SCORE 4421356.223
AT ITER 9082 NEW BEST:: SOT 67525923 SOS 11268991 HAS SOPS 11268991 HAS SOUS 4409614 HAS SOUPS 4409614 WITH SCORE 4420882.991
AT ITER 9107 NEW BEST:: SOT 67525427 SOS 11267999 HAS SOPS 11267999 HAS SOUS 4409118 HAS SOUPS 4409118 WITH SCORE 4420385.999
AT ITER 9138 NEW BEST:: SOT 67525273 SOS 11267691 HAS SOPS 11267691 HAS SOUS 4408963 HAS SOUPS 4408963 WITH SCORE 4420230.691
AT ITER 9173 NEW BEST:: SOT 67524932 SOS 11267009 HAS SOPS 11267009 HAS SOUS 4408621 HAS SOUPS 4408621 WITH SCORE 4419888.009
AT ITER 9194 NEW BEST:: SOT 67524383 SOS 11265079 HAS SOPS 11265079 HAS SOUS 4408122 HAS SOUPS 4408122 WITH SCORE 4419387.079
AT ITER 9234 NEW BEST:: SOT 67523685 SOS 11263683 HAS SOPS 11263683 HAS SOUS 4407424 HAS SOUPS 4407424 WITH SCORE 4418687.683
AT ITER 9243 NEW BEST:: SOT 67523384 SOS 11263081 HAS SOPS 11263081 HAS SOUS 4407423 HAS SOUPS 4407423 WITH SCORE 4418686.081
AT ITER 9244 NEW BEST:: SOT 67522803 SOS 11257623 HAS SOPS 11257623 HAS SOUS 4406891 HAS SOUPS 4406891 WITH SCORE 4418148.623
AT ITER 9246 NEW BEST:: SOT 67521624 SOS 11255999 HAS SOPS 11255999 HAS SOUS 4405204 HAS SOUPS 4405204 WITH SCORE 4416459.999
AT ITER 9247 NEW BEST:: SOT 67520180 SOS 11255923 HAS SOPS 11255923 HAS SOUS 4403489 HAS SOUPS 4403489 WITH SCORE 4414744.923
AT ITER 9263 NEW BEST:: SOT 67519851 SOS 11255265 HAS SOPS 11255265 HAS SOUS 4403160 HAS SOUPS 4403160 WITH SCORE 4414415.265
AT ITER 9265 NEW BEST:: SOT 67519851 SOS 11254988 HAS SOPS 11254988 HAS SOUS 4403160 HAS SOUPS 4403160 WITH SCORE 4414414.988
AT ITER 9281 NEW BEST:: SOT 67519468 SOS 11256022 HAS SOPS 11256022 HAS SOUS 4402585 HAS SOUPS 4402585 WITH SCORE 4413841.022
AT ITER 9291 NEW BEST:: SOT 67366045 SOS 11133906 HAS SOPS 11133906 HAS SOUS 4250286 HAS SOUPS 4250286 WITH SCORE 4261419.906
AT ITER 9315 NEW BEST:: SOT 67365181 SOS 11131314 HAS SOPS 11131314 HAS SOUS 4249422 HAS SOUPS 4249422 WITH SCORE 4260553.314
AT ITER 9321 NEW BEST:: SOT 67364942 SOS 11130836 HAS SOPS 11130836 HAS SOUS 4249420 HAS SOUPS 4249420 WITH SCORE 4260550.836
AT ITER 9322 NEW BEST:: SOT 67364942 SOS 11130836 HAS SOPS 11130836 HAS SOUS 4249419 HAS SOUPS 4249419 WITH SCORE 4260549.836
AT ITER 9327 NEW BEST:: SOT 67364713 SOS 11129691 HAS SOPS 11129691 HAS SOUS 4248961 HAS SOUPS 4248961 WITH SCORE 4260090.691
AT ITER 9355 NEW BEST:: SOT 67364713 SOS 11126148 HAS SOPS 11126148 HAS SOUS 4248961 HAS SOUPS 4248961 WITH SCORE 4260087.148
AT ITER 9397 NEW BEST:: SOT 67363989 SOS 11123976 HAS SOPS 11123976 HAS SOUS 4248237 HAS SOUPS 4248237 WITH SCORE 4259360.976
AT ITER 9421 NEW BEST:: SOT 67363989 SOS 11123976 HAS SOPS 11123976 HAS SOUS 4248235 HAS SOUPS 4248235 WITH SCORE 4259358.976
AT ITER 9429 NEW BEST:: SOT 67356224 SOS 11185850 HAS SOPS 11185850 HAS SOUS 4240991 HAS SOUPS 4240991 WITH SCORE 4252176.85
AT ITER 9448 NEW BEST:: SOT 67354656 SOS 11184544 HAS SOPS 11184544 HAS SOUS 4239423 HAS SOUPS 4239423 WITH SCORE 4250607.544
AT ITER 9468 NEW BEST:: SOT 67354061 SOS 11183354 HAS SOPS 11183354 HAS SOUS 4238828 HAS SOUPS 4238828 WITH SCORE 4250011.354
AT ITER 9483 NEW BEST:: SOT 67353695 SOS 11182622 HAS SOPS 11182622 HAS SOUS 4238828 HAS SOUPS 4238828 WITH SCORE 4250010.622
AT ITER 9505 NEW BEST:: SOT 67353124 SOS 11181480 HAS SOPS 11181480 HAS SOUS 4237115 HAS SOUPS 4237115 WITH SCORE 4248296.48
AT ITER 9510 NEW BEST:: SOT 67352949 SOS 11181130 HAS SOPS 11181130 HAS SOUS 4236940 HAS SOUPS 4236940 WITH SCORE 4248121.13
AT ITER 9531 NEW BEST:: SOT 67352248 SOS 11179728 HAS SOPS 11179728 HAS SOUS 4236372 HAS SOUPS 4236372 WITH SCORE 4247551.728
AT ITER 9548 NEW BEST:: SOT 67352091 SOS 11179900 HAS SOPS 11179900 HAS SOUS 4236298 HAS SOUPS 4236298 WITH SCORE 4247477.9
AT ITER 9585 NEW BEST:: SOT 67351954 SOS 11179779 HAS SOPS 11179779 HAS SOUS 4236161 HAS SOUPS 4236161 WITH SCORE 4247340.779
AT ITER 9641 NEW BEST:: SOT 67351214 SOS 11179039 HAS SOPS 11179039 HAS SOUS 4235418 HAS SOUPS 4235418 WITH SCORE 4246597.039
AT ITER 9699 NEW BEST:: SOT 67350569 SOS 11177104 HAS SOPS 11177104 HAS SOUS 4234773 HAS SOUPS 4234773 WITH SCORE 4245950.104
AT ITER 9735 NEW BEST:: SOT 67350569 SOS 11175474 HAS SOPS 11175474 HAS SOUS 4234773 HAS SOUPS 4234773 WITH SCORE 4245948.474
AT ITER 9740 NEW BEST:: SOT 67350339 SOS 11174784 HAS SOPS 11174784 HAS SOUS 4234543 HAS SOUPS 4234543 WITH SCORE 4245717.784
AT ITER 9762 NEW BEST:: SOT 67349878 SOS 11173862 HAS SOPS 11173862 HAS SOUS 4234082 HAS SOUPS 4234082 WITH SCORE 4245255.862
AT ITER 9789 NEW BEST:: SOT 67349770 SOS 11174050 HAS SOPS 11174050 HAS SOUS 4233974 HAS SOUPS 4233974 WITH SCORE 4245148.05
AT ITER 9818 NEW BEST:: SOT 67347864 SOS 11171277 HAS SOPS 11171277 HAS SOUS 4232212 HAS SOUPS 4232212 WITH SCORE 4243383.277
AT ITER 9835 NEW BEST:: SOT 67347864 SOS 11171035 HAS SOPS 11171035 HAS SOUS 4232212 HAS SOUPS 4232212 WITH SCORE 4243383.035
AT ITER 9860 NEW BEST:: SOT 67347479 SOS 11170265 HAS SOPS 11170265 HAS SOUS 4232212 HAS SOUPS 4232212 WITH SCORE 4243382.265
AT ITER 9899 NEW BEST:: SOT 67347479 SOS 11169677 HAS SOPS 11169677 HAS SOUS 4232212 HAS SOUPS 4232212 WITH SCORE 4243381.677
AT ITER 9914 NEW BEST:: SOT 67346969 SOS 11168657 HAS SOPS 11168657 HAS SOUS 4231702 HAS SOUPS 4231702 WITH SCORE 4242870.657
AT ITER 9944 NEW BEST:: SOT 67346904 SOS 11168462 HAS SOPS 11168462 HAS SOUS 4231637 HAS SOUPS 4231637 WITH SCORE 4242805.462
AT ITER 9967 NEW BEST:: SOT 67346336 SOS 11167326 HAS SOPS 11167326 HAS SOUS 4231069 HAS SOUPS 4231069 WITH SCORE 4242236.326
AT ITER 9978 NEW BEST:: SOT 67346379 SOS 11167412 HAS SOPS 11167412 HAS SOUS 4230236 HAS SOUPS 4230236 WITH SCORE 4241403.412
AT ITER 9981 NEW BEST:: SOT 67345811 SOS 11167412 HAS SOPS 11167412 HAS SOUS 4230083 HAS SOUPS 4230083 WITH SCORE 4241250.412
AT ITER 9993 NEW BEST:: SOT 67344953 SOS 11166988 HAS SOPS 11166988 HAS SOUS 4228276 HAS SOUPS 4228276 WITH SCORE 4239442.988
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13634912 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16145208 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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="NoC3x3-PT-8B"
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 NoC3x3-PT-8B, 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 r259-smll-167863534400352"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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