About the Execution of Smart+red for PolyORBLF-PT-S02J04T08
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 6132.855 | 3600000.00 | 3631554.00 | 6456.90 | [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.r299-tall-167873953100504.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-PT-S02J04T08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r299-tall-167873953100504
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.8M
-rw-r--r-- 1 mcc users 15K Feb 26 13:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 13:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 22K Feb 26 13:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 128K Feb 26 13:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 9.4K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 42K Feb 26 13:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 235K Feb 26 13:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 63K Feb 26 13:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 346K Feb 26 13:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 3.0K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.1K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 717K 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 1679497018907
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-PT-S02J04T08
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-22 14:57:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-22 14:57:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-22 14:57:00] [INFO ] Load time of PNML (sax parser for PT used): 97 ms
[2023-03-22 14:57:00] [INFO ] Transformed 614 places.
[2023-03-22 14:57:00] [INFO ] Transformed 1242 transitions.
[2023-03-22 14:57:00] [INFO ] Parsed PT model containing 614 places and 1242 transitions and 5732 arcs in 165 ms.
[2023-03-22 14:57:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 614 places, 1242 transitions and 5732 arcs took 13 ms.
Total runtime 206 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S02J04T08
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: 614 places, 1242 transitions, 5732 arcs.
AT ITER 0 NEW BEST:: SOT 459496 SOS 267456 HAS SOPS 263841 HAS SOUS 167043 HAS SOUPS 166414 WITH SCORE 166681.456
AT ITER 7 NEW BEST:: SOT 458790 SOS 266476 HAS SOPS 262861 HAS SOUS 166534 HAS SOUPS 165905 WITH SCORE 166171.476
AT ITER 11 NEW BEST:: SOT 458646 SOS 266373 HAS SOPS 262758 HAS SOUS 166457 HAS SOUPS 165828 WITH SCORE 166094.373
AT ITER 32 NEW BEST:: SOT 458437 SOS 266181 HAS SOPS 262566 HAS SOUS 166416 HAS SOUPS 165787 WITH SCORE 166053.181
AT ITER 34 NEW BEST:: SOT 458136 SOS 265896 HAS SOPS 262281 HAS SOUS 166131 HAS SOUPS 165502 WITH SCORE 165767.896
AT ITER 37 NEW BEST:: SOT 458122 SOS 265882 HAS SOPS 262267 HAS SOUS 166117 HAS SOUPS 165488 WITH SCORE 165753.882
AT ITER 42 NEW BEST:: SOT 457833 SOS 265679 HAS SOPS 262064 HAS SOUS 165914 HAS SOUPS 165285 WITH SCORE 165550.679
AT ITER 48 NEW BEST:: SOT 457727 SOS 265414 HAS SOPS 261799 HAS SOUS 165744 HAS SOUPS 165115 WITH SCORE 165380.414
AT ITER 60 NEW BEST:: SOT 457680 SOS 265367 HAS SOPS 261752 HAS SOUS 165685 HAS SOUPS 165056 WITH SCORE 165321.367
AT ITER 61 NEW BEST:: SOT 457405 SOS 264894 HAS SOPS 261279 HAS SOUS 164636 HAS SOUPS 164007 WITH SCORE 164271.894
AT ITER 63 NEW BEST:: SOT 457405 SOS 264800 HAS SOPS 261138 HAS SOUS 164589 HAS SOUPS 163913 WITH SCORE 164177.8
AT ITER 67 NEW BEST:: SOT 457382 SOS 264547 HAS SOPS 260885 HAS SOUS 164520 HAS SOUPS 163844 WITH SCORE 164108.547
AT ITER 69 NEW BEST:: SOT 457072 SOS 263821 HAS SOPS 260415 HAS SOUS 164179 HAS SOUPS 163535 WITH SCORE 163798.821
AT ITER 72 NEW BEST:: SOT 456912 SOS 263181 HAS SOPS 259775 HAS SOUS 163936 HAS SOUPS 163292 WITH SCORE 163555.181
AT ITER 73 NEW BEST:: SOT 456948 SOS 263116 HAS SOPS 259710 HAS SOUS 163696 HAS SOUPS 163052 WITH SCORE 163315.116
AT ITER 75 NEW BEST:: SOT 456942 SOS 263110 HAS SOPS 259704 HAS SOUS 163669 HAS SOUPS 163025 WITH SCORE 163288.11
AT ITER 79 NEW BEST:: SOT 456933 SOS 263081 HAS SOPS 259675 HAS SOUS 163640 HAS SOUPS 162996 WITH SCORE 163259.081
AT ITER 82 NEW BEST:: SOT 456560 SOS 262836 HAS SOPS 259430 HAS SOUS 163393 HAS SOUPS 162749 WITH SCORE 163011.836
AT ITER 83 NEW BEST:: SOT 456368 SOS 262625 HAS SOPS 259219 HAS SOUS 163360 HAS SOUPS 162716 WITH SCORE 162978.625
AT ITER 84 NEW BEST:: SOT 456370 SOS 262524 HAS SOPS 259118 HAS SOUS 163002 HAS SOUPS 162358 WITH SCORE 162620.524
AT ITER 85 NEW BEST:: SOT 456347 SOS 262478 HAS SOPS 259072 HAS SOUS 162956 HAS SOUPS 162312 WITH SCORE 162574.478
AT ITER 86 NEW BEST:: SOT 456344 SOS 262475 HAS SOPS 259069 HAS SOUS 162953 HAS SOUPS 162309 WITH SCORE 162571.475
AT ITER 92 NEW BEST:: SOT 456230 SOS 262019 HAS SOPS 258613 HAS SOUS 162839 HAS SOUPS 162195 WITH SCORE 162457.019
AT ITER 101 NEW BEST:: SOT 455738 SOS 261654 HAS SOPS 258248 HAS SOUS 162360 HAS SOUPS 161716 WITH SCORE 161977.654
AT ITER 107 NEW BEST:: SOT 455703 SOS 261556 HAS SOPS 258150 HAS SOUS 162318 HAS SOUPS 161674 WITH SCORE 161935.556
AT ITER 110 NEW BEST:: SOT 455561 SOS 260988 HAS SOPS 257582 HAS SOUS 162137 HAS SOUPS 161493 WITH SCORE 161753.988
AT ITER 114 NEW BEST:: SOT 453295 SOS 259322 HAS SOPS 255316 HAS SOUS 159940 HAS SOUPS 159221 WITH SCORE 159480.322
AT ITER 116 NEW BEST:: SOT 452863 SOS 258782 HAS SOPS 254776 HAS SOUS 159400 HAS SOUPS 158681 WITH SCORE 158939.782
AT ITER 120 NEW BEST:: SOT 452789 SOS 258477 HAS SOPS 254471 HAS SOUS 159330 HAS SOUPS 158611 WITH SCORE 158869.477
AT ITER 121 NEW BEST:: SOT 452773 SOS 258434 HAS SOPS 254428 HAS SOUS 159286 HAS SOUPS 158567 WITH SCORE 158825.434
AT ITER 124 NEW BEST:: SOT 452757 SOS 258412 HAS SOPS 254406 HAS SOUS 159145 HAS SOUPS 158426 WITH SCORE 158684.412
AT ITER 129 NEW BEST:: SOT 452751 SOS 258406 HAS SOPS 254400 HAS SOUS 159139 HAS SOUPS 158420 WITH SCORE 158678.406
AT ITER 131 NEW BEST:: SOT 452804 SOS 258682 HAS SOPS 254676 HAS SOUS 159077 HAS SOUPS 158358 WITH SCORE 158616.682
AT ITER 134 NEW BEST:: SOT 452775 SOS 258595 HAS SOPS 254560 HAS SOUS 158990 HAS SOUPS 158271 WITH SCORE 158529.595
AT ITER 143 NEW BEST:: SOT 452693 SOS 258523 HAS SOPS 254488 HAS SOUS 158955 HAS SOUPS 158236 WITH SCORE 158494.523
AT ITER 146 NEW BEST:: SOT 452679 SOS 258225 HAS SOPS 254190 HAS SOUS 158860 HAS SOUPS 158141 WITH SCORE 158399.225
AT ITER 151 NEW BEST:: SOT 452532 SOS 258273 HAS SOPS 254238 HAS SOUS 158795 HAS SOUPS 158076 WITH SCORE 158334.273
AT ITER 153 NEW BEST:: SOT 452466 SOS 258174 HAS SOPS 254139 HAS SOUS 158729 HAS SOUPS 158010 WITH SCORE 158268.174
AT ITER 158 NEW BEST:: SOT 452374 SOS 257990 HAS SOPS 253955 HAS SOUS 158537 HAS SOUPS 157818 WITH SCORE 158075.99
AT ITER 159 NEW BEST:: SOT 452339 SOS 257955 HAS SOPS 253903 HAS SOUS 158466 HAS SOUPS 157747 WITH SCORE 158004.955
AT ITER 162 NEW BEST:: SOT 452022 SOS 256945 HAS SOPS 252893 HAS SOUS 157848 HAS SOUPS 157129 WITH SCORE 157385.945
AT ITER 165 NEW BEST:: SOT 451579 SOS 256597 HAS SOPS 252545 HAS SOUS 157370 HAS SOUPS 156651 WITH SCORE 156907.597
AT ITER 183 NEW BEST:: SOT 451407 SOS 256167 HAS SOPS 252115 HAS SOUS 157122 HAS SOUPS 156403 WITH SCORE 156659.167
AT ITER 184 NEW BEST:: SOT 451383 SOS 256119 HAS SOPS 252067 HAS SOUS 157074 HAS SOUPS 156355 WITH SCORE 156611.119
AT ITER 185 NEW BEST:: SOT 450664 SOS 255582 HAS SOPS 251530 HAS SOUS 156981 HAS SOUPS 156262 WITH SCORE 156517.582
AT ITER 188 NEW BEST:: SOT 450556 SOS 255451 HAS SOPS 251399 HAS SOUS 156746 HAS SOUPS 156027 WITH SCORE 156282.451
AT ITER 197 NEW BEST:: SOT 450028 SOS 254969 HAS SOPS 250917 HAS SOUS 156570 HAS SOUPS 155851 WITH SCORE 156105.969
AT ITER 198 NEW BEST:: SOT 450042 SOS 254983 HAS SOPS 250931 HAS SOUS 156524 HAS SOUPS 155805 WITH SCORE 156059.983
AT ITER 203 NEW BEST:: SOT 449851 SOS 254795 HAS SOPS 250806 HAS SOUS 156395 HAS SOUPS 155676 WITH SCORE 155930.795
AT ITER 206 NEW BEST:: SOT 449893 SOS 254837 HAS SOPS 250848 HAS SOUS 156387 HAS SOUPS 155668 WITH SCORE 155922.837
AT ITER 207 NEW BEST:: SOT 449893 SOS 254771 HAS SOPS 250782 HAS SOUS 156387 HAS SOUPS 155668 WITH SCORE 155922.771
AT ITER 215 NEW BEST:: SOT 449893 SOS 254719 HAS SOPS 250730 HAS SOUS 156335 HAS SOUPS 155616 WITH SCORE 155870.719
AT ITER 217 NEW BEST:: SOT 449777 SOS 254527 HAS SOPS 250538 HAS SOUS 156156 HAS SOUPS 155437 WITH SCORE 155691.527
AT ITER 220 NEW BEST:: SOT 449474 SOS 254203 HAS SOPS 250214 HAS SOUS 155986 HAS SOUPS 155267 WITH SCORE 155521.203
AT ITER 222 NEW BEST:: SOT 449579 SOS 254293 HAS SOPS 250304 HAS SOUS 155977 HAS SOUPS 155258 WITH SCORE 155512.293
AT ITER 231 NEW BEST:: SOT 449589 SOS 254303 HAS SOPS 250314 HAS SOUS 155965 HAS SOUPS 155246 WITH SCORE 155500.303
AT ITER 238 NEW BEST:: SOT 449351 SOS 254065 HAS SOPS 250076 HAS SOUS 155802 HAS SOUPS 155083 WITH SCORE 155337.065
AT ITER 242 NEW BEST:: SOT 449413 SOS 255025 HAS SOPS 249892 HAS SOUS 155897 HAS SOUPS 155035 WITH SCORE 155290.025
AT ITER 243 NEW BEST:: SOT 449415 SOS 255043 HAS SOPS 249910 HAS SOUS 155861 HAS SOUPS 154999 WITH SCORE 155254.043
AT ITER 245 NEW BEST:: SOT 449303 SOS 254797 HAS SOPS 249664 HAS SOUS 155605 HAS SOUPS 154743 WITH SCORE 154997.797
AT ITER 247 NEW BEST:: SOT 449303 SOS 254797 HAS SOPS 249664 HAS SOUS 155591 HAS SOUPS 154729 WITH SCORE 154983.797
AT ITER 255 NEW BEST:: SOT 448848 SOS 254453 HAS SOPS 249174 HAS SOUS 155206 HAS SOUPS 154239 WITH SCORE 154493.453
AT ITER 257 NEW BEST:: SOT 448415 SOS 254020 HAS SOPS 248741 HAS SOUS 154773 HAS SOUPS 153806 WITH SCORE 154060.02
AT ITER 259 NEW BEST:: SOT 448377 SOS 253925 HAS SOPS 248646 HAS SOUS 154697 HAS SOUPS 153730 WITH SCORE 153983.925
AT ITER 262 NEW BEST:: SOT 448030 SOS 253489 HAS SOPS 248210 HAS SOUS 154262 HAS SOUPS 153295 WITH SCORE 153548.489
AT ITER 270 NEW BEST:: SOT 448031 SOS 253488 HAS SOPS 248209 HAS SOUS 154261 HAS SOUPS 153294 WITH SCORE 153547.488
AT ITER 276 NEW BEST:: SOT 447944 SOS 253143 HAS SOPS 247864 HAS SOUS 154179 HAS SOUPS 153212 WITH SCORE 153465.143
AT ITER 283 NEW BEST:: SOT 447934 SOS 253117 HAS SOPS 247838 HAS SOUS 154127 HAS SOUPS 153160 WITH SCORE 153413.117
AT ITER 284 NEW BEST:: SOT 447771 SOS 252875 HAS SOPS 247596 HAS SOUS 153578 HAS SOUPS 152611 WITH SCORE 152863.875
AT ITER 290 NEW BEST:: SOT 447835 SOS 253154 HAS SOPS 247875 HAS SOUS 153400 HAS SOUPS 152433 WITH SCORE 152686.154
AT ITER 291 NEW BEST:: SOT 447835 SOS 253307 HAS SOPS 248028 HAS SOUS 153298 HAS SOUPS 152331 WITH SCORE 152584.307
AT ITER 292 NEW BEST:: SOT 447830 SOS 253297 HAS SOPS 248018 HAS SOUS 153288 HAS SOUPS 152321 WITH SCORE 152574.297
AT ITER 297 NEW BEST:: SOT 447784 SOS 253251 HAS SOPS 247972 HAS SOUS 153187 HAS SOUPS 152220 WITH SCORE 152473.251
AT ITER 298 NEW BEST:: SOT 447751 SOS 252673 HAS SOPS 247394 HAS SOUS 153107 HAS SOUPS 152140 WITH SCORE 152392.673
AT ITER 320 NEW BEST:: SOT 447079 SOS 252049 HAS SOPS 246770 HAS SOUS 152483 HAS SOUPS 151516 WITH SCORE 151768.049
AT ITER 324 NEW BEST:: SOT 446730 SOS 251700 HAS SOPS 246421 HAS SOUS 152310 HAS SOUPS 151343 WITH SCORE 151594.7
AT ITER 330 NEW BEST:: SOT 446690 SOS 251660 HAS SOPS 246381 HAS SOUS 152231 HAS SOUPS 151264 WITH SCORE 151515.66
AT ITER 349 NEW BEST:: SOT 446625 SOS 251530 HAS SOPS 246251 HAS SOUS 152174 HAS SOUPS 151207 WITH SCORE 151458.53
AT ITER 388 NEW BEST:: SOT 446169 SOS 251246 HAS SOPS 245967 HAS SOUS 151969 HAS SOUPS 151002 WITH SCORE 151253.246
AT ITER 392 NEW BEST:: SOT 446169 SOS 251200 HAS SOPS 245921 HAS SOUS 151923 HAS SOUPS 150956 WITH SCORE 151207.2
AT ITER 393 NEW BEST:: SOT 445957 SOS 250992 HAS SOPS 245713 HAS SOUS 151846 HAS SOUPS 150879 WITH SCORE 151129.992
AT ITER 394 NEW BEST:: SOT 445864 SOS 250885 HAS SOPS 245606 HAS SOUS 151664 HAS SOUPS 150697 WITH SCORE 150947.885
AT ITER 395 NEW BEST:: SOT 445856 SOS 250869 HAS SOPS 245590 HAS SOUS 151648 HAS SOUPS 150681 WITH SCORE 150931.869
AT ITER 397 NEW BEST:: SOT 445802 SOS 250788 HAS SOPS 245509 HAS SOUS 151567 HAS SOUPS 150600 WITH SCORE 150850.788
AT ITER 411 NEW BEST:: SOT 445870 SOS 251243 HAS SOPS 245964 HAS SOUS 151507 HAS SOUPS 150540 WITH SCORE 150791.243
AT ITER 412 NEW BEST:: SOT 445420 SOS 250897 HAS SOPS 245618 HAS SOUS 151448 HAS SOUPS 150481 WITH SCORE 150731.897
AT ITER 418 NEW BEST:: SOT 445481 SOS 251507 HAS SOPS 245740 HAS SOUS 151457 HAS SOUPS 150429 WITH SCORE 150680.507
AT ITER 424 NEW BEST:: SOT 445408 SOS 251422 HAS SOPS 245655 HAS SOUS 151328 HAS SOUPS 150300 WITH SCORE 150551.422
AT ITER 442 NEW BEST:: SOT 445414 SOS 251588 HAS SOPS 245821 HAS SOUS 151166 HAS SOUPS 150138 WITH SCORE 150389.588
AT ITER 444 NEW BEST:: SOT 445414 SOS 251526 HAS SOPS 245759 HAS SOUS 151104 HAS SOUPS 150076 WITH SCORE 150327.526
AT ITER 454 NEW BEST:: SOT 445388 SOS 251569 HAS SOPS 245802 HAS SOUS 150963 HAS SOUPS 149935 WITH SCORE 150186.569
AT ITER 455 NEW BEST:: SOT 445279 SOS 251335 HAS SOPS 245568 HAS SOUS 150729 HAS SOUPS 149701 WITH SCORE 149952.335
AT ITER 458 NEW BEST:: SOT 445291 SOS 251347 HAS SOPS 245580 HAS SOUS 150721 HAS SOUPS 149693 WITH SCORE 149944.347
AT ITER 462 NEW BEST:: SOT 445142 SOS 251201 HAS SOPS 245487 HAS SOUS 150529 HAS SOUPS 149501 WITH SCORE 149752.201
AT ITER 467 NEW BEST:: SOT 445115 SOS 251174 HAS SOPS 245460 HAS SOUS 150436 HAS SOUPS 149408 WITH SCORE 149659.174
AT ITER 477 NEW BEST:: SOT 445115 SOS 251174 HAS SOPS 245460 HAS SOUS 150421 HAS SOUPS 149393 WITH SCORE 149644.174
AT ITER 479 NEW BEST:: SOT 445148 SOS 251407 HAS SOPS 245693 HAS SOUS 149923 HAS SOUPS 148895 WITH SCORE 149146.407
AT ITER 484 NEW BEST:: SOT 445174 SOS 251590 HAS SOPS 245876 HAS SOUS 149784 HAS SOUPS 148756 WITH SCORE 149007.59
AT ITER 488 NEW BEST:: SOT 444645 SOS 251122 HAS SOPS 245408 HAS SOUS 149295 HAS SOUPS 148267 WITH SCORE 148518.122
AT ITER 494 NEW BEST:: SOT 444631 SOS 251108 HAS SOPS 245394 HAS SOUS 149257 HAS SOUPS 148229 WITH SCORE 148480.108
AT ITER 499 NEW BEST:: SOT 444648 SOS 251176 HAS SOPS 245462 HAS SOUS 149240 HAS SOUPS 148212 WITH SCORE 148463.176
AT ITER 501 NEW BEST:: SOT 444648 SOS 251176 HAS SOPS 245462 HAS SOUS 149228 HAS SOUPS 148200 WITH SCORE 148451.176
AT ITER 502 NEW BEST:: SOT 444560 SOS 250726 HAS SOPS 245012 HAS SOUS 149205 HAS SOUPS 148177 WITH SCORE 148427.726
AT ITER 505 NEW BEST:: SOT 444560 SOS 250719 HAS SOPS 245005 HAS SOUS 149009 HAS SOUPS 147981 WITH SCORE 148231.719
AT ITER 510 NEW BEST:: SOT 444583 SOS 250678 HAS SOPS 244964 HAS SOUS 148894 HAS SOUPS 147866 WITH SCORE 148116.678
AT ITER 516 NEW BEST:: SOT 443393 SOS 249683 HAS SOPS 243969 HAS SOUS 147989 HAS SOUPS 146961 WITH SCORE 147210.683
AT ITER 523 NEW BEST:: SOT 443383 SOS 249673 HAS SOPS 243959 HAS SOUS 147979 HAS SOUPS 146951 WITH SCORE 147200.673
AT ITER 525 NEW BEST:: SOT 443293 SOS 249553 HAS SOPS 243839 HAS SOUS 147859 HAS SOUPS 146831 WITH SCORE 147080.553
AT ITER 526 NEW BEST:: SOT 443269 SOS 249505 HAS SOPS 243791 HAS SOUS 147811 HAS SOUPS 146783 WITH SCORE 147032.505
AT ITER 529 NEW BEST:: SOT 443086 SOS 249411 HAS SOPS 243697 HAS SOUS 147695 HAS SOUPS 146667 WITH SCORE 146916.411
AT ITER 535 NEW BEST:: SOT 443086 SOS 249376 HAS SOPS 243662 HAS SOUS 147582 HAS SOUPS 146554 WITH SCORE 146803.376
AT ITER 536 NEW BEST:: SOT 443122 SOS 249621 HAS SOPS 243907 HAS SOUS 147566 HAS SOUPS 146538 WITH SCORE 146787.621
AT ITER 538 NEW BEST:: SOT 443071 SOS 249154 HAS SOPS 243440 HAS SOUS 147476 HAS SOUPS 146448 WITH SCORE 146697.154
AT ITER 540 NEW BEST:: SOT 443045 SOS 249116 HAS SOPS 243402 HAS SOUS 147410 HAS SOUPS 146382 WITH SCORE 146631.116
AT ITER 543 NEW BEST:: SOT 443045 SOS 249170 HAS SOPS 243456 HAS SOUS 147356 HAS SOUPS 146328 WITH SCORE 146577.17
AT ITER 550 NEW BEST:: SOT 443045 SOS 249843 HAS SOPS 244129 HAS SOUS 147351 HAS SOUPS 146323 WITH SCORE 146572.843
AT ITER 554 NEW BEST:: SOT 442969 SOS 249703 HAS SOPS 243989 HAS SOUS 147184 HAS SOUPS 146156 WITH SCORE 146405.703
AT ITER 556 NEW BEST:: SOT 442888 SOS 249379 HAS SOPS 243665 HAS SOUS 147127 HAS SOUPS 146099 WITH SCORE 146348.379
AT ITER 557 NEW BEST:: SOT 442854 SOS 249590 HAS SOPS 243876 HAS SOUS 146943 HAS SOUPS 145915 WITH SCORE 146164.59
AT ITER 558 NEW BEST:: SOT 442826 SOS 249562 HAS SOPS 243832 HAS SOUS 146904 HAS SOUPS 145876 WITH SCORE 146125.562
AT ITER 559 NEW BEST:: SOT 442768 SOS 249504 HAS SOPS 243792 HAS SOUS 146882 HAS SOUPS 145854 WITH SCORE 146103.504
AT ITER 580 NEW BEST:: SOT 442672 SOS 249312 HAS SOPS 243600 HAS SOUS 146690 HAS SOUPS 145662 WITH SCORE 145911.312
AT ITER 594 NEW BEST:: SOT 442669 SOS 249309 HAS SOPS 243600 HAS SOUS 146684 HAS SOUPS 145656 WITH SCORE 145905.309
AT ITER 607 NEW BEST:: SOT 442663 SOS 249297 HAS SOPS 243588 HAS SOUS 146672 HAS SOUPS 145644 WITH SCORE 145893.297
AT ITER 611 NEW BEST:: SOT 442584 SOS 249168 HAS SOPS 243459 HAS SOUS 146515 HAS SOUPS 145487 WITH SCORE 145736.168
AT ITER 612 NEW BEST:: SOT 442326 SOS 248884 HAS SOPS 243175 HAS SOUS 146506 HAS SOUPS 145478 WITH SCORE 145726.884
AT ITER 624 NEW BEST:: SOT 442994 SOS 250013 HAS SOPS 244304 HAS SOUS 146342 HAS SOUPS 145314 WITH SCORE 145564.013
AT ITER 632 NEW BEST:: SOT 442987 SOS 249946 HAS SOPS 244237 HAS SOUS 146216 HAS SOUPS 145188 WITH SCORE 145437.946
AT ITER 639 NEW BEST:: SOT 442951 SOS 249828 HAS SOPS 244119 HAS SOUS 146095 HAS SOUPS 145067 WITH SCORE 145316.828
AT ITER 649 NEW BEST:: SOT 442864 SOS 249741 HAS SOPS 244032 HAS SOUS 146033 HAS SOUPS 145005 WITH SCORE 145254.741
AT ITER 653 NEW BEST:: SOT 442822 SOS 249678 HAS SOPS 243969 HAS SOUS 145907 HAS SOUPS 144879 WITH SCORE 145128.678
AT ITER 655 NEW BEST:: SOT 442851 SOS 249854 HAS SOPS 244145 HAS SOUS 145766 HAS SOUPS 144738 WITH SCORE 144987.854
AT ITER 659 NEW BEST:: SOT 441458 SOS 248535 HAS SOPS 242826 HAS SOUS 144435 HAS SOUPS 143407 WITH SCORE 143655.535
AT ITER 660 NEW BEST:: SOT 441371 SOS 248448 HAS SOPS 242739 HAS SOUS 144261 HAS SOUPS 143233 WITH SCORE 143481.448
AT ITER 666 NEW BEST:: SOT 441344 SOS 248419 HAS SOPS 242710 HAS SOUS 144157 HAS SOUPS 143129 WITH SCORE 143377.419
AT ITER 677 NEW BEST:: SOT 441344 SOS 248479 HAS SOPS 242770 HAS SOUS 144119 HAS SOUPS 143091 WITH SCORE 143339.479
AT ITER 687 NEW BEST:: SOT 441341 SOS 248476 HAS SOPS 242767 HAS SOUS 144115 HAS SOUPS 143087 WITH SCORE 143335.476
AT ITER 690 NEW BEST:: SOT 441176 SOS 248463 HAS SOPS 242754 HAS SOUS 144019 HAS SOUPS 142991 WITH SCORE 143239.463
AT ITER 698 NEW BEST:: SOT 441072 SOS 247621 HAS SOPS 242568 HAS SOUS 143513 HAS SOUPS 142567 WITH SCORE 142814.621
AT ITER 710 NEW BEST:: SOT 441041 SOS 247595 HAS SOPS 242542 HAS SOUS 143389 HAS SOUPS 142443 WITH SCORE 142690.595
AT ITER 739 NEW BEST:: SOT 440897 SOS 247379 HAS SOPS 242326 HAS SOUS 142985 HAS SOUPS 142039 WITH SCORE 142286.379
AT ITER 744 NEW BEST:: SOT 440826 SOS 247308 HAS SOPS 242255 HAS SOUS 142925 HAS SOUPS 141979 WITH SCORE 142226.308
AT ITER 751 NEW BEST:: SOT 440826 SOS 247301 HAS SOPS 242248 HAS SOUS 142918 HAS SOUPS 141972 WITH SCORE 142219.301
AT ITER 753 NEW BEST:: SOT 440767 SOS 248086 HAS SOPS 243033 HAS SOUS 142533 HAS SOUPS 141587 WITH SCORE 141835.086
AT ITER 758 NEW BEST:: SOT 440741 SOS 248034 HAS SOPS 242981 HAS SOUS 142501 HAS SOUPS 141555 WITH SCORE 141803.034
AT ITER 772 NEW BEST:: SOT 440697 SOS 247888 HAS SOPS 242835 HAS SOUS 142355 HAS SOUPS 141409 WITH SCORE 141656.888
AT ITER 773 NEW BEST:: SOT 440697 SOS 247823 HAS SOPS 242770 HAS SOUS 142290 HAS SOUPS 141344 WITH SCORE 141591.823
AT ITER 776 NEW BEST:: SOT 440714 SOS 247811 HAS SOPS 242759 HAS SOUS 142280 HAS SOUPS 141334 WITH SCORE 141581.811
AT ITER 787 NEW BEST:: SOT 441191 SOS 248313 HAS SOPS 243261 HAS SOUS 142080 HAS SOUPS 141134 WITH SCORE 141382.313
AT ITER 791 NEW BEST:: SOT 441191 SOS 248202 HAS SOPS 243067 HAS SOUS 142022 HAS SOUPS 141051 WITH SCORE 141299.202
AT ITER 801 NEW BEST:: SOT 441144 SOS 248212 HAS SOPS 243077 HAS SOUS 141558 HAS SOUPS 140587 WITH SCORE 140835.212
AT ITER 802 NEW BEST:: SOT 441144 SOS 248268 HAS SOPS 243133 HAS SOUS 141530 HAS SOUPS 140559 WITH SCORE 140807.268
AT ITER 812 NEW BEST:: SOT 441133 SOS 248169 HAS SOPS 243034 HAS SOUS 141518 HAS SOUPS 140547 WITH SCORE 140795.169
AT ITER 817 NEW BEST:: SOT 440906 SOS 247822 HAS SOPS 242687 HAS SOUS 140959 HAS SOUPS 139988 WITH SCORE 140235.822
AT ITER 822 NEW BEST:: SOT 440672 SOS 247522 HAS SOPS 242387 HAS SOUS 140659 HAS SOUPS 139688 WITH SCORE 139935.522
AT ITER 825 NEW BEST:: SOT 440717 SOS 247723 HAS SOPS 242588 HAS SOUS 140563 HAS SOUPS 139592 WITH SCORE 139839.723
AT ITER 831 NEW BEST:: SOT 440652 SOS 247342 HAS SOPS 242207 HAS SOUS 140448 HAS SOUPS 139477 WITH SCORE 139724.342
AT ITER 841 NEW BEST:: SOT 440652 SOS 247212 HAS SOPS 242077 HAS SOUS 140448 HAS SOUPS 139477 WITH SCORE 139724.212
AT ITER 846 NEW BEST:: SOT 440492 SOS 246594 HAS SOPS 241459 HAS SOUS 140150 HAS SOUPS 139179 WITH SCORE 139425.594
AT ITER 850 NEW BEST:: SOT 440486 SOS 246588 HAS SOPS 241453 HAS SOUS 140119 HAS SOUPS 139148 WITH SCORE 139394.588
AT ITER 868 NEW BEST:: SOT 440482 SOS 246584 HAS SOPS 241449 HAS SOUS 140108 HAS SOUPS 139137 WITH SCORE 139383.584
AT ITER 880 NEW BEST:: SOT 440482 SOS 246584 HAS SOPS 241449 HAS SOUS 140104 HAS SOUPS 139133 WITH SCORE 139379.584
AT ITER 881 NEW BEST:: SOT 440397 SOS 246187 HAS SOPS 241052 HAS SOUS 140016 HAS SOUPS 139045 WITH SCORE 139291.187
AT ITER 886 NEW BEST:: SOT 440307 SOS 245197 HAS SOPS 240062 HAS SOUS 139746 HAS SOUPS 138775 WITH SCORE 139020.197
AT ITER 894 NEW BEST:: SOT 440202 SOS 245024 HAS SOPS 239889 HAS SOUS 139426 HAS SOUPS 138455 WITH SCORE 138700.024
AT ITER 899 NEW BEST:: SOT 433716 SOS 239447 HAS SOPS 233440 HAS SOUS 136970 HAS SOUPS 135890 WITH SCORE 136129.447
AT ITER 902 NEW BEST:: SOT 433705 SOS 239425 HAS SOPS 233418 HAS SOUS 136948 HAS SOUPS 135868 WITH SCORE 136107.425
AT ITER 910 NEW BEST:: SOT 433685 SOS 239391 HAS SOPS 233384 HAS SOUS 136914 HAS SOUPS 135834 WITH SCORE 136073.391
AT ITER 911 NEW BEST:: SOT 433664 SOS 239349 HAS SOPS 233342 HAS SOUS 136872 HAS SOUPS 135792 WITH SCORE 136031.349
AT ITER 918 NEW BEST:: SOT 433647 SOS 239332 HAS SOPS 233325 HAS SOUS 136820 HAS SOUPS 135740 WITH SCORE 135979.332
AT ITER 919 NEW BEST:: SOT 433652 SOS 239622 HAS SOPS 233615 HAS SOUS 136614 HAS SOUPS 135534 WITH SCORE 135773.622
AT ITER 923 NEW BEST:: SOT 433673 SOS 239752 HAS SOPS 233745 HAS SOUS 136234 HAS SOUPS 135154 WITH SCORE 135393.752
AT ITER 925 NEW BEST:: SOT 433735 SOS 240209 HAS SOPS 234202 HAS SOUS 136079 HAS SOUPS 134999 WITH SCORE 135239.209
AT ITER 930 NEW BEST:: SOT 433081 SOS 239643 HAS SOPS 233636 HAS SOUS 135817 HAS SOUPS 134737 WITH SCORE 134976.643
AT ITER 933 NEW BEST:: SOT 432915 SOS 239394 HAS SOPS 233387 HAS SOUS 135651 HAS SOUPS 134571 WITH SCORE 134810.394
AT ITER 934 NEW BEST:: SOT 432868 SOS 239095 HAS SOPS 233088 HAS SOUS 135586 HAS SOUPS 134506 WITH SCORE 134745.095
AT ITER 935 NEW BEST:: SOT 432983 SOS 240836 HAS SOPS 236745 HAS SOUS 135295 HAS SOUPS 134386 WITH SCORE 134626.836
AT ITER 938 NEW BEST:: SOT 432865 SOS 240628 HAS SOPS 236537 HAS SOUS 134823 HAS SOUPS 133914 WITH SCORE 134154.628
AT ITER 942 NEW BEST:: SOT 432865 SOS 240616 HAS SOPS 236525 HAS SOUS 134823 HAS SOUPS 133914 WITH SCORE 134154.616
AT ITER 943 NEW BEST:: SOT 432883 SOS 240634 HAS SOPS 236543 HAS SOUS 134815 HAS SOUPS 133906 WITH SCORE 134146.634
AT ITER 944 NEW BEST:: SOT 432844 SOS 240478 HAS SOPS 236387 HAS SOUS 134737 HAS SOUPS 133828 WITH SCORE 134068.478
AT ITER 945 NEW BEST:: SOT 432844 SOS 235806 HAS SOPS 231715 HAS SOUS 134550 HAS SOUPS 133641 WITH SCORE 133876.806
AT ITER 949 NEW BEST:: SOT 432206 SOS 235190 HAS SOPS 231099 HAS SOUS 134228 HAS SOUPS 133319 WITH SCORE 133554.19
AT ITER 959 NEW BEST:: SOT 432113 SOS 235097 HAS SOPS 231006 HAS SOUS 134097 HAS SOUPS 133188 WITH SCORE 133423.097
AT ITER 960 NEW BEST:: SOT 432093 SOS 235077 HAS SOPS 230986 HAS SOUS 134026 HAS SOUPS 133117 WITH SCORE 133352.077
AT ITER 997 NEW BEST:: SOT 432300 SOS 234783 HAS SOPS 230692 HAS SOUS 133681 HAS SOUPS 132772 WITH SCORE 133006.783
AT ITER 1001 NEW BEST:: SOT 432179 SOS 234316 HAS SOPS 230225 HAS SOUS 133480 HAS SOUPS 132571 WITH SCORE 132805.316
AT ITER 1003 NEW BEST:: SOT 432171 SOS 234292 HAS SOPS 230201 HAS SOUS 133456 HAS SOUPS 132547 WITH SCORE 132781.292
AT ITER 1013 NEW BEST:: SOT 431968 SOS 233957 HAS SOPS 229866 HAS SOUS 133121 HAS SOUPS 132212 WITH SCORE 132445.957
AT ITER 1020 NEW BEST:: SOT 431947 SOS 233915 HAS SOPS 229824 HAS SOUS 133058 HAS SOUPS 132149 WITH SCORE 132382.915
AT ITER 1029 NEW BEST:: SOT 431947 SOS 234035 HAS SOPS 229944 HAS SOUS 132962 HAS SOUPS 132053 WITH SCORE 132287.035
AT ITER 1033 NEW BEST:: SOT 432023 SOS 234375 HAS SOPS 230284 HAS SOUS 132825 HAS SOUPS 131916 WITH SCORE 132150.375
AT ITER 1035 NEW BEST:: SOT 430573 SOS 232925 HAS SOPS 228834 HAS SOUS 132175 HAS SOUPS 131266 WITH SCORE 131498.925
AT ITER 1044 NEW BEST:: SOT 430838 SOS 232983 HAS SOPS 228892 HAS SOUS 131728 HAS SOUPS 130819 WITH SCORE 131051.983
AT ITER 1054 NEW BEST:: SOT 430899 SOS 232088 HAS SOPS 227997 HAS SOUS 130870 HAS SOUPS 129961 WITH SCORE 130193.088
AT ITER 1057 NEW BEST:: SOT 430904 SOS 232055 HAS SOPS 227964 HAS SOUS 130866 HAS SOUPS 129957 WITH SCORE 130189.055
AT ITER 1061 NEW BEST:: SOT 430878 SOS 232003 HAS SOPS 227912 HAS SOUS 130827 HAS SOUPS 129918 WITH SCORE 130150.003
AT ITER 1074 NEW BEST:: SOT 430873 SOS 231993 HAS SOPS 227902 HAS SOUS 130817 HAS SOUPS 129908 WITH SCORE 130139.993
AT ITER 1087 NEW BEST:: SOT 430433 SOS 231536 HAS SOPS 227445 HAS SOUS 130441 HAS SOUPS 129532 WITH SCORE 129763.536
AT ITER 1096 NEW BEST:: SOT 430433 SOS 231530 HAS SOPS 227439 HAS SOUS 130435 HAS SOUPS 129526 WITH SCORE 129757.53
AT ITER 1098 NEW BEST:: SOT 429099 SOS 230940 HAS SOPS 226105 HAS SOUS 129143 HAS SOUPS 128141 WITH SCORE 128371.94
AT ITER 1099 NEW BEST:: SOT 429115 SOS 230956 HAS SOPS 226121 HAS SOUS 129114 HAS SOUPS 128112 WITH SCORE 128342.956
AT ITER 1105 NEW BEST:: SOT 429016 SOS 230804 HAS SOPS 226022 HAS SOUS 129015 HAS SOUPS 128037 WITH SCORE 128267.804
AT ITER 1115 NEW BEST:: SOT 429019 SOS 230801 HAS SOPS 226019 HAS SOUS 129012 HAS SOUPS 128034 WITH SCORE 128264.801
AT ITER 1120 NEW BEST:: SOT 429017 SOS 230799 HAS SOPS 226017 HAS SOUS 129010 HAS SOUPS 128032 WITH SCORE 128262.799
AT ITER 1124 NEW BEST:: SOT 428962 SOS 230737 HAS SOPS 225955 HAS SOUS 128900 HAS SOUPS 127922 WITH SCORE 128152.737
AT ITER 1151 NEW BEST:: SOT 428876 SOS 230651 HAS SOPS 225869 HAS SOUS 128844 HAS SOUPS 127866 WITH SCORE 128096.651
AT ITER 1157 NEW BEST:: SOT 428679 SOS 230870 HAS SOPS 226088 HAS SOUS 128599 HAS SOUPS 127621 WITH SCORE 127851.87
AT ITER 1171 NEW BEST:: SOT 428664 SOS 230855 HAS SOPS 226073 HAS SOUS 128579 HAS SOUPS 127601 WITH SCORE 127831.855
AT ITER 1189 NEW BEST:: SOT 428657 SOS 230809 HAS SOPS 226027 HAS SOUS 128533 HAS SOUPS 127555 WITH SCORE 127785.809
AT ITER 1202 NEW BEST:: SOT 428596 SOS 230758 HAS SOPS 225976 HAS SOUS 128482 HAS SOUPS 127504 WITH SCORE 127734.758
AT ITER 1204 NEW BEST:: SOT 428357 SOS 230394 HAS SOPS 225612 HAS SOUS 127808 HAS SOUPS 126830 WITH SCORE 127060.394
AT ITER 1206 NEW BEST:: SOT 428134 SOS 230192 HAS SOPS 225410 HAS SOUS 127780 HAS SOUPS 126802 WITH SCORE 127032.192
AT ITER 1212 NEW BEST:: SOT 428089 SOS 230147 HAS SOPS 225365 HAS SOUS 127735 HAS SOUPS 126757 WITH SCORE 126987.147
AT ITER 1230 NEW BEST:: SOT 428089 SOS 230125 HAS SOPS 225343 HAS SOUS 127703 HAS SOUPS 126725 WITH SCORE 126955.125
AT ITER 1231 NEW BEST:: SOT 427981 SOS 229845 HAS SOPS 225063 HAS SOUS 127243 HAS SOUPS 126265 WITH SCORE 126494.845
AT ITER 1235 NEW BEST:: SOT 428191 SOS 229950 HAS SOPS 225168 HAS SOUS 126866 HAS SOUPS 125888 WITH SCORE 126117.95
AT ITER 1241 NEW BEST:: SOT 428037 SOS 228869 HAS SOPS 224066 HAS SOUS 126244 HAS SOUPS 125266 WITH SCORE 125494.869
AT ITER 1251 NEW BEST:: SOT 427974 SOS 228264 HAS SOPS 223461 HAS SOUS 126136 HAS SOUPS 125158 WITH SCORE 125386.264
AT ITER 1261 NEW BEST:: SOT 427890 SOS 228109 HAS SOPS 223306 HAS SOUS 126076 HAS SOUPS 125098 WITH SCORE 125326.109
AT ITER 1262 NEW BEST:: SOT 428051 SOS 228155 HAS SOPS 223352 HAS SOUS 125182 HAS SOUPS 124204 WITH SCORE 124432.155
AT ITER 1265 NEW BEST:: SOT 428038 SOS 228129 HAS SOPS 223326 HAS SOUS 125156 HAS SOUPS 124178 WITH SCORE 124406.129
AT ITER 1274 NEW BEST:: SOT 427968 SOS 228043 HAS SOPS 223240 HAS SOUS 125047 HAS SOUPS 124069 WITH SCORE 124297.043
AT ITER 1275 NEW BEST:: SOT 427946 SOS 228021 HAS SOPS 223218 HAS SOUS 124981 HAS SOUPS 124003 WITH SCORE 124231.021
AT ITER 1288 NEW BEST:: SOT 427946 SOS 228011 HAS SOPS 223208 HAS SOUS 124971 HAS SOUPS 123993 WITH SCORE 124221.011
AT ITER 1301 NEW BEST:: SOT 427975 SOS 227989 HAS SOPS 223186 HAS SOUS 124825 HAS SOUPS 123847 WITH SCORE 124074.989
AT ITER 1304 NEW BEST:: SOT 427954 SOS 227968 HAS SOPS 223165 HAS SOUS 124741 HAS SOUPS 123763 WITH SCORE 123990.968
AT ITER 1316 NEW BEST:: SOT 428338 SOS 227657 HAS SOPS 222854 HAS SOUS 123249 HAS SOUPS 122271 WITH SCORE 122498.657
AT ITER 1321 NEW BEST:: SOT 428315 SOS 227804 HAS SOPS 223001 HAS SOUS 122964 HAS SOUPS 121986 WITH SCORE 122213.804
AT ITER 1331 NEW BEST:: SOT 428315 SOS 227686 HAS SOPS 222883 HAS SOUS 122964 HAS SOUPS 121986 WITH SCORE 122213.686
AT ITER 1333 NEW BEST:: SOT 428307 SOS 227678 HAS SOPS 222875 HAS SOUS 122948 HAS SOUPS 121970 WITH SCORE 122197.678
AT ITER 1348 NEW BEST:: SOT 428330 SOS 227652 HAS SOPS 222849 HAS SOUS 122945 HAS SOUPS 121967 WITH SCORE 122194.652
AT ITER 1355 NEW BEST:: SOT 428402 SOS 227885 HAS SOPS 223082 HAS SOUS 122940 HAS SOUPS 121962 WITH SCORE 122189.885
AT ITER 1362 NEW BEST:: SOT 428401 SOS 227884 HAS SOPS 223081 HAS SOUS 122939 HAS SOUPS 121961 WITH SCORE 122188.884
AT ITER 1370 NEW BEST:: SOT 428401 SOS 227832 HAS SOPS 223056 HAS SOUS 122889 HAS SOUPS 121936 WITH SCORE 122163.832
AT ITER 1371 NEW BEST:: SOT 428234 SOS 227768 HAS SOPS 222992 HAS SOUS 122858 HAS SOUPS 121905 WITH SCORE 122132.768
AT ITER 1377 NEW BEST:: SOT 424452 SOS 224173 HAS SOPS 219410 HAS SOUS 120606 HAS SOUPS 119666 WITH SCORE 119890.173
AT ITER 1378 NEW BEST:: SOT 424452 SOS 224171 HAS SOPS 219408 HAS SOUS 120604 HAS SOUPS 119664 WITH SCORE 119888.171
AT ITER 1387 NEW BEST:: SOT 424436 SOS 224139 HAS SOPS 219392 HAS SOUS 120596 HAS SOUPS 119664 WITH SCORE 119888.139
AT ITER 1391 NEW BEST:: SOT 422283 SOS 225219 HAS SOPS 221104 HAS SOUS 118695 HAS SOUPS 117842 WITH SCORE 118067.219
AT ITER 1396 NEW BEST:: SOT 422280 SOS 225338 HAS SOPS 221223 HAS SOUS 118688 HAS SOUPS 117835 WITH SCORE 118060.338
AT ITER 1399 NEW BEST:: SOT 422238 SOS 225336 HAS SOPS 221221 HAS SOUS 118644 HAS SOUPS 117791 WITH SCORE 118016.336
AT ITER 1403 NEW BEST:: SOT 422265 SOS 225578 HAS SOPS 221463 HAS SOUS 118322 HAS SOUPS 117469 WITH SCORE 117694.578
AT ITER 1404 NEW BEST:: SOT 422210 SOS 225389 HAS SOPS 221274 HAS SOUS 118296 HAS SOUPS 117443 WITH SCORE 117668.389
AT ITER 1414 NEW BEST:: SOT 422126 SOS 223666 HAS SOPS 218838 HAS SOUS 118239 HAS SOUPS 117354 WITH SCORE 117577.666
AT ITER 1417 NEW BEST:: SOT 422126 SOS 223663 HAS SOPS 218883 HAS SOUS 118232 HAS SOUPS 117353 WITH SCORE 117576.663
AT ITER 1421 NEW BEST:: SOT 422103 SOS 223658 HAS SOPS 218878 HAS SOUS 118227 HAS SOUPS 117348 WITH SCORE 117571.658
AT ITER 1422 NEW BEST:: SOT 422120 SOS 224126 HAS SOPS 219346 HAS SOUS 117881 HAS SOUPS 117002 WITH SCORE 117226.126
AT ITER 1439 NEW BEST:: SOT 422097 SOS 224121 HAS SOPS 219341 HAS SOUS 117879 HAS SOUPS 117000 WITH SCORE 117224.121
AT ITER 1441 NEW BEST:: SOT 422097 SOS 224121 HAS SOPS 219341 HAS SOUS 117873 HAS SOUPS 116994 WITH SCORE 117218.121
AT ITER 1450 NEW BEST:: SOT 422002 SOS 224026 HAS SOPS 219246 HAS SOUS 117683 HAS SOUPS 116804 WITH SCORE 117028.026
AT ITER 1464 NEW BEST:: SOT 421893 SOS 224108 HAS SOPS 219328 HAS SOUS 117485 HAS SOUPS 116606 WITH SCORE 116830.108
AT ITER 1495 NEW BEST:: SOT 421858 SOS 224108 HAS SOPS 219328 HAS SOUS 117450 HAS SOUPS 116571 WITH SCORE 116795.108
AT ITER 1499 NEW BEST:: SOT 421897 SOS 224174 HAS SOPS 219394 HAS SOUS 117420 HAS SOUPS 116541 WITH SCORE 116765.174
AT ITER 1503 NEW BEST:: SOT 421846 SOS 224125 HAS SOPS 219345 HAS SOUS 117331 HAS SOUPS 116452 WITH SCORE 116676.125
AT ITER 1504 NEW BEST:: SOT 421874 SOS 224220 HAS SOPS 219440 HAS SOUS 117081 HAS SOUPS 116202 WITH SCORE 116426.22
AT ITER 1514 NEW BEST:: SOT 421874 SOS 223796 HAS SOPS 219016 HAS SOUS 116595 HAS SOUPS 115716 WITH SCORE 115939.796
AT ITER 1529 NEW BEST:: SOT 421866 SOS 223796 HAS SOPS 219016 HAS SOUS 116587 HAS SOUPS 115708 WITH SCORE 115931.796
AT ITER 1536 NEW BEST:: SOT 421890 SOS 223796 HAS SOPS 219016 HAS SOUS 116563 HAS SOUPS 115684 WITH SCORE 115907.796
AT ITER 1539 NEW BEST:: SOT 421862 SOS 223712 HAS SOPS 218932 HAS SOUS 116479 HAS SOUPS 115600 WITH SCORE 115823.712
AT ITER 1542 NEW BEST:: SOT 421862 SOS 223712 HAS SOPS 218932 HAS SOUS 116429 HAS SOUPS 115550 WITH SCORE 115773.712
AT ITER 1544 NEW BEST:: SOT 421979 SOS 223829 HAS SOPS 219049 HAS SOUS 116386 HAS SOUPS 115507 WITH SCORE 115730.829
AT ITER 1560 NEW BEST:: SOT 421945 SOS 223076 HAS SOPS 218296 HAS SOUS 116328 HAS SOUPS 115449 WITH SCORE 115672.076
AT ITER 1563 NEW BEST:: SOT 422179 SOS 223391 HAS SOPS 218611 HAS SOUS 116123 HAS SOUPS 115244 WITH SCORE 115467.391
AT ITER 1569 NEW BEST:: SOT 422198 SOS 223446 HAS SOPS 218666 HAS SOUS 116097 HAS SOUPS 115218 WITH SCORE 115441.446
AT ITER 1571 NEW BEST:: SOT 422163 SOS 223136 HAS SOPS 218356 HAS SOUS 116062 HAS SOUPS 115183 WITH SCORE 115406.136
AT ITER 1582 NEW BEST:: SOT 422144 SOS 223117 HAS SOPS 218337 HAS SOUS 116040 HAS SOUPS 115161 WITH SCORE 115384.117
AT ITER 1612 NEW BEST:: SOT 422124 SOS 223097 HAS SOPS 218317 HAS SOUS 115991 HAS SOUPS 115112 WITH SCORE 115335.097
AT ITER 1614 NEW BEST:: SOT 421977 SOS 223113 HAS SOPS 218391 HAS SOUS 115893 HAS SOUPS 115014 WITH SCORE 115237.113
AT ITER 1616 NEW BEST:: SOT 421770 SOS 222730 HAS SOPS 218008 HAS SOUS 115612 HAS SOUPS 114733 WITH SCORE 114955.73
AT ITER 1624 NEW BEST:: SOT 421763 SOS 222627 HAS SOPS 217905 HAS SOUS 115539 HAS SOUPS 114660 WITH SCORE 114882.627
AT ITER 1626 NEW BEST:: SOT 421646 SOS 222510 HAS SOPS 217788 HAS SOUS 115471 HAS SOUPS 114592 WITH SCORE 114814.51
AT ITER 1627 NEW BEST:: SOT 421551 SOS 222033 HAS SOPS 217311 HAS SOUS 115268 HAS SOUPS 114389 WITH SCORE 114611.033
AT ITER 1632 NEW BEST:: SOT 421551 SOS 221852 HAS SOPS 217130 HAS SOUS 115260 HAS SOUPS 114381 WITH SCORE 114602.852
AT ITER 1637 NEW BEST:: SOT 421483 SOS 221784 HAS SOPS 217062 HAS SOUS 115173 HAS SOUPS 114294 WITH SCORE 114515.784
AT ITER 1649 NEW BEST:: SOT 421077 SOS 221264 HAS SOPS 216542 HAS SOUS 114817 HAS SOUPS 113938 WITH SCORE 114159.264
AT ITER 1671 NEW BEST:: SOT 421077 SOS 221216 HAS SOPS 216494 HAS SOUS 114813 HAS SOUPS 113934 WITH SCORE 114155.216
AT ITER 1678 NEW BEST:: SOT 421077 SOS 221207 HAS SOPS 216485 HAS SOUS 114799 HAS SOUPS 113920 WITH SCORE 114141.207
AT ITER 1684 NEW BEST:: SOT 420866 SOS 221088 HAS SOPS 216366 HAS SOUS 114680 HAS SOUPS 113801 WITH SCORE 114022.088
AT ITER 1686 NEW BEST:: SOT 420556 SOS 220956 HAS SOPS 216234 HAS SOUS 114530 HAS SOUPS 113651 WITH SCORE 113871.956
AT ITER 1694 NEW BEST:: SOT 420550 SOS 220953 HAS SOPS 216231 HAS SOUS 114529 HAS SOUPS 113650 WITH SCORE 113870.953
AT ITER 1707 NEW BEST:: SOT 420524 SOS 220711 HAS SOPS 216015 HAS SOUS 114503 HAS SOUPS 113624 WITH SCORE 113844.711
AT ITER 1719 NEW BEST:: SOT 420489 SOS 220652 HAS SOPS 215956 HAS SOUS 114480 HAS SOUPS 113601 WITH SCORE 113821.652
AT ITER 1738 NEW BEST:: SOT 420533 SOS 220641 HAS SOPS 215945 HAS SOUS 114469 HAS SOUPS 113590 WITH SCORE 113810.641
AT ITER 1740 NEW BEST:: SOT 420525 SOS 220609 HAS SOPS 215913 HAS SOUS 114453 HAS SOUPS 113574 WITH SCORE 113794.609
AT ITER 1747 NEW BEST:: SOT 420525 SOS 220440 HAS SOPS 215649 HAS SOUS 114328 HAS SOUPS 113416 WITH SCORE 113636.44
AT ITER 1770 NEW BEST:: SOT 420119 SOS 220187 HAS SOPS 215396 HAS SOUS 113823 HAS SOUPS 112911 WITH SCORE 113131.187
AT ITER 1771 NEW BEST:: SOT 420073 SOS 219763 HAS SOPS 214972 HAS SOUS 113749 HAS SOUPS 112837 WITH SCORE 113056.763
AT ITER 1777 NEW BEST:: SOT 420054 SOS 219685 HAS SOPS 214894 HAS SOUS 113711 HAS SOUPS 112799 WITH SCORE 113018.685
AT ITER 1795 NEW BEST:: SOT 420004 SOS 219610 HAS SOPS 214819 HAS SOUS 113583 HAS SOUPS 112671 WITH SCORE 112890.61
AT ITER 1797 NEW BEST:: SOT 420004 SOS 219599 HAS SOPS 214808 HAS SOUS 113583 HAS SOUPS 112671 WITH SCORE 112890.599
AT ITER 1811 NEW BEST:: SOT 420002 SOS 219597 HAS SOPS 214806 HAS SOUS 113579 HAS SOUPS 112667 WITH SCORE 112886.597
AT ITER 1827 NEW BEST:: SOT 419982 SOS 219587 HAS SOPS 214796 HAS SOUS 113539 HAS SOUPS 112627 WITH SCORE 112846.587
AT ITER 1830 NEW BEST:: SOT 419972 SOS 219577 HAS SOPS 214786 HAS SOUS 113529 HAS SOUPS 112617 WITH SCORE 112836.577
AT ITER 1835 NEW BEST:: SOT 419933 SOS 219552 HAS SOPS 214761 HAS SOUS 113461 HAS SOUPS 112549 WITH SCORE 112768.552
AT ITER 1837 NEW BEST:: SOT 419921 SOS 219552 HAS SOPS 214761 HAS SOUS 113437 HAS SOUPS 112525 WITH SCORE 112744.552
AT ITER 1838 NEW BEST:: SOT 419876 SOS 219883 HAS SOPS 215092 HAS SOUS 113410 HAS SOUPS 112498 WITH SCORE 112717.883
AT ITER 1848 NEW BEST:: SOT 419876 SOS 219833 HAS SOPS 214992 HAS SOUS 113403 HAS SOUPS 112491 WITH SCORE 112710.833
AT ITER 1849 NEW BEST:: SOT 419863 SOS 219807 HAS SOPS 214966 HAS SOUS 113377 HAS SOUPS 112465 WITH SCORE 112684.807
AT ITER 1876 NEW BEST:: SOT 419857 SOS 219801 HAS SOPS 214960 HAS SOUS 113371 HAS SOUPS 112459 WITH SCORE 112678.801
AT ITER 1877 NEW BEST:: SOT 419737 SOS 219681 HAS SOPS 214600 HAS SOUS 113251 HAS SOUPS 112309 WITH SCORE 112528.681
AT ITER 1878 NEW BEST:: SOT 419737 SOS 219663 HAS SOPS 214582 HAS SOUS 113251 HAS SOUPS 112309 WITH SCORE 112528.663
AT ITER 1886 NEW BEST:: SOT 417283 SOS 216843 HAS SOPS 211762 HAS SOUS 112085 HAS SOUPS 111143 WITH SCORE 111359.843
AT ITER 1892 NEW BEST:: SOT 417195 SOS 216808 HAS SOPS 211727 HAS SOUS 111858 HAS SOUPS 110916 WITH SCORE 111132.808
AT ITER 1907 NEW BEST:: SOT 417181 SOS 216794 HAS SOPS 211713 HAS SOUS 111841 HAS SOUPS 110899 WITH SCORE 111115.794
AT ITER 1916 NEW BEST:: SOT 417172 SOS 216740 HAS SOPS 211659 HAS SOUS 111834 HAS SOUPS 110892 WITH SCORE 111108.74
AT ITER 1936 NEW BEST:: SOT 417179 SOS 216774 HAS SOPS 211693 HAS SOUS 111688 HAS SOUPS 110746 WITH SCORE 110962.774
AT ITER 1949 NEW BEST:: SOT 417185 SOS 216760 HAS SOPS 211679 HAS SOUS 111674 HAS SOUPS 110732 WITH SCORE 110948.76
AT ITER 1966 NEW BEST:: SOT 417198 SOS 216626 HAS SOPS 211545 HAS SOUS 111476 HAS SOUPS 110534 WITH SCORE 110750.626
AT ITER 1983 NEW BEST:: SOT 417042 SOS 216314 HAS SOPS 211233 HAS SOUS 111208 HAS SOUPS 110266 WITH SCORE 110482.314
AT ITER 1986 NEW BEST:: SOT 417042 SOS 216311 HAS SOPS 211230 HAS SOUS 111208 HAS SOUPS 110266 WITH SCORE 110482.311
AT ITER 1995 NEW BEST:: SOT 417105 SOS 216485 HAS SOPS 211404 HAS SOUS 111161 HAS SOUPS 110219 WITH SCORE 110435.485
AT ITER 1999 NEW BEST:: SOT 417135 SOS 216432 HAS SOPS 211268 HAS SOUS 111131 HAS SOUPS 110166 WITH SCORE 110382.432
AT ITER 2001 NEW BEST:: SOT 417132 SOS 216429 HAS SOPS 211265 HAS SOUS 111122 HAS SOUPS 110157 WITH SCORE 110373.429
AT ITER 2006 NEW BEST:: SOT 417152 SOS 216594 HAS SOPS 211430 HAS SOUS 110912 HAS SOUPS 109947 WITH SCORE 110163.594
AT ITER 2038 NEW BEST:: SOT 417059 SOS 216501 HAS SOPS 211337 HAS SOUS 110711 HAS SOUPS 109746 WITH SCORE 109962.501
AT ITER 2055 NEW BEST:: SOT 417107 SOS 216435 HAS SOPS 211184 HAS SOUS 110637 HAS SOUPS 109672 WITH SCORE 109888.435
AT ITER 2078 NEW BEST:: SOT 416767 SOS 216095 HAS SOPS 210844 HAS SOUS 110297 HAS SOUPS 109332 WITH SCORE 109548.095
AT ITER 2117 NEW BEST:: SOT 416735 SOS 216095 HAS SOPS 210844 HAS SOUS 110263 HAS SOUPS 109298 WITH SCORE 109514.095
AT ITER 2122 NEW BEST:: SOT 416846 SOS 216137 HAS SOPS 210886 HAS SOUS 110108 HAS SOUPS 109143 WITH SCORE 109359.137
AT ITER 2129 NEW BEST:: SOT 416692 SOS 216064 HAS SOPS 210813 HAS SOUS 110099 HAS SOUPS 109134 WITH SCORE 109350.064
AT ITER 2138 NEW BEST:: SOT 416654 SOS 215979 HAS SOPS 210728 HAS SOUS 110016 HAS SOUPS 109051 WITH SCORE 109266.979
AT ITER 2159 NEW BEST:: SOT 416512 SOS 215895 HAS SOPS 210690 HAS SOUS 109940 HAS SOUPS 108975 WITH SCORE 109190.895
AT ITER 2161 NEW BEST:: SOT 416447 SOS 215793 HAS SOPS 210588 HAS SOUS 109875 HAS SOUPS 108910 WITH SCORE 109125.793
AT ITER 2163 NEW BEST:: SOT 417717 SOS 216301 HAS SOPS 211096 HAS SOUS 109652 HAS SOUPS 108687 WITH SCORE 108903.301
AT ITER 2165 NEW BEST:: SOT 417835 SOS 216216 HAS SOPS 211011 HAS SOUS 109482 HAS SOUPS 108517 WITH SCORE 108733.216
AT ITER 2172 NEW BEST:: SOT 417723 SOS 215978 HAS SOPS 210773 HAS SOUS 109258 HAS SOUPS 108293 WITH SCORE 108508.978
AT ITER 2174 NEW BEST:: SOT 417709 SOS 215961 HAS SOPS 210756 HAS SOUS 109241 HAS SOUPS 108276 WITH SCORE 108491.961
AT ITER 2176 NEW BEST:: SOT 417723 SOS 215627 HAS SOPS 210422 HAS SOUS 109153 HAS SOUPS 108188 WITH SCORE 108403.627
AT ITER 2178 NEW BEST:: SOT 417693 SOS 215597 HAS SOPS 210392 HAS SOUS 109093 HAS SOUPS 108128 WITH SCORE 108343.597
AT ITER 2194 NEW BEST:: SOT 417661 SOS 215446 HAS SOPS 210241 HAS SOUS 109049 HAS SOUPS 108084 WITH SCORE 108299.446
AT ITER 2209 NEW BEST:: SOT 417598 SOS 215383 HAS SOPS 210178 HAS SOUS 109004 HAS SOUPS 108039 WITH SCORE 108254.383
AT ITER 2214 NEW BEST:: SOT 417599 SOS 215348 HAS SOPS 210143 HAS SOUS 109001 HAS SOUPS 108036 WITH SCORE 108251.348
AT ITER 2237 NEW BEST:: SOT 417491 SOS 215124 HAS SOPS 209919 HAS SOUS 108862 HAS SOUPS 107897 WITH SCORE 108112.124
AT ITER 2239 NEW BEST:: SOT 417361 SOS 214748 HAS SOPS 209543 HAS SOUS 108683 HAS SOUPS 107718 WITH SCORE 107932.748
AT ITER 2246 NEW BEST:: SOT 417353 SOS 214732 HAS SOPS 209527 HAS SOUS 108667 HAS SOUPS 107702 WITH SCORE 107916.732
AT ITER 2251 NEW BEST:: SOT 417217 SOS 214596 HAS SOPS 209391 HAS SOUS 108547 HAS SOUPS 107582 WITH SCORE 107796.596
AT ITER 2261 NEW BEST:: SOT 417224 SOS 214596 HAS SOPS 209391 HAS SOUS 108543 HAS SOUPS 107578 WITH SCORE 107792.596
AT ITER 2262 NEW BEST:: SOT 417211 SOS 214567 HAS SOPS 209362 HAS SOUS 108514 HAS SOUPS 107549 WITH SCORE 107763.567
AT ITER 2265 NEW BEST:: SOT 417250 SOS 214619 HAS SOPS 209414 HAS SOUS 108501 HAS SOUPS 107536 WITH SCORE 107750.619
AT ITER 2284 NEW BEST:: SOT 417022 SOS 214524 HAS SOPS 207415 HAS SOUS 108330 HAS SOUPS 107127 WITH SCORE 107341.524
AT ITER 2299 NEW BEST:: SOT 417000 SOS 214480 HAS SOPS 207371 HAS SOUS 108264 HAS SOUPS 107061 WITH SCORE 107275.48
AT ITER 2300 NEW BEST:: SOT 416885 SOS 214492 HAS SOPS 207435 HAS SOUS 108228 HAS SOUPS 107025 WITH SCORE 107239.492
AT ITER 2320 NEW BEST:: SOT 416885 SOS 214252 HAS SOPS 207214 HAS SOUS 108217 HAS SOUPS 107014 WITH SCORE 107228.252
AT ITER 2328 NEW BEST:: SOT 416816 SOS 214173 HAS SOPS 207135 HAS SOUS 108138 HAS SOUPS 106935 WITH SCORE 107149.173
AT ITER 2347 NEW BEST:: SOT 416708 SOS 214112 HAS SOPS 207074 HAS SOUS 108070 HAS SOUPS 106867 WITH SCORE 107081.112
AT ITER 2349 NEW BEST:: SOT 416813 SOS 214252 HAS SOPS 207214 HAS SOUS 107895 HAS SOUPS 106692 WITH SCORE 106906.252
AT ITER 2366 NEW BEST:: SOT 416787 SOS 213983 HAS SOPS 206945 HAS SOUS 107842 HAS SOUPS 106639 WITH SCORE 106852.983
AT ITER 2368 NEW BEST:: SOT 416773 SOS 213927 HAS SOPS 206889 HAS SOUS 107814 HAS SOUPS 106611 WITH SCORE 106824.927
AT ITER 2375 NEW BEST:: SOT 416773 SOS 213901 HAS SOPS 206863 HAS SOUS 107801 HAS SOUPS 106598 WITH SCORE 106811.901
AT ITER 2393 NEW BEST:: SOT 416680 SOS 213777 HAS SOPS 206739 HAS SOUS 107677 HAS SOUPS 106474 WITH SCORE 106687.777
AT ITER 2395 NEW BEST:: SOT 416576 SOS 213717 HAS SOPS 206679 HAS SOUS 107575 HAS SOUPS 106372 WITH SCORE 106585.717
AT ITER 2398 NEW BEST:: SOT 416576 SOS 213693 HAS SOPS 206655 HAS SOUS 107563 HAS SOUPS 106360 WITH SCORE 106573.693
AT ITER 2406 NEW BEST:: SOT 416603 SOS 213936 HAS SOPS 206898 HAS SOUS 107547 HAS SOUPS 106344 WITH SCORE 106557.936
AT ITER 2410 NEW BEST:: SOT 416512 SOS 213878 HAS SOPS 206902 HAS SOUS 107505 HAS SOUPS 106302 WITH SCORE 106515.878
AT ITER 2413 NEW BEST:: SOT 416532 SOS 213725 HAS SOPS 206749 HAS SOUS 107310 HAS SOUPS 106107 WITH SCORE 106320.725
AT ITER 2420 NEW BEST:: SOT 416147 SOS 213613 HAS SOPS 206637 HAS SOUS 107011 HAS SOUPS 105808 WITH SCORE 106021.613
AT ITER 2430 NEW BEST:: SOT 416147 SOS 213638 HAS SOPS 206643 HAS SOUS 106993 HAS SOUPS 105789 WITH SCORE 106002.638
AT ITER 2448 NEW BEST:: SOT 416147 SOS 213594 HAS SOPS 206599 HAS SOUS 106993 HAS SOUPS 105789 WITH SCORE 106002.594
AT ITER 2449 NEW BEST:: SOT 415968 SOS 213725 HAS SOPS 206730 HAS SOUS 106824 HAS SOUPS 105620 WITH SCORE 105833.725
AT ITER 2462 NEW BEST:: SOT 415972 SOS 213488 HAS SOPS 206493 HAS SOUS 106795 HAS SOUPS 105591 WITH SCORE 105804.488
AT ITER 2479 NEW BEST:: SOT 415525 SOS 213138 HAS SOPS 206143 HAS SOUS 106192 HAS SOUPS 104988 WITH SCORE 105201.138
AT ITER 2508 NEW BEST:: SOT 415469 SOS 213105 HAS SOPS 206110 HAS SOUS 106145 HAS SOUPS 104941 WITH SCORE 105154.105
AT ITER 2517 NEW BEST:: SOT 415439 SOS 213075 HAS SOPS 206080 HAS SOUS 106055 HAS SOUPS 104851 WITH SCORE 105064.075
AT ITER 2522 NEW BEST:: SOT 415435 SOS 213067 HAS SOPS 206072 HAS SOUS 106047 HAS SOUPS 104843 WITH SCORE 105056.067
AT ITER 2523 NEW BEST:: SOT 415435 SOS 213067 HAS SOPS 206072 HAS SOUS 106045 HAS SOUPS 104841 WITH SCORE 105054.067
AT ITER 2528 NEW BEST:: SOT 415516 SOS 213218 HAS SOPS 206223 HAS SOUS 106034 HAS SOUPS 104830 WITH SCORE 105043.218
AT ITER 2537 NEW BEST:: SOT 415502 SOS 213176 HAS SOPS 206181 HAS SOUS 105990 HAS SOUPS 104786 WITH SCORE 104999.176
AT ITER 2544 NEW BEST:: SOT 415441 SOS 213143 HAS SOPS 206148 HAS SOUS 105895 HAS SOUPS 104691 WITH SCORE 104904.143
AT ITER 2549 NEW BEST:: SOT 415427 SOS 213114 HAS SOPS 206119 HAS SOUS 105813 HAS SOUPS 104609 WITH SCORE 104822.114
AT ITER 2551 NEW BEST:: SOT 415427 SOS 212652 HAS SOPS 205657 HAS SOUS 105813 HAS SOUPS 104609 WITH SCORE 104821.652
AT ITER 2554 NEW BEST:: SOT 415195 SOS 213116 HAS SOPS 205425 HAS SOUS 105635 HAS SOUPS 104344 WITH SCORE 104557.116
AT ITER 2562 NEW BEST:: SOT 415146 SOS 213050 HAS SOPS 205359 HAS SOUS 105569 HAS SOUPS 104278 WITH SCORE 104491.05
AT ITER 2567 NEW BEST:: SOT 415156 SOS 213060 HAS SOPS 205369 HAS SOUS 105537 HAS SOUPS 104246 WITH SCORE 104459.06
AT ITER 2575 NEW BEST:: SOT 415156 SOS 213075 HAS SOPS 205384 HAS SOUS 105522 HAS SOUPS 104231 WITH SCORE 104444.075
AT ITER 2578 NEW BEST:: SOT 414959 SOS 212878 HAS SOPS 205187 HAS SOUS 105128 HAS SOUPS 103837 WITH SCORE 104049.878
AT ITER 2580 NEW BEST:: SOT 414860 SOS 212711 HAS SOPS 205020 HAS SOUS 104847 HAS SOUPS 103556 WITH SCORE 103768.711
AT ITER 2588 NEW BEST:: SOT 414840 SOS 212667 HAS SOPS 204976 HAS SOUS 104807 HAS SOUPS 103516 WITH SCORE 103728.667
AT ITER 2598 NEW BEST:: SOT 414836 SOS 212671 HAS SOPS 204988 HAS SOUS 104803 HAS SOUPS 103512 WITH SCORE 103724.671
AT ITER 2601 NEW BEST:: SOT 414829 SOS 212650 HAS SOPS 204967 HAS SOUS 104789 HAS SOUPS 103498 WITH SCORE 103710.65
AT ITER 2613 NEW BEST:: SOT 414788 SOS 212527 HAS SOPS 204844 HAS SOUS 104719 HAS SOUPS 103428 WITH SCORE 103640.527
AT ITER 2642 NEW BEST:: SOT 414670 SOS 212484 HAS SOPS 204801 HAS SOUS 104545 HAS SOUPS 103254 WITH SCORE 103466.484
AT ITER 2643 NEW BEST:: SOT 414573 SOS 212454 HAS SOPS 204771 HAS SOUS 104355 HAS SOUPS 103064 WITH SCORE 103276.454
AT ITER 2664 NEW BEST:: SOT 414558 SOS 212288 HAS SOPS 204605 HAS SOUS 104325 HAS SOUPS 103034 WITH SCORE 103246.288
AT ITER 2666 NEW BEST:: SOT 414799 SOS 215969 HAS SOPS 208286 HAS SOUS 104209 HAS SOUPS 102918 WITH SCORE 103133.969
AT ITER 2673 NEW BEST:: SOT 414794 SOS 215959 HAS SOPS 208276 HAS SOUS 104199 HAS SOUPS 102908 WITH SCORE 103123.959
AT ITER 2683 NEW BEST:: SOT 414751 SOS 215849 HAS SOPS 208166 HAS SOUS 103962 HAS SOUPS 102671 WITH SCORE 102886.849
AT ITER 2727 NEW BEST:: SOT 414687 SOS 215760 HAS SOPS 208077 HAS SOUS 103874 HAS SOUPS 102583 WITH SCORE 102798.76
AT ITER 2732 NEW BEST:: SOT 414720 SOS 215142 HAS SOPS 207459 HAS SOUS 103282 HAS SOUPS 101991 WITH SCORE 102206.142
AT ITER 2737 NEW BEST:: SOT 414696 SOS 215159 HAS SOPS 207476 HAS SOUS 103261 HAS SOUPS 101970 WITH SCORE 102185.159
AT ITER 2743 NEW BEST:: SOT 414695 SOS 215158 HAS SOPS 207475 HAS SOUS 103259 HAS SOUPS 101968 WITH SCORE 102183.158
AT ITER 2748 NEW BEST:: SOT 414721 SOS 214704 HAS SOPS 207021 HAS SOUS 102915 HAS SOUPS 101624 WITH SCORE 101838.704
AT ITER 2756 NEW BEST:: SOT 414719 SOS 214702 HAS SOPS 206921 HAS SOUS 102913 HAS SOUPS 101608 WITH SCORE 101822.702
AT ITER 2759 NEW BEST:: SOT 414724 SOS 213730 HAS SOPS 205949 HAS SOUS 102897 HAS SOUPS 101592 WITH SCORE 101805.73
AT ITER 2773 NEW BEST:: SOT 414724 SOS 213730 HAS SOPS 205949 HAS SOUS 102895 HAS SOUPS 101590 WITH SCORE 101803.73
AT ITER 2777 NEW BEST:: SOT 414724 SOS 213671 HAS SOPS 205890 HAS SOUS 102895 HAS SOUPS 101590 WITH SCORE 101803.671
AT ITER 2785 NEW BEST:: SOT 414724 SOS 213713 HAS SOPS 205932 HAS SOUS 102762 HAS SOUPS 101457 WITH SCORE 101670.713
AT ITER 2786 NEW BEST:: SOT 414722 SOS 213693 HAS SOPS 205912 HAS SOUS 102758 HAS SOUPS 101453 WITH SCORE 101666.693
AT ITER 2806 NEW BEST:: SOT 414604 SOS 213398 HAS SOPS 205617 HAS SOUS 102581 HAS SOUPS 101276 WITH SCORE 101489.398
AT ITER 2812 NEW BEST:: SOT 414584 SOS 213358 HAS SOPS 205577 HAS SOUS 102541 HAS SOUPS 101236 WITH SCORE 101449.358
AT ITER 2822 NEW BEST:: SOT 414568 SOS 213323 HAS SOPS 205542 HAS SOUS 102509 HAS SOUPS 101204 WITH SCORE 101417.323
AT ITER 2840 NEW BEST:: SOT 414568 SOS 213351 HAS SOPS 205570 HAS SOUS 102499 HAS SOUPS 101194 WITH SCORE 101407.351
AT ITER 2847 NEW BEST:: SOT 414731 SOS 213558 HAS SOPS 205777 HAS SOUS 102441 HAS SOUPS 101136 WITH SCORE 101349.558
AT ITER 2849 NEW BEST:: SOT 414733 SOS 213541 HAS SOPS 205760 HAS SOUS 102435 HAS SOUPS 101130 WITH SCORE 101343.541
AT ITER 2852 NEW BEST:: SOT 414669 SOS 213857 HAS SOPS 206076 HAS SOUS 102252 HAS SOUPS 100947 WITH SCORE 101160.857
AT ITER 2861 NEW BEST:: SOT 414693 SOS 213930 HAS SOPS 206149 HAS SOUS 102245 HAS SOUPS 100940 WITH SCORE 101153.93
AT ITER 2864 NEW BEST:: SOT 414634 SOS 213766 HAS SOPS 205985 HAS SOUS 102245 HAS SOUPS 100940 WITH SCORE 101153.766
AT ITER 2877 NEW BEST:: SOT 414648 SOS 213850 HAS SOPS 206069 HAS SOUS 102106 HAS SOUPS 100801 WITH SCORE 101014.85
AT ITER 2911 NEW BEST:: SOT 414680 SOS 213568 HAS SOPS 205787 HAS SOUS 102102 HAS SOUPS 100797 WITH SCORE 101010.568
AT ITER 2919 NEW BEST:: SOT 414636 SOS 213429 HAS SOPS 205648 HAS SOUS 102058 HAS SOUPS 100753 WITH SCORE 100966.429
AT ITER 2924 NEW BEST:: SOT 414616 SOS 213409 HAS SOPS 205628 HAS SOUS 102043 HAS SOUPS 100738 WITH SCORE 100951.409
AT ITER 2928 NEW BEST:: SOT 414604 SOS 213410 HAS SOPS 205629 HAS SOUS 102019 HAS SOUPS 100714 WITH SCORE 100927.41
AT ITER 2944 NEW BEST:: SOT 414561 SOS 213307 HAS SOPS 205526 HAS SOUS 101945 HAS SOUPS 100640 WITH SCORE 100853.307
AT ITER 2955 NEW BEST:: SOT 412621 SOS 212311 HAS SOPS 204530 HAS SOUS 101933 HAS SOUPS 100628 WITH SCORE 100840.311
AT ITER 2982 NEW BEST:: SOT 412683 SOS 212350 HAS SOPS 204569 HAS SOUS 101796 HAS SOUPS 100491 WITH SCORE 100703.35
AT ITER 3006 NEW BEST:: SOT 412525 SOS 211926 HAS SOPS 204145 HAS SOUS 101488 HAS SOUPS 100183 WITH SCORE 100394.926
AT ITER 3009 NEW BEST:: SOT 412654 SOS 211879 HAS SOPS 204098 HAS SOUS 101159 HAS SOUPS 99854 WITH SCORE 100065.879
AT ITER 3010 NEW BEST:: SOT 412591 SOS 211648 HAS SOPS 204035 HAS SOUS 101075 HAS SOUPS 99791 WITH SCORE 100002.648
AT ITER 3023 NEW BEST:: SOT 412253 SOS 211310 HAS SOPS 203697 HAS SOUS 100887 HAS SOUPS 99603 WITH SCORE 99814.31
AT ITER 3026 NEW BEST:: SOT 412198 SOS 211255 HAS SOPS 203642 HAS SOUS 100832 HAS SOUPS 99548 WITH SCORE 99759.255
AT ITER 3049 NEW BEST:: SOT 412192 SOS 211243 HAS SOPS 203630 HAS SOUS 100820 HAS SOUPS 99536 WITH SCORE 99747.243
AT ITER 3057 NEW BEST:: SOT 412226 SOS 211365 HAS SOPS 203752 HAS SOUS 100712 HAS SOUPS 99428 WITH SCORE 99639.365
AT ITER 3098 NEW BEST:: SOT 412363 SOS 212290 HAS SOPS 204677 HAS SOUS 100710 HAS SOUPS 99426 WITH SCORE 99638.29
AT ITER 3102 NEW BEST:: SOT 412350 SOS 212277 HAS SOPS 204664 HAS SOUS 100697 HAS SOUPS 99413 WITH SCORE 99625.277
AT ITER 3110 NEW BEST:: SOT 412309 SOS 212223 HAS SOPS 204610 HAS SOUS 100633 HAS SOUPS 99349 WITH SCORE 99561.223
AT ITER 3115 NEW BEST:: SOT 412220 SOS 212213 HAS SOPS 204600 HAS SOUS 100565 HAS SOUPS 99281 WITH SCORE 99493.213
AT ITER 3119 NEW BEST:: SOT 412220 SOS 212765 HAS SOPS 205152 HAS SOUS 100516 HAS SOUPS 99232 WITH SCORE 99444.765
AT ITER 3120 NEW BEST:: SOT 411680 SOS 212225 HAS SOPS 204612 HAS SOUS 100210 HAS SOUPS 98926 WITH SCORE 99138.225
AT ITER 3122 NEW BEST:: SOT 411658 SOS 212247 HAS SOPS 204634 HAS SOUS 100166 HAS SOUPS 98882 WITH SCORE 99094.247
AT ITER 3123 NEW BEST:: SOT 411556 SOS 212041 HAS SOPS 204428 HAS SOUS 100046 HAS SOUPS 98762 WITH SCORE 98974.041
AT ITER 3138 NEW BEST:: SOT 411531 SOS 212037 HAS SOPS 204449 HAS SOUS 100042 HAS SOUPS 98758 WITH SCORE 98970.037
AT ITER 3146 NEW BEST:: SOT 411514 SOS 211966 HAS SOPS 204378 HAS SOUS 100040 HAS SOUPS 98756 WITH SCORE 98967.966
AT ITER 3171 NEW BEST:: SOT 411484 SOS 211933 HAS SOPS 204345 HAS SOUS 100025 HAS SOUPS 98741 WITH SCORE 98952.933
AT ITER 3177 NEW BEST:: SOT 411476 SOS 211953 HAS SOPS 204365 HAS SOUS 99995 HAS SOUPS 98711 WITH SCORE 98922.953
AT ITER 3197 NEW BEST:: SOT 411473 SOS 211950 HAS SOPS 204362 HAS SOUS 99985 HAS SOUPS 98701 WITH SCORE 98912.95
AT ITER 3202 NEW BEST:: SOT 410590 SOS 211067 HAS SOPS 203479 HAS SOUS 99690 HAS SOUPS 98406 WITH SCORE 98617.067
AT ITER 3217 NEW BEST:: SOT 410590 SOS 211077 HAS SOPS 203489 HAS SOUS 99680 HAS SOUPS 98396 WITH SCORE 98607.077
AT ITER 3224 NEW BEST:: SOT 410425 SOS 210912 HAS SOPS 203324 HAS SOUS 99442 HAS SOUPS 98158 WITH SCORE 98368.912
AT ITER 3225 NEW BEST:: SOT 410372 SOS 210880 HAS SOPS 203292 HAS SOUS 99260 HAS SOUPS 97976 WITH SCORE 98186.88
AT ITER 3236 NEW BEST:: SOT 410357 SOS 210399 HAS SOPS 202811 HAS SOUS 99154 HAS SOUPS 97870 WITH SCORE 98080.399
AT ITER 3241 NEW BEST:: SOT 410336 SOS 210357 HAS SOPS 202769 HAS SOUS 99133 HAS SOUPS 97849 WITH SCORE 98059.357
AT ITER 3242 NEW BEST:: SOT 410313 SOS 210334 HAS SOPS 202746 HAS SOUS 99099 HAS SOUPS 97815 WITH SCORE 98025.334
AT ITER 3245 NEW BEST:: SOT 410183 SOS 210211 HAS SOPS 202623 HAS SOUS 98928 HAS SOUPS 97644 WITH SCORE 97854.211
AT ITER 3272 NEW BEST:: SOT 408425 SOS 208552 HAS SOPS 200964 HAS SOUS 98280 HAS SOUPS 96996 WITH SCORE 97204.552
AT ITER 3297 NEW BEST:: SOT 408411 SOS 208535 HAS SOPS 200947 HAS SOUS 98274 HAS SOUPS 96990 WITH SCORE 97198.535
AT ITER 3306 NEW BEST:: SOT 408401 SOS 208515 HAS SOPS 200927 HAS SOUS 98254 HAS SOUPS 96970 WITH SCORE 97178.515
AT ITER 3312 NEW BEST:: SOT 408325 SOS 208985 HAS SOPS 201397 HAS SOUS 97883 HAS SOUPS 96599 WITH SCORE 96807.985
AT ITER 3315 NEW BEST:: SOT 408273 SOS 208933 HAS SOPS 201345 HAS SOUS 97845 HAS SOUPS 96561 WITH SCORE 96769.933
AT ITER 3319 NEW BEST:: SOT 408289 SOS 209283 HAS SOPS 201695 HAS SOUS 97814 HAS SOUPS 96530 WITH SCORE 96739.283
AT ITER 3321 NEW BEST:: SOT 408193 SOS 209171 HAS SOPS 201583 HAS SOUS 97681 HAS SOUPS 96397 WITH SCORE 96606.171
AT ITER 3328 NEW BEST:: SOT 408188 SOS 209146 HAS SOPS 201558 HAS SOUS 97681 HAS SOUPS 96397 WITH SCORE 96606.146
AT ITER 3352 NEW BEST:: SOT 408182 SOS 209140 HAS SOPS 201542 HAS SOUS 97647 HAS SOUPS 96361 WITH SCORE 96570.14
AT ITER 3359 NEW BEST:: SOT 408182 SOS 209116 HAS SOPS 201518 HAS SOUS 97623 HAS SOUPS 96337 WITH SCORE 96546.116
AT ITER 3375 NEW BEST:: SOT 408378 SOS 209715 HAS SOPS 202117 HAS SOUS 97099 HAS SOUPS 95813 WITH SCORE 96022.715
AT ITER 3379 NEW BEST:: SOT 408373 SOS 209705 HAS SOPS 202107 HAS SOUS 97084 HAS SOUPS 95798 WITH SCORE 96007.705
AT ITER 3392 NEW BEST:: SOT 408377 SOS 209709 HAS SOPS 202111 HAS SOUS 97047 HAS SOUPS 95761 WITH SCORE 95970.709
AT ITER 3402 NEW BEST:: SOT 408353 SOS 209685 HAS SOPS 202087 HAS SOUS 96999 HAS SOUPS 95713 WITH SCORE 95922.685
AT ITER 3421 NEW BEST:: SOT 408335 SOS 209667 HAS SOPS 202069 HAS SOUS 96963 HAS SOUPS 95677 WITH SCORE 95886.667
AT ITER 3431 NEW BEST:: SOT 408335 SOS 208837 HAS SOPS 201239 HAS SOUS 96923 HAS SOUPS 95637 WITH SCORE 95845.837
AT ITER 3442 NEW BEST:: SOT 408335 SOS 208848 HAS SOPS 201250 HAS SOUS 96912 HAS SOUPS 95626 WITH SCORE 95834.848
AT ITER 3445 NEW BEST:: SOT 408333 SOS 208846 HAS SOPS 201250 HAS SOUS 96912 HAS SOUPS 95626 WITH SCORE 95834.846
AT ITER 3452 NEW BEST:: SOT 408333 SOS 208938 HAS SOPS 201342 HAS SOUS 96820 HAS SOUPS 95534 WITH SCORE 95742.938
AT ITER 3459 NEW BEST:: SOT 408333 SOS 208937 HAS SOPS 201341 HAS SOUS 96820 HAS SOUPS 95534 WITH SCORE 95742.937
AT ITER 3460 NEW BEST:: SOT 408287 SOS 208892 HAS SOPS 201296 HAS SOUS 96424 HAS SOUPS 95138 WITH SCORE 95346.892
AT ITER 3467 NEW BEST:: SOT 408269 SOS 208874 HAS SOPS 201296 HAS SOUS 96406 HAS SOUPS 95120 WITH SCORE 95328.874
AT ITER 3476 NEW BEST:: SOT 407073 SOS 207678 HAS SOPS 200100 HAS SOUS 96133 HAS SOUPS 94847 WITH SCORE 95054.678
AT ITER 3477 NEW BEST:: SOT 407072 SOS 207677 HAS SOPS 200099 HAS SOUS 96132 HAS SOUPS 94846 WITH SCORE 95053.677
AT ITER 3500 NEW BEST:: SOT 407072 SOS 207677 HAS SOPS 200099 HAS SOUS 96123 HAS SOUPS 94837 WITH SCORE 95044.677
AT ITER 3505 NEW BEST:: SOT 407101 SOS 207876 HAS SOPS 200298 HAS SOUS 96011 HAS SOUPS 94725 WITH SCORE 94932.876
AT ITER 3507 NEW BEST:: SOT 407043 SOS 207826 HAS SOPS 200248 HAS SOUS 96002 HAS SOUPS 94716 WITH SCORE 94923.826
AT ITER 3514 NEW BEST:: SOT 407016 SOS 207979 HAS SOPS 200401 HAS SOUS 95800 HAS SOUPS 94514 WITH SCORE 94721.979
AT ITER 3525 NEW BEST:: SOT 407276 SOS 207811 HAS SOPS 200233 HAS SOUS 95406 HAS SOUPS 94120 WITH SCORE 94327.811
AT ITER 3536 NEW BEST:: SOT 407249 SOS 207905 HAS SOPS 200327 HAS SOUS 95212 HAS SOUPS 93926 WITH SCORE 94133.905
AT ITER 3539 NEW BEST:: SOT 407217 SOS 207873 HAS SOPS 200313 HAS SOUS 95148 HAS SOUPS 93862 WITH SCORE 94069.873
AT ITER 3567 NEW BEST:: SOT 407247 SOS 207903 HAS SOPS 200309 HAS SOUS 95152 HAS SOUPS 93852 WITH SCORE 94059.903
AT ITER 3571 NEW BEST:: SOT 407083 SOS 207739 HAS SOPS 200145 HAS SOUS 94987 HAS SOUPS 93687 WITH SCORE 93894.739
AT ITER 3593 NEW BEST:: SOT 407136 SOS 207956 HAS SOPS 200362 HAS SOUS 94929 HAS SOUPS 93629 WITH SCORE 93836.956
AT ITER 3606 NEW BEST:: SOT 407146 SOS 207976 HAS SOPS 200382 HAS SOUS 94926 HAS SOUPS 93626 WITH SCORE 93833.976
AT ITER 3641 NEW BEST:: SOT 406668 SOS 210005 HAS SOPS 202707 HAS SOUS 94561 HAS SOUPS 93298 WITH SCORE 93508.005
AT ITER 3643 NEW BEST:: SOT 404736 SOS 208171 HAS SOPS 200873 HAS SOUS 93769 HAS SOUPS 92506 WITH SCORE 92714.171
AT ITER 3646 NEW BEST:: SOT 404613 SOS 208048 HAS SOPS 200750 HAS SOUS 93683 HAS SOUPS 92420 WITH SCORE 92628.048
AT ITER 3653 NEW BEST:: SOT 404561 SOS 206917 HAS SOPS 199619 HAS SOUS 93674 HAS SOUPS 92411 WITH SCORE 92617.917
AT ITER 3656 NEW BEST:: SOT 404594 SOS 206879 HAS SOPS 199596 HAS SOUS 93651 HAS SOUPS 92388 WITH SCORE 92594.879
AT ITER 3667 NEW BEST:: SOT 404611 SOS 206940 HAS SOPS 199657 HAS SOUS 93645 HAS SOUPS 92382 WITH SCORE 92588.94
AT ITER 3688 NEW BEST:: SOT 404657 SOS 206930 HAS SOPS 199648 HAS SOUS 93636 HAS SOUPS 92373 WITH SCORE 92579.93
AT ITER 3690 NEW BEST:: SOT 404589 SOS 206891 HAS SOPS 199609 HAS SOUS 93600 HAS SOUPS 92337 WITH SCORE 92543.891
AT ITER 3693 NEW BEST:: SOT 404585 SOS 206883 HAS SOPS 199601 HAS SOUS 93596 HAS SOUPS 92333 WITH SCORE 92539.883
AT ITER 3705 NEW BEST:: SOT 404616 SOS 206915 HAS SOPS 199633 HAS SOUS 93586 HAS SOUPS 92323 WITH SCORE 92529.915
AT ITER 3759 NEW BEST:: SOT 404610 SOS 206882 HAS SOPS 199600 HAS SOUS 93566 HAS SOUPS 92303 WITH SCORE 92509.882
AT ITER 3762 NEW BEST:: SOT 404595 SOS 206867 HAS SOPS 199585 HAS SOUS 93501 HAS SOUPS 92238 WITH SCORE 92444.867
AT ITER 3768 NEW BEST:: SOT 404634 SOS 206906 HAS SOPS 199624 HAS SOUS 93404 HAS SOUPS 92141 WITH SCORE 92347.906
AT ITER 3775 NEW BEST:: SOT 404594 SOS 206866 HAS SOPS 199584 HAS SOUS 93275 HAS SOUPS 92012 WITH SCORE 92218.866
AT ITER 3793 NEW BEST:: SOT 404594 SOS 206574 HAS SOPS 199364 HAS SOUS 93246 HAS SOUPS 91999 WITH SCORE 92205.574
AT ITER 3797 NEW BEST:: SOT 404594 SOS 206560 HAS SOPS 199350 HAS SOUS 93239 HAS SOUPS 91992 WITH SCORE 92198.56
AT ITER 3804 NEW BEST:: SOT 404594 SOS 206308 HAS SOPS 199098 HAS SOUS 93225 HAS SOUPS 91978 WITH SCORE 92184.308
AT ITER 3838 NEW BEST:: SOT 404572 SOS 206326 HAS SOPS 199132 HAS SOUS 93181 HAS SOUPS 91950 WITH SCORE 92156.326
AT ITER 3845 NEW BEST:: SOT 404510 SOS 206168 HAS SOPS 198993 HAS SOUS 93057 HAS SOUPS 91826 WITH SCORE 92032.168
AT ITER 3850 NEW BEST:: SOT 404490 SOS 206452 HAS SOPS 199277 HAS SOUS 92902 HAS SOUPS 91671 WITH SCORE 91877.452
AT ITER 3851 NEW BEST:: SOT 404403 SOS 206365 HAS SOPS 199190 HAS SOUS 92811 HAS SOUPS 91580 WITH SCORE 91786.365
AT ITER 3859 NEW BEST:: SOT 404418 SOS 206429 HAS SOPS 199254 HAS SOUS 92382 HAS SOUPS 91151 WITH SCORE 91357.429
AT ITER 3863 NEW BEST:: SOT 404413 SOS 206424 HAS SOPS 199249 HAS SOUS 92342 HAS SOUPS 91111 WITH SCORE 91317.424
AT ITER 3868 NEW BEST:: SOT 404347 SOS 206316 HAS SOPS 199141 HAS SOUS 92163 HAS SOUPS 90932 WITH SCORE 91138.316
AT ITER 3887 NEW BEST:: SOT 404316 SOS 206282 HAS SOPS 199107 HAS SOUS 92129 HAS SOUPS 90898 WITH SCORE 91104.282
AT ITER 3900 NEW BEST:: SOT 404055 SOS 212131 HAS SOPS 204956 HAS SOUS 91966 HAS SOUPS 90735 WITH SCORE 90947.131
AT ITER 3913 NEW BEST:: SOT 403977 SOS 212100 HAS SOPS 204925 HAS SOUS 91905 HAS SOUPS 90674 WITH SCORE 90886.1
AT ITER 3927 NEW BEST:: SOT 403916 SOS 211815 HAS SOPS 204640 HAS SOUS 91795 HAS SOUPS 90564 WITH SCORE 90775.815
AT ITER 3930 NEW BEST:: SOT 403916 SOS 211812 HAS SOPS 204637 HAS SOUS 91792 HAS SOUPS 90561 WITH SCORE 90772.812
AT ITER 3932 NEW BEST:: SOT 403914 SOS 211814 HAS SOPS 204639 HAS SOUS 91790 HAS SOUPS 90559 WITH SCORE 90770.814
AT ITER 3933 NEW BEST:: SOT 403889 SOS 211789 HAS SOPS 204614 HAS SOUS 91752 HAS SOUPS 90521 WITH SCORE 90732.789
AT ITER 3950 NEW BEST:: SOT 404236 SOS 212231 HAS SOPS 205056 HAS SOUS 91664 HAS SOUPS 90433 WITH SCORE 90645.231
AT ITER 3957 NEW BEST:: SOT 404153 SOS 212148 HAS SOPS 204973 HAS SOUS 91580 HAS SOUPS 90349 WITH SCORE 90561.148
AT ITER 3970 NEW BEST:: SOT 404111 SOS 212275 HAS SOPS 205100 HAS SOUS 91299 HAS SOUPS 90068 WITH SCORE 90280.275
AT ITER 3979 NEW BEST:: SOT 404111 SOS 212275 HAS SOPS 205100 HAS SOUS 91281 HAS SOUPS 90050 WITH SCORE 90262.275
AT ITER 3995 NEW BEST:: SOT 404002 SOS 212205 HAS SOPS 205030 HAS SOUS 91267 HAS SOUPS 90036 WITH SCORE 90248.205
AT ITER 4012 NEW BEST:: SOT 404002 SOS 212191 HAS SOPS 205002 HAS SOUS 91253 HAS SOUPS 90022 WITH SCORE 90234.191
AT ITER 4021 NEW BEST:: SOT 403981 SOS 212144 HAS SOPS 204955 HAS SOUS 91145 HAS SOUPS 89914 WITH SCORE 90126.144
AT ITER 4029 NEW BEST:: SOT 403981 SOS 211904 HAS SOPS 204715 HAS SOUS 91145 HAS SOUPS 89914 WITH SCORE 90125.904
AT ITER 4055 NEW BEST:: SOT 403963 SOS 211886 HAS SOPS 204697 HAS SOUS 91109 HAS SOUPS 89878 WITH SCORE 90089.886
AT ITER 4065 NEW BEST:: SOT 403940 SOS 211826 HAS SOPS 204637 HAS SOUS 91048 HAS SOUPS 89817 WITH SCORE 90028.826
AT ITER 4072 NEW BEST:: SOT 403907 SOS 211843 HAS SOPS 204654 HAS SOUS 90993 HAS SOUPS 89762 WITH SCORE 89973.843
AT ITER 4076 NEW BEST:: SOT 403982 SOS 211993 HAS SOPS 204804 HAS SOUS 90885 HAS SOUPS 89654 WITH SCORE 89865.993
AT ITER 4082 NEW BEST:: SOT 403429 SOS 211518 HAS SOPS 204329 HAS SOUS 90831 HAS SOUPS 89600 WITH SCORE 89811.518
AT ITER 4084 NEW BEST:: SOT 403453 SOS 211529 HAS SOPS 204340 HAS SOUS 90736 HAS SOUPS 89505 WITH SCORE 89716.529
AT ITER 4111 NEW BEST:: SOT 403413 SOS 211499 HAS SOPS 204310 HAS SOUS 90690 HAS SOUPS 89459 WITH SCORE 89670.499
AT ITER 4123 NEW BEST:: SOT 403317 SOS 211392 HAS SOPS 204203 HAS SOUS 90615 HAS SOUPS 89384 WITH SCORE 89595.392
AT ITER 4126 NEW BEST:: SOT 403290 SOS 211393 HAS SOPS 204204 HAS SOUS 90561 HAS SOUPS 89330 WITH SCORE 89541.393
AT ITER 4138 NEW BEST:: SOT 403314 SOS 211417 HAS SOPS 204228 HAS SOUS 90545 HAS SOUPS 89314 WITH SCORE 89525.417
AT ITER 4159 NEW BEST:: SOT 403245 SOS 211315 HAS SOPS 204126 HAS SOUS 90533 HAS SOUPS 89302 WITH SCORE 89513.315
AT ITER 4161 NEW BEST:: SOT 403029 SOS 210866 HAS SOPS 203677 HAS SOUS 90225 HAS SOUPS 88994 WITH SCORE 89204.866
AT ITER 4178 NEW BEST:: SOT 403052 SOS 210864 HAS SOPS 203675 HAS SOUS 90223 HAS SOUPS 88992 WITH SCORE 89202.864
AT ITER 4180 NEW BEST:: SOT 403017 SOS 210910 HAS SOPS 203721 HAS SOUS 90120 HAS SOUPS 88889 WITH SCORE 89099.91
AT ITER 4192 NEW BEST:: SOT 402988 SOS 210852 HAS SOPS 203663 HAS SOUS 90033 HAS SOUPS 88802 WITH SCORE 89012.852
AT ITER 4272 NEW BEST:: SOT 402988 SOS 210777 HAS SOPS 203588 HAS SOUS 90028 HAS SOUPS 88797 WITH SCORE 89007.777
AT ITER 4286 NEW BEST:: SOT 402901 SOS 210793 HAS SOPS 203604 HAS SOUS 89975 HAS SOUPS 88744 WITH SCORE 88954.793
AT ITER 4294 NEW BEST:: SOT 402893 SOS 210751 HAS SOPS 203536 HAS SOUS 89948 HAS SOUPS 88702 WITH SCORE 88912.751
AT ITER 4300 NEW BEST:: SOT 402740 SOS 210340 HAS SOPS 203125 HAS SOUS 89715 HAS SOUPS 88469 WITH SCORE 88679.34
AT ITER 4317 NEW BEST:: SOT 402675 SOS 211882 HAS SOPS 204835 HAS SOUS 89692 HAS SOUPS 88467 WITH SCORE 88678.882
AT ITER 4330 NEW BEST:: SOT 402661 SOS 211939 HAS SOPS 204892 HAS SOUS 89664 HAS SOUPS 88439 WITH SCORE 88650.939
AT ITER 4340 NEW BEST:: SOT 402647 SOS 211911 HAS SOPS 204864 HAS SOUS 89657 HAS SOUPS 88432 WITH SCORE 88643.911
AT ITER 4356 NEW BEST:: SOT 402621 SOS 211885 HAS SOPS 204838 HAS SOUS 89647 HAS SOUPS 88422 WITH SCORE 88633.885
AT ITER 4357 NEW BEST:: SOT 402615 SOS 211880 HAS SOPS 204832 HAS SOUS 89641 HAS SOUPS 88415 WITH SCORE 88626.88
AT ITER 4359 NEW BEST:: SOT 402592 SOS 211856 HAS SOPS 204808 HAS SOUS 89617 HAS SOUPS 88391 WITH SCORE 88602.856
AT ITER 4379 NEW BEST:: SOT 402574 SOS 211796 HAS SOPS 204748 HAS SOUS 89582 HAS SOUPS 88356 WITH SCORE 88567.796
AT ITER 4383 NEW BEST:: SOT 402538 SOS 211778 HAS SOPS 204730 HAS SOUS 89564 HAS SOUPS 88338 WITH SCORE 88549.778
AT ITER 4442 NEW BEST:: SOT 402542 SOS 211776 HAS SOPS 204728 HAS SOUS 89557 HAS SOUPS 88331 WITH SCORE 88542.776
AT ITER 4483 NEW BEST:: SOT 402532 SOS 211227 HAS SOPS 204179 HAS SOUS 89496 HAS SOUPS 88270 WITH SCORE 88481.227
AT ITER 4509 NEW BEST:: SOT 402532 SOS 211224 HAS SOPS 204176 HAS SOUS 89493 HAS SOUPS 88267 WITH SCORE 88478.224
AT ITER 4526 NEW BEST:: SOT 402364 SOS 210855 HAS SOPS 203807 HAS SOUS 89352 HAS SOUPS 88126 WITH SCORE 88336.855
AT ITER 4556 NEW BEST:: SOT 402343 SOS 210855 HAS SOPS 203807 HAS SOUS 89289 HAS SOUPS 88063 WITH SCORE 88273.855
AT ITER 4564 NEW BEST:: SOT 402343 SOS 210814 HAS SOPS 203766 HAS SOUS 89248 HAS SOUPS 88022 WITH SCORE 88232.814
AT ITER 4565 NEW BEST:: SOT 402350 SOS 210821 HAS SOPS 203773 HAS SOUS 89165 HAS SOUPS 87939 WITH SCORE 88149.821
AT ITER 4583 NEW BEST:: SOT 402310 SOS 210853 HAS SOPS 203805 HAS SOUS 89081 HAS SOUPS 87855 WITH SCORE 88065.853
AT ITER 4586 NEW BEST:: SOT 402301 SOS 210844 HAS SOPS 203796 HAS SOUS 89054 HAS SOUPS 87828 WITH SCORE 88038.844
AT ITER 4592 NEW BEST:: SOT 402280 SOS 210767 HAS SOPS 203719 HAS SOUS 88964 HAS SOUPS 87738 WITH SCORE 87948.767
AT ITER 4606 NEW BEST:: SOT 402280 SOS 210729 HAS SOPS 203681 HAS SOUS 88916 HAS SOUPS 87690 WITH SCORE 87900.729
AT ITER 4610 NEW BEST:: SOT 402280 SOS 210729 HAS SOPS 203681 HAS SOUS 88808 HAS SOUPS 87582 WITH SCORE 87792.729
AT ITER 4627 NEW BEST:: SOT 402276 SOS 210968 HAS SOPS 203920 HAS SOUS 88746 HAS SOUPS 87520 WITH SCORE 87730.968
AT ITER 4636 NEW BEST:: SOT 402262 SOS 210876 HAS SOPS 203828 HAS SOUS 88718 HAS SOUPS 87492 WITH SCORE 87702.876
AT ITER 4643 NEW BEST:: SOT 402258 SOS 210323 HAS SOPS 203091 HAS SOUS 88724 HAS SOUPS 87475 WITH SCORE 87685.323
AT ITER 4686 NEW BEST:: SOT 402258 SOS 210335 HAS SOPS 203103 HAS SOUS 88712 HAS SOUPS 87463 WITH SCORE 87673.335
AT ITER 4695 NEW BEST:: SOT 402295 SOS 210345 HAS SOPS 203076 HAS SOUS 88700 HAS SOUPS 87453 WITH SCORE 87663.345
AT ITER 4707 NEW BEST:: SOT 402311 SOS 210361 HAS SOPS 203092 HAS SOUS 88656 HAS SOUPS 87409 WITH SCORE 87619.361
AT ITER 4732 NEW BEST:: SOT 402481 SOS 210891 HAS SOPS 203622 HAS SOUS 88628 HAS SOUPS 87381 WITH SCORE 87591.891
AT ITER 4761 NEW BEST:: SOT 402430 SOS 210914 HAS SOPS 203645 HAS SOUS 88544 HAS SOUPS 87297 WITH SCORE 87507.914
AT ITER 4783 NEW BEST:: SOT 402430 SOS 211544 HAS SOPS 204275 HAS SOUS 88528 HAS SOUPS 87281 WITH SCORE 87492.544
AT ITER 4791 NEW BEST:: SOT 402433 SOS 212090 HAS SOPS 204821 HAS SOUS 88522 HAS SOUPS 87275 WITH SCORE 87487.09
AT ITER 4793 NEW BEST:: SOT 402503 SOS 212020 HAS SOPS 204751 HAS SOUS 88452 HAS SOUPS 87205 WITH SCORE 87417.02
AT ITER 4803 NEW BEST:: SOT 402498 SOS 212015 HAS SOPS 204746 HAS SOUS 88442 HAS SOUPS 87195 WITH SCORE 87407.015
AT ITER 4806 NEW BEST:: SOT 402461 SOS 212024 HAS SOPS 204755 HAS SOUS 88414 HAS SOUPS 87167 WITH SCORE 87379.024
AT ITER 4827 NEW BEST:: SOT 402447 SOS 211996 HAS SOPS 204727 HAS SOUS 88386 HAS SOUPS 87139 WITH SCORE 87350.996
AT ITER 4886 NEW BEST:: SOT 402490 SOS 212249 HAS SOPS 204980 HAS SOUS 88166 HAS SOUPS 86919 WITH SCORE 87131.249
AT ITER 4889 NEW BEST:: SOT 402496 SOS 212231 HAS SOPS 204935 HAS SOUS 88148 HAS SOUPS 86901 WITH SCORE 87113.231
AT ITER 4917 NEW BEST:: SOT 402539 SOS 212201 HAS SOPS 204863 HAS SOUS 88110 HAS SOUPS 86863 WITH SCORE 87075.201
AT ITER 4926 NEW BEST:: SOT 402539 SOS 212188 HAS SOPS 204850 HAS SOUS 88097 HAS SOUPS 86850 WITH SCORE 87062.188
AT ITER 4940 NEW BEST:: SOT 402536 SOS 212179 HAS SOPS 204841 HAS SOUS 88091 HAS SOUPS 86844 WITH SCORE 87056.179
AT ITER 4953 NEW BEST:: SOT 402560 SOS 212200 HAS SOPS 204862 HAS SOUS 88088 HAS SOUPS 86841 WITH SCORE 87053.2
AT ITER 4967 NEW BEST:: SOT 402455 SOS 212004 HAS SOPS 204666 HAS SOUS 87812 HAS SOUPS 86565 WITH SCORE 86777.004
AT ITER 4979 NEW BEST:: SOT 402399 SOS 211948 HAS SOPS 204610 HAS SOUS 87756 HAS SOUPS 86509 WITH SCORE 86720.948
AT ITER 5026 NEW BEST:: SOT 402292 SOS 211526 HAS SOPS 204188 HAS SOUS 87614 HAS SOUPS 86367 WITH SCORE 86578.526
AT ITER 5033 NEW BEST:: SOT 402296 SOS 211486 HAS SOPS 204148 HAS SOUS 87612 HAS SOUPS 86365 WITH SCORE 86576.486
AT ITER 5041 NEW BEST:: SOT 402293 SOS 211483 HAS SOPS 204145 HAS SOUS 87603 HAS SOUPS 86356 WITH SCORE 86567.483
AT ITER 5058 NEW BEST:: SOT 402289 SOS 211482 HAS SOPS 204144 HAS SOUS 87595 HAS SOUPS 86348 WITH SCORE 86559.482
AT ITER 5080 NEW BEST:: SOT 402298 SOS 211491 HAS SOPS 204153 HAS SOUS 87578 HAS SOUPS 86331 WITH SCORE 86542.491
AT ITER 5100 NEW BEST:: SOT 402268 SOS 211461 HAS SOPS 204123 HAS SOUS 87550 HAS SOUPS 86303 WITH SCORE 86514.461
AT ITER 5113 NEW BEST:: SOT 402234 SOS 211180 HAS SOPS 203842 HAS SOUS 87545 HAS SOUPS 86298 WITH SCORE 86509.18
AT ITER 5120 NEW BEST:: SOT 402194 SOS 211202 HAS SOPS 203866 HAS SOUS 87509 HAS SOUPS 86262 WITH SCORE 86473.202
AT ITER 5130 NEW BEST:: SOT 402126 SOS 211134 HAS SOPS 203798 HAS SOUS 87506 HAS SOUPS 86259 WITH SCORE 86470.134
AT ITER 5158 NEW BEST:: SOT 402116 SOS 211124 HAS SOPS 203788 HAS SOUS 87505 HAS SOUPS 86258 WITH SCORE 86469.124
AT ITER 5182 NEW BEST:: SOT 402088 SOS 211096 HAS SOPS 203760 HAS SOUS 87466 HAS SOUPS 86219 WITH SCORE 86430.096
AT ITER 5205 NEW BEST:: SOT 402058 SOS 211145 HAS SOPS 203809 HAS SOUS 87332 HAS SOUPS 86085 WITH SCORE 86296.145
AT ITER 5225 NEW BEST:: SOT 402048 SOS 211142 HAS SOPS 203806 HAS SOUS 87286 HAS SOUPS 86039 WITH SCORE 86250.142
AT ITER 5255 NEW BEST:: SOT 402051 SOS 211159 HAS SOPS 203823 HAS SOUS 87264 HAS SOUPS 86017 WITH SCORE 86228.159
AT ITER 5330 NEW BEST:: SOT 402165 SOS 211106 HAS SOPS 203705 HAS SOUS 87176 HAS SOUPS 85929 WITH SCORE 86140.106
AT ITER 5340 NEW BEST:: SOT 402139 SOS 211080 HAS SOPS 203679 HAS SOUS 87147 HAS SOUPS 85900 WITH SCORE 86111.08
AT ITER 5353 NEW BEST:: SOT 402082 SOS 211023 HAS SOPS 203622 HAS SOUS 87033 HAS SOUPS 85786 WITH SCORE 85997.023
AT ITER 5364 NEW BEST:: SOT 402082 SOS 210819 HAS SOPS 203418 HAS SOUS 87028 HAS SOUPS 85781 WITH SCORE 85991.819
AT ITER 5373 NEW BEST:: SOT 402050 SOS 210789 HAS SOPS 203388 HAS SOUS 86955 HAS SOUPS 85708 WITH SCORE 85918.789
AT ITER 5388 NEW BEST:: SOT 402050 SOS 210785 HAS SOPS 203384 HAS SOUS 86951 HAS SOUPS 85704 WITH SCORE 85914.785
AT ITER 5398 NEW BEST:: SOT 401964 SOS 210613 HAS SOPS 203212 HAS SOUS 86779 HAS SOUPS 85532 WITH SCORE 85742.613
AT ITER 5450 NEW BEST:: SOT 401984 SOS 210633 HAS SOPS 203232 HAS SOUS 86734 HAS SOUPS 85487 WITH SCORE 85697.633
AT ITER 5469 NEW BEST:: SOT 401979 SOS 210613 HAS SOPS 203212 HAS SOUS 86724 HAS SOUPS 85477 WITH SCORE 85687.613
AT ITER 5472 NEW BEST:: SOT 401530 SOS 209990 HAS SOPS 202589 HAS SOUS 86616 HAS SOUPS 85369 WITH SCORE 85578.99
AT ITER 5476 NEW BEST:: SOT 401483 SOS 209679 HAS SOPS 202278 HAS SOUS 86604 HAS SOUPS 85357 WITH SCORE 85566.679
AT ITER 5509 NEW BEST:: SOT 401438 SOS 209634 HAS SOPS 202233 HAS SOUS 86554 HAS SOUPS 85307 WITH SCORE 85516.634
AT ITER 5534 NEW BEST:: SOT 401460 SOS 209719 HAS SOPS 202318 HAS SOUS 86492 HAS SOUPS 85245 WITH SCORE 85454.719
AT ITER 5537 NEW BEST:: SOT 401382 SOS 209678 HAS SOPS 202277 HAS SOUS 86406 HAS SOUPS 85159 WITH SCORE 85368.678
AT ITER 5560 NEW BEST:: SOT 401383 SOS 209690 HAS SOPS 202289 HAS SOUS 86397 HAS SOUPS 85150 WITH SCORE 85359.69
AT ITER 5598 NEW BEST:: SOT 401340 SOS 209682 HAS SOPS 202281 HAS SOUS 86311 HAS SOUPS 85064 WITH SCORE 85273.682
AT ITER 5599 NEW BEST:: SOT 401324 SOS 209477 HAS SOPS 202076 HAS SOUS 86295 HAS SOUPS 85048 WITH SCORE 85257.477
AT ITER 5602 NEW BEST:: SOT 401324 SOS 209480 HAS SOPS 202079 HAS SOUS 86294 HAS SOUPS 85047 WITH SCORE 85256.48
AT ITER 5607 NEW BEST:: SOT 401324 SOS 209390 HAS SOPS 201973 HAS SOUS 86279 HAS SOUPS 85031 WITH SCORE 85240.39
AT ITER 5614 NEW BEST:: SOT 401325 SOS 209391 HAS SOPS 201974 HAS SOUS 86275 HAS SOUPS 85027 WITH SCORE 85236.391
AT ITER 5629 NEW BEST:: SOT 401325 SOS 209381 HAS SOPS 201964 HAS SOUS 86265 HAS SOUPS 85017 WITH SCORE 85226.381
AT ITER 5631 NEW BEST:: SOT 401313 SOS 209369 HAS SOPS 201940 HAS SOUS 86265 HAS SOUPS 85005 WITH SCORE 85214.369
AT ITER 5635 NEW BEST:: SOT 401278 SOS 209371 HAS SOPS 201942 HAS SOUS 86224 HAS SOUPS 84964 WITH SCORE 85173.371
AT ITER 5636 NEW BEST:: SOT 401234 SOS 208934 HAS SOPS 201505 HAS SOUS 86141 HAS SOUPS 84881 WITH SCORE 85089.934
AT ITER 5669 NEW BEST:: SOT 401151 SOS 208867 HAS SOPS 201438 HAS SOUS 86115 HAS SOUPS 84855 WITH SCORE 85063.867
AT ITER 5730 NEW BEST:: SOT 401218 SOS 209113 HAS SOPS 201684 HAS SOUS 85937 HAS SOUPS 84677 WITH SCORE 84886.113
AT ITER 5737 NEW BEST:: SOT 401214 SOS 209113 HAS SOPS 201684 HAS SOUS 85933 HAS SOUPS 84673 WITH SCORE 84882.113
AT ITER 5758 NEW BEST:: SOT 401187 SOS 208987 HAS SOPS 201558 HAS SOUS 85890 HAS SOUPS 84630 WITH SCORE 84838.987
AT ITER 5766 NEW BEST:: SOT 401163 SOS 208984 HAS SOPS 201531 HAS SOUS 85893 HAS SOUPS 84630 WITH SCORE 84838.984
AT ITER 5778 NEW BEST:: SOT 401162 SOS 208983 HAS SOPS 201530 HAS SOUS 85872 HAS SOUPS 84609 WITH SCORE 84817.983
AT ITER 5819 NEW BEST:: SOT 401160 SOS 208981 HAS SOPS 201528 HAS SOUS 85868 HAS SOUPS 84605 WITH SCORE 84813.981
AT ITER 5843 NEW BEST:: SOT 401289 SOS 209329 HAS SOPS 201876 HAS SOUS 85798 HAS SOUPS 84535 WITH SCORE 84744.329
AT ITER 5867 NEW BEST:: SOT 401274 SOS 209314 HAS SOPS 201861 HAS SOUS 85783 HAS SOUPS 84520 WITH SCORE 84729.314
AT ITER 5872 NEW BEST:: SOT 401270 SOS 209310 HAS SOPS 201857 HAS SOUS 85783 HAS SOUPS 84520 WITH SCORE 84729.31
AT ITER 5877 NEW BEST:: SOT 401150 SOS 209190 HAS SOPS 201737 HAS SOUS 85729 HAS SOUPS 84466 WITH SCORE 84675.19
AT ITER 5882 NEW BEST:: SOT 401150 SOS 209190 HAS SOPS 201728 HAS SOUS 85720 HAS SOUPS 84457 WITH SCORE 84666.19
AT ITER 5920 NEW BEST:: SOT 401029 SOS 216152 HAS SOPS 208690 HAS SOUS 85599 HAS SOUPS 84336 WITH SCORE 84552.152
AT ITER 5929 NEW BEST:: SOT 401013 SOS 216120 HAS SOPS 208658 HAS SOUS 85567 HAS SOUPS 84304 WITH SCORE 84520.12
AT ITER 5931 NEW BEST:: SOT 400768 SOS 215875 HAS SOPS 208413 HAS SOUS 85443 HAS SOUPS 84180 WITH SCORE 84395.875
AT ITER 5950 NEW BEST:: SOT 400768 SOS 216160 HAS SOPS 208698 HAS SOUS 85138 HAS SOUPS 83875 WITH SCORE 84091.16
AT ITER 5955 NEW BEST:: SOT 400739 SOS 216131 HAS SOPS 208658 HAS SOUS 85080 HAS SOUPS 83817 WITH SCORE 84033.131
AT ITER 5959 NEW BEST:: SOT 400747 SOS 216266 HAS SOPS 208793 HAS SOUS 84930 HAS SOUPS 83667 WITH SCORE 83883.266
AT ITER 5969 NEW BEST:: SOT 400705 SOS 216144 HAS SOPS 208671 HAS SOUS 84915 HAS SOUPS 83652 WITH SCORE 83868.144
AT ITER 5981 NEW BEST:: SOT 400606 SOS 216126 HAS SOPS 208653 HAS SOUS 84717 HAS SOUPS 83454 WITH SCORE 83670.126
AT ITER 5988 NEW BEST:: SOT 400580 SOS 216057 HAS SOPS 208584 HAS SOUS 84665 HAS SOUPS 83402 WITH SCORE 83618.057
AT ITER 5996 NEW BEST:: SOT 400539 SOS 216016 HAS SOPS 208543 HAS SOUS 84606 HAS SOUPS 83343 WITH SCORE 83559.016
AT ITER 6025 NEW BEST:: SOT 400585 SOS 216062 HAS SOPS 208589 HAS SOUS 84580 HAS SOUPS 83317 WITH SCORE 83533.062
AT ITER 6038 NEW BEST:: SOT 400597 SOS 216109 HAS SOPS 208636 HAS SOUS 84577 HAS SOUPS 83314 WITH SCORE 83530.109
AT ITER 6049 NEW BEST:: SOT 400510 SOS 215304 HAS SOPS 207831 HAS SOUS 84406 HAS SOUPS 83143 WITH SCORE 83358.304
AT ITER 6059 NEW BEST:: SOT 400543 SOS 215187 HAS SOPS 207714 HAS SOUS 84350 HAS SOUPS 83087 WITH SCORE 83302.187
AT ITER 6139 NEW BEST:: SOT 400431 SOS 214947 HAS SOPS 207474 HAS SOUS 84190 HAS SOUPS 82927 WITH SCORE 83141.947
AT ITER 6147 NEW BEST:: SOT 400395 SOS 214893 HAS SOPS 207420 HAS SOUS 84100 HAS SOUPS 82837 WITH SCORE 83051.893
AT ITER 6168 NEW BEST:: SOT 400394 SOS 214892 HAS SOPS 207419 HAS SOUS 84098 HAS SOUPS 82835 WITH SCORE 83049.892
AT ITER 6190 NEW BEST:: SOT 400370 SOS 214868 HAS SOPS 207395 HAS SOUS 84080 HAS SOUPS 82817 WITH SCORE 83031.868
AT ITER 6216 NEW BEST:: SOT 400353 SOS 214851 HAS SOPS 207378 HAS SOUS 84069 HAS SOUPS 82806 WITH SCORE 83020.851
AT ITER 6218 NEW BEST:: SOT 400447 SOS 216030 HAS SOPS 208557 HAS SOUS 84015 HAS SOUPS 82752 WITH SCORE 82968.03
AT ITER 6232 NEW BEST:: SOT 400409 SOS 215992 HAS SOPS 208519 HAS SOUS 83977 HAS SOUPS 82714 WITH SCORE 82929.992
AT ITER 6236 NEW BEST:: SOT 400397 SOS 215956 HAS SOPS 208483 HAS SOUS 83953 HAS SOUPS 82690 WITH SCORE 82905.956
AT ITER 6244 NEW BEST:: SOT 400365 SOS 215915 HAS SOPS 208442 HAS SOUS 83901 HAS SOUPS 82638 WITH SCORE 82853.915
AT ITER 6264 NEW BEST:: SOT 400188 SOS 215627 HAS SOPS 208154 HAS SOUS 83487 HAS SOUPS 82224 WITH SCORE 82439.627
AT ITER 6266 NEW BEST:: SOT 400188 SOS 215607 HAS SOPS 208134 HAS SOUS 83487 HAS SOUPS 82224 WITH SCORE 82439.607
AT ITER 6272 NEW BEST:: SOT 400234 SOS 215575 HAS SOPS 208102 HAS SOUS 83439 HAS SOUPS 82176 WITH SCORE 82391.575
AT ITER 6296 NEW BEST:: SOT 400196 SOS 215537 HAS SOPS 208064 HAS SOUS 83398 HAS SOUPS 82135 WITH SCORE 82350.537
AT ITER 6304 NEW BEST:: SOT 400171 SOS 215671 HAS SOPS 208198 HAS SOUS 83361 HAS SOUPS 82098 WITH SCORE 82313.671
AT ITER 6320 NEW BEST:: SOT 400230 SOS 215730 HAS SOPS 208257 HAS SOUS 83243 HAS SOUPS 81980 WITH SCORE 82195.73
AT ITER 6323 NEW BEST:: SOT 400230 SOS 215020 HAS SOPS 207547 HAS SOUS 83243 HAS SOUPS 81980 WITH SCORE 82195.02
AT ITER 6347 NEW BEST:: SOT 400230 SOS 215158 HAS SOPS 207685 HAS SOUS 83217 HAS SOUPS 81954 WITH SCORE 82169.158
AT ITER 6372 NEW BEST:: SOT 400204 SOS 215024 HAS SOPS 207551 HAS SOUS 83192 HAS SOUPS 81929 WITH SCORE 82144.024
AT ITER 6391 NEW BEST:: SOT 400190 SOS 215024 HAS SOPS 207537 HAS SOUS 83178 HAS SOUPS 81915 WITH SCORE 82130.024
AT ITER 6396 NEW BEST:: SOT 400255 SOS 215089 HAS SOPS 207602 HAS SOUS 83113 HAS SOUPS 81850 WITH SCORE 82065.089
AT ITER 6433 NEW BEST:: SOT 400259 SOS 215040 HAS SOPS 207553 HAS SOUS 83068 HAS SOUPS 81805 WITH SCORE 82020.04
AT ITER 6447 NEW BEST:: SOT 400033 SOS 214686 HAS SOPS 207199 HAS SOUS 82747 HAS SOUPS 81484 WITH SCORE 81698.686
AT ITER 6458 NEW BEST:: SOT 400083 SOS 214736 HAS SOPS 207249 HAS SOUS 82715 HAS SOUPS 81452 WITH SCORE 81666.736
AT ITER 6498 NEW BEST:: SOT 400087 SOS 214741 HAS SOPS 207254 HAS SOUS 82714 HAS SOUPS 81451 WITH SCORE 81665.741
AT ITER 6506 NEW BEST:: SOT 400027 SOS 214710 HAS SOPS 207223 HAS SOUS 82500 HAS SOUPS 81237 WITH SCORE 81451.71
AT ITER 6515 NEW BEST:: SOT 400030 SOS 214738 HAS SOPS 207251 HAS SOUS 82406 HAS SOUPS 81143 WITH SCORE 81357.738
AT ITER 6531 NEW BEST:: SOT 400027 SOS 214735 HAS SOPS 207248 HAS SOUS 82400 HAS SOUPS 81137 WITH SCORE 81351.735
AT ITER 6593 NEW BEST:: SOT 400020 SOS 214827 HAS SOPS 207340 HAS SOUS 82151 HAS SOUPS 80888 WITH SCORE 81102.827
AT ITER 6598 NEW BEST:: SOT 400016 SOS 214822 HAS SOPS 207335 HAS SOUS 82147 HAS SOUPS 80884 WITH SCORE 81098.822
AT ITER 6601 NEW BEST:: SOT 400016 SOS 214824 HAS SOPS 207337 HAS SOUS 82143 HAS SOUPS 80880 WITH SCORE 81094.824
AT ITER 6602 NEW BEST:: SOT 400080 SOS 215167 HAS SOPS 207680 HAS SOUS 82112 HAS SOUPS 80849 WITH SCORE 81064.167
AT ITER 6628 NEW BEST:: SOT 400060 SOS 214778 HAS SOPS 207291 HAS SOUS 82056 HAS SOUPS 80793 WITH SCORE 81007.778
AT ITER 6644 NEW BEST:: SOT 399958 SOS 214676 HAS SOPS 207189 HAS SOUS 81839 HAS SOUPS 80576 WITH SCORE 80790.676
AT ITER 6669 NEW BEST:: SOT 399928 SOS 214622 HAS SOPS 207135 HAS SOUS 81803 HAS SOUPS 80540 WITH SCORE 80754.622
AT ITER 6679 NEW BEST:: SOT 399919 SOS 214610 HAS SOPS 207123 HAS SOUS 81795 HAS SOUPS 80532 WITH SCORE 80746.61
AT ITER 6680 NEW BEST:: SOT 399898 SOS 214610 HAS SOPS 207123 HAS SOUS 81732 HAS SOUPS 80469 WITH SCORE 80683.61
AT ITER 6685 NEW BEST:: SOT 399866 SOS 214550 HAS SOPS 207063 HAS SOUS 81723 HAS SOUPS 80460 WITH SCORE 80674.55
AT ITER 6692 NEW BEST:: SOT 399844 SOS 214474 HAS SOPS 206987 HAS SOUS 81679 HAS SOUPS 80416 WITH SCORE 80630.474
AT ITER 6698 NEW BEST:: SOT 399699 SOS 214407 HAS SOPS 206920 HAS SOUS 81673 HAS SOUPS 80410 WITH SCORE 80624.407
AT ITER 6704 NEW BEST:: SOT 399635 SOS 214281 HAS SOPS 206794 HAS SOUS 81434 HAS SOUPS 80171 WITH SCORE 80385.281
AT ITER 6749 NEW BEST:: SOT 399630 SOS 214266 HAS SOPS 206779 HAS SOUS 81419 HAS SOUPS 80156 WITH SCORE 80370.266
AT ITER 6750 NEW BEST:: SOT 399645 SOS 214251 HAS SOPS 206779 HAS SOUS 81406 HAS SOUPS 80156 WITH SCORE 80370.251
AT ITER 6753 NEW BEST:: SOT 399632 SOS 214342 HAS SOPS 206870 HAS SOUS 81393 HAS SOUPS 80143 WITH SCORE 80357.342
AT ITER 6784 NEW BEST:: SOT 399856 SOS 214846 HAS SOPS 207374 HAS SOUS 81281 HAS SOUPS 80031 WITH SCORE 80245.846
AT ITER 6786 NEW BEST:: SOT 399856 SOS 214861 HAS SOPS 207389 HAS SOUS 81271 HAS SOUPS 80021 WITH SCORE 80235.861
AT ITER 6803 NEW BEST:: SOT 399625 SOS 214630 HAS SOPS 207158 HAS SOUS 81208 HAS SOUPS 79958 WITH SCORE 80172.63
AT ITER 6819 NEW BEST:: SOT 399608 SOS 214613 HAS SOPS 207141 HAS SOUS 81167 HAS SOUPS 79917 WITH SCORE 80131.613
AT ITER 6838 NEW BEST:: SOT 399588 SOS 214633 HAS SOPS 207161 HAS SOUS 81127 HAS SOUPS 79877 WITH SCORE 80091.633
AT ITER 6844 NEW BEST:: SOT 399588 SOS 214723 HAS SOPS 207281 HAS SOUS 81074 HAS SOUPS 79825 WITH SCORE 80039.723
AT ITER 6886 NEW BEST:: SOT 399588 SOS 214723 HAS SOPS 207281 HAS SOUS 81069 HAS SOUPS 79820 WITH SCORE 80034.723
AT ITER 6888 NEW BEST:: SOT 399593 SOS 214723 HAS SOPS 207281 HAS SOUS 81059 HAS SOUPS 79810 WITH SCORE 80024.723
AT ITER 6892 NEW BEST:: SOT 399571 SOS 214714 HAS SOPS 207272 HAS SOUS 81042 HAS SOUPS 79793 WITH SCORE 80007.714
AT ITER 6899 NEW BEST:: SOT 399567 SOS 214710 HAS SOPS 207268 HAS SOUS 81036 HAS SOUPS 79787 WITH SCORE 80001.71
AT ITER 6927 NEW BEST:: SOT 399563 SOS 214706 HAS SOPS 207264 HAS SOUS 81028 HAS SOUPS 79779 WITH SCORE 79993.706
AT ITER 6955 NEW BEST:: SOT 399563 SOS 214678 HAS SOPS 207236 HAS SOUS 81028 HAS SOUPS 79779 WITH SCORE 79993.678
AT ITER 6981 NEW BEST:: SOT 399563 SOS 214762 HAS SOPS 207320 HAS SOUS 80970 HAS SOUPS 79721 WITH SCORE 79935.762
AT ITER 7027 NEW BEST:: SOT 399623 SOS 214893 HAS SOPS 207451 HAS SOUS 80942 HAS SOUPS 79693 WITH SCORE 79907.893
AT ITER 7044 NEW BEST:: SOT 399609 SOS 214879 HAS SOPS 207440 HAS SOUS 80929 HAS SOUPS 79679 WITH SCORE 79893.879
AT ITER 7053 NEW BEST:: SOT 399508 SOS 214778 HAS SOPS 207339 HAS SOUS 80849 HAS SOUPS 79599 WITH SCORE 79813.778
AT ITER 7089 NEW BEST:: SOT 399507 SOS 214777 HAS SOPS 207338 HAS SOUS 80631 HAS SOUPS 79381 WITH SCORE 79595.777
AT ITER 7094 NEW BEST:: SOT 399474 SOS 214487 HAS SOPS 207048 HAS SOUS 80558 HAS SOUPS 79308 WITH SCORE 79522.487
AT ITER 7096 NEW BEST:: SOT 399474 SOS 214439 HAS SOPS 207000 HAS SOUS 80554 HAS SOUPS 79304 WITH SCORE 79518.439
AT ITER 7102 NEW BEST:: SOT 399434 SOS 214399 HAS SOPS 206960 HAS SOUS 80514 HAS SOUPS 79264 WITH SCORE 79478.399
AT ITER 7109 NEW BEST:: SOT 399434 SOS 214374 HAS SOPS 206910 HAS SOUS 80507 HAS SOUPS 79257 WITH SCORE 79471.374
AT ITER 7118 NEW BEST:: SOT 399434 SOS 214384 HAS SOPS 206920 HAS SOUS 80490 HAS SOUPS 79240 WITH SCORE 79454.384
AT ITER 7145 NEW BEST:: SOT 399432 SOS 214422 HAS SOPS 206958 HAS SOUS 80468 HAS SOUPS 79218 WITH SCORE 79432.422
AT ITER 7152 NEW BEST:: SOT 399396 SOS 214458 HAS SOPS 206994 HAS SOUS 80360 HAS SOUPS 79110 WITH SCORE 79324.458
AT ITER 7170 NEW BEST:: SOT 399376 SOS 214412 HAS SOPS 206948 HAS SOUS 80340 HAS SOUPS 79090 WITH SCORE 79304.412
AT ITER 7187 NEW BEST:: SOT 399346 SOS 214382 HAS SOPS 206918 HAS SOUS 80313 HAS SOUPS 79063 WITH SCORE 79277.382
AT ITER 7310 NEW BEST:: SOT 399350 SOS 214125 HAS SOPS 206661 HAS SOUS 80275 HAS SOUPS 79025 WITH SCORE 79239.125
AT ITER 7323 NEW BEST:: SOT 399306 SOS 214019 HAS SOPS 206555 HAS SOUS 80256 HAS SOUPS 79006 WITH SCORE 79220.019
AT ITER 7327 NEW BEST:: SOT 399306 SOS 212471 HAS SOPS 205007 HAS SOUS 80256 HAS SOUPS 79006 WITH SCORE 79218.471
AT ITER 7329 NEW BEST:: SOT 399285 SOS 212550 HAS SOPS 205086 HAS SOUS 80093 HAS SOUPS 78843 WITH SCORE 79055.55
AT ITER 7380 NEW BEST:: SOT 399197 SOS 212385 HAS SOPS 204921 HAS SOUS 80084 HAS SOUPS 78834 WITH SCORE 79046.385
AT ITER 7382 NEW BEST:: SOT 399184 SOS 212372 HAS SOPS 204908 HAS SOUS 80058 HAS SOUPS 78808 WITH SCORE 79020.372
AT ITER 7415 NEW BEST:: SOT 399184 SOS 212372 HAS SOPS 204908 HAS SOUS 80053 HAS SOUPS 78803 WITH SCORE 79015.372
AT ITER 7436 NEW BEST:: SOT 399177 SOS 212365 HAS SOPS 204901 HAS SOUS 80046 HAS SOUPS 78796 WITH SCORE 79008.365
AT ITER 7495 NEW BEST:: SOT 399171 SOS 212151 HAS SOPS 204687 HAS SOUS 80040 HAS SOUPS 78790 WITH SCORE 79002.151
AT ITER 7521 NEW BEST:: SOT 399171 SOS 212148 HAS SOPS 204684 HAS SOUS 80040 HAS SOUPS 78790 WITH SCORE 79002.148
AT ITER 7524 NEW BEST:: SOT 399150 SOS 212111 HAS SOPS 204647 HAS SOUS 79998 HAS SOUPS 78748 WITH SCORE 78960.111
AT ITER 7541 NEW BEST:: SOT 399154 SOS 212524 HAS SOPS 205060 HAS SOUS 79964 HAS SOUPS 78714 WITH SCORE 78926.524
AT ITER 7545 NEW BEST:: SOT 399171 SOS 212979 HAS SOPS 205515 HAS SOUS 79947 HAS SOUPS 78697 WITH SCORE 78909.979
AT ITER 7560 NEW BEST:: SOT 399057 SOS 212819 HAS SOPS 205355 HAS SOUS 79928 HAS SOUPS 78678 WITH SCORE 78890.819
AT ITER 7632 NEW BEST:: SOT 399057 SOS 212817 HAS SOPS 205353 HAS SOUS 79928 HAS SOUPS 78678 WITH SCORE 78890.817
AT ITER 7689 NEW BEST:: SOT 399057 SOS 212771 HAS SOPS 205307 HAS SOUS 79928 HAS SOUPS 78678 WITH SCORE 78890.771
AT ITER 7696 NEW BEST:: SOT 399075 SOS 212789 HAS SOPS 205302 HAS SOUS 79874 HAS SOUPS 78624 WITH SCORE 78836.789
AT ITER 7736 NEW BEST:: SOT 399071 SOS 212884 HAS SOPS 205397 HAS SOUS 79866 HAS SOUPS 78616 WITH SCORE 78828.884
AT ITER 7756 NEW BEST:: SOT 399049 SOS 212790 HAS SOPS 205337 HAS SOUS 79844 HAS SOUPS 78594 WITH SCORE 78806.79
AT ITER 7768 NEW BEST:: SOT 399049 SOS 212790 HAS SOPS 205335 HAS SOUS 79826 HAS SOUPS 78576 WITH SCORE 78788.79
AT ITER 7777 NEW BEST:: SOT 399049 SOS 212790 HAS SOPS 205335 HAS SOUS 79810 HAS SOUPS 78560 WITH SCORE 78772.79
AT ITER 7783 NEW BEST:: SOT 397365 SOS 211566 HAS SOPS 203375 HAS SOUS 79847 HAS SOUPS 78505 WITH SCORE 78716.566
AT ITER 7790 NEW BEST:: SOT 397349 SOS 211565 HAS SOPS 203374 HAS SOUS 79777 HAS SOUPS 78435 WITH SCORE 78646.565
AT ITER 7808 NEW BEST:: SOT 397381 SOS 211618 HAS SOPS 203427 HAS SOUS 79755 HAS SOUPS 78413 WITH SCORE 78624.618
AT ITER 7868 NEW BEST:: SOT 397358 SOS 211595 HAS SOPS 203404 HAS SOUS 79709 HAS SOUPS 78367 WITH SCORE 78578.595
AT ITER 7886 NEW BEST:: SOT 397358 SOS 211528 HAS SOPS 203337 HAS SOUS 79698 HAS SOUPS 78356 WITH SCORE 78567.528
AT ITER 7893 NEW BEST:: SOT 397180 SOS 211495 HAS SOPS 203304 HAS SOUS 79535 HAS SOUPS 78193 WITH SCORE 78404.495
AT ITER 7905 NEW BEST:: SOT 397142 SOS 211457 HAS SOPS 203266 HAS SOUS 79459 HAS SOUPS 78117 WITH SCORE 78328.457
AT ITER 7909 NEW BEST:: SOT 397138 SOS 211453 HAS SOPS 203248 HAS SOUS 79451 HAS SOUPS 78109 WITH SCORE 78320.453
AT ITER 7921 NEW BEST:: SOT 397129 SOS 211444 HAS SOPS 203239 HAS SOUS 79433 HAS SOUPS 78091 WITH SCORE 78302.444
AT ITER 7947 NEW BEST:: SOT 397204 SOS 211603 HAS SOPS 203398 HAS SOUS 79415 HAS SOUPS 78073 WITH SCORE 78284.603
AT ITER 7967 NEW BEST:: SOT 397174 SOS 211573 HAS SOPS 203348 HAS SOUS 79365 HAS SOUPS 78023 WITH SCORE 78234.573
AT ITER 7976 NEW BEST:: SOT 397154 SOS 211189 HAS SOPS 202964 HAS SOUS 79325 HAS SOUPS 77983 WITH SCORE 78194.189
AT ITER 7991 NEW BEST:: SOT 396944 SOS 211014 HAS SOPS 202789 HAS SOUS 79255 HAS SOUPS 77913 WITH SCORE 78124.014
AT ITER 7995 NEW BEST:: SOT 396876 SOS 210691 HAS SOPS 202466 HAS SOUS 79195 HAS SOUPS 77853 WITH SCORE 78063.691
AT ITER 8002 NEW BEST:: SOT 396876 SOS 210025 HAS SOPS 201800 HAS SOUS 79195 HAS SOUPS 77853 WITH SCORE 78063.025
AT ITER 8029 NEW BEST:: SOT 396847 SOS 209417 HAS SOPS 201192 HAS SOUS 79137 HAS SOUPS 77795 WITH SCORE 78004.417
AT ITER 8030 NEW BEST:: SOT 396872 SOS 209317 HAS SOPS 201017 HAS SOUS 79123 HAS SOUPS 77770 WITH SCORE 77979.317
AT ITER 8041 NEW BEST:: SOT 396872 SOS 209392 HAS SOPS 201092 HAS SOUS 79098 HAS SOUPS 77745 WITH SCORE 77954.392
AT ITER 8044 NEW BEST:: SOT 396934 SOS 209454 HAS SOPS 201154 HAS SOUS 79051 HAS SOUPS 77698 WITH SCORE 77907.454
AT ITER 8071 NEW BEST:: SOT 396934 SOS 209445 HAS SOPS 201145 HAS SOUS 79051 HAS SOUPS 77698 WITH SCORE 77907.445
AT ITER 8106 NEW BEST:: SOT 396927 SOS 209438 HAS SOPS 201138 HAS SOUS 79037 HAS SOUPS 77684 WITH SCORE 77893.438
AT ITER 8156 NEW BEST:: SOT 396885 SOS 209354 HAS SOPS 201054 HAS SOUS 79037 HAS SOUPS 77684 WITH SCORE 77893.354
AT ITER 8173 NEW BEST:: SOT 396885 SOS 208781 HAS SOPS 200481 HAS SOUS 78997 HAS SOUPS 77644 WITH SCORE 77852.781
AT ITER 8193 NEW BEST:: SOT 396885 SOS 208781 HAS SOPS 200452 HAS SOUS 78968 HAS SOUPS 77615 WITH SCORE 77823.781
AT ITER 8247 NEW BEST:: SOT 396885 SOS 208710 HAS SOPS 200381 HAS SOUS 78968 HAS SOUPS 77615 WITH SCORE 77823.71
AT ITER 8248 NEW BEST:: SOT 396879 SOS 205109 HAS SOPS 196780 HAS SOUS 78956 HAS SOUPS 77603 WITH SCORE 77808.109
AT ITER 8282 NEW BEST:: SOT 396877 SOS 205111 HAS SOPS 196782 HAS SOUS 78948 HAS SOUPS 77595 WITH SCORE 77800.111
AT ITER 8300 NEW BEST:: SOT 396862 SOS 205096 HAS SOPS 196782 HAS SOUS 78933 HAS SOUPS 77580 WITH SCORE 77785.096
AT ITER 8302 NEW BEST:: SOT 396818 SOS 205096 HAS SOPS 196782 HAS SOUS 78899 HAS SOUPS 77546 WITH SCORE 77751.096
AT ITER 8327 NEW BEST:: SOT 396818 SOS 205116 HAS SOPS 196802 HAS SOUS 78889 HAS SOUPS 77536 WITH SCORE 77741.116
AT ITER 8340 NEW BEST:: SOT 396869 SOS 205221 HAS SOPS 196831 HAS SOUS 78862 HAS SOUPS 77509 WITH SCORE 77714.221
AT ITER 8363 NEW BEST:: SOT 396863 SOS 205198 HAS SOPS 196808 HAS SOUS 78850 HAS SOUPS 77497 WITH SCORE 77702.198
AT ITER 8382 NEW BEST:: SOT 396847 SOS 205192 HAS SOPS 196789 HAS SOUS 78831 HAS SOUPS 77478 WITH SCORE 77683.192
AT ITER 8384 NEW BEST:: SOT 396782 SOS 205062 HAS SOPS 196659 HAS SOUS 78798 HAS SOUPS 77445 WITH SCORE 77650.062
AT ITER 8414 NEW BEST:: SOT 396754 SOS 205059 HAS SOPS 196656 HAS SOUS 78732 HAS SOUPS 77379 WITH SCORE 77584.059
AT ITER 8446 NEW BEST:: SOT 396682 SOS 205140 HAS SOPS 196719 HAS SOUS 78723 HAS SOUPS 77361 WITH SCORE 77566.14
AT ITER 8456 NEW BEST:: SOT 395963 SOS 204421 HAS SOPS 196000 HAS SOUS 78329 HAS SOUPS 76967 WITH SCORE 77171.421
AT ITER 8476 NEW BEST:: SOT 395966 SOS 204424 HAS SOPS 196003 HAS SOUS 78323 HAS SOUPS 76961 WITH SCORE 77165.424
AT ITER 8477 NEW BEST:: SOT 395964 SOS 204422 HAS SOPS 196001 HAS SOUS 78320 HAS SOUPS 76958 WITH SCORE 77162.422
AT ITER 8487 NEW BEST:: SOT 395951 SOS 204647 HAS SOPS 196226 HAS SOUS 78318 HAS SOUPS 76956 WITH SCORE 77160.647
AT ITER 8496 NEW BEST:: SOT 395946 SOS 204642 HAS SOPS 196221 HAS SOUS 78308 HAS SOUPS 76946 WITH SCORE 77150.642
AT ITER 8500 NEW BEST:: SOT 395917 SOS 204567 HAS SOPS 196146 HAS SOUS 78233 HAS SOUPS 76871 WITH SCORE 77075.567
AT ITER 8507 NEW BEST:: SOT 395910 SOS 204667 HAS SOPS 196246 HAS SOUS 78230 HAS SOUPS 76868 WITH SCORE 77072.667
AT ITER 8522 NEW BEST:: SOT 395900 SOS 204657 HAS SOPS 196236 HAS SOUS 78220 HAS SOUPS 76858 WITH SCORE 77062.657
AT ITER 8524 NEW BEST:: SOT 395799 SOS 204523 HAS SOPS 196102 HAS SOUS 78086 HAS SOUPS 76724 WITH SCORE 76928.523
AT ITER 8530 NEW BEST:: SOT 395753 SOS 204474 HAS SOPS 196053 HAS SOUS 77994 HAS SOUPS 76632 WITH SCORE 76836.474
AT ITER 8636 NEW BEST:: SOT 395753 SOS 204452 HAS SOPS 196031 HAS SOUS 77994 HAS SOUPS 76632 WITH SCORE 76836.452
AT ITER 8679 NEW BEST:: SOT 395753 SOS 203972 HAS SOPS 195551 HAS SOUS 77994 HAS SOUPS 76632 WITH SCORE 76835.972
AT ITER 8683 NEW BEST:: SOT 395739 SOS 203980 HAS SOPS 195559 HAS SOUS 77958 HAS SOUPS 76596 WITH SCORE 76799.98
AT ITER 8712 NEW BEST:: SOT 395919 SOS 203900 HAS SOPS 195479 HAS SOUS 77878 HAS SOUPS 76516 WITH SCORE 76719.9
AT ITER 8763 NEW BEST:: SOT 395917 SOS 203896 HAS SOPS 195475 HAS SOUS 77874 HAS SOUPS 76512 WITH SCORE 76715.896
AT ITER 8793 NEW BEST:: SOT 395877 SOS 203856 HAS SOPS 195435 HAS SOUS 77834 HAS SOUPS 76472 WITH SCORE 76675.856
AT ITER 8797 NEW BEST:: SOT 395877 SOS 203934 HAS SOPS 195513 HAS SOUS 77800 HAS SOUPS 76438 WITH SCORE 76641.934
AT ITER 8799 NEW BEST:: SOT 395870 SOS 203913 HAS SOPS 195492 HAS SOUS 77779 HAS SOUPS 76417 WITH SCORE 76620.913
AT ITER 8849 NEW BEST:: SOT 395816 SOS 203865 HAS SOPS 195444 HAS SOUS 77731 HAS SOUPS 76369 WITH SCORE 76572.865
AT ITER 8865 NEW BEST:: SOT 396024 SOS 203593 HAS SOPS 195652 HAS SOUS 77388 HAS SOUPS 76086 WITH SCORE 76289.593
AT ITER 8879 NEW BEST:: SOT 395946 SOS 203448 HAS SOPS 195507 HAS SOUS 77199 HAS SOUPS 75897 WITH SCORE 76100.448
AT ITER 8881 NEW BEST:: SOT 395939 SOS 203452 HAS SOPS 195511 HAS SOUS 77181 HAS SOUPS 75879 WITH SCORE 76082.452
AT ITER 8893 NEW BEST:: SOT 395803 SOS 203271 HAS SOPS 195330 HAS SOUS 77092 HAS SOUPS 75790 WITH SCORE 75993.271
AT ITER 8937 NEW BEST:: SOT 395829 SOS 203297 HAS SOPS 195356 HAS SOUS 77084 HAS SOUPS 75782 WITH SCORE 75985.297
AT ITER 8948 NEW BEST:: SOT 395779 SOS 203052 HAS SOPS 195111 HAS SOUS 77049 HAS SOUPS 75747 WITH SCORE 75950.052
AT ITER 8953 NEW BEST:: SOT 395779 SOS 203051 HAS SOPS 195110 HAS SOUS 77047 HAS SOUPS 75745 WITH SCORE 75948.051
AT ITER 8980 NEW BEST:: SOT 395761 SOS 202747 HAS SOPS 194806 HAS SOUS 77021 HAS SOUPS 75719 WITH SCORE 75921.747
AT ITER 9001 NEW BEST:: SOT 395745 SOS 202667 HAS SOPS 194726 HAS SOUS 76989 HAS SOUPS 75687 WITH SCORE 75889.667
AT ITER 9016 NEW BEST:: SOT 395745 SOS 202667 HAS SOPS 194725 HAS SOUS 76988 HAS SOUPS 75686 WITH SCORE 75888.667
AT ITER 9037 NEW BEST:: SOT 395639 SOS 202561 HAS SOPS 194619 HAS SOUS 76903 HAS SOUPS 75601 WITH SCORE 75803.561
AT ITER 9045 NEW BEST:: SOT 395601 SOS 202485 HAS SOPS 194543 HAS SOUS 76827 HAS SOUPS 75525 WITH SCORE 75727.485
AT ITER 9047 NEW BEST:: SOT 395594 SOS 202478 HAS SOPS 194536 HAS SOUS 76815 HAS SOUPS 75513 WITH SCORE 75715.478
AT ITER 9052 NEW BEST:: SOT 395578 SOS 202430 HAS SOPS 194488 HAS SOUS 76770 HAS SOUPS 75468 WITH SCORE 75670.43
AT ITER 9078 NEW BEST:: SOT 395570 SOS 202349 HAS SOPS 194407 HAS SOUS 76765 HAS SOUPS 75463 WITH SCORE 75665.349
AT ITER 9097 NEW BEST:: SOT 395648 SOS 202309 HAS SOPS 194234 HAS SOUS 76790 HAS SOUPS 75446 WITH SCORE 75648.309
AT ITER 9108 NEW BEST:: SOT 395548 SOS 202455 HAS SOPS 194364 HAS SOUS 76776 HAS SOUPS 75432 WITH SCORE 75634.455
AT ITER 9120 NEW BEST:: SOT 395464 SOS 202371 HAS SOPS 194280 HAS SOUS 76692 HAS SOUPS 75348 WITH SCORE 75550.371
AT ITER 9141 NEW BEST:: SOT 395470 SOS 202377 HAS SOPS 194286 HAS SOUS 76690 HAS SOUPS 75346 WITH SCORE 75548.377
AT ITER 9153 NEW BEST:: SOT 395459 SOS 202398 HAS SOPS 194307 HAS SOUS 76668 HAS SOUPS 75324 WITH SCORE 75526.398
AT ITER 9164 NEW BEST:: SOT 395342 SOS 202356 HAS SOPS 194335 HAS SOUS 76565 HAS SOUPS 75249 WITH SCORE 75451.356
AT ITER 9170 NEW BEST:: SOT 395318 SOS 202350 HAS SOPS 194329 HAS SOUS 76489 HAS SOUPS 75173 WITH SCORE 75375.35
AT ITER 9174 NEW BEST:: SOT 395282 SOS 202278 HAS SOPS 194277 HAS SOUS 76473 HAS SOUPS 75157 WITH SCORE 75359.278
AT ITER 9175 NEW BEST:: SOT 395241 SOS 202199 HAS SOPS 194198 HAS SOUS 76437 HAS SOUPS 75121 WITH SCORE 75323.199
AT ITER 9236 NEW BEST:: SOT 395229 SOS 202187 HAS SOPS 194186 HAS SOUS 76389 HAS SOUPS 75073 WITH SCORE 75275.187
AT ITER 9296 NEW BEST:: SOT 395229 SOS 202185 HAS SOPS 194184 HAS SOUS 76389 HAS SOUPS 75073 WITH SCORE 75275.185
AT ITER 9338 NEW BEST:: SOT 395210 SOS 202266 HAS SOPS 194265 HAS SOUS 76353 HAS SOUPS 75037 WITH SCORE 75239.266
AT ITER 9358 NEW BEST:: SOT 395159 SOS 202227 HAS SOPS 194226 HAS SOUS 76322 HAS SOUPS 75006 WITH SCORE 75208.227
AT ITER 9377 NEW BEST:: SOT 395147 SOS 202215 HAS SOPS 194214 HAS SOUS 76303 HAS SOUPS 74987 WITH SCORE 75189.215
AT ITER 9384 NEW BEST:: SOT 395125 SOS 202193 HAS SOPS 194192 HAS SOUS 76303 HAS SOUPS 74987 WITH SCORE 75189.193
AT ITER 9433 NEW BEST:: SOT 395061 SOS 202129 HAS SOPS 194128 HAS SOUS 76249 HAS SOUPS 74933 WITH SCORE 75135.129
AT ITER 9438 NEW BEST:: SOT 395057 SOS 201805 HAS SOPS 193804 HAS SOUS 76237 HAS SOUPS 74921 WITH SCORE 75122.805
AT ITER 9439 NEW BEST:: SOT 395055 SOS 201803 HAS SOPS 193802 HAS SOUS 76235 HAS SOUPS 74919 WITH SCORE 75120.803
AT ITER 9454 NEW BEST:: SOT 395053 SOS 201803 HAS SOPS 193802 HAS SOUS 76229 HAS SOUPS 74913 WITH SCORE 75114.803
AT ITER 9472 NEW BEST:: SOT 395031 SOS 201691 HAS SOPS 193690 HAS SOUS 76209 HAS SOUPS 74893 WITH SCORE 75094.691
AT ITER 9473 NEW BEST:: SOT 395003 SOS 201663 HAS SOPS 193662 HAS SOUS 76195 HAS SOUPS 74879 WITH SCORE 75080.663
AT ITER 9489 NEW BEST:: SOT 394965 SOS 201625 HAS SOPS 193624 HAS SOUS 76119 HAS SOUPS 74803 WITH SCORE 75004.625
AT ITER 9494 NEW BEST:: SOT 394957 SOS 201611 HAS SOPS 193610 HAS SOUS 76105 HAS SOUPS 74789 WITH SCORE 74990.611
AT ITER 9503 NEW BEST:: SOT 394955 SOS 201603 HAS SOPS 193602 HAS SOUS 76103 HAS SOUPS 74787 WITH SCORE 74988.603
AT ITER 9504 NEW BEST:: SOT 394949 SOS 201759 HAS SOPS 193770 HAS SOUS 76097 HAS SOUPS 74783 WITH SCORE 74984.759
AT ITER 9517 NEW BEST:: SOT 394921 SOS 201491 HAS SOPS 193502 HAS SOUS 76041 HAS SOUPS 74727 WITH SCORE 74928.491
AT ITER 9536 NEW BEST:: SOT 394886 SOS 201458 HAS SOPS 193469 HAS SOUS 75962 HAS SOUPS 74648 WITH SCORE 74849.458
AT ITER 9550 NEW BEST:: SOT 394899 SOS 201543 HAS SOPS 193554 HAS SOUS 75913 HAS SOUPS 74599 WITH SCORE 74800.543
AT ITER 9563 NEW BEST:: SOT 394882 SOS 201560 HAS SOPS 193571 HAS SOUS 75886 HAS SOUPS 74572 WITH SCORE 74773.56
AT ITER 9596 NEW BEST:: SOT 394858 SOS 201536 HAS SOPS 193547 HAS SOUS 75838 HAS SOUPS 74524 WITH SCORE 74725.536
AT ITER 9621 NEW BEST:: SOT 394855 SOS 201533 HAS SOPS 193546 HAS SOUS 75837 HAS SOUPS 74523 WITH SCORE 74724.533
AT ITER 9660 NEW BEST:: SOT 394851 SOS 201531 HAS SOPS 193544 HAS SOUS 75831 HAS SOUPS 74517 WITH SCORE 74718.531
AT ITER 9735 NEW BEST:: SOT 394840 SOS 201520 HAS SOPS 193536 HAS SOUS 75829 HAS SOUPS 74515 WITH SCORE 74716.52
AT ITER 9750 NEW BEST:: SOT 394836 SOS 201516 HAS SOPS 193532 HAS SOUS 75809 HAS SOUPS 74495 WITH SCORE 74696.516
AT ITER 9771 NEW BEST:: SOT 394827 SOS 201581 HAS SOPS 193597 HAS SOUS 75791 HAS SOUPS 74477 WITH SCORE 74678.581
AT ITER 9802 NEW BEST:: SOT 394819 SOS 201565 HAS SOPS 193581 HAS SOUS 75775 HAS SOUPS 74461 WITH SCORE 74662.565
AT ITER 9843 NEW BEST:: SOT 394779 SOS 201545 HAS SOPS 193561 HAS SOUS 75735 HAS SOUPS 74421 WITH SCORE 74622.545
AT ITER 9897 NEW BEST:: SOT 394755 SOS 201419 HAS SOPS 193435 HAS SOUS 75686 HAS SOUPS 74372 WITH SCORE 74573.419
AT ITER 9918 NEW BEST:: SOT 394708 SOS 201314 HAS SOPS 193330 HAS SOUS 75679 HAS SOUPS 74365 WITH SCORE 74566.314
AT ITER 9931 NEW BEST:: SOT 394701 SOS 201307 HAS SOPS 193323 HAS SOUS 75665 HAS SOUPS 74351 WITH SCORE 74552.307
AT ITER 9941 NEW BEST:: SOT 394675 SOS 201255 HAS SOPS 193271 HAS SOUS 75665 HAS SOUPS 74351 WITH SCORE 74552.255
AT ITER 9987 NEW BEST:: SOT 394572 SOS 201152 HAS SOPS 193168 HAS SOUS 75562 HAS SOUPS 74248 WITH SCORE 74449.152
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 10033852 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16120212 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="PolyORBLF-PT-S02J04T08"
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-PT-S02J04T08, 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-167873953100504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S02J04T08.tgz
mv PolyORBLF-PT-S02J04T08 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 ;