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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 472K
-rw-r--r-- 1 mcc users 7.5K Feb 26 09:25 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 09:25 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 09:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 09:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 17:16 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 17:16 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:16 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:16 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 09:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 167K Feb 26 09:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 09:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 09:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:16 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:16 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.5K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679210427303

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=Sudoku-COL-AN06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-19 07:20:29] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-19 07:20:29] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 07:20:29] [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-19 07:20:29] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-19 07:20:30] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 487 ms
[2023-03-19 07:20:30] [INFO ] Imported 4 HL places and 1 HL transitions for a total of 324 PT places and 216.0 transition bindings in 13 ms.
[2023-03-19 07:20:30] [INFO ] Unfolded HLPN to a Petri net with 324 places and 216 transitions 864 arcs in 21 ms.
[2023-03-19 07:20:30] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-19 07:20:30] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 324 places, 216 transitions and 864 arcs took 6 ms.
Total runtime 635 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Sudoku (COL), instance AN06
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: 324 places, 216 transitions, 864 arcs.
AT ITER 0 NEW BEST:: SOT 50364 SOS 25881 HAS SOPS 25881 HAS SOUS 25881 HAS SOUPS 25881 WITH SCORE 25906.881
AT ITER 15 NEW BEST:: SOT 50324 SOS 25894 HAS SOPS 25894 HAS SOUS 25876 HAS SOUPS 25876 WITH SCORE 25901.894
AT ITER 17 NEW BEST:: SOT 50314 SOS 25907 HAS SOPS 25907 HAS SOUS 25866 HAS SOUPS 25866 WITH SCORE 25891.907
AT ITER 19 NEW BEST:: SOT 50235 SOS 26115 HAS SOPS 26115 HAS SOUS 25829 HAS SOUPS 25829 WITH SCORE 25855.115
AT ITER 30 NEW BEST:: SOT 50200 SOS 26154 HAS SOPS 26154 HAS SOUS 25811 HAS SOUPS 25811 WITH SCORE 25837.154
AT ITER 32 NEW BEST:: SOT 50185 SOS 26139 HAS SOPS 26139 HAS SOUS 25796 HAS SOUPS 25796 WITH SCORE 25822.139
AT ITER 49 NEW BEST:: SOT 50107 SOS 26372 HAS SOPS 26372 HAS SOUS 25767 HAS SOUPS 25767 WITH SCORE 25793.372
AT ITER 51 NEW BEST:: SOT 50092 SOS 26368 HAS SOPS 26368 HAS SOUS 25752 HAS SOUPS 25752 WITH SCORE 25778.368
AT ITER 58 NEW BEST:: SOT 50055 SOS 26464 HAS SOPS 26464 HAS SOUS 25748 HAS SOUPS 25748 WITH SCORE 25774.464
AT ITER 65 NEW BEST:: SOT 50044 SOS 26528 HAS SOPS 26528 HAS SOUS 25741 HAS SOUPS 25741 WITH SCORE 25767.528
AT ITER 82 NEW BEST:: SOT 50029 SOS 26528 HAS SOPS 26528 HAS SOUS 25726 HAS SOUPS 25726 WITH SCORE 25752.528
AT ITER 83 NEW BEST:: SOT 49869 SOS 26518 HAS SOPS 26518 HAS SOUS 25626 HAS SOUPS 25626 WITH SCORE 25652.518
AT ITER 87 NEW BEST:: SOT 49856 SOS 26515 HAS SOPS 26515 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25641.515
AT ITER 95 NEW BEST:: SOT 49856 SOS 26484 HAS SOPS 26484 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25640.484
AT ITER 96 NEW BEST:: SOT 49856 SOS 26468 HAS SOPS 26468 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25640.468
AT ITER 99 NEW BEST:: SOT 49856 SOS 26419 HAS SOPS 26419 HAS SOUS 25614 HAS SOUPS 25614 WITH SCORE 25640.419
AT ITER 102 NEW BEST:: SOT 49835 SOS 26418 HAS SOPS 26418 HAS SOUS 25593 HAS SOUPS 25593 WITH SCORE 25619.418
AT ITER 108 NEW BEST:: SOT 49681 SOS 26464 HAS SOPS 26464 HAS SOUS 25481 HAS SOUPS 25481 WITH SCORE 25507.464
AT ITER 113 NEW BEST:: SOT 49599 SOS 26626 HAS SOPS 26626 HAS SOUS 25436 HAS SOUPS 25436 WITH SCORE 25462.626
AT ITER 121 NEW BEST:: SOT 49551 SOS 26567 HAS SOPS 26567 HAS SOUS 25372 HAS SOUPS 25372 WITH SCORE 25398.567
AT ITER 122 NEW BEST:: SOT 49551 SOS 26567 HAS SOPS 26567 HAS SOUS 25363 HAS SOUPS 25363 WITH SCORE 25389.567
AT ITER 124 NEW BEST:: SOT 49526 SOS 26542 HAS SOPS 26542 HAS SOUS 25340 HAS SOUPS 25340 WITH SCORE 25366.542
AT ITER 134 NEW BEST:: SOT 49519 SOS 26453 HAS SOPS 26453 HAS SOUS 25318 HAS SOUPS 25318 WITH SCORE 25344.453
AT ITER 140 NEW BEST:: SOT 49553 SOS 26546 HAS SOPS 26546 HAS SOUS 25298 HAS SOUPS 25298 WITH SCORE 25324.546
AT ITER 142 NEW BEST:: SOT 49484 SOS 26516 HAS SOPS 26516 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25283.516
AT ITER 149 NEW BEST:: SOT 49418 SOS 26535 HAS SOPS 26535 HAS SOUS 25192 HAS SOUPS 25192 WITH SCORE 25218.535
AT ITER 150 NEW BEST:: SOT 49408 SOS 26563 HAS SOPS 26563 HAS SOUS 25189 HAS SOUPS 25189 WITH SCORE 25215.563
AT ITER 153 NEW BEST:: SOT 49464 SOS 26620 HAS SOPS 26620 HAS SOUS 25187 HAS SOUPS 25187 WITH SCORE 25213.62
AT ITER 161 NEW BEST:: SOT 49360 SOS 26867 HAS SOPS 26867 HAS SOUS 25163 HAS SOUPS 25163 WITH SCORE 25189.867
AT ITER 170 NEW BEST:: SOT 49363 SOS 26870 HAS SOPS 26870 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25174.87
AT ITER 174 NEW BEST:: SOT 49363 SOS 26808 HAS SOPS 26808 HAS SOUS 25148 HAS SOUPS 25148 WITH SCORE 25174.808
AT ITER 175 NEW BEST:: SOT 49278 SOS 26746 HAS SOPS 26746 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25112.746
AT ITER 178 NEW BEST:: SOT 49278 SOS 26701 HAS SOPS 26701 HAS SOUS 25086 HAS SOUPS 25086 WITH SCORE 25112.701
AT ITER 180 NEW BEST:: SOT 49293 SOS 26606 HAS SOPS 26606 HAS SOUS 25066 HAS SOUPS 25066 WITH SCORE 25092.606
AT ITER 184 NEW BEST:: SOT 49293 SOS 26569 HAS SOPS 26569 HAS SOUS 25066 HAS SOUPS 25066 WITH SCORE 25092.569
AT ITER 201 NEW BEST:: SOT 49228 SOS 26923 HAS SOPS 26923 HAS SOUS 25055 HAS SOUPS 25055 WITH SCORE 25081.923
AT ITER 203 NEW BEST:: SOT 49283 SOS 26883 HAS SOPS 26883 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25051.883
AT ITER 208 NEW BEST:: SOT 49283 SOS 26834 HAS SOPS 26834 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25051.834
AT ITER 213 NEW BEST:: SOT 49197 SOS 26821 HAS SOPS 26821 HAS SOUS 25012 HAS SOUPS 25012 WITH SCORE 25038.821
AT ITER 215 NEW BEST:: SOT 49143 SOS 26741 HAS SOPS 26741 HAS SOUS 24959 HAS SOUPS 24959 WITH SCORE 24985.741
AT ITER 216 NEW BEST:: SOT 49067 SOS 27037 HAS SOPS 27037 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 24982.037
AT ITER 218 NEW BEST:: SOT 49067 SOS 27001 HAS SOPS 27001 HAS SOUS 24955 HAS SOUPS 24955 WITH SCORE 24982.001
AT ITER 221 NEW BEST:: SOT 49033 SOS 27010 HAS SOPS 27010 HAS SOUS 24934 HAS SOUPS 24934 WITH SCORE 24961.01
AT ITER 222 NEW BEST:: SOT 49003 SOS 27036 HAS SOPS 27036 HAS SOUS 24926 HAS SOUPS 24926 WITH SCORE 24953.036
AT ITER 223 NEW BEST:: SOT 49003 SOS 27026 HAS SOPS 27026 HAS SOUS 24919 HAS SOUPS 24919 WITH SCORE 24946.026
AT ITER 224 NEW BEST:: SOT 49003 SOS 27004 HAS SOPS 27004 HAS SOUS 24919 HAS SOUPS 24919 WITH SCORE 24946.004
AT ITER 225 NEW BEST:: SOT 48954 SOS 26843 HAS SOPS 26843 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24852.843
AT ITER 229 NEW BEST:: SOT 48954 SOS 26841 HAS SOPS 26841 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24852.841
AT ITER 230 NEW BEST:: SOT 48945 SOS 26870 HAS SOPS 26870 HAS SOUS 24817 HAS SOUPS 24817 WITH SCORE 24843.87
AT ITER 232 NEW BEST:: SOT 48945 SOS 26857 HAS SOPS 26857 HAS SOUS 24812 HAS SOUPS 24812 WITH SCORE 24838.857
AT ITER 247 NEW BEST:: SOT 48907 SOS 26823 HAS SOPS 26823 HAS SOUS 24778 HAS SOUPS 24778 WITH SCORE 24804.823
AT ITER 249 NEW BEST:: SOT 48907 SOS 26802 HAS SOPS 26802 HAS SOUS 24725 HAS SOUPS 24725 WITH SCORE 24751.802
AT ITER 256 NEW BEST:: SOT 48907 SOS 26787 HAS SOPS 26787 HAS SOUS 24725 HAS SOUPS 24725 WITH SCORE 24751.787
AT ITER 272 NEW BEST:: SOT 48907 SOS 26781 HAS SOPS 26781 HAS SOUS 24725 HAS SOUPS 24725 WITH SCORE 24751.781
AT ITER 273 NEW BEST:: SOT 48901 SOS 26754 HAS SOPS 26754 HAS SOUS 24698 HAS SOUPS 24698 WITH SCORE 24724.754
AT ITER 274 NEW BEST:: SOT 48881 SOS 26746 HAS SOPS 26746 HAS SOUS 24690 HAS SOUPS 24690 WITH SCORE 24716.746
AT ITER 276 NEW BEST:: SOT 48880 SOS 26745 HAS SOPS 26745 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24688.745
AT ITER 279 NEW BEST:: SOT 48880 SOS 26721 HAS SOPS 26721 HAS SOUS 24662 HAS SOUPS 24662 WITH SCORE 24688.721
AT ITER 288 NEW BEST:: SOT 48798 SOS 26749 HAS SOPS 26749 HAS SOUS 24611 HAS SOUPS 24611 WITH SCORE 24637.749
AT ITER 290 NEW BEST:: SOT 48858 SOS 26799 HAS SOPS 26799 HAS SOUS 24602 HAS SOUPS 24602 WITH SCORE 24628.799
AT ITER 295 NEW BEST:: SOT 48822 SOS 26778 HAS SOPS 26778 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24624.778
AT ITER 297 NEW BEST:: SOT 48822 SOS 26687 HAS SOPS 26687 HAS SOUS 24598 HAS SOUPS 24598 WITH SCORE 24624.687
AT ITER 298 NEW BEST:: SOT 48822 SOS 26763 HAS SOPS 26763 HAS SOUS 24596 HAS SOUPS 24596 WITH SCORE 24622.763
AT ITER 303 NEW BEST:: SOT 48808 SOS 26749 HAS SOPS 26749 HAS SOUS 24582 HAS SOUPS 24582 WITH SCORE 24608.749
AT ITER 318 NEW BEST:: SOT 48740 SOS 26731 HAS SOPS 26731 HAS SOUS 24564 HAS SOUPS 24564 WITH SCORE 24590.731
AT ITER 326 NEW BEST:: SOT 48682 SOS 27009 HAS SOPS 27009 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24572.009
AT ITER 342 NEW BEST:: SOT 48682 SOS 26989 HAS SOPS 26989 HAS SOUS 24545 HAS SOUPS 24545 WITH SCORE 24571.989
AT ITER 350 NEW BEST:: SOT 48673 SOS 26989 HAS SOPS 26989 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24562.989
AT ITER 353 NEW BEST:: SOT 48673 SOS 26987 HAS SOPS 26987 HAS SOUS 24536 HAS SOUPS 24536 WITH SCORE 24562.987
AT ITER 355 NEW BEST:: SOT 48635 SOS 27123 HAS SOPS 27123 HAS SOUS 24522 HAS SOUPS 24522 WITH SCORE 24549.123
AT ITER 358 NEW BEST:: SOT 48617 SOS 27127 HAS SOPS 27127 HAS SOUS 24517 HAS SOUPS 24517 WITH SCORE 24544.127
AT ITER 368 NEW BEST:: SOT 48624 SOS 27100 HAS SOPS 27100 HAS SOUS 24451 HAS SOUPS 24451 WITH SCORE 24478.1
AT ITER 373 NEW BEST:: SOT 48514 SOS 27017 HAS SOPS 27017 HAS SOUS 24362 HAS SOUPS 24362 WITH SCORE 24389.017
AT ITER 384 NEW BEST:: SOT 48511 SOS 27015 HAS SOPS 27015 HAS SOUS 24360 HAS SOUPS 24360 WITH SCORE 24387.015
AT ITER 385 NEW BEST:: SOT 48522 SOS 26874 HAS SOPS 26874 HAS SOUS 24317 HAS SOUPS 24317 WITH SCORE 24343.874
AT ITER 398 NEW BEST:: SOT 48499 SOS 26873 HAS SOPS 26873 HAS SOUS 24316 HAS SOUPS 24316 WITH SCORE 24342.873
AT ITER 419 NEW BEST:: SOT 48499 SOS 26852 HAS SOPS 26852 HAS SOUS 24312 HAS SOUPS 24312 WITH SCORE 24338.852
AT ITER 420 NEW BEST:: SOT 48462 SOS 26815 HAS SOPS 26815 HAS SOUS 24275 HAS SOUPS 24275 WITH SCORE 24301.815
AT ITER 423 NEW BEST:: SOT 48462 SOS 26768 HAS SOPS 26768 HAS SOUS 24275 HAS SOUPS 24275 WITH SCORE 24301.768
AT ITER 430 NEW BEST:: SOT 48457 SOS 26763 HAS SOPS 26763 HAS SOUS 24270 HAS SOUPS 24270 WITH SCORE 24296.763
AT ITER 431 NEW BEST:: SOT 48445 SOS 26721 HAS SOPS 26721 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24235.721
AT ITER 436 NEW BEST:: SOT 48452 SOS 26728 HAS SOPS 26728 HAS SOUS 24194 HAS SOUPS 24194 WITH SCORE 24220.728
AT ITER 441 NEW BEST:: SOT 48452 SOS 26721 HAS SOPS 26721 HAS SOUS 24194 HAS SOUPS 24194 WITH SCORE 24220.721
AT ITER 444 NEW BEST:: SOT 48451 SOS 26681 HAS SOPS 26681 HAS SOUS 24179 HAS SOUPS 24179 WITH SCORE 24205.681
AT ITER 446 NEW BEST:: SOT 48529 SOS 26689 HAS SOPS 26689 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24187.689
AT ITER 449 NEW BEST:: SOT 48529 SOS 26688 HAS SOPS 26688 HAS SOUS 24161 HAS SOUPS 24161 WITH SCORE 24187.688
AT ITER 452 NEW BEST:: SOT 48516 SOS 26753 HAS SOPS 26753 HAS SOUS 24148 HAS SOUPS 24148 WITH SCORE 24174.753
AT ITER 463 NEW BEST:: SOT 48516 SOS 26730 HAS SOPS 26730 HAS SOUS 24144 HAS SOUPS 24144 WITH SCORE 24170.73
AT ITER 467 NEW BEST:: SOT 48509 SOS 26702 HAS SOPS 26702 HAS SOUS 24119 HAS SOUPS 24119 WITH SCORE 24145.702
AT ITER 485 NEW BEST:: SOT 48468 SOS 26814 HAS SOPS 26814 HAS SOUS 24105 HAS SOUPS 24105 WITH SCORE 24131.814
AT ITER 490 NEW BEST:: SOT 48281 SOS 27069 HAS SOPS 27069 HAS SOUS 24055 HAS SOUPS 24055 WITH SCORE 24082.069
AT ITER 503 NEW BEST:: SOT 48278 SOS 27066 HAS SOPS 27066 HAS SOUS 24049 HAS SOUPS 24049 WITH SCORE 24076.066
AT ITER 516 NEW BEST:: SOT 48278 SOS 27019 HAS SOPS 27019 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24039.019
AT ITER 531 NEW BEST:: SOT 48278 SOS 27013 HAS SOPS 27013 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24039.013
AT ITER 533 NEW BEST:: SOT 48278 SOS 27011 HAS SOPS 27011 HAS SOUS 24012 HAS SOUPS 24012 WITH SCORE 24039.011
AT ITER 545 NEW BEST:: SOT 48277 SOS 27010 HAS SOPS 27010 HAS SOUS 24011 HAS SOUPS 24011 WITH SCORE 24038.01
AT ITER 550 NEW BEST:: SOT 48233 SOS 26980 HAS SOPS 26980 HAS SOUS 23981 HAS SOUPS 23981 WITH SCORE 24007.98
AT ITER 553 NEW BEST:: SOT 48203 SOS 27002 HAS SOPS 27002 HAS SOUS 23959 HAS SOUPS 23959 WITH SCORE 23986.002
AT ITER 566 NEW BEST:: SOT 48197 SOS 26996 HAS SOPS 26996 HAS SOUS 23953 HAS SOUPS 23953 WITH SCORE 23979.996
AT ITER 579 NEW BEST:: SOT 48197 SOS 26951 HAS SOPS 26951 HAS SOUS 23953 HAS SOUPS 23953 WITH SCORE 23979.951
AT ITER 583 NEW BEST:: SOT 48138 SOS 26936 HAS SOPS 26936 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23964.936
AT ITER 588 NEW BEST:: SOT 48138 SOS 26918 HAS SOPS 26918 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23964.918
AT ITER 600 NEW BEST:: SOT 48138 SOS 26911 HAS SOPS 26911 HAS SOUS 23938 HAS SOUPS 23938 WITH SCORE 23964.911
AT ITER 605 NEW BEST:: SOT 48083 SOS 26900 HAS SOPS 26900 HAS SOUS 23927 HAS SOUPS 23927 WITH SCORE 23953.9
AT ITER 607 NEW BEST:: SOT 48083 SOS 26697 HAS SOPS 26697 HAS SOUS 23927 HAS SOUPS 23927 WITH SCORE 23953.697
AT ITER 614 NEW BEST:: SOT 48080 SOS 26692 HAS SOPS 26692 HAS SOUS 23888 HAS SOUPS 23888 WITH SCORE 23914.692
AT ITER 615 NEW BEST:: SOT 48060 SOS 26635 HAS SOPS 26635 HAS SOUS 23863 HAS SOUPS 23863 WITH SCORE 23889.635
AT ITER 616 NEW BEST:: SOT 47999 SOS 26605 HAS SOPS 26605 HAS SOUS 23848 HAS SOUPS 23848 WITH SCORE 23874.605
AT ITER 629 NEW BEST:: SOT 47999 SOS 26571 HAS SOPS 26571 HAS SOUS 23848 HAS SOUPS 23848 WITH SCORE 23874.571
AT ITER 647 NEW BEST:: SOT 47982 SOS 26554 HAS SOPS 26554 HAS SOUS 23842 HAS SOUPS 23842 WITH SCORE 23868.554
AT ITER 652 NEW BEST:: SOT 47916 SOS 26521 HAS SOPS 26521 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23835.521
AT ITER 655 NEW BEST:: SOT 47910 SOS 26515 HAS SOPS 26515 HAS SOUS 23802 HAS SOUPS 23802 WITH SCORE 23828.515
AT ITER 675 NEW BEST:: SOT 47835 SOS 26475 HAS SOPS 26475 HAS SOUS 23762 HAS SOUPS 23762 WITH SCORE 23788.475
AT ITER 694 NEW BEST:: SOT 47835 SOS 26459 HAS SOPS 26459 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23772.459
AT ITER 704 NEW BEST:: SOT 47822 SOS 26643 HAS SOPS 26643 HAS SOUS 23733 HAS SOUPS 23733 WITH SCORE 23759.643
AT ITER 705 NEW BEST:: SOT 47782 SOS 26603 HAS SOPS 26603 HAS SOUS 23693 HAS SOUPS 23693 WITH SCORE 23719.603
AT ITER 710 NEW BEST:: SOT 47782 SOS 26589 HAS SOPS 26589 HAS SOUS 23693 HAS SOUPS 23693 WITH SCORE 23719.589
AT ITER 713 NEW BEST:: SOT 47768 SOS 26575 HAS SOPS 26575 HAS SOUS 23679 HAS SOUPS 23679 WITH SCORE 23705.575
AT ITER 715 NEW BEST:: SOT 47768 SOS 26551 HAS SOPS 26551 HAS SOUS 23668 HAS SOUPS 23668 WITH SCORE 23694.551
AT ITER 718 NEW BEST:: SOT 47736 SOS 26647 HAS SOPS 26647 HAS SOUS 23645 HAS SOUPS 23645 WITH SCORE 23671.647
AT ITER 738 NEW BEST:: SOT 47672 SOS 26736 HAS SOPS 26736 HAS SOUS 23598 HAS SOUPS 23598 WITH SCORE 23624.736
AT ITER 747 NEW BEST:: SOT 47599 SOS 26741 HAS SOPS 26741 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23623.741
AT ITER 750 NEW BEST:: SOT 47552 SOS 26718 HAS SOPS 26718 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23609.718
AT ITER 759 NEW BEST:: SOT 47566 SOS 26688 HAS SOPS 26688 HAS SOUS 23553 HAS SOUPS 23553 WITH SCORE 23579.688
AT ITER 765 NEW BEST:: SOT 47566 SOS 26671 HAS SOPS 26671 HAS SOUS 23546 HAS SOUPS 23546 WITH SCORE 23572.671
AT ITER 770 NEW BEST:: SOT 47566 SOS 26661 HAS SOPS 26661 HAS SOUS 23531 HAS SOUPS 23531 WITH SCORE 23557.661
AT ITER 773 NEW BEST:: SOT 47566 SOS 26655 HAS SOPS 26655 HAS SOUS 23530 HAS SOUPS 23530 WITH SCORE 23556.655
AT ITER 780 NEW BEST:: SOT 47553 SOS 26661 HAS SOPS 26661 HAS SOUS 23498 HAS SOUPS 23498 WITH SCORE 23524.661
AT ITER 784 NEW BEST:: SOT 47541 SOS 26765 HAS SOPS 26765 HAS SOUS 23494 HAS SOUPS 23494 WITH SCORE 23520.765
AT ITER 789 NEW BEST:: SOT 47459 SOS 26750 HAS SOPS 26750 HAS SOUS 23494 HAS SOUPS 23494 WITH SCORE 23520.75
AT ITER 805 NEW BEST:: SOT 47460 SOS 26732 HAS SOPS 26732 HAS SOUS 23485 HAS SOUPS 23485 WITH SCORE 23511.732
AT ITER 806 NEW BEST:: SOT 47267 SOS 26966 HAS SOPS 26966 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23422.966
AT ITER 815 NEW BEST:: SOT 47283 SOS 26897 HAS SOPS 26897 HAS SOUS 23374 HAS SOUPS 23374 WITH SCORE 23400.897
AT ITER 820 NEW BEST:: SOT 47267 SOS 26881 HAS SOPS 26881 HAS SOUS 23354 HAS SOUPS 23354 WITH SCORE 23380.881
AT ITER 827 NEW BEST:: SOT 47266 SOS 26880 HAS SOPS 26880 HAS SOUS 23353 HAS SOUPS 23353 WITH SCORE 23379.88
AT ITER 834 NEW BEST:: SOT 47216 SOS 26830 HAS SOPS 26830 HAS SOUS 23303 HAS SOUPS 23303 WITH SCORE 23329.83
AT ITER 835 NEW BEST:: SOT 47108 SOS 26960 HAS SOPS 26960 HAS SOUS 23288 HAS SOUPS 23288 WITH SCORE 23314.96
AT ITER 841 NEW BEST:: SOT 47108 SOS 26930 HAS SOPS 26930 HAS SOUS 23288 HAS SOUPS 23288 WITH SCORE 23314.93
AT ITER 844 NEW BEST:: SOT 47064 SOS 26829 HAS SOPS 26829 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23226.829
AT ITER 851 NEW BEST:: SOT 47064 SOS 26817 HAS SOPS 26817 HAS SOUS 23200 HAS SOUPS 23200 WITH SCORE 23226.817
AT ITER 865 NEW BEST:: SOT 46973 SOS 26744 HAS SOPS 26744 HAS SOUS 23127 HAS SOUPS 23127 WITH SCORE 23153.744
AT ITER 867 NEW BEST:: SOT 46972 SOS 26743 HAS SOPS 26743 HAS SOUS 23125 HAS SOUPS 23125 WITH SCORE 23151.743
AT ITER 882 NEW BEST:: SOT 46972 SOS 26697 HAS SOPS 26697 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23144.697
AT ITER 884 NEW BEST:: SOT 46960 SOS 26694 HAS SOPS 26694 HAS SOUS 23115 HAS SOUPS 23115 WITH SCORE 23141.694
AT ITER 886 NEW BEST:: SOT 46850 SOS 26650 HAS SOPS 26650 HAS SOUS 23071 HAS SOUPS 23071 WITH SCORE 23097.65
AT ITER 887 NEW BEST:: SOT 46826 SOS 26618 HAS SOPS 26618 HAS SOUS 23058 HAS SOUPS 23058 WITH SCORE 23084.618
AT ITER 914 NEW BEST:: SOT 46699 SOS 26610 HAS SOPS 26610 HAS SOUS 23012 HAS SOUPS 23012 WITH SCORE 23038.61
AT ITER 915 NEW BEST:: SOT 46679 SOS 26732 HAS SOPS 26732 HAS SOUS 23005 HAS SOUPS 23005 WITH SCORE 23031.732
AT ITER 916 NEW BEST:: SOT 46680 SOS 26732 HAS SOPS 26732 HAS SOUS 23004 HAS SOUPS 23004 WITH SCORE 23030.732
AT ITER 929 NEW BEST:: SOT 46596 SOS 26858 HAS SOPS 26858 HAS SOUS 22982 HAS SOUPS 22982 WITH SCORE 23008.858
AT ITER 932 NEW BEST:: SOT 46476 SOS 26778 HAS SOPS 26778 HAS SOUS 22937 HAS SOUPS 22937 WITH SCORE 22963.778
AT ITER 936 NEW BEST:: SOT 46446 SOS 26979 HAS SOPS 26979 HAS SOUS 22924 HAS SOUPS 22924 WITH SCORE 22950.979
AT ITER 941 NEW BEST:: SOT 46446 SOS 27045 HAS SOPS 27045 HAS SOUS 22898 HAS SOUPS 22898 WITH SCORE 22925.045
AT ITER 949 NEW BEST:: SOT 46446 SOS 27040 HAS SOPS 27040 HAS SOUS 22898 HAS SOUPS 22898 WITH SCORE 22925.04
AT ITER 966 NEW BEST:: SOT 46415 SOS 27158 HAS SOPS 27158 HAS SOUS 22894 HAS SOUPS 22894 WITH SCORE 22921.158
AT ITER 978 NEW BEST:: SOT 46415 SOS 27146 HAS SOPS 27146 HAS SOUS 22893 HAS SOUPS 22893 WITH SCORE 22920.146
AT ITER 991 NEW BEST:: SOT 46414 SOS 27127 HAS SOPS 27127 HAS SOUS 22873 HAS SOUPS 22873 WITH SCORE 22900.127
AT ITER 1000 NEW BEST:: SOT 46414 SOS 27122 HAS SOPS 27122 HAS SOUS 22873 HAS SOUPS 22873 WITH SCORE 22900.122
AT ITER 1057 NEW BEST:: SOT 46390 SOS 27098 HAS SOPS 27098 HAS SOUS 22858 HAS SOUPS 22858 WITH SCORE 22885.098
AT ITER 1058 NEW BEST:: SOT 46313 SOS 27068 HAS SOPS 27068 HAS SOUS 22828 HAS SOUPS 22828 WITH SCORE 22855.068
AT ITER 1066 NEW BEST:: SOT 46292 SOS 27054 HAS SOPS 27054 HAS SOUS 22814 HAS SOUPS 22814 WITH SCORE 22841.054
AT ITER 1081 NEW BEST:: SOT 46292 SOS 27032 HAS SOPS 27032 HAS SOUS 22814 HAS SOUPS 22814 WITH SCORE 22841.032
AT ITER 1085 NEW BEST:: SOT 46334 SOS 27051 HAS SOPS 27051 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22825.051
AT ITER 1112 NEW BEST:: SOT 46322 SOS 27045 HAS SOPS 27045 HAS SOUS 22792 HAS SOUPS 22792 WITH SCORE 22819.045
AT ITER 1126 NEW BEST:: SOT 46309 SOS 27032 HAS SOPS 27032 HAS SOUS 22779 HAS SOUPS 22779 WITH SCORE 22806.032
AT ITER 1132 NEW BEST:: SOT 46314 SOS 27037 HAS SOPS 27037 HAS SOUS 22775 HAS SOUPS 22775 WITH SCORE 22802.037
AT ITER 1140 NEW BEST:: SOT 46251 SOS 27312 HAS SOPS 27312 HAS SOUS 22714 HAS SOUPS 22714 WITH SCORE 22741.312
AT ITER 1162 NEW BEST:: SOT 46255 SOS 27296 HAS SOPS 27296 HAS SOUS 22698 HAS SOUPS 22698 WITH SCORE 22725.296
AT ITER 1164 NEW BEST:: SOT 46247 SOS 27296 HAS SOPS 27296 HAS SOUS 22691 HAS SOUPS 22691 WITH SCORE 22718.296
AT ITER 1166 NEW BEST:: SOT 46237 SOS 27286 HAS SOPS 27286 HAS SOUS 22671 HAS SOUPS 22671 WITH SCORE 22698.286
AT ITER 1168 NEW BEST:: SOT 46146 SOS 27223 HAS SOPS 27223 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22636.223
AT ITER 1170 NEW BEST:: SOT 46146 SOS 27201 HAS SOPS 27201 HAS SOUS 22609 HAS SOUPS 22609 WITH SCORE 22636.201
AT ITER 1181 NEW BEST:: SOT 46112 SOS 27221 HAS SOPS 27221 HAS SOUS 22559 HAS SOUPS 22559 WITH SCORE 22586.221
AT ITER 1182 NEW BEST:: SOT 46112 SOS 27209 HAS SOPS 27209 HAS SOUS 22559 HAS SOUPS 22559 WITH SCORE 22586.209
AT ITER 1186 NEW BEST:: SOT 46063 SOS 27160 HAS SOPS 27160 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22528.16
AT ITER 1194 NEW BEST:: SOT 46078 SOS 27141 HAS SOPS 27141 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22509.141
AT ITER 1207 NEW BEST:: SOT 46078 SOS 27076 HAS SOPS 27076 HAS SOUS 22482 HAS SOUPS 22482 WITH SCORE 22509.076
AT ITER 1219 NEW BEST:: SOT 46122 SOS 27084 HAS SOPS 27084 HAS SOUS 22476 HAS SOUPS 22476 WITH SCORE 22503.084
AT ITER 1235 NEW BEST:: SOT 46122 SOS 27090 HAS SOPS 27090 HAS SOUS 22443 HAS SOUPS 22443 WITH SCORE 22470.09
AT ITER 1257 NEW BEST:: SOT 46122 SOS 27023 HAS SOPS 27023 HAS SOUS 22443 HAS SOUPS 22443 WITH SCORE 22470.023
AT ITER 1259 NEW BEST:: SOT 46122 SOS 26997 HAS SOPS 26997 HAS SOUS 22443 HAS SOUPS 22443 WITH SCORE 22469.997
AT ITER 1260 NEW BEST:: SOT 46084 SOS 26981 HAS SOPS 26981 HAS SOUS 22427 HAS SOUPS 22427 WITH SCORE 22453.981
AT ITER 1261 NEW BEST:: SOT 46081 SOS 27065 HAS SOPS 27065 HAS SOUS 22402 HAS SOUPS 22402 WITH SCORE 22429.065
AT ITER 1267 NEW BEST:: SOT 46104 SOS 27057 HAS SOPS 27057 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22415.057
AT ITER 1279 NEW BEST:: SOT 46104 SOS 27037 HAS SOPS 27037 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22415.037
AT ITER 1289 NEW BEST:: SOT 46104 SOS 27020 HAS SOPS 27020 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22415.02
AT ITER 1299 NEW BEST:: SOT 46050 SOS 26955 HAS SOPS 26955 HAS SOUS 22334 HAS SOUPS 22334 WITH SCORE 22360.955
AT ITER 1300 NEW BEST:: SOT 46008 SOS 26913 HAS SOPS 26913 HAS SOUS 22292 HAS SOUPS 22292 WITH SCORE 22318.913
AT ITER 1328 NEW BEST:: SOT 46008 SOS 26763 HAS SOPS 26763 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22300.763
AT ITER 1332 NEW BEST:: SOT 45976 SOS 26761 HAS SOPS 26761 HAS SOUS 22272 HAS SOUPS 22272 WITH SCORE 22298.761
AT ITER 1335 NEW BEST:: SOT 45976 SOS 26633 HAS SOPS 26633 HAS SOUS 22247 HAS SOUPS 22247 WITH SCORE 22273.633
AT ITER 1345 NEW BEST:: SOT 45976 SOS 26541 HAS SOPS 26541 HAS SOUS 22238 HAS SOUPS 22238 WITH SCORE 22264.541
AT ITER 1347 NEW BEST:: SOT 45931 SOS 26532 HAS SOPS 26532 HAS SOUS 22229 HAS SOUPS 22229 WITH SCORE 22255.532
AT ITER 1355 NEW BEST:: SOT 45930 SOS 26333 HAS SOPS 26333 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22235.333
AT ITER 1360 NEW BEST:: SOT 45904 SOS 26368 HAS SOPS 26368 HAS SOUS 22185 HAS SOUPS 22185 WITH SCORE 22211.368
AT ITER 1368 NEW BEST:: SOT 45902 SOS 26368 HAS SOPS 26368 HAS SOUS 22183 HAS SOUPS 22183 WITH SCORE 22209.368
AT ITER 1396 NEW BEST:: SOT 45864 SOS 26330 HAS SOPS 26330 HAS SOUS 22145 HAS SOUPS 22145 WITH SCORE 22171.33
AT ITER 1402 NEW BEST:: SOT 45852 SOS 26329 HAS SOPS 26329 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22170.329
AT ITER 1426 NEW BEST:: SOT 45847 SOS 26319 HAS SOPS 26319 HAS SOUS 22144 HAS SOUPS 22144 WITH SCORE 22170.319
AT ITER 1433 NEW BEST:: SOT 45807 SOS 26295 HAS SOPS 26295 HAS SOUS 22120 HAS SOUPS 22120 WITH SCORE 22146.295
AT ITER 1468 NEW BEST:: SOT 45669 SOS 26181 HAS SOPS 26181 HAS SOUS 22006 HAS SOUPS 22006 WITH SCORE 22032.181
AT ITER 1480 NEW BEST:: SOT 45543 SOS 26083 HAS SOPS 26083 HAS SOUS 21944 HAS SOUPS 21944 WITH SCORE 21970.083
AT ITER 1488 NEW BEST:: SOT 45560 SOS 26081 HAS SOPS 26081 HAS SOUS 21932 HAS SOUPS 21932 WITH SCORE 21958.081
AT ITER 1490 NEW BEST:: SOT 45560 SOS 26070 HAS SOPS 26070 HAS SOUS 21930 HAS SOUPS 21930 WITH SCORE 21956.07
AT ITER 1493 NEW BEST:: SOT 45470 SOS 26027 HAS SOPS 26027 HAS SOUS 21887 HAS SOUPS 21887 WITH SCORE 21913.027
AT ITER 1517 NEW BEST:: SOT 45478 SOS 25819 HAS SOPS 25819 HAS SOUS 21844 HAS SOUPS 21844 WITH SCORE 21869.819
AT ITER 1523 NEW BEST:: SOT 45440 SOS 25779 HAS SOPS 25779 HAS SOUS 21784 HAS SOUPS 21784 WITH SCORE 21809.779
AT ITER 1539 NEW BEST:: SOT 45419 SOS 25702 HAS SOPS 25702 HAS SOUS 21778 HAS SOUPS 21778 WITH SCORE 21803.702
AT ITER 1540 NEW BEST:: SOT 45419 SOS 25688 HAS SOPS 25688 HAS SOUS 21716 HAS SOUPS 21716 WITH SCORE 21741.688
AT ITER 1572 NEW BEST:: SOT 45422 SOS 25688 HAS SOPS 25688 HAS SOUS 21710 HAS SOUPS 21710 WITH SCORE 21735.688
AT ITER 1578 NEW BEST:: SOT 45413 SOS 25685 HAS SOPS 25685 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21726.685
AT ITER 1579 NEW BEST:: SOT 45399 SOS 25671 HAS SOPS 25671 HAS SOUS 21686 HAS SOUPS 21686 WITH SCORE 21711.671
AT ITER 1585 NEW BEST:: SOT 45243 SOS 25656 HAS SOPS 25656 HAS SOUS 21680 HAS SOUPS 21680 WITH SCORE 21705.656
AT ITER 1612 NEW BEST:: SOT 45243 SOS 25627 HAS SOPS 25627 HAS SOUS 21653 HAS SOUPS 21653 WITH SCORE 21678.627
AT ITER 1627 NEW BEST:: SOT 45225 SOS 25603 HAS SOPS 25603 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21654.603
AT ITER 1654 NEW BEST:: SOT 45305 SOS 25597 HAS SOPS 25597 HAS SOUS 21597 HAS SOUPS 21597 WITH SCORE 21622.597
AT ITER 1661 NEW BEST:: SOT 45257 SOS 25614 HAS SOPS 25614 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21612.614
AT ITER 1664 NEW BEST:: SOT 45257 SOS 25607 HAS SOPS 25607 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21612.607
AT ITER 1674 NEW BEST:: SOT 45257 SOS 25592 HAS SOPS 25592 HAS SOUS 21587 HAS SOUPS 21587 WITH SCORE 21612.592
AT ITER 1690 NEW BEST:: SOT 45252 SOS 25590 HAS SOPS 25590 HAS SOUS 21585 HAS SOUPS 21585 WITH SCORE 21610.59
AT ITER 1698 NEW BEST:: SOT 45252 SOS 25585 HAS SOPS 25585 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21605.585
AT ITER 1724 NEW BEST:: SOT 45252 SOS 25509 HAS SOPS 25509 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21605.509
AT ITER 1749 NEW BEST:: SOT 45212 SOS 25501 HAS SOPS 25501 HAS SOUS 21561 HAS SOUPS 21561 WITH SCORE 21586.501
AT ITER 1768 NEW BEST:: SOT 45212 SOS 25411 HAS SOPS 25411 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21584.411
AT ITER 1771 NEW BEST:: SOT 45212 SOS 25391 HAS SOPS 25391 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21584.391
AT ITER 1782 NEW BEST:: SOT 45212 SOS 25382 HAS SOPS 25382 HAS SOUS 21559 HAS SOUPS 21559 WITH SCORE 21584.382
AT ITER 1785 NEW BEST:: SOT 45178 SOS 25374 HAS SOPS 25374 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21545.374
AT ITER 1813 NEW BEST:: SOT 45081 SOS 25277 HAS SOPS 25277 HAS SOUS 21423 HAS SOUPS 21423 WITH SCORE 21448.277
AT ITER 1823 NEW BEST:: SOT 45082 SOS 25277 HAS SOPS 25277 HAS SOUS 21416 HAS SOUPS 21416 WITH SCORE 21441.277
AT ITER 1839 NEW BEST:: SOT 45050 SOS 25377 HAS SOPS 25377 HAS SOUS 21407 HAS SOUPS 21407 WITH SCORE 21432.377
AT ITER 1840 NEW BEST:: SOT 44980 SOS 25308 HAS SOPS 25308 HAS SOUS 21338 HAS SOUPS 21338 WITH SCORE 21363.308
AT ITER 1847 NEW BEST:: SOT 44980 SOS 25341 HAS SOPS 25341 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21347.341
AT ITER 1885 NEW BEST:: SOT 44971 SOS 25334 HAS SOPS 25334 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21340.334
AT ITER 1900 NEW BEST:: SOT 44971 SOS 25270 HAS SOPS 25270 HAS SOUS 21315 HAS SOUPS 21315 WITH SCORE 21340.27
AT ITER 1904 NEW BEST:: SOT 44913 SOS 25212 HAS SOPS 25212 HAS SOUS 21257 HAS SOUPS 21257 WITH SCORE 21282.212
AT ITER 1913 NEW BEST:: SOT 44890 SOS 25211 HAS SOPS 25211 HAS SOUS 21242 HAS SOUPS 21242 WITH SCORE 21267.211
AT ITER 1916 NEW BEST:: SOT 44884 SOS 25205 HAS SOPS 25205 HAS SOUS 21236 HAS SOUPS 21236 WITH SCORE 21261.205
AT ITER 1919 NEW BEST:: SOT 44907 SOS 25183 HAS SOPS 25183 HAS SOUS 21224 HAS SOUPS 21224 WITH SCORE 21249.183
AT ITER 1925 NEW BEST:: SOT 44915 SOS 25175 HAS SOPS 25175 HAS SOUS 21216 HAS SOUPS 21216 WITH SCORE 21241.175
AT ITER 1929 NEW BEST:: SOT 44898 SOS 25170 HAS SOPS 25170 HAS SOUS 21201 HAS SOUPS 21201 WITH SCORE 21226.17
AT ITER 1958 NEW BEST:: SOT 44898 SOS 25065 HAS SOPS 25065 HAS SOUS 21195 HAS SOUPS 21195 WITH SCORE 21220.065
AT ITER 1975 NEW BEST:: SOT 44898 SOS 25061 HAS SOPS 25061 HAS SOUS 21192 HAS SOUPS 21192 WITH SCORE 21217.061
AT ITER 1977 NEW BEST:: SOT 44906 SOS 25082 HAS SOPS 25082 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21207.082
AT ITER 1982 NEW BEST:: SOT 44895 SOS 25081 HAS SOPS 25081 HAS SOUS 21177 HAS SOUPS 21177 WITH SCORE 21202.081
AT ITER 1984 NEW BEST:: SOT 44891 SOS 25070 HAS SOPS 25070 HAS SOUS 21156 HAS SOUPS 21156 WITH SCORE 21181.07
AT ITER 1989 NEW BEST:: SOT 44939 SOS 25095 HAS SOPS 25095 HAS SOUS 21152 HAS SOUPS 21152 WITH SCORE 21177.095
AT ITER 2000 NEW BEST:: SOT 44917 SOS 25084 HAS SOPS 25084 HAS SOUS 21141 HAS SOUPS 21141 WITH SCORE 21166.084
AT ITER 2008 NEW BEST:: SOT 44891 SOS 25044 HAS SOPS 25044 HAS SOUS 21104 HAS SOUPS 21104 WITH SCORE 21129.044
AT ITER 2011 NEW BEST:: SOT 44894 SOS 25044 HAS SOPS 25044 HAS SOUS 21100 HAS SOUPS 21100 WITH SCORE 21125.044
AT ITER 2030 NEW BEST:: SOT 44894 SOS 25033 HAS SOPS 25033 HAS SOUS 21100 HAS SOUPS 21100 WITH SCORE 21125.033
AT ITER 2063 NEW BEST:: SOT 44917 SOS 25079 HAS SOPS 25079 HAS SOUS 21099 HAS SOUPS 21099 WITH SCORE 21124.079
AT ITER 2064 NEW BEST:: SOT 44917 SOS 25079 HAS SOPS 25079 HAS SOUS 21091 HAS SOUPS 21091 WITH SCORE 21116.079
AT ITER 2065 NEW BEST:: SOT 44870 SOS 25032 HAS SOPS 25032 HAS SOUS 21044 HAS SOUPS 21044 WITH SCORE 21069.032
AT ITER 2082 NEW BEST:: SOT 44843 SOS 25278 HAS SOPS 25278 HAS SOUS 21042 HAS SOUPS 21042 WITH SCORE 21067.278
AT ITER 2105 NEW BEST:: SOT 44865 SOS 25256 HAS SOPS 25256 HAS SOUS 21032 HAS SOUPS 21032 WITH SCORE 21057.256
AT ITER 2112 NEW BEST:: SOT 44864 SOS 25255 HAS SOPS 25255 HAS SOUS 21031 HAS SOUPS 21031 WITH SCORE 21056.255
AT ITER 2115 NEW BEST:: SOT 44862 SOS 25253 HAS SOPS 25253 HAS SOUS 21027 HAS SOUPS 21027 WITH SCORE 21052.253
AT ITER 2121 NEW BEST:: SOT 44862 SOS 25239 HAS SOPS 25239 HAS SOUS 21023 HAS SOUPS 21023 WITH SCORE 21048.239
AT ITER 2126 NEW BEST:: SOT 44858 SOS 25235 HAS SOPS 25235 HAS SOUS 21019 HAS SOUPS 21019 WITH SCORE 21044.235
AT ITER 2152 NEW BEST:: SOT 44771 SOS 25177 HAS SOPS 25177 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21015.177
AT ITER 2159 NEW BEST:: SOT 44762 SOS 25168 HAS SOPS 25168 HAS SOUS 20986 HAS SOUPS 20986 WITH SCORE 21011.168
AT ITER 2165 NEW BEST:: SOT 44757 SOS 25163 HAS SOPS 25163 HAS SOUS 20981 HAS SOUPS 20981 WITH SCORE 21006.163
AT ITER 2205 NEW BEST:: SOT 44757 SOS 25166 HAS SOPS 25166 HAS SOUS 20966 HAS SOUPS 20966 WITH SCORE 20991.166
AT ITER 2210 NEW BEST:: SOT 44765 SOS 25169 HAS SOPS 25169 HAS SOUS 20960 HAS SOUPS 20960 WITH SCORE 20985.169
AT ITER 2225 NEW BEST:: SOT 44765 SOS 25159 HAS SOPS 25159 HAS SOUS 20950 HAS SOUPS 20950 WITH SCORE 20975.159
AT ITER 2227 NEW BEST:: SOT 44763 SOS 25157 HAS SOPS 25157 HAS SOUS 20948 HAS SOUPS 20948 WITH SCORE 20973.157
AT ITER 2230 NEW BEST:: SOT 44763 SOS 25141 HAS SOPS 25141 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20965.141
AT ITER 2243 NEW BEST:: SOT 44763 SOS 25150 HAS SOPS 25150 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20964.15
AT ITER 2248 NEW BEST:: SOT 44763 SOS 25140 HAS SOPS 25140 HAS SOUS 20939 HAS SOUPS 20939 WITH SCORE 20964.14
AT ITER 2263 NEW BEST:: SOT 44763 SOS 25140 HAS SOPS 25140 HAS SOUS 20930 HAS SOUPS 20930 WITH SCORE 20955.14
AT ITER 2269 NEW BEST:: SOT 44729 SOS 25106 HAS SOPS 25106 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20921.106
AT ITER 2273 NEW BEST:: SOT 44729 SOS 25103 HAS SOPS 25103 HAS SOUS 20896 HAS SOUPS 20896 WITH SCORE 20921.103
AT ITER 2274 NEW BEST:: SOT 44693 SOS 25067 HAS SOPS 25067 HAS SOUS 20860 HAS SOUPS 20860 WITH SCORE 20885.067
AT ITER 2277 NEW BEST:: SOT 44669 SOS 25055 HAS SOPS 25055 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20874.055
AT ITER 2288 NEW BEST:: SOT 44667 SOS 25054 HAS SOPS 25054 HAS SOUS 20848 HAS SOUPS 20848 WITH SCORE 20873.054
AT ITER 2289 NEW BEST:: SOT 44667 SOS 25031 HAS SOPS 25031 HAS SOUS 20848 HAS SOUPS 20848 WITH SCORE 20873.031
AT ITER 2293 NEW BEST:: SOT 44667 SOS 24927 HAS SOPS 24927 HAS SOUS 20842 HAS SOUPS 20842 WITH SCORE 20866.927
AT ITER 2299 NEW BEST:: SOT 44655 SOS 24926 HAS SOPS 24926 HAS SOUS 20841 HAS SOUPS 20841 WITH SCORE 20865.926
AT ITER 2301 NEW BEST:: SOT 44647 SOS 24918 HAS SOPS 24918 HAS SOUS 20833 HAS SOUPS 20833 WITH SCORE 20857.918
AT ITER 2312 NEW BEST:: SOT 44647 SOS 24880 HAS SOPS 24880 HAS SOUS 20810 HAS SOUPS 20810 WITH SCORE 20834.88
AT ITER 2322 NEW BEST:: SOT 44629 SOS 24886 HAS SOPS 24886 HAS SOUS 20809 HAS SOUPS 20809 WITH SCORE 20833.886
AT ITER 2325 NEW BEST:: SOT 44629 SOS 24874 HAS SOPS 24874 HAS SOUS 20809 HAS SOUPS 20809 WITH SCORE 20833.874
AT ITER 2347 NEW BEST:: SOT 44629 SOS 24852 HAS SOPS 24852 HAS SOUS 20798 HAS SOUPS 20798 WITH SCORE 20822.852
AT ITER 2349 NEW BEST:: SOT 44636 SOS 24842 HAS SOPS 24842 HAS SOUS 20789 HAS SOUPS 20789 WITH SCORE 20813.842
AT ITER 2350 NEW BEST:: SOT 44584 SOS 24928 HAS SOPS 24928 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20809.928
AT ITER 2351 NEW BEST:: SOT 44523 SOS 24910 HAS SOPS 24910 HAS SOUS 20734 HAS SOUPS 20734 WITH SCORE 20758.91
AT ITER 2360 NEW BEST:: SOT 44523 SOS 24904 HAS SOPS 24904 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20739.904
AT ITER 2386 NEW BEST:: SOT 44523 SOS 24904 HAS SOPS 24904 HAS SOUS 20714 HAS SOUPS 20714 WITH SCORE 20738.904
AT ITER 2391 NEW BEST:: SOT 44519 SOS 24865 HAS SOPS 24865 HAS SOUS 20692 HAS SOUPS 20692 WITH SCORE 20716.865
AT ITER 2421 NEW BEST:: SOT 44519 SOS 24822 HAS SOPS 24822 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20696.822
AT ITER 2423 NEW BEST:: SOT 44519 SOS 24808 HAS SOPS 24808 HAS SOUS 20666 HAS SOUPS 20666 WITH SCORE 20690.808
AT ITER 2425 NEW BEST:: SOT 44513 SOS 24802 HAS SOPS 24802 HAS SOUS 20660 HAS SOUPS 20660 WITH SCORE 20684.802
AT ITER 2436 NEW BEST:: SOT 44462 SOS 24781 HAS SOPS 24781 HAS SOUS 20609 HAS SOUPS 20609 WITH SCORE 20633.781
AT ITER 2552 NEW BEST:: SOT 44462 SOS 24781 HAS SOPS 24781 HAS SOUS 20583 HAS SOUPS 20583 WITH SCORE 20607.781
AT ITER 2584 NEW BEST:: SOT 44457 SOS 24791 HAS SOPS 24791 HAS SOUS 20524 HAS SOUPS 20524 WITH SCORE 20548.791
AT ITER 2589 NEW BEST:: SOT 44457 SOS 24802 HAS SOPS 24802 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20545.802
AT ITER 2595 NEW BEST:: SOT 44445 SOS 24790 HAS SOPS 24790 HAS SOUS 20509 HAS SOUPS 20509 WITH SCORE 20533.79
AT ITER 2620 NEW BEST:: SOT 44402 SOS 24877 HAS SOPS 24877 HAS SOUS 20486 HAS SOUPS 20486 WITH SCORE 20510.877
AT ITER 2627 NEW BEST:: SOT 44374 SOS 24860 HAS SOPS 24860 HAS SOUS 20480 HAS SOUPS 20480 WITH SCORE 20504.86
AT ITER 2635 NEW BEST:: SOT 44374 SOS 24860 HAS SOPS 24860 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20492.86
AT ITER 2651 NEW BEST:: SOT 44374 SOS 24851 HAS SOPS 24851 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20492.851
AT ITER 2687 NEW BEST:: SOT 44354 SOS 24944 HAS SOPS 24944 HAS SOUS 20448 HAS SOUPS 20448 WITH SCORE 20472.944
AT ITER 2703 NEW BEST:: SOT 44278 SOS 24946 HAS SOPS 24946 HAS SOUS 20385 HAS SOUPS 20385 WITH SCORE 20409.946
AT ITER 2704 NEW BEST:: SOT 44275 SOS 24935 HAS SOPS 24935 HAS SOUS 20382 HAS SOUPS 20382 WITH SCORE 20406.935
AT ITER 2711 NEW BEST:: SOT 44271 SOS 24931 HAS SOPS 24931 HAS SOUS 20378 HAS SOUPS 20378 WITH SCORE 20402.931
AT ITER 2729 NEW BEST:: SOT 44154 SOS 25015 HAS SOPS 25015 HAS SOUS 20359 HAS SOUPS 20359 WITH SCORE 20384.015
AT ITER 2785 NEW BEST:: SOT 44151 SOS 25057 HAS SOPS 25057 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20381.057
AT ITER 2786 NEW BEST:: SOT 44159 SOS 24969 HAS SOPS 24969 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20380.969
AT ITER 2794 NEW BEST:: SOT 44158 SOS 24968 HAS SOPS 24968 HAS SOUS 20354 HAS SOUPS 20354 WITH SCORE 20378.968
AT ITER 2795 NEW BEST:: SOT 44106 SOS 25739 HAS SOPS 25739 HAS SOUS 20341 HAS SOUPS 20341 WITH SCORE 20366.739
AT ITER 2840 NEW BEST:: SOT 44024 SOS 25695 HAS SOPS 25695 HAS SOUS 20259 HAS SOUPS 20259 WITH SCORE 20284.695
AT ITER 2841 NEW BEST:: SOT 44030 SOS 25683 HAS SOPS 25683 HAS SOUS 20249 HAS SOUPS 20249 WITH SCORE 20274.683
AT ITER 2843 NEW BEST:: SOT 44011 SOS 25664 HAS SOPS 25664 HAS SOUS 20230 HAS SOUPS 20230 WITH SCORE 20255.664
AT ITER 2859 NEW BEST:: SOT 44011 SOS 25644 HAS SOPS 25644 HAS SOUS 20209 HAS SOUPS 20209 WITH SCORE 20234.644
AT ITER 2870 NEW BEST:: SOT 44003 SOS 25636 HAS SOPS 25636 HAS SOUS 20201 HAS SOUPS 20201 WITH SCORE 20226.636
AT ITER 2872 NEW BEST:: SOT 44003 SOS 25636 HAS SOPS 25636 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20215.636
AT ITER 2873 NEW BEST:: SOT 44003 SOS 25636 HAS SOPS 25636 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20214.636
AT ITER 2904 NEW BEST:: SOT 43975 SOS 25626 HAS SOPS 25626 HAS SOUS 20179 HAS SOUPS 20179 WITH SCORE 20204.626
AT ITER 2913 NEW BEST:: SOT 43954 SOS 25613 HAS SOPS 25613 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20199.613
AT ITER 2916 NEW BEST:: SOT 43954 SOS 25596 HAS SOPS 25596 HAS SOUS 20174 HAS SOUPS 20174 WITH SCORE 20199.596
AT ITER 2923 NEW BEST:: SOT 43954 SOS 25596 HAS SOPS 25596 HAS SOUS 20172 HAS SOUPS 20172 WITH SCORE 20197.596
AT ITER 2993 NEW BEST:: SOT 43930 SOS 25586 HAS SOPS 25586 HAS SOUS 20168 HAS SOUPS 20168 WITH SCORE 20193.586
AT ITER 3002 NEW BEST:: SOT 43903 SOS 25568 HAS SOPS 25568 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20175.568
AT ITER 3005 NEW BEST:: SOT 43903 SOS 25536 HAS SOPS 25536 HAS SOUS 20145 HAS SOUPS 20145 WITH SCORE 20170.536
AT ITER 3007 NEW BEST:: SOT 43881 SOS 25525 HAS SOPS 25525 HAS SOUS 20134 HAS SOUPS 20134 WITH SCORE 20159.525
AT ITER 3012 NEW BEST:: SOT 43809 SOS 25483 HAS SOPS 25483 HAS SOUS 20092 HAS SOUPS 20092 WITH SCORE 20117.483
AT ITER 3030 NEW BEST:: SOT 43776 SOS 25468 HAS SOPS 25468 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20102.468
AT ITER 3043 NEW BEST:: SOT 43685 SOS 25391 HAS SOPS 25391 HAS SOUS 20037 HAS SOUPS 20037 WITH SCORE 20062.391
AT ITER 3060 NEW BEST:: SOT 43679 SOS 25385 HAS SOPS 25385 HAS SOUS 20031 HAS SOUPS 20031 WITH SCORE 20056.385
AT ITER 3077 NEW BEST:: SOT 43624 SOS 25330 HAS SOPS 25330 HAS SOUS 19976 HAS SOUPS 19976 WITH SCORE 20001.33
AT ITER 3085 NEW BEST:: SOT 43610 SOS 25316 HAS SOPS 25316 HAS SOUS 19962 HAS SOUPS 19962 WITH SCORE 19987.316
AT ITER 3087 NEW BEST:: SOT 43610 SOS 25004 HAS SOPS 25004 HAS SOUS 19962 HAS SOUPS 19962 WITH SCORE 19987.004
AT ITER 3103 NEW BEST:: SOT 43609 SOS 25003 HAS SOPS 25003 HAS SOUS 19961 HAS SOUPS 19961 WITH SCORE 19986.003
AT ITER 3105 NEW BEST:: SOT 43606 SOS 25000 HAS SOPS 25000 HAS SOUS 19958 HAS SOUPS 19958 WITH SCORE 19983.0
AT ITER 3108 NEW BEST:: SOT 43552 SOS 24995 HAS SOPS 24995 HAS SOUS 19953 HAS SOUPS 19953 WITH SCORE 19977.995
AT ITER 3111 NEW BEST:: SOT 43588 SOS 24991 HAS SOPS 24991 HAS SOUS 19949 HAS SOUPS 19949 WITH SCORE 19973.991
AT ITER 3139 NEW BEST:: SOT 43597 SOS 24988 HAS SOPS 24988 HAS SOUS 19946 HAS SOUPS 19946 WITH SCORE 19970.988
AT ITER 3151 NEW BEST:: SOT 43597 SOS 24929 HAS SOPS 24929 HAS SOUS 19941 HAS SOUPS 19941 WITH SCORE 19965.929
AT ITER 3190 NEW BEST:: SOT 43582 SOS 24909 HAS SOPS 24909 HAS SOUS 19931 HAS SOUPS 19931 WITH SCORE 19955.909
AT ITER 3254 NEW BEST:: SOT 43577 SOS 24904 HAS SOPS 24904 HAS SOUS 19926 HAS SOUPS 19926 WITH SCORE 19950.904
AT ITER 3256 NEW BEST:: SOT 43571 SOS 24898 HAS SOPS 24898 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19944.898
AT ITER 3277 NEW BEST:: SOT 43547 SOS 25073 HAS SOPS 25073 HAS SOUS 19905 HAS SOUPS 19905 WITH SCORE 19930.073
AT ITER 3289 NEW BEST:: SOT 43523 SOS 25057 HAS SOPS 25057 HAS SOUS 19889 HAS SOUPS 19889 WITH SCORE 19914.057
AT ITER 3290 NEW BEST:: SOT 43514 SOS 25048 HAS SOPS 25048 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19905.048
AT ITER 3302 NEW BEST:: SOT 43514 SOS 25068 HAS SOPS 25068 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19870.068
AT ITER 3308 NEW BEST:: SOT 43491 SOS 25081 HAS SOPS 25081 HAS SOUS 19822 HAS SOUPS 19822 WITH SCORE 19847.081
AT ITER 3309 NEW BEST:: SOT 43487 SOS 25079 HAS SOPS 25079 HAS SOUS 19820 HAS SOUPS 19820 WITH SCORE 19845.079
AT ITER 3330 NEW BEST:: SOT 43461 SOS 25053 HAS SOPS 25053 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19819.053
AT ITER 3338 NEW BEST:: SOT 43461 SOS 25047 HAS SOPS 25047 HAS SOUS 19794 HAS SOUPS 19794 WITH SCORE 19819.047
AT ITER 3401 NEW BEST:: SOT 43457 SOS 25045 HAS SOPS 25045 HAS SOUS 19792 HAS SOUPS 19792 WITH SCORE 19817.045
AT ITER 3406 NEW BEST:: SOT 43392 SOS 24971 HAS SOPS 24971 HAS SOUS 19699 HAS SOUPS 19699 WITH SCORE 19723.971
AT ITER 3424 NEW BEST:: SOT 43392 SOS 25023 HAS SOPS 25023 HAS SOUS 19692 HAS SOUPS 19692 WITH SCORE 19717.023
AT ITER 3442 NEW BEST:: SOT 43359 SOS 25001 HAS SOPS 25001 HAS SOUS 19670 HAS SOUPS 19670 WITH SCORE 19695.001
AT ITER 3455 NEW BEST:: SOT 43301 SOS 24943 HAS SOPS 24943 HAS SOUS 19617 HAS SOUPS 19617 WITH SCORE 19641.943
AT ITER 3470 NEW BEST:: SOT 43287 SOS 24929 HAS SOPS 24929 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19627.929
AT ITER 3571 NEW BEST:: SOT 43236 SOS 24893 HAS SOPS 24893 HAS SOUS 19567 HAS SOUPS 19567 WITH SCORE 19591.893
AT ITER 3598 NEW BEST:: SOT 43206 SOS 24899 HAS SOPS 24899 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19570.899
AT ITER 3681 NEW BEST:: SOT 43172 SOS 24915 HAS SOPS 24915 HAS SOUS 19517 HAS SOUPS 19517 WITH SCORE 19541.915
AT ITER 3688 NEW BEST:: SOT 43152 SOS 24914 HAS SOPS 24914 HAS SOUS 19516 HAS SOUPS 19516 WITH SCORE 19540.914
AT ITER 3739 NEW BEST:: SOT 43126 SOS 24888 HAS SOPS 24888 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19514.888
AT ITER 3766 NEW BEST:: SOT 43122 SOS 24876 HAS SOPS 24876 HAS SOUS 19490 HAS SOUPS 19490 WITH SCORE 19514.876
AT ITER 3777 NEW BEST:: SOT 43119 SOS 24873 HAS SOPS 24873 HAS SOUS 19486 HAS SOUPS 19486 WITH SCORE 19510.873
AT ITER 3780 NEW BEST:: SOT 43119 SOS 24873 HAS SOPS 24873 HAS SOUS 19477 HAS SOUPS 19477 WITH SCORE 19501.873
AT ITER 3787 NEW BEST:: SOT 43060 SOS 24853 HAS SOPS 24853 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19481.853
AT ITER 3798 NEW BEST:: SOT 43060 SOS 24837 HAS SOPS 24837 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19481.837
AT ITER 3810 NEW BEST:: SOT 43060 SOS 24591 HAS SOPS 24591 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19481.591
AT ITER 3829 NEW BEST:: SOT 43060 SOS 24582 HAS SOPS 24582 HAS SOUS 19457 HAS SOUPS 19457 WITH SCORE 19481.582
AT ITER 3837 NEW BEST:: SOT 43046 SOS 24568 HAS SOPS 24568 HAS SOUS 19443 HAS SOUPS 19443 WITH SCORE 19467.568
AT ITER 3847 NEW BEST:: SOT 43040 SOS 24562 HAS SOPS 24562 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19461.562
AT ITER 3892 NEW BEST:: SOT 43005 SOS 24562 HAS SOPS 24562 HAS SOUS 19433 HAS SOUPS 19433 WITH SCORE 19457.562
AT ITER 3903 NEW BEST:: SOT 43005 SOS 24557 HAS SOPS 24557 HAS SOUS 19428 HAS SOUPS 19428 WITH SCORE 19452.557
AT ITER 3909 NEW BEST:: SOT 43005 SOS 24546 HAS SOPS 24546 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19441.546
AT ITER 3939 NEW BEST:: SOT 42997 SOS 24523 HAS SOPS 24523 HAS SOUS 19406 HAS SOUPS 19406 WITH SCORE 19430.523
AT ITER 3947 NEW BEST:: SOT 42953 SOS 24374 HAS SOPS 24374 HAS SOUS 19393 HAS SOUPS 19393 WITH SCORE 19417.374
AT ITER 3961 NEW BEST:: SOT 42926 SOS 24347 HAS SOPS 24347 HAS SOUS 19366 HAS SOUPS 19366 WITH SCORE 19390.347
AT ITER 3971 NEW BEST:: SOT 42920 SOS 24389 HAS SOPS 24389 HAS SOUS 19363 HAS SOUPS 19363 WITH SCORE 19387.389
AT ITER 4023 NEW BEST:: SOT 42913 SOS 24382 HAS SOPS 24382 HAS SOUS 19349 HAS SOUPS 19349 WITH SCORE 19373.382
AT ITER 4054 NEW BEST:: SOT 42932 SOS 24357 HAS SOPS 24357 HAS SOUS 19324 HAS SOUPS 19324 WITH SCORE 19348.357
AT ITER 4061 NEW BEST:: SOT 42920 SOS 24351 HAS SOPS 24351 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19342.351
AT ITER 4069 NEW BEST:: SOT 42969 SOS 24365 HAS SOPS 24365 HAS SOUS 19298 HAS SOUPS 19298 WITH SCORE 19322.365
AT ITER 4081 NEW BEST:: SOT 42960 SOS 24356 HAS SOPS 24356 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19313.356
AT ITER 4124 NEW BEST:: SOT 42960 SOS 24340 HAS SOPS 24340 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19313.34
AT ITER 4191 NEW BEST:: SOT 42960 SOS 24340 HAS SOPS 24340 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19312.34
AT ITER 4197 NEW BEST:: SOT 42960 SOS 24289 HAS SOPS 24289 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19312.289
AT ITER 4233 NEW BEST:: SOT 42960 SOS 24287 HAS SOPS 24287 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19309.287
AT ITER 4238 NEW BEST:: SOT 42957 SOS 24284 HAS SOPS 24284 HAS SOUS 19282 HAS SOUPS 19282 WITH SCORE 19306.284
AT ITER 4241 NEW BEST:: SOT 42957 SOS 24284 HAS SOPS 24284 HAS SOUS 19277 HAS SOUPS 19277 WITH SCORE 19301.284
AT ITER 4257 NEW BEST:: SOT 42957 SOS 24280 HAS SOPS 24280 HAS SOUS 19275 HAS SOUPS 19275 WITH SCORE 19299.28
AT ITER 4300 NEW BEST:: SOT 42955 SOS 24278 HAS SOPS 24278 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19297.278
AT ITER 4351 NEW BEST:: SOT 42993 SOS 24178 HAS SOPS 24178 HAS SOUS 19241 HAS SOUPS 19241 WITH SCORE 19265.178
AT ITER 4355 NEW BEST:: SOT 42977 SOS 24172 HAS SOPS 24172 HAS SOUS 19235 HAS SOUPS 19235 WITH SCORE 19259.172
AT ITER 4374 NEW BEST:: SOT 42974 SOS 24169 HAS SOPS 24169 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19253.169
AT ITER 4459 NEW BEST:: SOT 42974 SOS 24165 HAS SOPS 24165 HAS SOUS 19229 HAS SOUPS 19229 WITH SCORE 19253.165
AT ITER 4462 NEW BEST:: SOT 42972 SOS 24163 HAS SOPS 24163 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19251.163
AT ITER 4492 NEW BEST:: SOT 42972 SOS 24167 HAS SOPS 24167 HAS SOUS 19209 HAS SOUPS 19209 WITH SCORE 19233.167
AT ITER 4494 NEW BEST:: SOT 42966 SOS 24161 HAS SOPS 24161 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19227.161
AT ITER 4523 NEW BEST:: SOT 42966 SOS 24109 HAS SOPS 24109 HAS SOUS 19203 HAS SOUPS 19203 WITH SCORE 19227.109
AT ITER 4535 NEW BEST:: SOT 42964 SOS 24107 HAS SOPS 24107 HAS SOUS 19201 HAS SOUPS 19201 WITH SCORE 19225.107
AT ITER 4539 NEW BEST:: SOT 42965 SOS 24103 HAS SOPS 24103 HAS SOUS 19197 HAS SOUPS 19197 WITH SCORE 19221.103
AT ITER 4557 NEW BEST:: SOT 42954 SOS 24092 HAS SOPS 24092 HAS SOUS 19173 HAS SOUPS 19173 WITH SCORE 19197.092
AT ITER 4567 NEW BEST:: SOT 42954 SOS 24079 HAS SOPS 24079 HAS SOUS 19173 HAS SOUPS 19173 WITH SCORE 19197.079
AT ITER 4629 NEW BEST:: SOT 42957 SOS 24071 HAS SOPS 24071 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19189.071
AT ITER 4686 NEW BEST:: SOT 42951 SOS 24065 HAS SOPS 24065 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19187.065
AT ITER 4691 NEW BEST:: SOT 42951 SOS 24050 HAS SOPS 24050 HAS SOUS 19163 HAS SOUPS 19163 WITH SCORE 19187.05
AT ITER 4692 NEW BEST:: SOT 42946 SOS 24055 HAS SOPS 24055 HAS SOUS 19158 HAS SOUPS 19158 WITH SCORE 19182.055
AT ITER 4748 NEW BEST:: SOT 42966 SOS 24075 HAS SOPS 24075 HAS SOUS 19151 HAS SOUPS 19151 WITH SCORE 19175.075
AT ITER 4764 NEW BEST:: SOT 42984 SOS 24075 HAS SOPS 24075 HAS SOUS 19119 HAS SOUPS 19119 WITH SCORE 19143.075
AT ITER 4793 NEW BEST:: SOT 42984 SOS 24070 HAS SOPS 24070 HAS SOUS 19114 HAS SOUPS 19114 WITH SCORE 19138.07
AT ITER 4822 NEW BEST:: SOT 42981 SOS 24067 HAS SOPS 24067 HAS SOUS 19091 HAS SOUPS 19091 WITH SCORE 19115.067
AT ITER 4835 NEW BEST:: SOT 42981 SOS 24061 HAS SOPS 24061 HAS SOUS 19087 HAS SOUPS 19087 WITH SCORE 19111.061
AT ITER 4872 NEW BEST:: SOT 42977 SOS 24057 HAS SOPS 24057 HAS SOUS 19069 HAS SOUPS 19069 WITH SCORE 19093.057
AT ITER 4884 NEW BEST:: SOT 42977 SOS 24057 HAS SOPS 24057 HAS SOUS 19068 HAS SOUPS 19068 WITH SCORE 19092.057
AT ITER 4902 NEW BEST:: SOT 42959 SOS 24051 HAS SOPS 24051 HAS SOUS 19066 HAS SOUPS 19066 WITH SCORE 19090.051
AT ITER 4915 NEW BEST:: SOT 43076 SOS 24118 HAS SOPS 24118 HAS SOUS 19052 HAS SOUPS 19052 WITH SCORE 19076.118
AT ITER 4947 NEW BEST:: SOT 43062 SOS 24118 HAS SOPS 24118 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19062.118
AT ITER 4991 NEW BEST:: SOT 43030 SOS 24098 HAS SOPS 24098 HAS SOUS 19009 HAS SOUPS 19009 WITH SCORE 19033.098
AT ITER 4999 NEW BEST:: SOT 43029 SOS 24204 HAS SOPS 24204 HAS SOUS 19008 HAS SOUPS 19008 WITH SCORE 19032.204
AT ITER 5063 NEW BEST:: SOT 43020 SOS 24195 HAS SOPS 24195 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19023.195
AT ITER 5107 NEW BEST:: SOT 43009 SOS 24192 HAS SOPS 24192 HAS SOUS 18996 HAS SOUPS 18996 WITH SCORE 19020.192
AT ITER 5129 NEW BEST:: SOT 43007 SOS 24190 HAS SOPS 24190 HAS SOUS 18994 HAS SOUPS 18994 WITH SCORE 19018.19
AT ITER 5138 NEW BEST:: SOT 43014 SOS 24197 HAS SOPS 24197 HAS SOUS 18993 HAS SOUPS 18993 WITH SCORE 19017.197
AT ITER 5145 NEW BEST:: SOT 43014 SOS 24191 HAS SOPS 24191 HAS SOUS 18990 HAS SOUPS 18990 WITH SCORE 19014.191
AT ITER 5150 NEW BEST:: SOT 43006 SOS 24201 HAS SOPS 24201 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19006.201
AT ITER 5157 NEW BEST:: SOT 43006 SOS 24129 HAS SOPS 24129 HAS SOUS 18982 HAS SOUPS 18982 WITH SCORE 19006.129
AT ITER 5159 NEW BEST:: SOT 43002 SOS 24125 HAS SOPS 24125 HAS SOUS 18978 HAS SOUPS 18978 WITH SCORE 19002.125
AT ITER 5167 NEW BEST:: SOT 42914 SOS 24141 HAS SOPS 24141 HAS SOUS 18972 HAS SOUPS 18972 WITH SCORE 18996.141
AT ITER 5205 NEW BEST:: SOT 42895 SOS 24122 HAS SOPS 24122 HAS SOUS 18953 HAS SOUPS 18953 WITH SCORE 18977.122
AT ITER 5216 NEW BEST:: SOT 42895 SOS 24122 HAS SOPS 24122 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18976.122
AT ITER 5276 NEW BEST:: SOT 42895 SOS 24110 HAS SOPS 24110 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18976.11
AT ITER 5277 NEW BEST:: SOT 42895 SOS 24079 HAS SOPS 24079 HAS SOUS 18952 HAS SOUPS 18952 WITH SCORE 18976.079
AT ITER 5282 NEW BEST:: SOT 42878 SOS 24073 HAS SOPS 24073 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18970.073
AT ITER 5342 NEW BEST:: SOT 42878 SOS 24059 HAS SOPS 24059 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18970.059
AT ITER 5391 NEW BEST:: SOT 42878 SOS 24048 HAS SOPS 24048 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18970.048
AT ITER 5418 NEW BEST:: SOT 42878 SOS 24049 HAS SOPS 24049 HAS SOUS 18944 HAS SOUPS 18944 WITH SCORE 18968.049
AT ITER 5420 NEW BEST:: SOT 42874 SOS 24045 HAS SOPS 24045 HAS SOUS 18940 HAS SOUPS 18940 WITH SCORE 18964.045
AT ITER 5455 NEW BEST:: SOT 42854 SOS 24025 HAS SOPS 24025 HAS SOUS 18920 HAS SOUPS 18920 WITH SCORE 18944.025
AT ITER 5456 NEW BEST:: SOT 42854 SOS 24025 HAS SOPS 24025 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18937.025
AT ITER 5465 NEW BEST:: SOT 42854 SOS 24024 HAS SOPS 24024 HAS SOUS 18913 HAS SOUPS 18913 WITH SCORE 18937.024
AT ITER 5483 NEW BEST:: SOT 42812 SOS 23982 HAS SOPS 23982 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18894.982
AT ITER 5489 NEW BEST:: SOT 42828 SOS 23998 HAS SOPS 23998 HAS SOUS 18848 HAS SOUPS 18848 WITH SCORE 18871.998
AT ITER 5491 NEW BEST:: SOT 42811 SOS 23967 HAS SOPS 23967 HAS SOUS 18838 HAS SOUPS 18838 WITH SCORE 18861.967
AT ITER 5507 NEW BEST:: SOT 42805 SOS 23961 HAS SOPS 23961 HAS SOUS 18831 HAS SOUPS 18831 WITH SCORE 18854.961
AT ITER 5508 NEW BEST:: SOT 42805 SOS 23955 HAS SOPS 23955 HAS SOUS 18822 HAS SOUPS 18822 WITH SCORE 18845.955
AT ITER 5538 NEW BEST:: SOT 42801 SOS 23951 HAS SOPS 23951 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18808.951
AT ITER 5595 NEW BEST:: SOT 42799 SOS 23966 HAS SOPS 23966 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18804.966
AT ITER 5658 NEW BEST:: SOT 42757 SOS 23935 HAS SOPS 23935 HAS SOUS 18750 HAS SOUPS 18750 WITH SCORE 18773.935
AT ITER 5809 NEW BEST:: SOT 42751 SOS 23929 HAS SOPS 23929 HAS SOUS 18744 HAS SOUPS 18744 WITH SCORE 18767.929
AT ITER 5816 NEW BEST:: SOT 42749 SOS 23927 HAS SOPS 23927 HAS SOUS 18742 HAS SOUPS 18742 WITH SCORE 18765.927
AT ITER 5818 NEW BEST:: SOT 42717 SOS 23927 HAS SOPS 23927 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18745.927
AT ITER 5835 NEW BEST:: SOT 42717 SOS 23942 HAS SOPS 23942 HAS SOUS 18720 HAS SOUPS 18720 WITH SCORE 18743.942
AT ITER 5843 NEW BEST:: SOT 42717 SOS 23931 HAS SOPS 23931 HAS SOUS 18720 HAS SOUPS 18720 WITH SCORE 18743.931
AT ITER 5894 NEW BEST:: SOT 42717 SOS 23936 HAS SOPS 23936 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18741.936
AT ITER 5967 NEW BEST:: SOT 42717 SOS 23920 HAS SOPS 23920 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18741.92
AT ITER 5972 NEW BEST:: SOT 42687 SOS 23928 HAS SOPS 23928 HAS SOUS 18715 HAS SOUPS 18715 WITH SCORE 18738.928
AT ITER 5978 NEW BEST:: SOT 42619 SOS 23912 HAS SOPS 23912 HAS SOUS 18672 HAS SOUPS 18672 WITH SCORE 18695.912
AT ITER 5987 NEW BEST:: SOT 42612 SOS 23905 HAS SOPS 23905 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18688.905
AT ITER 6001 NEW BEST:: SOT 42596 SOS 23889 HAS SOPS 23889 HAS SOUS 18649 HAS SOUPS 18649 WITH SCORE 18672.889
AT ITER 6056 NEW BEST:: SOT 42594 SOS 23901 HAS SOPS 23901 HAS SOUS 18624 HAS SOUPS 18624 WITH SCORE 18647.901
AT ITER 6069 NEW BEST:: SOT 42618 SOS 23877 HAS SOPS 23877 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18644.877
AT ITER 6084 NEW BEST:: SOT 42586 SOS 24050 HAS SOPS 24050 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18630.05
AT ITER 6113 NEW BEST:: SOT 42585 SOS 24049 HAS SOPS 24049 HAS SOUS 18605 HAS SOUPS 18605 WITH SCORE 18629.049
AT ITER 6162 NEW BEST:: SOT 42586 SOS 24042 HAS SOPS 24042 HAS SOUS 18602 HAS SOUPS 18602 WITH SCORE 18626.042
AT ITER 6215 NEW BEST:: SOT 42567 SOS 24059 HAS SOPS 24059 HAS SOUS 18591 HAS SOUPS 18591 WITH SCORE 18615.059
AT ITER 6224 NEW BEST:: SOT 42594 SOS 24066 HAS SOPS 24066 HAS SOUS 18585 HAS SOUPS 18585 WITH SCORE 18609.066
AT ITER 6242 NEW BEST:: SOT 42594 SOS 24066 HAS SOPS 24066 HAS SOUS 18582 HAS SOUPS 18582 WITH SCORE 18606.066
AT ITER 6271 NEW BEST:: SOT 42579 SOS 24059 HAS SOPS 24059 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18599.059
AT ITER 6275 NEW BEST:: SOT 42578 SOS 24058 HAS SOPS 24058 HAS SOUS 18574 HAS SOUPS 18574 WITH SCORE 18598.058
AT ITER 6291 NEW BEST:: SOT 42571 SOS 24055 HAS SOPS 24055 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18595.055
AT ITER 6306 NEW BEST:: SOT 42571 SOS 24018 HAS SOPS 24018 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18595.018
AT ITER 6340 NEW BEST:: SOT 42571 SOS 24017 HAS SOPS 24017 HAS SOUS 18571 HAS SOUPS 18571 WITH SCORE 18595.017
AT ITER 6375 NEW BEST:: SOT 42560 SOS 24016 HAS SOPS 24016 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18591.016
AT ITER 6418 NEW BEST:: SOT 42550 SOS 24006 HAS SOPS 24006 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18579.006
AT ITER 6491 NEW BEST:: SOT 42547 SOS 24003 HAS SOPS 24003 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18576.003
AT ITER 6595 NEW BEST:: SOT 42540 SOS 24003 HAS SOPS 24003 HAS SOUS 18530 HAS SOUPS 18530 WITH SCORE 18554.003
AT ITER 6650 NEW BEST:: SOT 42536 SOS 23999 HAS SOPS 23999 HAS SOUS 18526 HAS SOUPS 18526 WITH SCORE 18549.999
AT ITER 6678 NEW BEST:: SOT 42513 SOS 23980 HAS SOPS 23980 HAS SOUS 18507 HAS SOUPS 18507 WITH SCORE 18530.98
AT ITER 6696 NEW BEST:: SOT 42509 SOS 23976 HAS SOPS 23976 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18526.976
AT ITER 6705 NEW BEST:: SOT 42509 SOS 23976 HAS SOPS 23976 HAS SOUS 18501 HAS SOUPS 18501 WITH SCORE 18524.976
AT ITER 6722 NEW BEST:: SOT 42509 SOS 24088 HAS SOPS 24088 HAS SOUS 18496 HAS SOUPS 18496 WITH SCORE 18520.088
AT ITER 6734 NEW BEST:: SOT 42507 SOS 24086 HAS SOPS 24086 HAS SOUS 18494 HAS SOUPS 18494 WITH SCORE 18518.086
AT ITER 6762 NEW BEST:: SOT 42497 SOS 24092 HAS SOPS 24092 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18509.092
AT ITER 6775 NEW BEST:: SOT 42493 SOS 24098 HAS SOPS 24098 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18505.098
AT ITER 6782 NEW BEST:: SOT 42472 SOS 24077 HAS SOPS 24077 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18491.077
AT ITER 6787 NEW BEST:: SOT 42403 SOS 24031 HAS SOPS 24031 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18458.031
AT ITER 6792 NEW BEST:: SOT 42402 SOS 24030 HAS SOPS 24030 HAS SOUS 18433 HAS SOUPS 18433 WITH SCORE 18457.03
AT ITER 6805 NEW BEST:: SOT 42402 SOS 24039 HAS SOPS 24039 HAS SOUS 18430 HAS SOUPS 18430 WITH SCORE 18454.039
AT ITER 6809 NEW BEST:: SOT 42368 SOS 24039 HAS SOPS 24039 HAS SOUS 18422 HAS SOUPS 18422 WITH SCORE 18446.039
AT ITER 6829 NEW BEST:: SOT 42355 SOS 24026 HAS SOPS 24026 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18433.026
AT ITER 6856 NEW BEST:: SOT 42355 SOS 24012 HAS SOPS 24012 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18433.012
AT ITER 6860 NEW BEST:: SOT 42355 SOS 24012 HAS SOPS 24012 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18432.012
AT ITER 6873 NEW BEST:: SOT 42355 SOS 24006 HAS SOPS 24006 HAS SOUS 18408 HAS SOUPS 18408 WITH SCORE 18432.006
AT ITER 6880 NEW BEST:: SOT 42332 SOS 23983 HAS SOPS 23983 HAS SOUS 18393 HAS SOUPS 18393 WITH SCORE 18416.983
AT ITER 6885 NEW BEST:: SOT 42309 SOS 23968 HAS SOPS 23968 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18401.968
AT ITER 6890 NEW BEST:: SOT 42290 SOS 23957 HAS SOPS 23957 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18380.957
AT ITER 6952 NEW BEST:: SOT 42287 SOS 23954 HAS SOPS 23954 HAS SOUS 18354 HAS SOUPS 18354 WITH SCORE 18377.954
AT ITER 6963 NEW BEST:: SOT 42240 SOS 23930 HAS SOPS 23930 HAS SOUS 18350 HAS SOUPS 18350 WITH SCORE 18373.93
AT ITER 6988 NEW BEST:: SOT 42233 SOS 23932 HAS SOPS 23932 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18366.932
AT ITER 7010 NEW BEST:: SOT 42152 SOS 23878 HAS SOPS 23878 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18348.878
AT ITER 7020 NEW BEST:: SOT 42152 SOS 23806 HAS SOPS 23806 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18348.806
AT ITER 7067 NEW BEST:: SOT 42150 SOS 23804 HAS SOPS 23804 HAS SOUS 18323 HAS SOUPS 18323 WITH SCORE 18346.804
AT ITER 7080 NEW BEST:: SOT 42151 SOS 23810 HAS SOPS 23810 HAS SOUS 18320 HAS SOUPS 18320 WITH SCORE 18343.81
AT ITER 7191 NEW BEST:: SOT 42143 SOS 23838 HAS SOPS 23838 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18341.838
AT ITER 7199 NEW BEST:: SOT 42143 SOS 23823 HAS SOPS 23823 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18341.823
AT ITER 7224 NEW BEST:: SOT 42143 SOS 23815 HAS SOPS 23815 HAS SOUS 18318 HAS SOUPS 18318 WITH SCORE 18341.815
AT ITER 7229 NEW BEST:: SOT 42144 SOS 23828 HAS SOPS 23828 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18339.828
AT ITER 7233 NEW BEST:: SOT 42144 SOS 23813 HAS SOPS 23813 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18334.813
AT ITER 7235 NEW BEST:: SOT 42144 SOS 23798 HAS SOPS 23798 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18334.798
AT ITER 7260 NEW BEST:: SOT 42144 SOS 23750 HAS SOPS 23750 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18334.75
AT ITER 7261 NEW BEST:: SOT 42144 SOS 23740 HAS SOPS 23740 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18334.74
AT ITER 7266 NEW BEST:: SOT 42144 SOS 23746 HAS SOPS 23746 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18328.746
AT ITER 7274 NEW BEST:: SOT 42144 SOS 23752 HAS SOPS 23752 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18323.752
AT ITER 7309 NEW BEST:: SOT 42144 SOS 23652 HAS SOPS 23652 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18323.652
AT ITER 7329 NEW BEST:: SOT 42140 SOS 23644 HAS SOPS 23644 HAS SOUS 18300 HAS SOUPS 18300 WITH SCORE 18323.644
AT ITER 7379 NEW BEST:: SOT 42113 SOS 23655 HAS SOPS 23655 HAS SOUS 18296 HAS SOUPS 18296 WITH SCORE 18319.655
AT ITER 7397 NEW BEST:: SOT 42118 SOS 23660 HAS SOPS 23660 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18318.66
AT ITER 7555 NEW BEST:: SOT 42117 SOS 23659 HAS SOPS 23659 HAS SOUS 18294 HAS SOUPS 18294 WITH SCORE 18317.659
AT ITER 7581 NEW BEST:: SOT 42117 SOS 23655 HAS SOPS 23655 HAS SOUS 18294 HAS SOUPS 18294 WITH SCORE 18317.655
AT ITER 7588 NEW BEST:: SOT 42135 SOS 23651 HAS SOPS 23651 HAS SOUS 18277 HAS SOUPS 18277 WITH SCORE 18300.651
AT ITER 7597 NEW BEST:: SOT 42133 SOS 23649 HAS SOPS 23649 HAS SOUS 18268 HAS SOUPS 18268 WITH SCORE 18291.649
AT ITER 7624 NEW BEST:: SOT 42133 SOS 23649 HAS SOPS 23649 HAS SOUS 18267 HAS SOUPS 18267 WITH SCORE 18290.649
AT ITER 7635 NEW BEST:: SOT 42133 SOS 23648 HAS SOPS 23648 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18289.648
AT ITER 7648 NEW BEST:: SOT 42131 SOS 23646 HAS SOPS 23646 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18287.646
AT ITER 7652 NEW BEST:: SOT 42107 SOS 23630 HAS SOPS 23630 HAS SOUS 18259 HAS SOUPS 18259 WITH SCORE 18282.63
AT ITER 7710 NEW BEST:: SOT 42140 SOS 23646 HAS SOPS 23646 HAS SOUS 18257 HAS SOUPS 18257 WITH SCORE 18280.646
AT ITER 7715 NEW BEST:: SOT 42140 SOS 23646 HAS SOPS 23646 HAS SOUS 18252 HAS SOUPS 18252 WITH SCORE 18275.646
AT ITER 7738 NEW BEST:: SOT 42135 SOS 23641 HAS SOPS 23641 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18270.641
AT ITER 7740 NEW BEST:: SOT 42135 SOS 23650 HAS SOPS 23650 HAS SOUS 18229 HAS SOUPS 18229 WITH SCORE 18252.65
AT ITER 7746 NEW BEST:: SOT 42072 SOS 23619 HAS SOPS 23619 HAS SOUS 18211 HAS SOUPS 18211 WITH SCORE 18234.619
AT ITER 7751 NEW BEST:: SOT 42049 SOS 23614 HAS SOPS 23614 HAS SOUS 18203 HAS SOUPS 18203 WITH SCORE 18226.614
AT ITER 7853 NEW BEST:: SOT 42007 SOS 23583 HAS SOPS 23583 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18203.583
AT ITER 7857 NEW BEST:: SOT 42007 SOS 23528 HAS SOPS 23528 HAS SOUS 18180 HAS SOUPS 18180 WITH SCORE 18203.528
AT ITER 7986 NEW BEST:: SOT 42006 SOS 23527 HAS SOPS 23527 HAS SOUS 18179 HAS SOUPS 18179 WITH SCORE 18202.527
AT ITER 8013 NEW BEST:: SOT 42001 SOS 23522 HAS SOPS 23522 HAS SOUS 18174 HAS SOUPS 18174 WITH SCORE 18197.522
AT ITER 8065 NEW BEST:: SOT 41998 SOS 23519 HAS SOPS 23519 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18194.519
AT ITER 8092 NEW BEST:: SOT 41998 SOS 23500 HAS SOPS 23500 HAS SOUS 18171 HAS SOUPS 18171 WITH SCORE 18194.5
AT ITER 8107 NEW BEST:: SOT 41997 SOS 23533 HAS SOPS 23533 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18193.533
AT ITER 8133 NEW BEST:: SOT 41997 SOS 23531 HAS SOPS 23531 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18193.531
AT ITER 8142 NEW BEST:: SOT 41993 SOS 23527 HAS SOPS 23527 HAS SOUS 18166 HAS SOUPS 18166 WITH SCORE 18189.527
AT ITER 8170 NEW BEST:: SOT 41990 SOS 23524 HAS SOPS 23524 HAS SOUS 18147 HAS SOUPS 18147 WITH SCORE 18170.524
AT ITER 8201 NEW BEST:: SOT 41989 SOS 23523 HAS SOPS 23523 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18168.523
AT ITER 8202 NEW BEST:: SOT 41967 SOS 23523 HAS SOPS 23523 HAS SOUS 18134 HAS SOUPS 18134 WITH SCORE 18157.523
AT ITER 8240 NEW BEST:: SOT 41894 SOS 23561 HAS SOPS 23561 HAS SOUS 18110 HAS SOUPS 18110 WITH SCORE 18133.561
AT ITER 8244 NEW BEST:: SOT 41886 SOS 23553 HAS SOPS 23553 HAS SOUS 18092 HAS SOUPS 18092 WITH SCORE 18115.553
AT ITER 8252 NEW BEST:: SOT 41880 SOS 23568 HAS SOPS 23568 HAS SOUS 18088 HAS SOUPS 18088 WITH SCORE 18111.568
AT ITER 8278 NEW BEST:: SOT 41870 SOS 23558 HAS SOPS 23558 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18101.558
AT ITER 8297 NEW BEST:: SOT 41868 SOS 23562 HAS SOPS 23562 HAS SOUS 18076 HAS SOUPS 18076 WITH SCORE 18099.562
AT ITER 8307 NEW BEST:: SOT 41863 SOS 23564 HAS SOPS 23564 HAS SOUS 18071 HAS SOUPS 18071 WITH SCORE 18094.564
AT ITER 8381 NEW BEST:: SOT 41858 SOS 23559 HAS SOPS 23559 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18089.559
AT ITER 8385 NEW BEST:: SOT 41858 SOS 23523 HAS SOPS 23523 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18089.523
AT ITER 8397 NEW BEST:: SOT 41858 SOS 23520 HAS SOPS 23520 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18089.52
AT ITER 8480 NEW BEST:: SOT 41854 SOS 23619 HAS SOPS 23619 HAS SOUS 18062 HAS SOUPS 18062 WITH SCORE 18085.619
AT ITER 8485 NEW BEST:: SOT 41854 SOS 23617 HAS SOPS 23617 HAS SOUS 18059 HAS SOUPS 18059 WITH SCORE 18082.617
AT ITER 8563 NEW BEST:: SOT 41859 SOS 23622 HAS SOPS 23622 HAS SOUS 18032 HAS SOUPS 18032 WITH SCORE 18055.622
AT ITER 8644 NEW BEST:: SOT 41857 SOS 23620 HAS SOPS 23620 HAS SOUS 18030 HAS SOUPS 18030 WITH SCORE 18053.62
AT ITER 8727 NEW BEST:: SOT 41841 SOS 23604 HAS SOPS 23604 HAS SOUS 18014 HAS SOUPS 18014 WITH SCORE 18037.604
AT ITER 8773 NEW BEST:: SOT 41840 SOS 23603 HAS SOPS 23603 HAS SOUS 18013 HAS SOUPS 18013 WITH SCORE 18036.603
AT ITER 8817 NEW BEST:: SOT 41839 SOS 23602 HAS SOPS 23602 HAS SOUS 18012 HAS SOUPS 18012 WITH SCORE 18035.602
AT ITER 8826 NEW BEST:: SOT 41839 SOS 23570 HAS SOPS 23570 HAS SOUS 18012 HAS SOUPS 18012 WITH SCORE 18035.57
AT ITER 8852 NEW BEST:: SOT 41839 SOS 23598 HAS SOPS 23598 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18027.598
AT ITER 8864 NEW BEST:: SOT 41818 SOS 23603 HAS SOPS 23603 HAS SOUS 17990 HAS SOUPS 17990 WITH SCORE 18013.603
AT ITER 8878 NEW BEST:: SOT 41809 SOS 23594 HAS SOPS 23594 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18004.594
AT ITER 8893 NEW BEST:: SOT 41804 SOS 23589 HAS SOPS 23589 HAS SOUS 17979 HAS SOUPS 17979 WITH SCORE 18002.589
AT ITER 8948 NEW BEST:: SOT 41799 SOS 23584 HAS SOPS 23584 HAS SOUS 17974 HAS SOUPS 17974 WITH SCORE 17997.584
AT ITER 8964 NEW BEST:: SOT 41793 SOS 23582 HAS SOPS 23582 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17991.582
AT ITER 8974 NEW BEST:: SOT 41785 SOS 23574 HAS SOPS 23574 HAS SOUS 17960 HAS SOUPS 17960 WITH SCORE 17983.574
AT ITER 8988 NEW BEST:: SOT 41785 SOS 23574 HAS SOPS 23574 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17974.574
AT ITER 8992 NEW BEST:: SOT 41773 SOS 23566 HAS SOPS 23566 HAS SOUS 17950 HAS SOUPS 17950 WITH SCORE 17973.566
AT ITER 9014 NEW BEST:: SOT 41771 SOS 23564 HAS SOPS 23564 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17971.564
AT ITER 9044 NEW BEST:: SOT 41769 SOS 23562 HAS SOPS 23562 HAS SOUS 17946 HAS SOUPS 17946 WITH SCORE 17969.562
AT ITER 9069 NEW BEST:: SOT 41769 SOS 23566 HAS SOPS 23566 HAS SOUS 17942 HAS SOUPS 17942 WITH SCORE 17965.566
AT ITER 9077 NEW BEST:: SOT 41697 SOS 23518 HAS SOPS 23518 HAS SOUS 17934 HAS SOUPS 17934 WITH SCORE 17957.518
AT ITER 9084 NEW BEST:: SOT 41697 SOS 23518 HAS SOPS 23518 HAS SOUS 17922 HAS SOUPS 17922 WITH SCORE 17945.518
AT ITER 9090 NEW BEST:: SOT 41689 SOS 23537 HAS SOPS 23537 HAS SOUS 17914 HAS SOUPS 17914 WITH SCORE 17937.537
AT ITER 9106 NEW BEST:: SOT 41696 SOS 23536 HAS SOPS 23536 HAS SOUS 17913 HAS SOUPS 17913 WITH SCORE 17936.536
AT ITER 9110 NEW BEST:: SOT 41686 SOS 23506 HAS SOPS 23506 HAS SOUS 17893 HAS SOUPS 17893 WITH SCORE 17916.506
AT ITER 9160 NEW BEST:: SOT 41684 SOS 23504 HAS SOPS 23504 HAS SOUS 17891 HAS SOUPS 17891 WITH SCORE 17914.504
AT ITER 9162 NEW BEST:: SOT 41683 SOS 23509 HAS SOPS 23509 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17913.509
AT ITER 9209 NEW BEST:: SOT 41664 SOS 23490 HAS SOPS 23490 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17897.49
AT ITER 9249 NEW BEST:: SOT 41664 SOS 23490 HAS SOPS 23490 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17869.49
AT ITER 9271 NEW BEST:: SOT 41642 SOS 23513 HAS SOPS 23513 HAS SOUS 17782 HAS SOUPS 17782 WITH SCORE 17805.513
AT ITER 9343 NEW BEST:: SOT 41642 SOS 23506 HAS SOPS 23506 HAS SOUS 17782 HAS SOUPS 17782 WITH SCORE 17805.506
AT ITER 9353 NEW BEST:: SOT 41648 SOS 23508 HAS SOPS 23508 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17804.508
AT ITER 9368 NEW BEST:: SOT 41645 SOS 23506 HAS SOPS 23506 HAS SOUS 17778 HAS SOUPS 17778 WITH SCORE 17801.506
AT ITER 9458 NEW BEST:: SOT 41634 SOS 23495 HAS SOPS 23495 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17790.495
AT ITER 9492 NEW BEST:: SOT 41629 SOS 23490 HAS SOPS 23490 HAS SOUS 17762 HAS SOUPS 17762 WITH SCORE 17785.49
AT ITER 9501 NEW BEST:: SOT 41615 SOS 23490 HAS SOPS 23490 HAS SOUS 17752 HAS SOUPS 17752 WITH SCORE 17775.49
AT ITER 9534 NEW BEST:: SOT 41610 SOS 23485 HAS SOPS 23485 HAS SOUS 17747 HAS SOUPS 17747 WITH SCORE 17770.485
AT ITER 9538 NEW BEST:: SOT 41608 SOS 23483 HAS SOPS 23483 HAS SOUS 17745 HAS SOUPS 17745 WITH SCORE 17768.483
AT ITER 9554 NEW BEST:: SOT 41607 SOS 23480 HAS SOPS 23480 HAS SOUS 17740 HAS SOUPS 17740 WITH SCORE 17763.48
AT ITER 9604 NEW BEST:: SOT 41607 SOS 23468 HAS SOPS 23468 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17756.468
AT ITER 9678 NEW BEST:: SOT 41565 SOS 23457 HAS SOPS 23457 HAS SOUS 17708 HAS SOUPS 17708 WITH SCORE 17731.457
AT ITER 9691 NEW BEST:: SOT 41565 SOS 23457 HAS SOPS 23457 HAS SOUS 17705 HAS SOUPS 17705 WITH SCORE 17728.457
AT ITER 9699 NEW BEST:: SOT 41568 SOS 23451 HAS SOPS 23451 HAS SOUS 17704 HAS SOUPS 17704 WITH SCORE 17727.451
AT ITER 9716 NEW BEST:: SOT 41568 SOS 23451 HAS SOPS 23451 HAS SOUS 17690 HAS SOUPS 17690 WITH SCORE 17713.451
AT ITER 9772 NEW BEST:: SOT 41566 SOS 23449 HAS SOPS 23449 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17711.449
AT ITER 9916 NEW BEST:: SOT 41558 SOS 23436 HAS SOPS 23436 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17703.436
AT ITER 9919 NEW BEST:: SOT 41553 SOS 23407 HAS SOPS 23407 HAS SOUS 17676 HAS SOUPS 17676 WITH SCORE 17699.407
AT ITER 9932 NEW BEST:: SOT 41568 SOS 23407 HAS SOPS 23407 HAS SOUS 17671 HAS SOUPS 17671 WITH SCORE 17694.407
AT ITER 9940 NEW BEST:: SOT 41540 SOS 23388 HAS SOPS 23388 HAS SOUS 17652 HAS SOUPS 17652 WITH SCORE 17675.388
AT ITER 9969 NEW BEST:: SOT 41540 SOS 23301 HAS SOPS 23301 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17674.301
AT ITER 9991 NEW BEST:: SOT 41539 SOS 23300 HAS SOPS 23300 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17673.3
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 7437140 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120236 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="Sudoku-COL-AN06"
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 Sudoku-COL-AN06, 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 r491-tall-167912709900048"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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