Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697000568.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000568
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 616K
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:47 CTLCardinality.txt
-rw-r--r-- 1 mcc users 81K Feb 25 16:47 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.5K Feb 25 16:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 25 16:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 104K Feb 25 16:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 157K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678794099965

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-15
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:41:41] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:41:41] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:41:41] [INFO ] Load time of PNML (sax parser for PT used): 66 ms
[2023-03-14 11:41:41] [INFO ] Transformed 630 places.
[2023-03-14 11:41:41] [INFO ] Transformed 566 transitions.
[2023-03-14 11:41:41] [INFO ] Found NUPN structural information;
[2023-03-14 11:41:41] [INFO ] Parsed PT model containing 630 places and 566 transitions and 1666 arcs in 133 ms.
[2023-03-14 11:41:41] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 630 places, 566 transitions and 1666 arcs took 6 ms.
Total runtime 168 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 15
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 630 places, 566 transitions, 1666 arcs.
AT ITER 0 NEW BEST:: SOT 225435 SOS 87383 HAS SOPS 87383 HAS SOUS 84782 HAS SOUPS 84782 WITH SCORE 84869.383
AT ITER 9 NEW BEST:: SOT 225359 SOS 87262 HAS SOPS 87262 HAS SOUS 84661 HAS SOUPS 84661 WITH SCORE 84748.262
AT ITER 13 NEW BEST:: SOT 225189 SOS 87091 HAS SOPS 87091 HAS SOUS 84490 HAS SOUPS 84490 WITH SCORE 84577.091
AT ITER 16 NEW BEST:: SOT 225027 SOS 86844 HAS SOPS 86844 HAS SOUS 84243 HAS SOUPS 84243 WITH SCORE 84329.844
AT ITER 19 NEW BEST:: SOT 224439 SOS 87707 HAS SOPS 87707 HAS SOUS 84154 HAS SOUPS 84154 WITH SCORE 84241.707
AT ITER 20 NEW BEST:: SOT 224417 SOS 87663 HAS SOPS 87663 HAS SOUS 84110 HAS SOUPS 84110 WITH SCORE 84197.663
AT ITER 27 NEW BEST:: SOT 224417 SOS 87663 HAS SOPS 87663 HAS SOUS 83938 HAS SOUPS 83938 WITH SCORE 84025.663
AT ITER 31 NEW BEST:: SOT 224415 SOS 87661 HAS SOPS 87661 HAS SOUS 83936 HAS SOUPS 83936 WITH SCORE 84023.661
AT ITER 45 NEW BEST:: SOT 224335 SOS 87586 HAS SOPS 87586 HAS SOUS 83861 HAS SOUPS 83861 WITH SCORE 83948.586
AT ITER 55 NEW BEST:: SOT 224285 SOS 87527 HAS SOPS 87527 HAS SOUS 83802 HAS SOUPS 83802 WITH SCORE 83889.527
AT ITER 62 NEW BEST:: SOT 224283 SOS 87677 HAS SOPS 87677 HAS SOUS 83798 HAS SOUPS 83798 WITH SCORE 83885.677
AT ITER 75 NEW BEST:: SOT 224283 SOS 87671 HAS SOPS 87671 HAS SOUS 83792 HAS SOUPS 83792 WITH SCORE 83879.671
AT ITER 104 NEW BEST:: SOT 224112 SOS 87500 HAS SOPS 87500 HAS SOUS 83621 HAS SOUPS 83621 WITH SCORE 83708.5
AT ITER 106 NEW BEST:: SOT 223925 SOS 87337 HAS SOPS 87337 HAS SOUS 83458 HAS SOUPS 83458 WITH SCORE 83545.337
AT ITER 111 NEW BEST:: SOT 223871 SOS 87364 HAS SOPS 87364 HAS SOUS 83431 HAS SOUPS 83431 WITH SCORE 83518.364
AT ITER 116 NEW BEST:: SOT 223856 SOS 87349 HAS SOPS 87349 HAS SOUS 83416 HAS SOUPS 83416 WITH SCORE 83503.349
AT ITER 126 NEW BEST:: SOT 223856 SOS 87309 HAS SOPS 87309 HAS SOUS 83376 HAS SOUPS 83376 WITH SCORE 83463.309
AT ITER 136 NEW BEST:: SOT 223856 SOS 87426 HAS SOPS 87426 HAS SOUS 83281 HAS SOUPS 83281 WITH SCORE 83368.426
AT ITER 137 NEW BEST:: SOT 223856 SOS 87376 HAS SOPS 87376 HAS SOUS 83231 HAS SOUPS 83231 WITH SCORE 83318.376
AT ITER 143 NEW BEST:: SOT 223856 SOS 87355 HAS SOPS 87355 HAS SOUS 83210 HAS SOUPS 83210 WITH SCORE 83297.355
AT ITER 146 NEW BEST:: SOT 223855 SOS 87353 HAS SOPS 87353 HAS SOUS 83208 HAS SOUPS 83208 WITH SCORE 83295.353
AT ITER 156 NEW BEST:: SOT 223855 SOS 87298 HAS SOPS 87298 HAS SOUS 83153 HAS SOUPS 83153 WITH SCORE 83240.298
AT ITER 180 NEW BEST:: SOT 223541 SOS 86935 HAS SOPS 86935 HAS SOUS 83034 HAS SOUPS 83034 WITH SCORE 83120.935
AT ITER 184 NEW BEST:: SOT 223362 SOS 86729 HAS SOPS 86729 HAS SOUS 82854 HAS SOUPS 82854 WITH SCORE 82940.729
AT ITER 188 NEW BEST:: SOT 223361 SOS 86727 HAS SOPS 86727 HAS SOUS 82852 HAS SOUPS 82852 WITH SCORE 82938.727
AT ITER 199 NEW BEST:: SOT 223361 SOS 86714 HAS SOPS 86714 HAS SOUS 82839 HAS SOUPS 82839 WITH SCORE 82925.714
AT ITER 201 NEW BEST:: SOT 223302 SOS 86763 HAS SOPS 86763 HAS SOUS 82837 HAS SOUPS 82837 WITH SCORE 82923.763
AT ITER 223 NEW BEST:: SOT 220135 SOS 84163 HAS SOPS 84163 HAS SOUS 79705 HAS SOUPS 79705 WITH SCORE 79789.163
AT ITER 234 NEW BEST:: SOT 219996 SOS 84006 HAS SOPS 84006 HAS SOUS 79646 HAS SOUPS 79646 WITH SCORE 79730.006
AT ITER 236 NEW BEST:: SOT 219857 SOS 83730 HAS SOPS 83730 HAS SOUS 79370 HAS SOUPS 79370 WITH SCORE 79453.73
AT ITER 247 NEW BEST:: SOT 219867 SOS 83498 HAS SOPS 83498 HAS SOUS 79138 HAS SOUPS 79138 WITH SCORE 79221.498
AT ITER 252 NEW BEST:: SOT 219866 SOS 83496 HAS SOPS 83496 HAS SOUS 79136 HAS SOUPS 79136 WITH SCORE 79219.496
AT ITER 256 NEW BEST:: SOT 219866 SOS 83379 HAS SOPS 83379 HAS SOUS 79019 HAS SOUPS 79019 WITH SCORE 79102.379
AT ITER 257 NEW BEST:: SOT 219866 SOS 83184 HAS SOPS 83184 HAS SOUS 78824 HAS SOUPS 78824 WITH SCORE 78907.184
AT ITER 260 NEW BEST:: SOT 216559 SOS 103312 HAS SOPS 103312 HAS SOUS 75992 HAS SOUPS 75992 WITH SCORE 76095.312
AT ITER 263 NEW BEST:: SOT 216552 SOS 103305 HAS SOPS 103305 HAS SOUS 75985 HAS SOUPS 75985 WITH SCORE 76088.305
AT ITER 278 NEW BEST:: SOT 216552 SOS 103304 HAS SOPS 103304 HAS SOUS 75984 HAS SOUPS 75984 WITH SCORE 76087.304
AT ITER 288 NEW BEST:: SOT 216619 SOS 103371 HAS SOPS 103371 HAS SOUS 75961 HAS SOUPS 75961 WITH SCORE 76064.371
AT ITER 292 NEW BEST:: SOT 216446 SOS 102910 HAS SOPS 102910 HAS SOUS 75575 HAS SOUPS 75575 WITH SCORE 75677.91
AT ITER 294 NEW BEST:: SOT 216447 SOS 102886 HAS SOPS 102886 HAS SOUS 75551 HAS SOUPS 75551 WITH SCORE 75653.886
AT ITER 299 NEW BEST:: SOT 215957 SOS 102230 HAS SOPS 102230 HAS SOUS 75249 HAS SOUPS 75249 WITH SCORE 75351.23
AT ITER 308 NEW BEST:: SOT 215956 SOS 102152 HAS SOPS 102152 HAS SOUS 75171 HAS SOUPS 75171 WITH SCORE 75273.152
AT ITER 315 NEW BEST:: SOT 215754 SOS 101748 HAS SOPS 101748 HAS SOUS 75171 HAS SOUPS 75171 WITH SCORE 75272.748
AT ITER 325 NEW BEST:: SOT 215704 SOS 101648 HAS SOPS 101648 HAS SOUS 75122 HAS SOUPS 75122 WITH SCORE 75223.648
AT ITER 338 NEW BEST:: SOT 215400 SOS 101040 HAS SOPS 101040 HAS SOUS 74818 HAS SOUPS 74818 WITH SCORE 74919.04
AT ITER 346 NEW BEST:: SOT 215400 SOS 101015 HAS SOPS 101015 HAS SOUS 74793 HAS SOUPS 74793 WITH SCORE 74894.015
AT ITER 347 NEW BEST:: SOT 215247 SOS 100745 HAS SOPS 100745 HAS SOUS 74532 HAS SOUPS 74532 WITH SCORE 74632.745
AT ITER 353 NEW BEST:: SOT 215037 SOS 100271 HAS SOPS 100271 HAS SOUS 74362 HAS SOUPS 74362 WITH SCORE 74462.271
AT ITER 363 NEW BEST:: SOT 215037 SOS 100271 HAS SOPS 100271 HAS SOUS 74361 HAS SOUPS 74361 WITH SCORE 74461.271
AT ITER 372 NEW BEST:: SOT 215036 SOS 100269 HAS SOPS 100269 HAS SOUS 74359 HAS SOUPS 74359 WITH SCORE 74459.269
AT ITER 376 NEW BEST:: SOT 215068 SOS 100245 HAS SOPS 100245 HAS SOUS 74335 HAS SOUPS 74335 WITH SCORE 74435.245
AT ITER 378 NEW BEST:: SOT 215052 SOS 100229 HAS SOPS 100229 HAS SOUS 74319 HAS SOUPS 74319 WITH SCORE 74419.229
AT ITER 399 NEW BEST:: SOT 214951 SOS 99938 HAS SOPS 99938 HAS SOUS 74028 HAS SOUPS 74028 WITH SCORE 74127.938
AT ITER 401 NEW BEST:: SOT 214936 SOS 100162 HAS SOPS 100162 HAS SOUS 74027 HAS SOUPS 74027 WITH SCORE 74127.162
AT ITER 403 NEW BEST:: SOT 214877 SOS 100141 HAS SOPS 100141 HAS SOUS 74025 HAS SOUPS 74025 WITH SCORE 74125.141
AT ITER 404 NEW BEST:: SOT 214666 SOS 99719 HAS SOPS 99719 HAS SOUS 73900 HAS SOUPS 73900 WITH SCORE 73999.719
AT ITER 421 NEW BEST:: SOT 214956 SOS 99942 HAS SOPS 99942 HAS SOUS 73879 HAS SOUPS 73879 WITH SCORE 73978.942
AT ITER 427 NEW BEST:: SOT 214865 SOS 99666 HAS SOPS 99666 HAS SOUS 73709 HAS SOUPS 73709 WITH SCORE 73808.666
AT ITER 445 NEW BEST:: SOT 214799 SOS 99600 HAS SOPS 99600 HAS SOUS 73643 HAS SOUPS 73643 WITH SCORE 73742.6
AT ITER 446 NEW BEST:: SOT 214501 SOS 99109 HAS SOPS 99109 HAS SOUS 73413 HAS SOUPS 73413 WITH SCORE 73512.109
AT ITER 456 NEW BEST:: SOT 214350 SOS 98951 HAS SOPS 98951 HAS SOUS 73379 HAS SOUPS 73379 WITH SCORE 73477.951
AT ITER 466 NEW BEST:: SOT 214404 SOS 98815 HAS SOPS 98815 HAS SOUS 73338 HAS SOUPS 73338 WITH SCORE 73436.815
AT ITER 467 NEW BEST:: SOT 214368 SOS 98779 HAS SOPS 98779 HAS SOUS 73302 HAS SOUPS 73302 WITH SCORE 73400.779
AT ITER 470 NEW BEST:: SOT 214427 SOS 98837 HAS SOPS 98837 HAS SOUS 73300 HAS SOUPS 73300 WITH SCORE 73398.837
AT ITER 474 NEW BEST:: SOT 214292 SOS 98701 HAS SOPS 98701 HAS SOUS 73298 HAS SOUPS 73298 WITH SCORE 73396.701
AT ITER 475 NEW BEST:: SOT 212099 SOS 97020 HAS SOPS 97020 HAS SOUS 71357 HAS SOUPS 71357 WITH SCORE 71454.02
AT ITER 491 NEW BEST:: SOT 211963 SOS 96884 HAS SOPS 96884 HAS SOUS 71356 HAS SOUPS 71356 WITH SCORE 71452.884
AT ITER 494 NEW BEST:: SOT 211944 SOS 96827 HAS SOPS 96827 HAS SOUS 71299 HAS SOUPS 71299 WITH SCORE 71395.827
AT ITER 507 NEW BEST:: SOT 211881 SOS 96763 HAS SOPS 96763 HAS SOUS 71235 HAS SOUPS 71235 WITH SCORE 71331.763
AT ITER 513 NEW BEST:: SOT 211679 SOS 96518 HAS SOPS 96518 HAS SOUS 71096 HAS SOUPS 71096 WITH SCORE 71192.518
AT ITER 518 NEW BEST:: SOT 211678 SOS 96517 HAS SOPS 96517 HAS SOUS 71095 HAS SOUPS 71095 WITH SCORE 71191.517
AT ITER 523 NEW BEST:: SOT 211660 SOS 96499 HAS SOPS 96499 HAS SOUS 71095 HAS SOUPS 71095 WITH SCORE 71191.499
AT ITER 526 NEW BEST:: SOT 211455 SOS 96089 HAS SOPS 96089 HAS SOUS 70687 HAS SOUPS 70687 WITH SCORE 70783.089
AT ITER 531 NEW BEST:: SOT 211383 SOS 95945 HAS SOPS 95945 HAS SOUS 70664 HAS SOUPS 70664 WITH SCORE 70759.945
AT ITER 536 NEW BEST:: SOT 211383 SOS 95783 HAS SOPS 95783 HAS SOUS 70502 HAS SOUPS 70502 WITH SCORE 70597.783
AT ITER 544 NEW BEST:: SOT 211309 SOS 95649 HAS SOPS 95649 HAS SOUS 70428 HAS SOUPS 70428 WITH SCORE 70523.649
AT ITER 554 NEW BEST:: SOT 211115 SOS 95238 HAS SOPS 95238 HAS SOUS 70211 HAS SOUPS 70211 WITH SCORE 70306.238
AT ITER 555 NEW BEST:: SOT 210983 SOS 95106 HAS SOPS 95106 HAS SOUS 70211 HAS SOUPS 70211 WITH SCORE 70306.106
AT ITER 557 NEW BEST:: SOT 210952 SOS 95044 HAS SOPS 95044 HAS SOUS 70149 HAS SOUPS 70149 WITH SCORE 70244.044
AT ITER 561 NEW BEST:: SOT 210770 SOS 94680 HAS SOPS 94680 HAS SOUS 70146 HAS SOUPS 70146 WITH SCORE 70240.68
AT ITER 567 NEW BEST:: SOT 210770 SOS 94457 HAS SOPS 94457 HAS SOUS 70144 HAS SOUPS 70144 WITH SCORE 70238.457
AT ITER 570 NEW BEST:: SOT 210713 SOS 94318 HAS SOPS 94318 HAS SOUS 70101 HAS SOUPS 70101 WITH SCORE 70195.318
AT ITER 571 NEW BEST:: SOT 210644 SOS 94222 HAS SOPS 94222 HAS SOUS 70047 HAS SOUPS 70047 WITH SCORE 70141.222
AT ITER 576 NEW BEST:: SOT 210626 SOS 94204 HAS SOPS 94204 HAS SOUS 70029 HAS SOUPS 70029 WITH SCORE 70123.204
AT ITER 595 NEW BEST:: SOT 210585 SOS 94163 HAS SOPS 94163 HAS SOUS 69988 HAS SOUPS 69988 WITH SCORE 70082.163
AT ITER 622 NEW BEST:: SOT 210568 SOS 94228 HAS SOPS 94228 HAS SOUS 69954 HAS SOUPS 69954 WITH SCORE 70048.228
AT ITER 625 NEW BEST:: SOT 210517 SOS 94177 HAS SOPS 94177 HAS SOUS 69954 HAS SOUPS 69954 WITH SCORE 70048.177
AT ITER 627 NEW BEST:: SOT 210446 SOS 93989 HAS SOPS 93989 HAS SOUS 69820 HAS SOUPS 69820 WITH SCORE 69913.989
AT ITER 633 NEW BEST:: SOT 210413 SOS 93944 HAS SOPS 93944 HAS SOUS 69775 HAS SOUPS 69775 WITH SCORE 69868.944
AT ITER 634 NEW BEST:: SOT 210281 SOS 93812 HAS SOPS 93812 HAS SOUS 69775 HAS SOUPS 69775 WITH SCORE 69868.812
AT ITER 641 NEW BEST:: SOT 210045 SOS 93573 HAS SOPS 93573 HAS SOUS 69769 HAS SOUPS 69769 WITH SCORE 69862.573
AT ITER 664 NEW BEST:: SOT 210045 SOS 93573 HAS SOPS 93573 HAS SOUS 69575 HAS SOUPS 69575 WITH SCORE 69668.573
AT ITER 669 NEW BEST:: SOT 207954 SOS 91863 HAS SOPS 91863 HAS SOUS 67801 HAS SOUPS 67801 WITH SCORE 67892.863
AT ITER 680 NEW BEST:: SOT 207751 SOS 91660 HAS SOPS 91660 HAS SOUS 67801 HAS SOUPS 67801 WITH SCORE 67892.66
AT ITER 698 NEW BEST:: SOT 207565 SOS 91462 HAS SOPS 91462 HAS SOUS 67777 HAS SOUPS 67777 WITH SCORE 67868.462
AT ITER 703 NEW BEST:: SOT 207550 SOS 91432 HAS SOPS 91432 HAS SOUS 67747 HAS SOUPS 67747 WITH SCORE 67838.432
AT ITER 705 NEW BEST:: SOT 207545 SOS 91427 HAS SOPS 91427 HAS SOUS 67742 HAS SOUPS 67742 WITH SCORE 67833.427
AT ITER 712 NEW BEST:: SOT 207545 SOS 91426 HAS SOPS 91426 HAS SOUS 67741 HAS SOUPS 67741 WITH SCORE 67832.426
AT ITER 716 NEW BEST:: SOT 207539 SOS 91346 HAS SOPS 91346 HAS SOUS 67661 HAS SOUPS 67661 WITH SCORE 67752.346
AT ITER 732 NEW BEST:: SOT 207478 SOS 90988 HAS SOPS 90988 HAS SOUS 67503 HAS SOUPS 67503 WITH SCORE 67593.988
AT ITER 734 NEW BEST:: SOT 207475 SOS 90984 HAS SOPS 90984 HAS SOUS 67499 HAS SOUPS 67499 WITH SCORE 67589.984
AT ITER 768 NEW BEST:: SOT 207464 SOS 90968 HAS SOPS 90968 HAS SOUS 67497 HAS SOUPS 67497 WITH SCORE 67587.968
AT ITER 787 NEW BEST:: SOT 207431 SOS 90935 HAS SOPS 90935 HAS SOUS 67497 HAS SOUPS 67497 WITH SCORE 67587.935
AT ITER 799 NEW BEST:: SOT 207435 SOS 90902 HAS SOPS 90902 HAS SOUS 67464 HAS SOUPS 67464 WITH SCORE 67554.902
AT ITER 800 NEW BEST:: SOT 207457 SOS 90827 HAS SOPS 90827 HAS SOUS 67389 HAS SOUPS 67389 WITH SCORE 67479.827
AT ITER 822 NEW BEST:: SOT 207082 SOS 90266 HAS SOPS 90266 HAS SOUS 67017 HAS SOUPS 67017 WITH SCORE 67107.266
AT ITER 823 NEW BEST:: SOT 207186 SOS 90370 HAS SOPS 90370 HAS SOUS 67016 HAS SOUPS 67016 WITH SCORE 67106.37
AT ITER 837 NEW BEST:: SOT 207102 SOS 90282 HAS SOPS 90282 HAS SOUS 66932 HAS SOUPS 66932 WITH SCORE 67022.282
AT ITER 840 NEW BEST:: SOT 206948 SOS 89938 HAS SOPS 89938 HAS SOUS 66588 HAS SOUPS 66588 WITH SCORE 66677.938
AT ITER 845 NEW BEST:: SOT 206919 SOS 89909 HAS SOPS 89909 HAS SOUS 66559 HAS SOUPS 66559 WITH SCORE 66648.909
AT ITER 847 NEW BEST:: SOT 206918 SOS 89908 HAS SOPS 89908 HAS SOUS 66558 HAS SOUPS 66558 WITH SCORE 66647.908
AT ITER 849 NEW BEST:: SOT 206911 SOS 89894 HAS SOPS 89894 HAS SOUS 66537 HAS SOUPS 66537 WITH SCORE 66626.894
AT ITER 852 NEW BEST:: SOT 206954 SOS 89786 HAS SOPS 89786 HAS SOUS 66429 HAS SOUPS 66429 WITH SCORE 66518.786
AT ITER 879 NEW BEST:: SOT 206924 SOS 89700 HAS SOPS 89700 HAS SOUS 66373 HAS SOUPS 66373 WITH SCORE 66462.7
AT ITER 882 NEW BEST:: SOT 206922 SOS 89694 HAS SOPS 89694 HAS SOUS 66367 HAS SOUPS 66367 WITH SCORE 66456.694
AT ITER 896 NEW BEST:: SOT 206692 SOS 89151 HAS SOPS 89151 HAS SOUS 66190 HAS SOUPS 66190 WITH SCORE 66279.151
AT ITER 898 NEW BEST:: SOT 206691 SOS 89149 HAS SOPS 89149 HAS SOUS 66132 HAS SOUPS 66132 WITH SCORE 66221.149
AT ITER 903 NEW BEST:: SOT 206678 SOS 89136 HAS SOPS 89136 HAS SOUS 66119 HAS SOUPS 66119 WITH SCORE 66208.136
AT ITER 905 NEW BEST:: SOT 206678 SOS 89135 HAS SOPS 89135 HAS SOUS 66118 HAS SOUPS 66118 WITH SCORE 66207.135
AT ITER 908 NEW BEST:: SOT 206583 SOS 88945 HAS SOPS 88945 HAS SOUS 65928 HAS SOUPS 65928 WITH SCORE 66016.945
AT ITER 910 NEW BEST:: SOT 206550 SOS 88912 HAS SOPS 88912 HAS SOUS 65928 HAS SOUPS 65928 WITH SCORE 66016.912
AT ITER 919 NEW BEST:: SOT 206549 SOS 88911 HAS SOPS 88911 HAS SOUS 65927 HAS SOUPS 65927 WITH SCORE 66015.911
AT ITER 930 NEW BEST:: SOT 206523 SOS 88859 HAS SOPS 88859 HAS SOUS 65901 HAS SOUPS 65901 WITH SCORE 65989.859
AT ITER 937 NEW BEST:: SOT 206336 SOS 88483 HAS SOPS 88483 HAS SOUS 65754 HAS SOUPS 65754 WITH SCORE 65842.483
AT ITER 944 NEW BEST:: SOT 205875 SOS 88179 HAS SOPS 88179 HAS SOUS 65494 HAS SOUPS 65494 WITH SCORE 65582.179
AT ITER 947 NEW BEST:: SOT 205882 SOS 88142 HAS SOPS 88142 HAS SOUS 65406 HAS SOUPS 65406 WITH SCORE 65494.142
AT ITER 950 NEW BEST:: SOT 205881 SOS 88084 HAS SOPS 88084 HAS SOUS 65404 HAS SOUPS 65404 WITH SCORE 65492.084
AT ITER 966 NEW BEST:: SOT 205709 SOS 87824 HAS SOPS 87824 HAS SOUS 65300 HAS SOUPS 65300 WITH SCORE 65387.824
AT ITER 974 NEW BEST:: SOT 205684 SOS 87799 HAS SOPS 87799 HAS SOUS 65275 HAS SOUPS 65275 WITH SCORE 65362.799
AT ITER 992 NEW BEST:: SOT 205678 SOS 87793 HAS SOPS 87793 HAS SOUS 65269 HAS SOUPS 65269 WITH SCORE 65356.793
AT ITER 995 NEW BEST:: SOT 205516 SOS 87631 HAS SOPS 87631 HAS SOUS 65269 HAS SOUPS 65269 WITH SCORE 65356.631
AT ITER 1003 NEW BEST:: SOT 205514 SOS 87508 HAS SOPS 87508 HAS SOUS 65146 HAS SOUPS 65146 WITH SCORE 65233.508
AT ITER 1011 NEW BEST:: SOT 205434 SOS 87268 HAS SOPS 87268 HAS SOUS 64909 HAS SOUPS 64909 WITH SCORE 64996.268
AT ITER 1018 NEW BEST:: SOT 205429 SOS 87263 HAS SOPS 87263 HAS SOUS 64906 HAS SOUPS 64906 WITH SCORE 64993.263
AT ITER 1036 NEW BEST:: SOT 205347 SOS 87099 HAS SOPS 87099 HAS SOUS 64855 HAS SOUPS 64855 WITH SCORE 64942.099
AT ITER 1043 NEW BEST:: SOT 205297 SOS 87049 HAS SOPS 87049 HAS SOUS 64805 HAS SOUPS 64805 WITH SCORE 64892.049
AT ITER 1048 NEW BEST:: SOT 205296 SOS 87048 HAS SOPS 87048 HAS SOUS 64804 HAS SOUPS 64804 WITH SCORE 64891.048
AT ITER 1054 NEW BEST:: SOT 205556 SOS 87146 HAS SOPS 87146 HAS SOUS 64768 HAS SOUPS 64768 WITH SCORE 64855.146
AT ITER 1059 NEW BEST:: SOT 205464 SOS 86962 HAS SOPS 86962 HAS SOUS 64584 HAS SOUPS 64584 WITH SCORE 64670.962
AT ITER 1060 NEW BEST:: SOT 205123 SOS 86495 HAS SOPS 86495 HAS SOUS 64564 HAS SOUPS 64564 WITH SCORE 64650.495
AT ITER 1062 NEW BEST:: SOT 205123 SOS 86461 HAS SOPS 86461 HAS SOUS 64530 HAS SOUPS 64530 WITH SCORE 64616.461
AT ITER 1094 NEW BEST:: SOT 205006 SOS 86363 HAS SOPS 86363 HAS SOUS 64443 HAS SOUPS 64443 WITH SCORE 64529.363
AT ITER 1105 NEW BEST:: SOT 205006 SOS 86363 HAS SOPS 86363 HAS SOUS 64412 HAS SOUPS 64412 WITH SCORE 64498.363
AT ITER 1106 NEW BEST:: SOT 205003 SOS 86357 HAS SOPS 86357 HAS SOUS 64406 HAS SOUPS 64406 WITH SCORE 64492.357
AT ITER 1109 NEW BEST:: SOT 205013 SOS 86366 HAS SOPS 86366 HAS SOUS 64404 HAS SOUPS 64404 WITH SCORE 64490.366
AT ITER 1118 NEW BEST:: SOT 204936 SOS 86289 HAS SOPS 86289 HAS SOUS 64327 HAS SOUPS 64327 WITH SCORE 64413.289
AT ITER 1124 NEW BEST:: SOT 204916 SOS 86266 HAS SOPS 86266 HAS SOUS 64304 HAS SOUPS 64304 WITH SCORE 64390.266
AT ITER 1128 NEW BEST:: SOT 204894 SOS 86244 HAS SOPS 86244 HAS SOUS 64282 HAS SOUPS 64282 WITH SCORE 64368.244
AT ITER 1142 NEW BEST:: SOT 204863 SOS 86182 HAS SOPS 86182 HAS SOUS 64172 HAS SOUPS 64172 WITH SCORE 64258.182
AT ITER 1147 NEW BEST:: SOT 204947 SOS 86262 HAS SOPS 86262 HAS SOUS 64168 HAS SOUPS 64168 WITH SCORE 64254.262
AT ITER 1155 NEW BEST:: SOT 204946 SOS 86260 HAS SOPS 86260 HAS SOUS 64167 HAS SOUPS 64167 WITH SCORE 64253.26
AT ITER 1164 NEW BEST:: SOT 204906 SOS 86186 HAS SOPS 86186 HAS SOUS 64093 HAS SOUPS 64093 WITH SCORE 64179.186
AT ITER 1172 NEW BEST:: SOT 204906 SOS 86105 HAS SOPS 86105 HAS SOUS 64093 HAS SOUPS 64093 WITH SCORE 64179.105
AT ITER 1176 NEW BEST:: SOT 204888 SOS 86069 HAS SOPS 86069 HAS SOUS 64057 HAS SOUPS 64057 WITH SCORE 64143.069
AT ITER 1179 NEW BEST:: SOT 204783 SOS 85964 HAS SOPS 85964 HAS SOUS 64039 HAS SOUPS 64039 WITH SCORE 64124.964
AT ITER 1182 NEW BEST:: SOT 204648 SOS 85633 HAS SOPS 85633 HAS SOUS 63900 HAS SOUPS 63900 WITH SCORE 63985.633
AT ITER 1185 NEW BEST:: SOT 204639 SOS 85624 HAS SOPS 85624 HAS SOUS 63891 HAS SOUPS 63891 WITH SCORE 63976.624
AT ITER 1186 NEW BEST:: SOT 204223 SOS 84847 HAS SOPS 84847 HAS SOUS 63344 HAS SOUPS 63344 WITH SCORE 63428.847
AT ITER 1190 NEW BEST:: SOT 204306 SOS 84836 HAS SOPS 84836 HAS SOUS 63334 HAS SOUPS 63334 WITH SCORE 63418.836
AT ITER 1199 NEW BEST:: SOT 204306 SOS 84810 HAS SOPS 84810 HAS SOUS 63282 HAS SOUPS 63282 WITH SCORE 63366.81
AT ITER 1206 NEW BEST:: SOT 204215 SOS 84475 HAS SOPS 84475 HAS SOUS 63202 HAS SOUPS 63202 WITH SCORE 63286.475
AT ITER 1214 NEW BEST:: SOT 204075 SOS 84200 HAS SOPS 84200 HAS SOUS 63031 HAS SOUPS 63031 WITH SCORE 63115.2
AT ITER 1225 NEW BEST:: SOT 204007 SOS 84063 HAS SOPS 84063 HAS SOUS 62894 HAS SOUPS 62894 WITH SCORE 62978.063
AT ITER 1228 NEW BEST:: SOT 204026 SOS 84043 HAS SOPS 84043 HAS SOUS 62839 HAS SOUPS 62839 WITH SCORE 62923.043
AT ITER 1230 NEW BEST:: SOT 204000 SOS 84017 HAS SOPS 84017 HAS SOUS 62839 HAS SOUPS 62839 WITH SCORE 62923.017
AT ITER 1245 NEW BEST:: SOT 203909 SOS 83835 HAS SOPS 83835 HAS SOUS 62469 HAS SOUPS 62469 WITH SCORE 62552.835
AT ITER 1248 NEW BEST:: SOT 203973 SOS 83759 HAS SOPS 83759 HAS SOUS 62460 HAS SOUPS 62460 WITH SCORE 62543.759
AT ITER 1253 NEW BEST:: SOT 203900 SOS 83744 HAS SOPS 83744 HAS SOUS 62445 HAS SOUPS 62445 WITH SCORE 62528.744
AT ITER 1262 NEW BEST:: SOT 203892 SOS 83716 HAS SOPS 83716 HAS SOUS 62364 HAS SOUPS 62364 WITH SCORE 62447.716
AT ITER 1274 NEW BEST:: SOT 203754 SOS 83519 HAS SOPS 83519 HAS SOUS 62246 HAS SOUPS 62246 WITH SCORE 62329.519
AT ITER 1280 NEW BEST:: SOT 203748 SOS 83513 HAS SOPS 83513 HAS SOUS 62246 HAS SOUPS 62246 WITH SCORE 62329.513
AT ITER 1282 NEW BEST:: SOT 203946 SOS 83620 HAS SOPS 83620 HAS SOUS 61994 HAS SOUPS 61994 WITH SCORE 62077.62
AT ITER 1284 NEW BEST:: SOT 203945 SOS 83618 HAS SOPS 83618 HAS SOUS 61992 HAS SOUPS 61992 WITH SCORE 62075.618
AT ITER 1301 NEW BEST:: SOT 203942 SOS 83615 HAS SOPS 83615 HAS SOUS 61989 HAS SOUPS 61989 WITH SCORE 62072.615
AT ITER 1303 NEW BEST:: SOT 203786 SOS 83575 HAS SOPS 83575 HAS SOUS 61890 HAS SOUPS 61890 WITH SCORE 61973.575
AT ITER 1305 NEW BEST:: SOT 203661 SOS 83450 HAS SOPS 83450 HAS SOUS 61765 HAS SOUPS 61765 WITH SCORE 61848.45
AT ITER 1308 NEW BEST:: SOT 203659 SOS 83446 HAS SOPS 83446 HAS SOUS 61761 HAS SOUPS 61761 WITH SCORE 61844.446
AT ITER 1313 NEW BEST:: SOT 203429 SOS 83221 HAS SOPS 83221 HAS SOUS 61515 HAS SOUPS 61515 WITH SCORE 61598.221
AT ITER 1319 NEW BEST:: SOT 203402 SOS 83140 HAS SOPS 83140 HAS SOUS 61461 HAS SOUPS 61461 WITH SCORE 61544.14
AT ITER 1323 NEW BEST:: SOT 203396 SOS 83134 HAS SOPS 83134 HAS SOUS 61455 HAS SOUPS 61455 WITH SCORE 61538.134
AT ITER 1330 NEW BEST:: SOT 203295 SOS 82932 HAS SOPS 82932 HAS SOUS 61345 HAS SOUPS 61345 WITH SCORE 61427.932
AT ITER 1335 NEW BEST:: SOT 203244 SOS 82851 HAS SOPS 82851 HAS SOUS 61329 HAS SOUPS 61329 WITH SCORE 61411.851
AT ITER 1356 NEW BEST:: SOT 202853 SOS 82378 HAS SOPS 82378 HAS SOUS 60753 HAS SOUPS 60753 WITH SCORE 60835.378
AT ITER 1358 NEW BEST:: SOT 202473 SOS 81985 HAS SOPS 81985 HAS SOUS 60363 HAS SOUPS 60363 WITH SCORE 60444.985
AT ITER 1364 NEW BEST:: SOT 202190 SOS 81690 HAS SOPS 81690 HAS SOUS 60356 HAS SOUPS 60356 WITH SCORE 60437.69
AT ITER 1372 NEW BEST:: SOT 202192 SOS 81692 HAS SOPS 81692 HAS SOUS 60208 HAS SOUPS 60208 WITH SCORE 60289.692
AT ITER 1387 NEW BEST:: SOT 202192 SOS 81692 HAS SOPS 81692 HAS SOUS 60192 HAS SOUPS 60192 WITH SCORE 60273.692
AT ITER 1390 NEW BEST:: SOT 202151 SOS 81610 HAS SOPS 81610 HAS SOUS 60110 HAS SOUPS 60110 WITH SCORE 60191.61
AT ITER 1396 NEW BEST:: SOT 202100 SOS 81544 HAS SOPS 81544 HAS SOUS 60059 HAS SOUPS 60059 WITH SCORE 60140.544
AT ITER 1408 NEW BEST:: SOT 201892 SOS 81110 HAS SOPS 81110 HAS SOUS 59625 HAS SOUPS 59625 WITH SCORE 59706.11
AT ITER 1423 NEW BEST:: SOT 201730 SOS 80786 HAS SOPS 80786 HAS SOUS 59459 HAS SOUPS 59459 WITH SCORE 59539.786
AT ITER 1425 NEW BEST:: SOT 201678 SOS 80779 HAS SOPS 80779 HAS SOUS 59371 HAS SOUPS 59371 WITH SCORE 59451.779
AT ITER 1434 NEW BEST:: SOT 201649 SOS 80750 HAS SOPS 80750 HAS SOUS 59342 HAS SOUPS 59342 WITH SCORE 59422.75
AT ITER 1436 NEW BEST:: SOT 201642 SOS 80736 HAS SOPS 80736 HAS SOUS 59328 HAS SOUPS 59328 WITH SCORE 59408.736
AT ITER 1449 NEW BEST:: SOT 201642 SOS 80710 HAS SOPS 80710 HAS SOUS 59302 HAS SOUPS 59302 WITH SCORE 59382.71
AT ITER 1453 NEW BEST:: SOT 201635 SOS 80696 HAS SOPS 80696 HAS SOUS 59294 HAS SOUPS 59294 WITH SCORE 59374.696
AT ITER 1455 NEW BEST:: SOT 201663 SOS 80724 HAS SOPS 80724 HAS SOUS 59288 HAS SOUPS 59288 WITH SCORE 59368.724
AT ITER 1462 NEW BEST:: SOT 201572 SOS 80358 HAS SOPS 80358 HAS SOUS 59013 HAS SOUPS 59013 WITH SCORE 59093.358
AT ITER 1477 NEW BEST:: SOT 201580 SOS 80260 HAS SOPS 80260 HAS SOUS 58918 HAS SOUPS 58918 WITH SCORE 58998.26
AT ITER 1478 NEW BEST:: SOT 201577 SOS 80257 HAS SOPS 80257 HAS SOUS 58915 HAS SOUPS 58915 WITH SCORE 58995.257
AT ITER 1496 NEW BEST:: SOT 201576 SOS 80256 HAS SOPS 80256 HAS SOUS 58914 HAS SOUPS 58914 WITH SCORE 58994.256
AT ITER 1501 NEW BEST:: SOT 201576 SOS 80034 HAS SOPS 80034 HAS SOUS 58909 HAS SOUPS 58909 WITH SCORE 58989.034
AT ITER 1527 NEW BEST:: SOT 201512 SOS 79970 HAS SOPS 79970 HAS SOUS 58845 HAS SOUPS 58845 WITH SCORE 58924.97
AT ITER 1538 NEW BEST:: SOT 201512 SOS 79967 HAS SOPS 79967 HAS SOUS 58842 HAS SOUPS 58842 WITH SCORE 58921.967
AT ITER 1582 NEW BEST:: SOT 201502 SOS 79901 HAS SOPS 79901 HAS SOUS 58776 HAS SOUPS 58776 WITH SCORE 58855.901
AT ITER 1583 NEW BEST:: SOT 201502 SOS 79766 HAS SOPS 79766 HAS SOUS 58639 HAS SOUPS 58639 WITH SCORE 58718.766
AT ITER 1587 NEW BEST:: SOT 201473 SOS 79675 HAS SOPS 79675 HAS SOUS 58548 HAS SOUPS 58548 WITH SCORE 58627.675
AT ITER 1589 NEW BEST:: SOT 201434 SOS 79614 HAS SOPS 79614 HAS SOUS 58487 HAS SOUPS 58487 WITH SCORE 58566.614
AT ITER 1590 NEW BEST:: SOT 201344 SOS 79563 HAS SOPS 79563 HAS SOUS 58436 HAS SOUPS 58436 WITH SCORE 58515.563
AT ITER 1605 NEW BEST:: SOT 201344 SOS 79558 HAS SOPS 79558 HAS SOUS 58431 HAS SOUPS 58431 WITH SCORE 58510.558
AT ITER 1608 NEW BEST:: SOT 201327 SOS 79541 HAS SOPS 79541 HAS SOUS 58414 HAS SOUPS 58414 WITH SCORE 58493.541
AT ITER 1615 NEW BEST:: SOT 201326 SOS 79525 HAS SOPS 79525 HAS SOUS 58412 HAS SOUPS 58412 WITH SCORE 58491.525
AT ITER 1627 NEW BEST:: SOT 201319 SOS 79518 HAS SOPS 79518 HAS SOUS 58405 HAS SOUPS 58405 WITH SCORE 58484.518
AT ITER 1653 NEW BEST:: SOT 201311 SOS 79510 HAS SOPS 79510 HAS SOUS 58397 HAS SOUPS 58397 WITH SCORE 58476.51
AT ITER 1670 NEW BEST:: SOT 201253 SOS 79394 HAS SOPS 79394 HAS SOUS 58339 HAS SOUPS 58339 WITH SCORE 58418.394
AT ITER 1671 NEW BEST:: SOT 201253 SOS 79266 HAS SOPS 79266 HAS SOUS 58211 HAS SOUPS 58211 WITH SCORE 58290.266
AT ITER 1676 NEW BEST:: SOT 201212 SOS 79184 HAS SOPS 79184 HAS SOUS 58167 HAS SOUPS 58167 WITH SCORE 58246.184
AT ITER 1683 NEW BEST:: SOT 201159 SOS 79078 HAS SOPS 79078 HAS SOUS 58121 HAS SOUPS 58121 WITH SCORE 58200.078
AT ITER 1686 NEW BEST:: SOT 201055 SOS 78975 HAS SOPS 78975 HAS SOUS 58018 HAS SOUPS 58018 WITH SCORE 58096.975
AT ITER 1697 NEW BEST:: SOT 201055 SOS 78886 HAS SOPS 78886 HAS SOUS 57929 HAS SOUPS 57929 WITH SCORE 58007.886
AT ITER 1703 NEW BEST:: SOT 201055 SOS 78817 HAS SOPS 78817 HAS SOUS 57860 HAS SOUPS 57860 WITH SCORE 57938.817
AT ITER 1706 NEW BEST:: SOT 201032 SOS 78677 HAS SOPS 78677 HAS SOUS 57624 HAS SOUPS 57624 WITH SCORE 57702.677
AT ITER 1722 NEW BEST:: SOT 200999 SOS 78647 HAS SOPS 78647 HAS SOUS 57594 HAS SOUPS 57594 WITH SCORE 57672.647
AT ITER 1723 NEW BEST:: SOT 200976 SOS 78624 HAS SOPS 78624 HAS SOUS 57571 HAS SOUPS 57571 WITH SCORE 57649.624
AT ITER 1737 NEW BEST:: SOT 200923 SOS 78485 HAS SOPS 78485 HAS SOUS 57505 HAS SOUPS 57505 WITH SCORE 57583.485
AT ITER 1743 NEW BEST:: SOT 200915 SOS 78469 HAS SOPS 78469 HAS SOUS 57497 HAS SOUPS 57497 WITH SCORE 57575.469
AT ITER 1754 NEW BEST:: SOT 200891 SOS 78421 HAS SOPS 78421 HAS SOUS 57449 HAS SOUPS 57449 WITH SCORE 57527.421
AT ITER 1764 NEW BEST:: SOT 200719 SOS 78057 HAS SOPS 78057 HAS SOUS 57196 HAS SOUPS 57196 WITH SCORE 57274.057
AT ITER 1789 NEW BEST:: SOT 200637 SOS 77966 HAS SOPS 77966 HAS SOUS 57172 HAS SOUPS 57172 WITH SCORE 57249.966
AT ITER 1810 NEW BEST:: SOT 200614 SOS 77897 HAS SOPS 77897 HAS SOUS 57103 HAS SOUPS 57103 WITH SCORE 57180.897
AT ITER 1819 NEW BEST:: SOT 200752 SOS 78035 HAS SOPS 78035 HAS SOUS 57072 HAS SOUPS 57072 WITH SCORE 57150.035
AT ITER 1858 NEW BEST:: SOT 200751 SOS 78034 HAS SOPS 78034 HAS SOUS 57071 HAS SOUPS 57071 WITH SCORE 57149.034
AT ITER 1878 NEW BEST:: SOT 200749 SOS 78032 HAS SOPS 78032 HAS SOUS 57053 HAS SOUPS 57053 WITH SCORE 57131.032
AT ITER 1881 NEW BEST:: SOT 200691 SOS 77974 HAS SOPS 77974 HAS SOUS 56995 HAS SOUPS 56995 WITH SCORE 57072.974
AT ITER 1883 NEW BEST:: SOT 200869 SOS 77909 HAS SOPS 77909 HAS SOUS 56942 HAS SOUPS 56942 WITH SCORE 57019.909
AT ITER 1884 NEW BEST:: SOT 200815 SOS 77784 HAS SOPS 77784 HAS SOUS 56817 HAS SOUPS 56817 WITH SCORE 56894.784
AT ITER 1909 NEW BEST:: SOT 200808 SOS 77770 HAS SOPS 77770 HAS SOUS 56803 HAS SOUPS 56803 WITH SCORE 56880.77
AT ITER 1921 NEW BEST:: SOT 200790 SOS 77752 HAS SOPS 77752 HAS SOUS 56785 HAS SOUPS 56785 WITH SCORE 56862.752
AT ITER 1927 NEW BEST:: SOT 200790 SOS 77651 HAS SOPS 77651 HAS SOUS 56604 HAS SOUPS 56604 WITH SCORE 56681.651
AT ITER 1936 NEW BEST:: SOT 200763 SOS 77465 HAS SOPS 77465 HAS SOUS 56420 HAS SOUPS 56420 WITH SCORE 56497.465
AT ITER 1937 NEW BEST:: SOT 200873 SOS 77510 HAS SOPS 77510 HAS SOUS 56368 HAS SOUPS 56368 WITH SCORE 56445.51
AT ITER 1943 NEW BEST:: SOT 200826 SOS 77413 HAS SOPS 77413 HAS SOUS 56271 HAS SOUPS 56271 WITH SCORE 56348.413
AT ITER 1944 NEW BEST:: SOT 200659 SOS 77079 HAS SOPS 77079 HAS SOUS 56108 HAS SOUPS 56108 WITH SCORE 56185.079
AT ITER 1948 NEW BEST:: SOT 200656 SOS 77070 HAS SOPS 77070 HAS SOUS 56099 HAS SOUPS 56099 WITH SCORE 56176.07
AT ITER 1970 NEW BEST:: SOT 200676 SOS 77044 HAS SOPS 77044 HAS SOUS 56073 HAS SOUPS 56073 WITH SCORE 56150.044
AT ITER 1992 NEW BEST:: SOT 200657 SOS 77030 HAS SOPS 77030 HAS SOUS 56059 HAS SOUPS 56059 WITH SCORE 56136.03
AT ITER 2011 NEW BEST:: SOT 200609 SOS 76982 HAS SOPS 76982 HAS SOUS 56059 HAS SOUPS 56059 WITH SCORE 56135.982
AT ITER 2019 NEW BEST:: SOT 200443 SOS 76630 HAS SOPS 76630 HAS SOUS 55707 HAS SOUPS 55707 WITH SCORE 55783.63
AT ITER 2028 NEW BEST:: SOT 199470 SOS 77100 HAS SOPS 77100 HAS SOUS 55003 HAS SOUPS 55003 WITH SCORE 55080.1
AT ITER 2032 NEW BEST:: SOT 199386 SOS 76969 HAS SOPS 76969 HAS SOUS 54872 HAS SOUPS 54872 WITH SCORE 54948.969
AT ITER 2033 NEW BEST:: SOT 199388 SOS 76958 HAS SOPS 76958 HAS SOUS 54861 HAS SOUPS 54861 WITH SCORE 54937.958
AT ITER 2050 NEW BEST:: SOT 199364 SOS 76910 HAS SOPS 76910 HAS SOUS 54813 HAS SOUPS 54813 WITH SCORE 54889.91
AT ITER 2055 NEW BEST:: SOT 199318 SOS 76851 HAS SOPS 76851 HAS SOUS 54767 HAS SOUPS 54767 WITH SCORE 54843.851
AT ITER 2067 NEW BEST:: SOT 199311 SOS 76839 HAS SOPS 76839 HAS SOUS 54755 HAS SOUPS 54755 WITH SCORE 54831.839
AT ITER 2070 NEW BEST:: SOT 199311 SOS 76839 HAS SOPS 76839 HAS SOUS 54750 HAS SOUPS 54750 WITH SCORE 54826.839
AT ITER 2074 NEW BEST:: SOT 199294 SOS 76805 HAS SOPS 76805 HAS SOUS 54699 HAS SOUPS 54699 WITH SCORE 54775.805
AT ITER 2085 NEW BEST:: SOT 199020 SOS 76257 HAS SOPS 76257 HAS SOUS 54369 HAS SOUPS 54369 WITH SCORE 54445.257
AT ITER 2088 NEW BEST:: SOT 199075 SOS 76312 HAS SOPS 76312 HAS SOUS 54335 HAS SOUPS 54335 WITH SCORE 54411.312
AT ITER 2091 NEW BEST:: SOT 198808 SOS 75778 HAS SOPS 75778 HAS SOUS 53801 HAS SOUPS 53801 WITH SCORE 53876.778
AT ITER 2094 NEW BEST:: SOT 198877 SOS 75650 HAS SOPS 75650 HAS SOUS 53673 HAS SOUPS 53673 WITH SCORE 53748.65
AT ITER 2096 NEW BEST:: SOT 198877 SOS 75597 HAS SOPS 75597 HAS SOUS 53645 HAS SOUPS 53645 WITH SCORE 53720.597
AT ITER 2114 NEW BEST:: SOT 198870 SOS 75591 HAS SOPS 75591 HAS SOUS 53639 HAS SOUPS 53639 WITH SCORE 53714.591
AT ITER 2125 NEW BEST:: SOT 198633 SOS 74818 HAS SOPS 74818 HAS SOUS 53464 HAS SOUPS 53464 WITH SCORE 53538.818
AT ITER 2131 NEW BEST:: SOT 198633 SOS 74634 HAS SOPS 74634 HAS SOUS 53321 HAS SOUPS 53321 WITH SCORE 53395.634
AT ITER 2148 NEW BEST:: SOT 198596 SOS 74523 HAS SOPS 74523 HAS SOUS 53247 HAS SOUPS 53247 WITH SCORE 53321.523
AT ITER 2178 NEW BEST:: SOT 198651 SOS 74209 HAS SOPS 74209 HAS SOUS 53165 HAS SOUPS 53165 WITH SCORE 53239.209
AT ITER 2196 NEW BEST:: SOT 198648 SOS 74206 HAS SOPS 74206 HAS SOUS 53162 HAS SOUPS 53162 WITH SCORE 53236.206
AT ITER 2214 NEW BEST:: SOT 198300 SOS 73684 HAS SOPS 73684 HAS SOUS 52712 HAS SOUPS 52712 WITH SCORE 52785.684
AT ITER 2215 NEW BEST:: SOT 198234 SOS 73572 HAS SOPS 73572 HAS SOUS 52646 HAS SOUPS 52646 WITH SCORE 52719.572
AT ITER 2222 NEW BEST:: SOT 198126 SOS 73464 HAS SOPS 73464 HAS SOUS 52538 HAS SOUPS 52538 WITH SCORE 52611.464
AT ITER 2228 NEW BEST:: SOT 197959 SOS 73130 HAS SOPS 73130 HAS SOUS 52414 HAS SOUPS 52414 WITH SCORE 52487.13
AT ITER 2235 NEW BEST:: SOT 197926 SOS 73064 HAS SOPS 73064 HAS SOUS 52348 HAS SOUPS 52348 WITH SCORE 52421.064
AT ITER 2271 NEW BEST:: SOT 197966 SOS 72762 HAS SOPS 72762 HAS SOUS 51662 HAS SOUPS 51662 WITH SCORE 51734.762
AT ITER 2276 NEW BEST:: SOT 197968 SOS 72664 HAS SOPS 72664 HAS SOUS 51571 HAS SOUPS 51571 WITH SCORE 51643.664
AT ITER 2286 NEW BEST:: SOT 197968 SOS 72544 HAS SOPS 72544 HAS SOUS 51451 HAS SOUPS 51451 WITH SCORE 51523.544
AT ITER 2290 NEW BEST:: SOT 197823 SOS 72382 HAS SOPS 72382 HAS SOUS 51409 HAS SOUPS 51409 WITH SCORE 51481.382
AT ITER 2293 NEW BEST:: SOT 197823 SOS 71415 HAS SOPS 71415 HAS SOUS 51409 HAS SOUPS 51409 WITH SCORE 51480.415
AT ITER 2306 NEW BEST:: SOT 197811 SOS 71351 HAS SOPS 71351 HAS SOUS 51392 HAS SOUPS 51392 WITH SCORE 51463.351
AT ITER 2307 NEW BEST:: SOT 197787 SOS 71303 HAS SOPS 71303 HAS SOUS 51344 HAS SOUPS 51344 WITH SCORE 51415.303
AT ITER 2356 NEW BEST:: SOT 197775 SOS 71279 HAS SOPS 71279 HAS SOUS 51320 HAS SOUPS 51320 WITH SCORE 51391.279
AT ITER 2401 NEW BEST:: SOT 197686 SOS 71117 HAS SOPS 71117 HAS SOUS 51158 HAS SOUPS 51158 WITH SCORE 51229.117
AT ITER 2402 NEW BEST:: SOT 197676 SOS 71097 HAS SOPS 71097 HAS SOUS 51089 HAS SOUPS 51089 WITH SCORE 51160.097
AT ITER 2429 NEW BEST:: SOT 197663 SOS 71045 HAS SOPS 71045 HAS SOUS 51059 HAS SOUPS 51059 WITH SCORE 51130.045
AT ITER 2440 NEW BEST:: SOT 197661 SOS 71043 HAS SOPS 71043 HAS SOUS 51057 HAS SOUPS 51057 WITH SCORE 51128.043
AT ITER 2450 NEW BEST:: SOT 197611 SOS 70960 HAS SOPS 70960 HAS SOUS 50974 HAS SOUPS 50974 WITH SCORE 51044.96
AT ITER 2462 NEW BEST:: SOT 197555 SOS 70882 HAS SOPS 70882 HAS SOUS 50910 HAS SOUPS 50910 WITH SCORE 50980.882
AT ITER 2470 NEW BEST:: SOT 197553 SOS 70800 HAS SOPS 70800 HAS SOUS 50908 HAS SOUPS 50908 WITH SCORE 50978.8
AT ITER 2524 NEW BEST:: SOT 197552 SOS 70798 HAS SOPS 70798 HAS SOUS 50906 HAS SOUPS 50906 WITH SCORE 50976.798
AT ITER 2525 NEW BEST:: SOT 197250 SOS 70496 HAS SOPS 70496 HAS SOUS 50603 HAS SOUPS 50603 WITH SCORE 50673.496
AT ITER 2527 NEW BEST:: SOT 197174 SOS 70481 HAS SOPS 70481 HAS SOUS 50588 HAS SOUPS 50588 WITH SCORE 50658.481
AT ITER 2534 NEW BEST:: SOT 197166 SOS 70473 HAS SOPS 70473 HAS SOUS 50566 HAS SOUPS 50566 WITH SCORE 50636.473
AT ITER 2541 NEW BEST:: SOT 197102 SOS 70455 HAS SOPS 70455 HAS SOUS 50548 HAS SOUPS 50548 WITH SCORE 50618.455
AT ITER 2544 NEW BEST:: SOT 196926 SOS 70191 HAS SOPS 70191 HAS SOUS 50371 HAS SOUPS 50371 WITH SCORE 50441.191
AT ITER 2564 NEW BEST:: SOT 196885 SOS 70150 HAS SOPS 70150 HAS SOUS 50330 HAS SOUPS 50330 WITH SCORE 50400.15
AT ITER 2584 NEW BEST:: SOT 197063 SOS 70267 HAS SOPS 70267 HAS SOUS 50317 HAS SOUPS 50317 WITH SCORE 50387.267
AT ITER 2598 NEW BEST:: SOT 197038 SOS 70259 HAS SOPS 70259 HAS SOUS 50309 HAS SOUPS 50309 WITH SCORE 50379.259
AT ITER 2599 NEW BEST:: SOT 197011 SOS 70223 HAS SOPS 70223 HAS SOUS 50273 HAS SOUPS 50273 WITH SCORE 50343.223
AT ITER 2601 NEW BEST:: SOT 196955 SOS 70167 HAS SOPS 70167 HAS SOUS 50171 HAS SOUPS 50171 WITH SCORE 50241.167
AT ITER 2602 NEW BEST:: SOT 196850 SOS 69826 HAS SOPS 69826 HAS SOUS 50035 HAS SOUPS 50035 WITH SCORE 50104.826
AT ITER 2613 NEW BEST:: SOT 196849 SOS 69800 HAS SOPS 69800 HAS SOUS 50009 HAS SOUPS 50009 WITH SCORE 50078.8
AT ITER 2619 NEW BEST:: SOT 196849 SOS 69720 HAS SOPS 69720 HAS SOUS 49929 HAS SOUPS 49929 WITH SCORE 49998.72
AT ITER 2621 NEW BEST:: SOT 196820 SOS 69625 HAS SOPS 69625 HAS SOUS 49834 HAS SOUPS 49834 WITH SCORE 49903.625
AT ITER 2624 NEW BEST:: SOT 196815 SOS 69615 HAS SOPS 69615 HAS SOUS 49819 HAS SOUPS 49819 WITH SCORE 49888.615
AT ITER 2628 NEW BEST:: SOT 196814 SOS 69613 HAS SOPS 69613 HAS SOUS 49817 HAS SOUPS 49817 WITH SCORE 49886.613
AT ITER 2637 NEW BEST:: SOT 196821 SOS 69468 HAS SOPS 69468 HAS SOUS 49719 HAS SOUPS 49719 WITH SCORE 49788.468
AT ITER 2646 NEW BEST:: SOT 196792 SOS 69638 HAS SOPS 69638 HAS SOUS 49674 HAS SOUPS 49674 WITH SCORE 49743.638
AT ITER 2657 NEW BEST:: SOT 196784 SOS 69566 HAS SOPS 69566 HAS SOUS 49658 HAS SOUPS 49658 WITH SCORE 49727.566
AT ITER 2691 NEW BEST:: SOT 196752 SOS 69539 HAS SOPS 69539 HAS SOUS 49631 HAS SOUPS 49631 WITH SCORE 49700.539
AT ITER 2714 NEW BEST:: SOT 196752 SOS 69536 HAS SOPS 69536 HAS SOUS 49631 HAS SOUPS 49631 WITH SCORE 49700.536
AT ITER 2717 NEW BEST:: SOT 196766 SOS 69504 HAS SOPS 69504 HAS SOUS 49599 HAS SOUPS 49599 WITH SCORE 49668.504
AT ITER 2738 NEW BEST:: SOT 196865 SOS 69472 HAS SOPS 69472 HAS SOUS 49567 HAS SOUPS 49567 WITH SCORE 49636.472
AT ITER 2781 NEW BEST:: SOT 196829 SOS 69400 HAS SOPS 69400 HAS SOUS 49531 HAS SOUPS 49531 WITH SCORE 49600.4
AT ITER 2797 NEW BEST:: SOT 196812 SOS 69383 HAS SOPS 69383 HAS SOUS 49514 HAS SOUPS 49514 WITH SCORE 49583.383
AT ITER 2798 NEW BEST:: SOT 196840 SOS 69411 HAS SOPS 69411 HAS SOUS 49485 HAS SOUPS 49485 WITH SCORE 49554.411
AT ITER 2811 NEW BEST:: SOT 196798 SOS 69325 HAS SOPS 69325 HAS SOUS 49442 HAS SOUPS 49442 WITH SCORE 49511.325
AT ITER 2833 NEW BEST:: SOT 196755 SOS 69296 HAS SOPS 69296 HAS SOUS 49413 HAS SOUPS 49413 WITH SCORE 49482.296
AT ITER 2834 NEW BEST:: SOT 196729 SOS 69270 HAS SOPS 69270 HAS SOUS 49413 HAS SOUPS 49413 WITH SCORE 49482.27
AT ITER 2852 NEW BEST:: SOT 196745 SOS 69234 HAS SOPS 69234 HAS SOUS 49377 HAS SOUPS 49377 WITH SCORE 49446.234
AT ITER 2865 NEW BEST:: SOT 196735 SOS 69219 HAS SOPS 69219 HAS SOUS 49367 HAS SOUPS 49367 WITH SCORE 49436.219
AT ITER 2868 NEW BEST:: SOT 196709 SOS 69089 HAS SOPS 69089 HAS SOUS 49315 HAS SOUPS 49315 WITH SCORE 49384.089
AT ITER 2873 NEW BEST:: SOT 196678 SOS 69058 HAS SOPS 69058 HAS SOUS 49315 HAS SOUPS 49315 WITH SCORE 49384.058
AT ITER 2883 NEW BEST:: SOT 196678 SOS 69035 HAS SOPS 69035 HAS SOUS 49315 HAS SOUPS 49315 WITH SCORE 49384.035
AT ITER 2890 NEW BEST:: SOT 196678 SOS 69023 HAS SOPS 69023 HAS SOUS 49303 HAS SOUPS 49303 WITH SCORE 49372.023
AT ITER 2916 NEW BEST:: SOT 196665 SOS 68997 HAS SOPS 68997 HAS SOUS 49277 HAS SOUPS 49277 WITH SCORE 49345.997
AT ITER 2945 NEW BEST:: SOT 196708 SOS 68990 HAS SOPS 68990 HAS SOUS 49270 HAS SOUPS 49270 WITH SCORE 49338.99
AT ITER 2949 NEW BEST:: SOT 196605 SOS 68879 HAS SOPS 68879 HAS SOUS 49256 HAS SOUPS 49256 WITH SCORE 49324.879
AT ITER 2956 NEW BEST:: SOT 196603 SOS 68875 HAS SOPS 68875 HAS SOUS 49254 HAS SOUPS 49254 WITH SCORE 49322.875
AT ITER 2958 NEW BEST:: SOT 196575 SOS 68847 HAS SOPS 68847 HAS SOUS 49226 HAS SOUPS 49226 WITH SCORE 49294.847
AT ITER 2964 NEW BEST:: SOT 196581 SOS 68792 HAS SOPS 68792 HAS SOUS 49224 HAS SOUPS 49224 WITH SCORE 49292.792
AT ITER 2968 NEW BEST:: SOT 196531 SOS 68692 HAS SOPS 68692 HAS SOUS 49170 HAS SOUPS 49170 WITH SCORE 49238.692
AT ITER 2990 NEW BEST:: SOT 196538 SOS 68690 HAS SOPS 68690 HAS SOUS 49168 HAS SOUPS 49168 WITH SCORE 49236.69
AT ITER 2998 NEW BEST:: SOT 196503 SOS 68655 HAS SOPS 68655 HAS SOUS 49133 HAS SOUPS 49133 WITH SCORE 49201.655
AT ITER 3007 NEW BEST:: SOT 196448 SOS 68481 HAS SOPS 68481 HAS SOUS 49036 HAS SOUPS 49036 WITH SCORE 49104.481
AT ITER 3019 NEW BEST:: SOT 196464 SOS 68336 HAS SOPS 68336 HAS SOUS 48970 HAS SOUPS 48970 WITH SCORE 49038.336
AT ITER 3048 NEW BEST:: SOT 196464 SOS 68336 HAS SOPS 68336 HAS SOUS 48966 HAS SOUPS 48966 WITH SCORE 49034.336
AT ITER 3066 NEW BEST:: SOT 196448 SOS 68304 HAS SOPS 68304 HAS SOUS 48952 HAS SOUPS 48952 WITH SCORE 49020.304
AT ITER 3067 NEW BEST:: SOT 196448 SOS 68262 HAS SOPS 68262 HAS SOUS 48910 HAS SOUPS 48910 WITH SCORE 48978.262
AT ITER 3097 NEW BEST:: SOT 196446 SOS 68258 HAS SOPS 68258 HAS SOUS 48906 HAS SOUPS 48906 WITH SCORE 48974.258
AT ITER 3100 NEW BEST:: SOT 196444 SOS 68252 HAS SOPS 68252 HAS SOUS 48900 HAS SOUPS 48900 WITH SCORE 48968.252
AT ITER 3103 NEW BEST:: SOT 196409 SOS 68147 HAS SOPS 68147 HAS SOUS 48798 HAS SOUPS 48798 WITH SCORE 48866.147
AT ITER 3106 NEW BEST:: SOT 196450 SOS 68128 HAS SOPS 68128 HAS SOUS 48760 HAS SOUPS 48760 WITH SCORE 48828.128
AT ITER 3117 NEW BEST:: SOT 196415 SOS 68058 HAS SOPS 68058 HAS SOUS 48690 HAS SOUPS 48690 WITH SCORE 48758.058
AT ITER 3126 NEW BEST:: SOT 196404 SOS 68047 HAS SOPS 68047 HAS SOUS 48679 HAS SOUPS 48679 WITH SCORE 48747.047
AT ITER 3128 NEW BEST:: SOT 196417 SOS 68039 HAS SOPS 68039 HAS SOUS 48670 HAS SOUPS 48670 WITH SCORE 48738.039
AT ITER 3137 NEW BEST:: SOT 196378 SOS 67911 HAS SOPS 67911 HAS SOUS 48542 HAS SOUPS 48542 WITH SCORE 48609.911
AT ITER 3147 NEW BEST:: SOT 196376 SOS 67909 HAS SOPS 67909 HAS SOUS 48540 HAS SOUPS 48540 WITH SCORE 48607.909
AT ITER 3163 NEW BEST:: SOT 196376 SOS 67907 HAS SOPS 67907 HAS SOUS 48538 HAS SOUPS 48538 WITH SCORE 48605.907
AT ITER 3171 NEW BEST:: SOT 196376 SOS 67864 HAS SOPS 67864 HAS SOUS 48495 HAS SOUPS 48495 WITH SCORE 48562.864
AT ITER 3204 NEW BEST:: SOT 196326 SOS 68026 HAS SOPS 68026 HAS SOUS 48439 HAS SOUPS 48439 WITH SCORE 48507.026
AT ITER 3210 NEW BEST:: SOT 196333 SOS 67990 HAS SOPS 67990 HAS SOUS 48403 HAS SOUPS 48403 WITH SCORE 48470.99
AT ITER 3240 NEW BEST:: SOT 196283 SOS 67890 HAS SOPS 67890 HAS SOUS 48303 HAS SOUPS 48303 WITH SCORE 48370.89
AT ITER 3252 NEW BEST:: SOT 196209 SOS 67717 HAS SOPS 67717 HAS SOUS 48130 HAS SOUPS 48130 WITH SCORE 48197.717
AT ITER 3274 NEW BEST:: SOT 196202 SOS 67713 HAS SOPS 67713 HAS SOUS 48130 HAS SOUPS 48130 WITH SCORE 48197.713
AT ITER 3296 NEW BEST:: SOT 196202 SOS 67633 HAS SOPS 67633 HAS SOUS 48050 HAS SOUPS 48050 WITH SCORE 48117.633
AT ITER 3303 NEW BEST:: SOT 196168 SOS 67599 HAS SOPS 67599 HAS SOUS 48050 HAS SOUPS 48050 WITH SCORE 48117.599
AT ITER 3312 NEW BEST:: SOT 196124 SOS 67512 HAS SOPS 67512 HAS SOUS 47963 HAS SOUPS 47963 WITH SCORE 48030.512
AT ITER 3324 NEW BEST:: SOT 195941 SOS 67329 HAS SOPS 67329 HAS SOUS 47963 HAS SOUPS 47963 WITH SCORE 48030.329
AT ITER 3331 NEW BEST:: SOT 195987 SOS 67328 HAS SOPS 67328 HAS SOUS 47962 HAS SOUPS 47962 WITH SCORE 48029.328
AT ITER 3371 NEW BEST:: SOT 195982 SOS 67318 HAS SOPS 67318 HAS SOUS 47957 HAS SOUPS 47957 WITH SCORE 48024.318
AT ITER 3372 NEW BEST:: SOT 195955 SOS 67282 HAS SOPS 67282 HAS SOUS 47927 HAS SOUPS 47927 WITH SCORE 47994.282
AT ITER 3412 NEW BEST:: SOT 195820 SOS 67112 HAS SOPS 67112 HAS SOUS 47757 HAS SOUPS 47757 WITH SCORE 47824.112
AT ITER 3422 NEW BEST:: SOT 195788 SOS 67048 HAS SOPS 67048 HAS SOUS 47692 HAS SOUPS 47692 WITH SCORE 47759.048
AT ITER 3426 NEW BEST:: SOT 195833 SOS 67138 HAS SOPS 67138 HAS SOUS 47691 HAS SOUPS 47691 WITH SCORE 47758.138
AT ITER 3448 NEW BEST:: SOT 195833 SOS 67138 HAS SOPS 67138 HAS SOUS 47676 HAS SOUPS 47676 WITH SCORE 47743.138
AT ITER 3457 NEW BEST:: SOT 195819 SOS 67110 HAS SOPS 67110 HAS SOUS 47644 HAS SOUPS 47644 WITH SCORE 47711.11
AT ITER 3459 NEW BEST:: SOT 195657 SOS 66766 HAS SOPS 66766 HAS SOUS 47409 HAS SOUPS 47409 WITH SCORE 47475.766
AT ITER 3476 NEW BEST:: SOT 195640 SOS 66715 HAS SOPS 66715 HAS SOUS 47358 HAS SOUPS 47358 WITH SCORE 47424.715
AT ITER 3534 NEW BEST:: SOT 195640 SOS 66715 HAS SOPS 66715 HAS SOUS 47271 HAS SOUPS 47271 WITH SCORE 47337.715
AT ITER 3549 NEW BEST:: SOT 195665 SOS 66688 HAS SOPS 66688 HAS SOUS 47244 HAS SOUPS 47244 WITH SCORE 47310.688
AT ITER 3581 NEW BEST:: SOT 195696 SOS 66707 HAS SOPS 66707 HAS SOUS 47207 HAS SOUPS 47207 WITH SCORE 47273.707
AT ITER 3590 NEW BEST:: SOT 195673 SOS 66661 HAS SOPS 66661 HAS SOUS 47184 HAS SOUPS 47184 WITH SCORE 47250.661
AT ITER 3628 NEW BEST:: SOT 195644 SOS 66603 HAS SOPS 66603 HAS SOUS 47126 HAS SOUPS 47126 WITH SCORE 47192.603
AT ITER 3643 NEW BEST:: SOT 195495 SOS 66416 HAS SOPS 66416 HAS SOUS 47051 HAS SOUPS 47051 WITH SCORE 47117.416
AT ITER 3656 NEW BEST:: SOT 195496 SOS 66417 HAS SOPS 66417 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47109.417
AT ITER 3661 NEW BEST:: SOT 195431 SOS 66352 HAS SOPS 66352 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47109.352
AT ITER 3663 NEW BEST:: SOT 195410 SOS 66310 HAS SOPS 66310 HAS SOUS 47001 HAS SOUPS 47001 WITH SCORE 47067.31
AT ITER 3672 NEW BEST:: SOT 195410 SOS 66150 HAS SOPS 66150 HAS SOUS 46844 HAS SOUPS 46844 WITH SCORE 46910.15
AT ITER 3677 NEW BEST:: SOT 195401 SOS 66132 HAS SOPS 66132 HAS SOUS 46826 HAS SOUPS 46826 WITH SCORE 46892.132
AT ITER 3679 NEW BEST:: SOT 195341 SOS 66083 HAS SOPS 66083 HAS SOUS 46777 HAS SOUPS 46777 WITH SCORE 46843.083
AT ITER 3690 NEW BEST:: SOT 195338 SOS 66081 HAS SOPS 66081 HAS SOUS 46775 HAS SOUPS 46775 WITH SCORE 46841.081
AT ITER 3695 NEW BEST:: SOT 195256 SOS 65958 HAS SOPS 65958 HAS SOUS 46693 HAS SOUPS 46693 WITH SCORE 46758.958
AT ITER 3707 NEW BEST:: SOT 195299 SOS 65945 HAS SOPS 65945 HAS SOUS 46680 HAS SOUPS 46680 WITH SCORE 46745.945
AT ITER 3711 NEW BEST:: SOT 195312 SOS 65943 HAS SOPS 65943 HAS SOUS 46678 HAS SOUPS 46678 WITH SCORE 46743.943
AT ITER 3729 NEW BEST:: SOT 195329 SOS 65942 HAS SOPS 65942 HAS SOUS 46677 HAS SOUPS 46677 WITH SCORE 46742.942
AT ITER 3743 NEW BEST:: SOT 195324 SOS 65906 HAS SOPS 65906 HAS SOUS 46641 HAS SOUPS 46641 WITH SCORE 46706.906
AT ITER 3781 NEW BEST:: SOT 195278 SOS 65733 HAS SOPS 65733 HAS SOUS 46548 HAS SOUPS 46548 WITH SCORE 46613.733
AT ITER 3785 NEW BEST:: SOT 195272 SOS 65721 HAS SOPS 65721 HAS SOUS 46536 HAS SOUPS 46536 WITH SCORE 46601.721
AT ITER 3797 NEW BEST:: SOT 195272 SOS 65691 HAS SOPS 65691 HAS SOUS 46476 HAS SOUPS 46476 WITH SCORE 46541.691
AT ITER 3799 NEW BEST:: SOT 195254 SOS 65686 HAS SOPS 65686 HAS SOUS 46458 HAS SOUPS 46458 WITH SCORE 46523.686
AT ITER 3841 NEW BEST:: SOT 195159 SOS 65584 HAS SOPS 65584 HAS SOUS 46438 HAS SOUPS 46438 WITH SCORE 46503.584
AT ITER 3845 NEW BEST:: SOT 195159 SOS 65580 HAS SOPS 65580 HAS SOUS 46406 HAS SOUPS 46406 WITH SCORE 46471.58
AT ITER 3855 NEW BEST:: SOT 194883 SOS 65304 HAS SOPS 65304 HAS SOUS 46268 HAS SOUPS 46268 WITH SCORE 46333.304
AT ITER 3864 NEW BEST:: SOT 194854 SOS 65340 HAS SOPS 65340 HAS SOUS 46257 HAS SOUPS 46257 WITH SCORE 46322.34
AT ITER 3874 NEW BEST:: SOT 194854 SOS 65340 HAS SOPS 65340 HAS SOUS 46256 HAS SOUPS 46256 WITH SCORE 46321.34
AT ITER 3884 NEW BEST:: SOT 194847 SOS 65326 HAS SOPS 65326 HAS SOUS 46242 HAS SOUPS 46242 WITH SCORE 46307.326
AT ITER 3891 NEW BEST:: SOT 194797 SOS 65316 HAS SOPS 65316 HAS SOUS 46217 HAS SOUPS 46217 WITH SCORE 46282.316
AT ITER 3896 NEW BEST:: SOT 194797 SOS 65298 HAS SOPS 65298 HAS SOUS 46199 HAS SOUPS 46199 WITH SCORE 46264.298
AT ITER 3931 NEW BEST:: SOT 194875 SOS 65368 HAS SOPS 65368 HAS SOUS 46167 HAS SOUPS 46167 WITH SCORE 46232.368
AT ITER 3969 NEW BEST:: SOT 194875 SOS 65175 HAS SOPS 65175 HAS SOUS 45974 HAS SOUPS 45974 WITH SCORE 46039.175
AT ITER 3993 NEW BEST:: SOT 194872 SOS 65166 HAS SOPS 65166 HAS SOUS 45965 HAS SOUPS 45965 WITH SCORE 46030.166
AT ITER 3997 NEW BEST:: SOT 194859 SOS 65101 HAS SOPS 65101 HAS SOUS 45939 HAS SOUPS 45939 WITH SCORE 46004.101
AT ITER 4008 NEW BEST:: SOT 194847 SOS 65081 HAS SOPS 65081 HAS SOUS 45927 HAS SOUPS 45927 WITH SCORE 45992.081
AT ITER 4017 NEW BEST:: SOT 194880 SOS 65255 HAS SOPS 65255 HAS SOUS 45896 HAS SOUPS 45896 WITH SCORE 45961.255
AT ITER 4029 NEW BEST:: SOT 194879 SOS 65254 HAS SOPS 65254 HAS SOUS 45895 HAS SOUPS 45895 WITH SCORE 45960.254
AT ITER 4039 NEW BEST:: SOT 194879 SOS 65243 HAS SOPS 65243 HAS SOUS 45872 HAS SOUPS 45872 WITH SCORE 45937.243
AT ITER 4060 NEW BEST:: SOT 194878 SOS 65242 HAS SOPS 65242 HAS SOUS 45871 HAS SOUPS 45871 WITH SCORE 45936.242
AT ITER 4073 NEW BEST:: SOT 194884 SOS 65173 HAS SOPS 65173 HAS SOUS 45802 HAS SOUPS 45802 WITH SCORE 45867.173
AT ITER 4078 NEW BEST:: SOT 194997 SOS 65172 HAS SOPS 65172 HAS SOUS 45801 HAS SOUPS 45801 WITH SCORE 45866.172
AT ITER 4090 NEW BEST:: SOT 194989 SOS 65156 HAS SOPS 65156 HAS SOUS 45785 HAS SOUPS 45785 WITH SCORE 45850.156
AT ITER 4099 NEW BEST:: SOT 194976 SOS 65114 HAS SOPS 65114 HAS SOUS 45743 HAS SOUPS 45743 WITH SCORE 45808.114
AT ITER 4101 NEW BEST:: SOT 194973 SOS 65108 HAS SOPS 65108 HAS SOUS 45737 HAS SOUPS 45737 WITH SCORE 45802.108
AT ITER 4103 NEW BEST:: SOT 194954 SOS 65100 HAS SOPS 65100 HAS SOUS 45729 HAS SOUPS 45729 WITH SCORE 45794.1
AT ITER 4126 NEW BEST:: SOT 194867 SOS 65049 HAS SOPS 65049 HAS SOUS 45591 HAS SOUPS 45591 WITH SCORE 45656.049
AT ITER 4134 NEW BEST:: SOT 194832 SOS 64901 HAS SOPS 64901 HAS SOUS 45548 HAS SOUPS 45548 WITH SCORE 45612.901
AT ITER 4136 NEW BEST:: SOT 194821 SOS 64890 HAS SOPS 64890 HAS SOUS 45537 HAS SOUPS 45537 WITH SCORE 45601.89
AT ITER 4150 NEW BEST:: SOT 194790 SOS 64789 HAS SOPS 64789 HAS SOUS 45475 HAS SOUPS 45475 WITH SCORE 45539.789
AT ITER 4154 NEW BEST:: SOT 194812 SOS 64770 HAS SOPS 64770 HAS SOUS 45456 HAS SOUPS 45456 WITH SCORE 45520.77
AT ITER 4163 NEW BEST:: SOT 194821 SOS 64718 HAS SOPS 64718 HAS SOUS 45439 HAS SOUPS 45439 WITH SCORE 45503.718
AT ITER 4164 NEW BEST:: SOT 194817 SOS 64682 HAS SOPS 64682 HAS SOUS 45431 HAS SOUPS 45431 WITH SCORE 45495.682
AT ITER 4172 NEW BEST:: SOT 194813 SOS 64672 HAS SOPS 64672 HAS SOUS 45407 HAS SOUPS 45407 WITH SCORE 45471.672
AT ITER 4191 NEW BEST:: SOT 194769 SOS 64571 HAS SOPS 64571 HAS SOUS 45306 HAS SOUPS 45306 WITH SCORE 45370.571
AT ITER 4198 NEW BEST:: SOT 194826 SOS 64568 HAS SOPS 64568 HAS SOUS 45303 HAS SOUPS 45303 WITH SCORE 45367.568
AT ITER 4205 NEW BEST:: SOT 194817 SOS 64550 HAS SOPS 64550 HAS SOUS 45285 HAS SOUPS 45285 WITH SCORE 45349.55
AT ITER 4249 NEW BEST:: SOT 194817 SOS 64467 HAS SOPS 64467 HAS SOUS 45202 HAS SOUPS 45202 WITH SCORE 45266.467
AT ITER 4287 NEW BEST:: SOT 194816 SOS 64466 HAS SOPS 64466 HAS SOUS 45201 HAS SOUPS 45201 WITH SCORE 45265.466
AT ITER 4334 NEW BEST:: SOT 194812 SOS 64462 HAS SOPS 64462 HAS SOUS 45197 HAS SOUPS 45197 WITH SCORE 45261.462
AT ITER 4355 NEW BEST:: SOT 194737 SOS 64427 HAS SOPS 64427 HAS SOUS 45105 HAS SOUPS 45105 WITH SCORE 45169.427
AT ITER 4358 NEW BEST:: SOT 194675 SOS 64332 HAS SOPS 64332 HAS SOUS 45043 HAS SOUPS 45043 WITH SCORE 45107.332
AT ITER 4362 NEW BEST:: SOT 194675 SOS 64331 HAS SOPS 64331 HAS SOUS 45042 HAS SOUPS 45042 WITH SCORE 45106.331
AT ITER 4367 NEW BEST:: SOT 194662 SOS 64322 HAS SOPS 64322 HAS SOUS 45033 HAS SOUPS 45033 WITH SCORE 45097.322
AT ITER 4375 NEW BEST:: SOT 194553 SOS 64213 HAS SOPS 64213 HAS SOUS 44924 HAS SOUPS 44924 WITH SCORE 44988.213
AT ITER 4412 NEW BEST:: SOT 194526 SOS 64212 HAS SOPS 64212 HAS SOUS 44923 HAS SOUPS 44923 WITH SCORE 44987.212
AT ITER 4452 NEW BEST:: SOT 194526 SOS 64192 HAS SOPS 64192 HAS SOUS 44903 HAS SOUPS 44903 WITH SCORE 44967.192
AT ITER 4454 NEW BEST:: SOT 194081 SOS 63786 HAS SOPS 63786 HAS SOUS 44497 HAS SOUPS 44497 WITH SCORE 44560.786
AT ITER 4460 NEW BEST:: SOT 194047 SOS 63718 HAS SOPS 63718 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44492.718
AT ITER 4461 NEW BEST:: SOT 194036 SOS 63706 HAS SOPS 63706 HAS SOUS 44417 HAS SOUPS 44417 WITH SCORE 44480.706
AT ITER 4470 NEW BEST:: SOT 193982 SOS 63557 HAS SOPS 63557 HAS SOUS 44268 HAS SOUPS 44268 WITH SCORE 44331.557
AT ITER 4477 NEW BEST:: SOT 193964 SOS 63550 HAS SOPS 63550 HAS SOUS 44261 HAS SOUPS 44261 WITH SCORE 44324.55
AT ITER 4504 NEW BEST:: SOT 193972 SOS 63566 HAS SOPS 63566 HAS SOUS 44243 HAS SOUPS 44243 WITH SCORE 44306.566
AT ITER 4526 NEW BEST:: SOT 193963 SOS 63506 HAS SOPS 63506 HAS SOUS 44183 HAS SOUPS 44183 WITH SCORE 44246.506
AT ITER 4548 NEW BEST:: SOT 193958 SOS 63501 HAS SOPS 63501 HAS SOUS 44178 HAS SOUPS 44178 WITH SCORE 44241.501
AT ITER 4564 NEW BEST:: SOT 194016 SOS 63378 HAS SOPS 63378 HAS SOUS 44102 HAS SOUPS 44102 WITH SCORE 44165.378
AT ITER 4565 NEW BEST:: SOT 194059 SOS 63362 HAS SOPS 63362 HAS SOUS 44086 HAS SOUPS 44086 WITH SCORE 44149.362
AT ITER 4569 NEW BEST:: SOT 194187 SOS 63396 HAS SOPS 63396 HAS SOUS 44028 HAS SOUPS 44028 WITH SCORE 44091.396
AT ITER 4634 NEW BEST:: SOT 194154 SOS 63330 HAS SOPS 63330 HAS SOUS 43962 HAS SOUPS 43962 WITH SCORE 44025.33
AT ITER 4646 NEW BEST:: SOT 194154 SOS 63263 HAS SOPS 63263 HAS SOUS 43958 HAS SOUPS 43958 WITH SCORE 44021.263
AT ITER 4688 NEW BEST:: SOT 194130 SOS 63193 HAS SOPS 63193 HAS SOUS 43888 HAS SOUPS 43888 WITH SCORE 43951.193
AT ITER 4703 NEW BEST:: SOT 194130 SOS 63188 HAS SOPS 63188 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43946.188
AT ITER 4704 NEW BEST:: SOT 194108 SOS 63122 HAS SOPS 63122 HAS SOUS 43817 HAS SOUPS 43817 WITH SCORE 43880.122
AT ITER 4714 NEW BEST:: SOT 194105 SOS 63116 HAS SOPS 63116 HAS SOUS 43811 HAS SOUPS 43811 WITH SCORE 43874.116
AT ITER 4734 NEW BEST:: SOT 194114 SOS 63125 HAS SOPS 63125 HAS SOUS 43770 HAS SOUPS 43770 WITH SCORE 43833.125
AT ITER 4738 NEW BEST:: SOT 194082 SOS 63077 HAS SOPS 63077 HAS SOUS 43722 HAS SOUPS 43722 WITH SCORE 43785.077
AT ITER 4739 NEW BEST:: SOT 194047 SOS 63057 HAS SOPS 63057 HAS SOUS 43702 HAS SOUPS 43702 WITH SCORE 43765.057
AT ITER 4794 NEW BEST:: SOT 194019 SOS 63029 HAS SOPS 63029 HAS SOUS 43674 HAS SOUPS 43674 WITH SCORE 43737.029
AT ITER 4809 NEW BEST:: SOT 193961 SOS 62985 HAS SOPS 62985 HAS SOUS 43630 HAS SOUPS 43630 WITH SCORE 43692.985
AT ITER 4816 NEW BEST:: SOT 193945 SOS 62949 HAS SOPS 62949 HAS SOUS 43574 HAS SOUPS 43574 WITH SCORE 43636.949
AT ITER 4825 NEW BEST:: SOT 193912 SOS 62916 HAS SOPS 62916 HAS SOUS 43541 HAS SOUPS 43541 WITH SCORE 43603.916
AT ITER 4829 NEW BEST:: SOT 193898 SOS 62880 HAS SOPS 62880 HAS SOUS 43505 HAS SOUPS 43505 WITH SCORE 43567.88
AT ITER 4873 NEW BEST:: SOT 193884 SOS 62852 HAS SOPS 62852 HAS SOUS 43477 HAS SOUPS 43477 WITH SCORE 43539.852
AT ITER 4896 NEW BEST:: SOT 193882 SOS 62848 HAS SOPS 62848 HAS SOUS 43473 HAS SOUPS 43473 WITH SCORE 43535.848
AT ITER 4937 NEW BEST:: SOT 193866 SOS 62824 HAS SOPS 62824 HAS SOUS 43449 HAS SOUPS 43449 WITH SCORE 43511.824
AT ITER 4953 NEW BEST:: SOT 193866 SOS 62770 HAS SOPS 62770 HAS SOUS 43390 HAS SOUPS 43390 WITH SCORE 43452.77
AT ITER 5023 NEW BEST:: SOT 193841 SOS 62745 HAS SOPS 62745 HAS SOUS 43390 HAS SOUPS 43390 WITH SCORE 43452.745
AT ITER 5053 NEW BEST:: SOT 193826 SOS 62725 HAS SOPS 62725 HAS SOUS 43370 HAS SOUPS 43370 WITH SCORE 43432.725
AT ITER 5075 NEW BEST:: SOT 193751 SOS 62657 HAS SOPS 62657 HAS SOUS 43302 HAS SOUPS 43302 WITH SCORE 43364.657
AT ITER 5090 NEW BEST:: SOT 193705 SOS 62621 HAS SOPS 62621 HAS SOUS 43280 HAS SOUPS 43280 WITH SCORE 43342.621
AT ITER 5101 NEW BEST:: SOT 193742 SOS 62695 HAS SOPS 62695 HAS SOUS 43246 HAS SOUPS 43246 WITH SCORE 43308.695
AT ITER 5119 NEW BEST:: SOT 193742 SOS 62684 HAS SOPS 62684 HAS SOUS 43224 HAS SOUPS 43224 WITH SCORE 43286.684
AT ITER 5173 NEW BEST:: SOT 193741 SOS 62683 HAS SOPS 62683 HAS SOUS 43223 HAS SOUPS 43223 WITH SCORE 43285.683
AT ITER 5194 NEW BEST:: SOT 193707 SOS 62616 HAS SOPS 62616 HAS SOUS 43156 HAS SOUPS 43156 WITH SCORE 43218.616
AT ITER 5262 NEW BEST:: SOT 193695 SOS 62592 HAS SOPS 62592 HAS SOUS 43132 HAS SOUPS 43132 WITH SCORE 43194.592
AT ITER 5264 NEW BEST:: SOT 193682 SOS 62590 HAS SOPS 62590 HAS SOUS 43130 HAS SOUPS 43130 WITH SCORE 43192.59
AT ITER 5265 NEW BEST:: SOT 193675 SOS 62576 HAS SOPS 62576 HAS SOUS 43116 HAS SOUPS 43116 WITH SCORE 43178.576
AT ITER 5276 NEW BEST:: SOT 193711 SOS 62569 HAS SOPS 62569 HAS SOUS 43109 HAS SOUPS 43109 WITH SCORE 43171.569
AT ITER 5298 NEW BEST:: SOT 193683 SOS 62537 HAS SOPS 62537 HAS SOUS 43077 HAS SOUPS 43077 WITH SCORE 43139.537
AT ITER 5309 NEW BEST:: SOT 193683 SOS 62435 HAS SOPS 62435 HAS SOUS 43033 HAS SOUPS 43033 WITH SCORE 43095.435
AT ITER 5312 NEW BEST:: SOT 193683 SOS 62434 HAS SOPS 62434 HAS SOUS 43032 HAS SOUPS 43032 WITH SCORE 43094.434
AT ITER 5314 NEW BEST:: SOT 193474 SOS 62308 HAS SOPS 62308 HAS SOUS 42892 HAS SOUPS 42892 WITH SCORE 42954.308
AT ITER 5321 NEW BEST:: SOT 193489 SOS 62301 HAS SOPS 62301 HAS SOUS 42885 HAS SOUPS 42885 WITH SCORE 42947.301
AT ITER 5323 NEW BEST:: SOT 193464 SOS 62291 HAS SOPS 62291 HAS SOUS 42867 HAS SOUPS 42867 WITH SCORE 42929.291
AT ITER 5326 NEW BEST:: SOT 193453 SOS 62280 HAS SOPS 62280 HAS SOUS 42856 HAS SOUPS 42856 WITH SCORE 42918.28
AT ITER 5340 NEW BEST:: SOT 193410 SOS 62194 HAS SOPS 62194 HAS SOUS 42820 HAS SOUPS 42820 WITH SCORE 42882.194
AT ITER 5356 NEW BEST:: SOT 193334 SOS 62042 HAS SOPS 62042 HAS SOUS 42784 HAS SOUPS 42784 WITH SCORE 42846.042
AT ITER 5406 NEW BEST:: SOT 193334 SOS 62032 HAS SOPS 62032 HAS SOUS 42774 HAS SOUPS 42774 WITH SCORE 42836.032
AT ITER 5437 NEW BEST:: SOT 193334 SOS 62032 HAS SOPS 62032 HAS SOUS 42773 HAS SOUPS 42773 WITH SCORE 42835.032
AT ITER 5441 NEW BEST:: SOT 193313 SOS 62005 HAS SOPS 62005 HAS SOUS 42761 HAS SOUPS 42761 WITH SCORE 42823.005
AT ITER 5487 NEW BEST:: SOT 193310 SOS 61991 HAS SOPS 61991 HAS SOUS 42712 HAS SOUPS 42712 WITH SCORE 42773.991
AT ITER 5488 NEW BEST:: SOT 193310 SOS 61985 HAS SOPS 61985 HAS SOUS 42709 HAS SOUPS 42709 WITH SCORE 42770.985
AT ITER 5512 NEW BEST:: SOT 193301 SOS 61950 HAS SOPS 61950 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42735.95
AT ITER 5534 NEW BEST:: SOT 193282 SOS 61950 HAS SOPS 61950 HAS SOUS 42670 HAS SOUPS 42670 WITH SCORE 42731.95
AT ITER 5537 NEW BEST:: SOT 193245 SOS 61932 HAS SOPS 61932 HAS SOUS 42636 HAS SOUPS 42636 WITH SCORE 42697.932
AT ITER 5551 NEW BEST:: SOT 193198 SOS 61880 HAS SOPS 61880 HAS SOUS 42616 HAS SOUPS 42616 WITH SCORE 42677.88
AT ITER 5566 NEW BEST:: SOT 193198 SOS 61814 HAS SOPS 61814 HAS SOUS 42550 HAS SOUPS 42550 WITH SCORE 42611.814
AT ITER 5570 NEW BEST:: SOT 193181 SOS 61792 HAS SOPS 61792 HAS SOUS 42528 HAS SOUPS 42528 WITH SCORE 42589.792
AT ITER 5576 NEW BEST:: SOT 193175 SOS 61782 HAS SOPS 61782 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42579.782
AT ITER 5579 NEW BEST:: SOT 193175 SOS 61765 HAS SOPS 61765 HAS SOUS 42504 HAS SOUPS 42504 WITH SCORE 42565.765
AT ITER 5620 NEW BEST:: SOT 193175 SOS 61772 HAS SOPS 61772 HAS SOUS 42454 HAS SOUPS 42454 WITH SCORE 42515.772
AT ITER 5670 NEW BEST:: SOT 193130 SOS 61699 HAS SOPS 61699 HAS SOUS 42381 HAS SOUPS 42381 WITH SCORE 42442.699
AT ITER 5679 NEW BEST:: SOT 193226 SOS 61696 HAS SOPS 61696 HAS SOUS 42378 HAS SOUPS 42378 WITH SCORE 42439.696
AT ITER 5691 NEW BEST:: SOT 193201 SOS 61671 HAS SOPS 61671 HAS SOUS 42376 HAS SOUPS 42376 WITH SCORE 42437.671
AT ITER 5693 NEW BEST:: SOT 193175 SOS 61645 HAS SOPS 61645 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42411.645
AT ITER 5735 NEW BEST:: SOT 193175 SOS 61626 HAS SOPS 61626 HAS SOUS 42331 HAS SOUPS 42331 WITH SCORE 42392.626
AT ITER 5746 NEW BEST:: SOT 193162 SOS 61625 HAS SOPS 61625 HAS SOUS 42330 HAS SOUPS 42330 WITH SCORE 42391.625
AT ITER 5756 NEW BEST:: SOT 193162 SOS 61636 HAS SOPS 61636 HAS SOUS 42316 HAS SOUPS 42316 WITH SCORE 42377.636
AT ITER 5763 NEW BEST:: SOT 193152 SOS 61624 HAS SOPS 61624 HAS SOUS 42304 HAS SOUPS 42304 WITH SCORE 42365.624
AT ITER 5767 NEW BEST:: SOT 193124 SOS 61568 HAS SOPS 61568 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42232.568
AT ITER 5803 NEW BEST:: SOT 193102 SOS 61546 HAS SOPS 61546 HAS SOUS 42171 HAS SOUPS 42171 WITH SCORE 42232.546
AT ITER 5810 NEW BEST:: SOT 193073 SOS 61418 HAS SOPS 61418 HAS SOUS 42088 HAS SOUPS 42088 WITH SCORE 42149.418
AT ITER 5828 NEW BEST:: SOT 193100 SOS 61386 HAS SOPS 61386 HAS SOUS 42056 HAS SOUPS 42056 WITH SCORE 42117.386
AT ITER 5840 NEW BEST:: SOT 193065 SOS 61351 HAS SOPS 61351 HAS SOUS 42030 HAS SOUPS 42030 WITH SCORE 42091.351
AT ITER 5871 NEW BEST:: SOT 193023 SOS 61348 HAS SOPS 61348 HAS SOUS 42027 HAS SOUPS 42027 WITH SCORE 42088.348
AT ITER 5908 NEW BEST:: SOT 192974 SOS 61299 HAS SOPS 61299 HAS SOUS 41978 HAS SOUPS 41978 WITH SCORE 42039.299
AT ITER 5915 NEW BEST:: SOT 192955 SOS 61261 HAS SOPS 61261 HAS SOUS 41940 HAS SOUPS 41940 WITH SCORE 42001.261
AT ITER 5962 NEW BEST:: SOT 192956 SOS 61259 HAS SOPS 61259 HAS SOUS 41938 HAS SOUPS 41938 WITH SCORE 41999.259
AT ITER 5963 NEW BEST:: SOT 192929 SOS 61158 HAS SOPS 61158 HAS SOUS 41837 HAS SOUPS 41837 WITH SCORE 41898.158
AT ITER 6009 NEW BEST:: SOT 192933 SOS 61150 HAS SOPS 61150 HAS SOUS 41829 HAS SOUPS 41829 WITH SCORE 41890.15
AT ITER 6019 NEW BEST:: SOT 192927 SOS 61138 HAS SOPS 61138 HAS SOUS 41793 HAS SOUPS 41793 WITH SCORE 41854.138
AT ITER 6046 NEW BEST:: SOT 192961 SOS 61172 HAS SOPS 61172 HAS SOUS 41787 HAS SOUPS 41787 WITH SCORE 41848.172
AT ITER 6131 NEW BEST:: SOT 192919 SOS 61142 HAS SOPS 61142 HAS SOUS 41774 HAS SOUPS 41774 WITH SCORE 41835.142
AT ITER 6216 NEW BEST:: SOT 192944 SOS 61141 HAS SOPS 61141 HAS SOUS 41773 HAS SOUPS 41773 WITH SCORE 41834.141
AT ITER 6217 NEW BEST:: SOT 192933 SOS 61119 HAS SOPS 61119 HAS SOUS 41751 HAS SOUPS 41751 WITH SCORE 41812.119
AT ITER 6231 NEW BEST:: SOT 192938 SOS 61089 HAS SOPS 61089 HAS SOUS 41721 HAS SOUPS 41721 WITH SCORE 41782.089
AT ITER 6238 NEW BEST:: SOT 192936 SOS 61085 HAS SOPS 61085 HAS SOUS 41717 HAS SOUPS 41717 WITH SCORE 41778.085
AT ITER 6248 NEW BEST:: SOT 192935 SOS 61084 HAS SOPS 61084 HAS SOUS 41716 HAS SOUPS 41716 WITH SCORE 41777.084
AT ITER 6253 NEW BEST:: SOT 192921 SOS 61068 HAS SOPS 61068 HAS SOUS 41700 HAS SOUPS 41700 WITH SCORE 41761.068
AT ITER 6254 NEW BEST:: SOT 192921 SOS 60998 HAS SOPS 60998 HAS SOUS 41633 HAS SOUPS 41633 WITH SCORE 41693.998
AT ITER 6262 NEW BEST:: SOT 192937 SOS 61013 HAS SOPS 61013 HAS SOUS 41632 HAS SOUPS 41632 WITH SCORE 41693.013
AT ITER 6289 NEW BEST:: SOT 192937 SOS 61152 HAS SOPS 61152 HAS SOUS 41627 HAS SOUPS 41627 WITH SCORE 41688.152
AT ITER 6304 NEW BEST:: SOT 192920 SOS 61118 HAS SOPS 61118 HAS SOUS 41612 HAS SOUPS 41612 WITH SCORE 41673.118
AT ITER 6313 NEW BEST:: SOT 192949 SOS 61119 HAS SOPS 61119 HAS SOUS 41607 HAS SOUPS 41607 WITH SCORE 41668.119
AT ITER 6344 NEW BEST:: SOT 192949 SOS 61113 HAS SOPS 61113 HAS SOUS 41601 HAS SOUPS 41601 WITH SCORE 41662.113
AT ITER 6364 NEW BEST:: SOT 192915 SOS 61100 HAS SOPS 61100 HAS SOUS 41583 HAS SOUPS 41583 WITH SCORE 41644.1
AT ITER 6380 NEW BEST:: SOT 192915 SOS 61125 HAS SOPS 61125 HAS SOUS 41573 HAS SOUPS 41573 WITH SCORE 41634.125
AT ITER 6386 NEW BEST:: SOT 192909 SOS 61124 HAS SOPS 61124 HAS SOUS 41572 HAS SOUPS 41572 WITH SCORE 41633.124
AT ITER 6388 NEW BEST:: SOT 192909 SOS 61121 HAS SOPS 61121 HAS SOUS 41569 HAS SOUPS 41569 WITH SCORE 41630.121
AT ITER 6402 NEW BEST:: SOT 192918 SOS 61108 HAS SOPS 61108 HAS SOUS 41556 HAS SOUPS 41556 WITH SCORE 41617.108
AT ITER 6438 NEW BEST:: SOT 192902 SOS 61092 HAS SOPS 61092 HAS SOUS 41540 HAS SOUPS 41540 WITH SCORE 41601.092
AT ITER 6439 NEW BEST:: SOT 192844 SOS 61032 HAS SOPS 61032 HAS SOUS 41520 HAS SOUPS 41520 WITH SCORE 41581.032
AT ITER 6529 NEW BEST:: SOT 192808 SOS 60946 HAS SOPS 60946 HAS SOUS 41434 HAS SOUPS 41434 WITH SCORE 41494.946
AT ITER 6543 NEW BEST:: SOT 192808 SOS 60890 HAS SOPS 60890 HAS SOUS 41378 HAS SOUPS 41378 WITH SCORE 41438.89
AT ITER 6562 NEW BEST:: SOT 192807 SOS 60889 HAS SOPS 60889 HAS SOUS 41377 HAS SOUPS 41377 WITH SCORE 41437.889
AT ITER 6590 NEW BEST:: SOT 192796 SOS 60867 HAS SOPS 60867 HAS SOUS 41355 HAS SOUPS 41355 WITH SCORE 41415.867
AT ITER 6651 NEW BEST:: SOT 192794 SOS 60863 HAS SOPS 60863 HAS SOUS 41351 HAS SOUPS 41351 WITH SCORE 41411.863
AT ITER 6652 NEW BEST:: SOT 192789 SOS 60853 HAS SOPS 60853 HAS SOUS 41341 HAS SOUPS 41341 WITH SCORE 41401.853
AT ITER 6680 NEW BEST:: SOT 192783 SOS 60847 HAS SOPS 60847 HAS SOUS 41335 HAS SOUPS 41335 WITH SCORE 41395.847
AT ITER 6688 NEW BEST:: SOT 192793 SOS 60817 HAS SOPS 60817 HAS SOUS 41305 HAS SOUPS 41305 WITH SCORE 41365.817
AT ITER 6720 NEW BEST:: SOT 192901 SOS 60923 HAS SOPS 60923 HAS SOUS 41301 HAS SOUPS 41301 WITH SCORE 41361.923
AT ITER 6722 NEW BEST:: SOT 192873 SOS 60663 HAS SOPS 60663 HAS SOUS 41239 HAS SOUPS 41239 WITH SCORE 41299.663
AT ITER 6745 NEW BEST:: SOT 192873 SOS 60612 HAS SOPS 60612 HAS SOUS 41213 HAS SOUPS 41213 WITH SCORE 41273.612
AT ITER 6763 NEW BEST:: SOT 192828 SOS 60567 HAS SOPS 60567 HAS SOUS 41168 HAS SOUPS 41168 WITH SCORE 41228.567
AT ITER 6769 NEW BEST:: SOT 192831 SOS 60573 HAS SOPS 60573 HAS SOUS 41092 HAS SOUPS 41092 WITH SCORE 41152.573
AT ITER 6778 NEW BEST:: SOT 192823 SOS 60541 HAS SOPS 60541 HAS SOUS 41084 HAS SOUPS 41084 WITH SCORE 41144.541
AT ITER 6796 NEW BEST:: SOT 192789 SOS 60534 HAS SOPS 60534 HAS SOUS 41077 HAS SOUPS 41077 WITH SCORE 41137.534
AT ITER 6816 NEW BEST:: SOT 192788 SOS 60533 HAS SOPS 60533 HAS SOUS 41075 HAS SOUPS 41075 WITH SCORE 41135.533
AT ITER 6849 NEW BEST:: SOT 192788 SOS 60477 HAS SOPS 60477 HAS SOUS 41066 HAS SOUPS 41066 WITH SCORE 41126.477
AT ITER 6877 NEW BEST:: SOT 192780 SOS 60465 HAS SOPS 60465 HAS SOUS 41054 HAS SOUPS 41054 WITH SCORE 41114.465
AT ITER 6885 NEW BEST:: SOT 192735 SOS 60435 HAS SOPS 60435 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41095.435
AT ITER 6903 NEW BEST:: SOT 192735 SOS 60431 HAS SOPS 60431 HAS SOUS 41031 HAS SOUPS 41031 WITH SCORE 41091.431
AT ITER 6911 NEW BEST:: SOT 192724 SOS 60356 HAS SOPS 60356 HAS SOUS 40956 HAS SOUPS 40956 WITH SCORE 41016.356
AT ITER 6916 NEW BEST:: SOT 192724 SOS 60313 HAS SOPS 60313 HAS SOUS 40913 HAS SOUPS 40913 WITH SCORE 40973.313
AT ITER 6934 NEW BEST:: SOT 192856 SOS 60288 HAS SOPS 60288 HAS SOUS 40881 HAS SOUPS 40881 WITH SCORE 40941.288
AT ITER 6942 NEW BEST:: SOT 192835 SOS 60279 HAS SOPS 60279 HAS SOUS 40872 HAS SOUPS 40872 WITH SCORE 40932.279
AT ITER 6943 NEW BEST:: SOT 192807 SOS 60139 HAS SOPS 60139 HAS SOUS 40816 HAS SOUPS 40816 WITH SCORE 40876.139
AT ITER 7027 NEW BEST:: SOT 192700 SOS 60023 HAS SOPS 60023 HAS SOUS 40700 HAS SOUPS 40700 WITH SCORE 40760.023
AT ITER 7046 NEW BEST:: SOT 192890 SOS 60213 HAS SOPS 60213 HAS SOUS 40691 HAS SOUPS 40691 WITH SCORE 40751.213
AT ITER 7060 NEW BEST:: SOT 192970 SOS 60215 HAS SOPS 60215 HAS SOUS 40659 HAS SOUPS 40659 WITH SCORE 40719.215
AT ITER 7063 NEW BEST:: SOT 192967 SOS 60213 HAS SOPS 60213 HAS SOUS 40657 HAS SOUPS 40657 WITH SCORE 40717.213
AT ITER 7102 NEW BEST:: SOT 192950 SOS 60201 HAS SOPS 60201 HAS SOUS 40645 HAS SOUPS 40645 WITH SCORE 40705.201
AT ITER 7137 NEW BEST:: SOT 192948 SOS 60187 HAS SOPS 60187 HAS SOUS 40631 HAS SOUPS 40631 WITH SCORE 40691.187
AT ITER 7166 NEW BEST:: SOT 192938 SOS 60167 HAS SOPS 60167 HAS SOUS 40611 HAS SOUPS 40611 WITH SCORE 40671.167
AT ITER 7174 NEW BEST:: SOT 192920 SOS 60131 HAS SOPS 60131 HAS SOUS 40575 HAS SOUPS 40575 WITH SCORE 40635.131
AT ITER 7179 NEW BEST:: SOT 192915 SOS 60121 HAS SOPS 60121 HAS SOUS 40565 HAS SOUPS 40565 WITH SCORE 40625.121
AT ITER 7187 NEW BEST:: SOT 192873 SOS 60070 HAS SOPS 60070 HAS SOUS 40541 HAS SOUPS 40541 WITH SCORE 40601.07
AT ITER 7263 NEW BEST:: SOT 192947 SOS 60043 HAS SOPS 60043 HAS SOUS 40527 HAS SOUPS 40527 WITH SCORE 40587.043
AT ITER 7268 NEW BEST:: SOT 192954 SOS 60017 HAS SOPS 60017 HAS SOUS 40501 HAS SOUPS 40501 WITH SCORE 40561.017
AT ITER 7281 NEW BEST:: SOT 192946 SOS 60009 HAS SOPS 60009 HAS SOUS 40493 HAS SOUPS 40493 WITH SCORE 40553.009
AT ITER 7295 NEW BEST:: SOT 192946 SOS 60009 HAS SOPS 60009 HAS SOUS 40481 HAS SOUPS 40481 WITH SCORE 40541.009
AT ITER 7308 NEW BEST:: SOT 192999 SOS 59989 HAS SOPS 59989 HAS SOUS 40461 HAS SOUPS 40461 WITH SCORE 40520.989
AT ITER 7330 NEW BEST:: SOT 193155 SOS 59758 HAS SOPS 59758 HAS SOUS 40271 HAS SOUPS 40271 WITH SCORE 40330.758
AT ITER 7343 NEW BEST:: SOT 193112 SOS 59726 HAS SOPS 59726 HAS SOUS 40266 HAS SOUPS 40266 WITH SCORE 40325.726
AT ITER 7346 NEW BEST:: SOT 193112 SOS 59726 HAS SOPS 59726 HAS SOUS 40254 HAS SOUPS 40254 WITH SCORE 40313.726
AT ITER 7348 NEW BEST:: SOT 193096 SOS 59697 HAS SOPS 59697 HAS SOUS 40221 HAS SOUPS 40221 WITH SCORE 40280.697
AT ITER 7366 NEW BEST:: SOT 193140 SOS 59611 HAS SOPS 59611 HAS SOUS 40207 HAS SOUPS 40207 WITH SCORE 40266.611
AT ITER 7407 NEW BEST:: SOT 193137 SOS 59567 HAS SOPS 59567 HAS SOUS 40155 HAS SOUPS 40155 WITH SCORE 40214.567
AT ITER 7474 NEW BEST:: SOT 193045 SOS 59419 HAS SOPS 59419 HAS SOUS 40023 HAS SOUPS 40023 WITH SCORE 40082.419
AT ITER 7485 NEW BEST:: SOT 193042 SOS 59416 HAS SOPS 59416 HAS SOUS 40020 HAS SOUPS 40020 WITH SCORE 40079.416
AT ITER 7494 NEW BEST:: SOT 193039 SOS 59405 HAS SOPS 59405 HAS SOUS 40009 HAS SOUPS 40009 WITH SCORE 40068.405
AT ITER 7536 NEW BEST:: SOT 193039 SOS 59402 HAS SOPS 59402 HAS SOUS 40006 HAS SOUPS 40006 WITH SCORE 40065.402
AT ITER 7656 NEW BEST:: SOT 193019 SOS 59356 HAS SOPS 59356 HAS SOUS 39980 HAS SOUPS 39980 WITH SCORE 40039.356
AT ITER 7668 NEW BEST:: SOT 192999 SOS 59345 HAS SOPS 59345 HAS SOUS 39969 HAS SOUPS 39969 WITH SCORE 40028.345
AT ITER 7669 NEW BEST:: SOT 193012 SOS 59320 HAS SOPS 59320 HAS SOUS 39944 HAS SOUPS 39944 WITH SCORE 40003.32
AT ITER 7675 NEW BEST:: SOT 192994 SOS 59284 HAS SOPS 59284 HAS SOUS 39929 HAS SOUPS 39929 WITH SCORE 39988.284
AT ITER 7700 NEW BEST:: SOT 192994 SOS 59266 HAS SOPS 59266 HAS SOUS 39911 HAS SOUPS 39911 WITH SCORE 39970.266
AT ITER 7706 NEW BEST:: SOT 192990 SOS 59258 HAS SOPS 59258 HAS SOUS 39876 HAS SOUPS 39876 WITH SCORE 39935.258
AT ITER 7721 NEW BEST:: SOT 192913 SOS 59189 HAS SOPS 59189 HAS SOUS 39800 HAS SOUPS 39800 WITH SCORE 39859.189
AT ITER 7739 NEW BEST:: SOT 192887 SOS 59158 HAS SOPS 59158 HAS SOUS 39790 HAS SOUPS 39790 WITH SCORE 39849.158
AT ITER 7742 NEW BEST:: SOT 192879 SOS 59151 HAS SOPS 59151 HAS SOUS 39783 HAS SOUPS 39783 WITH SCORE 39842.151
AT ITER 7812 NEW BEST:: SOT 192825 SOS 59097 HAS SOPS 59097 HAS SOUS 39729 HAS SOUPS 39729 WITH SCORE 39788.097
AT ITER 7847 NEW BEST:: SOT 192828 SOS 59085 HAS SOPS 59085 HAS SOUS 39717 HAS SOUPS 39717 WITH SCORE 39776.085
AT ITER 7859 NEW BEST:: SOT 192814 SOS 59005 HAS SOPS 59005 HAS SOUS 39637 HAS SOUPS 39637 WITH SCORE 39696.005
AT ITER 7887 NEW BEST:: SOT 192786 SOS 58977 HAS SOPS 58977 HAS SOUS 39637 HAS SOUPS 39637 WITH SCORE 39695.977
AT ITER 7891 NEW BEST:: SOT 192835 SOS 59015 HAS SOPS 59015 HAS SOUS 39628 HAS SOUPS 39628 WITH SCORE 39687.015
AT ITER 7929 NEW BEST:: SOT 192848 SOS 59012 HAS SOPS 59012 HAS SOUS 39625 HAS SOUPS 39625 WITH SCORE 39684.012
AT ITER 7988 NEW BEST:: SOT 192844 SOS 58966 HAS SOPS 58966 HAS SOUS 39579 HAS SOUPS 39579 WITH SCORE 39637.966
AT ITER 7999 NEW BEST:: SOT 192825 SOS 58952 HAS SOPS 58952 HAS SOUS 39541 HAS SOUPS 39541 WITH SCORE 39599.952
AT ITER 8004 NEW BEST:: SOT 192823 SOS 58948 HAS SOPS 58948 HAS SOUS 39537 HAS SOUPS 39537 WITH SCORE 39595.948
AT ITER 8048 NEW BEST:: SOT 192725 SOS 58891 HAS SOPS 58891 HAS SOUS 39480 HAS SOUPS 39480 WITH SCORE 39538.891
AT ITER 8049 NEW BEST:: SOT 192725 SOS 58893 HAS SOPS 58893 HAS SOUS 39479 HAS SOUPS 39479 WITH SCORE 39537.893
AT ITER 8055 NEW BEST:: SOT 192442 SOS 59300 HAS SOPS 59300 HAS SOUS 39343 HAS SOUPS 39343 WITH SCORE 39402.3
AT ITER 8117 NEW BEST:: SOT 192437 SOS 59292 HAS SOPS 59292 HAS SOUS 39335 HAS SOUPS 39335 WITH SCORE 39394.292
AT ITER 8132 NEW BEST:: SOT 192402 SOS 59260 HAS SOPS 59260 HAS SOUS 39303 HAS SOUPS 39303 WITH SCORE 39362.26
AT ITER 8147 NEW BEST:: SOT 192360 SOS 59176 HAS SOPS 59176 HAS SOUS 39219 HAS SOUPS 39219 WITH SCORE 39278.176
AT ITER 8170 NEW BEST:: SOT 192340 SOS 59156 HAS SOPS 59156 HAS SOUS 39199 HAS SOUPS 39199 WITH SCORE 39258.156
AT ITER 8215 NEW BEST:: SOT 192316 SOS 59135 HAS SOPS 59135 HAS SOUS 39178 HAS SOUPS 39178 WITH SCORE 39237.135
AT ITER 8224 NEW BEST:: SOT 192275 SOS 58974 HAS SOPS 58974 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39075.974
AT ITER 8233 NEW BEST:: SOT 192226 SOS 58831 HAS SOPS 58831 HAS SOUS 38938 HAS SOUPS 38938 WITH SCORE 38996.831
AT ITER 8237 NEW BEST:: SOT 192124 SOS 58729 HAS SOPS 58729 HAS SOUS 38871 HAS SOUPS 38871 WITH SCORE 38929.729
AT ITER 8245 NEW BEST:: SOT 192107 SOS 58785 HAS SOPS 58785 HAS SOUS 38867 HAS SOUPS 38867 WITH SCORE 38925.785
AT ITER 8270 NEW BEST:: SOT 192099 SOS 58763 HAS SOPS 58763 HAS SOUS 38845 HAS SOUPS 38845 WITH SCORE 38903.763
AT ITER 8280 NEW BEST:: SOT 192069 SOS 58790 HAS SOPS 58790 HAS SOUS 38815 HAS SOUPS 38815 WITH SCORE 38873.79
AT ITER 8290 NEW BEST:: SOT 192046 SOS 58767 HAS SOPS 58767 HAS SOUS 38792 HAS SOUPS 38792 WITH SCORE 38850.767
AT ITER 8308 NEW BEST:: SOT 192031 SOS 58737 HAS SOPS 58737 HAS SOUS 38785 HAS SOUPS 38785 WITH SCORE 38843.737
AT ITER 8309 NEW BEST:: SOT 192013 SOS 58665 HAS SOPS 58665 HAS SOUS 38767 HAS SOUPS 38767 WITH SCORE 38825.665
AT ITER 8363 NEW BEST:: SOT 192013 SOS 58660 HAS SOPS 58660 HAS SOUS 38762 HAS SOUPS 38762 WITH SCORE 38820.66
AT ITER 8372 NEW BEST:: SOT 192013 SOS 58647 HAS SOPS 58647 HAS SOUS 38749 HAS SOUPS 38749 WITH SCORE 38807.647
AT ITER 8388 NEW BEST:: SOT 191997 SOS 58628 HAS SOPS 58628 HAS SOUS 38743 HAS SOUPS 38743 WITH SCORE 38801.628
AT ITER 8391 NEW BEST:: SOT 191954 SOS 58577 HAS SOPS 58577 HAS SOUS 38695 HAS SOUPS 38695 WITH SCORE 38753.577
AT ITER 8415 NEW BEST:: SOT 191953 SOS 58573 HAS SOPS 58573 HAS SOUS 38691 HAS SOUPS 38691 WITH SCORE 38749.573
AT ITER 8472 NEW BEST:: SOT 191953 SOS 58568 HAS SOPS 58568 HAS SOUS 38686 HAS SOUPS 38686 WITH SCORE 38744.568
AT ITER 8490 NEW BEST:: SOT 191937 SOS 58536 HAS SOPS 58536 HAS SOUS 38654 HAS SOUPS 38654 WITH SCORE 38712.536
AT ITER 8528 NEW BEST:: SOT 191931 SOS 58534 HAS SOPS 58534 HAS SOUS 38648 HAS SOUPS 38648 WITH SCORE 38706.534
AT ITER 8530 NEW BEST:: SOT 191927 SOS 58526 HAS SOPS 58526 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38698.526
AT ITER 8631 NEW BEST:: SOT 191927 SOS 58524 HAS SOPS 58524 HAS SOUS 38638 HAS SOUPS 38638 WITH SCORE 38696.524
AT ITER 8653 NEW BEST:: SOT 191879 SOS 58428 HAS SOPS 58428 HAS SOUS 38540 HAS SOUPS 38540 WITH SCORE 38598.428
AT ITER 8681 NEW BEST:: SOT 191835 SOS 58340 HAS SOPS 58340 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38510.34
AT ITER 8689 NEW BEST:: SOT 191828 SOS 58333 HAS SOPS 58333 HAS SOUS 38452 HAS SOUPS 38452 WITH SCORE 38510.333
AT ITER 8717 NEW BEST:: SOT 191778 SOS 58258 HAS SOPS 58258 HAS SOUS 38402 HAS SOUPS 38402 WITH SCORE 38460.258
AT ITER 8809 NEW BEST:: SOT 191777 SOS 58261 HAS SOPS 58261 HAS SOUS 38400 HAS SOUPS 38400 WITH SCORE 38458.261
AT ITER 8810 NEW BEST:: SOT 191775 SOS 58257 HAS SOPS 58257 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38456.257
AT ITER 8819 NEW BEST:: SOT 191728 SOS 58190 HAS SOPS 58190 HAS SOUS 38358 HAS SOUPS 38358 WITH SCORE 38416.19
AT ITER 8849 NEW BEST:: SOT 191619 SOS 58119 HAS SOPS 58119 HAS SOUS 38287 HAS SOUPS 38287 WITH SCORE 38345.119
AT ITER 8850 NEW BEST:: SOT 191614 SOS 58114 HAS SOPS 58114 HAS SOUS 38282 HAS SOUPS 38282 WITH SCORE 38340.114
AT ITER 8900 NEW BEST:: SOT 191605 SOS 58096 HAS SOPS 58096 HAS SOUS 38264 HAS SOUPS 38264 WITH SCORE 38322.096
AT ITER 8930 NEW BEST:: SOT 191545 SOS 58100 HAS SOPS 58100 HAS SOUS 38221 HAS SOUPS 38221 WITH SCORE 38279.1
AT ITER 8935 NEW BEST:: SOT 191541 SOS 58116 HAS SOPS 58116 HAS SOUS 38217 HAS SOUPS 38217 WITH SCORE 38275.116
AT ITER 8945 NEW BEST:: SOT 191537 SOS 58108 HAS SOPS 58108 HAS SOUS 38209 HAS SOUPS 38209 WITH SCORE 38267.108
AT ITER 8996 NEW BEST:: SOT 191503 SOS 58106 HAS SOPS 58106 HAS SOUS 38196 HAS SOUPS 38196 WITH SCORE 38254.106
AT ITER 9009 NEW BEST:: SOT 191508 SOS 58116 HAS SOPS 58116 HAS SOUS 38180 HAS SOUPS 38180 WITH SCORE 38238.116
AT ITER 9020 NEW BEST:: SOT 191504 SOS 58112 HAS SOPS 58112 HAS SOUS 38176 HAS SOUPS 38176 WITH SCORE 38234.112
AT ITER 9034 NEW BEST:: SOT 191607 SOS 58150 HAS SOPS 58150 HAS SOUS 38130 HAS SOUPS 38130 WITH SCORE 38188.15
AT ITER 9110 NEW BEST:: SOT 191671 SOS 58210 HAS SOPS 58210 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38180.21
AT ITER 9161 NEW BEST:: SOT 191623 SOS 58162 HAS SOPS 58162 HAS SOUS 38104 HAS SOUPS 38104 WITH SCORE 38162.162
AT ITER 9182 NEW BEST:: SOT 191623 SOS 58146 HAS SOPS 58146 HAS SOUS 38088 HAS SOUPS 38088 WITH SCORE 38146.146
AT ITER 9183 NEW BEST:: SOT 191602 SOS 58104 HAS SOPS 58104 HAS SOUS 38046 HAS SOUPS 38046 WITH SCORE 38104.104
AT ITER 9246 NEW BEST:: SOT 191602 SOS 58104 HAS SOPS 58104 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38093.104
AT ITER 9249 NEW BEST:: SOT 191603 SOS 58102 HAS SOPS 58102 HAS SOUS 38033 HAS SOUPS 38033 WITH SCORE 38091.102
AT ITER 9254 NEW BEST:: SOT 191562 SOS 57990 HAS SOPS 57990 HAS SOUS 37921 HAS SOUPS 37921 WITH SCORE 37978.99
AT ITER 9277 NEW BEST:: SOT 191520 SOS 57989 HAS SOPS 57989 HAS SOUS 37920 HAS SOUPS 37920 WITH SCORE 37977.989
AT ITER 9289 NEW BEST:: SOT 191619 SOS 58041 HAS SOPS 58041 HAS SOUS 37839 HAS SOUPS 37839 WITH SCORE 37897.041
AT ITER 9316 NEW BEST:: SOT 191589 SOS 58028 HAS SOPS 58028 HAS SOUS 37826 HAS SOUPS 37826 WITH SCORE 37884.028
AT ITER 9355 NEW BEST:: SOT 191585 SOS 58024 HAS SOPS 58024 HAS SOUS 37822 HAS SOUPS 37822 WITH SCORE 37880.024
AT ITER 9374 NEW BEST:: SOT 191585 SOS 58023 HAS SOPS 58023 HAS SOUS 37821 HAS SOUPS 37821 WITH SCORE 37879.023
AT ITER 9377 NEW BEST:: SOT 191585 SOS 58012 HAS SOPS 58012 HAS SOUS 37821 HAS SOUPS 37821 WITH SCORE 37879.012
AT ITER 9378 NEW BEST:: SOT 191604 SOS 58007 HAS SOPS 58007 HAS SOUS 37816 HAS SOUPS 37816 WITH SCORE 37874.007
AT ITER 9416 NEW BEST:: SOT 191604 SOS 57995 HAS SOPS 57995 HAS SOUS 37814 HAS SOUPS 37814 WITH SCORE 37871.995
AT ITER 9462 NEW BEST:: SOT 191604 SOS 57991 HAS SOPS 57991 HAS SOUS 37810 HAS SOUPS 37810 WITH SCORE 37867.991
AT ITER 9466 NEW BEST:: SOT 191581 SOS 58011 HAS SOPS 58011 HAS SOUS 37776 HAS SOUPS 37776 WITH SCORE 37834.011
AT ITER 9486 NEW BEST:: SOT 191643 SOS 58046 HAS SOPS 58046 HAS SOUS 37744 HAS SOUPS 37744 WITH SCORE 37802.046
AT ITER 9539 NEW BEST:: SOT 191638 SOS 58041 HAS SOPS 58041 HAS SOUS 37739 HAS SOUPS 37739 WITH SCORE 37797.041
AT ITER 9571 NEW BEST:: SOT 191638 SOS 58042 HAS SOPS 58042 HAS SOUS 37737 HAS SOUPS 37737 WITH SCORE 37795.042
AT ITER 9585 NEW BEST:: SOT 191645 SOS 58020 HAS SOPS 58020 HAS SOUS 37715 HAS SOUPS 37715 WITH SCORE 37773.02
AT ITER 9586 NEW BEST:: SOT 191647 SOS 57997 HAS SOPS 57997 HAS SOUS 37692 HAS SOUPS 37692 WITH SCORE 37749.997
AT ITER 9608 NEW BEST:: SOT 191638 SOS 57988 HAS SOPS 57988 HAS SOUS 37692 HAS SOUPS 37692 WITH SCORE 37749.988
AT ITER 9623 NEW BEST:: SOT 191626 SOS 57977 HAS SOPS 57977 HAS SOUS 37681 HAS SOUPS 37681 WITH SCORE 37738.977
AT ITER 9627 NEW BEST:: SOT 191622 SOS 57975 HAS SOPS 57975 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37736.975
AT ITER 9686 NEW BEST:: SOT 191608 SOS 57947 HAS SOPS 57947 HAS SOUS 37651 HAS SOUPS 37651 WITH SCORE 37708.947
AT ITER 9717 NEW BEST:: SOT 191600 SOS 57931 HAS SOPS 57931 HAS SOUS 37635 HAS SOUPS 37635 WITH SCORE 37692.931
AT ITER 9742 NEW BEST:: SOT 191590 SOS 57911 HAS SOPS 57911 HAS SOUS 37615 HAS SOUPS 37615 WITH SCORE 37672.911
AT ITER 9745 NEW BEST:: SOT 191563 SOS 57857 HAS SOPS 57857 HAS SOUS 37569 HAS SOUPS 37569 WITH SCORE 37626.857
AT ITER 9760 NEW BEST:: SOT 191548 SOS 57854 HAS SOPS 57854 HAS SOUS 37566 HAS SOUPS 37566 WITH SCORE 37623.854
AT ITER 9793 NEW BEST:: SOT 191510 SOS 57763 HAS SOPS 57763 HAS SOUS 37509 HAS SOUPS 37509 WITH SCORE 37566.763
AT ITER 9802 NEW BEST:: SOT 191509 SOS 57761 HAS SOPS 57761 HAS SOUS 37507 HAS SOUPS 37507 WITH SCORE 37564.761
AT ITER 9948 NEW BEST:: SOT 191509 SOS 57761 HAS SOPS 57761 HAS SOUS 37501 HAS SOUPS 37501 WITH SCORE 37558.761
AT ITER 9956 NEW BEST:: SOT 191453 SOS 57705 HAS SOPS 57705 HAS SOUS 37473 HAS SOUPS 37473 WITH SCORE 37530.705
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 14593168 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16122872 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

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="BusinessProcesses-PT-15"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is BusinessProcesses-PT-15, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697000568"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-15.tgz
mv BusinessProcesses-PT-15 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;