Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534400344.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 NoC3x3-PT-8A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534400344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 7.5K Feb 26 09:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 26 09:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 09:51 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 09:51 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 10:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Feb 26 10:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.3K Feb 26 10:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 10:00 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 745K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678766598121

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=NoC3x3-PT-8A
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8A
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: 317 places, 4293 transitions, 9691 arcs.
AT ITER 0 NEW BEST:: SOT 302177 SOS 230273 HAS SOPS 230273 HAS SOUS 77216 HAS SOUPS 77216 WITH SCORE 77446.273
AT ITER 2 NEW BEST:: SOT 302074 SOS 229223 HAS SOPS 229223 HAS SOUS 76951 HAS SOUPS 76951 WITH SCORE 77180.223
AT ITER 3 NEW BEST:: SOT 331067 SOS 254308 HAS SOPS 254308 HAS SOUS 75694 HAS SOUPS 75694 WITH SCORE 75948.308
AT ITER 4 NEW BEST:: SOT 331080 SOS 254321 HAS SOPS 254321 HAS SOUS 75681 HAS SOUPS 75681 WITH SCORE 75935.321
AT ITER 6 NEW BEST:: SOT 331102 SOS 254057 HAS SOPS 254057 HAS SOUS 75637 HAS SOUPS 75637 WITH SCORE 75891.057
AT ITER 7 NEW BEST:: SOT 331069 SOS 254024 HAS SOPS 254024 HAS SOUS 75563 HAS SOUPS 75563 WITH SCORE 75817.024
AT ITER 11 NEW BEST:: SOT 331063 SOS 254018 HAS SOPS 254018 HAS SOUS 75540 HAS SOUPS 75540 WITH SCORE 75794.018
AT ITER 13 NEW BEST:: SOT 331056 SOS 254011 HAS SOPS 254011 HAS SOUS 75536 HAS SOUPS 75536 WITH SCORE 75790.011
AT ITER 14 NEW BEST:: SOT 331041 SOS 253996 HAS SOPS 253996 HAS SOUS 75502 HAS SOUPS 75502 WITH SCORE 75755.996
AT ITER 15 NEW BEST:: SOT 330777 SOS 253732 HAS SOPS 253732 HAS SOUS 75236 HAS SOUPS 75236 WITH SCORE 75489.732
AT ITER 18 NEW BEST:: SOT 330479 SOS 253434 HAS SOPS 253434 HAS SOUS 74938 HAS SOUPS 74938 WITH SCORE 75191.434
AT ITER 23 NEW BEST:: SOT 330923 SOS 253878 HAS SOPS 253878 HAS SOUS 74741 HAS SOUPS 74741 WITH SCORE 74994.878
AT ITER 25 NEW BEST:: SOT 331205 SOS 254160 HAS SOPS 254160 HAS SOUS 74403 HAS SOUPS 74403 WITH SCORE 74657.16
AT ITER 26 NEW BEST:: SOT 331098 SOS 253069 HAS SOPS 253069 HAS SOUS 73999 HAS SOUPS 73999 WITH SCORE 74252.069
AT ITER 27 NEW BEST:: SOT 330643 SOS 252614 HAS SOPS 252614 HAS SOUS 73601 HAS SOUPS 73601 WITH SCORE 73853.614
AT ITER 30 NEW BEST:: SOT 330531 SOS 252502 HAS SOPS 252502 HAS SOUS 73413 HAS SOUPS 73413 WITH SCORE 73665.502
AT ITER 31 NEW BEST:: SOT 333097 SOS 250700 HAS SOPS 250700 HAS SOUS 73388 HAS SOUPS 73388 WITH SCORE 73638.7
AT ITER 34 NEW BEST:: SOT 367509 SOS 282315 HAS SOPS 282315 HAS SOUS 72749 HAS SOUPS 72749 WITH SCORE 73031.315
AT ITER 35 NEW BEST:: SOT 366309 SOS 281115 HAS SOPS 281115 HAS SOUS 71295 HAS SOUPS 71295 WITH SCORE 71576.115
AT ITER 37 NEW BEST:: SOT 366419 SOS 280565 HAS SOPS 280565 HAS SOUS 71283 HAS SOUPS 71283 WITH SCORE 71563.565
AT ITER 41 NEW BEST:: SOT 366419 SOS 279000 HAS SOPS 279000 HAS SOUS 70790 HAS SOUPS 70790 WITH SCORE 71069.0
AT ITER 48 NEW BEST:: SOT 366139 SOS 278720 HAS SOPS 278720 HAS SOUS 70586 HAS SOUPS 70586 WITH SCORE 70864.72
AT ITER 53 NEW BEST:: SOT 399183 SOS 311922 HAS SOPS 311922 HAS SOUS 69947 HAS SOUPS 69947 WITH SCORE 70258.922
AT ITER 55 NEW BEST:: SOT 399052 SOS 311791 HAS SOPS 311791 HAS SOUS 69813 HAS SOUPS 69813 WITH SCORE 70124.791
AT ITER 58 NEW BEST:: SOT 399052 SOS 311743 HAS SOPS 311743 HAS SOUS 69813 HAS SOUPS 69813 WITH SCORE 70124.743
AT ITER 59 NEW BEST:: SOT 398944 SOS 311635 HAS SOPS 311635 HAS SOUS 69543 HAS SOUPS 69543 WITH SCORE 69854.635
AT ITER 60 NEW BEST:: SOT 435756 SOS 348442 HAS SOPS 348442 HAS SOUS 69402 HAS SOUPS 69402 WITH SCORE 69750.442
AT ITER 63 NEW BEST:: SOT 435550 SOS 348236 HAS SOPS 348236 HAS SOUS 69134 HAS SOUPS 69134 WITH SCORE 69482.236
AT ITER 66 NEW BEST:: SOT 435269 SOS 347955 HAS SOPS 347955 HAS SOUS 68691 HAS SOUPS 68691 WITH SCORE 69038.955
AT ITER 72 NEW BEST:: SOT 435189 SOS 347995 HAS SOPS 347995 HAS SOUS 68579 HAS SOUPS 68579 WITH SCORE 68926.995
AT ITER 74 NEW BEST:: SOT 434584 SOS 347390 HAS SOPS 347390 HAS SOUS 68057 HAS SOUPS 68057 WITH SCORE 68404.39
AT ITER 75 NEW BEST:: SOT 433970 SOS 346776 HAS SOPS 346776 HAS SOUS 67450 HAS SOUPS 67450 WITH SCORE 67796.776
AT ITER 79 NEW BEST:: SOT 433904 SOS 346710 HAS SOPS 346710 HAS SOUS 67264 HAS SOUPS 67264 WITH SCORE 67610.71
AT ITER 81 NEW BEST:: SOT 433873 SOS 346652 HAS SOPS 346652 HAS SOUS 67169 HAS SOUPS 67169 WITH SCORE 67515.652
AT ITER 88 NEW BEST:: SOT 433613 SOS 346646 HAS SOPS 346646 HAS SOUS 66858 HAS SOUPS 66858 WITH SCORE 67204.646
AT ITER 90 NEW BEST:: SOT 465313 SOS 373441 HAS SOPS 373441 HAS SOUS 65992 HAS SOUPS 65992 WITH SCORE 66365.441
AT ITER 96 NEW BEST:: SOT 465303 SOS 373431 HAS SOPS 373431 HAS SOUS 65987 HAS SOUPS 65987 WITH SCORE 66360.431
AT ITER 100 NEW BEST:: SOT 465261 SOS 373389 HAS SOPS 373389 HAS SOUS 65985 HAS SOUPS 65985 WITH SCORE 66358.389
AT ITER 102 NEW BEST:: SOT 464549 SOS 372193 HAS SOPS 372193 HAS SOUS 65030 HAS SOUPS 65030 WITH SCORE 65402.193
AT ITER 108 NEW BEST:: SOT 503196 SOS 410626 HAS SOPS 410626 HAS SOUS 64639 HAS SOUPS 64639 WITH SCORE 65049.626
AT ITER 110 NEW BEST:: SOT 503532 SOS 410962 HAS SOPS 410962 HAS SOUS 64594 HAS SOUPS 64594 WITH SCORE 65004.962
AT ITER 112 NEW BEST:: SOT 503415 SOS 408895 HAS SOPS 408895 HAS SOUS 64102 HAS SOUPS 64102 WITH SCORE 64510.895
AT ITER 116 NEW BEST:: SOT 501627 SOS 405223 HAS SOPS 405223 HAS SOUS 64078 HAS SOUPS 64078 WITH SCORE 64483.223
AT ITER 117 NEW BEST:: SOT 501832 SOS 405428 HAS SOPS 405428 HAS SOUS 63894 HAS SOUPS 63894 WITH SCORE 64299.428
AT ITER 121 NEW BEST:: SOT 501800 SOS 405196 HAS SOPS 405196 HAS SOUS 63822 HAS SOUPS 63822 WITH SCORE 64227.196
AT ITER 128 NEW BEST:: SOT 501568 SOS 405036 HAS SOPS 405036 HAS SOUS 63644 HAS SOUPS 63644 WITH SCORE 64049.036
AT ITER 129 NEW BEST:: SOT 501568 SOS 403026 HAS SOPS 403026 HAS SOUS 63445 HAS SOUPS 63445 WITH SCORE 63848.026
AT ITER 135 NEW BEST:: SOT 501063 SOS 402559 HAS SOPS 402559 HAS SOUS 63207 HAS SOUPS 63207 WITH SCORE 63609.559
AT ITER 136 NEW BEST:: SOT 500667 SOS 402163 HAS SOPS 402163 HAS SOUS 62910 HAS SOUPS 62910 WITH SCORE 63312.163
AT ITER 137 NEW BEST:: SOT 501811 SOS 403307 HAS SOPS 403307 HAS SOUS 62886 HAS SOUPS 62886 WITH SCORE 63289.307
AT ITER 139 NEW BEST:: SOT 501787 SOS 403051 HAS SOPS 403051 HAS SOUS 62798 HAS SOUPS 62798 WITH SCORE 63201.051
AT ITER 140 NEW BEST:: SOT 501418 SOS 402652 HAS SOPS 402652 HAS SOUS 62513 HAS SOUPS 62513 WITH SCORE 62915.652
AT ITER 144 NEW BEST:: SOT 501320 SOS 402554 HAS SOPS 402554 HAS SOUS 62330 HAS SOUPS 62330 WITH SCORE 62732.554
AT ITER 147 NEW BEST:: SOT 500842 SOS 402084 HAS SOPS 402084 HAS SOUS 61333 HAS SOUPS 61333 WITH SCORE 61735.084
AT ITER 152 NEW BEST:: SOT 500717 SOS 401959 HAS SOPS 401959 HAS SOUS 61208 HAS SOUPS 61208 WITH SCORE 61609.959
AT ITER 156 NEW BEST:: SOT 500707 SOS 401949 HAS SOPS 401949 HAS SOUS 61198 HAS SOUPS 61198 WITH SCORE 61599.949
AT ITER 161 NEW BEST:: SOT 500711 SOS 401953 HAS SOPS 401953 HAS SOUS 61059 HAS SOUPS 61059 WITH SCORE 61460.953
AT ITER 162 NEW BEST:: SOT 500656 SOS 401898 HAS SOPS 401898 HAS SOUS 61002 HAS SOUPS 61002 WITH SCORE 61403.898
AT ITER 167 NEW BEST:: SOT 500656 SOS 401898 HAS SOPS 401898 HAS SOUS 60938 HAS SOUPS 60938 WITH SCORE 61339.898
AT ITER 168 NEW BEST:: SOT 500396 SOS 401638 HAS SOPS 401638 HAS SOUS 60468 HAS SOUPS 60468 WITH SCORE 60869.638
AT ITER 169 NEW BEST:: SOT 500286 SOS 401561 HAS SOPS 401561 HAS SOUS 60424 HAS SOUPS 60424 WITH SCORE 60825.561
AT ITER 170 NEW BEST:: SOT 500241 SOS 401424 HAS SOPS 401424 HAS SOUS 60395 HAS SOUPS 60395 WITH SCORE 60796.424
AT ITER 171 NEW BEST:: SOT 499920 SOS 401103 HAS SOPS 401103 HAS SOUS 60262 HAS SOUPS 60262 WITH SCORE 60663.103
AT ITER 172 NEW BEST:: SOT 481935 SOS 383118 HAS SOPS 383118 HAS SOUS 59982 HAS SOUPS 59982 WITH SCORE 60365.118
AT ITER 176 NEW BEST:: SOT 481622 SOS 381893 HAS SOPS 381893 HAS SOUS 59591 HAS SOUPS 59591 WITH SCORE 59972.893
AT ITER 177 NEW BEST:: SOT 481685 SOS 381616 HAS SOPS 381616 HAS SOUS 59484 HAS SOUPS 59484 WITH SCORE 59865.616
AT ITER 178 NEW BEST:: SOT 481262 SOS 380805 HAS SOPS 380805 HAS SOUS 59006 HAS SOUPS 59006 WITH SCORE 59386.805
AT ITER 179 NEW BEST:: SOT 480858 SOS 380401 HAS SOPS 380401 HAS SOUS 58673 HAS SOUPS 58673 WITH SCORE 59053.401
AT ITER 181 NEW BEST:: SOT 480836 SOS 380385 HAS SOPS 380385 HAS SOUS 58472 HAS SOUPS 58472 WITH SCORE 58852.385
AT ITER 182 NEW BEST:: SOT 480734 SOS 380283 HAS SOPS 380283 HAS SOUS 58212 HAS SOUPS 58212 WITH SCORE 58592.283
AT ITER 183 NEW BEST:: SOT 479576 SOS 379096 HAS SOPS 379096 HAS SOUS 57568 HAS SOUPS 57568 WITH SCORE 57947.096
AT ITER 186 NEW BEST:: SOT 479576 SOS 379096 HAS SOPS 379096 HAS SOUS 57560 HAS SOUPS 57560 WITH SCORE 57939.096
AT ITER 190 NEW BEST:: SOT 479595 SOS 378987 HAS SOPS 378987 HAS SOUS 57460 HAS SOUPS 57460 WITH SCORE 57838.987
AT ITER 191 NEW BEST:: SOT 479242 SOS 378634 HAS SOPS 378634 HAS SOUS 57086 HAS SOUPS 57086 WITH SCORE 57464.634
AT ITER 200 NEW BEST:: SOT 479140 SOS 378532 HAS SOPS 378532 HAS SOUS 56984 HAS SOUPS 56984 WITH SCORE 57362.532
AT ITER 201 NEW BEST:: SOT 479324 SOS 380376 HAS SOPS 380376 HAS SOUS 56850 HAS SOUPS 56850 WITH SCORE 57230.376
AT ITER 204 NEW BEST:: SOT 479311 SOS 380363 HAS SOPS 380363 HAS SOUS 56841 HAS SOUPS 56841 WITH SCORE 57221.363
AT ITER 208 NEW BEST:: SOT 479353 SOS 380405 HAS SOPS 380405 HAS SOUS 56746 HAS SOUPS 56746 WITH SCORE 57126.405
AT ITER 213 NEW BEST:: SOT 479847 SOS 380349 HAS SOPS 380349 HAS SOUS 56663 HAS SOUPS 56663 WITH SCORE 57043.349
AT ITER 214 NEW BEST:: SOT 479847 SOS 380339 HAS SOPS 380339 HAS SOUS 56663 HAS SOUPS 56663 WITH SCORE 57043.339
AT ITER 216 NEW BEST:: SOT 479847 SOS 380336 HAS SOPS 380336 HAS SOUS 56657 HAS SOUPS 56657 WITH SCORE 57037.336
AT ITER 221 NEW BEST:: SOT 479102 SOS 379556 HAS SOPS 379556 HAS SOUS 56632 HAS SOUPS 56632 WITH SCORE 57011.556
AT ITER 222 NEW BEST:: SOT 477016 SOS 375370 HAS SOPS 375370 HAS SOUS 56618 HAS SOUPS 56618 WITH SCORE 56993.37
AT ITER 225 NEW BEST:: SOT 477008 SOS 375362 HAS SOPS 375362 HAS SOUS 56611 HAS SOUPS 56611 WITH SCORE 56986.362
AT ITER 227 NEW BEST:: SOT 476942 SOS 375296 HAS SOPS 375296 HAS SOUS 56479 HAS SOUPS 56479 WITH SCORE 56854.296
AT ITER 228 NEW BEST:: SOT 476942 SOS 375296 HAS SOPS 375296 HAS SOUS 56473 HAS SOUPS 56473 WITH SCORE 56848.296
AT ITER 240 NEW BEST:: SOT 476883 SOS 375001 HAS SOPS 375001 HAS SOUS 56118 HAS SOUPS 56118 WITH SCORE 56493.001
AT ITER 243 NEW BEST:: SOT 476792 SOS 374910 HAS SOPS 374910 HAS SOUS 55788 HAS SOUPS 55788 WITH SCORE 56162.91
AT ITER 251 NEW BEST:: SOT 476771 SOS 374889 HAS SOPS 374889 HAS SOUS 55779 HAS SOUPS 55779 WITH SCORE 56153.889
AT ITER 257 NEW BEST:: SOT 476759 SOS 374845 HAS SOPS 374845 HAS SOUS 55656 HAS SOUPS 55656 WITH SCORE 56030.845
AT ITER 261 NEW BEST:: SOT 476463 SOS 374549 HAS SOPS 374549 HAS SOUS 55346 HAS SOUPS 55346 WITH SCORE 55720.549
AT ITER 264 NEW BEST:: SOT 476548 SOS 374634 HAS SOPS 374634 HAS SOUS 55303 HAS SOUPS 55303 WITH SCORE 55677.634
AT ITER 270 NEW BEST:: SOT 476570 SOS 374656 HAS SOPS 374656 HAS SOUS 55260 HAS SOUPS 55260 WITH SCORE 55634.656
AT ITER 273 NEW BEST:: SOT 476570 SOS 374656 HAS SOPS 374656 HAS SOUS 55251 HAS SOUPS 55251 WITH SCORE 55625.656
AT ITER 274 NEW BEST:: SOT 476431 SOS 374066 HAS SOPS 374066 HAS SOUS 54673 HAS SOUPS 54673 WITH SCORE 55047.066
AT ITER 276 NEW BEST:: SOT 476338 SOS 373973 HAS SOPS 373973 HAS SOUS 53982 HAS SOUPS 53982 WITH SCORE 54355.973
AT ITER 278 NEW BEST:: SOT 476290 SOS 373925 HAS SOPS 373925 HAS SOUS 53888 HAS SOUPS 53888 WITH SCORE 54261.925
AT ITER 280 NEW BEST:: SOT 475996 SOS 373960 HAS SOPS 373960 HAS SOUS 53372 HAS SOUPS 53372 WITH SCORE 53745.96
AT ITER 283 NEW BEST:: SOT 475828 SOS 373588 HAS SOPS 373588 HAS SOUS 53112 HAS SOUPS 53112 WITH SCORE 53485.588
AT ITER 286 NEW BEST:: SOT 465961 SOS 363717 HAS SOPS 363717 HAS SOUS 52942 HAS SOUPS 52942 WITH SCORE 53305.717
AT ITER 291 NEW BEST:: SOT 465902 SOS 363658 HAS SOPS 363658 HAS SOUS 52895 HAS SOUPS 52895 WITH SCORE 53258.658
AT ITER 292 NEW BEST:: SOT 465417 SOS 363173 HAS SOPS 363173 HAS SOUS 52486 HAS SOUPS 52486 WITH SCORE 52849.173
AT ITER 296 NEW BEST:: SOT 499862 SOS 395266 HAS SOPS 395266 HAS SOUS 52405 HAS SOUPS 52405 WITH SCORE 52800.266
AT ITER 298 NEW BEST:: SOT 499798 SOS 390466 HAS SOPS 390466 HAS SOUS 52395 HAS SOUPS 52395 WITH SCORE 52785.466
AT ITER 305 NEW BEST:: SOT 499362 SOS 390030 HAS SOPS 390030 HAS SOUS 52173 HAS SOUPS 52173 WITH SCORE 52563.03
AT ITER 306 NEW BEST:: SOT 494925 SOS 385651 HAS SOPS 385651 HAS SOUS 52057 HAS SOUPS 52057 WITH SCORE 52442.651
AT ITER 316 NEW BEST:: SOT 494881 SOS 385535 HAS SOPS 385535 HAS SOUS 52041 HAS SOUPS 52041 WITH SCORE 52426.535
AT ITER 319 NEW BEST:: SOT 494757 SOS 385411 HAS SOPS 385411 HAS SOUS 51983 HAS SOUPS 51983 WITH SCORE 52368.411
AT ITER 321 NEW BEST:: SOT 494648 SOS 385302 HAS SOPS 385302 HAS SOUS 51778 HAS SOUPS 51778 WITH SCORE 52163.302
AT ITER 333 NEW BEST:: SOT 493879 SOS 384383 HAS SOPS 384383 HAS SOUS 51222 HAS SOUPS 51222 WITH SCORE 51606.383
AT ITER 334 NEW BEST:: SOT 493875 SOS 384379 HAS SOPS 384379 HAS SOUS 51222 HAS SOUPS 51222 WITH SCORE 51606.379
AT ITER 337 NEW BEST:: SOT 493824 SOS 383574 HAS SOPS 383574 HAS SOUS 51105 HAS SOUPS 51105 WITH SCORE 51488.574
AT ITER 338 NEW BEST:: SOT 493860 SOS 383554 HAS SOPS 383554 HAS SOUS 51099 HAS SOUPS 51099 WITH SCORE 51482.554
AT ITER 344 NEW BEST:: SOT 493692 SOS 383386 HAS SOPS 383386 HAS SOUS 50847 HAS SOUPS 50847 WITH SCORE 51230.386
AT ITER 347 NEW BEST:: SOT 493692 SOS 371391 HAS SOPS 371391 HAS SOUS 50847 HAS SOUPS 50847 WITH SCORE 51218.391
AT ITER 352 NEW BEST:: SOT 493510 SOS 371209 HAS SOPS 371209 HAS SOUS 50685 HAS SOUPS 50685 WITH SCORE 51056.209
AT ITER 357 NEW BEST:: SOT 492966 SOS 370665 HAS SOPS 370665 HAS SOUS 50440 HAS SOUPS 50440 WITH SCORE 50810.665
AT ITER 358 NEW BEST:: SOT 492675 SOS 370374 HAS SOPS 370374 HAS SOUS 50219 HAS SOUPS 50219 WITH SCORE 50589.374
AT ITER 363 NEW BEST:: SOT 488706 SOS 367774 HAS SOPS 367774 HAS SOUS 50181 HAS SOUPS 50181 WITH SCORE 50548.774
AT ITER 367 NEW BEST:: SOT 488424 SOS 367492 HAS SOPS 367492 HAS SOUS 49960 HAS SOUPS 49960 WITH SCORE 50327.492
AT ITER 369 NEW BEST:: SOT 488410 SOS 367487 HAS SOPS 367487 HAS SOUS 49930 HAS SOUPS 49930 WITH SCORE 50297.487
AT ITER 371 NEW BEST:: SOT 488149 SOS 367193 HAS SOPS 367193 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 50036.193
AT ITER 373 NEW BEST:: SOT 487953 SOS 366997 HAS SOPS 366997 HAS SOUS 49472 HAS SOUPS 49472 WITH SCORE 49838.997
AT ITER 385 NEW BEST:: SOT 487487 SOS 366451 HAS SOPS 366451 HAS SOUS 49024 HAS SOUPS 49024 WITH SCORE 49390.451
AT ITER 391 NEW BEST:: SOT 487468 SOS 366432 HAS SOPS 366432 HAS SOUS 48989 HAS SOUPS 48989 WITH SCORE 49355.432
AT ITER 394 NEW BEST:: SOT 486531 SOS 365783 HAS SOPS 365783 HAS SOUS 48358 HAS SOUPS 48358 WITH SCORE 48723.783
AT ITER 398 NEW BEST:: SOT 486449 SOS 365815 HAS SOPS 365815 HAS SOUS 48218 HAS SOUPS 48218 WITH SCORE 48583.815
AT ITER 399 NEW BEST:: SOT 486419 SOS 365838 HAS SOPS 365838 HAS SOUS 48179 HAS SOUPS 48179 WITH SCORE 48544.838
AT ITER 400 NEW BEST:: SOT 486395 SOS 365814 HAS SOPS 365814 HAS SOUS 48132 HAS SOUPS 48132 WITH SCORE 48497.814
AT ITER 403 NEW BEST:: SOT 486227 SOS 365646 HAS SOPS 365646 HAS SOUS 48050 HAS SOUPS 48050 WITH SCORE 48415.646
AT ITER 408 NEW BEST:: SOT 486026 SOS 365445 HAS SOPS 365445 HAS SOUS 47758 HAS SOUPS 47758 WITH SCORE 48123.445
AT ITER 415 NEW BEST:: SOT 486015 SOS 365305 HAS SOPS 365301 HAS SOUS 47728 HAS SOUPS 47724 WITH SCORE 48089.305
AT ITER 423 NEW BEST:: SOT 486015 SOS 365266 HAS SOPS 365262 HAS SOUS 47727 HAS SOUPS 47723 WITH SCORE 48088.266
AT ITER 426 NEW BEST:: SOT 486152 SOS 365403 HAS SOPS 365399 HAS SOUS 47714 HAS SOUPS 47710 WITH SCORE 48075.403
AT ITER 432 NEW BEST:: SOT 485851 SOS 365130 HAS SOPS 365098 HAS SOUS 47481 HAS SOUPS 47449 WITH SCORE 47814.13
AT ITER 443 NEW BEST:: SOT 491843 SOS 371050 HAS SOPS 371018 HAS SOUS 47447 HAS SOUPS 47415 WITH SCORE 47786.05
AT ITER 445 NEW BEST:: SOT 491693 SOS 370900 HAS SOPS 370868 HAS SOUS 47273 HAS SOUPS 47241 WITH SCORE 47611.9
AT ITER 446 NEW BEST:: SOT 491252 SOS 370435 HAS SOPS 370403 HAS SOUS 47270 HAS SOUPS 47238 WITH SCORE 47608.435
AT ITER 450 NEW BEST:: SOT 491310 SOS 370993 HAS SOPS 370965 HAS SOUS 47157 HAS SOUPS 47129 WITH SCORE 47499.993
AT ITER 451 NEW BEST:: SOT 491406 SOS 371089 HAS SOPS 371061 HAS SOUS 46969 HAS SOUPS 46941 WITH SCORE 47312.089
AT ITER 456 NEW BEST:: SOT 489022 SOS 366104 HAS SOPS 366076 HAS SOUS 46953 HAS SOUPS 46925 WITH SCORE 47291.104
AT ITER 457 NEW BEST:: SOT 488916 SOS 365998 HAS SOPS 365970 HAS SOUS 46847 HAS SOUPS 46819 WITH SCORE 47184.998
AT ITER 458 NEW BEST:: SOT 480096 SOS 357178 HAS SOPS 357150 HAS SOUS 46847 HAS SOUPS 46819 WITH SCORE 47176.178
AT ITER 459 NEW BEST:: SOT 480145 SOS 357125 HAS SOPS 357097 HAS SOUS 46845 HAS SOUPS 46817 WITH SCORE 47174.125
AT ITER 462 NEW BEST:: SOT 480135 SOS 357065 HAS SOPS 357037 HAS SOUS 46835 HAS SOUPS 46807 WITH SCORE 47164.065
AT ITER 464 NEW BEST:: SOT 479551 SOS 355909 HAS SOPS 355881 HAS SOUS 46831 HAS SOUPS 46803 WITH SCORE 47158.909
AT ITER 467 NEW BEST:: SOT 479445 SOS 355803 HAS SOPS 355775 HAS SOUS 46621 HAS SOUPS 46593 WITH SCORE 46948.803
AT ITER 482 NEW BEST:: SOT 479445 SOS 355803 HAS SOPS 355775 HAS SOUS 46562 HAS SOUPS 46534 WITH SCORE 46889.803
AT ITER 483 NEW BEST:: SOT 479284 SOS 355372 HAS SOPS 355344 HAS SOUS 46495 HAS SOUPS 46467 WITH SCORE 46822.372
AT ITER 485 NEW BEST:: SOT 479202 SOS 355290 HAS SOPS 355262 HAS SOUS 46289 HAS SOUPS 46261 WITH SCORE 46616.29
AT ITER 489 NEW BEST:: SOT 506320 SOS 380596 HAS SOPS 380568 HAS SOUS 46226 HAS SOUPS 46198 WITH SCORE 46578.596
AT ITER 494 NEW BEST:: SOT 506317 SOS 380595 HAS SOPS 380567 HAS SOUS 46223 HAS SOUPS 46195 WITH SCORE 46575.595
AT ITER 501 NEW BEST:: SOT 506248 SOS 380526 HAS SOPS 380498 HAS SOUS 46108 HAS SOUPS 46080 WITH SCORE 46460.526
AT ITER 504 NEW BEST:: SOT 489817 SOS 363487 HAS SOPS 363459 HAS SOUS 45975 HAS SOUPS 45947 WITH SCORE 46310.487
AT ITER 528 NEW BEST:: SOT 487576 SOS 361246 HAS SOPS 361218 HAS SOUS 45939 HAS SOUPS 45911 WITH SCORE 46272.246
AT ITER 531 NEW BEST:: SOT 487420 SOS 360884 HAS SOPS 360830 HAS SOUS 45769 HAS SOUPS 45715 WITH SCORE 46075.884
AT ITER 532 NEW BEST:: SOT 487357 SOS 360834 HAS SOPS 360780 HAS SOUS 45700 HAS SOUPS 45646 WITH SCORE 46006.834
AT ITER 542 NEW BEST:: SOT 487337 SOS 360814 HAS SOPS 360760 HAS SOUS 45660 HAS SOUPS 45606 WITH SCORE 45966.814
AT ITER 555 NEW BEST:: SOT 487199 SOS 360676 HAS SOPS 360622 HAS SOUS 45591 HAS SOUPS 45537 WITH SCORE 45897.676
AT ITER 557 NEW BEST:: SOT 487137 SOS 360552 HAS SOPS 360498 HAS SOUS 45374 HAS SOUPS 45320 WITH SCORE 45680.552
AT ITER 558 NEW BEST:: SOT 484421 SOS 357836 HAS SOPS 357782 HAS SOUS 45322 HAS SOUPS 45268 WITH SCORE 45625.836
AT ITER 559 NEW BEST:: SOT 484420 SOS 357780 HAS SOPS 357726 HAS SOUS 45295 HAS SOUPS 45241 WITH SCORE 45598.78
AT ITER 562 NEW BEST:: SOT 484420 SOS 357777 HAS SOPS 357723 HAS SOUS 45295 HAS SOUPS 45241 WITH SCORE 45598.777
AT ITER 564 NEW BEST:: SOT 483409 SOS 356704 HAS SOPS 356650 HAS SOUS 44835 HAS SOUPS 44781 WITH SCORE 45137.704
AT ITER 565 NEW BEST:: SOT 483457 SOS 356728 HAS SOPS 356674 HAS SOUS 44754 HAS SOUPS 44700 WITH SCORE 45056.728
AT ITER 570 NEW BEST:: SOT 483096 SOS 356625 HAS SOPS 356571 HAS SOUS 44593 HAS SOUPS 44539 WITH SCORE 44895.625
AT ITER 571 NEW BEST:: SOT 483030 SOS 356559 HAS SOPS 356505 HAS SOUS 44583 HAS SOUPS 44529 WITH SCORE 44885.559
AT ITER 579 NEW BEST:: SOT 483009 SOS 356538 HAS SOPS 356484 HAS SOUS 44562 HAS SOUPS 44508 WITH SCORE 44864.538
AT ITER 586 NEW BEST:: SOT 483021 SOS 356516 HAS SOPS 356462 HAS SOUS 44548 HAS SOUPS 44494 WITH SCORE 44850.516
AT ITER 590 NEW BEST:: SOT 483093 SOS 356588 HAS SOPS 356534 HAS SOUS 44524 HAS SOUPS 44470 WITH SCORE 44826.588
AT ITER 591 NEW BEST:: SOT 483043 SOS 356538 HAS SOPS 356484 HAS SOUS 44364 HAS SOUPS 44310 WITH SCORE 44666.538
AT ITER 593 NEW BEST:: SOT 483043 SOS 356538 HAS SOPS 356484 HAS SOUS 44342 HAS SOUPS 44288 WITH SCORE 44644.538
AT ITER 595 NEW BEST:: SOT 483013 SOS 356508 HAS SOPS 356454 HAS SOUS 44282 HAS SOUPS 44228 WITH SCORE 44584.508
AT ITER 598 NEW BEST:: SOT 482903 SOS 356398 HAS SOPS 356344 HAS SOUS 44160 HAS SOUPS 44106 WITH SCORE 44462.398
AT ITER 601 NEW BEST:: SOT 482903 SOS 356385 HAS SOPS 356331 HAS SOUS 44151 HAS SOUPS 44097 WITH SCORE 44453.385
AT ITER 609 NEW BEST:: SOT 482849 SOS 356119 HAS SOPS 356065 HAS SOUS 44086 HAS SOUPS 44032 WITH SCORE 44388.119
AT ITER 612 NEW BEST:: SOT 482903 SOS 329313 HAS SOPS 329259 HAS SOUS 44004 HAS SOUPS 43950 WITH SCORE 44279.313
AT ITER 613 NEW BEST:: SOT 482907 SOS 329317 HAS SOPS 329263 HAS SOUS 43985 HAS SOUPS 43931 WITH SCORE 44260.317
AT ITER 623 NEW BEST:: SOT 482759 SOS 328947 HAS SOPS 328893 HAS SOUS 43862 HAS SOUPS 43808 WITH SCORE 44136.947
AT ITER 626 NEW BEST:: SOT 483051 SOS 329345 HAS SOPS 329185 HAS SOUS 43845 HAS SOUPS 43685 WITH SCORE 44014.345
AT ITER 628 NEW BEST:: SOT 482957 SOS 329210 HAS SOPS 329047 HAS SOUS 43742 HAS SOUPS 43579 WITH SCORE 43908.21
AT ITER 632 NEW BEST:: SOT 483097 SOS 329265 HAS SOPS 329102 HAS SOUS 43647 HAS SOUPS 43484 WITH SCORE 43813.265
AT ITER 641 NEW BEST:: SOT 483041 SOS 329156 HAS SOPS 328993 HAS SOUS 43603 HAS SOUPS 43440 WITH SCORE 43769.156
AT ITER 642 NEW BEST:: SOT 482924 SOS 329039 HAS SOPS 328876 HAS SOUS 43554 HAS SOUPS 43391 WITH SCORE 43720.039
AT ITER 643 NEW BEST:: SOT 482658 SOS 327746 HAS SOPS 327583 HAS SOUS 43535 HAS SOUPS 43372 WITH SCORE 43699.746
AT ITER 644 NEW BEST:: SOT 482384 SOS 327320 HAS SOPS 327157 HAS SOUS 43203 HAS SOUPS 43040 WITH SCORE 43367.32
AT ITER 648 NEW BEST:: SOT 476037 SOS 320911 HAS SOPS 320705 HAS SOUS 43120 HAS SOUPS 42914 WITH SCORE 43234.911
AT ITER 650 NEW BEST:: SOT 476138 SOS 321170 HAS SOPS 320964 HAS SOUS 43056 HAS SOUPS 42850 WITH SCORE 43171.17
AT ITER 651 NEW BEST:: SOT 475809 SOS 320841 HAS SOPS 320635 HAS SOUS 42727 HAS SOUPS 42521 WITH SCORE 42841.841
AT ITER 652 NEW BEST:: SOT 475773 SOS 320805 HAS SOPS 320599 HAS SOUS 42667 HAS SOUPS 42461 WITH SCORE 42781.805
AT ITER 655 NEW BEST:: SOT 475773 SOS 320819 HAS SOPS 320613 HAS SOUS 42652 HAS SOUPS 42446 WITH SCORE 42766.819
AT ITER 658 NEW BEST:: SOT 475664 SOS 320836 HAS SOPS 320630 HAS SOUS 42542 HAS SOUPS 42336 WITH SCORE 42656.836
AT ITER 677 NEW BEST:: SOT 475226 SOS 320386 HAS SOPS 320177 HAS SOUS 42539 HAS SOUPS 42330 WITH SCORE 42650.386
AT ITER 682 NEW BEST:: SOT 477348 SOS 321316 HAS SOPS 321107 HAS SOUS 42529 HAS SOUPS 42320 WITH SCORE 42641.316
AT ITER 688 NEW BEST:: SOT 476811 SOS 320779 HAS SOPS 320570 HAS SOUS 42013 HAS SOUPS 41804 WITH SCORE 42124.779
AT ITER 700 NEW BEST:: SOT 476799 SOS 320837 HAS SOPS 320628 HAS SOUS 42010 HAS SOUPS 41801 WITH SCORE 42121.837
AT ITER 702 NEW BEST:: SOT 476707 SOS 320745 HAS SOPS 320536 HAS SOUS 41826 HAS SOUPS 41617 WITH SCORE 41937.745
AT ITER 712 NEW BEST:: SOT 476749 SOS 320787 HAS SOPS 320578 HAS SOUS 41823 HAS SOUPS 41614 WITH SCORE 41934.787
AT ITER 715 NEW BEST:: SOT 477070 SOS 320592 HAS SOPS 320383 HAS SOUS 41697 HAS SOUPS 41488 WITH SCORE 41808.592
AT ITER 719 NEW BEST:: SOT 477097 SOS 320619 HAS SOPS 320410 HAS SOUS 41624 HAS SOUPS 41415 WITH SCORE 41735.619
AT ITER 729 NEW BEST:: SOT 477064 SOS 320584 HAS SOPS 320375 HAS SOUS 41598 HAS SOUPS 41389 WITH SCORE 41709.584
AT ITER 734 NEW BEST:: SOT 476652 SOS 320178 HAS SOPS 319969 HAS SOUS 41361 HAS SOUPS 41152 WITH SCORE 41472.178
AT ITER 739 NEW BEST:: SOT 476650 SOS 320140 HAS SOPS 319931 HAS SOUS 41356 HAS SOUPS 41147 WITH SCORE 41467.14
AT ITER 746 NEW BEST:: SOT 476544 SOS 320034 HAS SOPS 319825 HAS SOUS 41255 HAS SOUPS 41046 WITH SCORE 41366.034
AT ITER 764 NEW BEST:: SOT 476376 SOS 318417 HAS SOPS 318208 HAS SOUS 41214 HAS SOUPS 41005 WITH SCORE 41323.417
AT ITER 785 NEW BEST:: SOT 476376 SOS 318221 HAS SOPS 318012 HAS SOUS 41163 HAS SOUPS 40954 WITH SCORE 41272.221
AT ITER 794 NEW BEST:: SOT 476373 SOS 318218 HAS SOPS 318009 HAS SOUS 41160 HAS SOUPS 40951 WITH SCORE 41269.218
AT ITER 799 NEW BEST:: SOT 476375 SOS 318220 HAS SOPS 318011 HAS SOUS 41084 HAS SOUPS 40875 WITH SCORE 41193.22
AT ITER 802 NEW BEST:: SOT 476371 SOS 318213 HAS SOPS 318004 HAS SOUS 41078 HAS SOUPS 40869 WITH SCORE 41187.213
AT ITER 804 NEW BEST:: SOT 481002 SOS 318653 HAS SOPS 318438 HAS SOUS 41071 HAS SOUPS 40862 WITH SCORE 41180.653
AT ITER 806 NEW BEST:: SOT 480928 SOS 318945 HAS SOPS 318730 HAS SOUS 41038 HAS SOUPS 40829 WITH SCORE 41147.945
AT ITER 815 NEW BEST:: SOT 480904 SOS 318897 HAS SOPS 318682 HAS SOUS 41002 HAS SOUPS 40793 WITH SCORE 41111.897
AT ITER 816 NEW BEST:: SOT 479563 SOS 316169 HAS SOPS 315954 HAS SOUS 40989 HAS SOUPS 40780 WITH SCORE 41096.169
AT ITER 825 NEW BEST:: SOT 479439 SOS 315954 HAS SOPS 315830 HAS SOUS 40723 HAS SOUPS 40605 WITH SCORE 40920.954
AT ITER 834 NEW BEST:: SOT 479099 SOS 315698 HAS SOPS 315623 HAS SOUS 40528 HAS SOUPS 40459 WITH SCORE 40774.698
AT ITER 840 NEW BEST:: SOT 479103 SOS 315702 HAS SOPS 315627 HAS SOUS 40423 HAS SOUPS 40354 WITH SCORE 40669.702
AT ITER 848 NEW BEST:: SOT 479083 SOS 315682 HAS SOPS 315607 HAS SOUS 40399 HAS SOUPS 40330 WITH SCORE 40645.682
AT ITER 853 NEW BEST:: SOT 479127 SOS 315360 HAS SOPS 315285 HAS SOUS 40154 HAS SOUPS 40085 WITH SCORE 40400.36
AT ITER 856 NEW BEST:: SOT 479129 SOS 315362 HAS SOPS 315287 HAS SOUS 40017 HAS SOUPS 39948 WITH SCORE 40263.362
AT ITER 860 NEW BEST:: SOT 479129 SOS 315354 HAS SOPS 315279 HAS SOUS 40017 HAS SOUPS 39948 WITH SCORE 40263.354
AT ITER 862 NEW BEST:: SOT 479129 SOS 314031 HAS SOPS 313956 HAS SOUS 40017 HAS SOUPS 39948 WITH SCORE 40262.031
AT ITER 863 NEW BEST:: SOT 478818 SOS 313864 HAS SOPS 313789 HAS SOUS 39918 HAS SOUPS 39849 WITH SCORE 40162.864
AT ITER 875 NEW BEST:: SOT 478803 SOS 313839 HAS SOPS 313764 HAS SOUS 39913 HAS SOUPS 39844 WITH SCORE 40157.839
AT ITER 876 NEW BEST:: SOT 478785 SOS 313821 HAS SOPS 313746 HAS SOUS 39886 HAS SOUPS 39817 WITH SCORE 40130.821
AT ITER 881 NEW BEST:: SOT 478791 SOS 313827 HAS SOPS 313752 HAS SOUS 39850 HAS SOUPS 39781 WITH SCORE 40094.827
AT ITER 887 NEW BEST:: SOT 478791 SOS 313871 HAS SOPS 313796 HAS SOUS 39632 HAS SOUPS 39563 WITH SCORE 39876.871
AT ITER 888 NEW BEST:: SOT 478789 SOS 313869 HAS SOPS 313794 HAS SOUS 39620 HAS SOUPS 39551 WITH SCORE 39864.869
AT ITER 891 NEW BEST:: SOT 478694 SOS 313774 HAS SOPS 313699 HAS SOUS 39515 HAS SOUPS 39446 WITH SCORE 39759.774
AT ITER 897 NEW BEST:: SOT 478719 SOS 313743 HAS SOPS 313668 HAS SOUS 39510 HAS SOUPS 39441 WITH SCORE 39754.743
AT ITER 902 NEW BEST:: SOT 478708 SOS 313640 HAS SOPS 313565 HAS SOUS 39439 HAS SOUPS 39370 WITH SCORE 39683.64
AT ITER 903 NEW BEST:: SOT 478448 SOS 313250 HAS SOPS 313175 HAS SOUS 39136 HAS SOUPS 39067 WITH SCORE 39380.25
AT ITER 907 NEW BEST:: SOT 478512 SOS 312172 HAS SOPS 312097 HAS SOUS 39056 HAS SOUPS 38987 WITH SCORE 39299.172
AT ITER 915 NEW BEST:: SOT 478445 SOS 295397 HAS SOPS 295322 HAS SOUS 39012 HAS SOUPS 38943 WITH SCORE 39238.397
AT ITER 929 NEW BEST:: SOT 477620 SOS 294572 HAS SOPS 294497 HAS SOUS 38641 HAS SOUPS 38572 WITH SCORE 38866.572
AT ITER 930 NEW BEST:: SOT 476428 SOS 292050 HAS SOPS 291975 HAS SOUS 38633 HAS SOUPS 38564 WITH SCORE 38856.05
AT ITER 933 NEW BEST:: SOT 476428 SOS 292050 HAS SOPS 291975 HAS SOUS 38629 HAS SOUPS 38560 WITH SCORE 38852.05
AT ITER 934 NEW BEST:: SOT 476360 SOS 291982 HAS SOPS 291907 HAS SOUS 38413 HAS SOUPS 38344 WITH SCORE 38635.982
AT ITER 935 NEW BEST:: SOT 476352 SOS 291970 HAS SOPS 291895 HAS SOUS 38405 HAS SOUPS 38336 WITH SCORE 38627.97
AT ITER 947 NEW BEST:: SOT 476352 SOS 291961 HAS SOPS 291886 HAS SOUS 38399 HAS SOUPS 38330 WITH SCORE 38621.961
AT ITER 963 NEW BEST:: SOT 476423 SOS 292268 HAS SOPS 292193 HAS SOUS 38269 HAS SOUPS 38200 WITH SCORE 38492.268
AT ITER 964 NEW BEST:: SOT 476423 SOS 292466 HAS SOPS 292391 HAS SOUS 38175 HAS SOUPS 38106 WITH SCORE 38398.466
AT ITER 971 NEW BEST:: SOT 476454 SOS 292321 HAS SOPS 292246 HAS SOUS 37999 HAS SOUPS 37930 WITH SCORE 38222.321
AT ITER 973 NEW BEST:: SOT 450324 SOS 266671 HAS SOPS 266596 HAS SOUS 37870 HAS SOUPS 37801 WITH SCORE 38067.671
AT ITER 986 NEW BEST:: SOT 450312 SOS 266690 HAS SOPS 266621 HAS SOUS 37841 HAS SOUPS 37772 WITH SCORE 38038.69
AT ITER 989 NEW BEST:: SOT 450313 SOS 266691 HAS SOPS 266622 HAS SOUS 37838 HAS SOUPS 37769 WITH SCORE 38035.691
AT ITER 995 NEW BEST:: SOT 450309 SOS 266592 HAS SOPS 266523 HAS SOUS 37820 HAS SOUPS 37751 WITH SCORE 38017.592
AT ITER 1001 NEW BEST:: SOT 450300 SOS 266609 HAS SOPS 266540 HAS SOUS 37798 HAS SOUPS 37729 WITH SCORE 37995.609
AT ITER 1002 NEW BEST:: SOT 450290 SOS 266599 HAS SOPS 266530 HAS SOUS 37797 HAS SOUPS 37728 WITH SCORE 37994.599
AT ITER 1015 NEW BEST:: SOT 450995 SOS 265201 HAS SOPS 265132 HAS SOUS 37785 HAS SOUPS 37716 WITH SCORE 37981.201
AT ITER 1021 NEW BEST:: SOT 451031 SOS 265072 HAS SOPS 265003 HAS SOUS 37656 HAS SOUPS 37587 WITH SCORE 37852.072
AT ITER 1031 NEW BEST:: SOT 451037 SOS 265403 HAS SOPS 265334 HAS SOUS 37525 HAS SOUPS 37456 WITH SCORE 37721.403
AT ITER 1040 NEW BEST:: SOT 451089 SOS 265251 HAS SOPS 265182 HAS SOUS 37307 HAS SOUPS 37238 WITH SCORE 37503.251
AT ITER 1053 NEW BEST:: SOT 451084 SOS 265246 HAS SOPS 265177 HAS SOUS 37250 HAS SOUPS 37181 WITH SCORE 37446.246
AT ITER 1064 NEW BEST:: SOT 451185 SOS 265173 HAS SOPS 264961 HAS SOUS 37289 HAS SOUPS 37077 WITH SCORE 37342.173
AT ITER 1068 NEW BEST:: SOT 451185 SOS 265191 HAS SOPS 264979 HAS SOUS 37271 HAS SOUPS 37059 WITH SCORE 37324.191
AT ITER 1074 NEW BEST:: SOT 451174 SOS 265180 HAS SOPS 264968 HAS SOUS 37214 HAS SOUPS 37002 WITH SCORE 37267.18
AT ITER 1075 NEW BEST:: SOT 451154 SOS 265160 HAS SOPS 264948 HAS SOUS 37214 HAS SOUPS 37002 WITH SCORE 37267.16
AT ITER 1081 NEW BEST:: SOT 451109 SOS 265375 HAS SOPS 265163 HAS SOUS 37197 HAS SOUPS 36985 WITH SCORE 37250.375
AT ITER 1088 NEW BEST:: SOT 451123 SOS 265261 HAS SOPS 265049 HAS SOUS 37166 HAS SOUPS 36954 WITH SCORE 37219.261
AT ITER 1090 NEW BEST:: SOT 450940 SOS 265139 HAS SOPS 264866 HAS SOUS 37092 HAS SOUPS 36819 WITH SCORE 37084.139
AT ITER 1093 NEW BEST:: SOT 451012 SOS 264765 HAS SOPS 264492 HAS SOUS 37052 HAS SOUPS 36779 WITH SCORE 37043.765
AT ITER 1099 NEW BEST:: SOT 451069 SOS 264502 HAS SOPS 264229 HAS SOUS 36949 HAS SOUPS 36676 WITH SCORE 36940.502
AT ITER 1100 NEW BEST:: SOT 451048 SOS 264451 HAS SOPS 264178 HAS SOUS 36826 HAS SOUPS 36553 WITH SCORE 36817.451
AT ITER 1104 NEW BEST:: SOT 451249 SOS 265033 HAS SOPS 264766 HAS SOUS 36772 HAS SOUPS 36505 WITH SCORE 36770.033
AT ITER 1105 NEW BEST:: SOT 451183 SOS 265317 HAS SOPS 265050 HAS SOUS 36689 HAS SOUPS 36422 WITH SCORE 36687.317
AT ITER 1111 NEW BEST:: SOT 450856 SOS 264554 HAS SOPS 264287 HAS SOUS 36362 HAS SOUPS 36095 WITH SCORE 36359.554
AT ITER 1123 NEW BEST:: SOT 450807 SOS 264411 HAS SOPS 264144 HAS SOUS 36170 HAS SOUPS 35903 WITH SCORE 36167.411
AT ITER 1125 NEW BEST:: SOT 449466 SOS 261729 HAS SOPS 261462 HAS SOUS 36157 HAS SOUPS 35890 WITH SCORE 36151.729
AT ITER 1126 NEW BEST:: SOT 449416 SOS 261679 HAS SOPS 261412 HAS SOUS 36121 HAS SOUPS 35854 WITH SCORE 36115.679
AT ITER 1128 NEW BEST:: SOT 449404 SOS 261667 HAS SOPS 261400 HAS SOUS 36109 HAS SOUPS 35842 WITH SCORE 36103.667
AT ITER 1131 NEW BEST:: SOT 449385 SOS 261667 HAS SOPS 261411 HAS SOUS 36092 HAS SOUPS 35836 WITH SCORE 36097.667
AT ITER 1134 NEW BEST:: SOT 449323 SOS 261605 HAS SOPS 261349 HAS SOUS 36080 HAS SOUPS 35824 WITH SCORE 36085.605
AT ITER 1135 NEW BEST:: SOT 449323 SOS 261449 HAS SOPS 261193 HAS SOUS 36080 HAS SOUPS 35824 WITH SCORE 36085.449
AT ITER 1137 NEW BEST:: SOT 449319 SOS 261445 HAS SOPS 261189 HAS SOUS 36068 HAS SOUPS 35812 WITH SCORE 36073.445
AT ITER 1147 NEW BEST:: SOT 449275 SOS 258189 HAS SOPS 257933 HAS SOUS 36053 HAS SOUPS 35797 WITH SCORE 36055.189
AT ITER 1152 NEW BEST:: SOT 454093 SOS 262923 HAS SOPS 262667 HAS SOUS 35936 HAS SOUPS 35680 WITH SCORE 35942.923
AT ITER 1154 NEW BEST:: SOT 454047 SOS 262853 HAS SOPS 262597 HAS SOUS 35865 HAS SOUPS 35609 WITH SCORE 35871.853
AT ITER 1164 NEW BEST:: SOT 454062 SOS 262868 HAS SOPS 262612 HAS SOUS 35801 HAS SOUPS 35545 WITH SCORE 35807.868
AT ITER 1178 NEW BEST:: SOT 453942 SOS 248704 HAS SOPS 248448 HAS SOUS 35693 HAS SOUPS 35437 WITH SCORE 35685.704
AT ITER 1180 NEW BEST:: SOT 453906 SOS 248668 HAS SOPS 248412 HAS SOUS 35669 HAS SOUPS 35413 WITH SCORE 35661.668
AT ITER 1214 NEW BEST:: SOT 453730 SOS 222748 HAS SOPS 222492 HAS SOUS 35677 HAS SOUPS 35421 WITH SCORE 35643.748
AT ITER 1216 NEW BEST:: SOT 453730 SOS 222741 HAS SOPS 222492 HAS SOUS 35663 HAS SOUPS 35414 WITH SCORE 35636.741
AT ITER 1223 NEW BEST:: SOT 453915 SOS 223561 HAS SOPS 223312 HAS SOUS 35632 HAS SOUPS 35383 WITH SCORE 35606.561
AT ITER 1235 NEW BEST:: SOT 453576 SOS 223246 HAS SOPS 222997 HAS SOUS 35176 HAS SOUPS 34927 WITH SCORE 35150.246
AT ITER 1236 NEW BEST:: SOT 453571 SOS 223241 HAS SOPS 222992 HAS SOUS 35170 HAS SOUPS 34921 WITH SCORE 35144.241
AT ITER 1247 NEW BEST:: SOT 453495 SOS 223165 HAS SOPS 222916 HAS SOUS 35060 HAS SOUPS 34811 WITH SCORE 35034.165
AT ITER 1252 NEW BEST:: SOT 453468 SOS 223102 HAS SOPS 222853 HAS SOUS 35033 HAS SOUPS 34784 WITH SCORE 35007.102
AT ITER 1254 NEW BEST:: SOT 458150 SOS 226022 HAS SOPS 225773 HAS SOUS 35018 HAS SOUPS 34769 WITH SCORE 34995.022
AT ITER 1260 NEW BEST:: SOT 458403 SOS 225863 HAS SOPS 225614 HAS SOUS 34971 HAS SOUPS 34722 WITH SCORE 34947.863
AT ITER 1276 NEW BEST:: SOT 458217 SOS 234915 HAS SOPS 234666 HAS SOUS 34785 HAS SOUPS 34536 WITH SCORE 34770.915
AT ITER 1281 NEW BEST:: SOT 457923 SOS 234873 HAS SOPS 234624 HAS SOUS 34687 HAS SOUPS 34438 WITH SCORE 34672.873
AT ITER 1283 NEW BEST:: SOT 457803 SOS 234753 HAS SOPS 234504 HAS SOUS 34472 HAS SOUPS 34223 WITH SCORE 34457.753
AT ITER 1305 NEW BEST:: SOT 457793 SOS 234743 HAS SOPS 234494 HAS SOUS 34452 HAS SOUPS 34203 WITH SCORE 34437.743
AT ITER 1314 NEW BEST:: SOT 456023 SOS 232973 HAS SOPS 232724 HAS SOUS 34448 HAS SOUPS 34199 WITH SCORE 34431.973
AT ITER 1317 NEW BEST:: SOT 459110 SOS 236060 HAS SOPS 235811 HAS SOUS 34427 HAS SOUPS 34178 WITH SCORE 34414.06
AT ITER 1344 NEW BEST:: SOT 458982 SOS 235100 HAS SOPS 234851 HAS SOUS 34363 HAS SOUPS 34114 WITH SCORE 34349.1
AT ITER 1369 NEW BEST:: SOT 458974 SOS 235076 HAS SOPS 234827 HAS SOUS 34355 HAS SOUPS 34106 WITH SCORE 34341.076
AT ITER 1381 NEW BEST:: SOT 458969 SOS 235073 HAS SOPS 234822 HAS SOUS 34350 HAS SOUPS 34099 WITH SCORE 34334.073
AT ITER 1389 NEW BEST:: SOT 439004 SOS 213845 HAS SOPS 213343 HAS SOUS 34115 HAS SOUPS 33748 WITH SCORE 33961.845
AT ITER 1391 NEW BEST:: SOT 438786 SOS 213529 HAS SOPS 213027 HAS SOUS 33919 HAS SOUPS 33552 WITH SCORE 33765.529
AT ITER 1394 NEW BEST:: SOT 424261 SOS 203725 HAS SOPS 203223 HAS SOUS 33739 HAS SOUPS 33372 WITH SCORE 33575.725
AT ITER 1401 NEW BEST:: SOT 424241 SOS 203705 HAS SOPS 203203 HAS SOUS 33604 HAS SOUPS 33237 WITH SCORE 33440.705
AT ITER 1406 NEW BEST:: SOT 424220 SOS 203490 HAS SOPS 202988 HAS SOUS 33577 HAS SOUPS 33210 WITH SCORE 33413.49
AT ITER 1411 NEW BEST:: SOT 424158 SOS 203428 HAS SOPS 202926 HAS SOUS 33526 HAS SOUPS 33159 WITH SCORE 33362.428
AT ITER 1455 NEW BEST:: SOT 424152 SOS 204465 HAS SOPS 203963 HAS SOUS 33499 HAS SOUPS 33132 WITH SCORE 33336.465
AT ITER 1477 NEW BEST:: SOT 424132 SOS 204463 HAS SOPS 203961 HAS SOUS 33479 HAS SOUPS 33112 WITH SCORE 33316.463
AT ITER 1478 NEW BEST:: SOT 424109 SOS 204440 HAS SOPS 203938 HAS SOUS 33409 HAS SOUPS 33042 WITH SCORE 33246.44
AT ITER 1479 NEW BEST:: SOT 417103 SOS 197452 HAS SOPS 196950 HAS SOUS 33263 HAS SOUPS 32896 WITH SCORE 33093.452
AT ITER 1488 NEW BEST:: SOT 417097 SOS 197446 HAS SOPS 196944 HAS SOUS 33239 HAS SOUPS 32872 WITH SCORE 33069.446
AT ITER 1489 NEW BEST:: SOT 417095 SOS 197431 HAS SOPS 196929 HAS SOUS 33238 HAS SOUPS 32871 WITH SCORE 33068.431
AT ITER 1499 NEW BEST:: SOT 417064 SOS 197410 HAS SOPS 196908 HAS SOUS 33194 HAS SOUPS 32827 WITH SCORE 33024.41
AT ITER 1501 NEW BEST:: SOT 417063 SOS 197408 HAS SOPS 196907 HAS SOUS 33192 HAS SOUPS 32826 WITH SCORE 33023.408
AT ITER 1521 NEW BEST:: SOT 417204 SOS 197345 HAS SOPS 196844 HAS SOUS 33158 HAS SOUPS 32792 WITH SCORE 32989.345
AT ITER 1531 NEW BEST:: SOT 417188 SOS 197329 HAS SOPS 196828 HAS SOUS 33126 HAS SOUPS 32760 WITH SCORE 32957.329
AT ITER 1532 NEW BEST:: SOT 416443 SOS 196524 HAS SOPS 196023 HAS SOUS 33101 HAS SOUPS 32735 WITH SCORE 32931.524
AT ITER 1552 NEW BEST:: SOT 408007 SOS 188227 HAS SOPS 187703 HAS SOUS 33113 HAS SOUPS 32724 WITH SCORE 32912.227
AT ITER 1555 NEW BEST:: SOT 407985 SOS 188205 HAS SOPS 187681 HAS SOUS 33101 HAS SOUPS 32712 WITH SCORE 32900.205
AT ITER 1577 NEW BEST:: SOT 418751 SOS 198611 HAS SOPS 198087 HAS SOUS 33058 HAS SOUPS 32669 WITH SCORE 32867.611
AT ITER 1579 NEW BEST:: SOT 418720 SOS 198580 HAS SOPS 198056 HAS SOUS 33035 HAS SOUPS 32646 WITH SCORE 32844.58
AT ITER 1584 NEW BEST:: SOT 418720 SOS 198142 HAS SOPS 197618 HAS SOUS 33035 HAS SOUPS 32646 WITH SCORE 32844.142
AT ITER 1585 NEW BEST:: SOT 418370 SOS 198081 HAS SOPS 197557 HAS SOUS 32878 HAS SOUPS 32489 WITH SCORE 32687.081
AT ITER 1586 NEW BEST:: SOT 418335 SOS 197836 HAS SOPS 197312 HAS SOUS 32801 HAS SOUPS 32412 WITH SCORE 32609.836
AT ITER 1588 NEW BEST:: SOT 418335 SOS 195118 HAS SOPS 194594 HAS SOUS 32765 HAS SOUPS 32376 WITH SCORE 32571.118
AT ITER 1598 NEW BEST:: SOT 418335 SOS 195091 HAS SOPS 194567 HAS SOUS 32756 HAS SOUPS 32367 WITH SCORE 32562.091
AT ITER 1603 NEW BEST:: SOT 418255 SOS 194943 HAS SOPS 194419 HAS SOUS 32676 HAS SOUPS 32287 WITH SCORE 32481.943
AT ITER 1606 NEW BEST:: SOT 418960 SOS 195648 HAS SOPS 195124 HAS SOUS 32641 HAS SOUPS 32252 WITH SCORE 32447.648
AT ITER 1635 NEW BEST:: SOT 418958 SOS 195633 HAS SOPS 195109 HAS SOUS 32638 HAS SOUPS 32249 WITH SCORE 32444.633
AT ITER 1637 NEW BEST:: SOT 418975 SOS 195617 HAS SOPS 195093 HAS SOUS 32545 HAS SOUPS 32156 WITH SCORE 32351.617
AT ITER 1639 NEW BEST:: SOT 418987 SOS 195616 HAS SOPS 195092 HAS SOUS 32531 HAS SOUPS 32142 WITH SCORE 32337.616
AT ITER 1659 NEW BEST:: SOT 411405 SOS 189980 HAS SOPS 189456 HAS SOUS 32508 HAS SOUPS 32119 WITH SCORE 32308.98
AT ITER 1663 NEW BEST:: SOT 411315 SOS 189648 HAS SOPS 189124 HAS SOUS 32496 HAS SOUPS 32107 WITH SCORE 32296.648
AT ITER 1669 NEW BEST:: SOT 411305 SOS 189604 HAS SOPS 189080 HAS SOUS 32459 HAS SOUPS 32070 WITH SCORE 32259.604
AT ITER 1674 NEW BEST:: SOT 411305 SOS 189113 HAS SOPS 188589 HAS SOUS 32449 HAS SOUPS 32060 WITH SCORE 32249.113
AT ITER 1677 NEW BEST:: SOT 421440 SOS 192383 HAS SOPS 191727 HAS SOUS 32462 HAS SOUPS 31967 WITH SCORE 32159.383
AT ITER 1680 NEW BEST:: SOT 421432 SOS 192410 HAS SOPS 191754 HAS SOUS 32461 HAS SOUPS 31966 WITH SCORE 32158.41
AT ITER 1691 NEW BEST:: SOT 421386 SOS 192364 HAS SOPS 191708 HAS SOUS 32439 HAS SOUPS 31944 WITH SCORE 32136.364
AT ITER 1693 NEW BEST:: SOT 421439 SOS 192342 HAS SOPS 191761 HAS SOUS 32342 HAS SOUPS 31922 WITH SCORE 32114.342
AT ITER 1694 NEW BEST:: SOT 421439 SOS 192312 HAS SOPS 191721 HAS SOUS 32332 HAS SOUPS 31912 WITH SCORE 32104.312
AT ITER 1709 NEW BEST:: SOT 420992 SOS 191817 HAS SOPS 191226 HAS SOUS 32323 HAS SOUPS 31903 WITH SCORE 32094.817
AT ITER 1713 NEW BEST:: SOT 420991 SOS 191810 HAS SOPS 191219 HAS SOUS 32321 HAS SOUPS 31901 WITH SCORE 32092.81
AT ITER 1722 NEW BEST:: SOT 420974 SOS 191787 HAS SOPS 191206 HAS SOUS 32308 HAS SOUPS 31888 WITH SCORE 32079.787
AT ITER 1735 NEW BEST:: SOT 420974 SOS 191795 HAS SOPS 191214 HAS SOUS 32304 HAS SOUPS 31884 WITH SCORE 32075.795
AT ITER 1752 NEW BEST:: SOT 420229 SOS 195971 HAS SOPS 195390 HAS SOUS 32299 HAS SOUPS 31879 WITH SCORE 32074.971
AT ITER 1756 NEW BEST:: SOT 420147 SOS 195309 HAS SOPS 194728 HAS SOUS 32284 HAS SOUPS 31864 WITH SCORE 32059.309
AT ITER 1760 NEW BEST:: SOT 420099 SOS 195226 HAS SOPS 194654 HAS SOUS 32220 HAS SOUPS 31809 WITH SCORE 32004.226
AT ITER 1761 NEW BEST:: SOT 419775 SOS 194877 HAS SOPS 194305 HAS SOUS 31772 HAS SOUPS 31361 WITH SCORE 31555.877
AT ITER 1771 NEW BEST:: SOT 419720 SOS 194657 HAS SOPS 194085 HAS SOUS 31726 HAS SOUPS 31315 WITH SCORE 31509.657
AT ITER 1775 NEW BEST:: SOT 419125 SOS 194571 HAS SOPS 193999 HAS SOUS 31687 HAS SOUPS 31276 WITH SCORE 31470.571
AT ITER 1813 NEW BEST:: SOT 423147 SOS 183538 HAS SOPS 182966 HAS SOUS 31519 HAS SOUPS 31108 WITH SCORE 31291.538
AT ITER 1814 NEW BEST:: SOT 423143 SOS 183534 HAS SOPS 182962 HAS SOUS 31511 HAS SOUPS 31100 WITH SCORE 31283.534
AT ITER 1816 NEW BEST:: SOT 423171 SOS 183504 HAS SOPS 182932 HAS SOUS 31492 HAS SOUPS 31081 WITH SCORE 31264.504
AT ITER 1828 NEW BEST:: SOT 423171 SOS 183186 HAS SOPS 182614 HAS SOUS 31386 HAS SOUPS 30975 WITH SCORE 31158.186
AT ITER 1829 NEW BEST:: SOT 423139 SOS 183170 HAS SOPS 182598 HAS SOUS 31362 HAS SOUPS 30951 WITH SCORE 31134.17
AT ITER 1833 NEW BEST:: SOT 423139 SOS 183167 HAS SOPS 182595 HAS SOUS 31362 HAS SOUPS 30951 WITH SCORE 31134.167
AT ITER 1839 NEW BEST:: SOT 423117 SOS 183125 HAS SOPS 182553 HAS SOUS 31358 HAS SOUPS 30947 WITH SCORE 31130.125
AT ITER 1844 NEW BEST:: SOT 423016 SOS 183158 HAS SOPS 182642 HAS SOUS 31279 HAS SOUPS 30902 WITH SCORE 31085.158
AT ITER 1857 NEW BEST:: SOT 423014 SOS 183156 HAS SOPS 182640 HAS SOUS 31269 HAS SOUPS 30892 WITH SCORE 31075.156
AT ITER 1865 NEW BEST:: SOT 422550 SOS 182692 HAS SOPS 182176 HAS SOUS 30886 HAS SOUPS 30509 WITH SCORE 30691.692
AT ITER 1873 NEW BEST:: SOT 422550 SOS 182746 HAS SOPS 182230 HAS SOUS 30832 HAS SOUPS 30455 WITH SCORE 30637.746
AT ITER 1875 NEW BEST:: SOT 422546 SOS 182744 HAS SOPS 182228 HAS SOUS 30827 HAS SOUPS 30450 WITH SCORE 30632.744
AT ITER 1907 NEW BEST:: SOT 421083 SOS 181257 HAS SOPS 180741 HAS SOUS 30824 HAS SOUPS 30447 WITH SCORE 30628.257
AT ITER 1911 NEW BEST:: SOT 421067 SOS 181241 HAS SOPS 180725 HAS SOUS 30792 HAS SOUPS 30415 WITH SCORE 30596.241
AT ITER 1913 NEW BEST:: SOT 421077 SOS 181227 HAS SOPS 180711 HAS SOUS 30786 HAS SOUPS 30409 WITH SCORE 30590.227
AT ITER 1922 NEW BEST:: SOT 416157 SOS 176806 HAS SOPS 176290 HAS SOUS 30666 HAS SOUPS 30289 WITH SCORE 30465.806
AT ITER 1931 NEW BEST:: SOT 416145 SOS 176794 HAS SOPS 176278 HAS SOUS 30642 HAS SOUPS 30265 WITH SCORE 30441.794
AT ITER 1942 NEW BEST:: SOT 416012 SOS 176556 HAS SOPS 176040 HAS SOUS 30479 HAS SOUPS 30102 WITH SCORE 30278.556
AT ITER 1965 NEW BEST:: SOT 415995 SOS 176539 HAS SOPS 176023 HAS SOUS 30394 HAS SOUPS 30017 WITH SCORE 30193.539
AT ITER 1969 NEW BEST:: SOT 415857 SOS 176403 HAS SOPS 175887 HAS SOUS 30187 HAS SOUPS 29810 WITH SCORE 29986.403
AT ITER 1997 NEW BEST:: SOT 415895 SOS 176269 HAS SOPS 175753 HAS SOUS 30187 HAS SOUPS 29810 WITH SCORE 29986.269
AT ITER 2003 NEW BEST:: SOT 415865 SOS 176239 HAS SOPS 175723 HAS SOUS 30160 HAS SOUPS 29783 WITH SCORE 29959.239
AT ITER 2009 NEW BEST:: SOT 415811 SOS 175887 HAS SOPS 175371 HAS SOUS 30089 HAS SOUPS 29712 WITH SCORE 29887.887
AT ITER 2049 NEW BEST:: SOT 415836 SOS 175849 HAS SOPS 175333 HAS SOUS 30054 HAS SOUPS 29677 WITH SCORE 29852.849
AT ITER 2050 NEW BEST:: SOT 415822 SOS 175789 HAS SOPS 175273 HAS SOUS 29969 HAS SOUPS 29592 WITH SCORE 29767.789
AT ITER 2078 NEW BEST:: SOT 415822 SOS 175789 HAS SOPS 175273 HAS SOUS 29939 HAS SOUPS 29562 WITH SCORE 29737.789
AT ITER 2083 NEW BEST:: SOT 415854 SOS 175821 HAS SOPS 175305 HAS SOUS 29897 HAS SOUPS 29520 WITH SCORE 29695.821
AT ITER 2091 NEW BEST:: SOT 415836 SOS 175659 HAS SOPS 175143 HAS SOUS 29879 HAS SOUPS 29502 WITH SCORE 29677.659
AT ITER 2093 NEW BEST:: SOT 415813 SOS 175453 HAS SOPS 174937 HAS SOUS 29638 HAS SOUPS 29261 WITH SCORE 29436.453
AT ITER 2105 NEW BEST:: SOT 415839 SOS 175479 HAS SOPS 174963 HAS SOUS 29559 HAS SOUPS 29182 WITH SCORE 29357.479
AT ITER 2107 NEW BEST:: SOT 415809 SOS 172803 HAS SOPS 172287 HAS SOUS 29561 HAS SOUPS 29184 WITH SCORE 29356.803
AT ITER 2114 NEW BEST:: SOT 415788 SOS 172782 HAS SOPS 172266 HAS SOUS 29547 HAS SOUPS 29170 WITH SCORE 29342.782
AT ITER 2126 NEW BEST:: SOT 415724 SOS 172718 HAS SOPS 172202 HAS SOUS 29515 HAS SOUPS 29138 WITH SCORE 29310.718
AT ITER 2148 NEW BEST:: SOT 415636 SOS 172398 HAS SOPS 171882 HAS SOUS 29455 HAS SOUPS 29078 WITH SCORE 29250.398
AT ITER 2150 NEW BEST:: SOT 415624 SOS 172386 HAS SOPS 171870 HAS SOUS 29440 HAS SOUPS 29063 WITH SCORE 29235.386
AT ITER 2160 NEW BEST:: SOT 415562 SOS 171292 HAS SOPS 170776 HAS SOUS 29378 HAS SOUPS 29001 WITH SCORE 29172.292
AT ITER 2168 NEW BEST:: SOT 415295 SOS 170972 HAS SOPS 170333 HAS SOUS 29435 HAS SOUPS 28951 WITH SCORE 29121.972
AT ITER 2182 NEW BEST:: SOT 415145 SOS 170722 HAS SOPS 170083 HAS SOUS 29388 HAS SOUPS 28904 WITH SCORE 29074.722
AT ITER 2185 NEW BEST:: SOT 415145 SOS 170694 HAS SOPS 170055 HAS SOUS 29388 HAS SOUPS 28904 WITH SCORE 29074.694
AT ITER 2197 NEW BEST:: SOT 415145 SOS 164789 HAS SOPS 164150 HAS SOUS 29393 HAS SOUPS 28909 WITH SCORE 29073.789
AT ITER 2198 NEW BEST:: SOT 414973 SOS 164774 HAS SOPS 164135 HAS SOUS 29236 HAS SOUPS 28752 WITH SCORE 28916.774
AT ITER 2212 NEW BEST:: SOT 414955 SOS 164756 HAS SOPS 164117 HAS SOUS 29176 HAS SOUPS 28692 WITH SCORE 28856.756
AT ITER 2224 NEW BEST:: SOT 414955 SOS 164802 HAS SOPS 164165 HAS SOUS 29174 HAS SOUPS 28690 WITH SCORE 28854.802
AT ITER 2243 NEW BEST:: SOT 414945 SOS 164792 HAS SOPS 164155 HAS SOUS 29162 HAS SOUPS 28678 WITH SCORE 28842.792
AT ITER 2272 NEW BEST:: SOT 414945 SOS 164867 HAS SOPS 164230 HAS SOUS 29161 HAS SOUPS 28677 WITH SCORE 28841.867
AT ITER 2308 NEW BEST:: SOT 414903 SOS 164741 HAS SOPS 164104 HAS SOUS 29024 HAS SOUPS 28540 WITH SCORE 28704.741
AT ITER 2309 NEW BEST:: SOT 414873 SOS 164711 HAS SOPS 164074 HAS SOUS 28982 HAS SOUPS 28498 WITH SCORE 28662.711
AT ITER 2342 NEW BEST:: SOT 414673 SOS 164846 HAS SOPS 164209 HAS SOUS 28954 HAS SOUPS 28470 WITH SCORE 28634.846
AT ITER 2345 NEW BEST:: SOT 414621 SOS 164794 HAS SOPS 164157 HAS SOUS 28954 HAS SOUPS 28470 WITH SCORE 28634.794
AT ITER 2356 NEW BEST:: SOT 414621 SOS 164776 HAS SOPS 164136 HAS SOUS 28920 HAS SOUPS 28433 WITH SCORE 28597.776
AT ITER 2363 NEW BEST:: SOT 414627 SOS 164343 HAS SOPS 163703 HAS SOUS 28811 HAS SOUPS 28324 WITH SCORE 28488.343
AT ITER 2366 NEW BEST:: SOT 414642 SOS 164245 HAS SOPS 163568 HAS SOUS 28702 HAS SOUPS 28178 WITH SCORE 28342.245
AT ITER 2374 NEW BEST:: SOT 414560 SOS 164101 HAS SOPS 163424 HAS SOUS 28644 HAS SOUPS 28120 WITH SCORE 28284.101
AT ITER 2375 NEW BEST:: SOT 414550 SOS 164111 HAS SOPS 163434 HAS SOUS 28639 HAS SOUPS 28115 WITH SCORE 28279.111
AT ITER 2379 NEW BEST:: SOT 414518 SOS 164079 HAS SOPS 163402 HAS SOUS 28593 HAS SOUPS 28069 WITH SCORE 28233.079
AT ITER 2401 NEW BEST:: SOT 414527 SOS 164091 HAS SOPS 163414 HAS SOUS 28590 HAS SOUPS 28066 WITH SCORE 28230.091
AT ITER 2413 NEW BEST:: SOT 414442 SOS 163936 HAS SOPS 163259 HAS SOUS 28519 HAS SOUPS 27995 WITH SCORE 28158.936
AT ITER 2437 NEW BEST:: SOT 415449 SOS 163918 HAS SOPS 163241 HAS SOUS 28513 HAS SOUPS 27989 WITH SCORE 28152.918
AT ITER 2444 NEW BEST:: SOT 415437 SOS 163423 HAS SOPS 162725 HAS SOUS 28510 HAS SOUPS 27986 WITH SCORE 28149.423
AT ITER 2463 NEW BEST:: SOT 415437 SOS 163423 HAS SOPS 162725 HAS SOUS 28506 HAS SOUPS 27982 WITH SCORE 28145.423
AT ITER 2465 NEW BEST:: SOT 415383 SOS 163369 HAS SOPS 162671 HAS SOUS 28362 HAS SOUPS 27838 WITH SCORE 28001.369
AT ITER 2479 NEW BEST:: SOT 415361 SOS 163303 HAS SOPS 162605 HAS SOUS 28336 HAS SOUPS 27812 WITH SCORE 27975.303
AT ITER 2503 NEW BEST:: SOT 415357 SOS 163295 HAS SOPS 162597 HAS SOUS 28328 HAS SOUPS 27804 WITH SCORE 27967.295
AT ITER 2511 NEW BEST:: SOT 415223 SOS 163020 HAS SOPS 162322 HAS SOUS 28298 HAS SOUPS 27774 WITH SCORE 27937.02
AT ITER 2516 NEW BEST:: SOT 415228 SOS 162915 HAS SOPS 162217 HAS SOUS 28281 HAS SOUPS 27757 WITH SCORE 27919.915
AT ITER 2560 NEW BEST:: SOT 415114 SOS 157139 HAS SOPS 156441 HAS SOUS 28129 HAS SOUPS 27605 WITH SCORE 27762.139
AT ITER 2599 NEW BEST:: SOT 415114 SOS 157104 HAS SOPS 156406 HAS SOUS 28129 HAS SOUPS 27605 WITH SCORE 27762.104
AT ITER 2603 NEW BEST:: SOT 415104 SOS 156987 HAS SOPS 156328 HAS SOUS 28045 HAS SOUPS 27560 WITH SCORE 27716.987
AT ITER 2612 NEW BEST:: SOT 415113 SOS 156986 HAS SOPS 156323 HAS SOUS 28029 HAS SOUPS 27540 WITH SCORE 27696.986
AT ITER 2613 NEW BEST:: SOT 415105 SOS 156950 HAS SOPS 156287 HAS SOUS 28021 HAS SOUPS 27532 WITH SCORE 27688.95
AT ITER 2616 NEW BEST:: SOT 415105 SOS 156680 HAS SOPS 156017 HAS SOUS 28021 HAS SOUPS 27532 WITH SCORE 27688.68
AT ITER 2620 NEW BEST:: SOT 415139 SOS 156714 HAS SOPS 156034 HAS SOUS 28006 HAS SOUPS 27517 WITH SCORE 27673.714
AT ITER 2640 NEW BEST:: SOT 415203 SOS 156784 HAS SOPS 156104 HAS SOUS 27952 HAS SOUPS 27463 WITH SCORE 27619.784
AT ITER 2653 NEW BEST:: SOT 414458 SOS 155294 HAS SOPS 154614 HAS SOUS 27947 HAS SOUPS 27458 WITH SCORE 27613.294
AT ITER 2654 NEW BEST:: SOT 414860 SOS 155586 HAS SOPS 154906 HAS SOUS 27909 HAS SOUPS 27420 WITH SCORE 27575.586
AT ITER 2672 NEW BEST:: SOT 414852 SOS 155557 HAS SOPS 154877 HAS SOUS 27900 HAS SOUPS 27411 WITH SCORE 27566.557
AT ITER 2700 NEW BEST:: SOT 414852 SOS 155557 HAS SOPS 154877 HAS SOUS 27895 HAS SOUPS 27406 WITH SCORE 27561.557
AT ITER 2712 NEW BEST:: SOT 412478 SOS 153407 HAS SOPS 152727 HAS SOUS 27867 HAS SOUPS 27378 WITH SCORE 27531.407
AT ITER 2723 NEW BEST:: SOT 412464 SOS 153388 HAS SOPS 152708 HAS SOUS 27839 HAS SOUPS 27350 WITH SCORE 27503.388
AT ITER 2732 NEW BEST:: SOT 412464 SOS 153280 HAS SOPS 152600 HAS SOUS 27839 HAS SOUPS 27350 WITH SCORE 27503.28
AT ITER 2776 NEW BEST:: SOT 412438 SOS 153210 HAS SOPS 152530 HAS SOUS 27689 HAS SOUPS 27200 WITH SCORE 27353.21
AT ITER 2786 NEW BEST:: SOT 411412 SOS 153820 HAS SOPS 153140 HAS SOUS 27685 HAS SOUPS 27196 WITH SCORE 27349.82
AT ITER 2793 NEW BEST:: SOT 411317 SOS 153981 HAS SOPS 153301 HAS SOUS 27596 HAS SOUPS 27107 WITH SCORE 27260.981
AT ITER 2807 NEW BEST:: SOT 411317 SOS 152966 HAS SOPS 152286 HAS SOUS 27596 HAS SOUPS 27107 WITH SCORE 27259.966
AT ITER 2819 NEW BEST:: SOT 411269 SOS 145205 HAS SOPS 144525 HAS SOUS 27554 HAS SOUPS 27065 WITH SCORE 27210.205
AT ITER 2828 NEW BEST:: SOT 411253 SOS 145185 HAS SOPS 144505 HAS SOUS 27518 HAS SOUPS 27029 WITH SCORE 27174.185
AT ITER 2836 NEW BEST:: SOT 411255 SOS 145183 HAS SOPS 144503 HAS SOUS 27512 HAS SOUPS 27023 WITH SCORE 27168.183
AT ITER 2841 NEW BEST:: SOT 411195 SOS 145167 HAS SOPS 144487 HAS SOUS 27512 HAS SOUPS 27023 WITH SCORE 27168.167
AT ITER 2863 NEW BEST:: SOT 411174 SOS 145206 HAS SOPS 144526 HAS SOUS 27475 HAS SOUPS 26986 WITH SCORE 27131.206
AT ITER 2870 NEW BEST:: SOT 411126 SOS 145112 HAS SOPS 144432 HAS SOUS 27436 HAS SOUPS 26947 WITH SCORE 27092.112
AT ITER 2880 NEW BEST:: SOT 409897 SOS 143747 HAS SOPS 143067 HAS SOUS 27383 HAS SOUPS 26894 WITH SCORE 27037.747
AT ITER 2889 NEW BEST:: SOT 409880 SOS 143730 HAS SOPS 143050 HAS SOUS 27298 HAS SOUPS 26809 WITH SCORE 26952.73
AT ITER 2891 NEW BEST:: SOT 409687 SOS 143498 HAS SOPS 142818 HAS SOUS 27297 HAS SOUPS 26808 WITH SCORE 26951.498
AT ITER 2908 NEW BEST:: SOT 409665 SOS 143602 HAS SOPS 142922 HAS SOUS 27283 HAS SOUPS 26794 WITH SCORE 26937.602
AT ITER 2927 NEW BEST:: SOT 409641 SOS 141708 HAS SOPS 141028 HAS SOUS 27278 HAS SOUPS 26789 WITH SCORE 26930.708
AT ITER 2933 NEW BEST:: SOT 409529 SOS 141634 HAS SOPS 140954 HAS SOUS 27229 HAS SOUPS 26740 WITH SCORE 26881.634
AT ITER 2943 NEW BEST:: SOT 409473 SOS 141578 HAS SOPS 140898 HAS SOUS 27163 HAS SOUPS 26674 WITH SCORE 26815.578
AT ITER 3007 NEW BEST:: SOT 409549 SOS 141711 HAS SOPS 141031 HAS SOUS 27144 HAS SOUPS 26655 WITH SCORE 26796.711
AT ITER 3013 NEW BEST:: SOT 409568 SOS 141730 HAS SOPS 141050 HAS SOUS 27116 HAS SOUPS 26627 WITH SCORE 26768.73
AT ITER 3018 NEW BEST:: SOT 409536 SOS 141674 HAS SOPS 140994 HAS SOUS 27092 HAS SOUPS 26603 WITH SCORE 26744.674
AT ITER 3023 NEW BEST:: SOT 404913 SOS 141431 HAS SOPS 140751 HAS SOUS 27084 HAS SOUPS 26595 WITH SCORE 26736.431
AT ITER 3064 NEW BEST:: SOT 404325 SOS 140819 HAS SOPS 140139 HAS SOUS 27080 HAS SOUPS 26591 WITH SCORE 26731.819
AT ITER 3065 NEW BEST:: SOT 404301 SOS 140786 HAS SOPS 140106 HAS SOUS 27002 HAS SOUPS 26513 WITH SCORE 26653.786
AT ITER 3085 NEW BEST:: SOT 404301 SOS 140786 HAS SOPS 140106 HAS SOUS 26998 HAS SOUPS 26509 WITH SCORE 26649.786
AT ITER 3096 NEW BEST:: SOT 404284 SOS 137458 HAS SOPS 136778 HAS SOUS 26973 HAS SOUPS 26484 WITH SCORE 26621.458
AT ITER 3108 NEW BEST:: SOT 404232 SOS 137406 HAS SOPS 136726 HAS SOUS 26929 HAS SOUPS 26440 WITH SCORE 26577.406
AT ITER 3110 NEW BEST:: SOT 404237 SOS 137411 HAS SOPS 136731 HAS SOUS 26912 HAS SOUPS 26423 WITH SCORE 26560.411
AT ITER 3125 NEW BEST:: SOT 404234 SOS 137401 HAS SOPS 136721 HAS SOUS 26907 HAS SOUPS 26418 WITH SCORE 26555.401
AT ITER 3131 NEW BEST:: SOT 404074 SOS 137251 HAS SOPS 136571 HAS SOUS 26752 HAS SOUPS 26263 WITH SCORE 26400.251
AT ITER 3146 NEW BEST:: SOT 410316 SOS 142230 HAS SOPS 141550 HAS SOUS 26740 HAS SOUPS 26251 WITH SCORE 26393.23
AT ITER 3164 NEW BEST:: SOT 410296 SOS 142196 HAS SOPS 141516 HAS SOUS 26713 HAS SOUPS 26224 WITH SCORE 26366.196
AT ITER 3174 NEW BEST:: SOT 410283 SOS 141990 HAS SOPS 141310 HAS SOUS 26660 HAS SOUPS 26171 WITH SCORE 26312.99
AT ITER 3182 NEW BEST:: SOT 407321 SOS 139787 HAS SOPS 139107 HAS SOUS 26658 HAS SOUPS 26169 WITH SCORE 26308.787
AT ITER 3183 NEW BEST:: SOT 407315 SOS 139735 HAS SOPS 139055 HAS SOUS 26637 HAS SOUPS 26148 WITH SCORE 26287.735
AT ITER 3190 NEW BEST:: SOT 407315 SOS 139582 HAS SOPS 138902 HAS SOUS 26637 HAS SOUPS 26148 WITH SCORE 26287.582
AT ITER 3196 NEW BEST:: SOT 407293 SOS 139582 HAS SOPS 138902 HAS SOUS 26626 HAS SOUPS 26137 WITH SCORE 26276.582
AT ITER 3212 NEW BEST:: SOT 407267 SOS 139548 HAS SOPS 138868 HAS SOUS 26625 HAS SOUPS 26136 WITH SCORE 26275.548
AT ITER 3224 NEW BEST:: SOT 407265 SOS 139530 HAS SOPS 138850 HAS SOUS 26619 HAS SOUPS 26130 WITH SCORE 26269.53
AT ITER 3227 NEW BEST:: SOT 421270 SOS 153155 HAS SOPS 152475 HAS SOUS 26604 HAS SOUPS 26115 WITH SCORE 26268.155
AT ITER 3234 NEW BEST:: SOT 421259 SOS 153118 HAS SOPS 152438 HAS SOUS 26580 HAS SOUPS 26091 WITH SCORE 26244.118
AT ITER 3235 NEW BEST:: SOT 420673 SOS 152520 HAS SOPS 151840 HAS SOUS 26576 HAS SOUPS 26087 WITH SCORE 26239.52
AT ITER 3244 NEW BEST:: SOT 420651 SOS 152498 HAS SOPS 151818 HAS SOUS 26555 HAS SOUPS 26066 WITH SCORE 26218.498
AT ITER 3257 NEW BEST:: SOT 421235 SOS 153070 HAS SOPS 152390 HAS SOUS 26547 HAS SOUPS 26058 WITH SCORE 26211.07
AT ITER 3269 NEW BEST:: SOT 421185 SOS 152820 HAS SOPS 152140 HAS SOUS 26508 HAS SOUPS 26019 WITH SCORE 26171.82
AT ITER 3274 NEW BEST:: SOT 421168 SOS 152667 HAS SOPS 151987 HAS SOUS 26454 HAS SOUPS 25965 WITH SCORE 26117.667
AT ITER 3292 NEW BEST:: SOT 421163 SOS 152662 HAS SOPS 151982 HAS SOUS 26450 HAS SOUPS 25961 WITH SCORE 26113.662
AT ITER 3303 NEW BEST:: SOT 427167 SOS 153561 HAS SOPS 152881 HAS SOUS 26390 HAS SOUPS 25901 WITH SCORE 26054.561
AT ITER 3328 NEW BEST:: SOT 427145 SOS 153539 HAS SOPS 152859 HAS SOUS 26346 HAS SOUPS 25857 WITH SCORE 26010.539
AT ITER 3333 NEW BEST:: SOT 431941 SOS 157761 HAS SOPS 156994 HAS SOUS 26358 HAS SOUPS 25834 WITH SCORE 25991.761
AT ITER 3346 NEW BEST:: SOT 431903 SOS 157723 HAS SOPS 156956 HAS SOUS 26353 HAS SOUPS 25829 WITH SCORE 25986.723
AT ITER 3358 NEW BEST:: SOT 431903 SOS 157687 HAS SOPS 156920 HAS SOUS 26353 HAS SOUPS 25829 WITH SCORE 25986.687
AT ITER 3363 NEW BEST:: SOT 431903 SOS 157677 HAS SOPS 156910 HAS SOUS 26351 HAS SOUPS 25827 WITH SCORE 25984.677
AT ITER 3386 NEW BEST:: SOT 436213 SOS 157666 HAS SOPS 156899 HAS SOUS 26334 HAS SOUPS 25810 WITH SCORE 25967.666
AT ITER 3392 NEW BEST:: SOT 436233 SOS 157707 HAS SOPS 156940 HAS SOUS 26314 HAS SOUPS 25790 WITH SCORE 25947.707
AT ITER 3413 NEW BEST:: SOT 436227 SOS 157709 HAS SOPS 156942 HAS SOUS 26310 HAS SOUPS 25786 WITH SCORE 25943.709
AT ITER 3421 NEW BEST:: SOT 436227 SOS 152418 HAS SOPS 151651 HAS SOUS 26310 HAS SOUPS 25786 WITH SCORE 25938.418
AT ITER 3444 NEW BEST:: SOT 436182 SOS 152373 HAS SOPS 151606 HAS SOUS 26250 HAS SOUPS 25726 WITH SCORE 25878.373
AT ITER 3453 NEW BEST:: SOT 436170 SOS 152361 HAS SOPS 151594 HAS SOUS 26220 HAS SOUPS 25696 WITH SCORE 25848.361
AT ITER 3467 NEW BEST:: SOT 434847 SOS 151020 HAS SOPS 150253 HAS SOUS 26217 HAS SOUPS 25693 WITH SCORE 25844.02
AT ITER 3468 NEW BEST:: SOT 434840 SOS 151015 HAS SOPS 150248 HAS SOUS 26209 HAS SOUPS 25685 WITH SCORE 25836.015
AT ITER 3490 NEW BEST:: SOT 439528 SOS 155718 HAS SOPS 154951 HAS SOUS 26180 HAS SOUPS 25656 WITH SCORE 25811.718
AT ITER 3491 NEW BEST:: SOT 439454 SOS 155722 HAS SOPS 154955 HAS SOUS 26084 HAS SOUPS 25560 WITH SCORE 25715.722
AT ITER 3520 NEW BEST:: SOT 439458 SOS 156082 HAS SOPS 155315 HAS SOUS 26052 HAS SOUPS 25528 WITH SCORE 25684.082
AT ITER 3528 NEW BEST:: SOT 439394 SOS 156018 HAS SOPS 155251 HAS SOUS 26028 HAS SOUPS 25504 WITH SCORE 25660.018
AT ITER 3547 NEW BEST:: SOT 439383 SOS 156007 HAS SOPS 155240 HAS SOUS 25991 HAS SOUPS 25467 WITH SCORE 25623.007
AT ITER 3557 NEW BEST:: SOT 439383 SOS 156007 HAS SOPS 155240 HAS SOUS 25962 HAS SOUPS 25438 WITH SCORE 25594.007
AT ITER 3561 NEW BEST:: SOT 439377 SOS 156001 HAS SOPS 155234 HAS SOUS 25956 HAS SOUPS 25432 WITH SCORE 25588.001
AT ITER 3564 NEW BEST:: SOT 439375 SOS 155997 HAS SOPS 155230 HAS SOUS 25954 HAS SOUPS 25430 WITH SCORE 25585.997
AT ITER 3574 NEW BEST:: SOT 439491 SOS 155820 HAS SOPS 155346 HAS SOUS 25654 HAS SOUPS 25336 WITH SCORE 25491.82
AT ITER 3577 NEW BEST:: SOT 439491 SOS 155814 HAS SOPS 155340 HAS SOUS 25654 HAS SOUPS 25336 WITH SCORE 25491.814
AT ITER 3578 NEW BEST:: SOT 439475 SOS 154550 HAS SOPS 154076 HAS SOUS 25646 HAS SOUPS 25328 WITH SCORE 25482.55
AT ITER 3587 NEW BEST:: SOT 439475 SOS 154470 HAS SOPS 153996 HAS SOUS 25646 HAS SOUPS 25328 WITH SCORE 25482.47
AT ITER 3588 NEW BEST:: SOT 439443 SOS 154438 HAS SOPS 153964 HAS SOUS 25614 HAS SOUPS 25296 WITH SCORE 25450.438
AT ITER 3630 NEW BEST:: SOT 439443 SOS 154430 HAS SOPS 153956 HAS SOUS 25614 HAS SOUPS 25296 WITH SCORE 25450.43
AT ITER 3633 NEW BEST:: SOT 439459 SOS 154446 HAS SOPS 153972 HAS SOUS 25598 HAS SOUPS 25280 WITH SCORE 25434.446
AT ITER 3675 NEW BEST:: SOT 439423 SOS 154122 HAS SOPS 153648 HAS SOUS 25562 HAS SOUPS 25244 WITH SCORE 25398.122
AT ITER 3684 NEW BEST:: SOT 439425 SOS 154100 HAS SOPS 153626 HAS SOUS 25562 HAS SOUPS 25244 WITH SCORE 25398.1
AT ITER 3690 NEW BEST:: SOT 436582 SOS 154178 HAS SOPS 153704 HAS SOUS 25537 HAS SOUPS 25219 WITH SCORE 25373.178
AT ITER 3698 NEW BEST:: SOT 438304 SOS 154144 HAS SOPS 153684 HAS SOUS 25517 HAS SOUPS 25199 WITH SCORE 25353.144
AT ITER 3701 NEW BEST:: SOT 438302 SOS 154142 HAS SOPS 153682 HAS SOUS 25501 HAS SOUPS 25183 WITH SCORE 25337.142
AT ITER 3733 NEW BEST:: SOT 438300 SOS 154140 HAS SOPS 153680 HAS SOUS 25497 HAS SOUPS 25179 WITH SCORE 25333.14
AT ITER 3738 NEW BEST:: SOT 438311 SOS 154151 HAS SOPS 153691 HAS SOUS 25496 HAS SOUPS 25178 WITH SCORE 25332.151
AT ITER 3755 NEW BEST:: SOT 438305 SOS 154145 HAS SOPS 153685 HAS SOUS 25494 HAS SOUPS 25176 WITH SCORE 25330.145
AT ITER 3774 NEW BEST:: SOT 438297 SOS 154137 HAS SOPS 153677 HAS SOUS 25486 HAS SOUPS 25168 WITH SCORE 25322.137
AT ITER 3802 NEW BEST:: SOT 438267 SOS 154107 HAS SOPS 153647 HAS SOUS 25476 HAS SOUPS 25158 WITH SCORE 25312.107
AT ITER 3804 NEW BEST:: SOT 438243 SOS 154057 HAS SOPS 153597 HAS SOUS 25459 HAS SOUPS 25141 WITH SCORE 25295.057
AT ITER 3889 NEW BEST:: SOT 438204 SOS 154018 HAS SOPS 153558 HAS SOUS 25407 HAS SOUPS 25089 WITH SCORE 25243.018
AT ITER 3904 NEW BEST:: SOT 438099 SOS 153923 HAS SOPS 153463 HAS SOUS 25353 HAS SOUPS 25035 WITH SCORE 25188.923
AT ITER 3933 NEW BEST:: SOT 438096 SOS 153918 HAS SOPS 153458 HAS SOUS 25351 HAS SOUPS 25033 WITH SCORE 25186.918
AT ITER 3998 NEW BEST:: SOT 437500 SOS 152698 HAS SOPS 152238 HAS SOUS 25347 HAS SOUPS 25029 WITH SCORE 25181.698
AT ITER 4028 NEW BEST:: SOT 435416 SOS 150609 HAS SOPS 150149 HAS SOUS 25319 HAS SOUPS 25001 WITH SCORE 25151.609
AT ITER 4048 NEW BEST:: SOT 435548 SOS 150501 HAS SOPS 150041 HAS SOUS 25268 HAS SOUPS 24950 WITH SCORE 25100.501
AT ITER 4050 NEW BEST:: SOT 435550 SOS 150503 HAS SOPS 150043 HAS SOUS 25241 HAS SOUPS 24923 WITH SCORE 25073.503
AT ITER 4051 NEW BEST:: SOT 435403 SOS 150356 HAS SOPS 149896 HAS SOUS 25239 HAS SOUPS 24921 WITH SCORE 25071.356
AT ITER 4091 NEW BEST:: SOT 431318 SOS 146420 HAS SOPS 145960 HAS SOUS 25217 HAS SOUPS 24899 WITH SCORE 25045.42
AT ITER 4100 NEW BEST:: SOT 427239 SOS 138116 HAS SOPS 137656 HAS SOUS 25161 HAS SOUPS 24843 WITH SCORE 24981.116
AT ITER 4111 NEW BEST:: SOT 430113 SOS 138735 HAS SOPS 138275 HAS SOUS 25063 HAS SOUPS 24745 WITH SCORE 24883.735
AT ITER 4117 NEW BEST:: SOT 430123 SOS 138728 HAS SOPS 138268 HAS SOUS 24964 HAS SOUPS 24646 WITH SCORE 24784.728
AT ITER 4139 NEW BEST:: SOT 422077 SOS 122960 HAS SOPS 122500 HAS SOUS 24910 HAS SOUPS 24592 WITH SCORE 24714.96
AT ITER 4146 NEW BEST:: SOT 422041 SOS 122972 HAS SOPS 122512 HAS SOUS 24874 HAS SOUPS 24556 WITH SCORE 24678.972
AT ITER 4180 NEW BEST:: SOT 422031 SOS 122996 HAS SOPS 122536 HAS SOUS 24835 HAS SOUPS 24517 WITH SCORE 24639.996
AT ITER 4183 NEW BEST:: SOT 422024 SOS 122989 HAS SOPS 122529 HAS SOUS 24800 HAS SOUPS 24482 WITH SCORE 24604.989
AT ITER 4212 NEW BEST:: SOT 422006 SOS 122971 HAS SOPS 122511 HAS SOUS 24760 HAS SOUPS 24442 WITH SCORE 24564.971
AT ITER 4238 NEW BEST:: SOT 421994 SOS 122955 HAS SOPS 122491 HAS SOUS 24760 HAS SOUPS 24438 WITH SCORE 24560.955
AT ITER 4255 NEW BEST:: SOT 421980 SOS 122941 HAS SOPS 122477 HAS SOUS 24688 HAS SOUPS 24366 WITH SCORE 24488.941
AT ITER 4279 NEW BEST:: SOT 421980 SOS 122920 HAS SOPS 122447 HAS SOUS 24649 HAS SOUPS 24318 WITH SCORE 24440.92
AT ITER 4302 NEW BEST:: SOT 421976 SOS 122916 HAS SOPS 122443 HAS SOUS 24641 HAS SOUPS 24310 WITH SCORE 24432.916
AT ITER 4305 NEW BEST:: SOT 421853 SOS 122182 HAS SOPS 121709 HAS SOUS 24565 HAS SOUPS 24234 WITH SCORE 24356.182
AT ITER 4307 NEW BEST:: SOT 420494 SOS 120805 HAS SOPS 120332 HAS SOUS 24547 HAS SOUPS 24216 WITH SCORE 24336.805
AT ITER 4323 NEW BEST:: SOT 420479 SOS 120800 HAS SOPS 120327 HAS SOUS 24537 HAS SOUPS 24206 WITH SCORE 24326.8
AT ITER 4331 NEW BEST:: SOT 420771 SOS 121086 HAS SOPS 120613 HAS SOUS 24535 HAS SOUPS 24204 WITH SCORE 24325.086
AT ITER 4342 NEW BEST:: SOT 420754 SOS 120932 HAS SOPS 120459 HAS SOUS 24463 HAS SOUPS 24132 WITH SCORE 24252.932
AT ITER 4373 NEW BEST:: SOT 420776 SOS 120915 HAS SOPS 120425 HAS SOUS 24463 HAS SOUPS 24123 WITH SCORE 24243.915
AT ITER 4446 NEW BEST:: SOT 420764 SOS 120903 HAS SOPS 120413 HAS SOUS 24451 HAS SOUPS 24111 WITH SCORE 24231.903
AT ITER 4447 NEW BEST:: SOT 420900 SOS 121039 HAS SOPS 120549 HAS SOUS 24449 HAS SOUPS 24109 WITH SCORE 24230.039
AT ITER 4453 NEW BEST:: SOT 420884 SOS 121027 HAS SOPS 120537 HAS SOUS 24438 HAS SOUPS 24098 WITH SCORE 24219.027
AT ITER 4465 NEW BEST:: SOT 420830 SOS 120973 HAS SOPS 120483 HAS SOUS 24358 HAS SOUPS 24018 WITH SCORE 24138.973
AT ITER 4467 NEW BEST:: SOT 420794 SOS 120500 HAS SOPS 120010 HAS SOUS 24357 HAS SOUPS 24017 WITH SCORE 24137.5
AT ITER 4472 NEW BEST:: SOT 420756 SOS 120462 HAS SOPS 119972 HAS SOUS 24314 HAS SOUPS 23974 WITH SCORE 24094.462
AT ITER 4487 NEW BEST:: SOT 420560 SOS 120266 HAS SOPS 119776 HAS SOUS 24114 HAS SOUPS 23774 WITH SCORE 23894.266
AT ITER 4543 NEW BEST:: SOT 420533 SOS 120260 HAS SOPS 119770 HAS SOUS 24087 HAS SOUPS 23747 WITH SCORE 23867.26
AT ITER 4566 NEW BEST:: SOT 420488 SOS 120185 HAS SOPS 119725 HAS SOUS 24012 HAS SOUPS 23687 WITH SCORE 23807.185
AT ITER 4574 NEW BEST:: SOT 420488 SOS 120395 HAS SOPS 119935 HAS SOUS 23982 HAS SOUPS 23657 WITH SCORE 23777.395
AT ITER 4587 NEW BEST:: SOT 420451 SOS 120358 HAS SOPS 119898 HAS SOUS 23959 HAS SOUPS 23634 WITH SCORE 23754.358
AT ITER 4588 NEW BEST:: SOT 420310 SOS 120157 HAS SOPS 119697 HAS SOUS 23958 HAS SOUPS 23633 WITH SCORE 23753.157
AT ITER 4639 NEW BEST:: SOT 424244 SOS 123315 HAS SOPS 122795 HAS SOUS 23954 HAS SOUPS 23599 WITH SCORE 23722.315
AT ITER 4672 NEW BEST:: SOT 424240 SOS 123311 HAS SOPS 122791 HAS SOUS 23949 HAS SOUPS 23594 WITH SCORE 23717.311
AT ITER 4692 NEW BEST:: SOT 424236 SOS 123307 HAS SOPS 122787 HAS SOUS 23941 HAS SOUPS 23586 WITH SCORE 23709.307
AT ITER 4697 NEW BEST:: SOT 424206 SOS 123244 HAS SOPS 122724 HAS SOUS 23896 HAS SOUPS 23541 WITH SCORE 23664.244
AT ITER 4721 NEW BEST:: SOT 421059 SOS 120198 HAS SOPS 119678 HAS SOUS 23881 HAS SOUPS 23526 WITH SCORE 23646.198
AT ITER 4744 NEW BEST:: SOT 421005 SOS 120144 HAS SOPS 119624 HAS SOUS 23821 HAS SOUPS 23466 WITH SCORE 23586.144
AT ITER 4762 NEW BEST:: SOT 421005 SOS 120284 HAS SOPS 119764 HAS SOUS 23803 HAS SOUPS 23448 WITH SCORE 23568.284
AT ITER 4774 NEW BEST:: SOT 420987 SOS 120230 HAS SOPS 119710 HAS SOUS 23785 HAS SOUPS 23430 WITH SCORE 23550.23
AT ITER 4829 NEW BEST:: SOT 421048 SOS 120557 HAS SOPS 120065 HAS SOUS 23730 HAS SOUPS 23375 WITH SCORE 23495.557
AT ITER 4872 NEW BEST:: SOT 421052 SOS 120561 HAS SOPS 120069 HAS SOUS 23722 HAS SOUPS 23367 WITH SCORE 23487.561
AT ITER 4884 NEW BEST:: SOT 419711 SOS 117799 HAS SOPS 117307 HAS SOUS 23705 HAS SOUPS 23350 WITH SCORE 23467.799
AT ITER 4888 NEW BEST:: SOT 419809 SOS 117897 HAS SOPS 117405 HAS SOUS 23674 HAS SOUPS 23319 WITH SCORE 23436.897
AT ITER 4903 NEW BEST:: SOT 419754 SOS 117736 HAS SOPS 117244 HAS SOUS 23671 HAS SOUPS 23316 WITH SCORE 23433.736
AT ITER 4937 NEW BEST:: SOT 419754 SOS 117723 HAS SOPS 117231 HAS SOUS 23667 HAS SOUPS 23312 WITH SCORE 23429.723
AT ITER 4943 NEW BEST:: SOT 419758 SOS 117727 HAS SOPS 117235 HAS SOUS 23660 HAS SOUPS 23305 WITH SCORE 23422.727
AT ITER 4953 NEW BEST:: SOT 419698 SOS 117725 HAS SOPS 117233 HAS SOUS 23626 HAS SOUPS 23271 WITH SCORE 23388.725
AT ITER 4987 NEW BEST:: SOT 419697 SOS 117467 HAS SOPS 116947 HAS SOUS 23623 HAS SOUPS 23254 WITH SCORE 23371.467
AT ITER 5040 NEW BEST:: SOT 419554 SOS 117324 HAS SOPS 116804 HAS SOUS 23582 HAS SOUPS 23213 WITH SCORE 23330.324
AT ITER 5049 NEW BEST:: SOT 419539 SOS 117309 HAS SOPS 116789 HAS SOUS 23577 HAS SOUPS 23208 WITH SCORE 23325.309
AT ITER 5056 NEW BEST:: SOT 419233 SOS 117003 HAS SOPS 116483 HAS SOUS 23565 HAS SOUPS 23196 WITH SCORE 23313.003
AT ITER 5063 NEW BEST:: SOT 419216 SOS 117008 HAS SOPS 116488 HAS SOUS 23553 HAS SOUPS 23184 WITH SCORE 23301.008
AT ITER 5067 NEW BEST:: SOT 419324 SOS 117087 HAS SOPS 116567 HAS SOUS 23422 HAS SOUPS 23053 WITH SCORE 23170.087
AT ITER 5128 NEW BEST:: SOT 419208 SOS 116971 HAS SOPS 116451 HAS SOUS 23350 HAS SOUPS 22981 WITH SCORE 23097.971
AT ITER 5131 NEW BEST:: SOT 419152 SOS 116787 HAS SOPS 116267 HAS SOUS 23300 HAS SOUPS 22931 WITH SCORE 23047.787
AT ITER 5169 NEW BEST:: SOT 418971 SOS 116557 HAS SOPS 115946 HAS SOUS 23314 HAS SOUPS 22854 WITH SCORE 22970.557
AT ITER 5177 NEW BEST:: SOT 418972 SOS 116573 HAS SOPS 115962 HAS SOUS 23310 HAS SOUPS 22850 WITH SCORE 22966.573
AT ITER 5209 NEW BEST:: SOT 418962 SOS 116551 HAS SOPS 115940 HAS SOUS 23300 HAS SOUPS 22840 WITH SCORE 22956.551
AT ITER 5224 NEW BEST:: SOT 420845 SOS 117630 HAS SOPS 117024 HAS SOUS 23293 HAS SOUPS 22833 WITH SCORE 22950.63
AT ITER 5251 NEW BEST:: SOT 420848 SOS 117633 HAS SOPS 117027 HAS SOUS 23290 HAS SOUPS 22830 WITH SCORE 22947.633
AT ITER 5296 NEW BEST:: SOT 420833 SOS 117598 HAS SOPS 116992 HAS SOUS 23235 HAS SOUPS 22775 WITH SCORE 22892.598
AT ITER 5298 NEW BEST:: SOT 420832 SOS 117284 HAS SOPS 116572 HAS SOUS 23202 HAS SOUPS 22692 WITH SCORE 22809.284
AT ITER 5300 NEW BEST:: SOT 420862 SOS 117366 HAS SOPS 116654 HAS SOUS 23182 HAS SOUPS 22672 WITH SCORE 22789.366
AT ITER 5314 NEW BEST:: SOT 420846 SOS 117308 HAS SOPS 116596 HAS SOUS 23010 HAS SOUPS 22500 WITH SCORE 22617.308
AT ITER 5339 NEW BEST:: SOT 420585 SOS 117223 HAS SOPS 116335 HAS SOUS 23091 HAS SOUPS 22454 WITH SCORE 22571.223
AT ITER 5418 NEW BEST:: SOT 420510 SOS 117233 HAS SOPS 116345 HAS SOUS 23056 HAS SOUPS 22419 WITH SCORE 22536.233
AT ITER 5457 NEW BEST:: SOT 420445 SOS 117168 HAS SOPS 116280 HAS SOUS 23016 HAS SOUPS 22379 WITH SCORE 22496.168
AT ITER 5476 NEW BEST:: SOT 420449 SOS 117172 HAS SOPS 116284 HAS SOUS 23008 HAS SOUPS 22371 WITH SCORE 22488.172
AT ITER 5478 NEW BEST:: SOT 420537 SOS 117207 HAS SOPS 116372 HAS SOUS 22948 HAS SOUPS 22370 WITH SCORE 22487.207
AT ITER 5480 NEW BEST:: SOT 420512 SOS 116397 HAS SOPS 115562 HAS SOUS 22942 HAS SOUPS 22364 WITH SCORE 22480.397
AT ITER 5512 NEW BEST:: SOT 420658 SOS 116533 HAS SOPS 115698 HAS SOUS 22940 HAS SOUPS 22362 WITH SCORE 22478.533
AT ITER 5540 NEW BEST:: SOT 420658 SOS 116515 HAS SOPS 115680 HAS SOUS 22940 HAS SOUPS 22362 WITH SCORE 22478.515
AT ITER 5544 NEW BEST:: SOT 420715 SOS 116794 HAS SOPS 115959 HAS SOUS 22922 HAS SOUPS 22344 WITH SCORE 22460.794
AT ITER 5556 NEW BEST:: SOT 420715 SOS 116782 HAS SOPS 115943 HAS SOUS 22914 HAS SOUPS 22332 WITH SCORE 22448.782
AT ITER 5573 NEW BEST:: SOT 420807 SOS 116808 HAS SOPS 115969 HAS SOUS 22879 HAS SOUPS 22297 WITH SCORE 22413.808
AT ITER 5617 NEW BEST:: SOT 420788 SOS 116712 HAS SOPS 115873 HAS SOUS 22868 HAS SOUPS 22286 WITH SCORE 22402.712
AT ITER 5625 NEW BEST:: SOT 420752 SOS 116187 HAS SOPS 115348 HAS SOUS 22854 HAS SOUPS 22272 WITH SCORE 22388.187
AT ITER 5633 NEW BEST:: SOT 420751 SOS 117040 HAS SOPS 116201 HAS SOUS 22853 HAS SOUPS 22271 WITH SCORE 22388.04
AT ITER 5639 NEW BEST:: SOT 420726 SOS 116985 HAS SOPS 116146 HAS SOUS 22833 HAS SOUPS 22251 WITH SCORE 22367.985
AT ITER 5648 NEW BEST:: SOT 420606 SOS 116185 HAS SOPS 115322 HAS SOUS 22697 HAS SOUPS 22115 WITH SCORE 22231.185
AT ITER 5671 NEW BEST:: SOT 420504 SOS 116127 HAS SOPS 115264 HAS SOUS 22647 HAS SOUPS 22065 WITH SCORE 22181.127
AT ITER 5766 NEW BEST:: SOT 420506 SOS 116129 HAS SOPS 115266 HAS SOUS 22643 HAS SOUPS 22061 WITH SCORE 22177.129
AT ITER 5778 NEW BEST:: SOT 421102 SOS 115371 HAS SOPS 114469 HAS SOUS 22635 HAS SOUPS 22040 WITH SCORE 22155.371
AT ITER 5781 NEW BEST:: SOT 421104 SOS 115373 HAS SOPS 114471 HAS SOUS 22633 HAS SOUPS 22038 WITH SCORE 22153.373
AT ITER 5816 NEW BEST:: SOT 420955 SOS 115065 HAS SOPS 114163 HAS SOUS 22630 HAS SOUPS 22035 WITH SCORE 22150.065
AT ITER 5825 NEW BEST:: SOT 421057 SOS 115167 HAS SOPS 114265 HAS SOUS 22573 HAS SOUPS 21978 WITH SCORE 22093.167
AT ITER 5849 NEW BEST:: SOT 420977 SOS 115087 HAS SOPS 114185 HAS SOUS 22573 HAS SOUPS 21978 WITH SCORE 22093.087
AT ITER 6014 NEW BEST:: SOT 420989 SOS 115102 HAS SOPS 114200 HAS SOUS 22561 HAS SOUPS 21966 WITH SCORE 22081.102
AT ITER 6081 NEW BEST:: SOT 420985 SOS 115096 HAS SOPS 114193 HAS SOUS 22554 HAS SOUPS 21958 WITH SCORE 22073.096
AT ITER 6097 NEW BEST:: SOT 420974 SOS 114997 HAS SOPS 114094 HAS SOUS 22548 HAS SOUPS 21952 WITH SCORE 22066.997
AT ITER 6115 NEW BEST:: SOT 421120 SOS 115139 HAS SOPS 114236 HAS SOUS 22540 HAS SOUPS 21944 WITH SCORE 22059.139
AT ITER 6145 NEW BEST:: SOT 421131 SOS 114999 HAS SOPS 114096 HAS SOUS 22512 HAS SOUPS 21916 WITH SCORE 22030.999
AT ITER 6204 NEW BEST:: SOT 423310 SOS 114996 HAS SOPS 114093 HAS SOUS 22489 HAS SOUPS 21893 WITH SCORE 22007.996
AT ITER 6224 NEW BEST:: SOT 423275 SOS 114947 HAS SOPS 114044 HAS SOUS 22428 HAS SOUPS 21832 WITH SCORE 21946.947
AT ITER 6238 NEW BEST:: SOT 430958 SOS 121319 HAS SOPS 120416 HAS SOUS 22369 HAS SOUPS 21773 WITH SCORE 21894.319
AT ITER 6248 NEW BEST:: SOT 430807 SOS 121021 HAS SOPS 120118 HAS SOUS 22368 HAS SOUPS 21772 WITH SCORE 21893.021
AT ITER 6316 NEW BEST:: SOT 430791 SOS 121005 HAS SOPS 120102 HAS SOUS 22364 HAS SOUPS 21768 WITH SCORE 21889.005
AT ITER 6328 NEW BEST:: SOT 430793 SOS 121007 HAS SOPS 120104 HAS SOUS 22358 HAS SOUPS 21762 WITH SCORE 21883.007
AT ITER 6386 NEW BEST:: SOT 430848 SOS 121062 HAS SOPS 120159 HAS SOUS 22352 HAS SOUPS 21756 WITH SCORE 21877.062
AT ITER 6405 NEW BEST:: SOT 430852 SOS 121066 HAS SOPS 120163 HAS SOUS 22348 HAS SOUPS 21752 WITH SCORE 21873.066
AT ITER 6414 NEW BEST:: SOT 434841 SOS 124974 HAS SOPS 124071 HAS SOUS 22307 HAS SOUPS 21711 WITH SCORE 21835.974
AT ITER 6428 NEW BEST:: SOT 434650 SOS 124783 HAS SOPS 123880 HAS SOUS 22247 HAS SOUPS 21651 WITH SCORE 21775.783
AT ITER 6475 NEW BEST:: SOT 434684 SOS 124679 HAS SOPS 123776 HAS SOUS 22235 HAS SOUPS 21639 WITH SCORE 21763.679
AT ITER 6493 NEW BEST:: SOT 434610 SOS 124605 HAS SOPS 123702 HAS SOUS 22218 HAS SOUPS 21622 WITH SCORE 21746.605
AT ITER 6521 NEW BEST:: SOT 434510 SOS 124505 HAS SOPS 123602 HAS SOUS 22134 HAS SOUPS 21538 WITH SCORE 21662.505
AT ITER 6523 NEW BEST:: SOT 433765 SOS 122995 HAS SOPS 122092 HAS SOUS 22124 HAS SOUPS 21528 WITH SCORE 21650.995
AT ITER 6570 NEW BEST:: SOT 444424 SOS 133516 HAS SOPS 132613 HAS SOUS 22106 HAS SOUPS 21510 WITH SCORE 21643.516
AT ITER 6602 NEW BEST:: SOT 443999 SOS 134242 HAS SOPS 133328 HAS SOUS 22107 HAS SOUPS 21500 WITH SCORE 21634.242
AT ITER 6618 NEW BEST:: SOT 443963 SOS 134126 HAS SOPS 133212 HAS SOUS 22091 HAS SOUPS 21484 WITH SCORE 21618.126
AT ITER 6623 NEW BEST:: SOT 446415 SOS 136510 HAS SOPS 135596 HAS SOUS 22085 HAS SOUPS 21478 WITH SCORE 21614.51
AT ITER 6642 NEW BEST:: SOT 446343 SOS 136438 HAS SOPS 135524 HAS SOUS 22085 HAS SOUPS 21478 WITH SCORE 21614.438
AT ITER 6649 NEW BEST:: SOT 446331 SOS 136464 HAS SOPS 135554 HAS SOUS 22078 HAS SOUPS 21472 WITH SCORE 21608.464
AT ITER 6684 NEW BEST:: SOT 446239 SOS 136372 HAS SOPS 135462 HAS SOUS 21916 HAS SOUPS 21310 WITH SCORE 21446.372
AT ITER 6754 NEW BEST:: SOT 446231 SOS 136364 HAS SOPS 135454 HAS SOUS 21904 HAS SOUPS 21298 WITH SCORE 21434.364
AT ITER 6767 NEW BEST:: SOT 446029 SOS 136330 HAS SOPS 135448 HAS SOUS 21840 HAS SOUPS 21234 WITH SCORE 21370.33
AT ITER 6823 NEW BEST:: SOT 446097 SOS 136146 HAS SOPS 135236 HAS SOUS 21824 HAS SOUPS 21218 WITH SCORE 21354.146
AT ITER 6837 NEW BEST:: SOT 446132 SOS 136063 HAS SOPS 135111 HAS SOUS 21827 HAS SOUPS 21200 WITH SCORE 21336.063
AT ITER 6870 NEW BEST:: SOT 446126 SOS 136057 HAS SOPS 135105 HAS SOUS 21815 HAS SOUPS 21188 WITH SCORE 21324.057
AT ITER 6876 NEW BEST:: SOT 446128 SOS 136051 HAS SOPS 135099 HAS SOUS 21813 HAS SOUPS 21186 WITH SCORE 21322.051
AT ITER 6878 NEW BEST:: SOT 446096 SOS 136019 HAS SOPS 135067 HAS SOUS 21799 HAS SOUPS 21172 WITH SCORE 21308.019
AT ITER 6881 NEW BEST:: SOT 446102 SOS 136025 HAS SOPS 135073 HAS SOUS 21797 HAS SOUPS 21170 WITH SCORE 21306.025
AT ITER 6900 NEW BEST:: SOT 446096 SOS 136019 HAS SOPS 135067 HAS SOUS 21790 HAS SOUPS 21163 WITH SCORE 21299.019
AT ITER 6922 NEW BEST:: SOT 446303 SOS 136218 HAS SOPS 135266 HAS SOUS 21787 HAS SOUPS 21160 WITH SCORE 21296.218
AT ITER 6972 NEW BEST:: SOT 446750 SOS 136494 HAS SOPS 135534 HAS SOUS 21788 HAS SOUPS 21157 WITH SCORE 21293.494
AT ITER 7047 NEW BEST:: SOT 447052 SOS 136784 HAS SOPS 135824 HAS SOUS 21786 HAS SOUPS 21155 WITH SCORE 21291.784
AT ITER 7115 NEW BEST:: SOT 447038 SOS 136740 HAS SOPS 135780 HAS SOUS 21729 HAS SOUPS 21098 WITH SCORE 21234.74
AT ITER 7135 NEW BEST:: SOT 447050 SOS 135846 HAS SOPS 134886 HAS SOUS 21717 HAS SOUPS 21086 WITH SCORE 21221.846
AT ITER 7147 NEW BEST:: SOT 447022 SOS 135804 HAS SOPS 134844 HAS SOUS 21679 HAS SOUPS 21048 WITH SCORE 21183.804
AT ITER 7170 NEW BEST:: SOT 447016 SOS 135794 HAS SOPS 134834 HAS SOUS 21675 HAS SOUPS 21044 WITH SCORE 21179.794
AT ITER 7205 NEW BEST:: SOT 445079 SOS 134677 HAS SOPS 133717 HAS SOUS 21662 HAS SOUPS 21031 WITH SCORE 21165.677
AT ITER 7248 NEW BEST:: SOT 445079 SOS 134669 HAS SOPS 133709 HAS SOUS 21660 HAS SOUPS 21029 WITH SCORE 21163.669
AT ITER 7257 NEW BEST:: SOT 445077 SOS 134667 HAS SOPS 133707 HAS SOUS 21656 HAS SOUPS 21025 WITH SCORE 21159.667
AT ITER 7275 NEW BEST:: SOT 445061 SOS 134651 HAS SOPS 133691 HAS SOUS 21639 HAS SOUPS 21008 WITH SCORE 21142.651
AT ITER 7305 NEW BEST:: SOT 445015 SOS 134605 HAS SOPS 133645 HAS SOUS 21618 HAS SOUPS 20987 WITH SCORE 21121.605
AT ITER 7326 NEW BEST:: SOT 445049 SOS 134605 HAS SOPS 133645 HAS SOUS 21591 HAS SOUPS 20960 WITH SCORE 21094.605
AT ITER 7328 NEW BEST:: SOT 445039 SOS 134595 HAS SOPS 133635 HAS SOUS 21581 HAS SOUPS 20950 WITH SCORE 21084.595
AT ITER 7371 NEW BEST:: SOT 444963 SOS 134519 HAS SOPS 133559 HAS SOUS 21570 HAS SOUPS 20939 WITH SCORE 21073.519
AT ITER 7373 NEW BEST:: SOT 453449 SOS 139285 HAS SOPS 138325 HAS SOUS 21532 HAS SOUPS 20901 WITH SCORE 21040.285
AT ITER 7375 NEW BEST:: SOT 453151 SOS 138967 HAS SOPS 138007 HAS SOUS 21530 HAS SOUPS 20899 WITH SCORE 21037.967
AT ITER 7387 NEW BEST:: SOT 453146 SOS 138938 HAS SOPS 137978 HAS SOUS 21519 HAS SOUPS 20888 WITH SCORE 21026.938
AT ITER 7396 NEW BEST:: SOT 454439 SOS 139196 HAS SOPS 138244 HAS SOUS 21496 HAS SOUPS 20865 WITH SCORE 21004.196
AT ITER 7459 NEW BEST:: SOT 454419 SOS 139177 HAS SOPS 138225 HAS SOUS 21496 HAS SOUPS 20865 WITH SCORE 21004.177
AT ITER 7472 NEW BEST:: SOT 454272 SOS 139023 HAS SOPS 138070 HAS SOUS 21495 HAS SOUPS 20863 WITH SCORE 21002.023
AT ITER 7522 NEW BEST:: SOT 454294 SOS 139011 HAS SOPS 138058 HAS SOUS 21489 HAS SOUPS 20857 WITH SCORE 20996.011
AT ITER 7526 NEW BEST:: SOT 454303 SOS 138924 HAS SOPS 137971 HAS SOUS 21474 HAS SOUPS 20842 WITH SCORE 20980.924
AT ITER 7569 NEW BEST:: SOT 454287 SOS 136769 HAS SOPS 135816 HAS SOUS 21461 HAS SOUPS 20829 WITH SCORE 20965.769
AT ITER 7579 NEW BEST:: SOT 454238 SOS 136720 HAS SOPS 135767 HAS SOUS 21448 HAS SOUPS 20816 WITH SCORE 20952.72
AT ITER 7596 NEW BEST:: SOT 454229 SOS 136258 HAS SOPS 135305 HAS SOUS 21442 HAS SOUPS 20810 WITH SCORE 20946.258
AT ITER 7598 NEW BEST:: SOT 454229 SOS 128520 HAS SOPS 127567 HAS SOUS 21389 HAS SOUPS 20757 WITH SCORE 20885.52
AT ITER 7661 NEW BEST:: SOT 454239 SOS 128490 HAS SOPS 127537 HAS SOUS 21389 HAS SOUPS 20757 WITH SCORE 20885.49
AT ITER 7666 NEW BEST:: SOT 454239 SOS 129867 HAS SOPS 128914 HAS SOUS 21380 HAS SOUPS 20748 WITH SCORE 20877.867
AT ITER 7672 NEW BEST:: SOT 454233 SOS 129865 HAS SOPS 128912 HAS SOUS 21367 HAS SOUPS 20735 WITH SCORE 20864.865
AT ITER 7679 NEW BEST:: SOT 454227 SOS 129847 HAS SOPS 128894 HAS SOUS 21352 HAS SOUPS 20720 WITH SCORE 20849.847
AT ITER 7686 NEW BEST:: SOT 450689 SOS 128476 HAS SOPS 127523 HAS SOUS 21321 HAS SOUPS 20689 WITH SCORE 20817.476
AT ITER 7736 NEW BEST:: SOT 450562 SOS 128537 HAS SOPS 127396 HAS SOUS 21288 HAS SOUPS 20656 WITH SCORE 20784.537
AT ITER 7791 NEW BEST:: SOT 450564 SOS 128557 HAS SOPS 127416 HAS SOUS 21260 HAS SOUPS 20628 WITH SCORE 20756.557
AT ITER 7808 NEW BEST:: SOT 450571 SOS 128462 HAS SOPS 127321 HAS SOUS 21241 HAS SOUPS 20609 WITH SCORE 20737.462
AT ITER 7871 NEW BEST:: SOT 450567 SOS 128458 HAS SOPS 127317 HAS SOUS 21235 HAS SOUPS 20603 WITH SCORE 20731.458
AT ITER 7912 NEW BEST:: SOT 447885 SOS 125717 HAS SOPS 124576 HAS SOUS 21202 HAS SOUPS 20570 WITH SCORE 20695.717
AT ITER 7920 NEW BEST:: SOT 447882 SOS 125565 HAS SOPS 124424 HAS SOUS 21198 HAS SOUPS 20566 WITH SCORE 20691.565
AT ITER 7988 NEW BEST:: SOT 447840 SOS 125523 HAS SOPS 124382 HAS SOUS 21128 HAS SOUPS 20496 WITH SCORE 20621.523
AT ITER 7999 NEW BEST:: SOT 447812 SOS 125483 HAS SOPS 124342 HAS SOUS 21091 HAS SOUPS 20459 WITH SCORE 20584.483
AT ITER 8000 NEW BEST:: SOT 447853 SOS 125520 HAS SOPS 124379 HAS SOUS 21085 HAS SOUPS 20453 WITH SCORE 20578.52
AT ITER 8030 NEW BEST:: SOT 445767 SOS 123452 HAS SOPS 122311 HAS SOUS 21080 HAS SOUPS 20448 WITH SCORE 20571.452
AT ITER 8045 NEW BEST:: SOT 445767 SOS 123261 HAS SOPS 122120 HAS SOUS 21060 HAS SOUPS 20428 WITH SCORE 20551.261
AT ITER 8055 NEW BEST:: SOT 445767 SOS 123261 HAS SOPS 122120 HAS SOUS 21000 HAS SOUPS 20368 WITH SCORE 20491.261
AT ITER 8085 NEW BEST:: SOT 445844 SOS 123338 HAS SOPS 122197 HAS SOUS 20941 HAS SOUPS 20309 WITH SCORE 20432.338
AT ITER 8129 NEW BEST:: SOT 445868 SOS 123361 HAS SOPS 122220 HAS SOUS 20931 HAS SOUPS 20299 WITH SCORE 20422.361
AT ITER 8132 NEW BEST:: SOT 445868 SOS 123341 HAS SOPS 122200 HAS SOUS 20901 HAS SOUPS 20269 WITH SCORE 20392.341
AT ITER 8166 NEW BEST:: SOT 445864 SOS 123337 HAS SOPS 122196 HAS SOUS 20893 HAS SOUPS 20261 WITH SCORE 20384.337
AT ITER 8205 NEW BEST:: SOT 445864 SOS 123782 HAS SOPS 122638 HAS SOUS 20893 HAS SOUPS 20258 WITH SCORE 20381.782
AT ITER 8207 NEW BEST:: SOT 445875 SOS 123793 HAS SOPS 122649 HAS SOUS 20886 HAS SOUPS 20251 WITH SCORE 20374.793
AT ITER 8212 NEW BEST:: SOT 445914 SOS 123806 HAS SOPS 122662 HAS SOUS 20876 HAS SOUPS 20241 WITH SCORE 20364.806
AT ITER 8226 NEW BEST:: SOT 445467 SOS 122854 HAS SOPS 121710 HAS SOUS 20859 HAS SOUPS 20224 WITH SCORE 20346.854
AT ITER 8236 NEW BEST:: SOT 444273 SOS 121678 HAS SOPS 120534 HAS SOUS 20855 HAS SOUPS 20220 WITH SCORE 20341.678
AT ITER 8258 NEW BEST:: SOT 444289 SOS 121658 HAS SOPS 120514 HAS SOUS 20853 HAS SOUPS 20218 WITH SCORE 20339.658
AT ITER 8275 NEW BEST:: SOT 444301 SOS 121652 HAS SOPS 120508 HAS SOUS 20846 HAS SOUPS 20211 WITH SCORE 20332.652
AT ITER 8280 NEW BEST:: SOT 445299 SOS 122185 HAS SOPS 121041 HAS SOUS 20840 HAS SOUPS 20205 WITH SCORE 20327.185
AT ITER 8281 NEW BEST:: SOT 445284 SOS 122170 HAS SOPS 121026 HAS SOUS 20823 HAS SOUPS 20188 WITH SCORE 20310.17
AT ITER 8294 NEW BEST:: SOT 445224 SOS 122090 HAS SOPS 120946 HAS SOUS 20708 HAS SOUPS 20073 WITH SCORE 20195.09
AT ITER 8315 NEW BEST:: SOT 445218 SOS 122086 HAS SOPS 120943 HAS SOUS 20701 HAS SOUPS 20067 WITH SCORE 20189.086
AT ITER 8339 NEW BEST:: SOT 445220 SOS 122098 HAS SOPS 120955 HAS SOUS 20697 HAS SOUPS 20063 WITH SCORE 20185.098
AT ITER 8371 NEW BEST:: SOT 445140 SOS 121780 HAS SOPS 120637 HAS SOUS 20628 HAS SOUPS 19994 WITH SCORE 20115.78
AT ITER 8394 NEW BEST:: SOT 445127 SOS 121767 HAS SOPS 120624 HAS SOUS 20601 HAS SOUPS 19967 WITH SCORE 20088.767
AT ITER 8427 NEW BEST:: SOT 445128 SOS 121768 HAS SOPS 120625 HAS SOUS 20600 HAS SOUPS 19966 WITH SCORE 20087.768
AT ITER 8433 NEW BEST:: SOT 445125 SOS 121765 HAS SOPS 120622 HAS SOUS 20600 HAS SOUPS 19966 WITH SCORE 20087.765
AT ITER 8451 NEW BEST:: SOT 445095 SOS 121735 HAS SOPS 120592 HAS SOUS 20498 HAS SOUPS 19864 WITH SCORE 19985.735
AT ITER 8457 NEW BEST:: SOT 445077 SOS 121717 HAS SOPS 120574 HAS SOUS 20480 HAS SOUPS 19846 WITH SCORE 19967.717
AT ITER 8496 NEW BEST:: SOT 445044 SOS 121684 HAS SOPS 120541 HAS SOUS 20443 HAS SOUPS 19809 WITH SCORE 19930.684
AT ITER 8519 NEW BEST:: SOT 447328 SOS 121849 HAS SOPS 120706 HAS SOUS 20420 HAS SOUPS 19786 WITH SCORE 19907.849
AT ITER 8530 NEW BEST:: SOT 447306 SOS 121659 HAS SOPS 120516 HAS SOUS 20393 HAS SOUPS 19759 WITH SCORE 19880.659
AT ITER 8598 NEW BEST:: SOT 447744 SOS 122088 HAS SOPS 120945 HAS SOUS 20392 HAS SOUPS 19758 WITH SCORE 19880.088
AT ITER 8607 NEW BEST:: SOT 447740 SOS 122084 HAS SOPS 120941 HAS SOUS 20388 HAS SOUPS 19754 WITH SCORE 19876.084
AT ITER 8635 NEW BEST:: SOT 447714 SOS 122052 HAS SOPS 120909 HAS SOUS 20344 HAS SOUPS 19710 WITH SCORE 19832.052
AT ITER 8697 NEW BEST:: SOT 447714 SOS 121986 HAS SOPS 120843 HAS SOUS 20344 HAS SOUPS 19710 WITH SCORE 19831.986
AT ITER 8716 NEW BEST:: SOT 447707 SOS 121989 HAS SOPS 120834 HAS SOUS 20340 HAS SOUPS 19694 WITH SCORE 19815.989
AT ITER 8724 NEW BEST:: SOT 447693 SOS 122233 HAS SOPS 121078 HAS SOUS 20331 HAS SOUPS 19685 WITH SCORE 19807.233
AT ITER 8789 NEW BEST:: SOT 447694 SOS 122231 HAS SOPS 121076 HAS SOUS 20324 HAS SOUPS 19678 WITH SCORE 19800.231
AT ITER 8845 NEW BEST:: SOT 447669 SOS 122161 HAS SOPS 121006 HAS SOUS 20302 HAS SOUPS 19656 WITH SCORE 19778.161
AT ITER 8879 NEW BEST:: SOT 447666 SOS 122210 HAS SOPS 121055 HAS SOUS 20269 HAS SOUPS 19623 WITH SCORE 19745.21
AT ITER 8885 NEW BEST:: SOT 447654 SOS 122198 HAS SOPS 121043 HAS SOUS 20263 HAS SOUPS 19617 WITH SCORE 19739.198
AT ITER 8938 NEW BEST:: SOT 447800 SOS 122389 HAS SOPS 121234 HAS SOUS 20252 HAS SOUPS 19606 WITH SCORE 19728.389
AT ITER 8948 NEW BEST:: SOT 447353 SOS 122424 HAS SOPS 121269 HAS SOUS 20249 HAS SOUPS 19603 WITH SCORE 19725.424
AT ITER 8955 NEW BEST:: SOT 447317 SOS 122429 HAS SOPS 121275 HAS SOUS 20240 HAS SOUPS 19595 WITH SCORE 19717.429
AT ITER 8970 NEW BEST:: SOT 447319 SOS 122431 HAS SOPS 121277 HAS SOUS 20238 HAS SOUPS 19593 WITH SCORE 19715.431
AT ITER 8987 NEW BEST:: SOT 447332 SOS 122444 HAS SOPS 121290 HAS SOUS 20227 HAS SOUPS 19582 WITH SCORE 19704.444
AT ITER 8990 NEW BEST:: SOT 447323 SOS 122435 HAS SOPS 121281 HAS SOUS 20216 HAS SOUPS 19571 WITH SCORE 19693.435
AT ITER 8998 NEW BEST:: SOT 447315 SOS 122331 HAS SOPS 121177 HAS SOUS 20184 HAS SOUPS 19539 WITH SCORE 19661.331
AT ITER 9000 NEW BEST:: SOT 447287 SOS 121675 HAS SOPS 120521 HAS SOUS 20168 HAS SOUPS 19523 WITH SCORE 19644.675
AT ITER 9039 NEW BEST:: SOT 447191 SOS 121559 HAS SOPS 120405 HAS SOUS 20116 HAS SOUPS 19471 WITH SCORE 19592.559
AT ITER 9040 NEW BEST:: SOT 447163 SOS 121503 HAS SOPS 120349 HAS SOUS 20088 HAS SOUPS 19443 WITH SCORE 19564.503
AT ITER 9086 NEW BEST:: SOT 446726 SOS 121344 HAS SOPS 120185 HAS SOUS 20084 HAS SOUPS 19439 WITH SCORE 19560.344
AT ITER 9193 NEW BEST:: SOT 446736 SOS 121322 HAS SOPS 120163 HAS SOUS 20080 HAS SOUPS 19435 WITH SCORE 19556.322
AT ITER 9200 NEW BEST:: SOT 446438 SOS 121024 HAS SOPS 119865 HAS SOUS 20078 HAS SOUPS 19433 WITH SCORE 19554.024
AT ITER 9210 NEW BEST:: SOT 446438 SOS 121058 HAS SOPS 119899 HAS SOUS 20076 HAS SOUPS 19431 WITH SCORE 19552.058
AT ITER 9245 NEW BEST:: SOT 446396 SOS 121016 HAS SOPS 119857 HAS SOUS 20076 HAS SOUPS 19431 WITH SCORE 19552.016
AT ITER 9311 NEW BEST:: SOT 445055 SOS 118341 HAS SOPS 117182 HAS SOUS 20067 HAS SOUPS 19422 WITH SCORE 19540.341
AT ITER 9345 NEW BEST:: SOT 445051 SOS 118337 HAS SOPS 117178 HAS SOUS 20067 HAS SOUPS 19422 WITH SCORE 19540.337
AT ITER 9475 NEW BEST:: SOT 445047 SOS 118333 HAS SOPS 117174 HAS SOUS 20060 HAS SOUPS 19415 WITH SCORE 19533.333
AT ITER 9564 NEW BEST:: SOT 445126 SOS 118224 HAS SOPS 117065 HAS SOUS 20060 HAS SOUPS 19415 WITH SCORE 19533.224
AT ITER 9584 NEW BEST:: SOT 445110 SOS 118176 HAS SOPS 117017 HAS SOUS 20032 HAS SOUPS 19387 WITH SCORE 19505.176
AT ITER 9613 NEW BEST:: SOT 445102 SOS 118168 HAS SOPS 117009 HAS SOUS 20032 HAS SOUPS 19387 WITH SCORE 19505.168
AT ITER 9734 NEW BEST:: SOT 446385 SOS 119451 HAS SOPS 118292 HAS SOUS 20028 HAS SOUPS 19383 WITH SCORE 19502.451
AT ITER 9737 NEW BEST:: SOT 446373 SOS 119439 HAS SOPS 118280 HAS SOUS 20004 HAS SOUPS 19359 WITH SCORE 19478.439
AT ITER 9738 NEW BEST:: SOT 446369 SOS 119435 HAS SOPS 118276 HAS SOUS 20004 HAS SOUPS 19359 WITH SCORE 19478.435
AT ITER 9810 NEW BEST:: SOT 446319 SOS 119355 HAS SOPS 118196 HAS SOUS 19936 HAS SOUPS 19291 WITH SCORE 19410.355
AT ITER 9815 NEW BEST:: SOT 446297 SOS 119324 HAS SOPS 118165 HAS SOUS 19923 HAS SOUPS 19278 WITH SCORE 19397.324
AT ITER 9819 NEW BEST:: SOT 446225 SOS 119256 HAS SOPS 118097 HAS SOUS 19861 HAS SOUPS 19216 WITH SCORE 19335.256
AT ITER 9826 NEW BEST:: SOT 446245 SOS 119248 HAS SOPS 118089 HAS SOUS 19840 HAS SOUPS 19195 WITH SCORE 19314.248
AT ITER 9879 NEW BEST:: SOT 446243 SOS 119246 HAS SOPS 118087 HAS SOUS 19829 HAS SOUPS 19184 WITH SCORE 19303.246
AT ITER 9888 NEW BEST:: SOT 446243 SOS 118304 HAS SOPS 117133 HAS SOUS 19823 HAS SOUPS 19172 WITH SCORE 19290.304
AT ITER 9904 NEW BEST:: SOT 446017 SOS 109402 HAS SOPS 108231 HAS SOUS 19744 HAS SOUPS 19093 WITH SCORE 19202.402
AT ITER 9935 NEW BEST:: SOT 445556 SOS 108941 HAS SOPS 107770 HAS SOUS 19733 HAS SOUPS 19082 WITH SCORE 19190.941
AT ITER 9961 NEW BEST:: SOT 447151 SOS 110219 HAS SOPS 109052 HAS SOUS 19708 HAS SOUPS 19057 WITH SCORE 19167.219
AT ITER 9977 NEW BEST:: SOT 447136 SOS 110204 HAS SOPS 109037 HAS SOUS 19705 HAS SOUPS 19054 WITH SCORE 19164.204
AT ITER 9979 NEW BEST:: SOT 447148 SOS 110216 HAS SOPS 109049 HAS SOUS 19701 HAS SOUPS 19050 WITH SCORE 19160.216

BK_STOP 1678768362143

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

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 370 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="NoC3x3-PT-8A"
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 NoC3x3-PT-8A, 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 r259-smll-167863534400344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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