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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.7K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 48K 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 4.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 1678325210049

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-310
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 01:26:51] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 01:26:51] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 01:26:51] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-09 01:26:51] [INFO ] Transformed 2585 places.
[2023-03-09 01:26:51] [INFO ] Transformed 3095 transitions.
[2023-03-09 01:26:51] [INFO ] Found NUPN structural information;
[2023-03-09 01:26:51] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 193 ms.
[2023-03-09 01:26:51] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 24 ms.
Total runtime 244 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 310
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4442383 SOS 722657 HAS SOPS 722657 HAS SOUS 696293 HAS SOUPS 696293 WITH SCORE 697015.657
AT ITER 41 NEW BEST:: SOT 4442297 SOS 722485 HAS SOPS 722485 HAS SOUS 696238 HAS SOUPS 696238 WITH SCORE 696960.485
AT ITER 53 NEW BEST:: SOT 4442234 SOS 722453 HAS SOPS 722453 HAS SOUS 696155 HAS SOUPS 696155 WITH SCORE 696877.453
AT ITER 83 NEW BEST:: SOT 4442106 SOS 722197 HAS SOPS 722197 HAS SOUS 695899 HAS SOUPS 695899 WITH SCORE 696621.197
AT ITER 93 NEW BEST:: SOT 4441887 SOS 721977 HAS SOPS 721977 HAS SOUS 695679 HAS SOUPS 695679 WITH SCORE 696400.977
AT ITER 96 NEW BEST:: SOT 4441820 SOS 721843 HAS SOPS 721843 HAS SOUS 695545 HAS SOUPS 695545 WITH SCORE 696266.843
AT ITER 156 NEW BEST:: SOT 4441820 SOS 721811 HAS SOPS 721811 HAS SOUS 695545 HAS SOUPS 695545 WITH SCORE 696266.811
AT ITER 160 NEW BEST:: SOT 4441152 SOS 721238 HAS SOPS 721238 HAS SOUS 694972 HAS SOUPS 694972 WITH SCORE 695693.238
AT ITER 165 NEW BEST:: SOT 4441108 SOS 721106 HAS SOPS 721106 HAS SOUS 694840 HAS SOUPS 694840 WITH SCORE 695561.106
AT ITER 168 NEW BEST:: SOT 4441014 SOS 720918 HAS SOPS 720918 HAS SOUS 694604 HAS SOUPS 694604 WITH SCORE 695324.918
AT ITER 170 NEW BEST:: SOT 4441014 SOS 720602 HAS SOPS 720602 HAS SOUS 694446 HAS SOUPS 694446 WITH SCORE 695166.602
AT ITER 223 NEW BEST:: SOT 4441014 SOS 720567 HAS SOPS 720567 HAS SOUS 694445 HAS SOUPS 694445 WITH SCORE 695165.567
AT ITER 247 NEW BEST:: SOT 4431708 SOS 767391 HAS SOPS 767391 HAS SOUS 688070 HAS SOUPS 688070 WITH SCORE 688837.391
AT ITER 256 NEW BEST:: SOT 4431697 SOS 767369 HAS SOPS 767369 HAS SOUS 688036 HAS SOUPS 688036 WITH SCORE 688803.369
AT ITER 259 NEW BEST:: SOT 4431697 SOS 767369 HAS SOPS 767369 HAS SOUS 688035 HAS SOUPS 688035 WITH SCORE 688802.369
AT ITER 265 NEW BEST:: SOT 4431534 SOS 767207 HAS SOPS 767207 HAS SOUS 687873 HAS SOUPS 687873 WITH SCORE 688640.207
AT ITER 286 NEW BEST:: SOT 4430830 SOS 766502 HAS SOPS 766502 HAS SOUS 687168 HAS SOUPS 687168 WITH SCORE 687934.502
AT ITER 287 NEW BEST:: SOT 4430829 SOS 766500 HAS SOPS 766500 HAS SOUS 687166 HAS SOUPS 687166 WITH SCORE 687932.5
AT ITER 303 NEW BEST:: SOT 4430606 SOS 766382 HAS SOPS 766382 HAS SOUS 687025 HAS SOUPS 687025 WITH SCORE 687791.382
AT ITER 352 NEW BEST:: SOT 4430554 SOS 766278 HAS SOPS 766278 HAS SOUS 686921 HAS SOUPS 686921 WITH SCORE 687687.278
AT ITER 358 NEW BEST:: SOT 4430357 SOS 766150 HAS SOPS 766150 HAS SOUS 686750 HAS SOUPS 686750 WITH SCORE 687516.15
AT ITER 365 NEW BEST:: SOT 4430302 SOS 766040 HAS SOPS 766040 HAS SOUS 686665 HAS SOUPS 686665 WITH SCORE 687431.04
AT ITER 383 NEW BEST:: SOT 4430056 SOS 765970 HAS SOPS 765970 HAS SOUS 686478 HAS SOUPS 686478 WITH SCORE 687243.97
AT ITER 393 NEW BEST:: SOT 4430008 SOS 765780 HAS SOPS 765780 HAS SOUS 686336 HAS SOUPS 686336 WITH SCORE 687101.78
AT ITER 404 NEW BEST:: SOT 4430008 SOS 765768 HAS SOPS 765768 HAS SOUS 686324 HAS SOUPS 686324 WITH SCORE 687089.768
AT ITER 417 NEW BEST:: SOT 4429914 SOS 765674 HAS SOPS 765674 HAS SOUS 686230 HAS SOUPS 686230 WITH SCORE 686995.674
AT ITER 436 NEW BEST:: SOT 4429658 SOS 765162 HAS SOPS 765162 HAS SOUS 685974 HAS SOUPS 685974 WITH SCORE 686739.162
AT ITER 444 NEW BEST:: SOT 4429608 SOS 765062 HAS SOPS 765062 HAS SOUS 685653 HAS SOUPS 685653 WITH SCORE 686418.062
AT ITER 461 NEW BEST:: SOT 4429386 SOS 764618 HAS SOPS 764618 HAS SOUS 685209 HAS SOUPS 685209 WITH SCORE 685973.618
AT ITER 471 NEW BEST:: SOT 4429315 SOS 764476 HAS SOPS 764476 HAS SOUS 685013 HAS SOUPS 685013 WITH SCORE 685777.476
AT ITER 483 NEW BEST:: SOT 4429181 SOS 764580 HAS SOPS 764580 HAS SOUS 684982 HAS SOUPS 684982 WITH SCORE 685746.58
AT ITER 511 NEW BEST:: SOT 4428899 SOS 764016 HAS SOPS 764016 HAS SOUS 684700 HAS SOUPS 684700 WITH SCORE 685464.016
AT ITER 530 NEW BEST:: SOT 4428342 SOS 763600 HAS SOPS 763600 HAS SOUS 684088 HAS SOUPS 684088 WITH SCORE 684851.6
AT ITER 583 NEW BEST:: SOT 4428180 SOS 763599 HAS SOPS 763599 HAS SOUS 684087 HAS SOUPS 684087 WITH SCORE 684850.599
AT ITER 587 NEW BEST:: SOT 4428180 SOS 763599 HAS SOPS 763599 HAS SOUS 683799 HAS SOUPS 683799 WITH SCORE 684562.599
AT ITER 614 NEW BEST:: SOT 4427916 SOS 762807 HAS SOPS 762807 HAS SOUS 683271 HAS SOUPS 683271 WITH SCORE 684033.807
AT ITER 624 NEW BEST:: SOT 4427871 SOS 762237 HAS SOPS 762237 HAS SOUS 682921 HAS SOUPS 682921 WITH SCORE 683683.237
AT ITER 636 NEW BEST:: SOT 4427775 SOS 762045 HAS SOPS 762045 HAS SOUS 682729 HAS SOUPS 682729 WITH SCORE 683491.045
AT ITER 640 NEW BEST:: SOT 4427615 SOS 761725 HAS SOPS 761725 HAS SOUS 682250 HAS SOUPS 682250 WITH SCORE 683011.725
AT ITER 650 NEW BEST:: SOT 4427575 SOS 761737 HAS SOPS 761737 HAS SOUS 682216 HAS SOUPS 682216 WITH SCORE 682977.737
AT ITER 654 NEW BEST:: SOT 4427575 SOS 761737 HAS SOPS 761737 HAS SOUS 682105 HAS SOUPS 682105 WITH SCORE 682866.737
AT ITER 660 NEW BEST:: SOT 4427211 SOS 761217 HAS SOPS 761217 HAS SOUS 681585 HAS SOUPS 681585 WITH SCORE 682346.217
AT ITER 691 NEW BEST:: SOT 4427211 SOS 761216 HAS SOPS 761216 HAS SOUS 681584 HAS SOUPS 681584 WITH SCORE 682345.216
AT ITER 706 NEW BEST:: SOT 4427211 SOS 761186 HAS SOPS 761186 HAS SOUS 681554 HAS SOUPS 681554 WITH SCORE 682315.186
AT ITER 730 NEW BEST:: SOT 4427134 SOS 761115 HAS SOPS 761115 HAS SOUS 681483 HAS SOUPS 681483 WITH SCORE 682244.115
AT ITER 740 NEW BEST:: SOT 4427114 SOS 761075 HAS SOPS 761075 HAS SOUS 681443 HAS SOUPS 681443 WITH SCORE 682204.075
AT ITER 741 NEW BEST:: SOT 4427046 SOS 760939 HAS SOPS 760939 HAS SOUS 681307 HAS SOUPS 681307 WITH SCORE 682067.939
AT ITER 755 NEW BEST:: SOT 4427046 SOS 760939 HAS SOPS 760939 HAS SOUS 681275 HAS SOUPS 681275 WITH SCORE 682035.939
AT ITER 791 NEW BEST:: SOT 4426919 SOS 760685 HAS SOPS 760685 HAS SOUS 681021 HAS SOUPS 681021 WITH SCORE 681781.685
AT ITER 805 NEW BEST:: SOT 4426802 SOS 760057 HAS SOPS 760057 HAS SOUS 680600 HAS SOUPS 680600 WITH SCORE 681360.057
AT ITER 811 NEW BEST:: SOT 4426802 SOS 759769 HAS SOPS 759769 HAS SOUS 680312 HAS SOUPS 680312 WITH SCORE 681071.769
AT ITER 836 NEW BEST:: SOT 4423707 SOS 773109 HAS SOPS 773109 HAS SOUS 677714 HAS SOUPS 677714 WITH SCORE 678487.109
AT ITER 868 NEW BEST:: SOT 4423532 SOS 772852 HAS SOPS 772852 HAS SOUS 677457 HAS SOUPS 677457 WITH SCORE 678229.852
AT ITER 894 NEW BEST:: SOT 4423596 SOS 772980 HAS SOPS 772980 HAS SOUS 677261 HAS SOUPS 677261 WITH SCORE 678033.98
AT ITER 901 NEW BEST:: SOT 4423469 SOS 772726 HAS SOPS 772726 HAS SOUS 676943 HAS SOUPS 676943 WITH SCORE 677715.726
AT ITER 916 NEW BEST:: SOT 4423305 SOS 772562 HAS SOPS 772562 HAS SOUS 676615 HAS SOUPS 676615 WITH SCORE 677387.562
AT ITER 925 NEW BEST:: SOT 4423304 SOS 772516 HAS SOPS 772516 HAS SOUS 676614 HAS SOUPS 676614 WITH SCORE 677386.516
AT ITER 966 NEW BEST:: SOT 4423279 SOS 772466 HAS SOPS 772466 HAS SOUS 676564 HAS SOUPS 676564 WITH SCORE 677336.466
AT ITER 976 NEW BEST:: SOT 4423296 SOS 772500 HAS SOPS 772500 HAS SOUS 676325 HAS SOUPS 676325 WITH SCORE 677097.5
AT ITER 985 NEW BEST:: SOT 4423296 SOS 772445 HAS SOPS 772445 HAS SOUS 676270 HAS SOUPS 676270 WITH SCORE 677042.445
AT ITER 991 NEW BEST:: SOT 4423360 SOS 772291 HAS SOPS 772291 HAS SOUS 676116 HAS SOUPS 676116 WITH SCORE 676888.291
AT ITER 1021 NEW BEST:: SOT 4423363 SOS 772206 HAS SOPS 772206 HAS SOUS 676031 HAS SOUPS 676031 WITH SCORE 676803.206
AT ITER 1031 NEW BEST:: SOT 4423313 SOS 772106 HAS SOPS 772106 HAS SOUS 675881 HAS SOUPS 675881 WITH SCORE 676653.106
AT ITER 1032 NEW BEST:: SOT 4423220 SOS 772025 HAS SOPS 772025 HAS SOUS 675793 HAS SOUPS 675793 WITH SCORE 676565.025
AT ITER 1043 NEW BEST:: SOT 4423184 SOS 771953 HAS SOPS 771953 HAS SOUS 675721 HAS SOUPS 675721 WITH SCORE 676492.953
AT ITER 1065 NEW BEST:: SOT 4423163 SOS 771940 HAS SOPS 771940 HAS SOUS 675700 HAS SOUPS 675700 WITH SCORE 676471.94
AT ITER 1095 NEW BEST:: SOT 4423163 SOS 771394 HAS SOPS 771394 HAS SOUS 675427 HAS SOUPS 675427 WITH SCORE 676198.394
AT ITER 1099 NEW BEST:: SOT 4423048 SOS 771049 HAS SOPS 771049 HAS SOUS 675197 HAS SOUPS 675197 WITH SCORE 675968.049
AT ITER 1178 NEW BEST:: SOT 4422846 SOS 770930 HAS SOPS 770930 HAS SOUS 674996 HAS SOUPS 674996 WITH SCORE 675766.93
AT ITER 1192 NEW BEST:: SOT 4422846 SOS 770790 HAS SOPS 770790 HAS SOUS 674996 HAS SOUPS 674996 WITH SCORE 675766.79
AT ITER 1203 NEW BEST:: SOT 4422730 SOS 770400 HAS SOPS 770400 HAS SOUS 674764 HAS SOUPS 674764 WITH SCORE 675534.4
AT ITER 1216 NEW BEST:: SOT 4422495 SOS 769930 HAS SOPS 769930 HAS SOUS 674481 HAS SOUPS 674481 WITH SCORE 675250.93
AT ITER 1229 NEW BEST:: SOT 4422396 SOS 769732 HAS SOPS 769732 HAS SOUS 674382 HAS SOUPS 674382 WITH SCORE 675151.732
AT ITER 1232 NEW BEST:: SOT 4422301 SOS 769438 HAS SOPS 769438 HAS SOUS 674183 HAS SOUPS 674183 WITH SCORE 674952.438
AT ITER 1285 NEW BEST:: SOT 4422197 SOS 769230 HAS SOPS 769230 HAS SOUS 673975 HAS SOUPS 673975 WITH SCORE 674744.23
AT ITER 1287 NEW BEST:: SOT 4422144 SOS 769124 HAS SOPS 769124 HAS SOUS 673869 HAS SOUPS 673869 WITH SCORE 674638.124
AT ITER 1307 NEW BEST:: SOT 4422106 SOS 769086 HAS SOPS 769086 HAS SOUS 673831 HAS SOUPS 673831 WITH SCORE 674600.086
AT ITER 1309 NEW BEST:: SOT 4419684 SOS 767098 HAS SOPS 767098 HAS SOUS 671817 HAS SOUPS 671817 WITH SCORE 672584.098
AT ITER 1316 NEW BEST:: SOT 4419787 SOS 767158 HAS SOPS 767158 HAS SOUS 671774 HAS SOUPS 671774 WITH SCORE 672541.158
AT ITER 1320 NEW BEST:: SOT 4419863 SOS 767310 HAS SOPS 767310 HAS SOUS 671636 HAS SOUPS 671636 WITH SCORE 672403.31
AT ITER 1337 NEW BEST:: SOT 4419720 SOS 767210 HAS SOPS 767210 HAS SOUS 671517 HAS SOUPS 671517 WITH SCORE 672284.21
AT ITER 1356 NEW BEST:: SOT 4419719 SOS 767208 HAS SOPS 767208 HAS SOUS 671515 HAS SOUPS 671515 WITH SCORE 672282.208
AT ITER 1389 NEW BEST:: SOT 4419678 SOS 767167 HAS SOPS 767167 HAS SOUS 671474 HAS SOUPS 671474 WITH SCORE 672241.167
AT ITER 1390 NEW BEST:: SOT 4419435 SOS 767221 HAS SOPS 767221 HAS SOUS 671366 HAS SOUPS 671366 WITH SCORE 672133.221
AT ITER 1391 NEW BEST:: SOT 4419365 SOS 767081 HAS SOPS 767081 HAS SOUS 671296 HAS SOUPS 671296 WITH SCORE 672063.081
AT ITER 1403 NEW BEST:: SOT 4419364 SOS 767079 HAS SOPS 767079 HAS SOUS 671294 HAS SOUPS 671294 WITH SCORE 672061.079
AT ITER 1414 NEW BEST:: SOT 4419364 SOS 767078 HAS SOPS 767078 HAS SOUS 671293 HAS SOUPS 671293 WITH SCORE 672060.078
AT ITER 1428 NEW BEST:: SOT 4419098 SOS 766812 HAS SOPS 766812 HAS SOUS 671027 HAS SOUPS 671027 WITH SCORE 671793.812
AT ITER 1446 NEW BEST:: SOT 4418960 SOS 766843 HAS SOPS 766843 HAS SOUS 670889 HAS SOUPS 670889 WITH SCORE 671655.843
AT ITER 1496 NEW BEST:: SOT 4418786 SOS 766495 HAS SOPS 766495 HAS SOUS 670541 HAS SOUPS 670541 WITH SCORE 671307.495
AT ITER 1518 NEW BEST:: SOT 4418604 SOS 766333 HAS SOPS 766333 HAS SOUS 670359 HAS SOUPS 670359 WITH SCORE 671125.333
AT ITER 1529 NEW BEST:: SOT 4418604 SOS 766299 HAS SOPS 766299 HAS SOUS 670325 HAS SOUPS 670325 WITH SCORE 671091.299
AT ITER 1530 NEW BEST:: SOT 4418466 SOS 766256 HAS SOPS 766256 HAS SOUS 670234 HAS SOUPS 670234 WITH SCORE 671000.256
AT ITER 1536 NEW BEST:: SOT 4418529 SOS 766133 HAS SOPS 766133 HAS SOUS 670111 HAS SOUPS 670111 WITH SCORE 670877.133
AT ITER 1544 NEW BEST:: SOT 4418419 SOS 766083 HAS SOPS 766083 HAS SOUS 670061 HAS SOUPS 670061 WITH SCORE 670827.083
AT ITER 1556 NEW BEST:: SOT 4418419 SOS 766083 HAS SOPS 766083 HAS SOUS 669990 HAS SOUPS 669990 WITH SCORE 670756.083
AT ITER 1561 NEW BEST:: SOT 4418418 SOS 766081 HAS SOPS 766081 HAS SOUS 669988 HAS SOUPS 669988 WITH SCORE 670754.081
AT ITER 1568 NEW BEST:: SOT 4417970 SOS 766250 HAS SOPS 766250 HAS SOUS 669744 HAS SOUPS 669744 WITH SCORE 670510.25
AT ITER 1576 NEW BEST:: SOT 4417903 SOS 766908 HAS SOPS 766908 HAS SOUS 669598 HAS SOUPS 669598 WITH SCORE 670364.908
AT ITER 1577 NEW BEST:: SOT 4417171 SOS 766312 HAS SOPS 766312 HAS SOUS 668990 HAS SOUPS 668990 WITH SCORE 669756.312
AT ITER 1585 NEW BEST:: SOT 4417271 SOS 766512 HAS SOPS 766512 HAS SOUS 668846 HAS SOUPS 668846 WITH SCORE 669612.512
AT ITER 1661 NEW BEST:: SOT 4417202 SOS 766731 HAS SOPS 766731 HAS SOUS 668840 HAS SOUPS 668840 WITH SCORE 669606.731
AT ITER 1683 NEW BEST:: SOT 4417201 SOS 766729 HAS SOPS 766729 HAS SOUS 668839 HAS SOUPS 668839 WITH SCORE 669605.729
AT ITER 1702 NEW BEST:: SOT 4417201 SOS 766729 HAS SOPS 766729 HAS SOUS 668710 HAS SOUPS 668710 WITH SCORE 669476.729
AT ITER 1732 NEW BEST:: SOT 4416681 SOS 766209 HAS SOPS 766209 HAS SOUS 668190 HAS SOUPS 668190 WITH SCORE 668956.209
AT ITER 1754 NEW BEST:: SOT 4412685 SOS 804257 HAS SOPS 804257 HAS SOUS 664808 HAS SOUPS 664808 WITH SCORE 665612.257
AT ITER 1776 NEW BEST:: SOT 4412569 SOS 804141 HAS SOPS 804141 HAS SOUS 664692 HAS SOUPS 664692 WITH SCORE 665496.141
AT ITER 1781 NEW BEST:: SOT 4412481 SOS 803965 HAS SOPS 803965 HAS SOUS 664692 HAS SOUPS 664692 WITH SCORE 665495.965
AT ITER 1798 NEW BEST:: SOT 4412481 SOS 803964 HAS SOPS 803964 HAS SOUS 664691 HAS SOUPS 664691 WITH SCORE 665494.964
AT ITER 1812 NEW BEST:: SOT 4412266 SOS 803839 HAS SOPS 803839 HAS SOUS 664503 HAS SOUPS 664503 WITH SCORE 665306.839
AT ITER 1821 NEW BEST:: SOT 4412266 SOS 803839 HAS SOPS 803839 HAS SOUS 664296 HAS SOUPS 664296 WITH SCORE 665099.839
AT ITER 1822 NEW BEST:: SOT 4412117 SOS 803630 HAS SOPS 803630 HAS SOUS 664087 HAS SOUPS 664087 WITH SCORE 664890.63
AT ITER 1843 NEW BEST:: SOT 4411954 SOS 803466 HAS SOPS 803466 HAS SOUS 664086 HAS SOUPS 664086 WITH SCORE 664889.466
AT ITER 1850 NEW BEST:: SOT 4411944 SOS 803446 HAS SOPS 803446 HAS SOUS 664066 HAS SOUPS 664066 WITH SCORE 664869.446
AT ITER 1875 NEW BEST:: SOT 4411697 SOS 803326 HAS SOPS 803326 HAS SOUS 663946 HAS SOUPS 663946 WITH SCORE 664749.326
AT ITER 1884 NEW BEST:: SOT 4411658 SOS 803286 HAS SOPS 803286 HAS SOUS 663945 HAS SOUPS 663945 WITH SCORE 664748.286
AT ITER 1972 NEW BEST:: SOT 4411451 SOS 802334 HAS SOPS 802334 HAS SOUS 663907 HAS SOUPS 663907 WITH SCORE 664709.334
AT ITER 1995 NEW BEST:: SOT 4411451 SOS 802226 HAS SOPS 802226 HAS SOUS 663799 HAS SOUPS 663799 WITH SCORE 664601.226
AT ITER 2005 NEW BEST:: SOT 4411292 SOS 801908 HAS SOPS 801908 HAS SOUS 663481 HAS SOUPS 663481 WITH SCORE 664282.908
AT ITER 2019 NEW BEST:: SOT 4411222 SOS 801838 HAS SOPS 801838 HAS SOUS 663411 HAS SOUPS 663411 WITH SCORE 664212.838
AT ITER 2025 NEW BEST:: SOT 4411042 SOS 801657 HAS SOPS 801657 HAS SOUS 663279 HAS SOUPS 663279 WITH SCORE 664080.657
AT ITER 2033 NEW BEST:: SOT 4410958 SOS 801661 HAS SOPS 801661 HAS SOUS 663197 HAS SOUPS 663197 WITH SCORE 663998.661
AT ITER 2071 NEW BEST:: SOT 4410798 SOS 801501 HAS SOPS 801501 HAS SOUS 663197 HAS SOUPS 663197 WITH SCORE 663998.501
AT ITER 2073 NEW BEST:: SOT 4410797 SOS 801499 HAS SOPS 801499 HAS SOUS 663195 HAS SOUPS 663195 WITH SCORE 663996.499
AT ITER 2078 NEW BEST:: SOT 4410777 SOS 801459 HAS SOPS 801459 HAS SOUS 663155 HAS SOUPS 663155 WITH SCORE 663956.459
AT ITER 2082 NEW BEST:: SOT 4410741 SOS 801423 HAS SOPS 801423 HAS SOUS 663141 HAS SOUPS 663141 WITH SCORE 663942.423
AT ITER 2093 NEW BEST:: SOT 4410741 SOS 801007 HAS SOPS 801007 HAS SOUS 663141 HAS SOUPS 663141 WITH SCORE 663942.007
AT ITER 2103 NEW BEST:: SOT 4410609 SOS 800346 HAS SOPS 800346 HAS SOUS 662612 HAS SOUPS 662612 WITH SCORE 663412.346
AT ITER 2109 NEW BEST:: SOT 4410573 SOS 800274 HAS SOPS 800274 HAS SOUS 662540 HAS SOUPS 662540 WITH SCORE 663340.274
AT ITER 2121 NEW BEST:: SOT 4410308 SOS 799744 HAS SOPS 799744 HAS SOUS 662367 HAS SOUPS 662367 WITH SCORE 663166.744
AT ITER 2125 NEW BEST:: SOT 4410308 SOS 799744 HAS SOPS 799744 HAS SOUS 662364 HAS SOUPS 662364 WITH SCORE 663163.744
AT ITER 2162 NEW BEST:: SOT 4410173 SOS 799609 HAS SOPS 799609 HAS SOUS 662229 HAS SOUPS 662229 WITH SCORE 663028.609
AT ITER 2173 NEW BEST:: SOT 4410173 SOS 799598 HAS SOPS 799598 HAS SOUS 662229 HAS SOUPS 662229 WITH SCORE 663028.598
AT ITER 2187 NEW BEST:: SOT 4410016 SOS 799458 HAS SOPS 799458 HAS SOUS 662072 HAS SOUPS 662072 WITH SCORE 662871.458
AT ITER 2214 NEW BEST:: SOT 4409980 SOS 799386 HAS SOPS 799386 HAS SOUS 662036 HAS SOUPS 662036 WITH SCORE 662835.386
AT ITER 2227 NEW BEST:: SOT 4409530 SOS 799160 HAS SOPS 799160 HAS SOUS 661810 HAS SOUPS 661810 WITH SCORE 662609.16
AT ITER 2231 NEW BEST:: SOT 4409530 SOS 799056 HAS SOPS 799056 HAS SOUS 661706 HAS SOUPS 661706 WITH SCORE 662505.056
AT ITER 2232 NEW BEST:: SOT 4408501 SOS 800202 HAS SOPS 800202 HAS SOUS 661108 HAS SOUPS 661108 WITH SCORE 661908.202
AT ITER 2235 NEW BEST:: SOT 4408462 SOS 800444 HAS SOPS 800444 HAS SOUS 661069 HAS SOUPS 661069 WITH SCORE 661869.444
AT ITER 2239 NEW BEST:: SOT 4408336 SOS 800360 HAS SOPS 800360 HAS SOUS 660943 HAS SOUPS 660943 WITH SCORE 661743.36
AT ITER 2241 NEW BEST:: SOT 4408131 SOS 799745 HAS SOPS 799745 HAS SOUS 660533 HAS SOUPS 660533 WITH SCORE 661332.745
AT ITER 2242 NEW BEST:: SOT 4408115 SOS 799240 HAS SOPS 799240 HAS SOUS 660377 HAS SOUPS 660377 WITH SCORE 661176.24
AT ITER 2267 NEW BEST:: SOT 4407653 SOS 798726 HAS SOPS 798726 HAS SOUS 659863 HAS SOUPS 659863 WITH SCORE 660661.726
AT ITER 2270 NEW BEST:: SOT 4407349 SOS 798118 HAS SOPS 798118 HAS SOUS 659559 HAS SOUPS 659559 WITH SCORE 660357.118
AT ITER 2296 NEW BEST:: SOT 4407345 SOS 798110 HAS SOPS 798110 HAS SOUS 659539 HAS SOUPS 659539 WITH SCORE 660337.11
AT ITER 2311 NEW BEST:: SOT 4407345 SOS 798109 HAS SOPS 798109 HAS SOUS 659538 HAS SOUPS 659538 WITH SCORE 660336.109
AT ITER 2332 NEW BEST:: SOT 4407566 SOS 797847 HAS SOPS 797847 HAS SOUS 659273 HAS SOUPS 659273 WITH SCORE 660070.847
AT ITER 2343 NEW BEST:: SOT 4407566 SOS 797847 HAS SOPS 797847 HAS SOUS 659042 HAS SOUPS 659042 WITH SCORE 659839.847
AT ITER 2348 NEW BEST:: SOT 4407530 SOS 797739 HAS SOPS 797739 HAS SOUS 658970 HAS SOUPS 658970 WITH SCORE 659767.739
AT ITER 2370 NEW BEST:: SOT 4407085 SOS 797098 HAS SOPS 797098 HAS SOUS 658329 HAS SOUPS 658329 WITH SCORE 659126.098
AT ITER 2377 NEW BEST:: SOT 4407171 SOS 797270 HAS SOPS 797270 HAS SOUS 658259 HAS SOUPS 658259 WITH SCORE 659056.27
AT ITER 2403 NEW BEST:: SOT 4407048 SOS 797024 HAS SOPS 797024 HAS SOUS 658013 HAS SOUPS 658013 WITH SCORE 658810.024
AT ITER 2412 NEW BEST:: SOT 4406637 SOS 797070 HAS SOPS 797070 HAS SOUS 657760 HAS SOUPS 657760 WITH SCORE 658557.07
AT ITER 2417 NEW BEST:: SOT 4406490 SOS 796931 HAS SOPS 796931 HAS SOUS 657621 HAS SOUPS 657621 WITH SCORE 658417.931
AT ITER 2427 NEW BEST:: SOT 4406363 SOS 796868 HAS SOPS 796868 HAS SOUS 657558 HAS SOUPS 657558 WITH SCORE 658354.868
AT ITER 2444 NEW BEST:: SOT 4406343 SOS 796886 HAS SOPS 796886 HAS SOUS 657547 HAS SOUPS 657547 WITH SCORE 658343.886
AT ITER 2455 NEW BEST:: SOT 4406296 SOS 796792 HAS SOPS 796792 HAS SOUS 657259 HAS SOUPS 657259 WITH SCORE 658055.792
AT ITER 2471 NEW BEST:: SOT 4406465 SOS 796642 HAS SOPS 796642 HAS SOUS 657184 HAS SOUPS 657184 WITH SCORE 657980.642
AT ITER 2482 NEW BEST:: SOT 4406277 SOS 796266 HAS SOPS 796266 HAS SOUS 656808 HAS SOUPS 656808 WITH SCORE 657604.266
AT ITER 2485 NEW BEST:: SOT 4406276 SOS 796264 HAS SOPS 796264 HAS SOUS 656806 HAS SOUPS 656806 WITH SCORE 657602.264
AT ITER 2511 NEW BEST:: SOT 4406276 SOS 796198 HAS SOPS 796198 HAS SOUS 656773 HAS SOUPS 656773 WITH SCORE 657569.198
AT ITER 2520 NEW BEST:: SOT 4406246 SOS 796138 HAS SOPS 796138 HAS SOUS 656713 HAS SOUPS 656713 WITH SCORE 657509.138
AT ITER 2521 NEW BEST:: SOT 4406137 SOS 795920 HAS SOPS 795920 HAS SOUS 656604 HAS SOUPS 656604 WITH SCORE 657399.92
AT ITER 2529 NEW BEST:: SOT 4406137 SOS 795919 HAS SOPS 795919 HAS SOUS 656603 HAS SOUPS 656603 WITH SCORE 657398.919
AT ITER 2533 NEW BEST:: SOT 4405970 SOS 795911 HAS SOPS 795911 HAS SOUS 656494 HAS SOUPS 656494 WITH SCORE 657289.911
AT ITER 2559 NEW BEST:: SOT 4405969 SOS 795909 HAS SOPS 795909 HAS SOUS 656490 HAS SOUPS 656490 WITH SCORE 657285.909
AT ITER 2568 NEW BEST:: SOT 4405894 SOS 795759 HAS SOPS 795759 HAS SOUS 656284 HAS SOUPS 656284 WITH SCORE 657079.759
AT ITER 2589 NEW BEST:: SOT 4405768 SOS 795507 HAS SOPS 795507 HAS SOUS 656032 HAS SOUPS 656032 WITH SCORE 656827.507
AT ITER 2595 NEW BEST:: SOT 4405662 SOS 795295 HAS SOPS 795295 HAS SOUS 655820 HAS SOUPS 655820 WITH SCORE 656615.295
AT ITER 2649 NEW BEST:: SOT 4405598 SOS 795167 HAS SOPS 795167 HAS SOUS 655692 HAS SOUPS 655692 WITH SCORE 656487.167
AT ITER 2668 NEW BEST:: SOT 4405598 SOS 795047 HAS SOPS 795047 HAS SOUS 655572 HAS SOUPS 655572 WITH SCORE 656367.047
AT ITER 2672 NEW BEST:: SOT 4405606 SOS 794944 HAS SOPS 794944 HAS SOUS 655470 HAS SOUPS 655470 WITH SCORE 656264.944
AT ITER 2702 NEW BEST:: SOT 4405637 SOS 792066 HAS SOPS 792066 HAS SOUS 655431 HAS SOUPS 655431 WITH SCORE 656223.066
AT ITER 2774 NEW BEST:: SOT 4405263 SOS 791709 HAS SOPS 791709 HAS SOUS 655069 HAS SOUPS 655069 WITH SCORE 655860.709
AT ITER 2845 NEW BEST:: SOT 4405127 SOS 791437 HAS SOPS 791437 HAS SOUS 654797 HAS SOUPS 654797 WITH SCORE 655588.437
AT ITER 2866 NEW BEST:: SOT 4404950 SOS 761850 HAS SOPS 761850 HAS SOUS 654614 HAS SOUPS 654614 WITH SCORE 655375.85
AT ITER 2869 NEW BEST:: SOT 4404903 SOS 761756 HAS SOPS 761756 HAS SOUS 654520 HAS SOUPS 654520 WITH SCORE 655281.756
AT ITER 2884 NEW BEST:: SOT 4404885 SOS 761720 HAS SOPS 761720 HAS SOUS 654378 HAS SOUPS 654378 WITH SCORE 655139.72
AT ITER 2887 NEW BEST:: SOT 4404885 SOS 761720 HAS SOPS 761720 HAS SOUS 654377 HAS SOUPS 654377 WITH SCORE 655138.72
AT ITER 2912 NEW BEST:: SOT 4404844 SOS 761638 HAS SOPS 761638 HAS SOUS 654295 HAS SOUPS 654295 WITH SCORE 655056.638
AT ITER 2935 NEW BEST:: SOT 4404808 SOS 761602 HAS SOPS 761602 HAS SOUS 654259 HAS SOUPS 654259 WITH SCORE 655020.602
AT ITER 2949 NEW BEST:: SOT 4404696 SOS 761378 HAS SOPS 761378 HAS SOUS 654229 HAS SOUPS 654229 WITH SCORE 654990.378
AT ITER 2950 NEW BEST:: SOT 4404696 SOS 760746 HAS SOPS 760746 HAS SOUS 653913 HAS SOUPS 653913 WITH SCORE 654673.746
AT ITER 2960 NEW BEST:: SOT 4404695 SOS 760744 HAS SOPS 760744 HAS SOUS 653911 HAS SOUPS 653911 WITH SCORE 654671.744
AT ITER 3015 NEW BEST:: SOT 4404673 SOS 760700 HAS SOPS 760700 HAS SOUS 653889 HAS SOUPS 653889 WITH SCORE 654649.7
AT ITER 3035 NEW BEST:: SOT 4404596 SOS 760546 HAS SOPS 760546 HAS SOUS 653735 HAS SOUPS 653735 WITH SCORE 654495.546
AT ITER 3039 NEW BEST:: SOT 4404596 SOS 760546 HAS SOPS 760546 HAS SOUS 653734 HAS SOUPS 653734 WITH SCORE 654494.546
AT ITER 3047 NEW BEST:: SOT 4404455 SOS 760264 HAS SOPS 760264 HAS SOUS 653452 HAS SOUPS 653452 WITH SCORE 654212.264
AT ITER 3056 NEW BEST:: SOT 4404429 SOS 760212 HAS SOPS 760212 HAS SOUS 653400 HAS SOUPS 653400 WITH SCORE 654160.212
AT ITER 3065 NEW BEST:: SOT 4404301 SOS 759956 HAS SOPS 759956 HAS SOUS 653272 HAS SOUPS 653272 WITH SCORE 654031.956
AT ITER 3090 NEW BEST:: SOT 4404291 SOS 759936 HAS SOPS 759936 HAS SOUS 653252 HAS SOUPS 653252 WITH SCORE 654011.936
AT ITER 3097 NEW BEST:: SOT 4404038 SOS 760020 HAS SOPS 760020 HAS SOUS 653016 HAS SOUPS 653016 WITH SCORE 653776.02
AT ITER 3104 NEW BEST:: SOT 4404038 SOS 760020 HAS SOPS 760020 HAS SOUS 653004 HAS SOUPS 653004 WITH SCORE 653764.02
AT ITER 3111 NEW BEST:: SOT 4404038 SOS 759854 HAS SOPS 759854 HAS SOUS 652838 HAS SOUPS 652838 WITH SCORE 653597.854
AT ITER 3121 NEW BEST:: SOT 4403883 SOS 759544 HAS SOPS 759544 HAS SOUS 652528 HAS SOUPS 652528 WITH SCORE 653287.544
AT ITER 3140 NEW BEST:: SOT 4403883 SOS 759324 HAS SOPS 759324 HAS SOUS 652388 HAS SOUPS 652388 WITH SCORE 653147.324
AT ITER 3148 NEW BEST:: SOT 4403883 SOS 759324 HAS SOPS 759324 HAS SOUS 652246 HAS SOUPS 652246 WITH SCORE 653005.324
AT ITER 3154 NEW BEST:: SOT 4403882 SOS 759367 HAS SOPS 759367 HAS SOUS 652244 HAS SOUPS 652244 WITH SCORE 653003.367
AT ITER 3166 NEW BEST:: SOT 4403842 SOS 759287 HAS SOPS 759287 HAS SOUS 652204 HAS SOUPS 652204 WITH SCORE 652963.287
AT ITER 3169 NEW BEST:: SOT 4403643 SOS 758687 HAS SOPS 758687 HAS SOUS 652005 HAS SOUPS 652005 WITH SCORE 652763.687
AT ITER 3185 NEW BEST:: SOT 4403509 SOS 758514 HAS SOPS 758514 HAS SOUS 651871 HAS SOUPS 651871 WITH SCORE 652629.514
AT ITER 3194 NEW BEST:: SOT 4403449 SOS 758394 HAS SOPS 758394 HAS SOUS 651870 HAS SOUPS 651870 WITH SCORE 652628.394
AT ITER 3202 NEW BEST:: SOT 4403449 SOS 758281 HAS SOPS 758281 HAS SOUS 651870 HAS SOUPS 651870 WITH SCORE 652628.281
AT ITER 3209 NEW BEST:: SOT 4403455 SOS 758293 HAS SOPS 758293 HAS SOUS 651814 HAS SOUPS 651814 WITH SCORE 652572.293
AT ITER 3244 NEW BEST:: SOT 4403343 SOS 758180 HAS SOPS 758180 HAS SOUS 651757 HAS SOUPS 651757 WITH SCORE 652515.18
AT ITER 3248 NEW BEST:: SOT 4403231 SOS 757956 HAS SOPS 757956 HAS SOUS 651533 HAS SOUPS 651533 WITH SCORE 652290.956
AT ITER 3258 NEW BEST:: SOT 4403204 SOS 757902 HAS SOPS 757902 HAS SOUS 651479 HAS SOUPS 651479 WITH SCORE 652236.902
AT ITER 3261 NEW BEST:: SOT 4403204 SOS 757902 HAS SOPS 757902 HAS SOUS 651323 HAS SOUPS 651323 WITH SCORE 652080.902
AT ITER 3312 NEW BEST:: SOT 4403058 SOS 757610 HAS SOPS 757610 HAS SOUS 651031 HAS SOUPS 651031 WITH SCORE 651788.61
AT ITER 3369 NEW BEST:: SOT 4403058 SOS 757610 HAS SOPS 757610 HAS SOUS 651026 HAS SOUPS 651026 WITH SCORE 651783.61
AT ITER 3383 NEW BEST:: SOT 4403039 SOS 757613 HAS SOPS 757613 HAS SOUS 651007 HAS SOUPS 651007 WITH SCORE 651764.613
AT ITER 3391 NEW BEST:: SOT 4402903 SOS 757029 HAS SOPS 757029 HAS SOUS 650735 HAS SOUPS 650735 WITH SCORE 651492.029
AT ITER 3399 NEW BEST:: SOT 4402531 SOS 756533 HAS SOPS 756533 HAS SOUS 650239 HAS SOUPS 650239 WITH SCORE 650995.533
AT ITER 3401 NEW BEST:: SOT 4402523 SOS 756517 HAS SOPS 756517 HAS SOUS 650231 HAS SOUPS 650231 WITH SCORE 650987.517
AT ITER 3451 NEW BEST:: SOT 4402398 SOS 756267 HAS SOPS 756267 HAS SOUS 649981 HAS SOUPS 649981 WITH SCORE 650737.267
AT ITER 3463 NEW BEST:: SOT 4402091 SOS 755653 HAS SOPS 755653 HAS SOUS 649687 HAS SOUPS 649687 WITH SCORE 650442.653
AT ITER 3531 NEW BEST:: SOT 4402380 SOS 755372 HAS SOPS 755372 HAS SOUS 649484 HAS SOUPS 649484 WITH SCORE 650239.372
AT ITER 3542 NEW BEST:: SOT 4402312 SOS 755168 HAS SOPS 755168 HAS SOUS 649348 HAS SOUPS 649348 WITH SCORE 650103.168
AT ITER 3547 NEW BEST:: SOT 4401850 SOS 754706 HAS SOPS 754706 HAS SOUS 648886 HAS SOUPS 648886 WITH SCORE 649640.706
AT ITER 3557 NEW BEST:: SOT 4401736 SOS 754594 HAS SOPS 754594 HAS SOUS 648772 HAS SOUPS 648772 WITH SCORE 649526.594
AT ITER 3602 NEW BEST:: SOT 4401036 SOS 753938 HAS SOPS 753938 HAS SOUS 648096 HAS SOUPS 648096 WITH SCORE 648849.938
AT ITER 3619 NEW BEST:: SOT 4400860 SOS 753586 HAS SOPS 753586 HAS SOUS 647744 HAS SOUPS 647744 WITH SCORE 648497.586
AT ITER 3623 NEW BEST:: SOT 4400730 SOS 753554 HAS SOPS 753554 HAS SOUS 647712 HAS SOUPS 647712 WITH SCORE 648465.554
AT ITER 3631 NEW BEST:: SOT 4400730 SOS 753554 HAS SOPS 753554 HAS SOUS 647612 HAS SOUPS 647612 WITH SCORE 648365.554
AT ITER 3633 NEW BEST:: SOT 4400385 SOS 753464 HAS SOPS 753464 HAS SOUS 647522 HAS SOUPS 647522 WITH SCORE 648275.464
AT ITER 3645 NEW BEST:: SOT 4400198 SOS 753090 HAS SOPS 753090 HAS SOUS 647335 HAS SOUPS 647335 WITH SCORE 648088.09
AT ITER 3647 NEW BEST:: SOT 4400222 SOS 753138 HAS SOPS 753138 HAS SOUS 647276 HAS SOUPS 647276 WITH SCORE 648029.138
AT ITER 3662 NEW BEST:: SOT 4399933 SOS 752560 HAS SOPS 752560 HAS SOUS 646631 HAS SOUPS 646631 WITH SCORE 647383.56
AT ITER 3663 NEW BEST:: SOT 4399933 SOS 752444 HAS SOPS 752444 HAS SOUS 646515 HAS SOUPS 646515 WITH SCORE 647267.444
AT ITER 3666 NEW BEST:: SOT 4399846 SOS 752270 HAS SOPS 752270 HAS SOUS 646341 HAS SOUPS 646341 WITH SCORE 647093.27
AT ITER 3692 NEW BEST:: SOT 4399846 SOS 752270 HAS SOPS 752270 HAS SOUS 646338 HAS SOUPS 646338 WITH SCORE 647090.27
AT ITER 3846 NEW BEST:: SOT 4399851 SOS 752227 HAS SOPS 752227 HAS SOUS 646295 HAS SOUPS 646295 WITH SCORE 647047.227
AT ITER 3851 NEW BEST:: SOT 4399628 SOS 751781 HAS SOPS 751781 HAS SOUS 646128 HAS SOUPS 646128 WITH SCORE 646879.781
AT ITER 3854 NEW BEST:: SOT 4399628 SOS 751781 HAS SOPS 751781 HAS SOUS 646127 HAS SOUPS 646127 WITH SCORE 646878.781
AT ITER 3857 NEW BEST:: SOT 4399724 SOS 751457 HAS SOPS 751457 HAS SOUS 645997 HAS SOUPS 645997 WITH SCORE 646748.457
AT ITER 3893 NEW BEST:: SOT 4399367 SOS 752695 HAS SOPS 752695 HAS SOUS 645856 HAS SOUPS 645856 WITH SCORE 646608.695
AT ITER 3897 NEW BEST:: SOT 4399279 SOS 752796 HAS SOPS 752796 HAS SOUS 645768 HAS SOUPS 645768 WITH SCORE 646520.796
AT ITER 3906 NEW BEST:: SOT 4398711 SOS 752304 HAS SOPS 752304 HAS SOUS 645276 HAS SOUPS 645276 WITH SCORE 646028.304
AT ITER 3962 NEW BEST:: SOT 4398646 SOS 752174 HAS SOPS 752174 HAS SOUS 645146 HAS SOUPS 645146 WITH SCORE 645898.174
AT ITER 3985 NEW BEST:: SOT 4398501 SOS 751884 HAS SOPS 751884 HAS SOUS 644856 HAS SOUPS 644856 WITH SCORE 645607.884
AT ITER 4015 NEW BEST:: SOT 4398379 SOS 751299 HAS SOPS 751299 HAS SOUS 644393 HAS SOUPS 644393 WITH SCORE 645144.299
AT ITER 4069 NEW BEST:: SOT 4398339 SOS 751219 HAS SOPS 751219 HAS SOUS 644353 HAS SOUPS 644353 WITH SCORE 645104.219
AT ITER 4077 NEW BEST:: SOT 4398312 SOS 751165 HAS SOPS 751165 HAS SOUS 644266 HAS SOUPS 644266 WITH SCORE 645017.165
AT ITER 4079 NEW BEST:: SOT 4398173 SOS 751067 HAS SOPS 751067 HAS SOUS 644168 HAS SOUPS 644168 WITH SCORE 644919.067
AT ITER 4080 NEW BEST:: SOT 4398173 SOS 750995 HAS SOPS 750995 HAS SOUS 644168 HAS SOUPS 644168 WITH SCORE 644918.995
AT ITER 4087 NEW BEST:: SOT 4397910 SOS 750469 HAS SOPS 750469 HAS SOUS 644033 HAS SOUPS 644033 WITH SCORE 644783.469
AT ITER 4088 NEW BEST:: SOT 4397886 SOS 750529 HAS SOPS 750529 HAS SOUS 643945 HAS SOUPS 643945 WITH SCORE 644695.529
AT ITER 4096 NEW BEST:: SOT 4397886 SOS 750528 HAS SOPS 750528 HAS SOUS 643944 HAS SOUPS 643944 WITH SCORE 644694.528
AT ITER 4099 NEW BEST:: SOT 4397886 SOS 750528 HAS SOPS 750528 HAS SOUS 643911 HAS SOUPS 643911 WITH SCORE 644661.528
AT ITER 4109 NEW BEST:: SOT 4397675 SOS 750106 HAS SOPS 750106 HAS SOUS 643872 HAS SOUPS 643872 WITH SCORE 644622.106
AT ITER 4154 NEW BEST:: SOT 4397724 SOS 749856 HAS SOPS 749856 HAS SOUS 643622 HAS SOUPS 643622 WITH SCORE 644371.856
AT ITER 4170 NEW BEST:: SOT 4397696 SOS 749800 HAS SOPS 749800 HAS SOUS 643566 HAS SOUPS 643566 WITH SCORE 644315.8
AT ITER 4178 NEW BEST:: SOT 4397503 SOS 749084 HAS SOPS 749084 HAS SOUS 643170 HAS SOUPS 643170 WITH SCORE 643919.084
AT ITER 4179 NEW BEST:: SOT 4397441 SOS 748960 HAS SOPS 748960 HAS SOUS 643046 HAS SOUPS 643046 WITH SCORE 643794.96
AT ITER 4229 NEW BEST:: SOT 4397229 SOS 748800 HAS SOPS 748800 HAS SOUS 642886 HAS SOUPS 642886 WITH SCORE 643634.8
AT ITER 4245 NEW BEST:: SOT 4397229 SOS 748698 HAS SOPS 748698 HAS SOUS 642784 HAS SOUPS 642784 WITH SCORE 643532.698
AT ITER 4249 NEW BEST:: SOT 4397186 SOS 748612 HAS SOPS 748612 HAS SOUS 642698 HAS SOUPS 642698 WITH SCORE 643446.612
AT ITER 4267 NEW BEST:: SOT 4397181 SOS 748602 HAS SOPS 748602 HAS SOUS 642688 HAS SOUPS 642688 WITH SCORE 643436.602
AT ITER 4311 NEW BEST:: SOT 4397068 SOS 748376 HAS SOPS 748376 HAS SOUS 642417 HAS SOUPS 642417 WITH SCORE 643165.376
AT ITER 4333 NEW BEST:: SOT 4396676 SOS 747668 HAS SOPS 747668 HAS SOUS 642100 HAS SOUPS 642100 WITH SCORE 642847.668
AT ITER 4401 NEW BEST:: SOT 4396675 SOS 747666 HAS SOPS 747666 HAS SOUS 642098 HAS SOUPS 642098 WITH SCORE 642845.666
AT ITER 4407 NEW BEST:: SOT 4396674 SOS 747664 HAS SOPS 747664 HAS SOUS 642096 HAS SOUPS 642096 WITH SCORE 642843.664
AT ITER 4447 NEW BEST:: SOT 4396657 SOS 747630 HAS SOPS 747630 HAS SOUS 642062 HAS SOUPS 642062 WITH SCORE 642809.63
AT ITER 4449 NEW BEST:: SOT 4396649 SOS 747622 HAS SOPS 747622 HAS SOUS 642054 HAS SOUPS 642054 WITH SCORE 642801.622
AT ITER 4483 NEW BEST:: SOT 4396767 SOS 747858 HAS SOPS 747858 HAS SOUS 642044 HAS SOUPS 642044 WITH SCORE 642791.858
AT ITER 4492 NEW BEST:: SOT 4396767 SOS 747414 HAS SOPS 747414 HAS SOUS 642043 HAS SOUPS 642043 WITH SCORE 642790.414
AT ITER 4509 NEW BEST:: SOT 4396588 SOS 747056 HAS SOPS 747056 HAS SOUS 641797 HAS SOUPS 641797 WITH SCORE 642544.056
AT ITER 4521 NEW BEST:: SOT 4396481 SOS 746948 HAS SOPS 746948 HAS SOUS 641689 HAS SOUPS 641689 WITH SCORE 642435.948
AT ITER 4560 NEW BEST:: SOT 4396278 SOS 746542 HAS SOPS 746542 HAS SOUS 641661 HAS SOUPS 641661 WITH SCORE 642407.542
AT ITER 4593 NEW BEST:: SOT 4395873 SOS 746332 HAS SOPS 746332 HAS SOUS 641353 HAS SOUPS 641353 WITH SCORE 642099.332
AT ITER 4601 NEW BEST:: SOT 4395711 SOS 746274 HAS SOPS 746274 HAS SOUS 641234 HAS SOUPS 641234 WITH SCORE 641980.274
AT ITER 4603 NEW BEST:: SOT 4395766 SOS 745877 HAS SOPS 745877 HAS SOUS 640782 HAS SOUPS 640782 WITH SCORE 641527.877
AT ITER 4611 NEW BEST:: SOT 4395555 SOS 736593 HAS SOPS 736593 HAS SOUS 640360 HAS SOUPS 640360 WITH SCORE 641096.593
AT ITER 4643 NEW BEST:: SOT 4395552 SOS 736587 HAS SOPS 736587 HAS SOUS 640357 HAS SOUPS 640357 WITH SCORE 641093.587
AT ITER 4656 NEW BEST:: SOT 4395547 SOS 736582 HAS SOPS 736582 HAS SOUS 640352 HAS SOUPS 640352 WITH SCORE 641088.582
AT ITER 4682 NEW BEST:: SOT 4395372 SOS 736232 HAS SOPS 736232 HAS SOUS 640002 HAS SOUPS 640002 WITH SCORE 640738.232
AT ITER 4684 NEW BEST:: SOT 4395349 SOS 736186 HAS SOPS 736186 HAS SOUS 639979 HAS SOUPS 639979 WITH SCORE 640715.186
AT ITER 4701 NEW BEST:: SOT 4395275 SOS 736038 HAS SOPS 736038 HAS SOUS 639905 HAS SOUPS 639905 WITH SCORE 640641.038
AT ITER 4709 NEW BEST:: SOT 4395180 SOS 736037 HAS SOPS 736037 HAS SOUS 639904 HAS SOUPS 639904 WITH SCORE 640640.037
AT ITER 4711 NEW BEST:: SOT 4395235 SOS 736147 HAS SOPS 736147 HAS SOUS 639799 HAS SOUPS 639799 WITH SCORE 640535.147
AT ITER 4729 NEW BEST:: SOT 4394987 SOS 735651 HAS SOPS 735651 HAS SOUS 639303 HAS SOUPS 639303 WITH SCORE 640038.651
AT ITER 4782 NEW BEST:: SOT 4394944 SOS 735565 HAS SOPS 735565 HAS SOUS 639217 HAS SOUPS 639217 WITH SCORE 639952.565
AT ITER 4816 NEW BEST:: SOT 4394741 SOS 735362 HAS SOPS 735362 HAS SOUS 639014 HAS SOUPS 639014 WITH SCORE 639749.362
AT ITER 4818 NEW BEST:: SOT 4394741 SOS 735362 HAS SOPS 735362 HAS SOUS 638953 HAS SOUPS 638953 WITH SCORE 639688.362
AT ITER 4872 NEW BEST:: SOT 4394474 SOS 734973 HAS SOPS 734973 HAS SOUS 638686 HAS SOUPS 638686 WITH SCORE 639420.973
AT ITER 4875 NEW BEST:: SOT 4394208 SOS 734657 HAS SOPS 734657 HAS SOUS 638644 HAS SOUPS 638644 WITH SCORE 639378.657
AT ITER 4889 NEW BEST:: SOT 4393950 SOS 734313 HAS SOPS 734313 HAS SOUS 638300 HAS SOUPS 638300 WITH SCORE 639034.313
AT ITER 4899 NEW BEST:: SOT 4393943 SOS 734299 HAS SOPS 734299 HAS SOUS 638293 HAS SOUPS 638293 WITH SCORE 639027.299
AT ITER 4903 NEW BEST:: SOT 4393994 SOS 734298 HAS SOPS 734298 HAS SOUS 638292 HAS SOUPS 638292 WITH SCORE 639026.298
AT ITER 4918 NEW BEST:: SOT 4393993 SOS 734296 HAS SOPS 734296 HAS SOUS 638290 HAS SOUPS 638290 WITH SCORE 639024.296
AT ITER 4925 NEW BEST:: SOT 4393839 SOS 733988 HAS SOPS 733988 HAS SOUS 637982 HAS SOUPS 637982 WITH SCORE 638715.988
AT ITER 4975 NEW BEST:: SOT 4393839 SOS 733840 HAS SOPS 733840 HAS SOUS 637834 HAS SOUPS 637834 WITH SCORE 638567.84
AT ITER 4992 NEW BEST:: SOT 4393838 SOS 733838 HAS SOPS 733838 HAS SOUS 637832 HAS SOUPS 637832 WITH SCORE 638565.838
AT ITER 5051 NEW BEST:: SOT 4393413 SOS 733428 HAS SOPS 733428 HAS SOUS 637422 HAS SOUPS 637422 WITH SCORE 638155.428
AT ITER 5055 NEW BEST:: SOT 4393413 SOS 733273 HAS SOPS 733273 HAS SOUS 637267 HAS SOUPS 637267 WITH SCORE 638000.273
AT ITER 5087 NEW BEST:: SOT 4393413 SOS 733273 HAS SOPS 733273 HAS SOUS 637098 HAS SOUPS 637098 WITH SCORE 637831.273
AT ITER 5089 NEW BEST:: SOT 4393400 SOS 733247 HAS SOPS 733247 HAS SOUS 637072 HAS SOUPS 637072 WITH SCORE 637805.247
AT ITER 5109 NEW BEST:: SOT 4393284 SOS 733015 HAS SOPS 733015 HAS SOUS 636956 HAS SOUPS 636956 WITH SCORE 637689.015
AT ITER 5148 NEW BEST:: SOT 4393281 SOS 733009 HAS SOPS 733009 HAS SOUS 636950 HAS SOUPS 636950 WITH SCORE 637683.009
AT ITER 5196 NEW BEST:: SOT 4393164 SOS 733065 HAS SOPS 733065 HAS SOUS 636776 HAS SOUPS 636776 WITH SCORE 637509.065
AT ITER 5232 NEW BEST:: SOT 4393094 SOS 733229 HAS SOPS 733229 HAS SOUS 636636 HAS SOUPS 636636 WITH SCORE 637369.229
AT ITER 5233 NEW BEST:: SOT 4393012 SOS 733065 HAS SOPS 733065 HAS SOUS 636472 HAS SOUPS 636472 WITH SCORE 637205.065
AT ITER 5264 NEW BEST:: SOT 4393012 SOS 733024 HAS SOPS 733024 HAS SOUS 636431 HAS SOUPS 636431 WITH SCORE 637164.024
AT ITER 5295 NEW BEST:: SOT 4392770 SOS 732782 HAS SOPS 732782 HAS SOUS 636431 HAS SOUPS 636431 WITH SCORE 637163.782
AT ITER 5320 NEW BEST:: SOT 4392678 SOS 732598 HAS SOPS 732598 HAS SOUS 636247 HAS SOUPS 636247 WITH SCORE 636979.598
AT ITER 5353 NEW BEST:: SOT 4392676 SOS 732594 HAS SOPS 732594 HAS SOUS 636245 HAS SOUPS 636245 WITH SCORE 636977.594
AT ITER 5356 NEW BEST:: SOT 4392675 SOS 732486 HAS SOPS 732486 HAS SOUS 636176 HAS SOUPS 636176 WITH SCORE 636908.486
AT ITER 5357 NEW BEST:: SOT 4392467 SOS 732070 HAS SOPS 732070 HAS SOUS 635760 HAS SOUPS 635760 WITH SCORE 636492.07
AT ITER 5364 NEW BEST:: SOT 4392186 SOS 731508 HAS SOPS 731508 HAS SOUS 635500 HAS SOUPS 635500 WITH SCORE 636231.508
AT ITER 5371 NEW BEST:: SOT 4392031 SOS 731491 HAS SOPS 731491 HAS SOUS 635465 HAS SOUPS 635465 WITH SCORE 636196.491
AT ITER 5372 NEW BEST:: SOT 4391982 SOS 731482 HAS SOPS 731482 HAS SOUS 635456 HAS SOUPS 635456 WITH SCORE 636187.482
AT ITER 5399 NEW BEST:: SOT 4391924 SOS 731366 HAS SOPS 731366 HAS SOUS 635340 HAS SOUPS 635340 WITH SCORE 636071.366
AT ITER 5443 NEW BEST:: SOT 4391876 SOS 731318 HAS SOPS 731318 HAS SOUS 635292 HAS SOUPS 635292 WITH SCORE 636023.318
AT ITER 5458 NEW BEST:: SOT 4391701 SOS 730968 HAS SOPS 730968 HAS SOUS 634942 HAS SOUPS 634942 WITH SCORE 635672.968
AT ITER 5461 NEW BEST:: SOT 4391270 SOS 730878 HAS SOPS 730878 HAS SOUS 634555 HAS SOUPS 634555 WITH SCORE 635285.878
AT ITER 5510 NEW BEST:: SOT 4390980 SOS 730652 HAS SOPS 730652 HAS SOUS 634291 HAS SOUPS 634291 WITH SCORE 635021.652
AT ITER 5512 NEW BEST:: SOT 4390750 SOS 730192 HAS SOPS 730192 HAS SOUS 633946 HAS SOUPS 633946 WITH SCORE 634676.192
AT ITER 5532 NEW BEST:: SOT 4390714 SOS 730120 HAS SOPS 730120 HAS SOUS 633874 HAS SOUPS 633874 WITH SCORE 634604.12
AT ITER 5552 NEW BEST:: SOT 4390618 SOS 730172 HAS SOPS 730172 HAS SOUS 633868 HAS SOUPS 633868 WITH SCORE 634598.172
AT ITER 5570 NEW BEST:: SOT 4390676 SOS 730288 HAS SOPS 730288 HAS SOUS 633699 HAS SOUPS 633699 WITH SCORE 634429.288
AT ITER 5579 NEW BEST:: SOT 4390413 SOS 729499 HAS SOPS 729499 HAS SOUS 633173 HAS SOUPS 633173 WITH SCORE 633902.499
AT ITER 5582 NEW BEST:: SOT 4390413 SOS 729499 HAS SOPS 729499 HAS SOUS 633172 HAS SOUPS 633172 WITH SCORE 633901.499
AT ITER 5609 NEW BEST:: SOT 4390313 SOS 729349 HAS SOPS 729349 HAS SOUS 633022 HAS SOUPS 633022 WITH SCORE 633751.349
AT ITER 5629 NEW BEST:: SOT 4390290 SOS 729303 HAS SOPS 729303 HAS SOUS 632976 HAS SOUPS 632976 WITH SCORE 633705.303
AT ITER 5630 NEW BEST:: SOT 4389896 SOS 728515 HAS SOPS 728515 HAS SOUS 632188 HAS SOUPS 632188 WITH SCORE 632916.515
AT ITER 5639 NEW BEST:: SOT 4389648 SOS 728019 HAS SOPS 728019 HAS SOUS 632188 HAS SOUPS 632188 WITH SCORE 632916.019
AT ITER 5674 NEW BEST:: SOT 4389557 SOS 727837 HAS SOPS 727837 HAS SOUS 632097 HAS SOUPS 632097 WITH SCORE 632824.837
AT ITER 5685 NEW BEST:: SOT 4389533 SOS 727789 HAS SOPS 727789 HAS SOUS 632049 HAS SOUPS 632049 WITH SCORE 632776.789
AT ITER 5718 NEW BEST:: SOT 4389526 SOS 727775 HAS SOPS 727775 HAS SOUS 632042 HAS SOUPS 632042 WITH SCORE 632769.775
AT ITER 5737 NEW BEST:: SOT 4389480 SOS 727683 HAS SOPS 727683 HAS SOUS 631950 HAS SOUPS 631950 WITH SCORE 632677.683
AT ITER 5742 NEW BEST:: SOT 4389480 SOS 727682 HAS SOPS 727682 HAS SOUS 631949 HAS SOUPS 631949 WITH SCORE 632676.682
AT ITER 5755 NEW BEST:: SOT 4389475 SOS 727672 HAS SOPS 727672 HAS SOUS 631869 HAS SOUPS 631869 WITH SCORE 632596.672
AT ITER 5759 NEW BEST:: SOT 4389475 SOS 727454 HAS SOPS 727454 HAS SOUS 631869 HAS SOUPS 631869 WITH SCORE 632596.454
AT ITER 5773 NEW BEST:: SOT 4389433 SOS 727583 HAS SOPS 727583 HAS SOUS 631827 HAS SOUPS 631827 WITH SCORE 632554.583
AT ITER 5796 NEW BEST:: SOT 4389258 SOS 727233 HAS SOPS 727233 HAS SOUS 631692 HAS SOUPS 631692 WITH SCORE 632419.233
AT ITER 5803 NEW BEST:: SOT 4389192 SOS 727101 HAS SOPS 727101 HAS SOUS 631425 HAS SOUPS 631425 WITH SCORE 632152.101
AT ITER 5823 NEW BEST:: SOT 4389239 SOS 727195 HAS SOPS 727195 HAS SOUS 631118 HAS SOUPS 631118 WITH SCORE 631845.195
AT ITER 5864 NEW BEST:: SOT 4389232 SOS 727181 HAS SOPS 727181 HAS SOUS 631104 HAS SOUPS 631104 WITH SCORE 631831.181
AT ITER 5893 NEW BEST:: SOT 4389153 SOS 726944 HAS SOPS 726944 HAS SOUS 630946 HAS SOUPS 630946 WITH SCORE 631672.944
AT ITER 5894 NEW BEST:: SOT 4388842 SOS 726632 HAS SOPS 726632 HAS SOUS 630634 HAS SOUPS 630634 WITH SCORE 631360.632
AT ITER 5917 NEW BEST:: SOT 4388767 SOS 726482 HAS SOPS 726482 HAS SOUS 630484 HAS SOUPS 630484 WITH SCORE 631210.482
AT ITER 5923 NEW BEST:: SOT 4388705 SOS 726358 HAS SOPS 726358 HAS SOUS 630422 HAS SOUPS 630422 WITH SCORE 631148.358
AT ITER 5976 NEW BEST:: SOT 4388705 SOS 726358 HAS SOPS 726358 HAS SOUS 630200 HAS SOUPS 630200 WITH SCORE 630926.358
AT ITER 5979 NEW BEST:: SOT 4388604 SOS 726836 HAS SOPS 726836 HAS SOUS 630199 HAS SOUPS 630199 WITH SCORE 630925.836
AT ITER 6028 NEW BEST:: SOT 4388604 SOS 726836 HAS SOPS 726836 HAS SOUS 630151 HAS SOUPS 630151 WITH SCORE 630877.836
AT ITER 6049 NEW BEST:: SOT 4388604 SOS 726222 HAS SOPS 726222 HAS SOUS 630151 HAS SOUPS 630151 WITH SCORE 630877.222
AT ITER 6054 NEW BEST:: SOT 4388604 SOS 726222 HAS SOPS 726222 HAS SOUS 630150 HAS SOUPS 630150 WITH SCORE 630876.222
AT ITER 6061 NEW BEST:: SOT 4388478 SOS 726096 HAS SOPS 726096 HAS SOUS 630024 HAS SOUPS 630024 WITH SCORE 630750.096
AT ITER 6069 NEW BEST:: SOT 4388451 SOS 725965 HAS SOPS 725965 HAS SOUS 629893 HAS SOUPS 629893 WITH SCORE 630618.965
AT ITER 6109 NEW BEST:: SOT 4388258 SOS 726199 HAS SOPS 726199 HAS SOUS 629817 HAS SOUPS 629817 WITH SCORE 630543.199
AT ITER 6137 NEW BEST:: SOT 4388166 SOS 726015 HAS SOPS 726015 HAS SOUS 629578 HAS SOUPS 629578 WITH SCORE 630304.015
AT ITER 6152 NEW BEST:: SOT 4388148 SOS 725979 HAS SOPS 725979 HAS SOUS 629337 HAS SOUPS 629337 WITH SCORE 630062.979
AT ITER 6158 NEW BEST:: SOT 4388110 SOS 725903 HAS SOPS 725903 HAS SOUS 629261 HAS SOUPS 629261 WITH SCORE 629986.903
AT ITER 6170 NEW BEST:: SOT 4387952 SOS 725745 HAS SOPS 725745 HAS SOUS 629103 HAS SOUPS 629103 WITH SCORE 629828.745
AT ITER 6171 NEW BEST:: SOT 4387870 SOS 725663 HAS SOPS 725663 HAS SOUS 629021 HAS SOUPS 629021 WITH SCORE 629746.663
AT ITER 6182 NEW BEST:: SOT 4387870 SOS 725663 HAS SOPS 725663 HAS SOUS 628766 HAS SOUPS 628766 WITH SCORE 629491.663
AT ITER 6210 NEW BEST:: SOT 4387778 SOS 725570 HAS SOPS 725570 HAS SOUS 628719 HAS SOUPS 628719 WITH SCORE 629444.57
AT ITER 6242 NEW BEST:: SOT 4387419 SOS 726017 HAS SOPS 726017 HAS SOUS 628364 HAS SOUPS 628364 WITH SCORE 629090.017
AT ITER 6250 NEW BEST:: SOT 4387193 SOS 725565 HAS SOPS 725565 HAS SOUS 627912 HAS SOUPS 627912 WITH SCORE 628637.565
AT ITER 6255 NEW BEST:: SOT 4387000 SOS 725179 HAS SOPS 725179 HAS SOUS 627526 HAS SOUPS 627526 WITH SCORE 628251.179
AT ITER 6280 NEW BEST:: SOT 4386973 SOS 725125 HAS SOPS 725125 HAS SOUS 627499 HAS SOUPS 627499 WITH SCORE 628224.125
AT ITER 6302 NEW BEST:: SOT 4386836 SOS 724851 HAS SOPS 724851 HAS SOUS 627225 HAS SOUPS 627225 WITH SCORE 627949.851
AT ITER 6306 NEW BEST:: SOT 4386619 SOS 724417 HAS SOPS 724417 HAS SOUS 627007 HAS SOUPS 627007 WITH SCORE 627731.417
AT ITER 6313 NEW BEST:: SOT 4385994 SOS 725547 HAS SOPS 725547 HAS SOUS 626514 HAS SOUPS 626514 WITH SCORE 627239.547
AT ITER 6331 NEW BEST:: SOT 4385873 SOS 725305 HAS SOPS 725305 HAS SOUS 626205 HAS SOUPS 626205 WITH SCORE 626930.305
AT ITER 6344 NEW BEST:: SOT 4385526 SOS 724611 HAS SOPS 724611 HAS SOUS 625460 HAS SOUPS 625460 WITH SCORE 626184.611
AT ITER 6347 NEW BEST:: SOT 4385526 SOS 724511 HAS SOPS 724511 HAS SOUS 625360 HAS SOUPS 625360 WITH SCORE 626084.511
AT ITER 6375 NEW BEST:: SOT 4385476 SOS 724350 HAS SOPS 724350 HAS SOUS 625249 HAS SOUPS 625249 WITH SCORE 625973.35
AT ITER 6378 NEW BEST:: SOT 4385474 SOS 724220 HAS SOPS 724220 HAS SOUS 625184 HAS SOUPS 625184 WITH SCORE 625908.22
AT ITER 6382 NEW BEST:: SOT 4385547 SOS 724194 HAS SOPS 724194 HAS SOUS 625085 HAS SOUPS 625085 WITH SCORE 625809.194
AT ITER 6398 NEW BEST:: SOT 4385495 SOS 724142 HAS SOPS 724142 HAS SOUS 624981 HAS SOUPS 624981 WITH SCORE 625705.142
AT ITER 6422 NEW BEST:: SOT 4384698 SOS 723818 HAS SOPS 723818 HAS SOUS 624455 HAS SOUPS 624455 WITH SCORE 625178.818
AT ITER 6434 NEW BEST:: SOT 4384698 SOS 723699 HAS SOPS 723699 HAS SOUS 624454 HAS SOUPS 624454 WITH SCORE 625177.699
AT ITER 6444 NEW BEST:: SOT 4384637 SOS 723577 HAS SOPS 723577 HAS SOUS 624382 HAS SOUPS 624382 WITH SCORE 625105.577
AT ITER 6469 NEW BEST:: SOT 4384583 SOS 723469 HAS SOPS 723469 HAS SOUS 624274 HAS SOUPS 624274 WITH SCORE 624997.469
AT ITER 6473 NEW BEST:: SOT 4384571 SOS 723445 HAS SOPS 723445 HAS SOUS 624250 HAS SOUPS 624250 WITH SCORE 624973.445
AT ITER 6506 NEW BEST:: SOT 4384399 SOS 723327 HAS SOPS 723327 HAS SOUS 624132 HAS SOUPS 624132 WITH SCORE 624855.327
AT ITER 6517 NEW BEST:: SOT 4384384 SOS 723297 HAS SOPS 723297 HAS SOUS 624102 HAS SOUPS 624102 WITH SCORE 624825.297
AT ITER 6521 NEW BEST:: SOT 4384365 SOS 723288 HAS SOPS 723288 HAS SOUS 624093 HAS SOUPS 624093 WITH SCORE 624816.288
AT ITER 6530 NEW BEST:: SOT 4384025 SOS 722608 HAS SOPS 722608 HAS SOUS 623753 HAS SOUPS 623753 WITH SCORE 624475.608
AT ITER 6553 NEW BEST:: SOT 4383925 SOS 722408 HAS SOPS 722408 HAS SOUS 623601 HAS SOUPS 623601 WITH SCORE 624323.408
AT ITER 6586 NEW BEST:: SOT 4383615 SOS 722516 HAS SOPS 722516 HAS SOUS 623516 HAS SOUPS 623516 WITH SCORE 624238.516
AT ITER 6604 NEW BEST:: SOT 4383467 SOS 722220 HAS SOPS 722220 HAS SOUS 623368 HAS SOUPS 623368 WITH SCORE 624090.22
AT ITER 6610 NEW BEST:: SOT 4382777 SOS 722104 HAS SOPS 722104 HAS SOUS 622695 HAS SOUPS 622695 WITH SCORE 623417.104
AT ITER 6627 NEW BEST:: SOT 4381557 SOS 724793 HAS SOPS 724793 HAS SOUS 621475 HAS SOUPS 621475 WITH SCORE 622199.793
AT ITER 6639 NEW BEST:: SOT 4381557 SOS 724593 HAS SOPS 724593 HAS SOUS 621475 HAS SOUPS 621475 WITH SCORE 622199.593
AT ITER 6747 NEW BEST:: SOT 4381304 SOS 724087 HAS SOPS 724087 HAS SOUS 621317 HAS SOUPS 621317 WITH SCORE 622041.087
AT ITER 6758 NEW BEST:: SOT 4381123 SOS 723725 HAS SOPS 723725 HAS SOUS 621136 HAS SOUPS 621136 WITH SCORE 621859.725
AT ITER 6772 NEW BEST:: SOT 4380871 SOS 724361 HAS SOPS 724361 HAS SOUS 621045 HAS SOUPS 621045 WITH SCORE 621769.361
AT ITER 6775 NEW BEST:: SOT 4380834 SOS 724341 HAS SOPS 724341 HAS SOUS 621017 HAS SOUPS 621017 WITH SCORE 621741.341
AT ITER 6793 NEW BEST:: SOT 4380890 SOS 724337 HAS SOPS 724337 HAS SOUS 621014 HAS SOUPS 621014 WITH SCORE 621738.337
AT ITER 6797 NEW BEST:: SOT 4380833 SOS 724223 HAS SOPS 724223 HAS SOUS 620957 HAS SOUPS 620957 WITH SCORE 621681.223
AT ITER 6816 NEW BEST:: SOT 4380707 SOS 723971 HAS SOPS 723971 HAS SOUS 620705 HAS SOUPS 620705 WITH SCORE 621428.971
AT ITER 6821 NEW BEST:: SOT 4380844 SOS 723913 HAS SOPS 723913 HAS SOUS 620676 HAS SOUPS 620676 WITH SCORE 621399.913
AT ITER 6822 NEW BEST:: SOT 4380749 SOS 723719 HAS SOPS 723719 HAS SOUS 620486 HAS SOUPS 620486 WITH SCORE 621209.719
AT ITER 6850 NEW BEST:: SOT 4380711 SOS 723643 HAS SOPS 723643 HAS SOUS 620410 HAS SOUPS 620410 WITH SCORE 621133.643
AT ITER 6862 NEW BEST:: SOT 4380648 SOS 723792 HAS SOPS 723792 HAS SOUS 620347 HAS SOUPS 620347 WITH SCORE 621070.792
AT ITER 6866 NEW BEST:: SOT 4380591 SOS 723678 HAS SOPS 723678 HAS SOUS 620233 HAS SOUPS 620233 WITH SCORE 620956.678
AT ITER 6873 NEW BEST:: SOT 4380471 SOS 723438 HAS SOPS 723438 HAS SOUS 620102 HAS SOUPS 620102 WITH SCORE 620825.438
AT ITER 6874 NEW BEST:: SOT 4380088 SOS 723062 HAS SOPS 723062 HAS SOUS 619719 HAS SOUPS 619719 WITH SCORE 620442.062
AT ITER 6875 NEW BEST:: SOT 4379815 SOS 722516 HAS SOPS 722516 HAS SOUS 619173 HAS SOUPS 619173 WITH SCORE 619895.516
AT ITER 6894 NEW BEST:: SOT 4379735 SOS 722356 HAS SOPS 722356 HAS SOUS 619093 HAS SOUPS 619093 WITH SCORE 619815.356
AT ITER 6909 NEW BEST:: SOT 4379689 SOS 722264 HAS SOPS 722264 HAS SOUS 619047 HAS SOUPS 619047 WITH SCORE 619769.264
AT ITER 6929 NEW BEST:: SOT 4379741 SOS 722142 HAS SOPS 722142 HAS SOUS 618990 HAS SOUPS 618990 WITH SCORE 619712.142
AT ITER 6955 NEW BEST:: SOT 4379740 SOS 722140 HAS SOPS 722140 HAS SOUS 618988 HAS SOUPS 618988 WITH SCORE 619710.14
AT ITER 6960 NEW BEST:: SOT 4379715 SOS 722115 HAS SOPS 722115 HAS SOUS 618987 HAS SOUPS 618987 WITH SCORE 619709.115
AT ITER 7053 NEW BEST:: SOT 4379681 SOS 722081 HAS SOPS 722081 HAS SOUS 618919 HAS SOUPS 618919 WITH SCORE 619641.081
AT ITER 7054 NEW BEST:: SOT 4379533 SOS 721637 HAS SOPS 721637 HAS SOUS 618623 HAS SOUPS 618623 WITH SCORE 619344.637
AT ITER 7097 NEW BEST:: SOT 4379533 SOS 721637 HAS SOPS 721637 HAS SOUS 618582 HAS SOUPS 618582 WITH SCORE 619303.637
AT ITER 7122 NEW BEST:: SOT 4379436 SOS 721443 HAS SOPS 721443 HAS SOUS 618367 HAS SOUPS 618367 WITH SCORE 619088.443
AT ITER 7130 NEW BEST:: SOT 4379209 SOS 721575 HAS SOPS 721575 HAS SOUS 618270 HAS SOUPS 618270 WITH SCORE 618991.575
AT ITER 7131 NEW BEST:: SOT 4378625 SOS 721664 HAS SOPS 721664 HAS SOUS 618054 HAS SOUPS 618054 WITH SCORE 618775.664
AT ITER 7162 NEW BEST:: SOT 4378547 SOS 721978 HAS SOPS 721978 HAS SOUS 618030 HAS SOUPS 618030 WITH SCORE 618751.978
AT ITER 7171 NEW BEST:: SOT 4378223 SOS 722058 HAS SOPS 722058 HAS SOUS 617888 HAS SOUPS 617888 WITH SCORE 618610.058
AT ITER 7187 NEW BEST:: SOT 4378233 SOS 721913 HAS SOPS 721913 HAS SOUS 617743 HAS SOUPS 617743 WITH SCORE 618464.913
AT ITER 7197 NEW BEST:: SOT 4378334 SOS 721662 HAS SOPS 721662 HAS SOUS 617493 HAS SOUPS 617493 WITH SCORE 618214.662
AT ITER 7218 NEW BEST:: SOT 4378221 SOS 721323 HAS SOPS 721323 HAS SOUS 617267 HAS SOUPS 617267 WITH SCORE 617988.323
AT ITER 7226 NEW BEST:: SOT 4378221 SOS 721323 HAS SOPS 721323 HAS SOUS 617248 HAS SOUPS 617248 WITH SCORE 617969.323
AT ITER 7237 NEW BEST:: SOT 4377674 SOS 721399 HAS SOPS 721399 HAS SOUS 617153 HAS SOUPS 617153 WITH SCORE 617874.399
AT ITER 7241 NEW BEST:: SOT 4377598 SOS 721247 HAS SOPS 721247 HAS SOUS 617001 HAS SOUPS 617001 WITH SCORE 617722.247
AT ITER 7244 NEW BEST:: SOT 4377562 SOS 721175 HAS SOPS 721175 HAS SOUS 616965 HAS SOUPS 616965 WITH SCORE 617686.175
AT ITER 7326 NEW BEST:: SOT 4377481 SOS 721013 HAS SOPS 721013 HAS SOUS 616915 HAS SOUPS 616915 WITH SCORE 617636.013
AT ITER 7368 NEW BEST:: SOT 4377420 SOS 720891 HAS SOPS 720891 HAS SOUS 616793 HAS SOUPS 616793 WITH SCORE 617513.891
AT ITER 7370 NEW BEST:: SOT 4377110 SOS 720271 HAS SOPS 720271 HAS SOUS 616109 HAS SOUPS 616109 WITH SCORE 616829.271
AT ITER 7426 NEW BEST:: SOT 4377109 SOS 720269 HAS SOPS 720269 HAS SOUS 616107 HAS SOUPS 616107 WITH SCORE 616827.269
AT ITER 7433 NEW BEST:: SOT 4376916 SOS 719883 HAS SOPS 719883 HAS SOUS 616006 HAS SOUPS 616006 WITH SCORE 616725.883
AT ITER 7450 NEW BEST:: SOT 4376885 SOS 719821 HAS SOPS 719821 HAS SOUS 615944 HAS SOUPS 615944 WITH SCORE 616663.821
AT ITER 7451 NEW BEST:: SOT 4376678 SOS 719614 HAS SOPS 719614 HAS SOUS 615732 HAS SOUPS 615732 WITH SCORE 616451.614
AT ITER 7489 NEW BEST:: SOT 4376672 SOS 719602 HAS SOPS 719602 HAS SOUS 615720 HAS SOUPS 615720 WITH SCORE 616439.602
AT ITER 7497 NEW BEST:: SOT 4376609 SOS 719713 HAS SOPS 719713 HAS SOUS 615707 HAS SOUPS 615707 WITH SCORE 616426.713
AT ITER 7531 NEW BEST:: SOT 4376621 SOS 719177 HAS SOPS 719177 HAS SOUS 615439 HAS SOUPS 615439 WITH SCORE 616158.177
AT ITER 7533 NEW BEST:: SOT 4376495 SOS 717980 HAS SOPS 717980 HAS SOUS 615124 HAS SOUPS 615124 WITH SCORE 615841.98
AT ITER 7550 NEW BEST:: SOT 4376225 SOS 717440 HAS SOPS 717440 HAS SOUS 614875 HAS SOUPS 614875 WITH SCORE 615592.44
AT ITER 7590 NEW BEST:: SOT 4376106 SOS 717202 HAS SOPS 717202 HAS SOUS 614637 HAS SOUPS 614637 WITH SCORE 615354.202
AT ITER 7637 NEW BEST:: SOT 4376284 SOS 716954 HAS SOPS 716954 HAS SOUS 614416 HAS SOUPS 614416 WITH SCORE 615132.954
AT ITER 7650 NEW BEST:: SOT 4376195 SOS 716776 HAS SOPS 716776 HAS SOUS 614327 HAS SOUPS 614327 WITH SCORE 615043.776
AT ITER 7652 NEW BEST:: SOT 4376195 SOS 716721 HAS SOPS 716721 HAS SOUS 614272 HAS SOUPS 614272 WITH SCORE 614988.721
AT ITER 7688 NEW BEST:: SOT 4376109 SOS 716549 HAS SOPS 716549 HAS SOUS 614186 HAS SOUPS 614186 WITH SCORE 614902.549
AT ITER 7699 NEW BEST:: SOT 4375948 SOS 716227 HAS SOPS 716227 HAS SOUS 614021 HAS SOUPS 614021 WITH SCORE 614737.227
AT ITER 7702 NEW BEST:: SOT 4376063 SOS 716392 HAS SOPS 716392 HAS SOUS 613857 HAS SOUPS 613857 WITH SCORE 614573.392
AT ITER 7731 NEW BEST:: SOT 4376063 SOS 716392 HAS SOPS 716392 HAS SOUS 613684 HAS SOUPS 613684 WITH SCORE 614400.392
AT ITER 7743 NEW BEST:: SOT 4375982 SOS 716230 HAS SOPS 716230 HAS SOUS 613522 HAS SOUPS 613522 WITH SCORE 614238.23
AT ITER 7814 NEW BEST:: SOT 4375788 SOS 715340 HAS SOPS 715340 HAS SOUS 613356 HAS SOUPS 613356 WITH SCORE 614071.34
AT ITER 7818 NEW BEST:: SOT 4375780 SOS 715324 HAS SOPS 715324 HAS SOUS 613340 HAS SOUPS 613340 WITH SCORE 614055.324
AT ITER 7833 NEW BEST:: SOT 4375778 SOS 715320 HAS SOPS 715320 HAS SOUS 613336 HAS SOUPS 613336 WITH SCORE 614051.32
AT ITER 7851 NEW BEST:: SOT 4374108 SOS 739774 HAS SOPS 739774 HAS SOUS 612539 HAS SOUPS 612539 WITH SCORE 613278.774
AT ITER 7856 NEW BEST:: SOT 4374088 SOS 739695 HAS SOPS 739695 HAS SOUS 612499 HAS SOUPS 612499 WITH SCORE 613238.695
AT ITER 7867 NEW BEST:: SOT 4374088 SOS 739695 HAS SOPS 739695 HAS SOUS 612386 HAS SOUPS 612386 WITH SCORE 613125.695
AT ITER 7872 NEW BEST:: SOT 4374087 SOS 739693 HAS SOPS 739693 HAS SOUS 612384 HAS SOUPS 612384 WITH SCORE 613123.693
AT ITER 7896 NEW BEST:: SOT 4374087 SOS 739579 HAS SOPS 739579 HAS SOUS 612270 HAS SOUPS 612270 WITH SCORE 613009.579
AT ITER 7901 NEW BEST:: SOT 4373802 SOS 739294 HAS SOPS 739294 HAS SOUS 611985 HAS SOUPS 611985 WITH SCORE 612724.294
AT ITER 7907 NEW BEST:: SOT 4373751 SOS 739192 HAS SOPS 739192 HAS SOUS 611934 HAS SOUPS 611934 WITH SCORE 612673.192
AT ITER 7921 NEW BEST:: SOT 4373390 SOS 745862 HAS SOPS 745862 HAS SOUS 611749 HAS SOUPS 611749 WITH SCORE 612494.862
AT ITER 7944 NEW BEST:: SOT 4373382 SOS 745813 HAS SOPS 745813 HAS SOUS 611708 HAS SOUPS 611708 WITH SCORE 612453.813
AT ITER 7972 NEW BEST:: SOT 4373382 SOS 745714 HAS SOPS 745714 HAS SOUS 611609 HAS SOUPS 611609 WITH SCORE 612354.714
AT ITER 7981 NEW BEST:: SOT 4373382 SOS 745713 HAS SOPS 745713 HAS SOUS 611608 HAS SOUPS 611608 WITH SCORE 612353.713
AT ITER 7995 NEW BEST:: SOT 4373374 SOS 745697 HAS SOPS 745697 HAS SOUS 611592 HAS SOUPS 611592 WITH SCORE 612337.697
AT ITER 8065 NEW BEST:: SOT 4373188 SOS 745325 HAS SOPS 745325 HAS SOUS 611299 HAS SOUPS 611299 WITH SCORE 612044.325
AT ITER 8066 NEW BEST:: SOT 4373188 SOS 745307 HAS SOPS 745307 HAS SOUS 611299 HAS SOUPS 611299 WITH SCORE 612044.307
AT ITER 8086 NEW BEST:: SOT 4373188 SOS 745307 HAS SOPS 745307 HAS SOUS 611235 HAS SOUPS 611235 WITH SCORE 611980.307
AT ITER 8095 NEW BEST:: SOT 4373135 SOS 745307 HAS SOPS 745307 HAS SOUS 611234 HAS SOUPS 611234 WITH SCORE 611979.307
AT ITER 8118 NEW BEST:: SOT 4373135 SOS 745236 HAS SOPS 745236 HAS SOUS 611234 HAS SOUPS 611234 WITH SCORE 611979.236
AT ITER 8126 NEW BEST:: SOT 4372697 SOS 745990 HAS SOPS 745990 HAS SOUS 611122 HAS SOUPS 611122 WITH SCORE 611867.99
AT ITER 8176 NEW BEST:: SOT 4372679 SOS 745954 HAS SOPS 745954 HAS SOUS 611098 HAS SOUPS 611098 WITH SCORE 611843.954
AT ITER 8184 NEW BEST:: SOT 4372823 SOS 746242 HAS SOPS 746242 HAS SOUS 611078 HAS SOUPS 611078 WITH SCORE 611824.242
AT ITER 8205 NEW BEST:: SOT 4372822 SOS 746183 HAS SOPS 746183 HAS SOUS 611076 HAS SOUPS 611076 WITH SCORE 611822.183
AT ITER 8219 NEW BEST:: SOT 4372822 SOS 746182 HAS SOPS 746182 HAS SOUS 611075 HAS SOUPS 611075 WITH SCORE 611821.182
AT ITER 8227 NEW BEST:: SOT 4372800 SOS 746138 HAS SOPS 746138 HAS SOUS 611031 HAS SOUPS 611031 WITH SCORE 611777.138
AT ITER 8240 NEW BEST:: SOT 4372785 SOS 746057 HAS SOPS 746057 HAS SOUS 610950 HAS SOUPS 610950 WITH SCORE 611696.057
AT ITER 8241 NEW BEST:: SOT 4372785 SOS 746052 HAS SOPS 746052 HAS SOUS 610945 HAS SOUPS 610945 WITH SCORE 611691.052
AT ITER 8242 NEW BEST:: SOT 4372753 SOS 745988 HAS SOPS 745988 HAS SOUS 610881 HAS SOUPS 610881 WITH SCORE 611626.988
AT ITER 8247 NEW BEST:: SOT 4372752 SOS 745986 HAS SOPS 745986 HAS SOUS 610879 HAS SOUPS 610879 WITH SCORE 611624.986
AT ITER 8253 NEW BEST:: SOT 4372699 SOS 745764 HAS SOPS 745764 HAS SOUS 610773 HAS SOUPS 610773 WITH SCORE 611518.764
AT ITER 8263 NEW BEST:: SOT 4372687 SOS 745740 HAS SOPS 745740 HAS SOUS 610761 HAS SOUPS 610761 WITH SCORE 611506.74
AT ITER 8269 NEW BEST:: SOT 4372461 SOS 745288 HAS SOPS 745288 HAS SOUS 610694 HAS SOUPS 610694 WITH SCORE 611439.288
AT ITER 8279 NEW BEST:: SOT 4372239 SOS 745066 HAS SOPS 745066 HAS SOUS 610694 HAS SOUPS 610694 WITH SCORE 611439.066
AT ITER 8281 NEW BEST:: SOT 4372208 SOS 744952 HAS SOPS 744952 HAS SOUS 610632 HAS SOUPS 610632 WITH SCORE 611376.952
AT ITER 8290 NEW BEST:: SOT 4372008 SOS 744752 HAS SOPS 744752 HAS SOUS 610432 HAS SOUPS 610432 WITH SCORE 611176.752
AT ITER 8305 NEW BEST:: SOT 4371975 SOS 744719 HAS SOPS 744719 HAS SOUS 610399 HAS SOUPS 610399 WITH SCORE 611143.719
AT ITER 8321 NEW BEST:: SOT 4371928 SOS 744798 HAS SOPS 744798 HAS SOUS 610352 HAS SOUPS 610352 WITH SCORE 611096.798
AT ITER 8331 NEW BEST:: SOT 4371797 SOS 744667 HAS SOPS 744667 HAS SOUS 610273 HAS SOUPS 610273 WITH SCORE 611017.667
AT ITER 8383 NEW BEST:: SOT 4371350 SOS 745195 HAS SOPS 745195 HAS SOUS 610083 HAS SOUPS 610083 WITH SCORE 610828.195
AT ITER 8384 NEW BEST:: SOT 4371616 SOS 744131 HAS SOPS 744131 HAS SOUS 609765 HAS SOUPS 609765 WITH SCORE 610509.131
AT ITER 8389 NEW BEST:: SOT 4371616 SOS 743820 HAS SOPS 743820 HAS SOUS 609765 HAS SOUPS 609765 WITH SCORE 610508.82
AT ITER 8401 NEW BEST:: SOT 4371616 SOS 743819 HAS SOPS 743819 HAS SOUS 609764 HAS SOUPS 609764 WITH SCORE 610507.819
AT ITER 8439 NEW BEST:: SOT 4371616 SOS 743670 HAS SOPS 743670 HAS SOUS 609615 HAS SOUPS 609615 WITH SCORE 610358.67
AT ITER 8450 NEW BEST:: SOT 4371554 SOS 743393 HAS SOPS 743393 HAS SOUS 609516 HAS SOUPS 609516 WITH SCORE 610259.393
AT ITER 8478 NEW BEST:: SOT 4371554 SOS 743317 HAS SOPS 743317 HAS SOUS 609440 HAS SOUPS 609440 WITH SCORE 610183.317
AT ITER 8503 NEW BEST:: SOT 4371630 SOS 743296 HAS SOPS 743296 HAS SOUS 609419 HAS SOUPS 609419 WITH SCORE 610162.296
AT ITER 8509 NEW BEST:: SOT 4371630 SOS 743252 HAS SOPS 743252 HAS SOUS 609418 HAS SOUPS 609418 WITH SCORE 610161.252
AT ITER 8555 NEW BEST:: SOT 4371605 SOS 743202 HAS SOPS 743202 HAS SOUS 609391 HAS SOUPS 609391 WITH SCORE 610134.202
AT ITER 8570 NEW BEST:: SOT 4371603 SOS 743198 HAS SOPS 743198 HAS SOUS 609387 HAS SOUPS 609387 WITH SCORE 610130.198
AT ITER 8573 NEW BEST:: SOT 4371651 SOS 743294 HAS SOPS 743294 HAS SOUS 609350 HAS SOUPS 609350 WITH SCORE 610093.294
AT ITER 8574 NEW BEST:: SOT 4371593 SOS 743481 HAS SOPS 743481 HAS SOUS 609292 HAS SOUPS 609292 WITH SCORE 610035.481
AT ITER 8658 NEW BEST:: SOT 4371593 SOS 743462 HAS SOPS 743462 HAS SOUS 609292 HAS SOUPS 609292 WITH SCORE 610035.462
AT ITER 8663 NEW BEST:: SOT 4371485 SOS 743354 HAS SOPS 743354 HAS SOUS 609184 HAS SOUPS 609184 WITH SCORE 609927.354
AT ITER 8669 NEW BEST:: SOT 4371293 SOS 742970 HAS SOPS 742970 HAS SOUS 608931 HAS SOUPS 608931 WITH SCORE 609673.97
AT ITER 8675 NEW BEST:: SOT 4370897 SOS 742178 HAS SOPS 742178 HAS SOUS 608337 HAS SOUPS 608337 WITH SCORE 609079.178
AT ITER 8716 NEW BEST:: SOT 4370877 SOS 742138 HAS SOPS 742138 HAS SOUS 608297 HAS SOUPS 608297 WITH SCORE 609039.138
AT ITER 8741 NEW BEST:: SOT 4370726 SOS 741685 HAS SOPS 741685 HAS SOUS 607844 HAS SOUPS 607844 WITH SCORE 608585.685
AT ITER 8745 NEW BEST:: SOT 4370710 SOS 741653 HAS SOPS 741653 HAS SOUS 607820 HAS SOUPS 607820 WITH SCORE 608561.653
AT ITER 8762 NEW BEST:: SOT 4370552 SOS 741653 HAS SOPS 741653 HAS SOUS 607662 HAS SOUPS 607662 WITH SCORE 608403.653
AT ITER 8774 NEW BEST:: SOT 4370531 SOS 741611 HAS SOPS 741611 HAS SOUS 607474 HAS SOUPS 607474 WITH SCORE 608215.611
AT ITER 8800 NEW BEST:: SOT 4370464 SOS 741370 HAS SOPS 741370 HAS SOUS 607340 HAS SOUPS 607340 WITH SCORE 608081.37
AT ITER 8801 NEW BEST:: SOT 4370437 SOS 741343 HAS SOPS 741343 HAS SOUS 607313 HAS SOUPS 607313 WITH SCORE 608054.343
AT ITER 8807 NEW BEST:: SOT 4370373 SOS 741215 HAS SOPS 741215 HAS SOUS 607249 HAS SOUPS 607249 WITH SCORE 607990.215
AT ITER 8838 NEW BEST:: SOT 4370278 SOS 741199 HAS SOPS 741199 HAS SOUS 607182 HAS SOUPS 607182 WITH SCORE 607923.199
AT ITER 8842 NEW BEST:: SOT 4370244 SOS 741131 HAS SOPS 741131 HAS SOUS 607114 HAS SOUPS 607114 WITH SCORE 607855.131
AT ITER 8857 NEW BEST:: SOT 4370039 SOS 740926 HAS SOPS 740926 HAS SOUS 606909 HAS SOUPS 606909 WITH SCORE 607649.926
AT ITER 8875 NEW BEST:: SOT 4370023 SOS 740894 HAS SOPS 740894 HAS SOUS 606893 HAS SOUPS 606893 WITH SCORE 607633.894
AT ITER 8880 NEW BEST:: SOT 4369838 SOS 740267 HAS SOPS 740267 HAS SOUS 606524 HAS SOUPS 606524 WITH SCORE 607264.267
AT ITER 8918 NEW BEST:: SOT 4369697 SOS 739985 HAS SOPS 739985 HAS SOUS 606383 HAS SOUPS 606383 WITH SCORE 607122.985
AT ITER 8941 NEW BEST:: SOT 4369729 SOS 740189 HAS SOPS 740189 HAS SOUS 606275 HAS SOUPS 606275 WITH SCORE 607015.189
AT ITER 9010 NEW BEST:: SOT 4369636 SOS 736097 HAS SOPS 736097 HAS SOUS 606089 HAS SOUPS 606089 WITH SCORE 606825.097
AT ITER 9015 NEW BEST:: SOT 4369397 SOS 735373 HAS SOPS 735373 HAS SOUS 605611 HAS SOUPS 605611 WITH SCORE 606346.373
AT ITER 9024 NEW BEST:: SOT 4369037 SOS 734653 HAS SOPS 734653 HAS SOUS 604988 HAS SOUPS 604988 WITH SCORE 605722.653
AT ITER 9029 NEW BEST:: SOT 4368852 SOS 734544 HAS SOPS 734544 HAS SOUS 604815 HAS SOUPS 604815 WITH SCORE 605549.544
AT ITER 9058 NEW BEST:: SOT 4368852 SOS 734544 HAS SOPS 734544 HAS SOUS 604789 HAS SOUPS 604789 WITH SCORE 605523.544
AT ITER 9076 NEW BEST:: SOT 4368650 SOS 729100 HAS SOPS 729100 HAS SOUS 604385 HAS SOUPS 604385 WITH SCORE 605114.1
AT ITER 9118 NEW BEST:: SOT 4368680 SOS 729160 HAS SOPS 729160 HAS SOUS 604196 HAS SOUPS 604196 WITH SCORE 604925.16
AT ITER 9137 NEW BEST:: SOT 4368763 SOS 729139 HAS SOPS 729139 HAS SOUS 604175 HAS SOUPS 604175 WITH SCORE 604904.139
AT ITER 9151 NEW BEST:: SOT 4368668 SOS 728949 HAS SOPS 728949 HAS SOUS 603985 HAS SOUPS 603985 WITH SCORE 604713.949
AT ITER 9181 NEW BEST:: SOT 4368486 SOS 728585 HAS SOPS 728585 HAS SOUS 603803 HAS SOUPS 603803 WITH SCORE 604531.585
AT ITER 9182 NEW BEST:: SOT 4368486 SOS 728417 HAS SOPS 728417 HAS SOUS 603803 HAS SOUPS 603803 WITH SCORE 604531.417
AT ITER 9230 NEW BEST:: SOT 4368448 SOS 728334 HAS SOPS 728334 HAS SOUS 603727 HAS SOUPS 603727 WITH SCORE 604455.334
AT ITER 9236 NEW BEST:: SOT 4368448 SOS 728258 HAS SOPS 728258 HAS SOUS 603727 HAS SOUPS 603727 WITH SCORE 604455.258
AT ITER 9251 NEW BEST:: SOT 4368595 SOS 722420 HAS SOPS 722420 HAS SOUS 603728 HAS SOUPS 603728 WITH SCORE 604450.42
AT ITER 9259 NEW BEST:: SOT 4368571 SOS 722372 HAS SOPS 722372 HAS SOUS 603680 HAS SOUPS 603680 WITH SCORE 604402.372
AT ITER 9275 NEW BEST:: SOT 4368526 SOS 722327 HAS SOPS 722327 HAS SOUS 603635 HAS SOUPS 603635 WITH SCORE 604357.327
AT ITER 9292 NEW BEST:: SOT 4368525 SOS 722325 HAS SOPS 722325 HAS SOUS 603633 HAS SOUPS 603633 WITH SCORE 604355.325
AT ITER 9293 NEW BEST:: SOT 4368412 SOS 722212 HAS SOPS 722212 HAS SOUS 603520 HAS SOUPS 603520 WITH SCORE 604242.212
AT ITER 9294 NEW BEST:: SOT 4368351 SOS 722090 HAS SOPS 722090 HAS SOUS 603398 HAS SOUPS 603398 WITH SCORE 604120.09
AT ITER 9349 NEW BEST:: SOT 4368328 SOS 722044 HAS SOPS 722044 HAS SOUS 603352 HAS SOUPS 603352 WITH SCORE 604074.044
AT ITER 9357 NEW BEST:: SOT 4368328 SOS 722015 HAS SOPS 722015 HAS SOUS 603352 HAS SOUPS 603352 WITH SCORE 604074.015
AT ITER 9408 NEW BEST:: SOT 4368213 SOS 721611 HAS SOPS 721611 HAS SOUS 603122 HAS SOUPS 603122 WITH SCORE 603843.611
AT ITER 9450 NEW BEST:: SOT 4368212 SOS 721609 HAS SOPS 721609 HAS SOUS 603120 HAS SOUPS 603120 WITH SCORE 603841.609
AT ITER 9470 NEW BEST:: SOT 4368152 SOS 721549 HAS SOPS 721549 HAS SOUS 603060 HAS SOUPS 603060 WITH SCORE 603781.549
AT ITER 9520 NEW BEST:: SOT 4368296 SOS 721837 HAS SOPS 721837 HAS SOUS 603021 HAS SOUPS 603021 WITH SCORE 603742.837
AT ITER 9546 NEW BEST:: SOT 4368020 SOS 721285 HAS SOPS 721285 HAS SOUS 602745 HAS SOUPS 602745 WITH SCORE 603466.285
AT ITER 9550 NEW BEST:: SOT 4367910 SOS 722433 HAS SOPS 722433 HAS SOUS 602716 HAS SOUPS 602716 WITH SCORE 603438.433
AT ITER 9555 NEW BEST:: SOT 4367884 SOS 722381 HAS SOPS 722381 HAS SOUS 602664 HAS SOUPS 602664 WITH SCORE 603386.381
AT ITER 9569 NEW BEST:: SOT 4367856 SOS 722535 HAS SOPS 722535 HAS SOUS 602628 HAS SOUPS 602628 WITH SCORE 603350.535
AT ITER 9570 NEW BEST:: SOT 4367812 SOS 722447 HAS SOPS 722447 HAS SOUS 602585 HAS SOUPS 602585 WITH SCORE 603307.447
AT ITER 9584 NEW BEST:: SOT 4367810 SOS 722295 HAS SOPS 722295 HAS SOUS 602435 HAS SOUPS 602435 WITH SCORE 603157.295
AT ITER 9585 NEW BEST:: SOT 4367803 SOS 722281 HAS SOPS 722281 HAS SOUS 602425 HAS SOUPS 602425 WITH SCORE 603147.281
AT ITER 9595 NEW BEST:: SOT 4367304 SOS 721991 HAS SOPS 721991 HAS SOUS 602010 HAS SOUPS 602010 WITH SCORE 602731.991
AT ITER 9600 NEW BEST:: SOT 4367276 SOS 721963 HAS SOPS 721963 HAS SOUS 601954 HAS SOUPS 601954 WITH SCORE 602675.963
AT ITER 9634 NEW BEST:: SOT 4367265 SOS 721952 HAS SOPS 721952 HAS SOUS 601932 HAS SOUPS 601932 WITH SCORE 602653.952
AT ITER 9665 NEW BEST:: SOT 4367362 SOS 722146 HAS SOPS 722146 HAS SOUS 601786 HAS SOUPS 601786 WITH SCORE 602508.146
AT ITER 9686 NEW BEST:: SOT 4367306 SOS 722034 HAS SOPS 722034 HAS SOUS 601674 HAS SOUPS 601674 WITH SCORE 602396.034
AT ITER 9688 NEW BEST:: SOT 4367297 SOS 722016 HAS SOPS 722016 HAS SOUS 601656 HAS SOUPS 601656 WITH SCORE 602378.016
AT ITER 9725 NEW BEST:: SOT 4367297 SOS 722016 HAS SOPS 722016 HAS SOUS 601422 HAS SOUPS 601422 WITH SCORE 602144.016
AT ITER 9751 NEW BEST:: SOT 4367297 SOS 721947 HAS SOPS 721947 HAS SOUS 601353 HAS SOUPS 601353 WITH SCORE 602074.947
AT ITER 9763 NEW BEST:: SOT 4367256 SOS 721824 HAS SOPS 721824 HAS SOUS 601271 HAS SOUPS 601271 WITH SCORE 601992.824
AT ITER 9766 NEW BEST:: SOT 4367215 SOS 721742 HAS SOPS 721742 HAS SOUS 601189 HAS SOUPS 601189 WITH SCORE 601910.742
AT ITER 9788 NEW BEST:: SOT 4367127 SOS 721645 HAS SOPS 721645 HAS SOUS 601040 HAS SOUPS 601040 WITH SCORE 601761.645
AT ITER 9809 NEW BEST:: SOT 4367097 SOS 721585 HAS SOPS 721585 HAS SOUS 600980 HAS SOUPS 600980 WITH SCORE 601701.585
AT ITER 9833 NEW BEST:: SOT 4367088 SOS 721567 HAS SOPS 721567 HAS SOUS 600962 HAS SOUPS 600962 WITH SCORE 601683.567
AT ITER 9843 NEW BEST:: SOT 4367083 SOS 721557 HAS SOPS 721557 HAS SOUS 600952 HAS SOUPS 600952 WITH SCORE 601673.557
AT ITER 9846 NEW BEST:: SOT 4366809 SOS 729367 HAS SOPS 729367 HAS SOUS 600896 HAS SOUPS 600896 WITH SCORE 601625.367
AT ITER 9854 NEW BEST:: SOT 4366809 SOS 728903 HAS SOPS 728903 HAS SOUS 600664 HAS SOUPS 600664 WITH SCORE 601392.903
AT ITER 9889 NEW BEST:: SOT 4366809 SOS 728903 HAS SOPS 728903 HAS SOUS 600593 HAS SOUPS 600593 WITH SCORE 601321.903
AT ITER 9890 NEW BEST:: SOT 4366809 SOS 728903 HAS SOPS 728903 HAS SOUS 600415 HAS SOUPS 600415 WITH SCORE 601143.903
AT ITER 9916 NEW BEST:: SOT 4366647 SOS 728698 HAS SOPS 728698 HAS SOUS 600329 HAS SOUPS 600329 WITH SCORE 601057.698
AT ITER 9936 NEW BEST:: SOT 4366584 SOS 728614 HAS SOPS 728614 HAS SOUS 600245 HAS SOUPS 600245 WITH SCORE 600973.614
AT ITER 9953 NEW BEST:: SOT 4366542 SOS 728530 HAS SOPS 728530 HAS SOUS 600235 HAS SOUPS 600235 WITH SCORE 600963.53
AT ITER 9977 NEW BEST:: SOT 4366308 SOS 728062 HAS SOPS 728062 HAS SOUS 599829 HAS SOUPS 599829 WITH SCORE 600557.062
AT ITER 9983 NEW BEST:: SOT 4366192 SOS 727830 HAS SOPS 727830 HAS SOUS 599724 HAS SOUPS 599724 WITH SCORE 600451.83
AT ITER 9992 NEW BEST:: SOT 4366199 SOS 727778 HAS SOPS 727778 HAS SOUS 599698 HAS SOUPS 599698 WITH SCORE 600425.778
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 12694836 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120784 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//
++ 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
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-310"
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-310, 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-167814483700080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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