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.r171-tall-167838859000688.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 smartxred
Input is FunctionPointer-PT-b016, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838859000688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 828K
-rw-r--r-- 1 mcc users 7.1K Feb 25 11:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 11:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 129K Feb 25 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 25 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K 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 1679497147811

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=FunctionPointer-PT-b016
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 14:59:09] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 14:59:09] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 14:59:09] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-22 14:59:09] [INFO ] Transformed 306 places.
[2023-03-22 14:59:09] [INFO ] Transformed 840 transitions.
[2023-03-22 14:59:09] [INFO ] Parsed PT model containing 306 places and 840 transitions and 3392 arcs in 151 ms.
[2023-03-22 14:59:09] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 306 places, 840 transitions and 3392 arcs took 9 ms.
Total runtime 187 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b016
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250193 SOS 199462 HAS SOPS 193223 HAS SOUS 100184 HAS SOUPS 99748 WITH SCORE 99947.462
AT ITER 1 NEW BEST:: SOT 250193 SOS 199340 HAS SOPS 193101 HAS SOUS 100132 HAS SOUPS 99696 WITH SCORE 99895.34
AT ITER 3 NEW BEST:: SOT 250193 SOS 199113 HAS SOPS 192874 HAS SOUS 100090 HAS SOUPS 99654 WITH SCORE 99853.113
AT ITER 4 NEW BEST:: SOT 250193 SOS 198861 HAS SOPS 192622 HAS SOUS 99983 HAS SOUPS 99547 WITH SCORE 99745.861
AT ITER 8 NEW BEST:: SOT 250193 SOS 197837 HAS SOPS 190550 HAS SOUS 100053 HAS SOUPS 98569 WITH SCORE 98766.837
AT ITER 11 NEW BEST:: SOT 250193 SOS 197755 HAS SOPS 190386 HAS SOUS 100135 HAS SOUPS 98569 WITH SCORE 98766.755
AT ITER 13 NEW BEST:: SOT 250193 SOS 197397 HAS SOPS 190028 HAS SOUS 100096 HAS SOUPS 98530 WITH SCORE 98727.397
AT ITER 19 NEW BEST:: SOT 250193 SOS 197533 HAS SOPS 190164 HAS SOUS 100058 HAS SOUPS 98492 WITH SCORE 98689.533
AT ITER 25 NEW BEST:: SOT 250193 SOS 196533 HAS SOPS 188719 HAS SOUS 99483 HAS SOUPS 97854 WITH SCORE 98050.533
AT ITER 30 NEW BEST:: SOT 250193 SOS 196511 HAS SOPS 188697 HAS SOUS 99475 HAS SOUPS 97846 WITH SCORE 98042.511
AT ITER 37 NEW BEST:: SOT 228760 SOS 175635 HAS SOPS 167324 HAS SOUS 98547 HAS SOUPS 96857 WITH SCORE 97032.635
AT ITER 40 NEW BEST:: SOT 192802 SOS 140869 HAS SOPS 131414 HAS SOUS 76083 HAS SOUPS 74311 WITH SCORE 74451.869
AT ITER 41 NEW BEST:: SOT 192802 SOS 140983 HAS SOPS 131528 HAS SOUS 76046 HAS SOUPS 74274 WITH SCORE 74414.983
AT ITER 44 NEW BEST:: SOT 192802 SOS 140707 HAS SOPS 131342 HAS SOUS 75978 HAS SOUPS 74258 WITH SCORE 74398.707
AT ITER 47 NEW BEST:: SOT 192838 SOS 140159 HAS SOPS 130770 HAS SOUS 75792 HAS SOUPS 74072 WITH SCORE 74212.159
AT ITER 48 NEW BEST:: SOT 192838 SOS 140113 HAS SOPS 130724 HAS SOUS 75662 HAS SOUPS 73942 WITH SCORE 74082.113
AT ITER 50 NEW BEST:: SOT 192823 SOS 139844 HAS SOPS 130567 HAS SOUS 75561 HAS SOUPS 73841 WITH SCORE 73980.844
AT ITER 53 NEW BEST:: SOT 192819 SOS 139832 HAS SOPS 130555 HAS SOUS 75549 HAS SOUPS 73829 WITH SCORE 73968.832
AT ITER 54 NEW BEST:: SOT 192819 SOS 139429 HAS SOPS 130152 HAS SOUS 75465 HAS SOUPS 73745 WITH SCORE 73884.429
AT ITER 68 NEW BEST:: SOT 192819 SOS 139429 HAS SOPS 130152 HAS SOUS 75369 HAS SOUPS 73649 WITH SCORE 73788.429
AT ITER 72 NEW BEST:: SOT 192858 SOS 139288 HAS SOPS 130011 HAS SOUS 75358 HAS SOUPS 73638 WITH SCORE 73777.288
AT ITER 75 NEW BEST:: SOT 192866 SOS 139172 HAS SOPS 129974 HAS SOUS 75229 HAS SOUPS 73588 WITH SCORE 73727.172
AT ITER 76 NEW BEST:: SOT 192892 SOS 139198 HAS SOPS 129984 HAS SOUS 75227 HAS SOUPS 73586 WITH SCORE 73725.198
AT ITER 78 NEW BEST:: SOT 192930 SOS 138952 HAS SOPS 129830 HAS SOUS 74829 HAS SOUPS 73240 WITH SCORE 73378.952
AT ITER 79 NEW BEST:: SOT 192930 SOS 138926 HAS SOPS 129804 HAS SOUS 74829 HAS SOUPS 73240 WITH SCORE 73378.926
AT ITER 80 NEW BEST:: SOT 192930 SOS 138961 HAS SOPS 130010 HAS SOUS 74495 HAS SOUPS 73077 WITH SCORE 73215.961
AT ITER 87 NEW BEST:: SOT 192914 SOS 138945 HAS SOPS 129978 HAS SOUS 74463 HAS SOUPS 73045 WITH SCORE 73183.945
AT ITER 98 NEW BEST:: SOT 192898 SOS 138737 HAS SOPS 129850 HAS SOUS 74437 HAS SOUPS 73019 WITH SCORE 73157.737
AT ITER 105 NEW BEST:: SOT 192898 SOS 138637 HAS SOPS 129750 HAS SOUS 74412 HAS SOUPS 72994 WITH SCORE 73132.637
AT ITER 106 NEW BEST:: SOT 192898 SOS 138779 HAS SOPS 129892 HAS SOUS 74367 HAS SOUPS 72949 WITH SCORE 73087.779
AT ITER 108 NEW BEST:: SOT 192895 SOS 138768 HAS SOPS 129873 HAS SOUS 74348 HAS SOUPS 72930 WITH SCORE 73068.768
AT ITER 114 NEW BEST:: SOT 192885 SOS 138758 HAS SOPS 129853 HAS SOUS 74329 HAS SOUPS 72910 WITH SCORE 73048.758
AT ITER 115 NEW BEST:: SOT 193113 SOS 138746 HAS SOPS 129781 HAS SOUS 74323 HAS SOUPS 72904 WITH SCORE 73042.746
AT ITER 116 NEW BEST:: SOT 193119 SOS 138897 HAS SOPS 130023 HAS SOUS 74128 HAS SOUPS 72761 WITH SCORE 72899.897
AT ITER 118 NEW BEST:: SOT 156014 SOS 113427 HAS SOPS 94256 HAS SOUS 72325 HAS SOUPS 70780 WITH SCORE 70893.427
AT ITER 120 NEW BEST:: SOT 156014 SOS 113427 HAS SOPS 94256 HAS SOUS 72313 HAS SOUPS 70768 WITH SCORE 70881.427
AT ITER 123 NEW BEST:: SOT 156301 SOS 113428 HAS SOPS 93871 HAS SOUS 72097 HAS SOUPS 70552 WITH SCORE 70665.428
AT ITER 124 NEW BEST:: SOT 156317 SOS 113290 HAS SOPS 93749 HAS SOUS 71975 HAS SOUPS 70430 WITH SCORE 70543.29
AT ITER 125 NEW BEST:: SOT 156327 SOS 113300 HAS SOPS 93759 HAS SOUS 71875 HAS SOUPS 70330 WITH SCORE 70443.3
AT ITER 127 NEW BEST:: SOT 156342 SOS 113257 HAS SOPS 93731 HAS SOUS 71782 HAS SOUPS 70237 WITH SCORE 70350.257
AT ITER 130 NEW BEST:: SOT 156342 SOS 113219 HAS SOPS 93693 HAS SOUS 71775 HAS SOUPS 70230 WITH SCORE 70343.219
AT ITER 134 NEW BEST:: SOT 156316 SOS 113193 HAS SOPS 93641 HAS SOUS 71721 HAS SOUPS 70176 WITH SCORE 70289.193
AT ITER 136 NEW BEST:: SOT 156333 SOS 113355 HAS SOPS 93813 HAS SOUS 71700 HAS SOUPS 70155 WITH SCORE 70268.355
AT ITER 147 NEW BEST:: SOT 156185 SOS 113207 HAS SOPS 93649 HAS SOUS 71536 HAS SOUPS 69991 WITH SCORE 70104.207
AT ITER 149 NEW BEST:: SOT 156025 SOS 112993 HAS SOPS 93309 HAS SOUS 71376 HAS SOUPS 69785 WITH SCORE 69897.993
AT ITER 150 NEW BEST:: SOT 156073 SOS 112949 HAS SOPS 93177 HAS SOUS 71187 HAS SOUPS 69596 WITH SCORE 69708.949
AT ITER 153 NEW BEST:: SOT 156073 SOS 113051 HAS SOPS 93279 HAS SOUS 71068 HAS SOUPS 69477 WITH SCORE 69590.051
AT ITER 154 NEW BEST:: SOT 156062 SOS 113003 HAS SOPS 93462 HAS SOUS 70877 HAS SOUPS 69374 WITH SCORE 69487.003
AT ITER 156 NEW BEST:: SOT 155944 SOS 112885 HAS SOPS 93326 HAS SOUS 70759 HAS SOUPS 69238 WITH SCORE 69350.885
AT ITER 172 NEW BEST:: SOT 155944 SOS 112885 HAS SOPS 93420 HAS SOUS 70709 HAS SOUPS 69232 WITH SCORE 69344.885
AT ITER 173 NEW BEST:: SOT 155944 SOS 112885 HAS SOPS 93420 HAS SOUS 70708 HAS SOUPS 69231 WITH SCORE 69343.885
AT ITER 174 NEW BEST:: SOT 155944 SOS 112878 HAS SOPS 93413 HAS SOUS 70696 HAS SOUPS 69219 WITH SCORE 69331.878
AT ITER 175 NEW BEST:: SOT 155944 SOS 112650 HAS SOPS 93185 HAS SOUS 70679 HAS SOUPS 69202 WITH SCORE 69314.65
AT ITER 181 NEW BEST:: SOT 156003 SOS 112567 HAS SOPS 93244 HAS SOUS 70663 HAS SOUPS 69194 WITH SCORE 69306.567
AT ITER 193 NEW BEST:: SOT 156273 SOS 112699 HAS SOPS 93218 HAS SOUS 70453 HAS SOUPS 68984 WITH SCORE 69096.699
AT ITER 197 NEW BEST:: SOT 156737 SOS 113429 HAS SOPS 94064 HAS SOUS 70210 HAS SOUPS 68741 WITH SCORE 68854.429
AT ITER 203 NEW BEST:: SOT 156737 SOS 113309 HAS SOPS 93944 HAS SOUS 70164 HAS SOUPS 68695 WITH SCORE 68808.309
AT ITER 226 NEW BEST:: SOT 156702 SOS 113239 HAS SOPS 93886 HAS SOUS 70082 HAS SOUPS 68613 WITH SCORE 68726.239
AT ITER 234 NEW BEST:: SOT 156702 SOS 113238 HAS SOPS 93885 HAS SOUS 70080 HAS SOUPS 68611 WITH SCORE 68724.238
AT ITER 235 NEW BEST:: SOT 156523 SOS 106880 HAS SOPS 89912 HAS SOUS 69698 HAS SOUPS 68388 WITH SCORE 68494.88
AT ITER 239 NEW BEST:: SOT 156485 SOS 106724 HAS SOPS 89718 HAS SOUS 69500 HAS SOUPS 68190 WITH SCORE 68296.724
AT ITER 240 NEW BEST:: SOT 156469 SOS 106692 HAS SOPS 89702 HAS SOUS 69436 HAS SOUPS 68126 WITH SCORE 68232.692
AT ITER 247 NEW BEST:: SOT 156831 SOS 107175 HAS SOPS 90169 HAS SOUS 68890 HAS SOUPS 67580 WITH SCORE 67687.175
AT ITER 254 NEW BEST:: SOT 156737 SOS 107043 HAS SOPS 89785 HAS SOUS 68715 HAS SOUPS 67363 WITH SCORE 67470.043
AT ITER 258 NEW BEST:: SOT 156719 SOS 107025 HAS SOPS 89749 HAS SOUS 68679 HAS SOUPS 67327 WITH SCORE 67434.025
AT ITER 259 NEW BEST:: SOT 156855 SOS 107111 HAS SOPS 89666 HAS SOUS 68630 HAS SOUPS 67278 WITH SCORE 67385.111
AT ITER 268 NEW BEST:: SOT 157877 SOS 106226 HAS SOPS 90391 HAS SOUS 67666 HAS SOUPS 66326 WITH SCORE 66432.226
AT ITER 277 NEW BEST:: SOT 157859 SOS 106208 HAS SOPS 90355 HAS SOUS 67630 HAS SOUPS 66290 WITH SCORE 66396.208
AT ITER 281 NEW BEST:: SOT 157817 SOS 105984 HAS SOPS 90008 HAS SOUS 67186 HAS SOUPS 65846 WITH SCORE 65951.984
AT ITER 294 NEW BEST:: SOT 157758 SOS 105916 HAS SOPS 89981 HAS SOUS 67109 HAS SOUPS 65819 WITH SCORE 65924.916
AT ITER 296 NEW BEST:: SOT 157715 SOS 105819 HAS SOPS 89733 HAS SOUS 67096 HAS SOUPS 65729 WITH SCORE 65834.819
AT ITER 304 NEW BEST:: SOT 157715 SOS 105811 HAS SOPS 89725 HAS SOUS 67049 HAS SOUPS 65682 WITH SCORE 65787.811
AT ITER 307 NEW BEST:: SOT 157365 SOS 105461 HAS SOPS 89123 HAS SOUS 66444 HAS SOUPS 65058 WITH SCORE 65163.461
AT ITER 308 NEW BEST:: SOT 157365 SOS 105431 HAS SOPS 89093 HAS SOUS 66414 HAS SOUPS 65028 WITH SCORE 65133.431
AT ITER 311 NEW BEST:: SOT 157365 SOS 105307 HAS SOPS 88921 HAS SOUS 66380 HAS SOUPS 64994 WITH SCORE 65099.307
AT ITER 312 NEW BEST:: SOT 157317 SOS 105217 HAS SOPS 88783 HAS SOUS 66282 HAS SOUPS 64896 WITH SCORE 65001.217
AT ITER 313 NEW BEST:: SOT 157351 SOS 105285 HAS SOPS 88885 HAS SOUS 66222 HAS SOUPS 64836 WITH SCORE 64941.285
AT ITER 315 NEW BEST:: SOT 157293 SOS 101673 HAS SOPS 86924 HAS SOUS 66071 HAS SOUPS 64787 WITH SCORE 64888.673
AT ITER 320 NEW BEST:: SOT 157421 SOS 101768 HAS SOPS 86965 HAS SOUS 65998 HAS SOUPS 64714 WITH SCORE 64815.768
AT ITER 323 NEW BEST:: SOT 157415 SOS 101742 HAS SOPS 86959 HAS SOUS 65952 HAS SOUPS 64688 WITH SCORE 64789.742
AT ITER 324 NEW BEST:: SOT 159038 SOS 100745 HAS SOPS 87916 HAS SOUS 64602 HAS SOUPS 63354 WITH SCORE 63454.745
AT ITER 333 NEW BEST:: SOT 159033 SOS 100653 HAS SOPS 87979 HAS SOUS 64452 HAS SOUPS 63296 WITH SCORE 63396.653
AT ITER 335 NEW BEST:: SOT 159026 SOS 100614 HAS SOPS 87870 HAS SOUS 64431 HAS SOUPS 63275 WITH SCORE 63375.614
AT ITER 344 NEW BEST:: SOT 158986 SOS 100484 HAS SOPS 87820 HAS SOUS 64145 HAS SOUPS 63061 WITH SCORE 63161.484
AT ITER 345 NEW BEST:: SOT 159016 SOS 100490 HAS SOPS 87802 HAS SOUS 64143 HAS SOUPS 63059 WITH SCORE 63159.49
AT ITER 358 NEW BEST:: SOT 159016 SOS 100478 HAS SOPS 87790 HAS SOUS 64143 HAS SOUPS 63059 WITH SCORE 63159.478
AT ITER 361 NEW BEST:: SOT 158918 SOS 100380 HAS SOPS 87692 HAS SOUS 64007 HAS SOUPS 62923 WITH SCORE 63023.38
AT ITER 363 NEW BEST:: SOT 158869 SOS 100164 HAS SOPS 87490 HAS SOUS 63750 HAS SOUPS 62666 WITH SCORE 62766.164
AT ITER 368 NEW BEST:: SOT 158747 SOS 100042 HAS SOPS 87137 HAS SOUS 63506 HAS SOUPS 62422 WITH SCORE 62522.042
AT ITER 373 NEW BEST:: SOT 158612 SOS 99631 HAS SOPS 86763 HAS SOUS 62961 HAS SOUPS 61975 WITH SCORE 62074.631
AT ITER 376 NEW BEST:: SOT 137810 SOS 86961 HAS SOPS 67999 HAS SOUS 42524 HAS SOUPS 41693 WITH SCORE 41779.961
AT ITER 381 NEW BEST:: SOT 137756 SOS 86899 HAS SOPS 67802 HAS SOUS 42478 HAS SOUPS 41647 WITH SCORE 41733.899
AT ITER 383 NEW BEST:: SOT 137690 SOS 86833 HAS SOPS 67697 HAS SOUS 42343 HAS SOUPS 41512 WITH SCORE 41598.833
AT ITER 412 NEW BEST:: SOT 137682 SOS 86825 HAS SOPS 67685 HAS SOUS 42327 HAS SOUPS 41496 WITH SCORE 41582.825
AT ITER 414 NEW BEST:: SOT 137682 SOS 86825 HAS SOPS 67685 HAS SOUS 42319 HAS SOUPS 41488 WITH SCORE 41574.825
AT ITER 417 NEW BEST:: SOT 137682 SOS 86843 HAS SOPS 67703 HAS SOUS 42187 HAS SOUPS 41356 WITH SCORE 41442.843
AT ITER 418 NEW BEST:: SOT 137504 SOS 86665 HAS SOPS 67293 HAS SOUS 41815 HAS SOUPS 40984 WITH SCORE 41070.665
AT ITER 430 NEW BEST:: SOT 137488 SOS 86649 HAS SOPS 67261 HAS SOUS 41783 HAS SOUPS 40952 WITH SCORE 41038.649
AT ITER 437 NEW BEST:: SOT 137396 SOS 86557 HAS SOPS 67257 HAS SOUS 41777 HAS SOUPS 40948 WITH SCORE 41034.557
AT ITER 438 NEW BEST:: SOT 137388 SOS 86564 HAS SOPS 67319 HAS SOUS 41745 HAS SOUPS 40946 WITH SCORE 41032.564
AT ITER 440 NEW BEST:: SOT 137193 SOS 86369 HAS SOPS 66856 HAS SOUS 41308 HAS SOUPS 40509 WITH SCORE 40595.369
AT ITER 443 NEW BEST:: SOT 137187 SOS 86363 HAS SOPS 66832 HAS SOUS 41284 HAS SOUPS 40485 WITH SCORE 40571.363
AT ITER 446 NEW BEST:: SOT 137041 SOS 86217 HAS SOPS 66584 HAS SOUS 41240 HAS SOUPS 40441 WITH SCORE 40527.217
AT ITER 457 NEW BEST:: SOT 137041 SOS 86061 HAS SOPS 66428 HAS SOUS 41174 HAS SOUPS 40375 WITH SCORE 40461.061
AT ITER 472 NEW BEST:: SOT 137040 SOS 86059 HAS SOPS 66427 HAS SOUS 41171 HAS SOUPS 40373 WITH SCORE 40459.059
AT ITER 481 NEW BEST:: SOT 137010 SOS 86029 HAS SOPS 66379 HAS SOUS 41123 HAS SOUPS 40325 WITH SCORE 40411.029
AT ITER 483 NEW BEST:: SOT 137095 SOS 86164 HAS SOPS 66429 HAS SOUS 41091 HAS SOUPS 40293 WITH SCORE 40379.164
AT ITER 491 NEW BEST:: SOT 137076 SOS 86296 HAS SOPS 66594 HAS SOUS 41072 HAS SOUPS 40274 WITH SCORE 40360.296
AT ITER 494 NEW BEST:: SOT 137076 SOS 86186 HAS SOPS 66484 HAS SOUS 41005 HAS SOUPS 40207 WITH SCORE 40293.186
AT ITER 499 NEW BEST:: SOT 136842 SOS 85952 HAS SOPS 65998 HAS SOUS 40589 HAS SOUPS 39791 WITH SCORE 39876.952
AT ITER 503 NEW BEST:: SOT 136809 SOS 85929 HAS SOPS 65809 HAS SOUS 40554 HAS SOUPS 39756 WITH SCORE 39841.929
AT ITER 513 NEW BEST:: SOT 136780 SOS 85900 HAS SOPS 65780 HAS SOUS 40463 HAS SOUPS 39665 WITH SCORE 39750.9
AT ITER 518 NEW BEST:: SOT 136764 SOS 85884 HAS SOPS 65748 HAS SOUS 40431 HAS SOUPS 39633 WITH SCORE 39718.884
AT ITER 522 NEW BEST:: SOT 136754 SOS 85874 HAS SOPS 65766 HAS SOUS 40335 HAS SOUPS 39537 WITH SCORE 39622.874
AT ITER 524 NEW BEST:: SOT 136794 SOS 85914 HAS SOPS 65846 HAS SOUS 40284 HAS SOUPS 39510 WITH SCORE 39595.914
AT ITER 540 NEW BEST:: SOT 136923 SOS 85738 HAS SOPS 65633 HAS SOUS 40211 HAS SOUPS 39437 WITH SCORE 39522.738
AT ITER 541 NEW BEST:: SOT 136921 SOS 85736 HAS SOPS 65633 HAS SOUS 40211 HAS SOUPS 39437 WITH SCORE 39522.736
AT ITER 543 NEW BEST:: SOT 137564 SOS 86328 HAS SOPS 66071 HAS SOUS 40240 HAS SOUPS 39383 WITH SCORE 39469.328
AT ITER 551 NEW BEST:: SOT 137507 SOS 86197 HAS SOPS 65850 HAS SOUS 39999 HAS SOUPS 39142 WITH SCORE 39228.197
AT ITER 562 NEW BEST:: SOT 137507 SOS 85673 HAS SOPS 65326 HAS SOUS 39833 HAS SOUPS 38976 WITH SCORE 39061.673
AT ITER 574 NEW BEST:: SOT 137359 SOS 85525 HAS SOPS 65000 HAS SOUS 39717 HAS SOUPS 38860 WITH SCORE 38945.525
AT ITER 575 NEW BEST:: SOT 137357 SOS 85468 HAS SOPS 64941 HAS SOUS 39696 HAS SOUPS 38839 WITH SCORE 38924.468
AT ITER 578 NEW BEST:: SOT 137353 SOS 85464 HAS SOPS 64937 HAS SOUS 39692 HAS SOUPS 38835 WITH SCORE 38920.464
AT ITER 582 NEW BEST:: SOT 137253 SOS 85421 HAS SOPS 64902 HAS SOUS 39574 HAS SOUPS 38717 WITH SCORE 38802.421
AT ITER 585 NEW BEST:: SOT 137253 SOS 85327 HAS SOPS 64808 HAS SOUS 39563 HAS SOUPS 38706 WITH SCORE 38791.327
AT ITER 593 NEW BEST:: SOT 137497 SOS 85519 HAS SOPS 65058 HAS SOUS 39234 HAS SOUPS 38377 WITH SCORE 38462.519
AT ITER 597 NEW BEST:: SOT 137497 SOS 85349 HAS SOPS 64888 HAS SOUS 39110 HAS SOUPS 38253 WITH SCORE 38338.349
AT ITER 599 NEW BEST:: SOT 137497 SOS 85283 HAS SOPS 64822 HAS SOUS 39077 HAS SOUPS 38220 WITH SCORE 38305.283
AT ITER 600 NEW BEST:: SOT 137583 SOS 85427 HAS SOPS 64974 HAS SOUS 38810 HAS SOUPS 37953 WITH SCORE 38038.427
AT ITER 602 NEW BEST:: SOT 137583 SOS 85427 HAS SOPS 64974 HAS SOUS 38796 HAS SOUPS 37939 WITH SCORE 38024.427
AT ITER 603 NEW BEST:: SOT 137357 SOS 85201 HAS SOPS 64508 HAS SOUS 38648 HAS SOUPS 37791 WITH SCORE 37876.201
AT ITER 632 NEW BEST:: SOT 137435 SOS 85279 HAS SOPS 64588 HAS SOUS 38552 HAS SOUPS 37695 WITH SCORE 37780.279
AT ITER 652 NEW BEST:: SOT 137431 SOS 85275 HAS SOPS 64580 HAS SOUS 38544 HAS SOUPS 37687 WITH SCORE 37772.275
AT ITER 654 NEW BEST:: SOT 137410 SOS 85254 HAS SOPS 64566 HAS SOUS 38523 HAS SOUPS 37666 WITH SCORE 37751.254
AT ITER 660 NEW BEST:: SOT 137340 SOS 85167 HAS SOPS 64606 HAS SOUS 38505 HAS SOUPS 37614 WITH SCORE 37699.167
AT ITER 661 NEW BEST:: SOT 137202 SOS 84926 HAS SOPS 64663 HAS SOUS 38310 HAS SOUPS 37502 WITH SCORE 37586.926
AT ITER 666 NEW BEST:: SOT 137202 SOS 84700 HAS SOPS 64437 HAS SOUS 38310 HAS SOUPS 37502 WITH SCORE 37586.7
AT ITER 668 NEW BEST:: SOT 137152 SOS 84650 HAS SOPS 64485 HAS SOUS 38308 HAS SOUPS 37500 WITH SCORE 37584.65
AT ITER 671 NEW BEST:: SOT 137136 SOS 84634 HAS SOPS 64453 HAS SOUS 38276 HAS SOUPS 37468 WITH SCORE 37552.634
AT ITER 673 NEW BEST:: SOT 137122 SOS 84620 HAS SOPS 64425 HAS SOUS 38248 HAS SOUPS 37440 WITH SCORE 37524.62
AT ITER 685 NEW BEST:: SOT 136882 SOS 84417 HAS SOPS 64252 HAS SOUS 38098 HAS SOUPS 37290 WITH SCORE 37374.417
AT ITER 689 NEW BEST:: SOT 136882 SOS 84412 HAS SOPS 64242 HAS SOUS 38103 HAS SOUPS 37290 WITH SCORE 37374.412
AT ITER 701 NEW BEST:: SOT 136799 SOS 84341 HAS SOPS 64037 HAS SOUS 37952 HAS SOUPS 37139 WITH SCORE 37223.341
AT ITER 703 NEW BEST:: SOT 136683 SOS 84154 HAS SOPS 63854 HAS SOUS 37669 HAS SOUPS 36856 WITH SCORE 36940.154
AT ITER 704 NEW BEST:: SOT 136683 SOS 84150 HAS SOPS 63850 HAS SOUS 37669 HAS SOUPS 36856 WITH SCORE 36940.15
AT ITER 710 NEW BEST:: SOT 136686 SOS 84153 HAS SOPS 63818 HAS SOUS 37640 HAS SOUPS 36827 WITH SCORE 36911.153
AT ITER 711 NEW BEST:: SOT 136695 SOS 83156 HAS SOPS 62803 HAS SOUS 37465 HAS SOUPS 36652 WITH SCORE 36735.156
AT ITER 727 NEW BEST:: SOT 136693 SOS 83154 HAS SOPS 62799 HAS SOUS 37461 HAS SOUPS 36648 WITH SCORE 36731.154
AT ITER 734 NEW BEST:: SOT 136667 SOS 83128 HAS SOPS 62773 HAS SOUS 37383 HAS SOUPS 36570 WITH SCORE 36653.128
AT ITER 737 NEW BEST:: SOT 136629 SOS 83090 HAS SOPS 62719 HAS SOUS 37307 HAS SOUPS 36494 WITH SCORE 36577.09
AT ITER 739 NEW BEST:: SOT 136853 SOS 82904 HAS SOPS 62470 HAS SOUS 37230 HAS SOUPS 36417 WITH SCORE 36499.904
AT ITER 751 NEW BEST:: SOT 136849 SOS 82900 HAS SOPS 62462 HAS SOUS 37226 HAS SOUPS 36413 WITH SCORE 36495.9
AT ITER 761 NEW BEST:: SOT 136801 SOS 82852 HAS SOPS 62388 HAS SOUS 37164 HAS SOUPS 36351 WITH SCORE 36433.852
AT ITER 764 NEW BEST:: SOT 136801 SOS 82913 HAS SOPS 62449 HAS SOUS 37163 HAS SOUPS 36350 WITH SCORE 36432.913
AT ITER 775 NEW BEST:: SOT 136801 SOS 82463 HAS SOPS 61999 HAS SOUS 37110 HAS SOUPS 36297 WITH SCORE 36379.463
AT ITER 810 NEW BEST:: SOT 136801 SOS 82425 HAS SOPS 61961 HAS SOUS 37091 HAS SOUPS 36278 WITH SCORE 36360.425
AT ITER 811 NEW BEST:: SOT 136801 SOS 82419 HAS SOPS 61955 HAS SOUS 37088 HAS SOUPS 36275 WITH SCORE 36357.419
AT ITER 812 NEW BEST:: SOT 136808 SOS 82113 HAS SOPS 61642 HAS SOUS 37077 HAS SOUPS 36264 WITH SCORE 36346.113
AT ITER 815 NEW BEST:: SOT 136851 SOS 81952 HAS SOPS 61585 HAS SOUS 36964 HAS SOUPS 36203 WITH SCORE 36284.952
AT ITER 822 NEW BEST:: SOT 136960 SOS 82061 HAS SOPS 61812 HAS SOUS 36902 HAS SOUPS 36141 WITH SCORE 36223.061
AT ITER 824 NEW BEST:: SOT 135974 SOS 82960 HAS SOPS 62700 HAS SOUS 36511 HAS SOUPS 35767 WITH SCORE 35849.96
AT ITER 841 NEW BEST:: SOT 135866 SOS 82852 HAS SOPS 62538 HAS SOUS 36349 HAS SOUPS 35605 WITH SCORE 35687.852
AT ITER 854 NEW BEST:: SOT 135983 SOS 82968 HAS SOPS 62537 HAS SOUS 36289 HAS SOUPS 35545 WITH SCORE 35627.968
AT ITER 859 NEW BEST:: SOT 136008 SOS 82938 HAS SOPS 62454 HAS SOUS 36201 HAS SOUPS 35457 WITH SCORE 35539.938
AT ITER 869 NEW BEST:: SOT 135877 SOS 82583 HAS SOPS 61968 HAS SOUS 35708 HAS SOUPS 34964 WITH SCORE 35046.583
AT ITER 873 NEW BEST:: SOT 135892 SOS 82875 HAS SOPS 61944 HAS SOUS 35684 HAS SOUPS 34921 WITH SCORE 35003.875
AT ITER 902 NEW BEST:: SOT 135888 SOS 82871 HAS SOPS 61932 HAS SOUS 35672 HAS SOUPS 34909 WITH SCORE 34991.871
AT ITER 904 NEW BEST:: SOT 135826 SOS 82809 HAS SOPS 61808 HAS SOUS 35640 HAS SOUPS 34877 WITH SCORE 34959.809
AT ITER 909 NEW BEST:: SOT 135826 SOS 82825 HAS SOPS 61824 HAS SOUS 35639 HAS SOUPS 34876 WITH SCORE 34958.825
AT ITER 918 NEW BEST:: SOT 135826 SOS 82837 HAS SOPS 61836 HAS SOUS 35636 HAS SOUPS 34873 WITH SCORE 34955.837
AT ITER 919 NEW BEST:: SOT 135742 SOS 82753 HAS SOPS 61752 HAS SOUS 35552 HAS SOUPS 34789 WITH SCORE 34871.753
AT ITER 922 NEW BEST:: SOT 135726 SOS 82737 HAS SOPS 61720 HAS SOUS 35520 HAS SOUPS 34757 WITH SCORE 34839.737
AT ITER 930 NEW BEST:: SOT 135680 SOS 82691 HAS SOPS 61574 HAS SOUS 35428 HAS SOUPS 34665 WITH SCORE 34747.691
AT ITER 931 NEW BEST:: SOT 135680 SOS 82655 HAS SOPS 61526 HAS SOUS 35428 HAS SOUPS 34653 WITH SCORE 34735.655
AT ITER 932 NEW BEST:: SOT 135680 SOS 82211 HAS SOPS 61082 HAS SOUS 35243 HAS SOUPS 34468 WITH SCORE 34550.211
AT ITER 936 NEW BEST:: SOT 135664 SOS 82195 HAS SOPS 61050 HAS SOUS 35211 HAS SOUPS 34436 WITH SCORE 34518.195
AT ITER 942 NEW BEST:: SOT 135664 SOS 82301 HAS SOPS 61156 HAS SOUS 35181 HAS SOUPS 34406 WITH SCORE 34488.301
AT ITER 952 NEW BEST:: SOT 135636 SOS 82273 HAS SOPS 60920 HAS SOUS 35051 HAS SOUPS 34276 WITH SCORE 34358.273
AT ITER 955 NEW BEST:: SOT 135621 SOS 82267 HAS SOPS 60981 HAS SOUS 35012 HAS SOUPS 34237 WITH SCORE 34319.267
AT ITER 956 NEW BEST:: SOT 135609 SOS 82256 HAS SOPS 60970 HAS SOUS 34990 HAS SOUPS 34215 WITH SCORE 34297.256
AT ITER 957 NEW BEST:: SOT 135609 SOS 82322 HAS SOPS 61050 HAS SOUS 34953 HAS SOUPS 34192 WITH SCORE 34274.322
AT ITER 964 NEW BEST:: SOT 135609 SOS 80635 HAS SOPS 59238 HAS SOUS 34459 HAS SOUPS 33698 WITH SCORE 33778.635
AT ITER 969 NEW BEST:: SOT 135608 SOS 80336 HAS SOPS 58937 HAS SOUS 34382 HAS SOUPS 33621 WITH SCORE 33701.336
AT ITER 973 NEW BEST:: SOT 135416 SOS 79949 HAS SOPS 58137 HAS SOUS 34074 HAS SOUPS 33313 WITH SCORE 33392.949
AT ITER 977 NEW BEST:: SOT 135402 SOS 79935 HAS SOPS 58109 HAS SOUS 34068 HAS SOUPS 33307 WITH SCORE 33386.935
AT ITER 978 NEW BEST:: SOT 135376 SOS 79909 HAS SOPS 58097 HAS SOUS 33942 HAS SOUPS 33181 WITH SCORE 33260.909
AT ITER 999 NEW BEST:: SOT 135374 SOS 79907 HAS SOPS 58093 HAS SOUS 33938 HAS SOUPS 33177 WITH SCORE 33256.907
AT ITER 1001 NEW BEST:: SOT 135374 SOS 79883 HAS SOPS 58069 HAS SOUS 33935 HAS SOUPS 33174 WITH SCORE 33253.883
AT ITER 1002 NEW BEST:: SOT 135579 SOS 79869 HAS SOPS 58098 HAS SOUS 33773 HAS SOUPS 33012 WITH SCORE 33091.869
AT ITER 1003 NEW BEST:: SOT 135493 SOS 78929 HAS SOPS 58204 HAS SOUS 33711 HAS SOUPS 33007 WITH SCORE 33085.929
AT ITER 1014 NEW BEST:: SOT 135493 SOS 78555 HAS SOPS 57830 HAS SOUS 33710 HAS SOUPS 33006 WITH SCORE 33084.555
AT ITER 1015 NEW BEST:: SOT 135493 SOS 78603 HAS SOPS 57878 HAS SOUS 33668 HAS SOUPS 32964 WITH SCORE 33042.603
AT ITER 1016 NEW BEST:: SOT 135487 SOS 78597 HAS SOPS 57866 HAS SOUS 33656 HAS SOUPS 32952 WITH SCORE 33030.597
AT ITER 1028 NEW BEST:: SOT 135409 SOS 78519 HAS SOPS 57854 HAS SOUS 33644 HAS SOUPS 32940 WITH SCORE 33018.519
AT ITER 1030 NEW BEST:: SOT 135407 SOS 78517 HAS SOPS 57850 HAS SOUS 33618 HAS SOUPS 32914 WITH SCORE 32992.517
AT ITER 1038 NEW BEST:: SOT 135318 SOS 78374 HAS SOPS 57618 HAS SOUS 33531 HAS SOUPS 32827 WITH SCORE 32905.374
AT ITER 1040 NEW BEST:: SOT 135306 SOS 78362 HAS SOPS 57594 HAS SOUS 33507 HAS SOUPS 32803 WITH SCORE 32881.362
AT ITER 1043 NEW BEST:: SOT 135304 SOS 78360 HAS SOPS 57542 HAS SOUS 33455 HAS SOUPS 32751 WITH SCORE 32829.36
AT ITER 1044 NEW BEST:: SOT 135304 SOS 78382 HAS SOPS 57564 HAS SOUS 33454 HAS SOUPS 32750 WITH SCORE 32828.382
AT ITER 1062 NEW BEST:: SOT 135304 SOS 78490 HAS SOPS 57672 HAS SOUS 33451 HAS SOUPS 32747 WITH SCORE 32825.49
AT ITER 1068 NEW BEST:: SOT 135304 SOS 78472 HAS SOPS 57654 HAS SOUS 33434 HAS SOUPS 32730 WITH SCORE 32808.472
AT ITER 1082 NEW BEST:: SOT 135304 SOS 78424 HAS SOPS 57606 HAS SOUS 33386 HAS SOUPS 32682 WITH SCORE 32760.424
AT ITER 1083 NEW BEST:: SOT 135226 SOS 78346 HAS SOPS 57372 HAS SOUS 33230 HAS SOUPS 32526 WITH SCORE 32604.346
AT ITER 1084 NEW BEST:: SOT 135197 SOS 78106 HAS SOPS 57132 HAS SOUS 33182 HAS SOUPS 32478 WITH SCORE 32556.106
AT ITER 1090 NEW BEST:: SOT 135208 SOS 78140 HAS SOPS 57111 HAS SOUS 33142 HAS SOUPS 32438 WITH SCORE 32516.14
AT ITER 1093 NEW BEST:: SOT 135214 SOS 77748 HAS SOPS 56735 HAS SOUS 33006 HAS SOUPS 32328 WITH SCORE 32405.748
AT ITER 1095 NEW BEST:: SOT 135124 SOS 77658 HAS SOPS 56515 HAS SOUS 32924 HAS SOUPS 32246 WITH SCORE 32323.658
AT ITER 1100 NEW BEST:: SOT 135253 SOS 79944 HAS SOPS 57242 HAS SOUS 33004 HAS SOUPS 32228 WITH SCORE 32307.944
AT ITER 1115 NEW BEST:: SOT 135459 SOS 80150 HAS SOPS 57195 HAS SOUS 32970 HAS SOUPS 32194 WITH SCORE 32274.15
AT ITER 1121 NEW BEST:: SOT 135459 SOS 80002 HAS SOPS 57047 HAS SOUS 32958 HAS SOUPS 32182 WITH SCORE 32262.002
AT ITER 1122 NEW BEST:: SOT 135459 SOS 79853 HAS SOPS 56861 HAS SOUS 32882 HAS SOUPS 32106 WITH SCORE 32185.853
AT ITER 1131 NEW BEST:: SOT 135441 SOS 79835 HAS SOPS 56819 HAS SOUS 32828 HAS SOUPS 32052 WITH SCORE 32131.835
AT ITER 1140 NEW BEST:: SOT 135441 SOS 79697 HAS SOPS 56681 HAS SOUS 32797 HAS SOUPS 32021 WITH SCORE 32100.697
AT ITER 1155 NEW BEST:: SOT 135441 SOS 79703 HAS SOPS 56687 HAS SOUS 32794 HAS SOUPS 32018 WITH SCORE 32097.703
AT ITER 1180 NEW BEST:: SOT 135229 SOS 79491 HAS SOPS 56595 HAS SOUS 32556 HAS SOUPS 31780 WITH SCORE 31859.491
AT ITER 1184 NEW BEST:: SOT 135075 SOS 79322 HAS SOPS 56507 HAS SOUS 32361 HAS SOUPS 31585 WITH SCORE 31664.322
AT ITER 1187 NEW BEST:: SOT 135075 SOS 79318 HAS SOPS 56503 HAS SOUS 32343 HAS SOUPS 31567 WITH SCORE 31646.318
AT ITER 1199 NEW BEST:: SOT 135075 SOS 79318 HAS SOPS 56499 HAS SOUS 32339 HAS SOUPS 31563 WITH SCORE 31642.318
AT ITER 1204 NEW BEST:: SOT 135085 SOS 79328 HAS SOPS 56504 HAS SOUS 32334 HAS SOUPS 31558 WITH SCORE 31637.328
AT ITER 1213 NEW BEST:: SOT 135085 SOS 79348 HAS SOPS 56408 HAS SOUS 32344 HAS SOUPS 31510 WITH SCORE 31589.348
AT ITER 1216 NEW BEST:: SOT 135015 SOS 79278 HAS SOPS 56402 HAS SOUS 32204 HAS SOUPS 31370 WITH SCORE 31449.278
AT ITER 1222 NEW BEST:: SOT 135015 SOS 79164 HAS SOPS 56288 HAS SOUS 32163 HAS SOUPS 31329 WITH SCORE 31408.164
AT ITER 1240 NEW BEST:: SOT 134969 SOS 79118 HAS SOPS 56236 HAS SOUS 32111 HAS SOUPS 31277 WITH SCORE 31356.118
AT ITER 1241 NEW BEST:: SOT 134969 SOS 79092 HAS SOPS 56210 HAS SOUS 32109 HAS SOUPS 31275 WITH SCORE 31354.092
AT ITER 1251 NEW BEST:: SOT 134764 SOS 78896 HAS SOPS 55991 HAS SOUS 31846 HAS SOUPS 31012 WITH SCORE 31090.896
AT ITER 1255 NEW BEST:: SOT 134764 SOS 78722 HAS SOPS 55893 HAS SOUS 31808 HAS SOUPS 31012 WITH SCORE 31090.722
AT ITER 1271 NEW BEST:: SOT 134785 SOS 78730 HAS SOPS 55861 HAS SOUS 31785 HAS SOUPS 30989 WITH SCORE 31067.73
AT ITER 1298 NEW BEST:: SOT 134699 SOS 78644 HAS SOPS 55767 HAS SOUS 31783 HAS SOUPS 30987 WITH SCORE 31065.644
AT ITER 1301 NEW BEST:: SOT 134699 SOS 78632 HAS SOPS 55667 HAS SOUS 31797 HAS SOUPS 30957 WITH SCORE 31035.632
AT ITER 1306 NEW BEST:: SOT 134693 SOS 78626 HAS SOPS 55655 HAS SOUS 31797 HAS SOUPS 30957 WITH SCORE 31035.626
AT ITER 1314 NEW BEST:: SOT 134693 SOS 78308 HAS SOPS 55337 HAS SOUS 31770 HAS SOUPS 30930 WITH SCORE 31008.308
AT ITER 1315 NEW BEST:: SOT 134607 SOS 78222 HAS SOPS 55191 HAS SOUS 31658 HAS SOUPS 30818 WITH SCORE 30896.222
AT ITER 1339 NEW BEST:: SOT 134491 SOS 78232 HAS SOPS 55132 HAS SOUS 31637 HAS SOUPS 30799 WITH SCORE 30877.232
AT ITER 1352 NEW BEST:: SOT 134445 SOS 78186 HAS SOPS 54994 HAS SOUS 31605 HAS SOUPS 30767 WITH SCORE 30845.186
AT ITER 1357 NEW BEST:: SOT 134445 SOS 78160 HAS SOPS 54968 HAS SOUS 31592 HAS SOUPS 30754 WITH SCORE 30832.16
AT ITER 1374 NEW BEST:: SOT 134477 SOS 78198 HAS SOPS 55000 HAS SOUS 31490 HAS SOUPS 30652 WITH SCORE 30730.198
AT ITER 1384 NEW BEST:: SOT 134473 SOS 78194 HAS SOPS 55005 HAS SOUS 31480 HAS SOUPS 30642 WITH SCORE 30720.194
AT ITER 1390 NEW BEST:: SOT 134500 SOS 78218 HAS SOPS 55029 HAS SOUS 31304 HAS SOUPS 30466 WITH SCORE 30544.218
AT ITER 1405 NEW BEST:: SOT 134385 SOS 78103 HAS SOPS 54899 HAS SOUS 31174 HAS SOUPS 30336 WITH SCORE 30414.103
AT ITER 1427 NEW BEST:: SOT 134371 SOS 78089 HAS SOPS 54871 HAS SOUS 31146 HAS SOUPS 30308 WITH SCORE 30386.089
AT ITER 1432 NEW BEST:: SOT 134371 SOS 78133 HAS SOPS 54915 HAS SOUS 31145 HAS SOUPS 30307 WITH SCORE 30385.133
AT ITER 1447 NEW BEST:: SOT 134354 SOS 78086 HAS SOPS 54868 HAS SOUS 31128 HAS SOUPS 30290 WITH SCORE 30368.086
AT ITER 1452 NEW BEST:: SOT 134354 SOS 77992 HAS SOPS 54784 HAS SOUS 31109 HAS SOUPS 30276 WITH SCORE 30353.992
AT ITER 1457 NEW BEST:: SOT 134348 SOS 77986 HAS SOPS 54762 HAS SOUS 31097 HAS SOUPS 30264 WITH SCORE 30341.986
AT ITER 1471 NEW BEST:: SOT 134348 SOS 77944 HAS SOPS 54720 HAS SOUS 31056 HAS SOUPS 30223 WITH SCORE 30300.944
AT ITER 1472 NEW BEST:: SOT 134360 SOS 77956 HAS SOPS 54720 HAS SOUS 31032 HAS SOUPS 30199 WITH SCORE 30276.956
AT ITER 1473 NEW BEST:: SOT 134294 SOS 77890 HAS SOPS 54704 HAS SOUS 31024 HAS SOUPS 30191 WITH SCORE 30268.89
AT ITER 1475 NEW BEST:: SOT 133569 SOS 77435 HAS SOPS 54572 HAS SOUS 30727 HAS SOUPS 29894 WITH SCORE 29971.435
AT ITER 1476 NEW BEST:: SOT 133583 SOS 77449 HAS SOPS 54476 HAS SOUS 30725 HAS SOUPS 29892 WITH SCORE 29969.449
AT ITER 1501 NEW BEST:: SOT 133571 SOS 77437 HAS SOPS 54452 HAS SOUS 30701 HAS SOUPS 29868 WITH SCORE 29945.437
AT ITER 1505 NEW BEST:: SOT 133601 SOS 77467 HAS SOPS 54482 HAS SOUS 30691 HAS SOUPS 29858 WITH SCORE 29935.467
AT ITER 1508 NEW BEST:: SOT 133601 SOS 76941 HAS SOPS 53956 HAS SOUS 30607 HAS SOUPS 29774 WITH SCORE 29850.941
AT ITER 1517 NEW BEST:: SOT 133520 SOS 76860 HAS SOPS 53823 HAS SOUS 30525 HAS SOUPS 29692 WITH SCORE 29768.86
AT ITER 1520 NEW BEST:: SOT 133520 SOS 76858 HAS SOPS 53823 HAS SOUS 30524 HAS SOUPS 29692 WITH SCORE 29768.858
AT ITER 1525 NEW BEST:: SOT 133520 SOS 76962 HAS SOPS 53927 HAS SOUS 30516 HAS SOUPS 29684 WITH SCORE 29760.962
AT ITER 1529 NEW BEST:: SOT 133520 SOS 76908 HAS SOPS 53873 HAS SOUS 30489 HAS SOUPS 29657 WITH SCORE 29733.908
AT ITER 1539 NEW BEST:: SOT 133420 SOS 76796 HAS SOPS 53787 HAS SOUS 30453 HAS SOUPS 29621 WITH SCORE 29697.796
AT ITER 1545 NEW BEST:: SOT 133343 SOS 76622 HAS SOPS 53411 HAS SOUS 30310 HAS SOUPS 29478 WITH SCORE 29554.622
AT ITER 1558 NEW BEST:: SOT 133443 SOS 76722 HAS SOPS 53269 HAS SOUS 30170 HAS SOUPS 29338 WITH SCORE 29414.722
AT ITER 1573 NEW BEST:: SOT 133407 SOS 76686 HAS SOPS 53197 HAS SOUS 30098 HAS SOUPS 29266 WITH SCORE 29342.686
AT ITER 1588 NEW BEST:: SOT 133407 SOS 76618 HAS SOPS 53129 HAS SOUS 30048 HAS SOUPS 29216 WITH SCORE 29292.618
AT ITER 1619 NEW BEST:: SOT 133377 SOS 76588 HAS SOPS 53069 HAS SOUS 30018 HAS SOUPS 29156 WITH SCORE 29232.588
AT ITER 1626 NEW BEST:: SOT 133309 SOS 76520 HAS SOPS 52984 HAS SOUS 29967 HAS SOUPS 29105 WITH SCORE 29181.52
AT ITER 1635 NEW BEST:: SOT 133309 SOS 76520 HAS SOPS 52984 HAS SOUS 29921 HAS SOUPS 29059 WITH SCORE 29135.52
AT ITER 1689 NEW BEST:: SOT 133309 SOS 76522 HAS SOPS 52908 HAS SOUS 29873 HAS SOUPS 29011 WITH SCORE 29087.522
AT ITER 1717 NEW BEST:: SOT 133269 SOS 76482 HAS SOPS 52737 HAS SOUS 29767 HAS SOUPS 28905 WITH SCORE 28981.482
AT ITER 1723 NEW BEST:: SOT 133244 SOS 76445 HAS SOPS 52478 HAS SOUS 29542 HAS SOUPS 28676 WITH SCORE 28752.445
AT ITER 1729 NEW BEST:: SOT 133244 SOS 76443 HAS SOPS 52478 HAS SOUS 29541 HAS SOUPS 28676 WITH SCORE 28752.443
AT ITER 1730 NEW BEST:: SOT 133244 SOS 76435 HAS SOPS 52470 HAS SOUS 29541 HAS SOUPS 28676 WITH SCORE 28752.435
AT ITER 1734 NEW BEST:: SOT 133202 SOS 76393 HAS SOPS 52428 HAS SOUS 29457 HAS SOUPS 28592 WITH SCORE 28668.393
AT ITER 1735 NEW BEST:: SOT 133119 SOS 76310 HAS SOPS 52329 HAS SOUS 29363 HAS SOUPS 28498 WITH SCORE 28574.31
AT ITER 1747 NEW BEST:: SOT 133083 SOS 76274 HAS SOPS 52257 HAS SOUS 29291 HAS SOUPS 28426 WITH SCORE 28502.274
AT ITER 1748 NEW BEST:: SOT 133083 SOS 76264 HAS SOPS 52247 HAS SOUS 29286 HAS SOUPS 28421 WITH SCORE 28497.264
AT ITER 1766 NEW BEST:: SOT 133083 SOS 76264 HAS SOPS 52217 HAS SOUS 29256 HAS SOUPS 28391 WITH SCORE 28467.264
AT ITER 1777 NEW BEST:: SOT 133051 SOS 76232 HAS SOPS 52193 HAS SOUS 29226 HAS SOUPS 28361 WITH SCORE 28437.232
AT ITER 1793 NEW BEST:: SOT 133051 SOS 76196 HAS SOPS 52157 HAS SOUS 29220 HAS SOUPS 28355 WITH SCORE 28431.196
AT ITER 1807 NEW BEST:: SOT 133051 SOS 76176 HAS SOPS 52137 HAS SOUS 29210 HAS SOUPS 28345 WITH SCORE 28421.176
AT ITER 1824 NEW BEST:: SOT 133033 SOS 76152 HAS SOPS 52107 HAS SOUS 29192 HAS SOUPS 28327 WITH SCORE 28403.152
AT ITER 1842 NEW BEST:: SOT 133033 SOS 76001 HAS SOPS 51803 HAS SOUS 29213 HAS SOUPS 28294 WITH SCORE 28370.001
AT ITER 1849 NEW BEST:: SOT 133017 SOS 75985 HAS SOPS 51785 HAS SOUS 29207 HAS SOUPS 28288 WITH SCORE 28363.985
AT ITER 1852 NEW BEST:: SOT 133017 SOS 75985 HAS SOPS 51785 HAS SOUS 29203 HAS SOUPS 28284 WITH SCORE 28359.985
AT ITER 1866 NEW BEST:: SOT 133017 SOS 75963 HAS SOPS 51763 HAS SOUS 29193 HAS SOUPS 28274 WITH SCORE 28349.963
AT ITER 1870 NEW BEST:: SOT 133005 SOS 75951 HAS SOPS 51745 HAS SOUS 29175 HAS SOUPS 28256 WITH SCORE 28331.951
AT ITER 1874 NEW BEST:: SOT 132955 SOS 75901 HAS SOPS 51695 HAS SOUS 29125 HAS SOUPS 28206 WITH SCORE 28281.901
AT ITER 1886 NEW BEST:: SOT 133003 SOS 75825 HAS SOPS 51569 HAS SOUS 29078 HAS SOUPS 28142 WITH SCORE 28217.825
AT ITER 1887 NEW BEST:: SOT 133163 SOS 75985 HAS SOPS 51525 HAS SOUS 28994 HAS SOUPS 28058 WITH SCORE 28133.985
AT ITER 1891 NEW BEST:: SOT 133127 SOS 75949 HAS SOPS 51489 HAS SOUS 28986 HAS SOUPS 28050 WITH SCORE 28125.949
AT ITER 1905 NEW BEST:: SOT 133055 SOS 75871 HAS SOPS 51339 HAS SOUS 28836 HAS SOUPS 27900 WITH SCORE 27975.871
AT ITER 1906 NEW BEST:: SOT 133055 SOS 75907 HAS SOPS 51375 HAS SOUS 28835 HAS SOUPS 27899 WITH SCORE 27974.907
AT ITER 1918 NEW BEST:: SOT 133051 SOS 75903 HAS SOPS 51371 HAS SOUS 28831 HAS SOUPS 27895 WITH SCORE 27970.903
AT ITER 1928 NEW BEST:: SOT 133037 SOS 75889 HAS SOPS 51357 HAS SOUS 28819 HAS SOUPS 27883 WITH SCORE 27958.889
AT ITER 1949 NEW BEST:: SOT 133048 SOS 75900 HAS SOPS 51378 HAS SOUS 28778 HAS SOUPS 27842 WITH SCORE 27917.9
AT ITER 1954 NEW BEST:: SOT 133020 SOS 75872 HAS SOPS 51350 HAS SOUS 28722 HAS SOUPS 27786 WITH SCORE 27861.872
AT ITER 1959 NEW BEST:: SOT 133048 SOS 75900 HAS SOPS 51378 HAS SOUS 28710 HAS SOUPS 27774 WITH SCORE 27849.9
AT ITER 1967 NEW BEST:: SOT 133016 SOS 75868 HAS SOPS 51350 HAS SOUS 28646 HAS SOUPS 27710 WITH SCORE 27785.868
AT ITER 2007 NEW BEST:: SOT 133002 SOS 75854 HAS SOPS 51322 HAS SOUS 28618 HAS SOUPS 27682 WITH SCORE 27757.854
AT ITER 2020 NEW BEST:: SOT 133013 SOS 75864 HAS SOPS 51343 HAS SOUS 28611 HAS SOUPS 27675 WITH SCORE 27750.864
AT ITER 2037 NEW BEST:: SOT 132993 SOS 75844 HAS SOPS 51111 HAS SOUS 28379 HAS SOUPS 27443 WITH SCORE 27518.844
AT ITER 2039 NEW BEST:: SOT 133083 SOS 75934 HAS SOPS 51211 HAS SOUS 28351 HAS SOUPS 27415 WITH SCORE 27490.934
AT ITER 2041 NEW BEST:: SOT 133083 SOS 75823 HAS SOPS 51100 HAS SOUS 28314 HAS SOUPS 27378 WITH SCORE 27453.823
AT ITER 2055 NEW BEST:: SOT 133072 SOS 75812 HAS SOPS 51078 HAS SOUS 28203 HAS SOUPS 27267 WITH SCORE 27342.812
AT ITER 2066 NEW BEST:: SOT 133072 SOS 75748 HAS SOPS 51014 HAS SOUS 28193 HAS SOUPS 27257 WITH SCORE 27332.748
AT ITER 2073 NEW BEST:: SOT 133072 SOS 75771 HAS SOPS 51037 HAS SOUS 28182 HAS SOUPS 27246 WITH SCORE 27321.771
AT ITER 2100 NEW BEST:: SOT 133094 SOS 75793 HAS SOPS 51070 HAS SOUS 28171 HAS SOUPS 27235 WITH SCORE 27310.793
AT ITER 2114 NEW BEST:: SOT 133094 SOS 75661 HAS SOPS 50938 HAS SOUS 28147 HAS SOUPS 27211 WITH SCORE 27286.661
AT ITER 2126 NEW BEST:: SOT 133112 SOS 75679 HAS SOPS 50974 HAS SOUS 28111 HAS SOUPS 27175 WITH SCORE 27250.679
AT ITER 2129 NEW BEST:: SOT 133080 SOS 75674 HAS SOPS 50928 HAS SOUS 28107 HAS SOUPS 27171 WITH SCORE 27246.674
AT ITER 2131 NEW BEST:: SOT 133080 SOS 75646 HAS SOPS 50914 HAS SOUS 28100 HAS SOUPS 27171 WITH SCORE 27246.646
AT ITER 2143 NEW BEST:: SOT 133080 SOS 75521 HAS SOPS 50788 HAS SOUS 28003 HAS SOUPS 27074 WITH SCORE 27149.521
AT ITER 2151 NEW BEST:: SOT 133080 SOS 75521 HAS SOPS 50776 HAS SOUS 27979 HAS SOUPS 27050 WITH SCORE 27125.521
AT ITER 2162 NEW BEST:: SOT 133080 SOS 75695 HAS SOPS 50950 HAS SOUS 27969 HAS SOUPS 27040 WITH SCORE 27115.695
AT ITER 2171 NEW BEST:: SOT 133058 SOS 75673 HAS SOPS 50944 HAS SOUS 27925 HAS SOUPS 26996 WITH SCORE 27071.673
AT ITER 2178 NEW BEST:: SOT 133018 SOS 75633 HAS SOPS 50904 HAS SOUS 27885 HAS SOUPS 26956 WITH SCORE 27031.633
AT ITER 2187 NEW BEST:: SOT 132998 SOS 75613 HAS SOPS 50892 HAS SOUS 27869 HAS SOUPS 26940 WITH SCORE 27015.613
AT ITER 2189 NEW BEST:: SOT 132998 SOS 75613 HAS SOPS 50892 HAS SOUS 27858 HAS SOUPS 26929 WITH SCORE 27004.613
AT ITER 2206 NEW BEST:: SOT 132944 SOS 75559 HAS SOPS 50811 HAS SOUS 27858 HAS SOUPS 26929 WITH SCORE 27004.559
AT ITER 2211 NEW BEST:: SOT 132928 SOS 74239 HAS SOPS 50067 HAS SOUS 27640 HAS SOUPS 26747 WITH SCORE 26821.239
AT ITER 2272 NEW BEST:: SOT 132860 SOS 74171 HAS SOPS 49931 HAS SOUS 27504 HAS SOUPS 26611 WITH SCORE 26685.171
AT ITER 2276 NEW BEST:: SOT 132832 SOS 74143 HAS SOPS 49903 HAS SOUS 27476 HAS SOUPS 26583 WITH SCORE 26657.143
AT ITER 2293 NEW BEST:: SOT 132794 SOS 74105 HAS SOPS 49865 HAS SOUS 27468 HAS SOUPS 26575 WITH SCORE 26649.105
AT ITER 2305 NEW BEST:: SOT 132794 SOS 74082 HAS SOPS 49842 HAS SOUS 27465 HAS SOUPS 26572 WITH SCORE 26646.082
AT ITER 2323 NEW BEST:: SOT 132794 SOS 73746 HAS SOPS 49506 HAS SOUS 27383 HAS SOUPS 26490 WITH SCORE 26563.746
AT ITER 2370 NEW BEST:: SOT 132892 SOS 73838 HAS SOPS 49582 HAS SOUS 27315 HAS SOUPS 26422 WITH SCORE 26495.838
AT ITER 2372 NEW BEST:: SOT 132856 SOS 73802 HAS SOPS 49532 HAS SOUS 27291 HAS SOUPS 26398 WITH SCORE 26471.802
AT ITER 2376 NEW BEST:: SOT 132860 SOS 73554 HAS SOPS 49274 HAS SOUS 27278 HAS SOUPS 26385 WITH SCORE 26458.554
AT ITER 2394 NEW BEST:: SOT 132786 SOS 73480 HAS SOPS 49174 HAS SOUS 27130 HAS SOUPS 26237 WITH SCORE 26310.48
AT ITER 2401 NEW BEST:: SOT 132803 SOS 73309 HAS SOPS 49003 HAS SOUS 27108 HAS SOUPS 26215 WITH SCORE 26288.309
AT ITER 2431 NEW BEST:: SOT 132817 SOS 73307 HAS SOPS 49015 HAS SOUS 27064 HAS SOUPS 26171 WITH SCORE 26244.307
AT ITER 2453 NEW BEST:: SOT 132817 SOS 73327 HAS SOPS 49035 HAS SOUS 27054 HAS SOUPS 26161 WITH SCORE 26234.327
AT ITER 2456 NEW BEST:: SOT 132817 SOS 73287 HAS SOPS 48995 HAS SOUS 27049 HAS SOUPS 26156 WITH SCORE 26229.287
AT ITER 2488 NEW BEST:: SOT 132817 SOS 73301 HAS SOPS 48991 HAS SOUS 27056 HAS SOUPS 26154 WITH SCORE 26227.301
AT ITER 2505 NEW BEST:: SOT 132733 SOS 73217 HAS SOPS 48907 HAS SOUS 26958 HAS SOUPS 26056 WITH SCORE 26129.217
AT ITER 2537 NEW BEST:: SOT 132733 SOS 73209 HAS SOPS 48935 HAS SOUS 26936 HAS SOUPS 26052 WITH SCORE 26125.209
AT ITER 2538 NEW BEST:: SOT 132733 SOS 73209 HAS SOPS 48939 HAS SOUS 26928 HAS SOUPS 26044 WITH SCORE 26117.209
AT ITER 2563 NEW BEST:: SOT 132651 SOS 73127 HAS SOPS 48775 HAS SOUS 26846 HAS SOUPS 25962 WITH SCORE 26035.127
AT ITER 2573 NEW BEST:: SOT 132513 SOS 72966 HAS SOPS 48523 HAS SOUS 26657 HAS SOUPS 25773 WITH SCORE 25845.966
AT ITER 2578 NEW BEST:: SOT 132573 SOS 73026 HAS SOPS 48564 HAS SOUS 26622 HAS SOUPS 25738 WITH SCORE 25811.026
AT ITER 2591 NEW BEST:: SOT 132702 SOS 73174 HAS SOPS 48725 HAS SOUS 26593 HAS SOUPS 25709 WITH SCORE 25782.174
AT ITER 2596 NEW BEST:: SOT 132702 SOS 73156 HAS SOPS 48653 HAS SOUS 26611 HAS SOUPS 25700 WITH SCORE 25773.156
AT ITER 2613 NEW BEST:: SOT 132704 SOS 73100 HAS SOPS 48652 HAS SOUS 26566 HAS SOUPS 25682 WITH SCORE 25755.1
AT ITER 2618 NEW BEST:: SOT 132698 SOS 73111 HAS SOPS 48717 HAS SOUS 26560 HAS SOUPS 25676 WITH SCORE 25749.111
AT ITER 2624 NEW BEST:: SOT 132698 SOS 73027 HAS SOPS 48633 HAS SOUS 26518 HAS SOUPS 25634 WITH SCORE 25707.027
AT ITER 2633 NEW BEST:: SOT 132698 SOS 73025 HAS SOPS 48631 HAS SOUS 26517 HAS SOUPS 25633 WITH SCORE 25706.025
AT ITER 2638 NEW BEST:: SOT 132690 SOS 73017 HAS SOPS 48615 HAS SOUS 26501 HAS SOUPS 25617 WITH SCORE 25690.017
AT ITER 2642 NEW BEST:: SOT 132671 SOS 72979 HAS SOPS 48596 HAS SOUS 26482 HAS SOUPS 25598 WITH SCORE 25670.979
AT ITER 2684 NEW BEST:: SOT 132631 SOS 72840 HAS SOPS 48318 HAS SOUS 26336 HAS SOUPS 25452 WITH SCORE 25524.84
AT ITER 2701 NEW BEST:: SOT 132631 SOS 72840 HAS SOPS 48318 HAS SOUS 26330 HAS SOUPS 25446 WITH SCORE 25518.84
AT ITER 2704 NEW BEST:: SOT 132595 SOS 72804 HAS SOPS 48246 HAS SOUS 26264 HAS SOUPS 25380 WITH SCORE 25452.804
AT ITER 2737 NEW BEST:: SOT 132573 SOS 72782 HAS SOPS 48224 HAS SOUS 26242 HAS SOUPS 25358 WITH SCORE 25430.782
AT ITER 2745 NEW BEST:: SOT 132545 SOS 72754 HAS SOPS 48168 HAS SOUS 26186 HAS SOUPS 25302 WITH SCORE 25374.754
AT ITER 2761 NEW BEST:: SOT 132551 SOS 72760 HAS SOPS 48162 HAS SOUS 26180 HAS SOUPS 25296 WITH SCORE 25368.76
AT ITER 2776 NEW BEST:: SOT 132543 SOS 72752 HAS SOPS 48262 HAS SOUS 26180 HAS SOUPS 25296 WITH SCORE 25368.752
AT ITER 2788 NEW BEST:: SOT 132571 SOS 72780 HAS SOPS 48290 HAS SOUS 26168 HAS SOUPS 25284 WITH SCORE 25356.78
AT ITER 2797 NEW BEST:: SOT 132551 SOS 72760 HAS SOPS 48198 HAS SOUS 26160 HAS SOUPS 25276 WITH SCORE 25348.76
AT ITER 2806 NEW BEST:: SOT 132535 SOS 72744 HAS SOPS 48166 HAS SOUS 26128 HAS SOUPS 25244 WITH SCORE 25316.744
AT ITER 2819 NEW BEST:: SOT 132515 SOS 72724 HAS SOPS 48146 HAS SOUS 26088 HAS SOUPS 25204 WITH SCORE 25276.724
AT ITER 2823 NEW BEST:: SOT 132511 SOS 72720 HAS SOPS 48138 HAS SOUS 26078 HAS SOUPS 25194 WITH SCORE 25266.72
AT ITER 2843 NEW BEST:: SOT 132485 SOS 72694 HAS SOPS 48086 HAS SOUS 26039 HAS SOUPS 25155 WITH SCORE 25227.694
AT ITER 2870 NEW BEST:: SOT 132485 SOS 72690 HAS SOPS 48082 HAS SOUS 26038 HAS SOUPS 25154 WITH SCORE 25226.69
AT ITER 2874 NEW BEST:: SOT 132523 SOS 72728 HAS SOPS 47975 HAS SOUS 25992 HAS SOUPS 25108 WITH SCORE 25180.728
AT ITER 2911 NEW BEST:: SOT 132523 SOS 72728 HAS SOPS 47952 HAS SOUS 25946 HAS SOUPS 25062 WITH SCORE 25134.728
AT ITER 2938 NEW BEST:: SOT 132511 SOS 72716 HAS SOPS 47940 HAS SOUS 25928 HAS SOUPS 25044 WITH SCORE 25116.716
AT ITER 2954 NEW BEST:: SOT 132507 SOS 72712 HAS SOPS 47932 HAS SOUS 25920 HAS SOUPS 25036 WITH SCORE 25108.712
AT ITER 2995 NEW BEST:: SOT 132475 SOS 72680 HAS SOPS 47824 HAS SOUS 25856 HAS SOUPS 24972 WITH SCORE 25044.68
AT ITER 2997 NEW BEST:: SOT 132468 SOS 72673 HAS SOPS 47819 HAS SOUS 25853 HAS SOUPS 24969 WITH SCORE 25041.673
AT ITER 3001 NEW BEST:: SOT 132468 SOS 72673 HAS SOPS 47819 HAS SOUS 25843 HAS SOUPS 24959 WITH SCORE 25031.673
AT ITER 3009 NEW BEST:: SOT 132576 SOS 72781 HAS SOPS 47753 HAS SOUS 25827 HAS SOUPS 24943 WITH SCORE 25015.781
AT ITER 3033 NEW BEST:: SOT 132576 SOS 72753 HAS SOPS 47757 HAS SOUS 25796 HAS SOUPS 24928 WITH SCORE 25000.753
AT ITER 3036 NEW BEST:: SOT 132632 SOS 72831 HAS SOPS 47985 HAS SOUS 25763 HAS SOUPS 24906 WITH SCORE 24978.831
AT ITER 3040 NEW BEST:: SOT 132632 SOS 72831 HAS SOPS 47985 HAS SOUS 25741 HAS SOUPS 24884 WITH SCORE 24956.831
AT ITER 3113 NEW BEST:: SOT 132196 SOS 72393 HAS SOPS 47531 HAS SOUS 25679 HAS SOUPS 24822 WITH SCORE 24894.393
AT ITER 3122 NEW BEST:: SOT 132202 SOS 72408 HAS SOPS 47757 HAS SOUS 25579 HAS SOUPS 24780 WITH SCORE 24852.408
AT ITER 3148 NEW BEST:: SOT 132202 SOS 72392 HAS SOPS 47735 HAS SOUS 25576 HAS SOUPS 24774 WITH SCORE 24846.392
AT ITER 3154 NEW BEST:: SOT 132202 SOS 72380 HAS SOPS 47723 HAS SOUS 25548 HAS SOUPS 24746 WITH SCORE 24818.38
AT ITER 3168 NEW BEST:: SOT 132192 SOS 72370 HAS SOPS 47677 HAS SOUS 25454 HAS SOUPS 24652 WITH SCORE 24724.37
AT ITER 3172 NEW BEST:: SOT 132186 SOS 72364 HAS SOPS 47665 HAS SOUS 25442 HAS SOUPS 24640 WITH SCORE 24712.364
AT ITER 3184 NEW BEST:: SOT 132150 SOS 72328 HAS SOPS 47629 HAS SOUS 25406 HAS SOUPS 24604 WITH SCORE 24676.328
AT ITER 3220 NEW BEST:: SOT 132156 SOS 72334 HAS SOPS 47619 HAS SOUS 25396 HAS SOUPS 24594 WITH SCORE 24666.334
AT ITER 3244 NEW BEST:: SOT 132156 SOS 72332 HAS SOPS 47617 HAS SOUS 25395 HAS SOUPS 24593 WITH SCORE 24665.332
AT ITER 3372 NEW BEST:: SOT 132195 SOS 72401 HAS SOPS 47675 HAS SOUS 25381 HAS SOUPS 24579 WITH SCORE 24651.401
AT ITER 3399 NEW BEST:: SOT 132141 SOS 72453 HAS SOPS 47787 HAS SOUS 25330 HAS SOUPS 24528 WITH SCORE 24600.453
AT ITER 3424 NEW BEST:: SOT 132141 SOS 72496 HAS SOPS 47830 HAS SOUS 25311 HAS SOUPS 24509 WITH SCORE 24581.496
AT ITER 3429 NEW BEST:: SOT 132165 SOS 72520 HAS SOPS 47887 HAS SOUS 25287 HAS SOUPS 24485 WITH SCORE 24557.52
AT ITER 3461 NEW BEST:: SOT 132087 SOS 72442 HAS SOPS 47927 HAS SOUS 25229 HAS SOUPS 24427 WITH SCORE 24499.442
AT ITER 3470 NEW BEST:: SOT 132084 SOS 72439 HAS SOPS 47924 HAS SOUS 25228 HAS SOUPS 24426 WITH SCORE 24498.439
AT ITER 3511 NEW BEST:: SOT 131936 SOS 72291 HAS SOPS 47741 HAS SOUS 25198 HAS SOUPS 24396 WITH SCORE 24468.291
AT ITER 3518 NEW BEST:: SOT 131934 SOS 72289 HAS SOPS 47737 HAS SOUS 25194 HAS SOUPS 24392 WITH SCORE 24464.289
AT ITER 3522 NEW BEST:: SOT 131934 SOS 72277 HAS SOPS 47725 HAS SOUS 25191 HAS SOUPS 24389 WITH SCORE 24461.277
AT ITER 3529 NEW BEST:: SOT 131934 SOS 72277 HAS SOPS 47721 HAS SOUS 25187 HAS SOUPS 24385 WITH SCORE 24457.277
AT ITER 3531 NEW BEST:: SOT 131906 SOS 72249 HAS SOPS 47693 HAS SOUS 25131 HAS SOUPS 24329 WITH SCORE 24401.249
AT ITER 3565 NEW BEST:: SOT 131928 SOS 72271 HAS SOPS 47671 HAS SOUS 25071 HAS SOUPS 24269 WITH SCORE 24341.271
AT ITER 3568 NEW BEST:: SOT 132056 SOS 72787 HAS SOPS 47799 HAS SOUS 25092 HAS SOUPS 24265 WITH SCORE 24337.787
AT ITER 3588 NEW BEST:: SOT 132076 SOS 72807 HAS SOPS 47797 HAS SOUS 25058 HAS SOUPS 24231 WITH SCORE 24303.807
AT ITER 3619 NEW BEST:: SOT 132032 SOS 72763 HAS SOPS 47742 HAS SOUS 24993 HAS SOUPS 24176 WITH SCORE 24248.763
AT ITER 3645 NEW BEST:: SOT 132028 SOS 72759 HAS SOPS 47742 HAS SOUS 24989 HAS SOUPS 24172 WITH SCORE 24244.759
AT ITER 3677 NEW BEST:: SOT 132020 SOS 72751 HAS SOPS 47732 HAS SOUS 24981 HAS SOUPS 24164 WITH SCORE 24236.751
AT ITER 3763 NEW BEST:: SOT 131990 SOS 72721 HAS SOPS 47704 HAS SOUS 24937 HAS SOUPS 24120 WITH SCORE 24192.721
AT ITER 3775 NEW BEST:: SOT 131990 SOS 72743 HAS SOPS 47726 HAS SOUS 24932 HAS SOUPS 24115 WITH SCORE 24187.743
AT ITER 3825 NEW BEST:: SOT 131990 SOS 72757 HAS SOPS 47740 HAS SOUS 24921 HAS SOUPS 24104 WITH SCORE 24176.757
AT ITER 3832 NEW BEST:: SOT 131968 SOS 72735 HAS SOPS 47740 HAS SOUS 24899 HAS SOUPS 24082 WITH SCORE 24154.735
AT ITER 3843 NEW BEST:: SOT 131966 SOS 72733 HAS SOPS 47736 HAS SOUS 24895 HAS SOUPS 24078 WITH SCORE 24150.733
AT ITER 3876 NEW BEST:: SOT 131966 SOS 72755 HAS SOPS 47682 HAS SOUS 24919 HAS SOUPS 24064 WITH SCORE 24136.755
AT ITER 3899 NEW BEST:: SOT 131966 SOS 72637 HAS SOPS 47564 HAS SOUS 24901 HAS SOUPS 24046 WITH SCORE 24118.637
AT ITER 3902 NEW BEST:: SOT 131954 SOS 72625 HAS SOPS 47552 HAS SOUS 24877 HAS SOUPS 24022 WITH SCORE 24094.625
AT ITER 3903 NEW BEST:: SOT 131954 SOS 72609 HAS SOPS 47536 HAS SOUS 24877 HAS SOUPS 24022 WITH SCORE 24094.609
AT ITER 3912 NEW BEST:: SOT 131954 SOS 72586 HAS SOPS 47453 HAS SOUS 24877 HAS SOUPS 24022 WITH SCORE 24094.586
AT ITER 3918 NEW BEST:: SOT 131954 SOS 72614 HAS SOPS 47481 HAS SOUS 24865 HAS SOUPS 24010 WITH SCORE 24082.614
AT ITER 3946 NEW BEST:: SOT 131954 SOS 72614 HAS SOPS 47481 HAS SOUS 24862 HAS SOUPS 24007 WITH SCORE 24079.614
AT ITER 3953 NEW BEST:: SOT 131902 SOS 72562 HAS SOPS 47307 HAS SOUS 24832 HAS SOUPS 23977 WITH SCORE 24049.562
AT ITER 3968 NEW BEST:: SOT 131752 SOS 72404 HAS SOPS 47128 HAS SOUS 24781 HAS SOUPS 23926 WITH SCORE 23998.404
AT ITER 3992 NEW BEST:: SOT 131752 SOS 72432 HAS SOPS 47096 HAS SOUS 24795 HAS SOUPS 23910 WITH SCORE 23982.432
AT ITER 3997 NEW BEST:: SOT 131744 SOS 72424 HAS SOPS 47080 HAS SOUS 24779 HAS SOUPS 23894 WITH SCORE 23966.424
AT ITER 4000 NEW BEST:: SOT 131675 SOS 72164 HAS SOPS 47035 HAS SOUS 24744 HAS SOUPS 23871 WITH SCORE 23943.164
AT ITER 4003 NEW BEST:: SOT 131801 SOS 72290 HAS SOPS 47017 HAS SOUS 24598 HAS SOUPS 23725 WITH SCORE 23797.29
AT ITER 4011 NEW BEST:: SOT 131723 SOS 72212 HAS SOPS 46897 HAS SOUS 24470 HAS SOUPS 23591 WITH SCORE 23663.212
AT ITER 4019 NEW BEST:: SOT 131721 SOS 72210 HAS SOPS 46894 HAS SOUS 24377 HAS SOUPS 23497 WITH SCORE 23569.21
AT ITER 4036 NEW BEST:: SOT 131703 SOS 72192 HAS SOPS 46870 HAS SOUS 24353 HAS SOUPS 23473 WITH SCORE 23545.192
AT ITER 4046 NEW BEST:: SOT 131715 SOS 72204 HAS SOPS 46876 HAS SOUS 24341 HAS SOUPS 23461 WITH SCORE 23533.204
AT ITER 4049 NEW BEST:: SOT 131641 SOS 72132 HAS SOPS 46804 HAS SOUS 24268 HAS SOUPS 23388 WITH SCORE 23460.132
AT ITER 4052 NEW BEST:: SOT 131541 SOS 72032 HAS SOPS 46654 HAS SOUS 24224 HAS SOUPS 23344 WITH SCORE 23416.032
AT ITER 4061 NEW BEST:: SOT 131561 SOS 72052 HAS SOPS 46622 HAS SOUS 24220 HAS SOUPS 23340 WITH SCORE 23412.052
AT ITER 4076 NEW BEST:: SOT 131537 SOS 72028 HAS SOPS 46589 HAS SOUS 24190 HAS SOUPS 23307 WITH SCORE 23379.028
AT ITER 4126 NEW BEST:: SOT 131403 SOS 71894 HAS SOPS 46553 HAS SOUS 24142 HAS SOUPS 23259 WITH SCORE 23330.894
AT ITER 4152 NEW BEST:: SOT 131366 SOS 71814 HAS SOPS 46364 HAS SOUS 24135 HAS SOUPS 23252 WITH SCORE 23323.814
AT ITER 4160 NEW BEST:: SOT 131394 SOS 71842 HAS SOPS 46450 HAS SOUS 24133 HAS SOUPS 23250 WITH SCORE 23321.842
AT ITER 4167 NEW BEST:: SOT 131380 SOS 71828 HAS SOPS 46444 HAS SOUS 24125 HAS SOUPS 23242 WITH SCORE 23313.828
AT ITER 4171 NEW BEST:: SOT 131380 SOS 71804 HAS SOPS 46420 HAS SOUS 24119 HAS SOUPS 23236 WITH SCORE 23307.804
AT ITER 4173 NEW BEST:: SOT 131420 SOS 71844 HAS SOPS 46460 HAS SOUS 24115 HAS SOUPS 23232 WITH SCORE 23303.844
AT ITER 4190 NEW BEST:: SOT 131398 SOS 71822 HAS SOPS 46438 HAS SOUS 24071 HAS SOUPS 23188 WITH SCORE 23259.822
AT ITER 4193 NEW BEST:: SOT 131398 SOS 71808 HAS SOPS 46424 HAS SOUS 24065 HAS SOUPS 23182 WITH SCORE 23253.808
AT ITER 4220 NEW BEST:: SOT 131390 SOS 71800 HAS SOPS 46408 HAS SOUS 23993 HAS SOUPS 23110 WITH SCORE 23181.8
AT ITER 4253 NEW BEST:: SOT 131374 SOS 71784 HAS SOPS 46398 HAS SOUS 23961 HAS SOUPS 23078 WITH SCORE 23149.784
AT ITER 4319 NEW BEST:: SOT 131372 SOS 71782 HAS SOPS 46396 HAS SOUS 23957 HAS SOUPS 23074 WITH SCORE 23145.782
AT ITER 4333 NEW BEST:: SOT 131340 SOS 71750 HAS SOPS 46396 HAS SOUS 23945 HAS SOUPS 23062 WITH SCORE 23133.75
AT ITER 4378 NEW BEST:: SOT 131348 SOS 71758 HAS SOPS 46376 HAS SOUS 23925 HAS SOUPS 23042 WITH SCORE 23113.758
AT ITER 4394 NEW BEST:: SOT 131348 SOS 71758 HAS SOPS 46348 HAS SOUS 23911 HAS SOUPS 23028 WITH SCORE 23099.758
AT ITER 4442 NEW BEST:: SOT 131328 SOS 71738 HAS SOPS 46322 HAS SOUS 23871 HAS SOUPS 22988 WITH SCORE 23059.738
AT ITER 4471 NEW BEST:: SOT 131328 SOS 71658 HAS SOPS 46242 HAS SOUS 23867 HAS SOUPS 22984 WITH SCORE 23055.658
AT ITER 4478 NEW BEST:: SOT 131328 SOS 71729 HAS SOPS 46313 HAS SOUS 23845 HAS SOUPS 22962 WITH SCORE 23033.729
AT ITER 4480 NEW BEST:: SOT 131328 SOS 71837 HAS SOPS 46421 HAS SOUS 23818 HAS SOUPS 22935 WITH SCORE 23006.837
AT ITER 4494 NEW BEST:: SOT 131310 SOS 71819 HAS SOPS 46421 HAS SOUS 23818 HAS SOUPS 22935 WITH SCORE 23006.819
AT ITER 4511 NEW BEST:: SOT 131304 SOS 71813 HAS SOPS 46415 HAS SOUS 23806 HAS SOUPS 22923 WITH SCORE 22994.813
AT ITER 4527 NEW BEST:: SOT 131298 SOS 71807 HAS SOPS 46253 HAS SOUS 23794 HAS SOUPS 22911 WITH SCORE 22982.807
AT ITER 4550 NEW BEST:: SOT 131298 SOS 71743 HAS SOPS 46183 HAS SOUS 23794 HAS SOUPS 22911 WITH SCORE 22982.743
AT ITER 4589 NEW BEST:: SOT 131278 SOS 71723 HAS SOPS 46049 HAS SOUS 23754 HAS SOUPS 22871 WITH SCORE 22942.723
AT ITER 4595 NEW BEST:: SOT 131278 SOS 71325 HAS SOPS 45651 HAS SOUS 23747 HAS SOUPS 22864 WITH SCORE 22935.325
AT ITER 4602 NEW BEST:: SOT 131284 SOS 71331 HAS SOPS 45601 HAS SOUS 23697 HAS SOUPS 22814 WITH SCORE 22885.331
AT ITER 4603 NEW BEST:: SOT 131284 SOS 71301 HAS SOPS 45571 HAS SOUS 23697 HAS SOUPS 22814 WITH SCORE 22885.301
AT ITER 4625 NEW BEST:: SOT 131284 SOS 71301 HAS SOPS 45513 HAS SOUS 23718 HAS SOUPS 22806 WITH SCORE 22877.301
AT ITER 4629 NEW BEST:: SOT 131284 SOS 71297 HAS SOPS 45559 HAS SOUS 23691 HAS SOUPS 22804 WITH SCORE 22875.297
AT ITER 4630 NEW BEST:: SOT 131262 SOS 71275 HAS SOPS 45531 HAS SOUS 23663 HAS SOUPS 22776 WITH SCORE 22847.275
AT ITER 4656 NEW BEST:: SOT 131258 SOS 71271 HAS SOPS 45514 HAS SOUS 23646 HAS SOUPS 22759 WITH SCORE 22830.271
AT ITER 4703 NEW BEST:: SOT 131176 SOS 71129 HAS SOPS 45290 HAS SOUS 23487 HAS SOUPS 22600 WITH SCORE 22671.129
AT ITER 4719 NEW BEST:: SOT 131156 SOS 71109 HAS SOPS 45250 HAS SOUS 23455 HAS SOUPS 22560 WITH SCORE 22631.109
AT ITER 4745 NEW BEST:: SOT 131120 SOS 71073 HAS SOPS 45178 HAS SOUS 23455 HAS SOUPS 22560 WITH SCORE 22631.073
AT ITER 4763 NEW BEST:: SOT 131120 SOS 71073 HAS SOPS 45178 HAS SOUS 23453 HAS SOUPS 22558 WITH SCORE 22629.073
AT ITER 4789 NEW BEST:: SOT 131264 SOS 71075 HAS SOPS 45171 HAS SOUS 23349 HAS SOUPS 22454 WITH SCORE 22525.075
AT ITER 4791 NEW BEST:: SOT 131264 SOS 71185 HAS SOPS 45281 HAS SOUS 23348 HAS SOUPS 22453 WITH SCORE 22524.185
AT ITER 4813 NEW BEST:: SOT 131250 SOS 71171 HAS SOPS 45267 HAS SOUS 23334 HAS SOUPS 22439 WITH SCORE 22510.171
AT ITER 4829 NEW BEST:: SOT 131250 SOS 71171 HAS SOPS 45267 HAS SOUS 23321 HAS SOUPS 22426 WITH SCORE 22497.171
AT ITER 4871 NEW BEST:: SOT 131252 SOS 71173 HAS SOPS 45261 HAS SOUS 23319 HAS SOUPS 22424 WITH SCORE 22495.173
AT ITER 4911 NEW BEST:: SOT 131288 SOS 71209 HAS SOPS 44973 HAS SOUS 23213 HAS SOUPS 22318 WITH SCORE 22389.209
AT ITER 4959 NEW BEST:: SOT 131274 SOS 71195 HAS SOPS 44973 HAS SOUS 23185 HAS SOUPS 22290 WITH SCORE 22361.195
AT ITER 5010 NEW BEST:: SOT 131252 SOS 71173 HAS SOPS 44957 HAS SOUS 23151 HAS SOUPS 22256 WITH SCORE 22327.173
AT ITER 5020 NEW BEST:: SOT 131246 SOS 71167 HAS SOPS 44951 HAS SOUS 23139 HAS SOUPS 22244 WITH SCORE 22315.167
AT ITER 5022 NEW BEST:: SOT 131235 SOS 71148 HAS SOPS 44924 HAS SOUS 23128 HAS SOUPS 22233 WITH SCORE 22304.148
AT ITER 5041 NEW BEST:: SOT 131233 SOS 71146 HAS SOPS 44920 HAS SOUS 23124 HAS SOUPS 22229 WITH SCORE 22300.146
AT ITER 5053 NEW BEST:: SOT 131231 SOS 71144 HAS SOPS 44918 HAS SOUS 23124 HAS SOUPS 22229 WITH SCORE 22300.144
AT ITER 5058 NEW BEST:: SOT 131231 SOS 71120 HAS SOPS 44894 HAS SOUS 23118 HAS SOUPS 22223 WITH SCORE 22294.12
AT ITER 5093 NEW BEST:: SOT 131231 SOS 71080 HAS SOPS 44854 HAS SOUS 23099 HAS SOUPS 22204 WITH SCORE 22275.08
AT ITER 5106 NEW BEST:: SOT 131231 SOS 70929 HAS SOPS 44703 HAS SOUS 23074 HAS SOUPS 22179 WITH SCORE 22249.929
AT ITER 5131 NEW BEST:: SOT 131243 SOS 70941 HAS SOPS 44667 HAS SOUS 23068 HAS SOUPS 22173 WITH SCORE 22243.941
AT ITER 5134 NEW BEST:: SOT 131165 SOS 70863 HAS SOPS 44595 HAS SOUS 23068 HAS SOUPS 22173 WITH SCORE 22243.863
AT ITER 5194 NEW BEST:: SOT 131141 SOS 70839 HAS SOPS 44541 HAS SOUS 22984 HAS SOUPS 22089 WITH SCORE 22159.839
AT ITER 5197 NEW BEST:: SOT 131131 SOS 70829 HAS SOPS 44507 HAS SOUS 22964 HAS SOUPS 22069 WITH SCORE 22139.829
AT ITER 5208 NEW BEST:: SOT 131183 SOS 70881 HAS SOPS 44548 HAS SOUS 22963 HAS SOUPS 22068 WITH SCORE 22138.881
AT ITER 5212 NEW BEST:: SOT 131181 SOS 70889 HAS SOPS 44566 HAS SOUS 22957 HAS SOUPS 22062 WITH SCORE 22132.889
AT ITER 5215 NEW BEST:: SOT 131134 SOS 70944 HAS SOPS 44621 HAS SOUS 22924 HAS SOUPS 22029 WITH SCORE 22099.944
AT ITER 5257 NEW BEST:: SOT 131126 SOS 70936 HAS SOPS 44605 HAS SOUS 22908 HAS SOUPS 22013 WITH SCORE 22083.936
AT ITER 5271 NEW BEST:: SOT 131110 SOS 70920 HAS SOPS 44573 HAS SOUS 22876 HAS SOUPS 21981 WITH SCORE 22051.92
AT ITER 5295 NEW BEST:: SOT 131110 SOS 70910 HAS SOPS 44563 HAS SOUS 22876 HAS SOUPS 21981 WITH SCORE 22051.91
AT ITER 5306 NEW BEST:: SOT 131056 SOS 70856 HAS SOPS 44519 HAS SOUS 22832 HAS SOUPS 21937 WITH SCORE 22007.856
AT ITER 5316 NEW BEST:: SOT 131666 SOS 70078 HAS SOPS 44709 HAS SOUS 22508 HAS SOUPS 21615 WITH SCORE 21685.078
AT ITER 5334 NEW BEST:: SOT 131700 SOS 70112 HAS SOPS 44609 HAS SOUS 22492 HAS SOUPS 21599 WITH SCORE 21669.112
AT ITER 5359 NEW BEST:: SOT 131709 SOS 70121 HAS SOPS 44655 HAS SOUS 22479 HAS SOUPS 21586 WITH SCORE 21656.121
AT ITER 5373 NEW BEST:: SOT 131709 SOS 70101 HAS SOPS 44615 HAS SOUS 22479 HAS SOUPS 21576 WITH SCORE 21646.101
AT ITER 5374 NEW BEST:: SOT 131709 SOS 70087 HAS SOPS 44601 HAS SOUS 22472 HAS SOUPS 21569 WITH SCORE 21639.087
AT ITER 5395 NEW BEST:: SOT 131709 SOS 70067 HAS SOPS 44581 HAS SOUS 22462 HAS SOUPS 21559 WITH SCORE 21629.067
AT ITER 5421 NEW BEST:: SOT 131709 SOS 70063 HAS SOPS 44577 HAS SOUS 22462 HAS SOUPS 21559 WITH SCORE 21629.063
AT ITER 5484 NEW BEST:: SOT 131709 SOS 70051 HAS SOPS 44565 HAS SOUS 22454 HAS SOUPS 21551 WITH SCORE 21621.051
AT ITER 5489 NEW BEST:: SOT 131695 SOS 70037 HAS SOPS 44572 HAS SOUS 22440 HAS SOUPS 21537 WITH SCORE 21607.037
AT ITER 5501 NEW BEST:: SOT 131646 SOS 69887 HAS SOPS 44422 HAS SOUS 22278 HAS SOUPS 21375 WITH SCORE 21444.887
AT ITER 5538 NEW BEST:: SOT 131646 SOS 69885 HAS SOPS 44420 HAS SOUS 22277 HAS SOUPS 21374 WITH SCORE 21443.885
AT ITER 5563 NEW BEST:: SOT 131662 SOS 69901 HAS SOPS 44336 HAS SOUS 22219 HAS SOUPS 21316 WITH SCORE 21385.901
AT ITER 5589 NEW BEST:: SOT 131662 SOS 69891 HAS SOPS 44326 HAS SOUS 22211 HAS SOUPS 21308 WITH SCORE 21377.891
AT ITER 5612 NEW BEST:: SOT 131660 SOS 69889 HAS SOPS 44322 HAS SOUS 22209 HAS SOUPS 21306 WITH SCORE 21375.889
AT ITER 5689 NEW BEST:: SOT 131660 SOS 69889 HAS SOPS 44310 HAS SOUS 22173 HAS SOUPS 21270 WITH SCORE 21339.889
AT ITER 5733 NEW BEST:: SOT 131581 SOS 69589 HAS SOPS 43880 HAS SOUS 21975 HAS SOUPS 21072 WITH SCORE 21141.589
AT ITER 5751 NEW BEST:: SOT 131579 SOS 69587 HAS SOPS 43874 HAS SOUS 21975 HAS SOUPS 21072 WITH SCORE 21141.587
AT ITER 5783 NEW BEST:: SOT 131541 SOS 69549 HAS SOPS 43758 HAS SOUS 21827 HAS SOUPS 20924 WITH SCORE 20993.549
AT ITER 5822 NEW BEST:: SOT 131541 SOS 69549 HAS SOPS 43736 HAS SOUS 21805 HAS SOUPS 20902 WITH SCORE 20971.549
AT ITER 5838 NEW BEST:: SOT 131509 SOS 69517 HAS SOPS 43672 HAS SOUS 21763 HAS SOUPS 20860 WITH SCORE 20929.517
AT ITER 5920 NEW BEST:: SOT 131509 SOS 69501 HAS SOPS 43656 HAS SOUS 21759 HAS SOUPS 20856 WITH SCORE 20925.501
AT ITER 5956 NEW BEST:: SOT 131491 SOS 69483 HAS SOPS 43665 HAS SOUS 21741 HAS SOUPS 20838 WITH SCORE 20907.483
AT ITER 5976 NEW BEST:: SOT 131463 SOS 69455 HAS SOPS 43679 HAS SOUS 21685 HAS SOUPS 20782 WITH SCORE 20851.455
AT ITER 6015 NEW BEST:: SOT 131427 SOS 69419 HAS SOPS 43649 HAS SOUS 21647 HAS SOUPS 20744 WITH SCORE 20813.419
AT ITER 6020 NEW BEST:: SOT 131407 SOS 69399 HAS SOPS 43609 HAS SOUS 21645 HAS SOUPS 20742 WITH SCORE 20811.399
AT ITER 6072 NEW BEST:: SOT 131399 SOS 69391 HAS SOPS 43581 HAS SOUS 21605 HAS SOUPS 20702 WITH SCORE 20771.391
AT ITER 6121 NEW BEST:: SOT 131391 SOS 69383 HAS SOPS 43599 HAS SOUS 21589 HAS SOUPS 20686 WITH SCORE 20755.383
AT ITER 6137 NEW BEST:: SOT 131391 SOS 69381 HAS SOPS 43597 HAS SOUS 21588 HAS SOUPS 20685 WITH SCORE 20754.381
AT ITER 6142 NEW BEST:: SOT 131385 SOS 69375 HAS SOPS 43597 HAS SOUS 21582 HAS SOUPS 20679 WITH SCORE 20748.375
AT ITER 6145 NEW BEST:: SOT 131383 SOS 69373 HAS SOPS 43593 HAS SOUS 21578 HAS SOUPS 20675 WITH SCORE 20744.373
AT ITER 6162 NEW BEST:: SOT 131383 SOS 69373 HAS SOPS 43599 HAS SOUS 21572 HAS SOUPS 20669 WITH SCORE 20738.373
AT ITER 6204 NEW BEST:: SOT 131383 SOS 69373 HAS SOPS 43598 HAS SOUS 21571 HAS SOUPS 20668 WITH SCORE 20737.373
AT ITER 6309 NEW BEST:: SOT 131379 SOS 69369 HAS SOPS 43590 HAS SOUS 21565 HAS SOUPS 20662 WITH SCORE 20731.369
AT ITER 6317 NEW BEST:: SOT 131379 SOS 69315 HAS SOPS 43536 HAS SOUS 21533 HAS SOUPS 20630 WITH SCORE 20699.315
AT ITER 6411 NEW BEST:: SOT 131377 SOS 69313 HAS SOPS 43522 HAS SOUS 21529 HAS SOUPS 20626 WITH SCORE 20695.313
AT ITER 6449 NEW BEST:: SOT 131367 SOS 69303 HAS SOPS 43508 HAS SOUS 21512 HAS SOUPS 20609 WITH SCORE 20678.303
AT ITER 6465 NEW BEST:: SOT 131367 SOS 69269 HAS SOPS 43474 HAS SOUS 21507 HAS SOUPS 20604 WITH SCORE 20673.269
AT ITER 6471 NEW BEST:: SOT 131363 SOS 69265 HAS SOPS 43448 HAS SOUS 21503 HAS SOUPS 20578 WITH SCORE 20647.265
AT ITER 6475 NEW BEST:: SOT 131393 SOS 69295 HAS SOPS 43426 HAS SOUS 21457 HAS SOUPS 20532 WITH SCORE 20601.295
AT ITER 6529 NEW BEST:: SOT 131393 SOS 69283 HAS SOPS 43414 HAS SOUS 21456 HAS SOUPS 20531 WITH SCORE 20600.283
AT ITER 6584 NEW BEST:: SOT 131393 SOS 69247 HAS SOPS 43378 HAS SOUS 21456 HAS SOUPS 20531 WITH SCORE 20600.247
AT ITER 6608 NEW BEST:: SOT 131379 SOS 69233 HAS SOPS 43334 HAS SOUS 21414 HAS SOUPS 20489 WITH SCORE 20558.233
AT ITER 6659 NEW BEST:: SOT 131379 SOS 69175 HAS SOPS 43276 HAS SOUS 21411 HAS SOUPS 20486 WITH SCORE 20555.175
AT ITER 6680 NEW BEST:: SOT 131379 SOS 69159 HAS SOPS 43260 HAS SOUS 21411 HAS SOUPS 20486 WITH SCORE 20555.159
AT ITER 6684 NEW BEST:: SOT 131379 SOS 69180 HAS SOPS 43281 HAS SOUS 21410 HAS SOUPS 20485 WITH SCORE 20554.18
AT ITER 6706 NEW BEST:: SOT 131379 SOS 69166 HAS SOPS 43253 HAS SOUS 21417 HAS SOUPS 20485 WITH SCORE 20554.166
AT ITER 6733 NEW BEST:: SOT 131367 SOS 69154 HAS SOPS 43241 HAS SOUS 21405 HAS SOUPS 20473 WITH SCORE 20542.154
AT ITER 6783 NEW BEST:: SOT 131367 SOS 69098 HAS SOPS 43185 HAS SOUS 21405 HAS SOUPS 20473 WITH SCORE 20542.098
AT ITER 6804 NEW BEST:: SOT 131367 SOS 69094 HAS SOPS 43181 HAS SOUS 21404 HAS SOUPS 20472 WITH SCORE 20541.094
AT ITER 6821 NEW BEST:: SOT 131365 SOS 69092 HAS SOPS 43177 HAS SOUS 21400 HAS SOUPS 20468 WITH SCORE 20537.092
AT ITER 6845 NEW BEST:: SOT 131343 SOS 69070 HAS SOPS 43133 HAS SOUS 21356 HAS SOUPS 20424 WITH SCORE 20493.07
AT ITER 6848 NEW BEST:: SOT 131343 SOS 69070 HAS SOPS 43135 HAS SOUS 21354 HAS SOUPS 20422 WITH SCORE 20491.07
AT ITER 6863 NEW BEST:: SOT 131321 SOS 69048 HAS SOPS 43067 HAS SOUS 21348 HAS SOUPS 20416 WITH SCORE 20485.048
AT ITER 6903 NEW BEST:: SOT 131343 SOS 69070 HAS SOPS 43111 HAS SOUS 21342 HAS SOUPS 20410 WITH SCORE 20479.07
AT ITER 6964 NEW BEST:: SOT 131343 SOS 69070 HAS SOPS 43039 HAS SOUS 21306 HAS SOUPS 20374 WITH SCORE 20443.07
AT ITER 7020 NEW BEST:: SOT 131315 SOS 69042 HAS SOPS 42997 HAS SOUS 21250 HAS SOUPS 20318 WITH SCORE 20387.042
AT ITER 7024 NEW BEST:: SOT 131309 SOS 69036 HAS SOPS 42973 HAS SOUS 21232 HAS SOUPS 20300 WITH SCORE 20369.036
AT ITER 7059 NEW BEST:: SOT 131309 SOS 69056 HAS SOPS 42981 HAS SOUS 21236 HAS SOUPS 20298 WITH SCORE 20367.056
AT ITER 7151 NEW BEST:: SOT 130730 SOS 69325 HAS SOPS 42536 HAS SOUS 21109 HAS SOUPS 20166 WITH SCORE 20235.325
AT ITER 7190 NEW BEST:: SOT 130728 SOS 69323 HAS SOPS 42532 HAS SOUS 21105 HAS SOUPS 20162 WITH SCORE 20231.323
AT ITER 7197 NEW BEST:: SOT 130728 SOS 69281 HAS SOPS 42490 HAS SOUS 21104 HAS SOUPS 20161 WITH SCORE 20230.281
AT ITER 7208 NEW BEST:: SOT 130716 SOS 69269 HAS SOPS 42478 HAS SOUS 21092 HAS SOUPS 20149 WITH SCORE 20218.269
AT ITER 7265 NEW BEST:: SOT 130798 SOS 69351 HAS SOPS 42548 HAS SOUS 21088 HAS SOUPS 20145 WITH SCORE 20214.351
AT ITER 7273 NEW BEST:: SOT 130798 SOS 69351 HAS SOPS 42560 HAS SOUS 21082 HAS SOUPS 20139 WITH SCORE 20208.351
AT ITER 7330 NEW BEST:: SOT 130796 SOS 69349 HAS SOPS 42554 HAS SOUS 21080 HAS SOUPS 20137 WITH SCORE 20206.349
AT ITER 7341 NEW BEST:: SOT 130748 SOS 69301 HAS SOPS 42494 HAS SOUS 21074 HAS SOUPS 20131 WITH SCORE 20200.301
AT ITER 7354 NEW BEST:: SOT 130748 SOS 69321 HAS SOPS 42514 HAS SOUS 21072 HAS SOUPS 20129 WITH SCORE 20198.321
AT ITER 7378 NEW BEST:: SOT 130742 SOS 69315 HAS SOPS 42518 HAS SOUS 21072 HAS SOUPS 20129 WITH SCORE 20198.315
AT ITER 7399 NEW BEST:: SOT 130742 SOS 69302 HAS SOPS 42505 HAS SOUS 21060 HAS SOUPS 20117 WITH SCORE 20186.302
AT ITER 7460 NEW BEST:: SOT 130732 SOS 69292 HAS SOPS 42490 HAS SOUS 21040 HAS SOUPS 20097 WITH SCORE 20166.292
AT ITER 7579 NEW BEST:: SOT 130726 SOS 69286 HAS SOPS 42484 HAS SOUS 21032 HAS SOUPS 20089 WITH SCORE 20158.286
AT ITER 7659 NEW BEST:: SOT 130722 SOS 69282 HAS SOPS 42438 HAS SOUS 21024 HAS SOUPS 20081 WITH SCORE 20150.282
AT ITER 7662 NEW BEST:: SOT 130918 SOS 69478 HAS SOPS 42662 HAS SOUS 20996 HAS SOUPS 20053 WITH SCORE 20122.478
AT ITER 7676 NEW BEST:: SOT 130918 SOS 69438 HAS SOPS 42622 HAS SOUS 20986 HAS SOUPS 20043 WITH SCORE 20112.438
AT ITER 7720 NEW BEST:: SOT 130922 SOS 69442 HAS SOPS 42576 HAS SOUS 20982 HAS SOUPS 20039 WITH SCORE 20108.442
AT ITER 7760 NEW BEST:: SOT 130866 SOS 69386 HAS SOPS 42512 HAS SOUS 20918 HAS SOUPS 19975 WITH SCORE 20044.386
AT ITER 7791 NEW BEST:: SOT 130866 SOS 69392 HAS SOPS 42508 HAS SOUS 20917 HAS SOUPS 19969 WITH SCORE 20038.392
AT ITER 7855 NEW BEST:: SOT 130968 SOS 69494 HAS SOPS 42628 HAS SOUS 20915 HAS SOUPS 19967 WITH SCORE 20036.494
AT ITER 7906 NEW BEST:: SOT 130948 SOS 69474 HAS SOPS 42588 HAS SOUS 20909 HAS SOUPS 19961 WITH SCORE 20030.474
AT ITER 7957 NEW BEST:: SOT 130968 SOS 69494 HAS SOPS 42602 HAS SOUS 20891 HAS SOUPS 19943 WITH SCORE 20012.494
AT ITER 8013 NEW BEST:: SOT 130968 SOS 69494 HAS SOPS 42602 HAS SOUS 20876 HAS SOUPS 19928 WITH SCORE 19997.494
AT ITER 8016 NEW BEST:: SOT 130966 SOS 69492 HAS SOPS 42608 HAS SOUS 20874 HAS SOUPS 19926 WITH SCORE 19995.492
AT ITER 8023 NEW BEST:: SOT 130928 SOS 69454 HAS SOPS 42575 HAS SOUS 20841 HAS SOUPS 19893 WITH SCORE 19962.454
AT ITER 8026 NEW BEST:: SOT 130928 SOS 69366 HAS SOPS 42487 HAS SOUS 20835 HAS SOUPS 19887 WITH SCORE 19956.366
AT ITER 8029 NEW BEST:: SOT 130928 SOS 69394 HAS SOPS 42458 HAS SOUS 20849 HAS SOUPS 19869 WITH SCORE 19938.394
AT ITER 8032 NEW BEST:: SOT 130928 SOS 69394 HAS SOPS 42458 HAS SOUS 20847 HAS SOUPS 19867 WITH SCORE 19936.394
AT ITER 8035 NEW BEST:: SOT 130922 SOS 69388 HAS SOPS 42452 HAS SOUS 20835 HAS SOUPS 19855 WITH SCORE 19924.388
AT ITER 8040 NEW BEST:: SOT 130922 SOS 69384 HAS SOPS 42448 HAS SOUS 20826 HAS SOUPS 19846 WITH SCORE 19915.384
AT ITER 8049 NEW BEST:: SOT 130878 SOS 69340 HAS SOPS 42406 HAS SOUS 20784 HAS SOUPS 19804 WITH SCORE 19873.34
AT ITER 8178 NEW BEST:: SOT 130832 SOS 69294 HAS SOPS 42398 HAS SOUS 20754 HAS SOUPS 19774 WITH SCORE 19843.294
AT ITER 8241 NEW BEST:: SOT 130816 SOS 69278 HAS SOPS 42366 HAS SOUS 20722 HAS SOUPS 19742 WITH SCORE 19811.278
AT ITER 8256 NEW BEST:: SOT 130808 SOS 69270 HAS SOPS 42360 HAS SOUS 20706 HAS SOUPS 19726 WITH SCORE 19795.27
AT ITER 8273 NEW BEST:: SOT 130808 SOS 69262 HAS SOPS 42352 HAS SOUS 20706 HAS SOUPS 19726 WITH SCORE 19795.262
AT ITER 8336 NEW BEST:: SOT 130806 SOS 69260 HAS SOPS 42174 HAS SOUS 20578 HAS SOUPS 19598 WITH SCORE 19667.26
AT ITER 8353 NEW BEST:: SOT 130806 SOS 69287 HAS SOPS 42201 HAS SOUS 20575 HAS SOUPS 19595 WITH SCORE 19664.287
AT ITER 8363 NEW BEST:: SOT 130836 SOS 69317 HAS SOPS 42167 HAS SOUS 20541 HAS SOUPS 19561 WITH SCORE 19630.317
AT ITER 8364 NEW BEST:: SOT 130836 SOS 69323 HAS SOPS 42173 HAS SOUS 20539 HAS SOUPS 19559 WITH SCORE 19628.323
AT ITER 8386 NEW BEST:: SOT 130782 SOS 69269 HAS SOPS 42119 HAS SOUS 20523 HAS SOUPS 19543 WITH SCORE 19612.269
AT ITER 8430 NEW BEST:: SOT 130734 SOS 69221 HAS SOPS 42059 HAS SOUS 20463 HAS SOUPS 19483 WITH SCORE 19552.221
AT ITER 8442 NEW BEST:: SOT 130712 SOS 69199 HAS SOPS 41953 HAS SOUS 20429 HAS SOUPS 19449 WITH SCORE 19518.199
AT ITER 8460 NEW BEST:: SOT 130712 SOS 69191 HAS SOPS 41945 HAS SOUS 20429 HAS SOUPS 19449 WITH SCORE 19518.191
AT ITER 8462 NEW BEST:: SOT 130702 SOS 69181 HAS SOPS 41925 HAS SOUS 20409 HAS SOUPS 19429 WITH SCORE 19498.181
AT ITER 8538 NEW BEST:: SOT 130706 SOS 69185 HAS SOPS 41933 HAS SOUS 20405 HAS SOUPS 19425 WITH SCORE 19494.185
AT ITER 8720 NEW BEST:: SOT 130698 SOS 69177 HAS SOPS 41921 HAS SOUS 20389 HAS SOUPS 19409 WITH SCORE 19478.177
AT ITER 8726 NEW BEST:: SOT 130698 SOS 69163 HAS SOPS 41907 HAS SOUS 20386 HAS SOUPS 19406 WITH SCORE 19475.163
AT ITER 8727 NEW BEST:: SOT 130258 SOS 69426 HAS SOPS 41580 HAS SOUS 20086 HAS SOUPS 19106 WITH SCORE 19175.426
AT ITER 8779 NEW BEST:: SOT 130254 SOS 69422 HAS SOPS 41574 HAS SOUS 20076 HAS SOUPS 19096 WITH SCORE 19165.422
AT ITER 8849 NEW BEST:: SOT 130254 SOS 69480 HAS SOPS 41632 HAS SOUS 20071 HAS SOUPS 19091 WITH SCORE 19160.48
AT ITER 8878 NEW BEST:: SOT 130244 SOS 69470 HAS SOPS 41644 HAS SOUS 20067 HAS SOUPS 19087 WITH SCORE 19156.47
AT ITER 8891 NEW BEST:: SOT 130248 SOS 69474 HAS SOPS 41638 HAS SOUS 20061 HAS SOUPS 19081 WITH SCORE 19150.474
AT ITER 8918 NEW BEST:: SOT 130273 SOS 69414 HAS SOPS 41510 HAS SOUS 20050 HAS SOUPS 19078 WITH SCORE 19147.414
AT ITER 9211 NEW BEST:: SOT 130273 SOS 69288 HAS SOPS 41384 HAS SOUS 20023 HAS SOUPS 19051 WITH SCORE 19120.288
AT ITER 9224 NEW BEST:: SOT 130273 SOS 69122 HAS SOPS 41218 HAS SOUS 20001 HAS SOUPS 19029 WITH SCORE 19098.122
AT ITER 9238 NEW BEST:: SOT 130273 SOS 69122 HAS SOPS 41218 HAS SOUS 19987 HAS SOUPS 19015 WITH SCORE 19084.122
AT ITER 9255 NEW BEST:: SOT 130273 SOS 69098 HAS SOPS 41194 HAS SOUS 19983 HAS SOUPS 19011 WITH SCORE 19080.098
AT ITER 9404 NEW BEST:: SOT 130273 SOS 68982 HAS SOPS 41078 HAS SOUS 19970 HAS SOUPS 18998 WITH SCORE 19066.982
AT ITER 9486 NEW BEST:: SOT 130251 SOS 68960 HAS SOPS 41070 HAS SOUS 19950 HAS SOUPS 18978 WITH SCORE 19046.96
AT ITER 9509 NEW BEST:: SOT 130239 SOS 68948 HAS SOPS 41046 HAS SOUS 19950 HAS SOUPS 18978 WITH SCORE 19046.948
AT ITER 9558 NEW BEST:: SOT 130225 SOS 68934 HAS SOPS 41030 HAS SOUS 19943 HAS SOUPS 18971 WITH SCORE 19039.934
AT ITER 9640 NEW BEST:: SOT 130203 SOS 68912 HAS SOPS 40986 HAS SOUS 19899 HAS SOUPS 18927 WITH SCORE 18995.912
AT ITER 9657 NEW BEST:: SOT 130197 SOS 68906 HAS SOPS 40974 HAS SOUS 19889 HAS SOUPS 18917 WITH SCORE 18985.906
AT ITER 9684 NEW BEST:: SOT 130201 SOS 68910 HAS SOPS 40962 HAS SOUS 19881 HAS SOUPS 18905 WITH SCORE 18973.91
AT ITER 9935 NEW BEST:: SOT 130189 SOS 68898 HAS SOPS 40938 HAS SOUS 19863 HAS SOUPS 18887 WITH SCORE 18955.898

BK_STOP 1679497822964

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 4555
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 480 Segmentation fault ${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="FunctionPointer-PT-b016"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is FunctionPointer-PT-b016, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r171-tall-167838859000688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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