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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 8.8K Feb 26 15:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 107K Feb 26 15:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 15:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 15:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.4K Feb 26 15:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 15:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 26 15:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 109K Feb 26 15:46 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 15:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Feb 25 15:51 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 110K 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 1678380487014

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=DES-PT-60a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-09 16:48:08] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-09 16:48:08] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-09 16:48:08] [INFO ] Load time of PNML (sax parser for PT used): 60 ms
[2023-03-09 16:48:08] [INFO ] Transformed 354 places.
[2023-03-09 16:48:08] [INFO ] Transformed 311 transitions.
[2023-03-09 16:48:08] [INFO ] Found NUPN structural information;
[2023-03-09 16:48:08] [INFO ] Parsed PT model containing 354 places and 311 transitions and 1496 arcs in 123 ms.
[2023-03-09 16:48:08] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 354 places, 311 transitions and 1496 arcs took 6 ms.
Total runtime 156 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 60a
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: 354 places, 311 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 95725 SOS 91385 HAS SOPS 91385 HAS SOUS 46913 HAS SOUPS 46913 WITH SCORE 47004.385
AT ITER 43 NEW BEST:: SOT 95603 SOS 91323 HAS SOPS 91323 HAS SOUS 46850 HAS SOUPS 46850 WITH SCORE 46941.323
AT ITER 48 NEW BEST:: SOT 95494 SOS 91284 HAS SOPS 91284 HAS SOUS 46810 HAS SOUPS 46810 WITH SCORE 46901.284
AT ITER 68 NEW BEST:: SOT 95273 SOS 91161 HAS SOPS 91161 HAS SOUS 46685 HAS SOUPS 46685 WITH SCORE 46776.161
AT ITER 70 NEW BEST:: SOT 91965 SOS 87853 HAS SOPS 87853 HAS SOUS 43376 HAS SOUPS 43376 WITH SCORE 43463.853
AT ITER 76 NEW BEST:: SOT 91809 SOS 87759 HAS SOPS 87759 HAS SOUS 43279 HAS SOUPS 43279 WITH SCORE 43366.759
AT ITER 80 NEW BEST:: SOT 91541 SOS 87539 HAS SOPS 87539 HAS SOUS 43061 HAS SOUPS 43061 WITH SCORE 43148.539
AT ITER 90 NEW BEST:: SOT 91395 SOS 87393 HAS SOPS 87393 HAS SOUS 42913 HAS SOUPS 42913 WITH SCORE 43000.393
AT ITER 94 NEW BEST:: SOT 91445 SOS 87549 HAS SOPS 87549 HAS SOUS 42795 HAS SOUPS 42795 WITH SCORE 42882.549
AT ITER 111 NEW BEST:: SOT 91440 SOS 87544 HAS SOPS 87544 HAS SOUS 42789 HAS SOUPS 42789 WITH SCORE 42876.544
AT ITER 120 NEW BEST:: SOT 91439 SOS 87543 HAS SOPS 87543 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42875.543
AT ITER 123 NEW BEST:: SOT 91372 SOS 87540 HAS SOPS 87540 HAS SOUS 42784 HAS SOUPS 42784 WITH SCORE 42871.54
AT ITER 125 NEW BEST:: SOT 91238 SOS 87406 HAS SOPS 87406 HAS SOUS 42649 HAS SOUPS 42649 WITH SCORE 42736.406
AT ITER 134 NEW BEST:: SOT 91071 SOS 87326 HAS SOPS 87326 HAS SOUS 42568 HAS SOUPS 42568 WITH SCORE 42655.326
AT ITER 137 NEW BEST:: SOT 90776 SOS 87031 HAS SOPS 87031 HAS SOUS 42431 HAS SOUPS 42431 WITH SCORE 42518.031
AT ITER 147 NEW BEST:: SOT 84592 SOS 80777 HAS SOPS 80777 HAS SOUS 36177 HAS SOUPS 36177 WITH SCORE 36257.777
AT ITER 169 NEW BEST:: SOT 84594 SOS 80790 HAS SOPS 80790 HAS SOUS 35968 HAS SOUPS 35968 WITH SCORE 36048.79
AT ITER 178 NEW BEST:: SOT 84484 SOS 79439 HAS SOPS 79439 HAS SOUS 35949 HAS SOUPS 35949 WITH SCORE 36028.439
AT ITER 180 NEW BEST:: SOT 84291 SOS 79237 HAS SOPS 79237 HAS SOUS 35747 HAS SOUPS 35747 WITH SCORE 35826.237
AT ITER 185 NEW BEST:: SOT 84288 SOS 79234 HAS SOPS 79234 HAS SOUS 35743 HAS SOUPS 35743 WITH SCORE 35822.234
AT ITER 186 NEW BEST:: SOT 84268 SOS 79214 HAS SOPS 79214 HAS SOUS 35697 HAS SOUPS 35697 WITH SCORE 35776.214
AT ITER 187 NEW BEST:: SOT 84224 SOS 79170 HAS SOPS 79170 HAS SOUS 35652 HAS SOUPS 35652 WITH SCORE 35731.17
AT ITER 211 NEW BEST:: SOT 84184 SOS 79173 HAS SOPS 79173 HAS SOUS 35492 HAS SOUPS 35492 WITH SCORE 35571.173
AT ITER 221 NEW BEST:: SOT 84189 SOS 79178 HAS SOPS 79178 HAS SOUS 35487 HAS SOUPS 35487 WITH SCORE 35566.178
AT ITER 222 NEW BEST:: SOT 83908 SOS 78897 HAS SOPS 78897 HAS SOUS 35340 HAS SOUPS 35340 WITH SCORE 35418.897
AT ITER 229 NEW BEST:: SOT 83884 SOS 78863 HAS SOPS 78863 HAS SOUS 35306 HAS SOUPS 35306 WITH SCORE 35384.863
AT ITER 241 NEW BEST:: SOT 83832 SOS 78852 HAS SOPS 78852 HAS SOUS 35242 HAS SOUPS 35242 WITH SCORE 35320.852
AT ITER 274 NEW BEST:: SOT 83713 SOS 78733 HAS SOPS 78733 HAS SOUS 35071 HAS SOUPS 35071 WITH SCORE 35149.733
AT ITER 287 NEW BEST:: SOT 83713 SOS 78732 HAS SOPS 78732 HAS SOUS 35070 HAS SOUPS 35070 WITH SCORE 35148.732
AT ITER 292 NEW BEST:: SOT 83564 SOS 78583 HAS SOPS 78583 HAS SOUS 34933 HAS SOUPS 34933 WITH SCORE 35011.583
AT ITER 305 NEW BEST:: SOT 83529 SOS 78547 HAS SOPS 78547 HAS SOUS 34897 HAS SOUPS 34897 WITH SCORE 34975.547
AT ITER 323 NEW BEST:: SOT 83475 SOS 78493 HAS SOPS 78493 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34910.493
AT ITER 324 NEW BEST:: SOT 83475 SOS 78493 HAS SOPS 78493 HAS SOUS 34788 HAS SOUPS 34788 WITH SCORE 34866.493
AT ITER 326 NEW BEST:: SOT 83343 SOS 78361 HAS SOPS 78361 HAS SOUS 34478 HAS SOUPS 34478 WITH SCORE 34556.361
AT ITER 334 NEW BEST:: SOT 83203 SOS 78221 HAS SOPS 78221 HAS SOUS 34332 HAS SOUPS 34332 WITH SCORE 34410.221
AT ITER 337 NEW BEST:: SOT 83068 SOS 78086 HAS SOPS 78086 HAS SOUS 34229 HAS SOUPS 34229 WITH SCORE 34307.086
AT ITER 344 NEW BEST:: SOT 83067 SOS 78085 HAS SOPS 78085 HAS SOUS 34227 HAS SOUPS 34227 WITH SCORE 34305.085
AT ITER 353 NEW BEST:: SOT 83067 SOS 78084 HAS SOPS 78084 HAS SOUS 34226 HAS SOUPS 34226 WITH SCORE 34304.084
AT ITER 360 NEW BEST:: SOT 83063 SOS 78080 HAS SOPS 78080 HAS SOUS 34221 HAS SOUPS 34221 WITH SCORE 34299.08
AT ITER 378 NEW BEST:: SOT 83057 SOS 78074 HAS SOPS 78074 HAS SOUS 34214 HAS SOUPS 34214 WITH SCORE 34292.074
AT ITER 391 NEW BEST:: SOT 82901 SOS 77918 HAS SOPS 77918 HAS SOUS 33924 HAS SOUPS 33924 WITH SCORE 34001.918
AT ITER 397 NEW BEST:: SOT 82904 SOS 77921 HAS SOPS 77921 HAS SOUS 33917 HAS SOUPS 33917 WITH SCORE 33994.921
AT ITER 399 NEW BEST:: SOT 82903 SOS 77920 HAS SOPS 77920 HAS SOUS 33915 HAS SOUPS 33915 WITH SCORE 33992.92
AT ITER 412 NEW BEST:: SOT 82903 SOS 77920 HAS SOPS 77920 HAS SOUS 33914 HAS SOUPS 33914 WITH SCORE 33991.92
AT ITER 425 NEW BEST:: SOT 82646 SOS 77663 HAS SOPS 77663 HAS SOUS 33784 HAS SOUPS 33784 WITH SCORE 33861.663
AT ITER 427 NEW BEST:: SOT 82688 SOS 77705 HAS SOPS 77705 HAS SOUS 33685 HAS SOUPS 33685 WITH SCORE 33762.705
AT ITER 432 NEW BEST:: SOT 82280 SOS 77297 HAS SOPS 77297 HAS SOUS 33427 HAS SOUPS 33427 WITH SCORE 33504.297
AT ITER 438 NEW BEST:: SOT 82279 SOS 77296 HAS SOPS 77296 HAS SOUS 33425 HAS SOUPS 33425 WITH SCORE 33502.296
AT ITER 448 NEW BEST:: SOT 82103 SOS 77120 HAS SOPS 77120 HAS SOUS 33249 HAS SOUPS 33249 WITH SCORE 33326.12
AT ITER 453 NEW BEST:: SOT 81480 SOS 76497 HAS SOPS 76497 HAS SOUS 33062 HAS SOUPS 33062 WITH SCORE 33138.497
AT ITER 458 NEW BEST:: SOT 81167 SOS 76184 HAS SOPS 76184 HAS SOUS 32564 HAS SOUPS 32564 WITH SCORE 32640.184
AT ITER 463 NEW BEST:: SOT 81158 SOS 76175 HAS SOPS 76175 HAS SOUS 32555 HAS SOUPS 32555 WITH SCORE 32631.175
AT ITER 464 NEW BEST:: SOT 81157 SOS 76173 HAS SOPS 76173 HAS SOUS 32553 HAS SOUPS 32553 WITH SCORE 32629.173
AT ITER 479 NEW BEST:: SOT 81157 SOS 76169 HAS SOPS 76169 HAS SOUS 32549 HAS SOUPS 32549 WITH SCORE 32625.169
AT ITER 489 NEW BEST:: SOT 81138 SOS 76150 HAS SOPS 76150 HAS SOUS 32512 HAS SOUPS 32512 WITH SCORE 32588.15
AT ITER 507 NEW BEST:: SOT 81105 SOS 76117 HAS SOPS 76117 HAS SOUS 32479 HAS SOUPS 32479 WITH SCORE 32555.117
AT ITER 510 NEW BEST:: SOT 81105 SOS 76117 HAS SOPS 76117 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32554.117
AT ITER 512 NEW BEST:: SOT 81028 SOS 76040 HAS SOPS 76040 HAS SOUS 32400 HAS SOUPS 32400 WITH SCORE 32476.04
AT ITER 513 NEW BEST:: SOT 81005 SOS 76017 HAS SOPS 76017 HAS SOUS 32125 HAS SOUPS 32125 WITH SCORE 32201.017
AT ITER 541 NEW BEST:: SOT 80987 SOS 75999 HAS SOPS 75999 HAS SOUS 32089 HAS SOUPS 32089 WITH SCORE 32164.999
AT ITER 543 NEW BEST:: SOT 80987 SOS 75999 HAS SOPS 75999 HAS SOUS 32037 HAS SOUPS 32037 WITH SCORE 32112.999
AT ITER 555 NEW BEST:: SOT 80939 SOS 75951 HAS SOPS 75951 HAS SOUS 31973 HAS SOUPS 31973 WITH SCORE 32048.951
AT ITER 560 NEW BEST:: SOT 80937 SOS 76032 HAS SOPS 76032 HAS SOUS 31898 HAS SOUPS 31898 WITH SCORE 31974.032
AT ITER 561 NEW BEST:: SOT 80928 SOS 76023 HAS SOPS 76023 HAS SOUS 31880 HAS SOUPS 31880 WITH SCORE 31956.023
AT ITER 562 NEW BEST:: SOT 80974 SOS 76069 HAS SOPS 76069 HAS SOUS 31868 HAS SOUPS 31868 WITH SCORE 31944.069
AT ITER 563 NEW BEST:: SOT 80973 SOS 76068 HAS SOPS 76068 HAS SOUS 31866 HAS SOUPS 31866 WITH SCORE 31942.068
AT ITER 564 NEW BEST:: SOT 80972 SOS 76067 HAS SOPS 76067 HAS SOUS 31864 HAS SOUPS 31864 WITH SCORE 31940.067
AT ITER 566 NEW BEST:: SOT 80918 SOS 76013 HAS SOPS 76013 HAS SOUS 31771 HAS SOUPS 31771 WITH SCORE 31847.013
AT ITER 580 NEW BEST:: SOT 80917 SOS 76012 HAS SOPS 76012 HAS SOUS 31769 HAS SOUPS 31769 WITH SCORE 31845.012
AT ITER 608 NEW BEST:: SOT 80767 SOS 75894 HAS SOPS 75894 HAS SOUS 31650 HAS SOUPS 31650 WITH SCORE 31725.894
AT ITER 611 NEW BEST:: SOT 80748 SOS 75875 HAS SOPS 75875 HAS SOUS 31611 HAS SOUPS 31611 WITH SCORE 31686.875
AT ITER 617 NEW BEST:: SOT 79996 SOS 75123 HAS SOPS 75123 HAS SOUS 31596 HAS SOUPS 31596 WITH SCORE 31671.123
AT ITER 625 NEW BEST:: SOT 79952 SOS 75079 HAS SOPS 75079 HAS SOUS 31508 HAS SOUPS 31508 WITH SCORE 31583.079
AT ITER 629 NEW BEST:: SOT 79922 SOS 75049 HAS SOPS 75049 HAS SOUS 31467 HAS SOUPS 31467 WITH SCORE 31542.049
AT ITER 633 NEW BEST:: SOT 79922 SOS 75049 HAS SOPS 75049 HAS SOUS 31413 HAS SOUPS 31413 WITH SCORE 31488.049
AT ITER 650 NEW BEST:: SOT 75261 SOS 70388 HAS SOPS 70388 HAS SOUS 26752 HAS SOUPS 26752 WITH SCORE 26822.388
AT ITER 654 NEW BEST:: SOT 75261 SOS 70388 HAS SOPS 70388 HAS SOUS 26750 HAS SOUPS 26750 WITH SCORE 26820.388
AT ITER 660 NEW BEST:: SOT 75261 SOS 70388 HAS SOPS 70388 HAS SOUS 26739 HAS SOUPS 26739 WITH SCORE 26809.388
AT ITER 668 NEW BEST:: SOT 75261 SOS 70388 HAS SOPS 70388 HAS SOUS 26738 HAS SOUPS 26738 WITH SCORE 26808.388
AT ITER 682 NEW BEST:: SOT 75261 SOS 70366 HAS SOPS 70366 HAS SOUS 26738 HAS SOUPS 26738 WITH SCORE 26808.366
AT ITER 688 NEW BEST:: SOT 75259 SOS 70364 HAS SOPS 70364 HAS SOUS 26734 HAS SOUPS 26734 WITH SCORE 26804.364
AT ITER 693 NEW BEST:: SOT 75258 SOS 70363 HAS SOPS 70363 HAS SOUS 26732 HAS SOUPS 26732 WITH SCORE 26802.363
AT ITER 694 NEW BEST:: SOT 75258 SOS 70345 HAS SOPS 70345 HAS SOUS 26714 HAS SOUPS 26714 WITH SCORE 26784.345
AT ITER 716 NEW BEST:: SOT 71552 SOS 66639 HAS SOPS 66639 HAS SOUS 22804 HAS SOUPS 22804 WITH SCORE 22870.639
AT ITER 743 NEW BEST:: SOT 71524 SOS 66611 HAS SOPS 66611 HAS SOUS 22718 HAS SOUPS 22718 WITH SCORE 22784.611
AT ITER 766 NEW BEST:: SOT 71503 SOS 66604 HAS SOPS 66604 HAS SOUS 22716 HAS SOUPS 22716 WITH SCORE 22782.604
AT ITER 773 NEW BEST:: SOT 71455 SOS 66556 HAS SOPS 66556 HAS SOUS 22620 HAS SOUPS 22620 WITH SCORE 22686.556
AT ITER 776 NEW BEST:: SOT 71453 SOS 66554 HAS SOPS 66554 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22682.554
AT ITER 798 NEW BEST:: SOT 71452 SOS 66553 HAS SOPS 66553 HAS SOUS 22614 HAS SOUPS 22614 WITH SCORE 22680.553
AT ITER 801 NEW BEST:: SOT 71400 SOS 66501 HAS SOPS 66501 HAS SOUS 22510 HAS SOUPS 22510 WITH SCORE 22576.501
AT ITER 814 NEW BEST:: SOT 71399 SOS 66500 HAS SOPS 66500 HAS SOUS 22508 HAS SOUPS 22508 WITH SCORE 22574.5
AT ITER 818 NEW BEST:: SOT 71374 SOS 66475 HAS SOPS 66475 HAS SOUS 22508 HAS SOUPS 22508 WITH SCORE 22574.475
AT ITER 849 NEW BEST:: SOT 71360 SOS 66474 HAS SOPS 66474 HAS SOUS 22493 HAS SOUPS 22493 WITH SCORE 22559.474
AT ITER 858 NEW BEST:: SOT 71359 SOS 66473 HAS SOPS 66473 HAS SOUS 22491 HAS SOUPS 22491 WITH SCORE 22557.473
AT ITER 862 NEW BEST:: SOT 70093 SOS 65207 HAS SOPS 65207 HAS SOUS 21131 HAS SOUPS 21131 WITH SCORE 21196.207
AT ITER 865 NEW BEST:: SOT 70092 SOS 65206 HAS SOPS 65206 HAS SOUS 21129 HAS SOUPS 21129 WITH SCORE 21194.206
AT ITER 877 NEW BEST:: SOT 70049 SOS 65163 HAS SOPS 65163 HAS SOUS 21085 HAS SOUPS 21085 WITH SCORE 21150.163
AT ITER 878 NEW BEST:: SOT 70036 SOS 65150 HAS SOPS 65150 HAS SOUS 21059 HAS SOUPS 21059 WITH SCORE 21124.15
AT ITER 908 NEW BEST:: SOT 70035 SOS 65149 HAS SOPS 65149 HAS SOUS 21057 HAS SOUPS 21057 WITH SCORE 21122.149
AT ITER 918 NEW BEST:: SOT 69963 SOS 65077 HAS SOPS 65077 HAS SOUS 20937 HAS SOUPS 20937 WITH SCORE 21002.077
AT ITER 932 NEW BEST:: SOT 69957 SOS 65093 HAS SOPS 65093 HAS SOUS 20913 HAS SOUPS 20913 WITH SCORE 20978.093
AT ITER 942 NEW BEST:: SOT 69923 SOS 65059 HAS SOPS 65059 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20961.059
AT ITER 960 NEW BEST:: SOT 69922 SOS 65058 HAS SOPS 65058 HAS SOUS 20894 HAS SOUPS 20894 WITH SCORE 20959.058
AT ITER 962 NEW BEST:: SOT 69913 SOS 65049 HAS SOPS 65049 HAS SOUS 20876 HAS SOUPS 20876 WITH SCORE 20941.049
AT ITER 984 NEW BEST:: SOT 69913 SOS 65045 HAS SOPS 65045 HAS SOUS 20870 HAS SOUPS 20870 WITH SCORE 20935.045
AT ITER 985 NEW BEST:: SOT 69913 SOS 65045 HAS SOPS 65045 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20933.045
AT ITER 993 NEW BEST:: SOT 69888 SOS 65020 HAS SOPS 65020 HAS SOUS 20867 HAS SOUPS 20867 WITH SCORE 20932.02
AT ITER 997 NEW BEST:: SOT 69888 SOS 65020 HAS SOPS 65020 HAS SOUS 20866 HAS SOUPS 20866 WITH SCORE 20931.02
AT ITER 998 NEW BEST:: SOT 69888 SOS 65020 HAS SOPS 65020 HAS SOUS 20865 HAS SOUPS 20865 WITH SCORE 20930.02
AT ITER 1012 NEW BEST:: SOT 70070 SOS 65206 HAS SOPS 65206 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20914.206
AT ITER 1013 NEW BEST:: SOT 70052 SOS 65205 HAS SOPS 65205 HAS SOUS 20824 HAS SOUPS 20824 WITH SCORE 20889.205
AT ITER 1017 NEW BEST:: SOT 70022 SOS 65175 HAS SOPS 65175 HAS SOUS 20764 HAS SOUPS 20764 WITH SCORE 20829.175
AT ITER 1030 NEW BEST:: SOT 70022 SOS 65175 HAS SOPS 65175 HAS SOUS 20756 HAS SOUPS 20756 WITH SCORE 20821.175
AT ITER 1033 NEW BEST:: SOT 69986 SOS 65139 HAS SOPS 65139 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20727.139
AT ITER 1039 NEW BEST:: SOT 70003 SOS 65156 HAS SOPS 65156 HAS SOUS 20635 HAS SOUPS 20635 WITH SCORE 20700.156
AT ITER 1050 NEW BEST:: SOT 70012 SOS 65229 HAS SOPS 65229 HAS SOUS 20581 HAS SOUPS 20581 WITH SCORE 20646.229
AT ITER 1051 NEW BEST:: SOT 69810 SOS 65027 HAS SOPS 65027 HAS SOUS 20276 HAS SOUPS 20276 WITH SCORE 20341.027
AT ITER 1060 NEW BEST:: SOT 69810 SOS 65027 HAS SOPS 65027 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20334.027
AT ITER 1063 NEW BEST:: SOT 69810 SOS 65024 HAS SOPS 65024 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20332.024
AT ITER 1077 NEW BEST:: SOT 69680 SOS 64894 HAS SOPS 64894 HAS SOUS 20126 HAS SOUPS 20126 WITH SCORE 20190.894
AT ITER 1078 NEW BEST:: SOT 69615 SOS 64829 HAS SOPS 64829 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19995.829
AT ITER 1080 NEW BEST:: SOT 69587 SOS 64868 HAS SOPS 64868 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19940.868
AT ITER 1085 NEW BEST:: SOT 69577 SOS 64858 HAS SOPS 64858 HAS SOUS 19865 HAS SOUPS 19865 WITH SCORE 19929.858
AT ITER 1100 NEW BEST:: SOT 69548 SOS 64829 HAS SOPS 64829 HAS SOUS 19807 HAS SOUPS 19807 WITH SCORE 19871.829
AT ITER 1127 NEW BEST:: SOT 69532 SOS 64813 HAS SOPS 64813 HAS SOUS 19791 HAS SOUPS 19791 WITH SCORE 19855.813
AT ITER 1130 NEW BEST:: SOT 69531 SOS 64812 HAS SOPS 64812 HAS SOUS 19789 HAS SOUPS 19789 WITH SCORE 19853.812
AT ITER 1155 NEW BEST:: SOT 69531 SOS 64812 HAS SOPS 64812 HAS SOUS 19763 HAS SOUPS 19763 WITH SCORE 19827.812
AT ITER 1161 NEW BEST:: SOT 69505 SOS 64786 HAS SOPS 64786 HAS SOUS 19736 HAS SOUPS 19736 WITH SCORE 19800.786
AT ITER 1167 NEW BEST:: SOT 69511 SOS 64792 HAS SOPS 64792 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19799.792
AT ITER 1168 NEW BEST:: SOT 69511 SOS 64792 HAS SOPS 64792 HAS SOUS 19720 HAS SOUPS 19720 WITH SCORE 19784.792
AT ITER 1171 NEW BEST:: SOT 69142 SOS 64423 HAS SOPS 64423 HAS SOUS 19709 HAS SOUPS 19709 WITH SCORE 19773.423
AT ITER 1183 NEW BEST:: SOT 69142 SOS 64423 HAS SOPS 64423 HAS SOUS 19705 HAS SOUPS 19705 WITH SCORE 19769.423
AT ITER 1184 NEW BEST:: SOT 69096 SOS 64377 HAS SOPS 64377 HAS SOUS 19697 HAS SOUPS 19697 WITH SCORE 19761.377
AT ITER 1189 NEW BEST:: SOT 69055 SOS 64336 HAS SOPS 64336 HAS SOUS 19656 HAS SOUPS 19656 WITH SCORE 19720.336
AT ITER 1194 NEW BEST:: SOT 69055 SOS 64348 HAS SOPS 64348 HAS SOUS 19640 HAS SOUPS 19640 WITH SCORE 19704.348
AT ITER 1199 NEW BEST:: SOT 69036 SOS 64329 HAS SOPS 64329 HAS SOUS 19622 HAS SOUPS 19622 WITH SCORE 19686.329
AT ITER 1226 NEW BEST:: SOT 69012 SOS 64305 HAS SOPS 64305 HAS SOUS 19620 HAS SOUPS 19620 WITH SCORE 19684.305
AT ITER 1228 NEW BEST:: SOT 69010 SOS 64303 HAS SOPS 64303 HAS SOUS 19616 HAS SOUPS 19616 WITH SCORE 19680.303
AT ITER 1230 NEW BEST:: SOT 68990 SOS 64283 HAS SOPS 64283 HAS SOUS 19576 HAS SOUPS 19576 WITH SCORE 19640.283
AT ITER 1231 NEW BEST:: SOT 68977 SOS 64270 HAS SOPS 64270 HAS SOUS 19399 HAS SOUPS 19399 WITH SCORE 19463.27
AT ITER 1235 NEW BEST:: SOT 68976 SOS 64269 HAS SOPS 64269 HAS SOUS 19397 HAS SOUPS 19397 WITH SCORE 19461.269
AT ITER 1236 NEW BEST:: SOT 68975 SOS 64268 HAS SOPS 64268 HAS SOUS 19395 HAS SOUPS 19395 WITH SCORE 19459.268
AT ITER 1247 NEW BEST:: SOT 68974 SOS 64267 HAS SOPS 64267 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19457.267
AT ITER 1271 NEW BEST:: SOT 68965 SOS 64237 HAS SOPS 64237 HAS SOUS 19368 HAS SOUPS 19368 WITH SCORE 19432.237
AT ITER 1276 NEW BEST:: SOT 68957 SOS 64229 HAS SOPS 64229 HAS SOUS 19352 HAS SOUPS 19352 WITH SCORE 19416.229
AT ITER 1297 NEW BEST:: SOT 68950 SOS 64222 HAS SOPS 64222 HAS SOUS 19331 HAS SOUPS 19331 WITH SCORE 19395.222
AT ITER 1336 NEW BEST:: SOT 68946 SOS 64218 HAS SOPS 64218 HAS SOUS 19323 HAS SOUPS 19323 WITH SCORE 19387.218
AT ITER 1355 NEW BEST:: SOT 68940 SOS 64212 HAS SOPS 64212 HAS SOUS 19311 HAS SOUPS 19311 WITH SCORE 19375.212
AT ITER 1358 NEW BEST:: SOT 68918 SOS 64190 HAS SOPS 64190 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19353.19
AT ITER 1366 NEW BEST:: SOT 68918 SOS 63966 HAS SOPS 63966 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19352.966
AT ITER 1378 NEW BEST:: SOT 68894 SOS 63942 HAS SOPS 63942 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19304.942
AT ITER 1389 NEW BEST:: SOT 68892 SOS 63948 HAS SOPS 63948 HAS SOUS 19097 HAS SOUPS 19097 WITH SCORE 19160.948
AT ITER 1394 NEW BEST:: SOT 68890 SOS 63946 HAS SOPS 63946 HAS SOUS 19093 HAS SOUPS 19093 WITH SCORE 19156.946
AT ITER 1397 NEW BEST:: SOT 68889 SOS 63945 HAS SOPS 63945 HAS SOUS 19091 HAS SOUPS 19091 WITH SCORE 19154.945
AT ITER 1416 NEW BEST:: SOT 68889 SOS 63945 HAS SOPS 63945 HAS SOUS 19082 HAS SOUPS 19082 WITH SCORE 19145.945
AT ITER 1419 NEW BEST:: SOT 68758 SOS 63812 HAS SOPS 63812 HAS SOUS 19014 HAS SOUPS 19014 WITH SCORE 19077.812
AT ITER 1436 NEW BEST:: SOT 68755 SOS 63809 HAS SOPS 63809 HAS SOUS 19011 HAS SOUPS 19011 WITH SCORE 19074.809
AT ITER 1440 NEW BEST:: SOT 68497 SOS 63551 HAS SOPS 63551 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 19009.551
AT ITER 1456 NEW BEST:: SOT 68497 SOS 63507 HAS SOPS 63507 HAS SOUS 18941 HAS SOUPS 18941 WITH SCORE 19004.507
AT ITER 1462 NEW BEST:: SOT 67959 SOS 62988 HAS SOPS 62988 HAS SOUS 18572 HAS SOUPS 18572 WITH SCORE 18634.988
AT ITER 1488 NEW BEST:: SOT 67966 SOS 62950 HAS SOPS 62950 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18596.95
AT ITER 1493 NEW BEST:: SOT 67965 SOS 62949 HAS SOPS 62949 HAS SOUS 18532 HAS SOUPS 18532 WITH SCORE 18594.949
AT ITER 1507 NEW BEST:: SOT 67947 SOS 62931 HAS SOPS 62931 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18558.931
AT ITER 1509 NEW BEST:: SOT 67911 SOS 62895 HAS SOPS 62895 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18486.895
AT ITER 1517 NEW BEST:: SOT 67911 SOS 62895 HAS SOPS 62895 HAS SOUS 18336 HAS SOUPS 18336 WITH SCORE 18398.895
AT ITER 1521 NEW BEST:: SOT 67907 SOS 62891 HAS SOPS 62891 HAS SOUS 18328 HAS SOUPS 18328 WITH SCORE 18390.891
AT ITER 1536 NEW BEST:: SOT 67914 SOS 62898 HAS SOPS 62898 HAS SOUS 18326 HAS SOUPS 18326 WITH SCORE 18388.898
AT ITER 1550 NEW BEST:: SOT 67927 SOS 62916 HAS SOPS 62916 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18385.916
AT ITER 1559 NEW BEST:: SOT 67889 SOS 62879 HAS SOPS 62879 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18358.879
AT ITER 1561 NEW BEST:: SOT 67883 SOS 62867 HAS SOPS 62867 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18346.867
AT ITER 1563 NEW BEST:: SOT 67800 SOS 62784 HAS SOPS 62784 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18287.784
AT ITER 1568 NEW BEST:: SOT 67795 SOS 62779 HAS SOPS 62779 HAS SOUS 18194 HAS SOUPS 18194 WITH SCORE 18256.779
AT ITER 1570 NEW BEST:: SOT 67663 SOS 62647 HAS SOPS 62647 HAS SOUS 18089 HAS SOUPS 18089 WITH SCORE 18151.647
AT ITER 1578 NEW BEST:: SOT 67663 SOS 62647 HAS SOPS 62647 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18149.647
AT ITER 1582 NEW BEST:: SOT 67539 SOS 62523 HAS SOPS 62523 HAS SOUS 17744 HAS SOUPS 17744 WITH SCORE 17806.523
AT ITER 1595 NEW BEST:: SOT 67473 SOS 62468 HAS SOPS 62468 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17751.468
AT ITER 1601 NEW BEST:: SOT 67472 SOS 62467 HAS SOPS 62467 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17720.467
AT ITER 1614 NEW BEST:: SOT 67471 SOS 62466 HAS SOPS 62466 HAS SOUS 17656 HAS SOUPS 17656 WITH SCORE 17718.466
AT ITER 1633 NEW BEST:: SOT 67462 SOS 62457 HAS SOPS 62457 HAS SOUS 17638 HAS SOUPS 17638 WITH SCORE 17700.457
AT ITER 1658 NEW BEST:: SOT 67373 SOS 62368 HAS SOPS 62368 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17522.368
AT ITER 1667 NEW BEST:: SOT 67353 SOS 62348 HAS SOPS 62348 HAS SOUS 17420 HAS SOUPS 17420 WITH SCORE 17482.348
AT ITER 1668 NEW BEST:: SOT 67339 SOS 62334 HAS SOPS 62334 HAS SOUS 17392 HAS SOUPS 17392 WITH SCORE 17454.334
AT ITER 1674 NEW BEST:: SOT 67270 SOS 62265 HAS SOPS 62265 HAS SOUS 17254 HAS SOUPS 17254 WITH SCORE 17316.265
AT ITER 1681 NEW BEST:: SOT 67254 SOS 62249 HAS SOPS 62249 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17291.249
AT ITER 1727 NEW BEST:: SOT 67253 SOS 62248 HAS SOPS 62248 HAS SOUS 17218 HAS SOUPS 17218 WITH SCORE 17280.248
AT ITER 1728 NEW BEST:: SOT 67251 SOS 62246 HAS SOPS 62246 HAS SOUS 17214 HAS SOUPS 17214 WITH SCORE 17276.246
AT ITER 1751 NEW BEST:: SOT 67433 SOS 62438 HAS SOPS 62438 HAS SOUS 17202 HAS SOUPS 17202 WITH SCORE 17264.438
AT ITER 1773 NEW BEST:: SOT 67427 SOS 62432 HAS SOPS 62432 HAS SOUS 17183 HAS SOUPS 17183 WITH SCORE 17245.432
AT ITER 1775 NEW BEST:: SOT 66486 SOS 61491 HAS SOPS 61491 HAS SOUS 16124 HAS SOUPS 16124 WITH SCORE 16185.491
AT ITER 1809 NEW BEST:: SOT 66415 SOS 61420 HAS SOPS 61420 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16043.42
AT ITER 1815 NEW BEST:: SOT 66323 SOS 61294 HAS SOPS 61294 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15934.294
AT ITER 1817 NEW BEST:: SOT 66311 SOS 61282 HAS SOPS 61282 HAS SOUS 15849 HAS SOUPS 15849 WITH SCORE 15910.282
AT ITER 1841 NEW BEST:: SOT 66310 SOS 61281 HAS SOPS 61281 HAS SOUS 15847 HAS SOUPS 15847 WITH SCORE 15908.281
AT ITER 1850 NEW BEST:: SOT 66321 SOS 61342 HAS SOPS 61342 HAS SOUS 15821 HAS SOUPS 15821 WITH SCORE 15882.342
AT ITER 1855 NEW BEST:: SOT 66258 SOS 61279 HAS SOPS 61279 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15756.279
AT ITER 1860 NEW BEST:: SOT 66258 SOS 61279 HAS SOPS 61279 HAS SOUS 15694 HAS SOUPS 15694 WITH SCORE 15755.279
AT ITER 1886 NEW BEST:: SOT 66257 SOS 61278 HAS SOPS 61278 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15754.278
AT ITER 1889 NEW BEST:: SOT 66251 SOS 61272 HAS SOPS 61272 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15742.272
AT ITER 1890 NEW BEST:: SOT 66250 SOS 61271 HAS SOPS 61271 HAS SOUS 15679 HAS SOUPS 15679 WITH SCORE 15740.271
AT ITER 1901 NEW BEST:: SOT 66217 SOS 61238 HAS SOPS 61238 HAS SOUS 15612 HAS SOUPS 15612 WITH SCORE 15673.238
AT ITER 1903 NEW BEST:: SOT 66063 SOS 61079 HAS SOPS 61079 HAS SOUS 15561 HAS SOUPS 15561 WITH SCORE 15622.079
AT ITER 1938 NEW BEST:: SOT 66063 SOS 61074 HAS SOPS 61074 HAS SOUS 15560 HAS SOUPS 15560 WITH SCORE 15621.074
AT ITER 1941 NEW BEST:: SOT 66053 SOS 61064 HAS SOPS 61064 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15611.064
AT ITER 1955 NEW BEST:: SOT 66053 SOS 61047 HAS SOPS 61047 HAS SOUS 15533 HAS SOUPS 15533 WITH SCORE 15594.047
AT ITER 1958 NEW BEST:: SOT 66052 SOS 61046 HAS SOPS 61046 HAS SOUS 15531 HAS SOUPS 15531 WITH SCORE 15592.046
AT ITER 1964 NEW BEST:: SOT 66049 SOS 61043 HAS SOPS 61043 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15586.043
AT ITER 1970 NEW BEST:: SOT 66006 SOS 60997 HAS SOPS 60997 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15578.997
AT ITER 1976 NEW BEST:: SOT 65961 SOS 60956 HAS SOPS 60956 HAS SOUS 15478 HAS SOUPS 15478 WITH SCORE 15538.956
AT ITER 1977 NEW BEST:: SOT 65961 SOS 60956 HAS SOPS 60956 HAS SOUS 15472 HAS SOUPS 15472 WITH SCORE 15532.956
AT ITER 2002 NEW BEST:: SOT 65941 SOS 60936 HAS SOPS 60936 HAS SOUS 15432 HAS SOUPS 15432 WITH SCORE 15492.936
AT ITER 2054 NEW BEST:: SOT 65857 SOS 60871 HAS SOPS 60871 HAS SOUS 15367 HAS SOUPS 15367 WITH SCORE 15427.871
AT ITER 2089 NEW BEST:: SOT 65848 SOS 60862 HAS SOPS 60862 HAS SOUS 15349 HAS SOUPS 15349 WITH SCORE 15409.862
AT ITER 2119 NEW BEST:: SOT 65840 SOS 60854 HAS SOPS 60854 HAS SOUS 15333 HAS SOUPS 15333 WITH SCORE 15393.854
AT ITER 2126 NEW BEST:: SOT 65840 SOS 60854 HAS SOPS 60854 HAS SOUS 15332 HAS SOUPS 15332 WITH SCORE 15392.854
AT ITER 2140 NEW BEST:: SOT 65839 SOS 60853 HAS SOPS 60853 HAS SOUS 15330 HAS SOUPS 15330 WITH SCORE 15390.853
AT ITER 2142 NEW BEST:: SOT 65807 SOS 60821 HAS SOPS 60821 HAS SOUS 15266 HAS SOUPS 15266 WITH SCORE 15326.821
AT ITER 2146 NEW BEST:: SOT 65806 SOS 60820 HAS SOPS 60820 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15309.82
AT ITER 2147 NEW BEST:: SOT 65765 SOS 60779 HAS SOPS 60779 HAS SOUS 15208 HAS SOUPS 15208 WITH SCORE 15268.779
AT ITER 2148 NEW BEST:: SOT 65746 SOS 60760 HAS SOPS 60760 HAS SOUS 15170 HAS SOUPS 15170 WITH SCORE 15230.76
AT ITER 2162 NEW BEST:: SOT 65737 SOS 60751 HAS SOPS 60751 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15227.751
AT ITER 2177 NEW BEST:: SOT 65673 SOS 60687 HAS SOPS 60687 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15222.687
AT ITER 2181 NEW BEST:: SOT 65670 SOS 60733 HAS SOPS 60733 HAS SOUS 15159 HAS SOUPS 15159 WITH SCORE 15219.733
AT ITER 2184 NEW BEST:: SOT 65668 SOS 60731 HAS SOPS 60731 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15217.731
AT ITER 2213 NEW BEST:: SOT 65648 SOS 60711 HAS SOPS 60711 HAS SOUS 15137 HAS SOUPS 15137 WITH SCORE 15197.711
AT ITER 2240 NEW BEST:: SOT 65648 SOS 60708 HAS SOPS 60708 HAS SOUS 15134 HAS SOUPS 15134 WITH SCORE 15194.708
AT ITER 2277 NEW BEST:: SOT 65555 SOS 60615 HAS SOPS 60615 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 15008.615
AT ITER 2281 NEW BEST:: SOT 65529 SOS 60589 HAS SOPS 60589 HAS SOUS 14896 HAS SOUPS 14896 WITH SCORE 14956.589
AT ITER 2307 NEW BEST:: SOT 65516 SOS 60562 HAS SOPS 60562 HAS SOUS 14869 HAS SOUPS 14869 WITH SCORE 14929.562
AT ITER 2308 NEW BEST:: SOT 65502 SOS 60499 HAS SOPS 60499 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14866.499
AT ITER 2323 NEW BEST:: SOT 65433 SOS 60392 HAS SOPS 60392 HAS SOUS 14766 HAS SOUPS 14766 WITH SCORE 14826.392
AT ITER 2330 NEW BEST:: SOT 65406 SOS 60339 HAS SOPS 60339 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14798.339
AT ITER 2332 NEW BEST:: SOT 65316 SOS 60288 HAS SOPS 60288 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14692.288
AT ITER 2337 NEW BEST:: SOT 65316 SOS 60294 HAS SOPS 60294 HAS SOUS 14626 HAS SOUPS 14626 WITH SCORE 14686.294
AT ITER 2351 NEW BEST:: SOT 65312 SOS 60290 HAS SOPS 60290 HAS SOUS 14622 HAS SOUPS 14622 WITH SCORE 14682.29
AT ITER 2354 NEW BEST:: SOT 65312 SOS 60290 HAS SOPS 60290 HAS SOUS 14621 HAS SOUPS 14621 WITH SCORE 14681.29
AT ITER 2355 NEW BEST:: SOT 65221 SOS 60199 HAS SOPS 60199 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14572.199
AT ITER 2374 NEW BEST:: SOT 65164 SOS 60091 HAS SOPS 60091 HAS SOUS 14469 HAS SOUPS 14469 WITH SCORE 14529.091
AT ITER 2398 NEW BEST:: SOT 65160 SOS 60087 HAS SOPS 60087 HAS SOUS 14461 HAS SOUPS 14461 WITH SCORE 14521.087
AT ITER 2401 NEW BEST:: SOT 65000 SOS 59915 HAS SOPS 59915 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14508.915
AT ITER 2411 NEW BEST:: SOT 65045 SOS 59960 HAS SOPS 59960 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14498.96
AT ITER 2426 NEW BEST:: SOT 65090 SOS 59930 HAS SOPS 59930 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14489.93
AT ITER 2430 NEW BEST:: SOT 64771 SOS 59611 HAS SOPS 59611 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14141.611
AT ITER 2439 NEW BEST:: SOT 64342 SOS 59182 HAS SOPS 59182 HAS SOUS 14078 HAS SOUPS 14078 WITH SCORE 14137.182
AT ITER 2456 NEW BEST:: SOT 64330 SOS 59170 HAS SOPS 59170 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14113.17
AT ITER 2529 NEW BEST:: SOT 64328 SOS 59172 HAS SOPS 59172 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14110.172
AT ITER 2530 NEW BEST:: SOT 64309 SOS 59153 HAS SOPS 59153 HAS SOUS 14013 HAS SOUPS 14013 WITH SCORE 14072.153
AT ITER 2533 NEW BEST:: SOT 64248 SOS 59092 HAS SOPS 59092 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 14011.092
AT ITER 2534 NEW BEST:: SOT 64232 SOS 59076 HAS SOPS 59076 HAS SOUS 13920 HAS SOUPS 13920 WITH SCORE 13979.076
AT ITER 2570 NEW BEST:: SOT 64190 SOS 59034 HAS SOPS 59034 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13948.034
AT ITER 2574 NEW BEST:: SOT 64166 SOS 59010 HAS SOPS 59010 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13900.01
AT ITER 2614 NEW BEST:: SOT 64144 SOS 58966 HAS SOPS 58966 HAS SOUS 13819 HAS SOUPS 13819 WITH SCORE 13877.966
AT ITER 2634 NEW BEST:: SOT 64143 SOS 58965 HAS SOPS 58965 HAS SOUS 13814 HAS SOUPS 13814 WITH SCORE 13872.965
AT ITER 2651 NEW BEST:: SOT 64142 SOS 58964 HAS SOPS 58964 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13870.964
AT ITER 2652 NEW BEST:: SOT 64188 SOS 59065 HAS SOPS 59065 HAS SOUS 13799 HAS SOUPS 13799 WITH SCORE 13858.065
AT ITER 2684 NEW BEST:: SOT 64187 SOS 59064 HAS SOPS 59064 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13856.064
AT ITER 2712 NEW BEST:: SOT 64185 SOS 59062 HAS SOPS 59062 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13850.062
AT ITER 2736 NEW BEST:: SOT 64093 SOS 58960 HAS SOPS 58960 HAS SOUS 13689 HAS SOUPS 13689 WITH SCORE 13747.96
AT ITER 2737 NEW BEST:: SOT 64093 SOS 58960 HAS SOPS 58960 HAS SOUS 13681 HAS SOUPS 13681 WITH SCORE 13739.96
AT ITER 2744 NEW BEST:: SOT 64086 SOS 58953 HAS SOPS 58953 HAS SOUS 13674 HAS SOUPS 13674 WITH SCORE 13732.953
AT ITER 2750 NEW BEST:: SOT 64075 SOS 58942 HAS SOPS 58942 HAS SOUS 13652 HAS SOUPS 13652 WITH SCORE 13710.942
AT ITER 2770 NEW BEST:: SOT 64075 SOS 58960 HAS SOPS 58960 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13707.96
AT ITER 2795 NEW BEST:: SOT 64064 SOS 58949 HAS SOPS 58949 HAS SOUS 13627 HAS SOUPS 13627 WITH SCORE 13685.949
AT ITER 2827 NEW BEST:: SOT 64056 SOS 58941 HAS SOPS 58941 HAS SOUS 13619 HAS SOUPS 13619 WITH SCORE 13677.941
AT ITER 2832 NEW BEST:: SOT 64046 SOS 58902 HAS SOPS 58902 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13638.902
AT ITER 2854 NEW BEST:: SOT 64035 SOS 58875 HAS SOPS 58875 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13638.875
AT ITER 2872 NEW BEST:: SOT 64034 SOS 58874 HAS SOPS 58874 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13636.874
AT ITER 2880 NEW BEST:: SOT 64000 SOS 58840 HAS SOPS 58840 HAS SOUS 13510 HAS SOUPS 13510 WITH SCORE 13568.84
AT ITER 2882 NEW BEST:: SOT 63991 SOS 58831 HAS SOPS 58831 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13550.831
AT ITER 2884 NEW BEST:: SOT 63969 SOS 58798 HAS SOPS 58798 HAS SOUS 13481 HAS SOUPS 13481 WITH SCORE 13539.798
AT ITER 2893 NEW BEST:: SOT 63866 SOS 58657 HAS SOPS 58657 HAS SOUS 13444 HAS SOUPS 13444 WITH SCORE 13502.657
AT ITER 2909 NEW BEST:: SOT 63758 SOS 58513 HAS SOPS 58513 HAS SOUS 13340 HAS SOUPS 13340 WITH SCORE 13398.513
AT ITER 2912 NEW BEST:: SOT 63738 SOS 58464 HAS SOPS 58464 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13387.464
AT ITER 2917 NEW BEST:: SOT 63737 SOS 58463 HAS SOPS 58463 HAS SOUS 13327 HAS SOUPS 13327 WITH SCORE 13385.463
AT ITER 2925 NEW BEST:: SOT 63737 SOS 58462 HAS SOPS 58462 HAS SOUS 13326 HAS SOUPS 13326 WITH SCORE 13384.462
AT ITER 2941 NEW BEST:: SOT 63737 SOS 58462 HAS SOPS 58462 HAS SOUS 13310 HAS SOUPS 13310 WITH SCORE 13368.462
AT ITER 2985 NEW BEST:: SOT 63737 SOS 58458 HAS SOPS 58458 HAS SOUS 13306 HAS SOUPS 13306 WITH SCORE 13364.458
AT ITER 2986 NEW BEST:: SOT 63691 SOS 58359 HAS SOPS 58359 HAS SOUS 13267 HAS SOUPS 13267 WITH SCORE 13325.359
AT ITER 2989 NEW BEST:: SOT 63684 SOS 58352 HAS SOPS 58352 HAS SOUS 13253 HAS SOUPS 13253 WITH SCORE 13311.352
AT ITER 3010 NEW BEST:: SOT 63662 SOS 58330 HAS SOPS 58330 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13267.33
AT ITER 3013 NEW BEST:: SOT 63661 SOS 58329 HAS SOPS 58329 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13265.329
AT ITER 3044 NEW BEST:: SOT 63659 SOS 58327 HAS SOPS 58327 HAS SOUS 13205 HAS SOUPS 13205 WITH SCORE 13263.327
AT ITER 3054 NEW BEST:: SOT 63649 SOS 58317 HAS SOPS 58317 HAS SOUS 13147 HAS SOUPS 13147 WITH SCORE 13205.317
AT ITER 3077 NEW BEST:: SOT 63678 SOS 58369 HAS SOPS 58369 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13146.369
AT ITER 3142 NEW BEST:: SOT 63665 SOS 58356 HAS SOPS 58356 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13120.356
AT ITER 3150 NEW BEST:: SOT 63566 SOS 58234 HAS SOPS 58234 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13097.234
AT ITER 3160 NEW BEST:: SOT 63542 SOS 58210 HAS SOPS 58210 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13049.21
AT ITER 3258 NEW BEST:: SOT 63540 SOS 58208 HAS SOPS 58208 HAS SOUS 12987 HAS SOUPS 12987 WITH SCORE 13045.208
AT ITER 3261 NEW BEST:: SOT 63531 SOS 58199 HAS SOPS 58199 HAS SOUS 12969 HAS SOUPS 12969 WITH SCORE 13027.199
AT ITER 3263 NEW BEST:: SOT 63618 SOS 58287 HAS SOPS 58287 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12955.287
AT ITER 3287 NEW BEST:: SOT 63591 SOS 58260 HAS SOPS 58260 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12901.26
AT ITER 3336 NEW BEST:: SOT 63591 SOS 58234 HAS SOPS 58234 HAS SOUS 12817 HAS SOUPS 12817 WITH SCORE 12875.234
AT ITER 3341 NEW BEST:: SOT 63580 SOS 58223 HAS SOPS 58223 HAS SOUS 12795 HAS SOUPS 12795 WITH SCORE 12853.223
AT ITER 3368 NEW BEST:: SOT 63580 SOS 58223 HAS SOPS 58223 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12849.223
AT ITER 3395 NEW BEST:: SOT 63572 SOS 58215 HAS SOPS 58215 HAS SOUS 12783 HAS SOUPS 12783 WITH SCORE 12841.215
AT ITER 3426 NEW BEST:: SOT 63603 SOS 58246 HAS SOPS 58246 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12791.246
AT ITER 3433 NEW BEST:: SOT 63608 SOS 58267 HAS SOPS 58267 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12785.267
AT ITER 3469 NEW BEST:: SOT 63499 SOS 58147 HAS SOPS 58147 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12734.147
AT ITER 3486 NEW BEST:: SOT 63492 SOS 58140 HAS SOPS 58140 HAS SOUS 12662 HAS SOUPS 12662 WITH SCORE 12720.14
AT ITER 3492 NEW BEST:: SOT 63447 SOS 58095 HAS SOPS 58095 HAS SOUS 12647 HAS SOUPS 12647 WITH SCORE 12705.095
AT ITER 3495 NEW BEST:: SOT 63462 SOS 58110 HAS SOPS 58110 HAS SOUS 12632 HAS SOUPS 12632 WITH SCORE 12690.11
AT ITER 3500 NEW BEST:: SOT 63183 SOS 57831 HAS SOPS 57831 HAS SOUS 12543 HAS SOUPS 12543 WITH SCORE 12600.831
AT ITER 3524 NEW BEST:: SOT 63181 SOS 57829 HAS SOPS 57829 HAS SOUS 12539 HAS SOUPS 12539 WITH SCORE 12596.829
AT ITER 3553 NEW BEST:: SOT 63174 SOS 57816 HAS SOPS 57816 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12583.816
AT ITER 3573 NEW BEST:: SOT 63164 SOS 57804 HAS SOPS 57804 HAS SOUS 12524 HAS SOUPS 12524 WITH SCORE 12581.804
AT ITER 3590 NEW BEST:: SOT 63163 SOS 57803 HAS SOPS 57803 HAS SOUS 12522 HAS SOUPS 12522 WITH SCORE 12579.803
AT ITER 3612 NEW BEST:: SOT 63136 SOS 57776 HAS SOPS 57776 HAS SOUS 12477 HAS SOUPS 12477 WITH SCORE 12534.776
AT ITER 3639 NEW BEST:: SOT 63135 SOS 57775 HAS SOPS 57775 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12532.775
AT ITER 3641 NEW BEST:: SOT 63138 SOS 57778 HAS SOPS 57778 HAS SOUS 12439 HAS SOUPS 12439 WITH SCORE 12496.778
AT ITER 3651 NEW BEST:: SOT 63227 SOS 57871 HAS SOPS 57871 HAS SOUS 12430 HAS SOUPS 12430 WITH SCORE 12487.871
AT ITER 3652 NEW BEST:: SOT 63226 SOS 57820 HAS SOPS 57820 HAS SOUS 12423 HAS SOUPS 12423 WITH SCORE 12480.82
AT ITER 3661 NEW BEST:: SOT 63133 SOS 57708 HAS SOPS 57708 HAS SOUS 12348 HAS SOUPS 12348 WITH SCORE 12405.708
AT ITER 3671 NEW BEST:: SOT 63132 SOS 57707 HAS SOPS 57707 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12403.707
AT ITER 3674 NEW BEST:: SOT 63110 SOS 57685 HAS SOPS 57685 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12359.685
AT ITER 3683 NEW BEST:: SOT 63148 SOS 57723 HAS SOPS 57723 HAS SOUS 12299 HAS SOUPS 12299 WITH SCORE 12356.723
AT ITER 3703 NEW BEST:: SOT 63159 SOS 57734 HAS SOPS 57734 HAS SOUS 12296 HAS SOUPS 12296 WITH SCORE 12353.734
AT ITER 3714 NEW BEST:: SOT 63159 SOS 57725 HAS SOPS 57725 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12344.725
AT ITER 3739 NEW BEST:: SOT 63157 SOS 57723 HAS SOPS 57723 HAS SOUS 12283 HAS SOUPS 12283 WITH SCORE 12340.723
AT ITER 3745 NEW BEST:: SOT 63152 SOS 57713 HAS SOPS 57713 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12335.713
AT ITER 3747 NEW BEST:: SOT 63147 SOS 57708 HAS SOPS 57708 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12325.708
AT ITER 3771 NEW BEST:: SOT 63154 SOS 57715 HAS SOPS 57715 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12321.715
AT ITER 3772 NEW BEST:: SOT 63196 SOS 57720 HAS SOPS 57720 HAS SOUS 12255 HAS SOUPS 12255 WITH SCORE 12312.72
AT ITER 3775 NEW BEST:: SOT 63177 SOS 57701 HAS SOPS 57701 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12274.701
AT ITER 3776 NEW BEST:: SOT 63177 SOS 57692 HAS SOPS 57692 HAS SOUS 12217 HAS SOUPS 12217 WITH SCORE 12274.692
AT ITER 3781 NEW BEST:: SOT 63151 SOS 57666 HAS SOPS 57666 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12251.666
AT ITER 3794 NEW BEST:: SOT 63152 SOS 57608 HAS SOPS 57608 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12251.608
AT ITER 3796 NEW BEST:: SOT 63139 SOS 57581 HAS SOPS 57581 HAS SOUS 12158 HAS SOUPS 12158 WITH SCORE 12215.581
AT ITER 3799 NEW BEST:: SOT 63104 SOS 57546 HAS SOPS 57546 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12126.546
AT ITER 3827 NEW BEST:: SOT 63102 SOS 57540 HAS SOPS 57540 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12126.54
AT ITER 3839 NEW BEST:: SOT 63102 SOS 57540 HAS SOPS 57540 HAS SOUS 12068 HAS SOUPS 12068 WITH SCORE 12125.54
AT ITER 3844 NEW BEST:: SOT 63097 SOS 57535 HAS SOPS 57535 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12115.535
AT ITER 3861 NEW BEST:: SOT 63013 SOS 57451 HAS SOPS 57451 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 12031.451
AT ITER 3865 NEW BEST:: SOT 63011 SOS 57449 HAS SOPS 57449 HAS SOUS 11970 HAS SOUPS 11970 WITH SCORE 12027.449
AT ITER 3866 NEW BEST:: SOT 63010 SOS 57448 HAS SOPS 57448 HAS SOUS 11968 HAS SOUPS 11968 WITH SCORE 12025.448
AT ITER 3871 NEW BEST:: SOT 63001 SOS 57439 HAS SOPS 57439 HAS SOUS 11950 HAS SOUPS 11950 WITH SCORE 12007.439
AT ITER 3873 NEW BEST:: SOT 62990 SOS 57428 HAS SOPS 57428 HAS SOUS 11937 HAS SOUPS 11937 WITH SCORE 11994.428
AT ITER 3876 NEW BEST:: SOT 62984 SOS 57422 HAS SOPS 57422 HAS SOUS 11931 HAS SOUPS 11931 WITH SCORE 11988.422
AT ITER 3881 NEW BEST:: SOT 62979 SOS 57417 HAS SOPS 57417 HAS SOUS 11921 HAS SOUPS 11921 WITH SCORE 11978.417
AT ITER 3894 NEW BEST:: SOT 62964 SOS 57461 HAS SOPS 57461 HAS SOUS 11754 HAS SOUPS 11754 WITH SCORE 11811.461
AT ITER 3931 NEW BEST:: SOT 62963 SOS 57460 HAS SOPS 57460 HAS SOUS 11752 HAS SOUPS 11752 WITH SCORE 11809.46
AT ITER 3932 NEW BEST:: SOT 62963 SOS 57453 HAS SOPS 57453 HAS SOUS 11745 HAS SOUPS 11745 WITH SCORE 11802.453
AT ITER 3985 NEW BEST:: SOT 62960 SOS 57450 HAS SOPS 57450 HAS SOUS 11739 HAS SOUPS 11739 WITH SCORE 11796.45
AT ITER 3990 NEW BEST:: SOT 62954 SOS 57444 HAS SOPS 57444 HAS SOUS 11727 HAS SOUPS 11727 WITH SCORE 11784.444
AT ITER 3993 NEW BEST:: SOT 62919 SOS 57409 HAS SOPS 57409 HAS SOUS 11657 HAS SOUPS 11657 WITH SCORE 11714.409
AT ITER 4040 NEW BEST:: SOT 62905 SOS 57395 HAS SOPS 57395 HAS SOUS 11629 HAS SOUPS 11629 WITH SCORE 11686.395
AT ITER 4045 NEW BEST:: SOT 62899 SOS 57389 HAS SOPS 57389 HAS SOUS 11624 HAS SOUPS 11624 WITH SCORE 11681.389
AT ITER 4063 NEW BEST:: SOT 62884 SOS 57374 HAS SOPS 57374 HAS SOUS 11596 HAS SOUPS 11596 WITH SCORE 11653.374
AT ITER 4071 NEW BEST:: SOT 62855 SOS 57345 HAS SOPS 57345 HAS SOUS 11596 HAS SOUPS 11596 WITH SCORE 11653.345
AT ITER 4079 NEW BEST:: SOT 62843 SOS 57333 HAS SOPS 57333 HAS SOUS 11559 HAS SOUPS 11559 WITH SCORE 11616.333
AT ITER 4088 NEW BEST:: SOT 62819 SOS 57309 HAS SOPS 57309 HAS SOUS 11511 HAS SOUPS 11511 WITH SCORE 11568.309
AT ITER 4094 NEW BEST:: SOT 62818 SOS 57308 HAS SOPS 57308 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11566.308
AT ITER 4107 NEW BEST:: SOT 62781 SOS 57271 HAS SOPS 57271 HAS SOUS 11497 HAS SOUPS 11497 WITH SCORE 11554.271
AT ITER 4111 NEW BEST:: SOT 62750 SOS 57240 HAS SOPS 57240 HAS SOUS 11476 HAS SOUPS 11476 WITH SCORE 11533.24
AT ITER 4124 NEW BEST:: SOT 62749 SOS 57239 HAS SOPS 57239 HAS SOUS 11443 HAS SOUPS 11443 WITH SCORE 11500.239
AT ITER 4129 NEW BEST:: SOT 62748 SOS 57238 HAS SOPS 57238 HAS SOUS 11441 HAS SOUPS 11441 WITH SCORE 11498.238
AT ITER 4131 NEW BEST:: SOT 62715 SOS 57205 HAS SOPS 57205 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11476.205
AT ITER 4144 NEW BEST:: SOT 62733 SOS 57223 HAS SOPS 57223 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11466.223
AT ITER 4170 NEW BEST:: SOT 62713 SOS 57203 HAS SOPS 57203 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11452.203
AT ITER 4176 NEW BEST:: SOT 62691 SOS 57181 HAS SOPS 57181 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11452.181
AT ITER 4179 NEW BEST:: SOT 62691 SOS 57181 HAS SOPS 57181 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11442.181
AT ITER 4180 NEW BEST:: SOT 62645 SOS 57112 HAS SOPS 57112 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11429.112
AT ITER 4216 NEW BEST:: SOT 62659 SOS 57126 HAS SOPS 57126 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11408.126
AT ITER 4221 NEW BEST:: SOT 62657 SOS 57124 HAS SOPS 57124 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11404.124
AT ITER 4281 NEW BEST:: SOT 62631 SOS 57098 HAS SOPS 57098 HAS SOUS 11295 HAS SOUPS 11295 WITH SCORE 11352.098
AT ITER 4283 NEW BEST:: SOT 62618 SOS 57044 HAS SOPS 57044 HAS SOUS 11241 HAS SOUPS 11241 WITH SCORE 11298.044
AT ITER 4286 NEW BEST:: SOT 62616 SOS 57042 HAS SOPS 57042 HAS SOUS 11237 HAS SOUPS 11237 WITH SCORE 11294.042
AT ITER 4301 NEW BEST:: SOT 62589 SOS 56973 HAS SOPS 56973 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11264.973
AT ITER 4312 NEW BEST:: SOT 62593 SOS 56977 HAS SOPS 56977 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11249.977
AT ITER 4352 NEW BEST:: SOT 62589 SOS 56973 HAS SOPS 56973 HAS SOUS 11185 HAS SOUPS 11185 WITH SCORE 11241.973
AT ITER 4367 NEW BEST:: SOT 62588 SOS 56972 HAS SOPS 56972 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11239.972
AT ITER 4378 NEW BEST:: SOT 62588 SOS 56918 HAS SOPS 56918 HAS SOUS 11129 HAS SOUPS 11129 WITH SCORE 11185.918
AT ITER 4381 NEW BEST:: SOT 62587 SOS 56917 HAS SOPS 56917 HAS SOUS 11127 HAS SOUPS 11127 WITH SCORE 11183.917
AT ITER 4403 NEW BEST:: SOT 62571 SOS 56901 HAS SOPS 56901 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11181.901
AT ITER 4439 NEW BEST:: SOT 62573 SOS 56949 HAS SOPS 56949 HAS SOUS 11083 HAS SOUPS 11083 WITH SCORE 11139.949
AT ITER 4479 NEW BEST:: SOT 62564 SOS 56940 HAS SOPS 56940 HAS SOUS 11076 HAS SOUPS 11076 WITH SCORE 11132.94
AT ITER 4480 NEW BEST:: SOT 62564 SOS 56939 HAS SOPS 56939 HAS SOUS 11075 HAS SOUPS 11075 WITH SCORE 11131.939
AT ITER 4498 NEW BEST:: SOT 62564 SOS 56939 HAS SOPS 56939 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11102.939
AT ITER 4520 NEW BEST:: SOT 62562 SOS 56937 HAS SOPS 56937 HAS SOUS 11042 HAS SOUPS 11042 WITH SCORE 11098.937
AT ITER 4565 NEW BEST:: SOT 62539 SOS 56914 HAS SOPS 56914 HAS SOUS 11040 HAS SOUPS 11040 WITH SCORE 11096.914
AT ITER 4567 NEW BEST:: SOT 62539 SOS 56914 HAS SOPS 56914 HAS SOUS 11039 HAS SOUPS 11039 WITH SCORE 11095.914
AT ITER 4583 NEW BEST:: SOT 62536 SOS 56911 HAS SOPS 56911 HAS SOUS 10981 HAS SOUPS 10981 WITH SCORE 11037.911
AT ITER 4614 NEW BEST:: SOT 62530 SOS 56905 HAS SOPS 56905 HAS SOUS 10969 HAS SOUPS 10969 WITH SCORE 11025.905
AT ITER 4703 NEW BEST:: SOT 62505 SOS 56880 HAS SOPS 56880 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10975.88
AT ITER 4739 NEW BEST:: SOT 62504 SOS 56879 HAS SOPS 56879 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10975.879
AT ITER 4760 NEW BEST:: SOT 62503 SOS 56878 HAS SOPS 56878 HAS SOUS 10917 HAS SOUPS 10917 WITH SCORE 10973.878
AT ITER 4777 NEW BEST:: SOT 62501 SOS 56874 HAS SOPS 56874 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10971.874
AT ITER 4810 NEW BEST:: SOT 62495 SOS 56868 HAS SOPS 56868 HAS SOUS 10903 HAS SOUPS 10903 WITH SCORE 10959.868
AT ITER 4820 NEW BEST:: SOT 62484 SOS 56843 HAS SOPS 56843 HAS SOUS 10878 HAS SOUPS 10878 WITH SCORE 10934.843
AT ITER 4837 NEW BEST:: SOT 62477 SOS 56836 HAS SOPS 56836 HAS SOUS 10864 HAS SOUPS 10864 WITH SCORE 10920.836
AT ITER 4851 NEW BEST:: SOT 62479 SOS 56838 HAS SOPS 56838 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10913.838
AT ITER 4883 NEW BEST:: SOT 62475 SOS 56834 HAS SOPS 56834 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10886.834
AT ITER 4892 NEW BEST:: SOT 62413 SOS 56720 HAS SOPS 56720 HAS SOUS 10786 HAS SOUPS 10786 WITH SCORE 10842.72
AT ITER 4949 NEW BEST:: SOT 62403 SOS 56710 HAS SOPS 56710 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10832.71
AT ITER 4971 NEW BEST:: SOT 62395 SOS 56702 HAS SOPS 56702 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10816.702
AT ITER 4990 NEW BEST:: SOT 62391 SOS 56698 HAS SOPS 56698 HAS SOUS 10752 HAS SOUPS 10752 WITH SCORE 10808.698
AT ITER 5010 NEW BEST:: SOT 62391 SOS 56713 HAS SOPS 56713 HAS SOUS 10751 HAS SOUPS 10751 WITH SCORE 10807.713
AT ITER 5054 NEW BEST:: SOT 62401 SOS 56039 HAS SOPS 56039 HAS SOUS 10749 HAS SOUPS 10749 WITH SCORE 10805.039
AT ITER 5098 NEW BEST:: SOT 62398 SOS 56036 HAS SOPS 56036 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10802.036
AT ITER 5099 NEW BEST:: SOT 62353 SOS 55991 HAS SOPS 55991 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10773.991
AT ITER 5102 NEW BEST:: SOT 62338 SOS 55987 HAS SOPS 55987 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10769.987
AT ITER 5127 NEW BEST:: SOT 62334 SOS 55983 HAS SOPS 55983 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10769.983
AT ITER 5164 NEW BEST:: SOT 62326 SOS 55975 HAS SOPS 55975 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10753.975
AT ITER 5209 NEW BEST:: SOT 62329 SOS 55978 HAS SOPS 55978 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10739.978
AT ITER 5216 NEW BEST:: SOT 62320 SOS 55969 HAS SOPS 55969 HAS SOUS 10684 HAS SOUPS 10684 WITH SCORE 10739.969
AT ITER 5221 NEW BEST:: SOT 62316 SOS 55965 HAS SOPS 55965 HAS SOUS 10676 HAS SOUPS 10676 WITH SCORE 10731.965
AT ITER 5225 NEW BEST:: SOT 62341 SOS 56025 HAS SOPS 56025 HAS SOUS 10669 HAS SOUPS 10669 WITH SCORE 10725.025
AT ITER 5230 NEW BEST:: SOT 62338 SOS 56022 HAS SOPS 56022 HAS SOUS 10663 HAS SOUPS 10663 WITH SCORE 10719.022
AT ITER 5234 NEW BEST:: SOT 62295 SOS 55979 HAS SOPS 55979 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10632.979
AT ITER 5289 NEW BEST:: SOT 62293 SOS 55977 HAS SOPS 55977 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10628.977
AT ITER 5305 NEW BEST:: SOT 62293 SOS 55975 HAS SOPS 55975 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10626.975
AT ITER 5319 NEW BEST:: SOT 62286 SOS 55968 HAS SOPS 55968 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10612.968
AT ITER 5329 NEW BEST:: SOT 62272 SOS 55947 HAS SOPS 55947 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10591.947
AT ITER 5346 NEW BEST:: SOT 62295 SOS 55926 HAS SOPS 55926 HAS SOUS 10536 HAS SOUPS 10536 WITH SCORE 10591.926
AT ITER 5369 NEW BEST:: SOT 62284 SOS 55915 HAS SOPS 55915 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10569.915
AT ITER 5378 NEW BEST:: SOT 62276 SOS 55907 HAS SOPS 55907 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10553.907
AT ITER 5402 NEW BEST:: SOT 62270 SOS 55901 HAS SOPS 55901 HAS SOUS 10495 HAS SOUPS 10495 WITH SCORE 10550.901
AT ITER 5440 NEW BEST:: SOT 62270 SOS 55891 HAS SOPS 55891 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10540.891
AT ITER 5488 NEW BEST:: SOT 62263 SOS 55877 HAS SOPS 55877 HAS SOUS 10478 HAS SOUPS 10478 WITH SCORE 10533.877
AT ITER 5519 NEW BEST:: SOT 62237 SOS 55851 HAS SOPS 55851 HAS SOUS 10452 HAS SOUPS 10452 WITH SCORE 10507.851
AT ITER 5551 NEW BEST:: SOT 62222 SOS 55836 HAS SOPS 55836 HAS SOUS 10439 HAS SOUPS 10439 WITH SCORE 10494.836
AT ITER 5566 NEW BEST:: SOT 62195 SOS 55809 HAS SOPS 55809 HAS SOUS 10436 HAS SOUPS 10436 WITH SCORE 10491.809
AT ITER 5572 NEW BEST:: SOT 62189 SOS 55797 HAS SOPS 55797 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10485.797
AT ITER 5574 NEW BEST:: SOT 62170 SOS 55778 HAS SOPS 55778 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10478.778
AT ITER 5578 NEW BEST:: SOT 62168 SOS 55776 HAS SOPS 55776 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10472.776
AT ITER 5583 NEW BEST:: SOT 62149 SOS 55738 HAS SOPS 55738 HAS SOUS 10398 HAS SOUPS 10398 WITH SCORE 10453.738
AT ITER 5610 NEW BEST:: SOT 62151 SOS 55736 HAS SOPS 55736 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10451.736
AT ITER 5621 NEW BEST:: SOT 62151 SOS 55736 HAS SOPS 55736 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10423.736
AT ITER 5673 NEW BEST:: SOT 62145 SOS 55730 HAS SOPS 55730 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10411.73
AT ITER 5748 NEW BEST:: SOT 62145 SOS 55727 HAS SOPS 55727 HAS SOUS 10356 HAS SOUPS 10356 WITH SCORE 10411.727
AT ITER 5782 NEW BEST:: SOT 62140 SOS 55722 HAS SOPS 55722 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10401.722
AT ITER 5811 NEW BEST:: SOT 62134 SOS 55716 HAS SOPS 55716 HAS SOUS 10326 HAS SOUPS 10326 WITH SCORE 10381.716
AT ITER 5835 NEW BEST:: SOT 62134 SOS 55821 HAS SOPS 55821 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10369.821
AT ITER 5885 NEW BEST:: SOT 62149 SOS 55836 HAS SOPS 55836 HAS SOUS 10291 HAS SOUPS 10291 WITH SCORE 10346.836
AT ITER 5889 NEW BEST:: SOT 62149 SOS 55811 HAS SOPS 55811 HAS SOUS 10266 HAS SOUPS 10266 WITH SCORE 10321.811
AT ITER 5919 NEW BEST:: SOT 62146 SOS 55808 HAS SOPS 55808 HAS SOUS 10260 HAS SOUPS 10260 WITH SCORE 10315.808
AT ITER 5926 NEW BEST:: SOT 62137 SOS 55808 HAS SOPS 55808 HAS SOUS 10257 HAS SOUPS 10257 WITH SCORE 10312.808
AT ITER 5962 NEW BEST:: SOT 62136 SOS 55807 HAS SOPS 55807 HAS SOUS 10255 HAS SOUPS 10255 WITH SCORE 10310.807
AT ITER 5969 NEW BEST:: SOT 62116 SOS 55787 HAS SOPS 55787 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10270.787
AT ITER 5983 NEW BEST:: SOT 62147 SOS 54318 HAS SOPS 54318 HAS SOUS 10196 HAS SOUPS 10196 WITH SCORE 10250.318
AT ITER 6022 NEW BEST:: SOT 62137 SOS 54308 HAS SOPS 54308 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10230.308
AT ITER 6046 NEW BEST:: SOT 62103 SOS 54274 HAS SOPS 54274 HAS SOUS 10176 HAS SOUPS 10176 WITH SCORE 10230.274
AT ITER 6065 NEW BEST:: SOT 61990 SOS 53953 HAS SOPS 53953 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10138.953
AT ITER 6074 NEW BEST:: SOT 61985 SOS 53948 HAS SOPS 53948 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10126.948
AT ITER 6078 NEW BEST:: SOT 61981 SOS 53940 HAS SOPS 53940 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10118.94
AT ITER 6080 NEW BEST:: SOT 61971 SOS 53930 HAS SOPS 53930 HAS SOUS 10060 HAS SOUPS 10060 WITH SCORE 10113.93
AT ITER 6118 NEW BEST:: SOT 61971 SOS 53923 HAS SOPS 53923 HAS SOUS 10053 HAS SOUPS 10053 WITH SCORE 10106.923
AT ITER 6126 NEW BEST:: SOT 61966 SOS 53918 HAS SOPS 53918 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10096.918
AT ITER 6159 NEW BEST:: SOT 61965 SOS 53917 HAS SOPS 53917 HAS SOUS 10041 HAS SOUPS 10041 WITH SCORE 10094.917
AT ITER 6193 NEW BEST:: SOT 61949 SOS 53901 HAS SOPS 53901 HAS SOUS 10027 HAS SOUPS 10027 WITH SCORE 10080.901
AT ITER 6263 NEW BEST:: SOT 61940 SOS 53892 HAS SOPS 53892 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10071.892
AT ITER 6301 NEW BEST:: SOT 61935 SOS 53887 HAS SOPS 53887 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10066.887
AT ITER 6322 NEW BEST:: SOT 61931 SOS 53883 HAS SOPS 53883 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10061.883
AT ITER 6324 NEW BEST:: SOT 61934 SOS 53886 HAS SOPS 53886 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10056.886
AT ITER 6337 NEW BEST:: SOT 61936 SOS 53859 HAS SOPS 53859 HAS SOUS 10002 HAS SOUPS 10002 WITH SCORE 10055.859
AT ITER 6382 NEW BEST:: SOT 61950 SOS 53873 HAS SOPS 53873 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 10034.873
AT ITER 6395 NEW BEST:: SOT 61917 SOS 53832 HAS SOPS 53832 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 10014.832
AT ITER 6549 NEW BEST:: SOT 61913 SOS 53828 HAS SOPS 53828 HAS SOUS 9961 HAS SOUPS 9961 WITH SCORE 10014.828
AT ITER 6560 NEW BEST:: SOT 61911 SOS 53826 HAS SOPS 53826 HAS SOUS 9955 HAS SOUPS 9955 WITH SCORE 10008.826
AT ITER 6636 NEW BEST:: SOT 61911 SOS 53826 HAS SOPS 53826 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9991.826
AT ITER 6649 NEW BEST:: SOT 61903 SOS 53818 HAS SOPS 53818 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9975.818
AT ITER 6654 NEW BEST:: SOT 61902 SOS 53817 HAS SOPS 53817 HAS SOUS 9920 HAS SOUPS 9920 WITH SCORE 9973.817
AT ITER 6661 NEW BEST:: SOT 61890 SOS 53805 HAS SOPS 53805 HAS SOUS 9908 HAS SOUPS 9908 WITH SCORE 9961.805
AT ITER 6673 NEW BEST:: SOT 61884 SOS 53793 HAS SOPS 53793 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9955.793
AT ITER 6697 NEW BEST:: SOT 61876 SOS 53785 HAS SOPS 53785 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9939.785
AT ITER 6781 NEW BEST:: SOT 61855 SOS 53732 HAS SOPS 53732 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9929.732
AT ITER 6786 NEW BEST:: SOT 61840 SOS 53157 HAS SOPS 53157 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9882.157
AT ITER 6816 NEW BEST:: SOT 61828 SOS 53145 HAS SOPS 53145 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9882.145
AT ITER 6824 NEW BEST:: SOT 61826 SOS 53143 HAS SOPS 53143 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9878.143
AT ITER 6825 NEW BEST:: SOT 61827 SOS 53151 HAS SOPS 53151 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9867.151
AT ITER 6832 NEW BEST:: SOT 61812 SOS 53136 HAS SOPS 53136 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9837.136
AT ITER 6922 NEW BEST:: SOT 61807 SOS 53131 HAS SOPS 53131 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9827.131
AT ITER 6936 NEW BEST:: SOT 61806 SOS 53130 HAS SOPS 53130 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9825.13
AT ITER 6959 NEW BEST:: SOT 61805 SOS 53129 HAS SOPS 53129 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9807.129
AT ITER 6974 NEW BEST:: SOT 61801 SOS 53125 HAS SOPS 53125 HAS SOUS 9746 HAS SOUPS 9746 WITH SCORE 9799.125
AT ITER 6995 NEW BEST:: SOT 61797 SOS 53117 HAS SOPS 53117 HAS SOUS 9742 HAS SOUPS 9742 WITH SCORE 9795.117
AT ITER 7009 NEW BEST:: SOT 61833 SOS 53153 HAS SOPS 53153 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9757.153
AT ITER 7029 NEW BEST:: SOT 61829 SOS 53149 HAS SOPS 53149 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9745.149
AT ITER 7030 NEW BEST:: SOT 61829 SOS 53145 HAS SOPS 53145 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9745.145
AT ITER 7034 NEW BEST:: SOT 61828 SOS 53144 HAS SOPS 53144 HAS SOUS 9691 HAS SOUPS 9691 WITH SCORE 9744.144
AT ITER 7134 NEW BEST:: SOT 61817 SOS 53133 HAS SOPS 53133 HAS SOUS 9669 HAS SOUPS 9669 WITH SCORE 9722.133
AT ITER 7139 NEW BEST:: SOT 61811 SOS 51907 HAS SOPS 51907 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9706.907
AT ITER 7221 NEW BEST:: SOT 61811 SOS 51928 HAS SOPS 51928 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9704.928
AT ITER 7229 NEW BEST:: SOT 61811 SOS 51928 HAS SOPS 51928 HAS SOUS 9648 HAS SOUPS 9648 WITH SCORE 9699.928
AT ITER 7274 NEW BEST:: SOT 61808 SOS 51925 HAS SOPS 51925 HAS SOUS 9645 HAS SOUPS 9645 WITH SCORE 9696.925
AT ITER 7277 NEW BEST:: SOT 61761 SOS 51878 HAS SOPS 51878 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9588.878
AT ITER 7281 NEW BEST:: SOT 61757 SOS 51874 HAS SOPS 51874 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9576.874
AT ITER 7328 NEW BEST:: SOT 61756 SOS 51873 HAS SOPS 51873 HAS SOUS 9517 HAS SOUPS 9517 WITH SCORE 9568.873
AT ITER 7355 NEW BEST:: SOT 61749 SOS 51879 HAS SOPS 51879 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9561.879
AT ITER 7361 NEW BEST:: SOT 61743 SOS 51873 HAS SOPS 51873 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9549.873
AT ITER 7403 NEW BEST:: SOT 61740 SOS 51870 HAS SOPS 51870 HAS SOUS 9498 HAS SOUPS 9498 WITH SCORE 9549.87
AT ITER 7408 NEW BEST:: SOT 61739 SOS 51869 HAS SOPS 51869 HAS SOUS 9488 HAS SOUPS 9488 WITH SCORE 9539.869
AT ITER 7498 NEW BEST:: SOT 61736 SOS 51866 HAS SOPS 51866 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9524.866
AT ITER 7535 NEW BEST:: SOT 61732 SOS 51882 HAS SOPS 51882 HAS SOUS 9465 HAS SOUPS 9465 WITH SCORE 9516.882
AT ITER 7570 NEW BEST:: SOT 61726 SOS 51876 HAS SOPS 51876 HAS SOUS 9453 HAS SOUPS 9453 WITH SCORE 9504.876
AT ITER 7592 NEW BEST:: SOT 61726 SOS 51876 HAS SOPS 51876 HAS SOUS 9446 HAS SOUPS 9446 WITH SCORE 9497.876
AT ITER 7596 NEW BEST:: SOT 61720 SOS 51870 HAS SOPS 51870 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9485.87
AT ITER 7632 NEW BEST:: SOT 61703 SOS 51855 HAS SOPS 51855 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9470.855
AT ITER 7651 NEW BEST:: SOT 61702 SOS 51854 HAS SOPS 51854 HAS SOUS 9417 HAS SOUPS 9417 WITH SCORE 9468.854
AT ITER 7674 NEW BEST:: SOT 61707 SOS 51859 HAS SOPS 51859 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9463.859
AT ITER 7723 NEW BEST:: SOT 61705 SOS 51857 HAS SOPS 51857 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9459.857
AT ITER 7751 NEW BEST:: SOT 61688 SOS 51830 HAS SOPS 51830 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9435.83
AT ITER 7761 NEW BEST:: SOT 61688 SOS 51824 HAS SOPS 51824 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9429.824
AT ITER 7768 NEW BEST:: SOT 61687 SOS 51823 HAS SOPS 51823 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9429.823
AT ITER 7831 NEW BEST:: SOT 61674 SOS 51817 HAS SOPS 51817 HAS SOUS 9372 HAS SOUPS 9372 WITH SCORE 9423.817
AT ITER 7842 NEW BEST:: SOT 61672 SOS 51815 HAS SOPS 51815 HAS SOUS 9368 HAS SOUPS 9368 WITH SCORE 9419.815
AT ITER 7877 NEW BEST:: SOT 61669 SOS 51806 HAS SOPS 51806 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9410.806
AT ITER 7886 NEW BEST:: SOT 61655 SOS 51792 HAS SOPS 51792 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9383.792
AT ITER 7901 NEW BEST:: SOT 61654 SOS 51791 HAS SOPS 51791 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9381.791
AT ITER 7904 NEW BEST:: SOT 61625 SOS 51762 HAS SOPS 51762 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9323.762
AT ITER 7920 NEW BEST:: SOT 61624 SOS 51761 HAS SOPS 51761 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9321.761
AT ITER 8041 NEW BEST:: SOT 61589 SOS 51726 HAS SOPS 51726 HAS SOUS 9235 HAS SOUPS 9235 WITH SCORE 9286.726
AT ITER 8082 NEW BEST:: SOT 61585 SOS 51718 HAS SOPS 51718 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9284.718
AT ITER 8096 NEW BEST:: SOT 61571 SOS 51694 HAS SOPS 51694 HAS SOUS 9209 HAS SOUPS 9209 WITH SCORE 9260.694
AT ITER 8097 NEW BEST:: SOT 61600 SOS 51723 HAS SOPS 51723 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9259.723
AT ITER 8110 NEW BEST:: SOT 61613 SOS 51736 HAS SOPS 51736 HAS SOUS 9188 HAS SOUPS 9188 WITH SCORE 9239.736
AT ITER 8117 NEW BEST:: SOT 61600 SOS 51723 HAS SOPS 51723 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9226.723
AT ITER 8168 NEW BEST:: SOT 61600 SOS 51698 HAS SOPS 51698 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9226.698
AT ITER 8229 NEW BEST:: SOT 61600 SOS 51692 HAS SOPS 51692 HAS SOUS 9169 HAS SOUPS 9169 WITH SCORE 9220.692
AT ITER 8233 NEW BEST:: SOT 61589 SOS 51660 HAS SOPS 51660 HAS SOUS 9154 HAS SOUPS 9154 WITH SCORE 9205.66
AT ITER 8241 NEW BEST:: SOT 61591 SOS 51662 HAS SOPS 51662 HAS SOUS 9152 HAS SOUPS 9152 WITH SCORE 9203.662
AT ITER 8257 NEW BEST:: SOT 61588 SOS 49424 HAS SOPS 49424 HAS SOUS 9143 HAS SOUPS 9143 WITH SCORE 9192.424
AT ITER 8283 NEW BEST:: SOT 61584 SOS 49420 HAS SOPS 49420 HAS SOUS 9135 HAS SOUPS 9135 WITH SCORE 9184.42
AT ITER 8349 NEW BEST:: SOT 61530 SOS 49366 HAS SOPS 49366 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9174.366
AT ITER 8353 NEW BEST:: SOT 61530 SOS 49366 HAS SOPS 49366 HAS SOUS 9122 HAS SOUPS 9122 WITH SCORE 9171.366
AT ITER 8395 NEW BEST:: SOT 61591 SOS 49512 HAS SOPS 49512 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9158.512
AT ITER 8476 NEW BEST:: SOT 61575 SOS 49496 HAS SOPS 49496 HAS SOUS 9093 HAS SOUPS 9093 WITH SCORE 9142.496
AT ITER 8515 NEW BEST:: SOT 61580 SOS 49509 HAS SOPS 49509 HAS SOUS 9091 HAS SOUPS 9091 WITH SCORE 9140.509
AT ITER 8582 NEW BEST:: SOT 61578 SOS 49507 HAS SOPS 49507 HAS SOUS 9087 HAS SOUPS 9087 WITH SCORE 9136.507
AT ITER 8629 NEW BEST:: SOT 61577 SOS 49494 HAS SOPS 49494 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9122.494
AT ITER 8668 NEW BEST:: SOT 61576 SOS 49493 HAS SOPS 49493 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9120.493
AT ITER 8698 NEW BEST:: SOT 61576 SOS 49493 HAS SOPS 49493 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9119.493
AT ITER 8708 NEW BEST:: SOT 61576 SOS 49493 HAS SOPS 49493 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9114.493
AT ITER 8753 NEW BEST:: SOT 61574 SOS 49491 HAS SOPS 49491 HAS SOUS 9065 HAS SOUPS 9065 WITH SCORE 9114.491
AT ITER 8770 NEW BEST:: SOT 61559 SOS 49474 HAS SOPS 49474 HAS SOUS 9048 HAS SOUPS 9048 WITH SCORE 9097.474
AT ITER 8891 NEW BEST:: SOT 61545 SOS 49460 HAS SOPS 49460 HAS SOUS 9034 HAS SOUPS 9034 WITH SCORE 9083.46
AT ITER 8903 NEW BEST:: SOT 61541 SOS 49454 HAS SOPS 49454 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9077.454
AT ITER 8952 NEW BEST:: SOT 61540 SOS 49453 HAS SOPS 49453 HAS SOUS 9026 HAS SOUPS 9026 WITH SCORE 9075.453
AT ITER 8989 NEW BEST:: SOT 61539 SOS 49452 HAS SOPS 49452 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9052.452
AT ITER 9036 NEW BEST:: SOT 61537 SOS 49450 HAS SOPS 49450 HAS SOUS 8991 HAS SOUPS 8991 WITH SCORE 9040.45
AT ITER 9112 NEW BEST:: SOT 61533 SOS 49446 HAS SOPS 49446 HAS SOUS 8987 HAS SOUPS 8987 WITH SCORE 9036.446
AT ITER 9115 NEW BEST:: SOT 61531 SOS 49443 HAS SOPS 49443 HAS SOUS 8984 HAS SOUPS 8984 WITH SCORE 9033.443
AT ITER 9158 NEW BEST:: SOT 61525 SOS 49437 HAS SOPS 49437 HAS SOUS 8972 HAS SOUPS 8972 WITH SCORE 9021.437
AT ITER 9173 NEW BEST:: SOT 61520 SOS 49415 HAS SOPS 49415 HAS SOUS 8950 HAS SOUPS 8950 WITH SCORE 8999.415
AT ITER 9209 NEW BEST:: SOT 61493 SOS 49408 HAS SOPS 49408 HAS SOUS 8943 HAS SOUPS 8943 WITH SCORE 8992.408
AT ITER 9210 NEW BEST:: SOT 61482 SOS 49397 HAS SOPS 49397 HAS SOUS 8921 HAS SOUPS 8921 WITH SCORE 8970.397
AT ITER 9266 NEW BEST:: SOT 61467 SOS 49358 HAS SOPS 49358 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8964.358
AT ITER 9345 NEW BEST:: SOT 61468 SOS 49359 HAS SOPS 49359 HAS SOUS 8913 HAS SOUPS 8913 WITH SCORE 8962.359
AT ITER 9347 NEW BEST:: SOT 61468 SOS 49245 HAS SOPS 49245 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8961.245
AT ITER 9494 NEW BEST:: SOT 61461 SOS 49238 HAS SOPS 49238 HAS SOUS 8912 HAS SOUPS 8912 WITH SCORE 8961.238
AT ITER 9499 NEW BEST:: SOT 61461 SOS 49235 HAS SOPS 49235 HAS SOUS 8909 HAS SOUPS 8909 WITH SCORE 8958.235
AT ITER 9504 NEW BEST:: SOT 61448 SOS 49222 HAS SOPS 49222 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8940.222
AT ITER 9563 NEW BEST:: SOT 61440 SOS 49242 HAS SOPS 49242 HAS SOUS 8885 HAS SOUPS 8885 WITH SCORE 8934.242
AT ITER 9605 NEW BEST:: SOT 61422 SOS 49224 HAS SOPS 49224 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8898.224
AT ITER 9684 NEW BEST:: SOT 61422 SOS 49224 HAS SOPS 49224 HAS SOUS 8847 HAS SOUPS 8847 WITH SCORE 8896.224
AT ITER 9748 NEW BEST:: SOT 61420 SOS 49222 HAS SOPS 49222 HAS SOUS 8840 HAS SOUPS 8840 WITH SCORE 8889.222
AT ITER 9854 NEW BEST:: SOT 61418 SOS 49220 HAS SOPS 49220 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8885.22
AT ITER 9875 NEW BEST:: SOT 61428 SOS 49159 HAS SOPS 49159 HAS SOUS 8819 HAS SOUPS 8819 WITH SCORE 8868.159
AT ITER 9924 NEW BEST:: SOT 61428 SOS 49159 HAS SOPS 49159 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8822.159
AT ITER 9938 NEW BEST:: SOT 61423 SOS 49154 HAS SOPS 49154 HAS SOUS 8763 HAS SOUPS 8763 WITH SCORE 8812.154
AT ITER 9969 NEW BEST:: SOT 61423 SOS 47727 HAS SOPS 47727 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8775.727
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393232 kB
MemFree: 9390980 kB
After kill :
MemTotal: 16393232 kB
MemFree: 16125052 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="DES-PT-60a"
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 DES-PT-60a, 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-167814484300496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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