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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 8.6K Feb 26 14:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 82K Feb 26 14:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.0K Feb 26 14:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 14:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 14:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 14:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 14:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 14:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 29K 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 1679307525357

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=UtilityControlRoom-COL-Z4T3N06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:18:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:18:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:18:47] [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-20 10:18:47] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:18:48] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 537 ms
[2023-03-20 10:18:48] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 228 PT places and 450.0 transition bindings in 14 ms.
[2023-03-20 10:18:48] [INFO ] Unfolded HLPN to a Petri net with 228 places and 450 transitions 1446 arcs in 25 ms.
[2023-03-20 10:18:48] [INFO ] Unfolded 0 HLPN properties in 1 ms.
[2023-03-20 10:18:48] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 228 places, 450 transitions and 1446 arcs took 7 ms.
Total runtime 682 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), instance Z4T3N06
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: 228 places, 450 transitions, 1446 arcs.
AT ITER 0 NEW BEST:: SOT 83974 SOS 67221 HAS SOPS 67221 HAS SOUS 38439 HAS SOUPS 38439 WITH SCORE 38506.221
AT ITER 5 NEW BEST:: SOT 82815 SOS 65930 HAS SOPS 65930 HAS SOUS 37142 HAS SOUPS 37142 WITH SCORE 37207.93
AT ITER 10 NEW BEST:: SOT 82773 SOS 64869 HAS SOPS 64869 HAS SOUS 37141 HAS SOUPS 37141 WITH SCORE 37205.869
AT ITER 11 NEW BEST:: SOT 82609 SOS 64511 HAS SOPS 64511 HAS SOUS 36862 HAS SOUPS 36862 WITH SCORE 36926.511
AT ITER 12 NEW BEST:: SOT 82577 SOS 64479 HAS SOPS 64479 HAS SOUS 36822 HAS SOUPS 36822 WITH SCORE 36886.479
AT ITER 13 NEW BEST:: SOT 82555 SOS 64465 HAS SOPS 64465 HAS SOUS 36708 HAS SOUPS 36708 WITH SCORE 36772.465
AT ITER 14 NEW BEST:: SOT 82558 SOS 64355 HAS SOPS 64355 HAS SOUS 36682 HAS SOUPS 36682 WITH SCORE 36746.355
AT ITER 18 NEW BEST:: SOT 82558 SOS 64355 HAS SOPS 64355 HAS SOUS 36670 HAS SOUPS 36670 WITH SCORE 36734.355
AT ITER 19 NEW BEST:: SOT 82535 SOS 64193 HAS SOPS 64193 HAS SOUS 36443 HAS SOUPS 36443 WITH SCORE 36507.193
AT ITER 20 NEW BEST:: SOT 82512 SOS 64055 HAS SOPS 64055 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36438.055
AT ITER 22 NEW BEST:: SOT 82493 SOS 63960 HAS SOPS 63960 HAS SOUS 36317 HAS SOUPS 36317 WITH SCORE 36380.96
AT ITER 23 NEW BEST:: SOT 82130 SOS 63681 HAS SOPS 63681 HAS SOUS 35654 HAS SOUPS 35654 WITH SCORE 35717.681
AT ITER 25 NEW BEST:: SOT 82106 SOS 63592 HAS SOPS 63592 HAS SOUS 35614 HAS SOUPS 35614 WITH SCORE 35677.592
AT ITER 28 NEW BEST:: SOT 81750 SOS 63286 HAS SOPS 63286 HAS SOUS 34978 HAS SOUPS 34978 WITH SCORE 35041.286
AT ITER 29 NEW BEST:: SOT 81594 SOS 62963 HAS SOPS 62963 HAS SOUS 34548 HAS SOUPS 34548 WITH SCORE 34610.963
AT ITER 30 NEW BEST:: SOT 81720 SOS 62990 HAS SOPS 62990 HAS SOUS 34473 HAS SOUPS 34473 WITH SCORE 34535.99
AT ITER 32 NEW BEST:: SOT 81720 SOS 62896 HAS SOPS 62896 HAS SOUS 34336 HAS SOUPS 34336 WITH SCORE 34398.896
AT ITER 38 NEW BEST:: SOT 81636 SOS 62728 HAS SOPS 62728 HAS SOUS 34252 HAS SOUPS 34252 WITH SCORE 34314.728
AT ITER 40 NEW BEST:: SOT 81698 SOS 62496 HAS SOPS 62496 HAS SOUS 34205 HAS SOUPS 34205 WITH SCORE 34267.496
AT ITER 41 NEW BEST:: SOT 81534 SOS 62231 HAS SOPS 62231 HAS SOUS 33995 HAS SOUPS 33995 WITH SCORE 34057.231
AT ITER 45 NEW BEST:: SOT 81534 SOS 62231 HAS SOPS 62231 HAS SOUS 33987 HAS SOUPS 33987 WITH SCORE 34049.231
AT ITER 46 NEW BEST:: SOT 81514 SOS 62217 HAS SOPS 62217 HAS SOUS 33906 HAS SOUPS 33906 WITH SCORE 33968.217
AT ITER 47 NEW BEST:: SOT 81514 SOS 62217 HAS SOPS 62217 HAS SOUS 33824 HAS SOUPS 33824 WITH SCORE 33886.217
AT ITER 48 NEW BEST:: SOT 81510 SOS 60533 HAS SOPS 60533 HAS SOUS 32709 HAS SOUPS 32709 WITH SCORE 32769.533
AT ITER 51 NEW BEST:: SOT 81480 SOS 60473 HAS SOPS 60473 HAS SOUS 32656 HAS SOUPS 32656 WITH SCORE 32716.473
AT ITER 52 NEW BEST:: SOT 81450 SOS 60141 HAS SOPS 60141 HAS SOUS 32080 HAS SOUPS 32080 WITH SCORE 32140.141
AT ITER 54 NEW BEST:: SOT 81390 SOS 60165 HAS SOPS 60165 HAS SOUS 32026 HAS SOUPS 32026 WITH SCORE 32086.165
AT ITER 58 NEW BEST:: SOT 81356 SOS 60105 HAS SOPS 60105 HAS SOUS 32010 HAS SOUPS 32010 WITH SCORE 32070.105
AT ITER 61 NEW BEST:: SOT 81332 SOS 60049 HAS SOPS 60049 HAS SOUS 31930 HAS SOUPS 31930 WITH SCORE 31990.049
AT ITER 63 NEW BEST:: SOT 81332 SOS 60049 HAS SOPS 60049 HAS SOUS 31929 HAS SOUPS 31929 WITH SCORE 31989.049
AT ITER 64 NEW BEST:: SOT 81332 SOS 60049 HAS SOPS 60049 HAS SOUS 31923 HAS SOUPS 31923 WITH SCORE 31983.049
AT ITER 67 NEW BEST:: SOT 81308 SOS 60001 HAS SOPS 60001 HAS SOUS 31898 HAS SOUPS 31898 WITH SCORE 31958.001
AT ITER 69 NEW BEST:: SOT 81260 SOS 59917 HAS SOPS 59917 HAS SOUS 31613 HAS SOUPS 31613 WITH SCORE 31672.917
AT ITER 75 NEW BEST:: SOT 81236 SOS 59734 HAS SOPS 59734 HAS SOUS 31442 HAS SOUPS 31442 WITH SCORE 31501.734
AT ITER 76 NEW BEST:: SOT 81208 SOS 59916 HAS SOPS 59916 HAS SOUS 31438 HAS SOUPS 31438 WITH SCORE 31497.916
AT ITER 79 NEW BEST:: SOT 81152 SOS 59849 HAS SOPS 59849 HAS SOUS 31064 HAS SOUPS 31064 WITH SCORE 31123.849
AT ITER 80 NEW BEST:: SOT 81152 SOS 59849 HAS SOPS 59849 HAS SOUS 31062 HAS SOUPS 31062 WITH SCORE 31121.849
AT ITER 81 NEW BEST:: SOT 81152 SOS 59814 HAS SOPS 59814 HAS SOUS 31027 HAS SOUPS 31027 WITH SCORE 31086.814
AT ITER 82 NEW BEST:: SOT 81169 SOS 59640 HAS SOPS 59640 HAS SOUS 30930 HAS SOUPS 30930 WITH SCORE 30989.64
AT ITER 85 NEW BEST:: SOT 81177 SOS 59210 HAS SOPS 59210 HAS SOUS 30906 HAS SOUPS 30906 WITH SCORE 30965.21
AT ITER 88 NEW BEST:: SOT 67008 SOS 47489 HAS SOPS 47489 HAS SOUS 22926 HAS SOUPS 22926 WITH SCORE 22973.489
AT ITER 90 NEW BEST:: SOT 66917 SOS 47201 HAS SOPS 47201 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22882.201
AT ITER 91 NEW BEST:: SOT 66896 SOS 47195 HAS SOPS 47195 HAS SOUS 22750 HAS SOUPS 22750 WITH SCORE 22797.195
AT ITER 101 NEW BEST:: SOT 66866 SOS 47150 HAS SOPS 47150 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22767.15
AT ITER 102 NEW BEST:: SOT 66866 SOS 47150 HAS SOPS 47150 HAS SOUS 22716 HAS SOUPS 22716 WITH SCORE 22763.15
AT ITER 106 NEW BEST:: SOT 66866 SOS 47166 HAS SOPS 47166 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22760.166
AT ITER 115 NEW BEST:: SOT 66873 SOS 46909 HAS SOPS 46909 HAS SOUS 22571 HAS SOUPS 22571 WITH SCORE 22617.909
AT ITER 116 NEW BEST:: SOT 66905 SOS 46939 HAS SOPS 46939 HAS SOUS 22545 HAS SOUPS 22545 WITH SCORE 22591.939
AT ITER 118 NEW BEST:: SOT 66891 SOS 46950 HAS SOPS 46950 HAS SOUS 22531 HAS SOUPS 22531 WITH SCORE 22577.95
AT ITER 119 NEW BEST:: SOT 67302 SOS 47321 HAS SOPS 47321 HAS SOUS 22324 HAS SOUPS 22324 WITH SCORE 22371.321
AT ITER 124 NEW BEST:: SOT 67320 SOS 47339 HAS SOPS 47339 HAS SOUS 22316 HAS SOUPS 22316 WITH SCORE 22363.339
AT ITER 129 NEW BEST:: SOT 67320 SOS 47339 HAS SOPS 47339 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22344.339
AT ITER 133 NEW BEST:: SOT 67328 SOS 47351 HAS SOPS 47351 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22314.351
AT ITER 136 NEW BEST:: SOT 67294 SOS 47283 HAS SOPS 47283 HAS SOUS 22199 HAS SOUPS 22199 WITH SCORE 22246.283
AT ITER 139 NEW BEST:: SOT 67159 SOS 47116 HAS SOPS 47116 HAS SOUS 21961 HAS SOUPS 21961 WITH SCORE 22008.116
AT ITER 142 NEW BEST:: SOT 67217 SOS 47172 HAS SOPS 47172 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21945.172
AT ITER 143 NEW BEST:: SOT 67191 SOS 47120 HAS SOPS 47120 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21945.12
AT ITER 144 NEW BEST:: SOT 67191 SOS 47127 HAS SOPS 47127 HAS SOUS 21891 HAS SOUPS 21891 WITH SCORE 21938.127
AT ITER 146 NEW BEST:: SOT 67170 SOS 46146 HAS SOPS 46146 HAS SOUS 21806 HAS SOUPS 21806 WITH SCORE 21852.146
AT ITER 147 NEW BEST:: SOT 67069 SOS 46045 HAS SOPS 46045 HAS SOUS 21781 HAS SOUPS 21781 WITH SCORE 21827.045
AT ITER 148 NEW BEST:: SOT 67077 SOS 46053 HAS SOPS 46053 HAS SOUS 21739 HAS SOUPS 21739 WITH SCORE 21785.053
AT ITER 151 NEW BEST:: SOT 67072 SOS 46053 HAS SOPS 46053 HAS SOUS 21734 HAS SOUPS 21734 WITH SCORE 21780.053
AT ITER 157 NEW BEST:: SOT 66965 SOS 45854 HAS SOPS 45854 HAS SOUS 21340 HAS SOUPS 21340 WITH SCORE 21385.854
AT ITER 158 NEW BEST:: SOT 66913 SOS 45680 HAS SOPS 45680 HAS SOUS 20968 HAS SOUPS 20968 WITH SCORE 21013.68
AT ITER 159 NEW BEST:: SOT 66913 SOS 45680 HAS SOPS 45680 HAS SOUS 20937 HAS SOUPS 20937 WITH SCORE 20982.68
AT ITER 162 NEW BEST:: SOT 66919 SOS 45592 HAS SOPS 45592 HAS SOUS 20795 HAS SOUPS 20795 WITH SCORE 20840.592
AT ITER 167 NEW BEST:: SOT 67890 SOS 46444 HAS SOPS 46444 HAS SOUS 20643 HAS SOUPS 20643 WITH SCORE 20689.444
AT ITER 175 NEW BEST:: SOT 67844 SOS 46153 HAS SOPS 46153 HAS SOUS 20548 HAS SOUPS 20548 WITH SCORE 20594.153
AT ITER 177 NEW BEST:: SOT 67843 SOS 45966 HAS SOPS 45966 HAS SOUS 20547 HAS SOUPS 20547 WITH SCORE 20592.966
AT ITER 180 NEW BEST:: SOT 67805 SOS 46043 HAS SOPS 46043 HAS SOUS 20475 HAS SOUPS 20475 WITH SCORE 20521.043
AT ITER 182 NEW BEST:: SOT 67760 SOS 45952 HAS SOPS 45952 HAS SOUS 20378 HAS SOUPS 20378 WITH SCORE 20423.952
AT ITER 183 NEW BEST:: SOT 67733 SOS 45906 HAS SOPS 45906 HAS SOUS 20327 HAS SOUPS 20327 WITH SCORE 20372.906
AT ITER 185 NEW BEST:: SOT 67706 SOS 45774 HAS SOPS 45774 HAS SOUS 20246 HAS SOUPS 20246 WITH SCORE 20291.774
AT ITER 190 NEW BEST:: SOT 67542 SOS 45796 HAS SOPS 45796 HAS SOUS 20189 HAS SOUPS 20189 WITH SCORE 20234.796
AT ITER 195 NEW BEST:: SOT 67172 SOS 45426 HAS SOPS 45426 HAS SOUS 20041 HAS SOUPS 20041 WITH SCORE 20086.426
AT ITER 206 NEW BEST:: SOT 67114 SOS 45368 HAS SOPS 45368 HAS SOUS 19967 HAS SOUPS 19967 WITH SCORE 20012.368
AT ITER 208 NEW BEST:: SOT 67114 SOS 45188 HAS SOPS 45188 HAS SOUS 19963 HAS SOUPS 19963 WITH SCORE 20008.188
AT ITER 211 NEW BEST:: SOT 67020 SOS 44767 HAS SOPS 44767 HAS SOUS 19738 HAS SOUPS 19738 WITH SCORE 19782.767
AT ITER 217 NEW BEST:: SOT 67020 SOS 44748 HAS SOPS 44748 HAS SOUS 19737 HAS SOUPS 19737 WITH SCORE 19781.748
AT ITER 218 NEW BEST:: SOT 66968 SOS 44683 HAS SOPS 44683 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19746.683
AT ITER 220 NEW BEST:: SOT 66968 SOS 44739 HAS SOPS 44739 HAS SOUS 19701 HAS SOUPS 19701 WITH SCORE 19745.739
AT ITER 226 NEW BEST:: SOT 66925 SOS 44671 HAS SOPS 44671 HAS SOUS 19598 HAS SOUPS 19598 WITH SCORE 19642.671
AT ITER 229 NEW BEST:: SOT 66890 SOS 44576 HAS SOPS 44576 HAS SOUS 19549 HAS SOUPS 19549 WITH SCORE 19593.576
AT ITER 231 NEW BEST:: SOT 66593 SOS 44279 HAS SOPS 44279 HAS SOUS 19377 HAS SOUPS 19377 WITH SCORE 19421.279
AT ITER 239 NEW BEST:: SOT 66463 SOS 44042 HAS SOPS 44042 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19226.042
AT ITER 241 NEW BEST:: SOT 66473 SOS 44004 HAS SOPS 44004 HAS SOUS 19156 HAS SOUPS 19156 WITH SCORE 19200.004
AT ITER 244 NEW BEST:: SOT 66487 SOS 44018 HAS SOPS 44018 HAS SOUS 19152 HAS SOUPS 19152 WITH SCORE 19196.018
AT ITER 248 NEW BEST:: SOT 66468 SOS 43996 HAS SOPS 43996 HAS SOUS 18894 HAS SOUPS 18894 WITH SCORE 18937.996
AT ITER 250 NEW BEST:: SOT 65623 SOS 42967 HAS SOPS 42967 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18390.967
AT ITER 256 NEW BEST:: SOT 65623 SOS 42965 HAS SOPS 42965 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18390.965
AT ITER 259 NEW BEST:: SOT 65508 SOS 42619 HAS SOPS 42619 HAS SOUS 18233 HAS SOUPS 18233 WITH SCORE 18275.619
AT ITER 260 NEW BEST:: SOT 65448 SOS 42506 HAS SOPS 42506 HAS SOUS 18078 HAS SOUPS 18078 WITH SCORE 18120.506
AT ITER 267 NEW BEST:: SOT 65391 SOS 42572 HAS SOPS 42572 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18042.572
AT ITER 270 NEW BEST:: SOT 65327 SOS 42636 HAS SOPS 42636 HAS SOUS 17980 HAS SOUPS 17980 WITH SCORE 18022.636
AT ITER 273 NEW BEST:: SOT 65245 SOS 42544 HAS SOPS 42544 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17940.544
AT ITER 275 NEW BEST:: SOT 65133 SOS 42278 HAS SOPS 42278 HAS SOUS 17825 HAS SOUPS 17825 WITH SCORE 17867.278
AT ITER 279 NEW BEST:: SOT 65069 SOS 41977 HAS SOPS 41977 HAS SOUS 17802 HAS SOUPS 17802 WITH SCORE 17843.977
AT ITER 289 NEW BEST:: SOT 65069 SOS 41978 HAS SOPS 41978 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17842.978
AT ITER 294 NEW BEST:: SOT 65049 SOS 41958 HAS SOPS 41958 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17822.958
AT ITER 296 NEW BEST:: SOT 65039 SOS 41948 HAS SOPS 41948 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17812.948
AT ITER 297 NEW BEST:: SOT 65023 SOS 41932 HAS SOPS 41932 HAS SOUS 17763 HAS SOUPS 17763 WITH SCORE 17804.932
AT ITER 305 NEW BEST:: SOT 64881 SOS 41797 HAS SOPS 41797 HAS SOUS 17535 HAS SOUPS 17535 WITH SCORE 17576.797
AT ITER 309 NEW BEST:: SOT 64874 SOS 41698 HAS SOPS 41698 HAS SOUS 17482 HAS SOUPS 17482 WITH SCORE 17523.698
AT ITER 312 NEW BEST:: SOT 64827 SOS 41635 HAS SOPS 41635 HAS SOUS 17383 HAS SOUPS 17383 WITH SCORE 17424.635
AT ITER 317 NEW BEST:: SOT 64868 SOS 41676 HAS SOPS 41676 HAS SOUS 17047 HAS SOUPS 17047 WITH SCORE 17088.676
AT ITER 319 NEW BEST:: SOT 65005 SOS 41823 HAS SOPS 41823 HAS SOUS 17012 HAS SOUPS 17012 WITH SCORE 17053.823
AT ITER 321 NEW BEST:: SOT 65006 SOS 41827 HAS SOPS 41827 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17033.827
AT ITER 325 NEW BEST:: SOT 65006 SOS 41768 HAS SOPS 41768 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17033.768
AT ITER 327 NEW BEST:: SOT 64944 SOS 41706 HAS SOPS 41706 HAS SOUS 16930 HAS SOUPS 16930 WITH SCORE 16971.706
AT ITER 329 NEW BEST:: SOT 64871 SOS 41978 HAS SOPS 41978 HAS SOUS 16864 HAS SOUPS 16864 WITH SCORE 16905.978
AT ITER 334 NEW BEST:: SOT 64852 SOS 41933 HAS SOPS 41933 HAS SOUS 16858 HAS SOUPS 16858 WITH SCORE 16899.933
AT ITER 337 NEW BEST:: SOT 64834 SOS 41915 HAS SOPS 41915 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16857.915
AT ITER 345 NEW BEST:: SOT 64834 SOS 41975 HAS SOPS 41975 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16856.975
AT ITER 349 NEW BEST:: SOT 64834 SOS 41970 HAS SOPS 41970 HAS SOUS 16815 HAS SOUPS 16815 WITH SCORE 16856.97
AT ITER 360 NEW BEST:: SOT 64860 SOS 41996 HAS SOPS 41996 HAS SOUS 16803 HAS SOUPS 16803 WITH SCORE 16844.996
AT ITER 373 NEW BEST:: SOT 64805 SOS 41918 HAS SOPS 41918 HAS SOUS 16761 HAS SOUPS 16761 WITH SCORE 16802.918
AT ITER 377 NEW BEST:: SOT 64740 SOS 41853 HAS SOPS 41853 HAS SOUS 16592 HAS SOUPS 16592 WITH SCORE 16633.853
AT ITER 379 NEW BEST:: SOT 64715 SOS 41812 HAS SOPS 41812 HAS SOUS 16544 HAS SOUPS 16544 WITH SCORE 16585.812
AT ITER 382 NEW BEST:: SOT 64836 SOS 41980 HAS SOPS 41980 HAS SOUS 16488 HAS SOUPS 16488 WITH SCORE 16529.98
AT ITER 384 NEW BEST:: SOT 64765 SOS 41909 HAS SOPS 41909 HAS SOUS 16417 HAS SOUPS 16417 WITH SCORE 16458.909
AT ITER 389 NEW BEST:: SOT 64646 SOS 41790 HAS SOPS 41790 HAS SOUS 16379 HAS SOUPS 16379 WITH SCORE 16420.79
AT ITER 392 NEW BEST:: SOT 64575 SOS 41443 HAS SOPS 41443 HAS SOUS 16237 HAS SOUPS 16237 WITH SCORE 16278.443
AT ITER 394 NEW BEST:: SOT 64853 SOS 40691 HAS SOPS 40691 HAS SOUS 16224 HAS SOUPS 16224 WITH SCORE 16264.691
AT ITER 400 NEW BEST:: SOT 64789 SOS 40651 HAS SOPS 40651 HAS SOUS 16183 HAS SOUPS 16183 WITH SCORE 16223.651
AT ITER 406 NEW BEST:: SOT 64746 SOS 40528 HAS SOPS 40528 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16209.528
AT ITER 408 NEW BEST:: SOT 64746 SOS 40528 HAS SOPS 40528 HAS SOUS 16141 HAS SOUPS 16141 WITH SCORE 16181.528
AT ITER 416 NEW BEST:: SOT 64736 SOS 40509 HAS SOPS 40509 HAS SOUS 16131 HAS SOUPS 16131 WITH SCORE 16171.509
AT ITER 431 NEW BEST:: SOT 64699 SOS 40496 HAS SOPS 40496 HAS SOUS 16098 HAS SOUPS 16098 WITH SCORE 16138.496
AT ITER 452 NEW BEST:: SOT 64724 SOS 40521 HAS SOPS 40521 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16132.521
AT ITER 459 NEW BEST:: SOT 64698 SOS 39878 HAS SOPS 39878 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15988.878
AT ITER 460 NEW BEST:: SOT 64580 SOS 39760 HAS SOPS 39760 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15870.76
AT ITER 461 NEW BEST:: SOT 64568 SOS 39806 HAS SOPS 39806 HAS SOUS 15749 HAS SOUPS 15749 WITH SCORE 15788.806
AT ITER 462 NEW BEST:: SOT 64580 SOS 40238 HAS SOPS 40238 HAS SOUS 15675 HAS SOUPS 15675 WITH SCORE 15715.238
AT ITER 468 NEW BEST:: SOT 64570 SOS 40290 HAS SOPS 40290 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15710.29
AT ITER 478 NEW BEST:: SOT 64561 SOS 40281 HAS SOPS 40281 HAS SOUS 15487 HAS SOUPS 15487 WITH SCORE 15527.281
AT ITER 479 NEW BEST:: SOT 64556 SOS 40241 HAS SOPS 40241 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15522.241
AT ITER 484 NEW BEST:: SOT 64556 SOS 40238 HAS SOPS 40238 HAS SOUS 15480 HAS SOUPS 15480 WITH SCORE 15520.238
AT ITER 498 NEW BEST:: SOT 64566 SOS 40248 HAS SOPS 40248 HAS SOUS 15439 HAS SOUPS 15439 WITH SCORE 15479.248
AT ITER 504 NEW BEST:: SOT 64633 SOS 40524 HAS SOPS 40524 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15464.524
AT ITER 505 NEW BEST:: SOT 64600 SOS 40368 HAS SOPS 40368 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15339.368
AT ITER 506 NEW BEST:: SOT 64555 SOS 40296 HAS SOPS 40296 HAS SOUS 15240 HAS SOUPS 15240 WITH SCORE 15280.296
AT ITER 507 NEW BEST:: SOT 64544 SOS 40260 HAS SOPS 40260 HAS SOUS 15186 HAS SOUPS 15186 WITH SCORE 15226.26
AT ITER 512 NEW BEST:: SOT 64541 SOS 40258 HAS SOPS 40258 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15223.258
AT ITER 513 NEW BEST:: SOT 64540 SOS 40257 HAS SOPS 40257 HAS SOUS 15145 HAS SOUPS 15145 WITH SCORE 15185.257
AT ITER 537 NEW BEST:: SOT 64522 SOS 40356 HAS SOPS 40356 HAS SOUS 15082 HAS SOUPS 15082 WITH SCORE 15122.356
AT ITER 539 NEW BEST:: SOT 64520 SOS 40353 HAS SOPS 40353 HAS SOUS 15079 HAS SOUPS 15079 WITH SCORE 15119.353
AT ITER 541 NEW BEST:: SOT 64474 SOS 40303 HAS SOPS 40303 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15093.303
AT ITER 543 NEW BEST:: SOT 64473 SOS 40305 HAS SOPS 40305 HAS SOUS 15048 HAS SOUPS 15048 WITH SCORE 15088.305
AT ITER 544 NEW BEST:: SOT 64473 SOS 40305 HAS SOPS 40305 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 15014.305
AT ITER 548 NEW BEST:: SOT 64470 SOS 40295 HAS SOPS 40295 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14988.295
AT ITER 549 NEW BEST:: SOT 64470 SOS 40295 HAS SOPS 40295 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14976.295
AT ITER 550 NEW BEST:: SOT 64456 SOS 40257 HAS SOPS 40257 HAS SOUS 14905 HAS SOUPS 14905 WITH SCORE 14945.257
AT ITER 553 NEW BEST:: SOT 64409 SOS 40189 HAS SOPS 40189 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14898.189
AT ITER 557 NEW BEST:: SOT 64370 SOS 40150 HAS SOPS 40150 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14892.15
AT ITER 558 NEW BEST:: SOT 64467 SOS 40247 HAS SOPS 40247 HAS SOUS 14841 HAS SOUPS 14841 WITH SCORE 14881.247
AT ITER 564 NEW BEST:: SOT 64412 SOS 40175 HAS SOPS 40175 HAS SOUS 14733 HAS SOUPS 14733 WITH SCORE 14773.175
AT ITER 570 NEW BEST:: SOT 64364 SOS 39948 HAS SOPS 39948 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14711.948
AT ITER 571 NEW BEST:: SOT 64335 SOS 39890 HAS SOPS 39890 HAS SOUS 14630 HAS SOUPS 14630 WITH SCORE 14669.89
AT ITER 583 NEW BEST:: SOT 64713 SOS 33775 HAS SOPS 33775 HAS SOUS 14625 HAS SOUPS 14625 WITH SCORE 14658.775
AT ITER 592 NEW BEST:: SOT 64714 SOS 33673 HAS SOPS 33673 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14632.673
AT ITER 598 NEW BEST:: SOT 64570 SOS 33150 HAS SOPS 33150 HAS SOUS 14462 HAS SOUPS 14462 WITH SCORE 14495.15
AT ITER 599 NEW BEST:: SOT 64567 SOS 33166 HAS SOPS 33166 HAS SOUS 14459 HAS SOUPS 14459 WITH SCORE 14492.166
AT ITER 602 NEW BEST:: SOT 64566 SOS 33214 HAS SOPS 33214 HAS SOUS 14456 HAS SOUPS 14456 WITH SCORE 14489.214
AT ITER 603 NEW BEST:: SOT 64526 SOS 33174 HAS SOPS 33174 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14353.174
AT ITER 608 NEW BEST:: SOT 64508 SOS 33142 HAS SOPS 33142 HAS SOUS 14225 HAS SOUPS 14225 WITH SCORE 14258.142
AT ITER 609 NEW BEST:: SOT 64508 SOS 33142 HAS SOPS 33142 HAS SOUS 14196 HAS SOUPS 14196 WITH SCORE 14229.142
AT ITER 616 NEW BEST:: SOT 64508 SOS 33142 HAS SOPS 33142 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14220.142
AT ITER 626 NEW BEST:: SOT 64369 SOS 32740 HAS SOPS 32740 HAS SOUS 14007 HAS SOUPS 14007 WITH SCORE 14039.74
AT ITER 630 NEW BEST:: SOT 64381 SOS 32752 HAS SOPS 32752 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 14015.752
AT ITER 633 NEW BEST:: SOT 64341 SOS 32712 HAS SOPS 32712 HAS SOUS 13943 HAS SOUPS 13943 WITH SCORE 13975.712
AT ITER 640 NEW BEST:: SOT 64259 SOS 32596 HAS SOPS 32596 HAS SOUS 13940 HAS SOUPS 13940 WITH SCORE 13972.596
AT ITER 666 NEW BEST:: SOT 64272 SOS 32548 HAS SOPS 32548 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13970.548
AT ITER 682 NEW BEST:: SOT 64254 SOS 32592 HAS SOPS 32592 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13957.592
AT ITER 684 NEW BEST:: SOT 64232 SOS 32570 HAS SOPS 32570 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13924.57
AT ITER 687 NEW BEST:: SOT 64180 SOS 32518 HAS SOPS 32518 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13889.518
AT ITER 692 NEW BEST:: SOT 64176 SOS 32812 HAS SOPS 32812 HAS SOUS 13853 HAS SOUPS 13853 WITH SCORE 13885.812
AT ITER 709 NEW BEST:: SOT 64104 SOS 32716 HAS SOPS 32716 HAS SOUS 13781 HAS SOUPS 13781 WITH SCORE 13813.716
AT ITER 717 NEW BEST:: SOT 64076 SOS 32688 HAS SOPS 32688 HAS SOUS 13740 HAS SOUPS 13740 WITH SCORE 13772.688
AT ITER 725 NEW BEST:: SOT 64073 SOS 32689 HAS SOPS 32689 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13769.689
AT ITER 730 NEW BEST:: SOT 64070 SOS 32685 HAS SOPS 32685 HAS SOUS 13734 HAS SOUPS 13734 WITH SCORE 13766.685
AT ITER 736 NEW BEST:: SOT 64057 SOS 32602 HAS SOPS 32602 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13735.602
AT ITER 747 NEW BEST:: SOT 64047 SOS 32451 HAS SOPS 32451 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13716.451
AT ITER 750 NEW BEST:: SOT 64050 SOS 32439 HAS SOPS 32439 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13703.439
AT ITER 760 NEW BEST:: SOT 64030 SOS 32413 HAS SOPS 32413 HAS SOUS 13564 HAS SOUPS 13564 WITH SCORE 13596.413
AT ITER 765 NEW BEST:: SOT 63983 SOS 32473 HAS SOPS 32473 HAS SOUS 13471 HAS SOUPS 13471 WITH SCORE 13503.473
AT ITER 781 NEW BEST:: SOT 64022 SOS 32066 HAS SOPS 32066 HAS SOUS 13432 HAS SOUPS 13432 WITH SCORE 13464.066
AT ITER 787 NEW BEST:: SOT 63997 SOS 32020 HAS SOPS 32020 HAS SOUS 13426 HAS SOUPS 13426 WITH SCORE 13458.02
AT ITER 811 NEW BEST:: SOT 63991 SOS 32018 HAS SOPS 32018 HAS SOUS 13420 HAS SOUPS 13420 WITH SCORE 13452.018
AT ITER 813 NEW BEST:: SOT 63981 SOS 31965 HAS SOPS 31965 HAS SOUS 13417 HAS SOUPS 13417 WITH SCORE 13448.965
AT ITER 844 NEW BEST:: SOT 63937 SOS 31792 HAS SOPS 31792 HAS SOUS 13352 HAS SOUPS 13352 WITH SCORE 13383.792
AT ITER 855 NEW BEST:: SOT 63972 SOS 31448 HAS SOPS 31448 HAS SOUS 13297 HAS SOUPS 13297 WITH SCORE 13328.448
AT ITER 857 NEW BEST:: SOT 63934 SOS 31338 HAS SOPS 31338 HAS SOUS 13207 HAS SOUPS 13207 WITH SCORE 13238.338
AT ITER 860 NEW BEST:: SOT 63934 SOS 31338 HAS SOPS 31338 HAS SOUS 13203 HAS SOUPS 13203 WITH SCORE 13234.338
AT ITER 864 NEW BEST:: SOT 63951 SOS 31355 HAS SOPS 31355 HAS SOUS 13182 HAS SOUPS 13182 WITH SCORE 13213.355
AT ITER 879 NEW BEST:: SOT 63965 SOS 31367 HAS SOPS 31367 HAS SOUS 13150 HAS SOUPS 13150 WITH SCORE 13181.367
AT ITER 890 NEW BEST:: SOT 63971 SOS 31331 HAS SOPS 31331 HAS SOUS 13132 HAS SOUPS 13132 WITH SCORE 13163.331
AT ITER 892 NEW BEST:: SOT 63955 SOS 31299 HAS SOPS 31299 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13147.299
AT ITER 894 NEW BEST:: SOT 63955 SOS 31299 HAS SOPS 31299 HAS SOUS 13111 HAS SOUPS 13111 WITH SCORE 13142.299
AT ITER 920 NEW BEST:: SOT 63954 SOS 31260 HAS SOPS 31260 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13130.26
AT ITER 938 NEW BEST:: SOT 63938 SOS 31248 HAS SOPS 31248 HAS SOUS 13097 HAS SOUPS 13097 WITH SCORE 13128.248
AT ITER 939 NEW BEST:: SOT 63919 SOS 31210 HAS SOPS 31210 HAS SOUS 13086 HAS SOUPS 13086 WITH SCORE 13117.21
AT ITER 960 NEW BEST:: SOT 63919 SOS 31210 HAS SOPS 31210 HAS SOUS 13085 HAS SOUPS 13085 WITH SCORE 13116.21
AT ITER 962 NEW BEST:: SOT 63864 SOS 31136 HAS SOPS 31136 HAS SOUS 13076 HAS SOUPS 13076 WITH SCORE 13107.136
AT ITER 968 NEW BEST:: SOT 63874 SOS 31146 HAS SOPS 31146 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13097.146
AT ITER 978 NEW BEST:: SOT 63915 SOS 31108 HAS SOPS 31108 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 13003.108
AT ITER 989 NEW BEST:: SOT 63890 SOS 31080 HAS SOPS 31080 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12932.08
AT ITER 990 NEW BEST:: SOT 63890 SOS 31074 HAS SOPS 31074 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12932.074
AT ITER 1013 NEW BEST:: SOT 63890 SOS 31074 HAS SOPS 31074 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12919.074
AT ITER 1019 NEW BEST:: SOT 63890 SOS 31074 HAS SOPS 31074 HAS SOUS 12860 HAS SOUPS 12860 WITH SCORE 12891.074
AT ITER 1024 NEW BEST:: SOT 63873 SOS 30943 HAS SOPS 30943 HAS SOUS 12843 HAS SOUPS 12843 WITH SCORE 12873.943
AT ITER 1025 NEW BEST:: SOT 63861 SOS 30919 HAS SOPS 30919 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12863.919
AT ITER 1030 NEW BEST:: SOT 63861 SOS 30919 HAS SOPS 30919 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12839.919
AT ITER 1038 NEW BEST:: SOT 63844 SOS 30902 HAS SOPS 30902 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12741.902
AT ITER 1043 NEW BEST:: SOT 63815 SOS 30810 HAS SOPS 30810 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12712.81
AT ITER 1048 NEW BEST:: SOT 63801 SOS 30841 HAS SOPS 30841 HAS SOUS 12668 HAS SOUPS 12668 WITH SCORE 12698.841
AT ITER 1051 NEW BEST:: SOT 63779 SOS 30819 HAS SOPS 30819 HAS SOUS 12622 HAS SOUPS 12622 WITH SCORE 12652.819
AT ITER 1053 NEW BEST:: SOT 63888 SOS 30600 HAS SOPS 30600 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12532.6
AT ITER 1057 NEW BEST:: SOT 63852 SOS 30578 HAS SOPS 30578 HAS SOUS 12466 HAS SOUPS 12466 WITH SCORE 12496.578
AT ITER 1065 NEW BEST:: SOT 63870 SOS 30605 HAS SOPS 30605 HAS SOUS 12457 HAS SOUPS 12457 WITH SCORE 12487.605
AT ITER 1080 NEW BEST:: SOT 63934 SOS 30773 HAS SOPS 30773 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12473.773
AT ITER 1101 NEW BEST:: SOT 63926 SOS 30765 HAS SOPS 30765 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12465.765
AT ITER 1110 NEW BEST:: SOT 63926 SOS 30745 HAS SOPS 30745 HAS SOUS 12427 HAS SOUPS 12427 WITH SCORE 12457.745
AT ITER 1111 NEW BEST:: SOT 63910 SOS 30729 HAS SOPS 30729 HAS SOUS 12411 HAS SOUPS 12411 WITH SCORE 12441.729
AT ITER 1114 NEW BEST:: SOT 64015 SOS 30834 HAS SOPS 30834 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12427.834
AT ITER 1115 NEW BEST:: SOT 63983 SOS 30796 HAS SOPS 30796 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12357.796
AT ITER 1124 NEW BEST:: SOT 63958 SOS 30843 HAS SOPS 30843 HAS SOUS 12304 HAS SOUPS 12304 WITH SCORE 12334.843
AT ITER 1139 NEW BEST:: SOT 63943 SOS 30893 HAS SOPS 30893 HAS SOUS 12300 HAS SOUPS 12300 WITH SCORE 12330.893
AT ITER 1140 NEW BEST:: SOT 63903 SOS 30853 HAS SOPS 30853 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12310.853
AT ITER 1154 NEW BEST:: SOT 63874 SOS 31061 HAS SOPS 31061 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12307.061
AT ITER 1160 NEW BEST:: SOT 63872 SOS 31059 HAS SOPS 31059 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12305.059
AT ITER 1166 NEW BEST:: SOT 63872 SOS 31057 HAS SOPS 31057 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12305.057
AT ITER 1170 NEW BEST:: SOT 63864 SOS 31100 HAS SOPS 31100 HAS SOUS 12259 HAS SOUPS 12259 WITH SCORE 12290.1
AT ITER 1171 NEW BEST:: SOT 63858 SOS 31058 HAS SOPS 31058 HAS SOUS 12258 HAS SOUPS 12258 WITH SCORE 12289.058
AT ITER 1219 NEW BEST:: SOT 63948 SOS 31148 HAS SOPS 31148 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12233.148
AT ITER 1226 NEW BEST:: SOT 63902 SOS 31076 HAS SOPS 31076 HAS SOUS 12178 HAS SOUPS 12178 WITH SCORE 12209.076
AT ITER 1229 NEW BEST:: SOT 63913 SOS 31065 HAS SOPS 31065 HAS SOUS 12167 HAS SOUPS 12167 WITH SCORE 12198.065
AT ITER 1233 NEW BEST:: SOT 63856 SOS 31132 HAS SOPS 31132 HAS SOUS 12126 HAS SOUPS 12126 WITH SCORE 12157.132
AT ITER 1242 NEW BEST:: SOT 63852 SOS 31122 HAS SOPS 31122 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12153.122
AT ITER 1249 NEW BEST:: SOT 63851 SOS 31121 HAS SOPS 31121 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12153.121
AT ITER 1251 NEW BEST:: SOT 63822 SOS 31103 HAS SOPS 31103 HAS SOUS 12094 HAS SOUPS 12094 WITH SCORE 12125.103
AT ITER 1253 NEW BEST:: SOT 63822 SOS 31103 HAS SOPS 31103 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12108.103
AT ITER 1261 NEW BEST:: SOT 63814 SOS 31087 HAS SOPS 31087 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12100.087
AT ITER 1274 NEW BEST:: SOT 63862 SOS 31165 HAS SOPS 31165 HAS SOUS 12048 HAS SOUPS 12048 WITH SCORE 12079.165
AT ITER 1280 NEW BEST:: SOT 63878 SOS 31323 HAS SOPS 31323 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12078.323
AT ITER 1292 NEW BEST:: SOT 63875 SOS 31279 HAS SOPS 31279 HAS SOUS 11984 HAS SOUPS 11984 WITH SCORE 12015.279
AT ITER 1293 NEW BEST:: SOT 63875 SOS 31279 HAS SOPS 31279 HAS SOUS 11971 HAS SOUPS 11971 WITH SCORE 12002.279
AT ITER 1295 NEW BEST:: SOT 63862 SOS 31257 HAS SOPS 31257 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11940.257
AT ITER 1299 NEW BEST:: SOT 63862 SOS 31261 HAS SOPS 31261 HAS SOUS 11905 HAS SOUPS 11905 WITH SCORE 11936.261
AT ITER 1301 NEW BEST:: SOT 63857 SOS 31256 HAS SOPS 31256 HAS SOUS 11893 HAS SOUPS 11893 WITH SCORE 11924.256
AT ITER 1319 NEW BEST:: SOT 63860 SOS 31231 HAS SOPS 31231 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11914.231
AT ITER 1321 NEW BEST:: SOT 63931 SOS 31185 HAS SOPS 31185 HAS SOUS 11869 HAS SOUPS 11869 WITH SCORE 11900.185
AT ITER 1341 NEW BEST:: SOT 63931 SOS 31185 HAS SOPS 31185 HAS SOUS 11865 HAS SOUPS 11865 WITH SCORE 11896.185
AT ITER 1374 NEW BEST:: SOT 63908 SOS 31086 HAS SOPS 31086 HAS SOUS 11817 HAS SOUPS 11817 WITH SCORE 11848.086
AT ITER 1383 NEW BEST:: SOT 63992 SOS 31104 HAS SOPS 31104 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11810.104
AT ITER 1413 NEW BEST:: SOT 63981 SOS 31062 HAS SOPS 31062 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11791.062
AT ITER 1439 NEW BEST:: SOT 63962 SOS 31024 HAS SOPS 31024 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11750.024
AT ITER 1468 NEW BEST:: SOT 63962 SOS 31024 HAS SOPS 31024 HAS SOUS 11701 HAS SOUPS 11701 WITH SCORE 11732.024
AT ITER 1492 NEW BEST:: SOT 63962 SOS 31022 HAS SOPS 31022 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11731.022
AT ITER 1494 NEW BEST:: SOT 63876 SOS 30672 HAS SOPS 30672 HAS SOUS 11625 HAS SOUPS 11625 WITH SCORE 11655.672
AT ITER 1498 NEW BEST:: SOT 63876 SOS 30640 HAS SOPS 30640 HAS SOUS 11593 HAS SOUPS 11593 WITH SCORE 11623.64
AT ITER 1504 NEW BEST:: SOT 63613 SOS 36065 HAS SOPS 36065 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11599.065
AT ITER 1521 NEW BEST:: SOT 63613 SOS 36128 HAS SOPS 36128 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11597.128
AT ITER 1531 NEW BEST:: SOT 63613 SOS 36124 HAS SOPS 36124 HAS SOUS 11561 HAS SOUPS 11561 WITH SCORE 11597.124
AT ITER 1541 NEW BEST:: SOT 63615 SOS 36356 HAS SOPS 36356 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11593.356
AT ITER 1550 NEW BEST:: SOT 63587 SOS 36328 HAS SOPS 36328 HAS SOUS 11537 HAS SOUPS 11537 WITH SCORE 11573.328
AT ITER 1578 NEW BEST:: SOT 63578 SOS 36286 HAS SOPS 36286 HAS SOUS 11528 HAS SOUPS 11528 WITH SCORE 11564.286
AT ITER 1591 NEW BEST:: SOT 63546 SOS 36230 HAS SOPS 36230 HAS SOUS 11470 HAS SOUPS 11470 WITH SCORE 11506.23
AT ITER 1612 NEW BEST:: SOT 63536 SOS 36225 HAS SOPS 36225 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11501.225
AT ITER 1637 NEW BEST:: SOT 63531 SOS 36215 HAS SOPS 36215 HAS SOUS 11460 HAS SOUPS 11460 WITH SCORE 11496.215
AT ITER 1642 NEW BEST:: SOT 63513 SOS 36224 HAS SOPS 36224 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11478.224
AT ITER 1653 NEW BEST:: SOT 63680 SOS 36391 HAS SOPS 36391 HAS SOUS 11402 HAS SOUPS 11402 WITH SCORE 11438.391
AT ITER 1654 NEW BEST:: SOT 63665 SOS 36451 HAS SOPS 36451 HAS SOUS 11387 HAS SOUPS 11387 WITH SCORE 11423.451
AT ITER 1682 NEW BEST:: SOT 63660 SOS 36465 HAS SOPS 36465 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11418.465
AT ITER 1684 NEW BEST:: SOT 63650 SOS 36419 HAS SOPS 36419 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11406.419
AT ITER 1694 NEW BEST:: SOT 63619 SOS 36383 HAS SOPS 36383 HAS SOUS 11316 HAS SOUPS 11316 WITH SCORE 11352.383
AT ITER 1712 NEW BEST:: SOT 63606 SOS 36377 HAS SOPS 36377 HAS SOUS 11303 HAS SOUPS 11303 WITH SCORE 11339.377
AT ITER 1727 NEW BEST:: SOT 63647 SOS 36351 HAS SOPS 36351 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11327.351
AT ITER 1729 NEW BEST:: SOT 63647 SOS 36261 HAS SOPS 36261 HAS SOUS 11224 HAS SOUPS 11224 WITH SCORE 11260.261
AT ITER 1739 NEW BEST:: SOT 63714 SOS 32047 HAS SOPS 32047 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11181.047
AT ITER 1748 NEW BEST:: SOT 63713 SOS 32041 HAS SOPS 32041 HAS SOUS 11146 HAS SOUPS 11146 WITH SCORE 11178.041
AT ITER 1750 NEW BEST:: SOT 63699 SOS 32119 HAS SOPS 32119 HAS SOUS 11130 HAS SOUPS 11130 WITH SCORE 11162.119
AT ITER 1752 NEW BEST:: SOT 63681 SOS 32085 HAS SOPS 32085 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11152.085
AT ITER 1799 NEW BEST:: SOT 63681 SOS 32085 HAS SOPS 32085 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11149.085
AT ITER 1814 NEW BEST:: SOT 63654 SOS 32158 HAS SOPS 32158 HAS SOUS 11090 HAS SOUPS 11090 WITH SCORE 11122.158
AT ITER 1815 NEW BEST:: SOT 63648 SOS 32162 HAS SOPS 32162 HAS SOUS 11074 HAS SOUPS 11074 WITH SCORE 11106.162
AT ITER 1832 NEW BEST:: SOT 63657 SOS 31994 HAS SOPS 31994 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11077.994
AT ITER 1845 NEW BEST:: SOT 63636 SOS 31973 HAS SOPS 31973 HAS SOUS 11034 HAS SOUPS 11034 WITH SCORE 11065.973
AT ITER 1874 NEW BEST:: SOT 63630 SOS 31967 HAS SOPS 31967 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11059.967
AT ITER 1891 NEW BEST:: SOT 63623 SOS 31953 HAS SOPS 31953 HAS SOUS 11011 HAS SOUPS 11011 WITH SCORE 11042.953
AT ITER 1895 NEW BEST:: SOT 63573 SOS 31905 HAS SOPS 31905 HAS SOUS 10977 HAS SOUPS 10977 WITH SCORE 11008.905
AT ITER 1896 NEW BEST:: SOT 63550 SOS 31909 HAS SOPS 31909 HAS SOUS 10958 HAS SOUPS 10958 WITH SCORE 10989.909
AT ITER 1926 NEW BEST:: SOT 63548 SOS 31907 HAS SOPS 31907 HAS SOUS 10956 HAS SOUPS 10956 WITH SCORE 10987.907
AT ITER 1930 NEW BEST:: SOT 63556 SOS 31907 HAS SOPS 31907 HAS SOUS 10951 HAS SOUPS 10951 WITH SCORE 10982.907
AT ITER 1952 NEW BEST:: SOT 63518 SOS 31866 HAS SOPS 31866 HAS SOUS 10931 HAS SOUPS 10931 WITH SCORE 10962.866
AT ITER 1953 NEW BEST:: SOT 63518 SOS 31866 HAS SOPS 31866 HAS SOUS 10926 HAS SOUPS 10926 WITH SCORE 10957.866
AT ITER 1969 NEW BEST:: SOT 63501 SOS 31866 HAS SOPS 31866 HAS SOUS 10909 HAS SOUPS 10909 WITH SCORE 10940.866
AT ITER 1973 NEW BEST:: SOT 63496 SOS 31861 HAS SOPS 31861 HAS SOUS 10809 HAS SOUPS 10809 WITH SCORE 10840.861
AT ITER 2004 NEW BEST:: SOT 63478 SOS 31807 HAS SOPS 31807 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10822.807
AT ITER 2006 NEW BEST:: SOT 63477 SOS 31410 HAS SOPS 31410 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10803.41
AT ITER 2012 NEW BEST:: SOT 63481 SOS 31406 HAS SOPS 31406 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10803.406
AT ITER 2025 NEW BEST:: SOT 63479 SOS 31402 HAS SOPS 31402 HAS SOUS 10770 HAS SOUPS 10770 WITH SCORE 10801.402
AT ITER 2032 NEW BEST:: SOT 63491 SOS 31378 HAS SOPS 31378 HAS SOUS 10758 HAS SOUPS 10758 WITH SCORE 10789.378
AT ITER 2086 NEW BEST:: SOT 63479 SOS 31380 HAS SOPS 31380 HAS SOUS 10746 HAS SOUPS 10746 WITH SCORE 10777.38
AT ITER 2096 NEW BEST:: SOT 63477 SOS 31378 HAS SOPS 31378 HAS SOUS 10734 HAS SOUPS 10734 WITH SCORE 10765.378
AT ITER 2117 NEW BEST:: SOT 63437 SOS 31338 HAS SOPS 31338 HAS SOUS 10706 HAS SOUPS 10706 WITH SCORE 10737.338
AT ITER 2119 NEW BEST:: SOT 63334 SOS 31224 HAS SOPS 31224 HAS SOUS 10651 HAS SOUPS 10651 WITH SCORE 10682.224
AT ITER 2133 NEW BEST:: SOT 63326 SOS 31216 HAS SOPS 31216 HAS SOUS 10643 HAS SOUPS 10643 WITH SCORE 10674.216
AT ITER 2137 NEW BEST:: SOT 63326 SOS 31212 HAS SOPS 31212 HAS SOUS 10642 HAS SOUPS 10642 WITH SCORE 10673.212
AT ITER 2165 NEW BEST:: SOT 63311 SOS 31197 HAS SOPS 31197 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10663.197
AT ITER 2166 NEW BEST:: SOT 63345 SOS 31217 HAS SOPS 31217 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10656.217
AT ITER 2169 NEW BEST:: SOT 63317 SOS 31189 HAS SOPS 31189 HAS SOUS 10584 HAS SOUPS 10584 WITH SCORE 10615.189
AT ITER 2181 NEW BEST:: SOT 63320 SOS 31189 HAS SOPS 31189 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10612.189
AT ITER 2210 NEW BEST:: SOT 63320 SOS 31155 HAS SOPS 31155 HAS SOUS 10581 HAS SOUPS 10581 WITH SCORE 10612.155
AT ITER 2220 NEW BEST:: SOT 63320 SOS 30949 HAS SOPS 30949 HAS SOUS 10543 HAS SOUPS 10543 WITH SCORE 10573.949
AT ITER 2231 NEW BEST:: SOT 63190 SOS 30819 HAS SOPS 30819 HAS SOUS 10479 HAS SOUPS 10479 WITH SCORE 10509.819
AT ITER 2232 NEW BEST:: SOT 63174 SOS 30799 HAS SOPS 30799 HAS SOUS 10475 HAS SOUPS 10475 WITH SCORE 10505.799
AT ITER 2242 NEW BEST:: SOT 63120 SOS 30637 HAS SOPS 30637 HAS SOUS 10394 HAS SOUPS 10394 WITH SCORE 10424.637
AT ITER 2246 NEW BEST:: SOT 63109 SOS 30566 HAS SOPS 30566 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10401.566
AT ITER 2275 NEW BEST:: SOT 63110 SOS 30567 HAS SOPS 30567 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10399.567
AT ITER 2279 NEW BEST:: SOT 63114 SOS 30563 HAS SOPS 30563 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10385.563
AT ITER 2280 NEW BEST:: SOT 63094 SOS 30540 HAS SOPS 30540 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10375.54
AT ITER 2285 NEW BEST:: SOT 63094 SOS 30522 HAS SOPS 30522 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10375.522
AT ITER 2320 NEW BEST:: SOT 63094 SOS 30462 HAS SOPS 30462 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10375.462
AT ITER 2338 NEW BEST:: SOT 63078 SOS 30441 HAS SOPS 30441 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10354.441
AT ITER 2342 NEW BEST:: SOT 63058 SOS 30421 HAS SOPS 30421 HAS SOUS 10312 HAS SOUPS 10312 WITH SCORE 10342.421
AT ITER 2363 NEW BEST:: SOT 63058 SOS 30389 HAS SOPS 30389 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10337.389
AT ITER 2368 NEW BEST:: SOT 63024 SOS 30355 HAS SOPS 30355 HAS SOUS 10256 HAS SOUPS 10256 WITH SCORE 10286.355
AT ITER 2375 NEW BEST:: SOT 62986 SOS 30305 HAS SOPS 30305 HAS SOUS 10211 HAS SOUPS 10211 WITH SCORE 10241.305
AT ITER 2414 NEW BEST:: SOT 62960 SOS 30353 HAS SOPS 30353 HAS SOUS 10177 HAS SOUPS 10177 WITH SCORE 10207.353
AT ITER 2422 NEW BEST:: SOT 62953 SOS 30342 HAS SOPS 30342 HAS SOUS 10173 HAS SOUPS 10173 WITH SCORE 10203.342
AT ITER 2468 NEW BEST:: SOT 62938 SOS 30292 HAS SOPS 30292 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10188.292
AT ITER 2472 NEW BEST:: SOT 62938 SOS 30278 HAS SOPS 30278 HAS SOUS 10116 HAS SOUPS 10116 WITH SCORE 10146.278
AT ITER 2478 NEW BEST:: SOT 62943 SOS 30290 HAS SOPS 30290 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10142.29
AT ITER 2507 NEW BEST:: SOT 62917 SOS 30198 HAS SOPS 30198 HAS SOUS 10066 HAS SOUPS 10066 WITH SCORE 10096.198
AT ITER 2510 NEW BEST:: SOT 62914 SOS 30198 HAS SOPS 30198 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10093.198
AT ITER 2517 NEW BEST:: SOT 62914 SOS 30189 HAS SOPS 30189 HAS SOUS 10062 HAS SOUPS 10062 WITH SCORE 10092.189
AT ITER 2524 NEW BEST:: SOT 62904 SOS 30179 HAS SOPS 30179 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10066.179
AT ITER 2577 NEW BEST:: SOT 62903 SOS 30178 HAS SOPS 30178 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10033.178
AT ITER 2578 NEW BEST:: SOT 62903 SOS 30164 HAS SOPS 30164 HAS SOUS 9991 HAS SOUPS 9991 WITH SCORE 10021.164
AT ITER 2609 NEW BEST:: SOT 62796 SOS 30081 HAS SOPS 30081 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9993.081
AT ITER 2622 NEW BEST:: SOT 62795 SOS 30097 HAS SOPS 30097 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9988.097
AT ITER 2626 NEW BEST:: SOT 62778 SOS 30097 HAS SOPS 30097 HAS SOUS 9941 HAS SOUPS 9941 WITH SCORE 9971.097
AT ITER 2627 NEW BEST:: SOT 62783 SOS 30100 HAS SOPS 30100 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9966.1
AT ITER 2628 NEW BEST:: SOT 62783 SOS 30100 HAS SOPS 30100 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9964.1
AT ITER 2661 NEW BEST:: SOT 62783 SOS 30100 HAS SOPS 30100 HAS SOUS 9933 HAS SOUPS 9933 WITH SCORE 9963.1
AT ITER 2678 NEW BEST:: SOT 62789 SOS 30106 HAS SOPS 30106 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9942.106
AT ITER 2690 NEW BEST:: SOT 62780 SOS 30088 HAS SOPS 30088 HAS SOUS 9903 HAS SOUPS 9903 WITH SCORE 9933.088
AT ITER 2700 NEW BEST:: SOT 62770 SOS 30074 HAS SOPS 30074 HAS SOUS 9883 HAS SOUPS 9883 WITH SCORE 9913.074
AT ITER 2703 NEW BEST:: SOT 62756 SOS 29935 HAS SOPS 29935 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9911.935
AT ITER 2704 NEW BEST:: SOT 62722 SOS 29906 HAS SOPS 29906 HAS SOUS 9855 HAS SOUPS 9855 WITH SCORE 9884.906
AT ITER 2713 NEW BEST:: SOT 62706 SOS 29858 HAS SOPS 29858 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9862.858
AT ITER 2736 NEW BEST:: SOT 62702 SOS 29850 HAS SOPS 29850 HAS SOUS 9829 HAS SOUPS 9829 WITH SCORE 9858.85
AT ITER 2740 NEW BEST:: SOT 62682 SOS 29830 HAS SOPS 29830 HAS SOUS 9821 HAS SOUPS 9821 WITH SCORE 9850.83
AT ITER 2752 NEW BEST:: SOT 62591 SOS 29532 HAS SOPS 29532 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9808.532
AT ITER 2756 NEW BEST:: SOT 62561 SOS 29390 HAS SOPS 29390 HAS SOUS 9758 HAS SOUPS 9758 WITH SCORE 9787.39
AT ITER 2759 NEW BEST:: SOT 62561 SOS 29180 HAS SOPS 29180 HAS SOUS 9758 HAS SOUPS 9758 WITH SCORE 9787.18
AT ITER 2766 NEW BEST:: SOT 62519 SOS 28958 HAS SOPS 28958 HAS SOUS 9724 HAS SOUPS 9724 WITH SCORE 9752.958
AT ITER 2804 NEW BEST:: SOT 62517 SOS 28956 HAS SOPS 28956 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9750.956
AT ITER 2815 NEW BEST:: SOT 62516 SOS 28954 HAS SOPS 28954 HAS SOUS 9721 HAS SOUPS 9721 WITH SCORE 9749.954
AT ITER 2824 NEW BEST:: SOT 62508 SOS 28946 HAS SOPS 28946 HAS SOUS 9706 HAS SOUPS 9706 WITH SCORE 9734.946
AT ITER 2873 NEW BEST:: SOT 62511 SOS 28956 HAS SOPS 28956 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9732.956
AT ITER 2907 NEW BEST:: SOT 62509 SOS 28589 HAS SOPS 28589 HAS SOUS 9697 HAS SOUPS 9697 WITH SCORE 9725.589
AT ITER 2917 NEW BEST:: SOT 62505 SOS 28585 HAS SOPS 28585 HAS SOUS 9693 HAS SOUPS 9693 WITH SCORE 9721.585
AT ITER 2928 NEW BEST:: SOT 62507 SOS 28587 HAS SOPS 28587 HAS SOUS 9689 HAS SOUPS 9689 WITH SCORE 9717.587
AT ITER 2954 NEW BEST:: SOT 62507 SOS 28587 HAS SOPS 28587 HAS SOUS 9683 HAS SOUPS 9683 WITH SCORE 9711.587
AT ITER 2968 NEW BEST:: SOT 62471 SOS 28551 HAS SOPS 28551 HAS SOUS 9680 HAS SOUPS 9680 WITH SCORE 9708.551
AT ITER 3000 NEW BEST:: SOT 62461 SOS 28541 HAS SOPS 28541 HAS SOUS 9670 HAS SOUPS 9670 WITH SCORE 9698.541
AT ITER 3032 NEW BEST:: SOT 62360 SOS 28356 HAS SOPS 28356 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9661.356
AT ITER 3033 NEW BEST:: SOT 62374 SOS 28357 HAS SOPS 28357 HAS SOUS 9632 HAS SOUPS 9632 WITH SCORE 9660.357
AT ITER 3035 NEW BEST:: SOT 62372 SOS 28359 HAS SOPS 28359 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9656.359
AT ITER 3098 NEW BEST:: SOT 62304 SOS 28574 HAS SOPS 28574 HAS SOUS 9625 HAS SOUPS 9625 WITH SCORE 9653.574
AT ITER 3105 NEW BEST:: SOT 62304 SOS 28574 HAS SOPS 28574 HAS SOUS 9615 HAS SOUPS 9615 WITH SCORE 9643.574
AT ITER 3147 NEW BEST:: SOT 62285 SOS 28772 HAS SOPS 28772 HAS SOUS 9570 HAS SOUPS 9570 WITH SCORE 9598.772
AT ITER 3169 NEW BEST:: SOT 62276 SOS 28754 HAS SOPS 28754 HAS SOUS 9552 HAS SOUPS 9552 WITH SCORE 9580.754
AT ITER 3203 NEW BEST:: SOT 62272 SOS 28762 HAS SOPS 28762 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9576.762
AT ITER 3208 NEW BEST:: SOT 62238 SOS 28728 HAS SOPS 28728 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9542.728
AT ITER 3239 NEW BEST:: SOT 62227 SOS 28717 HAS SOPS 28717 HAS SOUS 9501 HAS SOUPS 9501 WITH SCORE 9529.717
AT ITER 3292 NEW BEST:: SOT 62228 SOS 28741 HAS SOPS 28741 HAS SOUS 9484 HAS SOUPS 9484 WITH SCORE 9512.741
AT ITER 3318 NEW BEST:: SOT 62228 SOS 28730 HAS SOPS 28730 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9501.73
AT ITER 3342 NEW BEST:: SOT 62225 SOS 28730 HAS SOPS 28730 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9495.73
AT ITER 3354 NEW BEST:: SOT 62225 SOS 28790 HAS SOPS 28790 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9475.79
AT ITER 3366 NEW BEST:: SOT 62231 SOS 28843 HAS SOPS 28843 HAS SOUS 9432 HAS SOUPS 9432 WITH SCORE 9460.843
AT ITER 3413 NEW BEST:: SOT 62228 SOS 29039 HAS SOPS 29039 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9457.039
AT ITER 3415 NEW BEST:: SOT 62228 SOS 29039 HAS SOPS 29039 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9445.039
AT ITER 3455 NEW BEST:: SOT 62173 SOS 28984 HAS SOPS 28984 HAS SOUS 9416 HAS SOUPS 9416 WITH SCORE 9444.984
AT ITER 3476 NEW BEST:: SOT 62172 SOS 28999 HAS SOPS 28999 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9443.999
AT ITER 3509 NEW BEST:: SOT 62170 SOS 28997 HAS SOPS 28997 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9417.997
AT ITER 3524 NEW BEST:: SOT 62115 SOS 28904 HAS SOPS 28904 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9371.904
AT ITER 3532 NEW BEST:: SOT 62115 SOS 28872 HAS SOPS 28872 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9355.872
AT ITER 3558 NEW BEST:: SOT 62105 SOS 28857 HAS SOPS 28857 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9355.857
AT ITER 3583 NEW BEST:: SOT 62098 SOS 28835 HAS SOPS 28835 HAS SOUS 9317 HAS SOUPS 9317 WITH SCORE 9345.835
AT ITER 3696 NEW BEST:: SOT 62094 SOS 28831 HAS SOPS 28831 HAS SOUS 9313 HAS SOUPS 9313 WITH SCORE 9341.831
AT ITER 3698 NEW BEST:: SOT 62081 SOS 28745 HAS SOPS 28745 HAS SOUS 9272 HAS SOUPS 9272 WITH SCORE 9300.745
AT ITER 3718 NEW BEST:: SOT 62085 SOS 28615 HAS SOPS 28615 HAS SOUS 9269 HAS SOUPS 9269 WITH SCORE 9297.615
AT ITER 3719 NEW BEST:: SOT 62078 SOS 28601 HAS SOPS 28601 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9283.601
AT ITER 3745 NEW BEST:: SOT 62066 SOS 28565 HAS SOPS 28565 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9269.565
AT ITER 3800 NEW BEST:: SOT 62061 SOS 28548 HAS SOPS 28548 HAS SOUS 9219 HAS SOUPS 9219 WITH SCORE 9247.548
AT ITER 3811 NEW BEST:: SOT 62032 SOS 28513 HAS SOPS 28513 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9236.513
AT ITER 3812 NEW BEST:: SOT 62026 SOS 28507 HAS SOPS 28507 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9215.507
AT ITER 3814 NEW BEST:: SOT 61984 SOS 28465 HAS SOPS 28465 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9173.465
AT ITER 3818 NEW BEST:: SOT 61984 SOS 28449 HAS SOPS 28449 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9173.449
AT ITER 3822 NEW BEST:: SOT 61976 SOS 28449 HAS SOPS 28449 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9165.449
AT ITER 3830 NEW BEST:: SOT 61980 SOS 28388 HAS SOPS 28388 HAS SOUS 9137 HAS SOUPS 9137 WITH SCORE 9165.388
AT ITER 3877 NEW BEST:: SOT 61969 SOS 28394 HAS SOPS 28394 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9154.394
AT ITER 3884 NEW BEST:: SOT 61969 SOS 28350 HAS SOPS 28350 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9154.35
AT ITER 3895 NEW BEST:: SOT 61968 SOS 28347 HAS SOPS 28347 HAS SOUS 9126 HAS SOUPS 9126 WITH SCORE 9154.347
AT ITER 3923 NEW BEST:: SOT 61968 SOS 28345 HAS SOPS 28345 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9152.345
AT ITER 3967 NEW BEST:: SOT 61954 SOS 28283 HAS SOPS 28283 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9138.283
AT ITER 3982 NEW BEST:: SOT 61944 SOS 28253 HAS SOPS 28253 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9138.253
AT ITER 4064 NEW BEST:: SOT 62022 SOS 28333 HAS SOPS 28333 HAS SOUS 9109 HAS SOUPS 9109 WITH SCORE 9137.333
AT ITER 4100 NEW BEST:: SOT 62017 SOS 28328 HAS SOPS 28328 HAS SOUS 9092 HAS SOUPS 9092 WITH SCORE 9120.328
AT ITER 4130 NEW BEST:: SOT 62014 SOS 28322 HAS SOPS 28322 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9117.322
AT ITER 4133 NEW BEST:: SOT 62047 SOS 28452 HAS SOPS 28452 HAS SOUS 9073 HAS SOUPS 9073 WITH SCORE 9101.452
AT ITER 4141 NEW BEST:: SOT 62064 SOS 28469 HAS SOPS 28469 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9097.469
AT ITER 4149 NEW BEST:: SOT 62050 SOS 28477 HAS SOPS 28477 HAS SOUS 9050 HAS SOUPS 9050 WITH SCORE 9078.477
AT ITER 4192 NEW BEST:: SOT 62040 SOS 28497 HAS SOPS 28497 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9068.497
AT ITER 4202 NEW BEST:: SOT 62044 SOS 28501 HAS SOPS 28501 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9065.501
AT ITER 4204 NEW BEST:: SOT 62048 SOS 28493 HAS SOPS 28493 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9064.493
AT ITER 4217 NEW BEST:: SOT 61986 SOS 28318 HAS SOPS 28318 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9064.318
AT ITER 4246 NEW BEST:: SOT 61982 SOS 28314 HAS SOPS 28314 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9058.314
AT ITER 4247 NEW BEST:: SOT 61972 SOS 28294 HAS SOPS 28294 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9048.294
AT ITER 4252 NEW BEST:: SOT 61978 SOS 28288 HAS SOPS 28288 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9048.288
AT ITER 4268 NEW BEST:: SOT 61969 SOS 28273 HAS SOPS 28273 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9039.273
AT ITER 4290 NEW BEST:: SOT 61923 SOS 28217 HAS SOPS 28217 HAS SOUS 8955 HAS SOUPS 8955 WITH SCORE 8983.217
AT ITER 4314 NEW BEST:: SOT 61915 SOS 28209 HAS SOPS 28209 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8975.209
AT ITER 4336 NEW BEST:: SOT 61911 SOS 28149 HAS SOPS 28149 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8967.149
AT ITER 4352 NEW BEST:: SOT 61923 SOS 28173 HAS SOPS 28173 HAS SOUS 8916 HAS SOUPS 8916 WITH SCORE 8944.173
AT ITER 4376 NEW BEST:: SOT 61923 SOS 28173 HAS SOPS 28173 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8936.173
AT ITER 4385 NEW BEST:: SOT 61923 SOS 28200 HAS SOPS 28200 HAS SOUS 8892 HAS SOUPS 8892 WITH SCORE 8920.2
AT ITER 4411 NEW BEST:: SOT 61919 SOS 28196 HAS SOPS 28196 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8918.196
AT ITER 4441 NEW BEST:: SOT 61910 SOS 28187 HAS SOPS 28187 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8904.187
AT ITER 4446 NEW BEST:: SOT 61877 SOS 28132 HAS SOPS 28132 HAS SOUS 8845 HAS SOUPS 8845 WITH SCORE 8873.132
AT ITER 4480 NEW BEST:: SOT 61921 SOS 28268 HAS SOPS 28268 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8863.268
AT ITER 4509 NEW BEST:: SOT 61895 SOS 28155 HAS SOPS 28155 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8840.155
AT ITER 4538 NEW BEST:: SOT 61925 SOS 28226 HAS SOPS 28226 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8837.226
AT ITER 4562 NEW BEST:: SOT 61913 SOS 28220 HAS SOPS 28220 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8825.22
AT ITER 4585 NEW BEST:: SOT 61894 SOS 28171 HAS SOPS 28171 HAS SOUS 8787 HAS SOUPS 8787 WITH SCORE 8815.171
AT ITER 4629 NEW BEST:: SOT 61913 SOS 28238 HAS SOPS 28238 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8786.238
AT ITER 4660 NEW BEST:: SOT 61905 SOS 28224 HAS SOPS 28224 HAS SOUS 8746 HAS SOUPS 8746 WITH SCORE 8774.224
AT ITER 4670 NEW BEST:: SOT 61909 SOS 28244 HAS SOPS 28244 HAS SOUS 8742 HAS SOUPS 8742 WITH SCORE 8770.244
AT ITER 4690 NEW BEST:: SOT 61924 SOS 28301 HAS SOPS 28301 HAS SOUS 8736 HAS SOUPS 8736 WITH SCORE 8764.301
AT ITER 4728 NEW BEST:: SOT 61913 SOS 28319 HAS SOPS 28319 HAS SOUS 8734 HAS SOUPS 8734 WITH SCORE 8762.319
AT ITER 4745 NEW BEST:: SOT 61913 SOS 28339 HAS SOPS 28339 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8748.339
AT ITER 4768 NEW BEST:: SOT 61904 SOS 28330 HAS SOPS 28330 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8741.33
AT ITER 4789 NEW BEST:: SOT 61898 SOS 28324 HAS SOPS 28324 HAS SOUS 8704 HAS SOUPS 8704 WITH SCORE 8732.324
AT ITER 4811 NEW BEST:: SOT 61901 SOS 28297 HAS SOPS 28297 HAS SOUS 8666 HAS SOUPS 8666 WITH SCORE 8694.297
AT ITER 4852 NEW BEST:: SOT 61894 SOS 28291 HAS SOPS 28291 HAS SOUS 8664 HAS SOUPS 8664 WITH SCORE 8692.291
AT ITER 4894 NEW BEST:: SOT 61915 SOS 28375 HAS SOPS 28375 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8688.375
AT ITER 4910 NEW BEST:: SOT 61915 SOS 28362 HAS SOPS 28362 HAS SOUS 8658 HAS SOUPS 8658 WITH SCORE 8686.362
AT ITER 4987 NEW BEST:: SOT 61921 SOS 28368 HAS SOPS 28368 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8676.368
AT ITER 4990 NEW BEST:: SOT 61890 SOS 28180 HAS SOPS 28180 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8664.18
AT ITER 5181 NEW BEST:: SOT 61885 SOS 28182 HAS SOPS 28182 HAS SOUS 8635 HAS SOUPS 8635 WITH SCORE 8663.182
AT ITER 5186 NEW BEST:: SOT 61876 SOS 28146 HAS SOPS 28146 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8654.146
AT ITER 5203 NEW BEST:: SOT 61867 SOS 28082 HAS SOPS 28082 HAS SOUS 8617 HAS SOUPS 8617 WITH SCORE 8645.082
AT ITER 5220 NEW BEST:: SOT 61861 SOS 28070 HAS SOPS 28070 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8643.07
AT ITER 5228 NEW BEST:: SOT 61861 SOS 28060 HAS SOPS 28060 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8633.06
AT ITER 5246 NEW BEST:: SOT 61856 SOS 28050 HAS SOPS 28050 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8628.05
AT ITER 5299 NEW BEST:: SOT 61908 SOS 28088 HAS SOPS 28088 HAS SOUS 8598 HAS SOUPS 8598 WITH SCORE 8626.088
AT ITER 5313 NEW BEST:: SOT 61923 SOS 27888 HAS SOPS 27888 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8619.888
AT ITER 5374 NEW BEST:: SOT 61920 SOS 27867 HAS SOPS 27867 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8616.867
AT ITER 5377 NEW BEST:: SOT 61932 SOS 27855 HAS SOPS 27855 HAS SOUS 8589 HAS SOUPS 8589 WITH SCORE 8616.855
AT ITER 5445 NEW BEST:: SOT 61900 SOS 27705 HAS SOPS 27705 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8568.705
AT ITER 5465 NEW BEST:: SOT 61893 SOS 27698 HAS SOPS 27698 HAS SOUS 8534 HAS SOUPS 8534 WITH SCORE 8561.698
AT ITER 5516 NEW BEST:: SOT 61891 SOS 27694 HAS SOPS 27694 HAS SOUS 8530 HAS SOUPS 8530 WITH SCORE 8557.694
AT ITER 5523 NEW BEST:: SOT 61920 SOS 27733 HAS SOPS 27733 HAS SOUS 8521 HAS SOUPS 8521 WITH SCORE 8548.733
AT ITER 5580 NEW BEST:: SOT 61904 SOS 27701 HAS SOPS 27701 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8537.701
AT ITER 5606 NEW BEST:: SOT 61908 SOS 27705 HAS SOPS 27705 HAS SOUS 8499 HAS SOUPS 8499 WITH SCORE 8526.705
AT ITER 5612 NEW BEST:: SOT 61893 SOS 27638 HAS SOPS 27638 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8522.638
AT ITER 5637 NEW BEST:: SOT 61888 SOS 27636 HAS SOPS 27636 HAS SOUS 8479 HAS SOUPS 8479 WITH SCORE 8506.636
AT ITER 5639 NEW BEST:: SOT 61869 SOS 27576 HAS SOPS 27576 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8487.576
AT ITER 5681 NEW BEST:: SOT 61849 SOS 27556 HAS SOPS 27556 HAS SOUS 8439 HAS SOUPS 8439 WITH SCORE 8466.556
AT ITER 5687 NEW BEST:: SOT 61860 SOS 27612 HAS SOPS 27612 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8454.612
AT ITER 5727 NEW BEST:: SOT 61858 SOS 27608 HAS SOPS 27608 HAS SOUS 8425 HAS SOUPS 8425 WITH SCORE 8452.608
AT ITER 5777 NEW BEST:: SOT 61837 SOS 27587 HAS SOPS 27587 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8445.587
AT ITER 5803 NEW BEST:: SOT 61837 SOS 27559 HAS SOPS 27559 HAS SOUS 8417 HAS SOUPS 8417 WITH SCORE 8444.559
AT ITER 5832 NEW BEST:: SOT 61843 SOS 27562 HAS SOPS 27562 HAS SOUS 8414 HAS SOUPS 8414 WITH SCORE 8441.562
AT ITER 5840 NEW BEST:: SOT 61821 SOS 27540 HAS SOPS 27540 HAS SOUS 8392 HAS SOUPS 8392 WITH SCORE 8419.54
AT ITER 5914 NEW BEST:: SOT 61817 SOS 27528 HAS SOPS 27528 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8415.528
AT ITER 5950 NEW BEST:: SOT 61800 SOS 27497 HAS SOPS 27497 HAS SOUS 8370 HAS SOUPS 8370 WITH SCORE 8397.497
AT ITER 5951 NEW BEST:: SOT 61705 SOS 27402 HAS SOPS 27402 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8365.402
AT ITER 5968 NEW BEST:: SOT 61725 SOS 27422 HAS SOPS 27422 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8352.422
AT ITER 5990 NEW BEST:: SOT 61707 SOS 27394 HAS SOPS 27394 HAS SOUS 8305 HAS SOUPS 8305 WITH SCORE 8332.394
AT ITER 6007 NEW BEST:: SOT 61703 SOS 27388 HAS SOPS 27388 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8327.388
AT ITER 6010 NEW BEST:: SOT 61697 SOS 27376 HAS SOPS 27376 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8324.376
AT ITER 6073 NEW BEST:: SOT 61686 SOS 27373 HAS SOPS 27373 HAS SOUS 8281 HAS SOUPS 8281 WITH SCORE 8308.373
AT ITER 6098 NEW BEST:: SOT 61686 SOS 27401 HAS SOPS 27401 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8304.401
AT ITER 6133 NEW BEST:: SOT 61675 SOS 27401 HAS SOPS 27401 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8301.401
AT ITER 6136 NEW BEST:: SOT 61679 SOS 27405 HAS SOPS 27405 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8297.405
AT ITER 6264 NEW BEST:: SOT 61673 SOS 27399 HAS SOPS 27399 HAS SOUS 8264 HAS SOUPS 8264 WITH SCORE 8291.399
AT ITER 6278 NEW BEST:: SOT 61674 SOS 27378 HAS SOPS 27378 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8290.378
AT ITER 6357 NEW BEST:: SOT 61671 SOS 27372 HAS SOPS 27372 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8288.372
AT ITER 6366 NEW BEST:: SOT 61619 SOS 27272 HAS SOPS 27272 HAS SOUS 8245 HAS SOUPS 8245 WITH SCORE 8272.272
AT ITER 6516 NEW BEST:: SOT 61609 SOS 27262 HAS SOPS 27262 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8254.262
AT ITER 6525 NEW BEST:: SOT 61597 SOS 27248 HAS SOPS 27248 HAS SOUS 8227 HAS SOUPS 8227 WITH SCORE 8254.248
AT ITER 6539 NEW BEST:: SOT 61597 SOS 27248 HAS SOPS 27248 HAS SOUS 8226 HAS SOUPS 8226 WITH SCORE 8253.248
AT ITER 6600 NEW BEST:: SOT 61557 SOS 28154 HAS SOPS 28154 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8248.154
AT ITER 6602 NEW BEST:: SOT 61551 SOS 28104 HAS SOPS 28104 HAS SOUS 8214 HAS SOUPS 8214 WITH SCORE 8242.104
AT ITER 6637 NEW BEST:: SOT 61556 SOS 28109 HAS SOPS 28109 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8240.109
AT ITER 6640 NEW BEST:: SOT 61565 SOS 28115 HAS SOPS 28115 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8235.115
AT ITER 6641 NEW BEST:: SOT 61601 SOS 28110 HAS SOPS 28110 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8231.11
AT ITER 6733 NEW BEST:: SOT 61583 SOS 28104 HAS SOPS 28104 HAS SOUS 8192 HAS SOUPS 8192 WITH SCORE 8220.104
AT ITER 6743 NEW BEST:: SOT 61577 SOS 28098 HAS SOPS 28098 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8214.098
AT ITER 6779 NEW BEST:: SOT 61577 SOS 28098 HAS SOPS 28098 HAS SOUS 8180 HAS SOUPS 8180 WITH SCORE 8208.098
AT ITER 6815 NEW BEST:: SOT 61565 SOS 28036 HAS SOPS 28036 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8193.036
AT ITER 6816 NEW BEST:: SOT 61559 SOS 28030 HAS SOPS 28030 HAS SOUS 8157 HAS SOUPS 8157 WITH SCORE 8185.03
AT ITER 6933 NEW BEST:: SOT 61557 SOS 28026 HAS SOPS 28026 HAS SOUS 8155 HAS SOUPS 8155 WITH SCORE 8183.026
AT ITER 7012 NEW BEST:: SOT 61624 SOS 28093 HAS SOPS 28093 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8175.093
AT ITER 7019 NEW BEST:: SOT 61624 SOS 28084 HAS SOPS 28084 HAS SOUS 8147 HAS SOUPS 8147 WITH SCORE 8175.084
AT ITER 7034 NEW BEST:: SOT 61622 SOS 28082 HAS SOPS 28082 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8172.082
AT ITER 7043 NEW BEST:: SOT 61615 SOS 28068 HAS SOPS 28068 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8169.068
AT ITER 7093 NEW BEST:: SOT 61599 SOS 28052 HAS SOPS 28052 HAS SOUS 8125 HAS SOUPS 8125 WITH SCORE 8153.052
AT ITER 7100 NEW BEST:: SOT 61591 SOS 28044 HAS SOPS 28044 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8148.044
AT ITER 7117 NEW BEST:: SOT 61591 SOS 28044 HAS SOPS 28044 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8146.044
AT ITER 7122 NEW BEST:: SOT 61588 SOS 28050 HAS SOPS 28050 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8143.05
AT ITER 7165 NEW BEST:: SOT 61552 SOS 28014 HAS SOPS 28014 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8143.014
AT ITER 7225 NEW BEST:: SOT 61553 SOS 28015 HAS SOPS 28015 HAS SOUS 8114 HAS SOUPS 8114 WITH SCORE 8142.015
AT ITER 7299 NEW BEST:: SOT 61517 SOS 27979 HAS SOPS 27979 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8122.979
AT ITER 7340 NEW BEST:: SOT 61517 SOS 27979 HAS SOPS 27979 HAS SOUS 8090 HAS SOUPS 8090 WITH SCORE 8117.979
AT ITER 7371 NEW BEST:: SOT 61533 SOS 27977 HAS SOPS 27977 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8113.977
AT ITER 7378 NEW BEST:: SOT 61523 SOS 27900 HAS SOPS 27900 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8106.9
AT ITER 7406 NEW BEST:: SOT 61508 SOS 27905 HAS SOPS 27905 HAS SOUS 8075 HAS SOUPS 8075 WITH SCORE 8102.905
AT ITER 7429 NEW BEST:: SOT 61393 SOS 28598 HAS SOPS 28598 HAS SOUS 8045 HAS SOUPS 8045 WITH SCORE 8073.598
AT ITER 7445 NEW BEST:: SOT 61383 SOS 28568 HAS SOPS 28568 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8058.568
AT ITER 7454 NEW BEST:: SOT 61377 SOS 28539 HAS SOPS 28539 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8046.539
AT ITER 7693 NEW BEST:: SOT 61376 SOS 28539 HAS SOPS 28539 HAS SOUS 8017 HAS SOUPS 8017 WITH SCORE 8045.539
AT ITER 7824 NEW BEST:: SOT 61378 SOS 28481 HAS SOPS 28481 HAS SOUS 7964 HAS SOUPS 7964 WITH SCORE 7992.481
AT ITER 7861 NEW BEST:: SOT 61378 SOS 28478 HAS SOPS 28478 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7986.478
AT ITER 7936 NEW BEST:: SOT 61380 SOS 28467 HAS SOPS 28467 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7982.467
AT ITER 7981 NEW BEST:: SOT 61367 SOS 28450 HAS SOPS 28450 HAS SOUS 7950 HAS SOUPS 7950 WITH SCORE 7978.45
AT ITER 7999 NEW BEST:: SOT 61340 SOS 28423 HAS SOPS 28423 HAS SOUS 7944 HAS SOUPS 7944 WITH SCORE 7972.423
AT ITER 8009 NEW BEST:: SOT 61338 SOS 28419 HAS SOPS 28419 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7971.419
AT ITER 8013 NEW BEST:: SOT 61344 SOS 28447 HAS SOPS 28447 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7965.447
AT ITER 8036 NEW BEST:: SOT 61334 SOS 28574 HAS SOPS 28574 HAS SOUS 7935 HAS SOUPS 7935 WITH SCORE 7963.574
AT ITER 8078 NEW BEST:: SOT 61325 SOS 28539 HAS SOPS 28539 HAS SOUS 7921 HAS SOUPS 7921 WITH SCORE 7949.539
AT ITER 8109 NEW BEST:: SOT 61325 SOS 28539 HAS SOPS 28539 HAS SOUS 7919 HAS SOUPS 7919 WITH SCORE 7947.539
AT ITER 8135 NEW BEST:: SOT 61306 SOS 28520 HAS SOPS 28520 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7943.52
AT ITER 8169 NEW BEST:: SOT 61306 SOS 28492 HAS SOPS 28492 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7913.492
AT ITER 8304 NEW BEST:: SOT 61306 SOS 28492 HAS SOPS 28492 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7909.492
AT ITER 8327 NEW BEST:: SOT 61287 SOS 28473 HAS SOPS 28473 HAS SOUS 7873 HAS SOUPS 7873 WITH SCORE 7901.473
AT ITER 8490 NEW BEST:: SOT 61287 SOS 28471 HAS SOPS 28471 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7899.471
AT ITER 8543 NEW BEST:: SOT 61284 SOS 28468 HAS SOPS 28468 HAS SOUS 7871 HAS SOUPS 7871 WITH SCORE 7899.468
AT ITER 8590 NEW BEST:: SOT 61280 SOS 28464 HAS SOPS 28464 HAS SOUS 7867 HAS SOUPS 7867 WITH SCORE 7895.464
AT ITER 8591 NEW BEST:: SOT 61278 SOS 28468 HAS SOPS 28468 HAS SOUS 7865 HAS SOUPS 7865 WITH SCORE 7893.468
AT ITER 8722 NEW BEST:: SOT 61258 SOS 28396 HAS SOPS 28396 HAS SOUS 7853 HAS SOUPS 7853 WITH SCORE 7881.396
AT ITER 8770 NEW BEST:: SOT 61248 SOS 28380 HAS SOPS 28380 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7871.38
AT ITER 8793 NEW BEST:: SOT 61241 SOS 28352 HAS SOPS 28352 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7871.352
AT ITER 8810 NEW BEST:: SOT 61236 SOS 28349 HAS SOPS 28349 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7865.349
AT ITER 8839 NEW BEST:: SOT 61232 SOS 28350 HAS SOPS 28350 HAS SOUS 7833 HAS SOUPS 7833 WITH SCORE 7861.35
AT ITER 8929 NEW BEST:: SOT 61229 SOS 28344 HAS SOPS 28344 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7855.344
AT ITER 9008 NEW BEST:: SOT 61181 SOS 28340 HAS SOPS 28340 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7831.34
AT ITER 9035 NEW BEST:: SOT 61200 SOS 28366 HAS SOPS 28366 HAS SOUS 7795 HAS SOUPS 7795 WITH SCORE 7823.366
AT ITER 9060 NEW BEST:: SOT 61173 SOS 28336 HAS SOPS 28336 HAS SOUS 7774 HAS SOUPS 7774 WITH SCORE 7802.336
AT ITER 9121 NEW BEST:: SOT 61167 SOS 28318 HAS SOPS 28318 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7796.318
AT ITER 9172 NEW BEST:: SOT 61152 SOS 28303 HAS SOPS 28303 HAS SOUS 7768 HAS SOUPS 7768 WITH SCORE 7796.303
AT ITER 9312 NEW BEST:: SOT 61071 SOS 28604 HAS SOPS 28604 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7786.604
AT ITER 9322 NEW BEST:: SOT 61072 SOS 28603 HAS SOPS 28603 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7786.603
AT ITER 9444 NEW BEST:: SOT 61076 SOS 28574 HAS SOPS 28574 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7785.574
AT ITER 9529 NEW BEST:: SOT 61078 SOS 28573 HAS SOPS 28573 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7785.573
AT ITER 9610 NEW BEST:: SOT 61078 SOS 28573 HAS SOPS 28573 HAS SOUS 7755 HAS SOUPS 7755 WITH SCORE 7783.573
AT ITER 9772 NEW BEST:: SOT 61082 SOS 28577 HAS SOPS 28577 HAS SOUS 7747 HAS SOUPS 7747 WITH SCORE 7775.577
AT ITER 9815 NEW BEST:: SOT 61060 SOS 28547 HAS SOPS 28547 HAS SOUS 7719 HAS SOUPS 7719 WITH SCORE 7747.547
AT ITER 9819 NEW BEST:: SOT 61033 SOS 28612 HAS SOPS 28612 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7707.612
AT ITER 9925 NEW BEST:: SOT 61033 SOS 28602 HAS SOPS 28602 HAS SOUS 7679 HAS SOUPS 7679 WITH SCORE 7707.602
AT ITER 9927 NEW BEST:: SOT 61030 SOS 28580 HAS SOPS 28580 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7704.58

BK_STOP 1679309938577

--------------------
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: 471 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="UtilityControlRoom-COL-Z4T3N06"
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 UtilityControlRoom-COL-Z4T3N06, 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-167912711301032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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