About the Execution of Smart+red for PolyORBLF-COL-S04J04T06
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
611.579 | 856742.00 | 874270.00 | 1680.00 | 1.3861E+0007 4.8889E+0007 10 62 | normal |
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.r299-tall-167873952900400.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 PolyORBLF-COL-S04J04T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873952900400
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 580K
-rw-r--r-- 1 mcc users 7.5K Feb 26 14:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 69K Feb 26 14:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 14:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 14:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:32 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 109K Feb 26 14:32 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.0K Feb 26 14:30 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 26 14:30 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml
--------------------
content from stdout:
=== Data for post analysis generated by BenchKit (invocation template)
no data necessary for post analysis
=== Now, execution of the tool begins
BK_START 1679487061794
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=PolyORBLF-COL-S04J04T06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 12:11:03] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 12:11:03] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 12:11:03] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-22 12:11:03] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-22 12:11:04] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 680 ms
[2023-03-22 12:11:04] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 554 PT places and 3040.0 transition bindings in 23 ms.
[2023-03-22 12:11:04] [INFO ] Unfolded HLPN to a Petri net with 554 places and 2998 transitions 20754 arcs in 81 ms.
[2023-03-22 12:11:04] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-22 12:11:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 554 places, 2998 transitions and 20754 arcs took 44 ms.
Total runtime 912 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S04J04T06
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: 554 places, 2998 transitions, 20754 arcs.
AT ITER 0 NEW BEST:: SOT 954199 SOS 732442 HAS SOPS 725066 HAS SOUS 230188 HAS SOUPS 229185 WITH SCORE 229917.442
AT ITER 2 NEW BEST:: SOT 953937 SOS 732150 HAS SOPS 724905 HAS SOUS 230096 HAS SOUPS 229093 WITH SCORE 229825.15
AT ITER 16 NEW BEST:: SOT 953816 SOS 731909 HAS SOPS 724664 HAS SOUS 229879 HAS SOUPS 228876 WITH SCORE 229607.909
AT ITER 19 NEW BEST:: SOT 953759 SOS 731738 HAS SOPS 724493 HAS SOUS 229822 HAS SOUPS 228819 WITH SCORE 229550.738
AT ITER 36 NEW BEST:: SOT 953753 SOS 731720 HAS SOPS 724475 HAS SOUS 229804 HAS SOUPS 228801 WITH SCORE 229532.72
AT ITER 50 NEW BEST:: SOT 953735 SOS 731684 HAS SOPS 724439 HAS SOUS 229768 HAS SOUPS 228765 WITH SCORE 229496.684
AT ITER 68 NEW BEST:: SOT 953617 SOS 731794 HAS SOPS 724549 HAS SOUS 229688 HAS SOUPS 228685 WITH SCORE 229416.794
AT ITER 73 NEW BEST:: SOT 953617 SOS 731794 HAS SOPS 724549 HAS SOUS 229684 HAS SOUPS 228681 WITH SCORE 229412.794
AT ITER 74 NEW BEST:: SOT 953335 SOS 731526 HAS SOPS 724408 HAS SOUS 229601 HAS SOUPS 228598 WITH SCORE 229329.526
AT ITER 78 NEW BEST:: SOT 953335 SOS 731526 HAS SOPS 724408 HAS SOUS 229597 HAS SOUPS 228594 WITH SCORE 229325.526
AT ITER 83 NEW BEST:: SOT 953033 SOS 731275 HAS SOPS 724157 HAS SOUS 229410 HAS SOUPS 228407 WITH SCORE 229138.275
AT ITER 84 NEW BEST:: SOT 953033 SOS 731331 HAS SOPS 724213 HAS SOUS 229272 HAS SOUPS 228269 WITH SCORE 229000.331
AT ITER 106 NEW BEST:: SOT 953020 SOS 731318 HAS SOPS 724187 HAS SOUS 229251 HAS SOUPS 228243 WITH SCORE 228974.318
AT ITER 115 NEW BEST:: SOT 946856 SOS 725154 HAS SOPS 718023 HAS SOUS 228391 HAS SOUPS 227383 WITH SCORE 228108.154
AT ITER 133 NEW BEST:: SOT 946856 SOS 725154 HAS SOPS 718023 HAS SOUS 228349 HAS SOUPS 227341 WITH SCORE 228066.154
AT ITER 142 NEW BEST:: SOT 946666 SOS 724989 HAS SOPS 717858 HAS SOUS 228312 HAS SOUPS 227304 WITH SCORE 228028.989
AT ITER 162 NEW BEST:: SOT 946666 SOS 724989 HAS SOPS 717858 HAS SOUS 228292 HAS SOUPS 227284 WITH SCORE 228008.989
AT ITER 163 NEW BEST:: SOT 943956 SOS 728457 HAS SOPS 719726 HAS SOUS 225891 HAS SOUPS 224574 WITH SCORE 225302.457
AT ITER 169 NEW BEST:: SOT 943740 SOS 728206 HAS SOPS 719553 HAS SOUS 225768 HAS SOUPS 224451 WITH SCORE 225179.206
AT ITER 181 NEW BEST:: SOT 943626 SOS 728092 HAS SOPS 719460 HAS SOUS 225675 HAS SOUPS 224358 WITH SCORE 225086.092
AT ITER 182 NEW BEST:: SOT 943396 SOS 727980 HAS SOPS 719347 HAS SOUS 225461 HAS SOUPS 224144 WITH SCORE 224871.98
AT ITER 188 NEW BEST:: SOT 942824 SOS 744885 HAS SOPS 737670 HAS SOUS 224240 HAS SOUPS 223159 WITH SCORE 223903.885
AT ITER 190 NEW BEST:: SOT 942818 SOS 744879 HAS SOPS 737664 HAS SOUS 224231 HAS SOUPS 223150 WITH SCORE 223894.879
AT ITER 193 NEW BEST:: SOT 942969 SOS 744995 HAS SOPS 737780 HAS SOUS 224002 HAS SOUPS 222921 WITH SCORE 223665.995
AT ITER 195 NEW BEST:: SOT 942893 SOS 744919 HAS SOPS 737780 HAS SOUS 223926 HAS SOUPS 222921 WITH SCORE 223665.919
AT ITER 199 NEW BEST:: SOT 942837 SOS 744863 HAS SOPS 737752 HAS SOUS 223898 HAS SOUPS 222893 WITH SCORE 223637.863
AT ITER 206 NEW BEST:: SOT 942476 SOS 744646 HAS SOPS 737535 HAS SOUS 222799 HAS SOUPS 221794 WITH SCORE 222538.646
AT ITER 217 NEW BEST:: SOT 939944 SOS 742141 HAS SOPS 735030 HAS SOUS 221184 HAS SOUPS 220179 WITH SCORE 220921.141
AT ITER 222 NEW BEST:: SOT 939944 SOS 742260 HAS SOPS 735149 HAS SOUS 221179 HAS SOUPS 220174 WITH SCORE 220916.26
AT ITER 223 NEW BEST:: SOT 939944 SOS 742230 HAS SOPS 735119 HAS SOUS 221179 HAS SOUPS 220174 WITH SCORE 220916.23
AT ITER 231 NEW BEST:: SOT 939773 SOS 742139 HAS SOPS 735028 HAS SOUS 221087 HAS SOUPS 220082 WITH SCORE 220824.139
AT ITER 232 NEW BEST:: SOT 939760 SOS 742217 HAS SOPS 735106 HAS SOUS 221071 HAS SOUPS 220066 WITH SCORE 220808.217
AT ITER 237 NEW BEST:: SOT 939510 SOS 742062 HAS SOPS 734951 HAS SOUS 220916 HAS SOUPS 219911 WITH SCORE 220653.062
AT ITER 239 NEW BEST:: SOT 939611 SOS 740924 HAS SOPS 733813 HAS SOUS 220894 HAS SOUPS 219889 WITH SCORE 220629.924
AT ITER 250 NEW BEST:: SOT 939567 SOS 740880 HAS SOPS 733769 HAS SOUS 220776 HAS SOUPS 219771 WITH SCORE 220511.88
AT ITER 251 NEW BEST:: SOT 939491 SOS 741320 HAS SOPS 734209 HAS SOUS 220528 HAS SOUPS 219523 WITH SCORE 220264.32
AT ITER 262 NEW BEST:: SOT 939498 SOS 741263 HAS SOPS 734152 HAS SOUS 220471 HAS SOUPS 219466 WITH SCORE 220207.263
AT ITER 264 NEW BEST:: SOT 934317 SOS 737104 HAS SOPS 729993 HAS SOUS 215913 HAS SOUPS 214908 WITH SCORE 215645.104
AT ITER 274 NEW BEST:: SOT 934239 SOS 737536 HAS SOPS 730425 HAS SOUS 215665 HAS SOUPS 214660 WITH SCORE 215397.536
AT ITER 276 NEW BEST:: SOT 934083 SOS 737380 HAS SOPS 730269 HAS SOUS 215548 HAS SOUPS 214543 WITH SCORE 215280.38
AT ITER 277 NEW BEST:: SOT 934040 SOS 737208 HAS SOPS 730097 HAS SOUS 215419 HAS SOUPS 214414 WITH SCORE 215151.208
AT ITER 278 NEW BEST:: SOT 934040 SOS 737207 HAS SOPS 730096 HAS SOUS 215419 HAS SOUPS 214414 WITH SCORE 215151.207
AT ITER 297 NEW BEST:: SOT 934018 SOS 736195 HAS SOPS 729084 HAS SOUS 215397 HAS SOUPS 214392 WITH SCORE 215128.195
AT ITER 298 NEW BEST:: SOT 933982 SOS 736085 HAS SOPS 728974 HAS SOUS 215363 HAS SOUPS 214358 WITH SCORE 215094.085
AT ITER 302 NEW BEST:: SOT 933633 SOS 735632 HAS SOPS 728521 HAS SOUS 215076 HAS SOUPS 214071 WITH SCORE 214806.632
AT ITER 309 NEW BEST:: SOT 933372 SOS 724699 HAS SOPS 717098 HAS SOUS 214763 HAS SOUPS 213667 WITH SCORE 214391.699
AT ITER 310 NEW BEST:: SOT 933373 SOS 724700 HAS SOPS 717088 HAS SOUS 214764 HAS SOUPS 213657 WITH SCORE 214381.7
AT ITER 318 NEW BEST:: SOT 933259 SOS 724548 HAS SOPS 716936 HAS SOUS 214612 HAS SOUPS 213505 WITH SCORE 214229.548
AT ITER 336 NEW BEST:: SOT 933016 SOS 724181 HAS SOPS 716723 HAS SOUS 214501 HAS SOUPS 213394 WITH SCORE 214118.181
AT ITER 349 NEW BEST:: SOT 933006 SOS 724171 HAS SOPS 716703 HAS SOUS 214481 HAS SOUPS 213374 WITH SCORE 214098.171
AT ITER 355 NEW BEST:: SOT 932981 SOS 724146 HAS SOPS 716678 HAS SOUS 214432 HAS SOUPS 213325 WITH SCORE 214049.146
AT ITER 365 NEW BEST:: SOT 932789 SOS 723693 HAS SOPS 716335 HAS SOUS 214338 HAS SOUPS 213247 WITH SCORE 213970.693
AT ITER 369 NEW BEST:: SOT 932763 SOS 723603 HAS SOPS 716245 HAS SOUS 214248 HAS SOUPS 213157 WITH SCORE 213880.603
AT ITER 376 NEW BEST:: SOT 932763 SOS 723568 HAS SOPS 716213 HAS SOUS 214246 HAS SOUPS 213155 WITH SCORE 213878.568
AT ITER 388 NEW BEST:: SOT 932760 SOS 723580 HAS SOPS 716213 HAS SOUS 214234 HAS SOUPS 213143 WITH SCORE 213866.58
AT ITER 390 NEW BEST:: SOT 718210 SOS 509400 HAS SOPS 502033 HAS SOUS 184429 HAS SOUPS 183338 WITH SCORE 183847.4
AT ITER 404 NEW BEST:: SOT 718194 SOS 509362 HAS SOPS 501995 HAS SOUS 184391 HAS SOUPS 183300 WITH SCORE 183809.362
AT ITER 410 NEW BEST:: SOT 717846 SOS 508504 HAS SOPS 501137 HAS SOUS 183942 HAS SOUPS 182851 WITH SCORE 183359.504
AT ITER 418 NEW BEST:: SOT 717679 SOS 508267 HAS SOPS 500900 HAS SOUS 183682 HAS SOUPS 182591 WITH SCORE 183099.267
AT ITER 431 NEW BEST:: SOT 717581 SOS 508240 HAS SOPS 500873 HAS SOUS 183664 HAS SOUPS 182573 WITH SCORE 183081.24
AT ITER 441 NEW BEST:: SOT 717579 SOS 509207 HAS SOPS 501840 HAS SOUS 183660 HAS SOUPS 182569 WITH SCORE 183078.207
AT ITER 443 NEW BEST:: SOT 717579 SOS 509129 HAS SOPS 501762 HAS SOUS 183660 HAS SOUPS 182569 WITH SCORE 183078.129
AT ITER 446 NEW BEST:: SOT 717708 SOS 509258 HAS SOPS 501891 HAS SOUS 183502 HAS SOUPS 182411 WITH SCORE 182920.258
AT ITER 448 NEW BEST:: SOT 717656 SOS 509206 HAS SOPS 501891 HAS SOUS 183488 HAS SOUPS 182397 WITH SCORE 182906.206
AT ITER 467 NEW BEST:: SOT 717671 SOS 509297 HAS SOPS 501963 HAS SOUS 183461 HAS SOUPS 182370 WITH SCORE 182879.297
AT ITER 479 NEW BEST:: SOT 717289 SOS 508596 HAS SOPS 501404 HAS SOUS 183250 HAS SOUPS 182159 WITH SCORE 182667.596
AT ITER 486 NEW BEST:: SOT 717083 SOS 508411 HAS SOPS 501337 HAS SOUS 183146 HAS SOUPS 182055 WITH SCORE 182563.411
AT ITER 495 NEW BEST:: SOT 716985 SOS 508313 HAS SOPS 501239 HAS SOUS 182988 HAS SOUPS 181897 WITH SCORE 182405.313
AT ITER 498 NEW BEST:: SOT 716857 SOS 508185 HAS SOPS 501111 HAS SOUS 182732 HAS SOUPS 181641 WITH SCORE 182149.185
AT ITER 503 NEW BEST:: SOT 716354 SOS 507449 HAS SOPS 500305 HAS SOUS 182200 HAS SOUPS 181109 WITH SCORE 181616.449
AT ITER 511 NEW BEST:: SOT 716284 SOS 507224 HAS SOPS 500080 HAS SOUS 182077 HAS SOUPS 180986 WITH SCORE 181493.224
AT ITER 514 NEW BEST:: SOT 716280 SOS 507682 HAS SOPS 500538 HAS SOUS 181988 HAS SOUPS 180897 WITH SCORE 181404.682
AT ITER 520 NEW BEST:: SOT 716843 SOS 508245 HAS SOPS 501101 HAS SOUS 181548 HAS SOUPS 180457 WITH SCORE 180965.245
AT ITER 522 NEW BEST:: SOT 716660 SOS 507763 HAS SOPS 500619 HAS SOUS 181426 HAS SOUPS 180335 WITH SCORE 180842.763
AT ITER 523 NEW BEST:: SOT 716630 SOS 507698 HAS SOPS 500554 HAS SOUS 181361 HAS SOUPS 180270 WITH SCORE 180777.698
AT ITER 526 NEW BEST:: SOT 716627 SOS 507731 HAS SOPS 500587 HAS SOUS 181355 HAS SOUPS 180264 WITH SCORE 180771.731
AT ITER 531 NEW BEST:: SOT 716512 SOS 507616 HAS SOPS 500539 HAS SOUS 181297 HAS SOUPS 180208 WITH SCORE 180715.616
AT ITER 559 NEW BEST:: SOT 716449 SOS 507553 HAS SOPS 500476 HAS SOUS 181147 HAS SOUPS 180058 WITH SCORE 180565.553
AT ITER 564 NEW BEST:: SOT 716332 SOS 507399 HAS SOPS 500322 HAS SOUS 181062 HAS SOUPS 179973 WITH SCORE 180480.399
AT ITER 576 NEW BEST:: SOT 716170 SOS 507256 HAS SOPS 500179 HAS SOUS 181019 HAS SOUPS 179930 WITH SCORE 180437.256
AT ITER 580 NEW BEST:: SOT 715900 SOS 507159 HAS SOPS 500146 HAS SOUS 180675 HAS SOUPS 179586 WITH SCORE 180093.159
AT ITER 585 NEW BEST:: SOT 715880 SOS 507119 HAS SOPS 500106 HAS SOUS 180635 HAS SOUPS 179546 WITH SCORE 180053.119
AT ITER 586 NEW BEST:: SOT 715836 SOS 507075 HAS SOPS 500040 HAS SOUS 180571 HAS SOUPS 179480 WITH SCORE 179987.075
AT ITER 587 NEW BEST:: SOT 711856 SOS 503095 HAS SOPS 496060 HAS SOUS 179963 HAS SOUPS 178872 WITH SCORE 179375.095
AT ITER 598 NEW BEST:: SOT 711328 SOS 502334 HAS SOPS 495233 HAS SOUS 179366 HAS SOUPS 178275 WITH SCORE 178777.334
AT ITER 599 NEW BEST:: SOT 711126 SOS 502451 HAS SOPS 495350 HAS SOUS 179158 HAS SOUPS 178067 WITH SCORE 178569.451
AT ITER 600 NEW BEST:: SOT 711126 SOS 502451 HAS SOPS 495303 HAS SOUS 179064 HAS SOUPS 177973 WITH SCORE 178475.451
AT ITER 603 NEW BEST:: SOT 711126 SOS 501719 HAS SOPS 494571 HAS SOUS 178984 HAS SOUPS 177893 WITH SCORE 178394.719
AT ITER 613 NEW BEST:: SOT 711123 SOS 501713 HAS SOPS 494565 HAS SOUS 178978 HAS SOUPS 177887 WITH SCORE 178388.713
AT ITER 616 NEW BEST:: SOT 710946 SOS 501536 HAS SOPS 494388 HAS SOUS 178792 HAS SOUPS 177701 WITH SCORE 178202.536
AT ITER 617 NEW BEST:: SOT 710913 SOS 501480 HAS SOPS 494332 HAS SOUS 178769 HAS SOUPS 177678 WITH SCORE 178179.48
AT ITER 624 NEW BEST:: SOT 710566 SOS 501133 HAS SOPS 493985 HAS SOUS 178188 HAS SOUPS 177097 WITH SCORE 177598.133
AT ITER 625 NEW BEST:: SOT 696903 SOS 487417 HAS SOPS 480269 HAS SOUS 176165 HAS SOUPS 175074 WITH SCORE 175561.417
AT ITER 637 NEW BEST:: SOT 696893 SOS 487417 HAS SOPS 480269 HAS SOUS 176145 HAS SOUPS 175054 WITH SCORE 175541.417
AT ITER 654 NEW BEST:: SOT 696805 SOS 487351 HAS SOPS 480203 HAS SOUS 176079 HAS SOUPS 174988 WITH SCORE 175475.351
AT ITER 655 NEW BEST:: SOT 696812 SOS 487328 HAS SOPS 480180 HAS SOUS 176014 HAS SOUPS 174923 WITH SCORE 175410.328
AT ITER 657 NEW BEST:: SOT 696834 SOS 487350 HAS SOPS 480202 HAS SOUS 176011 HAS SOUPS 174920 WITH SCORE 175407.35
AT ITER 683 NEW BEST:: SOT 696828 SOS 487354 HAS SOPS 480206 HAS SOUS 175999 HAS SOUPS 174908 WITH SCORE 175395.354
AT ITER 685 NEW BEST:: SOT 696623 SOS 487149 HAS SOPS 480001 HAS SOUS 175794 HAS SOUPS 174703 WITH SCORE 175190.149
AT ITER 695 NEW BEST:: SOT 696585 SOS 487073 HAS SOPS 479925 HAS SOUS 175767 HAS SOUPS 174676 WITH SCORE 175163.073
AT ITER 699 NEW BEST:: SOT 696563 SOS 486929 HAS SOPS 479781 HAS SOUS 175672 HAS SOUPS 174581 WITH SCORE 175067.929
AT ITER 709 NEW BEST:: SOT 696356 SOS 486773 HAS SOPS 479625 HAS SOUS 175486 HAS SOUPS 174395 WITH SCORE 174881.773
AT ITER 716 NEW BEST:: SOT 696169 SOS 486488 HAS SOPS 479479 HAS SOUS 175464 HAS SOUPS 174373 WITH SCORE 174859.488
AT ITER 727 NEW BEST:: SOT 696141 SOS 484866 HAS SOPS 478421 HAS SOUS 175288 HAS SOUPS 174244 WITH SCORE 174728.866
AT ITER 728 NEW BEST:: SOT 695969 SOS 484637 HAS SOPS 478220 HAS SOUS 175179 HAS SOUPS 174135 WITH SCORE 174619.637
AT ITER 730 NEW BEST:: SOT 695934 SOS 484415 HAS SOPS 477998 HAS SOUS 175004 HAS SOUPS 173960 WITH SCORE 174444.415
AT ITER 744 NEW BEST:: SOT 666145 SOS 454516 HAS SOPS 448099 HAS SOUS 171779 HAS SOUPS 170735 WITH SCORE 171189.516
AT ITER 755 NEW BEST:: SOT 666142 SOS 454510 HAS SOPS 448093 HAS SOUS 171773 HAS SOUPS 170729 WITH SCORE 171183.51
AT ITER 778 NEW BEST:: SOT 665991 SOS 469379 HAS SOPS 463508 HAS SOUS 171622 HAS SOUPS 170669 WITH SCORE 171138.379
AT ITER 784 NEW BEST:: SOT 665806 SOS 469338 HAS SOPS 463467 HAS SOUS 171353 HAS SOUPS 170400 WITH SCORE 170869.338
AT ITER 786 NEW BEST:: SOT 665814 SOS 469482 HAS SOPS 463611 HAS SOUS 171109 HAS SOUPS 170156 WITH SCORE 170625.482
AT ITER 796 NEW BEST:: SOT 665710 SOS 468268 HAS SOPS 462397 HAS SOUS 170975 HAS SOUPS 170022 WITH SCORE 170490.268
AT ITER 808 NEW BEST:: SOT 665570 SOS 466253 HAS SOPS 461430 HAS SOUS 170810 HAS SOUPS 169969 WITH SCORE 170435.253
AT ITER 813 NEW BEST:: SOT 665424 SOS 466125 HAS SOPS 461302 HAS SOUS 170776 HAS SOUPS 169935 WITH SCORE 170401.125
AT ITER 814 NEW BEST:: SOT 665422 SOS 466123 HAS SOPS 461300 HAS SOUS 170774 HAS SOUPS 169933 WITH SCORE 170399.123
AT ITER 815 NEW BEST:: SOT 665293 SOS 466073 HAS SOPS 461250 HAS SOUS 170726 HAS SOUPS 169885 WITH SCORE 170351.073
AT ITER 818 NEW BEST:: SOT 665326 SOS 466029 HAS SOPS 461220 HAS SOUS 170733 HAS SOUPS 169854 WITH SCORE 170320.029
AT ITER 837 NEW BEST:: SOT 664883 SOS 465586 HAS SOPS 460777 HAS SOUS 170485 HAS SOUPS 169606 WITH SCORE 170071.586
AT ITER 838 NEW BEST:: SOT 664867 SOS 465554 HAS SOPS 460745 HAS SOUS 170480 HAS SOUPS 169601 WITH SCORE 170066.554
AT ITER 843 NEW BEST:: SOT 665026 SOS 465732 HAS SOPS 460923 HAS SOUS 170442 HAS SOUPS 169563 WITH SCORE 170028.732
AT ITER 845 NEW BEST:: SOT 664986 SOS 465614 HAS SOPS 460805 HAS SOUS 170347 HAS SOUPS 169468 WITH SCORE 169933.614
AT ITER 850 NEW BEST:: SOT 664817 SOS 465445 HAS SOPS 460695 HAS SOUS 170258 HAS SOUPS 169379 WITH SCORE 169844.445
AT ITER 854 NEW BEST:: SOT 664620 SOS 465549 HAS SOPS 460799 HAS SOUS 170062 HAS SOUPS 169183 WITH SCORE 169648.549
AT ITER 858 NEW BEST:: SOT 664608 SOS 465537 HAS SOPS 460787 HAS SOUS 170050 HAS SOUPS 169171 WITH SCORE 169636.537
AT ITER 863 NEW BEST:: SOT 664403 SOS 465332 HAS SOPS 460582 HAS SOUS 170009 HAS SOUPS 169130 WITH SCORE 169595.332
AT ITER 867 NEW BEST:: SOT 664426 SOS 465355 HAS SOPS 460572 HAS SOUS 169994 HAS SOUPS 169115 WITH SCORE 169580.355
AT ITER 878 NEW BEST:: SOT 664380 SOS 465309 HAS SOPS 460526 HAS SOUS 169948 HAS SOUPS 169069 WITH SCORE 169534.309
AT ITER 885 NEW BEST:: SOT 664472 SOS 465401 HAS SOPS 460618 HAS SOUS 169829 HAS SOUPS 168950 WITH SCORE 169415.401
AT ITER 889 NEW BEST:: SOT 664208 SOS 465254 HAS SOPS 460547 HAS SOUS 169754 HAS SOUPS 168875 WITH SCORE 169340.254
AT ITER 905 NEW BEST:: SOT 664162 SOS 465231 HAS SOPS 460524 HAS SOUS 169731 HAS SOUPS 168852 WITH SCORE 169317.231
AT ITER 917 NEW BEST:: SOT 664158 SOS 465227 HAS SOPS 460520 HAS SOUS 169727 HAS SOUPS 168848 WITH SCORE 169313.227
AT ITER 937 NEW BEST:: SOT 664059 SOS 465128 HAS SOPS 460421 HAS SOUS 169509 HAS SOUPS 168630 WITH SCORE 169095.128
AT ITER 957 NEW BEST:: SOT 664059 SOS 464500 HAS SOPS 459793 HAS SOUS 169471 HAS SOUPS 168592 WITH SCORE 169056.5
AT ITER 958 NEW BEST:: SOT 664052 SOS 464493 HAS SOPS 459786 HAS SOUS 169447 HAS SOUPS 168568 WITH SCORE 169032.493
AT ITER 981 NEW BEST:: SOT 664044 SOS 464477 HAS SOPS 459770 HAS SOUS 169423 HAS SOUPS 168544 WITH SCORE 169008.477
AT ITER 984 NEW BEST:: SOT 663948 SOS 464343 HAS SOPS 459636 HAS SOUS 169252 HAS SOUPS 168373 WITH SCORE 168837.343
AT ITER 985 NEW BEST:: SOT 642534 SOS 442790 HAS SOPS 438083 HAS SOUS 166835 HAS SOUPS 165956 WITH SCORE 166398.79
AT ITER 995 NEW BEST:: SOT 642438 SOS 442694 HAS SOPS 438021 HAS SOUS 166834 HAS SOUPS 165955 WITH SCORE 166397.694
AT ITER 998 NEW BEST:: SOT 642455 SOS 442715 HAS SOPS 438042 HAS SOUS 166823 HAS SOUPS 165944 WITH SCORE 166386.715
AT ITER 1005 NEW BEST:: SOT 642436 SOS 442922 HAS SOPS 438249 HAS SOUS 166804 HAS SOUPS 165925 WITH SCORE 166367.922
AT ITER 1007 NEW BEST:: SOT 642397 SOS 442883 HAS SOPS 438210 HAS SOUS 166774 HAS SOUPS 165895 WITH SCORE 166337.883
AT ITER 1009 NEW BEST:: SOT 642368 SOS 442854 HAS SOPS 438181 HAS SOUS 166745 HAS SOUPS 165866 WITH SCORE 166308.854
AT ITER 1027 NEW BEST:: SOT 642239 SOS 442562 HAS SOPS 437923 HAS SOUS 166614 HAS SOUPS 165752 WITH SCORE 166194.562
AT ITER 1030 NEW BEST:: SOT 642333 SOS 443214 HAS SOPS 438575 HAS SOUS 166463 HAS SOUPS 165601 WITH SCORE 166044.214
AT ITER 1035 NEW BEST:: SOT 642305 SOS 443186 HAS SOPS 438547 HAS SOUS 166370 HAS SOUPS 165508 WITH SCORE 165951.186
AT ITER 1043 NEW BEST:: SOT 642254 SOS 441985 HAS SOPS 437346 HAS SOUS 166181 HAS SOUPS 165319 WITH SCORE 165760.985
AT ITER 1045 NEW BEST:: SOT 642194 SOS 441993 HAS SOPS 437354 HAS SOUS 166101 HAS SOUPS 165239 WITH SCORE 165680.993
AT ITER 1060 NEW BEST:: SOT 642138 SOS 441689 HAS SOPS 437018 HAS SOUS 165989 HAS SOUPS 165127 WITH SCORE 165568.689
AT ITER 1063 NEW BEST:: SOT 642039 SOS 441614 HAS SOPS 436943 HAS SOUS 165943 HAS SOUPS 165081 WITH SCORE 165522.614
AT ITER 1067 NEW BEST:: SOT 641767 SOS 441223 HAS SOPS 436552 HAS SOUS 165913 HAS SOUPS 165051 WITH SCORE 165492.223
AT ITER 1093 NEW BEST:: SOT 641535 SOS 440651 HAS SOPS 436091 HAS SOUS 165838 HAS SOUPS 164976 WITH SCORE 165416.651
AT ITER 1096 NEW BEST:: SOT 641294 SOS 441025 HAS SOPS 435859 HAS SOUS 165501 HAS SOUPS 164538 WITH SCORE 164979.025
AT ITER 1105 NEW BEST:: SOT 641217 SOS 440949 HAS SOPS 435783 HAS SOUS 165410 HAS SOUPS 164447 WITH SCORE 164887.949
AT ITER 1129 NEW BEST:: SOT 641198 SOS 440930 HAS SOPS 435745 HAS SOUS 165398 HAS SOUPS 164428 WITH SCORE 164868.93
AT ITER 1137 NEW BEST:: SOT 651734 SOS 452358 HAS SOPS 447173 HAS SOUS 157455 HAS SOUPS 156485 WITH SCORE 156937.358
AT ITER 1140 NEW BEST:: SOT 651586 SOS 452305 HAS SOPS 447120 HAS SOUS 157415 HAS SOUPS 156445 WITH SCORE 156897.305
AT ITER 1141 NEW BEST:: SOT 651623 SOS 452435 HAS SOPS 447176 HAS SOUS 157371 HAS SOUPS 156391 WITH SCORE 156843.435
AT ITER 1144 NEW BEST:: SOT 651607 SOS 452419 HAS SOPS 447160 HAS SOUS 157263 HAS SOUPS 156283 WITH SCORE 156735.419
AT ITER 1146 NEW BEST:: SOT 651517 SOS 452366 HAS SOPS 447107 HAS SOUS 157196 HAS SOUPS 156216 WITH SCORE 156668.366
AT ITER 1151 NEW BEST:: SOT 623530 SOS 424426 HAS SOPS 419167 HAS SOUS 148211 HAS SOUPS 147231 WITH SCORE 147655.426
AT ITER 1153 NEW BEST:: SOT 623533 SOS 424429 HAS SOPS 419170 HAS SOUS 148176 HAS SOUPS 147196 WITH SCORE 147620.429
AT ITER 1185 NEW BEST:: SOT 623431 SOS 424327 HAS SOPS 419068 HAS SOUS 148074 HAS SOUPS 147094 WITH SCORE 147518.327
AT ITER 1189 NEW BEST:: SOT 623339 SOS 424270 HAS SOPS 419011 HAS SOUS 148017 HAS SOUPS 147037 WITH SCORE 147461.27
AT ITER 1190 NEW BEST:: SOT 622921 SOS 423834 HAS SOPS 418575 HAS SOUS 147527 HAS SOUPS 146547 WITH SCORE 146970.834
AT ITER 1193 NEW BEST:: SOT 622903 SOS 423816 HAS SOPS 418557 HAS SOUS 147511 HAS SOUPS 146531 WITH SCORE 146954.816
AT ITER 1196 NEW BEST:: SOT 622851 SOS 423764 HAS SOPS 418505 HAS SOUS 147379 HAS SOUPS 146399 WITH SCORE 146822.764
AT ITER 1199 NEW BEST:: SOT 622774 SOS 423678 HAS SOPS 418598 HAS SOUS 147261 HAS SOUPS 146281 WITH SCORE 146704.678
AT ITER 1201 NEW BEST:: SOT 622389 SOS 423371 HAS SOPS 418291 HAS SOUS 146923 HAS SOUPS 145943 WITH SCORE 146366.371
AT ITER 1202 NEW BEST:: SOT 622373 SOS 423355 HAS SOPS 418275 HAS SOUS 146902 HAS SOUPS 145922 WITH SCORE 146345.355
AT ITER 1204 NEW BEST:: SOT 622299 SOS 423276 HAS SOPS 418149 HAS SOUS 146709 HAS SOUPS 145729 WITH SCORE 146152.276
AT ITER 1212 NEW BEST:: SOT 622254 SOS 423126 HAS SOPS 417999 HAS SOUS 146619 HAS SOUPS 145639 WITH SCORE 146062.126
AT ITER 1218 NEW BEST:: SOT 622288 SOS 423252 HAS SOPS 418125 HAS SOUS 146561 HAS SOUPS 145581 WITH SCORE 146004.252
AT ITER 1221 NEW BEST:: SOT 622307 SOS 423283 HAS SOPS 418156 HAS SOUS 146546 HAS SOUPS 145566 WITH SCORE 145989.283
AT ITER 1232 NEW BEST:: SOT 622231 SOS 423283 HAS SOPS 418156 HAS SOUS 146394 HAS SOUPS 145414 WITH SCORE 145837.283
AT ITER 1233 NEW BEST:: SOT 622198 SOS 423158 HAS SOPS 418031 HAS SOUS 146387 HAS SOUPS 145407 WITH SCORE 145830.158
AT ITER 1243 NEW BEST:: SOT 622187 SOS 423147 HAS SOPS 418020 HAS SOUS 146383 HAS SOUPS 145403 WITH SCORE 145826.147
AT ITER 1245 NEW BEST:: SOT 622153 SOS 422849 HAS SOPS 417934 HAS SOUS 146337 HAS SOUPS 145357 WITH SCORE 145779.849
AT ITER 1258 NEW BEST:: SOT 622097 SOS 422737 HAS SOPS 417822 HAS SOUS 146225 HAS SOUPS 145245 WITH SCORE 145667.737
AT ITER 1269 NEW BEST:: SOT 622131 SOS 422363 HAS SOPS 417480 HAS SOUS 146131 HAS SOUPS 145151 WITH SCORE 145573.363
AT ITER 1272 NEW BEST:: SOT 622118 SOS 422337 HAS SOPS 417467 HAS SOUS 146131 HAS SOUPS 145151 WITH SCORE 145573.337
AT ITER 1278 NEW BEST:: SOT 622107 SOS 422404 HAS SOPS 417534 HAS SOUS 146100 HAS SOUPS 145120 WITH SCORE 145542.404
AT ITER 1282 NEW BEST:: SOT 622044 SOS 422338 HAS SOPS 417468 HAS SOUS 146037 HAS SOUPS 145057 WITH SCORE 145479.338
AT ITER 1312 NEW BEST:: SOT 621631 SOS 421925 HAS SOPS 417031 HAS SOUS 145912 HAS SOUPS 144932 WITH SCORE 145353.925
AT ITER 1314 NEW BEST:: SOT 621544 SOS 421838 HAS SOPS 416944 HAS SOUS 145738 HAS SOUPS 144758 WITH SCORE 145179.838
AT ITER 1321 NEW BEST:: SOT 621328 SOS 421930 HAS SOPS 417036 HAS SOUS 145474 HAS SOUPS 144494 WITH SCORE 144915.93
AT ITER 1326 NEW BEST:: SOT 621222 SOS 421824 HAS SOPS 416930 HAS SOUS 145246 HAS SOUPS 144266 WITH SCORE 144687.824
AT ITER 1343 NEW BEST:: SOT 620975 SOS 421651 HAS SOPS 416848 HAS SOUS 145049 HAS SOUPS 144069 WITH SCORE 144490.651
AT ITER 1354 NEW BEST:: SOT 620745 SOS 421421 HAS SOPS 416618 HAS SOUS 144735 HAS SOUPS 143755 WITH SCORE 144176.421
AT ITER 1365 NEW BEST:: SOT 620717 SOS 421393 HAS SOPS 416590 HAS SOUS 144698 HAS SOUPS 143718 WITH SCORE 144139.393
AT ITER 1375 NEW BEST:: SOT 620701 SOS 421281 HAS SOPS 416478 HAS SOUS 144424 HAS SOUPS 143444 WITH SCORE 143865.281
AT ITER 1380 NEW BEST:: SOT 620752 SOS 421554 HAS SOPS 416585 HAS SOUS 144378 HAS SOUPS 143398 WITH SCORE 143819.554
AT ITER 1393 NEW BEST:: SOT 620712 SOS 421514 HAS SOPS 416461 HAS SOUS 144130 HAS SOUPS 143150 WITH SCORE 143571.514
AT ITER 1406 NEW BEST:: SOT 620556 SOS 421292 HAS SOPS 416239 HAS SOUS 143766 HAS SOUPS 142786 WITH SCORE 143207.292
AT ITER 1419 NEW BEST:: SOT 620471 SOS 420835 HAS SOPS 416220 HAS SOUS 143679 HAS SOUPS 142772 WITH SCORE 143192.835
AT ITER 1435 NEW BEST:: SOT 620427 SOS 420776 HAS SOPS 416161 HAS SOUS 143653 HAS SOUPS 142746 WITH SCORE 143166.776
AT ITER 1439 NEW BEST:: SOT 620313 SOS 421555 HAS SOPS 416940 HAS SOUS 143623 HAS SOUPS 142716 WITH SCORE 143137.555
AT ITER 1444 NEW BEST:: SOT 620313 SOS 422711 HAS SOPS 418096 HAS SOUS 143601 HAS SOUPS 142694 WITH SCORE 143116.711
AT ITER 1449 NEW BEST:: SOT 620297 SOS 422695 HAS SOPS 418080 HAS SOUS 143580 HAS SOUPS 142673 WITH SCORE 143095.695
AT ITER 1451 NEW BEST:: SOT 620273 SOS 422671 HAS SOPS 418056 HAS SOUS 143371 HAS SOUPS 142464 WITH SCORE 142886.671
AT ITER 1468 NEW BEST:: SOT 620268 SOS 422666 HAS SOPS 418056 HAS SOUS 143371 HAS SOUPS 142464 WITH SCORE 142886.666
AT ITER 1478 NEW BEST:: SOT 620268 SOS 422501 HAS SOPS 417891 HAS SOUS 143371 HAS SOUPS 142464 WITH SCORE 142886.501
AT ITER 1506 NEW BEST:: SOT 620217 SOS 422383 HAS SOPS 417773 HAS SOUS 143283 HAS SOUPS 142376 WITH SCORE 142798.383
AT ITER 1518 NEW BEST:: SOT 620214 SOS 422380 HAS SOPS 417770 HAS SOUS 143283 HAS SOUPS 142376 WITH SCORE 142798.38
AT ITER 1521 NEW BEST:: SOT 620214 SOS 422593 HAS SOPS 417983 HAS SOUS 142965 HAS SOUPS 142058 WITH SCORE 142480.593
AT ITER 1531 NEW BEST:: SOT 620177 SOS 422623 HAS SOPS 418013 HAS SOUS 142955 HAS SOUPS 142048 WITH SCORE 142470.623
AT ITER 1551 NEW BEST:: SOT 620134 SOS 422580 HAS SOPS 417970 HAS SOUS 142820 HAS SOUPS 141913 WITH SCORE 142335.58
AT ITER 1559 NEW BEST:: SOT 620134 SOS 422580 HAS SOPS 417907 HAS SOUS 142820 HAS SOUPS 141850 WITH SCORE 142272.58
AT ITER 1561 NEW BEST:: SOT 620102 SOS 422548 HAS SOPS 417875 HAS SOUS 142692 HAS SOUPS 141722 WITH SCORE 142144.548
AT ITER 1583 NEW BEST:: SOT 620094 SOS 422540 HAS SOPS 417867 HAS SOUS 142684 HAS SOUPS 141714 WITH SCORE 142136.54
AT ITER 1587 NEW BEST:: SOT 619999 SOS 422435 HAS SOPS 417762 HAS SOUS 142579 HAS SOUPS 141609 WITH SCORE 142031.435
AT ITER 1595 NEW BEST:: SOT 619926 SOS 422128 HAS SOPS 417455 HAS SOUS 142433 HAS SOUPS 141463 WITH SCORE 141885.128
AT ITER 1596 NEW BEST:: SOT 619932 SOS 422134 HAS SOPS 417461 HAS SOUS 142190 HAS SOUPS 141220 WITH SCORE 141642.134
AT ITER 1604 NEW BEST:: SOT 619930 SOS 422132 HAS SOPS 417459 HAS SOUS 142188 HAS SOUPS 141218 WITH SCORE 141640.132
AT ITER 1622 NEW BEST:: SOT 619920 SOS 422142 HAS SOPS 417469 HAS SOUS 142172 HAS SOUPS 141202 WITH SCORE 141624.142
AT ITER 1623 NEW BEST:: SOT 619714 SOS 421936 HAS SOPS 417263 HAS SOUS 141979 HAS SOUPS 141009 WITH SCORE 141430.936
AT ITER 1638 NEW BEST:: SOT 619546 SOS 421768 HAS SOPS 417095 HAS SOUS 141808 HAS SOUPS 140838 WITH SCORE 141259.768
AT ITER 1640 NEW BEST:: SOT 619478 SOS 421661 HAS SOPS 417027 HAS SOUS 141733 HAS SOUPS 140770 WITH SCORE 141191.661
AT ITER 1648 NEW BEST:: SOT 588238 SOS 390777 HAS SOPS 386143 HAS SOUS 132030 HAS SOUPS 131067 WITH SCORE 131457.777
AT ITER 1662 NEW BEST:: SOT 588033 SOS 390593 HAS SOPS 385959 HAS SOUS 131910 HAS SOUPS 130947 WITH SCORE 131337.593
AT ITER 1693 NEW BEST:: SOT 588035 SOS 390595 HAS SOPS 385961 HAS SOUS 131908 HAS SOUPS 130945 WITH SCORE 131335.595
AT ITER 1695 NEW BEST:: SOT 587971 SOS 390531 HAS SOPS 385897 HAS SOUS 131763 HAS SOUPS 130800 WITH SCORE 131190.531
AT ITER 1696 NEW BEST:: SOT 512537 SOS 315447 HAS SOPS 310813 HAS SOUS 121055 HAS SOUPS 120092 WITH SCORE 120407.447
AT ITER 1701 NEW BEST:: SOT 512467 SOS 315377 HAS SOPS 310757 HAS SOUS 120915 HAS SOUPS 119952 WITH SCORE 120267.377
AT ITER 1712 NEW BEST:: SOT 512461 SOS 315371 HAS SOPS 310751 HAS SOUS 120909 HAS SOUPS 119946 WITH SCORE 120261.371
AT ITER 1718 NEW BEST:: SOT 512467 SOS 315646 HAS SOPS 311010 HAS SOUS 120888 HAS SOUPS 119925 WITH SCORE 120240.646
AT ITER 1725 NEW BEST:: SOT 512481 SOS 315635 HAS SOPS 310999 HAS SOUS 120877 HAS SOUPS 119914 WITH SCORE 120229.635
AT ITER 1729 NEW BEST:: SOT 512380 SOS 315534 HAS SOPS 310898 HAS SOUS 120681 HAS SOUPS 119718 WITH SCORE 120033.534
AT ITER 1731 NEW BEST:: SOT 512249 SOS 315417 HAS SOPS 310781 HAS SOUS 120639 HAS SOUPS 119676 WITH SCORE 119991.417
AT ITER 1735 NEW BEST:: SOT 512145 SOS 315313 HAS SOPS 310677 HAS SOUS 120543 HAS SOUPS 119580 WITH SCORE 119895.313
AT ITER 1756 NEW BEST:: SOT 512130 SOS 314571 HAS SOPS 309938 HAS SOUS 120491 HAS SOUPS 119528 WITH SCORE 119842.571
AT ITER 1788 NEW BEST:: SOT 511255 SOS 314810 HAS SOPS 310177 HAS SOUS 119952 HAS SOUPS 118989 WITH SCORE 119303.81
AT ITER 1792 NEW BEST:: SOT 511251 SOS 314806 HAS SOPS 310173 HAS SOUS 119952 HAS SOUPS 118989 WITH SCORE 119303.806
AT ITER 1806 NEW BEST:: SOT 511259 SOS 314775 HAS SOPS 310101 HAS SOUS 119919 HAS SOUPS 118956 WITH SCORE 119270.775
AT ITER 1809 NEW BEST:: SOT 511259 SOS 314772 HAS SOPS 310098 HAS SOUS 119919 HAS SOUPS 118956 WITH SCORE 119270.772
AT ITER 1819 NEW BEST:: SOT 511194 SOS 314666 HAS SOPS 310033 HAS SOUS 119871 HAS SOUPS 118908 WITH SCORE 119222.666
AT ITER 1840 NEW BEST:: SOT 511051 SOS 314477 HAS SOPS 309844 HAS SOUS 119650 HAS SOUPS 118687 WITH SCORE 119001.477
AT ITER 1845 NEW BEST:: SOT 511018 SOS 314324 HAS SOPS 309691 HAS SOUS 119601 HAS SOUPS 118638 WITH SCORE 118952.324
AT ITER 1858 NEW BEST:: SOT 511018 SOS 314393 HAS SOPS 309760 HAS SOUS 119497 HAS SOUPS 118534 WITH SCORE 118848.393
AT ITER 1865 NEW BEST:: SOT 511012 SOS 314356 HAS SOPS 309723 HAS SOUS 119485 HAS SOUPS 118522 WITH SCORE 118836.356
AT ITER 1868 NEW BEST:: SOT 510966 SOS 314310 HAS SOPS 309677 HAS SOUS 119416 HAS SOUPS 118453 WITH SCORE 118767.31
AT ITER 1887 NEW BEST:: SOT 510911 SOS 314001 HAS SOPS 309368 HAS SOUS 119306 HAS SOUPS 118343 WITH SCORE 118657.001
AT ITER 1894 NEW BEST:: SOT 510831 SOS 313998 HAS SOPS 309365 HAS SOUS 119075 HAS SOUPS 118112 WITH SCORE 118425.998
AT ITER 1900 NEW BEST:: SOT 510717 SOS 313770 HAS SOPS 309137 HAS SOUS 118847 HAS SOUPS 117884 WITH SCORE 118197.77
AT ITER 1904 NEW BEST:: SOT 510591 SOS 310599 HAS SOPS 305966 HAS SOUS 117949 HAS SOUPS 116986 WITH SCORE 117296.599
AT ITER 1910 NEW BEST:: SOT 510566 SOS 310574 HAS SOPS 305941 HAS SOUS 117899 HAS SOUPS 116936 WITH SCORE 117246.574
AT ITER 1916 NEW BEST:: SOT 510548 SOS 310556 HAS SOPS 305905 HAS SOUS 117887 HAS SOUPS 116914 WITH SCORE 117224.556
AT ITER 1935 NEW BEST:: SOT 510568 SOS 310576 HAS SOPS 305925 HAS SOUS 117835 HAS SOUPS 116862 WITH SCORE 117172.576
AT ITER 1949 NEW BEST:: SOT 483996 SOS 291915 HAS SOPS 287264 HAS SOUS 109208 HAS SOUPS 108235 WITH SCORE 108526.915
AT ITER 1954 NEW BEST:: SOT 483749 SOS 290397 HAS SOPS 285746 HAS SOUS 108870 HAS SOUPS 107897 WITH SCORE 108187.397
AT ITER 1956 NEW BEST:: SOT 483599 SOS 290289 HAS SOPS 285638 HAS SOUS 108718 HAS SOUPS 107745 WITH SCORE 108035.289
AT ITER 1958 NEW BEST:: SOT 483569 SOS 290021 HAS SOPS 285370 HAS SOUS 108697 HAS SOUPS 107724 WITH SCORE 108014.021
AT ITER 1971 NEW BEST:: SOT 483561 SOS 290013 HAS SOPS 285306 HAS SOUS 108619 HAS SOUPS 107646 WITH SCORE 107936.013
AT ITER 1982 NEW BEST:: SOT 483489 SOS 289941 HAS SOPS 285234 HAS SOUS 108436 HAS SOUPS 107463 WITH SCORE 107752.941
AT ITER 2000 NEW BEST:: SOT 483460 SOS 289902 HAS SOPS 285195 HAS SOUS 108417 HAS SOUPS 107444 WITH SCORE 107733.902
AT ITER 2004 NEW BEST:: SOT 483456 SOS 289898 HAS SOPS 285191 HAS SOUS 108405 HAS SOUPS 107432 WITH SCORE 107721.898
AT ITER 2031 NEW BEST:: SOT 482927 SOS 289401 HAS SOPS 284694 HAS SOUS 107909 HAS SOUPS 106936 WITH SCORE 107225.401
AT ITER 2037 NEW BEST:: SOT 482924 SOS 289392 HAS SOPS 284685 HAS SOUS 107903 HAS SOUPS 106930 WITH SCORE 107219.392
AT ITER 2039 NEW BEST:: SOT 482895 SOS 289489 HAS SOPS 284782 HAS SOUS 107863 HAS SOUPS 106890 WITH SCORE 107179.489
AT ITER 2043 NEW BEST:: SOT 482719 SOS 289399 HAS SOPS 284837 HAS SOUS 107818 HAS SOUPS 106845 WITH SCORE 107134.399
AT ITER 2063 NEW BEST:: SOT 482537 SOS 289217 HAS SOPS 284655 HAS SOUS 107693 HAS SOUPS 106720 WITH SCORE 107009.217
AT ITER 2067 NEW BEST:: SOT 482262 SOS 288435 HAS SOPS 283953 HAS SOUS 107492 HAS SOUPS 106519 WITH SCORE 106807.435
AT ITER 2072 NEW BEST:: SOT 482269 SOS 287971 HAS SOPS 283489 HAS SOUS 107364 HAS SOUPS 106391 WITH SCORE 106678.971
AT ITER 2074 NEW BEST:: SOT 482215 SOS 287917 HAS SOPS 283435 HAS SOUS 107295 HAS SOUPS 106322 WITH SCORE 106609.917
AT ITER 2116 NEW BEST:: SOT 482170 SOS 287872 HAS SOPS 283390 HAS SOUS 107290 HAS SOUPS 106317 WITH SCORE 106604.872
AT ITER 2133 NEW BEST:: SOT 481999 SOS 287619 HAS SOPS 283151 HAS SOUS 107133 HAS SOUPS 106160 WITH SCORE 106447.619
AT ITER 2138 NEW BEST:: SOT 481817 SOS 287397 HAS SOPS 282929 HAS SOUS 107036 HAS SOUPS 106063 WITH SCORE 106350.397
AT ITER 2169 NEW BEST:: SOT 482033 SOS 288029 HAS SOPS 283485 HAS SOUS 106974 HAS SOUPS 106001 WITH SCORE 106289.029
AT ITER 2178 NEW BEST:: SOT 482044 SOS 288040 HAS SOPS 283496 HAS SOUS 106969 HAS SOUPS 105996 WITH SCORE 106284.04
AT ITER 2201 NEW BEST:: SOT 481976 SOS 287904 HAS SOPS 283360 HAS SOUS 106906 HAS SOUPS 105933 WITH SCORE 106220.904
AT ITER 2205 NEW BEST:: SOT 481865 SOS 286761 HAS SOPS 282217 HAS SOUS 105694 HAS SOUPS 104721 WITH SCORE 105007.761
AT ITER 2207 NEW BEST:: SOT 481663 SOS 285617 HAS SOPS 281186 HAS SOUS 105674 HAS SOUPS 104701 WITH SCORE 104986.617
AT ITER 2228 NEW BEST:: SOT 481648 SOS 284696 HAS SOPS 280265 HAS SOUS 105659 HAS SOUPS 104686 WITH SCORE 104970.696
AT ITER 2232 NEW BEST:: SOT 481571 SOS 284481 HAS SOPS 280050 HAS SOUS 105597 HAS SOUPS 104624 WITH SCORE 104908.481
AT ITER 2244 NEW BEST:: SOT 481564 SOS 284474 HAS SOPS 280043 HAS SOUS 105597 HAS SOUPS 104624 WITH SCORE 104908.474
AT ITER 2248 NEW BEST:: SOT 481547 SOS 284418 HAS SOPS 279987 HAS SOUS 105589 HAS SOUPS 104616 WITH SCORE 104900.418
AT ITER 2263 NEW BEST:: SOT 481548 SOS 284412 HAS SOPS 279981 HAS SOUS 105589 HAS SOUPS 104616 WITH SCORE 104900.412
AT ITER 2294 NEW BEST:: SOT 481663 SOS 284572 HAS SOPS 280134 HAS SOUS 105573 HAS SOUPS 104600 WITH SCORE 104884.572
AT ITER 2300 NEW BEST:: SOT 481582 SOS 284491 HAS SOPS 280053 HAS SOUS 105488 HAS SOUPS 104515 WITH SCORE 104799.491
AT ITER 2303 NEW BEST:: SOT 481324 SOS 284359 HAS SOPS 279921 HAS SOUS 105349 HAS SOUPS 104376 WITH SCORE 104660.359
AT ITER 2331 NEW BEST:: SOT 481301 SOS 284313 HAS SOPS 279875 HAS SOUS 105303 HAS SOUPS 104330 WITH SCORE 104614.313
AT ITER 2379 NEW BEST:: SOT 481142 SOS 284235 HAS SOPS 279797 HAS SOUS 105255 HAS SOUPS 104282 WITH SCORE 104566.235
AT ITER 2418 NEW BEST:: SOT 481128 SOS 284221 HAS SOPS 279783 HAS SOUS 105237 HAS SOUPS 104264 WITH SCORE 104548.221
AT ITER 2424 NEW BEST:: SOT 481129 SOS 284221 HAS SOPS 279783 HAS SOUS 105235 HAS SOUPS 104262 WITH SCORE 104546.221
AT ITER 2427 NEW BEST:: SOT 481081 SOS 284118 HAS SOPS 279680 HAS SOUS 105183 HAS SOUPS 104210 WITH SCORE 104494.118
AT ITER 2433 NEW BEST:: SOT 480995 SOS 284158 HAS SOPS 279720 HAS SOUS 105113 HAS SOUPS 104140 WITH SCORE 104424.158
AT ITER 2436 NEW BEST:: SOT 480825 SOS 283988 HAS SOPS 279550 HAS SOUS 104882 HAS SOUPS 103909 WITH SCORE 104192.988
AT ITER 2440 NEW BEST:: SOT 480822 SOS 283976 HAS SOPS 279541 HAS SOUS 104882 HAS SOUPS 103909 WITH SCORE 104192.976
AT ITER 2443 NEW BEST:: SOT 480791 SOS 283852 HAS SOPS 279417 HAS SOUS 104820 HAS SOUPS 103847 WITH SCORE 104130.852
AT ITER 2455 NEW BEST:: SOT 480722 SOS 283783 HAS SOPS 279348 HAS SOUS 104751 HAS SOUPS 103778 WITH SCORE 104061.783
AT ITER 2456 NEW BEST:: SOT 480683 SOS 283744 HAS SOPS 279309 HAS SOUS 104712 HAS SOUPS 103739 WITH SCORE 104022.744
AT ITER 2473 NEW BEST:: SOT 480639 SOS 283678 HAS SOPS 279243 HAS SOUS 104637 HAS SOUPS 103664 WITH SCORE 103947.678
AT ITER 2481 NEW BEST:: SOT 480516 SOS 283693 HAS SOPS 279258 HAS SOUS 104497 HAS SOUPS 103524 WITH SCORE 103807.693
AT ITER 2493 NEW BEST:: SOT 480523 SOS 283693 HAS SOPS 279272 HAS SOUS 104455 HAS SOUPS 103496 WITH SCORE 103779.693
AT ITER 2517 NEW BEST:: SOT 480315 SOS 283398 HAS SOPS 279101 HAS SOUS 104411 HAS SOUPS 103452 WITH SCORE 103735.398
AT ITER 2518 NEW BEST:: SOT 480283 SOS 283366 HAS SOPS 279069 HAS SOUS 104363 HAS SOUPS 103404 WITH SCORE 103687.366
AT ITER 2522 NEW BEST:: SOT 480227 SOS 283098 HAS SOPS 278801 HAS SOUS 104315 HAS SOUPS 103356 WITH SCORE 103639.098
AT ITER 2541 NEW BEST:: SOT 480143 SOS 283015 HAS SOPS 278718 HAS SOUS 104215 HAS SOUPS 103256 WITH SCORE 103539.015
AT ITER 2551 NEW BEST:: SOT 480120 SOS 282957 HAS SOPS 278683 HAS SOUS 104189 HAS SOUPS 103230 WITH SCORE 103512.957
AT ITER 2568 NEW BEST:: SOT 480120 SOS 282941 HAS SOPS 278667 HAS SOUS 104177 HAS SOUPS 103218 WITH SCORE 103500.941
AT ITER 2584 NEW BEST:: SOT 480082 SOS 282903 HAS SOPS 278629 HAS SOUS 104139 HAS SOUPS 103180 WITH SCORE 103462.903
AT ITER 2589 NEW BEST:: SOT 480076 SOS 282897 HAS SOPS 278623 HAS SOUS 104133 HAS SOUPS 103174 WITH SCORE 103456.897
AT ITER 2607 NEW BEST:: SOT 480192 SOS 282862 HAS SOPS 278588 HAS SOUS 104041 HAS SOUPS 103082 WITH SCORE 103364.862
AT ITER 2616 NEW BEST:: SOT 479977 SOS 282740 HAS SOPS 278466 HAS SOUS 104003 HAS SOUPS 103044 WITH SCORE 103326.74
AT ITER 2619 NEW BEST:: SOT 472375 SOS 275104 HAS SOPS 270830 HAS SOUS 102657 HAS SOUPS 101698 WITH SCORE 101973.104
AT ITER 2633 NEW BEST:: SOT 472375 SOS 275088 HAS SOPS 270814 HAS SOUS 102649 HAS SOUPS 101690 WITH SCORE 101965.088
AT ITER 2638 NEW BEST:: SOT 472421 SOS 275134 HAS SOPS 270802 HAS SOUS 102544 HAS SOUPS 101585 WITH SCORE 101860.134
AT ITER 2649 NEW BEST:: SOT 472461 SOS 275125 HAS SOPS 270793 HAS SOUS 102520 HAS SOUPS 101561 WITH SCORE 101836.125
AT ITER 2663 NEW BEST:: SOT 472454 SOS 275162 HAS SOPS 270830 HAS SOUS 102493 HAS SOUPS 101534 WITH SCORE 101809.162
AT ITER 2666 NEW BEST:: SOT 448163 SOS 250871 HAS SOPS 246539 HAS SOUS 98230 HAS SOUPS 97271 WITH SCORE 97521.871
AT ITER 2671 NEW BEST:: SOT 448159 SOS 250867 HAS SOPS 246535 HAS SOUS 98230 HAS SOUPS 97271 WITH SCORE 97521.867
AT ITER 2676 NEW BEST:: SOT 448130 SOS 250931 HAS SOPS 246508 HAS SOUS 98132 HAS SOUPS 97151 WITH SCORE 97401.931
AT ITER 2686 NEW BEST:: SOT 448112 SOS 250823 HAS SOPS 246400 HAS SOUS 98114 HAS SOUPS 97133 WITH SCORE 97383.823
AT ITER 2688 NEW BEST:: SOT 447985 SOS 250696 HAS SOPS 246273 HAS SOUS 97987 HAS SOUPS 97006 WITH SCORE 97256.696
AT ITER 2693 NEW BEST:: SOT 447969 SOS 250680 HAS SOPS 246265 HAS SOUS 97971 HAS SOUPS 96990 WITH SCORE 97240.68
AT ITER 2718 NEW BEST:: SOT 448122 SOS 250744 HAS SOPS 246329 HAS SOUS 97903 HAS SOUPS 96922 WITH SCORE 97172.744
AT ITER 2728 NEW BEST:: SOT 448067 SOS 250662 HAS SOPS 246284 HAS SOUS 97867 HAS SOUPS 96886 WITH SCORE 97136.662
AT ITER 2729 NEW BEST:: SOT 448067 SOS 250662 HAS SOPS 246284 HAS SOUS 97863 HAS SOUPS 96882 WITH SCORE 97132.662
AT ITER 2766 NEW BEST:: SOT 447874 SOS 250469 HAS SOPS 246091 HAS SOUS 97473 HAS SOUPS 96492 WITH SCORE 96742.469
AT ITER 2775 NEW BEST:: SOT 447774 SOS 250369 HAS SOPS 245991 HAS SOUS 97447 HAS SOUPS 96466 WITH SCORE 96716.369
AT ITER 2790 NEW BEST:: SOT 447769 SOS 250360 HAS SOPS 245987 HAS SOUS 97447 HAS SOUPS 96466 WITH SCORE 96716.36
AT ITER 2796 NEW BEST:: SOT 447784 SOS 250375 HAS SOPS 246002 HAS SOUS 97444 HAS SOUPS 96463 WITH SCORE 96713.375
AT ITER 2798 NEW BEST:: SOT 447778 SOS 250369 HAS SOPS 245996 HAS SOUS 97437 HAS SOUPS 96456 WITH SCORE 96706.369
AT ITER 2799 NEW BEST:: SOT 447748 SOS 250297 HAS SOPS 245939 HAS SOUS 97408 HAS SOUPS 96427 WITH SCORE 96677.297
AT ITER 2813 NEW BEST:: SOT 447707 SOS 250122 HAS SOPS 245800 HAS SOUS 97403 HAS SOUPS 96422 WITH SCORE 96672.122
AT ITER 2842 NEW BEST:: SOT 447705 SOS 250148 HAS SOPS 245807 HAS SOUS 97400 HAS SOUPS 96419 WITH SCORE 96669.148
AT ITER 2902 NEW BEST:: SOT 447574 SOS 250017 HAS SOPS 245761 HAS SOUS 97400 HAS SOUPS 96419 WITH SCORE 96669.017
AT ITER 2905 NEW BEST:: SOT 447562 SOS 250050 HAS SOPS 245749 HAS SOUS 97376 HAS SOUPS 96380 WITH SCORE 96630.05
AT ITER 2908 NEW BEST:: SOT 447602 SOS 250414 HAS SOPS 246077 HAS SOUS 97370 HAS SOUPS 96374 WITH SCORE 96624.414
AT ITER 2912 NEW BEST:: SOT 447518 SOS 250180 HAS SOPS 245921 HAS SOUS 97297 HAS SOUPS 96311 WITH SCORE 96561.18
AT ITER 2917 NEW BEST:: SOT 447498 SOS 250167 HAS SOPS 245908 HAS SOUS 97293 HAS SOUPS 96307 WITH SCORE 96557.167
AT ITER 2941 NEW BEST:: SOT 447426 SOS 250095 HAS SOPS 245836 HAS SOUS 97221 HAS SOUPS 96235 WITH SCORE 96485.095
AT ITER 2948 NEW BEST:: SOT 447418 SOS 250087 HAS SOPS 245828 HAS SOUS 97215 HAS SOUPS 96229 WITH SCORE 96479.087
AT ITER 2949 NEW BEST:: SOT 447398 SOS 250067 HAS SOPS 245808 HAS SOUS 97195 HAS SOUPS 96209 WITH SCORE 96459.067
AT ITER 2951 NEW BEST:: SOT 447393 SOS 250062 HAS SOPS 245803 HAS SOUS 97195 HAS SOUPS 96209 WITH SCORE 96459.062
AT ITER 2952 NEW BEST:: SOT 447202 SOS 249877 HAS SOPS 245618 HAS SOUS 97031 HAS SOUPS 96045 WITH SCORE 96294.877
AT ITER 2980 NEW BEST:: SOT 447148 SOS 249922 HAS SOPS 245663 HAS SOUS 97023 HAS SOUPS 96037 WITH SCORE 96286.922
AT ITER 2985 NEW BEST:: SOT 447159 SOS 249933 HAS SOPS 245687 HAS SOUS 96996 HAS SOUPS 96017 WITH SCORE 96266.933
AT ITER 2987 NEW BEST:: SOT 447159 SOS 249912 HAS SOPS 245666 HAS SOUS 96975 HAS SOUPS 95996 WITH SCORE 96245.912
AT ITER 2996 NEW BEST:: SOT 447159 SOS 249859 HAS SOPS 245632 HAS SOUS 96963 HAS SOUPS 95984 WITH SCORE 96233.859
AT ITER 3025 NEW BEST:: SOT 447275 SOS 249643 HAS SOPS 245416 HAS SOUS 96804 HAS SOUPS 95825 WITH SCORE 96074.643
AT ITER 3026 NEW BEST:: SOT 447090 SOS 249444 HAS SOPS 245238 HAS SOUS 96702 HAS SOUPS 95723 WITH SCORE 95972.444
AT ITER 3035 NEW BEST:: SOT 447077 SOS 249413 HAS SOPS 245207 HAS SOUS 96688 HAS SOUPS 95709 WITH SCORE 95958.413
AT ITER 3052 NEW BEST:: SOT 447077 SOS 249369 HAS SOPS 245163 HAS SOUS 96669 HAS SOUPS 95690 WITH SCORE 95939.369
AT ITER 3068 NEW BEST:: SOT 447040 SOS 249332 HAS SOPS 245126 HAS SOUS 96632 HAS SOUPS 95653 WITH SCORE 95902.332
AT ITER 3075 NEW BEST:: SOT 447035 SOS 249327 HAS SOPS 245121 HAS SOUS 96627 HAS SOUPS 95648 WITH SCORE 95897.327
AT ITER 3097 NEW BEST:: SOT 447024 SOS 249283 HAS SOPS 245088 HAS SOUS 96627 HAS SOUPS 95648 WITH SCORE 95897.283
AT ITER 3098 NEW BEST:: SOT 447067 SOS 249552 HAS SOPS 245373 HAS SOUS 96626 HAS SOUPS 95647 WITH SCORE 95896.552
AT ITER 3150 NEW BEST:: SOT 447006 SOS 249491 HAS SOPS 245312 HAS SOUS 96537 HAS SOUPS 95558 WITH SCORE 95807.491
AT ITER 3170 NEW BEST:: SOT 447024 SOS 249509 HAS SOPS 245330 HAS SOUS 96519 HAS SOUPS 95540 WITH SCORE 95789.509
AT ITER 3189 NEW BEST:: SOT 447008 SOS 249489 HAS SOPS 245310 HAS SOUS 96499 HAS SOUPS 95520 WITH SCORE 95769.489
AT ITER 3194 NEW BEST:: SOT 447002 SOS 249483 HAS SOPS 245304 HAS SOUS 96499 HAS SOUPS 95520 WITH SCORE 95769.483
AT ITER 3196 NEW BEST:: SOT 447002 SOS 249498 HAS SOPS 245271 HAS SOUS 96403 HAS SOUPS 95416 WITH SCORE 95665.498
AT ITER 3198 NEW BEST:: SOT 446978 SOS 249474 HAS SOPS 245247 HAS SOUS 96371 HAS SOUPS 95384 WITH SCORE 95633.474
AT ITER 3200 NEW BEST:: SOT 446962 SOS 249458 HAS SOPS 245231 HAS SOUS 96347 HAS SOUPS 95360 WITH SCORE 95609.458
AT ITER 3206 NEW BEST:: SOT 446886 SOS 248400 HAS SOPS 244173 HAS SOUS 96220 HAS SOUPS 95233 WITH SCORE 95481.4
AT ITER 3244 NEW BEST:: SOT 446870 SOS 248384 HAS SOPS 244157 HAS SOUS 96188 HAS SOUPS 95201 WITH SCORE 95449.384
AT ITER 3250 NEW BEST:: SOT 446960 SOS 248492 HAS SOPS 244265 HAS SOUS 96116 HAS SOUPS 95129 WITH SCORE 95377.492
AT ITER 3253 NEW BEST:: SOT 446960 SOS 248458 HAS SOPS 244231 HAS SOUS 96098 HAS SOUPS 95111 WITH SCORE 95359.458
AT ITER 3261 NEW BEST:: SOT 446960 SOS 248451 HAS SOPS 244224 HAS SOUS 96098 HAS SOUPS 95111 WITH SCORE 95359.451
AT ITER 3264 NEW BEST:: SOT 446960 SOS 248429 HAS SOPS 244202 HAS SOUS 96094 HAS SOUPS 95107 WITH SCORE 95355.429
AT ITER 3270 NEW BEST:: SOT 446938 SOS 247876 HAS SOPS 243649 HAS SOUS 96073 HAS SOUPS 95086 WITH SCORE 95333.876
AT ITER 3285 NEW BEST:: SOT 446936 SOS 247874 HAS SOPS 243647 HAS SOUS 96069 HAS SOUPS 95082 WITH SCORE 95329.874
AT ITER 3307 NEW BEST:: SOT 446921 SOS 248459 HAS SOPS 244232 HAS SOUS 95924 HAS SOUPS 94937 WITH SCORE 95185.459
AT ITER 3315 NEW BEST:: SOT 446924 SOS 248470 HAS SOPS 244239 HAS SOUS 95922 HAS SOUPS 94935 WITH SCORE 95183.47
AT ITER 3362 NEW BEST:: SOT 446927 SOS 248473 HAS SOPS 244239 HAS SOUS 95919 HAS SOUPS 94932 WITH SCORE 95180.473
AT ITER 3364 NEW BEST:: SOT 446895 SOS 248393 HAS SOPS 244159 HAS SOUS 95887 HAS SOUPS 94900 WITH SCORE 95148.393
AT ITER 3365 NEW BEST:: SOT 446852 SOS 248260 HAS SOPS 244026 HAS SOUS 95873 HAS SOUPS 94886 WITH SCORE 95134.26
AT ITER 3379 NEW BEST:: SOT 446817 SOS 248174 HAS SOPS 243940 HAS SOUS 95820 HAS SOUPS 94833 WITH SCORE 95081.174
AT ITER 3422 NEW BEST:: SOT 446810 SOS 248125 HAS SOPS 243891 HAS SOUS 95806 HAS SOUPS 94819 WITH SCORE 95067.125
AT ITER 3431 NEW BEST:: SOT 446810 SOS 248023 HAS SOPS 243789 HAS SOUS 95800 HAS SOUPS 94813 WITH SCORE 95061.023
AT ITER 3442 NEW BEST:: SOT 446803 SOS 248016 HAS SOPS 243782 HAS SOUS 95751 HAS SOUPS 94764 WITH SCORE 95012.016
AT ITER 3448 NEW BEST:: SOT 446802 SOS 248014 HAS SOPS 243780 HAS SOUS 95749 HAS SOUPS 94762 WITH SCORE 95010.014
AT ITER 3460 NEW BEST:: SOT 446802 SOS 248014 HAS SOPS 243780 HAS SOUS 95733 HAS SOUPS 94746 WITH SCORE 94994.014
AT ITER 3483 NEW BEST:: SOT 447195 SOS 248263 HAS SOPS 244029 HAS SOUS 95715 HAS SOUPS 94728 WITH SCORE 94976.263
AT ITER 3494 NEW BEST:: SOT 447144 SOS 248162 HAS SOPS 243928 HAS SOUS 95695 HAS SOUPS 94708 WITH SCORE 94956.162
AT ITER 3526 NEW BEST:: SOT 447144 SOS 248148 HAS SOPS 243914 HAS SOUS 95695 HAS SOUPS 94708 WITH SCORE 94956.148
AT ITER 3536 NEW BEST:: SOT 447095 SOS 248099 HAS SOPS 243842 HAS SOUS 95627 HAS SOUPS 94640 WITH SCORE 94888.099
AT ITER 3541 NEW BEST:: SOT 447048 SOS 248052 HAS SOPS 243795 HAS SOUS 95624 HAS SOUPS 94637 WITH SCORE 94885.052
AT ITER 3548 NEW BEST:: SOT 446999 SOS 247934 HAS SOPS 243694 HAS SOUS 95582 HAS SOUPS 94595 WITH SCORE 94842.934
AT ITER 3567 NEW BEST:: SOT 446995 SOS 247735 HAS SOPS 243495 HAS SOUS 95514 HAS SOUPS 94527 WITH SCORE 94774.735
AT ITER 3577 NEW BEST:: SOT 446995 SOS 247723 HAS SOPS 243471 HAS SOUS 95514 HAS SOUPS 94527 WITH SCORE 94774.723
AT ITER 3591 NEW BEST:: SOT 446995 SOS 247751 HAS SOPS 243499 HAS SOUS 95500 HAS SOUPS 94513 WITH SCORE 94760.751
AT ITER 3599 NEW BEST:: SOT 446897 SOS 247653 HAS SOPS 243401 HAS SOUS 95367 HAS SOUPS 94380 WITH SCORE 94627.653
AT ITER 3616 NEW BEST:: SOT 446890 SOS 247646 HAS SOPS 243394 HAS SOUS 95350 HAS SOUPS 94363 WITH SCORE 94610.646
AT ITER 3622 NEW BEST:: SOT 446693 SOS 247624 HAS SOPS 243372 HAS SOUS 95149 HAS SOUPS 94162 WITH SCORE 94409.624
AT ITER 3646 NEW BEST:: SOT 446112 SOS 247060 HAS SOPS 242808 HAS SOUS 94537 HAS SOUPS 93550 WITH SCORE 93797.06
AT ITER 3656 NEW BEST:: SOT 446134 SOS 247048 HAS SOPS 242796 HAS SOUS 94525 HAS SOUPS 93538 WITH SCORE 93785.048
AT ITER 3660 NEW BEST:: SOT 446132 SOS 246683 HAS SOPS 242431 HAS SOUS 94473 HAS SOUPS 93486 WITH SCORE 93732.683
AT ITER 3673 NEW BEST:: SOT 446132 SOS 246731 HAS SOPS 242479 HAS SOUS 94449 HAS SOUPS 93462 WITH SCORE 93708.731
AT ITER 3692 NEW BEST:: SOT 446116 SOS 246683 HAS SOPS 242431 HAS SOUS 94417 HAS SOUPS 93430 WITH SCORE 93676.683
AT ITER 3710 NEW BEST:: SOT 445996 SOS 246647 HAS SOPS 242395 HAS SOUS 94349 HAS SOUPS 93362 WITH SCORE 93608.647
AT ITER 3731 NEW BEST:: SOT 445980 SOS 246631 HAS SOPS 242379 HAS SOUS 94333 HAS SOUPS 93346 WITH SCORE 93592.631
AT ITER 3736 NEW BEST:: SOT 445960 SOS 246395 HAS SOPS 242162 HAS SOUS 94302 HAS SOUPS 93315 WITH SCORE 93561.395
AT ITER 3748 NEW BEST:: SOT 445881 SOS 245931 HAS SOPS 241698 HAS SOUS 94233 HAS SOUPS 93246 WITH SCORE 93491.931
AT ITER 3755 NEW BEST:: SOT 445876 SOS 245926 HAS SOPS 241693 HAS SOUS 94228 HAS SOUPS 93241 WITH SCORE 93486.926
AT ITER 3758 NEW BEST:: SOT 445866 SOS 246031 HAS SOPS 241798 HAS SOUS 94208 HAS SOUPS 93221 WITH SCORE 93467.031
AT ITER 3764 NEW BEST:: SOT 445683 SOS 245704 HAS SOPS 241471 HAS SOUS 93964 HAS SOUPS 92977 WITH SCORE 93222.704
AT ITER 3784 NEW BEST:: SOT 445678 SOS 245549 HAS SOPS 241316 HAS SOUS 93959 HAS SOUPS 92972 WITH SCORE 93217.549
AT ITER 3785 NEW BEST:: SOT 445645 SOS 245516 HAS SOPS 241283 HAS SOUS 93889 HAS SOUPS 92902 WITH SCORE 93147.516
AT ITER 3861 NEW BEST:: SOT 445552 SOS 245423 HAS SOPS 241190 HAS SOUS 93818 HAS SOUPS 92831 WITH SCORE 93076.423
AT ITER 3868 NEW BEST:: SOT 445536 SOS 245391 HAS SOPS 241158 HAS SOUS 93801 HAS SOUPS 92814 WITH SCORE 93059.391
AT ITER 3870 NEW BEST:: SOT 445526 SOS 245381 HAS SOPS 241148 HAS SOUS 93791 HAS SOUPS 92804 WITH SCORE 93049.381
AT ITER 3886 NEW BEST:: SOT 445466 SOS 245321 HAS SOPS 241088 HAS SOUS 93671 HAS SOUPS 92684 WITH SCORE 92929.321
AT ITER 3947 NEW BEST:: SOT 445466 SOS 245382 HAS SOPS 241149 HAS SOUS 93610 HAS SOUPS 92623 WITH SCORE 92868.382
AT ITER 3952 NEW BEST:: SOT 445443 SOS 245359 HAS SOPS 241126 HAS SOUS 93564 HAS SOUPS 92577 WITH SCORE 92822.359
AT ITER 3973 NEW BEST:: SOT 445483 SOS 245516 HAS SOPS 241243 HAS SOUS 93563 HAS SOUPS 92576 WITH SCORE 92821.516
AT ITER 3987 NEW BEST:: SOT 445476 SOS 245353 HAS SOPS 241080 HAS SOUS 93533 HAS SOUPS 92546 WITH SCORE 92791.353
AT ITER 4003 NEW BEST:: SOT 445469 SOS 245346 HAS SOPS 241073 HAS SOUS 93523 HAS SOUPS 92536 WITH SCORE 92781.346
AT ITER 4005 NEW BEST:: SOT 445348 SOS 245267 HAS SOPS 240994 HAS SOUS 93444 HAS SOUPS 92457 WITH SCORE 92702.267
AT ITER 4047 NEW BEST:: SOT 445364 SOS 245251 HAS SOPS 240978 HAS SOUS 93444 HAS SOUPS 92457 WITH SCORE 92702.251
AT ITER 4053 NEW BEST:: SOT 445351 SOS 245166 HAS SOPS 240893 HAS SOUS 93420 HAS SOUPS 92433 WITH SCORE 92678.166
AT ITER 4094 NEW BEST:: SOT 445350 SOS 245152 HAS SOPS 240879 HAS SOUS 93406 HAS SOUPS 92419 WITH SCORE 92664.152
AT ITER 4111 NEW BEST:: SOT 441183 SOS 240966 HAS SOPS 236693 HAS SOUS 92697 HAS SOUPS 91710 WITH SCORE 91950.966
AT ITER 4114 NEW BEST:: SOT 441129 SOS 240831 HAS SOPS 236558 HAS SOUS 92643 HAS SOUPS 91656 WITH SCORE 91896.831
AT ITER 4139 NEW BEST:: SOT 441129 SOS 240558 HAS SOPS 236285 HAS SOUS 92606 HAS SOUPS 91619 WITH SCORE 91859.558
AT ITER 4140 NEW BEST:: SOT 441080 SOS 240509 HAS SOPS 236179 HAS SOUS 92517 HAS SOUPS 91521 WITH SCORE 91761.509
AT ITER 4144 NEW BEST:: SOT 441053 SOS 240407 HAS SOPS 236077 HAS SOUS 92457 HAS SOUPS 91461 WITH SCORE 91701.407
AT ITER 4161 NEW BEST:: SOT 440999 SOS 240353 HAS SOPS 236023 HAS SOUS 92429 HAS SOUPS 91433 WITH SCORE 91673.353
AT ITER 4167 NEW BEST:: SOT 440983 SOS 240337 HAS SOPS 236007 HAS SOUS 92410 HAS SOUPS 91414 WITH SCORE 91654.337
AT ITER 4247 NEW BEST:: SOT 440963 SOS 240317 HAS SOPS 235987 HAS SOUS 92390 HAS SOUPS 91394 WITH SCORE 91634.317
AT ITER 4261 NEW BEST:: SOT 440946 SOS 240534 HAS SOPS 236187 HAS SOUS 92380 HAS SOUPS 91384 WITH SCORE 91624.534
AT ITER 4343 NEW BEST:: SOT 440923 SOS 240952 HAS SOPS 236605 HAS SOUS 92344 HAS SOUPS 91348 WITH SCORE 91588.952
AT ITER 4351 NEW BEST:: SOT 440926 SOS 240955 HAS SOPS 236584 HAS SOUS 92326 HAS SOUPS 91330 WITH SCORE 91570.955
AT ITER 4386 NEW BEST:: SOT 440891 SOS 240899 HAS SOPS 236528 HAS SOUS 92312 HAS SOUPS 91316 WITH SCORE 91556.899
AT ITER 4399 NEW BEST:: SOT 440795 SOS 241005 HAS SOPS 236634 HAS SOUS 92216 HAS SOUPS 91220 WITH SCORE 91461.005
AT ITER 4400 NEW BEST:: SOT 440781 SOS 240971 HAS SOPS 236600 HAS SOUS 92188 HAS SOUPS 91192 WITH SCORE 91432.971
AT ITER 4404 NEW BEST:: SOT 440739 SOS 240929 HAS SOPS 236558 HAS SOUS 92145 HAS SOUPS 91149 WITH SCORE 91389.929
AT ITER 4434 NEW BEST:: SOT 440698 SOS 240633 HAS SOPS 236262 HAS SOUS 92031 HAS SOUPS 91035 WITH SCORE 91275.633
AT ITER 4437 NEW BEST:: SOT 430920 SOS 224825 HAS SOPS 219968 HAS SOUS 91331 HAS SOUPS 90254 WITH SCORE 90478.825
AT ITER 4456 NEW BEST:: SOT 430923 SOS 224828 HAS SOPS 219971 HAS SOUS 91328 HAS SOUPS 90251 WITH SCORE 90475.828
AT ITER 4481 NEW BEST:: SOT 430914 SOS 224808 HAS SOPS 219951 HAS SOUS 91311 HAS SOUPS 90234 WITH SCORE 90458.808
AT ITER 4513 NEW BEST:: SOT 430867 SOS 224744 HAS SOPS 219887 HAS SOUS 91206 HAS SOUPS 90129 WITH SCORE 90353.744
AT ITER 4527 NEW BEST:: SOT 430850 SOS 224727 HAS SOPS 219870 HAS SOUS 91189 HAS SOUPS 90112 WITH SCORE 90336.727
AT ITER 4568 NEW BEST:: SOT 430747 SOS 224346 HAS SOPS 219489 HAS SOUS 91040 HAS SOUPS 89963 WITH SCORE 90187.346
AT ITER 4575 NEW BEST:: SOT 430707 SOS 224240 HAS SOPS 219383 HAS SOUS 91039 HAS SOUPS 89962 WITH SCORE 90186.24
AT ITER 4599 NEW BEST:: SOT 430619 SOS 224104 HAS SOPS 219247 HAS SOUS 90911 HAS SOUPS 89834 WITH SCORE 90058.104
AT ITER 4600 NEW BEST:: SOT 430619 SOS 224082 HAS SOPS 219225 HAS SOUS 90911 HAS SOUPS 89834 WITH SCORE 90058.082
AT ITER 4604 NEW BEST:: SOT 430689 SOS 224410 HAS SOPS 219483 HAS SOUS 90889 HAS SOUPS 89812 WITH SCORE 90036.41
AT ITER 4628 NEW BEST:: SOT 430639 SOS 224135 HAS SOPS 219208 HAS SOUS 90864 HAS SOUPS 89787 WITH SCORE 90011.135
AT ITER 4633 NEW BEST:: SOT 430621 SOS 224063 HAS SOPS 219136 HAS SOUS 90846 HAS SOUPS 89769 WITH SCORE 89993.063
AT ITER 4638 NEW BEST:: SOT 430605 SOS 224052 HAS SOPS 219125 HAS SOUS 90500 HAS SOUPS 89423 WITH SCORE 89647.052
AT ITER 4643 NEW BEST:: SOT 430581 SOS 223966 HAS SOPS 218739 HAS SOUS 90487 HAS SOUPS 89350 WITH SCORE 89573.966
AT ITER 4652 NEW BEST:: SOT 430575 SOS 223950 HAS SOPS 218725 HAS SOUS 90463 HAS SOUPS 89328 WITH SCORE 89551.95
AT ITER 4662 NEW BEST:: SOT 430567 SOS 223942 HAS SOPS 218717 HAS SOUS 90455 HAS SOUPS 89320 WITH SCORE 89543.942
AT ITER 4669 NEW BEST:: SOT 430563 SOS 223933 HAS SOPS 218708 HAS SOUS 90397 HAS SOUPS 89262 WITH SCORE 89485.933
AT ITER 4686 NEW BEST:: SOT 430551 SOS 223917 HAS SOPS 218700 HAS SOUS 90393 HAS SOUPS 89258 WITH SCORE 89481.917
AT ITER 4688 NEW BEST:: SOT 430548 SOS 223914 HAS SOPS 218697 HAS SOUS 90388 HAS SOUPS 89253 WITH SCORE 89476.914
AT ITER 4694 NEW BEST:: SOT 430513 SOS 224256 HAS SOPS 219039 HAS SOUS 90334 HAS SOUPS 89199 WITH SCORE 89423.256
AT ITER 4711 NEW BEST:: SOT 430505 SOS 224256 HAS SOPS 219039 HAS SOUS 90318 HAS SOUPS 89183 WITH SCORE 89407.256
AT ITER 4771 NEW BEST:: SOT 430505 SOS 224233 HAS SOPS 219016 HAS SOUS 90295 HAS SOUPS 89160 WITH SCORE 89384.233
AT ITER 4778 NEW BEST:: SOT 430420 SOS 224058 HAS SOPS 218841 HAS SOUS 90240 HAS SOUPS 89105 WITH SCORE 89329.058
AT ITER 4788 NEW BEST:: SOT 430350 SOS 224003 HAS SOPS 218736 HAS SOUS 90290 HAS SOUPS 89105 WITH SCORE 89329.003
AT ITER 4789 NEW BEST:: SOT 430368 SOS 224021 HAS SOPS 218682 HAS SOUS 90224 HAS SOUPS 89039 WITH SCORE 89263.021
AT ITER 4824 NEW BEST:: SOT 430364 SOS 224017 HAS SOPS 218678 HAS SOUS 90218 HAS SOUPS 89033 WITH SCORE 89257.017
AT ITER 4839 NEW BEST:: SOT 430363 SOS 224010 HAS SOPS 218671 HAS SOUS 90216 HAS SOUPS 89031 WITH SCORE 89255.01
AT ITER 4844 NEW BEST:: SOT 430360 SOS 224007 HAS SOPS 218665 HAS SOUS 90210 HAS SOUPS 89025 WITH SCORE 89249.007
AT ITER 4850 NEW BEST:: SOT 430297 SOS 223944 HAS SOPS 218624 HAS SOUS 90179 HAS SOUPS 88995 WITH SCORE 89218.944
AT ITER 4856 NEW BEST:: SOT 430297 SOS 223936 HAS SOPS 218616 HAS SOUS 90179 HAS SOUPS 88995 WITH SCORE 89218.936
AT ITER 4860 NEW BEST:: SOT 430297 SOS 223927 HAS SOPS 218607 HAS SOUS 90170 HAS SOUPS 88986 WITH SCORE 89209.927
AT ITER 4878 NEW BEST:: SOT 430274 SOS 223835 HAS SOPS 218515 HAS SOUS 90124 HAS SOUPS 88940 WITH SCORE 89163.835
AT ITER 4900 NEW BEST:: SOT 430193 SOS 223781 HAS SOPS 218461 HAS SOUS 90043 HAS SOUPS 88859 WITH SCORE 89082.781
AT ITER 4902 NEW BEST:: SOT 430187 SOS 223761 HAS SOPS 218443 HAS SOUS 90023 HAS SOUPS 88841 WITH SCORE 89064.761
AT ITER 4910 NEW BEST:: SOT 430181 SOS 223753 HAS SOPS 218435 HAS SOUS 90015 HAS SOUPS 88833 WITH SCORE 89056.753
AT ITER 4932 NEW BEST:: SOT 430177 SOS 223749 HAS SOPS 218431 HAS SOUS 90007 HAS SOUPS 88825 WITH SCORE 89048.749
AT ITER 4961 NEW BEST:: SOT 430164 SOS 223736 HAS SOPS 218418 HAS SOUS 89942 HAS SOUPS 88760 WITH SCORE 88983.736
AT ITER 4963 NEW BEST:: SOT 430138 SOS 223764 HAS SOPS 218446 HAS SOUS 89890 HAS SOUPS 88708 WITH SCORE 88931.764
AT ITER 4994 NEW BEST:: SOT 430124 SOS 223726 HAS SOPS 218392 HAS SOUS 89833 HAS SOUPS 88651 WITH SCORE 88874.726
AT ITER 4999 NEW BEST:: SOT 430116 SOS 223702 HAS SOPS 218368 HAS SOUS 89817 HAS SOUPS 88635 WITH SCORE 88858.702
AT ITER 5000 NEW BEST:: SOT 430024 SOS 223581 HAS SOPS 218383 HAS SOUS 89676 HAS SOUPS 88630 WITH SCORE 88853.581
AT ITER 5047 NEW BEST:: SOT 430020 SOS 223585 HAS SOPS 218387 HAS SOUS 89672 HAS SOUPS 88626 WITH SCORE 88849.585
AT ITER 5059 NEW BEST:: SOT 429965 SOS 223530 HAS SOPS 218332 HAS SOUS 89617 HAS SOUPS 88571 WITH SCORE 88794.53
AT ITER 5076 NEW BEST:: SOT 429875 SOS 223388 HAS SOPS 218242 HAS SOUS 89532 HAS SOUPS 88495 WITH SCORE 88718.388
AT ITER 5130 NEW BEST:: SOT 429850 SOS 223279 HAS SOPS 218150 HAS SOUS 89522 HAS SOUPS 88485 WITH SCORE 88708.279
AT ITER 5144 NEW BEST:: SOT 429791 SOS 223085 HAS SOPS 217987 HAS SOUS 89494 HAS SOUPS 88457 WITH SCORE 88680.085
AT ITER 5170 NEW BEST:: SOT 429784 SOS 223071 HAS SOPS 217973 HAS SOUS 89466 HAS SOUPS 88429 WITH SCORE 88652.071
AT ITER 5184 NEW BEST:: SOT 429654 SOS 222941 HAS SOPS 217843 HAS SOUS 89435 HAS SOUPS 88398 WITH SCORE 88620.941
AT ITER 5221 NEW BEST:: SOT 429654 SOS 222941 HAS SOPS 217843 HAS SOUS 89433 HAS SOUPS 88396 WITH SCORE 88618.941
AT ITER 5223 NEW BEST:: SOT 420197 SOS 213992 HAS SOPS 208894 HAS SOUS 88516 HAS SOUPS 87479 WITH SCORE 87692.992
AT ITER 5265 NEW BEST:: SOT 420158 SOS 213953 HAS SOPS 208847 HAS SOUS 88516 HAS SOUPS 87479 WITH SCORE 87692.953
AT ITER 5269 NEW BEST:: SOT 420135 SOS 213930 HAS SOPS 208824 HAS SOUS 88470 HAS SOUPS 87433 WITH SCORE 87646.93
AT ITER 5285 NEW BEST:: SOT 418210 SOS 211995 HAS SOPS 206889 HAS SOUS 88206 HAS SOUPS 87169 WITH SCORE 87380.995
AT ITER 5296 NEW BEST:: SOT 418160 SOS 211737 HAS SOPS 206631 HAS SOUS 88156 HAS SOUPS 87119 WITH SCORE 87330.737
AT ITER 5335 NEW BEST:: SOT 418168 SOS 211794 HAS SOPS 206688 HAS SOUS 88151 HAS SOUPS 87114 WITH SCORE 87325.794
AT ITER 5359 NEW BEST:: SOT 418168 SOS 211796 HAS SOPS 206690 HAS SOUS 88150 HAS SOUPS 87113 WITH SCORE 87324.796
AT ITER 5363 NEW BEST:: SOT 418168 SOS 211796 HAS SOPS 206690 HAS SOUS 88140 HAS SOUPS 87103 WITH SCORE 87314.796
AT ITER 5367 NEW BEST:: SOT 417979 SOS 211591 HAS SOPS 206485 HAS SOUS 87839 HAS SOUPS 86802 WITH SCORE 87013.591
AT ITER 5368 NEW BEST:: SOT 417931 SOS 211399 HAS SOPS 206293 HAS SOUS 87791 HAS SOUPS 86754 WITH SCORE 86965.399
AT ITER 5370 NEW BEST:: SOT 417931 SOS 211402 HAS SOPS 206296 HAS SOUS 87762 HAS SOUPS 86725 WITH SCORE 86936.402
AT ITER 5402 NEW BEST:: SOT 417930 SOS 211401 HAS SOPS 206295 HAS SOUS 87762 HAS SOUPS 86725 WITH SCORE 86936.401
AT ITER 5414 NEW BEST:: SOT 417929 SOS 211399 HAS SOPS 206293 HAS SOUS 87760 HAS SOUPS 86723 WITH SCORE 86934.399
AT ITER 5431 NEW BEST:: SOT 417906 SOS 211376 HAS SOPS 206270 HAS SOUS 87714 HAS SOUPS 86677 WITH SCORE 86888.376
AT ITER 5433 NEW BEST:: SOT 417829 SOS 211299 HAS SOPS 206176 HAS SOUS 87597 HAS SOUPS 86549 WITH SCORE 86760.299
AT ITER 5455 NEW BEST:: SOT 417756 SOS 211226 HAS SOPS 206103 HAS SOUS 87487 HAS SOUPS 86439 WITH SCORE 86650.226
AT ITER 5465 NEW BEST:: SOT 417745 SOS 211215 HAS SOPS 206092 HAS SOUS 87469 HAS SOUPS 86421 WITH SCORE 86632.215
AT ITER 5466 NEW BEST:: SOT 417702 SOS 211086 HAS SOPS 205963 HAS SOUS 87426 HAS SOUPS 86378 WITH SCORE 86589.086
AT ITER 5468 NEW BEST:: SOT 417584 SOS 210968 HAS SOPS 205845 HAS SOUS 87337 HAS SOUPS 86289 WITH SCORE 86499.968
AT ITER 5526 NEW BEST:: SOT 417584 SOS 210962 HAS SOPS 205839 HAS SOUS 87337 HAS SOUPS 86289 WITH SCORE 86499.962
AT ITER 5532 NEW BEST:: SOT 417565 SOS 210943 HAS SOPS 205820 HAS SOUS 87276 HAS SOUPS 86228 WITH SCORE 86438.943
AT ITER 5551 NEW BEST:: SOT 417442 SOS 210946 HAS SOPS 205805 HAS SOUS 87279 HAS SOUPS 86213 WITH SCORE 86423.946
AT ITER 5578 NEW BEST:: SOT 417463 SOS 210913 HAS SOPS 205772 HAS SOUS 87274 HAS SOUPS 86208 WITH SCORE 86418.913
AT ITER 5593 NEW BEST:: SOT 417421 SOS 210842 HAS SOPS 205701 HAS SOUS 87208 HAS SOUPS 86142 WITH SCORE 86352.842
AT ITER 5629 NEW BEST:: SOT 417421 SOS 210731 HAS SOPS 205590 HAS SOUS 87208 HAS SOUPS 86142 WITH SCORE 86352.731
AT ITER 5661 NEW BEST:: SOT 417421 SOS 210722 HAS SOPS 205581 HAS SOUS 87208 HAS SOUPS 86142 WITH SCORE 86352.722
AT ITER 5672 NEW BEST:: SOT 417258 SOS 210517 HAS SOPS 205459 HAS SOUS 87140 HAS SOUPS 86117 WITH SCORE 86327.517
AT ITER 5682 NEW BEST:: SOT 417250 SOS 210533 HAS SOPS 205467 HAS SOUS 87132 HAS SOUPS 86109 WITH SCORE 86319.533
AT ITER 5688 NEW BEST:: SOT 417241 SOS 210524 HAS SOPS 205458 HAS SOUS 87125 HAS SOUPS 86102 WITH SCORE 86312.524
AT ITER 5697 NEW BEST:: SOT 417108 SOS 210352 HAS SOPS 205286 HAS SOUS 87013 HAS SOUPS 85990 WITH SCORE 86200.352
AT ITER 5708 NEW BEST:: SOT 417064 SOS 210308 HAS SOPS 205242 HAS SOUS 86969 HAS SOUPS 85946 WITH SCORE 86156.308
AT ITER 5713 NEW BEST:: SOT 416953 SOS 210209 HAS SOPS 205143 HAS SOUS 86906 HAS SOUPS 85883 WITH SCORE 86093.209
AT ITER 5722 NEW BEST:: SOT 416798 SOS 209920 HAS SOPS 204880 HAS SOUS 86768 HAS SOUPS 85745 WITH SCORE 85954.92
AT ITER 5773 NEW BEST:: SOT 416722 SOS 209844 HAS SOPS 204804 HAS SOUS 86525 HAS SOUPS 85502 WITH SCORE 85711.844
AT ITER 5786 NEW BEST:: SOT 416722 SOS 209842 HAS SOPS 204804 HAS SOUS 86525 HAS SOUPS 85502 WITH SCORE 85711.842
AT ITER 5810 NEW BEST:: SOT 416695 SOS 209815 HAS SOPS 204765 HAS SOUS 86493 HAS SOUPS 85470 WITH SCORE 85679.815
AT ITER 5817 NEW BEST:: SOT 416676 SOS 209754 HAS SOPS 204704 HAS SOUS 86460 HAS SOUPS 85437 WITH SCORE 85646.754
AT ITER 5819 NEW BEST:: SOT 416709 SOS 209838 HAS SOPS 204758 HAS SOUS 86453 HAS SOUPS 85430 WITH SCORE 85639.838
AT ITER 5833 NEW BEST:: SOT 416760 SOS 209275 HAS SOPS 204195 HAS SOUS 86379 HAS SOUPS 85356 WITH SCORE 85565.275
AT ITER 5865 NEW BEST:: SOT 416745 SOS 209260 HAS SOPS 204170 HAS SOUS 86362 HAS SOUPS 85339 WITH SCORE 85548.26
AT ITER 5868 NEW BEST:: SOT 416517 SOS 208975 HAS SOPS 203885 HAS SOUS 86134 HAS SOUPS 85111 WITH SCORE 85319.975
AT ITER 5869 NEW BEST:: SOT 416517 SOS 208979 HAS SOPS 203889 HAS SOUS 86130 HAS SOUPS 85107 WITH SCORE 85315.979
AT ITER 5919 NEW BEST:: SOT 416760 SOS 209059 HAS SOPS 203969 HAS SOUS 86129 HAS SOUPS 85106 WITH SCORE 85315.059
AT ITER 5930 NEW BEST:: SOT 416760 SOS 209035 HAS SOPS 203945 HAS SOUS 86128 HAS SOUPS 85105 WITH SCORE 85314.035
AT ITER 5940 NEW BEST:: SOT 416671 SOS 208956 HAS SOPS 203866 HAS SOUS 86052 HAS SOUPS 85029 WITH SCORE 85237.956
AT ITER 5941 NEW BEST:: SOT 416692 SOS 209001 HAS SOPS 203911 HAS SOUS 86049 HAS SOUPS 85026 WITH SCORE 85235.001
AT ITER 5957 NEW BEST:: SOT 416671 SOS 208974 HAS SOPS 203884 HAS SOUS 86028 HAS SOUPS 85005 WITH SCORE 85213.974
AT ITER 5959 NEW BEST:: SOT 416702 SOS 209011 HAS SOPS 203921 HAS SOUS 86024 HAS SOUPS 85001 WITH SCORE 85210.011
AT ITER 5974 NEW BEST:: SOT 416680 SOS 209011 HAS SOPS 203921 HAS SOUS 85997 HAS SOUPS 84974 WITH SCORE 85183.011
AT ITER 5992 NEW BEST:: SOT 416680 SOS 209100 HAS SOPS 204010 HAS SOUS 85922 HAS SOUPS 84899 WITH SCORE 85108.1
AT ITER 5997 NEW BEST:: SOT 416693 SOS 209164 HAS SOPS 204057 HAS SOUS 85914 HAS SOUPS 84891 WITH SCORE 85100.164
AT ITER 6009 NEW BEST:: SOT 416671 SOS 209142 HAS SOPS 204035 HAS SOUS 85892 HAS SOUPS 84869 WITH SCORE 85078.142
AT ITER 6017 NEW BEST:: SOT 416660 SOS 209103 HAS SOPS 203996 HAS SOUS 85877 HAS SOUPS 84854 WITH SCORE 85063.103
AT ITER 6051 NEW BEST:: SOT 416865 SOS 209401 HAS SOPS 204181 HAS SOUS 85773 HAS SOUPS 84750 WITH SCORE 84959.401
AT ITER 6056 NEW BEST:: SOT 416755 SOS 209144 HAS SOPS 203924 HAS SOUS 85692 HAS SOUPS 84669 WITH SCORE 84878.144
AT ITER 6061 NEW BEST:: SOT 416754 SOS 209143 HAS SOPS 203922 HAS SOUS 85690 HAS SOUPS 84667 WITH SCORE 84876.143
AT ITER 6094 NEW BEST:: SOT 416754 SOS 209224 HAS SOPS 204003 HAS SOUS 85609 HAS SOUPS 84586 WITH SCORE 84795.224
AT ITER 6100 NEW BEST:: SOT 416751 SOS 209221 HAS SOPS 204000 HAS SOUS 85609 HAS SOUPS 84586 WITH SCORE 84795.221
AT ITER 6101 NEW BEST:: SOT 416743 SOS 209229 HAS SOPS 204008 HAS SOUS 85601 HAS SOUPS 84578 WITH SCORE 84787.229
AT ITER 6105 NEW BEST:: SOT 416724 SOS 209298 HAS SOPS 204077 HAS SOUS 85511 HAS SOUPS 84488 WITH SCORE 84697.298
AT ITER 6112 NEW BEST:: SOT 416726 SOS 209930 HAS SOPS 204709 HAS SOUS 85455 HAS SOUPS 84432 WITH SCORE 84641.93
AT ITER 6129 NEW BEST:: SOT 416670 SOS 209874 HAS SOPS 204642 HAS SOUS 85388 HAS SOUPS 84365 WITH SCORE 84574.874
AT ITER 6137 NEW BEST:: SOT 416654 SOS 209842 HAS SOPS 204610 HAS SOUS 85356 HAS SOUPS 84333 WITH SCORE 84542.842
AT ITER 6149 NEW BEST:: SOT 416658 SOS 210009 HAS SOPS 204683 HAS SOUS 85257 HAS SOUPS 84234 WITH SCORE 84444.009
AT ITER 6152 NEW BEST:: SOT 416649 SOS 209973 HAS SOPS 204656 HAS SOUS 85257 HAS SOUPS 84234 WITH SCORE 84443.973
AT ITER 6160 NEW BEST:: SOT 416648 SOS 209968 HAS SOPS 204651 HAS SOUS 85249 HAS SOUPS 84226 WITH SCORE 84435.968
AT ITER 6194 NEW BEST:: SOT 416629 SOS 209949 HAS SOPS 204632 HAS SOUS 85235 HAS SOUPS 84212 WITH SCORE 84421.949
AT ITER 6213 NEW BEST:: SOT 416542 SOS 209783 HAS SOPS 204466 HAS SOUS 85234 HAS SOUPS 84211 WITH SCORE 84420.783
AT ITER 6228 NEW BEST:: SOT 416502 SOS 209568 HAS SOPS 204251 HAS SOUS 85136 HAS SOUPS 84113 WITH SCORE 84322.568
AT ITER 6230 NEW BEST:: SOT 416494 SOS 209552 HAS SOPS 204235 HAS SOUS 85127 HAS SOUPS 84104 WITH SCORE 84313.552
AT ITER 6232 NEW BEST:: SOT 416533 SOS 209591 HAS SOPS 204246 HAS SOUS 85121 HAS SOUPS 84098 WITH SCORE 84307.591
AT ITER 6237 NEW BEST:: SOT 416516 SOS 209540 HAS SOPS 204195 HAS SOUS 85104 HAS SOUPS 84081 WITH SCORE 84290.54
AT ITER 6284 NEW BEST:: SOT 416497 SOS 209910 HAS SOPS 204565 HAS SOUS 85090 HAS SOUPS 84067 WITH SCORE 84276.91
AT ITER 6297 NEW BEST:: SOT 416764 SOS 210532 HAS SOPS 204974 HAS SOUS 85089 HAS SOUPS 84066 WITH SCORE 84276.532
AT ITER 6313 NEW BEST:: SOT 416951 SOS 210618 HAS SOPS 205060 HAS SOUS 84995 HAS SOUPS 83972 WITH SCORE 84182.618
AT ITER 6337 NEW BEST:: SOT 416948 SOS 210612 HAS SOPS 205054 HAS SOUS 84989 HAS SOUPS 83966 WITH SCORE 84176.612
AT ITER 6351 NEW BEST:: SOT 416948 SOS 210597 HAS SOPS 205039 HAS SOUS 84989 HAS SOUPS 83966 WITH SCORE 84176.597
AT ITER 6360 NEW BEST:: SOT 416940 SOS 210583 HAS SOPS 205025 HAS SOUS 84979 HAS SOUPS 83956 WITH SCORE 84166.583
AT ITER 6398 NEW BEST:: SOT 416935 SOS 210578 HAS SOPS 205020 HAS SOUS 84971 HAS SOUPS 83948 WITH SCORE 84158.578
AT ITER 6439 NEW BEST:: SOT 416927 SOS 210558 HAS SOPS 205000 HAS SOUS 84959 HAS SOUPS 83936 WITH SCORE 84146.558
AT ITER 6446 NEW BEST:: SOT 416909 SOS 210498 HAS SOPS 204940 HAS SOUS 84951 HAS SOUPS 83928 WITH SCORE 84138.498
AT ITER 6462 NEW BEST:: SOT 416794 SOS 210383 HAS SOPS 204825 HAS SOUS 84836 HAS SOUPS 83813 WITH SCORE 84023.383
AT ITER 6472 NEW BEST:: SOT 416797 SOS 210509 HAS SOPS 204951 HAS SOUS 84832 HAS SOUPS 83809 WITH SCORE 84019.509
AT ITER 6478 NEW BEST:: SOT 416792 SOS 210519 HAS SOPS 204961 HAS SOUS 84822 HAS SOUPS 83799 WITH SCORE 84009.519
AT ITER 6483 NEW BEST:: SOT 416792 SOS 210468 HAS SOPS 204910 HAS SOUS 84805 HAS SOUPS 83782 WITH SCORE 83992.468
AT ITER 6498 NEW BEST:: SOT 416766 SOS 210364 HAS SOPS 204806 HAS SOUS 84766 HAS SOUPS 83743 WITH SCORE 83953.364
AT ITER 6515 NEW BEST:: SOT 416713 SOS 210311 HAS SOPS 204753 HAS SOUS 84714 HAS SOUPS 83691 WITH SCORE 83901.311
AT ITER 6528 NEW BEST:: SOT 416683 SOS 210197 HAS SOPS 204667 HAS SOUS 84710 HAS SOUPS 83687 WITH SCORE 83897.197
AT ITER 6540 NEW BEST:: SOT 416676 SOS 210164 HAS SOPS 204634 HAS SOUS 84619 HAS SOUPS 83596 WITH SCORE 83806.164
AT ITER 6629 NEW BEST:: SOT 416619 SOS 210102 HAS SOPS 204572 HAS SOUS 84557 HAS SOUPS 83534 WITH SCORE 83744.102
AT ITER 6633 NEW BEST:: SOT 416606 SOS 209918 HAS SOPS 204388 HAS SOUS 84543 HAS SOUPS 83520 WITH SCORE 83729.918
AT ITER 6635 NEW BEST:: SOT 416500 SOS 209774 HAS SOPS 204244 HAS SOUS 84331 HAS SOUPS 83308 WITH SCORE 83517.774
AT ITER 6680 NEW BEST:: SOT 416492 SOS 209766 HAS SOPS 204236 HAS SOUS 84323 HAS SOUPS 83300 WITH SCORE 83509.766
AT ITER 6684 NEW BEST:: SOT 416492 SOS 209754 HAS SOPS 204224 HAS SOUS 84323 HAS SOUPS 83300 WITH SCORE 83509.754
AT ITER 6705 NEW BEST:: SOT 416488 SOS 209726 HAS SOPS 204196 HAS SOUS 84319 HAS SOUPS 83296 WITH SCORE 83505.726
AT ITER 6709 NEW BEST:: SOT 416462 SOS 209673 HAS SOPS 204143 HAS SOUS 84297 HAS SOUPS 83274 WITH SCORE 83483.673
AT ITER 6736 NEW BEST:: SOT 416423 SOS 209648 HAS SOPS 204118 HAS SOUS 84267 HAS SOUPS 83244 WITH SCORE 83453.648
AT ITER 6754 NEW BEST:: SOT 416402 SOS 209627 HAS SOPS 204097 HAS SOUS 84225 HAS SOUPS 83202 WITH SCORE 83411.627
AT ITER 6792 NEW BEST:: SOT 416352 SOS 209577 HAS SOPS 204073 HAS SOUS 84177 HAS SOUPS 83154 WITH SCORE 83363.577
AT ITER 6804 NEW BEST:: SOT 416344 SOS 209569 HAS SOPS 204065 HAS SOUS 84172 HAS SOUPS 83149 WITH SCORE 83358.569
AT ITER 6820 NEW BEST:: SOT 416338 SOS 209563 HAS SOPS 204059 HAS SOUS 84170 HAS SOUPS 83147 WITH SCORE 83356.563
AT ITER 6841 NEW BEST:: SOT 416346 SOS 209571 HAS SOPS 204067 HAS SOUS 84156 HAS SOUPS 83133 WITH SCORE 83342.571
AT ITER 6864 NEW BEST:: SOT 416335 SOS 209535 HAS SOPS 204031 HAS SOUS 84148 HAS SOUPS 83125 WITH SCORE 83334.535
AT ITER 6866 NEW BEST:: SOT 416335 SOS 209531 HAS SOPS 204027 HAS SOUS 84148 HAS SOUPS 83125 WITH SCORE 83334.531
AT ITER 6867 NEW BEST:: SOT 416232 SOS 209239 HAS SOPS 203767 HAS SOUS 84068 HAS SOUPS 83045 WITH SCORE 83254.239
AT ITER 6906 NEW BEST:: SOT 416228 SOS 209237 HAS SOPS 203765 HAS SOUS 84058 HAS SOUPS 83035 WITH SCORE 83244.237
AT ITER 6933 NEW BEST:: SOT 416325 SOS 209334 HAS SOPS 203862 HAS SOUS 84056 HAS SOUPS 83033 WITH SCORE 83242.334
AT ITER 7005 NEW BEST:: SOT 416319 SOS 209284 HAS SOPS 203812 HAS SOUS 84044 HAS SOUPS 83021 WITH SCORE 83230.284
AT ITER 7024 NEW BEST:: SOT 416314 SOS 209279 HAS SOPS 203807 HAS SOUS 84034 HAS SOUPS 83011 WITH SCORE 83220.279
AT ITER 7028 NEW BEST:: SOT 416304 SOS 209257 HAS SOPS 203793 HAS SOUS 84033 HAS SOUPS 83010 WITH SCORE 83219.257
AT ITER 7113 NEW BEST:: SOT 416293 SOS 209224 HAS SOPS 203760 HAS SOUS 84000 HAS SOUPS 82977 WITH SCORE 83186.224
AT ITER 7118 NEW BEST:: SOT 416293 SOS 209224 HAS SOPS 203760 HAS SOUS 83980 HAS SOUPS 82957 WITH SCORE 83166.224
AT ITER 7119 NEW BEST:: SOT 416290 SOS 209221 HAS SOPS 203757 HAS SOUS 83977 HAS SOUPS 82954 WITH SCORE 83163.221
AT ITER 7121 NEW BEST:: SOT 416265 SOS 209039 HAS SOPS 203575 HAS SOUS 83975 HAS SOUPS 82952 WITH SCORE 83161.039
AT ITER 7125 NEW BEST:: SOT 416305 SOS 209154 HAS SOPS 203655 HAS SOUS 83945 HAS SOUPS 82922 WITH SCORE 83131.154
AT ITER 7142 NEW BEST:: SOT 416270 SOS 209138 HAS SOPS 203639 HAS SOUS 83899 HAS SOUPS 82876 WITH SCORE 83085.138
AT ITER 7173 NEW BEST:: SOT 416266 SOS 209136 HAS SOPS 203637 HAS SOUS 83889 HAS SOUPS 82866 WITH SCORE 83075.136
AT ITER 7188 NEW BEST:: SOT 414575 SOS 207360 HAS SOPS 201861 HAS SOUS 83490 HAS SOUPS 82467 WITH SCORE 82674.36
AT ITER 7202 NEW BEST:: SOT 414561 SOS 207343 HAS SOPS 201844 HAS SOUS 83473 HAS SOUPS 82450 WITH SCORE 82657.343
AT ITER 7264 NEW BEST:: SOT 414566 SOS 207346 HAS SOPS 201847 HAS SOUS 83470 HAS SOUPS 82447 WITH SCORE 82654.346
AT ITER 7274 NEW BEST:: SOT 414498 SOS 207310 HAS SOPS 201811 HAS SOUS 83470 HAS SOUPS 82447 WITH SCORE 82654.31
AT ITER 7282 NEW BEST:: SOT 414470 SOS 207275 HAS SOPS 201776 HAS SOUS 83407 HAS SOUPS 82384 WITH SCORE 82591.275
AT ITER 7303 NEW BEST:: SOT 414469 SOS 207274 HAS SOPS 201775 HAS SOUS 83404 HAS SOUPS 82381 WITH SCORE 82588.274
AT ITER 7316 NEW BEST:: SOT 414406 SOS 207134 HAS SOPS 201635 HAS SOUS 83280 HAS SOUPS 82257 WITH SCORE 82464.134
AT ITER 7333 NEW BEST:: SOT 414381 SOS 207115 HAS SOPS 201616 HAS SOUS 83240 HAS SOUPS 82217 WITH SCORE 82424.115
AT ITER 7343 NEW BEST:: SOT 414333 SOS 207019 HAS SOPS 201520 HAS SOUS 83209 HAS SOUPS 82186 WITH SCORE 82393.019
AT ITER 7369 NEW BEST:: SOT 414273 SOS 206959 HAS SOPS 201460 HAS SOUS 83199 HAS SOUPS 82176 WITH SCORE 82382.959
AT ITER 7402 NEW BEST:: SOT 414272 SOS 206641 HAS SOPS 201142 HAS SOUS 83197 HAS SOUPS 82174 WITH SCORE 82380.641
AT ITER 7441 NEW BEST:: SOT 414267 SOS 206636 HAS SOPS 201137 HAS SOUS 83192 HAS SOUPS 82169 WITH SCORE 82375.636
AT ITER 7461 NEW BEST:: SOT 414261 SOS 206640 HAS SOPS 201141 HAS SOUS 83180 HAS SOUPS 82157 WITH SCORE 82363.64
AT ITER 7468 NEW BEST:: SOT 414256 SOS 206635 HAS SOPS 201136 HAS SOUS 83165 HAS SOUPS 82142 WITH SCORE 82348.635
AT ITER 7472 NEW BEST:: SOT 414250 SOS 206633 HAS SOPS 201134 HAS SOUS 83163 HAS SOUPS 82140 WITH SCORE 82346.633
AT ITER 7506 NEW BEST:: SOT 414279 SOS 206568 HAS SOPS 201069 HAS SOUS 83161 HAS SOUPS 82138 WITH SCORE 82344.568
AT ITER 7515 NEW BEST:: SOT 414233 SOS 206476 HAS SOPS 200977 HAS SOUS 83069 HAS SOUPS 82046 WITH SCORE 82252.476
AT ITER 7541 NEW BEST:: SOT 414191 SOS 206286 HAS SOPS 200787 HAS SOUS 83047 HAS SOUPS 82024 WITH SCORE 82230.286
AT ITER 7569 NEW BEST:: SOT 414143 SOS 206027 HAS SOPS 200528 HAS SOUS 82996 HAS SOUPS 81973 WITH SCORE 82179.027
AT ITER 7574 NEW BEST:: SOT 414143 SOS 205961 HAS SOPS 200462 HAS SOUS 82974 HAS SOUPS 81951 WITH SCORE 82156.961
AT ITER 7575 NEW BEST:: SOT 414140 SOS 205818 HAS SOPS 200319 HAS SOUS 82971 HAS SOUPS 81948 WITH SCORE 82153.818
AT ITER 7578 NEW BEST:: SOT 414135 SOS 205808 HAS SOPS 200309 HAS SOUS 82961 HAS SOUPS 81938 WITH SCORE 82143.808
AT ITER 7608 NEW BEST:: SOT 414097 SOS 205719 HAS SOPS 200220 HAS SOUS 82919 HAS SOUPS 81896 WITH SCORE 82101.719
AT ITER 7610 NEW BEST:: SOT 410183 SOS 205327 HAS SOPS 199828 HAS SOUS 82514 HAS SOUPS 81491 WITH SCORE 81696.327
AT ITER 7617 NEW BEST:: SOT 410183 SOS 205317 HAS SOPS 199818 HAS SOUS 82502 HAS SOUPS 81479 WITH SCORE 81684.317
AT ITER 7661 NEW BEST:: SOT 410154 SOS 205288 HAS SOPS 199789 HAS SOUS 82472 HAS SOUPS 81449 WITH SCORE 81654.288
AT ITER 7663 NEW BEST:: SOT 410146 SOS 205280 HAS SOPS 199755 HAS SOUS 82456 HAS SOUPS 81433 WITH SCORE 81638.28
AT ITER 7691 NEW BEST:: SOT 410146 SOS 205220 HAS SOPS 199695 HAS SOUS 82452 HAS SOUPS 81429 WITH SCORE 81634.22
AT ITER 7702 NEW BEST:: SOT 410160 SOS 205239 HAS SOPS 199697 HAS SOUS 82449 HAS SOUPS 81426 WITH SCORE 81631.239
AT ITER 7705 NEW BEST:: SOT 410155 SOS 205244 HAS SOPS 199702 HAS SOUS 82439 HAS SOUPS 81416 WITH SCORE 81621.244
AT ITER 7726 NEW BEST:: SOT 410149 SOS 205255 HAS SOPS 199713 HAS SOUS 82393 HAS SOUPS 81370 WITH SCORE 81575.255
AT ITER 7866 NEW BEST:: SOT 410129 SOS 205216 HAS SOPS 199674 HAS SOUS 82372 HAS SOUPS 81349 WITH SCORE 81554.216
AT ITER 7888 NEW BEST:: SOT 410108 SOS 205195 HAS SOPS 199653 HAS SOUS 82328 HAS SOUPS 81305 WITH SCORE 81510.195
AT ITER 7897 NEW BEST:: SOT 410108 SOS 205224 HAS SOPS 199682 HAS SOUS 82299 HAS SOUPS 81276 WITH SCORE 81481.224
AT ITER 7915 NEW BEST:: SOT 410071 SOS 205187 HAS SOPS 199645 HAS SOUS 82230 HAS SOUPS 81207 WITH SCORE 81412.187
AT ITER 7917 NEW BEST:: SOT 410040 SOS 205156 HAS SOPS 199614 HAS SOUS 82199 HAS SOUPS 81176 WITH SCORE 81381.156
AT ITER 7920 NEW BEST:: SOT 410036 SOS 205144 HAS SOPS 199602 HAS SOUS 82191 HAS SOUPS 81168 WITH SCORE 81373.144
AT ITER 7924 NEW BEST:: SOT 410036 SOS 205142 HAS SOPS 199598 HAS SOUS 82187 HAS SOUPS 81164 WITH SCORE 81369.142
AT ITER 7926 NEW BEST:: SOT 409967 SOS 205069 HAS SOPS 199525 HAS SOUS 82187 HAS SOUPS 81164 WITH SCORE 81369.069
AT ITER 7944 NEW BEST:: SOT 409932 SOS 205094 HAS SOPS 199564 HAS SOUS 82174 HAS SOUPS 81151 WITH SCORE 81356.094
AT ITER 7948 NEW BEST:: SOT 409650 SOS 204466 HAS SOPS 199149 HAS SOUS 82161 HAS SOUPS 81138 WITH SCORE 81342.466
AT ITER 7971 NEW BEST:: SOT 409618 SOS 204434 HAS SOPS 199117 HAS SOUS 82097 HAS SOUPS 81074 WITH SCORE 81278.434
AT ITER 8040 NEW BEST:: SOT 409618 SOS 204227 HAS SOPS 198904 HAS SOUS 82095 HAS SOUPS 81071 WITH SCORE 81275.227
AT ITER 8048 NEW BEST:: SOT 409602 SOS 204211 HAS SOPS 198827 HAS SOUS 82026 HAS SOUPS 81002 WITH SCORE 81206.211
AT ITER 8056 NEW BEST:: SOT 409601 SOS 204210 HAS SOPS 198826 HAS SOUS 82025 HAS SOUPS 81001 WITH SCORE 81205.21
AT ITER 8069 NEW BEST:: SOT 409440 SOS 204049 HAS SOPS 198665 HAS SOUS 81744 HAS SOUPS 80720 WITH SCORE 80924.049
AT ITER 8076 NEW BEST:: SOT 409440 SOS 204049 HAS SOPS 198665 HAS SOUS 81743 HAS SOUPS 80719 WITH SCORE 80923.049
AT ITER 8141 NEW BEST:: SOT 409380 SOS 203959 HAS SOPS 198587 HAS SOUS 81685 HAS SOUPS 80661 WITH SCORE 80864.959
AT ITER 8180 NEW BEST:: SOT 409370 SOS 203949 HAS SOPS 198577 HAS SOUS 81654 HAS SOUPS 80630 WITH SCORE 80833.949
AT ITER 8203 NEW BEST:: SOT 409352 SOS 203942 HAS SOPS 198570 HAS SOUS 81630 HAS SOUPS 80606 WITH SCORE 80809.942
AT ITER 8206 NEW BEST:: SOT 409354 SOS 203930 HAS SOPS 198558 HAS SOUS 81630 HAS SOUPS 80606 WITH SCORE 80809.93
AT ITER 8213 NEW BEST:: SOT 409268 SOS 203838 HAS SOPS 198472 HAS SOUS 81566 HAS SOUPS 80542 WITH SCORE 80745.838
AT ITER 8221 NEW BEST:: SOT 409268 SOS 203836 HAS SOPS 198470 HAS SOUS 81566 HAS SOUPS 80542 WITH SCORE 80745.836
AT ITER 8228 NEW BEST:: SOT 409280 SOS 203848 HAS SOPS 198482 HAS SOUS 81556 HAS SOUPS 80532 WITH SCORE 80735.848
AT ITER 8248 NEW BEST:: SOT 409276 SOS 203832 HAS SOPS 198466 HAS SOUS 81543 HAS SOUPS 80519 WITH SCORE 80722.832
AT ITER 8274 NEW BEST:: SOT 409276 SOS 203811 HAS SOPS 198445 HAS SOUS 81536 HAS SOUPS 80512 WITH SCORE 80715.811
AT ITER 8281 NEW BEST:: SOT 409268 SOS 203799 HAS SOPS 198433 HAS SOUS 81524 HAS SOUPS 80500 WITH SCORE 80703.799
AT ITER 8341 NEW BEST:: SOT 409262 SOS 203793 HAS SOPS 198427 HAS SOUS 81514 HAS SOUPS 80490 WITH SCORE 80693.793
AT ITER 8368 NEW BEST:: SOT 409271 SOS 203775 HAS SOPS 198409 HAS SOUS 81475 HAS SOUPS 80451 WITH SCORE 80654.775
AT ITER 8394 NEW BEST:: SOT 409252 SOS 203738 HAS SOPS 198372 HAS SOUS 81450 HAS SOUPS 80426 WITH SCORE 80629.738
AT ITER 8404 NEW BEST:: SOT 409252 SOS 203742 HAS SOPS 198376 HAS SOUS 81446 HAS SOUPS 80422 WITH SCORE 80625.742
AT ITER 8448 NEW BEST:: SOT 409233 SOS 203723 HAS SOPS 198357 HAS SOUS 81427 HAS SOUPS 80403 WITH SCORE 80606.723
AT ITER 8499 NEW BEST:: SOT 409204 SOS 203694 HAS SOPS 198328 HAS SOUS 81419 HAS SOUPS 80395 WITH SCORE 80598.694
AT ITER 8507 NEW BEST:: SOT 409167 SOS 203657 HAS SOPS 198291 HAS SOUS 81368 HAS SOUPS 80344 WITH SCORE 80547.657
AT ITER 8538 NEW BEST:: SOT 409170 SOS 203660 HAS SOPS 198294 HAS SOUS 81363 HAS SOUPS 80339 WITH SCORE 80542.66
AT ITER 8548 NEW BEST:: SOT 409167 SOS 203396 HAS SOPS 198030 HAS SOUS 81345 HAS SOUPS 80321 WITH SCORE 80524.396
AT ITER 8567 NEW BEST:: SOT 409199 SOS 203435 HAS SOPS 198069 HAS SOUS 81339 HAS SOUPS 80315 WITH SCORE 80518.435
AT ITER 8572 NEW BEST:: SOT 409067 SOS 203431 HAS SOPS 198065 HAS SOUS 80984 HAS SOUPS 79960 WITH SCORE 80163.431
AT ITER 8675 NEW BEST:: SOT 409073 SOS 203419 HAS SOPS 198053 HAS SOUS 80984 HAS SOUPS 79960 WITH SCORE 80163.419
AT ITER 8676 NEW BEST:: SOT 409010 SOS 203377 HAS SOPS 198011 HAS SOUS 80900 HAS SOUPS 79876 WITH SCORE 80079.377
AT ITER 8689 NEW BEST:: SOT 408972 SOS 203328 HAS SOPS 197962 HAS SOUS 80824 HAS SOUPS 79800 WITH SCORE 80003.328
AT ITER 8694 NEW BEST:: SOT 408972 SOS 203315 HAS SOPS 197949 HAS SOUS 80811 HAS SOUPS 79787 WITH SCORE 79990.315
AT ITER 8728 NEW BEST:: SOT 408950 SOS 203359 HAS SOPS 197993 HAS SOUS 80767 HAS SOUPS 79743 WITH SCORE 79946.359
AT ITER 8751 NEW BEST:: SOT 409005 SOS 203361 HAS SOPS 198006 HAS SOUS 80754 HAS SOUPS 79741 WITH SCORE 79944.361
AT ITER 8760 NEW BEST:: SOT 409001 SOS 203357 HAS SOPS 198002 HAS SOUS 80740 HAS SOUPS 79727 WITH SCORE 79930.357
AT ITER 8763 NEW BEST:: SOT 408989 SOS 203345 HAS SOPS 197990 HAS SOUS 80701 HAS SOUPS 79688 WITH SCORE 79891.345
AT ITER 8781 NEW BEST:: SOT 408989 SOS 203345 HAS SOPS 197982 HAS SOUS 80685 HAS SOUPS 79672 WITH SCORE 79875.345
AT ITER 8808 NEW BEST:: SOT 408961 SOS 203317 HAS SOPS 197954 HAS SOUS 80669 HAS SOUPS 79656 WITH SCORE 79859.317
AT ITER 8831 NEW BEST:: SOT 408837 SOS 203160 HAS SOPS 197800 HAS SOUS 80558 HAS SOUPS 79545 WITH SCORE 79748.16
AT ITER 8836 NEW BEST:: SOT 408940 SOS 203053 HAS SOPS 197693 HAS SOUS 80551 HAS SOUPS 79538 WITH SCORE 79741.053
AT ITER 8889 NEW BEST:: SOT 408940 SOS 203031 HAS SOPS 197671 HAS SOUS 80551 HAS SOUPS 79538 WITH SCORE 79741.031
AT ITER 8925 NEW BEST:: SOT 408940 SOS 203067 HAS SOPS 197707 HAS SOUS 80519 HAS SOUPS 79506 WITH SCORE 79709.067
AT ITER 8933 NEW BEST:: SOT 408937 SOS 203048 HAS SOPS 197688 HAS SOUS 80505 HAS SOUPS 79492 WITH SCORE 79695.048
AT ITER 8946 NEW BEST:: SOT 408926 SOS 203040 HAS SOPS 197680 HAS SOUS 80491 HAS SOUPS 79478 WITH SCORE 79681.04
AT ITER 8960 NEW BEST:: SOT 408934 SOS 203032 HAS SOPS 197672 HAS SOUS 80491 HAS SOUPS 79478 WITH SCORE 79681.032
AT ITER 9040 NEW BEST:: SOT 408930 SOS 203028 HAS SOPS 197668 HAS SOUS 80483 HAS SOUPS 79470 WITH SCORE 79673.028
AT ITER 9112 NEW BEST:: SOT 408909 SOS 203000 HAS SOPS 197640 HAS SOUS 80462 HAS SOUPS 79449 WITH SCORE 79652.0
AT ITER 9121 NEW BEST:: SOT 408903 SOS 202994 HAS SOPS 197634 HAS SOUS 80457 HAS SOUPS 79444 WITH SCORE 79646.994
AT ITER 9127 NEW BEST:: SOT 408897 SOS 202988 HAS SOPS 197628 HAS SOUS 80451 HAS SOUPS 79438 WITH SCORE 79640.988
AT ITER 9138 NEW BEST:: SOT 408898 SOS 202996 HAS SOPS 197627 HAS SOUS 80427 HAS SOUPS 79414 WITH SCORE 79616.996
AT ITER 9144 NEW BEST:: SOT 408843 SOS 202902 HAS SOPS 197551 HAS SOUS 80379 HAS SOUPS 79366 WITH SCORE 79568.902
AT ITER 9224 NEW BEST:: SOT 408819 SOS 202878 HAS SOPS 197527 HAS SOUS 80378 HAS SOUPS 79365 WITH SCORE 79567.878
AT ITER 9280 NEW BEST:: SOT 408819 SOS 202887 HAS SOPS 197536 HAS SOUS 80369 HAS SOUPS 79356 WITH SCORE 79558.887
AT ITER 9284 NEW BEST:: SOT 408819 SOS 202877 HAS SOPS 197526 HAS SOUS 80369 HAS SOUPS 79356 WITH SCORE 79558.877
AT ITER 9309 NEW BEST:: SOT 408832 SOS 202879 HAS SOPS 197528 HAS SOUS 80351 HAS SOUPS 79338 WITH SCORE 79540.879
AT ITER 9357 NEW BEST:: SOT 408745 SOS 202662 HAS SOPS 197311 HAS SOUS 80167 HAS SOUPS 79154 WITH SCORE 79356.662
AT ITER 9368 NEW BEST:: SOT 408577 SOS 202485 HAS SOPS 197128 HAS SOUS 80126 HAS SOUPS 79113 WITH SCORE 79315.485
AT ITER 9381 NEW BEST:: SOT 408579 SOS 202494 HAS SOPS 197137 HAS SOUS 80105 HAS SOUPS 79092 WITH SCORE 79294.494
AT ITER 9391 NEW BEST:: SOT 408579 SOS 202493 HAS SOPS 197136 HAS SOUS 80105 HAS SOUPS 79092 WITH SCORE 79294.493
AT ITER 9392 NEW BEST:: SOT 408579 SOS 202622 HAS SOPS 197265 HAS SOUS 80046 HAS SOUPS 79033 WITH SCORE 79235.622
AT ITER 9396 NEW BEST:: SOT 408579 SOS 202625 HAS SOPS 197268 HAS SOUS 80043 HAS SOUPS 79030 WITH SCORE 79232.625
AT ITER 9439 NEW BEST:: SOT 408464 SOS 202510 HAS SOPS 197153 HAS SOUS 80010 HAS SOUPS 78997 WITH SCORE 79199.51
AT ITER 9490 NEW BEST:: SOT 408409 SOS 202642 HAS SOPS 197285 HAS SOUS 79966 HAS SOUPS 78953 WITH SCORE 79155.642
AT ITER 9525 NEW BEST:: SOT 408409 SOS 202621 HAS SOPS 197264 HAS SOUS 79966 HAS SOUPS 78953 WITH SCORE 79155.621
AT ITER 9526 NEW BEST:: SOT 408404 SOS 202631 HAS SOPS 197256 HAS SOUS 79957 HAS SOUPS 78943 WITH SCORE 79145.631
AT ITER 9573 NEW BEST:: SOT 408386 SOS 202613 HAS SOPS 197238 HAS SOUS 79934 HAS SOUPS 78920 WITH SCORE 79122.613
AT ITER 9592 NEW BEST:: SOT 408386 SOS 202586 HAS SOPS 197211 HAS SOUS 79925 HAS SOUPS 78911 WITH SCORE 79113.586
AT ITER 9616 NEW BEST:: SOT 408382 SOS 202542 HAS SOPS 197173 HAS SOUS 79891 HAS SOUPS 78883 WITH SCORE 79085.542
AT ITER 9631 NEW BEST:: SOT 408382 SOS 202542 HAS SOPS 197173 HAS SOUS 79889 HAS SOUPS 78881 WITH SCORE 79083.542
AT ITER 9632 NEW BEST:: SOT 408336 SOS 202496 HAS SOPS 197127 HAS SOUS 79833 HAS SOUPS 78825 WITH SCORE 79027.496
AT ITER 9694 NEW BEST:: SOT 408336 SOS 201910 HAS SOPS 196541 HAS SOUS 79818 HAS SOUPS 78810 WITH SCORE 79011.91
AT ITER 9719 NEW BEST:: SOT 408322 SOS 201841 HAS SOPS 196472 HAS SOUS 79601 HAS SOUPS 78593 WITH SCORE 78794.841
AT ITER 9737 NEW BEST:: SOT 408321 SOS 201840 HAS SOPS 196471 HAS SOUS 79598 HAS SOUPS 78590 WITH SCORE 78791.84
AT ITER 9826 NEW BEST:: SOT 408311 SOS 201830 HAS SOPS 196461 HAS SOUS 79588 HAS SOUPS 78580 WITH SCORE 78781.83
AT ITER 9872 NEW BEST:: SOT 408309 SOS 201842 HAS SOPS 196463 HAS SOUS 79587 HAS SOUPS 78577 WITH SCORE 78778.842
AT ITER 9878 NEW BEST:: SOT 408301 SOS 201799 HAS SOPS 196420 HAS SOUS 79584 HAS SOUPS 78574 WITH SCORE 78775.799
AT ITER 9910 NEW BEST:: SOT 408282 SOS 201761 HAS SOPS 196382 HAS SOUS 79546 HAS SOUPS 78536 WITH SCORE 78737.761
AT ITER 9938 NEW BEST:: SOT 408240 SOS 201671 HAS SOPS 196292 HAS SOUS 79488 HAS SOUPS 78478 WITH SCORE 78679.671
AT ITER 9949 NEW BEST:: SOT 408235 SOS 201661 HAS SOPS 196282 HAS SOUS 79483 HAS SOUPS 78473 WITH SCORE 78674.661
AT ITER 9967 NEW BEST:: SOT 408235 SOS 201626 HAS SOPS 196247 HAS SOUS 79481 HAS SOUPS 78471 WITH SCORE 78672.626
AT ITER 9971 NEW BEST:: SOT 408244 SOS 201726 HAS SOPS 196317 HAS SOUS 79437 HAS SOUPS 78427 WITH SCORE 78628.726
AT ITER 9993 NEW BEST:: SOT 408282 SOS 201812 HAS SOPS 196403 HAS SOUS 79435 HAS SOUPS 78425 WITH SCORE 78626.812
STATE_SPACE STATES 13861021 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 62 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 48889103 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679487918536
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S04J04T06"
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 PolyORBLF-COL-S04J04T06, 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 r299-tall-167873952900400"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S04J04T06.tgz
mv PolyORBLF-COL-S04J04T06 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 ;