Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902541600048.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CloudReconfiguration-PT-306, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902541600048
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 832K
-rw-r--r-- 1 mcc users 3.9K Mar 30 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 28 16:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 28 16:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 8 14:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 27 08:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 27 08:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 26 08:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 660K Mar 24 05:37 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 1589091733191

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 306
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 2584 places, 3094 transitions, 6459 arcs.
AT ITER 0 NEW BEST:: SOT 4445695 SOS 744489 HAS SOPS 744489 HAS SOUS 686820 HAS SOUPS 686820 WITH SCORE 687564.489
AT ITER 23 NEW BEST:: SOT 4445695 SOS 744781 HAS SOPS 744781 HAS SOUS 686668 HAS SOUPS 686668 WITH SCORE 687412.781
AT ITER 31 NEW BEST:: SOT 4445498 SOS 744387 HAS SOPS 744387 HAS SOUS 686274 HAS SOUPS 686274 WITH SCORE 687018.387
AT ITER 43 NEW BEST:: SOT 4445309 SOS 744009 HAS SOPS 744009 HAS SOUS 685896 HAS SOUPS 685896 WITH SCORE 686640.009
AT ITER 100 NEW BEST:: SOT 4445309 SOS 743746 HAS SOPS 743746 HAS SOUS 685895 HAS SOUPS 685895 WITH SCORE 686638.746
AT ITER 109 NEW BEST:: SOT 4445202 SOS 743532 HAS SOPS 743532 HAS SOUS 685681 HAS SOUPS 685681 WITH SCORE 686424.532
AT ITER 123 NEW BEST:: SOT 4444987 SOS 743102 HAS SOPS 743102 HAS SOUS 685004 HAS SOUPS 685004 WITH SCORE 685747.102
AT ITER 137 NEW BEST:: SOT 4444817 SOS 742932 HAS SOPS 742932 HAS SOUS 684834 HAS SOUPS 684834 WITH SCORE 685576.932
AT ITER 144 NEW BEST:: SOT 4444817 SOS 742897 HAS SOPS 742897 HAS SOUS 684833 HAS SOUPS 684833 WITH SCORE 685575.897
AT ITER 196 NEW BEST:: SOT 4445196 SOS 742726 HAS SOPS 742726 HAS SOUS 684775 HAS SOUPS 684775 WITH SCORE 685517.726
AT ITER 206 NEW BEST:: SOT 4441872 SOS 750332 HAS SOPS 750332 HAS SOUS 682056 HAS SOUPS 682056 WITH SCORE 682806.332
AT ITER 208 NEW BEST:: SOT 4441872 SOS 715947 HAS SOPS 715947 HAS SOUS 682055 HAS SOUPS 682055 WITH SCORE 682770.947
AT ITER 225 NEW BEST:: SOT 4441872 SOS 715947 HAS SOPS 715947 HAS SOUS 682052 HAS SOUPS 682052 WITH SCORE 682767.947
AT ITER 276 NEW BEST:: SOT 4436815 SOS 756905 HAS SOPS 756905 HAS SOUS 678756 HAS SOUPS 678756 WITH SCORE 679512.905
AT ITER 302 NEW BEST:: SOT 4436738 SOS 756844 HAS SOPS 756844 HAS SOUS 678679 HAS SOUPS 678679 WITH SCORE 679435.844
AT ITER 306 NEW BEST:: SOT 4436780 SOS 756885 HAS SOPS 756885 HAS SOUS 678678 HAS SOUPS 678678 WITH SCORE 679434.885
AT ITER 311 NEW BEST:: SOT 4436560 SOS 756838 HAS SOPS 756838 HAS SOUS 678631 HAS SOUPS 678631 WITH SCORE 679387.838
AT ITER 340 NEW BEST:: SOT 4436559 SOS 756836 HAS SOPS 756836 HAS SOUS 678629 HAS SOUPS 678629 WITH SCORE 679385.836
AT ITER 362 NEW BEST:: SOT 4436330 SOS 756378 HAS SOPS 756378 HAS SOUS 678380 HAS SOUPS 678380 WITH SCORE 679136.378
AT ITER 370 NEW BEST:: SOT 4436325 SOS 756142 HAS SOPS 756142 HAS SOUS 678178 HAS SOUPS 678178 WITH SCORE 678934.142
AT ITER 392 NEW BEST:: SOT 4436129 SOS 755946 HAS SOPS 755946 HAS SOUS 677982 HAS SOUPS 677982 WITH SCORE 678737.946
AT ITER 395 NEW BEST:: SOT 4436008 SOS 755476 HAS SOPS 755476 HAS SOUS 677633 HAS SOUPS 677633 WITH SCORE 678388.476
AT ITER 399 NEW BEST:: SOT 4435920 SOS 755300 HAS SOPS 755300 HAS SOUS 677492 HAS SOUPS 677492 WITH SCORE 678247.3
AT ITER 402 NEW BEST:: SOT 4434976 SOS 754378 HAS SOPS 754378 HAS SOUS 676572 HAS SOUPS 676572 WITH SCORE 677326.378
AT ITER 428 NEW BEST:: SOT 4434996 SOS 754241 HAS SOPS 754241 HAS SOUS 676435 HAS SOUPS 676435 WITH SCORE 677189.241
AT ITER 430 NEW BEST:: SOT 4434545 SOS 754188 HAS SOPS 754188 HAS SOUS 676073 HAS SOUPS 676073 WITH SCORE 676827.188
AT ITER 434 NEW BEST:: SOT 4434385 SOS 754028 HAS SOPS 754028 HAS SOUS 675913 HAS SOUPS 675913 WITH SCORE 676667.028
AT ITER 439 NEW BEST:: SOT 4434271 SOS 753800 HAS SOPS 753800 HAS SOUS 675799 HAS SOUPS 675799 WITH SCORE 676552.8
AT ITER 446 NEW BEST:: SOT 4434123 SOS 753652 HAS SOPS 753652 HAS SOUS 675651 HAS SOUPS 675651 WITH SCORE 676404.652
AT ITER 452 NEW BEST:: SOT 4434035 SOS 753704 HAS SOPS 753704 HAS SOUS 675635 HAS SOUPS 675635 WITH SCORE 676388.704
AT ITER 458 NEW BEST:: SOT 4433390 SOS 753974 HAS SOPS 753974 HAS SOUS 674819 HAS SOUPS 674819 WITH SCORE 675572.974
AT ITER 460 NEW BEST:: SOT 4433390 SOS 753973 HAS SOPS 753973 HAS SOUS 674818 HAS SOUPS 674818 WITH SCORE 675571.973
AT ITER 473 NEW BEST:: SOT 4432913 SOS 759544 HAS SOPS 759544 HAS SOUS 674622 HAS SOUPS 674622 WITH SCORE 675381.544
AT ITER 477 NEW BEST:: SOT 4432910 SOS 759538 HAS SOPS 759538 HAS SOUS 674616 HAS SOUPS 674616 WITH SCORE 675375.538
AT ITER 499 NEW BEST:: SOT 4432804 SOS 759701 HAS SOPS 759701 HAS SOUS 674580 HAS SOUPS 674580 WITH SCORE 675339.701
AT ITER 501 NEW BEST:: SOT 4432803 SOS 759699 HAS SOPS 759699 HAS SOUS 674578 HAS SOUPS 674578 WITH SCORE 675337.699
AT ITER 504 NEW BEST:: SOT 4432698 SOS 759489 HAS SOPS 759489 HAS SOUS 674082 HAS SOUPS 674082 WITH SCORE 674841.489
AT ITER 511 NEW BEST:: SOT 4432650 SOS 759393 HAS SOPS 759393 HAS SOUS 673986 HAS SOUPS 673986 WITH SCORE 674745.393
AT ITER 519 NEW BEST:: SOT 4432558 SOS 759468 HAS SOPS 759468 HAS SOUS 673984 HAS SOUPS 673984 WITH SCORE 674743.468
AT ITER 520 NEW BEST:: SOT 4431886 SOS 758628 HAS SOPS 758628 HAS SOUS 673144 HAS SOUPS 673144 WITH SCORE 673902.628
AT ITER 550 NEW BEST:: SOT 4431886 SOS 758600 HAS SOPS 758600 HAS SOUS 673144 HAS SOUPS 673144 WITH SCORE 673902.6
AT ITER 554 NEW BEST:: SOT 4431885 SOS 758598 HAS SOPS 758598 HAS SOUS 673142 HAS SOUPS 673142 WITH SCORE 673900.598
AT ITER 569 NEW BEST:: SOT 4431723 SOS 758673 HAS SOPS 758673 HAS SOUS 672980 HAS SOUPS 672980 WITH SCORE 673738.673
AT ITER 621 NEW BEST:: SOT 4431722 SOS 758637 HAS SOPS 758637 HAS SOUS 672945 HAS SOUPS 672945 WITH SCORE 673703.637
AT ITER 653 NEW BEST:: SOT 4431711 SOS 758615 HAS SOPS 758615 HAS SOUS 672923 HAS SOUPS 672923 WITH SCORE 673681.615
AT ITER 675 NEW BEST:: SOT 4431856 SOS 758371 HAS SOPS 758371 HAS SOUS 672608 HAS SOUPS 672608 WITH SCORE 673366.371
AT ITER 690 NEW BEST:: SOT 4431338 SOS 758259 HAS SOPS 758259 HAS SOUS 671976 HAS SOUPS 671976 WITH SCORE 672734.259
AT ITER 701 NEW BEST:: SOT 4431246 SOS 758075 HAS SOPS 758075 HAS SOUS 671792 HAS SOUPS 671792 WITH SCORE 672550.075
AT ITER 712 NEW BEST:: SOT 4431012 SOS 757881 HAS SOPS 757881 HAS SOUS 671572 HAS SOUPS 671572 WITH SCORE 672329.881
AT ITER 716 NEW BEST:: SOT 4431001 SOS 757859 HAS SOPS 757859 HAS SOUS 671561 HAS SOUPS 671561 WITH SCORE 672318.859
AT ITER 750 NEW BEST:: SOT 4430866 SOS 757589 HAS SOPS 757589 HAS SOUS 671291 HAS SOUPS 671291 WITH SCORE 672048.589
AT ITER 760 NEW BEST:: SOT 4430589 SOS 756634 HAS SOPS 756634 HAS SOUS 670737 HAS SOUPS 670737 WITH SCORE 671493.634
AT ITER 762 NEW BEST:: SOT 4430492 SOS 756772 HAS SOPS 756772 HAS SOUS 670690 HAS SOUPS 670690 WITH SCORE 671446.772
AT ITER 779 NEW BEST:: SOT 4430440 SOS 756616 HAS SOPS 756616 HAS SOUS 670586 HAS SOUPS 670586 WITH SCORE 671342.616
AT ITER 782 NEW BEST:: SOT 4429770 SOS 756228 HAS SOPS 756228 HAS SOUS 669916 HAS SOUPS 669916 WITH SCORE 670672.228
AT ITER 792 NEW BEST:: SOT 4429643 SOS 756101 HAS SOPS 756101 HAS SOUS 669915 HAS SOUPS 669915 WITH SCORE 670671.101
AT ITER 808 NEW BEST:: SOT 4429273 SOS 755831 HAS SOPS 755831 HAS SOUS 669645 HAS SOUPS 669645 WITH SCORE 670400.831
AT ITER 846 NEW BEST:: SOT 4429188 SOS 755661 HAS SOPS 755661 HAS SOUS 669475 HAS SOUPS 669475 WITH SCORE 670230.661
AT ITER 876 NEW BEST:: SOT 4429003 SOS 755474 HAS SOPS 755474 HAS SOUS 669288 HAS SOUPS 669288 WITH SCORE 670043.474
AT ITER 910 NEW BEST:: SOT 4429003 SOS 755474 HAS SOPS 755474 HAS SOUS 669265 HAS SOUPS 669265 WITH SCORE 670020.474
AT ITER 915 NEW BEST:: SOT 4428981 SOS 755430 HAS SOPS 755430 HAS SOUS 669221 HAS SOUPS 669221 WITH SCORE 669976.43
AT ITER 916 NEW BEST:: SOT 4428882 SOS 755232 HAS SOPS 755232 HAS SOUS 669023 HAS SOUPS 669023 WITH SCORE 669778.232
AT ITER 917 NEW BEST:: SOT 4428881 SOS 755230 HAS SOPS 755230 HAS SOUS 669021 HAS SOUPS 669021 WITH SCORE 669776.23
AT ITER 922 NEW BEST:: SOT 4428881 SOS 755007 HAS SOPS 755007 HAS SOUS 669020 HAS SOUPS 669020 WITH SCORE 669775.007
AT ITER 933 NEW BEST:: SOT 4428589 SOS 754423 HAS SOPS 754423 HAS SOUS 668436 HAS SOUPS 668436 WITH SCORE 669190.423
AT ITER 938 NEW BEST:: SOT 4428589 SOS 754422 HAS SOPS 754422 HAS SOUS 668436 HAS SOUPS 668436 WITH SCORE 669190.422
AT ITER 949 NEW BEST:: SOT 4428509 SOS 754262 HAS SOPS 754262 HAS SOUS 668276 HAS SOUPS 668276 WITH SCORE 669030.262
AT ITER 1002 NEW BEST:: SOT 4428333 SOS 753910 HAS SOPS 753910 HAS SOUS 668163 HAS SOUPS 668163 WITH SCORE 668916.91
AT ITER 1004 NEW BEST:: SOT 4427953 SOS 755940 HAS SOPS 755940 HAS SOUS 667850 HAS SOUPS 667850 WITH SCORE 668605.94
AT ITER 1006 NEW BEST:: SOT 4427832 SOS 755698 HAS SOPS 755698 HAS SOUS 667269 HAS SOUPS 667269 WITH SCORE 668024.698
AT ITER 1022 NEW BEST:: SOT 4427801 SOS 755636 HAS SOPS 755636 HAS SOUS 666918 HAS SOUPS 666918 WITH SCORE 667673.636
AT ITER 1035 NEW BEST:: SOT 4427733 SOS 755500 HAS SOPS 755500 HAS SOUS 666850 HAS SOUPS 666850 WITH SCORE 667605.5
AT ITER 1038 NEW BEST:: SOT 4427049 SOS 755146 HAS SOPS 755146 HAS SOUS 666333 HAS SOUPS 666333 WITH SCORE 667088.146
AT ITER 1050 NEW BEST:: SOT 4426962 SOS 755044 HAS SOPS 755044 HAS SOUS 666210 HAS SOUPS 666210 WITH SCORE 666965.044
AT ITER 1073 NEW BEST:: SOT 4426601 SOS 754505 HAS SOPS 754505 HAS SOUS 665849 HAS SOUPS 665849 WITH SCORE 666603.505
AT ITER 1104 NEW BEST:: SOT 4426595 SOS 754493 HAS SOPS 754493 HAS SOUS 665837 HAS SOUPS 665837 WITH SCORE 666591.493
AT ITER 1108 NEW BEST:: SOT 4426594 SOS 754491 HAS SOPS 754491 HAS SOUS 665835 HAS SOUPS 665835 WITH SCORE 666589.491
AT ITER 1130 NEW BEST:: SOT 4426264 SOS 753831 HAS SOPS 753831 HAS SOUS 665504 HAS SOUPS 665504 WITH SCORE 666257.831
AT ITER 1145 NEW BEST:: SOT 4425739 SOS 753411 HAS SOPS 753411 HAS SOUS 664979 HAS SOUPS 664979 WITH SCORE 665732.411
AT ITER 1155 NEW BEST:: SOT 4425739 SOS 753411 HAS SOPS 753411 HAS SOUS 664921 HAS SOUPS 664921 WITH SCORE 665674.411
AT ITER 1174 NEW BEST:: SOT 4425737 SOS 753407 HAS SOPS 753407 HAS SOUS 664910 HAS SOUPS 664910 WITH SCORE 665663.407
AT ITER 1209 NEW BEST:: SOT 4425633 SOS 753199 HAS SOPS 753199 HAS SOUS 664702 HAS SOUPS 664702 WITH SCORE 665455.199
AT ITER 1228 NEW BEST:: SOT 4425397 SOS 752727 HAS SOPS 752727 HAS SOUS 664230 HAS SOUPS 664230 WITH SCORE 664982.727
AT ITER 1234 NEW BEST:: SOT 4425345 SOS 752163 HAS SOPS 752163 HAS SOUS 663733 HAS SOUPS 663733 WITH SCORE 664485.163
AT ITER 1246 NEW BEST:: SOT 4425330 SOS 752457 HAS SOPS 752457 HAS SOUS 663718 HAS SOUPS 663718 WITH SCORE 664470.457
AT ITER 1253 NEW BEST:: SOT 4425207 SOS 752211 HAS SOPS 752211 HAS SOUS 663454 HAS SOUPS 663454 WITH SCORE 664206.211
AT ITER 1262 NEW BEST:: SOT 4425135 SOS 752225 HAS SOPS 752225 HAS SOUS 663310 HAS SOUPS 663310 WITH SCORE 664062.225
AT ITER 1280 NEW BEST:: SOT 4425211 SOS 752377 HAS SOPS 752377 HAS SOUS 663204 HAS SOUPS 663204 WITH SCORE 663956.377
AT ITER 1307 NEW BEST:: SOT 4425106 SOS 752307 HAS SOPS 752307 HAS SOUS 663099 HAS SOUPS 663099 WITH SCORE 663851.307
AT ITER 1336 NEW BEST:: SOT 4424778 SOS 751651 HAS SOPS 751651 HAS SOUS 662443 HAS SOUPS 662443 WITH SCORE 663194.651
AT ITER 1343 NEW BEST:: SOT 4424591 SOS 751277 HAS SOPS 751277 HAS SOUS 662069 HAS SOUPS 662069 WITH SCORE 662820.277
AT ITER 1354 NEW BEST:: SOT 4424552 SOS 751096 HAS SOPS 751096 HAS SOUS 661927 HAS SOUPS 661927 WITH SCORE 662678.096
AT ITER 1356 NEW BEST:: SOT 4424333 SOS 750935 HAS SOPS 750935 HAS SOUS 661737 HAS SOUPS 661737 WITH SCORE 662487.935
AT ITER 1374 NEW BEST:: SOT 4423932 SOS 750533 HAS SOPS 750533 HAS SOUS 661335 HAS SOUPS 661335 WITH SCORE 662085.533
AT ITER 1376 NEW BEST:: SOT 4423925 SOS 750604 HAS SOPS 750604 HAS SOUS 661328 HAS SOUPS 661328 WITH SCORE 662078.604
AT ITER 1382 NEW BEST:: SOT 4423725 SOS 750203 HAS SOPS 750203 HAS SOUS 660667 HAS SOUPS 660667 WITH SCORE 661417.203
AT ITER 1383 NEW BEST:: SOT 4424282 SOS 750440 HAS SOPS 750440 HAS SOUS 660501 HAS SOUPS 660501 WITH SCORE 661251.44
AT ITER 1385 NEW BEST:: SOT 4424124 SOS 750319 HAS SOPS 750319 HAS SOUS 660380 HAS SOUPS 660380 WITH SCORE 661130.319
AT ITER 1396 NEW BEST:: SOT 4423857 SOS 749785 HAS SOPS 749785 HAS SOUS 659677 HAS SOUPS 659677 WITH SCORE 660426.785
AT ITER 1402 NEW BEST:: SOT 4423799 SOS 749669 HAS SOPS 749669 HAS SOUS 659617 HAS SOUPS 659617 WITH SCORE 660366.669
AT ITER 1414 NEW BEST:: SOT 4423583 SOS 749477 HAS SOPS 749477 HAS SOUS 659401 HAS SOUPS 659401 WITH SCORE 660150.477
AT ITER 1452 NEW BEST:: SOT 4423356 SOS 750859 HAS SOPS 750859 HAS SOUS 659141 HAS SOUPS 659141 WITH SCORE 659891.859
AT ITER 1463 NEW BEST:: SOT 4422792 SOS 750154 HAS SOPS 750154 HAS SOUS 658436 HAS SOUPS 658436 WITH SCORE 659186.154
AT ITER 1504 NEW BEST:: SOT 4422612 SOS 750000 HAS SOPS 750000 HAS SOUS 658050 HAS SOUPS 658050 WITH SCORE 658800.0
AT ITER 1535 NEW BEST:: SOT 4422419 SOS 749784 HAS SOPS 749784 HAS SOUS 658003 HAS SOUPS 658003 WITH SCORE 658752.784
AT ITER 1542 NEW BEST:: SOT 4422236 SOS 752543 HAS SOPS 752543 HAS SOUS 657683 HAS SOUPS 657683 WITH SCORE 658435.543
AT ITER 1543 NEW BEST:: SOT 4422171 SOS 752413 HAS SOPS 752413 HAS SOUS 657553 HAS SOUPS 657553 WITH SCORE 658305.413
AT ITER 1603 NEW BEST:: SOT 4422083 SOS 752325 HAS SOPS 752325 HAS SOUS 657465 HAS SOUPS 657465 WITH SCORE 658217.325
AT ITER 1611 NEW BEST:: SOT 4422083 SOS 752292 HAS SOPS 752292 HAS SOUS 657464 HAS SOUPS 657464 WITH SCORE 658216.292
AT ITER 1617 NEW BEST:: SOT 4422083 SOS 752113 HAS SOPS 752113 HAS SOUS 657464 HAS SOUPS 657464 WITH SCORE 658216.113
AT ITER 1636 NEW BEST:: SOT 4422083 SOS 752100 HAS SOPS 752100 HAS SOUS 657464 HAS SOUPS 657464 WITH SCORE 658216.1
AT ITER 1642 NEW BEST:: SOT 4422129 SOS 751470 HAS SOPS 751470 HAS SOUS 657374 HAS SOUPS 657374 WITH SCORE 658125.47
AT ITER 1685 NEW BEST:: SOT 4422129 SOS 751470 HAS SOPS 751470 HAS SOUS 657205 HAS SOUPS 657205 WITH SCORE 657956.47
AT ITER 1708 NEW BEST:: SOT 4421854 SOS 750920 HAS SOPS 750920 HAS SOUS 656655 HAS SOUPS 656655 WITH SCORE 657405.92
AT ITER 1726 NEW BEST:: SOT 4421854 SOS 750903 HAS SOPS 750903 HAS SOUS 656638 HAS SOUPS 656638 WITH SCORE 657388.903
AT ITER 1727 NEW BEST:: SOT 4421802 SOS 750747 HAS SOPS 750747 HAS SOUS 656534 HAS SOUPS 656534 WITH SCORE 657284.747
AT ITER 1804 NEW BEST:: SOT 4421679 SOS 750501 HAS SOPS 750501 HAS SOUS 656288 HAS SOUPS 656288 WITH SCORE 657038.501
AT ITER 1810 NEW BEST:: SOT 4421641 SOS 750463 HAS SOPS 750463 HAS SOUS 656250 HAS SOUPS 656250 WITH SCORE 657000.463
AT ITER 1811 NEW BEST:: SOT 4421153 SOS 750119 HAS SOPS 750119 HAS SOUS 655811 HAS SOUPS 655811 WITH SCORE 656561.119
AT ITER 1814 NEW BEST:: SOT 4420827 SOS 749793 HAS SOPS 749793 HAS SOUS 655485 HAS SOUPS 655485 WITH SCORE 656234.793
AT ITER 1834 NEW BEST:: SOT 4420827 SOS 749793 HAS SOPS 749793 HAS SOUS 655429 HAS SOUPS 655429 WITH SCORE 656178.793
AT ITER 1859 NEW BEST:: SOT 4420827 SOS 749769 HAS SOPS 749769 HAS SOUS 655429 HAS SOUPS 655429 WITH SCORE 656178.769
AT ITER 1883 NEW BEST:: SOT 4420915 SOS 749945 HAS SOPS 749945 HAS SOUS 655364 HAS SOUPS 655364 WITH SCORE 656113.945
AT ITER 1890 NEW BEST:: SOT 4420825 SOS 749405 HAS SOPS 749405 HAS SOUS 655184 HAS SOUPS 655184 WITH SCORE 655933.405
AT ITER 1906 NEW BEST:: SOT 4420748 SOS 749391 HAS SOPS 749391 HAS SOUS 655107 HAS SOUPS 655107 WITH SCORE 655856.391
AT ITER 1913 NEW BEST:: SOT 4420710 SOS 749353 HAS SOPS 749353 HAS SOUS 655069 HAS SOUPS 655069 WITH SCORE 655818.353
AT ITER 1914 NEW BEST:: SOT 4420414 SOS 748761 HAS SOPS 748761 HAS SOUS 654718 HAS SOUPS 654718 WITH SCORE 655466.761
AT ITER 1938 NEW BEST:: SOT 4420188 SOS 748309 HAS SOPS 748309 HAS SOUS 654379 HAS SOUPS 654379 WITH SCORE 655127.309
AT ITER 1939 NEW BEST:: SOT 4420188 SOS 748277 HAS SOPS 748277 HAS SOUS 654379 HAS SOUPS 654379 WITH SCORE 655127.277
AT ITER 1951 NEW BEST:: SOT 4419874 SOS 747963 HAS SOPS 747963 HAS SOUS 654065 HAS SOUPS 654065 WITH SCORE 654812.963
AT ITER 1958 NEW BEST:: SOT 4419706 SOS 747627 HAS SOPS 747627 HAS SOUS 653947 HAS SOUPS 653947 WITH SCORE 654694.627
AT ITER 1970 NEW BEST:: SOT 4419507 SOS 747765 HAS SOPS 747765 HAS SOUS 653789 HAS SOUPS 653789 WITH SCORE 654536.765
AT ITER 2017 NEW BEST:: SOT 4419457 SOS 747665 HAS SOPS 747665 HAS SOUS 653690 HAS SOUPS 653690 WITH SCORE 654437.665
AT ITER 2019 NEW BEST:: SOT 4419456 SOS 747663 HAS SOPS 747663 HAS SOUS 653688 HAS SOUPS 653688 WITH SCORE 654435.663
AT ITER 2029 NEW BEST:: SOT 4419319 SOS 747389 HAS SOPS 747389 HAS SOUS 653551 HAS SOUPS 653551 WITH SCORE 654298.389
AT ITER 2031 NEW BEST:: SOT 4418835 SOS 746421 HAS SOPS 746421 HAS SOUS 652624 HAS SOUPS 652624 WITH SCORE 653370.421
AT ITER 2040 NEW BEST:: SOT 4418590 SOS 746221 HAS SOPS 746221 HAS SOUS 652424 HAS SOUPS 652424 WITH SCORE 653170.221
AT ITER 2046 NEW BEST:: SOT 4418579 SOS 745690 HAS SOPS 745690 HAS SOUS 652083 HAS SOUPS 652083 WITH SCORE 652828.69
AT ITER 2050 NEW BEST:: SOT 4418837 SOS 745938 HAS SOPS 745938 HAS SOUS 652081 HAS SOUPS 652081 WITH SCORE 652826.938
AT ITER 2089 NEW BEST:: SOT 4418837 SOS 745846 HAS SOPS 745846 HAS SOUS 651989 HAS SOUPS 651989 WITH SCORE 652734.846
AT ITER 2107 NEW BEST:: SOT 4418814 SOS 745800 HAS SOPS 745800 HAS SOUS 651780 HAS SOUPS 651780 WITH SCORE 652525.8
AT ITER 2136 NEW BEST:: SOT 4418781 SOS 745767 HAS SOPS 745767 HAS SOUS 651714 HAS SOUPS 651714 WITH SCORE 652459.767
AT ITER 2193 NEW BEST:: SOT 4418726 SOS 745716 HAS SOPS 745716 HAS SOUS 651659 HAS SOUPS 651659 WITH SCORE 652404.716
AT ITER 2196 NEW BEST:: SOT 4418700 SOS 745664 HAS SOPS 745664 HAS SOUS 651607 HAS SOUPS 651607 WITH SCORE 652352.664
AT ITER 2198 NEW BEST:: SOT 4418570 SOS 745404 HAS SOPS 745404 HAS SOUS 651347 HAS SOUPS 651347 WITH SCORE 652092.404
AT ITER 2208 NEW BEST:: SOT 4418556 SOS 745376 HAS SOPS 745376 HAS SOUS 651319 HAS SOUPS 651319 WITH SCORE 652064.376
AT ITER 2213 NEW BEST:: SOT 4418534 SOS 745332 HAS SOPS 745332 HAS SOUS 651297 HAS SOUPS 651297 WITH SCORE 652042.332
AT ITER 2241 NEW BEST:: SOT 4418267 SOS 744798 HAS SOPS 744798 HAS SOUS 650763 HAS SOUPS 650763 WITH SCORE 651507.798
AT ITER 2279 NEW BEST:: SOT 4418320 SOS 744702 HAS SOPS 744702 HAS SOUS 650740 HAS SOUPS 650740 WITH SCORE 651484.702
AT ITER 2291 NEW BEST:: SOT 4418201 SOS 744464 HAS SOPS 744464 HAS SOUS 650621 HAS SOUPS 650621 WITH SCORE 651365.464
AT ITER 2315 NEW BEST:: SOT 4418194 SOS 744764 HAS SOPS 744764 HAS SOUS 650381 HAS SOUPS 650381 WITH SCORE 651125.764
AT ITER 2317 NEW BEST:: SOT 4418091 SOS 744847 HAS SOPS 744847 HAS SOUS 650278 HAS SOUPS 650278 WITH SCORE 651022.847
AT ITER 2320 NEW BEST:: SOT 4418061 SOS 744827 HAS SOPS 744827 HAS SOUS 650248 HAS SOUPS 650248 WITH SCORE 650992.827
AT ITER 2347 NEW BEST:: SOT 4416976 SOS 744022 HAS SOPS 744022 HAS SOUS 649221 HAS SOUPS 649221 WITH SCORE 649965.022
AT ITER 2357 NEW BEST:: SOT 4416978 SOS 743908 HAS SOPS 743908 HAS SOUS 649194 HAS SOUPS 649194 WITH SCORE 649937.908
AT ITER 2363 NEW BEST:: SOT 4416978 SOS 743907 HAS SOPS 743907 HAS SOUS 649193 HAS SOUPS 649193 WITH SCORE 649936.907
AT ITER 2380 NEW BEST:: SOT 4416978 SOS 743601 HAS SOPS 743601 HAS SOUS 648887 HAS SOUPS 648887 WITH SCORE 649630.601
AT ITER 2418 NEW BEST:: SOT 4417049 SOS 743702 HAS SOPS 743702 HAS SOUS 648856 HAS SOUPS 648856 WITH SCORE 649599.702
AT ITER 2491 NEW BEST:: SOT 4416704 SOS 743674 HAS SOPS 743674 HAS SOUS 648625 HAS SOUPS 648625 WITH SCORE 649368.674
AT ITER 2506 NEW BEST:: SOT 4416580 SOS 743699 HAS SOPS 743699 HAS SOUS 648576 HAS SOUPS 648576 WITH SCORE 649319.699
AT ITER 2511 NEW BEST:: SOT 4416495 SOS 743529 HAS SOPS 743529 HAS SOUS 648491 HAS SOUPS 648491 WITH SCORE 649234.529
AT ITER 2552 NEW BEST:: SOT 4416495 SOS 743468 HAS SOPS 743468 HAS SOUS 648491 HAS SOUPS 648491 WITH SCORE 649234.468
AT ITER 2565 NEW BEST:: SOT 4416479 SOS 743436 HAS SOPS 743436 HAS SOUS 648475 HAS SOUPS 648475 WITH SCORE 649218.436
AT ITER 2601 NEW BEST:: SOT 4416361 SOS 743200 HAS SOPS 743200 HAS SOUS 648239 HAS SOUPS 648239 WITH SCORE 648982.2
AT ITER 2609 NEW BEST:: SOT 4416319 SOS 743158 HAS SOPS 743158 HAS SOUS 648197 HAS SOUPS 648197 WITH SCORE 648940.158
AT ITER 2613 NEW BEST:: SOT 4416223 SOS 742122 HAS SOPS 742122 HAS SOUS 647728 HAS SOUPS 647728 WITH SCORE 648470.122
AT ITER 2616 NEW BEST:: SOT 4416223 SOS 742122 HAS SOPS 742122 HAS SOUS 647727 HAS SOUPS 647727 WITH SCORE 648469.122
AT ITER 2627 NEW BEST:: SOT 4415977 SOS 742120 HAS SOPS 742120 HAS SOUS 647725 HAS SOUPS 647725 WITH SCORE 648467.12
AT ITER 2632 NEW BEST:: SOT 4415855 SOS 741965 HAS SOPS 741965 HAS SOUS 647603 HAS SOUPS 647603 WITH SCORE 648344.965
AT ITER 2652 NEW BEST:: SOT 4415599 SOS 742958 HAS SOPS 742958 HAS SOUS 647600 HAS SOUPS 647600 WITH SCORE 648342.958
AT ITER 2676 NEW BEST:: SOT 4415599 SOS 742922 HAS SOPS 742922 HAS SOUS 647600 HAS SOUPS 647600 WITH SCORE 648342.922
AT ITER 2710 NEW BEST:: SOT 4415468 SOS 742798 HAS SOPS 742798 HAS SOUS 647476 HAS SOUPS 647476 WITH SCORE 648218.798
AT ITER 2716 NEW BEST:: SOT 4415446 SOS 742732 HAS SOPS 742732 HAS SOUS 647432 HAS SOUPS 647432 WITH SCORE 648174.732
AT ITER 2737 NEW BEST:: SOT 4415445 SOS 742730 HAS SOPS 742730 HAS SOUS 647430 HAS SOUPS 647430 WITH SCORE 648172.73
AT ITER 2745 NEW BEST:: SOT 4415424 SOS 742709 HAS SOPS 742709 HAS SOUS 647409 HAS SOUPS 647409 WITH SCORE 648151.709
AT ITER 2773 NEW BEST:: SOT 4415382 SOS 742712 HAS SOPS 742712 HAS SOUS 647390 HAS SOUPS 647390 WITH SCORE 648132.712
AT ITER 2800 NEW BEST:: SOT 4415335 SOS 742618 HAS SOPS 742618 HAS SOUS 647296 HAS SOUPS 647296 WITH SCORE 648038.618
AT ITER 2814 NEW BEST:: SOT 4415236 SOS 742420 HAS SOPS 742420 HAS SOUS 647098 HAS SOUPS 647098 WITH SCORE 647840.42
AT ITER 2836 NEW BEST:: SOT 4415236 SOS 742388 HAS SOPS 742388 HAS SOUS 647066 HAS SOUPS 647066 WITH SCORE 647808.388
AT ITER 2863 NEW BEST:: SOT 4414978 SOS 741813 HAS SOPS 741813 HAS SOUS 646387 HAS SOUPS 646387 WITH SCORE 647128.813
AT ITER 2865 NEW BEST:: SOT 4414730 SOS 741589 HAS SOPS 741589 HAS SOUS 646142 HAS SOUPS 646142 WITH SCORE 646883.589
AT ITER 2869 NEW BEST:: SOT 4414251 SOS 741803 HAS SOPS 741803 HAS SOUS 645862 HAS SOUPS 645862 WITH SCORE 646603.803
AT ITER 2881 NEW BEST:: SOT 4414342 SOS 741985 HAS SOPS 741985 HAS SOUS 645846 HAS SOUPS 645846 WITH SCORE 646587.985
AT ITER 2904 NEW BEST:: SOT 4414389 SOS 741944 HAS SOPS 741944 HAS SOUS 645805 HAS SOUPS 645805 WITH SCORE 646546.944
AT ITER 2930 NEW BEST:: SOT 4414299 SOS 741606 HAS SOPS 741606 HAS SOUS 645625 HAS SOUPS 645625 WITH SCORE 646366.606
AT ITER 2966 NEW BEST:: SOT 4414298 SOS 741593 HAS SOPS 741593 HAS SOUS 645448 HAS SOUPS 645448 WITH SCORE 646189.593
AT ITER 2996 NEW BEST:: SOT 4414164 SOS 741459 HAS SOPS 741459 HAS SOUS 645314 HAS SOUPS 645314 WITH SCORE 646055.459
AT ITER 3005 NEW BEST:: SOT 4413990 SOS 741111 HAS SOPS 741111 HAS SOUS 645140 HAS SOUPS 645140 WITH SCORE 645881.111
AT ITER 3035 NEW BEST:: SOT 4413933 SOS 740997 HAS SOPS 740997 HAS SOUS 645016 HAS SOUPS 645016 WITH SCORE 645756.997
AT ITER 3065 NEW BEST:: SOT 4413711 SOS 740553 HAS SOPS 740553 HAS SOUS 644683 HAS SOUPS 644683 WITH SCORE 645423.553
AT ITER 3130 NEW BEST:: SOT 4413688 SOS 740561 HAS SOPS 740561 HAS SOUS 644660 HAS SOUPS 644660 WITH SCORE 645400.561
AT ITER 3141 NEW BEST:: SOT 4413689 SOS 740559 HAS SOPS 740559 HAS SOUS 644658 HAS SOUPS 644658 WITH SCORE 645398.559
AT ITER 3142 NEW BEST:: SOT 4413511 SOS 740765 HAS SOPS 740765 HAS SOUS 644621 HAS SOUPS 644621 WITH SCORE 645361.765
AT ITER 3164 NEW BEST:: SOT 4413391 SOS 740640 HAS SOPS 740640 HAS SOUS 644501 HAS SOUPS 644501 WITH SCORE 645241.64
AT ITER 3170 NEW BEST:: SOT 4413223 SOS 740472 HAS SOPS 740472 HAS SOUS 644333 HAS SOUPS 644333 WITH SCORE 645073.472
AT ITER 3196 NEW BEST:: SOT 4412573 SOS 739172 HAS SOPS 739172 HAS SOUS 642852 HAS SOUPS 642852 WITH SCORE 643591.172
AT ITER 3236 NEW BEST:: SOT 4412573 SOS 739150 HAS SOPS 739150 HAS SOUS 642852 HAS SOUPS 642852 WITH SCORE 643591.15
AT ITER 3260 NEW BEST:: SOT 4412573 SOS 739114 HAS SOPS 739114 HAS SOUS 642852 HAS SOUPS 642852 WITH SCORE 643591.114
AT ITER 3283 NEW BEST:: SOT 4412508 SOS 738984 HAS SOPS 738984 HAS SOUS 642722 HAS SOUPS 642722 WITH SCORE 643460.984
AT ITER 3297 NEW BEST:: SOT 4412141 SOS 738250 HAS SOPS 738250 HAS SOUS 641988 HAS SOUPS 641988 WITH SCORE 642726.25
AT ITER 3303 NEW BEST:: SOT 4412048 SOS 738064 HAS SOPS 738064 HAS SOUS 641802 HAS SOUPS 641802 WITH SCORE 642540.064
AT ITER 3305 NEW BEST:: SOT 4412048 SOS 738064 HAS SOPS 738064 HAS SOUS 641737 HAS SOUPS 641737 WITH SCORE 642475.064
AT ITER 3346 NEW BEST:: SOT 4412048 SOS 738063 HAS SOPS 738063 HAS SOUS 641736 HAS SOUPS 641736 WITH SCORE 642474.063
AT ITER 3348 NEW BEST:: SOT 4411804 SOS 737575 HAS SOPS 737575 HAS SOUS 641048 HAS SOUPS 641048 WITH SCORE 641785.575
AT ITER 3370 NEW BEST:: SOT 4411666 SOS 740719 HAS SOPS 740719 HAS SOUS 640972 HAS SOUPS 640972 WITH SCORE 641712.719
AT ITER 3380 NEW BEST:: SOT 4411445 SOS 740277 HAS SOPS 740277 HAS SOUS 640631 HAS SOUPS 640631 WITH SCORE 641371.277
AT ITER 3392 NEW BEST:: SOT 4411455 SOS 740562 HAS SOPS 740562 HAS SOUS 640448 HAS SOUPS 640448 WITH SCORE 641188.562
AT ITER 3394 NEW BEST:: SOT 4411237 SOS 740126 HAS SOPS 740126 HAS SOUS 640012 HAS SOUPS 640012 WITH SCORE 640752.126
AT ITER 3409 NEW BEST:: SOT 4410895 SOS 740997 HAS SOPS 740997 HAS SOUS 640005 HAS SOUPS 640005 WITH SCORE 640745.997
AT ITER 3415 NEW BEST:: SOT 4410839 SOS 740885 HAS SOPS 740885 HAS SOUS 639948 HAS SOUPS 639948 WITH SCORE 640688.885
AT ITER 3417 NEW BEST:: SOT 4410757 SOS 740721 HAS SOPS 740721 HAS SOUS 639784 HAS SOUPS 639784 WITH SCORE 640524.721
AT ITER 3448 NEW BEST:: SOT 4410757 SOS 740594 HAS SOPS 740594 HAS SOUS 639784 HAS SOUPS 639784 WITH SCORE 640524.594
AT ITER 3450 NEW BEST:: SOT 4410757 SOS 740594 HAS SOPS 740594 HAS SOUS 639738 HAS SOUPS 639738 WITH SCORE 640478.594
AT ITER 3465 NEW BEST:: SOT 4410517 SOS 740114 HAS SOPS 740114 HAS SOUS 639410 HAS SOUPS 639410 WITH SCORE 640150.114
AT ITER 3476 NEW BEST:: SOT 4410517 SOS 740114 HAS SOPS 740114 HAS SOUS 639392 HAS SOUPS 639392 WITH SCORE 640132.114
AT ITER 3493 NEW BEST:: SOT 4410517 SOS 740114 HAS SOPS 740114 HAS SOUS 639378 HAS SOUPS 639378 WITH SCORE 640118.114
AT ITER 3499 NEW BEST:: SOT 4410569 SOS 739950 HAS SOPS 739950 HAS SOUS 639150 HAS SOUPS 639150 WITH SCORE 639889.95
AT ITER 3504 NEW BEST:: SOT 4410569 SOS 739950 HAS SOPS 739950 HAS SOUS 639149 HAS SOUPS 639149 WITH SCORE 639888.95
AT ITER 3512 NEW BEST:: SOT 4410797 SOS 740121 HAS SOPS 740121 HAS SOUS 639092 HAS SOUPS 639092 WITH SCORE 639832.121
AT ITER 3516 NEW BEST:: SOT 4410743 SOS 740013 HAS SOPS 740013 HAS SOUS 638984 HAS SOUPS 638984 WITH SCORE 639724.013
AT ITER 3520 NEW BEST:: SOT 4410596 SOS 739719 HAS SOPS 739719 HAS SOUS 638690 HAS SOUPS 638690 WITH SCORE 639429.719
AT ITER 3522 NEW BEST:: SOT 4410463 SOS 739586 HAS SOPS 739586 HAS SOUS 638557 HAS SOUPS 638557 WITH SCORE 639296.586
AT ITER 3533 NEW BEST:: SOT 4410259 SOS 739580 HAS SOPS 739580 HAS SOUS 638551 HAS SOUPS 638551 WITH SCORE 639290.58
AT ITER 3542 NEW BEST:: SOT 4410080 SOS 739810 HAS SOPS 739810 HAS SOUS 638441 HAS SOUPS 638441 WITH SCORE 639180.81
AT ITER 3550 NEW BEST:: SOT 4410080 SOS 739767 HAS SOPS 739767 HAS SOUS 638441 HAS SOUPS 638441 WITH SCORE 639180.767
AT ITER 3551 NEW BEST:: SOT 4410012 SOS 739746 HAS SOPS 739746 HAS SOUS 638407 HAS SOUPS 638407 WITH SCORE 639146.746
AT ITER 3577 NEW BEST:: SOT 4410090 SOS 739902 HAS SOPS 739902 HAS SOUS 638386 HAS SOUPS 638386 WITH SCORE 639125.902
AT ITER 3594 NEW BEST:: SOT 4410116 SOS 739954 HAS SOPS 739954 HAS SOUS 638295 HAS SOUPS 638295 WITH SCORE 639034.954
AT ITER 3613 NEW BEST:: SOT 4409868 SOS 739458 HAS SOPS 739458 HAS SOUS 638047 HAS SOUPS 638047 WITH SCORE 638786.458
AT ITER 3619 NEW BEST:: SOT 4409859 SOS 739440 HAS SOPS 739440 HAS SOUS 638029 HAS SOUPS 638029 WITH SCORE 638768.44
AT ITER 3641 NEW BEST:: SOT 4409771 SOS 739000 HAS SOPS 739000 HAS SOUS 637853 HAS SOUPS 637853 WITH SCORE 638592.0
AT ITER 3647 NEW BEST:: SOT 4409734 SOS 738926 HAS SOPS 738926 HAS SOUS 637779 HAS SOUPS 637779 WITH SCORE 638517.926
AT ITER 3648 NEW BEST:: SOT 4409627 SOS 738712 HAS SOPS 738712 HAS SOUS 637467 HAS SOUPS 637467 WITH SCORE 638205.712
AT ITER 3660 NEW BEST:: SOT 4409626 SOS 738710 HAS SOPS 738710 HAS SOUS 637465 HAS SOUPS 637465 WITH SCORE 638203.71
AT ITER 3670 NEW BEST:: SOT 4409489 SOS 724072 HAS SOPS 724072 HAS SOUS 637153 HAS SOUPS 637153 WITH SCORE 637877.072
AT ITER 3679 NEW BEST:: SOT 4409159 SOS 724852 HAS SOPS 724852 HAS SOUS 636977 HAS SOUPS 636977 WITH SCORE 637701.852
AT ITER 3731 NEW BEST:: SOT 4409159 SOS 724852 HAS SOPS 724852 HAS SOUS 636774 HAS SOUPS 636774 WITH SCORE 637498.852
AT ITER 3741 NEW BEST:: SOT 4409118 SOS 724770 HAS SOPS 724770 HAS SOUS 636733 HAS SOUPS 636733 WITH SCORE 637457.77
AT ITER 3795 NEW BEST:: SOT 4409095 SOS 724724 HAS SOPS 724724 HAS SOUS 636687 HAS SOUPS 636687 WITH SCORE 637411.724
AT ITER 3813 NEW BEST:: SOT 4409095 SOS 724694 HAS SOPS 724694 HAS SOUS 636657 HAS SOUPS 636657 WITH SCORE 637381.694
AT ITER 3851 NEW BEST:: SOT 4409095 SOS 724403 HAS SOPS 724403 HAS SOUS 636366 HAS SOUPS 636366 WITH SCORE 637090.403
AT ITER 3865 NEW BEST:: SOT 4408781 SOS 723619 HAS SOPS 723619 HAS SOUS 635912 HAS SOUPS 635912 WITH SCORE 636635.619
AT ITER 3875 NEW BEST:: SOT 4408628 SOS 723313 HAS SOPS 723313 HAS SOUS 635606 HAS SOUPS 635606 WITH SCORE 636329.313
AT ITER 3882 NEW BEST:: SOT 4408608 SOS 723303 HAS SOPS 723303 HAS SOUS 635586 HAS SOUPS 635586 WITH SCORE 636309.303
AT ITER 3889 NEW BEST:: SOT 4408211 SOS 723059 HAS SOPS 723059 HAS SOUS 635245 HAS SOUPS 635245 WITH SCORE 635968.059
AT ITER 3896 NEW BEST:: SOT 4408199 SOS 723035 HAS SOPS 723035 HAS SOUS 635233 HAS SOUPS 635233 WITH SCORE 635956.035
AT ITER 3907 NEW BEST:: SOT 4408026 SOS 722689 HAS SOPS 722689 HAS SOUS 634887 HAS SOUPS 634887 WITH SCORE 635609.689
AT ITER 3912 NEW BEST:: SOT 4407944 SOS 722625 HAS SOPS 722625 HAS SOUS 634805 HAS SOUPS 634805 WITH SCORE 635527.625
AT ITER 3914 NEW BEST:: SOT 4407867 SOS 722471 HAS SOPS 722471 HAS SOUS 634728 HAS SOUPS 634728 WITH SCORE 635450.471
AT ITER 3927 NEW BEST:: SOT 4407867 SOS 722461 HAS SOPS 722461 HAS SOUS 634728 HAS SOUPS 634728 WITH SCORE 635450.461
AT ITER 3949 NEW BEST:: SOT 4407835 SOS 722397 HAS SOPS 722397 HAS SOUS 634664 HAS SOUPS 634664 WITH SCORE 635386.397
AT ITER 3953 NEW BEST:: SOT 4407817 SOS 722361 HAS SOPS 722361 HAS SOUS 634657 HAS SOUPS 634657 WITH SCORE 635379.361
AT ITER 3972 NEW BEST:: SOT 4408000 SOS 721431 HAS SOPS 721431 HAS SOUS 634640 HAS SOUPS 634640 WITH SCORE 635361.431
AT ITER 3981 NEW BEST:: SOT 4407945 SOS 721321 HAS SOPS 721321 HAS SOUS 634530 HAS SOUPS 634530 WITH SCORE 635251.321
AT ITER 4005 NEW BEST:: SOT 4407754 SOS 721643 HAS SOPS 721643 HAS SOUS 634500 HAS SOUPS 634500 WITH SCORE 635221.643
AT ITER 4012 NEW BEST:: SOT 4407754 SOS 721590 HAS SOPS 721590 HAS SOUS 634499 HAS SOUPS 634499 WITH SCORE 635220.59
AT ITER 4021 NEW BEST:: SOT 4407261 SOS 722143 HAS SOPS 722143 HAS SOUS 634177 HAS SOUPS 634177 WITH SCORE 634899.143
AT ITER 4047 NEW BEST:: SOT 4407261 SOS 722104 HAS SOPS 722104 HAS SOUS 634177 HAS SOUPS 634177 WITH SCORE 634899.104
AT ITER 4059 NEW BEST:: SOT 4407268 SOS 722118 HAS SOPS 722118 HAS SOUS 634126 HAS SOUPS 634126 WITH SCORE 634848.118
AT ITER 4078 NEW BEST:: SOT 4407317 SOS 722116 HAS SOPS 722116 HAS SOUS 634075 HAS SOUPS 634075 WITH SCORE 634797.116
AT ITER 4103 NEW BEST:: SOT 4407200 SOS 722050 HAS SOPS 722050 HAS SOUS 634009 HAS SOUPS 634009 WITH SCORE 634731.05
AT ITER 4144 NEW BEST:: SOT 4407184 SOS 722018 HAS SOPS 722018 HAS SOUS 633977 HAS SOUPS 633977 WITH SCORE 634699.018
AT ITER 4163 NEW BEST:: SOT 4407185 SOS 722020 HAS SOPS 722020 HAS SOUS 633902 HAS SOUPS 633902 WITH SCORE 634624.02
AT ITER 4187 NEW BEST:: SOT 4407134 SOS 721918 HAS SOPS 721918 HAS SOUS 633893 HAS SOUPS 633893 WITH SCORE 634614.918
AT ITER 4203 NEW BEST:: SOT 4406955 SOS 721560 HAS SOPS 721560 HAS SOUS 633535 HAS SOUPS 633535 WITH SCORE 634256.56
AT ITER 4213 NEW BEST:: SOT 4406906 SOS 721511 HAS SOPS 721511 HAS SOUS 633486 HAS SOUPS 633486 WITH SCORE 634207.511
AT ITER 4227 NEW BEST:: SOT 4406905 SOS 721509 HAS SOPS 721509 HAS SOUS 633484 HAS SOUPS 633484 WITH SCORE 634205.509
AT ITER 4233 NEW BEST:: SOT 4406892 SOS 721483 HAS SOPS 721483 HAS SOUS 633458 HAS SOUPS 633458 WITH SCORE 634179.483
AT ITER 4235 NEW BEST:: SOT 4406892 SOS 721398 HAS SOPS 721398 HAS SOUS 633458 HAS SOUPS 633458 WITH SCORE 634179.398
AT ITER 4253 NEW BEST:: SOT 4406635 SOS 721324 HAS SOPS 721324 HAS SOUS 633185 HAS SOUPS 633185 WITH SCORE 633906.324
AT ITER 4262 NEW BEST:: SOT 4406600 SOS 721254 HAS SOPS 721254 HAS SOUS 633115 HAS SOUPS 633115 WITH SCORE 633836.254
AT ITER 4297 NEW BEST:: SOT 4406318 SOS 720690 HAS SOPS 720690 HAS SOUS 632551 HAS SOUPS 632551 WITH SCORE 633271.69
AT ITER 4300 NEW BEST:: SOT 4406318 SOS 720690 HAS SOPS 720690 HAS SOUS 632244 HAS SOUPS 632244 WITH SCORE 632964.69
AT ITER 4303 NEW BEST:: SOT 4406164 SOS 720577 HAS SOPS 720577 HAS SOUS 631960 HAS SOUPS 631960 WITH SCORE 632680.577
AT ITER 4308 NEW BEST:: SOT 4406011 SOS 720775 HAS SOPS 720775 HAS SOUS 631866 HAS SOUPS 631866 WITH SCORE 632586.775
AT ITER 4315 NEW BEST:: SOT 4405950 SOS 720653 HAS SOPS 720653 HAS SOUS 631831 HAS SOUPS 631831 WITH SCORE 632551.653
AT ITER 4322 NEW BEST:: SOT 4405950 SOS 720596 HAS SOPS 720596 HAS SOUS 631774 HAS SOUPS 631774 WITH SCORE 632494.596
AT ITER 4340 NEW BEST:: SOT 4405859 SOS 720414 HAS SOPS 720414 HAS SOUS 631592 HAS SOUPS 631592 WITH SCORE 632312.414
AT ITER 4398 NEW BEST:: SOT 4405391 SOS 720025 HAS SOPS 720025 HAS SOUS 631126 HAS SOUPS 631126 WITH SCORE 631846.025
AT ITER 4447 NEW BEST:: SOT 4405350 SOS 719943 HAS SOPS 719943 HAS SOUS 631044 HAS SOUPS 631044 WITH SCORE 631763.943
AT ITER 4463 NEW BEST:: SOT 4405301 SOS 719796 HAS SOPS 719796 HAS SOUS 630946 HAS SOUPS 630946 WITH SCORE 631665.796
AT ITER 4496 NEW BEST:: SOT 4405231 SOS 719656 HAS SOPS 719656 HAS SOUS 630854 HAS SOUPS 630854 WITH SCORE 631573.656
AT ITER 4502 NEW BEST:: SOT 4405163 SOS 720000 HAS SOPS 720000 HAS SOUS 630744 HAS SOUPS 630744 WITH SCORE 631464.0
AT ITER 4507 NEW BEST:: SOT 4405023 SOS 719479 HAS SOPS 719479 HAS SOUS 630604 HAS SOUPS 630604 WITH SCORE 631323.479
AT ITER 4567 NEW BEST:: SOT 4404998 SOS 719289 HAS SOPS 719289 HAS SOUS 630509 HAS SOUPS 630509 WITH SCORE 631228.289
AT ITER 4569 NEW BEST:: SOT 4404825 SOS 719368 HAS SOPS 719368 HAS SOUS 630336 HAS SOUPS 630336 WITH SCORE 631055.368
AT ITER 4573 NEW BEST:: SOT 4404743 SOS 719204 HAS SOPS 719204 HAS SOUS 630172 HAS SOUPS 630172 WITH SCORE 630891.204
AT ITER 4581 NEW BEST:: SOT 4404694 SOS 719106 HAS SOPS 719106 HAS SOUS 630074 HAS SOUPS 630074 WITH SCORE 630793.106
AT ITER 4601 NEW BEST:: SOT 4404694 SOS 719060 HAS SOPS 719060 HAS SOUS 630074 HAS SOUPS 630074 WITH SCORE 630793.06
AT ITER 4609 NEW BEST:: SOT 4404587 SOS 718846 HAS SOPS 718846 HAS SOUS 629860 HAS SOUPS 629860 WITH SCORE 630578.846
AT ITER 4618 NEW BEST:: SOT 4404445 SOS 718562 HAS SOPS 718562 HAS SOUS 629252 HAS SOUPS 629252 WITH SCORE 629970.562
AT ITER 4626 NEW BEST:: SOT 4404409 SOS 718490 HAS SOPS 718490 HAS SOUS 629216 HAS SOUPS 629216 WITH SCORE 629934.49
AT ITER 4673 NEW BEST:: SOT 4404543 SOS 718442 HAS SOPS 718442 HAS SOUS 629168 HAS SOUPS 629168 WITH SCORE 629886.442
AT ITER 4685 NEW BEST:: SOT 4404677 SOS 718158 HAS SOPS 718158 HAS SOUS 629160 HAS SOUPS 629160 WITH SCORE 629878.158
AT ITER 4707 NEW BEST:: SOT 4404677 SOS 718158 HAS SOPS 718158 HAS SOUS 629159 HAS SOUPS 629159 WITH SCORE 629877.158
AT ITER 4724 NEW BEST:: SOT 4404708 SOS 718220 HAS SOPS 718220 HAS SOUS 629123 HAS SOUPS 629123 WITH SCORE 629841.22
AT ITER 4726 NEW BEST:: SOT 4405027 SOS 718264 HAS SOPS 718264 HAS SOUS 628649 HAS SOUPS 628649 WITH SCORE 629367.264
AT ITER 4730 NEW BEST:: SOT 4404909 SOS 718169 HAS SOPS 718169 HAS SOUS 628554 HAS SOUPS 628554 WITH SCORE 629272.169
AT ITER 4733 NEW BEST:: SOT 4404885 SOS 718121 HAS SOPS 718121 HAS SOUS 628506 HAS SOUPS 628506 WITH SCORE 629224.121
AT ITER 4796 NEW BEST:: SOT 4404828 SOS 718007 HAS SOPS 718007 HAS SOUS 628392 HAS SOUPS 628392 WITH SCORE 629110.007
AT ITER 4797 NEW BEST:: SOT 4404827 SOS 718005 HAS SOPS 718005 HAS SOUS 628390 HAS SOUPS 628390 WITH SCORE 629108.005
AT ITER 4799 NEW BEST:: SOT 4404814 SOS 717721 HAS SOPS 717721 HAS SOUS 628053 HAS SOUPS 628053 WITH SCORE 628770.721
AT ITER 4804 NEW BEST:: SOT 4404762 SOS 717520 HAS SOPS 717520 HAS SOUS 627926 HAS SOUPS 627926 WITH SCORE 628643.52
AT ITER 4820 NEW BEST:: SOT 4404762 SOS 717520 HAS SOPS 717520 HAS SOUS 627924 HAS SOUPS 627924 WITH SCORE 628641.52
AT ITER 4823 NEW BEST:: SOT 4404733 SOS 717462 HAS SOPS 717462 HAS SOUS 627866 HAS SOUPS 627866 WITH SCORE 628583.462
AT ITER 4825 NEW BEST:: SOT 4404644 SOS 717392 HAS SOPS 717392 HAS SOUS 627777 HAS SOUPS 627777 WITH SCORE 628494.392
AT ITER 4859 NEW BEST:: SOT 4404644 SOS 717392 HAS SOPS 717392 HAS SOUS 627654 HAS SOUPS 627654 WITH SCORE 628371.392
AT ITER 4868 NEW BEST:: SOT 4404578 SOS 717260 HAS SOPS 717260 HAS SOUS 627522 HAS SOUPS 627522 WITH SCORE 628239.26
AT ITER 4891 NEW BEST:: SOT 4404060 SOS 716742 HAS SOPS 716742 HAS SOUS 627004 HAS SOUPS 627004 WITH SCORE 627720.742
AT ITER 4897 NEW BEST:: SOT 4404039 SOS 716702 HAS SOPS 716702 HAS SOUS 626962 HAS SOUPS 626962 WITH SCORE 627678.702
AT ITER 4906 NEW BEST:: SOT 4403894 SOS 716412 HAS SOPS 716412 HAS SOUS 626672 HAS SOUPS 626672 WITH SCORE 627388.412
AT ITER 4918 NEW BEST:: SOT 4403665 SOS 715954 HAS SOPS 715954 HAS SOUS 626443 HAS SOUPS 626443 WITH SCORE 627158.954
AT ITER 4922 NEW BEST:: SOT 4403664 SOS 715952 HAS SOPS 715952 HAS SOUS 626441 HAS SOUPS 626441 WITH SCORE 627156.952
AT ITER 4931 NEW BEST:: SOT 4403548 SOS 715836 HAS SOPS 715836 HAS SOUS 626209 HAS SOUPS 626209 WITH SCORE 626924.836
AT ITER 4940 NEW BEST:: SOT 4403454 SOS 715648 HAS SOPS 715648 HAS SOUS 626082 HAS SOUPS 626082 WITH SCORE 626797.648
AT ITER 4942 NEW BEST:: SOT 4403626 SOS 715494 HAS SOPS 715494 HAS SOUS 626005 HAS SOUPS 626005 WITH SCORE 626720.494
AT ITER 4949 NEW BEST:: SOT 4403624 SOS 715490 HAS SOPS 715490 HAS SOUS 626001 HAS SOUPS 626001 WITH SCORE 626716.49
AT ITER 4968 NEW BEST:: SOT 4403510 SOS 715444 HAS SOPS 715444 HAS SOUS 625955 HAS SOUPS 625955 WITH SCORE 626670.444
AT ITER 4980 NEW BEST:: SOT 4403510 SOS 715443 HAS SOPS 715443 HAS SOUS 625954 HAS SOUPS 625954 WITH SCORE 626669.443
AT ITER 4992 NEW BEST:: SOT 4403249 SOS 715187 HAS SOPS 715187 HAS SOUS 625693 HAS SOUPS 625693 WITH SCORE 626408.187
AT ITER 5010 NEW BEST:: SOT 4403038 SOS 715015 HAS SOPS 715015 HAS SOUS 625521 HAS SOUPS 625521 WITH SCORE 626236.015
AT ITER 5059 NEW BEST:: SOT 4403088 SOS 715115 HAS SOPS 715115 HAS SOUS 625488 HAS SOUPS 625488 WITH SCORE 626203.115
AT ITER 5081 NEW BEST:: SOT 4403192 SOS 715108 HAS SOPS 715108 HAS SOUS 625481 HAS SOUPS 625481 WITH SCORE 626196.108
AT ITER 5127 NEW BEST:: SOT 4403116 SOS 714956 HAS SOPS 714956 HAS SOUS 625405 HAS SOUPS 625405 WITH SCORE 626119.956
AT ITER 5132 NEW BEST:: SOT 4403113 SOS 714950 HAS SOPS 714950 HAS SOUS 625399 HAS SOUPS 625399 WITH SCORE 626113.95
AT ITER 5140 NEW BEST:: SOT 4403012 SOS 715002 HAS SOPS 715002 HAS SOUS 625375 HAS SOUPS 625375 WITH SCORE 626090.002
AT ITER 5172 NEW BEST:: SOT 4403011 SOS 715000 HAS SOPS 715000 HAS SOUS 625373 HAS SOUPS 625373 WITH SCORE 626088.0
AT ITER 5200 NEW BEST:: SOT 4403009 SOS 714996 HAS SOPS 714996 HAS SOUS 625370 HAS SOUPS 625370 WITH SCORE 626084.996
AT ITER 5211 NEW BEST:: SOT 4402806 SOS 714878 HAS SOPS 714878 HAS SOUS 625252 HAS SOUPS 625252 WITH SCORE 625966.878
AT ITER 5225 NEW BEST:: SOT 4402846 SOS 714868 HAS SOPS 714868 HAS SOUS 625242 HAS SOUPS 625242 WITH SCORE 625956.868
AT ITER 5243 NEW BEST:: SOT 4402757 SOS 714540 HAS SOPS 714540 HAS SOUS 625064 HAS SOUPS 625064 WITH SCORE 625778.54
AT ITER 5253 NEW BEST:: SOT 4402550 SOS 714734 HAS SOPS 714734 HAS SOUS 624895 HAS SOUPS 624895 WITH SCORE 625609.734
AT ITER 5259 NEW BEST:: SOT 4402311 SOS 714452 HAS SOPS 714452 HAS SOUS 624574 HAS SOUPS 624574 WITH SCORE 625288.452
AT ITER 5271 NEW BEST:: SOT 4402140 SOS 714242 HAS SOPS 714242 HAS SOUS 624403 HAS SOUPS 624403 WITH SCORE 625117.242
AT ITER 5272 NEW BEST:: SOT 4401938 SOS 714313 HAS SOPS 714313 HAS SOUS 624296 HAS SOUPS 624296 WITH SCORE 625010.313
AT ITER 5279 NEW BEST:: SOT 4401817 SOS 714047 HAS SOPS 714047 HAS SOUS 624293 HAS SOUPS 624293 WITH SCORE 625007.047
AT ITER 5302 NEW BEST:: SOT 4401816 SOS 714045 HAS SOPS 714045 HAS SOUS 624291 HAS SOUPS 624291 WITH SCORE 625005.045
AT ITER 5306 NEW BEST:: SOT 4401637 SOS 713687 HAS SOPS 713687 HAS SOUS 623933 HAS SOUPS 623933 WITH SCORE 624646.687
AT ITER 5330 NEW BEST:: SOT 4401637 SOS 713681 HAS SOPS 713681 HAS SOUS 623933 HAS SOUPS 623933 WITH SCORE 624646.681
AT ITER 5353 NEW BEST:: SOT 4401620 SOS 713647 HAS SOPS 713647 HAS SOUS 623899 HAS SOUPS 623899 WITH SCORE 624612.647
AT ITER 5363 NEW BEST:: SOT 4401620 SOS 713595 HAS SOPS 713595 HAS SOUS 623899 HAS SOUPS 623899 WITH SCORE 624612.595
AT ITER 5376 NEW BEST:: SOT 4401446 SOS 713247 HAS SOPS 713247 HAS SOUS 623833 HAS SOUPS 623833 WITH SCORE 624546.247
AT ITER 5384 NEW BEST:: SOT 4401402 SOS 713159 HAS SOPS 713159 HAS SOUS 623799 HAS SOUPS 623799 WITH SCORE 624512.159
AT ITER 5407 NEW BEST:: SOT 4401374 SOS 713117 HAS SOPS 713117 HAS SOUS 623757 HAS SOUPS 623757 WITH SCORE 624470.117
AT ITER 5440 NEW BEST:: SOT 4401018 SOS 712049 HAS SOPS 712049 HAS SOUS 623401 HAS SOUPS 623401 WITH SCORE 624113.049
AT ITER 5458 NEW BEST:: SOT 4400913 SOS 711839 HAS SOPS 711839 HAS SOUS 623330 HAS SOUPS 623330 WITH SCORE 624041.839
AT ITER 5463 NEW BEST:: SOT 4400850 SOS 711713 HAS SOPS 711713 HAS SOUS 623267 HAS SOUPS 623267 WITH SCORE 623978.713
AT ITER 5492 NEW BEST:: SOT 4400850 SOS 711679 HAS SOPS 711679 HAS SOUS 623267 HAS SOUPS 623267 WITH SCORE 623978.679
AT ITER 5498 NEW BEST:: SOT 4400248 SOS 710989 HAS SOPS 710989 HAS SOUS 622668 HAS SOUPS 622668 WITH SCORE 623378.989
AT ITER 5503 NEW BEST:: SOT 4400162 SOS 710903 HAS SOPS 710903 HAS SOUS 622582 HAS SOUPS 622582 WITH SCORE 623292.903
AT ITER 5539 NEW BEST:: SOT 4400364 SOS 710777 HAS SOPS 710777 HAS SOUS 622562 HAS SOUPS 622562 WITH SCORE 623272.777
AT ITER 5586 NEW BEST:: SOT 4400541 SOS 711131 HAS SOPS 711131 HAS SOUS 622479 HAS SOUPS 622479 WITH SCORE 623190.131
AT ITER 5622 NEW BEST:: SOT 4400536 SOS 711126 HAS SOPS 711126 HAS SOUS 622479 HAS SOUPS 622479 WITH SCORE 623190.126
AT ITER 5636 NEW BEST:: SOT 4400527 SOS 710949 HAS SOPS 710949 HAS SOUS 622461 HAS SOUPS 622461 WITH SCORE 623171.949
AT ITER 5643 NEW BEST:: SOT 4400527 SOS 710949 HAS SOPS 710949 HAS SOUS 622390 HAS SOUPS 622390 WITH SCORE 623100.949
AT ITER 5665 NEW BEST:: SOT 4400885 SOS 709494 HAS SOPS 709494 HAS SOUS 622288 HAS SOUPS 622288 WITH SCORE 622997.494
AT ITER 5760 NEW BEST:: SOT 4400822 SOS 709368 HAS SOPS 709368 HAS SOUS 622287 HAS SOUPS 622287 WITH SCORE 622996.368
AT ITER 5783 NEW BEST:: SOT 4400784 SOS 709291 HAS SOPS 709291 HAS SOUS 622210 HAS SOUPS 622210 WITH SCORE 622919.291
AT ITER 5804 NEW BEST:: SOT 4400747 SOS 709217 HAS SOPS 709217 HAS SOUS 622173 HAS SOUPS 622173 WITH SCORE 622882.217
AT ITER 5826 NEW BEST:: SOT 4400596 SOS 709250 HAS SOPS 709250 HAS SOUS 622084 HAS SOUPS 622084 WITH SCORE 622793.25
AT ITER 5843 NEW BEST:: SOT 4400508 SOS 708986 HAS SOPS 708986 HAS SOUS 621952 HAS SOUPS 621952 WITH SCORE 622660.986
AT ITER 5844 NEW BEST:: SOT 4400555 SOS 709080 HAS SOPS 709080 HAS SOUS 621930 HAS SOUPS 621930 WITH SCORE 622639.08
AT ITER 5861 NEW BEST:: SOT 4400351 SOS 708876 HAS SOPS 708876 HAS SOUS 621725 HAS SOUPS 621725 WITH SCORE 622433.876
AT ITER 5863 NEW BEST:: SOT 4400331 SOS 708836 HAS SOPS 708836 HAS SOUS 621704 HAS SOUPS 621704 WITH SCORE 622412.836
AT ITER 5871 NEW BEST:: SOT 4400325 SOS 708824 HAS SOPS 708824 HAS SOUS 621695 HAS SOUPS 621695 WITH SCORE 622403.824
AT ITER 5880 NEW BEST:: SOT 4400076 SOS 708709 HAS SOPS 708709 HAS SOUS 621513 HAS SOUPS 621513 WITH SCORE 622221.709
AT ITER 5917 NEW BEST:: SOT 4400025 SOS 708658 HAS SOPS 708658 HAS SOUS 621462 HAS SOUPS 621462 WITH SCORE 622170.658
AT ITER 5936 NEW BEST:: SOT 4399852 SOS 708126 HAS SOPS 708126 HAS SOUS 621133 HAS SOUPS 621133 WITH SCORE 621841.126
AT ITER 5946 NEW BEST:: SOT 4399764 SOS 708040 HAS SOPS 708040 HAS SOUS 621045 HAS SOUPS 621045 WITH SCORE 621753.04
AT ITER 5953 NEW BEST:: SOT 4399764 SOS 708040 HAS SOPS 708040 HAS SOUS 620816 HAS SOUPS 620816 WITH SCORE 621524.04
AT ITER 5967 NEW BEST:: SOT 4399615 SOS 707891 HAS SOPS 707891 HAS SOUS 620667 HAS SOUPS 620667 WITH SCORE 621374.891
AT ITER 5969 NEW BEST:: SOT 4399425 SOS 707831 HAS SOPS 707831 HAS SOUS 620522 HAS SOUPS 620522 WITH SCORE 621229.831
AT ITER 6000 NEW BEST:: SOT 4399377 SOS 707831 HAS SOPS 707831 HAS SOUS 620474 HAS SOUPS 620474 WITH SCORE 621181.831
AT ITER 6017 NEW BEST:: SOT 4399377 SOS 707454 HAS SOPS 707454 HAS SOUS 620474 HAS SOUPS 620474 WITH SCORE 621181.454
AT ITER 6083 NEW BEST:: SOT 4399270 SOS 707335 HAS SOPS 707335 HAS SOUS 620371 HAS SOUPS 620371 WITH SCORE 621078.335
AT ITER 6085 NEW BEST:: SOT 4399231 SOS 707278 HAS SOPS 707278 HAS SOUS 620332 HAS SOUPS 620332 WITH SCORE 621039.278
AT ITER 6103 NEW BEST:: SOT 4399208 SOS 707232 HAS SOPS 707232 HAS SOUS 620311 HAS SOUPS 620311 WITH SCORE 621018.232
AT ITER 6154 NEW BEST:: SOT 4399208 SOS 707094 HAS SOPS 707094 HAS SOUS 620311 HAS SOUPS 620311 WITH SCORE 621018.094
AT ITER 6174 NEW BEST:: SOT 4397034 SOS 727647 HAS SOPS 727647 HAS SOUS 618325 HAS SOUPS 618325 WITH SCORE 619052.647
AT ITER 6180 NEW BEST:: SOT 4396909 SOS 727226 HAS SOPS 727226 HAS SOUS 618168 HAS SOUPS 618168 WITH SCORE 618895.226
AT ITER 6184 NEW BEST:: SOT 4396908 SOS 727224 HAS SOPS 727224 HAS SOUS 618166 HAS SOUPS 618166 WITH SCORE 618893.224
AT ITER 6189 NEW BEST:: SOT 4396752 SOS 726912 HAS SOPS 726912 HAS SOUS 617854 HAS SOUPS 617854 WITH SCORE 618580.912
AT ITER 6191 NEW BEST:: SOT 4396752 SOS 726912 HAS SOPS 726912 HAS SOUS 617715 HAS SOUPS 617715 WITH SCORE 618441.912
AT ITER 6202 NEW BEST:: SOT 4396605 SOS 726951 HAS SOPS 726951 HAS SOUS 617679 HAS SOUPS 617679 WITH SCORE 618405.951
AT ITER 6203 NEW BEST:: SOT 4396522 SOS 726951 HAS SOPS 726951 HAS SOUS 617596 HAS SOUPS 617596 WITH SCORE 618322.951
AT ITER 6207 NEW BEST:: SOT 4396357 SOS 726452 HAS SOPS 726452 HAS SOUS 617081 HAS SOUPS 617081 WITH SCORE 617807.452
AT ITER 6228 NEW BEST:: SOT 4396357 SOS 726437 HAS SOPS 726437 HAS SOUS 617081 HAS SOUPS 617081 WITH SCORE 617807.437
AT ITER 6251 NEW BEST:: SOT 4396357 SOS 726437 HAS SOPS 726437 HAS SOUS 617025 HAS SOUPS 617025 WITH SCORE 617751.437
AT ITER 6266 NEW BEST:: SOT 4396357 SOS 726131 HAS SOPS 726131 HAS SOUS 617024 HAS SOUPS 617024 WITH SCORE 617750.131
AT ITER 6268 NEW BEST:: SOT 4396231 SOS 725629 HAS SOPS 725629 HAS SOUS 616772 HAS SOUPS 616772 WITH SCORE 617497.629
AT ITER 6269 NEW BEST:: SOT 4396109 SOS 725506 HAS SOPS 725506 HAS SOUS 616649 HAS SOUPS 616649 WITH SCORE 617374.506
AT ITER 6272 NEW BEST:: SOT 4396081 SOS 725450 HAS SOPS 725450 HAS SOUS 616614 HAS SOUPS 616614 WITH SCORE 617339.45
AT ITER 6314 NEW BEST:: SOT 4395984 SOS 725256 HAS SOPS 725256 HAS SOUS 616420 HAS SOUPS 616420 WITH SCORE 617145.256
AT ITER 6329 NEW BEST:: SOT 4395879 SOS 725151 HAS SOPS 725151 HAS SOUS 616315 HAS SOUPS 616315 WITH SCORE 617040.151
AT ITER 6347 NEW BEST:: SOT 4395878 SOS 725335 HAS SOPS 725335 HAS SOUS 616313 HAS SOUPS 616313 WITH SCORE 617038.335
AT ITER 6351 NEW BEST:: SOT 4395820 SOS 725219 HAS SOPS 725219 HAS SOUS 616197 HAS SOUPS 616197 WITH SCORE 616922.219
AT ITER 6383 NEW BEST:: SOT 4395813 SOS 724943 HAS SOPS 724943 HAS SOUS 615666 HAS SOUPS 615666 WITH SCORE 616390.943
AT ITER 6417 NEW BEST:: SOT 4395813 SOS 724680 HAS SOPS 724680 HAS SOUS 615403 HAS SOUPS 615403 WITH SCORE 616127.68
AT ITER 6467 NEW BEST:: SOT 4395675 SOS 724404 HAS SOPS 724404 HAS SOUS 615127 HAS SOUPS 615127 WITH SCORE 615851.404
AT ITER 6496 NEW BEST:: SOT 4395630 SOS 724314 HAS SOPS 724314 HAS SOUS 615037 HAS SOUPS 615037 WITH SCORE 615761.314
AT ITER 6518 NEW BEST:: SOT 4395630 SOS 724314 HAS SOPS 724314 HAS SOUS 614983 HAS SOUPS 614983 WITH SCORE 615707.314
AT ITER 6522 NEW BEST:: SOT 4395630 SOS 724314 HAS SOPS 724314 HAS SOUS 614982 HAS SOUPS 614982 WITH SCORE 615706.314
AT ITER 6545 NEW BEST:: SOT 4395630 SOS 724314 HAS SOPS 724314 HAS SOUS 614976 HAS SOUPS 614976 WITH SCORE 615700.314
AT ITER 6579 NEW BEST:: SOT 4395630 SOS 724123 HAS SOPS 724123 HAS SOUS 614975 HAS SOUPS 614975 WITH SCORE 615699.123
AT ITER 6586 NEW BEST:: SOT 4395776 SOS 724277 HAS SOPS 724277 HAS SOUS 614814 HAS SOUPS 614814 WITH SCORE 615538.277
AT ITER 6620 NEW BEST:: SOT 4394499 SOS 725571 HAS SOPS 725571 HAS SOUS 613717 HAS SOUPS 613717 WITH SCORE 614442.571
AT ITER 6621 NEW BEST:: SOT 4394349 SOS 724783 HAS SOPS 724783 HAS SOUS 613658 HAS SOUPS 613658 WITH SCORE 614382.783
AT ITER 6645 NEW BEST:: SOT 4394302 SOS 724347 HAS SOPS 724347 HAS SOUS 613300 HAS SOUPS 613300 WITH SCORE 614024.347
AT ITER 6700 NEW BEST:: SOT 4394267 SOS 724277 HAS SOPS 724277 HAS SOUS 613230 HAS SOUPS 613230 WITH SCORE 613954.277
AT ITER 6712 NEW BEST:: SOT 4394235 SOS 724368 HAS SOPS 724368 HAS SOUS 613198 HAS SOUPS 613198 WITH SCORE 613922.368
AT ITER 6716 NEW BEST:: SOT 4394169 SOS 724236 HAS SOPS 724236 HAS SOUS 613186 HAS SOUPS 613186 WITH SCORE 613910.236
AT ITER 6729 NEW BEST:: SOT 4394081 SOS 724148 HAS SOPS 724148 HAS SOUS 613098 HAS SOUPS 613098 WITH SCORE 613822.148
AT ITER 6740 NEW BEST:: SOT 4394081 SOS 724148 HAS SOPS 724148 HAS SOUS 613097 HAS SOUPS 613097 WITH SCORE 613821.148
AT ITER 6775 NEW BEST:: SOT 4394063 SOS 724112 HAS SOPS 724112 HAS SOUS 613061 HAS SOUPS 613061 WITH SCORE 613785.112
AT ITER 6830 NEW BEST:: SOT 4394063 SOS 723995 HAS SOPS 723995 HAS SOUS 613061 HAS SOUPS 613061 WITH SCORE 613784.995
AT ITER 6837 NEW BEST:: SOT 4393942 SOS 723753 HAS SOPS 723753 HAS SOUS 612940 HAS SOUPS 612940 WITH SCORE 613663.753
AT ITER 6840 NEW BEST:: SOT 4393772 SOS 723520 HAS SOPS 723520 HAS SOUS 612663 HAS SOUPS 612663 WITH SCORE 613386.52
AT ITER 6883 NEW BEST:: SOT 4393738 SOS 723486 HAS SOPS 723486 HAS SOUS 612629 HAS SOUPS 612629 WITH SCORE 613352.486
AT ITER 6910 NEW BEST:: SOT 4393738 SOS 723412 HAS SOPS 723412 HAS SOUS 612605 HAS SOUPS 612605 WITH SCORE 613328.412
AT ITER 6916 NEW BEST:: SOT 4393754 SOS 723152 HAS SOPS 723152 HAS SOUS 612491 HAS SOUPS 612491 WITH SCORE 613214.152
AT ITER 6927 NEW BEST:: SOT 4393645 SOS 722934 HAS SOPS 722934 HAS SOUS 612273 HAS SOUPS 612273 WITH SCORE 612995.934
AT ITER 6930 NEW BEST:: SOT 4393509 SOS 722534 HAS SOPS 722534 HAS SOUS 611956 HAS SOUPS 611956 WITH SCORE 612678.534
AT ITER 6997 NEW BEST:: SOT 4393325 SOS 722458 HAS SOPS 722458 HAS SOUS 611756 HAS SOUPS 611756 WITH SCORE 612478.458
AT ITER 7020 NEW BEST:: SOT 4393317 SOS 722450 HAS SOPS 722450 HAS SOUS 611732 HAS SOUPS 611732 WITH SCORE 612454.45
AT ITER 7064 NEW BEST:: SOT 4393269 SOS 723006 HAS SOPS 723006 HAS SOUS 611595 HAS SOUPS 611595 WITH SCORE 612318.006
AT ITER 7086 NEW BEST:: SOT 4393168 SOS 723005 HAS SOPS 723005 HAS SOUS 611393 HAS SOUPS 611393 WITH SCORE 612116.005
AT ITER 7099 NEW BEST:: SOT 4393117 SOS 723018 HAS SOPS 723018 HAS SOUS 611342 HAS SOUPS 611342 WITH SCORE 612065.018
AT ITER 7112 NEW BEST:: SOT 4393059 SOS 723018 HAS SOPS 723018 HAS SOUS 611299 HAS SOUPS 611299 WITH SCORE 612022.018
AT ITER 7140 NEW BEST:: SOT 4393005 SOS 722910 HAS SOPS 722910 HAS SOUS 611245 HAS SOUPS 611245 WITH SCORE 611967.91
AT ITER 7190 NEW BEST:: SOT 4393005 SOS 722800 HAS SOPS 722800 HAS SOUS 611135 HAS SOUPS 611135 WITH SCORE 611857.8
AT ITER 7193 NEW BEST:: SOT 4392854 SOS 722498 HAS SOPS 722498 HAS SOUS 610833 HAS SOUPS 610833 WITH SCORE 611555.498
AT ITER 7242 NEW BEST:: SOT 4392536 SOS 722304 HAS SOPS 722304 HAS SOUS 610477 HAS SOUPS 610477 WITH SCORE 611199.304
AT ITER 7279 NEW BEST:: SOT 4391878 SOS 722116 HAS SOPS 722116 HAS SOUS 610063 HAS SOUPS 610063 WITH SCORE 610785.116
AT ITER 7291 NEW BEST:: SOT 4391823 SOS 722006 HAS SOPS 722006 HAS SOUS 609953 HAS SOUPS 609953 WITH SCORE 610675.006
AT ITER 7296 NEW BEST:: SOT 4391623 SOS 721707 HAS SOPS 721707 HAS SOUS 609755 HAS SOUPS 609755 WITH SCORE 610476.707
AT ITER 7312 NEW BEST:: SOT 4391623 SOS 721496 HAS SOPS 721496 HAS SOUS 609544 HAS SOUPS 609544 WITH SCORE 610265.496
AT ITER 7350 NEW BEST:: SOT 4391613 SOS 721476 HAS SOPS 721476 HAS SOUS 609524 HAS SOUPS 609524 WITH SCORE 610245.476
AT ITER 7352 NEW BEST:: SOT 4391613 SOS 721476 HAS SOPS 721476 HAS SOUS 609501 HAS SOUPS 609501 WITH SCORE 610222.476
AT ITER 7369 NEW BEST:: SOT 4391634 SOS 721518 HAS SOPS 721518 HAS SOUS 609312 HAS SOUPS 609312 WITH SCORE 610033.518
AT ITER 7386 NEW BEST:: SOT 4388412 SOS 726941 HAS SOPS 726941 HAS SOUS 606689 HAS SOUPS 606689 WITH SCORE 607415.941
AT ITER 7447 NEW BEST:: SOT 4388439 SOS 726995 HAS SOPS 726995 HAS SOUS 606688 HAS SOUPS 606688 WITH SCORE 607414.995
AT ITER 7486 NEW BEST:: SOT 4388407 SOS 726931 HAS SOPS 726931 HAS SOUS 606383 HAS SOUPS 606383 WITH SCORE 607109.931
AT ITER 7493 NEW BEST:: SOT 4388407 SOS 726931 HAS SOPS 726931 HAS SOUS 606353 HAS SOUPS 606353 WITH SCORE 607079.931
AT ITER 7504 NEW BEST:: SOT 4388222 SOS 726531 HAS SOPS 726531 HAS SOUS 606297 HAS SOUPS 606297 WITH SCORE 607023.531
AT ITER 7534 NEW BEST:: SOT 4388182 SOS 726523 HAS SOPS 726523 HAS SOUS 606289 HAS SOUPS 606289 WITH SCORE 607015.523
AT ITER 7562 NEW BEST:: SOT 4388142 SOS 726483 HAS SOPS 726483 HAS SOUS 606249 HAS SOUPS 606249 WITH SCORE 606975.483
AT ITER 7570 NEW BEST:: SOT 4388141 SOS 726481 HAS SOPS 726481 HAS SOUS 606247 HAS SOUPS 606247 WITH SCORE 606973.481
AT ITER 7594 NEW BEST:: SOT 4387998 SOS 726064 HAS SOPS 726064 HAS SOUS 606133 HAS SOUPS 606133 WITH SCORE 606859.064
AT ITER 7597 NEW BEST:: SOT 4388169 SOS 725812 HAS SOPS 725812 HAS SOUS 606007 HAS SOUPS 606007 WITH SCORE 606732.812
AT ITER 7610 NEW BEST:: SOT 4388160 SOS 725794 HAS SOPS 725794 HAS SOUS 605998 HAS SOUPS 605998 WITH SCORE 606723.794
AT ITER 7618 NEW BEST:: SOT 4388116 SOS 725706 HAS SOPS 725706 HAS SOUS 605965 HAS SOUPS 605965 WITH SCORE 606690.706
AT ITER 7645 NEW BEST:: SOT 4388036 SOS 725546 HAS SOPS 725546 HAS SOUS 605805 HAS SOUPS 605805 WITH SCORE 606530.546
AT ITER 7667 NEW BEST:: SOT 4388036 SOS 725221 HAS SOPS 725221 HAS SOUS 605805 HAS SOUPS 605805 WITH SCORE 606530.221
AT ITER 7687 NEW BEST:: SOT 4387798 SOS 724918 HAS SOPS 724918 HAS SOUS 605502 HAS SOUPS 605502 WITH SCORE 606226.918
AT ITER 7699 NEW BEST:: SOT 4387579 SOS 724699 HAS SOPS 724699 HAS SOUS 605283 HAS SOUPS 605283 WITH SCORE 606007.699
AT ITER 7709 NEW BEST:: SOT 4387563 SOS 724667 HAS SOPS 724667 HAS SOUS 605211 HAS SOUPS 605211 WITH SCORE 605935.667
AT ITER 7785 NEW BEST:: SOT 4387458 SOS 724457 HAS SOPS 724457 HAS SOUS 605106 HAS SOUPS 605106 WITH SCORE 605830.457
AT ITER 7795 NEW BEST:: SOT 4387439 SOS 724419 HAS SOPS 724419 HAS SOUS 605087 HAS SOUPS 605087 WITH SCORE 605811.419
AT ITER 7828 NEW BEST:: SOT 4387362 SOS 724265 HAS SOPS 724265 HAS SOUS 604783 HAS SOUPS 604783 WITH SCORE 605507.265
AT ITER 7835 NEW BEST:: SOT 4387362 SOS 724242 HAS SOPS 724242 HAS SOUS 604760 HAS SOUPS 604760 WITH SCORE 605484.242
AT ITER 7873 NEW BEST:: SOT 4387692 SOS 724114 HAS SOPS 724114 HAS SOUS 604727 HAS SOUPS 604727 WITH SCORE 605451.114
AT ITER 7884 NEW BEST:: SOT 4387637 SOS 724004 HAS SOPS 724004 HAS SOUS 604672 HAS SOUPS 604672 WITH SCORE 605396.004
AT ITER 7892 NEW BEST:: SOT 4387636 SOS 724002 HAS SOPS 724002 HAS SOUS 604670 HAS SOUPS 604670 WITH SCORE 605394.002
AT ITER 7897 NEW BEST:: SOT 4387572 SOS 724002 HAS SOPS 724002 HAS SOUS 604638 HAS SOUPS 604638 WITH SCORE 605362.002
AT ITER 7899 NEW BEST:: SOT 4387477 SOS 723812 HAS SOPS 723812 HAS SOUS 604448 HAS SOUPS 604448 WITH SCORE 605171.812
AT ITER 7951 NEW BEST:: SOT 4387477 SOS 723812 HAS SOPS 723812 HAS SOUS 604409 HAS SOUPS 604409 WITH SCORE 605132.812
AT ITER 7953 NEW BEST:: SOT 4387451 SOS 723760 HAS SOPS 723760 HAS SOUS 604357 HAS SOUPS 604357 WITH SCORE 605080.76
AT ITER 7999 NEW BEST:: SOT 4387168 SOS 723194 HAS SOPS 723194 HAS SOUS 604344 HAS SOUPS 604344 WITH SCORE 605067.194
AT ITER 8011 NEW BEST:: SOT 4386810 SOS 723006 HAS SOPS 723006 HAS SOUS 603646 HAS SOUPS 603646 WITH SCORE 604369.006
AT ITER 8023 NEW BEST:: SOT 4386686 SOS 722758 HAS SOPS 722758 HAS SOUS 603398 HAS SOUPS 603398 WITH SCORE 604120.758
AT ITER 8026 NEW BEST:: SOT 4386496 SOS 722378 HAS SOPS 722378 HAS SOUS 603209 HAS SOUPS 603209 WITH SCORE 603931.378
AT ITER 8027 NEW BEST:: SOT 4386484 SOS 722082 HAS SOPS 722082 HAS SOUS 603043 HAS SOUPS 603043 WITH SCORE 603765.082
AT ITER 8061 NEW BEST:: SOT 4386694 SOS 722502 HAS SOPS 722502 HAS SOUS 603019 HAS SOUPS 603019 WITH SCORE 603741.502
AT ITER 8064 NEW BEST:: SOT 4386691 SOS 722627 HAS SOPS 722627 HAS SOUS 603016 HAS SOUPS 603016 WITH SCORE 603738.627
AT ITER 8065 NEW BEST:: SOT 4386515 SOS 722569 HAS SOPS 722569 HAS SOUS 602840 HAS SOUPS 602840 WITH SCORE 603562.569
AT ITER 8066 NEW BEST:: SOT 4386448 SOS 722435 HAS SOPS 722435 HAS SOUS 602773 HAS SOUPS 602773 WITH SCORE 603495.435
AT ITER 8072 NEW BEST:: SOT 4386234 SOS 722007 HAS SOPS 722007 HAS SOUS 602345 HAS SOUPS 602345 WITH SCORE 603067.007
AT ITER 8094 NEW BEST:: SOT 4386062 SOS 721663 HAS SOPS 721663 HAS SOUS 602001 HAS SOUPS 602001 WITH SCORE 602722.663
AT ITER 8098 NEW BEST:: SOT 4386062 SOS 721663 HAS SOPS 721663 HAS SOUS 602000 HAS SOUPS 602000 WITH SCORE 602721.663
AT ITER 8129 NEW BEST:: SOT 4386061 SOS 721661 HAS SOPS 721661 HAS SOUS 601998 HAS SOUPS 601998 WITH SCORE 602719.661
AT ITER 8155 NEW BEST:: SOT 4386045 SOS 721629 HAS SOPS 721629 HAS SOUS 601966 HAS SOUPS 601966 WITH SCORE 602687.629
AT ITER 8171 NEW BEST:: SOT 4385897 SOS 721481 HAS SOPS 721481 HAS SOUS 601818 HAS SOUPS 601818 WITH SCORE 602539.481
AT ITER 8177 NEW BEST:: SOT 4385897 SOS 721481 HAS SOPS 721481 HAS SOUS 601731 HAS SOUPS 601731 WITH SCORE 602452.481
AT ITER 8195 NEW BEST:: SOT 4385833 SOS 721547 HAS SOPS 721547 HAS SOUS 601712 HAS SOUPS 601712 WITH SCORE 602433.547
AT ITER 8197 NEW BEST:: SOT 4385163 SOS 721139 HAS SOPS 721139 HAS SOUS 601052 HAS SOUPS 601052 WITH SCORE 601773.139
AT ITER 8217 NEW BEST:: SOT 4385029 SOS 721030 HAS SOPS 721030 HAS SOUS 600936 HAS SOUPS 600936 WITH SCORE 601657.03
AT ITER 8220 NEW BEST:: SOT 4385071 SOS 720252 HAS SOPS 720252 HAS SOUS 600710 HAS SOUPS 600710 WITH SCORE 601430.252
AT ITER 8223 NEW BEST:: SOT 4385035 SOS 720180 HAS SOPS 720180 HAS SOUS 600694 HAS SOUPS 600694 WITH SCORE 601414.18
AT ITER 8231 NEW BEST:: SOT 4384992 SOS 720094 HAS SOPS 720094 HAS SOUS 600651 HAS SOUPS 600651 WITH SCORE 601371.094
AT ITER 8237 NEW BEST:: SOT 4384883 SOS 719876 HAS SOPS 719876 HAS SOUS 600542 HAS SOUPS 600542 WITH SCORE 601261.876
AT ITER 8288 NEW BEST:: SOT 4384808 SOS 719726 HAS SOPS 719726 HAS SOUS 600467 HAS SOUPS 600467 WITH SCORE 601186.726
AT ITER 8312 NEW BEST:: SOT 4384778 SOS 719696 HAS SOPS 719696 HAS SOUS 600407 HAS SOUPS 600407 WITH SCORE 601126.696
AT ITER 8313 NEW BEST:: SOT 4384826 SOS 719628 HAS SOPS 719628 HAS SOUS 600387 HAS SOUPS 600387 WITH SCORE 601106.628
AT ITER 8315 NEW BEST:: SOT 4384826 SOS 719689 HAS SOPS 719689 HAS SOUS 600326 HAS SOUPS 600326 WITH SCORE 601045.689
AT ITER 8364 NEW BEST:: SOT 4384826 SOS 719646 HAS SOPS 719646 HAS SOUS 600283 HAS SOUPS 600283 WITH SCORE 601002.646
AT ITER 8376 NEW BEST:: SOT 4384740 SOS 719668 HAS SOPS 719668 HAS SOUS 600203 HAS SOUPS 600203 WITH SCORE 600922.668
AT ITER 8380 NEW BEST:: SOT 4384739 SOS 719666 HAS SOPS 719666 HAS SOUS 600201 HAS SOUPS 600201 WITH SCORE 600920.666
AT ITER 8394 NEW BEST:: SOT 4384738 SOS 719574 HAS SOPS 719574 HAS SOUS 600110 HAS SOUPS 600110 WITH SCORE 600829.574
AT ITER 8441 NEW BEST:: SOT 4384718 SOS 719534 HAS SOPS 719534 HAS SOUS 600070 HAS SOUPS 600070 WITH SCORE 600789.534
AT ITER 8460 NEW BEST:: SOT 4384625 SOS 719525 HAS SOPS 719525 HAS SOUS 599977 HAS SOUPS 599977 WITH SCORE 600696.525
AT ITER 8475 NEW BEST:: SOT 4384596 SOS 719467 HAS SOPS 719467 HAS SOUS 599948 HAS SOUPS 599948 WITH SCORE 600667.467
AT ITER 8481 NEW BEST:: SOT 4384586 SOS 719447 HAS SOPS 719447 HAS SOUS 599928 HAS SOUPS 599928 WITH SCORE 600647.447
AT ITER 8483 NEW BEST:: SOT 4384586 SOS 719150 HAS SOPS 719150 HAS SOUS 599928 HAS SOUPS 599928 WITH SCORE 600647.15
AT ITER 8492 NEW BEST:: SOT 4384575 SOS 718966 HAS SOPS 718966 HAS SOUS 599744 HAS SOUPS 599744 WITH SCORE 600462.966
AT ITER 8493 NEW BEST:: SOT 4384512 SOS 718939 HAS SOPS 718939 HAS SOUS 599717 HAS SOUPS 599717 WITH SCORE 600435.939
AT ITER 8518 NEW BEST:: SOT 4384490 SOS 718895 HAS SOPS 718895 HAS SOUS 599386 HAS SOUPS 599386 WITH SCORE 600104.895
AT ITER 8519 NEW BEST:: SOT 4384490 SOS 718703 HAS SOPS 718703 HAS SOUS 599290 HAS SOUPS 599290 WITH SCORE 600008.703
AT ITER 8531 NEW BEST:: SOT 4384661 SOS 718340 HAS SOPS 718340 HAS SOUS 599226 HAS SOUPS 599226 WITH SCORE 599944.34
AT ITER 8547 NEW BEST:: SOT 4384651 SOS 718443 HAS SOPS 718443 HAS SOUS 599216 HAS SOUPS 599216 WITH SCORE 599934.443
AT ITER 8553 NEW BEST:: SOT 4384445 SOS 718237 HAS SOPS 718237 HAS SOUS 599010 HAS SOUPS 599010 WITH SCORE 599728.237
AT ITER 8565 NEW BEST:: SOT 4384516 SOS 718233 HAS SOPS 718233 HAS SOUS 599008 HAS SOUPS 599008 WITH SCORE 599726.233
AT ITER 8582 NEW BEST:: SOT 4384502 SOS 718205 HAS SOPS 718205 HAS SOUS 598980 HAS SOUPS 598980 WITH SCORE 599698.205
AT ITER 8583 NEW BEST:: SOT 4384218 SOS 718924 HAS SOPS 718924 HAS SOUS 598799 HAS SOUPS 598799 WITH SCORE 599517.924
AT ITER 8592 NEW BEST:: SOT 4384002 SOS 718708 HAS SOPS 718708 HAS SOUS 598583 HAS SOUPS 598583 WITH SCORE 599301.708
AT ITER 8608 NEW BEST:: SOT 4383807 SOS 718572 HAS SOPS 718572 HAS SOUS 598418 HAS SOUPS 598418 WITH SCORE 599136.572
AT ITER 8636 NEW BEST:: SOT 4383777 SOS 718512 HAS SOPS 718512 HAS SOUS 598358 HAS SOUPS 598358 WITH SCORE 599076.512
AT ITER 8637 NEW BEST:: SOT 4383697 SOS 718352 HAS SOPS 718352 HAS SOUS 598198 HAS SOUPS 598198 WITH SCORE 598916.352
AT ITER 8670 NEW BEST:: SOT 4383669 SOS 718036 HAS SOPS 718036 HAS SOUS 597923 HAS SOUPS 597923 WITH SCORE 598641.036
AT ITER 8672 NEW BEST:: SOT 4383647 SOS 717992 HAS SOPS 717992 HAS SOUS 597879 HAS SOUPS 597879 WITH SCORE 598596.992
AT ITER 8674 NEW BEST:: SOT 4383624 SOS 717946 HAS SOPS 717946 HAS SOUS 597833 HAS SOUPS 597833 WITH SCORE 598550.946
AT ITER 8704 NEW BEST:: SOT 4383518 SOS 717734 HAS SOPS 717734 HAS SOUS 597621 HAS SOUPS 597621 WITH SCORE 598338.734
AT ITER 8726 NEW BEST:: SOT 4383472 SOS 717642 HAS SOPS 717642 HAS SOUS 597583 HAS SOUPS 597583 WITH SCORE 598300.642
AT ITER 8765 NEW BEST:: SOT 4383451 SOS 717600 HAS SOPS 717600 HAS SOUS 597541 HAS SOUPS 597541 WITH SCORE 598258.6
AT ITER 8787 NEW BEST:: SOT 4383506 SOS 717376 HAS SOPS 717376 HAS SOUS 597482 HAS SOUPS 597482 WITH SCORE 598199.376
AT ITER 8809 NEW BEST:: SOT 4383261 SOS 717131 HAS SOPS 717131 HAS SOUS 597237 HAS SOUPS 597237 WITH SCORE 597954.131
AT ITER 8810 NEW BEST:: SOT 4383261 SOS 716865 HAS SOPS 716865 HAS SOUS 597237 HAS SOUPS 597237 WITH SCORE 597953.865
AT ITER 8818 NEW BEST:: SOT 4382980 SOS 716137 HAS SOPS 716137 HAS SOUS 596675 HAS SOUPS 596675 WITH SCORE 597391.137
AT ITER 8823 NEW BEST:: SOT 4382980 SOS 715838 HAS SOPS 715838 HAS SOUS 596675 HAS SOUPS 596675 WITH SCORE 597390.838
AT ITER 8834 NEW BEST:: SOT 4382944 SOS 715766 HAS SOPS 715766 HAS SOUS 596639 HAS SOUPS 596639 WITH SCORE 597354.766
AT ITER 8836 NEW BEST:: SOT 4382735 SOS 715139 HAS SOPS 715139 HAS SOUS 596430 HAS SOUPS 596430 WITH SCORE 597145.139
AT ITER 8863 NEW BEST:: SOT 4382699 SOS 715103 HAS SOPS 715103 HAS SOUS 596394 HAS SOUPS 596394 WITH SCORE 597109.103
AT ITER 8864 NEW BEST:: SOT 4382642 SOS 715101 HAS SOPS 715101 HAS SOUS 596392 HAS SOUPS 596392 WITH SCORE 597107.101
AT ITER 8932 NEW BEST:: SOT 4382566 SOS 714949 HAS SOPS 714949 HAS SOUS 596240 HAS SOUPS 596240 WITH SCORE 596954.949
AT ITER 8942 NEW BEST:: SOT 4382629 SOS 714654 HAS SOPS 714654 HAS SOUS 595945 HAS SOUPS 595945 WITH SCORE 596659.654
AT ITER 8965 NEW BEST:: SOT 4382629 SOS 714409 HAS SOPS 714409 HAS SOUS 595945 HAS SOUPS 595945 WITH SCORE 596659.409
AT ITER 8994 NEW BEST:: SOT 4382629 SOS 714409 HAS SOPS 714409 HAS SOUS 595914 HAS SOUPS 595914 WITH SCORE 596628.409
AT ITER 9035 NEW BEST:: SOT 4382650 SOS 714525 HAS SOPS 714525 HAS SOUS 595882 HAS SOUPS 595882 WITH SCORE 596596.525
AT ITER 9088 NEW BEST:: SOT 4382548 SOS 714321 HAS SOPS 714321 HAS SOUS 595678 HAS SOUPS 595678 WITH SCORE 596392.321
AT ITER 9098 NEW BEST:: SOT 4382548 SOS 713967 HAS SOPS 713967 HAS SOUS 595678 HAS SOUPS 595678 WITH SCORE 596391.967
AT ITER 9107 NEW BEST:: SOT 4382548 SOS 713529 HAS SOPS 713529 HAS SOUS 595605 HAS SOUPS 595605 WITH SCORE 596318.529
AT ITER 9114 NEW BEST:: SOT 4382606 SOS 713471 HAS SOPS 713471 HAS SOUS 595605 HAS SOUPS 595605 WITH SCORE 596318.471
AT ITER 9235 NEW BEST:: SOT 4382542 SOS 713045 HAS SOPS 713045 HAS SOUS 595179 HAS SOUPS 595179 WITH SCORE 595892.045
AT ITER 9243 NEW BEST:: SOT 4382542 SOS 713041 HAS SOPS 713041 HAS SOUS 595179 HAS SOUPS 595179 WITH SCORE 595892.041
AT ITER 9342 NEW BEST:: SOT 4382514 SOS 712985 HAS SOPS 712985 HAS SOUS 595172 HAS SOUPS 595172 WITH SCORE 595884.985
AT ITER 9365 NEW BEST:: SOT 4382390 SOS 712156 HAS SOPS 712156 HAS SOUS 594764 HAS SOUPS 594764 WITH SCORE 595476.156
AT ITER 9372 NEW BEST:: SOT 4382202 SOS 711780 HAS SOPS 711780 HAS SOUS 594679 HAS SOUPS 594679 WITH SCORE 595390.78
AT ITER 9375 NEW BEST:: SOT 4382195 SOS 711766 HAS SOPS 711766 HAS SOUS 594665 HAS SOUPS 594665 WITH SCORE 595376.766
AT ITER 9438 NEW BEST:: SOT 4382142 SOS 711607 HAS SOPS 711607 HAS SOUS 594559 HAS SOUPS 594559 WITH SCORE 595270.607
AT ITER 9486 NEW BEST:: SOT 4382097 SOS 711517 HAS SOPS 711517 HAS SOUS 594511 HAS SOUPS 594511 WITH SCORE 595222.517
AT ITER 9529 NEW BEST:: SOT 4382096 SOS 711516 HAS SOPS 711516 HAS SOUS 594509 HAS SOUPS 594509 WITH SCORE 595220.516
AT ITER 9546 NEW BEST:: SOT 4382090 SOS 711504 HAS SOPS 711504 HAS SOUS 594497 HAS SOUPS 594497 WITH SCORE 595208.504
AT ITER 9573 NEW BEST:: SOT 4382090 SOS 711504 HAS SOPS 711504 HAS SOUS 594376 HAS SOUPS 594376 WITH SCORE 595087.504
AT ITER 9576 NEW BEST:: SOT 4382146 SOS 711616 HAS SOPS 711616 HAS SOUS 594280 HAS SOUPS 594280 WITH SCORE 594991.616
AT ITER 9595 NEW BEST:: SOT 4382145 SOS 711297 HAS SOPS 711297 HAS SOUS 594264 HAS SOUPS 594264 WITH SCORE 594975.297
AT ITER 9638 NEW BEST:: SOT 4382109 SOS 711225 HAS SOPS 711225 HAS SOUS 594192 HAS SOUPS 594192 WITH SCORE 594903.225
AT ITER 9651 NEW BEST:: SOT 4382109 SOS 711225 HAS SOPS 711225 HAS SOUS 594184 HAS SOUPS 594184 WITH SCORE 594895.225
AT ITER 9665 NEW BEST:: SOT 4382004 SOS 711015 HAS SOPS 711015 HAS SOUS 593974 HAS SOUPS 593974 WITH SCORE 594685.015
AT ITER 9702 NEW BEST:: SOT 4381667 SOS 710341 HAS SOPS 710341 HAS SOUS 593300 HAS SOUPS 593300 WITH SCORE 594010.341
AT ITER 9714 NEW BEST:: SOT 4381628 SOS 710263 HAS SOPS 710263 HAS SOUS 593261 HAS SOUPS 593261 WITH SCORE 593971.263
AT ITER 9738 NEW BEST:: SOT 4381515 SOS 710235 HAS SOPS 710235 HAS SOUS 593158 HAS SOUPS 593158 WITH SCORE 593868.235
AT ITER 9755 NEW BEST:: SOT 4381515 SOS 710110 HAS SOPS 710110 HAS SOUS 593158 HAS SOUPS 593158 WITH SCORE 593868.11
AT ITER 9804 NEW BEST:: SOT 4381535 SOS 710150 HAS SOPS 710150 HAS SOUS 593045 HAS SOUPS 593045 WITH SCORE 593755.15
AT ITER 9819 NEW BEST:: SOT 4381535 SOS 709995 HAS SOPS 709995 HAS SOUS 593044 HAS SOUPS 593044 WITH SCORE 593753.995
AT ITER 9826 NEW BEST:: SOT 4381440 SOS 709469 HAS SOPS 709469 HAS SOUS 592785 HAS SOUPS 592785 WITH SCORE 593494.469
AT ITER 9835 NEW BEST:: SOT 4381159 SOS 708881 HAS SOPS 708881 HAS SOUS 592197 HAS SOUPS 592197 WITH SCORE 592905.881
AT ITER 9866 NEW BEST:: SOT 4381024 SOS 708753 HAS SOPS 708753 HAS SOUS 592062 HAS SOUPS 592062 WITH SCORE 592770.753
AT ITER 9869 NEW BEST:: SOT 4381024 SOS 708753 HAS SOPS 708753 HAS SOUS 592061 HAS SOUPS 592061 WITH SCORE 592769.753
AT ITER 9871 NEW BEST:: SOT 4381024 SOS 708753 HAS SOPS 708753 HAS SOUS 592000 HAS SOUPS 592000 WITH SCORE 592708.753
AT ITER 9872 NEW BEST:: SOT 4380964 SOS 708633 HAS SOPS 708633 HAS SOUS 591940 HAS SOUPS 591940 WITH SCORE 592648.633
AT ITER 9889 NEW BEST:: SOT 4380964 SOS 708633 HAS SOPS 708633 HAS SOUS 591908 HAS SOUPS 591908 WITH SCORE 592616.633
AT ITER 9894 NEW BEST:: SOT 4380933 SOS 708571 HAS SOPS 708571 HAS SOUS 591846 HAS SOUPS 591846 WITH SCORE 592554.571
AT ITER 9897 NEW BEST:: SOT 4380881 SOS 708311 HAS SOPS 708311 HAS SOUS 591638 HAS SOUPS 591638 WITH SCORE 592346.311
AT ITER 9904 NEW BEST:: SOT 4380906 SOS 708361 HAS SOPS 708361 HAS SOUS 591636 HAS SOUPS 591636 WITH SCORE 592344.361
AT ITER 9936 NEW BEST:: SOT 4380892 SOS 708333 HAS SOPS 708333 HAS SOUS 591608 HAS SOUPS 591608 WITH SCORE 592316.333
AT ITER 9967 NEW BEST:: SOT 4380849 SOS 708817 HAS SOPS 708817 HAS SOUS 591484 HAS SOUPS 591484 WITH SCORE 592192.817

BK_TIME_CONFINEMENT_REACHED

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

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-306"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is CloudReconfiguration-PT-306, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541600048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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