fond

jQuery Multi Level CSS Menu Css3Menu.com

Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r235-tall-167856422200688
Last Updated
May 14, 2023

About the Execution of Smart+red for Medical-PT-10

Execution Summary
Max Memory
Used (MB)		 Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6082.363 3600000.00 3636772.00 9876.50 [undef] Time out reached

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 6.7K Feb 25 14:39 CTLCardinality.txt
-rw-r--r-- 1 mcc users 66K Feb 25 14:39 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 14:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 14:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 14:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.9K Feb 25 14:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 34K Feb 25 14:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M Mar 5 18:22 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 1678680960912

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=Medical-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 04:16:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 04:16:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 04:16:02] [INFO ] Load time of PNML (sax parser for PT used): 259 ms
[2023-03-13 04:16:02] [INFO ] Transformed 312 places.
[2023-03-13 04:16:02] [INFO ] Transformed 5431 transitions.
[2023-03-13 04:16:02] [INFO ] Parsed PT model containing 312 places and 5431 transitions and 28790 arcs in 362 ms.
[2023-03-13 04:16:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 312 places, 5431 transitions and 28790 arcs took 66 ms.
Total runtime 455 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 10
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1169527 SOS 637811 HAS SOPS 634715 HAS SOUS 252203 HAS SOUPS 249386 WITH SCORE 250023.811
AT ITER 5 NEW BEST:: SOT 1169558 SOS 637842 HAS SOPS 634746 HAS SOUS 251946 HAS SOUPS 249129 WITH SCORE 249766.842
AT ITER 9 NEW BEST:: SOT 1169710 SOS 630184 HAS SOPS 624706 HAS SOUS 251889 HAS SOUPS 248394 WITH SCORE 249024.184
AT ITER 15 NEW BEST:: SOT 1169685 SOS 630074 HAS SOPS 624681 HAS SOUS 249248 HAS SOUPS 245823 WITH SCORE 246453.074
AT ITER 17 NEW BEST:: SOT 1169685 SOS 631346 HAS SOPS 625953 HAS SOUS 249203 HAS SOUPS 245778 WITH SCORE 246409.346
AT ITER 34 NEW BEST:: SOT 1169283 SOS 633592 HAS SOPS 628199 HAS SOUS 248386 HAS SOUPS 244961 WITH SCORE 245594.592
AT ITER 39 NEW BEST:: SOT 1168658 SOS 635953 HAS SOPS 630560 HAS SOUS 248349 HAS SOUPS 244924 WITH SCORE 245559.953
AT ITER 41 NEW BEST:: SOT 1168658 SOS 636805 HAS SOPS 631424 HAS SOUS 248307 HAS SOUPS 244894 WITH SCORE 245530.805
AT ITER 42 NEW BEST:: SOT 1168658 SOS 636805 HAS SOPS 631424 HAS SOUS 248008 HAS SOUPS 244595 WITH SCORE 245231.805
AT ITER 48 NEW BEST:: SOT 1147218 SOS 634302 HAS SOPS 630216 HAS SOUS 226969 HAS SOUPS 224587 WITH SCORE 225221.302
AT ITER 49 NEW BEST:: SOT 1147218 SOS 634287 HAS SOPS 630252 HAS SOUS 226768 HAS SOUPS 224437 WITH SCORE 225071.287
AT ITER 51 NEW BEST:: SOT 1147048 SOS 634653 HAS SOPS 630618 HAS SOUS 226310 HAS SOUPS 223979 WITH SCORE 224613.653
AT ITER 52 NEW BEST:: SOT 1147048 SOS 635925 HAS SOPS 631890 HAS SOUS 225992 HAS SOUPS 223661 WITH SCORE 224296.925
AT ITER 58 NEW BEST:: SOT 1146868 SOS 635745 HAS SOPS 631710 HAS SOUS 225812 HAS SOUPS 223481 WITH SCORE 224116.745
AT ITER 70 NEW BEST:: SOT 1146868 SOS 637113 HAS SOPS 633078 HAS SOUS 225470 HAS SOUPS 223139 WITH SCORE 223776.113
AT ITER 71 NEW BEST:: SOT 1146730 SOS 636410 HAS SOPS 632738 HAS SOUS 224984 HAS SOUPS 222734 WITH SCORE 223370.41
AT ITER 77 NEW BEST:: SOT 1148544 SOS 638216 HAS SOPS 634552 HAS SOUS 222055 HAS SOUPS 219813 WITH SCORE 220451.216
AT ITER 79 NEW BEST:: SOT 1147499 SOS 636643 HAS SOPS 632979 HAS SOUS 218188 HAS SOUPS 215946 WITH SCORE 216582.643
AT ITER 86 NEW BEST:: SOT 1146682 SOS 635895 HAS SOPS 632254 HAS SOUS 214963 HAS SOUPS 212744 WITH SCORE 213379.895
AT ITER 100 NEW BEST:: SOT 1146672 SOS 635885 HAS SOPS 632244 HAS SOUS 214953 HAS SOUPS 212734 WITH SCORE 213369.885
AT ITER 104 NEW BEST:: SOT 1146996 SOS 636209 HAS SOPS 632568 HAS SOUS 214932 HAS SOUPS 212713 WITH SCORE 213349.209
AT ITER 105 NEW BEST:: SOT 1146996 SOS 636564 HAS SOPS 632928 HAS SOUS 214824 HAS SOUPS 212610 WITH SCORE 213246.564
AT ITER 108 NEW BEST:: SOT 1147020 SOS 636574 HAS SOPS 632952 HAS SOUS 214638 HAS SOUPS 212438 WITH SCORE 213074.574
AT ITER 109 NEW BEST:: SOT 1147015 SOS 638993 HAS SOPS 635371 HAS SOUS 212535 HAS SOUPS 210335 WITH SCORE 210973.993
AT ITER 110 NEW BEST:: SOT 1148331 SOS 640289 HAS SOPS 636687 HAS SOUS 209160 HAS SOUPS 206980 WITH SCORE 207620.289
AT ITER 112 NEW BEST:: SOT 1148331 SOS 640289 HAS SOPS 636687 HAS SOUS 209089 HAS SOUPS 206909 WITH SCORE 207549.289
AT ITER 130 NEW BEST:: SOT 1148599 SOS 640557 HAS SOPS 636955 HAS SOUS 209070 HAS SOUPS 206890 WITH SCORE 207530.557
AT ITER 133 NEW BEST:: SOT 1148599 SOS 639282 HAS SOPS 635755 HAS SOUS 209010 HAS SOUPS 206845 WITH SCORE 207484.282
AT ITER 138 NEW BEST:: SOT 1148599 SOS 639282 HAS SOPS 635755 HAS SOUS 208929 HAS SOUPS 206764 WITH SCORE 207403.282
AT ITER 144 NEW BEST:: SOT 1148129 SOS 644764 HAS SOPS 641237 HAS SOUS 208669 HAS SOUPS 206504 WITH SCORE 207148.764
AT ITER 150 NEW BEST:: SOT 1148129 SOS 645926 HAS SOPS 642141 HAS SOUS 208501 HAS SOUPS 206276 WITH SCORE 206921.926
AT ITER 152 NEW BEST:: SOT 1147624 SOS 651133 HAS SOPS 647348 HAS SOUS 206881 HAS SOUPS 204656 WITH SCORE 205307.133
AT ITER 157 NEW BEST:: SOT 1148720 SOS 652208 HAS SOPS 648444 HAS SOUS 205534 HAS SOUPS 203330 WITH SCORE 203982.208
AT ITER 173 NEW BEST:: SOT 1148734 SOS 652222 HAS SOPS 648458 HAS SOUS 205212 HAS SOUPS 203008 WITH SCORE 203660.222
AT ITER 180 NEW BEST:: SOT 1148132 SOS 651620 HAS SOPS 647856 HAS SOUS 204070 HAS SOUPS 201866 WITH SCORE 202517.62
AT ITER 181 NEW BEST:: SOT 1147943 SOS 651445 HAS SOPS 647695 HAS SOUS 201850 HAS SOUPS 199660 WITH SCORE 200311.445
AT ITER 184 NEW BEST:: SOT 1150093 SOS 657982 HAS SOPS 654069 HAS SOUS 201449 HAS SOUPS 199096 WITH SCORE 199753.982
AT ITER 188 NEW BEST:: SOT 1150093 SOS 659038 HAS SOPS 655125 HAS SOUS 201185 HAS SOUPS 198832 WITH SCORE 199491.038
AT ITER 194 NEW BEST:: SOT 1150038 SOS 692131 HAS SOPS 688591 HAS SOUS 200722 HAS SOUPS 198452 WITH SCORE 199144.131
AT ITER 198 NEW BEST:: SOT 1150025 SOS 692118 HAS SOPS 688578 HAS SOUS 200612 HAS SOUPS 198342 WITH SCORE 199034.118
AT ITER 200 NEW BEST:: SOT 1150025 SOS 692106 HAS SOPS 688566 HAS SOUS 200597 HAS SOUPS 198327 WITH SCORE 199019.106
AT ITER 208 NEW BEST:: SOT 1150015 SOS 692198 HAS SOPS 688776 HAS SOUS 200212 HAS SOUPS 198060 WITH SCORE 198752.198
AT ITER 214 NEW BEST:: SOT 1150466 SOS 692649 HAS SOPS 689227 HAS SOUS 200025 HAS SOUPS 197873 WITH SCORE 198565.649
AT ITER 215 NEW BEST:: SOT 1149254 SOS 691437 HAS SOPS 688015 HAS SOUS 199719 HAS SOUPS 197567 WITH SCORE 198258.437
AT ITER 217 NEW BEST:: SOT 1149254 SOS 691416 HAS SOPS 687994 HAS SOUS 199698 HAS SOUPS 197546 WITH SCORE 198237.416
AT ITER 223 NEW BEST:: SOT 1148947 SOS 693389 HAS SOPS 689967 HAS SOUS 197250 HAS SOUPS 195098 WITH SCORE 195791.389
AT ITER 225 NEW BEST:: SOT 1148947 SOS 693458 HAS SOPS 690023 HAS SOUS 197249 HAS SOUPS 195084 WITH SCORE 195777.458
AT ITER 234 NEW BEST:: SOT 1148893 SOS 693404 HAS SOPS 689969 HAS SOUS 197138 HAS SOUPS 194973 WITH SCORE 195666.404
AT ITER 241 NEW BEST:: SOT 1148893 SOS 693404 HAS SOPS 689969 HAS SOUS 197136 HAS SOUPS 194971 WITH SCORE 195664.404
AT ITER 252 NEW BEST:: SOT 1148893 SOS 691444 HAS SOPS 688337 HAS SOUS 195813 HAS SOUPS 193720 WITH SCORE 194411.444
AT ITER 256 NEW BEST:: SOT 1148893 SOS 691464 HAS SOPS 688360 HAS SOUS 195653 HAS SOUPS 193563 WITH SCORE 194254.464
AT ITER 263 NEW BEST:: SOT 1148906 SOS 691477 HAS SOPS 688373 HAS SOUS 195366 HAS SOUPS 193276 WITH SCORE 193967.477
AT ITER 270 NEW BEST:: SOT 1150752 SOS 693310 HAS SOPS 690219 HAS SOUS 193615 HAS SOUPS 191538 WITH SCORE 192231.31
AT ITER 271 NEW BEST:: SOT 1150786 SOS 693344 HAS SOPS 690253 HAS SOUS 193477 HAS SOUPS 191400 WITH SCORE 192093.344
AT ITER 274 NEW BEST:: SOT 1150786 SOS 691734 HAS SOPS 688769 HAS SOUS 193064 HAS SOUPS 191013 WITH SCORE 191704.734
AT ITER 278 NEW BEST:: SOT 1150786 SOS 689670 HAS SOPS 686705 HAS SOUS 193064 HAS SOUPS 191013 WITH SCORE 191702.67
AT ITER 280 NEW BEST:: SOT 1150588 SOS 689560 HAS SOPS 686595 HAS SOUS 191485 HAS SOUPS 189434 WITH SCORE 190123.56
AT ITER 290 NEW BEST:: SOT 1150583 SOS 689555 HAS SOPS 686590 HAS SOUS 191480 HAS SOUPS 189429 WITH SCORE 190118.555
AT ITER 300 NEW BEST:: SOT 1150583 SOS 689840 HAS SOPS 686124 HAS SOUS 191479 HAS SOUPS 188677 WITH SCORE 189366.84
AT ITER 301 NEW BEST:: SOT 1150583 SOS 691221 HAS SOPS 687564 HAS SOUS 191048 HAS SOUPS 188305 WITH SCORE 188996.221
AT ITER 322 NEW BEST:: SOT 1150487 SOS 691125 HAS SOPS 687468 HAS SOUS 190952 HAS SOUPS 188209 WITH SCORE 188900.125
AT ITER 323 NEW BEST:: SOT 1151347 SOS 691974 HAS SOPS 688328 HAS SOUS 189568 HAS SOUPS 186836 WITH SCORE 187527.974
AT ITER 326 NEW BEST:: SOT 1151347 SOS 689152 HAS SOPS 685880 HAS SOUS 188147 HAS SOUPS 185498 WITH SCORE 186187.152
AT ITER 331 NEW BEST:: SOT 1151347 SOS 689152 HAS SOPS 685880 HAS SOUS 187205 HAS SOUPS 184556 WITH SCORE 185245.152
AT ITER 340 NEW BEST:: SOT 1151347 SOS 689627 HAS SOPS 686372 HAS SOUS 187034 HAS SOUPS 184402 WITH SCORE 185091.627
AT ITER 345 NEW BEST:: SOT 1151347 SOS 689627 HAS SOPS 686382 HAS SOUS 186873 HAS SOUPS 184251 WITH SCORE 184940.627
AT ITER 348 NEW BEST:: SOT 1151347 SOS 690179 HAS SOPS 686958 HAS SOUS 186620 HAS SOUPS 184022 WITH SCORE 184712.179
AT ITER 354 NEW BEST:: SOT 1151347 SOS 690179 HAS SOPS 686958 HAS SOUS 186488 HAS SOUPS 183890 WITH SCORE 184580.179
AT ITER 367 NEW BEST:: SOT 1151397 SOS 657128 HAS SOPS 653907 HAS SOUS 186497 HAS SOUPS 183899 WITH SCORE 184556.128
AT ITER 384 NEW BEST:: SOT 1151397 SOS 657062 HAS SOPS 653907 HAS SOUS 186431 HAS SOUPS 183899 WITH SCORE 184556.062
AT ITER 386 NEW BEST:: SOT 1151153 SOS 656817 HAS SOPS 653663 HAS SOUS 185859 HAS SOUPS 183328 WITH SCORE 183984.817
AT ITER 388 NEW BEST:: SOT 1152431 SOS 656783 HAS SOPS 653629 HAS SOUS 185699 HAS SOUPS 183168 WITH SCORE 183824.783
AT ITER 390 NEW BEST:: SOT 1152431 SOS 656583 HAS SOPS 653437 HAS SOUS 185691 HAS SOUPS 183168 WITH SCORE 183824.583
AT ITER 402 NEW BEST:: SOT 1152248 SOS 656400 HAS SOPS 653254 HAS SOUS 185110 HAS SOUPS 182587 WITH SCORE 183243.4
AT ITER 403 NEW BEST:: SOT 1152359 SOS 656586 HAS SOPS 652751 HAS SOUS 185306 HAS SOUPS 182217 WITH SCORE 182873.586
AT ITER 406 NEW BEST:: SOT 1151886 SOS 656119 HAS SOPS 652290 HAS SOUS 184184 HAS SOUPS 181101 WITH SCORE 181757.119
AT ITER 409 NEW BEST:: SOT 1151351 SOS 659971 HAS SOPS 656203 HAS SOUS 183637 HAS SOUPS 180615 WITH SCORE 181274.971
AT ITER 410 NEW BEST:: SOT 1149670 SOS 663100 HAS SOPS 659332 HAS SOUS 182146 HAS SOUPS 179124 WITH SCORE 179787.1
AT ITER 415 NEW BEST:: SOT 1149586 SOS 663016 HAS SOPS 659248 HAS SOUS 182095 HAS SOUPS 179073 WITH SCORE 179736.016
AT ITER 421 NEW BEST:: SOT 1148839 SOS 662269 HAS SOPS 658501 HAS SOUS 181467 HAS SOUPS 178445 WITH SCORE 179107.269
AT ITER 422 NEW BEST:: SOT 1148403 SOS 662637 HAS SOPS 658925 HAS SOUS 180988 HAS SOUPS 178022 WITH SCORE 178684.637
AT ITER 424 NEW BEST:: SOT 1149234 SOS 665825 HAS SOPS 662174 HAS SOUS 179440 HAS SOUPS 176535 WITH SCORE 177200.825
AT ITER 425 NEW BEST:: SOT 1149234 SOS 666132 HAS SOPS 662514 HAS SOUS 179322 HAS SOUPS 176450 WITH SCORE 177116.132
AT ITER 435 NEW BEST:: SOT 1149131 SOS 666029 HAS SOPS 662411 HAS SOUS 179219 HAS SOUPS 176347 WITH SCORE 177013.029
AT ITER 439 NEW BEST:: SOT 1148000 SOS 664974 HAS SOPS 660560 HAS SOUS 179452 HAS SOUPS 175993 WITH SCORE 176657.974
AT ITER 452 NEW BEST:: SOT 1148124 SOS 667024 HAS SOPS 662643 HAS SOUS 179042 HAS SOUPS 175616 WITH SCORE 176283.024
AT ITER 460 NEW BEST:: SOT 1148124 SOS 667776 HAS SOPS 663395 HAS SOUS 178917 HAS SOUPS 175491 WITH SCORE 176158.776
AT ITER 474 NEW BEST:: SOT 1148139 SOS 667791 HAS SOPS 663410 HAS SOUS 178243 HAS SOUPS 174817 WITH SCORE 175484.791
AT ITER 475 NEW BEST:: SOT 1148139 SOS 667791 HAS SOPS 663392 HAS SOUS 178243 HAS SOUPS 174799 WITH SCORE 175466.791
AT ITER 479 NEW BEST:: SOT 1148139 SOS 668251 HAS SOPS 663852 HAS SOUS 178223 HAS SOUPS 174779 WITH SCORE 175447.251
AT ITER 480 NEW BEST:: SOT 1148139 SOS 668389 HAS SOPS 663996 HAS SOUS 178199 HAS SOUPS 174761 WITH SCORE 175429.389
AT ITER 481 NEW BEST:: SOT 1147315 SOS 671686 HAS SOPS 667379 HAS SOUS 175351 HAS SOUPS 171999 WITH SCORE 172670.686
AT ITER 483 NEW BEST:: SOT 1147315 SOS 671566 HAS SOPS 667259 HAS SOUS 175351 HAS SOUPS 171999 WITH SCORE 172670.566
AT ITER 485 NEW BEST:: SOT 1147044 SOS 671295 HAS SOPS 666988 HAS SOUS 174682 HAS SOUPS 171330 WITH SCORE 172001.295
AT ITER 486 NEW BEST:: SOT 1145932 SOS 670509 HAS SOPS 666202 HAS SOUS 173687 HAS SOUPS 170335 WITH SCORE 171005.509
AT ITER 488 NEW BEST:: SOT 1145907 SOS 670484 HAS SOPS 666177 HAS SOUS 173660 HAS SOUPS 170308 WITH SCORE 170978.484
AT ITER 504 NEW BEST:: SOT 1145907 SOS 668049 HAS SOPS 663977 HAS SOUS 172942 HAS SOUPS 169637 WITH SCORE 170305.049
AT ITER 516 NEW BEST:: SOT 1146033 SOS 671198 HAS SOPS 667150 HAS SOUS 172684 HAS SOUPS 169403 WITH SCORE 170074.198
AT ITER 517 NEW BEST:: SOT 1145570 SOS 670735 HAS SOPS 666687 HAS SOUS 171576 HAS SOUPS 168295 WITH SCORE 168965.735
AT ITER 521 NEW BEST:: SOT 1145647 SOS 670812 HAS SOPS 666764 HAS SOUS 170578 HAS SOUPS 167297 WITH SCORE 167967.812
AT ITER 522 NEW BEST:: SOT 1145498 SOS 670663 HAS SOPS 666615 HAS SOUS 170309 HAS SOUPS 167028 WITH SCORE 167698.663
AT ITER 523 NEW BEST:: SOT 1146756 SOS 672522 HAS SOPS 668798 HAS SOUS 169946 HAS SOUPS 166989 WITH SCORE 167661.522
AT ITER 527 NEW BEST:: SOT 1146591 SOS 672357 HAS SOPS 668633 HAS SOUS 169494 HAS SOUPS 166537 WITH SCORE 167209.357
AT ITER 531 NEW BEST:: SOT 1147343 SOS 673109 HAS SOPS 669385 HAS SOUS 169033 HAS SOUPS 166076 WITH SCORE 166749.109
AT ITER 540 NEW BEST:: SOT 1147343 SOS 671281 HAS SOPS 667657 HAS SOUS 168985 HAS SOUPS 166048 WITH SCORE 166719.281
AT ITER 543 NEW BEST:: SOT 1147188 SOS 671126 HAS SOPS 667502 HAS SOUS 168724 HAS SOUPS 165787 WITH SCORE 166458.126
AT ITER 546 NEW BEST:: SOT 1146567 SOS 669744 HAS SOPS 666105 HAS SOUS 168544 HAS SOUPS 165592 WITH SCORE 166261.744
AT ITER 553 NEW BEST:: SOT 1146486 SOS 670073 HAS SOPS 666434 HAS SOUS 168476 HAS SOUPS 165524 WITH SCORE 166194.073
AT ITER 566 NEW BEST:: SOT 1146486 SOS 671361 HAS SOPS 667778 HAS SOUS 167826 HAS SOUPS 164930 WITH SCORE 165601.361
AT ITER 569 NEW BEST:: SOT 1148223 SOS 675491 HAS SOPS 671983 HAS SOUS 167410 HAS SOUPS 164589 WITH SCORE 165264.491
AT ITER 581 NEW BEST:: SOT 1146184 SOS 673452 HAS SOPS 669944 HAS SOUS 166195 HAS SOUPS 163374 WITH SCORE 164047.452
AT ITER 582 NEW BEST:: SOT 1145818 SOS 673863 HAS SOPS 670427 HAS SOUS 166025 HAS SOUPS 163276 WITH SCORE 163949.863
AT ITER 584 NEW BEST:: SOT 1144919 SOS 675212 HAS SOPS 671776 HAS SOUS 165776 HAS SOUPS 163027 WITH SCORE 163702.212
AT ITER 590 NEW BEST:: SOT 1144428 SOS 674721 HAS SOPS 671285 HAS SOUS 165669 HAS SOUPS 162920 WITH SCORE 163594.721
AT ITER 598 NEW BEST:: SOT 1145978 SOS 676271 HAS SOPS 672835 HAS SOUS 164394 HAS SOUPS 161645 WITH SCORE 162321.271
AT ITER 609 NEW BEST:: SOT 1145572 SOS 675865 HAS SOPS 672429 HAS SOUS 163387 HAS SOUPS 160638 WITH SCORE 161313.865
AT ITER 619 NEW BEST:: SOT 1145582 SOS 675875 HAS SOPS 672439 HAS SOUS 162840 HAS SOUPS 160091 WITH SCORE 160766.875
AT ITER 623 NEW BEST:: SOT 1145320 SOS 675613 HAS SOPS 672177 HAS SOUS 162218 HAS SOUPS 159469 WITH SCORE 160144.613
AT ITER 626 NEW BEST:: SOT 1145270 SOS 675563 HAS SOPS 672127 HAS SOUS 162168 HAS SOUPS 159419 WITH SCORE 160094.563
AT ITER 639 NEW BEST:: SOT 1140506 SOS 670821 HAS SOPS 667385 HAS SOUS 156924 HAS SOUPS 154175 WITH SCORE 154845.821
AT ITER 640 NEW BEST:: SOT 1140471 SOS 670786 HAS SOPS 667350 HAS SOUS 156847 HAS SOUPS 154098 WITH SCORE 154768.786
AT ITER 653 NEW BEST:: SOT 1140471 SOS 670906 HAS SOPS 667470 HAS SOUS 156837 HAS SOUPS 154088 WITH SCORE 154758.906
AT ITER 666 NEW BEST:: SOT 1140471 SOS 671414 HAS SOPS 667854 HAS SOUS 156837 HAS SOUPS 153964 WITH SCORE 154635.414
AT ITER 667 NEW BEST:: SOT 1141099 SOS 670630 HAS SOPS 667174 HAS SOUS 154728 HAS SOUPS 151959 WITH SCORE 152629.63
AT ITER 670 NEW BEST:: SOT 1139994 SOS 669525 HAS SOPS 666069 HAS SOUS 153973 HAS SOUPS 151204 WITH SCORE 151873.525
AT ITER 677 NEW BEST:: SOT 1139994 SOS 671121 HAS SOPS 667693 HAS SOUS 153721 HAS SOUPS 150980 WITH SCORE 151651.121
AT ITER 682 NEW BEST:: SOT 1136270 SOS 667397 HAS SOPS 663969 HAS SOUS 152683 HAS SOUPS 149942 WITH SCORE 150609.397
AT ITER 688 NEW BEST:: SOT 1136006 SOS 661200 HAS SOPS 657611 HAS SOUS 152654 HAS SOUPS 149913 WITH SCORE 150574.2
AT ITER 691 NEW BEST:: SOT 1136006 SOS 661200 HAS SOPS 657611 HAS SOUS 152535 HAS SOUPS 149794 WITH SCORE 150455.2
AT ITER 713 NEW BEST:: SOT 1136006 SOS 661215 HAS SOPS 657670 HAS SOUS 152323 HAS SOUPS 149593 WITH SCORE 150254.215
AT ITER 714 NEW BEST:: SOT 1136006 SOS 661908 HAS SOPS 658390 HAS SOUS 152178 HAS SOUPS 149475 WITH SCORE 150136.908
AT ITER 716 NEW BEST:: SOT 1136006 SOS 661548 HAS SOPS 658030 HAS SOUS 152163 HAS SOUPS 149460 WITH SCORE 150121.548
AT ITER 726 NEW BEST:: SOT 1135858 SOS 646296 HAS SOPS 642546 HAS SOUS 152216 HAS SOUPS 149296 WITH SCORE 149942.296
AT ITER 727 NEW BEST:: SOT 1135760 SOS 646198 HAS SOPS 642448 HAS SOUS 152118 HAS SOUPS 149198 WITH SCORE 149844.198
AT ITER 746 NEW BEST:: SOT 1135618 SOS 646050 HAS SOPS 642306 HAS SOUS 151711 HAS SOUPS 148797 WITH SCORE 149443.05
AT ITER 755 NEW BEST:: SOT 1135608 SOS 646040 HAS SOPS 642296 HAS SOUS 151587 HAS SOUPS 148673 WITH SCORE 149319.04
AT ITER 757 NEW BEST:: SOT 1135608 SOS 646000 HAS SOPS 642256 HAS SOUS 150645 HAS SOUPS 147731 WITH SCORE 148377.0
AT ITER 758 NEW BEST:: SOT 1135126 SOS 649869 HAS SOPS 646125 HAS SOUS 148576 HAS SOUPS 145662 WITH SCORE 146311.869
AT ITER 759 NEW BEST:: SOT 1135026 SOS 649715 HAS SOPS 646025 HAS SOUS 148476 HAS SOUPS 145566 WITH SCORE 146215.715
AT ITER 766 NEW BEST:: SOT 1135026 SOS 648376 HAS SOPS 644700 HAS SOUS 148462 HAS SOUPS 145566 WITH SCORE 146214.376
AT ITER 767 NEW BEST:: SOT 1135026 SOS 648511 HAS SOPS 644840 HAS SOUS 148449 HAS SOUPS 145558 WITH SCORE 146206.511
AT ITER 769 NEW BEST:: SOT 1135026 SOS 648511 HAS SOPS 644858 HAS SOUS 148268 HAS SOUPS 145395 WITH SCORE 146043.511
AT ITER 772 NEW BEST:: SOT 1134858 SOS 648343 HAS SOPS 644690 HAS SOUS 148109 HAS SOUPS 145236 WITH SCORE 145884.343
AT ITER 779 NEW BEST:: SOT 1135772 SOS 649237 HAS SOPS 645604 HAS SOUS 147128 HAS SOUPS 144275 WITH SCORE 144924.237
AT ITER 788 NEW BEST:: SOT 1135832 SOS 626814 HAS SOPS 622953 HAS SOUS 147002 HAS SOUPS 144149 WITH SCORE 144775.814
AT ITER 795 NEW BEST:: SOT 1135482 SOS 626706 HAS SOPS 622845 HAS SOUS 146610 HAS SOUPS 143757 WITH SCORE 144383.706
AT ITER 798 NEW BEST:: SOT 1133646 SOS 631331 HAS SOPS 627470 HAS SOUS 145271 HAS SOUPS 142418 WITH SCORE 143049.331
AT ITER 804 NEW BEST:: SOT 1132604 SOS 629266 HAS SOPS 625461 HAS SOUS 143120 HAS SOUPS 140295 WITH SCORE 140924.266
AT ITER 805 NEW BEST:: SOT 1132459 SOS 629744 HAS SOPS 625939 HAS SOUS 142381 HAS SOUPS 139556 WITH SCORE 140185.744
AT ITER 808 NEW BEST:: SOT 1132459 SOS 629744 HAS SOPS 625939 HAS SOUS 142365 HAS SOUPS 139540 WITH SCORE 140169.744
AT ITER 811 NEW BEST:: SOT 1132459 SOS 619554 HAS SOPS 615521 HAS SOUS 142277 HAS SOUPS 139452 WITH SCORE 140071.554
AT ITER 815 NEW BEST:: SOT 1132140 SOS 619235 HAS SOPS 615202 HAS SOUS 141442 HAS SOUPS 138617 WITH SCORE 139236.235
AT ITER 830 NEW BEST:: SOT 1132592 SOS 619687 HAS SOPS 615654 HAS SOUS 141229 HAS SOUPS 138404 WITH SCORE 139023.687
AT ITER 837 NEW BEST:: SOT 1132376 SOS 619414 HAS SOPS 615384 HAS SOUS 141013 HAS SOUPS 138188 WITH SCORE 138807.414
AT ITER 842 NEW BEST:: SOT 1132445 SOS 619483 HAS SOPS 615453 HAS SOUS 140996 HAS SOUPS 138171 WITH SCORE 138790.483
AT ITER 846 NEW BEST:: SOT 1131120 SOS 767289 HAS SOPS 763456 HAS SOUS 140145 HAS SOUPS 137320 WITH SCORE 138087.289
AT ITER 848 NEW BEST:: SOT 1130973 SOS 764192 HAS SOPS 759991 HAS SOUS 140114 HAS SOUPS 137289 WITH SCORE 138053.192
AT ITER 865 NEW BEST:: SOT 1130932 SOS 764151 HAS SOPS 759950 HAS SOUS 140069 HAS SOUPS 137244 WITH SCORE 138008.151
AT ITER 884 NEW BEST:: SOT 1130932 SOS 764122 HAS SOPS 759950 HAS SOUS 140040 HAS SOUPS 137244 WITH SCORE 138008.122
AT ITER 896 NEW BEST:: SOT 1133330 SOS 766548 HAS SOPS 762443 HAS SOUS 139867 HAS SOUPS 137138 WITH SCORE 137904.548
AT ITER 909 NEW BEST:: SOT 1133909 SOS 766976 HAS SOPS 763022 HAS SOUS 138540 HAS SOUPS 135845 WITH SCORE 136611.976
AT ITER 920 NEW BEST:: SOT 1133909 SOS 766669 HAS SOPS 762715 HAS SOUS 138509 HAS SOUPS 135814 WITH SCORE 136580.669
AT ITER 921 NEW BEST:: SOT 1135778 SOS 772158 HAS SOPS 768344 HAS SOUS 137866 HAS SOUPS 135295 WITH SCORE 136067.158
AT ITER 932 NEW BEST:: SOT 1136054 SOS 773036 HAS SOPS 769235 HAS SOUS 137427 HAS SOUPS 134869 WITH SCORE 135642.036
AT ITER 936 NEW BEST:: SOT 1135418 SOS 773288 HAS SOPS 769487 HAS SOUS 136899 HAS SOUPS 134341 WITH SCORE 135114.288
AT ITER 941 NEW BEST:: SOT 1135418 SOS 771159 HAS SOPS 767358 HAS SOUS 136892 HAS SOUPS 134334 WITH SCORE 135105.159
AT ITER 943 NEW BEST:: SOT 1135875 SOS 771760 HAS SOPS 767959 HAS SOUS 136827 HAS SOUPS 134269 WITH SCORE 135040.76
AT ITER 948 NEW BEST:: SOT 1134732 SOS 770651 HAS SOPS 766850 HAS SOUS 135711 HAS SOUPS 133153 WITH SCORE 133923.651
AT ITER 949 NEW BEST:: SOT 1135318 SOS 771237 HAS SOPS 767436 HAS SOUS 134618 HAS SOUPS 132060 WITH SCORE 132831.237
AT ITER 955 NEW BEST:: SOT 1134816 SOS 770712 HAS SOPS 766934 HAS SOUS 133214 HAS SOUPS 130657 WITH SCORE 131427.712
AT ITER 961 NEW BEST:: SOT 1134395 SOS 770306 HAS SOPS 766528 HAS SOUS 133203 HAS SOUPS 130646 WITH SCORE 131416.306
AT ITER 966 NEW BEST:: SOT 1134469 SOS 770596 HAS SOPS 766818 HAS SOUS 131069 HAS SOUPS 128512 WITH SCORE 129282.596
AT ITER 981 NEW BEST:: SOT 1134469 SOS 769212 HAS SOPS 765502 HAS SOUS 131007 HAS SOUPS 128450 WITH SCORE 129219.212
AT ITER 986 NEW BEST:: SOT 1134531 SOS 769274 HAS SOPS 765564 HAS SOUS 130946 HAS SOUPS 128389 WITH SCORE 129158.274
AT ITER 988 NEW BEST:: SOT 1134531 SOS 770322 HAS SOPS 766676 HAS SOUS 130550 HAS SOUPS 128037 WITH SCORE 128807.322
AT ITER 989 NEW BEST:: SOT 1134531 SOS 770322 HAS SOPS 766676 HAS SOUS 130549 HAS SOUPS 128036 WITH SCORE 128806.322
AT ITER 996 NEW BEST:: SOT 1134531 SOS 770322 HAS SOPS 766676 HAS SOUS 130548 HAS SOUPS 128035 WITH SCORE 128805.322
AT ITER 1003 NEW BEST:: SOT 1133654 SOS 770444 HAS SOPS 766798 HAS SOUS 130194 HAS SOUPS 127681 WITH SCORE 128451.444
AT ITER 1007 NEW BEST:: SOT 1133654 SOS 769844 HAS SOPS 766262 HAS SOUS 130124 HAS SOUPS 127643 WITH SCORE 128412.844
AT ITER 1022 NEW BEST:: SOT 1133654 SOS 769932 HAS SOPS 766350 HAS SOUS 130114 HAS SOUPS 127633 WITH SCORE 128402.932
AT ITER 1031 NEW BEST:: SOT 1132298 SOS 768867 HAS SOPS 765255 HAS SOUS 130112 HAS SOUPS 127611 WITH SCORE 128379.867
AT ITER 1037 NEW BEST:: SOT 1132298 SOS 769283 HAS SOPS 765671 HAS SOUS 130088 HAS SOUPS 127587 WITH SCORE 128356.283
AT ITER 1038 NEW BEST:: SOT 1132298 SOS 769283 HAS SOPS 765684 HAS SOUS 129944 HAS SOUPS 127456 WITH SCORE 128225.283
AT ITER 1042 NEW BEST:: SOT 1132294 SOS 769279 HAS SOPS 765680 HAS SOUS 129939 HAS SOUPS 127451 WITH SCORE 128220.279
AT ITER 1043 NEW BEST:: SOT 1132912 SOS 770079 HAS SOPS 766480 HAS SOUS 128608 HAS SOUPS 126120 WITH SCORE 126890.079
AT ITER 1046 NEW BEST:: SOT 1132912 SOS 771043 HAS SOPS 767423 HAS SOUS 128588 HAS SOUPS 126079 WITH SCORE 126850.043
AT ITER 1049 NEW BEST:: SOT 1133153 SOS 771909 HAS SOPS 768303 HAS SOUS 128462 HAS SOUPS 125967 WITH SCORE 126738.909
AT ITER 1053 NEW BEST:: SOT 1133137 SOS 771893 HAS SOPS 768287 HAS SOUS 127608 HAS SOUPS 125113 WITH SCORE 125884.893
AT ITER 1055 NEW BEST:: SOT 1133137 SOS 771789 HAS SOPS 768183 HAS SOUS 127582 HAS SOUPS 125087 WITH SCORE 125858.789
AT ITER 1059 NEW BEST:: SOT 1133166 SOS 775299 HAS SOPS 771536 HAS SOUS 127721 HAS SOUPS 125054 WITH SCORE 125829.299
AT ITER 1068 NEW BEST:: SOT 1133136 SOS 775259 HAS SOPS 771496 HAS SOUS 127691 HAS SOUPS 125024 WITH SCORE 125799.259
AT ITER 1085 NEW BEST:: SOT 1133136 SOS 775296 HAS SOPS 771533 HAS SOUS 127679 HAS SOUPS 125012 WITH SCORE 125787.296
AT ITER 1086 NEW BEST:: SOT 1133073 SOS 775233 HAS SOPS 771470 HAS SOUS 127547 HAS SOUPS 124880 WITH SCORE 125655.233
AT ITER 1092 NEW BEST:: SOT 1133073 SOS 776118 HAS SOPS 772334 HAS SOUS 127449 HAS SOUPS 124761 WITH SCORE 125537.118
AT ITER 1102 NEW BEST:: SOT 1133073 SOS 776094 HAS SOPS 772310 HAS SOUS 127449 HAS SOUPS 124761 WITH SCORE 125537.094
AT ITER 1110 NEW BEST:: SOT 1133073 SOS 776070 HAS SOPS 772262 HAS SOUS 127449 HAS SOUPS 124737 WITH SCORE 125513.07
AT ITER 1114 NEW BEST:: SOT 1133477 SOS 776474 HAS SOPS 772666 HAS SOUS 126823 HAS SOUPS 124111 WITH SCORE 124887.474
AT ITER 1116 NEW BEST:: SOT 1134977 SOS 784335 HAS SOPS 780865 HAS SOUS 126286 HAS SOUPS 123903 WITH SCORE 124687.335
AT ITER 1126 NEW BEST:: SOT 1134977 SOS 784023 HAS SOPS 780553 HAS SOUS 126286 HAS SOUPS 123903 WITH SCORE 124687.023
AT ITER 1134 NEW BEST:: SOT 1135034 SOS 784080 HAS SOPS 780610 HAS SOUS 126253 HAS SOUPS 123870 WITH SCORE 124654.08
AT ITER 1136 NEW BEST:: SOT 1134938 SOS 783984 HAS SOPS 780514 HAS SOUS 126253 HAS SOUPS 123870 WITH SCORE 124653.984
AT ITER 1138 NEW BEST:: SOT 1135070 SOS 784116 HAS SOPS 780646 HAS SOUS 126178 HAS SOUPS 123795 WITH SCORE 124579.116
AT ITER 1151 NEW BEST:: SOT 1134730 SOS 783776 HAS SOPS 780306 HAS SOUS 125126 HAS SOUPS 122743 WITH SCORE 123526.776
AT ITER 1162 NEW BEST:: SOT 1134731 SOS 782801 HAS SOPS 779333 HAS SOUS 125122 HAS SOUPS 122741 WITH SCORE 123523.801
AT ITER 1167 NEW BEST:: SOT 1134731 SOS 782801 HAS SOPS 779333 HAS SOUS 125117 HAS SOUPS 122736 WITH SCORE 123518.801
AT ITER 1170 NEW BEST:: SOT 1134609 SOS 782679 HAS SOPS 779211 HAS SOUS 125048 HAS SOUPS 122667 WITH SCORE 123449.679
AT ITER 1179 NEW BEST:: SOT 1134609 SOS 783387 HAS SOPS 779931 HAS SOUS 124942 HAS SOUPS 122573 WITH SCORE 123356.387
AT ITER 1182 NEW BEST:: SOT 1134863 SOS 784616 HAS SOPS 781160 HAS SOUS 122870 HAS SOUPS 120501 WITH SCORE 121285.616
AT ITER 1196 NEW BEST:: SOT 1137158 SOS 877565 HAS SOPS 874439 HAS SOUS 122760 HAS SOUPS 120406 WITH SCORE 121283.565
AT ITER 1198 NEW BEST:: SOT 1137088 SOS 877495 HAS SOPS 874369 HAS SOUS 122615 HAS SOUPS 120261 WITH SCORE 121138.495
AT ITER 1203 NEW BEST:: SOT 1137092 SOS 877499 HAS SOPS 874373 HAS SOUS 122235 HAS SOUPS 119881 WITH SCORE 120758.499
AT ITER 1217 NEW BEST:: SOT 1137092 SOS 876779 HAS SOPS 873653 HAS SOUS 122205 HAS SOUPS 119851 WITH SCORE 120727.779
AT ITER 1218 NEW BEST:: SOT 1137070 SOS 876757 HAS SOPS 873631 HAS SOUS 122196 HAS SOUPS 119842 WITH SCORE 120718.757
AT ITER 1235 NEW BEST:: SOT 1137070 SOS 875376 HAS SOPS 872375 HAS SOUS 121935 HAS SOUPS 119606 WITH SCORE 120481.376
AT ITER 1244 NEW BEST:: SOT 1137070 SOS 873462 HAS SOPS 870461 HAS SOUS 121934 HAS SOUPS 119605 WITH SCORE 120478.462
AT ITER 1245 NEW BEST:: SOT 1137101 SOS 873493 HAS SOPS 870492 HAS SOUS 121747 HAS SOUPS 119418 WITH SCORE 120291.493
AT ITER 1249 NEW BEST:: SOT 1137101 SOS 873493 HAS SOPS 870492 HAS SOUS 121708 HAS SOUPS 119379 WITH SCORE 120252.493
AT ITER 1254 NEW BEST:: SOT 1136914 SOS 873306 HAS SOPS 870305 HAS SOUS 121372 HAS SOUPS 119043 WITH SCORE 119916.306
AT ITER 1258 NEW BEST:: SOT 1136830 SOS 873222 HAS SOPS 870221 HAS SOUS 120649 HAS SOUPS 118320 WITH SCORE 119193.222
AT ITER 1267 NEW BEST:: SOT 1136830 SOS 872427 HAS SOPS 869461 HAS SOUS 120629 HAS SOUPS 118307 WITH SCORE 119179.427
AT ITER 1269 NEW BEST:: SOT 1136830 SOS 872427 HAS SOPS 869461 HAS SOUS 120354 HAS SOUPS 118032 WITH SCORE 118904.427
AT ITER 1276 NEW BEST:: SOT 1136656 SOS 872253 HAS SOPS 869287 HAS SOUS 118567 HAS SOUPS 116245 WITH SCORE 117117.253
AT ITER 1292 NEW BEST:: SOT 1136460 SOS 872057 HAS SOPS 869091 HAS SOUS 118032 HAS SOUPS 115710 WITH SCORE 116582.057
AT ITER 1338 NEW BEST:: SOT 1136460 SOS 870977 HAS SOPS 868011 HAS SOUS 118032 HAS SOUPS 115710 WITH SCORE 116580.977
AT ITER 1339 NEW BEST:: SOT 1134939 SOS 870824 HAS SOPS 867858 HAS SOUS 116634 HAS SOUPS 114312 WITH SCORE 115182.824
AT ITER 1349 NEW BEST:: SOT 1134939 SOS 870463 HAS SOPS 867623 HAS SOUS 116490 HAS SOUPS 114210 WITH SCORE 115080.463
AT ITER 1350 NEW BEST:: SOT 1134939 SOS 870481 HAS SOPS 867623 HAS SOUS 116490 HAS SOUPS 114192 WITH SCORE 115062.481
AT ITER 1361 NEW BEST:: SOT 1134939 SOS 870169 HAS SOPS 867311 HAS SOUS 116490 HAS SOUPS 114192 WITH SCORE 115062.169
AT ITER 1363 NEW BEST:: SOT 1136331 SOS 870977 HAS SOPS 868531 HAS SOUS 116027 HAS SOUPS 114141 WITH SCORE 115011.977
AT ITER 1373 NEW BEST:: SOT 1135773 SOS 870735 HAS SOPS 868380 HAS SOUS 114088 HAS SOUPS 112293 WITH SCORE 113163.735
AT ITER 1376 NEW BEST:: SOT 1136761 SOS 872388 HAS SOPS 870514 HAS SOUS 113621 HAS SOUPS 112091 WITH SCORE 112963.388
AT ITER 1377 NEW BEST:: SOT 1136761 SOS 871975 HAS SOPS 870101 HAS SOUS 113604 HAS SOUPS 112074 WITH SCORE 112945.975
AT ITER 1397 NEW BEST:: SOT 1136857 SOS 872071 HAS SOPS 870197 HAS SOUS 112638 HAS SOUPS 111108 WITH SCORE 111980.071
AT ITER 1416 NEW BEST:: SOT 1137323 SOS 872537 HAS SOPS 870666 HAS SOUS 111980 HAS SOUPS 110453 WITH SCORE 111325.537
AT ITER 1444 NEW BEST:: SOT 1137323 SOS 902579 HAS SOPS 900729 HAS SOUS 111916 HAS SOUPS 110410 WITH SCORE 111312.579
AT ITER 1445 NEW BEST:: SOT 1137481 SOS 902737 HAS SOPS 900887 HAS SOUS 111852 HAS SOUPS 110346 WITH SCORE 111248.737
AT ITER 1456 NEW BEST:: SOT 1137481 SOS 901401 HAS SOPS 899603 HAS SOUS 111841 HAS SOUPS 110335 WITH SCORE 111236.401
AT ITER 1457 NEW BEST:: SOT 1136674 SOS 900594 HAS SOPS 898796 HAS SOUS 111378 HAS SOUPS 109872 WITH SCORE 110772.594
AT ITER 1477 NEW BEST:: SOT 1138221 SOS 902141 HAS SOPS 900343 HAS SOUS 110089 HAS SOUPS 108583 WITH SCORE 109485.141
AT ITER 1507 NEW BEST:: SOT 1138221 SOS 902141 HAS SOPS 900343 HAS SOUS 110064 HAS SOUPS 108558 WITH SCORE 109460.141
AT ITER 1509 NEW BEST:: SOT 1138078 SOS 901998 HAS SOPS 900200 HAS SOUS 109653 HAS SOUPS 108147 WITH SCORE 109048.998
AT ITER 1510 NEW BEST:: SOT 1138078 SOS 902251 HAS SOPS 900453 HAS SOUS 109642 HAS SOUPS 108136 WITH SCORE 109038.251
AT ITER 1516 NEW BEST:: SOT 1138190 SOS 902363 HAS SOPS 900565 HAS SOUS 109467 HAS SOUPS 107961 WITH SCORE 108863.363
AT ITER 1518 NEW BEST:: SOT 1138171 SOS 801441 HAS SOPS 798975 HAS SOUS 109448 HAS SOUPS 107912 WITH SCORE 108713.441
AT ITER 1519 NEW BEST:: SOT 1138171 SOS 801450 HAS SOPS 798975 HAS SOUS 109448 HAS SOUPS 107903 WITH SCORE 108704.45
AT ITER 1529 NEW BEST:: SOT 1138171 SOS 800058 HAS SOPS 797583 HAS SOUS 109448 HAS SOUPS 107903 WITH SCORE 108703.058
AT ITER 1532 NEW BEST:: SOT 1137508 SOS 800895 HAS SOPS 798400 HAS SOUS 108782 HAS SOUPS 107217 WITH SCORE 108017.895
AT ITER 1536 NEW BEST:: SOT 1137508 SOS 811481 HAS SOPS 808986 HAS SOUS 108732 HAS SOUPS 107167 WITH SCORE 107978.481
AT ITER 1538 NEW BEST:: SOT 1137508 SOS 811540 HAS SOPS 809045 HAS SOUS 108695 HAS SOUPS 107130 WITH SCORE 107941.54
AT ITER 1539 NEW BEST:: SOT 1136845 SOS 810877 HAS SOPS 808382 HAS SOUS 108591 HAS SOUPS 107026 WITH SCORE 107836.877
AT ITER 1543 NEW BEST:: SOT 1136811 SOS 810790 HAS SOPS 808295 HAS SOUS 108517 HAS SOUPS 106952 WITH SCORE 107762.79
AT ITER 1545 NEW BEST:: SOT 1136811 SOS 810466 HAS SOPS 807971 HAS SOUS 108517 HAS SOUPS 106952 WITH SCORE 107762.466
AT ITER 1546 NEW BEST:: SOT 1136811 SOS 809680 HAS SOPS 807191 HAS SOUS 108478 HAS SOUPS 106919 WITH SCORE 107728.68
AT ITER 1551 NEW BEST:: SOT 1137405 SOS 810274 HAS SOPS 807785 HAS SOUS 108199 HAS SOUPS 106640 WITH SCORE 107450.274
AT ITER 1559 NEW BEST:: SOT 1137405 SOS 814122 HAS SOPS 811489 HAS SOUS 108162 HAS SOUPS 106603 WITH SCORE 107417.122
AT ITER 1571 NEW BEST:: SOT 1137405 SOS 799701 HAS SOPS 797068 HAS SOUS 108148 HAS SOUPS 106589 WITH SCORE 107388.701
AT ITER 1591 NEW BEST:: SOT 1137405 SOS 799701 HAS SOPS 797068 HAS SOUS 108078 HAS SOUPS 106519 WITH SCORE 107318.701
AT ITER 1593 NEW BEST:: SOT 1137417 SOS 799569 HAS SOPS 797080 HAS SOUS 107914 HAS SOUPS 106361 WITH SCORE 107160.569
AT ITER 1617 NEW BEST:: SOT 1137404 SOS 799556 HAS SOPS 797067 HAS SOUS 107901 HAS SOUPS 106348 WITH SCORE 107147.556
AT ITER 1625 NEW BEST:: SOT 1137404 SOS 792497 HAS SOPS 790403 HAS SOUS 107563 HAS SOUPS 106089 WITH SCORE 106881.497
AT ITER 1629 NEW BEST:: SOT 1139716 SOS 797956 HAS SOPS 795895 HAS SOUS 107472 HAS SOUPS 106009 WITH SCORE 106806.956
AT ITER 1633 NEW BEST:: SOT 1139716 SOS 798600 HAS SOPS 796567 HAS SOUS 107236 HAS SOUPS 105801 WITH SCORE 106599.6
AT ITER 1654 NEW BEST:: SOT 1139926 SOS 797922 HAS SOPS 795889 HAS SOUS 106591 HAS SOUPS 105156 WITH SCORE 105953.922
AT ITER 1672 NEW BEST:: SOT 1139369 SOS 798541 HAS SOPS 796508 HAS SOUS 106179 HAS SOUPS 104744 WITH SCORE 105542.541
AT ITER 1706 NEW BEST:: SOT 1139369 SOS 797978 HAS SOPS 795945 HAS SOUS 106164 HAS SOUPS 104729 WITH SCORE 105526.978
AT ITER 1710 NEW BEST:: SOT 1139518 SOS 798127 HAS SOPS 796094 HAS SOUS 105847 HAS SOUPS 104412 WITH SCORE 105210.127
AT ITER 1714 NEW BEST:: SOT 1138589 SOS 777038 HAS SOPS 775005 HAS SOUS 104786 HAS SOUPS 103351 WITH SCORE 104128.038
AT ITER 1728 NEW BEST:: SOT 1138594 SOS 777801 HAS SOPS 775802 HAS SOUS 104517 HAS SOUPS 103116 WITH SCORE 103893.801
AT ITER 1738 NEW BEST:: SOT 1138618 SOS 777825 HAS SOPS 775718 HAS SOUS 104541 HAS SOUPS 103032 WITH SCORE 103809.825
AT ITER 1746 NEW BEST:: SOT 1138809 SOS 778016 HAS SOPS 775909 HAS SOUS 104382 HAS SOUPS 102873 WITH SCORE 103651.016
AT ITER 1763 NEW BEST:: SOT 1138633 SOS 778733 HAS SOPS 776626 HAS SOUS 104368 HAS SOUPS 102859 WITH SCORE 103637.733
AT ITER 1764 NEW BEST:: SOT 1138549 SOS 778649 HAS SOPS 776542 HAS SOUS 104239 HAS SOUPS 102730 WITH SCORE 103508.649
AT ITER 1802 NEW BEST:: SOT 1138576 SOS 778676 HAS SOPS 776571 HAS SOUS 104193 HAS SOUPS 102686 WITH SCORE 103464.676
AT ITER 1821 NEW BEST:: SOT 1140772 SOS 780507 HAS SOPS 778431 HAS SOUS 103916 HAS SOUPS 102438 WITH SCORE 103218.507
AT ITER 1849 NEW BEST:: SOT 1139288 SOS 779071 HAS SOPS 776593 HAS SOUS 104299 HAS SOUPS 102419 WITH SCORE 103198.071
AT ITER 1867 NEW BEST:: SOT 1139288 SOS 779066 HAS SOPS 776593 HAS SOUS 104239 HAS SOUPS 102364 WITH SCORE 103143.066
AT ITER 1870 NEW BEST:: SOT 1138727 SOS 778505 HAS SOPS 776032 HAS SOUS 103672 HAS SOUPS 101797 WITH SCORE 102575.505
AT ITER 1883 NEW BEST:: SOT 1139892 SOS 779670 HAS SOPS 777197 HAS SOUS 103654 HAS SOUPS 101779 WITH SCORE 102558.67
AT ITER 1887 NEW BEST:: SOT 1139892 SOS 782226 HAS SOPS 779653 HAS SOUS 103568 HAS SOUPS 101693 WITH SCORE 102475.226
AT ITER 1891 NEW BEST:: SOT 1142293 SOS 784358 HAS SOPS 781818 HAS SOUS 103232 HAS SOUPS 101390 WITH SCORE 102174.358
AT ITER 1900 NEW BEST:: SOT 1143025 SOS 785090 HAS SOPS 782550 HAS SOUS 102954 HAS SOUPS 101112 WITH SCORE 101897.09
AT ITER 1907 NEW BEST:: SOT 1141424 SOS 783489 HAS SOPS 780949 HAS SOUS 102245 HAS SOUPS 100403 WITH SCORE 101186.489
AT ITER 1909 NEW BEST:: SOT 1141424 SOS 783731 HAS SOPS 781191 HAS SOUS 102234 HAS SOUPS 100392 WITH SCORE 101175.731
AT ITER 1914 NEW BEST:: SOT 1141722 SOS 784029 HAS SOPS 781489 HAS SOUS 102186 HAS SOUPS 100344 WITH SCORE 101128.029
AT ITER 1915 NEW BEST:: SOT 1141722 SOS 782373 HAS SOPS 779833 HAS SOUS 102185 HAS SOUPS 100343 WITH SCORE 101125.373
AT ITER 1941 NEW BEST:: SOT 1140151 SOS 780802 HAS SOPS 778262 HAS SOUS 101537 HAS SOUPS 99695 WITH SCORE 100475.802
AT ITER 1959 NEW BEST:: SOT 1139664 SOS 780315 HAS SOPS 777775 HAS SOUS 101269 HAS SOUPS 99427 WITH SCORE 100207.315
AT ITER 1967 NEW BEST:: SOT 1139664 SOS 762187 HAS SOPS 759571 HAS SOUS 101213 HAS SOUPS 99371 WITH SCORE 100133.187
AT ITER 1980 NEW BEST:: SOT 1139664 SOS 763691 HAS SOPS 761075 HAS SOUS 101181 HAS SOUPS 99339 WITH SCORE 100102.691
AT ITER 1989 NEW BEST:: SOT 1139664 SOS 763688 HAS SOPS 761075 HAS SOUS 101172 HAS SOUPS 99333 WITH SCORE 100096.688
AT ITER 1994 NEW BEST:: SOT 1139664 SOS 763688 HAS SOPS 761075 HAS SOUS 101084 HAS SOUPS 99245 WITH SCORE 100008.688
AT ITER 2002 NEW BEST:: SOT 1139664 SOS 763688 HAS SOPS 761075 HAS SOUS 101052 HAS SOUPS 99213 WITH SCORE 99976.688
AT ITER 2019 NEW BEST:: SOT 1139655 SOS 763679 HAS SOPS 761066 HAS SOUS 101052 HAS SOUPS 99213 WITH SCORE 99976.679
AT ITER 2020 NEW BEST:: SOT 1139655 SOS 763679 HAS SOPS 761066 HAS SOUS 101050 HAS SOUPS 99211 WITH SCORE 99974.679
AT ITER 2028 NEW BEST:: SOT 1139655 SOS 762974 HAS SOPS 760349 HAS SOUS 101012 HAS SOUPS 99161 WITH SCORE 99923.974
AT ITER 2031 NEW BEST:: SOT 1139655 SOS 762882 HAS SOPS 760257 HAS SOUS 100983 HAS SOUPS 99132 WITH SCORE 99894.882
AT ITER 2036 NEW BEST:: SOT 1138181 SOS 762632 HAS SOPS 760007 HAS SOUS 100379 HAS SOUPS 98528 WITH SCORE 99290.632
AT ITER 2042 NEW BEST:: SOT 1137879 SOS 762330 HAS SOPS 759705 HAS SOUS 100372 HAS SOUPS 98521 WITH SCORE 99283.33
AT ITER 2059 NEW BEST:: SOT 1137990 SOS 762378 HAS SOPS 759736 HAS SOUS 100256 HAS SOUPS 98406 WITH SCORE 99168.378
AT ITER 2072 NEW BEST:: SOT 1137990 SOS 762378 HAS SOPS 759736 HAS SOUS 100240 HAS SOUPS 98390 WITH SCORE 99152.378
AT ITER 2090 NEW BEST:: SOT 1138277 SOS 762665 HAS SOPS 760023 HAS SOUS 99874 HAS SOUPS 98024 WITH SCORE 98786.665
AT ITER 2117 NEW BEST:: SOT 1138277 SOS 761705 HAS SOPS 759063 HAS SOUS 99842 HAS SOUPS 97992 WITH SCORE 98753.705
AT ITER 2129 NEW BEST:: SOT 1138277 SOS 762103 HAS SOPS 759423 HAS SOUS 99853 HAS SOUPS 97965 WITH SCORE 98727.103
AT ITER 2132 NEW BEST:: SOT 1138277 SOS 762103 HAS SOPS 759423 HAS SOUS 99842 HAS SOUPS 97954 WITH SCORE 98716.103
AT ITER 2160 NEW BEST:: SOT 1138277 SOS 761455 HAS SOPS 758775 HAS SOUS 99842 HAS SOUPS 97954 WITH SCORE 98715.455
AT ITER 2162 NEW BEST:: SOT 1138258 SOS 761436 HAS SOPS 758756 HAS SOUS 99628 HAS SOUPS 97740 WITH SCORE 98501.436
AT ITER 2171 NEW BEST:: SOT 1138621 SOS 761799 HAS SOPS 759119 HAS SOUS 99598 HAS SOUPS 97710 WITH SCORE 98471.799
AT ITER 2194 NEW BEST:: SOT 1140732 SOS 763910 HAS SOPS 761365 HAS SOUS 99082 HAS SOUPS 97329 WITH SCORE 98092.91
AT ITER 2198 NEW BEST:: SOT 1140732 SOS 762318 HAS SOPS 759877 HAS SOUS 98908 HAS SOUPS 97191 WITH SCORE 97953.318
AT ITER 2217 NEW BEST:: SOT 1140615 SOS 762201 HAS SOPS 759760 HAS SOUS 98800 HAS SOUPS 97083 WITH SCORE 97845.201
AT ITER 2220 NEW BEST:: SOT 1140615 SOS 781623 HAS SOPS 779448 HAS SOUS 98684 HAS SOUPS 97013 WITH SCORE 97794.623
AT ITER 2221 NEW BEST:: SOT 1140575 SOS 781583 HAS SOPS 779408 HAS SOUS 98483 HAS SOUPS 96812 WITH SCORE 97593.583
AT ITER 2222 NEW BEST:: SOT 1140575 SOS 781895 HAS SOPS 779720 HAS SOUS 98419 HAS SOUPS 96748 WITH SCORE 97529.895
AT ITER 2244 NEW BEST:: SOT 1140115 SOS 781435 HAS SOPS 779260 HAS SOUS 98343 HAS SOUPS 96672 WITH SCORE 97453.435
AT ITER 2250 NEW BEST:: SOT 1140037 SOS 781357 HAS SOPS 779182 HAS SOUS 98235 HAS SOUPS 96564 WITH SCORE 97345.357
AT ITER 2266 NEW BEST:: SOT 1140013 SOS 781062 HAS SOPS 779158 HAS SOUS 96658 HAS SOUPS 94999 WITH SCORE 95780.062
AT ITER 2279 NEW BEST:: SOT 1141229 SOS 782278 HAS SOPS 780374 HAS SOUS 96453 HAS SOUPS 94794 WITH SCORE 95576.278
AT ITER 2333 NEW BEST:: SOT 1139779 SOS 780828 HAS SOPS 778924 HAS SOUS 95731 HAS SOUPS 94072 WITH SCORE 94852.828
AT ITER 2392 NEW BEST:: SOT 1139799 SOS 780851 HAS SOPS 778947 HAS SOUS 95669 HAS SOUPS 94010 WITH SCORE 94790.851
AT ITER 2396 NEW BEST:: SOT 1137555 SOS 778607 HAS SOPS 776703 HAS SOUS 95071 HAS SOUPS 93412 WITH SCORE 94190.607
AT ITER 2403 NEW BEST:: SOT 1137864 SOS 778916 HAS SOPS 777012 HAS SOUS 94968 HAS SOUPS 93309 WITH SCORE 94087.916
AT ITER 2405 NEW BEST:: SOT 1138667 SOS 779719 HAS SOPS 777815 HAS SOUS 94037 HAS SOUPS 92378 WITH SCORE 93157.719
AT ITER 2408 NEW BEST:: SOT 1137582 SOS 778634 HAS SOPS 776595 HAS SOUS 94080 HAS SOUPS 92286 WITH SCORE 93064.634
AT ITER 2429 NEW BEST:: SOT 1137582 SOS 778634 HAS SOPS 776595 HAS SOUS 94071 HAS SOUPS 92277 WITH SCORE 93055.634
AT ITER 2434 NEW BEST:: SOT 1136392 SOS 777444 HAS SOPS 775405 HAS SOUS 93585 HAS SOUPS 91791 WITH SCORE 92568.444
AT ITER 2437 NEW BEST:: SOT 1136408 SOS 777460 HAS SOPS 775421 HAS SOUS 92751 HAS SOUPS 90957 WITH SCORE 91734.46
AT ITER 2449 NEW BEST:: SOT 1136408 SOS 777450 HAS SOPS 775421 HAS SOUS 92684 HAS SOUPS 90900 WITH SCORE 91677.45
AT ITER 2468 NEW BEST:: SOT 1136408 SOS 777450 HAS SOPS 775421 HAS SOUS 92409 HAS SOUPS 90625 WITH SCORE 91402.45
AT ITER 2482 NEW BEST:: SOT 1136221 SOS 777263 HAS SOPS 775234 HAS SOUS 92174 HAS SOUPS 90390 WITH SCORE 91167.263
AT ITER 2495 NEW BEST:: SOT 1135951 SOS 776993 HAS SOPS 774964 HAS SOUS 91661 HAS SOUPS 89877 WITH SCORE 90653.993
AT ITER 2516 NEW BEST:: SOT 1135996 SOS 774520 HAS SOPS 772338 HAS SOUS 91571 HAS SOUPS 89634 WITH SCORE 90408.52
AT ITER 2522 NEW BEST:: SOT 1135996 SOS 774520 HAS SOPS 772338 HAS SOUS 91560 HAS SOUPS 89623 WITH SCORE 90397.52
AT ITER 2529 NEW BEST:: SOT 1136552 SOS 775092 HAS SOPS 773158 HAS SOUS 89639 HAS SOUPS 87713 WITH SCORE 88488.092
AT ITER 2541 NEW BEST:: SOT 1136552 SOS 775092 HAS SOPS 773158 HAS SOUS 89584 HAS SOUPS 87658 WITH SCORE 88433.092
AT ITER 2556 NEW BEST:: SOT 1138458 SOS 777670 HAS SOPS 775862 HAS SOUS 89258 HAS SOUPS 87458 WITH SCORE 88235.67
AT ITER 2559 NEW BEST:: SOT 1138458 SOS 777485 HAS SOPS 775677 HAS SOUS 89258 HAS SOUPS 87458 WITH SCORE 88235.485
AT ITER 2569 NEW BEST:: SOT 1138338 SOS 777365 HAS SOPS 775552 HAS SOUS 89138 HAS SOUPS 87333 WITH SCORE 88110.365
AT ITER 2596 NEW BEST:: SOT 1138842 SOS 777869 HAS SOPS 776056 HAS SOUS 88990 HAS SOUPS 87185 WITH SCORE 87962.869
AT ITER 2608 NEW BEST:: SOT 1138842 SOS 777797 HAS SOPS 775984 HAS SOUS 88987 HAS SOUPS 87182 WITH SCORE 87959.797
AT ITER 2641 NEW BEST:: SOT 1138794 SOS 777749 HAS SOPS 775936 HAS SOUS 88937 HAS SOUPS 87132 WITH SCORE 87909.749
AT ITER 2650 NEW BEST:: SOT 1141722 SOS 781114 HAS SOPS 779628 HAS SOUS 88521 HAS SOUPS 87043 WITH SCORE 87824.114
AT ITER 2656 NEW BEST:: SOT 1141726 SOS 780854 HAS SOPS 779368 HAS SOUS 88510 HAS SOUPS 87032 WITH SCORE 87812.854
AT ITER 2668 NEW BEST:: SOT 1141469 SOS 780633 HAS SOPS 779147 HAS SOUS 88382 HAS SOUPS 86904 WITH SCORE 87684.633
AT ITER 2691 NEW BEST:: SOT 1141469 SOS 780273 HAS SOPS 778787 HAS SOUS 88382 HAS SOUPS 86904 WITH SCORE 87684.273
AT ITER 2711 NEW BEST:: SOT 1141469 SOS 780580 HAS SOPS 779094 HAS SOUS 88225 HAS SOUPS 86747 WITH SCORE 87527.58
AT ITER 2715 NEW BEST:: SOT 1141469 SOS 780580 HAS SOPS 779094 HAS SOUS 88200 HAS SOUPS 86722 WITH SCORE 87502.58
AT ITER 2718 NEW BEST:: SOT 1141325 SOS 780436 HAS SOPS 778950 HAS SOUS 88168 HAS SOUPS 86690 WITH SCORE 87470.436
AT ITER 2720 NEW BEST:: SOT 1141347 SOS 780458 HAS SOPS 778972 HAS SOUS 87712 HAS SOUPS 86234 WITH SCORE 87014.458
AT ITER 2748 NEW BEST:: SOT 1141366 SOS 780477 HAS SOPS 778991 HAS SOUS 87711 HAS SOUPS 86233 WITH SCORE 87013.477
AT ITER 2776 NEW BEST:: SOT 1140691 SOS 779802 HAS SOPS 778316 HAS SOUS 87684 HAS SOUPS 86206 WITH SCORE 86985.802
AT ITER 2785 NEW BEST:: SOT 1140697 SOS 779808 HAS SOPS 778322 HAS SOUS 87644 HAS SOUPS 86166 WITH SCORE 86945.808
AT ITER 2788 NEW BEST:: SOT 1141254 SOS 780365 HAS SOPS 778879 HAS SOUS 87465 HAS SOUPS 85987 WITH SCORE 86767.365
AT ITER 2799 NEW BEST:: SOT 1141254 SOS 780365 HAS SOPS 778879 HAS SOUS 87417 HAS SOUPS 85939 WITH SCORE 86719.365
AT ITER 2824 NEW BEST:: SOT 1141254 SOS 780131 HAS SOPS 778645 HAS SOUS 87417 HAS SOUPS 85939 WITH SCORE 86719.131
AT ITER 2829 NEW BEST:: SOT 1141254 SOS 780146 HAS SOPS 778675 HAS SOUS 87398 HAS SOUPS 85935 WITH SCORE 86715.146
AT ITER 2838 NEW BEST:: SOT 1140804 SOS 779696 HAS SOPS 778225 HAS SOUS 87205 HAS SOUPS 85742 WITH SCORE 86521.696
AT ITER 2842 NEW BEST:: SOT 1140712 SOS 779604 HAS SOPS 778133 HAS SOUS 87161 HAS SOUPS 85698 WITH SCORE 86477.604
AT ITER 2846 NEW BEST:: SOT 1140712 SOS 779604 HAS SOPS 778133 HAS SOUS 87152 HAS SOUPS 85689 WITH SCORE 86468.604
AT ITER 2855 NEW BEST:: SOT 1140712 SOS 779594 HAS SOPS 778133 HAS SOUS 87142 HAS SOUPS 85689 WITH SCORE 86468.594
AT ITER 2867 NEW BEST:: SOT 1140712 SOS 764439 HAS SOPS 762978 HAS SOUS 87107 HAS SOUPS 85654 WITH SCORE 86418.439
AT ITER 2878 NEW BEST:: SOT 1140712 SOS 765519 HAS SOPS 764058 HAS SOUS 87083 HAS SOUPS 85630 WITH SCORE 86395.519
AT ITER 2934 NEW BEST:: SOT 1140505 SOS 765312 HAS SOPS 764385 HAS SOUS 86486 HAS SOUPS 85567 WITH SCORE 86332.312
AT ITER 2943 NEW BEST:: SOT 1141631 SOS 766438 HAS SOPS 765511 HAS SOUS 86388 HAS SOUPS 85469 WITH SCORE 86235.438
AT ITER 2969 NEW BEST:: SOT 1141631 SOS 766412 HAS SOPS 765485 HAS SOUS 86388 HAS SOUPS 85469 WITH SCORE 86235.412
AT ITER 2988 NEW BEST:: SOT 1139135 SOS 763796 HAS SOPS 762869 HAS SOUS 86296 HAS SOUPS 85377 WITH SCORE 86140.796
AT ITER 3019 NEW BEST:: SOT 1139135 SOS 763796 HAS SOPS 762869 HAS SOUS 86280 HAS SOUPS 85361 WITH SCORE 86124.796
AT ITER 3023 NEW BEST:: SOT 1139341 SOS 764012 HAS SOPS 763095 HAS SOUS 86007 HAS SOUPS 85098 WITH SCORE 85862.012
AT ITER 3044 NEW BEST:: SOT 1142475 SOS 767478 HAS SOPS 766575 HAS SOUS 85950 HAS SOUPS 85055 WITH SCORE 85822.478
AT ITER 3052 NEW BEST:: SOT 1142475 SOS 764567 HAS SOPS 763664 HAS SOUS 85873 HAS SOUPS 84978 WITH SCORE 85742.567
AT ITER 3071 NEW BEST:: SOT 1142475 SOS 764567 HAS SOPS 763664 HAS SOUS 85548 HAS SOUPS 84653 WITH SCORE 85417.567
AT ITER 3079 NEW BEST:: SOT 1142475 SOS 753951 HAS SOPS 753048 HAS SOUS 85516 HAS SOUPS 84621 WITH SCORE 85374.951
AT ITER 3099 NEW BEST:: SOT 1141987 SOS 753463 HAS SOPS 752560 HAS SOUS 84968 HAS SOUPS 84073 WITH SCORE 84826.463
AT ITER 3131 NEW BEST:: SOT 1141987 SOS 757879 HAS SOPS 756992 HAS SOUS 84954 HAS SOUPS 84067 WITH SCORE 84824.879
AT ITER 3143 NEW BEST:: SOT 1142001 SOS 757894 HAS SOPS 757007 HAS SOUS 84935 HAS SOUPS 84048 WITH SCORE 84805.894
AT ITER 3236 NEW BEST:: SOT 1141419 SOS 757312 HAS SOPS 756425 HAS SOUS 84895 HAS SOUPS 84008 WITH SCORE 84765.312
AT ITER 3265 NEW BEST:: SOT 1141422 SOS 757315 HAS SOPS 756428 HAS SOUS 84823 HAS SOUPS 83936 WITH SCORE 84693.315
AT ITER 3269 NEW BEST:: SOT 1141422 SOS 757315 HAS SOPS 756428 HAS SOUS 84769 HAS SOUPS 83882 WITH SCORE 84639.315
AT ITER 3282 NEW BEST:: SOT 1141422 SOS 757077 HAS SOPS 756190 HAS SOUS 84752 HAS SOUPS 83865 WITH SCORE 84622.077
AT ITER 3313 NEW BEST:: SOT 1140842 SOS 756401 HAS SOPS 755514 HAS SOUS 84722 HAS SOUPS 83835 WITH SCORE 84591.401
AT ITER 3314 NEW BEST:: SOT 1140796 SOS 756355 HAS SOPS 755468 HAS SOUS 84566 HAS SOUPS 83679 WITH SCORE 84435.355
AT ITER 3316 NEW BEST:: SOT 1140796 SOS 692365 HAS SOPS 691478 HAS SOUS 84430 HAS SOUPS 83543 WITH SCORE 84235.365
AT ITER 3323 NEW BEST:: SOT 1140934 SOS 693675 HAS SOPS 692788 HAS SOUS 84308 HAS SOUPS 83421 WITH SCORE 84114.675
AT ITER 3355 NEW BEST:: SOT 1141590 SOS 694331 HAS SOPS 693444 HAS SOUS 84256 HAS SOUPS 83369 WITH SCORE 84063.331
AT ITER 3364 NEW BEST:: SOT 1141315 SOS 694045 HAS SOPS 693158 HAS SOUS 84245 HAS SOUPS 83358 WITH SCORE 84052.045
AT ITER 3367 NEW BEST:: SOT 1141315 SOS 694044 HAS SOPS 693158 HAS SOUS 84239 HAS SOUPS 83353 WITH SCORE 84047.044
AT ITER 3379 NEW BEST:: SOT 1140101 SOS 692830 HAS SOPS 691944 HAS SOUS 84129 HAS SOUPS 83243 WITH SCORE 83935.83
AT ITER 3392 NEW BEST:: SOT 1140101 SOS 692824 HAS SOPS 691938 HAS SOUS 84126 HAS SOUPS 83240 WITH SCORE 83932.824
AT ITER 3412 NEW BEST:: SOT 1140101 SOS 692440 HAS SOPS 691554 HAS SOUS 84126 HAS SOUPS 83240 WITH SCORE 83932.44
AT ITER 3425 NEW BEST:: SOT 1140101 SOS 693107 HAS SOPS 692221 HAS SOUS 84097 HAS SOUPS 83211 WITH SCORE 83904.107
AT ITER 3447 NEW BEST:: SOT 1139117 SOS 678262 HAS SOPS 677376 HAS SOUS 84010 HAS SOUPS 83124 WITH SCORE 83802.262
AT ITER 3474 NEW BEST:: SOT 1139049 SOS 678194 HAS SOPS 677308 HAS SOUS 83890 HAS SOUPS 83004 WITH SCORE 83682.194
AT ITER 3524 NEW BEST:: SOT 1138649 SOS 677076 HAS SOPS 676190 HAS SOUS 83484 HAS SOUPS 82598 WITH SCORE 83275.076
AT ITER 3537 NEW BEST:: SOT 1138649 SOS 676476 HAS SOPS 675590 HAS SOUS 83484 HAS SOUPS 82598 WITH SCORE 83274.476
AT ITER 3574 NEW BEST:: SOT 1142125 SOS 683120 HAS SOPS 682234 HAS SOUS 83380 HAS SOUPS 82494 WITH SCORE 83177.12
AT ITER 3577 NEW BEST:: SOT 1142125 SOS 683072 HAS SOPS 682186 HAS SOUS 83378 HAS SOUPS 82492 WITH SCORE 83175.072
AT ITER 3589 NEW BEST:: SOT 1142125 SOS 662323 HAS SOPS 661274 HAS SOUS 83417 HAS SOUPS 82512 WITH SCORE 83174.323
AT ITER 3634 NEW BEST:: SOT 1140235 SOS 657158 HAS SOPS 656048 HAS SOUS 83465 HAS SOUPS 82499 WITH SCORE 83156.158
AT ITER 3636 NEW BEST:: SOT 1140235 SOS 656822 HAS SOPS 655712 HAS SOUS 83465 HAS SOUPS 82499 WITH SCORE 83155.822
AT ITER 3643 NEW BEST:: SOT 1140235 SOS 656828 HAS SOPS 655706 HAS SOUS 83471 HAS SOUPS 82493 WITH SCORE 83149.828
AT ITER 3669 NEW BEST:: SOT 1141468 SOS 658383 HAS SOPS 657301 HAS SOUS 83324 HAS SOUPS 82386 WITH SCORE 83044.383
AT ITER 3680 NEW BEST:: SOT 1141462 SOS 658377 HAS SOPS 657295 HAS SOUS 83312 HAS SOUPS 82374 WITH SCORE 83032.377
AT ITER 3711 NEW BEST:: SOT 1141502 SOS 658417 HAS SOPS 657335 HAS SOUS 83232 HAS SOUPS 82294 WITH SCORE 82952.417
AT ITER 3718 NEW BEST:: SOT 1141008 SOS 657923 HAS SOPS 656841 HAS SOUS 83018 HAS SOUPS 82080 WITH SCORE 82737.923
AT ITER 3742 NEW BEST:: SOT 1141008 SOS 657779 HAS SOPS 656697 HAS SOUS 83018 HAS SOUPS 82080 WITH SCORE 82737.779
AT ITER 3748 NEW BEST:: SOT 1141008 SOS 657771 HAS SOPS 656697 HAS SOUS 83010 HAS SOUPS 82080 WITH SCORE 82737.771
AT ITER 3753 NEW BEST:: SOT 1139644 SOS 656287 HAS SOPS 655213 HAS SOUS 82860 HAS SOUPS 81930 WITH SCORE 82586.287
AT ITER 3767 NEW BEST:: SOT 1139644 SOS 655729 HAS SOPS 654655 HAS SOUS 82859 HAS SOUPS 81929 WITH SCORE 82584.729
AT ITER 3778 NEW BEST:: SOT 1139101 SOS 655186 HAS SOPS 653748 HAS SOUS 82991 HAS SOUPS 81697 WITH SCORE 82352.186
AT ITER 3783 NEW BEST:: SOT 1139101 SOS 657714 HAS SOPS 656182 HAS SOUS 82998 HAS SOUPS 81610 WITH SCORE 82267.714
AT ITER 3785 NEW BEST:: SOT 1139101 SOS 655698 HAS SOPS 654166 HAS SOUS 82979 HAS SOUPS 81591 WITH SCORE 82246.698
AT ITER 3848 NEW BEST:: SOT 1138525 SOS 659850 HAS SOPS 658318 HAS SOUS 82521 HAS SOUPS 81133 WITH SCORE 81792.85
AT ITER 3856 NEW BEST:: SOT 1139548 SOS 660873 HAS SOPS 659341 HAS SOUS 82271 HAS SOUPS 80883 WITH SCORE 81543.873
AT ITER 3860 NEW BEST:: SOT 1139428 SOS 660633 HAS SOPS 659101 HAS SOUS 82271 HAS SOUPS 80883 WITH SCORE 81543.633
AT ITER 3868 NEW BEST:: SOT 1139428 SOS 660626 HAS SOPS 659101 HAS SOUS 82162 HAS SOUPS 80781 WITH SCORE 81441.626
AT ITER 3884 NEW BEST:: SOT 1139498 SOS 660696 HAS SOPS 659171 HAS SOUS 82106 HAS SOUPS 80725 WITH SCORE 81385.696
AT ITER 3893 NEW BEST:: SOT 1139480 SOS 660678 HAS SOPS 659153 HAS SOUS 82081 HAS SOUPS 80700 WITH SCORE 81360.678
AT ITER 3913 NEW BEST:: SOT 1139480 SOS 660810 HAS SOPS 659273 HAS SOUS 82069 HAS SOUPS 80676 WITH SCORE 81336.81
AT ITER 3970 NEW BEST:: SOT 1139829 SOS 661159 HAS SOPS 659622 HAS SOUS 82063 HAS SOUPS 80670 WITH SCORE 81331.159
AT ITER 3971 NEW BEST:: SOT 1139725 SOS 661051 HAS SOPS 659518 HAS SOUS 81906 HAS SOUPS 80517 WITH SCORE 81178.051
AT ITER 3977 NEW BEST:: SOT 1139725 SOS 660589 HAS SOPS 659056 HAS SOUS 81906 HAS SOUPS 80517 WITH SCORE 81177.589
AT ITER 3994 NEW BEST:: SOT 1139725 SOS 659564 HAS SOPS 658000 HAS SOUS 81914 HAS SOUPS 80494 WITH SCORE 81153.564
AT ITER 4024 NEW BEST:: SOT 1139725 SOS 660417 HAS SOPS 658853 HAS SOUS 81904 HAS SOUPS 80484 WITH SCORE 81144.417
AT ITER 4031 NEW BEST:: SOT 1138915 SOS 642531 HAS SOPS 640491 HAS SOUS 81927 HAS SOUPS 80481 WITH SCORE 81123.531
AT ITER 4141 NEW BEST:: SOT 1138915 SOS 642831 HAS SOPS 640791 HAS SOUS 81912 HAS SOUPS 80466 WITH SCORE 81108.831
AT ITER 4167 NEW BEST:: SOT 1138849 SOS 642717 HAS SOPS 640677 HAS SOUS 81890 HAS SOUPS 80444 WITH SCORE 81086.717
AT ITER 4186 NEW BEST:: SOT 1137941 SOS 642073 HAS SOPS 640033 HAS SOUS 81067 HAS SOUPS 79621 WITH SCORE 80263.073
AT ITER 4188 NEW BEST:: SOT 1137641 SOS 641621 HAS SOPS 639581 HAS SOUS 81027 HAS SOUPS 79581 WITH SCORE 80222.621
AT ITER 4193 NEW BEST:: SOT 1137639 SOS 641393 HAS SOPS 639353 HAS SOUS 81025 HAS SOUPS 79579 WITH SCORE 80220.393
AT ITER 4232 NEW BEST:: SOT 1137614 SOS 641368 HAS SOPS 639328 HAS SOUS 81024 HAS SOUPS 79578 WITH SCORE 80219.368
AT ITER 4267 NEW BEST:: SOT 1137614 SOS 641368 HAS SOPS 639328 HAS SOUS 80736 HAS SOUPS 79290 WITH SCORE 79931.368
AT ITER 4270 NEW BEST:: SOT 1137606 SOS 641360 HAS SOPS 639320 HAS SOUS 80681 HAS SOUPS 79235 WITH SCORE 79876.36
AT ITER 4287 NEW BEST:: SOT 1137115 SOS 646053 HAS SOPS 644013 HAS SOUS 80538 HAS SOUPS 79092 WITH SCORE 79738.053
AT ITER 4307 NEW BEST:: SOT 1137167 SOS 646537 HAS SOPS 644497 HAS SOUS 80451 HAS SOUPS 79005 WITH SCORE 79651.537
AT ITER 4316 NEW BEST:: SOT 1137167 SOS 648137 HAS SOPS 646097 HAS SOUS 80395 HAS SOUPS 78949 WITH SCORE 79597.137
AT ITER 4325 NEW BEST:: SOT 1137281 SOS 656177 HAS SOPS 654613 HAS SOUS 79714 HAS SOUPS 78294 WITH SCORE 78950.177
AT ITER 4342 NEW BEST:: SOT 1137281 SOS 656098 HAS SOPS 654545 HAS SOUS 79703 HAS SOUPS 78294 WITH SCORE 78950.098
AT ITER 4345 NEW BEST:: SOT 1137281 SOS 656265 HAS SOPS 654713 HAS SOUS 79638 HAS SOUPS 78230 WITH SCORE 78886.265
AT ITER 4354 NEW BEST:: SOT 1137281 SOS 656097 HAS SOPS 654545 HAS SOUS 79638 HAS SOUPS 78230 WITH SCORE 78886.097
AT ITER 4366 NEW BEST:: SOT 1137281 SOS 655905 HAS SOPS 654353 HAS SOUS 79638 HAS SOUPS 78230 WITH SCORE 78885.905
AT ITER 4367 NEW BEST:: SOT 1137281 SOS 655857 HAS SOPS 654295 HAS SOUS 79642 HAS SOUPS 78224 WITH SCORE 78879.857
AT ITER 4378 NEW BEST:: SOT 1137233 SOS 655857 HAS SOPS 654295 HAS SOUS 79611 HAS SOUPS 78193 WITH SCORE 78848.857
AT ITER 4404 NEW BEST:: SOT 1137233 SOS 655907 HAS SOPS 654347 HAS SOUS 79496 HAS SOUPS 78080 WITH SCORE 78735.907
AT ITER 4409 NEW BEST:: SOT 1136991 SOS 655665 HAS SOPS 654105 HAS SOUS 79400 HAS SOUPS 77984 WITH SCORE 78639.665
AT ITER 4410 NEW BEST:: SOT 1136991 SOS 655671 HAS SOPS 654111 HAS SOUS 79343 HAS SOUPS 77927 WITH SCORE 78582.671
AT ITER 4436 NEW BEST:: SOT 1136991 SOS 655518 HAS SOPS 653958 HAS SOUS 79343 HAS SOUPS 77927 WITH SCORE 78582.518
AT ITER 4441 NEW BEST:: SOT 1136991 SOS 655527 HAS SOPS 653958 HAS SOUS 79345 HAS SOUPS 77920 WITH SCORE 78575.527
AT ITER 4453 NEW BEST:: SOT 1136991 SOS 655527 HAS SOPS 653958 HAS SOUS 79343 HAS SOUPS 77918 WITH SCORE 78573.527
AT ITER 4458 NEW BEST:: SOT 1136991 SOS 654999 HAS SOPS 653430 HAS SOUS 79321 HAS SOUPS 77896 WITH SCORE 78550.999
AT ITER 4492 NEW BEST:: SOT 1137177 SOS 655185 HAS SOPS 653616 HAS SOUS 79274 HAS SOUPS 77849 WITH SCORE 78504.185
AT ITER 4494 NEW BEST:: SOT 1137177 SOS 655185 HAS SOPS 653616 HAS SOUS 79263 HAS SOUPS 77838 WITH SCORE 78493.185
AT ITER 4500 NEW BEST:: SOT 1137177 SOS 654789 HAS SOPS 653220 HAS SOUS 79263 HAS SOUPS 77838 WITH SCORE 78492.789
AT ITER 4508 NEW BEST:: SOT 1137315 SOS 655071 HAS SOPS 653502 HAS SOUS 79131 HAS SOUPS 77706 WITH SCORE 78361.071
AT ITER 4517 NEW BEST:: SOT 1137315 SOS 655159 HAS SOPS 653565 HAS SOUS 79140 HAS SOUPS 77690 WITH SCORE 78345.159
AT ITER 4522 NEW BEST:: SOT 1137315 SOS 654963 HAS SOPS 653369 HAS SOUS 79042 HAS SOUPS 77592 WITH SCORE 78246.963
AT ITER 4538 NEW BEST:: SOT 1137315 SOS 654291 HAS SOPS 652697 HAS SOUS 79042 HAS SOUPS 77592 WITH SCORE 78246.291
AT ITER 4543 NEW BEST:: SOT 1135331 SOS 648698 HAS SOPS 646773 HAS SOUS 79303 HAS SOUPS 77522 WITH SCORE 78170.698
AT ITER 4544 NEW BEST:: SOT 1134755 SOS 648122 HAS SOPS 646197 HAS SOUS 78848 HAS SOUPS 77067 WITH SCORE 77715.122
AT ITER 4559 NEW BEST:: SOT 1134755 SOS 648166 HAS SOPS 646220 HAS SOUS 78862 HAS SOUPS 77060 WITH SCORE 77708.166
AT ITER 4576 NEW BEST:: SOT 1134636 SOS 648047 HAS SOPS 646101 HAS SOUS 78680 HAS SOUPS 76878 WITH SCORE 77526.047
AT ITER 4577 NEW BEST:: SOT 1134570 SOS 647981 HAS SOPS 646035 HAS SOUS 78563 HAS SOUPS 76761 WITH SCORE 77408.981
AT ITER 4581 NEW BEST:: SOT 1134437 SOS 647848 HAS SOPS 645902 HAS SOUS 78495 HAS SOUPS 76693 WITH SCORE 77340.848
AT ITER 4692 NEW BEST:: SOT 1134534 SOS 647945 HAS SOPS 645999 HAS SOUS 77864 HAS SOUPS 76062 WITH SCORE 76709.945
AT ITER 4695 NEW BEST:: SOT 1134538 SOS 646409 HAS SOPS 644463 HAS SOUS 77864 HAS SOUPS 76062 WITH SCORE 76708.409
AT ITER 4704 NEW BEST:: SOT 1134717 SOS 646809 HAS SOPS 644906 HAS SOUS 77727 HAS SOUPS 75968 WITH SCORE 76614.809
AT ITER 4714 NEW BEST:: SOT 1134717 SOS 646050 HAS SOPS 644147 HAS SOUS 77727 HAS SOUPS 75968 WITH SCORE 76614.05
AT ITER 4715 NEW BEST:: SOT 1134717 SOS 646243 HAS SOPS 644340 HAS SOUS 77711 HAS SOUPS 75952 WITH SCORE 76598.243
AT ITER 4734 NEW BEST:: SOT 1134717 SOS 646243 HAS SOPS 644340 HAS SOUS 77615 HAS SOUPS 75856 WITH SCORE 76502.243
AT ITER 4783 NEW BEST:: SOT 1134695 SOS 645741 HAS SOPS 643838 HAS SOUS 77567 HAS SOUPS 75808 WITH SCORE 76453.741
AT ITER 4815 NEW BEST:: SOT 1134470 SOS 645516 HAS SOPS 643613 HAS SOUS 77176 HAS SOUPS 75417 WITH SCORE 76062.516
AT ITER 4850 NEW BEST:: SOT 1134470 SOS 645516 HAS SOPS 643613 HAS SOUS 77124 HAS SOUPS 75365 WITH SCORE 76010.516
AT ITER 4897 NEW BEST:: SOT 1135403 SOS 646449 HAS SOPS 644546 HAS SOUS 76719 HAS SOUPS 74960 WITH SCORE 75606.449
AT ITER 4908 NEW BEST:: SOT 1134467 SOS 645297 HAS SOPS 643394 HAS SOUS 76719 HAS SOUPS 74960 WITH SCORE 75605.297
AT ITER 4913 NEW BEST:: SOT 1135103 SOS 647293 HAS SOPS 645522 HAS SOUS 76504 HAS SOUPS 74877 WITH SCORE 75524.293
AT ITER 4965 NEW BEST:: SOT 1135103 SOS 646693 HAS SOPS 644922 HAS SOUS 76504 HAS SOUPS 74877 WITH SCORE 75523.693
AT ITER 4971 NEW BEST:: SOT 1135103 SOS 646681 HAS SOPS 644910 HAS SOUS 76504 HAS SOUPS 74877 WITH SCORE 75523.681
AT ITER 4982 NEW BEST:: SOT 1135064 SOS 646642 HAS SOPS 644871 HAS SOUS 76423 HAS SOUPS 74796 WITH SCORE 75442.642
AT ITER 5003 NEW BEST:: SOT 1135333 SOS 646911 HAS SOPS 645140 HAS SOUS 75859 HAS SOUPS 74232 WITH SCORE 74878.911
AT ITER 5020 NEW BEST:: SOT 1135290 SOS 646868 HAS SOPS 645097 HAS SOUS 75856 HAS SOUPS 74229 WITH SCORE 74875.868
AT ITER 5033 NEW BEST:: SOT 1135290 SOS 646824 HAS SOPS 645045 HAS SOUS 75856 HAS SOUPS 74221 WITH SCORE 74867.824
AT ITER 5045 NEW BEST:: SOT 1135290 SOS 646392 HAS SOPS 644613 HAS SOUS 75856 HAS SOUPS 74221 WITH SCORE 74867.392
AT ITER 5057 NEW BEST:: SOT 1135290 SOS 645528 HAS SOPS 643743 HAS SOUS 75856 HAS SOUPS 74215 WITH SCORE 74860.528
AT ITER 5092 NEW BEST:: SOT 1135290 SOS 645528 HAS SOPS 643743 HAS SOUS 75788 HAS SOUPS 74147 WITH SCORE 74792.528
AT ITER 5134 NEW BEST:: SOT 1134882 SOS 645120 HAS SOPS 643335 HAS SOUS 75788 HAS SOUPS 74147 WITH SCORE 74792.12
AT ITER 5200 NEW BEST:: SOT 1134882 SOS 644688 HAS SOPS 642903 HAS SOUS 75788 HAS SOUPS 74147 WITH SCORE 74791.688
AT ITER 5215 NEW BEST:: SOT 1134222 SOS 643788 HAS SOPS 641958 HAS SOUS 75231 HAS SOUPS 73545 WITH SCORE 74188.788
AT ITER 5256 NEW BEST:: SOT 1134222 SOS 642828 HAS SOPS 640998 HAS SOUS 75231 HAS SOUPS 73545 WITH SCORE 74187.828
AT ITER 5271 NEW BEST:: SOT 1134246 SOS 642852 HAS SOPS 641022 HAS SOUS 75230 HAS SOUPS 73544 WITH SCORE 74186.852
AT ITER 5279 NEW BEST:: SOT 1134246 SOS 642708 HAS SOPS 640878 HAS SOUS 75230 HAS SOUPS 73544 WITH SCORE 74186.708
AT ITER 5314 NEW BEST:: SOT 1134246 SOS 642516 HAS SOPS 640686 HAS SOUS 75222 HAS SOUPS 73536 WITH SCORE 74178.516
AT ITER 5323 NEW BEST:: SOT 1134246 SOS 642516 HAS SOPS 640686 HAS SOUS 75216 HAS SOUPS 73530 WITH SCORE 74172.516
AT ITER 5437 NEW BEST:: SOT 1133159 SOS 641429 HAS SOPS 639599 HAS SOUS 74844 HAS SOUPS 73158 WITH SCORE 73799.429
AT ITER 5447 NEW BEST:: SOT 1132700 SOS 640970 HAS SOPS 639140 HAS SOUS 74534 HAS SOUPS 72848 WITH SCORE 73488.97
AT ITER 5495 NEW BEST:: SOT 1132700 SOS 639819 HAS SOPS 638092 HAS SOUS 74307 HAS SOUPS 72644 WITH SCORE 73283.819
AT ITER 5516 NEW BEST:: SOT 1132700 SOS 639819 HAS SOPS 638092 HAS SOUS 74291 HAS SOUPS 72628 WITH SCORE 73267.819
AT ITER 5528 NEW BEST:: SOT 1132448 SOS 637198 HAS SOPS 635529 HAS SOUS 73860 HAS SOUPS 72239 WITH SCORE 72876.198
AT ITER 5534 NEW BEST:: SOT 1132446 SOS 637196 HAS SOPS 635527 HAS SOUS 73847 HAS SOUPS 72226 WITH SCORE 72863.196
AT ITER 5579 NEW BEST:: SOT 1132103 SOS 636853 HAS SOPS 635184 HAS SOUS 73784 HAS SOUPS 72163 WITH SCORE 72799.853
AT ITER 5593 NEW BEST:: SOT 1132103 SOS 636853 HAS SOPS 635184 HAS SOUS 73782 HAS SOUPS 72161 WITH SCORE 72797.853
AT ITER 5616 NEW BEST:: SOT 1131935 SOS 636685 HAS SOPS 635016 HAS SOUS 73752 HAS SOUPS 72131 WITH SCORE 72767.685
AT ITER 5649 NEW BEST:: SOT 1131706 SOS 637056 HAS SOPS 635387 HAS SOUS 73590 HAS SOUPS 71969 WITH SCORE 72606.056
AT ITER 5689 NEW BEST:: SOT 1130237 SOS 635981 HAS SOPS 634312 HAS SOUS 73371 HAS SOUPS 71750 WITH SCORE 72385.981
AT ITER 5702 NEW BEST:: SOT 1130237 SOS 635912 HAS SOPS 634240 HAS SOUS 73374 HAS SOUPS 71750 WITH SCORE 72385.912
AT ITER 5725 NEW BEST:: SOT 1130237 SOS 635912 HAS SOPS 634240 HAS SOUS 73352 HAS SOUPS 71728 WITH SCORE 72363.912
AT ITER 5749 NEW BEST:: SOT 1130237 SOS 635864 HAS SOPS 634192 HAS SOUS 73352 HAS SOUPS 71728 WITH SCORE 72363.864
AT ITER 5751 NEW BEST:: SOT 1130237 SOS 635304 HAS SOPS 633632 HAS SOUS 73351 HAS SOUPS 71727 WITH SCORE 72362.304
AT ITER 5753 NEW BEST:: SOT 1130237 SOS 635344 HAS SOPS 633674 HAS SOUS 73341 HAS SOUPS 71719 WITH SCORE 72354.344
AT ITER 5781 NEW BEST:: SOT 1130237 SOS 635344 HAS SOPS 633674 HAS SOUS 73320 HAS SOUPS 71698 WITH SCORE 72333.344
AT ITER 5788 NEW BEST:: SOT 1130574 SOS 635681 HAS SOPS 634011 HAS SOUS 73233 HAS SOUPS 71611 WITH SCORE 72246.681
AT ITER 5800 NEW BEST:: SOT 1130574 SOS 635677 HAS SOPS 634007 HAS SOUS 73231 HAS SOUPS 71609 WITH SCORE 72244.677
AT ITER 5809 NEW BEST:: SOT 1130574 SOS 635173 HAS SOPS 633503 HAS SOUS 73231 HAS SOUPS 71609 WITH SCORE 72244.173
AT ITER 5810 NEW BEST:: SOT 1130632 SOS 635231 HAS SOPS 633561 HAS SOUS 73229 HAS SOUPS 71607 WITH SCORE 72242.231
AT ITER 5811 NEW BEST:: SOT 1130628 SOS 634213 HAS SOPS 632543 HAS SOUS 73229 HAS SOUPS 71607 WITH SCORE 72241.213
AT ITER 5875 NEW BEST:: SOT 1130628 SOS 634213 HAS SOPS 632543 HAS SOUS 73228 HAS SOUPS 71606 WITH SCORE 72240.213
AT ITER 5890 NEW BEST:: SOT 1130582 SOS 634167 HAS SOPS 632497 HAS SOUS 73132 HAS SOUPS 71510 WITH SCORE 72144.167
AT ITER 5901 NEW BEST:: SOT 1130582 SOS 634143 HAS SOPS 632473 HAS SOUS 73120 HAS SOUPS 71498 WITH SCORE 72132.143
AT ITER 5962 NEW BEST:: SOT 1130357 SOS 633702 HAS SOPS 632032 HAS SOUS 73102 HAS SOUPS 71480 WITH SCORE 72113.702
AT ITER 5989 NEW BEST:: SOT 1129844 SOS 633613 HAS SOPS 631927 HAS SOUS 73103 HAS SOUPS 71477 WITH SCORE 72110.613
AT ITER 5993 NEW BEST:: SOT 1129844 SOS 633591 HAS SOPS 631905 HAS SOUS 73103 HAS SOUPS 71477 WITH SCORE 72110.591
AT ITER 6020 NEW BEST:: SOT 1129844 SOS 633435 HAS SOPS 631749 HAS SOUS 73103 HAS SOUPS 71477 WITH SCORE 72110.435
AT ITER 6049 NEW BEST:: SOT 1129844 SOS 633014 HAS SOPS 631401 HAS SOUS 73017 HAS SOUPS 71446 WITH SCORE 72079.014
AT ITER 6063 NEW BEST:: SOT 1129841 SOS 633011 HAS SOPS 631398 HAS SOUS 73014 HAS SOUPS 71443 WITH SCORE 72076.011
AT ITER 6091 NEW BEST:: SOT 1129841 SOS 633011 HAS SOPS 631398 HAS SOUS 72977 HAS SOUPS 71406 WITH SCORE 72039.011
AT ITER 6101 NEW BEST:: SOT 1130822 SOS 633630 HAS SOPS 632017 HAS SOUS 72772 HAS SOUPS 71201 WITH SCORE 71834.63
AT ITER 6127 NEW BEST:: SOT 1130822 SOS 633630 HAS SOPS 632017 HAS SOUS 72732 HAS SOUPS 71161 WITH SCORE 71794.63
AT ITER 6152 NEW BEST:: SOT 1129805 SOS 632445 HAS SOPS 630832 HAS SOUS 71735 HAS SOUPS 70164 WITH SCORE 70796.445
AT ITER 6162 NEW BEST:: SOT 1128640 SOS 627137 HAS SOPS 625567 HAS SOUS 70375 HAS SOUPS 68847 WITH SCORE 69474.137
AT ITER 6180 NEW BEST:: SOT 1128453 SOS 626950 HAS SOPS 625380 HAS SOUS 70320 HAS SOUPS 68792 WITH SCORE 69418.95
AT ITER 6217 NEW BEST:: SOT 1128453 SOS 626950 HAS SOPS 625380 HAS SOUS 70119 HAS SOUPS 68591 WITH SCORE 69217.95
AT ITER 6222 NEW BEST:: SOT 1128453 SOS 626940 HAS SOPS 625370 HAS SOUS 70119 HAS SOUPS 68591 WITH SCORE 69217.94
AT ITER 6236 NEW BEST:: SOT 1128453 SOS 626148 HAS SOPS 624614 HAS SOUS 70101 HAS SOUPS 68582 WITH SCORE 69208.148
AT ITER 6268 NEW BEST:: SOT 1130786 SOS 631409 HAS SOPS 629964 HAS SOUS 69895 HAS SOUPS 68465 WITH SCORE 69096.409
AT ITER 6321 NEW BEST:: SOT 1130231 SOS 636059 HAS SOPS 634614 HAS SOUS 69647 HAS SOUPS 68217 WITH SCORE 68853.059
AT ITER 6327 NEW BEST:: SOT 1130220 SOS 635784 HAS SOPS 634339 HAS SOUS 69636 HAS SOUPS 68206 WITH SCORE 68841.784
AT ITER 6345 NEW BEST:: SOT 1130652 SOS 638832 HAS SOPS 637387 HAS SOUS 69625 HAS SOUPS 68195 WITH SCORE 68833.832
AT ITER 6357 NEW BEST:: SOT 1130788 SOS 638968 HAS SOPS 637523 HAS SOUS 69602 HAS SOUPS 68172 WITH SCORE 68810.968
AT ITER 6359 NEW BEST:: SOT 1130788 SOS 638878 HAS SOPS 637433 HAS SOUS 69597 HAS SOUPS 68167 WITH SCORE 68805.878
AT ITER 6383 NEW BEST:: SOT 1130788 SOS 638878 HAS SOPS 637433 HAS SOUS 69584 HAS SOUPS 68154 WITH SCORE 68792.878
AT ITER 6399 NEW BEST:: SOT 1130788 SOS 638878 HAS SOPS 637433 HAS SOUS 69578 HAS SOUPS 68148 WITH SCORE 68786.878
AT ITER 6413 NEW BEST:: SOT 1130783 SOS 638873 HAS SOPS 637428 HAS SOUS 69534 HAS SOUPS 68104 WITH SCORE 68742.873
AT ITER 6416 NEW BEST:: SOT 1130845 SOS 638935 HAS SOPS 637490 HAS SOUS 69090 HAS SOUPS 67660 WITH SCORE 68298.935
AT ITER 6477 NEW BEST:: SOT 1130851 SOS 638941 HAS SOPS 637496 HAS SOUS 68951 HAS SOUPS 67521 WITH SCORE 68159.941
AT ITER 6479 NEW BEST:: SOT 1130851 SOS 655577 HAS SOPS 654136 HAS SOUS 68902 HAS SOUPS 67473 WITH SCORE 68128.577
AT ITER 6496 NEW BEST:: SOT 1130851 SOS 655577 HAS SOPS 654136 HAS SOUS 68896 HAS SOUPS 67467 WITH SCORE 68122.577
AT ITER 6545 NEW BEST:: SOT 1130851 SOS 656321 HAS SOPS 654880 HAS SOUS 68872 HAS SOUPS 67443 WITH SCORE 68099.321
AT ITER 6547 NEW BEST:: SOT 1129414 SOS 653820 HAS SOPS 652379 HAS SOUS 68768 HAS SOUPS 67339 WITH SCORE 67992.82
AT ITER 6555 NEW BEST:: SOT 1129924 SOS 654330 HAS SOPS 652889 HAS SOUS 68356 HAS SOUPS 66927 WITH SCORE 67581.33
AT ITER 6557 NEW BEST:: SOT 1129545 SOS 653953 HAS SOPS 652510 HAS SOUS 67929 HAS SOUPS 66498 WITH SCORE 67151.953
AT ITER 6564 NEW BEST:: SOT 1129545 SOS 653778 HAS SOPS 652335 HAS SOUS 67922 HAS SOUPS 66491 WITH SCORE 67144.778
AT ITER 6619 NEW BEST:: SOT 1129545 SOS 653850 HAS SOPS 652407 HAS SOUS 67885 HAS SOUPS 66454 WITH SCORE 67107.85
AT ITER 6638 NEW BEST:: SOT 1129545 SOS 653801 HAS SOPS 652330 HAS SOUS 67885 HAS SOUPS 66426 WITH SCORE 67079.801
AT ITER 6640 NEW BEST:: SOT 1129540 SOS 653796 HAS SOPS 652325 HAS SOUS 67880 HAS SOUPS 66421 WITH SCORE 67074.796
AT ITER 6662 NEW BEST:: SOT 1129281 SOS 653537 HAS SOPS 652066 HAS SOUS 67489 HAS SOUPS 66030 WITH SCORE 66683.537
AT ITER 6695 NEW BEST:: SOT 1129281 SOS 653537 HAS SOPS 652066 HAS SOUS 67478 HAS SOUPS 66019 WITH SCORE 66672.537
AT ITER 6719 NEW BEST:: SOT 1127747 SOS 651427 HAS SOPS 649955 HAS SOUS 67469 HAS SOUPS 66009 WITH SCORE 66660.427
AT ITER 6720 NEW BEST:: SOT 1127708 SOS 651388 HAS SOPS 649916 HAS SOUS 67427 HAS SOUPS 65967 WITH SCORE 66618.388
AT ITER 6723 NEW BEST:: SOT 1126816 SOS 649536 HAS SOPS 647964 HAS SOUS 67495 HAS SOUPS 65935 WITH SCORE 66584.536
AT ITER 6725 NEW BEST:: SOT 1126816 SOS 649605 HAS SOPS 648033 HAS SOUS 67485 HAS SOUPS 65925 WITH SCORE 66574.605
AT ITER 6735 NEW BEST:: SOT 1126806 SOS 649542 HAS SOPS 647970 HAS SOUS 67454 HAS SOUPS 65894 WITH SCORE 66543.542
AT ITER 6786 NEW BEST:: SOT 1126806 SOS 649217 HAS SOPS 647645 HAS SOUS 67441 HAS SOUPS 65881 WITH SCORE 66530.217
AT ITER 6808 NEW BEST:: SOT 1126722 SOS 649133 HAS SOPS 647561 HAS SOUS 67251 HAS SOUPS 65691 WITH SCORE 66340.133
AT ITER 6830 NEW BEST:: SOT 1126449 SOS 648860 HAS SOPS 647288 HAS SOUS 66904 HAS SOUPS 65344 WITH SCORE 65992.86
AT ITER 6882 NEW BEST:: SOT 1126449 SOS 646652 HAS SOPS 645080 HAS SOUS 66900 HAS SOUPS 65340 WITH SCORE 65986.652
AT ITER 6897 NEW BEST:: SOT 1126449 SOS 646637 HAS SOPS 645065 HAS SOUS 66885 HAS SOUPS 65325 WITH SCORE 65971.637
AT ITER 6915 NEW BEST:: SOT 1126448 SOS 646636 HAS SOPS 645064 HAS SOUS 66885 HAS SOUPS 65325 WITH SCORE 65971.636
AT ITER 6925 NEW BEST:: SOT 1126955 SOS 647143 HAS SOPS 645571 HAS SOUS 66767 HAS SOUPS 65207 WITH SCORE 65854.143
AT ITER 7056 NEW BEST:: SOT 1126955 SOS 647143 HAS SOPS 645571 HAS SOUS 66755 HAS SOUPS 65195 WITH SCORE 65842.143
AT ITER 7068 NEW BEST:: SOT 1126971 SOS 647159 HAS SOPS 645587 HAS SOUS 66590 HAS SOUPS 65030 WITH SCORE 65677.159
AT ITER 7074 NEW BEST:: SOT 1126933 SOS 647121 HAS SOPS 645549 HAS SOUS 66518 HAS SOUPS 64958 WITH SCORE 65605.121
AT ITER 7100 NEW BEST:: SOT 1126932 SOS 647119 HAS SOPS 645548 HAS SOUS 66510 HAS SOUPS 64951 WITH SCORE 65598.119
AT ITER 7117 NEW BEST:: SOT 1126932 SOS 647119 HAS SOPS 645548 HAS SOUS 66509 HAS SOUPS 64950 WITH SCORE 65597.119
AT ITER 7120 NEW BEST:: SOT 1126932 SOS 637191 HAS SOPS 635532 HAS SOUS 66518 HAS SOUPS 64959 WITH SCORE 65596.191
AT ITER 7121 NEW BEST:: SOT 1126932 SOS 637846 HAS SOPS 636187 HAS SOUS 66489 HAS SOUPS 64930 WITH SCORE 65567.846
AT ITER 7133 NEW BEST:: SOT 1127718 SOS 638004 HAS SOPS 636393 HAS SOUS 66386 HAS SOUPS 64875 WITH SCORE 65513.004
AT ITER 7247 NEW BEST:: SOT 1127667 SOS 637953 HAS SOPS 636342 HAS SOUS 66374 HAS SOUPS 64863 WITH SCORE 65500.953
AT ITER 7257 NEW BEST:: SOT 1127482 SOS 637768 HAS SOPS 636157 HAS SOUS 66279 HAS SOUPS 64768 WITH SCORE 65405.768
AT ITER 7310 NEW BEST:: SOT 1127797 SOS 638083 HAS SOPS 636472 HAS SOUS 66239 HAS SOUPS 64728 WITH SCORE 65366.083
AT ITER 7335 NEW BEST:: SOT 1127797 SOS 637759 HAS SOPS 636148 HAS SOUS 66234 HAS SOUPS 64723 WITH SCORE 65360.759
AT ITER 7338 NEW BEST:: SOT 1127797 SOS 637255 HAS SOPS 635644 HAS SOUS 66234 HAS SOUPS 64723 WITH SCORE 65360.255
AT ITER 7378 NEW BEST:: SOT 1128040 SOS 637498 HAS SOPS 635887 HAS SOUS 66146 HAS SOUPS 64635 WITH SCORE 65272.498
AT ITER 7386 NEW BEST:: SOT 1127536 SOS 636556 HAS SOPS 634945 HAS SOUS 65621 HAS SOUPS 64110 WITH SCORE 64746.556
AT ITER 7394 NEW BEST:: SOT 1127684 SOS 636704 HAS SOPS 635093 HAS SOUS 65538 HAS SOUPS 64027 WITH SCORE 64663.704
AT ITER 7413 NEW BEST:: SOT 1127684 SOS 636704 HAS SOPS 635093 HAS SOUS 65532 HAS SOUPS 64021 WITH SCORE 64657.704
AT ITER 7451 NEW BEST:: SOT 1127582 SOS 636602 HAS SOPS 634991 HAS SOUS 65396 HAS SOUPS 63885 WITH SCORE 64521.602
AT ITER 7509 NEW BEST:: SOT 1127582 SOS 637080 HAS SOPS 635469 HAS SOUS 65391 HAS SOUPS 63880 WITH SCORE 64517.08
AT ITER 7531 NEW BEST:: SOT 1127270 SOS 636768 HAS SOPS 635157 HAS SOUS 65254 HAS SOUPS 63743 WITH SCORE 64379.768
AT ITER 7551 NEW BEST:: SOT 1127226 SOS 636724 HAS SOPS 635113 HAS SOUS 65253 HAS SOUPS 63742 WITH SCORE 64378.724
AT ITER 7563 NEW BEST:: SOT 1127226 SOS 636617 HAS SOPS 635006 HAS SOUS 65252 HAS SOUPS 63741 WITH SCORE 64377.617
AT ITER 7582 NEW BEST:: SOT 1127076 SOS 636467 HAS SOPS 634856 HAS SOUS 65240 HAS SOUPS 63729 WITH SCORE 64365.467
AT ITER 7584 NEW BEST:: SOT 1127247 SOS 636662 HAS SOPS 635051 HAS SOUS 65204 HAS SOUPS 63693 WITH SCORE 64329.662
AT ITER 7641 NEW BEST:: SOT 1127282 SOS 636666 HAS SOPS 634994 HAS SOUS 65208 HAS SOUPS 63636 WITH SCORE 64272.666
AT ITER 7693 NEW BEST:: SOT 1127282 SOS 636582 HAS SOPS 634910 HAS SOUS 65208 HAS SOUPS 63636 WITH SCORE 64272.582
AT ITER 7732 NEW BEST:: SOT 1127282 SOS 636582 HAS SOPS 634910 HAS SOUS 65187 HAS SOUPS 63615 WITH SCORE 64251.582
AT ITER 7755 NEW BEST:: SOT 1127216 SOS 636516 HAS SOPS 634844 HAS SOUS 65051 HAS SOUPS 63479 WITH SCORE 64115.516
AT ITER 7836 NEW BEST:: SOT 1127216 SOS 636656 HAS SOPS 634984 HAS SOUS 65048 HAS SOUPS 63476 WITH SCORE 64112.656
AT ITER 7900 NEW BEST:: SOT 1126149 SOS 635610 HAS SOPS 633917 HAS SOUS 65044 HAS SOUPS 63451 WITH SCORE 64086.61
AT ITER 7936 NEW BEST:: SOT 1126449 SOS 636270 HAS SOPS 634577 HAS SOUS 64999 HAS SOUPS 63406 WITH SCORE 64042.27
AT ITER 8112 NEW BEST:: SOT 1126449 SOS 636270 HAS SOPS 634577 HAS SOUS 64996 HAS SOUPS 63403 WITH SCORE 64039.27
AT ITER 8117 NEW BEST:: SOT 1126797 SOS 636618 HAS SOPS 634925 HAS SOUS 64713 HAS SOUPS 63120 WITH SCORE 63756.618
AT ITER 8124 NEW BEST:: SOT 1126791 SOS 636612 HAS SOPS 634919 HAS SOUS 64707 HAS SOUPS 63114 WITH SCORE 63750.612
AT ITER 8159 NEW BEST:: SOT 1126416 SOS 636015 HAS SOPS 634322 HAS SOUS 64692 HAS SOUPS 63099 WITH SCORE 63735.015
AT ITER 8195 NEW BEST:: SOT 1125944 SOS 635543 HAS SOPS 633850 HAS SOUS 64530 HAS SOUPS 62937 WITH SCORE 63572.543
AT ITER 8221 NEW BEST:: SOT 1125942 SOS 635541 HAS SOPS 633848 HAS SOUS 64528 HAS SOUPS 62935 WITH SCORE 63570.541
AT ITER 8226 NEW BEST:: SOT 1125942 SOS 634753 HAS SOPS 633060 HAS SOUS 64519 HAS SOUPS 62926 WITH SCORE 63560.753
AT ITER 8243 NEW BEST:: SOT 1125942 SOS 634836 HAS SOPS 633130 HAS SOUS 64519 HAS SOUPS 62913 WITH SCORE 63547.836
AT ITER 8273 NEW BEST:: SOT 1125942 SOS 632172 HAS SOPS 630391 HAS SOUS 64309 HAS SOUPS 62688 WITH SCORE 63320.172
AT ITER 8293 NEW BEST:: SOT 1125933 SOS 632163 HAS SOPS 630382 HAS SOUS 64288 HAS SOUPS 62667 WITH SCORE 63299.163
AT ITER 8355 NEW BEST:: SOT 1125933 SOS 632163 HAS SOPS 630382 HAS SOUS 64283 HAS SOUPS 62662 WITH SCORE 63294.163
AT ITER 8362 NEW BEST:: SOT 1125933 SOS 632091 HAS SOPS 630310 HAS SOUS 64260 HAS SOUPS 62639 WITH SCORE 63271.091
AT ITER 8380 NEW BEST:: SOT 1125933 SOS 631654 HAS SOPS 629873 HAS SOUS 64260 HAS SOUPS 62639 WITH SCORE 63270.654
AT ITER 8410 NEW BEST:: SOT 1125633 SOS 631354 HAS SOPS 629573 HAS SOUS 64140 HAS SOUPS 62519 WITH SCORE 63150.354
AT ITER 8535 NEW BEST:: SOT 1125212 SOS 630884 HAS SOPS 629103 HAS SOUS 63520 HAS SOUPS 61899 WITH SCORE 62529.884
AT ITER 8560 NEW BEST:: SOT 1125190 SOS 630862 HAS SOPS 629081 HAS SOUS 63502 HAS SOUPS 61881 WITH SCORE 62511.862
AT ITER 8563 NEW BEST:: SOT 1125590 SOS 631262 HAS SOPS 629481 HAS SOUS 63370 HAS SOUPS 61749 WITH SCORE 62380.262
AT ITER 8694 NEW BEST:: SOT 1125590 SOS 631190 HAS SOPS 629409 HAS SOUS 63370 HAS SOUPS 61749 WITH SCORE 62380.19
AT ITER 8700 NEW BEST:: SOT 1125590 SOS 630458 HAS SOPS 628677 HAS SOUS 63308 HAS SOUPS 61687 WITH SCORE 62317.458
AT ITER 8811 NEW BEST:: SOT 1125106 SOS 629974 HAS SOPS 628193 HAS SOUS 63270 HAS SOUPS 61649 WITH SCORE 62278.974
AT ITER 8842 NEW BEST:: SOT 1125074 SOS 629942 HAS SOPS 628161 HAS SOUS 63239 HAS SOUPS 61618 WITH SCORE 62247.942
AT ITER 8923 NEW BEST:: SOT 1125050 SOS 629918 HAS SOPS 628137 HAS SOUS 63215 HAS SOUPS 61594 WITH SCORE 62223.918
AT ITER 8958 NEW BEST:: SOT 1125071 SOS 632887 HAS SOPS 631106 HAS SOUS 63156 HAS SOUPS 61535 WITH SCORE 62167.887
AT ITER 8983 NEW BEST:: SOT 1125071 SOS 631459 HAS SOPS 629678 HAS SOUS 63145 HAS SOUPS 61524 WITH SCORE 62155.459
AT ITER 8993 NEW BEST:: SOT 1125071 SOS 631459 HAS SOPS 629678 HAS SOUS 63135 HAS SOUPS 61514 WITH SCORE 62145.459
AT ITER 9082 NEW BEST:: SOT 1125064 SOS 631452 HAS SOPS 629671 HAS SOUS 63135 HAS SOUPS 61514 WITH SCORE 62145.452
AT ITER 9191 NEW BEST:: SOT 1125247 SOS 631635 HAS SOPS 629854 HAS SOUS 62605 HAS SOUPS 60984 WITH SCORE 61615.635
AT ITER 9249 NEW BEST:: SOT 1126329 SOS 632676 HAS SOPS 630938 HAS SOUS 62317 HAS SOUPS 60739 WITH SCORE 61371.676
AT ITER 9343 NEW BEST:: SOT 1126329 SOS 632361 HAS SOPS 630623 HAS SOUS 62302 HAS SOUPS 60724 WITH SCORE 61356.361
AT ITER 9353 NEW BEST:: SOT 1125993 SOS 632025 HAS SOPS 630287 HAS SOUS 62302 HAS SOUPS 60724 WITH SCORE 61356.025
AT ITER 9363 NEW BEST:: SOT 1125993 SOS 631353 HAS SOPS 629615 HAS SOUS 62302 HAS SOUPS 60724 WITH SCORE 61355.353
AT ITER 9387 NEW BEST:: SOT 1125542 SOS 630902 HAS SOPS 629164 HAS SOUS 62154 HAS SOUPS 60576 WITH SCORE 61206.902
AT ITER 9415 NEW BEST:: SOT 1126259 SOS 631619 HAS SOPS 629881 HAS SOUS 62021 HAS SOUPS 60443 WITH SCORE 61074.619
AT ITER 9427 NEW BEST:: SOT 1126259 SOS 631618 HAS SOPS 629880 HAS SOUS 61995 HAS SOUPS 60417 WITH SCORE 61048.618
AT ITER 9452 NEW BEST:: SOT 1126259 SOS 630079 HAS SOPS 628436 HAS SOUS 61933 HAS SOUPS 60374 WITH SCORE 61004.079
AT ITER 9457 NEW BEST:: SOT 1126247 SOS 630067 HAS SOPS 628424 HAS SOUS 61921 HAS SOUPS 60362 WITH SCORE 60992.067
AT ITER 9483 NEW BEST:: SOT 1126254 SOS 629618 HAS SOPS 627991 HAS SOUS 61886 HAS SOUPS 60331 WITH SCORE 60960.618
AT ITER 9488 NEW BEST:: SOT 1126158 SOS 629490 HAS SOPS 627863 HAS SOUS 61782 HAS SOUPS 60227 WITH SCORE 60856.49
AT ITER 9489 NEW BEST:: SOT 1126158 SOS 629490 HAS SOPS 627863 HAS SOUS 61781 HAS SOUPS 60226 WITH SCORE 60855.49
AT ITER 9504 NEW BEST:: SOT 1126158 SOS 627688 HAS SOPS 625949 HAS SOUS 61753 HAS SOUPS 60170 WITH SCORE 60797.688
AT ITER 9518 NEW BEST:: SOT 1126169 SOS 627699 HAS SOPS 625960 HAS SOUS 61733 HAS SOUPS 60150 WITH SCORE 60777.699
AT ITER 9519 NEW BEST:: SOT 1126121 SOS 627652 HAS SOPS 625912 HAS SOUS 61732 HAS SOUPS 60148 WITH SCORE 60775.652
AT ITER 9540 NEW BEST:: SOT 1126121 SOS 627652 HAS SOPS 625912 HAS SOUS 61726 HAS SOUPS 60142 WITH SCORE 60769.652
AT ITER 9557 NEW BEST:: SOT 1125905 SOS 627436 HAS SOPS 625696 HAS SOUS 61651 HAS SOUPS 60067 WITH SCORE 60694.436
AT ITER 9606 NEW BEST:: SOT 1125905 SOS 626572 HAS SOPS 624832 HAS SOUS 61633 HAS SOUPS 60049 WITH SCORE 60675.572
AT ITER 9646 NEW BEST:: SOT 1125905 SOS 626380 HAS SOPS 624640 HAS SOUS 61633 HAS SOUPS 60049 WITH SCORE 60675.38
AT ITER 9700 NEW BEST:: SOT 1123953 SOS 625474 HAS SOPS 623734 HAS SOUS 60639 HAS SOUPS 59055 WITH SCORE 59680.474
AT ITER 9754 NEW BEST:: SOT 1123953 SOS 625492 HAS SOPS 623750 HAS SOUS 60629 HAS SOUPS 59043 WITH SCORE 59668.492
AT ITER 9811 NEW BEST:: SOT 1123929 SOS 625468 HAS SOPS 623726 HAS SOUS 60604 HAS SOUPS 59018 WITH SCORE 59643.468
AT ITER 9830 NEW BEST:: SOT 1123929 SOS 625968 HAS SOPS 624226 HAS SOUS 60579 HAS SOUPS 58993 WITH SCORE 59618.968
AT ITER 9844 NEW BEST:: SOT 1123994 SOS 626065 HAS SOPS 624323 HAS SOUS 60562 HAS SOUPS 58976 WITH SCORE 59602.065
AT ITER 9888 NEW BEST:: SOT 1123966 SOS 626037 HAS SOPS 624295 HAS SOUS 60534 HAS SOUPS 58948 WITH SCORE 59574.037
AT ITER 9902 NEW BEST:: SOT 1123966 SOS 626081 HAS SOPS 624339 HAS SOUS 60515 HAS SOUPS 58929 WITH SCORE 59555.081
AT ITER 9956 NEW BEST:: SOT 1123966 SOS 625169 HAS SOPS 623427 HAS SOUS 60514 HAS SOUPS 58928 WITH SCORE 59553.169
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10078704 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117300 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="Medical-PT-10"
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 Medical-PT-10, 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 r235-tall-167856422200688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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