About the Execution of Smart+red for HirschbergSinclair-PT-30
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
6928.712 | 3600000.00 | 3621063.00 | 10370.60 | [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.r203-smll-167840349600472.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 HirschbergSinclair-PT-30, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349600472
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 780K
-rw-r--r-- 1 mcc users 9.2K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 02:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 02:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 18K Feb 26 02:13 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 26 02:13 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 02:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 29K Feb 26 02:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:15 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 357K 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 1678631964957
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=HirschbergSinclair-PT-30
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 14:39:28] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 14:39:28] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 14:39:29] [INFO ] Load time of PNML (sax parser for PT used): 230 ms
[2023-03-12 14:39:29] [INFO ] Transformed 670 places.
[2023-03-12 14:39:29] [INFO ] Transformed 605 transitions.
[2023-03-12 14:39:29] [INFO ] Parsed PT model containing 670 places and 605 transitions and 1849 arcs in 425 ms.
[2023-03-12 14:39:29] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 670 places, 605 transitions and 1849 arcs took 20 ms.
Total runtime 507 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HirschbergSinclair (PT), instance 30
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: 670 places, 605 transitions, 1849 arcs.
AT ITER 0 NEW BEST:: SOT 341604 SOS 164839 HAS SOPS 164839 HAS SOUS 163965 HAS SOUPS 163965 WITH SCORE 164129.839
AT ITER 5 NEW BEST:: SOT 340060 SOS 169033 HAS SOPS 169033 HAS SOUS 163422 HAS SOUPS 163422 WITH SCORE 163591.033
AT ITER 10 NEW BEST:: SOT 335626 SOS 166133 HAS SOPS 166133 HAS SOUS 159417 HAS SOUPS 159417 WITH SCORE 159583.133
AT ITER 15 NEW BEST:: SOT 335425 SOS 166132 HAS SOPS 166132 HAS SOUS 159416 HAS SOUPS 159416 WITH SCORE 159582.132
AT ITER 17 NEW BEST:: SOT 333148 SOS 165327 HAS SOPS 165327 HAS SOUS 157590 HAS SOUPS 157590 WITH SCORE 157755.327
AT ITER 19 NEW BEST:: SOT 332708 SOS 165326 HAS SOPS 165326 HAS SOUS 157259 HAS SOUPS 157259 WITH SCORE 157424.326
AT ITER 21 NEW BEST:: SOT 332475 SOS 165325 HAS SOPS 165325 HAS SOUS 157258 HAS SOUPS 157258 WITH SCORE 157423.325
AT ITER 42 NEW BEST:: SOT 332425 SOS 165324 HAS SOPS 165324 HAS SOUS 157257 HAS SOUPS 157257 WITH SCORE 157422.324
AT ITER 46 NEW BEST:: SOT 329758 SOS 164340 HAS SOPS 164340 HAS SOUS 155079 HAS SOUPS 155079 WITH SCORE 155243.34
AT ITER 55 NEW BEST:: SOT 329601 SOS 164182 HAS SOPS 164182 HAS SOUS 154921 HAS SOUPS 154921 WITH SCORE 155085.182
AT ITER 59 NEW BEST:: SOT 329601 SOS 164063 HAS SOPS 164063 HAS SOUS 154802 HAS SOUPS 154802 WITH SCORE 154966.063
AT ITER 72 NEW BEST:: SOT 329601 SOS 163961 HAS SOPS 163961 HAS SOUS 154700 HAS SOUPS 154700 WITH SCORE 154863.961
AT ITER 76 NEW BEST:: SOT 329592 SOS 163959 HAS SOPS 163959 HAS SOUS 154698 HAS SOUPS 154698 WITH SCORE 154861.959
AT ITER 81 NEW BEST:: SOT 329265 SOS 163958 HAS SOPS 163958 HAS SOUS 154697 HAS SOUPS 154697 WITH SCORE 154860.958
AT ITER 88 NEW BEST:: SOT 329265 SOS 163957 HAS SOPS 163957 HAS SOUS 154696 HAS SOUPS 154696 WITH SCORE 154859.957
AT ITER 91 NEW BEST:: SOT 329265 SOS 163869 HAS SOPS 163869 HAS SOUS 154608 HAS SOUPS 154608 WITH SCORE 154771.869
AT ITER 96 NEW BEST:: SOT 325904 SOS 163139 HAS SOPS 163139 HAS SOUS 151936 HAS SOUPS 151936 WITH SCORE 152099.139
AT ITER 98 NEW BEST:: SOT 323203 SOS 161663 HAS SOPS 161663 HAS SOUS 149552 HAS SOUPS 149552 WITH SCORE 149713.663
AT ITER 99 NEW BEST:: SOT 323203 SOS 161661 HAS SOPS 161661 HAS SOUS 149550 HAS SOUPS 149550 WITH SCORE 149711.661
AT ITER 102 NEW BEST:: SOT 323203 SOS 161660 HAS SOPS 161660 HAS SOUS 149549 HAS SOUPS 149549 WITH SCORE 149710.66
AT ITER 103 NEW BEST:: SOT 322809 SOS 161265 HAS SOPS 161265 HAS SOUS 149233 HAS SOUPS 149233 WITH SCORE 149394.265
AT ITER 124 NEW BEST:: SOT 322617 SOS 161264 HAS SOPS 161264 HAS SOUS 149232 HAS SOUPS 149232 WITH SCORE 149393.264
AT ITER 127 NEW BEST:: SOT 322410 SOS 161476 HAS SOPS 161476 HAS SOUS 149091 HAS SOUPS 149091 WITH SCORE 149252.476
AT ITER 156 NEW BEST:: SOT 322408 SOS 161474 HAS SOPS 161474 HAS SOUS 149091 HAS SOUPS 149091 WITH SCORE 149252.474
AT ITER 158 NEW BEST:: SOT 322187 SOS 160993 HAS SOPS 160993 HAS SOUS 148909 HAS SOUPS 148909 WITH SCORE 149069.993
AT ITER 162 NEW BEST:: SOT 322108 SOS 160835 HAS SOPS 160835 HAS SOUS 148905 HAS SOUPS 148905 WITH SCORE 149065.835
AT ITER 164 NEW BEST:: SOT 321975 SOS 160686 HAS SOPS 160686 HAS SOUS 148756 HAS SOUPS 148756 WITH SCORE 148916.686
AT ITER 165 NEW BEST:: SOT 320095 SOS 159348 HAS SOPS 159348 HAS SOUS 146992 HAS SOUPS 146992 WITH SCORE 147151.348
AT ITER 181 NEW BEST:: SOT 320095 SOS 159347 HAS SOPS 159347 HAS SOUS 146991 HAS SOUPS 146991 WITH SCORE 147150.347
AT ITER 197 NEW BEST:: SOT 320071 SOS 159323 HAS SOPS 159323 HAS SOUS 146985 HAS SOUPS 146985 WITH SCORE 147144.323
AT ITER 207 NEW BEST:: SOT 320071 SOS 159322 HAS SOPS 159322 HAS SOUS 146984 HAS SOUPS 146984 WITH SCORE 147143.322
AT ITER 211 NEW BEST:: SOT 320071 SOS 159321 HAS SOPS 159321 HAS SOUS 146983 HAS SOUPS 146983 WITH SCORE 147142.321
AT ITER 230 NEW BEST:: SOT 318268 SOS 157852 HAS SOPS 157852 HAS SOUS 145346 HAS SOUPS 145346 WITH SCORE 145503.852
AT ITER 249 NEW BEST:: SOT 318240 SOS 157851 HAS SOPS 157851 HAS SOUS 145345 HAS SOUPS 145345 WITH SCORE 145502.851
AT ITER 258 NEW BEST:: SOT 318240 SOS 157850 HAS SOPS 157850 HAS SOUS 145344 HAS SOUPS 145344 WITH SCORE 145501.85
AT ITER 265 NEW BEST:: SOT 312334 SOS 155958 HAS SOPS 155958 HAS SOUS 140305 HAS SOUPS 140305 WITH SCORE 140460.958
AT ITER 268 NEW BEST:: SOT 312238 SOS 155957 HAS SOPS 155957 HAS SOUS 140232 HAS SOUPS 140232 WITH SCORE 140387.957
AT ITER 275 NEW BEST:: SOT 312238 SOS 155887 HAS SOPS 155887 HAS SOUS 140162 HAS SOUPS 140162 WITH SCORE 140317.887
AT ITER 276 NEW BEST:: SOT 312099 SOS 156112 HAS SOPS 156112 HAS SOUS 140156 HAS SOUPS 140156 WITH SCORE 140312.112
AT ITER 283 NEW BEST:: SOT 309076 SOS 154151 HAS SOPS 154151 HAS SOUS 137553 HAS SOUPS 137553 WITH SCORE 137707.151
AT ITER 298 NEW BEST:: SOT 308967 SOS 153911 HAS SOPS 153911 HAS SOUS 137330 HAS SOUPS 137330 WITH SCORE 137483.911
AT ITER 300 NEW BEST:: SOT 308967 SOS 153884 HAS SOPS 153884 HAS SOUS 137303 HAS SOUPS 137303 WITH SCORE 137456.884
AT ITER 305 NEW BEST:: SOT 303285 SOS 155567 HAS SOPS 155567 HAS SOUS 132518 HAS SOUPS 132518 WITH SCORE 132673.567
AT ITER 328 NEW BEST:: SOT 303285 SOS 155566 HAS SOPS 155566 HAS SOUS 132517 HAS SOUPS 132517 WITH SCORE 132672.566
AT ITER 332 NEW BEST:: SOT 303518 SOS 155436 HAS SOPS 155436 HAS SOUS 132387 HAS SOUPS 132387 WITH SCORE 132542.436
AT ITER 342 NEW BEST:: SOT 302382 SOS 154300 HAS SOPS 154300 HAS SOUS 131251 HAS SOUPS 131251 WITH SCORE 131405.3
AT ITER 348 NEW BEST:: SOT 302358 SOS 154272 HAS SOPS 154272 HAS SOUS 131223 HAS SOUPS 131223 WITH SCORE 131377.272
AT ITER 367 NEW BEST:: SOT 302358 SOS 153884 HAS SOPS 153884 HAS SOUS 130835 HAS SOUPS 130835 WITH SCORE 130988.884
AT ITER 372 NEW BEST:: SOT 302358 SOS 153883 HAS SOPS 153883 HAS SOUS 130834 HAS SOUPS 130834 WITH SCORE 130987.883
AT ITER 375 NEW BEST:: SOT 298334 SOS 155832 HAS SOPS 155832 HAS SOUS 127675 HAS SOUPS 127675 WITH SCORE 127830.832
AT ITER 388 NEW BEST:: SOT 298040 SOS 155566 HAS SOPS 155566 HAS SOUS 127395 HAS SOUPS 127395 WITH SCORE 127550.566
AT ITER 391 NEW BEST:: SOT 297066 SOS 154591 HAS SOPS 154591 HAS SOUS 126484 HAS SOUPS 126484 WITH SCORE 126638.591
AT ITER 396 NEW BEST:: SOT 297000 SOS 154187 HAS SOPS 154187 HAS SOUS 126351 HAS SOUPS 126351 WITH SCORE 126505.187
AT ITER 398 NEW BEST:: SOT 296977 SOS 154186 HAS SOPS 154186 HAS SOUS 126350 HAS SOUPS 126350 WITH SCORE 126504.186
AT ITER 411 NEW BEST:: SOT 296977 SOS 154185 HAS SOPS 154185 HAS SOUS 126349 HAS SOUPS 126349 WITH SCORE 126503.185
AT ITER 412 NEW BEST:: SOT 296966 SOS 154174 HAS SOPS 154174 HAS SOUS 126338 HAS SOUPS 126338 WITH SCORE 126492.174
AT ITER 415 NEW BEST:: SOT 296966 SOS 154173 HAS SOPS 154173 HAS SOUS 126337 HAS SOUPS 126337 WITH SCORE 126491.173
AT ITER 417 NEW BEST:: SOT 296966 SOS 154150 HAS SOPS 154150 HAS SOUS 126314 HAS SOUPS 126314 WITH SCORE 126468.15
AT ITER 422 NEW BEST:: SOT 296958 SOS 154149 HAS SOPS 154149 HAS SOUS 126313 HAS SOUPS 126313 WITH SCORE 126467.149
AT ITER 433 NEW BEST:: SOT 296925 SOS 154083 HAS SOPS 154083 HAS SOUS 126247 HAS SOUPS 126247 WITH SCORE 126401.083
AT ITER 435 NEW BEST:: SOT 295220 SOS 153037 HAS SOPS 153037 HAS SOUS 124886 HAS SOUPS 124886 WITH SCORE 125039.037
AT ITER 466 NEW BEST:: SOT 295184 SOS 153004 HAS SOPS 153004 HAS SOUS 124853 HAS SOUPS 124853 WITH SCORE 125006.004
AT ITER 468 NEW BEST:: SOT 295105 SOS 152924 HAS SOPS 152924 HAS SOUS 124801 HAS SOUPS 124801 WITH SCORE 124953.924
AT ITER 510 NEW BEST:: SOT 294977 SOS 152824 HAS SOPS 152824 HAS SOUS 124672 HAS SOUPS 124672 WITH SCORE 124824.824
AT ITER 511 NEW BEST:: SOT 294878 SOS 152625 HAS SOPS 152625 HAS SOUS 124473 HAS SOUPS 124473 WITH SCORE 124625.625
AT ITER 514 NEW BEST:: SOT 290477 SOS 152685 HAS SOPS 152685 HAS SOUS 120888 HAS SOUPS 120888 WITH SCORE 121040.685
AT ITER 516 NEW BEST:: SOT 290477 SOS 152396 HAS SOPS 152396 HAS SOUS 120887 HAS SOUPS 120887 WITH SCORE 121039.396
AT ITER 526 NEW BEST:: SOT 290307 SOS 152322 HAS SOPS 152322 HAS SOUS 120809 HAS SOUPS 120809 WITH SCORE 120961.322
AT ITER 530 NEW BEST:: SOT 290306 SOS 152321 HAS SOPS 152321 HAS SOUS 120807 HAS SOUPS 120807 WITH SCORE 120959.321
AT ITER 532 NEW BEST:: SOT 290196 SOS 152100 HAS SOPS 152100 HAS SOUS 120586 HAS SOUPS 120586 WITH SCORE 120738.1
AT ITER 540 NEW BEST:: SOT 290194 SOS 152097 HAS SOPS 152097 HAS SOUS 120583 HAS SOUPS 120583 WITH SCORE 120735.097
AT ITER 556 NEW BEST:: SOT 290193 SOS 152006 HAS SOPS 152006 HAS SOUS 120577 HAS SOUPS 120577 WITH SCORE 120729.006
AT ITER 557 NEW BEST:: SOT 290193 SOS 152005 HAS SOPS 152005 HAS SOUS 120576 HAS SOUPS 120576 WITH SCORE 120728.005
AT ITER 558 NEW BEST:: SOT 290193 SOS 152004 HAS SOPS 152004 HAS SOUS 120575 HAS SOUPS 120575 WITH SCORE 120727.004
AT ITER 578 NEW BEST:: SOT 290059 SOS 151716 HAS SOPS 151716 HAS SOUS 120284 HAS SOUPS 120284 WITH SCORE 120435.716
AT ITER 581 NEW BEST:: SOT 289958 SOS 151614 HAS SOPS 151614 HAS SOUS 120182 HAS SOUPS 120182 WITH SCORE 120333.614
AT ITER 592 NEW BEST:: SOT 289380 SOS 151669 HAS SOPS 151669 HAS SOUS 119731 HAS SOUPS 119731 WITH SCORE 119882.669
AT ITER 593 NEW BEST:: SOT 289352 SOS 151640 HAS SOPS 151640 HAS SOUS 119702 HAS SOUPS 119702 WITH SCORE 119853.64
AT ITER 608 NEW BEST:: SOT 289254 SOS 151483 HAS SOPS 151483 HAS SOUS 119601 HAS SOUPS 119601 WITH SCORE 119752.483
AT ITER 610 NEW BEST:: SOT 289254 SOS 151483 HAS SOPS 151483 HAS SOUS 119600 HAS SOUPS 119600 WITH SCORE 119751.483
AT ITER 614 NEW BEST:: SOT 288316 SOS 151769 HAS SOPS 151769 HAS SOUS 118967 HAS SOUPS 118967 WITH SCORE 119118.769
AT ITER 618 NEW BEST:: SOT 286896 SOS 150737 HAS SOPS 150737 HAS SOUS 117629 HAS SOUPS 117629 WITH SCORE 117779.737
AT ITER 623 NEW BEST:: SOT 281963 SOS 150146 HAS SOPS 150146 HAS SOUS 113422 HAS SOUPS 113422 WITH SCORE 113572.146
AT ITER 625 NEW BEST:: SOT 281457 SOS 149702 HAS SOPS 149702 HAS SOUS 112947 HAS SOUPS 112947 WITH SCORE 113096.702
AT ITER 636 NEW BEST:: SOT 281401 SOS 149646 HAS SOPS 149646 HAS SOUS 112891 HAS SOUPS 112891 WITH SCORE 113040.646
AT ITER 644 NEW BEST:: SOT 281321 SOS 149565 HAS SOPS 149565 HAS SOUS 112860 HAS SOUPS 112860 WITH SCORE 113009.565
AT ITER 667 NEW BEST:: SOT 280906 SOS 151843 HAS SOPS 151843 HAS SOUS 112662 HAS SOUPS 112662 WITH SCORE 112813.843
AT ITER 668 NEW BEST:: SOT 278941 SOS 149972 HAS SOPS 149972 HAS SOUS 110786 HAS SOUPS 110786 WITH SCORE 110935.972
AT ITER 672 NEW BEST:: SOT 278940 SOS 149877 HAS SOPS 149877 HAS SOUS 110784 HAS SOUPS 110784 WITH SCORE 110933.877
AT ITER 679 NEW BEST:: SOT 278846 SOS 149782 HAS SOPS 149782 HAS SOUS 110689 HAS SOUPS 110689 WITH SCORE 110838.782
AT ITER 680 NEW BEST:: SOT 276450 SOS 148392 HAS SOPS 148392 HAS SOUS 108645 HAS SOUPS 108645 WITH SCORE 108793.392
AT ITER 684 NEW BEST:: SOT 276420 SOS 148362 HAS SOPS 148362 HAS SOUS 108615 HAS SOUPS 108615 WITH SCORE 108763.362
AT ITER 686 NEW BEST:: SOT 276419 SOS 148361 HAS SOPS 148361 HAS SOUS 108614 HAS SOUPS 108614 WITH SCORE 108762.361
AT ITER 692 NEW BEST:: SOT 276061 SOS 147677 HAS SOPS 147677 HAS SOUS 108178 HAS SOUPS 108178 WITH SCORE 108325.677
AT ITER 700 NEW BEST:: SOT 276060 SOS 147676 HAS SOPS 147676 HAS SOUS 108176 HAS SOUPS 108176 WITH SCORE 108323.676
AT ITER 712 NEW BEST:: SOT 276000 SOS 147616 HAS SOPS 147616 HAS SOUS 108116 HAS SOUPS 108116 WITH SCORE 108263.616
AT ITER 723 NEW BEST:: SOT 275926 SOS 147542 HAS SOPS 147542 HAS SOUS 108042 HAS SOUPS 108042 WITH SCORE 108189.542
AT ITER 725 NEW BEST:: SOT 275761 SOS 147376 HAS SOPS 147376 HAS SOUS 107876 HAS SOUPS 107876 WITH SCORE 108023.376
AT ITER 726 NEW BEST:: SOT 275759 SOS 147391 HAS SOPS 147391 HAS SOUS 107875 HAS SOUPS 107875 WITH SCORE 108022.391
AT ITER 734 NEW BEST:: SOT 275557 SOS 147234 HAS SOPS 147234 HAS SOUS 107874 HAS SOUPS 107874 WITH SCORE 108021.234
AT ITER 753 NEW BEST:: SOT 275235 SOS 146911 HAS SOPS 146911 HAS SOUS 107551 HAS SOUPS 107551 WITH SCORE 107697.911
AT ITER 759 NEW BEST:: SOT 275229 SOS 146899 HAS SOPS 146899 HAS SOUS 107539 HAS SOUPS 107539 WITH SCORE 107685.899
AT ITER 761 NEW BEST:: SOT 274675 SOS 146344 HAS SOPS 146344 HAS SOUS 106984 HAS SOUPS 106984 WITH SCORE 107130.344
AT ITER 770 NEW BEST:: SOT 274632 SOS 146301 HAS SOPS 146301 HAS SOUS 106941 HAS SOUPS 106941 WITH SCORE 107087.301
AT ITER 772 NEW BEST:: SOT 274631 SOS 146300 HAS SOPS 146300 HAS SOUS 106939 HAS SOUPS 106939 WITH SCORE 107085.3
AT ITER 777 NEW BEST:: SOT 274631 SOS 146155 HAS SOPS 146155 HAS SOUS 106938 HAS SOUPS 106938 WITH SCORE 107084.155
AT ITER 782 NEW BEST:: SOT 274631 SOS 145795 HAS SOPS 145795 HAS SOUS 106578 HAS SOUPS 106578 WITH SCORE 106723.795
AT ITER 794 NEW BEST:: SOT 272574 SOS 144962 HAS SOPS 144962 HAS SOUS 104899 HAS SOUPS 104899 WITH SCORE 105043.962
AT ITER 797 NEW BEST:: SOT 272684 SOS 145072 HAS SOPS 145072 HAS SOUS 104897 HAS SOUPS 104897 WITH SCORE 105042.072
AT ITER 800 NEW BEST:: SOT 271390 SOS 147008 HAS SOPS 147008 HAS SOUS 103797 HAS SOUPS 103797 WITH SCORE 103944.008
AT ITER 807 NEW BEST:: SOT 271352 SOS 146970 HAS SOPS 146970 HAS SOUS 103759 HAS SOUPS 103759 WITH SCORE 103905.97
AT ITER 828 NEW BEST:: SOT 271228 SOS 146846 HAS SOPS 146846 HAS SOUS 103635 HAS SOUPS 103635 WITH SCORE 103781.846
AT ITER 832 NEW BEST:: SOT 271194 SOS 146777 HAS SOPS 146777 HAS SOUS 103630 HAS SOUPS 103630 WITH SCORE 103776.777
AT ITER 834 NEW BEST:: SOT 271194 SOS 146721 HAS SOPS 146721 HAS SOUS 103629 HAS SOUPS 103629 WITH SCORE 103775.721
AT ITER 844 NEW BEST:: SOT 271142 SOS 146658 HAS SOPS 146658 HAS SOUS 103566 HAS SOUPS 103566 WITH SCORE 103712.658
AT ITER 864 NEW BEST:: SOT 271075 SOS 146298 HAS SOPS 146298 HAS SOUS 103430 HAS SOUPS 103430 WITH SCORE 103576.298
AT ITER 871 NEW BEST:: SOT 271135 SOS 146358 HAS SOPS 146358 HAS SOUS 103396 HAS SOUPS 103396 WITH SCORE 103542.358
AT ITER 890 NEW BEST:: SOT 271066 SOS 146289 HAS SOPS 146289 HAS SOUS 103327 HAS SOUPS 103327 WITH SCORE 103473.289
AT ITER 898 NEW BEST:: SOT 268752 SOS 146421 HAS SOPS 146421 HAS SOUS 101564 HAS SOUPS 101564 WITH SCORE 101710.421
AT ITER 899 NEW BEST:: SOT 266107 SOS 144885 HAS SOPS 144885 HAS SOUS 99308 HAS SOUPS 99308 WITH SCORE 99452.885
AT ITER 904 NEW BEST:: SOT 266107 SOS 144952 HAS SOPS 144952 HAS SOUS 99307 HAS SOUPS 99307 WITH SCORE 99451.952
AT ITER 909 NEW BEST:: SOT 265908 SOS 144752 HAS SOPS 144752 HAS SOUS 99306 HAS SOUPS 99306 WITH SCORE 99450.752
AT ITER 911 NEW BEST:: SOT 266077 SOS 142889 HAS SOPS 142889 HAS SOUS 99207 HAS SOUPS 99207 WITH SCORE 99349.889
AT ITER 913 NEW BEST:: SOT 265926 SOS 139801 HAS SOPS 139801 HAS SOUS 99056 HAS SOUPS 99056 WITH SCORE 99195.801
AT ITER 931 NEW BEST:: SOT 265926 SOS 139801 HAS SOPS 139801 HAS SOUS 98993 HAS SOUPS 98993 WITH SCORE 99132.801
AT ITER 957 NEW BEST:: SOT 265885 SOS 139760 HAS SOPS 139760 HAS SOUS 98911 HAS SOUPS 98911 WITH SCORE 99050.76
AT ITER 981 NEW BEST:: SOT 265837 SOS 139709 HAS SOPS 139709 HAS SOUS 98860 HAS SOUPS 98860 WITH SCORE 98999.709
AT ITER 985 NEW BEST:: SOT 265836 SOS 139708 HAS SOPS 139708 HAS SOUS 98858 HAS SOUPS 98858 WITH SCORE 98997.708
AT ITER 987 NEW BEST:: SOT 265836 SOS 139707 HAS SOPS 139707 HAS SOUS 98857 HAS SOUPS 98857 WITH SCORE 98996.707
AT ITER 998 NEW BEST:: SOT 265699 SOS 139696 HAS SOPS 139696 HAS SOUS 98777 HAS SOUPS 98777 WITH SCORE 98916.696
AT ITER 1014 NEW BEST:: SOT 265684 SOS 139660 HAS SOPS 139660 HAS SOUS 98747 HAS SOUPS 98747 WITH SCORE 98886.66
AT ITER 1016 NEW BEST:: SOT 263129 SOS 138504 HAS SOPS 138504 HAS SOUS 96638 HAS SOUPS 96638 WITH SCORE 96776.504
AT ITER 1052 NEW BEST:: SOT 263019 SOS 138193 HAS SOPS 138193 HAS SOUS 96631 HAS SOUPS 96631 WITH SCORE 96769.193
AT ITER 1068 NEW BEST:: SOT 262717 SOS 137897 HAS SOPS 137897 HAS SOUS 96327 HAS SOUPS 96327 WITH SCORE 96464.897
AT ITER 1114 NEW BEST:: SOT 262708 SOS 137895 HAS SOPS 137895 HAS SOUS 96319 HAS SOUPS 96319 WITH SCORE 96456.895
AT ITER 1128 NEW BEST:: SOT 260823 SOS 137954 HAS SOPS 137954 HAS SOUS 94763 HAS SOUPS 94763 WITH SCORE 94900.954
AT ITER 1130 NEW BEST:: SOT 260745 SOS 138397 HAS SOPS 138397 HAS SOUS 94736 HAS SOUPS 94736 WITH SCORE 94874.397
AT ITER 1133 NEW BEST:: SOT 260745 SOS 138396 HAS SOPS 138396 HAS SOUS 94735 HAS SOUPS 94735 WITH SCORE 94873.396
AT ITER 1134 NEW BEST:: SOT 258987 SOS 136748 HAS SOPS 136748 HAS SOUS 93037 HAS SOUPS 93037 WITH SCORE 93173.748
AT ITER 1140 NEW BEST:: SOT 258986 SOS 136747 HAS SOPS 136747 HAS SOUS 93035 HAS SOUPS 93035 WITH SCORE 93171.747
AT ITER 1143 NEW BEST:: SOT 258966 SOS 136896 HAS SOPS 136896 HAS SOUS 93024 HAS SOUPS 93024 WITH SCORE 93160.896
AT ITER 1145 NEW BEST:: SOT 258766 SOS 136695 HAS SOPS 136695 HAS SOUS 92823 HAS SOUPS 92823 WITH SCORE 92959.695
AT ITER 1163 NEW BEST:: SOT 258766 SOS 136563 HAS SOPS 136563 HAS SOUS 92691 HAS SOUPS 92691 WITH SCORE 92827.563
AT ITER 1185 NEW BEST:: SOT 258744 SOS 136540 HAS SOPS 136540 HAS SOUS 92668 HAS SOUPS 92668 WITH SCORE 92804.54
AT ITER 1204 NEW BEST:: SOT 258724 SOS 136358 HAS SOPS 136358 HAS SOUS 92529 HAS SOUPS 92529 WITH SCORE 92665.358
AT ITER 1207 NEW BEST:: SOT 258700 SOS 136303 HAS SOPS 136303 HAS SOUS 92498 HAS SOUPS 92498 WITH SCORE 92634.303
AT ITER 1209 NEW BEST:: SOT 253905 SOS 135580 HAS SOPS 135580 HAS SOUS 88330 HAS SOUPS 88330 WITH SCORE 88465.58
AT ITER 1212 NEW BEST:: SOT 253664 SOS 135375 HAS SOPS 135375 HAS SOUS 88107 HAS SOUPS 88107 WITH SCORE 88242.375
AT ITER 1229 NEW BEST:: SOT 253549 SOS 135267 HAS SOPS 135267 HAS SOUS 88039 HAS SOUPS 88039 WITH SCORE 88174.267
AT ITER 1232 NEW BEST:: SOT 253549 SOS 135251 HAS SOPS 135251 HAS SOUS 88023 HAS SOUPS 88023 WITH SCORE 88158.251
AT ITER 1238 NEW BEST:: SOT 249005 SOS 134225 HAS SOPS 134225 HAS SOUS 84396 HAS SOUPS 84396 WITH SCORE 84530.225
AT ITER 1240 NEW BEST:: SOT 249004 SOS 134224 HAS SOPS 134224 HAS SOUS 84390 HAS SOUPS 84390 WITH SCORE 84524.224
AT ITER 1254 NEW BEST:: SOT 248737 SOS 134415 HAS SOPS 134415 HAS SOUS 84234 HAS SOUPS 84234 WITH SCORE 84368.415
AT ITER 1285 NEW BEST:: SOT 248601 SOS 134126 HAS SOPS 134126 HAS SOUS 84098 HAS SOUPS 84098 WITH SCORE 84232.126
AT ITER 1286 NEW BEST:: SOT 248361 SOS 133898 HAS SOPS 133898 HAS SOUS 83870 HAS SOUPS 83870 WITH SCORE 84003.898
AT ITER 1298 NEW BEST:: SOT 248340 SOS 133877 HAS SOPS 133877 HAS SOUS 83869 HAS SOUPS 83869 WITH SCORE 84002.877
AT ITER 1299 NEW BEST:: SOT 248300 SOS 133623 HAS SOPS 133623 HAS SOUS 83615 HAS SOUPS 83615 WITH SCORE 83748.623
AT ITER 1319 NEW BEST:: SOT 248285 SOS 133608 HAS SOPS 133608 HAS SOUS 83600 HAS SOUPS 83600 WITH SCORE 83733.608
AT ITER 1320 NEW BEST:: SOT 248339 SOS 133827 HAS SOPS 133827 HAS SOUS 83595 HAS SOUPS 83595 WITH SCORE 83728.827
AT ITER 1331 NEW BEST:: SOT 248281 SOS 133769 HAS SOPS 133769 HAS SOUS 83537 HAS SOUPS 83537 WITH SCORE 83670.769
AT ITER 1337 NEW BEST:: SOT 248214 SOS 133702 HAS SOPS 133702 HAS SOUS 83470 HAS SOUPS 83470 WITH SCORE 83603.702
AT ITER 1339 NEW BEST:: SOT 248213 SOS 133606 HAS SOPS 133606 HAS SOUS 83468 HAS SOUPS 83468 WITH SCORE 83601.606
AT ITER 1346 NEW BEST:: SOT 246385 SOS 131995 HAS SOPS 131995 HAS SOUS 81856 HAS SOUPS 81856 WITH SCORE 81987.995
AT ITER 1365 NEW BEST:: SOT 246312 SOS 131922 HAS SOPS 131922 HAS SOUS 81783 HAS SOUPS 81783 WITH SCORE 81914.922
AT ITER 1375 NEW BEST:: SOT 245355 SOS 131676 HAS SOPS 131676 HAS SOUS 81043 HAS SOUPS 81043 WITH SCORE 81174.676
AT ITER 1393 NEW BEST:: SOT 245354 SOS 131675 HAS SOPS 131675 HAS SOUS 81041 HAS SOUPS 81041 WITH SCORE 81172.675
AT ITER 1412 NEW BEST:: SOT 244476 SOS 132198 HAS SOPS 132198 HAS SOUS 80504 HAS SOUPS 80504 WITH SCORE 80636.198
AT ITER 1414 NEW BEST:: SOT 244413 SOS 132183 HAS SOPS 132183 HAS SOUS 80444 HAS SOUPS 80444 WITH SCORE 80576.183
AT ITER 1427 NEW BEST:: SOT 243971 SOS 133016 HAS SOPS 133016 HAS SOUS 80082 HAS SOUPS 80082 WITH SCORE 80215.016
AT ITER 1430 NEW BEST:: SOT 243887 SOS 132716 HAS SOPS 132716 HAS SOUS 79782 HAS SOUPS 79782 WITH SCORE 79914.716
AT ITER 1448 NEW BEST:: SOT 243873 SOS 131946 HAS SOPS 131946 HAS SOUS 79733 HAS SOUPS 79733 WITH SCORE 79864.946
AT ITER 1457 NEW BEST:: SOT 242763 SOS 131022 HAS SOPS 131022 HAS SOUS 78768 HAS SOUPS 78768 WITH SCORE 78899.022
AT ITER 1473 NEW BEST:: SOT 242746 SOS 131004 HAS SOPS 131004 HAS SOUS 78750 HAS SOUPS 78750 WITH SCORE 78881.004
AT ITER 1494 NEW BEST:: SOT 242737 SOS 131065 HAS SOPS 131065 HAS SOUS 78732 HAS SOUPS 78732 WITH SCORE 78863.065
AT ITER 1506 NEW BEST:: SOT 242690 SOS 131018 HAS SOPS 131018 HAS SOUS 78634 HAS SOUPS 78634 WITH SCORE 78765.018
AT ITER 1512 NEW BEST:: SOT 242656 SOS 130984 HAS SOPS 130984 HAS SOUS 78600 HAS SOUPS 78600 WITH SCORE 78730.984
AT ITER 1514 NEW BEST:: SOT 242760 SOS 130868 HAS SOPS 130868 HAS SOUS 78567 HAS SOUPS 78567 WITH SCORE 78697.868
AT ITER 1545 NEW BEST:: SOT 242694 SOS 131294 HAS SOPS 131294 HAS SOUS 78534 HAS SOUPS 78534 WITH SCORE 78665.294
AT ITER 1550 NEW BEST:: SOT 242693 SOS 131275 HAS SOPS 131275 HAS SOUS 78533 HAS SOUPS 78533 WITH SCORE 78664.275
AT ITER 1556 NEW BEST:: SOT 242165 SOS 130910 HAS SOPS 130910 HAS SOUS 78038 HAS SOUPS 78038 WITH SCORE 78168.91
AT ITER 1572 NEW BEST:: SOT 242125 SOS 130870 HAS SOPS 130870 HAS SOUS 77893 HAS SOUPS 77893 WITH SCORE 78023.87
AT ITER 1573 NEW BEST:: SOT 242041 SOS 130744 HAS SOPS 130744 HAS SOUS 77767 HAS SOUPS 77767 WITH SCORE 77897.744
AT ITER 1585 NEW BEST:: SOT 240414 SOS 129665 HAS SOPS 129665 HAS SOUS 76508 HAS SOUPS 76508 WITH SCORE 76637.665
AT ITER 1595 NEW BEST:: SOT 237994 SOS 128064 HAS SOPS 128064 HAS SOUS 74501 HAS SOUPS 74501 WITH SCORE 74629.064
AT ITER 1601 NEW BEST:: SOT 237685 SOS 127778 HAS SOPS 127778 HAS SOUS 74230 HAS SOUPS 74230 WITH SCORE 74357.778
AT ITER 1619 NEW BEST:: SOT 237555 SOS 127634 HAS SOPS 127634 HAS SOUS 74171 HAS SOUPS 74171 WITH SCORE 74298.634
AT ITER 1644 NEW BEST:: SOT 237554 SOS 127574 HAS SOPS 127574 HAS SOUS 74169 HAS SOUPS 74169 WITH SCORE 74296.574
AT ITER 1646 NEW BEST:: SOT 237275 SOS 127219 HAS SOPS 127219 HAS SOUS 73567 HAS SOUPS 73567 WITH SCORE 73694.219
AT ITER 1651 NEW BEST:: SOT 237275 SOS 127219 HAS SOPS 127219 HAS SOUS 73566 HAS SOUPS 73566 WITH SCORE 73693.219
AT ITER 1679 NEW BEST:: SOT 237209 SOS 127153 HAS SOPS 127153 HAS SOUS 73496 HAS SOUPS 73496 WITH SCORE 73623.153
AT ITER 1684 NEW BEST:: SOT 237215 SOS 127159 HAS SOPS 127159 HAS SOUS 73439 HAS SOUPS 73439 WITH SCORE 73566.159
AT ITER 1704 NEW BEST:: SOT 237131 SOS 127075 HAS SOPS 127075 HAS SOUS 73344 HAS SOUPS 73344 WITH SCORE 73471.075
AT ITER 1726 NEW BEST:: SOT 237068 SOS 126665 HAS SOPS 126665 HAS SOUS 73098 HAS SOUPS 73098 WITH SCORE 73224.665
AT ITER 1763 NEW BEST:: SOT 237060 SOS 126656 HAS SOPS 126656 HAS SOUS 73089 HAS SOUPS 73089 WITH SCORE 73215.656
AT ITER 1774 NEW BEST:: SOT 237036 SOS 126632 HAS SOPS 126632 HAS SOUS 73065 HAS SOUPS 73065 WITH SCORE 73191.632
AT ITER 1796 NEW BEST:: SOT 237035 SOS 126559 HAS SOPS 126559 HAS SOUS 73063 HAS SOUPS 73063 WITH SCORE 73189.559
AT ITER 1812 NEW BEST:: SOT 237074 SOS 126136 HAS SOPS 126136 HAS SOUS 73060 HAS SOUPS 73060 WITH SCORE 73186.136
AT ITER 1817 NEW BEST:: SOT 237073 SOS 126090 HAS SOPS 126090 HAS SOUS 73057 HAS SOUPS 73057 WITH SCORE 73183.09
AT ITER 1887 NEW BEST:: SOT 237065 SOS 126075 HAS SOPS 126075 HAS SOUS 73041 HAS SOUPS 73041 WITH SCORE 73167.075
AT ITER 1891 NEW BEST:: SOT 237025 SOS 126035 HAS SOPS 126035 HAS SOUS 73001 HAS SOUPS 73001 WITH SCORE 73127.035
AT ITER 1895 NEW BEST:: SOT 236744 SOS 126210 HAS SOPS 126210 HAS SOUS 72762 HAS SOUPS 72762 WITH SCORE 72888.21
AT ITER 1904 NEW BEST:: SOT 236743 SOS 126209 HAS SOPS 126209 HAS SOUS 72760 HAS SOUPS 72760 WITH SCORE 72886.209
AT ITER 1912 NEW BEST:: SOT 236716 SOS 126307 HAS SOPS 126307 HAS SOUS 72706 HAS SOUPS 72706 WITH SCORE 72832.307
AT ITER 1913 NEW BEST:: SOT 236716 SOS 126360 HAS SOPS 126360 HAS SOUS 72705 HAS SOUPS 72705 WITH SCORE 72831.36
AT ITER 1925 NEW BEST:: SOT 236702 SOS 126346 HAS SOPS 126346 HAS SOUS 72683 HAS SOUPS 72683 WITH SCORE 72809.346
AT ITER 1936 NEW BEST:: SOT 236663 SOS 126307 HAS SOPS 126307 HAS SOUS 72643 HAS SOUPS 72643 WITH SCORE 72769.307
AT ITER 1950 NEW BEST:: SOT 236641 SOS 126284 HAS SOPS 126284 HAS SOUS 72642 HAS SOUPS 72642 WITH SCORE 72768.284
AT ITER 1953 NEW BEST:: SOT 234411 SOS 127463 HAS SOPS 127463 HAS SOUS 70804 HAS SOUPS 70804 WITH SCORE 70931.463
AT ITER 1968 NEW BEST:: SOT 234411 SOS 127461 HAS SOPS 127461 HAS SOUS 70802 HAS SOUPS 70802 WITH SCORE 70929.461
AT ITER 1982 NEW BEST:: SOT 234312 SOS 127367 HAS SOPS 127367 HAS SOUS 70784 HAS SOUPS 70784 WITH SCORE 70911.367
AT ITER 2010 NEW BEST:: SOT 234271 SOS 127367 HAS SOPS 127367 HAS SOUS 70743 HAS SOUPS 70743 WITH SCORE 70870.367
AT ITER 2014 NEW BEST:: SOT 233907 SOS 128674 HAS SOPS 128674 HAS SOUS 70700 HAS SOUPS 70700 WITH SCORE 70828.674
AT ITER 2015 NEW BEST:: SOT 233798 SOS 128565 HAS SOPS 128565 HAS SOUS 70591 HAS SOUPS 70591 WITH SCORE 70719.565
AT ITER 2030 NEW BEST:: SOT 233797 SOS 128564 HAS SOPS 128564 HAS SOUS 70581 HAS SOUPS 70581 WITH SCORE 70709.564
AT ITER 2031 NEW BEST:: SOT 233475 SOS 128101 HAS SOPS 128101 HAS SOUS 70173 HAS SOUPS 70173 WITH SCORE 70301.101
AT ITER 2035 NEW BEST:: SOT 233415 SOS 128043 HAS SOPS 128043 HAS SOUS 70032 HAS SOUPS 70032 WITH SCORE 70160.043
AT ITER 2047 NEW BEST:: SOT 233348 SOS 127976 HAS SOPS 127976 HAS SOUS 69898 HAS SOUPS 69898 WITH SCORE 70025.976
AT ITER 2070 NEW BEST:: SOT 233263 SOS 127891 HAS SOPS 127891 HAS SOUS 69731 HAS SOUPS 69731 WITH SCORE 69858.891
AT ITER 2100 NEW BEST:: SOT 233239 SOS 127867 HAS SOPS 127867 HAS SOUS 69683 HAS SOUPS 69683 WITH SCORE 69810.867
AT ITER 2106 NEW BEST:: SOT 233184 SOS 127812 HAS SOPS 127812 HAS SOUS 69624 HAS SOUPS 69624 WITH SCORE 69751.812
AT ITER 2147 NEW BEST:: SOT 233178 SOS 127799 HAS SOPS 127799 HAS SOUS 69617 HAS SOUPS 69617 WITH SCORE 69744.799
AT ITER 2185 NEW BEST:: SOT 233154 SOS 126794 HAS SOPS 126794 HAS SOUS 69471 HAS SOUPS 69471 WITH SCORE 69597.794
AT ITER 2189 NEW BEST:: SOT 233141 SOS 126780 HAS SOPS 126780 HAS SOUS 69470 HAS SOUPS 69470 WITH SCORE 69596.78
AT ITER 2201 NEW BEST:: SOT 233141 SOS 126780 HAS SOPS 126780 HAS SOUS 69464 HAS SOUPS 69464 WITH SCORE 69590.78
AT ITER 2237 NEW BEST:: SOT 233093 SOS 126732 HAS SOPS 126732 HAS SOUS 69437 HAS SOUPS 69437 WITH SCORE 69563.732
AT ITER 2245 NEW BEST:: SOT 232985 SOS 127466 HAS SOPS 127466 HAS SOUS 69434 HAS SOUPS 69434 WITH SCORE 69561.466
AT ITER 2251 NEW BEST:: SOT 232927 SOS 127408 HAS SOPS 127408 HAS SOUS 69313 HAS SOUPS 69313 WITH SCORE 69440.408
AT ITER 2256 NEW BEST:: SOT 232926 SOS 127369 HAS SOPS 127369 HAS SOUS 69311 HAS SOUPS 69311 WITH SCORE 69438.369
AT ITER 2299 NEW BEST:: SOT 232858 SOS 127301 HAS SOPS 127301 HAS SOUS 69250 HAS SOUPS 69250 WITH SCORE 69377.301
AT ITER 2318 NEW BEST:: SOT 232858 SOS 127233 HAS SOPS 127233 HAS SOUS 69182 HAS SOUPS 69182 WITH SCORE 69309.233
AT ITER 2336 NEW BEST:: SOT 232799 SOS 127174 HAS SOPS 127174 HAS SOUS 69123 HAS SOUPS 69123 WITH SCORE 69250.174
AT ITER 2373 NEW BEST:: SOT 232688 SOS 127063 HAS SOPS 127063 HAS SOUS 69032 HAS SOUPS 69032 WITH SCORE 69159.063
AT ITER 2374 NEW BEST:: SOT 232687 SOS 127062 HAS SOPS 127062 HAS SOUS 69008 HAS SOUPS 69008 WITH SCORE 69135.062
AT ITER 2383 NEW BEST:: SOT 232686 SOS 127061 HAS SOPS 127061 HAS SOUS 69003 HAS SOUPS 69003 WITH SCORE 69130.061
AT ITER 2396 NEW BEST:: SOT 232686 SOS 127061 HAS SOPS 127061 HAS SOUS 68996 HAS SOUPS 68996 WITH SCORE 69123.061
AT ITER 2398 NEW BEST:: SOT 232576 SOS 126761 HAS SOPS 126761 HAS SOUS 68782 HAS SOUPS 68782 WITH SCORE 68908.761
AT ITER 2432 NEW BEST:: SOT 232578 SOS 126763 HAS SOPS 126763 HAS SOUS 68777 HAS SOUPS 68777 WITH SCORE 68903.763
AT ITER 2439 NEW BEST:: SOT 232578 SOS 126553 HAS SOPS 126553 HAS SOUS 68723 HAS SOUPS 68723 WITH SCORE 68849.553
AT ITER 2440 NEW BEST:: SOT 232578 SOS 126529 HAS SOPS 126529 HAS SOUS 68699 HAS SOUPS 68699 WITH SCORE 68825.529
AT ITER 2467 NEW BEST:: SOT 232620 SOS 126571 HAS SOPS 126571 HAS SOUS 68697 HAS SOUPS 68697 WITH SCORE 68823.571
AT ITER 2483 NEW BEST:: SOT 231459 SOS 126171 HAS SOPS 126171 HAS SOUS 67755 HAS SOUPS 67755 WITH SCORE 67881.171
AT ITER 2504 NEW BEST:: SOT 231577 SOS 126246 HAS SOPS 126246 HAS SOUS 67732 HAS SOUPS 67732 WITH SCORE 67858.246
AT ITER 2518 NEW BEST:: SOT 231492 SOS 126062 HAS SOPS 126062 HAS SOUS 67633 HAS SOUPS 67633 WITH SCORE 67759.062
AT ITER 2523 NEW BEST:: SOT 231442 SOS 126012 HAS SOPS 126012 HAS SOUS 67555 HAS SOUPS 67555 WITH SCORE 67681.012
AT ITER 2577 NEW BEST:: SOT 231388 SOS 125950 HAS SOPS 125950 HAS SOUS 67520 HAS SOUPS 67520 WITH SCORE 67645.95
AT ITER 2592 NEW BEST:: SOT 231387 SOS 125949 HAS SOPS 125949 HAS SOUS 67485 HAS SOUPS 67485 WITH SCORE 67610.949
AT ITER 2593 NEW BEST:: SOT 231364 SOS 125926 HAS SOPS 125926 HAS SOUS 67462 HAS SOUPS 67462 WITH SCORE 67587.926
AT ITER 2626 NEW BEST:: SOT 231294 SOS 125856 HAS SOPS 125856 HAS SOUS 67387 HAS SOUPS 67387 WITH SCORE 67512.856
AT ITER 2655 NEW BEST:: SOT 231293 SOS 125863 HAS SOPS 125863 HAS SOUS 67385 HAS SOUPS 67385 WITH SCORE 67510.863
AT ITER 2676 NEW BEST:: SOT 231292 SOS 125862 HAS SOPS 125862 HAS SOUS 67383 HAS SOUPS 67383 WITH SCORE 67508.862
AT ITER 2692 NEW BEST:: SOT 231164 SOS 125739 HAS SOPS 125739 HAS SOUS 67198 HAS SOUPS 67198 WITH SCORE 67323.739
AT ITER 2700 NEW BEST:: SOT 231134 SOS 125694 HAS SOPS 125694 HAS SOUS 67153 HAS SOUPS 67153 WITH SCORE 67278.694
AT ITER 2701 NEW BEST:: SOT 231523 SOS 126334 HAS SOPS 126334 HAS SOUS 67092 HAS SOUPS 67092 WITH SCORE 67218.334
AT ITER 2702 NEW BEST:: SOT 231506 SOS 126419 HAS SOPS 126419 HAS SOUS 67084 HAS SOUPS 67084 WITH SCORE 67210.419
AT ITER 2712 NEW BEST:: SOT 231489 SOS 126402 HAS SOPS 126402 HAS SOUS 67067 HAS SOUPS 67067 WITH SCORE 67193.402
AT ITER 2718 NEW BEST:: SOT 231488 SOS 126394 HAS SOPS 126394 HAS SOUS 67065 HAS SOUPS 67065 WITH SCORE 67191.394
AT ITER 2719 NEW BEST:: SOT 231473 SOS 126323 HAS SOPS 126323 HAS SOUS 67035 HAS SOUPS 67035 WITH SCORE 67161.323
AT ITER 2749 NEW BEST:: SOT 231468 SOS 126317 HAS SOPS 126317 HAS SOUS 67026 HAS SOUPS 67026 WITH SCORE 67152.317
AT ITER 2777 NEW BEST:: SOT 231364 SOS 126213 HAS SOPS 126213 HAS SOUS 66818 HAS SOUPS 66818 WITH SCORE 66944.213
AT ITER 2801 NEW BEST:: SOT 231350 SOS 126199 HAS SOPS 126199 HAS SOUS 66803 HAS SOUPS 66803 WITH SCORE 66929.199
AT ITER 2839 NEW BEST:: SOT 231366 SOS 126215 HAS SOPS 126215 HAS SOUS 66787 HAS SOUPS 66787 WITH SCORE 66913.215
AT ITER 2927 NEW BEST:: SOT 231366 SOS 126203 HAS SOPS 126203 HAS SOUS 66787 HAS SOUPS 66787 WITH SCORE 66913.203
AT ITER 2937 NEW BEST:: SOT 231357 SOS 126187 HAS SOPS 126187 HAS SOUS 66770 HAS SOUPS 66770 WITH SCORE 66896.187
AT ITER 2961 NEW BEST:: SOT 231301 SOS 126131 HAS SOPS 126131 HAS SOUS 66658 HAS SOUPS 66658 WITH SCORE 66784.131
AT ITER 2972 NEW BEST:: SOT 231301 SOS 126123 HAS SOPS 126123 HAS SOUS 66658 HAS SOUPS 66658 WITH SCORE 66784.123
AT ITER 2978 NEW BEST:: SOT 231301 SOS 126112 HAS SOPS 126112 HAS SOUS 66647 HAS SOUPS 66647 WITH SCORE 66773.112
AT ITER 2983 NEW BEST:: SOT 231002 SOS 128849 HAS SOPS 128849 HAS SOUS 66571 HAS SOUPS 66571 WITH SCORE 66699.849
AT ITER 2984 NEW BEST:: SOT 231001 SOS 128848 HAS SOPS 128848 HAS SOUS 66569 HAS SOUPS 66569 WITH SCORE 66697.848
AT ITER 3015 NEW BEST:: SOT 230951 SOS 128785 HAS SOPS 128785 HAS SOUS 66506 HAS SOUPS 66506 WITH SCORE 66634.785
AT ITER 3034 NEW BEST:: SOT 230950 SOS 128788 HAS SOPS 128788 HAS SOUS 66504 HAS SOUPS 66504 WITH SCORE 66632.788
AT ITER 3061 NEW BEST:: SOT 230894 SOS 128732 HAS SOPS 128732 HAS SOUS 66448 HAS SOUPS 66448 WITH SCORE 66576.732
AT ITER 3084 NEW BEST:: SOT 230882 SOS 128720 HAS SOPS 128720 HAS SOUS 66436 HAS SOUPS 66436 WITH SCORE 66564.72
AT ITER 3103 NEW BEST:: SOT 230882 SOS 128720 HAS SOPS 128720 HAS SOUS 66369 HAS SOUPS 66369 WITH SCORE 66497.72
AT ITER 3114 NEW BEST:: SOT 230872 SOS 128710 HAS SOPS 128710 HAS SOUS 66359 HAS SOUPS 66359 WITH SCORE 66487.71
AT ITER 3115 NEW BEST:: SOT 230848 SOS 128686 HAS SOPS 128686 HAS SOUS 66287 HAS SOUPS 66287 WITH SCORE 66415.686
AT ITER 3118 NEW BEST:: SOT 230820 SOS 128665 HAS SOPS 128665 HAS SOUS 66134 HAS SOUPS 66134 WITH SCORE 66262.665
AT ITER 3126 NEW BEST:: SOT 230870 SOS 128715 HAS SOPS 128715 HAS SOUS 66087 HAS SOUPS 66087 WITH SCORE 66215.715
AT ITER 3151 NEW BEST:: SOT 230870 SOS 128715 HAS SOPS 128715 HAS SOUS 66042 HAS SOUPS 66042 WITH SCORE 66170.715
AT ITER 3152 NEW BEST:: SOT 230701 SOS 128546 HAS SOPS 128546 HAS SOUS 65896 HAS SOUPS 65896 WITH SCORE 66024.546
AT ITER 3163 NEW BEST:: SOT 230535 SOS 128283 HAS SOPS 128283 HAS SOUS 65729 HAS SOUPS 65729 WITH SCORE 65857.283
AT ITER 3168 NEW BEST:: SOT 230360 SOS 128219 HAS SOPS 128219 HAS SOUS 65700 HAS SOUPS 65700 WITH SCORE 65828.219
AT ITER 3195 NEW BEST:: SOT 230340 SOS 128199 HAS SOPS 128199 HAS SOUS 65698 HAS SOUPS 65698 WITH SCORE 65826.199
AT ITER 3199 NEW BEST:: SOT 230340 SOS 128207 HAS SOPS 128207 HAS SOUS 65690 HAS SOUPS 65690 WITH SCORE 65818.207
AT ITER 3228 NEW BEST:: SOT 230227 SOS 128149 HAS SOPS 128149 HAS SOUS 65688 HAS SOUPS 65688 WITH SCORE 65816.149
AT ITER 3234 NEW BEST:: SOT 230169 SOS 128091 HAS SOPS 128091 HAS SOUS 65630 HAS SOUPS 65630 WITH SCORE 65758.091
AT ITER 3274 NEW BEST:: SOT 230122 SOS 128044 HAS SOPS 128044 HAS SOUS 65529 HAS SOUPS 65529 WITH SCORE 65657.044
AT ITER 3281 NEW BEST:: SOT 230121 SOS 127595 HAS SOPS 127595 HAS SOUS 65527 HAS SOUPS 65527 WITH SCORE 65654.595
AT ITER 3319 NEW BEST:: SOT 230119 SOS 127592 HAS SOPS 127592 HAS SOUS 65524 HAS SOUPS 65524 WITH SCORE 65651.592
AT ITER 3364 NEW BEST:: SOT 229343 SOS 129883 HAS SOPS 129883 HAS SOUS 65251 HAS SOUPS 65251 WITH SCORE 65380.883
AT ITER 3366 NEW BEST:: SOT 229296 SOS 129836 HAS SOPS 129836 HAS SOUS 65108 HAS SOUPS 65108 WITH SCORE 65237.836
AT ITER 3401 NEW BEST:: SOT 229236 SOS 129776 HAS SOPS 129776 HAS SOUS 65047 HAS SOUPS 65047 WITH SCORE 65176.776
AT ITER 3418 NEW BEST:: SOT 229201 SOS 129744 HAS SOPS 129744 HAS SOUS 65015 HAS SOUPS 65015 WITH SCORE 65144.744
AT ITER 3437 NEW BEST:: SOT 229216 SOS 129759 HAS SOPS 129759 HAS SOUS 64970 HAS SOUPS 64970 WITH SCORE 65099.759
AT ITER 3456 NEW BEST:: SOT 229093 SOS 129636 HAS SOPS 129636 HAS SOUS 64763 HAS SOUPS 64763 WITH SCORE 64892.636
AT ITER 3491 NEW BEST:: SOT 229092 SOS 129635 HAS SOPS 129635 HAS SOUS 64762 HAS SOUPS 64762 WITH SCORE 64891.635
AT ITER 3494 NEW BEST:: SOT 229111 SOS 129517 HAS SOPS 129517 HAS SOUS 64656 HAS SOUPS 64656 WITH SCORE 64785.517
AT ITER 3505 NEW BEST:: SOT 229110 SOS 129516 HAS SOPS 129516 HAS SOUS 64654 HAS SOUPS 64654 WITH SCORE 64783.516
AT ITER 3525 NEW BEST:: SOT 229108 SOS 129512 HAS SOPS 129512 HAS SOUS 64650 HAS SOUPS 64650 WITH SCORE 64779.512
AT ITER 3554 NEW BEST:: SOT 229022 SOS 130118 HAS SOPS 130118 HAS SOUS 64607 HAS SOUPS 64607 WITH SCORE 64737.118
AT ITER 3557 NEW BEST:: SOT 229022 SOS 130090 HAS SOPS 130090 HAS SOUS 64579 HAS SOUPS 64579 WITH SCORE 64709.09
AT ITER 3573 NEW BEST:: SOT 229011 SOS 130079 HAS SOPS 130079 HAS SOUS 64563 HAS SOUPS 64563 WITH SCORE 64693.079
AT ITER 3584 NEW BEST:: SOT 228896 SOS 129935 HAS SOPS 129935 HAS SOUS 64448 HAS SOUPS 64448 WITH SCORE 64577.935
AT ITER 3641 NEW BEST:: SOT 228494 SOS 132720 HAS SOPS 132720 HAS SOUS 64333 HAS SOUPS 64333 WITH SCORE 64465.72
AT ITER 3643 NEW BEST:: SOT 228218 SOS 132444 HAS SOPS 132444 HAS SOUS 64066 HAS SOUPS 64066 WITH SCORE 64198.444
AT ITER 3644 NEW BEST:: SOT 228143 SOS 132369 HAS SOPS 132369 HAS SOUS 63976 HAS SOUPS 63976 WITH SCORE 64108.369
AT ITER 3670 NEW BEST:: SOT 228069 SOS 132295 HAS SOPS 132295 HAS SOUS 63845 HAS SOUPS 63845 WITH SCORE 63977.295
AT ITER 3671 NEW BEST:: SOT 228065 SOS 132290 HAS SOPS 132290 HAS SOUS 63844 HAS SOUPS 63844 WITH SCORE 63976.29
AT ITER 3678 NEW BEST:: SOT 228063 SOS 132288 HAS SOPS 132288 HAS SOUS 63840 HAS SOUPS 63840 WITH SCORE 63972.288
AT ITER 3687 NEW BEST:: SOT 228045 SOS 132270 HAS SOPS 132270 HAS SOUS 63804 HAS SOUPS 63804 WITH SCORE 63936.27
AT ITER 3699 NEW BEST:: SOT 228044 SOS 132269 HAS SOPS 132269 HAS SOUS 63802 HAS SOUPS 63802 WITH SCORE 63934.269
AT ITER 3708 NEW BEST:: SOT 228062 SOS 132287 HAS SOPS 132287 HAS SOUS 63801 HAS SOUPS 63801 WITH SCORE 63933.287
AT ITER 3729 NEW BEST:: SOT 227971 SOS 132196 HAS SOPS 132196 HAS SOUS 63671 HAS SOUPS 63671 WITH SCORE 63803.196
AT ITER 3736 NEW BEST:: SOT 227976 SOS 132177 HAS SOPS 132177 HAS SOUS 63637 HAS SOUPS 63637 WITH SCORE 63769.177
AT ITER 3741 NEW BEST:: SOT 228060 SOS 132261 HAS SOPS 132261 HAS SOUS 63618 HAS SOUPS 63618 WITH SCORE 63750.261
AT ITER 3766 NEW BEST:: SOT 228082 SOS 132241 HAS SOPS 132241 HAS SOUS 63598 HAS SOUPS 63598 WITH SCORE 63730.241
AT ITER 3782 NEW BEST:: SOT 228092 SOS 132196 HAS SOPS 132196 HAS SOUS 63593 HAS SOUPS 63593 WITH SCORE 63725.196
AT ITER 3789 NEW BEST:: SOT 228062 SOS 132183 HAS SOPS 132183 HAS SOUS 63592 HAS SOUPS 63592 WITH SCORE 63724.183
AT ITER 3829 NEW BEST:: SOT 227315 SOS 133968 HAS SOPS 133968 HAS SOUS 63231 HAS SOUPS 63231 WITH SCORE 63364.968
AT ITER 3833 NEW BEST:: SOT 227287 SOS 133968 HAS SOPS 133968 HAS SOUS 63203 HAS SOUPS 63203 WITH SCORE 63336.968
AT ITER 3849 NEW BEST:: SOT 227230 SOS 133911 HAS SOPS 133911 HAS SOUS 63089 HAS SOUPS 63089 WITH SCORE 63222.911
AT ITER 3854 NEW BEST:: SOT 227191 SOS 133872 HAS SOPS 133872 HAS SOUS 63074 HAS SOUPS 63074 WITH SCORE 63207.872
AT ITER 3857 NEW BEST:: SOT 227191 SOS 133838 HAS SOPS 133838 HAS SOUS 63074 HAS SOUPS 63074 WITH SCORE 63207.838
AT ITER 3868 NEW BEST:: SOT 227192 SOS 133839 HAS SOPS 133839 HAS SOUS 63052 HAS SOUPS 63052 WITH SCORE 63185.839
AT ITER 3875 NEW BEST:: SOT 227181 SOS 133828 HAS SOPS 133828 HAS SOUS 63052 HAS SOUPS 63052 WITH SCORE 63185.828
AT ITER 3876 NEW BEST:: SOT 227192 SOS 133996 HAS SOPS 133996 HAS SOUS 63036 HAS SOUPS 63036 WITH SCORE 63169.996
AT ITER 3877 NEW BEST:: SOT 227192 SOS 133995 HAS SOPS 133995 HAS SOUS 63035 HAS SOUPS 63035 WITH SCORE 63168.995
AT ITER 3898 NEW BEST:: SOT 227026 SOS 135210 HAS SOPS 135210 HAS SOUS 63005 HAS SOUPS 63005 WITH SCORE 63140.21
AT ITER 3906 NEW BEST:: SOT 227011 SOS 135195 HAS SOPS 135195 HAS SOUS 62960 HAS SOUPS 62960 WITH SCORE 63095.195
AT ITER 3913 NEW BEST:: SOT 227010 SOS 135194 HAS SOPS 135194 HAS SOUS 62958 HAS SOUPS 62958 WITH SCORE 63093.194
AT ITER 3953 NEW BEST:: SOT 227009 SOS 135193 HAS SOPS 135193 HAS SOUS 62957 HAS SOUPS 62957 WITH SCORE 63092.193
AT ITER 3954 NEW BEST:: SOT 226975 SOS 135124 HAS SOPS 135124 HAS SOUS 62890 HAS SOUPS 62890 WITH SCORE 63025.124
AT ITER 3965 NEW BEST:: SOT 226872 SOS 135291 HAS SOPS 135291 HAS SOUS 62820 HAS SOUPS 62820 WITH SCORE 62955.291
AT ITER 3966 NEW BEST:: SOT 226871 SOS 135282 HAS SOPS 135282 HAS SOUS 62818 HAS SOUPS 62818 WITH SCORE 62953.282
AT ITER 3969 NEW BEST:: SOT 226855 SOS 135266 HAS SOPS 135266 HAS SOUS 62802 HAS SOUPS 62802 WITH SCORE 62937.266
AT ITER 3985 NEW BEST:: SOT 226855 SOS 135196 HAS SOPS 135196 HAS SOUS 62744 HAS SOUPS 62744 WITH SCORE 62879.196
AT ITER 3999 NEW BEST:: SOT 226812 SOS 135153 HAS SOPS 135153 HAS SOUS 62660 HAS SOUPS 62660 WITH SCORE 62795.153
AT ITER 4003 NEW BEST:: SOT 226812 SOS 135082 HAS SOPS 135082 HAS SOUS 62659 HAS SOUPS 62659 WITH SCORE 62794.082
AT ITER 4049 NEW BEST:: SOT 226812 SOS 134379 HAS SOPS 134379 HAS SOUS 62658 HAS SOUPS 62658 WITH SCORE 62792.379
AT ITER 4052 NEW BEST:: SOT 226811 SOS 134378 HAS SOPS 134378 HAS SOUS 62656 HAS SOUPS 62656 WITH SCORE 62790.378
AT ITER 4058 NEW BEST:: SOT 226800 SOS 134444 HAS SOPS 134444 HAS SOUS 62561 HAS SOUPS 62561 WITH SCORE 62695.444
AT ITER 4115 NEW BEST:: SOT 226268 SOS 137409 HAS SOPS 137409 HAS SOUS 62447 HAS SOUPS 62447 WITH SCORE 62584.409
AT ITER 4139 NEW BEST:: SOT 226258 SOS 137399 HAS SOPS 137399 HAS SOUS 62427 HAS SOUPS 62427 WITH SCORE 62564.399
AT ITER 4145 NEW BEST:: SOT 226157 SOS 137267 HAS SOPS 137267 HAS SOUS 62325 HAS SOUPS 62325 WITH SCORE 62462.267
AT ITER 4149 NEW BEST:: SOT 225963 SOS 137871 HAS SOPS 137871 HAS SOUS 62248 HAS SOUPS 62248 WITH SCORE 62385.871
AT ITER 4190 NEW BEST:: SOT 225943 SOS 137851 HAS SOPS 137851 HAS SOUS 62208 HAS SOUPS 62208 WITH SCORE 62345.851
AT ITER 4201 NEW BEST:: SOT 225892 SOS 137800 HAS SOPS 137800 HAS SOUS 62106 HAS SOUPS 62106 WITH SCORE 62243.8
AT ITER 4202 NEW BEST:: SOT 225872 SOS 137780 HAS SOPS 137780 HAS SOUS 62086 HAS SOUPS 62086 WITH SCORE 62223.78
AT ITER 4217 NEW BEST:: SOT 225900 SOS 137799 HAS SOPS 137799 HAS SOUS 62085 HAS SOUPS 62085 WITH SCORE 62222.799
AT ITER 4222 NEW BEST:: SOT 225839 SOS 137688 HAS SOPS 137688 HAS SOUS 61990 HAS SOUPS 61990 WITH SCORE 62127.688
AT ITER 4238 NEW BEST:: SOT 225788 SOS 137637 HAS SOPS 137637 HAS SOUS 61966 HAS SOUPS 61966 WITH SCORE 62103.637
AT ITER 4239 NEW BEST:: SOT 225787 SOS 137522 HAS SOPS 137522 HAS SOUS 61964 HAS SOUPS 61964 WITH SCORE 62101.522
AT ITER 4256 NEW BEST:: SOT 225780 SOS 137513 HAS SOPS 137513 HAS SOUS 61948 HAS SOUPS 61948 WITH SCORE 62085.513
AT ITER 4266 NEW BEST:: SOT 225765 SOS 137431 HAS SOPS 137431 HAS SOUS 61939 HAS SOUPS 61939 WITH SCORE 62076.431
AT ITER 4289 NEW BEST:: SOT 225721 SOS 137387 HAS SOPS 137387 HAS SOUS 61749 HAS SOUPS 61749 WITH SCORE 61886.387
AT ITER 4324 NEW BEST:: SOT 225720 SOS 137386 HAS SOPS 137386 HAS SOUS 61748 HAS SOUPS 61748 WITH SCORE 61885.386
AT ITER 4380 NEW BEST:: SOT 225720 SOS 136617 HAS SOPS 136617 HAS SOUS 61748 HAS SOUPS 61748 WITH SCORE 61884.617
AT ITER 4388 NEW BEST:: SOT 225717 SOS 136614 HAS SOPS 136614 HAS SOUS 61742 HAS SOUPS 61742 WITH SCORE 61878.614
AT ITER 4396 NEW BEST:: SOT 225685 SOS 136582 HAS SOPS 136582 HAS SOUS 61705 HAS SOUPS 61705 WITH SCORE 61841.582
AT ITER 4423 NEW BEST:: SOT 225684 SOS 136575 HAS SOPS 136575 HAS SOUS 61703 HAS SOUPS 61703 WITH SCORE 61839.575
AT ITER 4424 NEW BEST:: SOT 225674 SOS 136565 HAS SOPS 136565 HAS SOUS 61683 HAS SOUPS 61683 WITH SCORE 61819.565
AT ITER 4430 NEW BEST:: SOT 225639 SOS 136530 HAS SOPS 136530 HAS SOUS 61613 HAS SOUPS 61613 WITH SCORE 61749.53
AT ITER 4469 NEW BEST:: SOT 225639 SOS 136376 HAS SOPS 136376 HAS SOUS 61613 HAS SOUPS 61613 WITH SCORE 61749.376
AT ITER 4476 NEW BEST:: SOT 225657 SOS 136387 HAS SOPS 136387 HAS SOUS 61604 HAS SOUPS 61604 WITH SCORE 61740.387
AT ITER 4535 NEW BEST:: SOT 225557 SOS 136229 HAS SOPS 136229 HAS SOUS 61512 HAS SOUPS 61512 WITH SCORE 61648.229
AT ITER 4544 NEW BEST:: SOT 225248 SOS 138133 HAS SOPS 138133 HAS SOUS 61389 HAS SOUPS 61389 WITH SCORE 61527.133
AT ITER 4571 NEW BEST:: SOT 225224 SOS 138109 HAS SOPS 138109 HAS SOUS 61341 HAS SOUPS 61341 WITH SCORE 61479.109
AT ITER 4585 NEW BEST:: SOT 225193 SOS 138078 HAS SOPS 138078 HAS SOUS 61183 HAS SOUPS 61183 WITH SCORE 61321.078
AT ITER 4587 NEW BEST:: SOT 225192 SOS 138077 HAS SOPS 138077 HAS SOUS 61181 HAS SOUPS 61181 WITH SCORE 61319.077
AT ITER 4603 NEW BEST:: SOT 225191 SOS 138073 HAS SOPS 138073 HAS SOUS 61179 HAS SOUPS 61179 WITH SCORE 61317.073
AT ITER 4608 NEW BEST:: SOT 225181 SOS 138063 HAS SOPS 138063 HAS SOUS 61169 HAS SOUPS 61169 WITH SCORE 61307.063
AT ITER 4615 NEW BEST:: SOT 225016 SOS 137898 HAS SOPS 137898 HAS SOUS 60939 HAS SOUPS 60939 WITH SCORE 61076.898
AT ITER 4618 NEW BEST:: SOT 224854 SOS 138683 HAS SOPS 138683 HAS SOUS 60857 HAS SOUPS 60857 WITH SCORE 60995.683
AT ITER 4635 NEW BEST:: SOT 224852 SOS 138681 HAS SOPS 138681 HAS SOUS 60853 HAS SOUPS 60853 WITH SCORE 60991.681
AT ITER 4641 NEW BEST:: SOT 224852 SOS 138681 HAS SOPS 138681 HAS SOUS 60851 HAS SOUPS 60851 WITH SCORE 60989.681
AT ITER 4646 NEW BEST:: SOT 224801 SOS 138630 HAS SOPS 138630 HAS SOUS 60787 HAS SOUPS 60787 WITH SCORE 60925.63
AT ITER 4691 NEW BEST:: SOT 224801 SOS 138531 HAS SOPS 138531 HAS SOUS 60787 HAS SOUPS 60787 WITH SCORE 60925.531
AT ITER 4716 NEW BEST:: SOT 224762 SOS 138492 HAS SOPS 138492 HAS SOUS 60744 HAS SOUPS 60744 WITH SCORE 60882.492
AT ITER 4728 NEW BEST:: SOT 224762 SOS 138480 HAS SOPS 138480 HAS SOUS 60744 HAS SOUPS 60744 WITH SCORE 60882.48
AT ITER 4769 NEW BEST:: SOT 224727 SOS 138445 HAS SOPS 138445 HAS SOUS 60613 HAS SOUPS 60613 WITH SCORE 60751.445
AT ITER 4770 NEW BEST:: SOT 224727 SOS 138439 HAS SOPS 138439 HAS SOUS 60607 HAS SOUPS 60607 WITH SCORE 60745.439
AT ITER 4777 NEW BEST:: SOT 224704 SOS 138330 HAS SOPS 138330 HAS SOUS 60498 HAS SOUPS 60498 WITH SCORE 60636.33
AT ITER 4784 NEW BEST:: SOT 224696 SOS 138314 HAS SOPS 138314 HAS SOUS 60482 HAS SOUPS 60482 WITH SCORE 60620.314
AT ITER 4808 NEW BEST:: SOT 224689 SOS 138307 HAS SOPS 138307 HAS SOUS 60475 HAS SOUPS 60475 WITH SCORE 60613.307
AT ITER 4819 NEW BEST:: SOT 224685 SOS 138303 HAS SOPS 138303 HAS SOUS 60471 HAS SOUPS 60471 WITH SCORE 60609.303
AT ITER 4847 NEW BEST:: SOT 224685 SOS 138309 HAS SOPS 138309 HAS SOUS 60419 HAS SOUPS 60419 WITH SCORE 60557.309
AT ITER 4866 NEW BEST:: SOT 224662 SOS 138287 HAS SOPS 138287 HAS SOUS 60401 HAS SOUPS 60401 WITH SCORE 60539.287
AT ITER 4867 NEW BEST:: SOT 224690 SOS 138315 HAS SOPS 138315 HAS SOUS 60399 HAS SOUPS 60399 WITH SCORE 60537.315
AT ITER 4891 NEW BEST:: SOT 224545 SOS 138640 HAS SOPS 138640 HAS SOUS 60269 HAS SOUPS 60269 WITH SCORE 60407.64
AT ITER 4894 NEW BEST:: SOT 224524 SOS 138839 HAS SOPS 138839 HAS SOUS 60257 HAS SOUPS 60257 WITH SCORE 60395.839
AT ITER 4960 NEW BEST:: SOT 224554 SOS 138869 HAS SOPS 138869 HAS SOUS 60183 HAS SOUPS 60183 WITH SCORE 60321.869
AT ITER 4964 NEW BEST:: SOT 224541 SOS 138856 HAS SOPS 138856 HAS SOUS 60144 HAS SOUPS 60144 WITH SCORE 60282.856
AT ITER 4988 NEW BEST:: SOT 224517 SOS 138832 HAS SOPS 138832 HAS SOUS 60096 HAS SOUPS 60096 WITH SCORE 60234.832
AT ITER 4997 NEW BEST:: SOT 224335 SOS 138884 HAS SOPS 138884 HAS SOUS 59966 HAS SOUPS 59966 WITH SCORE 60104.884
AT ITER 5006 NEW BEST:: SOT 224334 SOS 138883 HAS SOPS 138883 HAS SOUS 59964 HAS SOUPS 59964 WITH SCORE 60102.883
AT ITER 5015 NEW BEST:: SOT 224329 SOS 138860 HAS SOPS 138860 HAS SOUS 59954 HAS SOUPS 59954 WITH SCORE 60092.86
AT ITER 5063 NEW BEST:: SOT 224329 SOS 137802 HAS SOPS 137802 HAS SOUS 59953 HAS SOUPS 59953 WITH SCORE 60090.802
AT ITER 5064 NEW BEST:: SOT 224318 SOS 137791 HAS SOPS 137791 HAS SOUS 59921 HAS SOUPS 59921 WITH SCORE 60058.791
AT ITER 5073 NEW BEST:: SOT 224307 SOS 137780 HAS SOPS 137780 HAS SOUS 59899 HAS SOUPS 59899 WITH SCORE 60036.78
AT ITER 5088 NEW BEST:: SOT 224307 SOS 137779 HAS SOPS 137779 HAS SOUS 59849 HAS SOUPS 59849 WITH SCORE 59986.779
AT ITER 5112 NEW BEST:: SOT 224275 SOS 137747 HAS SOPS 137747 HAS SOUS 59785 HAS SOUPS 59785 WITH SCORE 59922.747
AT ITER 5123 NEW BEST:: SOT 224263 SOS 137735 HAS SOPS 137735 HAS SOUS 59775 HAS SOUPS 59775 WITH SCORE 59912.735
AT ITER 5128 NEW BEST:: SOT 224261 SOS 137505 HAS SOPS 137505 HAS SOUS 59771 HAS SOUPS 59771 WITH SCORE 59908.505
AT ITER 5146 NEW BEST:: SOT 224266 SOS 137510 HAS SOPS 137510 HAS SOUS 59661 HAS SOUPS 59661 WITH SCORE 59798.51
AT ITER 5152 NEW BEST:: SOT 224267 SOS 137446 HAS SOPS 137446 HAS SOUS 59587 HAS SOUPS 59587 WITH SCORE 59724.446
AT ITER 5168 NEW BEST:: SOT 224241 SOS 137420 HAS SOPS 137420 HAS SOUS 59535 HAS SOUPS 59535 WITH SCORE 59672.42
AT ITER 5174 NEW BEST:: SOT 224240 SOS 137419 HAS SOPS 137419 HAS SOUS 59525 HAS SOUPS 59525 WITH SCORE 59662.419
AT ITER 5178 NEW BEST:: SOT 224238 SOS 137291 HAS SOPS 137291 HAS SOUS 59516 HAS SOUPS 59516 WITH SCORE 59653.291
AT ITER 5197 NEW BEST:: SOT 224220 SOS 137282 HAS SOPS 137282 HAS SOUS 59498 HAS SOUPS 59498 WITH SCORE 59635.282
AT ITER 5200 NEW BEST:: SOT 224152 SOS 137214 HAS SOPS 137214 HAS SOUS 59438 HAS SOUPS 59438 WITH SCORE 59575.214
AT ITER 5205 NEW BEST:: SOT 224151 SOS 137213 HAS SOPS 137213 HAS SOUS 59436 HAS SOUPS 59436 WITH SCORE 59573.213
AT ITER 5208 NEW BEST:: SOT 224080 SOS 138053 HAS SOPS 138053 HAS SOUS 59410 HAS SOUPS 59410 WITH SCORE 59548.053
AT ITER 5242 NEW BEST:: SOT 224118 SOS 138091 HAS SOPS 138091 HAS SOUS 59385 HAS SOUPS 59385 WITH SCORE 59523.091
AT ITER 5276 NEW BEST:: SOT 224117 SOS 138090 HAS SOPS 138090 HAS SOUS 59383 HAS SOUPS 59383 WITH SCORE 59521.09
AT ITER 5297 NEW BEST:: SOT 224116 SOS 138089 HAS SOPS 138089 HAS SOUS 59381 HAS SOUPS 59381 WITH SCORE 59519.089
AT ITER 5337 NEW BEST:: SOT 223994 SOS 137920 HAS SOPS 137920 HAS SOUS 59137 HAS SOUPS 59137 WITH SCORE 59274.92
AT ITER 5338 NEW BEST:: SOT 223940 SOS 137796 HAS SOPS 137796 HAS SOUS 58948 HAS SOUPS 58948 WITH SCORE 59085.796
AT ITER 5342 NEW BEST:: SOT 223932 SOS 137805 HAS SOPS 137805 HAS SOUS 58934 HAS SOUPS 58934 WITH SCORE 59071.805
AT ITER 5369 NEW BEST:: SOT 223944 SOS 137817 HAS SOPS 137817 HAS SOUS 58933 HAS SOUPS 58933 WITH SCORE 59070.817
AT ITER 5416 NEW BEST:: SOT 223909 SOS 134886 HAS SOPS 134886 HAS SOUS 58800 HAS SOUPS 58800 WITH SCORE 58934.886
AT ITER 5446 NEW BEST:: SOT 223886 SOS 134872 HAS SOPS 134872 HAS SOUS 58789 HAS SOUPS 58789 WITH SCORE 58923.872
AT ITER 5464 NEW BEST:: SOT 223881 SOS 134867 HAS SOPS 134867 HAS SOUS 58783 HAS SOUPS 58783 WITH SCORE 58917.867
AT ITER 5467 NEW BEST:: SOT 223881 SOS 134870 HAS SOPS 134870 HAS SOUS 58776 HAS SOUPS 58776 WITH SCORE 58910.87
AT ITER 5476 NEW BEST:: SOT 223877 SOS 134866 HAS SOPS 134866 HAS SOUS 58768 HAS SOUPS 58768 WITH SCORE 58902.866
AT ITER 5479 NEW BEST:: SOT 223845 SOS 134834 HAS SOPS 134834 HAS SOUS 58704 HAS SOUPS 58704 WITH SCORE 58838.834
AT ITER 5482 NEW BEST:: SOT 223826 SOS 134815 HAS SOPS 134815 HAS SOUS 58674 HAS SOUPS 58674 WITH SCORE 58808.815
AT ITER 5493 NEW BEST:: SOT 223825 SOS 134814 HAS SOPS 134814 HAS SOUS 58672 HAS SOUPS 58672 WITH SCORE 58806.814
AT ITER 5503 NEW BEST:: SOT 223825 SOS 134814 HAS SOPS 134814 HAS SOUS 58659 HAS SOUPS 58659 WITH SCORE 58793.814
AT ITER 5517 NEW BEST:: SOT 223846 SOS 134861 HAS SOPS 134861 HAS SOUS 58641 HAS SOUPS 58641 WITH SCORE 58775.861
AT ITER 5560 NEW BEST:: SOT 223832 SOS 134847 HAS SOPS 134847 HAS SOUS 58613 HAS SOUPS 58613 WITH SCORE 58747.847
AT ITER 5568 NEW BEST:: SOT 223832 SOS 134860 HAS SOPS 134860 HAS SOUS 58600 HAS SOUPS 58600 WITH SCORE 58734.86
AT ITER 5596 NEW BEST:: SOT 223803 SOS 134831 HAS SOPS 134831 HAS SOUS 58542 HAS SOUPS 58542 WITH SCORE 58676.831
AT ITER 5610 NEW BEST:: SOT 223744 SOS 134645 HAS SOPS 134645 HAS SOUS 58415 HAS SOUPS 58415 WITH SCORE 58549.645
AT ITER 5619 NEW BEST:: SOT 223694 SOS 134595 HAS SOPS 134595 HAS SOUS 58271 HAS SOUPS 58271 WITH SCORE 58405.595
AT ITER 5632 NEW BEST:: SOT 223684 SOS 134416 HAS SOPS 134416 HAS SOUS 58256 HAS SOUPS 58256 WITH SCORE 58390.416
AT ITER 5644 NEW BEST:: SOT 223746 SOS 134478 HAS SOPS 134478 HAS SOUS 58236 HAS SOUPS 58236 WITH SCORE 58370.478
AT ITER 5660 NEW BEST:: SOT 223715 SOS 134447 HAS SOPS 134447 HAS SOUS 58207 HAS SOUPS 58207 WITH SCORE 58341.447
AT ITER 5661 NEW BEST:: SOT 223714 SOS 134446 HAS SOPS 134446 HAS SOUS 58205 HAS SOUPS 58205 WITH SCORE 58339.446
AT ITER 5679 NEW BEST:: SOT 223707 SOS 134439 HAS SOPS 134439 HAS SOUS 58191 HAS SOUPS 58191 WITH SCORE 58325.439
AT ITER 5699 NEW BEST:: SOT 223696 SOS 134428 HAS SOPS 134428 HAS SOUS 58169 HAS SOUPS 58169 WITH SCORE 58303.428
AT ITER 5725 NEW BEST:: SOT 223696 SOS 134428 HAS SOPS 134428 HAS SOUS 58167 HAS SOUPS 58167 WITH SCORE 58301.428
AT ITER 5729 NEW BEST:: SOT 223697 SOS 134429 HAS SOPS 134429 HAS SOUS 58164 HAS SOUPS 58164 WITH SCORE 58298.429
AT ITER 5775 NEW BEST:: SOT 223607 SOS 134535 HAS SOPS 134535 HAS SOUS 58074 HAS SOUPS 58074 WITH SCORE 58208.535
AT ITER 5802 NEW BEST:: SOT 223600 SOS 134498 HAS SOPS 134498 HAS SOUS 58060 HAS SOUPS 58060 WITH SCORE 58194.498
AT ITER 5843 NEW BEST:: SOT 223244 SOS 134251 HAS SOPS 134251 HAS SOUS 57764 HAS SOUPS 57764 WITH SCORE 57898.251
AT ITER 5864 NEW BEST:: SOT 223253 SOS 134260 HAS SOPS 134260 HAS SOUS 57698 HAS SOUPS 57698 WITH SCORE 57832.26
AT ITER 5880 NEW BEST:: SOT 223248 SOS 134255 HAS SOPS 134255 HAS SOUS 57688 HAS SOUPS 57688 WITH SCORE 57822.255
AT ITER 5885 NEW BEST:: SOT 223254 SOS 134261 HAS SOPS 134261 HAS SOUS 57626 HAS SOUPS 57626 WITH SCORE 57760.261
AT ITER 5897 NEW BEST:: SOT 223216 SOS 134223 HAS SOPS 134223 HAS SOUS 57462 HAS SOUPS 57462 WITH SCORE 57596.223
AT ITER 5900 NEW BEST:: SOT 223216 SOS 134220 HAS SOPS 134220 HAS SOUS 57459 HAS SOUPS 57459 WITH SCORE 57593.22
AT ITER 5903 NEW BEST:: SOT 223187 SOS 134191 HAS SOPS 134191 HAS SOUS 57401 HAS SOUPS 57401 WITH SCORE 57535.191
AT ITER 5918 NEW BEST:: SOT 223137 SOS 134141 HAS SOPS 134141 HAS SOUS 57301 HAS SOUPS 57301 WITH SCORE 57435.141
AT ITER 5925 NEW BEST:: SOT 223101 SOS 134105 HAS SOPS 134105 HAS SOUS 57255 HAS SOUPS 57255 WITH SCORE 57389.105
AT ITER 5934 NEW BEST:: SOT 223022 SOS 133869 HAS SOPS 133869 HAS SOUS 57176 HAS SOUPS 57176 WITH SCORE 57309.869
AT ITER 5973 NEW BEST:: SOT 223022 SOS 133869 HAS SOPS 133869 HAS SOUS 57165 HAS SOUPS 57165 WITH SCORE 57298.869
AT ITER 5979 NEW BEST:: SOT 223002 SOS 133846 HAS SOPS 133846 HAS SOUS 57142 HAS SOUPS 57142 WITH SCORE 57275.846
AT ITER 6021 NEW BEST:: SOT 222989 SOS 133833 HAS SOPS 133833 HAS SOUS 57116 HAS SOUPS 57116 WITH SCORE 57249.833
AT ITER 6107 NEW BEST:: SOT 223040 SOS 133884 HAS SOPS 133884 HAS SOUS 57085 HAS SOUPS 57085 WITH SCORE 57218.884
AT ITER 6153 NEW BEST:: SOT 223019 SOS 133854 HAS SOPS 133854 HAS SOUS 57055 HAS SOUPS 57055 WITH SCORE 57188.854
AT ITER 6164 NEW BEST:: SOT 222979 SOS 133810 HAS SOPS 133810 HAS SOUS 57050 HAS SOUPS 57050 WITH SCORE 57183.81
AT ITER 6200 NEW BEST:: SOT 222979 SOS 133810 HAS SOPS 133810 HAS SOUS 57039 HAS SOUPS 57039 WITH SCORE 57172.81
AT ITER 6201 NEW BEST:: SOT 222970 SOS 133801 HAS SOPS 133801 HAS SOUS 57025 HAS SOUPS 57025 WITH SCORE 57158.801
AT ITER 6220 NEW BEST:: SOT 222947 SOS 133778 HAS SOPS 133778 HAS SOUS 56979 HAS SOUPS 56979 WITH SCORE 57112.778
AT ITER 6229 NEW BEST:: SOT 222877 SOS 133708 HAS SOPS 133708 HAS SOUS 56804 HAS SOUPS 56804 WITH SCORE 56937.708
AT ITER 6240 NEW BEST:: SOT 222876 SOS 133684 HAS SOPS 133684 HAS SOUS 56802 HAS SOUPS 56802 WITH SCORE 56935.684
AT ITER 6285 NEW BEST:: SOT 222845 SOS 133653 HAS SOPS 133653 HAS SOUS 56736 HAS SOUPS 56736 WITH SCORE 56869.653
AT ITER 6290 NEW BEST:: SOT 222833 SOS 133641 HAS SOPS 133641 HAS SOUS 56725 HAS SOUPS 56725 WITH SCORE 56858.641
AT ITER 6315 NEW BEST:: SOT 222855 SOS 133663 HAS SOPS 133663 HAS SOUS 56682 HAS SOUPS 56682 WITH SCORE 56815.663
AT ITER 6316 NEW BEST:: SOT 222818 SOS 133626 HAS SOPS 133626 HAS SOUS 56645 HAS SOUPS 56645 WITH SCORE 56778.626
AT ITER 6320 NEW BEST:: SOT 222802 SOS 133585 HAS SOPS 133585 HAS SOUS 56636 HAS SOUPS 56636 WITH SCORE 56769.585
AT ITER 6332 NEW BEST:: SOT 222744 SOS 133527 HAS SOPS 133527 HAS SOUS 56520 HAS SOUPS 56520 WITH SCORE 56653.527
AT ITER 6347 NEW BEST:: SOT 222747 SOS 133530 HAS SOPS 133530 HAS SOUS 56511 HAS SOUPS 56511 WITH SCORE 56644.53
AT ITER 6357 NEW BEST:: SOT 222722 SOS 133505 HAS SOPS 133505 HAS SOUS 56493 HAS SOUPS 56493 WITH SCORE 56626.505
AT ITER 6374 NEW BEST:: SOT 222731 SOS 133353 HAS SOPS 133353 HAS SOUS 56492 HAS SOUPS 56492 WITH SCORE 56625.353
AT ITER 6377 NEW BEST:: SOT 222544 SOS 133009 HAS SOPS 133009 HAS SOUS 56118 HAS SOUPS 56118 WITH SCORE 56251.009
AT ITER 6385 NEW BEST:: SOT 222489 SOS 132954 HAS SOPS 132954 HAS SOUS 56008 HAS SOUPS 56008 WITH SCORE 56140.954
AT ITER 6396 NEW BEST:: SOT 222489 SOS 132954 HAS SOPS 132954 HAS SOUS 55996 HAS SOUPS 55996 WITH SCORE 56128.954
AT ITER 6426 NEW BEST:: SOT 222489 SOS 132899 HAS SOPS 132899 HAS SOUS 55996 HAS SOUPS 55996 WITH SCORE 56128.899
AT ITER 6431 NEW BEST:: SOT 222506 SOS 132916 HAS SOPS 132916 HAS SOUS 55995 HAS SOUPS 55995 WITH SCORE 56127.916
AT ITER 6432 NEW BEST:: SOT 222507 SOS 132917 HAS SOPS 132917 HAS SOUS 55977 HAS SOUPS 55977 WITH SCORE 56109.917
AT ITER 6439 NEW BEST:: SOT 222469 SOS 132879 HAS SOPS 132879 HAS SOUS 55886 HAS SOUPS 55886 WITH SCORE 56018.879
AT ITER 6470 NEW BEST:: SOT 222493 SOS 132651 HAS SOPS 132651 HAS SOUS 55854 HAS SOUPS 55854 WITH SCORE 55986.651
AT ITER 6478 NEW BEST:: SOT 222476 SOS 132634 HAS SOPS 132634 HAS SOUS 55820 HAS SOUPS 55820 WITH SCORE 55952.634
AT ITER 6487 NEW BEST:: SOT 222473 SOS 132631 HAS SOPS 132631 HAS SOUS 55817 HAS SOUPS 55817 WITH SCORE 55949.631
AT ITER 6507 NEW BEST:: SOT 222466 SOS 132624 HAS SOPS 132624 HAS SOUS 55803 HAS SOUPS 55803 WITH SCORE 55935.624
AT ITER 6521 NEW BEST:: SOT 222444 SOS 132602 HAS SOPS 132602 HAS SOUS 55759 HAS SOUPS 55759 WITH SCORE 55891.602
AT ITER 6526 NEW BEST:: SOT 222428 SOS 132266 HAS SOPS 132266 HAS SOUS 55711 HAS SOUPS 55711 WITH SCORE 55843.266
AT ITER 6553 NEW BEST:: SOT 222387 SOS 132225 HAS SOPS 132225 HAS SOUS 55660 HAS SOUPS 55660 WITH SCORE 55792.225
AT ITER 6560 NEW BEST:: SOT 222348 SOS 132186 HAS SOPS 132186 HAS SOUS 55582 HAS SOUPS 55582 WITH SCORE 55714.186
AT ITER 6561 NEW BEST:: SOT 222348 SOS 132185 HAS SOPS 132185 HAS SOUS 55581 HAS SOUPS 55581 WITH SCORE 55713.185
AT ITER 6613 NEW BEST:: SOT 222339 SOS 132135 HAS SOPS 132135 HAS SOUS 55555 HAS SOUPS 55555 WITH SCORE 55687.135
AT ITER 6649 NEW BEST:: SOT 222298 SOS 132094 HAS SOPS 132094 HAS SOUS 55479 HAS SOUPS 55479 WITH SCORE 55611.094
AT ITER 6658 NEW BEST:: SOT 222294 SOS 132090 HAS SOPS 132090 HAS SOUS 55471 HAS SOUPS 55471 WITH SCORE 55603.09
AT ITER 6663 NEW BEST:: SOT 222294 SOS 132051 HAS SOPS 132051 HAS SOUS 55468 HAS SOUPS 55468 WITH SCORE 55600.051
AT ITER 6688 NEW BEST:: SOT 222304 SOS 132061 HAS SOPS 132061 HAS SOUS 55439 HAS SOUPS 55439 WITH SCORE 55571.061
AT ITER 6696 NEW BEST:: SOT 222325 SOS 132067 HAS SOPS 132067 HAS SOUS 55353 HAS SOUPS 55353 WITH SCORE 55485.067
AT ITER 6711 NEW BEST:: SOT 222307 SOS 132048 HAS SOPS 132048 HAS SOUS 55334 HAS SOUPS 55334 WITH SCORE 55466.048
AT ITER 6738 NEW BEST:: SOT 222307 SOS 132048 HAS SOPS 132048 HAS SOUS 55330 HAS SOUPS 55330 WITH SCORE 55462.048
AT ITER 6751 NEW BEST:: SOT 222294 SOS 131784 HAS SOPS 131784 HAS SOUS 55300 HAS SOUPS 55300 WITH SCORE 55431.784
AT ITER 6756 NEW BEST:: SOT 222292 SOS 131782 HAS SOPS 131782 HAS SOUS 55291 HAS SOUPS 55291 WITH SCORE 55422.782
AT ITER 6764 NEW BEST:: SOT 222258 SOS 131748 HAS SOPS 131748 HAS SOUS 55262 HAS SOUPS 55262 WITH SCORE 55393.748
AT ITER 6769 NEW BEST:: SOT 222236 SOS 131725 HAS SOPS 131725 HAS SOUS 55239 HAS SOUPS 55239 WITH SCORE 55370.725
AT ITER 6778 NEW BEST:: SOT 222236 SOS 131701 HAS SOPS 131701 HAS SOUS 55215 HAS SOUPS 55215 WITH SCORE 55346.701
AT ITER 6789 NEW BEST:: SOT 222152 SOS 131617 HAS SOPS 131617 HAS SOUS 55047 HAS SOUPS 55047 WITH SCORE 55178.617
AT ITER 6807 NEW BEST:: SOT 222123 SOS 131561 HAS SOPS 131561 HAS SOUS 54997 HAS SOUPS 54997 WITH SCORE 55128.561
AT ITER 6810 NEW BEST:: SOT 222119 SOS 131557 HAS SOPS 131557 HAS SOUS 54989 HAS SOUPS 54989 WITH SCORE 55120.557
AT ITER 6813 NEW BEST:: SOT 222111 SOS 131549 HAS SOPS 131549 HAS SOUS 54973 HAS SOUPS 54973 WITH SCORE 55104.549
AT ITER 6816 NEW BEST:: SOT 222080 SOS 131518 HAS SOPS 131518 HAS SOUS 54911 HAS SOUPS 54911 WITH SCORE 55042.518
AT ITER 6927 NEW BEST:: SOT 222079 SOS 131517 HAS SOPS 131517 HAS SOUS 54884 HAS SOUPS 54884 WITH SCORE 55015.517
AT ITER 6964 NEW BEST:: SOT 222000 SOS 131438 HAS SOPS 131438 HAS SOUS 54770 HAS SOUPS 54770 WITH SCORE 54901.438
AT ITER 6975 NEW BEST:: SOT 221730 SOS 133111 HAS SOPS 133111 HAS SOUS 54717 HAS SOUPS 54717 WITH SCORE 54850.111
AT ITER 6980 NEW BEST:: SOT 221719 SOS 133100 HAS SOPS 133100 HAS SOUS 54716 HAS SOUPS 54716 WITH SCORE 54849.1
AT ITER 6994 NEW BEST:: SOT 221713 SOS 133094 HAS SOPS 133094 HAS SOUS 54704 HAS SOUPS 54704 WITH SCORE 54837.094
AT ITER 7030 NEW BEST:: SOT 221680 SOS 133061 HAS SOPS 133061 HAS SOUS 54678 HAS SOUPS 54678 WITH SCORE 54811.061
AT ITER 7037 NEW BEST:: SOT 221629 SOS 133020 HAS SOPS 133020 HAS SOUS 54566 HAS SOUPS 54566 WITH SCORE 54699.02
AT ITER 7072 NEW BEST:: SOT 221638 SOS 133029 HAS SOPS 133029 HAS SOUS 54527 HAS SOUPS 54527 WITH SCORE 54660.029
AT ITER 7125 NEW BEST:: SOT 221638 SOS 133029 HAS SOPS 133029 HAS SOUS 54488 HAS SOUPS 54488 WITH SCORE 54621.029
AT ITER 7129 NEW BEST:: SOT 221613 SOS 132940 HAS SOPS 132940 HAS SOUS 54438 HAS SOUPS 54438 WITH SCORE 54570.94
AT ITER 7155 NEW BEST:: SOT 221611 SOS 132938 HAS SOPS 132938 HAS SOUS 54436 HAS SOUPS 54436 WITH SCORE 54568.938
AT ITER 7173 NEW BEST:: SOT 221598 SOS 132925 HAS SOPS 132925 HAS SOUS 54417 HAS SOUPS 54417 WITH SCORE 54549.925
AT ITER 7177 NEW BEST:: SOT 221596 SOS 132923 HAS SOPS 132923 HAS SOUS 54413 HAS SOUPS 54413 WITH SCORE 54545.923
AT ITER 7185 NEW BEST:: SOT 221571 SOS 133092 HAS SOPS 133092 HAS SOUS 54405 HAS SOUPS 54405 WITH SCORE 54538.092
AT ITER 7264 NEW BEST:: SOT 221596 SOS 133117 HAS SOPS 133117 HAS SOUS 54389 HAS SOUPS 54389 WITH SCORE 54522.117
AT ITER 7293 NEW BEST:: SOT 221584 SOS 133105 HAS SOPS 133105 HAS SOUS 54365 HAS SOUPS 54365 WITH SCORE 54498.105
AT ITER 7301 NEW BEST:: SOT 221467 SOS 132988 HAS SOPS 132988 HAS SOUS 54303 HAS SOUPS 54303 WITH SCORE 54435.988
AT ITER 7322 NEW BEST:: SOT 221476 SOS 132997 HAS SOPS 132997 HAS SOUS 54145 HAS SOUPS 54145 WITH SCORE 54277.997
AT ITER 7329 NEW BEST:: SOT 221492 SOS 132983 HAS SOPS 132983 HAS SOUS 54101 HAS SOUPS 54101 WITH SCORE 54233.983
AT ITER 7332 NEW BEST:: SOT 221404 SOS 132895 HAS SOPS 132895 HAS SOUS 54014 HAS SOUPS 54014 WITH SCORE 54146.895
AT ITER 7336 NEW BEST:: SOT 221399 SOS 132890 HAS SOPS 132890 HAS SOUS 54004 HAS SOUPS 54004 WITH SCORE 54136.89
AT ITER 7338 NEW BEST:: SOT 221399 SOS 132883 HAS SOPS 132883 HAS SOUS 54004 HAS SOUPS 54004 WITH SCORE 54136.883
AT ITER 7363 NEW BEST:: SOT 221326 SOS 132810 HAS SOPS 132810 HAS SOUS 53858 HAS SOUPS 53858 WITH SCORE 53990.81
AT ITER 7390 NEW BEST:: SOT 221315 SOS 132799 HAS SOPS 132799 HAS SOUS 53836 HAS SOUPS 53836 WITH SCORE 53968.799
AT ITER 7393 NEW BEST:: SOT 221287 SOS 132751 HAS SOPS 132751 HAS SOUS 53816 HAS SOUPS 53816 WITH SCORE 53948.751
AT ITER 7403 NEW BEST:: SOT 221033 SOS 132497 HAS SOPS 132497 HAS SOUS 53816 HAS SOUPS 53816 WITH SCORE 53948.497
AT ITER 7506 NEW BEST:: SOT 221033 SOS 132497 HAS SOPS 132497 HAS SOUS 53814 HAS SOUPS 53814 WITH SCORE 53946.497
AT ITER 7606 NEW BEST:: SOT 221014 SOS 132667 HAS SOPS 132667 HAS SOUS 53805 HAS SOUPS 53805 WITH SCORE 53937.667
AT ITER 7611 NEW BEST:: SOT 221013 SOS 132666 HAS SOPS 132666 HAS SOUS 53804 HAS SOUPS 53804 WITH SCORE 53936.666
AT ITER 7639 NEW BEST:: SOT 221012 SOS 132641 HAS SOPS 132641 HAS SOUS 53779 HAS SOUPS 53779 WITH SCORE 53911.641
AT ITER 7656 NEW BEST:: SOT 220950 SOS 132496 HAS SOPS 132496 HAS SOUS 53634 HAS SOUPS 53634 WITH SCORE 53766.496
AT ITER 7661 NEW BEST:: SOT 220943 SOS 132489 HAS SOPS 132489 HAS SOUS 53620 HAS SOUPS 53620 WITH SCORE 53752.489
AT ITER 7662 NEW BEST:: SOT 220913 SOS 132459 HAS SOPS 132459 HAS SOUS 53560 HAS SOUPS 53560 WITH SCORE 53692.459
AT ITER 7665 NEW BEST:: SOT 220853 SOS 132399 HAS SOPS 132399 HAS SOUS 53440 HAS SOUPS 53440 WITH SCORE 53572.399
AT ITER 7671 NEW BEST:: SOT 220847 SOS 132393 HAS SOPS 132393 HAS SOUS 53434 HAS SOUPS 53434 WITH SCORE 53566.393
AT ITER 7691 NEW BEST:: SOT 220822 SOS 132368 HAS SOPS 132368 HAS SOUS 53384 HAS SOUPS 53384 WITH SCORE 53516.368
AT ITER 7693 NEW BEST:: SOT 220821 SOS 132367 HAS SOPS 132367 HAS SOUS 53382 HAS SOUPS 53382 WITH SCORE 53514.367
AT ITER 7704 NEW BEST:: SOT 220821 SOS 132366 HAS SOPS 132366 HAS SOUS 53381 HAS SOUPS 53381 WITH SCORE 53513.366
AT ITER 7725 NEW BEST:: SOT 220824 SOS 132369 HAS SOPS 132369 HAS SOUS 53379 HAS SOUPS 53379 WITH SCORE 53511.369
AT ITER 7741 NEW BEST:: SOT 220819 SOS 132364 HAS SOPS 132364 HAS SOUS 53341 HAS SOUPS 53341 WITH SCORE 53473.364
AT ITER 7753 NEW BEST:: SOT 220816 SOS 132361 HAS SOPS 132361 HAS SOUS 53313 HAS SOUPS 53313 WITH SCORE 53445.361
AT ITER 7777 NEW BEST:: SOT 220805 SOS 132350 HAS SOPS 132350 HAS SOUS 53291 HAS SOUPS 53291 WITH SCORE 53423.35
AT ITER 7810 NEW BEST:: SOT 220795 SOS 132340 HAS SOPS 132340 HAS SOUS 53291 HAS SOUPS 53291 WITH SCORE 53423.34
AT ITER 7823 NEW BEST:: SOT 220794 SOS 132339 HAS SOPS 132339 HAS SOUS 53289 HAS SOUPS 53289 WITH SCORE 53421.339
AT ITER 7837 NEW BEST:: SOT 220706 SOS 132228 HAS SOPS 132228 HAS SOUS 53211 HAS SOUPS 53211 WITH SCORE 53343.228
AT ITER 7846 NEW BEST:: SOT 220699 SOS 132221 HAS SOPS 132221 HAS SOUS 53197 HAS SOUPS 53197 WITH SCORE 53329.221
AT ITER 7852 NEW BEST:: SOT 220701 SOS 132219 HAS SOPS 132219 HAS SOUS 53197 HAS SOUPS 53197 WITH SCORE 53329.219
AT ITER 7860 NEW BEST:: SOT 220701 SOS 132219 HAS SOPS 132219 HAS SOUS 53190 HAS SOUPS 53190 WITH SCORE 53322.219
AT ITER 7881 NEW BEST:: SOT 220547 SOS 132065 HAS SOPS 132065 HAS SOUS 53043 HAS SOUPS 53043 WITH SCORE 53175.065
AT ITER 7886 NEW BEST:: SOT 220519 SOS 132037 HAS SOPS 132037 HAS SOUS 52974 HAS SOUPS 52974 WITH SCORE 53106.037
AT ITER 7909 NEW BEST:: SOT 220513 SOS 132031 HAS SOPS 132031 HAS SOUS 52962 HAS SOUPS 52962 WITH SCORE 53094.031
AT ITER 7927 NEW BEST:: SOT 220512 SOS 132030 HAS SOPS 132030 HAS SOUS 52961 HAS SOUPS 52961 WITH SCORE 53093.03
AT ITER 7942 NEW BEST:: SOT 220508 SOS 132018 HAS SOPS 132018 HAS SOUS 52949 HAS SOUPS 52949 WITH SCORE 53081.018
AT ITER 7999 NEW BEST:: SOT 220502 SOS 132012 HAS SOPS 132012 HAS SOUS 52931 HAS SOUPS 52931 WITH SCORE 53063.012
AT ITER 8013 NEW BEST:: SOT 220501 SOS 132011 HAS SOPS 132011 HAS SOUS 52929 HAS SOUPS 52929 WITH SCORE 53061.011
AT ITER 8024 NEW BEST:: SOT 220502 SOS 132012 HAS SOPS 132012 HAS SOUS 52914 HAS SOUPS 52914 WITH SCORE 53046.012
AT ITER 8040 NEW BEST:: SOT 220487 SOS 131997 HAS SOPS 131997 HAS SOUS 52884 HAS SOUPS 52884 WITH SCORE 53015.997
AT ITER 8052 NEW BEST:: SOT 220485 SOS 131995 HAS SOPS 131995 HAS SOUS 52880 HAS SOUPS 52880 WITH SCORE 53011.995
AT ITER 8096 NEW BEST:: SOT 220469 SOS 131979 HAS SOPS 131979 HAS SOUS 52848 HAS SOUPS 52848 WITH SCORE 52979.979
AT ITER 8101 NEW BEST:: SOT 220469 SOS 131976 HAS SOPS 131976 HAS SOUS 52848 HAS SOUPS 52848 WITH SCORE 52979.976
AT ITER 8110 NEW BEST:: SOT 220468 SOS 131977 HAS SOPS 131977 HAS SOUS 52846 HAS SOUPS 52846 WITH SCORE 52977.977
AT ITER 8130 NEW BEST:: SOT 220468 SOS 131977 HAS SOPS 131977 HAS SOUS 52832 HAS SOUPS 52832 WITH SCORE 52963.977
AT ITER 8155 NEW BEST:: SOT 220458 SOS 131967 HAS SOPS 131967 HAS SOUS 52812 HAS SOUPS 52812 WITH SCORE 52943.967
AT ITER 8212 NEW BEST:: SOT 220387 SOS 131825 HAS SOPS 131825 HAS SOUS 52670 HAS SOUPS 52670 WITH SCORE 52801.825
AT ITER 8214 NEW BEST:: SOT 220381 SOS 131816 HAS SOPS 131816 HAS SOUS 52661 HAS SOUPS 52661 WITH SCORE 52792.816
AT ITER 8226 NEW BEST:: SOT 220373 SOS 131372 HAS SOPS 131372 HAS SOUS 52615 HAS SOUPS 52615 WITH SCORE 52746.372
AT ITER 8230 NEW BEST:: SOT 220369 SOS 131368 HAS SOPS 131368 HAS SOUS 52615 HAS SOUPS 52615 WITH SCORE 52746.368
AT ITER 8243 NEW BEST:: SOT 220361 SOS 131360 HAS SOPS 131360 HAS SOUS 52607 HAS SOUPS 52607 WITH SCORE 52738.36
AT ITER 8294 NEW BEST:: SOT 220351 SOS 131350 HAS SOPS 131350 HAS SOUS 52587 HAS SOUPS 52587 WITH SCORE 52718.35
AT ITER 8341 NEW BEST:: SOT 220336 SOS 131335 HAS SOPS 131335 HAS SOUS 52557 HAS SOUPS 52557 WITH SCORE 52688.335
AT ITER 8365 NEW BEST:: SOT 220343 SOS 131342 HAS SOPS 131342 HAS SOUS 52517 HAS SOUPS 52517 WITH SCORE 52648.342
AT ITER 8366 NEW BEST:: SOT 220358 SOS 131357 HAS SOPS 131357 HAS SOUS 52503 HAS SOUPS 52503 WITH SCORE 52634.357
AT ITER 8371 NEW BEST:: SOT 220282 SOS 130242 HAS SOPS 130242 HAS SOUS 52283 HAS SOUPS 52283 WITH SCORE 52413.242
AT ITER 8388 NEW BEST:: SOT 220274 SOS 130234 HAS SOPS 130234 HAS SOUS 52267 HAS SOUPS 52267 WITH SCORE 52397.234
AT ITER 8397 NEW BEST:: SOT 220296 SOS 130256 HAS SOPS 130256 HAS SOUS 52265 HAS SOUPS 52265 WITH SCORE 52395.256
AT ITER 8432 NEW BEST:: SOT 220281 SOS 130241 HAS SOPS 130241 HAS SOUS 52219 HAS SOUPS 52219 WITH SCORE 52349.241
AT ITER 8473 NEW BEST:: SOT 220277 SOS 130237 HAS SOPS 130237 HAS SOUS 52215 HAS SOUPS 52215 WITH SCORE 52345.237
AT ITER 8477 NEW BEST:: SOT 220221 SOS 130181 HAS SOPS 130181 HAS SOUS 52133 HAS SOUPS 52133 WITH SCORE 52263.181
AT ITER 8493 NEW BEST:: SOT 220220 SOS 130180 HAS SOPS 130180 HAS SOUS 52131 HAS SOUPS 52131 WITH SCORE 52261.18
AT ITER 8512 NEW BEST:: SOT 220221 SOS 130181 HAS SOPS 130181 HAS SOUS 52113 HAS SOUPS 52113 WITH SCORE 52243.181
AT ITER 8515 NEW BEST:: SOT 220207 SOS 130175 HAS SOPS 130175 HAS SOUS 52107 HAS SOUPS 52107 WITH SCORE 52237.175
AT ITER 8568 NEW BEST:: SOT 220142 SOS 130110 HAS SOPS 130110 HAS SOUS 51977 HAS SOUPS 51977 WITH SCORE 52107.11
AT ITER 8577 NEW BEST:: SOT 220142 SOS 130110 HAS SOPS 130110 HAS SOUS 51963 HAS SOUPS 51963 WITH SCORE 52093.11
AT ITER 8593 NEW BEST:: SOT 220142 SOS 130110 HAS SOPS 130110 HAS SOUS 51961 HAS SOUPS 51961 WITH SCORE 52091.11
AT ITER 8613 NEW BEST:: SOT 220140 SOS 130106 HAS SOPS 130106 HAS SOUS 51950 HAS SOUPS 51950 WITH SCORE 52080.106
AT ITER 8622 NEW BEST:: SOT 220135 SOS 130101 HAS SOPS 130101 HAS SOUS 51940 HAS SOUPS 51940 WITH SCORE 52070.101
AT ITER 8635 NEW BEST:: SOT 220135 SOS 130116 HAS SOPS 130116 HAS SOUS 51939 HAS SOUPS 51939 WITH SCORE 52069.116
AT ITER 8647 NEW BEST:: SOT 220134 SOS 130115 HAS SOPS 130115 HAS SOUS 51939 HAS SOUPS 51939 WITH SCORE 52069.115
AT ITER 8648 NEW BEST:: SOT 220134 SOS 130115 HAS SOPS 130115 HAS SOUS 51937 HAS SOUPS 51937 WITH SCORE 52067.115
AT ITER 8669 NEW BEST:: SOT 219987 SOS 130003 HAS SOPS 130003 HAS SOUS 51881 HAS SOUPS 51881 WITH SCORE 52011.003
AT ITER 8673 NEW BEST:: SOT 219974 SOS 129990 HAS SOPS 129990 HAS SOUS 51855 HAS SOUPS 51855 WITH SCORE 51984.99
AT ITER 8701 NEW BEST:: SOT 219971 SOS 129987 HAS SOPS 129987 HAS SOUS 51849 HAS SOUPS 51849 WITH SCORE 51978.987
AT ITER 8749 NEW BEST:: SOT 219980 SOS 129996 HAS SOPS 129996 HAS SOUS 51795 HAS SOUPS 51795 WITH SCORE 51924.996
AT ITER 8775 NEW BEST:: SOT 219966 SOS 129982 HAS SOPS 129982 HAS SOUS 51767 HAS SOUPS 51767 WITH SCORE 51896.982
AT ITER 8788 NEW BEST:: SOT 219960 SOS 129976 HAS SOPS 129976 HAS SOUS 51758 HAS SOUPS 51758 WITH SCORE 51887.976
AT ITER 8806 NEW BEST:: SOT 219874 SOS 129890 HAS SOPS 129890 HAS SOUS 51686 HAS SOUPS 51686 WITH SCORE 51815.89
AT ITER 8826 NEW BEST:: SOT 219864 SOS 129880 HAS SOPS 129880 HAS SOUS 51681 HAS SOUPS 51681 WITH SCORE 51810.88
AT ITER 8855 NEW BEST:: SOT 219861 SOS 129877 HAS SOPS 129877 HAS SOUS 51672 HAS SOUPS 51672 WITH SCORE 51801.877
AT ITER 8870 NEW BEST:: SOT 219861 SOS 129771 HAS SOPS 129771 HAS SOUS 51646 HAS SOUPS 51646 WITH SCORE 51775.771
AT ITER 8878 NEW BEST:: SOT 219858 SOS 129768 HAS SOPS 129768 HAS SOUS 51640 HAS SOUPS 51640 WITH SCORE 51769.768
AT ITER 8901 NEW BEST:: SOT 219838 SOS 129748 HAS SOPS 129748 HAS SOUS 51622 HAS SOUPS 51622 WITH SCORE 51751.748
AT ITER 8907 NEW BEST:: SOT 219879 SOS 129789 HAS SOPS 129789 HAS SOUS 51577 HAS SOUPS 51577 WITH SCORE 51706.789
AT ITER 8971 NEW BEST:: SOT 219864 SOS 129774 HAS SOPS 129774 HAS SOUS 51547 HAS SOUPS 51547 WITH SCORE 51676.774
AT ITER 8985 NEW BEST:: SOT 219860 SOS 129770 HAS SOPS 129770 HAS SOUS 51539 HAS SOUPS 51539 WITH SCORE 51668.77
AT ITER 9025 NEW BEST:: SOT 219856 SOS 129798 HAS SOPS 129798 HAS SOUS 51535 HAS SOUPS 51535 WITH SCORE 51664.798
AT ITER 9063 NEW BEST:: SOT 219856 SOS 129798 HAS SOPS 129798 HAS SOUS 51525 HAS SOUPS 51525 WITH SCORE 51654.798
AT ITER 9064 NEW BEST:: SOT 219856 SOS 129798 HAS SOPS 129798 HAS SOUS 51520 HAS SOUPS 51520 WITH SCORE 51649.798
AT ITER 9065 NEW BEST:: SOT 219879 SOS 129821 HAS SOPS 129821 HAS SOUS 51489 HAS SOUPS 51489 WITH SCORE 51618.821
AT ITER 9102 NEW BEST:: SOT 219877 SOS 129817 HAS SOPS 129817 HAS SOUS 51485 HAS SOUPS 51485 WITH SCORE 51614.817
AT ITER 9117 NEW BEST:: SOT 219876 SOS 129816 HAS SOPS 129816 HAS SOUS 51483 HAS SOUPS 51483 WITH SCORE 51612.816
AT ITER 9159 NEW BEST:: SOT 219874 SOS 129814 HAS SOPS 129814 HAS SOUS 51481 HAS SOUPS 51481 WITH SCORE 51610.814
AT ITER 9163 NEW BEST:: SOT 219869 SOS 129809 HAS SOPS 129809 HAS SOUS 51471 HAS SOUPS 51471 WITH SCORE 51600.809
AT ITER 9178 NEW BEST:: SOT 219848 SOS 129757 HAS SOPS 129757 HAS SOUS 51419 HAS SOUPS 51419 WITH SCORE 51548.757
AT ITER 9246 NEW BEST:: SOT 219843 SOS 129779 HAS SOPS 129779 HAS SOUS 51414 HAS SOUPS 51414 WITH SCORE 51543.779
AT ITER 9274 NEW BEST:: SOT 219843 SOS 129571 HAS SOPS 129571 HAS SOUS 51384 HAS SOUPS 51384 WITH SCORE 51513.571
AT ITER 9321 NEW BEST:: SOT 219834 SOS 129562 HAS SOPS 129562 HAS SOUS 51366 HAS SOUPS 51366 WITH SCORE 51495.562
AT ITER 9327 NEW BEST:: SOT 219819 SOS 129547 HAS SOPS 129547 HAS SOUS 51336 HAS SOUPS 51336 WITH SCORE 51465.547
AT ITER 9372 NEW BEST:: SOT 219749 SOS 129477 HAS SOPS 129477 HAS SOUS 51298 HAS SOUPS 51298 WITH SCORE 51427.477
AT ITER 9394 NEW BEST:: SOT 219743 SOS 129471 HAS SOPS 129471 HAS SOUS 51286 HAS SOUPS 51286 WITH SCORE 51415.471
AT ITER 9407 NEW BEST:: SOT 219743 SOS 129465 HAS SOPS 129465 HAS SOUS 51280 HAS SOUPS 51280 WITH SCORE 51409.465
AT ITER 9462 NEW BEST:: SOT 219743 SOS 129465 HAS SOPS 129465 HAS SOUS 51160 HAS SOUPS 51160 WITH SCORE 51289.465
AT ITER 9555 NEW BEST:: SOT 219724 SOS 129446 HAS SOPS 129446 HAS SOUS 51122 HAS SOUPS 51122 WITH SCORE 51251.446
AT ITER 9635 NEW BEST:: SOT 219714 SOS 129436 HAS SOPS 129436 HAS SOUS 51102 HAS SOUPS 51102 WITH SCORE 51231.436
AT ITER 9652 NEW BEST:: SOT 219707 SOS 129429 HAS SOPS 129429 HAS SOUS 51088 HAS SOUPS 51088 WITH SCORE 51217.429
AT ITER 9728 NEW BEST:: SOT 219693 SOS 129415 HAS SOPS 129415 HAS SOUS 51060 HAS SOUPS 51060 WITH SCORE 51189.415
AT ITER 9757 NEW BEST:: SOT 219659 SOS 128863 HAS SOPS 128863 HAS SOUS 50938 HAS SOUPS 50938 WITH SCORE 51066.863
AT ITER 9786 NEW BEST:: SOT 219629 SOS 128821 HAS SOPS 128821 HAS SOUS 50893 HAS SOUPS 50893 WITH SCORE 51021.821
AT ITER 9854 NEW BEST:: SOT 219613 SOS 129129 HAS SOPS 129129 HAS SOUS 50877 HAS SOUPS 50877 WITH SCORE 51006.129
AT ITER 9857 NEW BEST:: SOT 219609 SOS 129121 HAS SOPS 129121 HAS SOUS 50869 HAS SOUPS 50869 WITH SCORE 50998.121
AT ITER 9905 NEW BEST:: SOT 219651 SOS 129070 HAS SOPS 129070 HAS SOUS 50805 HAS SOUPS 50805 WITH SCORE 50934.07
AT ITER 9908 NEW BEST:: SOT 219651 SOS 129071 HAS SOPS 129071 HAS SOUS 50789 HAS SOUPS 50789 WITH SCORE 50918.071
AT ITER 9958 NEW BEST:: SOT 219641 SOS 129005 HAS SOPS 129005 HAS SOUS 50769 HAS SOUPS 50769 WITH SCORE 50898.005
AT ITER 9959 NEW BEST:: SOT 219593 SOS 128937 HAS SOPS 128937 HAS SOUS 50753 HAS SOUPS 50753 WITH SCORE 50881.937
AT ITER 9983 NEW BEST:: SOT 219593 SOS 128923 HAS SOPS 128923 HAS SOUS 50753 HAS SOUPS 50753 WITH SCORE 50881.923
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 9241808 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16125412 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="HirschbergSinclair-PT-30"
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 HirschbergSinclair-PT-30, 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 r203-smll-167840349600472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/HirschbergSinclair-PT-30.tgz
mv HirschbergSinclair-PT-30 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 ;