About the Execution of Smart+red for ASLink-PT-02a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
10575.363 | 3600000.00 | 3674101.00 | 126.00 | [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.r011-oct2-167813599600032.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ASLink-PT-02a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599600032
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 664K
-rw-r--r-- 1 mcc users 7.9K Feb 26 13:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 13:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 26 13:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 38K Feb 26 13:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 13:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 91K Feb 26 13:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 13:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 48K Feb 26 13:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 279K 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 1678719139917
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=ASLink-PT-02a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 14:52:22] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 14:52:22] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:52:22] [INFO ] Load time of PNML (sax parser for PT used): 122 ms
[2023-03-13 14:52:22] [INFO ] Transformed 626 places.
[2023-03-13 14:52:22] [INFO ] Transformed 1008 transitions.
[2023-03-13 14:52:22] [INFO ] Found NUPN structural information;
[2023-03-13 14:52:22] [INFO ] Parsed PT model containing 626 places and 1008 transitions and 3820 arcs in 337 ms.
[2023-03-13 14:52:22] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 626 places, 1008 transitions and 3820 arcs took 19 ms.
Total runtime 407 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02a
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: 626 places, 1008 transitions, 3820 arcs.
AT ITER 0 NEW BEST:: SOT 346575 SOS 237428 HAS SOPS 237428 HAS SOUS 138866 HAS SOUPS 138866 WITH SCORE 139103.428
AT ITER 4 NEW BEST:: SOT 346436 SOS 237289 HAS SOPS 237289 HAS SOUS 138723 HAS SOUPS 138723 WITH SCORE 138960.289
AT ITER 10 NEW BEST:: SOT 346436 SOS 236952 HAS SOPS 236952 HAS SOUS 138567 HAS SOUPS 138567 WITH SCORE 138803.952
AT ITER 11 NEW BEST:: SOT 342595 SOS 233332 HAS SOPS 233332 HAS SOUS 134947 HAS SOUPS 134947 WITH SCORE 135180.332
AT ITER 27 NEW BEST:: SOT 342636 SOS 232642 HAS SOPS 232642 HAS SOUS 134601 HAS SOUPS 134601 WITH SCORE 134833.642
AT ITER 28 NEW BEST:: SOT 342578 SOS 232584 HAS SOPS 232584 HAS SOUS 134598 HAS SOUPS 134598 WITH SCORE 134830.584
AT ITER 29 NEW BEST:: SOT 342533 SOS 232528 HAS SOPS 232528 HAS SOUS 134590 HAS SOUPS 134590 WITH SCORE 134822.528
AT ITER 34 NEW BEST:: SOT 341393 SOS 231652 HAS SOPS 231652 HAS SOUS 133602 HAS SOUPS 133602 WITH SCORE 133833.652
AT ITER 40 NEW BEST:: SOT 341393 SOS 231652 HAS SOPS 231652 HAS SOUS 133601 HAS SOUPS 133601 WITH SCORE 133832.652
AT ITER 41 NEW BEST:: SOT 341287 SOS 231078 HAS SOPS 231078 HAS SOUS 133364 HAS SOUPS 133364 WITH SCORE 133595.078
AT ITER 44 NEW BEST:: SOT 341091 SOS 230881 HAS SOPS 230881 HAS SOUS 133362 HAS SOUPS 133362 WITH SCORE 133592.881
AT ITER 48 NEW BEST:: SOT 341325 SOS 231054 HAS SOPS 231054 HAS SOUS 133172 HAS SOUPS 133172 WITH SCORE 133403.054
AT ITER 56 NEW BEST:: SOT 341509 SOS 231025 HAS SOPS 231025 HAS SOUS 133059 HAS SOUPS 133059 WITH SCORE 133290.025
AT ITER 60 NEW BEST:: SOT 340661 SOS 230598 HAS SOPS 230598 HAS SOUS 132314 HAS SOUPS 132314 WITH SCORE 132544.598
AT ITER 61 NEW BEST:: SOT 340229 SOS 230158 HAS SOPS 230158 HAS SOUS 131873 HAS SOUPS 131873 WITH SCORE 132103.158
AT ITER 70 NEW BEST:: SOT 338085 SOS 228012 HAS SOPS 228012 HAS SOUS 129701 HAS SOUPS 129701 WITH SCORE 129929.012
AT ITER 88 NEW BEST:: SOT 337670 SOS 227597 HAS SOPS 227597 HAS SOUS 129286 HAS SOUPS 129286 WITH SCORE 129513.597
AT ITER 93 NEW BEST:: SOT 337565 SOS 227259 HAS SOPS 227259 HAS SOUS 129102 HAS SOUPS 129102 WITH SCORE 129329.259
AT ITER 96 NEW BEST:: SOT 337629 SOS 227128 HAS SOPS 227128 HAS SOUS 129049 HAS SOUPS 129049 WITH SCORE 129276.128
AT ITER 99 NEW BEST:: SOT 337629 SOS 227127 HAS SOPS 227127 HAS SOUS 129048 HAS SOUPS 129048 WITH SCORE 129275.127
AT ITER 107 NEW BEST:: SOT 336864 SOS 229746 HAS SOPS 229746 HAS SOUS 128082 HAS SOUPS 128082 WITH SCORE 128311.746
AT ITER 108 NEW BEST:: SOT 336783 SOS 229746 HAS SOPS 229746 HAS SOUS 128080 HAS SOUPS 128080 WITH SCORE 128309.746
AT ITER 111 NEW BEST:: SOT 336782 SOS 228955 HAS SOPS 228955 HAS SOUS 128078 HAS SOUPS 128078 WITH SCORE 128306.955
AT ITER 112 NEW BEST:: SOT 336738 SOS 228867 HAS SOPS 228867 HAS SOUS 127990 HAS SOUPS 127990 WITH SCORE 128218.867
AT ITER 116 NEW BEST:: SOT 336585 SOS 228589 HAS SOPS 228589 HAS SOUS 127837 HAS SOUPS 127837 WITH SCORE 128065.589
AT ITER 123 NEW BEST:: SOT 336457 SOS 228461 HAS SOPS 228461 HAS SOUS 127765 HAS SOUPS 127765 WITH SCORE 127993.461
AT ITER 124 NEW BEST:: SOT 335273 SOS 227277 HAS SOPS 227277 HAS SOUS 126581 HAS SOUPS 126581 WITH SCORE 126808.277
AT ITER 139 NEW BEST:: SOT 335109 SOS 226788 HAS SOPS 226788 HAS SOUS 126152 HAS SOUPS 126152 WITH SCORE 126378.788
AT ITER 144 NEW BEST:: SOT 334946 SOS 226625 HAS SOPS 226625 HAS SOUS 125989 HAS SOUPS 125989 WITH SCORE 126215.625
AT ITER 147 NEW BEST:: SOT 334847 SOS 226526 HAS SOPS 226526 HAS SOUS 125890 HAS SOUPS 125890 WITH SCORE 126116.526
AT ITER 154 NEW BEST:: SOT 334843 SOS 226518 HAS SOPS 226518 HAS SOUS 125881 HAS SOUPS 125881 WITH SCORE 126107.518
AT ITER 166 NEW BEST:: SOT 333804 SOS 225658 HAS SOPS 225658 HAS SOUS 125028 HAS SOUPS 125028 WITH SCORE 125253.658
AT ITER 174 NEW BEST:: SOT 333804 SOS 225533 HAS SOPS 225533 HAS SOUS 125028 HAS SOUPS 125028 WITH SCORE 125253.533
AT ITER 176 NEW BEST:: SOT 333804 SOS 225666 HAS SOPS 225666 HAS SOUS 124918 HAS SOUPS 124918 WITH SCORE 125143.666
AT ITER 184 NEW BEST:: SOT 333697 SOS 224915 HAS SOPS 224915 HAS SOUS 124721 HAS SOUPS 124721 WITH SCORE 124945.915
AT ITER 204 NEW BEST:: SOT 333199 SOS 224417 HAS SOPS 224417 HAS SOUS 124223 HAS SOUPS 124223 WITH SCORE 124447.417
AT ITER 205 NEW BEST:: SOT 333124 SOS 224342 HAS SOPS 224342 HAS SOUS 124205 HAS SOUPS 124205 WITH SCORE 124429.342
AT ITER 242 NEW BEST:: SOT 333326 SOS 223234 HAS SOPS 223234 HAS SOUS 123806 HAS SOUPS 123806 WITH SCORE 124029.234
AT ITER 244 NEW BEST:: SOT 333772 SOS 222865 HAS SOPS 222865 HAS SOUS 123723 HAS SOUPS 123723 WITH SCORE 123945.865
AT ITER 261 NEW BEST:: SOT 333768 SOS 222841 HAS SOPS 222841 HAS SOUS 123721 HAS SOUPS 123721 WITH SCORE 123943.841
AT ITER 263 NEW BEST:: SOT 333449 SOS 222522 HAS SOPS 222522 HAS SOUS 123492 HAS SOUPS 123492 WITH SCORE 123714.522
AT ITER 266 NEW BEST:: SOT 333265 SOS 222063 HAS SOPS 222063 HAS SOUS 123033 HAS SOUPS 123033 WITH SCORE 123255.063
AT ITER 283 NEW BEST:: SOT 333249 SOS 222015 HAS SOPS 222015 HAS SOUS 123017 HAS SOUPS 123017 WITH SCORE 123239.015
AT ITER 285 NEW BEST:: SOT 333222 SOS 221986 HAS SOPS 221986 HAS SOUS 123013 HAS SOUPS 123013 WITH SCORE 123234.986
AT ITER 292 NEW BEST:: SOT 333222 SOS 221663 HAS SOPS 221663 HAS SOUS 122690 HAS SOUPS 122690 WITH SCORE 122911.663
AT ITER 301 NEW BEST:: SOT 333080 SOS 221408 HAS SOPS 221408 HAS SOUS 122442 HAS SOUPS 122442 WITH SCORE 122663.408
AT ITER 304 NEW BEST:: SOT 332699 SOS 221027 HAS SOPS 221027 HAS SOUS 122061 HAS SOUPS 122061 WITH SCORE 122282.027
AT ITER 309 NEW BEST:: SOT 332699 SOS 221027 HAS SOPS 221027 HAS SOUS 122057 HAS SOUPS 122057 WITH SCORE 122278.027
AT ITER 321 NEW BEST:: SOT 332190 SOS 220677 HAS SOPS 220677 HAS SOUS 121621 HAS SOUPS 121621 WITH SCORE 121841.677
AT ITER 324 NEW BEST:: SOT 332071 SOS 220626 HAS SOPS 220626 HAS SOUS 121502 HAS SOUPS 121502 WITH SCORE 121722.626
AT ITER 325 NEW BEST:: SOT 332053 SOS 220608 HAS SOPS 220608 HAS SOUS 121484 HAS SOUPS 121484 WITH SCORE 121704.608
AT ITER 344 NEW BEST:: SOT 332045 SOS 220591 HAS SOPS 220591 HAS SOUS 121467 HAS SOUPS 121467 WITH SCORE 121687.591
AT ITER 356 NEW BEST:: SOT 332033 SOS 220580 HAS SOPS 220580 HAS SOUS 121430 HAS SOUPS 121430 WITH SCORE 121650.58
AT ITER 366 NEW BEST:: SOT 329966 SOS 218914 HAS SOPS 218914 HAS SOUS 119504 HAS SOUPS 119504 WITH SCORE 119722.914
AT ITER 368 NEW BEST:: SOT 329834 SOS 218469 HAS SOPS 218469 HAS SOUS 119372 HAS SOUPS 119372 WITH SCORE 119590.469
AT ITER 380 NEW BEST:: SOT 329679 SOS 218305 HAS SOPS 218305 HAS SOUS 119208 HAS SOUPS 119208 WITH SCORE 119426.305
AT ITER 386 NEW BEST:: SOT 329308 SOS 218039 HAS SOPS 218039 HAS SOUS 118934 HAS SOUPS 118934 WITH SCORE 119152.039
AT ITER 397 NEW BEST:: SOT 329142 SOS 217750 HAS SOPS 217750 HAS SOUS 118602 HAS SOUPS 118602 WITH SCORE 118819.75
AT ITER 398 NEW BEST:: SOT 329137 SOS 217742 HAS SOPS 217742 HAS SOUS 118596 HAS SOUPS 118596 WITH SCORE 118813.742
AT ITER 406 NEW BEST:: SOT 329077 SOS 217681 HAS SOPS 217681 HAS SOUS 118535 HAS SOUPS 118535 WITH SCORE 118752.681
AT ITER 410 NEW BEST:: SOT 329036 SOS 217681 HAS SOPS 217681 HAS SOUS 118528 HAS SOUPS 118528 WITH SCORE 118745.681
AT ITER 413 NEW BEST:: SOT 328924 SOS 217849 HAS SOPS 217849 HAS SOUS 118416 HAS SOUPS 118416 WITH SCORE 118633.849
AT ITER 415 NEW BEST:: SOT 328924 SOS 217775 HAS SOPS 217775 HAS SOUS 118414 HAS SOUPS 118414 WITH SCORE 118631.775
AT ITER 421 NEW BEST:: SOT 328924 SOS 217586 HAS SOPS 217586 HAS SOUS 118413 HAS SOUPS 118413 WITH SCORE 118630.586
AT ITER 427 NEW BEST:: SOT 328925 SOS 217620 HAS SOPS 217620 HAS SOUS 118405 HAS SOUPS 118405 WITH SCORE 118622.62
AT ITER 435 NEW BEST:: SOT 328888 SOS 217583 HAS SOPS 217583 HAS SOUS 118368 HAS SOUPS 118368 WITH SCORE 118585.583
AT ITER 436 NEW BEST:: SOT 328888 SOS 217481 HAS SOPS 217481 HAS SOUS 118266 HAS SOUPS 118266 WITH SCORE 118483.481
AT ITER 452 NEW BEST:: SOT 328888 SOS 217348 HAS SOPS 217348 HAS SOUS 118133 HAS SOUPS 118133 WITH SCORE 118350.348
AT ITER 461 NEW BEST:: SOT 328559 SOS 217197 HAS SOPS 217197 HAS SOUS 117982 HAS SOUPS 117982 WITH SCORE 118199.197
AT ITER 462 NEW BEST:: SOT 328518 SOS 217156 HAS SOPS 217156 HAS SOUS 117938 HAS SOUPS 117938 WITH SCORE 118155.156
AT ITER 469 NEW BEST:: SOT 326690 SOS 216682 HAS SOPS 216682 HAS SOUS 116427 HAS SOUPS 116427 WITH SCORE 116643.682
AT ITER 470 NEW BEST:: SOT 326556 SOS 216529 HAS SOPS 216529 HAS SOUS 116274 HAS SOUPS 116274 WITH SCORE 116490.529
AT ITER 473 NEW BEST:: SOT 323760 SOS 213733 HAS SOPS 213733 HAS SOUS 113476 HAS SOUPS 113476 WITH SCORE 113689.733
AT ITER 481 NEW BEST:: SOT 323744 SOS 213701 HAS SOPS 213701 HAS SOUS 113444 HAS SOUPS 113444 WITH SCORE 113657.701
AT ITER 487 NEW BEST:: SOT 323743 SOS 213700 HAS SOPS 213700 HAS SOUS 113431 HAS SOUPS 113431 WITH SCORE 113644.7
AT ITER 490 NEW BEST:: SOT 323743 SOS 213507 HAS SOPS 213507 HAS SOUS 113430 HAS SOUPS 113430 WITH SCORE 113643.507
AT ITER 491 NEW BEST:: SOT 323698 SOS 213462 HAS SOPS 213462 HAS SOUS 113428 HAS SOUPS 113428 WITH SCORE 113641.462
AT ITER 507 NEW BEST:: SOT 323585 SOS 213349 HAS SOPS 213349 HAS SOUS 113406 HAS SOUPS 113406 WITH SCORE 113619.349
AT ITER 515 NEW BEST:: SOT 323554 SOS 213318 HAS SOPS 213318 HAS SOUS 113406 HAS SOUPS 113406 WITH SCORE 113619.318
AT ITER 528 NEW BEST:: SOT 323540 SOS 213304 HAS SOPS 213304 HAS SOUS 113392 HAS SOUPS 113392 WITH SCORE 113605.304
AT ITER 529 NEW BEST:: SOT 323540 SOS 213304 HAS SOPS 213304 HAS SOUS 113372 HAS SOUPS 113372 WITH SCORE 113585.304
AT ITER 530 NEW BEST:: SOT 323384 SOS 213152 HAS SOPS 213152 HAS SOUS 113277 HAS SOUPS 113277 WITH SCORE 113490.152
AT ITER 532 NEW BEST:: SOT 323309 SOS 212609 HAS SOPS 212609 HAS SOUS 113060 HAS SOUPS 113060 WITH SCORE 113272.609
AT ITER 536 NEW BEST:: SOT 323306 SOS 212356 HAS SOPS 212356 HAS SOUS 112965 HAS SOUPS 112965 WITH SCORE 113177.356
AT ITER 545 NEW BEST:: SOT 323306 SOS 212349 HAS SOPS 212349 HAS SOUS 112958 HAS SOUPS 112958 WITH SCORE 113170.349
AT ITER 579 NEW BEST:: SOT 323306 SOS 211959 HAS SOPS 211959 HAS SOUS 112938 HAS SOUPS 112938 WITH SCORE 113149.959
AT ITER 582 NEW BEST:: SOT 323634 SOS 209813 HAS SOPS 209813 HAS SOUS 112896 HAS SOUPS 112896 WITH SCORE 113105.813
AT ITER 592 NEW BEST:: SOT 323417 SOS 209596 HAS SOPS 209596 HAS SOUS 112504 HAS SOUPS 112504 WITH SCORE 112713.596
AT ITER 606 NEW BEST:: SOT 323416 SOS 209263 HAS SOPS 209263 HAS SOUS 112502 HAS SOUPS 112502 WITH SCORE 112711.263
AT ITER 608 NEW BEST:: SOT 323149 SOS 209187 HAS SOPS 209187 HAS SOUS 112419 HAS SOUPS 112419 WITH SCORE 112628.187
AT ITER 612 NEW BEST:: SOT 323131 SOS 209184 HAS SOPS 209184 HAS SOUS 112309 HAS SOUPS 112309 WITH SCORE 112518.184
AT ITER 615 NEW BEST:: SOT 321891 SOS 208538 HAS SOPS 208538 HAS SOUS 111073 HAS SOUPS 111073 WITH SCORE 111281.538
AT ITER 638 NEW BEST:: SOT 316604 SOS 203236 HAS SOPS 203236 HAS SOUS 105637 HAS SOUPS 105637 WITH SCORE 105840.236
AT ITER 641 NEW BEST:: SOT 313242 SOS 199874 HAS SOPS 199874 HAS SOUS 102275 HAS SOUPS 102275 WITH SCORE 102474.874
AT ITER 649 NEW BEST:: SOT 313020 SOS 199652 HAS SOPS 199652 HAS SOUS 102053 HAS SOUPS 102053 WITH SCORE 102252.652
AT ITER 652 NEW BEST:: SOT 312920 SOS 199580 HAS SOPS 199580 HAS SOUS 102052 HAS SOUPS 102052 WITH SCORE 102251.58
AT ITER 663 NEW BEST:: SOT 312920 SOS 199575 HAS SOPS 199575 HAS SOUS 102047 HAS SOUPS 102047 WITH SCORE 102246.575
AT ITER 676 NEW BEST:: SOT 312920 SOS 199515 HAS SOPS 199515 HAS SOUS 102047 HAS SOUPS 102047 WITH SCORE 102246.515
AT ITER 679 NEW BEST:: SOT 312922 SOS 199520 HAS SOPS 199520 HAS SOUS 102043 HAS SOUPS 102043 WITH SCORE 102242.52
AT ITER 689 NEW BEST:: SOT 312731 SOS 199172 HAS SOPS 199172 HAS SOUS 102012 HAS SOUPS 102012 WITH SCORE 102211.172
AT ITER 692 NEW BEST:: SOT 312727 SOS 199168 HAS SOPS 199168 HAS SOUS 102008 HAS SOUPS 102008 WITH SCORE 102207.168
AT ITER 712 NEW BEST:: SOT 312617 SOS 199058 HAS SOPS 199058 HAS SOUS 101995 HAS SOUPS 101995 WITH SCORE 102194.058
AT ITER 719 NEW BEST:: SOT 312582 SOS 199023 HAS SOPS 199023 HAS SOUS 101963 HAS SOUPS 101963 WITH SCORE 102162.023
AT ITER 720 NEW BEST:: SOT 312564 SOS 198885 HAS SOPS 198885 HAS SOUS 101920 HAS SOUPS 101920 WITH SCORE 102118.885
AT ITER 731 NEW BEST:: SOT 312520 SOS 198796 HAS SOPS 198796 HAS SOUS 101830 HAS SOUPS 101830 WITH SCORE 102028.796
AT ITER 738 NEW BEST:: SOT 312520 SOS 198797 HAS SOPS 198797 HAS SOUS 101811 HAS SOUPS 101811 WITH SCORE 102009.797
AT ITER 739 NEW BEST:: SOT 312477 SOS 198754 HAS SOPS 198754 HAS SOUS 101629 HAS SOUPS 101629 WITH SCORE 101827.754
AT ITER 740 NEW BEST:: SOT 310674 SOS 197551 HAS SOPS 197551 HAS SOUS 100080 HAS SOUPS 100080 WITH SCORE 100277.551
AT ITER 741 NEW BEST:: SOT 310674 SOS 197121 HAS SOPS 197121 HAS SOUS 100080 HAS SOUPS 100080 WITH SCORE 100277.121
AT ITER 750 NEW BEST:: SOT 310665 SOS 197112 HAS SOPS 197112 HAS SOUS 100067 HAS SOUPS 100067 WITH SCORE 100264.112
AT ITER 755 NEW BEST:: SOT 310234 SOS 196502 HAS SOPS 196502 HAS SOUS 99262 HAS SOUPS 99262 WITH SCORE 99458.502
AT ITER 758 NEW BEST:: SOT 309191 SOS 196383 HAS SOPS 196383 HAS SOUS 98527 HAS SOUPS 98527 WITH SCORE 98723.383
AT ITER 762 NEW BEST:: SOT 309129 SOS 195875 HAS SOPS 195875 HAS SOUS 98465 HAS SOUPS 98465 WITH SCORE 98660.875
AT ITER 764 NEW BEST:: SOT 309113 SOS 195283 HAS SOPS 195283 HAS SOUS 98421 HAS SOUPS 98421 WITH SCORE 98616.283
AT ITER 769 NEW BEST:: SOT 309029 SOS 195013 HAS SOPS 195013 HAS SOUS 98244 HAS SOUPS 98244 WITH SCORE 98439.013
AT ITER 770 NEW BEST:: SOT 309029 SOS 195013 HAS SOPS 195013 HAS SOUS 98178 HAS SOUPS 98178 WITH SCORE 98373.013
AT ITER 772 NEW BEST:: SOT 309029 SOS 195013 HAS SOPS 195013 HAS SOUS 98177 HAS SOUPS 98177 WITH SCORE 98372.013
AT ITER 788 NEW BEST:: SOT 308861 SOS 194845 HAS SOPS 194845 HAS SOUS 98009 HAS SOUPS 98009 WITH SCORE 98203.845
AT ITER 791 NEW BEST:: SOT 308861 SOS 194621 HAS SOPS 194621 HAS SOUS 98009 HAS SOUPS 98009 WITH SCORE 98203.621
AT ITER 798 NEW BEST:: SOT 308802 SOS 194562 HAS SOPS 194562 HAS SOUS 97956 HAS SOUPS 97956 WITH SCORE 98150.562
AT ITER 802 NEW BEST:: SOT 308349 SOS 193665 HAS SOPS 193665 HAS SOUS 97320 HAS SOUPS 97320 WITH SCORE 97513.665
AT ITER 804 NEW BEST:: SOT 308348 SOS 193664 HAS SOPS 193664 HAS SOUS 97317 HAS SOUPS 97317 WITH SCORE 97510.664
AT ITER 807 NEW BEST:: SOT 308348 SOS 193846 HAS SOPS 193846 HAS SOUS 97299 HAS SOUPS 97299 WITH SCORE 97492.846
AT ITER 815 NEW BEST:: SOT 308385 SOS 193755 HAS SOPS 193755 HAS SOUS 97208 HAS SOUPS 97208 WITH SCORE 97401.755
AT ITER 819 NEW BEST:: SOT 308372 SOS 193742 HAS SOPS 193742 HAS SOUS 97195 HAS SOUPS 97195 WITH SCORE 97388.742
AT ITER 831 NEW BEST:: SOT 308372 SOS 193533 HAS SOPS 193533 HAS SOUS 97190 HAS SOUPS 97190 WITH SCORE 97383.533
AT ITER 839 NEW BEST:: SOT 308372 SOS 191103 HAS SOPS 191103 HAS SOUS 97190 HAS SOUPS 97190 WITH SCORE 97381.103
AT ITER 840 NEW BEST:: SOT 308497 SOS 191012 HAS SOPS 191012 HAS SOUS 96767 HAS SOUPS 96767 WITH SCORE 96958.012
AT ITER 850 NEW BEST:: SOT 308470 SOS 190931 HAS SOPS 190931 HAS SOUS 96686 HAS SOUPS 96686 WITH SCORE 96876.931
AT ITER 863 NEW BEST:: SOT 308468 SOS 190938 HAS SOPS 190938 HAS SOUS 96605 HAS SOUPS 96605 WITH SCORE 96795.938
AT ITER 878 NEW BEST:: SOT 308467 SOS 190937 HAS SOPS 190937 HAS SOUS 96603 HAS SOUPS 96603 WITH SCORE 96793.937
AT ITER 879 NEW BEST:: SOT 308313 SOS 190285 HAS SOPS 190285 HAS SOUS 95951 HAS SOUPS 95951 WITH SCORE 96141.285
AT ITER 882 NEW BEST:: SOT 308344 SOS 189792 HAS SOPS 189792 HAS SOUS 95591 HAS SOUPS 95591 WITH SCORE 95780.792
AT ITER 891 NEW BEST:: SOT 308344 SOS 189749 HAS SOPS 189749 HAS SOUS 95591 HAS SOUPS 95591 WITH SCORE 95780.749
AT ITER 893 NEW BEST:: SOT 308306 SOS 189635 HAS SOPS 189635 HAS SOUS 95477 HAS SOUPS 95477 WITH SCORE 95666.635
AT ITER 898 NEW BEST:: SOT 308305 SOS 189612 HAS SOPS 189612 HAS SOUS 95454 HAS SOUPS 95454 WITH SCORE 95643.612
AT ITER 923 NEW BEST:: SOT 308331 SOS 189638 HAS SOPS 189638 HAS SOUS 95292 HAS SOUPS 95292 WITH SCORE 95481.638
AT ITER 925 NEW BEST:: SOT 308309 SOS 189401 HAS SOPS 189401 HAS SOUS 95097 HAS SOUPS 95097 WITH SCORE 95286.401
AT ITER 928 NEW BEST:: SOT 308289 SOS 189381 HAS SOPS 189381 HAS SOUS 95077 HAS SOUPS 95077 WITH SCORE 95266.381
AT ITER 931 NEW BEST:: SOT 306510 SOS 186596 HAS SOPS 186596 HAS SOUS 92979 HAS SOUPS 92979 WITH SCORE 93165.596
AT ITER 935 NEW BEST:: SOT 306334 SOS 186420 HAS SOPS 186420 HAS SOUS 92793 HAS SOUPS 92793 WITH SCORE 92979.42
AT ITER 937 NEW BEST:: SOT 306706 SOS 186790 HAS SOPS 186790 HAS SOUS 92791 HAS SOUPS 92791 WITH SCORE 92977.79
AT ITER 939 NEW BEST:: SOT 306700 SOS 186308 HAS SOPS 186308 HAS SOUS 92533 HAS SOUPS 92533 WITH SCORE 92719.308
AT ITER 959 NEW BEST:: SOT 306700 SOS 185978 HAS SOPS 185978 HAS SOUS 92336 HAS SOUPS 92336 WITH SCORE 92521.978
AT ITER 960 NEW BEST:: SOT 305365 SOS 184643 HAS SOPS 184643 HAS SOUS 90999 HAS SOUPS 90999 WITH SCORE 91183.643
AT ITER 991 NEW BEST:: SOT 305139 SOS 184319 HAS SOPS 184319 HAS SOUS 90896 HAS SOUPS 90896 WITH SCORE 91080.319
AT ITER 993 NEW BEST:: SOT 304834 SOS 184014 HAS SOPS 184014 HAS SOUS 90591 HAS SOUPS 90591 WITH SCORE 90775.014
AT ITER 1000 NEW BEST:: SOT 304685 SOS 183865 HAS SOPS 183865 HAS SOUS 90442 HAS SOUPS 90442 WITH SCORE 90625.865
AT ITER 1005 NEW BEST:: SOT 304636 SOS 183808 HAS SOPS 183808 HAS SOUS 90343 HAS SOUPS 90343 WITH SCORE 90526.808
AT ITER 1010 NEW BEST:: SOT 304138 SOS 182612 HAS SOPS 182612 HAS SOUS 89472 HAS SOUPS 89472 WITH SCORE 89654.612
AT ITER 1017 NEW BEST:: SOT 304137 SOS 182611 HAS SOPS 182611 HAS SOUS 89470 HAS SOUPS 89470 WITH SCORE 89652.611
AT ITER 1030 NEW BEST:: SOT 304053 SOS 182359 HAS SOPS 182359 HAS SOUS 89302 HAS SOUPS 89302 WITH SCORE 89484.359
AT ITER 1041 NEW BEST:: SOT 304049 SOS 182380 HAS SOPS 182380 HAS SOUS 89294 HAS SOUPS 89294 WITH SCORE 89476.38
AT ITER 1068 NEW BEST:: SOT 304047 SOS 182378 HAS SOPS 182378 HAS SOUS 89280 HAS SOUPS 89280 WITH SCORE 89462.378
AT ITER 1075 NEW BEST:: SOT 303179 SOS 181917 HAS SOPS 181917 HAS SOUS 88507 HAS SOUPS 88507 WITH SCORE 88688.917
AT ITER 1079 NEW BEST:: SOT 303105 SOS 181843 HAS SOPS 181843 HAS SOUS 88433 HAS SOUPS 88433 WITH SCORE 88614.843
AT ITER 1086 NEW BEST:: SOT 301762 SOS 180537 HAS SOPS 180537 HAS SOUS 87119 HAS SOUPS 87119 WITH SCORE 87299.537
AT ITER 1090 NEW BEST:: SOT 301762 SOS 180541 HAS SOPS 180541 HAS SOUS 87118 HAS SOUPS 87118 WITH SCORE 87298.541
AT ITER 1094 NEW BEST:: SOT 301655 SOS 180327 HAS SOPS 180327 HAS SOUS 86795 HAS SOUPS 86795 WITH SCORE 86975.327
AT ITER 1102 NEW BEST:: SOT 300514 SOS 179119 HAS SOPS 179119 HAS SOUS 85558 HAS SOUPS 85558 WITH SCORE 85737.119
AT ITER 1104 NEW BEST:: SOT 300463 SOS 179068 HAS SOPS 179068 HAS SOUS 85507 HAS SOUPS 85507 WITH SCORE 85686.068
AT ITER 1113 NEW BEST:: SOT 300464 SOS 179066 HAS SOPS 179066 HAS SOUS 85506 HAS SOUPS 85506 WITH SCORE 85685.066
AT ITER 1115 NEW BEST:: SOT 300412 SOS 179048 HAS SOPS 179048 HAS SOUS 85484 HAS SOUPS 85484 WITH SCORE 85663.048
AT ITER 1121 NEW BEST:: SOT 297520 SOS 176601 HAS SOPS 176601 HAS SOUS 85238 HAS SOUPS 85238 WITH SCORE 85414.601
AT ITER 1127 NEW BEST:: SOT 297417 SOS 176425 HAS SOPS 176425 HAS SOUS 85062 HAS SOUPS 85062 WITH SCORE 85238.425
AT ITER 1129 NEW BEST:: SOT 297414 SOS 176307 HAS SOPS 176307 HAS SOUS 85056 HAS SOUPS 85056 WITH SCORE 85232.307
AT ITER 1150 NEW BEST:: SOT 297414 SOS 176306 HAS SOPS 176306 HAS SOUS 85055 HAS SOUPS 85055 WITH SCORE 85231.306
AT ITER 1168 NEW BEST:: SOT 297106 SOS 175983 HAS SOPS 175983 HAS SOUS 84720 HAS SOUPS 84720 WITH SCORE 84895.983
AT ITER 1171 NEW BEST:: SOT 297103 SOS 175977 HAS SOPS 175977 HAS SOUS 84717 HAS SOUPS 84717 WITH SCORE 84892.977
AT ITER 1174 NEW BEST:: SOT 297090 SOS 175951 HAS SOPS 175951 HAS SOUS 84691 HAS SOUPS 84691 WITH SCORE 84866.951
AT ITER 1181 NEW BEST:: SOT 297006 SOS 175825 HAS SOPS 175825 HAS SOUS 84649 HAS SOUPS 84649 WITH SCORE 84824.825
AT ITER 1186 NEW BEST:: SOT 297050 SOS 175551 HAS SOPS 175551 HAS SOUS 84596 HAS SOUPS 84596 WITH SCORE 84771.551
AT ITER 1187 NEW BEST:: SOT 297050 SOS 175550 HAS SOPS 175550 HAS SOUS 84595 HAS SOUPS 84595 WITH SCORE 84770.55
AT ITER 1197 NEW BEST:: SOT 297044 SOS 175410 HAS SOPS 175410 HAS SOUS 84592 HAS SOUPS 84592 WITH SCORE 84767.41
AT ITER 1227 NEW BEST:: SOT 297042 SOS 175408 HAS SOPS 175408 HAS SOUS 84588 HAS SOUPS 84588 WITH SCORE 84763.408
AT ITER 1235 NEW BEST:: SOT 297042 SOS 175408 HAS SOPS 175408 HAS SOUS 84516 HAS SOUPS 84516 WITH SCORE 84691.408
AT ITER 1238 NEW BEST:: SOT 297041 SOS 175385 HAS SOPS 175385 HAS SOUS 84514 HAS SOUPS 84514 WITH SCORE 84689.385
AT ITER 1264 NEW BEST:: SOT 296952 SOS 175296 HAS SOPS 175296 HAS SOUS 84425 HAS SOUPS 84425 WITH SCORE 84600.296
AT ITER 1267 NEW BEST:: SOT 296841 SOS 175185 HAS SOPS 175185 HAS SOUS 84359 HAS SOUPS 84359 WITH SCORE 84534.185
AT ITER 1276 NEW BEST:: SOT 296359 SOS 175982 HAS SOPS 175982 HAS SOUS 84162 HAS SOUPS 84162 WITH SCORE 84337.982
AT ITER 1289 NEW BEST:: SOT 296359 SOS 175960 HAS SOPS 175960 HAS SOUS 84161 HAS SOUPS 84161 WITH SCORE 84336.96
AT ITER 1300 NEW BEST:: SOT 296494 SOS 176982 HAS SOPS 176982 HAS SOUS 83053 HAS SOUPS 83053 WITH SCORE 83229.982
AT ITER 1313 NEW BEST:: SOT 296348 SOS 176760 HAS SOPS 176760 HAS SOUS 82640 HAS SOUPS 82640 WITH SCORE 82816.76
AT ITER 1316 NEW BEST:: SOT 296308 SOS 176594 HAS SOPS 176594 HAS SOUS 82560 HAS SOUPS 82560 WITH SCORE 82736.594
AT ITER 1323 NEW BEST:: SOT 296313 SOS 176546 HAS SOPS 176546 HAS SOUS 82497 HAS SOUPS 82497 WITH SCORE 82673.546
AT ITER 1332 NEW BEST:: SOT 296002 SOS 176415 HAS SOPS 176415 HAS SOUS 82113 HAS SOUPS 82113 WITH SCORE 82289.415
AT ITER 1333 NEW BEST:: SOT 295893 SOS 176091 HAS SOPS 176091 HAS SOUS 81895 HAS SOUPS 81895 WITH SCORE 82071.091
AT ITER 1347 NEW BEST:: SOT 295825 SOS 176014 HAS SOPS 176014 HAS SOUS 81818 HAS SOUPS 81818 WITH SCORE 81994.014
AT ITER 1365 NEW BEST:: SOT 295745 SOS 175306 HAS SOPS 175306 HAS SOUS 81708 HAS SOUPS 81708 WITH SCORE 81883.306
AT ITER 1378 NEW BEST:: SOT 295701 SOS 175262 HAS SOPS 175262 HAS SOUS 81664 HAS SOUPS 81664 WITH SCORE 81839.262
AT ITER 1385 NEW BEST:: SOT 295697 SOS 174736 HAS SOPS 174736 HAS SOUS 81648 HAS SOUPS 81648 WITH SCORE 81822.736
AT ITER 1394 NEW BEST:: SOT 295525 SOS 174206 HAS SOPS 174206 HAS SOUS 81290 HAS SOUPS 81290 WITH SCORE 81464.206
AT ITER 1395 NEW BEST:: SOT 295512 SOS 173926 HAS SOPS 173926 HAS SOUS 81264 HAS SOUPS 81264 WITH SCORE 81437.926
AT ITER 1403 NEW BEST:: SOT 293772 SOS 172124 HAS SOPS 172124 HAS SOUS 79462 HAS SOUPS 79462 WITH SCORE 79634.124
AT ITER 1408 NEW BEST:: SOT 293628 SOS 171742 HAS SOPS 171742 HAS SOUS 79091 HAS SOUPS 79091 WITH SCORE 79262.742
AT ITER 1414 NEW BEST:: SOT 293616 SOS 171478 HAS SOPS 171478 HAS SOUS 78953 HAS SOUPS 78953 WITH SCORE 79124.478
AT ITER 1415 NEW BEST:: SOT 293616 SOS 171222 HAS SOPS 171222 HAS SOUS 78825 HAS SOUPS 78825 WITH SCORE 78996.222
AT ITER 1417 NEW BEST:: SOT 293448 SOS 170998 HAS SOPS 170998 HAS SOUS 78545 HAS SOUPS 78545 WITH SCORE 78715.998
AT ITER 1419 NEW BEST:: SOT 292790 SOS 170011 HAS SOPS 170011 HAS SOUS 77558 HAS SOUPS 77558 WITH SCORE 77728.011
AT ITER 1424 NEW BEST:: SOT 292789 SOS 170010 HAS SOPS 170010 HAS SOUS 77556 HAS SOUPS 77556 WITH SCORE 77726.01
AT ITER 1426 NEW BEST:: SOT 292789 SOS 170018 HAS SOPS 170018 HAS SOUS 77504 HAS SOUPS 77504 WITH SCORE 77674.018
AT ITER 1431 NEW BEST:: SOT 292657 SOS 170018 HAS SOPS 170018 HAS SOUS 77360 HAS SOUPS 77360 WITH SCORE 77530.018
AT ITER 1438 NEW BEST:: SOT 292553 SOS 169907 HAS SOPS 169907 HAS SOUS 77249 HAS SOUPS 77249 WITH SCORE 77418.907
AT ITER 1444 NEW BEST:: SOT 292500 SOS 169894 HAS SOPS 169894 HAS SOUS 77236 HAS SOUPS 77236 WITH SCORE 77405.894
AT ITER 1449 NEW BEST:: SOT 292480 SOS 169874 HAS SOPS 169874 HAS SOUS 77215 HAS SOUPS 77215 WITH SCORE 77384.874
AT ITER 1466 NEW BEST:: SOT 292459 SOS 169853 HAS SOPS 169853 HAS SOUS 77187 HAS SOUPS 77187 WITH SCORE 77356.853
AT ITER 1471 NEW BEST:: SOT 292273 SOS 169103 HAS SOPS 169103 HAS SOUS 76667 HAS SOUPS 76667 WITH SCORE 76836.103
AT ITER 1478 NEW BEST:: SOT 292241 SOS 169071 HAS SOPS 169071 HAS SOUS 76635 HAS SOUPS 76635 WITH SCORE 76804.071
AT ITER 1483 NEW BEST:: SOT 292230 SOS 169120 HAS SOPS 169120 HAS SOUS 76624 HAS SOUPS 76624 WITH SCORE 76793.12
AT ITER 1490 NEW BEST:: SOT 292208 SOS 169097 HAS SOPS 169097 HAS SOUS 76601 HAS SOUPS 76601 WITH SCORE 76770.097
AT ITER 1494 NEW BEST:: SOT 292094 SOS 168869 HAS SOPS 168869 HAS SOUS 76373 HAS SOUPS 76373 WITH SCORE 76541.869
AT ITER 1524 NEW BEST:: SOT 292077 SOS 168831 HAS SOPS 168831 HAS SOUS 76335 HAS SOUPS 76335 WITH SCORE 76503.831
AT ITER 1535 NEW BEST:: SOT 292065 SOS 168819 HAS SOPS 168819 HAS SOUS 76323 HAS SOUPS 76323 WITH SCORE 76491.819
AT ITER 1538 NEW BEST:: SOT 291998 SOS 168829 HAS SOPS 168829 HAS SOUS 76189 HAS SOUPS 76189 WITH SCORE 76357.829
AT ITER 1550 NEW BEST:: SOT 292041 SOS 168604 HAS SOPS 168604 HAS SOUS 76082 HAS SOUPS 76082 WITH SCORE 76250.604
AT ITER 1555 NEW BEST:: SOT 291942 SOS 167652 HAS SOPS 167652 HAS SOUS 75837 HAS SOUPS 75837 WITH SCORE 76004.652
AT ITER 1594 NEW BEST:: SOT 291915 SOS 167625 HAS SOPS 167625 HAS SOUS 75783 HAS SOUPS 75783 WITH SCORE 75950.625
AT ITER 1596 NEW BEST:: SOT 291851 SOS 167603 HAS SOPS 167603 HAS SOUS 75761 HAS SOUPS 75761 WITH SCORE 75928.603
AT ITER 1611 NEW BEST:: SOT 291450 SOS 167098 HAS SOPS 167098 HAS SOUS 75406 HAS SOUPS 75406 WITH SCORE 75573.098
AT ITER 1616 NEW BEST:: SOT 291450 SOS 167090 HAS SOPS 167090 HAS SOUS 75406 HAS SOUPS 75406 WITH SCORE 75573.09
AT ITER 1617 NEW BEST:: SOT 291423 SOS 167063 HAS SOPS 167063 HAS SOUS 75338 HAS SOUPS 75338 WITH SCORE 75505.063
AT ITER 1618 NEW BEST:: SOT 291423 SOS 167063 HAS SOPS 167063 HAS SOUS 75316 HAS SOUPS 75316 WITH SCORE 75483.063
AT ITER 1649 NEW BEST:: SOT 291423 SOS 167041 HAS SOPS 167041 HAS SOUS 75300 HAS SOUPS 75300 WITH SCORE 75467.041
AT ITER 1652 NEW BEST:: SOT 291422 SOS 167040 HAS SOPS 167040 HAS SOUS 75299 HAS SOUPS 75299 WITH SCORE 75466.04
AT ITER 1656 NEW BEST:: SOT 291131 SOS 166582 HAS SOPS 166582 HAS SOUS 75046 HAS SOUPS 75046 WITH SCORE 75212.582
AT ITER 1664 NEW BEST:: SOT 291131 SOS 166582 HAS SOPS 166582 HAS SOUS 74989 HAS SOUPS 74989 WITH SCORE 75155.582
AT ITER 1666 NEW BEST:: SOT 291131 SOS 166582 HAS SOPS 166582 HAS SOUS 74977 HAS SOUPS 74977 WITH SCORE 75143.582
AT ITER 1673 NEW BEST:: SOT 291131 SOS 166493 HAS SOPS 166493 HAS SOUS 74969 HAS SOUPS 74969 WITH SCORE 75135.493
AT ITER 1680 NEW BEST:: SOT 291063 SOS 166448 HAS SOPS 166448 HAS SOUS 74914 HAS SOUPS 74914 WITH SCORE 75080.448
AT ITER 1684 NEW BEST:: SOT 291003 SOS 166388 HAS SOPS 166388 HAS SOUS 74854 HAS SOUPS 74854 WITH SCORE 75020.388
AT ITER 1693 NEW BEST:: SOT 290951 SOS 166338 HAS SOPS 166338 HAS SOUS 74838 HAS SOUPS 74838 WITH SCORE 75004.338
AT ITER 1694 NEW BEST:: SOT 290942 SOS 166141 HAS SOPS 166141 HAS SOUS 74820 HAS SOUPS 74820 WITH SCORE 74986.141
AT ITER 1697 NEW BEST:: SOT 290925 SOS 166107 HAS SOPS 166107 HAS SOUS 74786 HAS SOUPS 74786 WITH SCORE 74952.107
AT ITER 1715 NEW BEST:: SOT 290922 SOS 166104 HAS SOPS 166104 HAS SOUS 74783 HAS SOUPS 74783 WITH SCORE 74949.104
AT ITER 1716 NEW BEST:: SOT 290918 SOS 166100 HAS SOPS 166100 HAS SOUS 74779 HAS SOUPS 74779 WITH SCORE 74945.1
AT ITER 1757 NEW BEST:: SOT 290856 SOS 165913 HAS SOPS 165913 HAS SOUS 74592 HAS SOUPS 74592 WITH SCORE 74757.913
AT ITER 1772 NEW BEST:: SOT 290735 SOS 165606 HAS SOPS 165606 HAS SOUS 74492 HAS SOUPS 74492 WITH SCORE 74657.606
AT ITER 1775 NEW BEST:: SOT 290793 SOS 165681 HAS SOPS 165681 HAS SOUS 74435 HAS SOUPS 74435 WITH SCORE 74600.681
AT ITER 1791 NEW BEST:: SOT 290793 SOS 165611 HAS SOPS 165611 HAS SOUS 74400 HAS SOUPS 74400 WITH SCORE 74565.611
AT ITER 1809 NEW BEST:: SOT 290793 SOS 165581 HAS SOPS 165581 HAS SOUS 74380 HAS SOUPS 74380 WITH SCORE 74545.581
AT ITER 1830 NEW BEST:: SOT 290697 SOS 165685 HAS SOPS 165685 HAS SOUS 74284 HAS SOUPS 74284 WITH SCORE 74449.685
AT ITER 1849 NEW BEST:: SOT 290697 SOS 165661 HAS SOPS 165661 HAS SOUS 74283 HAS SOUPS 74283 WITH SCORE 74448.661
AT ITER 1867 NEW BEST:: SOT 290682 SOS 165646 HAS SOPS 165646 HAS SOUS 74268 HAS SOUPS 74268 WITH SCORE 74433.646
AT ITER 1869 NEW BEST:: SOT 290626 SOS 165535 HAS SOPS 165535 HAS SOUS 74159 HAS SOUPS 74159 WITH SCORE 74324.535
AT ITER 1899 NEW BEST:: SOT 290652 SOS 165563 HAS SOPS 165563 HAS SOUS 74120 HAS SOUPS 74120 WITH SCORE 74285.563
AT ITER 1938 NEW BEST:: SOT 290620 SOS 165499 HAS SOPS 165499 HAS SOUS 74056 HAS SOUPS 74056 WITH SCORE 74221.499
AT ITER 1940 NEW BEST:: SOT 290620 SOS 165463 HAS SOPS 165463 HAS SOUS 74056 HAS SOUPS 74056 WITH SCORE 74221.463
AT ITER 2001 NEW BEST:: SOT 290596 SOS 165415 HAS SOPS 165415 HAS SOUS 74008 HAS SOUPS 74008 WITH SCORE 74173.415
AT ITER 2007 NEW BEST:: SOT 290389 SOS 165025 HAS SOPS 165025 HAS SOUS 73655 HAS SOUPS 73655 WITH SCORE 73820.025
AT ITER 2012 NEW BEST:: SOT 289666 SOS 165214 HAS SOPS 165214 HAS SOUS 73151 HAS SOUPS 73151 WITH SCORE 73316.214
AT ITER 2017 NEW BEST:: SOT 289666 SOS 165140 HAS SOPS 165140 HAS SOUS 73033 HAS SOUPS 73033 WITH SCORE 73198.14
AT ITER 2024 NEW BEST:: SOT 289653 SOS 165119 HAS SOPS 165119 HAS SOUS 73004 HAS SOUPS 73004 WITH SCORE 73169.119
AT ITER 2028 NEW BEST:: SOT 289011 SOS 165269 HAS SOPS 165269 HAS SOUS 72461 HAS SOUPS 72461 WITH SCORE 72626.269
AT ITER 2033 NEW BEST:: SOT 288993 SOS 165129 HAS SOPS 165129 HAS SOUS 72425 HAS SOUPS 72425 WITH SCORE 72590.129
AT ITER 2036 NEW BEST:: SOT 288953 SOS 165089 HAS SOPS 165089 HAS SOUS 72362 HAS SOUPS 72362 WITH SCORE 72527.089
AT ITER 2038 NEW BEST:: SOT 288953 SOS 165079 HAS SOPS 165079 HAS SOUS 72353 HAS SOUPS 72353 WITH SCORE 72518.079
AT ITER 2046 NEW BEST:: SOT 288787 SOS 164378 HAS SOPS 164378 HAS SOUS 71973 HAS SOUPS 71973 WITH SCORE 72137.378
AT ITER 2061 NEW BEST:: SOT 288750 SOS 164341 HAS SOPS 164341 HAS SOUS 71862 HAS SOUPS 71862 WITH SCORE 72026.341
AT ITER 2075 NEW BEST:: SOT 288740 SOS 164331 HAS SOPS 164331 HAS SOUS 71847 HAS SOUPS 71847 WITH SCORE 72011.331
AT ITER 2106 NEW BEST:: SOT 288732 SOS 164315 HAS SOPS 164315 HAS SOUS 71843 HAS SOUPS 71843 WITH SCORE 72007.315
AT ITER 2125 NEW BEST:: SOT 288739 SOS 164143 HAS SOPS 164143 HAS SOUS 71828 HAS SOUPS 71828 WITH SCORE 71992.143
AT ITER 2126 NEW BEST:: SOT 288718 SOS 164071 HAS SOPS 164071 HAS SOUS 71786 HAS SOUPS 71786 WITH SCORE 71950.071
AT ITER 2136 NEW BEST:: SOT 288734 SOS 164091 HAS SOPS 164091 HAS SOUS 71783 HAS SOUPS 71783 WITH SCORE 71947.091
AT ITER 2149 NEW BEST:: SOT 288759 SOS 164021 HAS SOPS 164021 HAS SOUS 71770 HAS SOUPS 71770 WITH SCORE 71934.021
AT ITER 2183 NEW BEST:: SOT 288668 SOS 163804 HAS SOPS 163804 HAS SOUS 71641 HAS SOUPS 71641 WITH SCORE 71804.804
AT ITER 2185 NEW BEST:: SOT 288647 SOS 163656 HAS SOPS 163656 HAS SOUS 71493 HAS SOUPS 71493 WITH SCORE 71656.656
AT ITER 2203 NEW BEST:: SOT 288606 SOS 163767 HAS SOPS 163767 HAS SOUS 71491 HAS SOUPS 71491 WITH SCORE 71654.767
AT ITER 2245 NEW BEST:: SOT 288556 SOS 163667 HAS SOPS 163667 HAS SOUS 71391 HAS SOUPS 71391 WITH SCORE 71554.667
AT ITER 2275 NEW BEST:: SOT 288368 SOS 163589 HAS SOPS 163589 HAS SOUS 71387 HAS SOUPS 71387 WITH SCORE 71550.589
AT ITER 2276 NEW BEST:: SOT 288341 SOS 163562 HAS SOPS 163562 HAS SOUS 71387 HAS SOUPS 71387 WITH SCORE 71550.562
AT ITER 2317 NEW BEST:: SOT 288317 SOS 163538 HAS SOPS 163538 HAS SOUS 71363 HAS SOUPS 71363 WITH SCORE 71526.538
AT ITER 2348 NEW BEST:: SOT 288307 SOS 163528 HAS SOPS 163528 HAS SOUS 71344 HAS SOUPS 71344 WITH SCORE 71507.528
AT ITER 2374 NEW BEST:: SOT 288119 SOS 163210 HAS SOPS 163210 HAS SOUS 70956 HAS SOUPS 70956 WITH SCORE 71119.21
AT ITER 2393 NEW BEST:: SOT 288119 SOS 163205 HAS SOPS 163205 HAS SOUS 70951 HAS SOUPS 70951 WITH SCORE 71114.205
AT ITER 2401 NEW BEST:: SOT 288115 SOS 163201 HAS SOPS 163201 HAS SOUS 70875 HAS SOUPS 70875 WITH SCORE 71038.201
AT ITER 2410 NEW BEST:: SOT 288076 SOS 162993 HAS SOPS 162993 HAS SOUS 70797 HAS SOUPS 70797 WITH SCORE 70959.993
AT ITER 2412 NEW BEST:: SOT 288076 SOS 162940 HAS SOPS 162940 HAS SOUS 70797 HAS SOUPS 70797 WITH SCORE 70959.94
AT ITER 2414 NEW BEST:: SOT 288076 SOS 162789 HAS SOPS 162789 HAS SOUS 70775 HAS SOUPS 70775 WITH SCORE 70937.789
AT ITER 2426 NEW BEST:: SOT 288292 SOS 162979 HAS SOPS 162979 HAS SOUS 70691 HAS SOUPS 70691 WITH SCORE 70853.979
AT ITER 2429 NEW BEST:: SOT 288292 SOS 162979 HAS SOPS 162979 HAS SOUS 70659 HAS SOUPS 70659 WITH SCORE 70821.979
AT ITER 2437 NEW BEST:: SOT 288259 SOS 162946 HAS SOPS 162946 HAS SOUS 70610 HAS SOUPS 70610 WITH SCORE 70772.946
AT ITER 2445 NEW BEST:: SOT 288238 SOS 162925 HAS SOPS 162925 HAS SOUS 70605 HAS SOUPS 70605 WITH SCORE 70767.925
AT ITER 2479 NEW BEST:: SOT 288313 SOS 162740 HAS SOPS 162740 HAS SOUS 70520 HAS SOUPS 70520 WITH SCORE 70682.74
AT ITER 2492 NEW BEST:: SOT 288383 SOS 162664 HAS SOPS 162664 HAS SOUS 70445 HAS SOUPS 70445 WITH SCORE 70607.664
AT ITER 2506 NEW BEST:: SOT 288269 SOS 162418 HAS SOPS 162418 HAS SOUS 70077 HAS SOUPS 70077 WITH SCORE 70239.418
AT ITER 2508 NEW BEST:: SOT 288209 SOS 162358 HAS SOPS 162358 HAS SOUS 70020 HAS SOUPS 70020 WITH SCORE 70182.358
AT ITER 2510 NEW BEST:: SOT 288196 SOS 162333 HAS SOPS 162333 HAS SOUS 69994 HAS SOUPS 69994 WITH SCORE 70156.333
AT ITER 2515 NEW BEST:: SOT 288033 SOS 162170 HAS SOPS 162170 HAS SOUS 69913 HAS SOUPS 69913 WITH SCORE 70075.17
AT ITER 2521 NEW BEST:: SOT 288002 SOS 162139 HAS SOPS 162139 HAS SOUS 69862 HAS SOUPS 69862 WITH SCORE 70024.139
AT ITER 2578 NEW BEST:: SOT 287920 SOS 162057 HAS SOPS 162057 HAS SOUS 69780 HAS SOUPS 69780 WITH SCORE 69942.057
AT ITER 2580 NEW BEST:: SOT 287894 SOS 161985 HAS SOPS 161985 HAS SOUS 69728 HAS SOUPS 69728 WITH SCORE 69889.985
AT ITER 2584 NEW BEST:: SOT 287840 SOS 161929 HAS SOPS 161929 HAS SOUS 69672 HAS SOUPS 69672 WITH SCORE 69833.929
AT ITER 2606 NEW BEST:: SOT 287426 SOS 161794 HAS SOPS 161794 HAS SOUS 69315 HAS SOUPS 69315 WITH SCORE 69476.794
AT ITER 2654 NEW BEST:: SOT 287426 SOS 161484 HAS SOPS 161484 HAS SOUS 69306 HAS SOUPS 69306 WITH SCORE 69467.484
AT ITER 2657 NEW BEST:: SOT 286946 SOS 163102 HAS SOPS 163102 HAS SOUS 69076 HAS SOUPS 69076 WITH SCORE 69239.102
AT ITER 2673 NEW BEST:: SOT 286936 SOS 163084 HAS SOPS 163084 HAS SOUS 69058 HAS SOUPS 69058 WITH SCORE 69221.084
AT ITER 2712 NEW BEST:: SOT 286936 SOS 163084 HAS SOPS 163084 HAS SOUS 68980 HAS SOUPS 68980 WITH SCORE 69143.084
AT ITER 2714 NEW BEST:: SOT 286688 SOS 162787 HAS SOPS 162787 HAS SOUS 68699 HAS SOUPS 68699 WITH SCORE 68861.787
AT ITER 2724 NEW BEST:: SOT 286673 SOS 162712 HAS SOPS 162712 HAS SOUS 68654 HAS SOUPS 68654 WITH SCORE 68816.712
AT ITER 2739 NEW BEST:: SOT 286670 SOS 162706 HAS SOPS 162706 HAS SOUS 68648 HAS SOUPS 68648 WITH SCORE 68810.706
AT ITER 2746 NEW BEST:: SOT 286669 SOS 162705 HAS SOPS 162705 HAS SOUS 68648 HAS SOUPS 68648 WITH SCORE 68810.705
AT ITER 2811 NEW BEST:: SOT 286613 SOS 162649 HAS SOPS 162649 HAS SOUS 68591 HAS SOUPS 68591 WITH SCORE 68753.649
AT ITER 2814 NEW BEST:: SOT 286559 SOS 162594 HAS SOPS 162594 HAS SOUS 68475 HAS SOUPS 68475 WITH SCORE 68637.594
AT ITER 2817 NEW BEST:: SOT 286540 SOS 162574 HAS SOPS 162574 HAS SOUS 68465 HAS SOUPS 68465 WITH SCORE 68627.574
AT ITER 2839 NEW BEST:: SOT 286512 SOS 162546 HAS SOPS 162546 HAS SOUS 68414 HAS SOUPS 68414 WITH SCORE 68576.546
AT ITER 2841 NEW BEST:: SOT 286430 SOS 162509 HAS SOPS 162509 HAS SOUS 68376 HAS SOUPS 68376 WITH SCORE 68538.509
AT ITER 2842 NEW BEST:: SOT 286415 SOS 162494 HAS SOPS 162494 HAS SOUS 68346 HAS SOUPS 68346 WITH SCORE 68508.494
AT ITER 2871 NEW BEST:: SOT 286388 SOS 162467 HAS SOPS 162467 HAS SOUS 68319 HAS SOUPS 68319 WITH SCORE 68481.467
AT ITER 2876 NEW BEST:: SOT 286387 SOS 162412 HAS SOPS 162412 HAS SOUS 68317 HAS SOUPS 68317 WITH SCORE 68479.412
AT ITER 2880 NEW BEST:: SOT 286433 SOS 162458 HAS SOPS 162458 HAS SOUS 68295 HAS SOUPS 68295 WITH SCORE 68457.458
AT ITER 2888 NEW BEST:: SOT 286422 SOS 162457 HAS SOPS 162457 HAS SOUS 68283 HAS SOUPS 68283 WITH SCORE 68445.457
AT ITER 2893 NEW BEST:: SOT 286395 SOS 162424 HAS SOPS 162424 HAS SOUS 68255 HAS SOUPS 68255 WITH SCORE 68417.424
AT ITER 2899 NEW BEST:: SOT 286359 SOS 162290 HAS SOPS 162290 HAS SOUS 68170 HAS SOUPS 68170 WITH SCORE 68332.29
AT ITER 2911 NEW BEST:: SOT 286243 SOS 162058 HAS SOPS 162058 HAS SOUS 67976 HAS SOUPS 67976 WITH SCORE 68138.058
AT ITER 2915 NEW BEST:: SOT 286348 SOS 162065 HAS SOPS 162065 HAS SOUS 67952 HAS SOUPS 67952 WITH SCORE 68114.065
AT ITER 2946 NEW BEST:: SOT 286348 SOS 162163 HAS SOPS 162163 HAS SOUS 67945 HAS SOUPS 67945 WITH SCORE 68107.163
AT ITER 2952 NEW BEST:: SOT 286016 SOS 161271 HAS SOPS 161271 HAS SOUS 67465 HAS SOUPS 67465 WITH SCORE 67626.271
AT ITER 2956 NEW BEST:: SOT 286016 SOS 161271 HAS SOPS 161271 HAS SOUS 67458 HAS SOUPS 67458 WITH SCORE 67619.271
AT ITER 2965 NEW BEST:: SOT 286042 SOS 161336 HAS SOPS 161336 HAS SOUS 67457 HAS SOUPS 67457 WITH SCORE 67618.336
AT ITER 3021 NEW BEST:: SOT 286039 SOS 161333 HAS SOPS 161333 HAS SOUS 67402 HAS SOUPS 67402 WITH SCORE 67563.333
AT ITER 3029 NEW BEST:: SOT 286038 SOS 161330 HAS SOPS 161330 HAS SOUS 67400 HAS SOUPS 67400 WITH SCORE 67561.33
AT ITER 3056 NEW BEST:: SOT 285885 SOS 161177 HAS SOPS 161177 HAS SOUS 67341 HAS SOUPS 67341 WITH SCORE 67502.177
AT ITER 3083 NEW BEST:: SOT 285951 SOS 161111 HAS SOPS 161111 HAS SOUS 67341 HAS SOUPS 67341 WITH SCORE 67502.111
AT ITER 3104 NEW BEST:: SOT 285951 SOS 161001 HAS SOPS 161001 HAS SOUS 67325 HAS SOUPS 67325 WITH SCORE 67486.001
AT ITER 3131 NEW BEST:: SOT 285949 SOS 160906 HAS SOPS 160906 HAS SOUS 67321 HAS SOUPS 67321 WITH SCORE 67481.906
AT ITER 3158 NEW BEST:: SOT 285949 SOS 160875 HAS SOPS 160875 HAS SOUS 67290 HAS SOUPS 67290 WITH SCORE 67450.875
AT ITER 3172 NEW BEST:: SOT 285934 SOS 160860 HAS SOPS 160860 HAS SOUS 67282 HAS SOUPS 67282 WITH SCORE 67442.86
AT ITER 3204 NEW BEST:: SOT 285791 SOS 160717 HAS SOPS 160717 HAS SOUS 67087 HAS SOUPS 67087 WITH SCORE 67247.717
AT ITER 3219 NEW BEST:: SOT 285725 SOS 160651 HAS SOPS 160651 HAS SOUS 67087 HAS SOUPS 67087 WITH SCORE 67247.651
AT ITER 3252 NEW BEST:: SOT 285725 SOS 160643 HAS SOPS 160643 HAS SOUS 67086 HAS SOUPS 67086 WITH SCORE 67246.643
AT ITER 3253 NEW BEST:: SOT 285751 SOS 160644 HAS SOPS 160644 HAS SOUS 67018 HAS SOUPS 67018 WITH SCORE 67178.644
AT ITER 3257 NEW BEST:: SOT 285743 SOS 160832 HAS SOPS 160832 HAS SOUS 67014 HAS SOUPS 67014 WITH SCORE 67174.832
AT ITER 3264 NEW BEST:: SOT 285710 SOS 160799 HAS SOPS 160799 HAS SOUS 66962 HAS SOUPS 66962 WITH SCORE 67122.799
AT ITER 3274 NEW BEST:: SOT 285710 SOS 160753 HAS SOPS 160753 HAS SOUS 66895 HAS SOUPS 66895 WITH SCORE 67055.753
AT ITER 3284 NEW BEST:: SOT 285713 SOS 160685 HAS SOPS 160685 HAS SOUS 66881 HAS SOUPS 66881 WITH SCORE 67041.685
AT ITER 3303 NEW BEST:: SOT 285635 SOS 160470 HAS SOPS 160470 HAS SOUS 66710 HAS SOUPS 66710 WITH SCORE 66870.47
AT ITER 3336 NEW BEST:: SOT 285604 SOS 160266 HAS SOPS 160266 HAS SOUS 66679 HAS SOUPS 66679 WITH SCORE 66839.266
AT ITER 3380 NEW BEST:: SOT 285537 SOS 160151 HAS SOPS 160151 HAS SOUS 66610 HAS SOUPS 66610 WITH SCORE 66770.151
AT ITER 3381 NEW BEST:: SOT 285540 SOS 160004 HAS SOPS 160004 HAS SOUS 66463 HAS SOUPS 66463 WITH SCORE 66623.004
AT ITER 3395 NEW BEST:: SOT 285399 SOS 159951 HAS SOPS 159951 HAS SOUS 66410 HAS SOUPS 66410 WITH SCORE 66569.951
AT ITER 3407 NEW BEST:: SOT 285399 SOS 159951 HAS SOPS 159951 HAS SOUS 66391 HAS SOUPS 66391 WITH SCORE 66550.951
AT ITER 3417 NEW BEST:: SOT 285262 SOS 159842 HAS SOPS 159842 HAS SOUS 66352 HAS SOUPS 66352 WITH SCORE 66511.842
AT ITER 3438 NEW BEST:: SOT 285193 SOS 159773 HAS SOPS 159773 HAS SOUS 66306 HAS SOUPS 66306 WITH SCORE 66465.773
AT ITER 3439 NEW BEST:: SOT 285201 SOS 159621 HAS SOPS 159621 HAS SOUS 66297 HAS SOUPS 66297 WITH SCORE 66456.621
AT ITER 3452 NEW BEST:: SOT 285175 SOS 159600 HAS SOPS 159600 HAS SOUS 66257 HAS SOUPS 66257 WITH SCORE 66416.6
AT ITER 3453 NEW BEST:: SOT 285083 SOS 159508 HAS SOPS 159508 HAS SOUS 66165 HAS SOUPS 66165 WITH SCORE 66324.508
AT ITER 3461 NEW BEST:: SOT 285083 SOS 159538 HAS SOPS 159538 HAS SOUS 66159 HAS SOUPS 66159 WITH SCORE 66318.538
AT ITER 3470 NEW BEST:: SOT 285076 SOS 159531 HAS SOPS 159531 HAS SOUS 66145 HAS SOUPS 66145 WITH SCORE 66304.531
AT ITER 3548 NEW BEST:: SOT 285062 SOS 159503 HAS SOPS 159503 HAS SOUS 66085 HAS SOUPS 66085 WITH SCORE 66244.503
AT ITER 3551 NEW BEST:: SOT 285060 SOS 159501 HAS SOPS 159501 HAS SOUS 66083 HAS SOUPS 66083 WITH SCORE 66242.501
AT ITER 3560 NEW BEST:: SOT 285048 SOS 159477 HAS SOPS 159477 HAS SOUS 66071 HAS SOUPS 66071 WITH SCORE 66230.477
AT ITER 3566 NEW BEST:: SOT 284683 SOS 158864 HAS SOPS 158864 HAS SOUS 65780 HAS SOUPS 65780 WITH SCORE 65938.864
AT ITER 3603 NEW BEST:: SOT 284654 SOS 158807 HAS SOPS 158807 HAS SOUS 65750 HAS SOUPS 65750 WITH SCORE 65908.807
AT ITER 3606 NEW BEST:: SOT 284654 SOS 158807 HAS SOPS 158807 HAS SOUS 65733 HAS SOUPS 65733 WITH SCORE 65891.807
AT ITER 3611 NEW BEST:: SOT 284654 SOS 158053 HAS SOPS 158053 HAS SOUS 65676 HAS SOUPS 65676 WITH SCORE 65834.053
AT ITER 3616 NEW BEST:: SOT 284641 SOS 158053 HAS SOPS 158053 HAS SOUS 65663 HAS SOUPS 65663 WITH SCORE 65821.053
AT ITER 3634 NEW BEST:: SOT 284632 SOS 158008 HAS SOPS 158008 HAS SOUS 65645 HAS SOUPS 65645 WITH SCORE 65803.008
AT ITER 3642 NEW BEST:: SOT 284782 SOS 157911 HAS SOPS 157911 HAS SOUS 65548 HAS SOUPS 65548 WITH SCORE 65705.911
AT ITER 3659 NEW BEST:: SOT 284804 SOS 158031 HAS SOPS 158031 HAS SOUS 65446 HAS SOUPS 65446 WITH SCORE 65604.031
AT ITER 3700 NEW BEST:: SOT 284759 SOS 157964 HAS SOPS 157964 HAS SOUS 65440 HAS SOUPS 65440 WITH SCORE 65597.964
AT ITER 3721 NEW BEST:: SOT 284640 SOS 157845 HAS SOPS 157845 HAS SOUS 65312 HAS SOUPS 65312 WITH SCORE 65469.845
AT ITER 3734 NEW BEST:: SOT 284652 SOS 157823 HAS SOPS 157823 HAS SOUS 65290 HAS SOUPS 65290 WITH SCORE 65447.823
AT ITER 3739 NEW BEST:: SOT 284639 SOS 157810 HAS SOPS 157810 HAS SOUS 65264 HAS SOUPS 65264 WITH SCORE 65421.81
AT ITER 3742 NEW BEST:: SOT 284611 SOS 157782 HAS SOPS 157782 HAS SOUS 65224 HAS SOUPS 65224 WITH SCORE 65381.782
AT ITER 3744 NEW BEST:: SOT 284567 SOS 157738 HAS SOPS 157738 HAS SOUS 65179 HAS SOUPS 65179 WITH SCORE 65336.738
AT ITER 3748 NEW BEST:: SOT 284567 SOS 158585 HAS SOPS 158585 HAS SOUS 64562 HAS SOUPS 64562 WITH SCORE 64720.585
AT ITER 3749 NEW BEST:: SOT 284552 SOS 158555 HAS SOPS 158555 HAS SOUS 64532 HAS SOUPS 64532 WITH SCORE 64690.555
AT ITER 3752 NEW BEST:: SOT 284558 SOS 158561 HAS SOPS 158561 HAS SOUS 64531 HAS SOUPS 64531 WITH SCORE 64689.561
AT ITER 3758 NEW BEST:: SOT 284496 SOS 158499 HAS SOPS 158499 HAS SOUS 64463 HAS SOUPS 64463 WITH SCORE 64621.499
AT ITER 3768 NEW BEST:: SOT 284405 SOS 158322 HAS SOPS 158322 HAS SOUS 64405 HAS SOUPS 64405 WITH SCORE 64563.322
AT ITER 3789 NEW BEST:: SOT 284378 SOS 158293 HAS SOPS 158293 HAS SOUS 64391 HAS SOUPS 64391 WITH SCORE 64549.293
AT ITER 3803 NEW BEST:: SOT 284382 SOS 158301 HAS SOPS 158301 HAS SOUS 64383 HAS SOUPS 64383 WITH SCORE 64541.301
AT ITER 3821 NEW BEST:: SOT 284367 SOS 158286 HAS SOPS 158286 HAS SOUS 64310 HAS SOUPS 64310 WITH SCORE 64468.286
AT ITER 3824 NEW BEST:: SOT 284330 SOS 158249 HAS SOPS 158249 HAS SOUS 64273 HAS SOUPS 64273 WITH SCORE 64431.249
AT ITER 3828 NEW BEST:: SOT 284326 SOS 158243 HAS SOPS 158243 HAS SOUS 64269 HAS SOUPS 64269 WITH SCORE 64427.243
AT ITER 3846 NEW BEST:: SOT 284263 SOS 158117 HAS SOPS 158117 HAS SOUS 64143 HAS SOUPS 64143 WITH SCORE 64301.117
AT ITER 3848 NEW BEST:: SOT 283774 SOS 157723 HAS SOPS 157723 HAS SOUS 63559 HAS SOUPS 63559 WITH SCORE 63716.723
AT ITER 3851 NEW BEST:: SOT 283777 SOS 158375 HAS SOPS 158375 HAS SOUS 63539 HAS SOUPS 63539 WITH SCORE 63697.375
AT ITER 3873 NEW BEST:: SOT 283627 SOS 158195 HAS SOPS 158195 HAS SOUS 63378 HAS SOUPS 63378 WITH SCORE 63536.195
AT ITER 3889 NEW BEST:: SOT 283596 SOS 158164 HAS SOPS 158164 HAS SOUS 63306 HAS SOUPS 63306 WITH SCORE 63464.164
AT ITER 3894 NEW BEST:: SOT 283589 SOS 157841 HAS SOPS 157841 HAS SOUS 62934 HAS SOUPS 62934 WITH SCORE 63091.841
AT ITER 3903 NEW BEST:: SOT 283589 SOS 157821 HAS SOPS 157821 HAS SOUS 62914 HAS SOUPS 62914 WITH SCORE 63071.821
AT ITER 3910 NEW BEST:: SOT 283685 SOS 157917 HAS SOPS 157917 HAS SOUS 62894 HAS SOUPS 62894 WITH SCORE 63051.917
AT ITER 3919 NEW BEST:: SOT 283659 SOS 157891 HAS SOPS 157891 HAS SOUS 62868 HAS SOUPS 62868 WITH SCORE 63025.891
AT ITER 3930 NEW BEST:: SOT 283653 SOS 157859 HAS SOPS 157859 HAS SOUS 62836 HAS SOUPS 62836 WITH SCORE 62993.859
AT ITER 3958 NEW BEST:: SOT 283554 SOS 157772 HAS SOPS 157772 HAS SOUS 62706 HAS SOUPS 62706 WITH SCORE 62863.772
AT ITER 3959 NEW BEST:: SOT 283554 SOS 157760 HAS SOPS 157760 HAS SOUS 62705 HAS SOUPS 62705 WITH SCORE 62862.76
AT ITER 3973 NEW BEST:: SOT 283417 SOS 157553 HAS SOPS 157553 HAS SOUS 62501 HAS SOUPS 62501 WITH SCORE 62658.553
AT ITER 3981 NEW BEST:: SOT 283410 SOS 157517 HAS SOPS 157517 HAS SOUS 62450 HAS SOUPS 62450 WITH SCORE 62607.517
AT ITER 4002 NEW BEST:: SOT 283399 SOS 157495 HAS SOPS 157495 HAS SOUS 62428 HAS SOUPS 62428 WITH SCORE 62585.495
AT ITER 4023 NEW BEST:: SOT 283398 SOS 157494 HAS SOPS 157494 HAS SOUS 62428 HAS SOUPS 62428 WITH SCORE 62585.494
AT ITER 4025 NEW BEST:: SOT 283398 SOS 157467 HAS SOPS 157467 HAS SOUS 62401 HAS SOUPS 62401 WITH SCORE 62558.467
AT ITER 4043 NEW BEST:: SOT 283319 SOS 157310 HAS SOPS 157310 HAS SOUS 62191 HAS SOUPS 62191 WITH SCORE 62348.31
AT ITER 4045 NEW BEST:: SOT 283269 SOS 157260 HAS SOPS 157260 HAS SOUS 62141 HAS SOUPS 62141 WITH SCORE 62298.26
AT ITER 4053 NEW BEST:: SOT 283235 SOS 157226 HAS SOPS 157226 HAS SOUS 62125 HAS SOUPS 62125 WITH SCORE 62282.226
AT ITER 4096 NEW BEST:: SOT 283197 SOS 157064 HAS SOPS 157064 HAS SOUS 62049 HAS SOUPS 62049 WITH SCORE 62206.064
AT ITER 4097 NEW BEST:: SOT 283188 SOS 157037 HAS SOPS 157037 HAS SOUS 62031 HAS SOUPS 62031 WITH SCORE 62188.037
AT ITER 4098 NEW BEST:: SOT 283173 SOS 157022 HAS SOPS 157022 HAS SOUS 62020 HAS SOUPS 62020 WITH SCORE 62177.022
AT ITER 4136 NEW BEST:: SOT 283089 SOS 156852 HAS SOPS 156852 HAS SOUS 61850 HAS SOUPS 61850 WITH SCORE 62006.852
AT ITER 4156 NEW BEST:: SOT 283053 SOS 156816 HAS SOPS 156816 HAS SOUS 61808 HAS SOUPS 61808 WITH SCORE 61964.816
AT ITER 4157 NEW BEST:: SOT 283038 SOS 156750 HAS SOPS 156750 HAS SOUS 61793 HAS SOUPS 61793 WITH SCORE 61949.75
AT ITER 4165 NEW BEST:: SOT 283038 SOS 156708 HAS SOPS 156708 HAS SOUS 61773 HAS SOUPS 61773 WITH SCORE 61929.708
AT ITER 4246 NEW BEST:: SOT 283038 SOS 156699 HAS SOPS 156699 HAS SOUS 61764 HAS SOUPS 61764 WITH SCORE 61920.699
AT ITER 4266 NEW BEST:: SOT 282954 SOS 156544 HAS SOPS 156544 HAS SOUS 61690 HAS SOUPS 61690 WITH SCORE 61846.544
AT ITER 4280 NEW BEST:: SOT 282931 SOS 156515 HAS SOPS 156515 HAS SOUS 61660 HAS SOUPS 61660 WITH SCORE 61816.515
AT ITER 4291 NEW BEST:: SOT 282926 SOS 156485 HAS SOPS 156485 HAS SOUS 61650 HAS SOUPS 61650 WITH SCORE 61806.485
AT ITER 4296 NEW BEST:: SOT 282917 SOS 156440 HAS SOPS 156440 HAS SOUS 61641 HAS SOUPS 61641 WITH SCORE 61797.44
AT ITER 4315 NEW BEST:: SOT 282877 SOS 156400 HAS SOPS 156400 HAS SOUS 61561 HAS SOUPS 61561 WITH SCORE 61717.4
AT ITER 4326 NEW BEST:: SOT 282683 SOS 156010 HAS SOPS 156010 HAS SOUS 61448 HAS SOUPS 61448 WITH SCORE 61604.01
AT ITER 4348 NEW BEST:: SOT 282630 SOS 155957 HAS SOPS 155957 HAS SOUS 61395 HAS SOUPS 61395 WITH SCORE 61550.957
AT ITER 4349 NEW BEST:: SOT 282599 SOS 155875 HAS SOPS 155875 HAS SOUS 61352 HAS SOUPS 61352 WITH SCORE 61507.875
AT ITER 4357 NEW BEST:: SOT 282573 SOS 155875 HAS SOPS 155875 HAS SOUS 61326 HAS SOUPS 61326 WITH SCORE 61481.875
AT ITER 4378 NEW BEST:: SOT 282626 SOS 155803 HAS SOPS 155803 HAS SOUS 61285 HAS SOUPS 61285 WITH SCORE 61440.803
AT ITER 4401 NEW BEST:: SOT 282442 SOS 155348 HAS SOPS 155348 HAS SOUS 60997 HAS SOUPS 60997 WITH SCORE 61152.348
AT ITER 4410 NEW BEST:: SOT 282439 SOS 155345 HAS SOPS 155345 HAS SOUS 60994 HAS SOUPS 60994 WITH SCORE 61149.345
AT ITER 4414 NEW BEST:: SOT 282283 SOS 154960 HAS SOPS 154960 HAS SOUS 60784 HAS SOUPS 60784 WITH SCORE 60938.96
AT ITER 4431 NEW BEST:: SOT 282311 SOS 154550 HAS SOPS 154550 HAS SOUS 60656 HAS SOUPS 60656 WITH SCORE 60810.55
AT ITER 4432 NEW BEST:: SOT 282270 SOS 154468 HAS SOPS 154468 HAS SOUS 60567 HAS SOUPS 60567 WITH SCORE 60721.468
AT ITER 4454 NEW BEST:: SOT 282217 SOS 154384 HAS SOPS 154384 HAS SOUS 60492 HAS SOUPS 60492 WITH SCORE 60646.384
AT ITER 4465 NEW BEST:: SOT 282137 SOS 154370 HAS SOPS 154370 HAS SOUS 60467 HAS SOUPS 60467 WITH SCORE 60621.37
AT ITER 4468 NEW BEST:: SOT 282143 SOS 154194 HAS SOPS 154194 HAS SOUS 60291 HAS SOUPS 60291 WITH SCORE 60445.194
AT ITER 4487 NEW BEST:: SOT 281785 SOS 153844 HAS SOPS 153844 HAS SOUS 60168 HAS SOUPS 60168 WITH SCORE 60321.844
AT ITER 4488 NEW BEST:: SOT 281651 SOS 153658 HAS SOPS 153658 HAS SOUS 59908 HAS SOUPS 59908 WITH SCORE 60061.658
AT ITER 4489 NEW BEST:: SOT 281625 SOS 153632 HAS SOPS 153632 HAS SOUS 59879 HAS SOUPS 59879 WITH SCORE 60032.632
AT ITER 4496 NEW BEST:: SOT 281610 SOS 153617 HAS SOPS 153617 HAS SOUS 59864 HAS SOUPS 59864 WITH SCORE 60017.617
AT ITER 4521 NEW BEST:: SOT 281654 SOS 153496 HAS SOPS 153496 HAS SOUS 59744 HAS SOUPS 59744 WITH SCORE 59897.496
AT ITER 4538 NEW BEST:: SOT 281639 SOS 153451 HAS SOPS 153451 HAS SOUS 59744 HAS SOUPS 59744 WITH SCORE 59897.451
AT ITER 4546 NEW BEST:: SOT 281626 SOS 153406 HAS SOPS 153406 HAS SOUS 59735 HAS SOUPS 59735 WITH SCORE 59888.406
AT ITER 4556 NEW BEST:: SOT 281589 SOS 153361 HAS SOPS 153361 HAS SOUS 59713 HAS SOUPS 59713 WITH SCORE 59866.361
AT ITER 4558 NEW BEST:: SOT 281589 SOS 153329 HAS SOPS 153329 HAS SOUS 59713 HAS SOUPS 59713 WITH SCORE 59866.329
AT ITER 4562 NEW BEST:: SOT 281608 SOS 153291 HAS SOPS 153291 HAS SOUS 59704 HAS SOUPS 59704 WITH SCORE 59857.291
AT ITER 4569 NEW BEST:: SOT 281510 SOS 153189 HAS SOPS 153189 HAS SOUS 59632 HAS SOUPS 59632 WITH SCORE 59785.189
AT ITER 4590 NEW BEST:: SOT 281448 SOS 152950 HAS SOPS 152950 HAS SOUS 59537 HAS SOUPS 59537 WITH SCORE 59689.95
AT ITER 4606 NEW BEST:: SOT 281406 SOS 152874 HAS SOPS 152874 HAS SOUS 59406 HAS SOUPS 59406 WITH SCORE 59558.874
AT ITER 4623 NEW BEST:: SOT 281300 SOS 151548 HAS SOPS 151548 HAS SOUS 59271 HAS SOUPS 59271 WITH SCORE 59422.548
AT ITER 4663 NEW BEST:: SOT 281236 SOS 151484 HAS SOPS 151484 HAS SOUS 59187 HAS SOUPS 59187 WITH SCORE 59338.484
AT ITER 4666 NEW BEST:: SOT 281176 SOS 151424 HAS SOPS 151424 HAS SOUS 59165 HAS SOUPS 59165 WITH SCORE 59316.424
AT ITER 4669 NEW BEST:: SOT 281165 SOS 151414 HAS SOPS 151414 HAS SOUS 59132 HAS SOUPS 59132 WITH SCORE 59283.414
AT ITER 4677 NEW BEST:: SOT 281142 SOS 151511 HAS SOPS 151511 HAS SOUS 59021 HAS SOUPS 59021 WITH SCORE 59172.511
AT ITER 4679 NEW BEST:: SOT 281142 SOS 151507 HAS SOPS 151507 HAS SOUS 59017 HAS SOUPS 59017 WITH SCORE 59168.507
AT ITER 4684 NEW BEST:: SOT 281135 SOS 151505 HAS SOPS 151505 HAS SOUS 58993 HAS SOUPS 58993 WITH SCORE 59144.505
AT ITER 4686 NEW BEST:: SOT 281135 SOS 151473 HAS SOPS 151473 HAS SOUS 58989 HAS SOUPS 58989 WITH SCORE 59140.473
AT ITER 4710 NEW BEST:: SOT 281129 SOS 151461 HAS SOPS 151461 HAS SOUS 58977 HAS SOUPS 58977 WITH SCORE 59128.461
AT ITER 4798 NEW BEST:: SOT 281175 SOS 151542 HAS SOPS 151542 HAS SOUS 58958 HAS SOUPS 58958 WITH SCORE 59109.542
AT ITER 4845 NEW BEST:: SOT 281140 SOS 151507 HAS SOPS 151507 HAS SOUS 58888 HAS SOUPS 58888 WITH SCORE 59039.507
AT ITER 4863 NEW BEST:: SOT 281147 SOS 151520 HAS SOPS 151520 HAS SOUS 58861 HAS SOUPS 58861 WITH SCORE 59012.52
AT ITER 4872 NEW BEST:: SOT 281129 SOS 151428 HAS SOPS 151428 HAS SOUS 58829 HAS SOUPS 58829 WITH SCORE 58980.428
AT ITER 4877 NEW BEST:: SOT 281168 SOS 151569 HAS SOPS 151569 HAS SOUS 58723 HAS SOUPS 58723 WITH SCORE 58874.569
AT ITER 4884 NEW BEST:: SOT 281104 SOS 151523 HAS SOPS 151523 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58873.523
AT ITER 4918 NEW BEST:: SOT 281104 SOS 151520 HAS SOPS 151520 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58873.52
AT ITER 4927 NEW BEST:: SOT 281102 SOS 151518 HAS SOPS 151518 HAS SOUS 58718 HAS SOUPS 58718 WITH SCORE 58869.518
AT ITER 4957 NEW BEST:: SOT 281097 SOS 151497 HAS SOPS 151497 HAS SOUS 58713 HAS SOUPS 58713 WITH SCORE 58864.497
AT ITER 4959 NEW BEST:: SOT 281014 SOS 151469 HAS SOPS 151469 HAS SOUS 58685 HAS SOUPS 58685 WITH SCORE 58836.469
AT ITER 4986 NEW BEST:: SOT 280983 SOS 151437 HAS SOPS 151437 HAS SOUS 58652 HAS SOUPS 58652 WITH SCORE 58803.437
AT ITER 4999 NEW BEST:: SOT 280966 SOS 151396 HAS SOPS 151396 HAS SOUS 58635 HAS SOUPS 58635 WITH SCORE 58786.396
AT ITER 5008 NEW BEST:: SOT 280966 SOS 151084 HAS SOPS 151084 HAS SOUS 58479 HAS SOUPS 58479 WITH SCORE 58630.084
AT ITER 5026 NEW BEST:: SOT 280934 SOS 150820 HAS SOPS 150820 HAS SOUS 58446 HAS SOUPS 58446 WITH SCORE 58596.82
AT ITER 5030 NEW BEST:: SOT 280934 SOS 149972 HAS SOPS 149972 HAS SOUS 58386 HAS SOUPS 58386 WITH SCORE 58535.972
AT ITER 5120 NEW BEST:: SOT 280756 SOS 150230 HAS SOPS 150230 HAS SOUS 58329 HAS SOUPS 58329 WITH SCORE 58479.23
AT ITER 5126 NEW BEST:: SOT 280756 SOS 150245 HAS SOPS 150245 HAS SOUS 58296 HAS SOUPS 58296 WITH SCORE 58446.245
AT ITER 5149 NEW BEST:: SOT 280724 SOS 150213 HAS SOPS 150213 HAS SOUS 58274 HAS SOUPS 58274 WITH SCORE 58424.213
AT ITER 5150 NEW BEST:: SOT 280726 SOS 150195 HAS SOPS 150195 HAS SOUS 58256 HAS SOUPS 58256 WITH SCORE 58406.195
AT ITER 5158 NEW BEST:: SOT 280725 SOS 150193 HAS SOPS 150193 HAS SOUS 58254 HAS SOUPS 58254 WITH SCORE 58404.193
AT ITER 5159 NEW BEST:: SOT 280666 SOS 150132 HAS SOPS 150132 HAS SOUS 58154 HAS SOUPS 58154 WITH SCORE 58304.132
AT ITER 5162 NEW BEST:: SOT 280655 SOS 150121 HAS SOPS 150121 HAS SOUS 58143 HAS SOUPS 58143 WITH SCORE 58293.121
AT ITER 5173 NEW BEST:: SOT 280621 SOS 150087 HAS SOPS 150087 HAS SOUS 58041 HAS SOUPS 58041 WITH SCORE 58191.087
AT ITER 5176 NEW BEST:: SOT 280621 SOS 149978 HAS SOPS 149978 HAS SOUS 58041 HAS SOUPS 58041 WITH SCORE 58190.978
AT ITER 5186 NEW BEST:: SOT 280605 SOS 149978 HAS SOPS 149978 HAS SOUS 58025 HAS SOUPS 58025 WITH SCORE 58174.978
AT ITER 5222 NEW BEST:: SOT 280596 SOS 149969 HAS SOPS 149969 HAS SOUS 58016 HAS SOUPS 58016 WITH SCORE 58165.969
AT ITER 5280 NEW BEST:: SOT 280577 SOS 149950 HAS SOPS 149950 HAS SOUS 57997 HAS SOUPS 57997 WITH SCORE 58146.95
AT ITER 5308 NEW BEST:: SOT 280503 SOS 149876 HAS SOPS 149876 HAS SOUS 57923 HAS SOUPS 57923 WITH SCORE 58072.876
AT ITER 5324 NEW BEST:: SOT 280502 SOS 149875 HAS SOPS 149875 HAS SOUS 57916 HAS SOUPS 57916 WITH SCORE 58065.875
AT ITER 5355 NEW BEST:: SOT 280500 SOS 149872 HAS SOPS 149872 HAS SOUS 57912 HAS SOUPS 57912 WITH SCORE 58061.872
AT ITER 5363 NEW BEST:: SOT 280481 SOS 149859 HAS SOPS 149859 HAS SOUS 57880 HAS SOUPS 57880 WITH SCORE 58029.859
AT ITER 5365 NEW BEST:: SOT 280478 SOS 149856 HAS SOPS 149856 HAS SOUS 57880 HAS SOUPS 57880 WITH SCORE 58029.856
AT ITER 5371 NEW BEST:: SOT 280480 SOS 149852 HAS SOPS 149852 HAS SOUS 57878 HAS SOUPS 57878 WITH SCORE 58027.852
AT ITER 5379 NEW BEST:: SOT 280678 SOS 150014 HAS SOPS 150014 HAS SOUS 57860 HAS SOUPS 57860 WITH SCORE 58010.014
AT ITER 5402 NEW BEST:: SOT 280686 SOS 150022 HAS SOPS 150022 HAS SOUS 57859 HAS SOUPS 57859 WITH SCORE 58009.022
AT ITER 5436 NEW BEST:: SOT 280638 SOS 149931 HAS SOPS 149931 HAS SOUS 57760 HAS SOUPS 57760 WITH SCORE 57909.931
AT ITER 5450 NEW BEST:: SOT 280483 SOS 149956 HAS SOPS 149956 HAS SOUS 57651 HAS SOUPS 57651 WITH SCORE 57800.956
AT ITER 5461 NEW BEST:: SOT 280359 SOS 149809 HAS SOPS 149809 HAS SOUS 57444 HAS SOUPS 57444 WITH SCORE 57593.809
AT ITER 5496 NEW BEST:: SOT 280353 SOS 149809 HAS SOPS 149809 HAS SOUS 57432 HAS SOUPS 57432 WITH SCORE 57581.809
AT ITER 5505 NEW BEST:: SOT 280281 SOS 149737 HAS SOPS 149737 HAS SOUS 57360 HAS SOUPS 57360 WITH SCORE 57509.737
AT ITER 5520 NEW BEST:: SOT 280274 SOS 149680 HAS SOPS 149680 HAS SOUS 57312 HAS SOUPS 57312 WITH SCORE 57461.68
AT ITER 5566 NEW BEST:: SOT 280202 SOS 149711 HAS SOPS 149711 HAS SOUS 57268 HAS SOUPS 57268 WITH SCORE 57417.711
AT ITER 5579 NEW BEST:: SOT 280198 SOS 149707 HAS SOPS 149707 HAS SOUS 57264 HAS SOUPS 57264 WITH SCORE 57413.707
AT ITER 5583 NEW BEST:: SOT 280065 SOS 150054 HAS SOPS 150054 HAS SOUS 57181 HAS SOUPS 57181 WITH SCORE 57331.054
AT ITER 5596 NEW BEST:: SOT 280065 SOS 149816 HAS SOPS 149816 HAS SOUS 57150 HAS SOUPS 57150 WITH SCORE 57299.816
AT ITER 5630 NEW BEST:: SOT 280143 SOS 149706 HAS SOPS 149706 HAS SOUS 57088 HAS SOUPS 57088 WITH SCORE 57237.706
AT ITER 5633 NEW BEST:: SOT 280141 SOS 149702 HAS SOPS 149702 HAS SOUS 57084 HAS SOUPS 57084 WITH SCORE 57233.702
AT ITER 5637 NEW BEST:: SOT 280137 SOS 149694 HAS SOPS 149694 HAS SOUS 57060 HAS SOUPS 57060 WITH SCORE 57209.694
AT ITER 5693 NEW BEST:: SOT 280163 SOS 149694 HAS SOPS 149694 HAS SOUS 57034 HAS SOUPS 57034 WITH SCORE 57183.694
AT ITER 5710 NEW BEST:: SOT 280063 SOS 149489 HAS SOPS 149489 HAS SOUS 57029 HAS SOUPS 57029 WITH SCORE 57178.489
AT ITER 5719 NEW BEST:: SOT 279991 SOS 149159 HAS SOPS 149159 HAS SOUS 56752 HAS SOUPS 56752 WITH SCORE 56901.159
AT ITER 5749 NEW BEST:: SOT 279945 SOS 149113 HAS SOPS 149113 HAS SOUS 56738 HAS SOUPS 56738 WITH SCORE 56887.113
AT ITER 5813 NEW BEST:: SOT 279943 SOS 149111 HAS SOPS 149111 HAS SOUS 56736 HAS SOUPS 56736 WITH SCORE 56885.111
AT ITER 5824 NEW BEST:: SOT 279926 SOS 149077 HAS SOPS 149077 HAS SOUS 56686 HAS SOUPS 56686 WITH SCORE 56835.077
AT ITER 5827 NEW BEST:: SOT 279899 SOS 149050 HAS SOPS 149050 HAS SOUS 56632 HAS SOUPS 56632 WITH SCORE 56781.05
AT ITER 5837 NEW BEST:: SOT 279886 SOS 148998 HAS SOPS 148998 HAS SOUS 56593 HAS SOUPS 56593 WITH SCORE 56741.998
AT ITER 5851 NEW BEST:: SOT 279856 SOS 148968 HAS SOPS 148968 HAS SOUS 56533 HAS SOUPS 56533 WITH SCORE 56681.968
AT ITER 5873 NEW BEST:: SOT 279853 SOS 148965 HAS SOPS 148965 HAS SOUS 56530 HAS SOUPS 56530 WITH SCORE 56678.965
AT ITER 5877 NEW BEST:: SOT 279853 SOS 148820 HAS SOPS 148820 HAS SOUS 56501 HAS SOUPS 56501 WITH SCORE 56649.82
AT ITER 5900 NEW BEST:: SOT 279843 SOS 148767 HAS SOPS 148767 HAS SOUS 56467 HAS SOUPS 56467 WITH SCORE 56615.767
AT ITER 5906 NEW BEST:: SOT 279821 SOS 148745 HAS SOPS 148745 HAS SOUS 56434 HAS SOUPS 56434 WITH SCORE 56582.745
AT ITER 5918 NEW BEST:: SOT 279787 SOS 148711 HAS SOPS 148711 HAS SOUS 56359 HAS SOUPS 56359 WITH SCORE 56507.711
AT ITER 5921 NEW BEST:: SOT 279787 SOS 148703 HAS SOPS 148703 HAS SOUS 56358 HAS SOUPS 56358 WITH SCORE 56506.703
AT ITER 5924 NEW BEST:: SOT 279791 SOS 148654 HAS SOPS 148654 HAS SOUS 56321 HAS SOUPS 56321 WITH SCORE 56469.654
AT ITER 5925 NEW BEST:: SOT 279788 SOS 148651 HAS SOPS 148651 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56466.651
AT ITER 5943 NEW BEST:: SOT 279786 SOS 148647 HAS SOPS 148647 HAS SOUS 56314 HAS SOUPS 56314 WITH SCORE 56462.647
AT ITER 5975 NEW BEST:: SOT 279765 SOS 148643 HAS SOPS 148643 HAS SOUS 56311 HAS SOUPS 56311 WITH SCORE 56459.643
AT ITER 5981 NEW BEST:: SOT 279736 SOS 148614 HAS SOPS 148614 HAS SOUS 56290 HAS SOUPS 56290 WITH SCORE 56438.614
AT ITER 5984 NEW BEST:: SOT 279736 SOS 148566 HAS SOPS 148566 HAS SOUS 56284 HAS SOUPS 56284 WITH SCORE 56432.566
AT ITER 6031 NEW BEST:: SOT 279780 SOS 148206 HAS SOPS 148206 HAS SOUS 56201 HAS SOUPS 56201 WITH SCORE 56349.206
AT ITER 6038 NEW BEST:: SOT 279787 SOS 148213 HAS SOPS 148213 HAS SOUS 56190 HAS SOUPS 56190 WITH SCORE 56338.213
AT ITER 6042 NEW BEST:: SOT 279775 SOS 148223 HAS SOPS 148223 HAS SOUS 56173 HAS SOUPS 56173 WITH SCORE 56321.223
AT ITER 6052 NEW BEST:: SOT 279775 SOS 148035 HAS SOPS 148035 HAS SOUS 56146 HAS SOUPS 56146 WITH SCORE 56294.035
AT ITER 6086 NEW BEST:: SOT 279666 SOS 148157 HAS SOPS 148157 HAS SOUS 56050 HAS SOUPS 56050 WITH SCORE 56198.157
AT ITER 6088 NEW BEST:: SOT 279658 SOS 147212 HAS SOPS 147212 HAS SOUS 56050 HAS SOUPS 56050 WITH SCORE 56197.212
AT ITER 6122 NEW BEST:: SOT 279622 SOS 147176 HAS SOPS 147176 HAS SOUS 56030 HAS SOUPS 56030 WITH SCORE 56177.176
AT ITER 6130 NEW BEST:: SOT 279600 SOS 147132 HAS SOPS 147132 HAS SOUS 56000 HAS SOUPS 56000 WITH SCORE 56147.132
AT ITER 6168 NEW BEST:: SOT 279593 SOS 147204 HAS SOPS 147204 HAS SOUS 55986 HAS SOUPS 55986 WITH SCORE 56133.204
AT ITER 6261 NEW BEST:: SOT 279577 SOS 147172 HAS SOPS 147172 HAS SOUS 55954 HAS SOUPS 55954 WITH SCORE 56101.172
AT ITER 6268 NEW BEST:: SOT 279523 SOS 147064 HAS SOPS 147064 HAS SOUS 55846 HAS SOUPS 55846 WITH SCORE 55993.064
AT ITER 6277 NEW BEST:: SOT 279523 SOS 147064 HAS SOPS 147064 HAS SOUS 55768 HAS SOUPS 55768 WITH SCORE 55915.064
AT ITER 6283 NEW BEST:: SOT 279517 SOS 147055 HAS SOPS 147055 HAS SOUS 55759 HAS SOUPS 55759 WITH SCORE 55906.055
AT ITER 6291 NEW BEST:: SOT 279517 SOS 147053 HAS SOPS 147053 HAS SOUS 55757 HAS SOUPS 55757 WITH SCORE 55904.053
AT ITER 6301 NEW BEST:: SOT 279515 SOS 147053 HAS SOPS 147053 HAS SOUS 55756 HAS SOUPS 55756 WITH SCORE 55903.053
AT ITER 6308 NEW BEST:: SOT 279494 SOS 146845 HAS SOPS 146845 HAS SOUS 55615 HAS SOUPS 55615 WITH SCORE 55761.845
AT ITER 6339 NEW BEST:: SOT 279346 SOS 146549 HAS SOPS 146549 HAS SOUS 55319 HAS SOUPS 55319 WITH SCORE 55465.549
AT ITER 6383 NEW BEST:: SOT 279343 SOS 146656 HAS SOPS 146656 HAS SOUS 55309 HAS SOUPS 55309 WITH SCORE 55455.656
AT ITER 6404 NEW BEST:: SOT 279343 SOS 146629 HAS SOPS 146629 HAS SOUS 55282 HAS SOUPS 55282 WITH SCORE 55428.629
AT ITER 6406 NEW BEST:: SOT 279319 SOS 146402 HAS SOPS 146402 HAS SOUS 55258 HAS SOUPS 55258 WITH SCORE 55404.402
AT ITER 6415 NEW BEST:: SOT 279252 SOS 146345 HAS SOPS 146345 HAS SOUS 55253 HAS SOUPS 55253 WITH SCORE 55399.345
AT ITER 6422 NEW BEST:: SOT 279252 SOS 146345 HAS SOPS 146345 HAS SOUS 55202 HAS SOUPS 55202 WITH SCORE 55348.345
AT ITER 6440 NEW BEST:: SOT 279174 SOS 146267 HAS SOPS 146267 HAS SOUS 55124 HAS SOUPS 55124 WITH SCORE 55270.267
AT ITER 6479 NEW BEST:: SOT 279174 SOS 146112 HAS SOPS 146112 HAS SOUS 55093 HAS SOUPS 55093 WITH SCORE 55239.112
AT ITER 6512 NEW BEST:: SOT 279218 SOS 146082 HAS SOPS 146082 HAS SOUS 55091 HAS SOUPS 55091 WITH SCORE 55237.082
AT ITER 6538 NEW BEST:: SOT 279224 SOS 146078 HAS SOPS 146078 HAS SOUS 55087 HAS SOUPS 55087 WITH SCORE 55233.078
AT ITER 6552 NEW BEST:: SOT 278963 SOS 145809 HAS SOPS 145809 HAS SOUS 54825 HAS SOUPS 54825 WITH SCORE 54970.809
AT ITER 6579 NEW BEST:: SOT 278954 SOS 145800 HAS SOPS 145800 HAS SOUS 54825 HAS SOUPS 54825 WITH SCORE 54970.8
AT ITER 6582 NEW BEST:: SOT 279121 SOS 145793 HAS SOPS 145793 HAS SOUS 54708 HAS SOUPS 54708 WITH SCORE 54853.793
AT ITER 6612 NEW BEST:: SOT 279007 SOS 145621 HAS SOPS 145621 HAS SOUS 54538 HAS SOUPS 54538 WITH SCORE 54683.621
AT ITER 6626 NEW BEST:: SOT 279093 SOS 145707 HAS SOPS 145707 HAS SOUS 54528 HAS SOUPS 54528 WITH SCORE 54673.707
AT ITER 6627 NEW BEST:: SOT 279087 SOS 145701 HAS SOPS 145701 HAS SOUS 54528 HAS SOUPS 54528 WITH SCORE 54673.701
AT ITER 6658 NEW BEST:: SOT 279080 SOS 145694 HAS SOPS 145694 HAS SOUS 54521 HAS SOUPS 54521 WITH SCORE 54666.694
AT ITER 6663 NEW BEST:: SOT 279060 SOS 145674 HAS SOPS 145674 HAS SOUS 54501 HAS SOUPS 54501 WITH SCORE 54646.674
AT ITER 6672 NEW BEST:: SOT 279077 SOS 145691 HAS SOPS 145691 HAS SOUS 54489 HAS SOUPS 54489 WITH SCORE 54634.691
AT ITER 6688 NEW BEST:: SOT 279038 SOS 145659 HAS SOPS 145659 HAS SOUS 54446 HAS SOUPS 54446 WITH SCORE 54591.659
AT ITER 6735 NEW BEST:: SOT 278957 SOS 145528 HAS SOPS 145528 HAS SOUS 54431 HAS SOUPS 54431 WITH SCORE 54576.528
AT ITER 6745 NEW BEST:: SOT 278955 SOS 145524 HAS SOPS 145524 HAS SOUS 54427 HAS SOUPS 54427 WITH SCORE 54572.524
AT ITER 6764 NEW BEST:: SOT 278927 SOS 145496 HAS SOPS 145496 HAS SOUS 54363 HAS SOUPS 54363 WITH SCORE 54508.496
AT ITER 6780 NEW BEST:: SOT 278926 SOS 145391 HAS SOPS 145391 HAS SOUS 54361 HAS SOUPS 54361 WITH SCORE 54506.391
AT ITER 6796 NEW BEST:: SOT 278915 SOS 145494 HAS SOPS 145494 HAS SOUS 54292 HAS SOUPS 54292 WITH SCORE 54437.494
AT ITER 6834 NEW BEST:: SOT 278892 SOS 145291 HAS SOPS 145291 HAS SOUS 54194 HAS SOUPS 54194 WITH SCORE 54339.291
AT ITER 6843 NEW BEST:: SOT 278892 SOS 145291 HAS SOPS 145291 HAS SOUS 54177 HAS SOUPS 54177 WITH SCORE 54322.291
AT ITER 6844 NEW BEST:: SOT 278769 SOS 145085 HAS SOPS 145085 HAS SOUS 54169 HAS SOUPS 54169 WITH SCORE 54314.085
AT ITER 6852 NEW BEST:: SOT 278769 SOS 145077 HAS SOPS 145077 HAS SOUS 54169 HAS SOUPS 54169 WITH SCORE 54314.077
AT ITER 6853 NEW BEST:: SOT 278754 SOS 145038 HAS SOPS 145038 HAS SOUS 54151 HAS SOUPS 54151 WITH SCORE 54296.038
AT ITER 6891 NEW BEST:: SOT 278819 SOS 145081 HAS SOPS 145081 HAS SOUS 54128 HAS SOUPS 54128 WITH SCORE 54273.081
AT ITER 6954 NEW BEST:: SOT 278778 SOS 144956 HAS SOPS 144956 HAS SOUS 54003 HAS SOUPS 54003 WITH SCORE 54147.956
AT ITER 6959 NEW BEST:: SOT 278766 SOS 144944 HAS SOPS 144944 HAS SOUS 53991 HAS SOUPS 53991 WITH SCORE 54135.944
AT ITER 6962 NEW BEST:: SOT 278353 SOS 145139 HAS SOPS 145139 HAS SOUS 53654 HAS SOUPS 53654 WITH SCORE 53799.139
AT ITER 7009 NEW BEST:: SOT 278333 SOS 145137 HAS SOPS 145137 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53794.137
AT ITER 7019 NEW BEST:: SOT 278232 SOS 144915 HAS SOPS 144915 HAS SOUS 53516 HAS SOUPS 53516 WITH SCORE 53660.915
AT ITER 7024 NEW BEST:: SOT 278228 SOS 144809 HAS SOPS 144809 HAS SOUS 53495 HAS SOUPS 53495 WITH SCORE 53639.809
AT ITER 7067 NEW BEST:: SOT 278215 SOS 143981 HAS SOPS 143981 HAS SOUS 53490 HAS SOUPS 53490 WITH SCORE 53633.981
AT ITER 7069 NEW BEST:: SOT 278211 SOS 144005 HAS SOPS 144005 HAS SOUS 53488 HAS SOUPS 53488 WITH SCORE 53632.005
AT ITER 7134 NEW BEST:: SOT 278237 SOS 144008 HAS SOPS 144008 HAS SOUS 53401 HAS SOUPS 53401 WITH SCORE 53545.008
AT ITER 7169 NEW BEST:: SOT 278216 SOS 143987 HAS SOPS 143987 HAS SOUS 53380 HAS SOUPS 53380 WITH SCORE 53523.987
AT ITER 7186 NEW BEST:: SOT 278216 SOS 143834 HAS SOPS 143834 HAS SOUS 53380 HAS SOUPS 53380 WITH SCORE 53523.834
AT ITER 7233 NEW BEST:: SOT 278214 SOS 143792 HAS SOPS 143792 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53519.792
AT ITER 7238 NEW BEST:: SOT 278176 SOS 143592 HAS SOPS 143592 HAS SOUS 53376 HAS SOUPS 53376 WITH SCORE 53519.592
AT ITER 7242 NEW BEST:: SOT 278131 SOS 143547 HAS SOPS 143547 HAS SOUS 53331 HAS SOUPS 53331 WITH SCORE 53474.547
AT ITER 7271 NEW BEST:: SOT 278018 SOS 143434 HAS SOPS 143434 HAS SOUS 53113 HAS SOUPS 53113 WITH SCORE 53256.434
AT ITER 7274 NEW BEST:: SOT 278004 SOS 143420 HAS SOPS 143420 HAS SOUS 53091 HAS SOUPS 53091 WITH SCORE 53234.42
AT ITER 7280 NEW BEST:: SOT 277903 SOS 143376 HAS SOPS 143376 HAS SOUS 52981 HAS SOUPS 52981 WITH SCORE 53124.376
AT ITER 7310 NEW BEST:: SOT 277898 SOS 143371 HAS SOPS 143371 HAS SOUS 52971 HAS SOUPS 52971 WITH SCORE 53114.371
AT ITER 7316 NEW BEST:: SOT 277886 SOS 143359 HAS SOPS 143359 HAS SOUS 52951 HAS SOUPS 52951 WITH SCORE 53094.359
AT ITER 7329 NEW BEST:: SOT 277786 SOS 143585 HAS SOPS 143585 HAS SOUS 52729 HAS SOUPS 52729 WITH SCORE 52872.585
AT ITER 7367 NEW BEST:: SOT 277669 SOS 143963 HAS SOPS 143963 HAS SOUS 52567 HAS SOUPS 52567 WITH SCORE 52710.963
AT ITER 7410 NEW BEST:: SOT 277631 SOS 143887 HAS SOPS 143887 HAS SOUS 52523 HAS SOUPS 52523 WITH SCORE 52666.887
AT ITER 7417 NEW BEST:: SOT 277618 SOS 143874 HAS SOPS 143874 HAS SOUS 52510 HAS SOUPS 52510 WITH SCORE 52653.874
AT ITER 7514 NEW BEST:: SOT 277610 SOS 143874 HAS SOPS 143874 HAS SOUS 52494 HAS SOUPS 52494 WITH SCORE 52637.874
AT ITER 7558 NEW BEST:: SOT 277604 SOS 143868 HAS SOPS 143868 HAS SOUS 52488 HAS SOUPS 52488 WITH SCORE 52631.868
AT ITER 7572 NEW BEST:: SOT 277554 SOS 143925 HAS SOPS 143925 HAS SOUS 52462 HAS SOUPS 52462 WITH SCORE 52605.925
AT ITER 7583 NEW BEST:: SOT 277546 SOS 143917 HAS SOPS 143917 HAS SOUS 52454 HAS SOUPS 52454 WITH SCORE 52597.917
AT ITER 7593 NEW BEST:: SOT 277540 SOS 143911 HAS SOPS 143911 HAS SOUS 52448 HAS SOUPS 52448 WITH SCORE 52591.911
AT ITER 7603 NEW BEST:: SOT 277537 SOS 143908 HAS SOPS 143908 HAS SOUS 52431 HAS SOUPS 52431 WITH SCORE 52574.908
AT ITER 7606 NEW BEST:: SOT 277549 SOS 143782 HAS SOPS 143782 HAS SOUS 52367 HAS SOUPS 52367 WITH SCORE 52510.782
AT ITER 7607 NEW BEST:: SOT 277548 SOS 143781 HAS SOPS 143781 HAS SOUS 52366 HAS SOUPS 52366 WITH SCORE 52509.781
AT ITER 7615 NEW BEST:: SOT 277548 SOS 143642 HAS SOPS 143642 HAS SOUS 52364 HAS SOUPS 52364 WITH SCORE 52507.642
AT ITER 7619 NEW BEST:: SOT 277413 SOS 143492 HAS SOPS 143492 HAS SOUS 52290 HAS SOUPS 52290 WITH SCORE 52433.492
AT ITER 7653 NEW BEST:: SOT 277581 SOS 143513 HAS SOPS 143513 HAS SOUS 52289 HAS SOUPS 52289 WITH SCORE 52432.513
AT ITER 7698 NEW BEST:: SOT 277580 SOS 143475 HAS SOPS 143475 HAS SOUS 52267 HAS SOUPS 52267 WITH SCORE 52410.475
AT ITER 7710 NEW BEST:: SOT 277571 SOS 143457 HAS SOPS 143457 HAS SOUS 52249 HAS SOUPS 52249 WITH SCORE 52392.457
AT ITER 7752 NEW BEST:: SOT 277554 SOS 143423 HAS SOPS 143423 HAS SOUS 52215 HAS SOUPS 52215 WITH SCORE 52358.423
AT ITER 7753 NEW BEST:: SOT 277522 SOS 143391 HAS SOPS 143391 HAS SOUS 52181 HAS SOUPS 52181 WITH SCORE 52324.391
AT ITER 7760 NEW BEST:: SOT 277521 SOS 143390 HAS SOPS 143390 HAS SOUS 52178 HAS SOUPS 52178 WITH SCORE 52321.39
AT ITER 7782 NEW BEST:: SOT 277511 SOS 143370 HAS SOPS 143370 HAS SOUS 52158 HAS SOUPS 52158 WITH SCORE 52301.37
AT ITER 7823 NEW BEST:: SOT 277441 SOS 143299 HAS SOPS 143299 HAS SOUS 52100 HAS SOUPS 52100 WITH SCORE 52243.299
AT ITER 7824 NEW BEST:: SOT 277410 SOS 143418 HAS SOPS 143418 HAS SOUS 52035 HAS SOUPS 52035 WITH SCORE 52178.418
AT ITER 7830 NEW BEST:: SOT 277362 SOS 143325 HAS SOPS 143325 HAS SOUS 52006 HAS SOUPS 52006 WITH SCORE 52149.325
AT ITER 7888 NEW BEST:: SOT 277293 SOS 143208 HAS SOPS 143208 HAS SOUS 51857 HAS SOUPS 51857 WITH SCORE 52000.208
AT ITER 7903 NEW BEST:: SOT 277269 SOS 143184 HAS SOPS 143184 HAS SOUS 51847 HAS SOUPS 51847 WITH SCORE 51990.184
AT ITER 7933 NEW BEST:: SOT 277245 SOS 143160 HAS SOPS 143160 HAS SOUS 51823 HAS SOUPS 51823 WITH SCORE 51966.16
AT ITER 7954 NEW BEST:: SOT 277225 SOS 143120 HAS SOPS 143120 HAS SOUS 51783 HAS SOUPS 51783 WITH SCORE 51926.12
AT ITER 8001 NEW BEST:: SOT 277225 SOS 143099 HAS SOPS 143099 HAS SOUS 51783 HAS SOUPS 51783 WITH SCORE 51926.099
AT ITER 8013 NEW BEST:: SOT 277198 SOS 143054 HAS SOPS 143054 HAS SOUS 51738 HAS SOUPS 51738 WITH SCORE 51881.054
AT ITER 8044 NEW BEST:: SOT 277198 SOS 143054 HAS SOPS 143054 HAS SOUS 51732 HAS SOUPS 51732 WITH SCORE 51875.054
AT ITER 8048 NEW BEST:: SOT 277187 SOS 143043 HAS SOPS 143043 HAS SOUS 51714 HAS SOUPS 51714 WITH SCORE 51857.043
AT ITER 8112 NEW BEST:: SOT 277111 SOS 142986 HAS SOPS 142986 HAS SOUS 51676 HAS SOUPS 51676 WITH SCORE 51818.986
AT ITER 8142 NEW BEST:: SOT 277111 SOS 142969 HAS SOPS 142969 HAS SOUS 51659 HAS SOUPS 51659 WITH SCORE 51801.969
AT ITER 8149 NEW BEST:: SOT 277151 SOS 142966 HAS SOPS 142966 HAS SOUS 51656 HAS SOUPS 51656 WITH SCORE 51798.966
AT ITER 8160 NEW BEST:: SOT 277117 SOS 142932 HAS SOPS 142932 HAS SOUS 51610 HAS SOUPS 51610 WITH SCORE 51752.932
AT ITER 8166 NEW BEST:: SOT 277090 SOS 142915 HAS SOPS 142915 HAS SOUS 51593 HAS SOUPS 51593 WITH SCORE 51735.915
AT ITER 8182 NEW BEST:: SOT 277078 SOS 142919 HAS SOPS 142919 HAS SOUS 51578 HAS SOUPS 51578 WITH SCORE 51720.919
AT ITER 8211 NEW BEST:: SOT 277089 SOS 142847 HAS SOPS 142847 HAS SOUS 51491 HAS SOUPS 51491 WITH SCORE 51633.847
AT ITER 8281 NEW BEST:: SOT 277056 SOS 142797 HAS SOPS 142797 HAS SOUS 51454 HAS SOUPS 51454 WITH SCORE 51596.797
AT ITER 8284 NEW BEST:: SOT 277024 SOS 142765 HAS SOPS 142765 HAS SOUS 51448 HAS SOUPS 51448 WITH SCORE 51590.765
AT ITER 8310 NEW BEST:: SOT 277022 SOS 142763 HAS SOPS 142763 HAS SOUS 51444 HAS SOUPS 51444 WITH SCORE 51586.763
AT ITER 8348 NEW BEST:: SOT 277021 SOS 142758 HAS SOPS 142758 HAS SOUS 51441 HAS SOUPS 51441 WITH SCORE 51583.758
AT ITER 8363 NEW BEST:: SOT 277016 SOS 142753 HAS SOPS 142753 HAS SOUS 51436 HAS SOUPS 51436 WITH SCORE 51578.753
AT ITER 8394 NEW BEST:: SOT 277022 SOS 142743 HAS SOPS 142743 HAS SOUS 51426 HAS SOUPS 51426 WITH SCORE 51568.743
AT ITER 8416 NEW BEST:: SOT 277022 SOS 142407 HAS SOPS 142407 HAS SOUS 51398 HAS SOUPS 51398 WITH SCORE 51540.407
AT ITER 8417 NEW BEST:: SOT 277000 SOS 142373 HAS SOPS 142373 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51493.373
AT ITER 8418 NEW BEST:: SOT 277010 SOS 142801 HAS SOPS 142801 HAS SOUS 51342 HAS SOUPS 51342 WITH SCORE 51484.801
AT ITER 8445 NEW BEST:: SOT 277010 SOS 142841 HAS SOPS 142841 HAS SOUS 51272 HAS SOUPS 51272 WITH SCORE 51414.841
AT ITER 8479 NEW BEST:: SOT 276970 SOS 142814 HAS SOPS 142814 HAS SOUS 51245 HAS SOUPS 51245 WITH SCORE 51387.814
AT ITER 8501 NEW BEST:: SOT 276990 SOS 142943 HAS SOPS 142943 HAS SOUS 51220 HAS SOUPS 51220 WITH SCORE 51362.943
AT ITER 8553 NEW BEST:: SOT 276985 SOS 142938 HAS SOPS 142938 HAS SOUS 51215 HAS SOUPS 51215 WITH SCORE 51357.938
AT ITER 8563 NEW BEST:: SOT 276985 SOS 142938 HAS SOPS 142938 HAS SOUS 51112 HAS SOUPS 51112 WITH SCORE 51254.938
AT ITER 8565 NEW BEST:: SOT 277098 SOS 142984 HAS SOPS 142984 HAS SOUS 51102 HAS SOUPS 51102 WITH SCORE 51244.984
AT ITER 8578 NEW BEST:: SOT 277079 SOS 142549 HAS SOPS 142549 HAS SOUS 50890 HAS SOUPS 50890 WITH SCORE 51032.549
AT ITER 8589 NEW BEST:: SOT 276998 SOS 142468 HAS SOPS 142468 HAS SOUS 50809 HAS SOUPS 50809 WITH SCORE 50951.468
AT ITER 8590 NEW BEST:: SOT 276997 SOS 142459 HAS SOPS 142459 HAS SOUS 50808 HAS SOUPS 50808 WITH SCORE 50950.459
AT ITER 8649 NEW BEST:: SOT 276936 SOS 142306 HAS SOPS 142306 HAS SOUS 50685 HAS SOUPS 50685 WITH SCORE 50827.306
AT ITER 8675 NEW BEST:: SOT 276972 SOS 141954 HAS SOPS 141954 HAS SOUS 50380 HAS SOUPS 50380 WITH SCORE 50521.954
AT ITER 8691 NEW BEST:: SOT 276934 SOS 141916 HAS SOPS 141916 HAS SOUS 50342 HAS SOUPS 50342 WITH SCORE 50483.916
AT ITER 8787 NEW BEST:: SOT 276926 SOS 141860 HAS SOPS 141860 HAS SOUS 50326 HAS SOUPS 50326 WITH SCORE 50467.86
AT ITER 8797 NEW BEST:: SOT 276926 SOS 141806 HAS SOPS 141806 HAS SOUS 50273 HAS SOUPS 50273 WITH SCORE 50414.806
AT ITER 8802 NEW BEST:: SOT 276913 SOS 141780 HAS SOPS 141780 HAS SOUS 50247 HAS SOUPS 50247 WITH SCORE 50388.78
AT ITER 8817 NEW BEST:: SOT 276910 SOS 141777 HAS SOPS 141777 HAS SOUS 50238 HAS SOUPS 50238 WITH SCORE 50379.777
AT ITER 8837 NEW BEST:: SOT 276833 SOS 141732 HAS SOPS 141732 HAS SOUS 50193 HAS SOUPS 50193 WITH SCORE 50334.732
AT ITER 8841 NEW BEST:: SOT 276838 SOS 141715 HAS SOPS 141715 HAS SOUS 50176 HAS SOUPS 50176 WITH SCORE 50317.715
AT ITER 8855 NEW BEST:: SOT 276828 SOS 141699 HAS SOPS 141699 HAS SOUS 50156 HAS SOUPS 50156 WITH SCORE 50297.699
AT ITER 8866 NEW BEST:: SOT 276828 SOS 141624 HAS SOPS 141624 HAS SOUS 50152 HAS SOUPS 50152 WITH SCORE 50293.624
AT ITER 8871 NEW BEST:: SOT 276813 SOS 141604 HAS SOPS 141604 HAS SOUS 50132 HAS SOUPS 50132 WITH SCORE 50273.604
AT ITER 8908 NEW BEST:: SOT 276809 SOS 141600 HAS SOPS 141600 HAS SOUS 50128 HAS SOUPS 50128 WITH SCORE 50269.6
AT ITER 8927 NEW BEST:: SOT 276788 SOS 141635 HAS SOPS 141635 HAS SOUS 50121 HAS SOUPS 50121 WITH SCORE 50262.635
AT ITER 8934 NEW BEST:: SOT 276684 SOS 142473 HAS SOPS 142473 HAS SOUS 49927 HAS SOUPS 49927 WITH SCORE 50069.473
AT ITER 9060 NEW BEST:: SOT 276652 SOS 142492 HAS SOPS 142492 HAS SOUS 49897 HAS SOUPS 49897 WITH SCORE 50039.492
AT ITER 9088 NEW BEST:: SOT 276652 SOS 142491 HAS SOPS 142491 HAS SOUS 49896 HAS SOUPS 49896 WITH SCORE 50038.491
AT ITER 9118 NEW BEST:: SOT 276525 SOS 142231 HAS SOPS 142231 HAS SOUS 49747 HAS SOUPS 49747 WITH SCORE 49889.231
AT ITER 9159 NEW BEST:: SOT 276499 SOS 142218 HAS SOPS 142218 HAS SOUS 49734 HAS SOUPS 49734 WITH SCORE 49876.218
AT ITER 9186 NEW BEST:: SOT 276424 SOS 142307 HAS SOPS 142307 HAS SOUS 49662 HAS SOUPS 49662 WITH SCORE 49804.307
AT ITER 9234 NEW BEST:: SOT 276424 SOS 142330 HAS SOPS 142330 HAS SOUS 49653 HAS SOUPS 49653 WITH SCORE 49795.33
AT ITER 9255 NEW BEST:: SOT 276424 SOS 142330 HAS SOPS 142330 HAS SOUS 49642 HAS SOUPS 49642 WITH SCORE 49784.33
AT ITER 9308 NEW BEST:: SOT 276360 SOS 142335 HAS SOPS 142335 HAS SOUS 49633 HAS SOUPS 49633 WITH SCORE 49775.335
AT ITER 9335 NEW BEST:: SOT 276355 SOS 142325 HAS SOPS 142325 HAS SOUS 49623 HAS SOUPS 49623 WITH SCORE 49765.325
AT ITER 9384 NEW BEST:: SOT 276348 SOS 142244 HAS SOPS 142244 HAS SOUS 49614 HAS SOUPS 49614 WITH SCORE 49756.244
AT ITER 9397 NEW BEST:: SOT 276343 SOS 142239 HAS SOPS 142239 HAS SOUS 49609 HAS SOUPS 49609 WITH SCORE 49751.239
AT ITER 9439 NEW BEST:: SOT 276339 SOS 142203 HAS SOPS 142203 HAS SOUS 49605 HAS SOUPS 49605 WITH SCORE 49747.203
AT ITER 9469 NEW BEST:: SOT 276326 SOS 142203 HAS SOPS 142203 HAS SOUS 49598 HAS SOUPS 49598 WITH SCORE 49740.203
AT ITER 9471 NEW BEST:: SOT 276305 SOS 142033 HAS SOPS 142033 HAS SOUS 49575 HAS SOUPS 49575 WITH SCORE 49717.033
AT ITER 9472 NEW BEST:: SOT 276224 SOS 141952 HAS SOPS 141952 HAS SOUS 49492 HAS SOUPS 49492 WITH SCORE 49633.952
AT ITER 9519 NEW BEST:: SOT 276224 SOS 141926 HAS SOPS 141926 HAS SOUS 49492 HAS SOUPS 49492 WITH SCORE 49633.926
AT ITER 9556 NEW BEST:: SOT 276209 SOS 141896 HAS SOPS 141896 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49603.896
AT ITER 9564 NEW BEST:: SOT 276209 SOS 141653 HAS SOPS 141653 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49603.653
AT ITER 9577 NEW BEST:: SOT 276204 SOS 141648 HAS SOPS 141648 HAS SOUS 49452 HAS SOUPS 49452 WITH SCORE 49593.648
AT ITER 9607 NEW BEST:: SOT 276201 SOS 141645 HAS SOPS 141645 HAS SOUS 49415 HAS SOUPS 49415 WITH SCORE 49556.645
AT ITER 9617 NEW BEST:: SOT 276201 SOS 141640 HAS SOPS 141640 HAS SOUS 49415 HAS SOUPS 49415 WITH SCORE 49556.64
AT ITER 9670 NEW BEST:: SOT 276216 SOS 141561 HAS SOPS 141561 HAS SOUS 49414 HAS SOUPS 49414 WITH SCORE 49555.561
AT ITER 9689 NEW BEST:: SOT 276138 SOS 141475 HAS SOPS 141475 HAS SOUS 49328 HAS SOUPS 49328 WITH SCORE 49469.475
AT ITER 9691 NEW BEST:: SOT 276134 SOS 141469 HAS SOPS 141469 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49461.469
AT ITER 9695 NEW BEST:: SOT 276134 SOS 141273 HAS SOPS 141273 HAS SOUS 49320 HAS SOUPS 49320 WITH SCORE 49461.273
AT ITER 9697 NEW BEST:: SOT 276103 SOS 141242 HAS SOPS 141242 HAS SOUS 49288 HAS SOUPS 49288 WITH SCORE 49429.242
AT ITER 9717 NEW BEST:: SOT 276049 SOS 141319 HAS SOPS 141319 HAS SOUS 49270 HAS SOUPS 49270 WITH SCORE 49411.319
AT ITER 9725 NEW BEST:: SOT 276048 SOS 141317 HAS SOPS 141317 HAS SOUS 49268 HAS SOUPS 49268 WITH SCORE 49409.317
AT ITER 9735 NEW BEST:: SOT 276043 SOS 141312 HAS SOPS 141312 HAS SOUS 49258 HAS SOUPS 49258 WITH SCORE 49399.312
AT ITER 9748 NEW BEST:: SOT 276042 SOS 141311 HAS SOPS 141311 HAS SOUS 49257 HAS SOUPS 49257 WITH SCORE 49398.311
AT ITER 9759 NEW BEST:: SOT 276042 SOS 141329 HAS SOPS 141329 HAS SOUS 49254 HAS SOUPS 49254 WITH SCORE 49395.329
AT ITER 9788 NEW BEST:: SOT 276053 SOS 141340 HAS SOPS 141340 HAS SOUS 49250 HAS SOUPS 49250 WITH SCORE 49391.34
AT ITER 9800 NEW BEST:: SOT 276037 SOS 141286 HAS SOPS 141286 HAS SOUS 49218 HAS SOUPS 49218 WITH SCORE 49359.286
AT ITER 9847 NEW BEST:: SOT 276037 SOS 141286 HAS SOPS 141286 HAS SOUS 49216 HAS SOUPS 49216 WITH SCORE 49357.286
AT ITER 9856 NEW BEST:: SOT 276025 SOS 141217 HAS SOPS 141217 HAS SOUS 49176 HAS SOUPS 49176 WITH SCORE 49317.217
AT ITER 9860 NEW BEST:: SOT 275990 SOS 141182 HAS SOPS 141182 HAS SOUS 49141 HAS SOUPS 49141 WITH SCORE 49282.182
AT ITER 9880 NEW BEST:: SOT 276106 SOS 140701 HAS SOPS 140701 HAS SOUS 49137 HAS SOUPS 49137 WITH SCORE 49277.701
AT ITER 9892 NEW BEST:: SOT 276100 SOS 140692 HAS SOPS 140692 HAS SOUS 49128 HAS SOUPS 49128 WITH SCORE 49268.692
AT ITER 9894 NEW BEST:: SOT 276096 SOS 140663 HAS SOPS 140663 HAS SOUS 49122 HAS SOUPS 49122 WITH SCORE 49262.663
AT ITER 9908 NEW BEST:: SOT 276114 SOS 140682 HAS SOPS 140682 HAS SOUS 49107 HAS SOUPS 49107 WITH SCORE 49247.682
AT ITER 9909 NEW BEST:: SOT 276111 SOS 140679 HAS SOPS 140679 HAS SOUS 49104 HAS SOUPS 49104 WITH SCORE 49244.679
AT ITER 9931 NEW BEST:: SOT 276101 SOS 140669 HAS SOPS 140669 HAS SOUS 49094 HAS SOUPS 49094 WITH SCORE 49234.669
AT ITER 9981 NEW BEST:: SOT 276060 SOS 140628 HAS SOPS 140628 HAS SOUS 49042 HAS SOUPS 49042 WITH SCORE 49182.628
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 5592612 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16120848 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="ASLink-PT-02a"
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 ASLink-PT-02a, 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 r011-oct2-167813599600032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02a.tgz
mv ASLink-PT-02a 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 '
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 ;