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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 544K
-rw-r--r-- 1 mcc users 9.5K Feb 25 13:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 13:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 13:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 13:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:20 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 16:20 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:20 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:20 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 13:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Feb 25 13:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 13:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 25 13:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:20 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:20 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 2 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 43K 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 1678649935952

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=LamportFastMutEx-COL-7
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 19:38:57] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 19:38:57] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 19:38:57] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-12 19:38:57] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-12 19:38:58] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 653 ms
[2023-03-12 19:38:58] [INFO ] Imported 18 HL places and 17 HL transitions for a total of 264 PT places and 672.0 transition bindings in 16 ms.
[2023-03-12 19:38:58] [INFO ] Unfolded HLPN to a Petri net with 264 places and 536 transitions 2352 arcs in 25 ms.
[2023-03-12 19:38:58] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-12 19:38:58] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 264 places, 536 transitions and 2352 arcs took 8 ms.
Total runtime 803 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LamportFastMutEx (COL), instance 7
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: 264 places, 536 transitions, 2352 arcs.
AT ITER 0 NEW BEST:: SOT 63147 SOS 40417 HAS SOPS 37273 HAS SOUS 31060 HAS SOUPS 30041 WITH SCORE 30081.417
AT ITER 3 NEW BEST:: SOT 63428 SOS 40818 HAS SOPS 37706 HAS SOUS 30989 HAS SOUPS 30002 WITH SCORE 30042.818
AT ITER 11 NEW BEST:: SOT 63428 SOS 40794 HAS SOPS 37682 HAS SOUS 30977 HAS SOUPS 29990 WITH SCORE 30030.794
AT ITER 15 NEW BEST:: SOT 63428 SOS 40751 HAS SOPS 37639 HAS SOUS 30934 HAS SOUPS 29947 WITH SCORE 29987.751
AT ITER 17 NEW BEST:: SOT 63516 SOS 40943 HAS SOPS 37831 HAS SOUS 30746 HAS SOUPS 29759 WITH SCORE 29799.943
AT ITER 23 NEW BEST:: SOT 63516 SOS 40898 HAS SOPS 37786 HAS SOUS 30701 HAS SOUPS 29714 WITH SCORE 29754.898
AT ITER 27 NEW BEST:: SOT 63602 SOS 40971 HAS SOPS 37257 HAS SOUS 30774 HAS SOUPS 29185 WITH SCORE 29225.971
AT ITER 28 NEW BEST:: SOT 63509 SOS 40903 HAS SOPS 37196 HAS SOUS 30601 HAS SOUPS 29019 WITH SCORE 29059.903
AT ITER 30 NEW BEST:: SOT 63616 SOS 41095 HAS SOPS 37388 HAS SOUS 30337 HAS SOUPS 28755 WITH SCORE 28796.095
AT ITER 31 NEW BEST:: SOT 63616 SOS 41081 HAS SOPS 37374 HAS SOUS 30323 HAS SOUPS 28741 WITH SCORE 28782.081
AT ITER 35 NEW BEST:: SOT 63616 SOS 41076 HAS SOPS 37369 HAS SOUS 30318 HAS SOUPS 28736 WITH SCORE 28777.076
AT ITER 39 NEW BEST:: SOT 63000 SOS 40702 HAS SOPS 36704 HAS SOUS 29741 HAS SOUPS 28071 WITH SCORE 28111.702
AT ITER 40 NEW BEST:: SOT 63000 SOS 40635 HAS SOPS 36700 HAS SOUS 29737 HAS SOUPS 28067 WITH SCORE 28107.635
AT ITER 51 NEW BEST:: SOT 62847 SOS 40645 HAS SOPS 36521 HAS SOUS 29584 HAS SOUPS 27888 WITH SCORE 27928.645
AT ITER 66 NEW BEST:: SOT 62955 SOS 40754 HAS SOPS 36705 HAS SOUS 29308 HAS SOUPS 27612 WITH SCORE 27652.754
AT ITER 74 NEW BEST:: SOT 63037 SOS 40900 HAS SOPS 35997 HAS SOUS 28674 HAS SOUPS 26918 WITH SCORE 26958.9
AT ITER 79 NEW BEST:: SOT 63037 SOS 40896 HAS SOPS 35993 HAS SOUS 28670 HAS SOUPS 26914 WITH SCORE 26954.896
AT ITER 83 NEW BEST:: SOT 62953 SOS 40808 HAS SOPS 35809 HAS SOUS 28488 HAS SOUPS 26732 WITH SCORE 26772.808
AT ITER 88 NEW BEST:: SOT 63073 SOS 40647 HAS SOPS 35419 HAS SOUS 28604 HAS SOUPS 26648 WITH SCORE 26688.647
AT ITER 100 NEW BEST:: SOT 62954 SOS 40534 HAS SOPS 35170 HAS SOUS 28352 HAS SOUPS 26396 WITH SCORE 26436.534
AT ITER 135 NEW BEST:: SOT 62766 SOS 40339 HAS SOPS 34921 HAS SOUS 27920 HAS SOUPS 25964 WITH SCORE 26004.339
AT ITER 136 NEW BEST:: SOT 62651 SOS 40251 HAS SOPS 34806 HAS SOUS 27832 HAS SOUPS 25849 WITH SCORE 25889.251
AT ITER 138 NEW BEST:: SOT 62563 SOS 40185 HAS SOPS 34718 HAS SOUS 27854 HAS SOUPS 25849 WITH SCORE 25889.185
AT ITER 140 NEW BEST:: SOT 62468 SOS 40111 HAS SOPS 34623 HAS SOUS 27780 HAS SOUPS 25754 WITH SCORE 25794.111
AT ITER 143 NEW BEST:: SOT 62468 SOS 40093 HAS SOPS 34605 HAS SOUS 27762 HAS SOUPS 25736 WITH SCORE 25776.093
AT ITER 149 NEW BEST:: SOT 62468 SOS 40083 HAS SOPS 34595 HAS SOUS 27757 HAS SOUPS 25731 WITH SCORE 25771.083
AT ITER 150 NEW BEST:: SOT 62468 SOS 40048 HAS SOPS 34560 HAS SOUS 27722 HAS SOUPS 25696 WITH SCORE 25736.048
AT ITER 151 NEW BEST:: SOT 62468 SOS 39784 HAS SOPS 34296 HAS SOUS 27705 HAS SOUPS 25679 WITH SCORE 25718.784
AT ITER 166 NEW BEST:: SOT 62283 SOS 39630 HAS SOPS 34111 HAS SOUS 27583 HAS SOUPS 25526 WITH SCORE 25565.63
AT ITER 167 NEW BEST:: SOT 62309 SOS 39669 HAS SOPS 33968 HAS SOUS 27562 HAS SOUPS 25383 WITH SCORE 25422.669
AT ITER 179 NEW BEST:: SOT 62325 SOS 39726 HAS SOPS 34025 HAS SOUS 27546 HAS SOUPS 25367 WITH SCORE 25406.726
AT ITER 181 NEW BEST:: SOT 62325 SOS 39718 HAS SOPS 34017 HAS SOUS 27538 HAS SOUPS 25359 WITH SCORE 25398.718
AT ITER 189 NEW BEST:: SOT 62325 SOS 39690 HAS SOPS 33989 HAS SOUS 27510 HAS SOUPS 25331 WITH SCORE 25370.69
AT ITER 190 NEW BEST:: SOT 62340 SOS 39465 HAS SOPS 33680 HAS SOUS 27432 HAS SOUPS 25243 WITH SCORE 25282.465
AT ITER 201 NEW BEST:: SOT 62358 SOS 39483 HAS SOPS 33572 HAS SOUS 27336 HAS SOUPS 25135 WITH SCORE 25174.483
AT ITER 202 NEW BEST:: SOT 62231 SOS 39384 HAS SOPS 33445 HAS SOUS 27333 HAS SOUPS 25104 WITH SCORE 25143.384
AT ITER 217 NEW BEST:: SOT 62089 SOS 39292 HAS SOPS 33153 HAS SOUS 27016 HAS SOUPS 24787 WITH SCORE 24826.292
AT ITER 220 NEW BEST:: SOT 62089 SOS 39127 HAS SOPS 32988 HAS SOUS 27016 HAS SOUPS 24787 WITH SCORE 24826.127
AT ITER 222 NEW BEST:: SOT 62089 SOS 39114 HAS SOPS 32975 HAS SOUS 27003 HAS SOUPS 24774 WITH SCORE 24813.114
AT ITER 223 NEW BEST:: SOT 61933 SOS 38963 HAS SOPS 32668 HAS SOUS 26705 HAS SOUPS 24476 WITH SCORE 24514.963
AT ITER 225 NEW BEST:: SOT 61933 SOS 38926 HAS SOPS 32631 HAS SOUS 26668 HAS SOUPS 24439 WITH SCORE 24477.926
AT ITER 239 NEW BEST:: SOT 61933 SOS 38913 HAS SOPS 32618 HAS SOUS 26655 HAS SOUPS 24426 WITH SCORE 24464.913
AT ITER 249 NEW BEST:: SOT 61849 SOS 38830 HAS SOPS 32485 HAS SOUS 26572 HAS SOUPS 24293 WITH SCORE 24331.83
AT ITER 250 NEW BEST:: SOT 61137 SOS 38444 HAS SOPS 31768 HAS SOUS 25955 HAS SOUPS 23576 WITH SCORE 23614.444
AT ITER 256 NEW BEST:: SOT 61137 SOS 38401 HAS SOPS 31739 HAS SOUS 25926 HAS SOUPS 23547 WITH SCORE 23585.401
AT ITER 257 NEW BEST:: SOT 61137 SOS 38339 HAS SOPS 31692 HAS SOUS 25879 HAS SOUPS 23500 WITH SCORE 23538.339
AT ITER 271 NEW BEST:: SOT 61018 SOS 38234 HAS SOPS 31566 HAS SOUS 25774 HAS SOUPS 23374 WITH SCORE 23412.234
AT ITER 273 NEW BEST:: SOT 61017 SOS 38233 HAS SOPS 31565 HAS SOUS 25773 HAS SOUPS 23373 WITH SCORE 23411.233
AT ITER 277 NEW BEST:: SOT 60981 SOS 38203 HAS SOPS 31529 HAS SOUS 25743 HAS SOUPS 23337 WITH SCORE 23375.203
AT ITER 286 NEW BEST:: SOT 60981 SOS 38207 HAS SOPS 31484 HAS SOUS 25698 HAS SOUPS 23292 WITH SCORE 23330.207
AT ITER 288 NEW BEST:: SOT 61026 SOS 37956 HAS SOPS 31085 HAS SOUS 25584 HAS SOUPS 23178 WITH SCORE 23215.956
AT ITER 290 NEW BEST:: SOT 61012 SOS 37942 HAS SOPS 31055 HAS SOUS 25554 HAS SOUPS 23148 WITH SCORE 23185.942
AT ITER 299 NEW BEST:: SOT 60886 SOS 38280 HAS SOPS 30909 HAS SOUS 25669 HAS SOUPS 23002 WITH SCORE 23040.28
AT ITER 308 NEW BEST:: SOT 60846 SOS 38202 HAS SOPS 30823 HAS SOUS 25583 HAS SOUPS 22916 WITH SCORE 22954.202
AT ITER 318 NEW BEST:: SOT 60846 SOS 38198 HAS SOPS 30819 HAS SOUS 25581 HAS SOUPS 22914 WITH SCORE 22952.198
AT ITER 319 NEW BEST:: SOT 60420 SOS 37882 HAS SOPS 30503 HAS SOUS 25210 HAS SOUPS 22543 WITH SCORE 22580.882
AT ITER 322 NEW BEST:: SOT 60405 SOS 37879 HAS SOPS 30500 HAS SOUS 25159 HAS SOUPS 22492 WITH SCORE 22529.879
AT ITER 323 NEW BEST:: SOT 60375 SOS 37875 HAS SOPS 30538 HAS SOUS 24990 HAS SOUPS 22360 WITH SCORE 22397.875
AT ITER 332 NEW BEST:: SOT 60361 SOS 37861 HAS SOPS 30510 HAS SOUS 24962 HAS SOUPS 22332 WITH SCORE 22369.861
AT ITER 335 NEW BEST:: SOT 60359 SOS 37820 HAS SOPS 30432 HAS SOUS 24884 HAS SOUPS 22254 WITH SCORE 22291.82
AT ITER 341 NEW BEST:: SOT 60359 SOS 37833 HAS SOPS 30396 HAS SOUS 24848 HAS SOUPS 22218 WITH SCORE 22255.833
AT ITER 343 NEW BEST:: SOT 60206 SOS 37728 HAS SOPS 30210 HAS SOUS 24726 HAS SOUPS 22032 WITH SCORE 22069.728
AT ITER 352 NEW BEST:: SOT 60206 SOS 37724 HAS SOPS 30206 HAS SOUS 24722 HAS SOUPS 22028 WITH SCORE 22065.724
AT ITER 357 NEW BEST:: SOT 60206 SOS 37712 HAS SOPS 30194 HAS SOUS 24710 HAS SOUPS 22016 WITH SCORE 22053.712
AT ITER 358 NEW BEST:: SOT 60210 SOS 37626 HAS SOPS 30010 HAS SOUS 24627 HAS SOUPS 21933 WITH SCORE 21970.626
AT ITER 360 NEW BEST:: SOT 60204 SOS 37614 HAS SOPS 29998 HAS SOUS 24621 HAS SOUPS 21927 WITH SCORE 21964.614
AT ITER 364 NEW BEST:: SOT 60267 SOS 37428 HAS SOPS 29545 HAS SOUS 24422 HAS SOUPS 21728 WITH SCORE 21765.428
AT ITER 369 NEW BEST:: SOT 60267 SOS 37411 HAS SOPS 29528 HAS SOUS 24405 HAS SOUPS 21711 WITH SCORE 21748.411
AT ITER 370 NEW BEST:: SOT 60185 SOS 37639 HAS SOPS 29446 HAS SOUS 24523 HAS SOUPS 21629 WITH SCORE 21666.639
AT ITER 372 NEW BEST:: SOT 60185 SOS 37608 HAS SOPS 29446 HAS SOUS 24523 HAS SOUPS 21629 WITH SCORE 21666.608
AT ITER 373 NEW BEST:: SOT 60227 SOS 37653 HAS SOPS 29439 HAS SOUS 24558 HAS SOUPS 21622 WITH SCORE 21659.653
AT ITER 376 NEW BEST:: SOT 60136 SOS 37575 HAS SOPS 29341 HAS SOUS 24480 HAS SOUPS 21524 WITH SCORE 21561.575
AT ITER 382 NEW BEST:: SOT 60110 SOS 37546 HAS SOPS 29315 HAS SOUS 24454 HAS SOUPS 21498 WITH SCORE 21535.546
AT ITER 385 NEW BEST:: SOT 60039 SOS 37431 HAS SOPS 29264 HAS SOUS 24361 HAS SOUPS 21447 WITH SCORE 21484.431
AT ITER 400 NEW BEST:: SOT 60073 SOS 37376 HAS SOPS 29177 HAS SOUS 24314 HAS SOUPS 21400 WITH SCORE 21437.376
AT ITER 402 NEW BEST:: SOT 60032 SOS 37330 HAS SOPS 29153 HAS SOUS 24268 HAS SOUPS 21376 WITH SCORE 21413.33
AT ITER 416 NEW BEST:: SOT 59976 SOS 37217 HAS SOPS 29087 HAS SOUS 24174 HAS SOUPS 21310 WITH SCORE 21347.217
AT ITER 425 NEW BEST:: SOT 59955 SOS 37162 HAS SOPS 29075 HAS SOUS 24134 HAS SOUPS 21298 WITH SCORE 21335.162
AT ITER 428 NEW BEST:: SOT 59885 SOS 37012 HAS SOPS 29005 HAS SOUS 24044 HAS SOUPS 21218 WITH SCORE 21255.012
AT ITER 442 NEW BEST:: SOT 59906 SOS 37035 HAS SOPS 28860 HAS SOUS 23998 HAS SOUPS 21155 WITH SCORE 21192.035
AT ITER 462 NEW BEST:: SOT 59909 SOS 37072 HAS SOPS 28850 HAS SOUS 24016 HAS SOUPS 21145 WITH SCORE 21182.072
AT ITER 467 NEW BEST:: SOT 59534 SOS 36817 HAS SOPS 28595 HAS SOUS 23701 HAS SOUPS 20830 WITH SCORE 20866.817
AT ITER 476 NEW BEST:: SOT 59475 SOS 36758 HAS SOPS 28544 HAS SOUS 23650 HAS SOUPS 20779 WITH SCORE 20815.758
AT ITER 496 NEW BEST:: SOT 59466 SOS 36749 HAS SOPS 28526 HAS SOUS 23632 HAS SOUPS 20761 WITH SCORE 20797.749
AT ITER 498 NEW BEST:: SOT 59471 SOS 36754 HAS SOPS 28491 HAS SOUS 23622 HAS SOUPS 20746 WITH SCORE 20782.754
AT ITER 504 NEW BEST:: SOT 59454 SOS 36749 HAS SOPS 28486 HAS SOUS 23617 HAS SOUPS 20741 WITH SCORE 20777.749
AT ITER 511 NEW BEST:: SOT 59448 SOS 36743 HAS SOPS 28468 HAS SOUS 23599 HAS SOUPS 20723 WITH SCORE 20759.743
AT ITER 513 NEW BEST:: SOT 59448 SOS 36720 HAS SOPS 28445 HAS SOUS 23576 HAS SOUPS 20700 WITH SCORE 20736.72
AT ITER 558 NEW BEST:: SOT 59386 SOS 36658 HAS SOPS 28393 HAS SOUS 23524 HAS SOUPS 20648 WITH SCORE 20684.658
AT ITER 560 NEW BEST:: SOT 59103 SOS 36479 HAS SOPS 28214 HAS SOUS 23293 HAS SOUPS 20417 WITH SCORE 20453.479
AT ITER 578 NEW BEST:: SOT 59103 SOS 36474 HAS SOPS 28209 HAS SOUS 23288 HAS SOUPS 20412 WITH SCORE 20448.474
AT ITER 580 NEW BEST:: SOT 59103 SOS 36494 HAS SOPS 28229 HAS SOUS 23285 HAS SOUPS 20409 WITH SCORE 20445.494
AT ITER 588 NEW BEST:: SOT 59114 SOS 36584 HAS SOPS 28260 HAS SOUS 23188 HAS SOUPS 20312 WITH SCORE 20348.584
AT ITER 593 NEW BEST:: SOT 58699 SOS 36299 HAS SOPS 27975 HAS SOUS 22838 HAS SOUPS 19962 WITH SCORE 19998.299
AT ITER 617 NEW BEST:: SOT 58538 SOS 36184 HAS SOPS 27837 HAS SOUS 22677 HAS SOUPS 19801 WITH SCORE 19837.184
AT ITER 627 NEW BEST:: SOT 58507 SOS 36145 HAS SOPS 27747 HAS SOUS 22587 HAS SOUPS 19711 WITH SCORE 19747.145
AT ITER 628 NEW BEST:: SOT 58509 SOS 36123 HAS SOPS 27722 HAS SOUS 22574 HAS SOUPS 19698 WITH SCORE 19734.123
AT ITER 641 NEW BEST:: SOT 58506 SOS 36092 HAS SOPS 27716 HAS SOUS 22543 HAS SOUPS 19692 WITH SCORE 19728.092
AT ITER 643 NEW BEST:: SOT 58506 SOS 35980 HAS SOPS 27604 HAS SOUS 22532 HAS SOUPS 19681 WITH SCORE 19716.98
AT ITER 648 NEW BEST:: SOT 58501 SOS 36006 HAS SOPS 27592 HAS SOUS 22520 HAS SOUPS 19669 WITH SCORE 19705.006
AT ITER 659 NEW BEST:: SOT 58444 SOS 35965 HAS SOPS 27535 HAS SOUS 22531 HAS SOUPS 19664 WITH SCORE 19699.965
AT ITER 662 NEW BEST:: SOT 58268 SOS 35837 HAS SOPS 27403 HAS SOUS 22375 HAS SOUPS 19508 WITH SCORE 19543.837
AT ITER 667 NEW BEST:: SOT 58268 SOS 35832 HAS SOPS 27398 HAS SOUS 22370 HAS SOUPS 19503 WITH SCORE 19538.832
AT ITER 671 NEW BEST:: SOT 58268 SOS 35829 HAS SOPS 27395 HAS SOUS 22367 HAS SOUPS 19500 WITH SCORE 19535.829
AT ITER 694 NEW BEST:: SOT 58261 SOS 35822 HAS SOPS 27377 HAS SOUS 22371 HAS SOUPS 19482 WITH SCORE 19517.822
AT ITER 695 NEW BEST:: SOT 58253 SOS 35814 HAS SOPS 27369 HAS SOUS 22363 HAS SOUPS 19474 WITH SCORE 19509.814
AT ITER 696 NEW BEST:: SOT 58177 SOS 35767 HAS SOPS 27293 HAS SOUS 22306 HAS SOUPS 19398 WITH SCORE 19433.767
AT ITER 704 NEW BEST:: SOT 58177 SOS 35863 HAS SOPS 27197 HAS SOUS 22234 HAS SOUPS 19314 WITH SCORE 19349.863
AT ITER 707 NEW BEST:: SOT 58177 SOS 35882 HAS SOPS 27193 HAS SOUS 22230 HAS SOUPS 19310 WITH SCORE 19345.882
AT ITER 709 NEW BEST:: SOT 58226 SOS 35949 HAS SOPS 27181 HAS SOUS 22220 HAS SOUPS 19300 WITH SCORE 19335.949
AT ITER 715 NEW BEST:: SOT 58208 SOS 35934 HAS SOPS 27160 HAS SOUS 22217 HAS SOUPS 19291 WITH SCORE 19326.934
AT ITER 722 NEW BEST:: SOT 58186 SOS 35882 HAS SOPS 27130 HAS SOUS 22202 HAS SOUPS 19276 WITH SCORE 19311.882
AT ITER 724 NEW BEST:: SOT 58271 SOS 36051 HAS SOPS 27299 HAS SOUS 21983 HAS SOUPS 19057 WITH SCORE 19093.051
AT ITER 726 NEW BEST:: SOT 58271 SOS 36024 HAS SOPS 27272 HAS SOUS 21956 HAS SOUPS 19030 WITH SCORE 19066.024
AT ITER 766 NEW BEST:: SOT 58192 SOS 35959 HAS SOPS 27123 HAS SOUS 21893 HAS SOUPS 18881 WITH SCORE 18916.959
AT ITER 769 NEW BEST:: SOT 58106 SOS 35891 HAS SOPS 27037 HAS SOUS 21897 HAS SOUPS 18867 WITH SCORE 18902.891
AT ITER 781 NEW BEST:: SOT 58112 SOS 35883 HAS SOPS 27028 HAS SOUS 21888 HAS SOUPS 18858 WITH SCORE 18893.883
AT ITER 788 NEW BEST:: SOT 58091 SOS 35862 HAS SOPS 26956 HAS SOUS 21816 HAS SOUPS 18786 WITH SCORE 18821.862
AT ITER 789 NEW BEST:: SOT 58103 SOS 35897 HAS SOPS 26925 HAS SOUS 21813 HAS SOUPS 18755 WITH SCORE 18790.897
AT ITER 796 NEW BEST:: SOT 58110 SOS 35904 HAS SOPS 26919 HAS SOUS 21820 HAS SOUPS 18749 WITH SCORE 18784.904
AT ITER 800 NEW BEST:: SOT 58110 SOS 35494 HAS SOPS 26912 HAS SOUS 21698 HAS SOUPS 18742 WITH SCORE 18777.494
AT ITER 801 NEW BEST:: SOT 58109 SOS 35485 HAS SOPS 26885 HAS SOUS 21682 HAS SOUPS 18715 WITH SCORE 18750.485
AT ITER 803 NEW BEST:: SOT 58109 SOS 35349 HAS SOPS 26749 HAS SOUS 21679 HAS SOUPS 18712 WITH SCORE 18747.349
AT ITER 823 NEW BEST:: SOT 57598 SOS 34984 HAS SOPS 26384 HAS SOUS 21241 HAS SOUPS 18274 WITH SCORE 18308.984
AT ITER 838 NEW BEST:: SOT 57730 SOS 35048 HAS SOPS 26564 HAS SOUS 21136 HAS SOUPS 18221 WITH SCORE 18256.048
AT ITER 844 NEW BEST:: SOT 57730 SOS 35043 HAS SOPS 26559 HAS SOUS 21131 HAS SOUPS 18216 WITH SCORE 18251.043
AT ITER 847 NEW BEST:: SOT 57646 SOS 34959 HAS SOPS 26475 HAS SOUS 21047 HAS SOUPS 18132 WITH SCORE 18166.959
AT ITER 899 NEW BEST:: SOT 57640 SOS 35019 HAS SOPS 26469 HAS SOUS 21070 HAS SOUPS 18126 WITH SCORE 18161.019
AT ITER 900 NEW BEST:: SOT 57640 SOS 34984 HAS SOPS 26466 HAS SOUS 21067 HAS SOUPS 18123 WITH SCORE 18157.984
AT ITER 901 NEW BEST:: SOT 57631 SOS 34971 HAS SOPS 26460 HAS SOUS 21061 HAS SOUPS 18117 WITH SCORE 18151.971
AT ITER 911 NEW BEST:: SOT 57598 SOS 34938 HAS SOPS 26404 HAS SOUS 21005 HAS SOUPS 18061 WITH SCORE 18095.938
AT ITER 925 NEW BEST:: SOT 57504 SOS 34915 HAS SOPS 26310 HAS SOUS 21013 HAS SOUPS 17967 WITH SCORE 18001.915
AT ITER 932 NEW BEST:: SOT 57485 SOS 34896 HAS SOPS 26284 HAS SOUS 20994 HAS SOUPS 17941 WITH SCORE 17975.896
AT ITER 944 NEW BEST:: SOT 57513 SOS 34917 HAS SOPS 26320 HAS SOUS 20812 HAS SOUPS 17770 WITH SCORE 17804.917
AT ITER 957 NEW BEST:: SOT 57513 SOS 34896 HAS SOPS 26299 HAS SOUS 20809 HAS SOUPS 17767 WITH SCORE 17801.896
AT ITER 958 NEW BEST:: SOT 57513 SOS 34860 HAS SOPS 26298 HAS SOUS 20808 HAS SOUPS 17766 WITH SCORE 17800.86
AT ITER 960 NEW BEST:: SOT 57462 SOS 34785 HAS SOPS 26209 HAS SOUS 20719 HAS SOUPS 17677 WITH SCORE 17711.785
AT ITER 967 NEW BEST:: SOT 57443 SOS 34766 HAS SOPS 26153 HAS SOUS 20700 HAS SOUPS 17621 WITH SCORE 17655.766
AT ITER 970 NEW BEST:: SOT 57443 SOS 34766 HAS SOPS 26140 HAS SOUS 20687 HAS SOUPS 17608 WITH SCORE 17642.766
AT ITER 989 NEW BEST:: SOT 57443 SOS 34759 HAS SOPS 26133 HAS SOUS 20680 HAS SOUPS 17601 WITH SCORE 17635.759
AT ITER 993 NEW BEST:: SOT 57326 SOS 34686 HAS SOPS 26016 HAS SOUS 20739 HAS SOUPS 17580 WITH SCORE 17614.686
AT ITER 1005 NEW BEST:: SOT 57284 SOS 34605 HAS SOPS 25938 HAS SOUS 20637 HAS SOUPS 17502 WITH SCORE 17536.605
AT ITER 1013 NEW BEST:: SOT 57284 SOS 34604 HAS SOPS 25931 HAS SOUS 20630 HAS SOUPS 17495 WITH SCORE 17529.604
AT ITER 1014 NEW BEST:: SOT 57326 SOS 34622 HAS SOPS 25972 HAS SOUS 20549 HAS SOUPS 17424 WITH SCORE 17458.622
AT ITER 1016 NEW BEST:: SOT 57137 SOS 34468 HAS SOPS 25818 HAS SOUS 20368 HAS SOUPS 17243 WITH SCORE 17277.468
AT ITER 1032 NEW BEST:: SOT 57144 SOS 34475 HAS SOPS 25776 HAS SOUS 20375 HAS SOUPS 17201 WITH SCORE 17235.475
AT ITER 1035 NEW BEST:: SOT 57140 SOS 34471 HAS SOPS 25772 HAS SOUS 20371 HAS SOUPS 17197 WITH SCORE 17231.471
AT ITER 1037 NEW BEST:: SOT 57126 SOS 34450 HAS SOPS 25755 HAS SOUS 20354 HAS SOUPS 17180 WITH SCORE 17214.45
AT ITER 1038 NEW BEST:: SOT 57306 SOS 34628 HAS SOPS 25957 HAS SOUS 20209 HAS SOUPS 17059 WITH SCORE 17093.628
AT ITER 1047 NEW BEST:: SOT 57198 SOS 34520 HAS SOPS 25849 HAS SOUS 20101 HAS SOUPS 16951 WITH SCORE 16985.52
AT ITER 1060 NEW BEST:: SOT 57191 SOS 34514 HAS SOPS 25842 HAS SOUS 20100 HAS SOUPS 16948 WITH SCORE 16982.514
AT ITER 1067 NEW BEST:: SOT 57165 SOS 34508 HAS SOPS 25797 HAS SOUS 20079 HAS SOUPS 16903 WITH SCORE 16937.508
AT ITER 1068 NEW BEST:: SOT 57143 SOS 34660 HAS SOPS 25734 HAS SOUS 20061 HAS SOUPS 16856 WITH SCORE 16890.66
AT ITER 1070 NEW BEST:: SOT 57139 SOS 34656 HAS SOPS 25726 HAS SOUS 20053 HAS SOUPS 16848 WITH SCORE 16882.656
AT ITER 1081 NEW BEST:: SOT 57132 SOS 34649 HAS SOPS 25723 HAS SOUS 20046 HAS SOUPS 16845 WITH SCORE 16879.649
AT ITER 1082 NEW BEST:: SOT 57019 SOS 34536 HAS SOPS 25610 HAS SOUS 20025 HAS SOUPS 16824 WITH SCORE 16858.536
AT ITER 1085 NEW BEST:: SOT 57016 SOS 34504 HAS SOPS 25604 HAS SOUS 19995 HAS SOUPS 16818 WITH SCORE 16852.504
AT ITER 1102 NEW BEST:: SOT 56961 SOS 34401 HAS SOPS 25549 HAS SOUS 19916 HAS SOUPS 16763 WITH SCORE 16797.401
AT ITER 1118 NEW BEST:: SOT 56951 SOS 34406 HAS SOPS 25539 HAS SOUS 19906 HAS SOUPS 16738 WITH SCORE 16772.406
AT ITER 1123 NEW BEST:: SOT 56951 SOS 34406 HAS SOPS 25538 HAS SOUS 19905 HAS SOUPS 16737 WITH SCORE 16771.406
AT ITER 1124 NEW BEST:: SOT 56951 SOS 34436 HAS SOPS 25529 HAS SOUS 19905 HAS SOUPS 16728 WITH SCORE 16762.436
AT ITER 1132 NEW BEST:: SOT 56951 SOS 34420 HAS SOPS 25513 HAS SOUS 19903 HAS SOUPS 16726 WITH SCORE 16760.42
AT ITER 1133 NEW BEST:: SOT 56951 SOS 34400 HAS SOPS 25478 HAS SOUS 19883 HAS SOUPS 16706 WITH SCORE 16740.4
AT ITER 1143 NEW BEST:: SOT 56951 SOS 34415 HAS SOPS 25417 HAS SOUS 19822 HAS SOUPS 16645 WITH SCORE 16679.415
AT ITER 1155 NEW BEST:: SOT 56944 SOS 34408 HAS SOPS 25405 HAS SOUS 19815 HAS SOUPS 16633 WITH SCORE 16667.408
AT ITER 1186 NEW BEST:: SOT 56658 SOS 34169 HAS SOPS 25119 HAS SOUS 19629 HAS SOUPS 16403 WITH SCORE 16437.169
AT ITER 1204 NEW BEST:: SOT 56526 SOS 34061 HAS SOPS 24857 HAS SOUS 19340 HAS SOUPS 16114 WITH SCORE 16148.061
AT ITER 1214 NEW BEST:: SOT 56526 SOS 34053 HAS SOPS 24849 HAS SOUS 19332 HAS SOUPS 16106 WITH SCORE 16140.053
AT ITER 1226 NEW BEST:: SOT 56526 SOS 34080 HAS SOPS 24844 HAS SOUS 19327 HAS SOUPS 16101 WITH SCORE 16135.08
AT ITER 1232 NEW BEST:: SOT 56497 SOS 34186 HAS SOPS 24792 HAS SOUS 19371 HAS SOUPS 16049 WITH SCORE 16083.186
AT ITER 1241 NEW BEST:: SOT 56476 SOS 34165 HAS SOPS 24750 HAS SOUS 19350 HAS SOUPS 16007 WITH SCORE 16041.165
AT ITER 1243 NEW BEST:: SOT 56384 SOS 34508 HAS SOPS 24713 HAS SOUS 19577 HAS SOUPS 15970 WITH SCORE 16004.508
AT ITER 1245 NEW BEST:: SOT 56390 SOS 34513 HAS SOPS 24722 HAS SOUS 19542 HAS SOUPS 15938 WITH SCORE 15972.513
AT ITER 1247 NEW BEST:: SOT 56390 SOS 34581 HAS SOPS 24703 HAS SOUS 19577 HAS SOUPS 15919 WITH SCORE 15953.581
AT ITER 1252 NEW BEST:: SOT 56380 SOS 34577 HAS SOPS 24658 HAS SOUS 19532 HAS SOUPS 15874 WITH SCORE 15908.577
AT ITER 1256 NEW BEST:: SOT 56357 SOS 34557 HAS SOPS 24643 HAS SOUS 19517 HAS SOUPS 15859 WITH SCORE 15893.557
AT ITER 1257 NEW BEST:: SOT 56357 SOS 34497 HAS SOPS 24583 HAS SOUS 19517 HAS SOUPS 15859 WITH SCORE 15893.497
AT ITER 1268 NEW BEST:: SOT 56357 SOS 34497 HAS SOPS 24586 HAS SOUS 19505 HAS SOUPS 15850 WITH SCORE 15884.497
AT ITER 1271 NEW BEST:: SOT 56353 SOS 34493 HAS SOPS 24582 HAS SOUS 19501 HAS SOUPS 15846 WITH SCORE 15880.493
AT ITER 1292 NEW BEST:: SOT 56352 SOS 34492 HAS SOPS 24580 HAS SOUS 19450 HAS SOUPS 15844 WITH SCORE 15878.492
AT ITER 1293 NEW BEST:: SOT 56355 SOS 34495 HAS SOPS 24574 HAS SOUS 19453 HAS SOUPS 15838 WITH SCORE 15872.495
AT ITER 1348 NEW BEST:: SOT 56276 SOS 34447 HAS SOPS 24556 HAS SOUS 19332 HAS SOUPS 15811 WITH SCORE 15845.447
AT ITER 1362 NEW BEST:: SOT 56271 SOS 34442 HAS SOPS 24551 HAS SOUS 19327 HAS SOUPS 15806 WITH SCORE 15840.442
AT ITER 1365 NEW BEST:: SOT 56246 SOS 34303 HAS SOPS 24528 HAS SOUS 19232 HAS SOUPS 15783 WITH SCORE 15817.303
AT ITER 1366 NEW BEST:: SOT 56226 SOS 34345 HAS SOPS 24488 HAS SOUS 19232 HAS SOUPS 15743 WITH SCORE 15777.345
AT ITER 1372 NEW BEST:: SOT 56210 SOS 34292 HAS SOPS 24455 HAS SOUS 19165 HAS SOUPS 15680 WITH SCORE 15714.292
AT ITER 1390 NEW BEST:: SOT 56188 SOS 34334 HAS SOPS 24497 HAS SOUS 19151 HAS SOUPS 15666 WITH SCORE 15700.334
AT ITER 1401 NEW BEST:: SOT 56173 SOS 34319 HAS SOPS 24482 HAS SOUS 19136 HAS SOUPS 15651 WITH SCORE 15685.319
AT ITER 1402 NEW BEST:: SOT 56173 SOS 34319 HAS SOPS 24482 HAS SOUS 19134 HAS SOUPS 15649 WITH SCORE 15683.319
AT ITER 1419 NEW BEST:: SOT 56316 SOS 34496 HAS SOPS 24715 HAS SOUS 18881 HAS SOUPS 15408 WITH SCORE 15442.496
AT ITER 1452 NEW BEST:: SOT 56352 SOS 34489 HAS SOPS 24603 HAS SOUS 18824 HAS SOUPS 15351 WITH SCORE 15385.489
AT ITER 1454 NEW BEST:: SOT 56323 SOS 34460 HAS SOPS 24574 HAS SOUS 18795 HAS SOUPS 15322 WITH SCORE 15356.46
AT ITER 1464 NEW BEST:: SOT 56303 SOS 34448 HAS SOPS 24574 HAS SOUS 18775 HAS SOUPS 15310 WITH SCORE 15344.448
AT ITER 1466 NEW BEST:: SOT 56280 SOS 34430 HAS SOPS 24563 HAS SOUS 18764 HAS SOUPS 15299 WITH SCORE 15333.43
AT ITER 1479 NEW BEST:: SOT 56243 SOS 34367 HAS SOPS 24524 HAS SOUS 18534 HAS SOUPS 15080 WITH SCORE 15114.367
AT ITER 1485 NEW BEST:: SOT 56083 SOS 34247 HAS SOPS 24394 HAS SOUS 18384 HAS SOUPS 14930 WITH SCORE 14964.247
AT ITER 1536 NEW BEST:: SOT 56076 SOS 34240 HAS SOPS 24386 HAS SOUS 18377 HAS SOUPS 14922 WITH SCORE 14956.24
AT ITER 1540 NEW BEST:: SOT 56076 SOS 34235 HAS SOPS 24375 HAS SOUS 18366 HAS SOUPS 14911 WITH SCORE 14945.235
AT ITER 1546 NEW BEST:: SOT 56063 SOS 34222 HAS SOPS 24359 HAS SOUS 18353 HAS SOUPS 14895 WITH SCORE 14929.222
AT ITER 1558 NEW BEST:: SOT 56063 SOS 34135 HAS SOPS 24359 HAS SOUS 18305 HAS SOUPS 14895 WITH SCORE 14929.135
AT ITER 1563 NEW BEST:: SOT 56063 SOS 34126 HAS SOPS 24350 HAS SOUS 18296 HAS SOUPS 14886 WITH SCORE 14920.126
AT ITER 1605 NEW BEST:: SOT 56053 SOS 34116 HAS SOPS 24340 HAS SOUS 18286 HAS SOUPS 14876 WITH SCORE 14910.116
AT ITER 1616 NEW BEST:: SOT 56053 SOS 34116 HAS SOPS 24339 HAS SOUS 18285 HAS SOUPS 14875 WITH SCORE 14909.116
AT ITER 1619 NEW BEST:: SOT 55989 SOS 34068 HAS SOPS 24275 HAS SOUS 18346 HAS SOUPS 14875 WITH SCORE 14909.068
AT ITER 1623 NEW BEST:: SOT 55760 SOS 33882 HAS SOPS 24007 HAS SOUS 18320 HAS SOUPS 14683 WITH SCORE 14716.882
AT ITER 1642 NEW BEST:: SOT 55758 SOS 33880 HAS SOPS 24002 HAS SOUS 18318 HAS SOUPS 14678 WITH SCORE 14711.88
AT ITER 1643 NEW BEST:: SOT 55758 SOS 33880 HAS SOPS 24002 HAS SOUS 18310 HAS SOUPS 14670 WITH SCORE 14703.88
AT ITER 1652 NEW BEST:: SOT 55755 SOS 33877 HAS SOPS 23989 HAS SOUS 18307 HAS SOUPS 14657 WITH SCORE 14690.877
AT ITER 1675 NEW BEST:: SOT 55755 SOS 33877 HAS SOPS 23988 HAS SOUS 18306 HAS SOUPS 14656 WITH SCORE 14689.877
AT ITER 1679 NEW BEST:: SOT 55765 SOS 33904 HAS SOPS 23935 HAS SOUS 18263 HAS SOUPS 14603 WITH SCORE 14636.904
AT ITER 1684 NEW BEST:: SOT 55765 SOS 33882 HAS SOPS 23935 HAS SOUS 18263 HAS SOUPS 14603 WITH SCORE 14636.882
AT ITER 1700 NEW BEST:: SOT 55758 SOS 33883 HAS SOPS 23929 HAS SOUS 18253 HAS SOUPS 14593 WITH SCORE 14626.883
AT ITER 1703 NEW BEST:: SOT 55727 SOS 33847 HAS SOPS 23860 HAS SOUS 18184 HAS SOUPS 14524 WITH SCORE 14557.847
AT ITER 1705 NEW BEST:: SOT 55727 SOS 33721 HAS SOPS 23860 HAS SOUS 18130 HAS SOUPS 14524 WITH SCORE 14557.721
AT ITER 1723 NEW BEST:: SOT 55718 SOS 33712 HAS SOPS 23842 HAS SOUS 18121 HAS SOUPS 14506 WITH SCORE 14539.712
AT ITER 1728 NEW BEST:: SOT 55717 SOS 33711 HAS SOPS 23840 HAS SOUS 18119 HAS SOUPS 14504 WITH SCORE 14537.711
AT ITER 1741 NEW BEST:: SOT 55710 SOS 33870 HAS SOPS 23827 HAS SOUS 18195 HAS SOUPS 14491 WITH SCORE 14524.87
AT ITER 1763 NEW BEST:: SOT 55678 SOS 33860 HAS SOPS 23785 HAS SOUS 18142 HAS SOUPS 14438 WITH SCORE 14471.86
AT ITER 1764 NEW BEST:: SOT 55678 SOS 33844 HAS SOPS 23769 HAS SOUS 18142 HAS SOUPS 14438 WITH SCORE 14471.844
AT ITER 1773 NEW BEST:: SOT 55678 SOS 33625 HAS SOPS 23769 HAS SOUS 17946 HAS SOUPS 14438 WITH SCORE 14471.625
AT ITER 1781 NEW BEST:: SOT 55656 SOS 33603 HAS SOPS 23753 HAS SOUS 17930 HAS SOUPS 14422 WITH SCORE 14455.603
AT ITER 1794 NEW BEST:: SOT 55617 SOS 33581 HAS SOPS 23675 HAS SOUS 17835 HAS SOUPS 14327 WITH SCORE 14360.581
AT ITER 1796 NEW BEST:: SOT 55586 SOS 33550 HAS SOPS 23627 HAS SOUS 17799 HAS SOUPS 14279 WITH SCORE 14312.55
AT ITER 1803 NEW BEST:: SOT 55586 SOS 33550 HAS SOPS 23626 HAS SOUS 17799 HAS SOUPS 14278 WITH SCORE 14311.55
AT ITER 1818 NEW BEST:: SOT 55586 SOS 33540 HAS SOPS 23616 HAS SOUS 17789 HAS SOUPS 14268 WITH SCORE 14301.54
AT ITER 1837 NEW BEST:: SOT 55578 SOS 33532 HAS SOPS 23608 HAS SOUS 17781 HAS SOUPS 14260 WITH SCORE 14293.532
AT ITER 1847 NEW BEST:: SOT 55481 SOS 33540 HAS SOPS 23616 HAS SOUS 17694 HAS SOUPS 14173 WITH SCORE 14206.54
AT ITER 1884 NEW BEST:: SOT 55481 SOS 33588 HAS SOPS 23664 HAS SOUS 17691 HAS SOUPS 14170 WITH SCORE 14203.588
AT ITER 1896 NEW BEST:: SOT 55454 SOS 33664 HAS SOPS 23740 HAS SOUS 17678 HAS SOUPS 14157 WITH SCORE 14190.664
AT ITER 1906 NEW BEST:: SOT 55440 SOS 33684 HAS SOPS 23728 HAS SOUS 17666 HAS SOUPS 14145 WITH SCORE 14178.684
AT ITER 1912 NEW BEST:: SOT 55429 SOS 33694 HAS SOPS 23724 HAS SOUS 17676 HAS SOUPS 14141 WITH SCORE 14174.694
AT ITER 1924 NEW BEST:: SOT 55429 SOS 33694 HAS SOPS 23717 HAS SOUS 17676 HAS SOUPS 14134 WITH SCORE 14167.694
AT ITER 1930 NEW BEST:: SOT 55595 SOS 33878 HAS SOPS 23901 HAS SOUS 17593 HAS SOUPS 14051 WITH SCORE 14084.878
AT ITER 1949 NEW BEST:: SOT 55586 SOS 33869 HAS SOPS 23883 HAS SOUS 17575 HAS SOUPS 14033 WITH SCORE 14066.869
AT ITER 1950 NEW BEST:: SOT 55430 SOS 33710 HAS SOPS 23703 HAS SOUS 17523 HAS SOUPS 13960 WITH SCORE 13993.71
AT ITER 1956 NEW BEST:: SOT 55430 SOS 33707 HAS SOPS 23700 HAS SOUS 17523 HAS SOUPS 13960 WITH SCORE 13993.707
AT ITER 1958 NEW BEST:: SOT 55373 SOS 33650 HAS SOPS 23643 HAS SOUS 17490 HAS SOUPS 13927 WITH SCORE 13960.65
AT ITER 1963 NEW BEST:: SOT 55342 SOS 33649 HAS SOPS 23642 HAS SOUS 17489 HAS SOUPS 13926 WITH SCORE 13959.649
AT ITER 1980 NEW BEST:: SOT 55342 SOS 33631 HAS SOPS 23624 HAS SOUS 17489 HAS SOUPS 13926 WITH SCORE 13959.631
AT ITER 2038 NEW BEST:: SOT 55445 SOS 33628 HAS SOPS 23766 HAS SOUS 17443 HAS SOUPS 13897 WITH SCORE 13930.628
AT ITER 2039 NEW BEST:: SOT 55443 SOS 33630 HAS SOPS 23764 HAS SOUS 17443 HAS SOUPS 13895 WITH SCORE 13928.63
AT ITER 2051 NEW BEST:: SOT 55433 SOS 33620 HAS SOPS 23744 HAS SOUS 17417 HAS SOUPS 13875 WITH SCORE 13908.62
AT ITER 2057 NEW BEST:: SOT 55337 SOS 33524 HAS SOPS 23612 HAS SOUS 17373 HAS SOUPS 13827 WITH SCORE 13860.524
AT ITER 2060 NEW BEST:: SOT 55328 SOS 33515 HAS SOPS 23591 HAS SOUS 17352 HAS SOUPS 13806 WITH SCORE 13839.515
AT ITER 2062 NEW BEST:: SOT 55234 SOS 33421 HAS SOPS 23488 HAS SOUS 17290 HAS SOUPS 13735 WITH SCORE 13768.421
AT ITER 2065 NEW BEST:: SOT 55075 SOS 33262 HAS SOPS 23329 HAS SOUS 17131 HAS SOUPS 13576 WITH SCORE 13609.262
AT ITER 2095 NEW BEST:: SOT 55074 SOS 33261 HAS SOPS 23326 HAS SOUS 17130 HAS SOUPS 13573 WITH SCORE 13606.261
AT ITER 2108 NEW BEST:: SOT 55060 SOS 33238 HAS SOPS 23312 HAS SOUS 17116 HAS SOUPS 13559 WITH SCORE 13592.238
AT ITER 2119 NEW BEST:: SOT 55060 SOS 33138 HAS SOPS 23212 HAS SOUS 17104 HAS SOUPS 13547 WITH SCORE 13580.138
AT ITER 2125 NEW BEST:: SOT 55059 SOS 33130 HAS SOPS 23211 HAS SOUS 17109 HAS SOUPS 13546 WITH SCORE 13579.13
AT ITER 2145 NEW BEST:: SOT 55147 SOS 33218 HAS SOPS 23086 HAS SOUS 17113 HAS SOUPS 13533 WITH SCORE 13566.218
AT ITER 2165 NEW BEST:: SOT 55147 SOS 33204 HAS SOPS 23072 HAS SOUS 17099 HAS SOUPS 13519 WITH SCORE 13552.204
AT ITER 2185 NEW BEST:: SOT 55134 SOS 33341 HAS SOPS 23059 HAS SOUS 17131 HAS SOUPS 13506 WITH SCORE 13539.341
AT ITER 2186 NEW BEST:: SOT 55131 SOS 33294 HAS SOPS 23046 HAS SOUS 17115 HAS SOUPS 13493 WITH SCORE 13526.294
AT ITER 2187 NEW BEST:: SOT 55121 SOS 33284 HAS SOPS 23026 HAS SOUS 17105 HAS SOUPS 13473 WITH SCORE 13506.284
AT ITER 2203 NEW BEST:: SOT 55022 SOS 33221 HAS SOPS 22819 HAS SOUS 16880 HAS SOUPS 13248 WITH SCORE 13281.221
AT ITER 2271 NEW BEST:: SOT 55033 SOS 33416 HAS SOPS 22996 HAS SOUS 16866 HAS SOUPS 13234 WITH SCORE 13267.416
AT ITER 2272 NEW BEST:: SOT 55023 SOS 33406 HAS SOPS 22985 HAS SOUS 16856 HAS SOUPS 13223 WITH SCORE 13256.406
AT ITER 2306 NEW BEST:: SOT 55005 SOS 33390 HAS SOPS 22967 HAS SOUS 16846 HAS SOUPS 13205 WITH SCORE 13238.39
AT ITER 2398 NEW BEST:: SOT 54974 SOS 33359 HAS SOPS 22936 HAS SOUS 16815 HAS SOUPS 13174 WITH SCORE 13207.359
AT ITER 2434 NEW BEST:: SOT 54958 SOS 33343 HAS SOPS 22918 HAS SOUS 16783 HAS SOUPS 13142 WITH SCORE 13175.343
AT ITER 2443 NEW BEST:: SOT 54785 SOS 33243 HAS SOPS 22728 HAS SOUS 16700 HAS SOUPS 12952 WITH SCORE 12985.243
AT ITER 2492 NEW BEST:: SOT 54785 SOS 33241 HAS SOPS 22726 HAS SOUS 16700 HAS SOUPS 12951 WITH SCORE 12984.241
AT ITER 2497 NEW BEST:: SOT 54785 SOS 33238 HAS SOPS 22723 HAS SOUS 16697 HAS SOUPS 12948 WITH SCORE 12981.238
AT ITER 2517 NEW BEST:: SOT 54785 SOS 33248 HAS SOPS 22720 HAS SOUS 16707 HAS SOUPS 12945 WITH SCORE 12978.248
AT ITER 2521 NEW BEST:: SOT 54790 SOS 33253 HAS SOPS 22719 HAS SOUS 16706 HAS SOUPS 12944 WITH SCORE 12977.253
AT ITER 2526 NEW BEST:: SOT 54793 SOS 33256 HAS SOPS 22725 HAS SOUS 16693 HAS SOUPS 12934 WITH SCORE 12967.256
AT ITER 2533 NEW BEST:: SOT 54789 SOS 33252 HAS SOPS 22725 HAS SOUS 16689 HAS SOUPS 12934 WITH SCORE 12967.252
AT ITER 2546 NEW BEST:: SOT 54769 SOS 33248 HAS SOPS 22702 HAS SOUS 16666 HAS SOUPS 12911 WITH SCORE 12944.248
AT ITER 2572 NEW BEST:: SOT 54771 SOS 33250 HAS SOPS 22694 HAS SOUS 16668 HAS SOUPS 12903 WITH SCORE 12936.25
AT ITER 2581 NEW BEST:: SOT 54769 SOS 33248 HAS SOPS 22690 HAS SOUS 16666 HAS SOUPS 12899 WITH SCORE 12932.248
AT ITER 2612 NEW BEST:: SOT 54604 SOS 33083 HAS SOPS 22470 HAS SOUS 16647 HAS SOUPS 12855 WITH SCORE 12888.083
AT ITER 2635 NEW BEST:: SOT 54597 SOS 33076 HAS SOPS 22470 HAS SOUS 16647 HAS SOUPS 12855 WITH SCORE 12888.076
AT ITER 2656 NEW BEST:: SOT 54575 SOS 33054 HAS SOPS 22448 HAS SOUS 16625 HAS SOUPS 12833 WITH SCORE 12866.054
AT ITER 2674 NEW BEST:: SOT 54569 SOS 33048 HAS SOPS 22431 HAS SOUS 16608 HAS SOUPS 12816 WITH SCORE 12849.048
AT ITER 2675 NEW BEST:: SOT 54549 SOS 33013 HAS SOPS 22401 HAS SOUS 16583 HAS SOUPS 12796 WITH SCORE 12829.013
AT ITER 2677 NEW BEST:: SOT 54535 SOS 32999 HAS SOPS 22384 HAS SOUS 16569 HAS SOUPS 12779 WITH SCORE 12811.999
AT ITER 2681 NEW BEST:: SOT 54532 SOS 32997 HAS SOPS 22375 HAS SOUS 16559 HAS SOUPS 12769 WITH SCORE 12801.997
AT ITER 2712 NEW BEST:: SOT 54539 SOS 32991 HAS SOPS 22371 HAS SOUS 16555 HAS SOUPS 12765 WITH SCORE 12797.991
AT ITER 2718 NEW BEST:: SOT 54536 SOS 32985 HAS SOPS 22368 HAS SOUS 16552 HAS SOUPS 12762 WITH SCORE 12794.985
AT ITER 2794 NEW BEST:: SOT 54524 SOS 32973 HAS SOPS 22346 HAS SOUS 16540 HAS SOUPS 12740 WITH SCORE 12772.973
AT ITER 2848 NEW BEST:: SOT 54569 SOS 33024 HAS SOPS 22397 HAS SOUS 16491 HAS SOUPS 12691 WITH SCORE 12724.024
AT ITER 2869 NEW BEST:: SOT 54567 SOS 33022 HAS SOPS 22395 HAS SOUS 16489 HAS SOUPS 12689 WITH SCORE 12722.022
AT ITER 2873 NEW BEST:: SOT 54567 SOS 33022 HAS SOPS 22389 HAS SOUS 16483 HAS SOUPS 12683 WITH SCORE 12716.022
AT ITER 2910 NEW BEST:: SOT 54565 SOS 33020 HAS SOPS 22370 HAS SOUS 16464 HAS SOUPS 12664 WITH SCORE 12697.02
AT ITER 2926 NEW BEST:: SOT 54518 SOS 33033 HAS SOPS 22309 HAS SOUS 16508 HAS SOUPS 12659 WITH SCORE 12692.033
AT ITER 2956 NEW BEST:: SOT 54485 SOS 33000 HAS SOPS 22276 HAS SOUS 16475 HAS SOUPS 12626 WITH SCORE 12659.0
AT ITER 2981 NEW BEST:: SOT 54485 SOS 33000 HAS SOPS 22252 HAS SOUS 16462 HAS SOUPS 12613 WITH SCORE 12646.0
AT ITER 2989 NEW BEST:: SOT 54357 SOS 32865 HAS SOPS 22124 HAS SOUS 16317 HAS SOUPS 12485 WITH SCORE 12517.865
AT ITER 3005 NEW BEST:: SOT 54100 SOS 32526 HAS SOPS 21784 HAS SOUS 16282 HAS SOUPS 12449 WITH SCORE 12481.526
AT ITER 3017 NEW BEST:: SOT 54100 SOS 32518 HAS SOPS 21776 HAS SOUS 16281 HAS SOUPS 12448 WITH SCORE 12480.518
AT ITER 3037 NEW BEST:: SOT 54104 SOS 32522 HAS SOPS 21784 HAS SOUS 16273 HAS SOUPS 12440 WITH SCORE 12472.522
AT ITER 3039 NEW BEST:: SOT 54038 SOS 32478 HAS SOPS 21740 HAS SOUS 16218 HAS SOUPS 12385 WITH SCORE 12417.478
AT ITER 3049 NEW BEST:: SOT 53984 SOS 32424 HAS SOPS 21675 HAS SOUS 16153 HAS SOUPS 12320 WITH SCORE 12352.424
AT ITER 3070 NEW BEST:: SOT 53981 SOS 32421 HAS SOPS 21672 HAS SOUS 16150 HAS SOUPS 12317 WITH SCORE 12349.421
AT ITER 3083 NEW BEST:: SOT 53981 SOS 32275 HAS SOPS 21526 HAS SOUS 16143 HAS SOUPS 12310 WITH SCORE 12342.275
AT ITER 3102 NEW BEST:: SOT 53976 SOS 32275 HAS SOPS 21521 HAS SOUS 16138 HAS SOUPS 12305 WITH SCORE 12337.275
AT ITER 3142 NEW BEST:: SOT 53964 SOS 32263 HAS SOPS 21509 HAS SOUS 16126 HAS SOUPS 12293 WITH SCORE 12325.263
AT ITER 3148 NEW BEST:: SOT 53945 SOS 32244 HAS SOPS 21490 HAS SOUS 16107 HAS SOUPS 12274 WITH SCORE 12306.244
AT ITER 3149 NEW BEST:: SOT 53944 SOS 32243 HAS SOPS 21489 HAS SOUS 16106 HAS SOUPS 12273 WITH SCORE 12305.243
AT ITER 3156 NEW BEST:: SOT 53977 SOS 32270 HAS SOPS 21523 HAS SOUS 16094 HAS SOUPS 12262 WITH SCORE 12294.27
AT ITER 3164 NEW BEST:: SOT 53980 SOS 32273 HAS SOPS 21515 HAS SOUS 16097 HAS SOUPS 12254 WITH SCORE 12286.273
AT ITER 3190 NEW BEST:: SOT 53684 SOS 32252 HAS SOPS 21214 HAS SOUS 16309 HAS SOUPS 12153 WITH SCORE 12185.252
AT ITER 3198 NEW BEST:: SOT 53676 SOS 32244 HAS SOPS 21192 HAS SOUS 16301 HAS SOUPS 12131 WITH SCORE 12163.244
AT ITER 3218 NEW BEST:: SOT 53674 SOS 32242 HAS SOPS 21188 HAS SOUS 16298 HAS SOUPS 12127 WITH SCORE 12159.242
AT ITER 3274 NEW BEST:: SOT 53626 SOS 32139 HAS SOPS 21116 HAS SOUS 16127 HAS SOUPS 11966 WITH SCORE 11998.139
AT ITER 3309 NEW BEST:: SOT 53611 SOS 32206 HAS SOPS 21112 HAS SOUS 16163 HAS SOUPS 11962 WITH SCORE 11994.206
AT ITER 3320 NEW BEST:: SOT 53609 SOS 32204 HAS SOPS 21110 HAS SOUS 16163 HAS SOUPS 11960 WITH SCORE 11992.204
AT ITER 3340 NEW BEST:: SOT 53609 SOS 32204 HAS SOPS 21100 HAS SOUS 16169 HAS SOUPS 11950 WITH SCORE 11982.204
AT ITER 3342 NEW BEST:: SOT 53609 SOS 32204 HAS SOPS 21090 HAS SOUS 16159 HAS SOUPS 11940 WITH SCORE 11972.204
AT ITER 3348 NEW BEST:: SOT 53596 SOS 32202 HAS SOPS 21090 HAS SOUS 16152 HAS SOUPS 11940 WITH SCORE 11972.202
AT ITER 3358 NEW BEST:: SOT 53582 SOS 32188 HAS SOPS 21069 HAS SOUS 16138 HAS SOUPS 11919 WITH SCORE 11951.188
AT ITER 3373 NEW BEST:: SOT 53544 SOS 32150 HAS SOPS 21031 HAS SOUS 16100 HAS SOUPS 11881 WITH SCORE 11913.15
AT ITER 3384 NEW BEST:: SOT 53541 SOS 32215 HAS SOPS 21011 HAS SOUS 16156 HAS SOUPS 11861 WITH SCORE 11893.215
AT ITER 3394 NEW BEST:: SOT 53541 SOS 32215 HAS SOPS 21010 HAS SOUS 16155 HAS SOUPS 11860 WITH SCORE 11892.215
AT ITER 3448 NEW BEST:: SOT 53474 SOS 32179 HAS SOPS 20974 HAS SOUS 16147 HAS SOUPS 11852 WITH SCORE 11884.179
AT ITER 3473 NEW BEST:: SOT 53434 SOS 32155 HAS SOPS 20934 HAS SOUS 16154 HAS SOUPS 11820 WITH SCORE 11852.155
AT ITER 3476 NEW BEST:: SOT 53437 SOS 32158 HAS SOPS 20926 HAS SOUS 16157 HAS SOUPS 11812 WITH SCORE 11844.158
AT ITER 3496 NEW BEST:: SOT 53421 SOS 32142 HAS SOPS 20892 HAS SOUS 16141 HAS SOUPS 11778 WITH SCORE 11810.142
AT ITER 3539 NEW BEST:: SOT 53413 SOS 32134 HAS SOPS 20872 HAS SOUS 16133 HAS SOUPS 11758 WITH SCORE 11790.134
AT ITER 3559 NEW BEST:: SOT 53405 SOS 32126 HAS SOPS 20860 HAS SOUS 16125 HAS SOUPS 11746 WITH SCORE 11778.126
AT ITER 3576 NEW BEST:: SOT 53405 SOS 32126 HAS SOPS 20859 HAS SOUS 16124 HAS SOUPS 11745 WITH SCORE 11777.126
AT ITER 3582 NEW BEST:: SOT 53404 SOS 32123 HAS SOPS 20856 HAS SOUS 16121 HAS SOUPS 11742 WITH SCORE 11774.123
AT ITER 3584 NEW BEST:: SOT 53403 SOS 32122 HAS SOPS 20854 HAS SOUS 16120 HAS SOUPS 11740 WITH SCORE 11772.122
AT ITER 3623 NEW BEST:: SOT 53402 SOS 32121 HAS SOPS 20852 HAS SOUS 16103 HAS SOUPS 11738 WITH SCORE 11770.121
AT ITER 3656 NEW BEST:: SOT 53362 SOS 32097 HAS SOPS 20812 HAS SOUS 16119 HAS SOUPS 11730 WITH SCORE 11762.097
AT ITER 3663 NEW BEST:: SOT 53349 SOS 32084 HAS SOPS 20797 HAS SOUS 16106 HAS SOUPS 11715 WITH SCORE 11747.084
AT ITER 3680 NEW BEST:: SOT 53222 SOS 32013 HAS SOPS 20665 HAS SOUS 16196 HAS SOUPS 11687 WITH SCORE 11719.013
AT ITER 3689 NEW BEST:: SOT 53211 SOS 32002 HAS SOPS 20635 HAS SOUS 16162 HAS SOUPS 11657 WITH SCORE 11689.002
AT ITER 3693 NEW BEST:: SOT 53211 SOS 31946 HAS SOPS 20635 HAS SOUS 16106 HAS SOUPS 11657 WITH SCORE 11688.946
AT ITER 3708 NEW BEST:: SOT 53206 SOS 31941 HAS SOPS 20625 HAS SOUS 16101 HAS SOUPS 11647 WITH SCORE 11678.941
AT ITER 3718 NEW BEST:: SOT 53249 SOS 31996 HAS SOPS 20652 HAS SOUS 16068 HAS SOUPS 11614 WITH SCORE 11645.996
AT ITER 3733 NEW BEST:: SOT 53193 SOS 31940 HAS SOPS 20582 HAS SOUS 15998 HAS SOUPS 11544 WITH SCORE 11575.94
AT ITER 3740 NEW BEST:: SOT 53164 SOS 32098 HAS SOPS 20529 HAS SOUS 16418 HAS SOUPS 11491 WITH SCORE 11523.098
AT ITER 3763 NEW BEST:: SOT 53153 SOS 32087 HAS SOPS 20514 HAS SOUS 16407 HAS SOUPS 11476 WITH SCORE 11508.087
AT ITER 3820 NEW BEST:: SOT 53148 SOS 32082 HAS SOPS 20504 HAS SOUS 16402 HAS SOUPS 11466 WITH SCORE 11498.082
AT ITER 3823 NEW BEST:: SOT 53144 SOS 32082 HAS SOPS 20500 HAS SOUS 16398 HAS SOUPS 11462 WITH SCORE 11494.082
AT ITER 3843 NEW BEST:: SOT 53092 SOS 32050 HAS SOPS 20426 HAS SOUS 16314 HAS SOUPS 11378 WITH SCORE 11410.05
AT ITER 3881 NEW BEST:: SOT 53068 SOS 32014 HAS SOPS 20384 HAS SOUS 16284 HAS SOUPS 11342 WITH SCORE 11374.014
AT ITER 3897 NEW BEST:: SOT 53011 SOS 31984 HAS SOPS 20310 HAS SOUS 16389 HAS SOUPS 11336 WITH SCORE 11367.984
AT ITER 3933 NEW BEST:: SOT 53011 SOS 31768 HAS SOPS 20094 HAS SOUS 16362 HAS SOUPS 11309 WITH SCORE 11340.768
AT ITER 3950 NEW BEST:: SOT 52881 SOS 31638 HAS SOPS 19958 HAS SOUS 16232 HAS SOUPS 11173 WITH SCORE 11204.638
AT ITER 3977 NEW BEST:: SOT 52881 SOS 31611 HAS SOPS 19931 HAS SOUS 16230 HAS SOUPS 11171 WITH SCORE 11202.611
AT ITER 3980 NEW BEST:: SOT 52872 SOS 31628 HAS SOPS 19913 HAS SOUS 16291 HAS SOUPS 11153 WITH SCORE 11184.628
AT ITER 4035 NEW BEST:: SOT 52851 SOS 31492 HAS SOPS 19896 HAS SOUS 16009 HAS SOUPS 11136 WITH SCORE 11167.492
AT ITER 4049 NEW BEST:: SOT 52847 SOS 31488 HAS SOPS 19892 HAS SOUS 16005 HAS SOUPS 11132 WITH SCORE 11163.488
AT ITER 4054 NEW BEST:: SOT 52837 SOS 31478 HAS SOPS 19872 HAS SOUS 15995 HAS SOUPS 11112 WITH SCORE 11143.478
AT ITER 4084 NEW BEST:: SOT 52809 SOS 31477 HAS SOPS 19843 HAS SOUS 15973 HAS SOUPS 11083 WITH SCORE 11114.477
AT ITER 4085 NEW BEST:: SOT 52757 SOS 31425 HAS SOPS 19791 HAS SOUS 15921 HAS SOUPS 11031 WITH SCORE 11062.425
AT ITER 4118 NEW BEST:: SOT 52743 SOS 31413 HAS SOPS 19777 HAS SOUS 15905 HAS SOUPS 11015 WITH SCORE 11046.413
AT ITER 4140 NEW BEST:: SOT 52743 SOS 31413 HAS SOPS 19775 HAS SOUS 15905 HAS SOUPS 11013 WITH SCORE 11044.413
AT ITER 4149 NEW BEST:: SOT 52717 SOS 31387 HAS SOPS 19723 HAS SOUS 15879 HAS SOUPS 10961 WITH SCORE 10992.387
AT ITER 4179 NEW BEST:: SOT 52700 SOS 31269 HAS SOPS 19721 HAS SOUS 15734 HAS SOUPS 10959 WITH SCORE 10990.269
AT ITER 4184 NEW BEST:: SOT 52690 SOS 31257 HAS SOPS 19709 HAS SOUS 15722 HAS SOUPS 10947 WITH SCORE 10978.257
AT ITER 4187 NEW BEST:: SOT 52690 SOS 31257 HAS SOPS 19709 HAS SOUS 15719 HAS SOUPS 10944 WITH SCORE 10975.257
AT ITER 4199 NEW BEST:: SOT 52687 SOS 31367 HAS SOPS 19684 HAS SOUS 15764 HAS SOUPS 10919 WITH SCORE 10950.367
AT ITER 4253 NEW BEST:: SOT 52687 SOS 31304 HAS SOPS 19621 HAS SOUS 15756 HAS SOUPS 10911 WITH SCORE 10942.304
AT ITER 4273 NEW BEST:: SOT 52687 SOS 31304 HAS SOPS 19619 HAS SOUS 15756 HAS SOUPS 10909 WITH SCORE 10940.304
AT ITER 4284 NEW BEST:: SOT 52681 SOS 31306 HAS SOPS 19607 HAS SOUS 15790 HAS SOUPS 10897 WITH SCORE 10928.306
AT ITER 4285 NEW BEST:: SOT 52679 SOS 31304 HAS SOPS 19603 HAS SOUS 15788 HAS SOUPS 10893 WITH SCORE 10924.304
AT ITER 4318 NEW BEST:: SOT 52644 SOS 31229 HAS SOPS 19528 HAS SOUS 15748 HAS SOUPS 10853 WITH SCORE 10884.229
AT ITER 4364 NEW BEST:: SOT 52644 SOS 31245 HAS SOPS 19520 HAS SOUS 15748 HAS SOUPS 10845 WITH SCORE 10876.245
AT ITER 4403 NEW BEST:: SOT 52619 SOS 31220 HAS SOPS 19494 HAS SOUS 15731 HAS SOUPS 10827 WITH SCORE 10858.22
AT ITER 4426 NEW BEST:: SOT 52613 SOS 31213 HAS SOPS 19481 HAS SOUS 15723 HAS SOUPS 10814 WITH SCORE 10845.213
AT ITER 4456 NEW BEST:: SOT 52611 SOS 31205 HAS SOPS 19477 HAS SOUS 15719 HAS SOUPS 10810 WITH SCORE 10841.205
AT ITER 4494 NEW BEST:: SOT 52607 SOS 31201 HAS SOPS 19469 HAS SOUS 15715 HAS SOUPS 10802 WITH SCORE 10833.201
AT ITER 4500 NEW BEST:: SOT 52601 SOS 31201 HAS SOPS 19469 HAS SOUS 15712 HAS SOUPS 10799 WITH SCORE 10830.201
AT ITER 4528 NEW BEST:: SOT 52599 SOS 31207 HAS SOPS 19465 HAS SOUS 15734 HAS SOUPS 10795 WITH SCORE 10826.207
AT ITER 4570 NEW BEST:: SOT 52596 SOS 31204 HAS SOPS 19462 HAS SOUS 15723 HAS SOUPS 10792 WITH SCORE 10823.204
AT ITER 4587 NEW BEST:: SOT 52594 SOS 31202 HAS SOPS 19458 HAS SOUS 15721 HAS SOUPS 10788 WITH SCORE 10819.202
AT ITER 4595 NEW BEST:: SOT 52652 SOS 31260 HAS SOPS 19516 HAS SOUS 15693 HAS SOUPS 10760 WITH SCORE 10791.26
AT ITER 4644 NEW BEST:: SOT 52635 SOS 31251 HAS SOPS 19507 HAS SOUS 15684 HAS SOUPS 10751 WITH SCORE 10782.251
AT ITER 4700 NEW BEST:: SOT 52628 SOS 31244 HAS SOPS 19500 HAS SOUS 15677 HAS SOUPS 10744 WITH SCORE 10775.244
AT ITER 4753 NEW BEST:: SOT 52588 SOS 31252 HAS SOPS 19497 HAS SOUS 15597 HAS SOUPS 10664 WITH SCORE 10695.252
AT ITER 4819 NEW BEST:: SOT 52573 SOS 31237 HAS SOPS 19466 HAS SOUS 15581 HAS SOUPS 10633 WITH SCORE 10664.237
AT ITER 4829 NEW BEST:: SOT 52570 SOS 31234 HAS SOPS 19460 HAS SOUS 15578 HAS SOUPS 10627 WITH SCORE 10658.234
AT ITER 4830 NEW BEST:: SOT 52553 SOS 31198 HAS SOPS 19446 HAS SOUS 15564 HAS SOUPS 10613 WITH SCORE 10644.198
AT ITER 4849 NEW BEST:: SOT 52552 SOS 31197 HAS SOPS 19444 HAS SOUS 15563 HAS SOUPS 10611 WITH SCORE 10642.197
AT ITER 4886 NEW BEST:: SOT 52552 SOS 31188 HAS SOPS 19444 HAS SOUS 15563 HAS SOUPS 10611 WITH SCORE 10642.188
AT ITER 4890 NEW BEST:: SOT 52552 SOS 31186 HAS SOPS 19443 HAS SOUS 15563 HAS SOUPS 10611 WITH SCORE 10642.186
AT ITER 4899 NEW BEST:: SOT 52552 SOS 31193 HAS SOPS 19450 HAS SOUS 15556 HAS SOUPS 10604 WITH SCORE 10635.193
AT ITER 4902 NEW BEST:: SOT 52551 SOS 31192 HAS SOPS 19448 HAS SOUS 15555 HAS SOUPS 10602 WITH SCORE 10633.192
AT ITER 4928 NEW BEST:: SOT 52555 SOS 31196 HAS SOPS 19407 HAS SOUS 15510 HAS SOUPS 10561 WITH SCORE 10592.196
AT ITER 4975 NEW BEST:: SOT 52540 SOS 31176 HAS SOPS 19387 HAS SOUS 15490 HAS SOUPS 10541 WITH SCORE 10572.176
AT ITER 5022 NEW BEST:: SOT 52540 SOS 31228 HAS SOPS 19379 HAS SOUS 15521 HAS SOUPS 10533 WITH SCORE 10564.228
AT ITER 5056 NEW BEST:: SOT 52539 SOS 31227 HAS SOPS 19377 HAS SOUS 15519 HAS SOUPS 10531 WITH SCORE 10562.227
AT ITER 5080 NEW BEST:: SOT 52535 SOS 31223 HAS SOPS 19369 HAS SOUS 15515 HAS SOUPS 10523 WITH SCORE 10554.223
AT ITER 5081 NEW BEST:: SOT 52535 SOS 31219 HAS SOPS 19368 HAS SOUS 15514 HAS SOUPS 10522 WITH SCORE 10553.219
AT ITER 5106 NEW BEST:: SOT 52467 SOS 31212 HAS SOPS 19369 HAS SOUS 15485 HAS SOUPS 10493 WITH SCORE 10524.212
AT ITER 5133 NEW BEST:: SOT 52466 SOS 31211 HAS SOPS 19367 HAS SOUS 15484 HAS SOUPS 10491 WITH SCORE 10522.211
AT ITER 5151 NEW BEST:: SOT 52461 SOS 31206 HAS SOPS 19362 HAS SOUS 15479 HAS SOUPS 10486 WITH SCORE 10517.206
AT ITER 5159 NEW BEST:: SOT 52422 SOS 31167 HAS SOPS 19310 HAS SOUS 15433 HAS SOUPS 10434 WITH SCORE 10465.167
AT ITER 5164 NEW BEST:: SOT 52418 SOS 31155 HAS SOPS 19302 HAS SOUS 15406 HAS SOUPS 10426 WITH SCORE 10457.155
AT ITER 5165 NEW BEST:: SOT 52402 SOS 31263 HAS SOPS 19388 HAS SOUS 15321 HAS SOUPS 10341 WITH SCORE 10372.263
AT ITER 5203 NEW BEST:: SOT 52382 SOS 31260 HAS SOPS 19368 HAS SOUS 15344 HAS SOUPS 10341 WITH SCORE 10372.26
AT ITER 5219 NEW BEST:: SOT 52354 SOS 31232 HAS SOPS 19368 HAS SOUS 15344 HAS SOUPS 10341 WITH SCORE 10372.232
AT ITER 5236 NEW BEST:: SOT 52364 SOS 31176 HAS SOPS 19306 HAS SOUS 15326 HAS SOUPS 10323 WITH SCORE 10354.176
AT ITER 5253 NEW BEST:: SOT 52358 SOS 31232 HAS SOPS 19284 HAS SOUS 15474 HAS SOUPS 10301 WITH SCORE 10332.232
AT ITER 5279 NEW BEST:: SOT 52348 SOS 31222 HAS SOPS 19274 HAS SOUS 15464 HAS SOUPS 10291 WITH SCORE 10322.222
AT ITER 5314 NEW BEST:: SOT 52347 SOS 31221 HAS SOPS 19272 HAS SOUS 15463 HAS SOUPS 10289 WITH SCORE 10320.221
AT ITER 5426 NEW BEST:: SOT 52361 SOS 31229 HAS SOPS 19282 HAS SOUS 15439 HAS SOUPS 10267 WITH SCORE 10298.229
AT ITER 5444 NEW BEST:: SOT 52359 SOS 31226 HAS SOPS 19279 HAS SOUS 15436 HAS SOUPS 10264 WITH SCORE 10295.226
AT ITER 5483 NEW BEST:: SOT 52359 SOS 31177 HAS SOPS 19230 HAS SOUS 15429 HAS SOUPS 10257 WITH SCORE 10288.177
AT ITER 5511 NEW BEST:: SOT 52353 SOS 31171 HAS SOPS 19218 HAS SOUS 15423 HAS SOUPS 10245 WITH SCORE 10276.171
AT ITER 5611 NEW BEST:: SOT 52350 SOS 31168 HAS SOPS 19212 HAS SOUS 15420 HAS SOUPS 10239 WITH SCORE 10270.168
AT ITER 5681 NEW BEST:: SOT 52350 SOS 31377 HAS SOPS 19202 HAS SOUS 15535 HAS SOUPS 10229 WITH SCORE 10260.377
AT ITER 5722 NEW BEST:: SOT 52345 SOS 31367 HAS SOPS 19192 HAS SOUS 15525 HAS SOUPS 10219 WITH SCORE 10250.367
AT ITER 5724 NEW BEST:: SOT 52347 SOS 31369 HAS SOPS 19138 HAS SOUS 15480 HAS SOUPS 10174 WITH SCORE 10205.369
AT ITER 5762 NEW BEST:: SOT 52344 SOS 31366 HAS SOPS 19132 HAS SOUS 15477 HAS SOUPS 10168 WITH SCORE 10199.366
AT ITER 5805 NEW BEST:: SOT 52349 SOS 31371 HAS SOPS 19138 HAS SOUS 15468 HAS SOUPS 10160 WITH SCORE 10191.371
AT ITER 5819 NEW BEST:: SOT 52349 SOS 31347 HAS SOPS 19114 HAS SOUS 15464 HAS SOUPS 10156 WITH SCORE 10187.347
AT ITER 5867 NEW BEST:: SOT 52346 SOS 31342 HAS SOPS 19111 HAS SOUS 15459 HAS SOUPS 10153 WITH SCORE 10184.342
AT ITER 5878 NEW BEST:: SOT 52346 SOS 31329 HAS SOPS 19104 HAS SOUS 15425 HAS SOUPS 10125 WITH SCORE 10156.329
AT ITER 5967 NEW BEST:: SOT 52318 SOS 31285 HAS SOPS 19052 HAS SOUS 15352 HAS SOUPS 10052 WITH SCORE 10083.285
AT ITER 5977 NEW BEST:: SOT 52278 SOS 31280 HAS SOPS 19002 HAS SOUS 15392 HAS SOUPS 10042 WITH SCORE 10073.28
AT ITER 5989 NEW BEST:: SOT 52252 SOS 31241 HAS SOPS 18976 HAS SOUS 15330 HAS SOUPS 10020 WITH SCORE 10051.241
AT ITER 6111 NEW BEST:: SOT 52243 SOS 31157 HAS SOPS 18955 HAS SOUS 15291 HAS SOUPS 9999 WITH SCORE 10030.157
AT ITER 6117 NEW BEST:: SOT 52242 SOS 31156 HAS SOPS 18953 HAS SOUS 15294 HAS SOUPS 9997 WITH SCORE 10028.156
AT ITER 6122 NEW BEST:: SOT 52201 SOS 31006 HAS SOPS 18897 HAS SOUS 15230 HAS SOUPS 9973 WITH SCORE 10004.006
AT ITER 6191 NEW BEST:: SOT 52201 SOS 30936 HAS SOPS 18827 HAS SOUS 15223 HAS SOUPS 9966 WITH SCORE 9996.936
AT ITER 6195 NEW BEST:: SOT 52197 SOS 30932 HAS SOPS 18819 HAS SOUS 15219 HAS SOUPS 9958 WITH SCORE 9988.932
AT ITER 6216 NEW BEST:: SOT 52209 SOS 30966 HAS SOPS 18834 HAS SOUS 15181 HAS SOUPS 9920 WITH SCORE 9950.966
AT ITER 6228 NEW BEST:: SOT 52191 SOS 30948 HAS SOPS 18816 HAS SOUS 15163 HAS SOUPS 9902 WITH SCORE 9932.948
AT ITER 6232 NEW BEST:: SOT 52344 SOS 31114 HAS SOPS 18982 HAS SOUS 15126 HAS SOUPS 9865 WITH SCORE 9896.114
AT ITER 6240 NEW BEST:: SOT 52301 SOS 31071 HAS SOPS 18911 HAS SOUS 15147 HAS SOUPS 9858 WITH SCORE 9889.071
AT ITER 6285 NEW BEST:: SOT 52258 SOS 31035 HAS SOPS 18854 HAS SOUS 15159 HAS SOUPS 9849 WITH SCORE 9880.035
AT ITER 6311 NEW BEST:: SOT 52256 SOS 31033 HAS SOPS 18850 HAS SOUS 15157 HAS SOUPS 9845 WITH SCORE 9876.033
AT ITER 6338 NEW BEST:: SOT 52256 SOS 31019 HAS SOPS 18850 HAS SOUS 15153 HAS SOUPS 9845 WITH SCORE 9876.019
AT ITER 6339 NEW BEST:: SOT 52300 SOS 31189 HAS SOPS 18826 HAS SOUS 15161 HAS SOUPS 9821 WITH SCORE 9852.189
AT ITER 6342 NEW BEST:: SOT 52300 SOS 31109 HAS SOPS 18746 HAS SOUS 15154 HAS SOUPS 9814 WITH SCORE 9845.109
AT ITER 6367 NEW BEST:: SOT 52300 SOS 31111 HAS SOPS 18745 HAS SOUS 15160 HAS SOUPS 9813 WITH SCORE 9844.111
AT ITER 6414 NEW BEST:: SOT 52299 SOS 31110 HAS SOPS 18743 HAS SOUS 15159 HAS SOUPS 9811 WITH SCORE 9842.11
AT ITER 6449 NEW BEST:: SOT 52274 SOS 31085 HAS SOPS 18713 HAS SOUS 15134 HAS SOUPS 9781 WITH SCORE 9812.085
AT ITER 6517 NEW BEST:: SOT 52271 SOS 31082 HAS SOPS 18708 HAS SOUS 15131 HAS SOUPS 9776 WITH SCORE 9807.082
AT ITER 6531 NEW BEST:: SOT 52270 SOS 31081 HAS SOPS 18707 HAS SOUS 15130 HAS SOUPS 9775 WITH SCORE 9806.081
AT ITER 6576 NEW BEST:: SOT 52270 SOS 31079 HAS SOPS 18705 HAS SOUS 15128 HAS SOUPS 9773 WITH SCORE 9804.079
AT ITER 6649 NEW BEST:: SOT 52269 SOS 31078 HAS SOPS 18703 HAS SOUS 15127 HAS SOUPS 9771 WITH SCORE 9802.078
AT ITER 6752 NEW BEST:: SOT 52213 SOS 31032 HAS SOPS 18657 HAS SOUS 15125 HAS SOUPS 9769 WITH SCORE 9800.032
AT ITER 6787 NEW BEST:: SOT 52212 SOS 31031 HAS SOPS 18655 HAS SOUS 15124 HAS SOUPS 9767 WITH SCORE 9798.031
AT ITER 6828 NEW BEST:: SOT 52212 SOS 30917 HAS SOPS 18655 HAS SOUS 15031 HAS SOUPS 9767 WITH SCORE 9797.917
AT ITER 6833 NEW BEST:: SOT 52206 SOS 30911 HAS SOPS 18653 HAS SOUS 15025 HAS SOUPS 9765 WITH SCORE 9795.911
AT ITER 6835 NEW BEST:: SOT 52201 SOS 30906 HAS SOPS 18647 HAS SOUS 15023 HAS SOUPS 9759 WITH SCORE 9789.906
AT ITER 6845 NEW BEST:: SOT 52201 SOS 30898 HAS SOPS 18639 HAS SOUS 15022 HAS SOUPS 9758 WITH SCORE 9788.898
AT ITER 6848 NEW BEST:: SOT 52225 SOS 30607 HAS SOPS 18357 HAS SOUS 15019 HAS SOUPS 9746 WITH SCORE 9776.607
AT ITER 6866 NEW BEST:: SOT 52225 SOS 30606 HAS SOPS 18357 HAS SOUS 15019 HAS SOUPS 9746 WITH SCORE 9776.606
AT ITER 6956 NEW BEST:: SOT 52202 SOS 30583 HAS SOPS 18334 HAS SOUS 14996 HAS SOUPS 9723 WITH SCORE 9753.583
AT ITER 7004 NEW BEST:: SOT 52195 SOS 30576 HAS SOPS 18326 HAS SOUS 14989 HAS SOUPS 9715 WITH SCORE 9745.576
AT ITER 7077 NEW BEST:: SOT 52206 SOS 30583 HAS SOPS 18335 HAS SOUS 14983 HAS SOUPS 9710 WITH SCORE 9740.583
AT ITER 7136 NEW BEST:: SOT 52206 SOS 30583 HAS SOPS 18334 HAS SOUS 14990 HAS SOUPS 9709 WITH SCORE 9739.583
AT ITER 7212 NEW BEST:: SOT 52204 SOS 30581 HAS SOPS 18330 HAS SOUS 14988 HAS SOUPS 9705 WITH SCORE 9735.581
AT ITER 7219 NEW BEST:: SOT 52200 SOS 30577 HAS SOPS 18326 HAS SOUS 14984 HAS SOUPS 9701 WITH SCORE 9731.577
AT ITER 7270 NEW BEST:: SOT 52193 SOS 30554 HAS SOPS 18305 HAS SOUS 14961 HAS SOUPS 9680 WITH SCORE 9710.554
AT ITER 7295 NEW BEST:: SOT 52193 SOS 30550 HAS SOPS 18301 HAS SOUS 14961 HAS SOUPS 9680 WITH SCORE 9710.55
AT ITER 7374 NEW BEST:: SOT 52189 SOS 30546 HAS SOPS 18297 HAS SOUS 14957 HAS SOUPS 9676 WITH SCORE 9706.546
AT ITER 7375 NEW BEST:: SOT 52187 SOS 30499 HAS SOPS 18288 HAS SOUS 14938 HAS SOUPS 9667 WITH SCORE 9697.499
AT ITER 7376 NEW BEST:: SOT 52183 SOS 30495 HAS SOPS 18276 HAS SOUS 14930 HAS SOUPS 9655 WITH SCORE 9685.495
AT ITER 7410 NEW BEST:: SOT 52164 SOS 30480 HAS SOPS 18254 HAS SOUS 14928 HAS SOUPS 9653 WITH SCORE 9683.48
AT ITER 7428 NEW BEST:: SOT 52162 SOS 30478 HAS SOPS 18251 HAS SOUS 14926 HAS SOUPS 9650 WITH SCORE 9680.478
AT ITER 7470 NEW BEST:: SOT 52162 SOS 30478 HAS SOPS 18251 HAS SOUS 14920 HAS SOUPS 9644 WITH SCORE 9674.478
AT ITER 7495 NEW BEST:: SOT 52157 SOS 30473 HAS SOPS 18241 HAS SOUS 14915 HAS SOUPS 9634 WITH SCORE 9664.473
AT ITER 7524 NEW BEST:: SOT 52152 SOS 30468 HAS SOPS 18231 HAS SOUS 14910 HAS SOUPS 9624 WITH SCORE 9654.468
AT ITER 7653 NEW BEST:: SOT 52149 SOS 30465 HAS SOPS 18225 HAS SOUS 14907 HAS SOUPS 9618 WITH SCORE 9648.465
AT ITER 7671 NEW BEST:: SOT 52149 SOS 30512 HAS SOPS 18214 HAS SOUS 14956 HAS SOUPS 9607 WITH SCORE 9637.512
AT ITER 7703 NEW BEST:: SOT 52146 SOS 30509 HAS SOPS 18208 HAS SOUS 14953 HAS SOUPS 9601 WITH SCORE 9631.509
AT ITER 7921 NEW BEST:: SOT 52125 SOS 30495 HAS SOPS 18166 HAS SOUS 14904 HAS SOUPS 9552 WITH SCORE 9582.495
AT ITER 7960 NEW BEST:: SOT 52122 SOS 30492 HAS SOPS 18160 HAS SOUS 14901 HAS SOUPS 9546 WITH SCORE 9576.492
AT ITER 7963 NEW BEST:: SOT 52122 SOS 30479 HAS SOPS 18147 HAS SOUS 14901 HAS SOUPS 9546 WITH SCORE 9576.479
AT ITER 7977 NEW BEST:: SOT 52120 SOS 30477 HAS SOPS 18143 HAS SOUS 14899 HAS SOUPS 9542 WITH SCORE 9572.477
AT ITER 7989 NEW BEST:: SOT 52120 SOS 30458 HAS SOPS 18124 HAS SOUS 14898 HAS SOUPS 9541 WITH SCORE 9571.458
AT ITER 8014 NEW BEST:: SOT 52120 SOS 30438 HAS SOPS 18114 HAS SOUS 14878 HAS SOUPS 9531 WITH SCORE 9561.438
AT ITER 8038 NEW BEST:: SOT 52119 SOS 30436 HAS SOPS 18111 HAS SOUS 14876 HAS SOUPS 9529 WITH SCORE 9559.436
AT ITER 8050 NEW BEST:: SOT 52104 SOS 30421 HAS SOPS 18081 HAS SOUS 14861 HAS SOUPS 9499 WITH SCORE 9529.421
AT ITER 8082 NEW BEST:: SOT 52098 SOS 30405 HAS SOPS 18071 HAS SOUS 14839 HAS SOUPS 9489 WITH SCORE 9519.405
AT ITER 8105 NEW BEST:: SOT 52095 SOS 30402 HAS SOPS 18061 HAS SOUS 14836 HAS SOUPS 9479 WITH SCORE 9509.402
AT ITER 8251 NEW BEST:: SOT 52093 SOS 30400 HAS SOPS 18057 HAS SOUS 14834 HAS SOUPS 9475 WITH SCORE 9505.4
AT ITER 8266 NEW BEST:: SOT 52078 SOS 30385 HAS SOPS 18042 HAS SOUS 14820 HAS SOUPS 9464 WITH SCORE 9494.385
AT ITER 8274 NEW BEST:: SOT 52076 SOS 30389 HAS SOPS 18039 HAS SOUS 14814 HAS SOUPS 9461 WITH SCORE 9491.389
AT ITER 8284 NEW BEST:: SOT 52053 SOS 30150 HAS SOPS 18040 HAS SOUS 14779 HAS SOUPS 9458 WITH SCORE 9488.15
AT ITER 8322 NEW BEST:: SOT 52052 SOS 30149 HAS SOPS 18039 HAS SOUS 14778 HAS SOUPS 9457 WITH SCORE 9487.149
AT ITER 8415 NEW BEST:: SOT 52052 SOS 30174 HAS SOPS 18064 HAS SOUS 14776 HAS SOUPS 9455 WITH SCORE 9485.174
AT ITER 8426 NEW BEST:: SOT 52051 SOS 30173 HAS SOPS 18062 HAS SOUS 14775 HAS SOUPS 9453 WITH SCORE 9483.173
AT ITER 8597 NEW BEST:: SOT 52064 SOS 30186 HAS SOPS 18075 HAS SOUS 14774 HAS SOUPS 9452 WITH SCORE 9482.186
AT ITER 8716 NEW BEST:: SOT 52059 SOS 30181 HAS SOPS 18075 HAS SOUS 14774 HAS SOUPS 9452 WITH SCORE 9482.181
AT ITER 8818 NEW BEST:: SOT 52055 SOS 30173 HAS SOPS 18067 HAS SOUS 14766 HAS SOUPS 9444 WITH SCORE 9474.173
AT ITER 9046 NEW BEST:: SOT 52048 SOS 30166 HAS SOPS 18067 HAS SOUS 14766 HAS SOUPS 9444 WITH SCORE 9474.166
AT ITER 9069 NEW BEST:: SOT 52032 SOS 30150 HAS SOPS 18059 HAS SOUS 14750 HAS SOUPS 9436 WITH SCORE 9466.15
AT ITER 9078 NEW BEST:: SOT 52023 SOS 30141 HAS SOPS 18041 HAS SOUS 14741 HAS SOUPS 9418 WITH SCORE 9448.141
AT ITER 9208 NEW BEST:: SOT 52022 SOS 30140 HAS SOPS 18039 HAS SOUS 14740 HAS SOUPS 9416 WITH SCORE 9446.14
AT ITER 9244 NEW BEST:: SOT 52018 SOS 30121 HAS SOPS 18020 HAS SOUS 14738 HAS SOUPS 9414 WITH SCORE 9444.121
AT ITER 9246 NEW BEST:: SOT 52088 SOS 30220 HAS SOPS 18119 HAS SOUS 14717 HAS SOUPS 9393 WITH SCORE 9423.22
AT ITER 9324 NEW BEST:: SOT 52067 SOS 30217 HAS SOPS 18095 HAS SOUS 14699 HAS SOUPS 9369 WITH SCORE 9399.217
AT ITER 9397 NEW BEST:: SOT 52121 SOS 30256 HAS SOPS 18139 HAS SOUS 14693 HAS SOUPS 9363 WITH SCORE 9393.256
AT ITER 9428 NEW BEST:: SOT 52121 SOS 30308 HAS SOPS 18191 HAS SOUS 14692 HAS SOUPS 9362 WITH SCORE 9392.308
AT ITER 9480 NEW BEST:: SOT 52118 SOS 30299 HAS SOPS 18182 HAS SOUS 14683 HAS SOUPS 9353 WITH SCORE 9383.299
AT ITER 9661 NEW BEST:: SOT 52118 SOS 30294 HAS SOPS 18177 HAS SOUS 14681 HAS SOUPS 9351 WITH SCORE 9381.294
AT ITER 9741 NEW BEST:: SOT 52110 SOS 30286 HAS SOPS 18166 HAS SOUS 14673 HAS SOUPS 9340 WITH SCORE 9370.286
AT ITER 9744 NEW BEST:: SOT 52110 SOS 30284 HAS SOPS 18164 HAS SOUS 14671 HAS SOUPS 9338 WITH SCORE 9368.284
AT ITER 9754 NEW BEST:: SOT 52110 SOS 30283 HAS SOPS 18164 HAS SOUS 14671 HAS SOUPS 9338 WITH SCORE 9368.283
AT ITER 9773 NEW BEST:: SOT 52110 SOS 30283 HAS SOPS 18161 HAS SOUS 14671 HAS SOUPS 9335 WITH SCORE 9365.283
AT ITER 9786 NEW BEST:: SOT 52107 SOS 30280 HAS SOPS 18158 HAS SOUS 14668 HAS SOUPS 9332 WITH SCORE 9362.28
AT ITER 9853 NEW BEST:: SOT 52106 SOS 30279 HAS SOPS 18158 HAS SOUS 14663 HAS SOUPS 9328 WITH SCORE 9358.279
AT ITER 9855 NEW BEST:: SOT 52106 SOS 30275 HAS SOPS 18158 HAS SOUS 14651 HAS SOUPS 9328 WITH SCORE 9358.275
AT ITER 9894 NEW BEST:: SOT 52104 SOS 30273 HAS SOPS 18151 HAS SOUS 14644 HAS SOUPS 9321 WITH SCORE 9351.273
AT ITER 9991 NEW BEST:: SOT 52073 SOS 30242 HAS SOPS 18120 HAS SOUS 14629 HAS SOUPS 9306 WITH SCORE 9336.242

BK_STOP 1678652495139

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 481 Killed ${SMART}/smart ${INPUT_SM}

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="LamportFastMutEx-COL-7"
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 LamportFastMutEx-COL-7, 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 r235-tall-167856421700384"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LamportFastMutEx-COL-7.tgz
mv LamportFastMutEx-COL-7 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 ;