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.r355-smll-167891803200296.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 smart
Input is SafeBus-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803200296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 21M
-rw-r--r-- 1 mcc users 94K Feb 26 02:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 478K Feb 26 02:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 709K Feb 26 02:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.9M Feb 26 02:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 38K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 150K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 102K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 391K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 85K Feb 26 04:06 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 483K Feb 26 04:06 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.5M Feb 26 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.8M Feb 26 04:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 7.0K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 20K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 7.8M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679903308230

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SafeBus-PT-20
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 20
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 1026 places, 10461 transitions, 77364 arcs.
AT ITER 0 NEW BEST:: SOT 5475118 SOS 4521503 HAS SOPS 4516905 HAS SOUS 904829 HAS SOUPS 903872 WITH SCORE 908393.503
AT ITER 15 NEW BEST:: SOT 5475097 SOS 4528204 HAS SOPS 4523606 HAS SOUS 904543 HAS SOUPS 903586 WITH SCORE 908114.204
AT ITER 18 NEW BEST:: SOT 5475046 SOS 4528153 HAS SOPS 4523555 HAS SOUS 904527 HAS SOUPS 903570 WITH SCORE 908098.153
AT ITER 27 NEW BEST:: SOT 5474903 SOS 4530217 HAS SOPS 4525619 HAS SOUS 904263 HAS SOUPS 903306 WITH SCORE 907836.217
AT ITER 41 NEW BEST:: SOT 5470882 SOS 4526320 HAS SOPS 4521846 HAS SOUS 900386 HAS SOUPS 899553 WITH SCORE 904079.32
AT ITER 59 NEW BEST:: SOT 5470700 SOS 4526138 HAS SOPS 4521664 HAS SOUS 900295 HAS SOUPS 899462 WITH SCORE 903988.138
AT ITER 63 NEW BEST:: SOT 5470180 SOS 4525592 HAS SOPS 4521144 HAS SOUS 899229 HAS SOUPS 898422 WITH SCORE 902947.592
AT ITER 111 NEW BEST:: SOT 5383597 SOS 4439284 HAS SOPS 4435111 HAS SOUS 812816 HAS SOUPS 812284 WITH SCORE 816723.284
AT ITER 130 NEW BEST:: SOT 5383591 SOS 4439278 HAS SOPS 4435105 HAS SOUS 812799 HAS SOUPS 812267 WITH SCORE 816706.278
AT ITER 144 NEW BEST:: SOT 5383586 SOS 4439277 HAS SOPS 4435104 HAS SOUS 812779 HAS SOUPS 812247 WITH SCORE 816686.277
AT ITER 154 NEW BEST:: SOT 5383559 SOS 4439250 HAS SOPS 4435077 HAS SOUS 812779 HAS SOUPS 812247 WITH SCORE 816686.25
AT ITER 167 NEW BEST:: SOT 5383168 SOS 4438859 HAS SOPS 4434686 HAS SOUS 812388 HAS SOUPS 811856 WITH SCORE 816294.859
AT ITER 238 NEW BEST:: SOT 5383105 SOS 4438659 HAS SOPS 4434368 HAS SOUS 811501 HAS SOUPS 810851 WITH SCORE 815289.659
AT ITER 307 NEW BEST:: SOT 5383157 SOS 4444432 HAS SOPS 4440141 HAS SOUS 811473 HAS SOUPS 810823 WITH SCORE 815267.432
AT ITER 354 NEW BEST:: SOT 5383099 SOS 4444374 HAS SOPS 4440083 HAS SOUS 811423 HAS SOUPS 810773 WITH SCORE 815217.374
AT ITER 369 NEW BEST:: SOT 5383015 SOS 4444290 HAS SOPS 4439999 HAS SOUS 811381 HAS SOUPS 810731 WITH SCORE 815175.29
AT ITER 436 NEW BEST:: SOT 5382840 SOS 4444115 HAS SOPS 4439824 HAS SOUS 811316 HAS SOUPS 810666 WITH SCORE 815110.115
AT ITER 438 NEW BEST:: SOT 5382813 SOS 4444091 HAS SOPS 4439822 HAS SOUS 808803 HAS SOUPS 808175 WITH SCORE 812619.091
AT ITER 494 NEW BEST:: SOT 5311003 SOS 4372471 HAS SOPS 4368202 HAS SOUS 736977 HAS SOUPS 736349 WITH SCORE 740721.471
AT ITER 495 NEW BEST:: SOT 5311197 SOS 4372645 HAS SOPS 4368276 HAS SOUS 736448 HAS SOUPS 735720 WITH SCORE 740092.645
AT ITER 514 NEW BEST:: SOT 5311197 SOS 4372645 HAS SOPS 4368276 HAS SOUS 736436 HAS SOUPS 735708 WITH SCORE 740080.645
AT ITER 522 NEW BEST:: SOT 5312825 SOS 4374258 HAS SOPS 4369904 HAS SOUS 736174 HAS SOUPS 735461 WITH SCORE 739835.258
AT ITER 563 NEW BEST:: SOT 5312741 SOS 4374054 HAS SOPS 4369616 HAS SOUS 735181 HAS SOUPS 734384 WITH SCORE 738758.054
AT ITER 565 NEW BEST:: SOT 5312659 SOS 4373972 HAS SOPS 4369534 HAS SOUS 735140 HAS SOUPS 734343 WITH SCORE 738716.972
AT ITER 604 NEW BEST:: SOT 5313295 SOS 4374483 HAS SOPS 4369939 HAS SOUS 734938 HAS SOUPS 734035 WITH SCORE 738409.483
AT ITER 628 NEW BEST:: SOT 5303162 SOS 4364547 HAS SOPS 4360003 HAS SOUS 724254 HAS SOUPS 723351 WITH SCORE 727715.547
AT ITER 648 NEW BEST:: SOT 5303153 SOS 4364538 HAS SOPS 4359994 HAS SOUS 724245 HAS SOUPS 723342 WITH SCORE 727706.538
AT ITER 656 NEW BEST:: SOT 5303153 SOS 4364534 HAS SOPS 4359990 HAS SOUS 724243 HAS SOUPS 723340 WITH SCORE 727704.534
AT ITER 674 NEW BEST:: SOT 5303967 SOS 4365225 HAS SOPS 4360577 HAS SOUS 724291 HAS SOUPS 723284 WITH SCORE 727649.225
AT ITER 708 NEW BEST:: SOT 5303967 SOS 4366092 HAS SOPS 4361444 HAS SOUS 724224 HAS SOUPS 723217 WITH SCORE 727583.092
AT ITER 729 NEW BEST:: SOT 5304077 SOS 4369089 HAS SOPS 4364441 HAS SOUS 724221 HAS SOUPS 723214 WITH SCORE 727583.089
AT ITER 752 NEW BEST:: SOT 5304077 SOS 4369089 HAS SOPS 4364441 HAS SOUS 724202 HAS SOUPS 723195 WITH SCORE 727564.089
AT ITER 756 NEW BEST:: SOT 5304005 SOS 4369017 HAS SOPS 4364369 HAS SOUS 724166 HAS SOUPS 723159 WITH SCORE 727528.017
AT ITER 760 NEW BEST:: SOT 5303691 SOS 4368703 HAS SOPS 4364055 HAS SOUS 724009 HAS SOUPS 723002 WITH SCORE 727370.703
AT ITER 786 NEW BEST:: SOT 5303802 SOS 4375726 HAS SOPS 4371078 HAS SOUS 723922 HAS SOUPS 722915 WITH SCORE 727290.726
AT ITER 795 NEW BEST:: SOT 5303372 SOS 4375296 HAS SOPS 4370648 HAS SOUS 723492 HAS SOUPS 722485 WITH SCORE 726860.296
AT ITER 799 NEW BEST:: SOT 5303372 SOS 4375296 HAS SOPS 4370648 HAS SOUS 723491 HAS SOUPS 722484 WITH SCORE 726859.296
AT ITER 809 NEW BEST:: SOT 5303139 SOS 4375063 HAS SOPS 4370415 HAS SOUS 723326 HAS SOUPS 722319 WITH SCORE 726694.063
AT ITER 867 NEW BEST:: SOT 5302815 SOS 4374739 HAS SOPS 4370091 HAS SOUS 723225 HAS SOUPS 722218 WITH SCORE 726592.739
AT ITER 922 NEW BEST:: SOT 5302797 SOS 4374721 HAS SOPS 4370073 HAS SOUS 723207 HAS SOUPS 722200 WITH SCORE 726574.721
AT ITER 960 NEW BEST:: SOT 5302327 SOS 4374258 HAS SOPS 4369610 HAS SOUS 722801 HAS SOUPS 721794 WITH SCORE 726168.258
AT ITER 971 NEW BEST:: SOT 5302393 SOS 4376324 HAS SOPS 4371676 HAS SOUS 722781 HAS SOUPS 721774 WITH SCORE 726150.324
AT ITER 979 NEW BEST:: SOT 5302388 SOS 4376315 HAS SOPS 4371667 HAS SOUS 722780 HAS SOUPS 721773 WITH SCORE 726149.315
AT ITER 1017 NEW BEST:: SOT 5302388 SOS 4376315 HAS SOPS 4371667 HAS SOUS 722743 HAS SOUPS 721736 WITH SCORE 726112.315
AT ITER 1021 NEW BEST:: SOT 5301544 SOS 4375471 HAS SOPS 4370823 HAS SOUS 721839 HAS SOUPS 720832 WITH SCORE 725207.471
AT ITER 1034 NEW BEST:: SOT 5301544 SOS 4413593 HAS SOPS 4389345 HAS SOUS 721790 HAS SOUPS 720734 WITH SCORE 725147.593
AT ITER 1036 NEW BEST:: SOT 5301544 SOS 4413517 HAS SOPS 4389375 HAS SOUS 719428 HAS SOUPS 718478 WITH SCORE 722891.517
AT ITER 1062 NEW BEST:: SOT 5301544 SOS 4413993 HAS SOPS 4389851 HAS SOUS 719413 HAS SOUPS 718463 WITH SCORE 722876.993
AT ITER 1075 NEW BEST:: SOT 5301650 SOS 4417951 HAS SOPS 4393809 HAS SOUS 719392 HAS SOUPS 718442 WITH SCORE 722859.951
AT ITER 1102 NEW BEST:: SOT 5302180 SOS 4418289 HAS SOPS 4394110 HAS SOUS 719121 HAS SOUPS 718134 WITH SCORE 722552.289
AT ITER 1112 NEW BEST:: SOT 5302173 SOS 4418282 HAS SOPS 4394103 HAS SOUS 719039 HAS SOUPS 718052 WITH SCORE 722470.282
AT ITER 1113 NEW BEST:: SOT 5302140 SOS 4418187 HAS SOPS 4393975 HAS SOUS 718313 HAS SOUPS 717293 WITH SCORE 721711.187
AT ITER 1115 NEW BEST:: SOT 5302140 SOS 4420006 HAS SOPS 4395794 HAS SOUS 718139 HAS SOUPS 717119 WITH SCORE 721539.006
AT ITER 1126 NEW BEST:: SOT 5302120 SOS 4426142 HAS SOPS 4401930 HAS SOUS 718093 HAS SOUPS 717073 WITH SCORE 721499.142
AT ITER 1130 NEW BEST:: SOT 5301890 SOS 4425912 HAS SOPS 4401700 HAS SOUS 717924 HAS SOUPS 716904 WITH SCORE 721329.912
AT ITER 1131 NEW BEST:: SOT 5301890 SOS 4426677 HAS SOPS 4402465 HAS SOUS 717919 HAS SOUPS 716899 WITH SCORE 721325.677
AT ITER 1135 NEW BEST:: SOT 5301510 SOS 4426257 HAS SOPS 4402025 HAS SOUS 717099 HAS SOUPS 716059 WITH SCORE 720485.257
AT ITER 1137 NEW BEST:: SOT 5301346 SOS 4426093 HAS SOPS 4401861 HAS SOUS 715495 HAS SOUPS 714455 WITH SCORE 718881.093
AT ITER 1156 NEW BEST:: SOT 5301204 SOS 4425951 HAS SOPS 4401719 HAS SOUS 715440 HAS SOUPS 714400 WITH SCORE 718825.951
AT ITER 1179 NEW BEST:: SOT 5301562 SOS 4426309 HAS SOPS 4402077 HAS SOUS 715191 HAS SOUPS 714151 WITH SCORE 718577.309
AT ITER 1181 NEW BEST:: SOT 5301932 SOS 4428797 HAS SOPS 4404565 HAS SOUS 714593 HAS SOUPS 713553 WITH SCORE 717981.797
AT ITER 1223 NEW BEST:: SOT 5298092 SOS 4424957 HAS SOPS 4400725 HAS SOUS 710288 HAS SOUPS 709248 WITH SCORE 713672.957
AT ITER 1239 NEW BEST:: SOT 5200376 SOS 4327324 HAS SOPS 4303092 HAS SOUS 612655 HAS SOUPS 611615 WITH SCORE 615942.324
AT ITER 1244 NEW BEST:: SOT 5200669 SOS 4327617 HAS SOPS 4303385 HAS SOUS 612435 HAS SOUPS 611395 WITH SCORE 615722.617
AT ITER 1251 NEW BEST:: SOT 5200576 SOS 4332187 HAS SOPS 4307955 HAS SOUS 612095 HAS SOUPS 611055 WITH SCORE 615387.187
AT ITER 1298 NEW BEST:: SOT 5200576 SOS 4332187 HAS SOPS 4307955 HAS SOUS 612077 HAS SOUPS 611037 WITH SCORE 615369.187
AT ITER 1311 NEW BEST:: SOT 5199101 SOS 4301404 HAS SOPS 4277157 HAS SOUS 610366 HAS SOUPS 609311 WITH SCORE 613612.404
AT ITER 1336 NEW BEST:: SOT 5199313 SOS 4301616 HAS SOPS 4277369 HAS SOUS 610190 HAS SOUPS 609135 WITH SCORE 613436.616
AT ITER 1345 NEW BEST:: SOT 5199313 SOS 4301616 HAS SOPS 4277369 HAS SOUS 610178 HAS SOUPS 609123 WITH SCORE 613424.616
AT ITER 1358 NEW BEST:: SOT 5199507 SOS 4301810 HAS SOPS 4277563 HAS SOUS 610171 HAS SOUPS 609116 WITH SCORE 613417.81
AT ITER 1385 NEW BEST:: SOT 5199268 SOS 4301571 HAS SOPS 4277324 HAS SOUS 608386 HAS SOUPS 607331 WITH SCORE 611632.571
AT ITER 1390 NEW BEST:: SOT 5199523 SOS 4301826 HAS SOPS 4277579 HAS SOUS 608356 HAS SOUPS 607301 WITH SCORE 611602.826
AT ITER 1397 NEW BEST:: SOT 5199523 SOS 4302965 HAS SOPS 4278718 HAS SOUS 608344 HAS SOUPS 607289 WITH SCORE 611591.965
AT ITER 1400 NEW BEST:: SOT 5199333 SOS 4305019 HAS SOPS 4280772 HAS SOUS 607929 HAS SOUPS 606874 WITH SCORE 611179.019
AT ITER 1415 NEW BEST:: SOT 5199333 SOS 4307552 HAS SOPS 4283305 HAS SOUS 607910 HAS SOUPS 606855 WITH SCORE 611162.552
AT ITER 1432 NEW BEST:: SOT 5198033 SOS 4306317 HAS SOPS 4282070 HAS SOUS 607355 HAS SOUPS 606300 WITH SCORE 610606.317
AT ITER 1433 NEW BEST:: SOT 5197971 SOS 4306255 HAS SOPS 4282008 HAS SOUS 607294 HAS SOUPS 606239 WITH SCORE 610545.255
AT ITER 1437 NEW BEST:: SOT 5198245 SOS 4306529 HAS SOPS 4282282 HAS SOUS 607027 HAS SOUPS 605972 WITH SCORE 610278.529
AT ITER 1440 NEW BEST:: SOT 5198108 SOS 4306392 HAS SOPS 4282145 HAS SOUS 606936 HAS SOUPS 605881 WITH SCORE 610187.392
AT ITER 1456 NEW BEST:: SOT 5198061 SOS 4306323 HAS SOPS 4282098 HAS SOUS 606031 HAS SOUPS 604998 WITH SCORE 609304.323
AT ITER 1481 NEW BEST:: SOT 5198028 SOS 4306290 HAS SOPS 4282065 HAS SOUS 604496 HAS SOUPS 603463 WITH SCORE 607769.29
AT ITER 1484 NEW BEST:: SOT 5197977 SOS 4306239 HAS SOPS 4282014 HAS SOUS 604439 HAS SOUPS 603406 WITH SCORE 607712.239
AT ITER 1506 NEW BEST:: SOT 5199028 SOS 4307215 HAS SOPS 4283065 HAS SOUS 603841 HAS SOUPS 602883 WITH SCORE 607190.215
AT ITER 1513 NEW BEST:: SOT 5199069 SOS 4307256 HAS SOPS 4283106 HAS SOUS 603395 HAS SOUPS 602437 WITH SCORE 606744.256
AT ITER 1518 NEW BEST:: SOT 5199127 SOS 4307314 HAS SOPS 4283164 HAS SOUS 603388 HAS SOUPS 602430 WITH SCORE 606737.314
AT ITER 1553 NEW BEST:: SOT 5198933 SOS 4307120 HAS SOPS 4282970 HAS SOUS 603191 HAS SOUPS 602233 WITH SCORE 606540.12
AT ITER 1583 NEW BEST:: SOT 5199024 SOS 4307211 HAS SOPS 4283061 HAS SOUS 603183 HAS SOUPS 602225 WITH SCORE 606532.211
AT ITER 1603 NEW BEST:: SOT 5199024 SOS 4307211 HAS SOPS 4283061 HAS SOUS 603164 HAS SOUPS 602206 WITH SCORE 606513.211
AT ITER 1634 NEW BEST:: SOT 5198917 SOS 4307104 HAS SOPS 4282954 HAS SOUS 603057 HAS SOUPS 602099 WITH SCORE 606406.104
AT ITER 1636 NEW BEST:: SOT 5198917 SOS 4307104 HAS SOPS 4282954 HAS SOUS 603038 HAS SOUPS 602080 WITH SCORE 606387.104
AT ITER 1667 NEW BEST:: SOT 5198845 SOS 4307032 HAS SOPS 4282882 HAS SOUS 602966 HAS SOUPS 602008 WITH SCORE 606315.032
AT ITER 1668 NEW BEST:: SOT 5198639 SOS 4306826 HAS SOPS 4282676 HAS SOUS 602684 HAS SOUPS 601726 WITH SCORE 606032.826
AT ITER 1692 NEW BEST:: SOT 5198639 SOS 4306680 HAS SOPS 4282530 HAS SOUS 602684 HAS SOUPS 601726 WITH SCORE 606032.68
AT ITER 1693 NEW BEST:: SOT 5198852 SOS 4306566 HAS SOPS 4282295 HAS SOUS 600979 HAS SOUPS 599900 WITH SCORE 604206.566
AT ITER 1703 NEW BEST:: SOT 5196998 SOS 4304701 HAS SOPS 4280441 HAS SOUS 598840 HAS SOUPS 597772 WITH SCORE 602076.701
AT ITER 1733 NEW BEST:: SOT 5196998 SOS 4304701 HAS SOPS 4280441 HAS SOUS 598826 HAS SOUPS 597758 WITH SCORE 602062.701
AT ITER 1754 NEW BEST:: SOT 5196901 SOS 4304604 HAS SOPS 4280344 HAS SOUS 598653 HAS SOUPS 597585 WITH SCORE 601889.604
AT ITER 1761 NEW BEST:: SOT 5196775 SOS 4304478 HAS SOPS 4280218 HAS SOUS 598527 HAS SOUPS 597459 WITH SCORE 601763.478
AT ITER 1767 NEW BEST:: SOT 5197369 SOS 4304727 HAS SOPS 4280336 HAS SOUS 598264 HAS SOUPS 597065 WITH SCORE 601369.727
AT ITER 1770 NEW BEST:: SOT 5196856 SOS 4304214 HAS SOPS 4279823 HAS SOUS 597724 HAS SOUPS 596525 WITH SCORE 600829.214
AT ITER 1788 NEW BEST:: SOT 5196856 SOS 4304214 HAS SOPS 4279823 HAS SOUS 597705 HAS SOUPS 596506 WITH SCORE 600810.214
AT ITER 1803 NEW BEST:: SOT 5196856 SOS 4304214 HAS SOPS 4279823 HAS SOUS 597663 HAS SOUPS 596464 WITH SCORE 600768.214
AT ITER 1827 NEW BEST:: SOT 5196856 SOS 4307546 HAS SOPS 4283155 HAS SOUS 597271 HAS SOUPS 596072 WITH SCORE 600379.546
AT ITER 1833 NEW BEST:: SOT 5196615 SOS 4307305 HAS SOPS 4282914 HAS SOUS 597030 HAS SOUPS 595831 WITH SCORE 600138.305
AT ITER 1838 NEW BEST:: SOT 5196557 SOS 4307247 HAS SOPS 4282856 HAS SOUS 596972 HAS SOUPS 595773 WITH SCORE 600080.247
AT ITER 1877 NEW BEST:: SOT 5196566 SOS 4307238 HAS SOPS 4282847 HAS SOUS 596963 HAS SOUPS 595764 WITH SCORE 600071.238
AT ITER 1882 NEW BEST:: SOT 5196795 SOS 4307467 HAS SOPS 4283076 HAS SOUS 596770 HAS SOUPS 595571 WITH SCORE 599878.467
AT ITER 1893 NEW BEST:: SOT 5196795 SOS 4307467 HAS SOPS 4283076 HAS SOUS 596763 HAS SOUPS 595564 WITH SCORE 599871.467
AT ITER 1902 NEW BEST:: SOT 5196605 SOS 4307277 HAS SOPS 4282886 HAS SOUS 596668 HAS SOUPS 595469 WITH SCORE 599776.277
AT ITER 1906 NEW BEST:: SOT 5196838 SOS 4307320 HAS SOPS 4282812 HAS SOUS 596200 HAS SOUPS 594884 WITH SCORE 599191.32
AT ITER 1910 NEW BEST:: SOT 5196964 SOS 4307446 HAS SOPS 4282938 HAS SOUS 596193 HAS SOUPS 594877 WITH SCORE 599184.446
AT ITER 1944 NEW BEST:: SOT 5196763 SOS 4307244 HAS SOPS 4282737 HAS SOUS 595974 HAS SOUPS 594659 WITH SCORE 598966.244
AT ITER 1951 NEW BEST:: SOT 5196637 SOS 4307111 HAS SOPS 4282611 HAS SOUS 595914 HAS SOUPS 594606 WITH SCORE 598913.111
AT ITER 1971 NEW BEST:: SOT 5196637 SOS 4307111 HAS SOPS 4282611 HAS SOUS 594384 HAS SOUPS 593076 WITH SCORE 597383.111
AT ITER 1983 NEW BEST:: SOT 5196424 SOS 4306898 HAS SOPS 4282398 HAS SOUS 594113 HAS SOUPS 592805 WITH SCORE 597111.898
AT ITER 2038 NEW BEST:: SOT 5197054 SOS 4307478 HAS SOPS 4282978 HAS SOUS 593743 HAS SOUPS 592435 WITH SCORE 596742.478
AT ITER 2074 NEW BEST:: SOT 5197054 SOS 4307418 HAS SOPS 4282918 HAS SOUS 593743 HAS SOUPS 592435 WITH SCORE 596742.418
AT ITER 2082 NEW BEST:: SOT 5197039 SOS 4307403 HAS SOPS 4282903 HAS SOUS 593648 HAS SOUPS 592340 WITH SCORE 596647.403
AT ITER 2092 NEW BEST:: SOT 5196799 SOS 4307163 HAS SOPS 4282663 HAS SOUS 593380 HAS SOUPS 592072 WITH SCORE 596379.163
AT ITER 2105 NEW BEST:: SOT 5197582 SOS 4307946 HAS SOPS 4283446 HAS SOUS 593054 HAS SOUPS 591746 WITH SCORE 596053.946
AT ITER 2113 NEW BEST:: SOT 5197669 SOS 4313716 HAS SOPS 4289216 HAS SOUS 592902 HAS SOUPS 591594 WITH SCORE 595907.716
AT ITER 2130 NEW BEST:: SOT 5197630 SOS 4313677 HAS SOPS 4289177 HAS SOUS 592863 HAS SOUPS 591555 WITH SCORE 595868.677
AT ITER 2132 NEW BEST:: SOT 5197584 SOS 4313631 HAS SOPS 4289131 HAS SOUS 592817 HAS SOUPS 591509 WITH SCORE 595822.631
AT ITER 2133 NEW BEST:: SOT 5197385 SOS 4313432 HAS SOPS 4288932 HAS SOUS 591971 HAS SOUPS 590663 WITH SCORE 594976.432
AT ITER 2165 NEW BEST:: SOT 5196180 SOS 4312293 HAS SOPS 4287793 HAS SOUS 590832 HAS SOUPS 589524 WITH SCORE 593836.293
AT ITER 2170 NEW BEST:: SOT 5196180 SOS 4312293 HAS SOPS 4287793 HAS SOUS 590700 HAS SOUPS 589392 WITH SCORE 593704.293
AT ITER 2172 NEW BEST:: SOT 5196166 SOS 4312279 HAS SOPS 4287779 HAS SOUS 590679 HAS SOUPS 589371 WITH SCORE 593683.279
AT ITER 2229 NEW BEST:: SOT 5196060 SOS 4312173 HAS SOPS 4287673 HAS SOUS 590528 HAS SOUPS 589220 WITH SCORE 593532.173
AT ITER 2231 NEW BEST:: SOT 5196000 SOS 4312113 HAS SOPS 4287613 HAS SOUS 590453 HAS SOUPS 589145 WITH SCORE 593457.113
AT ITER 2252 NEW BEST:: SOT 5196035 SOS 4312148 HAS SOPS 4287648 HAS SOUS 590418 HAS SOUPS 589110 WITH SCORE 593422.148
AT ITER 2265 NEW BEST:: SOT 5196328 SOS 4312441 HAS SOPS 4287941 HAS SOUS 590168 HAS SOUPS 588860 WITH SCORE 593172.441
AT ITER 2288 NEW BEST:: SOT 5196179 SOS 4312292 HAS SOPS 4287792 HAS SOUS 590133 HAS SOUPS 588825 WITH SCORE 593137.292
AT ITER 2315 NEW BEST:: SOT 5196179 SOS 4314706 HAS SOPS 4290206 HAS SOUS 589991 HAS SOUPS 588683 WITH SCORE 592997.706
AT ITER 2372 NEW BEST:: SOT 5196198 SOS 4314725 HAS SOPS 4290225 HAS SOUS 589972 HAS SOUPS 588664 WITH SCORE 592978.725
AT ITER 2400 NEW BEST:: SOT 5196164 SOS 4314696 HAS SOPS 4290191 HAS SOUS 589960 HAS SOUPS 588647 WITH SCORE 592961.696
AT ITER 2403 NEW BEST:: SOT 5195967 SOS 4314499 HAS SOPS 4289994 HAS SOUS 589763 HAS SOUPS 588450 WITH SCORE 592764.499
AT ITER 2406 NEW BEST:: SOT 5195948 SOS 4314480 HAS SOPS 4289975 HAS SOUS 589744 HAS SOUPS 588431 WITH SCORE 592745.48
AT ITER 2444 NEW BEST:: SOT 5195019 SOS 4313551 HAS SOPS 4289046 HAS SOUS 588493 HAS SOUPS 587180 WITH SCORE 591493.551
AT ITER 2451 NEW BEST:: SOT 5195128 SOS 4313579 HAS SOPS 4288992 HAS SOUS 588181 HAS SOUPS 586786 WITH SCORE 591099.579
AT ITER 2456 NEW BEST:: SOT 5195128 SOS 4313579 HAS SOPS 4288992 HAS SOUS 588177 HAS SOUPS 586782 WITH SCORE 591095.579
AT ITER 2463 NEW BEST:: SOT 5195332 SOS 4313783 HAS SOPS 4289196 HAS SOUS 587973 HAS SOUPS 586578 WITH SCORE 590891.783
AT ITER 2466 NEW BEST:: SOT 5195332 SOS 4313868 HAS SOPS 4289281 HAS SOUS 587968 HAS SOUPS 586573 WITH SCORE 590886.868
AT ITER 2478 NEW BEST:: SOT 5195332 SOS 4313868 HAS SOPS 4289281 HAS SOUS 587891 HAS SOUPS 586496 WITH SCORE 590809.868
AT ITER 2493 NEW BEST:: SOT 5196615 SOS 4314843 HAS SOPS 4290123 HAS SOUS 588016 HAS SOUPS 586488 WITH SCORE 590802.843
AT ITER 2500 NEW BEST:: SOT 5196933 SOS 4315161 HAS SOPS 4290441 HAS SOUS 587593 HAS SOUPS 586065 WITH SCORE 590380.161
AT ITER 2511 NEW BEST:: SOT 5196933 SOS 4315161 HAS SOPS 4290441 HAS SOUS 587592 HAS SOUPS 586064 WITH SCORE 590379.161
AT ITER 2515 NEW BEST:: SOT 5198177 SOS 4316383 HAS SOPS 4291685 HAS SOUS 586860 HAS SOUPS 585354 WITH SCORE 589670.383
AT ITER 2516 NEW BEST:: SOT 5198005 SOS 4316211 HAS SOPS 4291513 HAS SOUS 586687 HAS SOUPS 585181 WITH SCORE 589497.211
AT ITER 2527 NEW BEST:: SOT 5197975 SOS 4316181 HAS SOPS 4291483 HAS SOUS 586657 HAS SOUPS 585151 WITH SCORE 589467.181
AT ITER 2529 NEW BEST:: SOT 5197907 SOS 4316113 HAS SOPS 4291415 HAS SOUS 586011 HAS SOUPS 584505 WITH SCORE 588821.113
AT ITER 2534 NEW BEST:: SOT 5197845 SOS 4316051 HAS SOPS 4291353 HAS SOUS 585949 HAS SOUPS 584443 WITH SCORE 588759.051
AT ITER 2538 NEW BEST:: SOT 5198948 SOS 4317108 HAS SOPS 4292456 HAS SOUS 585732 HAS SOUPS 584272 WITH SCORE 588589.108
AT ITER 2554 NEW BEST:: SOT 5200954 SOS 4318572 HAS SOPS 4293867 HAS SOUS 585716 HAS SOUPS 584203 WITH SCORE 588521.572
AT ITER 2577 NEW BEST:: SOT 5195594 SOS 4313212 HAS SOPS 4288507 HAS SOUS 580076 HAS SOUPS 578563 WITH SCORE 582876.212
AT ITER 2581 NEW BEST:: SOT 5195233 SOS 4312528 HAS SOPS 4287760 HAS SOUS 578859 HAS SOUPS 577283 WITH SCORE 581595.528
AT ITER 2584 NEW BEST:: SOT 5195406 SOS 4312701 HAS SOPS 4287933 HAS SOUS 578726 HAS SOUPS 577150 WITH SCORE 581462.701
AT ITER 2595 NEW BEST:: SOT 5194990 SOS 4312285 HAS SOPS 4287517 HAS SOUS 578282 HAS SOUPS 576706 WITH SCORE 581018.285
AT ITER 2599 NEW BEST:: SOT 5194981 SOS 4312276 HAS SOPS 4287508 HAS SOUS 578269 HAS SOUPS 576693 WITH SCORE 581005.276
AT ITER 2618 NEW BEST:: SOT 5194845 SOS 4312140 HAS SOPS 4287372 HAS SOUS 578235 HAS SOUPS 576659 WITH SCORE 580971.14
AT ITER 2621 NEW BEST:: SOT 5192326 SOS 4325176 HAS SOPS 4323668 HAS SOUS 575611 HAS SOUPS 574103 WITH SCORE 578428.176
AT ITER 2642 NEW BEST:: SOT 5191692 SOS 4302400 HAS SOPS 4300265 HAS SOUS 574901 HAS SOUPS 572766 WITH SCORE 577068.4
AT ITER 2646 NEW BEST:: SOT 5191778 SOS 4306904 HAS SOPS 4304769 HAS SOUS 574837 HAS SOUPS 572702 WITH SCORE 577008.904
AT ITER 2648 NEW BEST:: SOT 5192210 SOS 4307336 HAS SOPS 4305201 HAS SOUS 574756 HAS SOUPS 572621 WITH SCORE 576928.336
AT ITER 2653 NEW BEST:: SOT 5192182 SOS 4307308 HAS SOPS 4305173 HAS SOUS 574727 HAS SOUPS 572592 WITH SCORE 576899.308
AT ITER 2654 NEW BEST:: SOT 5190982 SOS 4306168 HAS SOPS 4304033 HAS SOUS 572447 HAS SOUPS 570312 WITH SCORE 574618.168
AT ITER 2674 NEW BEST:: SOT 5190961 SOS 4306147 HAS SOPS 4304012 HAS SOUS 572426 HAS SOUPS 570291 WITH SCORE 574597.147
AT ITER 2677 NEW BEST:: SOT 5191374 SOS 4306592 HAS SOPS 4304487 HAS SOUS 571829 HAS SOUPS 569724 WITH SCORE 574030.592
AT ITER 2678 NEW BEST:: SOT 5191417 SOS 4306615 HAS SOPS 4304510 HAS SOUS 571812 HAS SOUPS 569707 WITH SCORE 574013.615
AT ITER 2683 NEW BEST:: SOT 5191293 SOS 4306491 HAS SOPS 4304386 HAS SOUS 571688 HAS SOUPS 569583 WITH SCORE 573889.491
AT ITER 2710 NEW BEST:: SOT 5191083 SOS 4306281 HAS SOPS 4304176 HAS SOUS 571478 HAS SOUPS 569373 WITH SCORE 573679.281
AT ITER 2715 NEW BEST:: SOT 5190605 SOS 4305800 HAS SOPS 4303693 HAS SOUS 571274 HAS SOUPS 569167 WITH SCORE 573472.8
AT ITER 2737 NEW BEST:: SOT 5190609 SOS 4305738 HAS SOPS 4303739 HAS SOUS 570410 HAS SOUPS 568411 WITH SCORE 572716.738
AT ITER 2738 NEW BEST:: SOT 5190856 SOS 4305985 HAS SOPS 4303986 HAS SOUS 570263 HAS SOUPS 568264 WITH SCORE 572569.985
AT ITER 2750 NEW BEST:: SOT 5190851 SOS 4305978 HAS SOPS 4303979 HAS SOUS 570190 HAS SOUPS 568191 WITH SCORE 572496.978
AT ITER 2767 NEW BEST:: SOT 5190718 SOS 4305845 HAS SOPS 4303846 HAS SOUS 570057 HAS SOUPS 568058 WITH SCORE 572363.845
AT ITER 2772 NEW BEST:: SOT 5190718 SOS 4305769 HAS SOPS 4303770 HAS SOUS 570057 HAS SOUPS 568058 WITH SCORE 572363.769
AT ITER 2794 NEW BEST:: SOT 5190617 SOS 4305626 HAS SOPS 4303627 HAS SOUS 569914 HAS SOUPS 567915 WITH SCORE 572220.626
AT ITER 2818 NEW BEST:: SOT 5190617 SOS 4305626 HAS SOPS 4303627 HAS SOUS 569905 HAS SOUPS 567906 WITH SCORE 572211.626
AT ITER 2844 NEW BEST:: SOT 5190617 SOS 4307734 HAS SOPS 4305735 HAS SOUS 569728 HAS SOUPS 567729 WITH SCORE 572036.734
AT ITER 2937 NEW BEST:: SOT 5190670 SOS 4307787 HAS SOPS 4305788 HAS SOUS 569688 HAS SOUPS 567689 WITH SCORE 571996.787
AT ITER 2951 NEW BEST:: SOT 5190670 SOS 4307787 HAS SOPS 4305788 HAS SOUS 569672 HAS SOUPS 567673 WITH SCORE 571980.787
AT ITER 2953 NEW BEST:: SOT 5190706 SOS 4307823 HAS SOPS 4305824 HAS SOUS 569670 HAS SOUPS 567671 WITH SCORE 571978.823
AT ITER 2965 NEW BEST:: SOT 5190686 SOS 4307803 HAS SOPS 4305804 HAS SOUS 569650 HAS SOUPS 567651 WITH SCORE 571958.803
AT ITER 2973 NEW BEST:: SOT 5190648 SOS 4307814 HAS SOPS 4305766 HAS SOUS 568291 HAS SOUPS 566243 WITH SCORE 570550.814
AT ITER 2978 NEW BEST:: SOT 5190827 SOS 4312563 HAS SOPS 4310515 HAS SOUS 568227 HAS SOUPS 566179 WITH SCORE 570491.563
AT ITER 2979 NEW BEST:: SOT 5190827 SOS 4312545 HAS SOPS 4310497 HAS SOUS 568227 HAS SOUPS 566179 WITH SCORE 570491.545
AT ITER 3017 NEW BEST:: SOT 5190797 SOS 4312515 HAS SOPS 4310467 HAS SOUS 568197 HAS SOUPS 566149 WITH SCORE 570461.515
AT ITER 3035 NEW BEST:: SOT 5190741 SOS 4312459 HAS SOPS 4310411 HAS SOUS 568139 HAS SOUPS 566091 WITH SCORE 570403.459
AT ITER 3039 NEW BEST:: SOT 5188788 SOS 4310107 HAS SOPS 4308059 HAS SOUS 566119 HAS SOUPS 564071 WITH SCORE 568381.107
AT ITER 3042 NEW BEST:: SOT 5189153 SOS 4310484 HAS SOPS 4308436 HAS SOUS 566082 HAS SOUPS 564034 WITH SCORE 568344.484
AT ITER 3062 NEW BEST:: SOT 5187826 SOS 4309095 HAS SOPS 4307047 HAS SOUS 564730 HAS SOUPS 562682 WITH SCORE 566991.095
AT ITER 3070 NEW BEST:: SOT 5187715 SOS 4308984 HAS SOPS 4306936 HAS SOUS 564619 HAS SOUPS 562571 WITH SCORE 566879.984
AT ITER 3074 NEW BEST:: SOT 5187709 SOS 4308978 HAS SOPS 4306930 HAS SOUS 564613 HAS SOUPS 562565 WITH SCORE 566873.978
AT ITER 3141 NEW BEST:: SOT 5187653 SOS 4308922 HAS SOPS 4306874 HAS SOUS 564557 HAS SOUPS 562509 WITH SCORE 566817.922
AT ITER 3145 NEW BEST:: SOT 5187653 SOS 4308922 HAS SOPS 4306874 HAS SOUS 564556 HAS SOUPS 562508 WITH SCORE 566816.922
AT ITER 3170 NEW BEST:: SOT 5187563 SOS 4308832 HAS SOPS 4306784 HAS SOUS 564466 HAS SOUPS 562418 WITH SCORE 566726.832
AT ITER 3176 NEW BEST:: SOT 5187342 SOS 4308612 HAS SOPS 4306563 HAS SOUS 562236 HAS SOUPS 560187 WITH SCORE 564495.612
AT ITER 3177 NEW BEST:: SOT 5187279 SOS 4308576 HAS SOPS 4306500 HAS SOUS 561001 HAS SOUPS 558925 WITH SCORE 563233.576
AT ITER 3190 NEW BEST:: SOT 5187181 SOS 4308474 HAS SOPS 4306402 HAS SOUS 560894 HAS SOUPS 558822 WITH SCORE 563130.474
AT ITER 3201 NEW BEST:: SOT 5187153 SOS 4308446 HAS SOPS 4306374 HAS SOUS 560866 HAS SOUPS 558794 WITH SCORE 563102.446
AT ITER 3235 NEW BEST:: SOT 5187076 SOS 4308369 HAS SOPS 4306297 HAS SOUS 560736 HAS SOUPS 558664 WITH SCORE 562972.369
AT ITER 3237 NEW BEST:: SOT 5186820 SOS 4308113 HAS SOPS 4306041 HAS SOUS 560480 HAS SOUPS 558408 WITH SCORE 562716.113
AT ITER 3250 NEW BEST:: SOT 5185616 SOS 4306972 HAS SOPS 4304837 HAS SOUS 559339 HAS SOUPS 557204 WITH SCORE 561510.972
AT ITER 3256 NEW BEST:: SOT 5185403 SOS 4306759 HAS SOPS 4304624 HAS SOUS 559268 HAS SOUPS 557133 WITH SCORE 561439.759
AT ITER 3257 NEW BEST:: SOT 5184812 SOS 4305542 HAS SOPS 4303352 HAS SOUS 558005 HAS SOUPS 555815 WITH SCORE 560120.542
AT ITER 3271 NEW BEST:: SOT 5184812 SOS 4305428 HAS SOPS 4303238 HAS SOUS 558005 HAS SOUPS 555815 WITH SCORE 560120.428
AT ITER 3280 NEW BEST:: SOT 5184810 SOS 4305426 HAS SOPS 4303236 HAS SOUS 558003 HAS SOUPS 555813 WITH SCORE 560118.426
AT ITER 3288 NEW BEST:: SOT 5184770 SOS 4305386 HAS SOPS 4303196 HAS SOUS 557958 HAS SOUPS 555768 WITH SCORE 560073.386
AT ITER 3307 NEW BEST:: SOT 5184770 SOS 4305386 HAS SOPS 4303218 HAS SOUS 557857 HAS SOUPS 555689 WITH SCORE 559994.386
AT ITER 3309 NEW BEST:: SOT 5184744 SOS 4305366 HAS SOPS 4303198 HAS SOUS 557813 HAS SOUPS 555645 WITH SCORE 559950.366
AT ITER 3310 NEW BEST:: SOT 5184688 SOS 4305310 HAS SOPS 4303142 HAS SOUS 557757 HAS SOUPS 555589 WITH SCORE 559894.31
AT ITER 3329 NEW BEST:: SOT 5184445 SOS 4305020 HAS SOPS 4302899 HAS SOUS 557505 HAS SOUPS 555384 WITH SCORE 559689.02
AT ITER 3345 NEW BEST:: SOT 5184445 SOS 4304872 HAS SOPS 4302751 HAS SOUS 557505 HAS SOUPS 555384 WITH SCORE 559688.872
AT ITER 3350 NEW BEST:: SOT 5184888 SOS 4305333 HAS SOPS 4303194 HAS SOUS 557510 HAS SOUPS 555371 WITH SCORE 559676.333
AT ITER 3366 NEW BEST:: SOT 5184888 SOS 4305333 HAS SOPS 4303194 HAS SOUS 557491 HAS SOUPS 555352 WITH SCORE 559657.333
AT ITER 3369 NEW BEST:: SOT 5184816 SOS 4305261 HAS SOPS 4303122 HAS SOUS 557424 HAS SOUPS 555285 WITH SCORE 559590.261
AT ITER 3379 NEW BEST:: SOT 5184816 SOS 4305261 HAS SOPS 4303122 HAS SOUS 557417 HAS SOUPS 555278 WITH SCORE 559583.261
AT ITER 3380 NEW BEST:: SOT 5184816 SOS 4305261 HAS SOPS 4303122 HAS SOUS 557415 HAS SOUPS 555276 WITH SCORE 559581.261
AT ITER 3384 NEW BEST:: SOT 5184727 SOS 4305172 HAS SOPS 4303033 HAS SOUS 557299 HAS SOUPS 555160 WITH SCORE 559465.172
AT ITER 3400 NEW BEST:: SOT 5184770 SOS 4305207 HAS SOPS 4303068 HAS SOUS 557246 HAS SOUPS 555107 WITH SCORE 559412.207
AT ITER 3438 NEW BEST:: SOT 5184702 SOS 4305139 HAS SOPS 4303000 HAS SOUS 557178 HAS SOUPS 555039 WITH SCORE 559344.139
AT ITER 3454 NEW BEST:: SOT 5183369 SOS 4303806 HAS SOPS 4301667 HAS SOUS 554895 HAS SOUPS 552756 WITH SCORE 557059.806
AT ITER 3456 NEW BEST:: SOT 5183389 SOS 4302647 HAS SOPS 4300367 HAS SOUS 553298 HAS SOUPS 551018 WITH SCORE 555320.647
AT ITER 3490 NEW BEST:: SOT 5183389 SOS 4555570 HAS SOPS 4317290 HAS SOUS 553298 HAS SOUPS 550719 WITH SCORE 555274.57
AT ITER 3506 NEW BEST:: SOT 5183302 SOS 4555483 HAS SOPS 4317203 HAS SOUS 553179 HAS SOUPS 550600 WITH SCORE 555155.483
AT ITER 3510 NEW BEST:: SOT 5183217 SOS 4555398 HAS SOPS 4317118 HAS SOUS 553084 HAS SOUPS 550505 WITH SCORE 555060.398
AT ITER 3542 NEW BEST:: SOT 5183217 SOS 4555398 HAS SOPS 4317118 HAS SOUS 552438 HAS SOUPS 549859 WITH SCORE 554414.398
AT ITER 3549 NEW BEST:: SOT 5183217 SOS 4555309 HAS SOPS 4317066 HAS SOUS 551945 HAS SOUPS 549403 WITH SCORE 553958.309
AT ITER 3556 NEW BEST:: SOT 5183289 SOS 4555381 HAS SOPS 4317138 HAS SOUS 551933 HAS SOUPS 549391 WITH SCORE 553946.381
AT ITER 3557 NEW BEST:: SOT 5183255 SOS 4555347 HAS SOPS 4317104 HAS SOUS 551899 HAS SOUPS 549357 WITH SCORE 553912.347
AT ITER 3570 NEW BEST:: SOT 5183244 SOS 4555350 HAS SOPS 4317107 HAS SOUS 551894 HAS SOUPS 549352 WITH SCORE 553907.35
AT ITER 3572 NEW BEST:: SOT 5183148 SOS 4555254 HAS SOPS 4317011 HAS SOUS 551798 HAS SOUPS 549256 WITH SCORE 553811.254
AT ITER 3612 NEW BEST:: SOT 5183104 SOS 4555210 HAS SOPS 4316967 HAS SOUS 551754 HAS SOUPS 549212 WITH SCORE 553767.21
AT ITER 3616 NEW BEST:: SOT 5183142 SOS 4555248 HAS SOPS 4317005 HAS SOUS 551717 HAS SOUPS 549175 WITH SCORE 553730.248
AT ITER 3627 NEW BEST:: SOT 5183067 SOS 4555113 HAS SOPS 4316930 HAS SOUS 551582 HAS SOUPS 549100 WITH SCORE 553655.113
AT ITER 3664 NEW BEST:: SOT 5181656 SOS 4553635 HAS SOPS 4315519 HAS SOUS 549970 HAS SOUPS 547555 WITH SCORE 552108.635
AT ITER 3673 NEW BEST:: SOT 5182201 SOS 4552346 HAS SOPS 4314001 HAS SOUS 549317 HAS SOUPS 546673 WITH SCORE 551225.346
AT ITER 3676 NEW BEST:: SOT 5182179 SOS 4552324 HAS SOPS 4313979 HAS SOUS 549295 HAS SOUPS 546651 WITH SCORE 551203.324
AT ITER 3679 NEW BEST:: SOT 5182095 SOS 4552240 HAS SOPS 4313895 HAS SOUS 549211 HAS SOUPS 546567 WITH SCORE 551119.24
AT ITER 3692 NEW BEST:: SOT 5182603 SOS 4552748 HAS SOPS 4314403 HAS SOUS 548391 HAS SOUPS 545747 WITH SCORE 550299.748
AT ITER 3695 NEW BEST:: SOT 5182603 SOS 4552748 HAS SOPS 4314403 HAS SOUS 548381 HAS SOUPS 545737 WITH SCORE 550289.748
AT ITER 3697 NEW BEST:: SOT 5182505 SOS 4552650 HAS SOPS 4314305 HAS SOUS 548370 HAS SOUPS 545726 WITH SCORE 550278.65
AT ITER 3764 NEW BEST:: SOT 5183104 SOS 4551570 HAS SOPS 4313030 HAS SOUS 547646 HAS SOUPS 544807 WITH SCORE 549358.57
AT ITER 3768 NEW BEST:: SOT 5183348 SOS 4551814 HAS SOPS 4313274 HAS SOUS 547451 HAS SOUPS 544612 WITH SCORE 549163.814
AT ITER 3787 NEW BEST:: SOT 5183274 SOS 4551740 HAS SOPS 4313200 HAS SOUS 547271 HAS SOUPS 544432 WITH SCORE 548983.74
AT ITER 3804 NEW BEST:: SOT 5182816 SOS 4551282 HAS SOPS 4312742 HAS SOUS 546816 HAS SOUPS 543977 WITH SCORE 548528.282
AT ITER 3903 NEW BEST:: SOT 5182760 SOS 4551226 HAS SOPS 4312686 HAS SOUS 546760 HAS SOUPS 543921 WITH SCORE 548472.226
AT ITER 3989 NEW BEST:: SOT 5182702 SOS 4551168 HAS SOPS 4312628 HAS SOUS 546702 HAS SOUPS 543863 WITH SCORE 548414.168
AT ITER 4046 NEW BEST:: SOT 5182761 SOS 4551227 HAS SOPS 4312687 HAS SOUS 546669 HAS SOUPS 543830 WITH SCORE 548381.227
AT ITER 4055 NEW BEST:: SOT 5181797 SOS 4550216 HAS SOPS 4311723 HAS SOUS 545564 HAS SOUPS 542772 WITH SCORE 547322.216
AT ITER 4057 NEW BEST:: SOT 5182721 SOS 4551170 HAS SOPS 4312647 HAS SOUS 545500 HAS SOUPS 542678 WITH SCORE 547229.17
AT ITER 4063 NEW BEST:: SOT 5182694 SOS 4551143 HAS SOPS 4312620 HAS SOUS 545473 HAS SOUPS 542651 WITH SCORE 547202.143
AT ITER 4070 NEW BEST:: SOT 5182707 SOS 4551156 HAS SOPS 4312633 HAS SOUS 545416 HAS SOUPS 542594 WITH SCORE 547145.156
AT ITER 4079 NEW BEST:: SOT 5182578 SOS 4550909 HAS SOPS 4312504 HAS SOUS 544810 HAS SOUPS 542106 WITH SCORE 546656.909
AT ITER 4088 NEW BEST:: SOT 5182378 SOS 4550709 HAS SOPS 4312304 HAS SOUS 544610 HAS SOUPS 541906 WITH SCORE 546456.709
AT ITER 4097 NEW BEST:: SOT 5182434 SOS 4550765 HAS SOPS 4312360 HAS SOUS 544598 HAS SOUPS 541894 WITH SCORE 546444.765
AT ITER 4099 NEW BEST:: SOT 5181059 SOS 4549323 HAS SOPS 4310985 HAS SOUS 543060 HAS SOUPS 540423 WITH SCORE 544972.323
AT ITER 4110 NEW BEST:: SOT 5180982 SOS 4549212 HAS SOPS 4310908 HAS SOUS 542983 HAS SOUPS 540380 WITH SCORE 544929.212
AT ITER 4111 NEW BEST:: SOT 5180874 SOS 4549104 HAS SOPS 4310800 HAS SOUS 542875 HAS SOUPS 540272 WITH SCORE 544821.104
AT ITER 4134 NEW BEST:: SOT 5180658 SOS 4548888 HAS SOPS 4310584 HAS SOUS 542823 HAS SOUPS 540220 WITH SCORE 544768.888
AT ITER 4136 NEW BEST:: SOT 5182137 SOS 4550175 HAS SOPS 4311802 HAS SOUS 542791 HAS SOUPS 540119 WITH SCORE 544669.175
AT ITER 4144 NEW BEST:: SOT 5182137 SOS 4550175 HAS SOPS 4311802 HAS SOUS 542760 HAS SOUPS 540088 WITH SCORE 544638.175
AT ITER 4149 NEW BEST:: SOT 5182068 SOS 4550106 HAS SOPS 4311733 HAS SOUS 542691 HAS SOUPS 540019 WITH SCORE 544569.106
AT ITER 4167 NEW BEST:: SOT 5181620 SOS 4549156 HAS SOPS 4310760 HAS SOUS 542287 HAS SOUPS 539592 WITH SCORE 544141.156
AT ITER 4174 NEW BEST:: SOT 5181532 SOS 4549068 HAS SOPS 4310672 HAS SOUS 542199 HAS SOUPS 539504 WITH SCORE 544053.068
AT ITER 4178 NEW BEST:: SOT 5181458 SOS 4548994 HAS SOPS 4310598 HAS SOUS 542125 HAS SOUPS 539430 WITH SCORE 543978.994
AT ITER 4226 NEW BEST:: SOT 5181423 SOS 4548223 HAS SOPS 4309827 HAS SOUS 542046 HAS SOUPS 539351 WITH SCORE 543899.223
AT ITER 4242 NEW BEST:: SOT 5181423 SOS 4548223 HAS SOPS 4309827 HAS SOUS 542027 HAS SOUPS 539332 WITH SCORE 543880.223
AT ITER 4243 NEW BEST:: SOT 5181423 SOS 4548193 HAS SOPS 4309797 HAS SOUS 541983 HAS SOUPS 539288 WITH SCORE 543836.193
AT ITER 4246 NEW BEST:: SOT 5181423 SOS 4548193 HAS SOPS 4309797 HAS SOUS 541976 HAS SOUPS 539281 WITH SCORE 543829.193
AT ITER 4266 NEW BEST:: SOT 5181423 SOS 4548148 HAS SOPS 4309797 HAS SOUS 541841 HAS SOUPS 539191 WITH SCORE 543739.148
AT ITER 4297 NEW BEST:: SOT 5181409 SOS 4548134 HAS SOPS 4309783 HAS SOUS 541805 HAS SOUPS 539155 WITH SCORE 543703.134
AT ITER 4302 NEW BEST:: SOT 5181401 SOS 4548126 HAS SOPS 4309775 HAS SOUS 541797 HAS SOUPS 539147 WITH SCORE 543695.126
AT ITER 4313 NEW BEST:: SOT 5181346 SOS 4548060 HAS SOPS 4309720 HAS SOUS 541720 HAS SOUPS 539081 WITH SCORE 543629.06
AT ITER 4325 NEW BEST:: SOT 5181339 SOS 4548053 HAS SOPS 4309713 HAS SOUS 541713 HAS SOUPS 539074 WITH SCORE 543622.053
AT ITER 4349 NEW BEST:: SOT 5181254 SOS 4547968 HAS SOPS 4309628 HAS SOUS 541676 HAS SOUPS 539037 WITH SCORE 543584.968
AT ITER 4357 NEW BEST:: SOT 5181254 SOS 4547968 HAS SOPS 4309628 HAS SOUS 541674 HAS SOUPS 539035 WITH SCORE 543582.968
AT ITER 4367 NEW BEST:: SOT 5181133 SOS 4547843 HAS SOPS 4309503 HAS SOUS 541552 HAS SOUPS 538913 WITH SCORE 543460.843
AT ITER 4400 NEW BEST:: SOT 5181053 SOS 4547759 HAS SOPS 4309423 HAS SOUS 541384 HAS SOUPS 538749 WITH SCORE 543296.759
AT ITER 4408 NEW BEST:: SOT 5180251 SOS 4546873 HAS SOPS 4308621 HAS SOUS 539834 HAS SOUPS 537283 WITH SCORE 541829.873
AT ITER 4419 NEW BEST:: SOT 5180196 SOS 4546818 HAS SOPS 4308566 HAS SOUS 539774 HAS SOUPS 537223 WITH SCORE 541769.818
AT ITER 4461 NEW BEST:: SOT 5180196 SOS 4546724 HAS SOPS 4308472 HAS SOUS 539771 HAS SOUPS 537220 WITH SCORE 541766.724
AT ITER 4468 NEW BEST:: SOT 5179990 SOS 4546491 HAS SOPS 4308266 HAS SOUS 539491 HAS SOUPS 536967 WITH SCORE 541513.491
AT ITER 4553 NEW BEST:: SOT 5179864 SOS 4546365 HAS SOPS 4308140 HAS SOUS 539365 HAS SOUPS 536841 WITH SCORE 541387.365
AT ITER 4578 NEW BEST:: SOT 5179864 SOS 4546365 HAS SOPS 4308140 HAS SOUS 539337 HAS SOUPS 536813 WITH SCORE 541359.365
AT ITER 4581 NEW BEST:: SOT 5179864 SOS 4546365 HAS SOPS 4308140 HAS SOUS 539317 HAS SOUPS 536793 WITH SCORE 541339.365
AT ITER 4600 NEW BEST:: SOT 5179864 SOS 4546365 HAS SOPS 4308140 HAS SOUS 539296 HAS SOUPS 536772 WITH SCORE 541318.365
AT ITER 4630 NEW BEST:: SOT 5179874 SOS 4546377 HAS SOPS 4308152 HAS SOUS 539066 HAS SOUPS 536542 WITH SCORE 541088.377
AT ITER 4643 NEW BEST:: SOT 5179874 SOS 4546377 HAS SOPS 4308152 HAS SOUS 539028 HAS SOUPS 536504 WITH SCORE 541050.377
AT ITER 4681 NEW BEST:: SOT 5179693 SOS 4546196 HAS SOPS 4307971 HAS SOUS 538938 HAS SOUPS 536414 WITH SCORE 540960.196
AT ITER 4685 NEW BEST:: SOT 5178225 SOS 4543521 HAS SOPS 4305068 HAS SOUS 536507 HAS SOUPS 533755 WITH SCORE 538298.521
AT ITER 4743 NEW BEST:: SOT 5178225 SOS 4543521 HAS SOPS 4305068 HAS SOUS 536502 HAS SOUPS 533750 WITH SCORE 538293.521
AT ITER 4764 NEW BEST:: SOT 5178225 SOS 4543521 HAS SOPS 4305068 HAS SOUS 536479 HAS SOUPS 533727 WITH SCORE 538270.521
AT ITER 4784 NEW BEST:: SOT 5178225 SOS 4543521 HAS SOPS 4305068 HAS SOUS 536456 HAS SOUPS 533704 WITH SCORE 538247.521
AT ITER 4805 NEW BEST:: SOT 5176777 SOS 4542073 HAS SOPS 4303620 HAS SOUS 534926 HAS SOUPS 532174 WITH SCORE 536716.073
AT ITER 4811 NEW BEST:: SOT 5177007 SOS 4542303 HAS SOPS 4303850 HAS SOUS 534431 HAS SOUPS 531679 WITH SCORE 536221.303
AT ITER 4816 NEW BEST:: SOT 5177007 SOS 4431813 HAS SOPS 4271360 HAS SOUS 534431 HAS SOUPS 531769 WITH SCORE 536200.813
AT ITER 4835 NEW BEST:: SOT 5176656 SOS 4431462 HAS SOPS 4270981 HAS SOUS 534148 HAS SOUPS 531458 WITH SCORE 535889.462
AT ITER 4837 NEW BEST:: SOT 5176662 SOS 4431482 HAS SOPS 4271001 HAS SOUS 534102 HAS SOUPS 531412 WITH SCORE 535843.482
AT ITER 4891 NEW BEST:: SOT 5176336 SOS 4431156 HAS SOPS 4270675 HAS SOUS 533745 HAS SOUPS 531055 WITH SCORE 535486.156
AT ITER 4893 NEW BEST:: SOT 5176336 SOS 4431156 HAS SOPS 4270675 HAS SOUS 533738 HAS SOUPS 531048 WITH SCORE 535479.156
AT ITER 4910 NEW BEST:: SOT 5176351 SOS 4431171 HAS SOPS 4270690 HAS SOUS 533712 HAS SOUPS 531022 WITH SCORE 535453.171
AT ITER 4911 NEW BEST:: SOT 5176037 SOS 4430857 HAS SOPS 4270376 HAS SOUS 533426 HAS SOUPS 530736 WITH SCORE 535166.857
AT ITER 4921 NEW BEST:: SOT 5176034 SOS 4430852 HAS SOPS 4270371 HAS SOUS 533421 HAS SOUPS 530731 WITH SCORE 535161.852
AT ITER 4929 NEW BEST:: SOT 5175901 SOS 4430719 HAS SOPS 4270238 HAS SOUS 533181 HAS SOUPS 530491 WITH SCORE 534921.719
AT ITER 4930 NEW BEST:: SOT 5175901 SOS 4432130 HAS SOPS 4271649 HAS SOUS 533015 HAS SOUPS 530325 WITH SCORE 534757.13
AT ITER 4951 NEW BEST:: SOT 5175827 SOS 4432056 HAS SOPS 4271575 HAS SOUS 532941 HAS SOUPS 530251 WITH SCORE 534683.056
AT ITER 4981 NEW BEST:: SOT 5175543 SOS 4431760 HAS SOPS 4271279 HAS SOUS 532645 HAS SOUPS 529955 WITH SCORE 534386.76
AT ITER 4987 NEW BEST:: SOT 5173939 SOS 4430156 HAS SOPS 4269675 HAS SOUS 531041 HAS SOUPS 528351 WITH SCORE 532781.156
AT ITER 4993 NEW BEST:: SOT 5173939 SOS 4430140 HAS SOPS 4269659 HAS SOUS 531000 HAS SOUPS 528310 WITH SCORE 532740.14
AT ITER 5003 NEW BEST:: SOT 5173467 SOS 4429646 HAS SOPS 4269187 HAS SOUS 530462 HAS SOUPS 527794 WITH SCORE 532223.646
AT ITER 5010 NEW BEST:: SOT 5173628 SOS 4429807 HAS SOPS 4269348 HAS SOUS 530301 HAS SOUPS 527633 WITH SCORE 532062.807
AT ITER 5017 NEW BEST:: SOT 5173628 SOS 4429755 HAS SOPS 4269296 HAS SOUS 530301 HAS SOUPS 527633 WITH SCORE 532062.755
AT ITER 5020 NEW BEST:: SOT 5173602 SOS 4429743 HAS SOPS 4269284 HAS SOUS 530284 HAS SOUPS 527616 WITH SCORE 532045.743
AT ITER 5046 NEW BEST:: SOT 5173602 SOS 4429743 HAS SOPS 4269284 HAS SOUS 530262 HAS SOUPS 527594 WITH SCORE 532023.743
AT ITER 5059 NEW BEST:: SOT 5173602 SOS 4429743 HAS SOPS 4269284 HAS SOUS 530174 HAS SOUPS 527506 WITH SCORE 531935.743
AT ITER 5060 NEW BEST:: SOT 5173101 SOS 4428131 HAS SOPS 4267672 HAS SOUS 529575 HAS SOUPS 526907 WITH SCORE 531335.131
AT ITER 5081 NEW BEST:: SOT 5173048 SOS 4428078 HAS SOPS 4267619 HAS SOUS 529517 HAS SOUPS 526849 WITH SCORE 531277.078
AT ITER 5084 NEW BEST:: SOT 5173048 SOS 4428068 HAS SOPS 4267609 HAS SOUS 529497 HAS SOUPS 526829 WITH SCORE 531257.068
AT ITER 5109 NEW BEST:: SOT 5172970 SOS 4427990 HAS SOPS 4267531 HAS SOUS 529419 HAS SOUPS 526751 WITH SCORE 531178.99
AT ITER 5133 NEW BEST:: SOT 5172813 SOS 4427833 HAS SOPS 4267374 HAS SOUS 529262 HAS SOUPS 526594 WITH SCORE 531021.833
AT ITER 5150 NEW BEST:: SOT 5172805 SOS 4427825 HAS SOPS 4267366 HAS SOUS 529254 HAS SOUPS 526586 WITH SCORE 531013.825
AT ITER 5179 NEW BEST:: SOT 5172671 SOS 4427691 HAS SOPS 4267232 HAS SOUS 528902 HAS SOUPS 526234 WITH SCORE 530661.691
AT ITER 5212 NEW BEST:: SOT 5172665 SOS 4427685 HAS SOPS 4267226 HAS SOUS 528896 HAS SOUPS 526228 WITH SCORE 530655.685
AT ITER 5217 NEW BEST:: SOT 5172657 SOS 4427677 HAS SOPS 4267218 HAS SOUS 528888 HAS SOUPS 526220 WITH SCORE 530647.677
AT ITER 5222 NEW BEST:: SOT 5172697 SOS 4427717 HAS SOPS 4267258 HAS SOUS 528748 HAS SOUPS 526080 WITH SCORE 530507.717
AT ITER 5239 NEW BEST:: SOT 5172105 SOS 4427156 HAS SOPS 4266666 HAS SOUS 528707 HAS SOUPS 526008 WITH SCORE 530435.156
AT ITER 5264 NEW BEST:: SOT 5172105 SOS 4427156 HAS SOPS 4266666 HAS SOUS 528704 HAS SOUPS 526005 WITH SCORE 530432.156
AT ITER 5279 NEW BEST:: SOT 5172105 SOS 4403901 HAS SOPS 4243411 HAS SOUS 528704 HAS SOUPS 526005 WITH SCORE 530408.901
AT ITER 5284 NEW BEST:: SOT 5171941 SOS 4403737 HAS SOPS 4243247 HAS SOUS 528540 HAS SOUPS 525841 WITH SCORE 530244.737
AT ITER 5300 NEW BEST:: SOT 5171635 SOS 4403431 HAS SOPS 4242941 HAS SOUS 528200 HAS SOUPS 525501 WITH SCORE 529904.431
AT ITER 5335 NEW BEST:: SOT 5171543 SOS 4403339 HAS SOPS 4242849 HAS SOUS 528092 HAS SOUPS 525393 WITH SCORE 529796.339
AT ITER 5368 NEW BEST:: SOT 5171543 SOS 4403339 HAS SOPS 4242849 HAS SOUS 528040 HAS SOUPS 525341 WITH SCORE 529744.339
AT ITER 5464 NEW BEST:: SOT 5171362 SOS 4403158 HAS SOPS 4242668 HAS SOUS 526669 HAS SOUPS 523970 WITH SCORE 528373.158
AT ITER 5501 NEW BEST:: SOT 5171362 SOS 4403158 HAS SOPS 4242668 HAS SOUS 526667 HAS SOUPS 523968 WITH SCORE 528371.158
AT ITER 5502 NEW BEST:: SOT 5170604 SOS 4402400 HAS SOPS 4241910 HAS SOUS 524347 HAS SOUPS 521648 WITH SCORE 526050.4
AT ITER 5533 NEW BEST:: SOT 5170604 SOS 4402398 HAS SOPS 4241908 HAS SOUS 524343 HAS SOUPS 521644 WITH SCORE 526046.398
AT ITER 5601 NEW BEST:: SOT 5170510 SOS 4402304 HAS SOPS 4241814 HAS SOUS 524235 HAS SOUPS 521536 WITH SCORE 525938.304
AT ITER 5602 NEW BEST:: SOT 5170510 SOS 4402304 HAS SOPS 4241814 HAS SOUS 524229 HAS SOUPS 521530 WITH SCORE 525932.304
AT ITER 5656 NEW BEST:: SOT 5170510 SOS 4402304 HAS SOPS 4241814 HAS SOUS 524210 HAS SOUPS 521511 WITH SCORE 525913.304
AT ITER 5676 NEW BEST:: SOT 5170510 SOS 4402298 HAS SOPS 4241808 HAS SOUS 524170 HAS SOUPS 521471 WITH SCORE 525873.298
AT ITER 5711 NEW BEST:: SOT 5170484 SOS 4402272 HAS SOPS 4241782 HAS SOUS 524131 HAS SOUPS 521432 WITH SCORE 525834.272
AT ITER 5726 NEW BEST:: SOT 5170666 SOS 4402454 HAS SOPS 4241964 HAS SOUS 523949 HAS SOUPS 521250 WITH SCORE 525652.454
AT ITER 5744 NEW BEST:: SOT 5170631 SOS 4402419 HAS SOPS 4241929 HAS SOUS 523914 HAS SOUPS 521215 WITH SCORE 525617.419
AT ITER 5747 NEW BEST:: SOT 5170631 SOS 4403159 HAS SOPS 4246829 HAS SOUS 523911 HAS SOUPS 521212 WITH SCORE 525615.159
AT ITER 5771 NEW BEST:: SOT 5170732 SOS 4403260 HAS SOPS 4246930 HAS SOUS 523629 HAS SOUPS 520930 WITH SCORE 525333.26
AT ITER 5796 NEW BEST:: SOT 5170732 SOS 4403259 HAS SOPS 4246929 HAS SOUS 523629 HAS SOUPS 520930 WITH SCORE 525333.259
AT ITER 5800 NEW BEST:: SOT 5170732 SOS 4403259 HAS SOPS 4246929 HAS SOUS 523575 HAS SOUPS 520876 WITH SCORE 525279.259
AT ITER 5802 NEW BEST:: SOT 5169790 SOS 4402315 HAS SOPS 4245985 HAS SOUS 522632 HAS SOUPS 519933 WITH SCORE 524335.315
AT ITER 5879 NEW BEST:: SOT 5169550 SOS 4402075 HAS SOPS 4245745 HAS SOUS 522363 HAS SOUPS 519664 WITH SCORE 524066.075
AT ITER 5888 NEW BEST:: SOT 5169507 SOS 4402032 HAS SOPS 4245702 HAS SOUS 522320 HAS SOUPS 519621 WITH SCORE 524023.032
AT ITER 5892 NEW BEST:: SOT 5169499 SOS 4402040 HAS SOPS 4245710 HAS SOUS 522318 HAS SOUPS 519619 WITH SCORE 524021.04
AT ITER 5893 NEW BEST:: SOT 5169461 SOS 4402006 HAS SOPS 4245676 HAS SOUS 522259 HAS SOUPS 519560 WITH SCORE 523962.006
AT ITER 5897 NEW BEST:: SOT 5169479 SOS 4402024 HAS SOPS 4245694 HAS SOUS 522241 HAS SOUPS 519542 WITH SCORE 523944.024
AT ITER 5949 NEW BEST:: SOT 5169479 SOS 4402024 HAS SOPS 4245694 HAS SOUS 522238 HAS SOUPS 519539 WITH SCORE 523941.024
AT ITER 5956 NEW BEST:: SOT 5169542 SOS 4402145 HAS SOPS 4245757 HAS SOUS 521447 HAS SOUPS 518690 WITH SCORE 523092.145
AT ITER 5975 NEW BEST:: SOT 5169460 SOS 4402063 HAS SOPS 4245675 HAS SOUS 521395 HAS SOUPS 518638 WITH SCORE 523040.063
AT ITER 6008 NEW BEST:: SOT 5168152 SOS 4399470 HAS SOPS 4242955 HAS SOUS 519994 HAS SOUPS 517110 WITH SCORE 521509.47
AT ITER 6040 NEW BEST:: SOT 5168050 SOS 4399376 HAS SOPS 4242861 HAS SOUS 519910 HAS SOUPS 517026 WITH SCORE 521425.376
AT ITER 6046 NEW BEST:: SOT 5168296 SOS 4399622 HAS SOPS 4243107 HAS SOUS 519696 HAS SOUPS 516812 WITH SCORE 521211.622
AT ITER 6082 NEW BEST:: SOT 5167105 SOS 4397192 HAS SOPS 4240625 HAS SOUS 517682 HAS SOUPS 514746 WITH SCORE 519143.192
AT ITER 6172 NEW BEST:: SOT 5167112 SOS 4397199 HAS SOPS 4240632 HAS SOUS 517639 HAS SOUPS 514703 WITH SCORE 519100.199
AT ITER 6187 NEW BEST:: SOT 5167112 SOS 4397199 HAS SOPS 4240632 HAS SOUS 517632 HAS SOUPS 514696 WITH SCORE 519093.199
AT ITER 6188 NEW BEST:: SOT 5167112 SOS 4397199 HAS SOPS 4240632 HAS SOUS 517596 HAS SOUPS 514660 WITH SCORE 519057.199
AT ITER 6189 NEW BEST:: SOT 5167112 SOS 4397199 HAS SOPS 4240632 HAS SOUS 517594 HAS SOUPS 514658 WITH SCORE 519055.199
AT ITER 6208 NEW BEST:: SOT 5167112 SOS 4397199 HAS SOPS 4240632 HAS SOUS 517585 HAS SOUPS 514649 WITH SCORE 519046.199
AT ITER 6230 NEW BEST:: SOT 5167086 SOS 4397173 HAS SOPS 4240606 HAS SOUS 517559 HAS SOUPS 514623 WITH SCORE 519020.173
AT ITER 6240 NEW BEST:: SOT 5167005 SOS 4397092 HAS SOPS 4240606 HAS SOUS 517316 HAS SOUPS 514461 WITH SCORE 518858.092
AT ITER 6263 NEW BEST:: SOT 5167005 SOS 4397092 HAS SOPS 4240606 HAS SOUS 517314 HAS SOUPS 514459 WITH SCORE 518856.092
AT ITER 6277 NEW BEST:: SOT 5167005 SOS 4396998 HAS SOPS 4240512 HAS SOUS 517314 HAS SOUPS 514459 WITH SCORE 518855.998
AT ITER 6278 NEW BEST:: SOT 5167005 SOS 4396874 HAS SOPS 4240388 HAS SOUS 517314 HAS SOUPS 514459 WITH SCORE 518855.874
AT ITER 6320 NEW BEST:: SOT 5166933 SOS 4396788 HAS SOPS 4240302 HAS SOUS 517194 HAS SOUPS 514339 WITH SCORE 518735.788
AT ITER 6341 NEW BEST:: SOT 5166933 SOS 4396788 HAS SOPS 4240302 HAS SOUS 517176 HAS SOUPS 514321 WITH SCORE 518717.788
AT ITER 6344 NEW BEST:: SOT 5166754 SOS 4396609 HAS SOPS 4240123 HAS SOUS 516915 HAS SOUPS 514060 WITH SCORE 518456.609
AT ITER 6365 NEW BEST:: SOT 5166639 SOS 4396468 HAS SOPS 4240008 HAS SOUS 516240 HAS SOUPS 513411 WITH SCORE 517807.468
AT ITER 6367 NEW BEST:: SOT 5166639 SOS 4396468 HAS SOPS 4240008 HAS SOUS 516238 HAS SOUPS 513409 WITH SCORE 517805.468
AT ITER 6400 NEW BEST:: SOT 5166491 SOS 4396320 HAS SOPS 4239860 HAS SOUS 516034 HAS SOUPS 513205 WITH SCORE 517601.32
AT ITER 6406 NEW BEST:: SOT 5166371 SOS 4396200 HAS SOPS 4239740 HAS SOUS 515914 HAS SOUPS 513085 WITH SCORE 517481.2
AT ITER 6409 NEW BEST:: SOT 5166367 SOS 4396196 HAS SOPS 4239736 HAS SOUS 515819 HAS SOUPS 512990 WITH SCORE 517386.196
AT ITER 6419 NEW BEST:: SOT 5166405 SOS 4396234 HAS SOPS 4239774 HAS SOUS 515781 HAS SOUPS 512952 WITH SCORE 517348.234
AT ITER 6421 NEW BEST:: SOT 5166405 SOS 4397394 HAS SOPS 4240154 HAS SOUS 515780 HAS SOUPS 512950 WITH SCORE 517347.394
AT ITER 6436 NEW BEST:: SOT 5166405 SOS 4397350 HAS SOPS 4240110 HAS SOUS 515780 HAS SOUPS 512950 WITH SCORE 517347.35
AT ITER 6476 NEW BEST:: SOT 5166333 SOS 4397278 HAS SOPS 4240038 HAS SOUS 515694 HAS SOUPS 512864 WITH SCORE 517261.278
AT ITER 6501 NEW BEST:: SOT 5166318 SOS 4397263 HAS SOPS 4240023 HAS SOUS 515679 HAS SOUPS 512849 WITH SCORE 517246.263
AT ITER 6516 NEW BEST:: SOT 5165938 SOS 4396845 HAS SOPS 4239643 HAS SOUS 515156 HAS SOUPS 512364 WITH SCORE 516760.845
AT ITER 6560 NEW BEST:: SOT 5165526 SOS 4396433 HAS SOPS 4239231 HAS SOUS 514698 HAS SOUPS 511906 WITH SCORE 516302.433
AT ITER 6565 NEW BEST:: SOT 5165574 SOS 4396481 HAS SOPS 4239279 HAS SOUS 514532 HAS SOUPS 511740 WITH SCORE 516136.481
AT ITER 6598 NEW BEST:: SOT 5165574 SOS 4396463 HAS SOPS 4239261 HAS SOUS 514532 HAS SOUPS 511740 WITH SCORE 516136.463
AT ITER 6608 NEW BEST:: SOT 5165567 SOS 4396456 HAS SOPS 4239254 HAS SOUS 514525 HAS SOUPS 511733 WITH SCORE 516129.456
AT ITER 6619 NEW BEST:: SOT 5165475 SOS 4396364 HAS SOPS 4239162 HAS SOUS 514392 HAS SOUPS 511600 WITH SCORE 515996.364
AT ITER 6666 NEW BEST:: SOT 5165441 SOS 4396330 HAS SOPS 4239128 HAS SOUS 514358 HAS SOUPS 511566 WITH SCORE 515962.33
AT ITER 6680 NEW BEST:: SOT 5165366 SOS 4396255 HAS SOPS 4239053 HAS SOUS 514283 HAS SOUPS 511491 WITH SCORE 515887.255
AT ITER 6700 NEW BEST:: SOT 5165343 SOS 4396213 HAS SOPS 4239011 HAS SOUS 514259 HAS SOUPS 511467 WITH SCORE 515863.213
AT ITER 6711 NEW BEST:: SOT 5165343 SOS 4396213 HAS SOPS 4239011 HAS SOUS 514210 HAS SOUPS 511418 WITH SCORE 515814.213
AT ITER 6721 NEW BEST:: SOT 5165271 SOS 4396141 HAS SOPS 4238939 HAS SOUS 514109 HAS SOUPS 511317 WITH SCORE 515713.141
AT ITER 6728 NEW BEST:: SOT 5165271 SOS 4396141 HAS SOPS 4238939 HAS SOUS 514108 HAS SOUPS 511316 WITH SCORE 515712.141
AT ITER 6754 NEW BEST:: SOT 5165271 SOS 4384284 HAS SOPS 4227082 HAS SOUS 513504 HAS SOUPS 510712 WITH SCORE 515096.284
AT ITER 6771 NEW BEST:: SOT 5165163 SOS 4384176 HAS SOPS 4226974 HAS SOUS 513396 HAS SOUPS 510604 WITH SCORE 514988.176
AT ITER 6791 NEW BEST:: SOT 5165159 SOS 4384172 HAS SOPS 4226970 HAS SOUS 513392 HAS SOUPS 510600 WITH SCORE 514984.172
AT ITER 6796 NEW BEST:: SOT 5165297 SOS 4384310 HAS SOPS 4227108 HAS SOUS 513254 HAS SOUPS 510462 WITH SCORE 514846.31
AT ITER 6825 NEW BEST:: SOT 5165267 SOS 4384280 HAS SOPS 4227078 HAS SOUS 513230 HAS SOUPS 510438 WITH SCORE 514822.28
AT ITER 6834 NEW BEST:: SOT 5165177 SOS 4384184 HAS SOPS 4226982 HAS SOUS 513044 HAS SOUPS 510252 WITH SCORE 514636.184
AT ITER 6840 NEW BEST:: SOT 5165173 SOS 4384180 HAS SOPS 4226978 HAS SOUS 513040 HAS SOUPS 510248 WITH SCORE 514632.18
AT ITER 6862 NEW BEST:: SOT 5165173 SOS 4384121 HAS SOPS 4249339 HAS SOUS 512981 HAS SOUPS 510189 WITH SCORE 514573.121
AT ITER 6886 NEW BEST:: SOT 5165066 SOS 4384014 HAS SOPS 4249232 HAS SOUS 512828 HAS SOUPS 510036 WITH SCORE 514420.014
AT ITER 6901 NEW BEST:: SOT 5165070 SOS 4384032 HAS SOPS 4249250 HAS SOUS 512778 HAS SOUPS 509986 WITH SCORE 514370.032
AT ITER 6927 NEW BEST:: SOT 5164994 SOS 4383956 HAS SOPS 4249174 HAS SOUS 512702 HAS SOUPS 509910 WITH SCORE 514293.956
AT ITER 6957 NEW BEST:: SOT 5164956 SOS 4383918 HAS SOPS 4249136 HAS SOUS 512702 HAS SOUPS 509910 WITH SCORE 514293.918
AT ITER 6992 NEW BEST:: SOT 5164956 SOS 4383918 HAS SOPS 4249136 HAS SOUS 512700 HAS SOUPS 509908 WITH SCORE 514291.918
AT ITER 7010 NEW BEST:: SOT 5164956 SOS 4383918 HAS SOPS 4249150 HAS SOUS 512540 HAS SOUPS 509762 WITH SCORE 514145.918
AT ITER 7021 NEW BEST:: SOT 5165235 SOS 4390072 HAS SOPS 4255304 HAS SOUS 512503 HAS SOUPS 509725 WITH SCORE 514115.072
AT ITER 7029 NEW BEST:: SOT 5165151 SOS 4389950 HAS SOPS 4255220 HAS SOUS 512354 HAS SOUPS 509614 WITH SCORE 514003.95
AT ITER 7058 NEW BEST:: SOT 5164994 SOS 4389793 HAS SOPS 4255063 HAS SOUS 512156 HAS SOUPS 509416 WITH SCORE 513805.793
AT ITER 7059 NEW BEST:: SOT 5164994 SOS 4389829 HAS SOPS 4255099 HAS SOUS 512155 HAS SOUPS 509415 WITH SCORE 513804.829
AT ITER 7114 NEW BEST:: SOT 5164994 SOS 4389829 HAS SOPS 4255099 HAS SOUS 512117 HAS SOUPS 509377 WITH SCORE 513766.829
AT ITER 7116 NEW BEST:: SOT 5164990 SOS 4389825 HAS SOPS 4255095 HAS SOUS 512105 HAS SOUPS 509365 WITH SCORE 513754.825
AT ITER 7126 NEW BEST:: SOT 5165005 SOS 4389840 HAS SOPS 4255110 HAS SOUS 512077 HAS SOUPS 509337 WITH SCORE 513726.84
AT ITER 7148 NEW BEST:: SOT 5164966 SOS 4389803 HAS SOPS 4255071 HAS SOUS 512023 HAS SOUPS 509281 WITH SCORE 513670.803
AT ITER 7154 NEW BEST:: SOT 5164409 SOS 4390470 HAS SOPS 4255738 HAS SOUS 511517 HAS SOUPS 508775 WITH SCORE 513165.47
AT ITER 7197 NEW BEST:: SOT 5164323 SOS 4390384 HAS SOPS 4255652 HAS SOUS 511410 HAS SOUPS 508668 WITH SCORE 513058.384
AT ITER 7218 NEW BEST:: SOT 5164541 SOS 4390600 HAS SOPS 4255948 HAS SOUS 511006 HAS SOUPS 508344 WITH SCORE 512734.6
AT ITER 7221 NEW BEST:: SOT 5164541 SOS 4390592 HAS SOPS 4255940 HAS SOUS 510998 HAS SOUPS 508336 WITH SCORE 512726.592
AT ITER 7231 NEW BEST:: SOT 5164528 SOS 4390579 HAS SOPS 4255927 HAS SOUS 510790 HAS SOUPS 508128 WITH SCORE 512518.579
AT ITER 7240 NEW BEST:: SOT 5164718 SOS 4390769 HAS SOPS 4256117 HAS SOUS 510628 HAS SOUPS 507966 WITH SCORE 512356.769
AT ITER 7244 NEW BEST:: SOT 5164718 SOS 4390733 HAS SOPS 4256081 HAS SOUS 510627 HAS SOUPS 507965 WITH SCORE 512355.733
AT ITER 7246 NEW BEST:: SOT 5164796 SOS 4390811 HAS SOPS 4256159 HAS SOUS 510549 HAS SOUPS 507887 WITH SCORE 512277.811
AT ITER 7256 NEW BEST:: SOT 5164787 SOS 4390802 HAS SOPS 4256150 HAS SOUS 510540 HAS SOUPS 507878 WITH SCORE 512268.802
AT ITER 7259 NEW BEST:: SOT 5164723 SOS 4390738 HAS SOPS 4256086 HAS SOUS 510476 HAS SOUPS 507814 WITH SCORE 512204.738
AT ITER 7269 NEW BEST:: SOT 5164713 SOS 4390782 HAS SOPS 4256133 HAS SOUS 510403 HAS SOUPS 507744 WITH SCORE 512134.782
AT ITER 7301 NEW BEST:: SOT 5164537 SOS 4390596 HAS SOPS 4255957 HAS SOUS 510007 HAS SOUPS 507358 WITH SCORE 511748.596
AT ITER 7324 NEW BEST:: SOT 5164475 SOS 4390534 HAS SOPS 4255895 HAS SOUS 509945 HAS SOUPS 507296 WITH SCORE 511686.534
AT ITER 7348 NEW BEST:: SOT 5164475 SOS 4390534 HAS SOPS 4255895 HAS SOUS 509926 HAS SOUPS 507277 WITH SCORE 511667.534
AT ITER 7375 NEW BEST:: SOT 5164404 SOS 4390445 HAS SOPS 4255824 HAS SOUS 509818 HAS SOUPS 507187 WITH SCORE 511577.445
AT ITER 7388 NEW BEST:: SOT 5163884 SOS 4389885 HAS SOPS 4255264 HAS SOUS 509282 HAS SOUPS 506651 WITH SCORE 511040.885
AT ITER 7405 NEW BEST:: SOT 5163884 SOS 4389885 HAS SOPS 4255264 HAS SOUS 509278 HAS SOUPS 506647 WITH SCORE 511036.885
AT ITER 7443 NEW BEST:: SOT 5163761 SOS 4389670 HAS SOPS 4255115 HAS SOUS 509094 HAS SOUPS 506529 WITH SCORE 510918.67
AT ITER 7472 NEW BEST:: SOT 5163758 SOS 4389659 HAS SOPS 4255104 HAS SOUS 509031 HAS SOUPS 506466 WITH SCORE 510855.659
AT ITER 7541 NEW BEST:: SOT 5163767 SOS 4389668 HAS SOPS 4255113 HAS SOUS 509022 HAS SOUPS 506457 WITH SCORE 510846.668
AT ITER 7545 NEW BEST:: SOT 5163768 SOS 4389669 HAS SOPS 4255114 HAS SOUS 509021 HAS SOUPS 506456 WITH SCORE 510845.669
AT ITER 7549 NEW BEST:: SOT 5164229 SOS 4390130 HAS SOPS 4255575 HAS SOUS 507713 HAS SOUPS 505148 WITH SCORE 509538.13
AT ITER 7557 NEW BEST:: SOT 5164228 SOS 4390129 HAS SOPS 4255575 HAS SOUS 507691 HAS SOUPS 505127 WITH SCORE 509517.129
AT ITER 7581 NEW BEST:: SOT 5164267 SOS 4390168 HAS SOPS 4255614 HAS SOUS 507679 HAS SOUPS 505115 WITH SCORE 509505.168
AT ITER 7609 NEW BEST:: SOT 5164007 SOS 4389908 HAS SOPS 4255354 HAS SOUS 507308 HAS SOUPS 504744 WITH SCORE 509133.908
AT ITER 7633 NEW BEST:: SOT 5163976 SOS 4389877 HAS SOPS 4255323 HAS SOUS 507277 HAS SOUPS 504713 WITH SCORE 509102.877
AT ITER 7639 NEW BEST:: SOT 5164197 SOS 4390098 HAS SOPS 4255544 HAS SOUS 507260 HAS SOUPS 504696 WITH SCORE 509086.098
AT ITER 7648 NEW BEST:: SOT 5164197 SOS 4390898 HAS SOPS 4259344 HAS SOUS 507253 HAS SOUPS 504689 WITH SCORE 509079.898
AT ITER 7676 NEW BEST:: SOT 5164581 SOS 4391282 HAS SOPS 4259728 HAS SOUS 506991 HAS SOUPS 504427 WITH SCORE 508818.282
AT ITER 7735 NEW BEST:: SOT 5164580 SOS 4391281 HAS SOPS 4259727 HAS SOUS 506990 HAS SOUPS 504426 WITH SCORE 508817.281
AT ITER 7755 NEW BEST:: SOT 5164580 SOS 4391281 HAS SOPS 4259727 HAS SOUS 506989 HAS SOUPS 504425 WITH SCORE 508816.281
AT ITER 7812 NEW BEST:: SOT 5164635 SOS 4391336 HAS SOPS 4259782 HAS SOUS 506828 HAS SOUPS 504264 WITH SCORE 508655.336
AT ITER 7823 NEW BEST:: SOT 5164635 SOS 4391336 HAS SOPS 4259782 HAS SOUS 506822 HAS SOUPS 504258 WITH SCORE 508649.336
AT ITER 7834 NEW BEST:: SOT 5164609 SOS 4391310 HAS SOPS 4259756 HAS SOUS 506810 HAS SOUPS 504246 WITH SCORE 508637.31
AT ITER 7850 NEW BEST:: SOT 5164609 SOS 4391310 HAS SOPS 4259756 HAS SOUS 506808 HAS SOUPS 504244 WITH SCORE 508635.31
AT ITER 7854 NEW BEST:: SOT 5163669 SOS 4390323 HAS SOPS 4258816 HAS SOUS 505868 HAS SOUPS 503351 WITH SCORE 507741.323
AT ITER 7916 NEW BEST:: SOT 5163624 SOS 4390238 HAS SOPS 4258771 HAS SOUS 505775 HAS SOUPS 503298 WITH SCORE 507688.238
AT ITER 7926 NEW BEST:: SOT 5163612 SOS 4390226 HAS SOPS 4258759 HAS SOUS 505771 HAS SOUPS 503294 WITH SCORE 507684.226
AT ITER 7946 NEW BEST:: SOT 5163612 SOS 4382220 HAS SOPS 4227654 HAS SOUS 504878 HAS SOUPS 502401 WITH SCORE 506783.22
AT ITER 7974 NEW BEST:: SOT 5163612 SOS 4382210 HAS SOPS 4227644 HAS SOUS 504871 HAS SOUPS 502394 WITH SCORE 506776.21
AT ITER 8051 NEW BEST:: SOT 5164453 SOS 4383049 HAS SOPS 4228485 HAS SOUS 504652 HAS SOUPS 502177 WITH SCORE 506560.049
AT ITER 8080 NEW BEST:: SOT 5164453 SOS 4375489 HAS SOPS 4220925 HAS SOUS 504652 HAS SOUPS 502177 WITH SCORE 506552.489
AT ITER 8128 NEW BEST:: SOT 5164453 SOS 4375489 HAS SOPS 4220925 HAS SOUS 504620 HAS SOUPS 502145 WITH SCORE 506520.489
AT ITER 8160 NEW BEST:: SOT 5164325 SOS 4375361 HAS SOPS 4220797 HAS SOUS 504490 HAS SOUPS 502015 WITH SCORE 506390.361
AT ITER 8162 NEW BEST:: SOT 5163615 SOS 4374697 HAS SOPS 4220133 HAS SOUS 504466 HAS SOUPS 501991 WITH SCORE 506365.697
AT ITER 8164 NEW BEST:: SOT 5163601 SOS 4374683 HAS SOPS 4220119 HAS SOUS 504452 HAS SOUPS 501977 WITH SCORE 506351.683
AT ITER 8184 NEW BEST:: SOT 5163601 SOS 4367879 HAS SOPS 4213315 HAS SOUS 504452 HAS SOUPS 501977 WITH SCORE 506344.879
AT ITER 8194 NEW BEST:: SOT 5163601 SOS 4369800 HAS SOPS 4215704 HAS SOUS 504384 HAS SOUPS 501909 WITH SCORE 506278.8
AT ITER 8198 NEW BEST:: SOT 5163403 SOS 4369602 HAS SOPS 4215506 HAS SOUS 504188 HAS SOUPS 501713 WITH SCORE 506082.602
AT ITER 8243 NEW BEST:: SOT 5163403 SOS 4369602 HAS SOPS 4215506 HAS SOUS 504186 HAS SOUPS 501711 WITH SCORE 506080.602
AT ITER 8256 NEW BEST:: SOT 5163403 SOS 4370435 HAS SOPS 4216339 HAS SOUS 504088 HAS SOUPS 501613 WITH SCORE 505983.435
AT ITER 8283 NEW BEST:: SOT 5163403 SOS 4370435 HAS SOPS 4216339 HAS SOUS 504087 HAS SOUPS 501612 WITH SCORE 505982.435
AT ITER 8287 NEW BEST:: SOT 5163222 SOS 4370232 HAS SOPS 4216158 HAS SOUS 503875 HAS SOUPS 501422 WITH SCORE 505792.232
AT ITER 8315 NEW BEST:: SOT 5163222 SOS 4370203 HAS SOPS 4216189 HAS SOUS 503817 HAS SOUPS 501367 WITH SCORE 505737.203
AT ITER 8320 NEW BEST:: SOT 5163222 SOS 4370203 HAS SOPS 4217729 HAS SOUS 503793 HAS SOUPS 501343 WITH SCORE 505713.203
AT ITER 8358 NEW BEST:: SOT 5163156 SOS 4370090 HAS SOPS 4217663 HAS SOUS 503654 HAS SOUPS 501251 WITH SCORE 505621.09
AT ITER 8365 NEW BEST:: SOT 5163082 SOS 4370068 HAS SOPS 4217641 HAS SOUS 503521 HAS SOUPS 501118 WITH SCORE 505488.068
AT ITER 8394 NEW BEST:: SOT 5163230 SOS 4370216 HAS SOPS 4217789 HAS SOUS 502997 HAS SOUPS 500594 WITH SCORE 504964.216
AT ITER 8413 NEW BEST:: SOT 5163230 SOS 4370216 HAS SOPS 4217789 HAS SOUS 502982 HAS SOUPS 500579 WITH SCORE 504949.216
AT ITER 8436 NEW BEST:: SOT 5163230 SOS 4370207 HAS SOPS 4217780 HAS SOUS 502982 HAS SOUPS 500579 WITH SCORE 504949.207
AT ITER 8440 NEW BEST:: SOT 5163331 SOS 4370308 HAS SOPS 4217881 HAS SOUS 502684 HAS SOUPS 500281 WITH SCORE 504651.308
AT ITER 8446 NEW BEST:: SOT 5163282 SOS 4370259 HAS SOPS 4217832 HAS SOUS 502631 HAS SOUPS 500228 WITH SCORE 504598.259
AT ITER 8462 NEW BEST:: SOT 5163244 SOS 4370221 HAS SOPS 4217794 HAS SOUS 502593 HAS SOUPS 500190 WITH SCORE 504560.221
AT ITER 8499 NEW BEST:: SOT 5163199 SOS 4370142 HAS SOPS 4217749 HAS SOUS 502458 HAS SOUPS 500089 WITH SCORE 504459.142
AT ITER 8500 NEW BEST:: SOT 5163177 SOS 4370098 HAS SOPS 4217727 HAS SOUS 502414 HAS SOUPS 500067 WITH SCORE 504437.098
AT ITER 8532 NEW BEST:: SOT 5163177 SOS 4370098 HAS SOPS 4217727 HAS SOUS 502410 HAS SOUPS 500063 WITH SCORE 504433.098
AT ITER 8556 NEW BEST:: SOT 5163177 SOS 4333080 HAS SOPS 4178612 HAS SOUS 502409 HAS SOUPS 500062 WITH SCORE 504395.08
AT ITER 8561 NEW BEST:: SOT 5163177 SOS 4333080 HAS SOPS 4178612 HAS SOUS 502398 HAS SOUPS 500051 WITH SCORE 504384.08
AT ITER 8575 NEW BEST:: SOT 5163170 SOS 4333073 HAS SOPS 4178605 HAS SOUS 502391 HAS SOUPS 500044 WITH SCORE 504377.073
AT ITER 8585 NEW BEST:: SOT 5163170 SOS 4333940 HAS SOPS 4179472 HAS SOUS 502340 HAS SOUPS 499993 WITH SCORE 504326.94
AT ITER 8600 NEW BEST:: SOT 5163196 SOS 4333949 HAS SOPS 4179498 HAS SOUS 502202 HAS SOUPS 499872 WITH SCORE 504205.949
AT ITER 8623 NEW BEST:: SOT 5163306 SOS 4334059 HAS SOPS 4179608 HAS SOUS 502152 HAS SOUPS 499822 WITH SCORE 504156.059
AT ITER 8630 NEW BEST:: SOT 5162999 SOS 4334602 HAS SOPS 4180194 HAS SOUS 501800 HAS SOUPS 499513 WITH SCORE 503847.602
AT ITER 8644 NEW BEST:: SOT 5162999 SOS 4334601 HAS SOPS 4180553 HAS SOUS 501799 HAS SOUPS 499512 WITH SCORE 503846.601
AT ITER 8649 NEW BEST:: SOT 5163605 SOS 4335229 HAS SOPS 4181159 HAS SOUS 501000 HAS SOUPS 498691 WITH SCORE 503026.229
AT ITER 8650 NEW BEST:: SOT 5163605 SOS 4335229 HAS SOPS 4181159 HAS SOUS 500999 HAS SOUPS 498690 WITH SCORE 503025.229
AT ITER 8654 NEW BEST:: SOT 5163605 SOS 4335229 HAS SOPS 4181159 HAS SOUS 500841 HAS SOUPS 498532 WITH SCORE 502867.229
AT ITER 8661 NEW BEST:: SOT 5163605 SOS 4335229 HAS SOPS 4181159 HAS SOUS 500808 HAS SOUPS 498499 WITH SCORE 502834.229
AT ITER 8663 NEW BEST:: SOT 5163605 SOS 4328425 HAS SOPS 4174355 HAS SOUS 500808 HAS SOUPS 498499 WITH SCORE 502827.425
AT ITER 8730 NEW BEST:: SOT 5161063 SOS 4325883 HAS SOPS 4171813 HAS SOUS 498266 HAS SOUPS 495957 WITH SCORE 500282.883
AT ITER 8742 NEW BEST:: SOT 5161063 SOS 4325883 HAS SOPS 4171813 HAS SOUS 498242 HAS SOUPS 495933 WITH SCORE 500258.883
AT ITER 8744 NEW BEST:: SOT 5160344 SOS 4325164 HAS SOPS 4171094 HAS SOUS 497447 HAS SOUPS 495138 WITH SCORE 499463.164
AT ITER 8765 NEW BEST:: SOT 5160233 SOS 4325053 HAS SOPS 4170983 HAS SOUS 497336 HAS SOUPS 495027 WITH SCORE 499352.053
AT ITER 8772 NEW BEST:: SOT 5160265 SOS 4324313 HAS SOPS 4170157 HAS SOUS 496627 HAS SOUPS 494232 WITH SCORE 498556.313
AT ITER 8783 NEW BEST:: SOT 5160255 SOS 4324303 HAS SOPS 4170147 HAS SOUS 496557 HAS SOUPS 494162 WITH SCORE 498486.303
AT ITER 8786 NEW BEST:: SOT 5160179 SOS 4324227 HAS SOPS 4170071 HAS SOUS 496481 HAS SOUPS 494086 WITH SCORE 498410.227
AT ITER 8798 NEW BEST:: SOT 5160303 SOS 4324351 HAS SOPS 4170192 HAS SOUS 496137 HAS SOUPS 493739 WITH SCORE 498063.351
AT ITER 8799 NEW BEST:: SOT 5160138 SOS 4324186 HAS SOPS 4170027 HAS SOUS 495924 HAS SOUPS 493526 WITH SCORE 497850.186
AT ITER 8818 NEW BEST:: SOT 5160138 SOS 4324186 HAS SOPS 4171405 HAS SOUS 495906 HAS SOUPS 493508 WITH SCORE 497832.186
AT ITER 8834 NEW BEST:: SOT 5160138 SOS 4324156 HAS SOPS 4171347 HAS SOUS 495906 HAS SOUPS 493508 WITH SCORE 497832.156
AT ITER 8835 NEW BEST:: SOT 5160138 SOS 4324156 HAS SOPS 4171347 HAS SOUS 495897 HAS SOUPS 493499 WITH SCORE 497823.156
AT ITER 8843 NEW BEST:: SOT 5160138 SOS 4324156 HAS SOPS 4171347 HAS SOUS 495894 HAS SOUPS 493496 WITH SCORE 497820.156
AT ITER 8867 NEW BEST:: SOT 5160101 SOS 4324091 HAS SOPS 4171310 HAS SOUS 495801 HAS SOUPS 493431 WITH SCORE 497755.091
AT ITER 8868 NEW BEST:: SOT 5160015 SOS 4324005 HAS SOPS 4171224 HAS SOUS 495715 HAS SOUPS 493345 WITH SCORE 497669.005
AT ITER 8877 NEW BEST:: SOT 5159840 SOS 4323830 HAS SOPS 4171049 HAS SOUS 495506 HAS SOUPS 493136 WITH SCORE 497459.83
AT ITER 8910 NEW BEST:: SOT 5159840 SOS 4323830 HAS SOPS 4171049 HAS SOUS 495494 HAS SOUPS 493124 WITH SCORE 497447.83
AT ITER 8926 NEW BEST:: SOT 5160062 SOS 4324052 HAS SOPS 4171271 HAS SOUS 495331 HAS SOUPS 492961 WITH SCORE 497285.052
AT ITER 8937 NEW BEST:: SOT 5160080 SOS 4324070 HAS SOPS 4171289 HAS SOUS 495315 HAS SOUPS 492945 WITH SCORE 497269.07
AT ITER 8948 NEW BEST:: SOT 5160001 SOS 4324009 HAS SOPS 4171228 HAS SOUS 495283 HAS SOUPS 492913 WITH SCORE 497237.009
AT ITER 9028 NEW BEST:: SOT 5159933 SOS 4323937 HAS SOPS 4171160 HAS SOUS 495215 HAS SOUPS 492849 WITH SCORE 497172.937
AT ITER 9037 NEW BEST:: SOT 5160102 SOS 4324168 HAS SOPS 4171414 HAS SOUS 495055 HAS SOUPS 492712 WITH SCORE 497036.168
AT ITER 9044 NEW BEST:: SOT 5160080 SOS 4324146 HAS SOPS 4171392 HAS SOUS 495022 HAS SOUPS 492679 WITH SCORE 497003.146
AT ITER 9056 NEW BEST:: SOT 5160053 SOS 4324119 HAS SOPS 4171365 HAS SOUS 494995 HAS SOUPS 492652 WITH SCORE 496976.119
AT ITER 9140 NEW BEST:: SOT 5160053 SOS 4324109 HAS SOPS 4171355 HAS SOUS 494995 HAS SOUPS 492652 WITH SCORE 496976.109
AT ITER 9177 NEW BEST:: SOT 5160081 SOS 4324137 HAS SOPS 4171383 HAS SOUS 494918 HAS SOUPS 492575 WITH SCORE 496899.137
AT ITER 9179 NEW BEST:: SOT 5160033 SOS 4324089 HAS SOPS 4171335 HAS SOUS 494846 HAS SOUPS 492503 WITH SCORE 496827.089
AT ITER 9194 NEW BEST:: SOT 5159939 SOS 4323995 HAS SOPS 4171241 HAS SOUS 494724 HAS SOUPS 492381 WITH SCORE 496704.995
AT ITER 9222 NEW BEST:: SOT 5159939 SOS 4323995 HAS SOPS 4171241 HAS SOUS 494716 HAS SOUPS 492373 WITH SCORE 496696.995
AT ITER 9291 NEW BEST:: SOT 5159886 SOS 4323942 HAS SOPS 4171188 HAS SOUS 494663 HAS SOUPS 492320 WITH SCORE 496643.942
AT ITER 9292 NEW BEST:: SOT 5159776 SOS 4323794 HAS SOPS 4171078 HAS SOUS 494474 HAS SOUPS 492169 WITH SCORE 496492.794
AT ITER 9313 NEW BEST:: SOT 5159776 SOS 4323794 HAS SOPS 4171078 HAS SOUS 494464 HAS SOUPS 492159 WITH SCORE 496482.794
AT ITER 9316 NEW BEST:: SOT 5159774 SOS 4323792 HAS SOPS 4171076 HAS SOUS 494458 HAS SOUPS 492153 WITH SCORE 496476.792
AT ITER 9320 NEW BEST:: SOT 5159774 SOS 4323788 HAS SOPS 4171072 HAS SOUS 494448 HAS SOUPS 492143 WITH SCORE 496466.788
AT ITER 9343 NEW BEST:: SOT 5159774 SOS 4325114 HAS SOPS 4172398 HAS SOUS 494292 HAS SOUPS 491987 WITH SCORE 496312.114
AT ITER 9346 NEW BEST:: SOT 5159735 SOS 4325075 HAS SOPS 4172359 HAS SOUS 494253 HAS SOUPS 491948 WITH SCORE 496273.075
AT ITER 9352 NEW BEST:: SOT 5159735 SOS 4296276 HAS SOPS 4082676 HAS SOUS 494269 HAS SOUPS 491916 WITH SCORE 496212.276
AT ITER 9366 NEW BEST:: SOT 5159735 SOS 4296276 HAS SOPS 4082676 HAS SOUS 494193 HAS SOUPS 491840 WITH SCORE 496136.276
AT ITER 9374 NEW BEST:: SOT 5159632 SOS 4296158 HAS SOPS 4082573 HAS SOUS 493769 HAS SOUPS 491431 WITH SCORE 495727.158
AT ITER 9378 NEW BEST:: SOT 5159632 SOS 4291244 HAS SOPS 4077659 HAS SOUS 493769 HAS SOUPS 491431 WITH SCORE 495722.244
AT ITER 9389 NEW BEST:: SOT 5159624 SOS 4291236 HAS SOPS 4077651 HAS SOUS 493753 HAS SOUPS 491415 WITH SCORE 495706.236
AT ITER 9396 NEW BEST:: SOT 5159624 SOS 4291236 HAS SOPS 4079331 HAS SOUS 493673 HAS SOUPS 491335 WITH SCORE 495626.236
AT ITER 9437 NEW BEST:: SOT 5159624 SOS 4291204 HAS SOPS 4079271 HAS SOUS 493673 HAS SOUPS 491335 WITH SCORE 495626.204
AT ITER 9464 NEW BEST:: SOT 5159624 SOS 4266274 HAS SOPS 4012697 HAS SOUS 493549 HAS SOUPS 491211 WITH SCORE 495477.274
AT ITER 9477 NEW BEST:: SOT 5159624 SOS 4265650 HAS SOPS 4012073 HAS SOUS 493549 HAS SOUPS 491211 WITH SCORE 495476.65
AT ITER 9478 NEW BEST:: SOT 5159624 SOS 4265526 HAS SOPS 4011949 HAS SOUS 493509 HAS SOUPS 491171 WITH SCORE 495436.526
AT ITER 9486 NEW BEST:: SOT 5159580 SOS 4265482 HAS SOPS 4011905 HAS SOUS 493453 HAS SOUPS 491115 WITH SCORE 495380.482
AT ITER 9499 NEW BEST:: SOT 5159580 SOS 4237227 HAS SOPS 3983650 HAS SOUS 493466 HAS SOUPS 491128 WITH SCORE 495365.227
AT ITER 9538 NEW BEST:: SOT 5159580 SOS 4237227 HAS SOPS 3983650 HAS SOUS 493459 HAS SOUPS 491121 WITH SCORE 495358.227
AT ITER 9546 NEW BEST:: SOT 5159580 SOS 4237227 HAS SOPS 3985345 HAS SOUS 493384 HAS SOUPS 491046 WITH SCORE 495283.227
AT ITER 9599 NEW BEST:: SOT 5159390 SOS 4237037 HAS SOPS 3985155 HAS SOUS 493106 HAS SOUPS 490768 WITH SCORE 495005.037
AT ITER 9603 NEW BEST:: SOT 5159376 SOS 4237023 HAS SOPS 3985141 HAS SOUS 492891 HAS SOUPS 490553 WITH SCORE 494790.023
AT ITER 9615 NEW BEST:: SOT 5159376 SOS 4206004 HAS SOPS 3948462 HAS SOUS 492811 HAS SOUPS 490473 WITH SCORE 494679.004
AT ITER 9661 NEW BEST:: SOT 5159141 SOS 4213729 HAS SOPS 3956435 HAS SOUS 492179 HAS SOUPS 490089 WITH SCORE 494302.729
AT ITER 9685 NEW BEST:: SOT 5159141 SOS 4213729 HAS SOPS 3956435 HAS SOUS 492176 HAS SOUPS 490086 WITH SCORE 494299.729
AT ITER 9733 NEW BEST:: SOT 5159141 SOS 4213894 HAS SOPS 3956600 HAS SOUS 492169 HAS SOUPS 490079 WITH SCORE 494292.894
AT ITER 9747 NEW BEST:: SOT 5159231 SOS 4213989 HAS SOPS 3956690 HAS SOUS 492164 HAS SOUPS 490069 WITH SCORE 494282.989
AT ITER 9752 NEW BEST:: SOT 5159231 SOS 4213989 HAS SOPS 3956690 HAS SOUS 492156 HAS SOUPS 490061 WITH SCORE 494274.989
AT ITER 9765 NEW BEST:: SOT 5159231 SOS 4213989 HAS SOPS 3956690 HAS SOUS 492154 HAS SOUPS 490059 WITH SCORE 494272.989
AT ITER 9792 NEW BEST:: SOT 5159230 SOS 4213988 HAS SOPS 3956689 HAS SOUS 492113 HAS SOUPS 490018 WITH SCORE 494231.988
AT ITER 9848 NEW BEST:: SOT 5159158 SOS 4213925 HAS SOPS 3956626 HAS SOUS 492050 HAS SOUPS 489955 WITH SCORE 494168.925
AT ITER 9875 NEW BEST:: SOT 5159158 SOS 4213923 HAS SOPS 3956624 HAS SOUS 492050 HAS SOUPS 489955 WITH SCORE 494168.923
AT ITER 9876 NEW BEST:: SOT 5159158 SOS 4213923 HAS SOPS 3956624 HAS SOUS 492049 HAS SOUPS 489954 WITH SCORE 494167.923
AT ITER 9890 NEW BEST:: SOT 5158394 SOS 4213045 HAS SOPS 3955746 HAS SOUS 491288 HAS SOUPS 489193 WITH SCORE 493406.045
AT ITER 9912 NEW BEST:: SOT 5159060 SOS 4213718 HAS SOPS 3956419 HAS SOUS 491205 HAS SOUPS 489110 WITH SCORE 493323.718
AT ITER 9936 NEW BEST:: SOT 5159054 SOS 4213712 HAS SOPS 3956413 HAS SOUS 491200 HAS SOUPS 489105 WITH SCORE 493318.712
AT ITER 9939 NEW BEST:: SOT 5159060 SOS 4213718 HAS SOPS 3956419 HAS SOUS 491194 HAS SOUPS 489099 WITH SCORE 493312.718
AT ITER 9947 NEW BEST:: SOT 5158167 SOS 4212825 HAS SOPS 3955526 HAS SOUS 490301 HAS SOUPS 488206 WITH SCORE 492418.825
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 12469752 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16116852 kB

BK_TIME_CONFINEMENT_REACHED

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

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="SafeBus-PT-20"
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"
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 smart"
echo " Input is SafeBus-PT-20, 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 r355-smll-167891803200296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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