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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.6M
-rw-r--r-- 1 mcc users 55K Feb 26 14:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 271K Feb 26 14:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 139K Feb 26 14:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 525K Feb 26 14:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 17:26 LTLCardinality.txt
-rw-r--r-- 1 mcc users 54K Feb 25 17:26 LTLCardinality.xml
-rw-r--r-- 1 mcc users 48K Feb 25 17:26 LTLFireability.txt
-rw-r--r-- 1 mcc users 132K Feb 25 17:26 LTLFireability.xml
-rw-r--r-- 1 mcc users 71K Feb 26 15:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 329K Feb 26 15:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 141K Feb 26 15:06 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 477K Feb 26 15:06 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 17:26 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Feb 25 17:26 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 319K 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 1679320133336

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-Z4T4N10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 13:48:55] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 13:48:55] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 13:48:55] [INFO ] Load time of PNML (sax parser for PT used): 105 ms
[2023-03-20 13:48:55] [INFO ] Transformed 376 places.
[2023-03-20 13:48:55] [INFO ] Transformed 750 transitions.
[2023-03-20 13:48:55] [INFO ] Parsed PT model containing 376 places and 750 transitions and 2410 arcs in 202 ms.
[2023-03-20 13:48:55] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 376 places, 750 transitions and 2410 arcs took 11 ms.
Total runtime 245 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z4T4N10
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: 376 places, 750 transitions, 2410 arcs.
AT ITER 0 NEW BEST:: SOT 229612 SOS 183793 HAS SOPS 183793 HAS SOUS 101937 HAS SOUPS 101937 WITH SCORE 102120.793
AT ITER 3 NEW BEST:: SOT 229394 SOS 180542 HAS SOPS 180542 HAS SOUS 101918 HAS SOUPS 101918 WITH SCORE 102098.542
AT ITER 4 NEW BEST:: SOT 229335 SOS 180122 HAS SOPS 180122 HAS SOUS 101772 HAS SOUPS 101772 WITH SCORE 101952.122
AT ITER 10 NEW BEST:: SOT 229501 SOS 179990 HAS SOPS 179990 HAS SOUS 101476 HAS SOUPS 101476 WITH SCORE 101655.99
AT ITER 13 NEW BEST:: SOT 229292 SOS 179532 HAS SOPS 179532 HAS SOUS 101125 HAS SOUPS 101125 WITH SCORE 101304.532
AT ITER 19 NEW BEST:: SOT 224998 SOS 175206 HAS SOPS 175206 HAS SOUS 96915 HAS SOUPS 96915 WITH SCORE 97090.206
AT ITER 21 NEW BEST:: SOT 224884 SOS 174680 HAS SOPS 174680 HAS SOUS 96646 HAS SOUPS 96646 WITH SCORE 96820.68
AT ITER 25 NEW BEST:: SOT 224884 SOS 173928 HAS SOPS 173928 HAS SOUS 96454 HAS SOUPS 96454 WITH SCORE 96627.928
AT ITER 27 NEW BEST:: SOT 225586 SOS 171861 HAS SOPS 171861 HAS SOUS 90080 HAS SOUPS 90080 WITH SCORE 90251.861
AT ITER 28 NEW BEST:: SOT 225458 SOS 171738 HAS SOPS 171738 HAS SOUS 89543 HAS SOUPS 89543 WITH SCORE 89714.738
AT ITER 29 NEW BEST:: SOT 225417 SOS 168830 HAS SOPS 168830 HAS SOUS 84533 HAS SOUPS 84533 WITH SCORE 84701.83
AT ITER 30 NEW BEST:: SOT 225186 SOS 168750 HAS SOPS 168750 HAS SOUS 84282 HAS SOUPS 84282 WITH SCORE 84450.75
AT ITER 31 NEW BEST:: SOT 225169 SOS 168716 HAS SOPS 168716 HAS SOUS 84248 HAS SOUPS 84248 WITH SCORE 84416.716
AT ITER 34 NEW BEST:: SOT 225169 SOS 168716 HAS SOPS 168716 HAS SOUS 84148 HAS SOUPS 84148 WITH SCORE 84316.716
AT ITER 36 NEW BEST:: SOT 224955 SOS 167268 HAS SOPS 167268 HAS SOUS 83733 HAS SOUPS 83733 WITH SCORE 83900.268
AT ITER 37 NEW BEST:: SOT 224913 SOS 167030 HAS SOPS 167030 HAS SOUS 83642 HAS SOUPS 83642 WITH SCORE 83809.03
AT ITER 40 NEW BEST:: SOT 224850 SOS 166653 HAS SOPS 166653 HAS SOUS 83502 HAS SOUPS 83502 WITH SCORE 83668.653
AT ITER 44 NEW BEST:: SOT 224800 SOS 165549 HAS SOPS 165549 HAS SOUS 83200 HAS SOUPS 83200 WITH SCORE 83365.549
AT ITER 45 NEW BEST:: SOT 224795 SOS 165529 HAS SOPS 165529 HAS SOUS 83179 HAS SOUPS 83179 WITH SCORE 83344.529
AT ITER 46 NEW BEST:: SOT 224562 SOS 165414 HAS SOPS 165414 HAS SOUS 83061 HAS SOUPS 83061 WITH SCORE 83226.414
AT ITER 48 NEW BEST:: SOT 224713 SOS 164692 HAS SOPS 164692 HAS SOUS 83011 HAS SOUPS 83011 WITH SCORE 83175.692
AT ITER 50 NEW BEST:: SOT 224592 SOS 164450 HAS SOPS 164450 HAS SOUS 82769 HAS SOUPS 82769 WITH SCORE 82933.45
AT ITER 57 NEW BEST:: SOT 224496 SOS 164304 HAS SOPS 164304 HAS SOUS 82335 HAS SOUPS 82335 WITH SCORE 82499.304
AT ITER 60 NEW BEST:: SOT 224546 SOS 163432 HAS SOPS 163432 HAS SOUS 82112 HAS SOUPS 82112 WITH SCORE 82275.432
AT ITER 67 NEW BEST:: SOT 224519 SOS 162256 HAS SOPS 162256 HAS SOUS 81778 HAS SOUPS 81778 WITH SCORE 81940.256
AT ITER 68 NEW BEST:: SOT 224424 SOS 161858 HAS SOPS 161858 HAS SOUS 81534 HAS SOUPS 81534 WITH SCORE 81695.858
AT ITER 69 NEW BEST:: SOT 224552 SOS 161118 HAS SOPS 161118 HAS SOUS 81291 HAS SOUPS 81291 WITH SCORE 81452.118
AT ITER 74 NEW BEST:: SOT 224487 SOS 160730 HAS SOPS 160730 HAS SOUS 81142 HAS SOUPS 81142 WITH SCORE 81302.73
AT ITER 76 NEW BEST:: SOT 224468 SOS 159958 HAS SOPS 159958 HAS SOUS 80851 HAS SOUPS 80851 WITH SCORE 81010.958
AT ITER 79 NEW BEST:: SOT 224399 SOS 159843 HAS SOPS 159843 HAS SOUS 80750 HAS SOUPS 80750 WITH SCORE 80909.843
AT ITER 81 NEW BEST:: SOT 224441 SOS 159151 HAS SOPS 159151 HAS SOUS 80611 HAS SOUPS 80611 WITH SCORE 80770.151
AT ITER 83 NEW BEST:: SOT 224441 SOS 159151 HAS SOPS 159151 HAS SOUS 80609 HAS SOUPS 80609 WITH SCORE 80768.151
AT ITER 87 NEW BEST:: SOT 224441 SOS 159175 HAS SOPS 159175 HAS SOUS 80605 HAS SOUPS 80605 WITH SCORE 80764.175
AT ITER 91 NEW BEST:: SOT 224412 SOS 159233 HAS SOPS 159233 HAS SOUS 80597 HAS SOUPS 80597 WITH SCORE 80756.233
AT ITER 92 NEW BEST:: SOT 224362 SOS 158175 HAS SOPS 158175 HAS SOUS 80238 HAS SOUPS 80238 WITH SCORE 80396.175
AT ITER 96 NEW BEST:: SOT 224411 SOS 157141 HAS SOPS 157141 HAS SOUS 80054 HAS SOUPS 80054 WITH SCORE 80211.141
AT ITER 101 NEW BEST:: SOT 224353 SOS 156415 HAS SOPS 156415 HAS SOUS 79571 HAS SOUPS 79571 WITH SCORE 79727.415
AT ITER 104 NEW BEST:: SOT 224148 SOS 156488 HAS SOPS 156488 HAS SOUS 79430 HAS SOUPS 79430 WITH SCORE 79586.488
AT ITER 109 NEW BEST:: SOT 223626 SOS 155596 HAS SOPS 155596 HAS SOUS 78859 HAS SOUPS 78859 WITH SCORE 79014.596
AT ITER 111 NEW BEST:: SOT 223384 SOS 154988 HAS SOPS 154988 HAS SOUS 78446 HAS SOUPS 78446 WITH SCORE 78600.988
AT ITER 112 NEW BEST:: SOT 223290 SOS 154856 HAS SOPS 154856 HAS SOUS 78376 HAS SOUPS 78376 WITH SCORE 78530.856
AT ITER 116 NEW BEST:: SOT 223275 SOS 154811 HAS SOPS 154811 HAS SOUS 78331 HAS SOUPS 78331 WITH SCORE 78485.811
AT ITER 117 NEW BEST:: SOT 223334 SOS 153775 HAS SOPS 153775 HAS SOUS 77465 HAS SOUPS 77465 WITH SCORE 77618.775
AT ITER 118 NEW BEST:: SOT 223194 SOS 153470 HAS SOPS 153470 HAS SOUS 77253 HAS SOUPS 77253 WITH SCORE 77406.47
AT ITER 120 NEW BEST:: SOT 223154 SOS 152804 HAS SOPS 152804 HAS SOUS 77057 HAS SOUPS 77057 WITH SCORE 77209.804
AT ITER 124 NEW BEST:: SOT 223170 SOS 152849 HAS SOPS 152849 HAS SOUS 76997 HAS SOUPS 76997 WITH SCORE 77149.849
AT ITER 126 NEW BEST:: SOT 223170 SOS 152729 HAS SOPS 152729 HAS SOUS 76917 HAS SOUPS 76917 WITH SCORE 77069.729
AT ITER 128 NEW BEST:: SOT 223150 SOS 152649 HAS SOPS 152649 HAS SOUS 76897 HAS SOUPS 76897 WITH SCORE 77049.649
AT ITER 135 NEW BEST:: SOT 223113 SOS 152384 HAS SOPS 152384 HAS SOUS 76799 HAS SOUPS 76799 WITH SCORE 76951.384
AT ITER 146 NEW BEST:: SOT 222861 SOS 152122 HAS SOPS 152122 HAS SOUS 76394 HAS SOUPS 76394 WITH SCORE 76546.122
AT ITER 147 NEW BEST:: SOT 222861 SOS 152230 HAS SOPS 152230 HAS SOUS 76384 HAS SOUPS 76384 WITH SCORE 76536.23
AT ITER 151 NEW BEST:: SOT 222984 SOS 151930 HAS SOPS 151930 HAS SOUS 76141 HAS SOUPS 76141 WITH SCORE 76292.93
AT ITER 155 NEW BEST:: SOT 222984 SOS 151901 HAS SOPS 151901 HAS SOUS 76122 HAS SOUPS 76122 WITH SCORE 76273.901
AT ITER 156 NEW BEST:: SOT 222844 SOS 151066 HAS SOPS 151066 HAS SOUS 75584 HAS SOUPS 75584 WITH SCORE 75735.066
AT ITER 159 NEW BEST:: SOT 222844 SOS 151024 HAS SOPS 151024 HAS SOUS 75552 HAS SOUPS 75552 WITH SCORE 75703.024
AT ITER 164 NEW BEST:: SOT 222821 SOS 150978 HAS SOPS 150978 HAS SOUS 75529 HAS SOUPS 75529 WITH SCORE 75679.978
AT ITER 171 NEW BEST:: SOT 222821 SOS 150978 HAS SOPS 150978 HAS SOUS 75455 HAS SOUPS 75455 WITH SCORE 75605.978
AT ITER 173 NEW BEST:: SOT 222754 SOS 151045 HAS SOPS 151045 HAS SOUS 75321 HAS SOUPS 75321 WITH SCORE 75472.045
AT ITER 174 NEW BEST:: SOT 222641 SOS 151095 HAS SOPS 151095 HAS SOUS 75281 HAS SOUPS 75281 WITH SCORE 75432.095
AT ITER 175 NEW BEST:: SOT 222749 SOS 150841 HAS SOPS 150841 HAS SOUS 75172 HAS SOUPS 75172 WITH SCORE 75322.841
AT ITER 176 NEW BEST:: SOT 222788 SOS 150267 HAS SOPS 150267 HAS SOUS 75048 HAS SOUPS 75048 WITH SCORE 75198.267
AT ITER 178 NEW BEST:: SOT 222671 SOS 149939 HAS SOPS 149939 HAS SOUS 74445 HAS SOUPS 74445 WITH SCORE 74594.939
AT ITER 181 NEW BEST:: SOT 222648 SOS 149865 HAS SOPS 149865 HAS SOUS 74408 HAS SOUPS 74408 WITH SCORE 74557.865
AT ITER 182 NEW BEST:: SOT 222617 SOS 146797 HAS SOPS 146797 HAS SOUS 73990 HAS SOUPS 73990 WITH SCORE 74136.797
AT ITER 185 NEW BEST:: SOT 222459 SOS 146493 HAS SOPS 146493 HAS SOUS 73832 HAS SOUPS 73832 WITH SCORE 73978.493
AT ITER 187 NEW BEST:: SOT 222503 SOS 146932 HAS SOPS 146932 HAS SOUS 73595 HAS SOUPS 73595 WITH SCORE 73741.932
AT ITER 188 NEW BEST:: SOT 222478 SOS 146100 HAS SOPS 146100 HAS SOUS 73532 HAS SOUPS 73532 WITH SCORE 73678.1
AT ITER 198 NEW BEST:: SOT 222478 SOS 146100 HAS SOPS 146100 HAS SOUS 73516 HAS SOUPS 73516 WITH SCORE 73662.1
AT ITER 199 NEW BEST:: SOT 222422 SOS 145213 HAS SOPS 145213 HAS SOUS 72881 HAS SOUPS 72881 WITH SCORE 73026.213
AT ITER 200 NEW BEST:: SOT 222388 SOS 144938 HAS SOPS 144938 HAS SOUS 72775 HAS SOUPS 72775 WITH SCORE 72919.938
AT ITER 205 NEW BEST:: SOT 222355 SOS 144872 HAS SOPS 144872 HAS SOUS 72742 HAS SOUPS 72742 WITH SCORE 72886.872
AT ITER 206 NEW BEST:: SOT 222355 SOS 144872 HAS SOPS 144872 HAS SOUS 72709 HAS SOUPS 72709 WITH SCORE 72853.872
AT ITER 207 NEW BEST:: SOT 222339 SOS 144448 HAS SOPS 144448 HAS SOUS 72575 HAS SOUPS 72575 WITH SCORE 72719.448
AT ITER 219 NEW BEST:: SOT 222339 SOS 144408 HAS SOPS 144408 HAS SOUS 72548 HAS SOUPS 72548 WITH SCORE 72692.408
AT ITER 222 NEW BEST:: SOT 222339 SOS 144408 HAS SOPS 144408 HAS SOUS 72484 HAS SOUPS 72484 WITH SCORE 72628.408
AT ITER 231 NEW BEST:: SOT 222339 SOS 144408 HAS SOPS 144408 HAS SOUS 72480 HAS SOUPS 72480 WITH SCORE 72624.408
AT ITER 235 NEW BEST:: SOT 222258 SOS 144467 HAS SOPS 144467 HAS SOUS 72358 HAS SOUPS 72358 WITH SCORE 72502.467
AT ITER 242 NEW BEST:: SOT 222259 SOS 144547 HAS SOPS 144547 HAS SOUS 72335 HAS SOUPS 72335 WITH SCORE 72479.547
AT ITER 244 NEW BEST:: SOT 221963 SOS 144281 HAS SOPS 144281 HAS SOUS 72071 HAS SOUPS 72071 WITH SCORE 72215.281
AT ITER 248 NEW BEST:: SOT 221836 SOS 144254 HAS SOPS 144254 HAS SOUS 71944 HAS SOUPS 71944 WITH SCORE 72088.254
AT ITER 249 NEW BEST:: SOT 221824 SOS 144242 HAS SOPS 144242 HAS SOUS 71932 HAS SOUPS 71932 WITH SCORE 72076.242
AT ITER 255 NEW BEST:: SOT 221824 SOS 143632 HAS SOPS 143632 HAS SOUS 71640 HAS SOUPS 71640 WITH SCORE 71783.632
AT ITER 256 NEW BEST:: SOT 221737 SOS 139838 HAS SOPS 139838 HAS SOUS 69639 HAS SOUPS 69639 WITH SCORE 69778.838
AT ITER 257 NEW BEST:: SOT 221834 SOS 138936 HAS SOPS 138936 HAS SOUS 69477 HAS SOUPS 69477 WITH SCORE 69615.936
AT ITER 261 NEW BEST:: SOT 221785 SOS 138991 HAS SOPS 138991 HAS SOUS 69299 HAS SOUPS 69299 WITH SCORE 69437.991
AT ITER 263 NEW BEST:: SOT 221797 SOS 139029 HAS SOPS 139029 HAS SOUS 69269 HAS SOUPS 69269 WITH SCORE 69408.029
AT ITER 271 NEW BEST:: SOT 221772 SOS 139002 HAS SOPS 139002 HAS SOUS 69267 HAS SOUPS 69267 WITH SCORE 69406.002
AT ITER 272 NEW BEST:: SOT 221847 SOS 138748 HAS SOPS 138748 HAS SOUS 69249 HAS SOUPS 69249 WITH SCORE 69387.748
AT ITER 273 NEW BEST:: SOT 221787 SOS 138688 HAS SOPS 138688 HAS SOUS 69189 HAS SOUPS 69189 WITH SCORE 69327.688
AT ITER 274 NEW BEST:: SOT 221787 SOS 138538 HAS SOPS 138538 HAS SOUS 69180 HAS SOUPS 69180 WITH SCORE 69318.538
AT ITER 290 NEW BEST:: SOT 221840 SOS 137338 HAS SOPS 137338 HAS SOUS 68937 HAS SOUPS 68937 WITH SCORE 69074.338
AT ITER 296 NEW BEST:: SOT 221821 SOS 136910 HAS SOPS 136910 HAS SOUS 68832 HAS SOUPS 68832 WITH SCORE 68968.91
AT ITER 299 NEW BEST:: SOT 221821 SOS 136878 HAS SOPS 136878 HAS SOUS 68782 HAS SOUPS 68782 WITH SCORE 68918.878
AT ITER 300 NEW BEST:: SOT 221782 SOS 136938 HAS SOPS 136938 HAS SOUS 68743 HAS SOUPS 68743 WITH SCORE 68879.938
AT ITER 302 NEW BEST:: SOT 221824 SOS 136627 HAS SOPS 136627 HAS SOUS 68405 HAS SOUPS 68405 WITH SCORE 68541.627
AT ITER 303 NEW BEST:: SOT 221697 SOS 136235 HAS SOPS 136235 HAS SOUS 68316 HAS SOUPS 68316 WITH SCORE 68452.235
AT ITER 304 NEW BEST:: SOT 221499 SOS 136094 HAS SOPS 136094 HAS SOUS 68043 HAS SOUPS 68043 WITH SCORE 68179.094
AT ITER 310 NEW BEST:: SOT 221504 SOS 136099 HAS SOPS 136099 HAS SOUS 67934 HAS SOUPS 67934 WITH SCORE 68070.099
AT ITER 311 NEW BEST:: SOT 221468 SOS 135193 HAS SOPS 135193 HAS SOUS 67658 HAS SOUPS 67658 WITH SCORE 67793.193
AT ITER 313 NEW BEST:: SOT 221432 SOS 135045 HAS SOPS 135045 HAS SOUS 67591 HAS SOUPS 67591 WITH SCORE 67726.045
AT ITER 315 NEW BEST:: SOT 221336 SOS 135024 HAS SOPS 135024 HAS SOUS 67478 HAS SOUPS 67478 WITH SCORE 67613.024
AT ITER 318 NEW BEST:: SOT 221337 SOS 134979 HAS SOPS 134979 HAS SOUS 67212 HAS SOUPS 67212 WITH SCORE 67346.979
AT ITER 320 NEW BEST:: SOT 221337 SOS 134979 HAS SOPS 134979 HAS SOUS 67175 HAS SOUPS 67175 WITH SCORE 67309.979
AT ITER 322 NEW BEST:: SOT 221337 SOS 134979 HAS SOPS 134979 HAS SOUS 67156 HAS SOUPS 67156 WITH SCORE 67290.979
AT ITER 323 NEW BEST:: SOT 221337 SOS 134975 HAS SOPS 134975 HAS SOUS 67151 HAS SOUPS 67151 WITH SCORE 67285.975
AT ITER 324 NEW BEST:: SOT 221291 SOS 135035 HAS SOPS 135035 HAS SOUS 67099 HAS SOUPS 67099 WITH SCORE 67234.035
AT ITER 325 NEW BEST:: SOT 221277 SOS 135115 HAS SOPS 135115 HAS SOUS 67044 HAS SOUPS 67044 WITH SCORE 67179.115
AT ITER 332 NEW BEST:: SOT 221146 SOS 134406 HAS SOPS 134406 HAS SOUS 66760 HAS SOUPS 66760 WITH SCORE 66894.406
AT ITER 334 NEW BEST:: SOT 221076 SOS 134207 HAS SOPS 134207 HAS SOUS 66646 HAS SOUPS 66646 WITH SCORE 66780.207
AT ITER 337 NEW BEST:: SOT 220986 SOS 134152 HAS SOPS 134152 HAS SOUS 66589 HAS SOUPS 66589 WITH SCORE 66723.152
AT ITER 339 NEW BEST:: SOT 220973 SOS 134192 HAS SOPS 134192 HAS SOUS 66550 HAS SOUPS 66550 WITH SCORE 66684.192
AT ITER 340 NEW BEST:: SOT 220973 SOS 134214 HAS SOPS 134214 HAS SOUS 66544 HAS SOUPS 66544 WITH SCORE 66678.214
AT ITER 350 NEW BEST:: SOT 221013 SOS 133894 HAS SOPS 133894 HAS SOUS 66544 HAS SOUPS 66544 WITH SCORE 66677.894
AT ITER 352 NEW BEST:: SOT 221013 SOS 133894 HAS SOPS 133894 HAS SOUS 66396 HAS SOUPS 66396 WITH SCORE 66529.894
AT ITER 366 NEW BEST:: SOT 221013 SOS 133754 HAS SOPS 133754 HAS SOUS 66382 HAS SOUPS 66382 WITH SCORE 66515.754
AT ITER 367 NEW BEST:: SOT 220975 SOS 133583 HAS SOPS 133583 HAS SOUS 66344 HAS SOUPS 66344 WITH SCORE 66477.583
AT ITER 368 NEW BEST:: SOT 220983 SOS 133590 HAS SOPS 133590 HAS SOUS 66324 HAS SOUPS 66324 WITH SCORE 66457.59
AT ITER 370 NEW BEST:: SOT 220983 SOS 133400 HAS SOPS 133400 HAS SOUS 66312 HAS SOUPS 66312 WITH SCORE 66445.4
AT ITER 383 NEW BEST:: SOT 220983 SOS 133404 HAS SOPS 133404 HAS SOUS 66308 HAS SOUPS 66308 WITH SCORE 66441.404
AT ITER 390 NEW BEST:: SOT 221037 SOS 133257 HAS SOPS 133257 HAS SOUS 66159 HAS SOUPS 66159 WITH SCORE 66292.257
AT ITER 391 NEW BEST:: SOT 221111 SOS 133114 HAS SOPS 133114 HAS SOUS 66088 HAS SOUPS 66088 WITH SCORE 66221.114
AT ITER 392 NEW BEST:: SOT 221067 SOS 133383 HAS SOPS 133383 HAS SOUS 66000 HAS SOUPS 66000 WITH SCORE 66133.383
AT ITER 393 NEW BEST:: SOT 221067 SOS 133383 HAS SOPS 133383 HAS SOUS 65959 HAS SOUPS 65959 WITH SCORE 66092.383
AT ITER 394 NEW BEST:: SOT 221067 SOS 133179 HAS SOPS 133179 HAS SOUS 65959 HAS SOUPS 65959 WITH SCORE 66092.179
AT ITER 395 NEW BEST:: SOT 221067 SOS 132453 HAS SOPS 132453 HAS SOUS 65528 HAS SOUPS 65528 WITH SCORE 65660.453
AT ITER 398 NEW BEST:: SOT 221067 SOS 132453 HAS SOPS 132453 HAS SOUS 65514 HAS SOUPS 65514 WITH SCORE 65646.453
AT ITER 400 NEW BEST:: SOT 221066 SOS 132373 HAS SOPS 132373 HAS SOUS 65338 HAS SOUPS 65338 WITH SCORE 65470.373
AT ITER 401 NEW BEST:: SOT 221021 SOS 132550 HAS SOPS 132550 HAS SOUS 65248 HAS SOUPS 65248 WITH SCORE 65380.55
AT ITER 409 NEW BEST:: SOT 220963 SOS 131809 HAS SOPS 131809 HAS SOUS 65014 HAS SOUPS 65014 WITH SCORE 65145.809
AT ITER 413 NEW BEST:: SOT 220923 SOS 131063 HAS SOPS 131063 HAS SOUS 64770 HAS SOUPS 64770 WITH SCORE 64901.063
AT ITER 417 NEW BEST:: SOT 221000 SOS 131035 HAS SOPS 131035 HAS SOUS 64526 HAS SOUPS 64526 WITH SCORE 64657.035
AT ITER 420 NEW BEST:: SOT 220997 SOS 131032 HAS SOPS 131032 HAS SOUS 64526 HAS SOUPS 64526 WITH SCORE 64657.032
AT ITER 422 NEW BEST:: SOT 221025 SOS 130810 HAS SOPS 130810 HAS SOUS 64413 HAS SOUPS 64413 WITH SCORE 64543.81
AT ITER 423 NEW BEST:: SOT 221024 SOS 129801 HAS SOPS 129801 HAS SOUS 64181 HAS SOUPS 64181 WITH SCORE 64310.801
AT ITER 437 NEW BEST:: SOT 221031 SOS 129794 HAS SOPS 129794 HAS SOUS 64167 HAS SOUPS 64167 WITH SCORE 64296.794
AT ITER 439 NEW BEST:: SOT 221048 SOS 129811 HAS SOPS 129811 HAS SOUS 64154 HAS SOUPS 64154 WITH SCORE 64283.811
AT ITER 440 NEW BEST:: SOT 221787 SOS 128246 HAS SOPS 128246 HAS SOUS 63929 HAS SOUPS 63929 WITH SCORE 64057.246
AT ITER 441 NEW BEST:: SOT 221723 SOS 128434 HAS SOPS 128434 HAS SOUS 63813 HAS SOUPS 63813 WITH SCORE 63941.434
AT ITER 442 NEW BEST:: SOT 221760 SOS 127595 HAS SOPS 127595 HAS SOUS 63771 HAS SOUPS 63771 WITH SCORE 63898.595
AT ITER 446 NEW BEST:: SOT 221639 SOS 127479 HAS SOPS 127479 HAS SOUS 63692 HAS SOUPS 63692 WITH SCORE 63819.479
AT ITER 454 NEW BEST:: SOT 221411 SOS 127117 HAS SOPS 127117 HAS SOUS 63330 HAS SOUPS 63330 WITH SCORE 63457.117
AT ITER 458 NEW BEST:: SOT 221380 SOS 127148 HAS SOPS 127148 HAS SOUS 63268 HAS SOUPS 63268 WITH SCORE 63395.148
AT ITER 459 NEW BEST:: SOT 221380 SOS 127126 HAS SOPS 127126 HAS SOUS 63257 HAS SOUPS 63257 WITH SCORE 63384.126
AT ITER 463 NEW BEST:: SOT 221313 SOS 127238 HAS SOPS 127238 HAS SOUS 63190 HAS SOUPS 63190 WITH SCORE 63317.238
AT ITER 465 NEW BEST:: SOT 221233 SOS 126760 HAS SOPS 126760 HAS SOUS 63094 HAS SOUPS 63094 WITH SCORE 63220.76
AT ITER 467 NEW BEST:: SOT 221233 SOS 126760 HAS SOPS 126760 HAS SOUS 63086 HAS SOUPS 63086 WITH SCORE 63212.76
AT ITER 472 NEW BEST:: SOT 221233 SOS 126850 HAS SOPS 126850 HAS SOUS 63056 HAS SOUPS 63056 WITH SCORE 63182.85
AT ITER 477 NEW BEST:: SOT 221233 SOS 126856 HAS SOPS 126856 HAS SOUS 63054 HAS SOUPS 63054 WITH SCORE 63180.856
AT ITER 478 NEW BEST:: SOT 221233 SOS 126856 HAS SOPS 126856 HAS SOUS 63050 HAS SOUPS 63050 WITH SCORE 63176.856
AT ITER 482 NEW BEST:: SOT 221233 SOS 126882 HAS SOPS 126882 HAS SOUS 63038 HAS SOUPS 63038 WITH SCORE 63164.882
AT ITER 484 NEW BEST:: SOT 221261 SOS 125834 HAS SOPS 125834 HAS SOUS 63009 HAS SOUPS 63009 WITH SCORE 63134.834
AT ITER 485 NEW BEST:: SOT 221264 SOS 125811 HAS SOPS 125811 HAS SOUS 62951 HAS SOUPS 62951 WITH SCORE 63076.811
AT ITER 488 NEW BEST:: SOT 221231 SOS 125789 HAS SOPS 125789 HAS SOUS 62935 HAS SOUPS 62935 WITH SCORE 63060.789
AT ITER 501 NEW BEST:: SOT 221178 SOS 125909 HAS SOPS 125909 HAS SOUS 62881 HAS SOUPS 62881 WITH SCORE 63006.909
AT ITER 502 NEW BEST:: SOT 221086 SOS 126120 HAS SOPS 126120 HAS SOUS 62842 HAS SOUPS 62842 WITH SCORE 62968.12
AT ITER 505 NEW BEST:: SOT 220997 SOS 126133 HAS SOPS 126133 HAS SOUS 62672 HAS SOUPS 62672 WITH SCORE 62798.133
AT ITER 509 NEW BEST:: SOT 220997 SOS 126011 HAS SOPS 126011 HAS SOUS 62610 HAS SOUPS 62610 WITH SCORE 62736.011
AT ITER 515 NEW BEST:: SOT 220980 SOS 125955 HAS SOPS 125955 HAS SOUS 62544 HAS SOUPS 62544 WITH SCORE 62669.955
AT ITER 519 NEW BEST:: SOT 220963 SOS 125954 HAS SOPS 125954 HAS SOUS 62542 HAS SOUPS 62542 WITH SCORE 62667.954
AT ITER 533 NEW BEST:: SOT 221047 SOS 125721 HAS SOPS 125721 HAS SOUS 62526 HAS SOUPS 62526 WITH SCORE 62651.721
AT ITER 539 NEW BEST:: SOT 220986 SOS 125165 HAS SOPS 125165 HAS SOUS 62465 HAS SOUPS 62465 WITH SCORE 62590.165
AT ITER 545 NEW BEST:: SOT 198831 SOS 116277 HAS SOPS 116277 HAS SOUS 51659 HAS SOUPS 51659 WITH SCORE 51775.277
AT ITER 546 NEW BEST:: SOT 198809 SOS 116167 HAS SOPS 116167 HAS SOUS 51593 HAS SOUPS 51593 WITH SCORE 51709.167
AT ITER 549 NEW BEST:: SOT 198516 SOS 115751 HAS SOPS 115751 HAS SOUS 50810 HAS SOUPS 50810 WITH SCORE 50925.751
AT ITER 550 NEW BEST:: SOT 198503 SOS 115983 HAS SOPS 115983 HAS SOUS 50806 HAS SOUPS 50806 WITH SCORE 50921.983
AT ITER 553 NEW BEST:: SOT 198494 SOS 115965 HAS SOPS 115965 HAS SOUS 50797 HAS SOUPS 50797 WITH SCORE 50912.965
AT ITER 555 NEW BEST:: SOT 198448 SOS 115919 HAS SOPS 115919 HAS SOUS 50789 HAS SOUPS 50789 WITH SCORE 50904.919
AT ITER 560 NEW BEST:: SOT 194961 SOS 112432 HAS SOPS 112432 HAS SOUS 49680 HAS SOUPS 49680 WITH SCORE 49792.432
AT ITER 563 NEW BEST:: SOT 195012 SOS 111974 HAS SOPS 111974 HAS SOUS 49603 HAS SOUPS 49603 WITH SCORE 49714.974
AT ITER 564 NEW BEST:: SOT 195002 SOS 111932 HAS SOPS 111932 HAS SOUS 49582 HAS SOUPS 49582 WITH SCORE 49693.932
AT ITER 565 NEW BEST:: SOT 194774 SOS 111180 HAS SOPS 111180 HAS SOUS 49093 HAS SOUPS 49093 WITH SCORE 49204.18
AT ITER 566 NEW BEST:: SOT 194804 SOS 110836 HAS SOPS 110836 HAS SOUS 48970 HAS SOUPS 48970 WITH SCORE 49080.836
AT ITER 581 NEW BEST:: SOT 194742 SOS 110638 HAS SOPS 110638 HAS SOUS 48866 HAS SOUPS 48866 WITH SCORE 48976.638
AT ITER 582 NEW BEST:: SOT 194700 SOS 110596 HAS SOPS 110596 HAS SOUS 48825 HAS SOUPS 48825 WITH SCORE 48935.596
AT ITER 583 NEW BEST:: SOT 194682 SOS 110578 HAS SOPS 110578 HAS SOUS 48807 HAS SOUPS 48807 WITH SCORE 48917.578
AT ITER 588 NEW BEST:: SOT 194649 SOS 111114 HAS SOPS 111114 HAS SOUS 48774 HAS SOUPS 48774 WITH SCORE 48885.114
AT ITER 590 NEW BEST:: SOT 194634 SOS 111099 HAS SOPS 111099 HAS SOUS 48772 HAS SOUPS 48772 WITH SCORE 48883.099
AT ITER 591 NEW BEST:: SOT 194615 SOS 111156 HAS SOPS 111156 HAS SOUS 48753 HAS SOUPS 48753 WITH SCORE 48864.156
AT ITER 592 NEW BEST:: SOT 194558 SOS 111015 HAS SOPS 111015 HAS SOUS 48565 HAS SOUPS 48565 WITH SCORE 48676.015
AT ITER 596 NEW BEST:: SOT 194562 SOS 110517 HAS SOPS 110517 HAS SOUS 48471 HAS SOUPS 48471 WITH SCORE 48581.517
AT ITER 599 NEW BEST:: SOT 194562 SOS 110681 HAS SOPS 110681 HAS SOUS 48457 HAS SOUPS 48457 WITH SCORE 48567.681
AT ITER 615 NEW BEST:: SOT 194504 SOS 110623 HAS SOPS 110623 HAS SOUS 48385 HAS SOUPS 48385 WITH SCORE 48495.623
AT ITER 618 NEW BEST:: SOT 194434 SOS 110553 HAS SOPS 110553 HAS SOUS 48346 HAS SOUPS 48346 WITH SCORE 48456.553
AT ITER 619 NEW BEST:: SOT 194393 SOS 110307 HAS SOPS 110307 HAS SOUS 48264 HAS SOUPS 48264 WITH SCORE 48374.307
AT ITER 621 NEW BEST:: SOT 194393 SOS 110271 HAS SOPS 110271 HAS SOUS 48264 HAS SOUPS 48264 WITH SCORE 48374.271
AT ITER 629 NEW BEST:: SOT 194539 SOS 109713 HAS SOPS 109713 HAS SOUS 48150 HAS SOUPS 48150 WITH SCORE 48259.713
AT ITER 630 NEW BEST:: SOT 194440 SOS 109752 HAS SOPS 109752 HAS SOUS 48038 HAS SOUPS 48038 WITH SCORE 48147.752
AT ITER 631 NEW BEST:: SOT 194630 SOS 110000 HAS SOPS 110000 HAS SOUS 47986 HAS SOUPS 47986 WITH SCORE 48096.0
AT ITER 635 NEW BEST:: SOT 194602 SOS 109944 HAS SOPS 109944 HAS SOUS 47958 HAS SOUPS 47958 WITH SCORE 48067.944
AT ITER 640 NEW BEST:: SOT 194599 SOS 109929 HAS SOPS 109929 HAS SOUS 47949 HAS SOUPS 47949 WITH SCORE 48058.929
AT ITER 641 NEW BEST:: SOT 194571 SOS 109901 HAS SOPS 109901 HAS SOUS 47921 HAS SOUPS 47921 WITH SCORE 48030.901
AT ITER 642 NEW BEST:: SOT 194504 SOS 109718 HAS SOPS 109718 HAS SOUS 47766 HAS SOUPS 47766 WITH SCORE 47875.718
AT ITER 651 NEW BEST:: SOT 194510 SOS 109724 HAS SOPS 109724 HAS SOUS 47757 HAS SOUPS 47757 WITH SCORE 47866.724
AT ITER 652 NEW BEST:: SOT 194610 SOS 109824 HAS SOPS 109824 HAS SOUS 47746 HAS SOUPS 47746 WITH SCORE 47855.824
AT ITER 660 NEW BEST:: SOT 194604 SOS 109764 HAS SOPS 109764 HAS SOUS 47728 HAS SOUPS 47728 WITH SCORE 47837.764
AT ITER 662 NEW BEST:: SOT 194578 SOS 109505 HAS SOPS 109505 HAS SOUS 47708 HAS SOUPS 47708 WITH SCORE 47817.505
AT ITER 664 NEW BEST:: SOT 194578 SOS 109505 HAS SOPS 109505 HAS SOUS 47700 HAS SOUPS 47700 WITH SCORE 47809.505
AT ITER 667 NEW BEST:: SOT 194585 SOS 109498 HAS SOPS 109498 HAS SOUS 47700 HAS SOUPS 47700 WITH SCORE 47809.498
AT ITER 669 NEW BEST:: SOT 194585 SOS 109363 HAS SOPS 109363 HAS SOUS 47655 HAS SOUPS 47655 WITH SCORE 47764.363
AT ITER 671 NEW BEST:: SOT 194484 SOS 109270 HAS SOPS 109270 HAS SOUS 47581 HAS SOUPS 47581 WITH SCORE 47690.27
AT ITER 673 NEW BEST:: SOT 194447 SOS 109381 HAS SOPS 109381 HAS SOUS 47544 HAS SOUPS 47544 WITH SCORE 47653.381
AT ITER 676 NEW BEST:: SOT 191433 SOS 106047 HAS SOPS 106047 HAS SOUS 45756 HAS SOUPS 45756 WITH SCORE 45862.047
AT ITER 678 NEW BEST:: SOT 191285 SOS 105835 HAS SOPS 105835 HAS SOUS 45576 HAS SOUPS 45576 WITH SCORE 45681.835
AT ITER 682 NEW BEST:: SOT 191162 SOS 105712 HAS SOPS 105712 HAS SOUS 45565 HAS SOUPS 45565 WITH SCORE 45670.712
AT ITER 684 NEW BEST:: SOT 191168 SOS 105718 HAS SOPS 105718 HAS SOUS 45535 HAS SOUPS 45535 WITH SCORE 45640.718
AT ITER 688 NEW BEST:: SOT 190004 SOS 104554 HAS SOPS 104554 HAS SOUS 45086 HAS SOUPS 45086 WITH SCORE 45190.554
AT ITER 696 NEW BEST:: SOT 189976 SOS 104492 HAS SOPS 104492 HAS SOUS 45041 HAS SOUPS 45041 WITH SCORE 45145.492
AT ITER 697 NEW BEST:: SOT 189770 SOS 104286 HAS SOPS 104286 HAS SOUS 45003 HAS SOUPS 45003 WITH SCORE 45107.286
AT ITER 698 NEW BEST:: SOT 189529 SOS 103804 HAS SOPS 103804 HAS SOUS 44711 HAS SOUPS 44711 WITH SCORE 44814.804
AT ITER 703 NEW BEST:: SOT 189510 SOS 103766 HAS SOPS 103766 HAS SOUS 44691 HAS SOUPS 44691 WITH SCORE 44794.766
AT ITER 704 NEW BEST:: SOT 189510 SOS 103766 HAS SOPS 103766 HAS SOUS 44684 HAS SOUPS 44684 WITH SCORE 44787.766
AT ITER 705 NEW BEST:: SOT 189505 SOS 103797 HAS SOPS 103797 HAS SOUS 44643 HAS SOUPS 44643 WITH SCORE 44746.797
AT ITER 709 NEW BEST:: SOT 189497 SOS 103789 HAS SOPS 103789 HAS SOUS 44627 HAS SOUPS 44627 WITH SCORE 44730.789
AT ITER 712 NEW BEST:: SOT 189331 SOS 103623 HAS SOPS 103623 HAS SOUS 44599 HAS SOUPS 44599 WITH SCORE 44702.623
AT ITER 713 NEW BEST:: SOT 186928 SOS 106383 HAS SOPS 106383 HAS SOUS 44022 HAS SOUPS 44022 WITH SCORE 44128.383
AT ITER 718 NEW BEST:: SOT 186893 SOS 106313 HAS SOPS 106313 HAS SOUS 43987 HAS SOUPS 43987 WITH SCORE 44093.313
AT ITER 719 NEW BEST:: SOT 186758 SOS 106259 HAS SOPS 106259 HAS SOUS 43848 HAS SOUPS 43848 WITH SCORE 43954.259
AT ITER 720 NEW BEST:: SOT 186752 SOS 105367 HAS SOPS 105367 HAS SOUS 43845 HAS SOUPS 43845 WITH SCORE 43950.367
AT ITER 724 NEW BEST:: SOT 186700 SOS 105315 HAS SOPS 105315 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43886.315
AT ITER 731 NEW BEST:: SOT 186610 SOS 105192 HAS SOPS 105192 HAS SOUS 43630 HAS SOUPS 43630 WITH SCORE 43735.192
AT ITER 737 NEW BEST:: SOT 186596 SOS 105126 HAS SOPS 105126 HAS SOUS 43597 HAS SOUPS 43597 WITH SCORE 43702.126
AT ITER 740 NEW BEST:: SOT 186666 SOS 105196 HAS SOPS 105196 HAS SOUS 43572 HAS SOUPS 43572 WITH SCORE 43677.196
AT ITER 742 NEW BEST:: SOT 186636 SOS 105166 HAS SOPS 105166 HAS SOUS 43507 HAS SOUPS 43507 WITH SCORE 43612.166
AT ITER 753 NEW BEST:: SOT 186576 SOS 105106 HAS SOPS 105106 HAS SOUS 43447 HAS SOUPS 43447 WITH SCORE 43552.106
AT ITER 762 NEW BEST:: SOT 186564 SOS 105082 HAS SOPS 105082 HAS SOUS 43423 HAS SOUPS 43423 WITH SCORE 43528.082
AT ITER 766 NEW BEST:: SOT 186276 SOS 104668 HAS SOPS 104668 HAS SOUS 43135 HAS SOUPS 43135 WITH SCORE 43239.668
AT ITER 769 NEW BEST:: SOT 186268 SOS 104520 HAS SOPS 104520 HAS SOUS 43132 HAS SOUPS 43132 WITH SCORE 43236.52
AT ITER 771 NEW BEST:: SOT 185890 SOS 104142 HAS SOPS 104142 HAS SOUS 43119 HAS SOUPS 43119 WITH SCORE 43223.142
AT ITER 777 NEW BEST:: SOT 185926 SOS 104322 HAS SOPS 104322 HAS SOUS 43073 HAS SOUPS 43073 WITH SCORE 43177.322
AT ITER 780 NEW BEST:: SOT 185698 SOS 104077 HAS SOPS 104077 HAS SOUS 43039 HAS SOUPS 43039 WITH SCORE 43143.077
AT ITER 796 NEW BEST:: SOT 185623 SOS 103935 HAS SOPS 103935 HAS SOUS 42860 HAS SOUPS 42860 WITH SCORE 42963.935
AT ITER 801 NEW BEST:: SOT 185533 SOS 103811 HAS SOPS 103811 HAS SOUS 42758 HAS SOUPS 42758 WITH SCORE 42861.811
AT ITER 803 NEW BEST:: SOT 185553 SOS 103851 HAS SOPS 103851 HAS SOUS 42733 HAS SOUPS 42733 WITH SCORE 42836.851
AT ITER 814 NEW BEST:: SOT 185543 SOS 103851 HAS SOPS 103851 HAS SOUS 42723 HAS SOUPS 42723 WITH SCORE 42826.851
AT ITER 819 NEW BEST:: SOT 185355 SOS 103663 HAS SOPS 103663 HAS SOUS 42639 HAS SOUPS 42639 WITH SCORE 42742.663
AT ITER 827 NEW BEST:: SOT 185275 SOS 103731 HAS SOPS 103731 HAS SOUS 42532 HAS SOUPS 42532 WITH SCORE 42635.731
AT ITER 828 NEW BEST:: SOT 185259 SOS 103715 HAS SOPS 103715 HAS SOUS 42516 HAS SOUPS 42516 WITH SCORE 42619.715
AT ITER 848 NEW BEST:: SOT 185399 SOS 98806 HAS SOPS 98806 HAS SOUS 41643 HAS SOUPS 41643 WITH SCORE 41741.806
AT ITER 851 NEW BEST:: SOT 185399 SOS 98761 HAS SOPS 98761 HAS SOUS 41633 HAS SOUPS 41633 WITH SCORE 41731.761
AT ITER 855 NEW BEST:: SOT 185245 SOS 98601 HAS SOPS 98601 HAS SOUS 41533 HAS SOUPS 41533 WITH SCORE 41631.601
AT ITER 859 NEW BEST:: SOT 185241 SOS 98569 HAS SOPS 98569 HAS SOUS 41525 HAS SOUPS 41525 WITH SCORE 41623.569
AT ITER 860 NEW BEST:: SOT 185302 SOS 98546 HAS SOPS 98546 HAS SOUS 41350 HAS SOUPS 41350 WITH SCORE 41448.546
AT ITER 861 NEW BEST:: SOT 185101 SOS 98294 HAS SOPS 98294 HAS SOUS 41275 HAS SOUPS 41275 WITH SCORE 41373.294
AT ITER 862 NEW BEST:: SOT 185101 SOS 98260 HAS SOPS 98260 HAS SOUS 41258 HAS SOUPS 41258 WITH SCORE 41356.26
AT ITER 868 NEW BEST:: SOT 185101 SOS 98260 HAS SOPS 98260 HAS SOUS 41200 HAS SOUPS 41200 WITH SCORE 41298.26
AT ITER 873 NEW BEST:: SOT 185101 SOS 98248 HAS SOPS 98248 HAS SOUS 41200 HAS SOUPS 41200 WITH SCORE 41298.248
AT ITER 874 NEW BEST:: SOT 184904 SOS 98062 HAS SOPS 98062 HAS SOUS 41029 HAS SOUPS 41029 WITH SCORE 41127.062
AT ITER 882 NEW BEST:: SOT 184866 SOS 98002 HAS SOPS 98002 HAS SOUS 40886 HAS SOUPS 40886 WITH SCORE 40984.002
AT ITER 883 NEW BEST:: SOT 184767 SOS 97873 HAS SOPS 97873 HAS SOUS 40822 HAS SOUPS 40822 WITH SCORE 40919.873
AT ITER 884 NEW BEST:: SOT 184743 SOS 97784 HAS SOPS 97784 HAS SOUS 40798 HAS SOUPS 40798 WITH SCORE 40895.784
AT ITER 885 NEW BEST:: SOT 184643 SOS 97602 HAS SOPS 97602 HAS SOUS 40705 HAS SOUPS 40705 WITH SCORE 40802.602
AT ITER 890 NEW BEST:: SOT 184595 SOS 96914 HAS SOPS 96914 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40589.914
AT ITER 891 NEW BEST:: SOT 184606 SOS 97779 HAS SOPS 97779 HAS SOUS 40367 HAS SOUPS 40367 WITH SCORE 40464.779
AT ITER 912 NEW BEST:: SOT 184495 SOS 97071 HAS SOPS 97071 HAS SOUS 40117 HAS SOUPS 40117 WITH SCORE 40214.071
AT ITER 914 NEW BEST:: SOT 184495 SOS 97071 HAS SOPS 97071 HAS SOUS 40107 HAS SOUPS 40107 WITH SCORE 40204.071
AT ITER 916 NEW BEST:: SOT 184438 SOS 96947 HAS SOPS 96947 HAS SOUS 40015 HAS SOUPS 40015 WITH SCORE 40111.947
AT ITER 922 NEW BEST:: SOT 184417 SOS 96905 HAS SOPS 96905 HAS SOUS 40001 HAS SOUPS 40001 WITH SCORE 40097.905
AT ITER 925 NEW BEST:: SOT 184375 SOS 96863 HAS SOPS 96863 HAS SOUS 39931 HAS SOUPS 39931 WITH SCORE 40027.863
AT ITER 931 NEW BEST:: SOT 184243 SOS 96731 HAS SOPS 96731 HAS SOUS 39733 HAS SOUPS 39733 WITH SCORE 39829.731
AT ITER 938 NEW BEST:: SOT 184243 SOS 96731 HAS SOPS 96731 HAS SOUS 39713 HAS SOUPS 39713 WITH SCORE 39809.731
AT ITER 941 NEW BEST:: SOT 184247 SOS 96735 HAS SOPS 96735 HAS SOUS 39712 HAS SOUPS 39712 WITH SCORE 39808.735
AT ITER 945 NEW BEST:: SOT 184235 SOS 96750 HAS SOPS 96750 HAS SOUS 39666 HAS SOUPS 39666 WITH SCORE 39762.75
AT ITER 948 NEW BEST:: SOT 184163 SOS 96628 HAS SOPS 96628 HAS SOUS 39594 HAS SOUPS 39594 WITH SCORE 39690.628
AT ITER 950 NEW BEST:: SOT 184163 SOS 96628 HAS SOPS 96628 HAS SOUS 39593 HAS SOUPS 39593 WITH SCORE 39689.628
AT ITER 953 NEW BEST:: SOT 184113 SOS 96578 HAS SOPS 96578 HAS SOUS 39534 HAS SOUPS 39534 WITH SCORE 39630.578
AT ITER 955 NEW BEST:: SOT 184106 SOS 96620 HAS SOPS 96620 HAS SOUS 39527 HAS SOUPS 39527 WITH SCORE 39623.62
AT ITER 956 NEW BEST:: SOT 183979 SOS 96547 HAS SOPS 96547 HAS SOUS 39406 HAS SOUPS 39406 WITH SCORE 39502.547
AT ITER 957 NEW BEST:: SOT 183976 SOS 96541 HAS SOPS 96541 HAS SOUS 39400 HAS SOUPS 39400 WITH SCORE 39496.541
AT ITER 959 NEW BEST:: SOT 183870 SOS 96319 HAS SOPS 96319 HAS SOUS 39300 HAS SOUPS 39300 WITH SCORE 39396.319
AT ITER 961 NEW BEST:: SOT 183839 SOS 96257 HAS SOPS 96257 HAS SOUS 39238 HAS SOUPS 39238 WITH SCORE 39334.257
AT ITER 963 NEW BEST:: SOT 183835 SOS 96253 HAS SOPS 96253 HAS SOUS 39236 HAS SOUPS 39236 WITH SCORE 39332.253
AT ITER 964 NEW BEST:: SOT 183892 SOS 96179 HAS SOPS 96179 HAS SOUS 39153 HAS SOUPS 39153 WITH SCORE 39249.179
AT ITER 969 NEW BEST:: SOT 183706 SOS 95823 HAS SOPS 95823 HAS SOUS 38987 HAS SOUPS 38987 WITH SCORE 39082.823
AT ITER 981 NEW BEST:: SOT 183740 SOS 95320 HAS SOPS 95320 HAS SOUS 38926 HAS SOUPS 38926 WITH SCORE 39021.32
AT ITER 986 NEW BEST:: SOT 183730 SOS 95570 HAS SOPS 95570 HAS SOUS 38921 HAS SOUPS 38921 WITH SCORE 39016.57
AT ITER 994 NEW BEST:: SOT 183441 SOS 95281 HAS SOPS 95281 HAS SOUS 38881 HAS SOUPS 38881 WITH SCORE 38976.281
AT ITER 998 NEW BEST:: SOT 183402 SOS 95018 HAS SOPS 95018 HAS SOUS 38668 HAS SOUPS 38668 WITH SCORE 38763.018
AT ITER 999 NEW BEST:: SOT 183442 SOS 95015 HAS SOPS 95015 HAS SOUS 38665 HAS SOUPS 38665 WITH SCORE 38760.015
AT ITER 1002 NEW BEST:: SOT 183418 SOS 94991 HAS SOPS 94991 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38708.991
AT ITER 1003 NEW BEST:: SOT 183406 SOS 94979 HAS SOPS 94979 HAS SOUS 38498 HAS SOUPS 38498 WITH SCORE 38592.979
AT ITER 1006 NEW BEST:: SOT 183406 SOS 94979 HAS SOPS 94979 HAS SOUS 38481 HAS SOUPS 38481 WITH SCORE 38575.979
AT ITER 1007 NEW BEST:: SOT 183380 SOS 94953 HAS SOPS 94953 HAS SOUS 38481 HAS SOUPS 38481 WITH SCORE 38575.953
AT ITER 1010 NEW BEST:: SOT 183288 SOS 94711 HAS SOPS 94711 HAS SOUS 38397 HAS SOUPS 38397 WITH SCORE 38491.711
AT ITER 1013 NEW BEST:: SOT 183282 SOS 94705 HAS SOPS 94705 HAS SOUS 38391 HAS SOUPS 38391 WITH SCORE 38485.705
AT ITER 1015 NEW BEST:: SOT 183282 SOS 94840 HAS SOPS 94840 HAS SOUS 38390 HAS SOUPS 38390 WITH SCORE 38484.84
AT ITER 1018 NEW BEST:: SOT 183257 SOS 94872 HAS SOPS 94872 HAS SOUS 38387 HAS SOUPS 38387 WITH SCORE 38481.872
AT ITER 1021 NEW BEST:: SOT 183199 SOS 94814 HAS SOPS 94814 HAS SOUS 38299 HAS SOUPS 38299 WITH SCORE 38393.814
AT ITER 1022 NEW BEST:: SOT 183139 SOS 94741 HAS SOPS 94741 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38168.741
AT ITER 1023 NEW BEST:: SOT 183147 SOS 94749 HAS SOPS 94749 HAS SOUS 38058 HAS SOUPS 38058 WITH SCORE 38152.749
AT ITER 1031 NEW BEST:: SOT 183156 SOS 94758 HAS SOPS 94758 HAS SOUS 38055 HAS SOUPS 38055 WITH SCORE 38149.758
AT ITER 1033 NEW BEST:: SOT 183154 SOS 94740 HAS SOPS 94740 HAS SOUS 38054 HAS SOUPS 38054 WITH SCORE 38148.74
AT ITER 1036 NEW BEST:: SOT 183133 SOS 94677 HAS SOPS 94677 HAS SOUS 38028 HAS SOUPS 38028 WITH SCORE 38122.677
AT ITER 1037 NEW BEST:: SOT 183121 SOS 94665 HAS SOPS 94665 HAS SOUS 38016 HAS SOUPS 38016 WITH SCORE 38110.665
AT ITER 1048 NEW BEST:: SOT 183009 SOS 94553 HAS SOPS 94553 HAS SOUS 37902 HAS SOUPS 37902 WITH SCORE 37996.553
AT ITER 1050 NEW BEST:: SOT 182991 SOS 94114 HAS SOPS 94114 HAS SOUS 37811 HAS SOUPS 37811 WITH SCORE 37905.114
AT ITER 1059 NEW BEST:: SOT 182736 SOS 93849 HAS SOPS 93849 HAS SOUS 37763 HAS SOUPS 37763 WITH SCORE 37856.849
AT ITER 1066 NEW BEST:: SOT 182661 SOS 94074 HAS SOPS 94074 HAS SOUS 37699 HAS SOUPS 37699 WITH SCORE 37793.074
AT ITER 1082 NEW BEST:: SOT 182645 SOS 94048 HAS SOPS 94048 HAS SOUS 37689 HAS SOUPS 37689 WITH SCORE 37783.048
AT ITER 1087 NEW BEST:: SOT 182543 SOS 93746 HAS SOPS 93746 HAS SOUS 37629 HAS SOUPS 37629 WITH SCORE 37722.746
AT ITER 1104 NEW BEST:: SOT 182873 SOS 94016 HAS SOPS 94016 HAS SOUS 37569 HAS SOUPS 37569 WITH SCORE 37663.016
AT ITER 1113 NEW BEST:: SOT 182944 SOS 94367 HAS SOPS 94367 HAS SOUS 37534 HAS SOUPS 37534 WITH SCORE 37628.367
AT ITER 1118 NEW BEST:: SOT 182944 SOS 94365 HAS SOPS 94365 HAS SOUS 37533 HAS SOUPS 37533 WITH SCORE 37627.365
AT ITER 1121 NEW BEST:: SOT 182923 SOS 94350 HAS SOPS 94350 HAS SOUS 37503 HAS SOUPS 37503 WITH SCORE 37597.35
AT ITER 1141 NEW BEST:: SOT 182923 SOS 94242 HAS SOPS 94242 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37589.242
AT ITER 1153 NEW BEST:: SOT 182961 SOS 94223 HAS SOPS 94223 HAS SOUS 37495 HAS SOUPS 37495 WITH SCORE 37589.223
AT ITER 1162 NEW BEST:: SOT 182919 SOS 94181 HAS SOPS 94181 HAS SOUS 37450 HAS SOUPS 37450 WITH SCORE 37544.181
AT ITER 1175 NEW BEST:: SOT 182919 SOS 94149 HAS SOPS 94149 HAS SOUS 37434 HAS SOUPS 37434 WITH SCORE 37528.149
AT ITER 1177 NEW BEST:: SOT 182909 SOS 94139 HAS SOPS 94139 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37498.139
AT ITER 1185 NEW BEST:: SOT 182656 SOS 93886 HAS SOPS 93886 HAS SOUS 37278 HAS SOUPS 37278 WITH SCORE 37371.886
AT ITER 1190 NEW BEST:: SOT 182653 SOS 93883 HAS SOPS 93883 HAS SOUS 37275 HAS SOUPS 37275 WITH SCORE 37368.883
AT ITER 1191 NEW BEST:: SOT 182533 SOS 93683 HAS SOPS 93683 HAS SOUS 37149 HAS SOUPS 37149 WITH SCORE 37242.683
AT ITER 1213 NEW BEST:: SOT 182529 SOS 92863 HAS SOPS 92863 HAS SOUS 37048 HAS SOUPS 37048 WITH SCORE 37140.863
AT ITER 1232 NEW BEST:: SOT 182561 SOS 92905 HAS SOPS 92905 HAS SOUS 37001 HAS SOUPS 37001 WITH SCORE 37093.905
AT ITER 1234 NEW BEST:: SOT 182563 SOS 92899 HAS SOPS 92899 HAS SOUS 36998 HAS SOUPS 36998 WITH SCORE 37090.899
AT ITER 1245 NEW BEST:: SOT 182631 SOS 92991 HAS SOPS 92991 HAS SOUS 36997 HAS SOUPS 36997 WITH SCORE 37089.991
AT ITER 1247 NEW BEST:: SOT 182631 SOS 92991 HAS SOPS 92991 HAS SOUS 36992 HAS SOUPS 36992 WITH SCORE 37084.991
AT ITER 1248 NEW BEST:: SOT 182484 SOS 92844 HAS SOPS 92844 HAS SOUS 36962 HAS SOUPS 36962 WITH SCORE 37054.844
AT ITER 1255 NEW BEST:: SOT 182577 SOS 92937 HAS SOPS 92937 HAS SOUS 36908 HAS SOUPS 36908 WITH SCORE 37000.937
AT ITER 1262 NEW BEST:: SOT 182568 SOS 92919 HAS SOPS 92919 HAS SOUS 36881 HAS SOUPS 36881 WITH SCORE 36973.919
AT ITER 1278 NEW BEST:: SOT 182554 SOS 92587 HAS SOPS 92587 HAS SOUS 36868 HAS SOUPS 36868 WITH SCORE 36960.587
AT ITER 1285 NEW BEST:: SOT 182534 SOS 92526 HAS SOPS 92526 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36951.526
AT ITER 1287 NEW BEST:: SOT 182534 SOS 92310 HAS SOPS 92310 HAS SOUS 36859 HAS SOUPS 36859 WITH SCORE 36951.31
AT ITER 1296 NEW BEST:: SOT 182572 SOS 92348 HAS SOPS 92348 HAS SOUS 36837 HAS SOUPS 36837 WITH SCORE 36929.348
AT ITER 1310 NEW BEST:: SOT 182553 SOS 92601 HAS SOPS 92601 HAS SOUS 36791 HAS SOUPS 36791 WITH SCORE 36883.601
AT ITER 1314 NEW BEST:: SOT 182537 SOS 92585 HAS SOPS 92585 HAS SOUS 36775 HAS SOUPS 36775 WITH SCORE 36867.585
AT ITER 1323 NEW BEST:: SOT 182461 SOS 92509 HAS SOPS 92509 HAS SOUS 36694 HAS SOUPS 36694 WITH SCORE 36786.509
AT ITER 1331 NEW BEST:: SOT 182477 SOS 92541 HAS SOPS 92541 HAS SOUS 36659 HAS SOUPS 36659 WITH SCORE 36751.541
AT ITER 1357 NEW BEST:: SOT 182407 SOS 92471 HAS SOPS 92471 HAS SOUS 36629 HAS SOUPS 36629 WITH SCORE 36721.471
AT ITER 1361 NEW BEST:: SOT 182259 SOS 92323 HAS SOPS 92323 HAS SOUS 36448 HAS SOUPS 36448 WITH SCORE 36540.323
AT ITER 1373 NEW BEST:: SOT 182187 SOS 92282 HAS SOPS 92282 HAS SOUS 36386 HAS SOUPS 36386 WITH SCORE 36478.282
AT ITER 1374 NEW BEST:: SOT 182376 SOS 92419 HAS SOPS 92419 HAS SOUS 36351 HAS SOUPS 36351 WITH SCORE 36443.419
AT ITER 1386 NEW BEST:: SOT 182524 SOS 92453 HAS SOPS 92453 HAS SOUS 36290 HAS SOUPS 36290 WITH SCORE 36382.453
AT ITER 1388 NEW BEST:: SOT 182507 SOS 92560 HAS SOPS 92560 HAS SOUS 36273 HAS SOUPS 36273 WITH SCORE 36365.56
AT ITER 1397 NEW BEST:: SOT 182467 SOS 92520 HAS SOPS 92520 HAS SOUS 36213 HAS SOUPS 36213 WITH SCORE 36305.52
AT ITER 1398 NEW BEST:: SOT 182467 SOS 92518 HAS SOPS 92518 HAS SOUS 36190 HAS SOUPS 36190 WITH SCORE 36282.518
AT ITER 1406 NEW BEST:: SOT 182390 SOS 92210 HAS SOPS 92210 HAS SOUS 36113 HAS SOUPS 36113 WITH SCORE 36205.21
AT ITER 1413 NEW BEST:: SOT 182368 SOS 92172 HAS SOPS 92172 HAS SOUS 36091 HAS SOUPS 36091 WITH SCORE 36183.172
AT ITER 1424 NEW BEST:: SOT 182265 SOS 92069 HAS SOPS 92069 HAS SOUS 35882 HAS SOUPS 35882 WITH SCORE 35974.069
AT ITER 1435 NEW BEST:: SOT 182231 SOS 92103 HAS SOPS 92103 HAS SOUS 35814 HAS SOUPS 35814 WITH SCORE 35906.103
AT ITER 1439 NEW BEST:: SOT 182231 SOS 91906 HAS SOPS 91906 HAS SOUS 35789 HAS SOUPS 35789 WITH SCORE 35880.906
AT ITER 1444 NEW BEST:: SOT 182189 SOS 92095 HAS SOPS 92095 HAS SOUS 35768 HAS SOUPS 35768 WITH SCORE 35860.095
AT ITER 1450 NEW BEST:: SOT 182177 SOS 92089 HAS SOPS 92089 HAS SOUS 35761 HAS SOUPS 35761 WITH SCORE 35853.089
AT ITER 1453 NEW BEST:: SOT 182216 SOS 92022 HAS SOPS 92022 HAS SOUS 35612 HAS SOUPS 35612 WITH SCORE 35704.022
AT ITER 1455 NEW BEST:: SOT 182168 SOS 91998 HAS SOPS 91998 HAS SOUS 35564 HAS SOUPS 35564 WITH SCORE 35655.998
AT ITER 1457 NEW BEST:: SOT 182087 SOS 91812 HAS SOPS 91812 HAS SOUS 35551 HAS SOUPS 35551 WITH SCORE 35642.812
AT ITER 1458 NEW BEST:: SOT 182087 SOS 91818 HAS SOPS 91818 HAS SOUS 35533 HAS SOUPS 35533 WITH SCORE 35624.818
AT ITER 1461 NEW BEST:: SOT 182096 SOS 91827 HAS SOPS 91827 HAS SOUS 35509 HAS SOUPS 35509 WITH SCORE 35600.827
AT ITER 1466 NEW BEST:: SOT 182111 SOS 91397 HAS SOPS 91397 HAS SOUS 35484 HAS SOUPS 35484 WITH SCORE 35575.397
AT ITER 1473 NEW BEST:: SOT 182034 SOS 91766 HAS SOPS 91766 HAS SOUS 35381 HAS SOUPS 35381 WITH SCORE 35472.766
AT ITER 1493 NEW BEST:: SOT 182022 SOS 91754 HAS SOPS 91754 HAS SOUS 35369 HAS SOUPS 35369 WITH SCORE 35460.754
AT ITER 1495 NEW BEST:: SOT 182022 SOS 91730 HAS SOPS 91730 HAS SOUS 35333 HAS SOUPS 35333 WITH SCORE 35424.73
AT ITER 1500 NEW BEST:: SOT 182011 SOS 91719 HAS SOPS 91719 HAS SOUS 35312 HAS SOUPS 35312 WITH SCORE 35403.719
AT ITER 1508 NEW BEST:: SOT 181840 SOS 91634 HAS SOPS 91634 HAS SOUS 35265 HAS SOUPS 35265 WITH SCORE 35356.634
AT ITER 1512 NEW BEST:: SOT 181809 SOS 92022 HAS SOPS 92022 HAS SOUS 35153 HAS SOUPS 35153 WITH SCORE 35245.022
AT ITER 1516 NEW BEST:: SOT 181793 SOS 92000 HAS SOPS 92000 HAS SOUS 35137 HAS SOUPS 35137 WITH SCORE 35229.0
AT ITER 1517 NEW BEST:: SOT 181793 SOS 92000 HAS SOPS 92000 HAS SOUS 35077 HAS SOUPS 35077 WITH SCORE 35169.0
AT ITER 1523 NEW BEST:: SOT 181743 SOS 91924 HAS SOPS 91924 HAS SOUS 35028 HAS SOUPS 35028 WITH SCORE 35119.924
AT ITER 1533 NEW BEST:: SOT 181741 SOS 91922 HAS SOPS 91922 HAS SOUS 35024 HAS SOUPS 35024 WITH SCORE 35115.922
AT ITER 1536 NEW BEST:: SOT 181754 SOS 91935 HAS SOPS 91935 HAS SOUS 35018 HAS SOUPS 35018 WITH SCORE 35109.935
AT ITER 1539 NEW BEST:: SOT 181636 SOS 91724 HAS SOPS 91724 HAS SOUS 34815 HAS SOUPS 34815 WITH SCORE 34906.724
AT ITER 1541 NEW BEST:: SOT 181622 SOS 91774 HAS SOPS 91774 HAS SOUS 34801 HAS SOUPS 34801 WITH SCORE 34892.774
AT ITER 1555 NEW BEST:: SOT 181616 SOS 91767 HAS SOPS 91767 HAS SOUS 34799 HAS SOUPS 34799 WITH SCORE 34890.767
AT ITER 1559 NEW BEST:: SOT 181558 SOS 91749 HAS SOPS 91749 HAS SOUS 34741 HAS SOUPS 34741 WITH SCORE 34832.749
AT ITER 1560 NEW BEST:: SOT 181556 SOS 91751 HAS SOPS 91751 HAS SOUS 34733 HAS SOUPS 34733 WITH SCORE 34824.751
AT ITER 1561 NEW BEST:: SOT 181519 SOS 91701 HAS SOPS 91701 HAS SOUS 34727 HAS SOUPS 34727 WITH SCORE 34818.701
AT ITER 1562 NEW BEST:: SOT 181529 SOS 91692 HAS SOPS 91692 HAS SOUS 34719 HAS SOUPS 34719 WITH SCORE 34810.692
AT ITER 1565 NEW BEST:: SOT 181529 SOS 91668 HAS SOPS 91668 HAS SOUS 34707 HAS SOUPS 34707 WITH SCORE 34798.668
AT ITER 1575 NEW BEST:: SOT 181479 SOS 91618 HAS SOPS 91618 HAS SOUS 34654 HAS SOUPS 34654 WITH SCORE 34745.618
AT ITER 1578 NEW BEST:: SOT 181407 SOS 91546 HAS SOPS 91546 HAS SOUS 34582 HAS SOUPS 34582 WITH SCORE 34673.546
AT ITER 1581 NEW BEST:: SOT 181399 SOS 91538 HAS SOPS 91538 HAS SOUS 34578 HAS SOUPS 34578 WITH SCORE 34669.538
AT ITER 1583 NEW BEST:: SOT 181261 SOS 91310 HAS SOPS 91310 HAS SOUS 34440 HAS SOUPS 34440 WITH SCORE 34531.31
AT ITER 1584 NEW BEST:: SOT 181165 SOS 90647 HAS SOPS 90647 HAS SOUS 34433 HAS SOUPS 34433 WITH SCORE 34523.647
AT ITER 1590 NEW BEST:: SOT 181171 SOS 90653 HAS SOPS 90653 HAS SOUS 34414 HAS SOUPS 34414 WITH SCORE 34504.653
AT ITER 1600 NEW BEST:: SOT 181141 SOS 90623 HAS SOPS 90623 HAS SOUS 34369 HAS SOUPS 34369 WITH SCORE 34459.623
AT ITER 1604 NEW BEST:: SOT 181004 SOS 90394 HAS SOPS 90394 HAS SOUS 34301 HAS SOUPS 34301 WITH SCORE 34391.394
AT ITER 1613 NEW BEST:: SOT 181004 SOS 90360 HAS SOPS 90360 HAS SOUS 34241 HAS SOUPS 34241 WITH SCORE 34331.36
AT ITER 1614 NEW BEST:: SOT 181026 SOS 90415 HAS SOPS 90415 HAS SOUS 34230 HAS SOUPS 34230 WITH SCORE 34320.415
AT ITER 1621 NEW BEST:: SOT 180990 SOS 90379 HAS SOPS 90379 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34266.379
AT ITER 1646 NEW BEST:: SOT 180980 SOS 90369 HAS SOPS 90369 HAS SOUS 34140 HAS SOUPS 34140 WITH SCORE 34230.369
AT ITER 1647 NEW BEST:: SOT 180957 SOS 90498 HAS SOPS 90498 HAS SOUS 34119 HAS SOUPS 34119 WITH SCORE 34209.498
AT ITER 1650 NEW BEST:: SOT 180957 SOS 90498 HAS SOPS 90498 HAS SOUS 34116 HAS SOUPS 34116 WITH SCORE 34206.498
AT ITER 1661 NEW BEST:: SOT 180818 SOS 90327 HAS SOPS 90327 HAS SOUS 34008 HAS SOUPS 34008 WITH SCORE 34098.327
AT ITER 1675 NEW BEST:: SOT 180743 SOS 90385 HAS SOPS 90385 HAS SOUS 33812 HAS SOUPS 33812 WITH SCORE 33902.385
AT ITER 1677 NEW BEST:: SOT 180711 SOS 90365 HAS SOPS 90365 HAS SOUS 33568 HAS SOUPS 33568 WITH SCORE 33658.365
AT ITER 1684 NEW BEST:: SOT 180639 SOS 90177 HAS SOPS 90177 HAS SOUS 33554 HAS SOUPS 33554 WITH SCORE 33644.177
AT ITER 1713 NEW BEST:: SOT 180614 SOS 90193 HAS SOPS 90193 HAS SOUS 33548 HAS SOUPS 33548 WITH SCORE 33638.193
AT ITER 1719 NEW BEST:: SOT 180561 SOS 90118 HAS SOPS 90118 HAS SOUS 33504 HAS SOUPS 33504 WITH SCORE 33594.118
AT ITER 1734 NEW BEST:: SOT 180548 SOS 90146 HAS SOPS 90146 HAS SOUS 33482 HAS SOUPS 33482 WITH SCORE 33572.146
AT ITER 1736 NEW BEST:: SOT 180585 SOS 90158 HAS SOPS 90158 HAS SOUS 33481 HAS SOUPS 33481 WITH SCORE 33571.158
AT ITER 1739 NEW BEST:: SOT 180561 SOS 90134 HAS SOPS 90134 HAS SOUS 33457 HAS SOUPS 33457 WITH SCORE 33547.134
AT ITER 1740 NEW BEST:: SOT 180522 SOS 90017 HAS SOPS 90017 HAS SOUS 33431 HAS SOUPS 33431 WITH SCORE 33521.017
AT ITER 1742 NEW BEST:: SOT 180522 SOS 89976 HAS SOPS 89976 HAS SOUS 33418 HAS SOUPS 33418 WITH SCORE 33507.976
AT ITER 1747 NEW BEST:: SOT 180472 SOS 90114 HAS SOPS 90114 HAS SOUS 33350 HAS SOUPS 33350 WITH SCORE 33440.114
AT ITER 1754 NEW BEST:: SOT 180364 SOS 90017 HAS SOPS 90017 HAS SOUS 33316 HAS SOUPS 33316 WITH SCORE 33406.017
AT ITER 1758 NEW BEST:: SOT 180360 SOS 90027 HAS SOPS 90027 HAS SOUS 33312 HAS SOUPS 33312 WITH SCORE 33402.027
AT ITER 1759 NEW BEST:: SOT 180320 SOS 89923 HAS SOPS 89923 HAS SOUS 33270 HAS SOUPS 33270 WITH SCORE 33359.923
AT ITER 1761 NEW BEST:: SOT 180262 SOS 89865 HAS SOPS 89865 HAS SOUS 33245 HAS SOUPS 33245 WITH SCORE 33334.865
AT ITER 1767 NEW BEST:: SOT 180135 SOS 89611 HAS SOPS 89611 HAS SOUS 33118 HAS SOUPS 33118 WITH SCORE 33207.611
AT ITER 1770 NEW BEST:: SOT 180118 SOS 90006 HAS SOPS 90006 HAS SOUS 33097 HAS SOUPS 33097 WITH SCORE 33187.006
AT ITER 1773 NEW BEST:: SOT 180107 SOS 90022 HAS SOPS 90022 HAS SOUS 33067 HAS SOUPS 33067 WITH SCORE 33157.022
AT ITER 1777 NEW BEST:: SOT 180122 SOS 89848 HAS SOPS 89848 HAS SOUS 32961 HAS SOUPS 32961 WITH SCORE 33050.848
AT ITER 1785 NEW BEST:: SOT 180142 SOS 89868 HAS SOPS 89868 HAS SOUS 32916 HAS SOUPS 32916 WITH SCORE 33005.868
AT ITER 1799 NEW BEST:: SOT 180099 SOS 89782 HAS SOPS 89782 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32962.782
AT ITER 1808 NEW BEST:: SOT 180059 SOS 89742 HAS SOPS 89742 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32954.742
AT ITER 1811 NEW BEST:: SOT 180031 SOS 89686 HAS SOPS 89686 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32943.686
AT ITER 1829 NEW BEST:: SOT 180017 SOS 89391 HAS SOPS 89391 HAS SOUS 32845 HAS SOUPS 32845 WITH SCORE 32934.391
AT ITER 1837 NEW BEST:: SOT 179953 SOS 89327 HAS SOPS 89327 HAS SOUS 32789 HAS SOUPS 32789 WITH SCORE 32878.327
AT ITER 1845 NEW BEST:: SOT 179933 SOS 89273 HAS SOPS 89273 HAS SOUS 32750 HAS SOUPS 32750 WITH SCORE 32839.273
AT ITER 1856 NEW BEST:: SOT 179879 SOS 89100 HAS SOPS 89100 HAS SOUS 32637 HAS SOUPS 32637 WITH SCORE 32726.1
AT ITER 1858 NEW BEST:: SOT 179744 SOS 88857 HAS SOPS 88857 HAS SOUS 32583 HAS SOUPS 32583 WITH SCORE 32671.857
AT ITER 1890 NEW BEST:: SOT 179668 SOS 88781 HAS SOPS 88781 HAS SOUS 32583 HAS SOUPS 32583 WITH SCORE 32671.781
AT ITER 1897 NEW BEST:: SOT 179665 SOS 88779 HAS SOPS 88779 HAS SOUS 32578 HAS SOUPS 32578 WITH SCORE 32666.779
AT ITER 1903 NEW BEST:: SOT 179613 SOS 88613 HAS SOPS 88613 HAS SOUS 32568 HAS SOUPS 32568 WITH SCORE 32656.613
AT ITER 1926 NEW BEST:: SOT 179537 SOS 88537 HAS SOPS 88537 HAS SOUS 32492 HAS SOUPS 32492 WITH SCORE 32580.537
AT ITER 1936 NEW BEST:: SOT 179537 SOS 88537 HAS SOPS 88537 HAS SOUS 32483 HAS SOUPS 32483 WITH SCORE 32571.537
AT ITER 1937 NEW BEST:: SOT 179552 SOS 88501 HAS SOPS 88501 HAS SOUS 32465 HAS SOUPS 32465 WITH SCORE 32553.501
AT ITER 1940 NEW BEST:: SOT 179547 SOS 88491 HAS SOPS 88491 HAS SOUS 32460 HAS SOUPS 32460 WITH SCORE 32548.491
AT ITER 1952 NEW BEST:: SOT 179557 SOS 88309 HAS SOPS 88309 HAS SOUS 32458 HAS SOUPS 32458 WITH SCORE 32546.309
AT ITER 1953 NEW BEST:: SOT 179569 SOS 88321 HAS SOPS 88321 HAS SOUS 32382 HAS SOUPS 32382 WITH SCORE 32470.321
AT ITER 1957 NEW BEST:: SOT 179393 SOS 88115 HAS SOPS 88115 HAS SOUS 32331 HAS SOUPS 32331 WITH SCORE 32419.115
AT ITER 1959 NEW BEST:: SOT 179356 SOS 88111 HAS SOPS 88111 HAS SOUS 32327 HAS SOUPS 32327 WITH SCORE 32415.111
AT ITER 1960 NEW BEST:: SOT 179342 SOS 88097 HAS SOPS 88097 HAS SOUS 32258 HAS SOUPS 32258 WITH SCORE 32346.097
AT ITER 1962 NEW BEST:: SOT 179264 SOS 88019 HAS SOPS 88019 HAS SOUS 32197 HAS SOUPS 32197 WITH SCORE 32285.019
AT ITER 1980 NEW BEST:: SOT 179259 SOS 87981 HAS SOPS 87981 HAS SOUS 32165 HAS SOUPS 32165 WITH SCORE 32252.981
AT ITER 1983 NEW BEST:: SOT 179133 SOS 87723 HAS SOPS 87723 HAS SOUS 32068 HAS SOUPS 32068 WITH SCORE 32155.723
AT ITER 1986 NEW BEST:: SOT 179027 SOS 87656 HAS SOPS 87656 HAS SOUS 32051 HAS SOUPS 32051 WITH SCORE 32138.656
AT ITER 1999 NEW BEST:: SOT 178927 SOS 87944 HAS SOPS 87944 HAS SOUS 32045 HAS SOUPS 32045 WITH SCORE 32132.944
AT ITER 2002 NEW BEST:: SOT 178927 SOS 87944 HAS SOPS 87944 HAS SOUS 32000 HAS SOUPS 32000 WITH SCORE 32087.944
AT ITER 2018 NEW BEST:: SOT 179046 SOS 87759 HAS SOPS 87759 HAS SOUS 31985 HAS SOUPS 31985 WITH SCORE 32072.759
AT ITER 2019 NEW BEST:: SOT 178962 SOS 87661 HAS SOPS 87661 HAS SOUS 31943 HAS SOUPS 31943 WITH SCORE 32030.661
AT ITER 2021 NEW BEST:: SOT 178934 SOS 87628 HAS SOPS 87628 HAS SOUS 31917 HAS SOUPS 31917 WITH SCORE 32004.628
AT ITER 2039 NEW BEST:: SOT 178921 SOS 87582 HAS SOPS 87582 HAS SOUS 31843 HAS SOUPS 31843 WITH SCORE 31930.582
AT ITER 2060 NEW BEST:: SOT 178869 SOS 87591 HAS SOPS 87591 HAS SOUS 31840 HAS SOUPS 31840 WITH SCORE 31927.591
AT ITER 2061 NEW BEST:: SOT 178869 SOS 87576 HAS SOPS 87576 HAS SOUS 31837 HAS SOUPS 31837 WITH SCORE 31924.576
AT ITER 2062 NEW BEST:: SOT 178847 SOS 87250 HAS SOPS 87250 HAS SOUS 31815 HAS SOUPS 31815 WITH SCORE 31902.25
AT ITER 2074 NEW BEST:: SOT 178850 SOS 87156 HAS SOPS 87156 HAS SOUS 31807 HAS SOUPS 31807 WITH SCORE 31894.156
AT ITER 2075 NEW BEST:: SOT 178850 SOS 87106 HAS SOPS 87106 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31869.106
AT ITER 2093 NEW BEST:: SOT 178850 SOS 86830 HAS SOPS 86830 HAS SOUS 31782 HAS SOUPS 31782 WITH SCORE 31868.83
AT ITER 2104 NEW BEST:: SOT 178821 SOS 86423 HAS SOPS 86423 HAS SOUS 31709 HAS SOUPS 31709 WITH SCORE 31795.423
AT ITER 2130 NEW BEST:: SOT 178725 SOS 86435 HAS SOPS 86435 HAS SOUS 31693 HAS SOUPS 31693 WITH SCORE 31779.435
AT ITER 2139 NEW BEST:: SOT 178702 SOS 85999 HAS SOPS 85999 HAS SOUS 31648 HAS SOUPS 31648 WITH SCORE 31733.999
AT ITER 2145 NEW BEST:: SOT 178694 SOS 85967 HAS SOPS 85967 HAS SOUS 31581 HAS SOUPS 31581 WITH SCORE 31666.967
AT ITER 2162 NEW BEST:: SOT 178649 SOS 85714 HAS SOPS 85714 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31614.714
AT ITER 2173 NEW BEST:: SOT 178655 SOS 85702 HAS SOPS 85702 HAS SOUS 31529 HAS SOUPS 31529 WITH SCORE 31614.702
AT ITER 2174 NEW BEST:: SOT 178652 SOS 85748 HAS SOPS 85748 HAS SOUS 31523 HAS SOUPS 31523 WITH SCORE 31608.748
AT ITER 2177 NEW BEST:: SOT 178572 SOS 84984 HAS SOPS 84984 HAS SOUS 31264 HAS SOUPS 31264 WITH SCORE 31348.984
AT ITER 2181 NEW BEST:: SOT 178564 SOS 84948 HAS SOPS 84948 HAS SOUS 31227 HAS SOUPS 31227 WITH SCORE 31311.948
AT ITER 2183 NEW BEST:: SOT 178564 SOS 84978 HAS SOPS 84978 HAS SOUS 31222 HAS SOUPS 31222 WITH SCORE 31306.978
AT ITER 2199 NEW BEST:: SOT 178537 SOS 84963 HAS SOPS 84963 HAS SOUS 31201 HAS SOUPS 31201 WITH SCORE 31285.963
AT ITER 2222 NEW BEST:: SOT 178543 SOS 84911 HAS SOPS 84911 HAS SOUS 31178 HAS SOUPS 31178 WITH SCORE 31262.911
AT ITER 2238 NEW BEST:: SOT 178535 SOS 84855 HAS SOPS 84855 HAS SOUS 31168 HAS SOUPS 31168 WITH SCORE 31252.855
AT ITER 2242 NEW BEST:: SOT 178517 SOS 84819 HAS SOPS 84819 HAS SOUS 31132 HAS SOUPS 31132 WITH SCORE 31216.819
AT ITER 2244 NEW BEST:: SOT 178507 SOS 84809 HAS SOPS 84809 HAS SOUS 31121 HAS SOUPS 31121 WITH SCORE 31205.809
AT ITER 2265 NEW BEST:: SOT 178471 SOS 84773 HAS SOPS 84773 HAS SOUS 31102 HAS SOUPS 31102 WITH SCORE 31186.773
AT ITER 2268 NEW BEST:: SOT 178471 SOS 84769 HAS SOPS 84769 HAS SOUS 31102 HAS SOUPS 31102 WITH SCORE 31186.769
AT ITER 2275 NEW BEST:: SOT 178452 SOS 84751 HAS SOPS 84751 HAS SOUS 31077 HAS SOUPS 31077 WITH SCORE 31161.751
AT ITER 2278 NEW BEST:: SOT 178396 SOS 84725 HAS SOPS 84725 HAS SOUS 31067 HAS SOUPS 31067 WITH SCORE 31151.725
AT ITER 2291 NEW BEST:: SOT 178323 SOS 84383 HAS SOPS 84383 HAS SOUS 30956 HAS SOUPS 30956 WITH SCORE 31040.383
AT ITER 2296 NEW BEST:: SOT 178321 SOS 84402 HAS SOPS 84402 HAS SOUS 30954 HAS SOUPS 30954 WITH SCORE 31038.402
AT ITER 2315 NEW BEST:: SOT 178321 SOS 84402 HAS SOPS 84402 HAS SOUS 30952 HAS SOUPS 30952 WITH SCORE 31036.402
AT ITER 2318 NEW BEST:: SOT 178309 SOS 84390 HAS SOPS 84390 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 31032.39
AT ITER 2358 NEW BEST:: SOT 178313 SOS 84382 HAS SOPS 84382 HAS SOUS 30948 HAS SOUPS 30948 WITH SCORE 31032.382
AT ITER 2370 NEW BEST:: SOT 178248 SOS 84317 HAS SOPS 84317 HAS SOUS 30922 HAS SOUPS 30922 WITH SCORE 31006.317
AT ITER 2399 NEW BEST:: SOT 178303 SOS 84288 HAS SOPS 84288 HAS SOUS 30881 HAS SOUPS 30881 WITH SCORE 30965.288
AT ITER 2400 NEW BEST:: SOT 178259 SOS 84200 HAS SOPS 84200 HAS SOUS 30791 HAS SOUPS 30791 WITH SCORE 30875.2
AT ITER 2422 NEW BEST:: SOT 178123 SOS 84064 HAS SOPS 84064 HAS SOUS 30775 HAS SOUPS 30775 WITH SCORE 30859.064
AT ITER 2423 NEW BEST:: SOT 178081 SOS 83984 HAS SOPS 83984 HAS SOUS 30750 HAS SOUPS 30750 WITH SCORE 30833.984
AT ITER 2425 NEW BEST:: SOT 178204 SOS 84153 HAS SOPS 84153 HAS SOUS 30714 HAS SOUPS 30714 WITH SCORE 30798.153
AT ITER 2444 NEW BEST:: SOT 178168 SOS 84139 HAS SOPS 84139 HAS SOUS 30707 HAS SOUPS 30707 WITH SCORE 30791.139
AT ITER 2468 NEW BEST:: SOT 178144 SOS 84115 HAS SOPS 84115 HAS SOUS 30689 HAS SOUPS 30689 WITH SCORE 30773.115
AT ITER 2482 NEW BEST:: SOT 178067 SOS 84171 HAS SOPS 84171 HAS SOUS 30657 HAS SOUPS 30657 WITH SCORE 30741.171
AT ITER 2494 NEW BEST:: SOT 178067 SOS 84133 HAS SOPS 84133 HAS SOUS 30619 HAS SOUPS 30619 WITH SCORE 30703.133
AT ITER 2503 NEW BEST:: SOT 178058 SOS 84133 HAS SOPS 84133 HAS SOUS 30610 HAS SOUPS 30610 WITH SCORE 30694.133
AT ITER 2519 NEW BEST:: SOT 178071 SOS 84146 HAS SOPS 84146 HAS SOUS 30561 HAS SOUPS 30561 WITH SCORE 30645.146
AT ITER 2521 NEW BEST:: SOT 178065 SOS 84122 HAS SOPS 84122 HAS SOUS 30553 HAS SOUPS 30553 WITH SCORE 30637.122
AT ITER 2525 NEW BEST:: SOT 178063 SOS 84110 HAS SOPS 84110 HAS SOUS 30534 HAS SOUPS 30534 WITH SCORE 30618.11
AT ITER 2526 NEW BEST:: SOT 178065 SOS 84112 HAS SOPS 84112 HAS SOUS 30440 HAS SOUPS 30440 WITH SCORE 30524.112
AT ITER 2527 NEW BEST:: SOT 178046 SOS 83948 HAS SOPS 83948 HAS SOUS 30421 HAS SOUPS 30421 WITH SCORE 30504.948
AT ITER 2537 NEW BEST:: SOT 178046 SOS 83942 HAS SOPS 83942 HAS SOUS 30418 HAS SOUPS 30418 WITH SCORE 30501.942
AT ITER 2540 NEW BEST:: SOT 178041 SOS 83942 HAS SOPS 83942 HAS SOUS 30408 HAS SOUPS 30408 WITH SCORE 30491.942
AT ITER 2548 NEW BEST:: SOT 178058 SOS 83925 HAS SOPS 83925 HAS SOUS 30391 HAS SOUPS 30391 WITH SCORE 30474.925
AT ITER 2552 NEW BEST:: SOT 178032 SOS 83899 HAS SOPS 83899 HAS SOUS 30342 HAS SOUPS 30342 WITH SCORE 30425.899
AT ITER 2561 NEW BEST:: SOT 177982 SOS 83834 HAS SOPS 83834 HAS SOUS 30291 HAS SOUPS 30291 WITH SCORE 30374.834
AT ITER 2563 NEW BEST:: SOT 178084 SOS 84199 HAS SOPS 84199 HAS SOUS 30250 HAS SOUPS 30250 WITH SCORE 30334.199
AT ITER 2571 NEW BEST:: SOT 178065 SOS 84179 HAS SOPS 84179 HAS SOUS 30224 HAS SOUPS 30224 WITH SCORE 30308.179
AT ITER 2576 NEW BEST:: SOT 177982 SOS 84073 HAS SOPS 84073 HAS SOUS 30171 HAS SOUPS 30171 WITH SCORE 30255.073
AT ITER 2586 NEW BEST:: SOT 177855 SOS 83859 HAS SOPS 83859 HAS SOUS 30044 HAS SOUPS 30044 WITH SCORE 30127.859
AT ITER 2612 NEW BEST:: SOT 177777 SOS 83769 HAS SOPS 83769 HAS SOUS 29926 HAS SOUPS 29926 WITH SCORE 30009.769
AT ITER 2638 NEW BEST:: SOT 177767 SOS 83713 HAS SOPS 83713 HAS SOUS 29799 HAS SOUPS 29799 WITH SCORE 29882.713
AT ITER 2647 NEW BEST:: SOT 177742 SOS 83709 HAS SOPS 83709 HAS SOUS 29795 HAS SOUPS 29795 WITH SCORE 29878.709
AT ITER 2656 NEW BEST:: SOT 177781 SOS 83740 HAS SOPS 83740 HAS SOUS 29794 HAS SOUPS 29794 WITH SCORE 29877.74
AT ITER 2661 NEW BEST:: SOT 177822 SOS 83734 HAS SOPS 83734 HAS SOUS 29788 HAS SOUPS 29788 WITH SCORE 29871.734
AT ITER 2665 NEW BEST:: SOT 177806 SOS 83781 HAS SOPS 83781 HAS SOUS 29772 HAS SOUPS 29772 WITH SCORE 29855.781
AT ITER 2670 NEW BEST:: SOT 177832 SOS 83769 HAS SOPS 83769 HAS SOUS 29772 HAS SOUPS 29772 WITH SCORE 29855.769
AT ITER 2673 NEW BEST:: SOT 177814 SOS 83748 HAS SOPS 83748 HAS SOUS 29755 HAS SOUPS 29755 WITH SCORE 29838.748
AT ITER 2689 NEW BEST:: SOT 177794 SOS 83728 HAS SOPS 83728 HAS SOUS 29704 HAS SOUPS 29704 WITH SCORE 29787.728
AT ITER 2691 NEW BEST:: SOT 177762 SOS 83688 HAS SOPS 83688 HAS SOUS 29704 HAS SOUPS 29704 WITH SCORE 29787.688
AT ITER 2692 NEW BEST:: SOT 177827 SOS 83768 HAS SOPS 83768 HAS SOUS 29674 HAS SOUPS 29674 WITH SCORE 29757.768
AT ITER 2703 NEW BEST:: SOT 177773 SOS 83673 HAS SOPS 83673 HAS SOUS 29600 HAS SOUPS 29600 WITH SCORE 29683.673
AT ITER 2706 NEW BEST:: SOT 177771 SOS 83669 HAS SOPS 83669 HAS SOUS 29596 HAS SOUPS 29596 WITH SCORE 29679.669
AT ITER 2728 NEW BEST:: SOT 177681 SOS 83579 HAS SOPS 83579 HAS SOUS 29586 HAS SOUPS 29586 WITH SCORE 29669.579
AT ITER 2751 NEW BEST:: SOT 177684 SOS 83620 HAS SOPS 83620 HAS SOUS 29584 HAS SOUPS 29584 WITH SCORE 29667.62
AT ITER 2756 NEW BEST:: SOT 177647 SOS 83488 HAS SOPS 83488 HAS SOUS 29568 HAS SOUPS 29568 WITH SCORE 29651.488
AT ITER 2757 NEW BEST:: SOT 177580 SOS 83396 HAS SOPS 83396 HAS SOUS 29483 HAS SOUPS 29483 WITH SCORE 29566.396
AT ITER 2770 NEW BEST:: SOT 177536 SOS 83352 HAS SOPS 83352 HAS SOUS 29425 HAS SOUPS 29425 WITH SCORE 29508.352
AT ITER 2773 NEW BEST:: SOT 177389 SOS 83125 HAS SOPS 83125 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29471.125
AT ITER 2804 NEW BEST:: SOT 177384 SOS 83111 HAS SOPS 83111 HAS SOUS 29383 HAS SOUPS 29383 WITH SCORE 29466.111
AT ITER 2817 NEW BEST:: SOT 177352 SOS 83087 HAS SOPS 83087 HAS SOUS 29338 HAS SOUPS 29338 WITH SCORE 29421.087
AT ITER 2832 NEW BEST:: SOT 177246 SOS 82981 HAS SOPS 82981 HAS SOUS 29292 HAS SOUPS 29292 WITH SCORE 29374.981
AT ITER 2836 NEW BEST:: SOT 177236 SOS 82971 HAS SOPS 82971 HAS SOUS 29284 HAS SOUPS 29284 WITH SCORE 29366.971
AT ITER 2841 NEW BEST:: SOT 177236 SOS 82973 HAS SOPS 82973 HAS SOUS 29265 HAS SOUPS 29265 WITH SCORE 29347.973
AT ITER 2913 NEW BEST:: SOT 177069 SOS 82352 HAS SOPS 82352 HAS SOUS 29255 HAS SOUPS 29255 WITH SCORE 29337.352
AT ITER 2930 NEW BEST:: SOT 177069 SOS 82352 HAS SOPS 82352 HAS SOUS 29244 HAS SOUPS 29244 WITH SCORE 29326.352
AT ITER 2940 NEW BEST:: SOT 177043 SOS 82326 HAS SOPS 82326 HAS SOUS 29204 HAS SOUPS 29204 WITH SCORE 29286.326
AT ITER 2953 NEW BEST:: SOT 177064 SOS 82362 HAS SOPS 82362 HAS SOUS 29194 HAS SOUPS 29194 WITH SCORE 29276.362
AT ITER 2954 NEW BEST:: SOT 176971 SOS 82234 HAS SOPS 82234 HAS SOUS 29101 HAS SOUPS 29101 WITH SCORE 29183.234
AT ITER 2965 NEW BEST:: SOT 176969 SOS 82232 HAS SOPS 82232 HAS SOUS 29099 HAS SOUPS 29099 WITH SCORE 29181.232
AT ITER 2977 NEW BEST:: SOT 176887 SOS 82150 HAS SOPS 82150 HAS SOUS 29000 HAS SOUPS 29000 WITH SCORE 29082.15
AT ITER 2978 NEW BEST:: SOT 176958 SOS 82133 HAS SOPS 82133 HAS SOUS 29000 HAS SOUPS 29000 WITH SCORE 29082.133
AT ITER 2987 NEW BEST:: SOT 177050 SOS 82225 HAS SOPS 82225 HAS SOUS 28986 HAS SOUPS 28986 WITH SCORE 29068.225
AT ITER 3003 NEW BEST:: SOT 177045 SOS 82260 HAS SOPS 82260 HAS SOUS 28985 HAS SOUPS 28985 WITH SCORE 29067.26
AT ITER 3046 NEW BEST:: SOT 177045 SOS 82266 HAS SOPS 82266 HAS SOUS 28973 HAS SOUPS 28973 WITH SCORE 29055.266
AT ITER 3052 NEW BEST:: SOT 177010 SOS 82126 HAS SOPS 82126 HAS SOUS 28938 HAS SOUPS 28938 WITH SCORE 29020.126
AT ITER 3055 NEW BEST:: SOT 176942 SOS 81571 HAS SOPS 81571 HAS SOUS 28912 HAS SOUPS 28912 WITH SCORE 28993.571
AT ITER 3060 NEW BEST:: SOT 176902 SOS 81481 HAS SOPS 81481 HAS SOUS 28789 HAS SOUPS 28789 WITH SCORE 28870.481
AT ITER 3073 NEW BEST:: SOT 176902 SOS 81477 HAS SOPS 81477 HAS SOUS 28787 HAS SOUPS 28787 WITH SCORE 28868.477
AT ITER 3105 NEW BEST:: SOT 176802 SOS 81367 HAS SOPS 81367 HAS SOUS 28747 HAS SOUPS 28747 WITH SCORE 28828.367
AT ITER 3106 NEW BEST:: SOT 176783 SOS 81356 HAS SOPS 81356 HAS SOUS 28743 HAS SOUPS 28743 WITH SCORE 28824.356
AT ITER 3132 NEW BEST:: SOT 176783 SOS 81242 HAS SOPS 81242 HAS SOUS 28743 HAS SOUPS 28743 WITH SCORE 28824.242
AT ITER 3142 NEW BEST:: SOT 176671 SOS 81110 HAS SOPS 81110 HAS SOUS 28709 HAS SOUPS 28709 WITH SCORE 28790.11
AT ITER 3149 NEW BEST:: SOT 176649 SOS 81088 HAS SOPS 81088 HAS SOUS 28687 HAS SOUPS 28687 WITH SCORE 28768.088
AT ITER 3166 NEW BEST:: SOT 176649 SOS 81034 HAS SOPS 81034 HAS SOUS 28677 HAS SOUPS 28677 WITH SCORE 28758.034
AT ITER 3167 NEW BEST:: SOT 176727 SOS 81152 HAS SOPS 81152 HAS SOUS 28587 HAS SOUPS 28587 WITH SCORE 28668.152
AT ITER 3176 NEW BEST:: SOT 176712 SOS 81137 HAS SOPS 81137 HAS SOUS 28572 HAS SOUPS 28572 WITH SCORE 28653.137
AT ITER 3182 NEW BEST:: SOT 176712 SOS 81130 HAS SOPS 81130 HAS SOUS 28565 HAS SOUPS 28565 WITH SCORE 28646.13
AT ITER 3185 NEW BEST:: SOT 176737 SOS 81155 HAS SOPS 81155 HAS SOUS 28551 HAS SOUPS 28551 WITH SCORE 28632.155
AT ITER 3206 NEW BEST:: SOT 176735 SOS 81151 HAS SOPS 81151 HAS SOUS 28533 HAS SOUPS 28533 WITH SCORE 28614.151
AT ITER 3213 NEW BEST:: SOT 176703 SOS 82090 HAS SOPS 82090 HAS SOUS 28495 HAS SOUPS 28495 WITH SCORE 28577.09
AT ITER 3216 NEW BEST:: SOT 176517 SOS 81936 HAS SOPS 81936 HAS SOUS 28423 HAS SOUPS 28423 WITH SCORE 28504.936
AT ITER 3230 NEW BEST:: SOT 176513 SOS 81930 HAS SOPS 81930 HAS SOUS 28419 HAS SOUPS 28419 WITH SCORE 28500.93
AT ITER 3240 NEW BEST:: SOT 176513 SOS 81875 HAS SOPS 81875 HAS SOUS 28419 HAS SOUPS 28419 WITH SCORE 28500.875
AT ITER 3242 NEW BEST:: SOT 176513 SOS 81768 HAS SOPS 81768 HAS SOUS 28411 HAS SOUPS 28411 WITH SCORE 28492.768
AT ITER 3245 NEW BEST:: SOT 176578 SOS 81811 HAS SOPS 81811 HAS SOUS 28309 HAS SOUPS 28309 WITH SCORE 28390.811
AT ITER 3264 NEW BEST:: SOT 176629 SOS 81862 HAS SOPS 81862 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28266.862
AT ITER 3283 NEW BEST:: SOT 176632 SOS 81847 HAS SOPS 81847 HAS SOUS 28185 HAS SOUPS 28185 WITH SCORE 28266.847
AT ITER 3291 NEW BEST:: SOT 176638 SOS 81889 HAS SOPS 81889 HAS SOUS 28181 HAS SOUPS 28181 WITH SCORE 28262.889
AT ITER 3307 NEW BEST:: SOT 176630 SOS 81881 HAS SOPS 81881 HAS SOUS 28173 HAS SOUPS 28173 WITH SCORE 28254.881
AT ITER 3315 NEW BEST:: SOT 176636 SOS 81887 HAS SOPS 81887 HAS SOUS 28160 HAS SOUPS 28160 WITH SCORE 28241.887
AT ITER 3335 NEW BEST:: SOT 176625 SOS 81865 HAS SOPS 81865 HAS SOUS 28149 HAS SOUPS 28149 WITH SCORE 28230.865
AT ITER 3339 NEW BEST:: SOT 176615 SOS 81835 HAS SOPS 81835 HAS SOUS 28119 HAS SOUPS 28119 WITH SCORE 28200.835
AT ITER 3341 NEW BEST:: SOT 176608 SOS 81821 HAS SOPS 81821 HAS SOUS 28112 HAS SOUPS 28112 WITH SCORE 28193.821
AT ITER 3342 NEW BEST:: SOT 176597 SOS 81787 HAS SOPS 81787 HAS SOUS 28101 HAS SOUPS 28101 WITH SCORE 28182.787
AT ITER 3343 NEW BEST:: SOT 176477 SOS 81699 HAS SOPS 81699 HAS SOUS 28096 HAS SOUPS 28096 WITH SCORE 28177.699
AT ITER 3353 NEW BEST:: SOT 176481 SOS 81597 HAS SOPS 81597 HAS SOUS 28082 HAS SOUPS 28082 WITH SCORE 28163.597
AT ITER 3397 NEW BEST:: SOT 176377 SOS 81493 HAS SOPS 81493 HAS SOUS 27936 HAS SOUPS 27936 WITH SCORE 28017.493
AT ITER 3400 NEW BEST:: SOT 176350 SOS 81495 HAS SOPS 81495 HAS SOUS 27932 HAS SOUPS 27932 WITH SCORE 28013.495
AT ITER 3415 NEW BEST:: SOT 176311 SOS 81401 HAS SOPS 81401 HAS SOUS 27893 HAS SOUPS 27893 WITH SCORE 27974.401
AT ITER 3439 NEW BEST:: SOT 176293 SOS 81388 HAS SOPS 81388 HAS SOUS 27864 HAS SOUPS 27864 WITH SCORE 27945.388
AT ITER 3469 NEW BEST:: SOT 176290 SOS 81326 HAS SOPS 81326 HAS SOUS 27844 HAS SOUPS 27844 WITH SCORE 27925.326
AT ITER 3475 NEW BEST:: SOT 176212 SOS 81248 HAS SOPS 81248 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27907.248
AT ITER 3478 NEW BEST:: SOT 176237 SOS 81273 HAS SOPS 81273 HAS SOUS 27778 HAS SOUPS 27778 WITH SCORE 27859.273
AT ITER 3502 NEW BEST:: SOT 176180 SOS 81195 HAS SOPS 81195 HAS SOUS 27702 HAS SOUPS 27702 WITH SCORE 27783.195
AT ITER 3511 NEW BEST:: SOT 176171 SOS 81251 HAS SOPS 81251 HAS SOUS 27697 HAS SOUPS 27697 WITH SCORE 27778.251
AT ITER 3518 NEW BEST:: SOT 176091 SOS 80664 HAS SOPS 80664 HAS SOUS 27681 HAS SOUPS 27681 WITH SCORE 27761.664
AT ITER 3525 NEW BEST:: SOT 176075 SOS 81997 HAS SOPS 81997 HAS SOUS 27665 HAS SOUPS 27665 WITH SCORE 27746.997
AT ITER 3535 NEW BEST:: SOT 176063 SOS 81985 HAS SOPS 81985 HAS SOUS 27653 HAS SOUPS 27653 WITH SCORE 27734.985
AT ITER 3536 NEW BEST:: SOT 176053 SOS 81975 HAS SOPS 81975 HAS SOUS 27615 HAS SOUPS 27615 WITH SCORE 27696.975
AT ITER 3554 NEW BEST:: SOT 176051 SOS 81973 HAS SOPS 81973 HAS SOUS 27613 HAS SOUPS 27613 WITH SCORE 27694.973
AT ITER 3571 NEW BEST:: SOT 176051 SOS 81963 HAS SOPS 81963 HAS SOUS 27608 HAS SOUPS 27608 WITH SCORE 27689.963
AT ITER 3578 NEW BEST:: SOT 176028 SOS 81941 HAS SOPS 81941 HAS SOUS 27569 HAS SOUPS 27569 WITH SCORE 27650.941
AT ITER 3579 NEW BEST:: SOT 176002 SOS 81855 HAS SOPS 81855 HAS SOUS 27543 HAS SOUPS 27543 WITH SCORE 27624.855
AT ITER 3594 NEW BEST:: SOT 176002 SOS 81799 HAS SOPS 81799 HAS SOUS 27515 HAS SOUPS 27515 WITH SCORE 27596.799
AT ITER 3604 NEW BEST:: SOT 176134 SOS 81875 HAS SOPS 81875 HAS SOUS 27513 HAS SOUPS 27513 WITH SCORE 27594.875
AT ITER 3642 NEW BEST:: SOT 176131 SOS 81870 HAS SOPS 81870 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27589.87
AT ITER 3643 NEW BEST:: SOT 176087 SOS 81826 HAS SOPS 81826 HAS SOUS 27464 HAS SOUPS 27464 WITH SCORE 27545.826
AT ITER 3656 NEW BEST:: SOT 176077 SOS 81816 HAS SOPS 81816 HAS SOUS 27454 HAS SOUPS 27454 WITH SCORE 27535.816
AT ITER 3659 NEW BEST:: SOT 176077 SOS 81775 HAS SOPS 81775 HAS SOUS 27448 HAS SOUPS 27448 WITH SCORE 27529.775
AT ITER 3668 NEW BEST:: SOT 175373 SOS 85278 HAS SOPS 85278 HAS SOUS 27386 HAS SOUPS 27386 WITH SCORE 27471.278
AT ITER 3679 NEW BEST:: SOT 175384 SOS 85280 HAS SOPS 85280 HAS SOUS 27362 HAS SOUPS 27362 WITH SCORE 27447.28
AT ITER 3699 NEW BEST:: SOT 175384 SOS 85180 HAS SOPS 85180 HAS SOUS 27362 HAS SOUPS 27362 WITH SCORE 27447.18
AT ITER 3703 NEW BEST:: SOT 175242 SOS 85121 HAS SOPS 85121 HAS SOUS 27346 HAS SOUPS 27346 WITH SCORE 27431.121
AT ITER 3706 NEW BEST:: SOT 175177 SOS 85086 HAS SOPS 85086 HAS SOUS 27305 HAS SOUPS 27305 WITH SCORE 27390.086
AT ITER 3715 NEW BEST:: SOT 175265 SOS 85160 HAS SOPS 85160 HAS SOUS 27202 HAS SOUPS 27202 WITH SCORE 27287.16
AT ITER 3733 NEW BEST:: SOT 175312 SOS 85377 HAS SOPS 85377 HAS SOUS 27193 HAS SOUPS 27193 WITH SCORE 27278.377
AT ITER 3782 NEW BEST:: SOT 175284 SOS 85045 HAS SOPS 85045 HAS SOUS 27165 HAS SOUPS 27165 WITH SCORE 27250.045
AT ITER 3792 NEW BEST:: SOT 175352 SOS 83623 HAS SOPS 83623 HAS SOUS 27072 HAS SOUPS 27072 WITH SCORE 27155.623
AT ITER 3801 NEW BEST:: SOT 175388 SOS 83753 HAS SOPS 83753 HAS SOUS 27061 HAS SOUPS 27061 WITH SCORE 27144.753
AT ITER 3818 NEW BEST:: SOT 175394 SOS 83933 HAS SOPS 83933 HAS SOUS 26944 HAS SOUPS 26944 WITH SCORE 27027.933
AT ITER 3823 NEW BEST:: SOT 175394 SOS 83933 HAS SOPS 83933 HAS SOUS 26913 HAS SOUPS 26913 WITH SCORE 26996.933
AT ITER 3831 NEW BEST:: SOT 175392 SOS 83962 HAS SOPS 83962 HAS SOUS 26909 HAS SOUPS 26909 WITH SCORE 26992.962
AT ITER 3841 NEW BEST:: SOT 175364 SOS 83916 HAS SOPS 83916 HAS SOUS 26868 HAS SOUPS 26868 WITH SCORE 26951.916
AT ITER 3842 NEW BEST:: SOT 175361 SOS 83912 HAS SOPS 83912 HAS SOUS 26864 HAS SOUPS 26864 WITH SCORE 26947.912
AT ITER 3865 NEW BEST:: SOT 175361 SOS 83891 HAS SOPS 83891 HAS SOUS 26861 HAS SOUPS 26861 WITH SCORE 26944.891
AT ITER 3873 NEW BEST:: SOT 175335 SOS 83813 HAS SOPS 83813 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26905.813
AT ITER 3924 NEW BEST:: SOT 175335 SOS 83810 HAS SOPS 83810 HAS SOUS 26822 HAS SOUPS 26822 WITH SCORE 26905.81
AT ITER 3930 NEW BEST:: SOT 175301 SOS 83776 HAS SOPS 83776 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26871.776
AT ITER 3948 NEW BEST:: SOT 175301 SOS 83596 HAS SOPS 83596 HAS SOUS 26788 HAS SOUPS 26788 WITH SCORE 26871.596
AT ITER 3982 NEW BEST:: SOT 175357 SOS 83828 HAS SOPS 83828 HAS SOUS 26785 HAS SOUPS 26785 WITH SCORE 26868.828
AT ITER 3986 NEW BEST:: SOT 174954 SOS 83386 HAS SOPS 83386 HAS SOUS 26632 HAS SOUPS 26632 WITH SCORE 26715.386
AT ITER 3993 NEW BEST:: SOT 174954 SOS 83371 HAS SOPS 83371 HAS SOUS 26632 HAS SOUPS 26632 WITH SCORE 26715.371
AT ITER 4021 NEW BEST:: SOT 174932 SOS 83349 HAS SOPS 83349 HAS SOUS 26610 HAS SOUPS 26610 WITH SCORE 26693.349
AT ITER 4023 NEW BEST:: SOT 174929 SOS 83340 HAS SOPS 83340 HAS SOUS 26610 HAS SOUPS 26610 WITH SCORE 26693.34
AT ITER 4028 NEW BEST:: SOT 174929 SOS 83340 HAS SOPS 83340 HAS SOUS 26608 HAS SOUPS 26608 WITH SCORE 26691.34
AT ITER 4041 NEW BEST:: SOT 174927 SOS 83336 HAS SOPS 83336 HAS SOUS 26607 HAS SOUPS 26607 WITH SCORE 26690.336
AT ITER 4045 NEW BEST:: SOT 174836 SOS 83198 HAS SOPS 83198 HAS SOUS 26473 HAS SOUPS 26473 WITH SCORE 26556.198
AT ITER 4069 NEW BEST:: SOT 174798 SOS 83182 HAS SOPS 83182 HAS SOUS 26461 HAS SOUPS 26461 WITH SCORE 26544.182
AT ITER 4080 NEW BEST:: SOT 174798 SOS 83182 HAS SOPS 83182 HAS SOUS 26427 HAS SOUPS 26427 WITH SCORE 26510.182
AT ITER 4085 NEW BEST:: SOT 174798 SOS 83180 HAS SOPS 83180 HAS SOUS 26425 HAS SOUPS 26425 WITH SCORE 26508.18
AT ITER 4093 NEW BEST:: SOT 174794 SOS 83202 HAS SOPS 83202 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26504.202
AT ITER 4100 NEW BEST:: SOT 174790 SOS 83200 HAS SOPS 83200 HAS SOUS 26419 HAS SOUPS 26419 WITH SCORE 26502.2
AT ITER 4110 NEW BEST:: SOT 174764 SOS 83172 HAS SOPS 83172 HAS SOUS 26393 HAS SOUPS 26393 WITH SCORE 26476.172
AT ITER 4114 NEW BEST:: SOT 174764 SOS 83163 HAS SOPS 83163 HAS SOUS 26393 HAS SOUPS 26393 WITH SCORE 26476.163
AT ITER 4127 NEW BEST:: SOT 174645 SOS 82928 HAS SOPS 82928 HAS SOUS 26361 HAS SOUPS 26361 WITH SCORE 26443.928
AT ITER 4130 NEW BEST:: SOT 174645 SOS 82925 HAS SOPS 82925 HAS SOUS 26360 HAS SOUPS 26360 WITH SCORE 26442.925
AT ITER 4150 NEW BEST:: SOT 174623 SOS 82949 HAS SOPS 82949 HAS SOUS 26304 HAS SOUPS 26304 WITH SCORE 26386.949
AT ITER 4152 NEW BEST:: SOT 174630 SOS 82942 HAS SOPS 82942 HAS SOUS 26297 HAS SOUPS 26297 WITH SCORE 26379.942
AT ITER 4169 NEW BEST:: SOT 174584 SOS 82896 HAS SOPS 82896 HAS SOUS 26227 HAS SOUPS 26227 WITH SCORE 26309.896
AT ITER 4273 NEW BEST:: SOT 174584 SOS 82896 HAS SOPS 82896 HAS SOUS 26219 HAS SOUPS 26219 WITH SCORE 26301.896
AT ITER 4293 NEW BEST:: SOT 174526 SOS 82753 HAS SOPS 82753 HAS SOUS 26117 HAS SOUPS 26117 WITH SCORE 26199.753
AT ITER 4295 NEW BEST:: SOT 174513 SOS 81638 HAS SOPS 81638 HAS SOUS 26104 HAS SOUPS 26104 WITH SCORE 26185.638
AT ITER 4306 NEW BEST:: SOT 174507 SOS 81632 HAS SOPS 81632 HAS SOUS 26098 HAS SOUPS 26098 WITH SCORE 26179.632
AT ITER 4311 NEW BEST:: SOT 174524 SOS 81633 HAS SOPS 81633 HAS SOUS 26080 HAS SOUPS 26080 WITH SCORE 26161.633
AT ITER 4322 NEW BEST:: SOT 174584 SOS 81621 HAS SOPS 81621 HAS SOUS 26069 HAS SOUPS 26069 WITH SCORE 26150.621
AT ITER 4330 NEW BEST:: SOT 174584 SOS 81621 HAS SOPS 81621 HAS SOUS 26067 HAS SOUPS 26067 WITH SCORE 26148.621
AT ITER 4333 NEW BEST:: SOT 174584 SOS 81517 HAS SOPS 81517 HAS SOUS 26041 HAS SOUPS 26041 WITH SCORE 26122.517
AT ITER 4336 NEW BEST:: SOT 174449 SOS 81265 HAS SOPS 81265 HAS SOUS 26016 HAS SOUPS 26016 WITH SCORE 26097.265
AT ITER 4338 NEW BEST:: SOT 174376 SOS 81192 HAS SOPS 81192 HAS SOUS 25983 HAS SOUPS 25983 WITH SCORE 26064.192
AT ITER 4357 NEW BEST:: SOT 174362 SOS 81178 HAS SOPS 81178 HAS SOUS 25937 HAS SOUPS 25937 WITH SCORE 26018.178
AT ITER 4387 NEW BEST:: SOT 174352 SOS 81158 HAS SOPS 81158 HAS SOUS 25927 HAS SOUPS 25927 WITH SCORE 26008.158
AT ITER 4393 NEW BEST:: SOT 174332 SOS 81138 HAS SOPS 81138 HAS SOUS 25907 HAS SOUPS 25907 WITH SCORE 25988.138
AT ITER 4426 NEW BEST:: SOT 174305 SOS 80480 HAS SOPS 80480 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25986.48
AT ITER 4429 NEW BEST:: SOT 174292 SOS 80454 HAS SOPS 80454 HAS SOUS 25893 HAS SOUPS 25893 WITH SCORE 25973.454
AT ITER 4430 NEW BEST:: SOT 174286 SOS 80522 HAS SOPS 80522 HAS SOUS 25887 HAS SOUPS 25887 WITH SCORE 25967.522
AT ITER 4438 NEW BEST:: SOT 174270 SOS 80475 HAS SOPS 80475 HAS SOUS 25871 HAS SOUPS 25871 WITH SCORE 25951.475
AT ITER 4444 NEW BEST:: SOT 174270 SOS 80519 HAS SOPS 80519 HAS SOUS 25869 HAS SOUPS 25869 WITH SCORE 25949.519
AT ITER 4484 NEW BEST:: SOT 174084 SOS 80333 HAS SOPS 80333 HAS SOUS 25860 HAS SOUPS 25860 WITH SCORE 25940.333
AT ITER 4498 NEW BEST:: SOT 174061 SOS 80310 HAS SOPS 80310 HAS SOUS 25852 HAS SOUPS 25852 WITH SCORE 25932.31
AT ITER 4504 NEW BEST:: SOT 174068 SOS 80317 HAS SOPS 80317 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25923.317
AT ITER 4557 NEW BEST:: SOT 174067 SOS 80316 HAS SOPS 80316 HAS SOUS 25840 HAS SOUPS 25840 WITH SCORE 25920.316
AT ITER 4559 NEW BEST:: SOT 174013 SOS 80274 HAS SOPS 80274 HAS SOUS 25823 HAS SOUPS 25823 WITH SCORE 25903.274
AT ITER 4562 NEW BEST:: SOT 174013 SOS 80274 HAS SOPS 80274 HAS SOUS 25822 HAS SOUPS 25822 WITH SCORE 25902.274
AT ITER 4570 NEW BEST:: SOT 173928 SOS 80204 HAS SOPS 80204 HAS SOUS 25812 HAS SOUPS 25812 WITH SCORE 25892.204
AT ITER 4603 NEW BEST:: SOT 173889 SOS 80168 HAS SOPS 80168 HAS SOUS 25791 HAS SOUPS 25791 WITH SCORE 25871.168
AT ITER 4611 NEW BEST:: SOT 173837 SOS 80092 HAS SOPS 80092 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25833.092
AT ITER 4641 NEW BEST:: SOT 173833 SOS 79968 HAS SOPS 79968 HAS SOUS 25749 HAS SOUPS 25749 WITH SCORE 25828.968
AT ITER 4657 NEW BEST:: SOT 173827 SOS 79944 HAS SOPS 79944 HAS SOUS 25743 HAS SOUPS 25743 WITH SCORE 25822.944
AT ITER 4685 NEW BEST:: SOT 173831 SOS 79942 HAS SOPS 79942 HAS SOUS 25737 HAS SOUPS 25737 WITH SCORE 25816.942
AT ITER 4701 NEW BEST:: SOT 173868 SOS 79979 HAS SOPS 79979 HAS SOUS 25699 HAS SOUPS 25699 WITH SCORE 25778.979
AT ITER 4708 NEW BEST:: SOT 173858 SOS 79969 HAS SOPS 79969 HAS SOUS 25694 HAS SOUPS 25694 WITH SCORE 25773.969
AT ITER 4715 NEW BEST:: SOT 173873 SOS 80070 HAS SOPS 80070 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25761.07
AT ITER 4728 NEW BEST:: SOT 173872 SOS 80068 HAS SOPS 80068 HAS SOUS 25680 HAS SOUPS 25680 WITH SCORE 25760.068
AT ITER 4771 NEW BEST:: SOT 173863 SOS 80068 HAS SOPS 80068 HAS SOUS 25671 HAS SOUPS 25671 WITH SCORE 25751.068
AT ITER 4826 NEW BEST:: SOT 173811 SOS 80016 HAS SOPS 80016 HAS SOUS 25629 HAS SOUPS 25629 WITH SCORE 25709.016
AT ITER 4827 NEW BEST:: SOT 173770 SOS 80235 HAS SOPS 80235 HAS SOUS 25624 HAS SOUPS 25624 WITH SCORE 25704.235
AT ITER 4830 NEW BEST:: SOT 173779 SOS 80305 HAS SOPS 80305 HAS SOUS 25615 HAS SOUPS 25615 WITH SCORE 25695.305
AT ITER 4835 NEW BEST:: SOT 173771 SOS 80281 HAS SOPS 80281 HAS SOUS 25591 HAS SOUPS 25591 WITH SCORE 25671.281
AT ITER 4841 NEW BEST:: SOT 173708 SOS 80240 HAS SOPS 80240 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25661.24
AT ITER 4864 NEW BEST:: SOT 173708 SOS 80220 HAS SOPS 80220 HAS SOUS 25581 HAS SOUPS 25581 WITH SCORE 25661.22
AT ITER 4875 NEW BEST:: SOT 173702 SOS 80214 HAS SOPS 80214 HAS SOUS 25577 HAS SOUPS 25577 WITH SCORE 25657.214
AT ITER 4876 NEW BEST:: SOT 173698 SOS 80215 HAS SOPS 80215 HAS SOUS 25570 HAS SOUPS 25570 WITH SCORE 25650.215
AT ITER 4903 NEW BEST:: SOT 173730 SOS 80171 HAS SOPS 80171 HAS SOUS 25562 HAS SOUPS 25562 WITH SCORE 25642.171
AT ITER 4904 NEW BEST:: SOT 173700 SOS 80113 HAS SOPS 80113 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25616.113
AT ITER 4922 NEW BEST:: SOT 173731 SOS 80082 HAS SOPS 80082 HAS SOUS 25505 HAS SOUPS 25505 WITH SCORE 25585.082
AT ITER 4956 NEW BEST:: SOT 173731 SOS 80082 HAS SOPS 80082 HAS SOUS 25502 HAS SOUPS 25502 WITH SCORE 25582.082
AT ITER 4973 NEW BEST:: SOT 173717 SOS 80060 HAS SOPS 80060 HAS SOUS 25484 HAS SOUPS 25484 WITH SCORE 25564.06
AT ITER 4990 NEW BEST:: SOT 173704 SOS 80034 HAS SOPS 80034 HAS SOUS 25483 HAS SOUPS 25483 WITH SCORE 25563.034
AT ITER 5006 NEW BEST:: SOT 173688 SOS 79935 HAS SOPS 79935 HAS SOUS 25477 HAS SOUPS 25477 WITH SCORE 25556.935
AT ITER 5020 NEW BEST:: SOT 173683 SOS 79898 HAS SOPS 79898 HAS SOUS 25467 HAS SOUPS 25467 WITH SCORE 25546.898
AT ITER 5039 NEW BEST:: SOT 173679 SOS 79894 HAS SOPS 79894 HAS SOUS 25461 HAS SOUPS 25461 WITH SCORE 25540.894
AT ITER 5054 NEW BEST:: SOT 173474 SOS 79689 HAS SOPS 79689 HAS SOUS 25353 HAS SOUPS 25353 WITH SCORE 25432.689
AT ITER 5075 NEW BEST:: SOT 173438 SOS 79573 HAS SOPS 79573 HAS SOUS 25317 HAS SOUPS 25317 WITH SCORE 25396.573
AT ITER 5077 NEW BEST:: SOT 173434 SOS 79569 HAS SOPS 79569 HAS SOUS 25313 HAS SOUPS 25313 WITH SCORE 25392.569
AT ITER 5105 NEW BEST:: SOT 173423 SOS 79580 HAS SOPS 79580 HAS SOUS 25291 HAS SOUPS 25291 WITH SCORE 25370.58
AT ITER 5137 NEW BEST:: SOT 173423 SOS 79608 HAS SOPS 79608 HAS SOUS 25263 HAS SOUPS 25263 WITH SCORE 25342.608
AT ITER 5143 NEW BEST:: SOT 173413 SOS 79598 HAS SOPS 79598 HAS SOUS 25258 HAS SOUPS 25258 WITH SCORE 25337.598
AT ITER 5168 NEW BEST:: SOT 173424 SOS 79574 HAS SOPS 79574 HAS SOUS 25238 HAS SOUPS 25238 WITH SCORE 25317.574
AT ITER 5179 NEW BEST:: SOT 173430 SOS 79566 HAS SOPS 79566 HAS SOUS 25234 HAS SOUPS 25234 WITH SCORE 25313.566
AT ITER 5193 NEW BEST:: SOT 173430 SOS 79576 HAS SOPS 79576 HAS SOUS 25224 HAS SOUPS 25224 WITH SCORE 25303.576
AT ITER 5215 NEW BEST:: SOT 173442 SOS 79582 HAS SOPS 79582 HAS SOUS 25212 HAS SOUPS 25212 WITH SCORE 25291.582
AT ITER 5245 NEW BEST:: SOT 173442 SOS 79582 HAS SOPS 79582 HAS SOUS 25210 HAS SOUPS 25210 WITH SCORE 25289.582
AT ITER 5262 NEW BEST:: SOT 173419 SOS 79588 HAS SOPS 79588 HAS SOUS 25193 HAS SOUPS 25193 WITH SCORE 25272.588
AT ITER 5279 NEW BEST:: SOT 173390 SOS 79513 HAS SOPS 79513 HAS SOUS 25164 HAS SOUPS 25164 WITH SCORE 25243.513
AT ITER 5321 NEW BEST:: SOT 173347 SOS 79267 HAS SOPS 79267 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25200.267
AT ITER 5334 NEW BEST:: SOT 173357 SOS 79277 HAS SOPS 79277 HAS SOUS 25101 HAS SOUPS 25101 WITH SCORE 25180.277
AT ITER 5342 NEW BEST:: SOT 173358 SOS 79261 HAS SOPS 79261 HAS SOUS 25090 HAS SOUPS 25090 WITH SCORE 25169.261
AT ITER 5343 NEW BEST:: SOT 173358 SOS 79245 HAS SOPS 79245 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25159.245
AT ITER 5390 NEW BEST:: SOT 173363 SOS 79252 HAS SOPS 79252 HAS SOUS 25068 HAS SOUPS 25068 WITH SCORE 25147.252
AT ITER 5413 NEW BEST:: SOT 173272 SOS 79121 HAS SOPS 79121 HAS SOUS 25047 HAS SOUPS 25047 WITH SCORE 25126.121
AT ITER 5456 NEW BEST:: SOT 173272 SOS 79166 HAS SOPS 79166 HAS SOUS 25037 HAS SOUPS 25037 WITH SCORE 25116.166
AT ITER 5490 NEW BEST:: SOT 173362 SOS 79271 HAS SOPS 79271 HAS SOUS 25033 HAS SOUPS 25033 WITH SCORE 25112.271
AT ITER 5493 NEW BEST:: SOT 173376 SOS 79331 HAS SOPS 79331 HAS SOUS 25025 HAS SOUPS 25025 WITH SCORE 25104.331
AT ITER 5496 NEW BEST:: SOT 173273 SOS 79127 HAS SOPS 79127 HAS SOUS 24999 HAS SOUPS 24999 WITH SCORE 25078.127
AT ITER 5509 NEW BEST:: SOT 173273 SOS 79127 HAS SOPS 79127 HAS SOUS 24997 HAS SOUPS 24997 WITH SCORE 25076.127
AT ITER 5519 NEW BEST:: SOT 173273 SOS 79099 HAS SOPS 79099 HAS SOUS 24997 HAS SOUPS 24997 WITH SCORE 25076.099
AT ITER 5536 NEW BEST:: SOT 173281 SOS 79010 HAS SOPS 79010 HAS SOUS 24995 HAS SOUPS 24995 WITH SCORE 25074.01
AT ITER 5556 NEW BEST:: SOT 173265 SOS 78994 HAS SOPS 78994 HAS SOUS 24979 HAS SOUPS 24979 WITH SCORE 25057.994
AT ITER 5611 NEW BEST:: SOT 173254 SOS 78961 HAS SOPS 78961 HAS SOUS 24957 HAS SOUPS 24957 WITH SCORE 25035.961
AT ITER 5654 NEW BEST:: SOT 173200 SOS 78907 HAS SOPS 78907 HAS SOUS 24957 HAS SOUPS 24957 WITH SCORE 25035.907
AT ITER 5657 NEW BEST:: SOT 173200 SOS 78903 HAS SOPS 78903 HAS SOUS 24957 HAS SOUPS 24957 WITH SCORE 25035.903
AT ITER 5661 NEW BEST:: SOT 173182 SOS 79077 HAS SOPS 79077 HAS SOUS 24951 HAS SOUPS 24951 WITH SCORE 25030.077
AT ITER 5667 NEW BEST:: SOT 173178 SOS 79111 HAS SOPS 79111 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24979.111
AT ITER 5673 NEW BEST:: SOT 173151 SOS 79057 HAS SOPS 79057 HAS SOUS 24873 HAS SOUPS 24873 WITH SCORE 24952.057
AT ITER 5715 NEW BEST:: SOT 173145 SOS 79045 HAS SOPS 79045 HAS SOUS 24867 HAS SOUPS 24867 WITH SCORE 24946.045
AT ITER 5721 NEW BEST:: SOT 173127 SOS 78952 HAS SOPS 78952 HAS SOUS 24835 HAS SOUPS 24835 WITH SCORE 24913.952
AT ITER 5743 NEW BEST:: SOT 173117 SOS 78932 HAS SOPS 78932 HAS SOUS 24815 HAS SOUPS 24815 WITH SCORE 24893.932
AT ITER 5745 NEW BEST:: SOT 173027 SOS 78808 HAS SOPS 78808 HAS SOUS 24717 HAS SOUPS 24717 WITH SCORE 24795.808
AT ITER 5768 NEW BEST:: SOT 173022 SOS 78800 HAS SOPS 78800 HAS SOUS 24716 HAS SOUPS 24716 WITH SCORE 24794.8
AT ITER 5795 NEW BEST:: SOT 173020 SOS 78488 HAS SOPS 78488 HAS SOUS 24706 HAS SOUPS 24706 WITH SCORE 24784.488
AT ITER 5811 NEW BEST:: SOT 173062 SOS 78532 HAS SOPS 78532 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24760.532
AT ITER 5818 NEW BEST:: SOT 173028 SOS 78488 HAS SOPS 78488 HAS SOUS 24649 HAS SOUPS 24649 WITH SCORE 24727.488
AT ITER 5857 NEW BEST:: SOT 172997 SOS 78458 HAS SOPS 78458 HAS SOUS 24646 HAS SOUPS 24646 WITH SCORE 24724.458
AT ITER 5913 NEW BEST:: SOT 172983 SOS 78426 HAS SOPS 78426 HAS SOUS 24596 HAS SOUPS 24596 WITH SCORE 24674.426
AT ITER 5917 NEW BEST:: SOT 172982 SOS 78448 HAS SOPS 78448 HAS SOUS 24583 HAS SOUPS 24583 WITH SCORE 24661.448
AT ITER 5952 NEW BEST:: SOT 172914 SOS 78324 HAS SOPS 78324 HAS SOUS 24555 HAS SOUPS 24555 WITH SCORE 24633.324
AT ITER 5958 NEW BEST:: SOT 172891 SOS 78300 HAS SOPS 78300 HAS SOUS 24528 HAS SOUPS 24528 WITH SCORE 24606.3
AT ITER 5965 NEW BEST:: SOT 172924 SOS 78621 HAS SOPS 78621 HAS SOUS 24519 HAS SOUPS 24519 WITH SCORE 24597.621
AT ITER 5971 NEW BEST:: SOT 172871 SOS 78568 HAS SOPS 78568 HAS SOUS 24510 HAS SOUPS 24510 WITH SCORE 24588.568
AT ITER 5972 NEW BEST:: SOT 172667 SOS 79927 HAS SOPS 79927 HAS SOUS 24481 HAS SOUPS 24481 WITH SCORE 24560.927
AT ITER 5994 NEW BEST:: SOT 172655 SOS 79891 HAS SOPS 79891 HAS SOUS 24468 HAS SOUPS 24468 WITH SCORE 24547.891
AT ITER 6009 NEW BEST:: SOT 172609 SOS 79753 HAS SOPS 79753 HAS SOUS 24422 HAS SOUPS 24422 WITH SCORE 24501.753
AT ITER 6013 NEW BEST:: SOT 172612 SOS 79756 HAS SOPS 79756 HAS SOUS 24415 HAS SOUPS 24415 WITH SCORE 24494.756
AT ITER 6027 NEW BEST:: SOT 172634 SOS 79778 HAS SOPS 79778 HAS SOUS 24413 HAS SOUPS 24413 WITH SCORE 24492.778
AT ITER 6033 NEW BEST:: SOT 172617 SOS 79778 HAS SOPS 79778 HAS SOUS 24407 HAS SOUPS 24407 WITH SCORE 24486.778
AT ITER 6043 NEW BEST:: SOT 172614 SOS 79737 HAS SOPS 79737 HAS SOUS 24270 HAS SOUPS 24270 WITH SCORE 24349.737
AT ITER 6062 NEW BEST:: SOT 172597 SOS 79698 HAS SOPS 79698 HAS SOUS 24233 HAS SOUPS 24233 WITH SCORE 24312.698
AT ITER 6070 NEW BEST:: SOT 172587 SOS 79688 HAS SOPS 79688 HAS SOUS 24223 HAS SOUPS 24223 WITH SCORE 24302.688
AT ITER 6071 NEW BEST:: SOT 172457 SOS 79615 HAS SOPS 79615 HAS SOUS 24132 HAS SOUPS 24132 WITH SCORE 24211.615
AT ITER 6088 NEW BEST:: SOT 172471 SOS 79636 HAS SOPS 79636 HAS SOUS 24118 HAS SOUPS 24118 WITH SCORE 24197.636
AT ITER 6143 NEW BEST:: SOT 172471 SOS 79636 HAS SOPS 79636 HAS SOUS 24084 HAS SOUPS 24084 WITH SCORE 24163.636
AT ITER 6173 NEW BEST:: SOT 172433 SOS 79598 HAS SOPS 79598 HAS SOUS 24062 HAS SOUPS 24062 WITH SCORE 24141.598
AT ITER 6198 NEW BEST:: SOT 172413 SOS 79582 HAS SOPS 79582 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24098.582
AT ITER 6209 NEW BEST:: SOT 172404 SOS 79506 HAS SOPS 79506 HAS SOUS 24007 HAS SOUPS 24007 WITH SCORE 24086.506
AT ITER 6215 NEW BEST:: SOT 172335 SOS 79004 HAS SOPS 79004 HAS SOUS 23983 HAS SOUPS 23983 WITH SCORE 24062.004
AT ITER 6218 NEW BEST:: SOT 172335 SOS 78988 HAS SOPS 78988 HAS SOUS 23975 HAS SOUPS 23975 WITH SCORE 24053.988
AT ITER 6230 NEW BEST:: SOT 172336 SOS 78957 HAS SOPS 78957 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 24038.957
AT ITER 6268 NEW BEST:: SOT 172336 SOS 78897 HAS SOPS 78897 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 24038.897
AT ITER 6323 NEW BEST:: SOT 172297 SOS 79089 HAS SOPS 79089 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 24013.089
AT ITER 6377 NEW BEST:: SOT 172299 SOS 79049 HAS SOPS 79049 HAS SOUS 23880 HAS SOUPS 23880 WITH SCORE 23959.049
AT ITER 6386 NEW BEST:: SOT 172247 SOS 78965 HAS SOPS 78965 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23845.965
AT ITER 6388 NEW BEST:: SOT 172253 SOS 78959 HAS SOPS 78959 HAS SOUS 23767 HAS SOUPS 23767 WITH SCORE 23845.959
AT ITER 6432 NEW BEST:: SOT 172252 SOS 78957 HAS SOPS 78957 HAS SOUS 23766 HAS SOUPS 23766 WITH SCORE 23844.957
AT ITER 6465 NEW BEST:: SOT 172250 SOS 78955 HAS SOPS 78955 HAS SOUS 23764 HAS SOUPS 23764 WITH SCORE 23842.955
AT ITER 6501 NEW BEST:: SOT 172296 SOS 78901 HAS SOPS 78901 HAS SOUS 23760 HAS SOUPS 23760 WITH SCORE 23838.901
AT ITER 6508 NEW BEST:: SOT 172296 SOS 78785 HAS SOPS 78785 HAS SOUS 23754 HAS SOUPS 23754 WITH SCORE 23832.785
AT ITER 6591 NEW BEST:: SOT 172302 SOS 78791 HAS SOPS 78791 HAS SOUS 23737 HAS SOUPS 23737 WITH SCORE 23815.791
AT ITER 6600 NEW BEST:: SOT 172298 SOS 78803 HAS SOPS 78803 HAS SOUS 23733 HAS SOUPS 23733 WITH SCORE 23811.803
AT ITER 6620 NEW BEST:: SOT 172169 SOS 77816 HAS SOPS 77816 HAS SOUS 23661 HAS SOUPS 23661 WITH SCORE 23738.816
AT ITER 6652 NEW BEST:: SOT 172051 SOS 77993 HAS SOPS 77993 HAS SOUS 23606 HAS SOUPS 23606 WITH SCORE 23683.993
AT ITER 6662 NEW BEST:: SOT 172051 SOS 77983 HAS SOPS 77983 HAS SOUS 23606 HAS SOUPS 23606 WITH SCORE 23683.983
AT ITER 6722 NEW BEST:: SOT 172051 SOS 77983 HAS SOPS 77983 HAS SOUS 23605 HAS SOUPS 23605 WITH SCORE 23682.983
AT ITER 6729 NEW BEST:: SOT 172029 SOS 77957 HAS SOPS 77957 HAS SOUS 23583 HAS SOUPS 23583 WITH SCORE 23660.957
AT ITER 6822 NEW BEST:: SOT 172029 SOS 77969 HAS SOPS 77969 HAS SOUS 23577 HAS SOUPS 23577 WITH SCORE 23654.969
AT ITER 6833 NEW BEST:: SOT 172058 SOS 77940 HAS SOPS 77940 HAS SOUS 23548 HAS SOUPS 23548 WITH SCORE 23625.94
AT ITER 6842 NEW BEST:: SOT 172049 SOS 77931 HAS SOPS 77931 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23610.931
AT ITER 6863 NEW BEST:: SOT 172033 SOS 77887 HAS SOPS 77887 HAS SOUS 23521 HAS SOUPS 23521 WITH SCORE 23598.887
AT ITER 6876 NEW BEST:: SOT 172027 SOS 77881 HAS SOPS 77881 HAS SOUS 23515 HAS SOUPS 23515 WITH SCORE 23592.881
AT ITER 6883 NEW BEST:: SOT 172045 SOS 77839 HAS SOPS 77839 HAS SOUS 23515 HAS SOUPS 23515 WITH SCORE 23592.839
AT ITER 6937 NEW BEST:: SOT 172045 SOS 77839 HAS SOPS 77839 HAS SOUS 23501 HAS SOUPS 23501 WITH SCORE 23578.839
AT ITER 6942 NEW BEST:: SOT 172045 SOS 77839 HAS SOPS 77839 HAS SOUS 23499 HAS SOUPS 23499 WITH SCORE 23576.839
AT ITER 6949 NEW BEST:: SOT 172040 SOS 77833 HAS SOPS 77833 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23574.833
AT ITER 6961 NEW BEST:: SOT 172040 SOS 77827 HAS SOPS 77827 HAS SOUS 23497 HAS SOUPS 23497 WITH SCORE 23574.827
AT ITER 6970 NEW BEST:: SOT 172040 SOS 77819 HAS SOPS 77819 HAS SOUS 23489 HAS SOUPS 23489 WITH SCORE 23566.819
AT ITER 6992 NEW BEST:: SOT 172065 SOS 77761 HAS SOPS 77761 HAS SOUS 23469 HAS SOUPS 23469 WITH SCORE 23546.761
AT ITER 6995 NEW BEST:: SOT 172055 SOS 77756 HAS SOPS 77756 HAS SOUS 23464 HAS SOUPS 23464 WITH SCORE 23541.756
AT ITER 6997 NEW BEST:: SOT 172159 SOS 78052 HAS SOPS 78052 HAS SOUS 23424 HAS SOUPS 23424 WITH SCORE 23502.052
AT ITER 7025 NEW BEST:: SOT 172103 SOS 77976 HAS SOPS 77976 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23437.976
AT ITER 7065 NEW BEST:: SOT 172001 SOS 78096 HAS SOPS 78096 HAS SOUS 23335 HAS SOUPS 23335 WITH SCORE 23413.096
AT ITER 7074 NEW BEST:: SOT 171996 SOS 78091 HAS SOPS 78091 HAS SOUS 23312 HAS SOUPS 23312 WITH SCORE 23390.091
AT ITER 7098 NEW BEST:: SOT 171988 SOS 78083 HAS SOPS 78083 HAS SOUS 23300 HAS SOUPS 23300 WITH SCORE 23378.083
AT ITER 7106 NEW BEST:: SOT 171983 SOS 78073 HAS SOPS 78073 HAS SOUS 23285 HAS SOUPS 23285 WITH SCORE 23363.073
AT ITER 7109 NEW BEST:: SOT 171947 SOS 78019 HAS SOPS 78019 HAS SOUS 23240 HAS SOUPS 23240 WITH SCORE 23318.019
AT ITER 7164 NEW BEST:: SOT 171944 SOS 78013 HAS SOPS 78013 HAS SOUS 23240 HAS SOUPS 23240 WITH SCORE 23318.013
AT ITER 7221 NEW BEST:: SOT 171976 SOS 77976 HAS SOPS 77976 HAS SOUS 23239 HAS SOUPS 23239 WITH SCORE 23316.976
AT ITER 7232 NEW BEST:: SOT 171967 SOS 77966 HAS SOPS 77966 HAS SOUS 23230 HAS SOUPS 23230 WITH SCORE 23307.966
AT ITER 7244 NEW BEST:: SOT 172090 SOS 77916 HAS SOPS 77916 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23301.916
AT ITER 7285 NEW BEST:: SOT 172018 SOS 77790 HAS SOPS 77790 HAS SOUS 23224 HAS SOUPS 23224 WITH SCORE 23301.79
AT ITER 7378 NEW BEST:: SOT 171982 SOS 77766 HAS SOPS 77766 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23261.766
AT ITER 7380 NEW BEST:: SOT 171968 SOS 77833 HAS SOPS 77833 HAS SOUS 23170 HAS SOUPS 23170 WITH SCORE 23247.833
AT ITER 7421 NEW BEST:: SOT 171960 SOS 77825 HAS SOPS 77825 HAS SOUS 23162 HAS SOUPS 23162 WITH SCORE 23239.825
AT ITER 7435 NEW BEST:: SOT 171958 SOS 77713 HAS SOPS 77713 HAS SOUS 23158 HAS SOUPS 23158 WITH SCORE 23235.713
AT ITER 7439 NEW BEST:: SOT 171923 SOS 77661 HAS SOPS 77661 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23220.661
AT ITER 7492 NEW BEST:: SOT 171923 SOS 77649 HAS SOPS 77649 HAS SOUS 23141 HAS SOUPS 23141 WITH SCORE 23218.649
AT ITER 7537 NEW BEST:: SOT 171914 SOS 77631 HAS SOPS 77631 HAS SOUS 23132 HAS SOUPS 23132 WITH SCORE 23209.631
AT ITER 7539 NEW BEST:: SOT 171944 SOS 77548 HAS SOPS 77548 HAS SOUS 23111 HAS SOUPS 23111 WITH SCORE 23188.548
AT ITER 7584 NEW BEST:: SOT 171941 SOS 77607 HAS SOPS 77607 HAS SOUS 23088 HAS SOUPS 23088 WITH SCORE 23165.607
AT ITER 7656 NEW BEST:: SOT 171947 SOS 77451 HAS SOPS 77451 HAS SOUS 23073 HAS SOUPS 23073 WITH SCORE 23150.451
AT ITER 7701 NEW BEST:: SOT 171945 SOS 77455 HAS SOPS 77455 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23146.455
AT ITER 7732 NEW BEST:: SOT 171929 SOS 77439 HAS SOPS 77439 HAS SOUS 23053 HAS SOUPS 23053 WITH SCORE 23130.439
AT ITER 7745 NEW BEST:: SOT 171925 SOS 77435 HAS SOPS 77435 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23114.435
AT ITER 7773 NEW BEST:: SOT 171925 SOS 77401 HAS SOPS 77401 HAS SOUS 23037 HAS SOUPS 23037 WITH SCORE 23114.401
AT ITER 7788 NEW BEST:: SOT 171923 SOS 77377 HAS SOPS 77377 HAS SOUS 23030 HAS SOUPS 23030 WITH SCORE 23107.377
AT ITER 7795 NEW BEST:: SOT 171904 SOS 77372 HAS SOPS 77372 HAS SOUS 22995 HAS SOUPS 22995 WITH SCORE 23072.372
AT ITER 7817 NEW BEST:: SOT 171916 SOS 77384 HAS SOPS 77384 HAS SOUS 22969 HAS SOUPS 22969 WITH SCORE 23046.384
AT ITER 7850 NEW BEST:: SOT 171910 SOS 77372 HAS SOPS 77372 HAS SOUS 22968 HAS SOUPS 22968 WITH SCORE 23045.372
AT ITER 7862 NEW BEST:: SOT 171903 SOS 77306 HAS SOPS 77306 HAS SOUS 22961 HAS SOUPS 22961 WITH SCORE 23038.306
AT ITER 7961 NEW BEST:: SOT 171890 SOS 77254 HAS SOPS 77254 HAS SOUS 22948 HAS SOUPS 22948 WITH SCORE 23025.254
AT ITER 7972 NEW BEST:: SOT 171874 SOS 77222 HAS SOPS 77222 HAS SOUS 22932 HAS SOUPS 22932 WITH SCORE 23009.222
AT ITER 7991 NEW BEST:: SOT 171839 SOS 77167 HAS SOPS 77167 HAS SOUS 22912 HAS SOUPS 22912 WITH SCORE 22989.167
AT ITER 8058 NEW BEST:: SOT 171438 SOS 80426 HAS SOPS 80426 HAS SOUS 22878 HAS SOUPS 22878 WITH SCORE 22958.426
AT ITER 8072 NEW BEST:: SOT 171444 SOS 80432 HAS SOPS 80432 HAS SOUS 22870 HAS SOUPS 22870 WITH SCORE 22950.432
AT ITER 8103 NEW BEST:: SOT 171444 SOS 80392 HAS SOPS 80392 HAS SOUS 22870 HAS SOUPS 22870 WITH SCORE 22950.392
AT ITER 8110 NEW BEST:: SOT 171440 SOS 80360 HAS SOPS 80360 HAS SOUS 22862 HAS SOUPS 22862 WITH SCORE 22942.36
AT ITER 8154 NEW BEST:: SOT 171389 SOS 80303 HAS SOPS 80303 HAS SOUS 22838 HAS SOUPS 22838 WITH SCORE 22918.303
AT ITER 8159 NEW BEST:: SOT 171377 SOS 80291 HAS SOPS 80291 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22899.291
AT ITER 8169 NEW BEST:: SOT 171388 SOS 80269 HAS SOPS 80269 HAS SOUS 22819 HAS SOUPS 22819 WITH SCORE 22899.269
AT ITER 8214 NEW BEST:: SOT 171380 SOS 80261 HAS SOPS 80261 HAS SOUS 22811 HAS SOUPS 22811 WITH SCORE 22891.261
AT ITER 8228 NEW BEST:: SOT 171380 SOS 80297 HAS SOPS 80297 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22879.297
AT ITER 8229 NEW BEST:: SOT 171396 SOS 80315 HAS SOPS 80315 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22868.315
AT ITER 8306 NEW BEST:: SOT 171257 SOS 81687 HAS SOPS 81687 HAS SOUS 22771 HAS SOUPS 22771 WITH SCORE 22852.687
AT ITER 8324 NEW BEST:: SOT 171251 SOS 81681 HAS SOPS 81681 HAS SOUS 22757 HAS SOUPS 22757 WITH SCORE 22838.681
AT ITER 8330 NEW BEST:: SOT 171197 SOS 81609 HAS SOPS 81609 HAS SOUS 22720 HAS SOUPS 22720 WITH SCORE 22801.609
AT ITER 8331 NEW BEST:: SOT 171189 SOS 81647 HAS SOPS 81647 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22794.647
AT ITER 8368 NEW BEST:: SOT 171204 SOS 81321 HAS SOPS 81321 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22794.321
AT ITER 8403 NEW BEST:: SOT 171195 SOS 81271 HAS SOPS 81271 HAS SOUS 22694 HAS SOUPS 22694 WITH SCORE 22775.271
AT ITER 8451 NEW BEST:: SOT 171194 SOS 81273 HAS SOPS 81273 HAS SOUS 22693 HAS SOUPS 22693 WITH SCORE 22774.273
AT ITER 8459 NEW BEST:: SOT 171156 SOS 81043 HAS SOPS 81043 HAS SOUS 22568 HAS SOUPS 22568 WITH SCORE 22649.043
AT ITER 8503 NEW BEST:: SOT 171140 SOS 81015 HAS SOPS 81015 HAS SOUS 22561 HAS SOUPS 22561 WITH SCORE 22642.015
AT ITER 8555 NEW BEST:: SOT 171133 SOS 81041 HAS SOPS 81041 HAS SOUS 22537 HAS SOUPS 22537 WITH SCORE 22618.041
AT ITER 8651 NEW BEST:: SOT 171119 SOS 81013 HAS SOPS 81013 HAS SOUS 22529 HAS SOUPS 22529 WITH SCORE 22610.013
AT ITER 8683 NEW BEST:: SOT 171119 SOS 81007 HAS SOPS 81007 HAS SOUS 22527 HAS SOUPS 22527 WITH SCORE 22608.007
AT ITER 8728 NEW BEST:: SOT 171109 SOS 80988 HAS SOPS 80988 HAS SOUS 22526 HAS SOUPS 22526 WITH SCORE 22606.988
AT ITER 8815 NEW BEST:: SOT 171109 SOS 81129 HAS SOPS 81129 HAS SOUS 22479 HAS SOUPS 22479 WITH SCORE 22560.129
AT ITER 8843 NEW BEST:: SOT 171109 SOS 81129 HAS SOPS 81129 HAS SOUS 22478 HAS SOUPS 22478 WITH SCORE 22559.129
AT ITER 8859 NEW BEST:: SOT 171097 SOS 81121 HAS SOPS 81121 HAS SOUS 22462 HAS SOUPS 22462 WITH SCORE 22543.121
AT ITER 8865 NEW BEST:: SOT 171091 SOS 81115 HAS SOPS 81115 HAS SOUS 22453 HAS SOUPS 22453 WITH SCORE 22534.115
AT ITER 8907 NEW BEST:: SOT 171089 SOS 81113 HAS SOPS 81113 HAS SOUS 22452 HAS SOUPS 22452 WITH SCORE 22533.113
AT ITER 8913 NEW BEST:: SOT 171089 SOS 81113 HAS SOPS 81113 HAS SOUS 22451 HAS SOUPS 22451 WITH SCORE 22532.113
AT ITER 8927 NEW BEST:: SOT 171088 SOS 81111 HAS SOPS 81111 HAS SOUS 22449 HAS SOUPS 22449 WITH SCORE 22530.111
AT ITER 8950 NEW BEST:: SOT 171039 SOS 81018 HAS SOPS 81018 HAS SOUS 22428 HAS SOUPS 22428 WITH SCORE 22509.018
AT ITER 8951 NEW BEST:: SOT 171039 SOS 81009 HAS SOPS 81009 HAS SOUS 22422 HAS SOUPS 22422 WITH SCORE 22503.009
AT ITER 9006 NEW BEST:: SOT 171030 SOS 81019 HAS SOPS 81019 HAS SOUS 22418 HAS SOUPS 22418 WITH SCORE 22499.019
AT ITER 9021 NEW BEST:: SOT 171011 SOS 81054 HAS SOPS 81054 HAS SOUS 22388 HAS SOUPS 22388 WITH SCORE 22469.054
AT ITER 9074 NEW BEST:: SOT 171011 SOS 81054 HAS SOPS 81054 HAS SOUS 22380 HAS SOUPS 22380 WITH SCORE 22461.054
AT ITER 9077 NEW BEST:: SOT 170995 SOS 81040 HAS SOPS 81040 HAS SOUS 22358 HAS SOUPS 22358 WITH SCORE 22439.04
AT ITER 9097 NEW BEST:: SOT 170988 SOS 81029 HAS SOPS 81029 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22423.029
AT ITER 9118 NEW BEST:: SOT 170988 SOS 80995 HAS SOPS 80995 HAS SOUS 22342 HAS SOUPS 22342 WITH SCORE 22422.995
AT ITER 9126 NEW BEST:: SOT 170980 SOS 80995 HAS SOPS 80995 HAS SOUS 22326 HAS SOUPS 22326 WITH SCORE 22406.995
AT ITER 9134 NEW BEST:: SOT 170976 SOS 80985 HAS SOPS 80985 HAS SOUS 22322 HAS SOUPS 22322 WITH SCORE 22402.985
AT ITER 9139 NEW BEST:: SOT 170964 SOS 80919 HAS SOPS 80919 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22390.919
AT ITER 9149 NEW BEST:: SOT 170964 SOS 80891 HAS SOPS 80891 HAS SOUS 22310 HAS SOUPS 22310 WITH SCORE 22390.891
AT ITER 9193 NEW BEST:: SOT 170961 SOS 80924 HAS SOPS 80924 HAS SOUS 22307 HAS SOUPS 22307 WITH SCORE 22387.924
AT ITER 9211 NEW BEST:: SOT 170948 SOS 80885 HAS SOPS 80885 HAS SOUS 22307 HAS SOUPS 22307 WITH SCORE 22387.885
AT ITER 9242 NEW BEST:: SOT 170947 SOS 80883 HAS SOPS 80883 HAS SOUS 22305 HAS SOUPS 22305 WITH SCORE 22385.883
AT ITER 9312 NEW BEST:: SOT 170945 SOS 80877 HAS SOPS 80877 HAS SOUS 22303 HAS SOUPS 22303 WITH SCORE 22383.877
AT ITER 9313 NEW BEST:: SOT 171005 SOS 80977 HAS SOPS 80977 HAS SOUS 22283 HAS SOUPS 22283 WITH SCORE 22363.977
AT ITER 9317 NEW BEST:: SOT 171005 SOS 81022 HAS SOPS 81022 HAS SOUS 22268 HAS SOUPS 22268 WITH SCORE 22349.022
AT ITER 9336 NEW BEST:: SOT 171013 SOS 81146 HAS SOPS 81146 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22348.146
AT ITER 9353 NEW BEST:: SOT 171015 SOS 81144 HAS SOPS 81144 HAS SOUS 22267 HAS SOUPS 22267 WITH SCORE 22348.144
AT ITER 9356 NEW BEST:: SOT 171007 SOS 81136 HAS SOPS 81136 HAS SOUS 22262 HAS SOUPS 22262 WITH SCORE 22343.136
AT ITER 9383 NEW BEST:: SOT 170996 SOS 81120 HAS SOPS 81120 HAS SOUS 22252 HAS SOUPS 22252 WITH SCORE 22333.12
AT ITER 9417 NEW BEST:: SOT 170991 SOS 81114 HAS SOPS 81114 HAS SOUS 22247 HAS SOUPS 22247 WITH SCORE 22328.114
AT ITER 9419 NEW BEST:: SOT 170979 SOS 81096 HAS SOPS 81096 HAS SOUS 22235 HAS SOUPS 22235 WITH SCORE 22316.096
AT ITER 9423 NEW BEST:: SOT 170979 SOS 81034 HAS SOPS 81034 HAS SOUS 22235 HAS SOUPS 22235 WITH SCORE 22316.034
AT ITER 9443 NEW BEST:: SOT 170971 SOS 81010 HAS SOPS 81010 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22308.01
AT ITER 9464 NEW BEST:: SOT 170971 SOS 80998 HAS SOPS 80998 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22307.998
AT ITER 9541 NEW BEST:: SOT 170971 SOS 80988 HAS SOPS 80988 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22307.988
AT ITER 9548 NEW BEST:: SOT 170980 SOS 80962 HAS SOPS 80962 HAS SOUS 22212 HAS SOUPS 22212 WITH SCORE 22292.962
AT ITER 9556 NEW BEST:: SOT 170978 SOS 80974 HAS SOPS 80974 HAS SOUS 22209 HAS SOUPS 22209 WITH SCORE 22289.974
AT ITER 9608 NEW BEST:: SOT 170978 SOS 81006 HAS SOPS 81006 HAS SOUS 22203 HAS SOUPS 22203 WITH SCORE 22284.006
AT ITER 9646 NEW BEST:: SOT 170980 SOS 81052 HAS SOPS 81052 HAS SOUS 22183 HAS SOUPS 22183 WITH SCORE 22264.052
AT ITER 9652 NEW BEST:: SOT 170962 SOS 81016 HAS SOPS 81016 HAS SOUS 22174 HAS SOUPS 22174 WITH SCORE 22255.016
AT ITER 9666 NEW BEST:: SOT 170956 SOS 81010 HAS SOPS 81010 HAS SOUS 22166 HAS SOUPS 22166 WITH SCORE 22247.01
AT ITER 9679 NEW BEST:: SOT 170932 SOS 80986 HAS SOPS 80986 HAS SOUS 22142 HAS SOUPS 22142 WITH SCORE 22222.986
AT ITER 9700 NEW BEST:: SOT 170931 SOS 80988 HAS SOPS 80988 HAS SOUS 22141 HAS SOUPS 22141 WITH SCORE 22221.988
AT ITER 9706 NEW BEST:: SOT 170934 SOS 81020 HAS SOPS 81020 HAS SOUS 22129 HAS SOUPS 22129 WITH SCORE 22210.02
AT ITER 9760 NEW BEST:: SOT 170942 SOS 81028 HAS SOPS 81028 HAS SOUS 22121 HAS SOUPS 22121 WITH SCORE 22202.028
AT ITER 9771 NEW BEST:: SOT 170942 SOS 81004 HAS SOPS 81004 HAS SOUS 22121 HAS SOUPS 22121 WITH SCORE 22202.004
AT ITER 9800 NEW BEST:: SOT 170930 SOS 80988 HAS SOPS 80988 HAS SOUS 22108 HAS SOUPS 22108 WITH SCORE 22188.988
AT ITER 9846 NEW BEST:: SOT 170884 SOS 80915 HAS SOPS 80915 HAS SOUS 22089 HAS SOUPS 22089 WITH SCORE 22169.915
AT ITER 9930 NEW BEST:: SOT 170884 SOS 80883 HAS SOPS 80883 HAS SOUS 22073 HAS SOUPS 22073 WITH SCORE 22153.883
AT ITER 9980 NEW BEST:: SOT 170864 SOS 80880 HAS SOPS 80880 HAS SOUS 22056 HAS SOUPS 22056 WITH SCORE 22136.88
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 5425360 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16121072 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="UtilityControlRoom-PT-Z4T4N10"
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-Z4T4N10, 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-167912711501224"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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