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.r291-tall-167873942800376.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 smart
Input is PolyORBLF-COL-S02J06T06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873942800376
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 612K
-rw-r--r-- 1 mcc users 9.1K Feb 26 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 88K Feb 26 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 16:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 16:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 14:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 108K Feb 26 14:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 14:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 67K Feb 26 14:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:34 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 154K Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678788402579

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-COL-S02J06T06
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-14 10:06:45] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-14 10:06:45] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-14 10:06:45] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 10:06:46] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 10:06:46] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1021 ms
[2023-03-14 10:06:46] [INFO ] Imported 81 HL places and 65 HL transitions for a total of 536 PT places and 1096.0 transition bindings in 63 ms.
[2023-03-14 10:06:46] [INFO ] Unfolded HLPN to a Petri net with 536 places and 1064 transitions 4866 arcs in 75 ms.
[2023-03-14 10:06:46] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Ensure Unique test removed 96 transitions
Reduce isomorphic transitions removed 96 transitions.
[2023-03-14 10:06:46] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 536 places, 968 transitions and 4194 arcs took 33 ms.
Total runtime 1517 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (COL), instance S02J06T06
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 536 places, 968 transitions, 4194 arcs.
AT ITER 0 NEW BEST:: SOT 328141 SOS 192165 HAS SOPS 189909 HAS SOUS 137116 HAS SOUPS 136633 WITH SCORE 136825.165
AT ITER 6 NEW BEST:: SOT 327998 SOS 191145 HAS SOPS 189747 HAS SOUS 136941 HAS SOUPS 136601 WITH SCORE 136792.145
AT ITER 17 NEW BEST:: SOT 327998 SOS 191135 HAS SOPS 189737 HAS SOUS 136941 HAS SOUPS 136601 WITH SCORE 136792.135
AT ITER 23 NEW BEST:: SOT 327858 SOS 190931 HAS SOPS 189533 HAS SOUS 136731 HAS SOUPS 136391 WITH SCORE 136581.931
AT ITER 39 NEW BEST:: SOT 326585 SOS 189405 HAS SOPS 188007 HAS SOUS 136403 HAS SOUPS 136063 WITH SCORE 136252.405
AT ITER 44 NEW BEST:: SOT 326499 SOS 189340 HAS SOPS 187942 HAS SOUS 136364 HAS SOUPS 136024 WITH SCORE 136213.34
AT ITER 46 NEW BEST:: SOT 325725 SOS 188695 HAS SOPS 187297 HAS SOUS 135719 HAS SOUPS 135379 WITH SCORE 135567.695
AT ITER 49 NEW BEST:: SOT 325676 SOS 188548 HAS SOPS 187150 HAS SOUS 135572 HAS SOUPS 135232 WITH SCORE 135420.548
AT ITER 55 NEW BEST:: SOT 325364 SOS 187768 HAS SOPS 186370 HAS SOUS 135130 HAS SOUPS 134790 WITH SCORE 134977.768
AT ITER 56 NEW BEST:: SOT 325230 SOS 187433 HAS SOPS 186035 HAS SOUS 134919 HAS SOUPS 134579 WITH SCORE 134766.433
AT ITER 57 NEW BEST:: SOT 325142 SOS 186768 HAS SOPS 185370 HAS SOUS 134743 HAS SOUPS 134403 WITH SCORE 134589.768
AT ITER 60 NEW BEST:: SOT 325122 SOS 186985 HAS SOPS 185587 HAS SOUS 134669 HAS SOUPS 134329 WITH SCORE 134515.985
AT ITER 64 NEW BEST:: SOT 325122 SOS 187657 HAS SOPS 186259 HAS SOUS 134667 HAS SOUPS 134327 WITH SCORE 134514.657
AT ITER 71 NEW BEST:: SOT 324216 SOS 186902 HAS SOPS 185504 HAS SOUS 133866 HAS SOUPS 133526 WITH SCORE 133712.902
AT ITER 72 NEW BEST:: SOT 324216 SOS 187133 HAS SOPS 185453 HAS SOUS 133866 HAS SOUPS 133479 WITH SCORE 133666.133
AT ITER 73 NEW BEST:: SOT 323970 SOS 186778 HAS SOPS 185098 HAS SOUS 133584 HAS SOUPS 133197 WITH SCORE 133383.778
AT ITER 79 NEW BEST:: SOT 323926 SOS 186646 HAS SOPS 184966 HAS SOUS 133540 HAS SOUPS 133153 WITH SCORE 133339.646
AT ITER 90 NEW BEST:: SOT 323757 SOS 186414 HAS SOPS 184734 HAS SOUS 133395 HAS SOUPS 133008 WITH SCORE 133194.414
AT ITER 91 NEW BEST:: SOT 323695 SOS 186352 HAS SOPS 184672 HAS SOUS 133255 HAS SOUPS 132868 WITH SCORE 133054.352
AT ITER 92 NEW BEST:: SOT 323681 SOS 186310 HAS SOPS 184630 HAS SOUS 133227 HAS SOUPS 132840 WITH SCORE 133026.31
AT ITER 94 NEW BEST:: SOT 323612 SOS 186217 HAS SOPS 184537 HAS SOUS 133134 HAS SOUPS 132747 WITH SCORE 132933.217
AT ITER 95 NEW BEST:: SOT 323612 SOS 185890 HAS SOPS 184210 HAS SOUS 133118 HAS SOUPS 132731 WITH SCORE 132916.89
AT ITER 110 NEW BEST:: SOT 323511 SOS 185772 HAS SOPS 184092 HAS SOUS 132916 HAS SOUPS 132529 WITH SCORE 132714.772
AT ITER 112 NEW BEST:: SOT 323502 SOS 185765 HAS SOPS 184085 HAS SOUS 132916 HAS SOUPS 132529 WITH SCORE 132714.765
AT ITER 123 NEW BEST:: SOT 323502 SOS 185765 HAS SOPS 184085 HAS SOUS 132884 HAS SOUPS 132497 WITH SCORE 132682.765
AT ITER 129 NEW BEST:: SOT 323494 SOS 185761 HAS SOPS 184081 HAS SOUS 132880 HAS SOUPS 132493 WITH SCORE 132678.761
AT ITER 130 NEW BEST:: SOT 323342 SOS 185545 HAS SOPS 183865 HAS SOUS 132439 HAS SOUPS 132052 WITH SCORE 132237.545
AT ITER 151 NEW BEST:: SOT 323409 SOS 185810 HAS SOPS 184130 HAS SOUS 132428 HAS SOUPS 132041 WITH SCORE 132226.81
AT ITER 155 NEW BEST:: SOT 322383 SOS 184560 HAS SOPS 182880 HAS SOUS 131545 HAS SOUPS 131158 WITH SCORE 131342.56
AT ITER 158 NEW BEST:: SOT 321810 SOS 184074 HAS SOPS 182394 HAS SOUS 131037 HAS SOUPS 130650 WITH SCORE 130834.074
AT ITER 161 NEW BEST:: SOT 319509 SOS 182307 HAS SOPS 180093 HAS SOUS 128825 HAS SOUPS 128349 WITH SCORE 128531.307
AT ITER 163 NEW BEST:: SOT 319237 SOS 182151 HAS SOPS 179937 HAS SOUS 128654 HAS SOUPS 128178 WITH SCORE 128360.151
AT ITER 166 NEW BEST:: SOT 319159 SOS 181147 HAS SOPS 178933 HAS SOUS 128417 HAS SOUPS 127941 WITH SCORE 128122.147
AT ITER 174 NEW BEST:: SOT 319151 SOS 181371 HAS SOPS 179157 HAS SOUS 128163 HAS SOUPS 127687 WITH SCORE 127868.371
AT ITER 180 NEW BEST:: SOT 319001 SOS 181014 HAS SOPS 178800 HAS SOUS 127875 HAS SOUPS 127399 WITH SCORE 127580.014
AT ITER 184 NEW BEST:: SOT 317969 SOS 180296 HAS SOPS 178082 HAS SOUS 127610 HAS SOUPS 127134 WITH SCORE 127314.296
AT ITER 189 NEW BEST:: SOT 317826 SOS 180081 HAS SOPS 177867 HAS SOUS 127434 HAS SOUPS 126958 WITH SCORE 127138.081
AT ITER 190 NEW BEST:: SOT 317802 SOS 180057 HAS SOPS 177843 HAS SOUS 127371 HAS SOUPS 126895 WITH SCORE 127075.057
AT ITER 192 NEW BEST:: SOT 317663 SOS 179918 HAS SOPS 177704 HAS SOUS 127249 HAS SOUPS 126773 WITH SCORE 126952.918
AT ITER 193 NEW BEST:: SOT 317579 SOS 179758 HAS SOPS 177544 HAS SOUS 127050 HAS SOUPS 126574 WITH SCORE 126753.758
AT ITER 198 NEW BEST:: SOT 317618 SOS 179724 HAS SOPS 177510 HAS SOUS 126992 HAS SOUPS 126516 WITH SCORE 126695.724
AT ITER 206 NEW BEST:: SOT 317381 SOS 179271 HAS SOPS 177057 HAS SOUS 125992 HAS SOUPS 125516 WITH SCORE 125695.271
AT ITER 209 NEW BEST:: SOT 317277 SOS 179011 HAS SOPS 176797 HAS SOUS 125826 HAS SOUPS 125350 WITH SCORE 125529.011
AT ITER 210 NEW BEST:: SOT 317420 SOS 179912 HAS SOPS 176870 HAS SOUS 125889 HAS SOUPS 125275 WITH SCORE 125454.912
AT ITER 214 NEW BEST:: SOT 317371 SOS 179814 HAS SOPS 176772 HAS SOUS 125786 HAS SOUPS 125172 WITH SCORE 125351.814
AT ITER 215 NEW BEST:: SOT 316473 SOS 178802 HAS SOPS 175760 HAS SOUS 125743 HAS SOUPS 125129 WITH SCORE 125307.802
AT ITER 220 NEW BEST:: SOT 316412 SOS 178680 HAS SOPS 175638 HAS SOUS 125741 HAS SOUPS 125127 WITH SCORE 125305.68
AT ITER 228 NEW BEST:: SOT 316356 SOS 178624 HAS SOPS 175582 HAS SOUS 125648 HAS SOUPS 125034 WITH SCORE 125212.624
AT ITER 232 NEW BEST:: SOT 315716 SOS 178396 HAS SOPS 175354 HAS SOUS 125463 HAS SOUPS 124849 WITH SCORE 125027.396
AT ITER 235 NEW BEST:: SOT 315878 SOS 178496 HAS SOPS 175454 HAS SOUS 125456 HAS SOUPS 124842 WITH SCORE 125020.496
AT ITER 241 NEW BEST:: SOT 315227 SOS 177991 HAS SOPS 174949 HAS SOUS 124963 HAS SOUPS 124349 WITH SCORE 124526.991
AT ITER 242 NEW BEST:: SOT 315203 SOS 177915 HAS SOPS 174873 HAS SOUS 124861 HAS SOUPS 124247 WITH SCORE 124424.915
AT ITER 243 NEW BEST:: SOT 315164 SOS 177876 HAS SOPS 174834 HAS SOUS 124804 HAS SOUPS 124190 WITH SCORE 124367.876
AT ITER 256 NEW BEST:: SOT 315059 SOS 177775 HAS SOPS 174733 HAS SOUS 124438 HAS SOUPS 123824 WITH SCORE 124001.775
AT ITER 263 NEW BEST:: SOT 315029 SOS 177707 HAS SOPS 174665 HAS SOUS 124416 HAS SOUPS 123802 WITH SCORE 123979.707
AT ITER 270 NEW BEST:: SOT 314726 SOS 178228 HAS SOPS 175186 HAS SOUS 124300 HAS SOUPS 123686 WITH SCORE 123864.228
AT ITER 276 NEW BEST:: SOT 314714 SOS 178204 HAS SOPS 175162 HAS SOUS 124276 HAS SOUPS 123662 WITH SCORE 123840.204
AT ITER 292 NEW BEST:: SOT 313186 SOS 179885 HAS SOPS 176843 HAS SOUS 123826 HAS SOUPS 123212 WITH SCORE 123391.885
AT ITER 293 NEW BEST:: SOT 312468 SOS 179008 HAS SOPS 175966 HAS SOUS 123722 HAS SOUPS 123108 WITH SCORE 123287.008
AT ITER 297 NEW BEST:: SOT 312396 SOS 178864 HAS SOPS 175822 HAS SOUS 123671 HAS SOUPS 123057 WITH SCORE 123235.864
AT ITER 301 NEW BEST:: SOT 312160 SOS 178321 HAS SOPS 175279 HAS SOUS 123358 HAS SOUPS 122744 WITH SCORE 122922.321
AT ITER 308 NEW BEST:: SOT 312150 SOS 178311 HAS SOPS 175269 HAS SOUS 123338 HAS SOUPS 122724 WITH SCORE 122902.311
AT ITER 313 NEW BEST:: SOT 312021 SOS 178047 HAS SOPS 175005 HAS SOUS 123074 HAS SOUPS 122460 WITH SCORE 122638.047
AT ITER 321 NEW BEST:: SOT 311680 SOS 177871 HAS SOPS 174829 HAS SOUS 122983 HAS SOUPS 122369 WITH SCORE 122546.871
AT ITER 331 NEW BEST:: SOT 310893 SOS 176751 HAS SOPS 173709 HAS SOUS 122848 HAS SOUPS 122234 WITH SCORE 122410.751
AT ITER 332 NEW BEST:: SOT 310530 SOS 175973 HAS SOPS 172931 HAS SOUS 122068 HAS SOUPS 121454 WITH SCORE 121629.973
AT ITER 348 NEW BEST:: SOT 310471 SOS 175937 HAS SOPS 172895 HAS SOUS 122032 HAS SOUPS 121418 WITH SCORE 121593.937
AT ITER 355 NEW BEST:: SOT 310954 SOS 173972 HAS SOPS 170930 HAS SOUS 121884 HAS SOUPS 121270 WITH SCORE 121443.972
AT ITER 357 NEW BEST:: SOT 310217 SOS 173140 HAS SOPS 170098 HAS SOUS 121375 HAS SOUPS 120761 WITH SCORE 120934.14
AT ITER 359 NEW BEST:: SOT 310154 SOS 172919 HAS SOPS 169877 HAS SOUS 121249 HAS SOUPS 120635 WITH SCORE 120807.919
AT ITER 363 NEW BEST:: SOT 310154 SOS 172919 HAS SOPS 169877 HAS SOUS 121245 HAS SOUPS 120631 WITH SCORE 120803.919
AT ITER 366 NEW BEST:: SOT 310110 SOS 172875 HAS SOPS 169833 HAS SOUS 121201 HAS SOUPS 120587 WITH SCORE 120759.875
AT ITER 371 NEW BEST:: SOT 309960 SOS 172650 HAS SOPS 169608 HAS SOUS 121041 HAS SOUPS 120427 WITH SCORE 120599.65
AT ITER 380 NEW BEST:: SOT 309936 SOS 172621 HAS SOPS 169579 HAS SOUS 121012 HAS SOUPS 120398 WITH SCORE 120570.621
AT ITER 388 NEW BEST:: SOT 309090 SOS 171945 HAS SOPS 168903 HAS SOUS 119996 HAS SOUPS 119382 WITH SCORE 119553.945
AT ITER 392 NEW BEST:: SOT 309028 SOS 171651 HAS SOPS 168609 HAS SOUS 119932 HAS SOUPS 119318 WITH SCORE 119489.651
AT ITER 397 NEW BEST:: SOT 308821 SOS 171206 HAS SOPS 168164 HAS SOUS 119583 HAS SOUPS 118969 WITH SCORE 119140.206
AT ITER 420 NEW BEST:: SOT 308757 SOS 171078 HAS SOPS 168036 HAS SOUS 119343 HAS SOUPS 118729 WITH SCORE 118900.078
AT ITER 422 NEW BEST:: SOT 308549 SOS 170852 HAS SOPS 167810 HAS SOUS 119129 HAS SOUPS 118515 WITH SCORE 118685.852
AT ITER 424 NEW BEST:: SOT 308159 SOS 170571 HAS SOPS 167529 HAS SOUS 118976 HAS SOUPS 118362 WITH SCORE 118532.571
AT ITER 428 NEW BEST:: SOT 307455 SOS 169971 HAS SOPS 166929 HAS SOUS 118376 HAS SOUPS 117762 WITH SCORE 117931.971
AT ITER 431 NEW BEST:: SOT 307317 SOS 169833 HAS SOPS 166791 HAS SOUS 118238 HAS SOUPS 117624 WITH SCORE 117793.833
AT ITER 436 NEW BEST:: SOT 307161 SOS 169521 HAS SOPS 166479 HAS SOUS 117996 HAS SOUPS 117382 WITH SCORE 117551.521
AT ITER 440 NEW BEST:: SOT 307045 SOS 169293 HAS SOPS 166251 HAS SOUS 117826 HAS SOUPS 117212 WITH SCORE 117381.293
AT ITER 443 NEW BEST:: SOT 307054 SOS 169295 HAS SOPS 166253 HAS SOUS 117819 HAS SOUPS 117205 WITH SCORE 117374.295
AT ITER 454 NEW BEST:: SOT 307054 SOS 169275 HAS SOPS 166233 HAS SOUS 117799 HAS SOUPS 117185 WITH SCORE 117354.275
AT ITER 459 NEW BEST:: SOT 307054 SOS 168925 HAS SOPS 165883 HAS SOUS 117799 HAS SOUPS 117185 WITH SCORE 117353.925
AT ITER 469 NEW BEST:: SOT 307181 SOS 168939 HAS SOPS 165897 HAS SOUS 117649 HAS SOUPS 117035 WITH SCORE 117203.939
AT ITER 476 NEW BEST:: SOT 307222 SOS 168978 HAS SOPS 165936 HAS SOUS 117632 HAS SOUPS 117018 WITH SCORE 117186.978
AT ITER 485 NEW BEST:: SOT 307796 SOS 169453 HAS SOPS 166411 HAS SOUS 117574 HAS SOUPS 116960 WITH SCORE 117129.453
AT ITER 491 NEW BEST:: SOT 307796 SOS 169405 HAS SOPS 166363 HAS SOUS 117526 HAS SOUPS 116912 WITH SCORE 117081.405
AT ITER 495 NEW BEST:: SOT 307599 SOS 168840 HAS SOPS 165798 HAS SOUS 117401 HAS SOUPS 116787 WITH SCORE 116955.84
AT ITER 500 NEW BEST:: SOT 307522 SOS 168763 HAS SOPS 165721 HAS SOUS 117340 HAS SOUPS 116726 WITH SCORE 116894.763
AT ITER 505 NEW BEST:: SOT 307426 SOS 168655 HAS SOPS 165613 HAS SOUS 117219 HAS SOUPS 116605 WITH SCORE 116773.655
AT ITER 507 NEW BEST:: SOT 307427 SOS 168743 HAS SOPS 165701 HAS SOUS 117137 HAS SOUPS 116523 WITH SCORE 116691.743
AT ITER 510 NEW BEST:: SOT 307358 SOS 168077 HAS SOPS 165035 HAS SOUS 116960 HAS SOUPS 116346 WITH SCORE 116514.077
AT ITER 514 NEW BEST:: SOT 306822 SOS 168282 HAS SOPS 165240 HAS SOUS 116808 HAS SOUPS 116194 WITH SCORE 116362.282
AT ITER 519 NEW BEST:: SOT 306703 SOS 167899 HAS SOPS 164857 HAS SOUS 116670 HAS SOUPS 116056 WITH SCORE 116223.899
AT ITER 522 NEW BEST:: SOT 306631 SOS 167803 HAS SOPS 164761 HAS SOUS 116552 HAS SOUPS 115938 WITH SCORE 116105.803
AT ITER 523 NEW BEST:: SOT 306628 SOS 167782 HAS SOPS 164758 HAS SOUS 116546 HAS SOUPS 115935 WITH SCORE 116102.782
AT ITER 525 NEW BEST:: SOT 306628 SOS 167760 HAS SOPS 164736 HAS SOUS 116445 HAS SOUPS 115834 WITH SCORE 116001.76
AT ITER 536 NEW BEST:: SOT 306462 SOS 167362 HAS SOPS 164338 HAS SOUS 116273 HAS SOUPS 115662 WITH SCORE 115829.362
AT ITER 537 NEW BEST:: SOT 306420 SOS 167320 HAS SOPS 164296 HAS SOUS 116189 HAS SOUPS 115578 WITH SCORE 115745.32
AT ITER 538 NEW BEST:: SOT 305959 SOS 167513 HAS SOPS 164489 HAS SOUS 116006 HAS SOUPS 115395 WITH SCORE 115562.513
AT ITER 546 NEW BEST:: SOT 305951 SOS 167505 HAS SOPS 164481 HAS SOUS 115982 HAS SOUPS 115371 WITH SCORE 115538.505
AT ITER 555 NEW BEST:: SOT 305903 SOS 167392 HAS SOPS 164368 HAS SOUS 115869 HAS SOUPS 115258 WITH SCORE 115425.392
AT ITER 557 NEW BEST:: SOT 306569 SOS 168024 HAS SOPS 165000 HAS SOUS 115675 HAS SOUPS 115064 WITH SCORE 115232.024
AT ITER 572 NEW BEST:: SOT 306542 SOS 167970 HAS SOPS 164946 HAS SOUS 115609 HAS SOUPS 114998 WITH SCORE 115165.97
AT ITER 573 NEW BEST:: SOT 306542 SOS 167970 HAS SOPS 164946 HAS SOUS 115603 HAS SOUPS 114992 WITH SCORE 115159.97
AT ITER 575 NEW BEST:: SOT 306514 SOS 167928 HAS SOPS 164904 HAS SOUS 115529 HAS SOUPS 114918 WITH SCORE 115085.928
AT ITER 576 NEW BEST:: SOT 306607 SOS 168123 HAS SOPS 165099 HAS SOUS 115374 HAS SOUPS 114763 WITH SCORE 114931.123
AT ITER 581 NEW BEST:: SOT 306607 SOS 168102 HAS SOPS 165057 HAS SOUS 115374 HAS SOUPS 114742 WITH SCORE 114910.102
AT ITER 584 NEW BEST:: SOT 306708 SOS 168526 HAS SOPS 165481 HAS SOUS 115360 HAS SOUPS 114728 WITH SCORE 114896.526
AT ITER 586 NEW BEST:: SOT 306708 SOS 168564 HAS SOPS 165519 HAS SOUS 115251 HAS SOUPS 114619 WITH SCORE 114787.564
AT ITER 590 NEW BEST:: SOT 306741 SOS 168058 HAS SOPS 165013 HAS SOUS 115148 HAS SOUPS 114516 WITH SCORE 114684.058
AT ITER 599 NEW BEST:: SOT 306741 SOS 168037 HAS SOPS 164992 HAS SOUS 115127 HAS SOUPS 114495 WITH SCORE 114663.037
AT ITER 604 NEW BEST:: SOT 306723 SOS 167925 HAS SOPS 164880 HAS SOUS 114827 HAS SOUPS 114195 WITH SCORE 114362.925
AT ITER 607 NEW BEST:: SOT 306701 SOS 167903 HAS SOPS 164858 HAS SOUS 114823 HAS SOUPS 114191 WITH SCORE 114358.903
AT ITER 620 NEW BEST:: SOT 306701 SOS 168194 HAS SOPS 165149 HAS SOUS 114817 HAS SOUPS 114185 WITH SCORE 114353.194
AT ITER 629 NEW BEST:: SOT 306610 SOS 168186 HAS SOPS 165141 HAS SOUS 114586 HAS SOUPS 113954 WITH SCORE 114122.186
AT ITER 636 NEW BEST:: SOT 306610 SOS 168130 HAS SOPS 165085 HAS SOUS 114586 HAS SOUPS 113954 WITH SCORE 114122.13
AT ITER 638 NEW BEST:: SOT 306449 SOS 167969 HAS SOPS 164924 HAS SOUS 114545 HAS SOUPS 113913 WITH SCORE 114080.969
AT ITER 649 NEW BEST:: SOT 306417 SOS 167841 HAS SOPS 164796 HAS SOUS 114545 HAS SOUPS 113913 WITH SCORE 114080.841
AT ITER 650 NEW BEST:: SOT 306367 SOS 167791 HAS SOPS 164746 HAS SOUS 114522 HAS SOUPS 113890 WITH SCORE 114057.791
AT ITER 654 NEW BEST:: SOT 306316 SOS 167746 HAS SOPS 164701 HAS SOUS 114477 HAS SOUPS 113845 WITH SCORE 114012.746
AT ITER 663 NEW BEST:: SOT 305926 SOS 167275 HAS SOPS 164230 HAS SOUS 114318 HAS SOUPS 113686 WITH SCORE 113853.275
AT ITER 685 NEW BEST:: SOT 305919 SOS 167268 HAS SOPS 164223 HAS SOUS 114311 HAS SOUPS 113679 WITH SCORE 113846.268
AT ITER 686 NEW BEST:: SOT 305839 SOS 167126 HAS SOPS 164081 HAS SOUS 114018 HAS SOUPS 113386 WITH SCORE 113553.126
AT ITER 691 NEW BEST:: SOT 305814 SOS 167093 HAS SOPS 164048 HAS SOUS 113976 HAS SOUPS 113344 WITH SCORE 113511.093
AT ITER 695 NEW BEST:: SOT 305808 SOS 167087 HAS SOPS 164042 HAS SOUS 113970 HAS SOUPS 113338 WITH SCORE 113505.087
AT ITER 696 NEW BEST:: SOT 305756 SOS 167011 HAS SOPS 163966 HAS SOUS 113894 HAS SOUPS 113262 WITH SCORE 113429.011
AT ITER 698 NEW BEST:: SOT 305756 SOS 167025 HAS SOPS 163980 HAS SOUS 113887 HAS SOUPS 113255 WITH SCORE 113422.025
AT ITER 700 NEW BEST:: SOT 305467 SOS 166893 HAS SOPS 163524 HAS SOUS 113725 HAS SOUPS 113039 WITH SCORE 113205.893
AT ITER 706 NEW BEST:: SOT 305444 SOS 166827 HAS SOPS 163458 HAS SOUS 113512 HAS SOUPS 112826 WITH SCORE 112992.827
AT ITER 711 NEW BEST:: SOT 305444 SOS 166854 HAS SOPS 163485 HAS SOUS 113431 HAS SOUPS 112745 WITH SCORE 112911.854
AT ITER 712 NEW BEST:: SOT 305444 SOS 167090 HAS SOPS 163721 HAS SOUS 113380 HAS SOUPS 112694 WITH SCORE 112861.09
AT ITER 727 NEW BEST:: SOT 305462 SOS 167039 HAS SOPS 163670 HAS SOUS 113319 HAS SOUPS 112633 WITH SCORE 112800.039
AT ITER 732 NEW BEST:: SOT 305580 SOS 167202 HAS SOPS 163833 HAS SOUS 113085 HAS SOUPS 112399 WITH SCORE 112566.202
AT ITER 735 NEW BEST:: SOT 305536 SOS 167114 HAS SOPS 163745 HAS SOUS 112997 HAS SOUPS 112311 WITH SCORE 112478.114
AT ITER 737 NEW BEST:: SOT 305530 SOS 167108 HAS SOPS 163739 HAS SOUS 112991 HAS SOUPS 112305 WITH SCORE 112472.108
AT ITER 738 NEW BEST:: SOT 304620 SOS 166175 HAS SOPS 162806 HAS SOUS 112037 HAS SOUPS 111351 WITH SCORE 111517.175
AT ITER 751 NEW BEST:: SOT 304709 SOS 166253 HAS SOPS 162884 HAS SOUS 111270 HAS SOUPS 110584 WITH SCORE 110750.253
AT ITER 754 NEW BEST:: SOT 304709 SOS 166247 HAS SOPS 162878 HAS SOUS 111252 HAS SOUPS 110566 WITH SCORE 110732.247
AT ITER 757 NEW BEST:: SOT 304362 SOS 165882 HAS SOPS 162513 HAS SOUS 111208 HAS SOUPS 110522 WITH SCORE 110687.882
AT ITER 765 NEW BEST:: SOT 304283 SOS 165742 HAS SOPS 162373 HAS SOUS 110869 HAS SOUPS 110183 WITH SCORE 110348.742
AT ITER 766 NEW BEST:: SOT 304283 SOS 165286 HAS SOPS 161917 HAS SOUS 110866 HAS SOUPS 110180 WITH SCORE 110345.286
AT ITER 781 NEW BEST:: SOT 304135 SOS 164916 HAS SOPS 161547 HAS SOUS 110634 HAS SOUPS 109948 WITH SCORE 110112.916
AT ITER 787 NEW BEST:: SOT 303313 SOS 163896 HAS SOPS 160527 HAS SOUS 109708 HAS SOUPS 109022 WITH SCORE 109185.896
AT ITER 791 NEW BEST:: SOT 302654 SOS 177895 HAS SOPS 174652 HAS SOUS 109380 HAS SOUPS 108715 WITH SCORE 108892.895
AT ITER 793 NEW BEST:: SOT 302636 SOS 177877 HAS SOPS 174634 HAS SOUS 109337 HAS SOUPS 108672 WITH SCORE 108849.877
AT ITER 801 NEW BEST:: SOT 302604 SOS 177609 HAS SOPS 174366 HAS SOUS 109330 HAS SOUPS 108665 WITH SCORE 108842.609
AT ITER 810 NEW BEST:: SOT 302673 SOS 177846 HAS SOPS 174603 HAS SOUS 109250 HAS SOUPS 108585 WITH SCORE 108762.846
AT ITER 815 NEW BEST:: SOT 302392 SOS 177670 HAS SOPS 174301 HAS SOUS 108945 HAS SOUPS 108259 WITH SCORE 108436.67
AT ITER 816 NEW BEST:: SOT 302276 SOS 177554 HAS SOPS 174185 HAS SOUS 108829 HAS SOUPS 108143 WITH SCORE 108320.554
AT ITER 819 NEW BEST:: SOT 302276 SOS 177350 HAS SOPS 173981 HAS SOUS 108761 HAS SOUPS 108075 WITH SCORE 108252.35
AT ITER 837 NEW BEST:: SOT 302271 SOS 177345 HAS SOPS 173976 HAS SOUS 108744 HAS SOUPS 108058 WITH SCORE 108235.345
AT ITER 847 NEW BEST:: SOT 302208 SOS 177205 HAS SOPS 173836 HAS SOUS 108618 HAS SOUPS 107932 WITH SCORE 108109.205
AT ITER 852 NEW BEST:: SOT 302201 SOS 177191 HAS SOPS 173822 HAS SOUS 108604 HAS SOUPS 107918 WITH SCORE 108095.191
AT ITER 853 NEW BEST:: SOT 302197 SOS 177299 HAS SOPS 173930 HAS SOUS 108503 HAS SOUPS 107817 WITH SCORE 107994.299
AT ITER 865 NEW BEST:: SOT 302168 SOS 177287 HAS SOPS 173918 HAS SOUS 108439 HAS SOUPS 107753 WITH SCORE 107930.287
AT ITER 869 NEW BEST:: SOT 302206 SOS 177416 HAS SOPS 174047 HAS SOUS 108245 HAS SOUPS 107559 WITH SCORE 107736.416
AT ITER 870 NEW BEST:: SOT 302172 SOS 177348 HAS SOPS 173979 HAS SOUS 108143 HAS SOUPS 107457 WITH SCORE 107634.348
AT ITER 884 NEW BEST:: SOT 302251 SOS 177557 HAS SOPS 174188 HAS SOUS 107839 HAS SOUPS 107153 WITH SCORE 107330.557
AT ITER 901 NEW BEST:: SOT 302274 SOS 177603 HAS SOPS 174234 HAS SOUS 107802 HAS SOUPS 107116 WITH SCORE 107293.603
AT ITER 911 NEW BEST:: SOT 302123 SOS 177468 HAS SOPS 174099 HAS SOUS 107694 HAS SOUPS 107008 WITH SCORE 107185.468
AT ITER 916 NEW BEST:: SOT 301820 SOS 177320 HAS SOPS 173951 HAS SOUS 107621 HAS SOUPS 106935 WITH SCORE 107112.32
AT ITER 929 NEW BEST:: SOT 301659 SOS 177099 HAS SOPS 173730 HAS SOUS 107179 HAS SOUPS 106493 WITH SCORE 106670.099
AT ITER 930 NEW BEST:: SOT 301599 SOS 176984 HAS SOPS 173615 HAS SOUS 107059 HAS SOUPS 106373 WITH SCORE 106549.984
AT ITER 931 NEW BEST:: SOT 301477 SOS 176789 HAS SOPS 173420 HAS SOUS 106809 HAS SOUPS 106123 WITH SCORE 106299.789
AT ITER 934 NEW BEST:: SOT 301522 SOS 176790 HAS SOPS 173421 HAS SOUS 106049 HAS SOUPS 105363 WITH SCORE 105539.79
AT ITER 943 NEW BEST:: SOT 301788 SOS 177126 HAS SOPS 173757 HAS SOUS 105615 HAS SOUPS 104929 WITH SCORE 105106.126
AT ITER 944 NEW BEST:: SOT 301456 SOS 176794 HAS SOPS 173425 HAS SOUS 105200 HAS SOUPS 104514 WITH SCORE 104690.794
AT ITER 955 NEW BEST:: SOT 301592 SOS 176887 HAS SOPS 173518 HAS SOUS 105130 HAS SOUPS 104444 WITH SCORE 104620.887
AT ITER 956 NEW BEST:: SOT 301369 SOS 176087 HAS SOPS 172718 HAS SOUS 104860 HAS SOUPS 104174 WITH SCORE 104350.087
AT ITER 963 NEW BEST:: SOT 301295 SOS 164257 HAS SOPS 161038 HAS SOUS 104764 HAS SOUPS 104100 WITH SCORE 104264.257
AT ITER 969 NEW BEST:: SOT 301284 SOS 164169 HAS SOPS 160950 HAS SOUS 104749 HAS SOUPS 104085 WITH SCORE 104249.169
AT ITER 971 NEW BEST:: SOT 301265 SOS 164150 HAS SOPS 160931 HAS SOUS 104749 HAS SOUPS 104085 WITH SCORE 104249.15
AT ITER 977 NEW BEST:: SOT 301206 SOS 164071 HAS SOPS 160852 HAS SOUS 104651 HAS SOUPS 103987 WITH SCORE 104151.071
AT ITER 983 NEW BEST:: SOT 301209 SOS 164077 HAS SOPS 160858 HAS SOUS 104599 HAS SOUPS 103935 WITH SCORE 104099.077
AT ITER 994 NEW BEST:: SOT 301062 SOS 164394 HAS SOPS 161175 HAS SOUS 104402 HAS SOUPS 103738 WITH SCORE 103902.394
AT ITER 1018 NEW BEST:: SOT 300549 SOS 163808 HAS SOPS 160589 HAS SOUS 103793 HAS SOUPS 103129 WITH SCORE 103292.808
AT ITER 1023 NEW BEST:: SOT 300442 SOS 163364 HAS SOPS 160145 HAS SOUS 103717 HAS SOUPS 103053 WITH SCORE 103216.364
AT ITER 1054 NEW BEST:: SOT 300373 SOS 163371 HAS SOPS 160152 HAS SOUS 103506 HAS SOUPS 102842 WITH SCORE 103005.371
AT ITER 1070 NEW BEST:: SOT 299665 SOS 162718 HAS SOPS 159444 HAS SOUS 102833 HAS SOUPS 102114 WITH SCORE 102276.718
AT ITER 1071 NEW BEST:: SOT 299655 SOS 162708 HAS SOPS 159434 HAS SOUS 102817 HAS SOUPS 102098 WITH SCORE 102260.708
AT ITER 1075 NEW BEST:: SOT 299311 SOS 162301 HAS SOPS 159027 HAS SOUS 102332 HAS SOUPS 101613 WITH SCORE 101775.301
AT ITER 1111 NEW BEST:: SOT 299293 SOS 162265 HAS SOPS 158991 HAS SOUS 102312 HAS SOUPS 101593 WITH SCORE 101755.265
AT ITER 1119 NEW BEST:: SOT 299278 SOS 162249 HAS SOPS 158975 HAS SOUS 102227 HAS SOUPS 101508 WITH SCORE 101670.249
AT ITER 1121 NEW BEST:: SOT 299247 SOS 162198 HAS SOPS 158924 HAS SOUS 102180 HAS SOUPS 101461 WITH SCORE 101623.198
AT ITER 1122 NEW BEST:: SOT 299200 SOS 162106 HAS SOPS 158832 HAS SOUS 102180 HAS SOUPS 101461 WITH SCORE 101623.106
AT ITER 1158 NEW BEST:: SOT 299200 SOS 162048 HAS SOPS 158774 HAS SOUS 102158 HAS SOUPS 101439 WITH SCORE 101601.048
AT ITER 1159 NEW BEST:: SOT 299062 SOS 161910 HAS SOPS 158636 HAS SOUS 102040 HAS SOUPS 101321 WITH SCORE 101482.91
AT ITER 1167 NEW BEST:: SOT 299093 SOS 161902 HAS SOPS 158597 HAS SOUS 102070 HAS SOUPS 101321 WITH SCORE 101482.902
AT ITER 1168 NEW BEST:: SOT 299093 SOS 161900 HAS SOPS 158595 HAS SOUS 102070 HAS SOUPS 101321 WITH SCORE 101482.9
AT ITER 1171 NEW BEST:: SOT 299084 SOS 161845 HAS SOPS 158540 HAS SOUS 102015 HAS SOUPS 101266 WITH SCORE 101427.845
AT ITER 1179 NEW BEST:: SOT 299074 SOS 161835 HAS SOPS 158530 HAS SOUS 102005 HAS SOUPS 101256 WITH SCORE 101417.835
AT ITER 1192 NEW BEST:: SOT 299050 SOS 161785 HAS SOPS 158480 HAS SOUS 101955 HAS SOUPS 101206 WITH SCORE 101367.785
AT ITER 1202 NEW BEST:: SOT 299050 SOS 161785 HAS SOPS 158480 HAS SOUS 101953 HAS SOUPS 101204 WITH SCORE 101365.785
AT ITER 1209 NEW BEST:: SOT 298545 SOS 161251 HAS SOPS 157946 HAS SOUS 101144 HAS SOUPS 100395 WITH SCORE 100556.251
AT ITER 1222 NEW BEST:: SOT 298515 SOS 161283 HAS SOPS 157978 HAS SOUS 100913 HAS SOUPS 100164 WITH SCORE 100325.283
AT ITER 1239 NEW BEST:: SOT 298084 SOS 160949 HAS SOPS 157644 HAS SOUS 100508 HAS SOUPS 99759 WITH SCORE 99919.949
AT ITER 1244 NEW BEST:: SOT 298088 SOS 160951 HAS SOPS 157646 HAS SOUS 100504 HAS SOUPS 99755 WITH SCORE 99915.951
AT ITER 1245 NEW BEST:: SOT 297971 SOS 160339 HAS SOPS 157034 HAS SOUS 100431 HAS SOUPS 99682 WITH SCORE 99842.339
AT ITER 1257 NEW BEST:: SOT 298034 SOS 160320 HAS SOPS 156944 HAS SOUS 100422 HAS SOUPS 99673 WITH SCORE 99833.32
AT ITER 1262 NEW BEST:: SOT 298341 SOS 160671 HAS SOPS 157295 HAS SOUS 99907 HAS SOUPS 99158 WITH SCORE 99318.671
AT ITER 1273 NEW BEST:: SOT 297575 SOS 159905 HAS SOPS 156529 HAS SOUS 99373 HAS SOUPS 98624 WITH SCORE 98783.905
AT ITER 1274 NEW BEST:: SOT 297575 SOS 159905 HAS SOPS 156538 HAS SOUS 99372 HAS SOUPS 98623 WITH SCORE 98782.905
AT ITER 1278 NEW BEST:: SOT 297414 SOS 159744 HAS SOPS 156377 HAS SOUS 99199 HAS SOUPS 98450 WITH SCORE 98609.744
AT ITER 1279 NEW BEST:: SOT 297448 SOS 159778 HAS SOPS 156411 HAS SOUS 99186 HAS SOUPS 98437 WITH SCORE 98596.778
AT ITER 1289 NEW BEST:: SOT 297364 SOS 159740 HAS SOPS 156373 HAS SOUS 99124 HAS SOUPS 98375 WITH SCORE 98534.74
AT ITER 1292 NEW BEST:: SOT 297305 SOS 159645 HAS SOPS 156278 HAS SOUS 99084 HAS SOUPS 98335 WITH SCORE 98494.645
AT ITER 1303 NEW BEST:: SOT 297228 SOS 159676 HAS SOPS 156309 HAS SOUS 98987 HAS SOUPS 98238 WITH SCORE 98397.676
AT ITER 1304 NEW BEST:: SOT 297083 SOS 159256 HAS SOPS 155889 HAS SOUS 98886 HAS SOUPS 98137 WITH SCORE 98296.256
AT ITER 1315 NEW BEST:: SOT 296954 SOS 159122 HAS SOPS 155755 HAS SOUS 98808 HAS SOUPS 98059 WITH SCORE 98218.122
AT ITER 1318 NEW BEST:: SOT 296944 SOS 159119 HAS SOPS 155752 HAS SOUS 98752 HAS SOUPS 98003 WITH SCORE 98162.119
AT ITER 1322 NEW BEST:: SOT 296944 SOS 159119 HAS SOPS 155752 HAS SOUS 98653 HAS SOUPS 97904 WITH SCORE 98063.119
AT ITER 1323 NEW BEST:: SOT 296884 SOS 158830 HAS SOPS 155463 HAS SOUS 98535 HAS SOUPS 97786 WITH SCORE 97944.83
AT ITER 1329 NEW BEST:: SOT 296790 SOS 158790 HAS SOPS 155381 HAS SOUS 98511 HAS SOUPS 97755 WITH SCORE 97913.79
AT ITER 1331 NEW BEST:: SOT 296744 SOS 158697 HAS SOPS 155288 HAS SOUS 98419 HAS SOUPS 97663 WITH SCORE 97821.697
AT ITER 1341 NEW BEST:: SOT 296711 SOS 158687 HAS SOPS 155278 HAS SOUS 98353 HAS SOUPS 97597 WITH SCORE 97755.687
AT ITER 1363 NEW BEST:: SOT 296610 SOS 158586 HAS SOPS 155223 HAS SOUS 98243 HAS SOUPS 97487 WITH SCORE 97645.586
AT ITER 1364 NEW BEST:: SOT 296502 SOS 158142 HAS SOPS 154779 HAS SOUS 98036 HAS SOUPS 97280 WITH SCORE 97438.142
AT ITER 1381 NEW BEST:: SOT 296444 SOS 158142 HAS SOPS 154779 HAS SOUS 97994 HAS SOUPS 97238 WITH SCORE 97396.142
AT ITER 1382 NEW BEST:: SOT 296454 SOS 158182 HAS SOPS 154819 HAS SOUS 97894 HAS SOUPS 97138 WITH SCORE 97296.182
AT ITER 1397 NEW BEST:: SOT 296080 SOS 157817 HAS SOPS 154454 HAS SOUS 97578 HAS SOUPS 96822 WITH SCORE 96979.817
AT ITER 1399 NEW BEST:: SOT 296034 SOS 157771 HAS SOPS 154420 HAS SOUS 97561 HAS SOUPS 96805 WITH SCORE 96962.771
AT ITER 1405 NEW BEST:: SOT 295881 SOS 157584 HAS SOPS 154233 HAS SOUS 97342 HAS SOUPS 96586 WITH SCORE 96743.584
AT ITER 1406 NEW BEST:: SOT 295891 SOS 157584 HAS SOPS 154233 HAS SOUS 97322 HAS SOUPS 96566 WITH SCORE 96723.584
AT ITER 1407 NEW BEST:: SOT 295963 SOS 158150 HAS SOPS 154799 HAS SOUS 96678 HAS SOUPS 95922 WITH SCORE 96080.15
AT ITER 1408 NEW BEST:: SOT 293412 SOS 156434 HAS SOPS 152081 HAS SOUS 94248 HAS SOUPS 93325 WITH SCORE 93481.434
AT ITER 1409 NEW BEST:: SOT 293156 SOS 155632 HAS SOPS 151279 HAS SOUS 93841 HAS SOUPS 92918 WITH SCORE 93073.632
AT ITER 1418 NEW BEST:: SOT 293115 SOS 155480 HAS SOPS 151127 HAS SOUS 93801 HAS SOUPS 92878 WITH SCORE 93033.48
AT ITER 1420 NEW BEST:: SOT 293066 SOS 155367 HAS SOPS 151014 HAS SOUS 93616 HAS SOUPS 92693 WITH SCORE 92848.367
AT ITER 1424 NEW BEST:: SOT 293066 SOS 155291 HAS SOPS 150938 HAS SOUS 93540 HAS SOUPS 92617 WITH SCORE 92772.291
AT ITER 1459 NEW BEST:: SOT 292878 SOS 155013 HAS SOPS 150660 HAS SOUS 93295 HAS SOUPS 92372 WITH SCORE 92527.013
AT ITER 1462 NEW BEST:: SOT 292641 SOS 154776 HAS SOPS 150423 HAS SOUS 92850 HAS SOUPS 91927 WITH SCORE 92081.776
AT ITER 1463 NEW BEST:: SOT 292641 SOS 154797 HAS SOPS 150444 HAS SOUS 92745 HAS SOUPS 91822 WITH SCORE 91976.797
AT ITER 1466 NEW BEST:: SOT 292779 SOS 154489 HAS SOPS 150136 HAS SOUS 92446 HAS SOUPS 91523 WITH SCORE 91677.489
AT ITER 1472 NEW BEST:: SOT 292779 SOS 154696 HAS SOPS 150343 HAS SOUS 92445 HAS SOUPS 91522 WITH SCORE 91676.696
AT ITER 1493 NEW BEST:: SOT 292771 SOS 154688 HAS SOPS 150335 HAS SOUS 92429 HAS SOUPS 91506 WITH SCORE 91660.688
AT ITER 1502 NEW BEST:: SOT 292698 SOS 154650 HAS SOPS 150297 HAS SOUS 92391 HAS SOUPS 91468 WITH SCORE 91622.65
AT ITER 1515 NEW BEST:: SOT 292654 SOS 154562 HAS SOPS 150209 HAS SOUS 92304 HAS SOUPS 91381 WITH SCORE 91535.562
AT ITER 1519 NEW BEST:: SOT 292654 SOS 154642 HAS SOPS 150289 HAS SOUS 92224 HAS SOUPS 91301 WITH SCORE 91455.642
AT ITER 1525 NEW BEST:: SOT 292583 SOS 154430 HAS SOPS 150077 HAS SOUS 92174 HAS SOUPS 91251 WITH SCORE 91405.43
AT ITER 1530 NEW BEST:: SOT 292583 SOS 154379 HAS SOPS 150026 HAS SOUS 92140 HAS SOUPS 91217 WITH SCORE 91371.379
AT ITER 1541 NEW BEST:: SOT 292610 SOS 154406 HAS SOPS 150053 HAS SOUS 92121 HAS SOUPS 91198 WITH SCORE 91352.406
AT ITER 1543 NEW BEST:: SOT 292592 SOS 154388 HAS SOPS 150035 HAS SOUS 92085 HAS SOUPS 91162 WITH SCORE 91316.388
AT ITER 1544 NEW BEST:: SOT 292591 SOS 154369 HAS SOPS 150007 HAS SOUS 92074 HAS SOUPS 91151 WITH SCORE 91305.369
AT ITER 1580 NEW BEST:: SOT 292732 SOS 154300 HAS SOPS 150148 HAS SOUS 91997 HAS SOUPS 91109 WITH SCORE 91263.3
AT ITER 1585 NEW BEST:: SOT 292732 SOS 154024 HAS SOPS 149872 HAS SOUS 91951 HAS SOUPS 91063 WITH SCORE 91217.024
AT ITER 1589 NEW BEST:: SOT 292752 SOS 154081 HAS SOPS 149929 HAS SOUS 91816 HAS SOUPS 90928 WITH SCORE 91082.081
AT ITER 1590 NEW BEST:: SOT 292671 SOS 153769 HAS SOPS 149617 HAS SOUS 91712 HAS SOUPS 90824 WITH SCORE 90977.769
AT ITER 1604 NEW BEST:: SOT 292671 SOS 153525 HAS SOPS 149373 HAS SOUS 91435 HAS SOUPS 90547 WITH SCORE 90700.525
AT ITER 1607 NEW BEST:: SOT 292644 SOS 153498 HAS SOPS 149346 HAS SOUS 91408 HAS SOUPS 90520 WITH SCORE 90673.498
AT ITER 1611 NEW BEST:: SOT 292589 SOS 153333 HAS SOPS 149181 HAS SOUS 91408 HAS SOUPS 90520 WITH SCORE 90673.333
AT ITER 1617 NEW BEST:: SOT 292583 SOS 153330 HAS SOPS 149178 HAS SOUS 91401 HAS SOUPS 90513 WITH SCORE 90666.33
AT ITER 1630 NEW BEST:: SOT 292675 SOS 153663 HAS SOPS 149511 HAS SOUS 91367 HAS SOUPS 90479 WITH SCORE 90632.663
AT ITER 1632 NEW BEST:: SOT 292659 SOS 153686 HAS SOPS 149534 HAS SOUS 91292 HAS SOUPS 90404 WITH SCORE 90557.686
AT ITER 1634 NEW BEST:: SOT 292611 SOS 153553 HAS SOPS 149401 HAS SOUS 91222 HAS SOUPS 90334 WITH SCORE 90487.553
AT ITER 1642 NEW BEST:: SOT 292369 SOS 153250 HAS SOPS 149098 HAS SOUS 90661 HAS SOUPS 89773 WITH SCORE 89926.25
AT ITER 1652 NEW BEST:: SOT 292333 SOS 153115 HAS SOPS 148963 HAS SOUS 90622 HAS SOUPS 89734 WITH SCORE 89887.115
AT ITER 1682 NEW BEST:: SOT 292331 SOS 153113 HAS SOPS 148961 HAS SOUS 90614 HAS SOUPS 89726 WITH SCORE 89879.113
AT ITER 1688 NEW BEST:: SOT 292330 SOS 153080 HAS SOPS 148928 HAS SOUS 89822 HAS SOUPS 88934 WITH SCORE 89087.08
AT ITER 1690 NEW BEST:: SOT 292210 SOS 153101 HAS SOPS 148949 HAS SOUS 89728 HAS SOUPS 88840 WITH SCORE 88993.101
AT ITER 1692 NEW BEST:: SOT 292210 SOS 153130 HAS SOPS 148978 HAS SOUS 89666 HAS SOUPS 88778 WITH SCORE 88931.13
AT ITER 1706 NEW BEST:: SOT 292273 SOS 153104 HAS SOPS 148952 HAS SOUS 89653 HAS SOUPS 88765 WITH SCORE 88918.104
AT ITER 1713 NEW BEST:: SOT 292258 SOS 153094 HAS SOPS 148942 HAS SOUS 89648 HAS SOUPS 88760 WITH SCORE 88913.094
AT ITER 1718 NEW BEST:: SOT 292146 SOS 152965 HAS SOPS 148989 HAS SOUS 89536 HAS SOUPS 88648 WITH SCORE 88800.965
AT ITER 1719 NEW BEST:: SOT 290718 SOS 151464 HAS SOPS 147488 HAS SOUS 88108 HAS SOUPS 87220 WITH SCORE 87371.464
AT ITER 1743 NEW BEST:: SOT 290682 SOS 151422 HAS SOPS 147446 HAS SOUS 88066 HAS SOUPS 87178 WITH SCORE 87329.422
AT ITER 1763 NEW BEST:: SOT 290682 SOS 151403 HAS SOPS 147427 HAS SOUS 88035 HAS SOUPS 87147 WITH SCORE 87298.403
AT ITER 1769 NEW BEST:: SOT 290543 SOS 151264 HAS SOPS 147288 HAS SOUS 87957 HAS SOUPS 87069 WITH SCORE 87220.264
AT ITER 1783 NEW BEST:: SOT 290543 SOS 150905 HAS SOPS 146929 HAS SOUS 87947 HAS SOUPS 87059 WITH SCORE 87209.905
AT ITER 1793 NEW BEST:: SOT 290515 SOS 151027 HAS SOPS 146895 HAS SOUS 87835 HAS SOUPS 86921 WITH SCORE 87072.027
AT ITER 1795 NEW BEST:: SOT 290476 SOS 150817 HAS SOPS 146685 HAS SOUS 87724 HAS SOUPS 86810 WITH SCORE 86960.817
AT ITER 1809 NEW BEST:: SOT 290548 SOS 151264 HAS SOPS 147132 HAS SOUS 87546 HAS SOUPS 86632 WITH SCORE 86783.264
AT ITER 1825 NEW BEST:: SOT 290518 SOS 151234 HAS SOPS 147102 HAS SOUS 87516 HAS SOUPS 86602 WITH SCORE 86753.234
AT ITER 1851 NEW BEST:: SOT 290456 SOS 151112 HAS SOPS 146980 HAS SOUS 87437 HAS SOUPS 86523 WITH SCORE 86674.112
AT ITER 1853 NEW BEST:: SOT 290441 SOS 151082 HAS SOPS 146950 HAS SOUS 87407 HAS SOUPS 86493 WITH SCORE 86644.082
AT ITER 1859 NEW BEST:: SOT 290366 SOS 151007 HAS SOPS 146875 HAS SOUS 87317 HAS SOUPS 86403 WITH SCORE 86554.007
AT ITER 1871 NEW BEST:: SOT 290289 SOS 150865 HAS SOPS 146733 HAS SOUS 87175 HAS SOUPS 86261 WITH SCORE 86411.865
AT ITER 1873 NEW BEST:: SOT 290173 SOS 150713 HAS SOPS 146581 HAS SOUS 86922 HAS SOUPS 86008 WITH SCORE 86158.713
AT ITER 1876 NEW BEST:: SOT 290166 SOS 150706 HAS SOPS 146574 HAS SOUS 86908 HAS SOUPS 85994 WITH SCORE 86144.706
AT ITER 1884 NEW BEST:: SOT 290113 SOS 150653 HAS SOPS 146521 HAS SOUS 86803 HAS SOUPS 85889 WITH SCORE 86039.653
AT ITER 1891 NEW BEST:: SOT 290028 SOS 150568 HAS SOPS 146436 HAS SOUS 86776 HAS SOUPS 85862 WITH SCORE 86012.568
AT ITER 1901 NEW BEST:: SOT 290025 SOS 150565 HAS SOPS 146433 HAS SOUS 86725 HAS SOUPS 85811 WITH SCORE 85961.565
AT ITER 1903 NEW BEST:: SOT 289944 SOS 150040 HAS SOPS 145908 HAS SOUS 86430 HAS SOUPS 85516 WITH SCORE 85666.04
AT ITER 1907 NEW BEST:: SOT 289944 SOS 150056 HAS SOPS 145924 HAS SOUS 86422 HAS SOUPS 85508 WITH SCORE 85658.056
AT ITER 1908 NEW BEST:: SOT 289626 SOS 150785 HAS SOPS 146653 HAS SOUS 86415 HAS SOUPS 85501 WITH SCORE 85651.785
AT ITER 1922 NEW BEST:: SOT 289617 SOS 150749 HAS SOPS 146617 HAS SOUS 86415 HAS SOUPS 85501 WITH SCORE 85651.749
AT ITER 1929 NEW BEST:: SOT 289751 SOS 150097 HAS SOPS 145965 HAS SOUS 86376 HAS SOUPS 85462 WITH SCORE 85612.097
AT ITER 1934 NEW BEST:: SOT 289707 SOS 149995 HAS SOPS 145863 HAS SOUS 86225 HAS SOUPS 85311 WITH SCORE 85460.995
AT ITER 1950 NEW BEST:: SOT 289676 SOS 150047 HAS SOPS 145915 HAS SOUS 86111 HAS SOUPS 85197 WITH SCORE 85347.047
AT ITER 1954 NEW BEST:: SOT 289703 SOS 150064 HAS SOPS 145932 HAS SOUS 86035 HAS SOUPS 85121 WITH SCORE 85271.064
AT ITER 1968 NEW BEST:: SOT 289677 SOS 150079 HAS SOPS 145947 HAS SOUS 85983 HAS SOUPS 85069 WITH SCORE 85219.079
AT ITER 1978 NEW BEST:: SOT 289632 SOS 149956 HAS SOPS 145824 HAS SOUS 85945 HAS SOUPS 85031 WITH SCORE 85180.956
AT ITER 2004 NEW BEST:: SOT 289603 SOS 149927 HAS SOPS 145795 HAS SOUS 85814 HAS SOUPS 84900 WITH SCORE 85049.927
AT ITER 2007 NEW BEST:: SOT 289598 SOS 149922 HAS SOPS 145790 HAS SOUS 85799 HAS SOUPS 84885 WITH SCORE 85034.922
AT ITER 2019 NEW BEST:: SOT 289519 SOS 149786 HAS SOPS 145654 HAS SOUS 85764 HAS SOUPS 84850 WITH SCORE 84999.786
AT ITER 2030 NEW BEST:: SOT 289493 SOS 149760 HAS SOPS 145628 HAS SOUS 85734 HAS SOUPS 84820 WITH SCORE 84969.76
AT ITER 2034 NEW BEST:: SOT 289497 SOS 149756 HAS SOPS 145624 HAS SOUS 85716 HAS SOUPS 84802 WITH SCORE 84951.756
AT ITER 2036 NEW BEST:: SOT 289411 SOS 149670 HAS SOPS 145538 HAS SOUS 85633 HAS SOUPS 84719 WITH SCORE 84868.67
AT ITER 2043 NEW BEST:: SOT 289184 SOS 149366 HAS SOPS 145234 HAS SOUS 85347 HAS SOUPS 84433 WITH SCORE 84582.366
AT ITER 2060 NEW BEST:: SOT 289168 SOS 149137 HAS SOPS 145005 HAS SOUS 85340 HAS SOUPS 84426 WITH SCORE 84575.137
AT ITER 2097 NEW BEST:: SOT 289118 SOS 149087 HAS SOPS 144955 HAS SOUS 85258 HAS SOUPS 84344 WITH SCORE 84493.087
AT ITER 2099 NEW BEST:: SOT 289053 SOS 149111 HAS SOPS 144979 HAS SOUS 85240 HAS SOUPS 84326 WITH SCORE 84475.111
AT ITER 2103 NEW BEST:: SOT 289054 SOS 149083 HAS SOPS 144951 HAS SOUS 85169 HAS SOUPS 84255 WITH SCORE 84404.083
AT ITER 2110 NEW BEST:: SOT 289074 SOS 148898 HAS SOPS 144766 HAS SOUS 85127 HAS SOUPS 84213 WITH SCORE 84361.898
AT ITER 2120 NEW BEST:: SOT 289044 SOS 148809 HAS SOPS 144677 HAS SOUS 85092 HAS SOUPS 84178 WITH SCORE 84326.809
AT ITER 2122 NEW BEST:: SOT 289044 SOS 148501 HAS SOPS 144369 HAS SOUS 85092 HAS SOUPS 84178 WITH SCORE 84326.501
AT ITER 2128 NEW BEST:: SOT 289030 SOS 148487 HAS SOPS 144355 HAS SOUS 85050 HAS SOUPS 84136 WITH SCORE 84284.487
AT ITER 2139 NEW BEST:: SOT 288790 SOS 148267 HAS SOPS 144135 HAS SOUS 84810 HAS SOUPS 83896 WITH SCORE 84044.267
AT ITER 2151 NEW BEST:: SOT 288705 SOS 147969 HAS SOPS 143837 HAS SOUS 84697 HAS SOUPS 83783 WITH SCORE 83930.969
AT ITER 2162 NEW BEST:: SOT 288162 SOS 147472 HAS SOPS 143340 HAS SOUS 84657 HAS SOUPS 83743 WITH SCORE 83890.472
AT ITER 2175 NEW BEST:: SOT 288157 SOS 147462 HAS SOPS 143330 HAS SOUS 84647 HAS SOUPS 83733 WITH SCORE 83880.462
AT ITER 2198 NEW BEST:: SOT 287995 SOS 147292 HAS SOPS 143160 HAS SOUS 84477 HAS SOUPS 83563 WITH SCORE 83710.292
AT ITER 2201 NEW BEST:: SOT 287932 SOS 147166 HAS SOPS 143034 HAS SOUS 84352 HAS SOUPS 83438 WITH SCORE 83585.166
AT ITER 2213 NEW BEST:: SOT 287919 SOS 147153 HAS SOPS 143021 HAS SOUS 84326 HAS SOUPS 83412 WITH SCORE 83559.153
AT ITER 2217 NEW BEST:: SOT 287862 SOS 147080 HAS SOPS 142948 HAS SOUS 84253 HAS SOUPS 83339 WITH SCORE 83486.08
AT ITER 2233 NEW BEST:: SOT 286854 SOS 146185 HAS SOPS 142053 HAS SOUS 83316 HAS SOUPS 82402 WITH SCORE 82548.185
AT ITER 2262 NEW BEST:: SOT 286880 SOS 145952 HAS SOPS 141820 HAS SOUS 83305 HAS SOUPS 82391 WITH SCORE 82536.952
AT ITER 2264 NEW BEST:: SOT 286880 SOS 145961 HAS SOPS 141829 HAS SOUS 83287 HAS SOUPS 82373 WITH SCORE 82518.961
AT ITER 2270 NEW BEST:: SOT 286854 SOS 145893 HAS SOPS 141761 HAS SOUS 83231 HAS SOUPS 82317 WITH SCORE 82462.893
AT ITER 2272 NEW BEST:: SOT 286861 SOS 146006 HAS SOPS 141874 HAS SOUS 83199 HAS SOUPS 82285 WITH SCORE 82431.006
AT ITER 2274 NEW BEST:: SOT 286859 SOS 146004 HAS SOPS 141872 HAS SOUS 83197 HAS SOUPS 82283 WITH SCORE 82429.004
AT ITER 2278 NEW BEST:: SOT 286787 SOS 146055 HAS SOPS 141924 HAS SOUS 83187 HAS SOUPS 82273 WITH SCORE 82419.055
AT ITER 2337 NEW BEST:: SOT 286768 SOS 146038 HAS SOPS 141907 HAS SOUS 83162 HAS SOUPS 82248 WITH SCORE 82394.038
AT ITER 2342 NEW BEST:: SOT 286026 SOS 146098 HAS SOPS 141967 HAS SOUS 82977 HAS SOUPS 82063 WITH SCORE 82209.098
AT ITER 2344 NEW BEST:: SOT 285643 SOS 147157 HAS SOPS 142821 HAS SOUS 82940 HAS SOUPS 81950 WITH SCORE 82097.157
AT ITER 2364 NEW BEST:: SOT 285616 SOS 147123 HAS SOPS 142787 HAS SOUS 82906 HAS SOUPS 81916 WITH SCORE 82063.123
AT ITER 2378 NEW BEST:: SOT 285567 SOS 147074 HAS SOPS 142738 HAS SOUS 82797 HAS SOUPS 81807 WITH SCORE 81954.074
AT ITER 2381 NEW BEST:: SOT 285712 SOS 147561 HAS SOPS 143225 HAS SOUS 82623 HAS SOUPS 81633 WITH SCORE 81780.561
AT ITER 2393 NEW BEST:: SOT 285620 SOS 147469 HAS SOPS 143133 HAS SOUS 82485 HAS SOUPS 81495 WITH SCORE 81642.469
AT ITER 2414 NEW BEST:: SOT 285593 SOS 147400 HAS SOPS 143064 HAS SOUS 82389 HAS SOUPS 81399 WITH SCORE 81546.4
AT ITER 2416 NEW BEST:: SOT 285524 SOS 147331 HAS SOPS 142995 HAS SOUS 82228 HAS SOUPS 81238 WITH SCORE 81385.331
AT ITER 2422 NEW BEST:: SOT 285524 SOS 147334 HAS SOPS 142995 HAS SOUS 82222 HAS SOUPS 81232 WITH SCORE 81379.334
AT ITER 2426 NEW BEST:: SOT 285671 SOS 147880 HAS SOPS 143541 HAS SOUS 82189 HAS SOUPS 81199 WITH SCORE 81346.88
AT ITER 2429 NEW BEST:: SOT 285699 SOS 147894 HAS SOPS 143555 HAS SOUS 82161 HAS SOUPS 81171 WITH SCORE 81318.894
AT ITER 2437 NEW BEST:: SOT 285670 SOS 147935 HAS SOPS 143596 HAS SOUS 82147 HAS SOUPS 81157 WITH SCORE 81304.935
AT ITER 2454 NEW BEST:: SOT 285650 SOS 147705 HAS SOPS 143366 HAS SOUS 82133 HAS SOUPS 81143 WITH SCORE 81290.705
AT ITER 2474 NEW BEST:: SOT 285650 SOS 147705 HAS SOPS 143366 HAS SOUS 82088 HAS SOUPS 81098 WITH SCORE 81245.705
AT ITER 2481 NEW BEST:: SOT 285594 SOS 147536 HAS SOPS 143176 HAS SOUS 81990 HAS SOUPS 81000 WITH SCORE 81147.536
AT ITER 2496 NEW BEST:: SOT 285596 SOS 147478 HAS SOPS 143118 HAS SOUS 81466 HAS SOUPS 80476 WITH SCORE 80623.478
AT ITER 2502 NEW BEST:: SOT 285572 SOS 147454 HAS SOPS 143095 HAS SOUS 81423 HAS SOUPS 80433 WITH SCORE 80580.454
AT ITER 2509 NEW BEST:: SOT 285464 SOS 147411 HAS SOPS 142974 HAS SOUS 81302 HAS SOUPS 80299 WITH SCORE 80446.411
AT ITER 2512 NEW BEST:: SOT 285464 SOS 147416 HAS SOPS 142979 HAS SOUS 81295 HAS SOUPS 80292 WITH SCORE 80439.416
AT ITER 2534 NEW BEST:: SOT 285464 SOS 147414 HAS SOPS 142955 HAS SOUS 81272 HAS SOUPS 80269 WITH SCORE 80416.414
AT ITER 2554 NEW BEST:: SOT 285364 SOS 147365 HAS SOPS 142906 HAS SOUS 81167 HAS SOUPS 80164 WITH SCORE 80311.365
AT ITER 2572 NEW BEST:: SOT 285444 SOS 147521 HAS SOPS 143062 HAS SOUS 80923 HAS SOUPS 79920 WITH SCORE 80067.521
AT ITER 2573 NEW BEST:: SOT 285412 SOS 147517 HAS SOPS 143058 HAS SOUS 80881 HAS SOUPS 79878 WITH SCORE 80025.517
AT ITER 2583 NEW BEST:: SOT 285402 SOS 147500 HAS SOPS 143041 HAS SOUS 80868 HAS SOUPS 79865 WITH SCORE 80012.5
AT ITER 2593 NEW BEST:: SOT 285506 SOS 147469 HAS SOPS 143010 HAS SOUS 80806 HAS SOUPS 79803 WITH SCORE 79950.469
AT ITER 2596 NEW BEST:: SOT 285461 SOS 147424 HAS SOPS 142965 HAS SOUS 80786 HAS SOUPS 79783 WITH SCORE 79930.424
AT ITER 2642 NEW BEST:: SOT 285454 SOS 147424 HAS SOPS 142965 HAS SOUS 80737 HAS SOUPS 79734 WITH SCORE 79881.424
AT ITER 2653 NEW BEST:: SOT 285399 SOS 147281 HAS SOPS 142822 HAS SOUS 80699 HAS SOUPS 79696 WITH SCORE 79843.281
AT ITER 2660 NEW BEST:: SOT 285388 SOS 147246 HAS SOPS 142787 HAS SOUS 80685 HAS SOUPS 79682 WITH SCORE 79829.246
AT ITER 2663 NEW BEST:: SOT 285375 SOS 147239 HAS SOPS 142780 HAS SOUS 80659 HAS SOUPS 79656 WITH SCORE 79803.239
AT ITER 2664 NEW BEST:: SOT 285234 SOS 147125 HAS SOPS 142666 HAS SOUS 80532 HAS SOUPS 79529 WITH SCORE 79676.125
AT ITER 2682 NEW BEST:: SOT 285005 SOS 147001 HAS SOPS 142542 HAS SOUS 80492 HAS SOUPS 79489 WITH SCORE 79636.001
AT ITER 2688 NEW BEST:: SOT 284998 SOS 146987 HAS SOPS 142528 HAS SOUS 80471 HAS SOUPS 79468 WITH SCORE 79614.987
AT ITER 2694 NEW BEST:: SOT 284851 SOS 146840 HAS SOPS 142381 HAS SOUS 80324 HAS SOUPS 79321 WITH SCORE 79467.84
AT ITER 2696 NEW BEST:: SOT 284816 SOS 146929 HAS SOPS 142470 HAS SOUS 80130 HAS SOUPS 79127 WITH SCORE 79273.929
AT ITER 2705 NEW BEST:: SOT 284614 SOS 146815 HAS SOPS 142356 HAS SOUS 80120 HAS SOUPS 79117 WITH SCORE 79263.815
AT ITER 2723 NEW BEST:: SOT 284506 SOS 146818 HAS SOPS 142359 HAS SOUS 79958 HAS SOUPS 78955 WITH SCORE 79101.818
AT ITER 2724 NEW BEST:: SOT 284524 SOS 146836 HAS SOPS 142377 HAS SOUS 79906 HAS SOUPS 78903 WITH SCORE 79049.836
AT ITER 2754 NEW BEST:: SOT 284490 SOS 146768 HAS SOPS 142309 HAS SOUS 79798 HAS SOUPS 78795 WITH SCORE 78941.768
AT ITER 2757 NEW BEST:: SOT 284483 SOS 146745 HAS SOPS 142286 HAS SOUS 79770 HAS SOUPS 78767 WITH SCORE 78913.745
AT ITER 2773 NEW BEST:: SOT 284471 SOS 146696 HAS SOPS 142237 HAS SOUS 79711 HAS SOUPS 78708 WITH SCORE 78854.696
AT ITER 2780 NEW BEST:: SOT 284446 SOS 146602 HAS SOPS 142143 HAS SOUS 79652 HAS SOUPS 78649 WITH SCORE 78795.602
AT ITER 2782 NEW BEST:: SOT 284183 SOS 146797 HAS SOPS 142276 HAS SOUS 79478 HAS SOUPS 78475 WITH SCORE 78621.797
AT ITER 2807 NEW BEST:: SOT 284122 SOS 148111 HAS SOPS 143632 HAS SOUS 79457 HAS SOUPS 78461 WITH SCORE 78609.111
AT ITER 2815 NEW BEST:: SOT 284106 SOS 148317 HAS SOPS 143838 HAS SOUS 79354 HAS SOUPS 78358 WITH SCORE 78506.317
AT ITER 2823 NEW BEST:: SOT 284103 SOS 148314 HAS SOPS 143835 HAS SOUS 79348 HAS SOUPS 78352 WITH SCORE 78500.314
AT ITER 2840 NEW BEST:: SOT 284082 SOS 148294 HAS SOPS 143815 HAS SOUS 79326 HAS SOUPS 78330 WITH SCORE 78478.294
AT ITER 2856 NEW BEST:: SOT 283863 SOS 148187 HAS SOPS 143708 HAS SOUS 79136 HAS SOUPS 78140 WITH SCORE 78288.187
AT ITER 2864 NEW BEST:: SOT 283848 SOS 148188 HAS SOPS 143709 HAS SOUS 79121 HAS SOUPS 78125 WITH SCORE 78273.188
AT ITER 2868 NEW BEST:: SOT 283853 SOS 148193 HAS SOPS 143714 HAS SOUS 79106 HAS SOUPS 78110 WITH SCORE 78258.193
AT ITER 2889 NEW BEST:: SOT 284232 SOS 148361 HAS SOPS 143882 HAS SOUS 78756 HAS SOUPS 77760 WITH SCORE 77908.361
AT ITER 2895 NEW BEST:: SOT 284270 SOS 148594 HAS SOPS 144115 HAS SOUS 78754 HAS SOUPS 77758 WITH SCORE 77906.594
AT ITER 2896 NEW BEST:: SOT 284232 SOS 148575 HAS SOPS 144096 HAS SOUS 78731 HAS SOUPS 77735 WITH SCORE 77883.575
AT ITER 2910 NEW BEST:: SOT 284232 SOS 148577 HAS SOPS 144098 HAS SOUS 78658 HAS SOUPS 77662 WITH SCORE 77810.577
AT ITER 2921 NEW BEST:: SOT 283896 SOS 148050 HAS SOPS 143571 HAS SOUS 78322 HAS SOUPS 77326 WITH SCORE 77474.05
AT ITER 2965 NEW BEST:: SOT 283894 SOS 148046 HAS SOPS 143567 HAS SOUS 78322 HAS SOUPS 77326 WITH SCORE 77474.046
AT ITER 2987 NEW BEST:: SOT 284332 SOS 148524 HAS SOPS 144045 HAS SOUS 78226 HAS SOUPS 77230 WITH SCORE 77378.524
AT ITER 3009 NEW BEST:: SOT 284494 SOS 148404 HAS SOPS 144207 HAS SOUS 78168 HAS SOUPS 77219 WITH SCORE 77367.404
AT ITER 3011 NEW BEST:: SOT 284341 SOS 148251 HAS SOPS 144054 HAS SOUS 78095 HAS SOUPS 77146 WITH SCORE 77294.251
AT ITER 3019 NEW BEST:: SOT 284282 SOS 148192 HAS SOPS 143995 HAS SOUS 78052 HAS SOUPS 77103 WITH SCORE 77251.192
AT ITER 3020 NEW BEST:: SOT 284306 SOS 148287 HAS SOPS 144090 HAS SOUS 78005 HAS SOUPS 77056 WITH SCORE 77204.287
AT ITER 3029 NEW BEST:: SOT 284227 SOS 148208 HAS SOPS 144011 HAS SOUS 77876 HAS SOUPS 76927 WITH SCORE 77075.208
AT ITER 3030 NEW BEST:: SOT 284211 SOS 148192 HAS SOPS 143995 HAS SOUS 77844 HAS SOUPS 76895 WITH SCORE 77043.192
AT ITER 3035 NEW BEST:: SOT 284264 SOS 147789 HAS SOPS 143592 HAS SOUS 77798 HAS SOUPS 76849 WITH SCORE 76996.789
AT ITER 3043 NEW BEST:: SOT 284253 SOS 147874 HAS SOPS 143677 HAS SOUS 77776 HAS SOUPS 76827 WITH SCORE 76974.874
AT ITER 3052 NEW BEST:: SOT 283839 SOS 147473 HAS SOPS 143276 HAS SOUS 77362 HAS SOUPS 76413 WITH SCORE 76560.473
AT ITER 3059 NEW BEST:: SOT 283832 SOS 147466 HAS SOPS 143276 HAS SOUS 77355 HAS SOUPS 76406 WITH SCORE 76553.466
AT ITER 3066 NEW BEST:: SOT 283779 SOS 147322 HAS SOPS 143132 HAS SOUS 77249 HAS SOUPS 76300 WITH SCORE 76447.322
AT ITER 3069 NEW BEST:: SOT 283737 SOS 147310 HAS SOPS 143120 HAS SOUS 77232 HAS SOUPS 76283 WITH SCORE 76430.31
AT ITER 3080 NEW BEST:: SOT 283725 SOS 147291 HAS SOPS 143101 HAS SOUS 77213 HAS SOUPS 76264 WITH SCORE 76411.291
AT ITER 3111 NEW BEST:: SOT 283653 SOS 147059 HAS SOPS 142869 HAS SOUS 77107 HAS SOUPS 76158 WITH SCORE 76305.059
AT ITER 3194 NEW BEST:: SOT 283642 SOS 147048 HAS SOPS 142858 HAS SOUS 77085 HAS SOUPS 76136 WITH SCORE 76283.048
AT ITER 3205 NEW BEST:: SOT 283647 SOS 147053 HAS SOPS 142863 HAS SOUS 77065 HAS SOUPS 76116 WITH SCORE 76263.053
AT ITER 3209 NEW BEST:: SOT 283609 SOS 147031 HAS SOPS 142841 HAS SOUS 77043 HAS SOUPS 76094 WITH SCORE 76241.031
AT ITER 3210 NEW BEST:: SOT 283539 SOS 146970 HAS SOPS 142780 HAS SOUS 77016 HAS SOUPS 76067 WITH SCORE 76213.97
AT ITER 3217 NEW BEST:: SOT 283502 SOS 147135 HAS SOPS 142945 HAS SOUS 76943 HAS SOUPS 75994 WITH SCORE 76141.135
AT ITER 3231 NEW BEST:: SOT 283488 SOS 147107 HAS SOPS 142917 HAS SOUS 76922 HAS SOUPS 75973 WITH SCORE 76120.107
AT ITER 3241 NEW BEST:: SOT 283479 SOS 147296 HAS SOPS 143106 HAS SOUS 76847 HAS SOUPS 75898 WITH SCORE 76045.296
AT ITER 3299 NEW BEST:: SOT 283567 SOS 147511 HAS SOPS 143321 HAS SOUS 76824 HAS SOUPS 75875 WITH SCORE 76022.511
AT ITER 3304 NEW BEST:: SOT 283562 SOS 147506 HAS SOPS 143316 HAS SOUS 76814 HAS SOUPS 75865 WITH SCORE 76012.506
AT ITER 3306 NEW BEST:: SOT 283568 SOS 147512 HAS SOPS 143322 HAS SOUS 76764 HAS SOUPS 75815 WITH SCORE 75962.512
AT ITER 3318 NEW BEST:: SOT 283505 SOS 147344 HAS SOPS 143154 HAS SOUS 76743 HAS SOUPS 75794 WITH SCORE 75941.344
AT ITER 3326 NEW BEST:: SOT 283486 SOS 147319 HAS SOPS 143129 HAS SOUS 76714 HAS SOUPS 75765 WITH SCORE 75912.319
AT ITER 3333 NEW BEST:: SOT 283486 SOS 147319 HAS SOPS 143129 HAS SOUS 76701 HAS SOUPS 75752 WITH SCORE 75899.319
AT ITER 3339 NEW BEST:: SOT 283400 SOS 147195 HAS SOPS 143005 HAS SOUS 76577 HAS SOUPS 75628 WITH SCORE 75775.195
AT ITER 3343 NEW BEST:: SOT 283398 SOS 147193 HAS SOPS 143003 HAS SOUS 76572 HAS SOUPS 75623 WITH SCORE 75770.193
AT ITER 3391 NEW BEST:: SOT 283411 SOS 147130 HAS SOPS 142940 HAS SOUS 76552 HAS SOUPS 75603 WITH SCORE 75750.13
AT ITER 3403 NEW BEST:: SOT 283411 SOS 147183 HAS SOPS 142993 HAS SOUS 76500 HAS SOUPS 75551 WITH SCORE 75698.183
AT ITER 3408 NEW BEST:: SOT 283296 SOS 146960 HAS SOPS 142770 HAS SOUS 76409 HAS SOUPS 75460 WITH SCORE 75606.96
AT ITER 3412 NEW BEST:: SOT 283296 SOS 146922 HAS SOPS 142732 HAS SOUS 76390 HAS SOUPS 75441 WITH SCORE 75587.922
AT ITER 3423 NEW BEST:: SOT 282932 SOS 146558 HAS SOPS 142368 HAS SOUS 76166 HAS SOUPS 75217 WITH SCORE 75363.558
AT ITER 3424 NEW BEST:: SOT 282920 SOS 146546 HAS SOPS 142356 HAS SOUS 76096 HAS SOUPS 75147 WITH SCORE 75293.546
AT ITER 3434 NEW BEST:: SOT 282896 SOS 146522 HAS SOPS 142332 HAS SOUS 76072 HAS SOUPS 75123 WITH SCORE 75269.522
AT ITER 3437 NEW BEST:: SOT 282935 SOS 146163 HAS SOPS 141948 HAS SOUS 76053 HAS SOUPS 75104 WITH SCORE 75250.163
AT ITER 3455 NEW BEST:: SOT 282752 SOS 145980 HAS SOPS 141765 HAS SOUS 75830 HAS SOUPS 74881 WITH SCORE 75026.98
AT ITER 3474 NEW BEST:: SOT 282747 SOS 145975 HAS SOPS 141760 HAS SOUS 75820 HAS SOUPS 74871 WITH SCORE 75016.975
AT ITER 3500 NEW BEST:: SOT 282847 SOS 146165 HAS SOPS 141950 HAS SOUS 75795 HAS SOUPS 74846 WITH SCORE 74992.165
AT ITER 3533 NEW BEST:: SOT 282819 SOS 146123 HAS SOPS 141908 HAS SOUS 75753 HAS SOUPS 74804 WITH SCORE 74950.123
AT ITER 3618 NEW BEST:: SOT 282618 SOS 145979 HAS SOPS 141764 HAS SOUS 75693 HAS SOUPS 74744 WITH SCORE 74889.979
AT ITER 3627 NEW BEST:: SOT 282618 SOS 146147 HAS SOPS 141932 HAS SOUS 75550 HAS SOUPS 74601 WITH SCORE 74747.147
AT ITER 3628 NEW BEST:: SOT 282618 SOS 146178 HAS SOPS 141963 HAS SOUS 75517 HAS SOUPS 74568 WITH SCORE 74714.178
AT ITER 3631 NEW BEST:: SOT 282028 SOS 145817 HAS SOPS 141602 HAS SOUS 75277 HAS SOUPS 74328 WITH SCORE 74473.817
AT ITER 3641 NEW BEST:: SOT 282010 SOS 145782 HAS SOPS 141567 HAS SOUS 75259 HAS SOUPS 74310 WITH SCORE 74455.782
AT ITER 3654 NEW BEST:: SOT 282023 SOS 145814 HAS SOPS 141599 HAS SOUS 75254 HAS SOUPS 74305 WITH SCORE 74450.814
AT ITER 3656 NEW BEST:: SOT 281433 SOS 146211 HAS SOPS 141066 HAS SOUS 74823 HAS SOUPS 73719 WITH SCORE 73865.211
AT ITER 3669 NEW BEST:: SOT 281451 SOS 146222 HAS SOPS 141077 HAS SOUS 74809 HAS SOUPS 73705 WITH SCORE 73851.222
AT ITER 3677 NEW BEST:: SOT 281433 SOS 146168 HAS SOPS 141023 HAS SOUS 74746 HAS SOUPS 73642 WITH SCORE 73788.168
AT ITER 3678 NEW BEST:: SOT 281132 SOS 145900 HAS SOPS 140755 HAS SOUS 74597 HAS SOUPS 73493 WITH SCORE 73638.9
AT ITER 3732 NEW BEST:: SOT 281142 SOS 145950 HAS SOPS 140805 HAS SOUS 74589 HAS SOUPS 73485 WITH SCORE 73630.95
AT ITER 3788 NEW BEST:: SOT 281081 SOS 145911 HAS SOPS 140766 HAS SOUS 74471 HAS SOUPS 73367 WITH SCORE 73512.911
AT ITER 3809 NEW BEST:: SOT 281029 SOS 145899 HAS SOPS 140754 HAS SOUS 74424 HAS SOUPS 73320 WITH SCORE 73465.899
AT ITER 3820 NEW BEST:: SOT 280959 SOS 145722 HAS SOPS 140577 HAS SOUS 74247 HAS SOUPS 73143 WITH SCORE 73288.722
AT ITER 3853 NEW BEST:: SOT 280935 SOS 145698 HAS SOPS 140553 HAS SOUS 74223 HAS SOUPS 73119 WITH SCORE 73264.698
AT ITER 3870 NEW BEST:: SOT 280854 SOS 145653 HAS SOPS 140508 HAS SOUS 74063 HAS SOUPS 72959 WITH SCORE 73104.653
AT ITER 3893 NEW BEST:: SOT 280837 SOS 145636 HAS SOPS 140491 HAS SOUS 74026 HAS SOUPS 72922 WITH SCORE 73067.636
AT ITER 3910 NEW BEST:: SOT 280737 SOS 145536 HAS SOPS 140391 HAS SOUS 73776 HAS SOUPS 72672 WITH SCORE 72817.536
AT ITER 3914 NEW BEST:: SOT 280716 SOS 145515 HAS SOPS 140388 HAS SOUS 73768 HAS SOUPS 72664 WITH SCORE 72809.515
AT ITER 3924 NEW BEST:: SOT 280655 SOS 145469 HAS SOPS 140342 HAS SOUS 73684 HAS SOUPS 72580 WITH SCORE 72725.469
AT ITER 3936 NEW BEST:: SOT 280640 SOS 145497 HAS SOPS 140370 HAS SOUS 73659 HAS SOUPS 72555 WITH SCORE 72700.497
AT ITER 3966 NEW BEST:: SOT 280637 SOS 145491 HAS SOPS 140364 HAS SOUS 73653 HAS SOUPS 72549 WITH SCORE 72694.491
AT ITER 4017 NEW BEST:: SOT 280636 SOS 145550 HAS SOPS 140423 HAS SOUS 73532 HAS SOUPS 72428 WITH SCORE 72573.55
AT ITER 4031 NEW BEST:: SOT 280623 SOS 145537 HAS SOPS 140410 HAS SOUS 73529 HAS SOUPS 72425 WITH SCORE 72570.537
AT ITER 4052 NEW BEST:: SOT 280622 SOS 145536 HAS SOPS 140409 HAS SOUS 73527 HAS SOUPS 72423 WITH SCORE 72568.536
AT ITER 4069 NEW BEST:: SOT 280591 SOS 145474 HAS SOPS 140347 HAS SOUS 73465 HAS SOUPS 72361 WITH SCORE 72506.474
AT ITER 4073 NEW BEST:: SOT 280739 SOS 145552 HAS SOPS 140425 HAS SOUS 73414 HAS SOUPS 72310 WITH SCORE 72455.552
AT ITER 4085 NEW BEST:: SOT 280720 SOS 145519 HAS SOPS 140392 HAS SOUS 73376 HAS SOUPS 72272 WITH SCORE 72417.519
AT ITER 4091 NEW BEST:: SOT 280638 SOS 145353 HAS SOPS 140142 HAS SOUS 73210 HAS SOUPS 72106 WITH SCORE 72251.353
AT ITER 4096 NEW BEST:: SOT 280698 SOS 145294 HAS SOPS 140083 HAS SOUS 72993 HAS SOUPS 71889 WITH SCORE 72034.294
AT ITER 4102 NEW BEST:: SOT 280755 SOS 145333 HAS SOPS 140122 HAS SOUS 72909 HAS SOUPS 71805 WITH SCORE 71950.333
AT ITER 4104 NEW BEST:: SOT 280753 SOS 145329 HAS SOPS 140118 HAS SOUS 72905 HAS SOUPS 71801 WITH SCORE 71946.329
AT ITER 4130 NEW BEST:: SOT 280750 SOS 145326 HAS SOPS 140115 HAS SOUS 72890 HAS SOUPS 71786 WITH SCORE 71931.326
AT ITER 4155 NEW BEST:: SOT 280564 SOS 145140 HAS SOPS 139929 HAS SOUS 72664 HAS SOUPS 71560 WITH SCORE 71705.14
AT ITER 4161 NEW BEST:: SOT 280473 SOS 145050 HAS SOPS 139839 HAS SOUS 72579 HAS SOUPS 71475 WITH SCORE 71620.05
AT ITER 4182 NEW BEST:: SOT 280452 SOS 145008 HAS SOPS 139797 HAS SOUS 72557 HAS SOUPS 71453 WITH SCORE 71598.008
AT ITER 4186 NEW BEST:: SOT 280451 SOS 144984 HAS SOPS 139773 HAS SOUS 72555 HAS SOUPS 71451 WITH SCORE 71595.984
AT ITER 4189 NEW BEST:: SOT 280450 SOS 144991 HAS SOPS 139780 HAS SOUS 72554 HAS SOUPS 71450 WITH SCORE 71594.991
AT ITER 4190 NEW BEST:: SOT 280432 SOS 144973 HAS SOPS 139744 HAS SOUS 72518 HAS SOUPS 71414 WITH SCORE 71558.973
AT ITER 4208 NEW BEST:: SOT 280398 SOS 144930 HAS SOPS 139701 HAS SOUS 72500 HAS SOUPS 71396 WITH SCORE 71540.93
AT ITER 4215 NEW BEST:: SOT 280371 SOS 144492 HAS SOPS 139257 HAS SOUS 72405 HAS SOUPS 71301 WITH SCORE 71445.492
AT ITER 4260 NEW BEST:: SOT 280362 SOS 144483 HAS SOPS 139248 HAS SOUS 72387 HAS SOUPS 71283 WITH SCORE 71427.483
AT ITER 4265 NEW BEST:: SOT 280365 SOS 144492 HAS SOPS 139257 HAS SOUS 72378 HAS SOUPS 71274 WITH SCORE 71418.492
AT ITER 4298 NEW BEST:: SOT 280361 SOS 144715 HAS SOPS 139480 HAS SOUS 72343 HAS SOUPS 71239 WITH SCORE 71383.715
AT ITER 4315 NEW BEST:: SOT 280348 SOS 144702 HAS SOPS 139467 HAS SOUS 72325 HAS SOUPS 71221 WITH SCORE 71365.702
AT ITER 4326 NEW BEST:: SOT 280346 SOS 144700 HAS SOPS 139465 HAS SOUS 72317 HAS SOUPS 71213 WITH SCORE 71357.7
AT ITER 4329 NEW BEST:: SOT 280313 SOS 144457 HAS SOPS 139222 HAS SOUS 72196 HAS SOUPS 71092 WITH SCORE 71236.457
AT ITER 4337 NEW BEST:: SOT 280306 SOS 144450 HAS SOPS 139215 HAS SOUS 72189 HAS SOUPS 71085 WITH SCORE 71229.45
AT ITER 4343 NEW BEST:: SOT 280307 SOS 144451 HAS SOPS 139216 HAS SOUS 72185 HAS SOUPS 71081 WITH SCORE 71225.451
AT ITER 4349 NEW BEST:: SOT 280277 SOS 144439 HAS SOPS 139204 HAS SOUS 72173 HAS SOUPS 71069 WITH SCORE 71213.439
AT ITER 4376 NEW BEST:: SOT 280261 SOS 144391 HAS SOPS 139156 HAS SOUS 72141 HAS SOUPS 71037 WITH SCORE 71181.391
AT ITER 4378 NEW BEST:: SOT 280209 SOS 144314 HAS SOPS 139079 HAS SOUS 72037 HAS SOUPS 70933 WITH SCORE 71077.314
AT ITER 4395 NEW BEST:: SOT 280148 SOS 144343 HAS SOPS 139108 HAS SOUS 71987 HAS SOUPS 70883 WITH SCORE 71027.343
AT ITER 4397 NEW BEST:: SOT 280131 SOS 144321 HAS SOPS 139086 HAS SOUS 71851 HAS SOUPS 70747 WITH SCORE 70891.321
AT ITER 4401 NEW BEST:: SOT 280229 SOS 144241 HAS SOPS 139006 HAS SOUS 71819 HAS SOUPS 70715 WITH SCORE 70859.241
AT ITER 4406 NEW BEST:: SOT 280219 SOS 144336 HAS SOPS 139101 HAS SOUS 71809 HAS SOUPS 70705 WITH SCORE 70849.336
AT ITER 4415 NEW BEST:: SOT 280219 SOS 144336 HAS SOPS 139101 HAS SOUS 71789 HAS SOUPS 70685 WITH SCORE 70829.336
AT ITER 4487 NEW BEST:: SOT 280097 SOS 144055 HAS SOPS 138820 HAS SOUS 71598 HAS SOUPS 70494 WITH SCORE 70638.055
AT ITER 4493 NEW BEST:: SOT 280063 SOS 144021 HAS SOPS 138786 HAS SOUS 71556 HAS SOUPS 70452 WITH SCORE 70596.021
AT ITER 4517 NEW BEST:: SOT 280199 SOS 144488 HAS SOPS 139253 HAS SOUS 71424 HAS SOUPS 70320 WITH SCORE 70464.488
AT ITER 4523 NEW BEST:: SOT 279959 SOS 138643 HAS SOPS 133408 HAS SOUS 71202 HAS SOUPS 70098 WITH SCORE 70236.643
AT ITER 4547 NEW BEST:: SOT 279960 SOS 138644 HAS SOPS 133409 HAS SOUS 71187 HAS SOUPS 70083 WITH SCORE 70221.644
AT ITER 4553 NEW BEST:: SOT 279924 SOS 138226 HAS SOPS 132991 HAS SOUS 71157 HAS SOUPS 70053 WITH SCORE 70191.226
AT ITER 4555 NEW BEST:: SOT 279923 SOS 138222 HAS SOPS 132987 HAS SOUS 71154 HAS SOUPS 70050 WITH SCORE 70188.222
AT ITER 4592 NEW BEST:: SOT 279888 SOS 138282 HAS SOPS 133047 HAS SOUS 71035 HAS SOUPS 69931 WITH SCORE 70069.282
AT ITER 4602 NEW BEST:: SOT 279874 SOS 138268 HAS SOPS 133033 HAS SOUS 71007 HAS SOUPS 69903 WITH SCORE 70041.268
AT ITER 4618 NEW BEST:: SOT 280065 SOS 138417 HAS SOPS 133182 HAS SOUS 70944 HAS SOUPS 69840 WITH SCORE 69978.417
AT ITER 4626 NEW BEST:: SOT 280071 SOS 138603 HAS SOPS 133368 HAS SOUS 70925 HAS SOUPS 69821 WITH SCORE 69959.603
AT ITER 4633 NEW BEST:: SOT 279988 SOS 138462 HAS SOPS 133227 HAS SOUS 70875 HAS SOUPS 69771 WITH SCORE 69909.462
AT ITER 4653 NEW BEST:: SOT 280029 SOS 138466 HAS SOPS 133231 HAS SOUS 70748 HAS SOUPS 69644 WITH SCORE 69782.466
AT ITER 4663 NEW BEST:: SOT 279955 SOS 138356 HAS SOPS 133121 HAS SOUS 70698 HAS SOUPS 69594 WITH SCORE 69732.356
AT ITER 4667 NEW BEST:: SOT 280004 SOS 138726 HAS SOPS 133491 HAS SOUS 70544 HAS SOUPS 69440 WITH SCORE 69578.726
AT ITER 4681 NEW BEST:: SOT 279944 SOS 138606 HAS SOPS 133371 HAS SOUS 70424 HAS SOUPS 69320 WITH SCORE 69458.606
AT ITER 4684 NEW BEST:: SOT 279920 SOS 138652 HAS SOPS 133397 HAS SOUS 70421 HAS SOUPS 69312 WITH SCORE 69450.652
AT ITER 4698 NEW BEST:: SOT 279920 SOS 138652 HAS SOPS 133397 HAS SOUS 70419 HAS SOUPS 69310 WITH SCORE 69448.652
AT ITER 4711 NEW BEST:: SOT 279946 SOS 138661 HAS SOPS 133406 HAS SOUS 70379 HAS SOUPS 69270 WITH SCORE 69408.661
AT ITER 4731 NEW BEST:: SOT 279947 SOS 138637 HAS SOPS 133382 HAS SOUS 70375 HAS SOUPS 69266 WITH SCORE 69404.637
AT ITER 4737 NEW BEST:: SOT 279853 SOS 138495 HAS SOPS 133240 HAS SOUS 70077 HAS SOUPS 68968 WITH SCORE 69106.495
AT ITER 4751 NEW BEST:: SOT 279838 SOS 138465 HAS SOPS 133210 HAS SOUS 70050 HAS SOUPS 68941 WITH SCORE 69079.465
AT ITER 4752 NEW BEST:: SOT 279817 SOS 138423 HAS SOPS 133168 HAS SOUS 70012 HAS SOUPS 68903 WITH SCORE 69041.423
AT ITER 4784 NEW BEST:: SOT 279713 SOS 138301 HAS SOPS 133046 HAS SOUS 69740 HAS SOUPS 68631 WITH SCORE 68769.301
AT ITER 4835 NEW BEST:: SOT 279704 SOS 138310 HAS SOPS 133055 HAS SOUS 69713 HAS SOUPS 68604 WITH SCORE 68742.31
AT ITER 4838 NEW BEST:: SOT 279697 SOS 138296 HAS SOPS 133041 HAS SOUS 69699 HAS SOUPS 68590 WITH SCORE 68728.296
AT ITER 4845 NEW BEST:: SOT 279575 SOS 138135 HAS SOPS 132880 HAS SOUS 69645 HAS SOUPS 68536 WITH SCORE 68674.135
AT ITER 4860 NEW BEST:: SOT 279591 SOS 138151 HAS SOPS 132896 HAS SOUS 69635 HAS SOUPS 68526 WITH SCORE 68664.151
AT ITER 4862 NEW BEST:: SOT 279513 SOS 138073 HAS SOPS 132818 HAS SOUS 69484 HAS SOUPS 68375 WITH SCORE 68513.073
AT ITER 4877 NEW BEST:: SOT 279499 SOS 138059 HAS SOPS 132804 HAS SOUS 69449 HAS SOUPS 68340 WITH SCORE 68478.059
AT ITER 4896 NEW BEST:: SOT 279499 SOS 138059 HAS SOPS 132804 HAS SOUS 69439 HAS SOUPS 68330 WITH SCORE 68468.059
AT ITER 4906 NEW BEST:: SOT 279489 SOS 138039 HAS SOPS 132784 HAS SOUS 69427 HAS SOUPS 68318 WITH SCORE 68456.039
AT ITER 4920 NEW BEST:: SOT 279515 SOS 138065 HAS SOPS 132810 HAS SOUS 69413 HAS SOUPS 68304 WITH SCORE 68442.065
AT ITER 4927 NEW BEST:: SOT 279538 SOS 138227 HAS SOPS 132972 HAS SOUS 69353 HAS SOUPS 68244 WITH SCORE 68382.227
AT ITER 4955 NEW BEST:: SOT 279554 SOS 138212 HAS SOPS 132957 HAS SOUS 69338 HAS SOUPS 68229 WITH SCORE 68367.212
AT ITER 4963 NEW BEST:: SOT 279454 SOS 138043 HAS SOPS 132788 HAS SOUS 69201 HAS SOUPS 68092 WITH SCORE 68230.043
AT ITER 4978 NEW BEST:: SOT 279470 SOS 138022 HAS SOPS 132767 HAS SOUS 69180 HAS SOUPS 68071 WITH SCORE 68209.022
AT ITER 5010 NEW BEST:: SOT 279427 SOS 137979 HAS SOPS 132712 HAS SOUS 69104 HAS SOUPS 67990 WITH SCORE 68127.979
AT ITER 5012 NEW BEST:: SOT 279415 SOS 137967 HAS SOPS 132700 HAS SOUS 69092 HAS SOUPS 67978 WITH SCORE 68115.967
AT ITER 5016 NEW BEST:: SOT 279449 SOS 138166 HAS SOPS 132899 HAS SOUS 69070 HAS SOUPS 67956 WITH SCORE 68094.166
AT ITER 5023 NEW BEST:: SOT 279439 SOS 138146 HAS SOPS 132879 HAS SOUS 69070 HAS SOUPS 67956 WITH SCORE 68094.146
AT ITER 5031 NEW BEST:: SOT 279426 SOS 138110 HAS SOPS 132843 HAS SOUS 69044 HAS SOUPS 67930 WITH SCORE 68068.11
AT ITER 5044 NEW BEST:: SOT 279389 SOS 138126 HAS SOPS 132859 HAS SOUS 69038 HAS SOUPS 67924 WITH SCORE 68062.126
AT ITER 5054 NEW BEST:: SOT 279322 SOS 138264 HAS SOPS 132997 HAS SOUS 68978 HAS SOUPS 67864 WITH SCORE 68002.264
AT ITER 5056 NEW BEST:: SOT 279410 SOS 138352 HAS SOPS 133085 HAS SOUS 68708 HAS SOUPS 67594 WITH SCORE 67732.352
AT ITER 5077 NEW BEST:: SOT 279394 SOS 138336 HAS SOPS 133069 HAS SOUS 68686 HAS SOUPS 67572 WITH SCORE 67710.336
AT ITER 5096 NEW BEST:: SOT 279233 SOS 138092 HAS SOPS 132825 HAS SOUS 68372 HAS SOUPS 67258 WITH SCORE 67396.092
AT ITER 5122 NEW BEST:: SOT 279231 SOS 138066 HAS SOPS 132799 HAS SOUS 68358 HAS SOUPS 67244 WITH SCORE 67382.066
AT ITER 5124 NEW BEST:: SOT 279224 SOS 138045 HAS SOPS 132778 HAS SOUS 68344 HAS SOUPS 67230 WITH SCORE 67368.045
AT ITER 5130 NEW BEST:: SOT 279128 SOS 137922 HAS SOPS 132655 HAS SOUS 68194 HAS SOUPS 67080 WITH SCORE 67217.922
AT ITER 5134 NEW BEST:: SOT 279128 SOS 137944 HAS SOPS 132677 HAS SOUS 68192 HAS SOUPS 67078 WITH SCORE 67215.944
AT ITER 5136 NEW BEST:: SOT 279127 SOS 137943 HAS SOPS 132676 HAS SOUS 68192 HAS SOUPS 67078 WITH SCORE 67215.943
AT ITER 5157 NEW BEST:: SOT 279119 SOS 137936 HAS SOPS 132669 HAS SOUS 68185 HAS SOUPS 67071 WITH SCORE 67208.936
AT ITER 5161 NEW BEST:: SOT 279117 SOS 137936 HAS SOPS 132669 HAS SOUS 68181 HAS SOUPS 67067 WITH SCORE 67204.936
AT ITER 5198 NEW BEST:: SOT 279140 SOS 137828 HAS SOPS 132561 HAS SOUS 68073 HAS SOUPS 66959 WITH SCORE 67096.828
AT ITER 5207 NEW BEST:: SOT 279140 SOS 137821 HAS SOPS 132554 HAS SOUS 68060 HAS SOUPS 66946 WITH SCORE 67083.821
AT ITER 5212 NEW BEST:: SOT 279127 SOS 137792 HAS SOPS 132525 HAS SOUS 68047 HAS SOUPS 66933 WITH SCORE 67070.792
AT ITER 5213 NEW BEST:: SOT 279127 SOS 137792 HAS SOPS 132523 HAS SOUS 68045 HAS SOUPS 66931 WITH SCORE 67068.792
AT ITER 5231 NEW BEST:: SOT 279117 SOS 137782 HAS SOPS 132513 HAS SOUS 68032 HAS SOUPS 66918 WITH SCORE 67055.782
AT ITER 5257 NEW BEST:: SOT 279016 SOS 137633 HAS SOPS 132364 HAS SOUS 67843 HAS SOUPS 66729 WITH SCORE 66866.633
AT ITER 5309 NEW BEST:: SOT 278972 SOS 137578 HAS SOPS 132309 HAS SOUS 67813 HAS SOUPS 66699 WITH SCORE 66836.578
AT ITER 5316 NEW BEST:: SOT 278960 SOS 137566 HAS SOPS 132297 HAS SOUS 67789 HAS SOUPS 66675 WITH SCORE 66812.566
AT ITER 5323 NEW BEST:: SOT 278932 SOS 137648 HAS SOPS 132379 HAS SOUS 67721 HAS SOUPS 66607 WITH SCORE 66744.648
AT ITER 5351 NEW BEST:: SOT 278954 SOS 137682 HAS SOPS 132413 HAS SOUS 67719 HAS SOUPS 66605 WITH SCORE 66742.682
AT ITER 5395 NEW BEST:: SOT 278938 SOS 137666 HAS SOPS 132397 HAS SOUS 67687 HAS SOUPS 66573 WITH SCORE 66710.666
AT ITER 5435 NEW BEST:: SOT 278918 SOS 137616 HAS SOPS 132332 HAS SOUS 67637 HAS SOUPS 66523 WITH SCORE 66660.616
AT ITER 5448 NEW BEST:: SOT 278725 SOS 137590 HAS SOPS 132306 HAS SOUS 67251 HAS SOUPS 66137 WITH SCORE 66274.59
AT ITER 5458 NEW BEST:: SOT 278664 SOS 137526 HAS SOPS 132242 HAS SOUS 67068 HAS SOUPS 65954 WITH SCORE 66091.526
AT ITER 5465 NEW BEST:: SOT 278684 SOS 137546 HAS SOPS 132262 HAS SOUS 67047 HAS SOUPS 65933 WITH SCORE 66070.546
AT ITER 5480 NEW BEST:: SOT 278565 SOS 137427 HAS SOPS 132143 HAS SOUS 66928 HAS SOUPS 65814 WITH SCORE 65951.427
AT ITER 5493 NEW BEST:: SOT 278552 SOS 137427 HAS SOPS 132143 HAS SOUS 66915 HAS SOUPS 65801 WITH SCORE 65938.427
AT ITER 5507 NEW BEST:: SOT 278503 SOS 137231 HAS SOPS 131947 HAS SOUS 66866 HAS SOUPS 65752 WITH SCORE 65889.231
AT ITER 5525 NEW BEST:: SOT 278434 SOS 137456 HAS SOPS 132172 HAS SOUS 66699 HAS SOUPS 65585 WITH SCORE 65722.456
AT ITER 5542 NEW BEST:: SOT 278445 SOS 137478 HAS SOPS 132194 HAS SOUS 66686 HAS SOUPS 65572 WITH SCORE 65709.478
AT ITER 5547 NEW BEST:: SOT 278431 SOS 137468 HAS SOPS 132184 HAS SOUS 66672 HAS SOUPS 65558 WITH SCORE 65695.468
AT ITER 5564 NEW BEST:: SOT 278429 SOS 137466 HAS SOPS 132182 HAS SOUS 66668 HAS SOUPS 65554 WITH SCORE 65691.466
AT ITER 5579 NEW BEST:: SOT 278428 SOS 137465 HAS SOPS 132168 HAS SOUS 66655 HAS SOUPS 65541 WITH SCORE 65678.465
AT ITER 5619 NEW BEST:: SOT 278437 SOS 137474 HAS SOPS 132151 HAS SOUS 66642 HAS SOUPS 65513 WITH SCORE 65650.474
AT ITER 5671 NEW BEST:: SOT 278548 SOS 137776 HAS SOPS 132453 HAS SOUS 66616 HAS SOUPS 65487 WITH SCORE 65624.776
AT ITER 5678 NEW BEST:: SOT 278545 SOS 137773 HAS SOPS 132450 HAS SOUS 66601 HAS SOUPS 65472 WITH SCORE 65609.773
AT ITER 5691 NEW BEST:: SOT 278534 SOS 137751 HAS SOPS 132428 HAS SOUS 66579 HAS SOUPS 65450 WITH SCORE 65587.751
AT ITER 5705 NEW BEST:: SOT 278534 SOS 137727 HAS SOPS 132404 HAS SOUS 66579 HAS SOUPS 65450 WITH SCORE 65587.727
AT ITER 5715 NEW BEST:: SOT 278521 SOS 137984 HAS SOPS 132661 HAS SOUS 66553 HAS SOUPS 65424 WITH SCORE 65561.984
AT ITER 5725 NEW BEST:: SOT 278502 SOS 137965 HAS SOPS 132642 HAS SOUS 66515 HAS SOUPS 65386 WITH SCORE 65523.965
AT ITER 5741 NEW BEST:: SOT 278497 SOS 137960 HAS SOPS 132637 HAS SOUS 66500 HAS SOUPS 65371 WITH SCORE 65508.96
AT ITER 5753 NEW BEST:: SOT 278495 SOS 137978 HAS SOPS 132655 HAS SOUS 66458 HAS SOUPS 65329 WITH SCORE 65466.978
AT ITER 5771 NEW BEST:: SOT 278477 SOS 137820 HAS SOPS 132497 HAS SOUS 66422 HAS SOUPS 65293 WITH SCORE 65430.82
AT ITER 5773 NEW BEST:: SOT 278470 SOS 138077 HAS SOPS 132754 HAS SOUS 66413 HAS SOUPS 65284 WITH SCORE 65422.077
AT ITER 5787 NEW BEST:: SOT 278470 SOS 138347 HAS SOPS 133024 HAS SOUS 66233 HAS SOUPS 65104 WITH SCORE 65242.347
AT ITER 5810 NEW BEST:: SOT 278428 SOS 138315 HAS SOPS 132992 HAS SOUS 66198 HAS SOUPS 65069 WITH SCORE 65207.315
AT ITER 5818 NEW BEST:: SOT 278424 SOS 138307 HAS SOPS 132984 HAS SOUS 66194 HAS SOUPS 65065 WITH SCORE 65203.307
AT ITER 5819 NEW BEST:: SOT 278353 SOS 138194 HAS SOPS 132871 HAS SOUS 66109 HAS SOUPS 64980 WITH SCORE 65118.194
AT ITER 5839 NEW BEST:: SOT 278348 SOS 138189 HAS SOPS 132866 HAS SOUS 66099 HAS SOUPS 64970 WITH SCORE 65108.189
AT ITER 5863 NEW BEST:: SOT 278337 SOS 138149 HAS SOPS 132826 HAS SOUS 66077 HAS SOUPS 64948 WITH SCORE 65086.149
AT ITER 5883 NEW BEST:: SOT 278247 SOS 137567 HAS SOPS 132244 HAS SOUS 65940 HAS SOUPS 64811 WITH SCORE 64948.567
AT ITER 5937 NEW BEST:: SOT 278263 SOS 137583 HAS SOPS 132260 HAS SOUS 65806 HAS SOUPS 64677 WITH SCORE 64814.583
AT ITER 5941 NEW BEST:: SOT 278272 SOS 137580 HAS SOPS 132257 HAS SOUS 65803 HAS SOUPS 64674 WITH SCORE 64811.58
AT ITER 5947 NEW BEST:: SOT 278266 SOS 137556 HAS SOPS 132233 HAS SOUS 65803 HAS SOUPS 64674 WITH SCORE 64811.556
AT ITER 5956 NEW BEST:: SOT 278236 SOS 137516 HAS SOPS 132193 HAS SOUS 65763 HAS SOUPS 64634 WITH SCORE 64771.516
AT ITER 5986 NEW BEST:: SOT 278280 SOS 137582 HAS SOPS 132259 HAS SOUS 65741 HAS SOUPS 64612 WITH SCORE 64749.582
AT ITER 6001 NEW BEST:: SOT 278280 SOS 137582 HAS SOPS 132259 HAS SOUS 65727 HAS SOUPS 64598 WITH SCORE 64735.582
AT ITER 6010 NEW BEST:: SOT 278077 SOS 137379 HAS SOPS 132056 HAS SOUS 65514 HAS SOUPS 64385 WITH SCORE 64522.379
AT ITER 6012 NEW BEST:: SOT 278094 SOS 137337 HAS SOPS 132014 HAS SOUS 65502 HAS SOUPS 64373 WITH SCORE 64510.337
AT ITER 6015 NEW BEST:: SOT 277764 SOS 137094 HAS SOPS 131597 HAS SOUS 65232 HAS SOUPS 64074 WITH SCORE 64211.094
AT ITER 6028 NEW BEST:: SOT 277763 SOS 137067 HAS SOPS 131570 HAS SOUS 65205 HAS SOUPS 64047 WITH SCORE 64184.067
AT ITER 6063 NEW BEST:: SOT 277738 SOS 137132 HAS SOPS 131635 HAS SOUS 65166 HAS SOUPS 64008 WITH SCORE 64145.132
AT ITER 6095 NEW BEST:: SOT 277656 SOS 136968 HAS SOPS 131471 HAS SOUS 65043 HAS SOUPS 63885 WITH SCORE 64021.968
AT ITER 6112 NEW BEST:: SOT 277656 SOS 136320 HAS SOPS 130823 HAS SOUS 65043 HAS SOUPS 63885 WITH SCORE 64021.32
AT ITER 6117 NEW BEST:: SOT 277654 SOS 136318 HAS SOPS 130821 HAS SOUS 65039 HAS SOUPS 63881 WITH SCORE 64017.318
AT ITER 6156 NEW BEST:: SOT 277636 SOS 136282 HAS SOPS 130785 HAS SOUS 65002 HAS SOUPS 63844 WITH SCORE 63980.282
AT ITER 6190 NEW BEST:: SOT 277635 SOS 136281 HAS SOPS 130784 HAS SOUS 65000 HAS SOUPS 63842 WITH SCORE 63978.281
AT ITER 6225 NEW BEST:: SOT 277676 SOS 136331 HAS SOPS 130834 HAS SOUS 64980 HAS SOUPS 63822 WITH SCORE 63958.331
AT ITER 6237 NEW BEST:: SOT 277676 SOS 136331 HAS SOPS 130834 HAS SOUS 64972 HAS SOUPS 63814 WITH SCORE 63950.331
AT ITER 6275 NEW BEST:: SOT 277668 SOS 136314 HAS SOPS 130817 HAS SOUS 64948 HAS SOUPS 63790 WITH SCORE 63926.314
AT ITER 6284 NEW BEST:: SOT 277653 SOS 136249 HAS SOPS 130752 HAS SOUS 64918 HAS SOUPS 63760 WITH SCORE 63896.249
AT ITER 6295 NEW BEST:: SOT 277574 SOS 135998 HAS SOPS 130501 HAS SOUS 64902 HAS SOUPS 63744 WITH SCORE 63879.998
AT ITER 6331 NEW BEST:: SOT 277583 SOS 136142 HAS SOPS 130645 HAS SOUS 64834 HAS SOUPS 63676 WITH SCORE 63812.142
AT ITER 6339 NEW BEST:: SOT 277583 SOS 136076 HAS SOPS 130579 HAS SOUS 64772 HAS SOUPS 63614 WITH SCORE 63750.076
AT ITER 6346 NEW BEST:: SOT 277528 SOS 136021 HAS SOPS 130524 HAS SOUS 64717 HAS SOUPS 63559 WITH SCORE 63695.021
AT ITER 6382 NEW BEST:: SOT 277488 SOS 136061 HAS SOPS 130564 HAS SOUS 64597 HAS SOUPS 63439 WITH SCORE 63575.061
AT ITER 6394 NEW BEST:: SOT 277438 SOS 136011 HAS SOPS 130514 HAS SOUS 64561 HAS SOUPS 63403 WITH SCORE 63539.011
AT ITER 6404 NEW BEST:: SOT 277417 SOS 135962 HAS SOPS 130465 HAS SOUS 64533 HAS SOUPS 63375 WITH SCORE 63510.962
AT ITER 6415 NEW BEST:: SOT 277408 SOS 135953 HAS SOPS 130456 HAS SOUS 64497 HAS SOUPS 63339 WITH SCORE 63474.953
AT ITER 6416 NEW BEST:: SOT 277316 SOS 135947 HAS SOPS 130450 HAS SOUS 64420 HAS SOUPS 63262 WITH SCORE 63397.947
AT ITER 6426 NEW BEST:: SOT 277308 SOS 135931 HAS SOPS 130434 HAS SOUS 64404 HAS SOUPS 63246 WITH SCORE 63381.931
AT ITER 6430 NEW BEST:: SOT 277271 SOS 135881 HAS SOPS 130384 HAS SOUS 64383 HAS SOUPS 63225 WITH SCORE 63360.881
AT ITER 6456 NEW BEST:: SOT 277268 SOS 135875 HAS SOPS 130378 HAS SOUS 64377 HAS SOUPS 63219 WITH SCORE 63354.875
AT ITER 6467 NEW BEST:: SOT 277207 SOS 135779 HAS SOPS 130282 HAS SOUS 64365 HAS SOUPS 63207 WITH SCORE 63342.779
AT ITER 6476 NEW BEST:: SOT 277210 SOS 135782 HAS SOPS 130285 HAS SOUS 64351 HAS SOUPS 63193 WITH SCORE 63328.782
AT ITER 6512 NEW BEST:: SOT 277210 SOS 136160 HAS SOPS 130663 HAS SOUS 64340 HAS SOUPS 63182 WITH SCORE 63318.16
AT ITER 6520 NEW BEST:: SOT 277208 SOS 136136 HAS SOPS 130639 HAS SOUS 64338 HAS SOUPS 63180 WITH SCORE 63316.136
AT ITER 6525 NEW BEST:: SOT 277249 SOS 136177 HAS SOPS 130680 HAS SOUS 64282 HAS SOUPS 63124 WITH SCORE 63260.177
AT ITER 6530 NEW BEST:: SOT 277219 SOS 136147 HAS SOPS 130650 HAS SOUS 64254 HAS SOUPS 63096 WITH SCORE 63232.147
AT ITER 6531 NEW BEST:: SOT 277201 SOS 136094 HAS SOPS 130538 HAS SOUS 64170 HAS SOUPS 63012 WITH SCORE 63148.094
AT ITER 6580 NEW BEST:: SOT 277202 SOS 136122 HAS SOPS 130566 HAS SOUS 64164 HAS SOUPS 63006 WITH SCORE 63142.122
AT ITER 6648 NEW BEST:: SOT 277202 SOS 135662 HAS SOPS 130106 HAS SOUS 64164 HAS SOUPS 63006 WITH SCORE 63141.662
AT ITER 6666 NEW BEST:: SOT 277167 SOS 135486 HAS SOPS 129930 HAS SOUS 64061 HAS SOUPS 62903 WITH SCORE 63038.486
AT ITER 6675 NEW BEST:: SOT 277136 SOS 135531 HAS SOPS 129975 HAS SOUS 63991 HAS SOUPS 62833 WITH SCORE 62968.531
AT ITER 6676 NEW BEST:: SOT 277136 SOS 135571 HAS SOPS 130015 HAS SOUS 63951 HAS SOUPS 62793 WITH SCORE 62928.571
AT ITER 6718 NEW BEST:: SOT 277140 SOS 135575 HAS SOPS 130019 HAS SOUS 63946 HAS SOUPS 62788 WITH SCORE 62923.575
AT ITER 6726 NEW BEST:: SOT 277091 SOS 135502 HAS SOPS 129658 HAS SOUS 63918 HAS SOUPS 62712 WITH SCORE 62847.502
AT ITER 6734 NEW BEST:: SOT 277035 SOS 135418 HAS SOPS 129574 HAS SOUS 63834 HAS SOUPS 62628 WITH SCORE 62763.418
AT ITER 6742 NEW BEST:: SOT 276910 SOS 135293 HAS SOPS 129449 HAS SOUS 63707 HAS SOUPS 62501 WITH SCORE 62636.293
AT ITER 6755 NEW BEST:: SOT 276907 SOS 135324 HAS SOPS 129480 HAS SOUS 63697 HAS SOUPS 62491 WITH SCORE 62626.324
AT ITER 6791 NEW BEST:: SOT 276905 SOS 135318 HAS SOPS 129474 HAS SOUS 63697 HAS SOUPS 62491 WITH SCORE 62626.318
AT ITER 6810 NEW BEST:: SOT 276926 SOS 135328 HAS SOPS 129484 HAS SOUS 63681 HAS SOUPS 62475 WITH SCORE 62610.328
AT ITER 6821 NEW BEST:: SOT 276940 SOS 135342 HAS SOPS 129498 HAS SOUS 63659 HAS SOUPS 62453 WITH SCORE 62588.342
AT ITER 6827 NEW BEST:: SOT 276810 SOS 134970 HAS SOPS 129126 HAS SOUS 63617 HAS SOUPS 62411 WITH SCORE 62545.97
AT ITER 6832 NEW BEST:: SOT 276819 SOS 134979 HAS SOPS 129135 HAS SOUS 63598 HAS SOUPS 62392 WITH SCORE 62526.979
AT ITER 6847 NEW BEST:: SOT 276658 SOS 134772 HAS SOPS 128928 HAS SOUS 63462 HAS SOUPS 62256 WITH SCORE 62390.772
AT ITER 6856 NEW BEST:: SOT 276571 SOS 134760 HAS SOPS 128916 HAS SOUS 63288 HAS SOUPS 62082 WITH SCORE 62216.76
AT ITER 6865 NEW BEST:: SOT 276585 SOS 134747 HAS SOPS 128551 HAS SOUS 63349 HAS SOUPS 62069 WITH SCORE 62203.747
AT ITER 6878 NEW BEST:: SOT 276568 SOS 134713 HAS SOPS 128517 HAS SOUS 63330 HAS SOUPS 62050 WITH SCORE 62184.713
AT ITER 6889 NEW BEST:: SOT 276568 SOS 134683 HAS SOPS 128487 HAS SOUS 63330 HAS SOUPS 62050 WITH SCORE 62184.683
AT ITER 6916 NEW BEST:: SOT 276568 SOS 134665 HAS SOPS 128469 HAS SOUS 63330 HAS SOUPS 62050 WITH SCORE 62184.665
AT ITER 6965 NEW BEST:: SOT 276568 SOS 134683 HAS SOPS 128487 HAS SOUS 63321 HAS SOUPS 62041 WITH SCORE 62175.683
AT ITER 6975 NEW BEST:: SOT 276568 SOS 134373 HAS SOPS 128177 HAS SOUS 63272 HAS SOUPS 61992 WITH SCORE 62126.373
AT ITER 7015 NEW BEST:: SOT 276488 SOS 134288 HAS SOPS 128092 HAS SOUS 63177 HAS SOUPS 61897 WITH SCORE 62031.288
AT ITER 7028 NEW BEST:: SOT 276464 SOS 134264 HAS SOPS 128068 HAS SOUS 63135 HAS SOUPS 61855 WITH SCORE 61989.264
AT ITER 7076 NEW BEST:: SOT 276440 SOS 134016 HAS SOPS 127820 HAS SOUS 63111 HAS SOUPS 61831 WITH SCORE 61965.016
AT ITER 7091 NEW BEST:: SOT 276426 SOS 133988 HAS SOPS 127792 HAS SOUS 63083 HAS SOUPS 61803 WITH SCORE 61936.988
AT ITER 7101 NEW BEST:: SOT 276426 SOS 130667 HAS SOPS 124471 HAS SOUS 63083 HAS SOUPS 61803 WITH SCORE 61933.667
AT ITER 7131 NEW BEST:: SOT 276418 SOS 130649 HAS SOPS 124453 HAS SOUS 63079 HAS SOUPS 61799 WITH SCORE 61929.649
AT ITER 7133 NEW BEST:: SOT 276428 SOS 130752 HAS SOPS 124556 HAS SOUS 63069 HAS SOUPS 61789 WITH SCORE 61919.752
AT ITER 7143 NEW BEST:: SOT 276428 SOS 130712 HAS SOPS 124516 HAS SOUS 63069 HAS SOUPS 61789 WITH SCORE 61919.712
AT ITER 7165 NEW BEST:: SOT 276420 SOS 130672 HAS SOPS 124476 HAS SOUS 63053 HAS SOUPS 61773 WITH SCORE 61903.672
AT ITER 7171 NEW BEST:: SOT 276405 SOS 130627 HAS SOPS 124431 HAS SOUS 63023 HAS SOUPS 61743 WITH SCORE 61873.627
AT ITER 7172 NEW BEST:: SOT 276402 SOS 130624 HAS SOPS 124436 HAS SOUS 63023 HAS SOUPS 61743 WITH SCORE 61873.624
AT ITER 7175 NEW BEST:: SOT 276400 SOS 130612 HAS SOPS 124424 HAS SOUS 63021 HAS SOUPS 61741 WITH SCORE 61871.612
AT ITER 7218 NEW BEST:: SOT 276357 SOS 130633 HAS SOPS 124445 HAS SOUS 62961 HAS SOUPS 61681 WITH SCORE 61811.633
AT ITER 7243 NEW BEST:: SOT 276342 SOS 130603 HAS SOPS 124415 HAS SOUS 62931 HAS SOUPS 61651 WITH SCORE 61781.603
AT ITER 7247 NEW BEST:: SOT 276334 SOS 130595 HAS SOPS 124407 HAS SOUS 62899 HAS SOUPS 61619 WITH SCORE 61749.595
AT ITER 7290 NEW BEST:: SOT 276297 SOS 130567 HAS SOPS 124379 HAS SOUS 62779 HAS SOUPS 61499 WITH SCORE 61629.567
AT ITER 7311 NEW BEST:: SOT 276295 SOS 130564 HAS SOPS 124376 HAS SOUS 62777 HAS SOUPS 61497 WITH SCORE 61627.564
AT ITER 7373 NEW BEST:: SOT 276135 SOS 130456 HAS SOPS 124268 HAS SOUS 62710 HAS SOUPS 61430 WITH SCORE 61560.456
AT ITER 7391 NEW BEST:: SOT 276090 SOS 130499 HAS SOPS 124311 HAS SOUS 62606 HAS SOUPS 61326 WITH SCORE 61456.499
AT ITER 7449 NEW BEST:: SOT 276027 SOS 130456 HAS SOPS 124318 HAS SOUS 62593 HAS SOUPS 61313 WITH SCORE 61443.456
AT ITER 7459 NEW BEST:: SOT 276027 SOS 130086 HAS SOPS 123948 HAS SOUS 62582 HAS SOUPS 61302 WITH SCORE 61432.086
AT ITER 7517 NEW BEST:: SOT 275996 SOS 130015 HAS SOPS 123877 HAS SOUS 62490 HAS SOUPS 61210 WITH SCORE 61340.015
AT ITER 7549 NEW BEST:: SOT 275973 SOS 129992 HAS SOPS 123854 HAS SOUS 62463 HAS SOUPS 61183 WITH SCORE 61312.992
AT ITER 7573 NEW BEST:: SOT 275862 SOS 129888 HAS SOPS 123715 HAS SOUS 62355 HAS SOUPS 61044 WITH SCORE 61173.888
AT ITER 7593 NEW BEST:: SOT 275804 SOS 129772 HAS SOPS 123599 HAS SOUS 62239 HAS SOUPS 60928 WITH SCORE 61057.772
AT ITER 7610 NEW BEST:: SOT 275799 SOS 129772 HAS SOPS 123599 HAS SOUS 62224 HAS SOUPS 60913 WITH SCORE 61042.772
AT ITER 7625 NEW BEST:: SOT 275794 SOS 129772 HAS SOPS 123599 HAS SOUS 62214 HAS SOUPS 60903 WITH SCORE 61032.772
AT ITER 7627 NEW BEST:: SOT 275813 SOS 129789 HAS SOPS 123616 HAS SOUS 62210 HAS SOUPS 60899 WITH SCORE 61028.789
AT ITER 7634 NEW BEST:: SOT 275820 SOS 129751 HAS SOPS 123578 HAS SOUS 62209 HAS SOUPS 60898 WITH SCORE 61027.751
AT ITER 7688 NEW BEST:: SOT 275758 SOS 129599 HAS SOPS 123426 HAS SOUS 62176 HAS SOUPS 60865 WITH SCORE 60994.599
AT ITER 7718 NEW BEST:: SOT 275758 SOS 129601 HAS SOPS 123428 HAS SOUS 62175 HAS SOUPS 60864 WITH SCORE 60993.601
AT ITER 7761 NEW BEST:: SOT 275754 SOS 129597 HAS SOPS 123424 HAS SOUS 62170 HAS SOUPS 60859 WITH SCORE 60988.597
AT ITER 7788 NEW BEST:: SOT 275734 SOS 129577 HAS SOPS 123404 HAS SOUS 62130 HAS SOUPS 60819 WITH SCORE 60948.577
AT ITER 7792 NEW BEST:: SOT 275734 SOS 129577 HAS SOPS 123404 HAS SOUS 62108 HAS SOUPS 60797 WITH SCORE 60926.577
AT ITER 7799 NEW BEST:: SOT 275724 SOS 129555 HAS SOPS 123382 HAS SOUS 62088 HAS SOUPS 60777 WITH SCORE 60906.555
AT ITER 7804 NEW BEST:: SOT 275695 SOS 129510 HAS SOPS 123337 HAS SOUS 62060 HAS SOUPS 60749 WITH SCORE 60878.51
AT ITER 7817 NEW BEST:: SOT 275653 SOS 129468 HAS SOPS 123295 HAS SOUS 62018 HAS SOUPS 60707 WITH SCORE 60836.468
AT ITER 7871 NEW BEST:: SOT 275653 SOS 129160 HAS SOPS 122987 HAS SOUS 62018 HAS SOUPS 60707 WITH SCORE 60836.16
AT ITER 7955 NEW BEST:: SOT 275643 SOS 129242 HAS SOPS 123069 HAS SOUS 62004 HAS SOUPS 60693 WITH SCORE 60822.242
AT ITER 7978 NEW BEST:: SOT 275580 SOS 129254 HAS SOPS 123081 HAS SOUS 61979 HAS SOUPS 60668 WITH SCORE 60797.254
AT ITER 8039 NEW BEST:: SOT 275576 SOS 129250 HAS SOPS 123077 HAS SOUS 61972 HAS SOUPS 60661 WITH SCORE 60790.25
AT ITER 8067 NEW BEST:: SOT 275569 SOS 129243 HAS SOPS 123070 HAS SOUS 61958 HAS SOUPS 60647 WITH SCORE 60776.243
AT ITER 8086 NEW BEST:: SOT 275544 SOS 129173 HAS SOPS 123000 HAS SOUS 61918 HAS SOUPS 60607 WITH SCORE 60736.173
AT ITER 8134 NEW BEST:: SOT 275534 SOS 129158 HAS SOPS 122985 HAS SOUS 61908 HAS SOUPS 60597 WITH SCORE 60726.158
AT ITER 8178 NEW BEST:: SOT 275532 SOS 129156 HAS SOPS 122983 HAS SOUS 61906 HAS SOUPS 60595 WITH SCORE 60724.156
AT ITER 8223 NEW BEST:: SOT 275530 SOS 129154 HAS SOPS 122981 HAS SOUS 61905 HAS SOUPS 60594 WITH SCORE 60723.154
AT ITER 8241 NEW BEST:: SOT 275528 SOS 129148 HAS SOPS 123054 HAS SOUS 61901 HAS SOUPS 60590 WITH SCORE 60719.148
AT ITER 8247 NEW BEST:: SOT 275529 SOS 129157 HAS SOPS 123063 HAS SOUS 61899 HAS SOUPS 60588 WITH SCORE 60717.157
AT ITER 8281 NEW BEST:: SOT 275520 SOS 129148 HAS SOPS 123054 HAS SOUS 61892 HAS SOUPS 60581 WITH SCORE 60710.148
AT ITER 8301 NEW BEST:: SOT 275508 SOS 129339 HAS SOPS 123245 HAS SOUS 61868 HAS SOUPS 60557 WITH SCORE 60686.339
AT ITER 8328 NEW BEST:: SOT 275367 SOS 129198 HAS SOPS 123104 HAS SOUS 61849 HAS SOUPS 60538 WITH SCORE 60667.198
AT ITER 8363 NEW BEST:: SOT 275369 SOS 129196 HAS SOPS 123102 HAS SOUS 61845 HAS SOUPS 60534 WITH SCORE 60663.196
AT ITER 8375 NEW BEST:: SOT 275359 SOS 129185 HAS SOPS 123091 HAS SOUS 61834 HAS SOUPS 60523 WITH SCORE 60652.185
AT ITER 8385 NEW BEST:: SOT 275424 SOS 129183 HAS SOPS 123089 HAS SOUS 61832 HAS SOUPS 60521 WITH SCORE 60650.183
AT ITER 8410 NEW BEST:: SOT 275381 SOS 129119 HAS SOPS 123025 HAS SOUS 61767 HAS SOUPS 60456 WITH SCORE 60585.119
AT ITER 8412 NEW BEST:: SOT 275249 SOS 129026 HAS SOPS 122932 HAS SOUS 61755 HAS SOUPS 60444 WITH SCORE 60573.026
AT ITER 8450 NEW BEST:: SOT 275254 SOS 129031 HAS SOPS 122937 HAS SOUS 61737 HAS SOUPS 60426 WITH SCORE 60555.031
AT ITER 8485 NEW BEST:: SOT 275282 SOS 129024 HAS SOPS 122930 HAS SOUS 61717 HAS SOUPS 60406 WITH SCORE 60535.024
AT ITER 8504 NEW BEST:: SOT 275200 SOS 128871 HAS SOPS 122777 HAS SOUS 61707 HAS SOUPS 60396 WITH SCORE 60524.871
AT ITER 8528 NEW BEST:: SOT 275205 SOS 128882 HAS SOPS 122788 HAS SOUS 61702 HAS SOUPS 60391 WITH SCORE 60519.882
AT ITER 8543 NEW BEST:: SOT 275196 SOS 128850 HAS SOPS 122756 HAS SOUS 61684 HAS SOUPS 60373 WITH SCORE 60501.85
AT ITER 8574 NEW BEST:: SOT 275054 SOS 128996 HAS SOPS 122902 HAS SOUS 61485 HAS SOUPS 60174 WITH SCORE 60302.996
AT ITER 8652 NEW BEST:: SOT 274985 SOS 128927 HAS SOPS 122864 HAS SOUS 61485 HAS SOUPS 60174 WITH SCORE 60302.927
AT ITER 8665 NEW BEST:: SOT 274979 SOS 128921 HAS SOPS 122858 HAS SOUS 61473 HAS SOUPS 60162 WITH SCORE 60290.921
AT ITER 8687 NEW BEST:: SOT 274924 SOS 129270 HAS SOPS 123207 HAS SOUS 61418 HAS SOUPS 60107 WITH SCORE 60236.27
AT ITER 8695 NEW BEST:: SOT 274857 SOS 129167 HAS SOPS 123104 HAS SOUS 61320 HAS SOUPS 60009 WITH SCORE 60138.167
AT ITER 8745 NEW BEST:: SOT 274841 SOS 129151 HAS SOPS 123088 HAS SOUS 61288 HAS SOUPS 59977 WITH SCORE 60106.151
AT ITER 8752 NEW BEST:: SOT 274821 SOS 129131 HAS SOPS 123068 HAS SOUS 61288 HAS SOUPS 59977 WITH SCORE 60106.131
AT ITER 8766 NEW BEST:: SOT 274821 SOS 129299 HAS SOPS 123236 HAS SOUS 61282 HAS SOUPS 59971 WITH SCORE 60100.299
AT ITER 8800 NEW BEST:: SOT 274672 SOS 129177 HAS SOPS 123114 HAS SOUS 61270 HAS SOUPS 59959 WITH SCORE 60088.177
AT ITER 8837 NEW BEST:: SOT 274659 SOS 129328 HAS SOPS 123265 HAS SOUS 61209 HAS SOUPS 59898 WITH SCORE 60027.328
AT ITER 8858 NEW BEST:: SOT 274659 SOS 129328 HAS SOPS 123265 HAS SOUS 61207 HAS SOUPS 59896 WITH SCORE 60025.328
AT ITER 8862 NEW BEST:: SOT 274678 SOS 129347 HAS SOPS 123284 HAS SOUS 61179 HAS SOUPS 59868 WITH SCORE 59997.347
AT ITER 8891 NEW BEST:: SOT 274678 SOS 129295 HAS SOPS 123238 HAS SOUS 61178 HAS SOUPS 59868 WITH SCORE 59997.295
AT ITER 8896 NEW BEST:: SOT 274741 SOS 129358 HAS SOPS 123301 HAS SOUS 61115 HAS SOUPS 59805 WITH SCORE 59934.358
AT ITER 8906 NEW BEST:: SOT 274718 SOS 129335 HAS SOPS 123278 HAS SOUS 61083 HAS SOUPS 59773 WITH SCORE 59902.335
AT ITER 8923 NEW BEST:: SOT 274811 SOS 129428 HAS SOPS 123371 HAS SOUS 61063 HAS SOUPS 59753 WITH SCORE 59882.428
AT ITER 8924 NEW BEST:: SOT 274717 SOS 129148 HAS SOPS 122998 HAS SOUS 60968 HAS SOUPS 59658 WITH SCORE 59787.148
AT ITER 8932 NEW BEST:: SOT 274672 SOS 128968 HAS SOPS 122818 HAS SOUS 60922 HAS SOUPS 59612 WITH SCORE 59740.968
AT ITER 9011 NEW BEST:: SOT 274667 SOS 128747 HAS SOPS 122597 HAS SOUS 60868 HAS SOUPS 59558 WITH SCORE 59686.747
AT ITER 9066 NEW BEST:: SOT 274652 SOS 128722 HAS SOPS 122572 HAS SOUS 60868 HAS SOUPS 59558 WITH SCORE 59686.722
AT ITER 9116 NEW BEST:: SOT 274714 SOS 128874 HAS SOPS 122724 HAS SOUS 60857 HAS SOUPS 59547 WITH SCORE 59675.874
AT ITER 9156 NEW BEST:: SOT 274690 SOS 129138 HAS SOPS 122988 HAS SOUS 60819 HAS SOUPS 59509 WITH SCORE 59638.138
AT ITER 9191 NEW BEST:: SOT 274665 SOS 129165 HAS SOPS 123015 HAS SOUS 60763 HAS SOUPS 59453 WITH SCORE 59582.165
AT ITER 9217 NEW BEST:: SOT 274665 SOS 129761 HAS SOPS 123611 HAS SOUS 60754 HAS SOUPS 59444 WITH SCORE 59573.761
AT ITER 9251 NEW BEST:: SOT 274683 SOS 129779 HAS SOPS 123629 HAS SOUS 60728 HAS SOUPS 59418 WITH SCORE 59547.779
AT ITER 9277 NEW BEST:: SOT 274433 SOS 129491 HAS SOPS 123341 HAS SOUS 60478 HAS SOUPS 59168 WITH SCORE 59297.491
AT ITER 9290 NEW BEST:: SOT 274429 SOS 129483 HAS SOPS 123333 HAS SOUS 60470 HAS SOUPS 59160 WITH SCORE 59289.483
AT ITER 9304 NEW BEST:: SOT 274403 SOS 129438 HAS SOPS 123288 HAS SOUS 60418 HAS SOUPS 59108 WITH SCORE 59237.438
AT ITER 9336 NEW BEST:: SOT 274389 SOS 129026 HAS SOPS 122876 HAS SOUS 60404 HAS SOUPS 59094 WITH SCORE 59223.026
AT ITER 9339 NEW BEST:: SOT 274369 SOS 128995 HAS SOPS 122845 HAS SOUS 60389 HAS SOUPS 59079 WITH SCORE 59207.995
AT ITER 9380 NEW BEST:: SOT 274372 SOS 129004 HAS SOPS 122854 HAS SOUS 60359 HAS SOUPS 59049 WITH SCORE 59178.004
AT ITER 9448 NEW BEST:: SOT 274372 SOS 129126 HAS SOPS 122976 HAS SOUS 60338 HAS SOUPS 59028 WITH SCORE 59157.126
AT ITER 9451 NEW BEST:: SOT 274356 SOS 129100 HAS SOPS 122950 HAS SOUS 60306 HAS SOUPS 58996 WITH SCORE 59125.1
AT ITER 9454 NEW BEST:: SOT 274341 SOS 129085 HAS SOPS 122935 HAS SOUS 60276 HAS SOUPS 58966 WITH SCORE 59095.085
AT ITER 9502 NEW BEST:: SOT 274326 SOS 129070 HAS SOPS 122920 HAS SOUS 60213 HAS SOUPS 58903 WITH SCORE 59032.07
AT ITER 9523 NEW BEST:: SOT 274310 SOS 129054 HAS SOPS 122904 HAS SOUS 60213 HAS SOUPS 58903 WITH SCORE 59032.054
AT ITER 9543 NEW BEST:: SOT 274136 SOS 128880 HAS SOPS 122730 HAS SOUS 59949 HAS SOUPS 58639 WITH SCORE 58767.88
AT ITER 9584 NEW BEST:: SOT 274132 SOS 128874 HAS SOPS 122724 HAS SOUS 59943 HAS SOUPS 58633 WITH SCORE 58761.874
AT ITER 9595 NEW BEST:: SOT 274018 SOS 128731 HAS SOPS 122581 HAS SOUS 59875 HAS SOUPS 58565 WITH SCORE 58693.731
AT ITER 9612 NEW BEST:: SOT 274017 SOS 128746 HAS SOPS 122596 HAS SOUS 59779 HAS SOUPS 58469 WITH SCORE 58597.746
AT ITER 9613 NEW BEST:: SOT 274017 SOS 128746 HAS SOPS 122596 HAS SOUS 59775 HAS SOUPS 58465 WITH SCORE 58593.746
AT ITER 9691 NEW BEST:: SOT 274017 SOS 128740 HAS SOPS 122590 HAS SOUS 59769 HAS SOUPS 58459 WITH SCORE 58587.74
AT ITER 9769 NEW BEST:: SOT 274070 SOS 128563 HAS SOPS 122413 HAS SOUS 59758 HAS SOUPS 58448 WITH SCORE 58576.563
AT ITER 9779 NEW BEST:: SOT 274064 SOS 128539 HAS SOPS 122389 HAS SOUS 59737 HAS SOUPS 58427 WITH SCORE 58555.539
AT ITER 9821 NEW BEST:: SOT 274044 SOS 128523 HAS SOPS 122373 HAS SOUS 59721 HAS SOUPS 58411 WITH SCORE 58539.523
AT ITER 9825 NEW BEST:: SOT 274039 SOS 128517 HAS SOPS 122367 HAS SOUS 59710 HAS SOUPS 58400 WITH SCORE 58528.517
AT ITER 9839 NEW BEST:: SOT 273809 SOS 128287 HAS SOPS 122137 HAS SOUS 59464 HAS SOUPS 58154 WITH SCORE 58282.287
AT ITER 9845 NEW BEST:: SOT 273852 SOS 128330 HAS SOPS 122180 HAS SOUS 59450 HAS SOUPS 58140 WITH SCORE 58268.33
AT ITER 9853 NEW BEST:: SOT 273804 SOS 128250 HAS SOPS 122100 HAS SOUS 59370 HAS SOUPS 58060 WITH SCORE 58188.25
AT ITER 9861 NEW BEST:: SOT 273768 SOS 128178 HAS SOPS 122028 HAS SOUS 59298 HAS SOUPS 57988 WITH SCORE 58116.178
AT ITER 9884 NEW BEST:: SOT 273748 SOS 128118 HAS SOPS 121968 HAS SOUS 59258 HAS SOUPS 57948 WITH SCORE 58076.118
AT ITER 9888 NEW BEST:: SOT 273720 SOS 128090 HAS SOPS 121940 HAS SOUS 59246 HAS SOUPS 57936 WITH SCORE 58064.09
AT ITER 9896 NEW BEST:: SOT 273720 SOS 128090 HAS SOPS 121940 HAS SOUS 59164 HAS SOUPS 57854 WITH SCORE 57982.09
AT ITER 9898 NEW BEST:: SOT 273699 SOS 128013 HAS SOPS 121863 HAS SOUS 59122 HAS SOUPS 57812 WITH SCORE 57940.013
AT ITER 9918 NEW BEST:: SOT 273694 SOS 128008 HAS SOPS 121858 HAS SOUS 59117 HAS SOUPS 57807 WITH SCORE 57935.008
AT ITER 9931 NEW BEST:: SOT 273675 SOS 127990 HAS SOPS 121840 HAS SOUS 59099 HAS SOUPS 57789 WITH SCORE 57916.99
AT ITER 9970 NEW BEST:: SOT 273663 SOS 127972 HAS SOPS 121822 HAS SOUS 59081 HAS SOUPS 57771 WITH SCORE 57898.972
AT ITER 9982 NEW BEST:: SOT 273720 SOS 128179 HAS SOPS 122029 HAS SOUS 59028 HAS SOUPS 57718 WITH SCORE 57846.179
STATE_SPACE STATES 20761 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 60 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 38990 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678788465532

--------------------
content from stderr:

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-COL-S02J06T06"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is PolyORBLF-COL-S02J06T06, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873942800376"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-COL-S02J06T06.tgz
mv PolyORBLF-COL-S02J06T06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;