fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r108-csrt-158961250500412
Last Updated
Jun 28, 2020

About the Execution of smart for NoC3x3-PT-6A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15767.410 3600000.00 3600020.00 0.00 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500412.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-6A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500412
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 3.6K Apr 8 15:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 8 15:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 7 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 6 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 04:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 297K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-00
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-01
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-02
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-03
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-04
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-05
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-06
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-07
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-08
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-09
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-10
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-11
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-12
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-13
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-14
FORMULA_NAME NoC3x3-PT-6A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589642372497

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 512 places, 1117 transitions, 4279 arcs.
AT ITER 0 NEW BEST:: SOT 478346 SOS 366324 HAS SOPS 364211 HAS SOUS 253989 HAS SOUPS 252745 WITH SCORE 253111.324
AT ITER 2 NEW BEST:: SOT 478346 SOS 366320 HAS SOPS 364207 HAS SOUS 253988 HAS SOUPS 252744 WITH SCORE 253110.32
AT ITER 3 NEW BEST:: SOT 478346 SOS 365946 HAS SOPS 363833 HAS SOUS 253979 HAS SOUPS 252735 WITH SCORE 253100.946
AT ITER 5 NEW BEST:: SOT 478346 SOS 365909 HAS SOPS 363796 HAS SOUS 253972 HAS SOUPS 252728 WITH SCORE 253093.909
AT ITER 6 NEW BEST:: SOT 478215 SOS 365503 HAS SOPS 363390 HAS SOUS 253841 HAS SOUPS 252597 WITH SCORE 252962.503
AT ITER 11 NEW BEST:: SOT 478215 SOS 365447 HAS SOPS 363334 HAS SOUS 253841 HAS SOUPS 252597 WITH SCORE 252962.447
AT ITER 12 NEW BEST:: SOT 476826 SOS 363708 HAS SOPS 361595 HAS SOUS 252602 HAS SOUPS 251358 WITH SCORE 251721.708
AT ITER 13 NEW BEST:: SOT 476818 SOS 363717 HAS SOPS 361604 HAS SOUS 252594 HAS SOUPS 251350 WITH SCORE 251713.717
AT ITER 14 NEW BEST:: SOT 475001 SOS 362350 HAS SOPS 360237 HAS SOUS 250767 HAS SOUPS 249523 WITH SCORE 249885.35
AT ITER 15 NEW BEST:: SOT 474968 SOS 362218 HAS SOPS 360105 HAS SOUS 250767 HAS SOUPS 249523 WITH SCORE 249885.218
AT ITER 20 NEW BEST:: SOT 474897 SOS 362076 HAS SOPS 359963 HAS SOUS 250696 HAS SOUPS 249452 WITH SCORE 249814.076
AT ITER 22 NEW BEST:: SOT 474226 SOS 362251 HAS SOPS 360138 HAS SOUS 250229 HAS SOUPS 248985 WITH SCORE 249347.251
AT ITER 24 NEW BEST:: SOT 472086 SOS 360424 HAS SOPS 358311 HAS SOUS 247577 HAS SOUPS 246333 WITH SCORE 246693.424
AT ITER 25 NEW BEST:: SOT 470633 SOS 359135 HAS SOPS 357022 HAS SOUS 246106 HAS SOUPS 244862 WITH SCORE 245221.135
AT ITER 26 NEW BEST:: SOT 470633 SOS 359135 HAS SOPS 357022 HAS SOUS 246086 HAS SOUPS 244842 WITH SCORE 245201.135
AT ITER 27 NEW BEST:: SOT 468818 SOS 357810 HAS SOPS 355697 HAS SOUS 244406 HAS SOUPS 243162 WITH SCORE 243519.81
AT ITER 31 NEW BEST:: SOT 468858 SOS 357850 HAS SOPS 355737 HAS SOUS 244392 HAS SOUPS 243148 WITH SCORE 243505.85
AT ITER 32 NEW BEST:: SOT 468616 SOS 357361 HAS SOPS 355248 HAS SOUS 244072 HAS SOUPS 242828 WITH SCORE 243185.361
AT ITER 33 NEW BEST:: SOT 467977 SOS 356722 HAS SOPS 354609 HAS SOUS 243378 HAS SOUPS 242134 WITH SCORE 242490.722
AT ITER 37 NEW BEST:: SOT 469124 SOS 357886 HAS SOPS 354942 HAS SOUS 243297 HAS SOUPS 241746 WITH SCORE 242103.886
AT ITER 40 NEW BEST:: SOT 469115 SOS 357877 HAS SOPS 354933 HAS SOUS 243295 HAS SOUPS 241744 WITH SCORE 242101.877
AT ITER 42 NEW BEST:: SOT 468799 SOS 357573 HAS SOPS 354629 HAS SOUS 242903 HAS SOUPS 241352 WITH SCORE 241709.573
AT ITER 43 NEW BEST:: SOT 468678 SOS 357429 HAS SOPS 354485 HAS SOUS 242780 HAS SOUPS 241229 WITH SCORE 241586.429
AT ITER 44 NEW BEST:: SOT 468816 SOS 358257 HAS SOPS 355313 HAS SOUS 242434 HAS SOUPS 240883 WITH SCORE 241241.257
AT ITER 46 NEW BEST:: SOT 468753 SOS 358194 HAS SOPS 355250 HAS SOUS 242164 HAS SOUPS 240613 WITH SCORE 240971.194
AT ITER 49 NEW BEST:: SOT 468611 SOS 358052 HAS SOPS 355108 HAS SOUS 241075 HAS SOUPS 239524 WITH SCORE 239882.052
AT ITER 51 NEW BEST:: SOT 468611 SOS 357927 HAS SOPS 354983 HAS SOUS 240950 HAS SOUPS 239399 WITH SCORE 239756.927
AT ITER 60 NEW BEST:: SOT 468516 SOS 357737 HAS SOPS 354793 HAS SOUS 240665 HAS SOUPS 239114 WITH SCORE 239471.737
AT ITER 62 NEW BEST:: SOT 468516 SOS 357737 HAS SOPS 354793 HAS SOUS 240603 HAS SOUPS 239052 WITH SCORE 239409.737
AT ITER 65 NEW BEST:: SOT 468516 SOS 357569 HAS SOPS 354625 HAS SOUS 240601 HAS SOUPS 239050 WITH SCORE 239407.569
AT ITER 71 NEW BEST:: SOT 468516 SOS 357569 HAS SOPS 354625 HAS SOUS 240483 HAS SOUPS 238932 WITH SCORE 239289.569
AT ITER 77 NEW BEST:: SOT 468516 SOS 357572 HAS SOPS 354585 HAS SOUS 240445 HAS SOUPS 238889 WITH SCORE 239246.572
AT ITER 78 NEW BEST:: SOT 467993 SOS 356864 HAS SOPS 353877 HAS SOUS 239926 HAS SOUPS 238370 WITH SCORE 238726.864
AT ITER 86 NEW BEST:: SOT 467882 SOS 356996 HAS SOPS 354009 HAS SOUS 239346 HAS SOUPS 237790 WITH SCORE 238146.996
AT ITER 87 NEW BEST:: SOT 467370 SOS 356442 HAS SOPS 353455 HAS SOUS 238789 HAS SOUPS 237233 WITH SCORE 237589.442
AT ITER 88 NEW BEST:: SOT 467851 SOS 356466 HAS SOPS 353516 HAS SOUS 238671 HAS SOUPS 237142 WITH SCORE 237498.466
AT ITER 90 NEW BEST:: SOT 467604 SOS 356462 HAS SOPS 353512 HAS SOUS 238341 HAS SOUPS 236812 WITH SCORE 237168.462
AT ITER 92 NEW BEST:: SOT 467213 SOS 356072 HAS SOPS 353122 HAS SOUS 237726 HAS SOUPS 236197 WITH SCORE 236553.072
AT ITER 100 NEW BEST:: SOT 467212 SOS 356055 HAS SOPS 353105 HAS SOUS 237707 HAS SOUPS 236178 WITH SCORE 236534.055
AT ITER 106 NEW BEST:: SOT 466569 SOS 355364 HAS SOPS 352414 HAS SOUS 236872 HAS SOUPS 235343 WITH SCORE 235698.364
AT ITER 110 NEW BEST:: SOT 466570 SOS 355283 HAS SOPS 352582 HAS SOUS 236620 HAS SOUPS 235276 WITH SCORE 235631.283
AT ITER 128 NEW BEST:: SOT 466395 SOS 355108 HAS SOPS 352407 HAS SOUS 236443 HAS SOUPS 235099 WITH SCORE 235454.108
AT ITER 129 NEW BEST:: SOT 465845 SOS 354510 HAS SOPS 351809 HAS SOUS 235845 HAS SOUPS 234501 WITH SCORE 234855.51
AT ITER 130 NEW BEST:: SOT 465371 SOS 354006 HAS SOPS 351305 HAS SOUS 235302 HAS SOUPS 233958 WITH SCORE 234312.006
AT ITER 137 NEW BEST:: SOT 465371 SOS 353944 HAS SOPS 351243 HAS SOUS 235054 HAS SOUPS 233710 WITH SCORE 234063.944
AT ITER 142 NEW BEST:: SOT 465362 SOS 353935 HAS SOPS 351234 HAS SOUS 235025 HAS SOUPS 233681 WITH SCORE 234034.935
AT ITER 146 NEW BEST:: SOT 465362 SOS 353439 HAS SOPS 350738 HAS SOUS 234901 HAS SOUPS 233557 WITH SCORE 233910.439
AT ITER 148 NEW BEST:: SOT 465362 SOS 353475 HAS SOPS 350774 HAS SOUS 234721 HAS SOUPS 233377 WITH SCORE 233730.475
AT ITER 152 NEW BEST:: SOT 463822 SOS 352726 HAS SOPS 350025 HAS SOUS 233879 HAS SOUPS 232535 WITH SCORE 232887.726
AT ITER 155 NEW BEST:: SOT 462836 SOS 351716 HAS SOPS 349015 HAS SOUS 232826 HAS SOUPS 231482 WITH SCORE 231833.716
AT ITER 156 NEW BEST:: SOT 462039 SOS 350919 HAS SOPS 348253 HAS SOUS 231953 HAS SOUPS 230610 WITH SCORE 230960.919
AT ITER 157 NEW BEST:: SOT 461525 SOS 350405 HAS SOPS 347739 HAS SOUS 231451 HAS SOUPS 230108 WITH SCORE 230458.405
AT ITER 161 NEW BEST:: SOT 459681 SOS 350091 HAS SOPS 347620 HAS SOUS 229766 HAS SOUPS 228490 WITH SCORE 228840.091
AT ITER 164 NEW BEST:: SOT 459743 SOS 350022 HAS SOPS 347398 HAS SOUS 229695 HAS SOUPS 228266 WITH SCORE 228616.022
AT ITER 166 NEW BEST:: SOT 459673 SOS 349777 HAS SOPS 347153 HAS SOUS 229555 HAS SOUPS 228126 WITH SCORE 228475.777
AT ITER 170 NEW BEST:: SOT 459619 SOS 349723 HAS SOPS 347099 HAS SOUS 229517 HAS SOUPS 228088 WITH SCORE 228437.723
AT ITER 172 NEW BEST:: SOT 459332 SOS 349466 HAS SOPS 346842 HAS SOUS 229256 HAS SOUPS 227827 WITH SCORE 228176.466
AT ITER 173 NEW BEST:: SOT 459099 SOS 350209 HAS SOPS 347585 HAS SOUS 229200 HAS SOUPS 227771 WITH SCORE 228121.209
AT ITER 177 NEW BEST:: SOT 457308 SOS 347894 HAS SOPS 345270 HAS SOUS 227691 HAS SOUPS 226262 WITH SCORE 226609.894
AT ITER 181 NEW BEST:: SOT 454645 SOS 345231 HAS SOPS 342607 HAS SOUS 224930 HAS SOUPS 223501 WITH SCORE 223846.231
AT ITER 182 NEW BEST:: SOT 454688 SOS 345438 HAS SOPS 342814 HAS SOUS 224731 HAS SOUPS 223302 WITH SCORE 223647.438
AT ITER 187 NEW BEST:: SOT 454515 SOS 346534 HAS SOPS 343871 HAS SOUS 224095 HAS SOUPS 222627 WITH SCORE 222973.534
AT ITER 190 NEW BEST:: SOT 454421 SOS 346440 HAS SOPS 343777 HAS SOUS 223629 HAS SOUPS 222161 WITH SCORE 222507.44
AT ITER 193 NEW BEST:: SOT 453342 SOS 345361 HAS SOPS 342698 HAS SOUS 222550 HAS SOUPS 221082 WITH SCORE 221427.361
AT ITER 194 NEW BEST:: SOT 453449 SOS 345448 HAS SOPS 342468 HAS SOUS 222694 HAS SOUPS 221017 WITH SCORE 221362.448
AT ITER 201 NEW BEST:: SOT 453449 SOS 345532 HAS SOPS 342552 HAS SOUS 222671 HAS SOUPS 220994 WITH SCORE 221339.532
AT ITER 204 NEW BEST:: SOT 453280 SOS 345298 HAS SOPS 342318 HAS SOUS 222414 HAS SOUPS 220737 WITH SCORE 221082.298
AT ITER 233 NEW BEST:: SOT 453258 SOS 345276 HAS SOPS 342296 HAS SOUS 221920 HAS SOUPS 220243 WITH SCORE 220588.276
AT ITER 236 NEW BEST:: SOT 452671 SOS 344533 HAS SOPS 341553 HAS SOUS 221206 HAS SOUPS 219529 WITH SCORE 219873.533
AT ITER 238 NEW BEST:: SOT 452671 SOS 344599 HAS SOPS 341619 HAS SOUS 221202 HAS SOUPS 219525 WITH SCORE 219869.599
AT ITER 245 NEW BEST:: SOT 452569 SOS 344497 HAS SOPS 341517 HAS SOUS 220998 HAS SOUPS 219321 WITH SCORE 219665.497
AT ITER 249 NEW BEST:: SOT 451183 SOS 343002 HAS SOPS 340044 HAS SOUS 219357 HAS SOUPS 217702 WITH SCORE 218045.002
AT ITER 251 NEW BEST:: SOT 450893 SOS 342587 HAS SOPS 339629 HAS SOUS 218238 HAS SOUPS 216583 WITH SCORE 216925.587
AT ITER 264 NEW BEST:: SOT 450284 SOS 342177 HAS SOPS 339369 HAS SOUS 216860 HAS SOUPS 215297 WITH SCORE 215639.177
AT ITER 270 NEW BEST:: SOT 450284 SOS 342140 HAS SOPS 339332 HAS SOUS 216823 HAS SOUPS 215260 WITH SCORE 215602.14
AT ITER 274 NEW BEST:: SOT 450194 SOS 342050 HAS SOPS 339242 HAS SOUS 216650 HAS SOUPS 215087 WITH SCORE 215429.05
AT ITER 277 NEW BEST:: SOT 450194 SOS 342001 HAS SOPS 339261 HAS SOUS 216366 HAS SOUPS 214803 WITH SCORE 215145.001
AT ITER 282 NEW BEST:: SOT 446866 SOS 338737 HAS SOPS 335997 HAS SOUS 213133 HAS SOUPS 211570 WITH SCORE 211908.737
AT ITER 283 NEW BEST:: SOT 446220 SOS 337869 HAS SOPS 335129 HAS SOUS 212044 HAS SOUPS 210481 WITH SCORE 210818.869
AT ITER 288 NEW BEST:: SOT 443040 SOS 335112 HAS SOPS 332372 HAS SOUS 208782 HAS SOUPS 207219 WITH SCORE 207554.112
AT ITER 291 NEW BEST:: SOT 443046 SOS 335127 HAS SOPS 332387 HAS SOUS 208779 HAS SOUPS 207216 WITH SCORE 207551.127
AT ITER 293 NEW BEST:: SOT 443046 SOS 335650 HAS SOPS 332910 HAS SOUS 208681 HAS SOUPS 207118 WITH SCORE 207453.65
AT ITER 299 NEW BEST:: SOT 442523 SOS 335363 HAS SOPS 332623 HAS SOUS 208330 HAS SOUPS 206767 WITH SCORE 207102.363
AT ITER 302 NEW BEST:: SOT 442010 SOS 334850 HAS SOPS 332110 HAS SOUS 207817 HAS SOUPS 206254 WITH SCORE 206588.85
AT ITER 304 NEW BEST:: SOT 441596 SOS 334512 HAS SOPS 331772 HAS SOUS 207419 HAS SOUPS 205856 WITH SCORE 206190.512
AT ITER 305 NEW BEST:: SOT 441513 SOS 334546 HAS SOPS 331806 HAS SOUS 206479 HAS SOUPS 204916 WITH SCORE 205250.546
AT ITER 308 NEW BEST:: SOT 441512 SOS 334557 HAS SOPS 331817 HAS SOUS 206458 HAS SOUPS 204895 WITH SCORE 205229.557
AT ITER 309 NEW BEST:: SOT 441483 SOS 334528 HAS SOPS 331788 HAS SOUS 206099 HAS SOUPS 204536 WITH SCORE 204870.528
AT ITER 311 NEW BEST:: SOT 440516 SOS 334067 HAS SOPS 331327 HAS SOUS 205888 HAS SOUPS 204325 WITH SCORE 204659.067
AT ITER 314 NEW BEST:: SOT 440516 SOS 334035 HAS SOPS 331303 HAS SOUS 205888 HAS SOUPS 204325 WITH SCORE 204659.035
AT ITER 318 NEW BEST:: SOT 439067 SOS 333126 HAS SOPS 330477 HAS SOUS 204697 HAS SOUPS 203201 WITH SCORE 203534.126
AT ITER 319 NEW BEST:: SOT 438695 SOS 332698 HAS SOPS 330049 HAS SOUS 204269 HAS SOUPS 202773 WITH SCORE 203105.698
AT ITER 321 NEW BEST:: SOT 438639 SOS 332342 HAS SOPS 329693 HAS SOUS 204082 HAS SOUPS 202586 WITH SCORE 202918.342
AT ITER 326 NEW BEST:: SOT 438351 SOS 332060 HAS SOPS 329411 HAS SOUS 204005 HAS SOUPS 202509 WITH SCORE 202841.06
AT ITER 332 NEW BEST:: SOT 434855 SOS 328564 HAS SOPS 325915 HAS SOUS 200805 HAS SOUPS 199309 WITH SCORE 199637.564
AT ITER 334 NEW BEST:: SOT 434855 SOS 328334 HAS SOPS 325685 HAS SOUS 200805 HAS SOUPS 199309 WITH SCORE 199637.334
AT ITER 335 NEW BEST:: SOT 434836 SOS 328296 HAS SOPS 325647 HAS SOUS 200805 HAS SOUPS 199309 WITH SCORE 199637.296
AT ITER 336 NEW BEST:: SOT 434766 SOS 328216 HAS SOPS 325567 HAS SOUS 200730 HAS SOUPS 199234 WITH SCORE 199562.216
AT ITER 337 NEW BEST:: SOT 432816 SOS 326296 HAS SOPS 323647 HAS SOUS 198720 HAS SOUPS 197224 WITH SCORE 197550.296
AT ITER 338 NEW BEST:: SOT 432678 SOS 325258 HAS SOPS 322609 HAS SOUS 198274 HAS SOUPS 196778 WITH SCORE 197103.258
AT ITER 340 NEW BEST:: SOT 432678 SOS 325252 HAS SOPS 322603 HAS SOUS 198268 HAS SOUPS 196772 WITH SCORE 197097.252
AT ITER 343 NEW BEST:: SOT 432677 SOS 325309 HAS SOPS 322660 HAS SOUS 198265 HAS SOUPS 196769 WITH SCORE 197094.309
AT ITER 346 NEW BEST:: SOT 432257 SOS 324849 HAS SOPS 322200 HAS SOUS 197805 HAS SOUPS 196309 WITH SCORE 196633.849
AT ITER 349 NEW BEST:: SOT 432169 SOS 324761 HAS SOPS 322112 HAS SOUS 197155 HAS SOUPS 195659 WITH SCORE 195983.761
AT ITER 350 NEW BEST:: SOT 430135 SOS 323584 HAS SOPS 320983 HAS SOUS 196362 HAS SOUPS 194891 WITH SCORE 195214.584
AT ITER 355 NEW BEST:: SOT 430135 SOS 322690 HAS SOPS 320089 HAS SOUS 196120 HAS SOUPS 194649 WITH SCORE 194971.69
AT ITER 369 NEW BEST:: SOT 430196 SOS 322745 HAS SOPS 320144 HAS SOUS 196026 HAS SOUPS 194555 WITH SCORE 194877.745
AT ITER 374 NEW BEST:: SOT 430195 SOS 322744 HAS SOPS 320143 HAS SOUS 196023 HAS SOUPS 194552 WITH SCORE 194874.744
AT ITER 388 NEW BEST:: SOT 430432 SOS 322580 HAS SOPS 320096 HAS SOUS 195946 HAS SOUPS 194542 WITH SCORE 194864.58
AT ITER 392 NEW BEST:: SOT 430617 SOS 322868 HAS SOPS 320384 HAS SOUS 195400 HAS SOUPS 193996 WITH SCORE 194318.868
AT ITER 397 NEW BEST:: SOT 430524 SOS 322252 HAS SOPS 319867 HAS SOUS 195129 HAS SOUPS 193799 WITH SCORE 194121.252
AT ITER 398 NEW BEST:: SOT 429725 SOS 321464 HAS SOPS 319079 HAS SOUS 194309 HAS SOUPS 192979 WITH SCORE 193300.464
AT ITER 400 NEW BEST:: SOT 428177 SOS 319065 HAS SOPS 316914 HAS SOUS 190031 HAS SOUPS 188781 WITH SCORE 189100.065
AT ITER 407 NEW BEST:: SOT 427965 SOS 317980 HAS SOPS 315829 HAS SOUS 189743 HAS SOUPS 188493 WITH SCORE 188810.98
AT ITER 412 NEW BEST:: SOT 425821 SOS 315877 HAS SOPS 313726 HAS SOUS 187638 HAS SOUPS 186388 WITH SCORE 186703.877
AT ITER 414 NEW BEST:: SOT 425791 SOS 315438 HAS SOPS 313203 HAS SOUS 187668 HAS SOUPS 186375 WITH SCORE 186690.438
AT ITER 418 NEW BEST:: SOT 425241 SOS 314955 HAS SOPS 312720 HAS SOUS 186766 HAS SOUPS 185473 WITH SCORE 185787.955
AT ITER 422 NEW BEST:: SOT 425097 SOS 314523 HAS SOPS 312288 HAS SOUS 186573 HAS SOUPS 185280 WITH SCORE 185594.523
AT ITER 423 NEW BEST:: SOT 424943 SOS 314378 HAS SOPS 312274 HAS SOUS 186416 HAS SOUPS 185254 WITH SCORE 185568.378
AT ITER 427 NEW BEST:: SOT 424839 SOS 314304 HAS SOPS 312200 HAS SOUS 186173 HAS SOUPS 185011 WITH SCORE 185325.304
AT ITER 436 NEW BEST:: SOT 425129 SOS 314663 HAS SOPS 312559 HAS SOUS 186127 HAS SOUPS 184965 WITH SCORE 185279.663
AT ITER 444 NEW BEST:: SOT 425091 SOS 314625 HAS SOPS 312521 HAS SOUS 186106 HAS SOUPS 184944 WITH SCORE 185258.625
AT ITER 445 NEW BEST:: SOT 422752 SOS 312182 HAS SOPS 310078 HAS SOUS 182760 HAS SOUPS 181598 WITH SCORE 181910.182
AT ITER 451 NEW BEST:: SOT 422793 SOS 312187 HAS SOPS 310119 HAS SOUS 182701 HAS SOUPS 181575 WITH SCORE 181887.187
AT ITER 455 NEW BEST:: SOT 420792 SOS 310451 HAS SOPS 308383 HAS SOUS 180868 HAS SOUPS 179742 WITH SCORE 180052.451
AT ITER 460 NEW BEST:: SOT 420683 SOS 310214 HAS SOPS 308146 HAS SOUS 180509 HAS SOUPS 179383 WITH SCORE 179693.214
AT ITER 465 NEW BEST:: SOT 420681 SOS 310210 HAS SOPS 308142 HAS SOUS 180505 HAS SOUPS 179379 WITH SCORE 179689.21
AT ITER 468 NEW BEST:: SOT 420586 SOS 310115 HAS SOPS 308047 HAS SOUS 180377 HAS SOUPS 179251 WITH SCORE 179561.115
AT ITER 471 NEW BEST:: SOT 420586 SOS 310164 HAS SOPS 308096 HAS SOUS 180375 HAS SOUPS 179249 WITH SCORE 179559.164
AT ITER 473 NEW BEST:: SOT 420446 SOS 310024 HAS SOPS 307956 HAS SOUS 180232 HAS SOUPS 179106 WITH SCORE 179416.024
AT ITER 474 NEW BEST:: SOT 420446 SOS 310024 HAS SOPS 307956 HAS SOUS 180124 HAS SOUPS 178998 WITH SCORE 179308.024
AT ITER 475 NEW BEST:: SOT 420350 SOS 309952 HAS SOPS 307884 HAS SOUS 180028 HAS SOUPS 178902 WITH SCORE 179211.952
AT ITER 477 NEW BEST:: SOT 420334 SOS 310023 HAS SOPS 307955 HAS SOUS 179791 HAS SOUPS 178665 WITH SCORE 178975.023
AT ITER 481 NEW BEST:: SOT 420207 SOS 309896 HAS SOPS 307828 HAS SOUS 179664 HAS SOUPS 178538 WITH SCORE 178847.896
AT ITER 483 NEW BEST:: SOT 419413 SOS 309597 HAS SOPS 307529 HAS SOUS 179037 HAS SOUPS 177911 WITH SCORE 178220.597
AT ITER 486 NEW BEST:: SOT 418891 SOS 309075 HAS SOPS 307007 HAS SOUS 178302 HAS SOUPS 177176 WITH SCORE 177485.075
AT ITER 487 NEW BEST:: SOT 418891 SOS 309220 HAS SOPS 307152 HAS SOUS 178277 HAS SOUPS 177151 WITH SCORE 177460.22
AT ITER 489 NEW BEST:: SOT 418967 SOS 309317 HAS SOPS 307333 HAS SOUS 178159 HAS SOUPS 177076 WITH SCORE 177385.317
AT ITER 492 NEW BEST:: SOT 418965 SOS 309451 HAS SOPS 307467 HAS SOUS 178155 HAS SOUPS 177072 WITH SCORE 177381.451
AT ITER 497 NEW BEST:: SOT 418965 SOS 309466 HAS SOPS 307482 HAS SOUS 178125 HAS SOUPS 177042 WITH SCORE 177351.466
AT ITER 498 NEW BEST:: SOT 418866 SOS 309320 HAS SOPS 307336 HAS SOUS 177979 HAS SOUPS 176896 WITH SCORE 177205.32
AT ITER 499 NEW BEST:: SOT 418867 SOS 308599 HAS SOPS 306615 HAS SOUS 177629 HAS SOUPS 176546 WITH SCORE 176854.599
AT ITER 500 NEW BEST:: SOT 420100 SOS 308774 HAS SOPS 307021 HAS SOUS 177548 HAS SOUPS 176544 WITH SCORE 176852.774
AT ITER 502 NEW BEST:: SOT 420007 SOS 308742 HAS SOPS 306989 HAS SOUS 177453 HAS SOUPS 176449 WITH SCORE 176757.742
AT ITER 503 NEW BEST:: SOT 417742 SOS 306477 HAS SOPS 304724 HAS SOUS 174813 HAS SOUPS 173809 WITH SCORE 174115.477
AT ITER 509 NEW BEST:: SOT 417607 SOS 306342 HAS SOPS 304589 HAS SOUS 174754 HAS SOUPS 173750 WITH SCORE 174056.342
AT ITER 511 NEW BEST:: SOT 416094 SOS 306047 HAS SOPS 304294 HAS SOUS 174540 HAS SOUPS 173536 WITH SCORE 173842.047
AT ITER 518 NEW BEST:: SOT 417392 SOS 306645 HAS SOPS 304892 HAS SOUS 174376 HAS SOUPS 173372 WITH SCORE 173678.645
AT ITER 527 NEW BEST:: SOT 417369 SOS 306622 HAS SOPS 304869 HAS SOUS 174311 HAS SOUPS 173307 WITH SCORE 173613.622
AT ITER 541 NEW BEST:: SOT 417781 SOS 307079 HAS SOPS 305324 HAS SOUS 174138 HAS SOUPS 173132 WITH SCORE 173439.079
AT ITER 546 NEW BEST:: SOT 417604 SOS 306902 HAS SOPS 305147 HAS SOUS 174017 HAS SOUPS 173011 WITH SCORE 173317.902
AT ITER 548 NEW BEST:: SOT 417498 SOS 306649 HAS SOPS 304894 HAS SOUS 173793 HAS SOUPS 172787 WITH SCORE 173093.649
AT ITER 558 NEW BEST:: SOT 416903 SOS 306906 HAS SOPS 305151 HAS SOUS 173104 HAS SOUPS 172098 WITH SCORE 172404.906
AT ITER 561 NEW BEST:: SOT 416587 SOS 306630 HAS SOPS 304875 HAS SOUS 171981 HAS SOUPS 170975 WITH SCORE 171281.63
AT ITER 563 NEW BEST:: SOT 416689 SOS 306726 HAS SOPS 304971 HAS SOUS 171635 HAS SOUPS 170629 WITH SCORE 170935.726
AT ITER 565 NEW BEST:: SOT 416692 SOS 306726 HAS SOPS 304971 HAS SOUS 171632 HAS SOUPS 170626 WITH SCORE 170932.726
AT ITER 568 NEW BEST:: SOT 416387 SOS 306349 HAS SOPS 304594 HAS SOUS 171085 HAS SOUPS 170079 WITH SCORE 170385.349
AT ITER 571 NEW BEST:: SOT 416243 SOS 306326 HAS SOPS 304571 HAS SOUS 170434 HAS SOUPS 169428 WITH SCORE 169734.326
AT ITER 572 NEW BEST:: SOT 415968 SOS 306135 HAS SOPS 304435 HAS SOUS 170321 HAS SOUPS 169315 WITH SCORE 169621.135
AT ITER 580 NEW BEST:: SOT 410403 SOS 300570 HAS SOPS 298995 HAS SOUS 164705 HAS SOUPS 163788 WITH SCORE 164088.57
AT ITER 581 NEW BEST:: SOT 410066 SOS 300159 HAS SOPS 298584 HAS SOUS 164201 HAS SOUPS 163284 WITH SCORE 163584.159
AT ITER 585 NEW BEST:: SOT 409376 SOS 299427 HAS SOPS 297852 HAS SOUS 163959 HAS SOUPS 163042 WITH SCORE 163341.427
AT ITER 587 NEW BEST:: SOT 408571 SOS 298810 HAS SOPS 297235 HAS SOUS 162896 HAS SOUPS 161979 WITH SCORE 162277.81
AT ITER 588 NEW BEST:: SOT 407037 SOS 297778 HAS SOPS 296203 HAS SOUS 161966 HAS SOUPS 161049 WITH SCORE 161346.778
AT ITER 590 NEW BEST:: SOT 406825 SOS 297511 HAS SOPS 295936 HAS SOUS 161950 HAS SOUPS 161033 WITH SCORE 161330.511
AT ITER 597 NEW BEST:: SOT 405999 SOS 296538 HAS SOPS 294963 HAS SOUS 161180 HAS SOUPS 160263 WITH SCORE 160559.538
AT ITER 603 NEW BEST:: SOT 405709 SOS 296248 HAS SOPS 294673 HAS SOUS 161008 HAS SOUPS 160091 WITH SCORE 160387.248
AT ITER 604 NEW BEST:: SOT 405679 SOS 296188 HAS SOPS 294613 HAS SOUS 160978 HAS SOUPS 160061 WITH SCORE 160357.188
AT ITER 605 NEW BEST:: SOT 405868 SOS 296636 HAS SOPS 295061 HAS SOUS 160899 HAS SOUPS 159982 WITH SCORE 160278.636
AT ITER 610 NEW BEST:: SOT 404290 SOS 295359 HAS SOPS 293784 HAS SOUS 159893 HAS SOUPS 158976 WITH SCORE 159271.359
AT ITER 613 NEW BEST:: SOT 404449 SOS 295579 HAS SOPS 293935 HAS SOUS 159750 HAS SOUPS 158764 WITH SCORE 159059.579
AT ITER 616 NEW BEST:: SOT 404479 SOS 295609 HAS SOPS 293965 HAS SOUS 159704 HAS SOUPS 158718 WITH SCORE 159013.609
AT ITER 620 NEW BEST:: SOT 404479 SOS 295494 HAS SOPS 293850 HAS SOUS 159658 HAS SOUPS 158672 WITH SCORE 158967.494
AT ITER 623 NEW BEST:: SOT 403944 SOS 295027 HAS SOPS 293383 HAS SOUS 159266 HAS SOUPS 158280 WITH SCORE 158575.027
AT ITER 626 NEW BEST:: SOT 403671 SOS 294587 HAS SOPS 292943 HAS SOUS 158840 HAS SOUPS 157854 WITH SCORE 158148.587
AT ITER 634 NEW BEST:: SOT 403671 SOS 294590 HAS SOPS 292946 HAS SOUS 158835 HAS SOUPS 157849 WITH SCORE 158143.59
AT ITER 636 NEW BEST:: SOT 403083 SOS 293669 HAS SOPS 292025 HAS SOUS 158315 HAS SOUPS 157329 WITH SCORE 157622.669
AT ITER 637 NEW BEST:: SOT 402562 SOS 292692 HAS SOPS 291048 HAS SOUS 158094 HAS SOUPS 157108 WITH SCORE 157400.692
AT ITER 639 NEW BEST:: SOT 402609 SOS 292739 HAS SOPS 291095 HAS SOUS 158059 HAS SOUPS 157073 WITH SCORE 157365.739
AT ITER 645 NEW BEST:: SOT 402656 SOS 293137 HAS SOPS 291493 HAS SOUS 158039 HAS SOUPS 157053 WITH SCORE 157346.137
AT ITER 646 NEW BEST:: SOT 402656 SOS 293134 HAS SOPS 291490 HAS SOUS 158039 HAS SOUPS 157053 WITH SCORE 157346.134
AT ITER 647 NEW BEST:: SOT 402589 SOS 292458 HAS SOPS 290408 HAS SOUS 158199 HAS SOUPS 156807 WITH SCORE 157099.458
AT ITER 648 NEW BEST:: SOT 402332 SOS 292163 HAS SOPS 290113 HAS SOUS 158118 HAS SOUPS 156726 WITH SCORE 157018.163
AT ITER 654 NEW BEST:: SOT 402414 SOS 292299 HAS SOPS 290180 HAS SOUS 158054 HAS SOUPS 156593 WITH SCORE 156885.299
AT ITER 655 NEW BEST:: SOT 401565 SOS 291481 HAS SOPS 289362 HAS SOUS 157247 HAS SOUPS 155786 WITH SCORE 156077.481
AT ITER 661 NEW BEST:: SOT 401438 SOS 291354 HAS SOPS 289235 HAS SOUS 156997 HAS SOUPS 155536 WITH SCORE 155827.354
AT ITER 684 NEW BEST:: SOT 401438 SOS 289104 HAS SOPS 286985 HAS SOUS 156906 HAS SOUPS 155445 WITH SCORE 155734.104
AT ITER 685 NEW BEST:: SOT 401394 SOS 289096 HAS SOPS 286977 HAS SOUS 156832 HAS SOUPS 155371 WITH SCORE 155660.096
AT ITER 687 NEW BEST:: SOT 401409 SOS 289627 HAS SOPS 287508 HAS SOUS 156817 HAS SOUPS 155356 WITH SCORE 155645.627
AT ITER 688 NEW BEST:: SOT 401421 SOS 289639 HAS SOPS 287520 HAS SOUS 156779 HAS SOUPS 155318 WITH SCORE 155607.639
AT ITER 692 NEW BEST:: SOT 401421 SOS 289639 HAS SOPS 287520 HAS SOUS 156647 HAS SOUPS 155186 WITH SCORE 155475.639
AT ITER 693 NEW BEST:: SOT 401378 SOS 289574 HAS SOPS 287455 HAS SOUS 156604 HAS SOUPS 155143 WITH SCORE 155432.574
AT ITER 695 NEW BEST:: SOT 401412 SOS 289603 HAS SOPS 287483 HAS SOUS 156603 HAS SOUPS 155141 WITH SCORE 155430.603
AT ITER 696 NEW BEST:: SOT 401383 SOS 289568 HAS SOPS 287448 HAS SOUS 156487 HAS SOUPS 155025 WITH SCORE 155314.568
AT ITER 697 NEW BEST:: SOT 401383 SOS 289535 HAS SOPS 287415 HAS SOUS 156476 HAS SOUPS 155014 WITH SCORE 155303.535
AT ITER 699 NEW BEST:: SOT 401352 SOS 289794 HAS SOPS 287674 HAS SOUS 156342 HAS SOUPS 154880 WITH SCORE 155169.794
AT ITER 704 NEW BEST:: SOT 401228 SOS 289670 HAS SOPS 287550 HAS SOUS 156032 HAS SOUPS 154570 WITH SCORE 154859.67
AT ITER 706 NEW BEST:: SOT 401068 SOS 289532 HAS SOPS 287412 HAS SOUS 155894 HAS SOUPS 154432 WITH SCORE 154721.532
AT ITER 717 NEW BEST:: SOT 401021 SOS 289251 HAS SOPS 286639 HAS SOUS 156110 HAS SOUPS 154156 WITH SCORE 154445.251
AT ITER 724 NEW BEST:: SOT 401000 SOS 289230 HAS SOPS 286618 HAS SOUS 156089 HAS SOUPS 154135 WITH SCORE 154424.23
AT ITER 726 NEW BEST:: SOT 400582 SOS 287973 HAS SOPS 285569 HAS SOUS 155852 HAS SOUPS 154106 WITH SCORE 154393.973
AT ITER 731 NEW BEST:: SOT 400078 SOS 287589 HAS SOPS 285185 HAS SOUS 155356 HAS SOUPS 153610 WITH SCORE 153897.589
AT ITER 732 NEW BEST:: SOT 399856 SOS 287366 HAS SOPS 284962 HAS SOUS 155203 HAS SOUPS 153457 WITH SCORE 153744.366
AT ITER 733 NEW BEST:: SOT 398985 SOS 286486 HAS SOPS 284082 HAS SOUS 153919 HAS SOUPS 152173 WITH SCORE 152459.486
AT ITER 739 NEW BEST:: SOT 398966 SOS 286467 HAS SOPS 284063 HAS SOUS 153919 HAS SOUPS 152173 WITH SCORE 152459.467
AT ITER 740 NEW BEST:: SOT 398966 SOS 285628 HAS SOPS 283296 HAS SOUS 153866 HAS SOUPS 152120 WITH SCORE 152405.628
AT ITER 741 NEW BEST:: SOT 398897 SOS 285384 HAS SOPS 283052 HAS SOUS 153738 HAS SOUPS 151992 WITH SCORE 152277.384
AT ITER 745 NEW BEST:: SOT 399154 SOS 285641 HAS SOPS 283309 HAS SOUS 153611 HAS SOUPS 151865 WITH SCORE 152150.641
AT ITER 747 NEW BEST:: SOT 398982 SOS 285316 HAS SOPS 282984 HAS SOUS 153204 HAS SOUPS 151458 WITH SCORE 151743.316
AT ITER 750 NEW BEST:: SOT 398856 SOS 285328 HAS SOPS 282996 HAS SOUS 152817 HAS SOUPS 151071 WITH SCORE 151356.328
AT ITER 757 NEW BEST:: SOT 398856 SOS 284954 HAS SOPS 282622 HAS SOUS 152775 HAS SOUPS 151029 WITH SCORE 151313.954
AT ITER 763 NEW BEST:: SOT 398205 SOS 284667 HAS SOPS 282335 HAS SOUS 152702 HAS SOUPS 150956 WITH SCORE 151240.667
AT ITER 765 NEW BEST:: SOT 397687 SOS 284149 HAS SOPS 281817 HAS SOUS 152191 HAS SOUPS 150445 WITH SCORE 150729.149
AT ITER 767 NEW BEST:: SOT 396606 SOS 279072 HAS SOPS 276740 HAS SOUS 151863 HAS SOUPS 150117 WITH SCORE 150396.072
AT ITER 775 NEW BEST:: SOT 396043 SOS 278558 HAS SOPS 276226 HAS SOUS 151390 HAS SOUPS 149644 WITH SCORE 149922.558
AT ITER 776 NEW BEST:: SOT 396021 SOS 278536 HAS SOPS 276204 HAS SOUS 151333 HAS SOUPS 149587 WITH SCORE 149865.536
AT ITER 789 NEW BEST:: SOT 396001 SOS 278516 HAS SOPS 276184 HAS SOUS 151293 HAS SOUPS 149547 WITH SCORE 149825.516
AT ITER 792 NEW BEST:: SOT 395869 SOS 278752 HAS SOPS 276420 HAS SOUS 151000 HAS SOUPS 149254 WITH SCORE 149532.752
AT ITER 793 NEW BEST:: SOT 392787 SOS 277021 HAS SOPS 274689 HAS SOUS 148540 HAS SOUPS 146794 WITH SCORE 147071.021
AT ITER 794 NEW BEST:: SOT 392787 SOS 276999 HAS SOPS 274656 HAS SOUS 148551 HAS SOUPS 146794 WITH SCORE 147070.999
AT ITER 800 NEW BEST:: SOT 392621 SOS 276943 HAS SOPS 274600 HAS SOUS 148501 HAS SOUPS 146744 WITH SCORE 147020.943
AT ITER 801 NEW BEST:: SOT 392635 SOS 276904 HAS SOPS 274561 HAS SOUS 148364 HAS SOUPS 146607 WITH SCORE 146883.904
AT ITER 804 NEW BEST:: SOT 392304 SOS 276468 HAS SOPS 274125 HAS SOUS 148357 HAS SOUPS 146600 WITH SCORE 146876.468
AT ITER 805 NEW BEST:: SOT 392268 SOS 276396 HAS SOPS 274053 HAS SOUS 148357 HAS SOUPS 146600 WITH SCORE 146876.396
AT ITER 807 NEW BEST:: SOT 391509 SOS 275352 HAS SOPS 273009 HAS SOUS 147425 HAS SOUPS 145668 WITH SCORE 145943.352
AT ITER 810 NEW BEST:: SOT 391416 SOS 275259 HAS SOPS 272916 HAS SOUS 147332 HAS SOUPS 145575 WITH SCORE 145850.259
AT ITER 834 NEW BEST:: SOT 390912 SOS 272996 HAS SOPS 270860 HAS SOUS 146800 HAS SOUPS 145250 WITH SCORE 145522.996
AT ITER 836 NEW BEST:: SOT 390872 SOS 272948 HAS SOPS 270812 HAS SOUS 146704 HAS SOUPS 145154 WITH SCORE 145426.948
AT ITER 844 NEW BEST:: SOT 390779 SOS 273023 HAS SOPS 270656 HAS SOUS 146590 HAS SOUPS 144841 WITH SCORE 145114.023
AT ITER 850 NEW BEST:: SOT 390611 SOS 272886 HAS SOPS 270519 HAS SOUS 146252 HAS SOUPS 144503 WITH SCORE 144775.886
AT ITER 852 NEW BEST:: SOT 390595 SOS 272873 HAS SOPS 270508 HAS SOUS 146183 HAS SOUPS 144436 WITH SCORE 144708.873
AT ITER 855 NEW BEST:: SOT 390110 SOS 272668 HAS SOPS 270303 HAS SOUS 145594 HAS SOUPS 143847 WITH SCORE 144119.668
AT ITER 856 NEW BEST:: SOT 390110 SOS 272669 HAS SOPS 270304 HAS SOUS 145586 HAS SOUPS 143839 WITH SCORE 144111.669
AT ITER 858 NEW BEST:: SOT 390095 SOS 272610 HAS SOPS 270245 HAS SOUS 145516 HAS SOUPS 143769 WITH SCORE 144041.61
AT ITER 861 NEW BEST:: SOT 390159 SOS 272674 HAS SOPS 270309 HAS SOUS 145310 HAS SOUPS 143563 WITH SCORE 143835.674
AT ITER 862 NEW BEST:: SOT 390150 SOS 272668 HAS SOPS 270303 HAS SOUS 145302 HAS SOUPS 143555 WITH SCORE 143827.668
AT ITER 863 NEW BEST:: SOT 390192 SOS 272578 HAS SOPS 270213 HAS SOUS 145269 HAS SOUPS 143522 WITH SCORE 143794.578
AT ITER 873 NEW BEST:: SOT 390158 SOS 272483 HAS SOPS 270118 HAS SOUS 145218 HAS SOUPS 143471 WITH SCORE 143743.483
AT ITER 876 NEW BEST:: SOT 389760 SOS 271667 HAS SOPS 269302 HAS SOUS 144593 HAS SOUPS 142846 WITH SCORE 143117.667
AT ITER 877 NEW BEST:: SOT 389973 SOS 269704 HAS SOPS 267339 HAS SOUS 144100 HAS SOUPS 142353 WITH SCORE 142622.704
AT ITER 878 NEW BEST:: SOT 389979 SOS 269653 HAS SOPS 267288 HAS SOUS 144037 HAS SOUPS 142290 WITH SCORE 142559.653
AT ITER 889 NEW BEST:: SOT 389897 SOS 269513 HAS SOPS 267148 HAS SOUS 143885 HAS SOUPS 142138 WITH SCORE 142407.513
AT ITER 903 NEW BEST:: SOT 388143 SOS 268052 HAS SOPS 265687 HAS SOUS 141822 HAS SOUPS 140075 WITH SCORE 140343.052
AT ITER 904 NEW BEST:: SOT 388095 SOS 268004 HAS SOPS 265639 HAS SOUS 141774 HAS SOUPS 140027 WITH SCORE 140295.004
AT ITER 909 NEW BEST:: SOT 388055 SOS 267964 HAS SOPS 265599 HAS SOUS 141564 HAS SOUPS 139817 WITH SCORE 140084.964
AT ITER 920 NEW BEST:: SOT 388099 SOS 268494 HAS SOPS 266198 HAS SOUS 141443 HAS SOUPS 139699 WITH SCORE 139967.494
AT ITER 927 NEW BEST:: SOT 388094 SOS 268474 HAS SOPS 266178 HAS SOUS 141353 HAS SOUPS 139609 WITH SCORE 139877.474
AT ITER 935 NEW BEST:: SOT 388094 SOS 267758 HAS SOPS 265462 HAS SOUS 141270 HAS SOUPS 139526 WITH SCORE 139793.758
AT ITER 942 NEW BEST:: SOT 387922 SOS 267562 HAS SOPS 265266 HAS SOUS 140914 HAS SOUPS 139170 WITH SCORE 139437.562
AT ITER 946 NEW BEST:: SOT 387836 SOS 267476 HAS SOPS 265180 HAS SOUS 140695 HAS SOUPS 138951 WITH SCORE 139218.476
AT ITER 948 NEW BEST:: SOT 387794 SOS 267318 HAS SOPS 265035 HAS SOUS 140522 HAS SOUPS 138791 WITH SCORE 139058.318
AT ITER 959 NEW BEST:: SOT 387786 SOS 267310 HAS SOPS 265027 HAS SOUS 140494 HAS SOUPS 138763 WITH SCORE 139030.31
AT ITER 969 NEW BEST:: SOT 386984 SOS 266576 HAS SOPS 264347 HAS SOUS 140422 HAS SOUPS 138745 WITH SCORE 139011.576
AT ITER 984 NEW BEST:: SOT 386510 SOS 265906 HAS SOPS 263839 HAS SOUS 139470 HAS SOUPS 137955 WITH SCORE 138220.906
AT ITER 985 NEW BEST:: SOT 386504 SOS 265888 HAS SOPS 263821 HAS SOUS 139440 HAS SOUPS 137925 WITH SCORE 138190.888
AT ITER 993 NEW BEST:: SOT 386348 SOS 265732 HAS SOPS 263665 HAS SOUS 139284 HAS SOUPS 137769 WITH SCORE 138034.732
AT ITER 1004 NEW BEST:: SOT 386297 SOS 265647 HAS SOPS 263580 HAS SOUS 139198 HAS SOUPS 137683 WITH SCORE 137948.647
AT ITER 1012 NEW BEST:: SOT 385870 SOS 265452 HAS SOPS 263385 HAS SOUS 138338 HAS SOUPS 136823 WITH SCORE 137088.452
AT ITER 1014 NEW BEST:: SOT 385835 SOS 265373 HAS SOPS 263306 HAS SOUS 138239 HAS SOUPS 136724 WITH SCORE 136989.373
AT ITER 1017 NEW BEST:: SOT 385774 SOS 265218 HAS SOPS 263151 HAS SOUS 138134 HAS SOUPS 136619 WITH SCORE 136884.218
AT ITER 1018 NEW BEST:: SOT 385744 SOS 265188 HAS SOPS 263121 HAS SOUS 138104 HAS SOUPS 136589 WITH SCORE 136854.188
AT ITER 1023 NEW BEST:: SOT 385672 SOS 265116 HAS SOPS 263049 HAS SOUS 137963 HAS SOUPS 136448 WITH SCORE 136713.116
AT ITER 1024 NEW BEST:: SOT 385585 SOS 265029 HAS SOPS 262962 HAS SOUS 137874 HAS SOUPS 136359 WITH SCORE 136624.029
AT ITER 1025 NEW BEST:: SOT 385447 SOS 264891 HAS SOPS 262824 HAS SOUS 137874 HAS SOUPS 136359 WITH SCORE 136623.891
AT ITER 1034 NEW BEST:: SOT 385447 SOS 264891 HAS SOPS 262824 HAS SOUS 137841 HAS SOUPS 136326 WITH SCORE 136590.891
AT ITER 1043 NEW BEST:: SOT 385447 SOS 264970 HAS SOPS 262903 HAS SOUS 137831 HAS SOUPS 136316 WITH SCORE 136580.97
AT ITER 1056 NEW BEST:: SOT 384837 SOS 260830 HAS SOPS 258763 HAS SOUS 137004 HAS SOUPS 135489 WITH SCORE 135749.83
AT ITER 1060 NEW BEST:: SOT 383735 SOS 259928 HAS SOPS 257936 HAS SOUS 136049 HAS SOUPS 134534 WITH SCORE 134793.928
AT ITER 1063 NEW BEST:: SOT 383736 SOS 259930 HAS SOPS 257938 HAS SOUS 136047 HAS SOUPS 134532 WITH SCORE 134791.93
AT ITER 1065 NEW BEST:: SOT 383457 SOS 259261 HAS SOPS 257269 HAS SOUS 136000 HAS SOUPS 134485 WITH SCORE 134744.261
AT ITER 1066 NEW BEST:: SOT 383457 SOS 259246 HAS SOPS 257254 HAS SOUS 136000 HAS SOUPS 134485 WITH SCORE 134744.246
AT ITER 1077 NEW BEST:: SOT 383457 SOS 259154 HAS SOPS 257209 HAS SOUS 135995 HAS SOUPS 134480 WITH SCORE 134739.154
AT ITER 1080 NEW BEST:: SOT 383337 SOS 259079 HAS SOPS 257149 HAS SOUS 135920 HAS SOUPS 134405 WITH SCORE 134664.079
AT ITER 1082 NEW BEST:: SOT 383330 SOS 259072 HAS SOPS 257142 HAS SOUS 135913 HAS SOUPS 134398 WITH SCORE 134657.072
AT ITER 1105 NEW BEST:: SOT 382163 SOS 257905 HAS SOPS 255975 HAS SOUS 134334 HAS SOUPS 132819 WITH SCORE 133076.905
AT ITER 1108 NEW BEST:: SOT 381841 SOS 256863 HAS SOPS 254933 HAS SOUS 134051 HAS SOUPS 132536 WITH SCORE 132792.863
AT ITER 1109 NEW BEST:: SOT 381796 SOS 256818 HAS SOPS 254888 HAS SOUS 133961 HAS SOUPS 132446 WITH SCORE 132702.818
AT ITER 1113 NEW BEST:: SOT 381853 SOS 256875 HAS SOPS 254945 HAS SOUS 133904 HAS SOUPS 132389 WITH SCORE 132645.875
AT ITER 1115 NEW BEST:: SOT 381790 SOS 256786 HAS SOPS 254856 HAS SOUS 133884 HAS SOUPS 132369 WITH SCORE 132625.786
AT ITER 1117 NEW BEST:: SOT 381790 SOS 256716 HAS SOPS 254786 HAS SOUS 133880 HAS SOUPS 132365 WITH SCORE 132621.716
AT ITER 1119 NEW BEST:: SOT 381912 SOS 256910 HAS SOPS 254980 HAS SOUS 133833 HAS SOUPS 132318 WITH SCORE 132574.91
AT ITER 1121 NEW BEST:: SOT 381844 SOS 256842 HAS SOPS 254912 HAS SOUS 133765 HAS SOUPS 132250 WITH SCORE 132506.842
AT ITER 1122 NEW BEST:: SOT 381380 SOS 255565 HAS SOPS 253635 HAS SOUS 133123 HAS SOUPS 131608 WITH SCORE 131863.565
AT ITER 1126 NEW BEST:: SOT 380570 SOS 252428 HAS SOPS 250498 HAS SOUS 131987 HAS SOUPS 130472 WITH SCORE 130724.428
AT ITER 1131 NEW BEST:: SOT 380370 SOS 252126 HAS SOPS 250196 HAS SOUS 131649 HAS SOUPS 130134 WITH SCORE 130386.126
AT ITER 1138 NEW BEST:: SOT 380058 SOS 251814 HAS SOPS 249884 HAS SOUS 131649 HAS SOUPS 130134 WITH SCORE 130385.814
AT ITER 1141 NEW BEST:: SOT 379974 SOS 251730 HAS SOPS 249800 HAS SOUS 131565 HAS SOUPS 130050 WITH SCORE 130301.73
AT ITER 1142 NEW BEST:: SOT 379974 SOS 251704 HAS SOPS 249774 HAS SOUS 131565 HAS SOUPS 130050 WITH SCORE 130301.704
AT ITER 1144 NEW BEST:: SOT 380008 SOS 252101 HAS SOPS 250171 HAS SOUS 131377 HAS SOUPS 129862 WITH SCORE 130114.101
AT ITER 1151 NEW BEST:: SOT 380008 SOS 251795 HAS SOPS 249865 HAS SOUS 131362 HAS SOUPS 129847 WITH SCORE 130098.795
AT ITER 1160 NEW BEST:: SOT 379940 SOS 251235 HAS SOPS 249305 HAS SOUS 131327 HAS SOUPS 129812 WITH SCORE 130063.235
AT ITER 1164 NEW BEST:: SOT 379900 SOS 251195 HAS SOPS 249265 HAS SOUS 131287 HAS SOUPS 129772 WITH SCORE 130023.195
AT ITER 1171 NEW BEST:: SOT 379881 SOS 251072 HAS SOPS 249132 HAS SOUS 131214 HAS SOUPS 129697 WITH SCORE 129948.072
AT ITER 1173 NEW BEST:: SOT 379894 SOS 251032 HAS SOPS 249058 HAS SOUS 131240 HAS SOUPS 129689 WITH SCORE 129940.032
AT ITER 1182 NEW BEST:: SOT 379908 SOS 250862 HAS SOPS 248888 HAS SOUS 130659 HAS SOUPS 129108 WITH SCORE 129358.862
AT ITER 1188 NEW BEST:: SOT 379908 SOS 250813 HAS SOPS 248791 HAS SOUS 130661 HAS SOUPS 129086 WITH SCORE 129336.813
AT ITER 1189 NEW BEST:: SOT 379873 SOS 250801 HAS SOPS 248756 HAS SOUS 130615 HAS SOUPS 129017 WITH SCORE 129267.801
AT ITER 1194 NEW BEST:: SOT 379840 SOS 250768 HAS SOPS 248723 HAS SOUS 130615 HAS SOUPS 129017 WITH SCORE 129267.768
AT ITER 1196 NEW BEST:: SOT 379836 SOS 250700 HAS SOPS 248655 HAS SOUS 130589 HAS SOUPS 128991 WITH SCORE 129241.7
AT ITER 1227 NEW BEST:: SOT 379562 SOS 250883 HAS SOPS 248838 HAS SOUS 130539 HAS SOUPS 128941 WITH SCORE 129191.883
AT ITER 1236 NEW BEST:: SOT 379355 SOS 250589 HAS SOPS 248544 HAS SOUS 130069 HAS SOUPS 128471 WITH SCORE 128721.589
AT ITER 1240 NEW BEST:: SOT 378859 SOS 250040 HAS SOPS 247995 HAS SOUS 129245 HAS SOUPS 127647 WITH SCORE 127897.04
AT ITER 1246 NEW BEST:: SOT 378630 SOS 249811 HAS SOPS 247766 HAS SOUS 129160 HAS SOUPS 127562 WITH SCORE 127811.811
AT ITER 1264 NEW BEST:: SOT 378677 SOS 249726 HAS SOPS 247678 HAS SOUS 129132 HAS SOUPS 127534 WITH SCORE 127783.726
AT ITER 1265 NEW BEST:: SOT 378454 SOS 249503 HAS SOPS 247455 HAS SOUS 128903 HAS SOUPS 127305 WITH SCORE 127554.503
AT ITER 1277 NEW BEST:: SOT 378692 SOS 250269 HAS SOPS 248221 HAS SOUS 128843 HAS SOUPS 127245 WITH SCORE 127495.269
AT ITER 1284 NEW BEST:: SOT 378330 SOS 249907 HAS SOPS 247859 HAS SOUS 128322 HAS SOUPS 126724 WITH SCORE 126973.907
AT ITER 1298 NEW BEST:: SOT 378264 SOS 249841 HAS SOPS 247793 HAS SOUS 128150 HAS SOUPS 126552 WITH SCORE 126801.841
AT ITER 1308 NEW BEST:: SOT 378363 SOS 250403 HAS SOPS 248355 HAS SOUS 127930 HAS SOUPS 126332 WITH SCORE 126582.403
AT ITER 1311 NEW BEST:: SOT 378363 SOS 250403 HAS SOPS 248355 HAS SOUS 127894 HAS SOUPS 126296 WITH SCORE 126546.403
AT ITER 1315 NEW BEST:: SOT 378296 SOS 250342 HAS SOPS 248294 HAS SOUS 127819 HAS SOUPS 126221 WITH SCORE 126471.342
AT ITER 1317 NEW BEST:: SOT 376620 SOS 248851 HAS SOPS 246737 HAS SOUS 127712 HAS SOUPS 126063 WITH SCORE 126311.851
AT ITER 1326 NEW BEST:: SOT 376033 SOS 248264 HAS SOPS 246150 HAS SOUS 126817 HAS SOUPS 125168 WITH SCORE 125416.264
AT ITER 1328 NEW BEST:: SOT 376043 SOS 248238 HAS SOPS 246124 HAS SOUS 126644 HAS SOUPS 124995 WITH SCORE 125243.238
AT ITER 1329 NEW BEST:: SOT 376039 SOS 248231 HAS SOPS 246117 HAS SOUS 126642 HAS SOUPS 124993 WITH SCORE 125241.231
AT ITER 1330 NEW BEST:: SOT 376134 SOS 248326 HAS SOPS 246212 HAS SOUS 126614 HAS SOUPS 124965 WITH SCORE 125213.326
AT ITER 1333 NEW BEST:: SOT 376164 SOS 248328 HAS SOPS 246214 HAS SOUS 126239 HAS SOUPS 124590 WITH SCORE 124838.328
AT ITER 1335 NEW BEST:: SOT 376148 SOS 248272 HAS SOPS 246158 HAS SOUS 126231 HAS SOUPS 124582 WITH SCORE 124830.272
AT ITER 1348 NEW BEST:: SOT 376030 SOS 248154 HAS SOPS 246040 HAS SOUS 125945 HAS SOUPS 124296 WITH SCORE 124544.154
AT ITER 1351 NEW BEST:: SOT 376033 SOS 248157 HAS SOPS 246043 HAS SOUS 125942 HAS SOUPS 124293 WITH SCORE 124541.157
AT ITER 1352 NEW BEST:: SOT 376024 SOS 248146 HAS SOPS 246032 HAS SOUS 125929 HAS SOUPS 124280 WITH SCORE 124528.146
AT ITER 1355 NEW BEST:: SOT 376128 SOS 246818 HAS SOPS 244801 HAS SOUS 125248 HAS SOUPS 123678 WITH SCORE 123924.818
AT ITER 1367 NEW BEST:: SOT 375514 SOS 246414 HAS SOPS 244413 HAS SOUS 124634 HAS SOUPS 123064 WITH SCORE 123310.414
AT ITER 1379 NEW BEST:: SOT 374911 SOS 243948 HAS SOPS 241947 HAS SOUS 124122 HAS SOUPS 122552 WITH SCORE 122795.948
AT ITER 1382 NEW BEST:: SOT 374899 SOS 243918 HAS SOPS 241917 HAS SOUS 124116 HAS SOUPS 122546 WITH SCORE 122789.918
AT ITER 1384 NEW BEST:: SOT 375001 SOS 243973 HAS SOPS 241972 HAS SOUS 123773 HAS SOUPS 122203 WITH SCORE 122446.973
AT ITER 1386 NEW BEST:: SOT 374967 SOS 243922 HAS SOPS 241921 HAS SOUS 123688 HAS SOUPS 122118 WITH SCORE 122361.922
AT ITER 1391 NEW BEST:: SOT 374683 SOS 242959 HAS SOPS 240958 HAS SOUS 123204 HAS SOUPS 121634 WITH SCORE 121876.959
AT ITER 1399 NEW BEST:: SOT 374683 SOS 242775 HAS SOPS 240774 HAS SOUS 123204 HAS SOUPS 121634 WITH SCORE 121876.775
AT ITER 1400 NEW BEST:: SOT 374679 SOS 242771 HAS SOPS 240770 HAS SOUS 123198 HAS SOUPS 121628 WITH SCORE 121870.771
AT ITER 1424 NEW BEST:: SOT 374066 SOS 241842 HAS SOPS 239841 HAS SOUS 122329 HAS SOUPS 120759 WITH SCORE 121000.842
AT ITER 1431 NEW BEST:: SOT 374042 SOS 241746 HAS SOPS 239757 HAS SOUS 122293 HAS SOUPS 120735 WITH SCORE 120976.746
AT ITER 1441 NEW BEST:: SOT 373442 SOS 240912 HAS SOPS 238923 HAS SOUS 121499 HAS SOUPS 119941 WITH SCORE 120181.912
AT ITER 1445 NEW BEST:: SOT 373442 SOS 240912 HAS SOPS 238923 HAS SOUS 121498 HAS SOUPS 119940 WITH SCORE 120180.912
AT ITER 1447 NEW BEST:: SOT 373045 SOS 240515 HAS SOPS 238526 HAS SOUS 121061 HAS SOUPS 119503 WITH SCORE 119743.515
AT ITER 1448 NEW BEST:: SOT 373011 SOS 240481 HAS SOPS 238492 HAS SOUS 120957 HAS SOUPS 119399 WITH SCORE 119639.481
AT ITER 1461 NEW BEST:: SOT 372785 SOS 240160 HAS SOPS 238182 HAS SOUS 120724 HAS SOUPS 119177 WITH SCORE 119417.16
AT ITER 1472 NEW BEST:: SOT 372170 SOS 239500 HAS SOPS 237522 HAS SOUS 120064 HAS SOUPS 118517 WITH SCORE 118756.5
AT ITER 1482 NEW BEST:: SOT 371858 SOS 239188 HAS SOPS 237210 HAS SOUS 119764 HAS SOUPS 118217 WITH SCORE 118456.188
AT ITER 1483 NEW BEST:: SOT 371858 SOS 239056 HAS SOPS 237078 HAS SOUS 119764 HAS SOUPS 118217 WITH SCORE 118456.056
AT ITER 1486 NEW BEST:: SOT 371850 SOS 239097 HAS SOPS 237119 HAS SOUS 119750 HAS SOUPS 118203 WITH SCORE 118442.097
AT ITER 1487 NEW BEST:: SOT 371850 SOS 239383 HAS SOPS 237352 HAS SOUS 119794 HAS SOUPS 118194 WITH SCORE 118433.383
AT ITER 1488 NEW BEST:: SOT 371824 SOS 239351 HAS SOPS 237320 HAS SOUS 119768 HAS SOUPS 118168 WITH SCORE 118407.351
AT ITER 1518 NEW BEST:: SOT 371682 SOS 239041 HAS SOPS 237010 HAS SOUS 119597 HAS SOUPS 117997 WITH SCORE 118236.041
AT ITER 1532 NEW BEST:: SOT 371667 SOS 238972 HAS SOPS 236941 HAS SOUS 119591 HAS SOUPS 117991 WITH SCORE 118229.972
AT ITER 1535 NEW BEST:: SOT 370693 SOS 241270 HAS SOPS 239239 HAS SOUS 119562 HAS SOUPS 117962 WITH SCORE 118203.27
AT ITER 1540 NEW BEST:: SOT 370275 SOS 239784 HAS SOPS 237753 HAS SOUS 119132 HAS SOUPS 117532 WITH SCORE 117771.784
AT ITER 1545 NEW BEST:: SOT 370225 SOS 239709 HAS SOPS 237678 HAS SOUS 119007 HAS SOUPS 117407 WITH SCORE 117646.709
AT ITER 1557 NEW BEST:: SOT 370206 SOS 239638 HAS SOPS 237607 HAS SOUS 118955 HAS SOUPS 117355 WITH SCORE 117594.638
AT ITER 1561 NEW BEST:: SOT 370110 SOS 239542 HAS SOPS 237511 HAS SOUS 118888 HAS SOUPS 117288 WITH SCORE 117527.542
AT ITER 1569 NEW BEST:: SOT 370004 SOS 238635 HAS SOPS 236604 HAS SOUS 118724 HAS SOUPS 117124 WITH SCORE 117362.635
AT ITER 1572 NEW BEST:: SOT 369498 SOS 237825 HAS SOPS 235794 HAS SOUS 117790 HAS SOUPS 116190 WITH SCORE 116427.825
AT ITER 1577 NEW BEST:: SOT 369404 SOS 237731 HAS SOPS 235700 HAS SOUS 117669 HAS SOUPS 116069 WITH SCORE 116306.731
AT ITER 1583 NEW BEST:: SOT 369404 SOS 237725 HAS SOPS 235694 HAS SOUS 117666 HAS SOUPS 116066 WITH SCORE 116303.725
AT ITER 1595 NEW BEST:: SOT 369378 SOS 237699 HAS SOPS 235668 HAS SOUS 117640 HAS SOUPS 116040 WITH SCORE 116277.699
AT ITER 1608 NEW BEST:: SOT 369378 SOS 237763 HAS SOPS 235710 HAS SOUS 117646 HAS SOUPS 116032 WITH SCORE 116269.763
AT ITER 1616 NEW BEST:: SOT 369367 SOS 237877 HAS SOPS 235824 HAS SOUS 117613 HAS SOUPS 115999 WITH SCORE 116236.877
AT ITER 1617 NEW BEST:: SOT 369337 SOS 237801 HAS SOPS 235748 HAS SOUS 117238 HAS SOUPS 115624 WITH SCORE 115861.801
AT ITER 1625 NEW BEST:: SOT 369337 SOS 237571 HAS SOPS 235518 HAS SOUS 117238 HAS SOUPS 115624 WITH SCORE 115861.571
AT ITER 1629 NEW BEST:: SOT 369344 SOS 237578 HAS SOPS 235525 HAS SOUS 117237 HAS SOUPS 115623 WITH SCORE 115860.578
AT ITER 1630 NEW BEST:: SOT 368931 SOS 236818 HAS SOPS 234765 HAS SOUS 116605 HAS SOUPS 114991 WITH SCORE 115227.818
AT ITER 1637 NEW BEST:: SOT 368754 SOS 236914 HAS SOPS 234861 HAS SOUS 116367 HAS SOUPS 114753 WITH SCORE 114989.914
AT ITER 1641 NEW BEST:: SOT 368754 SOS 237107 HAS SOPS 235054 HAS SOUS 116107 HAS SOUPS 114493 WITH SCORE 114730.107
AT ITER 1643 NEW BEST:: SOT 368857 SOS 237150 HAS SOPS 235097 HAS SOUS 116041 HAS SOUPS 114427 WITH SCORE 114664.15
AT ITER 1649 NEW BEST:: SOT 368578 SOS 236871 HAS SOPS 234818 HAS SOUS 115927 HAS SOUPS 114313 WITH SCORE 114549.871
AT ITER 1659 NEW BEST:: SOT 368528 SOS 236725 HAS SOPS 234672 HAS SOUS 115906 HAS SOUPS 114292 WITH SCORE 114528.725
AT ITER 1668 NEW BEST:: SOT 368528 SOS 236582 HAS SOPS 234529 HAS SOUS 115862 HAS SOUPS 114248 WITH SCORE 114484.582
AT ITER 1675 NEW BEST:: SOT 368797 SOS 236511 HAS SOPS 234458 HAS SOUS 115785 HAS SOUPS 114171 WITH SCORE 114407.511
AT ITER 1680 NEW BEST:: SOT 368694 SOS 236314 HAS SOPS 234261 HAS SOUS 115740 HAS SOUPS 114126 WITH SCORE 114362.314
AT ITER 1685 NEW BEST:: SOT 368694 SOS 236332 HAS SOPS 234279 HAS SOUS 115737 HAS SOUPS 114123 WITH SCORE 114359.332
AT ITER 1689 NEW BEST:: SOT 368355 SOS 236039 HAS SOPS 234023 HAS SOUS 115300 HAS SOUPS 113723 WITH SCORE 113959.039
AT ITER 1698 NEW BEST:: SOT 367887 SOS 235571 HAS SOPS 233555 HAS SOUS 115151 HAS SOUPS 113574 WITH SCORE 113809.571
AT ITER 1699 NEW BEST:: SOT 367666 SOS 234426 HAS SOPS 232410 HAS SOUS 115074 HAS SOUPS 113497 WITH SCORE 113731.426
AT ITER 1700 NEW BEST:: SOT 367530 SOS 234257 HAS SOPS 232241 HAS SOUS 114984 HAS SOUPS 113407 WITH SCORE 113641.257
AT ITER 1715 NEW BEST:: SOT 367530 SOS 234173 HAS SOPS 232157 HAS SOUS 114984 HAS SOUPS 113407 WITH SCORE 113641.173
AT ITER 1724 NEW BEST:: SOT 367394 SOS 233739 HAS SOPS 231723 HAS SOUS 114704 HAS SOUPS 113127 WITH SCORE 113360.739
AT ITER 1740 NEW BEST:: SOT 367291 SOS 233596 HAS SOPS 231580 HAS SOUS 114629 HAS SOUPS 113052 WITH SCORE 113285.596
AT ITER 1747 NEW BEST:: SOT 367354 SOS 233659 HAS SOPS 231643 HAS SOUS 114593 HAS SOUPS 113016 WITH SCORE 113249.659
AT ITER 1772 NEW BEST:: SOT 367336 SOS 233519 HAS SOPS 231503 HAS SOUS 114576 HAS SOUPS 112999 WITH SCORE 113232.519
AT ITER 1779 NEW BEST:: SOT 367189 SOS 233372 HAS SOPS 231356 HAS SOUS 114219 HAS SOUPS 112642 WITH SCORE 112875.372
AT ITER 1785 NEW BEST:: SOT 367247 SOS 233403 HAS SOPS 231387 HAS SOUS 114216 HAS SOUPS 112639 WITH SCORE 112872.403
AT ITER 1793 NEW BEST:: SOT 367214 SOS 233598 HAS SOPS 231582 HAS SOUS 114206 HAS SOUPS 112629 WITH SCORE 112862.598
AT ITER 1794 NEW BEST:: SOT 367160 SOS 233562 HAS SOPS 231546 HAS SOUS 114059 HAS SOUPS 112482 WITH SCORE 112715.562
AT ITER 1795 NEW BEST:: SOT 367520 SOS 231777 HAS SOPS 229761 HAS SOUS 113939 HAS SOUPS 112362 WITH SCORE 112593.777
AT ITER 1801 NEW BEST:: SOT 367535 SOS 231717 HAS SOPS 229701 HAS SOUS 113934 HAS SOUPS 112357 WITH SCORE 112588.717
AT ITER 1807 NEW BEST:: SOT 367530 SOS 231712 HAS SOPS 229696 HAS SOUS 113930 HAS SOUPS 112353 WITH SCORE 112584.712
AT ITER 1809 NEW BEST:: SOT 367382 SOS 231564 HAS SOPS 229548 HAS SOUS 113692 HAS SOUPS 112115 WITH SCORE 112346.564
AT ITER 1820 NEW BEST:: SOT 367382 SOS 231569 HAS SOPS 229553 HAS SOUS 113520 HAS SOUPS 111943 WITH SCORE 112174.569
AT ITER 1824 NEW BEST:: SOT 367420 SOS 231607 HAS SOPS 229591 HAS SOUS 113482 HAS SOUPS 111905 WITH SCORE 112136.607
AT ITER 1825 NEW BEST:: SOT 367374 SOS 231561 HAS SOPS 229545 HAS SOUS 113477 HAS SOUPS 111900 WITH SCORE 112131.561
AT ITER 1829 NEW BEST:: SOT 367136 SOS 231323 HAS SOPS 229307 HAS SOUS 113345 HAS SOUPS 111768 WITH SCORE 111999.323
AT ITER 1840 NEW BEST:: SOT 367100 SOS 231215 HAS SOPS 229199 HAS SOUS 113237 HAS SOUPS 111660 WITH SCORE 111891.215
AT ITER 1852 NEW BEST:: SOT 367102 SOS 231217 HAS SOPS 229201 HAS SOUS 113236 HAS SOUPS 111659 WITH SCORE 111890.217
AT ITER 1853 NEW BEST:: SOT 366902 SOS 231159 HAS SOPS 229143 HAS SOUS 113202 HAS SOUPS 111625 WITH SCORE 111856.159
AT ITER 1858 NEW BEST:: SOT 366750 SOS 231007 HAS SOPS 228991 HAS SOUS 113163 HAS SOUPS 111586 WITH SCORE 111817.007
AT ITER 1867 NEW BEST:: SOT 366174 SOS 229088 HAS SOPS 227072 HAS SOUS 113145 HAS SOUPS 111568 WITH SCORE 111797.088
AT ITER 1871 NEW BEST:: SOT 366626 SOS 230493 HAS SOPS 228477 HAS SOUS 113025 HAS SOUPS 111448 WITH SCORE 111678.493
AT ITER 1884 NEW BEST:: SOT 366540 SOS 230407 HAS SOPS 228391 HAS SOUS 112899 HAS SOUPS 111322 WITH SCORE 111552.407
AT ITER 1897 NEW BEST:: SOT 366517 SOS 230335 HAS SOPS 228319 HAS SOUS 112818 HAS SOUPS 111241 WITH SCORE 111471.335
AT ITER 1899 NEW BEST:: SOT 365980 SOS 228987 HAS SOPS 226971 HAS SOUS 112688 HAS SOUPS 111111 WITH SCORE 111339.987
AT ITER 1914 NEW BEST:: SOT 365980 SOS 229003 HAS SOPS 226987 HAS SOUS 112661 HAS SOUPS 111084 WITH SCORE 111313.003
AT ITER 1918 NEW BEST:: SOT 365919 SOS 228744 HAS SOPS 226728 HAS SOUS 112504 HAS SOUPS 110927 WITH SCORE 111155.744
AT ITER 1919 NEW BEST:: SOT 365843 SOS 228668 HAS SOPS 226652 HAS SOUS 112485 HAS SOUPS 110908 WITH SCORE 111136.668
AT ITER 1922 NEW BEST:: SOT 365793 SOS 228583 HAS SOPS 226567 HAS SOUS 112390 HAS SOUPS 110813 WITH SCORE 111041.583
AT ITER 1929 NEW BEST:: SOT 365625 SOS 228457 HAS SOPS 226441 HAS SOUS 112285 HAS SOUPS 110708 WITH SCORE 110936.457
AT ITER 1936 NEW BEST:: SOT 365625 SOS 228627 HAS SOPS 226611 HAS SOUS 112135 HAS SOUPS 110558 WITH SCORE 110786.627
AT ITER 1938 NEW BEST:: SOT 365483 SOS 228372 HAS SOPS 226356 HAS SOUS 111652 HAS SOUPS 110075 WITH SCORE 110303.372
AT ITER 1940 NEW BEST:: SOT 365459 SOS 228354 HAS SOPS 226319 HAS SOUS 111639 HAS SOUPS 110043 WITH SCORE 110271.354
AT ITER 1949 NEW BEST:: SOT 365454 SOS 228679 HAS SOPS 226644 HAS SOUS 111598 HAS SOUPS 110002 WITH SCORE 110230.679
AT ITER 1953 NEW BEST:: SOT 365454 SOS 228723 HAS SOPS 226688 HAS SOUS 111506 HAS SOUPS 109910 WITH SCORE 110138.723
AT ITER 1959 NEW BEST:: SOT 365298 SOS 228567 HAS SOPS 226532 HAS SOUS 111467 HAS SOUPS 109871 WITH SCORE 110099.567
AT ITER 1961 NEW BEST:: SOT 365285 SOS 228542 HAS SOPS 226507 HAS SOUS 111466 HAS SOUPS 109870 WITH SCORE 110098.542
AT ITER 1966 NEW BEST:: SOT 365259 SOS 228464 HAS SOPS 226429 HAS SOUS 111388 HAS SOUPS 109792 WITH SCORE 110020.464
AT ITER 1967 NEW BEST:: SOT 364891 SOS 227790 HAS SOPS 225755 HAS SOUS 110918 HAS SOUPS 109322 WITH SCORE 109549.79
AT ITER 1975 NEW BEST:: SOT 364648 SOS 227583 HAS SOPS 225586 HAS SOUS 110683 HAS SOUPS 109125 WITH SCORE 109352.583
AT ITER 1985 NEW BEST:: SOT 364602 SOS 227759 HAS SOPS 225762 HAS SOUS 110674 HAS SOUPS 109116 WITH SCORE 109343.759
AT ITER 1987 NEW BEST:: SOT 364800 SOS 227957 HAS SOPS 225960 HAS SOUS 110598 HAS SOUPS 109040 WITH SCORE 109267.957
AT ITER 1991 NEW BEST:: SOT 364738 SOS 227740 HAS SOPS 225743 HAS SOUS 110536 HAS SOUPS 108978 WITH SCORE 109205.74
AT ITER 1995 NEW BEST:: SOT 364742 SOS 227738 HAS SOPS 225731 HAS SOUS 110418 HAS SOUPS 108850 WITH SCORE 109077.738
AT ITER 1998 NEW BEST:: SOT 364721 SOS 227717 HAS SOPS 225710 HAS SOUS 110397 HAS SOUPS 108829 WITH SCORE 109056.717
AT ITER 2002 NEW BEST:: SOT 364724 SOS 227714 HAS SOPS 225707 HAS SOUS 110394 HAS SOUPS 108826 WITH SCORE 109053.714
AT ITER 2003 NEW BEST:: SOT 364383 SOS 227352 HAS SOPS 225345 HAS SOUS 109655 HAS SOUPS 108087 WITH SCORE 108314.352
AT ITER 2011 NEW BEST:: SOT 364153 SOS 227122 HAS SOPS 225115 HAS SOUS 109641 HAS SOUPS 108073 WITH SCORE 108300.122
AT ITER 2012 NEW BEST:: SOT 364023 SOS 226630 HAS SOPS 224623 HAS SOUS 109594 HAS SOUPS 108026 WITH SCORE 108252.63
AT ITER 2019 NEW BEST:: SOT 363611 SOS 226218 HAS SOPS 224211 HAS SOUS 109340 HAS SOUPS 107772 WITH SCORE 107998.218
AT ITER 2041 NEW BEST:: SOT 363518 SOS 226131 HAS SOPS 224124 HAS SOUS 109198 HAS SOUPS 107630 WITH SCORE 107856.131
AT ITER 2051 NEW BEST:: SOT 363518 SOS 226114 HAS SOPS 224073 HAS SOUS 109198 HAS SOUPS 107613 WITH SCORE 107839.114
AT ITER 2058 NEW BEST:: SOT 363259 SOS 225855 HAS SOPS 223814 HAS SOUS 108825 HAS SOUPS 107240 WITH SCORE 107465.855
AT ITER 2066 NEW BEST:: SOT 363191 SOS 225749 HAS SOPS 223708 HAS SOUS 108756 HAS SOUPS 107171 WITH SCORE 107396.749
AT ITER 2068 NEW BEST:: SOT 363069 SOS 225050 HAS SOPS 223009 HAS SOUS 108473 HAS SOUPS 106888 WITH SCORE 107113.05
AT ITER 2073 NEW BEST:: SOT 362986 SOS 226089 HAS SOPS 224048 HAS SOUS 108471 HAS SOUPS 106886 WITH SCORE 107112.089
AT ITER 2077 NEW BEST:: SOT 362946 SOS 226041 HAS SOPS 224000 HAS SOUS 108447 HAS SOUPS 106862 WITH SCORE 107088.041
AT ITER 2078 NEW BEST:: SOT 362784 SOS 225879 HAS SOPS 223838 HAS SOUS 108193 HAS SOUPS 106608 WITH SCORE 106833.879
AT ITER 2085 NEW BEST:: SOT 363005 SOS 226095 HAS SOPS 224054 HAS SOUS 108132 HAS SOUPS 106547 WITH SCORE 106773.095
AT ITER 2090 NEW BEST:: SOT 362807 SOS 224177 HAS SOPS 222136 HAS SOUS 108058 HAS SOUPS 106473 WITH SCORE 106697.177
AT ITER 2095 NEW BEST:: SOT 362803 SOS 224169 HAS SOPS 222128 HAS SOUS 108044 HAS SOUPS 106459 WITH SCORE 106683.169
AT ITER 2103 NEW BEST:: SOT 362795 SOS 224153 HAS SOPS 222112 HAS SOUS 108027 HAS SOUPS 106442 WITH SCORE 106666.153
AT ITER 2106 NEW BEST:: SOT 362795 SOS 224146 HAS SOPS 222105 HAS SOUS 108026 HAS SOUPS 106441 WITH SCORE 106665.146
AT ITER 2109 NEW BEST:: SOT 362805 SOS 224058 HAS SOPS 222017 HAS SOUS 107975 HAS SOUPS 106390 WITH SCORE 106614.058
AT ITER 2121 NEW BEST:: SOT 362727 SOS 223980 HAS SOPS 221939 HAS SOUS 107897 HAS SOUPS 106312 WITH SCORE 106535.98
AT ITER 2126 NEW BEST:: SOT 362722 SOS 223975 HAS SOPS 221934 HAS SOUS 107892 HAS SOUPS 106307 WITH SCORE 106530.975
AT ITER 2132 NEW BEST:: SOT 362648 SOS 223901 HAS SOPS 221860 HAS SOUS 107516 HAS SOUPS 105931 WITH SCORE 106154.901
AT ITER 2138 NEW BEST:: SOT 362408 SOS 223481 HAS SOPS 221440 HAS SOUS 107216 HAS SOUPS 105631 WITH SCORE 105854.481
AT ITER 2141 NEW BEST:: SOT 362408 SOS 223583 HAS SOPS 221542 HAS SOUS 107177 HAS SOUPS 105592 WITH SCORE 105815.583
AT ITER 2146 NEW BEST:: SOT 362400 SOS 223555 HAS SOPS 221514 HAS SOUS 107173 HAS SOUPS 105588 WITH SCORE 105811.555
AT ITER 2148 NEW BEST:: SOT 362434 SOS 222493 HAS SOPS 220539 HAS SOUS 106838 HAS SOUPS 105253 WITH SCORE 105475.493
AT ITER 2162 NEW BEST:: SOT 362424 SOS 222472 HAS SOPS 220518 HAS SOUS 106813 HAS SOUPS 105228 WITH SCORE 105450.472
AT ITER 2187 NEW BEST:: SOT 362520 SOS 222041 HAS SOPS 220087 HAS SOUS 106812 HAS SOUPS 105227 WITH SCORE 105449.041
AT ITER 2198 NEW BEST:: SOT 362598 SOS 222119 HAS SOPS 220165 HAS SOUS 106738 HAS SOUPS 105153 WITH SCORE 105375.119
AT ITER 2203 NEW BEST:: SOT 362772 SOS 222045 HAS SOPS 220091 HAS SOUS 106684 HAS SOUPS 105099 WITH SCORE 105321.045
AT ITER 2208 NEW BEST:: SOT 362671 SOS 221786 HAS SOPS 219832 HAS SOUS 106506 HAS SOUPS 104921 WITH SCORE 105142.786
AT ITER 2218 NEW BEST:: SOT 362673 SOS 221738 HAS SOPS 219784 HAS SOUS 106459 HAS SOUPS 104874 WITH SCORE 105095.738
AT ITER 2219 NEW BEST:: SOT 362511 SOS 221576 HAS SOPS 219622 HAS SOUS 106420 HAS SOUPS 104835 WITH SCORE 105056.576
AT ITER 2225 NEW BEST:: SOT 362469 SOS 220838 HAS SOPS 218916 HAS SOUS 106043 HAS SOUPS 104458 WITH SCORE 104678.838
AT ITER 2228 NEW BEST:: SOT 362591 SOS 220960 HAS SOPS 219038 HAS SOUS 106021 HAS SOUPS 104436 WITH SCORE 104656.96
AT ITER 2236 NEW BEST:: SOT 362663 SOS 220956 HAS SOPS 219034 HAS SOUS 105785 HAS SOUPS 104200 WITH SCORE 104420.956
AT ITER 2243 NEW BEST:: SOT 362637 SOS 220930 HAS SOPS 219008 HAS SOUS 105749 HAS SOUPS 104164 WITH SCORE 104384.93
AT ITER 2245 NEW BEST:: SOT 362620 SOS 220913 HAS SOPS 218991 HAS SOUS 105741 HAS SOUPS 104156 WITH SCORE 104376.913
AT ITER 2249 NEW BEST:: SOT 362590 SOS 220883 HAS SOPS 218961 HAS SOUS 105726 HAS SOUPS 104141 WITH SCORE 104361.883
AT ITER 2250 NEW BEST:: SOT 362536 SOS 220832 HAS SOPS 218910 HAS SOUS 105579 HAS SOUPS 103994 WITH SCORE 104214.832
AT ITER 2253 NEW BEST:: SOT 362522 SOS 220806 HAS SOPS 218884 HAS SOUS 105553 HAS SOUPS 103968 WITH SCORE 104188.806
AT ITER 2262 NEW BEST:: SOT 362254 SOS 220485 HAS SOPS 218563 HAS SOUS 105196 HAS SOUPS 103611 WITH SCORE 103831.485
AT ITER 2278 NEW BEST:: SOT 362239 SOS 220241 HAS SOPS 218319 HAS SOUS 105190 HAS SOUPS 103605 WITH SCORE 103825.241
AT ITER 2279 NEW BEST:: SOT 362140 SOS 219906 HAS SOPS 217984 HAS SOUS 105016 HAS SOUPS 103431 WITH SCORE 103650.906
AT ITER 2281 NEW BEST:: SOT 362105 SOS 219843 HAS SOPS 217921 HAS SOUS 104981 HAS SOUPS 103396 WITH SCORE 103615.843
AT ITER 2292 NEW BEST:: SOT 362164 SOS 220052 HAS SOPS 218130 HAS SOUS 104838 HAS SOUPS 103253 WITH SCORE 103473.052
AT ITER 2301 NEW BEST:: SOT 361632 SOS 219583 HAS SOPS 217661 HAS SOUS 104145 HAS SOUPS 102560 WITH SCORE 102779.583
AT ITER 2311 NEW BEST:: SOT 361220 SOS 218646 HAS SOPS 216724 HAS SOUS 104133 HAS SOUPS 102548 WITH SCORE 102766.646
AT ITER 2313 NEW BEST:: SOT 361179 SOS 218583 HAS SOPS 216661 HAS SOUS 103891 HAS SOUPS 102306 WITH SCORE 102524.583
AT ITER 2326 NEW BEST:: SOT 361237 SOS 218517 HAS SOPS 216595 HAS SOUS 103802 HAS SOUPS 102217 WITH SCORE 102435.517
AT ITER 2329 NEW BEST:: SOT 361532 SOS 218946 HAS SOPS 217024 HAS SOUS 103782 HAS SOUPS 102197 WITH SCORE 102415.946
AT ITER 2351 NEW BEST:: SOT 361392 SOS 218806 HAS SOPS 216884 HAS SOUS 103642 HAS SOUPS 102057 WITH SCORE 102275.806
AT ITER 2352 NEW BEST:: SOT 361392 SOS 218706 HAS SOPS 216569 HAS SOUS 103625 HAS SOUPS 101923 WITH SCORE 102141.706
AT ITER 2357 NEW BEST:: SOT 361389 SOS 218676 HAS SOPS 216539 HAS SOUS 103622 HAS SOUPS 101920 WITH SCORE 102138.676
AT ITER 2370 NEW BEST:: SOT 361389 SOS 218672 HAS SOPS 216535 HAS SOUS 103606 HAS SOUPS 101904 WITH SCORE 102122.672
AT ITER 2380 NEW BEST:: SOT 361270 SOS 218553 HAS SOPS 216416 HAS SOUS 103601 HAS SOUPS 101899 WITH SCORE 102117.553
AT ITER 2383 NEW BEST:: SOT 361290 SOS 218573 HAS SOPS 216436 HAS SOUS 103564 HAS SOUPS 101862 WITH SCORE 102080.573
AT ITER 2405 NEW BEST:: SOT 361298 SOS 218563 HAS SOPS 216426 HAS SOUS 103544 HAS SOUPS 101842 WITH SCORE 102060.563
AT ITER 2411 NEW BEST:: SOT 361430 SOS 218314 HAS SOPS 216177 HAS SOUS 103511 HAS SOUPS 101809 WITH SCORE 102027.314
AT ITER 2422 NEW BEST:: SOT 361274 SOS 217971 HAS SOPS 215834 HAS SOUS 103419 HAS SOUPS 101717 WITH SCORE 101934.971
AT ITER 2428 NEW BEST:: SOT 361194 SOS 217891 HAS SOPS 215754 HAS SOUS 103319 HAS SOUPS 101617 WITH SCORE 101834.891
AT ITER 2430 NEW BEST:: SOT 361192 SOS 217854 HAS SOPS 215718 HAS SOUS 103316 HAS SOUPS 101614 WITH SCORE 101831.854
AT ITER 2432 NEW BEST:: SOT 361148 SOS 217810 HAS SOPS 215674 HAS SOUS 103233 HAS SOUPS 101531 WITH SCORE 101748.81
AT ITER 2470 NEW BEST:: SOT 361091 SOS 217753 HAS SOPS 215617 HAS SOUS 103179 HAS SOUPS 101477 WITH SCORE 101694.753
AT ITER 2477 NEW BEST:: SOT 361058 SOS 217698 HAS SOPS 215562 HAS SOUS 103086 HAS SOUPS 101384 WITH SCORE 101601.698
AT ITER 2479 NEW BEST:: SOT 360958 SOS 217554 HAS SOPS 215418 HAS SOUS 102860 HAS SOUPS 101158 WITH SCORE 101375.554
AT ITER 2495 NEW BEST:: SOT 360754 SOS 217350 HAS SOPS 215214 HAS SOUS 102776 HAS SOUPS 101074 WITH SCORE 101291.35
AT ITER 2499 NEW BEST:: SOT 360380 SOS 217841 HAS SOPS 215841 HAS SOUS 102492 HAS SOUPS 100828 WITH SCORE 101045.841
AT ITER 2503 NEW BEST:: SOT 360377 SOS 217839 HAS SOPS 215839 HAS SOUS 102470 HAS SOUPS 100806 WITH SCORE 101023.839
AT ITER 2517 NEW BEST:: SOT 360599 SOS 217454 HAS SOPS 215454 HAS SOUS 102435 HAS SOUPS 100771 WITH SCORE 100988.454
AT ITER 2522 NEW BEST:: SOT 360395 SOS 217244 HAS SOPS 215244 HAS SOUS 102199 HAS SOUPS 100535 WITH SCORE 100752.244
AT ITER 2540 NEW BEST:: SOT 360355 SOS 217204 HAS SOPS 215204 HAS SOUS 102159 HAS SOUPS 100495 WITH SCORE 100712.204
AT ITER 2545 NEW BEST:: SOT 360276 SOS 217087 HAS SOPS 215087 HAS SOUS 102121 HAS SOUPS 100457 WITH SCORE 100674.087
AT ITER 2546 NEW BEST:: SOT 360273 SOS 217095 HAS SOPS 215095 HAS SOUS 102010 HAS SOUPS 100346 WITH SCORE 100563.095
AT ITER 2556 NEW BEST:: SOT 360181 SOS 217003 HAS SOPS 215003 HAS SOUS 101839 HAS SOUPS 100175 WITH SCORE 100392.003
AT ITER 2566 NEW BEST:: SOT 359965 SOS 216787 HAS SOPS 214787 HAS SOUS 101767 HAS SOUPS 100103 WITH SCORE 100319.787
AT ITER 2568 NEW BEST:: SOT 359918 SOS 216317 HAS SOPS 214317 HAS SOUS 101724 HAS SOUPS 100060 WITH SCORE 100276.317
AT ITER 2570 NEW BEST:: SOT 359890 SOS 216288 HAS SOPS 214288 HAS SOUS 101696 HAS SOUPS 100032 WITH SCORE 100248.288
AT ITER 2571 NEW BEST:: SOT 359909 SOS 216307 HAS SOPS 214307 HAS SOUS 101691 HAS SOUPS 100027 WITH SCORE 100243.307
AT ITER 2577 NEW BEST:: SOT 359909 SOS 216250 HAS SOPS 214250 HAS SOUS 101685 HAS SOUPS 100021 WITH SCORE 100237.25
AT ITER 2585 NEW BEST:: SOT 360001 SOS 216334 HAS SOPS 214334 HAS SOUS 101230 HAS SOUPS 99566 WITH SCORE 99782.334
AT ITER 2594 NEW BEST:: SOT 359955 SOS 216288 HAS SOPS 214288 HAS SOUS 101177 HAS SOUPS 99513 WITH SCORE 99729.288
AT ITER 2602 NEW BEST:: SOT 359833 SOS 216514 HAS SOPS 214514 HAS SOUS 101163 HAS SOUPS 99499 WITH SCORE 99715.514
AT ITER 2603 NEW BEST:: SOT 359770 SOS 215524 HAS SOPS 213524 HAS SOUS 100998 HAS SOUPS 99334 WITH SCORE 99549.524
AT ITER 2609 NEW BEST:: SOT 359826 SOS 215560 HAS SOPS 213560 HAS SOUS 100924 HAS SOUPS 99260 WITH SCORE 99475.56
AT ITER 2626 NEW BEST:: SOT 359826 SOS 215560 HAS SOPS 213560 HAS SOUS 100910 HAS SOUPS 99246 WITH SCORE 99461.56
AT ITER 2638 NEW BEST:: SOT 359841 SOS 215668 HAS SOPS 213668 HAS SOUS 100899 HAS SOUPS 99235 WITH SCORE 99450.668
AT ITER 2648 NEW BEST:: SOT 359871 SOS 215654 HAS SOPS 213654 HAS SOUS 100898 HAS SOUPS 99234 WITH SCORE 99449.654
AT ITER 2652 NEW BEST:: SOT 359427 SOS 215093 HAS SOPS 213093 HAS SOUS 100616 HAS SOUPS 98952 WITH SCORE 99167.093
AT ITER 2684 NEW BEST:: SOT 359427 SOS 215093 HAS SOPS 213093 HAS SOUS 100608 HAS SOUPS 98944 WITH SCORE 99159.093
AT ITER 2696 NEW BEST:: SOT 359427 SOS 214777 HAS SOPS 212777 HAS SOUS 100548 HAS SOUPS 98884 WITH SCORE 99098.777
AT ITER 2707 NEW BEST:: SOT 359283 SOS 214509 HAS SOPS 212509 HAS SOUS 100423 HAS SOUPS 98759 WITH SCORE 98973.509
AT ITER 2710 NEW BEST:: SOT 359322 SOS 214461 HAS SOPS 212461 HAS SOUS 100388 HAS SOUPS 98724 WITH SCORE 98938.461
AT ITER 2712 NEW BEST:: SOT 359322 SOS 214461 HAS SOPS 212452 HAS SOUS 100385 HAS SOUPS 98718 WITH SCORE 98932.461
AT ITER 2714 NEW BEST:: SOT 359160 SOS 214299 HAS SOPS 212290 HAS SOUS 100309 HAS SOUPS 98642 WITH SCORE 98856.299
AT ITER 2721 NEW BEST:: SOT 359293 SOS 213902 HAS SOPS 211893 HAS SOUS 100189 HAS SOUPS 98522 WITH SCORE 98735.902
AT ITER 2733 NEW BEST:: SOT 359265 SOS 213860 HAS SOPS 211851 HAS SOUS 100161 HAS SOUPS 98494 WITH SCORE 98707.86
AT ITER 2738 NEW BEST:: SOT 359258 SOS 213685 HAS SOPS 211676 HAS SOUS 100154 HAS SOUPS 98487 WITH SCORE 98700.685
AT ITER 2754 NEW BEST:: SOT 359294 SOS 213721 HAS SOPS 211712 HAS SOUS 100136 HAS SOUPS 98469 WITH SCORE 98682.721
AT ITER 2758 NEW BEST:: SOT 359252 SOS 213679 HAS SOPS 211670 HAS SOUS 100094 HAS SOUPS 98427 WITH SCORE 98640.679
AT ITER 2775 NEW BEST:: SOT 359097 SOS 213259 HAS SOPS 211250 HAS SOUS 99859 HAS SOUPS 98192 WITH SCORE 98405.259
AT ITER 2781 NEW BEST:: SOT 359097 SOS 213361 HAS SOPS 211352 HAS SOUS 99842 HAS SOUPS 98175 WITH SCORE 98388.361
AT ITER 2787 NEW BEST:: SOT 359097 SOS 213321 HAS SOPS 211312 HAS SOUS 99802 HAS SOUPS 98135 WITH SCORE 98348.321
AT ITER 2796 NEW BEST:: SOT 358983 SOS 213204 HAS SOPS 211195 HAS SOUS 99467 HAS SOUPS 97800 WITH SCORE 98013.204
AT ITER 2801 NEW BEST:: SOT 358967 SOS 212729 HAS SOPS 210720 HAS SOUS 99012 HAS SOUPS 97345 WITH SCORE 97557.729
AT ITER 2806 NEW BEST:: SOT 358953 SOS 212715 HAS SOPS 210706 HAS SOUS 99001 HAS SOUPS 97334 WITH SCORE 97546.715
AT ITER 2812 NEW BEST:: SOT 358970 SOS 212706 HAS SOPS 210662 HAS SOUS 99009 HAS SOUPS 97307 WITH SCORE 97519.706
AT ITER 2818 NEW BEST:: SOT 358966 SOS 212702 HAS SOPS 210658 HAS SOUS 99005 HAS SOUPS 97303 WITH SCORE 97515.702
AT ITER 2825 NEW BEST:: SOT 358913 SOS 212679 HAS SOPS 210635 HAS SOUS 98930 HAS SOUPS 97228 WITH SCORE 97440.679
AT ITER 2826 NEW BEST:: SOT 358913 SOS 212539 HAS SOPS 210495 HAS SOUS 98930 HAS SOUPS 97228 WITH SCORE 97440.539
AT ITER 2827 NEW BEST:: SOT 358607 SOS 212233 HAS SOPS 210189 HAS SOUS 98808 HAS SOUPS 97106 WITH SCORE 97318.233
AT ITER 2836 NEW BEST:: SOT 358267 SOS 211981 HAS SOPS 209937 HAS SOUS 98632 HAS SOUPS 96930 WITH SCORE 97141.981
AT ITER 2838 NEW BEST:: SOT 358214 SOS 212152 HAS SOPS 210108 HAS SOUS 98610 HAS SOUPS 96908 WITH SCORE 97120.152
AT ITER 2839 NEW BEST:: SOT 358109 SOS 212047 HAS SOPS 210003 HAS SOUS 98505 HAS SOUPS 96803 WITH SCORE 97015.047
AT ITER 2840 NEW BEST:: SOT 358093 SOS 212031 HAS SOPS 209987 HAS SOUS 98481 HAS SOUPS 96779 WITH SCORE 96991.031
AT ITER 2842 NEW BEST:: SOT 358093 SOS 212031 HAS SOPS 209987 HAS SOUS 98374 HAS SOUPS 96672 WITH SCORE 96884.031
AT ITER 2851 NEW BEST:: SOT 358070 SOS 212008 HAS SOPS 209964 HAS SOUS 98351 HAS SOUPS 96649 WITH SCORE 96861.008
AT ITER 2864 NEW BEST:: SOT 357932 SOS 211743 HAS SOPS 209699 HAS SOUS 98182 HAS SOUPS 96480 WITH SCORE 96691.743
AT ITER 2869 NEW BEST:: SOT 357858 SOS 211669 HAS SOPS 209625 HAS SOUS 98108 HAS SOUPS 96406 WITH SCORE 96617.669
AT ITER 2875 NEW BEST:: SOT 357620 SOS 211431 HAS SOPS 209387 HAS SOUS 97865 HAS SOUPS 96163 WITH SCORE 96374.431
AT ITER 2882 NEW BEST:: SOT 357149 SOS 211013 HAS SOPS 208969 HAS SOUS 97690 HAS SOUPS 95988 WITH SCORE 96199.013
AT ITER 2886 NEW BEST:: SOT 357110 SOS 211092 HAS SOPS 209048 HAS SOUS 97682 HAS SOUPS 95980 WITH SCORE 96191.092
AT ITER 2892 NEW BEST:: SOT 356925 SOS 210901 HAS SOPS 208857 HAS SOUS 97354 HAS SOUPS 95652 WITH SCORE 95862.901
AT ITER 2898 NEW BEST:: SOT 356869 SOS 210719 HAS SOPS 208675 HAS SOUS 97312 HAS SOUPS 95610 WITH SCORE 95820.719
AT ITER 2903 NEW BEST:: SOT 356785 SOS 210635 HAS SOPS 208591 HAS SOUS 97212 HAS SOUPS 95510 WITH SCORE 95720.635
AT ITER 2906 NEW BEST:: SOT 356619 SOS 210330 HAS SOPS 208286 HAS SOUS 96855 HAS SOUPS 95153 WITH SCORE 95363.33
AT ITER 2913 NEW BEST:: SOT 356577 SOS 210288 HAS SOPS 208244 HAS SOUS 96799 HAS SOUPS 95097 WITH SCORE 95307.288
AT ITER 2918 NEW BEST:: SOT 356627 SOS 209470 HAS SOPS 207250 HAS SOUS 96701 HAS SOUPS 94853 WITH SCORE 95062.47
AT ITER 2920 NEW BEST:: SOT 356427 SOS 209235 HAS SOPS 207015 HAS SOUS 96634 HAS SOUPS 94786 WITH SCORE 94995.235
AT ITER 2923 NEW BEST:: SOT 356373 SOS 209181 HAS SOPS 206961 HAS SOUS 96598 HAS SOUPS 94750 WITH SCORE 94959.181
AT ITER 2926 NEW BEST:: SOT 356212 SOS 208959 HAS SOPS 206739 HAS SOUS 96532 HAS SOUPS 94684 WITH SCORE 94892.959
AT ITER 2931 NEW BEST:: SOT 356172 SOS 208919 HAS SOPS 206699 HAS SOUS 96384 HAS SOUPS 94536 WITH SCORE 94744.919
AT ITER 2937 NEW BEST:: SOT 356245 SOS 208992 HAS SOPS 206772 HAS SOUS 96361 HAS SOUPS 94513 WITH SCORE 94721.992
AT ITER 2971 NEW BEST:: SOT 355835 SOS 208298 HAS SOPS 206078 HAS SOUS 96026 HAS SOUPS 94178 WITH SCORE 94386.298
AT ITER 2980 NEW BEST:: SOT 355669 SOS 207701 HAS SOPS 205481 HAS SOUS 95950 HAS SOUPS 94102 WITH SCORE 94309.701
AT ITER 2991 NEW BEST:: SOT 356044 SOS 207211 HAS SOPS 204991 HAS SOUS 95728 HAS SOUPS 93880 WITH SCORE 94087.211
AT ITER 3019 NEW BEST:: SOT 356032 SOS 207113 HAS SOPS 204893 HAS SOUS 95726 HAS SOUPS 93878 WITH SCORE 94085.113
AT ITER 3025 NEW BEST:: SOT 356032 SOS 206773 HAS SOPS 204553 HAS SOUS 95556 HAS SOUPS 93708 WITH SCORE 93914.773
AT ITER 3027 NEW BEST:: SOT 355885 SOS 206179 HAS SOPS 203939 HAS SOUS 95493 HAS SOUPS 93645 WITH SCORE 93851.179
AT ITER 3028 NEW BEST:: SOT 355600 SOS 205894 HAS SOPS 203654 HAS SOUS 95208 HAS SOUPS 93360 WITH SCORE 93565.894
AT ITER 3043 NEW BEST:: SOT 355610 SOS 205904 HAS SOPS 203664 HAS SOUS 95137 HAS SOUPS 93289 WITH SCORE 93494.904
AT ITER 3056 NEW BEST:: SOT 355503 SOS 205770 HAS SOPS 203530 HAS SOUS 94962 HAS SOUPS 93114 WITH SCORE 93319.77
AT ITER 3057 NEW BEST:: SOT 355584 SOS 206058 HAS SOPS 203818 HAS SOUS 94823 HAS SOUPS 92975 WITH SCORE 93181.058
AT ITER 3069 NEW BEST:: SOT 355524 SOS 205998 HAS SOPS 203758 HAS SOUS 94733 HAS SOUPS 92885 WITH SCORE 93090.998
AT ITER 3087 NEW BEST:: SOT 355524 SOS 205592 HAS SOPS 203352 HAS SOUS 94631 HAS SOUPS 92783 WITH SCORE 92988.592
AT ITER 3095 NEW BEST:: SOT 355398 SOS 205490 HAS SOPS 203250 HAS SOUS 94539 HAS SOUPS 92691 WITH SCORE 92896.49
AT ITER 3096 NEW BEST:: SOT 355406 SOS 205474 HAS SOPS 203234 HAS SOUS 94521 HAS SOUPS 92673 WITH SCORE 92878.474
AT ITER 3107 NEW BEST:: SOT 355400 SOS 205373 HAS SOPS 203133 HAS SOUS 94456 HAS SOUPS 92608 WITH SCORE 92813.373
AT ITER 3112 NEW BEST:: SOT 354721 SOS 203117 HAS SOPS 200877 HAS SOUS 93705 HAS SOUPS 91857 WITH SCORE 92060.117
AT ITER 3125 NEW BEST:: SOT 354554 SOS 202746 HAS SOPS 200487 HAS SOUS 93451 HAS SOUPS 91584 WITH SCORE 91786.746
AT ITER 3141 NEW BEST:: SOT 354518 SOS 202721 HAS SOPS 200462 HAS SOUS 93278 HAS SOUPS 91411 WITH SCORE 91613.721
AT ITER 3144 NEW BEST:: SOT 354526 SOS 202759 HAS SOPS 200444 HAS SOUS 93170 HAS SOUPS 91273 WITH SCORE 91475.759
AT ITER 3152 NEW BEST:: SOT 354386 SOS 202571 HAS SOPS 200256 HAS SOUS 93008 HAS SOUPS 91111 WITH SCORE 91313.571
AT ITER 3164 NEW BEST:: SOT 354386 SOS 202557 HAS SOPS 200242 HAS SOUS 93008 HAS SOUPS 91111 WITH SCORE 91313.557
AT ITER 3166 NEW BEST:: SOT 353736 SOS 204072 HAS SOPS 201757 HAS SOUS 92917 HAS SOUPS 91020 WITH SCORE 91224.072
AT ITER 3180 NEW BEST:: SOT 353493 SOS 203814 HAS SOPS 201499 HAS SOUS 92596 HAS SOUPS 90699 WITH SCORE 90902.814
AT ITER 3187 NEW BEST:: SOT 353252 SOS 203074 HAS SOPS 200697 HAS SOUS 92098 HAS SOUPS 90201 WITH SCORE 90404.074
AT ITER 3207 NEW BEST:: SOT 353236 SOS 202938 HAS SOPS 200585 HAS SOUS 92044 HAS SOUPS 90163 WITH SCORE 90365.938
AT ITER 3215 NEW BEST:: SOT 353512 SOS 203420 HAS SOPS 201067 HAS SOUS 92040 HAS SOUPS 90159 WITH SCORE 90362.42
AT ITER 3229 NEW BEST:: SOT 353570 SOS 203278 HAS SOPS 200925 HAS SOUS 91975 HAS SOUPS 90094 WITH SCORE 90297.278
AT ITER 3240 NEW BEST:: SOT 353665 SOS 204130 HAS SOPS 201925 HAS SOUS 91773 HAS SOUPS 90040 WITH SCORE 90244.13
AT ITER 3253 NEW BEST:: SOT 353665 SOS 204110 HAS SOPS 201905 HAS SOUS 91773 HAS SOUPS 90040 WITH SCORE 90244.11
AT ITER 3257 NEW BEST:: SOT 353648 SOS 204093 HAS SOPS 201888 HAS SOUS 91706 HAS SOUPS 89973 WITH SCORE 90177.093
AT ITER 3264 NEW BEST:: SOT 353648 SOS 203782 HAS SOPS 201577 HAS SOUS 91706 HAS SOUPS 89973 WITH SCORE 90176.782
AT ITER 3290 NEW BEST:: SOT 353640 SOS 203534 HAS SOPS 201329 HAS SOUS 91698 HAS SOUPS 89965 WITH SCORE 90168.534
AT ITER 3300 NEW BEST:: SOT 353640 SOS 203495 HAS SOPS 201290 HAS SOUS 91659 HAS SOUPS 89926 WITH SCORE 90129.495
AT ITER 3303 NEW BEST:: SOT 353637 SOS 203558 HAS SOPS 201353 HAS SOUS 91649 HAS SOUPS 89916 WITH SCORE 90119.558
AT ITER 3306 NEW BEST:: SOT 353508 SOS 203429 HAS SOPS 201224 HAS SOUS 91520 HAS SOUPS 89787 WITH SCORE 89990.429
AT ITER 3311 NEW BEST:: SOT 353732 SOS 203529 HAS SOPS 201324 HAS SOUS 91425 HAS SOUPS 89692 WITH SCORE 89895.529
AT ITER 3335 NEW BEST:: SOT 353398 SOS 203195 HAS SOPS 200990 HAS SOUS 91409 HAS SOUPS 89676 WITH SCORE 89879.195
AT ITER 3341 NEW BEST:: SOT 353398 SOS 203051 HAS SOPS 200782 HAS SOUS 91407 HAS SOUPS 89642 WITH SCORE 89845.051
AT ITER 3344 NEW BEST:: SOT 353371 SOS 202997 HAS SOPS 200728 HAS SOUS 91380 HAS SOUPS 89615 WITH SCORE 89817.997
AT ITER 3348 NEW BEST:: SOT 353371 SOS 202881 HAS SOPS 200612 HAS SOUS 91357 HAS SOUPS 89592 WITH SCORE 89794.881
AT ITER 3360 NEW BEST:: SOT 353367 SOS 202857 HAS SOPS 200588 HAS SOUS 91349 HAS SOUPS 89584 WITH SCORE 89786.857
AT ITER 3400 NEW BEST:: SOT 353111 SOS 202493 HAS SOPS 200160 HAS SOUS 91203 HAS SOUPS 89438 WITH SCORE 89640.493
AT ITER 3401 NEW BEST:: SOT 353131 SOS 202513 HAS SOPS 200180 HAS SOUS 91194 HAS SOUPS 89429 WITH SCORE 89631.513
AT ITER 3404 NEW BEST:: SOT 353019 SOS 201996 HAS SOPS 199663 HAS SOUS 91106 HAS SOUPS 89341 WITH SCORE 89542.996
AT ITER 3419 NEW BEST:: SOT 352989 SOS 201916 HAS SOPS 199583 HAS SOUS 91086 HAS SOUPS 89321 WITH SCORE 89522.916
AT ITER 3429 NEW BEST:: SOT 352991 SOS 201918 HAS SOPS 199585 HAS SOUS 91084 HAS SOUPS 89319 WITH SCORE 89520.918
AT ITER 3435 NEW BEST:: SOT 352961 SOS 201832 HAS SOPS 199499 HAS SOUS 91084 HAS SOUPS 89319 WITH SCORE 89520.832
AT ITER 3451 NEW BEST:: SOT 352949 SOS 201820 HAS SOPS 199487 HAS SOUS 91072 HAS SOUPS 89307 WITH SCORE 89508.82
AT ITER 3478 NEW BEST:: SOT 352925 SOS 201796 HAS SOPS 199463 HAS SOUS 91072 HAS SOUPS 89307 WITH SCORE 89508.796
AT ITER 3491 NEW BEST:: SOT 352815 SOS 201686 HAS SOPS 199353 HAS SOUS 90830 HAS SOUPS 89065 WITH SCORE 89266.686
AT ITER 3513 NEW BEST:: SOT 352740 SOS 201611 HAS SOPS 199278 HAS SOUS 90822 HAS SOUPS 89057 WITH SCORE 89258.611
AT ITER 3518 NEW BEST:: SOT 352682 SOS 201428 HAS SOPS 199095 HAS SOUS 90790 HAS SOUPS 89025 WITH SCORE 89226.428
AT ITER 3526 NEW BEST:: SOT 352775 SOS 201575 HAS SOPS 199188 HAS SOUS 90757 HAS SOUPS 88938 WITH SCORE 89139.575
AT ITER 3543 NEW BEST:: SOT 352705 SOS 201505 HAS SOPS 199118 HAS SOUS 90693 HAS SOUPS 88874 WITH SCORE 89075.505
AT ITER 3545 NEW BEST:: SOT 352697 SOS 201489 HAS SOPS 199102 HAS SOUS 90659 HAS SOUPS 88840 WITH SCORE 89041.489
AT ITER 3549 NEW BEST:: SOT 352697 SOS 201429 HAS SOPS 199057 HAS SOUS 90644 HAS SOUPS 88840 WITH SCORE 89041.429
AT ITER 3557 NEW BEST:: SOT 352606 SOS 201338 HAS SOPS 198966 HAS SOUS 90600 HAS SOUPS 88796 WITH SCORE 88997.338
AT ITER 3558 NEW BEST:: SOT 352538 SOS 201223 HAS SOPS 198851 HAS SOUS 90475 HAS SOUPS 88671 WITH SCORE 88872.223
AT ITER 3562 NEW BEST:: SOT 352456 SOS 201141 HAS SOPS 198769 HAS SOUS 90147 HAS SOUPS 88343 WITH SCORE 88544.141
AT ITER 3565 NEW BEST:: SOT 352379 SOS 201194 HAS SOPS 198822 HAS SOUS 90048 HAS SOUPS 88244 WITH SCORE 88445.194
AT ITER 3569 NEW BEST:: SOT 352173 SOS 201162 HAS SOPS 198790 HAS SOUS 89777 HAS SOUPS 87973 WITH SCORE 88174.162
AT ITER 3599 NEW BEST:: SOT 352173 SOS 201423 HAS SOPS 198694 HAS SOUS 89864 HAS SOUPS 87941 WITH SCORE 88142.423
AT ITER 3613 NEW BEST:: SOT 352129 SOS 201269 HAS SOPS 198540 HAS SOUS 89815 HAS SOUPS 87892 WITH SCORE 88093.269
AT ITER 3614 NEW BEST:: SOT 352015 SOS 201269 HAS SOPS 198540 HAS SOUS 89535 HAS SOUPS 87612 WITH SCORE 87813.269
AT ITER 3616 NEW BEST:: SOT 352069 SOS 201627 HAS SOPS 198898 HAS SOUS 89511 HAS SOUPS 87588 WITH SCORE 87789.627
AT ITER 3621 NEW BEST:: SOT 352053 SOS 201611 HAS SOPS 198882 HAS SOUS 89483 HAS SOUPS 87560 WITH SCORE 87761.611
AT ITER 3647 NEW BEST:: SOT 352053 SOS 201697 HAS SOPS 198968 HAS SOUS 89395 HAS SOUPS 87472 WITH SCORE 87673.697
AT ITER 3656 NEW BEST:: SOT 352053 SOS 201697 HAS SOPS 198968 HAS SOUS 89305 HAS SOUPS 87382 WITH SCORE 87583.697
AT ITER 3694 NEW BEST:: SOT 352008 SOS 201652 HAS SOPS 198923 HAS SOUS 89257 HAS SOUPS 87334 WITH SCORE 87535.652
AT ITER 3709 NEW BEST:: SOT 351998 SOS 201610 HAS SOPS 198881 HAS SOUS 89229 HAS SOUPS 87306 WITH SCORE 87507.61
AT ITER 3730 NEW BEST:: SOT 351982 SOS 201414 HAS SOPS 198685 HAS SOUS 89176 HAS SOUPS 87253 WITH SCORE 87454.414
AT ITER 3748 NEW BEST:: SOT 351963 SOS 201357 HAS SOPS 198628 HAS SOUS 89119 HAS SOUPS 87196 WITH SCORE 87397.357
AT ITER 3751 NEW BEST:: SOT 351963 SOS 201329 HAS SOPS 198600 HAS SOUS 89115 HAS SOUPS 87192 WITH SCORE 87393.329
AT ITER 3758 NEW BEST:: SOT 351982 SOS 201489 HAS SOPS 198760 HAS SOUS 89038 HAS SOUPS 87115 WITH SCORE 87316.489
AT ITER 3771 NEW BEST:: SOT 351862 SOS 201369 HAS SOPS 198640 HAS SOUS 88901 HAS SOUPS 86978 WITH SCORE 87179.369
AT ITER 3795 NEW BEST:: SOT 351809 SOS 201435 HAS SOPS 198706 HAS SOUS 88835 HAS SOUPS 86912 WITH SCORE 87113.435
AT ITER 3798 NEW BEST:: SOT 351809 SOS 200703 HAS SOPS 197974 HAS SOUS 88734 HAS SOUPS 86811 WITH SCORE 87011.703
AT ITER 3804 NEW BEST:: SOT 351797 SOS 200691 HAS SOPS 197962 HAS SOUS 88725 HAS SOUPS 86802 WITH SCORE 87002.691
AT ITER 3869 NEW BEST:: SOT 351788 SOS 200693 HAS SOPS 197976 HAS SOUS 88694 HAS SOUPS 86783 WITH SCORE 86983.693
AT ITER 3873 NEW BEST:: SOT 351788 SOS 200218 HAS SOPS 197501 HAS SOUS 88675 HAS SOUPS 86764 WITH SCORE 86964.218
AT ITER 3880 NEW BEST:: SOT 351517 SOS 199289 HAS SOPS 196514 HAS SOUS 88217 HAS SOUPS 86306 WITH SCORE 86505.289
AT ITER 3881 NEW BEST:: SOT 351474 SOS 199246 HAS SOPS 196471 HAS SOUS 88137 HAS SOUPS 86226 WITH SCORE 86425.246
AT ITER 3892 NEW BEST:: SOT 351301 SOS 198278 HAS SOPS 195503 HAS SOUS 87667 HAS SOUPS 85756 WITH SCORE 85954.278
AT ITER 3894 NEW BEST:: SOT 351254 SOS 198231 HAS SOPS 195456 HAS SOUS 87551 HAS SOUPS 85640 WITH SCORE 85838.231
AT ITER 3929 NEW BEST:: SOT 351149 SOS 197986 HAS SOPS 195211 HAS SOUS 87551 HAS SOUPS 85640 WITH SCORE 85837.986
AT ITER 3960 NEW BEST:: SOT 351173 SOS 198041 HAS SOPS 195193 HAS SOUS 87520 HAS SOUPS 85541 WITH SCORE 85739.041
AT ITER 3972 NEW BEST:: SOT 351199 SOS 198057 HAS SOPS 195209 HAS SOUS 87497 HAS SOUPS 85518 WITH SCORE 85716.057
AT ITER 3983 NEW BEST:: SOT 351206 SOS 198045 HAS SOPS 195197 HAS SOUS 87475 HAS SOUPS 85496 WITH SCORE 85694.045
AT ITER 4004 NEW BEST:: SOT 351121 SOS 197778 HAS SOPS 194930 HAS SOUS 87469 HAS SOUPS 85490 WITH SCORE 85687.778
AT ITER 4022 NEW BEST:: SOT 351123 SOS 197636 HAS SOPS 194788 HAS SOUS 87431 HAS SOUPS 85452 WITH SCORE 85649.636
AT ITER 4034 NEW BEST:: SOT 351205 SOS 197542 HAS SOPS 194694 HAS SOUS 87426 HAS SOUPS 85447 WITH SCORE 85644.542
AT ITER 4037 NEW BEST:: SOT 351192 SOS 197529 HAS SOPS 194681 HAS SOUS 87392 HAS SOUPS 85413 WITH SCORE 85610.529
AT ITER 4044 NEW BEST:: SOT 351192 SOS 197449 HAS SOPS 194601 HAS SOUS 87376 HAS SOUPS 85397 WITH SCORE 85594.449
AT ITER 4046 NEW BEST:: SOT 351194 SOS 197451 HAS SOPS 194603 HAS SOUS 87370 HAS SOUPS 85391 WITH SCORE 85588.451
AT ITER 4050 NEW BEST:: SOT 351194 SOS 197401 HAS SOPS 194553 HAS SOUS 87368 HAS SOUPS 85389 WITH SCORE 85586.401
AT ITER 4060 NEW BEST:: SOT 351200 SOS 197377 HAS SOPS 194499 HAS SOUS 87359 HAS SOUPS 85365 WITH SCORE 85562.377
AT ITER 4064 NEW BEST:: SOT 351200 SOS 197176 HAS SOPS 194298 HAS SOUS 87359 HAS SOUPS 85365 WITH SCORE 85562.176
AT ITER 4074 NEW BEST:: SOT 351230 SOS 197088 HAS SOPS 194210 HAS SOUS 87312 HAS SOUPS 85318 WITH SCORE 85515.088
AT ITER 4075 NEW BEST:: SOT 351247 SOS 197312 HAS SOPS 194434 HAS SOUS 87265 HAS SOUPS 85271 WITH SCORE 85468.312
AT ITER 4085 NEW BEST:: SOT 351146 SOS 197000 HAS SOPS 194122 HAS SOUS 87152 HAS SOUPS 85158 WITH SCORE 85355.0
AT ITER 4096 NEW BEST:: SOT 351066 SOS 197016 HAS SOPS 194138 HAS SOUS 87048 HAS SOUPS 85054 WITH SCORE 85251.016
AT ITER 4133 NEW BEST:: SOT 351022 SOS 196972 HAS SOPS 194094 HAS SOUS 86982 HAS SOUPS 84988 WITH SCORE 85184.972
AT ITER 4135 NEW BEST:: SOT 350992 SOS 196942 HAS SOPS 194064 HAS SOUS 86952 HAS SOUPS 84958 WITH SCORE 85154.942
AT ITER 4140 NEW BEST:: SOT 350868 SOS 196818 HAS SOPS 193940 HAS SOUS 86618 HAS SOUPS 84624 WITH SCORE 84820.818
AT ITER 4149 NEW BEST:: SOT 350927 SOS 196791 HAS SOPS 193913 HAS SOUS 86430 HAS SOUPS 84436 WITH SCORE 84632.791
AT ITER 4170 NEW BEST:: SOT 350869 SOS 196707 HAS SOPS 193829 HAS SOUS 86354 HAS SOUPS 84360 WITH SCORE 84556.707
AT ITER 4181 NEW BEST:: SOT 350786 SOS 196785 HAS SOPS 193907 HAS SOUS 86214 HAS SOUPS 84220 WITH SCORE 84416.785
AT ITER 4185 NEW BEST:: SOT 350890 SOS 196889 HAS SOPS 194011 HAS SOUS 86122 HAS SOUPS 84128 WITH SCORE 84324.889
AT ITER 4199 NEW BEST:: SOT 350779 SOS 196741 HAS SOPS 193863 HAS SOUS 85886 HAS SOUPS 83892 WITH SCORE 84088.741
AT ITER 4204 NEW BEST:: SOT 350759 SOS 197726 HAS SOPS 194848 HAS SOUS 85870 HAS SOUPS 83876 WITH SCORE 84073.726
AT ITER 4207 NEW BEST:: SOT 350733 SOS 197300 HAS SOPS 194422 HAS SOUS 85844 HAS SOUPS 83850 WITH SCORE 84047.3
AT ITER 4228 NEW BEST:: SOT 350663 SOS 197107 HAS SOPS 194229 HAS SOUS 85808 HAS SOUPS 83814 WITH SCORE 84011.107
AT ITER 4235 NEW BEST:: SOT 350558 SOS 196997 HAS SOPS 194119 HAS SOUS 85780 HAS SOUPS 83786 WITH SCORE 83982.997
AT ITER 4242 NEW BEST:: SOT 350432 SOS 196871 HAS SOPS 193993 HAS SOUS 85657 HAS SOUPS 83663 WITH SCORE 83859.871
AT ITER 4278 NEW BEST:: SOT 350273 SOS 195522 HAS SOPS 192644 HAS SOUS 85627 HAS SOUPS 83633 WITH SCORE 83828.522
AT ITER 4281 NEW BEST:: SOT 350273 SOS 195626 HAS SOPS 192748 HAS SOUS 85605 HAS SOUPS 83611 WITH SCORE 83806.626
AT ITER 4283 NEW BEST:: SOT 350340 SOS 195743 HAS SOPS 192917 HAS SOUS 85534 HAS SOUPS 83584 WITH SCORE 83779.743
AT ITER 4290 NEW BEST:: SOT 350340 SOS 195946 HAS SOPS 193120 HAS SOUS 85460 HAS SOUPS 83510 WITH SCORE 83705.946
AT ITER 4312 NEW BEST:: SOT 350226 SOS 195794 HAS SOPS 192968 HAS SOUS 85156 HAS SOUPS 83206 WITH SCORE 83401.794
AT ITER 4335 NEW BEST:: SOT 350201 SOS 195824 HAS SOPS 192998 HAS SOUS 85105 HAS SOUPS 83155 WITH SCORE 83350.824
AT ITER 4353 NEW BEST:: SOT 350000 SOS 195098 HAS SOPS 192272 HAS SOUS 85060 HAS SOUPS 83110 WITH SCORE 83305.098
AT ITER 4362 NEW BEST:: SOT 350012 SOS 195030 HAS SOPS 192204 HAS SOUS 85044 HAS SOUPS 83094 WITH SCORE 83289.03
AT ITER 4368 NEW BEST:: SOT 349871 SOS 194776 HAS SOPS 191950 HAS SOUS 84925 HAS SOUPS 82975 WITH SCORE 83169.776
AT ITER 4396 NEW BEST:: SOT 349772 SOS 194595 HAS SOPS 191768 HAS SOUS 84826 HAS SOUPS 82876 WITH SCORE 83070.595
AT ITER 4399 NEW BEST:: SOT 349852 SOS 194675 HAS SOPS 191848 HAS SOUS 84774 HAS SOUPS 82824 WITH SCORE 83018.675
AT ITER 4414 NEW BEST:: SOT 349601 SOS 194424 HAS SOPS 191574 HAS SOUS 84293 HAS SOUPS 82343 WITH SCORE 82537.424
AT ITER 4429 NEW BEST:: SOT 349475 SOS 194249 HAS SOPS 191399 HAS SOUS 83952 HAS SOUPS 82002 WITH SCORE 82196.249
AT ITER 4446 NEW BEST:: SOT 349507 SOS 194237 HAS SOPS 191389 HAS SOUS 83942 HAS SOUPS 81994 WITH SCORE 82188.237
AT ITER 4448 NEW BEST:: SOT 349455 SOS 194173 HAS SOPS 191325 HAS SOUS 83872 HAS SOUPS 81924 WITH SCORE 82118.173
AT ITER 4453 NEW BEST:: SOT 349164 SOS 194048 HAS SOPS 191200 HAS SOUS 83832 HAS SOUPS 81884 WITH SCORE 82078.048
AT ITER 4455 NEW BEST:: SOT 349164 SOS 194269 HAS SOPS 191421 HAS SOUS 83797 HAS SOUPS 81849 WITH SCORE 82043.269
AT ITER 4457 NEW BEST:: SOT 348312 SOS 193214 HAS SOPS 190366 HAS SOUS 83443 HAS SOUPS 81495 WITH SCORE 81688.214
AT ITER 4462 NEW BEST:: SOT 348231 SOS 193133 HAS SOPS 190285 HAS SOUS 83310 HAS SOUPS 81362 WITH SCORE 81555.133
AT ITER 4472 NEW BEST:: SOT 348181 SOS 192934 HAS SOPS 190086 HAS SOUS 83299 HAS SOUPS 81351 WITH SCORE 81543.934
AT ITER 4512 NEW BEST:: SOT 347771 SOS 191377 HAS SOPS 188529 HAS SOUS 82548 HAS SOUPS 80600 WITH SCORE 80791.377
AT ITER 4522 NEW BEST:: SOT 347655 SOS 191261 HAS SOPS 188413 HAS SOUS 82516 HAS SOUPS 80568 WITH SCORE 80759.261
AT ITER 4523 NEW BEST:: SOT 347718 SOS 191092 HAS SOPS 188244 HAS SOUS 82380 HAS SOUPS 80432 WITH SCORE 80623.092
AT ITER 4527 NEW BEST:: SOT 347687 SOS 191017 HAS SOPS 188169 HAS SOUS 82315 HAS SOUPS 80367 WITH SCORE 80558.017
AT ITER 4534 NEW BEST:: SOT 347684 SOS 191014 HAS SOPS 188166 HAS SOUS 82309 HAS SOUPS 80361 WITH SCORE 80552.014
AT ITER 4536 NEW BEST:: SOT 347534 SOS 190791 HAS SOPS 187943 HAS SOUS 82136 HAS SOUPS 80188 WITH SCORE 80378.791
AT ITER 4548 NEW BEST:: SOT 347528 SOS 190785 HAS SOPS 187937 HAS SOUS 81967 HAS SOUPS 80019 WITH SCORE 80209.785
AT ITER 4577 NEW BEST:: SOT 347528 SOS 190800 HAS SOPS 187949 HAS SOUS 81964 HAS SOUPS 80016 WITH SCORE 80206.8
AT ITER 4583 NEW BEST:: SOT 347527 SOS 190785 HAS SOPS 187934 HAS SOUS 81943 HAS SOUPS 79995 WITH SCORE 80185.785
AT ITER 4596 NEW BEST:: SOT 347527 SOS 190745 HAS SOPS 187904 HAS SOUS 81913 HAS SOUPS 79975 WITH SCORE 80165.745
AT ITER 4653 NEW BEST:: SOT 347527 SOS 190775 HAS SOPS 187929 HAS SOUS 81913 HAS SOUPS 79970 WITH SCORE 80160.775
AT ITER 4665 NEW BEST:: SOT 347527 SOS 190675 HAS SOPS 187829 HAS SOUS 81886 HAS SOUPS 79943 WITH SCORE 80133.675
AT ITER 4673 NEW BEST:: SOT 347417 SOS 190528 HAS SOPS 187682 HAS SOUS 81866 HAS SOUPS 79923 WITH SCORE 80113.528
AT ITER 4683 NEW BEST:: SOT 347363 SOS 191964 HAS SOPS 189118 HAS SOUS 81765 HAS SOUPS 79822 WITH SCORE 80013.964
AT ITER 4692 NEW BEST:: SOT 347333 SOS 191934 HAS SOPS 189088 HAS SOUS 81717 HAS SOUPS 79774 WITH SCORE 79965.934
AT ITER 4699 NEW BEST:: SOT 347363 SOS 191398 HAS SOPS 188617 HAS SOUS 81585 HAS SOUPS 79707 WITH SCORE 79898.398
AT ITER 4717 NEW BEST:: SOT 347331 SOS 191366 HAS SOPS 188585 HAS SOUS 81553 HAS SOUPS 79675 WITH SCORE 79866.366
AT ITER 4737 NEW BEST:: SOT 347265 SOS 191282 HAS SOPS 188501 HAS SOUS 81469 HAS SOUPS 79591 WITH SCORE 79782.282
AT ITER 4745 NEW BEST:: SOT 347265 SOS 191244 HAS SOPS 188473 HAS SOUS 81453 HAS SOUPS 79585 WITH SCORE 79776.244
AT ITER 4749 NEW BEST:: SOT 346999 SOS 191386 HAS SOPS 188615 HAS SOUS 81419 HAS SOUPS 79551 WITH SCORE 79742.386
AT ITER 4764 NEW BEST:: SOT 346991 SOS 191382 HAS SOPS 188611 HAS SOUS 81411 HAS SOUPS 79543 WITH SCORE 79734.382
AT ITER 4765 NEW BEST:: SOT 346888 SOS 191279 HAS SOPS 188508 HAS SOUS 81250 HAS SOUPS 79382 WITH SCORE 79573.279
AT ITER 4798 NEW BEST:: SOT 346887 SOS 191276 HAS SOPS 188505 HAS SOUS 81235 HAS SOUPS 79367 WITH SCORE 79558.276
AT ITER 4802 NEW BEST:: SOT 346777 SOS 191166 HAS SOPS 188395 HAS SOUS 81084 HAS SOUPS 79216 WITH SCORE 79407.166
AT ITER 4803 NEW BEST:: SOT 346855 SOS 191270 HAS SOPS 188499 HAS SOUS 80995 HAS SOUPS 79127 WITH SCORE 79318.27
AT ITER 4806 NEW BEST:: SOT 346773 SOS 191221 HAS SOPS 188461 HAS SOUS 80948 HAS SOUPS 79091 WITH SCORE 79282.221
AT ITER 4812 NEW BEST:: SOT 346773 SOS 191221 HAS SOPS 188461 HAS SOUS 80932 HAS SOUPS 79075 WITH SCORE 79266.221
AT ITER 4813 NEW BEST:: SOT 346773 SOS 191197 HAS SOPS 188437 HAS SOUS 80906 HAS SOUPS 79049 WITH SCORE 79240.197
AT ITER 4831 NEW BEST:: SOT 346426 SOS 190488 HAS SOPS 187822 HAS SOUS 80781 HAS SOUPS 79018 WITH SCORE 79208.488
AT ITER 4853 NEW BEST:: SOT 346424 SOS 190599 HAS SOPS 187933 HAS SOUS 80769 HAS SOUPS 79006 WITH SCORE 79196.599
AT ITER 4895 NEW BEST:: SOT 346423 SOS 190584 HAS SOPS 187918 HAS SOUS 80766 HAS SOUPS 79003 WITH SCORE 79193.584
AT ITER 4909 NEW BEST:: SOT 346234 SOS 190305 HAS SOPS 187639 HAS SOUS 80504 HAS SOUPS 78741 WITH SCORE 78931.305
AT ITER 4968 NEW BEST:: SOT 346162 SOS 189522 HAS SOPS 186909 HAS SOUS 80305 HAS SOUPS 78595 WITH SCORE 78784.522
AT ITER 4984 NEW BEST:: SOT 346162 SOS 189387 HAS SOPS 186774 HAS SOUS 80305 HAS SOUPS 78595 WITH SCORE 78784.387
AT ITER 4987 NEW BEST:: SOT 345528 SOS 189078 HAS SOPS 186788 HAS SOUS 79341 HAS SOUPS 77954 WITH SCORE 78143.078
AT ITER 4993 NEW BEST:: SOT 345505 SOS 189044 HAS SOPS 186754 HAS SOUS 79323 HAS SOUPS 77936 WITH SCORE 78125.044
AT ITER 4994 NEW BEST:: SOT 345502 SOS 188867 HAS SOPS 186577 HAS SOUS 79302 HAS SOUPS 77915 WITH SCORE 78103.867
Bounds file is: CTLFireability.xml
PROPERTY: NoC3x3-PT-6A-CTLFireability-00 ( ((potential((tk(P211)>=1) & (tk(P342)>=1)))) | (AF( ( ((potential((tk(P94)>=1) & (tk(P111)>=1)))) | (AX( ((potential((tk(P453)>=1) & (tk(P486)>=1)))))) ))) )
PROPERTY: NoC3x3-PT-6A-CTLFireability-01 (AU( (! (EG( ((potential((tk(P416)>=1) & (tk(P449)>=1))))))) , (! ( (! ((potential((tk(P412)>=1) & (tk(P448)>=1))))) | ( ((potential((tk(P203)>=1) & (tk(P267)>=1)))) | ((potential((tk(P20)>=1) & (tk(P135)>=1)))) ) )) ))
PROPERTY: NoC3x3-PT-6A-CTLFireability-02 (EF( ( ((potential((tk(P365)>=1)))) & ( (EF( ((potential((tk(P101)>=1) & (tk(P127)>=1)))))) | (EG( ((potential((tk(P4)>=1) & (tk(P17)>=1)))))) ) )))
PROPERTY: NoC3x3-PT-6A-CTLFireability-03 (AG( (! (AU( ((potential((tk(P325)>=1) & (tk(P373)>=1)))) , ((potential((tk(P428)>=1) & (tk(P465)>=1)))) )))))
PROPERTY: NoC3x3-PT-6A-CTLFireability-04 (EF( (! (EG( (! ((potential((tk(P138)>=1) & (tk(P174)>=1))))))))))
PROPERTY: NoC3x3-PT-6A-CTLFireability-05 ( (! ( (EX( ( ((potential((tk(P222)>=1) & (tk(P259)>=1)))) & ((potential((tk(P421)>=1) & (tk(P443)>=1)))) ))) & ( ( (! ((potential((tk(P418)>=1) & (tk(P461)>=1))))) & (! ((potential((tk(P221)>=1) & (tk(P234)>=1))))) ) & ((potential((tk(P105)>=1) & (tk(P118)>=1)))) ) )) & (EF( ((potential((tk(P218)>=1) & (tk(P438)>=1)))))) )
PROPERTY: NoC3x3-PT-6A-CTLFireability-06 (EF( (AG( (EX( ((potential((tk(P13)>=1) & (tk(P29)>=1))))))))))
PROPERTY: NoC3x3-PT-6A-CTLFireability-07 ( (AG( ( ((potential((tk(P142)>=1) & (tk(P172)>=1)))) | ( ( ((potential((tk(P267)>=1)))) & ((potential((tk(P217)>=1) & (tk(P287)>=1)))) ) & ((potential((tk(P161)>=1) & (tk(P204)>=1)))) ) ))) | (EF( ((potential((tk(P190)>=1) & (tk(P260)>=1)))))) )
PROPERTY: NoC3x3-PT-6A-CTLFireability-08 (! (AF( ( (AG( ((potential((tk(P217)>=1) & (tk(P286)>=1)))))) | ( ( ((potential((tk(P123)>=1)))) & ((potential((tk(P330)>=1) & (tk(P347)>=1)))) ) | ((potential((tk(P225)>=1) & (tk(P308)>=1)))) ) ))))
PROPERTY: NoC3x3-PT-6A-CTLFireability-09 (EU( (! ((potential((tk(P66)>=1) & (tk(P197)>=1))))) , ( (AX( ((potential((tk(P20)>=1) & (tk(P131)>=1)))))) & (! (! ((potential((tk(P310)>=1) & (tk(P355)>=1)))))) ) ))
PROPERTY: NoC3x3-PT-6A-CTLFireability-10 (AG( (AX( ( (! ((potential((tk(P326)>=1) & (tk(P343)>=1))))) | ( ((potential((tk(P116)>=1) & (tk(P311)>=1)))) | ((potential((tk(P97)>=1) & (tk(P334)>=1)))) ) )))))
PROPERTY: NoC3x3-PT-6A-CTLFireability-11 ( (EF( ( (EX( ((potential((tk(P412)>=1) & (tk(P478)>=1)))))) & ((potential((tk(P31)>=1) & (tk(P77)>=1)))) ))) | ((potential((tk(P36)>=1) & (tk(P77)>=1)))) )
PROPERTY: NoC3x3-PT-6A-CTLFireability-12 (! ( ( (EF( ( ((potential((tk(P96)>=1) & (tk(P120)>=1)))) | ((potential((tk(P101)>=1) & (tk(P118)>=1)))) ))) | (EF( ( ((potential((tk(P271)>=1) & (tk(P413)>=1)))) | ((potential((tk(P50)>=1) & (tk(P68)>=1)))) ))) ) | (AU( ( ((potential((tk(P317)>=1) & (tk(P356)>=1)))) & ((potential((tk(P38)>=1) & (tk(P72)>=1)))) ) , ( ((potential((tk(P285)>=1)))) | ((potential((tk(P48)>=1) & (tk(P109)>=1)))) ) )) ))
PROPERTY: NoC3x3-PT-6A-CTLFireability-13 (AU( (EF( ( ((potential((tk(P329)>=1) & (tk(P501)>=1)))) & ((potential((tk(P39)>=1) & (tk(P83)>=1)))) ))) , (EU( ((potential((tk(P103)>=1) & (tk(P113)>=1)))) , ((potential((tk(P386)>=1) & (tk(P445)>=1)))) )) ))
PROPERTY: NoC3x3-PT-6A-CTLFireability-14 ( (EU( ( ( ((potential((tk(P34)>=1) & (tk(P227)>=1)))) | ((potential((tk(P143)>=1) & (tk(P158)>=1)))) ) & ((potential((tk(P414)>=1) & (tk(P442)>=1)))) ) , (AF( ((potential((tk(P142)>=1) & (tk(P240)>=1)))))) )) | ( (EX( ((potential((tk(P37)>=1) & (tk(P57)>=1)))))) & (EU( ((potential((tk(P54)>=1) & (tk(P65)>=1)))) , (! ((potential((tk(P194)>=1) & (tk(P260)>=1))))) )) ) )
PROPERTY: NoC3x3-PT-6A-CTLFireability-15 (EG( (AF( (! (! ((potential((tk(P100)>=1) & (tk(P125)>=1))))))))))

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="NoC3x3-PT-6A"
export BK_EXAMINATION="CTLFireability"
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 NoC3x3-PT-6A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500412"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-6A.tgz
mv NoC3x3-PT-6A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;