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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 9.0K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 100K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:46 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:46 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 15:46 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:46 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 124K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:46 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:46 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 660K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678310598116

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-302
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 21:23:19] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 21:23:19] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 21:23:19] [INFO ] Load time of PNML (sax parser for PT used): 120 ms
[2023-03-08 21:23:19] [INFO ] Transformed 2585 places.
[2023-03-08 21:23:19] [INFO ] Transformed 3095 transitions.
[2023-03-08 21:23:19] [INFO ] Found NUPN structural information;
[2023-03-08 21:23:19] [INFO ] Parsed PT model containing 2585 places and 3095 transitions and 6463 arcs in 296 ms.
[2023-03-08 21:23:19] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2585 places, 3095 transitions and 6463 arcs took 31 ms.
Total runtime 455 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 302
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 4449289 SOS 709645 HAS SOPS 709645 HAS SOUS 687806 HAS SOUPS 687806 WITH SCORE 688515.645
AT ITER 4 NEW BEST:: SOT 4449134 SOS 709335 HAS SOPS 709335 HAS SOUS 687496 HAS SOUPS 687496 WITH SCORE 688205.335
AT ITER 8 NEW BEST:: SOT 4449029 SOS 709125 HAS SOPS 709125 HAS SOUS 687286 HAS SOUPS 687286 WITH SCORE 687995.125
AT ITER 22 NEW BEST:: SOT 4448838 SOS 708971 HAS SOPS 708971 HAS SOUS 686899 HAS SOUPS 686899 WITH SCORE 687607.971
AT ITER 33 NEW BEST:: SOT 4448696 SOS 708810 HAS SOPS 708810 HAS SOUS 686738 HAS SOUPS 686738 WITH SCORE 687446.81
AT ITER 35 NEW BEST:: SOT 4448478 SOS 708727 HAS SOPS 708727 HAS SOUS 686568 HAS SOUPS 686568 WITH SCORE 687276.727
AT ITER 36 NEW BEST:: SOT 4448416 SOS 708603 HAS SOPS 708603 HAS SOUS 686444 HAS SOUPS 686444 WITH SCORE 687152.603
AT ITER 42 NEW BEST:: SOT 4448416 SOS 708603 HAS SOPS 708603 HAS SOUS 686154 HAS SOUPS 686154 WITH SCORE 686862.603
AT ITER 65 NEW BEST:: SOT 4448023 SOS 708363 HAS SOPS 708363 HAS SOUS 685838 HAS SOUPS 685838 WITH SCORE 686546.363
AT ITER 97 NEW BEST:: SOT 4447864 SOS 708045 HAS SOPS 708045 HAS SOUS 685628 HAS SOUPS 685628 WITH SCORE 686336.045
AT ITER 102 NEW BEST:: SOT 4447603 SOS 707523 HAS SOPS 707523 HAS SOUS 685106 HAS SOUPS 685106 WITH SCORE 685813.523
AT ITER 116 NEW BEST:: SOT 4447373 SOS 707293 HAS SOPS 707293 HAS SOUS 684876 HAS SOUPS 684876 WITH SCORE 685583.293
AT ITER 129 NEW BEST:: SOT 4447189 SOS 706925 HAS SOPS 706925 HAS SOUS 684508 HAS SOUPS 684508 WITH SCORE 685214.925
AT ITER 153 NEW BEST:: SOT 4446916 SOS 706687 HAS SOPS 706687 HAS SOUS 684259 HAS SOUPS 684259 WITH SCORE 684965.687
AT ITER 184 NEW BEST:: SOT 4446761 SOS 706532 HAS SOPS 706532 HAS SOUS 684103 HAS SOUPS 684103 WITH SCORE 684809.532
AT ITER 190 NEW BEST:: SOT 4446558 SOS 706126 HAS SOPS 706126 HAS SOUS 683697 HAS SOUPS 683697 WITH SCORE 684403.126
AT ITER 203 NEW BEST:: SOT 4446222 SOS 705790 HAS SOPS 705790 HAS SOUS 683361 HAS SOUPS 683361 WITH SCORE 684066.79
AT ITER 232 NEW BEST:: SOT 4443605 SOS 756476 HAS SOPS 756476 HAS SOUS 682265 HAS SOUPS 682265 WITH SCORE 683021.476
AT ITER 252 NEW BEST:: SOT 4443756 SOS 756250 HAS SOPS 756250 HAS SOUS 681966 HAS SOUPS 681966 WITH SCORE 682722.25
AT ITER 286 NEW BEST:: SOT 4443818 SOS 756374 HAS SOPS 756374 HAS SOUS 681962 HAS SOUPS 681962 WITH SCORE 682718.374
AT ITER 288 NEW BEST:: SOT 4443752 SOS 756242 HAS SOPS 756242 HAS SOUS 681830 HAS SOUPS 681830 WITH SCORE 682586.242
AT ITER 294 NEW BEST:: SOT 4443711 SOS 756287 HAS SOPS 756287 HAS SOUS 681789 HAS SOUPS 681789 WITH SCORE 682545.287
AT ITER 296 NEW BEST:: SOT 4443689 SOS 756243 HAS SOPS 756243 HAS SOUS 681745 HAS SOUPS 681745 WITH SCORE 682501.243
AT ITER 302 NEW BEST:: SOT 4443254 SOS 755373 HAS SOPS 755373 HAS SOUS 680990 HAS SOUPS 680990 WITH SCORE 681745.373
AT ITER 312 NEW BEST:: SOT 4443025 SOS 754915 HAS SOPS 754915 HAS SOUS 680532 HAS SOUPS 680532 WITH SCORE 681286.915
AT ITER 356 NEW BEST:: SOT 4443086 SOS 755037 HAS SOPS 755037 HAS SOUS 680439 HAS SOUPS 680439 WITH SCORE 681194.037
AT ITER 369 NEW BEST:: SOT 4443086 SOS 755036 HAS SOPS 755036 HAS SOUS 680438 HAS SOUPS 680438 WITH SCORE 681193.036
AT ITER 389 NEW BEST:: SOT 4442965 SOS 754794 HAS SOPS 754794 HAS SOUS 680196 HAS SOUPS 680196 WITH SCORE 680950.794
AT ITER 401 NEW BEST:: SOT 4442884 SOS 754787 HAS SOPS 754787 HAS SOUS 680132 HAS SOUPS 680132 WITH SCORE 680886.787
AT ITER 430 NEW BEST:: SOT 4442759 SOS 754683 HAS SOPS 754683 HAS SOUS 680028 HAS SOUPS 680028 WITH SCORE 680782.683
AT ITER 444 NEW BEST:: SOT 4442672 SOS 754509 HAS SOPS 754509 HAS SOUS 679854 HAS SOUPS 679854 WITH SCORE 680608.509
AT ITER 464 NEW BEST:: SOT 4442453 SOS 755207 HAS SOPS 755207 HAS SOUS 679694 HAS SOUPS 679694 WITH SCORE 680449.207
AT ITER 473 NEW BEST:: SOT 4442391 SOS 755083 HAS SOPS 755083 HAS SOUS 679570 HAS SOUPS 679570 WITH SCORE 680325.083
AT ITER 483 NEW BEST:: SOT 4442310 SOS 754921 HAS SOPS 754921 HAS SOUS 679304 HAS SOUPS 679304 WITH SCORE 680058.921
AT ITER 486 NEW BEST:: SOT 4442310 SOS 754870 HAS SOPS 754870 HAS SOUS 679304 HAS SOUPS 679304 WITH SCORE 680058.87
AT ITER 489 NEW BEST:: SOT 4442314 SOS 754878 HAS SOPS 754878 HAS SOUS 679261 HAS SOUPS 679261 WITH SCORE 680015.878
AT ITER 506 NEW BEST:: SOT 4442314 SOS 754782 HAS SOPS 754782 HAS SOUS 679165 HAS SOUPS 679165 WITH SCORE 679919.782
AT ITER 562 NEW BEST:: SOT 4442260 SOS 754674 HAS SOPS 754674 HAS SOUS 679057 HAS SOUPS 679057 WITH SCORE 679811.674
AT ITER 570 NEW BEST:: SOT 4441760 SOS 753674 HAS SOPS 753674 HAS SOUS 678762 HAS SOUPS 678762 WITH SCORE 679515.674
AT ITER 571 NEW BEST:: SOT 4440420 SOS 757126 HAS SOPS 757126 HAS SOUS 677703 HAS SOUPS 677703 WITH SCORE 678460.126
AT ITER 620 NEW BEST:: SOT 4440324 SOS 756998 HAS SOPS 756998 HAS SOUS 677575 HAS SOUPS 677575 WITH SCORE 678331.998
AT ITER 623 NEW BEST:: SOT 4440262 SOS 756874 HAS SOPS 756874 HAS SOUS 677451 HAS SOUPS 677451 WITH SCORE 678207.874
AT ITER 643 NEW BEST:: SOT 4439638 SOS 757562 HAS SOPS 757562 HAS SOUS 677020 HAS SOUPS 677020 WITH SCORE 677777.562
AT ITER 687 NEW BEST:: SOT 4439637 SOS 757560 HAS SOPS 757560 HAS SOUS 677018 HAS SOUPS 677018 WITH SCORE 677775.56
AT ITER 696 NEW BEST:: SOT 4439480 SOS 757573 HAS SOPS 757573 HAS SOUS 676907 HAS SOUPS 676907 WITH SCORE 677664.573
AT ITER 701 NEW BEST:: SOT 4439188 SOS 756989 HAS SOPS 756989 HAS SOUS 676413 HAS SOUPS 676413 WITH SCORE 677169.989
AT ITER 706 NEW BEST:: SOT 4439370 SOS 756863 HAS SOPS 756863 HAS SOUS 676350 HAS SOUPS 676350 WITH SCORE 677106.863
AT ITER 743 NEW BEST:: SOT 4439188 SOS 756892 HAS SOPS 756892 HAS SOUS 676273 HAS SOUPS 676273 WITH SCORE 677029.892
AT ITER 745 NEW BEST:: SOT 4439188 SOS 756786 HAS SOPS 756786 HAS SOUS 676167 HAS SOUPS 676167 WITH SCORE 676923.786
AT ITER 750 NEW BEST:: SOT 4438800 SOS 756341 HAS SOPS 756341 HAS SOUS 675616 HAS SOUPS 675616 WITH SCORE 676372.341
AT ITER 767 NEW BEST:: SOT 4438659 SOS 756200 HAS SOPS 756200 HAS SOUS 675475 HAS SOUPS 675475 WITH SCORE 676231.2
AT ITER 778 NEW BEST:: SOT 4438603 SOS 756088 HAS SOPS 756088 HAS SOUS 675363 HAS SOUPS 675363 WITH SCORE 676119.088
AT ITER 821 NEW BEST:: SOT 4438603 SOS 756004 HAS SOPS 756004 HAS SOUS 675363 HAS SOUPS 675363 WITH SCORE 676119.004
AT ITER 844 NEW BEST:: SOT 4438556 SOS 755910 HAS SOPS 755910 HAS SOUS 675316 HAS SOUPS 675316 WITH SCORE 676071.91
AT ITER 879 NEW BEST:: SOT 4438375 SOS 755548 HAS SOPS 755548 HAS SOUS 674954 HAS SOUPS 674954 WITH SCORE 675709.548
AT ITER 890 NEW BEST:: SOT 4438248 SOS 755452 HAS SOPS 755452 HAS SOUS 674827 HAS SOUPS 674827 WITH SCORE 675582.452
AT ITER 949 NEW BEST:: SOT 4438134 SOS 755224 HAS SOPS 755224 HAS SOUS 674713 HAS SOUPS 674713 WITH SCORE 675468.224
AT ITER 982 NEW BEST:: SOT 4438128 SOS 755212 HAS SOPS 755212 HAS SOUS 674701 HAS SOUPS 674701 WITH SCORE 675456.212
AT ITER 983 NEW BEST:: SOT 4437832 SOS 754750 HAS SOPS 754750 HAS SOUS 674405 HAS SOUPS 674405 WITH SCORE 675159.75
AT ITER 1006 NEW BEST:: SOT 4437832 SOS 754750 HAS SOPS 754750 HAS SOUS 674350 HAS SOUPS 674350 WITH SCORE 675104.75
AT ITER 1008 NEW BEST:: SOT 4437341 SOS 754034 HAS SOPS 754034 HAS SOUS 673609 HAS SOUPS 673609 WITH SCORE 674363.034
AT ITER 1010 NEW BEST:: SOT 4437593 SOS 753966 HAS SOPS 753966 HAS SOUS 673412 HAS SOUPS 673412 WITH SCORE 674165.966
AT ITER 1023 NEW BEST:: SOT 4437505 SOS 753391 HAS SOPS 753391 HAS SOUS 673016 HAS SOUPS 673016 WITH SCORE 673769.391
AT ITER 1040 NEW BEST:: SOT 4437485 SOS 753371 HAS SOPS 753371 HAS SOUS 672996 HAS SOUPS 672996 WITH SCORE 673749.371
AT ITER 1041 NEW BEST:: SOT 4437350 SOS 753101 HAS SOPS 753101 HAS SOUS 672726 HAS SOUPS 672726 WITH SCORE 673479.101
AT ITER 1057 NEW BEST:: SOT 4437268 SOS 752937 HAS SOPS 752937 HAS SOUS 672562 HAS SOUPS 672562 WITH SCORE 673314.937
AT ITER 1062 NEW BEST:: SOT 4436529 SOS 753131 HAS SOPS 753131 HAS SOUS 672268 HAS SOUPS 672268 WITH SCORE 673021.131
AT ITER 1087 NEW BEST:: SOT 4436529 SOS 753130 HAS SOPS 753130 HAS SOUS 672267 HAS SOUPS 672267 WITH SCORE 673020.13
AT ITER 1102 NEW BEST:: SOT 4436260 SOS 752591 HAS SOPS 752591 HAS SOUS 671728 HAS SOUPS 671728 WITH SCORE 672480.591
AT ITER 1141 NEW BEST:: SOT 4436260 SOS 752591 HAS SOPS 752591 HAS SOUS 671702 HAS SOUPS 671702 WITH SCORE 672454.591
AT ITER 1164 NEW BEST:: SOT 4436230 SOS 752531 HAS SOPS 752531 HAS SOUS 671672 HAS SOUPS 671672 WITH SCORE 672424.531
AT ITER 1171 NEW BEST:: SOT 4436120 SOS 752311 HAS SOPS 752311 HAS SOUS 671643 HAS SOUPS 671643 WITH SCORE 672395.311
AT ITER 1199 NEW BEST:: SOT 4436047 SOS 752165 HAS SOPS 752165 HAS SOUS 671497 HAS SOUPS 671497 WITH SCORE 672249.165
AT ITER 1205 NEW BEST:: SOT 4435905 SOS 751881 HAS SOPS 751881 HAS SOUS 671213 HAS SOUPS 671213 WITH SCORE 671964.881
AT ITER 1208 NEW BEST:: SOT 4435786 SOS 751642 HAS SOPS 751642 HAS SOUS 670663 HAS SOUPS 670663 WITH SCORE 671414.642
AT ITER 1243 NEW BEST:: SOT 4435495 SOS 751354 HAS SOPS 751354 HAS SOUS 670375 HAS SOUPS 670375 WITH SCORE 671126.354
AT ITER 1259 NEW BEST:: SOT 4435358 SOS 751080 HAS SOPS 751080 HAS SOUS 670101 HAS SOUPS 670101 WITH SCORE 670852.08
AT ITER 1276 NEW BEST:: SOT 4435358 SOS 751080 HAS SOPS 751080 HAS SOUS 669842 HAS SOUPS 669842 WITH SCORE 670593.08
AT ITER 1285 NEW BEST:: SOT 4435283 SOS 750855 HAS SOPS 750855 HAS SOUS 669692 HAS SOUPS 669692 WITH SCORE 670442.855
AT ITER 1319 NEW BEST:: SOT 4435274 SOS 750837 HAS SOPS 750837 HAS SOUS 669674 HAS SOUPS 669674 WITH SCORE 670424.837
AT ITER 1323 NEW BEST:: SOT 4435237 SOS 750763 HAS SOPS 750763 HAS SOUS 669600 HAS SOUPS 669600 WITH SCORE 670350.763
AT ITER 1331 NEW BEST:: SOT 4434837 SOS 750595 HAS SOPS 750595 HAS SOUS 669432 HAS SOUPS 669432 WITH SCORE 670182.595
AT ITER 1366 NEW BEST:: SOT 4434275 SOS 750093 HAS SOPS 750093 HAS SOUS 668930 HAS SOUPS 668930 WITH SCORE 669680.093
AT ITER 1369 NEW BEST:: SOT 4434345 SOS 750027 HAS SOPS 750027 HAS SOUS 668864 HAS SOUPS 668864 WITH SCORE 669614.027
AT ITER 1371 NEW BEST:: SOT 4434338 SOS 750430 HAS SOPS 750430 HAS SOUS 668857 HAS SOUPS 668857 WITH SCORE 669607.43
AT ITER 1394 NEW BEST:: SOT 4434319 SOS 750392 HAS SOPS 750392 HAS SOUS 668819 HAS SOUPS 668819 WITH SCORE 669569.392
AT ITER 1402 NEW BEST:: SOT 4434411 SOS 750103 HAS SOPS 750103 HAS SOUS 668651 HAS SOUPS 668651 WITH SCORE 669401.103
AT ITER 1416 NEW BEST:: SOT 4434374 SOS 750029 HAS SOPS 750029 HAS SOUS 668632 HAS SOUPS 668632 WITH SCORE 669382.029
AT ITER 1446 NEW BEST:: SOT 4434130 SOS 749541 HAS SOPS 749541 HAS SOUS 668144 HAS SOUPS 668144 WITH SCORE 668893.541
AT ITER 1451 NEW BEST:: SOT 4434084 SOS 749495 HAS SOPS 749495 HAS SOUS 668098 HAS SOUPS 668098 WITH SCORE 668847.495
AT ITER 1466 NEW BEST:: SOT 4434021 SOS 749452 HAS SOPS 749452 HAS SOUS 668055 HAS SOUPS 668055 WITH SCORE 668804.452
AT ITER 1490 NEW BEST:: SOT 4434049 SOS 749508 HAS SOPS 749508 HAS SOUS 668046 HAS SOUPS 668046 WITH SCORE 668795.508
AT ITER 1508 NEW BEST:: SOT 4433843 SOS 749096 HAS SOPS 749096 HAS SOUS 667634 HAS SOUPS 667634 WITH SCORE 668383.096
AT ITER 1509 NEW BEST:: SOT 4433766 SOS 749019 HAS SOPS 749019 HAS SOUS 667557 HAS SOUPS 667557 WITH SCORE 668306.019
AT ITER 1517 NEW BEST:: SOT 4433652 SOS 748791 HAS SOPS 748791 HAS SOUS 667329 HAS SOUPS 667329 WITH SCORE 668077.791
AT ITER 1549 NEW BEST:: SOT 4433448 SOS 749105 HAS SOPS 749105 HAS SOUS 667238 HAS SOUPS 667238 WITH SCORE 667987.105
AT ITER 1600 NEW BEST:: SOT 4433402 SOS 749013 HAS SOPS 749013 HAS SOUS 667024 HAS SOUPS 667024 WITH SCORE 667773.013
AT ITER 1644 NEW BEST:: SOT 4433180 SOS 748569 HAS SOPS 748569 HAS SOUS 666580 HAS SOUPS 666580 WITH SCORE 667328.569
AT ITER 1688 NEW BEST:: SOT 4433091 SOS 748391 HAS SOPS 748391 HAS SOUS 666402 HAS SOUPS 666402 WITH SCORE 667150.391
AT ITER 1693 NEW BEST:: SOT 4433037 SOS 747954 HAS SOPS 747954 HAS SOUS 666093 HAS SOUPS 666093 WITH SCORE 666840.954
AT ITER 1701 NEW BEST:: SOT 4432868 SOS 747952 HAS SOPS 747952 HAS SOUS 665972 HAS SOUPS 665972 WITH SCORE 666719.952
AT ITER 1711 NEW BEST:: SOT 4432662 SOS 747746 HAS SOPS 747746 HAS SOUS 665766 HAS SOUPS 665766 WITH SCORE 666513.746
AT ITER 1715 NEW BEST:: SOT 4432662 SOS 747745 HAS SOPS 747745 HAS SOUS 665765 HAS SOUPS 665765 WITH SCORE 666512.745
AT ITER 1731 NEW BEST:: SOT 4432485 SOS 747528 HAS SOPS 747528 HAS SOUS 665548 HAS SOUPS 665548 WITH SCORE 666295.528
AT ITER 1754 NEW BEST:: SOT 4432485 SOS 747527 HAS SOPS 747527 HAS SOUS 665547 HAS SOUPS 665547 WITH SCORE 666294.527
AT ITER 1764 NEW BEST:: SOT 4432391 SOS 747339 HAS SOPS 747339 HAS SOUS 665453 HAS SOUPS 665453 WITH SCORE 666200.339
AT ITER 1768 NEW BEST:: SOT 4432372 SOS 747301 HAS SOPS 747301 HAS SOUS 665415 HAS SOUPS 665415 WITH SCORE 666162.301
AT ITER 1810 NEW BEST:: SOT 4432292 SOS 747141 HAS SOPS 747141 HAS SOUS 665255 HAS SOUPS 665255 WITH SCORE 666002.141
AT ITER 1811 NEW BEST:: SOT 4431818 SOS 746677 HAS SOPS 746677 HAS SOUS 664791 HAS SOUPS 664791 WITH SCORE 665537.677
AT ITER 1814 NEW BEST:: SOT 4431699 SOS 746439 HAS SOPS 746439 HAS SOUS 664232 HAS SOUPS 664232 WITH SCORE 664978.439
AT ITER 1845 NEW BEST:: SOT 4431142 SOS 745899 HAS SOPS 745899 HAS SOUS 663480 HAS SOUPS 663480 WITH SCORE 664225.899
AT ITER 1849 NEW BEST:: SOT 4430975 SOS 745565 HAS SOPS 745565 HAS SOUS 663146 HAS SOUPS 663146 WITH SCORE 663891.565
AT ITER 1855 NEW BEST:: SOT 4430975 SOS 745537 HAS SOPS 745537 HAS SOUS 663146 HAS SOUPS 663146 WITH SCORE 663891.537
AT ITER 1877 NEW BEST:: SOT 4430845 SOS 745277 HAS SOPS 745277 HAS SOUS 662886 HAS SOUPS 662886 WITH SCORE 663631.277
AT ITER 1895 NEW BEST:: SOT 4430867 SOS 745095 HAS SOPS 745095 HAS SOUS 662795 HAS SOUPS 662795 WITH SCORE 663540.095
AT ITER 1898 NEW BEST:: SOT 4430780 SOS 744921 HAS SOPS 744921 HAS SOUS 662621 HAS SOUPS 662621 WITH SCORE 663365.921
AT ITER 1908 NEW BEST:: SOT 4430719 SOS 744799 HAS SOPS 744799 HAS SOUS 662499 HAS SOUPS 662499 WITH SCORE 663243.799
AT ITER 1943 NEW BEST:: SOT 4430584 SOS 744529 HAS SOPS 744529 HAS SOUS 662229 HAS SOUPS 662229 WITH SCORE 662973.529
AT ITER 1946 NEW BEST:: SOT 4430583 SOS 744527 HAS SOPS 744527 HAS SOUS 662227 HAS SOUPS 662227 WITH SCORE 662971.527
AT ITER 1959 NEW BEST:: SOT 4430642 SOS 744442 HAS SOPS 744442 HAS SOUS 662155 HAS SOUPS 662155 WITH SCORE 662899.442
AT ITER 1961 NEW BEST:: SOT 4430631 SOS 744420 HAS SOPS 744420 HAS SOUS 662144 HAS SOUPS 662144 WITH SCORE 662888.42
AT ITER 1976 NEW BEST:: SOT 4430604 SOS 744366 HAS SOPS 744366 HAS SOUS 662090 HAS SOUPS 662090 WITH SCORE 662834.366
AT ITER 1980 NEW BEST:: SOT 4430561 SOS 744323 HAS SOPS 744323 HAS SOUS 662047 HAS SOUPS 662047 WITH SCORE 662791.323
AT ITER 1993 NEW BEST:: SOT 4430340 SOS 743881 HAS SOPS 743881 HAS SOUS 661605 HAS SOUPS 661605 WITH SCORE 662348.881
AT ITER 2005 NEW BEST:: SOT 4430163 SOS 743527 HAS SOPS 743527 HAS SOUS 661251 HAS SOUPS 661251 WITH SCORE 661994.527
AT ITER 2008 NEW BEST:: SOT 4429341 SOS 743420 HAS SOPS 743420 HAS SOUS 660868 HAS SOUPS 660868 WITH SCORE 661611.42
AT ITER 2012 NEW BEST:: SOT 4429316 SOS 743370 HAS SOPS 743370 HAS SOUS 660843 HAS SOUPS 660843 WITH SCORE 661586.37
AT ITER 2037 NEW BEST:: SOT 4429503 SOS 743744 HAS SOPS 743744 HAS SOUS 660644 HAS SOUPS 660644 WITH SCORE 661387.744
AT ITER 2044 NEW BEST:: SOT 4429628 SOS 744520 HAS SOPS 744520 HAS SOUS 660606 HAS SOUPS 660606 WITH SCORE 661350.52
AT ITER 2046 NEW BEST:: SOT 4429565 SOS 744394 HAS SOPS 744394 HAS SOUS 660480 HAS SOUPS 660480 WITH SCORE 661224.394
AT ITER 2047 NEW BEST:: SOT 4429233 SOS 743913 HAS SOPS 743913 HAS SOUS 659999 HAS SOUPS 659999 WITH SCORE 660742.913
AT ITER 2118 NEW BEST:: SOT 4429089 SOS 743625 HAS SOPS 743625 HAS SOUS 659405 HAS SOUPS 659405 WITH SCORE 660148.625
AT ITER 2119 NEW BEST:: SOT 4428630 SOS 743643 HAS SOPS 743643 HAS SOUS 659258 HAS SOUPS 659258 WITH SCORE 660001.643
AT ITER 2121 NEW BEST:: SOT 4428476 SOS 743489 HAS SOPS 743489 HAS SOUS 659104 HAS SOUPS 659104 WITH SCORE 659847.489
AT ITER 2155 NEW BEST:: SOT 4428445 SOS 743427 HAS SOPS 743427 HAS SOUS 659042 HAS SOUPS 659042 WITH SCORE 659785.427
AT ITER 2168 NEW BEST:: SOT 4428316 SOS 743298 HAS SOPS 743298 HAS SOUS 658913 HAS SOUPS 658913 WITH SCORE 659656.298
AT ITER 2181 NEW BEST:: SOT 4427657 SOS 742820 HAS SOPS 742820 HAS SOUS 658389 HAS SOUPS 658389 WITH SCORE 659131.82
AT ITER 2188 NEW BEST:: SOT 4427628 SOS 742762 HAS SOPS 742762 HAS SOUS 658331 HAS SOUPS 658331 WITH SCORE 659073.762
AT ITER 2214 NEW BEST:: SOT 4427564 SOS 742729 HAS SOPS 742729 HAS SOUS 658267 HAS SOUPS 658267 WITH SCORE 659009.729
AT ITER 2221 NEW BEST:: SOT 4427497 SOS 742595 HAS SOPS 742595 HAS SOUS 658133 HAS SOUPS 658133 WITH SCORE 658875.595
AT ITER 2224 NEW BEST:: SOT 4427437 SOS 742549 HAS SOPS 742549 HAS SOUS 658073 HAS SOUPS 658073 WITH SCORE 658815.549
AT ITER 2226 NEW BEST:: SOT 4427469 SOS 742613 HAS SOPS 742613 HAS SOUS 657978 HAS SOUPS 657978 WITH SCORE 658720.613
AT ITER 2230 NEW BEST:: SOT 4427469 SOS 742613 HAS SOPS 742613 HAS SOUS 657975 HAS SOUPS 657975 WITH SCORE 658717.613
AT ITER 2231 NEW BEST:: SOT 4427371 SOS 742611 HAS SOPS 742611 HAS SOUS 657910 HAS SOUPS 657910 WITH SCORE 658652.611
AT ITER 2235 NEW BEST:: SOT 4427344 SOS 742557 HAS SOPS 742557 HAS SOUS 657910 HAS SOUPS 657910 WITH SCORE 658652.557
AT ITER 2237 NEW BEST:: SOT 4427288 SOS 741207 HAS SOPS 741207 HAS SOUS 657643 HAS SOUPS 657643 WITH SCORE 658384.207
AT ITER 2240 NEW BEST:: SOT 4427146 SOS 740923 HAS SOPS 740923 HAS SOUS 657501 HAS SOUPS 657501 WITH SCORE 658241.923
AT ITER 2248 NEW BEST:: SOT 4426915 SOS 740461 HAS SOPS 740461 HAS SOUS 657132 HAS SOUPS 657132 WITH SCORE 657872.461
AT ITER 2251 NEW BEST:: SOT 4426564 SOS 741439 HAS SOPS 741439 HAS SOUS 656945 HAS SOUPS 656945 WITH SCORE 657686.439
AT ITER 2301 NEW BEST:: SOT 4426445 SOS 741201 HAS SOPS 741201 HAS SOUS 656826 HAS SOUPS 656826 WITH SCORE 657567.201
AT ITER 2324 NEW BEST:: SOT 4426445 SOS 741114 HAS SOPS 741114 HAS SOUS 656739 HAS SOUPS 656739 WITH SCORE 657480.114
AT ITER 2331 NEW BEST:: SOT 4426397 SOS 741066 HAS SOPS 741066 HAS SOUS 656691 HAS SOUPS 656691 WITH SCORE 657432.066
AT ITER 2337 NEW BEST:: SOT 4426500 SOS 741272 HAS SOPS 741272 HAS SOUS 656524 HAS SOUPS 656524 WITH SCORE 657265.272
AT ITER 2352 NEW BEST:: SOT 4426420 SOS 741112 HAS SOPS 741112 HAS SOUS 656444 HAS SOUPS 656444 WITH SCORE 657185.112
AT ITER 2359 NEW BEST:: SOT 4426453 SOS 741053 HAS SOPS 741053 HAS SOUS 656385 HAS SOUPS 656385 WITH SCORE 657126.053
AT ITER 2361 NEW BEST:: SOT 4426381 SOS 740992 HAS SOPS 740992 HAS SOUS 656241 HAS SOUPS 656241 WITH SCORE 656981.992
AT ITER 2390 NEW BEST:: SOT 4426229 SOS 740840 HAS SOPS 740840 HAS SOUS 656089 HAS SOUPS 656089 WITH SCORE 656829.84
AT ITER 2418 NEW BEST:: SOT 4426158 SOS 740760 HAS SOPS 740760 HAS SOUS 656009 HAS SOUPS 656009 WITH SCORE 656749.76
AT ITER 2421 NEW BEST:: SOT 4426089 SOS 740743 HAS SOPS 740743 HAS SOUS 655992 HAS SOUPS 655992 WITH SCORE 656732.743
AT ITER 2431 NEW BEST:: SOT 4426003 SOS 740688 HAS SOPS 740688 HAS SOUS 655922 HAS SOUPS 655922 WITH SCORE 656662.688
AT ITER 2432 NEW BEST:: SOT 4425661 SOS 740297 HAS SOPS 740297 HAS SOUS 655486 HAS SOUPS 655486 WITH SCORE 656226.297
AT ITER 2440 NEW BEST:: SOT 4425603 SOS 740181 HAS SOPS 740181 HAS SOUS 655370 HAS SOUPS 655370 WITH SCORE 656110.181
AT ITER 2456 NEW BEST:: SOT 4425596 SOS 740160 HAS SOPS 740160 HAS SOUS 655356 HAS SOUPS 655356 WITH SCORE 656096.16
AT ITER 2457 NEW BEST:: SOT 4425596 SOS 740036 HAS SOPS 740036 HAS SOUS 655356 HAS SOUPS 655356 WITH SCORE 656096.036
AT ITER 2458 NEW BEST:: SOT 4425528 SOS 739900 HAS SOPS 739900 HAS SOUS 655220 HAS SOUPS 655220 WITH SCORE 655959.9
AT ITER 2462 NEW BEST:: SOT 4425390 SOS 739624 HAS SOPS 739624 HAS SOUS 654944 HAS SOUPS 654944 WITH SCORE 655683.624
AT ITER 2470 NEW BEST:: SOT 4425187 SOS 739218 HAS SOPS 739218 HAS SOUS 654768 HAS SOUPS 654768 WITH SCORE 655507.218
AT ITER 2477 NEW BEST:: SOT 4424979 SOS 738802 HAS SOPS 738802 HAS SOUS 654352 HAS SOUPS 654352 WITH SCORE 655090.802
AT ITER 2492 NEW BEST:: SOT 4424904 SOS 738652 HAS SOPS 738652 HAS SOUS 654202 HAS SOUPS 654202 WITH SCORE 654940.652
AT ITER 2522 NEW BEST:: SOT 4424815 SOS 738474 HAS SOPS 738474 HAS SOUS 654113 HAS SOUPS 654113 WITH SCORE 654851.474
AT ITER 2547 NEW BEST:: SOT 4424275 SOS 738114 HAS SOPS 738114 HAS SOUS 653753 HAS SOUPS 653753 WITH SCORE 654491.114
AT ITER 2593 NEW BEST:: SOT 4423952 SOS 738086 HAS SOPS 738086 HAS SOUS 653530 HAS SOUPS 653530 WITH SCORE 654268.086
AT ITER 2595 NEW BEST:: SOT 4423920 SOS 738054 HAS SOPS 738054 HAS SOUS 653498 HAS SOUPS 653498 WITH SCORE 654236.054
AT ITER 2611 NEW BEST:: SOT 4423734 SOS 738076 HAS SOPS 738076 HAS SOUS 653385 HAS SOUPS 653385 WITH SCORE 654123.076
AT ITER 2620 NEW BEST:: SOT 4423544 SOS 737480 HAS SOPS 737480 HAS SOUS 653195 HAS SOUPS 653195 WITH SCORE 653932.48
AT ITER 2657 NEW BEST:: SOT 4423438 SOS 737425 HAS SOPS 737425 HAS SOUS 652932 HAS SOUPS 652932 WITH SCORE 653669.425
AT ITER 2670 NEW BEST:: SOT 4423236 SOS 737223 HAS SOPS 737223 HAS SOUS 652629 HAS SOUPS 652629 WITH SCORE 653366.223
AT ITER 2685 NEW BEST:: SOT 4423165 SOS 737081 HAS SOPS 737081 HAS SOUS 652558 HAS SOUPS 652558 WITH SCORE 653295.081
AT ITER 2686 NEW BEST:: SOT 4422987 SOS 736725 HAS SOPS 736725 HAS SOUS 652202 HAS SOUPS 652202 WITH SCORE 652938.725
AT ITER 2699 NEW BEST:: SOT 4422914 SOS 736579 HAS SOPS 736579 HAS SOUS 652065 HAS SOUPS 652065 WITH SCORE 652801.579
AT ITER 2703 NEW BEST:: SOT 4422846 SOS 736375 HAS SOPS 736375 HAS SOUS 651929 HAS SOUPS 651929 WITH SCORE 652665.375
AT ITER 2714 NEW BEST:: SOT 4422849 SOS 736314 HAS SOPS 736314 HAS SOUS 651868 HAS SOUPS 651868 WITH SCORE 652604.314
AT ITER 2721 NEW BEST:: SOT 4422764 SOS 736144 HAS SOPS 736144 HAS SOUS 651811 HAS SOUPS 651811 WITH SCORE 652547.144
AT ITER 2739 NEW BEST:: SOT 4422539 SOS 735994 HAS SOPS 735994 HAS SOUS 651586 HAS SOUPS 651586 WITH SCORE 652321.994
AT ITER 2764 NEW BEST:: SOT 4422464 SOS 735844 HAS SOPS 735844 HAS SOUS 651436 HAS SOUPS 651436 WITH SCORE 652171.844
AT ITER 2833 NEW BEST:: SOT 4422418 SOS 735752 HAS SOPS 735752 HAS SOUS 651390 HAS SOUPS 651390 WITH SCORE 652125.752
AT ITER 2837 NEW BEST:: SOT 4422310 SOS 735662 HAS SOPS 735662 HAS SOUS 651290 HAS SOUPS 651290 WITH SCORE 652025.662
AT ITER 2949 NEW BEST:: SOT 4422309 SOS 735660 HAS SOPS 735660 HAS SOUS 651288 HAS SOUPS 651288 WITH SCORE 652023.66
AT ITER 3008 NEW BEST:: SOT 4422272 SOS 735586 HAS SOPS 735586 HAS SOUS 651214 HAS SOUPS 651214 WITH SCORE 651949.586
AT ITER 3019 NEW BEST:: SOT 4422248 SOS 735538 HAS SOPS 735538 HAS SOUS 651166 HAS SOUPS 651166 WITH SCORE 651901.538
AT ITER 3041 NEW BEST:: SOT 4422248 SOS 735538 HAS SOPS 735538 HAS SOUS 651163 HAS SOUPS 651163 WITH SCORE 651898.538
AT ITER 3091 NEW BEST:: SOT 4421863 SOS 734768 HAS SOPS 734768 HAS SOUS 650690 HAS SOUPS 650690 WITH SCORE 651424.768
AT ITER 3111 NEW BEST:: SOT 4421708 SOS 734458 HAS SOPS 734458 HAS SOUS 650380 HAS SOUPS 650380 WITH SCORE 651114.458
AT ITER 3206 NEW BEST:: SOT 4421666 SOS 734416 HAS SOPS 734416 HAS SOUS 650338 HAS SOUPS 650338 WITH SCORE 651072.416
AT ITER 3227 NEW BEST:: SOT 4421616 SOS 734316 HAS SOPS 734316 HAS SOUS 650238 HAS SOUPS 650238 WITH SCORE 650972.316
AT ITER 3228 NEW BEST:: SOT 4421608 SOS 734300 HAS SOPS 734300 HAS SOUS 650222 HAS SOUPS 650222 WITH SCORE 650956.3
AT ITER 3230 NEW BEST:: SOT 4421608 SOS 734300 HAS SOPS 734300 HAS SOUS 650119 HAS SOUPS 650119 WITH SCORE 650853.3
AT ITER 3251 NEW BEST:: SOT 4421761 SOS 734242 HAS SOPS 734242 HAS SOUS 649908 HAS SOUPS 649908 WITH SCORE 650642.242
AT ITER 3302 NEW BEST:: SOT 4421701 SOS 734122 HAS SOPS 734122 HAS SOUS 649769 HAS SOUPS 649769 WITH SCORE 650503.122
AT ITER 3304 NEW BEST:: SOT 4421466 SOS 733944 HAS SOPS 733944 HAS SOUS 649563 HAS SOUPS 649563 WITH SCORE 650296.944
AT ITER 3324 NEW BEST:: SOT 4421442 SOS 733896 HAS SOPS 733896 HAS SOUS 649539 HAS SOUPS 649539 WITH SCORE 650272.896
AT ITER 3371 NEW BEST:: SOT 4420811 SOS 734809 HAS SOPS 734809 HAS SOUS 649508 HAS SOUPS 649508 WITH SCORE 650242.809
AT ITER 3372 NEW BEST:: SOT 4420649 SOS 734485 HAS SOPS 734485 HAS SOUS 649184 HAS SOUPS 649184 WITH SCORE 649918.485
AT ITER 3384 NEW BEST:: SOT 4420603 SOS 734393 HAS SOPS 734393 HAS SOUS 649137 HAS SOUPS 649137 WITH SCORE 649871.393
AT ITER 3405 NEW BEST:: SOT 4420586 SOS 734359 HAS SOPS 734359 HAS SOUS 649119 HAS SOUPS 649119 WITH SCORE 649853.359
AT ITER 3407 NEW BEST:: SOT 4420490 SOS 734167 HAS SOPS 734167 HAS SOUS 648927 HAS SOUPS 648927 WITH SCORE 649661.167
AT ITER 3433 NEW BEST:: SOT 4420474 SOS 734135 HAS SOPS 734135 HAS SOUS 648896 HAS SOUPS 648896 WITH SCORE 649630.135
AT ITER 3451 NEW BEST:: SOT 4420383 SOS 733953 HAS SOPS 733953 HAS SOUS 648714 HAS SOUPS 648714 WITH SCORE 649447.953
AT ITER 3464 NEW BEST:: SOT 4420278 SOS 733743 HAS SOPS 733743 HAS SOUS 648283 HAS SOUPS 648283 WITH SCORE 649016.743
AT ITER 3477 NEW BEST:: SOT 4420168 SOS 733523 HAS SOPS 733523 HAS SOUS 648063 HAS SOUPS 648063 WITH SCORE 648796.523
AT ITER 3500 NEW BEST:: SOT 4419901 SOS 732989 HAS SOPS 732989 HAS SOUS 647529 HAS SOUPS 647529 WITH SCORE 648261.989
AT ITER 3517 NEW BEST:: SOT 4419964 SOS 732086 HAS SOPS 732086 HAS SOUS 647445 HAS SOUPS 647445 WITH SCORE 648177.086
AT ITER 3549 NEW BEST:: SOT 4419964 SOS 732023 HAS SOPS 732023 HAS SOUS 647382 HAS SOUPS 647382 WITH SCORE 648114.023
AT ITER 3561 NEW BEST:: SOT 4419883 SOS 731915 HAS SOPS 731915 HAS SOUS 647274 HAS SOUPS 647274 WITH SCORE 648005.915
AT ITER 3562 NEW BEST:: SOT 4419869 SOS 731901 HAS SOPS 731901 HAS SOUS 647260 HAS SOUPS 647260 WITH SCORE 647991.901
AT ITER 3568 NEW BEST:: SOT 4419840 SOS 731872 HAS SOPS 731872 HAS SOUS 647260 HAS SOUPS 647260 WITH SCORE 647991.872
AT ITER 3591 NEW BEST:: SOT 4419810 SOS 731713 HAS SOPS 731713 HAS SOUS 647152 HAS SOUPS 647152 WITH SCORE 647883.713
AT ITER 3595 NEW BEST:: SOT 4419959 SOS 731595 HAS SOPS 731595 HAS SOUS 647073 HAS SOUPS 647073 WITH SCORE 647804.595
AT ITER 3608 NEW BEST:: SOT 4419865 SOS 731312 HAS SOPS 731312 HAS SOUS 646979 HAS SOUPS 646979 WITH SCORE 647710.312
AT ITER 3625 NEW BEST:: SOT 4419812 SOS 731042 HAS SOPS 731042 HAS SOUS 646762 HAS SOUPS 646762 WITH SCORE 647493.042
AT ITER 3642 NEW BEST:: SOT 4419770 SOS 731015 HAS SOPS 731015 HAS SOUS 646732 HAS SOUPS 646732 WITH SCORE 647463.015
AT ITER 3643 NEW BEST:: SOT 4419770 SOS 730753 HAS SOPS 730753 HAS SOUS 646599 HAS SOUPS 646599 WITH SCORE 647329.753
AT ITER 3666 NEW BEST:: SOT 4419732 SOS 730677 HAS SOPS 730677 HAS SOUS 646523 HAS SOUPS 646523 WITH SCORE 647253.677
AT ITER 3668 NEW BEST:: SOT 4419708 SOS 730629 HAS SOPS 730629 HAS SOUS 646522 HAS SOUPS 646522 WITH SCORE 647252.629
AT ITER 3672 NEW BEST:: SOT 4419584 SOS 730381 HAS SOPS 730381 HAS SOUS 646274 HAS SOUPS 646274 WITH SCORE 647004.381
AT ITER 3685 NEW BEST:: SOT 4419584 SOS 730303 HAS SOPS 730303 HAS SOUS 646196 HAS SOUPS 646196 WITH SCORE 646926.303
AT ITER 3693 NEW BEST:: SOT 4419583 SOS 730301 HAS SOPS 730301 HAS SOUS 646194 HAS SOUPS 646194 WITH SCORE 646924.301
AT ITER 3721 NEW BEST:: SOT 4419427 SOS 730145 HAS SOPS 730145 HAS SOUS 646038 HAS SOUPS 646038 WITH SCORE 646768.145
AT ITER 3749 NEW BEST:: SOT 4419148 SOS 730139 HAS SOPS 730139 HAS SOUS 645692 HAS SOUPS 645692 WITH SCORE 646422.139
AT ITER 3757 NEW BEST:: SOT 4419148 SOS 730139 HAS SOPS 730139 HAS SOUS 645653 HAS SOUPS 645653 WITH SCORE 646383.139
AT ITER 3766 NEW BEST:: SOT 4418865 SOS 729170 HAS SOPS 729170 HAS SOUS 645087 HAS SOUPS 645087 WITH SCORE 645816.17
AT ITER 3776 NEW BEST:: SOT 4418706 SOS 729587 HAS SOPS 729587 HAS SOUS 645075 HAS SOUPS 645075 WITH SCORE 645804.587
AT ITER 3790 NEW BEST:: SOT 4418706 SOS 729587 HAS SOPS 729587 HAS SOUS 644931 HAS SOUPS 644931 WITH SCORE 645660.587
AT ITER 3800 NEW BEST:: SOT 4418696 SOS 729567 HAS SOPS 729567 HAS SOUS 644921 HAS SOUPS 644921 WITH SCORE 645650.567
AT ITER 3807 NEW BEST:: SOT 4418696 SOS 729566 HAS SOPS 729566 HAS SOUS 644920 HAS SOUPS 644920 WITH SCORE 645649.566
AT ITER 3811 NEW BEST:: SOT 4418695 SOS 729564 HAS SOPS 729564 HAS SOUS 644918 HAS SOUPS 644918 WITH SCORE 645647.564
AT ITER 3849 NEW BEST:: SOT 4418711 SOS 729596 HAS SOPS 729596 HAS SOUS 644882 HAS SOUPS 644882 WITH SCORE 645611.596
AT ITER 3854 NEW BEST:: SOT 4418711 SOS 729596 HAS SOPS 729596 HAS SOUS 644881 HAS SOUPS 644881 WITH SCORE 645610.596
AT ITER 3858 NEW BEST:: SOT 4418598 SOS 729370 HAS SOPS 729370 HAS SOUS 644454 HAS SOUPS 644454 WITH SCORE 645183.37
AT ITER 3881 NEW BEST:: SOT 4418560 SOS 729294 HAS SOPS 729294 HAS SOUS 644378 HAS SOUPS 644378 WITH SCORE 645107.294
AT ITER 3882 NEW BEST:: SOT 4418560 SOS 729293 HAS SOPS 729293 HAS SOUS 644377 HAS SOUPS 644377 WITH SCORE 645106.293
AT ITER 3890 NEW BEST:: SOT 4418560 SOS 729263 HAS SOPS 729263 HAS SOUS 644347 HAS SOUPS 644347 WITH SCORE 645076.263
AT ITER 3904 NEW BEST:: SOT 4418497 SOS 729136 HAS SOPS 729136 HAS SOUS 644220 HAS SOUPS 644220 WITH SCORE 644949.136
AT ITER 3923 NEW BEST:: SOT 4418286 SOS 728714 HAS SOPS 728714 HAS SOUS 643798 HAS SOUPS 643798 WITH SCORE 644526.714
AT ITER 3939 NEW BEST:: SOT 4418114 SOS 728370 HAS SOPS 728370 HAS SOUS 643714 HAS SOUPS 643714 WITH SCORE 644442.37
AT ITER 3951 NEW BEST:: SOT 4418057 SOS 728370 HAS SOPS 728370 HAS SOUS 643657 HAS SOUPS 643657 WITH SCORE 644385.37
AT ITER 3960 NEW BEST:: SOT 4418056 SOS 728514 HAS SOPS 728514 HAS SOUS 643655 HAS SOUPS 643655 WITH SCORE 644383.514
AT ITER 3982 NEW BEST:: SOT 4417847 SOS 727939 HAS SOPS 727939 HAS SOUS 643080 HAS SOUPS 643080 WITH SCORE 643807.939
AT ITER 3983 NEW BEST:: SOT 4417377 SOS 727563 HAS SOPS 727563 HAS SOUS 642610 HAS SOUPS 642610 WITH SCORE 643337.563
AT ITER 3999 NEW BEST:: SOT 4417003 SOS 728147 HAS SOPS 728147 HAS SOUS 642497 HAS SOUPS 642497 WITH SCORE 643225.147
AT ITER 4002 NEW BEST:: SOT 4416976 SOS 728093 HAS SOPS 728093 HAS SOUS 642443 HAS SOUPS 642443 WITH SCORE 643171.093
AT ITER 4011 NEW BEST:: SOT 4416949 SOS 728039 HAS SOPS 728039 HAS SOUS 642416 HAS SOUPS 642416 WITH SCORE 643144.039
AT ITER 4021 NEW BEST:: SOT 4417023 SOS 728487 HAS SOPS 728487 HAS SOUS 642340 HAS SOUPS 642340 WITH SCORE 643068.487
AT ITER 4032 NEW BEST:: SOT 4416577 SOS 728228 HAS SOPS 728228 HAS SOUS 642079 HAS SOUPS 642079 WITH SCORE 642807.228
AT ITER 4044 NEW BEST:: SOT 4416466 SOS 728006 HAS SOPS 728006 HAS SOUS 641734 HAS SOUPS 641734 WITH SCORE 642462.006
AT ITER 4081 NEW BEST:: SOT 4416360 SOS 727952 HAS SOPS 727952 HAS SOUS 641628 HAS SOUPS 641628 WITH SCORE 642355.952
AT ITER 4086 NEW BEST:: SOT 4416313 SOS 727986 HAS SOPS 727986 HAS SOUS 641581 HAS SOUPS 641581 WITH SCORE 642308.986
AT ITER 4105 NEW BEST:: SOT 4416278 SOS 727916 HAS SOPS 727916 HAS SOUS 641511 HAS SOUPS 641511 WITH SCORE 642238.916
AT ITER 4122 NEW BEST:: SOT 4416244 SOS 727848 HAS SOPS 727848 HAS SOUS 641443 HAS SOUPS 641443 WITH SCORE 642170.848
AT ITER 4156 NEW BEST:: SOT 4416325 SOS 728010 HAS SOPS 728010 HAS SOUS 641433 HAS SOUPS 641433 WITH SCORE 642161.01
AT ITER 4166 NEW BEST:: SOT 4416366 SOS 727704 HAS SOPS 727704 HAS SOUS 641127 HAS SOUPS 641127 WITH SCORE 641854.704
AT ITER 4210 NEW BEST:: SOT 4416330 SOS 727566 HAS SOPS 727566 HAS SOUS 641059 HAS SOUPS 641059 WITH SCORE 641786.566
AT ITER 4218 NEW BEST:: SOT 4416278 SOS 727462 HAS SOPS 727462 HAS SOUS 641007 HAS SOUPS 641007 WITH SCORE 641734.462
AT ITER 4219 NEW BEST:: SOT 4416262 SOS 727430 HAS SOPS 727430 HAS SOUS 640991 HAS SOUPS 640991 WITH SCORE 641718.43
AT ITER 4237 NEW BEST:: SOT 4416190 SOS 727286 HAS SOPS 727286 HAS SOUS 640847 HAS SOUPS 640847 WITH SCORE 641574.286
AT ITER 4300 NEW BEST:: SOT 4415959 SOS 727408 HAS SOPS 727408 HAS SOUS 640747 HAS SOUPS 640747 WITH SCORE 641474.408
AT ITER 4307 NEW BEST:: SOT 4415857 SOS 727204 HAS SOPS 727204 HAS SOUS 640671 HAS SOUPS 640671 WITH SCORE 641398.204
AT ITER 4335 NEW BEST:: SOT 4415855 SOS 727202 HAS SOPS 727202 HAS SOUS 640669 HAS SOUPS 640669 WITH SCORE 641396.202
AT ITER 4350 NEW BEST:: SOT 4415265 SOS 729106 HAS SOPS 729106 HAS SOUS 640509 HAS SOUPS 640509 WITH SCORE 641238.106
AT ITER 4366 NEW BEST:: SOT 4415198 SOS 728972 HAS SOPS 728972 HAS SOUS 640375 HAS SOUPS 640375 WITH SCORE 641103.972
AT ITER 4412 NEW BEST:: SOT 4415139 SOS 728854 HAS SOPS 728854 HAS SOUS 640257 HAS SOUPS 640257 WITH SCORE 640985.854
AT ITER 4413 NEW BEST:: SOT 4415088 SOS 728752 HAS SOPS 728752 HAS SOUS 640206 HAS SOUPS 640206 WITH SCORE 640934.752
AT ITER 4428 NEW BEST:: SOT 4414638 SOS 728452 HAS SOPS 728452 HAS SOUS 639756 HAS SOUPS 639756 WITH SCORE 640484.452
AT ITER 4482 NEW BEST:: SOT 4414614 SOS 728450 HAS SOPS 728450 HAS SOUS 639754 HAS SOUPS 639754 WITH SCORE 640482.45
AT ITER 4494 NEW BEST:: SOT 4414430 SOS 728450 HAS SOPS 728450 HAS SOUS 639662 HAS SOUPS 639662 WITH SCORE 640390.45
AT ITER 4497 NEW BEST:: SOT 4414421 SOS 728432 HAS SOPS 728432 HAS SOUS 639649 HAS SOUPS 639649 WITH SCORE 640377.432
AT ITER 4501 NEW BEST:: SOT 4414412 SOS 728814 HAS SOPS 728814 HAS SOUS 639640 HAS SOUPS 639640 WITH SCORE 640368.814
AT ITER 4530 NEW BEST:: SOT 4414171 SOS 727574 HAS SOPS 727574 HAS SOUS 639058 HAS SOUPS 639058 WITH SCORE 639785.574
AT ITER 4662 NEW BEST:: SOT 4414119 SOS 727521 HAS SOPS 727521 HAS SOUS 639005 HAS SOUPS 639005 WITH SCORE 639732.521
AT ITER 4682 NEW BEST:: SOT 4413900 SOS 727262 HAS SOPS 727262 HAS SOUS 638719 HAS SOUPS 638719 WITH SCORE 639446.262
AT ITER 4699 NEW BEST:: SOT 4413836 SOS 727134 HAS SOPS 727134 HAS SOUS 638591 HAS SOUPS 638591 WITH SCORE 639318.134
AT ITER 4781 NEW BEST:: SOT 4413480 SOS 727718 HAS SOPS 727718 HAS SOUS 638380 HAS SOUPS 638380 WITH SCORE 639107.718
AT ITER 4786 NEW BEST:: SOT 4413397 SOS 727552 HAS SOPS 727552 HAS SOUS 638214 HAS SOUPS 638214 WITH SCORE 638941.552
AT ITER 4809 NEW BEST:: SOT 4413382 SOS 727522 HAS SOPS 727522 HAS SOUS 638199 HAS SOUPS 638199 WITH SCORE 638926.522
AT ITER 4849 NEW BEST:: SOT 4413434 SOS 727307 HAS SOPS 727307 HAS SOUS 637984 HAS SOUPS 637984 WITH SCORE 638711.307
AT ITER 4870 NEW BEST:: SOT 4413399 SOS 727237 HAS SOPS 727237 HAS SOUS 637969 HAS SOUPS 637969 WITH SCORE 638696.237
AT ITER 4914 NEW BEST:: SOT 4413392 SOS 727195 HAS SOPS 727195 HAS SOUS 637955 HAS SOUPS 637955 WITH SCORE 638682.195
AT ITER 4927 NEW BEST:: SOT 4413381 SOS 727056 HAS SOPS 727056 HAS SOUS 637892 HAS SOUPS 637892 WITH SCORE 638619.056
AT ITER 4945 NEW BEST:: SOT 4413206 SOS 726706 HAS SOPS 726706 HAS SOUS 637717 HAS SOUPS 637717 WITH SCORE 638443.706
AT ITER 4972 NEW BEST:: SOT 4413223 SOS 726426 HAS SOPS 726426 HAS SOUS 637437 HAS SOUPS 637437 WITH SCORE 638163.426
AT ITER 4997 NEW BEST:: SOT 4413133 SOS 726246 HAS SOPS 726246 HAS SOUS 637257 HAS SOUPS 637257 WITH SCORE 637983.246
AT ITER 4998 NEW BEST:: SOT 4413108 SOS 726196 HAS SOPS 726196 HAS SOUS 637207 HAS SOUPS 637207 WITH SCORE 637933.196
AT ITER 5038 NEW BEST:: SOT 4412799 SOS 725578 HAS SOPS 725578 HAS SOUS 636831 HAS SOUPS 636831 WITH SCORE 637556.578
AT ITER 5044 NEW BEST:: SOT 4412782 SOS 725544 HAS SOPS 725544 HAS SOUS 636797 HAS SOUPS 636797 WITH SCORE 637522.544
AT ITER 5047 NEW BEST:: SOT 4413028 SOS 725438 HAS SOPS 725438 HAS SOUS 636744 HAS SOUPS 636744 WITH SCORE 637469.438
AT ITER 5083 NEW BEST:: SOT 4412958 SOS 725298 HAS SOPS 725298 HAS SOUS 636604 HAS SOUPS 636604 WITH SCORE 637329.298
AT ITER 5105 NEW BEST:: SOT 4412919 SOS 725219 HAS SOPS 725219 HAS SOUS 636199 HAS SOUPS 636199 WITH SCORE 636924.219
AT ITER 5125 NEW BEST:: SOT 4412802 SOS 724634 HAS SOPS 724634 HAS SOUS 635965 HAS SOUPS 635965 WITH SCORE 636689.634
AT ITER 5129 NEW BEST:: SOT 4412847 SOS 723912 HAS SOPS 723912 HAS SOUS 635807 HAS SOUPS 635807 WITH SCORE 636530.912
AT ITER 5141 NEW BEST:: SOT 4412847 SOS 723534 HAS SOPS 723534 HAS SOUS 635429 HAS SOUPS 635429 WITH SCORE 636152.534
AT ITER 5148 NEW BEST:: SOT 4412790 SOS 723420 HAS SOPS 723420 HAS SOUS 635315 HAS SOUPS 635315 WITH SCORE 636038.42
AT ITER 5154 NEW BEST:: SOT 4412783 SOS 723406 HAS SOPS 723406 HAS SOUS 635301 HAS SOUPS 635301 WITH SCORE 636024.406
AT ITER 5156 NEW BEST:: SOT 4412726 SOS 723235 HAS SOPS 723235 HAS SOUS 635187 HAS SOUPS 635187 WITH SCORE 635910.235
AT ITER 5166 NEW BEST:: SOT 4412299 SOS 722975 HAS SOPS 722975 HAS SOUS 634759 HAS SOUPS 634759 WITH SCORE 635481.975
AT ITER 5178 NEW BEST:: SOT 4412299 SOS 722578 HAS SOPS 722578 HAS SOUS 634362 HAS SOUPS 634362 WITH SCORE 635084.578
AT ITER 5182 NEW BEST:: SOT 4412265 SOS 722510 HAS SOPS 722510 HAS SOUS 634318 HAS SOUPS 634318 WITH SCORE 635040.51
AT ITER 5187 NEW BEST:: SOT 4408879 SOS 721786 HAS SOPS 721786 HAS SOUS 631213 HAS SOUPS 631213 WITH SCORE 631934.786
AT ITER 5192 NEW BEST:: SOT 4408694 SOS 721416 HAS SOPS 721416 HAS SOUS 630843 HAS SOUPS 630843 WITH SCORE 631564.416
AT ITER 5208 NEW BEST:: SOT 4408727 SOS 721416 HAS SOPS 721416 HAS SOUS 630810 HAS SOUPS 630810 WITH SCORE 631531.416
AT ITER 5209 NEW BEST:: SOT 4408820 SOS 721144 HAS SOPS 721144 HAS SOUS 630529 HAS SOUPS 630529 WITH SCORE 631250.144
AT ITER 5225 NEW BEST:: SOT 4408692 SOS 720888 HAS SOPS 720888 HAS SOUS 630338 HAS SOUPS 630338 WITH SCORE 631058.888
AT ITER 5268 NEW BEST:: SOT 4408692 SOS 720887 HAS SOPS 720887 HAS SOUS 630337 HAS SOUPS 630337 WITH SCORE 631057.887
AT ITER 5289 NEW BEST:: SOT 4408726 SOS 720955 HAS SOPS 720955 HAS SOUS 630216 HAS SOUPS 630216 WITH SCORE 630936.955
AT ITER 5296 NEW BEST:: SOT 4408725 SOS 720953 HAS SOPS 720953 HAS SOUS 630215 HAS SOUPS 630215 WITH SCORE 630935.953
AT ITER 5332 NEW BEST:: SOT 4408723 SOS 720949 HAS SOPS 720949 HAS SOUS 630057 HAS SOUPS 630057 WITH SCORE 630777.949
AT ITER 5371 NEW BEST:: SOT 4408700 SOS 720902 HAS SOPS 720902 HAS SOUS 630010 HAS SOUPS 630010 WITH SCORE 630730.902
AT ITER 5423 NEW BEST:: SOT 4408386 SOS 720274 HAS SOPS 720274 HAS SOUS 629382 HAS SOUPS 629382 WITH SCORE 630102.274
AT ITER 5494 NEW BEST:: SOT 4408294 SOS 720284 HAS SOPS 720284 HAS SOUS 629290 HAS SOUPS 629290 WITH SCORE 630010.284
AT ITER 5514 NEW BEST:: SOT 4408242 SOS 720215 HAS SOPS 720215 HAS SOUS 629221 HAS SOUPS 629221 WITH SCORE 629941.215
AT ITER 5526 NEW BEST:: SOT 4408111 SOS 720199 HAS SOPS 720199 HAS SOUS 629148 HAS SOUPS 629148 WITH SCORE 629868.199
AT ITER 5534 NEW BEST:: SOT 4408019 SOS 720015 HAS SOPS 720015 HAS SOUS 628964 HAS SOUPS 628964 WITH SCORE 629684.015
AT ITER 5557 NEW BEST:: SOT 4407567 SOS 719450 HAS SOPS 719450 HAS SOUS 628512 HAS SOUPS 628512 WITH SCORE 629231.45
AT ITER 5587 NEW BEST:: SOT 4407567 SOS 719435 HAS SOPS 719435 HAS SOUS 628497 HAS SOUPS 628497 WITH SCORE 629216.435
AT ITER 5589 NEW BEST:: SOT 4407541 SOS 719383 HAS SOPS 719383 HAS SOUS 628386 HAS SOUPS 628386 WITH SCORE 629105.383
AT ITER 5629 NEW BEST:: SOT 4407498 SOS 719469 HAS SOPS 719469 HAS SOUS 628343 HAS SOUPS 628343 WITH SCORE 629062.469
AT ITER 5669 NEW BEST:: SOT 4407466 SOS 719405 HAS SOPS 719405 HAS SOUS 628279 HAS SOUPS 628279 WITH SCORE 628998.405
AT ITER 5683 NEW BEST:: SOT 4407285 SOS 719043 HAS SOPS 719043 HAS SOUS 628098 HAS SOUPS 628098 WITH SCORE 628817.043
AT ITER 5685 NEW BEST:: SOT 4407158 SOS 718903 HAS SOPS 718903 HAS SOUS 628084 HAS SOUPS 628084 WITH SCORE 628802.903
AT ITER 5740 NEW BEST:: SOT 4407158 SOS 718902 HAS SOPS 718902 HAS SOUS 628083 HAS SOUPS 628083 WITH SCORE 628801.902
AT ITER 5745 NEW BEST:: SOT 4407031 SOS 718648 HAS SOPS 718648 HAS SOUS 627829 HAS SOUPS 627829 WITH SCORE 628547.648
AT ITER 5769 NEW BEST:: SOT 4407031 SOS 718647 HAS SOPS 718647 HAS SOUS 627828 HAS SOUPS 627828 WITH SCORE 628546.647
AT ITER 5779 NEW BEST:: SOT 4407014 SOS 718613 HAS SOPS 718613 HAS SOUS 627498 HAS SOUPS 627498 WITH SCORE 628216.613
AT ITER 5798 NEW BEST:: SOT 4406610 SOS 718295 HAS SOPS 718295 HAS SOUS 627144 HAS SOUPS 627144 WITH SCORE 627862.295
AT ITER 5810 NEW BEST:: SOT 4406583 SOS 718241 HAS SOPS 718241 HAS SOUS 627090 HAS SOUPS 627090 WITH SCORE 627808.241
AT ITER 5822 NEW BEST:: SOT 4406546 SOS 718167 HAS SOPS 718167 HAS SOUS 627016 HAS SOUPS 627016 WITH SCORE 627734.167
AT ITER 5851 NEW BEST:: SOT 4406526 SOS 718127 HAS SOPS 718127 HAS SOUS 626976 HAS SOUPS 626976 WITH SCORE 627694.127
AT ITER 5860 NEW BEST:: SOT 4406526 SOS 718127 HAS SOPS 718127 HAS SOUS 626884 HAS SOUPS 626884 WITH SCORE 627602.127
AT ITER 5905 NEW BEST:: SOT 4406516 SOS 718107 HAS SOPS 718107 HAS SOUS 626864 HAS SOUPS 626864 WITH SCORE 627582.107
AT ITER 5991 NEW BEST:: SOT 4406125 SOS 717325 HAS SOPS 717325 HAS SOUS 626150 HAS SOUPS 626150 WITH SCORE 626867.325
AT ITER 6012 NEW BEST:: SOT 4406006 SOS 717087 HAS SOPS 717087 HAS SOUS 625912 HAS SOUPS 625912 WITH SCORE 626629.087
AT ITER 6072 NEW BEST:: SOT 4405928 SOS 716931 HAS SOPS 716931 HAS SOUS 625756 HAS SOUPS 625756 WITH SCORE 626472.931
AT ITER 6098 NEW BEST:: SOT 4406099 SOS 716782 HAS SOPS 716782 HAS SOUS 625566 HAS SOUPS 625566 WITH SCORE 626282.782
AT ITER 6117 NEW BEST:: SOT 4406092 SOS 716768 HAS SOPS 716768 HAS SOUS 625552 HAS SOUPS 625552 WITH SCORE 626268.768
AT ITER 6121 NEW BEST:: SOT 4406001 SOS 716586 HAS SOPS 716586 HAS SOUS 625370 HAS SOUPS 625370 WITH SCORE 626086.586
AT ITER 6136 NEW BEST:: SOT 4405840 SOS 716264 HAS SOPS 716264 HAS SOUS 625048 HAS SOUPS 625048 WITH SCORE 625764.264
AT ITER 6143 NEW BEST:: SOT 4405807 SOS 716263 HAS SOPS 716263 HAS SOUS 625047 HAS SOUPS 625047 WITH SCORE 625763.263
AT ITER 6168 NEW BEST:: SOT 4405239 SOS 716031 HAS SOPS 716031 HAS SOUS 624589 HAS SOUPS 624589 WITH SCORE 625305.031
AT ITER 6199 NEW BEST:: SOT 4405239 SOS 715787 HAS SOPS 715787 HAS SOUS 624345 HAS SOUPS 624345 WITH SCORE 625060.787
AT ITER 6219 NEW BEST:: SOT 4405239 SOS 715787 HAS SOPS 715787 HAS SOUS 624297 HAS SOUPS 624297 WITH SCORE 625012.787
AT ITER 6273 NEW BEST:: SOT 4405178 SOS 715604 HAS SOPS 715604 HAS SOUS 624175 HAS SOUPS 624175 WITH SCORE 624890.604
AT ITER 6305 NEW BEST:: SOT 4405164 SOS 715597 HAS SOPS 715597 HAS SOUS 624168 HAS SOUPS 624168 WITH SCORE 624883.597
AT ITER 6309 NEW BEST:: SOT 4405084 SOS 715637 HAS SOPS 715637 HAS SOUS 624128 HAS SOUPS 624128 WITH SCORE 624843.637
AT ITER 6317 NEW BEST:: SOT 4404932 SOS 715333 HAS SOPS 715333 HAS SOUS 623824 HAS SOUPS 623824 WITH SCORE 624539.333
AT ITER 6334 NEW BEST:: SOT 4404815 SOS 715099 HAS SOPS 715099 HAS SOUS 623702 HAS SOUPS 623702 WITH SCORE 624417.099
AT ITER 6358 NEW BEST:: SOT 4404815 SOS 715099 HAS SOPS 715099 HAS SOUS 623698 HAS SOUPS 623698 WITH SCORE 624413.099
AT ITER 6363 NEW BEST:: SOT 4404738 SOS 714945 HAS SOPS 714945 HAS SOUS 623621 HAS SOUPS 623621 WITH SCORE 624335.945
AT ITER 6366 NEW BEST:: SOT 4404594 SOS 714496 HAS SOPS 714496 HAS SOUS 623316 HAS SOUPS 623316 WITH SCORE 624030.496
AT ITER 6371 NEW BEST:: SOT 4404558 SOS 714424 HAS SOPS 714424 HAS SOUS 623156 HAS SOUPS 623156 WITH SCORE 623870.424
AT ITER 6372 NEW BEST:: SOT 4404336 SOS 713980 HAS SOPS 713980 HAS SOUS 622708 HAS SOUPS 622708 WITH SCORE 623421.98
AT ITER 6386 NEW BEST:: SOT 4404336 SOS 713980 HAS SOPS 713980 HAS SOUS 622671 HAS SOUPS 622671 WITH SCORE 623384.98
AT ITER 6402 NEW BEST:: SOT 4403357 SOS 717111 HAS SOPS 717111 HAS SOUS 622275 HAS SOUPS 622275 WITH SCORE 622992.111
AT ITER 6420 NEW BEST:: SOT 4402975 SOS 716347 HAS SOPS 716347 HAS SOUS 622151 HAS SOUPS 622151 WITH SCORE 622867.347
AT ITER 6431 NEW BEST:: SOT 4402869 SOS 715752 HAS SOPS 715752 HAS SOUS 621739 HAS SOUPS 621739 WITH SCORE 622454.752
AT ITER 6444 NEW BEST:: SOT 4402786 SOS 715586 HAS SOPS 715586 HAS SOUS 621573 HAS SOUPS 621573 WITH SCORE 622288.586
AT ITER 6448 NEW BEST:: SOT 4402305 SOS 715110 HAS SOPS 715110 HAS SOUS 620974 HAS SOUPS 620974 WITH SCORE 621689.11
AT ITER 6465 NEW BEST:: SOT 4402298 SOS 715096 HAS SOPS 715096 HAS SOUS 620960 HAS SOUPS 620960 WITH SCORE 621675.096
AT ITER 6486 NEW BEST:: SOT 4402232 SOS 714964 HAS SOPS 714964 HAS SOUS 620861 HAS SOUPS 620861 WITH SCORE 621575.964
AT ITER 6491 NEW BEST:: SOT 4401765 SOS 714718 HAS SOPS 714718 HAS SOUS 620443 HAS SOUPS 620443 WITH SCORE 621157.718
AT ITER 6601 NEW BEST:: SOT 4401744 SOS 714676 HAS SOPS 714676 HAS SOUS 620422 HAS SOUPS 620422 WITH SCORE 621136.676
AT ITER 6602 NEW BEST:: SOT 4401703 SOS 714594 HAS SOPS 714594 HAS SOUS 620381 HAS SOUPS 620381 WITH SCORE 621095.594
AT ITER 6610 NEW BEST:: SOT 4401647 SOS 714482 HAS SOPS 714482 HAS SOUS 620325 HAS SOUPS 620325 WITH SCORE 621039.482
AT ITER 6709 NEW BEST:: SOT 4401700 SOS 714272 HAS SOPS 714272 HAS SOUS 620210 HAS SOUPS 620210 WITH SCORE 620924.272
AT ITER 6713 NEW BEST:: SOT 4401608 SOS 714088 HAS SOPS 714088 HAS SOUS 620026 HAS SOUPS 620026 WITH SCORE 620740.088
AT ITER 6714 NEW BEST:: SOT 4401503 SOS 714018 HAS SOPS 714018 HAS SOUS 619921 HAS SOUPS 619921 WITH SCORE 620635.018
AT ITER 6788 NEW BEST:: SOT 4401503 SOS 714017 HAS SOPS 714017 HAS SOUS 619920 HAS SOUPS 619920 WITH SCORE 620634.017
AT ITER 6822 NEW BEST:: SOT 4401430 SOS 713871 HAS SOPS 713871 HAS SOUS 619796 HAS SOUPS 619796 WITH SCORE 620509.871
AT ITER 6838 NEW BEST:: SOT 4401382 SOS 713775 HAS SOPS 713775 HAS SOUS 619700 HAS SOUPS 619700 WITH SCORE 620413.775
AT ITER 6886 NEW BEST:: SOT 4401344 SOS 713699 HAS SOPS 713699 HAS SOUS 619662 HAS SOUPS 619662 WITH SCORE 620375.699
AT ITER 6895 NEW BEST:: SOT 4401215 SOS 713441 HAS SOPS 713441 HAS SOUS 619464 HAS SOUPS 619464 WITH SCORE 620177.441
AT ITER 6902 NEW BEST:: SOT 4401168 SOS 713347 HAS SOPS 713347 HAS SOUS 619370 HAS SOUPS 619370 WITH SCORE 620083.347
AT ITER 6925 NEW BEST:: SOT 4401144 SOS 713299 HAS SOPS 713299 HAS SOUS 619322 HAS SOUPS 619322 WITH SCORE 620035.299
AT ITER 6934 NEW BEST:: SOT 4400955 SOS 704983 HAS SOPS 704983 HAS SOUS 618944 HAS SOUPS 618944 WITH SCORE 619648.983
AT ITER 6940 NEW BEST:: SOT 4401046 SOS 704835 HAS SOPS 704835 HAS SOUS 618870 HAS SOUPS 618870 WITH SCORE 619574.835
AT ITER 6959 NEW BEST:: SOT 4400530 SOS 704362 HAS SOPS 704362 HAS SOUS 618397 HAS SOUPS 618397 WITH SCORE 619101.362
AT ITER 6981 NEW BEST:: SOT 4400530 SOS 704318 HAS SOPS 704318 HAS SOUS 618353 HAS SOUPS 618353 WITH SCORE 619057.318
AT ITER 6988 NEW BEST:: SOT 4400367 SOS 703738 HAS SOPS 703738 HAS SOUS 618013 HAS SOUPS 618013 WITH SCORE 618716.738
AT ITER 7038 NEW BEST:: SOT 4400266 SOS 703639 HAS SOPS 703639 HAS SOUS 617912 HAS SOUPS 617912 WITH SCORE 618615.639
AT ITER 7048 NEW BEST:: SOT 4400242 SOS 703591 HAS SOPS 703591 HAS SOUS 617888 HAS SOUPS 617888 WITH SCORE 618591.591
AT ITER 7092 NEW BEST:: SOT 4400202 SOS 703551 HAS SOPS 703551 HAS SOUS 617848 HAS SOUPS 617848 WITH SCORE 618551.551
AT ITER 7093 NEW BEST:: SOT 4400175 SOS 703497 HAS SOPS 703497 HAS SOUS 617794 HAS SOUPS 617794 WITH SCORE 618497.497
AT ITER 7129 NEW BEST:: SOT 4400140 SOS 703427 HAS SOPS 703427 HAS SOUS 617759 HAS SOUPS 617759 WITH SCORE 618462.427
AT ITER 7161 NEW BEST:: SOT 4400254 SOS 703375 HAS SOPS 703375 HAS SOUS 617733 HAS SOUPS 617733 WITH SCORE 618436.375
AT ITER 7173 NEW BEST:: SOT 4400249 SOS 703365 HAS SOPS 703365 HAS SOUS 617723 HAS SOUPS 617723 WITH SCORE 618426.365
AT ITER 7175 NEW BEST:: SOT 4400232 SOS 703331 HAS SOPS 703331 HAS SOUS 617706 HAS SOUPS 617706 WITH SCORE 618409.331
AT ITER 7201 NEW BEST:: SOT 4400232 SOS 703331 HAS SOPS 703331 HAS SOUS 617655 HAS SOUPS 617655 WITH SCORE 618358.331
AT ITER 7212 NEW BEST:: SOT 4400141 SOS 703149 HAS SOPS 703149 HAS SOUS 617473 HAS SOUPS 617473 WITH SCORE 618176.149
AT ITER 7253 NEW BEST:: SOT 4400113 SOS 703123 HAS SOPS 703123 HAS SOUS 617447 HAS SOUPS 617447 WITH SCORE 618150.123
AT ITER 7277 NEW BEST:: SOT 4399643 SOS 702183 HAS SOPS 702183 HAS SOUS 617114 HAS SOUPS 617114 WITH SCORE 617816.183
AT ITER 7289 NEW BEST:: SOT 4399498 SOS 701893 HAS SOPS 701893 HAS SOUS 616969 HAS SOUPS 616969 WITH SCORE 617670.893
AT ITER 7293 NEW BEST:: SOT 4399521 SOS 701775 HAS SOPS 701775 HAS SOUS 616851 HAS SOUPS 616851 WITH SCORE 617552.775
AT ITER 7320 NEW BEST:: SOT 4399572 SOS 701877 HAS SOPS 701877 HAS SOUS 616817 HAS SOUPS 616817 WITH SCORE 617518.877
AT ITER 7354 NEW BEST:: SOT 4399047 SOS 700490 HAS SOPS 700490 HAS SOUS 616104 HAS SOUPS 616104 WITH SCORE 616804.49
AT ITER 7376 NEW BEST:: SOT 4399046 SOS 700488 HAS SOPS 700488 HAS SOUS 616102 HAS SOUPS 616102 WITH SCORE 616802.488
AT ITER 7385 NEW BEST:: SOT 4398681 SOS 700408 HAS SOPS 700408 HAS SOUS 616065 HAS SOUPS 616065 WITH SCORE 616765.408
AT ITER 7418 NEW BEST:: SOT 4398636 SOS 700273 HAS SOPS 700273 HAS SOUS 615959 HAS SOUPS 615959 WITH SCORE 616659.273
AT ITER 7436 NEW BEST:: SOT 4398633 SOS 700267 HAS SOPS 700267 HAS SOUS 615953 HAS SOUPS 615953 WITH SCORE 616653.267
AT ITER 7438 NEW BEST:: SOT 4398632 SOS 700265 HAS SOPS 700265 HAS SOUS 615951 HAS SOUPS 615951 WITH SCORE 616651.265
AT ITER 7511 NEW BEST:: SOT 4398515 SOS 700031 HAS SOPS 700031 HAS SOUS 615717 HAS SOUPS 615717 WITH SCORE 616417.031
AT ITER 7521 NEW BEST:: SOT 4398439 SOS 699879 HAS SOPS 699879 HAS SOUS 615641 HAS SOUPS 615641 WITH SCORE 616340.879
AT ITER 7542 NEW BEST:: SOT 4398432 SOS 699865 HAS SOPS 699865 HAS SOUS 615627 HAS SOUPS 615627 WITH SCORE 616326.865
AT ITER 7551 NEW BEST:: SOT 4398467 SOS 699935 HAS SOPS 699935 HAS SOUS 615612 HAS SOUPS 615612 WITH SCORE 616311.935
AT ITER 7623 NEW BEST:: SOT 4398382 SOS 699765 HAS SOPS 699765 HAS SOUS 615442 HAS SOUPS 615442 WITH SCORE 616141.765
AT ITER 7635 NEW BEST:: SOT 4398263 SOS 699527 HAS SOPS 699527 HAS SOUS 615204 HAS SOUPS 615204 WITH SCORE 615903.527
AT ITER 7702 NEW BEST:: SOT 4398240 SOS 699408 HAS SOPS 699408 HAS SOUS 615126 HAS SOUPS 615126 WITH SCORE 615825.408
AT ITER 7740 NEW BEST:: SOT 4398183 SOS 699294 HAS SOPS 699294 HAS SOUS 615069 HAS SOUPS 615069 WITH SCORE 615768.294
AT ITER 7820 NEW BEST:: SOT 4398038 SOS 699057 HAS SOPS 699057 HAS SOUS 614975 HAS SOUPS 614975 WITH SCORE 615674.057
AT ITER 7822 NEW BEST:: SOT 4397642 SOS 698763 HAS SOPS 698763 HAS SOUS 614579 HAS SOUPS 614579 WITH SCORE 615277.763
AT ITER 7834 NEW BEST:: SOT 4397642 SOS 698762 HAS SOPS 698762 HAS SOUS 614578 HAS SOUPS 614578 WITH SCORE 615276.762
AT ITER 7849 NEW BEST:: SOT 4397330 SOS 698138 HAS SOPS 698138 HAS SOUS 614307 HAS SOUPS 614307 WITH SCORE 615005.138
AT ITER 7873 NEW BEST:: SOT 4397137 SOS 697752 HAS SOPS 697752 HAS SOUS 613921 HAS SOUPS 613921 WITH SCORE 614618.752
AT ITER 7875 NEW BEST:: SOT 4396985 SOS 697448 HAS SOPS 697448 HAS SOUS 613617 HAS SOUPS 613617 WITH SCORE 614314.448
AT ITER 7880 NEW BEST:: SOT 4396995 SOS 697425 HAS SOPS 697425 HAS SOUS 613601 HAS SOUPS 613601 WITH SCORE 614298.425
AT ITER 7884 NEW BEST:: SOT 4396837 SOS 697109 HAS SOPS 697109 HAS SOUS 613285 HAS SOUPS 613285 WITH SCORE 613982.109
AT ITER 7909 NEW BEST:: SOT 4396837 SOS 697090 HAS SOPS 697090 HAS SOUS 613285 HAS SOUPS 613285 WITH SCORE 613982.09
AT ITER 7920 NEW BEST:: SOT 4396798 SOS 697012 HAS SOPS 697012 HAS SOUS 613207 HAS SOUPS 613207 WITH SCORE 613904.012
AT ITER 8002 NEW BEST:: SOT 4396628 SOS 697050 HAS SOPS 697050 HAS SOUS 613110 HAS SOUPS 613110 WITH SCORE 613807.05
AT ITER 8062 NEW BEST:: SOT 4396628 SOS 697014 HAS SOPS 697014 HAS SOUS 613110 HAS SOUPS 613110 WITH SCORE 613807.014
AT ITER 8118 NEW BEST:: SOT 4396614 SOS 696986 HAS SOPS 696986 HAS SOUS 613101 HAS SOUPS 613101 WITH SCORE 613797.986
AT ITER 8142 NEW BEST:: SOT 4396372 SOS 697099 HAS SOPS 697099 HAS SOUS 612806 HAS SOUPS 612806 WITH SCORE 613503.099
AT ITER 8146 NEW BEST:: SOT 4396393 SOS 697078 HAS SOPS 697078 HAS SOUS 612806 HAS SOUPS 612806 WITH SCORE 613503.078
AT ITER 8152 NEW BEST:: SOT 4396374 SOS 695930 HAS SOPS 695930 HAS SOUS 612232 HAS SOUPS 612232 WITH SCORE 612927.93
AT ITER 8167 NEW BEST:: SOT 4396374 SOS 695930 HAS SOPS 695930 HAS SOUS 612124 HAS SOUPS 612124 WITH SCORE 612819.93
AT ITER 8188 NEW BEST:: SOT 4396319 SOS 696017 HAS SOPS 696017 HAS SOUS 612014 HAS SOUPS 612014 WITH SCORE 612710.017
AT ITER 8203 NEW BEST:: SOT 4396294 SOS 695942 HAS SOPS 695942 HAS SOUS 611964 HAS SOUPS 611964 WITH SCORE 612659.942
AT ITER 8232 NEW BEST:: SOT 4396254 SOS 695861 HAS SOPS 695861 HAS SOUS 611883 HAS SOUPS 611883 WITH SCORE 612578.861
AT ITER 8243 NEW BEST:: SOT 4396238 SOS 695829 HAS SOPS 695829 HAS SOUS 611851 HAS SOUPS 611851 WITH SCORE 612546.829
AT ITER 8273 NEW BEST:: SOT 4396121 SOS 695595 HAS SOPS 695595 HAS SOUS 611753 HAS SOUPS 611753 WITH SCORE 612448.595
AT ITER 8332 NEW BEST:: SOT 4396027 SOS 695407 HAS SOPS 695407 HAS SOUS 611565 HAS SOUPS 611565 WITH SCORE 612260.407
AT ITER 8343 NEW BEST:: SOT 4396027 SOS 695381 HAS SOPS 695381 HAS SOUS 611565 HAS SOUPS 611565 WITH SCORE 612260.381
AT ITER 8344 NEW BEST:: SOT 4396027 SOS 695339 HAS SOPS 695339 HAS SOUS 611565 HAS SOUPS 611565 WITH SCORE 612260.339
AT ITER 8437 NEW BEST:: SOT 4396010 SOS 695305 HAS SOPS 695305 HAS SOUS 611547 HAS SOUPS 611547 WITH SCORE 612242.305
AT ITER 8464 NEW BEST:: SOT 4395962 SOS 695264 HAS SOPS 695264 HAS SOUS 611453 HAS SOUPS 611453 WITH SCORE 612148.264
AT ITER 8488 NEW BEST:: SOT 4395962 SOS 695264 HAS SOPS 695264 HAS SOUS 611392 HAS SOUPS 611392 WITH SCORE 612087.264
AT ITER 8606 NEW BEST:: SOT 4395961 SOS 695262 HAS SOPS 695262 HAS SOUS 611390 HAS SOUPS 611390 WITH SCORE 612085.262
AT ITER 8623 NEW BEST:: SOT 4395896 SOS 695132 HAS SOPS 695132 HAS SOUS 611260 HAS SOUPS 611260 WITH SCORE 611955.132
AT ITER 8640 NEW BEST:: SOT 4395770 SOS 695057 HAS SOPS 695057 HAS SOUS 611169 HAS SOUPS 611169 WITH SCORE 611864.057
AT ITER 8648 NEW BEST:: SOT 4395285 SOS 694380 HAS SOPS 694380 HAS SOUS 610656 HAS SOUPS 610656 WITH SCORE 611350.38
AT ITER 8662 NEW BEST:: SOT 4395048 SOS 693906 HAS SOPS 693906 HAS SOUS 610419 HAS SOUPS 610419 WITH SCORE 611112.906
AT ITER 8683 NEW BEST:: SOT 4394971 SOS 693752 HAS SOPS 693752 HAS SOUS 610342 HAS SOUPS 610342 WITH SCORE 611035.752
AT ITER 8728 NEW BEST:: SOT 4394971 SOS 693588 HAS SOPS 693588 HAS SOUS 610342 HAS SOUPS 610342 WITH SCORE 611035.588
AT ITER 8729 NEW BEST:: SOT 4394795 SOS 693476 HAS SOPS 693476 HAS SOUS 610169 HAS SOUPS 610169 WITH SCORE 610862.476
AT ITER 8738 NEW BEST:: SOT 4394773 SOS 693432 HAS SOPS 693432 HAS SOUS 610125 HAS SOUPS 610125 WITH SCORE 610818.432
AT ITER 8751 NEW BEST:: SOT 4394673 SOS 693788 HAS SOPS 693788 HAS SOUS 610043 HAS SOUPS 610043 WITH SCORE 610736.788
AT ITER 8761 NEW BEST:: SOT 4394703 SOS 693728 HAS SOPS 693728 HAS SOUS 610043 HAS SOUPS 610043 WITH SCORE 610736.728
AT ITER 8776 NEW BEST:: SOT 4394700 SOS 693711 HAS SOPS 693711 HAS SOUS 610037 HAS SOUPS 610037 WITH SCORE 610730.711
AT ITER 8786 NEW BEST:: SOT 4394700 SOS 693711 HAS SOPS 693711 HAS SOUS 610034 HAS SOUPS 610034 WITH SCORE 610727.711
AT ITER 8797 NEW BEST:: SOT 4394744 SOS 693799 HAS SOPS 693799 HAS SOUS 610004 HAS SOUPS 610004 WITH SCORE 610697.799
AT ITER 8799 NEW BEST:: SOT 4394657 SOS 693735 HAS SOPS 693735 HAS SOUS 609939 HAS SOUPS 609939 WITH SCORE 610632.735
AT ITER 8850 NEW BEST:: SOT 4394657 SOS 693735 HAS SOPS 693735 HAS SOUS 609813 HAS SOUPS 609813 WITH SCORE 610506.735
AT ITER 8858 NEW BEST:: SOT 4394611 SOS 693384 HAS SOPS 693384 HAS SOUS 609508 HAS SOUPS 609508 WITH SCORE 610201.384
AT ITER 8912 NEW BEST:: SOT 4394611 SOS 693384 HAS SOPS 693384 HAS SOUS 609505 HAS SOUPS 609505 WITH SCORE 610198.384
AT ITER 8923 NEW BEST:: SOT 4394608 SOS 693116 HAS SOPS 693116 HAS SOUS 609238 HAS SOUPS 609238 WITH SCORE 609931.116
AT ITER 8925 NEW BEST:: SOT 4394668 SOS 693236 HAS SOPS 693236 HAS SOUS 609156 HAS SOUPS 609156 WITH SCORE 609849.236
AT ITER 8942 NEW BEST:: SOT 4394873 SOS 693026 HAS SOPS 693026 HAS SOUS 609089 HAS SOUPS 609089 WITH SCORE 609782.026
AT ITER 8961 NEW BEST:: SOT 4394740 SOS 692760 HAS SOPS 692760 HAS SOUS 608823 HAS SOUPS 608823 WITH SCORE 609515.76
AT ITER 8977 NEW BEST:: SOT 4394740 SOS 692760 HAS SOPS 692760 HAS SOUS 608795 HAS SOUPS 608795 WITH SCORE 609487.76
AT ITER 8994 NEW BEST:: SOT 4394499 SOS 692608 HAS SOPS 692608 HAS SOUS 608577 HAS SOUPS 608577 WITH SCORE 609269.608
AT ITER 9011 NEW BEST:: SOT 4394454 SOS 692518 HAS SOPS 692518 HAS SOUS 608532 HAS SOUPS 608532 WITH SCORE 609224.518
AT ITER 9026 NEW BEST:: SOT 4394386 SOS 692450 HAS SOPS 692450 HAS SOUS 608464 HAS SOUPS 608464 WITH SCORE 609156.45
AT ITER 9031 NEW BEST:: SOT 4394360 SOS 692398 HAS SOPS 692398 HAS SOUS 608412 HAS SOUPS 608412 WITH SCORE 609104.398
AT ITER 9037 NEW BEST:: SOT 4393985 SOS 694996 HAS SOPS 694996 HAS SOUS 608086 HAS SOUPS 608086 WITH SCORE 608780.996
AT ITER 9057 NEW BEST:: SOT 4393739 SOS 694843 HAS SOPS 694843 HAS SOUS 607692 HAS SOUPS 607692 WITH SCORE 608386.843
AT ITER 9060 NEW BEST:: SOT 4393541 SOS 694447 HAS SOPS 694447 HAS SOUS 607296 HAS SOUPS 607296 WITH SCORE 607990.447
AT ITER 9069 NEW BEST:: SOT 4393541 SOS 694446 HAS SOPS 694446 HAS SOUS 607295 HAS SOUPS 607295 WITH SCORE 607989.446
AT ITER 9115 NEW BEST:: SOT 4393537 SOS 694436 HAS SOPS 694436 HAS SOUS 607287 HAS SOUPS 607287 WITH SCORE 607981.436
AT ITER 9121 NEW BEST:: SOT 4393751 SOS 694864 HAS SOPS 694864 HAS SOUS 607277 HAS SOUPS 607277 WITH SCORE 607971.864
AT ITER 9123 NEW BEST:: SOT 4393676 SOS 694792 HAS SOPS 694792 HAS SOUS 607249 HAS SOUPS 607249 WITH SCORE 607943.792
AT ITER 9140 NEW BEST:: SOT 4393489 SOS 695500 HAS SOPS 695500 HAS SOUS 607199 HAS SOUPS 607199 WITH SCORE 607894.5
AT ITER 9181 NEW BEST:: SOT 4393451 SOS 695424 HAS SOPS 695424 HAS SOUS 607123 HAS SOUPS 607123 WITH SCORE 607818.424
AT ITER 9186 NEW BEST:: SOT 4393450 SOS 695422 HAS SOPS 695422 HAS SOUS 607121 HAS SOUPS 607121 WITH SCORE 607816.422
AT ITER 9193 NEW BEST:: SOT 4393445 SOS 695412 HAS SOPS 695412 HAS SOUS 607119 HAS SOUPS 607119 WITH SCORE 607814.412
AT ITER 9197 NEW BEST:: SOT 4393323 SOS 695168 HAS SOPS 695168 HAS SOUS 607022 HAS SOUPS 607022 WITH SCORE 607717.168
AT ITER 9227 NEW BEST:: SOT 4393291 SOS 695104 HAS SOPS 695104 HAS SOUS 606958 HAS SOUPS 606958 WITH SCORE 607653.104
AT ITER 9233 NEW BEST:: SOT 4393204 SOS 695017 HAS SOPS 695017 HAS SOUS 606871 HAS SOUPS 606871 WITH SCORE 607566.017
AT ITER 9235 NEW BEST:: SOT 4392306 SOS 694131 HAS SOPS 694131 HAS SOUS 606103 HAS SOUPS 606103 WITH SCORE 606797.131
AT ITER 9236 NEW BEST:: SOT 4392306 SOS 693858 HAS SOPS 693858 HAS SOUS 605830 HAS SOUPS 605830 WITH SCORE 606523.858
AT ITER 9359 NEW BEST:: SOT 4392318 SOS 693551 HAS SOPS 693551 HAS SOUS 605619 HAS SOUPS 605619 WITH SCORE 606312.551
AT ITER 9373 NEW BEST:: SOT 4392481 SOS 693513 HAS SOPS 693513 HAS SOUS 605581 HAS SOUPS 605581 WITH SCORE 606274.513
AT ITER 9381 NEW BEST:: SOT 4392480 SOS 692954 HAS SOPS 692954 HAS SOUS 605376 HAS SOUPS 605376 WITH SCORE 606068.954
AT ITER 9414 NEW BEST:: SOT 4392605 SOS 693204 HAS SOPS 693204 HAS SOUS 605212 HAS SOUPS 605212 WITH SCORE 605905.204
AT ITER 9429 NEW BEST:: SOT 4392605 SOS 693204 HAS SOPS 693204 HAS SOUS 605211 HAS SOUPS 605211 WITH SCORE 605904.204
AT ITER 9436 NEW BEST:: SOT 4392372 SOS 692738 HAS SOPS 692738 HAS SOUS 604745 HAS SOUPS 604745 WITH SCORE 605437.738
AT ITER 9442 NEW BEST:: SOT 4392348 SOS 692690 HAS SOPS 692690 HAS SOUS 604697 HAS SOUPS 604697 WITH SCORE 605389.69
AT ITER 9451 NEW BEST:: SOT 4392225 SOS 692444 HAS SOPS 692444 HAS SOUS 604451 HAS SOUPS 604451 WITH SCORE 605143.444
AT ITER 9469 NEW BEST:: SOT 4392225 SOS 692443 HAS SOPS 692443 HAS SOUS 604450 HAS SOUPS 604450 WITH SCORE 605142.443
AT ITER 9470 NEW BEST:: SOT 4392218 SOS 692429 HAS SOPS 692429 HAS SOUS 604398 HAS SOUPS 604398 WITH SCORE 605090.429
AT ITER 9473 NEW BEST:: SOT 4392110 SOS 692213 HAS SOPS 692213 HAS SOUS 604182 HAS SOUPS 604182 WITH SCORE 604874.213
AT ITER 9482 NEW BEST:: SOT 4392008 SOS 692009 HAS SOPS 692009 HAS SOUS 604080 HAS SOUPS 604080 WITH SCORE 604772.009
AT ITER 9506 NEW BEST:: SOT 4391853 SOS 691699 HAS SOPS 691699 HAS SOUS 603785 HAS SOUPS 603785 WITH SCORE 604476.699
AT ITER 9526 NEW BEST:: SOT 4391852 SOS 691698 HAS SOPS 691698 HAS SOUS 603784 HAS SOUPS 603784 WITH SCORE 604475.698
AT ITER 9537 NEW BEST:: SOT 4391837 SOS 691668 HAS SOPS 691668 HAS SOUS 603754 HAS SOUPS 603754 WITH SCORE 604445.668
AT ITER 9540 NEW BEST:: SOT 4391740 SOS 691680 HAS SOPS 691680 HAS SOUS 603714 HAS SOUPS 603714 WITH SCORE 604405.68
AT ITER 9546 NEW BEST:: SOT 4391694 SOS 691588 HAS SOPS 691588 HAS SOUS 603622 HAS SOUPS 603622 WITH SCORE 604313.588
AT ITER 9567 NEW BEST:: SOT 4391678 SOS 691556 HAS SOPS 691556 HAS SOUS 603590 HAS SOUPS 603590 WITH SCORE 604281.556
AT ITER 9568 NEW BEST:: SOT 4391621 SOS 691498 HAS SOPS 691498 HAS SOUS 603589 HAS SOUPS 603589 WITH SCORE 604280.498
AT ITER 9585 NEW BEST:: SOT 4391576 SOS 691018 HAS SOPS 691018 HAS SOUS 603462 HAS SOUPS 603462 WITH SCORE 604153.018
AT ITER 9614 NEW BEST:: SOT 4391495 SOS 690946 HAS SOPS 690946 HAS SOUS 603390 HAS SOUPS 603390 WITH SCORE 604080.946
AT ITER 9627 NEW BEST:: SOT 4391490 SOS 690936 HAS SOPS 690936 HAS SOUS 603385 HAS SOUPS 603385 WITH SCORE 604075.936
AT ITER 9635 NEW BEST:: SOT 4391437 SOS 690777 HAS SOPS 690777 HAS SOUS 603279 HAS SOUPS 603279 WITH SCORE 603969.777
AT ITER 9637 NEW BEST:: SOT 4391303 SOS 690743 HAS SOPS 690743 HAS SOUS 603245 HAS SOUPS 603245 WITH SCORE 603935.743
AT ITER 9647 NEW BEST:: SOT 4391174 SOS 690485 HAS SOPS 690485 HAS SOUS 602987 HAS SOUPS 602987 WITH SCORE 603677.485
AT ITER 9649 NEW BEST:: SOT 4391174 SOS 690414 HAS SOPS 690414 HAS SOUS 602987 HAS SOUPS 602987 WITH SCORE 603677.414
AT ITER 9685 NEW BEST:: SOT 4391163 SOS 690392 HAS SOPS 690392 HAS SOUS 602965 HAS SOUPS 602965 WITH SCORE 603655.392
AT ITER 9696 NEW BEST:: SOT 4391162 SOS 690390 HAS SOPS 690390 HAS SOUS 602963 HAS SOUPS 602963 WITH SCORE 603653.39
AT ITER 9700 NEW BEST:: SOT 4391131 SOS 690328 HAS SOPS 690328 HAS SOUS 602901 HAS SOUPS 602901 WITH SCORE 603591.328
AT ITER 9708 NEW BEST:: SOT 4391131 SOS 690328 HAS SOPS 690328 HAS SOUS 602863 HAS SOUPS 602863 WITH SCORE 603553.328
AT ITER 9729 NEW BEST:: SOT 4391131 SOS 690328 HAS SOPS 690328 HAS SOUS 602862 HAS SOUPS 602862 WITH SCORE 603552.328
AT ITER 9761 NEW BEST:: SOT 4391117 SOS 690300 HAS SOPS 690300 HAS SOUS 602848 HAS SOUPS 602848 WITH SCORE 603538.3
AT ITER 9777 NEW BEST:: SOT 4391043 SOS 690152 HAS SOPS 690152 HAS SOUS 602700 HAS SOUPS 602700 WITH SCORE 603390.152
AT ITER 9791 NEW BEST:: SOT 4390767 SOS 689600 HAS SOPS 689600 HAS SOUS 602490 HAS SOUPS 602490 WITH SCORE 603179.6
AT ITER 9803 NEW BEST:: SOT 4390647 SOS 689360 HAS SOPS 689360 HAS SOUS 602155 HAS SOUPS 602155 WITH SCORE 602844.36
AT ITER 9809 NEW BEST:: SOT 4390590 SOS 689246 HAS SOPS 689246 HAS SOUS 602089 HAS SOUPS 602089 WITH SCORE 602778.246
AT ITER 9876 NEW BEST:: SOT 4390536 SOS 689138 HAS SOPS 689138 HAS SOUS 602035 HAS SOUPS 602035 WITH SCORE 602724.138
AT ITER 9891 NEW BEST:: SOT 4390525 SOS 689116 HAS SOPS 689116 HAS SOUS 602013 HAS SOUPS 602013 WITH SCORE 602702.116
AT ITER 9909 NEW BEST:: SOT 4390396 SOS 689083 HAS SOPS 689083 HAS SOUS 601924 HAS SOUPS 601924 WITH SCORE 602613.083
AT ITER 9911 NEW BEST:: SOT 4390321 SOS 688933 HAS SOPS 688933 HAS SOUS 601774 HAS SOUPS 601774 WITH SCORE 602462.933
AT ITER 9912 NEW BEST:: SOT 4390320 SOS 688931 HAS SOPS 688931 HAS SOUS 601773 HAS SOUPS 601773 WITH SCORE 602461.931
AT ITER 9920 NEW BEST:: SOT 4390086 SOS 688668 HAS SOPS 688668 HAS SOUS 601521 HAS SOUPS 601521 WITH SCORE 602209.668
AT ITER 9995 NEW BEST:: SOT 4389786 SOS 687651 HAS SOPS 687651 HAS SOUS 600921 HAS SOUPS 600921 WITH SCORE 601608.651
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 12230188 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16123804 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ 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-302"
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-302, 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-167814483600016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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