fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r099-tall-167814472800720
Last Updated
May 14, 2023

About the Execution of Smart for DLCround-PT-09a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
6006.840 3600000.00 3600100.00 20.20 2.4010E+0013 5.7658E+0015 1 184 normal

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r099-tall-167814472800720.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 DLCround-PT-09a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472800720
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 960K
-rw-r--r-- 1 mcc users 6.1K Feb 25 19:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 19:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 19:11 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 19:11 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:53 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:53 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 20:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 20:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 20:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 20:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 566K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678260082960

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=DLCround-PT-09a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 09a
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: 299 places, 2243 transitions, 8689 arcs.
AT ITER 0 NEW BEST:: SOT 425059 SOS 356202 HAS SOPS 215063 HAS SOUS 44558 HAS SOUPS 30558 WITH SCORE 30914.202
AT ITER 4 NEW BEST:: SOT 425053 SOS 356118 HAS SOPS 215057 HAS SOUS 44546 HAS SOUPS 30552 WITH SCORE 30908.118
AT ITER 8 NEW BEST:: SOT 424373 SOS 353196 HAS SOPS 213814 HAS SOUS 43375 HAS SOUPS 29145 WITH SCORE 29498.196
AT ITER 13 NEW BEST:: SOT 424347 SOS 352806 HAS SOPS 213424 HAS SOUS 43349 HAS SOUPS 29119 WITH SCORE 29471.806
AT ITER 14 NEW BEST:: SOT 424152 SOS 350298 HAS SOPS 213064 HAS SOUS 43764 HAS SOUPS 28986 WITH SCORE 29336.298
AT ITER 17 NEW BEST:: SOT 424051 SOS 350929 HAS SOPS 213219 HAS SOUS 43731 HAS SOUPS 28953 WITH SCORE 29303.929
AT ITER 22 NEW BEST:: SOT 423998 SOS 347190 HAS SOPS 210091 HAS SOUS 43686 HAS SOUPS 28955 WITH SCORE 29302.19
AT ITER 30 NEW BEST:: SOT 424384 SOS 347689 HAS SOPS 209912 HAS SOUS 43157 HAS SOUPS 28266 WITH SCORE 28613.689
AT ITER 53 NEW BEST:: SOT 424285 SOS 350208 HAS SOPS 210901 HAS SOUS 43105 HAS SOUPS 28163 WITH SCORE 28513.208
AT ITER 61 NEW BEST:: SOT 424315 SOS 350208 HAS SOPS 210901 HAS SOUS 43023 HAS SOUPS 28081 WITH SCORE 28431.208
AT ITER 70 NEW BEST:: SOT 424588 SOS 350608 HAS SOPS 210539 HAS SOUS 42565 HAS SOUPS 27295 WITH SCORE 27645.608
AT ITER 72 NEW BEST:: SOT 424588 SOS 350608 HAS SOPS 210571 HAS SOUS 42497 HAS SOUPS 27243 WITH SCORE 27593.608
AT ITER 73 NEW BEST:: SOT 424307 SOS 350333 HAS SOPS 209892 HAS SOUS 41087 HAS SOUPS 25896 WITH SCORE 26246.333
AT ITER 81 NEW BEST:: SOT 424363 SOS 350387 HAS SOPS 209946 HAS SOUS 41061 HAS SOUPS 25870 WITH SCORE 26220.387
AT ITER 85 NEW BEST:: SOT 424359 SOS 350099 HAS SOPS 209658 HAS SOUS 41061 HAS SOUPS 25870 WITH SCORE 26220.099
AT ITER 86 NEW BEST:: SOT 424056 SOS 349934 HAS SOPS 209493 HAS SOUS 40344 HAS SOUPS 25153 WITH SCORE 25502.934
AT ITER 92 NEW BEST:: SOT 423984 SOS 348516 HAS SOPS 208712 HAS SOUS 40254 HAS SOUPS 25112 WITH SCORE 25460.516
AT ITER 94 NEW BEST:: SOT 422505 SOS 345297 HAS SOPS 207333 HAS SOUS 38709 HAS SOUPS 23751 WITH SCORE 24096.297
AT ITER 98 NEW BEST:: SOT 422498 SOS 345192 HAS SOPS 207319 HAS SOUS 38702 HAS SOUPS 23751 WITH SCORE 24096.192
AT ITER 103 NEW BEST:: SOT 422389 SOS 344075 HAS SOPS 206865 HAS SOUS 38620 HAS SOUPS 23720 WITH SCORE 24064.075
AT ITER 106 NEW BEST:: SOT 422377 SOS 343895 HAS SOPS 206841 HAS SOUS 38608 HAS SOUPS 23720 WITH SCORE 24063.895
AT ITER 137 NEW BEST:: SOT 422408 SOS 343935 HAS SOPS 206881 HAS SOUS 38604 HAS SOUPS 23716 WITH SCORE 24059.935
AT ITER 150 NEW BEST:: SOT 422584 SOS 344176 HAS SOPS 206947 HAS SOUS 38474 HAS SOUPS 23562 WITH SCORE 23906.176
AT ITER 169 NEW BEST:: SOT 422694 SOS 335750 HAS SOPS 200478 HAS SOUS 38183 HAS SOUPS 23422 WITH SCORE 23757.75
AT ITER 175 NEW BEST:: SOT 422648 SOS 335451 HAS SOPS 200363 HAS SOUS 38107 HAS SOUPS 23369 WITH SCORE 23704.451
AT ITER 186 NEW BEST:: SOT 422605 SOS 334763 HAS SOPS 200234 HAS SOUS 38024 HAS SOUPS 23329 WITH SCORE 23663.763
AT ITER 187 NEW BEST:: SOT 422791 SOS 335051 HAS SOPS 200267 HAS SOUS 38144 HAS SOUPS 23245 WITH SCORE 23580.051
AT ITER 198 NEW BEST:: SOT 422791 SOS 335051 HAS SOPS 200217 HAS SOUS 38094 HAS SOUPS 23195 WITH SCORE 23530.051
AT ITER 200 NEW BEST:: SOT 422934 SOS 335809 HAS SOPS 200544 HAS SOUS 38065 HAS SOUPS 23143 WITH SCORE 23478.809
AT ITER 204 NEW BEST:: SOT 421926 SOS 334066 HAS SOPS 199249 HAS SOUS 38003 HAS SOUPS 23080 WITH SCORE 23414.066
AT ITER 209 NEW BEST:: SOT 421836 SOS 333976 HAS SOPS 199204 HAS SOUS 37922 HAS SOUPS 23015 WITH SCORE 23348.976
AT ITER 214 NEW BEST:: SOT 421797 SOS 334810 HAS SOPS 199590 HAS SOUS 37908 HAS SOUPS 22992 WITH SCORE 23326.81
AT ITER 216 NEW BEST:: SOT 422608 SOS 335397 HAS SOPS 199446 HAS SOUS 38290 HAS SOUPS 22669 WITH SCORE 23004.397
AT ITER 222 NEW BEST:: SOT 422528 SOS 333462 HAS SOPS 198603 HAS SOUS 38108 HAS SOUPS 22571 WITH SCORE 22904.462
AT ITER 226 NEW BEST:: SOT 422513 SOS 333252 HAS SOPS 198588 HAS SOUS 38078 HAS SOUPS 22556 WITH SCORE 22889.252
AT ITER 227 NEW BEST:: SOT 422473 SOS 332612 HAS SOPS 198468 HAS SOUS 38038 HAS SOUPS 22556 WITH SCORE 22888.612
AT ITER 249 NEW BEST:: SOT 422431 SOS 332649 HAS SOPS 198432 HAS SOUS 38195 HAS SOUPS 22507 WITH SCORE 22839.649
AT ITER 280 NEW BEST:: SOT 422881 SOS 333099 HAS SOPS 198882 HAS SOUS 38192 HAS SOUPS 22468 WITH SCORE 22801.099
AT ITER 281 NEW BEST:: SOT 422843 SOS 332529 HAS SOPS 198559 HAS SOUS 38154 HAS SOUPS 22449 WITH SCORE 22781.529
AT ITER 282 NEW BEST:: SOT 422862 SOS 332532 HAS SOPS 198562 HAS SOUS 38153 HAS SOUPS 22448 WITH SCORE 22780.532
AT ITER 289 NEW BEST:: SOT 422849 SOS 332506 HAS SOPS 198536 HAS SOUS 38105 HAS SOUPS 22400 WITH SCORE 22732.506
AT ITER 325 NEW BEST:: SOT 422871 SOS 332829 HAS SOPS 198611 HAS SOUS 38118 HAS SOUPS 22391 WITH SCORE 22723.829
AT ITER 346 NEW BEST:: SOT 422869 SOS 332773 HAS SOPS 198581 HAS SOUS 38116 HAS SOUPS 22391 WITH SCORE 22723.773
AT ITER 351 NEW BEST:: SOT 423421 SOS 333325 HAS SOPS 199133 HAS SOUS 38158 HAS SOUPS 22377 WITH SCORE 22710.325
AT ITER 360 NEW BEST:: SOT 423395 SOS 333156 HAS SOPS 199094 HAS SOUS 38145 HAS SOUPS 22377 WITH SCORE 22710.156
AT ITER 371 NEW BEST:: SOT 423391 SOS 333151 HAS SOPS 199091 HAS SOUS 38141 HAS SOUPS 22374 WITH SCORE 22707.151
AT ITER 378 NEW BEST:: SOT 423463 SOS 332044 HAS SOPS 198789 HAS SOUS 38059 HAS SOUPS 22348 WITH SCORE 22680.044
AT ITER 387 NEW BEST:: SOT 423544 SOS 332147 HAS SOPS 198892 HAS SOUS 37980 HAS SOUPS 22269 WITH SCORE 22601.147
AT ITER 403 NEW BEST:: SOT 423535 SOS 332138 HAS SOPS 198883 HAS SOUS 37971 HAS SOUPS 22260 WITH SCORE 22592.138
AT ITER 405 NEW BEST:: SOT 424089 SOS 332692 HAS SOPS 199437 HAS SOUS 37907 HAS SOUPS 22188 WITH SCORE 22520.692
AT ITER 421 NEW BEST:: SOT 423873 SOS 332476 HAS SOPS 199221 HAS SOUS 37907 HAS SOUPS 22188 WITH SCORE 22520.476
AT ITER 439 NEW BEST:: SOT 423873 SOS 332476 HAS SOPS 199221 HAS SOUS 37893 HAS SOUPS 22174 WITH SCORE 22506.476
AT ITER 444 NEW BEST:: SOT 423707 SOS 333854 HAS SOPS 199799 HAS SOUS 37779 HAS SOUPS 22060 WITH SCORE 22393.854
AT ITER 446 NEW BEST:: SOT 423697 SOS 333694 HAS SOPS 199769 HAS SOUS 37759 HAS SOUPS 22050 WITH SCORE 22383.694
AT ITER 473 NEW BEST:: SOT 423692 SOS 333504 HAS SOPS 199774 HAS SOUS 37724 HAS SOUPS 22030 WITH SCORE 22363.504
AT ITER 478 NEW BEST:: SOT 423755 SOS 332641 HAS SOPS 199665 HAS SOUS 37629 HAS SOUPS 21993 WITH SCORE 22325.641
AT ITER 498 NEW BEST:: SOT 423735 SOS 332381 HAS SOPS 199605 HAS SOUS 37549 HAS SOUPS 21933 WITH SCORE 22265.381
AT ITER 509 NEW BEST:: SOT 423830 SOS 332476 HAS SOPS 199700 HAS SOUS 37548 HAS SOUPS 21932 WITH SCORE 22264.476
AT ITER 515 NEW BEST:: SOT 423837 SOS 332294 HAS SOPS 199609 HAS SOUS 37534 HAS SOUPS 21925 WITH SCORE 22257.294
AT ITER 517 NEW BEST:: SOT 423879 SOS 332375 HAS SOPS 199612 HAS SOUS 37568 HAS SOUPS 21923 WITH SCORE 22255.375
AT ITER 524 NEW BEST:: SOT 423828 SOS 326265 HAS SOPS 194555 HAS SOUS 37438 HAS SOUPS 21874 WITH SCORE 22200.265
AT ITER 540 NEW BEST:: SOT 424293 SOS 326730 HAS SOPS 195020 HAS SOUS 37345 HAS SOUPS 21783 WITH SCORE 22109.73
AT ITER 543 NEW BEST:: SOT 424412 SOS 325248 HAS SOPS 194704 HAS SOUS 38008 HAS SOUPS 21653 WITH SCORE 21978.248
AT ITER 548 NEW BEST:: SOT 424554 SOS 325419 HAS SOPS 194788 HAS SOUS 37860 HAS SOUPS 21534 WITH SCORE 21859.419
AT ITER 555 NEW BEST:: SOT 424386 SOS 325055 HAS SOPS 194690 HAS SOUS 37846 HAS SOUPS 21534 WITH SCORE 21859.055
AT ITER 558 NEW BEST:: SOT 424282 SOS 326441 HAS SOPS 195316 HAS SOUS 37780 HAS SOUPS 21468 WITH SCORE 21794.441
AT ITER 603 NEW BEST:: SOT 424532 SOS 326641 HAS SOPS 195566 HAS SOUS 37688 HAS SOUPS 21426 WITH SCORE 21752.641
AT ITER 618 NEW BEST:: SOT 424452 SOS 326187 HAS SOPS 195504 HAS SOUS 37647 HAS SOUPS 21407 WITH SCORE 21733.187
AT ITER 625 NEW BEST:: SOT 424386 SOS 326143 HAS SOPS 195394 HAS SOUS 37459 HAS SOUPS 21196 WITH SCORE 21522.143
AT ITER 633 NEW BEST:: SOT 424385 SOS 326128 HAS SOPS 195379 HAS SOUS 37458 HAS SOUPS 21195 WITH SCORE 21521.128
AT ITER 653 NEW BEST:: SOT 424391 SOS 326218 HAS SOPS 195391 HAS SOUS 37458 HAS SOUPS 21189 WITH SCORE 21515.218
AT ITER 667 NEW BEST:: SOT 424362 SOS 323580 HAS SOPS 193208 HAS SOUS 37396 HAS SOUPS 21162 WITH SCORE 21485.58
AT ITER 682 NEW BEST:: SOT 424350 SOS 322716 HAS SOPS 192344 HAS SOUS 37396 HAS SOUPS 21162 WITH SCORE 21484.716
AT ITER 685 NEW BEST:: SOT 424328 SOS 324332 HAS SOPS 193960 HAS SOUS 37376 HAS SOUPS 21142 WITH SCORE 21466.332
AT ITER 723 NEW BEST:: SOT 424346 SOS 324323 HAS SOPS 193951 HAS SOUS 37337 HAS SOUPS 21103 WITH SCORE 21427.323
AT ITER 741 NEW BEST:: SOT 424346 SOS 324323 HAS SOPS 193951 HAS SOUS 37310 HAS SOUPS 21088 WITH SCORE 21412.323
AT ITER 750 NEW BEST:: SOT 422968 SOS 319448 HAS SOPS 191614 HAS SOUS 37166 HAS SOUPS 21087 WITH SCORE 21406.448
AT ITER 770 NEW BEST:: SOT 422950 SOS 319421 HAS SOPS 191605 HAS SOUS 37148 HAS SOUPS 21078 WITH SCORE 21397.421
AT ITER 784 NEW BEST:: SOT 422927 SOS 319375 HAS SOPS 191605 HAS SOUS 37114 HAS SOUPS 21073 WITH SCORE 21392.375
AT ITER 785 NEW BEST:: SOT 422767 SOS 318221 HAS SOPS 191529 HAS SOUS 37070 HAS SOUPS 21043 WITH SCORE 21361.221
AT ITER 792 NEW BEST:: SOT 422725 SOS 317591 HAS SOPS 191172 HAS SOUS 36986 HAS SOUPS 20980 WITH SCORE 21297.591
AT ITER 800 NEW BEST:: SOT 422599 SOS 317370 HAS SOPS 191077 HAS SOUS 36827 HAS SOUPS 20885 WITH SCORE 21202.37
AT ITER 820 NEW BEST:: SOT 422599 SOS 317287 HAS SOPS 191007 HAS SOUS 36826 HAS SOUPS 20885 WITH SCORE 21202.287
AT ITER 836 NEW BEST:: SOT 422595 SOS 317267 HAS SOPS 190999 HAS SOUS 36828 HAS SOUPS 20885 WITH SCORE 21202.267
AT ITER 846 NEW BEST:: SOT 422692 SOS 315337 HAS SOPS 190149 HAS SOUS 36785 HAS SOUPS 20878 WITH SCORE 21193.337
AT ITER 848 NEW BEST:: SOT 422238 SOS 314516 HAS SOPS 189796 HAS SOUS 36784 HAS SOUPS 20875 WITH SCORE 21189.516
AT ITER 853 NEW BEST:: SOT 422297 SOS 314169 HAS SOPS 189852 HAS SOUS 36747 HAS SOUPS 20869 WITH SCORE 21183.169
AT ITER 897 NEW BEST:: SOT 422249 SOS 314105 HAS SOPS 189788 HAS SOUS 36716 HAS SOUPS 20838 WITH SCORE 21152.105
AT ITER 899 NEW BEST:: SOT 422233 SOS 314073 HAS SOPS 189772 HAS SOUS 36700 HAS SOUPS 20838 WITH SCORE 21152.073
AT ITER 937 NEW BEST:: SOT 421556 SOS 313379 HAS SOPS 189112 HAS SOUS 36683 HAS SOUPS 20838 WITH SCORE 21151.379
AT ITER 956 NEW BEST:: SOT 421564 SOS 313335 HAS SOPS 189120 HAS SOUS 36679 HAS SOUPS 20838 WITH SCORE 21151.335
AT ITER 985 NEW BEST:: SOT 421578 SOS 313349 HAS SOPS 189134 HAS SOUS 36675 HAS SOUPS 20834 WITH SCORE 21147.349
AT ITER 989 NEW BEST:: SOT 421530 SOS 312870 HAS SOPS 188655 HAS SOUS 36610 HAS SOUPS 20769 WITH SCORE 21081.87
AT ITER 996 NEW BEST:: SOT 422370 SOS 313710 HAS SOPS 188865 HAS SOUS 36568 HAS SOUPS 20719 WITH SCORE 21032.71
AT ITER 1007 NEW BEST:: SOT 422678 SOS 313964 HAS SOPS 189227 HAS SOUS 36507 HAS SOUPS 20698 WITH SCORE 21011.964
AT ITER 1009 NEW BEST:: SOT 422671 SOS 313866 HAS SOPS 189220 HAS SOUS 36492 HAS SOUPS 20690 WITH SCORE 21003.866
AT ITER 1030 NEW BEST:: SOT 422272 SOS 313121 HAS SOPS 188951 HAS SOUS 36458 HAS SOUPS 20674 WITH SCORE 20987.121
AT ITER 1055 NEW BEST:: SOT 422265 SOS 313107 HAS SOPS 188944 HAS SOUS 36444 HAS SOUPS 20667 WITH SCORE 20980.107
AT ITER 1069 NEW BEST:: SOT 422417 SOS 313383 HAS SOPS 189034 HAS SOUS 36440 HAS SOUPS 20663 WITH SCORE 20976.383
AT ITER 1081 NEW BEST:: SOT 422335 SOS 312853 HAS SOPS 188504 HAS SOUS 36418 HAS SOUPS 20641 WITH SCORE 20953.853
AT ITER 1113 NEW BEST:: SOT 422259 SOS 312511 HAS SOPS 188409 HAS SOUS 36372 HAS SOUPS 20614 WITH SCORE 20926.511
AT ITER 1128 NEW BEST:: SOT 422259 SOS 312504 HAS SOPS 188402 HAS SOUS 36372 HAS SOUPS 20614 WITH SCORE 20926.504
AT ITER 1136 NEW BEST:: SOT 422256 SOS 312495 HAS SOPS 188393 HAS SOUS 36369 HAS SOUPS 20611 WITH SCORE 20923.495
AT ITER 1143 NEW BEST:: SOT 422178 SOS 312378 HAS SOPS 188354 HAS SOUS 36291 HAS SOUPS 20572 WITH SCORE 20884.378
AT ITER 1146 NEW BEST:: SOT 422264 SOS 312494 HAS SOPS 188380 HAS SOUS 36292 HAS SOUPS 20522 WITH SCORE 20834.494
AT ITER 1151 NEW BEST:: SOT 422251 SOS 312481 HAS SOPS 188380 HAS SOUS 36292 HAS SOUPS 20522 WITH SCORE 20834.481
AT ITER 1155 NEW BEST:: SOT 422263 SOS 312362 HAS SOPS 188391 HAS SOUS 36277 HAS SOUPS 20520 WITH SCORE 20832.362
AT ITER 1174 NEW BEST:: SOT 422259 SOS 312356 HAS SOPS 188389 HAS SOUS 36273 HAS SOUPS 20518 WITH SCORE 20830.356
AT ITER 1181 NEW BEST:: SOT 422271 SOS 312380 HAS SOPS 188389 HAS SOUS 36267 HAS SOUPS 20512 WITH SCORE 20824.38
AT ITER 1204 NEW BEST:: SOT 422209 SOS 312256 HAS SOPS 188327 HAS SOUS 36143 HAS SOUPS 20450 WITH SCORE 20762.256
AT ITER 1221 NEW BEST:: SOT 422117 SOS 311378 HAS SOPS 187839 HAS SOUS 36103 HAS SOUPS 20440 WITH SCORE 20751.378
AT ITER 1230 NEW BEST:: SOT 422114 SOS 311371 HAS SOPS 187823 HAS SOUS 36105 HAS SOUPS 20439 WITH SCORE 20750.371
AT ITER 1236 NEW BEST:: SOT 422091 SOS 311267 HAS SOPS 187800 HAS SOUS 36001 HAS SOUPS 20416 WITH SCORE 20727.267
AT ITER 1245 NEW BEST:: SOT 422059 SOS 310449 HAS SOPS 187359 HAS SOUS 35931 HAS SOUPS 20375 WITH SCORE 20685.449
AT ITER 1264 NEW BEST:: SOT 422060 SOS 310487 HAS SOPS 187413 HAS SOUS 35848 HAS SOUPS 20367 WITH SCORE 20677.487
AT ITER 1274 NEW BEST:: SOT 422053 SOS 310480 HAS SOPS 187406 HAS SOUS 35841 HAS SOUPS 20360 WITH SCORE 20670.48
AT ITER 1275 NEW BEST:: SOT 422049 SOS 310476 HAS SOPS 187406 HAS SOUS 35824 HAS SOUPS 20347 WITH SCORE 20657.476
AT ITER 1277 NEW BEST:: SOT 421998 SOS 310389 HAS SOPS 187370 HAS SOUS 35767 HAS SOUPS 20311 WITH SCORE 20621.389
AT ITER 1300 NEW BEST:: SOT 422077 SOS 310712 HAS SOPS 187615 HAS SOUS 35519 HAS SOUPS 20298 WITH SCORE 20608.712
AT ITER 1302 NEW BEST:: SOT 422057 SOS 310618 HAS SOPS 187251 HAS SOUS 35515 HAS SOUPS 20267 WITH SCORE 20577.618
AT ITER 1318 NEW BEST:: SOT 421923 SOS 308919 HAS SOPS 186845 HAS SOUS 35344 HAS SOUPS 20176 WITH SCORE 20484.919
AT ITER 1331 NEW BEST:: SOT 421890 SOS 308853 HAS SOPS 186812 HAS SOUS 35278 HAS SOUPS 20143 WITH SCORE 20451.853
AT ITER 1367 NEW BEST:: SOT 421829 SOS 308769 HAS SOPS 186798 HAS SOUS 35237 HAS SOUPS 20125 WITH SCORE 20433.769
AT ITER 1374 NEW BEST:: SOT 421887 SOS 308853 HAS SOPS 186817 HAS SOUS 35165 HAS SOUPS 20053 WITH SCORE 20361.853
AT ITER 1386 NEW BEST:: SOT 421965 SOS 308931 HAS SOPS 186895 HAS SOUS 35162 HAS SOUPS 20051 WITH SCORE 20359.931
AT ITER 1394 NEW BEST:: SOT 421884 SOS 308796 HAS SOPS 186841 HAS SOUS 35119 HAS SOUPS 20035 WITH SCORE 20343.796
AT ITER 1420 NEW BEST:: SOT 421884 SOS 308796 HAS SOPS 186841 HAS SOUS 35117 HAS SOUPS 20033 WITH SCORE 20341.796
AT ITER 1423 NEW BEST:: SOT 421893 SOS 308808 HAS SOPS 186790 HAS SOUS 35069 HAS SOUPS 19982 WITH SCORE 20290.808
AT ITER 1482 NEW BEST:: SOT 421876 SOS 308774 HAS SOPS 186790 HAS SOUS 35052 HAS SOUPS 19982 WITH SCORE 20290.774
AT ITER 1508 NEW BEST:: SOT 421855 SOS 308714 HAS SOPS 186754 HAS SOUS 35091 HAS SOUPS 19982 WITH SCORE 20290.714
AT ITER 1516 NEW BEST:: SOT 422007 SOS 308922 HAS SOPS 186822 HAS SOUS 34963 HAS SOUPS 19854 WITH SCORE 20162.922
AT ITER 1524 NEW BEST:: SOT 421991 SOS 308906 HAS SOPS 186822 HAS SOUS 34963 HAS SOUPS 19854 WITH SCORE 20162.906
AT ITER 1534 NEW BEST:: SOT 422521 SOS 309540 HAS SOPS 187203 HAS SOUS 34916 HAS SOUPS 19819 WITH SCORE 20128.54
AT ITER 1554 NEW BEST:: SOT 422509 SOS 308043 HAS SOPS 185706 HAS SOUS 34907 HAS SOUPS 19810 WITH SCORE 20118.043
AT ITER 1555 NEW BEST:: SOT 421664 SOS 306665 HAS SOPS 184718 HAS SOUS 34905 HAS SOUPS 19808 WITH SCORE 20114.665
AT ITER 1561 NEW BEST:: SOT 421255 SOS 305342 HAS SOPS 183587 HAS SOUS 34868 HAS SOUPS 19771 WITH SCORE 20076.342
AT ITER 1584 NEW BEST:: SOT 421255 SOS 305342 HAS SOPS 183587 HAS SOUS 34796 HAS SOUPS 19731 WITH SCORE 20036.342
AT ITER 1602 NEW BEST:: SOT 421263 SOS 305238 HAS SOPS 183587 HAS SOUS 34772 HAS SOUPS 19715 WITH SCORE 20020.238
AT ITER 1636 NEW BEST:: SOT 422046 SOS 307356 HAS SOPS 184517 HAS SOUS 34213 HAS SOUPS 19637 WITH SCORE 19944.356
AT ITER 1641 NEW BEST:: SOT 422034 SOS 307352 HAS SOPS 184513 HAS SOUS 34215 HAS SOUPS 19637 WITH SCORE 19944.352
AT ITER 1642 NEW BEST:: SOT 421420 SOS 305844 HAS SOPS 183991 HAS SOUS 34269 HAS SOUPS 19624 WITH SCORE 19929.844
AT ITER 1672 NEW BEST:: SOT 420564 SOS 303671 HAS SOPS 183214 HAS SOUS 34127 HAS SOUPS 19548 WITH SCORE 19851.671
AT ITER 1689 NEW BEST:: SOT 420634 SOS 303731 HAS SOPS 183244 HAS SOUS 34107 HAS SOUPS 19538 WITH SCORE 19841.731
AT ITER 1719 NEW BEST:: SOT 420626 SOS 303723 HAS SOPS 183244 HAS SOUS 34107 HAS SOUPS 19538 WITH SCORE 19841.723
AT ITER 1735 NEW BEST:: SOT 421063 SOS 304202 HAS SOPS 183471 HAS SOUS 34010 HAS SOUPS 19441 WITH SCORE 19745.202
AT ITER 1741 NEW BEST:: SOT 421063 SOS 303982 HAS SOPS 183451 HAS SOUS 33970 HAS SOUPS 19421 WITH SCORE 19724.982
AT ITER 1745 NEW BEST:: SOT 421054 SOS 303964 HAS SOPS 183451 HAS SOUS 33934 HAS SOUPS 19406 WITH SCORE 19709.964
AT ITER 1755 NEW BEST:: SOT 421054 SOS 303964 HAS SOPS 183451 HAS SOUS 33844 HAS SOUPS 19356 WITH SCORE 19659.964
AT ITER 1778 NEW BEST:: SOT 421216 SOS 304096 HAS SOPS 183643 HAS SOUS 33811 HAS SOUPS 19354 WITH SCORE 19658.096
AT ITER 1810 NEW BEST:: SOT 421314 SOS 304172 HAS SOPS 183763 HAS SOUS 33777 HAS SOUPS 19342 WITH SCORE 19646.172
AT ITER 1811 NEW BEST:: SOT 420990 SOS 303848 HAS SOPS 183439 HAS SOUS 33777 HAS SOUPS 19342 WITH SCORE 19645.848
AT ITER 1831 NEW BEST:: SOT 421014 SOS 303872 HAS SOPS 183439 HAS SOUS 33768 HAS SOUPS 19337 WITH SCORE 19640.872
AT ITER 1847 NEW BEST:: SOT 420999 SOS 303842 HAS SOPS 183439 HAS SOUS 33636 HAS SOUPS 19272 WITH SCORE 19575.842
AT ITER 1852 NEW BEST:: SOT 420790 SOS 303424 HAS SOPS 183111 HAS SOUS 33607 HAS SOUPS 19243 WITH SCORE 19546.424
AT ITER 1867 NEW BEST:: SOT 419611 SOS 302019 HAS SOPS 182159 HAS SOUS 33495 HAS SOUPS 19211 WITH SCORE 19513.019
AT ITER 1887 NEW BEST:: SOT 419735 SOS 302120 HAS SOPS 182283 HAS SOUS 33458 HAS SOUPS 19197 WITH SCORE 19499.12
AT ITER 1900 NEW BEST:: SOT 419670 SOS 301976 HAS SOPS 182218 HAS SOUS 33372 HAS SOUPS 19190 WITH SCORE 19491.976
AT ITER 1902 NEW BEST:: SOT 419615 SOS 301921 HAS SOPS 182218 HAS SOUS 33332 HAS SOUPS 19150 WITH SCORE 19451.921
AT ITER 1905 NEW BEST:: SOT 419351 SOS 301657 HAS SOPS 181954 HAS SOUS 33314 HAS SOUPS 19140 WITH SCORE 19441.657
AT ITER 1910 NEW BEST:: SOT 419135 SOS 301441 HAS SOPS 181738 HAS SOUS 33233 HAS SOUPS 19095 WITH SCORE 19396.441
AT ITER 1944 NEW BEST:: SOT 419131 SOS 301437 HAS SOPS 181738 HAS SOUS 33233 HAS SOUPS 19095 WITH SCORE 19396.437
AT ITER 1946 NEW BEST:: SOT 419125 SOS 301428 HAS SOPS 181738 HAS SOUS 33224 HAS SOUPS 19089 WITH SCORE 19390.428
AT ITER 1950 NEW BEST:: SOT 419103 SOS 301344 HAS SOPS 181472 HAS SOUS 33228 HAS SOUPS 19079 WITH SCORE 19380.344
AT ITER 1957 NEW BEST:: SOT 419105 SOS 300969 HAS SOPS 181279 HAS SOUS 33177 HAS SOUPS 19042 WITH SCORE 19342.969
AT ITER 1967 NEW BEST:: SOT 419285 SOS 301359 HAS SOPS 181384 HAS SOUS 33181 HAS SOUPS 19031 WITH SCORE 19332.359
AT ITER 1972 NEW BEST:: SOT 419472 SOS 301953 HAS SOPS 181744 HAS SOUS 32793 HAS SOUPS 18966 WITH SCORE 19267.953
AT ITER 1973 NEW BEST:: SOT 419465 SOS 301939 HAS SOPS 181744 HAS SOUS 32687 HAS SOUPS 18911 WITH SCORE 19212.939
AT ITER 1990 NEW BEST:: SOT 419445 SOS 301899 HAS SOPS 181713 HAS SOUS 32636 HAS SOUPS 18880 WITH SCORE 19181.899
AT ITER 1997 NEW BEST:: SOT 420114 SOS 302690 HAS SOPS 182138 HAS SOUS 32634 HAS SOUPS 18878 WITH SCORE 19180.69
AT ITER 2006 NEW BEST:: SOT 420111 SOS 302769 HAS SOPS 182192 HAS SOUS 32626 HAS SOUPS 18870 WITH SCORE 19172.769
AT ITER 2008 NEW BEST:: SOT 420090 SOS 302727 HAS SOPS 182192 HAS SOUS 32605 HAS SOUPS 18870 WITH SCORE 19172.727
AT ITER 2023 NEW BEST:: SOT 420084 SOS 302718 HAS SOPS 182189 HAS SOUS 32599 HAS SOUPS 18867 WITH SCORE 19169.718
AT ITER 2050 NEW BEST:: SOT 420068 SOS 302079 HAS SOPS 181641 HAS SOUS 32590 HAS SOUPS 18865 WITH SCORE 19167.079
AT ITER 2056 NEW BEST:: SOT 419804 SOS 301815 HAS SOPS 181377 HAS SOUS 32509 HAS SOUPS 18820 WITH SCORE 19121.815
AT ITER 2094 NEW BEST:: SOT 419801 SOS 301811 HAS SOPS 181373 HAS SOUS 32509 HAS SOUPS 18820 WITH SCORE 19121.811
AT ITER 2152 NEW BEST:: SOT 419838 SOS 299329 HAS SOPS 178891 HAS SOUS 32475 HAS SOUPS 18786 WITH SCORE 19085.329
AT ITER 2163 NEW BEST:: SOT 419782 SOS 299265 HAS SOPS 178827 HAS SOUS 32459 HAS SOUPS 18770 WITH SCORE 19069.265
AT ITER 2164 NEW BEST:: SOT 419741 SOS 299224 HAS SOPS 178827 HAS SOUS 32459 HAS SOUPS 18770 WITH SCORE 19069.224
AT ITER 2176 NEW BEST:: SOT 419688 SOS 299058 HAS SOPS 178685 HAS SOUS 32454 HAS SOUPS 18765 WITH SCORE 19064.058
AT ITER 2199 NEW BEST:: SOT 419691 SOS 299061 HAS SOPS 178681 HAS SOUS 32450 HAS SOUPS 18761 WITH SCORE 19060.061
AT ITER 2215 NEW BEST:: SOT 419691 SOS 299061 HAS SOPS 178681 HAS SOUS 32435 HAS SOUPS 18751 WITH SCORE 19050.061
AT ITER 2236 NEW BEST:: SOT 419663 SOS 298142 HAS SOPS 178373 HAS SOUS 32366 HAS SOUPS 18729 WITH SCORE 19027.142
AT ITER 2239 NEW BEST:: SOT 418860 SOS 297383 HAS SOPS 177838 HAS SOUS 32330 HAS SOUPS 18669 WITH SCORE 18966.383
AT ITER 2240 NEW BEST:: SOT 418848 SOS 297359 HAS SOPS 177814 HAS SOUS 32318 HAS SOUPS 18657 WITH SCORE 18954.359
AT ITER 2296 NEW BEST:: SOT 418866 SOS 297203 HAS SOPS 177706 HAS SOUS 32312 HAS SOUPS 18643 WITH SCORE 18940.203
AT ITER 2332 NEW BEST:: SOT 418914 SOS 297347 HAS SOPS 177742 HAS SOUS 32276 HAS SOUPS 18607 WITH SCORE 18904.347
AT ITER 2333 NEW BEST:: SOT 418924 SOS 297207 HAS SOPS 177779 HAS SOUS 32254 HAS SOUPS 18598 WITH SCORE 18895.207
AT ITER 2345 NEW BEST:: SOT 418979 SOS 297917 HAS SOPS 177845 HAS SOUS 32075 HAS SOUPS 18577 WITH SCORE 18874.917
AT ITER 2352 NEW BEST:: SOT 418970 SOS 298116 HAS SOPS 177849 HAS SOUS 32073 HAS SOUPS 18571 WITH SCORE 18869.116
AT ITER 2378 NEW BEST:: SOT 418918 SOS 299826 HAS SOPS 179559 HAS SOUS 32063 HAS SOUPS 18561 WITH SCORE 18860.826
AT ITER 2383 NEW BEST:: SOT 418918 SOS 299817 HAS SOPS 179559 HAS SOUS 32054 HAS SOUPS 18561 WITH SCORE 18860.817
AT ITER 2389 NEW BEST:: SOT 418657 SOS 299162 HAS SOPS 179320 HAS SOUS 32135 HAS SOUPS 18561 WITH SCORE 18860.162
AT ITER 2402 NEW BEST:: SOT 418616 SOS 299121 HAS SOPS 179320 HAS SOUS 32110 HAS SOUPS 18540 WITH SCORE 18839.121
AT ITER 2414 NEW BEST:: SOT 418598 SOS 298851 HAS SOPS 179284 HAS SOUS 32074 HAS SOUPS 18522 WITH SCORE 18820.851
AT ITER 2435 NEW BEST:: SOT 417957 SOS 298082 HAS SOPS 178835 HAS SOUS 32073 HAS SOUPS 18521 WITH SCORE 18819.082
AT ITER 2438 NEW BEST:: SOT 418231 SOS 298307 HAS SOPS 179109 HAS SOUS 32004 HAS SOUPS 18501 WITH SCORE 18799.307
AT ITER 2450 NEW BEST:: SOT 418213 SOS 298287 HAS SOPS 179093 HAS SOUS 31988 HAS SOUPS 18485 WITH SCORE 18783.287
AT ITER 2451 NEW BEST:: SOT 418213 SOS 298240 HAS SOPS 179046 HAS SOUS 31985 HAS SOUPS 18482 WITH SCORE 18780.24
AT ITER 2456 NEW BEST:: SOT 418353 SOS 298562 HAS SOPS 179130 HAS SOUS 31982 HAS SOUPS 18479 WITH SCORE 18777.562
AT ITER 2479 NEW BEST:: SOT 417400 SOS 295889 HAS SOPS 176729 HAS SOUS 32002 HAS SOUPS 18432 WITH SCORE 18727.889
AT ITER 2493 NEW BEST:: SOT 417376 SOS 295865 HAS SOPS 176705 HAS SOUS 32002 HAS SOUPS 18432 WITH SCORE 18727.865
AT ITER 2510 NEW BEST:: SOT 417363 SOS 295839 HAS SOPS 176692 HAS SOUS 31976 HAS SOUPS 18419 WITH SCORE 18714.839
AT ITER 2513 NEW BEST:: SOT 417374 SOS 294222 HAS SOPS 175075 HAS SOUS 31972 HAS SOUPS 18415 WITH SCORE 18709.222
AT ITER 2525 NEW BEST:: SOT 417404 SOS 294265 HAS SOPS 175118 HAS SOUS 31952 HAS SOUPS 18395 WITH SCORE 18689.265
AT ITER 2542 NEW BEST:: SOT 417503 SOS 294507 HAS SOPS 175184 HAS SOUS 31953 HAS SOUPS 18385 WITH SCORE 18679.507
AT ITER 2544 NEW BEST:: SOT 417497 SOS 294495 HAS SOPS 175172 HAS SOUS 31947 HAS SOUPS 18379 WITH SCORE 18673.495
AT ITER 2554 NEW BEST:: SOT 417522 SOS 294520 HAS SOPS 174872 HAS SOUS 31963 HAS SOUPS 18370 WITH SCORE 18664.52
AT ITER 2556 NEW BEST:: SOT 417212 SOS 294210 HAS SOPS 174717 HAS SOUS 31963 HAS SOUPS 18370 WITH SCORE 18664.21
AT ITER 2567 NEW BEST:: SOT 416992 SOS 292630 HAS SOPS 173437 HAS SOUS 31923 HAS SOUPS 18330 WITH SCORE 18622.63
AT ITER 2602 NEW BEST:: SOT 416983 SOS 292612 HAS SOPS 173433 HAS SOUS 31921 HAS SOUPS 18328 WITH SCORE 18620.612
AT ITER 2607 NEW BEST:: SOT 416983 SOS 292612 HAS SOPS 173433 HAS SOUS 31876 HAS SOUPS 18303 WITH SCORE 18595.612
AT ITER 2628 NEW BEST:: SOT 416707 SOS 292336 HAS SOPS 173157 HAS SOUS 31876 HAS SOUPS 18303 WITH SCORE 18595.336
AT ITER 2635 NEW BEST:: SOT 416689 SOS 292355 HAS SOPS 173180 HAS SOUS 31846 HAS SOUPS 18273 WITH SCORE 18565.355
AT ITER 2636 NEW BEST:: SOT 416743 SOS 292409 HAS SOPS 173234 HAS SOUS 31840 HAS SOUPS 18269 WITH SCORE 18561.409
AT ITER 2651 NEW BEST:: SOT 416735 SOS 292419 HAS SOPS 173153 HAS SOUS 31842 HAS SOUPS 18264 WITH SCORE 18556.419
AT ITER 2658 NEW BEST:: SOT 416676 SOS 289815 HAS SOPS 170991 HAS SOUS 31753 HAS SOUPS 18209 WITH SCORE 18498.815
AT ITER 2670 NEW BEST:: SOT 416646 SOS 289798 HAS SOPS 170972 HAS SOUS 31719 HAS SOUPS 18182 WITH SCORE 18471.798
AT ITER 2679 NEW BEST:: SOT 416717 SOS 289879 HAS SOPS 171003 HAS SOUS 31694 HAS SOUPS 18157 WITH SCORE 18446.879
AT ITER 2696 NEW BEST:: SOT 416714 SOS 289798 HAS SOPS 170961 HAS SOUS 31685 HAS SOUPS 18151 WITH SCORE 18440.798
AT ITER 2710 NEW BEST:: SOT 416705 SOS 289780 HAS SOPS 170952 HAS SOUS 31669 HAS SOUPS 18144 WITH SCORE 18433.78
AT ITER 2718 NEW BEST:: SOT 416625 SOS 289588 HAS SOPS 170893 HAS SOUS 31639 HAS SOUPS 18142 WITH SCORE 18431.588
AT ITER 2728 NEW BEST:: SOT 416668 SOS 289631 HAS SOPS 170903 HAS SOUS 31604 HAS SOUPS 18127 WITH SCORE 18416.631
AT ITER 2736 NEW BEST:: SOT 416648 SOS 289611 HAS SOPS 170903 HAS SOUS 31602 HAS SOUPS 18125 WITH SCORE 18414.611
AT ITER 2741 NEW BEST:: SOT 416638 SOS 289591 HAS SOPS 170903 HAS SOUS 31502 HAS SOUPS 18075 WITH SCORE 18364.591
AT ITER 2771 NEW BEST:: SOT 416651 SOS 289586 HAS SOPS 170901 HAS SOUS 31482 HAS SOUPS 18073 WITH SCORE 18362.586
AT ITER 2793 NEW BEST:: SOT 415998 SOS 287174 HAS SOPS 169619 HAS SOUS 31429 HAS SOUPS 18059 WITH SCORE 18346.174
AT ITER 2818 NEW BEST:: SOT 415998 SOS 287174 HAS SOPS 169619 HAS SOUS 31420 HAS SOUPS 18054 WITH SCORE 18341.174
AT ITER 2825 NEW BEST:: SOT 415995 SOS 287169 HAS SOPS 169618 HAS SOUS 31417 HAS SOUPS 18053 WITH SCORE 18340.169
AT ITER 2827 NEW BEST:: SOT 415963 SOS 286770 HAS SOPS 169225 HAS SOUS 31398 HAS SOUPS 18035 WITH SCORE 18321.77
AT ITER 2890 NEW BEST:: SOT 415817 SOS 286608 HAS SOPS 169129 HAS SOUS 31394 HAS SOUPS 18031 WITH SCORE 18317.608
AT ITER 2917 NEW BEST:: SOT 415813 SOS 286604 HAS SOPS 169125 HAS SOUS 31390 HAS SOUPS 18027 WITH SCORE 18313.604
AT ITER 2950 NEW BEST:: SOT 415918 SOS 286689 HAS SOPS 169230 HAS SOUS 31355 HAS SOUPS 18012 WITH SCORE 18298.689
AT ITER 2957 NEW BEST:: SOT 415918 SOS 286682 HAS SOPS 169223 HAS SOUS 31355 HAS SOUPS 18012 WITH SCORE 18298.682
AT ITER 3037 NEW BEST:: SOT 415918 SOS 286406 HAS SOPS 168947 HAS SOUS 31351 HAS SOUPS 18008 WITH SCORE 18294.406
AT ITER 3039 NEW BEST:: SOT 415870 SOS 285491 HAS SOPS 168032 HAS SOUS 31257 HAS SOUPS 17914 WITH SCORE 18199.491
AT ITER 3056 NEW BEST:: SOT 415732 SOS 285065 HAS SOPS 167666 HAS SOUS 31239 HAS SOUPS 17896 WITH SCORE 18181.065
AT ITER 3057 NEW BEST:: SOT 416039 SOS 285402 HAS SOPS 167877 HAS SOUS 31221 HAS SOUPS 17892 WITH SCORE 18177.402
AT ITER 3126 NEW BEST:: SOT 416102 SOS 285465 HAS SOPS 167868 HAS SOUS 31216 HAS SOUPS 17887 WITH SCORE 18172.465
AT ITER 3128 NEW BEST:: SOT 416102 SOS 285462 HAS SOPS 167868 HAS SOUS 31186 HAS SOUPS 17872 WITH SCORE 18157.462
AT ITER 3143 NEW BEST:: SOT 415916 SOS 285276 HAS SOPS 167682 HAS SOUS 31186 HAS SOUPS 17872 WITH SCORE 18157.276
AT ITER 3149 NEW BEST:: SOT 415907 SOS 285090 HAS SOPS 167496 HAS SOUS 31177 HAS SOUPS 17863 WITH SCORE 18148.09
AT ITER 3157 NEW BEST:: SOT 415884 SOS 285030 HAS SOPS 167473 HAS SOUS 31117 HAS SOUPS 17840 WITH SCORE 18125.03
AT ITER 3158 NEW BEST:: SOT 416050 SOS 285305 HAS SOPS 167665 HAS SOUS 31114 HAS SOUPS 17837 WITH SCORE 18122.305
AT ITER 3170 NEW BEST:: SOT 416062 SOS 284257 HAS SOPS 166773 HAS SOUS 31102 HAS SOUPS 17837 WITH SCORE 18121.257
AT ITER 3199 NEW BEST:: SOT 415960 SOS 284054 HAS SOPS 166613 HAS SOUS 31097 HAS SOUPS 17832 WITH SCORE 18116.054
AT ITER 3206 NEW BEST:: SOT 415931 SOS 285024 HAS SOPS 167583 HAS SOUS 31084 HAS SOUPS 17819 WITH SCORE 18104.024
AT ITER 3262 NEW BEST:: SOT 415910 SOS 284642 HAS SOPS 167411 HAS SOUS 31074 HAS SOUPS 17809 WITH SCORE 18093.642
AT ITER 3269 NEW BEST:: SOT 415910 SOS 284360 HAS SOPS 167129 HAS SOUS 31072 HAS SOUPS 17807 WITH SCORE 18091.36
AT ITER 3276 NEW BEST:: SOT 415919 SOS 284369 HAS SOPS 167129 HAS SOUS 31036 HAS SOUPS 17787 WITH SCORE 18071.369
AT ITER 3293 NEW BEST:: SOT 416749 SOS 286526 HAS SOPS 167924 HAS SOUS 31084 HAS SOUPS 17761 WITH SCORE 18047.526
AT ITER 3308 NEW BEST:: SOT 416601 SOS 286056 HAS SOPS 167510 HAS SOUS 31098 HAS SOUPS 17761 WITH SCORE 18047.056
AT ITER 3319 NEW BEST:: SOT 416148 SOS 285067 HAS SOPS 167245 HAS SOUS 31042 HAS SOUPS 17739 WITH SCORE 18024.067
AT ITER 3329 NEW BEST:: SOT 416102 SOS 284990 HAS SOPS 167230 HAS SOUS 30996 HAS SOUPS 17724 WITH SCORE 18008.99
AT ITER 3346 NEW BEST:: SOT 415978 SOS 284754 HAS SOPS 167134 HAS SOUS 30976 HAS SOUPS 17704 WITH SCORE 17988.754
AT ITER 3361 NEW BEST:: SOT 415926 SOS 284635 HAS SOPS 167104 HAS SOUS 30961 HAS SOUPS 17704 WITH SCORE 17988.635
AT ITER 3396 NEW BEST:: SOT 415927 SOS 284626 HAS SOPS 167073 HAS SOUS 30920 HAS SOUPS 17673 WITH SCORE 17957.626
AT ITER 3412 NEW BEST:: SOT 415919 SOS 284574 HAS SOPS 167053 HAS SOUS 30904 HAS SOUPS 17661 WITH SCORE 17945.574
AT ITER 3441 NEW BEST:: SOT 415919 SOS 284574 HAS SOPS 167053 HAS SOUS 30901 HAS SOUPS 17659 WITH SCORE 17943.574
AT ITER 3443 NEW BEST:: SOT 415919 SOS 284574 HAS SOPS 167053 HAS SOUS 30865 HAS SOUPS 17639 WITH SCORE 17923.574
AT ITER 3474 NEW BEST:: SOT 416116 SOS 284760 HAS SOPS 167261 HAS SOUS 30828 HAS SOUPS 17613 WITH SCORE 17897.76
AT ITER 3477 NEW BEST:: SOT 416121 SOS 284370 HAS SOPS 166936 HAS SOUS 30818 HAS SOUPS 17608 WITH SCORE 17892.37
AT ITER 3488 NEW BEST:: SOT 416724 SOS 285095 HAS SOPS 167356 HAS SOUS 30811 HAS SOUPS 17601 WITH SCORE 17886.095
AT ITER 3542 NEW BEST:: SOT 416667 SOS 285038 HAS SOPS 167356 HAS SOUS 30811 HAS SOUPS 17601 WITH SCORE 17886.038
AT ITER 3567 NEW BEST:: SOT 416522 SOS 284780 HAS SOPS 167258 HAS SOUS 30794 HAS SOUPS 17584 WITH SCORE 17868.78
AT ITER 3577 NEW BEST:: SOT 416414 SOS 284672 HAS SOPS 167150 HAS SOUS 30794 HAS SOUPS 17584 WITH SCORE 17868.672
AT ITER 3612 NEW BEST:: SOT 415677 SOS 283935 HAS SOPS 166827 HAS SOUS 30753 HAS SOUPS 17543 WITH SCORE 17826.935
AT ITER 3647 NEW BEST:: SOT 415685 SOS 283801 HAS SOPS 166823 HAS SOUS 30739 HAS SOUPS 17539 WITH SCORE 17822.801
AT ITER 3675 NEW BEST:: SOT 416637 SOS 284882 HAS SOPS 167646 HAS SOUS 30794 HAS SOUPS 17534 WITH SCORE 17818.882
AT ITER 3688 NEW BEST:: SOT 416632 SOS 284807 HAS SOPS 167571 HAS SOUS 30789 HAS SOUPS 17529 WITH SCORE 17813.807
AT ITER 3689 NEW BEST:: SOT 417015 SOS 285537 HAS SOPS 167833 HAS SOUS 30789 HAS SOUPS 17516 WITH SCORE 17801.537
AT ITER 3708 NEW BEST:: SOT 417015 SOS 285537 HAS SOPS 167833 HAS SOUS 30780 HAS SOUPS 17511 WITH SCORE 17796.537
AT ITER 3723 NEW BEST:: SOT 417111 SOS 285633 HAS SOPS 167929 HAS SOUS 30777 HAS SOUPS 17509 WITH SCORE 17794.633
AT ITER 3727 NEW BEST:: SOT 417111 SOS 285633 HAS SOPS 167929 HAS SOUS 30767 HAS SOUPS 17499 WITH SCORE 17784.633
AT ITER 3729 NEW BEST:: SOT 417049 SOS 286162 HAS SOPS 168219 HAS SOUS 30752 HAS SOUPS 17484 WITH SCORE 17770.162
AT ITER 3756 NEW BEST:: SOT 416878 SOS 281741 HAS SOPS 164240 HAS SOUS 30696 HAS SOUPS 17428 WITH SCORE 17709.741
AT ITER 3800 NEW BEST:: SOT 416873 SOS 281666 HAS SOPS 164165 HAS SOUS 30691 HAS SOUPS 17423 WITH SCORE 17704.666
AT ITER 3804 NEW BEST:: SOT 416114 SOS 279245 HAS SOPS 161846 HAS SOUS 30670 HAS SOUPS 17332 WITH SCORE 17611.245
AT ITER 3825 NEW BEST:: SOT 416090 SOS 279296 HAS SOPS 161825 HAS SOUS 30676 HAS SOUPS 17329 WITH SCORE 17608.296
AT ITER 3838 NEW BEST:: SOT 416084 SOS 279310 HAS SOPS 161825 HAS SOUS 30684 HAS SOUPS 17317 WITH SCORE 17596.31
AT ITER 3881 NEW BEST:: SOT 416184 SOS 279500 HAS SOPS 161885 HAS SOUS 30664 HAS SOUPS 17297 WITH SCORE 17576.5
AT ITER 3925 NEW BEST:: SOT 416306 SOS 279622 HAS SOPS 161935 HAS SOUS 30654 HAS SOUPS 17287 WITH SCORE 17566.622
AT ITER 3952 NEW BEST:: SOT 416306 SOS 279637 HAS SOPS 161935 HAS SOUS 30667 HAS SOUPS 17285 WITH SCORE 17564.637
AT ITER 3967 NEW BEST:: SOT 416309 SOS 279651 HAS SOPS 161938 HAS SOUS 30688 HAS SOUPS 17283 WITH SCORE 17562.651
AT ITER 3969 NEW BEST:: SOT 416336 SOS 280069 HAS SOPS 162083 HAS SOUS 30686 HAS SOUPS 17260 WITH SCORE 17540.069
AT ITER 3983 NEW BEST:: SOT 416319 SOS 280035 HAS SOPS 162066 HAS SOUS 30660 HAS SOUPS 17251 WITH SCORE 17531.035
AT ITER 4040 NEW BEST:: SOT 416319 SOS 280035 HAS SOPS 162066 HAS SOUS 30633 HAS SOUPS 17236 WITH SCORE 17516.035
AT ITER 4056 NEW BEST:: SOT 416326 SOS 279978 HAS SOPS 161985 HAS SOUS 30599 HAS SOUPS 17211 WITH SCORE 17490.978
AT ITER 4061 NEW BEST:: SOT 415908 SOS 278560 HAS SOPS 161251 HAS SOUS 30550 HAS SOUPS 17200 WITH SCORE 17478.56
AT ITER 4065 NEW BEST:: SOT 415908 SOS 278556 HAS SOPS 161247 HAS SOUS 30544 HAS SOUPS 17194 WITH SCORE 17472.556
AT ITER 4073 NEW BEST:: SOT 415905 SOS 278553 HAS SOPS 161247 HAS SOUS 30544 HAS SOUPS 17194 WITH SCORE 17472.553
AT ITER 4091 NEW BEST:: SOT 415542 SOS 278205 HAS SOPS 160869 HAS SOUS 30559 HAS SOUPS 17194 WITH SCORE 17472.205
AT ITER 4097 NEW BEST:: SOT 415524 SOS 278187 HAS SOPS 160851 HAS SOUS 30537 HAS SOUPS 17172 WITH SCORE 17450.187
AT ITER 4145 NEW BEST:: SOT 415096 SOS 277070 HAS SOPS 160408 HAS SOUS 30487 HAS SOUPS 17161 WITH SCORE 17438.07
AT ITER 4156 NEW BEST:: SOT 415085 SOS 276916 HAS SOPS 160254 HAS SOUS 30476 HAS SOUPS 17150 WITH SCORE 17426.916
AT ITER 4181 NEW BEST:: SOT 415056 SOS 276695 HAS SOPS 159949 HAS SOUS 30485 HAS SOUPS 17131 WITH SCORE 17407.695
AT ITER 4182 NEW BEST:: SOT 414888 SOS 276373 HAS SOPS 159837 HAS SOUS 30457 HAS SOUPS 17117 WITH SCORE 17393.373
AT ITER 4234 NEW BEST:: SOT 414898 SOS 276323 HAS SOPS 159837 HAS SOUS 30447 HAS SOUPS 17112 WITH SCORE 17388.323
AT ITER 4238 NEW BEST:: SOT 414817 SOS 276125 HAS SOPS 159765 HAS SOUS 30447 HAS SOUPS 17103 WITH SCORE 17379.125
AT ITER 4244 NEW BEST:: SOT 414816 SOS 276124 HAS SOPS 159765 HAS SOUS 30447 HAS SOUPS 17103 WITH SCORE 17379.124
AT ITER 4265 NEW BEST:: SOT 414830 SOS 276256 HAS SOPS 159793 HAS SOUS 30453 HAS SOUPS 17101 WITH SCORE 17377.256
AT ITER 4269 NEW BEST:: SOT 414819 SOS 276091 HAS SOPS 159719 HAS SOUS 30438 HAS SOUPS 17093 WITH SCORE 17369.091
AT ITER 4278 NEW BEST:: SOT 414288 SOS 275159 HAS SOPS 158959 HAS SOUS 30446 HAS SOUPS 17085 WITH SCORE 17360.159
AT ITER 4281 NEW BEST:: SOT 414274 SOS 274967 HAS SOPS 158919 HAS SOUS 30414 HAS SOUPS 17065 WITH SCORE 17339.967
AT ITER 4283 NEW BEST:: SOT 414266 SOS 274966 HAS SOPS 158983 HAS SOUS 30401 HAS SOUPS 17057 WITH SCORE 17331.966
AT ITER 4333 NEW BEST:: SOT 413692 SOS 273292 HAS SOPS 158183 HAS SOUS 30306 HAS SOUPS 17010 WITH SCORE 17283.292
AT ITER 4351 NEW BEST:: SOT 413692 SOS 273301 HAS SOPS 158180 HAS SOUS 30307 HAS SOUPS 17008 WITH SCORE 17281.301
AT ITER 4358 NEW BEST:: SOT 413671 SOS 273200 HAS SOPS 158137 HAS SOUS 30285 HAS SOUPS 17006 WITH SCORE 17279.2
AT ITER 4391 NEW BEST:: SOT 413501 SOS 272996 HAS SOPS 158018 HAS SOUS 30234 HAS SOUPS 16971 WITH SCORE 17243.996
AT ITER 4395 NEW BEST:: SOT 413501 SOS 272996 HAS SOPS 158018 HAS SOUS 30231 HAS SOUPS 16969 WITH SCORE 17241.996
AT ITER 4434 NEW BEST:: SOT 413501 SOS 272858 HAS SOPS 157940 HAS SOUS 30219 HAS SOUPS 16963 WITH SCORE 17235.858
AT ITER 4439 NEW BEST:: SOT 413500 SOS 272857 HAS SOPS 157940 HAS SOUS 30217 HAS SOUPS 16961 WITH SCORE 17233.857
AT ITER 4441 NEW BEST:: SOT 413686 SOS 273050 HAS SOPS 158048 HAS SOUS 30214 HAS SOUPS 16958 WITH SCORE 17231.05
AT ITER 4468 NEW BEST:: SOT 413771 SOS 268939 HAS SOPS 154129 HAS SOUS 30217 HAS SOUPS 16961 WITH SCORE 17229.939
AT ITER 4480 NEW BEST:: SOT 413830 SOS 268998 HAS SOPS 154117 HAS SOUS 30205 HAS SOUPS 16949 WITH SCORE 17217.998
AT ITER 4508 NEW BEST:: SOT 413804 SOS 268790 HAS SOPS 154091 HAS SOUS 30179 HAS SOUPS 16936 WITH SCORE 17204.79
AT ITER 4509 NEW BEST:: SOT 413810 SOS 268796 HAS SOPS 154097 HAS SOUS 30176 HAS SOUPS 16934 WITH SCORE 17202.796
AT ITER 4565 NEW BEST:: SOT 413741 SOS 268724 HAS SOPS 154061 HAS SOUS 30170 HAS SOUPS 16928 WITH SCORE 17196.724
AT ITER 4588 NEW BEST:: SOT 413739 SOS 268460 HAS SOPS 154327 HAS SOUS 30115 HAS SOUPS 16926 WITH SCORE 17194.46
AT ITER 4591 NEW BEST:: SOT 413781 SOS 268567 HAS SOPS 154354 HAS SOUS 30112 HAS SOUPS 16923 WITH SCORE 17191.567
AT ITER 4594 NEW BEST:: SOT 413458 SOS 268128 HAS SOPS 154083 HAS SOUS 30098 HAS SOUPS 16909 WITH SCORE 17177.128
AT ITER 4603 NEW BEST:: SOT 413446 SOS 268116 HAS SOPS 154071 HAS SOUS 30098 HAS SOUPS 16909 WITH SCORE 17177.116
AT ITER 4613 NEW BEST:: SOT 413380 SOS 267940 HAS SOPS 154027 HAS SOUS 30109 HAS SOUPS 16909 WITH SCORE 17176.94
AT ITER 4630 NEW BEST:: SOT 413374 SOS 267934 HAS SOPS 154021 HAS SOUS 30109 HAS SOUPS 16909 WITH SCORE 17176.934
AT ITER 4650 NEW BEST:: SOT 413383 SOS 267945 HAS SOPS 154027 HAS SOUS 30108 HAS SOUPS 16908 WITH SCORE 17175.945
AT ITER 4652 NEW BEST:: SOT 413365 SOS 267925 HAS SOPS 154017 HAS SOUS 30104 HAS SOUPS 16904 WITH SCORE 17171.925
AT ITER 4673 NEW BEST:: SOT 413320 SOS 267600 HAS SOPS 153857 HAS SOUS 30099 HAS SOUPS 16904 WITH SCORE 17171.6
AT ITER 4721 NEW BEST:: SOT 413315 SOS 267525 HAS SOPS 153873 HAS SOUS 30086 HAS SOUPS 16898 WITH SCORE 17165.525
AT ITER 4766 NEW BEST:: SOT 413308 SOS 267571 HAS SOPS 153859 HAS SOUS 30084 HAS SOUPS 16890 WITH SCORE 17157.571
AT ITER 4768 NEW BEST:: SOT 413030 SOS 267032 HAS SOPS 153668 HAS SOUS 29985 HAS SOUPS 16876 WITH SCORE 17143.032
AT ITER 4776 NEW BEST:: SOT 413022 SOS 267018 HAS SOPS 153664 HAS SOUS 29983 HAS SOUPS 16876 WITH SCORE 17143.018
AT ITER 4798 NEW BEST:: SOT 412256 SOS 266102 HAS SOPS 152886 HAS SOUS 30004 HAS SOUPS 16841 WITH SCORE 17107.102
AT ITER 4802 NEW BEST:: SOT 412302 SOS 266212 HAS SOPS 152922 HAS SOUS 29978 HAS SOUPS 16829 WITH SCORE 17095.212
AT ITER 4805 NEW BEST:: SOT 412232 SOS 266100 HAS SOPS 152884 HAS SOUS 29956 HAS SOUPS 16815 WITH SCORE 17081.1
AT ITER 4814 NEW BEST:: SOT 411840 SOS 265311 HAS SOPS 152564 HAS SOUS 29869 HAS SOUPS 16810 WITH SCORE 17075.311
AT ITER 4829 NEW BEST:: SOT 411385 SOS 265009 HAS SOPS 152203 HAS SOUS 29884 HAS SOUPS 16810 WITH SCORE 17075.009
AT ITER 4833 NEW BEST:: SOT 411320 SOS 264804 HAS SOPS 152093 HAS SOUS 29869 HAS SOUPS 16800 WITH SCORE 17064.804
AT ITER 4850 NEW BEST:: SOT 411173 SOS 264657 HAS SOPS 151967 HAS SOUS 29869 HAS SOUPS 16800 WITH SCORE 17064.657
AT ITER 4868 NEW BEST:: SOT 411172 SOS 264590 HAS SOPS 151952 HAS SOUS 29864 HAS SOUPS 16799 WITH SCORE 17063.59
AT ITER 4878 NEW BEST:: SOT 411155 SOS 264580 HAS SOPS 152098 HAS SOUS 29850 HAS SOUPS 16797 WITH SCORE 17061.58
AT ITER 4913 NEW BEST:: SOT 411140 SOS 264550 HAS SOPS 152098 HAS SOUS 29835 HAS SOUPS 16797 WITH SCORE 17061.55
AT ITER 4940 NEW BEST:: SOT 411278 SOS 264895 HAS SOPS 152190 HAS SOUS 29819 HAS SOUPS 16781 WITH SCORE 17045.895
AT ITER 4982 NEW BEST:: SOT 411288 SOS 264865 HAS SOPS 152200 HAS SOUS 29814 HAS SOUPS 16781 WITH SCORE 17045.865
AT ITER 5003 NEW BEST:: SOT 411360 SOS 264937 HAS SOPS 152272 HAS SOUS 29793 HAS SOUPS 16766 WITH SCORE 17030.937
AT ITER 5069 NEW BEST:: SOT 411376 SOS 264937 HAS SOPS 152272 HAS SOUS 29761 HAS SOUPS 16734 WITH SCORE 16998.937
AT ITER 5092 NEW BEST:: SOT 411373 SOS 264879 HAS SOPS 152214 HAS SOUS 29749 HAS SOUPS 16722 WITH SCORE 16986.879
AT ITER 5112 NEW BEST:: SOT 411347 SOS 263403 HAS SOPS 150972 HAS SOUS 29724 HAS SOUPS 16715 WITH SCORE 16978.403
AT ITER 5124 NEW BEST:: SOT 411343 SOS 263395 HAS SOPS 150972 HAS SOUS 29720 HAS SOUPS 16715 WITH SCORE 16978.395
AT ITER 5142 NEW BEST:: SOT 410724 SOS 261982 HAS SOPS 150577 HAS SOUS 29642 HAS SOUPS 16694 WITH SCORE 16955.982
AT ITER 5144 NEW BEST:: SOT 410752 SOS 262010 HAS SOPS 150565 HAS SOUS 29630 HAS SOUPS 16682 WITH SCORE 16944.01
AT ITER 5168 NEW BEST:: SOT 410752 SOS 262124 HAS SOPS 150679 HAS SOUS 29628 HAS SOUPS 16680 WITH SCORE 16942.124
AT ITER 5169 NEW BEST:: SOT 410707 SOS 262034 HAS SOPS 150634 HAS SOUS 29538 HAS SOUPS 16635 WITH SCORE 16897.034
AT ITER 5191 NEW BEST:: SOT 410703 SOS 261782 HAS SOPS 150402 HAS SOUS 29524 HAS SOUPS 16623 WITH SCORE 16884.782
AT ITER 5208 NEW BEST:: SOT 410618 SOS 261632 HAS SOPS 150370 HAS SOUS 29484 HAS SOUPS 16603 WITH SCORE 16864.632
AT ITER 5238 NEW BEST:: SOT 410594 SOS 261039 HAS SOPS 150232 HAS SOUS 29441 HAS SOUPS 16595 WITH SCORE 16856.039
AT ITER 5243 NEW BEST:: SOT 410610 SOS 261122 HAS SOPS 150315 HAS SOUS 29435 HAS SOUPS 16589 WITH SCORE 16850.122
AT ITER 5269 NEW BEST:: SOT 410919 SOS 261489 HAS SOPS 150521 HAS SOUS 29402 HAS SOUPS 16558 WITH SCORE 16819.489
AT ITER 5328 NEW BEST:: SOT 410650 SOS 260968 HAS SOPS 150336 HAS SOUS 29304 HAS SOUPS 16544 WITH SCORE 16804.968
AT ITER 5336 NEW BEST:: SOT 410633 SOS 260934 HAS SOPS 150319 HAS SOUS 29270 HAS SOUPS 16527 WITH SCORE 16787.934
AT ITER 5360 NEW BEST:: SOT 410633 SOS 260938 HAS SOPS 150319 HAS SOUS 29270 HAS SOUPS 16523 WITH SCORE 16783.938
AT ITER 5376 NEW BEST:: SOT 410640 SOS 260732 HAS SOPS 150178 HAS SOUS 29262 HAS SOUPS 16520 WITH SCORE 16780.732
AT ITER 5413 NEW BEST:: SOT 410570 SOS 260132 HAS SOPS 149878 HAS SOUS 29262 HAS SOUPS 16520 WITH SCORE 16780.132
AT ITER 5418 NEW BEST:: SOT 410496 SOS 260044 HAS SOPS 149825 HAS SOUS 29258 HAS SOUPS 16516 WITH SCORE 16776.044
AT ITER 5441 NEW BEST:: SOT 410336 SOS 259794 HAS SOPS 149575 HAS SOUS 29258 HAS SOUPS 16496 WITH SCORE 16755.794
AT ITER 5459 NEW BEST:: SOT 410281 SOS 259736 HAS SOPS 149541 HAS SOUS 29255 HAS SOUPS 16493 WITH SCORE 16752.736
AT ITER 5492 NEW BEST:: SOT 410305 SOS 259796 HAS SOPS 149559 HAS SOUS 29246 HAS SOUPS 16487 WITH SCORE 16746.796
AT ITER 5497 NEW BEST:: SOT 410118 SOS 259614 HAS SOPS 149367 HAS SOUS 29251 HAS SOUPS 16487 WITH SCORE 16746.614
AT ITER 5519 NEW BEST:: SOT 410100 SOS 259578 HAS SOPS 149331 HAS SOUS 29233 HAS SOUPS 16469 WITH SCORE 16728.578
AT ITER 5532 NEW BEST:: SOT 410060 SOS 259366 HAS SOPS 149195 HAS SOUS 29225 HAS SOUPS 16465 WITH SCORE 16724.366
AT ITER 5533 NEW BEST:: SOT 410062 SOS 259352 HAS SOPS 149298 HAS SOUS 29209 HAS SOUPS 16458 WITH SCORE 16717.352
AT ITER 5580 NEW BEST:: SOT 410059 SOS 259307 HAS SOPS 149253 HAS SOUS 29207 HAS SOUPS 16456 WITH SCORE 16715.307
AT ITER 5587 NEW BEST:: SOT 410036 SOS 259265 HAS SOPS 149234 HAS SOUS 29173 HAS SOUPS 16437 WITH SCORE 16696.265
AT ITER 5611 NEW BEST:: SOT 410036 SOS 259270 HAS SOPS 149234 HAS SOUS 29176 HAS SOUPS 16435 WITH SCORE 16694.27
AT ITER 5622 NEW BEST:: SOT 409986 SOS 259210 HAS SOPS 149199 HAS SOUS 29167 HAS SOUPS 16430 WITH SCORE 16689.21
AT ITER 5635 NEW BEST:: SOT 410325 SOS 259617 HAS SOPS 149436 HAS SOUS 29166 HAS SOUPS 16429 WITH SCORE 16688.617
AT ITER 5638 NEW BEST:: SOT 409938 SOS 259203 HAS SOPS 149212 HAS SOUS 29149 HAS SOUPS 16412 WITH SCORE 16671.203
AT ITER 5644 NEW BEST:: SOT 409929 SOS 259406 HAS SOPS 149206 HAS SOUS 29147 HAS SOUPS 16399 WITH SCORE 16658.406
AT ITER 5651 NEW BEST:: SOT 409918 SOS 259395 HAS SOPS 149206 HAS SOUS 29131 HAS SOUPS 16383 WITH SCORE 16642.395
AT ITER 5665 NEW BEST:: SOT 409850 SOS 259203 HAS SOPS 149141 HAS SOUS 29098 HAS SOUPS 16381 WITH SCORE 16640.203
AT ITER 5681 NEW BEST:: SOT 409846 SOS 259143 HAS SOPS 149107 HAS SOUS 29092 HAS SOUPS 16377 WITH SCORE 16636.143
AT ITER 5688 NEW BEST:: SOT 409804 SOS 259101 HAS SOPS 149065 HAS SOUS 29092 HAS SOUPS 16377 WITH SCORE 16636.101
AT ITER 5701 NEW BEST:: SOT 409802 SOS 259014 HAS SOPS 148991 HAS SOUS 29089 HAS SOUPS 16375 WITH SCORE 16634.014
AT ITER 5706 NEW BEST:: SOT 409788 SOS 258986 HAS SOPS 148991 HAS SOUS 29075 HAS SOUPS 16375 WITH SCORE 16633.986
AT ITER 5708 NEW BEST:: SOT 409743 SOS 258931 HAS SOPS 148961 HAS SOUS 29070 HAS SOUPS 16370 WITH SCORE 16628.931
AT ITER 5711 NEW BEST:: SOT 409041 SOS 256565 HAS SOPS 146853 HAS SOUS 29023 HAS SOUPS 16308 WITH SCORE 16564.565
AT ITER 5714 NEW BEST:: SOT 409081 SOS 255965 HAS SOPS 146373 HAS SOUS 29023 HAS SOUPS 16308 WITH SCORE 16563.965
AT ITER 5718 NEW BEST:: SOT 409101 SOS 255985 HAS SOPS 146370 HAS SOUS 29002 HAS SOUPS 16295 WITH SCORE 16550.985
AT ITER 5731 NEW BEST:: SOT 409092 SOS 255967 HAS SOPS 146370 HAS SOUS 28966 HAS SOUPS 16280 WITH SCORE 16535.967
AT ITER 5772 NEW BEST:: SOT 409045 SOS 255551 HAS SOPS 146040 HAS SOUS 28966 HAS SOUPS 16277 WITH SCORE 16532.551
AT ITER 5777 NEW BEST:: SOT 409129 SOS 255635 HAS SOPS 146124 HAS SOUS 28963 HAS SOUPS 16275 WITH SCORE 16530.635
AT ITER 5883 NEW BEST:: SOT 408740 SOS 254409 HAS SOPS 145514 HAS SOUS 28897 HAS SOUPS 16216 WITH SCORE 16470.409
AT ITER 5912 NEW BEST:: SOT 408671 SOS 254271 HAS SOPS 145492 HAS SOUS 28889 HAS SOUPS 16210 WITH SCORE 16464.271
AT ITER 5964 NEW BEST:: SOT 408653 SOS 254955 HAS SOPS 146046 HAS SOUS 28895 HAS SOUPS 16206 WITH SCORE 16460.955
AT ITER 5977 NEW BEST:: SOT 408632 SOS 254871 HAS SOPS 146032 HAS SOUS 28888 HAS SOUPS 16206 WITH SCORE 16460.871
AT ITER 6010 NEW BEST:: SOT 408534 SOS 254673 HAS SOPS 145944 HAS SOUS 28880 HAS SOUPS 16198 WITH SCORE 16452.673
AT ITER 6011 NEW BEST:: SOT 408522 SOS 254661 HAS SOPS 145932 HAS SOUS 28880 HAS SOUPS 16198 WITH SCORE 16452.661
AT ITER 6032 NEW BEST:: SOT 408537 SOS 254706 HAS SOPS 145932 HAS SOUS 28879 HAS SOUPS 16194 WITH SCORE 16448.706
AT ITER 6078 NEW BEST:: SOT 408464 SOS 254464 HAS SOPS 145720 HAS SOUS 28872 HAS SOUPS 16187 WITH SCORE 16441.464
AT ITER 6083 NEW BEST:: SOT 408464 SOS 254486 HAS SOPS 145720 HAS SOUS 28867 HAS SOUPS 16181 WITH SCORE 16435.486
AT ITER 6126 NEW BEST:: SOT 408448 SOS 254470 HAS SOPS 145720 HAS SOUS 28867 HAS SOUPS 16181 WITH SCORE 16435.47
AT ITER 6127 NEW BEST:: SOT 408367 SOS 254245 HAS SOPS 145540 HAS SOUS 28813 HAS SOUPS 16143 WITH SCORE 16397.245
AT ITER 6149 NEW BEST:: SOT 408300 SOS 254115 HAS SOPS 145494 HAS SOUS 28790 HAS SOUPS 16141 WITH SCORE 16395.115
AT ITER 6155 NEW BEST:: SOT 408279 SOS 252149 HAS SOPS 143866 HAS SOUS 28743 HAS SOUPS 16120 WITH SCORE 16372.149
AT ITER 6160 NEW BEST:: SOT 408177 SOS 252039 HAS SOPS 143796 HAS SOUS 28737 HAS SOUPS 16114 WITH SCORE 16366.039
AT ITER 6168 NEW BEST:: SOT 408053 SOS 251774 HAS SOPS 143552 HAS SOUS 28734 HAS SOUPS 16100 WITH SCORE 16351.774
AT ITER 6178 NEW BEST:: SOT 408053 SOS 251774 HAS SOPS 143552 HAS SOUS 28728 HAS SOUPS 16096 WITH SCORE 16347.774
AT ITER 6204 NEW BEST:: SOT 408051 SOS 251795 HAS SOPS 143552 HAS SOUS 28745 HAS SOUPS 16090 WITH SCORE 16341.795
AT ITER 6213 NEW BEST:: SOT 408065 SOS 251809 HAS SOPS 143552 HAS SOUS 28639 HAS SOUPS 16040 WITH SCORE 16291.809
AT ITER 6220 NEW BEST:: SOT 408003 SOS 251687 HAS SOPS 143496 HAS SOUS 28618 HAS SOUPS 16024 WITH SCORE 16275.687
AT ITER 6307 NEW BEST:: SOT 407772 SOS 251456 HAS SOPS 143298 HAS SOUS 28618 HAS SOUPS 16024 WITH SCORE 16275.456
AT ITER 6310 NEW BEST:: SOT 407772 SOS 251456 HAS SOPS 143298 HAS SOUS 28591 HAS SOUPS 16009 WITH SCORE 16260.456
AT ITER 6319 NEW BEST:: SOT 407760 SOS 251444 HAS SOPS 143286 HAS SOUS 28591 HAS SOUPS 16009 WITH SCORE 16260.444
AT ITER 6343 NEW BEST:: SOT 407800 SOS 251484 HAS SOPS 143289 HAS SOUS 28585 HAS SOUPS 16007 WITH SCORE 16258.484
AT ITER 6394 NEW BEST:: SOT 407933 SOS 251743 HAS SOPS 143380 HAS SOUS 28586 HAS SOUPS 15986 WITH SCORE 16237.743
AT ITER 6395 NEW BEST:: SOT 407911 SOS 251542 HAS SOPS 143206 HAS SOUS 28584 HAS SOUPS 15976 WITH SCORE 16227.542
AT ITER 6401 NEW BEST:: SOT 407896 SOS 251392 HAS SOPS 143176 HAS SOUS 28569 HAS SOUPS 15961 WITH SCORE 16212.392
AT ITER 6409 NEW BEST:: SOT 407861 SOS 251348 HAS SOPS 143144 HAS SOUS 28552 HAS SOUPS 15947 WITH SCORE 16198.348
AT ITER 6462 NEW BEST:: SOT 407937 SOS 251923 HAS SOPS 143422 HAS SOUS 28556 HAS SOUPS 15942 WITH SCORE 16193.923
AT ITER 6479 NEW BEST:: SOT 407334 SOS 250232 HAS SOPS 142703 HAS SOUS 28489 HAS SOUPS 15921 WITH SCORE 16171.232
AT ITER 6529 NEW BEST:: SOT 407322 SOS 250220 HAS SOPS 142703 HAS SOUS 28489 HAS SOUPS 15921 WITH SCORE 16171.22
AT ITER 6531 NEW BEST:: SOT 407322 SOS 250220 HAS SOPS 142703 HAS SOUS 28462 HAS SOUPS 15906 WITH SCORE 16156.22
AT ITER 6551 NEW BEST:: SOT 407329 SOS 250229 HAS SOPS 142708 HAS SOUS 28463 HAS SOUPS 15905 WITH SCORE 16155.229
AT ITER 6588 NEW BEST:: SOT 407111 SOS 249432 HAS SOPS 142256 HAS SOUS 28418 HAS SOUPS 15862 WITH SCORE 16111.432
AT ITER 6642 NEW BEST:: SOT 407123 SOS 249434 HAS SOPS 142258 HAS SOUS 28417 HAS SOUPS 15861 WITH SCORE 16110.434
AT ITER 6651 NEW BEST:: SOT 407090 SOS 249359 HAS SOPS 142237 HAS SOUS 28412 HAS SOUPS 15859 WITH SCORE 16108.359
AT ITER 6674 NEW BEST:: SOT 405925 SOS 246268 HAS SOPS 141066 HAS SOUS 28280 HAS SOUPS 15839 WITH SCORE 16085.268
AT ITER 6687 NEW BEST:: SOT 405502 SOS 245702 HAS SOPS 140622 HAS SOUS 28311 HAS SOUPS 15837 WITH SCORE 16082.702
AT ITER 6739 NEW BEST:: SOT 405433 SOS 245521 HAS SOPS 140476 HAS SOUS 28301 HAS SOUPS 15827 WITH SCORE 16072.521
AT ITER 6740 NEW BEST:: SOT 405414 SOS 245259 HAS SOPS 140422 HAS SOUS 28280 HAS SOUPS 15822 WITH SCORE 16067.259
AT ITER 6762 NEW BEST:: SOT 405792 SOS 245979 HAS SOPS 140674 HAS SOUS 28263 HAS SOUPS 15805 WITH SCORE 16050.979
AT ITER 6773 NEW BEST:: SOT 405762 SOS 245904 HAS SOPS 140653 HAS SOUS 28260 HAS SOUPS 15805 WITH SCORE 16050.904
AT ITER 6836 NEW BEST:: SOT 405663 SOS 245679 HAS SOPS 140590 HAS SOUS 28206 HAS SOUPS 15780 WITH SCORE 16025.679
AT ITER 6885 NEW BEST:: SOT 405663 SOS 245676 HAS SOPS 140587 HAS SOUS 28206 HAS SOUPS 15780 WITH SCORE 16025.676
AT ITER 6887 NEW BEST:: SOT 405663 SOS 245658 HAS SOPS 140559 HAS SOUS 28207 HAS SOUPS 15780 WITH SCORE 16025.658
AT ITER 6924 NEW BEST:: SOT 405788 SOS 245956 HAS SOPS 140641 HAS SOUS 28189 HAS SOUPS 15758 WITH SCORE 16003.956
AT ITER 7025 NEW BEST:: SOT 405784 SOS 245892 HAS SOPS 140577 HAS SOUS 28177 HAS SOUPS 15746 WITH SCORE 15991.892
AT ITER 7033 NEW BEST:: SOT 405732 SOS 245590 HAS SOPS 140495 HAS SOUS 28123 HAS SOUPS 15714 WITH SCORE 15959.59
AT ITER 7047 NEW BEST:: SOT 405730 SOS 245584 HAS SOPS 140492 HAS SOUS 28122 HAS SOUPS 15714 WITH SCORE 15959.584
AT ITER 7055 NEW BEST:: SOT 405673 SOS 245521 HAS SOPS 140453 HAS SOUS 28128 HAS SOUPS 15714 WITH SCORE 15959.521
AT ITER 7074 NEW BEST:: SOT 405676 SOS 245513 HAS SOPS 140445 HAS SOUS 28120 HAS SOUPS 15706 WITH SCORE 15951.513
AT ITER 7119 NEW BEST:: SOT 405838 SOS 245894 HAS SOPS 140559 HAS SOUS 28054 HAS SOUPS 15668 WITH SCORE 15913.894
AT ITER 7135 NEW BEST:: SOT 405298 SOS 245354 HAS SOPS 140019 HAS SOUS 28054 HAS SOUPS 15668 WITH SCORE 15913.354
AT ITER 7182 NEW BEST:: SOT 405228 SOS 245272 HAS SOPS 139987 HAS SOUS 27974 HAS SOUPS 15624 WITH SCORE 15869.272
AT ITER 7190 NEW BEST:: SOT 405190 SOS 245234 HAS SOPS 139969 HAS SOUS 27972 HAS SOUPS 15622 WITH SCORE 15867.234
AT ITER 7244 NEW BEST:: SOT 405194 SOS 245262 HAS SOPS 139969 HAS SOUS 27966 HAS SOUPS 15618 WITH SCORE 15863.262
AT ITER 7252 NEW BEST:: SOT 405197 SOS 245234 HAS SOPS 139931 HAS SOUS 27965 HAS SOUPS 15617 WITH SCORE 15862.234
AT ITER 7254 NEW BEST:: SOT 405198 SOS 245324 HAS SOPS 139933 HAS SOUS 27952 HAS SOUPS 15604 WITH SCORE 15849.324
AT ITER 7264 NEW BEST:: SOT 405222 SOS 245339 HAS SOPS 139908 HAS SOUS 27874 HAS SOUPS 15599 WITH SCORE 15844.339
AT ITER 7308 NEW BEST:: SOT 405222 SOS 245339 HAS SOPS 139908 HAS SOUS 27865 HAS SOUPS 15594 WITH SCORE 15839.339
AT ITER 7333 NEW BEST:: SOT 405216 SOS 245322 HAS SOPS 139905 HAS SOUS 27854 HAS SOUPS 15591 WITH SCORE 15836.322
AT ITER 7341 NEW BEST:: SOT 405190 SOS 245296 HAS SOPS 139905 HAS SOUS 27854 HAS SOUPS 15591 WITH SCORE 15836.296
AT ITER 7377 NEW BEST:: SOT 405102 SOS 245128 HAS SOPS 139841 HAS SOUS 27846 HAS SOUPS 15583 WITH SCORE 15828.128
AT ITER 7386 NEW BEST:: SOT 405040 SOS 245000 HAS SOPS 139810 HAS SOUS 27780 HAS SOUPS 15552 WITH SCORE 15797.0
AT ITER 7424 NEW BEST:: SOT 404761 SOS 244479 HAS SOPS 139599 HAS SOUS 27741 HAS SOUPS 15525 WITH SCORE 15769.479
AT ITER 7433 NEW BEST:: SOT 404896 SOS 244750 HAS SOPS 139688 HAS SOUS 27785 HAS SOUPS 15524 WITH SCORE 15768.75
AT ITER 7434 NEW BEST:: SOT 404899 SOS 244738 HAS SOPS 139688 HAS SOUS 27770 HAS SOUPS 15524 WITH SCORE 15768.738
AT ITER 7445 NEW BEST:: SOT 404901 SOS 244654 HAS SOPS 139604 HAS SOUS 27768 HAS SOUPS 15522 WITH SCORE 15766.654
AT ITER 7457 NEW BEST:: SOT 404082 SOS 243993 HAS SOPS 138887 HAS SOUS 27820 HAS SOUPS 15512 WITH SCORE 15755.993
AT ITER 7463 NEW BEST:: SOT 404082 SOS 243993 HAS SOPS 138887 HAS SOUS 27793 HAS SOUPS 15497 WITH SCORE 15740.993
AT ITER 7481 NEW BEST:: SOT 404079 SOS 243990 HAS SOPS 138884 HAS SOUS 27793 HAS SOUPS 15497 WITH SCORE 15740.99
AT ITER 7489 NEW BEST:: SOT 404000 SOS 243845 HAS SOPS 138827 HAS SOUS 27772 HAS SOUPS 15494 WITH SCORE 15737.845
AT ITER 7490 NEW BEST:: SOT 403861 SOS 243477 HAS SOPS 138494 HAS SOUS 27783 HAS SOUPS 15493 WITH SCORE 15736.477
AT ITER 7509 NEW BEST:: SOT 403789 SOS 243340 HAS SOPS 138387 HAS SOUS 27782 HAS SOUPS 15492 WITH SCORE 15735.34
AT ITER 7540 NEW BEST:: SOT 403789 SOS 243340 HAS SOPS 138387 HAS SOUS 27776 HAS SOUPS 15488 WITH SCORE 15731.34
AT ITER 7555 NEW BEST:: SOT 403789 SOS 243340 HAS SOPS 138387 HAS SOUS 27767 HAS SOUPS 15483 WITH SCORE 15726.34
AT ITER 7562 NEW BEST:: SOT 403789 SOS 243340 HAS SOPS 138387 HAS SOUS 27731 HAS SOUPS 15463 WITH SCORE 15706.34
AT ITER 7563 NEW BEST:: SOT 403453 SOS 242969 HAS SOPS 138138 HAS SOUS 27729 HAS SOUPS 15454 WITH SCORE 15696.969
AT ITER 7565 NEW BEST:: SOT 404189 SOS 244757 HAS SOPS 138638 HAS SOUS 27763 HAS SOUPS 15426 WITH SCORE 15670.757
AT ITER 7604 NEW BEST:: SOT 404273 SOS 244950 HAS SOPS 138776 HAS SOUS 27762 HAS SOUPS 15417 WITH SCORE 15661.95
AT ITER 7610 NEW BEST:: SOT 404237 SOS 244878 HAS SOPS 138752 HAS SOUS 27750 HAS SOUPS 15417 WITH SCORE 15661.878
AT ITER 7613 NEW BEST:: SOT 404222 SOS 244863 HAS SOPS 138752 HAS SOUS 27702 HAS SOUPS 15377 WITH SCORE 15621.863
AT ITER 7661 NEW BEST:: SOT 404212 SOS 244843 HAS SOPS 138732 HAS SOUS 27692 HAS SOUPS 15367 WITH SCORE 15611.843
AT ITER 7670 NEW BEST:: SOT 404184 SOS 244794 HAS SOPS 138718 HAS SOUS 27685 HAS SOUPS 15367 WITH SCORE 15611.794
AT ITER 7713 NEW BEST:: SOT 404184 SOS 244794 HAS SOPS 138718 HAS SOUS 27679 HAS SOUPS 15361 WITH SCORE 15605.794
AT ITER 7750 NEW BEST:: SOT 404002 SOS 244619 HAS SOPS 138556 HAS SOUS 27686 HAS SOUPS 15361 WITH SCORE 15605.619
AT ITER 7766 NEW BEST:: SOT 403953 SOS 244570 HAS SOPS 138556 HAS SOUS 27686 HAS SOUPS 15361 WITH SCORE 15605.57
AT ITER 7777 NEW BEST:: SOT 403953 SOS 244570 HAS SOPS 138556 HAS SOUS 27668 HAS SOUPS 15351 WITH SCORE 15595.57
AT ITER 7809 NEW BEST:: SOT 404073 SOS 244690 HAS SOPS 138676 HAS SOUS 27662 HAS SOUPS 15347 WITH SCORE 15591.69
AT ITER 7831 NEW BEST:: SOT 404069 SOS 244683 HAS SOPS 138674 HAS SOUS 27661 HAS SOUPS 15347 WITH SCORE 15591.683
AT ITER 7870 NEW BEST:: SOT 404033 SOS 244647 HAS SOPS 138638 HAS SOUS 27652 HAS SOUPS 15342 WITH SCORE 15586.647
AT ITER 7892 NEW BEST:: SOT 403835 SOS 244449 HAS SOPS 138440 HAS SOUS 27652 HAS SOUPS 15342 WITH SCORE 15586.449
AT ITER 7940 NEW BEST:: SOT 404033 SOS 244812 HAS SOPS 138559 HAS SOUS 27653 HAS SOUPS 15339 WITH SCORE 15583.812
AT ITER 8003 NEW BEST:: SOT 404027 SOS 244715 HAS SOPS 138553 HAS SOUS 27645 HAS SOUPS 15338 WITH SCORE 15582.715
AT ITER 8046 NEW BEST:: SOT 403740 SOS 244065 HAS SOPS 138377 HAS SOUS 27638 HAS SOUPS 15338 WITH SCORE 15582.065
AT ITER 8098 NEW BEST:: SOT 403358 SOS 243661 HAS SOPS 138123 HAS SOUS 27624 HAS SOUPS 15324 WITH SCORE 15567.661
AT ITER 8121 NEW BEST:: SOT 403349 SOS 243640 HAS SOPS 138102 HAS SOUS 27623 HAS SOUPS 15322 WITH SCORE 15565.64
AT ITER 8202 NEW BEST:: SOT 403349 SOS 243640 HAS SOPS 138102 HAS SOUS 27614 HAS SOUPS 15317 WITH SCORE 15560.64
AT ITER 8237 NEW BEST:: SOT 403305 SOS 243528 HAS SOPS 138066 HAS SOUS 27582 HAS SOUPS 15299 WITH SCORE 15542.528
AT ITER 8286 NEW BEST:: SOT 403261 SOS 243112 HAS SOPS 137690 HAS SOUS 27534 HAS SOUPS 15263 WITH SCORE 15506.112
AT ITER 8300 NEW BEST:: SOT 403259 SOS 242965 HAS SOPS 137543 HAS SOUS 27521 HAS SOUPS 15250 WITH SCORE 15492.965
AT ITER 8374 NEW BEST:: SOT 402908 SOS 241937 HAS SOPS 137114 HAS SOUS 27497 HAS SOUPS 15246 WITH SCORE 15487.937
AT ITER 8392 NEW BEST:: SOT 402893 SOS 241924 HAS SOPS 137115 HAS SOUS 27483 HAS SOUPS 15235 WITH SCORE 15476.924
AT ITER 8429 NEW BEST:: SOT 402891 SOS 241935 HAS SOPS 137113 HAS SOUS 27483 HAS SOUPS 15234 WITH SCORE 15475.935
AT ITER 8482 NEW BEST:: SOT 402869 SOS 241904 HAS SOPS 137094 HAS SOUS 27472 HAS SOUPS 15226 WITH SCORE 15467.904
AT ITER 8484 NEW BEST:: SOT 402862 SOS 241901 HAS SOPS 137091 HAS SOUS 27472 HAS SOUPS 15225 WITH SCORE 15466.901
AT ITER 8491 NEW BEST:: SOT 402842 SOS 241717 HAS SOPS 137087 HAS SOUS 27438 HAS SOUPS 15209 WITH SCORE 15450.717
AT ITER 8520 NEW BEST:: SOT 402841 SOS 241622 HAS SOPS 137085 HAS SOUS 27434 HAS SOUPS 15208 WITH SCORE 15449.622
AT ITER 8532 NEW BEST:: SOT 402705 SOS 241266 HAS SOPS 136959 HAS SOUS 27448 HAS SOUPS 15205 WITH SCORE 15446.266
AT ITER 8549 NEW BEST:: SOT 402694 SOS 241245 HAS SOPS 136952 HAS SOUS 27444 HAS SOUPS 15204 WITH SCORE 15445.245
AT ITER 8581 NEW BEST:: SOT 402760 SOS 241311 HAS SOPS 136988 HAS SOUS 27436 HAS SOUPS 15196 WITH SCORE 15437.311
AT ITER 8586 NEW BEST:: SOT 402784 SOS 240554 HAS SOPS 136374 HAS SOUS 27423 HAS SOUPS 15194 WITH SCORE 15434.554
AT ITER 8645 NEW BEST:: SOT 402706 SOS 239004 HAS SOPS 134947 HAS SOUS 27444 HAS SOUPS 15172 WITH SCORE 15411.004
AT ITER 8659 NEW BEST:: SOT 402646 SOS 238944 HAS SOPS 134887 HAS SOUS 27444 HAS SOUPS 15172 WITH SCORE 15410.944
AT ITER 8665 NEW BEST:: SOT 402642 SOS 238936 HAS SOPS 134887 HAS SOUS 27440 HAS SOUPS 15172 WITH SCORE 15410.936
AT ITER 8670 NEW BEST:: SOT 401924 SOS 236557 HAS SOPS 133642 HAS SOUS 27325 HAS SOUPS 15120 WITH SCORE 15356.557
AT ITER 8725 NEW BEST:: SOT 401833 SOS 235794 HAS SOPS 132984 HAS SOUS 27304 HAS SOUPS 15099 WITH SCORE 15334.794
AT ITER 8793 NEW BEST:: SOT 401785 SOS 235710 HAS SOPS 132960 HAS SOUS 27292 HAS SOUPS 15099 WITH SCORE 15334.71
AT ITER 8822 NEW BEST:: SOT 401789 SOS 235714 HAS SOPS 132960 HAS SOUS 27283 HAS SOUPS 15094 WITH SCORE 15329.714
AT ITER 8839 NEW BEST:: SOT 401693 SOS 235618 HAS SOPS 132864 HAS SOUS 27229 HAS SOUPS 15065 WITH SCORE 15300.618
AT ITER 8869 NEW BEST:: SOT 401685 SOS 235610 HAS SOPS 132864 HAS SOUS 27229 HAS SOUPS 15065 WITH SCORE 15300.61
AT ITER 8907 NEW BEST:: SOT 401733 SOS 235738 HAS SOPS 132912 HAS SOUS 27189 HAS SOUPS 15049 WITH SCORE 15284.738
AT ITER 8940 NEW BEST:: SOT 401733 SOS 235828 HAS SOPS 132912 HAS SOUS 27194 HAS SOUPS 15045 WITH SCORE 15280.828
AT ITER 8975 NEW BEST:: SOT 401769 SOS 235918 HAS SOPS 132936 HAS SOUS 27178 HAS SOUPS 15035 WITH SCORE 15270.918
AT ITER 8989 NEW BEST:: SOT 401769 SOS 235912 HAS SOPS 132936 HAS SOUS 27136 HAS SOUPS 15015 WITH SCORE 15250.912
AT ITER 8999 NEW BEST:: SOT 401809 SOS 235956 HAS SOPS 132960 HAS SOUS 27132 HAS SOUPS 15011 WITH SCORE 15246.956
AT ITER 9023 NEW BEST:: SOT 401723 SOS 235031 HAS SOPS 132168 HAS SOUS 27124 HAS SOUPS 14995 WITH SCORE 15230.031
AT ITER 9063 NEW BEST:: SOT 401867 SOS 235199 HAS SOPS 132246 HAS SOUS 27122 HAS SOUPS 14993 WITH SCORE 15228.199
AT ITER 9073 NEW BEST:: SOT 401969 SOS 235463 HAS SOPS 132336 HAS SOUS 27059 HAS SOUPS 14963 WITH SCORE 15198.463
AT ITER 9075 NEW BEST:: SOT 401953 SOS 235447 HAS SOPS 132336 HAS SOUS 27029 HAS SOUPS 14933 WITH SCORE 15168.447
AT ITER 9118 NEW BEST:: SOT 401855 SOS 235341 HAS SOPS 132275 HAS SOUS 27013 HAS SOUPS 14917 WITH SCORE 15152.341
AT ITER 9125 NEW BEST:: SOT 401838 SOS 235324 HAS SOPS 132275 HAS SOUS 27013 HAS SOUPS 14917 WITH SCORE 15152.324
AT ITER 9164 NEW BEST:: SOT 401640 SOS 234938 HAS SOPS 132143 HAS SOUS 26997 HAS SOUPS 14911 WITH SCORE 15145.938
AT ITER 9222 NEW BEST:: SOT 401574 SOS 234872 HAS SOPS 132132 HAS SOUS 26951 HAS SOUPS 14905 WITH SCORE 15139.872
AT ITER 9246 NEW BEST:: SOT 401461 SOS 233182 HAS SOPS 130619 HAS SOUS 26943 HAS SOUPS 14897 WITH SCORE 15130.182
AT ITER 9261 NEW BEST:: SOT 401448 SOS 233169 HAS SOPS 130619 HAS SOUS 26943 HAS SOUPS 14897 WITH SCORE 15130.169
AT ITER 9421 NEW BEST:: SOT 401426 SOS 232995 HAS SOPS 130433 HAS SOUS 26907 HAS SOUPS 14861 WITH SCORE 15093.995
AT ITER 9426 NEW BEST:: SOT 401425 SOS 232390 HAS SOPS 129850 HAS SOUS 26902 HAS SOUPS 14856 WITH SCORE 15088.39
AT ITER 9429 NEW BEST:: SOT 401368 SOS 232512 HAS SOPS 129775 HAS SOUS 26885 HAS SOUPS 14845 WITH SCORE 15077.512
AT ITER 9439 NEW BEST:: SOT 401364 SOS 232505 HAS SOPS 129773 HAS SOUS 26884 HAS SOUPS 14845 WITH SCORE 15077.505
AT ITER 9500 NEW BEST:: SOT 401346 SOS 232277 HAS SOPS 129649 HAS SOUS 26850 HAS SOUPS 14819 WITH SCORE 15051.277
AT ITER 9515 NEW BEST:: SOT 401352 SOS 232198 HAS SOPS 129539 HAS SOUS 26823 HAS SOUPS 14792 WITH SCORE 15024.198
AT ITER 9549 NEW BEST:: SOT 401221 SOS 231970 HAS SOPS 129361 HAS SOUS 26799 HAS SOUPS 14768 WITH SCORE 14999.97
AT ITER 9550 NEW BEST:: SOT 401209 SOS 231958 HAS SOPS 129349 HAS SOUS 26784 HAS SOUPS 14760 WITH SCORE 14991.958
AT ITER 9604 NEW BEST:: SOT 401208 SOS 231956 HAS SOPS 129347 HAS SOUS 26784 HAS SOUPS 14760 WITH SCORE 14991.956
AT ITER 9649 NEW BEST:: SOT 401207 SOS 231955 HAS SOPS 129347 HAS SOUS 26784 HAS SOUPS 14760 WITH SCORE 14991.955
AT ITER 9660 NEW BEST:: SOT 401218 SOS 231976 HAS SOPS 129353 HAS SOUS 26784 HAS SOUPS 14759 WITH SCORE 14990.976
AT ITER 9674 NEW BEST:: SOT 401218 SOS 231961 HAS SOPS 129351 HAS SOUS 26781 HAS SOUPS 14757 WITH SCORE 14988.961
AT ITER 9721 NEW BEST:: SOT 401200 SOS 231943 HAS SOPS 129333 HAS SOUS 26781 HAS SOUPS 14757 WITH SCORE 14988.943
AT ITER 9740 NEW BEST:: SOT 401198 SOS 231935 HAS SOPS 129325 HAS SOUS 26775 HAS SOUPS 14751 WITH SCORE 14982.935
AT ITER 9761 NEW BEST:: SOT 401200 SOS 232245 HAS SOPS 129570 HAS SOUS 26778 HAS SOUPS 14749 WITH SCORE 14981.245
AT ITER 9768 NEW BEST:: SOT 401181 SOS 232477 HAS SOPS 129568 HAS SOUS 26794 HAS SOUPS 14747 WITH SCORE 14979.477
AT ITER 9804 NEW BEST:: SOT 401291 SOS 232744 HAS SOPS 129641 HAS SOUS 26796 HAS SOUPS 14740 WITH SCORE 14972.744
AT ITER 9900 NEW BEST:: SOT 401273 SOS 232726 HAS SOPS 129623 HAS SOUS 26796 HAS SOUPS 14740 WITH SCORE 14972.726
AT ITER 9903 NEW BEST:: SOT 401171 SOS 232624 HAS SOPS 129521 HAS SOUS 26796 HAS SOUPS 14740 WITH SCORE 14972.624
AT ITER 9919 NEW BEST:: SOT 401166 SOS 232619 HAS SOPS 129521 HAS SOUS 26796 HAS SOUPS 14740 WITH SCORE 14972.619
AT ITER 9927 NEW BEST:: SOT 401361 SOS 233012 HAS SOPS 129652 HAS SOUS 26852 HAS SOUPS 14737 WITH SCORE 14970.012
AT ITER 9934 NEW BEST:: SOT 401325 SOS 232868 HAS SOPS 129628 HAS SOUS 26836 HAS SOUPS 14733 WITH SCORE 14965.868
AT ITER 9973 NEW BEST:: SOT 401342 SOS 232880 HAS SOPS 129627 HAS SOUS 26830 HAS SOUPS 14732 WITH SCORE 14964.88
AT ITER 9986 NEW BEST:: SOT 401277 SOS 232670 HAS SOPS 129442 HAS SOUS 26802 HAS SOUPS 14712 WITH SCORE 14944.67
AT ITER 9993 NEW BEST:: SOT 401272 SOS 232653 HAS SOPS 129423 HAS SOUS 26804 HAS SOUPS 14711 WITH SCORE 14943.653
STATE_SPACE STATES 24010000000001 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 184 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 5765830000000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 10192284 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152988 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-09a"
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 DLCround-PT-09a, 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 r099-tall-167814472800720"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DLCround-PT-09a.tgz
mv DLCround-PT-09a 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 ;