Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469000128.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldIIPs-PT-010A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.4K May 14 00:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 00:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 84K May 12 20:42 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 1590435530226

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 253 places, 243 transitions, 1086 arcs.
AT ITER 0 NEW BEST:: SOT 41907 SOS 32489 HAS SOPS 32489 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27618.489
AT ITER 17 NEW BEST:: SOT 41832 SOS 32440 HAS SOPS 32440 HAS SOUS 27537 HAS SOUPS 27537 WITH SCORE 27569.44
AT ITER 26 NEW BEST:: SOT 41806 SOS 32414 HAS SOPS 32414 HAS SOUS 27536 HAS SOUPS 27536 WITH SCORE 27568.414
AT ITER 28 NEW BEST:: SOT 41806 SOS 32306 HAS SOPS 32306 HAS SOUS 27536 HAS SOUPS 27536 WITH SCORE 27568.306
AT ITER 33 NEW BEST:: SOT 41768 SOS 32325 HAS SOPS 32325 HAS SOUS 27531 HAS SOUPS 27531 WITH SCORE 27563.325
AT ITER 35 NEW BEST:: SOT 41858 SOS 32278 HAS SOPS 32278 HAS SOUS 27495 HAS SOUPS 27495 WITH SCORE 27527.278
AT ITER 36 NEW BEST:: SOT 41849 SOS 32233 HAS SOPS 32233 HAS SOUS 27495 HAS SOUPS 27495 WITH SCORE 27527.233
AT ITER 40 NEW BEST:: SOT 41847 SOS 32229 HAS SOPS 32229 HAS SOUS 27491 HAS SOUPS 27491 WITH SCORE 27523.229
AT ITER 42 NEW BEST:: SOT 41826 SOS 32162 HAS SOPS 32162 HAS SOUS 27399 HAS SOUPS 27399 WITH SCORE 27431.162
AT ITER 44 NEW BEST:: SOT 41826 SOS 32161 HAS SOPS 32161 HAS SOUS 27399 HAS SOUPS 27399 WITH SCORE 27431.161
AT ITER 52 NEW BEST:: SOT 41865 SOS 31975 HAS SOPS 31975 HAS SOUS 27339 HAS SOUPS 27339 WITH SCORE 27370.975
AT ITER 55 NEW BEST:: SOT 41810 SOS 31920 HAS SOPS 31920 HAS SOUS 27284 HAS SOUPS 27284 WITH SCORE 27315.92
AT ITER 56 NEW BEST:: SOT 41836 SOS 31794 HAS SOPS 31794 HAS SOUS 27243 HAS SOUPS 27243 WITH SCORE 27274.794
AT ITER 57 NEW BEST:: SOT 41823 SOS 31687 HAS SOPS 31687 HAS SOUS 27136 HAS SOUPS 27136 WITH SCORE 27167.687
AT ITER 62 NEW BEST:: SOT 41908 SOS 31682 HAS SOPS 31682 HAS SOUS 27086 HAS SOUPS 27086 WITH SCORE 27117.682
AT ITER 63 NEW BEST:: SOT 41859 SOS 31464 HAS SOPS 31464 HAS SOUS 27053 HAS SOUPS 27053 WITH SCORE 27084.464
AT ITER 65 NEW BEST:: SOT 41815 SOS 31419 HAS SOPS 31419 HAS SOUS 27008 HAS SOUPS 27008 WITH SCORE 27039.419
AT ITER 67 NEW BEST:: SOT 41780 SOS 31390 HAS SOPS 31390 HAS SOUS 26979 HAS SOUPS 26979 WITH SCORE 27010.39
AT ITER 69 NEW BEST:: SOT 41779 SOS 31348 HAS SOPS 31348 HAS SOUS 26937 HAS SOUPS 26937 WITH SCORE 26968.348
AT ITER 76 NEW BEST:: SOT 41779 SOS 31282 HAS SOPS 31282 HAS SOUS 26899 HAS SOUPS 26899 WITH SCORE 26930.282
AT ITER 83 NEW BEST:: SOT 41734 SOS 31103 HAS SOPS 31103 HAS SOUS 26820 HAS SOUPS 26820 WITH SCORE 26851.103
AT ITER 85 NEW BEST:: SOT 41678 SOS 31047 HAS SOPS 31047 HAS SOUS 26764 HAS SOUPS 26764 WITH SCORE 26795.047
AT ITER 88 NEW BEST:: SOT 41697 SOS 31021 HAS SOPS 31021 HAS SOUS 26738 HAS SOUPS 26738 WITH SCORE 26769.021
AT ITER 94 NEW BEST:: SOT 41759 SOS 30878 HAS SOPS 30878 HAS SOUS 26677 HAS SOUPS 26677 WITH SCORE 26707.878
AT ITER 98 NEW BEST:: SOT 41718 SOS 30840 HAS SOPS 30840 HAS SOUS 26639 HAS SOUPS 26639 WITH SCORE 26669.84
AT ITER 99 NEW BEST:: SOT 41598 SOS 30679 HAS SOPS 30679 HAS SOUS 26478 HAS SOUPS 26478 WITH SCORE 26508.679
AT ITER 100 NEW BEST:: SOT 41598 SOS 30640 HAS SOPS 30640 HAS SOUS 26421 HAS SOUPS 26421 WITH SCORE 26451.64
AT ITER 103 NEW BEST:: SOT 41554 SOS 30471 HAS SOPS 30471 HAS SOUS 26252 HAS SOUPS 26252 WITH SCORE 26282.471
AT ITER 105 NEW BEST:: SOT 41400 SOS 30436 HAS SOPS 30436 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26258.436
AT ITER 107 NEW BEST:: SOT 41400 SOS 30424 HAS SOPS 30424 HAS SOUS 26228 HAS SOUPS 26228 WITH SCORE 26258.424
AT ITER 115 NEW BEST:: SOT 41400 SOS 30422 HAS SOPS 30422 HAS SOUS 26226 HAS SOUPS 26226 WITH SCORE 26256.422
AT ITER 118 NEW BEST:: SOT 41380 SOS 30382 HAS SOPS 30382 HAS SOUS 26194 HAS SOUPS 26194 WITH SCORE 26224.382
AT ITER 120 NEW BEST:: SOT 41385 SOS 30266 HAS SOPS 30266 HAS SOUS 26158 HAS SOUPS 26158 WITH SCORE 26188.266
AT ITER 123 NEW BEST:: SOT 41312 SOS 30193 HAS SOPS 30193 HAS SOUS 26085 HAS SOUPS 26085 WITH SCORE 26115.193
AT ITER 125 NEW BEST:: SOT 41282 SOS 30162 HAS SOPS 30162 HAS SOUS 26054 HAS SOUPS 26054 WITH SCORE 26084.162
AT ITER 128 NEW BEST:: SOT 41232 SOS 30143 HAS SOPS 30143 HAS SOUS 26035 HAS SOUPS 26035 WITH SCORE 26065.143
AT ITER 132 NEW BEST:: SOT 41205 SOS 30116 HAS SOPS 30116 HAS SOUS 26008 HAS SOUPS 26008 WITH SCORE 26038.116
AT ITER 144 NEW BEST:: SOT 41201 SOS 30048 HAS SOPS 30048 HAS SOUS 25981 HAS SOUPS 25981 WITH SCORE 26011.048
AT ITER 152 NEW BEST:: SOT 41131 SOS 29765 HAS SOPS 29765 HAS SOUS 25858 HAS SOUPS 25858 WITH SCORE 25887.765
AT ITER 153 NEW BEST:: SOT 41081 SOS 29720 HAS SOPS 29720 HAS SOUS 25813 HAS SOUPS 25813 WITH SCORE 25842.72
AT ITER 154 NEW BEST:: SOT 41170 SOS 29856 HAS SOPS 29856 HAS SOUS 25771 HAS SOUPS 25771 WITH SCORE 25800.856
AT ITER 162 NEW BEST:: SOT 41170 SOS 29858 HAS SOPS 29858 HAS SOUS 25769 HAS SOUPS 25769 WITH SCORE 25798.858
AT ITER 167 NEW BEST:: SOT 41340 SOS 30025 HAS SOPS 30025 HAS SOUS 25676 HAS SOUPS 25676 WITH SCORE 25706.025
AT ITER 169 NEW BEST:: SOT 41389 SOS 30031 HAS SOPS 30031 HAS SOUS 25579 HAS SOUPS 25579 WITH SCORE 25609.031
AT ITER 175 NEW BEST:: SOT 41187 SOS 29734 HAS SOPS 29734 HAS SOUS 25346 HAS SOUPS 25346 WITH SCORE 25375.734
AT ITER 183 NEW BEST:: SOT 41187 SOS 29730 HAS SOPS 29730 HAS SOUS 25338 HAS SOUPS 25338 WITH SCORE 25367.73
AT ITER 185 NEW BEST:: SOT 41162 SOS 29630 HAS SOPS 29630 HAS SOUS 25229 HAS SOUPS 25229 WITH SCORE 25258.63
AT ITER 186 NEW BEST:: SOT 41091 SOS 29526 HAS SOPS 29526 HAS SOUS 25172 HAS SOUPS 25172 WITH SCORE 25201.526
AT ITER 189 NEW BEST:: SOT 41085 SOS 29522 HAS SOPS 29522 HAS SOUS 25168 HAS SOUPS 25168 WITH SCORE 25197.522
AT ITER 191 NEW BEST:: SOT 41020 SOS 29475 HAS SOPS 29475 HAS SOUS 25121 HAS SOUPS 25121 WITH SCORE 25150.475
AT ITER 195 NEW BEST:: SOT 40868 SOS 29284 HAS SOPS 29284 HAS SOUS 24930 HAS SOUPS 24930 WITH SCORE 24959.284
AT ITER 196 NEW BEST:: SOT 40799 SOS 29198 HAS SOPS 29198 HAS SOUS 24844 HAS SOUPS 24844 WITH SCORE 24873.198
AT ITER 199 NEW BEST:: SOT 40795 SOS 29152 HAS SOPS 29152 HAS SOUS 24710 HAS SOUPS 24710 WITH SCORE 24739.152
AT ITER 202 NEW BEST:: SOT 40793 SOS 29102 HAS SOPS 29102 HAS SOUS 24660 HAS SOUPS 24660 WITH SCORE 24689.102
AT ITER 208 NEW BEST:: SOT 40781 SOS 29087 HAS SOPS 29087 HAS SOUS 24645 HAS SOUPS 24645 WITH SCORE 24674.087
AT ITER 219 NEW BEST:: SOT 40883 SOS 29101 HAS SOPS 29101 HAS SOUS 24637 HAS SOUPS 24637 WITH SCORE 24666.101
AT ITER 220 NEW BEST:: SOT 40714 SOS 28961 HAS SOPS 28961 HAS SOUS 24502 HAS SOUPS 24502 WITH SCORE 24530.961
AT ITER 227 NEW BEST:: SOT 40706 SOS 28953 HAS SOPS 28953 HAS SOUS 24494 HAS SOUPS 24494 WITH SCORE 24522.953
AT ITER 234 NEW BEST:: SOT 40616 SOS 28863 HAS SOPS 28863 HAS SOUS 24404 HAS SOUPS 24404 WITH SCORE 24432.863
AT ITER 235 NEW BEST:: SOT 40616 SOS 28849 HAS SOPS 28849 HAS SOUS 24372 HAS SOUPS 24372 WITH SCORE 24400.849
AT ITER 237 NEW BEST:: SOT 40596 SOS 28829 HAS SOPS 28829 HAS SOUS 24352 HAS SOUPS 24352 WITH SCORE 24380.829
AT ITER 238 NEW BEST:: SOT 40665 SOS 28577 HAS SOPS 28577 HAS SOUS 24241 HAS SOUPS 24241 WITH SCORE 24269.577
AT ITER 243 NEW BEST:: SOT 40611 SOS 28521 HAS SOPS 28521 HAS SOUS 24185 HAS SOUPS 24185 WITH SCORE 24213.521
AT ITER 253 NEW BEST:: SOT 40665 SOS 28435 HAS SOPS 28435 HAS SOUS 24055 HAS SOUPS 24055 WITH SCORE 24083.435
AT ITER 257 NEW BEST:: SOT 40665 SOS 28385 HAS SOPS 28385 HAS SOUS 24038 HAS SOUPS 24038 WITH SCORE 24066.385
AT ITER 260 NEW BEST:: SOT 40632 SOS 28352 HAS SOPS 28352 HAS SOUS 24005 HAS SOUPS 24005 WITH SCORE 24033.352
AT ITER 265 NEW BEST:: SOT 40558 SOS 28285 HAS SOPS 28285 HAS SOUS 23971 HAS SOUPS 23971 WITH SCORE 23999.285
AT ITER 267 NEW BEST:: SOT 40565 SOS 28238 HAS SOPS 28238 HAS SOUS 23924 HAS SOUPS 23924 WITH SCORE 23952.238
AT ITER 270 NEW BEST:: SOT 40501 SOS 28174 HAS SOPS 28174 HAS SOUS 23860 HAS SOUPS 23860 WITH SCORE 23888.174
AT ITER 271 NEW BEST:: SOT 40509 SOS 28124 HAS SOPS 28124 HAS SOUS 23810 HAS SOUPS 23810 WITH SCORE 23838.124
AT ITER 275 NEW BEST:: SOT 40509 SOS 28122 HAS SOPS 28122 HAS SOUS 23808 HAS SOUPS 23808 WITH SCORE 23836.122
AT ITER 280 NEW BEST:: SOT 40470 SOS 27899 HAS SOPS 27899 HAS SOUS 23796 HAS SOUPS 23796 WITH SCORE 23823.899
AT ITER 281 NEW BEST:: SOT 40397 SOS 27645 HAS SOPS 27645 HAS SOUS 23584 HAS SOUPS 23584 WITH SCORE 23611.645
AT ITER 284 NEW BEST:: SOT 40434 SOS 27599 HAS SOPS 27599 HAS SOUS 23538 HAS SOUPS 23538 WITH SCORE 23565.599
AT ITER 286 NEW BEST:: SOT 40343 SOS 27533 HAS SOPS 27533 HAS SOUS 23472 HAS SOUPS 23472 WITH SCORE 23499.533
AT ITER 289 NEW BEST:: SOT 40273 SOS 27504 HAS SOPS 27504 HAS SOUS 23443 HAS SOUPS 23443 WITH SCORE 23470.504
AT ITER 290 NEW BEST:: SOT 40282 SOS 27466 HAS SOPS 27466 HAS SOUS 23405 HAS SOUPS 23405 WITH SCORE 23432.466
AT ITER 293 NEW BEST:: SOT 40097 SOS 27310 HAS SOPS 27310 HAS SOUS 23289 HAS SOUPS 23289 WITH SCORE 23316.31
AT ITER 301 NEW BEST:: SOT 40068 SOS 27272 HAS SOPS 27272 HAS SOUS 23251 HAS SOUPS 23251 WITH SCORE 23278.272
AT ITER 305 NEW BEST:: SOT 40037 SOS 26941 HAS SOPS 26941 HAS SOUS 22988 HAS SOUPS 22988 WITH SCORE 23014.941
AT ITER 308 NEW BEST:: SOT 40016 SOS 26894 HAS SOPS 26894 HAS SOUS 22941 HAS SOUPS 22941 WITH SCORE 22967.894
AT ITER 309 NEW BEST:: SOT 40020 SOS 26848 HAS SOPS 26848 HAS SOUS 22895 HAS SOUPS 22895 WITH SCORE 22921.848
AT ITER 312 NEW BEST:: SOT 39925 SOS 26753 HAS SOPS 26753 HAS SOUS 22800 HAS SOUPS 22800 WITH SCORE 22826.753
AT ITER 316 NEW BEST:: SOT 39925 SOS 26751 HAS SOPS 26751 HAS SOUS 22800 HAS SOUPS 22800 WITH SCORE 22826.751
AT ITER 317 NEW BEST:: SOT 39914 SOS 26738 HAS SOPS 26738 HAS SOUS 22787 HAS SOUPS 22787 WITH SCORE 22813.738
AT ITER 319 NEW BEST:: SOT 39914 SOS 26690 HAS SOPS 26690 HAS SOUS 22739 HAS SOUPS 22739 WITH SCORE 22765.69
AT ITER 323 NEW BEST:: SOT 39759 SOS 26598 HAS SOPS 26598 HAS SOUS 22677 HAS SOUPS 22677 WITH SCORE 22703.598
AT ITER 327 NEW BEST:: SOT 39758 SOS 26596 HAS SOPS 26596 HAS SOUS 22675 HAS SOUPS 22675 WITH SCORE 22701.596
AT ITER 335 NEW BEST:: SOT 39752 SOS 26590 HAS SOPS 26590 HAS SOUS 22669 HAS SOUPS 22669 WITH SCORE 22695.59
AT ITER 340 NEW BEST:: SOT 39767 SOS 26568 HAS SOPS 26568 HAS SOUS 22658 HAS SOUPS 22658 WITH SCORE 22684.568
AT ITER 341 NEW BEST:: SOT 39695 SOS 26535 HAS SOPS 26535 HAS SOUS 22625 HAS SOUPS 22625 WITH SCORE 22651.535
AT ITER 346 NEW BEST:: SOT 39661 SOS 26501 HAS SOPS 26501 HAS SOUS 22591 HAS SOUPS 22591 WITH SCORE 22617.501
AT ITER 355 NEW BEST:: SOT 39639 SOS 26473 HAS SOPS 26473 HAS SOUS 22563 HAS SOUPS 22563 WITH SCORE 22589.473
AT ITER 356 NEW BEST:: SOT 39639 SOS 26448 HAS SOPS 26448 HAS SOUS 22538 HAS SOUPS 22538 WITH SCORE 22564.448
AT ITER 357 NEW BEST:: SOT 39639 SOS 26441 HAS SOPS 26441 HAS SOUS 22531 HAS SOUPS 22531 WITH SCORE 22557.441
AT ITER 359 NEW BEST:: SOT 39609 SOS 26411 HAS SOPS 26411 HAS SOUS 22501 HAS SOUPS 22501 WITH SCORE 22527.411
AT ITER 364 NEW BEST:: SOT 39654 SOS 26413 HAS SOPS 26413 HAS SOUS 22492 HAS SOUPS 22492 WITH SCORE 22518.413
AT ITER 365 NEW BEST:: SOT 39671 SOS 26457 HAS SOPS 26457 HAS SOUS 22442 HAS SOUPS 22442 WITH SCORE 22468.457
AT ITER 371 NEW BEST:: SOT 39671 SOS 26446 HAS SOPS 26446 HAS SOUS 22431 HAS SOUPS 22431 WITH SCORE 22457.446
AT ITER 387 NEW BEST:: SOT 39584 SOS 26361 HAS SOPS 26361 HAS SOUS 22415 HAS SOUPS 22415 WITH SCORE 22441.361
AT ITER 388 NEW BEST:: SOT 39576 SOS 26353 HAS SOPS 26353 HAS SOUS 22407 HAS SOUPS 22407 WITH SCORE 22433.353
AT ITER 389 NEW BEST:: SOT 39501 SOS 26245 HAS SOPS 26245 HAS SOUS 22299 HAS SOUPS 22299 WITH SCORE 22325.245
AT ITER 391 NEW BEST:: SOT 39453 SOS 26197 HAS SOPS 26197 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22277.197
AT ITER 404 NEW BEST:: SOT 39382 SOS 26126 HAS SOPS 26126 HAS SOUS 22180 HAS SOUPS 22180 WITH SCORE 22206.126
AT ITER 410 NEW BEST:: SOT 39396 SOS 26094 HAS SOPS 26094 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22148.094
AT ITER 412 NEW BEST:: SOT 39353 SOS 26053 HAS SOPS 26053 HAS SOUS 22081 HAS SOUPS 22081 WITH SCORE 22107.053
AT ITER 419 NEW BEST:: SOT 39335 SOS 25999 HAS SOPS 25999 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22069.999
AT ITER 421 NEW BEST:: SOT 39330 SOS 25994 HAS SOPS 25994 HAS SOUS 22039 HAS SOUPS 22039 WITH SCORE 22064.994
AT ITER 423 NEW BEST:: SOT 39330 SOS 25854 HAS SOPS 25854 HAS SOUS 22014 HAS SOUPS 22014 WITH SCORE 22039.854
AT ITER 425 NEW BEST:: SOT 39313 SOS 25820 HAS SOPS 25820 HAS SOUS 21980 HAS SOUPS 21980 WITH SCORE 22005.82
AT ITER 427 NEW BEST:: SOT 39285 SOS 25736 HAS SOPS 25736 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21893.736
AT ITER 430 NEW BEST:: SOT 39108 SOS 25577 HAS SOPS 25577 HAS SOUS 21719 HAS SOUPS 21719 WITH SCORE 21744.577
AT ITER 431 NEW BEST:: SOT 39063 SOS 25532 HAS SOPS 25532 HAS SOUS 21674 HAS SOUPS 21674 WITH SCORE 21699.532
AT ITER 433 NEW BEST:: SOT 38935 SOS 25433 HAS SOPS 25433 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21600.433
AT ITER 442 NEW BEST:: SOT 38847 SOS 25352 HAS SOPS 25352 HAS SOUS 21494 HAS SOUPS 21494 WITH SCORE 21519.352
AT ITER 443 NEW BEST:: SOT 38855 SOS 25380 HAS SOPS 25380 HAS SOUS 21487 HAS SOUPS 21487 WITH SCORE 21512.38
AT ITER 444 NEW BEST:: SOT 38660 SOS 25185 HAS SOPS 25185 HAS SOUS 21179 HAS SOUPS 21179 WITH SCORE 21204.185
AT ITER 452 NEW BEST:: SOT 38642 SOS 25158 HAS SOPS 25158 HAS SOUS 21170 HAS SOUPS 21170 WITH SCORE 21195.158
AT ITER 454 NEW BEST:: SOT 38616 SOS 25018 HAS SOPS 25018 HAS SOUS 21158 HAS SOUPS 21158 WITH SCORE 21183.018
AT ITER 466 NEW BEST:: SOT 38516 SOS 24918 HAS SOPS 24918 HAS SOUS 21058 HAS SOUPS 21058 WITH SCORE 21082.918
AT ITER 474 NEW BEST:: SOT 38500 SOS 25002 HAS SOPS 25002 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21008.002
AT ITER 478 NEW BEST:: SOT 38456 SOS 24955 HAS SOPS 24955 HAS SOUS 20935 HAS SOUPS 20935 WITH SCORE 20959.955
AT ITER 486 NEW BEST:: SOT 38434 SOS 24902 HAS SOPS 24902 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20953.902
AT ITER 488 NEW BEST:: SOT 38434 SOS 24852 HAS SOPS 24852 HAS SOUS 20879 HAS SOUPS 20879 WITH SCORE 20903.852
AT ITER 489 NEW BEST:: SOT 38433 SOS 24853 HAS SOPS 24853 HAS SOUS 20868 HAS SOUPS 20868 WITH SCORE 20892.853
AT ITER 494 NEW BEST:: SOT 38425 SOS 24841 HAS SOPS 24841 HAS SOUS 20848 HAS SOUPS 20848 WITH SCORE 20872.841
AT ITER 498 NEW BEST:: SOT 38443 SOS 24837 HAS SOPS 24837 HAS SOUS 20807 HAS SOUPS 20807 WITH SCORE 20831.837
AT ITER 501 NEW BEST:: SOT 38423 SOS 24793 HAS SOPS 24793 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20811.793
AT ITER 506 NEW BEST:: SOT 38430 SOS 24793 HAS SOPS 24793 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20810.793
AT ITER 511 NEW BEST:: SOT 38462 SOS 24703 HAS SOPS 24703 HAS SOUS 20729 HAS SOUPS 20729 WITH SCORE 20753.703
AT ITER 514 NEW BEST:: SOT 38440 SOS 24681 HAS SOPS 24681 HAS SOUS 20707 HAS SOUPS 20707 WITH SCORE 20731.681
AT ITER 524 NEW BEST:: SOT 38430 SOS 24671 HAS SOPS 24671 HAS SOUS 20697 HAS SOUPS 20697 WITH SCORE 20721.671
AT ITER 541 NEW BEST:: SOT 38364 SOS 24593 HAS SOPS 24593 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20661.593
AT ITER 552 NEW BEST:: SOT 38303 SOS 24566 HAS SOPS 24566 HAS SOUS 20438 HAS SOUPS 20438 WITH SCORE 20462.566
AT ITER 554 NEW BEST:: SOT 38269 SOS 24519 HAS SOPS 24519 HAS SOUS 20391 HAS SOUPS 20391 WITH SCORE 20415.519
AT ITER 555 NEW BEST:: SOT 38248 SOS 24498 HAS SOPS 24498 HAS SOUS 20370 HAS SOUPS 20370 WITH SCORE 20394.498
AT ITER 557 NEW BEST:: SOT 38251 SOS 24486 HAS SOPS 24486 HAS SOUS 20358 HAS SOUPS 20358 WITH SCORE 20382.486
AT ITER 562 NEW BEST:: SOT 38247 SOS 24472 HAS SOPS 24472 HAS SOUS 20356 HAS SOUPS 20356 WITH SCORE 20380.472
AT ITER 569 NEW BEST:: SOT 38247 SOS 24280 HAS SOPS 24280 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20026.28
AT ITER 574 NEW BEST:: SOT 38247 SOS 24276 HAS SOPS 24276 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20022.276
AT ITER 584 NEW BEST:: SOT 38253 SOS 24267 HAS SOPS 24267 HAS SOUS 19998 HAS SOUPS 19998 WITH SCORE 20022.267
AT ITER 589 NEW BEST:: SOT 38212 SOS 24222 HAS SOPS 24222 HAS SOUS 19954 HAS SOUPS 19954 WITH SCORE 19978.222
AT ITER 597 NEW BEST:: SOT 38207 SOS 24003 HAS SOPS 24003 HAS SOUS 19815 HAS SOUPS 19815 WITH SCORE 19839.003
AT ITER 602 NEW BEST:: SOT 38198 SOS 23994 HAS SOPS 23994 HAS SOUS 19806 HAS SOUPS 19806 WITH SCORE 19829.994
AT ITER 612 NEW BEST:: SOT 38137 SOS 23872 HAS SOPS 23872 HAS SOUS 19684 HAS SOUPS 19684 WITH SCORE 19707.872
AT ITER 617 NEW BEST:: SOT 38139 SOS 23867 HAS SOPS 23867 HAS SOUS 19679 HAS SOUPS 19679 WITH SCORE 19702.867
AT ITER 622 NEW BEST:: SOT 38138 SOS 23857 HAS SOPS 23857 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19696.857
AT ITER 624 NEW BEST:: SOT 38137 SOS 23855 HAS SOPS 23855 HAS SOUS 19671 HAS SOUPS 19671 WITH SCORE 19694.855
AT ITER 625 NEW BEST:: SOT 38112 SOS 23693 HAS SOPS 23693 HAS SOUS 19602 HAS SOUPS 19602 WITH SCORE 19625.693
AT ITER 626 NEW BEST:: SOT 38059 SOS 23640 HAS SOPS 23640 HAS SOUS 19549 HAS SOUPS 19549 WITH SCORE 19572.64
AT ITER 632 NEW BEST:: SOT 38033 SOS 23614 HAS SOPS 23614 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19546.614
AT ITER 637 NEW BEST:: SOT 38009 SOS 23562 HAS SOPS 23562 HAS SOUS 19435 HAS SOUPS 19435 WITH SCORE 19458.562
AT ITER 645 NEW BEST:: SOT 37877 SOS 23460 HAS SOPS 23460 HAS SOUS 19315 HAS SOUPS 19315 WITH SCORE 19338.46
AT ITER 653 NEW BEST:: SOT 37851 SOS 23434 HAS SOPS 23434 HAS SOUS 19299 HAS SOUPS 19299 WITH SCORE 19322.434
AT ITER 654 NEW BEST:: SOT 37846 SOS 23481 HAS SOPS 23481 HAS SOUS 19292 HAS SOUPS 19292 WITH SCORE 19315.481
AT ITER 660 NEW BEST:: SOT 37822 SOS 23457 HAS SOPS 23457 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19291.457
AT ITER 677 NEW BEST:: SOT 37804 SOS 23439 HAS SOPS 23439 HAS SOUS 19250 HAS SOUPS 19250 WITH SCORE 19273.439
AT ITER 679 NEW BEST:: SOT 37796 SOS 23371 HAS SOPS 23371 HAS SOUS 19182 HAS SOUPS 19182 WITH SCORE 19205.371
AT ITER 681 NEW BEST:: SOT 37771 SOS 23217 HAS SOPS 23217 HAS SOUS 19146 HAS SOUPS 19146 WITH SCORE 19169.217
AT ITER 685 NEW BEST:: SOT 37771 SOS 23201 HAS SOPS 23201 HAS SOUS 19141 HAS SOUPS 19141 WITH SCORE 19164.201
AT ITER 695 NEW BEST:: SOT 37777 SOS 23202 HAS SOPS 23202 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19061.202
AT ITER 705 NEW BEST:: SOT 37777 SOS 23187 HAS SOPS 23187 HAS SOUS 19023 HAS SOUPS 19023 WITH SCORE 19046.187
AT ITER 712 NEW BEST:: SOT 37769 SOS 23179 HAS SOPS 23179 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19038.179
AT ITER 720 NEW BEST:: SOT 37810 SOS 23229 HAS SOPS 23229 HAS SOUS 18925 HAS SOUPS 18925 WITH SCORE 18948.229
AT ITER 727 NEW BEST:: SOT 37828 SOS 23158 HAS SOPS 23158 HAS SOUS 18809 HAS SOUPS 18809 WITH SCORE 18832.158
AT ITER 737 NEW BEST:: SOT 37817 SOS 23083 HAS SOPS 23083 HAS SOUS 18697 HAS SOUPS 18697 WITH SCORE 18720.083
AT ITER 747 NEW BEST:: SOT 37794 SOS 23060 HAS SOPS 23060 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18697.06
AT ITER 748 NEW BEST:: SOT 37778 SOS 23055 HAS SOPS 23055 HAS SOUS 18669 HAS SOUPS 18669 WITH SCORE 18692.055
AT ITER 749 NEW BEST:: SOT 37754 SOS 23027 HAS SOPS 23027 HAS SOUS 18641 HAS SOUPS 18641 WITH SCORE 18664.027
AT ITER 777 NEW BEST:: SOT 37693 SOS 23020 HAS SOPS 23020 HAS SOUS 18634 HAS SOUPS 18634 WITH SCORE 18657.02
AT ITER 787 NEW BEST:: SOT 37690 SOS 23014 HAS SOPS 23014 HAS SOUS 18631 HAS SOUPS 18631 WITH SCORE 18654.014
AT ITER 795 NEW BEST:: SOT 37688 SOS 23006 HAS SOPS 23006 HAS SOUS 18629 HAS SOUPS 18629 WITH SCORE 18652.006
AT ITER 802 NEW BEST:: SOT 37672 SOS 22990 HAS SOPS 22990 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18635.99
AT ITER 811 NEW BEST:: SOT 37665 SOS 22963 HAS SOPS 22963 HAS SOUS 18596 HAS SOUPS 18596 WITH SCORE 18618.963
AT ITER 829 NEW BEST:: SOT 37657 SOS 22907 HAS SOPS 22907 HAS SOUS 18596 HAS SOUPS 18596 WITH SCORE 18618.907
AT ITER 833 NEW BEST:: SOT 37617 SOS 22852 HAS SOPS 22852 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18577.852
AT ITER 840 NEW BEST:: SOT 37636 SOS 22944 HAS SOPS 22944 HAS SOUS 18550 HAS SOUPS 18550 WITH SCORE 18572.944
AT ITER 843 NEW BEST:: SOT 37630 SOS 22933 HAS SOPS 22933 HAS SOUS 18539 HAS SOUPS 18539 WITH SCORE 18561.933
AT ITER 847 NEW BEST:: SOT 37544 SOS 22846 HAS SOPS 22846 HAS SOUS 18452 HAS SOUPS 18452 WITH SCORE 18474.846
AT ITER 864 NEW BEST:: SOT 37483 SOS 22736 HAS SOPS 22736 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18366.736
AT ITER 872 NEW BEST:: SOT 37481 SOS 22734 HAS SOPS 22734 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18364.734
AT ITER 892 NEW BEST:: SOT 37467 SOS 22692 HAS SOPS 22692 HAS SOUS 18328 HAS SOUPS 18328 WITH SCORE 18350.692
AT ITER 898 NEW BEST:: SOT 37339 SOS 22564 HAS SOPS 22564 HAS SOUS 18244 HAS SOUPS 18244 WITH SCORE 18266.564
AT ITER 917 NEW BEST:: SOT 37337 SOS 22519 HAS SOPS 22519 HAS SOUS 18199 HAS SOUPS 18199 WITH SCORE 18221.519
AT ITER 920 NEW BEST:: SOT 37381 SOS 22561 HAS SOPS 22561 HAS SOUS 18189 HAS SOUPS 18189 WITH SCORE 18211.561
AT ITER 925 NEW BEST:: SOT 37388 SOS 22569 HAS SOPS 22569 HAS SOUS 18183 HAS SOUPS 18183 WITH SCORE 18205.569
AT ITER 927 NEW BEST:: SOT 37387 SOS 22568 HAS SOPS 22568 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18204.568
AT ITER 934 NEW BEST:: SOT 37393 SOS 22569 HAS SOPS 22569 HAS SOUS 18181 HAS SOUPS 18181 WITH SCORE 18203.569
AT ITER 939 NEW BEST:: SOT 37407 SOS 22565 HAS SOPS 22565 HAS SOUS 18149 HAS SOUPS 18149 WITH SCORE 18171.565
AT ITER 960 NEW BEST:: SOT 37520 SOS 22534 HAS SOPS 22534 HAS SOUS 18118 HAS SOUPS 18118 WITH SCORE 18140.534
AT ITER 961 NEW BEST:: SOT 37509 SOS 22523 HAS SOPS 22523 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18139.523
AT ITER 983 NEW BEST:: SOT 37508 SOS 22524 HAS SOPS 22524 HAS SOUS 18114 HAS SOUPS 18114 WITH SCORE 18136.524
AT ITER 987 NEW BEST:: SOT 37504 SOS 22520 HAS SOPS 22520 HAS SOUS 18110 HAS SOUPS 18110 WITH SCORE 18132.52
AT ITER 990 NEW BEST:: SOT 37487 SOS 22503 HAS SOPS 22503 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18115.503
AT ITER 997 NEW BEST:: SOT 37535 SOS 22455 HAS SOPS 22455 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18115.455
AT ITER 1009 NEW BEST:: SOT 37551 SOS 22463 HAS SOPS 22463 HAS SOUS 18080 HAS SOUPS 18080 WITH SCORE 18102.463
AT ITER 1015 NEW BEST:: SOT 37513 SOS 22425 HAS SOPS 22425 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18063.425
AT ITER 1019 NEW BEST:: SOT 37480 SOS 22359 HAS SOPS 22359 HAS SOUS 17975 HAS SOUPS 17975 WITH SCORE 17997.359
AT ITER 1023 NEW BEST:: SOT 37454 SOS 22340 HAS SOPS 22340 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17975.34
AT ITER 1025 NEW BEST:: SOT 37454 SOS 22340 HAS SOPS 22340 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17967.34
AT ITER 1030 NEW BEST:: SOT 37444 SOS 22320 HAS SOPS 22320 HAS SOUS 17925 HAS SOUPS 17925 WITH SCORE 17947.32
AT ITER 1048 NEW BEST:: SOT 37423 SOS 22327 HAS SOPS 22327 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17940.327
AT ITER 1050 NEW BEST:: SOT 37390 SOS 22256 HAS SOPS 22256 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17888.256
AT ITER 1060 NEW BEST:: SOT 37383 SOS 22238 HAS SOPS 22238 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17870.238
AT ITER 1065 NEW BEST:: SOT 37383 SOS 22232 HAS SOPS 22232 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17864.232
AT ITER 1076 NEW BEST:: SOT 37355 SOS 22218 HAS SOPS 22218 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17839.218
AT ITER 1091 NEW BEST:: SOT 37420 SOS 22329 HAS SOPS 22329 HAS SOUS 17798 HAS SOUPS 17798 WITH SCORE 17820.329
AT ITER 1096 NEW BEST:: SOT 37414 SOS 22323 HAS SOPS 22323 HAS SOUS 17792 HAS SOUPS 17792 WITH SCORE 17814.323
AT ITER 1102 NEW BEST:: SOT 37360 SOS 22211 HAS SOPS 22211 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17702.211
AT ITER 1105 NEW BEST:: SOT 37320 SOS 22171 HAS SOPS 22171 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17662.171
AT ITER 1112 NEW BEST:: SOT 37298 SOS 22149 HAS SOPS 22149 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17662.149
AT ITER 1119 NEW BEST:: SOT 37244 SOS 22095 HAS SOPS 22095 HAS SOUS 17586 HAS SOUPS 17586 WITH SCORE 17608.095
AT ITER 1131 NEW BEST:: SOT 37208 SOS 22029 HAS SOPS 22029 HAS SOUS 17520 HAS SOUPS 17520 WITH SCORE 17542.029
AT ITER 1132 NEW BEST:: SOT 37204 SOS 22014 HAS SOPS 22014 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17541.014
AT ITER 1133 NEW BEST:: SOT 37163 SOS 21806 HAS SOPS 21806 HAS SOUS 17492 HAS SOUPS 17492 WITH SCORE 17513.806
AT ITER 1140 NEW BEST:: SOT 37139 SOS 21729 HAS SOPS 21729 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17384.729
AT ITER 1159 NEW BEST:: SOT 37139 SOS 21729 HAS SOPS 21729 HAS SOUS 17361 HAS SOUPS 17361 WITH SCORE 17382.729
AT ITER 1165 NEW BEST:: SOT 37133 SOS 21698 HAS SOPS 21698 HAS SOUS 17360 HAS SOUPS 17360 WITH SCORE 17381.698
AT ITER 1166 NEW BEST:: SOT 37109 SOS 21692 HAS SOPS 21692 HAS SOUS 17345 HAS SOUPS 17345 WITH SCORE 17366.692
AT ITER 1167 NEW BEST:: SOT 37134 SOS 21662 HAS SOPS 21662 HAS SOUS 17330 HAS SOUPS 17330 WITH SCORE 17351.662
AT ITER 1170 NEW BEST:: SOT 37132 SOS 21658 HAS SOPS 21658 HAS SOUS 17325 HAS SOUPS 17325 WITH SCORE 17346.658
AT ITER 1174 NEW BEST:: SOT 37114 SOS 21495 HAS SOPS 21495 HAS SOUS 17214 HAS SOUPS 17214 WITH SCORE 17235.495
AT ITER 1175 NEW BEST:: SOT 37127 SOS 21494 HAS SOPS 21494 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17178.494
AT ITER 1206 NEW BEST:: SOT 37193 SOS 21615 HAS SOPS 21615 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17139.615
AT ITER 1207 NEW BEST:: SOT 37059 SOS 21508 HAS SOPS 21508 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16948.508
AT ITER 1215 NEW BEST:: SOT 37043 SOS 21492 HAS SOPS 21492 HAS SOUS 16911 HAS SOUPS 16911 WITH SCORE 16932.492
AT ITER 1217 NEW BEST:: SOT 37035 SOS 21468 HAS SOPS 21468 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16908.468
AT ITER 1219 NEW BEST:: SOT 37029 SOS 21387 HAS SOPS 21387 HAS SOUS 16806 HAS SOUPS 16806 WITH SCORE 16827.387
AT ITER 1239 NEW BEST:: SOT 36989 SOS 21278 HAS SOPS 21278 HAS SOUS 16732 HAS SOUPS 16732 WITH SCORE 16753.278
AT ITER 1257 NEW BEST:: SOT 36989 SOS 21278 HAS SOPS 21278 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16737.278
AT ITER 1279 NEW BEST:: SOT 36922 SOS 21203 HAS SOPS 21203 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16671.203
AT ITER 1281 NEW BEST:: SOT 36924 SOS 21211 HAS SOPS 21211 HAS SOUS 16640 HAS SOUPS 16640 WITH SCORE 16661.211
AT ITER 1288 NEW BEST:: SOT 36901 SOS 21159 HAS SOPS 21159 HAS SOUS 16588 HAS SOUPS 16588 WITH SCORE 16609.159
AT ITER 1301 NEW BEST:: SOT 36901 SOS 20965 HAS SOPS 20965 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16580.965
AT ITER 1329 NEW BEST:: SOT 36891 SOS 20945 HAS SOPS 20945 HAS SOUS 16540 HAS SOUPS 16540 WITH SCORE 16560.945
AT ITER 1338 NEW BEST:: SOT 36907 SOS 20955 HAS SOPS 20955 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16538.955
AT ITER 1354 NEW BEST:: SOT 36907 SOS 20916 HAS SOPS 20916 HAS SOUS 16479 HAS SOUPS 16479 WITH SCORE 16499.916
AT ITER 1356 NEW BEST:: SOT 36907 SOS 20888 HAS SOPS 20888 HAS SOUS 16451 HAS SOUPS 16451 WITH SCORE 16471.888
AT ITER 1358 NEW BEST:: SOT 36903 SOS 20880 HAS SOPS 20880 HAS SOUS 16435 HAS SOUPS 16435 WITH SCORE 16455.88
AT ITER 1363 NEW BEST:: SOT 36887 SOS 20833 HAS SOPS 20833 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16434.833
AT ITER 1375 NEW BEST:: SOT 36913 SOS 20677 HAS SOPS 20677 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16404.677
AT ITER 1377 NEW BEST:: SOT 36929 SOS 20694 HAS SOPS 20694 HAS SOUS 16376 HAS SOUPS 16376 WITH SCORE 16396.694
AT ITER 1378 NEW BEST:: SOT 36902 SOS 20646 HAS SOPS 20646 HAS SOUS 16328 HAS SOUPS 16328 WITH SCORE 16348.646
AT ITER 1388 NEW BEST:: SOT 36902 SOS 20638 HAS SOPS 20638 HAS SOUS 16312 HAS SOUPS 16312 WITH SCORE 16332.638
AT ITER 1406 NEW BEST:: SOT 36902 SOS 20667 HAS SOPS 20667 HAS SOUS 16310 HAS SOUPS 16310 WITH SCORE 16330.667
AT ITER 1420 NEW BEST:: SOT 36850 SOS 20707 HAS SOPS 20707 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16324.707
AT ITER 1435 NEW BEST:: SOT 36848 SOS 20704 HAS SOPS 20704 HAS SOUS 16299 HAS SOUPS 16299 WITH SCORE 16319.704
AT ITER 1441 NEW BEST:: SOT 36769 SOS 20584 HAS SOPS 20584 HAS SOUS 16179 HAS SOUPS 16179 WITH SCORE 16199.584
AT ITER 1457 NEW BEST:: SOT 36737 SOS 20424 HAS SOPS 20424 HAS SOUS 16073 HAS SOUPS 16073 WITH SCORE 16093.424
AT ITER 1493 NEW BEST:: SOT 36727 SOS 20414 HAS SOPS 20414 HAS SOUS 16063 HAS SOUPS 16063 WITH SCORE 16083.414
AT ITER 1508 NEW BEST:: SOT 36719 SOS 20406 HAS SOPS 20406 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16059.406
AT ITER 1509 NEW BEST:: SOT 36718 SOS 20403 HAS SOPS 20403 HAS SOUS 16035 HAS SOUPS 16035 WITH SCORE 16055.403
AT ITER 1535 NEW BEST:: SOT 36696 SOS 20381 HAS SOPS 20381 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16033.381
AT ITER 1539 NEW BEST:: SOT 36646 SOS 20331 HAS SOPS 20331 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15983.331
AT ITER 1553 NEW BEST:: SOT 36646 SOS 20346 HAS SOPS 20346 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15978.346
AT ITER 1579 NEW BEST:: SOT 36652 SOS 20342 HAS SOPS 20342 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15974.342
AT ITER 1584 NEW BEST:: SOT 36652 SOS 20334 HAS SOPS 20334 HAS SOUS 15954 HAS SOUPS 15954 WITH SCORE 15974.334
AT ITER 1586 NEW BEST:: SOT 36657 SOS 20315 HAS SOPS 20315 HAS SOUS 15938 HAS SOUPS 15938 WITH SCORE 15958.315
AT ITER 1602 NEW BEST:: SOT 36644 SOS 20273 HAS SOPS 20273 HAS SOUS 15931 HAS SOUPS 15931 WITH SCORE 15951.273
AT ITER 1606 NEW BEST:: SOT 36637 SOS 20266 HAS SOPS 20266 HAS SOUS 15923 HAS SOUPS 15923 WITH SCORE 15943.266
AT ITER 1608 NEW BEST:: SOT 36722 SOS 20043 HAS SOPS 20043 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15928.043
AT ITER 1609 NEW BEST:: SOT 36713 SOS 20018 HAS SOPS 20018 HAS SOUS 15883 HAS SOUPS 15883 WITH SCORE 15903.018
AT ITER 1614 NEW BEST:: SOT 36689 SOS 19978 HAS SOPS 19978 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15870.978
AT ITER 1615 NEW BEST:: SOT 36677 SOS 19966 HAS SOPS 19966 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15858.966
AT ITER 1622 NEW BEST:: SOT 36651 SOS 19940 HAS SOPS 19940 HAS SOUS 15838 HAS SOUPS 15838 WITH SCORE 15857.94
AT ITER 1631 NEW BEST:: SOT 36643 SOS 19962 HAS SOPS 19962 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15747.962
AT ITER 1634 NEW BEST:: SOT 36619 SOS 19938 HAS SOPS 19938 HAS SOUS 15699 HAS SOUPS 15699 WITH SCORE 15718.938
AT ITER 1636 NEW BEST:: SOT 36622 SOS 19941 HAS SOPS 19941 HAS SOUS 15695 HAS SOUPS 15695 WITH SCORE 15714.941
AT ITER 1639 NEW BEST:: SOT 36560 SOS 19863 HAS SOPS 19863 HAS SOUS 15603 HAS SOUPS 15603 WITH SCORE 15622.863
AT ITER 1656 NEW BEST:: SOT 36565 SOS 19836 HAS SOPS 19836 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15588.836
AT ITER 1657 NEW BEST:: SOT 36561 SOS 19828 HAS SOPS 19828 HAS SOUS 15561 HAS SOUPS 15561 WITH SCORE 15580.828
AT ITER 1660 NEW BEST:: SOT 36431 SOS 19672 HAS SOPS 19672 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15449.672
AT ITER 1666 NEW BEST:: SOT 36428 SOS 19653 HAS SOPS 19653 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15430.653
AT ITER 1675 NEW BEST:: SOT 36409 SOS 19634 HAS SOPS 19634 HAS SOUS 15392 HAS SOUPS 15392 WITH SCORE 15411.634
AT ITER 1679 NEW BEST:: SOT 36393 SOS 19554 HAS SOPS 19554 HAS SOUS 15360 HAS SOUPS 15360 WITH SCORE 15379.554
AT ITER 1691 NEW BEST:: SOT 36449 SOS 19571 HAS SOPS 19571 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15345.571
AT ITER 1694 NEW BEST:: SOT 36444 SOS 19566 HAS SOPS 19566 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15345.566
AT ITER 1699 NEW BEST:: SOT 36464 SOS 19708 HAS SOPS 19708 HAS SOUS 15315 HAS SOUPS 15315 WITH SCORE 15334.708
AT ITER 1722 NEW BEST:: SOT 36444 SOS 19676 HAS SOPS 19676 HAS SOUS 15283 HAS SOUPS 15283 WITH SCORE 15302.676
AT ITER 1737 NEW BEST:: SOT 36395 SOS 19651 HAS SOPS 19651 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15277.651
AT ITER 1739 NEW BEST:: SOT 36389 SOS 19641 HAS SOPS 19641 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15274.641
AT ITER 1743 NEW BEST:: SOT 36287 SOS 19515 HAS SOPS 19515 HAS SOUS 15129 HAS SOUPS 15129 WITH SCORE 15148.515
AT ITER 1748 NEW BEST:: SOT 36277 SOS 19432 HAS SOPS 19432 HAS SOUS 15060 HAS SOUPS 15060 WITH SCORE 15079.432
AT ITER 1750 NEW BEST:: SOT 36202 SOS 19333 HAS SOPS 19333 HAS SOUS 15040 HAS SOUPS 15040 WITH SCORE 15059.333
AT ITER 1767 NEW BEST:: SOT 36185 SOS 19316 HAS SOPS 19316 HAS SOUS 15023 HAS SOUPS 15023 WITH SCORE 15042.316
AT ITER 1768 NEW BEST:: SOT 36149 SOS 19233 HAS SOPS 19233 HAS SOUS 14940 HAS SOUPS 14940 WITH SCORE 14959.233
AT ITER 1784 NEW BEST:: SOT 36149 SOS 19157 HAS SOPS 19157 HAS SOUS 14902 HAS SOUPS 14902 WITH SCORE 14921.157
AT ITER 1816 NEW BEST:: SOT 36147 SOS 19155 HAS SOPS 19155 HAS SOUS 14900 HAS SOUPS 14900 WITH SCORE 14919.155
AT ITER 1831 NEW BEST:: SOT 36145 SOS 19153 HAS SOPS 19153 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14917.153
AT ITER 1837 NEW BEST:: SOT 36123 SOS 19112 HAS SOPS 19112 HAS SOUS 14857 HAS SOUPS 14857 WITH SCORE 14876.112
AT ITER 1873 NEW BEST:: SOT 36147 SOS 19105 HAS SOPS 19105 HAS SOUS 14850 HAS SOUPS 14850 WITH SCORE 14869.105
AT ITER 1874 NEW BEST:: SOT 36158 SOS 19223 HAS SOPS 19223 HAS SOUS 14844 HAS SOUPS 14844 WITH SCORE 14863.223
AT ITER 1881 NEW BEST:: SOT 36113 SOS 19023 HAS SOPS 19023 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14826.023
AT ITER 1884 NEW BEST:: SOT 36113 SOS 19017 HAS SOPS 19017 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14826.017
AT ITER 1886 NEW BEST:: SOT 36118 SOS 18978 HAS SOPS 18978 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14776.978
AT ITER 1895 NEW BEST:: SOT 36097 SOS 18944 HAS SOPS 18944 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14749.944
AT ITER 1907 NEW BEST:: SOT 36097 SOS 18940 HAS SOPS 18940 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14721.94
AT ITER 1913 NEW BEST:: SOT 36105 SOS 18934 HAS SOPS 18934 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14715.934
AT ITER 1926 NEW BEST:: SOT 36105 SOS 18724 HAS SOPS 18724 HAS SOUS 14637 HAS SOUPS 14637 WITH SCORE 14655.724
AT ITER 1956 NEW BEST:: SOT 36101 SOS 18720 HAS SOPS 18720 HAS SOUS 14633 HAS SOUPS 14633 WITH SCORE 14651.72
AT ITER 1982 NEW BEST:: SOT 36096 SOS 18695 HAS SOPS 18695 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14641.695
AT ITER 1992 NEW BEST:: SOT 36092 SOS 18687 HAS SOPS 18687 HAS SOUS 14619 HAS SOUPS 14619 WITH SCORE 14637.687
AT ITER 1998 NEW BEST:: SOT 36080 SOS 18667 HAS SOPS 18667 HAS SOUS 14599 HAS SOUPS 14599 WITH SCORE 14617.667
AT ITER 2004 NEW BEST:: SOT 36080 SOS 18642 HAS SOPS 18642 HAS SOUS 14581 HAS SOUPS 14581 WITH SCORE 14599.642
AT ITER 2005 NEW BEST:: SOT 36077 SOS 18579 HAS SOPS 18579 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14571.579
AT ITER 2022 NEW BEST:: SOT 36047 SOS 18536 HAS SOPS 18536 HAS SOUS 14510 HAS SOUPS 14510 WITH SCORE 14528.536
AT ITER 2054 NEW BEST:: SOT 35990 SOS 18465 HAS SOPS 18465 HAS SOUS 14439 HAS SOUPS 14439 WITH SCORE 14457.465
AT ITER 2059 NEW BEST:: SOT 35968 SOS 18454 HAS SOPS 18454 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14445.454
AT ITER 2073 NEW BEST:: SOT 35919 SOS 18405 HAS SOPS 18405 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14445.405
AT ITER 2119 NEW BEST:: SOT 35911 SOS 18397 HAS SOPS 18397 HAS SOUS 14423 HAS SOUPS 14423 WITH SCORE 14441.397
AT ITER 2148 NEW BEST:: SOT 35905 SOS 18391 HAS SOPS 18391 HAS SOUS 14420 HAS SOUPS 14420 WITH SCORE 14438.391
AT ITER 2155 NEW BEST:: SOT 35892 SOS 18381 HAS SOPS 18381 HAS SOUS 14410 HAS SOUPS 14410 WITH SCORE 14428.381
AT ITER 2183 NEW BEST:: SOT 35879 SOS 18355 HAS SOPS 18355 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14419.355
AT ITER 2189 NEW BEST:: SOT 35884 SOS 18365 HAS SOPS 18365 HAS SOUS 14396 HAS SOUPS 14396 WITH SCORE 14414.365
AT ITER 2226 NEW BEST:: SOT 35851 SOS 18332 HAS SOPS 18332 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14381.332
AT ITER 2230 NEW BEST:: SOT 35833 SOS 18290 HAS SOPS 18290 HAS SOUS 14321 HAS SOUPS 14321 WITH SCORE 14339.29
AT ITER 2233 NEW BEST:: SOT 35789 SOS 18246 HAS SOPS 18246 HAS SOUS 14292 HAS SOUPS 14292 WITH SCORE 14310.246
AT ITER 2246 NEW BEST:: SOT 35789 SOS 18237 HAS SOPS 18237 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14301.237
AT ITER 2264 NEW BEST:: SOT 35779 SOS 18227 HAS SOPS 18227 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14291.227
AT ITER 2282 NEW BEST:: SOT 35716 SOS 18195 HAS SOPS 18195 HAS SOUS 14241 HAS SOUPS 14241 WITH SCORE 14259.195
AT ITER 2289 NEW BEST:: SOT 35771 SOS 18220 HAS SOPS 18220 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14233.22
AT ITER 2291 NEW BEST:: SOT 35771 SOS 18218 HAS SOPS 18218 HAS SOUS 14213 HAS SOUPS 14213 WITH SCORE 14231.218
AT ITER 2324 NEW BEST:: SOT 35669 SOS 18147 HAS SOPS 18147 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14223.147
AT ITER 2329 NEW BEST:: SOT 35663 SOS 18129 HAS SOPS 18129 HAS SOUS 14182 HAS SOUPS 14182 WITH SCORE 14200.129
AT ITER 2351 NEW BEST:: SOT 35662 SOS 18117 HAS SOPS 18117 HAS SOUS 14159 HAS SOUPS 14159 WITH SCORE 14177.117
AT ITER 2367 NEW BEST:: SOT 35692 SOS 18110 HAS SOPS 18110 HAS SOUS 14152 HAS SOUPS 14152 WITH SCORE 14170.11
AT ITER 2373 NEW BEST:: SOT 35601 SOS 18065 HAS SOPS 18065 HAS SOUS 14107 HAS SOUPS 14107 WITH SCORE 14125.065
AT ITER 2381 NEW BEST:: SOT 35601 SOS 18057 HAS SOPS 18057 HAS SOUS 14068 HAS SOUPS 14068 WITH SCORE 14086.057
AT ITER 2394 NEW BEST:: SOT 35570 SOS 17986 HAS SOPS 17986 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14034.986
AT ITER 2416 NEW BEST:: SOT 35489 SOS 17942 HAS SOPS 17942 HAS SOUS 13973 HAS SOUPS 13973 WITH SCORE 13990.942
AT ITER 2417 NEW BEST:: SOT 35489 SOS 17936 HAS SOPS 17936 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13984.936
AT ITER 2418 NEW BEST:: SOT 35556 SOS 17933 HAS SOPS 17933 HAS SOUS 13931 HAS SOUPS 13931 WITH SCORE 13948.933
AT ITER 2420 NEW BEST:: SOT 35557 SOS 17933 HAS SOPS 17933 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13947.933
AT ITER 2435 NEW BEST:: SOT 35424 SOS 17818 HAS SOPS 17818 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13928.818
AT ITER 2439 NEW BEST:: SOT 35401 SOS 17803 HAS SOPS 17803 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13926.803
AT ITER 2487 NEW BEST:: SOT 35399 SOS 17801 HAS SOPS 17801 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13924.801
AT ITER 2498 NEW BEST:: SOT 35399 SOS 17792 HAS SOPS 17792 HAS SOUS 13907 HAS SOUPS 13907 WITH SCORE 13924.792
AT ITER 2508 NEW BEST:: SOT 35397 SOS 17669 HAS SOPS 17669 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13882.669
AT ITER 2511 NEW BEST:: SOT 35402 SOS 17658 HAS SOPS 17658 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13869.658
AT ITER 2522 NEW BEST:: SOT 35400 SOS 17656 HAS SOPS 17656 HAS SOUS 13849 HAS SOUPS 13849 WITH SCORE 13866.656
AT ITER 2545 NEW BEST:: SOT 35394 SOS 17650 HAS SOPS 17650 HAS SOUS 13843 HAS SOUPS 13843 WITH SCORE 13860.65
AT ITER 2558 NEW BEST:: SOT 35353 SOS 17570 HAS SOPS 17570 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13734.57
AT ITER 2564 NEW BEST:: SOT 35344 SOS 17561 HAS SOPS 17561 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13725.561
AT ITER 2569 NEW BEST:: SOT 35336 SOS 17553 HAS SOPS 17553 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13717.553
AT ITER 2602 NEW BEST:: SOT 35241 SOS 17482 HAS SOPS 17482 HAS SOUS 13661 HAS SOUPS 13661 WITH SCORE 13678.482
AT ITER 2605 NEW BEST:: SOT 35241 SOS 17471 HAS SOPS 17471 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13675.471
AT ITER 2611 NEW BEST:: SOT 35230 SOS 17452 HAS SOPS 17452 HAS SOUS 13643 HAS SOUPS 13643 WITH SCORE 13660.452
AT ITER 2673 NEW BEST:: SOT 35223 SOS 17434 HAS SOPS 17434 HAS SOUS 13612 HAS SOUPS 13612 WITH SCORE 13629.434
AT ITER 2683 NEW BEST:: SOT 35225 SOS 17436 HAS SOPS 17436 HAS SOUS 13610 HAS SOUPS 13610 WITH SCORE 13627.436
AT ITER 2686 NEW BEST:: SOT 35203 SOS 17396 HAS SOPS 17396 HAS SOUS 13570 HAS SOUPS 13570 WITH SCORE 13587.396
AT ITER 2698 NEW BEST:: SOT 35210 SOS 17387 HAS SOPS 17387 HAS SOUS 13539 HAS SOUPS 13539 WITH SCORE 13556.387
AT ITER 2701 NEW BEST:: SOT 35209 SOS 17379 HAS SOPS 17379 HAS SOUS 13531 HAS SOUPS 13531 WITH SCORE 13548.379
AT ITER 2707 NEW BEST:: SOT 35187 SOS 17334 HAS SOPS 17334 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13513.334
AT ITER 2712 NEW BEST:: SOT 35187 SOS 17284 HAS SOPS 17284 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13463.284
AT ITER 2722 NEW BEST:: SOT 35212 SOS 17309 HAS SOPS 17309 HAS SOUS 13435 HAS SOUPS 13435 WITH SCORE 13452.309
AT ITER 2724 NEW BEST:: SOT 35215 SOS 17314 HAS SOPS 17314 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13450.314
AT ITER 2730 NEW BEST:: SOT 35215 SOS 17308 HAS SOPS 17308 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13444.308
AT ITER 2739 NEW BEST:: SOT 35206 SOS 17296 HAS SOPS 17296 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13432.296
AT ITER 2747 NEW BEST:: SOT 35198 SOS 17264 HAS SOPS 17264 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13432.264
AT ITER 2757 NEW BEST:: SOT 35180 SOS 17234 HAS SOPS 17234 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13402.234
AT ITER 2798 NEW BEST:: SOT 35102 SOS 17143 HAS SOPS 17143 HAS SOUS 13294 HAS SOUPS 13294 WITH SCORE 13311.143
AT ITER 2800 NEW BEST:: SOT 35098 SOS 17103 HAS SOPS 17103 HAS SOUS 13284 HAS SOUPS 13284 WITH SCORE 13301.103
AT ITER 2836 NEW BEST:: SOT 35080 SOS 16871 HAS SOPS 16871 HAS SOUS 13215 HAS SOUPS 13215 WITH SCORE 13231.871
AT ITER 2851 NEW BEST:: SOT 35076 SOS 16854 HAS SOPS 16854 HAS SOUS 13190 HAS SOUPS 13190 WITH SCORE 13206.854
AT ITER 2890 NEW BEST:: SOT 35069 SOS 17010 HAS SOPS 17010 HAS SOUS 13174 HAS SOUPS 13174 WITH SCORE 13191.01
AT ITER 2909 NEW BEST:: SOT 35068 SOS 17007 HAS SOPS 17007 HAS SOUS 13163 HAS SOUPS 13163 WITH SCORE 13180.007
AT ITER 2974 NEW BEST:: SOT 35059 SOS 16977 HAS SOPS 16977 HAS SOUS 13133 HAS SOUPS 13133 WITH SCORE 13149.977
AT ITER 2994 NEW BEST:: SOT 35059 SOS 16881 HAS SOPS 16881 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13115.881
AT ITER 3017 NEW BEST:: SOT 35062 SOS 16873 HAS SOPS 16873 HAS SOUS 13046 HAS SOUPS 13046 WITH SCORE 13062.873
AT ITER 3026 NEW BEST:: SOT 35053 SOS 16868 HAS SOPS 16868 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13040.868
AT ITER 3048 NEW BEST:: SOT 35031 SOS 16828 HAS SOPS 16828 HAS SOUS 13018 HAS SOUPS 13018 WITH SCORE 13034.828
AT ITER 3051 NEW BEST:: SOT 35043 SOS 16840 HAS SOPS 16840 HAS SOUS 13009 HAS SOUPS 13009 WITH SCORE 13025.84
AT ITER 3053 NEW BEST:: SOT 35048 SOS 16795 HAS SOPS 16795 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12981.795
AT ITER 3072 NEW BEST:: SOT 35036 SOS 16781 HAS SOPS 16781 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12966.781
AT ITER 3073 NEW BEST:: SOT 35036 SOS 16723 HAS SOPS 16723 HAS SOUS 12921 HAS SOUPS 12921 WITH SCORE 12937.723
AT ITER 3074 NEW BEST:: SOT 35071 SOS 16664 HAS SOPS 16664 HAS SOUS 12917 HAS SOUPS 12917 WITH SCORE 12933.664
AT ITER 3095 NEW BEST:: SOT 35055 SOS 16648 HAS SOPS 16648 HAS SOUS 12901 HAS SOUPS 12901 WITH SCORE 12917.648
AT ITER 3097 NEW BEST:: SOT 35049 SOS 16627 HAS SOPS 16627 HAS SOUS 12892 HAS SOUPS 12892 WITH SCORE 12908.627
AT ITER 3102 NEW BEST:: SOT 35026 SOS 16604 HAS SOPS 16604 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12885.604
AT ITER 3137 NEW BEST:: SOT 35026 SOS 16560 HAS SOPS 16560 HAS SOUS 12825 HAS SOUPS 12825 WITH SCORE 12841.56
AT ITER 3148 NEW BEST:: SOT 35024 SOS 16558 HAS SOPS 16558 HAS SOUS 12823 HAS SOUPS 12823 WITH SCORE 12839.558
AT ITER 3165 NEW BEST:: SOT 35016 SOS 16544 HAS SOPS 16544 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12825.544
AT ITER 3196 NEW BEST:: SOT 35007 SOS 16535 HAS SOPS 16535 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12819.535
AT ITER 3210 NEW BEST:: SOT 35007 SOS 16534 HAS SOPS 16534 HAS SOUS 12801 HAS SOUPS 12801 WITH SCORE 12817.534
AT ITER 3218 NEW BEST:: SOT 35003 SOS 16511 HAS SOPS 16511 HAS SOUS 12788 HAS SOUPS 12788 WITH SCORE 12804.511
AT ITER 3236 NEW BEST:: SOT 34993 SOS 16506 HAS SOPS 16506 HAS SOUS 12783 HAS SOUPS 12783 WITH SCORE 12799.506
AT ITER 3265 NEW BEST:: SOT 34991 SOS 16504 HAS SOPS 16504 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12797.504
AT ITER 3301 NEW BEST:: SOT 34991 SOS 16471 HAS SOPS 16471 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12789.471
AT ITER 3325 NEW BEST:: SOT 34991 SOS 16463 HAS SOPS 16463 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12789.463
AT ITER 3335 NEW BEST:: SOT 34997 SOS 16439 HAS SOPS 16439 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12765.439
AT ITER 3340 NEW BEST:: SOT 34997 SOS 16415 HAS SOPS 16415 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12765.415
AT ITER 3341 NEW BEST:: SOT 34960 SOS 16347 HAS SOPS 16347 HAS SOUS 12681 HAS SOUPS 12681 WITH SCORE 12697.347
AT ITER 3343 NEW BEST:: SOT 34962 SOS 16306 HAS SOPS 16306 HAS SOUS 12670 HAS SOUPS 12670 WITH SCORE 12686.306
AT ITER 3345 NEW BEST:: SOT 34959 SOS 16304 HAS SOPS 16304 HAS SOUS 12661 HAS SOUPS 12661 WITH SCORE 12677.304
AT ITER 3384 NEW BEST:: SOT 34934 SOS 16279 HAS SOPS 16279 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12652.279
AT ITER 3415 NEW BEST:: SOT 34875 SOS 16174 HAS SOPS 16174 HAS SOUS 12531 HAS SOUPS 12531 WITH SCORE 12547.174
AT ITER 3434 NEW BEST:: SOT 34873 SOS 16169 HAS SOPS 16169 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12542.169
AT ITER 3439 NEW BEST:: SOT 34873 SOS 16159 HAS SOPS 16159 HAS SOUS 12526 HAS SOUPS 12526 WITH SCORE 12542.159
AT ITER 3445 NEW BEST:: SOT 34867 SOS 16153 HAS SOPS 16153 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12536.153
AT ITER 3470 NEW BEST:: SOT 34865 SOS 16151 HAS SOPS 16151 HAS SOUS 12518 HAS SOUPS 12518 WITH SCORE 12534.151
AT ITER 3475 NEW BEST:: SOT 34836 SOS 16122 HAS SOPS 16122 HAS SOUS 12489 HAS SOUPS 12489 WITH SCORE 12505.122
AT ITER 3546 NEW BEST:: SOT 34836 SOS 16090 HAS SOPS 16090 HAS SOUS 12473 HAS SOUPS 12473 WITH SCORE 12489.09
AT ITER 3547 NEW BEST:: SOT 34853 SOS 16094 HAS SOPS 16094 HAS SOUS 12469 HAS SOUPS 12469 WITH SCORE 12485.094
AT ITER 3564 NEW BEST:: SOT 34850 SOS 16091 HAS SOPS 16091 HAS SOUS 12466 HAS SOUPS 12466 WITH SCORE 12482.091
AT ITER 3580 NEW BEST:: SOT 34850 SOS 15915 HAS SOPS 15915 HAS SOUS 12438 HAS SOUPS 12438 WITH SCORE 12453.915
AT ITER 3620 NEW BEST:: SOT 34817 SOS 15850 HAS SOPS 15850 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12447.85
AT ITER 3656 NEW BEST:: SOT 34814 SOS 15818 HAS SOPS 15818 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12428.818
AT ITER 3672 NEW BEST:: SOT 34758 SOS 15667 HAS SOPS 15667 HAS SOUS 12362 HAS SOUPS 12362 WITH SCORE 12377.667
AT ITER 3675 NEW BEST:: SOT 34793 SOS 15629 HAS SOPS 15629 HAS SOUS 12327 HAS SOUPS 12327 WITH SCORE 12342.629
AT ITER 3683 NEW BEST:: SOT 34781 SOS 15604 HAS SOPS 15604 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12317.604
AT ITER 3709 NEW BEST:: SOT 34780 SOS 15603 HAS SOPS 15603 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12316.603
AT ITER 3712 NEW BEST:: SOT 34786 SOS 15597 HAS SOPS 15597 HAS SOUS 12301 HAS SOUPS 12301 WITH SCORE 12316.597
AT ITER 3745 NEW BEST:: SOT 34779 SOS 15602 HAS SOPS 15602 HAS SOUS 12298 HAS SOUPS 12298 WITH SCORE 12313.602
AT ITER 3764 NEW BEST:: SOT 34779 SOS 15592 HAS SOPS 15592 HAS SOUS 12294 HAS SOUPS 12294 WITH SCORE 12309.592
AT ITER 3785 NEW BEST:: SOT 34763 SOS 15621 HAS SOPS 15621 HAS SOUS 12280 HAS SOUPS 12280 WITH SCORE 12295.621
AT ITER 3792 NEW BEST:: SOT 34749 SOS 15605 HAS SOPS 15605 HAS SOUS 12264 HAS SOUPS 12264 WITH SCORE 12279.605
AT ITER 3833 NEW BEST:: SOT 34749 SOS 15526 HAS SOPS 15526 HAS SOUS 12238 HAS SOUPS 12238 WITH SCORE 12253.526
AT ITER 3848 NEW BEST:: SOT 34677 SOS 15454 HAS SOPS 15454 HAS SOUS 12204 HAS SOUPS 12204 WITH SCORE 12219.454
AT ITER 3855 NEW BEST:: SOT 34681 SOS 15444 HAS SOPS 15444 HAS SOUS 12200 HAS SOUPS 12200 WITH SCORE 12215.444
AT ITER 3858 NEW BEST:: SOT 34675 SOS 15438 HAS SOPS 15438 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12213.438
AT ITER 3863 NEW BEST:: SOT 34674 SOS 15437 HAS SOPS 15437 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12212.437
AT ITER 3891 NEW BEST:: SOT 34650 SOS 15410 HAS SOPS 15410 HAS SOUS 12188 HAS SOUPS 12188 WITH SCORE 12203.41
AT ITER 3935 NEW BEST:: SOT 34614 SOS 15369 HAS SOPS 15369 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12156.369
AT ITER 3970 NEW BEST:: SOT 34606 SOS 15361 HAS SOPS 15361 HAS SOUS 12133 HAS SOUPS 12133 WITH SCORE 12148.361
AT ITER 4015 NEW BEST:: SOT 34595 SOS 15350 HAS SOPS 15350 HAS SOUS 12122 HAS SOUPS 12122 WITH SCORE 12137.35
AT ITER 4027 NEW BEST:: SOT 34597 SOS 15347 HAS SOPS 15347 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12136.347
AT ITER 4038 NEW BEST:: SOT 34590 SOS 15340 HAS SOPS 15340 HAS SOUS 12114 HAS SOUPS 12114 WITH SCORE 12129.34
AT ITER 4050 NEW BEST:: SOT 34580 SOS 15291 HAS SOPS 15291 HAS SOUS 12104 HAS SOUPS 12104 WITH SCORE 12119.291
AT ITER 4071 NEW BEST:: SOT 34606 SOS 15288 HAS SOPS 15288 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12118.288
AT ITER 4082 NEW BEST:: SOT 34599 SOS 15284 HAS SOPS 15284 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12118.284
AT ITER 4100 NEW BEST:: SOT 34568 SOS 15253 HAS SOPS 15253 HAS SOUS 12072 HAS SOUPS 12072 WITH SCORE 12087.253
AT ITER 4101 NEW BEST:: SOT 34565 SOS 15225 HAS SOPS 15225 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12079.225
AT ITER 4106 NEW BEST:: SOT 34559 SOS 15170 HAS SOPS 15170 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12061.17
AT ITER 4116 NEW BEST:: SOT 34573 SOS 15173 HAS SOPS 15173 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12057.173
AT ITER 4133 NEW BEST:: SOT 34571 SOS 15140 HAS SOPS 15140 HAS SOUS 12030 HAS SOUPS 12030 WITH SCORE 12045.14
AT ITER 4175 NEW BEST:: SOT 34554 SOS 15117 HAS SOPS 15117 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12022.117
AT ITER 4196 NEW BEST:: SOT 34556 SOS 15115 HAS SOPS 15115 HAS SOUS 12007 HAS SOUPS 12007 WITH SCORE 12022.115
AT ITER 4207 NEW BEST:: SOT 34534 SOS 15066 HAS SOPS 15066 HAS SOUS 11966 HAS SOUPS 11966 WITH SCORE 11981.066
AT ITER 4220 NEW BEST:: SOT 34514 SOS 15046 HAS SOPS 15046 HAS SOUS 11946 HAS SOUPS 11946 WITH SCORE 11961.046
AT ITER 4225 NEW BEST:: SOT 34510 SOS 15036 HAS SOPS 15036 HAS SOUS 11936 HAS SOUPS 11936 WITH SCORE 11951.036
AT ITER 4227 NEW BEST:: SOT 34510 SOS 15020 HAS SOPS 15020 HAS SOUS 11928 HAS SOUPS 11928 WITH SCORE 11943.02
AT ITER 4268 NEW BEST:: SOT 34510 SOS 14930 HAS SOPS 14930 HAS SOUS 11883 HAS SOUPS 11883 WITH SCORE 11897.93
AT ITER 4279 NEW BEST:: SOT 34510 SOS 14926 HAS SOPS 14926 HAS SOUS 11863 HAS SOUPS 11863 WITH SCORE 11877.926
AT ITER 4291 NEW BEST:: SOT 34510 SOS 14923 HAS SOPS 14923 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11868.923
AT ITER 4302 NEW BEST:: SOT 34501 SOS 14905 HAS SOPS 14905 HAS SOUS 11839 HAS SOUPS 11839 WITH SCORE 11853.905
AT ITER 4305 NEW BEST:: SOT 34500 SOS 14904 HAS SOPS 14904 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11852.904
AT ITER 4320 NEW BEST:: SOT 34513 SOS 14917 HAS SOPS 14917 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11843.917
AT ITER 4321 NEW BEST:: SOT 34511 SOS 14915 HAS SOPS 14915 HAS SOUS 11829 HAS SOUPS 11829 WITH SCORE 11843.915
AT ITER 4323 NEW BEST:: SOT 34511 SOS 14913 HAS SOPS 14913 HAS SOUS 11826 HAS SOUPS 11826 WITH SCORE 11840.913
AT ITER 4355 NEW BEST:: SOT 34502 SOS 14905 HAS SOPS 14905 HAS SOUS 11818 HAS SOUPS 11818 WITH SCORE 11832.905
AT ITER 4380 NEW BEST:: SOT 34438 SOS 14806 HAS SOPS 14806 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11752.806
AT ITER 4413 NEW BEST:: SOT 34438 SOS 14806 HAS SOPS 14806 HAS SOUS 11737 HAS SOUPS 11737 WITH SCORE 11751.806
AT ITER 4425 NEW BEST:: SOT 34435 SOS 14787 HAS SOPS 14787 HAS SOUS 11715 HAS SOUPS 11715 WITH SCORE 11729.787
AT ITER 4427 NEW BEST:: SOT 34450 SOS 14789 HAS SOPS 14789 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11724.789
AT ITER 4440 NEW BEST:: SOT 34456 SOS 14766 HAS SOPS 14766 HAS SOUS 11676 HAS SOUPS 11676 WITH SCORE 11690.766
AT ITER 4460 NEW BEST:: SOT 34454 SOS 14792 HAS SOPS 14792 HAS SOUS 11675 HAS SOUPS 11675 WITH SCORE 11689.792
AT ITER 4461 NEW BEST:: SOT 34452 SOS 14791 HAS SOPS 14791 HAS SOUS 11673 HAS SOUPS 11673 WITH SCORE 11687.791
AT ITER 4497 NEW BEST:: SOT 34452 SOS 14779 HAS SOPS 14779 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11684.779
AT ITER 4561 NEW BEST:: SOT 34452 SOS 14756 HAS SOPS 14756 HAS SOUS 11654 HAS SOUPS 11654 WITH SCORE 11668.756
AT ITER 4572 NEW BEST:: SOT 34440 SOS 14744 HAS SOPS 14744 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11656.744
AT ITER 4591 NEW BEST:: SOT 34416 SOS 14713 HAS SOPS 14713 HAS SOUS 11632 HAS SOUPS 11632 WITH SCORE 11646.713
AT ITER 4592 NEW BEST:: SOT 34400 SOS 14697 HAS SOPS 14697 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11634.697
AT ITER 4598 NEW BEST:: SOT 34397 SOS 14694 HAS SOPS 14694 HAS SOUS 11617 HAS SOUPS 11617 WITH SCORE 11631.694
AT ITER 4605 NEW BEST:: SOT 34399 SOS 14687 HAS SOPS 14687 HAS SOUS 11600 HAS SOUPS 11600 WITH SCORE 11614.687
AT ITER 4647 NEW BEST:: SOT 34398 SOS 14686 HAS SOPS 14686 HAS SOUS 11599 HAS SOUPS 11599 WITH SCORE 11613.686
AT ITER 4681 NEW BEST:: SOT 34398 SOS 14663 HAS SOPS 14663 HAS SOUS 11576 HAS SOUPS 11576 WITH SCORE 11590.663
AT ITER 4685 NEW BEST:: SOT 34392 SOS 14657 HAS SOPS 14657 HAS SOUS 11570 HAS SOUPS 11570 WITH SCORE 11584.657
AT ITER 4688 NEW BEST:: SOT 34410 SOS 14638 HAS SOPS 14638 HAS SOUS 11560 HAS SOUPS 11560 WITH SCORE 11574.638
AT ITER 4769 NEW BEST:: SOT 34378 SOS 14621 HAS SOPS 14621 HAS SOUS 11537 HAS SOUPS 11537 WITH SCORE 11551.621
AT ITER 4825 NEW BEST:: SOT 34366 SOS 14608 HAS SOPS 14608 HAS SOUS 11524 HAS SOUPS 11524 WITH SCORE 11538.608
AT ITER 4830 NEW BEST:: SOT 34360 SOS 14602 HAS SOPS 14602 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11532.602
AT ITER 4852 NEW BEST:: SOT 34359 SOS 14601 HAS SOPS 14601 HAS SOUS 11517 HAS SOUPS 11517 WITH SCORE 11531.601
AT ITER 4922 NEW BEST:: SOT 34343 SOS 14596 HAS SOPS 14596 HAS SOUS 11512 HAS SOUPS 11512 WITH SCORE 11526.596
AT ITER 4955 NEW BEST:: SOT 34305 SOS 14591 HAS SOPS 14591 HAS SOUS 11486 HAS SOUPS 11486 WITH SCORE 11500.591
AT ITER 5002 NEW BEST:: SOT 34278 SOS 14570 HAS SOPS 14570 HAS SOUS 11465 HAS SOUPS 11465 WITH SCORE 11479.57
AT ITER 5034 NEW BEST:: SOT 34278 SOS 14597 HAS SOPS 14597 HAS SOUS 11464 HAS SOUPS 11464 WITH SCORE 11478.597
AT ITER 5042 NEW BEST:: SOT 34268 SOS 14587 HAS SOPS 14587 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11468.587
AT ITER 5100 NEW BEST:: SOT 34266 SOS 14575 HAS SOPS 14575 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11468.575
AT ITER 5111 NEW BEST:: SOT 34266 SOS 14569 HAS SOPS 14569 HAS SOUS 11454 HAS SOUPS 11454 WITH SCORE 11468.569
AT ITER 5145 NEW BEST:: SOT 34268 SOS 14562 HAS SOPS 14562 HAS SOUS 11447 HAS SOUPS 11447 WITH SCORE 11461.562
AT ITER 5153 NEW BEST:: SOT 34264 SOS 14511 HAS SOPS 14511 HAS SOUS 11416 HAS SOUPS 11416 WITH SCORE 11430.511
AT ITER 5166 NEW BEST:: SOT 34240 SOS 14490 HAS SOPS 14490 HAS SOUS 11395 HAS SOUPS 11395 WITH SCORE 11409.49
AT ITER 5172 NEW BEST:: SOT 34240 SOS 14451 HAS SOPS 14451 HAS SOUS 11379 HAS SOUPS 11379 WITH SCORE 11393.451
AT ITER 5183 NEW BEST:: SOT 34213 SOS 14424 HAS SOPS 14424 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11366.424
AT ITER 5220 NEW BEST:: SOT 34208 SOS 14419 HAS SOPS 14419 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11361.419
AT ITER 5251 NEW BEST:: SOT 34172 SOS 14457 HAS SOPS 14457 HAS SOUS 11309 HAS SOUPS 11309 WITH SCORE 11323.457
AT ITER 5307 NEW BEST:: SOT 34176 SOS 14467 HAS SOPS 14467 HAS SOUS 11307 HAS SOUPS 11307 WITH SCORE 11321.467
AT ITER 5318 NEW BEST:: SOT 34170 SOS 14456 HAS SOPS 14456 HAS SOUS 11296 HAS SOUPS 11296 WITH SCORE 11310.456
AT ITER 5344 NEW BEST:: SOT 34170 SOS 14447 HAS SOPS 14447 HAS SOUS 11272 HAS SOUPS 11272 WITH SCORE 11286.447
AT ITER 5378 NEW BEST:: SOT 34124 SOS 14381 HAS SOPS 14381 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11240.381
AT ITER 5384 NEW BEST:: SOT 34070 SOS 14352 HAS SOPS 14352 HAS SOUS 11209 HAS SOUPS 11209 WITH SCORE 11223.352
AT ITER 5477 NEW BEST:: SOT 34064 SOS 14346 HAS SOPS 14346 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11217.346
AT ITER 5478 NEW BEST:: SOT 34060 SOS 14339 HAS SOPS 14339 HAS SOUS 11196 HAS SOUPS 11196 WITH SCORE 11210.339
AT ITER 5484 NEW BEST:: SOT 34037 SOS 14322 HAS SOPS 14322 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11206.322
AT ITER 5493 NEW BEST:: SOT 34011 SOS 14244 HAS SOPS 14244 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11168.244
AT ITER 5531 NEW BEST:: SOT 34009 SOS 14242 HAS SOPS 14242 HAS SOUS 11154 HAS SOUPS 11154 WITH SCORE 11168.242
AT ITER 5546 NEW BEST:: SOT 34009 SOS 14237 HAS SOPS 14237 HAS SOUS 11153 HAS SOUPS 11153 WITH SCORE 11167.237
AT ITER 5627 NEW BEST:: SOT 34005 SOS 14233 HAS SOPS 14233 HAS SOUS 11149 HAS SOUPS 11149 WITH SCORE 11163.233
AT ITER 5701 NEW BEST:: SOT 34005 SOS 14217 HAS SOPS 14217 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11146.217
AT ITER 5703 NEW BEST:: SOT 34001 SOS 14211 HAS SOPS 14211 HAS SOUS 11132 HAS SOUPS 11132 WITH SCORE 11146.211
AT ITER 5739 NEW BEST:: SOT 33998 SOS 14212 HAS SOPS 14212 HAS SOUS 11131 HAS SOUPS 11131 WITH SCORE 11145.212
AT ITER 5750 NEW BEST:: SOT 33990 SOS 14175 HAS SOPS 14175 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11131.175
AT ITER 5759 NEW BEST:: SOT 33991 SOS 14173 HAS SOPS 14173 HAS SOUS 11116 HAS SOUPS 11116 WITH SCORE 11130.173
AT ITER 5778 NEW BEST:: SOT 33991 SOS 14171 HAS SOPS 14171 HAS SOUS 11114 HAS SOUPS 11114 WITH SCORE 11128.171
AT ITER 5788 NEW BEST:: SOT 33991 SOS 14171 HAS SOPS 14171 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11111.171
AT ITER 5808 NEW BEST:: SOT 33986 SOS 14171 HAS SOPS 14171 HAS SOUS 11095 HAS SOUPS 11095 WITH SCORE 11109.171
AT ITER 5817 NEW BEST:: SOT 33999 SOS 14183 HAS SOPS 14183 HAS SOUS 11093 HAS SOUPS 11093 WITH SCORE 11107.183
AT ITER 5867 NEW BEST:: SOT 33997 SOS 14181 HAS SOPS 14181 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11105.181
AT ITER 5909 NEW BEST:: SOT 33997 SOS 14169 HAS SOPS 14169 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11093.169
AT ITER 5926 NEW BEST:: SOT 33995 SOS 14151 HAS SOPS 14151 HAS SOUS 11065 HAS SOUPS 11065 WITH SCORE 11079.151
AT ITER 5928 NEW BEST:: SOT 33984 SOS 14135 HAS SOPS 14135 HAS SOUS 11046 HAS SOUPS 11046 WITH SCORE 11060.135
AT ITER 5984 NEW BEST:: SOT 33982 SOS 14133 HAS SOPS 14133 HAS SOUS 11044 HAS SOUPS 11044 WITH SCORE 11058.133
AT ITER 6063 NEW BEST:: SOT 33944 SOS 14064 HAS SOPS 14064 HAS SOUS 10975 HAS SOUPS 10975 WITH SCORE 10989.064
AT ITER 6099 NEW BEST:: SOT 33864 SOS 13968 HAS SOPS 13968 HAS SOUS 10862 HAS SOUPS 10862 WITH SCORE 10875.968
AT ITER 6124 NEW BEST:: SOT 33840 SOS 13956 HAS SOPS 13956 HAS SOUS 10838 HAS SOUPS 10838 WITH SCORE 10851.956
AT ITER 6133 NEW BEST:: SOT 33840 SOS 13950 HAS SOPS 13950 HAS SOUS 10834 HAS SOUPS 10834 WITH SCORE 10847.95
AT ITER 6156 NEW BEST:: SOT 33833 SOS 13947 HAS SOPS 13947 HAS SOUS 10833 HAS SOUPS 10833 WITH SCORE 10846.947
AT ITER 6202 NEW BEST:: SOT 33833 SOS 13927 HAS SOPS 13927 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10836.927
AT ITER 6203 NEW BEST:: SOT 33808 SOS 13880 HAS SOPS 13880 HAS SOUS 10776 HAS SOUPS 10776 WITH SCORE 10789.88
AT ITER 6230 NEW BEST:: SOT 33808 SOS 13878 HAS SOPS 13878 HAS SOUS 10774 HAS SOUPS 10774 WITH SCORE 10787.878
AT ITER 6237 NEW BEST:: SOT 33817 SOS 13875 HAS SOPS 13875 HAS SOUS 10771 HAS SOUPS 10771 WITH SCORE 10784.875
AT ITER 6287 NEW BEST:: SOT 33816 SOS 13871 HAS SOPS 13871 HAS SOUS 10771 HAS SOUPS 10771 WITH SCORE 10784.871
AT ITER 6340 NEW BEST:: SOT 33844 SOS 13890 HAS SOPS 13890 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 10775.89
AT ITER 6407 NEW BEST:: SOT 33844 SOS 13888 HAS SOPS 13888 HAS SOUS 10760 HAS SOUPS 10760 WITH SCORE 10773.888
AT ITER 6425 NEW BEST:: SOT 33842 SOS 13887 HAS SOPS 13887 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10772.887
AT ITER 6470 NEW BEST:: SOT 33844 SOS 13875 HAS SOPS 13875 HAS SOUS 10745 HAS SOUPS 10745 WITH SCORE 10758.875
AT ITER 6588 NEW BEST:: SOT 33842 SOS 13873 HAS SOPS 13873 HAS SOUS 10737 HAS SOUPS 10737 WITH SCORE 10750.873
AT ITER 6605 NEW BEST:: SOT 33842 SOS 13867 HAS SOPS 13867 HAS SOUS 10731 HAS SOUPS 10731 WITH SCORE 10744.867
AT ITER 6670 NEW BEST:: SOT 33839 SOS 13822 HAS SOPS 13822 HAS SOUS 10708 HAS SOUPS 10708 WITH SCORE 10721.822
AT ITER 6675 NEW BEST:: SOT 33843 SOS 13822 HAS SOPS 13822 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10711.822
AT ITER 6775 NEW BEST:: SOT 33809 SOS 13803 HAS SOPS 13803 HAS SOUS 10670 HAS SOUPS 10670 WITH SCORE 10683.803
AT ITER 6785 NEW BEST:: SOT 33809 SOS 13797 HAS SOPS 13797 HAS SOUS 10666 HAS SOUPS 10666 WITH SCORE 10679.797
AT ITER 6797 NEW BEST:: SOT 33810 SOS 13788 HAS SOPS 13788 HAS SOUS 10657 HAS SOUPS 10657 WITH SCORE 10670.788
AT ITER 6878 NEW BEST:: SOT 33807 SOS 13782 HAS SOPS 13782 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10661.782
AT ITER 6885 NEW BEST:: SOT 33798 SOS 13776 HAS SOPS 13776 HAS SOUS 10646 HAS SOUPS 10646 WITH SCORE 10659.776
AT ITER 6898 NEW BEST:: SOT 33796 SOS 13782 HAS SOPS 13782 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10649.782
AT ITER 6907 NEW BEST:: SOT 33796 SOS 13781 HAS SOPS 13781 HAS SOUS 10636 HAS SOUPS 10636 WITH SCORE 10649.781
AT ITER 6927 NEW BEST:: SOT 33778 SOS 13756 HAS SOPS 13756 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10616.756
AT ITER 6958 NEW BEST:: SOT 33773 SOS 13733 HAS SOPS 13733 HAS SOUS 10580 HAS SOUPS 10580 WITH SCORE 10593.733
AT ITER 6960 NEW BEST:: SOT 33770 SOS 13728 HAS SOPS 13728 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10588.728
AT ITER 7126 NEW BEST:: SOT 33742 SOS 13712 HAS SOPS 13712 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10572.712
AT ITER 7151 NEW BEST:: SOT 33742 SOS 13703 HAS SOPS 13703 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10563.703
AT ITER 7225 NEW BEST:: SOT 33738 SOS 13684 HAS SOPS 13684 HAS SOUS 10531 HAS SOUPS 10531 WITH SCORE 10544.684
AT ITER 7237 NEW BEST:: SOT 33738 SOS 13689 HAS SOPS 13689 HAS SOUS 10525 HAS SOUPS 10525 WITH SCORE 10538.689
AT ITER 7239 NEW BEST:: SOT 33738 SOS 13683 HAS SOPS 13683 HAS SOUS 10522 HAS SOUPS 10522 WITH SCORE 10535.683
AT ITER 7244 NEW BEST:: SOT 33731 SOS 13682 HAS SOPS 13682 HAS SOUS 10520 HAS SOUPS 10520 WITH SCORE 10533.682
AT ITER 7283 NEW BEST:: SOT 33716 SOS 13671 HAS SOPS 13671 HAS SOUS 10509 HAS SOUPS 10509 WITH SCORE 10522.671
AT ITER 7291 NEW BEST:: SOT 33716 SOS 13665 HAS SOPS 13665 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10520.665
AT ITER 7370 NEW BEST:: SOT 33701 SOS 13636 HAS SOPS 13636 HAS SOUS 10490 HAS SOUPS 10490 WITH SCORE 10503.636
AT ITER 7417 NEW BEST:: SOT 33697 SOS 13632 HAS SOPS 13632 HAS SOUS 10486 HAS SOUPS 10486 WITH SCORE 10499.632
AT ITER 7438 NEW BEST:: SOT 33704 SOS 13628 HAS SOPS 13628 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10497.628
AT ITER 7485 NEW BEST:: SOT 33676 SOS 13588 HAS SOPS 13588 HAS SOUS 10444 HAS SOUPS 10444 WITH SCORE 10457.588
AT ITER 7505 NEW BEST:: SOT 33672 SOS 13584 HAS SOPS 13584 HAS SOUS 10442 HAS SOUPS 10442 WITH SCORE 10455.584
AT ITER 7516 NEW BEST:: SOT 33670 SOS 13580 HAS SOPS 13580 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10453.58
AT ITER 7527 NEW BEST:: SOT 33670 SOS 13540 HAS SOPS 13540 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10453.54
AT ITER 7535 NEW BEST:: SOT 33670 SOS 13534 HAS SOPS 13534 HAS SOUS 10440 HAS SOUPS 10440 WITH SCORE 10453.534
AT ITER 7564 NEW BEST:: SOT 33669 SOS 13531 HAS SOPS 13531 HAS SOUS 10438 HAS SOUPS 10438 WITH SCORE 10451.531
AT ITER 7565 NEW BEST:: SOT 33663 SOS 13525 HAS SOPS 13525 HAS SOUS 10432 HAS SOUPS 10432 WITH SCORE 10445.525
AT ITER 7570 NEW BEST:: SOT 33669 SOS 13639 HAS SOPS 13639 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10434.639
AT ITER 7582 NEW BEST:: SOT 33670 SOS 13638 HAS SOPS 13638 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10434.638
AT ITER 7602 NEW BEST:: SOT 33665 SOS 13627 HAS SOPS 13627 HAS SOUS 10410 HAS SOUPS 10410 WITH SCORE 10423.627
AT ITER 7627 NEW BEST:: SOT 33649 SOS 13619 HAS SOPS 13619 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10415.619
AT ITER 7644 NEW BEST:: SOT 33623 SOS 13594 HAS SOPS 13594 HAS SOUS 10393 HAS SOUPS 10393 WITH SCORE 10406.594
AT ITER 7661 NEW BEST:: SOT 33607 SOS 13576 HAS SOPS 13576 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10391.576
AT ITER 7689 NEW BEST:: SOT 33606 SOS 13575 HAS SOPS 13575 HAS SOUS 10377 HAS SOUPS 10377 WITH SCORE 10390.575
AT ITER 7716 NEW BEST:: SOT 33605 SOS 13571 HAS SOPS 13571 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10382.571
AT ITER 7759 NEW BEST:: SOT 33604 SOS 13570 HAS SOPS 13570 HAS SOUS 10368 HAS SOUPS 10368 WITH SCORE 10381.57
AT ITER 7835 NEW BEST:: SOT 33593 SOS 13559 HAS SOPS 13559 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10370.559
AT ITER 7838 NEW BEST:: SOT 33611 SOS 13487 HAS SOPS 13487 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10370.487
AT ITER 7925 NEW BEST:: SOT 33611 SOS 13481 HAS SOPS 13481 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10370.481
AT ITER 7939 NEW BEST:: SOT 33607 SOS 13469 HAS SOPS 13469 HAS SOUS 10338 HAS SOUPS 10338 WITH SCORE 10351.469
AT ITER 7977 NEW BEST:: SOT 33605 SOS 13459 HAS SOPS 13459 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10347.459
AT ITER 7991 NEW BEST:: SOT 33598 SOS 13445 HAS SOPS 13445 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10333.445
AT ITER 8006 NEW BEST:: SOT 33596 SOS 13444 HAS SOPS 13444 HAS SOUS 10319 HAS SOUPS 10319 WITH SCORE 10332.444
AT ITER 8199 NEW BEST:: SOT 33593 SOS 13417 HAS SOPS 13417 HAS SOUS 10306 HAS SOUPS 10306 WITH SCORE 10319.417
AT ITER 8275 NEW BEST:: SOT 33591 SOS 13415 HAS SOPS 13415 HAS SOUS 10304 HAS SOUPS 10304 WITH SCORE 10317.415
AT ITER 8294 NEW BEST:: SOT 33586 SOS 13397 HAS SOPS 13397 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10299.397
AT ITER 8332 NEW BEST:: SOT 33576 SOS 13387 HAS SOPS 13387 HAS SOUS 10276 HAS SOUPS 10276 WITH SCORE 10289.387
AT ITER 8392 NEW BEST:: SOT 33510 SOS 13206 HAS SOPS 13206 HAS SOUS 10187 HAS SOUPS 10187 WITH SCORE 10200.206
AT ITER 8411 NEW BEST:: SOT 33511 SOS 13198 HAS SOPS 13198 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10191.198
AT ITER 8417 NEW BEST:: SOT 33510 SOS 13190 HAS SOPS 13190 HAS SOUS 10174 HAS SOUPS 10174 WITH SCORE 10187.19
AT ITER 8446 NEW BEST:: SOT 33510 SOS 13189 HAS SOPS 13189 HAS SOUS 10173 HAS SOUPS 10173 WITH SCORE 10186.189
AT ITER 8448 NEW BEST:: SOT 33500 SOS 13159 HAS SOPS 13159 HAS SOUS 10163 HAS SOUPS 10163 WITH SCORE 10176.159
AT ITER 8485 NEW BEST:: SOT 33500 SOS 13152 HAS SOPS 13152 HAS SOUS 10162 HAS SOUPS 10162 WITH SCORE 10175.152
AT ITER 8503 NEW BEST:: SOT 33499 SOS 13159 HAS SOPS 13159 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10173.159
AT ITER 8531 NEW BEST:: SOT 33500 SOS 13158 HAS SOPS 13158 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10173.158
AT ITER 8586 NEW BEST:: SOT 33508 SOS 13157 HAS SOPS 13157 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10171.157
AT ITER 8591 NEW BEST:: SOT 33511 SOS 13157 HAS SOPS 13157 HAS SOUS 10153 HAS SOUPS 10153 WITH SCORE 10166.157
AT ITER 8634 NEW BEST:: SOT 33507 SOS 13148 HAS SOPS 13148 HAS SOUS 10144 HAS SOUPS 10144 WITH SCORE 10157.148
AT ITER 8679 NEW BEST:: SOT 33498 SOS 13135 HAS SOPS 13135 HAS SOUS 10131 HAS SOUPS 10131 WITH SCORE 10144.135
AT ITER 8703 NEW BEST:: SOT 33497 SOS 13129 HAS SOPS 13129 HAS SOUS 10126 HAS SOUPS 10126 WITH SCORE 10139.129
AT ITER 8751 NEW BEST:: SOT 33497 SOS 12994 HAS SOPS 12994 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10121.994
AT ITER 8763 NEW BEST:: SOT 33492 SOS 12975 HAS SOPS 12975 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10100.975
AT ITER 8784 NEW BEST:: SOT 33501 SOS 12979 HAS SOPS 12979 HAS SOUS 10085 HAS SOUPS 10085 WITH SCORE 10097.979
AT ITER 8826 NEW BEST:: SOT 33500 SOS 12978 HAS SOPS 12978 HAS SOUS 10084 HAS SOUPS 10084 WITH SCORE 10096.978
AT ITER 8830 NEW BEST:: SOT 33498 SOS 12976 HAS SOPS 12976 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10094.976
AT ITER 8847 NEW BEST:: SOT 33491 SOS 12969 HAS SOPS 12969 HAS SOUS 10075 HAS SOUPS 10075 WITH SCORE 10087.969
AT ITER 8869 NEW BEST:: SOT 33475 SOS 12953 HAS SOPS 12953 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10071.953
AT ITER 8942 NEW BEST:: SOT 33481 SOS 12937 HAS SOPS 12937 HAS SOUS 10048 HAS SOUPS 10048 WITH SCORE 10060.937
AT ITER 8981 NEW BEST:: SOT 33473 SOS 12929 HAS SOPS 12929 HAS SOUS 10040 HAS SOUPS 10040 WITH SCORE 10052.929
AT ITER 8986 NEW BEST:: SOT 33431 SOS 12857 HAS SOPS 12857 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10010.857
AT ITER 9036 NEW BEST:: SOT 33429 SOS 12837 HAS SOPS 12837 HAS SOUS 9990 HAS SOUPS 9990 WITH SCORE 10002.837
AT ITER 9040 NEW BEST:: SOT 33421 SOS 12832 HAS SOPS 12832 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9990.832
AT ITER 9127 NEW BEST:: SOT 33391 SOS 12805 HAS SOPS 12805 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9947.805
AT ITER 9132 NEW BEST:: SOT 33391 SOS 12804 HAS SOPS 12804 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9946.804
AT ITER 9163 NEW BEST:: SOT 33389 SOS 12800 HAS SOPS 12800 HAS SOUS 9930 HAS SOUPS 9930 WITH SCORE 9942.8
AT ITER 9182 NEW BEST:: SOT 33394 SOS 12803 HAS SOPS 12803 HAS SOUS 9926 HAS SOUPS 9926 WITH SCORE 9938.803
AT ITER 9280 NEW BEST:: SOT 33384 SOS 12777 HAS SOPS 12777 HAS SOUS 9916 HAS SOUPS 9916 WITH SCORE 9928.777
AT ITER 9356 NEW BEST:: SOT 33388 SOS 12641 HAS SOPS 12641 HAS SOUS 9912 HAS SOUPS 9912 WITH SCORE 9924.641
AT ITER 9377 NEW BEST:: SOT 33397 SOS 12632 HAS SOPS 12632 HAS SOUS 9903 HAS SOUPS 9903 WITH SCORE 9915.632
AT ITER 9386 NEW BEST:: SOT 33386 SOS 12618 HAS SOPS 12618 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9894.618
AT ITER 9447 NEW BEST:: SOT 33384 SOS 12616 HAS SOPS 12616 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9892.616
AT ITER 9489 NEW BEST:: SOT 33380 SOS 12612 HAS SOPS 12612 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9892.612
AT ITER 9550 NEW BEST:: SOT 33367 SOS 12591 HAS SOPS 12591 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9871.591
AT ITER 9583 NEW BEST:: SOT 33361 SOS 12569 HAS SOPS 12569 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9847.569
AT ITER 9636 NEW BEST:: SOT 33327 SOS 12535 HAS SOPS 12535 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.535
AT ITER 9648 NEW BEST:: SOT 33327 SOS 12534 HAS SOPS 12534 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.534
AT ITER 9707 NEW BEST:: SOT 33327 SOS 12529 HAS SOPS 12529 HAS SOUS 9801 HAS SOUPS 9801 WITH SCORE 9813.529
AT ITER 9763 NEW BEST:: SOT 33327 SOS 12524 HAS SOPS 12524 HAS SOUS 9796 HAS SOUPS 9796 WITH SCORE 9808.524
AT ITER 9774 NEW BEST:: SOT 33329 SOS 12515 HAS SOPS 12515 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9796.515
AT ITER 9775 NEW BEST:: SOT 33328 SOS 12514 HAS SOPS 12514 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9796.514
AT ITER 9854 NEW BEST:: SOT 33320 SOS 12510 HAS SOPS 12510 HAS SOUS 9780 HAS SOUPS 9780 WITH SCORE 9792.51
AT ITER 9864 NEW BEST:: SOT 33320 SOS 12510 HAS SOPS 12510 HAS SOUS 9779 HAS SOUPS 9779 WITH SCORE 9791.51
AT ITER 9868 NEW BEST:: SOT 33318 SOS 12508 HAS SOPS 12508 HAS SOUS 9776 HAS SOUPS 9776 WITH SCORE 9788.508
AT ITER 9956 NEW BEST:: SOT 33310 SOS 12482 HAS SOPS 12482 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9775.482

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldIIPs-PT-010A"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldIIPs-PT-010A, 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 r207-tajo-159033469000128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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