Execution Chart

Sorry, for this execution, no execution chart could be reported.

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.5M
-rw-r--r-- 1 mcc users 7.6K Feb 25 14:33 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 25 14:33 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 57K Feb 25 14:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:23 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:23 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:23 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:23 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:37 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 14:37 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 14:36 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 14:36 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:23 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:23 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.1M 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 1678622174218

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=Medical-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Medical (PT), instance 06
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: 312 places, 5431 transitions, 28790 arcs.
AT ITER 0 NEW BEST:: SOT 1171486 SOS 639970 HAS SOPS 636874 HAS SOUS 256115 HAS SOUPS 253298 WITH SCORE 253937.97
AT ITER 7 NEW BEST:: SOT 1169885 SOS 638329 HAS SOPS 635297 HAS SOUS 250259 HAS SOUPS 247479 WITH SCORE 248117.329
AT ITER 8 NEW BEST:: SOT 1169885 SOS 639697 HAS SOPS 636665 HAS SOUS 250119 HAS SOUPS 247339 WITH SCORE 247978.697
AT ITER 10 NEW BEST:: SOT 1169537 SOS 639327 HAS SOPS 636317 HAS SOUS 249500 HAS SOUPS 246732 WITH SCORE 247371.327
AT ITER 12 NEW BEST:: SOT 1169564 SOS 639354 HAS SOPS 636344 HAS SOUS 249251 HAS SOUPS 246483 WITH SCORE 247122.354
AT ITER 24 NEW BEST:: SOT 1169564 SOS 639354 HAS SOPS 636344 HAS SOUS 248751 HAS SOUPS 245983 WITH SCORE 246622.354
AT ITER 31 NEW BEST:: SOT 1156490 SOS 730565 HAS SOPS 728942 HAS SOUS 234768 HAS SOUPS 233145 WITH SCORE 233875.565
AT ITER 34 NEW BEST:: SOT 1158151 SOS 732182 HAS SOPS 730603 HAS SOUS 234361 HAS SOUPS 232782 WITH SCORE 233514.182
AT ITER 35 NEW BEST:: SOT 1155777 SOS 729808 HAS SOPS 728229 HAS SOUS 233940 HAS SOUPS 232361 WITH SCORE 233090.808
AT ITER 42 NEW BEST:: SOT 1156775 SOS 730806 HAS SOPS 729227 HAS SOUS 230247 HAS SOUPS 228668 WITH SCORE 229398.806
AT ITER 43 NEW BEST:: SOT 1156775 SOS 730806 HAS SOPS 729227 HAS SOUS 230033 HAS SOUPS 228454 WITH SCORE 229184.806
AT ITER 44 NEW BEST:: SOT 1159989 SOS 734218 HAS SOPS 732701 HAS SOUS 229205 HAS SOUPS 227688 WITH SCORE 228422.218
AT ITER 51 NEW BEST:: SOT 1159723 SOS 733952 HAS SOPS 732435 HAS SOUS 228577 HAS SOUPS 227060 WITH SCORE 227793.952
AT ITER 57 NEW BEST:: SOT 1159677 SOS 733990 HAS SOPS 732389 HAS SOUS 227771 HAS SOUPS 226254 WITH SCORE 226987.99
AT ITER 60 NEW BEST:: SOT 1166125 SOS 750660 HAS SOPS 748693 HAS SOUS 227733 HAS SOUPS 226198 WITH SCORE 226948.66
AT ITER 65 NEW BEST:: SOT 1166125 SOS 750012 HAS SOPS 748045 HAS SOUS 227733 HAS SOUPS 226198 WITH SCORE 226948.012
AT ITER 67 NEW BEST:: SOT 1165557 SOS 749444 HAS SOPS 747477 HAS SOUS 227090 HAS SOUPS 225555 WITH SCORE 226304.444
AT ITER 77 NEW BEST:: SOT 1166258 SOS 750125 HAS SOPS 748178 HAS SOUS 226207 HAS SOUPS 224692 WITH SCORE 225442.125
AT ITER 83 NEW BEST:: SOT 1167136 SOS 750775 HAS SOPS 748828 HAS SOUS 224787 HAS SOUPS 223272 WITH SCORE 224022.775
AT ITER 84 NEW BEST:: SOT 1167276 SOS 750915 HAS SOPS 748968 HAS SOUS 224777 HAS SOUPS 223262 WITH SCORE 224012.915
AT ITER 89 NEW BEST:: SOT 1167140 SOS 750831 HAS SOPS 748884 HAS SOUS 224262 HAS SOUPS 222747 WITH SCORE 223497.831
AT ITER 90 NEW BEST:: SOT 1167140 SOS 750831 HAS SOPS 748884 HAS SOUS 224157 HAS SOUPS 222642 WITH SCORE 223392.831
AT ITER 93 NEW BEST:: SOT 1168945 SOS 752574 HAS SOPS 750689 HAS SOUS 222807 HAS SOUPS 221354 WITH SCORE 222106.574
AT ITER 99 NEW BEST:: SOT 1172797 SOS 756374 HAS SOPS 754541 HAS SOUS 218738 HAS SOUPS 217337 WITH SCORE 218093.374
AT ITER 108 NEW BEST:: SOT 1172712 SOS 756289 HAS SOPS 754456 HAS SOUS 218704 HAS SOUPS 217303 WITH SCORE 218059.289
AT ITER 109 NEW BEST:: SOT 1172712 SOS 757009 HAS SOPS 755176 HAS SOUS 218692 HAS SOUPS 217291 WITH SCORE 218048.009
AT ITER 110 NEW BEST:: SOT 1172794 SOS 757143 HAS SOPS 755310 HAS SOUS 218511 HAS SOUPS 217110 WITH SCORE 217867.143
AT ITER 118 NEW BEST:: SOT 1172656 SOS 756963 HAS SOPS 755060 HAS SOUS 218431 HAS SOUPS 216976 WITH SCORE 217732.963
AT ITER 128 NEW BEST:: SOT 1172656 SOS 757995 HAS SOPS 756092 HAS SOUS 218182 HAS SOUPS 216727 WITH SCORE 217484.995
AT ITER 130 NEW BEST:: SOT 1173299 SOS 758472 HAS SOPS 756653 HAS SOUS 217744 HAS SOUPS 216289 WITH SCORE 217047.472
AT ITER 132 NEW BEST:: SOT 1173710 SOS 758859 HAS SOPS 757064 HAS SOUS 217621 HAS SOUPS 216190 WITH SCORE 216948.859
AT ITER 139 NEW BEST:: SOT 1173730 SOS 758879 HAS SOPS 757084 HAS SOUS 217557 HAS SOUPS 216126 WITH SCORE 216884.879
AT ITER 140 NEW BEST:: SOT 1170868 SOS 756017 HAS SOPS 754222 HAS SOUS 215969 HAS SOUPS 214538 WITH SCORE 215294.017
AT ITER 146 NEW BEST:: SOT 1170893 SOS 756042 HAS SOPS 754247 HAS SOUS 215894 HAS SOUPS 214463 WITH SCORE 215219.042
AT ITER 147 NEW BEST:: SOT 1160541 SOS 749844 HAS SOPS 747792 HAS SOUS 214097 HAS SOUPS 212544 WITH SCORE 213293.844
AT ITER 149 NEW BEST:: SOT 1160787 SOS 750090 HAS SOPS 748038 HAS SOUS 214070 HAS SOUPS 212517 WITH SCORE 213267.09
AT ITER 152 NEW BEST:: SOT 1160776 SOS 750079 HAS SOPS 748027 HAS SOUS 213981 HAS SOUPS 212428 WITH SCORE 213178.079
AT ITER 154 NEW BEST:: SOT 1161994 SOS 751247 HAS SOPS 749245 HAS SOUS 212428 HAS SOUPS 210925 WITH SCORE 211676.247
AT ITER 155 NEW BEST:: SOT 1162591 SOS 751881 HAS SOPS 749886 HAS SOUS 211645 HAS SOUPS 210149 WITH SCORE 210900.881
AT ITER 163 NEW BEST:: SOT 1162591 SOS 751881 HAS SOPS 749886 HAS SOUS 211623 HAS SOUPS 210127 WITH SCORE 210878.881
AT ITER 165 NEW BEST:: SOT 1162591 SOS 751881 HAS SOPS 749886 HAS SOUS 211191 HAS SOUPS 209695 WITH SCORE 210446.881
AT ITER 171 NEW BEST:: SOT 1162577 SOS 751867 HAS SOPS 749872 HAS SOUS 211162 HAS SOUPS 209666 WITH SCORE 210417.867
AT ITER 172 NEW BEST:: SOT 1162689 SOS 751979 HAS SOPS 749984 HAS SOUS 210587 HAS SOUPS 209091 WITH SCORE 209842.979
AT ITER 173 NEW BEST:: SOT 1162689 SOS 751979 HAS SOPS 749984 HAS SOUS 210205 HAS SOUPS 208709 WITH SCORE 209460.979
AT ITER 179 NEW BEST:: SOT 1162482 SOS 751772 HAS SOPS 749777 HAS SOUS 209799 HAS SOUPS 208303 WITH SCORE 209054.772
AT ITER 187 NEW BEST:: SOT 1162482 SOS 721758 HAS SOPS 719763 HAS SOUS 209737 HAS SOUPS 208241 WITH SCORE 208962.758
AT ITER 196 NEW BEST:: SOT 1162482 SOS 723030 HAS SOPS 721035 HAS SOUS 209445 HAS SOUPS 207949 WITH SCORE 208672.03
AT ITER 199 NEW BEST:: SOT 1162482 SOS 723030 HAS SOPS 721035 HAS SOUS 209145 HAS SOUPS 207649 WITH SCORE 208372.03
AT ITER 200 NEW BEST:: SOT 1162271 SOS 722813 HAS SOPS 720824 HAS SOUS 208963 HAS SOUPS 207473 WITH SCORE 208195.813
AT ITER 202 NEW BEST:: SOT 1160855 SOS 721401 HAS SOPS 719412 HAS SOUS 207551 HAS SOUPS 206061 WITH SCORE 206782.401
AT ITER 205 NEW BEST:: SOT 1160855 SOS 721401 HAS SOPS 719412 HAS SOUS 207550 HAS SOUPS 206060 WITH SCORE 206781.401
AT ITER 212 NEW BEST:: SOT 1160101 SOS 723611 HAS SOPS 721622 HAS SOUS 207244 HAS SOUPS 205754 WITH SCORE 206477.611
AT ITER 213 NEW BEST:: SOT 1160101 SOS 725163 HAS SOPS 723174 HAS SOUS 206898 HAS SOUPS 205408 WITH SCORE 206133.163
AT ITER 223 NEW BEST:: SOT 1165157 SOS 730557 HAS SOPS 728618 HAS SOUS 206716 HAS SOUPS 205276 WITH SCORE 206006.557
AT ITER 234 NEW BEST:: SOT 1157228 SOS 773430 HAS SOPS 771843 HAS SOUS 196857 HAS SOUPS 195505 WITH SCORE 196278.43
AT ITER 236 NEW BEST:: SOT 1159421 SOS 775571 HAS SOPS 774036 HAS SOUS 196244 HAS SOUPS 194944 WITH SCORE 195719.571
AT ITER 237 NEW BEST:: SOT 1159437 SOS 776427 HAS SOPS 774892 HAS SOUS 196034 HAS SOUPS 194734 WITH SCORE 195510.427
AT ITER 240 NEW BEST:: SOT 1160807 SOS 777782 HAS SOPS 776262 HAS SOUS 195475 HAS SOUPS 194190 WITH SCORE 194967.782
AT ITER 242 NEW BEST:: SOT 1160831 SOS 779052 HAS SOPS 777532 HAS SOUS 195242 HAS SOUPS 193957 WITH SCORE 194736.052
AT ITER 244 NEW BEST:: SOT 1162683 SOS 780904 HAS SOPS 779384 HAS SOUS 191394 HAS SOUPS 190109 WITH SCORE 190889.904
AT ITER 247 NEW BEST:: SOT 1162683 SOS 780904 HAS SOPS 779384 HAS SOUS 190675 HAS SOUPS 189390 WITH SCORE 190170.904
AT ITER 256 NEW BEST:: SOT 1161918 SOS 780691 HAS SOPS 779171 HAS SOUS 188262 HAS SOUPS 186977 WITH SCORE 187757.691
AT ITER 261 NEW BEST:: SOT 1161726 SOS 780499 HAS SOPS 778979 HAS SOUS 187686 HAS SOUPS 186401 WITH SCORE 187181.499
AT ITER 262 NEW BEST:: SOT 1161699 SOS 785151 HAS SOPS 783631 HAS SOUS 187630 HAS SOUPS 186345 WITH SCORE 187130.151
AT ITER 280 NEW BEST:: SOT 1160475 SOS 784363 HAS SOPS 782895 HAS SOUS 186638 HAS SOUPS 185405 WITH SCORE 186189.363
AT ITER 284 NEW BEST:: SOT 1160490 SOS 784357 HAS SOPS 782910 HAS SOUS 186601 HAS SOUPS 185389 WITH SCORE 186173.357
AT ITER 290 NEW BEST:: SOT 1159619 SOS 783486 HAS SOPS 782039 HAS SOUS 186030 HAS SOUPS 184818 WITH SCORE 185601.486
AT ITER 294 NEW BEST:: SOT 1159619 SOS 783118 HAS SOPS 781671 HAS SOUS 185994 HAS SOUPS 184782 WITH SCORE 185565.118
AT ITER 296 NEW BEST:: SOT 1159309 SOS 782780 HAS SOPS 781361 HAS SOUS 185337 HAS SOUPS 184139 WITH SCORE 184921.78
AT ITER 306 NEW BEST:: SOT 1160904 SOS 784798 HAS SOPS 783611 HAS SOUS 185086 HAS SOUPS 184120 WITH SCORE 184904.798
AT ITER 314 NEW BEST:: SOT 1161473 SOS 785367 HAS SOPS 784180 HAS SOUS 184932 HAS SOUPS 183966 WITH SCORE 184751.367
AT ITER 318 NEW BEST:: SOT 1161473 SOS 785160 HAS SOPS 783973 HAS SOUS 184923 HAS SOUPS 183957 WITH SCORE 184742.16
AT ITER 320 NEW BEST:: SOT 1161473 SOS 784824 HAS SOPS 783637 HAS SOUS 184923 HAS SOUPS 183957 WITH SCORE 184741.824
AT ITER 330 NEW BEST:: SOT 1161473 SOS 785832 HAS SOPS 784645 HAS SOUS 184724 HAS SOUPS 183758 WITH SCORE 184543.832
AT ITER 334 NEW BEST:: SOT 1160950 SOS 784573 HAS SOPS 783338 HAS SOUS 184558 HAS SOUPS 183544 WITH SCORE 184328.573
AT ITER 338 NEW BEST:: SOT 1164854 SOS 788459 HAS SOPS 787242 HAS SOUS 183830 HAS SOUPS 182834 WITH SCORE 183622.459
AT ITER 342 NEW BEST:: SOT 1164910 SOS 788515 HAS SOPS 787298 HAS SOUS 183360 HAS SOUPS 182364 WITH SCORE 183152.515
AT ITER 345 NEW BEST:: SOT 1164930 SOS 788955 HAS SOPS 787738 HAS SOUS 183174 HAS SOUPS 182178 WITH SCORE 182966.955
AT ITER 349 NEW BEST:: SOT 1165072 SOS 789097 HAS SOPS 787880 HAS SOUS 183066 HAS SOUPS 182070 WITH SCORE 182859.097
AT ITER 350 NEW BEST:: SOT 1165034 SOS 789059 HAS SOPS 787842 HAS SOUS 183020 HAS SOUPS 182024 WITH SCORE 182813.059
AT ITER 358 NEW BEST:: SOT 1164625 SOS 788650 HAS SOPS 787433 HAS SOUS 181179 HAS SOUPS 180183 WITH SCORE 180971.65
AT ITER 368 NEW BEST:: SOT 1172888 SOS 796869 HAS SOPS 795696 HAS SOUS 180278 HAS SOUPS 179326 WITH SCORE 180122.869
AT ITER 371 NEW BEST:: SOT 1175206 SOS 799187 HAS SOPS 798014 HAS SOUS 178714 HAS SOUPS 177762 WITH SCORE 178561.187
AT ITER 376 NEW BEST:: SOT 1175220 SOS 799197 HAS SOPS 798028 HAS SOUS 178681 HAS SOUPS 177731 WITH SCORE 178530.197
AT ITER 377 NEW BEST:: SOT 1174988 SOS 798965 HAS SOPS 797796 HAS SOUS 178201 HAS SOUPS 177251 WITH SCORE 178049.965
AT ITER 381 NEW BEST:: SOT 1172737 SOS 796714 HAS SOPS 795545 HAS SOUS 177448 HAS SOUPS 176498 WITH SCORE 177294.714
AT ITER 386 NEW BEST:: SOT 1172501 SOS 797919 HAS SOPS 796773 HAS SOUS 177215 HAS SOUPS 176288 WITH SCORE 177085.919
AT ITER 387 NEW BEST:: SOT 1172503 SOS 797921 HAS SOPS 796775 HAS SOUS 176982 HAS SOUPS 176055 WITH SCORE 176852.921
AT ITER 399 NEW BEST:: SOT 1172503 SOS 797921 HAS SOPS 796775 HAS SOUS 176925 HAS SOUPS 175998 WITH SCORE 176795.921
AT ITER 401 NEW BEST:: SOT 1170927 SOS 799229 HAS SOPS 798006 HAS SOUS 176638 HAS SOUPS 175676 WITH SCORE 176475.229
AT ITER 405 NEW BEST:: SOT 1171321 SOS 799623 HAS SOPS 798400 HAS SOUS 176318 HAS SOUPS 175356 WITH SCORE 176155.623
AT ITER 415 NEW BEST:: SOT 1172131 SOS 802704 HAS SOPS 802278 HAS SOUS 175613 HAS SOUPS 175339 WITH SCORE 176141.704
AT ITER 416 NEW BEST:: SOT 1172090 SOS 817743 HAS SOPS 817317 HAS SOUS 175572 HAS SOUPS 175298 WITH SCORE 176115.743
AT ITER 417 NEW BEST:: SOT 1172072 SOS 817712 HAS SOPS 817299 HAS SOUS 175060 HAS SOUPS 174799 WITH SCORE 175616.712
AT ITER 419 NEW BEST:: SOT 1172071 SOS 817711 HAS SOPS 817298 HAS SOUS 175039 HAS SOUPS 174778 WITH SCORE 175595.711
AT ITER 430 NEW BEST:: SOT 1170928 SOS 824857 HAS SOPS 824125 HAS SOUS 174878 HAS SOUPS 174523 WITH SCORE 175347.857
AT ITER 433 NEW BEST:: SOT 1170928 SOS 820596 HAS SOPS 819841 HAS SOUS 174878 HAS SOUPS 174512 WITH SCORE 175332.596
AT ITER 434 NEW BEST:: SOT 1170744 SOS 821094 HAS SOPS 820365 HAS SOUS 174233 HAS SOUPS 173867 WITH SCORE 174688.094
AT ITER 438 NEW BEST:: SOT 1171796 SOS 822046 HAS SOPS 821327 HAS SOUS 172952 HAS SOUPS 172586 WITH SCORE 173408.046
AT ITER 450 NEW BEST:: SOT 1171046 SOS 821296 HAS SOPS 820577 HAS SOUS 172126 HAS SOUPS 171760 WITH SCORE 172581.296
AT ITER 451 NEW BEST:: SOT 1173804 SOS 820473 HAS SOPS 819844 HAS SOUS 171349 HAS SOUPS 171028 WITH SCORE 171848.473
AT ITER 459 NEW BEST:: SOT 1173461 SOS 820130 HAS SOPS 819501 HAS SOUS 171254 HAS SOUPS 170933 WITH SCORE 171753.13
AT ITER 464 NEW BEST:: SOT 1173524 SOS 821579 HAS SOPS 820950 HAS SOUS 170933 HAS SOUPS 170612 WITH SCORE 171433.579
AT ITER 476 NEW BEST:: SOT 1173524 SOS 821579 HAS SOPS 820950 HAS SOUS 170766 HAS SOUPS 170445 WITH SCORE 171266.579
AT ITER 477 NEW BEST:: SOT 1173524 SOS 822659 HAS SOPS 822030 HAS SOUS 170480 HAS SOUPS 170159 WITH SCORE 170981.659
AT ITER 479 NEW BEST:: SOT 1173437 SOS 823292 HAS SOPS 822663 HAS SOUS 170322 HAS SOUPS 170001 WITH SCORE 170824.292
AT ITER 486 NEW BEST:: SOT 1173255 SOS 823133 HAS SOPS 822547 HAS SOUS 169851 HAS SOUPS 169530 WITH SCORE 170353.133
AT ITER 488 NEW BEST:: SOT 1173531 SOS 824841 HAS SOPS 824255 HAS SOUS 168022 HAS SOUPS 167701 WITH SCORE 168525.841
AT ITER 489 NEW BEST:: SOT 1172091 SOS 823449 HAS SOPS 822947 HAS SOUS 165543 HAS SOUPS 165265 WITH SCORE 166088.449
AT ITER 491 NEW BEST:: SOT 1172442 SOS 823800 HAS SOPS 823298 HAS SOUS 165367 HAS SOUPS 165089 WITH SCORE 165912.8
AT ITER 496 NEW BEST:: SOT 1174767 SOS 826869 HAS SOPS 826367 HAS SOUS 165248 HAS SOUPS 164970 WITH SCORE 165796.869
AT ITER 500 NEW BEST:: SOT 1174879 SOS 828547 HAS SOPS 828075 HAS SOUS 162576 HAS SOUPS 162328 WITH SCORE 163156.547
AT ITER 503 NEW BEST:: SOT 1174907 SOS 829738 HAS SOPS 829266 HAS SOUS 162470 HAS SOUPS 162222 WITH SCORE 163051.738
AT ITER 505 NEW BEST:: SOT 1173147 SOS 827978 HAS SOPS 827506 HAS SOUS 161490 HAS SOUPS 161242 WITH SCORE 162069.978
AT ITER 507 NEW BEST:: SOT 1174459 SOS 829474 HAS SOPS 829002 HAS SOUS 160793 HAS SOUPS 160545 WITH SCORE 161374.474
AT ITER 508 NEW BEST:: SOT 1174416 SOS 829407 HAS SOPS 828959 HAS SOUS 160391 HAS SOUPS 160167 WITH SCORE 160996.407
AT ITER 509 NEW BEST:: SOT 1174359 SOS 829781 HAS SOPS 829352 HAS SOUS 157191 HAS SOUPS 156986 WITH SCORE 157815.781
AT ITER 513 NEW BEST:: SOT 1174359 SOS 829209 HAS SOPS 828780 HAS SOUS 157171 HAS SOUPS 156966 WITH SCORE 157795.209
AT ITER 516 NEW BEST:: SOT 1175019 SOS 829995 HAS SOPS 829566 HAS SOUS 153696 HAS SOUPS 153491 WITH SCORE 154320.995
AT ITER 523 NEW BEST:: SOT 1175068 SOS 831217 HAS SOPS 830823 HAS SOUS 153248 HAS SOUPS 153055 WITH SCORE 153886.217
AT ITER 532 NEW BEST:: SOT 1175068 SOS 824575 HAS SOPS 823463 HAS SOUS 153566 HAS SOUPS 153055 WITH SCORE 153879.575
AT ITER 544 NEW BEST:: SOT 1175068 SOS 824461 HAS SOPS 823373 HAS SOUS 153460 HAS SOUPS 152972 WITH SCORE 153796.461
AT ITER 568 NEW BEST:: SOT 1175068 SOS 824620 HAS SOPS 823521 HAS SOUS 153460 HAS SOUPS 152961 WITH SCORE 153785.62
AT ITER 569 NEW BEST:: SOT 1178800 SOS 824647 HAS SOPS 823830 HAS SOUS 151369 HAS SOUPS 150964 WITH SCORE 151788.647
AT ITER 570 NEW BEST:: SOT 1178783 SOS 824150 HAS SOPS 823333 HAS SOUS 151366 HAS SOUPS 150961 WITH SCORE 151785.15
AT ITER 577 NEW BEST:: SOT 1177161 SOS 822528 HAS SOPS 821711 HAS SOUS 150872 HAS SOUPS 150467 WITH SCORE 151289.528
AT ITER 582 NEW BEST:: SOT 1177669 SOS 823036 HAS SOPS 822219 HAS SOUS 150337 HAS SOUPS 149932 WITH SCORE 150755.036
AT ITER 584 NEW BEST:: SOT 1177703 SOS 823766 HAS SOPS 822949 HAS SOUS 150061 HAS SOUPS 149656 WITH SCORE 150479.766
AT ITER 587 NEW BEST:: SOT 1177703 SOS 823758 HAS SOPS 822941 HAS SOUS 150059 HAS SOUPS 149654 WITH SCORE 150477.758
AT ITER 596 NEW BEST:: SOT 1177703 SOS 823302 HAS SOPS 822485 HAS SOUS 150059 HAS SOUPS 149654 WITH SCORE 150477.302
AT ITER 603 NEW BEST:: SOT 1177308 SOS 822907 HAS SOPS 822090 HAS SOUS 149953 HAS SOUPS 149548 WITH SCORE 150370.907
AT ITER 604 NEW BEST:: SOT 1177452 SOS 823534 HAS SOPS 822717 HAS SOUS 149829 HAS SOUPS 149424 WITH SCORE 150247.534
AT ITER 609 NEW BEST:: SOT 1177612 SOS 823694 HAS SOPS 822877 HAS SOUS 149810 HAS SOUPS 149405 WITH SCORE 150228.694
AT ITER 610 NEW BEST:: SOT 1177589 SOS 823545 HAS SOPS 822640 HAS SOUS 149772 HAS SOUPS 149279 WITH SCORE 150102.545
AT ITER 617 NEW BEST:: SOT 1177060 SOS 823016 HAS SOPS 822111 HAS SOUS 148712 HAS SOUPS 148219 WITH SCORE 149042.016
AT ITER 620 NEW BEST:: SOT 1177060 SOS 825309 HAS SOPS 824419 HAS SOUS 148558 HAS SOUPS 148080 WITH SCORE 148905.309
AT ITER 644 NEW BEST:: SOT 1177060 SOS 826865 HAS SOPS 825987 HAS SOUS 148287 HAS SOUPS 147821 WITH SCORE 148647.865
AT ITER 645 NEW BEST:: SOT 1178055 SOS 838519 HAS SOPS 837641 HAS SOUS 147831 HAS SOUPS 147365 WITH SCORE 148203.519
AT ITER 646 NEW BEST:: SOT 1177981 SOS 838432 HAS SOPS 837561 HAS SOUS 147578 HAS SOUPS 147119 WITH SCORE 147957.432
AT ITER 648 NEW BEST:: SOT 1177981 SOS 839968 HAS SOPS 839097 HAS SOUS 147426 HAS SOUPS 146967 WITH SCORE 147806.968
AT ITER 654 NEW BEST:: SOT 1177525 SOS 839497 HAS SOPS 838641 HAS SOUS 146982 HAS SOUPS 146538 WITH SCORE 147377.497
AT ITER 660 NEW BEST:: SOT 1177598 SOS 839570 HAS SOPS 838714 HAS SOUS 146490 HAS SOUPS 146046 WITH SCORE 146885.57
AT ITER 663 NEW BEST:: SOT 1175193 SOS 837165 HAS SOPS 836309 HAS SOUS 145249 HAS SOUPS 144805 WITH SCORE 145642.165
AT ITER 665 NEW BEST:: SOT 1175193 SOS 837042 HAS SOPS 836186 HAS SOUS 145230 HAS SOUPS 144786 WITH SCORE 145623.042
AT ITER 668 NEW BEST:: SOT 1173670 SOS 836094 HAS SOPS 835238 HAS SOUS 143777 HAS SOUPS 143333 WITH SCORE 144169.094
AT ITER 682 NEW BEST:: SOT 1176175 SOS 839751 HAS SOPS 838895 HAS SOUS 143591 HAS SOUPS 143147 WITH SCORE 143986.751
AT ITER 683 NEW BEST:: SOT 1178703 SOS 844367 HAS SOPS 843511 HAS SOUS 142642 HAS SOUPS 142198 WITH SCORE 143042.367
AT ITER 686 NEW BEST:: SOT 1181665 SOS 848505 HAS SOPS 847649 HAS SOUS 142430 HAS SOUPS 141986 WITH SCORE 142834.505
AT ITER 687 NEW BEST:: SOT 1182242 SOS 850994 HAS SOPS 850186 HAS SOUS 141363 HAS SOUPS 140967 WITH SCORE 141817.994
AT ITER 702 NEW BEST:: SOT 1183736 SOS 852618 HAS SOPS 851810 HAS SOUS 141113 HAS SOUPS 140717 WITH SCORE 141569.618
AT ITER 716 NEW BEST:: SOT 1183736 SOS 854067 HAS SOPS 853301 HAS SOUS 140809 HAS SOUPS 140455 WITH SCORE 141309.067
AT ITER 723 NEW BEST:: SOT 1184180 SOS 854511 HAS SOPS 853745 HAS SOUS 139650 HAS SOUPS 139296 WITH SCORE 140150.511
AT ITER 732 NEW BEST:: SOT 1184180 SOS 854367 HAS SOPS 853601 HAS SOUS 139650 HAS SOUPS 139296 WITH SCORE 140150.367
AT ITER 734 NEW BEST:: SOT 1184451 SOS 854638 HAS SOPS 853872 HAS SOUS 139623 HAS SOUPS 139269 WITH SCORE 140123.638
AT ITER 746 NEW BEST:: SOT 1184451 SOS 854806 HAS SOPS 854040 HAS SOUS 139567 HAS SOUPS 139213 WITH SCORE 140067.806
AT ITER 754 NEW BEST:: SOT 1184446 SOS 854801 HAS SOPS 854035 HAS SOUS 139564 HAS SOUPS 139210 WITH SCORE 140064.801
AT ITER 756 NEW BEST:: SOT 1184450 SOS 854805 HAS SOPS 854039 HAS SOUS 139465 HAS SOUPS 139111 WITH SCORE 139965.805
AT ITER 758 NEW BEST:: SOT 1184088 SOS 854443 HAS SOPS 853677 HAS SOUS 139256 HAS SOUPS 138902 WITH SCORE 139756.443
AT ITER 767 NEW BEST:: SOT 1184088 SOS 854371 HAS SOPS 853605 HAS SOUS 139256 HAS SOUPS 138902 WITH SCORE 139756.371
AT ITER 772 NEW BEST:: SOT 1182540 SOS 852742 HAS SOPS 852057 HAS SOUS 139141 HAS SOUPS 138868 WITH SCORE 139720.742
AT ITER 775 NEW BEST:: SOT 1182290 SOS 849682 HAS SOPS 848997 HAS SOUS 138690 HAS SOUPS 138417 WITH SCORE 139266.682
AT ITER 784 NEW BEST:: SOT 1182317 SOS 849709 HAS SOPS 849024 HAS SOUS 138685 HAS SOUPS 138412 WITH SCORE 139261.709
AT ITER 789 NEW BEST:: SOT 1182317 SOS 849709 HAS SOPS 849024 HAS SOUS 138679 HAS SOUPS 138406 WITH SCORE 139255.709
AT ITER 797 NEW BEST:: SOT 1182484 SOS 849876 HAS SOPS 849191 HAS SOUS 137118 HAS SOUPS 136845 WITH SCORE 137694.876
AT ITER 807 NEW BEST:: SOT 1182512 SOS 872791 HAS SOPS 872117 HAS SOUS 137071 HAS SOUPS 136809 WITH SCORE 137681.791
AT ITER 812 NEW BEST:: SOT 1183134 SOS 873685 HAS SOPS 873011 HAS SOUS 136928 HAS SOUPS 136666 WITH SCORE 137539.685
AT ITER 814 NEW BEST:: SOT 1183737 SOS 877112 HAS SOPS 876458 HAS SOUS 136058 HAS SOUPS 135816 WITH SCORE 136693.112
AT ITER 820 NEW BEST:: SOT 1183767 SOS 877168 HAS SOPS 876512 HAS SOUS 135607 HAS SOUPS 135363 WITH SCORE 136240.168
AT ITER 821 NEW BEST:: SOT 1183765 SOS 877322 HAS SOPS 876693 HAS SOUS 135480 HAS SOUPS 135263 WITH SCORE 136140.322
AT ITER 825 NEW BEST:: SOT 1183765 SOS 877294 HAS SOPS 876665 HAS SOUS 135480 HAS SOUPS 135263 WITH SCORE 136140.294
AT ITER 827 NEW BEST:: SOT 1183765 SOS 874282 HAS SOPS 873653 HAS SOUS 135456 HAS SOUPS 135239 WITH SCORE 136113.282
AT ITER 828 NEW BEST:: SOT 1183559 SOS 874076 HAS SOPS 873447 HAS SOUS 135433 HAS SOUPS 135216 WITH SCORE 136090.076
AT ITER 831 NEW BEST:: SOT 1182955 SOS 873395 HAS SOPS 872699 HAS SOUS 135313 HAS SOUPS 135029 WITH SCORE 135902.395
AT ITER 835 NEW BEST:: SOT 1182947 SOS 873387 HAS SOPS 872691 HAS SOUS 135288 HAS SOUPS 135004 WITH SCORE 135877.387
AT ITER 836 NEW BEST:: SOT 1182060 SOS 872500 HAS SOPS 871804 HAS SOUS 134673 HAS SOUPS 134389 WITH SCORE 135261.5
AT ITER 840 NEW BEST:: SOT 1182060 SOS 872877 HAS SOPS 872200 HAS SOUS 134569 HAS SOUPS 134304 WITH SCORE 135176.877
AT ITER 843 NEW BEST:: SOT 1182081 SOS 872898 HAS SOPS 872221 HAS SOUS 134530 HAS SOUPS 134265 WITH SCORE 135137.898
AT ITER 846 NEW BEST:: SOT 1182089 SOS 872906 HAS SOPS 872229 HAS SOUS 134495 HAS SOUPS 134230 WITH SCORE 135102.906
AT ITER 850 NEW BEST:: SOT 1182499 SOS 873360 HAS SOPS 872685 HAS SOUS 133814 HAS SOUPS 133551 WITH SCORE 134424.36
AT ITER 854 NEW BEST:: SOT 1182495 SOS 872108 HAS SOPS 871450 HAS SOUS 133796 HAS SOUPS 133533 WITH SCORE 134405.108
AT ITER 857 NEW BEST:: SOT 1185139 SOS 874752 HAS SOPS 874094 HAS SOUS 132942 HAS SOUPS 132679 WITH SCORE 133553.752
AT ITER 869 NEW BEST:: SOT 1185139 SOS 884394 HAS SOPS 883736 HAS SOUS 132815 HAS SOUPS 132552 WITH SCORE 133436.394
AT ITER 870 NEW BEST:: SOT 1185139 SOS 885553 HAS SOPS 884908 HAS SOUS 132659 HAS SOUPS 132409 WITH SCORE 133294.553
AT ITER 875 NEW BEST:: SOT 1185349 SOS 885853 HAS SOPS 885208 HAS SOUS 132647 HAS SOUPS 132397 WITH SCORE 133282.853
AT ITER 876 NEW BEST:: SOT 1185796 SOS 886300 HAS SOPS 885655 HAS SOUS 132385 HAS SOUPS 132135 WITH SCORE 133021.3
AT ITER 882 NEW BEST:: SOT 1187754 SOS 888332 HAS SOPS 887613 HAS SOUS 132338 HAS SOUPS 132014 WITH SCORE 132902.332
AT ITER 896 NEW BEST:: SOT 1187754 SOS 885863 HAS SOPS 885265 HAS SOUS 132218 HAS SOUPS 131920 WITH SCORE 132805.863
AT ITER 899 NEW BEST:: SOT 1187786 SOS 885895 HAS SOPS 885297 HAS SOUS 131809 HAS SOUPS 131511 WITH SCORE 132396.895
AT ITER 906 NEW BEST:: SOT 1190753 SOS 888863 HAS SOPS 888264 HAS SOUS 131685 HAS SOUPS 131386 WITH SCORE 132274.863
AT ITER 915 NEW BEST:: SOT 1190383 SOS 888493 HAS SOPS 887894 HAS SOUS 131491 HAS SOUPS 131192 WITH SCORE 132080.493
AT ITER 934 NEW BEST:: SOT 1190510 SOS 888684 HAS SOPS 888085 HAS SOUS 129838 HAS SOUPS 129539 WITH SCORE 130427.684
AT ITER 950 NEW BEST:: SOT 1191224 SOS 890367 HAS SOPS 889837 HAS SOUS 129391 HAS SOUPS 129161 WITH SCORE 130051.367
AT ITER 955 NEW BEST:: SOT 1190725 SOS 889580 HAS SOPS 889050 HAS SOUS 129183 HAS SOUPS 128953 WITH SCORE 129842.58
AT ITER 964 NEW BEST:: SOT 1190239 SOS 889094 HAS SOPS 888564 HAS SOUS 128576 HAS SOUPS 128346 WITH SCORE 129235.094
AT ITER 979 NEW BEST:: SOT 1190389 SOS 889244 HAS SOPS 888714 HAS SOUS 128510 HAS SOUPS 128280 WITH SCORE 129169.244
AT ITER 982 NEW BEST:: SOT 1189927 SOS 888782 HAS SOPS 888252 HAS SOUS 128454 HAS SOUPS 128224 WITH SCORE 129112.782
AT ITER 983 NEW BEST:: SOT 1189855 SOS 888710 HAS SOPS 888180 HAS SOUS 127943 HAS SOUPS 127713 WITH SCORE 128601.71
AT ITER 986 NEW BEST:: SOT 1189855 SOS 885909 HAS SOPS 885564 HAS SOUS 127699 HAS SOUPS 127506 WITH SCORE 128391.909
AT ITER 991 NEW BEST:: SOT 1189881 SOS 885935 HAS SOPS 885590 HAS SOUS 126991 HAS SOUPS 126798 WITH SCORE 127683.935
AT ITER 1013 NEW BEST:: SOT 1189777 SOS 885831 HAS SOPS 885486 HAS SOUS 126706 HAS SOUPS 126513 WITH SCORE 127398.831
AT ITER 1018 NEW BEST:: SOT 1191018 SOS 887072 HAS SOPS 886727 HAS SOUS 126681 HAS SOUPS 126488 WITH SCORE 127375.072
AT ITER 1021 NEW BEST:: SOT 1193101 SOS 889155 HAS SOPS 888810 HAS SOUS 125932 HAS SOUPS 125739 WITH SCORE 126628.155
AT ITER 1027 NEW BEST:: SOT 1192548 SOS 888602 HAS SOPS 888257 HAS SOUS 125394 HAS SOUPS 125201 WITH SCORE 126089.602
AT ITER 1032 NEW BEST:: SOT 1192950 SOS 889004 HAS SOPS 888659 HAS SOUS 124676 HAS SOUPS 124483 WITH SCORE 125372.004
AT ITER 1039 NEW BEST:: SOT 1192411 SOS 887906 HAS SOPS 887492 HAS SOUS 124545 HAS SOUPS 124283 WITH SCORE 125170.906
AT ITER 1053 NEW BEST:: SOT 1192020 SOS 887515 HAS SOPS 887101 HAS SOUS 124154 HAS SOUPS 123892 WITH SCORE 124779.515
AT ITER 1062 NEW BEST:: SOT 1192204 SOS 888305 HAS SOPS 887891 HAS SOUS 123190 HAS SOUPS 122928 WITH SCORE 123816.305
AT ITER 1068 NEW BEST:: SOT 1192204 SOS 888467 HAS SOPS 888011 HAS SOUS 123190 HAS SOUPS 122886 WITH SCORE 123774.467
AT ITER 1078 NEW BEST:: SOT 1192911 SOS 889174 HAS SOPS 888718 HAS SOUS 122913 HAS SOUPS 122609 WITH SCORE 123498.174
AT ITER 1085 NEW BEST:: SOT 1192938 SOS 889229 HAS SOPS 888889 HAS SOUS 122752 HAS SOUPS 122564 WITH SCORE 123453.229
AT ITER 1086 NEW BEST:: SOT 1192933 SOS 888096 HAS SOPS 887756 HAS SOUS 122735 HAS SOUPS 122547 WITH SCORE 123435.096
AT ITER 1091 NEW BEST:: SOT 1192933 SOS 888064 HAS SOPS 887724 HAS SOUS 122719 HAS SOUPS 122531 WITH SCORE 123419.064
AT ITER 1094 NEW BEST:: SOT 1192936 SOS 888030 HAS SOPS 887655 HAS SOUS 122742 HAS SOUPS 122519 WITH SCORE 123407.03
AT ITER 1096 NEW BEST:: SOT 1192378 SOS 887472 HAS SOPS 887097 HAS SOUS 122588 HAS SOUPS 122365 WITH SCORE 123252.472
AT ITER 1102 NEW BEST:: SOT 1193475 SOS 888569 HAS SOPS 888194 HAS SOUS 122484 HAS SOUPS 122261 WITH SCORE 123149.569
AT ITER 1112 NEW BEST:: SOT 1193490 SOS 889184 HAS SOPS 888809 HAS SOUS 122477 HAS SOUPS 122254 WITH SCORE 123143.184
AT ITER 1121 NEW BEST:: SOT 1193584 SOS 889278 HAS SOPS 888903 HAS SOUS 122375 HAS SOUPS 122152 WITH SCORE 123041.278
AT ITER 1124 NEW BEST:: SOT 1194818 SOS 890848 HAS SOPS 890473 HAS SOUS 121404 HAS SOUPS 121181 WITH SCORE 122071.848
AT ITER 1135 NEW BEST:: SOT 1194819 SOS 891257 HAS SOPS 890882 HAS SOUS 121319 HAS SOUPS 121096 WITH SCORE 121987.257
AT ITER 1147 NEW BEST:: SOT 1194421 SOS 888537 HAS SOPS 888276 HAS SOUS 121017 HAS SOUPS 120788 WITH SCORE 121676.537
AT ITER 1155 NEW BEST:: SOT 1194737 SOS 888895 HAS SOPS 888634 HAS SOUS 120650 HAS SOUPS 120421 WITH SCORE 121309.895
AT ITER 1162 NEW BEST:: SOT 1194293 SOS 888358 HAS SOPS 888078 HAS SOUS 119783 HAS SOUPS 119535 WITH SCORE 120423.358
AT ITER 1166 NEW BEST:: SOT 1194340 SOS 889221 HAS SOPS 888941 HAS SOUS 119724 HAS SOUPS 119476 WITH SCORE 120365.221
AT ITER 1171 NEW BEST:: SOT 1194772 SOS 889653 HAS SOPS 889373 HAS SOUS 119698 HAS SOUPS 119450 WITH SCORE 120339.653
AT ITER 1172 NEW BEST:: SOT 1197226 SOS 892299 HAS SOPS 892019 HAS SOUS 119692 HAS SOUPS 119444 WITH SCORE 120336.299
AT ITER 1173 NEW BEST:: SOT 1197119 SOS 892146 HAS SOPS 891866 HAS SOUS 118748 HAS SOUPS 118500 WITH SCORE 119392.146
AT ITER 1175 NEW BEST:: SOT 1197119 SOS 892368 HAS SOPS 892090 HAS SOUS 118719 HAS SOUPS 118473 WITH SCORE 119365.368
AT ITER 1176 NEW BEST:: SOT 1197569 SOS 892818 HAS SOPS 892540 HAS SOUS 118464 HAS SOUPS 118218 WITH SCORE 119110.818
AT ITER 1183 NEW BEST:: SOT 1197600 SOS 894710 HAS SOPS 894432 HAS SOUS 118374 HAS SOUPS 118128 WITH SCORE 119022.71
AT ITER 1184 NEW BEST:: SOT 1197437 SOS 894547 HAS SOPS 894269 HAS SOUS 118035 HAS SOUPS 117789 WITH SCORE 118683.547
AT ITER 1190 NEW BEST:: SOT 1197491 SOS 894601 HAS SOPS 894323 HAS SOUS 118025 HAS SOUPS 117779 WITH SCORE 118673.601
AT ITER 1194 NEW BEST:: SOT 1197491 SOS 894661 HAS SOPS 894383 HAS SOUS 118010 HAS SOUPS 117764 WITH SCORE 118658.661
AT ITER 1198 NEW BEST:: SOT 1197655 SOS 894838 HAS SOPS 894560 HAS SOUS 117716 HAS SOUPS 117470 WITH SCORE 118364.838
AT ITER 1200 NEW BEST:: SOT 1197681 SOS 894837 HAS SOPS 894594 HAS SOUS 117586 HAS SOUPS 117375 WITH SCORE 118269.837
AT ITER 1218 NEW BEST:: SOT 1197635 SOS 894599 HAS SOPS 894356 HAS SOUS 117517 HAS SOUPS 117306 WITH SCORE 118200.599
AT ITER 1247 NEW BEST:: SOT 1197625 SOS 894589 HAS SOPS 894346 HAS SOUS 117497 HAS SOUPS 117286 WITH SCORE 118180.589
AT ITER 1249 NEW BEST:: SOT 1197648 SOS 894520 HAS SOPS 894277 HAS SOUS 117479 HAS SOUPS 117268 WITH SCORE 118162.52
AT ITER 1253 NEW BEST:: SOT 1197654 SOS 894742 HAS SOPS 894499 HAS SOUS 117449 HAS SOUPS 117238 WITH SCORE 118132.742
AT ITER 1257 NEW BEST:: SOT 1197479 SOS 898276 HAS SOPS 898087 HAS SOUS 117299 HAS SOUPS 117142 WITH SCORE 118040.276
AT ITER 1259 NEW BEST:: SOT 1197427 SOS 898224 HAS SOPS 898035 HAS SOUS 117106 HAS SOUPS 116949 WITH SCORE 117847.224
AT ITER 1260 NEW BEST:: SOT 1198348 SOS 899145 HAS SOPS 898956 HAS SOUS 116972 HAS SOUPS 116815 WITH SCORE 117714.145
AT ITER 1270 NEW BEST:: SOT 1198153 SOS 898950 HAS SOPS 898761 HAS SOUS 116921 HAS SOUPS 116764 WITH SCORE 117662.95
AT ITER 1284 NEW BEST:: SOT 1198410 SOS 900479 HAS SOPS 900290 HAS SOUS 115401 HAS SOUPS 115244 WITH SCORE 116144.479
AT ITER 1285 NEW BEST:: SOT 1195660 SOS 897729 HAS SOPS 897540 HAS SOUS 115156 HAS SOUPS 114999 WITH SCORE 115896.729
AT ITER 1288 NEW BEST:: SOT 1195660 SOS 898593 HAS SOPS 898404 HAS SOUS 114562 HAS SOUPS 114405 WITH SCORE 115303.593
AT ITER 1289 NEW BEST:: SOT 1195746 SOS 881058 HAS SOPS 880759 HAS SOUS 114552 HAS SOUPS 114370 WITH SCORE 115251.058
AT ITER 1290 NEW BEST:: SOT 1195770 SOS 881802 HAS SOPS 881503 HAS SOUS 114540 HAS SOUPS 114358 WITH SCORE 115239.802
AT ITER 1294 NEW BEST:: SOT 1195321 SOS 881353 HAS SOPS 881054 HAS SOUS 114317 HAS SOUPS 114135 WITH SCORE 115016.353
AT ITER 1307 NEW BEST:: SOT 1195287 SOS 881264 HAS SOPS 880984 HAS SOUS 114294 HAS SOUPS 114120 WITH SCORE 115001.264
AT ITER 1308 NEW BEST:: SOT 1195472 SOS 881449 HAS SOPS 881169 HAS SOUS 114095 HAS SOUPS 113921 WITH SCORE 114802.449
AT ITER 1312 NEW BEST:: SOT 1195605 SOS 881582 HAS SOPS 881302 HAS SOUS 113983 HAS SOUPS 113809 WITH SCORE 114690.582
AT ITER 1313 NEW BEST:: SOT 1195617 SOS 881594 HAS SOPS 881314 HAS SOUS 113971 HAS SOUPS 113797 WITH SCORE 114678.594
AT ITER 1322 NEW BEST:: SOT 1195626 SOS 874451 HAS SOPS 874071 HAS SOUS 114011 HAS SOUPS 113794 WITH SCORE 114668.451
AT ITER 1326 NEW BEST:: SOT 1196060 SOS 874885 HAS SOPS 874505 HAS SOUS 113606 HAS SOUPS 113389 WITH SCORE 114263.885
AT ITER 1344 NEW BEST:: SOT 1195760 SOS 874585 HAS SOPS 874205 HAS SOUS 113291 HAS SOUPS 113074 WITH SCORE 113948.585
AT ITER 1345 NEW BEST:: SOT 1195763 SOS 875403 HAS SOPS 874992 HAS SOUS 113189 HAS SOUPS 112941 WITH SCORE 113816.403
AT ITER 1356 NEW BEST:: SOT 1195304 SOS 874944 HAS SOPS 874533 HAS SOUS 113108 HAS SOUPS 112860 WITH SCORE 113734.944
AT ITER 1357 NEW BEST:: SOT 1196496 SOS 876136 HAS SOPS 875725 HAS SOUS 113066 HAS SOUPS 112818 WITH SCORE 113694.136
AT ITER 1360 NEW BEST:: SOT 1196087 SOS 875727 HAS SOPS 875316 HAS SOUS 112737 HAS SOUPS 112489 WITH SCORE 113364.727
AT ITER 1370 NEW BEST:: SOT 1196478 SOS 876371 HAS SOPS 875960 HAS SOUS 112476 HAS SOUPS 112228 WITH SCORE 113104.371
AT ITER 1381 NEW BEST:: SOT 1196478 SOS 876371 HAS SOPS 875960 HAS SOUS 112464 HAS SOUPS 112216 WITH SCORE 113092.371
AT ITER 1384 NEW BEST:: SOT 1196478 SOS 876371 HAS SOPS 875960 HAS SOUS 112398 HAS SOUPS 112150 WITH SCORE 113026.371
AT ITER 1386 NEW BEST:: SOT 1196657 SOS 876550 HAS SOPS 876139 HAS SOUS 112184 HAS SOUPS 111936 WITH SCORE 112812.55
AT ITER 1390 NEW BEST:: SOT 1196657 SOS 876550 HAS SOPS 876139 HAS SOUS 112183 HAS SOUPS 111935 WITH SCORE 112811.55
AT ITER 1398 NEW BEST:: SOT 1196697 SOS 876590 HAS SOPS 876179 HAS SOUS 112151 HAS SOUPS 111903 WITH SCORE 112779.59
AT ITER 1412 NEW BEST:: SOT 1196669 SOS 889086 HAS SOPS 888675 HAS SOUS 112073 HAS SOUPS 111825 WITH SCORE 112714.086
AT ITER 1415 NEW BEST:: SOT 1196906 SOS 889323 HAS SOPS 888912 HAS SOUS 112041 HAS SOUPS 111793 WITH SCORE 112682.323
AT ITER 1431 NEW BEST:: SOT 1197122 SOS 889539 HAS SOPS 889128 HAS SOUS 111944 HAS SOUPS 111696 WITH SCORE 112585.539
AT ITER 1440 NEW BEST:: SOT 1197072 SOS 889489 HAS SOPS 889078 HAS SOUS 111829 HAS SOUPS 111581 WITH SCORE 112470.489
AT ITER 1453 NEW BEST:: SOT 1197072 SOS 889497 HAS SOPS 889082 HAS SOUS 111829 HAS SOUPS 111577 WITH SCORE 112466.497
AT ITER 1460 NEW BEST:: SOT 1197072 SOS 889209 HAS SOPS 888794 HAS SOUS 111823 HAS SOUPS 111571 WITH SCORE 112460.209
AT ITER 1467 NEW BEST:: SOT 1197072 SOS 893846 HAS SOPS 893482 HAS SOUS 111721 HAS SOUPS 111484 WITH SCORE 112377.846
AT ITER 1490 NEW BEST:: SOT 1196934 SOS 893708 HAS SOPS 893344 HAS SOUS 111496 HAS SOUPS 111259 WITH SCORE 112152.708
AT ITER 1495 NEW BEST:: SOT 1197759 SOS 894533 HAS SOPS 894169 HAS SOUS 111013 HAS SOUPS 110776 WITH SCORE 111670.533
AT ITER 1512 NEW BEST:: SOT 1195942 SOS 892716 HAS SOPS 892352 HAS SOUS 110820 HAS SOUPS 110583 WITH SCORE 111475.716
AT ITER 1536 NEW BEST:: SOT 1196030 SOS 892849 HAS SOPS 892480 HAS SOUS 110824 HAS SOUPS 110582 WITH SCORE 111474.849
AT ITER 1539 NEW BEST:: SOT 1194526 SOS 891345 HAS SOPS 890976 HAS SOUS 110399 HAS SOUPS 110157 WITH SCORE 111048.345
AT ITER 1545 NEW BEST:: SOT 1194556 SOS 900270 HAS SOPS 899522 HAS SOUS 110060 HAS SOUPS 109746 WITH SCORE 110646.27
AT ITER 1553 NEW BEST:: SOT 1194476 SOS 900190 HAS SOPS 899442 HAS SOUS 109900 HAS SOUPS 109586 WITH SCORE 110486.19
AT ITER 1576 NEW BEST:: SOT 1194507 SOS 900049 HAS SOPS 899279 HAS SOUS 109924 HAS SOUPS 109586 WITH SCORE 110486.049
AT ITER 1589 NEW BEST:: SOT 1194507 SOS 899952 HAS SOPS 899182 HAS SOUS 109901 HAS SOUPS 109563 WITH SCORE 110462.952
AT ITER 1594 NEW BEST:: SOT 1194172 SOS 899617 HAS SOPS 898847 HAS SOUS 108788 HAS SOUPS 108450 WITH SCORE 109349.617
AT ITER 1598 NEW BEST:: SOT 1194172 SOS 900017 HAS SOPS 899247 HAS SOUS 108768 HAS SOUPS 108430 WITH SCORE 109330.017
AT ITER 1600 NEW BEST:: SOT 1193348 SOS 899193 HAS SOPS 898423 HAS SOUS 108599 HAS SOUPS 108261 WITH SCORE 109160.193
AT ITER 1602 NEW BEST:: SOT 1193348 SOS 882447 HAS SOPS 881509 HAS SOUS 108544 HAS SOUPS 108180 WITH SCORE 109062.447
AT ITER 1617 NEW BEST:: SOT 1193502 SOS 882601 HAS SOPS 881663 HAS SOUS 108529 HAS SOUPS 108165 WITH SCORE 109047.601
AT ITER 1621 NEW BEST:: SOT 1194511 SOS 910253 HAS SOPS 909700 HAS SOUS 108170 HAS SOUPS 107960 WITH SCORE 108870.253
AT ITER 1641 NEW BEST:: SOT 1195837 SOS 912099 HAS SOPS 911546 HAS SOUS 107961 HAS SOUPS 107751 WITH SCORE 108663.099
AT ITER 1643 NEW BEST:: SOT 1195825 SOS 911734 HAS SOPS 911141 HAS SOUS 107973 HAS SOUPS 107723 WITH SCORE 108634.734
AT ITER 1653 NEW BEST:: SOT 1195854 SOS 910538 HAS SOPS 909978 HAS SOUS 107629 HAS SOUPS 107367 WITH SCORE 108277.538
AT ITER 1663 NEW BEST:: SOT 1197769 SOS 912453 HAS SOPS 911893 HAS SOUS 106974 HAS SOUPS 106712 WITH SCORE 107624.453
AT ITER 1668 NEW BEST:: SOT 1197212 SOS 911896 HAS SOPS 911336 HAS SOUS 106611 HAS SOUPS 106349 WITH SCORE 107260.896
AT ITER 1676 NEW BEST:: SOT 1196384 SOS 911068 HAS SOPS 910508 HAS SOUS 106023 HAS SOUPS 105761 WITH SCORE 106672.068
AT ITER 1677 NEW BEST:: SOT 1196382 SOS 911210 HAS SOPS 910650 HAS SOUS 106009 HAS SOUPS 105747 WITH SCORE 106658.21
AT ITER 1682 NEW BEST:: SOT 1196836 SOS 911664 HAS SOPS 911104 HAS SOUS 105731 HAS SOUPS 105469 WITH SCORE 106380.664
AT ITER 1686 NEW BEST:: SOT 1196881 SOS 911709 HAS SOPS 911149 HAS SOUS 105489 HAS SOUPS 105227 WITH SCORE 106138.709
AT ITER 1690 NEW BEST:: SOT 1196881 SOS 911459 HAS SOPS 910899 HAS SOUS 105489 HAS SOUPS 105227 WITH SCORE 106138.459
AT ITER 1693 NEW BEST:: SOT 1197816 SOS 912394 HAS SOPS 911834 HAS SOUS 104772 HAS SOUPS 104510 WITH SCORE 105422.394
AT ITER 1723 NEW BEST:: SOT 1197813 SOS 912402 HAS SOPS 911831 HAS SOUS 104740 HAS SOUPS 104467 WITH SCORE 105379.402
AT ITER 1730 NEW BEST:: SOT 1197916 SOS 912505 HAS SOPS 911934 HAS SOUS 104269 HAS SOUPS 103996 WITH SCORE 104908.505
AT ITER 1752 NEW BEST:: SOT 1197955 SOS 912544 HAS SOPS 911973 HAS SOUS 104260 HAS SOUPS 103987 WITH SCORE 104899.544
AT ITER 1800 NEW BEST:: SOT 1197948 SOS 912537 HAS SOPS 911966 HAS SOUS 104069 HAS SOUPS 103796 WITH SCORE 104708.537
AT ITER 1808 NEW BEST:: SOT 1197948 SOS 906713 HAS SOPS 906142 HAS SOUS 104053 HAS SOUPS 103780 WITH SCORE 104686.713
AT ITER 1820 NEW BEST:: SOT 1197940 SOS 906705 HAS SOPS 906134 HAS SOUS 104045 HAS SOUPS 103772 WITH SCORE 104678.705
AT ITER 1828 NEW BEST:: SOT 1195105 SOS 903870 HAS SOPS 903299 HAS SOUS 103677 HAS SOUPS 103404 WITH SCORE 104307.87
AT ITER 1840 NEW BEST:: SOT 1195105 SOS 903595 HAS SOPS 902975 HAS SOUS 103648 HAS SOUPS 103326 WITH SCORE 104229.595
AT ITER 1855 NEW BEST:: SOT 1195249 SOS 903739 HAS SOPS 903119 HAS SOUS 103523 HAS SOUPS 103201 WITH SCORE 104104.739
AT ITER 1865 NEW BEST:: SOT 1195998 SOS 905456 HAS SOPS 904856 HAS SOUS 102294 HAS SOUPS 101977 WITH SCORE 102882.456
AT ITER 1870 NEW BEST:: SOT 1196175 SOS 903933 HAS SOPS 903476 HAS SOUS 101678 HAS SOUPS 101405 WITH SCORE 102308.933
AT ITER 1872 NEW BEST:: SOT 1196818 SOS 904576 HAS SOPS 904119 HAS SOUS 101453 HAS SOUPS 101180 WITH SCORE 102084.576
AT ITER 1885 NEW BEST:: SOT 1196818 SOS 904461 HAS SOPS 904004 HAS SOUS 101419 HAS SOUPS 101146 WITH SCORE 102050.461
AT ITER 1906 NEW BEST:: SOT 1199210 SOS 906853 HAS SOPS 906396 HAS SOUS 100856 HAS SOUPS 100583 WITH SCORE 101489.853
AT ITER 1919 NEW BEST:: SOT 1199210 SOS 906853 HAS SOPS 906396 HAS SOUS 100826 HAS SOUPS 100553 WITH SCORE 101459.853
AT ITER 1930 NEW BEST:: SOT 1199210 SOS 906733 HAS SOPS 906276 HAS SOUS 100826 HAS SOUPS 100553 WITH SCORE 101459.733
AT ITER 1948 NEW BEST:: SOT 1199099 SOS 906622 HAS SOPS 906165 HAS SOUS 100763 HAS SOUPS 100490 WITH SCORE 101396.622
AT ITER 1950 NEW BEST:: SOT 1199099 SOS 905364 HAS SOPS 904963 HAS SOUS 100735 HAS SOUPS 100476 WITH SCORE 101381.364
AT ITER 1954 NEW BEST:: SOT 1199099 SOS 905364 HAS SOPS 904963 HAS SOUS 100726 HAS SOUPS 100467 WITH SCORE 101372.364
AT ITER 1961 NEW BEST:: SOT 1199099 SOS 905369 HAS SOPS 904968 HAS SOUS 100721 HAS SOUPS 100462 WITH SCORE 101367.369
AT ITER 1992 NEW BEST:: SOT 1199099 SOS 905369 HAS SOPS 904968 HAS SOUS 100641 HAS SOUPS 100382 WITH SCORE 101287.369
AT ITER 1997 NEW BEST:: SOT 1199099 SOS 905440 HAS SOPS 905039 HAS SOUS 100578 HAS SOUPS 100319 WITH SCORE 101224.44
AT ITER 2006 NEW BEST:: SOT 1198346 SOS 904687 HAS SOPS 904286 HAS SOUS 100441 HAS SOUPS 100182 WITH SCORE 101086.687
AT ITER 2007 NEW BEST:: SOT 1198346 SOS 904805 HAS SOPS 904390 HAS SOUS 100415 HAS SOUPS 100142 WITH SCORE 101046.805
AT ITER 2014 NEW BEST:: SOT 1198816 SOS 905275 HAS SOPS 904860 HAS SOUS 100204 HAS SOUPS 99931 WITH SCORE 100836.275
AT ITER 2022 NEW BEST:: SOT 1198208 SOS 904667 HAS SOPS 904252 HAS SOUS 100109 HAS SOUPS 99836 WITH SCORE 100740.667
AT ITER 2026 NEW BEST:: SOT 1197825 SOS 904284 HAS SOPS 903869 HAS SOUS 100080 HAS SOUPS 99807 WITH SCORE 100711.284
AT ITER 2040 NEW BEST:: SOT 1198397 SOS 904856 HAS SOPS 904441 HAS SOUS 99883 HAS SOUPS 99610 WITH SCORE 100514.856
AT ITER 2045 NEW BEST:: SOT 1198398 SOS 904857 HAS SOPS 904442 HAS SOUS 99859 HAS SOUPS 99586 WITH SCORE 100490.857
AT ITER 2046 NEW BEST:: SOT 1198356 SOS 904815 HAS SOPS 904400 HAS SOUS 99817 HAS SOUPS 99544 WITH SCORE 100448.815
AT ITER 2061 NEW BEST:: SOT 1198367 SOS 904826 HAS SOPS 904411 HAS SOUS 99553 HAS SOUPS 99280 WITH SCORE 100184.826
AT ITER 2071 NEW BEST:: SOT 1197931 SOS 904390 HAS SOPS 903975 HAS SOUS 99525 HAS SOUPS 99252 WITH SCORE 100156.39
AT ITER 2075 NEW BEST:: SOT 1197092 SOS 903551 HAS SOPS 903136 HAS SOUS 99418 HAS SOUPS 99145 WITH SCORE 100048.551
AT ITER 2083 NEW BEST:: SOT 1197092 SOS 903534 HAS SOPS 903082 HAS SOUS 99418 HAS SOUPS 99108 WITH SCORE 100011.534
AT ITER 2084 NEW BEST:: SOT 1197092 SOS 903486 HAS SOPS 903034 HAS SOUS 99408 HAS SOUPS 99098 WITH SCORE 100001.486
AT ITER 2088 NEW BEST:: SOT 1197097 SOS 903491 HAS SOPS 903039 HAS SOUS 99401 HAS SOUPS 99091 WITH SCORE 99994.491
AT ITER 2094 NEW BEST:: SOT 1197076 SOS 903632 HAS SOPS 903248 HAS SOUS 99327 HAS SOUPS 99085 WITH SCORE 99988.632
AT ITER 2099 NEW BEST:: SOT 1197057 SOS 903613 HAS SOPS 903229 HAS SOUS 99308 HAS SOUPS 99066 WITH SCORE 99969.613
AT ITER 2111 NEW BEST:: SOT 1196922 SOS 903478 HAS SOPS 903094 HAS SOUS 98731 HAS SOUPS 98489 WITH SCORE 99392.478
AT ITER 2129 NEW BEST:: SOT 1197085 SOS 903641 HAS SOPS 903257 HAS SOUS 98288 HAS SOUPS 98046 WITH SCORE 98949.641
AT ITER 2135 NEW BEST:: SOT 1197147 SOS 903703 HAS SOPS 903319 HAS SOUS 98099 HAS SOUPS 97857 WITH SCORE 98760.703
AT ITER 2150 NEW BEST:: SOT 1196688 SOS 903244 HAS SOPS 902860 HAS SOUS 97688 HAS SOUPS 97446 WITH SCORE 98349.244
AT ITER 2157 NEW BEST:: SOT 1198565 SOS 906201 HAS SOPS 905817 HAS SOUS 97571 HAS SOUPS 97329 WITH SCORE 98235.201
AT ITER 2160 NEW BEST:: SOT 1200513 SOS 908149 HAS SOPS 907765 HAS SOUS 96736 HAS SOUPS 96494 WITH SCORE 97402.149
AT ITER 2166 NEW BEST:: SOT 1197496 SOS 905132 HAS SOPS 904748 HAS SOUS 96303 HAS SOUPS 96061 WITH SCORE 96966.132
AT ITER 2183 NEW BEST:: SOT 1196972 SOS 904608 HAS SOPS 904224 HAS SOUS 96229 HAS SOUPS 95987 WITH SCORE 96891.608
AT ITER 2216 NEW BEST:: SOT 1196971 SOS 904607 HAS SOPS 904223 HAS SOUS 96227 HAS SOUPS 95985 WITH SCORE 96889.607
AT ITER 2217 NEW BEST:: SOT 1197477 SOS 905113 HAS SOPS 904729 HAS SOUS 96005 HAS SOUPS 95763 WITH SCORE 96668.113
AT ITER 2222 NEW BEST:: SOT 1197477 SOS 904756 HAS SOPS 904345 HAS SOUS 95976 HAS SOUPS 95707 WITH SCORE 96611.756
AT ITER 2230 NEW BEST:: SOT 1196850 SOS 903829 HAS SOPS 903438 HAS SOUS 95849 HAS SOUPS 95585 WITH SCORE 96488.829
AT ITER 2233 NEW BEST:: SOT 1196401 SOS 903380 HAS SOPS 902989 HAS SOUS 95683 HAS SOUPS 95419 WITH SCORE 96322.38
AT ITER 2237 NEW BEST:: SOT 1196401 SOS 903446 HAS SOPS 903085 HAS SOUS 95651 HAS SOUPS 95417 WITH SCORE 96320.446
AT ITER 2241 NEW BEST:: SOT 1197253 SOS 904723 HAS SOPS 904362 HAS SOUS 94569 HAS SOUPS 94335 WITH SCORE 95239.723
AT ITER 2299 NEW BEST:: SOT 1196669 SOS 904139 HAS SOPS 903778 HAS SOUS 94337 HAS SOUPS 94103 WITH SCORE 95007.139
AT ITER 2304 NEW BEST:: SOT 1196110 SOS 903580 HAS SOPS 903219 HAS SOUS 94256 HAS SOUPS 94022 WITH SCORE 94925.58
AT ITER 2306 NEW BEST:: SOT 1196197 SOS 903667 HAS SOPS 903306 HAS SOUS 94204 HAS SOUPS 93970 WITH SCORE 94873.667
AT ITER 2317 NEW BEST:: SOT 1196322 SOS 904356 HAS SOPS 903995 HAS SOUS 93655 HAS SOUPS 93421 WITH SCORE 94325.356
AT ITER 2326 NEW BEST:: SOT 1196294 SOS 904328 HAS SOPS 903967 HAS SOUS 93627 HAS SOUPS 93393 WITH SCORE 94297.328
AT ITER 2333 NEW BEST:: SOT 1196294 SOS 904328 HAS SOPS 903967 HAS SOUS 93620 HAS SOUPS 93386 WITH SCORE 94290.328
AT ITER 2339 NEW BEST:: SOT 1196294 SOS 904328 HAS SOPS 903967 HAS SOUS 93363 HAS SOUPS 93129 WITH SCORE 94033.328
AT ITER 2345 NEW BEST:: SOT 1196294 SOS 899736 HAS SOPS 899375 HAS SOUS 93355 HAS SOUPS 93121 WITH SCORE 94020.736
AT ITER 2349 NEW BEST:: SOT 1196294 SOS 899736 HAS SOPS 899375 HAS SOUS 93331 HAS SOUPS 93097 WITH SCORE 93996.736
AT ITER 2352 NEW BEST:: SOT 1196414 SOS 899856 HAS SOPS 899495 HAS SOUS 93157 HAS SOUPS 92923 WITH SCORE 93822.856
AT ITER 2354 NEW BEST:: SOT 1196438 SOS 897851 HAS SOPS 897490 HAS SOUS 93151 HAS SOUPS 92917 WITH SCORE 93814.851
AT ITER 2378 NEW BEST:: SOT 1196383 SOS 926122 HAS SOPS 925804 HAS SOUS 93070 HAS SOUPS 92879 WITH SCORE 93805.122
AT ITER 2390 NEW BEST:: SOT 1196469 SOS 926208 HAS SOPS 925890 HAS SOUS 92974 HAS SOUPS 92783 WITH SCORE 93709.208
AT ITER 2396 NEW BEST:: SOT 1195096 SOS 924835 HAS SOPS 924517 HAS SOUS 92426 HAS SOUPS 92235 WITH SCORE 93159.835
AT ITER 2417 NEW BEST:: SOT 1195096 SOS 924835 HAS SOPS 924517 HAS SOUS 92418 HAS SOUPS 92227 WITH SCORE 93151.835
AT ITER 2440 NEW BEST:: SOT 1194903 SOS 924642 HAS SOPS 924324 HAS SOUS 92358 HAS SOUPS 92167 WITH SCORE 93091.642
AT ITER 2445 NEW BEST:: SOT 1194975 SOS 924714 HAS SOPS 924396 HAS SOUS 92210 HAS SOUPS 92019 WITH SCORE 92943.714
AT ITER 2465 NEW BEST:: SOT 1194975 SOS 924162 HAS SOPS 923844 HAS SOUS 92177 HAS SOUPS 91986 WITH SCORE 92910.162
AT ITER 2487 NEW BEST:: SOT 1194907 SOS 924094 HAS SOPS 923776 HAS SOUS 92143 HAS SOUPS 91952 WITH SCORE 92876.094
AT ITER 2493 NEW BEST:: SOT 1194635 SOS 923822 HAS SOPS 923504 HAS SOUS 91813 HAS SOUPS 91622 WITH SCORE 92545.822
AT ITER 2509 NEW BEST:: SOT 1194657 SOS 923844 HAS SOPS 923526 HAS SOUS 91796 HAS SOUPS 91605 WITH SCORE 92528.844
AT ITER 2510 NEW BEST:: SOT 1194629 SOS 923816 HAS SOPS 923498 HAS SOUS 91768 HAS SOUPS 91577 WITH SCORE 92500.816
AT ITER 2515 NEW BEST:: SOT 1194629 SOS 923796 HAS SOPS 923478 HAS SOUS 91702 HAS SOUPS 91511 WITH SCORE 92434.796
AT ITER 2561 NEW BEST:: SOT 1196310 SOS 926901 HAS SOPS 926583 HAS SOUS 90688 HAS SOUPS 90497 WITH SCORE 91423.901
AT ITER 2568 NEW BEST:: SOT 1196360 SOS 926951 HAS SOPS 926633 HAS SOUS 90425 HAS SOUPS 90234 WITH SCORE 91160.951
AT ITER 2570 NEW BEST:: SOT 1196359 SOS 926950 HAS SOPS 926632 HAS SOUS 90423 HAS SOUPS 90232 WITH SCORE 91158.95
AT ITER 2582 NEW BEST:: SOT 1196312 SOS 926101 HAS SOPS 925817 HAS SOUS 90350 HAS SOUPS 90193 WITH SCORE 91119.101
AT ITER 2590 NEW BEST:: SOT 1197262 SOS 927051 HAS SOPS 926767 HAS SOUS 90146 HAS SOUPS 89989 WITH SCORE 90916.051
AT ITER 2610 NEW BEST:: SOT 1197197 SOS 926986 HAS SOPS 926702 HAS SOUS 89488 HAS SOUPS 89331 WITH SCORE 90257.986
AT ITER 2612 NEW BEST:: SOT 1197131 SOS 926920 HAS SOPS 926636 HAS SOUS 89446 HAS SOUPS 89289 WITH SCORE 90215.92
AT ITER 2632 NEW BEST:: SOT 1197101 SOS 926890 HAS SOPS 926606 HAS SOUS 89428 HAS SOUPS 89271 WITH SCORE 90197.89
AT ITER 2646 NEW BEST:: SOT 1197572 SOS 927361 HAS SOPS 927077 HAS SOUS 89380 HAS SOUPS 89223 WITH SCORE 90150.361
AT ITER 2650 NEW BEST:: SOT 1197664 SOS 927453 HAS SOPS 927169 HAS SOUS 89320 HAS SOUPS 89163 WITH SCORE 90090.453
AT ITER 2667 NEW BEST:: SOT 1196604 SOS 926393 HAS SOPS 926109 HAS SOUS 88861 HAS SOUPS 88704 WITH SCORE 89630.393
AT ITER 2672 NEW BEST:: SOT 1196625 SOS 926414 HAS SOPS 926130 HAS SOUS 88853 HAS SOUPS 88696 WITH SCORE 89622.414
AT ITER 2676 NEW BEST:: SOT 1196619 SOS 926912 HAS SOPS 926628 HAS SOUS 88736 HAS SOUPS 88579 WITH SCORE 89505.912
AT ITER 2684 NEW BEST:: SOT 1195281 SOS 925574 HAS SOPS 925290 HAS SOUS 88672 HAS SOUPS 88515 WITH SCORE 89440.574
AT ITER 2691 NEW BEST:: SOT 1195602 SOS 925895 HAS SOPS 925611 HAS SOUS 88520 HAS SOUPS 88363 WITH SCORE 89288.895
AT ITER 2692 NEW BEST:: SOT 1195699 SOS 925992 HAS SOPS 925708 HAS SOUS 88474 HAS SOUPS 88317 WITH SCORE 89242.992
AT ITER 2695 NEW BEST:: SOT 1197609 SOS 927170 HAS SOPS 926898 HAS SOUS 87830 HAS SOUPS 87685 WITH SCORE 88612.17
AT ITER 2700 NEW BEST:: SOT 1197609 SOS 926868 HAS SOPS 926596 HAS SOUS 87830 HAS SOUPS 87685 WITH SCORE 88611.868
AT ITER 2734 NEW BEST:: SOT 1197581 SOS 926840 HAS SOPS 926568 HAS SOUS 87826 HAS SOUPS 87681 WITH SCORE 88607.84
AT ITER 2743 NEW BEST:: SOT 1197581 SOS 926456 HAS SOPS 926184 HAS SOUS 87826 HAS SOUPS 87681 WITH SCORE 88607.456
AT ITER 2747 NEW BEST:: SOT 1197581 SOS 926456 HAS SOPS 926184 HAS SOUS 87796 HAS SOUPS 87651 WITH SCORE 88577.456
AT ITER 2765 NEW BEST:: SOT 1199179 SOS 928054 HAS SOPS 927782 HAS SOUS 87683 HAS SOUPS 87538 WITH SCORE 88466.054
AT ITER 2777 NEW BEST:: SOT 1199179 SOS 921166 HAS SOPS 920894 HAS SOUS 87671 HAS SOUPS 87526 WITH SCORE 88447.166
AT ITER 2788 NEW BEST:: SOT 1199179 SOS 921166 HAS SOPS 920894 HAS SOUS 87652 HAS SOUPS 87507 WITH SCORE 88428.166
AT ITER 2799 NEW BEST:: SOT 1199176 SOS 920359 HAS SOPS 920051 HAS SOUS 87649 HAS SOUPS 87468 WITH SCORE 88388.359
AT ITER 2817 NEW BEST:: SOT 1199179 SOS 920362 HAS SOPS 920054 HAS SOUS 87577 HAS SOUPS 87396 WITH SCORE 88316.362
AT ITER 2823 NEW BEST:: SOT 1199163 SOS 920442 HAS SOPS 920134 HAS SOUS 87561 HAS SOUPS 87380 WITH SCORE 88300.442
AT ITER 2836 NEW BEST:: SOT 1199163 SOS 920130 HAS SOPS 919822 HAS SOUS 87561 HAS SOUPS 87380 WITH SCORE 88300.13
AT ITER 2841 NEW BEST:: SOT 1199163 SOS 920082 HAS SOPS 919774 HAS SOUS 87561 HAS SOUPS 87380 WITH SCORE 88300.082
AT ITER 2842 NEW BEST:: SOT 1199163 SOS 920058 HAS SOPS 919750 HAS SOUS 87557 HAS SOUPS 87376 WITH SCORE 88296.058
AT ITER 2845 NEW BEST:: SOT 1199163 SOS 918498 HAS SOPS 918190 HAS SOUS 87557 HAS SOUPS 87376 WITH SCORE 88294.498
AT ITER 2870 NEW BEST:: SOT 1199163 SOS 918882 HAS SOPS 918574 HAS SOUS 87541 HAS SOUPS 87360 WITH SCORE 88278.882
AT ITER 2894 NEW BEST:: SOT 1199206 SOS 918925 HAS SOPS 918617 HAS SOUS 87306 HAS SOUPS 87125 WITH SCORE 88043.925
AT ITER 2895 NEW BEST:: SOT 1199206 SOS 919769 HAS SOPS 919461 HAS SOUS 87198 HAS SOUPS 87017 WITH SCORE 87936.769
AT ITER 2905 NEW BEST:: SOT 1199182 SOS 919752 HAS SOPS 919444 HAS SOUS 87190 HAS SOUPS 87009 WITH SCORE 87928.752
AT ITER 2912 NEW BEST:: SOT 1199182 SOS 919752 HAS SOPS 919444 HAS SOUS 87166 HAS SOUPS 86985 WITH SCORE 87904.752
AT ITER 2914 NEW BEST:: SOT 1199237 SOS 919807 HAS SOPS 919499 HAS SOUS 87053 HAS SOUPS 86872 WITH SCORE 87791.807
AT ITER 2934 NEW BEST:: SOT 1199219 SOS 919481 HAS SOPS 919173 HAS SOUS 87017 HAS SOUPS 86836 WITH SCORE 87755.481
AT ITER 2946 NEW BEST:: SOT 1198650 SOS 918912 HAS SOPS 918604 HAS SOUS 86744 HAS SOUPS 86563 WITH SCORE 87481.912
AT ITER 2956 NEW BEST:: SOT 1199050 SOS 919792 HAS SOPS 919484 HAS SOUS 86588 HAS SOUPS 86407 WITH SCORE 87326.792
AT ITER 2970 NEW BEST:: SOT 1199597 SOS 920339 HAS SOPS 920031 HAS SOUS 86458 HAS SOUPS 86277 WITH SCORE 87197.339
AT ITER 2984 NEW BEST:: SOT 1199816 SOS 920510 HAS SOPS 920206 HAS SOUS 86409 HAS SOUPS 86232 WITH SCORE 87152.51
AT ITER 2987 NEW BEST:: SOT 1199816 SOS 920477 HAS SOPS 920206 HAS SOUS 86376 HAS SOUPS 86232 WITH SCORE 87152.477
AT ITER 3013 NEW BEST:: SOT 1200592 SOS 921253 HAS SOPS 920982 HAS SOUS 86072 HAS SOUPS 85928 WITH SCORE 86849.253
AT ITER 3030 NEW BEST:: SOT 1200592 SOS 920869 HAS SOPS 920598 HAS SOUS 86072 HAS SOUPS 85928 WITH SCORE 86848.869
AT ITER 3051 NEW BEST:: SOT 1200590 SOS 920867 HAS SOPS 920596 HAS SOUS 86039 HAS SOUPS 85895 WITH SCORE 86815.867
AT ITER 3056 NEW BEST:: SOT 1200583 SOS 920860 HAS SOPS 920589 HAS SOUS 85999 HAS SOUPS 85855 WITH SCORE 86775.86
AT ITER 3072 NEW BEST:: SOT 1200583 SOS 919848 HAS SOPS 919621 HAS SOUS 85988 HAS SOUPS 85844 WITH SCORE 86763.848
AT ITER 3075 NEW BEST:: SOT 1200583 SOS 905626 HAS SOPS 905399 HAS SOUS 85988 HAS SOUPS 85844 WITH SCORE 86749.626
AT ITER 3084 NEW BEST:: SOT 1200630 SOS 905629 HAS SOPS 905402 HAS SOUS 85973 HAS SOUPS 85829 WITH SCORE 86734.629
AT ITER 3087 NEW BEST:: SOT 1200621 SOS 908169 HAS SOPS 907942 HAS SOUS 85969 HAS SOUPS 85825 WITH SCORE 86733.169
AT ITER 3104 NEW BEST:: SOT 1200621 SOS 908376 HAS SOPS 908128 HAS SOUS 85957 HAS SOUPS 85813 WITH SCORE 86721.376
AT ITER 3111 NEW BEST:: SOT 1200621 SOS 908694 HAS SOPS 908576 HAS SOUS 85756 HAS SOUPS 85638 WITH SCORE 86546.694
AT ITER 3134 NEW BEST:: SOT 1199986 SOS 908059 HAS SOPS 907941 HAS SOUS 85528 HAS SOUPS 85410 WITH SCORE 86318.059
AT ITER 3141 NEW BEST:: SOT 1199986 SOS 907867 HAS SOPS 907749 HAS SOUS 85528 HAS SOUPS 85410 WITH SCORE 86317.867
AT ITER 3152 NEW BEST:: SOT 1199888 SOS 907741 HAS SOPS 907623 HAS SOUS 85342 HAS SOUPS 85224 WITH SCORE 86131.741
AT ITER 3156 NEW BEST:: SOT 1199888 SOS 907165 HAS SOPS 907047 HAS SOUS 85342 HAS SOUPS 85224 WITH SCORE 86131.165
AT ITER 3164 NEW BEST:: SOT 1199888 SOS 907069 HAS SOPS 906951 HAS SOUS 85342 HAS SOUPS 85224 WITH SCORE 86131.069
AT ITER 3181 NEW BEST:: SOT 1199890 SOS 908963 HAS SOPS 908845 HAS SOUS 85318 HAS SOUPS 85200 WITH SCORE 86108.963
AT ITER 3187 NEW BEST:: SOT 1199681 SOS 908754 HAS SOPS 908636 HAS SOUS 85264 HAS SOUPS 85146 WITH SCORE 86054.754
AT ITER 3198 NEW BEST:: SOT 1199675 SOS 908636 HAS SOPS 908518 HAS SOUS 85256 HAS SOUPS 85138 WITH SCORE 86046.636
AT ITER 3209 NEW BEST:: SOT 1199663 SOS 911120 HAS SOPS 911002 HAS SOUS 85235 HAS SOUPS 85117 WITH SCORE 86028.12
AT ITER 3251 NEW BEST:: SOT 1200194 SOS 911651 HAS SOPS 911533 HAS SOUS 84821 HAS SOUPS 84703 WITH SCORE 85614.651
AT ITER 3285 NEW BEST:: SOT 1201651 SOS 913108 HAS SOPS 912990 HAS SOUS 84651 HAS SOUPS 84533 WITH SCORE 85446.108
AT ITER 3294 NEW BEST:: SOT 1201651 SOS 913087 HAS SOPS 912990 HAS SOUS 84630 HAS SOUPS 84533 WITH SCORE 85446.087
AT ITER 3310 NEW BEST:: SOT 1201383 SOS 912819 HAS SOPS 912722 HAS SOUS 84602 HAS SOUPS 84505 WITH SCORE 85417.819
AT ITER 3332 NEW BEST:: SOT 1201545 SOS 912981 HAS SOPS 912884 HAS SOUS 84554 HAS SOUPS 84457 WITH SCORE 85369.981
AT ITER 3338 NEW BEST:: SOT 1201545 SOS 912981 HAS SOPS 912884 HAS SOUS 84547 HAS SOUPS 84450 WITH SCORE 85362.981
AT ITER 3365 NEW BEST:: SOT 1201544 SOS 912980 HAS SOPS 912883 HAS SOUS 84536 HAS SOUPS 84439 WITH SCORE 85351.98
AT ITER 3388 NEW BEST:: SOT 1201418 SOS 912854 HAS SOPS 912757 HAS SOUS 84433 HAS SOUPS 84336 WITH SCORE 85248.854
AT ITER 3395 NEW BEST:: SOT 1201422 SOS 912858 HAS SOPS 912761 HAS SOUS 84369 HAS SOUPS 84272 WITH SCORE 85184.858
AT ITER 3404 NEW BEST:: SOT 1201412 SOS 912848 HAS SOPS 912751 HAS SOUS 84359 HAS SOUPS 84262 WITH SCORE 85174.848
AT ITER 3406 NEW BEST:: SOT 1200729 SOS 912165 HAS SOPS 912068 HAS SOUS 84107 HAS SOUPS 84010 WITH SCORE 84922.165
AT ITER 3454 NEW BEST:: SOT 1200683 SOS 912119 HAS SOPS 912022 HAS SOUS 84107 HAS SOUPS 84010 WITH SCORE 84922.119
AT ITER 3500 NEW BEST:: SOT 1200675 SOS 918063 HAS SOPS 917966 HAS SOUS 84083 HAS SOUPS 83986 WITH SCORE 84904.063
AT ITER 3507 NEW BEST:: SOT 1200675 SOS 918063 HAS SOPS 917966 HAS SOUS 84076 HAS SOUPS 83979 WITH SCORE 84897.063
AT ITER 3512 NEW BEST:: SOT 1200675 SOS 917584 HAS SOPS 917487 HAS SOUS 84076 HAS SOUPS 83979 WITH SCORE 84896.584
AT ITER 3523 NEW BEST:: SOT 1200639 SOS 917548 HAS SOPS 917451 HAS SOUS 84041 HAS SOUPS 83944 WITH SCORE 84861.548
AT ITER 3528 NEW BEST:: SOT 1200672 SOS 917581 HAS SOPS 917484 HAS SOUS 83303 HAS SOUPS 83206 WITH SCORE 84123.581
AT ITER 3542 NEW BEST:: SOT 1200784 SOS 917693 HAS SOPS 917596 HAS SOUS 83216 HAS SOUPS 83119 WITH SCORE 84036.693
AT ITER 3547 NEW BEST:: SOT 1200784 SOS 908945 HAS SOPS 908848 HAS SOUS 83209 HAS SOUPS 83112 WITH SCORE 84020.945
AT ITER 3551 NEW BEST:: SOT 1200784 SOS 908609 HAS SOPS 908512 HAS SOUS 83209 HAS SOUPS 83112 WITH SCORE 84020.609
AT ITER 3556 NEW BEST:: SOT 1200871 SOS 908696 HAS SOPS 908599 HAS SOUS 82963 HAS SOUPS 82866 WITH SCORE 83774.696
AT ITER 3567 NEW BEST:: SOT 1200871 SOS 908620 HAS SOPS 908523 HAS SOUS 82963 HAS SOUPS 82866 WITH SCORE 83774.62
AT ITER 3583 NEW BEST:: SOT 1200999 SOS 908748 HAS SOPS 908651 HAS SOUS 82815 HAS SOUPS 82718 WITH SCORE 83626.748
AT ITER 3587 NEW BEST:: SOT 1200930 SOS 908679 HAS SOPS 908582 HAS SOUS 82702 HAS SOUPS 82605 WITH SCORE 83513.679
AT ITER 3606 NEW BEST:: SOT 1200930 SOS 908679 HAS SOPS 908582 HAS SOUS 82691 HAS SOUPS 82594 WITH SCORE 83502.679
AT ITER 3628 NEW BEST:: SOT 1200930 SOS 907851 HAS SOPS 907754 HAS SOUS 82691 HAS SOUPS 82594 WITH SCORE 83501.851
AT ITER 3634 NEW BEST:: SOT 1200930 SOS 907851 HAS SOPS 907754 HAS SOUS 82583 HAS SOUPS 82486 WITH SCORE 83393.851
AT ITER 3639 NEW BEST:: SOT 1200907 SOS 907828 HAS SOPS 907731 HAS SOUS 82560 HAS SOUPS 82463 WITH SCORE 83370.828
AT ITER 3645 NEW BEST:: SOT 1200901 SOS 907822 HAS SOPS 907725 HAS SOUS 82506 HAS SOUPS 82409 WITH SCORE 83316.822
AT ITER 3647 NEW BEST:: SOT 1200901 SOS 907342 HAS SOPS 907245 HAS SOUS 82506 HAS SOUPS 82409 WITH SCORE 83316.342
AT ITER 3665 NEW BEST:: SOT 1200898 SOS 909043 HAS SOPS 908946 HAS SOUS 82503 HAS SOUPS 82406 WITH SCORE 83315.043
AT ITER 3666 NEW BEST:: SOT 1200898 SOS 908347 HAS SOPS 908250 HAS SOUS 82503 HAS SOUPS 82406 WITH SCORE 83314.347
AT ITER 3672 NEW BEST:: SOT 1200638 SOS 908087 HAS SOPS 907990 HAS SOUS 82474 HAS SOUPS 82377 WITH SCORE 83285.087
AT ITER 3678 NEW BEST:: SOT 1200695 SOS 908144 HAS SOPS 908047 HAS SOUS 82320 HAS SOUPS 82223 WITH SCORE 83131.144
AT ITER 3680 NEW BEST:: SOT 1200695 SOS 908144 HAS SOPS 908047 HAS SOUS 82319 HAS SOUPS 82222 WITH SCORE 83130.144
AT ITER 3686 NEW BEST:: SOT 1200863 SOS 908312 HAS SOPS 908215 HAS SOUS 82248 HAS SOUPS 82151 WITH SCORE 83059.312
AT ITER 3692 NEW BEST:: SOT 1203188 SOS 910853 HAS SOPS 910756 HAS SOUS 82227 HAS SOUPS 82130 WITH SCORE 83040.853
AT ITER 3694 NEW BEST:: SOT 1203184 SOS 910849 HAS SOPS 910752 HAS SOUS 82216 HAS SOUPS 82119 WITH SCORE 83029.849
AT ITER 3706 NEW BEST:: SOT 1202858 SOS 910523 HAS SOPS 910426 HAS SOUS 82076 HAS SOUPS 81979 WITH SCORE 82889.523
AT ITER 3708 NEW BEST:: SOT 1202858 SOS 910111 HAS SOPS 910014 HAS SOUS 82038 HAS SOUPS 81941 WITH SCORE 82851.111
AT ITER 3709 NEW BEST:: SOT 1202850 SOS 910103 HAS SOPS 910006 HAS SOUS 82021 HAS SOUPS 81924 WITH SCORE 82834.103
AT ITER 3722 NEW BEST:: SOT 1202841 SOS 910094 HAS SOPS 909997 HAS SOUS 82016 HAS SOUPS 81919 WITH SCORE 82829.094
AT ITER 3727 NEW BEST:: SOT 1202841 SOS 908894 HAS SOPS 908797 HAS SOUS 82000 HAS SOUPS 81903 WITH SCORE 82811.894
AT ITER 3729 NEW BEST:: SOT 1203201 SOS 909254 HAS SOPS 909157 HAS SOUS 81838 HAS SOUPS 81741 WITH SCORE 82650.254
AT ITER 3744 NEW BEST:: SOT 1203206 SOS 909835 HAS SOPS 909738 HAS SOUS 81803 HAS SOUPS 81706 WITH SCORE 82615.835
AT ITER 3756 NEW BEST:: SOT 1203206 SOS 910915 HAS SOPS 910818 HAS SOUS 81758 HAS SOUPS 81661 WITH SCORE 82571.915
AT ITER 3775 NEW BEST:: SOT 1203241 SOS 910950 HAS SOPS 910853 HAS SOUS 81677 HAS SOUPS 81580 WITH SCORE 82490.95
AT ITER 3824 NEW BEST:: SOT 1203386 SOS 911095 HAS SOPS 910998 HAS SOUS 81433 HAS SOUPS 81336 WITH SCORE 82247.095
AT ITER 3844 NEW BEST:: SOT 1203386 SOS 911095 HAS SOPS 910998 HAS SOUS 81374 HAS SOUPS 81277 WITH SCORE 82188.095
AT ITER 3862 NEW BEST:: SOT 1203386 SOS 910925 HAS SOPS 910854 HAS SOUS 81338 HAS SOUPS 81267 WITH SCORE 82177.925
AT ITER 3864 NEW BEST:: SOT 1203386 SOS 910805 HAS SOPS 910734 HAS SOUS 81338 HAS SOUPS 81267 WITH SCORE 82177.805
AT ITER 3870 NEW BEST:: SOT 1203386 SOS 911909 HAS SOPS 911838 HAS SOUS 81314 HAS SOUPS 81243 WITH SCORE 82154.909
AT ITER 3875 NEW BEST:: SOT 1203384 SOS 911877 HAS SOPS 911806 HAS SOUS 81310 HAS SOUPS 81239 WITH SCORE 82150.877
AT ITER 3885 NEW BEST:: SOT 1202350 SOS 910843 HAS SOPS 910772 HAS SOUS 80924 HAS SOUPS 80853 WITH SCORE 81763.843
AT ITER 3898 NEW BEST:: SOT 1202350 SOS 911155 HAS SOPS 911084 HAS SOUS 80911 HAS SOUPS 80840 WITH SCORE 81751.155
AT ITER 3907 NEW BEST:: SOT 1202373 SOS 911178 HAS SOPS 911107 HAS SOUS 80834 HAS SOUPS 80763 WITH SCORE 81674.178
AT ITER 3938 NEW BEST:: SOT 1202373 SOS 911150 HAS SOPS 911079 HAS SOUS 80833 HAS SOUPS 80762 WITH SCORE 81673.15
AT ITER 3940 NEW BEST:: SOT 1202373 SOS 911102 HAS SOPS 911031 HAS SOUS 80822 HAS SOUPS 80751 WITH SCORE 81662.102
AT ITER 3967 NEW BEST:: SOT 1202389 SOS 911118 HAS SOPS 911047 HAS SOUS 80784 HAS SOUPS 80713 WITH SCORE 81624.118
AT ITER 3976 NEW BEST:: SOT 1202686 SOS 911415 HAS SOPS 911344 HAS SOUS 80698 HAS SOUPS 80627 WITH SCORE 81538.415
AT ITER 3979 NEW BEST:: SOT 1201655 SOS 910384 HAS SOPS 910313 HAS SOUS 80446 HAS SOUPS 80375 WITH SCORE 81285.384
AT ITER 3999 NEW BEST:: SOT 1201531 SOS 910260 HAS SOPS 910189 HAS SOUS 80107 HAS SOUPS 80036 WITH SCORE 80946.26
AT ITER 4000 NEW BEST:: SOT 1201541 SOS 911129 HAS SOPS 911063 HAS SOUS 80077 HAS SOUPS 80011 WITH SCORE 80922.129
AT ITER 4010 NEW BEST:: SOT 1201541 SOS 910922 HAS SOPS 910847 HAS SOUS 80086 HAS SOUPS 80011 WITH SCORE 80921.922
AT ITER 4015 NEW BEST:: SOT 1201822 SOS 911203 HAS SOPS 911128 HAS SOUS 80079 HAS SOUPS 80004 WITH SCORE 80915.203
AT ITER 4019 NEW BEST:: SOT 1201823 SOS 911204 HAS SOPS 911129 HAS SOUS 80067 HAS SOUPS 79992 WITH SCORE 80903.204
AT ITER 4028 NEW BEST:: SOT 1201823 SOS 911204 HAS SOPS 911129 HAS SOUS 79887 HAS SOUPS 79812 WITH SCORE 80723.204
AT ITER 4032 NEW BEST:: SOT 1201823 SOS 911183 HAS SOPS 911129 HAS SOUS 79866 HAS SOUPS 79812 WITH SCORE 80723.183
AT ITER 4035 NEW BEST:: SOT 1201783 SOS 911143 HAS SOPS 911089 HAS SOUS 79747 HAS SOUPS 79693 WITH SCORE 80604.143
AT ITER 4041 NEW BEST:: SOT 1201769 SOS 911454 HAS SOPS 911387 HAS SOUS 79750 HAS SOUPS 79683 WITH SCORE 80594.454
AT ITER 4045 NEW BEST:: SOT 1201650 SOS 911335 HAS SOPS 911268 HAS SOUS 79684 HAS SOUPS 79617 WITH SCORE 80528.335
AT ITER 4056 NEW BEST:: SOT 1201776 SOS 911461 HAS SOPS 911394 HAS SOUS 79422 HAS SOUPS 79355 WITH SCORE 80266.461
AT ITER 4057 NEW BEST:: SOT 1203840 SOS 913525 HAS SOPS 913458 HAS SOUS 79237 HAS SOUPS 79170 WITH SCORE 80083.525
AT ITER 4094 NEW BEST:: SOT 1203447 SOS 913132 HAS SOPS 913065 HAS SOUS 79225 HAS SOUPS 79158 WITH SCORE 80071.132
AT ITER 4112 NEW BEST:: SOT 1203394 SOS 913354 HAS SOPS 913276 HAS SOUS 79176 HAS SOUPS 79098 WITH SCORE 80011.354
AT ITER 4134 NEW BEST:: SOT 1203394 SOS 913354 HAS SOPS 913276 HAS SOUS 79168 HAS SOUPS 79090 WITH SCORE 80003.354
AT ITER 4135 NEW BEST:: SOT 1203570 SOS 913530 HAS SOPS 913452 HAS SOUS 79157 HAS SOUPS 79079 WITH SCORE 79992.53
AT ITER 4143 NEW BEST:: SOT 1203570 SOS 913338 HAS SOPS 913260 HAS SOUS 79157 HAS SOUPS 79079 WITH SCORE 79992.338
AT ITER 4153 NEW BEST:: SOT 1204196 SOS 913964 HAS SOPS 913886 HAS SOUS 79146 HAS SOUPS 79068 WITH SCORE 79981.964
AT ITER 4156 NEW BEST:: SOT 1204193 SOS 913961 HAS SOPS 913883 HAS SOUS 79089 HAS SOUPS 79011 WITH SCORE 79924.961
AT ITER 4160 NEW BEST:: SOT 1203780 SOS 913548 HAS SOPS 913470 HAS SOUS 78892 HAS SOUPS 78814 WITH SCORE 79727.548
AT ITER 4181 NEW BEST:: SOT 1203780 SOS 913260 HAS SOPS 913182 HAS SOUS 78892 HAS SOUPS 78814 WITH SCORE 79727.26
AT ITER 4202 NEW BEST:: SOT 1203216 SOS 912696 HAS SOPS 912618 HAS SOUS 78811 HAS SOUPS 78733 WITH SCORE 79645.696
AT ITER 4237 NEW BEST:: SOT 1203125 SOS 912605 HAS SOPS 912527 HAS SOUS 78720 HAS SOUPS 78642 WITH SCORE 79554.605
AT ITER 4241 NEW BEST:: SOT 1203108 SOS 911644 HAS SOPS 911550 HAS SOUS 78686 HAS SOUPS 78592 WITH SCORE 79503.644
AT ITER 4246 NEW BEST:: SOT 1202947 SOS 911483 HAS SOPS 911389 HAS SOUS 78614 HAS SOUPS 78520 WITH SCORE 79431.483
AT ITER 4259 NEW BEST:: SOT 1202822 SOS 911358 HAS SOPS 911264 HAS SOUS 78463 HAS SOUPS 78369 WITH SCORE 79280.358
AT ITER 4327 NEW BEST:: SOT 1202822 SOS 911238 HAS SOPS 911144 HAS SOUS 78442 HAS SOUPS 78348 WITH SCORE 79259.238
AT ITER 4347 NEW BEST:: SOT 1202822 SOS 912438 HAS SOPS 912344 HAS SOUS 78392 HAS SOUPS 78298 WITH SCORE 79210.438
AT ITER 4403 NEW BEST:: SOT 1202807 SOS 912423 HAS SOPS 912329 HAS SOUS 78377 HAS SOUPS 78283 WITH SCORE 79195.423
AT ITER 4404 NEW BEST:: SOT 1202170 SOS 911786 HAS SOPS 911692 HAS SOUS 78341 HAS SOUPS 78247 WITH SCORE 79158.786
AT ITER 4407 NEW BEST:: SOT 1203398 SOS 913014 HAS SOPS 912920 HAS SOUS 77745 HAS SOUPS 77651 WITH SCORE 78564.014
AT ITER 4409 NEW BEST:: SOT 1203301 SOS 912917 HAS SOPS 912823 HAS SOUS 77336 HAS SOUPS 77242 WITH SCORE 78154.917
AT ITER 4413 NEW BEST:: SOT 1203301 SOS 912917 HAS SOPS 912823 HAS SOUS 77120 HAS SOUPS 77026 WITH SCORE 77938.917
AT ITER 4416 NEW BEST:: SOT 1203281 SOS 912897 HAS SOPS 912803 HAS SOUS 77078 HAS SOUPS 76984 WITH SCORE 77896.897
AT ITER 4445 NEW BEST:: SOT 1203281 SOS 912477 HAS SOPS 912383 HAS SOUS 77063 HAS SOUPS 76969 WITH SCORE 77881.477
AT ITER 4479 NEW BEST:: SOT 1203281 SOS 912471 HAS SOPS 912377 HAS SOUS 77063 HAS SOUPS 76969 WITH SCORE 77881.471
AT ITER 4528 NEW BEST:: SOT 1203281 SOS 912471 HAS SOPS 912377 HAS SOUS 77062 HAS SOUPS 76968 WITH SCORE 77880.471
AT ITER 4550 NEW BEST:: SOT 1203269 SOS 912459 HAS SOPS 912365 HAS SOUS 77062 HAS SOUPS 76968 WITH SCORE 77880.459
AT ITER 4554 NEW BEST:: SOT 1203291 SOS 912443 HAS SOPS 912349 HAS SOUS 77059 HAS SOUPS 76965 WITH SCORE 77877.443
AT ITER 4574 NEW BEST:: SOT 1203291 SOS 912335 HAS SOPS 912241 HAS SOUS 77059 HAS SOUPS 76965 WITH SCORE 77877.335
AT ITER 4575 NEW BEST:: SOT 1203399 SOS 912443 HAS SOPS 912349 HAS SOUS 76777 HAS SOUPS 76683 WITH SCORE 77595.443
AT ITER 4577 NEW BEST:: SOT 1203450 SOS 912494 HAS SOPS 912400 HAS SOUS 76754 HAS SOUPS 76660 WITH SCORE 77572.494
AT ITER 4597 NEW BEST:: SOT 1203450 SOS 912494 HAS SOPS 912400 HAS SOUS 76715 HAS SOUPS 76621 WITH SCORE 77533.494
AT ITER 4612 NEW BEST:: SOT 1201925 SOS 910969 HAS SOPS 910875 HAS SOUS 76319 HAS SOUPS 76225 WITH SCORE 77135.969
AT ITER 4624 NEW BEST:: SOT 1201925 SOS 911143 HAS SOPS 911067 HAS SOUS 76294 HAS SOUPS 76218 WITH SCORE 77129.143
AT ITER 4690 NEW BEST:: SOT 1201925 SOS 911023 HAS SOPS 910947 HAS SOUS 76274 HAS SOUPS 76198 WITH SCORE 77109.023
AT ITER 4700 NEW BEST:: SOT 1201922 SOS 911020 HAS SOPS 910944 HAS SOUS 76265 HAS SOUPS 76189 WITH SCORE 77100.02
AT ITER 4735 NEW BEST:: SOT 1201980 SOS 911486 HAS SOPS 911410 HAS SOUS 76249 HAS SOUPS 76173 WITH SCORE 77084.486
AT ITER 4788 NEW BEST:: SOT 1202235 SOS 911741 HAS SOPS 911665 HAS SOUS 76237 HAS SOUPS 76161 WITH SCORE 77072.741
AT ITER 4793 NEW BEST:: SOT 1202235 SOS 911649 HAS SOPS 911569 HAS SOUS 76241 HAS SOUPS 76161 WITH SCORE 77072.649
AT ITER 4801 NEW BEST:: SOT 1202231 SOS 911639 HAS SOPS 911563 HAS SOUS 76237 HAS SOUPS 76161 WITH SCORE 77072.639
AT ITER 4809 NEW BEST:: SOT 1202231 SOS 911565 HAS SOPS 911489 HAS SOUS 76237 HAS SOUPS 76161 WITH SCORE 77072.565
AT ITER 4828 NEW BEST:: SOT 1202275 SOS 911609 HAS SOPS 911533 HAS SOUS 76208 HAS SOUPS 76132 WITH SCORE 77043.609
AT ITER 4875 NEW BEST:: SOT 1202275 SOS 911609 HAS SOPS 911533 HAS SOUS 76202 HAS SOUPS 76126 WITH SCORE 77037.609
AT ITER 4885 NEW BEST:: SOT 1202275 SOS 911369 HAS SOPS 911293 HAS SOUS 76202 HAS SOUPS 76126 WITH SCORE 77037.369
AT ITER 4904 NEW BEST:: SOT 1202267 SOS 910191 HAS SOPS 910061 HAS SOUS 76244 HAS SOUPS 76114 WITH SCORE 77024.191
AT ITER 4909 NEW BEST:: SOT 1202267 SOS 909999 HAS SOPS 909869 HAS SOUS 76244 HAS SOUPS 76114 WITH SCORE 77023.999
AT ITER 4913 NEW BEST:: SOT 1202218 SOS 909950 HAS SOPS 909820 HAS SOUS 76195 HAS SOUPS 76065 WITH SCORE 76974.95
AT ITER 4918 NEW BEST:: SOT 1202218 SOS 909950 HAS SOPS 909820 HAS SOUS 76161 HAS SOUPS 76031 WITH SCORE 76940.95
AT ITER 4934 NEW BEST:: SOT 1200728 SOS 908460 HAS SOPS 908330 HAS SOUS 75995 HAS SOUPS 75865 WITH SCORE 76773.46
AT ITER 4952 NEW BEST:: SOT 1200704 SOS 908436 HAS SOPS 908306 HAS SOUS 75947 HAS SOUPS 75817 WITH SCORE 76725.436
AT ITER 4973 NEW BEST:: SOT 1200704 SOS 908436 HAS SOPS 908306 HAS SOUS 75937 HAS SOUPS 75807 WITH SCORE 76715.436
AT ITER 4975 NEW BEST:: SOT 1201236 SOS 908968 HAS SOPS 908838 HAS SOUS 75916 HAS SOUPS 75786 WITH SCORE 76694.968
AT ITER 5044 NEW BEST:: SOT 1201236 SOS 908248 HAS SOPS 908118 HAS SOUS 75916 HAS SOUPS 75786 WITH SCORE 76694.248
AT ITER 5108 NEW BEST:: SOT 1201896 SOS 908908 HAS SOPS 908778 HAS SOUS 75659 HAS SOUPS 75529 WITH SCORE 76437.908
AT ITER 5169 NEW BEST:: SOT 1201874 SOS 909942 HAS SOPS 909812 HAS SOUS 75557 HAS SOUPS 75427 WITH SCORE 76336.942
AT ITER 5192 NEW BEST:: SOT 1201825 SOS 909893 HAS SOPS 909763 HAS SOUS 75511 HAS SOUPS 75381 WITH SCORE 76290.893
AT ITER 5228 NEW BEST:: SOT 1201825 SOS 910719 HAS SOPS 910589 HAS SOUS 75468 HAS SOUPS 75338 WITH SCORE 76248.719
AT ITER 5275 NEW BEST:: SOT 1201675 SOS 910569 HAS SOPS 910439 HAS SOUS 75452 HAS SOUPS 75322 WITH SCORE 76232.569
AT ITER 5313 NEW BEST:: SOT 1201655 SOS 913165 HAS SOPS 913035 HAS SOUS 75433 HAS SOUPS 75303 WITH SCORE 76216.165
AT ITER 5318 NEW BEST:: SOT 1201655 SOS 912781 HAS SOPS 912651 HAS SOUS 75433 HAS SOUPS 75303 WITH SCORE 76215.781
AT ITER 5336 NEW BEST:: SOT 1201717 SOS 912843 HAS SOPS 912713 HAS SOUS 75383 HAS SOUPS 75253 WITH SCORE 76165.843
AT ITER 5343 NEW BEST:: SOT 1201521 SOS 912647 HAS SOPS 912517 HAS SOUS 75068 HAS SOUPS 74938 WITH SCORE 75850.647
AT ITER 5344 NEW BEST:: SOT 1201516 SOS 912634 HAS SOPS 912504 HAS SOUS 75063 HAS SOUPS 74933 WITH SCORE 75845.634
AT ITER 5359 NEW BEST:: SOT 1201516 SOS 912634 HAS SOPS 912504 HAS SOUS 75062 HAS SOUPS 74932 WITH SCORE 75844.634
AT ITER 5385 NEW BEST:: SOT 1201633 SOS 912751 HAS SOPS 912621 HAS SOUS 75016 HAS SOUPS 74886 WITH SCORE 75798.751
AT ITER 5439 NEW BEST:: SOT 1201462 SOS 912580 HAS SOPS 912450 HAS SOUS 74989 HAS SOUPS 74859 WITH SCORE 75771.58
AT ITER 5447 NEW BEST:: SOT 1201462 SOS 912268 HAS SOPS 912138 HAS SOUS 74989 HAS SOUPS 74859 WITH SCORE 75771.268
AT ITER 5450 NEW BEST:: SOT 1201464 SOS 912479 HAS SOPS 912349 HAS SOUS 74984 HAS SOUPS 74854 WITH SCORE 75766.479
AT ITER 5451 NEW BEST:: SOT 1201123 SOS 912138 HAS SOPS 912008 HAS SOUS 74865 HAS SOUPS 74735 WITH SCORE 75647.138
AT ITER 5526 NEW BEST:: SOT 1200757 SOS 911772 HAS SOPS 911642 HAS SOUS 74830 HAS SOUPS 74700 WITH SCORE 75611.772
AT ITER 5535 NEW BEST:: SOT 1201121 SOS 912136 HAS SOPS 912006 HAS SOUS 74685 HAS SOUPS 74555 WITH SCORE 75467.136
AT ITER 5568 NEW BEST:: SOT 1201121 SOS 912136 HAS SOPS 912006 HAS SOUS 74634 HAS SOUPS 74504 WITH SCORE 75416.136
AT ITER 5585 NEW BEST:: SOT 1201121 SOS 912136 HAS SOPS 912006 HAS SOUS 74566 HAS SOUPS 74436 WITH SCORE 75348.136
AT ITER 5589 NEW BEST:: SOT 1201008 SOS 912023 HAS SOPS 911893 HAS SOUS 74501 HAS SOUPS 74371 WITH SCORE 75283.023
AT ITER 5601 NEW BEST:: SOT 1201752 SOS 912767 HAS SOPS 912637 HAS SOUS 74427 HAS SOUPS 74297 WITH SCORE 75209.767
AT ITER 5638 NEW BEST:: SOT 1201752 SOS 912599 HAS SOPS 912469 HAS SOUS 74427 HAS SOUPS 74297 WITH SCORE 75209.599
AT ITER 5647 NEW BEST:: SOT 1202239 SOS 913086 HAS SOPS 912956 HAS SOUS 74401 HAS SOUPS 74271 WITH SCORE 75184.086
AT ITER 5668 NEW BEST:: SOT 1202097 SOS 912944 HAS SOPS 912814 HAS SOUS 74353 HAS SOUPS 74223 WITH SCORE 75135.944
AT ITER 5672 NEW BEST:: SOT 1202045 SOS 912892 HAS SOPS 912762 HAS SOUS 74301 HAS SOUPS 74171 WITH SCORE 75083.892
AT ITER 5686 NEW BEST:: SOT 1201949 SOS 912796 HAS SOPS 912666 HAS SOUS 74296 HAS SOUPS 74166 WITH SCORE 75078.796
AT ITER 5707 NEW BEST:: SOT 1201949 SOS 912778 HAS SOPS 912648 HAS SOUS 74296 HAS SOUPS 74166 WITH SCORE 75078.778
AT ITER 5730 NEW BEST:: SOT 1202332 SOS 913161 HAS SOPS 913031 HAS SOUS 73740 HAS SOUPS 73610 WITH SCORE 74523.161
AT ITER 5745 NEW BEST:: SOT 1202332 SOS 912993 HAS SOPS 912863 HAS SOUS 73740 HAS SOUPS 73610 WITH SCORE 74522.993
AT ITER 5775 NEW BEST:: SOT 1202283 SOS 912905 HAS SOPS 912775 HAS SOUS 73714 HAS SOUPS 73584 WITH SCORE 74496.905
AT ITER 5778 NEW BEST:: SOT 1202331 SOS 912953 HAS SOPS 912823 HAS SOUS 73603 HAS SOUPS 73473 WITH SCORE 74385.953
AT ITER 5807 NEW BEST:: SOT 1202331 SOS 912953 HAS SOPS 912823 HAS SOUS 73595 HAS SOUPS 73465 WITH SCORE 74377.953
AT ITER 5821 NEW BEST:: SOT 1201520 SOS 912142 HAS SOPS 912012 HAS SOUS 73404 HAS SOUPS 73274 WITH SCORE 74186.142
AT ITER 5822 NEW BEST:: SOT 1201539 SOS 912161 HAS SOPS 912031 HAS SOUS 73396 HAS SOUPS 73266 WITH SCORE 74178.161
AT ITER 5831 NEW BEST:: SOT 1201451 SOS 912073 HAS SOPS 911943 HAS SOUS 73370 HAS SOUPS 73240 WITH SCORE 74152.073
AT ITER 5857 NEW BEST:: SOT 1201451 SOS 912361 HAS SOPS 912231 HAS SOUS 73346 HAS SOUPS 73216 WITH SCORE 74128.361
AT ITER 5927 NEW BEST:: SOT 1201361 SOS 912271 HAS SOPS 912141 HAS SOUS 73214 HAS SOUPS 73084 WITH SCORE 73996.271
AT ITER 5963 NEW BEST:: SOT 1201361 SOS 911791 HAS SOPS 911661 HAS SOUS 73214 HAS SOUPS 73084 WITH SCORE 73995.791
AT ITER 5974 NEW BEST:: SOT 1201364 SOS 911794 HAS SOPS 911664 HAS SOUS 73205 HAS SOUPS 73075 WITH SCORE 73986.794
AT ITER 5975 NEW BEST:: SOT 1201333 SOS 911630 HAS SOPS 911554 HAS SOUS 71616 HAS SOUPS 71540 WITH SCORE 72451.63
AT ITER 6028 NEW BEST:: SOT 1200919 SOS 911216 HAS SOPS 911140 HAS SOUS 71340 HAS SOUPS 71264 WITH SCORE 72175.216
AT ITER 6040 NEW BEST:: SOT 1200924 SOS 911221 HAS SOPS 911145 HAS SOUS 71335 HAS SOUPS 71259 WITH SCORE 72170.221
AT ITER 6048 NEW BEST:: SOT 1200726 SOS 911023 HAS SOPS 910947 HAS SOUS 71254 HAS SOUPS 71178 WITH SCORE 72089.023
AT ITER 6063 NEW BEST:: SOT 1200660 SOS 910957 HAS SOPS 910881 HAS SOUS 71188 HAS SOUPS 71112 WITH SCORE 72022.957
AT ITER 6070 NEW BEST:: SOT 1200624 SOS 910921 HAS SOPS 910845 HAS SOUS 71113 HAS SOUPS 71037 WITH SCORE 71947.921
AT ITER 6071 NEW BEST:: SOT 1200771 SOS 911068 HAS SOPS 910992 HAS SOUS 71108 HAS SOUPS 71032 WITH SCORE 71943.068
AT ITER 6092 NEW BEST:: SOT 1200785 SOS 911082 HAS SOPS 911006 HAS SOUS 71104 HAS SOUPS 71028 WITH SCORE 71939.082
AT ITER 6118 NEW BEST:: SOT 1200956 SOS 911253 HAS SOPS 911177 HAS SOUS 71064 HAS SOUPS 70988 WITH SCORE 71899.253
AT ITER 6135 NEW BEST:: SOT 1200904 SOS 911201 HAS SOPS 911125 HAS SOUS 71040 HAS SOUPS 70964 WITH SCORE 71875.201
AT ITER 6147 NEW BEST:: SOT 1202205 SOS 913578 HAS SOPS 913458 HAS SOUS 71060 HAS SOUPS 70940 WITH SCORE 71853.578
AT ITER 6199 NEW BEST:: SOT 1201668 SOS 913041 HAS SOPS 912921 HAS SOUS 70879 HAS SOUPS 70759 WITH SCORE 71672.041
AT ITER 6220 NEW BEST:: SOT 1201668 SOS 913137 HAS SOPS 913017 HAS SOUS 70875 HAS SOUPS 70755 WITH SCORE 71668.137
AT ITER 6236 NEW BEST:: SOT 1201668 SOS 913137 HAS SOPS 913017 HAS SOUS 70761 HAS SOUPS 70641 WITH SCORE 71554.137
AT ITER 6274 NEW BEST:: SOT 1201668 SOS 912705 HAS SOPS 912585 HAS SOUS 70761 HAS SOUPS 70641 WITH SCORE 71553.705
AT ITER 6287 NEW BEST:: SOT 1202642 SOS 913679 HAS SOPS 913559 HAS SOUS 70541 HAS SOUPS 70421 WITH SCORE 71334.679
AT ITER 6299 NEW BEST:: SOT 1202826 SOS 913863 HAS SOPS 913743 HAS SOUS 70291 HAS SOUPS 70171 WITH SCORE 71084.863
AT ITER 6356 NEW BEST:: SOT 1202826 SOS 913479 HAS SOPS 913359 HAS SOUS 70291 HAS SOUPS 70171 WITH SCORE 71084.479
AT ITER 6379 NEW BEST:: SOT 1202460 SOS 913113 HAS SOPS 912993 HAS SOUS 70172 HAS SOUPS 70052 WITH SCORE 70965.113
AT ITER 6419 NEW BEST:: SOT 1202397 SOS 913050 HAS SOPS 912930 HAS SOUS 70101 HAS SOUPS 69981 WITH SCORE 70894.05
AT ITER 6423 NEW BEST:: SOT 1202397 SOS 912954 HAS SOPS 912834 HAS SOUS 70101 HAS SOUPS 69981 WITH SCORE 70893.954
AT ITER 6436 NEW BEST:: SOT 1203829 SOS 914386 HAS SOPS 914266 HAS SOUS 69648 HAS SOUPS 69528 WITH SCORE 70442.386
AT ITER 6453 NEW BEST:: SOT 1203829 SOS 914386 HAS SOPS 914266 HAS SOUS 69546 HAS SOUPS 69426 WITH SCORE 70340.386
AT ITER 6476 NEW BEST:: SOT 1204739 SOS 915296 HAS SOPS 915176 HAS SOUS 69498 HAS SOUPS 69378 WITH SCORE 70293.296
AT ITER 6490 NEW BEST:: SOT 1204739 SOS 915291 HAS SOPS 915176 HAS SOUS 69493 HAS SOUPS 69378 WITH SCORE 70293.291
AT ITER 6516 NEW BEST:: SOT 1204739 SOS 915291 HAS SOPS 915176 HAS SOUS 69399 HAS SOUPS 69284 WITH SCORE 70199.291
AT ITER 6581 NEW BEST:: SOT 1204739 SOS 914931 HAS SOPS 914816 HAS SOUS 69399 HAS SOUPS 69284 WITH SCORE 70198.931
AT ITER 6584 NEW BEST:: SOT 1204739 SOS 914931 HAS SOPS 914816 HAS SOUS 69357 HAS SOUPS 69242 WITH SCORE 70156.931
AT ITER 6591 NEW BEST:: SOT 1204448 SOS 914640 HAS SOPS 914525 HAS SOUS 69288 HAS SOUPS 69173 WITH SCORE 70087.64
AT ITER 6592 NEW BEST:: SOT 1204442 SOS 914634 HAS SOPS 914519 HAS SOUS 69282 HAS SOUPS 69167 WITH SCORE 70081.634
AT ITER 6688 NEW BEST:: SOT 1204442 SOS 914555 HAS SOPS 914471 HAS SOUS 69251 HAS SOUPS 69167 WITH SCORE 70081.555
AT ITER 6700 NEW BEST:: SOT 1204459 SOS 914572 HAS SOPS 914488 HAS SOUS 69157 HAS SOUPS 69073 WITH SCORE 69987.572
AT ITER 6701 NEW BEST:: SOT 1204449 SOS 914274 HAS SOPS 914190 HAS SOUS 69147 HAS SOUPS 69063 WITH SCORE 69977.274
AT ITER 6704 NEW BEST:: SOT 1204154 SOS 913979 HAS SOPS 913895 HAS SOUS 68764 HAS SOUPS 68680 WITH SCORE 69593.979
AT ITER 6719 NEW BEST:: SOT 1204154 SOS 913403 HAS SOPS 913319 HAS SOUS 68764 HAS SOUPS 68680 WITH SCORE 69593.403
AT ITER 6765 NEW BEST:: SOT 1204175 SOS 913424 HAS SOPS 913340 HAS SOUS 68737 HAS SOUPS 68653 WITH SCORE 69566.424
AT ITER 6783 NEW BEST:: SOT 1204175 SOS 912705 HAS SOPS 912621 HAS SOUS 68737 HAS SOUPS 68653 WITH SCORE 69565.705
AT ITER 6789 NEW BEST:: SOT 1204175 SOS 912705 HAS SOPS 912621 HAS SOUS 68687 HAS SOUPS 68603 WITH SCORE 69515.705
AT ITER 6800 NEW BEST:: SOT 1204170 SOS 912532 HAS SOPS 912448 HAS SOUS 68676 HAS SOUPS 68592 WITH SCORE 69504.532
AT ITER 6816 NEW BEST:: SOT 1204170 SOS 912292 HAS SOPS 912208 HAS SOUS 68676 HAS SOUPS 68592 WITH SCORE 69504.292
AT ITER 6860 NEW BEST:: SOT 1204196 SOS 912318 HAS SOPS 912234 HAS SOUS 68605 HAS SOUPS 68521 WITH SCORE 69433.318
AT ITER 6869 NEW BEST:: SOT 1204196 SOS 912318 HAS SOPS 912234 HAS SOUS 68604 HAS SOUPS 68520 WITH SCORE 69432.318
AT ITER 6875 NEW BEST:: SOT 1204196 SOS 912318 HAS SOPS 912234 HAS SOUS 68593 HAS SOUPS 68509 WITH SCORE 69421.318
AT ITER 6877 NEW BEST:: SOT 1204183 SOS 912305 HAS SOPS 912221 HAS SOUS 68589 HAS SOUPS 68505 WITH SCORE 69417.305
AT ITER 6915 NEW BEST:: SOT 1204171 SOS 912293 HAS SOPS 912209 HAS SOUS 68567 HAS SOUPS 68483 WITH SCORE 69395.293
AT ITER 6932 NEW BEST:: SOT 1204171 SOS 912257 HAS SOPS 912173 HAS SOUS 68567 HAS SOUPS 68483 WITH SCORE 69395.257
AT ITER 6933 NEW BEST:: SOT 1203505 SOS 911591 HAS SOPS 911507 HAS SOUS 68397 HAS SOUPS 68313 WITH SCORE 69224.591
AT ITER 6944 NEW BEST:: SOT 1203500 SOS 911586 HAS SOPS 911502 HAS SOUS 68382 HAS SOUPS 68298 WITH SCORE 69209.586
AT ITER 6946 NEW BEST:: SOT 1203500 SOS 911545 HAS SOPS 911454 HAS SOUS 68389 HAS SOUPS 68298 WITH SCORE 69209.545
AT ITER 6953 NEW BEST:: SOT 1203488 SOS 911533 HAS SOPS 911442 HAS SOUS 68349 HAS SOUPS 68258 WITH SCORE 69169.533
AT ITER 6955 NEW BEST:: SOT 1203442 SOS 911325 HAS SOPS 911234 HAS SOUS 68317 HAS SOUPS 68226 WITH SCORE 69137.325
AT ITER 6960 NEW BEST:: SOT 1203442 SOS 911433 HAS SOPS 911342 HAS SOUS 68287 HAS SOUPS 68196 WITH SCORE 69107.433
AT ITER 6967 NEW BEST:: SOT 1203387 SOS 911378 HAS SOPS 911287 HAS SOUS 68253 HAS SOUPS 68162 WITH SCORE 69073.378
AT ITER 7021 NEW BEST:: SOT 1203387 SOS 910322 HAS SOPS 910231 HAS SOUS 68253 HAS SOUPS 68162 WITH SCORE 69072.322
AT ITER 7030 NEW BEST:: SOT 1203387 SOS 909933 HAS SOPS 909895 HAS SOUS 68185 HAS SOUPS 68147 WITH SCORE 69056.933
AT ITER 7033 NEW BEST:: SOT 1203387 SOS 910265 HAS SOPS 910227 HAS SOUS 68139 HAS SOUPS 68101 WITH SCORE 69011.265
AT ITER 7105 NEW BEST:: SOT 1203431 SOS 910309 HAS SOPS 910271 HAS SOUS 68138 HAS SOUPS 68100 WITH SCORE 69010.309
AT ITER 7137 NEW BEST:: SOT 1203438 SOS 910316 HAS SOPS 910278 HAS SOUS 67993 HAS SOUPS 67955 WITH SCORE 68865.316
AT ITER 7151 NEW BEST:: SOT 1203553 SOS 910431 HAS SOPS 910393 HAS SOUS 67787 HAS SOUPS 67749 WITH SCORE 68659.431
AT ITER 7156 NEW BEST:: SOT 1203573 SOS 911027 HAS SOPS 910989 HAS SOUS 67745 HAS SOUPS 67707 WITH SCORE 68618.027
AT ITER 7161 NEW BEST:: SOT 1203498 SOS 910952 HAS SOPS 910914 HAS SOUS 67706 HAS SOUPS 67668 WITH SCORE 68578.952
AT ITER 7283 NEW BEST:: SOT 1203498 SOS 910476 HAS SOPS 910410 HAS SOUS 67723 HAS SOUPS 67657 WITH SCORE 68567.476
AT ITER 7296 NEW BEST:: SOT 1203572 SOS 910550 HAS SOPS 910484 HAS SOUS 67666 HAS SOUPS 67600 WITH SCORE 68510.55
AT ITER 7319 NEW BEST:: SOT 1201570 SOS 908548 HAS SOPS 908482 HAS SOUS 67399 HAS SOUPS 67333 WITH SCORE 68241.548
AT ITER 7363 NEW BEST:: SOT 1201577 SOS 908555 HAS SOPS 908489 HAS SOUS 67313 HAS SOUPS 67247 WITH SCORE 68155.555
AT ITER 7398 NEW BEST:: SOT 1201538 SOS 908516 HAS SOPS 908450 HAS SOUS 67274 HAS SOUPS 67208 WITH SCORE 68116.516
AT ITER 7430 NEW BEST:: SOT 1201506 SOS 908484 HAS SOPS 908418 HAS SOUS 67260 HAS SOUPS 67194 WITH SCORE 68102.484
AT ITER 7434 NEW BEST:: SOT 1201506 SOS 907236 HAS SOPS 907170 HAS SOUS 67260 HAS SOUPS 67194 WITH SCORE 68101.236
AT ITER 7458 NEW BEST:: SOT 1201508 SOS 907238 HAS SOPS 907172 HAS SOUS 67238 HAS SOUPS 67172 WITH SCORE 68079.238
AT ITER 7484 NEW BEST:: SOT 1202129 SOS 907859 HAS SOPS 907793 HAS SOUS 66841 HAS SOUPS 66775 WITH SCORE 67682.859
AT ITER 7488 NEW BEST:: SOT 1202144 SOS 907874 HAS SOPS 907808 HAS SOUS 66682 HAS SOUPS 66616 WITH SCORE 67523.874
AT ITER 7532 NEW BEST:: SOT 1202139 SOS 907029 HAS SOPS 906963 HAS SOUS 66668 HAS SOUPS 66602 WITH SCORE 67509.029
AT ITER 7545 NEW BEST:: SOT 1202139 SOS 907029 HAS SOPS 906963 HAS SOUS 66582 HAS SOUPS 66516 WITH SCORE 67423.029
AT ITER 7570 NEW BEST:: SOT 1202109 SOS 906999 HAS SOPS 906933 HAS SOUS 66535 HAS SOUPS 66469 WITH SCORE 67375.999
AT ITER 7581 NEW BEST:: SOT 1202073 SOS 906963 HAS SOPS 906897 HAS SOUS 66499 HAS SOUPS 66433 WITH SCORE 67339.963
AT ITER 7595 NEW BEST:: SOT 1202055 SOS 905433 HAS SOPS 905368 HAS SOUS 66499 HAS SOUPS 66434 WITH SCORE 67339.433
AT ITER 7613 NEW BEST:: SOT 1202042 SOS 905420 HAS SOPS 905355 HAS SOUS 66497 HAS SOUPS 66432 WITH SCORE 67337.42
AT ITER 7635 NEW BEST:: SOT 1202042 SOS 904868 HAS SOPS 904803 HAS SOUS 66497 HAS SOUPS 66432 WITH SCORE 67336.868
AT ITER 7642 NEW BEST:: SOT 1202042 SOS 904708 HAS SOPS 904643 HAS SOUS 66490 HAS SOUPS 66425 WITH SCORE 67329.708
AT ITER 7707 NEW BEST:: SOT 1202087 SOS 904753 HAS SOPS 904688 HAS SOUS 66467 HAS SOUPS 66402 WITH SCORE 67306.753
AT ITER 7716 NEW BEST:: SOT 1201642 SOS 904308 HAS SOPS 904243 HAS SOUS 66294 HAS SOUPS 66229 WITH SCORE 67133.308
AT ITER 7730 NEW BEST:: SOT 1200583 SOS 903249 HAS SOPS 903184 HAS SOUS 66252 HAS SOUPS 66187 WITH SCORE 67090.249
AT ITER 7811 NEW BEST:: SOT 1200560 SOS 903226 HAS SOPS 903161 HAS SOUS 66230 HAS SOUPS 66165 WITH SCORE 67068.226
AT ITER 7845 NEW BEST:: SOT 1201577 SOS 904243 HAS SOPS 904178 HAS SOUS 65995 HAS SOUPS 65930 WITH SCORE 66834.243
AT ITER 7878 NEW BEST:: SOT 1201222 SOS 903888 HAS SOPS 903823 HAS SOUS 65940 HAS SOUPS 65875 WITH SCORE 66778.888
AT ITER 7919 NEW BEST:: SOT 1201222 SOS 903768 HAS SOPS 903703 HAS SOUS 65940 HAS SOUPS 65875 WITH SCORE 66778.768
AT ITER 8006 NEW BEST:: SOT 1201204 SOS 903246 HAS SOPS 903181 HAS SOUS 65929 HAS SOUPS 65864 WITH SCORE 66767.246
AT ITER 8048 NEW BEST:: SOT 1199744 SOS 901014 HAS SOPS 900977 HAS SOUS 65726 HAS SOUPS 65689 WITH SCORE 66590.014
AT ITER 8059 NEW BEST:: SOT 1199736 SOS 901006 HAS SOPS 900969 HAS SOUS 65717 HAS SOUPS 65680 WITH SCORE 66581.006
AT ITER 8160 NEW BEST:: SOT 1199013 SOS 900283 HAS SOPS 900246 HAS SOUS 65714 HAS SOUPS 65677 WITH SCORE 66577.283
AT ITER 8221 NEW BEST:: SOT 1199044 SOS 900314 HAS SOPS 900277 HAS SOUS 65708 HAS SOUPS 65671 WITH SCORE 66571.314
AT ITER 8271 NEW BEST:: SOT 1199044 SOS 900302 HAS SOPS 900265 HAS SOUS 65708 HAS SOUPS 65671 WITH SCORE 66571.302
AT ITER 8297 NEW BEST:: SOT 1199032 SOS 900290 HAS SOPS 900253 HAS SOUS 65457 HAS SOUPS 65420 WITH SCORE 66320.29
AT ITER 8400 NEW BEST:: SOT 1199032 SOS 910178 HAS SOPS 910141 HAS SOUS 65446 HAS SOUPS 65409 WITH SCORE 66319.178
AT ITER 8481 NEW BEST:: SOT 1199028 SOS 910174 HAS SOPS 910137 HAS SOUS 65442 HAS SOUPS 65405 WITH SCORE 66315.174
AT ITER 8492 NEW BEST:: SOT 1199012 SOS 910158 HAS SOPS 910121 HAS SOUS 65426 HAS SOUPS 65389 WITH SCORE 66299.158
AT ITER 8526 NEW BEST:: SOT 1199066 SOS 910212 HAS SOPS 910175 HAS SOUS 64361 HAS SOUPS 64324 WITH SCORE 65234.212
AT ITER 8540 NEW BEST:: SOT 1199060 SOS 910206 HAS SOPS 910169 HAS SOUS 64353 HAS SOUPS 64316 WITH SCORE 65226.206
AT ITER 8542 NEW BEST:: SOT 1199786 SOS 910932 HAS SOPS 910895 HAS SOUS 64041 HAS SOUPS 64004 WITH SCORE 64914.932
AT ITER 8546 NEW BEST:: SOT 1199790 SOS 910936 HAS SOPS 910899 HAS SOUS 64035 HAS SOUPS 63998 WITH SCORE 64908.936
AT ITER 8568 NEW BEST:: SOT 1199790 SOS 910744 HAS SOPS 910707 HAS SOUS 64035 HAS SOUPS 63998 WITH SCORE 64908.744
AT ITER 8607 NEW BEST:: SOT 1199526 SOS 910480 HAS SOPS 910443 HAS SOUS 64002 HAS SOUPS 63965 WITH SCORE 64875.48
AT ITER 8637 NEW BEST:: SOT 1199482 SOS 910436 HAS SOPS 910399 HAS SOUS 63958 HAS SOUPS 63921 WITH SCORE 64831.436
AT ITER 8650 NEW BEST:: SOT 1199356 SOS 910310 HAS SOPS 910273 HAS SOUS 63935 HAS SOUPS 63898 WITH SCORE 64808.31
AT ITER 8681 NEW BEST:: SOT 1199140 SOS 910094 HAS SOPS 910057 HAS SOUS 63916 HAS SOUPS 63879 WITH SCORE 64789.094
AT ITER 8691 NEW BEST:: SOT 1199157 SOS 910735 HAS SOPS 910698 HAS SOUS 63904 HAS SOUPS 63867 WITH SCORE 64777.735
AT ITER 8795 NEW BEST:: SOT 1199111 SOS 910689 HAS SOPS 910652 HAS SOUS 63886 HAS SOUPS 63849 WITH SCORE 64759.689
AT ITER 8817 NEW BEST:: SOT 1199111 SOS 910677 HAS SOPS 910640 HAS SOUS 63886 HAS SOUPS 63849 WITH SCORE 64759.677
AT ITER 8840 NEW BEST:: SOT 1199051 SOS 910617 HAS SOPS 910580 HAS SOUS 63815 HAS SOUPS 63778 WITH SCORE 64688.617
AT ITER 8911 NEW BEST:: SOT 1199075 SOS 910641 HAS SOPS 910604 HAS SOUS 63814 HAS SOUPS 63777 WITH SCORE 64687.641
AT ITER 9044 NEW BEST:: SOT 1199072 SOS 910545 HAS SOPS 910479 HAS SOUS 63829 HAS SOUPS 63763 WITH SCORE 64673.545
AT ITER 9117 NEW BEST:: SOT 1199072 SOS 910545 HAS SOPS 910479 HAS SOUS 63824 HAS SOUPS 63758 WITH SCORE 64668.545
AT ITER 9118 NEW BEST:: SOT 1199072 SOS 910545 HAS SOPS 910479 HAS SOUS 63815 HAS SOUPS 63749 WITH SCORE 64659.545
AT ITER 9123 NEW BEST:: SOT 1199082 SOS 902971 HAS SOPS 902905 HAS SOUS 63817 HAS SOUPS 63751 WITH SCORE 64653.971
AT ITER 9131 NEW BEST:: SOT 1199082 SOS 902903 HAS SOPS 902833 HAS SOUS 63821 HAS SOUPS 63751 WITH SCORE 64653.903
AT ITER 9132 NEW BEST:: SOT 1199076 SOS 902897 HAS SOPS 902827 HAS SOUS 63815 HAS SOUPS 63745 WITH SCORE 64647.897
AT ITER 9135 NEW BEST:: SOT 1199076 SOS 915389 HAS SOPS 915319 HAS SOUS 63791 HAS SOUPS 63721 WITH SCORE 64636.389
AT ITER 9257 NEW BEST:: SOT 1199076 SOS 915365 HAS SOPS 915294 HAS SOUS 63790 HAS SOUPS 63719 WITH SCORE 64634.365
AT ITER 9306 NEW BEST:: SOT 1199068 SOS 915357 HAS SOPS 915286 HAS SOUS 63779 HAS SOUPS 63708 WITH SCORE 64623.357
AT ITER 9320 NEW BEST:: SOT 1198918 SOS 915207 HAS SOPS 915136 HAS SOUS 63636 HAS SOUPS 63565 WITH SCORE 64480.207
AT ITER 9321 NEW BEST:: SOT 1198671 SOS 914960 HAS SOPS 914889 HAS SOUS 63496 HAS SOUPS 63425 WITH SCORE 64339.96
AT ITER 9460 NEW BEST:: SOT 1198355 SOS 914644 HAS SOPS 914573 HAS SOUS 63371 HAS SOUPS 63300 WITH SCORE 64214.644
AT ITER 9505 NEW BEST:: SOT 1198355 SOS 915020 HAS SOPS 914949 HAS SOUS 63346 HAS SOUPS 63275 WITH SCORE 64190.02
AT ITER 9542 NEW BEST:: SOT 1198355 SOS 914935 HAS SOPS 914864 HAS SOUS 63336 HAS SOUPS 63265 WITH SCORE 64179.935
AT ITER 9577 NEW BEST:: SOT 1198355 SOS 915362 HAS SOPS 915296 HAS SOUS 63318 HAS SOUPS 63252 WITH SCORE 64167.362
AT ITER 9613 NEW BEST:: SOT 1198355 SOS 915362 HAS SOPS 915296 HAS SOUS 63314 HAS SOUPS 63248 WITH SCORE 64163.362
AT ITER 9615 NEW BEST:: SOT 1198238 SOS 915245 HAS SOPS 915179 HAS SOUS 63218 HAS SOUPS 63152 WITH SCORE 64067.245
AT ITER 9662 NEW BEST:: SOT 1198443 SOS 915450 HAS SOPS 915384 HAS SOUS 63111 HAS SOUPS 63045 WITH SCORE 63960.45
AT ITER 9663 NEW BEST:: SOT 1198441 SOS 915448 HAS SOPS 915382 HAS SOUS 63109 HAS SOUPS 63043 WITH SCORE 63958.448
AT ITER 9692 NEW BEST:: SOT 1198441 SOS 917179 HAS SOPS 917113 HAS SOUS 63004 HAS SOUPS 62938 WITH SCORE 63855.179
AT ITER 9796 NEW BEST:: SOT 1196820 SOS 913489 HAS SOPS 913404 HAS SOUS 63000 HAS SOUPS 62915 WITH SCORE 63828.489
AT ITER 9835 NEW BEST:: SOT 1196820 SOS 913455 HAS SOPS 913370 HAS SOUS 63000 HAS SOUPS 62915 WITH SCORE 63828.455
AT ITER 9851 NEW BEST:: SOT 1196816 SOS 914023 HAS SOPS 913938 HAS SOUS 62991 HAS SOUPS 62906 WITH SCORE 63820.023
AT ITER 9865 NEW BEST:: SOT 1196816 SOS 914023 HAS SOPS 913938 HAS SOUS 62982 HAS SOUPS 62897 WITH SCORE 63811.023
AT ITER 9888 NEW BEST:: SOT 1196816 SOS 914177 HAS SOPS 914092 HAS SOUS 62981 HAS SOUPS 62896 WITH SCORE 63810.177
AT ITER 9899 NEW BEST:: SOT 1196302 SOS 913663 HAS SOPS 913578 HAS SOUS 62732 HAS SOUPS 62647 WITH SCORE 63560.663
AT ITER 9903 NEW BEST:: SOT 1196667 SOS 914028 HAS SOPS 913943 HAS SOUS 62690 HAS SOUPS 62605 WITH SCORE 63519.028
AT ITER 9916 NEW BEST:: SOT 1196557 SOS 913918 HAS SOPS 913833 HAS SOUS 62690 HAS SOUPS 62605 WITH SCORE 63518.918
AT ITER 9921 NEW BEST:: SOT 1196557 SOS 913918 HAS SOPS 913833 HAS SOUS 62682 HAS SOUPS 62597 WITH SCORE 63510.918
AT ITER 9927 NEW BEST:: SOT 1196144 SOS 913505 HAS SOPS 913420 HAS SOUS 62677 HAS SOUPS 62592 WITH SCORE 63505.505
AT ITER 9930 NEW BEST:: SOT 1196144 SOS 913492 HAS SOPS 913407 HAS SOUS 62676 HAS SOUPS 62591 WITH SCORE 63504.492
AT ITER 9969 NEW BEST:: SOT 1196005 SOS 913353 HAS SOPS 913268 HAS SOUS 62573 HAS SOUPS 62488 WITH SCORE 63401.353
AT ITER 9976 NEW BEST:: SOT 1194091 SOS 911223 HAS SOPS 911138 HAS SOUS 62519 HAS SOUPS 62434 WITH SCORE 63345.223
AT ITER 9982 NEW BEST:: SOT 1194038 SOS 911170 HAS SOPS 911085 HAS SOUS 62353 HAS SOUPS 62268 WITH SCORE 63179.17

BK_STOP 1678622977745

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

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="Medical-PT-06"
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 Medical-PT-06, 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 r227-tall-167856410800672"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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