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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 19K Feb 26 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 105K Feb 26 14:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 42K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 48K Feb 26 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 235K Feb 26 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 77K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 320K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.4K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 116K 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 1679313972162

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-PT-Z2T4N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 12:06:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 12:06:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 12:06:14] [INFO ] Load time of PNML (sax parser for PT used): 54 ms
[2023-03-20 12:06:14] [INFO ] Transformed 174 places.
[2023-03-20 12:06:14] [INFO ] Transformed 270 transitions.
[2023-03-20 12:06:14] [INFO ] Parsed PT model containing 174 places and 270 transitions and 850 arcs in 125 ms.
[2023-03-20 12:06:14] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 174 places, 270 transitions and 850 arcs took 6 ms.
Total runtime 167 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T4N10
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: 174 places, 270 transitions, 850 arcs.
AT ITER 0 NEW BEST:: SOT 38295 SOS 28159 HAS SOPS 28159 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18788.159
AT ITER 1 NEW BEST:: SOT 38276 SOS 28130 HAS SOPS 28130 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18695.13
AT ITER 3 NEW BEST:: SOT 38179 SOS 27929 HAS SOPS 27929 HAS SOUS 18573 HAS SOUPS 18573 WITH SCORE 18600.929
AT ITER 4 NEW BEST:: SOT 38030 SOS 27690 HAS SOPS 27690 HAS SOUS 18418 HAS SOUPS 18418 WITH SCORE 18445.69
AT ITER 5 NEW BEST:: SOT 38015 SOS 27572 HAS SOPS 27572 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18362.572
AT ITER 6 NEW BEST:: SOT 38015 SOS 27555 HAS SOPS 27555 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18362.555
AT ITER 7 NEW BEST:: SOT 37977 SOS 27466 HAS SOPS 27466 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18324.466
AT ITER 9 NEW BEST:: SOT 37904 SOS 27393 HAS SOPS 27393 HAS SOUS 18222 HAS SOUPS 18222 WITH SCORE 18249.393
AT ITER 10 NEW BEST:: SOT 37903 SOS 27308 HAS SOPS 27308 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18234.308
AT ITER 13 NEW BEST:: SOT 35380 SOS 24820 HAS SOPS 24820 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16706.82
AT ITER 15 NEW BEST:: SOT 35377 SOS 24770 HAS SOPS 24770 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16697.77
AT ITER 18 NEW BEST:: SOT 35271 SOS 24664 HAS SOPS 24664 HAS SOUS 16475 HAS SOUPS 16475 WITH SCORE 16499.664
AT ITER 19 NEW BEST:: SOT 35271 SOS 24664 HAS SOPS 24664 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16452.664
AT ITER 21 NEW BEST:: SOT 30881 SOS 20918 HAS SOPS 20918 HAS SOUS 13686 HAS SOUPS 13686 WITH SCORE 13706.918
AT ITER 24 NEW BEST:: SOT 30817 SOS 20792 HAS SOPS 20792 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13668.792
AT ITER 25 NEW BEST:: SOT 30779 SOS 20754 HAS SOPS 20754 HAS SOUS 13516 HAS SOUPS 13516 WITH SCORE 13536.754
AT ITER 29 NEW BEST:: SOT 30758 SOS 20733 HAS SOPS 20733 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13435.733
AT ITER 31 NEW BEST:: SOT 30615 SOS 20689 HAS SOPS 20689 HAS SOUS 13294 HAS SOUPS 13294 WITH SCORE 13314.689
AT ITER 42 NEW BEST:: SOT 30619 SOS 20648 HAS SOPS 20648 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13251.648
AT ITER 43 NEW BEST:: SOT 30616 SOS 20642 HAS SOPS 20642 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13242.642
AT ITER 44 NEW BEST:: SOT 30608 SOS 20634 HAS SOPS 20634 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13238.634
AT ITER 45 NEW BEST:: SOT 30590 SOS 20598 HAS SOPS 20598 HAS SOUS 13218 HAS SOUPS 13218 WITH SCORE 13238.598
AT ITER 46 NEW BEST:: SOT 30510 SOS 20414 HAS SOPS 20414 HAS SOUS 13169 HAS SOUPS 13169 WITH SCORE 13189.414
AT ITER 50 NEW BEST:: SOT 30551 SOS 20463 HAS SOPS 20463 HAS SOUS 13014 HAS SOUPS 13014 WITH SCORE 13034.463
AT ITER 51 NEW BEST:: SOT 30535 SOS 20419 HAS SOPS 20419 HAS SOUS 12970 HAS SOUPS 12970 WITH SCORE 12990.419
AT ITER 52 NEW BEST:: SOT 30537 SOS 20458 HAS SOPS 20458 HAS SOUS 12956 HAS SOUPS 12956 WITH SCORE 12976.458
AT ITER 53 NEW BEST:: SOT 30505 SOS 20426 HAS SOPS 20426 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12952.426
AT ITER 57 NEW BEST:: SOT 30501 SOS 20422 HAS SOPS 20422 HAS SOUS 12924 HAS SOUPS 12924 WITH SCORE 12944.422
AT ITER 58 NEW BEST:: SOT 30445 SOS 20364 HAS SOPS 20364 HAS SOUS 12866 HAS SOUPS 12866 WITH SCORE 12886.364
AT ITER 59 NEW BEST:: SOT 30402 SOS 20303 HAS SOPS 20303 HAS SOUS 12798 HAS SOUPS 12798 WITH SCORE 12818.303
AT ITER 62 NEW BEST:: SOT 30369 SOS 20250 HAS SOPS 20250 HAS SOUS 12702 HAS SOUPS 12702 WITH SCORE 12722.25
AT ITER 65 NEW BEST:: SOT 30335 SOS 20254 HAS SOPS 20254 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12715.254
AT ITER 67 NEW BEST:: SOT 30335 SOS 20216 HAS SOPS 20216 HAS SOUS 12693 HAS SOUPS 12693 WITH SCORE 12713.216
AT ITER 68 NEW BEST:: SOT 30328 SOS 20174 HAS SOPS 20174 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12636.174
AT ITER 69 NEW BEST:: SOT 30328 SOS 20027 HAS SOPS 20027 HAS SOUS 12560 HAS SOUPS 12560 WITH SCORE 12580.027
AT ITER 71 NEW BEST:: SOT 30102 SOS 19660 HAS SOPS 19660 HAS SOUS 12309 HAS SOUPS 12309 WITH SCORE 12328.66
AT ITER 78 NEW BEST:: SOT 30038 SOS 19765 HAS SOPS 19765 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12152.765
AT ITER 80 NEW BEST:: SOT 29944 SOS 19517 HAS SOPS 19517 HAS SOUS 12063 HAS SOUPS 12063 WITH SCORE 12082.517
AT ITER 82 NEW BEST:: SOT 29913 SOS 19455 HAS SOPS 19455 HAS SOUS 12047 HAS SOUPS 12047 WITH SCORE 12066.455
AT ITER 83 NEW BEST:: SOT 29670 SOS 19212 HAS SOPS 19212 HAS SOUS 11926 HAS SOUPS 11926 WITH SCORE 11945.212
AT ITER 84 NEW BEST:: SOT 29832 SOS 19363 HAS SOPS 19363 HAS SOUS 11909 HAS SOUPS 11909 WITH SCORE 11928.363
AT ITER 87 NEW BEST:: SOT 29851 SOS 19357 HAS SOPS 19357 HAS SOUS 11903 HAS SOUPS 11903 WITH SCORE 11922.357
AT ITER 89 NEW BEST:: SOT 29861 SOS 19322 HAS SOPS 19322 HAS SOUS 11866 HAS SOUPS 11866 WITH SCORE 11885.322
AT ITER 91 NEW BEST:: SOT 29843 SOS 19304 HAS SOPS 19304 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11858.304
AT ITER 92 NEW BEST:: SOT 29612 SOS 19309 HAS SOPS 19309 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11581.309
AT ITER 95 NEW BEST:: SOT 29591 SOS 19309 HAS SOPS 19309 HAS SOUS 11541 HAS SOUPS 11541 WITH SCORE 11560.309
AT ITER 96 NEW BEST:: SOT 29585 SOS 19303 HAS SOPS 19303 HAS SOUS 11535 HAS SOUPS 11535 WITH SCORE 11554.303
AT ITER 103 NEW BEST:: SOT 29554 SOS 19307 HAS SOPS 19307 HAS SOUS 11473 HAS SOUPS 11473 WITH SCORE 11492.307
AT ITER 108 NEW BEST:: SOT 29546 SOS 19265 HAS SOPS 19265 HAS SOUS 11457 HAS SOUPS 11457 WITH SCORE 11476.265
AT ITER 109 NEW BEST:: SOT 29616 SOS 19343 HAS SOPS 19343 HAS SOUS 11424 HAS SOUPS 11424 WITH SCORE 11443.343
AT ITER 110 NEW BEST:: SOT 29610 SOS 19337 HAS SOPS 19337 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11438.337
AT ITER 116 NEW BEST:: SOT 29546 SOS 19273 HAS SOPS 19273 HAS SOUS 11409 HAS SOUPS 11409 WITH SCORE 11428.273
AT ITER 117 NEW BEST:: SOT 29446 SOS 19118 HAS SOPS 19118 HAS SOUS 11173 HAS SOUPS 11173 WITH SCORE 11192.118
AT ITER 120 NEW BEST:: SOT 29408 SOS 19042 HAS SOPS 19042 HAS SOUS 11135 HAS SOUPS 11135 WITH SCORE 11154.042
AT ITER 128 NEW BEST:: SOT 29386 SOS 19063 HAS SOPS 19063 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11141.063
AT ITER 138 NEW BEST:: SOT 29384 SOS 18740 HAS SOPS 18740 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11135.74
AT ITER 139 NEW BEST:: SOT 29419 SOS 18809 HAS SOPS 18809 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11109.809
AT ITER 141 NEW BEST:: SOT 29393 SOS 18757 HAS SOPS 18757 HAS SOUS 11047 HAS SOUPS 11047 WITH SCORE 11065.757
AT ITER 145 NEW BEST:: SOT 29338 SOS 18699 HAS SOPS 18699 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10993.699
AT ITER 148 NEW BEST:: SOT 29308 SOS 18614 HAS SOPS 18614 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10923.614
AT ITER 152 NEW BEST:: SOT 29301 SOS 18547 HAS SOPS 18547 HAS SOUS 10875 HAS SOUPS 10875 WITH SCORE 10893.547
AT ITER 161 NEW BEST:: SOT 29312 SOS 18540 HAS SOPS 18540 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10886.54
AT ITER 164 NEW BEST:: SOT 29299 SOS 18527 HAS SOPS 18527 HAS SOUS 10868 HAS SOUPS 10868 WITH SCORE 10886.527
AT ITER 166 NEW BEST:: SOT 29299 SOS 18527 HAS SOPS 18527 HAS SOUS 10854 HAS SOUPS 10854 WITH SCORE 10872.527
AT ITER 170 NEW BEST:: SOT 29264 SOS 18456 HAS SOPS 18456 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10844.456
AT ITER 171 NEW BEST:: SOT 29264 SOS 18452 HAS SOPS 18452 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10844.452
AT ITER 174 NEW BEST:: SOT 29253 SOS 18518 HAS SOPS 18518 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10838.518
AT ITER 176 NEW BEST:: SOT 29220 SOS 18419 HAS SOPS 18419 HAS SOUS 10787 HAS SOUPS 10787 WITH SCORE 10805.419
AT ITER 178 NEW BEST:: SOT 29191 SOS 18385 HAS SOPS 18385 HAS SOUS 10766 HAS SOUPS 10766 WITH SCORE 10784.385
AT ITER 179 NEW BEST:: SOT 29094 SOS 18428 HAS SOPS 18428 HAS SOUS 10725 HAS SOUPS 10725 WITH SCORE 10743.428
AT ITER 180 NEW BEST:: SOT 29093 SOS 18417 HAS SOPS 18417 HAS SOUS 10723 HAS SOUPS 10723 WITH SCORE 10741.417
AT ITER 182 NEW BEST:: SOT 29093 SOS 18391 HAS SOPS 18391 HAS SOUS 10710 HAS SOUPS 10710 WITH SCORE 10728.391
AT ITER 186 NEW BEST:: SOT 29031 SOS 18338 HAS SOPS 18338 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10675.338
AT ITER 189 NEW BEST:: SOT 29040 SOS 18356 HAS SOPS 18356 HAS SOUS 10640 HAS SOUPS 10640 WITH SCORE 10658.356
AT ITER 191 NEW BEST:: SOT 29017 SOS 18321 HAS SOPS 18321 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10639.321
AT ITER 192 NEW BEST:: SOT 29017 SOS 18321 HAS SOPS 18321 HAS SOUS 10594 HAS SOUPS 10594 WITH SCORE 10612.321
AT ITER 204 NEW BEST:: SOT 29040 SOS 18408 HAS SOPS 18408 HAS SOUS 10533 HAS SOUPS 10533 WITH SCORE 10551.408
AT ITER 212 NEW BEST:: SOT 28981 SOS 18244 HAS SOPS 18244 HAS SOUS 10415 HAS SOUPS 10415 WITH SCORE 10433.244
AT ITER 232 NEW BEST:: SOT 28914 SOS 18180 HAS SOPS 18180 HAS SOUS 10362 HAS SOUPS 10362 WITH SCORE 10380.18
AT ITER 233 NEW BEST:: SOT 28911 SOS 18177 HAS SOPS 18177 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10377.177
AT ITER 244 NEW BEST:: SOT 28783 SOS 17916 HAS SOPS 17916 HAS SOUS 10146 HAS SOUPS 10146 WITH SCORE 10163.916
AT ITER 245 NEW BEST:: SOT 28735 SOS 17890 HAS SOPS 17890 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10161.89
AT ITER 258 NEW BEST:: SOT 28735 SOS 17890 HAS SOPS 17890 HAS SOUS 10141 HAS SOUPS 10141 WITH SCORE 10158.89
AT ITER 261 NEW BEST:: SOT 28673 SOS 17795 HAS SOPS 17795 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10101.795
AT ITER 265 NEW BEST:: SOT 28627 SOS 17686 HAS SOPS 17686 HAS SOUS 10015 HAS SOUPS 10015 WITH SCORE 10032.686
AT ITER 266 NEW BEST:: SOT 28583 SOS 17612 HAS SOPS 17612 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10020.612
AT ITER 280 NEW BEST:: SOT 28611 SOS 17608 HAS SOPS 17608 HAS SOUS 9999 HAS SOUPS 9999 WITH SCORE 10016.608
AT ITER 282 NEW BEST:: SOT 28614 SOS 17614 HAS SOPS 17614 HAS SOUS 9996 HAS SOUPS 9996 WITH SCORE 10013.614
AT ITER 296 NEW BEST:: SOT 28591 SOS 17594 HAS SOPS 17594 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9965.594
AT ITER 297 NEW BEST:: SOT 28560 SOS 17563 HAS SOPS 17563 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9938.563
AT ITER 303 NEW BEST:: SOT 28376 SOS 17273 HAS SOPS 17273 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9795.273
AT ITER 310 NEW BEST:: SOT 28345 SOS 17255 HAS SOPS 17255 HAS SOUS 9754 HAS SOUPS 9754 WITH SCORE 9771.255
AT ITER 311 NEW BEST:: SOT 28402 SOS 17253 HAS SOPS 17253 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9767.253
AT ITER 315 NEW BEST:: SOT 28360 SOS 17187 HAS SOPS 17187 HAS SOUS 9723 HAS SOUPS 9723 WITH SCORE 9740.187
AT ITER 316 NEW BEST:: SOT 28330 SOS 17165 HAS SOPS 17165 HAS SOUS 9687 HAS SOUPS 9687 WITH SCORE 9704.165
AT ITER 323 NEW BEST:: SOT 28295 SOS 17116 HAS SOPS 17116 HAS SOUS 9674 HAS SOUPS 9674 WITH SCORE 9691.116
AT ITER 327 NEW BEST:: SOT 28396 SOS 17167 HAS SOPS 17167 HAS SOUS 9660 HAS SOUPS 9660 WITH SCORE 9677.167
AT ITER 331 NEW BEST:: SOT 28415 SOS 17175 HAS SOPS 17175 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9658.175
AT ITER 332 NEW BEST:: SOT 28402 SOS 17157 HAS SOPS 17157 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9648.157
AT ITER 333 NEW BEST:: SOT 28394 SOS 17149 HAS SOPS 17149 HAS SOUS 9623 HAS SOUPS 9623 WITH SCORE 9640.149
AT ITER 339 NEW BEST:: SOT 28393 SOS 17166 HAS SOPS 17166 HAS SOUS 9604 HAS SOUPS 9604 WITH SCORE 9621.166
AT ITER 345 NEW BEST:: SOT 28393 SOS 17166 HAS SOPS 17166 HAS SOUS 9601 HAS SOUPS 9601 WITH SCORE 9618.166
AT ITER 357 NEW BEST:: SOT 28383 SOS 17115 HAS SOPS 17115 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9581.115
AT ITER 358 NEW BEST:: SOT 28457 SOS 17036 HAS SOPS 17036 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9578.036
AT ITER 364 NEW BEST:: SOT 28457 SOS 16940 HAS SOPS 16940 HAS SOUS 9557 HAS SOUPS 9557 WITH SCORE 9573.94
AT ITER 365 NEW BEST:: SOT 28389 SOS 16848 HAS SOPS 16848 HAS SOUS 9536 HAS SOUPS 9536 WITH SCORE 9552.848
AT ITER 366 NEW BEST:: SOT 28381 SOS 16840 HAS SOPS 16840 HAS SOUS 9528 HAS SOUPS 9528 WITH SCORE 9544.84
AT ITER 376 NEW BEST:: SOT 28174 SOS 16644 HAS SOPS 16644 HAS SOUS 9382 HAS SOUPS 9382 WITH SCORE 9398.644
AT ITER 386 NEW BEST:: SOT 28230 SOS 16594 HAS SOPS 16594 HAS SOUS 9344 HAS SOUPS 9344 WITH SCORE 9360.594
AT ITER 394 NEW BEST:: SOT 28200 SOS 16495 HAS SOPS 16495 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9305.495
AT ITER 399 NEW BEST:: SOT 28261 SOS 16532 HAS SOPS 16532 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9296.532
AT ITER 412 NEW BEST:: SOT 28233 SOS 16489 HAS SOPS 16489 HAS SOUS 9255 HAS SOUPS 9255 WITH SCORE 9271.489
AT ITER 419 NEW BEST:: SOT 28224 SOS 16452 HAS SOPS 16452 HAS SOUS 9238 HAS SOUPS 9238 WITH SCORE 9254.452
AT ITER 427 NEW BEST:: SOT 28168 SOS 18199 HAS SOPS 18199 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9214.199
AT ITER 435 NEW BEST:: SOT 28066 SOS 18169 HAS SOPS 18169 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9138.169
AT ITER 448 NEW BEST:: SOT 28022 SOS 17978 HAS SOPS 17978 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8968.978
AT ITER 452 NEW BEST:: SOT 28022 SOS 17976 HAS SOPS 17976 HAS SOUS 8951 HAS SOUPS 8951 WITH SCORE 8968.976
AT ITER 454 NEW BEST:: SOT 28054 SOS 18008 HAS SOPS 18008 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8941.008
AT ITER 480 NEW BEST:: SOT 28045 SOS 17999 HAS SOPS 17999 HAS SOUS 8905 HAS SOUPS 8905 WITH SCORE 8922.999
AT ITER 488 NEW BEST:: SOT 28038 SOS 17978 HAS SOPS 17978 HAS SOUS 8891 HAS SOUPS 8891 WITH SCORE 8908.978
AT ITER 500 NEW BEST:: SOT 27991 SOS 17993 HAS SOPS 17993 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8871.993
AT ITER 501 NEW BEST:: SOT 27987 SOS 17965 HAS SOPS 17965 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8867.965
AT ITER 504 NEW BEST:: SOT 27987 SOS 17967 HAS SOPS 17967 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8866.967
AT ITER 506 NEW BEST:: SOT 27979 SOS 17959 HAS SOPS 17959 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8860.959
AT ITER 512 NEW BEST:: SOT 27980 SOS 17960 HAS SOPS 17960 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8748.96
AT ITER 523 NEW BEST:: SOT 27980 SOS 17946 HAS SOPS 17946 HAS SOUS 8715 HAS SOUPS 8715 WITH SCORE 8732.946
AT ITER 526 NEW BEST:: SOT 27996 SOS 17936 HAS SOPS 17936 HAS SOUS 8709 HAS SOUPS 8709 WITH SCORE 8726.936
AT ITER 528 NEW BEST:: SOT 27996 SOS 17878 HAS SOPS 17878 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8697.878
AT ITER 529 NEW BEST:: SOT 27996 SOS 17328 HAS SOPS 17328 HAS SOUS 8680 HAS SOUPS 8680 WITH SCORE 8697.328
AT ITER 549 NEW BEST:: SOT 27954 SOS 17301 HAS SOPS 17301 HAS SOUS 8643 HAS SOUPS 8643 WITH SCORE 8660.301
AT ITER 569 NEW BEST:: SOT 27950 SOS 17247 HAS SOPS 17247 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8649.247
AT ITER 580 NEW BEST:: SOT 27949 SOS 17246 HAS SOPS 17246 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8648.246
AT ITER 583 NEW BEST:: SOT 27943 SOS 17228 HAS SOPS 17228 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8648.228
AT ITER 587 NEW BEST:: SOT 27985 SOS 17269 HAS SOPS 17269 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8635.269
AT ITER 591 NEW BEST:: SOT 27971 SOS 17651 HAS SOPS 17651 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8627.651
AT ITER 592 NEW BEST:: SOT 27961 SOS 17698 HAS SOPS 17698 HAS SOUS 8605 HAS SOUPS 8605 WITH SCORE 8622.698
AT ITER 597 NEW BEST:: SOT 27933 SOS 17650 HAS SOPS 17650 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8616.65
AT ITER 605 NEW BEST:: SOT 27931 SOS 17770 HAS SOPS 17770 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8514.77
AT ITER 609 NEW BEST:: SOT 27923 SOS 17762 HAS SOPS 17762 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8498.762
AT ITER 614 NEW BEST:: SOT 27919 SOS 17758 HAS SOPS 17758 HAS SOUS 8481 HAS SOUPS 8481 WITH SCORE 8498.758
AT ITER 627 NEW BEST:: SOT 27867 SOS 17650 HAS SOPS 17650 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8418.65
AT ITER 630 NEW BEST:: SOT 27855 SOS 17642 HAS SOPS 17642 HAS SOUS 8385 HAS SOUPS 8385 WITH SCORE 8402.642
AT ITER 632 NEW BEST:: SOT 27843 SOS 17630 HAS SOPS 17630 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8390.63
AT ITER 645 NEW BEST:: SOT 27853 SOS 17031 HAS SOPS 17031 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8389.031
AT ITER 648 NEW BEST:: SOT 27837 SOS 17052 HAS SOPS 17052 HAS SOUS 8339 HAS SOUPS 8339 WITH SCORE 8356.052
AT ITER 649 NEW BEST:: SOT 27827 SOS 17052 HAS SOPS 17052 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8354.052
AT ITER 667 NEW BEST:: SOT 27818 SOS 17040 HAS SOPS 17040 HAS SOUS 8325 HAS SOUPS 8325 WITH SCORE 8342.04
AT ITER 668 NEW BEST:: SOT 27818 SOS 17043 HAS SOPS 17043 HAS SOUS 8322 HAS SOUPS 8322 WITH SCORE 8339.043
AT ITER 674 NEW BEST:: SOT 27814 SOS 17030 HAS SOPS 17030 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8324.03
AT ITER 676 NEW BEST:: SOT 27822 SOS 17059 HAS SOPS 17059 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8321.059
AT ITER 683 NEW BEST:: SOT 27819 SOS 17045 HAS SOPS 17045 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8310.045
AT ITER 684 NEW BEST:: SOT 27816 SOS 17042 HAS SOPS 17042 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8279.042
AT ITER 687 NEW BEST:: SOT 27817 SOS 17041 HAS SOPS 17041 HAS SOUS 8255 HAS SOUPS 8255 WITH SCORE 8272.041
AT ITER 691 NEW BEST:: SOT 27783 SOS 16998 HAS SOPS 16998 HAS SOUS 8209 HAS SOUPS 8209 WITH SCORE 8225.998
AT ITER 698 NEW BEST:: SOT 27779 SOS 16994 HAS SOPS 16994 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8219.994
AT ITER 699 NEW BEST:: SOT 27820 SOS 17015 HAS SOPS 17015 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8219.015
AT ITER 735 NEW BEST:: SOT 27814 SOS 17003 HAS SOPS 17003 HAS SOUS 8196 HAS SOUPS 8196 WITH SCORE 8213.003
AT ITER 738 NEW BEST:: SOT 27800 SOS 16956 HAS SOPS 16956 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8187.956
AT ITER 740 NEW BEST:: SOT 27794 SOS 16950 HAS SOPS 16950 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8185.95
AT ITER 743 NEW BEST:: SOT 27788 SOS 16944 HAS SOPS 16944 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8185.944
AT ITER 750 NEW BEST:: SOT 27800 SOS 16958 HAS SOPS 16958 HAS SOUS 8163 HAS SOUPS 8163 WITH SCORE 8179.958
AT ITER 752 NEW BEST:: SOT 27828 SOS 16986 HAS SOPS 16986 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8160.986
AT ITER 754 NEW BEST:: SOT 27824 SOS 16946 HAS SOPS 16946 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8131.946
AT ITER 757 NEW BEST:: SOT 27813 SOS 16902 HAS SOPS 16902 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8131.902
AT ITER 761 NEW BEST:: SOT 27791 SOS 16893 HAS SOPS 16893 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8129.893
AT ITER 763 NEW BEST:: SOT 27762 SOS 16799 HAS SOPS 16799 HAS SOUS 8084 HAS SOUPS 8084 WITH SCORE 8100.799
AT ITER 765 NEW BEST:: SOT 27749 SOS 16786 HAS SOPS 16786 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8074.786
AT ITER 771 NEW BEST:: SOT 27744 SOS 16768 HAS SOPS 16768 HAS SOUS 8035 HAS SOUPS 8035 WITH SCORE 8051.768
AT ITER 796 NEW BEST:: SOT 27744 SOS 16768 HAS SOPS 16768 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8040.768
AT ITER 833 NEW BEST:: SOT 27606 SOS 16630 HAS SOPS 16630 HAS SOUS 8018 HAS SOUPS 8018 WITH SCORE 8034.63
AT ITER 834 NEW BEST:: SOT 27611 SOS 16598 HAS SOPS 16598 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7994.598
AT ITER 837 NEW BEST:: SOT 27547 SOS 16502 HAS SOPS 16502 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7994.502
AT ITER 844 NEW BEST:: SOT 27540 SOS 16449 HAS SOPS 16449 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7941.449
AT ITER 849 NEW BEST:: SOT 27535 SOS 16430 HAS SOPS 16430 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7940.43
AT ITER 858 NEW BEST:: SOT 27463 SOS 16315 HAS SOPS 16315 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7859.315
AT ITER 864 NEW BEST:: SOT 27437 SOS 16272 HAS SOPS 16272 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7833.272
AT ITER 887 NEW BEST:: SOT 27446 SOS 16260 HAS SOPS 16260 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7829.26
AT ITER 895 NEW BEST:: SOT 27378 SOS 16054 HAS SOPS 16054 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7739.054
AT ITER 911 NEW BEST:: SOT 27377 SOS 16052 HAS SOPS 16052 HAS SOUS 7723 HAS SOUPS 7723 WITH SCORE 7739.052
AT ITER 935 NEW BEST:: SOT 27366 SOS 16041 HAS SOPS 16041 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7728.041
AT ITER 939 NEW BEST:: SOT 27366 SOS 16034 HAS SOPS 16034 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7728.034
AT ITER 940 NEW BEST:: SOT 27366 SOS 16028 HAS SOPS 16028 HAS SOUS 7709 HAS SOUPS 7709 WITH SCORE 7725.028
AT ITER 943 NEW BEST:: SOT 27333 SOS 15962 HAS SOPS 15962 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7691.962
AT ITER 951 NEW BEST:: SOT 27341 SOS 15970 HAS SOPS 15970 HAS SOUS 7674 HAS SOUPS 7674 WITH SCORE 7689.97
AT ITER 979 NEW BEST:: SOT 27359 SOS 16006 HAS SOPS 16006 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7642.006
AT ITER 991 NEW BEST:: SOT 27356 SOS 16003 HAS SOPS 16003 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7637.003
AT ITER 1012 NEW BEST:: SOT 27356 SOS 16003 HAS SOPS 16003 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7630.003
AT ITER 1028 NEW BEST:: SOT 27317 SOS 15964 HAS SOPS 15964 HAS SOUS 7609 HAS SOUPS 7609 WITH SCORE 7624.964
AT ITER 1035 NEW BEST:: SOT 27301 SOS 15932 HAS SOPS 15932 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7593.932
AT ITER 1038 NEW BEST:: SOT 27300 SOS 15937 HAS SOPS 15937 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7578.937
AT ITER 1039 NEW BEST:: SOT 27235 SOS 15807 HAS SOPS 15807 HAS SOUS 7527 HAS SOUPS 7527 WITH SCORE 7542.807
AT ITER 1043 NEW BEST:: SOT 27234 SOS 15770 HAS SOPS 15770 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7515.77
AT ITER 1045 NEW BEST:: SOT 27136 SOS 15672 HAS SOPS 15672 HAS SOUS 7430 HAS SOUPS 7430 WITH SCORE 7445.672
AT ITER 1055 NEW BEST:: SOT 27177 SOS 15694 HAS SOPS 15694 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7391.694
AT ITER 1100 NEW BEST:: SOT 27149 SOS 15663 HAS SOPS 15663 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7348.663
AT ITER 1126 NEW BEST:: SOT 27149 SOS 15663 HAS SOPS 15663 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7332.663
AT ITER 1134 NEW BEST:: SOT 27121 SOS 15654 HAS SOPS 15654 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7317.654
AT ITER 1135 NEW BEST:: SOT 27113 SOS 15659 HAS SOPS 15659 HAS SOUS 7255 HAS SOUPS 7255 WITH SCORE 7270.659
AT ITER 1137 NEW BEST:: SOT 27119 SOS 15654 HAS SOPS 15654 HAS SOUS 7252 HAS SOUPS 7252 WITH SCORE 7267.654
AT ITER 1138 NEW BEST:: SOT 27118 SOS 15660 HAS SOPS 15660 HAS SOUS 7246 HAS SOUPS 7246 WITH SCORE 7261.66
AT ITER 1164 NEW BEST:: SOT 27118 SOS 15678 HAS SOPS 15678 HAS SOUS 7237 HAS SOUPS 7237 WITH SCORE 7252.678
AT ITER 1166 NEW BEST:: SOT 27114 SOS 15676 HAS SOPS 15676 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7250.676
AT ITER 1193 NEW BEST:: SOT 27068 SOS 15567 HAS SOPS 15567 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7192.567
AT ITER 1197 NEW BEST:: SOT 27064 SOS 15565 HAS SOPS 15565 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7192.565
AT ITER 1200 NEW BEST:: SOT 27056 SOS 15557 HAS SOPS 15557 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7184.557
AT ITER 1201 NEW BEST:: SOT 27038 SOS 15539 HAS SOPS 15539 HAS SOUS 7145 HAS SOUPS 7145 WITH SCORE 7160.539
AT ITER 1203 NEW BEST:: SOT 27034 SOS 15535 HAS SOPS 15535 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7152.535
AT ITER 1223 NEW BEST:: SOT 26984 SOS 15409 HAS SOPS 15409 HAS SOUS 7121 HAS SOUPS 7121 WITH SCORE 7136.409
AT ITER 1227 NEW BEST:: SOT 26977 SOS 15405 HAS SOPS 15405 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7135.405
AT ITER 1228 NEW BEST:: SOT 26977 SOS 15405 HAS SOPS 15405 HAS SOUS 7115 HAS SOUPS 7115 WITH SCORE 7130.405
AT ITER 1249 NEW BEST:: SOT 26954 SOS 15341 HAS SOPS 15341 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7120.341
AT ITER 1251 NEW BEST:: SOT 26953 SOS 15340 HAS SOPS 15340 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7118.34
AT ITER 1253 NEW BEST:: SOT 26950 SOS 15337 HAS SOPS 15337 HAS SOUS 7103 HAS SOUPS 7103 WITH SCORE 7118.337
AT ITER 1268 NEW BEST:: SOT 26946 SOS 15367 HAS SOPS 15367 HAS SOUS 7095 HAS SOUPS 7095 WITH SCORE 7110.367
AT ITER 1271 NEW BEST:: SOT 26924 SOS 15327 HAS SOPS 15327 HAS SOUS 7058 HAS SOUPS 7058 WITH SCORE 7073.327
AT ITER 1279 NEW BEST:: SOT 26979 SOS 15389 HAS SOPS 15389 HAS SOUS 7046 HAS SOUPS 7046 WITH SCORE 7061.389
AT ITER 1280 NEW BEST:: SOT 26963 SOS 15321 HAS SOPS 15321 HAS SOUS 7030 HAS SOUPS 7030 WITH SCORE 7045.321
AT ITER 1284 NEW BEST:: SOT 26947 SOS 15294 HAS SOPS 15294 HAS SOUS 7014 HAS SOUPS 7014 WITH SCORE 7029.294
AT ITER 1292 NEW BEST:: SOT 26923 SOS 15268 HAS SOPS 15268 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7011.268
AT ITER 1293 NEW BEST:: SOT 26908 SOS 15238 HAS SOPS 15238 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6984.238
AT ITER 1310 NEW BEST:: SOT 26908 SOS 15237 HAS SOPS 15237 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6984.237
AT ITER 1311 NEW BEST:: SOT 26905 SOS 15231 HAS SOPS 15231 HAS SOUS 6963 HAS SOUPS 6963 WITH SCORE 6978.231
AT ITER 1361 NEW BEST:: SOT 26890 SOS 15216 HAS SOPS 15216 HAS SOUS 6945 HAS SOUPS 6945 WITH SCORE 6960.216
AT ITER 1372 NEW BEST:: SOT 26886 SOS 15208 HAS SOPS 15208 HAS SOUS 6941 HAS SOUPS 6941 WITH SCORE 6956.208
AT ITER 1375 NEW BEST:: SOT 26885 SOS 15204 HAS SOPS 15204 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6954.204
AT ITER 1380 NEW BEST:: SOT 26868 SOS 15167 HAS SOPS 15167 HAS SOUS 6908 HAS SOUPS 6908 WITH SCORE 6923.167
AT ITER 1387 NEW BEST:: SOT 26881 SOS 15136 HAS SOPS 15136 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6914.136
AT ITER 1438 NEW BEST:: SOT 26874 SOS 15124 HAS SOPS 15124 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6908.124
AT ITER 1445 NEW BEST:: SOT 26866 SOS 15136 HAS SOPS 15136 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6892.136
AT ITER 1467 NEW BEST:: SOT 26863 SOS 15133 HAS SOPS 15133 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6888.133
AT ITER 1472 NEW BEST:: SOT 26861 SOS 15126 HAS SOPS 15126 HAS SOUS 6873 HAS SOUPS 6873 WITH SCORE 6888.126
AT ITER 1481 NEW BEST:: SOT 26861 SOS 15126 HAS SOPS 15126 HAS SOUS 6866 HAS SOUPS 6866 WITH SCORE 6881.126
AT ITER 1500 NEW BEST:: SOT 26858 SOS 15123 HAS SOPS 15123 HAS SOUS 6863 HAS SOUPS 6863 WITH SCORE 6878.123
AT ITER 1506 NEW BEST:: SOT 26814 SOS 15072 HAS SOPS 15072 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6871.072
AT ITER 1507 NEW BEST:: SOT 26771 SOS 15070 HAS SOPS 15070 HAS SOUS 6833 HAS SOUPS 6833 WITH SCORE 6848.07
AT ITER 1508 NEW BEST:: SOT 26762 SOS 15040 HAS SOPS 15040 HAS SOUS 6815 HAS SOUPS 6815 WITH SCORE 6830.04
AT ITER 1526 NEW BEST:: SOT 26733 SOS 15008 HAS SOPS 15008 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6814.008
AT ITER 1556 NEW BEST:: SOT 26742 SOS 14861 HAS SOPS 14861 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6803.861
AT ITER 1557 NEW BEST:: SOT 26749 SOS 14885 HAS SOPS 14885 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6796.885
AT ITER 1562 NEW BEST:: SOT 26746 SOS 14880 HAS SOPS 14880 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6790.88
AT ITER 1589 NEW BEST:: SOT 26735 SOS 14869 HAS SOPS 14869 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6773.869
AT ITER 1590 NEW BEST:: SOT 26735 SOS 14844 HAS SOPS 14844 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6773.844
AT ITER 1592 NEW BEST:: SOT 26729 SOS 14832 HAS SOPS 14832 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6760.832
AT ITER 1606 NEW BEST:: SOT 26712 SOS 14825 HAS SOPS 14825 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6755.825
AT ITER 1615 NEW BEST:: SOT 26716 SOS 14829 HAS SOPS 14829 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6751.829
AT ITER 1639 NEW BEST:: SOT 26703 SOS 14801 HAS SOPS 14801 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6723.801
AT ITER 1645 NEW BEST:: SOT 26717 SOS 14815 HAS SOPS 14815 HAS SOUS 6708 HAS SOUPS 6708 WITH SCORE 6722.815
AT ITER 1658 NEW BEST:: SOT 26703 SOS 14792 HAS SOPS 14792 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6690.792
AT ITER 1671 NEW BEST:: SOT 26697 SOS 14782 HAS SOPS 14782 HAS SOUS 6666 HAS SOUPS 6666 WITH SCORE 6680.782
AT ITER 1682 NEW BEST:: SOT 26698 SOS 14794 HAS SOPS 14794 HAS SOUS 6665 HAS SOUPS 6665 WITH SCORE 6679.794
AT ITER 1705 NEW BEST:: SOT 26630 SOS 14677 HAS SOPS 14677 HAS SOUS 6627 HAS SOUPS 6627 WITH SCORE 6641.677
AT ITER 1707 NEW BEST:: SOT 26622 SOS 14665 HAS SOPS 14665 HAS SOUS 6615 HAS SOUPS 6615 WITH SCORE 6629.665
AT ITER 1730 NEW BEST:: SOT 26606 SOS 14649 HAS SOPS 14649 HAS SOUS 6570 HAS SOUPS 6570 WITH SCORE 6584.649
AT ITER 1737 NEW BEST:: SOT 26594 SOS 14633 HAS SOPS 14633 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6552.633
AT ITER 1739 NEW BEST:: SOT 26584 SOS 14613 HAS SOPS 14613 HAS SOUS 6523 HAS SOUPS 6523 WITH SCORE 6537.613
AT ITER 1753 NEW BEST:: SOT 26590 SOS 14593 HAS SOPS 14593 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6533.593
AT ITER 1789 NEW BEST:: SOT 26589 SOS 14592 HAS SOPS 14592 HAS SOUS 6518 HAS SOUPS 6518 WITH SCORE 6532.592
AT ITER 1795 NEW BEST:: SOT 26590 SOS 14553 HAS SOPS 14553 HAS SOUS 6469 HAS SOUPS 6469 WITH SCORE 6483.553
AT ITER 1829 NEW BEST:: SOT 26577 SOS 14540 HAS SOPS 14540 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6479.54
AT ITER 1836 NEW BEST:: SOT 26574 SOS 14525 HAS SOPS 14525 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6452.525
AT ITER 1857 NEW BEST:: SOT 26573 SOS 14523 HAS SOPS 14523 HAS SOUS 6437 HAS SOUPS 6437 WITH SCORE 6451.523
AT ITER 1866 NEW BEST:: SOT 26570 SOS 14495 HAS SOPS 14495 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6431.495
AT ITER 1881 NEW BEST:: SOT 26558 SOS 14483 HAS SOPS 14483 HAS SOUS 6393 HAS SOUPS 6393 WITH SCORE 6407.483
AT ITER 1882 NEW BEST:: SOT 26498 SOS 14423 HAS SOPS 14423 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6383.423
AT ITER 1893 NEW BEST:: SOT 26500 SOS 14427 HAS SOPS 14427 HAS SOUS 6365 HAS SOUPS 6365 WITH SCORE 6379.427
AT ITER 1904 NEW BEST:: SOT 26494 SOS 14421 HAS SOPS 14421 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6358.421
AT ITER 1913 NEW BEST:: SOT 26501 SOS 14428 HAS SOPS 14428 HAS SOUS 6330 HAS SOUPS 6330 WITH SCORE 6344.428
AT ITER 1920 NEW BEST:: SOT 26511 SOS 14431 HAS SOPS 14431 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6340.431
AT ITER 1928 NEW BEST:: SOT 26507 SOS 14450 HAS SOPS 14450 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6339.45
AT ITER 1929 NEW BEST:: SOT 26510 SOS 14454 HAS SOPS 14454 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6338.454
AT ITER 1931 NEW BEST:: SOT 26523 SOS 14464 HAS SOPS 14464 HAS SOUS 6312 HAS SOUPS 6312 WITH SCORE 6326.464
AT ITER 1943 NEW BEST:: SOT 26505 SOS 14428 HAS SOPS 14428 HAS SOUS 6294 HAS SOUPS 6294 WITH SCORE 6308.428
AT ITER 1944 NEW BEST:: SOT 26501 SOS 14420 HAS SOPS 14420 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6304.42
AT ITER 1953 NEW BEST:: SOT 26513 SOS 14417 HAS SOPS 14417 HAS SOUS 6286 HAS SOUPS 6286 WITH SCORE 6300.417
AT ITER 1962 NEW BEST:: SOT 26528 SOS 14423 HAS SOPS 14423 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6291.423
AT ITER 1981 NEW BEST:: SOT 26507 SOS 14208 HAS SOPS 14208 HAS SOUS 6273 HAS SOUPS 6273 WITH SCORE 6287.208
AT ITER 2011 NEW BEST:: SOT 26509 SOS 14210 HAS SOPS 14210 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6286.21
AT ITER 2033 NEW BEST:: SOT 26502 SOS 14207 HAS SOPS 14207 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6286.207
AT ITER 2040 NEW BEST:: SOT 26471 SOS 14175 HAS SOPS 14175 HAS SOUS 6226 HAS SOUPS 6226 WITH SCORE 6240.175
AT ITER 2053 NEW BEST:: SOT 26467 SOS 14163 HAS SOPS 14163 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6228.163
AT ITER 2057 NEW BEST:: SOT 26447 SOS 14153 HAS SOPS 14153 HAS SOUS 6214 HAS SOUPS 6214 WITH SCORE 6228.153
AT ITER 2099 NEW BEST:: SOT 26447 SOS 14156 HAS SOPS 14156 HAS SOUS 6174 HAS SOUPS 6174 WITH SCORE 6188.156
AT ITER 2136 NEW BEST:: SOT 26447 SOS 14154 HAS SOPS 14154 HAS SOUS 6173 HAS SOUPS 6173 WITH SCORE 6187.154
AT ITER 2142 NEW BEST:: SOT 26441 SOS 14154 HAS SOPS 14154 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6181.154
AT ITER 2165 NEW BEST:: SOT 26433 SOS 14146 HAS SOPS 14146 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6164.146
AT ITER 2169 NEW BEST:: SOT 26425 SOS 14134 HAS SOPS 14134 HAS SOUS 6142 HAS SOUPS 6142 WITH SCORE 6156.134
AT ITER 2190 NEW BEST:: SOT 26422 SOS 14132 HAS SOPS 14132 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6153.132
AT ITER 2215 NEW BEST:: SOT 26418 SOS 14124 HAS SOPS 14124 HAS SOUS 6137 HAS SOUPS 6137 WITH SCORE 6151.124
AT ITER 2231 NEW BEST:: SOT 26412 SOS 14118 HAS SOPS 14118 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6141.118
AT ITER 2237 NEW BEST:: SOT 26400 SOS 14106 HAS SOPS 14106 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6129.106
AT ITER 2253 NEW BEST:: SOT 26394 SOS 14103 HAS SOPS 14103 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6129.103
AT ITER 2257 NEW BEST:: SOT 26394 SOS 14092 HAS SOPS 14092 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6129.092
AT ITER 2266 NEW BEST:: SOT 26417 SOS 14115 HAS SOPS 14115 HAS SOUS 6088 HAS SOUPS 6088 WITH SCORE 6102.115
AT ITER 2284 NEW BEST:: SOT 26417 SOS 14115 HAS SOPS 14115 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6101.115
AT ITER 2295 NEW BEST:: SOT 26433 SOS 14135 HAS SOPS 14135 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6095.135
AT ITER 2323 NEW BEST:: SOT 26441 SOS 14128 HAS SOPS 14128 HAS SOUS 6076 HAS SOUPS 6076 WITH SCORE 6090.128
AT ITER 2348 NEW BEST:: SOT 26438 SOS 14120 HAS SOPS 14120 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6083.12
AT ITER 2361 NEW BEST:: SOT 26439 SOS 14120 HAS SOPS 14120 HAS SOUS 6068 HAS SOUPS 6068 WITH SCORE 6082.12
AT ITER 2391 NEW BEST:: SOT 26392 SOS 14051 HAS SOPS 14051 HAS SOUS 5998 HAS SOUPS 5998 WITH SCORE 6012.051
AT ITER 2395 NEW BEST:: SOT 26358 SOS 14018 HAS SOPS 14018 HAS SOUS 5965 HAS SOUPS 5965 WITH SCORE 5979.018
AT ITER 2413 NEW BEST:: SOT 26347 SOS 14022 HAS SOPS 14022 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5977.022
AT ITER 2442 NEW BEST:: SOT 26344 SOS 14017 HAS SOPS 14017 HAS SOUS 5954 HAS SOUPS 5954 WITH SCORE 5968.017
AT ITER 2470 NEW BEST:: SOT 26347 SOS 13964 HAS SOPS 13964 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5933.964
AT ITER 2498 NEW BEST:: SOT 26346 SOS 13963 HAS SOPS 13963 HAS SOUS 5918 HAS SOUPS 5918 WITH SCORE 5931.963
AT ITER 2506 NEW BEST:: SOT 26321 SOS 13938 HAS SOPS 13938 HAS SOUS 5893 HAS SOUPS 5893 WITH SCORE 5906.938
AT ITER 2509 NEW BEST:: SOT 26279 SOS 13878 HAS SOPS 13878 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5874.878
AT ITER 2557 NEW BEST:: SOT 26271 SOS 13870 HAS SOPS 13870 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5847.87
AT ITER 2563 NEW BEST:: SOT 26271 SOS 13870 HAS SOPS 13870 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5845.87
AT ITER 2591 NEW BEST:: SOT 26300 SOS 13906 HAS SOPS 13906 HAS SOUS 5831 HAS SOUPS 5831 WITH SCORE 5844.906
AT ITER 2630 NEW BEST:: SOT 26310 SOS 13916 HAS SOPS 13916 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5842.916
AT ITER 2642 NEW BEST:: SOT 26316 SOS 13912 HAS SOPS 13912 HAS SOUS 5814 HAS SOUPS 5814 WITH SCORE 5827.912
AT ITER 2647 NEW BEST:: SOT 26341 SOS 13928 HAS SOPS 13928 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5823.928
AT ITER 2675 NEW BEST:: SOT 26335 SOS 13916 HAS SOPS 13916 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5814.916
AT ITER 2678 NEW BEST:: SOT 26326 SOS 13881 HAS SOPS 13881 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5805.881
AT ITER 2681 NEW BEST:: SOT 26303 SOS 13858 HAS SOPS 13858 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5759.858
AT ITER 2697 NEW BEST:: SOT 26302 SOS 13857 HAS SOPS 13857 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5759.857
AT ITER 2709 NEW BEST:: SOT 26288 SOS 13835 HAS SOPS 13835 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5748.835
AT ITER 2720 NEW BEST:: SOT 26284 SOS 13823 HAS SOPS 13823 HAS SOUS 5727 HAS SOUPS 5727 WITH SCORE 5740.823
AT ITER 2731 NEW BEST:: SOT 26276 SOS 13807 HAS SOPS 13807 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5732.807
AT ITER 2740 NEW BEST:: SOT 26262 SOS 13781 HAS SOPS 13781 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5708.781
AT ITER 2762 NEW BEST:: SOT 26241 SOS 13760 HAS SOPS 13760 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5690.76
AT ITER 2764 NEW BEST:: SOT 26240 SOS 13759 HAS SOPS 13759 HAS SOUS 5676 HAS SOUPS 5676 WITH SCORE 5689.759
AT ITER 2791 NEW BEST:: SOT 26236 SOS 13745 HAS SOPS 13745 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5683.745
AT ITER 2802 NEW BEST:: SOT 26235 SOS 13744 HAS SOPS 13744 HAS SOUS 5668 HAS SOUPS 5668 WITH SCORE 5681.744
AT ITER 2811 NEW BEST:: SOT 26232 SOS 13735 HAS SOPS 13735 HAS SOUS 5665 HAS SOUPS 5665 WITH SCORE 5678.735
AT ITER 2861 NEW BEST:: SOT 26246 SOS 13749 HAS SOPS 13749 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5667.749
AT ITER 2883 NEW BEST:: SOT 26210 SOS 13719 HAS SOPS 13719 HAS SOUS 5654 HAS SOUPS 5654 WITH SCORE 5667.719
AT ITER 2908 NEW BEST:: SOT 26207 SOS 13713 HAS SOPS 13713 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5661.713
AT ITER 2915 NEW BEST:: SOT 26195 SOS 13688 HAS SOPS 13688 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5644.688
AT ITER 2929 NEW BEST:: SOT 26192 SOS 13686 HAS SOPS 13686 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5631.686
AT ITER 2954 NEW BEST:: SOT 26192 SOS 13714 HAS SOPS 13714 HAS SOUS 5590 HAS SOUPS 5590 WITH SCORE 5603.714
AT ITER 2982 NEW BEST:: SOT 26189 SOS 13756 HAS SOPS 13756 HAS SOUS 5588 HAS SOUPS 5588 WITH SCORE 5601.756
AT ITER 3005 NEW BEST:: SOT 26194 SOS 13760 HAS SOPS 13760 HAS SOUS 5586 HAS SOUPS 5586 WITH SCORE 5599.76
AT ITER 3027 NEW BEST:: SOT 26187 SOS 13760 HAS SOPS 13760 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5592.76
AT ITER 3041 NEW BEST:: SOT 26167 SOS 13740 HAS SOPS 13740 HAS SOUS 5563 HAS SOUPS 5563 WITH SCORE 5576.74
AT ITER 3061 NEW BEST:: SOT 26170 SOS 13723 HAS SOPS 13723 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5529.723
AT ITER 3092 NEW BEST:: SOT 26183 SOS 13713 HAS SOPS 13713 HAS SOUS 5485 HAS SOUPS 5485 WITH SCORE 5498.713
AT ITER 3109 NEW BEST:: SOT 26269 SOS 13888 HAS SOPS 13888 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5483.888
AT ITER 3148 NEW BEST:: SOT 26269 SOS 13885 HAS SOPS 13885 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5483.885
AT ITER 3156 NEW BEST:: SOT 26281 SOS 13830 HAS SOPS 13830 HAS SOUS 5463 HAS SOUPS 5463 WITH SCORE 5476.83
AT ITER 3180 NEW BEST:: SOT 26279 SOS 13826 HAS SOPS 13826 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5468.826
AT ITER 3186 NEW BEST:: SOT 26278 SOS 13808 HAS SOPS 13808 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5467.808
AT ITER 3223 NEW BEST:: SOT 26302 SOS 12905 HAS SOPS 12905 HAS SOUS 5443 HAS SOUPS 5443 WITH SCORE 5455.905
AT ITER 3256 NEW BEST:: SOT 26296 SOS 12898 HAS SOPS 12898 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5450.898
AT ITER 3262 NEW BEST:: SOT 26283 SOS 12852 HAS SOPS 12852 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5436.852
AT ITER 3264 NEW BEST:: SOT 26283 SOS 12885 HAS SOPS 12885 HAS SOUS 5421 HAS SOUPS 5421 WITH SCORE 5433.885
AT ITER 3265 NEW BEST:: SOT 26262 SOS 12803 HAS SOPS 12803 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5418.803
AT ITER 3275 NEW BEST:: SOT 26261 SOS 12802 HAS SOPS 12802 HAS SOUS 5403 HAS SOUPS 5403 WITH SCORE 5415.802
AT ITER 3279 NEW BEST:: SOT 26259 SOS 12800 HAS SOPS 12800 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5411.8
AT ITER 3281 NEW BEST:: SOT 26259 SOS 12799 HAS SOPS 12799 HAS SOUS 5399 HAS SOUPS 5399 WITH SCORE 5411.799
AT ITER 3333 NEW BEST:: SOT 26241 SOS 12773 HAS SOPS 12773 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5387.773
AT ITER 3334 NEW BEST:: SOT 26237 SOS 12769 HAS SOPS 12769 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5387.769
AT ITER 3368 NEW BEST:: SOT 26228 SOS 12752 HAS SOPS 12752 HAS SOUS 5370 HAS SOUPS 5370 WITH SCORE 5382.752
AT ITER 3402 NEW BEST:: SOT 26219 SOS 12743 HAS SOPS 12743 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5376.743
AT ITER 3407 NEW BEST:: SOT 26218 SOS 12704 HAS SOPS 12704 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5355.704
AT ITER 3415 NEW BEST:: SOT 26218 SOS 12538 HAS SOPS 12538 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5351.538
AT ITER 3417 NEW BEST:: SOT 26218 SOS 12534 HAS SOPS 12534 HAS SOUS 5339 HAS SOUPS 5339 WITH SCORE 5351.534
AT ITER 3431 NEW BEST:: SOT 26265 SOS 12526 HAS SOPS 12526 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5341.526
AT ITER 3438 NEW BEST:: SOT 26253 SOS 12523 HAS SOPS 12523 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5333.523
AT ITER 3552 NEW BEST:: SOT 26227 SOS 12434 HAS SOPS 12434 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5328.434
AT ITER 3568 NEW BEST:: SOT 26220 SOS 12418 HAS SOPS 12418 HAS SOUS 5302 HAS SOUPS 5302 WITH SCORE 5314.418
AT ITER 3587 NEW BEST:: SOT 26219 SOS 12417 HAS SOPS 12417 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5312.417
AT ITER 3602 NEW BEST:: SOT 26219 SOS 12416 HAS SOPS 12416 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5310.416
AT ITER 3608 NEW BEST:: SOT 26212 SOS 12446 HAS SOPS 12446 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5290.446
AT ITER 3614 NEW BEST:: SOT 26218 SOS 12598 HAS SOPS 12598 HAS SOUS 5260 HAS SOUPS 5260 WITH SCORE 5272.598
AT ITER 3621 NEW BEST:: SOT 26273 SOS 12640 HAS SOPS 12640 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5263.64
AT ITER 3663 NEW BEST:: SOT 26262 SOS 12629 HAS SOPS 12629 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5252.629
AT ITER 3690 NEW BEST:: SOT 26230 SOS 12597 HAS SOPS 12597 HAS SOUS 5227 HAS SOUPS 5227 WITH SCORE 5239.597
AT ITER 3718 NEW BEST:: SOT 26213 SOS 12581 HAS SOPS 12581 HAS SOUS 5210 HAS SOUPS 5210 WITH SCORE 5222.581
AT ITER 3727 NEW BEST:: SOT 26203 SOS 12558 HAS SOPS 12558 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5188.558
AT ITER 3750 NEW BEST:: SOT 26198 SOS 12545 HAS SOPS 12545 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5156.545
AT ITER 3761 NEW BEST:: SOT 26189 SOS 12536 HAS SOPS 12536 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5147.536
AT ITER 3770 NEW BEST:: SOT 26179 SOS 12517 HAS SOPS 12517 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5133.517
AT ITER 3772 NEW BEST:: SOT 26178 SOS 12516 HAS SOPS 12516 HAS SOUS 5120 HAS SOUPS 5120 WITH SCORE 5132.516
AT ITER 3824 NEW BEST:: SOT 26177 SOS 12515 HAS SOPS 12515 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5130.515
AT ITER 3837 NEW BEST:: SOT 26186 SOS 12510 HAS SOPS 12510 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5125.51
AT ITER 3845 NEW BEST:: SOT 26185 SOS 12508 HAS SOPS 12508 HAS SOUS 5111 HAS SOUPS 5111 WITH SCORE 5123.508
AT ITER 3854 NEW BEST:: SOT 26185 SOS 12505 HAS SOPS 12505 HAS SOUS 5098 HAS SOUPS 5098 WITH SCORE 5110.505
AT ITER 3855 NEW BEST:: SOT 26151 SOS 12450 HAS SOPS 12450 HAS SOUS 5074 HAS SOUPS 5074 WITH SCORE 5086.45
AT ITER 3910 NEW BEST:: SOT 26129 SOS 12428 HAS SOPS 12428 HAS SOUS 5031 HAS SOUPS 5031 WITH SCORE 5043.428
AT ITER 3924 NEW BEST:: SOT 26124 SOS 12414 HAS SOPS 12414 HAS SOUS 5024 HAS SOUPS 5024 WITH SCORE 5036.414
AT ITER 3925 NEW BEST:: SOT 26126 SOS 12441 HAS SOPS 12441 HAS SOUS 5013 HAS SOUPS 5013 WITH SCORE 5025.441
AT ITER 3928 NEW BEST:: SOT 26126 SOS 12429 HAS SOPS 12429 HAS SOUS 5009 HAS SOUPS 5009 WITH SCORE 5021.429
AT ITER 3949 NEW BEST:: SOT 26125 SOS 12436 HAS SOPS 12436 HAS SOUS 5007 HAS SOUPS 5007 WITH SCORE 5019.436
AT ITER 3952 NEW BEST:: SOT 26125 SOS 12437 HAS SOPS 12437 HAS SOUS 5006 HAS SOUPS 5006 WITH SCORE 5018.437
AT ITER 3979 NEW BEST:: SOT 26122 SOS 12436 HAS SOPS 12436 HAS SOUS 5004 HAS SOUPS 5004 WITH SCORE 5016.436
AT ITER 4000 NEW BEST:: SOT 26125 SOS 12442 HAS SOPS 12442 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5015.442
AT ITER 4023 NEW BEST:: SOT 26125 SOS 12442 HAS SOPS 12442 HAS SOUS 5002 HAS SOUPS 5002 WITH SCORE 5014.442
AT ITER 4072 NEW BEST:: SOT 26125 SOS 12422 HAS SOPS 12422 HAS SOUS 4992 HAS SOUPS 4992 WITH SCORE 5004.422
AT ITER 4090 NEW BEST:: SOT 26112 SOS 12386 HAS SOPS 12386 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4997.386
AT ITER 4097 NEW BEST:: SOT 26123 SOS 12378 HAS SOPS 12378 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4989.378
AT ITER 4104 NEW BEST:: SOT 26096 SOS 12345 HAS SOPS 12345 HAS SOUS 4932 HAS SOUPS 4932 WITH SCORE 4944.345
AT ITER 4109 NEW BEST:: SOT 26093 SOS 12346 HAS SOPS 12346 HAS SOUS 4928 HAS SOUPS 4928 WITH SCORE 4940.346
AT ITER 4120 NEW BEST:: SOT 26094 SOS 12345 HAS SOPS 12345 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4939.345
AT ITER 4122 NEW BEST:: SOT 26094 SOS 12345 HAS SOPS 12345 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4935.345
AT ITER 4159 NEW BEST:: SOT 26080 SOS 12342 HAS SOPS 12342 HAS SOUS 4920 HAS SOUPS 4920 WITH SCORE 4932.342
AT ITER 4263 NEW BEST:: SOT 26080 SOS 12328 HAS SOPS 12328 HAS SOUS 4903 HAS SOUPS 4903 WITH SCORE 4915.328
AT ITER 4309 NEW BEST:: SOT 26077 SOS 12334 HAS SOPS 12334 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4913.334
AT ITER 4368 NEW BEST:: SOT 25938 SOS 12363 HAS SOPS 12363 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4841.363
AT ITER 4387 NEW BEST:: SOT 25939 SOS 12363 HAS SOPS 12363 HAS SOUS 4828 HAS SOUPS 4828 WITH SCORE 4840.363
AT ITER 4398 NEW BEST:: SOT 25922 SOS 12341 HAS SOPS 12341 HAS SOUS 4788 HAS SOUPS 4788 WITH SCORE 4800.341
AT ITER 4404 NEW BEST:: SOT 25927 SOS 12299 HAS SOPS 12299 HAS SOUS 4745 HAS SOUPS 4745 WITH SCORE 4757.299
AT ITER 4415 NEW BEST:: SOT 25917 SOS 12284 HAS SOPS 12284 HAS SOUS 4730 HAS SOUPS 4730 WITH SCORE 4742.284
AT ITER 4426 NEW BEST:: SOT 25906 SOS 12265 HAS SOPS 12265 HAS SOUS 4704 HAS SOUPS 4704 WITH SCORE 4716.265
AT ITER 4462 NEW BEST:: SOT 25894 SOS 12356 HAS SOPS 12356 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4714.356
AT ITER 4525 NEW BEST:: SOT 25897 SOS 12366 HAS SOPS 12366 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4709.366
AT ITER 4552 NEW BEST:: SOT 25900 SOS 12369 HAS SOPS 12369 HAS SOUS 4696 HAS SOUPS 4696 WITH SCORE 4708.369
AT ITER 4592 NEW BEST:: SOT 25896 SOS 12353 HAS SOPS 12353 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4696.353
AT ITER 4602 NEW BEST:: SOT 25895 SOS 12351 HAS SOPS 12351 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4694.351
AT ITER 4617 NEW BEST:: SOT 25887 SOS 12359 HAS SOPS 12359 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4676.359
AT ITER 4620 NEW BEST:: SOT 25881 SOS 12344 HAS SOPS 12344 HAS SOUS 4660 HAS SOUPS 4660 WITH SCORE 4672.344
AT ITER 4662 NEW BEST:: SOT 25881 SOS 12344 HAS SOPS 12344 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4670.344
AT ITER 4733 NEW BEST:: SOT 25880 SOS 12343 HAS SOPS 12343 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4668.343
AT ITER 4797 NEW BEST:: SOT 25843 SOS 12284 HAS SOPS 12284 HAS SOUS 4613 HAS SOUPS 4613 WITH SCORE 4625.284
AT ITER 4827 NEW BEST:: SOT 25834 SOS 12275 HAS SOPS 12275 HAS SOUS 4604 HAS SOUPS 4604 WITH SCORE 4616.275
AT ITER 4874 NEW BEST:: SOT 25834 SOS 12269 HAS SOPS 12269 HAS SOUS 4601 HAS SOUPS 4601 WITH SCORE 4613.269
AT ITER 4899 NEW BEST:: SOT 25806 SOS 12244 HAS SOPS 12244 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4575.244
AT ITER 4903 NEW BEST:: SOT 25804 SOS 12246 HAS SOPS 12246 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4569.246
AT ITER 4904 NEW BEST:: SOT 25805 SOS 12248 HAS SOPS 12248 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4565.248
AT ITER 4909 NEW BEST:: SOT 25804 SOS 12245 HAS SOPS 12245 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4563.245
AT ITER 4997 NEW BEST:: SOT 25791 SOS 12220 HAS SOPS 12220 HAS SOUS 4550 HAS SOUPS 4550 WITH SCORE 4562.22
AT ITER 5023 NEW BEST:: SOT 25792 SOS 12221 HAS SOPS 12221 HAS SOUS 4544 HAS SOUPS 4544 WITH SCORE 4556.221
AT ITER 5048 NEW BEST:: SOT 25783 SOS 12166 HAS SOPS 12166 HAS SOUS 4516 HAS SOUPS 4516 WITH SCORE 4528.166
AT ITER 5069 NEW BEST:: SOT 25770 SOS 12153 HAS SOPS 12153 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4515.153
AT ITER 5084 NEW BEST:: SOT 25760 SOS 12141 HAS SOPS 12141 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4501.141
AT ITER 5085 NEW BEST:: SOT 25754 SOS 12132 HAS SOPS 12132 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4492.132
AT ITER 5100 NEW BEST:: SOT 25751 SOS 12128 HAS SOPS 12128 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4488.128
AT ITER 5124 NEW BEST:: SOT 25750 SOS 12124 HAS SOPS 12124 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4484.124
AT ITER 5133 NEW BEST:: SOT 25741 SOS 12118 HAS SOPS 12118 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4475.118
AT ITER 5152 NEW BEST:: SOT 25747 SOS 12128 HAS SOPS 12128 HAS SOUS 4462 HAS SOUPS 4462 WITH SCORE 4474.128
AT ITER 5157 NEW BEST:: SOT 25746 SOS 12127 HAS SOPS 12127 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4473.127
AT ITER 5233 NEW BEST:: SOT 25749 SOS 12133 HAS SOPS 12133 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4469.133
AT ITER 5253 NEW BEST:: SOT 25734 SOS 12097 HAS SOPS 12097 HAS SOUS 4435 HAS SOUPS 4435 WITH SCORE 4447.097
AT ITER 5273 NEW BEST:: SOT 25728 SOS 12076 HAS SOPS 12076 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4441.076
AT ITER 5284 NEW BEST:: SOT 25716 SOS 12052 HAS SOPS 12052 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4429.052
AT ITER 5322 NEW BEST:: SOT 25721 SOS 12055 HAS SOPS 12055 HAS SOUS 4414 HAS SOUPS 4414 WITH SCORE 4426.055
AT ITER 5426 NEW BEST:: SOT 25719 SOS 12051 HAS SOPS 12051 HAS SOUS 4413 HAS SOUPS 4413 WITH SCORE 4425.051
AT ITER 5434 NEW BEST:: SOT 25719 SOS 12039 HAS SOPS 12039 HAS SOUS 4401 HAS SOUPS 4401 WITH SCORE 4413.039
AT ITER 5448 NEW BEST:: SOT 25716 SOS 12054 HAS SOPS 12054 HAS SOUS 4397 HAS SOUPS 4397 WITH SCORE 4409.054
AT ITER 5453 NEW BEST:: SOT 25671 SOS 12009 HAS SOPS 12009 HAS SOUS 4355 HAS SOUPS 4355 WITH SCORE 4367.009
AT ITER 5485 NEW BEST:: SOT 25670 SOS 12005 HAS SOPS 12005 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4365.005
AT ITER 5577 NEW BEST:: SOT 25671 SOS 12006 HAS SOPS 12006 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4364.006
AT ITER 5609 NEW BEST:: SOT 25668 SOS 12002 HAS SOPS 12002 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4361.002
AT ITER 5615 NEW BEST:: SOT 25660 SOS 12024 HAS SOPS 12024 HAS SOUS 4341 HAS SOUPS 4341 WITH SCORE 4353.024
AT ITER 5669 NEW BEST:: SOT 25662 SOS 12026 HAS SOPS 12026 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4346.026
AT ITER 5672 NEW BEST:: SOT 25657 SOS 12020 HAS SOPS 12020 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4340.02
AT ITER 5708 NEW BEST:: SOT 25658 SOS 12026 HAS SOPS 12026 HAS SOUS 4324 HAS SOUPS 4324 WITH SCORE 4336.026
AT ITER 5710 NEW BEST:: SOT 25658 SOS 12026 HAS SOPS 12026 HAS SOUS 4320 HAS SOUPS 4320 WITH SCORE 4332.026
AT ITER 5793 NEW BEST:: SOT 25658 SOS 12026 HAS SOPS 12026 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4331.026
AT ITER 5822 NEW BEST:: SOT 25656 SOS 12022 HAS SOPS 12022 HAS SOUS 4319 HAS SOUPS 4319 WITH SCORE 4331.022
AT ITER 5825 NEW BEST:: SOT 25650 SOS 12012 HAS SOPS 12012 HAS SOUS 4309 HAS SOUPS 4309 WITH SCORE 4321.012
AT ITER 5840 NEW BEST:: SOT 25647 SOS 12014 HAS SOPS 12014 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4319.014
AT ITER 5912 NEW BEST:: SOT 25650 SOS 12004 HAS SOPS 12004 HAS SOUS 4304 HAS SOUPS 4304 WITH SCORE 4316.004
AT ITER 5925 NEW BEST:: SOT 25653 SOS 12007 HAS SOPS 12007 HAS SOUS 4301 HAS SOUPS 4301 WITH SCORE 4313.007
AT ITER 5930 NEW BEST:: SOT 25646 SOS 11987 HAS SOPS 11987 HAS SOUS 4300 HAS SOUPS 4300 WITH SCORE 4311.987
AT ITER 5952 NEW BEST:: SOT 25646 SOS 11987 HAS SOPS 11987 HAS SOUS 4299 HAS SOUPS 4299 WITH SCORE 4310.987
AT ITER 6053 NEW BEST:: SOT 25646 SOS 11986 HAS SOPS 11986 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4309.986
AT ITER 6105 NEW BEST:: SOT 25647 SOS 11999 HAS SOPS 11999 HAS SOUS 4289 HAS SOUPS 4289 WITH SCORE 4300.999
AT ITER 6148 NEW BEST:: SOT 25644 SOS 11975 HAS SOPS 11975 HAS SOUS 4287 HAS SOUPS 4287 WITH SCORE 4298.975
AT ITER 6155 NEW BEST:: SOT 25644 SOS 11975 HAS SOPS 11975 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4296.975
AT ITER 6181 NEW BEST:: SOT 25640 SOS 11971 HAS SOPS 11971 HAS SOUS 4285 HAS SOUPS 4285 WITH SCORE 4296.971
AT ITER 6218 NEW BEST:: SOT 25623 SOS 11988 HAS SOPS 11988 HAS SOUS 4268 HAS SOUPS 4268 WITH SCORE 4279.988
AT ITER 6259 NEW BEST:: SOT 25603 SOS 11967 HAS SOPS 11967 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4274.967
AT ITER 6286 NEW BEST:: SOT 25598 SOS 11966 HAS SOPS 11966 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4271.966
AT ITER 6337 NEW BEST:: SOT 25595 SOS 11957 HAS SOPS 11957 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4256.957
AT ITER 6342 NEW BEST:: SOT 25589 SOS 11953 HAS SOPS 11953 HAS SOUS 4245 HAS SOUPS 4245 WITH SCORE 4256.953
AT ITER 6387 NEW BEST:: SOT 25543 SOS 11895 HAS SOPS 11895 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4236.895
AT ITER 6409 NEW BEST:: SOT 25533 SOS 11880 HAS SOPS 11880 HAS SOUS 4220 HAS SOUPS 4220 WITH SCORE 4231.88
AT ITER 6415 NEW BEST:: SOT 25532 SOS 11880 HAS SOPS 11880 HAS SOUS 4217 HAS SOUPS 4217 WITH SCORE 4228.88
AT ITER 6536 NEW BEST:: SOT 25537 SOS 11882 HAS SOPS 11882 HAS SOUS 4213 HAS SOUPS 4213 WITH SCORE 4224.882
AT ITER 6619 NEW BEST:: SOT 25518 SOS 11885 HAS SOPS 11885 HAS SOUS 4186 HAS SOUPS 4186 WITH SCORE 4197.885
AT ITER 6680 NEW BEST:: SOT 25512 SOS 11855 HAS SOPS 11855 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4194.855
AT ITER 6699 NEW BEST:: SOT 25497 SOS 11825 HAS SOPS 11825 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4184.825
AT ITER 6784 NEW BEST:: SOT 25497 SOS 11823 HAS SOPS 11823 HAS SOUS 4172 HAS SOUPS 4172 WITH SCORE 4183.823
AT ITER 6793 NEW BEST:: SOT 25496 SOS 11820 HAS SOPS 11820 HAS SOUS 4170 HAS SOUPS 4170 WITH SCORE 4181.82
AT ITER 6868 NEW BEST:: SOT 25493 SOS 11817 HAS SOPS 11817 HAS SOUS 4167 HAS SOUPS 4167 WITH SCORE 4178.817
AT ITER 6870 NEW BEST:: SOT 25500 SOS 11815 HAS SOPS 11815 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4158.815
AT ITER 6872 NEW BEST:: SOT 25498 SOS 11811 HAS SOPS 11811 HAS SOUS 4145 HAS SOUPS 4145 WITH SCORE 4156.811
AT ITER 6910 NEW BEST:: SOT 25490 SOS 11803 HAS SOPS 11803 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4145.803
AT ITER 6946 NEW BEST:: SOT 25493 SOS 11809 HAS SOPS 11809 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4144.809
AT ITER 6974 NEW BEST:: SOT 25484 SOS 11800 HAS SOPS 11800 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4133.8
AT ITER 7060 NEW BEST:: SOT 25484 SOS 11799 HAS SOPS 11799 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4133.799
AT ITER 7064 NEW BEST:: SOT 25476 SOS 11783 HAS SOPS 11783 HAS SOUS 4116 HAS SOUPS 4116 WITH SCORE 4127.783
AT ITER 7077 NEW BEST:: SOT 25480 SOS 11786 HAS SOPS 11786 HAS SOUS 4107 HAS SOUPS 4107 WITH SCORE 4118.786
AT ITER 7085 NEW BEST:: SOT 25479 SOS 11787 HAS SOPS 11787 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4116.787
AT ITER 7112 NEW BEST:: SOT 25479 SOS 11787 HAS SOPS 11787 HAS SOUS 4104 HAS SOUPS 4104 WITH SCORE 4115.787
AT ITER 7115 NEW BEST:: SOT 25478 SOS 11790 HAS SOPS 11790 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4113.79
AT ITER 7187 NEW BEST:: SOT 25476 SOS 11788 HAS SOPS 11788 HAS SOUS 4102 HAS SOUPS 4102 WITH SCORE 4113.788
AT ITER 7201 NEW BEST:: SOT 25475 SOS 11787 HAS SOPS 11787 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4112.787
AT ITER 7234 NEW BEST:: SOT 25474 SOS 11789 HAS SOPS 11789 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4110.789
AT ITER 7236 NEW BEST:: SOT 25474 SOS 11775 HAS SOPS 11775 HAS SOUS 4099 HAS SOUPS 4099 WITH SCORE 4110.775
AT ITER 7282 NEW BEST:: SOT 25470 SOS 11856 HAS SOPS 11856 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4106.856
AT ITER 7288 NEW BEST:: SOT 25464 SOS 11850 HAS SOPS 11850 HAS SOUS 4092 HAS SOUPS 4092 WITH SCORE 4103.85
AT ITER 7307 NEW BEST:: SOT 25463 SOS 11848 HAS SOPS 11848 HAS SOUS 4091 HAS SOUPS 4091 WITH SCORE 4102.848
AT ITER 7310 NEW BEST:: SOT 25456 SOS 11834 HAS SOPS 11834 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4095.834
AT ITER 7316 NEW BEST:: SOT 25443 SOS 11827 HAS SOPS 11827 HAS SOUS 4071 HAS SOUPS 4071 WITH SCORE 4082.827
AT ITER 7356 NEW BEST:: SOT 25443 SOS 11827 HAS SOPS 11827 HAS SOUS 4069 HAS SOUPS 4069 WITH SCORE 4080.827
AT ITER 7362 NEW BEST:: SOT 25437 SOS 11825 HAS SOPS 11825 HAS SOUS 4063 HAS SOUPS 4063 WITH SCORE 4074.825
AT ITER 7385 NEW BEST:: SOT 25437 SOS 11823 HAS SOPS 11823 HAS SOUS 4062 HAS SOUPS 4062 WITH SCORE 4073.823
AT ITER 7403 NEW BEST:: SOT 25436 SOS 11822 HAS SOPS 11822 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4072.822
AT ITER 7575 NEW BEST:: SOT 25430 SOS 11802 HAS SOPS 11802 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4072.802
AT ITER 7585 NEW BEST:: SOT 25410 SOS 11771 HAS SOPS 11771 HAS SOUS 4041 HAS SOUPS 4041 WITH SCORE 4052.771
AT ITER 7589 NEW BEST:: SOT 25404 SOS 11767 HAS SOPS 11767 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4044.767
AT ITER 7620 NEW BEST:: SOT 25413 SOS 11776 HAS SOPS 11776 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4037.776
AT ITER 7639 NEW BEST:: SOT 25375 SOS 11751 HAS SOPS 11751 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4028.751
AT ITER 7660 NEW BEST:: SOT 25371 SOS 11743 HAS SOPS 11743 HAS SOUS 4017 HAS SOUPS 4017 WITH SCORE 4028.743
AT ITER 7664 NEW BEST:: SOT 25369 SOS 11745 HAS SOPS 11745 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4026.745
AT ITER 7669 NEW BEST:: SOT 25367 SOS 11742 HAS SOPS 11742 HAS SOUS 4011 HAS SOUPS 4011 WITH SCORE 4022.742
AT ITER 7720 NEW BEST:: SOT 25355 SOS 11751 HAS SOPS 11751 HAS SOUS 3987 HAS SOUPS 3987 WITH SCORE 3998.751
AT ITER 7733 NEW BEST:: SOT 25355 SOS 11745 HAS SOPS 11745 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3987.745
AT ITER 7800 NEW BEST:: SOT 25351 SOS 11739 HAS SOPS 11739 HAS SOUS 3974 HAS SOUPS 3974 WITH SCORE 3985.739
AT ITER 7827 NEW BEST:: SOT 25345 SOS 11730 HAS SOPS 11730 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3982.73
AT ITER 7852 NEW BEST:: SOT 25343 SOS 11728 HAS SOPS 11728 HAS SOUS 3969 HAS SOUPS 3969 WITH SCORE 3980.728
AT ITER 8161 NEW BEST:: SOT 25341 SOS 11733 HAS SOPS 11733 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3977.733
AT ITER 8236 NEW BEST:: SOT 25341 SOS 11732 HAS SOPS 11732 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3977.732
AT ITER 8264 NEW BEST:: SOT 25341 SOS 11727 HAS SOPS 11727 HAS SOUS 3965 HAS SOUPS 3965 WITH SCORE 3976.727
AT ITER 8286 NEW BEST:: SOT 25333 SOS 11718 HAS SOPS 11718 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3965.718
AT ITER 8295 NEW BEST:: SOT 25337 SOS 11722 HAS SOPS 11722 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3964.722
AT ITER 8306 NEW BEST:: SOT 25337 SOS 11720 HAS SOPS 11720 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3964.72
AT ITER 8377 NEW BEST:: SOT 25341 SOS 11717 HAS SOPS 11717 HAS SOUS 3949 HAS SOUPS 3949 WITH SCORE 3960.717
AT ITER 8379 NEW BEST:: SOT 25333 SOS 11709 HAS SOPS 11709 HAS SOUS 3946 HAS SOUPS 3946 WITH SCORE 3957.709
AT ITER 8470 NEW BEST:: SOT 25328 SOS 11710 HAS SOPS 11710 HAS SOUS 3940 HAS SOUPS 3940 WITH SCORE 3951.71
AT ITER 8494 NEW BEST:: SOT 25327 SOS 11709 HAS SOPS 11709 HAS SOUS 3939 HAS SOUPS 3939 WITH SCORE 3950.709
AT ITER 8499 NEW BEST:: SOT 25325 SOS 11707 HAS SOPS 11707 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3949.707
AT ITER 8567 NEW BEST:: SOT 25323 SOS 11705 HAS SOPS 11705 HAS SOUS 3938 HAS SOUPS 3938 WITH SCORE 3949.705
AT ITER 8679 NEW BEST:: SOT 25325 SOS 11705 HAS SOPS 11705 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3945.705
AT ITER 8720 NEW BEST:: SOT 25322 SOS 11697 HAS SOPS 11697 HAS SOUS 3923 HAS SOUPS 3923 WITH SCORE 3934.697
AT ITER 8744 NEW BEST:: SOT 25320 SOS 11690 HAS SOPS 11690 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3932.69
AT ITER 8821 NEW BEST:: SOT 25327 SOS 11697 HAS SOPS 11697 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3928.697
AT ITER 8833 NEW BEST:: SOT 25311 SOS 11681 HAS SOPS 11681 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3914.681
AT ITER 8886 NEW BEST:: SOT 25307 SOS 11673 HAS SOPS 11673 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3912.673
AT ITER 9047 NEW BEST:: SOT 25306 SOS 11671 HAS SOPS 11671 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3910.671
AT ITER 9135 NEW BEST:: SOT 25302 SOS 11675 HAS SOPS 11675 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3906.675
AT ITER 9163 NEW BEST:: SOT 25277 SOS 11613 HAS SOPS 11613 HAS SOUS 3891 HAS SOUPS 3891 WITH SCORE 3902.613
AT ITER 9222 NEW BEST:: SOT 25276 SOS 11608 HAS SOPS 11608 HAS SOUS 3889 HAS SOUPS 3889 WITH SCORE 3900.608
AT ITER 9295 NEW BEST:: SOT 25266 SOS 11600 HAS SOPS 11600 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3888.6
AT ITER 9338 NEW BEST:: SOT 25266 SOS 11599 HAS SOPS 11599 HAS SOUS 3877 HAS SOUPS 3877 WITH SCORE 3888.599
AT ITER 9372 NEW BEST:: SOT 25265 SOS 11599 HAS SOPS 11599 HAS SOUS 3876 HAS SOUPS 3876 WITH SCORE 3887.599
AT ITER 9375 NEW BEST:: SOT 25260 SOS 11593 HAS SOPS 11593 HAS SOUS 3870 HAS SOUPS 3870 WITH SCORE 3881.593
AT ITER 9413 NEW BEST:: SOT 25255 SOS 11588 HAS SOPS 11588 HAS SOUS 3867 HAS SOUPS 3867 WITH SCORE 3878.588
AT ITER 9667 NEW BEST:: SOT 25250 SOS 11580 HAS SOPS 11580 HAS SOUS 3862 HAS SOUPS 3862 WITH SCORE 3873.58
AT ITER 9671 NEW BEST:: SOT 25244 SOS 11574 HAS SOPS 11574 HAS SOUS 3852 HAS SOUPS 3852 WITH SCORE 3863.574
AT ITER 9680 NEW BEST:: SOT 25240 SOS 11570 HAS SOPS 11570 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3855.57
AT ITER 9715 NEW BEST:: SOT 25214 SOS 11492 HAS SOPS 11492 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3855.492
AT ITER 9767 NEW BEST:: SOT 25214 SOS 11490 HAS SOPS 11490 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3855.49
AT ITER 9769 NEW BEST:: SOT 25200 SOS 11444 HAS SOPS 11444 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3855.444
AT ITER 9771 NEW BEST:: SOT 25199 SOS 11442 HAS SOPS 11442 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3853.442
AT ITER 9778 NEW BEST:: SOT 25202 SOS 11437 HAS SOPS 11437 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3850.437
AT ITER 9838 NEW BEST:: SOT 25201 SOS 11436 HAS SOPS 11436 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3850.436
STATE_SPACE STATES 278780835102 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 36 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3862407258080 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679314060596

--------------------
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

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-PT-Z2T4N10"
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-PT-Z2T4N10, 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-167912711401160"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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