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.r299-tall-167873953000424.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 PolyORBLF-COL-S04J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953000424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 7.0K Feb 26 14:16 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 14:16 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 14:15 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 14:15 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 14:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 14:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 83K Feb 26 14:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K 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 1679488673741

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=PolyORBLF-COL-S04J06T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 12:37:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 12:37:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 12:37:55] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 12:37:55] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 12:37:55] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 504 ms
[2023-03-22 12:37:55] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 618 PT places and 3232.0 transition bindings in 21 ms.
[2023-03-22 12:37:55] [INFO ] Unfolded HLPN to a Petri net with 618 places and 3190 transitions 21570 arcs in 130 ms.
[2023-03-22 12:37:55] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 12:37:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 618 places, 3190 transitions and 21570 arcs took 46 ms.
Total runtime 874 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J06T06
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: 618 places, 3190 transitions, 21570 arcs.
AT ITER 0 NEW BEST:: SOT 1041817 SOS 812787 HAS SOPS 808905 HAS SOUS 272001 HAS SOUPS 271356 WITH SCORE 272168.787
AT ITER 4 NEW BEST:: SOT 1041780 SOS 812669 HAS SOPS 808787 HAS SOUS 271883 HAS SOUPS 271238 WITH SCORE 272050.669
AT ITER 7 NEW BEST:: SOT 1041322 SOS 812257 HAS SOPS 808375 HAS SOUS 271714 HAS SOUPS 271069 WITH SCORE 271881.257
AT ITER 11 NEW BEST:: SOT 1041315 SOS 812243 HAS SOPS 808361 HAS SOUS 271700 HAS SOUPS 271055 WITH SCORE 271867.243
AT ITER 22 NEW BEST:: SOT 1041237 SOS 812165 HAS SOPS 808283 HAS SOUS 271622 HAS SOUPS 270977 WITH SCORE 271789.165
AT ITER 30 NEW BEST:: SOT 1041181 SOS 812095 HAS SOPS 808213 HAS SOUS 271510 HAS SOUPS 270865 WITH SCORE 271677.095
AT ITER 32 NEW BEST:: SOT 1041181 SOS 812058 HAS SOPS 808176 HAS SOUS 271473 HAS SOUPS 270828 WITH SCORE 271640.058
AT ITER 33 NEW BEST:: SOT 1039850 SOS 810863 HAS SOPS 806981 HAS SOUS 270272 HAS SOUPS 269627 WITH SCORE 270437.863
AT ITER 51 NEW BEST:: SOT 1039448 SOS 810461 HAS SOPS 806579 HAS SOUS 269870 HAS SOUPS 269225 WITH SCORE 270035.461
AT ITER 63 NEW BEST:: SOT 1039335 SOS 810247 HAS SOPS 806365 HAS SOUS 269408 HAS SOUPS 268763 WITH SCORE 269573.247
AT ITER 66 NEW BEST:: SOT 1039282 SOS 809929 HAS SOPS 806047 HAS SOUS 269408 HAS SOUPS 268763 WITH SCORE 269572.929
AT ITER 70 NEW BEST:: SOT 1039118 SOS 809613 HAS SOPS 805731 HAS SOUS 269233 HAS SOUPS 268588 WITH SCORE 269397.613
AT ITER 78 NEW BEST:: SOT 1039118 SOS 809564 HAS SOPS 805682 HAS SOUS 268929 HAS SOUPS 268284 WITH SCORE 269093.564
AT ITER 88 NEW BEST:: SOT 1039003 SOS 809394 HAS SOPS 805512 HAS SOUS 268273 HAS SOUPS 267628 WITH SCORE 268437.394
AT ITER 99 NEW BEST:: SOT 1038888 SOS 809218 HAS SOPS 805336 HAS SOUS 268092 HAS SOUPS 267447 WITH SCORE 268256.218
AT ITER 101 NEW BEST:: SOT 1038858 SOS 809188 HAS SOPS 805306 HAS SOUS 268062 HAS SOUPS 267417 WITH SCORE 268226.188
AT ITER 106 NEW BEST:: SOT 1037691 SOS 808050 HAS SOPS 804168 HAS SOUS 267833 HAS SOUPS 267188 WITH SCORE 267996.05
AT ITER 109 NEW BEST:: SOT 1037121 SOS 807576 HAS SOPS 803694 HAS SOUS 267688 HAS SOUPS 267043 WITH SCORE 267850.576
AT ITER 112 NEW BEST:: SOT 1037313 SOS 808180 HAS SOPS 804298 HAS SOUS 267156 HAS SOUPS 266511 WITH SCORE 267319.18
AT ITER 117 NEW BEST:: SOT 1037288 SOS 807509 HAS SOPS 803627 HAS SOUS 267083 HAS SOUPS 266438 WITH SCORE 267245.509
AT ITER 118 NEW BEST:: SOT 1037236 SOS 807457 HAS SOPS 803579 HAS SOUS 266923 HAS SOUPS 266278 WITH SCORE 267085.457
AT ITER 119 NEW BEST:: SOT 1037220 SOS 807444 HAS SOPS 803566 HAS SOUS 266915 HAS SOUPS 266270 WITH SCORE 267077.444
AT ITER 121 NEW BEST:: SOT 1037220 SOS 808014 HAS SOPS 804136 HAS SOUS 266840 HAS SOUPS 266195 WITH SCORE 267003.014
AT ITER 123 NEW BEST:: SOT 1037220 SOS 808158 HAS SOPS 804280 HAS SOUS 266782 HAS SOUPS 266137 WITH SCORE 266945.158
AT ITER 124 NEW BEST:: SOT 1037211 SOS 808149 HAS SOPS 804271 HAS SOUS 266779 HAS SOUPS 266134 WITH SCORE 266942.149
AT ITER 135 NEW BEST:: SOT 1035947 SOS 807037 HAS SOPS 803159 HAS SOUS 265939 HAS SOUPS 265294 WITH SCORE 266101.037
AT ITER 142 NEW BEST:: SOT 1035687 SOS 806712 HAS SOPS 802834 HAS SOUS 265419 HAS SOUPS 264774 WITH SCORE 265580.712
AT ITER 147 NEW BEST:: SOT 1035027 SOS 806280 HAS SOPS 802402 HAS SOUS 264952 HAS SOUPS 264307 WITH SCORE 265113.28
AT ITER 165 NEW BEST:: SOT 1034845 SOS 805973 HAS SOPS 802095 HAS SOUS 264304 HAS SOUPS 263659 WITH SCORE 264464.973
AT ITER 166 NEW BEST:: SOT 1034227 SOS 805252 HAS SOPS 801374 HAS SOUS 263686 HAS SOUPS 263041 WITH SCORE 263846.252
AT ITER 171 NEW BEST:: SOT 1033822 SOS 804924 HAS SOPS 801046 HAS SOUS 263359 HAS SOUPS 262714 WITH SCORE 263518.924
AT ITER 200 NEW BEST:: SOT 1033679 SOS 804781 HAS SOPS 800903 HAS SOUS 263295 HAS SOUPS 262650 WITH SCORE 263454.781
AT ITER 210 NEW BEST:: SOT 1033370 SOS 804455 HAS SOPS 800576 HAS SOUS 262993 HAS SOUPS 262348 WITH SCORE 263152.455
AT ITER 214 NEW BEST:: SOT 1033281 SOS 804251 HAS SOPS 800372 HAS SOUS 262789 HAS SOUPS 262144 WITH SCORE 262948.251
AT ITER 221 NEW BEST:: SOT 1033272 SOS 804233 HAS SOPS 800354 HAS SOUS 262783 HAS SOUPS 262138 WITH SCORE 262942.233
AT ITER 222 NEW BEST:: SOT 1033273 SOS 804487 HAS SOPS 800608 HAS SOUS 262696 HAS SOUPS 262051 WITH SCORE 262855.487
AT ITER 247 NEW BEST:: SOT 1033273 SOS 804681 HAS SOPS 800802 HAS SOUS 262637 HAS SOUPS 261992 WITH SCORE 262796.681
AT ITER 251 NEW BEST:: SOT 1033225 SOS 804621 HAS SOPS 800742 HAS SOUS 262544 HAS SOUPS 261899 WITH SCORE 262703.621
AT ITER 252 NEW BEST:: SOT 1033186 SOS 804582 HAS SOPS 800703 HAS SOUS 262518 HAS SOUPS 261873 WITH SCORE 262677.582
AT ITER 259 NEW BEST:: SOT 1032911 SOS 799227 HAS SOPS 795348 HAS SOUS 261581 HAS SOUPS 260936 WITH SCORE 261735.227
AT ITER 270 NEW BEST:: SOT 1032813 SOS 799129 HAS SOPS 795250 HAS SOUS 261450 HAS SOUPS 260805 WITH SCORE 261604.129
AT ITER 272 NEW BEST:: SOT 1032219 SOS 798865 HAS SOPS 794986 HAS SOUS 261342 HAS SOUPS 260697 WITH SCORE 261495.865
AT ITER 273 NEW BEST:: SOT 1031962 SOS 798622 HAS SOPS 794743 HAS SOUS 261146 HAS SOUPS 260501 WITH SCORE 261299.622
AT ITER 274 NEW BEST:: SOT 1032357 SOS 799437 HAS SOPS 795558 HAS SOUS 261065 HAS SOUPS 260420 WITH SCORE 261219.437
AT ITER 276 NEW BEST:: SOT 1032335 SOS 799349 HAS SOPS 795470 HAS SOUS 261043 HAS SOUPS 260398 WITH SCORE 261197.349
AT ITER 282 NEW BEST:: SOT 1032325 SOS 799339 HAS SOPS 795440 HAS SOUS 261036 HAS SOUPS 260378 WITH SCORE 261177.339
AT ITER 284 NEW BEST:: SOT 1031368 SOS 798463 HAS SOPS 794564 HAS SOUS 259646 HAS SOUPS 258988 WITH SCORE 259786.463
AT ITER 289 NEW BEST:: SOT 1031224 SOS 798283 HAS SOPS 794384 HAS SOUS 259358 HAS SOUPS 258700 WITH SCORE 259498.283
AT ITER 304 NEW BEST:: SOT 1030947 SOS 797597 HAS SOPS 793698 HAS SOUS 258079 HAS SOUPS 257421 WITH SCORE 258218.597
AT ITER 306 NEW BEST:: SOT 1030895 SOS 797487 HAS SOPS 793588 HAS SOUS 257969 HAS SOUPS 257311 WITH SCORE 258108.487
AT ITER 309 NEW BEST:: SOT 1031027 SOS 797762 HAS SOPS 793863 HAS SOUS 257852 HAS SOUPS 257194 WITH SCORE 257991.762
AT ITER 313 NEW BEST:: SOT 1030876 SOS 797222 HAS SOPS 793323 HAS SOUS 257626 HAS SOUPS 256968 WITH SCORE 257765.222
AT ITER 314 NEW BEST:: SOT 1030007 SOS 796149 HAS SOPS 792250 HAS SOUS 256997 HAS SOUPS 256339 WITH SCORE 257135.149
AT ITER 318 NEW BEST:: SOT 1030040 SOS 795927 HAS SOPS 792028 HAS SOUS 256760 HAS SOUPS 256102 WITH SCORE 256897.927
AT ITER 324 NEW BEST:: SOT 1030056 SOS 795943 HAS SOPS 792044 HAS SOUS 256756 HAS SOUPS 256098 WITH SCORE 256893.943
AT ITER 326 NEW BEST:: SOT 1030034 SOS 795905 HAS SOPS 792006 HAS SOUS 256733 HAS SOUPS 256075 WITH SCORE 256870.905
AT ITER 333 NEW BEST:: SOT 1030030 SOS 796170 HAS SOPS 791947 HAS SOUS 256729 HAS SOUPS 256017 WITH SCORE 256813.17
AT ITER 340 NEW BEST:: SOT 1029403 SOS 795479 HAS SOPS 791256 HAS SOUS 256651 HAS SOUPS 255939 WITH SCORE 256734.479
AT ITER 343 NEW BEST:: SOT 1028942 SOS 795179 HAS SOPS 790956 HAS SOUS 256574 HAS SOUPS 255862 WITH SCORE 256657.179
AT ITER 355 NEW BEST:: SOT 1028884 SOS 795121 HAS SOPS 790898 HAS SOUS 256569 HAS SOUPS 255857 WITH SCORE 256652.121
AT ITER 357 NEW BEST:: SOT 1028780 SOS 794953 HAS SOPS 790729 HAS SOUS 256316 HAS SOUPS 255604 WITH SCORE 256398.953
AT ITER 359 NEW BEST:: SOT 1029119 SOS 794994 HAS SOPS 790770 HAS SOUS 254638 HAS SOUPS 253926 WITH SCORE 254720.994
AT ITER 366 NEW BEST:: SOT 1029293 SOS 795051 HAS SOPS 790827 HAS SOUS 254546 HAS SOUPS 253834 WITH SCORE 254629.051
AT ITER 378 NEW BEST:: SOT 1029278 SOS 795016 HAS SOPS 790792 HAS SOUS 254526 HAS SOUPS 253814 WITH SCORE 254609.016
AT ITER 384 NEW BEST:: SOT 1029202 SOS 795278 HAS SOPS 791126 HAS SOUS 254483 HAS SOUPS 253771 WITH SCORE 254566.278
AT ITER 394 NEW BEST:: SOT 1028255 SOS 794344 HAS SOPS 790192 HAS SOUS 253336 HAS SOUPS 252624 WITH SCORE 253418.344
AT ITER 396 NEW BEST:: SOT 1028278 SOS 794307 HAS SOPS 790155 HAS SOUS 253299 HAS SOUPS 252587 WITH SCORE 253381.307
AT ITER 397 NEW BEST:: SOT 1028180 SOS 793942 HAS SOPS 789790 HAS SOUS 253201 HAS SOUPS 252489 WITH SCORE 253282.942
AT ITER 407 NEW BEST:: SOT 1028180 SOS 793859 HAS SOPS 789707 HAS SOUS 253118 HAS SOUPS 252406 WITH SCORE 253199.859
AT ITER 443 NEW BEST:: SOT 1028084 SOS 793715 HAS SOPS 789563 HAS SOUS 252878 HAS SOUPS 252166 WITH SCORE 252959.715
AT ITER 453 NEW BEST:: SOT 1026887 SOS 834204 HAS SOPS 831188 HAS SOUS 252462 HAS SOUPS 251935 WITH SCORE 252769.204
AT ITER 455 NEW BEST:: SOT 1027455 SOS 833538 HAS SOPS 830522 HAS SOUS 247565 HAS SOUPS 247038 WITH SCORE 247871.538
AT ITER 459 NEW BEST:: SOT 1027005 SOS 832943 HAS SOPS 829927 HAS SOUS 247270 HAS SOUPS 246743 WITH SCORE 247575.943
AT ITER 468 NEW BEST:: SOT 1027015 SOS 832953 HAS SOPS 829937 HAS SOUS 247226 HAS SOUPS 246699 WITH SCORE 247531.953
AT ITER 473 NEW BEST:: SOT 1027004 SOS 832942 HAS SOPS 829950 HAS SOUS 247225 HAS SOUPS 246698 WITH SCORE 247530.942
AT ITER 479 NEW BEST:: SOT 1026988 SOS 833011 HAS SOPS 830019 HAS SOUS 247103 HAS SOUPS 246576 WITH SCORE 247409.011
AT ITER 480 NEW BEST:: SOT 1026938 SOS 832915 HAS SOPS 829923 HAS SOUS 247037 HAS SOUPS 246510 WITH SCORE 247342.915
AT ITER 486 NEW BEST:: SOT 1026926 SOS 804319 HAS SOPS 801267 HAS SOUS 246709 HAS SOUPS 246172 WITH SCORE 246976.319
AT ITER 488 NEW BEST:: SOT 1026789 SOS 803204 HAS SOPS 800152 HAS SOUS 246435 HAS SOUPS 245898 WITH SCORE 246701.204
AT ITER 489 NEW BEST:: SOT 1026866 SOS 802847 HAS SOPS 799795 HAS SOUS 245316 HAS SOUPS 244779 WITH SCORE 245581.847
AT ITER 494 NEW BEST:: SOT 1026362 SOS 802454 HAS SOPS 799402 HAS SOUS 244905 HAS SOUPS 244368 WITH SCORE 245170.454
AT ITER 533 NEW BEST:: SOT 1026157 SOS 802209 HAS SOPS 799157 HAS SOUS 244708 HAS SOUPS 244171 WITH SCORE 244973.209
AT ITER 538 NEW BEST:: SOT 1026096 SOS 802148 HAS SOPS 799096 HAS SOUS 244706 HAS SOUPS 244169 WITH SCORE 244971.148
AT ITER 542 NEW BEST:: SOT 1026099 SOS 801051 HAS SOPS 797999 HAS SOUS 243123 HAS SOUPS 242586 WITH SCORE 243387.051
AT ITER 544 NEW BEST:: SOT 1024581 SOS 799481 HAS SOPS 796429 HAS SOUS 242739 HAS SOUPS 242202 WITH SCORE 243001.481
AT ITER 550 NEW BEST:: SOT 1024935 SOS 799584 HAS SOPS 796532 HAS SOUS 241846 HAS SOUPS 241309 WITH SCORE 242108.584
AT ITER 553 NEW BEST:: SOT 1024922 SOS 799588 HAS SOPS 796536 HAS SOUS 241820 HAS SOUPS 241283 WITH SCORE 242082.588
AT ITER 556 NEW BEST:: SOT 1024923 SOS 799589 HAS SOPS 796537 HAS SOUS 241768 HAS SOUPS 241231 WITH SCORE 242030.589
AT ITER 559 NEW BEST:: SOT 1024923 SOS 800096 HAS SOPS 797044 HAS SOUS 241736 HAS SOUPS 241199 WITH SCORE 241999.096
AT ITER 570 NEW BEST:: SOT 1032320 SOS 809839 HAS SOPS 806787 HAS SOUS 241329 HAS SOUPS 240792 WITH SCORE 241601.839
AT ITER 576 NEW BEST:: SOT 1032320 SOS 809839 HAS SOPS 806787 HAS SOUS 241272 HAS SOUPS 240735 WITH SCORE 241544.839
AT ITER 583 NEW BEST:: SOT 1031656 SOS 809327 HAS SOPS 806275 HAS SOUS 240925 HAS SOUPS 240388 WITH SCORE 241197.327
AT ITER 586 NEW BEST:: SOT 1031491 SOS 808773 HAS SOPS 805721 HAS SOUS 240695 HAS SOUPS 240158 WITH SCORE 240966.773
AT ITER 594 NEW BEST:: SOT 1031491 SOS 808436 HAS SOPS 805384 HAS SOUS 240590 HAS SOUPS 240053 WITH SCORE 240861.436
AT ITER 598 NEW BEST:: SOT 1031378 SOS 808295 HAS SOPS 805243 HAS SOUS 240364 HAS SOUPS 239827 WITH SCORE 240635.295
AT ITER 599 NEW BEST:: SOT 1031267 SOS 808188 HAS SOPS 805136 HAS SOUS 240301 HAS SOUPS 239764 WITH SCORE 240572.188
AT ITER 601 NEW BEST:: SOT 1031253 SOS 802705 HAS SOPS 799323 HAS SOUS 240322 HAS SOUPS 239730 WITH SCORE 240532.705
AT ITER 603 NEW BEST:: SOT 1031650 SOS 802838 HAS SOPS 799456 HAS SOUS 239783 HAS SOUPS 239191 WITH SCORE 239993.838
AT ITER 611 NEW BEST:: SOT 1031650 SOS 802914 HAS SOPS 799532 HAS SOUS 239631 HAS SOUPS 239039 WITH SCORE 239841.914
AT ITER 614 NEW BEST:: SOT 1031656 SOS 801985 HAS SOPS 798603 HAS SOUS 238795 HAS SOUPS 238203 WITH SCORE 239004.985
AT ITER 615 NEW BEST:: SOT 1031594 SOS 801799 HAS SOPS 798417 HAS SOUS 238733 HAS SOUPS 238141 WITH SCORE 238942.799
AT ITER 620 NEW BEST:: SOT 1031091 SOS 801335 HAS SOPS 797953 HAS SOUS 238337 HAS SOUPS 237745 WITH SCORE 238546.335
AT ITER 635 NEW BEST:: SOT 1031058 SOS 801302 HAS SOPS 797920 HAS SOUS 238291 HAS SOUPS 237699 WITH SCORE 238500.302
AT ITER 640 NEW BEST:: SOT 1031079 SOS 801344 HAS SOPS 797962 HAS SOUS 238263 HAS SOUPS 237671 WITH SCORE 238472.344
AT ITER 644 NEW BEST:: SOT 1042166 SOS 814113 HAS SOPS 810731 HAS SOUS 236975 HAS SOUPS 236383 WITH SCORE 237197.113
AT ITER 646 NEW BEST:: SOT 1042143 SOS 814087 HAS SOPS 810705 HAS SOUS 236927 HAS SOUPS 236335 WITH SCORE 237149.087
AT ITER 647 NEW BEST:: SOT 1042134 SOS 814078 HAS SOPS 810696 HAS SOUS 236902 HAS SOUPS 236310 WITH SCORE 237124.078
AT ITER 654 NEW BEST:: SOT 1042613 SOS 814236 HAS SOPS 810854 HAS SOUS 233982 HAS SOUPS 233390 WITH SCORE 234204.236
AT ITER 659 NEW BEST:: SOT 1042385 SOS 814090 HAS SOPS 810708 HAS SOUS 233786 HAS SOUPS 233194 WITH SCORE 234008.09
AT ITER 677 NEW BEST:: SOT 1042577 SOS 814474 HAS SOPS 811092 HAS SOUS 233711 HAS SOUPS 233119 WITH SCORE 233933.474
AT ITER 681 NEW BEST:: SOT 1042486 SOS 814250 HAS SOPS 810868 HAS SOUS 233529 HAS SOUPS 232937 WITH SCORE 233751.25
AT ITER 695 NEW BEST:: SOT 1042479 SOS 814243 HAS SOPS 810861 HAS SOUS 233515 HAS SOUPS 232923 WITH SCORE 233737.243
AT ITER 699 NEW BEST:: SOT 1063943 SOS 834344 HAS SOPS 830962 HAS SOUS 230933 HAS SOUPS 230341 WITH SCORE 231175.344
AT ITER 727 NEW BEST:: SOT 1063930 SOS 834331 HAS SOPS 830949 HAS SOUS 230919 HAS SOUPS 230327 WITH SCORE 231161.331
AT ITER 729 NEW BEST:: SOT 1064079 SOS 834513 HAS SOPS 831131 HAS SOUS 230643 HAS SOUPS 230051 WITH SCORE 230885.513
AT ITER 736 NEW BEST:: SOT 1064079 SOS 834275 HAS SOPS 830893 HAS SOUS 228933 HAS SOUPS 228341 WITH SCORE 229175.275
AT ITER 747 NEW BEST:: SOT 1064014 SOS 834210 HAS SOPS 830828 HAS SOUS 228845 HAS SOUPS 228253 WITH SCORE 229087.21
AT ITER 751 NEW BEST:: SOT 1064002 SOS 834230 HAS SOPS 830848 HAS SOUS 228813 HAS SOUPS 228221 WITH SCORE 229055.23
AT ITER 757 NEW BEST:: SOT 1064174 SOS 834588 HAS SOPS 831206 HAS SOUS 228667 HAS SOUPS 228075 WITH SCORE 228909.588
AT ITER 773 NEW BEST:: SOT 1062388 SOS 835781 HAS SOPS 832399 HAS SOUS 227328 HAS SOUPS 226736 WITH SCORE 227571.781
AT ITER 775 NEW BEST:: SOT 1061496 SOS 834676 HAS SOPS 831294 HAS SOUS 226646 HAS SOUPS 226054 WITH SCORE 226888.676
AT ITER 781 NEW BEST:: SOT 1061486 SOS 834666 HAS SOPS 831274 HAS SOUS 226626 HAS SOUPS 226034 WITH SCORE 226868.666
AT ITER 789 NEW BEST:: SOT 1060521 SOS 844118 HAS SOPS 838090 HAS SOUS 226643 HAS SOUPS 225702 WITH SCORE 226546.118
AT ITER 790 NEW BEST:: SOT 1060753 SOS 844709 HAS SOPS 838681 HAS SOUS 226518 HAS SOUPS 225577 WITH SCORE 226421.709
AT ITER 802 NEW BEST:: SOT 1060731 SOS 843209 HAS SOPS 837181 HAS SOUS 225139 HAS SOUPS 224198 WITH SCORE 225041.209
AT ITER 805 NEW BEST:: SOT 1060161 SOS 842843 HAS SOPS 836815 HAS SOUS 224776 HAS SOUPS 223835 WITH SCORE 224677.843
AT ITER 813 NEW BEST:: SOT 1060147 SOS 842829 HAS SOPS 836801 HAS SOUS 224696 HAS SOUPS 223755 WITH SCORE 224597.829
AT ITER 817 NEW BEST:: SOT 1060202 SOS 842210 HAS SOPS 836182 HAS SOUS 224671 HAS SOUPS 223730 WITH SCORE 224572.21
AT ITER 824 NEW BEST:: SOT 1059781 SOS 841863 HAS SOPS 835835 HAS SOUS 224351 HAS SOUPS 223410 WITH SCORE 224251.863
AT ITER 825 NEW BEST:: SOT 1059781 SOS 842082 HAS SOPS 836054 HAS SOUS 224255 HAS SOUPS 223314 WITH SCORE 224156.082
AT ITER 826 NEW BEST:: SOT 1060122 SOS 841410 HAS SOPS 835382 HAS SOUS 218905 HAS SOUPS 217964 WITH SCORE 218805.41
AT ITER 831 NEW BEST:: SOT 1060183 SOS 839586 HAS SOPS 833558 HAS SOUS 216973 HAS SOUPS 216032 WITH SCORE 216871.586
AT ITER 832 NEW BEST:: SOT 1060157 SOS 839475 HAS SOPS 833447 HAS SOUS 216921 HAS SOUPS 215980 WITH SCORE 216819.475
AT ITER 833 NEW BEST:: SOT 1060120 SOS 839438 HAS SOPS 833442 HAS SOUS 216897 HAS SOUPS 215956 WITH SCORE 216795.438
AT ITER 843 NEW BEST:: SOT 1060189 SOS 839714 HAS SOPS 833718 HAS SOUS 216828 HAS SOUPS 215887 WITH SCORE 216726.714
AT ITER 844 NEW BEST:: SOT 1060189 SOS 838288 HAS SOPS 832292 HAS SOUS 215685 HAS SOUPS 214744 WITH SCORE 215582.288
AT ITER 848 NEW BEST:: SOT 1060189 SOS 838046 HAS SOPS 832050 HAS SOUS 215685 HAS SOUPS 214744 WITH SCORE 215582.046
AT ITER 849 NEW BEST:: SOT 1060188 SOS 838045 HAS SOPS 832050 HAS SOUS 215683 HAS SOUPS 214742 WITH SCORE 215580.045
AT ITER 852 NEW BEST:: SOT 1060188 SOS 837924 HAS SOPS 831929 HAS SOUS 215681 HAS SOUPS 214740 WITH SCORE 215577.924
AT ITER 874 NEW BEST:: SOT 1060173 SOS 837875 HAS SOPS 830608 HAS SOUS 215632 HAS SOUPS 214419 WITH SCORE 215256.875
AT ITER 878 NEW BEST:: SOT 1060166 SOS 836370 HAS SOPS 829103 HAS SOUS 215624 HAS SOUPS 214411 WITH SCORE 215247.37
AT ITER 880 NEW BEST:: SOT 1060166 SOS 835764 HAS SOPS 828497 HAS SOUS 215410 HAS SOUPS 214197 WITH SCORE 215032.764
AT ITER 887 NEW BEST:: SOT 1060143 SOS 835632 HAS SOPS 828365 HAS SOUS 215364 HAS SOUPS 214151 WITH SCORE 214986.632
AT ITER 895 NEW BEST:: SOT 1059881 SOS 835389 HAS SOPS 828122 HAS SOUS 215075 HAS SOUPS 213862 WITH SCORE 214697.389
AT ITER 897 NEW BEST:: SOT 1060113 SOS 833714 HAS SOPS 826447 HAS SOUS 210151 HAS SOUPS 208938 WITH SCORE 209771.714
AT ITER 905 NEW BEST:: SOT 1059583 SOS 833373 HAS SOPS 826106 HAS SOUS 210064 HAS SOUPS 208851 WITH SCORE 209684.373
AT ITER 915 NEW BEST:: SOT 1059607 SOS 832940 HAS SOPS 825673 HAS SOUS 209543 HAS SOUPS 208330 WITH SCORE 209162.94
AT ITER 917 NEW BEST:: SOT 1059270 SOS 832382 HAS SOPS 825088 HAS SOUS 209085 HAS SOUPS 207854 WITH SCORE 208686.382
AT ITER 918 NEW BEST:: SOT 1059373 SOS 832396 HAS SOPS 825102 HAS SOUS 209025 HAS SOUPS 207794 WITH SCORE 208626.396
AT ITER 938 NEW BEST:: SOT 1059374 SOS 832321 HAS SOPS 825027 HAS SOUS 208996 HAS SOUPS 207765 WITH SCORE 208597.321
AT ITER 940 NEW BEST:: SOT 1060109 SOS 832951 HAS SOPS 825657 HAS SOUS 206581 HAS SOUPS 205350 WITH SCORE 206182.951
AT ITER 941 NEW BEST:: SOT 1059867 SOS 832709 HAS SOPS 825415 HAS SOUS 206560 HAS SOUPS 205329 WITH SCORE 206161.709
AT ITER 942 NEW BEST:: SOT 1059867 SOS 832715 HAS SOPS 825421 HAS SOUS 206554 HAS SOUPS 205323 WITH SCORE 206155.715
AT ITER 943 NEW BEST:: SOT 1059085 SOS 831824 HAS SOPS 824530 HAS SOUS 205938 HAS SOUPS 204707 WITH SCORE 205538.824
AT ITER 951 NEW BEST:: SOT 1059085 SOS 830995 HAS SOPS 823701 HAS SOUS 205735 HAS SOUPS 204504 WITH SCORE 205334.995
AT ITER 964 NEW BEST:: SOT 1059044 SOS 830792 HAS SOPS 823498 HAS SOUS 205599 HAS SOUPS 204368 WITH SCORE 205198.792
AT ITER 974 NEW BEST:: SOT 1059255 SOS 831042 HAS SOPS 823748 HAS SOUS 205203 HAS SOUPS 203972 WITH SCORE 204803.042
AT ITER 977 NEW BEST:: SOT 1059223 SOS 831072 HAS SOPS 823778 HAS SOUS 205139 HAS SOUPS 203908 WITH SCORE 204739.072
AT ITER 979 NEW BEST:: SOT 1060039 SOS 830454 HAS SOPS 823160 HAS SOUS 200783 HAS SOUPS 199552 WITH SCORE 200382.454
AT ITER 985 NEW BEST:: SOT 1059980 SOS 830397 HAS SOPS 823103 HAS SOUS 200653 HAS SOUPS 199422 WITH SCORE 200252.397
AT ITER 986 NEW BEST:: SOT 1059786 SOS 830173 HAS SOPS 822879 HAS SOUS 200390 HAS SOUPS 199159 WITH SCORE 199989.173
AT ITER 990 NEW BEST:: SOT 1059575 SOS 830033 HAS SOPS 822809 HAS SOUS 200180 HAS SOUPS 198949 WITH SCORE 199779.033
AT ITER 992 NEW BEST:: SOT 1059501 SOS 829959 HAS SOPS 822735 HAS SOUS 200114 HAS SOUPS 198883 WITH SCORE 199712.959
AT ITER 1012 NEW BEST:: SOT 1059727 SOS 830251 HAS SOPS 823027 HAS SOUS 200051 HAS SOUPS 198820 WITH SCORE 199650.251
AT ITER 1015 NEW BEST:: SOT 1059478 SOS 830002 HAS SOPS 822778 HAS SOUS 199582 HAS SOUPS 198351 WITH SCORE 199181.002
AT ITER 1020 NEW BEST:: SOT 1058199 SOS 828777 HAS SOPS 821553 HAS SOUS 198608 HAS SOUPS 197377 WITH SCORE 198205.777
AT ITER 1051 NEW BEST:: SOT 1058199 SOS 828748 HAS SOPS 821524 HAS SOUS 198579 HAS SOUPS 197348 WITH SCORE 198176.748
AT ITER 1054 NEW BEST:: SOT 1061290 SOS 830349 HAS SOPS 823125 HAS SOUS 197174 HAS SOUPS 195943 WITH SCORE 196773.349
AT ITER 1058 NEW BEST:: SOT 1061190 SOS 830178 HAS SOPS 823025 HAS SOUS 197125 HAS SOUPS 195894 WITH SCORE 196724.178
AT ITER 1060 NEW BEST:: SOT 1061238 SOS 827362 HAS SOPS 820209 HAS SOUS 197127 HAS SOUPS 195896 WITH SCORE 196723.362
AT ITER 1063 NEW BEST:: SOT 1061230 SOS 827327 HAS SOPS 820174 HAS SOUS 197113 HAS SOUPS 195882 WITH SCORE 196709.327
AT ITER 1068 NEW BEST:: SOT 1062270 SOS 820053 HAS SOPS 812900 HAS SOUS 196059 HAS SOUPS 194828 WITH SCORE 195648.053
AT ITER 1090 NEW BEST:: SOT 1062323 SOS 820159 HAS SOPS 813006 HAS SOUS 196056 HAS SOUPS 194825 WITH SCORE 195645.159
AT ITER 1110 NEW BEST:: SOT 1062656 SOS 819243 HAS SOPS 812090 HAS SOUS 194901 HAS SOUPS 193670 WITH SCORE 194489.243
AT ITER 1111 NEW BEST:: SOT 1062594 SOS 819119 HAS SOPS 811966 HAS SOUS 194777 HAS SOUPS 193546 WITH SCORE 194365.119
AT ITER 1119 NEW BEST:: SOT 1062459 SOS 818942 HAS SOPS 811789 HAS SOUS 194297 HAS SOUPS 193066 WITH SCORE 193884.942
AT ITER 1121 NEW BEST:: SOT 1062459 SOS 821707 HAS SOPS 814554 HAS SOUS 194172 HAS SOUPS 192941 WITH SCORE 193762.707
AT ITER 1131 NEW BEST:: SOT 1062422 SOS 821683 HAS SOPS 814530 HAS SOUS 194098 HAS SOUPS 192867 WITH SCORE 193688.683
AT ITER 1144 NEW BEST:: SOT 1062268 SOS 821611 HAS SOPS 814458 HAS SOUS 193790 HAS SOUPS 192559 WITH SCORE 193380.611
AT ITER 1145 NEW BEST:: SOT 1062268 SOS 824099 HAS SOPS 816946 HAS SOUS 193666 HAS SOUPS 192435 WITH SCORE 193259.099
AT ITER 1148 NEW BEST:: SOT 1062214 SOS 822147 HAS SOPS 814994 HAS SOUS 193613 HAS SOUPS 192382 WITH SCORE 193204.147
AT ITER 1149 NEW BEST:: SOT 1062347 SOS 822315 HAS SOPS 815162 HAS SOUS 193578 HAS SOUPS 192347 WITH SCORE 193169.315
AT ITER 1161 NEW BEST:: SOT 1062347 SOS 822097 HAS SOPS 814944 HAS SOUS 193533 HAS SOUPS 192302 WITH SCORE 193124.097
AT ITER 1165 NEW BEST:: SOT 1062415 SOS 822209 HAS SOPS 815056 HAS SOUS 193493 HAS SOUPS 192262 WITH SCORE 193084.209
AT ITER 1171 NEW BEST:: SOT 1062396 SOS 822190 HAS SOPS 815037 HAS SOUS 193475 HAS SOUPS 192244 WITH SCORE 193066.19
AT ITER 1186 NEW BEST:: SOT 1062385 SOS 822168 HAS SOPS 815015 HAS SOUS 193453 HAS SOUPS 192222 WITH SCORE 193044.168
AT ITER 1187 NEW BEST:: SOT 1062383 SOS 822166 HAS SOPS 815015 HAS SOUS 193453 HAS SOUPS 192222 WITH SCORE 193044.166
AT ITER 1207 NEW BEST:: SOT 1062377 SOS 822166 HAS SOPS 815015 HAS SOUS 193441 HAS SOUPS 192210 WITH SCORE 193032.166
AT ITER 1211 NEW BEST:: SOT 1062339 SOS 822166 HAS SOPS 814977 HAS SOUS 193441 HAS SOUPS 192172 WITH SCORE 192994.166
AT ITER 1230 NEW BEST:: SOT 1062325 SOS 822166 HAS SOPS 814963 HAS SOUS 193441 HAS SOUPS 192158 WITH SCORE 192980.166
AT ITER 1231 NEW BEST:: SOT 1062744 SOS 818959 HAS SOPS 811756 HAS SOUS 191268 HAS SOUPS 189985 WITH SCORE 190803.959
AT ITER 1234 NEW BEST:: SOT 1062738 SOS 818947 HAS SOPS 811744 HAS SOUS 191256 HAS SOUPS 189973 WITH SCORE 190791.947
AT ITER 1238 NEW BEST:: SOT 1062570 SOS 818536 HAS SOPS 811333 HAS SOUS 191158 HAS SOUPS 189875 WITH SCORE 190693.536
AT ITER 1241 NEW BEST:: SOT 1062583 SOS 818614 HAS SOPS 811411 HAS SOUS 191126 HAS SOUPS 189843 WITH SCORE 190661.614
AT ITER 1245 NEW BEST:: SOT 1062535 SOS 818566 HAS SOPS 811363 HAS SOUS 191121 HAS SOUPS 189838 WITH SCORE 190656.566
AT ITER 1247 NEW BEST:: SOT 1062509 SOS 818540 HAS SOPS 811337 HAS SOUS 191121 HAS SOUPS 189838 WITH SCORE 190656.54
AT ITER 1270 NEW BEST:: SOT 1046047 SOS 802087 HAS SOPS 794884 HAS SOUS 188235 HAS SOUPS 186952 WITH SCORE 187754.087
AT ITER 1272 NEW BEST:: SOT 1046052 SOS 802116 HAS SOPS 794913 HAS SOUS 188184 HAS SOUPS 186901 WITH SCORE 187703.116
AT ITER 1294 NEW BEST:: SOT 1046052 SOS 802093 HAS SOPS 794890 HAS SOUS 188115 HAS SOUPS 186832 WITH SCORE 187634.093
AT ITER 1299 NEW BEST:: SOT 1046026 SOS 802238 HAS SOPS 795035 HAS SOUS 188088 HAS SOUPS 186805 WITH SCORE 187607.238
AT ITER 1306 NEW BEST:: SOT 1045812 SOS 801924 HAS SOPS 794721 HAS SOUS 187774 HAS SOUPS 186491 WITH SCORE 187292.924
AT ITER 1311 NEW BEST:: SOT 1045809 SOS 801921 HAS SOPS 794718 HAS SOUS 187746 HAS SOUPS 186463 WITH SCORE 187264.921
AT ITER 1314 NEW BEST:: SOT 1045806 SOS 801416 HAS SOPS 794213 HAS SOUS 187734 HAS SOUPS 186451 WITH SCORE 187252.416
AT ITER 1319 NEW BEST:: SOT 1045781 SOS 801416 HAS SOPS 794213 HAS SOUS 187684 HAS SOUPS 186401 WITH SCORE 187202.416
AT ITER 1330 NEW BEST:: SOT 1045718 SOS 801290 HAS SOPS 794087 HAS SOUS 187558 HAS SOUPS 186275 WITH SCORE 187076.29
AT ITER 1334 NEW BEST:: SOT 1045372 SOS 800496 HAS SOPS 793293 HAS SOUS 187366 HAS SOUPS 186083 WITH SCORE 186883.496
AT ITER 1337 NEW BEST:: SOT 1044646 SOS 800036 HAS SOPS 792833 HAS SOUS 187312 HAS SOUPS 186029 WITH SCORE 186829.036
AT ITER 1338 NEW BEST:: SOT 1044550 SOS 800028 HAS SOPS 792825 HAS SOUS 187303 HAS SOUPS 186020 WITH SCORE 186820.028
AT ITER 1354 NEW BEST:: SOT 1044447 SOS 799901 HAS SOPS 792759 HAS SOUS 187279 HAS SOUPS 185996 WITH SCORE 186795.901
AT ITER 1363 NEW BEST:: SOT 1044447 SOS 799800 HAS SOPS 792658 HAS SOUS 187194 HAS SOUPS 185911 WITH SCORE 186710.8
AT ITER 1364 NEW BEST:: SOT 1044447 SOS 799296 HAS SOPS 792154 HAS SOUS 187154 HAS SOUPS 185871 WITH SCORE 186670.296
AT ITER 1381 NEW BEST:: SOT 1044413 SOS 799262 HAS SOPS 792120 HAS SOUS 187119 HAS SOUPS 185836 WITH SCORE 186635.262
AT ITER 1382 NEW BEST:: SOT 1044220 SOS 799065 HAS SOPS 791923 HAS SOUS 186994 HAS SOUPS 185711 WITH SCORE 186510.065
AT ITER 1389 NEW BEST:: SOT 1044185 SOS 799047 HAS SOPS 791905 HAS SOUS 186924 HAS SOUPS 185641 WITH SCORE 186440.047
AT ITER 1407 NEW BEST:: SOT 1043981 SOS 798435 HAS SOPS 791293 HAS SOUS 186924 HAS SOUPS 185641 WITH SCORE 186439.435
AT ITER 1413 NEW BEST:: SOT 1043739 SOS 798271 HAS SOPS 791129 HAS SOUS 186760 HAS SOUPS 185477 WITH SCORE 186275.271
AT ITER 1419 NEW BEST:: SOT 1043726 SOS 798219 HAS SOPS 791077 HAS SOUS 186734 HAS SOUPS 185451 WITH SCORE 186249.219
AT ITER 1422 NEW BEST:: SOT 1043693 SOS 798282 HAS SOPS 791140 HAS SOUS 186655 HAS SOUPS 185372 WITH SCORE 186170.282
AT ITER 1424 NEW BEST:: SOT 1043708 SOS 798297 HAS SOPS 791164 HAS SOUS 186603 HAS SOUPS 185320 WITH SCORE 186118.297
AT ITER 1426 NEW BEST:: SOT 1046824 SOS 807268 HAS SOPS 800135 HAS SOUS 186085 HAS SOUPS 184802 WITH SCORE 185609.268
AT ITER 1450 NEW BEST:: SOT 1046848 SOS 806698 HAS SOPS 799565 HAS SOUS 186061 HAS SOUPS 184778 WITH SCORE 185584.698
AT ITER 1455 NEW BEST:: SOT 1046830 SOS 806550 HAS SOPS 799417 HAS SOUS 185955 HAS SOUPS 184672 WITH SCORE 185478.55
AT ITER 1460 NEW BEST:: SOT 1047284 SOS 806980 HAS SOPS 799847 HAS SOUS 185825 HAS SOUPS 184542 WITH SCORE 185348.98
AT ITER 1461 NEW BEST:: SOT 1047179 SOS 806823 HAS SOPS 799612 HAS SOUS 185572 HAS SOUPS 184289 WITH SCORE 185095.823
AT ITER 1465 NEW BEST:: SOT 1047215 SOS 807037 HAS SOPS 799826 HAS SOUS 185502 HAS SOUPS 184219 WITH SCORE 185026.037
AT ITER 1467 NEW BEST:: SOT 1047140 SOS 806962 HAS SOPS 799751 HAS SOUS 185416 HAS SOUPS 184133 WITH SCORE 184939.962
AT ITER 1470 NEW BEST:: SOT 1046703 SOS 806525 HAS SOPS 799314 HAS SOUS 184845 HAS SOUPS 183562 WITH SCORE 184368.525
AT ITER 1471 NEW BEST:: SOT 1046747 SOS 805985 HAS SOPS 798774 HAS SOUS 183866 HAS SOUPS 182583 WITH SCORE 183388.985
AT ITER 1474 NEW BEST:: SOT 1046755 SOS 805763 HAS SOPS 798552 HAS SOUS 183705 HAS SOUPS 182422 WITH SCORE 183227.763
AT ITER 1481 NEW BEST:: SOT 1046751 SOS 805755 HAS SOPS 798544 HAS SOUS 183697 HAS SOUPS 182414 WITH SCORE 183219.755
AT ITER 1511 NEW BEST:: SOT 1044608 SOS 803624 HAS SOPS 796413 HAS SOUS 183334 HAS SOUPS 182051 WITH SCORE 182854.624
AT ITER 1513 NEW BEST:: SOT 1044608 SOS 796517 HAS SOPS 789306 HAS SOUS 182840 HAS SOUPS 181557 WITH SCORE 182353.517
AT ITER 1517 NEW BEST:: SOT 1044003 SOS 795912 HAS SOPS 788701 HAS SOUS 182718 HAS SOUPS 181435 WITH SCORE 182230.912
AT ITER 1521 NEW BEST:: SOT 1044856 SOS 791822 HAS SOPS 784611 HAS SOUS 181817 HAS SOUPS 180534 WITH SCORE 181325.822
AT ITER 1522 NEW BEST:: SOT 1044853 SOS 791789 HAS SOPS 784578 HAS SOUS 181675 HAS SOUPS 180392 WITH SCORE 181183.789
AT ITER 1525 NEW BEST:: SOT 1044847 SOS 791825 HAS SOPS 784614 HAS SOUS 181669 HAS SOUPS 180386 WITH SCORE 181177.825
AT ITER 1533 NEW BEST:: SOT 1044847 SOS 791817 HAS SOPS 784606 HAS SOUS 181667 HAS SOUPS 180384 WITH SCORE 181175.817
AT ITER 1535 NEW BEST:: SOT 1044917 SOS 791831 HAS SOPS 784620 HAS SOUS 181253 HAS SOUPS 179970 WITH SCORE 180761.831
AT ITER 1546 NEW BEST:: SOT 1044924 SOS 791838 HAS SOPS 784627 HAS SOUS 181225 HAS SOUPS 179942 WITH SCORE 180733.838
AT ITER 1548 NEW BEST:: SOT 1044922 SOS 791838 HAS SOPS 784627 HAS SOUS 181221 HAS SOUPS 179938 WITH SCORE 180729.838
AT ITER 1550 NEW BEST:: SOT 1044745 SOS 791564 HAS SOPS 784353 HAS SOUS 181004 HAS SOUPS 179721 WITH SCORE 180512.564
AT ITER 1554 NEW BEST:: SOT 1046963 SOS 788692 HAS SOPS 781481 HAS SOUS 179343 HAS SOUPS 178060 WITH SCORE 178848.692
AT ITER 1557 NEW BEST:: SOT 1046963 SOS 788414 HAS SOPS 781203 HAS SOUS 179318 HAS SOUPS 178035 WITH SCORE 178823.414
AT ITER 1563 NEW BEST:: SOT 1046951 SOS 788463 HAS SOPS 781252 HAS SOUS 179270 HAS SOUPS 177987 WITH SCORE 178775.463
AT ITER 1571 NEW BEST:: SOT 1046953 SOS 788155 HAS SOPS 780944 HAS SOUS 179209 HAS SOUPS 177926 WITH SCORE 178714.155
AT ITER 1576 NEW BEST:: SOT 1046832 SOS 788075 HAS SOPS 780864 HAS SOUS 178976 HAS SOUPS 177693 WITH SCORE 178481.075
AT ITER 1588 NEW BEST:: SOT 1046832 SOS 788227 HAS SOPS 781016 HAS SOUS 178895 HAS SOUPS 177612 WITH SCORE 178400.227
AT ITER 1596 NEW BEST:: SOT 1046756 SOS 786750 HAS SOPS 779539 HAS SOUS 178743 HAS SOUPS 177460 WITH SCORE 178246.75
AT ITER 1598 NEW BEST:: SOT 1046886 SOS 786177 HAS SOPS 778966 HAS SOUS 178462 HAS SOUPS 177179 WITH SCORE 177965.177
AT ITER 1600 NEW BEST:: SOT 1046886 SOS 786230 HAS SOPS 779019 HAS SOUS 178454 HAS SOUPS 177171 WITH SCORE 177957.23
AT ITER 1607 NEW BEST:: SOT 1046848 SOS 786231 HAS SOPS 779020 HAS SOUS 178453 HAS SOUPS 177170 WITH SCORE 177956.231
AT ITER 1619 NEW BEST:: SOT 1046736 SOS 786146 HAS SOPS 779013 HAS SOUS 178451 HAS SOUPS 177168 WITH SCORE 177954.146
AT ITER 1621 NEW BEST:: SOT 1046734 SOS 782326 HAS SOPS 775193 HAS SOUS 177389 HAS SOUPS 176106 WITH SCORE 176888.326
AT ITER 1633 NEW BEST:: SOT 1046725 SOS 769128 HAS SOPS 761995 HAS SOUS 176482 HAS SOUPS 175199 WITH SCORE 175968.128
AT ITER 1646 NEW BEST:: SOT 1046656 SOS 769078 HAS SOPS 761945 HAS SOUS 176347 HAS SOUPS 175064 WITH SCORE 175833.078
AT ITER 1664 NEW BEST:: SOT 1036510 SOS 759046 HAS SOPS 751913 HAS SOUS 174681 HAS SOUPS 173398 WITH SCORE 174157.046
AT ITER 1665 NEW BEST:: SOT 1036510 SOS 758589 HAS SOPS 751456 HAS SOUS 174663 HAS SOUPS 173380 WITH SCORE 174138.589
AT ITER 1675 NEW BEST:: SOT 1036510 SOS 758589 HAS SOPS 751456 HAS SOUS 174629 HAS SOUPS 173346 WITH SCORE 174104.589
AT ITER 1682 NEW BEST:: SOT 1036462 SOS 758492 HAS SOPS 751359 HAS SOUS 174576 HAS SOUPS 173293 WITH SCORE 174051.492
AT ITER 1688 NEW BEST:: SOT 1036562 SOS 756983 HAS SOPS 749850 HAS SOUS 174524 HAS SOUPS 173241 WITH SCORE 173997.983
AT ITER 1693 NEW BEST:: SOT 1036526 SOS 756947 HAS SOPS 749818 HAS SOUS 174508 HAS SOUPS 173225 WITH SCORE 173981.947
AT ITER 1695 NEW BEST:: SOT 1036284 SOS 756765 HAS SOPS 749711 HAS SOUS 174231 HAS SOUPS 172948 WITH SCORE 173704.765
AT ITER 1698 NEW BEST:: SOT 1036262 SOS 756737 HAS SOPS 749663 HAS SOUS 174177 HAS SOUPS 172894 WITH SCORE 173650.737
AT ITER 1706 NEW BEST:: SOT 1036939 SOS 754177 HAS SOPS 747103 HAS SOUS 172957 HAS SOUPS 171674 WITH SCORE 172428.177
AT ITER 1719 NEW BEST:: SOT 1036767 SOS 753948 HAS SOPS 746874 HAS SOUS 172738 HAS SOUPS 171455 WITH SCORE 172208.948
AT ITER 1721 NEW BEST:: SOT 1029949 SOS 755460 HAS SOPS 748386 HAS SOUS 172545 HAS SOUPS 171262 WITH SCORE 172017.46
AT ITER 1725 NEW BEST:: SOT 1029948 SOS 755456 HAS SOPS 748382 HAS SOUS 172545 HAS SOUPS 171262 WITH SCORE 172017.456
AT ITER 1729 NEW BEST:: SOT 1029948 SOS 755507 HAS SOPS 748433 HAS SOUS 172482 HAS SOUPS 171199 WITH SCORE 171954.507
AT ITER 1731 NEW BEST:: SOT 1029937 SOS 755285 HAS SOPS 748211 HAS SOUS 172454 HAS SOUPS 171171 WITH SCORE 171926.285
AT ITER 1739 NEW BEST:: SOT 1030249 SOS 757770 HAS SOPS 750072 HAS SOUS 171678 HAS SOUPS 170343 WITH SCORE 171100.77
AT ITER 1743 NEW BEST:: SOT 1030085 SOS 757671 HAS SOPS 749973 HAS SOUS 171577 HAS SOUPS 170242 WITH SCORE 170999.671
AT ITER 1745 NEW BEST:: SOT 1030017 SOS 757122 HAS SOPS 749588 HAS SOUS 171470 HAS SOUPS 170135 WITH SCORE 170892.122
AT ITER 1755 NEW BEST:: SOT 1029955 SOS 756864 HAS SOPS 749330 HAS SOUS 171435 HAS SOUPS 170100 WITH SCORE 170856.864
AT ITER 1762 NEW BEST:: SOT 1029753 SOS 756411 HAS SOPS 748877 HAS SOUS 171031 HAS SOUPS 169696 WITH SCORE 170452.411
AT ITER 1764 NEW BEST:: SOT 1029741 SOS 756399 HAS SOPS 748865 HAS SOUS 171007 HAS SOUPS 169672 WITH SCORE 170428.399
AT ITER 1794 NEW BEST:: SOT 1029710 SOS 756368 HAS SOPS 748834 HAS SOUS 170968 HAS SOUPS 169633 WITH SCORE 170389.368
AT ITER 1795 NEW BEST:: SOT 1029727 SOS 756227 HAS SOPS 748693 HAS SOUS 170700 HAS SOUPS 169365 WITH SCORE 170121.227
AT ITER 1799 NEW BEST:: SOT 1029354 SOS 755500 HAS SOPS 747966 HAS SOUS 170323 HAS SOUPS 168988 WITH SCORE 169743.5
AT ITER 1803 NEW BEST:: SOT 1029224 SOS 755322 HAS SOPS 747788 HAS SOUS 170145 HAS SOUPS 168810 WITH SCORE 169565.322
AT ITER 1804 NEW BEST:: SOT 1027162 SOS 754551 HAS SOPS 747017 HAS SOUS 169600 HAS SOUPS 168265 WITH SCORE 169019.551
AT ITER 1818 NEW BEST:: SOT 1027127 SOS 754536 HAS SOPS 747002 HAS SOUS 169590 HAS SOUPS 168255 WITH SCORE 169009.536
AT ITER 1838 NEW BEST:: SOT 1026946 SOS 754380 HAS SOPS 746927 HAS SOUS 169411 HAS SOUPS 168076 WITH SCORE 168830.38
AT ITER 1840 NEW BEST:: SOT 1026931 SOS 754365 HAS SOPS 746932 HAS SOUS 169315 HAS SOUPS 167980 WITH SCORE 168734.365
AT ITER 1852 NEW BEST:: SOT 1026800 SOS 754284 HAS SOPS 746906 HAS SOUS 169008 HAS SOUPS 167673 WITH SCORE 168427.284
AT ITER 1854 NEW BEST:: SOT 1026890 SOS 754618 HAS SOPS 747240 HAS SOUS 168968 HAS SOUPS 167633 WITH SCORE 168387.618
AT ITER 1859 NEW BEST:: SOT 1026852 SOS 753744 HAS SOPS 746366 HAS SOUS 168944 HAS SOUPS 167609 WITH SCORE 168362.744
AT ITER 1861 NEW BEST:: SOT 1026195 SOS 753265 HAS SOPS 745887 HAS SOUS 168218 HAS SOUPS 166883 WITH SCORE 167636.265
AT ITER 1862 NEW BEST:: SOT 1026195 SOS 753291 HAS SOPS 745913 HAS SOUS 168192 HAS SOUPS 166857 WITH SCORE 167610.291
AT ITER 1872 NEW BEST:: SOT 1026165 SOS 753291 HAS SOPS 745913 HAS SOUS 168132 HAS SOUPS 166797 WITH SCORE 167550.291
AT ITER 1882 NEW BEST:: SOT 1025645 SOS 753034 HAS SOPS 745656 HAS SOUS 167848 HAS SOUPS 166513 WITH SCORE 167266.034
AT ITER 1888 NEW BEST:: SOT 1025626 SOS 753015 HAS SOPS 745637 HAS SOUS 167848 HAS SOUPS 166513 WITH SCORE 167266.015
AT ITER 1890 NEW BEST:: SOT 1025819 SOS 753375 HAS SOPS 745997 HAS SOUS 167724 HAS SOUPS 166389 WITH SCORE 167142.375
AT ITER 1891 NEW BEST:: SOT 1025807 SOS 753363 HAS SOPS 745962 HAS SOUS 167700 HAS SOUPS 166365 WITH SCORE 167118.363
AT ITER 1901 NEW BEST:: SOT 1025807 SOS 753152 HAS SOPS 745751 HAS SOUS 167698 HAS SOUPS 166363 WITH SCORE 167116.152
AT ITER 1915 NEW BEST:: SOT 1025807 SOS 753152 HAS SOPS 745751 HAS SOUS 167697 HAS SOUPS 166362 WITH SCORE 167115.152
AT ITER 1935 NEW BEST:: SOT 1025807 SOS 753275 HAS SOPS 745874 HAS SOUS 167695 HAS SOUPS 166360 WITH SCORE 167113.275
AT ITER 1942 NEW BEST:: SOT 1025438 SOS 752991 HAS SOPS 745590 HAS SOUS 167359 HAS SOUPS 166024 WITH SCORE 166776.991
AT ITER 1944 NEW BEST:: SOT 1025438 SOS 752999 HAS SOPS 745598 HAS SOUS 167351 HAS SOUPS 166016 WITH SCORE 166768.999
AT ITER 1951 NEW BEST:: SOT 1024896 SOS 751289 HAS SOPS 743888 HAS SOUS 167171 HAS SOUPS 165836 WITH SCORE 166587.289
AT ITER 1952 NEW BEST:: SOT 1024896 SOS 751283 HAS SOPS 743886 HAS SOUS 167163 HAS SOUPS 165828 WITH SCORE 166579.283
AT ITER 1963 NEW BEST:: SOT 1024600 SOS 750655 HAS SOPS 743258 HAS SOUS 166696 HAS SOUPS 165361 WITH SCORE 166111.655
AT ITER 1979 NEW BEST:: SOT 1024588 SOS 750713 HAS SOPS 743316 HAS SOUS 166672 HAS SOUPS 165337 WITH SCORE 166087.713
AT ITER 1981 NEW BEST:: SOT 1024755 SOS 750564 HAS SOPS 743167 HAS SOUS 166600 HAS SOUPS 165265 WITH SCORE 166015.564
AT ITER 1993 NEW BEST:: SOT 1024611 SOS 750579 HAS SOPS 743246 HAS SOUS 166575 HAS SOUPS 165240 WITH SCORE 165990.579
AT ITER 1997 NEW BEST:: SOT 1024413 SOS 750432 HAS SOPS 743099 HAS SOUS 166475 HAS SOUPS 165140 WITH SCORE 165890.432
AT ITER 2010 NEW BEST:: SOT 1019719 SOS 745695 HAS SOPS 738362 HAS SOUS 165978 HAS SOUPS 164643 WITH SCORE 165388.695
AT ITER 2019 NEW BEST:: SOT 1019629 SOS 745515 HAS SOPS 738182 HAS SOUS 165836 HAS SOUPS 164501 WITH SCORE 165246.515
AT ITER 2022 NEW BEST:: SOT 1019595 SOS 745481 HAS SOPS 738182 HAS SOUS 165734 HAS SOUPS 164399 WITH SCORE 165144.481
AT ITER 2028 NEW BEST:: SOT 1019522 SOS 742714 HAS SOPS 735415 HAS SOUS 165439 HAS SOUPS 164104 WITH SCORE 164846.714
AT ITER 2029 NEW BEST:: SOT 1019522 SOS 742148 HAS SOPS 734849 HAS SOUS 165431 HAS SOUPS 164096 WITH SCORE 164838.148
AT ITER 2032 NEW BEST:: SOT 1019465 SOS 742057 HAS SOPS 734758 HAS SOUS 165316 HAS SOUPS 163981 WITH SCORE 164723.057
AT ITER 2042 NEW BEST:: SOT 1019465 SOS 742037 HAS SOPS 734738 HAS SOUS 165316 HAS SOUPS 163981 WITH SCORE 164723.037
AT ITER 2044 NEW BEST:: SOT 1019382 SOS 558199 HAS SOPS 550900 HAS SOUS 162970 HAS SOUPS 161635 WITH SCORE 162193.199
AT ITER 2064 NEW BEST:: SOT 1019366 SOS 558183 HAS SOPS 550884 HAS SOUS 162948 HAS SOUPS 161613 WITH SCORE 162171.183
AT ITER 2068 NEW BEST:: SOT 1019211 SOS 558044 HAS SOPS 550745 HAS SOUS 162752 HAS SOUPS 161417 WITH SCORE 161975.044
AT ITER 2080 NEW BEST:: SOT 1019160 SOS 558044 HAS SOPS 550745 HAS SOUS 162704 HAS SOUPS 161369 WITH SCORE 161927.044
AT ITER 2090 NEW BEST:: SOT 1019087 SOS 557959 HAS SOPS 550660 HAS SOUS 162671 HAS SOUPS 161336 WITH SCORE 161893.959
AT ITER 2099 NEW BEST:: SOT 1019035 SOS 557867 HAS SOPS 550568 HAS SOUS 162640 HAS SOUPS 161305 WITH SCORE 161862.867
AT ITER 2111 NEW BEST:: SOT 1018964 SOS 557771 HAS SOPS 550472 HAS SOUS 162549 HAS SOUPS 161214 WITH SCORE 161771.771
AT ITER 2122 NEW BEST:: SOT 1019004 SOS 557931 HAS SOPS 550632 HAS SOUS 162509 HAS SOUPS 161174 WITH SCORE 161731.931
AT ITER 2126 NEW BEST:: SOT 1019088 SOS 557971 HAS SOPS 550672 HAS SOUS 162473 HAS SOUPS 161138 WITH SCORE 161695.971
AT ITER 2131 NEW BEST:: SOT 1019107 SOS 558014 HAS SOPS 550715 HAS SOUS 162437 HAS SOUPS 161102 WITH SCORE 161660.014
AT ITER 2146 NEW BEST:: SOT 1019107 SOS 556842 HAS SOPS 549543 HAS SOUS 162437 HAS SOUPS 161102 WITH SCORE 161658.842
AT ITER 2149 NEW BEST:: SOT 1018977 SOS 556862 HAS SOPS 549563 HAS SOUS 162331 HAS SOUPS 160996 WITH SCORE 161552.862
AT ITER 2156 NEW BEST:: SOT 1019115 SOS 557227 HAS SOPS 549928 HAS SOUS 162267 HAS SOUPS 160932 WITH SCORE 161489.227
AT ITER 2157 NEW BEST:: SOT 1019111 SOS 557223 HAS SOPS 549946 HAS SOUS 162237 HAS SOUPS 160902 WITH SCORE 161459.223
AT ITER 2160 NEW BEST:: SOT 1019207 SOS 555628 HAS SOPS 548351 HAS SOUS 162201 HAS SOUPS 160866 WITH SCORE 161421.628
AT ITER 2161 NEW BEST:: SOT 1019198 SOS 555619 HAS SOPS 548342 HAS SOUS 162188 HAS SOUPS 160853 WITH SCORE 161408.619
AT ITER 2179 NEW BEST:: SOT 1019183 SOS 555604 HAS SOPS 548327 HAS SOUS 162186 HAS SOUPS 160851 WITH SCORE 161406.604
AT ITER 2198 NEW BEST:: SOT 1019004 SOS 555425 HAS SOPS 548148 HAS SOUS 161979 HAS SOUPS 160644 WITH SCORE 161199.425
AT ITER 2202 NEW BEST:: SOT 1018776 SOS 555235 HAS SOPS 548040 HAS SOUS 161724 HAS SOUPS 160389 WITH SCORE 160944.235
AT ITER 2211 NEW BEST:: SOT 1018368 SOS 555002 HAS SOPS 547807 HAS SOUS 161590 HAS SOUPS 160255 WITH SCORE 160810.002
AT ITER 2215 NEW BEST:: SOT 1018342 SOS 554950 HAS SOPS 547755 HAS SOUS 161506 HAS SOUPS 160171 WITH SCORE 160725.95
AT ITER 2217 NEW BEST:: SOT 1018370 SOS 554892 HAS SOPS 547697 HAS SOUS 161254 HAS SOUPS 159919 WITH SCORE 160473.892
AT ITER 2225 NEW BEST:: SOT 1018370 SOS 554892 HAS SOPS 547697 HAS SOUS 161227 HAS SOUPS 159892 WITH SCORE 160446.892
AT ITER 2227 NEW BEST:: SOT 1018327 SOS 554532 HAS SOPS 547337 HAS SOUS 161201 HAS SOUPS 159866 WITH SCORE 160420.532
AT ITER 2242 NEW BEST:: SOT 1018055 SOS 554189 HAS SOPS 546994 HAS SOUS 160994 HAS SOUPS 159659 WITH SCORE 160213.189
AT ITER 2263 NEW BEST:: SOT 1017724 SOS 553974 HAS SOPS 546779 HAS SOUS 160809 HAS SOUPS 159474 WITH SCORE 160027.974
AT ITER 2266 NEW BEST:: SOT 1017022 SOS 553515 HAS SOPS 546320 HAS SOUS 160463 HAS SOUPS 159128 WITH SCORE 159681.515
AT ITER 2269 NEW BEST:: SOT 1017006 SOS 553499 HAS SOPS 546304 HAS SOUS 160443 HAS SOUPS 159108 WITH SCORE 159661.499
AT ITER 2283 NEW BEST:: SOT 1016953 SOS 553446 HAS SOPS 546251 HAS SOUS 160422 HAS SOUPS 159087 WITH SCORE 159640.446
AT ITER 2291 NEW BEST:: SOT 1016926 SOS 553419 HAS SOPS 546208 HAS SOUS 160395 HAS SOUPS 159044 WITH SCORE 159597.419
AT ITER 2295 NEW BEST:: SOT 1016917 SOS 553410 HAS SOPS 546199 HAS SOUS 160381 HAS SOUPS 159030 WITH SCORE 159583.41
AT ITER 2303 NEW BEST:: SOT 1016929 SOS 553317 HAS SOPS 546106 HAS SOUS 160304 HAS SOUPS 158953 WITH SCORE 159506.317
AT ITER 2327 NEW BEST:: SOT 1016929 SOS 553217 HAS SOPS 546156 HAS SOUS 160279 HAS SOUPS 158953 WITH SCORE 159506.217
AT ITER 2331 NEW BEST:: SOT 1016873 SOS 553147 HAS SOPS 546086 HAS SOUS 160209 HAS SOUPS 158883 WITH SCORE 159436.147
AT ITER 2334 NEW BEST:: SOT 1016779 SOS 553071 HAS SOPS 546069 HAS SOUS 160175 HAS SOUPS 158849 WITH SCORE 159402.071
AT ITER 2335 NEW BEST:: SOT 1016591 SOS 552907 HAS SOPS 545905 HAS SOUS 159876 HAS SOUPS 158550 WITH SCORE 159102.907
AT ITER 2360 NEW BEST:: SOT 1018320 SOS 553700 HAS SOPS 546698 HAS SOUS 159547 HAS SOUPS 158221 WITH SCORE 158774.7
AT ITER 2383 NEW BEST:: SOT 1018292 SOS 553672 HAS SOPS 546670 HAS SOUS 159519 HAS SOUPS 158193 WITH SCORE 158746.672
AT ITER 2395 NEW BEST:: SOT 1018150 SOS 553595 HAS SOPS 546653 HAS SOUS 159490 HAS SOUPS 158164 WITH SCORE 158717.595
AT ITER 2398 NEW BEST:: SOT 1021365 SOS 514427 HAS SOPS 507485 HAS SOUS 158622 HAS SOUPS 157296 WITH SCORE 157810.427
AT ITER 2403 NEW BEST:: SOT 1021307 SOS 514369 HAS SOPS 507427 HAS SOUS 158433 HAS SOUPS 157107 WITH SCORE 157621.369
AT ITER 2405 NEW BEST:: SOT 1021305 SOS 514365 HAS SOPS 507423 HAS SOUS 158429 HAS SOUPS 157103 WITH SCORE 157617.365
AT ITER 2408 NEW BEST:: SOT 1021310 SOS 515252 HAS SOPS 507548 HAS SOUS 158449 HAS SOUPS 156996 WITH SCORE 157511.252
AT ITER 2410 NEW BEST:: SOT 1021343 SOS 515231 HAS SOPS 507527 HAS SOUS 158407 HAS SOUPS 156954 WITH SCORE 157469.231
AT ITER 2423 NEW BEST:: SOT 1021282 SOS 515166 HAS SOPS 507462 HAS SOUS 158381 HAS SOUPS 156928 WITH SCORE 157443.166
AT ITER 2425 NEW BEST:: SOT 1021167 SOS 515030 HAS SOPS 507326 HAS SOUS 158315 HAS SOUPS 156862 WITH SCORE 157377.03
AT ITER 2428 NEW BEST:: SOT 1021167 SOS 515030 HAS SOPS 507326 HAS SOUS 158314 HAS SOUPS 156861 WITH SCORE 157376.03
AT ITER 2433 NEW BEST:: SOT 1021187 SOS 505201 HAS SOPS 497497 HAS SOUS 157582 HAS SOUPS 156129 WITH SCORE 156634.201
AT ITER 2463 NEW BEST:: SOT 1021211 SOS 505340 HAS SOPS 497636 HAS SOUS 157481 HAS SOUPS 156028 WITH SCORE 156533.34
AT ITER 2471 NEW BEST:: SOT 1021189 SOS 505296 HAS SOPS 497592 HAS SOUS 157406 HAS SOUPS 155953 WITH SCORE 156458.296
AT ITER 2476 NEW BEST:: SOT 1021141 SOS 505248 HAS SOPS 497544 HAS SOUS 157358 HAS SOUPS 155905 WITH SCORE 156410.248
AT ITER 2477 NEW BEST:: SOT 1020306 SOS 501769 HAS SOPS 494065 HAS SOUS 156613 HAS SOUPS 155160 WITH SCORE 155661.769
AT ITER 2480 NEW BEST:: SOT 1020298 SOS 501761 HAS SOPS 494057 HAS SOUS 156591 HAS SOUPS 155138 WITH SCORE 155639.761
AT ITER 2488 NEW BEST:: SOT 1020372 SOS 502070 HAS SOPS 494366 HAS SOUS 156540 HAS SOUPS 155087 WITH SCORE 155589.07
AT ITER 2514 NEW BEST:: SOT 1020339 SOS 502118 HAS SOPS 494414 HAS SOUS 156500 HAS SOUPS 155047 WITH SCORE 155549.118
AT ITER 2521 NEW BEST:: SOT 1020312 SOS 502091 HAS SOPS 494390 HAS SOUS 156446 HAS SOUPS 154993 WITH SCORE 155495.091
AT ITER 2540 NEW BEST:: SOT 1020293 SOS 502053 HAS SOPS 494352 HAS SOUS 156408 HAS SOUPS 154955 WITH SCORE 155457.053
AT ITER 2542 NEW BEST:: SOT 1020286 SOS 502069 HAS SOPS 494368 HAS SOUS 156393 HAS SOUPS 154940 WITH SCORE 155442.069
AT ITER 2546 NEW BEST:: SOT 1020283 SOS 502063 HAS SOPS 494362 HAS SOUS 156387 HAS SOUPS 154934 WITH SCORE 155436.063
AT ITER 2568 NEW BEST:: SOT 1020282 SOS 502061 HAS SOPS 494360 HAS SOUS 156387 HAS SOUPS 154934 WITH SCORE 155436.061
AT ITER 2573 NEW BEST:: SOT 1020179 SOS 502272 HAS SOPS 494571 HAS SOUS 156268 HAS SOUPS 154815 WITH SCORE 155317.272
AT ITER 2575 NEW BEST:: SOT 1020038 SOS 502131 HAS SOPS 494430 HAS SOUS 155895 HAS SOUPS 154442 WITH SCORE 154944.131
AT ITER 2580 NEW BEST:: SOT 1019184 SOS 501349 HAS SOPS 493648 HAS SOUS 155148 HAS SOUPS 153695 WITH SCORE 154196.349
AT ITER 2583 NEW BEST:: SOT 1019157 SOS 501257 HAS SOPS 493556 HAS SOUS 155129 HAS SOUPS 153676 WITH SCORE 154177.257
AT ITER 2585 NEW BEST:: SOT 1019157 SOS 501243 HAS SOPS 493544 HAS SOUS 155129 HAS SOUPS 153676 WITH SCORE 154177.243
AT ITER 2597 NEW BEST:: SOT 1018785 SOS 501206 HAS SOPS 493507 HAS SOUS 155057 HAS SOUPS 153604 WITH SCORE 154105.206
AT ITER 2601 NEW BEST:: SOT 1018773 SOS 501194 HAS SOPS 493495 HAS SOUS 155045 HAS SOUPS 153592 WITH SCORE 154093.194
AT ITER 2632 NEW BEST:: SOT 1018830 SOS 501535 HAS SOPS 493836 HAS SOUS 155017 HAS SOUPS 153564 WITH SCORE 154065.535
AT ITER 2635 NEW BEST:: SOT 1018830 SOS 501521 HAS SOPS 493822 HAS SOUS 155015 HAS SOUPS 153562 WITH SCORE 154063.521
AT ITER 2641 NEW BEST:: SOT 1018830 SOS 501920 HAS SOPS 494221 HAS SOUS 154874 HAS SOUPS 153421 WITH SCORE 153922.92
AT ITER 2642 NEW BEST:: SOT 1018726 SOS 501816 HAS SOPS 494117 HAS SOUS 154781 HAS SOUPS 153328 WITH SCORE 153829.816
AT ITER 2656 NEW BEST:: SOT 1018721 SOS 501897 HAS SOPS 494198 HAS SOUS 154756 HAS SOUPS 153303 WITH SCORE 153804.897
AT ITER 2679 NEW BEST:: SOT 1018758 SOS 501804 HAS SOPS 494105 HAS SOUS 154663 HAS SOUPS 153210 WITH SCORE 153711.804
AT ITER 2697 NEW BEST:: SOT 1018550 SOS 501489 HAS SOPS 493790 HAS SOUS 154529 HAS SOUPS 153076 WITH SCORE 153577.489
AT ITER 2705 NEW BEST:: SOT 1018610 SOS 501675 HAS SOPS 493976 HAS SOUS 154523 HAS SOUPS 153070 WITH SCORE 153571.675
AT ITER 2731 NEW BEST:: SOT 1018610 SOS 501612 HAS SOPS 493913 HAS SOUS 154397 HAS SOUPS 152944 WITH SCORE 153445.612
AT ITER 2734 NEW BEST:: SOT 1018600 SOS 501532 HAS SOPS 493833 HAS SOUS 154317 HAS SOUPS 152864 WITH SCORE 153365.532
AT ITER 2735 NEW BEST:: SOT 1018600 SOS 501522 HAS SOPS 493823 HAS SOUS 154317 HAS SOUPS 152864 WITH SCORE 153365.522
AT ITER 2739 NEW BEST:: SOT 1018587 SOS 501641 HAS SOPS 493942 HAS SOUS 154305 HAS SOUPS 152852 WITH SCORE 153353.641
AT ITER 2742 NEW BEST:: SOT 1018514 SOS 501337 HAS SOPS 493638 HAS SOUS 154274 HAS SOUPS 152821 WITH SCORE 153322.337
AT ITER 2753 NEW BEST:: SOT 1018441 SOS 501100 HAS SOPS 493401 HAS SOUS 154200 HAS SOUPS 152747 WITH SCORE 153248.1
AT ITER 2759 NEW BEST:: SOT 1018477 SOS 501037 HAS SOPS 493338 HAS SOUS 153957 HAS SOUPS 152504 WITH SCORE 153005.037
AT ITER 2764 NEW BEST:: SOT 1018593 SOS 472789 HAS SOPS 465090 HAS SOUS 153403 HAS SOUPS 151950 WITH SCORE 152422.789
AT ITER 2767 NEW BEST:: SOT 1018675 SOS 472914 HAS SOPS 465215 HAS SOUS 153378 HAS SOUPS 151925 WITH SCORE 152397.914
AT ITER 2784 NEW BEST:: SOT 1018602 SOS 472874 HAS SOPS 465175 HAS SOUS 153243 HAS SOUPS 151790 WITH SCORE 152262.874
AT ITER 2786 NEW BEST:: SOT 1018588 SOS 472748 HAS SOPS 465049 HAS SOUS 153229 HAS SOUPS 151776 WITH SCORE 152248.748
AT ITER 2788 NEW BEST:: SOT 1018580 SOS 472694 HAS SOPS 464995 HAS SOUS 153146 HAS SOUPS 151693 WITH SCORE 152165.694
AT ITER 2790 NEW BEST:: SOT 1018570 SOS 472084 HAS SOPS 464505 HAS SOUS 153136 HAS SOUPS 151693 WITH SCORE 152165.084
AT ITER 2793 NEW BEST:: SOT 1018570 SOS 472197 HAS SOPS 464618 HAS SOUS 153019 HAS SOUPS 151576 WITH SCORE 152048.197
AT ITER 2805 NEW BEST:: SOT 1018444 SOS 472071 HAS SOPS 464492 HAS SOUS 152664 HAS SOUPS 151221 WITH SCORE 151693.071
AT ITER 2857 NEW BEST:: SOT 1018434 SOS 472301 HAS SOPS 464722 HAS SOUS 152643 HAS SOUPS 151200 WITH SCORE 151672.301
AT ITER 2874 NEW BEST:: SOT 1018424 SOS 472291 HAS SOPS 464712 HAS SOUS 152628 HAS SOUPS 151185 WITH SCORE 151657.291
AT ITER 2876 NEW BEST:: SOT 1016661 SOS 476010 HAS SOPS 468431 HAS SOUS 152370 HAS SOUPS 150927 WITH SCORE 151403.01
AT ITER 2935 NEW BEST:: SOT 1016633 SOS 475982 HAS SOPS 468403 HAS SOUS 152342 HAS SOUPS 150899 WITH SCORE 151374.982
AT ITER 2956 NEW BEST:: SOT 1016642 SOS 475827 HAS SOPS 468248 HAS SOUS 152272 HAS SOUPS 150829 WITH SCORE 151304.827
AT ITER 2957 NEW BEST:: SOT 1016671 SOS 475833 HAS SOPS 468254 HAS SOUS 152062 HAS SOUPS 150619 WITH SCORE 151094.833
AT ITER 2969 NEW BEST:: SOT 1016707 SOS 475057 HAS SOPS 467478 HAS SOUS 151982 HAS SOUPS 150539 WITH SCORE 151014.057
AT ITER 2976 NEW BEST:: SOT 1016548 SOS 474883 HAS SOPS 467304 HAS SOUS 151756 HAS SOUPS 150313 WITH SCORE 150787.883
AT ITER 3000 NEW BEST:: SOT 1016548 SOS 475125 HAS SOPS 467546 HAS SOUS 151514 HAS SOUPS 150071 WITH SCORE 150546.125
AT ITER 3027 NEW BEST:: SOT 1015632 SOS 474467 HAS SOPS 466888 HAS SOUS 151325 HAS SOUPS 149882 WITH SCORE 150356.467
AT ITER 3029 NEW BEST:: SOT 1015594 SOS 474363 HAS SOPS 466784 HAS SOUS 150582 HAS SOUPS 149139 WITH SCORE 149613.363
AT ITER 3038 NEW BEST:: SOT 1015564 SOS 474316 HAS SOPS 466737 HAS SOUS 150522 HAS SOUPS 149079 WITH SCORE 149553.316
AT ITER 3039 NEW BEST:: SOT 1015564 SOS 474200 HAS SOPS 466621 HAS SOUS 150522 HAS SOUPS 149079 WITH SCORE 149553.2
AT ITER 3049 NEW BEST:: SOT 1015564 SOS 474183 HAS SOPS 466604 HAS SOUS 150516 HAS SOUPS 149073 WITH SCORE 149547.183
AT ITER 3055 NEW BEST:: SOT 1014839 SOS 473558 HAS SOPS 465979 HAS SOUS 149891 HAS SOUPS 148448 WITH SCORE 148921.558
AT ITER 3076 NEW BEST:: SOT 1014811 SOS 473555 HAS SOPS 465976 HAS SOUS 149835 HAS SOUPS 148392 WITH SCORE 148865.555
AT ITER 3079 NEW BEST:: SOT 1014513 SOS 473344 HAS SOPS 465765 HAS SOUS 149608 HAS SOUPS 148165 WITH SCORE 148638.344
AT ITER 3103 NEW BEST:: SOT 1014478 SOS 473309 HAS SOPS 465730 HAS SOUS 149570 HAS SOUPS 148127 WITH SCORE 148600.309
AT ITER 3113 NEW BEST:: SOT 1014450 SOS 473281 HAS SOPS 465702 HAS SOUS 149542 HAS SOUPS 148099 WITH SCORE 148572.281
AT ITER 3119 NEW BEST:: SOT 1012858 SOS 471797 HAS SOPS 464122 HAS SOUS 149356 HAS SOUPS 147897 WITH SCORE 148368.797
AT ITER 3123 NEW BEST:: SOT 1012821 SOS 471778 HAS SOPS 464103 HAS SOUS 149227 HAS SOUPS 147768 WITH SCORE 148239.778
AT ITER 3124 NEW BEST:: SOT 1012854 SOS 471643 HAS SOPS 463874 HAS SOUS 149142 HAS SOUPS 147683 WITH SCORE 148154.643
AT ITER 3145 NEW BEST:: SOT 1012939 SOS 471762 HAS SOPS 463993 HAS SOUS 149125 HAS SOUPS 147666 WITH SCORE 148137.762
AT ITER 3149 NEW BEST:: SOT 1012842 SOS 471728 HAS SOPS 463959 HAS SOUS 148931 HAS SOUPS 147472 WITH SCORE 147943.728
AT ITER 3156 NEW BEST:: SOT 1012842 SOS 471620 HAS SOPS 463851 HAS SOUS 148849 HAS SOUPS 147390 WITH SCORE 147861.62
AT ITER 3188 NEW BEST:: SOT 1012828 SOS 471606 HAS SOPS 463837 HAS SOUS 148721 HAS SOUPS 147262 WITH SCORE 147733.606
AT ITER 3205 NEW BEST:: SOT 1012826 SOS 471604 HAS SOPS 463835 HAS SOUS 148721 HAS SOUPS 147262 WITH SCORE 147733.604
AT ITER 3225 NEW BEST:: SOT 1012871 SOS 468619 HAS SOPS 460760 HAS SOUS 148706 HAS SOUPS 147232 WITH SCORE 147700.619
AT ITER 3240 NEW BEST:: SOT 1012768 SOS 468619 HAS SOPS 460760 HAS SOUS 148525 HAS SOUPS 147051 WITH SCORE 147519.619
AT ITER 3248 NEW BEST:: SOT 1012779 SOS 468630 HAS SOPS 460771 HAS SOUS 148477 HAS SOUPS 147003 WITH SCORE 147471.63
AT ITER 3252 NEW BEST:: SOT 1012683 SOS 468486 HAS SOPS 460627 HAS SOUS 148333 HAS SOUPS 146859 WITH SCORE 147327.486
AT ITER 3266 NEW BEST:: SOT 1012683 SOS 468508 HAS SOPS 460649 HAS SOUS 148274 HAS SOUPS 146800 WITH SCORE 147268.508
AT ITER 3301 NEW BEST:: SOT 1012544 SOS 468380 HAS SOPS 460521 HAS SOUS 148265 HAS SOUPS 146791 WITH SCORE 147259.38
AT ITER 3327 NEW BEST:: SOT 1012545 SOS 468413 HAS SOPS 460554 HAS SOUS 148182 HAS SOUPS 146708 WITH SCORE 147176.413
AT ITER 3336 NEW BEST:: SOT 1012328 SOS 468196 HAS SOPS 460337 HAS SOUS 148145 HAS SOUPS 146671 WITH SCORE 147139.196
AT ITER 3361 NEW BEST:: SOT 1012216 SOS 468169 HAS SOPS 460310 HAS SOUS 148087 HAS SOUPS 146613 WITH SCORE 147081.169
AT ITER 3367 NEW BEST:: SOT 1012216 SOS 468100 HAS SOPS 460241 HAS SOUS 148087 HAS SOUPS 146613 WITH SCORE 147081.1
AT ITER 3368 NEW BEST:: SOT 1012157 SOS 468877 HAS SOPS 461018 HAS SOUS 148059 HAS SOUPS 146585 WITH SCORE 147053.877
AT ITER 3369 NEW BEST:: SOT 1012177 SOS 468897 HAS SOPS 461038 HAS SOUS 148035 HAS SOUPS 146561 WITH SCORE 147029.897
AT ITER 3370 NEW BEST:: SOT 1012227 SOS 468955 HAS SOPS 461096 HAS SOUS 147876 HAS SOUPS 146402 WITH SCORE 146870.955
AT ITER 3376 NEW BEST:: SOT 1012254 SOS 469001 HAS SOPS 461142 HAS SOUS 147873 HAS SOUPS 146399 WITH SCORE 146868.001
AT ITER 3382 NEW BEST:: SOT 1012186 SOS 468865 HAS SOPS 461006 HAS SOUS 147737 HAS SOUPS 146263 WITH SCORE 146731.865
AT ITER 3386 NEW BEST:: SOT 1011928 SOS 468607 HAS SOPS 460748 HAS SOUS 147479 HAS SOUPS 146005 WITH SCORE 146473.607
AT ITER 3396 NEW BEST:: SOT 1012060 SOS 468916 HAS SOPS 460859 HAS SOUS 147502 HAS SOUPS 145995 WITH SCORE 146463.916
AT ITER 3426 NEW BEST:: SOT 1012057 SOS 468913 HAS SOPS 460856 HAS SOUS 147496 HAS SOUPS 145989 WITH SCORE 146457.913
AT ITER 3434 NEW BEST:: SOT 1011985 SOS 468865 HAS SOPS 460808 HAS SOUS 147376 HAS SOUPS 145869 WITH SCORE 146337.865
AT ITER 3439 NEW BEST:: SOT 1012006 SOS 468844 HAS SOPS 460766 HAS SOUS 147371 HAS SOUPS 145864 WITH SCORE 146332.844
AT ITER 3452 NEW BEST:: SOT 1012064 SOS 468902 HAS SOPS 460824 HAS SOUS 147271 HAS SOUPS 145764 WITH SCORE 146232.902
AT ITER 3464 NEW BEST:: SOT 1012064 SOS 468983 HAS SOPS 460905 HAS SOUS 147241 HAS SOUPS 145734 WITH SCORE 146202.983
AT ITER 3475 NEW BEST:: SOT 1012045 SOS 466665 HAS SOPS 459067 HAS SOUS 147123 HAS SOUPS 145656 WITH SCORE 146122.665
AT ITER 3485 NEW BEST:: SOT 1011952 SOS 466558 HAS SOPS 458960 HAS SOUS 147088 HAS SOUPS 145621 WITH SCORE 146087.558
AT ITER 3516 NEW BEST:: SOT 1011847 SOS 466518 HAS SOPS 458953 HAS SOUS 147003 HAS SOUPS 145536 WITH SCORE 146002.518
AT ITER 3545 NEW BEST:: SOT 1011801 SOS 466461 HAS SOPS 458896 HAS SOUS 146946 HAS SOUPS 145479 WITH SCORE 145945.461
AT ITER 3546 NEW BEST:: SOT 1011994 SOS 466961 HAS SOPS 459396 HAS SOUS 146730 HAS SOUPS 145263 WITH SCORE 145729.961
AT ITER 3560 NEW BEST:: SOT 1011990 SOS 466959 HAS SOPS 459394 HAS SOUS 146728 HAS SOUPS 145261 WITH SCORE 145727.959
AT ITER 3562 NEW BEST:: SOT 1011941 SOS 466860 HAS SOPS 459224 HAS SOUS 146676 HAS SOUPS 145209 WITH SCORE 145675.86
AT ITER 3583 NEW BEST:: SOT 1011971 SOS 467058 HAS SOPS 459404 HAS SOUS 146646 HAS SOUPS 145179 WITH SCORE 145646.058
AT ITER 3584 NEW BEST:: SOT 1011886 SOS 466894 HAS SOPS 459240 HAS SOUS 146476 HAS SOUPS 145009 WITH SCORE 145475.894
AT ITER 3592 NEW BEST:: SOT 1011886 SOS 466903 HAS SOPS 459249 HAS SOUS 146467 HAS SOUPS 145000 WITH SCORE 145466.903
AT ITER 3600 NEW BEST:: SOT 1011886 SOS 466927 HAS SOPS 459273 HAS SOUS 146453 HAS SOUPS 144986 WITH SCORE 145452.927
AT ITER 3603 NEW BEST:: SOT 1011886 SOS 466819 HAS SOPS 459165 HAS SOUS 146453 HAS SOUPS 144986 WITH SCORE 145452.819
AT ITER 3611 NEW BEST:: SOT 1011897 SOS 466823 HAS SOPS 459169 HAS SOUS 146444 HAS SOUPS 144977 WITH SCORE 145443.823
AT ITER 3631 NEW BEST:: SOT 1011885 SOS 466955 HAS SOPS 459301 HAS SOUS 146410 HAS SOUPS 144943 WITH SCORE 145409.955
AT ITER 3650 NEW BEST:: SOT 1011837 SOS 466907 HAS SOPS 459482 HAS SOUS 146314 HAS SOUPS 144847 WITH SCORE 145313.907
AT ITER 3651 NEW BEST:: SOT 1011848 SOS 466951 HAS SOPS 459526 HAS SOUS 146303 HAS SOUPS 144836 WITH SCORE 145302.951
AT ITER 3671 NEW BEST:: SOT 1011755 SOS 466955 HAS SOPS 459530 HAS SOUS 146291 HAS SOUPS 144824 WITH SCORE 145290.955
AT ITER 3672 NEW BEST:: SOT 1011693 SOS 467148 HAS SOPS 459723 HAS SOUS 146252 HAS SOUPS 144785 WITH SCORE 145252.148
AT ITER 3706 NEW BEST:: SOT 1010457 SOS 465869 HAS SOPS 458444 HAS SOUS 145516 HAS SOUPS 144049 WITH SCORE 144514.869
AT ITER 3723 NEW BEST:: SOT 1010439 SOS 465851 HAS SOPS 458426 HAS SOUS 145480 HAS SOUPS 144013 WITH SCORE 144478.851
AT ITER 3725 NEW BEST:: SOT 1010227 SOS 465639 HAS SOPS 458214 HAS SOUS 145348 HAS SOUPS 143881 WITH SCORE 144346.639
AT ITER 3726 NEW BEST:: SOT 1010162 SOS 465561 HAS SOPS 458136 HAS SOUS 145296 HAS SOUPS 143829 WITH SCORE 144294.561
AT ITER 3727 NEW BEST:: SOT 1010148 SOS 465538 HAS SOPS 458113 HAS SOUS 145296 HAS SOUPS 143829 WITH SCORE 144294.538
AT ITER 3731 NEW BEST:: SOT 1010159 SOS 465586 HAS SOPS 458161 HAS SOUS 145125 HAS SOUPS 143658 WITH SCORE 144123.586
AT ITER 3755 NEW BEST:: SOT 1010159 SOS 465500 HAS SOPS 458075 HAS SOUS 145125 HAS SOUPS 143658 WITH SCORE 144123.5
AT ITER 3757 NEW BEST:: SOT 1010116 SOS 465457 HAS SOPS 458057 HAS SOUS 145089 HAS SOUPS 143622 WITH SCORE 144087.457
AT ITER 3761 NEW BEST:: SOT 1010116 SOS 463805 HAS SOPS 456975 HAS SOUS 144980 HAS SOUPS 143608 WITH SCORE 144071.805
AT ITER 3783 NEW BEST:: SOT 1009739 SOS 463100 HAS SOPS 456270 HAS SOUS 144944 HAS SOUPS 143572 WITH SCORE 144035.1
AT ITER 3789 NEW BEST:: SOT 1010180 SOS 452062 HAS SOPS 445232 HAS SOUS 144176 HAS SOUPS 142804 WITH SCORE 143256.062
AT ITER 3791 NEW BEST:: SOT 1010249 SOS 452042 HAS SOPS 445212 HAS SOUS 144129 HAS SOUPS 142757 WITH SCORE 143209.042
AT ITER 3818 NEW BEST:: SOT 1010207 SOS 451985 HAS SOPS 445155 HAS SOUS 144098 HAS SOUPS 142726 WITH SCORE 143177.985
AT ITER 3819 NEW BEST:: SOT 1010207 SOS 451959 HAS SOPS 445129 HAS SOUS 144085 HAS SOUPS 142713 WITH SCORE 143164.959
AT ITER 3820 NEW BEST:: SOT 1007790 SOS 449542 HAS SOPS 442712 HAS SOUS 143669 HAS SOUPS 142297 WITH SCORE 142746.542
AT ITER 3837 NEW BEST:: SOT 1007793 SOS 449563 HAS SOPS 442726 HAS SOUS 143654 HAS SOUPS 142282 WITH SCORE 142731.563
AT ITER 3845 NEW BEST:: SOT 1007064 SOS 448595 HAS SOPS 441758 HAS SOUS 142976 HAS SOUPS 141604 WITH SCORE 142052.595
AT ITER 3851 NEW BEST:: SOT 1006845 SOS 448353 HAS SOPS 441516 HAS SOUS 142634 HAS SOUPS 141262 WITH SCORE 141710.353
AT ITER 3885 NEW BEST:: SOT 1006558 SOS 448124 HAS SOPS 441287 HAS SOUS 142326 HAS SOUPS 140954 WITH SCORE 141402.124
AT ITER 3892 NEW BEST:: SOT 1006450 SOS 447967 HAS SOPS 441130 HAS SOUS 142189 HAS SOUPS 140817 WITH SCORE 141264.967
AT ITER 3893 NEW BEST:: SOT 1006191 SOS 447819 HAS SOPS 440982 HAS SOUS 141728 HAS SOUPS 140356 WITH SCORE 140803.819
AT ITER 3900 NEW BEST:: SOT 1006213 SOS 447914 HAS SOPS 441077 HAS SOUS 141632 HAS SOUPS 140260 WITH SCORE 140707.914
AT ITER 3905 NEW BEST:: SOT 1006187 SOS 447900 HAS SOPS 441063 HAS SOUS 141587 HAS SOUPS 140215 WITH SCORE 140662.9
AT ITER 3913 NEW BEST:: SOT 1006187 SOS 447945 HAS SOPS 441108 HAS SOUS 141497 HAS SOUPS 140125 WITH SCORE 140572.945
AT ITER 3932 NEW BEST:: SOT 1006186 SOS 447944 HAS SOPS 441107 HAS SOUS 141492 HAS SOUPS 140120 WITH SCORE 140567.944
AT ITER 3934 NEW BEST:: SOT 1006177 SOS 448100 HAS SOPS 441263 HAS SOUS 141454 HAS SOUPS 140082 WITH SCORE 140530.1
AT ITER 3935 NEW BEST:: SOT 1006128 SOS 448345 HAS SOPS 441508 HAS SOUS 141405 HAS SOUPS 140033 WITH SCORE 140481.345
AT ITER 3950 NEW BEST:: SOT 1006128 SOS 446629 HAS SOPS 439792 HAS SOUS 141328 HAS SOUPS 139956 WITH SCORE 140402.629
AT ITER 3958 NEW BEST:: SOT 1006088 SOS 446599 HAS SOPS 439762 HAS SOUS 141278 HAS SOUPS 139906 WITH SCORE 140352.599
AT ITER 3970 NEW BEST:: SOT 1004942 SOS 451345 HAS SOPS 442720 HAS SOUS 140340 HAS SOUPS 138670 WITH SCORE 139121.345
AT ITER 3977 NEW BEST:: SOT 1004868 SOS 451085 HAS SOPS 442460 HAS SOUS 140192 HAS SOUPS 138522 WITH SCORE 138973.085
AT ITER 3980 NEW BEST:: SOT 1004677 SOS 450920 HAS SOPS 442295 HAS SOUS 140183 HAS SOUPS 138513 WITH SCORE 138963.92
AT ITER 3986 NEW BEST:: SOT 1004316 SOS 450444 HAS SOPS 441819 HAS SOUS 139796 HAS SOUPS 138126 WITH SCORE 138576.444
AT ITER 3992 NEW BEST:: SOT 1004316 SOS 450426 HAS SOPS 441801 HAS SOUS 139787 HAS SOUPS 138117 WITH SCORE 138567.426
AT ITER 4025 NEW BEST:: SOT 1004316 SOS 450396 HAS SOPS 441771 HAS SOUS 139777 HAS SOUPS 138107 WITH SCORE 138557.396
AT ITER 4034 NEW BEST:: SOT 1004262 SOS 450342 HAS SOPS 441717 HAS SOUS 139684 HAS SOUPS 138014 WITH SCORE 138464.342
AT ITER 4046 NEW BEST:: SOT 1004212 SOS 450135 HAS SOPS 441510 HAS SOUS 139634 HAS SOUPS 137964 WITH SCORE 138414.135
AT ITER 4072 NEW BEST:: SOT 1004079 SOS 450002 HAS SOPS 441377 HAS SOUS 139501 HAS SOUPS 137831 WITH SCORE 138281.002
AT ITER 4102 NEW BEST:: SOT 1003969 SOS 449694 HAS SOPS 441069 HAS SOUS 139413 HAS SOUPS 137743 WITH SCORE 138192.694
AT ITER 4105 NEW BEST:: SOT 1004088 SOS 450049 HAS SOPS 441424 HAS SOUS 139392 HAS SOUPS 137722 WITH SCORE 138172.049
AT ITER 4121 NEW BEST:: SOT 1004028 SOS 449629 HAS SOPS 441004 HAS SOUS 139347 HAS SOUPS 137677 WITH SCORE 138126.629
AT ITER 4130 NEW BEST:: SOT 1004039 SOS 449640 HAS SOPS 441015 HAS SOUS 139346 HAS SOUPS 137676 WITH SCORE 138125.64
AT ITER 4170 NEW BEST:: SOT 1003968 SOS 449456 HAS SOPS 440831 HAS SOUS 139311 HAS SOUPS 137641 WITH SCORE 138090.456
AT ITER 4171 NEW BEST:: SOT 1003852 SOS 449353 HAS SOPS 440728 HAS SOUS 139154 HAS SOUPS 137484 WITH SCORE 137933.353
AT ITER 4173 NEW BEST:: SOT 1003850 SOS 449353 HAS SOPS 440728 HAS SOUS 139152 HAS SOUPS 137482 WITH SCORE 137931.353
AT ITER 4186 NEW BEST:: SOT 1003838 SOS 449345 HAS SOPS 440720 HAS SOUS 139132 HAS SOUPS 137462 WITH SCORE 137911.345
AT ITER 4196 NEW BEST:: SOT 1003823 SOS 449324 HAS SOPS 440699 HAS SOUS 139111 HAS SOUPS 137441 WITH SCORE 137890.324
AT ITER 4201 NEW BEST:: SOT 1003818 SOS 449209 HAS SOPS 440584 HAS SOUS 139047 HAS SOUPS 137377 WITH SCORE 137826.209
AT ITER 4204 NEW BEST:: SOT 1003757 SOS 449148 HAS SOPS 440350 HAS SOUS 138980 HAS SOUPS 137310 WITH SCORE 137759.148
AT ITER 4248 NEW BEST:: SOT 1003586 SOS 449047 HAS SOPS 440266 HAS SOUS 138904 HAS SOUPS 137235 WITH SCORE 137684.047
AT ITER 4258 NEW BEST:: SOT 1003586 SOS 449015 HAS SOPS 440234 HAS SOUS 138898 HAS SOUPS 137229 WITH SCORE 137678.015
AT ITER 4278 NEW BEST:: SOT 1003588 SOS 449017 HAS SOPS 440236 HAS SOUS 138892 HAS SOUPS 137223 WITH SCORE 137672.017
AT ITER 4287 NEW BEST:: SOT 1003524 SOS 448967 HAS SOPS 440186 HAS SOUS 138692 HAS SOUPS 137023 WITH SCORE 137471.967
AT ITER 4307 NEW BEST:: SOT 1003518 SOS 448961 HAS SOPS 440180 HAS SOUS 138680 HAS SOUPS 137011 WITH SCORE 137459.961
AT ITER 4313 NEW BEST:: SOT 1003460 SOS 448968 HAS SOPS 440252 HAS SOUS 138630 HAS SOUPS 136961 WITH SCORE 137409.968
AT ITER 4346 NEW BEST:: SOT 1003388 SOS 449025 HAS SOPS 440309 HAS SOUS 138450 HAS SOUPS 136781 WITH SCORE 137230.025
AT ITER 4364 NEW BEST:: SOT 1003388 SOS 449033 HAS SOPS 440317 HAS SOUS 138442 HAS SOUPS 136773 WITH SCORE 137222.033
AT ITER 4370 NEW BEST:: SOT 1003366 SOS 449170 HAS SOPS 440454 HAS SOUS 138359 HAS SOUPS 136690 WITH SCORE 137139.17
AT ITER 4385 NEW BEST:: SOT 1003360 SOS 449158 HAS SOPS 440442 HAS SOUS 138348 HAS SOUPS 136679 WITH SCORE 137128.158
AT ITER 4393 NEW BEST:: SOT 1003338 SOS 449158 HAS SOPS 440420 HAS SOUS 138304 HAS SOUPS 136635 WITH SCORE 137084.158
AT ITER 4407 NEW BEST:: SOT 1003338 SOS 449450 HAS SOPS 440712 HAS SOUS 138299 HAS SOUPS 136630 WITH SCORE 137079.45
AT ITER 4416 NEW BEST:: SOT 1003325 SOS 449424 HAS SOPS 440686 HAS SOUS 138273 HAS SOUPS 136604 WITH SCORE 137053.424
AT ITER 4417 NEW BEST:: SOT 1003069 SOS 449168 HAS SOPS 440430 HAS SOUS 137996 HAS SOUPS 136327 WITH SCORE 136776.168
AT ITER 4432 NEW BEST:: SOT 1003021 SOS 449072 HAS SOPS 440334 HAS SOUS 137900 HAS SOUPS 136231 WITH SCORE 136680.072
AT ITER 4437 NEW BEST:: SOT 1003021 SOS 439793 HAS SOPS 433280 HAS SOUS 137334 HAS SOUPS 135881 WITH SCORE 136320.793
AT ITER 4441 NEW BEST:: SOT 1003013 SOS 439789 HAS SOPS 433276 HAS SOUS 137318 HAS SOUPS 135865 WITH SCORE 136304.789
AT ITER 4448 NEW BEST:: SOT 1003013 SOS 439787 HAS SOPS 433274 HAS SOUS 137311 HAS SOUPS 135858 WITH SCORE 136297.787
AT ITER 4465 NEW BEST:: SOT 1002997 SOS 439734 HAS SOPS 433221 HAS SOUS 137311 HAS SOUPS 135858 WITH SCORE 136297.734
AT ITER 4493 NEW BEST:: SOT 1002997 SOS 439611 HAS SOPS 433098 HAS SOUS 137247 HAS SOUPS 135794 WITH SCORE 136233.611
AT ITER 4514 NEW BEST:: SOT 1003375 SOS 439903 HAS SOPS 433390 HAS SOUS 136659 HAS SOUPS 135206 WITH SCORE 135645.903
AT ITER 4524 NEW BEST:: SOT 1003073 SOS 439481 HAS SOPS 432968 HAS SOUS 136240 HAS SOUPS 134787 WITH SCORE 135226.481
AT ITER 4525 NEW BEST:: SOT 1002980 SOS 439403 HAS SOPS 432957 HAS SOUS 136212 HAS SOUPS 134759 WITH SCORE 135198.403
AT ITER 4566 NEW BEST:: SOT 1003011 SOS 439509 HAS SOPS 433063 HAS SOUS 136122 HAS SOUPS 134669 WITH SCORE 135108.509
AT ITER 4621 NEW BEST:: SOT 1001234 SOS 438006 HAS SOPS 431560 HAS SOUS 135312 HAS SOUPS 133859 WITH SCORE 134297.006
AT ITER 4634 NEW BEST:: SOT 1000985 SOS 437591 HAS SOPS 431145 HAS SOUS 135063 HAS SOUPS 133610 WITH SCORE 134047.591
AT ITER 4641 NEW BEST:: SOT 1000818 SOS 437197 HAS SOPS 430751 HAS SOUS 134793 HAS SOUPS 133340 WITH SCORE 133777.197
AT ITER 4655 NEW BEST:: SOT 1000786 SOS 437182 HAS SOPS 430736 HAS SOUS 134725 HAS SOUPS 133272 WITH SCORE 133709.182
AT ITER 4664 NEW BEST:: SOT 1000763 SOS 437136 HAS SOPS 430690 HAS SOUS 134679 HAS SOUPS 133226 WITH SCORE 133663.136
AT ITER 4665 NEW BEST:: SOT 1000746 SOS 437119 HAS SOPS 430673 HAS SOUS 134645 HAS SOUPS 133192 WITH SCORE 133629.119
AT ITER 4678 NEW BEST:: SOT 1000728 SOS 437101 HAS SOPS 430655 HAS SOUS 134627 HAS SOUPS 133174 WITH SCORE 133611.101
AT ITER 4680 NEW BEST:: SOT 1000515 SOS 436901 HAS SOPS 430455 HAS SOUS 134539 HAS SOUPS 133086 WITH SCORE 133522.901
AT ITER 4693 NEW BEST:: SOT 1000191 SOS 436707 HAS SOPS 430261 HAS SOUS 133985 HAS SOUPS 132532 WITH SCORE 132968.707
AT ITER 4696 NEW BEST:: SOT 1000145 SOS 436665 HAS SOPS 430219 HAS SOUS 133943 HAS SOUPS 132490 WITH SCORE 132926.665
AT ITER 4705 NEW BEST:: SOT 1000156 SOS 436690 HAS SOPS 430244 HAS SOUS 133923 HAS SOUPS 132470 WITH SCORE 132906.69
AT ITER 4716 NEW BEST:: SOT 1000114 SOS 436673 HAS SOPS 430227 HAS SOUS 133839 HAS SOUPS 132386 WITH SCORE 132822.673
AT ITER 4720 NEW BEST:: SOT 1000139 SOS 436773 HAS SOPS 430327 HAS SOUS 133711 HAS SOUPS 132258 WITH SCORE 132694.773
AT ITER 4735 NEW BEST:: SOT 1000269 SOS 436912 HAS SOPS 430466 HAS SOUS 133672 HAS SOUPS 132219 WITH SCORE 132655.912
AT ITER 4737 NEW BEST:: SOT 998976 SOS 435619 HAS SOPS 429173 HAS SOUS 132426 HAS SOUPS 130973 WITH SCORE 131408.619
AT ITER 4739 NEW BEST:: SOT 998991 SOS 435709 HAS SOPS 429263 HAS SOUS 132407 HAS SOUPS 130954 WITH SCORE 131389.709
AT ITER 4745 NEW BEST:: SOT 999108 SOS 436342 HAS SOPS 429896 HAS SOUS 132297 HAS SOUPS 130844 WITH SCORE 131280.342
AT ITER 4760 NEW BEST:: SOT 998931 SOS 436047 HAS SOPS 429601 HAS SOUS 132120 HAS SOUPS 130667 WITH SCORE 131103.047
AT ITER 4767 NEW BEST:: SOT 998931 SOS 436045 HAS SOPS 429599 HAS SOUS 132120 HAS SOUPS 130667 WITH SCORE 131103.045
AT ITER 4771 NEW BEST:: SOT 998934 SOS 436206 HAS SOPS 429760 HAS SOUS 131987 HAS SOUPS 130534 WITH SCORE 130970.206
AT ITER 4779 NEW BEST:: SOT 998934 SOS 436090 HAS SOPS 429644 HAS SOUS 131987 HAS SOUPS 130534 WITH SCORE 130970.09
AT ITER 4802 NEW BEST:: SOT 998935 SOS 436091 HAS SOPS 429645 HAS SOUS 131970 HAS SOUPS 130517 WITH SCORE 130953.091
AT ITER 4812 NEW BEST:: SOT 998955 SOS 436079 HAS SOPS 429633 HAS SOUS 131970 HAS SOUPS 130517 WITH SCORE 130953.079
AT ITER 4823 NEW BEST:: SOT 998850 SOS 435851 HAS SOPS 429405 HAS SOUS 131760 HAS SOUPS 130307 WITH SCORE 130742.851
AT ITER 4824 NEW BEST:: SOT 998395 SOS 435450 HAS SOPS 429004 HAS SOUS 131729 HAS SOUPS 130276 WITH SCORE 130711.45
AT ITER 4827 NEW BEST:: SOT 998395 SOS 434934 HAS SOPS 428488 HAS SOUS 131709 HAS SOUPS 130256 WITH SCORE 130690.934
AT ITER 4836 NEW BEST:: SOT 998335 SOS 434201 HAS SOPS 427755 HAS SOUS 131542 HAS SOUPS 130089 WITH SCORE 130523.201
AT ITER 4844 NEW BEST:: SOT 998327 SOS 434187 HAS SOPS 427731 HAS SOUS 131518 HAS SOUPS 130065 WITH SCORE 130499.187
AT ITER 4853 NEW BEST:: SOT 998327 SOS 434215 HAS SOPS 427759 HAS SOUS 131510 HAS SOUPS 130057 WITH SCORE 130491.215
AT ITER 4854 NEW BEST:: SOT 998323 SOS 434247 HAS SOPS 427791 HAS SOUS 131502 HAS SOUPS 130049 WITH SCORE 130483.247
AT ITER 4872 NEW BEST:: SOT 998174 SOS 434098 HAS SOPS 427642 HAS SOUS 131187 HAS SOUPS 129734 WITH SCORE 130168.098
AT ITER 4876 NEW BEST:: SOT 998270 SOS 434220 HAS SOPS 427694 HAS SOUS 131154 HAS SOUPS 129701 WITH SCORE 130135.22
AT ITER 4911 NEW BEST:: SOT 998225 SOS 434175 HAS SOPS 427649 HAS SOUS 131111 HAS SOUPS 129658 WITH SCORE 130092.175
AT ITER 4923 NEW BEST:: SOT 998209 SOS 434066 HAS SOPS 427540 HAS SOUS 131027 HAS SOUPS 129574 WITH SCORE 130008.066
AT ITER 4924 NEW BEST:: SOT 998207 SOS 434048 HAS SOPS 427522 HAS SOUS 131023 HAS SOUPS 129570 WITH SCORE 130004.048
AT ITER 4935 NEW BEST:: SOT 998195 SOS 434036 HAS SOPS 427510 HAS SOUS 130999 HAS SOUPS 129546 WITH SCORE 129980.036
AT ITER 4942 NEW BEST:: SOT 998115 SOS 433695 HAS SOPS 427169 HAS SOUS 130975 HAS SOUPS 129522 WITH SCORE 129955.695
AT ITER 4948 NEW BEST:: SOT 998114 SOS 433691 HAS SOPS 427165 HAS SOUS 130973 HAS SOUPS 129520 WITH SCORE 129953.691
AT ITER 4949 NEW BEST:: SOT 998103 SOS 433680 HAS SOPS 427154 HAS SOUS 130951 HAS SOUPS 129498 WITH SCORE 129931.68
AT ITER 4971 NEW BEST:: SOT 997942 SOS 433472 HAS SOPS 426946 HAS SOUS 130853 HAS SOUPS 129400 WITH SCORE 129833.472
AT ITER 4974 NEW BEST:: SOT 997942 SOS 433625 HAS SOPS 427099 HAS SOUS 130751 HAS SOUPS 129298 WITH SCORE 129731.625
AT ITER 4982 NEW BEST:: SOT 997679 SOS 433360 HAS SOPS 426834 HAS SOUS 130656 HAS SOUPS 129203 WITH SCORE 129636.36
AT ITER 4985 NEW BEST:: SOT 997540 SOS 433151 HAS SOPS 426625 HAS SOUS 130352 HAS SOUPS 128899 WITH SCORE 129332.151
AT ITER 5054 NEW BEST:: SOT 997534 SOS 433133 HAS SOPS 426634 HAS SOUS 130349 HAS SOUPS 128896 WITH SCORE 129329.133
AT ITER 5071 NEW BEST:: SOT 997463 SOS 433121 HAS SOPS 426650 HAS SOUS 130247 HAS SOUPS 128794 WITH SCORE 129227.121
AT ITER 5100 NEW BEST:: SOT 997201 SOS 433134 HAS SOPS 426732 HAS SOUS 129993 HAS SOUPS 128540 WITH SCORE 128973.134
AT ITER 5110 NEW BEST:: SOT 997322 SOS 428509 HAS SOPS 422107 HAS SOUS 129877 HAS SOUPS 128424 WITH SCORE 128852.509
AT ITER 5111 NEW BEST:: SOT 997314 SOS 428501 HAS SOPS 422099 HAS SOUS 129858 HAS SOUPS 128405 WITH SCORE 128833.501
AT ITER 5136 NEW BEST:: SOT 997258 SOS 428359 HAS SOPS 421957 HAS SOUS 129821 HAS SOUPS 128368 WITH SCORE 128796.359
AT ITER 5149 NEW BEST:: SOT 997241 SOS 428342 HAS SOPS 421940 HAS SOUS 129692 HAS SOUPS 128239 WITH SCORE 128667.342
AT ITER 5159 NEW BEST:: SOT 997245 SOS 428335 HAS SOPS 421933 HAS SOUS 129421 HAS SOUPS 127968 WITH SCORE 128396.335
AT ITER 5169 NEW BEST:: SOT 997255 SOS 428345 HAS SOPS 421943 HAS SOUS 129410 HAS SOUPS 127957 WITH SCORE 128385.345
AT ITER 5184 NEW BEST:: SOT 997262 SOS 428361 HAS SOPS 421959 HAS SOUS 129407 HAS SOUPS 127954 WITH SCORE 128382.361
AT ITER 5188 NEW BEST:: SOT 997254 SOS 428353 HAS SOPS 421951 HAS SOUS 129391 HAS SOUPS 127938 WITH SCORE 128366.353
AT ITER 5195 NEW BEST:: SOT 997257 SOS 428350 HAS SOPS 421948 HAS SOUS 129385 HAS SOUPS 127932 WITH SCORE 128360.35
AT ITER 5214 NEW BEST:: SOT 997249 SOS 428326 HAS SOPS 421924 HAS SOUS 129369 HAS SOUPS 127916 WITH SCORE 128344.326
AT ITER 5218 NEW BEST:: SOT 997192 SOS 428473 HAS SOPS 422071 HAS SOUS 129261 HAS SOUPS 127808 WITH SCORE 128236.473
AT ITER 5227 NEW BEST:: SOT 997171 SOS 428428 HAS SOPS 422026 HAS SOUS 129216 HAS SOUPS 127763 WITH SCORE 128191.428
AT ITER 5228 NEW BEST:: SOT 997222 SOS 428479 HAS SOPS 422077 HAS SOUS 129191 HAS SOUPS 127738 WITH SCORE 128166.479
AT ITER 5229 NEW BEST:: SOT 997173 SOS 428430 HAS SOPS 422028 HAS SOUS 129091 HAS SOUPS 127638 WITH SCORE 128066.43
AT ITER 5256 NEW BEST:: SOT 997156 SOS 428396 HAS SOPS 421994 HAS SOUS 129074 HAS SOUPS 127621 WITH SCORE 128049.396
AT ITER 5266 NEW BEST:: SOT 997117 SOS 428413 HAS SOPS 422011 HAS SOUS 129040 HAS SOUPS 127587 WITH SCORE 128015.413
AT ITER 5274 NEW BEST:: SOT 997084 SOS 428386 HAS SOPS 421984 HAS SOUS 129013 HAS SOUPS 127560 WITH SCORE 127988.386
AT ITER 5316 NEW BEST:: SOT 997245 SOS 427373 HAS SOPS 420971 HAS SOUS 128911 HAS SOUPS 127458 WITH SCORE 127885.373
AT ITER 5317 NEW BEST:: SOT 997243 SOS 427371 HAS SOPS 420969 HAS SOUS 128845 HAS SOUPS 127392 WITH SCORE 127819.371
AT ITER 5326 NEW BEST:: SOT 997196 SOS 427324 HAS SOPS 420922 HAS SOUS 128776 HAS SOUPS 127323 WITH SCORE 127750.324
AT ITER 5345 NEW BEST:: SOT 996542 SOS 426670 HAS SOPS 420268 HAS SOUS 128665 HAS SOUPS 127212 WITH SCORE 127638.67
AT ITER 5361 NEW BEST:: SOT 996406 SOS 426534 HAS SOPS 420132 HAS SOUS 128393 HAS SOUPS 126940 WITH SCORE 127366.534
AT ITER 5370 NEW BEST:: SOT 996271 SOS 426791 HAS SOPS 420389 HAS SOUS 128211 HAS SOUPS 126758 WITH SCORE 127184.791
AT ITER 5404 NEW BEST:: SOT 996259 SOS 426783 HAS SOPS 420381 HAS SOUS 128199 HAS SOUPS 126746 WITH SCORE 127172.783
AT ITER 5421 NEW BEST:: SOT 996223 SOS 426711 HAS SOPS 420309 HAS SOUS 128127 HAS SOUPS 126674 WITH SCORE 127100.711
AT ITER 5435 NEW BEST:: SOT 996234 SOS 426715 HAS SOPS 420313 HAS SOUS 128117 HAS SOUPS 126664 WITH SCORE 127090.715
AT ITER 5461 NEW BEST:: SOT 996233 SOS 426714 HAS SOPS 420312 HAS SOUS 128116 HAS SOUPS 126663 WITH SCORE 127089.714
AT ITER 5476 NEW BEST:: SOT 996233 SOS 422101 HAS SOPS 415699 HAS SOUS 128067 HAS SOUPS 126614 WITH SCORE 127036.101
AT ITER 5502 NEW BEST:: SOT 996075 SOS 420386 HAS SOPS 414656 HAS SOUS 127743 HAS SOUPS 126402 WITH SCORE 126822.386
AT ITER 5522 NEW BEST:: SOT 995950 SOS 420176 HAS SOPS 414446 HAS SOUS 127585 HAS SOUPS 126244 WITH SCORE 126664.176
AT ITER 5524 NEW BEST:: SOT 995839 SOS 419739 HAS SOPS 414009 HAS SOUS 127438 HAS SOUPS 126097 WITH SCORE 126516.739
AT ITER 5526 NEW BEST:: SOT 995806 SOS 419559 HAS SOPS 413829 HAS SOUS 127388 HAS SOUPS 126047 WITH SCORE 126466.559
AT ITER 5534 NEW BEST:: SOT 995773 SOS 419490 HAS SOPS 413760 HAS SOUS 127376 HAS SOUPS 126035 WITH SCORE 126454.49
AT ITER 5535 NEW BEST:: SOT 995720 SOS 419434 HAS SOPS 413704 HAS SOUS 127317 HAS SOUPS 125976 WITH SCORE 126395.434
AT ITER 5547 NEW BEST:: SOT 995684 SOS 419338 HAS SOPS 413608 HAS SOUS 127245 HAS SOUPS 125904 WITH SCORE 126323.338
AT ITER 5572 NEW BEST:: SOT 995677 SOS 419354 HAS SOPS 413624 HAS SOUS 127238 HAS SOUPS 125897 WITH SCORE 126316.354
AT ITER 5573 NEW BEST:: SOT 995906 SOS 419618 HAS SOPS 413888 HAS SOUS 126591 HAS SOUPS 125250 WITH SCORE 125669.618
AT ITER 5585 NEW BEST:: SOT 995906 SOS 419613 HAS SOPS 413883 HAS SOUS 126588 HAS SOUPS 125247 WITH SCORE 125666.613
AT ITER 5599 NEW BEST:: SOT 995905 SOS 419929 HAS SOPS 414199 HAS SOUS 126577 HAS SOUPS 125236 WITH SCORE 125655.929
AT ITER 5610 NEW BEST:: SOT 995901 SOS 419925 HAS SOPS 414195 HAS SOUS 126569 HAS SOUPS 125228 WITH SCORE 125647.925
AT ITER 5621 NEW BEST:: SOT 995859 SOS 419965 HAS SOPS 414235 HAS SOUS 126369 HAS SOUPS 125028 WITH SCORE 125447.965
AT ITER 5632 NEW BEST:: SOT 995848 SOS 419954 HAS SOPS 414224 HAS SOUS 126359 HAS SOUPS 125018 WITH SCORE 125437.954
AT ITER 5653 NEW BEST:: SOT 995821 SOS 419945 HAS SOPS 414215 HAS SOUS 126288 HAS SOUPS 124947 WITH SCORE 125366.945
AT ITER 5656 NEW BEST:: SOT 995674 SOS 419829 HAS SOPS 414099 HAS SOUS 126123 HAS SOUPS 124782 WITH SCORE 125201.829
AT ITER 5663 NEW BEST:: SOT 995650 SOS 419831 HAS SOPS 414101 HAS SOUS 126113 HAS SOUPS 124772 WITH SCORE 125191.831
AT ITER 5676 NEW BEST:: SOT 995630 SOS 419841 HAS SOPS 414111 HAS SOUS 125998 HAS SOUPS 124657 WITH SCORE 125076.841
AT ITER 5679 NEW BEST:: SOT 995637 SOS 419848 HAS SOPS 414118 HAS SOUS 125978 HAS SOUPS 124637 WITH SCORE 125056.848
AT ITER 5682 NEW BEST:: SOT 995685 SOS 419557 HAS SOPS 413827 HAS SOUS 125975 HAS SOUPS 124634 WITH SCORE 125053.557
AT ITER 5683 NEW BEST:: SOT 995584 SOS 419497 HAS SOPS 413767 HAS SOUS 125768 HAS SOUPS 124427 WITH SCORE 124846.497
AT ITER 5709 NEW BEST:: SOT 995553 SOS 419262 HAS SOPS 413532 HAS SOUS 125634 HAS SOUPS 124293 WITH SCORE 124712.262
AT ITER 5723 NEW BEST:: SOT 996075 SOS 391057 HAS SOPS 385327 HAS SOUS 125218 HAS SOUPS 123877 WITH SCORE 124268.057
AT ITER 5741 NEW BEST:: SOT 996088 SOS 391546 HAS SOPS 385816 HAS SOUS 125082 HAS SOUPS 123741 WITH SCORE 124132.546
AT ITER 5743 NEW BEST:: SOT 996057 SOS 391422 HAS SOPS 385692 HAS SOUS 124958 HAS SOUPS 123617 WITH SCORE 124008.422
AT ITER 5756 NEW BEST:: SOT 996065 SOS 391454 HAS SOPS 385724 HAS SOUS 124950 HAS SOUPS 123609 WITH SCORE 124000.454
AT ITER 5782 NEW BEST:: SOT 996108 SOS 386877 HAS SOPS 381147 HAS SOUS 124910 HAS SOUPS 123569 WITH SCORE 123955.877
AT ITER 5789 NEW BEST:: SOT 995953 SOS 386820 HAS SOPS 381090 HAS SOUS 124647 HAS SOUPS 123306 WITH SCORE 123692.82
AT ITER 5796 NEW BEST:: SOT 995953 SOS 386820 HAS SOPS 381090 HAS SOUS 124628 HAS SOUPS 123287 WITH SCORE 123673.82
AT ITER 5825 NEW BEST:: SOT 995854 SOS 386550 HAS SOPS 380820 HAS SOUS 124430 HAS SOUPS 123089 WITH SCORE 123475.55
AT ITER 5833 NEW BEST:: SOT 995860 SOS 386556 HAS SOPS 380826 HAS SOUS 124406 HAS SOUPS 123065 WITH SCORE 123451.556
AT ITER 5844 NEW BEST:: SOT 995859 SOS 386555 HAS SOPS 380825 HAS SOUS 124405 HAS SOUPS 123064 WITH SCORE 123450.555
AT ITER 5858 NEW BEST:: SOT 995765 SOS 386461 HAS SOPS 380731 HAS SOUS 124373 HAS SOUPS 123032 WITH SCORE 123418.461
AT ITER 5861 NEW BEST:: SOT 995737 SOS 386446 HAS SOPS 380716 HAS SOUS 124310 HAS SOUPS 122969 WITH SCORE 123355.446
AT ITER 5870 NEW BEST:: SOT 995707 SOS 386406 HAS SOPS 380676 HAS SOUS 124270 HAS SOUPS 122929 WITH SCORE 123315.406
AT ITER 5871 NEW BEST:: SOT 995688 SOS 386387 HAS SOPS 380657 HAS SOUS 124223 HAS SOUPS 122882 WITH SCORE 123268.387
AT ITER 5883 NEW BEST:: SOT 995645 SOS 386344 HAS SOPS 380626 HAS SOUS 124180 HAS SOUPS 122851 WITH SCORE 123237.344
AT ITER 5889 NEW BEST:: SOT 995613 SOS 386328 HAS SOPS 380610 HAS SOUS 124164 HAS SOUPS 122835 WITH SCORE 123221.328
AT ITER 5891 NEW BEST:: SOT 995613 SOS 386328 HAS SOPS 380610 HAS SOUS 124134 HAS SOUPS 122805 WITH SCORE 123191.328
AT ITER 5892 NEW BEST:: SOT 995600 SOS 386315 HAS SOPS 380597 HAS SOUS 124090 HAS SOUPS 122761 WITH SCORE 123147.315
AT ITER 5902 NEW BEST:: SOT 995600 SOS 386301 HAS SOPS 380576 HAS SOUS 124083 HAS SOUPS 122754 WITH SCORE 123140.301
AT ITER 5929 NEW BEST:: SOT 995549 SOS 386553 HAS SOPS 380828 HAS SOUS 123729 HAS SOUPS 122400 WITH SCORE 122786.553
AT ITER 5956 NEW BEST:: SOT 995374 SOS 386218 HAS SOPS 380493 HAS SOUS 123468 HAS SOUPS 122139 WITH SCORE 122525.218
AT ITER 5986 NEW BEST:: SOT 995354 SOS 386198 HAS SOPS 380477 HAS SOUS 123452 HAS SOUPS 122123 WITH SCORE 122509.198
AT ITER 5990 NEW BEST:: SOT 995446 SOS 385715 HAS SOPS 379994 HAS SOUS 123291 HAS SOUPS 121962 WITH SCORE 122347.715
AT ITER 6046 NEW BEST:: SOT 995486 SOS 385330 HAS SOPS 379609 HAS SOUS 123224 HAS SOUPS 121895 WITH SCORE 122280.33
AT ITER 6076 NEW BEST:: SOT 995470 SOS 385306 HAS SOPS 379585 HAS SOUS 123200 HAS SOUPS 121871 WITH SCORE 122256.306
AT ITER 6093 NEW BEST:: SOT 995439 SOS 385275 HAS SOPS 379554 HAS SOUS 123097 HAS SOUPS 121768 WITH SCORE 122153.275
AT ITER 6101 NEW BEST:: SOT 995451 SOS 385279 HAS SOPS 379543 HAS SOUS 123063 HAS SOUPS 121734 WITH SCORE 122119.279
AT ITER 6108 NEW BEST:: SOT 995486 SOS 385545 HAS SOPS 379809 HAS SOUS 122966 HAS SOUPS 121637 WITH SCORE 122022.545
AT ITER 6131 NEW BEST:: SOT 995443 SOS 385661 HAS SOPS 379925 HAS SOUS 122890 HAS SOUPS 121561 WITH SCORE 121946.661
AT ITER 6154 NEW BEST:: SOT 995456 SOS 385560 HAS SOPS 379824 HAS SOUS 122878 HAS SOUPS 121549 WITH SCORE 121934.56
AT ITER 6164 NEW BEST:: SOT 995249 SOS 385353 HAS SOPS 379617 HAS SOUS 122591 HAS SOUPS 121262 WITH SCORE 121647.353
AT ITER 6167 NEW BEST:: SOT 995203 SOS 385325 HAS SOPS 379589 HAS SOUS 122571 HAS SOUPS 121242 WITH SCORE 121627.325
AT ITER 6173 NEW BEST:: SOT 995176 SOS 385412 HAS SOPS 379676 HAS SOUS 122517 HAS SOUPS 121188 WITH SCORE 121573.412
AT ITER 6175 NEW BEST:: SOT 995327 SOS 385888 HAS SOPS 380152 HAS SOUS 122508 HAS SOUPS 121179 WITH SCORE 121564.888
AT ITER 6178 NEW BEST:: SOT 995299 SOS 385836 HAS SOPS 380100 HAS SOUS 122500 HAS SOUPS 121171 WITH SCORE 121556.836
AT ITER 6185 NEW BEST:: SOT 995298 SOS 385835 HAS SOPS 380063 HAS SOUS 122499 HAS SOUPS 121134 WITH SCORE 121519.835
AT ITER 6206 NEW BEST:: SOT 995277 SOS 385793 HAS SOPS 380021 HAS SOUS 122473 HAS SOUPS 121108 WITH SCORE 121493.793
AT ITER 6233 NEW BEST:: SOT 995344 SOS 385900 HAS SOPS 380128 HAS SOUS 122449 HAS SOUPS 121084 WITH SCORE 121469.9
AT ITER 6241 NEW BEST:: SOT 995332 SOS 385888 HAS SOPS 380116 HAS SOUS 122419 HAS SOUPS 121054 WITH SCORE 121439.888
AT ITER 6253 NEW BEST:: SOT 995330 SOS 385886 HAS SOPS 380114 HAS SOUS 122417 HAS SOUPS 121052 WITH SCORE 121437.886
AT ITER 6270 NEW BEST:: SOT 995459 SOS 385928 HAS SOPS 380156 HAS SOUS 122390 HAS SOUPS 121025 WITH SCORE 121410.928
AT ITER 6288 NEW BEST:: SOT 995468 SOS 385937 HAS SOPS 380165 HAS SOUS 122365 HAS SOUPS 121000 WITH SCORE 121385.937
AT ITER 6296 NEW BEST:: SOT 995454 SOS 385865 HAS SOPS 380093 HAS SOUS 122315 HAS SOUPS 120950 WITH SCORE 121335.865
AT ITER 6305 NEW BEST:: SOT 995446 SOS 385857 HAS SOPS 380045 HAS SOUS 122259 HAS SOUPS 120894 WITH SCORE 121279.857
AT ITER 6311 NEW BEST:: SOT 995374 SOS 385785 HAS SOPS 379973 HAS SOUS 122166 HAS SOUPS 120801 WITH SCORE 121186.785
AT ITER 6317 NEW BEST:: SOT 995071 SOS 385243 HAS SOPS 379431 HAS SOUS 122057 HAS SOUPS 120692 WITH SCORE 121077.243
AT ITER 6331 NEW BEST:: SOT 995058 SOS 385061 HAS SOPS 379249 HAS SOUS 122009 HAS SOUPS 120644 WITH SCORE 121029.061
AT ITER 6333 NEW BEST:: SOT 994842 SOS 384361 HAS SOPS 378549 HAS SOUS 121956 HAS SOUPS 120591 WITH SCORE 120975.361
AT ITER 6337 NEW BEST:: SOT 994842 SOS 384361 HAS SOPS 378549 HAS SOUS 121890 HAS SOUPS 120525 WITH SCORE 120909.361
AT ITER 6361 NEW BEST:: SOT 994910 SOS 384092 HAS SOPS 378271 HAS SOUS 121859 HAS SOUPS 120494 WITH SCORE 120878.092
AT ITER 6378 NEW BEST:: SOT 994908 SOS 384090 HAS SOPS 378269 HAS SOUS 121855 HAS SOUPS 120490 WITH SCORE 120874.09
AT ITER 6387 NEW BEST:: SOT 994938 SOS 384064 HAS SOPS 378243 HAS SOUS 121851 HAS SOUPS 120486 WITH SCORE 120870.064
AT ITER 6391 NEW BEST:: SOT 994938 SOS 384248 HAS SOPS 378427 HAS SOUS 121677 HAS SOUPS 120312 WITH SCORE 120696.248
AT ITER 6395 NEW BEST:: SOT 994907 SOS 384226 HAS SOPS 378405 HAS SOUS 121628 HAS SOUPS 120263 WITH SCORE 120647.226
AT ITER 6411 NEW BEST:: SOT 994903 SOS 384222 HAS SOPS 378401 HAS SOUS 121624 HAS SOUPS 120259 WITH SCORE 120643.222
AT ITER 6426 NEW BEST:: SOT 994903 SOS 384369 HAS SOPS 378548 HAS SOUS 121558 HAS SOUPS 120193 WITH SCORE 120577.369
AT ITER 6529 NEW BEST:: SOT 994887 SOS 384363 HAS SOPS 378542 HAS SOUS 121526 HAS SOUPS 120161 WITH SCORE 120545.363
AT ITER 6535 NEW BEST:: SOT 994887 SOS 384363 HAS SOPS 378538 HAS SOUS 121518 HAS SOUPS 120153 WITH SCORE 120537.363
AT ITER 6557 NEW BEST:: SOT 994883 SOS 384360 HAS SOPS 378535 HAS SOUS 121513 HAS SOUPS 120148 WITH SCORE 120532.36
AT ITER 6567 NEW BEST:: SOT 994897 SOS 384333 HAS SOPS 378453 HAS SOUS 121491 HAS SOUPS 120126 WITH SCORE 120510.333
AT ITER 6592 NEW BEST:: SOT 994880 SOS 384316 HAS SOPS 378423 HAS SOUS 121481 HAS SOUPS 120116 WITH SCORE 120500.316
AT ITER 6597 NEW BEST:: SOT 994877 SOS 384320 HAS SOPS 378427 HAS SOUS 121477 HAS SOUPS 120112 WITH SCORE 120496.32
AT ITER 6603 NEW BEST:: SOT 994826 SOS 383529 HAS SOPS 377636 HAS SOUS 120479 HAS SOUPS 119114 WITH SCORE 119497.529
AT ITER 6609 NEW BEST:: SOT 994793 SOS 383496 HAS SOPS 377603 HAS SOUS 120413 HAS SOUPS 119048 WITH SCORE 119431.496
AT ITER 6615 NEW BEST:: SOT 994789 SOS 383488 HAS SOPS 377595 HAS SOUS 120401 HAS SOUPS 119036 WITH SCORE 119419.488
AT ITER 6616 NEW BEST:: SOT 996682 SOS 381334 HAS SOPS 375441 HAS SOUS 119990 HAS SOUPS 118625 WITH SCORE 119006.334
AT ITER 6657 NEW BEST:: SOT 996682 SOS 381277 HAS SOPS 375384 HAS SOUS 119954 HAS SOUPS 118589 WITH SCORE 118970.277
AT ITER 6723 NEW BEST:: SOT 996783 SOS 381562 HAS SOPS 375669 HAS SOUS 119810 HAS SOUPS 118445 WITH SCORE 118826.562
AT ITER 6727 NEW BEST:: SOT 996749 SOS 381528 HAS SOPS 375635 HAS SOUS 119704 HAS SOUPS 118339 WITH SCORE 118720.528
AT ITER 6758 NEW BEST:: SOT 996695 SOS 381482 HAS SOPS 375589 HAS SOUS 119683 HAS SOUPS 118318 WITH SCORE 118699.482
AT ITER 6767 NEW BEST:: SOT 996693 SOS 381478 HAS SOPS 375585 HAS SOUS 119682 HAS SOUPS 118317 WITH SCORE 118698.478
AT ITER 6853 NEW BEST:: SOT 996875 SOS 382113 HAS SOPS 376220 HAS SOUS 119515 HAS SOUPS 118150 WITH SCORE 118532.113
AT ITER 6875 NEW BEST:: SOT 996884 SOS 382155 HAS SOPS 376262 HAS SOUS 119503 HAS SOUPS 118138 WITH SCORE 118520.155
AT ITER 6883 NEW BEST:: SOT 996884 SOS 381495 HAS SOPS 375602 HAS SOUS 119476 HAS SOUPS 118111 WITH SCORE 118492.495
AT ITER 6914 NEW BEST:: SOT 996752 SOS 381409 HAS SOPS 375516 HAS SOUS 119379 HAS SOUPS 118014 WITH SCORE 118395.409
AT ITER 6941 NEW BEST:: SOT 996752 SOS 381419 HAS SOPS 375526 HAS SOUS 119377 HAS SOUPS 118012 WITH SCORE 118393.419
AT ITER 6982 NEW BEST:: SOT 996712 SOS 381379 HAS SOPS 375486 HAS SOUS 119343 HAS SOUPS 117978 WITH SCORE 118359.379
AT ITER 7026 NEW BEST:: SOT 996675 SOS 381342 HAS SOPS 375426 HAS SOUS 119305 HAS SOUPS 117940 WITH SCORE 118321.342
AT ITER 7042 NEW BEST:: SOT 996656 SOS 381383 HAS SOPS 375467 HAS SOUS 119194 HAS SOUPS 117829 WITH SCORE 118210.383
AT ITER 7047 NEW BEST:: SOT 996597 SOS 381350 HAS SOPS 375434 HAS SOUS 119122 HAS SOUPS 117757 WITH SCORE 118138.35
AT ITER 7049 NEW BEST:: SOT 996521 SOS 381313 HAS SOPS 375397 HAS SOUS 119120 HAS SOUPS 117755 WITH SCORE 118136.313
AT ITER 7056 NEW BEST:: SOT 996477 SOS 380785 HAS SOPS 374869 HAS SOUS 119094 HAS SOUPS 117729 WITH SCORE 118109.785
AT ITER 7091 NEW BEST:: SOT 996480 SOS 380942 HAS SOPS 375026 HAS SOUS 118978 HAS SOUPS 117613 WITH SCORE 117993.942
AT ITER 7105 NEW BEST:: SOT 996480 SOS 380924 HAS SOPS 375008 HAS SOUS 118928 HAS SOUPS 117563 WITH SCORE 117943.924
AT ITER 7112 NEW BEST:: SOT 994669 SOS 379113 HAS SOPS 373197 HAS SOUS 117780 HAS SOUPS 116415 WITH SCORE 116794.113
AT ITER 7118 NEW BEST:: SOT 994718 SOS 379202 HAS SOPS 373086 HAS SOUS 117683 HAS SOUPS 116318 WITH SCORE 116697.202
AT ITER 7198 NEW BEST:: SOT 994718 SOS 379184 HAS SOPS 373068 HAS SOUS 117683 HAS SOUPS 116318 WITH SCORE 116697.184
AT ITER 7226 NEW BEST:: SOT 994718 SOS 379104 HAS SOPS 372988 HAS SOUS 117683 HAS SOUPS 116318 WITH SCORE 116697.104
AT ITER 7229 NEW BEST:: SOT 994541 SOS 379174 HAS SOPS 373058 HAS SOUS 117334 HAS SOUPS 115969 WITH SCORE 116348.174
AT ITER 7249 NEW BEST:: SOT 994541 SOS 379171 HAS SOPS 373055 HAS SOUS 117334 HAS SOUPS 115969 WITH SCORE 116348.171
AT ITER 7254 NEW BEST:: SOT 994525 SOS 379146 HAS SOPS 373030 HAS SOUS 117318 HAS SOUPS 115953 WITH SCORE 116332.146
AT ITER 7270 NEW BEST:: SOT 994525 SOS 379134 HAS SOPS 373018 HAS SOUS 117318 HAS SOUPS 115953 WITH SCORE 116332.134
AT ITER 7279 NEW BEST:: SOT 994474 SOS 379083 HAS SOPS 372967 HAS SOUS 117258 HAS SOUPS 115893 WITH SCORE 116272.083
AT ITER 7284 NEW BEST:: SOT 994492 SOS 378840 HAS SOPS 372724 HAS SOUS 117249 HAS SOUPS 115884 WITH SCORE 116262.84
AT ITER 7296 NEW BEST:: SOT 994492 SOS 378893 HAS SOPS 372777 HAS SOUS 117237 HAS SOUPS 115872 WITH SCORE 116250.893
AT ITER 7301 NEW BEST:: SOT 994496 SOS 378873 HAS SOPS 372683 HAS SOUS 117193 HAS SOUPS 115828 WITH SCORE 116206.873
AT ITER 7306 NEW BEST:: SOT 994487 SOS 378864 HAS SOPS 372674 HAS SOUS 117175 HAS SOUPS 115810 WITH SCORE 116188.864
AT ITER 7318 NEW BEST:: SOT 994491 SOS 378821 HAS SOPS 372631 HAS SOUS 117144 HAS SOUPS 115779 WITH SCORE 116157.821
AT ITER 7326 NEW BEST:: SOT 994491 SOS 378821 HAS SOPS 372631 HAS SOUS 117138 HAS SOUPS 115773 WITH SCORE 116151.821
AT ITER 7328 NEW BEST:: SOT 994427 SOS 378757 HAS SOPS 372567 HAS SOUS 117064 HAS SOUPS 115699 WITH SCORE 116077.757
AT ITER 7363 NEW BEST:: SOT 994436 SOS 378766 HAS SOPS 372576 HAS SOUS 117025 HAS SOUPS 115660 WITH SCORE 116038.766
AT ITER 7392 NEW BEST:: SOT 994376 SOS 378706 HAS SOPS 372516 HAS SOUS 116965 HAS SOUPS 115600 WITH SCORE 115978.706
AT ITER 7397 NEW BEST:: SOT 994347 SOS 378651 HAS SOPS 372461 HAS SOUS 116894 HAS SOUPS 115529 WITH SCORE 115907.651
AT ITER 7401 NEW BEST:: SOT 994173 SOS 378477 HAS SOPS 372287 HAS SOUS 116837 HAS SOUPS 115472 WITH SCORE 115850.477
AT ITER 7423 NEW BEST:: SOT 994015 SOS 378319 HAS SOPS 372129 HAS SOUS 116691 HAS SOUPS 115326 WITH SCORE 115704.319
AT ITER 7467 NEW BEST:: SOT 993985 SOS 378016 HAS SOPS 371826 HAS SOUS 116543 HAS SOUPS 115178 WITH SCORE 115556.016
AT ITER 7468 NEW BEST:: SOT 993971 SOS 378002 HAS SOPS 371812 HAS SOUS 116538 HAS SOUPS 115173 WITH SCORE 115551.002
AT ITER 7484 NEW BEST:: SOT 993971 SOS 377988 HAS SOPS 371798 HAS SOUS 116536 HAS SOUPS 115171 WITH SCORE 115548.988
AT ITER 7488 NEW BEST:: SOT 993996 SOS 378069 HAS SOPS 371879 HAS SOUS 116510 HAS SOUPS 115145 WITH SCORE 115523.069
AT ITER 7489 NEW BEST:: SOT 993990 SOS 378063 HAS SOPS 371873 HAS SOUS 116504 HAS SOUPS 115139 WITH SCORE 115517.063
AT ITER 7593 NEW BEST:: SOT 993980 SOS 378053 HAS SOPS 371863 HAS SOUS 116495 HAS SOUPS 115130 WITH SCORE 115508.053
AT ITER 7597 NEW BEST:: SOT 993782 SOS 377988 HAS SOPS 371798 HAS SOUS 116316 HAS SOUPS 114951 WITH SCORE 115328.988
AT ITER 7605 NEW BEST:: SOT 993774 SOS 377980 HAS SOPS 371790 HAS SOUS 116304 HAS SOUPS 114939 WITH SCORE 115316.98
AT ITER 7611 NEW BEST:: SOT 993774 SOS 377884 HAS SOPS 371694 HAS SOUS 116304 HAS SOUPS 114939 WITH SCORE 115316.884
AT ITER 7621 NEW BEST:: SOT 993627 SOS 377737 HAS SOPS 371547 HAS SOUS 116214 HAS SOUPS 114849 WITH SCORE 115226.737
AT ITER 7662 NEW BEST:: SOT 993599 SOS 377709 HAS SOPS 371519 HAS SOUS 116165 HAS SOUPS 114800 WITH SCORE 115177.709
AT ITER 7668 NEW BEST:: SOT 993628 SOS 374658 HAS SOPS 368468 HAS SOUS 116139 HAS SOUPS 114774 WITH SCORE 115148.658
AT ITER 7705 NEW BEST:: SOT 993604 SOS 374634 HAS SOPS 368409 HAS SOUS 116091 HAS SOUPS 114726 WITH SCORE 115100.634
AT ITER 7708 NEW BEST:: SOT 993407 SOS 374383 HAS SOPS 368158 HAS SOUS 115901 HAS SOUPS 114536 WITH SCORE 114910.383
AT ITER 7719 NEW BEST:: SOT 993395 SOS 374371 HAS SOPS 368146 HAS SOUS 115883 HAS SOUPS 114518 WITH SCORE 114892.371
AT ITER 7752 NEW BEST:: SOT 993599 SOS 374033 HAS SOPS 367808 HAS SOUS 115372 HAS SOUPS 114007 WITH SCORE 114381.033
AT ITER 7756 NEW BEST:: SOT 993532 SOS 373689 HAS SOPS 367464 HAS SOUS 115214 HAS SOUPS 113849 WITH SCORE 114222.689
AT ITER 7780 NEW BEST:: SOT 993512 SOS 373661 HAS SOPS 367432 HAS SOUS 115178 HAS SOUPS 113813 WITH SCORE 114186.661
AT ITER 7816 NEW BEST:: SOT 993510 SOS 373677 HAS SOPS 367448 HAS SOUS 115129 HAS SOUPS 113764 WITH SCORE 114137.677
AT ITER 7840 NEW BEST:: SOT 993510 SOS 373660 HAS SOPS 367431 HAS SOUS 115110 HAS SOUPS 113745 WITH SCORE 114118.66
AT ITER 7847 NEW BEST:: SOT 993502 SOS 373652 HAS SOPS 367421 HAS SOUS 115104 HAS SOUPS 113739 WITH SCORE 114112.652
AT ITER 7848 NEW BEST:: SOT 993562 SOS 372632 HAS SOPS 366401 HAS SOUS 115068 HAS SOUPS 113703 WITH SCORE 114075.632
AT ITER 7864 NEW BEST:: SOT 993715 SOS 374083 HAS SOPS 367852 HAS SOUS 114994 HAS SOUPS 113629 WITH SCORE 114003.083
AT ITER 7871 NEW BEST:: SOT 993715 SOS 374083 HAS SOPS 367852 HAS SOUS 114979 HAS SOUPS 113614 WITH SCORE 113988.083
AT ITER 7876 NEW BEST:: SOT 993709 SOS 374038 HAS SOPS 367807 HAS SOUS 114944 HAS SOUPS 113579 WITH SCORE 113953.038
AT ITER 7885 NEW BEST:: SOT 993848 SOS 374177 HAS SOPS 367946 HAS SOUS 114916 HAS SOUPS 113551 WITH SCORE 113925.177
AT ITER 7891 NEW BEST:: SOT 993763 SOS 374368 HAS SOPS 368137 HAS SOUS 114734 HAS SOUPS 113369 WITH SCORE 113743.368
AT ITER 7893 NEW BEST:: SOT 993763 SOS 374368 HAS SOPS 368137 HAS SOUS 114716 HAS SOUPS 113351 WITH SCORE 113725.368
AT ITER 7968 NEW BEST:: SOT 993765 SOS 374346 HAS SOPS 368115 HAS SOUS 114711 HAS SOUPS 113346 WITH SCORE 113720.346
AT ITER 7974 NEW BEST:: SOT 993862 SOS 369018 HAS SOPS 362787 HAS SOUS 114682 HAS SOUPS 113317 WITH SCORE 113686.018
AT ITER 7982 NEW BEST:: SOT 993840 SOS 368996 HAS SOPS 362765 HAS SOUS 114632 HAS SOUPS 113267 WITH SCORE 113635.996
AT ITER 8005 NEW BEST:: SOT 993834 SOS 368965 HAS SOPS 362753 HAS SOUS 114620 HAS SOUPS 113255 WITH SCORE 113623.965
AT ITER 8009 NEW BEST:: SOT 994156 SOS 369396 HAS SOPS 363184 HAS SOUS 114566 HAS SOUPS 113201 WITH SCORE 113570.396
AT ITER 8011 NEW BEST:: SOT 994148 SOS 369372 HAS SOPS 363160 HAS SOUS 114550 HAS SOUPS 113185 WITH SCORE 113554.372
AT ITER 8029 NEW BEST:: SOT 994146 SOS 369302 HAS SOPS 363090 HAS SOUS 114543 HAS SOUPS 113178 WITH SCORE 113547.302
AT ITER 8034 NEW BEST:: SOT 994417 SOS 368610 HAS SOPS 362398 HAS SOUS 114455 HAS SOUPS 113090 WITH SCORE 113458.61
AT ITER 8097 NEW BEST:: SOT 991004 SOS 365197 HAS SOPS 358985 HAS SOUS 113756 HAS SOUPS 112391 WITH SCORE 112756.197
AT ITER 8103 NEW BEST:: SOT 991002 SOS 365237 HAS SOPS 358947 HAS SOUS 113729 HAS SOUPS 112357 WITH SCORE 112722.237
AT ITER 8106 NEW BEST:: SOT 990963 SOS 365198 HAS SOPS 358908 HAS SOUS 113690 HAS SOUPS 112318 WITH SCORE 112683.198
AT ITER 8127 NEW BEST:: SOT 990964 SOS 365190 HAS SOPS 358900 HAS SOUS 113677 HAS SOUPS 112305 WITH SCORE 112670.19
AT ITER 8145 NEW BEST:: SOT 990947 SOS 365173 HAS SOPS 358883 HAS SOUS 113587 HAS SOUPS 112215 WITH SCORE 112580.173
AT ITER 8163 NEW BEST:: SOT 990944 SOS 365170 HAS SOPS 358880 HAS SOUS 113584 HAS SOUPS 112212 WITH SCORE 112577.17
AT ITER 8169 NEW BEST:: SOT 990944 SOS 365166 HAS SOPS 358876 HAS SOUS 113579 HAS SOUPS 112207 WITH SCORE 112572.166
AT ITER 8174 NEW BEST:: SOT 990919 SOS 365178 HAS SOPS 358888 HAS SOUS 113497 HAS SOUPS 112125 WITH SCORE 112490.178
AT ITER 8187 NEW BEST:: SOT 990915 SOS 365162 HAS SOPS 358872 HAS SOUS 113481 HAS SOUPS 112109 WITH SCORE 112474.162
AT ITER 8211 NEW BEST:: SOT 990901 SOS 365088 HAS SOPS 358798 HAS SOUS 113426 HAS SOUPS 112054 WITH SCORE 112419.088
AT ITER 8219 NEW BEST:: SOT 990901 SOS 365076 HAS SOPS 358786 HAS SOUS 113426 HAS SOUPS 112054 WITH SCORE 112419.076
AT ITER 8301 NEW BEST:: SOT 990824 SOS 364999 HAS SOPS 358709 HAS SOUS 113421 HAS SOUPS 112049 WITH SCORE 112413.999
AT ITER 8316 NEW BEST:: SOT 990763 SOS 365010 HAS SOPS 358720 HAS SOUS 113120 HAS SOUPS 111748 WITH SCORE 112113.01
AT ITER 8320 NEW BEST:: SOT 990753 SOS 364990 HAS SOPS 358700 HAS SOUS 113100 HAS SOUPS 111728 WITH SCORE 112092.99
AT ITER 8323 NEW BEST:: SOT 990715 SOS 364756 HAS SOPS 358504 HAS SOUS 113097 HAS SOUPS 111725 WITH SCORE 112089.756
AT ITER 8326 NEW BEST:: SOT 990724 SOS 364765 HAS SOPS 358513 HAS SOUS 113091 HAS SOUPS 111719 WITH SCORE 112083.765
AT ITER 8364 NEW BEST:: SOT 990700 SOS 364757 HAS SOPS 358505 HAS SOUS 113091 HAS SOUPS 111719 WITH SCORE 112083.757
AT ITER 8420 NEW BEST:: SOT 990692 SOS 364749 HAS SOPS 358493 HAS SOUS 113079 HAS SOUPS 111707 WITH SCORE 112071.749
AT ITER 8441 NEW BEST:: SOT 990599 SOS 364656 HAS SOPS 358400 HAS SOUS 112992 HAS SOUPS 111620 WITH SCORE 111984.656
AT ITER 8474 NEW BEST:: SOT 990624 SOS 364766 HAS SOPS 358510 HAS SOUS 112803 HAS SOUPS 111431 WITH SCORE 111795.766
AT ITER 8579 NEW BEST:: SOT 990629 SOS 364813 HAS SOPS 358557 HAS SOUS 112772 HAS SOUPS 111400 WITH SCORE 111764.813
AT ITER 8609 NEW BEST:: SOT 990610 SOS 364774 HAS SOPS 358518 HAS SOUS 112743 HAS SOUPS 111371 WITH SCORE 111735.774
AT ITER 8672 NEW BEST:: SOT 990478 SOS 358083 HAS SOPS 351827 HAS SOUS 112731 HAS SOUPS 111359 WITH SCORE 111717.083
AT ITER 8692 NEW BEST:: SOT 990477 SOS 358064 HAS SOPS 351808 HAS SOUS 112729 HAS SOUPS 111357 WITH SCORE 111715.064
AT ITER 8696 NEW BEST:: SOT 990475 SOS 358059 HAS SOPS 351803 HAS SOUS 112729 HAS SOUPS 111357 WITH SCORE 111715.059
AT ITER 8719 NEW BEST:: SOT 990457 SOS 358389 HAS SOPS 352133 HAS SOUS 112706 HAS SOUPS 111334 WITH SCORE 111692.389
AT ITER 8753 NEW BEST:: SOT 990447 SOS 358379 HAS SOPS 352131 HAS SOUS 112696 HAS SOUPS 111332 WITH SCORE 111690.379
AT ITER 8837 NEW BEST:: SOT 990424 SOS 358356 HAS SOPS 352108 HAS SOUS 112696 HAS SOUPS 111332 WITH SCORE 111690.356
AT ITER 8844 NEW BEST:: SOT 990414 SOS 358346 HAS SOPS 352098 HAS SOUS 112686 HAS SOUPS 111322 WITH SCORE 111680.346
AT ITER 8857 NEW BEST:: SOT 990414 SOS 358163 HAS SOPS 351915 HAS SOUS 112673 HAS SOUPS 111309 WITH SCORE 111667.163
AT ITER 8878 NEW BEST:: SOT 990414 SOS 357006 HAS SOPS 350908 HAS SOUS 112648 HAS SOUPS 111309 WITH SCORE 111666.006
AT ITER 8891 NEW BEST:: SOT 990229 SOS 352749 HAS SOPS 346651 HAS SOUS 112540 HAS SOUPS 111201 WITH SCORE 111553.749
AT ITER 8893 NEW BEST:: SOT 990229 SOS 352749 HAS SOPS 346651 HAS SOUS 112537 HAS SOUPS 111198 WITH SCORE 111550.749
AT ITER 8966 NEW BEST:: SOT 990301 SOS 352696 HAS SOPS 346547 HAS SOUS 112483 HAS SOUPS 111144 WITH SCORE 111496.696
AT ITER 9025 NEW BEST:: SOT 990289 SOS 352684 HAS SOPS 346535 HAS SOUS 112471 HAS SOUPS 111132 WITH SCORE 111484.684
AT ITER 9050 NEW BEST:: SOT 990155 SOS 352580 HAS SOPS 346431 HAS SOUS 112368 HAS SOUPS 111029 WITH SCORE 111381.58
AT ITER 9087 NEW BEST:: SOT 990150 SOS 352575 HAS SOPS 346426 HAS SOUS 112358 HAS SOUPS 111019 WITH SCORE 111371.575
AT ITER 9105 NEW BEST:: SOT 990150 SOS 352575 HAS SOPS 346426 HAS SOUS 112286 HAS SOUPS 110947 WITH SCORE 111299.575
AT ITER 9150 NEW BEST:: SOT 990250 SOS 352657 HAS SOPS 346508 HAS SOUS 112231 HAS SOUPS 110892 WITH SCORE 111244.657
AT ITER 9178 NEW BEST:: SOT 990298 SOS 352705 HAS SOPS 346507 HAS SOUS 112212 HAS SOUPS 110869 WITH SCORE 111221.705
AT ITER 9179 NEW BEST:: SOT 990147 SOS 352407 HAS SOPS 346209 HAS SOUS 111857 HAS SOUPS 110514 WITH SCORE 110866.407
AT ITER 9180 NEW BEST:: SOT 990180 SOS 352506 HAS SOPS 346308 HAS SOUS 111824 HAS SOUPS 110481 WITH SCORE 110833.506
AT ITER 9207 NEW BEST:: SOT 990171 SOS 352497 HAS SOPS 346299 HAS SOUS 111812 HAS SOUPS 110469 WITH SCORE 110821.497
AT ITER 9231 NEW BEST:: SOT 990135 SOS 352443 HAS SOPS 346245 HAS SOUS 111767 HAS SOUPS 110424 WITH SCORE 110776.443
AT ITER 9289 NEW BEST:: SOT 990107 SOS 352415 HAS SOPS 346217 HAS SOUS 111691 HAS SOUPS 110348 WITH SCORE 110700.415
AT ITER 9307 NEW BEST:: SOT 990123 SOS 352560 HAS SOPS 346362 HAS SOUS 111594 HAS SOUPS 110251 WITH SCORE 110603.56
AT ITER 9342 NEW BEST:: SOT 989922 SOS 351985 HAS SOPS 345787 HAS SOUS 111576 HAS SOUPS 110233 WITH SCORE 110584.985
AT ITER 9348 NEW BEST:: SOT 989948 SOS 352052 HAS SOPS 345854 HAS SOUS 111569 HAS SOUPS 110226 WITH SCORE 110578.052
AT ITER 9390 NEW BEST:: SOT 990126 SOS 340350 HAS SOPS 334152 HAS SOUS 111559 HAS SOUPS 110216 WITH SCORE 110556.35
AT ITER 9448 NEW BEST:: SOT 990101 SOS 340325 HAS SOPS 334127 HAS SOUS 111531 HAS SOUPS 110188 WITH SCORE 110528.325
AT ITER 9458 NEW BEST:: SOT 990103 SOS 340327 HAS SOPS 334129 HAS SOUS 111511 HAS SOUPS 110168 WITH SCORE 110508.327
AT ITER 9468 NEW BEST:: SOT 990129 SOS 340327 HAS SOPS 334129 HAS SOUS 111428 HAS SOUPS 110085 WITH SCORE 110425.327
AT ITER 9474 NEW BEST:: SOT 989952 SOS 339913 HAS SOPS 333715 HAS SOUS 111207 HAS SOUPS 109864 WITH SCORE 110203.913
AT ITER 9479 NEW BEST:: SOT 989884 SOS 339845 HAS SOPS 333647 HAS SOUS 111185 HAS SOUPS 109842 WITH SCORE 110181.845
AT ITER 9520 NEW BEST:: SOT 989747 SOS 339708 HAS SOPS 333510 HAS SOUS 111118 HAS SOUPS 109775 WITH SCORE 110114.708
AT ITER 9530 NEW BEST:: SOT 989747 SOS 339642 HAS SOPS 333444 HAS SOUS 111118 HAS SOUPS 109775 WITH SCORE 110114.642
AT ITER 9556 NEW BEST:: SOT 989719 SOS 339640 HAS SOPS 333442 HAS SOUS 111106 HAS SOUPS 109763 WITH SCORE 110102.64
AT ITER 9611 NEW BEST:: SOT 989619 SOS 339044 HAS SOPS 332846 HAS SOUS 111106 HAS SOUPS 109763 WITH SCORE 110102.044
AT ITER 9626 NEW BEST:: SOT 989634 SOS 339059 HAS SOPS 332838 HAS SOUS 111068 HAS SOUPS 109722 WITH SCORE 110061.059
AT ITER 9630 NEW BEST:: SOT 989607 SOS 339052 HAS SOPS 332831 HAS SOUS 111064 HAS SOUPS 109718 WITH SCORE 110057.052
AT ITER 9698 NEW BEST:: SOT 989607 SOS 338799 HAS SOPS 332578 HAS SOUS 111055 HAS SOUPS 109709 WITH SCORE 110047.799
AT ITER 9762 NEW BEST:: SOT 989503 SOS 338605 HAS SOPS 332384 HAS SOUS 111050 HAS SOUPS 109704 WITH SCORE 110042.605
AT ITER 9763 NEW BEST:: SOT 989502 SOS 338603 HAS SOPS 332382 HAS SOUS 111048 HAS SOUPS 109702 WITH SCORE 110040.603
AT ITER 9777 NEW BEST:: SOT 989532 SOS 338782 HAS SOPS 332561 HAS SOUS 111039 HAS SOUPS 109693 WITH SCORE 110031.782
AT ITER 9791 NEW BEST:: SOT 989440 SOS 338678 HAS SOPS 332457 HAS SOUS 110839 HAS SOUPS 109493 WITH SCORE 109831.678
AT ITER 9861 NEW BEST:: SOT 989439 SOS 338687 HAS SOPS 332456 HAS SOUS 110819 HAS SOUPS 109473 WITH SCORE 109811.687
AT ITER 9888 NEW BEST:: SOT 989433 SOS 338681 HAS SOPS 332450 HAS SOUS 110807 HAS SOUPS 109461 WITH SCORE 109799.681
AT ITER 9928 NEW BEST:: SOT 984509 SOS 333812 HAS SOPS 327473 HAS SOUS 109937 HAS SOUPS 108573 WITH SCORE 108906.812
AT ITER 9932 NEW BEST:: SOT 984494 SOS 333776 HAS SOPS 327455 HAS SOUS 109916 HAS SOUPS 108555 WITH SCORE 108888.776
AT ITER 9964 NEW BEST:: SOT 984466 SOS 333832 HAS SOPS 327511 HAS SOUS 109904 HAS SOUPS 108543 WITH SCORE 108876.832
STATE_SPACE STATES 82824061 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 64 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 303203855 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679489821599

--------------------
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//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ 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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J06T06"
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 PolyORBLF-COL-S04J06T06, 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 r299-tall-167873953000424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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