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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 440K
-rw-r--r-- 1 mcc users 6.9K Feb 26 14:46 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 14:46 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 14:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 37K Feb 26 14:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K 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.9K 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 13K Feb 26 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 26 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 14:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 26 14:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K 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 1679307467238

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-Z2T4N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:17:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:17:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:17:49] [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:17:49] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-20 10:17:50] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 816 ms
[2023-03-20 10:17:50] [INFO ] Imported 13 HL places and 12 HL transitions for a total of 174 PT places and 270.0 transition bindings in 16 ms.
[2023-03-20 10:17:50] [INFO ] Unfolded HLPN to a Petri net with 174 places and 270 transitions 850 arcs in 22 ms.
[2023-03-20 10:17:50] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-20 10:17:50] [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 961 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (COL), 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 38248 SOS 27981 HAS SOPS 27981 HAS SOUS 18647 HAS SOUPS 18647 WITH SCORE 18674.981
AT ITER 2 NEW BEST:: SOT 38214 SOS 27913 HAS SOPS 27913 HAS SOUS 18595 HAS SOUPS 18595 WITH SCORE 18622.913
AT ITER 4 NEW BEST:: SOT 38205 SOS 27923 HAS SOPS 27923 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18579.923
AT ITER 6 NEW BEST:: SOT 38186 SOS 27923 HAS SOPS 27923 HAS SOUS 18534 HAS SOUPS 18534 WITH SCORE 18561.923
AT ITER 8 NEW BEST:: SOT 38162 SOS 27851 HAS SOPS 27851 HAS SOUS 18462 HAS SOUPS 18462 WITH SCORE 18489.851
AT ITER 9 NEW BEST:: SOT 38142 SOS 27735 HAS SOPS 27735 HAS SOUS 18413 HAS SOUPS 18413 WITH SCORE 18440.735
AT ITER 10 NEW BEST:: SOT 38076 SOS 27669 HAS SOPS 27669 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18374.669
AT ITER 11 NEW BEST:: SOT 38055 SOS 27648 HAS SOPS 27648 HAS SOUS 18347 HAS SOUPS 18347 WITH SCORE 18374.648
AT ITER 18 NEW BEST:: SOT 38053 SOS 27565 HAS SOPS 27565 HAS SOUS 18264 HAS SOUPS 18264 WITH SCORE 18291.565
AT ITER 20 NEW BEST:: SOT 38056 SOS 27557 HAS SOPS 27557 HAS SOUS 18256 HAS SOUPS 18256 WITH SCORE 18283.557
AT ITER 23 NEW BEST:: SOT 38049 SOS 27504 HAS SOPS 27504 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18274.504
AT ITER 26 NEW BEST:: SOT 38017 SOS 27523 HAS SOPS 27523 HAS SOUS 18170 HAS SOUPS 18170 WITH SCORE 18197.523
AT ITER 28 NEW BEST:: SOT 37988 SOS 27465 HAS SOPS 27465 HAS SOUS 18108 HAS SOUPS 18108 WITH SCORE 18135.465
AT ITER 32 NEW BEST:: SOT 37947 SOS 27383 HAS SOPS 27383 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18028.383
AT ITER 37 NEW BEST:: SOT 37902 SOS 27338 HAS SOPS 27338 HAS SOUS 17954 HAS SOUPS 17954 WITH SCORE 17981.338
AT ITER 38 NEW BEST:: SOT 37930 SOS 27374 HAS SOPS 27374 HAS SOUS 17939 HAS SOUPS 17939 WITH SCORE 17966.374
AT ITER 40 NEW BEST:: SOT 37930 SOS 27328 HAS SOPS 27328 HAS SOUS 17874 HAS SOUPS 17874 WITH SCORE 17901.328
AT ITER 41 NEW BEST:: SOT 37764 SOS 27076 HAS SOPS 27076 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17648.076
AT ITER 42 NEW BEST:: SOT 37750 SOS 27081 HAS SOPS 27081 HAS SOUS 17619 HAS SOUPS 17619 WITH SCORE 17646.081
AT ITER 44 NEW BEST:: SOT 37750 SOS 27085 HAS SOPS 27085 HAS SOUS 17618 HAS SOUPS 17618 WITH SCORE 17645.085
AT ITER 47 NEW BEST:: SOT 37760 SOS 27080 HAS SOPS 27080 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17640.08
AT ITER 48 NEW BEST:: SOT 37760 SOS 27057 HAS SOPS 27057 HAS SOUS 17600 HAS SOUPS 17600 WITH SCORE 17627.057
AT ITER 51 NEW BEST:: SOT 36166 SOS 25479 HAS SOPS 25479 HAS SOUS 16646 HAS SOUPS 16646 WITH SCORE 16671.479
AT ITER 52 NEW BEST:: SOT 36166 SOS 25451 HAS SOPS 25451 HAS SOUS 16632 HAS SOUPS 16632 WITH SCORE 16657.451
AT ITER 53 NEW BEST:: SOT 36154 SOS 25439 HAS SOPS 25439 HAS SOUS 16626 HAS SOUPS 16626 WITH SCORE 16651.439
AT ITER 54 NEW BEST:: SOT 36142 SOS 25415 HAS SOPS 25415 HAS SOUS 16578 HAS SOUPS 16578 WITH SCORE 16603.415
AT ITER 55 NEW BEST:: SOT 36098 SOS 25349 HAS SOPS 25349 HAS SOUS 16490 HAS SOUPS 16490 WITH SCORE 16515.349
AT ITER 56 NEW BEST:: SOT 30606 SOS 20571 HAS SOPS 20571 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13113.571
AT ITER 58 NEW BEST:: SOT 30499 SOS 20389 HAS SOPS 20389 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13059.389
AT ITER 60 NEW BEST:: SOT 30447 SOS 20306 HAS SOPS 20306 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12956.306
AT ITER 62 NEW BEST:: SOT 30403 SOS 20293 HAS SOPS 20293 HAS SOUS 12797 HAS SOUPS 12797 WITH SCORE 12817.293
AT ITER 66 NEW BEST:: SOT 30395 SOS 20277 HAS SOPS 20277 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12801.277
AT ITER 67 NEW BEST:: SOT 30419 SOS 20291 HAS SOPS 20291 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12798.291
AT ITER 72 NEW BEST:: SOT 30391 SOS 20295 HAS SOPS 20295 HAS SOUS 12719 HAS SOUPS 12719 WITH SCORE 12739.295
AT ITER 73 NEW BEST:: SOT 30377 SOS 20253 HAS SOPS 20253 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12683.253
AT ITER 77 NEW BEST:: SOT 30345 SOS 20201 HAS SOPS 20201 HAS SOUS 12607 HAS SOUPS 12607 WITH SCORE 12627.201
AT ITER 79 NEW BEST:: SOT 30257 SOS 20164 HAS SOPS 20164 HAS SOUS 12559 HAS SOUPS 12559 WITH SCORE 12579.164
AT ITER 83 NEW BEST:: SOT 30251 SOS 20184 HAS SOPS 20184 HAS SOUS 12551 HAS SOUPS 12551 WITH SCORE 12571.184
AT ITER 88 NEW BEST:: SOT 30194 SOS 20092 HAS SOPS 20092 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12462.092
AT ITER 89 NEW BEST:: SOT 30126 SOS 20028 HAS SOPS 20028 HAS SOUS 12442 HAS SOUPS 12442 WITH SCORE 12462.028
AT ITER 94 NEW BEST:: SOT 30066 SOS 19976 HAS SOPS 19976 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12396.976
AT ITER 96 NEW BEST:: SOT 29973 SOS 19848 HAS SOPS 19848 HAS SOUS 12223 HAS SOUPS 12223 WITH SCORE 12242.848
AT ITER 97 NEW BEST:: SOT 29960 SOS 19843 HAS SOPS 19843 HAS SOUS 12202 HAS SOUPS 12202 WITH SCORE 12221.843
AT ITER 100 NEW BEST:: SOT 29960 SOS 19837 HAS SOPS 19837 HAS SOUS 12199 HAS SOUPS 12199 WITH SCORE 12218.837
AT ITER 103 NEW BEST:: SOT 29925 SOS 19802 HAS SOPS 19802 HAS SOUS 12191 HAS SOUPS 12191 WITH SCORE 12210.802
AT ITER 104 NEW BEST:: SOT 29917 SOS 19794 HAS SOPS 19794 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12202.794
AT ITER 105 NEW BEST:: SOT 29827 SOS 19585 HAS SOPS 19585 HAS SOUS 12144 HAS SOUPS 12144 WITH SCORE 12163.585
AT ITER 106 NEW BEST:: SOT 29817 SOS 19563 HAS SOPS 19563 HAS SOUS 12079 HAS SOUPS 12079 WITH SCORE 12098.563
AT ITER 108 NEW BEST:: SOT 29797 SOS 19543 HAS SOPS 19543 HAS SOUS 12049 HAS SOUPS 12049 WITH SCORE 12068.543
AT ITER 109 NEW BEST:: SOT 29704 SOS 19446 HAS SOPS 19446 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11947.446
AT ITER 113 NEW BEST:: SOT 29639 SOS 19297 HAS SOPS 19297 HAS SOUS 11779 HAS SOUPS 11779 WITH SCORE 11798.297
AT ITER 121 NEW BEST:: SOT 29767 SOS 19377 HAS SOPS 19377 HAS SOUS 11594 HAS SOUPS 11594 WITH SCORE 11613.377
AT ITER 126 NEW BEST:: SOT 29794 SOS 19411 HAS SOPS 19411 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11585.411
AT ITER 127 NEW BEST:: SOT 29755 SOS 19356 HAS SOPS 19356 HAS SOUS 11542 HAS SOUPS 11542 WITH SCORE 11561.356
AT ITER 128 NEW BEST:: SOT 29704 SOS 19254 HAS SOPS 19254 HAS SOUS 11411 HAS SOUPS 11411 WITH SCORE 11430.254
AT ITER 129 NEW BEST:: SOT 29787 SOS 19342 HAS SOPS 19342 HAS SOUS 11405 HAS SOUPS 11405 WITH SCORE 11424.342
AT ITER 130 NEW BEST:: SOT 29716 SOS 19285 HAS SOPS 19285 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11416.285
AT ITER 137 NEW BEST:: SOT 29703 SOS 19291 HAS SOPS 19291 HAS SOUS 11368 HAS SOUPS 11368 WITH SCORE 11387.291
AT ITER 143 NEW BEST:: SOT 29707 SOS 19269 HAS SOPS 19269 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11342.269
AT ITER 146 NEW BEST:: SOT 29690 SOS 19252 HAS SOPS 19252 HAS SOUS 11289 HAS SOUPS 11289 WITH SCORE 11308.252
AT ITER 149 NEW BEST:: SOT 29634 SOS 19245 HAS SOPS 19245 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11301.245
AT ITER 160 NEW BEST:: SOT 29590 SOS 19201 HAS SOPS 19201 HAS SOUS 11227 HAS SOUPS 11227 WITH SCORE 11246.201
AT ITER 161 NEW BEST:: SOT 29512 SOS 18890 HAS SOPS 18890 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11033.89
AT ITER 162 NEW BEST:: SOT 29502 SOS 18745 HAS SOPS 18745 HAS SOUS 10942 HAS SOUPS 10942 WITH SCORE 10960.745
AT ITER 163 NEW BEST:: SOT 29465 SOS 18686 HAS SOPS 18686 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10875.686
AT ITER 170 NEW BEST:: SOT 29453 SOS 18648 HAS SOPS 18648 HAS SOUS 10852 HAS SOUPS 10852 WITH SCORE 10870.648
AT ITER 175 NEW BEST:: SOT 29344 SOS 18494 HAS SOPS 18494 HAS SOUS 10619 HAS SOUPS 10619 WITH SCORE 10637.494
AT ITER 180 NEW BEST:: SOT 29319 SOS 18428 HAS SOPS 18428 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10627.428
AT ITER 186 NEW BEST:: SOT 29341 SOS 18444 HAS SOPS 18444 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10591.444
AT ITER 189 NEW BEST:: SOT 29319 SOS 18411 HAS SOPS 18411 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10572.411
AT ITER 199 NEW BEST:: SOT 29413 SOS 18482 HAS SOPS 18482 HAS SOUS 10548 HAS SOUPS 10548 WITH SCORE 10566.482
AT ITER 204 NEW BEST:: SOT 29351 SOS 18276 HAS SOPS 18276 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10456.276
AT ITER 234 NEW BEST:: SOT 29312 SOS 18237 HAS SOPS 18237 HAS SOUS 10399 HAS SOUPS 10399 WITH SCORE 10417.237
AT ITER 248 NEW BEST:: SOT 29387 SOS 18290 HAS SOPS 18290 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10402.29
AT ITER 254 NEW BEST:: SOT 29366 SOS 18269 HAS SOPS 18269 HAS SOUS 10337 HAS SOUPS 10337 WITH SCORE 10355.269
AT ITER 257 NEW BEST:: SOT 29291 SOS 18723 HAS SOPS 18723 HAS SOUS 10272 HAS SOUPS 10272 WITH SCORE 10290.723
AT ITER 258 NEW BEST:: SOT 29290 SOS 18723 HAS SOPS 18723 HAS SOUS 10269 HAS SOUPS 10269 WITH SCORE 10287.723
AT ITER 263 NEW BEST:: SOT 29301 SOS 18756 HAS SOPS 18756 HAS SOUS 10258 HAS SOUPS 10258 WITH SCORE 10276.756
AT ITER 271 NEW BEST:: SOT 29277 SOS 18724 HAS SOPS 18724 HAS SOUS 10234 HAS SOUPS 10234 WITH SCORE 10252.724
AT ITER 279 NEW BEST:: SOT 29329 SOS 18873 HAS SOPS 18873 HAS SOUS 10209 HAS SOUPS 10209 WITH SCORE 10227.873
AT ITER 293 NEW BEST:: SOT 29301 SOS 18845 HAS SOPS 18845 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10200.845
AT ITER 294 NEW BEST:: SOT 29286 SOS 18815 HAS SOPS 18815 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10162.815
AT ITER 297 NEW BEST:: SOT 29306 SOS 18834 HAS SOPS 18834 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10158.834
AT ITER 306 NEW BEST:: SOT 29295 SOS 18726 HAS SOPS 18726 HAS SOUS 10119 HAS SOUPS 10119 WITH SCORE 10137.726
AT ITER 315 NEW BEST:: SOT 29266 SOS 18697 HAS SOPS 18697 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10127.697
AT ITER 320 NEW BEST:: SOT 29261 SOS 18692 HAS SOPS 18692 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10127.692
AT ITER 324 NEW BEST:: SOT 29257 SOS 18684 HAS SOPS 18684 HAS SOUS 10089 HAS SOUPS 10089 WITH SCORE 10107.684
AT ITER 330 NEW BEST:: SOT 29161 SOS 18534 HAS SOPS 18534 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10011.534
AT ITER 335 NEW BEST:: SOT 29167 SOS 18540 HAS SOPS 18540 HAS SOUS 9986 HAS SOUPS 9986 WITH SCORE 10004.54
AT ITER 344 NEW BEST:: SOT 29143 SOS 18467 HAS SOPS 18467 HAS SOUS 9953 HAS SOUPS 9953 WITH SCORE 9971.467
AT ITER 345 NEW BEST:: SOT 29097 SOS 18452 HAS SOPS 18452 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9910.452
AT ITER 348 NEW BEST:: SOT 29082 SOS 18432 HAS SOPS 18432 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9900.432
AT ITER 358 NEW BEST:: SOT 29098 SOS 18448 HAS SOPS 18448 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9849.448
AT ITER 359 NEW BEST:: SOT 29074 SOS 18412 HAS SOPS 18412 HAS SOUS 9807 HAS SOUPS 9807 WITH SCORE 9825.412
AT ITER 363 NEW BEST:: SOT 28921 SOS 18164 HAS SOPS 18164 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9615.164
AT ITER 366 NEW BEST:: SOT 28876 SOS 18046 HAS SOPS 18046 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9543.046
AT ITER 373 NEW BEST:: SOT 28858 SOS 18010 HAS SOPS 18010 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9507.01
AT ITER 374 NEW BEST:: SOT 28851 SOS 18006 HAS SOPS 18006 HAS SOUS 9486 HAS SOUPS 9486 WITH SCORE 9504.006
AT ITER 379 NEW BEST:: SOT 28836 SOS 17981 HAS SOPS 17981 HAS SOUS 9467 HAS SOUPS 9467 WITH SCORE 9484.981
AT ITER 380 NEW BEST:: SOT 28836 SOS 17981 HAS SOPS 17981 HAS SOUS 9423 HAS SOUPS 9423 WITH SCORE 9440.981
AT ITER 382 NEW BEST:: SOT 28811 SOS 17891 HAS SOPS 17891 HAS SOUS 9389 HAS SOUPS 9389 WITH SCORE 9406.891
AT ITER 387 NEW BEST:: SOT 28818 SOS 17920 HAS SOPS 17920 HAS SOUS 9378 HAS SOUPS 9378 WITH SCORE 9395.92
AT ITER 392 NEW BEST:: SOT 28805 SOS 17876 HAS SOPS 17876 HAS SOUS 9329 HAS SOUPS 9329 WITH SCORE 9346.876
AT ITER 393 NEW BEST:: SOT 28798 SOS 17862 HAS SOPS 17862 HAS SOUS 9310 HAS SOUPS 9310 WITH SCORE 9327.862
AT ITER 402 NEW BEST:: SOT 28794 SOS 17858 HAS SOPS 17858 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9319.858
AT ITER 408 NEW BEST:: SOT 28723 SOS 17808 HAS SOPS 17808 HAS SOUS 9246 HAS SOUPS 9246 WITH SCORE 9263.808
AT ITER 412 NEW BEST:: SOT 28713 SOS 17798 HAS SOPS 17798 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9243.798
AT ITER 413 NEW BEST:: SOT 28654 SOS 17656 HAS SOPS 17656 HAS SOUS 9203 HAS SOUPS 9203 WITH SCORE 9220.656
AT ITER 421 NEW BEST:: SOT 28665 SOS 17612 HAS SOPS 17612 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9200.612
AT ITER 430 NEW BEST:: SOT 28658 SOS 17605 HAS SOPS 17605 HAS SOUS 9169 HAS SOUPS 9169 WITH SCORE 9186.605
AT ITER 434 NEW BEST:: SOT 28644 SOS 17591 HAS SOPS 17591 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9175.591
AT ITER 444 NEW BEST:: SOT 28654 SOS 17229 HAS SOPS 17229 HAS SOUS 9158 HAS SOUPS 9158 WITH SCORE 9175.229
AT ITER 461 NEW BEST:: SOT 28632 SOS 17157 HAS SOPS 17157 HAS SOUS 9110 HAS SOUPS 9110 WITH SCORE 9127.157
AT ITER 463 NEW BEST:: SOT 28580 SOS 17092 HAS SOPS 17092 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9057.092
AT ITER 475 NEW BEST:: SOT 28560 SOS 17070 HAS SOPS 17070 HAS SOUS 9020 HAS SOUPS 9020 WITH SCORE 9037.07
AT ITER 486 NEW BEST:: SOT 28546 SOS 17041 HAS SOPS 17041 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8993.041
AT ITER 490 NEW BEST:: SOT 28538 SOS 17033 HAS SOPS 17033 HAS SOUS 8964 HAS SOUPS 8964 WITH SCORE 8981.033
AT ITER 494 NEW BEST:: SOT 28462 SOS 16819 HAS SOPS 16819 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8889.819
AT ITER 495 NEW BEST:: SOT 28462 SOS 16811 HAS SOPS 16811 HAS SOUS 8873 HAS SOUPS 8873 WITH SCORE 8889.811
AT ITER 520 NEW BEST:: SOT 28350 SOS 16687 HAS SOPS 16687 HAS SOUS 8850 HAS SOUPS 8850 WITH SCORE 8866.687
AT ITER 521 NEW BEST:: SOT 28359 SOS 16705 HAS SOPS 16705 HAS SOUS 8843 HAS SOUPS 8843 WITH SCORE 8859.705
AT ITER 524 NEW BEST:: SOT 28359 SOS 16700 HAS SOPS 16700 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8844.7
AT ITER 527 NEW BEST:: SOT 28313 SOS 16630 HAS SOPS 16630 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8783.63
AT ITER 529 NEW BEST:: SOT 28305 SOS 16618 HAS SOPS 16618 HAS SOUS 8759 HAS SOUPS 8759 WITH SCORE 8775.618
AT ITER 536 NEW BEST:: SOT 28275 SOS 16596 HAS SOPS 16596 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8729.596
AT ITER 544 NEW BEST:: SOT 28252 SOS 16516 HAS SOPS 16516 HAS SOUS 8638 HAS SOUPS 8638 WITH SCORE 8654.516
AT ITER 554 NEW BEST:: SOT 28160 SOS 16382 HAS SOPS 16382 HAS SOUS 8516 HAS SOUPS 8516 WITH SCORE 8532.382
AT ITER 555 NEW BEST:: SOT 28160 SOS 16328 HAS SOPS 16328 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8530.328
AT ITER 586 NEW BEST:: SOT 28138 SOS 16262 HAS SOPS 16262 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8486.262
AT ITER 595 NEW BEST:: SOT 28137 SOS 16260 HAS SOPS 16260 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8427.26
AT ITER 596 NEW BEST:: SOT 28145 SOS 16218 HAS SOPS 16218 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8385.218
AT ITER 601 NEW BEST:: SOT 28134 SOS 16192 HAS SOPS 16192 HAS SOUS 8357 HAS SOUPS 8357 WITH SCORE 8373.192
AT ITER 602 NEW BEST:: SOT 28184 SOS 15557 HAS SOPS 15557 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8325.557
AT ITER 607 NEW BEST:: SOT 28180 SOS 15532 HAS SOPS 15532 HAS SOUS 8301 HAS SOUPS 8301 WITH SCORE 8316.532
AT ITER 608 NEW BEST:: SOT 28179 SOS 15529 HAS SOPS 15529 HAS SOUS 8299 HAS SOUPS 8299 WITH SCORE 8314.529
AT ITER 613 NEW BEST:: SOT 28157 SOS 15485 HAS SOPS 15485 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8292.485
AT ITER 618 NEW BEST:: SOT 28151 SOS 15450 HAS SOPS 15450 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8272.45
AT ITER 635 NEW BEST:: SOT 28178 SOS 14683 HAS SOPS 14683 HAS SOUS 8213 HAS SOUPS 8213 WITH SCORE 8227.683
AT ITER 651 NEW BEST:: SOT 28147 SOS 14696 HAS SOPS 14696 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8216.696
AT ITER 662 NEW BEST:: SOT 28105 SOS 14634 HAS SOPS 14634 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8209.634
AT ITER 680 NEW BEST:: SOT 28049 SOS 14542 HAS SOPS 14542 HAS SOUS 8158 HAS SOUPS 8158 WITH SCORE 8172.542
AT ITER 684 NEW BEST:: SOT 28045 SOS 14516 HAS SOPS 14516 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8165.516
AT ITER 690 NEW BEST:: SOT 28042 SOS 14513 HAS SOPS 14513 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8162.513
AT ITER 720 NEW BEST:: SOT 27982 SOS 14480 HAS SOPS 14480 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8102.48
AT ITER 723 NEW BEST:: SOT 27968 SOS 14457 HAS SOPS 14457 HAS SOUS 8066 HAS SOUPS 8066 WITH SCORE 8080.457
AT ITER 726 NEW BEST:: SOT 28011 SOS 14489 HAS SOPS 14489 HAS SOUS 8040 HAS SOUPS 8040 WITH SCORE 8054.489
AT ITER 728 NEW BEST:: SOT 28010 SOS 14487 HAS SOPS 14487 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8053.487
AT ITER 748 NEW BEST:: SOT 27967 SOS 14440 HAS SOPS 14440 HAS SOUS 7997 HAS SOUPS 7997 WITH SCORE 8011.44
AT ITER 751 NEW BEST:: SOT 27935 SOS 14387 HAS SOPS 14387 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7984.387
AT ITER 755 NEW BEST:: SOT 27928 SOS 14380 HAS SOPS 14380 HAS SOUS 7959 HAS SOUPS 7959 WITH SCORE 7973.38
AT ITER 760 NEW BEST:: SOT 27929 SOS 14381 HAS SOPS 14381 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7965.381
AT ITER 762 NEW BEST:: SOT 27925 SOS 13920 HAS SOPS 13920 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7960.92
AT ITER 769 NEW BEST:: SOT 27936 SOS 13953 HAS SOPS 13953 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7938.953
AT ITER 770 NEW BEST:: SOT 27911 SOS 13916 HAS SOPS 13916 HAS SOUS 7916 HAS SOUPS 7916 WITH SCORE 7929.916
AT ITER 777 NEW BEST:: SOT 27885 SOS 13888 HAS SOPS 13888 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7901.888
AT ITER 785 NEW BEST:: SOT 27885 SOS 13888 HAS SOPS 13888 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7895.888
AT ITER 791 NEW BEST:: SOT 27889 SOS 13604 HAS SOPS 13604 HAS SOUS 7882 HAS SOUPS 7882 WITH SCORE 7895.604
AT ITER 794 NEW BEST:: SOT 27875 SOS 13583 HAS SOPS 13583 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7874.583
AT ITER 797 NEW BEST:: SOT 27873 SOS 13580 HAS SOPS 13580 HAS SOUS 7858 HAS SOUPS 7858 WITH SCORE 7871.58
AT ITER 814 NEW BEST:: SOT 27865 SOS 13564 HAS SOPS 13564 HAS SOUS 7850 HAS SOUPS 7850 WITH SCORE 7863.564
AT ITER 819 NEW BEST:: SOT 27898 SOS 13625 HAS SOPS 13625 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7852.625
AT ITER 821 NEW BEST:: SOT 27898 SOS 13625 HAS SOPS 13625 HAS SOUS 7821 HAS SOUPS 7821 WITH SCORE 7834.625
AT ITER 831 NEW BEST:: SOT 27884 SOS 13597 HAS SOPS 13597 HAS SOUS 7793 HAS SOUPS 7793 WITH SCORE 7806.597
AT ITER 836 NEW BEST:: SOT 27875 SOS 13553 HAS SOPS 13553 HAS SOUS 7785 HAS SOUPS 7785 WITH SCORE 7798.553
AT ITER 845 NEW BEST:: SOT 27779 SOS 13464 HAS SOPS 13464 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7795.464
AT ITER 855 NEW BEST:: SOT 27776 SOS 13461 HAS SOPS 13461 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7793.461
AT ITER 866 NEW BEST:: SOT 27766 SOS 13437 HAS SOPS 13437 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7785.437
AT ITER 877 NEW BEST:: SOT 27766 SOS 13396 HAS SOPS 13396 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7779.396
AT ITER 879 NEW BEST:: SOT 27760 SOS 13179 HAS SOPS 13179 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7755.179
AT ITER 889 NEW BEST:: SOT 27739 SOS 13151 HAS SOPS 13151 HAS SOUS 7707 HAS SOUPS 7707 WITH SCORE 7720.151
AT ITER 902 NEW BEST:: SOT 27739 SOS 13142 HAS SOPS 13142 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7717.142
AT ITER 905 NEW BEST:: SOT 27731 SOS 13130 HAS SOPS 13130 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7693.13
AT ITER 906 NEW BEST:: SOT 27710 SOS 13090 HAS SOPS 13090 HAS SOUS 7650 HAS SOUPS 7650 WITH SCORE 7663.09
AT ITER 914 NEW BEST:: SOT 27710 SOS 13090 HAS SOPS 13090 HAS SOUS 7642 HAS SOUPS 7642 WITH SCORE 7655.09
AT ITER 931 NEW BEST:: SOT 27684 SOS 13038 HAS SOPS 13038 HAS SOUS 7593 HAS SOUPS 7593 WITH SCORE 7606.038
AT ITER 939 NEW BEST:: SOT 27684 SOS 13005 HAS SOPS 13005 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7595.005
AT ITER 942 NEW BEST:: SOT 27638 SOS 12923 HAS SOPS 12923 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7536.923
AT ITER 950 NEW BEST:: SOT 27631 SOS 12917 HAS SOPS 12917 HAS SOUS 7514 HAS SOUPS 7514 WITH SCORE 7526.917
AT ITER 952 NEW BEST:: SOT 27609 SOS 12840 HAS SOPS 12840 HAS SOUS 7438 HAS SOUPS 7438 WITH SCORE 7450.84
AT ITER 956 NEW BEST:: SOT 27564 SOS 12800 HAS SOPS 12800 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7420.8
AT ITER 959 NEW BEST:: SOT 27589 SOS 12750 HAS SOPS 12750 HAS SOUS 7408 HAS SOUPS 7408 WITH SCORE 7420.75
AT ITER 979 NEW BEST:: SOT 27576 SOS 12731 HAS SOPS 12731 HAS SOUS 7382 HAS SOUPS 7382 WITH SCORE 7394.731
AT ITER 983 NEW BEST:: SOT 27574 SOS 12729 HAS SOPS 12729 HAS SOUS 7378 HAS SOUPS 7378 WITH SCORE 7390.729
AT ITER 987 NEW BEST:: SOT 27576 SOS 12731 HAS SOPS 12731 HAS SOUS 7374 HAS SOUPS 7374 WITH SCORE 7386.731
AT ITER 1009 NEW BEST:: SOT 27543 SOS 12698 HAS SOPS 12698 HAS SOUS 7349 HAS SOUPS 7349 WITH SCORE 7361.698
AT ITER 1038 NEW BEST:: SOT 27537 SOS 12686 HAS SOPS 12686 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7352.686
AT ITER 1048 NEW BEST:: SOT 27530 SOS 12679 HAS SOPS 12679 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7348.679
AT ITER 1050 NEW BEST:: SOT 27511 SOS 12660 HAS SOPS 12660 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7309.66
AT ITER 1062 NEW BEST:: SOT 27498 SOS 12647 HAS SOPS 12647 HAS SOUS 7282 HAS SOUPS 7282 WITH SCORE 7294.647
AT ITER 1075 NEW BEST:: SOT 27431 SOS 12562 HAS SOPS 12562 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7242.562
AT ITER 1098 NEW BEST:: SOT 27424 SOS 12548 HAS SOPS 12548 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7235.548
AT ITER 1099 NEW BEST:: SOT 27394 SOS 12518 HAS SOPS 12518 HAS SOUS 7197 HAS SOUPS 7197 WITH SCORE 7209.518
AT ITER 1101 NEW BEST:: SOT 27394 SOS 12545 HAS SOPS 12545 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7206.545
AT ITER 1110 NEW BEST:: SOT 27390 SOS 12533 HAS SOPS 12533 HAS SOUS 7186 HAS SOUPS 7186 WITH SCORE 7198.533
AT ITER 1113 NEW BEST:: SOT 27384 SOS 12477 HAS SOPS 12477 HAS SOUS 7183 HAS SOUPS 7183 WITH SCORE 7195.477
AT ITER 1116 NEW BEST:: SOT 27328 SOS 12382 HAS SOPS 12382 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7136.382
AT ITER 1121 NEW BEST:: SOT 27283 SOS 12293 HAS SOPS 12293 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7079.293
AT ITER 1125 NEW BEST:: SOT 27219 SOS 12201 HAS SOPS 12201 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7007.201
AT ITER 1135 NEW BEST:: SOT 27263 SOS 12181 HAS SOPS 12181 HAS SOUS 6962 HAS SOUPS 6962 WITH SCORE 6974.181
AT ITER 1149 NEW BEST:: SOT 27270 SOS 12074 HAS SOPS 12074 HAS SOUS 6880 HAS SOUPS 6880 WITH SCORE 6892.074
AT ITER 1152 NEW BEST:: SOT 27227 SOS 12014 HAS SOPS 12014 HAS SOUS 6856 HAS SOUPS 6856 WITH SCORE 6868.014
AT ITER 1155 NEW BEST:: SOT 27211 SOS 11982 HAS SOPS 11982 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6852.982
AT ITER 1169 NEW BEST:: SOT 27197 SOS 11968 HAS SOPS 11968 HAS SOUS 6827 HAS SOUPS 6827 WITH SCORE 6838.968
AT ITER 1182 NEW BEST:: SOT 27197 SOS 11952 HAS SOPS 11952 HAS SOUS 6811 HAS SOUPS 6811 WITH SCORE 6822.952
AT ITER 1192 NEW BEST:: SOT 27200 SOS 11954 HAS SOPS 11954 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6819.954
AT ITER 1197 NEW BEST:: SOT 27196 SOS 11944 HAS SOPS 11944 HAS SOUS 6794 HAS SOUPS 6794 WITH SCORE 6805.944
AT ITER 1229 NEW BEST:: SOT 27192 SOS 11940 HAS SOPS 11940 HAS SOUS 6786 HAS SOUPS 6786 WITH SCORE 6797.94
AT ITER 1239 NEW BEST:: SOT 27190 SOS 11936 HAS SOPS 11936 HAS SOUS 6782 HAS SOUPS 6782 WITH SCORE 6793.936
AT ITER 1258 NEW BEST:: SOT 27185 SOS 11929 HAS SOPS 11929 HAS SOUS 6777 HAS SOUPS 6777 WITH SCORE 6788.929
AT ITER 1267 NEW BEST:: SOT 27181 SOS 11924 HAS SOPS 11924 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6784.924
AT ITER 1274 NEW BEST:: SOT 27181 SOS 11886 HAS SOPS 11886 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6762.886
AT ITER 1275 NEW BEST:: SOT 27178 SOS 11883 HAS SOPS 11883 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6762.883
AT ITER 1277 NEW BEST:: SOT 27175 SOS 11881 HAS SOPS 11881 HAS SOUS 6748 HAS SOUPS 6748 WITH SCORE 6759.881
AT ITER 1282 NEW BEST:: SOT 27174 SOS 11850 HAS SOPS 11850 HAS SOUS 6746 HAS SOUPS 6746 WITH SCORE 6757.85
AT ITER 1283 NEW BEST:: SOT 27134 SOS 11778 HAS SOPS 11778 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6685.778
AT ITER 1285 NEW BEST:: SOT 27132 SOS 11778 HAS SOPS 11778 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6681.778
AT ITER 1288 NEW BEST:: SOT 27132 SOS 11774 HAS SOPS 11774 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6681.774
AT ITER 1295 NEW BEST:: SOT 27099 SOS 11756 HAS SOPS 11756 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6658.756
AT ITER 1301 NEW BEST:: SOT 27091 SOS 11734 HAS SOPS 11734 HAS SOUS 6632 HAS SOUPS 6632 WITH SCORE 6643.734
AT ITER 1302 NEW BEST:: SOT 27087 SOS 11725 HAS SOPS 11725 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6639.725
AT ITER 1314 NEW BEST:: SOT 27082 SOS 11715 HAS SOPS 11715 HAS SOUS 6623 HAS SOUPS 6623 WITH SCORE 6634.715
AT ITER 1323 NEW BEST:: SOT 27080 SOS 11713 HAS SOPS 11713 HAS SOUS 6620 HAS SOUPS 6620 WITH SCORE 6631.713
AT ITER 1333 NEW BEST:: SOT 27059 SOS 11654 HAS SOPS 11654 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6578.654
AT ITER 1334 NEW BEST:: SOT 27000 SOS 11553 HAS SOPS 11553 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6506.553
AT ITER 1335 NEW BEST:: SOT 27013 SOS 11560 HAS SOPS 11560 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6494.56
AT ITER 1347 NEW BEST:: SOT 27013 SOS 11558 HAS SOPS 11558 HAS SOUS 6483 HAS SOUPS 6483 WITH SCORE 6494.558
AT ITER 1353 NEW BEST:: SOT 27018 SOS 11545 HAS SOPS 11545 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6484.545
AT ITER 1377 NEW BEST:: SOT 27011 SOS 11519 HAS SOPS 11519 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6470.519
AT ITER 1385 NEW BEST:: SOT 27011 SOS 11518 HAS SOPS 11518 HAS SOUS 6459 HAS SOUPS 6459 WITH SCORE 6470.518
AT ITER 1390 NEW BEST:: SOT 27023 SOS 11530 HAS SOPS 11530 HAS SOUS 6447 HAS SOUPS 6447 WITH SCORE 6458.53
AT ITER 1411 NEW BEST:: SOT 27003 SOS 11499 HAS SOPS 11499 HAS SOUS 6433 HAS SOUPS 6433 WITH SCORE 6444.499
AT ITER 1429 NEW BEST:: SOT 27000 SOS 11495 HAS SOPS 11495 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6442.495
AT ITER 1447 NEW BEST:: SOT 26988 SOS 11830 HAS SOPS 11830 HAS SOUS 6419 HAS SOUPS 6419 WITH SCORE 6430.83
AT ITER 1466 NEW BEST:: SOT 26988 SOS 11820 HAS SOPS 11820 HAS SOUS 6414 HAS SOUPS 6414 WITH SCORE 6425.82
AT ITER 1484 NEW BEST:: SOT 26988 SOS 11817 HAS SOPS 11817 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6418.817
AT ITER 1497 NEW BEST:: SOT 26999 SOS 11877 HAS SOPS 11877 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6417.877
AT ITER 1511 NEW BEST:: SOT 26999 SOS 11857 HAS SOPS 11857 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6417.857
AT ITER 1529 NEW BEST:: SOT 26986 SOS 11833 HAS SOPS 11833 HAS SOUS 6405 HAS SOUPS 6405 WITH SCORE 6416.833
AT ITER 1535 NEW BEST:: SOT 26946 SOS 11793 HAS SOPS 11793 HAS SOUS 6379 HAS SOUPS 6379 WITH SCORE 6390.793
AT ITER 1553 NEW BEST:: SOT 26913 SOS 11760 HAS SOPS 11760 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6352.76
AT ITER 1577 NEW BEST:: SOT 26897 SOS 11736 HAS SOPS 11736 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6342.736
AT ITER 1581 NEW BEST:: SOT 26962 SOS 11728 HAS SOPS 11728 HAS SOUS 6320 HAS SOUPS 6320 WITH SCORE 6331.728
AT ITER 1586 NEW BEST:: SOT 26954 SOS 11718 HAS SOPS 11718 HAS SOUS 6316 HAS SOUPS 6316 WITH SCORE 6327.718
AT ITER 1587 NEW BEST:: SOT 26933 SOS 11669 HAS SOPS 11669 HAS SOUS 6293 HAS SOUPS 6293 WITH SCORE 6304.669
AT ITER 1605 NEW BEST:: SOT 26916 SOS 11642 HAS SOPS 11642 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6277.642
AT ITER 1608 NEW BEST:: SOT 26881 SOS 11578 HAS SOPS 11578 HAS SOUS 6192 HAS SOUPS 6192 WITH SCORE 6203.578
AT ITER 1610 NEW BEST:: SOT 26878 SOS 11562 HAS SOPS 11562 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6192.562
AT ITER 1617 NEW BEST:: SOT 26876 SOS 11560 HAS SOPS 11560 HAS SOUS 6176 HAS SOUPS 6176 WITH SCORE 6187.56
AT ITER 1629 NEW BEST:: SOT 26844 SOS 11504 HAS SOPS 11504 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6110.504
AT ITER 1630 NEW BEST:: SOT 26829 SOS 11520 HAS SOPS 11520 HAS SOUS 6084 HAS SOUPS 6084 WITH SCORE 6095.52
AT ITER 1637 NEW BEST:: SOT 26822 SOS 11515 HAS SOPS 11515 HAS SOUS 6081 HAS SOUPS 6081 WITH SCORE 6092.515
AT ITER 1650 NEW BEST:: SOT 26818 SOS 11516 HAS SOPS 11516 HAS SOUS 6077 HAS SOUPS 6077 WITH SCORE 6088.516
AT ITER 1658 NEW BEST:: SOT 26780 SOS 11486 HAS SOPS 11486 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6059.486
AT ITER 1682 NEW BEST:: SOT 26756 SOS 11432 HAS SOPS 11432 HAS SOUS 5989 HAS SOUPS 5989 WITH SCORE 6000.432
AT ITER 1684 NEW BEST:: SOT 26764 SOS 11429 HAS SOPS 11429 HAS SOUS 5973 HAS SOUPS 5973 WITH SCORE 5984.429
AT ITER 1706 NEW BEST:: SOT 26765 SOS 11451 HAS SOPS 11451 HAS SOUS 5966 HAS SOUPS 5966 WITH SCORE 5977.451
AT ITER 1710 NEW BEST:: SOT 26755 SOS 11431 HAS SOPS 11431 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5957.431
AT ITER 1719 NEW BEST:: SOT 26747 SOS 11419 HAS SOPS 11419 HAS SOUS 5942 HAS SOUPS 5942 WITH SCORE 5953.419
AT ITER 1768 NEW BEST:: SOT 26741 SOS 11410 HAS SOPS 11410 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5944.41
AT ITER 1783 NEW BEST:: SOT 26741 SOS 11344 HAS SOPS 11344 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5924.344
AT ITER 1813 NEW BEST:: SOT 26678 SOS 11297 HAS SOPS 11297 HAS SOUS 5863 HAS SOUPS 5863 WITH SCORE 5874.297
AT ITER 1820 NEW BEST:: SOT 26684 SOS 11335 HAS SOPS 11335 HAS SOUS 5859 HAS SOUPS 5859 WITH SCORE 5870.335
AT ITER 1825 NEW BEST:: SOT 26683 SOS 11334 HAS SOPS 11334 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5869.334
AT ITER 1840 NEW BEST:: SOT 26674 SOS 11265 HAS SOPS 11265 HAS SOUS 5846 HAS SOUPS 5846 WITH SCORE 5857.265
AT ITER 1862 NEW BEST:: SOT 26627 SOS 11222 HAS SOPS 11222 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5814.222
AT ITER 1870 NEW BEST:: SOT 26621 SOS 11198 HAS SOPS 11198 HAS SOUS 5791 HAS SOUPS 5791 WITH SCORE 5802.198
AT ITER 1873 NEW BEST:: SOT 26619 SOS 11196 HAS SOPS 11196 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5800.196
AT ITER 1894 NEW BEST:: SOT 26636 SOS 11183 HAS SOPS 11183 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5787.183
AT ITER 1895 NEW BEST:: SOT 26636 SOS 11127 HAS SOPS 11127 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5776.127
AT ITER 1896 NEW BEST:: SOT 26624 SOS 11121 HAS SOPS 11121 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5776.121
AT ITER 1897 NEW BEST:: SOT 26628 SOS 11139 HAS SOPS 11139 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5748.139
AT ITER 1936 NEW BEST:: SOT 26626 SOS 11137 HAS SOPS 11137 HAS SOUS 5735 HAS SOUPS 5735 WITH SCORE 5746.137
AT ITER 1949 NEW BEST:: SOT 26622 SOS 11133 HAS SOPS 11133 HAS SOUS 5733 HAS SOUPS 5733 WITH SCORE 5744.133
AT ITER 1964 NEW BEST:: SOT 26624 SOS 11135 HAS SOPS 11135 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5715.135
AT ITER 1969 NEW BEST:: SOT 26630 SOS 11126 HAS SOPS 11126 HAS SOUS 5695 HAS SOUPS 5695 WITH SCORE 5706.126
AT ITER 1983 NEW BEST:: SOT 26625 SOS 11110 HAS SOPS 11110 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5686.11
AT ITER 1991 NEW BEST:: SOT 26592 SOS 11043 HAS SOPS 11043 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5640.043
AT ITER 2024 NEW BEST:: SOT 26598 SOS 11045 HAS SOPS 11045 HAS SOUS 5606 HAS SOUPS 5606 WITH SCORE 5617.045
AT ITER 2051 NEW BEST:: SOT 26576 SOS 11025 HAS SOPS 11025 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5602.025
AT ITER 2056 NEW BEST:: SOT 26562 SOS 11158 HAS SOPS 11158 HAS SOUS 5584 HAS SOUPS 5584 WITH SCORE 5595.158
AT ITER 2066 NEW BEST:: SOT 26482 SOS 10978 HAS SOPS 10978 HAS SOUS 5534 HAS SOUPS 5534 WITH SCORE 5544.978
AT ITER 2110 NEW BEST:: SOT 26469 SOS 10965 HAS SOPS 10965 HAS SOUS 5513 HAS SOUPS 5513 WITH SCORE 5523.965
AT ITER 2111 NEW BEST:: SOT 26465 SOS 10959 HAS SOPS 10959 HAS SOUS 5506 HAS SOUPS 5506 WITH SCORE 5516.959
AT ITER 2113 NEW BEST:: SOT 26464 SOS 10958 HAS SOPS 10958 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5514.958
AT ITER 2122 NEW BEST:: SOT 26439 SOS 10933 HAS SOPS 10933 HAS SOUS 5497 HAS SOUPS 5497 WITH SCORE 5507.933
AT ITER 2127 NEW BEST:: SOT 26442 SOS 10931 HAS SOPS 10931 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5483.931
AT ITER 2136 NEW BEST:: SOT 26432 SOS 10909 HAS SOPS 10909 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5466.909
AT ITER 2137 NEW BEST:: SOT 26391 SOS 10868 HAS SOPS 10868 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5425.868
AT ITER 2142 NEW BEST:: SOT 26433 SOS 10901 HAS SOPS 10901 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5384.901
AT ITER 2143 NEW BEST:: SOT 26427 SOS 10901 HAS SOPS 10901 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5381.901
AT ITER 2156 NEW BEST:: SOT 26426 SOS 10899 HAS SOPS 10899 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5381.899
AT ITER 2162 NEW BEST:: SOT 26426 SOS 10904 HAS SOPS 10904 HAS SOUS 5366 HAS SOUPS 5366 WITH SCORE 5376.904
AT ITER 2240 NEW BEST:: SOT 26417 SOS 10890 HAS SOPS 10890 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5372.89
AT ITER 2244 NEW BEST:: SOT 26403 SOS 10878 HAS SOPS 10878 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5357.878
AT ITER 2245 NEW BEST:: SOT 26414 SOS 10878 HAS SOPS 10878 HAS SOUS 5336 HAS SOUPS 5336 WITH SCORE 5346.878
AT ITER 2248 NEW BEST:: SOT 26398 SOS 10846 HAS SOPS 10846 HAS SOUS 5304 HAS SOUPS 5304 WITH SCORE 5314.846
AT ITER 2249 NEW BEST:: SOT 26397 SOS 10844 HAS SOPS 10844 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5310.844
AT ITER 2292 NEW BEST:: SOT 26396 SOS 10842 HAS SOPS 10842 HAS SOUS 5300 HAS SOUPS 5300 WITH SCORE 5310.842
AT ITER 2306 NEW BEST:: SOT 26382 SOS 10814 HAS SOPS 10814 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5296.814
AT ITER 2325 NEW BEST:: SOT 26383 SOS 10816 HAS SOPS 10816 HAS SOUS 5284 HAS SOUPS 5284 WITH SCORE 5294.816
AT ITER 2327 NEW BEST:: SOT 26384 SOS 10786 HAS SOPS 10786 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5280.786
AT ITER 2350 NEW BEST:: SOT 26384 SOS 10785 HAS SOPS 10785 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5280.785
AT ITER 2364 NEW BEST:: SOT 26384 SOS 10785 HAS SOPS 10785 HAS SOUS 5266 HAS SOUPS 5266 WITH SCORE 5276.785
AT ITER 2367 NEW BEST:: SOT 26369 SOS 10770 HAS SOPS 10770 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5261.77
AT ITER 2393 NEW BEST:: SOT 26369 SOS 10770 HAS SOPS 10770 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5260.77
AT ITER 2437 NEW BEST:: SOT 26375 SOS 10766 HAS SOPS 10766 HAS SOUS 5245 HAS SOUPS 5245 WITH SCORE 5255.766
AT ITER 2485 NEW BEST:: SOT 26370 SOS 10761 HAS SOPS 10761 HAS SOUS 5240 HAS SOUPS 5240 WITH SCORE 5250.761
AT ITER 2510 NEW BEST:: SOT 26367 SOS 10752 HAS SOPS 10752 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5247.752
AT ITER 2512 NEW BEST:: SOT 26355 SOS 10764 HAS SOPS 10764 HAS SOUS 5225 HAS SOUPS 5225 WITH SCORE 5235.764
AT ITER 2533 NEW BEST:: SOT 26343 SOS 10758 HAS SOPS 10758 HAS SOUS 5219 HAS SOUPS 5219 WITH SCORE 5229.758
AT ITER 2547 NEW BEST:: SOT 26356 SOS 10771 HAS SOPS 10771 HAS SOUS 5217 HAS SOUPS 5217 WITH SCORE 5227.771
AT ITER 2554 NEW BEST:: SOT 26334 SOS 10749 HAS SOPS 10749 HAS SOUS 5195 HAS SOUPS 5195 WITH SCORE 5205.749
AT ITER 2558 NEW BEST:: SOT 26320 SOS 10673 HAS SOPS 10673 HAS SOUS 5173 HAS SOUPS 5173 WITH SCORE 5183.673
AT ITER 2562 NEW BEST:: SOT 26303 SOS 10672 HAS SOPS 10672 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5161.672
AT ITER 2588 NEW BEST:: SOT 26303 SOS 10671 HAS SOPS 10671 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5160.671
AT ITER 2593 NEW BEST:: SOT 26317 SOS 10644 HAS SOPS 10644 HAS SOUS 5139 HAS SOUPS 5139 WITH SCORE 5149.644
AT ITER 2689 NEW BEST:: SOT 26317 SOS 10642 HAS SOPS 10642 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5145.642
AT ITER 2701 NEW BEST:: SOT 26309 SOS 10617 HAS SOPS 10617 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5131.617
AT ITER 2747 NEW BEST:: SOT 26306 SOS 10611 HAS SOPS 10611 HAS SOUS 5121 HAS SOUPS 5121 WITH SCORE 5131.611
AT ITER 2763 NEW BEST:: SOT 26306 SOS 10595 HAS SOPS 10595 HAS SOUS 5114 HAS SOUPS 5114 WITH SCORE 5124.595
AT ITER 2786 NEW BEST:: SOT 26288 SOS 10577 HAS SOPS 10577 HAS SOUS 5096 HAS SOUPS 5096 WITH SCORE 5106.577
AT ITER 2805 NEW BEST:: SOT 26286 SOS 10575 HAS SOPS 10575 HAS SOUS 5094 HAS SOUPS 5094 WITH SCORE 5104.575
AT ITER 2861 NEW BEST:: SOT 26268 SOS 10557 HAS SOPS 10557 HAS SOUS 5076 HAS SOUPS 5076 WITH SCORE 5086.557
AT ITER 2870 NEW BEST:: SOT 26266 SOS 10546 HAS SOPS 10546 HAS SOUS 5073 HAS SOUPS 5073 WITH SCORE 5083.546
AT ITER 2875 NEW BEST:: SOT 26239 SOS 10521 HAS SOPS 10521 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5053.521
AT ITER 2879 NEW BEST:: SOT 26239 SOS 10503 HAS SOPS 10503 HAS SOUS 5034 HAS SOUPS 5034 WITH SCORE 5044.503
AT ITER 2922 NEW BEST:: SOT 26164 SOS 10358 HAS SOPS 10358 HAS SOUS 4979 HAS SOUPS 4979 WITH SCORE 4989.358
AT ITER 2952 NEW BEST:: SOT 26064 SOS 10332 HAS SOPS 10332 HAS SOUS 4916 HAS SOUPS 4916 WITH SCORE 4926.332
AT ITER 3087 NEW BEST:: SOT 26079 SOS 10347 HAS SOPS 10347 HAS SOUS 4902 HAS SOUPS 4902 WITH SCORE 4912.347
AT ITER 3101 NEW BEST:: SOT 26042 SOS 10291 HAS SOPS 10291 HAS SOUS 4894 HAS SOUPS 4894 WITH SCORE 4904.291
AT ITER 3124 NEW BEST:: SOT 26040 SOS 10247 HAS SOPS 10247 HAS SOUS 4892 HAS SOUPS 4892 WITH SCORE 4902.247
AT ITER 3134 NEW BEST:: SOT 26040 SOS 10239 HAS SOPS 10239 HAS SOUS 4889 HAS SOUPS 4889 WITH SCORE 4899.239
AT ITER 3145 NEW BEST:: SOT 26040 SOS 10248 HAS SOPS 10248 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4890.248
AT ITER 3208 NEW BEST:: SOT 26010 SOS 10182 HAS SOPS 10182 HAS SOUS 4823 HAS SOUPS 4823 WITH SCORE 4833.182
AT ITER 3252 NEW BEST:: SOT 25938 SOS 10219 HAS SOPS 10219 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4783.219
AT ITER 3266 NEW BEST:: SOT 25928 SOS 10190 HAS SOPS 10190 HAS SOUS 4756 HAS SOUPS 4756 WITH SCORE 4766.19
AT ITER 3269 NEW BEST:: SOT 25928 SOS 10188 HAS SOPS 10188 HAS SOUS 4754 HAS SOUPS 4754 WITH SCORE 4764.188
AT ITER 3290 NEW BEST:: SOT 25923 SOS 10178 HAS SOPS 10178 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4756.178
AT ITER 3299 NEW BEST:: SOT 25919 SOS 10162 HAS SOPS 10162 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4750.162
AT ITER 3314 NEW BEST:: SOT 25912 SOS 10156 HAS SOPS 10156 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4745.156
AT ITER 3327 NEW BEST:: SOT 25911 SOS 10155 HAS SOPS 10155 HAS SOUS 4735 HAS SOUPS 4735 WITH SCORE 4745.155
AT ITER 3331 NEW BEST:: SOT 25912 SOS 10154 HAS SOPS 10154 HAS SOUS 4734 HAS SOUPS 4734 WITH SCORE 4744.154
AT ITER 3347 NEW BEST:: SOT 25906 SOS 10148 HAS SOPS 10148 HAS SOUS 4728 HAS SOUPS 4728 WITH SCORE 4738.148
AT ITER 3365 NEW BEST:: SOT 25890 SOS 10135 HAS SOPS 10135 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4717.135
AT ITER 3410 NEW BEST:: SOT 25885 SOS 10130 HAS SOPS 10130 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4717.13
AT ITER 3411 NEW BEST:: SOT 25881 SOS 10124 HAS SOPS 10124 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4711.124
AT ITER 3423 NEW BEST:: SOT 25878 SOS 10118 HAS SOPS 10118 HAS SOUS 4701 HAS SOUPS 4701 WITH SCORE 4711.118
AT ITER 3482 NEW BEST:: SOT 25878 SOS 10114 HAS SOPS 10114 HAS SOUS 4699 HAS SOUPS 4699 WITH SCORE 4709.114
AT ITER 3502 NEW BEST:: SOT 25876 SOS 10106 HAS SOPS 10106 HAS SOUS 4697 HAS SOUPS 4697 WITH SCORE 4707.106
AT ITER 3529 NEW BEST:: SOT 25872 SOS 10102 HAS SOPS 10102 HAS SOUS 4693 HAS SOUPS 4693 WITH SCORE 4703.102
AT ITER 3553 NEW BEST:: SOT 25860 SOS 10078 HAS SOPS 10078 HAS SOUS 4688 HAS SOUPS 4688 WITH SCORE 4698.078
AT ITER 3640 NEW BEST:: SOT 25860 SOS 10068 HAS SOPS 10068 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4692.068
AT ITER 3646 NEW BEST:: SOT 25854 SOS 10076 HAS SOPS 10076 HAS SOUS 4679 HAS SOUPS 4679 WITH SCORE 4689.076
AT ITER 3696 NEW BEST:: SOT 25851 SOS 10067 HAS SOPS 10067 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4686.067
AT ITER 3734 NEW BEST:: SOT 25848 SOS 10043 HAS SOPS 10043 HAS SOUS 4673 HAS SOUPS 4673 WITH SCORE 4683.043
AT ITER 3779 NEW BEST:: SOT 25846 SOS 10039 HAS SOPS 10039 HAS SOUS 4672 HAS SOUPS 4672 WITH SCORE 4682.039
AT ITER 3782 NEW BEST:: SOT 25845 SOS 10041 HAS SOPS 10041 HAS SOUS 4670 HAS SOUPS 4670 WITH SCORE 4680.041
AT ITER 3811 NEW BEST:: SOT 25826 SOS 10116 HAS SOPS 10116 HAS SOUS 4663 HAS SOUPS 4663 WITH SCORE 4673.116
AT ITER 3820 NEW BEST:: SOT 25822 SOS 10101 HAS SOPS 10101 HAS SOUS 4662 HAS SOUPS 4662 WITH SCORE 4672.101
AT ITER 3943 NEW BEST:: SOT 25812 SOS 10087 HAS SOPS 10087 HAS SOUS 4657 HAS SOUPS 4657 WITH SCORE 4667.087
AT ITER 3947 NEW BEST:: SOT 25815 SOS 10087 HAS SOPS 10087 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4666.087
AT ITER 3950 NEW BEST:: SOT 25810 SOS 10082 HAS SOPS 10082 HAS SOUS 4651 HAS SOUPS 4651 WITH SCORE 4661.082
AT ITER 3958 NEW BEST:: SOT 25803 SOS 10071 HAS SOPS 10071 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4642.071
AT ITER 4019 NEW BEST:: SOT 25803 SOS 10070 HAS SOPS 10070 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4642.07
AT ITER 4023 NEW BEST:: SOT 25802 SOS 10069 HAS SOPS 10069 HAS SOUS 4631 HAS SOUPS 4631 WITH SCORE 4641.069
AT ITER 4024 NEW BEST:: SOT 25802 SOS 10065 HAS SOPS 10065 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4638.065
AT ITER 4057 NEW BEST:: SOT 25790 SOS 10057 HAS SOPS 10057 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4635.057
AT ITER 4061 NEW BEST:: SOT 25788 SOS 10048 HAS SOPS 10048 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4631.048
AT ITER 4150 NEW BEST:: SOT 25788 SOS 10018 HAS SOPS 10018 HAS SOUS 4621 HAS SOUPS 4621 WITH SCORE 4631.018
AT ITER 4157 NEW BEST:: SOT 25787 SOS 10015 HAS SOPS 10015 HAS SOUS 4619 HAS SOUPS 4619 WITH SCORE 4629.015
AT ITER 4176 NEW BEST:: SOT 25785 SOS 10013 HAS SOPS 10013 HAS SOUS 4617 HAS SOUPS 4617 WITH SCORE 4627.013
AT ITER 4181 NEW BEST:: SOT 25783 SOS 10011 HAS SOPS 10011 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4625.011
AT ITER 4183 NEW BEST:: SOT 25768 SOS 9974 HAS SOPS 9974 HAS SOUS 4582 HAS SOUPS 4582 WITH SCORE 4591.974
AT ITER 4198 NEW BEST:: SOT 25770 SOS 9966 HAS SOPS 9966 HAS SOUS 4569 HAS SOUPS 4569 WITH SCORE 4578.966
AT ITER 4229 NEW BEST:: SOT 25770 SOS 9957 HAS SOPS 9957 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4575.957
AT ITER 4261 NEW BEST:: SOT 25764 SOS 9951 HAS SOPS 9951 HAS SOUS 4563 HAS SOUPS 4563 WITH SCORE 4572.951
AT ITER 4271 NEW BEST:: SOT 25766 SOS 9965 HAS SOPS 9965 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4570.965
AT ITER 4291 NEW BEST:: SOT 25764 SOS 9959 HAS SOPS 9959 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4568.959
AT ITER 4296 NEW BEST:: SOT 25775 SOS 9957 HAS SOPS 9957 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4566.957
AT ITER 4301 NEW BEST:: SOT 25775 SOS 9955 HAS SOPS 9955 HAS SOUS 4557 HAS SOUPS 4557 WITH SCORE 4566.955
AT ITER 4342 NEW BEST:: SOT 25764 SOS 9944 HAS SOPS 9944 HAS SOUS 4546 HAS SOUPS 4546 WITH SCORE 4555.944
AT ITER 4353 NEW BEST:: SOT 25764 SOS 9941 HAS SOPS 9941 HAS SOUS 4542 HAS SOUPS 4542 WITH SCORE 4551.941
AT ITER 4355 NEW BEST:: SOT 25761 SOS 9931 HAS SOPS 9931 HAS SOUS 4531 HAS SOUPS 4531 WITH SCORE 4540.931
AT ITER 4403 NEW BEST:: SOT 25764 SOS 9925 HAS SOPS 9925 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4537.925
AT ITER 4554 NEW BEST:: SOT 25762 SOS 9925 HAS SOPS 9925 HAS SOUS 4524 HAS SOUPS 4524 WITH SCORE 4533.925
AT ITER 4567 NEW BEST:: SOT 25756 SOS 9922 HAS SOPS 9922 HAS SOUS 4518 HAS SOUPS 4518 WITH SCORE 4527.922
AT ITER 4610 NEW BEST:: SOT 25757 SOS 9922 HAS SOPS 9922 HAS SOUS 4514 HAS SOUPS 4514 WITH SCORE 4523.922
AT ITER 4642 NEW BEST:: SOT 25756 SOS 9919 HAS SOPS 9919 HAS SOUS 4513 HAS SOUPS 4513 WITH SCORE 4522.919
AT ITER 4644 NEW BEST:: SOT 25755 SOS 9917 HAS SOPS 9917 HAS SOUS 4512 HAS SOUPS 4512 WITH SCORE 4521.917
AT ITER 4713 NEW BEST:: SOT 25755 SOS 9919 HAS SOPS 9919 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4519.919
AT ITER 4718 NEW BEST:: SOT 25749 SOS 9911 HAS SOPS 9911 HAS SOUS 4503 HAS SOUPS 4503 WITH SCORE 4512.911
AT ITER 4764 NEW BEST:: SOT 25747 SOS 9909 HAS SOPS 9909 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4509.909
AT ITER 4838 NEW BEST:: SOT 25731 SOS 9893 HAS SOPS 9893 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4509.893
AT ITER 4876 NEW BEST:: SOT 25731 SOS 9883 HAS SOPS 9883 HAS SOUS 4500 HAS SOUPS 4500 WITH SCORE 4509.883
AT ITER 4914 NEW BEST:: SOT 25731 SOS 9879 HAS SOPS 9879 HAS SOUS 4496 HAS SOUPS 4496 WITH SCORE 4505.879
AT ITER 4917 NEW BEST:: SOT 25720 SOS 9840 HAS SOPS 9840 HAS SOUS 4485 HAS SOUPS 4485 WITH SCORE 4494.84
AT ITER 4931 NEW BEST:: SOT 25720 SOS 9839 HAS SOPS 9839 HAS SOUS 4474 HAS SOUPS 4474 WITH SCORE 4483.839
AT ITER 4995 NEW BEST:: SOT 25726 SOS 9845 HAS SOPS 9845 HAS SOUS 4471 HAS SOUPS 4471 WITH SCORE 4480.845
AT ITER 5052 NEW BEST:: SOT 25738 SOS 9871 HAS SOPS 9871 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4476.871
AT ITER 5087 NEW BEST:: SOT 25680 SOS 9821 HAS SOPS 9821 HAS SOUS 4429 HAS SOUPS 4429 WITH SCORE 4438.821
AT ITER 5142 NEW BEST:: SOT 25675 SOS 9814 HAS SOPS 9814 HAS SOUS 4423 HAS SOUPS 4423 WITH SCORE 4432.814
AT ITER 5143 NEW BEST:: SOT 25674 SOS 9793 HAS SOPS 9793 HAS SOUS 4422 HAS SOUPS 4422 WITH SCORE 4431.793
AT ITER 5157 NEW BEST:: SOT 25677 SOS 9796 HAS SOPS 9796 HAS SOUS 4415 HAS SOUPS 4415 WITH SCORE 4424.796
AT ITER 5201 NEW BEST:: SOT 25669 SOS 9795 HAS SOPS 9795 HAS SOUS 4408 HAS SOUPS 4408 WITH SCORE 4417.795
AT ITER 5232 NEW BEST:: SOT 25625 SOS 10221 HAS SOPS 10221 HAS SOUS 4393 HAS SOUPS 4393 WITH SCORE 4403.221
AT ITER 5248 NEW BEST:: SOT 25536 SOS 10712 HAS SOPS 10712 HAS SOUS 4384 HAS SOUPS 4384 WITH SCORE 4394.712
AT ITER 5302 NEW BEST:: SOT 25526 SOS 10696 HAS SOPS 10696 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4389.696
AT ITER 5339 NEW BEST:: SOT 25523 SOS 10666 HAS SOPS 10666 HAS SOUS 4364 HAS SOUPS 4364 WITH SCORE 4374.666
AT ITER 5345 NEW BEST:: SOT 25458 SOS 11128 HAS SOPS 11128 HAS SOUS 4328 HAS SOUPS 4328 WITH SCORE 4339.128
AT ITER 5366 NEW BEST:: SOT 25398 SOS 11068 HAS SOPS 11068 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4289.068
AT ITER 5367 NEW BEST:: SOT 25368 SOS 11375 HAS SOPS 11375 HAS SOUS 4266 HAS SOUPS 4266 WITH SCORE 4277.375
AT ITER 5450 NEW BEST:: SOT 25368 SOS 11377 HAS SOPS 11377 HAS SOUS 4264 HAS SOUPS 4264 WITH SCORE 4275.377
AT ITER 5472 NEW BEST:: SOT 25372 SOS 11381 HAS SOPS 11381 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4274.381
AT ITER 5492 NEW BEST:: SOT 25367 SOS 11371 HAS SOPS 11371 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4274.371
AT ITER 5498 NEW BEST:: SOT 25367 SOS 11370 HAS SOPS 11370 HAS SOUS 4263 HAS SOUPS 4263 WITH SCORE 4274.37
AT ITER 5501 NEW BEST:: SOT 25354 SOS 11372 HAS SOPS 11372 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4267.372
AT ITER 5511 NEW BEST:: SOT 25353 SOS 11376 HAS SOPS 11376 HAS SOUS 4255 HAS SOUPS 4255 WITH SCORE 4266.376
AT ITER 5559 NEW BEST:: SOT 25330 SOS 11353 HAS SOPS 11353 HAS SOUS 4248 HAS SOUPS 4248 WITH SCORE 4259.353
AT ITER 5566 NEW BEST:: SOT 25269 SOS 11292 HAS SOPS 11292 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4216.292
AT ITER 5585 NEW BEST:: SOT 25266 SOS 11289 HAS SOPS 11289 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4210.289
AT ITER 5632 NEW BEST:: SOT 25221 SOS 11239 HAS SOPS 11239 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4184.239
AT ITER 5660 NEW BEST:: SOT 25220 SOS 11238 HAS SOPS 11238 HAS SOUS 4171 HAS SOUPS 4171 WITH SCORE 4182.238
AT ITER 5662 NEW BEST:: SOT 25212 SOS 11230 HAS SOPS 11230 HAS SOUS 4163 HAS SOUPS 4163 WITH SCORE 4174.23
AT ITER 5665 NEW BEST:: SOT 25203 SOS 11225 HAS SOPS 11225 HAS SOUS 4158 HAS SOUPS 4158 WITH SCORE 4169.225
AT ITER 5681 NEW BEST:: SOT 25198 SOS 11212 HAS SOPS 11212 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4165.212
AT ITER 5709 NEW BEST:: SOT 25198 SOS 11201 HAS SOPS 11201 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4164.201
AT ITER 5712 NEW BEST:: SOT 25196 SOS 11207 HAS SOPS 11207 HAS SOUS 4146 HAS SOUPS 4146 WITH SCORE 4157.207
AT ITER 5715 NEW BEST:: SOT 25170 SOS 11154 HAS SOPS 11154 HAS SOUS 4124 HAS SOUPS 4124 WITH SCORE 4135.154
AT ITER 5796 NEW BEST:: SOT 25187 SOS 11150 HAS SOPS 11150 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4133.15
AT ITER 5829 NEW BEST:: SOT 25190 SOS 11006 HAS SOPS 11006 HAS SOUS 4120 HAS SOUPS 4120 WITH SCORE 4131.006
AT ITER 5843 NEW BEST:: SOT 25193 SOS 10990 HAS SOPS 10990 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4120.99
AT ITER 5944 NEW BEST:: SOT 25186 SOS 10983 HAS SOPS 10983 HAS SOUS 4103 HAS SOUPS 4103 WITH SCORE 4113.983
AT ITER 5957 NEW BEST:: SOT 25179 SOS 10955 HAS SOPS 10955 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4098.955
AT ITER 6027 NEW BEST:: SOT 25179 SOS 10953 HAS SOPS 10953 HAS SOUS 4086 HAS SOUPS 4086 WITH SCORE 4096.953
AT ITER 6080 NEW BEST:: SOT 25176 SOS 10928 HAS SOPS 10928 HAS SOUS 4061 HAS SOUPS 4061 WITH SCORE 4071.928
AT ITER 6117 NEW BEST:: SOT 25174 SOS 10933 HAS SOPS 10933 HAS SOUS 4054 HAS SOUPS 4054 WITH SCORE 4064.933
AT ITER 6163 NEW BEST:: SOT 25125 SOS 10876 HAS SOPS 10876 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4033.876
AT ITER 6167 NEW BEST:: SOT 25124 SOS 10878 HAS SOPS 10878 HAS SOUS 4018 HAS SOUPS 4018 WITH SCORE 4028.878
AT ITER 6205 NEW BEST:: SOT 25124 SOS 10786 HAS SOPS 10786 HAS SOUS 4014 HAS SOUPS 4014 WITH SCORE 4024.786
AT ITER 6248 NEW BEST:: SOT 25130 SOS 10761 HAS SOPS 10761 HAS SOUS 3985 HAS SOUPS 3985 WITH SCORE 3995.761
AT ITER 6286 NEW BEST:: SOT 25117 SOS 10745 HAS SOPS 10745 HAS SOUS 3976 HAS SOUPS 3976 WITH SCORE 3986.745
AT ITER 6373 NEW BEST:: SOT 25117 SOS 10745 HAS SOPS 10745 HAS SOUS 3973 HAS SOUPS 3973 WITH SCORE 3983.745
AT ITER 6389 NEW BEST:: SOT 25119 SOS 10749 HAS SOPS 10749 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3982.749
AT ITER 6407 NEW BEST:: SOT 25090 SOS 10737 HAS SOPS 10737 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3978.737
AT ITER 6486 NEW BEST:: SOT 25077 SOS 10716 HAS SOPS 10716 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3978.716
AT ITER 6512 NEW BEST:: SOT 25081 SOS 10716 HAS SOPS 10716 HAS SOUS 3962 HAS SOUPS 3962 WITH SCORE 3972.716
AT ITER 6543 NEW BEST:: SOT 25085 SOS 10716 HAS SOPS 10716 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3970.716
AT ITER 6546 NEW BEST:: SOT 25078 SOS 10715 HAS SOPS 10715 HAS SOUS 3954 HAS SOUPS 3954 WITH SCORE 3964.715
AT ITER 6608 NEW BEST:: SOT 25054 SOS 10691 HAS SOPS 10691 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3957.691
AT ITER 6624 NEW BEST:: SOT 25046 SOS 10685 HAS SOPS 10685 HAS SOUS 3941 HAS SOUPS 3941 WITH SCORE 3951.685
AT ITER 6685 NEW BEST:: SOT 25034 SOS 10689 HAS SOPS 10689 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3946.689
AT ITER 6687 NEW BEST:: SOT 25032 SOS 10678 HAS SOPS 10678 HAS SOUS 3934 HAS SOUPS 3934 WITH SCORE 3944.678
AT ITER 6775 NEW BEST:: SOT 25015 SOS 10701 HAS SOPS 10701 HAS SOUS 3921 HAS SOUPS 3921 WITH SCORE 3931.701
AT ITER 6831 NEW BEST:: SOT 25006 SOS 10692 HAS SOPS 10692 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3925.692
AT ITER 6852 NEW BEST:: SOT 24995 SOS 10664 HAS SOPS 10664 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3915.664
AT ITER 6864 NEW BEST:: SOT 24994 SOS 10662 HAS SOPS 10662 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3914.662
AT ITER 6872 NEW BEST:: SOT 24975 SOS 10564 HAS SOPS 10564 HAS SOUS 3898 HAS SOUPS 3898 WITH SCORE 3908.564
AT ITER 6924 NEW BEST:: SOT 24974 SOS 10563 HAS SOPS 10563 HAS SOUS 3897 HAS SOUPS 3897 WITH SCORE 3907.563
AT ITER 6984 NEW BEST:: SOT 24971 SOS 10560 HAS SOPS 10560 HAS SOUS 3893 HAS SOUPS 3893 WITH SCORE 3903.56
AT ITER 6986 NEW BEST:: SOT 24970 SOS 10558 HAS SOPS 10558 HAS SOUS 3892 HAS SOUPS 3892 WITH SCORE 3902.558
AT ITER 7019 NEW BEST:: SOT 24968 SOS 10556 HAS SOPS 10556 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3900.556
AT ITER 7072 NEW BEST:: SOT 24971 SOS 10559 HAS SOPS 10559 HAS SOUS 3871 HAS SOUPS 3871 WITH SCORE 3881.559
AT ITER 7074 NEW BEST:: SOT 24963 SOS 10540 HAS SOPS 10540 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3863.54
AT ITER 7085 NEW BEST:: SOT 24957 SOS 10532 HAS SOPS 10532 HAS SOUS 3853 HAS SOUPS 3853 WITH SCORE 3863.532
AT ITER 7096 NEW BEST:: SOT 24950 SOS 10522 HAS SOPS 10522 HAS SOUS 3843 HAS SOUPS 3843 WITH SCORE 3853.522
AT ITER 7155 NEW BEST:: SOT 24950 SOS 10522 HAS SOPS 10522 HAS SOUS 3842 HAS SOUPS 3842 WITH SCORE 3852.522
AT ITER 7214 NEW BEST:: SOT 24942 SOS 10506 HAS SOPS 10506 HAS SOUS 3839 HAS SOUPS 3839 WITH SCORE 3849.506
AT ITER 7249 NEW BEST:: SOT 24940 SOS 10502 HAS SOPS 10502 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3845.502
AT ITER 7261 NEW BEST:: SOT 24943 SOS 10504 HAS SOPS 10504 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3843.504
AT ITER 7392 NEW BEST:: SOT 24938 SOS 10492 HAS SOPS 10492 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3822.492
AT ITER 7424 NEW BEST:: SOT 24934 SOS 10495 HAS SOPS 10495 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3818.495
AT ITER 7449 NEW BEST:: SOT 24929 SOS 10490 HAS SOPS 10490 HAS SOUS 3802 HAS SOUPS 3802 WITH SCORE 3812.49
AT ITER 7463 NEW BEST:: SOT 24927 SOS 10478 HAS SOPS 10478 HAS SOUS 3801 HAS SOUPS 3801 WITH SCORE 3811.478
AT ITER 7527 NEW BEST:: SOT 24918 SOS 10459 HAS SOPS 10459 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3798.459
AT ITER 7546 NEW BEST:: SOT 24894 SOS 10528 HAS SOPS 10528 HAS SOUS 3774 HAS SOUPS 3774 WITH SCORE 3784.528
AT ITER 7579 NEW BEST:: SOT 24877 SOS 10513 HAS SOPS 10513 HAS SOUS 3762 HAS SOUPS 3762 WITH SCORE 3772.513
AT ITER 7706 NEW BEST:: SOT 24872 SOS 10508 HAS SOPS 10508 HAS SOUS 3755 HAS SOUPS 3755 WITH SCORE 3765.508
AT ITER 7730 NEW BEST:: SOT 24874 SOS 10496 HAS SOPS 10496 HAS SOUS 3751 HAS SOUPS 3751 WITH SCORE 3761.496
AT ITER 7753 NEW BEST:: SOT 24872 SOS 10494 HAS SOPS 10494 HAS SOUS 3748 HAS SOUPS 3748 WITH SCORE 3758.494
AT ITER 7800 NEW BEST:: SOT 24863 SOS 10485 HAS SOPS 10485 HAS SOUS 3746 HAS SOUPS 3746 WITH SCORE 3756.485
AT ITER 7834 NEW BEST:: SOT 24855 SOS 10485 HAS SOPS 10485 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3748.485
AT ITER 7852 NEW BEST:: SOT 24845 SOS 10475 HAS SOPS 10475 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3738.475
AT ITER 7853 NEW BEST:: SOT 24840 SOS 10465 HAS SOPS 10465 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3725.465
AT ITER 7906 NEW BEST:: SOT 24840 SOS 10462 HAS SOPS 10462 HAS SOUS 3715 HAS SOUPS 3715 WITH SCORE 3725.462
AT ITER 7931 NEW BEST:: SOT 24835 SOS 10458 HAS SOPS 10458 HAS SOUS 3712 HAS SOUPS 3712 WITH SCORE 3722.458
AT ITER 8002 NEW BEST:: SOT 24833 SOS 10456 HAS SOPS 10456 HAS SOUS 3710 HAS SOUPS 3710 WITH SCORE 3720.456
AT ITER 8094 NEW BEST:: SOT 24831 SOS 10454 HAS SOPS 10454 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3718.454
AT ITER 8126 NEW BEST:: SOT 24811 SOS 10434 HAS SOPS 10434 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3715.434
AT ITER 8185 NEW BEST:: SOT 24811 SOS 10418 HAS SOPS 10418 HAS SOUS 3697 HAS SOUPS 3697 WITH SCORE 3707.418
AT ITER 8186 NEW BEST:: SOT 24804 SOS 10410 HAS SOPS 10410 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3706.41
AT ITER 8248 NEW BEST:: SOT 24804 SOS 10410 HAS SOPS 10410 HAS SOUS 3695 HAS SOUPS 3695 WITH SCORE 3705.41
AT ITER 8269 NEW BEST:: SOT 24800 SOS 10405 HAS SOPS 10405 HAS SOUS 3691 HAS SOUPS 3691 WITH SCORE 3701.405
AT ITER 8432 NEW BEST:: SOT 24802 SOS 10406 HAS SOPS 10406 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3700.406
AT ITER 8492 NEW BEST:: SOT 24799 SOS 10403 HAS SOPS 10403 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3700.403
AT ITER 8514 NEW BEST:: SOT 24799 SOS 10401 HAS SOPS 10401 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3697.401
AT ITER 8538 NEW BEST:: SOT 24801 SOS 10398 HAS SOPS 10398 HAS SOUS 3682 HAS SOUPS 3682 WITH SCORE 3692.398
AT ITER 8688 NEW BEST:: SOT 24801 SOS 10377 HAS SOPS 10377 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3687.377
AT ITER 8728 NEW BEST:: SOT 24800 SOS 10376 HAS SOPS 10376 HAS SOUS 3677 HAS SOUPS 3677 WITH SCORE 3687.376
AT ITER 8773 NEW BEST:: SOT 24801 SOS 10377 HAS SOPS 10377 HAS SOUS 3675 HAS SOUPS 3675 WITH SCORE 3685.377
AT ITER 8852 NEW BEST:: SOT 24801 SOS 10373 HAS SOPS 10373 HAS SOUS 3673 HAS SOUPS 3673 WITH SCORE 3683.373
AT ITER 8907 NEW BEST:: SOT 24794 SOS 10357 HAS SOPS 10357 HAS SOUS 3662 HAS SOUPS 3662 WITH SCORE 3672.357
AT ITER 8911 NEW BEST:: SOT 24796 SOS 10351 HAS SOPS 10351 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3671.351
AT ITER 8977 NEW BEST:: SOT 24794 SOS 10354 HAS SOPS 10354 HAS SOUS 3660 HAS SOUPS 3660 WITH SCORE 3670.354
AT ITER 9060 NEW BEST:: SOT 24791 SOS 10352 HAS SOPS 10352 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3668.352
AT ITER 9246 NEW BEST:: SOT 24790 SOS 10350 HAS SOPS 10350 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3668.35
AT ITER 9258 NEW BEST:: SOT 24788 SOS 10348 HAS SOPS 10348 HAS SOUS 3658 HAS SOUPS 3658 WITH SCORE 3668.348
AT ITER 9264 NEW BEST:: SOT 24790 SOS 10350 HAS SOPS 10350 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3662.35
AT ITER 9281 NEW BEST:: SOT 24774 SOS 10334 HAS SOPS 10334 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3662.334
AT ITER 9422 NEW BEST:: SOT 24773 SOS 10332 HAS SOPS 10332 HAS SOUS 3652 HAS SOUPS 3652 WITH SCORE 3662.332
AT ITER 9448 NEW BEST:: SOT 24772 SOS 10331 HAS SOPS 10331 HAS SOUS 3649 HAS SOUPS 3649 WITH SCORE 3659.331
AT ITER 9462 NEW BEST:: SOT 24772 SOS 10331 HAS SOPS 10331 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3651.331
AT ITER 9501 NEW BEST:: SOT 24783 SOS 10326 HAS SOPS 10326 HAS SOUS 3634 HAS SOUPS 3634 WITH SCORE 3644.326
AT ITER 9511 NEW BEST:: SOT 24782 SOS 10479 HAS SOPS 10479 HAS SOUS 3633 HAS SOUPS 3633 WITH SCORE 3643.479
AT ITER 9599 NEW BEST:: SOT 24780 SOS 10477 HAS SOPS 10477 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3641.477
AT ITER 9678 NEW BEST:: SOT 24774 SOS 10598 HAS SOPS 10598 HAS SOUS 3629 HAS SOUPS 3629 WITH SCORE 3639.598
AT ITER 9724 NEW BEST:: SOT 24783 SOS 10612 HAS SOPS 10612 HAS SOUS 3628 HAS SOUPS 3628 WITH SCORE 3638.612
AT ITER 9745 NEW BEST:: SOT 24766 SOS 10595 HAS SOPS 10595 HAS SOUS 3610 HAS SOUPS 3610 WITH SCORE 3620.595
AT ITER 9774 NEW BEST:: SOT 24758 SOS 10591 HAS SOPS 10591 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3616.591
AT ITER 9840 NEW BEST:: SOT 24753 SOS 10584 HAS SOPS 10584 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3606.584
AT ITER 9862 NEW BEST:: SOT 24755 SOS 10583 HAS SOPS 10583 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3599.583
AT ITER 9906 NEW BEST:: SOT 24751 SOS 10579 HAS SOPS 10579 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3599.579
AT ITER 9914 NEW BEST:: SOT 24748 SOS 10576 HAS SOPS 10576 HAS SOUS 3586 HAS SOUPS 3586 WITH SCORE 3596.576
AT ITER 9916 NEW BEST:: SOT 24746 SOS 10574 HAS SOPS 10574 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3592.574
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 1679307513599

--------------------
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-COL-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-COL-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-167912711301024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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