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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.5K Feb 25 18:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 25 18:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 25 18:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 18:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:52 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:52 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.8K Feb 25 18:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 18:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 18:24 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 22K Feb 25 18:24 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:52 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:52 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 813K 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 1678410430034

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=DLCround-PT-06b
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-10 01:07:11] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-10 01:07:11] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-10 01:07:11] [INFO ] Load time of PNML (sax parser for PT used): 139 ms
[2023-03-10 01:07:11] [INFO ] Transformed 2340 places.
[2023-03-10 01:07:11] [INFO ] Transformed 3456 transitions.
[2023-03-10 01:07:11] [INFO ] Found NUPN structural information;
[2023-03-10 01:07:11] [INFO ] Parsed PT model containing 2340 places and 3456 transitions and 9288 arcs in 238 ms.
[2023-03-10 01:07:11] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 2340 places, 3456 transitions and 9288 arcs took 33 ms.
Total runtime 300 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 06b
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: 2340 places, 3456 transitions, 9288 arcs.
AT ITER 0 NEW BEST:: SOT 4957483 SOS 1097180 HAS SOPS 1097180 HAS SOUS 712843 HAS SOUPS 712843 WITH SCORE 713940.18
AT ITER 18 NEW BEST:: SOT 4957483 SOS 1097180 HAS SOPS 1097180 HAS SOUS 712717 HAS SOUPS 712717 WITH SCORE 713814.18
AT ITER 48 NEW BEST:: SOT 4957483 SOS 1097180 HAS SOPS 1097180 HAS SOUS 712716 HAS SOUPS 712716 WITH SCORE 713813.18
AT ITER 69 NEW BEST:: SOT 4957641 SOS 1097496 HAS SOPS 1097496 HAS SOUS 712652 HAS SOUPS 712652 WITH SCORE 713749.496
AT ITER 79 NEW BEST:: SOT 4957529 SOS 1097524 HAS SOPS 1097524 HAS SOUS 712624 HAS SOUPS 712624 WITH SCORE 713721.524
AT ITER 107 NEW BEST:: SOT 4957119 SOS 1097431 HAS SOPS 1097431 HAS SOUS 712531 HAS SOUPS 712531 WITH SCORE 713628.431
AT ITER 123 NEW BEST:: SOT 4957119 SOS 1098012 HAS SOPS 1098012 HAS SOUS 712530 HAS SOUPS 712530 WITH SCORE 713628.012
AT ITER 128 NEW BEST:: SOT 4956976 SOS 1098017 HAS SOPS 1098017 HAS SOUS 712484 HAS SOUPS 712484 WITH SCORE 713582.017
AT ITER 129 NEW BEST:: SOT 4956846 SOS 1098068 HAS SOPS 1098068 HAS SOUS 712405 HAS SOUPS 712405 WITH SCORE 713503.068
AT ITER 142 NEW BEST:: SOT 4956845 SOS 1098066 HAS SOPS 1098066 HAS SOUS 712403 HAS SOUPS 712403 WITH SCORE 713501.066
AT ITER 152 NEW BEST:: SOT 4956648 SOS 1097672 HAS SOPS 1097672 HAS SOUS 712205 HAS SOUPS 712205 WITH SCORE 713302.672
AT ITER 156 NEW BEST:: SOT 4956647 SOS 1097894 HAS SOPS 1097894 HAS SOUS 712202 HAS SOUPS 712202 WITH SCORE 713299.894
AT ITER 177 NEW BEST:: SOT 4956586 SOS 1098270 HAS SOPS 1098270 HAS SOUS 712141 HAS SOUPS 712141 WITH SCORE 713239.27
AT ITER 179 NEW BEST:: SOT 4956534 SOS 1098166 HAS SOPS 1098166 HAS SOUS 712037 HAS SOUPS 712037 WITH SCORE 713135.166
AT ITER 180 NEW BEST:: SOT 4956373 SOS 1098657 HAS SOPS 1098657 HAS SOUS 711836 HAS SOUPS 711836 WITH SCORE 712934.657
AT ITER 186 NEW BEST:: SOT 4956373 SOS 1099157 HAS SOPS 1099157 HAS SOUS 711835 HAS SOUPS 711835 WITH SCORE 712934.157
AT ITER 192 NEW BEST:: SOT 4955683 SOS 1098425 HAS SOPS 1098425 HAS SOUS 711593 HAS SOUPS 711593 WITH SCORE 712691.425
AT ITER 213 NEW BEST:: SOT 4955683 SOS 1098508 HAS SOPS 1098508 HAS SOUS 711592 HAS SOUPS 711592 WITH SCORE 712690.508
AT ITER 246 NEW BEST:: SOT 4955539 SOS 1097352 HAS SOPS 1097352 HAS SOUS 711303 HAS SOUPS 711303 WITH SCORE 712400.352
AT ITER 259 NEW BEST:: SOT 4955539 SOS 1097451 HAS SOPS 1097451 HAS SOUS 711292 HAS SOUPS 711292 WITH SCORE 712389.451
AT ITER 264 NEW BEST:: SOT 4955244 SOS 1097156 HAS SOPS 1097156 HAS SOUS 710997 HAS SOUPS 710997 WITH SCORE 712094.156
AT ITER 284 NEW BEST:: SOT 4954558 SOS 1096590 HAS SOPS 1096590 HAS SOUS 710175 HAS SOUPS 710175 WITH SCORE 711271.59
AT ITER 288 NEW BEST:: SOT 4954496 SOS 1096528 HAS SOPS 1096528 HAS SOUS 710113 HAS SOUPS 710113 WITH SCORE 711209.528
AT ITER 310 NEW BEST:: SOT 4954496 SOS 1096057 HAS SOPS 1096057 HAS SOUS 709956 HAS SOUPS 709956 WITH SCORE 711052.057
AT ITER 336 NEW BEST:: SOT 4954460 SOS 1096038 HAS SOPS 1096038 HAS SOUS 709937 HAS SOUPS 709937 WITH SCORE 711033.038
AT ITER 342 NEW BEST:: SOT 4954227 SOS 1095801 HAS SOPS 1095801 HAS SOUS 709703 HAS SOUPS 709703 WITH SCORE 710798.801
AT ITER 354 NEW BEST:: SOT 4954226 SOS 1095799 HAS SOPS 1095799 HAS SOUS 709701 HAS SOUPS 709701 WITH SCORE 710796.799
AT ITER 366 NEW BEST:: SOT 4954124 SOS 1095595 HAS SOPS 1095595 HAS SOUS 709596 HAS SOUPS 709596 WITH SCORE 710691.595
AT ITER 368 NEW BEST:: SOT 4953910 SOS 1095167 HAS SOPS 1095167 HAS SOUS 709168 HAS SOUPS 709168 WITH SCORE 710263.167
AT ITER 370 NEW BEST:: SOT 4953862 SOS 1095071 HAS SOPS 1095071 HAS SOUS 709072 HAS SOUPS 709072 WITH SCORE 710167.071
AT ITER 383 NEW BEST:: SOT 4953355 SOS 1094816 HAS SOPS 1094816 HAS SOUS 708817 HAS SOUPS 708817 WITH SCORE 709911.816
AT ITER 387 NEW BEST:: SOT 4953168 SOS 1094442 HAS SOPS 1094442 HAS SOUS 708443 HAS SOUPS 708443 WITH SCORE 709537.442
AT ITER 425 NEW BEST:: SOT 4953168 SOS 1094253 HAS SOPS 1094253 HAS SOUS 708380 HAS SOUPS 708380 WITH SCORE 709474.253
AT ITER 445 NEW BEST:: SOT 4952883 SOS 1093964 HAS SOPS 1093964 HAS SOUS 708091 HAS SOUPS 708091 WITH SCORE 709184.964
AT ITER 448 NEW BEST:: SOT 4952882 SOS 1093962 HAS SOPS 1093962 HAS SOUS 708089 HAS SOUPS 708089 WITH SCORE 709182.962
AT ITER 505 NEW BEST:: SOT 4950660 SOS 1094705 HAS SOPS 1094705 HAS SOUS 706304 HAS SOUPS 706304 WITH SCORE 707398.705
AT ITER 534 NEW BEST:: SOT 4950632 SOS 1094649 HAS SOPS 1094649 HAS SOUS 706248 HAS SOUPS 706248 WITH SCORE 707342.649
AT ITER 538 NEW BEST:: SOT 4950619 SOS 1094623 HAS SOPS 1094623 HAS SOUS 706222 HAS SOUPS 706222 WITH SCORE 707316.623
AT ITER 544 NEW BEST:: SOT 4950617 SOS 1094619 HAS SOPS 1094619 HAS SOUS 706218 HAS SOUPS 706218 WITH SCORE 707312.619
AT ITER 553 NEW BEST:: SOT 4950154 SOS 1094156 HAS SOPS 1094156 HAS SOUS 705755 HAS SOUPS 705755 WITH SCORE 706849.156
AT ITER 561 NEW BEST:: SOT 4950154 SOS 1093978 HAS SOPS 1093978 HAS SOUS 705577 HAS SOUPS 705577 WITH SCORE 706670.978
AT ITER 562 NEW BEST:: SOT 4950153 SOS 1093976 HAS SOPS 1093976 HAS SOUS 705575 HAS SOUPS 705575 WITH SCORE 706668.976
AT ITER 565 NEW BEST:: SOT 4950152 SOS 1093974 HAS SOPS 1093974 HAS SOUS 705573 HAS SOUPS 705573 WITH SCORE 706666.974
AT ITER 577 NEW BEST:: SOT 4949895 SOS 1093717 HAS SOPS 1093717 HAS SOUS 705086 HAS SOUPS 705086 WITH SCORE 706179.717
AT ITER 584 NEW BEST:: SOT 4949895 SOS 1093687 HAS SOPS 1093687 HAS SOUS 705056 HAS SOUPS 705056 WITH SCORE 706149.687
AT ITER 594 NEW BEST:: SOT 4949894 SOS 1093685 HAS SOPS 1093685 HAS SOUS 705054 HAS SOUPS 705054 WITH SCORE 706147.685
AT ITER 601 NEW BEST:: SOT 4949813 SOS 1093763 HAS SOPS 1093763 HAS SOUS 704972 HAS SOUPS 704972 WITH SCORE 706065.763
AT ITER 622 NEW BEST:: SOT 4949740 SOS 1093617 HAS SOPS 1093617 HAS SOUS 704826 HAS SOUPS 704826 WITH SCORE 705919.617
AT ITER 633 NEW BEST:: SOT 4949737 SOS 1093614 HAS SOPS 1093614 HAS SOUS 704823 HAS SOUPS 704823 WITH SCORE 705916.614
AT ITER 639 NEW BEST:: SOT 4949706 SOS 1093552 HAS SOPS 1093552 HAS SOUS 704761 HAS SOUPS 704761 WITH SCORE 705854.552
AT ITER 668 NEW BEST:: SOT 4949706 SOS 1092895 HAS SOPS 1092895 HAS SOUS 704542 HAS SOUPS 704542 WITH SCORE 705634.895
AT ITER 682 NEW BEST:: SOT 4949436 SOS 1092355 HAS SOPS 1092355 HAS SOUS 704002 HAS SOUPS 704002 WITH SCORE 705094.355
AT ITER 686 NEW BEST:: SOT 4949436 SOS 1092355 HAS SOPS 1092355 HAS SOUS 703832 HAS SOUPS 703832 WITH SCORE 704924.355
AT ITER 691 NEW BEST:: SOT 4949612 SOS 1093891 HAS SOPS 1093891 HAS SOUS 703787 HAS SOUPS 703787 WITH SCORE 704880.891
AT ITER 712 NEW BEST:: SOT 4949200 SOS 1093499 HAS SOPS 1093499 HAS SOUS 703395 HAS SOUPS 703395 WITH SCORE 704488.499
AT ITER 715 NEW BEST:: SOT 4949142 SOS 1093379 HAS SOPS 1093379 HAS SOUS 703278 HAS SOUPS 703278 WITH SCORE 704371.379
AT ITER 726 NEW BEST:: SOT 4949142 SOS 1093329 HAS SOPS 1093329 HAS SOUS 703228 HAS SOUPS 703228 WITH SCORE 704321.329
AT ITER 732 NEW BEST:: SOT 4948957 SOS 1092888 HAS SOPS 1092888 HAS SOUS 702787 HAS SOUPS 702787 WITH SCORE 703879.888
AT ITER 745 NEW BEST:: SOT 4948380 SOS 1092662 HAS SOPS 1092662 HAS SOUS 702561 HAS SOUPS 702561 WITH SCORE 703653.662
AT ITER 746 NEW BEST:: SOT 4948380 SOS 1092662 HAS SOPS 1092662 HAS SOUS 702507 HAS SOUPS 702507 WITH SCORE 703599.662
AT ITER 752 NEW BEST:: SOT 4947503 SOS 1093314 HAS SOPS 1093314 HAS SOUS 702005 HAS SOUPS 702005 WITH SCORE 703098.314
AT ITER 760 NEW BEST:: SOT 4947084 SOS 1092895 HAS SOPS 1092895 HAS SOUS 701586 HAS SOUPS 701586 WITH SCORE 702678.895
AT ITER 762 NEW BEST:: SOT 4946808 SOS 1092619 HAS SOPS 1092619 HAS SOUS 701310 HAS SOUPS 701310 WITH SCORE 702402.619
AT ITER 768 NEW BEST:: SOT 4946623 SOS 1092249 HAS SOPS 1092249 HAS SOUS 700940 HAS SOUPS 700940 WITH SCORE 702032.249
AT ITER 822 NEW BEST:: SOT 4946318 SOS 1092248 HAS SOPS 1092248 HAS SOUS 700939 HAS SOUPS 700939 WITH SCORE 702031.248
AT ITER 851 NEW BEST:: SOT 4946286 SOS 1092308 HAS SOPS 1092308 HAS SOUS 700906 HAS SOUPS 700906 WITH SCORE 701998.308
AT ITER 865 NEW BEST:: SOT 4946074 SOS 1092304 HAS SOPS 1092304 HAS SOUS 700905 HAS SOUPS 700905 WITH SCORE 701997.304
AT ITER 868 NEW BEST:: SOT 4946074 SOS 1092304 HAS SOPS 1092304 HAS SOUS 700759 HAS SOUPS 700759 WITH SCORE 701851.304
AT ITER 879 NEW BEST:: SOT 4946074 SOS 1092304 HAS SOPS 1092304 HAS SOUS 700633 HAS SOUPS 700633 WITH SCORE 701725.304
AT ITER 898 NEW BEST:: SOT 4946074 SOS 1092304 HAS SOPS 1092304 HAS SOUS 700632 HAS SOUPS 700632 WITH SCORE 701724.304
AT ITER 900 NEW BEST:: SOT 4945922 SOS 1092000 HAS SOPS 1092000 HAS SOUS 700480 HAS SOUPS 700480 WITH SCORE 701572.0
AT ITER 909 NEW BEST:: SOT 4945842 SOS 1091840 HAS SOPS 1091840 HAS SOUS 700400 HAS SOUPS 700400 WITH SCORE 701491.84
AT ITER 910 NEW BEST:: SOT 4945774 SOS 1091704 HAS SOPS 1091704 HAS SOUS 700264 HAS SOUPS 700264 WITH SCORE 701355.704
AT ITER 922 NEW BEST:: SOT 4945709 SOS 1091574 HAS SOPS 1091574 HAS SOUS 700134 HAS SOUPS 700134 WITH SCORE 701225.574
AT ITER 933 NEW BEST:: SOT 4945676 SOS 1091508 HAS SOPS 1091508 HAS SOUS 700068 HAS SOUPS 700068 WITH SCORE 701159.508
AT ITER 954 NEW BEST:: SOT 4945378 SOS 1091507 HAS SOPS 1091507 HAS SOUS 700067 HAS SOUPS 700067 WITH SCORE 701158.507
AT ITER 962 NEW BEST:: SOT 4945260 SOS 1091267 HAS SOPS 1091267 HAS SOUS 699987 HAS SOUPS 699987 WITH SCORE 701078.267
AT ITER 977 NEW BEST:: SOT 4945044 SOS 1091099 HAS SOPS 1091099 HAS SOUS 699987 HAS SOUPS 699987 WITH SCORE 701078.099
AT ITER 984 NEW BEST:: SOT 4944777 SOS 1089191 HAS SOPS 1089191 HAS SOUS 699453 HAS SOUPS 699453 WITH SCORE 700542.191
AT ITER 1000 NEW BEST:: SOT 4944351 SOS 1088765 HAS SOPS 1088765 HAS SOUS 699027 HAS SOUPS 699027 WITH SCORE 700115.765
AT ITER 1013 NEW BEST:: SOT 4944351 SOS 1088765 HAS SOPS 1088765 HAS SOUS 699026 HAS SOUPS 699026 WITH SCORE 700114.765
AT ITER 1024 NEW BEST:: SOT 4944120 SOS 1088755 HAS SOPS 1088755 HAS SOUS 698953 HAS SOUPS 698953 WITH SCORE 700041.755
AT ITER 1029 NEW BEST:: SOT 4944017 SOS 1089023 HAS SOPS 1089023 HAS SOUS 698850 HAS SOUPS 698850 WITH SCORE 699939.023
AT ITER 1073 NEW BEST:: SOT 4943867 SOS 1088723 HAS SOPS 1088723 HAS SOUS 698699 HAS SOUPS 698699 WITH SCORE 699787.723
AT ITER 1133 NEW BEST:: SOT 4943738 SOS 1088465 HAS SOPS 1088465 HAS SOUS 697946 HAS SOUPS 697946 WITH SCORE 699034.465
AT ITER 1166 NEW BEST:: SOT 4943362 SOS 1088725 HAS SOPS 1088725 HAS SOUS 697783 HAS SOUPS 697783 WITH SCORE 698871.725
AT ITER 1243 NEW BEST:: SOT 4943238 SOS 1088662 HAS SOPS 1088662 HAS SOUS 697720 HAS SOUPS 697720 WITH SCORE 698808.662
AT ITER 1259 NEW BEST:: SOT 4943238 SOS 1088662 HAS SOPS 1088662 HAS SOUS 697716 HAS SOUPS 697716 WITH SCORE 698804.662
AT ITER 1321 NEW BEST:: SOT 4942513 SOS 1088337 HAS SOPS 1088337 HAS SOUS 697366 HAS SOUPS 697366 WITH SCORE 698454.337
AT ITER 1339 NEW BEST:: SOT 4942513 SOS 1088984 HAS SOPS 1088984 HAS SOUS 697365 HAS SOUPS 697365 WITH SCORE 698453.984
AT ITER 1344 NEW BEST:: SOT 4942372 SOS 1088702 HAS SOPS 1088702 HAS SOUS 697320 HAS SOUPS 697320 WITH SCORE 698408.702
AT ITER 1369 NEW BEST:: SOT 4940070 SOS 1088805 HAS SOPS 1088805 HAS SOUS 695362 HAS SOUPS 695362 WITH SCORE 696450.805
AT ITER 1397 NEW BEST:: SOT 4939774 SOS 1088213 HAS SOPS 1088213 HAS SOUS 695233 HAS SOUPS 695233 WITH SCORE 696321.213
AT ITER 1463 NEW BEST:: SOT 4939295 SOS 1082341 HAS SOPS 1082341 HAS SOUS 694486 HAS SOUPS 694486 WITH SCORE 695568.341
AT ITER 1484 NEW BEST:: SOT 4938843 SOS 1081950 HAS SOPS 1081950 HAS SOUS 694095 HAS SOUPS 694095 WITH SCORE 695176.95
AT ITER 1498 NEW BEST:: SOT 4938843 SOS 1081844 HAS SOPS 1081844 HAS SOUS 693989 HAS SOUPS 693989 WITH SCORE 695070.844
AT ITER 1499 NEW BEST:: SOT 4938442 SOS 1076425 HAS SOPS 1076425 HAS SOUS 693196 HAS SOUPS 693196 WITH SCORE 694272.425
AT ITER 1526 NEW BEST:: SOT 4937944 SOS 1075927 HAS SOPS 1075927 HAS SOUS 692698 HAS SOUPS 692698 WITH SCORE 693773.927
AT ITER 1544 NEW BEST:: SOT 4937854 SOS 1075747 HAS SOPS 1075747 HAS SOUS 692518 HAS SOUPS 692518 WITH SCORE 693593.747
AT ITER 1559 NEW BEST:: SOT 4937274 SOS 1075591 HAS SOPS 1075591 HAS SOUS 692011 HAS SOUPS 692011 WITH SCORE 693086.591
AT ITER 1569 NEW BEST:: SOT 4937274 SOS 1076061 HAS SOPS 1076061 HAS SOUS 692010 HAS SOUPS 692010 WITH SCORE 693086.061
AT ITER 1570 NEW BEST:: SOT 4937238 SOS 1076021 HAS SOPS 1076021 HAS SOUS 691992 HAS SOUPS 691992 WITH SCORE 693068.021
AT ITER 1611 NEW BEST:: SOT 4937242 SOS 1075948 HAS SOPS 1075948 HAS SOUS 691919 HAS SOUPS 691919 WITH SCORE 692994.948
AT ITER 1613 NEW BEST:: SOT 4937193 SOS 1075946 HAS SOPS 1075946 HAS SOUS 691902 HAS SOUPS 691902 WITH SCORE 692977.946
AT ITER 1639 NEW BEST:: SOT 4937166 SOS 1075892 HAS SOPS 1075892 HAS SOUS 691848 HAS SOUPS 691848 WITH SCORE 692923.892
AT ITER 1643 NEW BEST:: SOT 4936942 SOS 1076175 HAS SOPS 1076175 HAS SOUS 691351 HAS SOUPS 691351 WITH SCORE 692427.175
AT ITER 1685 NEW BEST:: SOT 4936822 SOS 1075935 HAS SOPS 1075935 HAS SOUS 691111 HAS SOUPS 691111 WITH SCORE 692186.935
AT ITER 1688 NEW BEST:: SOT 4936717 SOS 1076040 HAS SOPS 1076040 HAS SOUS 691006 HAS SOUPS 691006 WITH SCORE 692082.04
AT ITER 1701 NEW BEST:: SOT 4935635 SOS 1074417 HAS SOPS 1074417 HAS SOUS 689383 HAS SOUPS 689383 WITH SCORE 690457.417
AT ITER 1781 NEW BEST:: SOT 4935635 SOS 1074249 HAS SOPS 1074249 HAS SOUS 689215 HAS SOUPS 689215 WITH SCORE 690289.249
AT ITER 1783 NEW BEST:: SOT 4935272 SOS 1074079 HAS SOPS 1074079 HAS SOUS 689010 HAS SOUPS 689010 WITH SCORE 690084.079
AT ITER 1788 NEW BEST:: SOT 4935271 SOS 1074077 HAS SOPS 1074077 HAS SOUS 689008 HAS SOUPS 689008 WITH SCORE 690082.077
AT ITER 1810 NEW BEST:: SOT 4935198 SOS 1073931 HAS SOPS 1073931 HAS SOUS 688862 HAS SOUPS 688862 WITH SCORE 689935.931
AT ITER 1816 NEW BEST:: SOT 4935198 SOS 1073847 HAS SOPS 1073847 HAS SOUS 688820 HAS SOUPS 688820 WITH SCORE 689893.847
AT ITER 1817 NEW BEST:: SOT 4935055 SOS 1073561 HAS SOPS 1073561 HAS SOUS 688677 HAS SOUPS 688677 WITH SCORE 689750.561
AT ITER 1829 NEW BEST:: SOT 4935055 SOS 1073497 HAS SOPS 1073497 HAS SOUS 688613 HAS SOUPS 688613 WITH SCORE 689686.497
AT ITER 1850 NEW BEST:: SOT 4934435 SOS 1072788 HAS SOPS 1072788 HAS SOUS 687698 HAS SOUPS 687698 WITH SCORE 688770.788
AT ITER 1926 NEW BEST:: SOT 4934199 SOS 1071539 HAS SOPS 1071539 HAS SOUS 687226 HAS SOUPS 687226 WITH SCORE 688297.539
AT ITER 1929 NEW BEST:: SOT 4933933 SOS 1071215 HAS SOPS 1071215 HAS SOUS 686902 HAS SOUPS 686902 WITH SCORE 687973.215
AT ITER 1959 NEW BEST:: SOT 4933835 SOS 1071019 HAS SOPS 1071019 HAS SOUS 686665 HAS SOUPS 686665 WITH SCORE 687736.019
AT ITER 1979 NEW BEST:: SOT 4933419 SOS 1070593 HAS SOPS 1070593 HAS SOUS 686248 HAS SOUPS 686248 WITH SCORE 687318.593
AT ITER 2012 NEW BEST:: SOT 4933419 SOS 1070509 HAS SOPS 1070509 HAS SOUS 686164 HAS SOUPS 686164 WITH SCORE 687234.509
AT ITER 2017 NEW BEST:: SOT 4933419 SOS 1070464 HAS SOPS 1070464 HAS SOUS 686119 HAS SOUPS 686119 WITH SCORE 687189.464
AT ITER 2022 NEW BEST:: SOT 4933404 SOS 1070463 HAS SOPS 1070463 HAS SOUS 686118 HAS SOUPS 686118 WITH SCORE 687188.463
AT ITER 2053 NEW BEST:: SOT 4932122 SOS 1070227 HAS SOPS 1070227 HAS SOUS 684961 HAS SOUPS 684961 WITH SCORE 686031.227
AT ITER 2054 NEW BEST:: SOT 4931995 SOS 1069973 HAS SOPS 1069973 HAS SOUS 684707 HAS SOUPS 684707 WITH SCORE 685776.973
AT ITER 2069 NEW BEST:: SOT 4931995 SOS 1070165 HAS SOPS 1070165 HAS SOUS 684705 HAS SOUPS 684705 WITH SCORE 685775.165
AT ITER 2104 NEW BEST:: SOT 4931995 SOS 1070726 HAS SOPS 1070726 HAS SOUS 684704 HAS SOUPS 684704 WITH SCORE 685774.726
AT ITER 2111 NEW BEST:: SOT 4931383 SOS 1070046 HAS SOPS 1070046 HAS SOUS 684497 HAS SOUPS 684497 WITH SCORE 685567.046
AT ITER 2117 NEW BEST:: SOT 4931042 SOS 1069934 HAS SOPS 1069934 HAS SOUS 684257 HAS SOUPS 684257 WITH SCORE 685326.934
AT ITER 2127 NEW BEST:: SOT 4930981 SOS 1069873 HAS SOPS 1069873 HAS SOUS 684196 HAS SOUPS 684196 WITH SCORE 685265.873
AT ITER 2144 NEW BEST:: SOT 4930838 SOS 1069730 HAS SOPS 1069730 HAS SOUS 684053 HAS SOUPS 684053 WITH SCORE 685122.73
AT ITER 2162 NEW BEST:: SOT 4930838 SOS 1069792 HAS SOPS 1069792 HAS SOUS 684052 HAS SOUPS 684052 WITH SCORE 685121.792
AT ITER 2179 NEW BEST:: SOT 4930783 SOS 1069682 HAS SOPS 1069682 HAS SOUS 683942 HAS SOUPS 683942 WITH SCORE 685011.682
AT ITER 2188 NEW BEST:: SOT 4930083 SOS 1069204 HAS SOPS 1069204 HAS SOUS 683242 HAS SOUPS 683242 WITH SCORE 684311.204
AT ITER 2198 NEW BEST:: SOT 4929661 SOS 1068782 HAS SOPS 1068782 HAS SOUS 682820 HAS SOUPS 682820 WITH SCORE 683888.782
AT ITER 2201 NEW BEST:: SOT 4929213 SOS 1068151 HAS SOPS 1068151 HAS SOUS 682147 HAS SOUPS 682147 WITH SCORE 683215.151
AT ITER 2208 NEW BEST:: SOT 4929195 SOS 1068115 HAS SOPS 1068115 HAS SOUS 682111 HAS SOUPS 682111 WITH SCORE 683179.115
AT ITER 2222 NEW BEST:: SOT 4929163 SOS 1067827 HAS SOPS 1067827 HAS SOUS 682047 HAS SOUPS 682047 WITH SCORE 683114.827
AT ITER 2224 NEW BEST:: SOT 4929024 SOS 1067681 HAS SOPS 1067681 HAS SOUS 681842 HAS SOUPS 681842 WITH SCORE 682909.681
AT ITER 2234 NEW BEST:: SOT 4928590 SOS 1067416 HAS SOPS 1067416 HAS SOUS 681100 HAS SOUPS 681100 WITH SCORE 682167.416
AT ITER 2267 NEW BEST:: SOT 4928283 SOS 1066802 HAS SOPS 1066802 HAS SOUS 680486 HAS SOUPS 680486 WITH SCORE 681552.802
AT ITER 2314 NEW BEST:: SOT 4928354 SOS 1066944 HAS SOPS 1066944 HAS SOUS 680337 HAS SOUPS 680337 WITH SCORE 681403.944
AT ITER 2328 NEW BEST:: SOT 4928293 SOS 1066822 HAS SOPS 1066822 HAS SOUS 680215 HAS SOUPS 680215 WITH SCORE 681281.822
AT ITER 2358 NEW BEST:: SOT 4928118 SOS 1067810 HAS SOPS 1067810 HAS SOUS 680084 HAS SOUPS 680084 WITH SCORE 681151.81
AT ITER 2360 NEW BEST:: SOT 4928035 SOS 1067966 HAS SOPS 1067966 HAS SOUS 680000 HAS SOUPS 680000 WITH SCORE 681067.966
AT ITER 2406 NEW BEST:: SOT 4928034 SOS 1067852 HAS SOPS 1067852 HAS SOUS 679886 HAS SOUPS 679886 WITH SCORE 680953.852
AT ITER 2418 NEW BEST:: SOT 4928020 SOS 1067845 HAS SOPS 1067845 HAS SOUS 679879 HAS SOUPS 679879 WITH SCORE 680946.845
AT ITER 2456 NEW BEST:: SOT 4927873 SOS 1067551 HAS SOPS 1067551 HAS SOUS 679282 HAS SOUPS 679282 WITH SCORE 680349.551
AT ITER 2474 NEW BEST:: SOT 4927818 SOS 1067441 HAS SOPS 1067441 HAS SOUS 679227 HAS SOUPS 679227 WITH SCORE 680294.441
AT ITER 2488 NEW BEST:: SOT 4927704 SOS 1067213 HAS SOPS 1067213 HAS SOUS 678999 HAS SOUPS 678999 WITH SCORE 680066.213
AT ITER 2491 NEW BEST:: SOT 4927418 SOS 1066636 HAS SOPS 1066636 HAS SOUS 678422 HAS SOUPS 678422 WITH SCORE 679488.636
AT ITER 2496 NEW BEST:: SOT 4927298 SOS 1066396 HAS SOPS 1066396 HAS SOUS 677622 HAS SOUPS 677622 WITH SCORE 678688.396
AT ITER 2501 NEW BEST:: SOT 4927286 SOS 1066482 HAS SOPS 1066482 HAS SOUS 677609 HAS SOUPS 677609 WITH SCORE 678675.482
AT ITER 2609 NEW BEST:: SOT 4927268 SOS 1066446 HAS SOPS 1066446 HAS SOUS 677591 HAS SOUPS 677591 WITH SCORE 678657.446
AT ITER 2630 NEW BEST:: SOT 4926984 SOS 1066819 HAS SOPS 1066819 HAS SOUS 677022 HAS SOUPS 677022 WITH SCORE 678088.819
AT ITER 2637 NEW BEST:: SOT 4926984 SOS 1066630 HAS SOPS 1066630 HAS SOUS 677022 HAS SOUPS 677022 WITH SCORE 678088.63
AT ITER 2645 NEW BEST:: SOT 4926819 SOS 1066648 HAS SOPS 1066648 HAS SOUS 676973 HAS SOUPS 676973 WITH SCORE 678039.648
AT ITER 2662 NEW BEST:: SOT 4926782 SOS 1066796 HAS SOPS 1066796 HAS SOUS 676936 HAS SOUPS 676936 WITH SCORE 678002.796
AT ITER 2663 NEW BEST:: SOT 4926406 SOS 1064728 HAS SOPS 1064728 HAS SOUS 676560 HAS SOUPS 676560 WITH SCORE 677624.728
AT ITER 2668 NEW BEST:: SOT 4925917 SOS 1064366 HAS SOPS 1064366 HAS SOUS 675929 HAS SOUPS 675929 WITH SCORE 676993.366
AT ITER 2688 NEW BEST:: SOT 4925662 SOS 1064289 HAS SOPS 1064289 HAS SOUS 675668 HAS SOUPS 675668 WITH SCORE 676732.289
AT ITER 2691 NEW BEST:: SOT 4925266 SOS 1063988 HAS SOPS 1063988 HAS SOUS 675317 HAS SOUPS 675317 WITH SCORE 676380.988
AT ITER 2702 NEW BEST:: SOT 4925266 SOS 1064827 HAS SOPS 1064827 HAS SOUS 675316 HAS SOUPS 675316 WITH SCORE 676380.827
AT ITER 2710 NEW BEST:: SOT 4925258 SOS 1064826 HAS SOPS 1064826 HAS SOUS 675315 HAS SOUPS 675315 WITH SCORE 676379.826
AT ITER 2713 NEW BEST:: SOT 4925141 SOS 1064766 HAS SOPS 1064766 HAS SOUS 675255 HAS SOUPS 675255 WITH SCORE 676319.766
AT ITER 2719 NEW BEST:: SOT 4925389 SOS 1065262 HAS SOPS 1065262 HAS SOUS 675116 HAS SOUPS 675116 WITH SCORE 676181.262
AT ITER 2728 NEW BEST:: SOT 4925219 SOS 1064922 HAS SOPS 1064922 HAS SOUS 674861 HAS SOUPS 674861 WITH SCORE 675925.922
AT ITER 2729 NEW BEST:: SOT 4925175 SOS 1064702 HAS SOPS 1064702 HAS SOUS 674773 HAS SOUPS 674773 WITH SCORE 675837.702
AT ITER 2731 NEW BEST:: SOT 4924869 SOS 1066844 HAS SOPS 1066844 HAS SOUS 674467 HAS SOUPS 674467 WITH SCORE 675533.844
AT ITER 2737 NEW BEST:: SOT 4924869 SOS 1066843 HAS SOPS 1066843 HAS SOUS 674466 HAS SOUPS 674466 WITH SCORE 675532.843
AT ITER 2746 NEW BEST:: SOT 4924726 SOS 1066557 HAS SOPS 1066557 HAS SOUS 674466 HAS SOUPS 674466 WITH SCORE 675532.557
AT ITER 2770 NEW BEST:: SOT 4924657 SOS 1066419 HAS SOPS 1066419 HAS SOUS 674328 HAS SOUPS 674328 WITH SCORE 675394.419
AT ITER 2784 NEW BEST:: SOT 4924473 SOS 1066444 HAS SOPS 1066444 HAS SOUS 674289 HAS SOUPS 674289 WITH SCORE 675355.444
AT ITER 2812 NEW BEST:: SOT 4924473 SOS 1066679 HAS SOPS 1066679 HAS SOUS 674288 HAS SOUPS 674288 WITH SCORE 675354.679
AT ITER 2837 NEW BEST:: SOT 4924194 SOS 1066121 HAS SOPS 1066121 HAS SOUS 673730 HAS SOUPS 673730 WITH SCORE 674796.121
AT ITER 2856 NEW BEST:: SOT 4923614 SOS 1066029 HAS SOPS 1066029 HAS SOUS 673473 HAS SOUPS 673473 WITH SCORE 674539.029
AT ITER 2857 NEW BEST:: SOT 4923543 SOS 1065887 HAS SOPS 1065887 HAS SOUS 673331 HAS SOUPS 673331 WITH SCORE 674396.887
AT ITER 2906 NEW BEST:: SOT 4923234 SOS 1065578 HAS SOPS 1065578 HAS SOUS 673022 HAS SOUPS 673022 WITH SCORE 674087.578
AT ITER 2935 NEW BEST:: SOT 4923234 SOS 1065568 HAS SOPS 1065568 HAS SOUS 673021 HAS SOUPS 673021 WITH SCORE 674086.568
AT ITER 2946 NEW BEST:: SOT 4923389 SOS 1065878 HAS SOPS 1065878 HAS SOUS 672868 HAS SOUPS 672868 WITH SCORE 673933.878
AT ITER 2959 NEW BEST:: SOT 4923126 SOS 1065352 HAS SOPS 1065352 HAS SOUS 672289 HAS SOUPS 672289 WITH SCORE 673354.352
AT ITER 2965 NEW BEST:: SOT 4923060 SOS 1065319 HAS SOPS 1065319 HAS SOUS 672256 HAS SOUPS 672256 WITH SCORE 673321.319
AT ITER 2967 NEW BEST:: SOT 4923008 SOS 1072172 HAS SOPS 1072172 HAS SOUS 672152 HAS SOUPS 672152 WITH SCORE 673224.172
AT ITER 2970 NEW BEST:: SOT 4921034 SOS 1073208 HAS SOPS 1073208 HAS SOUS 670876 HAS SOUPS 670876 WITH SCORE 671949.208
AT ITER 2975 NEW BEST:: SOT 4921034 SOS 1073208 HAS SOPS 1073208 HAS SOUS 670875 HAS SOUPS 670875 WITH SCORE 671948.208
AT ITER 2978 NEW BEST:: SOT 4921031 SOS 1073205 HAS SOPS 1073205 HAS SOUS 670875 HAS SOUPS 670875 WITH SCORE 671948.205
AT ITER 2989 NEW BEST:: SOT 4920968 SOS 1073079 HAS SOPS 1073079 HAS SOUS 670749 HAS SOUPS 670749 WITH SCORE 671822.079
AT ITER 2994 NEW BEST:: SOT 4920967 SOS 1073077 HAS SOPS 1073077 HAS SOUS 670748 HAS SOUPS 670748 WITH SCORE 671821.077
AT ITER 3007 NEW BEST:: SOT 4920791 SOS 1072725 HAS SOPS 1072725 HAS SOUS 670576 HAS SOUPS 670576 WITH SCORE 671648.725
AT ITER 3031 NEW BEST:: SOT 4920670 SOS 1072801 HAS SOPS 1072801 HAS SOUS 670561 HAS SOUPS 670561 WITH SCORE 671633.801
AT ITER 3050 NEW BEST:: SOT 4920670 SOS 1073073 HAS SOPS 1073073 HAS SOUS 670560 HAS SOUPS 670560 WITH SCORE 671633.073
AT ITER 3124 NEW BEST:: SOT 4920576 SOS 1073611 HAS SOPS 1073611 HAS SOUS 670479 HAS SOUPS 670479 WITH SCORE 671552.611
AT ITER 3125 NEW BEST:: SOT 4920072 SOS 1072603 HAS SOPS 1072603 HAS SOUS 669918 HAS SOUPS 669918 WITH SCORE 670990.603
AT ITER 3132 NEW BEST:: SOT 4920191 SOS 1072438 HAS SOPS 1072438 HAS SOUS 669753 HAS SOUPS 669753 WITH SCORE 670825.438
AT ITER 3156 NEW BEST:: SOT 4920168 SOS 1072373 HAS SOPS 1072373 HAS SOUS 669688 HAS SOUPS 669688 WITH SCORE 670760.373
AT ITER 3163 NEW BEST:: SOT 4920158 SOS 1072353 HAS SOPS 1072353 HAS SOUS 669658 HAS SOUPS 669658 WITH SCORE 670730.353
AT ITER 3197 NEW BEST:: SOT 4920770 SOS 1072275 HAS SOPS 1072275 HAS SOUS 669647 HAS SOUPS 669647 WITH SCORE 670719.275
AT ITER 3204 NEW BEST:: SOT 4920579 SOS 1071893 HAS SOPS 1071893 HAS SOUS 669265 HAS SOUPS 669265 WITH SCORE 670336.893
AT ITER 3228 NEW BEST:: SOT 4920576 SOS 1071887 HAS SOPS 1071887 HAS SOUS 669259 HAS SOUPS 669259 WITH SCORE 670330.887
AT ITER 3254 NEW BEST:: SOT 4920402 SOS 1071539 HAS SOPS 1071539 HAS SOUS 668911 HAS SOUPS 668911 WITH SCORE 669982.539
AT ITER 3277 NEW BEST:: SOT 4920296 SOS 1071327 HAS SOPS 1071327 HAS SOUS 668799 HAS SOUPS 668799 WITH SCORE 669870.327
AT ITER 3282 NEW BEST:: SOT 4920274 SOS 1071883 HAS SOPS 1071883 HAS SOUS 668755 HAS SOUPS 668755 WITH SCORE 669826.883
AT ITER 3300 NEW BEST:: SOT 4920221 SOS 1072194 HAS SOPS 1072194 HAS SOUS 668649 HAS SOUPS 668649 WITH SCORE 669721.194
AT ITER 3302 NEW BEST:: SOT 4920070 SOS 1072043 HAS SOPS 1072043 HAS SOUS 668497 HAS SOUPS 668497 WITH SCORE 669569.043
AT ITER 3305 NEW BEST:: SOT 4920070 SOS 1072043 HAS SOPS 1072043 HAS SOUS 668496 HAS SOUPS 668496 WITH SCORE 669568.043
AT ITER 3323 NEW BEST:: SOT 4919776 SOS 1070929 HAS SOPS 1070929 HAS SOUS 668120 HAS SOUPS 668120 WITH SCORE 669190.929
AT ITER 3333 NEW BEST:: SOT 4919648 SOS 1069777 HAS SOPS 1069777 HAS SOUS 667864 HAS SOUPS 667864 WITH SCORE 668933.777
AT ITER 3386 NEW BEST:: SOT 4919648 SOS 1069777 HAS SOPS 1069777 HAS SOUS 667631 HAS SOUPS 667631 WITH SCORE 668700.777
AT ITER 3388 NEW BEST:: SOT 4919647 SOS 1069775 HAS SOPS 1069775 HAS SOUS 667629 HAS SOUPS 667629 WITH SCORE 668698.775
AT ITER 3393 NEW BEST:: SOT 4919606 SOS 1070093 HAS SOPS 1070093 HAS SOUS 667628 HAS SOUPS 667628 WITH SCORE 668698.093
AT ITER 3397 NEW BEST:: SOT 4919606 SOS 1070956 HAS SOPS 1070956 HAS SOUS 667627 HAS SOUPS 667627 WITH SCORE 668697.956
AT ITER 3402 NEW BEST:: SOT 4919659 SOS 1069985 HAS SOPS 1069985 HAS SOUS 667347 HAS SOUPS 667347 WITH SCORE 668416.985
AT ITER 3424 NEW BEST:: SOT 4919659 SOS 1069921 HAS SOPS 1069921 HAS SOUS 667283 HAS SOUPS 667283 WITH SCORE 668352.921
AT ITER 3429 NEW BEST:: SOT 4919517 SOS 1070059 HAS SOPS 1070059 HAS SOUS 666998 HAS SOUPS 666998 WITH SCORE 668068.059
AT ITER 3443 NEW BEST:: SOT 4919429 SOS 1069883 HAS SOPS 1069883 HAS SOUS 666926 HAS SOUPS 666926 WITH SCORE 667995.883
AT ITER 3487 NEW BEST:: SOT 4919429 SOS 1069913 HAS SOPS 1069913 HAS SOUS 666925 HAS SOUPS 666925 WITH SCORE 667994.913
AT ITER 3502 NEW BEST:: SOT 4919429 SOS 1070050 HAS SOPS 1070050 HAS SOUS 666924 HAS SOUPS 666924 WITH SCORE 667994.05
AT ITER 3507 NEW BEST:: SOT 4919482 SOS 1069578 HAS SOPS 1069578 HAS SOUS 666452 HAS SOUPS 666452 WITH SCORE 667521.578
AT ITER 3541 NEW BEST:: SOT 4919448 SOS 1069510 HAS SOPS 1069510 HAS SOUS 666384 HAS SOUPS 666384 WITH SCORE 667453.51
AT ITER 3546 NEW BEST:: SOT 4919352 SOS 1068782 HAS SOPS 1068782 HAS SOUS 666259 HAS SOUPS 666259 WITH SCORE 667327.782
AT ITER 3552 NEW BEST:: SOT 4919269 SOS 1068616 HAS SOPS 1068616 HAS SOUS 666093 HAS SOUPS 666093 WITH SCORE 667161.616
AT ITER 3554 NEW BEST:: SOT 4919030 SOS 1068138 HAS SOPS 1068138 HAS SOUS 665046 HAS SOUPS 665046 WITH SCORE 666114.138
AT ITER 3595 NEW BEST:: SOT 4918654 SOS 1067758 HAS SOPS 1067758 HAS SOUS 664669 HAS SOUPS 664669 WITH SCORE 665736.758
AT ITER 3612 NEW BEST:: SOT 4918539 SOS 1067643 HAS SOPS 1067643 HAS SOUS 664554 HAS SOUPS 664554 WITH SCORE 665621.643
AT ITER 3620 NEW BEST:: SOT 4918977 SOS 1068518 HAS SOPS 1068518 HAS SOUS 664467 HAS SOUPS 664467 WITH SCORE 665535.518
AT ITER 3625 NEW BEST:: SOT 4918589 SOS 1068130 HAS SOPS 1068130 HAS SOUS 664079 HAS SOUPS 664079 WITH SCORE 665147.13
AT ITER 3660 NEW BEST:: SOT 4918560 SOS 1067829 HAS SOPS 1067829 HAS SOUS 663778 HAS SOUPS 663778 WITH SCORE 664845.829
AT ITER 3706 NEW BEST:: SOT 4917989 SOS 1067258 HAS SOPS 1067258 HAS SOUS 663207 HAS SOUPS 663207 WITH SCORE 664274.258
AT ITER 3708 NEW BEST:: SOT 4917933 SOS 1067362 HAS SOPS 1067362 HAS SOUS 663158 HAS SOUPS 663158 WITH SCORE 664225.362
AT ITER 3712 NEW BEST:: SOT 4917933 SOS 1067952 HAS SOPS 1067952 HAS SOUS 663101 HAS SOUPS 663101 WITH SCORE 664168.952
AT ITER 3714 NEW BEST:: SOT 4917354 SOS 1068217 HAS SOPS 1068217 HAS SOUS 662765 HAS SOUPS 662765 WITH SCORE 663833.217
AT ITER 3757 NEW BEST:: SOT 4917318 SOS 1068073 HAS SOPS 1068073 HAS SOUS 662693 HAS SOUPS 662693 WITH SCORE 663761.073
AT ITER 3766 NEW BEST:: SOT 4917263 SOS 1068018 HAS SOPS 1068018 HAS SOUS 662638 HAS SOUPS 662638 WITH SCORE 663706.018
AT ITER 3774 NEW BEST:: SOT 4917230 SOS 1068984 HAS SOPS 1068984 HAS SOUS 662529 HAS SOUPS 662529 WITH SCORE 663597.984
AT ITER 3785 NEW BEST:: SOT 4917230 SOS 1069910 HAS SOPS 1069910 HAS SOUS 662528 HAS SOUPS 662528 WITH SCORE 663597.91
AT ITER 3823 NEW BEST:: SOT 4917230 SOS 1069727 HAS SOPS 1069727 HAS SOUS 662528 HAS SOUPS 662528 WITH SCORE 663597.727
AT ITER 3829 NEW BEST:: SOT 4917170 SOS 1069607 HAS SOPS 1069607 HAS SOUS 662408 HAS SOUPS 662408 WITH SCORE 663477.607
AT ITER 3877 NEW BEST:: SOT 4917162 SOS 1069599 HAS SOPS 1069599 HAS SOUS 662400 HAS SOUPS 662400 WITH SCORE 663469.599
AT ITER 3878 NEW BEST:: SOT 4917019 SOS 1069446 HAS SOPS 1069446 HAS SOUS 662256 HAS SOUPS 662256 WITH SCORE 663325.446
AT ITER 3885 NEW BEST:: SOT 4917019 SOS 1067682 HAS SOPS 1067682 HAS SOUS 662256 HAS SOUPS 662256 WITH SCORE 663323.682
AT ITER 3888 NEW BEST:: SOT 4916976 SOS 1067639 HAS SOPS 1067639 HAS SOUS 662213 HAS SOUPS 662213 WITH SCORE 663280.639
AT ITER 3918 NEW BEST:: SOT 4916967 SOS 1067590 HAS SOPS 1067590 HAS SOUS 662173 HAS SOUPS 662173 WITH SCORE 663240.59
AT ITER 3933 NEW BEST:: SOT 4916827 SOS 1067723 HAS SOPS 1067723 HAS SOUS 662031 HAS SOUPS 662031 WITH SCORE 663098.723
AT ITER 3945 NEW BEST:: SOT 4916827 SOS 1067713 HAS SOPS 1067713 HAS SOUS 661934 HAS SOUPS 661934 WITH SCORE 663001.713
AT ITER 3988 NEW BEST:: SOT 4916658 SOS 1067656 HAS SOPS 1067656 HAS SOUS 661879 HAS SOUPS 661879 WITH SCORE 662946.656
AT ITER 4039 NEW BEST:: SOT 4916754 SOS 1067580 HAS SOPS 1067580 HAS SOUS 661803 HAS SOUPS 661803 WITH SCORE 662870.58
AT ITER 4064 NEW BEST:: SOT 4916716 SOS 1067618 HAS SOPS 1067618 HAS SOUS 661765 HAS SOUPS 661765 WITH SCORE 662832.618
AT ITER 4091 NEW BEST:: SOT 4916660 SOS 1067170 HAS SOPS 1067170 HAS SOUS 661709 HAS SOUPS 661709 WITH SCORE 662776.17
AT ITER 4108 NEW BEST:: SOT 4916660 SOS 1067035 HAS SOPS 1067035 HAS SOUS 661709 HAS SOUPS 661709 WITH SCORE 662776.035
AT ITER 4114 NEW BEST:: SOT 4916641 SOS 1066998 HAS SOPS 1066998 HAS SOUS 661672 HAS SOUPS 661672 WITH SCORE 662738.998
AT ITER 4131 NEW BEST:: SOT 4915651 SOS 1066404 HAS SOPS 1066404 HAS SOUS 661276 HAS SOUPS 661276 WITH SCORE 662342.404
AT ITER 4141 NEW BEST:: SOT 4915575 SOS 1066252 HAS SOPS 1066252 HAS SOUS 661124 HAS SOUPS 661124 WITH SCORE 662190.252
AT ITER 4145 NEW BEST:: SOT 4915407 SOS 1065580 HAS SOPS 1065580 HAS SOUS 660956 HAS SOUPS 660956 WITH SCORE 662021.58
AT ITER 4198 NEW BEST:: SOT 4915407 SOS 1066290 HAS SOPS 1066290 HAS SOUS 660955 HAS SOUPS 660955 WITH SCORE 662021.29
AT ITER 4203 NEW BEST:: SOT 4915392 SOS 1066287 HAS SOPS 1066287 HAS SOUS 660954 HAS SOUPS 660954 WITH SCORE 662020.287
AT ITER 4210 NEW BEST:: SOT 4915623 SOS 1066518 HAS SOPS 1066518 HAS SOUS 660953 HAS SOUPS 660953 WITH SCORE 662019.518
AT ITER 4230 NEW BEST:: SOT 4915889 SOS 1067050 HAS SOPS 1067050 HAS SOUS 660905 HAS SOUPS 660905 WITH SCORE 661972.05
AT ITER 4237 NEW BEST:: SOT 4915889 SOS 1066965 HAS SOPS 1066965 HAS SOUS 660820 HAS SOUPS 660820 WITH SCORE 661886.965
AT ITER 4240 NEW BEST:: SOT 4915700 SOS 1066209 HAS SOPS 1066209 HAS SOUS 660442 HAS SOUPS 660442 WITH SCORE 661508.209
AT ITER 4242 NEW BEST:: SOT 4915192 SOS 1065691 HAS SOPS 1065691 HAS SOUS 659933 HAS SOUPS 659933 WITH SCORE 660998.691
AT ITER 4268 NEW BEST:: SOT 4915192 SOS 1065145 HAS SOPS 1065145 HAS SOUS 659815 HAS SOUPS 659815 WITH SCORE 660880.145
AT ITER 4290 NEW BEST:: SOT 4915138 SOS 1064946 HAS SOPS 1064946 HAS SOUS 659763 HAS SOUPS 659763 WITH SCORE 660827.946
AT ITER 4293 NEW BEST:: SOT 4915138 SOS 1064946 HAS SOPS 1064946 HAS SOUS 659745 HAS SOUPS 659745 WITH SCORE 660809.946
AT ITER 4303 NEW BEST:: SOT 4915382 SOS 1065434 HAS SOPS 1065434 HAS SOUS 659608 HAS SOUPS 659608 WITH SCORE 660673.434
AT ITER 4329 NEW BEST:: SOT 4915057 SOS 1065109 HAS SOPS 1065109 HAS SOUS 659283 HAS SOUPS 659283 WITH SCORE 660348.109
AT ITER 4372 NEW BEST:: SOT 4915057 SOS 1065109 HAS SOPS 1065109 HAS SOUS 659282 HAS SOUPS 659282 WITH SCORE 660347.109
AT ITER 4404 NEW BEST:: SOT 4914424 SOS 1064337 HAS SOPS 1064337 HAS SOUS 658510 HAS SOUPS 658510 WITH SCORE 659574.337
AT ITER 4463 NEW BEST:: SOT 4914328 SOS 1064399 HAS SOPS 1064399 HAS SOUS 658403 HAS SOUPS 658403 WITH SCORE 659467.399
AT ITER 4488 NEW BEST:: SOT 4914252 SOS 1064409 HAS SOPS 1064409 HAS SOUS 658381 HAS SOUPS 658381 WITH SCORE 659445.409
AT ITER 4503 NEW BEST:: SOT 4914252 SOS 1064124 HAS SOPS 1064124 HAS SOUS 658310 HAS SOUPS 658310 WITH SCORE 659374.124
AT ITER 4508 NEW BEST:: SOT 4914252 SOS 1063530 HAS SOPS 1063530 HAS SOUS 658310 HAS SOUPS 658310 WITH SCORE 659373.53
AT ITER 4514 NEW BEST:: SOT 4914252 SOS 1063446 HAS SOPS 1063446 HAS SOUS 658226 HAS SOUPS 658226 WITH SCORE 659289.446
AT ITER 4536 NEW BEST:: SOT 4913671 SOS 1063697 HAS SOPS 1063697 HAS SOUS 657645 HAS SOUPS 657645 WITH SCORE 658708.697
AT ITER 4594 NEW BEST:: SOT 4913603 SOS 1063576 HAS SOPS 1063576 HAS SOUS 657524 HAS SOUPS 657524 WITH SCORE 658587.576
AT ITER 4613 NEW BEST:: SOT 4913597 SOS 1063564 HAS SOPS 1063564 HAS SOUS 657518 HAS SOUPS 657518 WITH SCORE 658581.564
AT ITER 4623 NEW BEST:: SOT 4913178 SOS 1063530 HAS SOPS 1063530 HAS SOUS 657484 HAS SOUPS 657484 WITH SCORE 658547.53
AT ITER 4647 NEW BEST:: SOT 4913148 SOS 1063560 HAS SOPS 1063560 HAS SOUS 657454 HAS SOUPS 657454 WITH SCORE 658517.56
AT ITER 4695 NEW BEST:: SOT 4913165 SOS 1063378 HAS SOPS 1063378 HAS SOUS 657272 HAS SOUPS 657272 WITH SCORE 658335.378
AT ITER 4700 NEW BEST:: SOT 4913127 SOS 1063302 HAS SOPS 1063302 HAS SOUS 657196 HAS SOUPS 657196 WITH SCORE 658259.302
AT ITER 4715 NEW BEST:: SOT 4913128 SOS 1063304 HAS SOPS 1063304 HAS SOUS 657170 HAS SOUPS 657170 WITH SCORE 658233.304
AT ITER 4745 NEW BEST:: SOT 4913128 SOS 1063304 HAS SOPS 1063304 HAS SOUS 657169 HAS SOUPS 657169 WITH SCORE 658232.304
AT ITER 4751 NEW BEST:: SOT 4913128 SOS 1062968 HAS SOPS 1062968 HAS SOUS 657169 HAS SOUPS 657169 WITH SCORE 658231.968
AT ITER 4757 NEW BEST:: SOT 4913038 SOS 1062977 HAS SOPS 1062977 HAS SOUS 657142 HAS SOUPS 657142 WITH SCORE 658204.977
AT ITER 4774 NEW BEST:: SOT 4913038 SOS 1062931 HAS SOPS 1062931 HAS SOUS 657096 HAS SOUPS 657096 WITH SCORE 658158.931
AT ITER 4786 NEW BEST:: SOT 4912966 SOS 1062859 HAS SOPS 1062859 HAS SOUS 657024 HAS SOUPS 657024 WITH SCORE 658086.859
AT ITER 4791 NEW BEST:: SOT 4912940 SOS 1062781 HAS SOPS 1062781 HAS SOUS 656985 HAS SOUPS 656985 WITH SCORE 658047.781
AT ITER 4796 NEW BEST:: SOT 4912823 SOS 1062664 HAS SOPS 1062664 HAS SOUS 656868 HAS SOUPS 656868 WITH SCORE 657930.664
AT ITER 4855 NEW BEST:: SOT 4912823 SOS 1062552 HAS SOPS 1062552 HAS SOUS 656756 HAS SOUPS 656756 WITH SCORE 657818.552
AT ITER 4902 NEW BEST:: SOT 4912988 SOS 1062502 HAS SOPS 1062502 HAS SOUS 656706 HAS SOUPS 656706 WITH SCORE 657768.502
AT ITER 4938 NEW BEST:: SOT 4912880 SOS 1062286 HAS SOPS 1062286 HAS SOUS 656673 HAS SOUPS 656673 WITH SCORE 657735.286
AT ITER 4996 NEW BEST:: SOT 4912734 SOS 1063398 HAS SOPS 1063398 HAS SOUS 656381 HAS SOUPS 656381 WITH SCORE 657444.398
AT ITER 5000 NEW BEST:: SOT 4912710 SOS 1063350 HAS SOPS 1063350 HAS SOUS 656342 HAS SOUPS 656342 WITH SCORE 657405.35
AT ITER 5079 NEW BEST:: SOT 4912610 SOS 1063446 HAS SOPS 1063446 HAS SOUS 656341 HAS SOUPS 656341 WITH SCORE 657404.446
AT ITER 5084 NEW BEST:: SOT 4912507 SOS 1063240 HAS SOPS 1063240 HAS SOUS 656135 HAS SOUPS 656135 WITH SCORE 657198.24
AT ITER 5102 NEW BEST:: SOT 4912476 SOS 1063178 HAS SOPS 1063178 HAS SOUS 656069 HAS SOUPS 656069 WITH SCORE 657132.178
AT ITER 5116 NEW BEST:: SOT 4912387 SOS 1063089 HAS SOPS 1063089 HAS SOUS 655980 HAS SOUPS 655980 WITH SCORE 657043.089
AT ITER 5132 NEW BEST:: SOT 4912387 SOS 1062914 HAS SOPS 1062914 HAS SOUS 655805 HAS SOUPS 655805 WITH SCORE 656867.914
AT ITER 5159 NEW BEST:: SOT 4912284 SOS 1062811 HAS SOPS 1062811 HAS SOUS 655702 HAS SOUPS 655702 WITH SCORE 656764.811
AT ITER 5167 NEW BEST:: SOT 4912157 SOS 1062780 HAS SOPS 1062780 HAS SOUS 655671 HAS SOUPS 655671 WITH SCORE 656733.78
AT ITER 5171 NEW BEST:: SOT 4912100 SOS 1062831 HAS SOPS 1062831 HAS SOUS 655556 HAS SOUPS 655556 WITH SCORE 656618.831
AT ITER 5190 NEW BEST:: SOT 4912049 SOS 1062729 HAS SOPS 1062729 HAS SOUS 655454 HAS SOUPS 655454 WITH SCORE 656516.729
AT ITER 5210 NEW BEST:: SOT 4911759 SOS 1058959 HAS SOPS 1058959 HAS SOUS 654874 HAS SOUPS 654874 WITH SCORE 655932.959
AT ITER 5264 NEW BEST:: SOT 4911540 SOS 1058813 HAS SOPS 1058813 HAS SOUS 654728 HAS SOUPS 654728 WITH SCORE 655786.813
AT ITER 5289 NEW BEST:: SOT 4910937 SOS 1058202 HAS SOPS 1058202 HAS SOUS 654126 HAS SOUPS 654126 WITH SCORE 655184.202
AT ITER 5291 NEW BEST:: SOT 4910937 SOS 1057214 HAS SOPS 1057214 HAS SOUS 654044 HAS SOUPS 654044 WITH SCORE 655101.214
AT ITER 5301 NEW BEST:: SOT 4910881 SOS 1057214 HAS SOPS 1057214 HAS SOUS 653932 HAS SOUPS 653932 WITH SCORE 654989.214
AT ITER 5310 NEW BEST:: SOT 4910881 SOS 1057084 HAS SOPS 1057084 HAS SOUS 653802 HAS SOUPS 653802 WITH SCORE 654859.084
AT ITER 5316 NEW BEST:: SOT 4910698 SOS 1055961 HAS SOPS 1055961 HAS SOUS 653525 HAS SOUPS 653525 WITH SCORE 654580.961
AT ITER 5329 NEW BEST:: SOT 4910554 SOS 1055673 HAS SOPS 1055673 HAS SOUS 653237 HAS SOUPS 653237 WITH SCORE 654292.673
AT ITER 5333 NEW BEST:: SOT 4909809 SOS 1055667 HAS SOPS 1055667 HAS SOUS 653196 HAS SOUPS 653196 WITH SCORE 654251.667
AT ITER 5345 NEW BEST:: SOT 4909551 SOS 1055495 HAS SOPS 1055495 HAS SOUS 653024 HAS SOUPS 653024 WITH SCORE 654079.495
AT ITER 5353 NEW BEST:: SOT 4909533 SOS 1055441 HAS SOPS 1055441 HAS SOUS 652988 HAS SOUPS 652988 WITH SCORE 654043.441
AT ITER 5362 NEW BEST:: SOT 4909430 SOS 1055441 HAS SOPS 1055441 HAS SOUS 652885 HAS SOUPS 652885 WITH SCORE 653940.441
AT ITER 5365 NEW BEST:: SOT 4909430 SOS 1055281 HAS SOPS 1055281 HAS SOUS 652885 HAS SOUPS 652885 WITH SCORE 653940.281
AT ITER 5377 NEW BEST:: SOT 4909258 SOS 1055109 HAS SOPS 1055109 HAS SOUS 652713 HAS SOUPS 652713 WITH SCORE 653768.109
AT ITER 5421 NEW BEST:: SOT 4909170 SOS 1054933 HAS SOPS 1054933 HAS SOUS 652361 HAS SOUPS 652361 WITH SCORE 653415.933
AT ITER 5424 NEW BEST:: SOT 4909160 SOS 1054928 HAS SOPS 1054928 HAS SOUS 652356 HAS SOUPS 652356 WITH SCORE 653410.928
AT ITER 5429 NEW BEST:: SOT 4908790 SOS 1054558 HAS SOPS 1054558 HAS SOUS 651986 HAS SOUPS 651986 WITH SCORE 653040.558
AT ITER 5467 NEW BEST:: SOT 4908597 SOS 1054484 HAS SOPS 1054484 HAS SOUS 651804 HAS SOUPS 651804 WITH SCORE 652858.484
AT ITER 5480 NEW BEST:: SOT 4908364 SOS 1054633 HAS SOPS 1054633 HAS SOUS 651674 HAS SOUPS 651674 WITH SCORE 652728.633
AT ITER 5489 NEW BEST:: SOT 4908222 SOS 1054349 HAS SOPS 1054349 HAS SOUS 651515 HAS SOUPS 651515 WITH SCORE 652569.349
AT ITER 5524 NEW BEST:: SOT 4908481 SOS 1053682 HAS SOPS 1053682 HAS SOUS 651501 HAS SOUPS 651501 WITH SCORE 652554.682
AT ITER 5541 NEW BEST:: SOT 4908219 SOS 1053158 HAS SOPS 1053158 HAS SOUS 651290 HAS SOUPS 651290 WITH SCORE 652343.158
AT ITER 5545 NEW BEST:: SOT 4908380 SOS 1053251 HAS SOPS 1053251 HAS SOUS 651116 HAS SOUPS 651116 WITH SCORE 652169.251
AT ITER 5547 NEW BEST:: SOT 4908170 SOS 1053251 HAS SOPS 1053251 HAS SOUS 651090 HAS SOUPS 651090 WITH SCORE 652143.251
AT ITER 5584 NEW BEST:: SOT 4908170 SOS 1053239 HAS SOPS 1053239 HAS SOUS 651078 HAS SOUPS 651078 WITH SCORE 652131.239
AT ITER 5590 NEW BEST:: SOT 4908143 SOS 1053284 HAS SOPS 1053284 HAS SOUS 651051 HAS SOUPS 651051 WITH SCORE 652104.284
AT ITER 5598 NEW BEST:: SOT 4908137 SOS 1053277 HAS SOPS 1053277 HAS SOUS 651044 HAS SOUPS 651044 WITH SCORE 652097.277
AT ITER 5615 NEW BEST:: SOT 4908137 SOS 1053005 HAS SOPS 1053005 HAS SOUS 651044 HAS SOUPS 651044 WITH SCORE 652097.005
AT ITER 5655 NEW BEST:: SOT 4908137 SOS 1053201 HAS SOPS 1053201 HAS SOUS 650987 HAS SOUPS 650987 WITH SCORE 652040.201
AT ITER 5676 NEW BEST:: SOT 4907183 SOS 1052247 HAS SOPS 1052247 HAS SOUS 650033 HAS SOUPS 650033 WITH SCORE 651085.247
AT ITER 5697 NEW BEST:: SOT 4906997 SOS 1052150 HAS SOPS 1052150 HAS SOUS 649945 HAS SOUPS 649945 WITH SCORE 650997.15
AT ITER 5709 NEW BEST:: SOT 4907116 SOS 1052388 HAS SOPS 1052388 HAS SOUS 649806 HAS SOUPS 649806 WITH SCORE 650858.388
AT ITER 5719 NEW BEST:: SOT 4907157 SOS 1052470 HAS SOPS 1052470 HAS SOUS 649771 HAS SOUPS 649771 WITH SCORE 650823.47
AT ITER 5734 NEW BEST:: SOT 4907127 SOS 1052438 HAS SOPS 1052438 HAS SOUS 649760 HAS SOUPS 649760 WITH SCORE 650812.438
AT ITER 5769 NEW BEST:: SOT 4907095 SOS 1052374 HAS SOPS 1052374 HAS SOUS 649728 HAS SOUPS 649728 WITH SCORE 650780.374
AT ITER 5830 NEW BEST:: SOT 4907091 SOS 1052372 HAS SOPS 1052372 HAS SOUS 649726 HAS SOUPS 649726 WITH SCORE 650778.372
AT ITER 5847 NEW BEST:: SOT 4906963 SOS 1053540 HAS SOPS 1053540 HAS SOUS 649469 HAS SOUPS 649469 WITH SCORE 650522.54
AT ITER 5868 NEW BEST:: SOT 4906919 SOS 1054387 HAS SOPS 1054387 HAS SOUS 649380 HAS SOUPS 649380 WITH SCORE 650434.387
AT ITER 5891 NEW BEST:: SOT 4906919 SOS 1053856 HAS SOPS 1053856 HAS SOUS 649203 HAS SOUPS 649203 WITH SCORE 650256.856
AT ITER 5974 NEW BEST:: SOT 4906819 SOS 1053347 HAS SOPS 1053347 HAS SOUS 648794 HAS SOUPS 648794 WITH SCORE 649847.347
AT ITER 5982 NEW BEST:: SOT 4906720 SOS 1053149 HAS SOPS 1053149 HAS SOUS 648596 HAS SOUPS 648596 WITH SCORE 649649.149
AT ITER 5983 NEW BEST:: SOT 4906567 SOS 1052843 HAS SOPS 1052843 HAS SOUS 648220 HAS SOUPS 648220 WITH SCORE 649272.843
AT ITER 5986 NEW BEST:: SOT 4906567 SOS 1052833 HAS SOPS 1052833 HAS SOUS 648210 HAS SOUPS 648210 WITH SCORE 649262.833
AT ITER 5987 NEW BEST:: SOT 4906567 SOS 1052784 HAS SOPS 1052784 HAS SOUS 648161 HAS SOUPS 648161 WITH SCORE 649213.784
AT ITER 5996 NEW BEST:: SOT 4906637 SOS 1052924 HAS SOPS 1052924 HAS SOUS 648055 HAS SOUPS 648055 WITH SCORE 649107.924
AT ITER 6137 NEW BEST:: SOT 4906271 SOS 1052497 HAS SOPS 1052497 HAS SOUS 647689 HAS SOUPS 647689 WITH SCORE 648741.497
AT ITER 6161 NEW BEST:: SOT 4906238 SOS 1052431 HAS SOPS 1052431 HAS SOUS 647609 HAS SOUPS 647609 WITH SCORE 648661.431
AT ITER 6176 NEW BEST:: SOT 4906216 SOS 1052189 HAS SOPS 1052189 HAS SOUS 647587 HAS SOUPS 647587 WITH SCORE 648639.189
AT ITER 6223 NEW BEST:: SOT 4906232 SOS 1052221 HAS SOPS 1052221 HAS SOUS 647228 HAS SOUPS 647228 WITH SCORE 648280.221
AT ITER 6242 NEW BEST:: SOT 4906226 SOS 1052201 HAS SOPS 1052201 HAS SOUS 647228 HAS SOUPS 647228 WITH SCORE 648280.201
AT ITER 6255 NEW BEST:: SOT 4906354 SOS 1051653 HAS SOPS 1051653 HAS SOUS 647088 HAS SOUPS 647088 WITH SCORE 648139.653
AT ITER 6324 NEW BEST:: SOT 4906354 SOS 1052102 HAS SOPS 1052102 HAS SOUS 647087 HAS SOUPS 647087 WITH SCORE 648139.102
AT ITER 6325 NEW BEST:: SOT 4906036 SOS 1051784 HAS SOPS 1051784 HAS SOUS 646769 HAS SOUPS 646769 WITH SCORE 647820.784
AT ITER 6329 NEW BEST:: SOT 4906036 SOS 1052161 HAS SOPS 1052161 HAS SOUS 646768 HAS SOUPS 646768 WITH SCORE 647820.161
AT ITER 6342 NEW BEST:: SOT 4905963 SOS 1052015 HAS SOPS 1052015 HAS SOUS 646695 HAS SOUPS 646695 WITH SCORE 647747.015
AT ITER 6352 NEW BEST:: SOT 4905956 SOS 1052001 HAS SOPS 1052001 HAS SOUS 646693 HAS SOUPS 646693 WITH SCORE 647745.001
AT ITER 6393 NEW BEST:: SOT 4906159 SOS 1051807 HAS SOPS 1051807 HAS SOUS 646550 HAS SOUPS 646550 WITH SCORE 647601.807
AT ITER 6398 NEW BEST:: SOT 4906081 SOS 1051768 HAS SOPS 1051768 HAS SOUS 646511 HAS SOUPS 646511 WITH SCORE 647562.768
AT ITER 6428 NEW BEST:: SOT 4906186 SOS 1052943 HAS SOPS 1052943 HAS SOUS 646397 HAS SOUPS 646397 WITH SCORE 647449.943
AT ITER 6449 NEW BEST:: SOT 4906185 SOS 1052941 HAS SOPS 1052941 HAS SOUS 646395 HAS SOUPS 646395 WITH SCORE 647447.941
AT ITER 6486 NEW BEST:: SOT 4905854 SOS 1053158 HAS SOPS 1053158 HAS SOUS 646357 HAS SOUPS 646357 WITH SCORE 647410.158
AT ITER 6530 NEW BEST:: SOT 4905646 SOS 1053134 HAS SOPS 1053134 HAS SOUS 646333 HAS SOUPS 646333 WITH SCORE 647386.134
AT ITER 6536 NEW BEST:: SOT 4905528 SOS 1053088 HAS SOPS 1053088 HAS SOUS 646287 HAS SOUPS 646287 WITH SCORE 647340.088
AT ITER 6556 NEW BEST:: SOT 4905528 SOS 1053175 HAS SOPS 1053175 HAS SOUS 646286 HAS SOUPS 646286 WITH SCORE 647339.175
AT ITER 6580 NEW BEST:: SOT 4905520 SOS 1052937 HAS SOPS 1052937 HAS SOUS 646056 HAS SOUPS 646056 WITH SCORE 647108.937
AT ITER 6597 NEW BEST:: SOT 4905370 SOS 1052800 HAS SOPS 1052800 HAS SOUS 645919 HAS SOUPS 645919 WITH SCORE 646971.8
AT ITER 6652 NEW BEST:: SOT 4905134 SOS 1052696 HAS SOPS 1052696 HAS SOUS 645328 HAS SOUPS 645328 WITH SCORE 646380.696
AT ITER 6667 NEW BEST:: SOT 4905134 SOS 1052696 HAS SOPS 1052696 HAS SOUS 645327 HAS SOUPS 645327 WITH SCORE 646379.696
AT ITER 6746 NEW BEST:: SOT 4904868 SOS 1049770 HAS SOPS 1049770 HAS SOUS 644795 HAS SOUPS 644795 WITH SCORE 645844.77
AT ITER 6748 NEW BEST:: SOT 4904868 SOS 1049770 HAS SOPS 1049770 HAS SOUS 644794 HAS SOUPS 644794 WITH SCORE 645843.77
AT ITER 6785 NEW BEST:: SOT 4904381 SOS 1049283 HAS SOPS 1049283 HAS SOUS 644307 HAS SOUPS 644307 WITH SCORE 645356.283
AT ITER 6876 NEW BEST:: SOT 4904241 SOS 1049003 HAS SOPS 1049003 HAS SOUS 644289 HAS SOUPS 644289 WITH SCORE 645338.003
AT ITER 6895 NEW BEST:: SOT 4904252 SOS 1048659 HAS SOPS 1048659 HAS SOUS 644178 HAS SOUPS 644178 WITH SCORE 645226.659
AT ITER 6901 NEW BEST:: SOT 4904215 SOS 1048263 HAS SOPS 1048263 HAS SOUS 643980 HAS SOUPS 643980 WITH SCORE 645028.263
AT ITER 6928 NEW BEST:: SOT 4904176 SOS 1048185 HAS SOPS 1048185 HAS SOUS 643902 HAS SOUPS 643902 WITH SCORE 644950.185
AT ITER 6953 NEW BEST:: SOT 4904160 SOS 1048611 HAS SOPS 1048611 HAS SOUS 643870 HAS SOUPS 643870 WITH SCORE 644918.611
AT ITER 6957 NEW BEST:: SOT 4904068 SOS 1048426 HAS SOPS 1048426 HAS SOUS 643685 HAS SOUPS 643685 WITH SCORE 644733.426
AT ITER 6978 NEW BEST:: SOT 4901718 SOS 1046714 HAS SOPS 1046714 HAS SOUS 641622 HAS SOUPS 641622 WITH SCORE 642668.714
AT ITER 7004 NEW BEST:: SOT 4901667 SOS 1046612 HAS SOPS 1046612 HAS SOUS 641520 HAS SOUPS 641520 WITH SCORE 642566.612
AT ITER 7022 NEW BEST:: SOT 4901561 SOS 1045340 HAS SOPS 1045340 HAS SOUS 641221 HAS SOUPS 641221 WITH SCORE 642266.34
AT ITER 7057 NEW BEST:: SOT 4901337 SOS 1045209 HAS SOPS 1045209 HAS SOUS 640996 HAS SOUPS 640996 WITH SCORE 642041.209
AT ITER 7060 NEW BEST:: SOT 4901494 SOS 1045156 HAS SOPS 1045156 HAS SOUS 640969 HAS SOUPS 640969 WITH SCORE 642014.156
AT ITER 7072 NEW BEST:: SOT 4901423 SOS 1045290 HAS SOPS 1045290 HAS SOUS 640896 HAS SOUPS 640896 WITH SCORE 641941.29
AT ITER 7077 NEW BEST:: SOT 4901384 SOS 1045090 HAS SOPS 1045090 HAS SOUS 640796 HAS SOUPS 640796 WITH SCORE 641841.09
AT ITER 7085 NEW BEST:: SOT 4901356 SOS 1045034 HAS SOPS 1045034 HAS SOUS 640740 HAS SOUPS 640740 WITH SCORE 641785.034
AT ITER 7102 NEW BEST:: SOT 4901356 SOS 1044952 HAS SOPS 1044952 HAS SOUS 640694 HAS SOUPS 640694 WITH SCORE 641738.952
AT ITER 7126 NEW BEST:: SOT 4901388 SOS 1045727 HAS SOPS 1045727 HAS SOUS 640677 HAS SOUPS 640677 WITH SCORE 641722.727
AT ITER 7180 NEW BEST:: SOT 4901407 SOS 1045726 HAS SOPS 1045726 HAS SOUS 640676 HAS SOUPS 640676 WITH SCORE 641721.726
AT ITER 7230 NEW BEST:: SOT 4901389 SOS 1045725 HAS SOPS 1045725 HAS SOUS 640675 HAS SOUPS 640675 WITH SCORE 641720.725
AT ITER 7233 NEW BEST:: SOT 4901328 SOS 1045603 HAS SOPS 1045603 HAS SOUS 640553 HAS SOUPS 640553 WITH SCORE 641598.603
AT ITER 7236 NEW BEST:: SOT 4901328 SOS 1045602 HAS SOPS 1045602 HAS SOUS 640306 HAS SOUPS 640306 WITH SCORE 641351.602
AT ITER 7237 NEW BEST:: SOT 4901091 SOS 1046148 HAS SOPS 1046148 HAS SOUS 640241 HAS SOUPS 640241 WITH SCORE 641287.148
AT ITER 7257 NEW BEST:: SOT 4901091 SOS 1046110 HAS SOPS 1046110 HAS SOUS 640203 HAS SOUPS 640203 WITH SCORE 641249.11
AT ITER 7284 NEW BEST:: SOT 4901091 SOS 1046609 HAS SOPS 1046609 HAS SOUS 640202 HAS SOUPS 640202 WITH SCORE 641248.609
AT ITER 7300 NEW BEST:: SOT 4901091 SOS 1046609 HAS SOPS 1046609 HAS SOUS 640089 HAS SOUPS 640089 WITH SCORE 641135.609
AT ITER 7303 NEW BEST:: SOT 4901250 SOS 1046180 HAS SOPS 1046180 HAS SOUS 640004 HAS SOUPS 640004 WITH SCORE 641050.18
AT ITER 7306 NEW BEST:: SOT 4901260 SOS 1045884 HAS SOPS 1045884 HAS SOUS 639887 HAS SOUPS 639887 WITH SCORE 640932.884
AT ITER 7343 NEW BEST:: SOT 4901201 SOS 1045859 HAS SOPS 1045859 HAS SOUS 639862 HAS SOUPS 639862 WITH SCORE 640907.859
AT ITER 7377 NEW BEST:: SOT 4901118 SOS 1045776 HAS SOPS 1045776 HAS SOUS 639779 HAS SOUPS 639779 WITH SCORE 640824.776
AT ITER 7406 NEW BEST:: SOT 4901158 SOS 1045736 HAS SOPS 1045736 HAS SOUS 639739 HAS SOUPS 639739 WITH SCORE 640784.736
AT ITER 7438 NEW BEST:: SOT 4901237 SOS 1045814 HAS SOPS 1045814 HAS SOUS 639555 HAS SOUPS 639555 WITH SCORE 640600.814
AT ITER 7448 NEW BEST:: SOT 4901048 SOS 1045778 HAS SOPS 1045778 HAS SOUS 639366 HAS SOUPS 639366 WITH SCORE 640411.778
AT ITER 7477 NEW BEST:: SOT 4901048 SOS 1045778 HAS SOPS 1045778 HAS SOUS 639237 HAS SOUPS 639237 WITH SCORE 640282.778
AT ITER 7498 NEW BEST:: SOT 4900926 SOS 1045398 HAS SOPS 1045398 HAS SOUS 639020 HAS SOUPS 639020 WITH SCORE 640065.398
AT ITER 7548 NEW BEST:: SOT 4901112 SOS 1045132 HAS SOPS 1045132 HAS SOUS 638930 HAS SOUPS 638930 WITH SCORE 639975.132
AT ITER 7569 NEW BEST:: SOT 4900814 SOS 1043642 HAS SOPS 1043642 HAS SOUS 638334 HAS SOUPS 638334 WITH SCORE 639377.642
AT ITER 7601 NEW BEST:: SOT 4900796 SOS 1043606 HAS SOPS 1043606 HAS SOUS 638010 HAS SOUPS 638010 WITH SCORE 639053.606
AT ITER 7607 NEW BEST:: SOT 4900784 SOS 1043594 HAS SOPS 1043594 HAS SOUS 637998 HAS SOUPS 637998 WITH SCORE 639041.594
AT ITER 7615 NEW BEST:: SOT 4900712 SOS 1043309 HAS SOPS 1043309 HAS SOUS 637785 HAS SOUPS 637785 WITH SCORE 638828.309
AT ITER 7620 NEW BEST:: SOT 4900491 SOS 1042868 HAS SOPS 1042868 HAS SOUS 637344 HAS SOUPS 637344 WITH SCORE 638386.868
AT ITER 7634 NEW BEST:: SOT 4900412 SOS 1042789 HAS SOPS 1042789 HAS SOUS 637265 HAS SOUPS 637265 WITH SCORE 638307.789
AT ITER 7657 NEW BEST:: SOT 4900412 SOS 1042789 HAS SOPS 1042789 HAS SOUS 637254 HAS SOUPS 637254 WITH SCORE 638296.789
AT ITER 7667 NEW BEST:: SOT 4900372 SOS 1042709 HAS SOPS 1042709 HAS SOUS 637214 HAS SOUPS 637214 WITH SCORE 638256.709
AT ITER 7670 NEW BEST:: SOT 4900372 SOS 1042709 HAS SOPS 1042709 HAS SOUS 637190 HAS SOUPS 637190 WITH SCORE 638232.709
AT ITER 7689 NEW BEST:: SOT 4900210 SOS 1042385 HAS SOPS 1042385 HAS SOUS 636920 HAS SOUPS 636920 WITH SCORE 637962.385
AT ITER 7696 NEW BEST:: SOT 4900205 SOS 1042375 HAS SOPS 1042375 HAS SOUS 636910 HAS SOUPS 636910 WITH SCORE 637952.375
AT ITER 7699 NEW BEST:: SOT 4900181 SOS 1042327 HAS SOPS 1042327 HAS SOUS 636862 HAS SOUPS 636862 WITH SCORE 637904.327
AT ITER 7722 NEW BEST:: SOT 4900181 SOS 1042315 HAS SOPS 1042315 HAS SOUS 636850 HAS SOUPS 636850 WITH SCORE 637892.315
AT ITER 7742 NEW BEST:: SOT 4900180 SOS 1042313 HAS SOPS 1042313 HAS SOUS 636848 HAS SOUPS 636848 WITH SCORE 637890.313
AT ITER 7746 NEW BEST:: SOT 4900098 SOS 1042167 HAS SOPS 1042167 HAS SOUS 636627 HAS SOUPS 636627 WITH SCORE 637669.167
AT ITER 7755 NEW BEST:: SOT 4899799 SOS 1041868 HAS SOPS 1041868 HAS SOUS 636328 HAS SOUPS 636328 WITH SCORE 637369.868
AT ITER 7771 NEW BEST:: SOT 4899489 SOS 1041558 HAS SOPS 1041558 HAS SOUS 636018 HAS SOUPS 636018 WITH SCORE 637059.558
AT ITER 7774 NEW BEST:: SOT 4899402 SOS 1041384 HAS SOPS 1041384 HAS SOUS 635844 HAS SOUPS 635844 WITH SCORE 636885.384
AT ITER 7795 NEW BEST:: SOT 4899331 SOS 1041498 HAS SOPS 1041498 HAS SOUS 635773 HAS SOUPS 635773 WITH SCORE 636814.498
AT ITER 7841 NEW BEST:: SOT 4899289 SOS 1041393 HAS SOPS 1041393 HAS SOUS 635731 HAS SOUPS 635731 WITH SCORE 636772.393
AT ITER 7856 NEW BEST:: SOT 4899005 SOS 1041241 HAS SOPS 1041241 HAS SOUS 635588 HAS SOUPS 635588 WITH SCORE 636629.241
AT ITER 7873 NEW BEST:: SOT 4898977 SOS 1041073 HAS SOPS 1041073 HAS SOUS 635546 HAS SOUPS 635546 WITH SCORE 636587.073
AT ITER 7877 NEW BEST:: SOT 4898403 SOS 1041715 HAS SOPS 1041715 HAS SOUS 635488 HAS SOUPS 635488 WITH SCORE 636529.715
AT ITER 7890 NEW BEST:: SOT 4898391 SOS 1041691 HAS SOPS 1041691 HAS SOUS 635464 HAS SOUPS 635464 WITH SCORE 636505.691
AT ITER 7903 NEW BEST:: SOT 4898299 SOS 1040909 HAS SOPS 1040909 HAS SOUS 635372 HAS SOUPS 635372 WITH SCORE 636412.909
AT ITER 7961 NEW BEST:: SOT 4898222 SOS 1040755 HAS SOPS 1040755 HAS SOUS 635295 HAS SOUPS 635295 WITH SCORE 636335.755
AT ITER 7970 NEW BEST:: SOT 4898130 SOS 1040571 HAS SOPS 1040571 HAS SOUS 635111 HAS SOUPS 635111 WITH SCORE 636151.571
AT ITER 8035 NEW BEST:: SOT 4898130 SOS 1040571 HAS SOPS 1040571 HAS SOUS 635042 HAS SOUPS 635042 WITH SCORE 636082.571
AT ITER 8039 NEW BEST:: SOT 4898075 SOS 1040109 HAS SOPS 1040109 HAS SOUS 634987 HAS SOUPS 634987 WITH SCORE 636027.109
AT ITER 8054 NEW BEST:: SOT 4898124 SOS 1039535 HAS SOPS 1039535 HAS SOUS 634812 HAS SOUPS 634812 WITH SCORE 635851.535
AT ITER 8055 NEW BEST:: SOT 4898044 SOS 1039455 HAS SOPS 1039455 HAS SOUS 634732 HAS SOUPS 634732 WITH SCORE 635771.455
AT ITER 8080 NEW BEST:: SOT 4898039 SOS 1039455 HAS SOPS 1039455 HAS SOUS 634727 HAS SOUPS 634727 WITH SCORE 635766.455
AT ITER 8122 NEW BEST:: SOT 4898039 SOS 1039438 HAS SOPS 1039438 HAS SOUS 634710 HAS SOUPS 634710 WITH SCORE 635749.438
AT ITER 8146 NEW BEST:: SOT 4898039 SOS 1039242 HAS SOPS 1039242 HAS SOUS 634661 HAS SOUPS 634661 WITH SCORE 635700.242
AT ITER 8172 NEW BEST:: SOT 4897861 SOS 1038352 HAS SOPS 1038352 HAS SOUS 634572 HAS SOUPS 634572 WITH SCORE 635610.352
AT ITER 8187 NEW BEST:: SOT 4897443 SOS 1037934 HAS SOPS 1037934 HAS SOUS 634154 HAS SOUPS 634154 WITH SCORE 635191.934
AT ITER 8246 NEW BEST:: SOT 4897443 SOS 1037924 HAS SOPS 1037924 HAS SOUS 634131 HAS SOUPS 634131 WITH SCORE 635168.924
AT ITER 8279 NEW BEST:: SOT 4897443 SOS 1037924 HAS SOPS 1037924 HAS SOUS 634029 HAS SOUPS 634029 WITH SCORE 635066.924
AT ITER 8301 NEW BEST:: SOT 4896609 SOS 1036830 HAS SOPS 1036830 HAS SOUS 632621 HAS SOUPS 632621 WITH SCORE 633657.83
AT ITER 8307 NEW BEST:: SOT 4896902 SOS 1035880 HAS SOPS 1035880 HAS SOUS 632448 HAS SOUPS 632448 WITH SCORE 633483.88
AT ITER 8326 NEW BEST:: SOT 4896902 SOS 1035850 HAS SOPS 1035850 HAS SOUS 632418 HAS SOUPS 632418 WITH SCORE 633453.85
AT ITER 8327 NEW BEST:: SOT 4896844 SOS 1035734 HAS SOPS 1035734 HAS SOUS 632369 HAS SOUPS 632369 WITH SCORE 633404.734
AT ITER 8337 NEW BEST:: SOT 4896844 SOS 1035844 HAS SOPS 1035844 HAS SOUS 632368 HAS SOUPS 632368 WITH SCORE 633403.844
AT ITER 8356 NEW BEST:: SOT 4896843 SOS 1035836 HAS SOPS 1035836 HAS SOUS 632366 HAS SOUPS 632366 WITH SCORE 633401.836
AT ITER 8360 NEW BEST:: SOT 4896837 SOS 1035830 HAS SOPS 1035830 HAS SOUS 632360 HAS SOUPS 632360 WITH SCORE 633395.83
AT ITER 8409 NEW BEST:: SOT 4896811 SOS 1035778 HAS SOPS 1035778 HAS SOUS 632308 HAS SOUPS 632308 WITH SCORE 633343.778
AT ITER 8412 NEW BEST:: SOT 4896811 SOS 1035824 HAS SOPS 1035824 HAS SOUS 632307 HAS SOUPS 632307 WITH SCORE 633342.824
AT ITER 8423 NEW BEST:: SOT 4896986 SOS 1035978 HAS SOPS 1035978 HAS SOUS 632286 HAS SOUPS 632286 WITH SCORE 633321.978
AT ITER 8442 NEW BEST:: SOT 4896707 SOS 1035814 HAS SOPS 1035814 HAS SOUS 632122 HAS SOUPS 632122 WITH SCORE 633157.814
AT ITER 8490 NEW BEST:: SOT 4896706 SOS 1035812 HAS SOPS 1035812 HAS SOUS 632120 HAS SOUPS 632120 WITH SCORE 633155.812
AT ITER 8539 NEW BEST:: SOT 4896556 SOS 1034912 HAS SOPS 1034912 HAS SOUS 631670 HAS SOUPS 631670 WITH SCORE 632704.912
AT ITER 8545 NEW BEST:: SOT 4896588 SOS 1034911 HAS SOPS 1034911 HAS SOUS 631669 HAS SOUPS 631669 WITH SCORE 632703.911
AT ITER 8555 NEW BEST:: SOT 4896540 SOS 1034887 HAS SOPS 1034887 HAS SOUS 631645 HAS SOUPS 631645 WITH SCORE 632679.887
AT ITER 8561 NEW BEST:: SOT 4896478 SOS 1034407 HAS SOPS 1034407 HAS SOUS 631482 HAS SOUPS 631482 WITH SCORE 632516.407
AT ITER 8614 NEW BEST:: SOT 4896476 SOS 1034403 HAS SOPS 1034403 HAS SOUS 631480 HAS SOUPS 631480 WITH SCORE 632514.403
AT ITER 8618 NEW BEST:: SOT 4896289 SOS 1032346 HAS SOPS 1032346 HAS SOUS 631106 HAS SOUPS 631106 WITH SCORE 632138.346
AT ITER 8652 NEW BEST:: SOT 4895723 SOS 1031913 HAS SOPS 1031913 HAS SOUS 630655 HAS SOUPS 630655 WITH SCORE 631686.913
AT ITER 8657 NEW BEST:: SOT 4895382 SOS 1031708 HAS SOPS 1031708 HAS SOUS 630393 HAS SOUPS 630393 WITH SCORE 631424.708
AT ITER 8661 NEW BEST:: SOT 4893660 SOS 1033406 HAS SOPS 1033406 HAS SOUS 628348 HAS SOUPS 628348 WITH SCORE 629381.406
AT ITER 8671 NEW BEST:: SOT 4893490 SOS 1032301 HAS SOPS 1032301 HAS SOUS 628178 HAS SOUPS 628178 WITH SCORE 629210.301
AT ITER 8679 NEW BEST:: SOT 4893400 SOS 1032391 HAS SOPS 1032391 HAS SOUS 628127 HAS SOUPS 628127 WITH SCORE 629159.391
AT ITER 8684 NEW BEST:: SOT 4893142 SOS 1033141 HAS SOPS 1033141 HAS SOUS 627869 HAS SOUPS 627869 WITH SCORE 628902.141
AT ITER 8698 NEW BEST:: SOT 4892981 SOS 1033071 HAS SOPS 1033071 HAS SOUS 627792 HAS SOUPS 627792 WITH SCORE 628825.071
AT ITER 8714 NEW BEST:: SOT 4892774 SOS 1033058 HAS SOPS 1033058 HAS SOUS 627779 HAS SOUPS 627779 WITH SCORE 628812.058
AT ITER 8725 NEW BEST:: SOT 4892774 SOS 1033055 HAS SOPS 1033055 HAS SOUS 627779 HAS SOUPS 627779 WITH SCORE 628812.055
AT ITER 8728 NEW BEST:: SOT 4892669 SOS 1032845 HAS SOPS 1032845 HAS SOUS 627664 HAS SOUPS 627664 WITH SCORE 628696.845
AT ITER 8731 NEW BEST:: SOT 4892634 SOS 1032782 HAS SOPS 1032782 HAS SOUS 627601 HAS SOUPS 627601 WITH SCORE 628633.782
AT ITER 8737 NEW BEST:: SOT 4892605 SOS 1032724 HAS SOPS 1032724 HAS SOUS 627543 HAS SOUPS 627543 WITH SCORE 628575.724
AT ITER 8788 NEW BEST:: SOT 4891998 SOS 1031510 HAS SOPS 1031510 HAS SOUS 626329 HAS SOUPS 626329 WITH SCORE 627360.51
AT ITER 8796 NEW BEST:: SOT 4891929 SOS 1031937 HAS SOPS 1031937 HAS SOUS 626260 HAS SOUPS 626260 WITH SCORE 627291.937
AT ITER 8810 NEW BEST:: SOT 4891762 SOS 1031603 HAS SOPS 1031603 HAS SOUS 625926 HAS SOUPS 625926 WITH SCORE 626957.603
AT ITER 8815 NEW BEST:: SOT 4891707 SOS 1031548 HAS SOPS 1031548 HAS SOUS 625871 HAS SOUPS 625871 WITH SCORE 626902.548
AT ITER 8833 NEW BEST:: SOT 4891558 SOS 1031213 HAS SOPS 1031213 HAS SOUS 625536 HAS SOUPS 625536 WITH SCORE 626567.213
AT ITER 8844 NEW BEST:: SOT 4891473 SOS 1031043 HAS SOPS 1031043 HAS SOUS 625451 HAS SOUPS 625451 WITH SCORE 626482.043
AT ITER 8854 NEW BEST:: SOT 4891489 SOS 1030552 HAS SOPS 1030552 HAS SOUS 625298 HAS SOUPS 625298 WITH SCORE 626328.552
AT ITER 8855 NEW BEST:: SOT 4891828 SOS 1033110 HAS SOPS 1033110 HAS SOUS 625276 HAS SOUPS 625276 WITH SCORE 626309.11
AT ITER 8872 NEW BEST:: SOT 4891828 SOS 1033346 HAS SOPS 1033346 HAS SOUS 625080 HAS SOUPS 625080 WITH SCORE 626113.346
AT ITER 8878 NEW BEST:: SOT 4891835 SOS 1033261 HAS SOPS 1033261 HAS SOUS 625054 HAS SOUPS 625054 WITH SCORE 626087.261
AT ITER 8891 NEW BEST:: SOT 4891611 SOS 1033092 HAS SOPS 1033092 HAS SOUS 624830 HAS SOUPS 624830 WITH SCORE 625863.092
AT ITER 8892 NEW BEST:: SOT 4891611 SOS 1033074 HAS SOPS 1033074 HAS SOUS 624812 HAS SOUPS 624812 WITH SCORE 625845.074
AT ITER 8912 NEW BEST:: SOT 4891584 SOS 1033211 HAS SOPS 1033211 HAS SOUS 624785 HAS SOUPS 624785 WITH SCORE 625818.211
AT ITER 8921 NEW BEST:: SOT 4891526 SOS 1033095 HAS SOPS 1033095 HAS SOUS 624669 HAS SOUPS 624669 WITH SCORE 625702.095
AT ITER 8931 NEW BEST:: SOT 4891467 SOS 1032977 HAS SOPS 1032977 HAS SOUS 624498 HAS SOUPS 624498 WITH SCORE 625530.977
AT ITER 8989 NEW BEST:: SOT 4891129 SOS 1029259 HAS SOPS 1029259 HAS SOUS 623822 HAS SOUPS 623822 WITH SCORE 624851.259
AT ITER 9021 NEW BEST:: SOT 4891129 SOS 1029259 HAS SOPS 1029259 HAS SOUS 623809 HAS SOUPS 623809 WITH SCORE 624838.259
AT ITER 9052 NEW BEST:: SOT 4891071 SOS 1029143 HAS SOPS 1029143 HAS SOUS 623750 HAS SOUPS 623750 WITH SCORE 624779.143
AT ITER 9061 NEW BEST:: SOT 4891278 SOS 1028651 HAS SOPS 1028651 HAS SOUS 623724 HAS SOUPS 623724 WITH SCORE 624752.651
AT ITER 9075 NEW BEST:: SOT 4891428 SOS 1028691 HAS SOPS 1028691 HAS SOUS 623533 HAS SOUPS 623533 WITH SCORE 624561.691
AT ITER 9076 NEW BEST:: SOT 4891428 SOS 1028946 HAS SOPS 1028946 HAS SOUS 623532 HAS SOUPS 623532 WITH SCORE 624560.946
AT ITER 9132 NEW BEST:: SOT 4891409 SOS 1028908 HAS SOPS 1028908 HAS SOUS 623513 HAS SOUPS 623513 WITH SCORE 624541.908
AT ITER 9148 NEW BEST:: SOT 4891379 SOS 1028848 HAS SOPS 1028848 HAS SOUS 623453 HAS SOUPS 623453 WITH SCORE 624481.848
AT ITER 9170 NEW BEST:: SOT 4891227 SOS 1028699 HAS SOPS 1028699 HAS SOUS 623149 HAS SOUPS 623149 WITH SCORE 624177.699
AT ITER 9187 NEW BEST:: SOT 4891197 SOS 1028324 HAS SOPS 1028324 HAS SOUS 623060 HAS SOUPS 623060 WITH SCORE 624088.324
AT ITER 9194 NEW BEST:: SOT 4891079 SOS 1026877 HAS SOPS 1026877 HAS SOUS 623017 HAS SOUPS 623017 WITH SCORE 624043.877
AT ITER 9199 NEW BEST:: SOT 4891079 SOS 1026875 HAS SOPS 1026875 HAS SOUS 623015 HAS SOUPS 623015 WITH SCORE 624041.875
AT ITER 9203 NEW BEST:: SOT 4891079 SOS 1027134 HAS SOPS 1027134 HAS SOUS 623004 HAS SOUPS 623004 WITH SCORE 624031.134
AT ITER 9225 NEW BEST:: SOT 4890846 SOS 1025642 HAS SOPS 1025642 HAS SOUS 622831 HAS SOUPS 622831 WITH SCORE 623856.642
AT ITER 9232 NEW BEST:: SOT 4890774 SOS 1025498 HAS SOPS 1025498 HAS SOUS 622294 HAS SOUPS 622294 WITH SCORE 623319.498
AT ITER 9306 NEW BEST:: SOT 4890781 SOS 1025394 HAS SOPS 1025394 HAS SOUS 622283 HAS SOUPS 622283 WITH SCORE 623308.394
AT ITER 9348 NEW BEST:: SOT 4890704 SOS 1025314 HAS SOPS 1025314 HAS SOUS 622282 HAS SOUPS 622282 WITH SCORE 623307.314
AT ITER 9395 NEW BEST:: SOT 4890696 SOS 1025298 HAS SOPS 1025298 HAS SOUS 622266 HAS SOUPS 622266 WITH SCORE 623291.298
AT ITER 9408 NEW BEST:: SOT 4890664 SOS 1025136 HAS SOPS 1025136 HAS SOUS 622152 HAS SOUPS 622152 WITH SCORE 623177.136
AT ITER 9425 NEW BEST:: SOT 4890490 SOS 1024787 HAS SOPS 1024787 HAS SOUS 621803 HAS SOUPS 621803 WITH SCORE 622827.787
AT ITER 9455 NEW BEST:: SOT 4890490 SOS 1026060 HAS SOPS 1026060 HAS SOUS 621699 HAS SOUPS 621699 WITH SCORE 622725.06
AT ITER 9514 NEW BEST:: SOT 4890088 SOS 1025991 HAS SOPS 1025991 HAS SOUS 621630 HAS SOUPS 621630 WITH SCORE 622655.991
AT ITER 9539 NEW BEST:: SOT 4890088 SOS 1025400 HAS SOPS 1025400 HAS SOUS 621630 HAS SOUPS 621630 WITH SCORE 622655.4
AT ITER 9568 NEW BEST:: SOT 4890139 SOS 1025502 HAS SOPS 1025502 HAS SOUS 621516 HAS SOUPS 621516 WITH SCORE 622541.502
AT ITER 9665 NEW BEST:: SOT 4890172 SOS 1025436 HAS SOPS 1025436 HAS SOUS 621516 HAS SOUPS 621516 WITH SCORE 622541.436
AT ITER 9671 NEW BEST:: SOT 4889815 SOS 1024722 HAS SOPS 1024722 HAS SOUS 620802 HAS SOUPS 620802 WITH SCORE 621826.722
AT ITER 9674 NEW BEST:: SOT 4889815 SOS 1024664 HAS SOPS 1024664 HAS SOUS 620744 HAS SOUPS 620744 WITH SCORE 621768.664
AT ITER 9720 NEW BEST:: SOT 4889814 SOS 1024663 HAS SOPS 1024663 HAS SOUS 620743 HAS SOUPS 620743 WITH SCORE 621767.663
AT ITER 9737 NEW BEST:: SOT 4889814 SOS 1024672 HAS SOPS 1024672 HAS SOUS 620686 HAS SOUPS 620686 WITH SCORE 621710.672
AT ITER 9742 NEW BEST:: SOT 4889814 SOS 1024953 HAS SOPS 1024953 HAS SOUS 620685 HAS SOUPS 620685 WITH SCORE 621709.953
AT ITER 9757 NEW BEST:: SOT 4889349 SOS 1024261 HAS SOPS 1024261 HAS SOUS 619993 HAS SOUPS 619993 WITH SCORE 621017.261
AT ITER 9781 NEW BEST:: SOT 4889349 SOS 1024100 HAS SOPS 1024100 HAS SOUS 619993 HAS SOUPS 619993 WITH SCORE 621017.1
AT ITER 9825 NEW BEST:: SOT 4889330 SOS 1024062 HAS SOPS 1024062 HAS SOUS 619974 HAS SOUPS 619974 WITH SCORE 620998.062
AT ITER 9846 NEW BEST:: SOT 4889314 SOS 1024030 HAS SOPS 1024030 HAS SOUS 619958 HAS SOUPS 619958 WITH SCORE 620982.03
AT ITER 9938 NEW BEST:: SOT 4889314 SOS 1024030 HAS SOPS 1024030 HAS SOUS 619954 HAS SOUPS 619954 WITH SCORE 620978.03
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 14646200 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16123788 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-06b"
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 DLCround-PT-06b, 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-167814484500680"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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