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.r107-tall-167814483600008.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 CloudReconfiguration-PT-301, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r107-tall-167814483600008
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 7.6K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678310474995

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=CloudReconfiguration-PT-301
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 21:21:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 21:21:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 21:21:16] [INFO ] Load time of PNML (sax parser for PT used): 117 ms
[2023-03-08 21:21:16] [INFO ] Transformed 2584 places.
[2023-03-08 21:21:16] [INFO ] Transformed 3094 transitions.
[2023-03-08 21:21:16] [INFO ] Found NUPN structural information;
[2023-03-08 21:21:16] [INFO ] Parsed PT model containing 2584 places and 3094 transitions and 6459 arcs in 417 ms.
[2023-03-08 21:21:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2584 places, 3094 transitions and 6459 arcs took 28 ms.
Total runtime 472 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 301
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: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4439016 SOS 755663 HAS SOPS 755663 HAS SOUS 697101 HAS SOUPS 697101 WITH SCORE 697856.663
AT ITER 17 NEW BEST:: SOT 4439016 SOS 755482 HAS SOPS 755482 HAS SOUS 697100 HAS SOUPS 697100 WITH SCORE 697855.482
AT ITER 59 NEW BEST:: SOT 4438831 SOS 755297 HAS SOPS 755297 HAS SOUS 696915 HAS SOUPS 696915 WITH SCORE 697670.297
AT ITER 70 NEW BEST:: SOT 4438600 SOS 754835 HAS SOPS 754835 HAS SOUS 696453 HAS SOUPS 696453 WITH SCORE 697207.835
AT ITER 87 NEW BEST:: SOT 4438540 SOS 754715 HAS SOPS 754715 HAS SOUS 696258 HAS SOUPS 696258 WITH SCORE 697012.715
AT ITER 123 NEW BEST:: SOT 4438540 SOS 754608 HAS SOPS 754608 HAS SOUS 696258 HAS SOUPS 696258 WITH SCORE 697012.608
AT ITER 131 NEW BEST:: SOT 4438530 SOS 754588 HAS SOPS 754588 HAS SOUS 696238 HAS SOUPS 696238 WITH SCORE 696992.588
AT ITER 139 NEW BEST:: SOT 4438529 SOS 754586 HAS SOPS 754586 HAS SOUS 696236 HAS SOUPS 696236 WITH SCORE 696990.586
AT ITER 146 NEW BEST:: SOT 4438286 SOS 754407 HAS SOPS 754407 HAS SOUS 696057 HAS SOUPS 696057 WITH SCORE 696811.407
AT ITER 149 NEW BEST:: SOT 4438157 SOS 754419 HAS SOPS 754419 HAS SOUS 696005 HAS SOUPS 696005 WITH SCORE 696759.419
AT ITER 206 NEW BEST:: SOT 4437991 SOS 754277 HAS SOPS 754277 HAS SOUS 695839 HAS SOUPS 695839 WITH SCORE 696593.277
AT ITER 207 NEW BEST:: SOT 4437990 SOS 754275 HAS SOPS 754275 HAS SOUS 695837 HAS SOUPS 695837 WITH SCORE 696591.275
AT ITER 212 NEW BEST:: SOT 4437857 SOS 754009 HAS SOPS 754009 HAS SOUS 695571 HAS SOUPS 695571 WITH SCORE 696325.009
AT ITER 216 NEW BEST:: SOT 4437773 SOS 753925 HAS SOPS 753925 HAS SOUS 695403 HAS SOUPS 695403 WITH SCORE 696156.925
AT ITER 217 NEW BEST:: SOT 4437843 SOS 753853 HAS SOPS 753853 HAS SOUS 695330 HAS SOUPS 695330 WITH SCORE 696083.853
AT ITER 222 NEW BEST:: SOT 4437819 SOS 753805 HAS SOPS 753805 HAS SOUS 695189 HAS SOUPS 695189 WITH SCORE 695942.805
AT ITER 227 NEW BEST:: SOT 4437819 SOS 753485 HAS SOPS 753485 HAS SOUS 695189 HAS SOUPS 695189 WITH SCORE 695942.485
AT ITER 229 NEW BEST:: SOT 4437624 SOS 753095 HAS SOPS 753095 HAS SOUS 694799 HAS SOUPS 694799 WITH SCORE 695552.095
AT ITER 235 NEW BEST:: SOT 4437514 SOS 752875 HAS SOPS 752875 HAS SOUS 694579 HAS SOUPS 694579 WITH SCORE 695331.875
AT ITER 247 NEW BEST:: SOT 4437290 SOS 752734 HAS SOPS 752734 HAS SOUS 694397 HAS SOUPS 694397 WITH SCORE 695149.734
AT ITER 274 NEW BEST:: SOT 4437428 SOS 753010 HAS SOPS 753010 HAS SOUS 694247 HAS SOUPS 694247 WITH SCORE 695000.01
AT ITER 304 NEW BEST:: SOT 4437282 SOS 752864 HAS SOPS 752864 HAS SOUS 693955 HAS SOUPS 693955 WITH SCORE 694707.864
AT ITER 310 NEW BEST:: SOT 4429204 SOS 745318 HAS SOPS 745318 HAS SOUS 686082 HAS SOUPS 686082 WITH SCORE 686827.318
AT ITER 324 NEW BEST:: SOT 4428952 SOS 745066 HAS SOPS 745066 HAS SOUS 685830 HAS SOUPS 685830 WITH SCORE 686575.066
AT ITER 329 NEW BEST:: SOT 4428951 SOS 745064 HAS SOPS 745064 HAS SOUS 685828 HAS SOUPS 685828 WITH SCORE 686573.064
AT ITER 330 NEW BEST:: SOT 4428899 SOS 745038 HAS SOPS 745038 HAS SOUS 685802 HAS SOUPS 685802 WITH SCORE 686547.038
AT ITER 333 NEW BEST:: SOT 4428313 SOS 744452 HAS SOPS 744452 HAS SOUS 685216 HAS SOUPS 685216 WITH SCORE 685960.452
AT ITER 350 NEW BEST:: SOT 4428313 SOS 744428 HAS SOPS 744428 HAS SOUS 685216 HAS SOUPS 685216 WITH SCORE 685960.428
AT ITER 360 NEW BEST:: SOT 4428312 SOS 744426 HAS SOPS 744426 HAS SOUS 685214 HAS SOUPS 685214 WITH SCORE 685958.426
AT ITER 371 NEW BEST:: SOT 4427558 SOS 743938 HAS SOPS 743938 HAS SOUS 684664 HAS SOUPS 684664 WITH SCORE 685407.938
AT ITER 374 NEW BEST:: SOT 4427410 SOS 743894 HAS SOPS 743894 HAS SOUS 684537 HAS SOUPS 684537 WITH SCORE 685280.894
AT ITER 376 NEW BEST:: SOT 4427333 SOS 743892 HAS SOPS 743892 HAS SOUS 684535 HAS SOUPS 684535 WITH SCORE 685278.892
AT ITER 382 NEW BEST:: SOT 4427285 SOS 743844 HAS SOPS 743844 HAS SOUS 684487 HAS SOUPS 684487 WITH SCORE 685230.844
AT ITER 396 NEW BEST:: SOT 4427241 SOS 743756 HAS SOPS 743756 HAS SOUS 684399 HAS SOUPS 684399 WITH SCORE 685142.756
AT ITER 408 NEW BEST:: SOT 4427241 SOS 743607 HAS SOPS 743607 HAS SOUS 684250 HAS SOUPS 684250 WITH SCORE 684993.607
AT ITER 450 NEW BEST:: SOT 4427241 SOS 743395 HAS SOPS 743395 HAS SOUS 684250 HAS SOUPS 684250 WITH SCORE 684993.395
AT ITER 462 NEW BEST:: SOT 4427173 SOS 743259 HAS SOPS 743259 HAS SOUS 684114 HAS SOUPS 684114 WITH SCORE 684857.259
AT ITER 480 NEW BEST:: SOT 4427116 SOS 743145 HAS SOPS 743145 HAS SOUS 684000 HAS SOUPS 684000 WITH SCORE 684743.145
AT ITER 501 NEW BEST:: SOT 4427064 SOS 743041 HAS SOPS 743041 HAS SOUS 683896 HAS SOUPS 683896 WITH SCORE 684639.041
AT ITER 508 NEW BEST:: SOT 4427152 SOS 742856 HAS SOPS 742856 HAS SOUS 683763 HAS SOUPS 683763 WITH SCORE 684505.856
AT ITER 509 NEW BEST:: SOT 4427100 SOS 742752 HAS SOPS 742752 HAS SOUS 683659 HAS SOUPS 683659 WITH SCORE 684401.752
AT ITER 516 NEW BEST:: SOT 4426896 SOS 742548 HAS SOPS 742548 HAS SOUS 683455 HAS SOUPS 683455 WITH SCORE 684197.548
AT ITER 518 NEW BEST:: SOT 4426676 SOS 741687 HAS SOPS 741687 HAS SOUS 682814 HAS SOUPS 682814 WITH SCORE 683555.687
AT ITER 524 NEW BEST:: SOT 4426676 SOS 741682 HAS SOPS 741682 HAS SOUS 682813 HAS SOUPS 682813 WITH SCORE 683554.682
AT ITER 531 NEW BEST:: SOT 4426676 SOS 741462 HAS SOPS 741462 HAS SOUS 682813 HAS SOUPS 682813 WITH SCORE 683554.462
AT ITER 536 NEW BEST:: SOT 4426513 SOS 741136 HAS SOPS 741136 HAS SOUS 682487 HAS SOUPS 682487 WITH SCORE 683228.136
AT ITER 548 NEW BEST:: SOT 4426513 SOS 740846 HAS SOPS 740846 HAS SOUS 682487 HAS SOUPS 682487 WITH SCORE 683227.846
AT ITER 555 NEW BEST:: SOT 4426523 SOS 740731 HAS SOPS 740731 HAS SOUS 682362 HAS SOUPS 682362 WITH SCORE 683102.731
AT ITER 565 NEW BEST:: SOT 4426398 SOS 740263 HAS SOPS 740263 HAS SOUS 682019 HAS SOUPS 682019 WITH SCORE 682759.263
AT ITER 591 NEW BEST:: SOT 4426329 SOS 740199 HAS SOPS 740199 HAS SOUS 681954 HAS SOUPS 681954 WITH SCORE 682694.199
AT ITER 670 NEW BEST:: SOT 4426135 SOS 740026 HAS SOPS 740026 HAS SOUS 681744 HAS SOUPS 681744 WITH SCORE 682484.026
AT ITER 680 NEW BEST:: SOT 4426098 SOS 739952 HAS SOPS 739952 HAS SOUS 681707 HAS SOUPS 681707 WITH SCORE 682446.952
AT ITER 687 NEW BEST:: SOT 4426119 SOS 739994 HAS SOPS 739994 HAS SOUS 681347 HAS SOUPS 681347 WITH SCORE 682086.994
AT ITER 688 NEW BEST:: SOT 4426119 SOS 739731 HAS SOPS 739731 HAS SOUS 681084 HAS SOUPS 681084 WITH SCORE 681823.731
AT ITER 727 NEW BEST:: SOT 4426023 SOS 739539 HAS SOPS 739539 HAS SOUS 680987 HAS SOUPS 680987 WITH SCORE 681726.539
AT ITER 733 NEW BEST:: SOT 4426022 SOS 739537 HAS SOPS 739537 HAS SOUS 680985 HAS SOUPS 680985 WITH SCORE 681724.537
AT ITER 742 NEW BEST:: SOT 4426122 SOS 739379 HAS SOPS 739379 HAS SOUS 680861 HAS SOUPS 680861 WITH SCORE 681600.379
AT ITER 771 NEW BEST:: SOT 4425772 SOS 739029 HAS SOPS 739029 HAS SOUS 680511 HAS SOUPS 680511 WITH SCORE 681250.029
AT ITER 778 NEW BEST:: SOT 4425713 SOS 738911 HAS SOPS 738911 HAS SOUS 680393 HAS SOUPS 680393 WITH SCORE 681131.911
AT ITER 786 NEW BEST:: SOT 4422872 SOS 757001 HAS SOPS 757001 HAS SOUS 678107 HAS SOUPS 678107 WITH SCORE 678864.001
AT ITER 797 NEW BEST:: SOT 4422762 SOS 756961 HAS SOPS 756961 HAS SOUS 678067 HAS SOUPS 678067 WITH SCORE 678823.961
AT ITER 827 NEW BEST:: SOT 4422700 SOS 756925 HAS SOPS 756925 HAS SOUS 678005 HAS SOUPS 678005 WITH SCORE 678761.925
AT ITER 837 NEW BEST:: SOT 4422631 SOS 756787 HAS SOPS 756787 HAS SOUS 677867 HAS SOUPS 677867 WITH SCORE 678623.787
AT ITER 896 NEW BEST:: SOT 4422518 SOS 756761 HAS SOPS 756761 HAS SOUS 677754 HAS SOUPS 677754 WITH SCORE 678510.761
AT ITER 906 NEW BEST:: SOT 4422286 SOS 756297 HAS SOPS 756297 HAS SOUS 677290 HAS SOUPS 677290 WITH SCORE 678046.297
AT ITER 939 NEW BEST:: SOT 4422213 SOS 756151 HAS SOPS 756151 HAS SOUS 677144 HAS SOUPS 677144 WITH SCORE 677900.151
AT ITER 961 NEW BEST:: SOT 4421916 SOS 755221 HAS SOPS 755221 HAS SOUS 676530 HAS SOUPS 676530 WITH SCORE 677285.221
AT ITER 965 NEW BEST:: SOT 4421915 SOS 755219 HAS SOPS 755219 HAS SOUS 676529 HAS SOUPS 676529 WITH SCORE 677284.219
AT ITER 973 NEW BEST:: SOT 4421682 SOS 755038 HAS SOPS 755038 HAS SOUS 676325 HAS SOUPS 676325 WITH SCORE 677080.038
AT ITER 981 NEW BEST:: SOT 4421682 SOS 754772 HAS SOPS 754772 HAS SOUS 676325 HAS SOUPS 676325 WITH SCORE 677079.772
AT ITER 982 NEW BEST:: SOT 4421682 SOS 754618 HAS SOPS 754618 HAS SOUS 676324 HAS SOUPS 676324 WITH SCORE 677078.618
AT ITER 983 NEW BEST:: SOT 4421681 SOS 754616 HAS SOPS 754616 HAS SOUS 676322 HAS SOUPS 676322 WITH SCORE 677076.616
AT ITER 988 NEW BEST:: SOT 4421681 SOS 754605 HAS SOPS 754605 HAS SOUS 676322 HAS SOUPS 676322 WITH SCORE 677076.605
AT ITER 993 NEW BEST:: SOT 4421776 SOS 754554 HAS SOPS 754554 HAS SOUS 676271 HAS SOUPS 676271 WITH SCORE 677025.554
AT ITER 1024 NEW BEST:: SOT 4421776 SOS 754457 HAS SOPS 754457 HAS SOUS 676270 HAS SOUPS 676270 WITH SCORE 677024.457
AT ITER 1034 NEW BEST:: SOT 4421731 SOS 754367 HAS SOPS 754367 HAS SOUS 676180 HAS SOUPS 676180 WITH SCORE 676934.367
AT ITER 1041 NEW BEST:: SOT 4421731 SOS 754342 HAS SOPS 754342 HAS SOUS 676155 HAS SOUPS 676155 WITH SCORE 676909.342
AT ITER 1066 NEW BEST:: SOT 4421731 SOS 754342 HAS SOPS 754342 HAS SOUS 676152 HAS SOUPS 676152 WITH SCORE 676906.342
AT ITER 1087 NEW BEST:: SOT 4421730 SOS 754340 HAS SOPS 754340 HAS SOUS 676150 HAS SOUPS 676150 WITH SCORE 676904.34
AT ITER 1090 NEW BEST:: SOT 4421634 SOS 754148 HAS SOPS 754148 HAS SOUS 676053 HAS SOUPS 676053 WITH SCORE 676807.148
AT ITER 1091 NEW BEST:: SOT 4421329 SOS 753820 HAS SOPS 753820 HAS SOUS 675648 HAS SOUPS 675648 WITH SCORE 676401.82
AT ITER 1107 NEW BEST:: SOT 4421285 SOS 753776 HAS SOPS 753776 HAS SOUS 675647 HAS SOUPS 675647 WITH SCORE 676400.776
AT ITER 1115 NEW BEST:: SOT 4421180 SOS 753566 HAS SOPS 753566 HAS SOUS 675437 HAS SOUPS 675437 WITH SCORE 676190.566
AT ITER 1117 NEW BEST:: SOT 4420829 SOS 753432 HAS SOPS 753432 HAS SOUS 675086 HAS SOUPS 675086 WITH SCORE 675839.432
AT ITER 1121 NEW BEST:: SOT 4420693 SOS 753296 HAS SOPS 753296 HAS SOUS 674950 HAS SOUPS 674950 WITH SCORE 675703.296
AT ITER 1129 NEW BEST:: SOT 4420693 SOS 752970 HAS SOPS 752970 HAS SOUS 674949 HAS SOUPS 674949 WITH SCORE 675701.97
AT ITER 1133 NEW BEST:: SOT 4420623 SOS 752900 HAS SOPS 752900 HAS SOUS 674879 HAS SOUPS 674879 WITH SCORE 675631.9
AT ITER 1139 NEW BEST:: SOT 4419904 SOS 752207 HAS SOPS 752207 HAS SOUS 674086 HAS SOUPS 674086 WITH SCORE 674838.207
AT ITER 1142 NEW BEST:: SOT 4419734 SOS 752037 HAS SOPS 752037 HAS SOUS 673916 HAS SOUPS 673916 WITH SCORE 674668.037
AT ITER 1151 NEW BEST:: SOT 4419533 SOS 751376 HAS SOPS 751376 HAS SOUS 673514 HAS SOUPS 673514 WITH SCORE 674265.376
AT ITER 1153 NEW BEST:: SOT 4419106 SOS 751330 HAS SOPS 751330 HAS SOUS 673283 HAS SOUPS 673283 WITH SCORE 674034.33
AT ITER 1164 NEW BEST:: SOT 4418837 SOS 751084 HAS SOPS 751084 HAS SOUS 673026 HAS SOUPS 673026 WITH SCORE 673777.084
AT ITER 1184 NEW BEST:: SOT 4418767 SOS 751358 HAS SOPS 751358 HAS SOUS 673019 HAS SOUPS 673019 WITH SCORE 673770.358
AT ITER 1198 NEW BEST:: SOT 4418767 SOS 751340 HAS SOPS 751340 HAS SOUS 673001 HAS SOUPS 673001 WITH SCORE 673752.34
AT ITER 1212 NEW BEST:: SOT 4418767 SOS 751259 HAS SOPS 751259 HAS SOUS 673001 HAS SOUPS 673001 WITH SCORE 673752.259
AT ITER 1220 NEW BEST:: SOT 4418767 SOS 751031 HAS SOPS 751031 HAS SOUS 672769 HAS SOUPS 672769 WITH SCORE 673520.031
AT ITER 1248 NEW BEST:: SOT 4418766 SOS 751066 HAS SOPS 751066 HAS SOUS 672767 HAS SOUPS 672767 WITH SCORE 673518.066
AT ITER 1274 NEW BEST:: SOT 4418923 SOS 751380 HAS SOPS 751380 HAS SOUS 672740 HAS SOUPS 672740 WITH SCORE 673491.38
AT ITER 1277 NEW BEST:: SOT 4418923 SOS 751288 HAS SOPS 751288 HAS SOUS 672740 HAS SOUPS 672740 WITH SCORE 673491.288
AT ITER 1286 NEW BEST:: SOT 4418839 SOS 751120 HAS SOPS 751120 HAS SOUS 672572 HAS SOUPS 672572 WITH SCORE 673323.12
AT ITER 1310 NEW BEST:: SOT 4418838 SOS 750959 HAS SOPS 750959 HAS SOUS 672412 HAS SOUPS 672412 WITH SCORE 673162.959
AT ITER 1320 NEW BEST:: SOT 4418837 SOS 750957 HAS SOPS 750957 HAS SOUS 672410 HAS SOUPS 672410 WITH SCORE 673160.957
AT ITER 1331 NEW BEST:: SOT 4418771 SOS 751226 HAS SOPS 751226 HAS SOUS 672342 HAS SOUPS 672342 WITH SCORE 673093.226
AT ITER 1344 NEW BEST:: SOT 4418770 SOS 751224 HAS SOPS 751224 HAS SOUS 672340 HAS SOUPS 672340 WITH SCORE 673091.224
AT ITER 1362 NEW BEST:: SOT 4418580 SOS 750844 HAS SOPS 750844 HAS SOUS 671960 HAS SOUPS 671960 WITH SCORE 672710.844
AT ITER 1375 NEW BEST:: SOT 4418130 SOS 750274 HAS SOPS 750274 HAS SOUS 671268 HAS SOUPS 671268 WITH SCORE 672018.274
AT ITER 1398 NEW BEST:: SOT 4417888 SOS 750032 HAS SOPS 750032 HAS SOUS 671267 HAS SOUPS 671267 WITH SCORE 672017.032
AT ITER 1405 NEW BEST:: SOT 4417669 SOS 750398 HAS SOPS 750398 HAS SOUS 671002 HAS SOUPS 671002 WITH SCORE 671752.398
AT ITER 1418 NEW BEST:: SOT 4417628 SOS 750316 HAS SOPS 750316 HAS SOUS 670920 HAS SOUPS 670920 WITH SCORE 671670.316
AT ITER 1423 NEW BEST:: SOT 4417534 SOS 750128 HAS SOPS 750128 HAS SOUS 670732 HAS SOUPS 670732 WITH SCORE 671482.128
AT ITER 1437 NEW BEST:: SOT 4417534 SOS 749966 HAS SOPS 749966 HAS SOUS 670732 HAS SOUPS 670732 WITH SCORE 671481.966
AT ITER 1438 NEW BEST:: SOT 4417445 SOS 749788 HAS SOPS 749788 HAS SOUS 670554 HAS SOUPS 670554 WITH SCORE 671303.788
AT ITER 1439 NEW BEST:: SOT 4417427 SOS 749752 HAS SOPS 749752 HAS SOUS 670536 HAS SOUPS 670536 WITH SCORE 671285.752
AT ITER 1499 NEW BEST:: SOT 4417304 SOS 749506 HAS SOPS 749506 HAS SOUS 670290 HAS SOUPS 670290 WITH SCORE 671039.506
AT ITER 1500 NEW BEST:: SOT 4417098 SOS 749454 HAS SOPS 749454 HAS SOUS 670084 HAS SOUPS 670084 WITH SCORE 670833.454
AT ITER 1505 NEW BEST:: SOT 4416978 SOS 749334 HAS SOPS 749334 HAS SOUS 669964 HAS SOUPS 669964 WITH SCORE 670713.334
AT ITER 1510 NEW BEST:: SOT 4416946 SOS 749270 HAS SOPS 749270 HAS SOUS 669927 HAS SOUPS 669927 WITH SCORE 670676.27
AT ITER 1519 NEW BEST:: SOT 4416946 SOS 749089 HAS SOPS 749089 HAS SOUS 669746 HAS SOUPS 669746 WITH SCORE 670495.089
AT ITER 1541 NEW BEST:: SOT 4416946 SOS 749066 HAS SOPS 749066 HAS SOUS 669746 HAS SOUPS 669746 WITH SCORE 670495.066
AT ITER 1553 NEW BEST:: SOT 4414283 SOS 786147 HAS SOPS 786147 HAS SOUS 669132 HAS SOUPS 669132 WITH SCORE 669918.147
AT ITER 1572 NEW BEST:: SOT 4414033 SOS 785647 HAS SOPS 785647 HAS SOUS 668369 HAS SOUPS 668369 WITH SCORE 669154.647
AT ITER 1575 NEW BEST:: SOT 4413577 SOS 785089 HAS SOPS 785089 HAS SOUS 667762 HAS SOUPS 667762 WITH SCORE 668547.089
AT ITER 1580 NEW BEST:: SOT 4413512 SOS 784876 HAS SOPS 784876 HAS SOUS 667654 HAS SOUPS 667654 WITH SCORE 668438.876
AT ITER 1622 NEW BEST:: SOT 4413440 SOS 784732 HAS SOPS 784732 HAS SOUS 667627 HAS SOUPS 667627 WITH SCORE 668411.732
AT ITER 1629 NEW BEST:: SOT 4413439 SOS 784730 HAS SOPS 784730 HAS SOUS 667625 HAS SOUPS 667625 WITH SCORE 668409.73
AT ITER 1636 NEW BEST:: SOT 4413220 SOS 784636 HAS SOPS 784636 HAS SOUS 667406 HAS SOUPS 667406 WITH SCORE 668190.636
AT ITER 1653 NEW BEST:: SOT 4413197 SOS 784096 HAS SOPS 784096 HAS SOUS 667023 HAS SOUPS 667023 WITH SCORE 667807.096
AT ITER 1679 NEW BEST:: SOT 4413133 SOS 783968 HAS SOPS 783968 HAS SOUS 666958 HAS SOUPS 666958 WITH SCORE 667741.968
AT ITER 1698 NEW BEST:: SOT 4412873 SOS 783708 HAS SOPS 783708 HAS SOUS 666957 HAS SOUPS 666957 WITH SCORE 667740.708
AT ITER 1699 NEW BEST:: SOT 4412704 SOS 783370 HAS SOPS 783370 HAS SOUS 666619 HAS SOUPS 666619 WITH SCORE 667402.37
AT ITER 1710 NEW BEST:: SOT 4412383 SOS 769888 HAS SOPS 769888 HAS SOUS 665977 HAS SOUPS 665977 WITH SCORE 666746.888
AT ITER 1727 NEW BEST:: SOT 4412431 SOS 769984 HAS SOPS 769984 HAS SOUS 665926 HAS SOUPS 665926 WITH SCORE 666695.984
AT ITER 1734 NEW BEST:: SOT 4412408 SOS 769938 HAS SOPS 769938 HAS SOUS 665880 HAS SOUPS 665880 WITH SCORE 666649.938
AT ITER 1771 NEW BEST:: SOT 4412207 SOS 769769 HAS SOPS 769769 HAS SOUS 665679 HAS SOUPS 665679 WITH SCORE 666448.769
AT ITER 1795 NEW BEST:: SOT 4412075 SOS 769505 HAS SOPS 769505 HAS SOUS 665415 HAS SOUPS 665415 WITH SCORE 666184.505
AT ITER 1802 NEW BEST:: SOT 4412075 SOS 769458 HAS SOPS 769458 HAS SOUS 665415 HAS SOUPS 665415 WITH SCORE 666184.458
AT ITER 1831 NEW BEST:: SOT 4412042 SOS 769090 HAS SOPS 769090 HAS SOUS 665349 HAS SOUPS 665349 WITH SCORE 666118.09
AT ITER 1859 NEW BEST:: SOT 4412042 SOS 769071 HAS SOPS 769071 HAS SOUS 665349 HAS SOUPS 665349 WITH SCORE 666118.071
AT ITER 1867 NEW BEST:: SOT 4411938 SOS 768863 HAS SOPS 768863 HAS SOUS 665337 HAS SOUPS 665337 WITH SCORE 666105.863
AT ITER 1897 NEW BEST:: SOT 4412009 SOS 768586 HAS SOPS 768586 HAS SOUS 665060 HAS SOUPS 665060 WITH SCORE 665828.586
AT ITER 1903 NEW BEST:: SOT 4405858 SOS 781653 HAS SOPS 781653 HAS SOUS 659902 HAS SOUPS 659902 WITH SCORE 660683.653
AT ITER 1933 NEW BEST:: SOT 4405994 SOS 781764 HAS SOPS 781764 HAS SOUS 659788 HAS SOUPS 659788 WITH SCORE 660569.764
AT ITER 1955 NEW BEST:: SOT 4405993 SOS 781692 HAS SOPS 781692 HAS SOUS 659786 HAS SOUPS 659786 WITH SCORE 660567.692
AT ITER 1980 NEW BEST:: SOT 4405954 SOS 781614 HAS SOPS 781614 HAS SOUS 659747 HAS SOUPS 659747 WITH SCORE 660528.614
AT ITER 1988 NEW BEST:: SOT 4405953 SOS 781613 HAS SOPS 781613 HAS SOUS 659745 HAS SOUPS 659745 WITH SCORE 660526.613
AT ITER 1989 NEW BEST:: SOT 4405953 SOS 781507 HAS SOPS 781507 HAS SOUS 659745 HAS SOUPS 659745 WITH SCORE 660526.507
AT ITER 1993 NEW BEST:: SOT 4405862 SOS 781325 HAS SOPS 781325 HAS SOUS 659654 HAS SOUPS 659654 WITH SCORE 660435.325
AT ITER 2033 NEW BEST:: SOT 4405861 SOS 781323 HAS SOPS 781323 HAS SOUS 659652 HAS SOUPS 659652 WITH SCORE 660433.323
AT ITER 2059 NEW BEST:: SOT 4405861 SOS 781225 HAS SOPS 781225 HAS SOUS 659554 HAS SOUPS 659554 WITH SCORE 660335.225
AT ITER 2070 NEW BEST:: SOT 4405732 SOS 781096 HAS SOPS 781096 HAS SOUS 659425 HAS SOUPS 659425 WITH SCORE 660206.096
AT ITER 2071 NEW BEST:: SOT 4405633 SOS 780682 HAS SOPS 780682 HAS SOUS 659206 HAS SOUPS 659206 WITH SCORE 659986.682
AT ITER 2073 NEW BEST:: SOT 4405747 SOS 780568 HAS SOPS 780568 HAS SOUS 659206 HAS SOUPS 659206 WITH SCORE 659986.568
AT ITER 2087 NEW BEST:: SOT 4405746 SOS 780566 HAS SOPS 780566 HAS SOUS 659204 HAS SOUPS 659204 WITH SCORE 659984.566
AT ITER 2121 NEW BEST:: SOT 4405451 SOS 780658 HAS SOPS 780658 HAS SOUS 658870 HAS SOUPS 658870 WITH SCORE 659650.658
AT ITER 2123 NEW BEST:: SOT 4405450 SOS 780656 HAS SOPS 780656 HAS SOUS 658868 HAS SOUPS 658868 WITH SCORE 659648.656
AT ITER 2138 NEW BEST:: SOT 4405429 SOS 780614 HAS SOPS 780614 HAS SOUS 658846 HAS SOUPS 658846 WITH SCORE 659626.614
AT ITER 2152 NEW BEST:: SOT 4404823 SOS 780407 HAS SOPS 780407 HAS SOUS 658368 HAS SOUPS 658368 WITH SCORE 659148.407
AT ITER 2178 NEW BEST:: SOT 4404567 SOS 780196 HAS SOPS 780196 HAS SOUS 658112 HAS SOUPS 658112 WITH SCORE 658892.196
AT ITER 2179 NEW BEST:: SOT 4404567 SOS 780120 HAS SOPS 780120 HAS SOUS 658112 HAS SOUPS 658112 WITH SCORE 658892.12
AT ITER 2231 NEW BEST:: SOT 4404569 SOS 780124 HAS SOPS 780124 HAS SOUS 657798 HAS SOUPS 657798 WITH SCORE 658578.124
AT ITER 2236 NEW BEST:: SOT 4404569 SOS 779824 HAS SOPS 779824 HAS SOUS 657798 HAS SOUPS 657798 WITH SCORE 658577.824
AT ITER 2278 NEW BEST:: SOT 4404561 SOS 779808 HAS SOPS 779808 HAS SOUS 657782 HAS SOUPS 657782 WITH SCORE 658561.808
AT ITER 2286 NEW BEST:: SOT 4404560 SOS 779770 HAS SOPS 779770 HAS SOUS 657780 HAS SOUPS 657780 WITH SCORE 658559.77
AT ITER 2301 NEW BEST:: SOT 4404319 SOS 779288 HAS SOPS 779288 HAS SOUS 657669 HAS SOUPS 657669 WITH SCORE 658448.288
AT ITER 2305 NEW BEST:: SOT 4404265 SOS 779180 HAS SOPS 779180 HAS SOUS 657561 HAS SOUPS 657561 WITH SCORE 658340.18
AT ITER 2309 NEW BEST:: SOT 4404198 SOS 779112 HAS SOPS 779112 HAS SOUS 657493 HAS SOUPS 657493 WITH SCORE 658272.112
AT ITER 2317 NEW BEST:: SOT 4404009 SOS 778734 HAS SOPS 778734 HAS SOUS 657304 HAS SOUPS 657304 WITH SCORE 658082.734
AT ITER 2342 NEW BEST:: SOT 4403794 SOS 778519 HAS SOPS 778519 HAS SOUS 657089 HAS SOUPS 657089 WITH SCORE 657867.519
AT ITER 2345 NEW BEST:: SOT 4403794 SOS 778519 HAS SOPS 778519 HAS SOUS 657088 HAS SOUPS 657088 WITH SCORE 657866.519
AT ITER 2358 NEW BEST:: SOT 4403693 SOS 778317 HAS SOPS 778317 HAS SOUS 656987 HAS SOUPS 656987 WITH SCORE 657765.317
AT ITER 2387 NEW BEST:: SOT 4403494 SOS 778145 HAS SOPS 778145 HAS SOUS 656815 HAS SOUPS 656815 WITH SCORE 657593.145
AT ITER 2405 NEW BEST:: SOT 4403352 SOS 778059 HAS SOPS 778059 HAS SOUS 656688 HAS SOUPS 656688 WITH SCORE 657466.059
AT ITER 2409 NEW BEST:: SOT 4403342 SOS 778039 HAS SOPS 778039 HAS SOUS 656668 HAS SOUPS 656668 WITH SCORE 657446.039
AT ITER 2429 NEW BEST:: SOT 4403140 SOS 778008 HAS SOPS 778008 HAS SOUS 656466 HAS SOUPS 656466 WITH SCORE 657244.008
AT ITER 2462 NEW BEST:: SOT 4403124 SOS 777765 HAS SOPS 777765 HAS SOUS 656355 HAS SOUPS 656355 WITH SCORE 657132.765
AT ITER 2464 NEW BEST:: SOT 4403092 SOS 777701 HAS SOPS 777701 HAS SOUS 656291 HAS SOUPS 656291 WITH SCORE 657068.701
AT ITER 2492 NEW BEST:: SOT 4402849 SOS 777519 HAS SOPS 777519 HAS SOUS 656000 HAS SOUPS 656000 WITH SCORE 656777.519
AT ITER 2525 NEW BEST:: SOT 4402848 SOS 777442 HAS SOPS 777442 HAS SOUS 655998 HAS SOUPS 655998 WITH SCORE 656775.442
AT ITER 2534 NEW BEST:: SOT 4402602 SOS 776950 HAS SOPS 776950 HAS SOUS 655802 HAS SOUPS 655802 WITH SCORE 656578.95
AT ITER 2535 NEW BEST:: SOT 4402446 SOS 777027 HAS SOPS 777027 HAS SOUS 655645 HAS SOUPS 655645 WITH SCORE 656422.027
AT ITER 2560 NEW BEST:: SOT 4402270 SOS 776675 HAS SOPS 776675 HAS SOUS 655293 HAS SOUPS 655293 WITH SCORE 656069.675
AT ITER 2595 NEW BEST:: SOT 4402142 SOS 776419 HAS SOPS 776419 HAS SOUS 655037 HAS SOUPS 655037 WITH SCORE 655813.419
AT ITER 2622 NEW BEST:: SOT 4401350 SOS 778195 HAS SOPS 778195 HAS SOUS 654779 HAS SOUPS 654779 WITH SCORE 655557.195
AT ITER 2625 NEW BEST:: SOT 4401599 SOS 778693 HAS SOPS 778693 HAS SOUS 654709 HAS SOUPS 654709 WITH SCORE 655487.693
AT ITER 2632 NEW BEST:: SOT 4401598 SOS 778692 HAS SOPS 778692 HAS SOUS 654707 HAS SOUPS 654707 WITH SCORE 655485.692
AT ITER 2637 NEW BEST:: SOT 4401598 SOS 778498 HAS SOPS 778498 HAS SOUS 654707 HAS SOUPS 654707 WITH SCORE 655485.498
AT ITER 2642 NEW BEST:: SOT 4401519 SOS 778340 HAS SOPS 778340 HAS SOUS 654587 HAS SOUPS 654587 WITH SCORE 655365.34
AT ITER 2694 NEW BEST:: SOT 4401164 SOS 777630 HAS SOPS 777630 HAS SOUS 654136 HAS SOUPS 654136 WITH SCORE 654913.63
AT ITER 2718 NEW BEST:: SOT 4401126 SOS 777554 HAS SOPS 777554 HAS SOUS 654060 HAS SOUPS 654060 WITH SCORE 654837.554
AT ITER 2743 NEW BEST:: SOT 4401117 SOS 777536 HAS SOPS 777536 HAS SOUS 654051 HAS SOUPS 654051 WITH SCORE 654828.536
AT ITER 2757 NEW BEST:: SOT 4400884 SOS 777303 HAS SOPS 777303 HAS SOUS 653818 HAS SOUPS 653818 WITH SCORE 654595.303
AT ITER 2770 NEW BEST:: SOT 4400783 SOS 777101 HAS SOPS 777101 HAS SOUS 653717 HAS SOUPS 653717 WITH SCORE 654494.101
AT ITER 2821 NEW BEST:: SOT 4400783 SOS 777101 HAS SOPS 777101 HAS SOUS 653716 HAS SOUPS 653716 WITH SCORE 654493.101
AT ITER 2880 NEW BEST:: SOT 4400783 SOS 777006 HAS SOPS 777006 HAS SOUS 653713 HAS SOUPS 653713 WITH SCORE 654490.006
AT ITER 2924 NEW BEST:: SOT 4400783 SOS 776622 HAS SOPS 776622 HAS SOUS 653521 HAS SOUPS 653521 WITH SCORE 654297.622
AT ITER 2941 NEW BEST:: SOT 4400782 SOS 776620 HAS SOPS 776620 HAS SOUS 653519 HAS SOUPS 653519 WITH SCORE 654295.62
AT ITER 2950 NEW BEST:: SOT 4396941 SOS 814079 HAS SOPS 814079 HAS SOUS 650969 HAS SOUPS 650969 WITH SCORE 651783.079
AT ITER 2966 NEW BEST:: SOT 4396570 SOS 813337 HAS SOPS 813337 HAS SOUS 650598 HAS SOUPS 650598 WITH SCORE 651411.337
AT ITER 2985 NEW BEST:: SOT 4395640 SOS 812779 HAS SOPS 812779 HAS SOUS 649914 HAS SOUPS 649914 WITH SCORE 650726.779
AT ITER 3010 NEW BEST:: SOT 4395390 SOS 813071 HAS SOPS 813071 HAS SOUS 649812 HAS SOUPS 649812 WITH SCORE 650625.071
AT ITER 3039 NEW BEST:: SOT 4395439 SOS 812911 HAS SOPS 812911 HAS SOUS 649799 HAS SOUPS 649799 WITH SCORE 650611.911
AT ITER 3044 NEW BEST:: SOT 4395341 SOS 812914 HAS SOPS 812914 HAS SOUS 649753 HAS SOUPS 649753 WITH SCORE 650565.914
AT ITER 3069 NEW BEST:: SOT 4395404 SOS 813040 HAS SOPS 813040 HAS SOUS 649652 HAS SOUPS 649652 WITH SCORE 650465.04
AT ITER 3148 NEW BEST:: SOT 4395210 SOS 813152 HAS SOPS 813152 HAS SOUS 649583 HAS SOUPS 649583 WITH SCORE 650396.152
AT ITER 3160 NEW BEST:: SOT 4395115 SOS 813057 HAS SOPS 813057 HAS SOUS 649488 HAS SOUPS 649488 WITH SCORE 650301.057
AT ITER 3205 NEW BEST:: SOT 4395059 SOS 812945 HAS SOPS 812945 HAS SOUS 649432 HAS SOUPS 649432 WITH SCORE 650244.945
AT ITER 3226 NEW BEST:: SOT 4395011 SOS 812849 HAS SOPS 812849 HAS SOUS 649336 HAS SOUPS 649336 WITH SCORE 650148.849
AT ITER 3231 NEW BEST:: SOT 4394757 SOS 813215 HAS SOPS 813215 HAS SOUS 649205 HAS SOUPS 649205 WITH SCORE 650018.215
AT ITER 3239 NEW BEST:: SOT 4394570 SOS 812604 HAS SOPS 812604 HAS SOUS 648781 HAS SOUPS 648781 WITH SCORE 649593.604
AT ITER 3244 NEW BEST:: SOT 4394453 SOS 812370 HAS SOPS 812370 HAS SOUS 648466 HAS SOUPS 648466 WITH SCORE 649278.37
AT ITER 3246 NEW BEST:: SOT 4394374 SOS 812212 HAS SOPS 812212 HAS SOUS 648308 HAS SOUPS 648308 WITH SCORE 649120.212
AT ITER 3333 NEW BEST:: SOT 4394240 SOS 812132 HAS SOPS 812132 HAS SOUS 648228 HAS SOUPS 648228 WITH SCORE 649040.132
AT ITER 3347 NEW BEST:: SOT 4394171 SOS 811994 HAS SOPS 811994 HAS SOUS 648116 HAS SOUPS 648116 WITH SCORE 648927.994
AT ITER 3378 NEW BEST:: SOT 4393933 SOS 815436 HAS SOPS 815436 HAS SOUS 647794 HAS SOUPS 647794 WITH SCORE 648609.436
AT ITER 3385 NEW BEST:: SOT 4393671 SOS 814912 HAS SOPS 814912 HAS SOUS 647270 HAS SOUPS 647270 WITH SCORE 648084.912
AT ITER 3386 NEW BEST:: SOT 4393529 SOS 814769 HAS SOPS 814769 HAS SOUS 647128 HAS SOUPS 647128 WITH SCORE 647942.769
AT ITER 3390 NEW BEST:: SOT 4393492 SOS 814695 HAS SOPS 814695 HAS SOUS 647054 HAS SOUPS 647054 WITH SCORE 647868.695
AT ITER 3405 NEW BEST:: SOT 4393438 SOS 814587 HAS SOPS 814587 HAS SOUS 646946 HAS SOUPS 646946 WITH SCORE 647760.587
AT ITER 3429 NEW BEST:: SOT 4393257 SOS 814406 HAS SOPS 814406 HAS SOUS 646765 HAS SOUPS 646765 WITH SCORE 647579.406
AT ITER 3446 NEW BEST:: SOT 4391535 SOS 815126 HAS SOPS 815126 HAS SOUS 645512 HAS SOUPS 645512 WITH SCORE 646327.126
AT ITER 3450 NEW BEST:: SOT 4391376 SOS 814967 HAS SOPS 814967 HAS SOUS 645512 HAS SOUPS 645512 WITH SCORE 646326.967
AT ITER 3457 NEW BEST:: SOT 4390580 SOS 814460 HAS SOPS 814460 HAS SOUS 644810 HAS SOUPS 644810 WITH SCORE 645624.46
AT ITER 3464 NEW BEST:: SOT 4381659 SOS 805539 HAS SOPS 805539 HAS SOUS 636018 HAS SOUPS 636018 WITH SCORE 636823.539
AT ITER 3501 NEW BEST:: SOT 4381680 SOS 805581 HAS SOPS 805581 HAS SOUS 635964 HAS SOUPS 635964 WITH SCORE 636769.581
AT ITER 3512 NEW BEST:: SOT 4381608 SOS 805437 HAS SOPS 805437 HAS SOUS 635892 HAS SOUPS 635892 WITH SCORE 636697.437
AT ITER 3528 NEW BEST:: SOT 4381660 SOS 805391 HAS SOPS 805391 HAS SOUS 635849 HAS SOUPS 635849 WITH SCORE 636654.391
AT ITER 3535 NEW BEST:: SOT 4381603 SOS 805277 HAS SOPS 805277 HAS SOUS 635792 HAS SOUPS 635792 WITH SCORE 636597.277
AT ITER 3588 NEW BEST:: SOT 4381603 SOS 805277 HAS SOPS 805277 HAS SOUS 635736 HAS SOUPS 635736 WITH SCORE 636541.277
AT ITER 3627 NEW BEST:: SOT 4381523 SOS 805117 HAS SOPS 805117 HAS SOUS 635615 HAS SOUPS 635615 WITH SCORE 636420.117
AT ITER 3628 NEW BEST:: SOT 4381522 SOS 804995 HAS SOPS 804995 HAS SOUS 635613 HAS SOUPS 635613 WITH SCORE 636417.995
AT ITER 3631 NEW BEST:: SOT 4381522 SOS 804922 HAS SOPS 804922 HAS SOUS 635540 HAS SOUPS 635540 WITH SCORE 636344.922
AT ITER 3642 NEW BEST:: SOT 4381444 SOS 805033 HAS SOPS 805033 HAS SOUS 635512 HAS SOUPS 635512 WITH SCORE 636317.033
AT ITER 3654 NEW BEST:: SOT 4381196 SOS 804330 HAS SOPS 804330 HAS SOUS 635057 HAS SOUPS 635057 WITH SCORE 635861.33
AT ITER 3660 NEW BEST:: SOT 4381110 SOS 804158 HAS SOPS 804158 HAS SOUS 634500 HAS SOUPS 634500 WITH SCORE 635304.158
AT ITER 3661 NEW BEST:: SOT 4380727 SOS 803392 HAS SOPS 803392 HAS SOUS 633791 HAS SOUPS 633791 WITH SCORE 634594.392
AT ITER 3675 NEW BEST:: SOT 4380715 SOS 803368 HAS SOPS 803368 HAS SOUS 633767 HAS SOUPS 633767 WITH SCORE 634570.368
AT ITER 3693 NEW BEST:: SOT 4380522 SOS 802982 HAS SOPS 802982 HAS SOUS 633381 HAS SOUPS 633381 WITH SCORE 634183.982
AT ITER 3709 NEW BEST:: SOT 4380620 SOS 803178 HAS SOPS 803178 HAS SOUS 633298 HAS SOUPS 633298 WITH SCORE 634101.178
AT ITER 3711 NEW BEST:: SOT 4380551 SOS 803040 HAS SOPS 803040 HAS SOUS 633051 HAS SOUPS 633051 WITH SCORE 633854.04
AT ITER 3717 NEW BEST:: SOT 4380248 SOS 802434 HAS SOPS 802434 HAS SOUS 632809 HAS SOUPS 632809 WITH SCORE 633611.434
AT ITER 3753 NEW BEST:: SOT 4380148 SOS 802493 HAS SOPS 802493 HAS SOUS 632713 HAS SOUPS 632713 WITH SCORE 633515.493
AT ITER 3766 NEW BEST:: SOT 4379790 SOS 802306 HAS SOPS 802306 HAS SOUS 632257 HAS SOUPS 632257 WITH SCORE 633059.306
AT ITER 3772 NEW BEST:: SOT 4379669 SOS 802010 HAS SOPS 802010 HAS SOUS 631932 HAS SOUPS 631932 WITH SCORE 632734.01
AT ITER 3781 NEW BEST:: SOT 4379516 SOS 801704 HAS SOPS 801704 HAS SOUS 631626 HAS SOUPS 631626 WITH SCORE 632427.704
AT ITER 3784 NEW BEST:: SOT 4379409 SOS 801490 HAS SOPS 801490 HAS SOUS 631412 HAS SOUPS 631412 WITH SCORE 632213.49
AT ITER 3809 NEW BEST:: SOT 4379259 SOS 801190 HAS SOPS 801190 HAS SOUS 631027 HAS SOUPS 631027 WITH SCORE 631828.19
AT ITER 3833 NEW BEST:: SOT 4379245 SOS 801176 HAS SOPS 801176 HAS SOUS 630999 HAS SOUPS 630999 WITH SCORE 631800.176
AT ITER 3849 NEW BEST:: SOT 4379245 SOS 801176 HAS SOPS 801176 HAS SOUS 630998 HAS SOUPS 630998 WITH SCORE 631799.176
AT ITER 3877 NEW BEST:: SOT 4379191 SOS 801068 HAS SOPS 801068 HAS SOUS 630943 HAS SOUPS 630943 WITH SCORE 631744.068
AT ITER 3895 NEW BEST:: SOT 4379191 SOS 801068 HAS SOPS 801068 HAS SOUS 630894 HAS SOUPS 630894 WITH SCORE 631695.068
AT ITER 3912 NEW BEST:: SOT 4378722 SOS 800677 HAS SOPS 800677 HAS SOUS 630503 HAS SOUPS 630503 WITH SCORE 631303.677
AT ITER 3922 NEW BEST:: SOT 4378700 SOS 800633 HAS SOPS 800633 HAS SOUS 630459 HAS SOUPS 630459 WITH SCORE 631259.633
AT ITER 3960 NEW BEST:: SOT 4378585 SOS 800403 HAS SOPS 800403 HAS SOUS 630179 HAS SOUPS 630179 WITH SCORE 630979.403
AT ITER 3973 NEW BEST:: SOT 4378585 SOS 800361 HAS SOPS 800361 HAS SOUS 630179 HAS SOUPS 630179 WITH SCORE 630979.361
AT ITER 3981 NEW BEST:: SOT 4378434 SOS 800271 HAS SOPS 800271 HAS SOUS 630089 HAS SOUPS 630089 WITH SCORE 630889.271
AT ITER 4019 NEW BEST:: SOT 4378569 SOS 800541 HAS SOPS 800541 HAS SOUS 629969 HAS SOUPS 629969 WITH SCORE 630769.541
AT ITER 4037 NEW BEST:: SOT 4378568 SOS 800501 HAS SOPS 800501 HAS SOUS 629967 HAS SOUPS 629967 WITH SCORE 630767.501
AT ITER 4082 NEW BEST:: SOT 4378552 SOS 800469 HAS SOPS 800469 HAS SOUS 629935 HAS SOUPS 629935 WITH SCORE 630735.469
AT ITER 4088 NEW BEST:: SOT 4378552 SOS 800313 HAS SOPS 800313 HAS SOUS 629935 HAS SOUPS 629935 WITH SCORE 630735.313
AT ITER 4090 NEW BEST:: SOT 4378530 SOS 800247 HAS SOPS 800247 HAS SOUS 629891 HAS SOUPS 629891 WITH SCORE 630691.247
AT ITER 4098 NEW BEST:: SOT 4378529 SOS 800076 HAS SOPS 800076 HAS SOUS 629889 HAS SOUPS 629889 WITH SCORE 630689.076
AT ITER 4099 NEW BEST:: SOT 4378375 SOS 799768 HAS SOPS 799768 HAS SOUS 629581 HAS SOUPS 629581 WITH SCORE 630380.768
AT ITER 4104 NEW BEST:: SOT 4378344 SOS 799675 HAS SOPS 799675 HAS SOUS 629549 HAS SOUPS 629549 WITH SCORE 630348.675
AT ITER 4118 NEW BEST:: SOT 4378312 SOS 799611 HAS SOPS 799611 HAS SOUS 629485 HAS SOUPS 629485 WITH SCORE 630284.611
AT ITER 4129 NEW BEST:: SOT 4378102 SOS 799432 HAS SOPS 799432 HAS SOUS 629306 HAS SOUPS 629306 WITH SCORE 630105.432
AT ITER 4130 NEW BEST:: SOT 4378012 SOS 798921 HAS SOPS 798921 HAS SOUS 629126 HAS SOUPS 629126 WITH SCORE 629924.921
AT ITER 4131 NEW BEST:: SOT 4378011 SOS 798722 HAS SOPS 798722 HAS SOUS 629124 HAS SOUPS 629124 WITH SCORE 629922.722
AT ITER 4145 NEW BEST:: SOT 4378010 SOS 798720 HAS SOPS 798720 HAS SOUS 629122 HAS SOUPS 629122 WITH SCORE 629920.72
AT ITER 4155 NEW BEST:: SOT 4377369 SOS 798070 HAS SOPS 798070 HAS SOUS 628273 HAS SOUPS 628273 WITH SCORE 629071.07
AT ITER 4160 NEW BEST:: SOT 4377136 SOS 797604 HAS SOPS 797604 HAS SOUS 627807 HAS SOUPS 627807 WITH SCORE 628604.604
AT ITER 4196 NEW BEST:: SOT 4377106 SOS 797544 HAS SOPS 797544 HAS SOUS 627747 HAS SOUPS 627747 WITH SCORE 628544.544
AT ITER 4206 NEW BEST:: SOT 4377150 SOS 797632 HAS SOPS 797632 HAS SOUS 627719 HAS SOUPS 627719 WITH SCORE 628516.632
AT ITER 4242 NEW BEST:: SOT 4376459 SOS 799049 HAS SOPS 799049 HAS SOUS 627650 HAS SOUPS 627650 WITH SCORE 628449.049
AT ITER 4243 NEW BEST:: SOT 4376339 SOS 798929 HAS SOPS 798929 HAS SOUS 627530 HAS SOUPS 627530 WITH SCORE 628328.929
AT ITER 4267 NEW BEST:: SOT 4376031 SOS 798789 HAS SOPS 798789 HAS SOUS 627343 HAS SOUPS 627343 WITH SCORE 628141.789
AT ITER 4284 NEW BEST:: SOT 4375942 SOS 798611 HAS SOPS 798611 HAS SOUS 627165 HAS SOUPS 627165 WITH SCORE 627963.611
AT ITER 4308 NEW BEST:: SOT 4375942 SOS 798611 HAS SOPS 798611 HAS SOUS 627078 HAS SOUPS 627078 WITH SCORE 627876.611
AT ITER 4309 NEW BEST:: SOT 4375942 SOS 798609 HAS SOPS 798609 HAS SOUS 627076 HAS SOUPS 627076 WITH SCORE 627874.609
AT ITER 4326 NEW BEST:: SOT 4376130 SOS 798985 HAS SOPS 798985 HAS SOUS 626961 HAS SOUPS 626961 WITH SCORE 627759.985
AT ITER 4366 NEW BEST:: SOT 4376027 SOS 798633 HAS SOPS 798633 HAS SOUS 626609 HAS SOUPS 626609 WITH SCORE 627407.633
AT ITER 4371 NEW BEST:: SOT 4375959 SOS 798497 HAS SOPS 798497 HAS SOUS 626541 HAS SOUPS 626541 WITH SCORE 627339.497
AT ITER 4372 NEW BEST:: SOT 4376050 SOS 798679 HAS SOPS 798679 HAS SOUS 626512 HAS SOUPS 626512 WITH SCORE 627310.679
AT ITER 4375 NEW BEST:: SOT 4376026 SOS 798570 HAS SOPS 798570 HAS SOUS 626488 HAS SOUPS 626488 WITH SCORE 627286.57
AT ITER 4379 NEW BEST:: SOT 4376021 SOS 798560 HAS SOPS 798560 HAS SOUS 626483 HAS SOUPS 626483 WITH SCORE 627281.56
AT ITER 4424 NEW BEST:: SOT 4376020 SOS 798558 HAS SOPS 798558 HAS SOUS 626481 HAS SOUPS 626481 WITH SCORE 627279.558
AT ITER 4435 NEW BEST:: SOT 4375838 SOS 798194 HAS SOPS 798194 HAS SOUS 626117 HAS SOUPS 626117 WITH SCORE 626915.194
AT ITER 4437 NEW BEST:: SOT 4375770 SOS 798058 HAS SOPS 798058 HAS SOUS 625981 HAS SOUPS 625981 WITH SCORE 626779.058
AT ITER 4475 NEW BEST:: SOT 4375759 SOS 797565 HAS SOPS 797565 HAS SOUS 625959 HAS SOUPS 625959 WITH SCORE 626756.565
AT ITER 4485 NEW BEST:: SOT 4375732 SOS 797511 HAS SOPS 797511 HAS SOUS 625905 HAS SOUPS 625905 WITH SCORE 626702.511
AT ITER 4490 NEW BEST:: SOT 4375722 SOS 797491 HAS SOPS 797491 HAS SOUS 625885 HAS SOUPS 625885 WITH SCORE 626682.491
AT ITER 4499 NEW BEST:: SOT 4375579 SOS 797427 HAS SOPS 797427 HAS SOUS 625784 HAS SOUPS 625784 WITH SCORE 626581.427
AT ITER 4501 NEW BEST:: SOT 4375471 SOS 797211 HAS SOPS 797211 HAS SOUS 625676 HAS SOUPS 625676 WITH SCORE 626473.211
AT ITER 4543 NEW BEST:: SOT 4375339 SOS 797079 HAS SOPS 797079 HAS SOUS 625544 HAS SOUPS 625544 WITH SCORE 626341.079
AT ITER 4565 NEW BEST:: SOT 4375338 SOS 797077 HAS SOPS 797077 HAS SOUS 625542 HAS SOUPS 625542 WITH SCORE 626339.077
AT ITER 4573 NEW BEST:: SOT 4375287 SOS 796975 HAS SOPS 796975 HAS SOUS 625542 HAS SOUPS 625542 WITH SCORE 626338.975
AT ITER 4587 NEW BEST:: SOT 4375229 SOS 796859 HAS SOPS 796859 HAS SOUS 625437 HAS SOUPS 625437 WITH SCORE 626233.859
AT ITER 4593 NEW BEST:: SOT 4374974 SOS 796349 HAS SOPS 796349 HAS SOUS 624927 HAS SOUPS 624927 WITH SCORE 625723.349
AT ITER 4597 NEW BEST:: SOT 4374760 SOS 795921 HAS SOPS 795921 HAS SOUS 624488 HAS SOUPS 624488 WITH SCORE 625283.921
AT ITER 4610 NEW BEST:: SOT 4374760 SOS 795921 HAS SOPS 795921 HAS SOUS 624458 HAS SOUPS 624458 WITH SCORE 625253.921
AT ITER 4636 NEW BEST:: SOT 4374760 SOS 795921 HAS SOPS 795921 HAS SOUS 624441 HAS SOUPS 624441 WITH SCORE 625236.921
AT ITER 4638 NEW BEST:: SOT 4374601 SOS 795603 HAS SOPS 795603 HAS SOUS 624102 HAS SOUPS 624102 WITH SCORE 624897.603
AT ITER 4649 NEW BEST:: SOT 4374520 SOS 795441 HAS SOPS 795441 HAS SOUS 623940 HAS SOUPS 623940 WITH SCORE 624735.441
AT ITER 4660 NEW BEST:: SOT 4374499 SOS 795776 HAS SOPS 795776 HAS SOUS 623898 HAS SOUPS 623898 WITH SCORE 624693.776
AT ITER 4682 NEW BEST:: SOT 4374216 SOS 795210 HAS SOPS 795210 HAS SOUS 623642 HAS SOUPS 623642 WITH SCORE 624437.21
AT ITER 4704 NEW BEST:: SOT 4374216 SOS 795101 HAS SOPS 795101 HAS SOUS 623642 HAS SOUPS 623642 WITH SCORE 624437.101
AT ITER 4774 NEW BEST:: SOT 4372916 SOS 793733 HAS SOPS 793733 HAS SOUS 622192 HAS SOUPS 622192 WITH SCORE 622985.733
AT ITER 4793 NEW BEST:: SOT 4372863 SOS 793682 HAS SOPS 793682 HAS SOUS 622138 HAS SOUPS 622138 WITH SCORE 622931.682
AT ITER 4797 NEW BEST:: SOT 4372795 SOS 793726 HAS SOPS 793726 HAS SOUS 622088 HAS SOUPS 622088 WITH SCORE 622881.726
AT ITER 4828 NEW BEST:: SOT 4372799 SOS 793734 HAS SOPS 793734 HAS SOUS 622028 HAS SOUPS 622028 WITH SCORE 622821.734
AT ITER 4872 NEW BEST:: SOT 4372687 SOS 793346 HAS SOPS 793346 HAS SOUS 621752 HAS SOUPS 621752 WITH SCORE 622545.346
AT ITER 4881 NEW BEST:: SOT 4372687 SOS 793346 HAS SOPS 793346 HAS SOUS 621749 HAS SOUPS 621749 WITH SCORE 622542.346
AT ITER 4908 NEW BEST:: SOT 4372387 SOS 793227 HAS SOPS 793227 HAS SOUS 621302 HAS SOUPS 621302 WITH SCORE 622095.227
AT ITER 4909 NEW BEST:: SOT 4372195 SOS 792843 HAS SOPS 792843 HAS SOUS 621008 HAS SOUPS 621008 WITH SCORE 621800.843
AT ITER 4940 NEW BEST:: SOT 4372142 SOS 792790 HAS SOPS 792790 HAS SOUS 620980 HAS SOUPS 620980 WITH SCORE 621772.79
AT ITER 4954 NEW BEST:: SOT 4371857 SOS 792600 HAS SOPS 792600 HAS SOUS 620790 HAS SOUPS 620790 WITH SCORE 621582.6
AT ITER 4978 NEW BEST:: SOT 4371790 SOS 792698 HAS SOPS 792698 HAS SOUS 620755 HAS SOUPS 620755 WITH SCORE 621547.698
AT ITER 5038 NEW BEST:: SOT 4371763 SOS 792506 HAS SOPS 792506 HAS SOUS 620701 HAS SOUPS 620701 WITH SCORE 621493.506
AT ITER 5055 NEW BEST:: SOT 4371381 SOS 791742 HAS SOPS 791742 HAS SOUS 619937 HAS SOUPS 619937 WITH SCORE 620728.742
AT ITER 5078 NEW BEST:: SOT 4371380 SOS 791740 HAS SOPS 791740 HAS SOUS 619937 HAS SOUPS 619937 WITH SCORE 620728.74
AT ITER 5081 NEW BEST:: SOT 4371091 SOS 791162 HAS SOPS 791162 HAS SOUS 619359 HAS SOUPS 619359 WITH SCORE 620150.162
AT ITER 5095 NEW BEST:: SOT 4370846 SOS 790596 HAS SOPS 790596 HAS SOUS 618869 HAS SOUPS 618869 WITH SCORE 619659.596
AT ITER 5099 NEW BEST:: SOT 4370641 SOS 790429 HAS SOPS 790429 HAS SOUS 618683 HAS SOUPS 618683 WITH SCORE 619473.429
AT ITER 5104 NEW BEST:: SOT 4370399 SOS 789945 HAS SOPS 789945 HAS SOUS 618199 HAS SOUPS 618199 WITH SCORE 618988.945
AT ITER 5109 NEW BEST:: SOT 4370348 SOS 789843 HAS SOPS 789843 HAS SOUS 618148 HAS SOUPS 618148 WITH SCORE 618937.843
AT ITER 5129 NEW BEST:: SOT 4370243 SOS 789765 HAS SOPS 789765 HAS SOUS 618043 HAS SOUPS 618043 WITH SCORE 618832.765
AT ITER 5146 NEW BEST:: SOT 4370232 SOS 789290 HAS SOPS 789290 HAS SOUS 617719 HAS SOUPS 617719 WITH SCORE 618508.29
AT ITER 5159 NEW BEST:: SOT 4370279 SOS 789384 HAS SOPS 789384 HAS SOUS 617717 HAS SOUPS 617717 WITH SCORE 618506.384
AT ITER 5223 NEW BEST:: SOT 4370385 SOS 789287 HAS SOPS 789287 HAS SOUS 617637 HAS SOUPS 617637 WITH SCORE 618426.287
AT ITER 5239 NEW BEST:: SOT 4370092 SOS 788283 HAS SOPS 788283 HAS SOUS 617482 HAS SOUPS 617482 WITH SCORE 618270.283
AT ITER 5242 NEW BEST:: SOT 4370067 SOS 788233 HAS SOPS 788233 HAS SOUS 617432 HAS SOUPS 617432 WITH SCORE 618220.233
AT ITER 5250 NEW BEST:: SOT 4370027 SOS 788153 HAS SOPS 788153 HAS SOUS 617392 HAS SOUPS 617392 WITH SCORE 618180.153
AT ITER 5280 NEW BEST:: SOT 4369948 SOS 788084 HAS SOPS 788084 HAS SOUS 617323 HAS SOUPS 617323 WITH SCORE 618111.084
AT ITER 5281 NEW BEST:: SOT 4369807 SOS 787721 HAS SOPS 787721 HAS SOUS 617101 HAS SOUPS 617101 WITH SCORE 617888.721
AT ITER 5314 NEW BEST:: SOT 4369733 SOS 787499 HAS SOPS 787499 HAS SOUS 616953 HAS SOUPS 616953 WITH SCORE 617740.499
AT ITER 5398 NEW BEST:: SOT 4369733 SOS 787487 HAS SOPS 787487 HAS SOUS 616941 HAS SOUPS 616941 WITH SCORE 617728.487
AT ITER 5418 NEW BEST:: SOT 4369398 SOS 786817 HAS SOPS 786817 HAS SOUS 616858 HAS SOUPS 616858 WITH SCORE 617644.817
AT ITER 5423 NEW BEST:: SOT 4369017 SOS 786055 HAS SOPS 786055 HAS SOUS 616361 HAS SOUPS 616361 WITH SCORE 617147.055
AT ITER 5466 NEW BEST:: SOT 4369017 SOS 786055 HAS SOPS 786055 HAS SOUS 616349 HAS SOUPS 616349 WITH SCORE 617135.055
AT ITER 5473 NEW BEST:: SOT 4368819 SOS 785857 HAS SOPS 785857 HAS SOUS 616250 HAS SOUPS 616250 WITH SCORE 617035.857
AT ITER 5539 NEW BEST:: SOT 4368941 SOS 785981 HAS SOPS 785981 HAS SOUS 616152 HAS SOUPS 616152 WITH SCORE 616937.981
AT ITER 5563 NEW BEST:: SOT 4368930 SOS 785959 HAS SOPS 785959 HAS SOUS 616077 HAS SOUPS 616077 WITH SCORE 616862.959
AT ITER 5577 NEW BEST:: SOT 4368768 SOS 785635 HAS SOPS 785635 HAS SOUS 615915 HAS SOUPS 615915 WITH SCORE 616700.635
AT ITER 5604 NEW BEST:: SOT 4368636 SOS 785437 HAS SOPS 785437 HAS SOUS 615783 HAS SOUPS 615783 WITH SCORE 616568.437
AT ITER 5610 NEW BEST:: SOT 4368598 SOS 785361 HAS SOPS 785361 HAS SOUS 615707 HAS SOUPS 615707 WITH SCORE 616492.361
AT ITER 5613 NEW BEST:: SOT 4368735 SOS 785403 HAS SOPS 785403 HAS SOUS 615611 HAS SOUPS 615611 WITH SCORE 616396.403
AT ITER 5660 NEW BEST:: SOT 4368735 SOS 785327 HAS SOPS 785327 HAS SOUS 615573 HAS SOUPS 615573 WITH SCORE 616358.327
AT ITER 5705 NEW BEST:: SOT 4368719 SOS 785295 HAS SOPS 785295 HAS SOUS 615541 HAS SOUPS 615541 WITH SCORE 616326.295
AT ITER 5719 NEW BEST:: SOT 4368671 SOS 785199 HAS SOPS 785199 HAS SOUS 615445 HAS SOUPS 615445 WITH SCORE 616230.199
AT ITER 5724 NEW BEST:: SOT 4368534 SOS 785062 HAS SOPS 785062 HAS SOUS 615308 HAS SOUPS 615308 WITH SCORE 616093.062
AT ITER 5734 NEW BEST:: SOT 4368534 SOS 785013 HAS SOPS 785013 HAS SOUS 615259 HAS SOUPS 615259 WITH SCORE 616044.013
AT ITER 5742 NEW BEST:: SOT 4368518 SOS 784997 HAS SOPS 784997 HAS SOUS 615243 HAS SOUPS 615243 WITH SCORE 616027.997
AT ITER 5753 NEW BEST:: SOT 4368297 SOS 784789 HAS SOPS 784789 HAS SOUS 615030 HAS SOUPS 615030 WITH SCORE 615814.789
AT ITER 5761 NEW BEST:: SOT 4368337 SOS 784749 HAS SOPS 784749 HAS SOUS 615030 HAS SOUPS 615030 WITH SCORE 615814.749
AT ITER 5779 NEW BEST:: SOT 4368243 SOS 784561 HAS SOPS 784561 HAS SOUS 614927 HAS SOUPS 614927 WITH SCORE 615711.561
AT ITER 5790 NEW BEST:: SOT 4368251 SOS 784553 HAS SOPS 784553 HAS SOUS 614927 HAS SOUPS 614927 WITH SCORE 615711.553
AT ITER 5796 NEW BEST:: SOT 4368250 SOS 784551 HAS SOPS 784551 HAS SOUS 614925 HAS SOUPS 614925 WITH SCORE 615709.551
AT ITER 5803 NEW BEST:: SOT 4368153 SOS 784357 HAS SOPS 784357 HAS SOUS 614722 HAS SOUPS 614722 WITH SCORE 615506.357
AT ITER 5810 NEW BEST:: SOT 4368089 SOS 784229 HAS SOPS 784229 HAS SOUS 614657 HAS SOUPS 614657 WITH SCORE 615441.229
AT ITER 5812 NEW BEST:: SOT 4368014 SOS 784079 HAS SOPS 784079 HAS SOUS 614507 HAS SOUPS 614507 WITH SCORE 615291.079
AT ITER 5834 NEW BEST:: SOT 4368014 SOS 783934 HAS SOPS 783934 HAS SOUS 614507 HAS SOUPS 614507 WITH SCORE 615290.934
AT ITER 5871 NEW BEST:: SOT 4368329 SOS 784564 HAS SOPS 784564 HAS SOUS 614494 HAS SOUPS 614494 WITH SCORE 615278.564
AT ITER 5920 NEW BEST:: SOT 4368170 SOS 784049 HAS SOPS 784049 HAS SOUS 614176 HAS SOUPS 614176 WITH SCORE 614960.049
AT ITER 5955 NEW BEST:: SOT 4368169 SOS 784110 HAS SOPS 784110 HAS SOUS 614174 HAS SOUPS 614174 WITH SCORE 614958.11
AT ITER 5972 NEW BEST:: SOT 4368402 SOS 784042 HAS SOPS 784042 HAS SOUS 614140 HAS SOUPS 614140 WITH SCORE 614924.042
AT ITER 5976 NEW BEST:: SOT 4368402 SOS 784042 HAS SOPS 784042 HAS SOUS 614020 HAS SOUPS 614020 WITH SCORE 614804.042
AT ITER 6024 NEW BEST:: SOT 4368200 SOS 783938 HAS SOPS 783938 HAS SOUS 613888 HAS SOUPS 613888 WITH SCORE 614671.938
AT ITER 6035 NEW BEST:: SOT 4368126 SOS 783790 HAS SOPS 783790 HAS SOUS 613740 HAS SOUPS 613740 WITH SCORE 614523.79
AT ITER 6037 NEW BEST:: SOT 4368087 SOS 783712 HAS SOPS 783712 HAS SOUS 613701 HAS SOUPS 613701 WITH SCORE 614484.712
AT ITER 6078 NEW BEST:: SOT 4367637 SOS 783244 HAS SOPS 783244 HAS SOUS 613232 HAS SOUPS 613232 WITH SCORE 614015.244
AT ITER 6081 NEW BEST:: SOT 4367552 SOS 783074 HAS SOPS 783074 HAS SOUS 613147 HAS SOUPS 613147 WITH SCORE 613930.074
AT ITER 6095 NEW BEST:: SOT 4367537 SOS 783044 HAS SOPS 783044 HAS SOUS 613117 HAS SOUPS 613117 WITH SCORE 613900.044
AT ITER 6114 NEW BEST:: SOT 4367528 SOS 783026 HAS SOPS 783026 HAS SOUS 613099 HAS SOUPS 613099 WITH SCORE 613882.026
AT ITER 6147 NEW BEST:: SOT 4367527 SOS 783024 HAS SOPS 783024 HAS SOUS 613097 HAS SOUPS 613097 WITH SCORE 613880.024
AT ITER 6149 NEW BEST:: SOT 4367500 SOS 782997 HAS SOPS 782997 HAS SOUS 613070 HAS SOUPS 613070 WITH SCORE 613852.997
AT ITER 6161 NEW BEST:: SOT 4367363 SOS 782723 HAS SOPS 782723 HAS SOUS 612809 HAS SOUPS 612809 WITH SCORE 613591.723
AT ITER 6174 NEW BEST:: SOT 4367331 SOS 782659 HAS SOPS 782659 HAS SOUS 612720 HAS SOUPS 612720 WITH SCORE 613502.659
AT ITER 6206 NEW BEST:: SOT 4367291 SOS 782579 HAS SOPS 782579 HAS SOUS 612680 HAS SOUPS 612680 WITH SCORE 613462.579
AT ITER 6234 NEW BEST:: SOT 4367373 SOS 782743 HAS SOPS 782743 HAS SOUS 612281 HAS SOUPS 612281 WITH SCORE 613063.743
AT ITER 6241 NEW BEST:: SOT 4367328 SOS 782265 HAS SOPS 782265 HAS SOUS 612191 HAS SOUPS 612191 WITH SCORE 612973.265
AT ITER 6254 NEW BEST:: SOT 4367222 SOS 782053 HAS SOPS 782053 HAS SOUS 611979 HAS SOUPS 611979 WITH SCORE 612761.053
AT ITER 6261 NEW BEST:: SOT 4367128 SOS 781865 HAS SOPS 781865 HAS SOUS 611791 HAS SOUPS 611791 WITH SCORE 612572.865
AT ITER 6277 NEW BEST:: SOT 4367128 SOS 781797 HAS SOPS 781797 HAS SOUS 611791 HAS SOUPS 611791 WITH SCORE 612572.797
AT ITER 6285 NEW BEST:: SOT 4367083 SOS 781752 HAS SOPS 781752 HAS SOUS 611746 HAS SOUPS 611746 WITH SCORE 612527.752
AT ITER 6305 NEW BEST:: SOT 4367061 SOS 781708 HAS SOPS 781708 HAS SOUS 611719 HAS SOUPS 611719 WITH SCORE 612500.708
AT ITER 6317 NEW BEST:: SOT 4366851 SOS 781498 HAS SOPS 781498 HAS SOUS 611509 HAS SOUPS 611509 WITH SCORE 612290.498
AT ITER 6342 NEW BEST:: SOT 4366725 SOS 781309 HAS SOPS 781309 HAS SOUS 611320 HAS SOUPS 611320 WITH SCORE 612101.309
AT ITER 6359 NEW BEST:: SOT 4366682 SOS 781223 HAS SOPS 781223 HAS SOUS 611271 HAS SOUPS 611271 WITH SCORE 612052.223
AT ITER 6361 NEW BEST:: SOT 4366627 SOS 781223 HAS SOPS 781223 HAS SOUS 611216 HAS SOUPS 611216 WITH SCORE 611997.223
AT ITER 6373 NEW BEST:: SOT 4366368 SOS 769827 HAS SOPS 769827 HAS SOUS 610698 HAS SOUPS 610698 WITH SCORE 611467.827
AT ITER 6384 NEW BEST:: SOT 4366344 SOS 769765 HAS SOPS 769765 HAS SOUS 610650 HAS SOUPS 610650 WITH SCORE 611419.765
AT ITER 6410 NEW BEST:: SOT 4366154 SOS 769679 HAS SOPS 769679 HAS SOUS 610564 HAS SOUPS 610564 WITH SCORE 611333.679
AT ITER 6418 NEW BEST:: SOT 4365986 SOS 768090 HAS SOPS 768090 HAS SOUS 610217 HAS SOUPS 610217 WITH SCORE 610985.09
AT ITER 6420 NEW BEST:: SOT 4365947 SOS 768012 HAS SOPS 768012 HAS SOUS 610074 HAS SOUPS 610074 WITH SCORE 610842.012
AT ITER 6424 NEW BEST:: SOT 4365911 SOS 768012 HAS SOPS 768012 HAS SOUS 610056 HAS SOUPS 610056 WITH SCORE 610824.012
AT ITER 6501 NEW BEST:: SOT 4365703 SOS 768004 HAS SOPS 768004 HAS SOUS 609888 HAS SOUPS 609888 WITH SCORE 610656.004
AT ITER 6580 NEW BEST:: SOT 4365703 SOS 767878 HAS SOPS 767878 HAS SOUS 609762 HAS SOUPS 609762 WITH SCORE 610529.878
AT ITER 6586 NEW BEST:: SOT 4365701 SOS 767887 HAS SOPS 767887 HAS SOUS 609758 HAS SOUPS 609758 WITH SCORE 610525.887
AT ITER 6622 NEW BEST:: SOT 4365479 SOS 767443 HAS SOPS 767443 HAS SOUS 609314 HAS SOUPS 609314 WITH SCORE 610081.443
AT ITER 6645 NEW BEST:: SOT 4365406 SOS 767297 HAS SOPS 767297 HAS SOUS 609303 HAS SOUPS 609303 WITH SCORE 610070.297
AT ITER 6694 NEW BEST:: SOT 4365074 SOS 766633 HAS SOPS 766633 HAS SOUS 609140 HAS SOUPS 609140 WITH SCORE 609906.633
AT ITER 6698 NEW BEST:: SOT 4365021 SOS 766527 HAS SOPS 766527 HAS SOUS 609034 HAS SOUPS 609034 WITH SCORE 609800.527
AT ITER 6708 NEW BEST:: SOT 4365021 SOS 765949 HAS SOPS 765949 HAS SOUS 608745 HAS SOUPS 608745 WITH SCORE 609510.949
AT ITER 6709 NEW BEST:: SOT 4365021 SOS 765949 HAS SOPS 765949 HAS SOUS 608744 HAS SOUPS 608744 WITH SCORE 609509.949
AT ITER 6722 NEW BEST:: SOT 4364852 SOS 765442 HAS SOPS 765442 HAS SOUS 608406 HAS SOUPS 608406 WITH SCORE 609171.442
AT ITER 6727 NEW BEST:: SOT 4364852 SOS 765442 HAS SOPS 765442 HAS SOUS 608325 HAS SOUPS 608325 WITH SCORE 609090.442
AT ITER 6735 NEW BEST:: SOT 4364599 SOS 765189 HAS SOPS 765189 HAS SOUS 608325 HAS SOUPS 608325 WITH SCORE 609090.189
AT ITER 6742 NEW BEST:: SOT 4364038 SOS 765090 HAS SOPS 765090 HAS SOUS 608132 HAS SOUPS 608132 WITH SCORE 608897.09
AT ITER 6750 NEW BEST:: SOT 4363531 SOS 764468 HAS SOPS 764468 HAS SOUS 607510 HAS SOUPS 607510 WITH SCORE 608274.468
AT ITER 6753 NEW BEST:: SOT 4363255 SOS 764192 HAS SOPS 764192 HAS SOUS 607142 HAS SOUPS 607142 WITH SCORE 607906.192
AT ITER 6763 NEW BEST:: SOT 4363237 SOS 764156 HAS SOPS 764156 HAS SOUS 607106 HAS SOUPS 607106 WITH SCORE 607870.156
AT ITER 6766 NEW BEST:: SOT 4363210 SOS 764102 HAS SOPS 764102 HAS SOUS 607052 HAS SOUPS 607052 WITH SCORE 607816.102
AT ITER 6777 NEW BEST:: SOT 4363377 SOS 763863 HAS SOPS 763863 HAS SOUS 606944 HAS SOUPS 606944 WITH SCORE 607707.863
AT ITER 6809 NEW BEST:: SOT 4363299 SOS 763707 HAS SOPS 763707 HAS SOUS 606887 HAS SOUPS 606887 WITH SCORE 607650.707
AT ITER 6852 NEW BEST:: SOT 4363467 SOS 763414 HAS SOPS 763414 HAS SOUS 606629 HAS SOUPS 606629 WITH SCORE 607392.414
AT ITER 6917 NEW BEST:: SOT 4363174 SOS 763136 HAS SOPS 763136 HAS SOUS 606035 HAS SOUPS 606035 WITH SCORE 606798.136
AT ITER 6924 NEW BEST:: SOT 4363141 SOS 763070 HAS SOPS 763070 HAS SOUS 605969 HAS SOUPS 605969 WITH SCORE 606732.07
AT ITER 6945 NEW BEST:: SOT 4363131 SOS 763050 HAS SOPS 763050 HAS SOUS 605954 HAS SOUPS 605954 WITH SCORE 606717.05
AT ITER 6946 NEW BEST:: SOT 4363226 SOS 763240 HAS SOPS 763240 HAS SOUS 605944 HAS SOUPS 605944 WITH SCORE 606707.24
AT ITER 6958 NEW BEST:: SOT 4363178 SOS 763192 HAS SOPS 763192 HAS SOUS 605848 HAS SOUPS 605848 WITH SCORE 606611.192
AT ITER 6959 NEW BEST:: SOT 4363174 SOS 763056 HAS SOPS 763056 HAS SOUS 605844 HAS SOUPS 605844 WITH SCORE 606607.056
AT ITER 6970 NEW BEST:: SOT 4363136 SOS 762980 HAS SOPS 762980 HAS SOUS 605806 HAS SOUPS 605806 WITH SCORE 606568.98
AT ITER 6974 NEW BEST:: SOT 4363136 SOS 762881 HAS SOPS 762881 HAS SOUS 605806 HAS SOUPS 605806 WITH SCORE 606568.881
AT ITER 6975 NEW BEST:: SOT 4363090 SOS 762789 HAS SOPS 762789 HAS SOUS 605683 HAS SOUPS 605683 WITH SCORE 606445.789
AT ITER 7003 NEW BEST:: SOT 4363358 SOS 762577 HAS SOPS 762577 HAS SOUS 605577 HAS SOUPS 605577 WITH SCORE 606339.577
AT ITER 7037 NEW BEST:: SOT 4363305 SOS 762471 HAS SOPS 762471 HAS SOUS 605470 HAS SOUPS 605470 WITH SCORE 606232.471
AT ITER 7053 NEW BEST:: SOT 4363203 SOS 762471 HAS SOPS 762471 HAS SOUS 605419 HAS SOUPS 605419 WITH SCORE 606181.471
AT ITER 7070 NEW BEST:: SOT 4363182 SOS 762450 HAS SOPS 762450 HAS SOUS 605419 HAS SOUPS 605419 WITH SCORE 606181.45
AT ITER 7128 NEW BEST:: SOT 4363001 SOS 762346 HAS SOPS 762346 HAS SOUS 604981 HAS SOUPS 604981 WITH SCORE 605743.346
AT ITER 7160 NEW BEST:: SOT 4362708 SOS 761519 HAS SOPS 761519 HAS SOUS 604447 HAS SOUPS 604447 WITH SCORE 605208.519
AT ITER 7162 NEW BEST:: SOT 4362166 SOS 761017 HAS SOPS 761017 HAS SOUS 603866 HAS SOUPS 603866 WITH SCORE 604627.017
AT ITER 7168 NEW BEST:: SOT 4361948 SOS 760690 HAS SOPS 760690 HAS SOUS 603648 HAS SOUPS 603648 WITH SCORE 604408.69
AT ITER 7196 NEW BEST:: SOT 4361946 SOS 760686 HAS SOPS 760686 HAS SOUS 603644 HAS SOUPS 603644 WITH SCORE 604404.686
AT ITER 7199 NEW BEST:: SOT 4361934 SOS 760662 HAS SOPS 760662 HAS SOUS 603610 HAS SOUPS 603610 WITH SCORE 604370.662
AT ITER 7232 NEW BEST:: SOT 4361881 SOS 760609 HAS SOPS 760609 HAS SOUS 603504 HAS SOUPS 603504 WITH SCORE 604264.609
AT ITER 7254 NEW BEST:: SOT 4361881 SOS 760304 HAS SOPS 760304 HAS SOUS 603199 HAS SOUPS 603199 WITH SCORE 603959.304
AT ITER 7260 NEW BEST:: SOT 4361647 SOS 760424 HAS SOPS 760424 HAS SOUS 603112 HAS SOUPS 603112 WITH SCORE 603872.424
AT ITER 7290 NEW BEST:: SOT 4361540 SOS 760003 HAS SOPS 760003 HAS SOUS 602953 HAS SOUPS 602953 WITH SCORE 603713.003
AT ITER 7300 NEW BEST:: SOT 4361817 SOS 760557 HAS SOPS 760557 HAS SOUS 602913 HAS SOUPS 602913 WITH SCORE 603673.557
AT ITER 7318 NEW BEST:: SOT 4361817 SOS 760525 HAS SOPS 760525 HAS SOUS 602913 HAS SOUPS 602913 WITH SCORE 603673.525
AT ITER 7350 NEW BEST:: SOT 4361605 SOS 760101 HAS SOPS 760101 HAS SOUS 602701 HAS SOUPS 602701 WITH SCORE 603461.101
AT ITER 7367 NEW BEST:: SOT 4361755 SOS 760100 HAS SOPS 760100 HAS SOUS 602699 HAS SOUPS 602699 WITH SCORE 603459.1
AT ITER 7374 NEW BEST:: SOT 4361672 SOS 759827 HAS SOPS 759827 HAS SOUS 602616 HAS SOUPS 602616 WITH SCORE 603375.827
AT ITER 7388 NEW BEST:: SOT 4361692 SOS 759847 HAS SOPS 759847 HAS SOUS 602566 HAS SOUPS 602566 WITH SCORE 603325.847
AT ITER 7391 NEW BEST:: SOT 4361819 SOS 759747 HAS SOPS 759747 HAS SOUS 602498 HAS SOUPS 602498 WITH SCORE 603257.747
AT ITER 7428 NEW BEST:: SOT 4361447 SOS 759003 HAS SOPS 759003 HAS SOUS 602126 HAS SOUPS 602126 WITH SCORE 602885.003
AT ITER 7438 NEW BEST:: SOT 4361265 SOS 758866 HAS SOPS 758866 HAS SOUS 601762 HAS SOUPS 601762 WITH SCORE 602520.866
AT ITER 7443 NEW BEST:: SOT 4359005 SOS 759260 HAS SOPS 759260 HAS SOUS 599727 HAS SOUPS 599727 WITH SCORE 600486.26
AT ITER 7451 NEW BEST:: SOT 4358964 SOS 759219 HAS SOPS 759219 HAS SOUS 599686 HAS SOUPS 599686 WITH SCORE 600445.219
AT ITER 7497 NEW BEST:: SOT 4358833 SOS 759104 HAS SOPS 759104 HAS SOUS 599483 HAS SOUPS 599483 WITH SCORE 600242.104
AT ITER 7500 NEW BEST:: SOT 4358765 SOS 758968 HAS SOPS 758968 HAS SOUS 599347 HAS SOUPS 599347 WITH SCORE 600105.968
AT ITER 7521 NEW BEST:: SOT 4358604 SOS 758646 HAS SOPS 758646 HAS SOUS 599025 HAS SOUPS 599025 WITH SCORE 599783.646
AT ITER 7524 NEW BEST:: SOT 4358602 SOS 758426 HAS SOPS 758426 HAS SOUS 598915 HAS SOUPS 598915 WITH SCORE 599673.426
AT ITER 7533 NEW BEST:: SOT 4358291 SOS 757804 HAS SOPS 757804 HAS SOUS 598914 HAS SOUPS 598914 WITH SCORE 599671.804
AT ITER 7584 NEW BEST:: SOT 4358242 SOS 757657 HAS SOPS 757657 HAS SOUS 598865 HAS SOUPS 598865 WITH SCORE 599622.657
AT ITER 7600 NEW BEST:: SOT 4358241 SOS 757655 HAS SOPS 757655 HAS SOUS 598864 HAS SOUPS 598864 WITH SCORE 599621.655
AT ITER 7605 NEW BEST:: SOT 4358125 SOS 757423 HAS SOPS 757423 HAS SOUS 598632 HAS SOUPS 598632 WITH SCORE 599389.423
AT ITER 7620 NEW BEST:: SOT 4358124 SOS 757250 HAS SOPS 757250 HAS SOUS 598630 HAS SOUPS 598630 WITH SCORE 599387.25
AT ITER 7660 NEW BEST:: SOT 4358124 SOS 757250 HAS SOPS 757250 HAS SOUS 598551 HAS SOUPS 598551 WITH SCORE 599308.25
AT ITER 7684 NEW BEST:: SOT 4358070 SOS 757142 HAS SOPS 757142 HAS SOUS 598497 HAS SOUPS 598497 WITH SCORE 599254.142
AT ITER 7692 NEW BEST:: SOT 4357948 SOS 756898 HAS SOPS 756898 HAS SOUS 598209 HAS SOUPS 598209 WITH SCORE 598965.898
AT ITER 7703 NEW BEST:: SOT 4357973 SOS 756948 HAS SOPS 756948 HAS SOUS 598145 HAS SOUPS 598145 WITH SCORE 598901.948
AT ITER 7711 NEW BEST:: SOT 4357648 SOS 756678 HAS SOPS 756678 HAS SOUS 597840 HAS SOUPS 597840 WITH SCORE 598596.678
AT ITER 7728 NEW BEST:: SOT 4357645 SOS 756672 HAS SOPS 756672 HAS SOUS 597796 HAS SOUPS 597796 WITH SCORE 598552.672
AT ITER 7731 NEW BEST:: SOT 4357496 SOS 757148 HAS SOPS 757148 HAS SOUS 597672 HAS SOUPS 597672 WITH SCORE 598429.148
AT ITER 7740 NEW BEST:: SOT 4357217 SOS 756590 HAS SOPS 756590 HAS SOUS 597114 HAS SOUPS 597114 WITH SCORE 597870.59
AT ITER 7750 NEW BEST:: SOT 4357118 SOS 756392 HAS SOPS 756392 HAS SOUS 597015 HAS SOUPS 597015 WITH SCORE 597771.392
AT ITER 7758 NEW BEST:: SOT 4357118 SOS 756355 HAS SOPS 756355 HAS SOUS 596978 HAS SOUPS 596978 WITH SCORE 597734.355
AT ITER 7798 NEW BEST:: SOT 4357104 SOS 756327 HAS SOPS 756327 HAS SOUS 596964 HAS SOUPS 596964 WITH SCORE 597720.327
AT ITER 7821 NEW BEST:: SOT 4356910 SOS 755939 HAS SOPS 755939 HAS SOUS 596932 HAS SOUPS 596932 WITH SCORE 597687.939
AT ITER 7846 NEW BEST:: SOT 4356880 SOS 755879 HAS SOPS 755879 HAS SOUS 596902 HAS SOUPS 596902 WITH SCORE 597657.879
AT ITER 7848 NEW BEST:: SOT 4356862 SOS 755825 HAS SOPS 755825 HAS SOUS 596866 HAS SOUPS 596866 WITH SCORE 597621.825
AT ITER 7854 NEW BEST:: SOT 4356834 SOS 755803 HAS SOPS 755803 HAS SOUS 596844 HAS SOUPS 596844 WITH SCORE 597599.803
AT ITER 7863 NEW BEST:: SOT 4356834 SOS 755803 HAS SOPS 755803 HAS SOUS 596811 HAS SOUPS 596811 WITH SCORE 597566.803
AT ITER 7880 NEW BEST:: SOT 4356517 SOS 755390 HAS SOPS 755390 HAS SOUS 596398 HAS SOUPS 596398 WITH SCORE 597153.39
AT ITER 7930 NEW BEST:: SOT 4356151 SOS 754658 HAS SOPS 754658 HAS SOUS 596138 HAS SOUPS 596138 WITH SCORE 596892.658
AT ITER 7939 NEW BEST:: SOT 4356136 SOS 754983 HAS SOPS 754983 HAS SOUS 596123 HAS SOUPS 596123 WITH SCORE 596877.983
AT ITER 7956 NEW BEST:: SOT 4355765 SOS 754241 HAS SOPS 754241 HAS SOUS 595752 HAS SOUPS 595752 WITH SCORE 596506.241
AT ITER 7985 NEW BEST:: SOT 4355742 SOS 754195 HAS SOPS 754195 HAS SOUS 595706 HAS SOUPS 595706 WITH SCORE 596460.195
AT ITER 8003 NEW BEST:: SOT 4355723 SOS 754157 HAS SOPS 754157 HAS SOUS 595686 HAS SOUPS 595686 WITH SCORE 596440.157
AT ITER 8005 NEW BEST:: SOT 4355673 SOS 754157 HAS SOPS 754157 HAS SOUS 595636 HAS SOUPS 595636 WITH SCORE 596390.157
AT ITER 8038 NEW BEST:: SOT 4355673 SOS 754153 HAS SOPS 754153 HAS SOUS 595632 HAS SOUPS 595632 WITH SCORE 596386.153
AT ITER 8059 NEW BEST:: SOT 4355646 SOS 754126 HAS SOPS 754126 HAS SOUS 595605 HAS SOUPS 595605 WITH SCORE 596359.126
AT ITER 8094 NEW BEST:: SOT 4355646 SOS 754126 HAS SOPS 754126 HAS SOUS 595598 HAS SOUPS 595598 WITH SCORE 596352.126
AT ITER 8107 NEW BEST:: SOT 4355646 SOS 754126 HAS SOPS 754126 HAS SOUS 595594 HAS SOUPS 595594 WITH SCORE 596348.126
AT ITER 8142 NEW BEST:: SOT 4355534 SOS 753902 HAS SOPS 753902 HAS SOUS 595370 HAS SOUPS 595370 WITH SCORE 596123.902
AT ITER 8150 NEW BEST:: SOT 4355534 SOS 753902 HAS SOPS 753902 HAS SOUS 595356 HAS SOUPS 595356 WITH SCORE 596109.902
AT ITER 8154 NEW BEST:: SOT 4355532 SOS 753898 HAS SOPS 753898 HAS SOUS 595352 HAS SOUPS 595352 WITH SCORE 596105.898
AT ITER 8179 NEW BEST:: SOT 4355369 SOS 753927 HAS SOPS 753927 HAS SOUS 595256 HAS SOUPS 595256 WITH SCORE 596009.927
AT ITER 8195 NEW BEST:: SOT 4355373 SOS 753801 HAS SOPS 753801 HAS SOUS 595193 HAS SOUPS 595193 WITH SCORE 595946.801
AT ITER 8202 NEW BEST:: SOT 4355373 SOS 753801 HAS SOPS 753801 HAS SOUS 595192 HAS SOUPS 595192 WITH SCORE 595945.801
AT ITER 8206 NEW BEST:: SOT 4355318 SOS 753691 HAS SOPS 753691 HAS SOUS 595137 HAS SOUPS 595137 WITH SCORE 595890.691
AT ITER 8229 NEW BEST:: SOT 4354641 SOS 752337 HAS SOPS 752337 HAS SOUS 594639 HAS SOUPS 594639 WITH SCORE 595391.337
AT ITER 8231 NEW BEST:: SOT 4354641 SOS 752105 HAS SOPS 752105 HAS SOUS 594639 HAS SOUPS 594639 WITH SCORE 595391.105
AT ITER 8302 NEW BEST:: SOT 4354638 SOS 752222 HAS SOPS 752222 HAS SOUS 594635 HAS SOUPS 594635 WITH SCORE 595387.222
AT ITER 8336 NEW BEST:: SOT 4354638 SOS 752059 HAS SOPS 752059 HAS SOUS 594472 HAS SOUPS 594472 WITH SCORE 595224.059
AT ITER 8360 NEW BEST:: SOT 4354328 SOS 751726 HAS SOPS 751726 HAS SOUS 594021 HAS SOUPS 594021 WITH SCORE 594772.726
AT ITER 8383 NEW BEST:: SOT 4354314 SOS 751569 HAS SOPS 751569 HAS SOUS 593850 HAS SOUPS 593850 WITH SCORE 594601.569
AT ITER 8401 NEW BEST:: SOT 4354343 SOS 751627 HAS SOPS 751627 HAS SOUS 593830 HAS SOUPS 593830 WITH SCORE 594581.627
AT ITER 8455 NEW BEST:: SOT 4353872 SOS 751156 HAS SOPS 751156 HAS SOUS 593202 HAS SOUPS 593202 WITH SCORE 593953.156
AT ITER 8517 NEW BEST:: SOT 4353872 SOS 751057 HAS SOPS 751057 HAS SOUS 593202 HAS SOUPS 593202 WITH SCORE 593953.057
AT ITER 8525 NEW BEST:: SOT 4353761 SOS 750835 HAS SOPS 750835 HAS SOUS 593091 HAS SOUPS 593091 WITH SCORE 593841.835
AT ITER 8529 NEW BEST:: SOT 4353533 SOS 750379 HAS SOPS 750379 HAS SOUS 592862 HAS SOUPS 592862 WITH SCORE 593612.379
AT ITER 8552 NEW BEST:: SOT 4353533 SOS 750379 HAS SOPS 750379 HAS SOUS 592860 HAS SOUPS 592860 WITH SCORE 593610.379
AT ITER 8576 NEW BEST:: SOT 4353196 SOS 749705 HAS SOPS 749705 HAS SOUS 592276 HAS SOUPS 592276 WITH SCORE 593025.705
AT ITER 8592 NEW BEST:: SOT 4353196 SOS 749705 HAS SOPS 749705 HAS SOUS 592202 HAS SOUPS 592202 WITH SCORE 592951.705
AT ITER 8596 NEW BEST:: SOT 4353195 SOS 749704 HAS SOPS 749704 HAS SOUS 592200 HAS SOUPS 592200 WITH SCORE 592949.704
AT ITER 8600 NEW BEST:: SOT 4352747 SOS 750636 HAS SOPS 750636 HAS SOUS 592042 HAS SOUPS 592042 WITH SCORE 592792.636
AT ITER 8657 NEW BEST:: SOT 4352911 SOS 750274 HAS SOPS 750274 HAS SOUS 592025 HAS SOUPS 592025 WITH SCORE 592775.274
AT ITER 8660 NEW BEST:: SOT 4352911 SOS 750218 HAS SOPS 750218 HAS SOUS 592025 HAS SOUPS 592025 WITH SCORE 592775.218
AT ITER 8698 NEW BEST:: SOT 4352911 SOS 749961 HAS SOPS 749961 HAS SOUS 592025 HAS SOUPS 592025 WITH SCORE 592774.961
AT ITER 8710 NEW BEST:: SOT 4352911 SOS 749951 HAS SOPS 749951 HAS SOUS 592015 HAS SOUPS 592015 WITH SCORE 592764.951
AT ITER 8721 NEW BEST:: SOT 4352832 SOS 749793 HAS SOPS 749793 HAS SOUS 591936 HAS SOUPS 591936 WITH SCORE 592685.793
AT ITER 8779 NEW BEST:: SOT 4352832 SOS 749627 HAS SOPS 749627 HAS SOUS 591936 HAS SOUPS 591936 WITH SCORE 592685.627
AT ITER 8787 NEW BEST:: SOT 4352746 SOS 749455 HAS SOPS 749455 HAS SOUS 591561 HAS SOUPS 591561 WITH SCORE 592310.455
AT ITER 8806 NEW BEST:: SOT 4352746 SOS 749455 HAS SOPS 749455 HAS SOUS 591560 HAS SOUPS 591560 WITH SCORE 592309.455
AT ITER 8817 NEW BEST:: SOT 4352746 SOS 749275 HAS SOPS 749275 HAS SOUS 591560 HAS SOUPS 591560 WITH SCORE 592309.275
AT ITER 8845 NEW BEST:: SOT 4352734 SOS 749251 HAS SOPS 749251 HAS SOUS 591541 HAS SOUPS 591541 WITH SCORE 592290.251
AT ITER 8858 NEW BEST:: SOT 4352645 SOS 749193 HAS SOPS 749193 HAS SOUS 591402 HAS SOUPS 591402 WITH SCORE 592151.193
AT ITER 8900 NEW BEST:: SOT 4352645 SOS 749159 HAS SOPS 749159 HAS SOUS 591402 HAS SOUPS 591402 WITH SCORE 592151.159
AT ITER 8912 NEW BEST:: SOT 4352645 SOS 749037 HAS SOPS 749037 HAS SOUS 591402 HAS SOUPS 591402 WITH SCORE 592151.037
AT ITER 8941 NEW BEST:: SOT 4352644 SOS 749035 HAS SOPS 749035 HAS SOUS 591400 HAS SOUPS 591400 WITH SCORE 592149.035
AT ITER 8969 NEW BEST:: SOT 4352532 SOS 748672 HAS SOPS 748672 HAS SOUS 591176 HAS SOUPS 591176 WITH SCORE 591924.672
AT ITER 8988 NEW BEST:: SOT 4352488 SOS 748407 HAS SOPS 748407 HAS SOUS 591132 HAS SOUPS 591132 WITH SCORE 591880.407
AT ITER 9002 NEW BEST:: SOT 4352406 SOS 748604 HAS SOPS 748604 HAS SOUS 591050 HAS SOUPS 591050 WITH SCORE 591798.604
AT ITER 9022 NEW BEST:: SOT 4352406 SOS 748524 HAS SOPS 748524 HAS SOUS 591010 HAS SOUPS 591010 WITH SCORE 591758.524
AT ITER 9058 NEW BEST:: SOT 4352414 SOS 748540 HAS SOPS 748540 HAS SOUS 591000 HAS SOUPS 591000 WITH SCORE 591748.54
AT ITER 9104 NEW BEST:: SOT 4352413 SOS 748514 HAS SOPS 748514 HAS SOUS 590998 HAS SOUPS 590998 WITH SCORE 591746.514
AT ITER 9137 NEW BEST:: SOT 4352412 SOS 748512 HAS SOPS 748512 HAS SOUS 590962 HAS SOUPS 590962 WITH SCORE 591710.512
AT ITER 9148 NEW BEST:: SOT 4352394 SOS 748476 HAS SOPS 748476 HAS SOUS 590926 HAS SOUPS 590926 WITH SCORE 591674.476
AT ITER 9152 NEW BEST:: SOT 4352438 SOS 748564 HAS SOPS 748564 HAS SOUS 590880 HAS SOUPS 590880 WITH SCORE 591628.564
AT ITER 9162 NEW BEST:: SOT 4352438 SOS 748405 HAS SOPS 748405 HAS SOUS 590877 HAS SOUPS 590877 WITH SCORE 591625.405
AT ITER 9165 NEW BEST:: SOT 4352438 SOS 748201 HAS SOPS 748201 HAS SOUS 590877 HAS SOUPS 590877 WITH SCORE 591625.201
AT ITER 9217 NEW BEST:: SOT 4352402 SOS 748129 HAS SOPS 748129 HAS SOUS 590841 HAS SOUPS 590841 WITH SCORE 591589.129
AT ITER 9225 NEW BEST:: SOT 4352396 SOS 748020 HAS SOPS 748020 HAS SOUS 590764 HAS SOUPS 590764 WITH SCORE 591512.02
AT ITER 9282 NEW BEST:: SOT 4352357 SOS 747942 HAS SOPS 747942 HAS SOUS 590686 HAS SOUPS 590686 WITH SCORE 591433.942
AT ITER 9290 NEW BEST:: SOT 4352335 SOS 747898 HAS SOPS 747898 HAS SOUS 590623 HAS SOUPS 590623 WITH SCORE 591370.898
AT ITER 9298 NEW BEST:: SOT 4352335 SOS 747898 HAS SOPS 747898 HAS SOUS 590586 HAS SOUPS 590586 WITH SCORE 591333.898
AT ITER 9317 NEW BEST:: SOT 4352275 SOS 747778 HAS SOPS 747778 HAS SOUS 590466 HAS SOUPS 590466 WITH SCORE 591213.778
AT ITER 9319 NEW BEST:: SOT 4352163 SOS 747666 HAS SOPS 747666 HAS SOUS 590354 HAS SOUPS 590354 WITH SCORE 591101.666
AT ITER 9333 NEW BEST:: SOT 4352146 SOS 747707 HAS SOPS 747707 HAS SOUS 590318 HAS SOUPS 590318 WITH SCORE 591065.707
AT ITER 9339 NEW BEST:: SOT 4352093 SOS 747812 HAS SOPS 747812 HAS SOUS 590212 HAS SOUPS 590212 WITH SCORE 590959.812
AT ITER 9353 NEW BEST:: SOT 4351465 SOS 746556 HAS SOPS 746556 HAS SOUS 589632 HAS SOUPS 589632 WITH SCORE 590378.556
AT ITER 9424 NEW BEST:: SOT 4351389 SOS 746404 HAS SOPS 746404 HAS SOUS 589480 HAS SOUPS 589480 WITH SCORE 590226.404
AT ITER 9437 NEW BEST:: SOT 4351250 SOS 746284 HAS SOPS 746284 HAS SOUS 589360 HAS SOUPS 589360 WITH SCORE 590106.284
AT ITER 9443 NEW BEST:: SOT 4351244 SOS 746272 HAS SOPS 746272 HAS SOUS 589348 HAS SOUPS 589348 WITH SCORE 590094.272
AT ITER 9446 NEW BEST:: SOT 4351234 SOS 746252 HAS SOPS 746252 HAS SOUS 589328 HAS SOUPS 589328 WITH SCORE 590074.252
AT ITER 9449 NEW BEST:: SOT 4351110 SOS 746004 HAS SOPS 746004 HAS SOUS 589080 HAS SOUPS 589080 WITH SCORE 589826.004
AT ITER 9450 NEW BEST:: SOT 4351088 SOS 745982 HAS SOPS 745982 HAS SOUS 589058 HAS SOUPS 589058 WITH SCORE 589803.982
AT ITER 9451 NEW BEST:: SOT 4350813 SOS 745882 HAS SOPS 745882 HAS SOUS 588783 HAS SOUPS 588783 WITH SCORE 589528.882
AT ITER 9458 NEW BEST:: SOT 4350783 SOS 745822 HAS SOPS 745822 HAS SOUS 588730 HAS SOUPS 588730 WITH SCORE 589475.822
AT ITER 9459 NEW BEST:: SOT 4350783 SOS 745822 HAS SOPS 745822 HAS SOUS 588723 HAS SOUPS 588723 WITH SCORE 589468.822
AT ITER 9467 NEW BEST:: SOT 4350330 SOS 745757 HAS SOPS 745757 HAS SOUS 588272 HAS SOUPS 588272 WITH SCORE 589017.757
AT ITER 9492 NEW BEST:: SOT 4350192 SOS 745481 HAS SOPS 745481 HAS SOUS 587996 HAS SOUPS 587996 WITH SCORE 588741.481
AT ITER 9537 NEW BEST:: SOT 4350032 SOS 745321 HAS SOPS 745321 HAS SOUS 587836 HAS SOUPS 587836 WITH SCORE 588581.321
AT ITER 9544 NEW BEST:: SOT 4349916 SOS 745222 HAS SOPS 745222 HAS SOUS 587720 HAS SOUPS 587720 WITH SCORE 588465.222
AT ITER 9646 NEW BEST:: SOT 4349876 SOS 744671 HAS SOPS 744671 HAS SOUS 587376 HAS SOUPS 587376 WITH SCORE 588120.671
AT ITER 9649 NEW BEST:: SOT 4349651 SOS 744221 HAS SOPS 744221 HAS SOUS 586926 HAS SOUPS 586926 WITH SCORE 587670.221
AT ITER 9663 NEW BEST:: SOT 4349541 SOS 744001 HAS SOPS 744001 HAS SOUS 586706 HAS SOUPS 586706 WITH SCORE 587450.001
AT ITER 9673 NEW BEST:: SOT 4349258 SOS 743435 HAS SOPS 743435 HAS SOUS 586140 HAS SOUPS 586140 WITH SCORE 586883.435
AT ITER 9692 NEW BEST:: SOT 4349117 SOS 743153 HAS SOPS 743153 HAS SOUS 585858 HAS SOUPS 585858 WITH SCORE 586601.153
AT ITER 9695 NEW BEST:: SOT 4348971 SOS 742861 HAS SOPS 742861 HAS SOUS 585712 HAS SOUPS 585712 WITH SCORE 586454.861
AT ITER 9697 NEW BEST:: SOT 4348884 SOS 742687 HAS SOPS 742687 HAS SOUS 585711 HAS SOUPS 585711 WITH SCORE 586453.687
AT ITER 9788 NEW BEST:: SOT 4348568 SOS 742055 HAS SOPS 742055 HAS SOUS 585335 HAS SOUPS 585335 WITH SCORE 586077.055
AT ITER 9858 NEW BEST:: SOT 4348567 SOS 742053 HAS SOPS 742053 HAS SOUS 585265 HAS SOUPS 585265 WITH SCORE 586007.053
AT ITER 9876 NEW BEST:: SOT 4348567 SOS 742053 HAS SOPS 742053 HAS SOUS 585068 HAS SOUPS 585068 WITH SCORE 585810.053
AT ITER 9911 NEW BEST:: SOT 4348472 SOS 741993 HAS SOPS 741993 HAS SOUS 584990 HAS SOUPS 584990 WITH SCORE 585731.993
AT ITER 9914 NEW BEST:: SOT 4348471 SOS 741991 HAS SOPS 741991 HAS SOUS 584988 HAS SOUPS 584988 WITH SCORE 585729.991
AT ITER 9915 NEW BEST:: SOT 4348419 SOS 741887 HAS SOPS 741887 HAS SOUS 584884 HAS SOUPS 584884 WITH SCORE 585625.887
AT ITER 9916 NEW BEST:: SOT 4348253 SOS 741721 HAS SOPS 741721 HAS SOUS 584718 HAS SOUPS 584718 WITH SCORE 585459.721
AT ITER 9918 NEW BEST:: SOT 4347981 SOS 740905 HAS SOPS 740905 HAS SOUS 584174 HAS SOUPS 584174 WITH SCORE 584914.905
AT ITER 9943 NEW BEST:: SOT 4347981 SOS 740570 HAS SOPS 740570 HAS SOUS 584174 HAS SOUPS 584174 WITH SCORE 584914.57
AT ITER 9990 NEW BEST:: SOT 4347981 SOS 740570 HAS SOPS 740570 HAS SOUS 584173 HAS SOUPS 584173 WITH SCORE 584913.57
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11554648 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123760 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="CloudReconfiguration-PT-301"
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 CloudReconfiguration-PT-301, 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 r107-tall-167814483600008"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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