About the Execution of smart for ASLink-PT-03a
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.570 | 3600000.00 | 3600039.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 '/data/fkordon/mcc2020-input.r003-smll-158897508000044.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ASLink-PT-03a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000044
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 524K
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 2.9K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 357K 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 ASLink-PT-03a-CTLFireability-00
FORMULA_NAME ASLink-PT-03a-CTLFireability-01
FORMULA_NAME ASLink-PT-03a-CTLFireability-02
FORMULA_NAME ASLink-PT-03a-CTLFireability-03
FORMULA_NAME ASLink-PT-03a-CTLFireability-04
FORMULA_NAME ASLink-PT-03a-CTLFireability-05
FORMULA_NAME ASLink-PT-03a-CTLFireability-06
FORMULA_NAME ASLink-PT-03a-CTLFireability-07
FORMULA_NAME ASLink-PT-03a-CTLFireability-08
FORMULA_NAME ASLink-PT-03a-CTLFireability-09
FORMULA_NAME ASLink-PT-03a-CTLFireability-10
FORMULA_NAME ASLink-PT-03a-CTLFireability-11
FORMULA_NAME ASLink-PT-03a-CTLFireability-12
FORMULA_NAME ASLink-PT-03a-CTLFireability-13
FORMULA_NAME ASLink-PT-03a-CTLFireability-14
FORMULA_NAME ASLink-PT-03a-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589004416857
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 03a
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: 821 places, 1281 transitions, 4839 arcs.
AT ITER 0 NEW BEST:: SOT 576589 SOS 393886 HAS SOPS 393886 HAS SOUS 240008 HAS SOUPS 240008 WITH SCORE 240401.886
AT ITER 8 NEW BEST:: SOT 576282 SOS 393579 HAS SOPS 393579 HAS SOUS 239700 HAS SOUPS 239700 WITH SCORE 240093.579
AT ITER 12 NEW BEST:: SOT 576282 SOS 393483 HAS SOPS 393483 HAS SOUS 239604 HAS SOUPS 239604 WITH SCORE 239997.483
AT ITER 15 NEW BEST:: SOT 574505 SOS 393654 HAS SOPS 393654 HAS SOUS 238375 HAS SOUPS 238375 WITH SCORE 238768.654
AT ITER 16 NEW BEST:: SOT 574502 SOS 393651 HAS SOPS 393651 HAS SOUS 238372 HAS SOUPS 238372 WITH SCORE 238765.651
AT ITER 17 NEW BEST:: SOT 574355 SOS 393504 HAS SOPS 393504 HAS SOUS 238372 HAS SOUPS 238372 WITH SCORE 238765.504
AT ITER 27 NEW BEST:: SOT 574355 SOS 392985 HAS SOPS 392985 HAS SOUS 238371 HAS SOUPS 238371 WITH SCORE 238763.985
AT ITER 36 NEW BEST:: SOT 574176 SOS 392625 HAS SOPS 392625 HAS SOUS 238190 HAS SOUPS 238190 WITH SCORE 238582.625
AT ITER 37 NEW BEST:: SOT 574176 SOS 392280 HAS SOPS 392280 HAS SOUS 237845 HAS SOUPS 237845 WITH SCORE 238237.28
AT ITER 42 NEW BEST:: SOT 570502 SOS 388733 HAS SOPS 388733 HAS SOUS 234505 HAS SOUPS 234505 WITH SCORE 234893.733
AT ITER 44 NEW BEST:: SOT 570231 SOS 388666 HAS SOPS 388666 HAS SOUS 234438 HAS SOUPS 234438 WITH SCORE 234826.666
AT ITER 45 NEW BEST:: SOT 570231 SOS 388910 HAS SOPS 388910 HAS SOUS 234436 HAS SOUPS 234436 WITH SCORE 234824.91
AT ITER 48 NEW BEST:: SOT 570222 SOS 388661 HAS SOPS 388661 HAS SOUS 234316 HAS SOUPS 234316 WITH SCORE 234704.661
AT ITER 55 NEW BEST:: SOT 570222 SOS 388661 HAS SOPS 388661 HAS SOUS 234314 HAS SOUPS 234314 WITH SCORE 234702.661
AT ITER 70 NEW BEST:: SOT 569981 SOS 387818 HAS SOPS 387818 HAS SOUS 233673 HAS SOUPS 233673 WITH SCORE 234060.818
AT ITER 75 NEW BEST:: SOT 569981 SOS 387818 HAS SOPS 387818 HAS SOUS 233668 HAS SOUPS 233668 WITH SCORE 234055.818
AT ITER 77 NEW BEST:: SOT 569645 SOS 387809 HAS SOPS 387809 HAS SOUS 233658 HAS SOUPS 233658 WITH SCORE 234045.809
AT ITER 81 NEW BEST:: SOT 569644 SOS 387808 HAS SOPS 387808 HAS SOUS 233656 HAS SOUPS 233656 WITH SCORE 234043.808
AT ITER 91 NEW BEST:: SOT 569176 SOS 387340 HAS SOPS 387340 HAS SOUS 233187 HAS SOUPS 233187 WITH SCORE 233574.34
AT ITER 93 NEW BEST:: SOT 569176 SOS 387039 HAS SOPS 387039 HAS SOUS 233158 HAS SOUPS 233158 WITH SCORE 233545.039
AT ITER 98 NEW BEST:: SOT 568294 SOS 386734 HAS SOPS 386734 HAS SOUS 232563 HAS SOUPS 232563 WITH SCORE 232949.734
AT ITER 107 NEW BEST:: SOT 568145 SOS 386041 HAS SOPS 386041 HAS SOUS 231870 HAS SOUPS 231870 WITH SCORE 232256.041
AT ITER 113 NEW BEST:: SOT 568139 SOS 385849 HAS SOPS 385849 HAS SOUS 231840 HAS SOUPS 231840 WITH SCORE 232225.849
AT ITER 126 NEW BEST:: SOT 568139 SOS 386316 HAS SOPS 386316 HAS SOUS 231699 HAS SOUPS 231699 WITH SCORE 232085.316
AT ITER 132 NEW BEST:: SOT 568213 SOS 386087 HAS SOPS 386087 HAS SOUS 231566 HAS SOUPS 231566 WITH SCORE 231952.087
AT ITER 136 NEW BEST:: SOT 567959 SOS 385579 HAS SOPS 385579 HAS SOUS 231058 HAS SOUPS 231058 WITH SCORE 231443.579
AT ITER 137 NEW BEST:: SOT 567859 SOS 385474 HAS SOPS 385474 HAS SOUS 231050 HAS SOUPS 231050 WITH SCORE 231435.474
AT ITER 139 NEW BEST:: SOT 567859 SOS 385386 HAS SOPS 385386 HAS SOUS 231002 HAS SOUPS 231002 WITH SCORE 231387.386
AT ITER 159 NEW BEST:: SOT 567370 SOS 384897 HAS SOPS 384897 HAS SOUS 230513 HAS SOUPS 230513 WITH SCORE 230897.897
AT ITER 161 NEW BEST:: SOT 567134 SOS 384177 HAS SOPS 384177 HAS SOUS 230041 HAS SOUPS 230041 WITH SCORE 230425.177
AT ITER 170 NEW BEST:: SOT 567134 SOS 383666 HAS SOPS 383666 HAS SOUS 230041 HAS SOUPS 230041 WITH SCORE 230424.666
AT ITER 175 NEW BEST:: SOT 567296 SOS 383749 HAS SOPS 383749 HAS SOUS 229810 HAS SOUPS 229810 WITH SCORE 230193.749
AT ITER 179 NEW BEST:: SOT 567088 SOS 383532 HAS SOPS 383532 HAS SOUS 229657 HAS SOUPS 229657 WITH SCORE 230040.532
AT ITER 181 NEW BEST:: SOT 566999 SOS 383441 HAS SOPS 383441 HAS SOUS 229655 HAS SOUPS 229655 WITH SCORE 230038.441
AT ITER 183 NEW BEST:: SOT 563074 SOS 379737 HAS SOPS 379737 HAS SOUS 224750 HAS SOUPS 224750 WITH SCORE 225129.737
AT ITER 204 NEW BEST:: SOT 562867 SOS 379530 HAS SOPS 379530 HAS SOUS 224543 HAS SOUPS 224543 WITH SCORE 224922.53
AT ITER 208 NEW BEST:: SOT 561938 SOS 378303 HAS SOPS 378303 HAS SOUS 223172 HAS SOUPS 223172 WITH SCORE 223550.303
AT ITER 212 NEW BEST:: SOT 555873 SOS 371679 HAS SOPS 371679 HAS SOUS 216322 HAS SOUPS 216322 WITH SCORE 216693.679
AT ITER 215 NEW BEST:: SOT 556010 SOS 371678 HAS SOPS 371678 HAS SOUS 216154 HAS SOUPS 216154 WITH SCORE 216525.678
AT ITER 217 NEW BEST:: SOT 552010 SOS 367393 HAS SOPS 367393 HAS SOUS 211191 HAS SOUPS 211191 WITH SCORE 211558.393
AT ITER 219 NEW BEST:: SOT 551751 SOS 366802 HAS SOPS 366802 HAS SOUS 210600 HAS SOUPS 210600 WITH SCORE 210966.802
AT ITER 223 NEW BEST:: SOT 551283 SOS 366334 HAS SOPS 366334 HAS SOUS 210132 HAS SOUPS 210132 WITH SCORE 210498.334
AT ITER 225 NEW BEST:: SOT 550481 SOS 365964 HAS SOPS 365964 HAS SOUS 210020 HAS SOUPS 210020 WITH SCORE 210385.964
AT ITER 226 NEW BEST:: SOT 549167 SOS 364563 HAS SOPS 364563 HAS SOUS 208619 HAS SOUPS 208619 WITH SCORE 208983.563
AT ITER 228 NEW BEST:: SOT 548698 SOS 364400 HAS SOPS 364400 HAS SOUS 208456 HAS SOUPS 208456 WITH SCORE 208820.4
AT ITER 289 NEW BEST:: SOT 548907 SOS 363752 HAS SOPS 363752 HAS SOUS 208321 HAS SOUPS 208321 WITH SCORE 208684.752
AT ITER 293 NEW BEST:: SOT 548907 SOS 363276 HAS SOPS 363276 HAS SOUS 207845 HAS SOUPS 207845 WITH SCORE 208208.276
AT ITER 300 NEW BEST:: SOT 548707 SOS 363076 HAS SOPS 363076 HAS SOUS 207842 HAS SOUPS 207842 WITH SCORE 208205.076
AT ITER 302 NEW BEST:: SOT 548712 SOS 362303 HAS SOPS 362303 HAS SOUS 207521 HAS SOUPS 207521 WITH SCORE 207883.303
AT ITER 307 NEW BEST:: SOT 548421 SOS 362292 HAS SOPS 362292 HAS SOUS 207510 HAS SOUPS 207510 WITH SCORE 207872.292
AT ITER 309 NEW BEST:: SOT 548386 SOS 362181 HAS SOPS 362181 HAS SOUS 207475 HAS SOUPS 207475 WITH SCORE 207837.181
AT ITER 310 NEW BEST:: SOT 547940 SOS 360518 HAS SOPS 360518 HAS SOUS 206511 HAS SOUPS 206511 WITH SCORE 206871.518
AT ITER 313 NEW BEST:: SOT 547812 SOS 360390 HAS SOPS 360390 HAS SOUS 206511 HAS SOUPS 206511 WITH SCORE 206871.39
AT ITER 321 NEW BEST:: SOT 548210 SOS 360485 HAS SOPS 360485 HAS SOUS 206492 HAS SOUPS 206492 WITH SCORE 206852.485
AT ITER 323 NEW BEST:: SOT 548210 SOS 360163 HAS SOPS 360163 HAS SOUS 206170 HAS SOUPS 206170 WITH SCORE 206530.163
AT ITER 324 NEW BEST:: SOT 548210 SOS 359470 HAS SOPS 359470 HAS SOUS 206169 HAS SOUPS 206169 WITH SCORE 206528.47
AT ITER 325 NEW BEST:: SOT 548210 SOS 356699 HAS SOPS 356699 HAS SOUS 205991 HAS SOUPS 205991 WITH SCORE 206347.699
AT ITER 327 NEW BEST:: SOT 548017 SOS 356506 HAS SOPS 356506 HAS SOUS 205989 HAS SOUPS 205989 WITH SCORE 206345.506
AT ITER 329 NEW BEST:: SOT 547959 SOS 356448 HAS SOPS 356448 HAS SOUS 205931 HAS SOUPS 205931 WITH SCORE 206287.448
AT ITER 333 NEW BEST:: SOT 547679 SOS 356168 HAS SOPS 356168 HAS SOUS 205650 HAS SOUPS 205650 WITH SCORE 206006.168
AT ITER 339 NEW BEST:: SOT 547677 SOS 355421 HAS SOPS 355421 HAS SOUS 205125 HAS SOUPS 205125 WITH SCORE 205480.421
AT ITER 342 NEW BEST:: SOT 547254 SOS 354998 HAS SOPS 354998 HAS SOUS 205104 HAS SOUPS 205104 WITH SCORE 205458.998
AT ITER 353 NEW BEST:: SOT 546802 SOS 354247 HAS SOPS 354247 HAS SOUS 204353 HAS SOUPS 204353 WITH SCORE 204707.247
AT ITER 358 NEW BEST:: SOT 546755 SOS 354198 HAS SOPS 354198 HAS SOUS 204352 HAS SOUPS 204352 WITH SCORE 204706.198
AT ITER 380 NEW BEST:: SOT 547040 SOS 353876 HAS SOPS 353876 HAS SOUS 204308 HAS SOUPS 204308 WITH SCORE 204661.876
AT ITER 383 NEW BEST:: SOT 547035 SOS 353625 HAS SOPS 353625 HAS SOUS 204060 HAS SOUPS 204060 WITH SCORE 204413.625
AT ITER 388 NEW BEST:: SOT 547035 SOS 353448 HAS SOPS 353448 HAS SOUS 204060 HAS SOUPS 204060 WITH SCORE 204413.448
AT ITER 398 NEW BEST:: SOT 547166 SOS 353579 HAS SOPS 353579 HAS SOUS 203987 HAS SOUPS 203987 WITH SCORE 204340.579
AT ITER 408 NEW BEST:: SOT 546937 SOS 353557 HAS SOPS 353557 HAS SOUS 203965 HAS SOUPS 203965 WITH SCORE 204318.557
AT ITER 411 NEW BEST:: SOT 546890 SOS 353528 HAS SOPS 353528 HAS SOUS 203936 HAS SOUPS 203936 WITH SCORE 204289.528
AT ITER 415 NEW BEST:: SOT 546732 SOS 353466 HAS SOPS 353466 HAS SOUS 203872 HAS SOUPS 203872 WITH SCORE 204225.466
AT ITER 432 NEW BEST:: SOT 546732 SOS 352057 HAS SOPS 352057 HAS SOUS 203726 HAS SOUPS 203726 WITH SCORE 204078.057
AT ITER 437 NEW BEST:: SOT 546732 SOS 352057 HAS SOPS 352057 HAS SOUS 203712 HAS SOUPS 203712 WITH SCORE 204064.057
AT ITER 439 NEW BEST:: SOT 546720 SOS 352045 HAS SOPS 352045 HAS SOUS 203700 HAS SOUPS 203700 WITH SCORE 204052.045
AT ITER 446 NEW BEST:: SOT 546720 SOS 352045 HAS SOPS 352045 HAS SOUS 203690 HAS SOUPS 203690 WITH SCORE 204042.045
AT ITER 450 NEW BEST:: SOT 546723 SOS 351558 HAS SOPS 351558 HAS SOUS 203301 HAS SOUPS 203301 WITH SCORE 203652.558
AT ITER 467 NEW BEST:: SOT 546448 SOS 351290 HAS SOPS 351290 HAS SOUS 203033 HAS SOUPS 203033 WITH SCORE 203384.29
AT ITER 489 NEW BEST:: SOT 545269 SOS 350289 HAS SOPS 350289 HAS SOUS 201982 HAS SOUPS 201982 WITH SCORE 202332.289
AT ITER 491 NEW BEST:: SOT 545250 SOS 350232 HAS SOPS 350232 HAS SOUS 201925 HAS SOUPS 201925 WITH SCORE 202275.232
AT ITER 511 NEW BEST:: SOT 545036 SOS 350156 HAS SOPS 350156 HAS SOUS 201841 HAS SOUPS 201841 WITH SCORE 202191.156
AT ITER 515 NEW BEST:: SOT 544895 SOS 349873 HAS SOPS 349873 HAS SOUS 201558 HAS SOUPS 201558 WITH SCORE 201907.873
AT ITER 516 NEW BEST:: SOT 544796 SOS 349826 HAS SOPS 349826 HAS SOUS 201550 HAS SOUPS 201550 WITH SCORE 201899.826
AT ITER 522 NEW BEST:: SOT 544316 SOS 348694 HAS SOPS 348694 HAS SOUS 200590 HAS SOUPS 200590 WITH SCORE 200938.694
AT ITER 527 NEW BEST:: SOT 544222 SOS 348600 HAS SOPS 348600 HAS SOUS 200496 HAS SOUPS 200496 WITH SCORE 200844.6
AT ITER 529 NEW BEST:: SOT 544222 SOS 348550 HAS SOPS 348550 HAS SOUS 200496 HAS SOUPS 200496 WITH SCORE 200844.55
AT ITER 530 NEW BEST:: SOT 541657 SOS 347006 HAS SOPS 347006 HAS SOUS 196052 HAS SOUPS 196052 WITH SCORE 196399.006
AT ITER 544 NEW BEST:: SOT 541702 SOS 346844 HAS SOPS 346844 HAS SOUS 195890 HAS SOUPS 195890 WITH SCORE 196236.844
AT ITER 547 NEW BEST:: SOT 541491 SOS 346786 HAS SOPS 346786 HAS SOUS 195799 HAS SOUPS 195799 WITH SCORE 196145.786
AT ITER 552 NEW BEST:: SOT 541491 SOS 346756 HAS SOPS 346756 HAS SOUS 195796 HAS SOUPS 195796 WITH SCORE 196142.756
AT ITER 560 NEW BEST:: SOT 541491 SOS 346570 HAS SOPS 346570 HAS SOUS 195610 HAS SOUPS 195610 WITH SCORE 195956.57
AT ITER 562 NEW BEST:: SOT 541489 SOS 346568 HAS SOPS 346568 HAS SOUS 195608 HAS SOUPS 195608 WITH SCORE 195954.568
AT ITER 566 NEW BEST:: SOT 540970 SOS 346049 HAS SOPS 346049 HAS SOUS 195533 HAS SOUPS 195533 WITH SCORE 195879.049
AT ITER 569 NEW BEST:: SOT 540813 SOS 345892 HAS SOPS 345892 HAS SOUS 195512 HAS SOUPS 195512 WITH SCORE 195857.892
AT ITER 583 NEW BEST:: SOT 540121 SOS 344696 HAS SOPS 344696 HAS SOUS 194994 HAS SOUPS 194994 WITH SCORE 195338.696
AT ITER 590 NEW BEST:: SOT 539956 SOS 344530 HAS SOPS 344530 HAS SOUS 194883 HAS SOUPS 194883 WITH SCORE 195227.53
AT ITER 593 NEW BEST:: SOT 539956 SOS 344493 HAS SOPS 344493 HAS SOUS 194846 HAS SOUPS 194846 WITH SCORE 195190.493
AT ITER 598 NEW BEST:: SOT 539703 SOS 343572 HAS SOPS 343572 HAS SOUS 194338 HAS SOUPS 194338 WITH SCORE 194681.572
AT ITER 600 NEW BEST:: SOT 539466 SOS 343098 HAS SOPS 343098 HAS SOUS 194099 HAS SOUPS 194099 WITH SCORE 194442.098
AT ITER 606 NEW BEST:: SOT 538741 SOS 344174 HAS SOPS 344174 HAS SOUS 194015 HAS SOUPS 194015 WITH SCORE 194359.174
AT ITER 630 NEW BEST:: SOT 538527 SOS 343960 HAS SOPS 343960 HAS SOUS 194015 HAS SOUPS 194015 WITH SCORE 194358.96
AT ITER 639 NEW BEST:: SOT 538542 SOS 343742 HAS SOPS 343742 HAS SOUS 193797 HAS SOUPS 193797 WITH SCORE 194140.742
AT ITER 646 NEW BEST:: SOT 538224 SOS 343377 HAS SOPS 343377 HAS SOUS 193508 HAS SOUPS 193508 WITH SCORE 193851.377
AT ITER 660 NEW BEST:: SOT 538224 SOS 343257 HAS SOPS 343257 HAS SOUS 193388 HAS SOUPS 193388 WITH SCORE 193731.257
AT ITER 667 NEW BEST:: SOT 538110 SOS 343143 HAS SOPS 343143 HAS SOUS 193273 HAS SOUPS 193273 WITH SCORE 193616.143
AT ITER 668 NEW BEST:: SOT 538110 SOS 343110 HAS SOPS 343110 HAS SOUS 193273 HAS SOUPS 193273 WITH SCORE 193616.11
AT ITER 677 NEW BEST:: SOT 538108 SOS 342942 HAS SOPS 342942 HAS SOUS 193265 HAS SOUPS 193265 WITH SCORE 193607.942
AT ITER 687 NEW BEST:: SOT 537863 SOS 342629 HAS SOPS 342629 HAS SOUS 192950 HAS SOUPS 192950 WITH SCORE 193292.629
AT ITER 695 NEW BEST:: SOT 535240 SOS 340006 HAS SOPS 340006 HAS SOUS 190327 HAS SOUPS 190327 WITH SCORE 190667.006
AT ITER 697 NEW BEST:: SOT 535137 SOS 339903 HAS SOPS 339903 HAS SOUS 190224 HAS SOUPS 190224 WITH SCORE 190563.903
AT ITER 708 NEW BEST:: SOT 534815 SOS 340022 HAS SOPS 340022 HAS SOUS 190046 HAS SOUPS 190046 WITH SCORE 190386.022
AT ITER 709 NEW BEST:: SOT 530986 SOS 336192 HAS SOPS 336192 HAS SOUS 186216 HAS SOUPS 186216 WITH SCORE 186552.192
AT ITER 711 NEW BEST:: SOT 530946 SOS 336132 HAS SOPS 336132 HAS SOUS 186136 HAS SOUPS 186136 WITH SCORE 186472.132
AT ITER 728 NEW BEST:: SOT 530946 SOS 336412 HAS SOPS 336412 HAS SOUS 186066 HAS SOUPS 186066 WITH SCORE 186402.412
AT ITER 729 NEW BEST:: SOT 531028 SOS 336490 HAS SOPS 336490 HAS SOUS 186064 HAS SOUPS 186064 WITH SCORE 186400.49
AT ITER 746 NEW BEST:: SOT 530837 SOS 334787 HAS SOPS 334787 HAS SOUS 185682 HAS SOUPS 185682 WITH SCORE 186016.787
AT ITER 754 NEW BEST:: SOT 530731 SOS 334136 HAS SOPS 334136 HAS SOUS 185467 HAS SOUPS 185467 WITH SCORE 185801.136
AT ITER 781 NEW BEST:: SOT 529915 SOS 333464 HAS SOPS 333464 HAS SOUS 184666 HAS SOUPS 184666 WITH SCORE 184999.464
AT ITER 792 NEW BEST:: SOT 529813 SOS 333362 HAS SOPS 333362 HAS SOUS 184629 HAS SOUPS 184629 WITH SCORE 184962.362
AT ITER 794 NEW BEST:: SOT 529743 SOS 333292 HAS SOPS 333292 HAS SOUS 184495 HAS SOUPS 184495 WITH SCORE 184828.292
AT ITER 828 NEW BEST:: SOT 529753 SOS 333397 HAS SOPS 333397 HAS SOUS 184451 HAS SOUPS 184451 WITH SCORE 184784.397
AT ITER 829 NEW BEST:: SOT 529735 SOS 333203 HAS SOPS 333203 HAS SOUS 184257 HAS SOUPS 184257 WITH SCORE 184590.203
AT ITER 851 NEW BEST:: SOT 529532 SOS 332801 HAS SOPS 332801 HAS SOUS 184078 HAS SOUPS 184078 WITH SCORE 184410.801
AT ITER 857 NEW BEST:: SOT 529618 SOS 332510 HAS SOPS 332510 HAS SOUS 184014 HAS SOUPS 184014 WITH SCORE 184346.51
AT ITER 863 NEW BEST:: SOT 529618 SOS 332503 HAS SOPS 332503 HAS SOUS 184007 HAS SOUPS 184007 WITH SCORE 184339.503
AT ITER 870 NEW BEST:: SOT 529618 SOS 332805 HAS SOPS 332805 HAS SOUS 183868 HAS SOUPS 183868 WITH SCORE 184200.805
AT ITER 872 NEW BEST:: SOT 529358 SOS 332285 HAS SOPS 332285 HAS SOUS 183348 HAS SOUPS 183348 WITH SCORE 183680.285
AT ITER 890 NEW BEST:: SOT 529004 SOS 331848 HAS SOPS 331848 HAS SOUS 182911 HAS SOUPS 182911 WITH SCORE 183242.848
AT ITER 891 NEW BEST:: SOT 528192 SOS 331037 HAS SOPS 331037 HAS SOUS 182015 HAS SOUPS 182015 WITH SCORE 182346.037
AT ITER 902 NEW BEST:: SOT 528125 SOS 330951 HAS SOPS 330951 HAS SOUS 181929 HAS SOUPS 181929 WITH SCORE 182259.951
AT ITER 906 NEW BEST:: SOT 528181 SOS 331007 HAS SOPS 331007 HAS SOUS 181926 HAS SOUPS 181926 WITH SCORE 182257.007
AT ITER 909 NEW BEST:: SOT 528179 SOS 331003 HAS SOPS 331003 HAS SOUS 181922 HAS SOUPS 181922 WITH SCORE 182253.003
AT ITER 912 NEW BEST:: SOT 528580 SOS 330792 HAS SOPS 330792 HAS SOUS 181558 HAS SOUPS 181558 WITH SCORE 181888.792
AT ITER 935 NEW BEST:: SOT 528522 SOS 330734 HAS SOPS 330734 HAS SOUS 181500 HAS SOUPS 181500 WITH SCORE 181830.734
AT ITER 940 NEW BEST:: SOT 528521 SOS 329956 HAS SOPS 329956 HAS SOUS 181496 HAS SOUPS 181496 WITH SCORE 181825.956
AT ITER 941 NEW BEST:: SOT 528385 SOS 329820 HAS SOPS 329820 HAS SOUS 181472 HAS SOUPS 181472 WITH SCORE 181801.82
AT ITER 952 NEW BEST:: SOT 528385 SOS 329820 HAS SOPS 329820 HAS SOUS 181459 HAS SOUPS 181459 WITH SCORE 181788.82
AT ITER 953 NEW BEST:: SOT 528385 SOS 328323 HAS SOPS 328323 HAS SOUS 180955 HAS SOUPS 180955 WITH SCORE 181283.323
AT ITER 955 NEW BEST:: SOT 528385 SOS 328323 HAS SOPS 328323 HAS SOUS 180942 HAS SOUPS 180942 WITH SCORE 181270.323
AT ITER 956 NEW BEST:: SOT 528001 SOS 327565 HAS SOPS 327565 HAS SOUS 180184 HAS SOUPS 180184 WITH SCORE 180511.565
AT ITER 983 NEW BEST:: SOT 527989 SOS 327553 HAS SOPS 327553 HAS SOUS 180141 HAS SOUPS 180141 WITH SCORE 180468.553
AT ITER 995 NEW BEST:: SOT 527988 SOS 327551 HAS SOPS 327551 HAS SOUS 180140 HAS SOUPS 180140 WITH SCORE 180467.551
AT ITER 1005 NEW BEST:: SOT 527914 SOS 327402 HAS SOPS 327402 HAS SOUS 179991 HAS SOUPS 179991 WITH SCORE 180318.402
AT ITER 1008 NEW BEST:: SOT 528393 SOS 327105 HAS SOPS 327105 HAS SOUS 179720 HAS SOUPS 179720 WITH SCORE 180047.105
AT ITER 1009 NEW BEST:: SOT 524784 SOS 323842 HAS SOPS 323842 HAS SOUS 176322 HAS SOUPS 176322 WITH SCORE 176645.842
AT ITER 1010 NEW BEST:: SOT 524600 SOS 323652 HAS SOPS 323652 HAS SOUS 176131 HAS SOUPS 176131 WITH SCORE 176454.652
AT ITER 1016 NEW BEST:: SOT 524600 SOS 323832 HAS SOPS 323832 HAS SOUS 176021 HAS SOUPS 176021 WITH SCORE 176344.832
AT ITER 1018 NEW BEST:: SOT 524514 SOS 323722 HAS SOPS 323722 HAS SOUS 175974 HAS SOUPS 175974 WITH SCORE 176297.722
AT ITER 1052 NEW BEST:: SOT 523206 SOS 322412 HAS SOPS 322412 HAS SOUS 175536 HAS SOUPS 175536 WITH SCORE 175858.412
AT ITER 1056 NEW BEST:: SOT 523206 SOS 321995 HAS SOPS 321995 HAS SOUS 175535 HAS SOUPS 175535 WITH SCORE 175856.995
AT ITER 1058 NEW BEST:: SOT 523206 SOS 321915 HAS SOPS 321915 HAS SOUS 175454 HAS SOUPS 175454 WITH SCORE 175775.915
AT ITER 1061 NEW BEST:: SOT 522586 SOS 321425 HAS SOPS 321425 HAS SOUS 174881 HAS SOUPS 174881 WITH SCORE 175202.425
AT ITER 1067 NEW BEST:: SOT 522584 SOS 321436 HAS SOPS 321436 HAS SOUS 174879 HAS SOUPS 174879 WITH SCORE 175200.436
AT ITER 1068 NEW BEST:: SOT 522425 SOS 318728 HAS SOPS 318728 HAS SOUS 174359 HAS SOUPS 174359 WITH SCORE 174677.728
AT ITER 1089 NEW BEST:: SOT 522425 SOS 318416 HAS SOPS 318416 HAS SOUS 174207 HAS SOUPS 174207 WITH SCORE 174525.416
AT ITER 1095 NEW BEST:: SOT 522442 SOS 318493 HAS SOPS 318493 HAS SOUS 174181 HAS SOUPS 174181 WITH SCORE 174499.493
AT ITER 1107 NEW BEST:: SOT 522337 SOS 318024 HAS SOPS 318024 HAS SOUS 173712 HAS SOUPS 173712 WITH SCORE 174030.024
AT ITER 1108 NEW BEST:: SOT 522337 SOS 318000 HAS SOPS 318000 HAS SOUS 173712 HAS SOUPS 173712 WITH SCORE 174030.0
AT ITER 1117 NEW BEST:: SOT 522337 SOS 318152 HAS SOPS 318152 HAS SOUS 173579 HAS SOUPS 173579 WITH SCORE 173897.152
AT ITER 1128 NEW BEST:: SOT 522205 SOS 318020 HAS SOPS 318020 HAS SOUS 173447 HAS SOUPS 173447 WITH SCORE 173765.02
AT ITER 1136 NEW BEST:: SOT 522205 SOS 318019 HAS SOPS 318019 HAS SOUS 173446 HAS SOUPS 173446 WITH SCORE 173764.019
AT ITER 1138 NEW BEST:: SOT 520960 SOS 318652 HAS SOPS 318652 HAS SOUS 172535 HAS SOUPS 172535 WITH SCORE 172853.652
AT ITER 1139 NEW BEST:: SOT 521242 SOS 318206 HAS SOPS 318206 HAS SOUS 172461 HAS SOUPS 172461 WITH SCORE 172779.206
AT ITER 1141 NEW BEST:: SOT 521177 SOS 318141 HAS SOPS 318141 HAS SOUS 172396 HAS SOUPS 172396 WITH SCORE 172714.141
AT ITER 1142 NEW BEST:: SOT 521176 SOS 317717 HAS SOPS 317717 HAS SOUS 172301 HAS SOUPS 172301 WITH SCORE 172618.717
AT ITER 1143 NEW BEST:: SOT 520368 SOS 316990 HAS SOPS 316990 HAS SOUS 171589 HAS SOUPS 171589 WITH SCORE 171905.99
AT ITER 1151 NEW BEST:: SOT 520274 SOS 316896 HAS SOPS 316896 HAS SOUS 171589 HAS SOUPS 171589 WITH SCORE 171905.896
AT ITER 1153 NEW BEST:: SOT 520222 SOS 316836 HAS SOPS 316836 HAS SOUS 171528 HAS SOUPS 171528 WITH SCORE 171844.836
AT ITER 1154 NEW BEST:: SOT 520222 SOS 316836 HAS SOPS 316836 HAS SOUS 171371 HAS SOUPS 171371 WITH SCORE 171687.836
AT ITER 1159 NEW BEST:: SOT 520222 SOS 317441 HAS SOPS 317441 HAS SOUS 171250 HAS SOUPS 171250 WITH SCORE 171567.441
AT ITER 1166 NEW BEST:: SOT 520172 SOS 317391 HAS SOPS 317391 HAS SOUS 171200 HAS SOUPS 171200 WITH SCORE 171517.391
AT ITER 1184 NEW BEST:: SOT 510672 SOS 307709 HAS SOPS 307709 HAS SOUS 161319 HAS SOUPS 161319 WITH SCORE 161626.709
AT ITER 1196 NEW BEST:: SOT 510666 SOS 307673 HAS SOPS 307673 HAS SOUS 161289 HAS SOUPS 161289 WITH SCORE 161596.673
AT ITER 1199 NEW BEST:: SOT 510245 SOS 307252 HAS SOPS 307252 HAS SOUS 160868 HAS SOUPS 160868 WITH SCORE 161175.252
AT ITER 1206 NEW BEST:: SOT 510226 SOS 307233 HAS SOPS 307233 HAS SOUS 160849 HAS SOUPS 160849 WITH SCORE 161156.233
AT ITER 1209 NEW BEST:: SOT 510210 SOS 307127 HAS SOPS 307127 HAS SOUS 160772 HAS SOUPS 160772 WITH SCORE 161079.127
AT ITER 1218 NEW BEST:: SOT 508396 SOS 305551 HAS SOPS 305551 HAS SOUS 160095 HAS SOUPS 160095 WITH SCORE 160400.551
AT ITER 1238 NEW BEST:: SOT 506174 SOS 304543 HAS SOPS 304543 HAS SOUS 158319 HAS SOUPS 158319 WITH SCORE 158623.543
AT ITER 1241 NEW BEST:: SOT 506020 SOS 304245 HAS SOPS 304245 HAS SOUS 158056 HAS SOUPS 158056 WITH SCORE 158360.245
AT ITER 1243 NEW BEST:: SOT 506020 SOS 303667 HAS SOPS 303667 HAS SOUS 158056 HAS SOUPS 158056 WITH SCORE 158359.667
AT ITER 1251 NEW BEST:: SOT 505623 SOS 303133 HAS SOPS 303133 HAS SOUS 157664 HAS SOUPS 157664 WITH SCORE 157967.133
AT ITER 1253 NEW BEST:: SOT 505550 SOS 302916 HAS SOPS 302916 HAS SOUS 157518 HAS SOUPS 157518 WITH SCORE 157820.916
AT ITER 1256 NEW BEST:: SOT 505527 SOS 303019 HAS SOPS 303019 HAS SOUS 157514 HAS SOUPS 157514 WITH SCORE 157817.019
AT ITER 1271 NEW BEST:: SOT 505514 SOS 302981 HAS SOPS 302981 HAS SOUS 157476 HAS SOUPS 157476 WITH SCORE 157778.981
AT ITER 1273 NEW BEST:: SOT 505840 SOS 303252 HAS SOPS 303252 HAS SOUS 157322 HAS SOUPS 157322 WITH SCORE 157625.252
AT ITER 1274 NEW BEST:: SOT 505840 SOS 303071 HAS SOPS 303071 HAS SOUS 157144 HAS SOUPS 157144 WITH SCORE 157447.071
AT ITER 1275 NEW BEST:: SOT 505159 SOS 302350 HAS SOPS 302350 HAS SOUS 156422 HAS SOUPS 156422 WITH SCORE 156724.35
AT ITER 1282 NEW BEST:: SOT 505131 SOS 302294 HAS SOPS 302294 HAS SOUS 156366 HAS SOUPS 156366 WITH SCORE 156668.294
AT ITER 1283 NEW BEST:: SOT 505115 SOS 302278 HAS SOPS 302278 HAS SOUS 156350 HAS SOUPS 156350 WITH SCORE 156652.278
AT ITER 1286 NEW BEST:: SOT 505115 SOS 302321 HAS SOPS 302321 HAS SOUS 156258 HAS SOUPS 156258 WITH SCORE 156560.321
AT ITER 1299 NEW BEST:: SOT 505041 SOS 302247 HAS SOPS 302247 HAS SOUS 156184 HAS SOUPS 156184 WITH SCORE 156486.247
AT ITER 1301 NEW BEST:: SOT 504712 SOS 302122 HAS SOPS 302122 HAS SOUS 155988 HAS SOUPS 155988 WITH SCORE 156290.122
AT ITER 1308 NEW BEST:: SOT 504712 SOS 301698 HAS SOPS 301698 HAS SOUS 155851 HAS SOUPS 155851 WITH SCORE 156152.698
AT ITER 1312 NEW BEST:: SOT 504676 SOS 301755 HAS SOPS 301755 HAS SOUS 155834 HAS SOUPS 155834 WITH SCORE 156135.755
AT ITER 1317 NEW BEST:: SOT 504676 SOS 301637 HAS SOPS 301637 HAS SOUS 155716 HAS SOUPS 155716 WITH SCORE 156017.637
AT ITER 1323 NEW BEST:: SOT 503279 SOS 302417 HAS SOPS 302417 HAS SOUS 154429 HAS SOUPS 154429 WITH SCORE 154731.417
AT ITER 1325 NEW BEST:: SOT 502938 SOS 301875 HAS SOPS 301875 HAS SOUS 153988 HAS SOUPS 153988 WITH SCORE 154289.875
AT ITER 1337 NEW BEST:: SOT 502864 SOS 300997 HAS SOPS 300997 HAS SOUS 153776 HAS SOUPS 153776 WITH SCORE 154076.997
AT ITER 1343 NEW BEST:: SOT 502864 SOS 300997 HAS SOPS 300997 HAS SOUS 153753 HAS SOUPS 153753 WITH SCORE 154053.997
AT ITER 1354 NEW BEST:: SOT 502851 SOS 300984 HAS SOPS 300984 HAS SOUS 153749 HAS SOUPS 153749 WITH SCORE 154049.984
AT ITER 1357 NEW BEST:: SOT 502817 SOS 300950 HAS SOPS 300950 HAS SOUS 153715 HAS SOUPS 153715 WITH SCORE 154015.95
AT ITER 1372 NEW BEST:: SOT 502580 SOS 300713 HAS SOPS 300713 HAS SOUS 153471 HAS SOUPS 153471 WITH SCORE 153771.713
AT ITER 1380 NEW BEST:: SOT 502676 SOS 301214 HAS SOPS 301214 HAS SOUS 153425 HAS SOUPS 153425 WITH SCORE 153726.214
AT ITER 1383 NEW BEST:: SOT 502636 SOS 301174 HAS SOPS 301174 HAS SOUS 153385 HAS SOUPS 153385 WITH SCORE 153686.174
AT ITER 1386 NEW BEST:: SOT 502631 SOS 301169 HAS SOPS 301169 HAS SOUS 153380 HAS SOUPS 153380 WITH SCORE 153681.169
AT ITER 1387 NEW BEST:: SOT 502631 SOS 301161 HAS SOPS 301161 HAS SOUS 153379 HAS SOUPS 153379 WITH SCORE 153680.161
AT ITER 1389 NEW BEST:: SOT 503106 SOS 301892 HAS SOPS 301892 HAS SOUS 153069 HAS SOUPS 153069 WITH SCORE 153370.892
AT ITER 1400 NEW BEST:: SOT 503144 SOS 301865 HAS SOPS 301865 HAS SOUS 153042 HAS SOUPS 153042 WITH SCORE 153343.865
AT ITER 1401 NEW BEST:: SOT 503052 SOS 302396 HAS SOPS 302396 HAS SOUS 152979 HAS SOUPS 152979 WITH SCORE 153281.396
AT ITER 1403 NEW BEST:: SOT 498149 SOS 297254 HAS SOPS 297254 HAS SOUS 146508 HAS SOUPS 146508 WITH SCORE 146805.254
AT ITER 1404 NEW BEST:: SOT 498197 SOS 297285 HAS SOPS 297285 HAS SOUS 146506 HAS SOUPS 146506 WITH SCORE 146803.285
AT ITER 1414 NEW BEST:: SOT 498136 SOS 297167 HAS SOPS 297167 HAS SOUS 146388 HAS SOUPS 146388 WITH SCORE 146685.167
AT ITER 1432 NEW BEST:: SOT 498084 SOS 296609 HAS SOPS 296609 HAS SOUS 146284 HAS SOUPS 146284 WITH SCORE 146580.609
AT ITER 1433 NEW BEST:: SOT 498293 SOS 296496 HAS SOPS 296496 HAS SOUS 146171 HAS SOUPS 146171 WITH SCORE 146467.496
AT ITER 1444 NEW BEST:: SOT 498022 SOS 296225 HAS SOPS 296225 HAS SOUS 145823 HAS SOUPS 145823 WITH SCORE 146119.225
AT ITER 1449 NEW BEST:: SOT 498022 SOS 295889 HAS SOPS 295889 HAS SOUS 145487 HAS SOUPS 145487 WITH SCORE 145782.889
AT ITER 1456 NEW BEST:: SOT 497699 SOS 295565 HAS SOPS 295565 HAS SOUS 145130 HAS SOUPS 145130 WITH SCORE 145425.565
AT ITER 1459 NEW BEST:: SOT 497535 SOS 295188 HAS SOPS 295188 HAS SOUS 144662 HAS SOUPS 144662 WITH SCORE 144957.188
AT ITER 1465 NEW BEST:: SOT 496893 SOS 294545 HAS SOPS 294545 HAS SOUS 144019 HAS SOUPS 144019 WITH SCORE 144313.545
AT ITER 1466 NEW BEST:: SOT 496887 SOS 294533 HAS SOPS 294533 HAS SOUS 143995 HAS SOUPS 143995 WITH SCORE 144289.533
AT ITER 1472 NEW BEST:: SOT 496855 SOS 294428 HAS SOPS 294428 HAS SOUS 143963 HAS SOUPS 143963 WITH SCORE 144257.428
AT ITER 1500 NEW BEST:: SOT 497054 SOS 294624 HAS SOPS 294624 HAS SOUS 143956 HAS SOUPS 143956 WITH SCORE 144250.624
AT ITER 1502 NEW BEST:: SOT 495748 SOS 293409 HAS SOPS 293409 HAS SOUS 142686 HAS SOUPS 142686 WITH SCORE 142979.409
AT ITER 1504 NEW BEST:: SOT 495480 SOS 293141 HAS SOPS 293141 HAS SOUS 142418 HAS SOUPS 142418 WITH SCORE 142711.141
AT ITER 1505 NEW BEST:: SOT 495479 SOS 291780 HAS SOPS 291780 HAS SOUS 142246 HAS SOUPS 142246 WITH SCORE 142537.78
AT ITER 1517 NEW BEST:: SOT 495153 SOS 293614 HAS SOPS 293614 HAS SOUS 141980 HAS SOUPS 141980 WITH SCORE 142273.614
AT ITER 1518 NEW BEST:: SOT 495146 SOS 293601 HAS SOPS 293601 HAS SOUS 141966 HAS SOUPS 141966 WITH SCORE 142259.601
AT ITER 1532 NEW BEST:: SOT 494948 SOS 293205 HAS SOPS 293205 HAS SOUS 141570 HAS SOUPS 141570 WITH SCORE 141863.205
AT ITER 1551 NEW BEST:: SOT 494947 SOS 293168 HAS SOPS 293168 HAS SOUS 141568 HAS SOUPS 141568 WITH SCORE 141861.168
AT ITER 1559 NEW BEST:: SOT 494860 SOS 293081 HAS SOPS 293081 HAS SOUS 141481 HAS SOUPS 141481 WITH SCORE 141774.081
AT ITER 1587 NEW BEST:: SOT 494633 SOS 292860 HAS SOPS 292860 HAS SOUS 141260 HAS SOUPS 141260 WITH SCORE 141552.86
AT ITER 1588 NEW BEST:: SOT 494470 SOS 292539 HAS SOPS 292539 HAS SOUS 141067 HAS SOUPS 141067 WITH SCORE 141359.539
AT ITER 1596 NEW BEST:: SOT 493884 SOS 292496 HAS SOPS 292496 HAS SOUS 140647 HAS SOUPS 140647 WITH SCORE 140939.496
AT ITER 1600 NEW BEST:: SOT 493809 SOS 292421 HAS SOPS 292421 HAS SOUS 140563 HAS SOUPS 140563 WITH SCORE 140855.421
AT ITER 1606 NEW BEST:: SOT 493809 SOS 292232 HAS SOPS 292232 HAS SOUS 140499 HAS SOUPS 140499 WITH SCORE 140791.232
AT ITER 1627 NEW BEST:: SOT 493779 SOS 292202 HAS SOPS 292202 HAS SOUS 140469 HAS SOUPS 140469 WITH SCORE 140761.202
AT ITER 1641 NEW BEST:: SOT 493779 SOS 292270 HAS SOPS 292270 HAS SOUS 140452 HAS SOUPS 140452 WITH SCORE 140744.27
AT ITER 1642 NEW BEST:: SOT 493778 SOS 292269 HAS SOPS 292269 HAS SOUS 140450 HAS SOUPS 140450 WITH SCORE 140742.269
AT ITER 1645 NEW BEST:: SOT 493730 SOS 292632 HAS SOPS 292632 HAS SOUS 140426 HAS SOUPS 140426 WITH SCORE 140718.632
AT ITER 1647 NEW BEST:: SOT 493685 SOS 292370 HAS SOPS 292370 HAS SOUS 140283 HAS SOUPS 140283 WITH SCORE 140575.37
AT ITER 1681 NEW BEST:: SOT 493400 SOS 292237 HAS SOPS 292237 HAS SOUS 140208 HAS SOUPS 140208 WITH SCORE 140500.237
AT ITER 1703 NEW BEST:: SOT 493321 SOS 292189 HAS SOPS 292189 HAS SOUS 140160 HAS SOUPS 140160 WITH SCORE 140452.189
AT ITER 1716 NEW BEST:: SOT 493315 SOS 291873 HAS SOPS 291873 HAS SOUS 139844 HAS SOUPS 139844 WITH SCORE 140135.873
AT ITER 1722 NEW BEST:: SOT 492826 SOS 296873 HAS SOPS 296873 HAS SOUS 139745 HAS SOUPS 139745 WITH SCORE 140041.873
AT ITER 1758 NEW BEST:: SOT 492821 SOS 296863 HAS SOPS 296863 HAS SOUS 139706 HAS SOUPS 139706 WITH SCORE 140002.863
AT ITER 1760 NEW BEST:: SOT 492490 SOS 296952 HAS SOPS 296952 HAS SOUS 139322 HAS SOUPS 139322 WITH SCORE 139618.952
AT ITER 1764 NEW BEST:: SOT 492460 SOS 296532 HAS SOPS 296532 HAS SOUS 139267 HAS SOUPS 139267 WITH SCORE 139563.532
AT ITER 1790 NEW BEST:: SOT 492185 SOS 296257 HAS SOPS 296257 HAS SOUS 138992 HAS SOUPS 138992 WITH SCORE 139288.257
AT ITER 1822 NEW BEST:: SOT 492041 SOS 296134 HAS SOPS 296134 HAS SOUS 138751 HAS SOUPS 138751 WITH SCORE 139047.134
AT ITER 1831 NEW BEST:: SOT 491992 SOS 296084 HAS SOPS 296084 HAS SOUS 138701 HAS SOUPS 138701 WITH SCORE 138997.084
AT ITER 1833 NEW BEST:: SOT 492386 SOS 296082 HAS SOPS 296082 HAS SOUS 138641 HAS SOUPS 138641 WITH SCORE 138937.082
AT ITER 1842 NEW BEST:: SOT 492194 SOS 296041 HAS SOPS 296041 HAS SOUS 138257 HAS SOUPS 138257 WITH SCORE 138553.041
AT ITER 1854 NEW BEST:: SOT 492194 SOS 296029 HAS SOPS 296029 HAS SOUS 138245 HAS SOUPS 138245 WITH SCORE 138541.029
AT ITER 1860 NEW BEST:: SOT 492160 SOS 295859 HAS SOPS 295859 HAS SOUS 138211 HAS SOUPS 138211 WITH SCORE 138506.859
AT ITER 1869 NEW BEST:: SOT 491986 SOS 295685 HAS SOPS 295685 HAS SOUS 138037 HAS SOUPS 138037 WITH SCORE 138332.685
AT ITER 1883 NEW BEST:: SOT 491951 SOS 295650 HAS SOPS 295650 HAS SOUS 137868 HAS SOUPS 137868 WITH SCORE 138163.65
AT ITER 1884 NEW BEST:: SOT 491940 SOS 295686 HAS SOPS 295686 HAS SOUS 137859 HAS SOUPS 137859 WITH SCORE 138154.686
AT ITER 1890 NEW BEST:: SOT 491883 SOS 295485 HAS SOPS 295485 HAS SOUS 137726 HAS SOUPS 137726 WITH SCORE 138021.485
AT ITER 1903 NEW BEST:: SOT 491728 SOS 295298 HAS SOPS 295298 HAS SOUS 137539 HAS SOUPS 137539 WITH SCORE 137834.298
AT ITER 1913 NEW BEST:: SOT 491677 SOS 295247 HAS SOPS 295247 HAS SOUS 137486 HAS SOUPS 137486 WITH SCORE 137781.247
AT ITER 1914 NEW BEST:: SOT 491634 SOS 295204 HAS SOPS 295204 HAS SOUS 137443 HAS SOUPS 137443 WITH SCORE 137738.204
AT ITER 1918 NEW BEST:: SOT 491559 SOS 295129 HAS SOPS 295129 HAS SOUS 137367 HAS SOUPS 137367 WITH SCORE 137662.129
AT ITER 1933 NEW BEST:: SOT 491559 SOS 294563 HAS SOPS 294563 HAS SOUS 137254 HAS SOUPS 137254 WITH SCORE 137548.563
AT ITER 1946 NEW BEST:: SOT 491556 SOS 291108 HAS SOPS 291108 HAS SOUS 137248 HAS SOUPS 137248 WITH SCORE 137539.108
AT ITER 1950 NEW BEST:: SOT 491553 SOS 291159 HAS SOPS 291159 HAS SOUS 137245 HAS SOUPS 137245 WITH SCORE 137536.159
AT ITER 1951 NEW BEST:: SOT 491553 SOS 291169 HAS SOPS 291169 HAS SOUS 137235 HAS SOUPS 137235 WITH SCORE 137526.169
AT ITER 1962 NEW BEST:: SOT 491472 SOS 290810 HAS SOPS 290810 HAS SOUS 137221 HAS SOUPS 137221 WITH SCORE 137511.81
AT ITER 1976 NEW BEST:: SOT 491469 SOS 290807 HAS SOPS 290807 HAS SOUS 137218 HAS SOUPS 137218 WITH SCORE 137508.807
AT ITER 1986 NEW BEST:: SOT 491322 SOS 290410 HAS SOPS 290410 HAS SOUS 136699 HAS SOUPS 136699 WITH SCORE 136989.41
AT ITER 1993 NEW BEST:: SOT 491288 SOS 290055 HAS SOPS 290055 HAS SOUS 136344 HAS SOUPS 136344 WITH SCORE 136634.055
AT ITER 2000 NEW BEST:: SOT 491230 SOS 289997 HAS SOPS 289997 HAS SOUS 136285 HAS SOUPS 136285 WITH SCORE 136574.997
AT ITER 2002 NEW BEST:: SOT 491173 SOS 289846 HAS SOPS 289846 HAS SOUS 136168 HAS SOUPS 136168 WITH SCORE 136457.846
AT ITER 2021 NEW BEST:: SOT 491045 SOS 289718 HAS SOPS 289718 HAS SOUS 135945 HAS SOUPS 135945 WITH SCORE 136234.718
AT ITER 2027 NEW BEST:: SOT 491062 SOS 289674 HAS SOPS 289674 HAS SOUS 135901 HAS SOUPS 135901 WITH SCORE 136190.674
AT ITER 2030 NEW BEST:: SOT 491061 SOS 289673 HAS SOPS 289673 HAS SOUS 135899 HAS SOUPS 135899 WITH SCORE 136188.673
AT ITER 2034 NEW BEST:: SOT 490975 SOS 289587 HAS SOPS 289587 HAS SOUS 135813 HAS SOUPS 135813 WITH SCORE 136102.587
AT ITER 2041 NEW BEST:: SOT 490750 SOS 289362 HAS SOPS 289362 HAS SOUS 135573 HAS SOUPS 135573 WITH SCORE 135862.362
AT ITER 2047 NEW BEST:: SOT 490724 SOS 289269 HAS SOPS 289269 HAS SOUS 135480 HAS SOUPS 135480 WITH SCORE 135769.269
AT ITER 2051 NEW BEST:: SOT 490724 SOS 289779 HAS SOPS 289779 HAS SOUS 135448 HAS SOUPS 135448 WITH SCORE 135737.779
AT ITER 2064 NEW BEST:: SOT 490724 SOS 289742 HAS SOPS 289742 HAS SOUS 135448 HAS SOUPS 135448 WITH SCORE 135737.742
AT ITER 2098 NEW BEST:: SOT 490715 SOS 289724 HAS SOPS 289724 HAS SOUS 135448 HAS SOUPS 135448 WITH SCORE 135737.724
AT ITER 2101 NEW BEST:: SOT 490311 SOS 289316 HAS SOPS 289316 HAS SOUS 135040 HAS SOUPS 135040 WITH SCORE 135329.316
AT ITER 2137 NEW BEST:: SOT 490311 SOS 289242 HAS SOPS 289242 HAS SOUS 134999 HAS SOUPS 134999 WITH SCORE 135288.242
AT ITER 2141 NEW BEST:: SOT 490275 SOS 289206 HAS SOPS 289206 HAS SOUS 134963 HAS SOUPS 134963 WITH SCORE 135252.206
AT ITER 2142 NEW BEST:: SOT 490275 SOS 288771 HAS SOPS 288771 HAS SOUS 134963 HAS SOUPS 134963 WITH SCORE 135251.771
AT ITER 2147 NEW BEST:: SOT 490316 SOS 288803 HAS SOPS 288803 HAS SOUS 134836 HAS SOUPS 134836 WITH SCORE 135124.803
AT ITER 2173 NEW BEST:: SOT 490259 SOS 288693 HAS SOPS 288693 HAS SOUS 134726 HAS SOUPS 134726 WITH SCORE 135014.693
AT ITER 2182 NEW BEST:: SOT 490254 SOS 287968 HAS SOPS 287968 HAS SOUS 134716 HAS SOUPS 134716 WITH SCORE 135003.968
AT ITER 2187 NEW BEST:: SOT 490205 SOS 287801 HAS SOPS 287801 HAS SOUS 134618 HAS SOUPS 134618 WITH SCORE 134905.801
AT ITER 2189 NEW BEST:: SOT 490162 SOS 287671 HAS SOPS 287671 HAS SOUS 134566 HAS SOUPS 134566 WITH SCORE 134853.671
AT ITER 2210 NEW BEST:: SOT 490139 SOS 287648 HAS SOPS 287648 HAS SOUS 134543 HAS SOUPS 134543 WITH SCORE 134830.648
AT ITER 2211 NEW BEST:: SOT 490122 SOS 287642 HAS SOPS 287642 HAS SOUS 134482 HAS SOUPS 134482 WITH SCORE 134769.642
AT ITER 2218 NEW BEST:: SOT 489844 SOS 287350 HAS SOPS 287350 HAS SOUS 134190 HAS SOUPS 134190 WITH SCORE 134477.35
AT ITER 2231 NEW BEST:: SOT 489843 SOS 287282 HAS SOPS 287282 HAS SOUS 134122 HAS SOUPS 134122 WITH SCORE 134409.282
AT ITER 2238 NEW BEST:: SOT 489783 SOS 287202 HAS SOPS 287202 HAS SOUS 134042 HAS SOUPS 134042 WITH SCORE 134329.202
AT ITER 2245 NEW BEST:: SOT 489812 SOS 287855 HAS SOPS 287855 HAS SOUS 134026 HAS SOUPS 134026 WITH SCORE 134313.855
AT ITER 2263 NEW BEST:: SOT 489811 SOS 287853 HAS SOPS 287853 HAS SOUS 134023 HAS SOUPS 134023 WITH SCORE 134310.853
AT ITER 2264 NEW BEST:: SOT 489846 SOS 287779 HAS SOPS 287779 HAS SOUS 133883 HAS SOUPS 133883 WITH SCORE 134170.779
AT ITER 2270 NEW BEST:: SOT 489970 SOS 287631 HAS SOPS 287631 HAS SOUS 133617 HAS SOUPS 133617 WITH SCORE 133904.631
AT ITER 2309 NEW BEST:: SOT 489829 SOS 287907 HAS SOPS 287907 HAS SOUS 133512 HAS SOUPS 133512 WITH SCORE 133799.907
AT ITER 2328 NEW BEST:: SOT 489251 SOS 287564 HAS SOPS 287564 HAS SOUS 133121 HAS SOUPS 133121 WITH SCORE 133408.564
AT ITER 2339 NEW BEST:: SOT 489212 SOS 287525 HAS SOPS 287525 HAS SOUS 133081 HAS SOUPS 133081 WITH SCORE 133368.525
AT ITER 2357 NEW BEST:: SOT 489105 SOS 287418 HAS SOPS 287418 HAS SOUS 133020 HAS SOUPS 133020 WITH SCORE 133307.418
AT ITER 2360 NEW BEST:: SOT 487211 SOS 285240 HAS SOPS 285240 HAS SOUS 130933 HAS SOUPS 130933 WITH SCORE 131218.24
AT ITER 2364 NEW BEST:: SOT 486895 SOS 284936 HAS SOPS 284936 HAS SOUS 130629 HAS SOUPS 130629 WITH SCORE 130913.936
AT ITER 2376 NEW BEST:: SOT 486486 SOS 284118 HAS SOPS 284118 HAS SOUS 130189 HAS SOUPS 130189 WITH SCORE 130473.118
AT ITER 2379 NEW BEST:: SOT 486557 SOS 283473 HAS SOPS 283473 HAS SOUS 129742 HAS SOUPS 129742 WITH SCORE 130025.473
AT ITER 2383 NEW BEST:: SOT 486427 SOS 283087 HAS SOPS 283087 HAS SOUS 129609 HAS SOUPS 129609 WITH SCORE 129892.087
AT ITER 2396 NEW BEST:: SOT 486497 SOS 283157 HAS SOPS 283157 HAS SOUS 129519 HAS SOUPS 129519 WITH SCORE 129802.157
AT ITER 2399 NEW BEST:: SOT 486410 SOS 282983 HAS SOPS 282983 HAS SOUS 129345 HAS SOUPS 129345 WITH SCORE 129627.983
AT ITER 2409 NEW BEST:: SOT 486390 SOS 282963 HAS SOPS 282963 HAS SOUS 129325 HAS SOUPS 129325 WITH SCORE 129607.963
AT ITER 2416 NEW BEST:: SOT 485980 SOS 282553 HAS SOPS 282553 HAS SOUS 129089 HAS SOUPS 129089 WITH SCORE 129371.553
AT ITER 2428 NEW BEST:: SOT 485728 SOS 281541 HAS SOPS 281541 HAS SOUS 128452 HAS SOUPS 128452 WITH SCORE 128733.541
AT ITER 2448 NEW BEST:: SOT 485456 SOS 281269 HAS SOPS 281269 HAS SOUS 128180 HAS SOUPS 128180 WITH SCORE 128461.269
AT ITER 2452 NEW BEST:: SOT 485423 SOS 281170 HAS SOPS 281170 HAS SOUS 128114 HAS SOUPS 128114 WITH SCORE 128395.17
AT ITER 2456 NEW BEST:: SOT 485423 SOS 281193 HAS SOPS 281193 HAS SOUS 127992 HAS SOUPS 127992 WITH SCORE 128273.193
AT ITER 2459 NEW BEST:: SOT 485417 SOS 281052 HAS SOPS 281052 HAS SOUS 127625 HAS SOUPS 127625 WITH SCORE 127906.052
AT ITER 2471 NEW BEST:: SOT 485417 SOS 280224 HAS SOPS 280224 HAS SOUS 127625 HAS SOUPS 127625 WITH SCORE 127905.224
AT ITER 2472 NEW BEST:: SOT 485409 SOS 280216 HAS SOPS 280216 HAS SOUS 127617 HAS SOUPS 127617 WITH SCORE 127897.216
AT ITER 2493 NEW BEST:: SOT 485078 SOS 279502 HAS SOPS 279502 HAS SOUS 127331 HAS SOUPS 127331 WITH SCORE 127610.502
AT ITER 2498 NEW BEST:: SOT 485078 SOS 279467 HAS SOPS 279467 HAS SOUS 127324 HAS SOUPS 127324 WITH SCORE 127603.467
AT ITER 2506 NEW BEST:: SOT 485059 SOS 279448 HAS SOPS 279448 HAS SOUS 127305 HAS SOUPS 127305 WITH SCORE 127584.448
AT ITER 2507 NEW BEST:: SOT 484950 SOS 279339 HAS SOPS 279339 HAS SOUS 127194 HAS SOUPS 127194 WITH SCORE 127473.339
AT ITER 2542 NEW BEST:: SOT 484596 SOS 278985 HAS SOPS 278985 HAS SOUS 126835 HAS SOUPS 126835 WITH SCORE 127113.985
AT ITER 2547 NEW BEST:: SOT 484595 SOS 278624 HAS SOPS 278624 HAS SOUS 126831 HAS SOUPS 126831 WITH SCORE 127109.624
AT ITER 2549 NEW BEST:: SOT 484595 SOS 278514 HAS SOPS 278514 HAS SOUS 126721 HAS SOUPS 126721 WITH SCORE 126999.514
AT ITER 2560 NEW BEST:: SOT 484012 SOS 277931 HAS SOPS 277931 HAS SOUS 126388 HAS SOUPS 126388 WITH SCORE 126665.931
AT ITER 2568 NEW BEST:: SOT 483953 SOS 277872 HAS SOPS 277872 HAS SOUS 126388 HAS SOUPS 126388 WITH SCORE 126665.872
AT ITER 2582 NEW BEST:: SOT 483922 SOS 277796 HAS SOPS 277796 HAS SOUS 126342 HAS SOUPS 126342 WITH SCORE 126619.796
AT ITER 2598 NEW BEST:: SOT 483892 SOS 277766 HAS SOPS 277766 HAS SOUS 126217 HAS SOUPS 126217 WITH SCORE 126494.766
AT ITER 2599 NEW BEST:: SOT 483348 SOS 277123 HAS SOPS 277123 HAS SOUS 125574 HAS SOUPS 125574 WITH SCORE 125851.123
AT ITER 2612 NEW BEST:: SOT 483281 SOS 276971 HAS SOPS 276971 HAS SOUS 125274 HAS SOUPS 125274 WITH SCORE 125550.971
AT ITER 2623 NEW BEST:: SOT 483033 SOS 276723 HAS SOPS 276723 HAS SOUS 125026 HAS SOUPS 125026 WITH SCORE 125302.723
AT ITER 2629 NEW BEST:: SOT 483014 SOS 276424 HAS SOPS 276424 HAS SOUS 124727 HAS SOUPS 124727 WITH SCORE 125003.424
AT ITER 2632 NEW BEST:: SOT 482796 SOS 276206 HAS SOPS 276206 HAS SOUS 124508 HAS SOUPS 124508 WITH SCORE 124784.206
AT ITER 2643 NEW BEST:: SOT 482458 SOS 275868 HAS SOPS 275868 HAS SOUS 124169 HAS SOUPS 124169 WITH SCORE 124444.868
AT ITER 2661 NEW BEST:: SOT 482342 SOS 274998 HAS SOPS 274998 HAS SOUS 124006 HAS SOUPS 124006 WITH SCORE 124280.998
AT ITER 2683 NEW BEST:: SOT 482221 SOS 274812 HAS SOPS 274812 HAS SOUS 123820 HAS SOUPS 123820 WITH SCORE 124094.812
AT ITER 2691 NEW BEST:: SOT 481999 SOS 274590 HAS SOPS 274590 HAS SOUS 123688 HAS SOUPS 123688 WITH SCORE 123962.59
AT ITER 2698 NEW BEST:: SOT 481940 SOS 273950 HAS SOPS 273950 HAS SOUS 123629 HAS SOUPS 123629 WITH SCORE 123902.95
AT ITER 2703 NEW BEST:: SOT 481764 SOS 273747 HAS SOPS 273747 HAS SOUS 123396 HAS SOUPS 123396 WITH SCORE 123669.747
AT ITER 2706 NEW BEST:: SOT 481663 SOS 273608 HAS SOPS 273608 HAS SOUS 123310 HAS SOUPS 123310 WITH SCORE 123583.608
AT ITER 2727 NEW BEST:: SOT 481663 SOS 272800 HAS SOPS 272800 HAS SOUS 123310 HAS SOUPS 123310 WITH SCORE 123582.8
AT ITER 2767 NEW BEST:: SOT 481637 SOS 272756 HAS SOPS 272756 HAS SOUS 123266 HAS SOUPS 123266 WITH SCORE 123538.756
AT ITER 2775 NEW BEST:: SOT 481635 SOS 272752 HAS SOPS 272752 HAS SOUS 123262 HAS SOUPS 123262 WITH SCORE 123534.752
AT ITER 2778 NEW BEST:: SOT 481500 SOS 272750 HAS SOPS 272750 HAS SOUS 123018 HAS SOUPS 123018 WITH SCORE 123290.75
AT ITER 2786 NEW BEST:: SOT 481478 SOS 272580 HAS SOPS 272580 HAS SOUS 122848 HAS SOUPS 122848 WITH SCORE 123120.58
AT ITER 2789 NEW BEST:: SOT 481436 SOS 272496 HAS SOPS 272496 HAS SOUS 122764 HAS SOUPS 122764 WITH SCORE 123036.496
AT ITER 2804 NEW BEST:: SOT 481281 SOS 272341 HAS SOPS 272341 HAS SOUS 122594 HAS SOUPS 122594 WITH SCORE 122866.341
AT ITER 2814 NEW BEST:: SOT 481187 SOS 272247 HAS SOPS 272247 HAS SOUS 122361 HAS SOUPS 122361 WITH SCORE 122633.247
AT ITER 2816 NEW BEST:: SOT 481187 SOS 272245 HAS SOPS 272245 HAS SOUS 122359 HAS SOUPS 122359 WITH SCORE 122631.245
AT ITER 2845 NEW BEST:: SOT 481187 SOS 272269 HAS SOPS 272269 HAS SOUS 122351 HAS SOUPS 122351 WITH SCORE 122623.269
AT ITER 2872 NEW BEST:: SOT 481144 SOS 272094 HAS SOPS 272094 HAS SOUS 122265 HAS SOUPS 122265 WITH SCORE 122537.094
AT ITER 2873 NEW BEST:: SOT 481144 SOS 272197 HAS SOPS 272197 HAS SOUS 122264 HAS SOUPS 122264 WITH SCORE 122536.197
AT ITER 2876 NEW BEST:: SOT 481143 SOS 271892 HAS SOPS 271892 HAS SOUS 122262 HAS SOUPS 122262 WITH SCORE 122533.892
AT ITER 2885 NEW BEST:: SOT 481141 SOS 271590 HAS SOPS 271590 HAS SOUS 122258 HAS SOUPS 122258 WITH SCORE 122529.59
AT ITER 2908 NEW BEST:: SOT 480862 SOS 271311 HAS SOPS 271311 HAS SOUS 121919 HAS SOUPS 121919 WITH SCORE 122190.311
AT ITER 2916 NEW BEST:: SOT 480822 SOS 272140 HAS SOPS 272140 HAS SOUS 121624 HAS SOUPS 121624 WITH SCORE 121896.14
AT ITER 2919 NEW BEST:: SOT 480667 SOS 272090 HAS SOPS 272090 HAS SOUS 121574 HAS SOUPS 121574 WITH SCORE 121846.09
AT ITER 2928 NEW BEST:: SOT 480661 SOS 272084 HAS SOPS 272084 HAS SOUS 121568 HAS SOUPS 121568 WITH SCORE 121840.084
AT ITER 2932 NEW BEST:: SOT 480579 SOS 272002 HAS SOPS 272002 HAS SOUS 121516 HAS SOUPS 121516 WITH SCORE 121788.002
AT ITER 2933 NEW BEST:: SOT 480531 SOS 271882 HAS SOPS 271882 HAS SOUS 121420 HAS SOUPS 121420 WITH SCORE 121691.882
AT ITER 2941 NEW BEST:: SOT 480459 SOS 271386 HAS SOPS 271386 HAS SOUS 121410 HAS SOUPS 121410 WITH SCORE 121681.386
AT ITER 2945 NEW BEST:: SOT 480359 SOS 271265 HAS SOPS 271265 HAS SOUS 121289 HAS SOUPS 121289 WITH SCORE 121560.265
AT ITER 2959 NEW BEST:: SOT 480351 SOS 271257 HAS SOPS 271257 HAS SOUS 121289 HAS SOUPS 121289 WITH SCORE 121560.257
AT ITER 2962 NEW BEST:: SOT 480313 SOS 271219 HAS SOPS 271219 HAS SOUS 121250 HAS SOUPS 121250 WITH SCORE 121521.219
AT ITER 2972 NEW BEST:: SOT 480295 SOS 271201 HAS SOPS 271201 HAS SOUS 121227 HAS SOUPS 121227 WITH SCORE 121498.201
AT ITER 2992 NEW BEST:: SOT 480147 SOS 270979 HAS SOPS 270979 HAS SOUS 120931 HAS SOUPS 120931 WITH SCORE 121201.979
AT ITER 2995 NEW BEST:: SOT 479940 SOS 270748 HAS SOPS 270748 HAS SOUS 120780 HAS SOUPS 120780 WITH SCORE 121050.748
AT ITER 3002 NEW BEST:: SOT 479924 SOS 270732 HAS SOPS 270732 HAS SOUS 120764 HAS SOUPS 120764 WITH SCORE 121034.732
AT ITER 3017 NEW BEST:: SOT 479931 SOS 270727 HAS SOPS 270727 HAS SOUS 120759 HAS SOUPS 120759 WITH SCORE 121029.727
AT ITER 3020 NEW BEST:: SOT 479751 SOS 270736 HAS SOPS 270736 HAS SOUS 120559 HAS SOUPS 120559 WITH SCORE 120829.736
AT ITER 3026 NEW BEST:: SOT 479806 SOS 270733 HAS SOPS 270733 HAS SOUS 120556 HAS SOUPS 120556 WITH SCORE 120826.733
AT ITER 3031 NEW BEST:: SOT 479640 SOS 270567 HAS SOPS 270567 HAS SOUS 120392 HAS SOUPS 120392 WITH SCORE 120662.567
AT ITER 3062 NEW BEST:: SOT 479562 SOS 270451 HAS SOPS 270451 HAS SOUS 120276 HAS SOUPS 120276 WITH SCORE 120546.451
AT ITER 3069 NEW BEST:: SOT 479545 SOS 270417 HAS SOPS 270417 HAS SOUS 120242 HAS SOUPS 120242 WITH SCORE 120512.417
AT ITER 3075 NEW BEST:: SOT 479474 SOS 270251 HAS SOPS 270251 HAS SOUS 120088 HAS SOUPS 120088 WITH SCORE 120358.251
AT ITER 3077 NEW BEST:: SOT 479460 SOS 270218 HAS SOPS 270218 HAS SOUS 120074 HAS SOUPS 120074 WITH SCORE 120344.218
AT ITER 3085 NEW BEST:: SOT 479460 SOS 269014 HAS SOPS 269014 HAS SOUS 120039 HAS SOUPS 120039 WITH SCORE 120308.014
AT ITER 3110 NEW BEST:: SOT 479268 SOS 268822 HAS SOPS 268822 HAS SOUS 119991 HAS SOUPS 119991 WITH SCORE 120259.822
AT ITER 3112 NEW BEST:: SOT 479216 SOS 268594 HAS SOPS 268594 HAS SOUS 119953 HAS SOUPS 119953 WITH SCORE 120221.594
AT ITER 3138 NEW BEST:: SOT 479216 SOS 268382 HAS SOPS 268382 HAS SOUS 119949 HAS SOUPS 119949 WITH SCORE 120217.382
AT ITER 3145 NEW BEST:: SOT 479221 SOS 268401 HAS SOPS 268401 HAS SOUS 119824 HAS SOUPS 119824 WITH SCORE 120092.401
AT ITER 3162 NEW BEST:: SOT 479227 SOS 268379 HAS SOPS 268379 HAS SOUS 119803 HAS SOUPS 119803 WITH SCORE 120071.379
AT ITER 3212 NEW BEST:: SOT 479175 SOS 268363 HAS SOPS 268363 HAS SOUS 119699 HAS SOUPS 119699 WITH SCORE 119967.363
AT ITER 3228 NEW BEST:: SOT 479146 SOS 268006 HAS SOPS 268006 HAS SOUS 119599 HAS SOUPS 119599 WITH SCORE 119867.006
AT ITER 3229 NEW BEST:: SOT 479093 SOS 267962 HAS SOPS 267962 HAS SOUS 119580 HAS SOUPS 119580 WITH SCORE 119847.962
AT ITER 3239 NEW BEST:: SOT 478790 SOS 266286 HAS SOPS 266286 HAS SOUS 118734 HAS SOUPS 118734 WITH SCORE 119000.286
AT ITER 3242 NEW BEST:: SOT 478715 SOS 265137 HAS SOPS 265137 HAS SOUS 118513 HAS SOUPS 118513 WITH SCORE 118778.137
AT ITER 3258 NEW BEST:: SOT 478610 SOS 265032 HAS SOPS 265032 HAS SOUS 118489 HAS SOUPS 118489 WITH SCORE 118754.032
AT ITER 3260 NEW BEST:: SOT 478398 SOS 264820 HAS SOPS 264820 HAS SOUS 118060 HAS SOUPS 118060 WITH SCORE 118324.82
AT ITER 3287 NEW BEST:: SOT 478308 SOS 264664 HAS SOPS 264664 HAS SOUS 117904 HAS SOUPS 117904 WITH SCORE 118168.664
AT ITER 3292 NEW BEST:: SOT 478403 SOS 264759 HAS SOPS 264759 HAS SOUS 117858 HAS SOUPS 117858 WITH SCORE 118122.759
AT ITER 3319 NEW BEST:: SOT 478269 SOS 264870 HAS SOPS 264870 HAS SOUS 117730 HAS SOUPS 117730 WITH SCORE 117994.87
AT ITER 3327 NEW BEST:: SOT 478269 SOS 264793 HAS SOPS 264793 HAS SOUS 117730 HAS SOUPS 117730 WITH SCORE 117994.793
AT ITER 3341 NEW BEST:: SOT 478235 SOS 264760 HAS SOPS 264760 HAS SOUS 117697 HAS SOUPS 117697 WITH SCORE 117961.76
AT ITER 3349 NEW BEST:: SOT 478023 SOS 264548 HAS SOPS 264548 HAS SOUS 117524 HAS SOUPS 117524 WITH SCORE 117788.548
AT ITER 3361 NEW BEST:: SOT 478019 SOS 264331 HAS SOPS 264331 HAS SOUS 117278 HAS SOUPS 117278 WITH SCORE 117542.331
AT ITER 3376 NEW BEST:: SOT 478019 SOS 264266 HAS SOPS 264266 HAS SOUS 117278 HAS SOUPS 117278 WITH SCORE 117542.266
AT ITER 3385 NEW BEST:: SOT 477976 SOS 264118 HAS SOPS 264118 HAS SOUS 117192 HAS SOUPS 117192 WITH SCORE 117456.118
AT ITER 3391 NEW BEST:: SOT 477875 SOS 264017 HAS SOPS 264017 HAS SOUS 117091 HAS SOUPS 117091 WITH SCORE 117355.017
AT ITER 3397 NEW BEST:: SOT 477789 SOS 263931 HAS SOPS 263931 HAS SOUS 117005 HAS SOUPS 117005 WITH SCORE 117268.931
AT ITER 3416 NEW BEST:: SOT 477789 SOS 263945 HAS SOPS 263945 HAS SOUS 116991 HAS SOUPS 116991 WITH SCORE 117254.945
AT ITER 3431 NEW BEST:: SOT 477231 SOS 263820 HAS SOPS 263820 HAS SOUS 116448 HAS SOUPS 116448 WITH SCORE 116711.82
AT ITER 3435 NEW BEST:: SOT 477275 SOS 262496 HAS SOPS 262496 HAS SOUS 116370 HAS SOUPS 116370 WITH SCORE 116632.496
AT ITER 3447 NEW BEST:: SOT 477229 SOS 262450 HAS SOPS 262450 HAS SOUS 116324 HAS SOUPS 116324 WITH SCORE 116586.45
AT ITER 3455 NEW BEST:: SOT 477139 SOS 262228 HAS SOPS 262228 HAS SOUS 116102 HAS SOUPS 116102 WITH SCORE 116364.228
AT ITER 3462 NEW BEST:: SOT 477139 SOS 260663 HAS SOPS 260663 HAS SOUS 116102 HAS SOUPS 116102 WITH SCORE 116362.663
AT ITER 3471 NEW BEST:: SOT 477102 SOS 260524 HAS SOPS 260524 HAS SOUS 115963 HAS SOUPS 115963 WITH SCORE 116223.524
AT ITER 3472 NEW BEST:: SOT 477069 SOS 260524 HAS SOPS 260524 HAS SOUS 115930 HAS SOUPS 115930 WITH SCORE 116190.524
AT ITER 3490 NEW BEST:: SOT 476829 SOS 260232 HAS SOPS 260232 HAS SOUS 115664 HAS SOUPS 115664 WITH SCORE 115924.232
AT ITER 3511 NEW BEST:: SOT 476826 SOS 260404 HAS SOPS 260404 HAS SOUS 115480 HAS SOUPS 115480 WITH SCORE 115740.404
AT ITER 3525 NEW BEST:: SOT 476971 SOS 259893 HAS SOPS 259893 HAS SOUS 115312 HAS SOUPS 115312 WITH SCORE 115571.893
AT ITER 3526 NEW BEST:: SOT 476899 SOS 259764 HAS SOPS 259764 HAS SOUS 115183 HAS SOUPS 115183 WITH SCORE 115442.764
AT ITER 3538 NEW BEST:: SOT 476870 SOS 259735 HAS SOPS 259735 HAS SOUS 115176 HAS SOUPS 115176 WITH SCORE 115435.735
AT ITER 3557 NEW BEST:: SOT 476865 SOS 259730 HAS SOPS 259730 HAS SOUS 115166 HAS SOUPS 115166 WITH SCORE 115425.73
AT ITER 3560 NEW BEST:: SOT 476862 SOS 259724 HAS SOPS 259724 HAS SOUS 115160 HAS SOUPS 115160 WITH SCORE 115419.724
AT ITER 3569 NEW BEST:: SOT 476856 SOS 259717 HAS SOPS 259717 HAS SOUS 115153 HAS SOUPS 115153 WITH SCORE 115412.717
AT ITER 3573 NEW BEST:: SOT 476912 SOS 259909 HAS SOPS 259909 HAS SOUS 115124 HAS SOUPS 115124 WITH SCORE 115383.909
AT ITER 3585 NEW BEST:: SOT 476900 SOS 259897 HAS SOPS 259897 HAS SOUS 115099 HAS SOUPS 115099 WITH SCORE 115358.897
AT ITER 3592 NEW BEST:: SOT 476836 SOS 259778 HAS SOPS 259778 HAS SOUS 115044 HAS SOUPS 115044 WITH SCORE 115303.778
AT ITER 3595 NEW BEST:: SOT 476788 SOS 259730 HAS SOPS 259730 HAS SOUS 114948 HAS SOUPS 114948 WITH SCORE 115207.73
AT ITER 3613 NEW BEST:: SOT 476792 SOS 259034 HAS SOPS 259034 HAS SOUS 114836 HAS SOUPS 114836 WITH SCORE 115095.034
AT ITER 3625 NEW BEST:: SOT 476787 SOS 259029 HAS SOPS 259029 HAS SOUS 114831 HAS SOUPS 114831 WITH SCORE 115090.029
AT ITER 3632 NEW BEST:: SOT 476766 SOS 258497 HAS SOPS 258497 HAS SOUS 114737 HAS SOUPS 114737 WITH SCORE 114995.497
AT ITER 3641 NEW BEST:: SOT 476707 SOS 258438 HAS SOPS 258438 HAS SOUS 114678 HAS SOUPS 114678 WITH SCORE 114936.438
AT ITER 3657 NEW BEST:: SOT 476990 SOS 257472 HAS SOPS 257472 HAS SOUS 114638 HAS SOUPS 114638 WITH SCORE 114895.472
AT ITER 3659 NEW BEST:: SOT 476990 SOS 257476 HAS SOPS 257476 HAS SOUS 114634 HAS SOUPS 114634 WITH SCORE 114891.476
AT ITER 3664 NEW BEST:: SOT 477059 SOS 257472 HAS SOPS 257472 HAS SOUS 114559 HAS SOUPS 114559 WITH SCORE 114816.472
AT ITER 3665 NEW BEST:: SOT 477008 SOS 257370 HAS SOPS 257370 HAS SOUS 114457 HAS SOUPS 114457 WITH SCORE 114714.37
AT ITER 3666 NEW BEST:: SOT 476924 SOS 257230 HAS SOPS 257230 HAS SOUS 114317 HAS SOUPS 114317 WITH SCORE 114574.23
AT ITER 3668 NEW BEST:: SOT 476870 SOS 257176 HAS SOPS 257176 HAS SOUS 114197 HAS SOUPS 114197 WITH SCORE 114454.176
AT ITER 3688 NEW BEST:: SOT 476832 SOS 257040 HAS SOPS 257040 HAS SOUS 114121 HAS SOUPS 114121 WITH SCORE 114378.04
AT ITER 3714 NEW BEST:: SOT 477076 SOS 257253 HAS SOPS 257253 HAS SOUS 113963 HAS SOUPS 113963 WITH SCORE 114220.253
AT ITER 3720 NEW BEST:: SOT 476872 SOS 256940 HAS SOPS 256940 HAS SOUS 113663 HAS SOUPS 113663 WITH SCORE 113919.94
AT ITER 3741 NEW BEST:: SOT 476611 SOS 256405 HAS SOPS 256405 HAS SOUS 113128 HAS SOUPS 113128 WITH SCORE 113384.405
AT ITER 3760 NEW BEST:: SOT 476611 SOS 256405 HAS SOPS 256405 HAS SOUS 113116 HAS SOUPS 113116 WITH SCORE 113372.405
AT ITER 3781 NEW BEST:: SOT 476573 SOS 256316 HAS SOPS 256316 HAS SOUS 112989 HAS SOUPS 112989 WITH SCORE 113245.316
AT ITER 3782 NEW BEST:: SOT 476528 SOS 255949 HAS SOPS 255949 HAS SOUS 112757 HAS SOUPS 112757 WITH SCORE 113012.949
AT ITER 3830 NEW BEST:: SOT 476452 SOS 255863 HAS SOPS 255863 HAS SOUS 112630 HAS SOUPS 112630 WITH SCORE 112885.863
AT ITER 3835 NEW BEST:: SOT 476832 SOS 256075 HAS SOPS 256075 HAS SOUS 112272 HAS SOUPS 112272 WITH SCORE 112528.075
AT ITER 3849 NEW BEST:: SOT 476896 SOS 256139 HAS SOPS 256139 HAS SOUS 112188 HAS SOUPS 112188 WITH SCORE 112444.139
AT ITER 3855 NEW BEST:: SOT 477002 SOS 256245 HAS SOPS 256245 HAS SOUS 112174 HAS SOUPS 112174 WITH SCORE 112430.245
AT ITER 3865 NEW BEST:: SOT 476969 SOS 256212 HAS SOPS 256212 HAS SOUS 112118 HAS SOUPS 112118 WITH SCORE 112374.212
AT ITER 3876 NEW BEST:: SOT 476958 SOS 256212 HAS SOPS 256212 HAS SOUS 112085 HAS SOUPS 112085 WITH SCORE 112341.212
AT ITER 3897 NEW BEST:: SOT 476292 SOS 256130 HAS SOPS 256130 HAS SOUS 111492 HAS SOUPS 111492 WITH SCORE 111748.13
AT ITER 3906 NEW BEST:: SOT 476283 SOS 256121 HAS SOPS 256121 HAS SOUS 111489 HAS SOUPS 111489 WITH SCORE 111745.121
AT ITER 3965 NEW BEST:: SOT 475931 SOS 255884 HAS SOPS 255884 HAS SOUS 111252 HAS SOUPS 111252 WITH SCORE 111507.884
AT ITER 3980 NEW BEST:: SOT 475911 SOS 255854 HAS SOPS 255854 HAS SOUS 111222 HAS SOUPS 111222 WITH SCORE 111477.854
AT ITER 3986 NEW BEST:: SOT 475828 SOS 255783 HAS SOPS 255783 HAS SOUS 110879 HAS SOUPS 110879 WITH SCORE 111134.783
AT ITER 4032 NEW BEST:: SOT 475828 SOS 255558 HAS SOPS 255558 HAS SOUS 110864 HAS SOUPS 110864 WITH SCORE 111119.558
AT ITER 4053 NEW BEST:: SOT 475806 SOS 255545 HAS SOPS 255545 HAS SOUS 110617 HAS SOUPS 110617 WITH SCORE 110872.545
AT ITER 4063 NEW BEST:: SOT 475934 SOS 255536 HAS SOPS 255536 HAS SOUS 110608 HAS SOUPS 110608 WITH SCORE 110863.536
AT ITER 4077 NEW BEST:: SOT 475845 SOS 255358 HAS SOPS 255358 HAS SOUS 110430 HAS SOUPS 110430 WITH SCORE 110685.358
AT ITER 4083 NEW BEST:: SOT 475835 SOS 255266 HAS SOPS 255266 HAS SOUS 110338 HAS SOUPS 110338 WITH SCORE 110593.266
AT ITER 4103 NEW BEST:: SOT 475704 SOS 254859 HAS SOPS 254859 HAS SOUS 110164 HAS SOUPS 110164 WITH SCORE 110418.859
AT ITER 4119 NEW BEST:: SOT 475614 SOS 254769 HAS SOPS 254769 HAS SOUS 110035 HAS SOUPS 110035 WITH SCORE 110289.769
AT ITER 4126 NEW BEST:: SOT 475633 SOS 254240 HAS SOPS 254240 HAS SOUS 109975 HAS SOUPS 109975 WITH SCORE 110229.24
AT ITER 4134 NEW BEST:: SOT 475473 SOS 253280 HAS SOPS 253280 HAS SOUS 109495 HAS SOUPS 109495 WITH SCORE 109748.28
AT ITER 4137 NEW BEST:: SOT 474751 SOS 254663 HAS SOPS 254663 HAS SOUS 108994 HAS SOUPS 108994 WITH SCORE 109248.663
AT ITER 4150 NEW BEST:: SOT 474724 SOS 254636 HAS SOPS 254636 HAS SOUS 108940 HAS SOUPS 108940 WITH SCORE 109194.636
AT ITER 4178 NEW BEST:: SOT 474722 SOS 254635 HAS SOPS 254635 HAS SOUS 108939 HAS SOUPS 108939 WITH SCORE 109193.635
AT ITER 4200 NEW BEST:: SOT 474679 SOS 254635 HAS SOPS 254635 HAS SOUS 108810 HAS SOUPS 108810 WITH SCORE 109064.635
AT ITER 4211 NEW BEST:: SOT 474799 SOS 254686 HAS SOPS 254686 HAS SOUS 108802 HAS SOUPS 108802 WITH SCORE 109056.686
AT ITER 4221 NEW BEST:: SOT 474761 SOS 254614 HAS SOPS 254614 HAS SOUS 108737 HAS SOUPS 108737 WITH SCORE 108991.614
AT ITER 4231 NEW BEST:: SOT 474761 SOS 254487 HAS SOPS 254487 HAS SOUS 108676 HAS SOUPS 108676 WITH SCORE 108930.487
AT ITER 4240 NEW BEST:: SOT 474757 SOS 254475 HAS SOPS 254475 HAS SOUS 108668 HAS SOUPS 108668 WITH SCORE 108922.475
AT ITER 4270 NEW BEST:: SOT 474707 SOS 254425 HAS SOPS 254425 HAS SOUS 108606 HAS SOUPS 108606 WITH SCORE 108860.425
AT ITER 4272 NEW BEST:: SOT 474802 SOS 254358 HAS SOPS 254358 HAS SOUS 108539 HAS SOUPS 108539 WITH SCORE 108793.358
AT ITER 4276 NEW BEST:: SOT 474774 SOS 254309 HAS SOPS 254309 HAS SOUS 108518 HAS SOUPS 108518 WITH SCORE 108772.309
AT ITER 4286 NEW BEST:: SOT 474504 SOS 254039 HAS SOPS 254039 HAS SOUS 108248 HAS SOUPS 108248 WITH SCORE 108502.039
AT ITER 4289 NEW BEST:: SOT 474504 SOS 254039 HAS SOPS 254039 HAS SOUS 108232 HAS SOUPS 108232 WITH SCORE 108486.039
AT ITER 4308 NEW BEST:: SOT 474513 SOS 254022 HAS SOPS 254022 HAS SOUS 108209 HAS SOUPS 108209 WITH SCORE 108463.022
AT ITER 4343 NEW BEST:: SOT 474519 SOS 254001 HAS SOPS 254001 HAS SOUS 108188 HAS SOUPS 108188 WITH SCORE 108442.001
AT ITER 4344 NEW BEST:: SOT 474519 SOS 254019 HAS SOPS 254019 HAS SOUS 108170 HAS SOUPS 108170 WITH SCORE 108424.019
AT ITER 4363 NEW BEST:: SOT 474589 SOS 253999 HAS SOPS 253999 HAS SOUS 108137 HAS SOUPS 108137 WITH SCORE 108390.999
AT ITER 4365 NEW BEST:: SOT 474589 SOS 254056 HAS SOPS 254056 HAS SOUS 108080 HAS SOUPS 108080 WITH SCORE 108334.056
AT ITER 4369 NEW BEST:: SOT 474589 SOS 254048 HAS SOPS 254048 HAS SOUS 108079 HAS SOUPS 108079 WITH SCORE 108333.048
AT ITER 4380 NEW BEST:: SOT 474589 SOS 254000 HAS SOPS 254000 HAS SOUS 108079 HAS SOUPS 108079 WITH SCORE 108333.0
AT ITER 4385 NEW BEST:: SOT 474486 SOS 253897 HAS SOPS 253897 HAS SOUS 107976 HAS SOUPS 107976 WITH SCORE 108229.897
AT ITER 4405 NEW BEST:: SOT 474437 SOS 253788 HAS SOPS 253788 HAS SOUS 107723 HAS SOUPS 107723 WITH SCORE 107976.788
AT ITER 4407 NEW BEST:: SOT 474408 SOS 253730 HAS SOPS 253730 HAS SOUS 107665 HAS SOUPS 107665 WITH SCORE 107918.73
AT ITER 4416 NEW BEST:: SOT 474169 SOS 252907 HAS SOPS 252907 HAS SOUS 107390 HAS SOUPS 107390 WITH SCORE 107642.907
AT ITER 4419 NEW BEST:: SOT 474107 SOS 252988 HAS SOPS 252988 HAS SOUS 107350 HAS SOUPS 107350 WITH SCORE 107602.988
AT ITER 4422 NEW BEST:: SOT 474068 SOS 252801 HAS SOPS 252801 HAS SOUS 107283 HAS SOUPS 107283 WITH SCORE 107535.801
AT ITER 4426 NEW BEST:: SOT 474068 SOS 252788 HAS SOPS 252788 HAS SOUS 107257 HAS SOUPS 107257 WITH SCORE 107509.788
AT ITER 4434 NEW BEST:: SOT 474043 SOS 252746 HAS SOPS 252746 HAS SOUS 107215 HAS SOUPS 107215 WITH SCORE 107467.746
AT ITER 4446 NEW BEST:: SOT 473979 SOS 252703 HAS SOPS 252703 HAS SOUS 107200 HAS SOUPS 107200 WITH SCORE 107452.703
AT ITER 4449 NEW BEST:: SOT 474000 SOS 252703 HAS SOPS 252703 HAS SOUS 107170 HAS SOUPS 107170 WITH SCORE 107422.703
AT ITER 4481 NEW BEST:: SOT 473979 SOS 252721 HAS SOPS 252721 HAS SOUS 107080 HAS SOUPS 107080 WITH SCORE 107332.721
AT ITER 4486 NEW BEST:: SOT 473921 SOS 252431 HAS SOPS 252431 HAS SOUS 107022 HAS SOUPS 107022 WITH SCORE 107274.431
AT ITER 4494 NEW BEST:: SOT 473909 SOS 252407 HAS SOPS 252407 HAS SOUS 106998 HAS SOUPS 106998 WITH SCORE 107250.407
AT ITER 4557 NEW BEST:: SOT 473961 SOS 252405 HAS SOPS 252405 HAS SOUS 106996 HAS SOUPS 106996 WITH SCORE 107248.405
AT ITER 4575 NEW BEST:: SOT 473861 SOS 252205 HAS SOPS 252205 HAS SOUS 106696 HAS SOUPS 106696 WITH SCORE 106948.205
AT ITER 4577 NEW BEST:: SOT 473857 SOS 252197 HAS SOPS 252197 HAS SOUS 106688 HAS SOUPS 106688 WITH SCORE 106940.197
AT ITER 4588 NEW BEST:: SOT 473857 SOS 251588 HAS SOPS 251588 HAS SOUS 106451 HAS SOUPS 106451 WITH SCORE 106702.588
AT ITER 4605 NEW BEST:: SOT 473857 SOS 251500 HAS SOPS 251500 HAS SOUS 106438 HAS SOUPS 106438 WITH SCORE 106689.5
AT ITER 4626 NEW BEST:: SOT 473837 SOS 251451 HAS SOPS 251451 HAS SOUS 106398 HAS SOUPS 106398 WITH SCORE 106649.451
AT ITER 4649 NEW BEST:: SOT 473838 SOS 251450 HAS SOPS 251450 HAS SOUS 106397 HAS SOUPS 106397 WITH SCORE 106648.45
AT ITER 4665 NEW BEST:: SOT 473787 SOS 251678 HAS SOPS 251678 HAS SOUS 106328 HAS SOUPS 106328 WITH SCORE 106579.678
AT ITER 4686 NEW BEST:: SOT 473779 SOS 251671 HAS SOPS 251671 HAS SOUS 106267 HAS SOUPS 106267 WITH SCORE 106518.671
AT ITER 4701 NEW BEST:: SOT 473772 SOS 251664 HAS SOPS 251664 HAS SOUS 106253 HAS SOUPS 106253 WITH SCORE 106504.664
AT ITER 4708 NEW BEST:: SOT 473772 SOS 251626 HAS SOPS 251626 HAS SOUS 106215 HAS SOUPS 106215 WITH SCORE 106466.626
AT ITER 4721 NEW BEST:: SOT 473663 SOS 251551 HAS SOPS 251551 HAS SOUS 106196 HAS SOUPS 106196 WITH SCORE 106447.551
AT ITER 4734 NEW BEST:: SOT 473650 SOS 251525 HAS SOPS 251525 HAS SOUS 106170 HAS SOUPS 106170 WITH SCORE 106421.525
AT ITER 4740 NEW BEST:: SOT 473636 SOS 251497 HAS SOPS 251497 HAS SOUS 106142 HAS SOUPS 106142 WITH SCORE 106393.497
AT ITER 4750 NEW BEST:: SOT 473662 SOS 251459 HAS SOPS 251459 HAS SOUS 106104 HAS SOUPS 106104 WITH SCORE 106355.459
AT ITER 4762 NEW BEST:: SOT 473634 SOS 251324 HAS SOPS 251324 HAS SOUS 106007 HAS SOUPS 106007 WITH SCORE 106258.324
AT ITER 4778 NEW BEST:: SOT 473612 SOS 251302 HAS SOPS 251302 HAS SOUS 105946 HAS SOUPS 105946 WITH SCORE 106197.302
AT ITER 4798 NEW BEST:: SOT 473545 SOS 251157 HAS SOPS 251157 HAS SOUS 105801 HAS SOUPS 105801 WITH SCORE 106052.157
AT ITER 4803 NEW BEST:: SOT 473545 SOS 251547 HAS SOPS 251547 HAS SOUS 105791 HAS SOUPS 105791 WITH SCORE 106042.547
AT ITER 4816 NEW BEST:: SOT 473541 SOS 251543 HAS SOPS 251543 HAS SOUS 105787 HAS SOUPS 105787 WITH SCORE 106038.543
AT ITER 4831 NEW BEST:: SOT 473574 SOS 251643 HAS SOPS 251643 HAS SOUS 105746 HAS SOUPS 105746 WITH SCORE 105997.643
AT ITER 4833 NEW BEST:: SOT 473381 SOS 252209 HAS SOPS 252209 HAS SOUS 105522 HAS SOUPS 105522 WITH SCORE 105774.209
AT ITER 4847 NEW BEST:: SOT 473379 SOS 252205 HAS SOPS 252205 HAS SOUS 105518 HAS SOUPS 105518 WITH SCORE 105770.205
AT ITER 4859 NEW BEST:: SOT 473334 SOS 251844 HAS SOPS 251844 HAS SOUS 105451 HAS SOUPS 105451 WITH SCORE 105702.844
AT ITER 4866 NEW BEST:: SOT 473329 SOS 251839 HAS SOPS 251839 HAS SOUS 105446 HAS SOUPS 105446 WITH SCORE 105697.839
AT ITER 4880 NEW BEST:: SOT 473185 SOS 251724 HAS SOPS 251724 HAS SOUS 105375 HAS SOUPS 105375 WITH SCORE 105626.724
AT ITER 4881 NEW BEST:: SOT 473185 SOS 251668 HAS SOPS 251668 HAS SOUS 105374 HAS SOUPS 105374 WITH SCORE 105625.668
AT ITER 4899 NEW BEST:: SOT 473185 SOS 251660 HAS SOPS 251660 HAS SOUS 105374 HAS SOUPS 105374 WITH SCORE 105625.66
AT ITER 4901 NEW BEST:: SOT 473174 SOS 251649 HAS SOPS 251649 HAS SOUS 105363 HAS SOUPS 105363 WITH SCORE 105614.649
AT ITER 4912 NEW BEST:: SOT 473124 SOS 251614 HAS SOPS 251614 HAS SOUS 105328 HAS SOUPS 105328 WITH SCORE 105579.614
AT ITER 4915 NEW BEST:: SOT 473103 SOS 251593 HAS SOPS 251593 HAS SOUS 105307 HAS SOUPS 105307 WITH SCORE 105558.593
AT ITER 4918 NEW BEST:: SOT 473064 SOS 251550 HAS SOPS 251550 HAS SOUS 105291 HAS SOUPS 105291 WITH SCORE 105542.55
AT ITER 4925 NEW BEST:: SOT 473056 SOS 251514 HAS SOPS 251514 HAS SOUS 105275 HAS SOUPS 105275 WITH SCORE 105526.514
AT ITER 4930 NEW BEST:: SOT 473162 SOS 250394 HAS SOPS 250394 HAS SOUS 105054 HAS SOUPS 105054 WITH SCORE 105304.394
AT ITER 4936 NEW BEST:: SOT 473161 SOS 250393 HAS SOPS 250393 HAS SOUS 105052 HAS SOUPS 105052 WITH SCORE 105302.393
AT ITER 4952 NEW BEST:: SOT 472942 SOS 249930 HAS SOPS 249930 HAS SOUS 104727 HAS SOUPS 104727 WITH SCORE 104976.93
AT ITER 4963 NEW BEST:: SOT 472883 SOS 249823 HAS SOPS 249823 HAS SOUS 104620 HAS SOUPS 104620 WITH SCORE 104869.823
AT ITER 4965 NEW BEST:: SOT 472797 SOS 249737 HAS SOPS 249737 HAS SOUS 104533 HAS SOUPS 104533 WITH SCORE 104782.737
AT ITER 4994 NEW BEST:: SOT 472795 SOS 249735 HAS SOPS 249735 HAS SOUS 104531 HAS SOUPS 104531 WITH SCORE 104780.735
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-03a-CTLFireability-00 ( ( (! ( ( ((potential((tk(P44)>=1) & (tk(P276)>=1)))) | ( ((potential((tk(P439)>=1) & (tk(P640)>=1)))) | ((potential((tk(P461)>=1) & (tk(P601)>=1)))) ) ) | (AF( ((potential((tk(P445)>=1) & (tk(P543)>=1)))))) )) & (! ( (! ( ((potential((tk(P178)>=1) & (tk(P211)>=1)))) | ((potential((tk(P537)>=1)))) )) & (EX( ((potential((tk(P443)>=1) & (tk(P627)>=1)))))) )) ) | (AF( (AF( ((potential((tk(P248)>=1) & (tk(P469)>=1)))))))) )
PROPERTY: ASLink-PT-03a-CTLFireability-01 (! (AU( (! ( ((potential((tk(P249)>=1) & (tk(P347)>=1)))) | ((potential((tk(P43)>=1) & (tk(P283)>=1)))) )) , ((potential((tk(P165)>=1) & (tk(P162)>=1) & (tk(P168)>=1) & (tk(P228)>=1)))) )))
PROPERTY: ASLink-PT-03a-CTLFireability-02 ( ( ( ( (! ( ((potential((tk(P249)>=1) & (tk(P321)>=1)))) & ((potential((tk(P609)>=1) & (tk(P666)>=1)))) )) & (EX( ((potential((tk(P387)>=1)))))) ) | ((potential((tk(P621)>=1) & (tk(P685)>=1)))) ) | (EU( ((potential((tk(P14)>=1) & (tk(P83)>=1)))) , ( ((potential((tk(P151)>=1)))) & ((potential((tk(P294)>=1)))) ) )) ) | (EF( ((potential((tk(P502)>=1)))))) )
PROPERTY: ASLink-PT-03a-CTLFireability-03 ( (! (AU( (! ((potential((tk(P245)>=1) & (tk(P474)>=1))))) , ((potential((tk(P721)>=1) & (tk(P718)>=1)))) ))) & ( ( (! (EG( ((potential((tk(P237)>=1) & (tk(P464)>=1))))))) | ( ( (! ((potential((tk(P661)>=1) & (tk(P723)>=1))))) & (! ((potential((tk(P415)>=1) & (tk(P594)>=1))))) ) & ( ( ((potential((tk(P52)>=1) & (tk(P272)>=1)))) & ((potential((tk(P237)>=1) & (tk(P476)>=1)))) ) | ( ((potential((tk(P185)>=1) & (tk(P182)>=1) & (tk(P188)>=1) & (tk(P228)>=1)))) & ((potential((tk(P431)>=1) & (tk(P642)>=1)))) ) ) ) ) & (! ((potential((tk(P638)>=1) & (tk(P783)>=1))))) ) )
PROPERTY: ASLink-PT-03a-CTLFireability-04 (AF( ( ( ( (! ((potential((tk(P818)>=1))))) & ( ((potential((tk(P15)>=1) & (tk(P86)>=1)))) & ((potential((tk(P443)>=1) & (tk(P644)>=1)))) ) ) | (EF( ((potential((tk(P15)>=1) & (tk(P78)>=1)))))) ) | ( ( (! ((potential((tk(P55)>=1) & (tk(P127)>=1))))) & ((potential((tk(P249)>=1) & (tk(P325)>=1)))) ) | ((potential((tk(P7)>=1) & (tk(P86)>=1)))) ) )))
PROPERTY: ASLink-PT-03a-CTLFireability-05 (EF( (EG( (! ((potential((tk(P345)>=1)))))))))
PROPERTY: ASLink-PT-03a-CTLFireability-06 ( ( ( (EX( ( ((potential((tk(P764)>=1)))) | ((potential((tk(P9)>=1) & (tk(P78)>=1)))) ))) & ((potential((tk(P638)>=1) & (tk(P691)>=1)))) ) | (! (AF( ((potential((tk(P429)>=1) & (tk(P654)>=1))))))) ) | ( ( ((potential((tk(P607)>=1) & (tk(P675)>=1)))) & ( ( ( ((potential((tk(P434)>=1) & (tk(P634)>=1)))) | ((potential((tk(P430)>=1) & (tk(P630)>=1)))) ) | ((potential((tk(P185)>=1) & (tk(P182)>=1) & (tk(P188)>=1) & (tk(P228)>=1)))) ) | ( (! ((potential((tk(P658)>=1) & (tk(P755)>=1))))) & ((potential((tk(P596)>=1) & (tk(P599)>=1) & (tk(P414)>=1)))) ) ) ) & (EX( ( (! ((potential((tk(P794)>=1) & (tk(P791)>=1))))) | (! ((potential((tk(P237)>=1) & (tk(P472)>=1))))) ))) ) )
PROPERTY: ASLink-PT-03a-CTLFireability-07 (AF( (AX( (EX( ((potential((tk(P241)>=1) & (tk(P472)>=1))))))))))
PROPERTY: ASLink-PT-03a-CTLFireability-08 ( ( ((potential((tk(P547)>=1) & (tk(P601)>=1)))) | (AF( ( ( ((potential((tk(P392)>=1) & (tk(P424)>=1)))) & ((potential((tk(P533)>=1)))) ) & ((potential((tk(P441)>=1) & (tk(P633)>=1)))) ))) ) | (AX( (EU( ((potential((tk(P43)>=1) & (tk(P275)>=1)))) , ((potential((tk(P46)>=1) & (tk(P276)>=1)))) )))) )
PROPERTY: ASLink-PT-03a-CTLFireability-09 (EG( (EF( ( (! ((potential((tk(P387)>=1))))) | (! ((potential((tk(P237)>=1) & (tk(P472)>=1))))) )))))
PROPERTY: ASLink-PT-03a-CTLFireability-10 (! (AF( ((potential((tk(P437)>=1) & (tk(P637)>=1)))))))
PROPERTY: ASLink-PT-03a-CTLFireability-11 (EF( (! ( ( (! ((potential((tk(P655)>=1) & (tk(P720)>=1))))) | ((potential((tk(P491)>=1) & (tk(P601)>=1)))) ) | ((potential((tk(P48)>=1) & (tk(P280)>=1)))) ))))
PROPERTY: ASLink-PT-03a-CTLFireability-12 (EU( (! ( ( ((potential((tk(P574)>=1) & (tk(P571)>=1) & (tk(P577)>=1) & (tk(P618)>=1)))) | ((potential((tk(P603)>=1) & (tk(P664)>=1)))) ) & ( ((potential((tk(P549)>=1) & (tk(P538)>=1)))) & ((potential((tk(P821)>=1) & (tk(P817)>=1) & (tk(P819)>=1)))) ) )) , ( (AG( ((potential((tk(P9)>=1) & (tk(P78)>=1)))))) & (AG( ((potential((tk(P136)>=1) & (tk(P211)>=1)))))) ) ))
PROPERTY: ASLink-PT-03a-CTLFireability-13 (AG( (EF( (EG( ((potential((tk(P523)>=1))))))))))
PROPERTY: ASLink-PT-03a-CTLFireability-14 (EF( ( (EG( ( ((potential((tk(P3)>=1) & (tk(P23)>=1)))) & ((potential((tk(P441)>=1) & (tk(P646)>=1)))) ))) | (EG( ((potential((tk(P186)>=1)))))) )))
PROPERTY: ASLink-PT-03a-CTLFireability-15 ( (AG( (! (! ((potential((tk(P148)>=1)))))))) | (EG( (AF( ((potential((tk(P610)>=1) & (tk(P671)>=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="ASLink-PT-03a"
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 ASLink-PT-03a, 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 r003-smll-158897508000044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-03a.tgz
mv ASLink-PT-03a 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 '
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 ;