Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r011-oct2-167813599600016.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ASLink-PT-01a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r011-oct2-167813599600016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 652K
-rw-r--r-- 1 mcc users 7.1K Feb 26 13:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 13:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 13:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 13:06 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 15:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Feb 25 15:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 26 13:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 102K Feb 26 13:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 201K 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 1678719073557

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=ASLink-PT-01a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-13 14:51:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-13 14:51:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-13 14:51:16] [INFO ] Load time of PNML (sax parser for PT used): 125 ms
[2023-03-13 14:51:16] [INFO ] Transformed 431 places.
[2023-03-13 14:51:16] [INFO ] Transformed 735 transitions.
[2023-03-13 14:51:16] [INFO ] Found NUPN structural information;
[2023-03-13 14:51:16] [INFO ] Parsed PT model containing 431 places and 735 transitions and 2801 arcs in 232 ms.
[2023-03-13 14:51:16] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 431 places, 735 transitions and 2801 arcs took 10 ms.
Total runtime 280 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01a
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: 431 places, 735 transitions, 2801 arcs.
AT ITER 0 NEW BEST:: SOT 175753 SOS 121635 HAS SOPS 121635 HAS SOUS 66067 HAS SOUPS 66067 WITH SCORE 66188.635
AT ITER 7 NEW BEST:: SOT 175654 SOS 121536 HAS SOPS 121536 HAS SOUS 66065 HAS SOUPS 66065 WITH SCORE 66186.536
AT ITER 12 NEW BEST:: SOT 175601 SOS 121729 HAS SOPS 121729 HAS SOUS 65979 HAS SOUPS 65979 WITH SCORE 66100.729
AT ITER 26 NEW BEST:: SOT 175587 SOS 121715 HAS SOPS 121715 HAS SOUS 65978 HAS SOUPS 65978 WITH SCORE 66099.715
AT ITER 30 NEW BEST:: SOT 175587 SOS 121850 HAS SOPS 121850 HAS SOUS 65963 HAS SOUPS 65963 WITH SCORE 66084.85
AT ITER 42 NEW BEST:: SOT 175349 SOS 121200 HAS SOPS 121200 HAS SOUS 65487 HAS SOUPS 65487 WITH SCORE 65608.2
AT ITER 43 NEW BEST:: SOT 175246 SOS 121097 HAS SOPS 121097 HAS SOUS 65485 HAS SOUPS 65485 WITH SCORE 65606.097
AT ITER 51 NEW BEST:: SOT 175176 SOS 121040 HAS SOPS 121040 HAS SOUS 65484 HAS SOUPS 65484 WITH SCORE 65605.04
AT ITER 68 NEW BEST:: SOT 175176 SOS 120801 HAS SOPS 120801 HAS SOUS 65483 HAS SOUPS 65483 WITH SCORE 65603.801
AT ITER 77 NEW BEST:: SOT 175058 SOS 120794 HAS SOPS 120794 HAS SOUS 65475 HAS SOUPS 65475 WITH SCORE 65595.794
AT ITER 83 NEW BEST:: SOT 175055 SOS 120619 HAS SOPS 120619 HAS SOUS 65350 HAS SOUPS 65350 WITH SCORE 65470.619
AT ITER 84 NEW BEST:: SOT 174887 SOS 120606 HAS SOPS 120606 HAS SOUS 65337 HAS SOUPS 65337 WITH SCORE 65457.606
AT ITER 96 NEW BEST:: SOT 174500 SOS 120648 HAS SOPS 120648 HAS SOUS 64581 HAS SOUPS 64581 WITH SCORE 64701.648
AT ITER 102 NEW BEST:: SOT 174439 SOS 120586 HAS SOPS 120586 HAS SOUS 64519 HAS SOUPS 64519 WITH SCORE 64639.586
AT ITER 105 NEW BEST:: SOT 174439 SOS 120098 HAS SOPS 120098 HAS SOUS 64458 HAS SOUPS 64458 WITH SCORE 64578.098
AT ITER 111 NEW BEST:: SOT 174437 SOS 119860 HAS SOPS 119860 HAS SOUS 64334 HAS SOUPS 64334 WITH SCORE 64453.86
AT ITER 112 NEW BEST:: SOT 174385 SOS 119505 HAS SOPS 119505 HAS SOUS 64230 HAS SOUPS 64230 WITH SCORE 64349.505
AT ITER 120 NEW BEST:: SOT 174385 SOS 119505 HAS SOPS 119505 HAS SOUS 64226 HAS SOUPS 64226 WITH SCORE 64345.505
AT ITER 123 NEW BEST:: SOT 174336 SOS 119456 HAS SOPS 119456 HAS SOUS 64172 HAS SOUPS 64172 WITH SCORE 64291.456
AT ITER 124 NEW BEST:: SOT 174250 SOS 119370 HAS SOPS 119370 HAS SOUS 64086 HAS SOUPS 64086 WITH SCORE 64205.37
AT ITER 135 NEW BEST:: SOT 173847 SOS 119075 HAS SOPS 119075 HAS SOUS 63752 HAS SOUPS 63752 WITH SCORE 63871.075
AT ITER 142 NEW BEST:: SOT 171870 SOS 117374 HAS SOPS 117374 HAS SOUS 61820 HAS SOUPS 61820 WITH SCORE 61937.374
AT ITER 154 NEW BEST:: SOT 171870 SOS 117331 HAS SOPS 117331 HAS SOUS 61775 HAS SOUPS 61775 WITH SCORE 61892.331
AT ITER 162 NEW BEST:: SOT 171868 SOS 117290 HAS SOPS 117290 HAS SOUS 61732 HAS SOUPS 61732 WITH SCORE 61849.29
AT ITER 165 NEW BEST:: SOT 171868 SOS 117060 HAS SOPS 117060 HAS SOUS 61732 HAS SOUPS 61732 WITH SCORE 61849.06
AT ITER 166 NEW BEST:: SOT 171818 SOS 117010 HAS SOPS 117010 HAS SOUS 61725 HAS SOUPS 61725 WITH SCORE 61842.01
AT ITER 170 NEW BEST:: SOT 171742 SOS 116934 HAS SOPS 116934 HAS SOUS 61678 HAS SOUPS 61678 WITH SCORE 61794.934
AT ITER 174 NEW BEST:: SOT 170756 SOS 115909 HAS SOPS 115909 HAS SOUS 60652 HAS SOUPS 60652 WITH SCORE 60767.909
AT ITER 178 NEW BEST:: SOT 170661 SOS 115814 HAS SOPS 115814 HAS SOUS 60581 HAS SOUPS 60581 WITH SCORE 60696.814
AT ITER 187 NEW BEST:: SOT 170690 SOS 115735 HAS SOPS 115735 HAS SOUS 60390 HAS SOUPS 60390 WITH SCORE 60505.735
AT ITER 189 NEW BEST:: SOT 170568 SOS 115613 HAS SOPS 115613 HAS SOUS 60266 HAS SOUPS 60266 WITH SCORE 60381.613
AT ITER 194 NEW BEST:: SOT 169878 SOS 114923 HAS SOPS 114923 HAS SOUS 59576 HAS SOUPS 59576 WITH SCORE 59690.923
AT ITER 209 NEW BEST:: SOT 169082 SOS 115416 HAS SOPS 115416 HAS SOUS 58850 HAS SOUPS 58850 WITH SCORE 58965.416
AT ITER 218 NEW BEST:: SOT 169015 SOS 115354 HAS SOPS 115354 HAS SOUS 58818 HAS SOUPS 58818 WITH SCORE 58933.354
AT ITER 230 NEW BEST:: SOT 169096 SOS 115352 HAS SOPS 115352 HAS SOUS 58816 HAS SOUPS 58816 WITH SCORE 58931.352
AT ITER 239 NEW BEST:: SOT 169096 SOS 115351 HAS SOPS 115351 HAS SOUS 58815 HAS SOUPS 58815 WITH SCORE 58930.351
AT ITER 247 NEW BEST:: SOT 169050 SOS 115259 HAS SOPS 115259 HAS SOUS 58723 HAS SOUPS 58723 WITH SCORE 58838.259
AT ITER 252 NEW BEST:: SOT 169073 SOS 115259 HAS SOPS 115259 HAS SOUS 58722 HAS SOUPS 58722 WITH SCORE 58837.259
AT ITER 272 NEW BEST:: SOT 168719 SOS 114842 HAS SOPS 114842 HAS SOUS 58305 HAS SOUPS 58305 WITH SCORE 58419.842
AT ITER 277 NEW BEST:: SOT 168544 SOS 114317 HAS SOPS 114317 HAS SOUS 57953 HAS SOUPS 57953 WITH SCORE 58067.317
AT ITER 278 NEW BEST:: SOT 168491 SOS 114283 HAS SOPS 114283 HAS SOUS 57943 HAS SOUPS 57943 WITH SCORE 58057.283
AT ITER 285 NEW BEST:: SOT 168480 SOS 114273 HAS SOPS 114273 HAS SOUS 57934 HAS SOUPS 57934 WITH SCORE 58048.273
AT ITER 300 NEW BEST:: SOT 168509 SOS 114209 HAS SOPS 114209 HAS SOUS 57895 HAS SOUPS 57895 WITH SCORE 58009.209
AT ITER 302 NEW BEST:: SOT 168505 SOS 114205 HAS SOPS 114205 HAS SOUS 57891 HAS SOUPS 57891 WITH SCORE 58005.205
AT ITER 332 NEW BEST:: SOT 168505 SOS 114210 HAS SOPS 114210 HAS SOUS 57889 HAS SOUPS 57889 WITH SCORE 58003.21
AT ITER 337 NEW BEST:: SOT 168505 SOS 114193 HAS SOPS 114193 HAS SOUS 57872 HAS SOUPS 57872 WITH SCORE 57986.193
AT ITER 344 NEW BEST:: SOT 168499 SOS 114187 HAS SOPS 114187 HAS SOUS 57866 HAS SOUPS 57866 WITH SCORE 57980.187
AT ITER 345 NEW BEST:: SOT 168483 SOS 114166 HAS SOPS 114166 HAS SOUS 57845 HAS SOUPS 57845 WITH SCORE 57959.166
AT ITER 367 NEW BEST:: SOT 168464 SOS 114128 HAS SOPS 114128 HAS SOUS 57807 HAS SOUPS 57807 WITH SCORE 57921.128
AT ITER 369 NEW BEST:: SOT 168463 SOS 114127 HAS SOPS 114127 HAS SOUS 57806 HAS SOUPS 57806 WITH SCORE 57920.127
AT ITER 375 NEW BEST:: SOT 168462 SOS 114115 HAS SOPS 114115 HAS SOUS 57801 HAS SOUPS 57801 WITH SCORE 57915.115
AT ITER 381 NEW BEST:: SOT 166447 SOS 113105 HAS SOPS 113105 HAS SOUS 55622 HAS SOUPS 55622 WITH SCORE 55735.105
AT ITER 388 NEW BEST:: SOT 166232 SOS 112890 HAS SOPS 112890 HAS SOUS 55613 HAS SOUPS 55613 WITH SCORE 55725.89
AT ITER 390 NEW BEST:: SOT 166211 SOS 112869 HAS SOPS 112869 HAS SOUS 55592 HAS SOUPS 55592 WITH SCORE 55704.869
AT ITER 405 NEW BEST:: SOT 166216 SOS 112868 HAS SOPS 112868 HAS SOUS 55590 HAS SOUPS 55590 WITH SCORE 55702.868
AT ITER 407 NEW BEST:: SOT 166190 SOS 112842 HAS SOPS 112842 HAS SOUS 55546 HAS SOUPS 55546 WITH SCORE 55658.842
AT ITER 409 NEW BEST:: SOT 166016 SOS 112695 HAS SOPS 112695 HAS SOUS 55285 HAS SOUPS 55285 WITH SCORE 55397.695
AT ITER 426 NEW BEST:: SOT 166027 SOS 112706 HAS SOPS 112706 HAS SOUS 55216 HAS SOUPS 55216 WITH SCORE 55328.706
AT ITER 427 NEW BEST:: SOT 165964 SOS 112554 HAS SOPS 112554 HAS SOUS 55064 HAS SOUPS 55064 WITH SCORE 55176.554
AT ITER 432 NEW BEST:: SOT 165948 SOS 112387 HAS SOPS 112387 HAS SOUS 54925 HAS SOUPS 54925 WITH SCORE 55037.387
AT ITER 433 NEW BEST:: SOT 165904 SOS 112343 HAS SOPS 112343 HAS SOUS 54919 HAS SOUPS 54919 WITH SCORE 55031.343
AT ITER 442 NEW BEST:: SOT 165812 SOS 112343 HAS SOPS 112343 HAS SOUS 54829 HAS SOUPS 54829 WITH SCORE 54941.343
AT ITER 448 NEW BEST:: SOT 165756 SOS 112286 HAS SOPS 112286 HAS SOUS 54689 HAS SOUPS 54689 WITH SCORE 54801.286
AT ITER 452 NEW BEST:: SOT 165756 SOS 112286 HAS SOPS 112286 HAS SOUS 54676 HAS SOUPS 54676 WITH SCORE 54788.286
AT ITER 464 NEW BEST:: SOT 165756 SOS 112568 HAS SOPS 112568 HAS SOUS 54638 HAS SOUPS 54638 WITH SCORE 54750.568
AT ITER 472 NEW BEST:: SOT 165756 SOS 112391 HAS SOPS 112391 HAS SOUS 54637 HAS SOUPS 54637 WITH SCORE 54749.391
AT ITER 488 NEW BEST:: SOT 165756 SOS 112381 HAS SOPS 112381 HAS SOUS 54637 HAS SOUPS 54637 WITH SCORE 54749.381
AT ITER 491 NEW BEST:: SOT 163153 SOS 109638 HAS SOPS 109638 HAS SOUS 53371 HAS SOUPS 53371 WITH SCORE 53480.638
AT ITER 493 NEW BEST:: SOT 163149 SOS 109472 HAS SOPS 109472 HAS SOUS 53172 HAS SOUPS 53172 WITH SCORE 53281.472
AT ITER 527 NEW BEST:: SOT 162537 SOS 108885 HAS SOPS 108885 HAS SOUS 52633 HAS SOUPS 52633 WITH SCORE 52741.885
AT ITER 534 NEW BEST:: SOT 162537 SOS 108883 HAS SOPS 108883 HAS SOUS 52623 HAS SOUPS 52623 WITH SCORE 52731.883
AT ITER 566 NEW BEST:: SOT 162537 SOS 108939 HAS SOPS 108939 HAS SOUS 52621 HAS SOUPS 52621 WITH SCORE 52729.939
AT ITER 589 NEW BEST:: SOT 162387 SOS 108577 HAS SOPS 108577 HAS SOUS 52259 HAS SOUPS 52259 WITH SCORE 52367.577
AT ITER 590 NEW BEST:: SOT 162211 SOS 108492 HAS SOPS 108492 HAS SOUS 52174 HAS SOUPS 52174 WITH SCORE 52282.492
AT ITER 600 NEW BEST:: SOT 162211 SOS 108492 HAS SOPS 108492 HAS SOUS 52161 HAS SOUPS 52161 WITH SCORE 52269.492
AT ITER 602 NEW BEST:: SOT 159848 SOS 106127 HAS SOPS 106127 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49902.127
AT ITER 606 NEW BEST:: SOT 159848 SOS 105831 HAS SOPS 105831 HAS SOUS 49796 HAS SOUPS 49796 WITH SCORE 49901.831
AT ITER 609 NEW BEST:: SOT 159838 SOS 105801 HAS SOPS 105801 HAS SOUS 49785 HAS SOUPS 49785 WITH SCORE 49890.801
AT ITER 620 NEW BEST:: SOT 159809 SOS 105772 HAS SOPS 105772 HAS SOUS 49756 HAS SOUPS 49756 WITH SCORE 49861.772
AT ITER 625 NEW BEST:: SOT 159751 SOS 105706 HAS SOPS 105706 HAS SOUS 49690 HAS SOUPS 49690 WITH SCORE 49795.706
AT ITER 635 NEW BEST:: SOT 159751 SOS 105734 HAS SOPS 105734 HAS SOUS 49683 HAS SOUPS 49683 WITH SCORE 49788.734
AT ITER 666 NEW BEST:: SOT 159838 SOS 105689 HAS SOPS 105689 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49705.689
AT ITER 690 NEW BEST:: SOT 159838 SOS 105689 HAS SOPS 105689 HAS SOUS 49571 HAS SOUPS 49571 WITH SCORE 49676.689
AT ITER 696 NEW BEST:: SOT 159089 SOS 104977 HAS SOPS 104977 HAS SOUS 49436 HAS SOUPS 49436 WITH SCORE 49540.977
AT ITER 710 NEW BEST:: SOT 159108 SOS 104996 HAS SOPS 104996 HAS SOUS 49423 HAS SOUPS 49423 WITH SCORE 49527.996
AT ITER 722 NEW BEST:: SOT 159081 SOS 104942 HAS SOPS 104942 HAS SOUS 49369 HAS SOUPS 49369 WITH SCORE 49473.942
AT ITER 729 NEW BEST:: SOT 159080 SOS 104886 HAS SOPS 104886 HAS SOUS 49312 HAS SOUPS 49312 WITH SCORE 49416.886
AT ITER 730 NEW BEST:: SOT 159044 SOS 104982 HAS SOPS 104982 HAS SOUS 49264 HAS SOUPS 49264 WITH SCORE 49368.982
AT ITER 734 NEW BEST:: SOT 158760 SOS 105007 HAS SOPS 105007 HAS SOUS 48872 HAS SOUPS 48872 WITH SCORE 48977.007
AT ITER 741 NEW BEST:: SOT 158732 SOS 104979 HAS SOPS 104979 HAS SOUS 48857 HAS SOUPS 48857 WITH SCORE 48961.979
AT ITER 747 NEW BEST:: SOT 158731 SOS 104977 HAS SOPS 104977 HAS SOUS 48855 HAS SOUPS 48855 WITH SCORE 48959.977
AT ITER 749 NEW BEST:: SOT 158688 SOS 105396 HAS SOPS 105396 HAS SOUS 48854 HAS SOUPS 48854 WITH SCORE 48959.396
AT ITER 754 NEW BEST:: SOT 158573 SOS 105366 HAS SOPS 105366 HAS SOUS 48824 HAS SOUPS 48824 WITH SCORE 48929.366
AT ITER 757 NEW BEST:: SOT 158607 SOS 105331 HAS SOPS 105331 HAS SOUS 48718 HAS SOUPS 48718 WITH SCORE 48823.331
AT ITER 761 NEW BEST:: SOT 158469 SOS 104833 HAS SOPS 104833 HAS SOUS 48284 HAS SOUPS 48284 WITH SCORE 48388.833
AT ITER 780 NEW BEST:: SOT 158466 SOS 104828 HAS SOPS 104828 HAS SOUS 48279 HAS SOUPS 48279 WITH SCORE 48383.828
AT ITER 781 NEW BEST:: SOT 158481 SOS 104756 HAS SOPS 104756 HAS SOUS 48252 HAS SOUPS 48252 WITH SCORE 48356.756
AT ITER 803 NEW BEST:: SOT 158481 SOS 104754 HAS SOPS 104754 HAS SOUS 48250 HAS SOUPS 48250 WITH SCORE 48354.754
AT ITER 820 NEW BEST:: SOT 158070 SOS 104396 HAS SOPS 104396 HAS SOUS 47876 HAS SOUPS 47876 WITH SCORE 47980.396
AT ITER 853 NEW BEST:: SOT 157999 SOS 104472 HAS SOPS 104472 HAS SOUS 47497 HAS SOUPS 47497 WITH SCORE 47601.472
AT ITER 862 NEW BEST:: SOT 157963 SOS 104436 HAS SOPS 104436 HAS SOUS 47494 HAS SOUPS 47494 WITH SCORE 47598.436
AT ITER 874 NEW BEST:: SOT 157916 SOS 104444 HAS SOPS 104444 HAS SOUS 47448 HAS SOUPS 47448 WITH SCORE 47552.444
AT ITER 879 NEW BEST:: SOT 157916 SOS 104456 HAS SOPS 104456 HAS SOUS 47436 HAS SOUPS 47436 WITH SCORE 47540.456
AT ITER 881 NEW BEST:: SOT 157625 SOS 104310 HAS SOPS 104310 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47221.31
AT ITER 907 NEW BEST:: SOT 156925 SOS 103644 HAS SOPS 103644 HAS SOUS 46452 HAS SOUPS 46452 WITH SCORE 46555.644
AT ITER 924 NEW BEST:: SOT 156925 SOS 102886 HAS SOPS 102886 HAS SOUS 46452 HAS SOUPS 46452 WITH SCORE 46554.886
AT ITER 927 NEW BEST:: SOT 156894 SOS 102855 HAS SOPS 102855 HAS SOUS 46295 HAS SOUPS 46295 WITH SCORE 46397.855
AT ITER 932 NEW BEST:: SOT 156718 SOS 102679 HAS SOPS 102679 HAS SOUS 46119 HAS SOUPS 46119 WITH SCORE 46221.679
AT ITER 933 NEW BEST:: SOT 156712 SOS 102649 HAS SOPS 102649 HAS SOUS 46107 HAS SOUPS 46107 WITH SCORE 46209.649
AT ITER 950 NEW BEST:: SOT 156524 SOS 102174 HAS SOPS 102174 HAS SOUS 45923 HAS SOUPS 45923 WITH SCORE 46025.174
AT ITER 978 NEW BEST:: SOT 156505 SOS 102155 HAS SOPS 102155 HAS SOUS 45904 HAS SOUPS 45904 WITH SCORE 46006.155
AT ITER 979 NEW BEST:: SOT 156542 SOS 102192 HAS SOPS 102192 HAS SOUS 45880 HAS SOUPS 45880 WITH SCORE 45982.192
AT ITER 997 NEW BEST:: SOT 156517 SOS 102192 HAS SOPS 102192 HAS SOUS 45830 HAS SOUPS 45830 WITH SCORE 45932.192
AT ITER 1018 NEW BEST:: SOT 156489 SOS 102004 HAS SOPS 102004 HAS SOUS 45712 HAS SOUPS 45712 WITH SCORE 45814.004
AT ITER 1019 NEW BEST:: SOT 156472 SOS 101913 HAS SOPS 101913 HAS SOUS 45621 HAS SOUPS 45621 WITH SCORE 45722.913
AT ITER 1020 NEW BEST:: SOT 156391 SOS 101867 HAS SOPS 101867 HAS SOUS 45541 HAS SOUPS 45541 WITH SCORE 45642.867
AT ITER 1022 NEW BEST:: SOT 156405 SOS 101817 HAS SOPS 101817 HAS SOUS 45516 HAS SOUPS 45516 WITH SCORE 45617.817
AT ITER 1029 NEW BEST:: SOT 156248 SOS 101659 HAS SOPS 101659 HAS SOUS 45434 HAS SOUPS 45434 WITH SCORE 45535.659
AT ITER 1064 NEW BEST:: SOT 156107 SOS 101126 HAS SOPS 101126 HAS SOUS 45295 HAS SOUPS 45295 WITH SCORE 45396.126
AT ITER 1066 NEW BEST:: SOT 156105 SOS 101133 HAS SOPS 101133 HAS SOUS 45291 HAS SOUPS 45291 WITH SCORE 45392.133
AT ITER 1067 NEW BEST:: SOT 156078 SOS 101106 HAS SOPS 101106 HAS SOUS 45270 HAS SOUPS 45270 WITH SCORE 45371.106
AT ITER 1069 NEW BEST:: SOT 156071 SOS 101108 HAS SOPS 101108 HAS SOUS 45261 HAS SOUPS 45261 WITH SCORE 45362.108
AT ITER 1078 NEW BEST:: SOT 155629 SOS 100609 HAS SOPS 100609 HAS SOUS 44817 HAS SOUPS 44817 WITH SCORE 44917.609
AT ITER 1095 NEW BEST:: SOT 155554 SOS 100502 HAS SOPS 100502 HAS SOUS 44710 HAS SOUPS 44710 WITH SCORE 44810.502
AT ITER 1100 NEW BEST:: SOT 155554 SOS 100384 HAS SOPS 100384 HAS SOUS 44672 HAS SOUPS 44672 WITH SCORE 44772.384
AT ITER 1108 NEW BEST:: SOT 155497 SOS 100387 HAS SOPS 100387 HAS SOUS 44668 HAS SOUPS 44668 WITH SCORE 44768.387
AT ITER 1125 NEW BEST:: SOT 155501 SOS 100432 HAS SOPS 100432 HAS SOUS 44659 HAS SOUPS 44659 WITH SCORE 44759.432
AT ITER 1130 NEW BEST:: SOT 155039 SOS 99970 HAS SOPS 99970 HAS SOUS 44197 HAS SOUPS 44197 WITH SCORE 44296.97
AT ITER 1139 NEW BEST:: SOT 155028 SOS 99959 HAS SOPS 99959 HAS SOUS 44185 HAS SOUPS 44185 WITH SCORE 44284.959
AT ITER 1146 NEW BEST:: SOT 155003 SOS 99940 HAS SOPS 99940 HAS SOUS 44166 HAS SOUPS 44166 WITH SCORE 44265.94
AT ITER 1149 NEW BEST:: SOT 154871 SOS 99604 HAS SOPS 99604 HAS SOUS 43902 HAS SOUPS 43902 WITH SCORE 44001.604
AT ITER 1185 NEW BEST:: SOT 154870 SOS 99466 HAS SOPS 99466 HAS SOUS 43883 HAS SOUPS 43883 WITH SCORE 43982.466
AT ITER 1186 NEW BEST:: SOT 154719 SOS 99312 HAS SOPS 99312 HAS SOUS 43732 HAS SOUPS 43732 WITH SCORE 43831.312
AT ITER 1190 NEW BEST:: SOT 152750 SOS 97344 HAS SOPS 97344 HAS SOUS 41778 HAS SOUPS 41778 WITH SCORE 41875.344
AT ITER 1195 NEW BEST:: SOT 152880 SOS 97408 HAS SOPS 97408 HAS SOUS 41772 HAS SOUPS 41772 WITH SCORE 41869.408
AT ITER 1198 NEW BEST:: SOT 152858 SOS 97386 HAS SOPS 97386 HAS SOUS 41750 HAS SOUPS 41750 WITH SCORE 41847.386
AT ITER 1201 NEW BEST:: SOT 152761 SOS 97468 HAS SOPS 97468 HAS SOUS 41580 HAS SOUPS 41580 WITH SCORE 41677.468
AT ITER 1205 NEW BEST:: SOT 152710 SOS 97417 HAS SOPS 97417 HAS SOUS 41542 HAS SOUPS 41542 WITH SCORE 41639.417
AT ITER 1218 NEW BEST:: SOT 152613 SOS 97226 HAS SOPS 97226 HAS SOUS 41351 HAS SOUPS 41351 WITH SCORE 41448.226
AT ITER 1229 NEW BEST:: SOT 152698 SOS 97368 HAS SOPS 97368 HAS SOUS 41273 HAS SOUPS 41273 WITH SCORE 41370.368
AT ITER 1233 NEW BEST:: SOT 152610 SOS 97186 HAS SOPS 97186 HAS SOUS 41187 HAS SOUPS 41187 WITH SCORE 41284.186
AT ITER 1248 NEW BEST:: SOT 152608 SOS 97156 HAS SOPS 97156 HAS SOUS 41183 HAS SOUPS 41183 WITH SCORE 41280.156
AT ITER 1249 NEW BEST:: SOT 152606 SOS 97152 HAS SOPS 97152 HAS SOUS 41179 HAS SOUPS 41179 WITH SCORE 41276.152
AT ITER 1299 NEW BEST:: SOT 152606 SOS 96404 HAS SOPS 96404 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41131.404
AT ITER 1315 NEW BEST:: SOT 152576 SOS 96374 HAS SOPS 96374 HAS SOUS 40997 HAS SOUPS 40997 WITH SCORE 41093.374
AT ITER 1318 NEW BEST:: SOT 152533 SOS 95388 HAS SOPS 95388 HAS SOUS 40990 HAS SOUPS 40990 WITH SCORE 41085.388
AT ITER 1323 NEW BEST:: SOT 152533 SOS 95370 HAS SOPS 95370 HAS SOUS 40989 HAS SOUPS 40989 WITH SCORE 41084.37
AT ITER 1334 NEW BEST:: SOT 152250 SOS 95762 HAS SOPS 95762 HAS SOUS 40982 HAS SOUPS 40982 WITH SCORE 41077.762
AT ITER 1362 NEW BEST:: SOT 152250 SOS 95750 HAS SOPS 95750 HAS SOUS 40982 HAS SOUPS 40982 WITH SCORE 41077.75
AT ITER 1366 NEW BEST:: SOT 152183 SOS 95683 HAS SOPS 95683 HAS SOUS 40915 HAS SOUPS 40915 WITH SCORE 41010.683
AT ITER 1371 NEW BEST:: SOT 150336 SOS 93836 HAS SOPS 93836 HAS SOUS 39068 HAS SOUPS 39068 WITH SCORE 39161.836
AT ITER 1405 NEW BEST:: SOT 150308 SOS 93808 HAS SOPS 93808 HAS SOUS 38962 HAS SOUPS 38962 WITH SCORE 39055.808
AT ITER 1410 NEW BEST:: SOT 150243 SOS 93743 HAS SOPS 93743 HAS SOUS 38865 HAS SOUPS 38865 WITH SCORE 38958.743
AT ITER 1423 NEW BEST:: SOT 150242 SOS 93727 HAS SOPS 93727 HAS SOUS 38864 HAS SOUPS 38864 WITH SCORE 38957.727
AT ITER 1432 NEW BEST:: SOT 149965 SOS 93522 HAS SOPS 93522 HAS SOUS 38618 HAS SOUPS 38618 WITH SCORE 38711.522
AT ITER 1447 NEW BEST:: SOT 149963 SOS 93520 HAS SOPS 93520 HAS SOUS 38616 HAS SOUPS 38616 WITH SCORE 38709.52
AT ITER 1460 NEW BEST:: SOT 149937 SOS 93494 HAS SOPS 93494 HAS SOUS 38538 HAS SOUPS 38538 WITH SCORE 38631.494
AT ITER 1472 NEW BEST:: SOT 149924 SOS 93481 HAS SOPS 93481 HAS SOUS 38525 HAS SOUPS 38525 WITH SCORE 38618.481
AT ITER 1488 NEW BEST:: SOT 149813 SOS 93268 HAS SOPS 93268 HAS SOUS 38466 HAS SOUPS 38466 WITH SCORE 38559.268
AT ITER 1500 NEW BEST:: SOT 149812 SOS 93266 HAS SOPS 93266 HAS SOUS 38464 HAS SOUPS 38464 WITH SCORE 38557.266
AT ITER 1536 NEW BEST:: SOT 149743 SOS 93128 HAS SOPS 93128 HAS SOUS 38326 HAS SOUPS 38326 WITH SCORE 38419.128
AT ITER 1539 NEW BEST:: SOT 149737 SOS 93122 HAS SOPS 93122 HAS SOUS 38319 HAS SOUPS 38319 WITH SCORE 38412.122
AT ITER 1546 NEW BEST:: SOT 149575 SOS 93416 HAS SOPS 93416 HAS SOUS 38175 HAS SOUPS 38175 WITH SCORE 38268.416
AT ITER 1554 NEW BEST:: SOT 149512 SOS 93353 HAS SOPS 93353 HAS SOUS 38111 HAS SOUPS 38111 WITH SCORE 38204.353
AT ITER 1581 NEW BEST:: SOT 149511 SOS 93330 HAS SOPS 93330 HAS SOUS 38109 HAS SOUPS 38109 WITH SCORE 38202.33
AT ITER 1626 NEW BEST:: SOT 149471 SOS 93290 HAS SOPS 93290 HAS SOUS 38109 HAS SOUPS 38109 WITH SCORE 38202.29
AT ITER 1632 NEW BEST:: SOT 149381 SOS 93200 HAS SOPS 93200 HAS SOUS 37963 HAS SOUPS 37963 WITH SCORE 38056.2
AT ITER 1654 NEW BEST:: SOT 149378 SOS 93197 HAS SOPS 93197 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 38044.197
AT ITER 1681 NEW BEST:: SOT 149378 SOS 93171 HAS SOPS 93171 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 38044.171
AT ITER 1685 NEW BEST:: SOT 149070 SOS 93046 HAS SOPS 93046 HAS SOUS 37704 HAS SOUPS 37704 WITH SCORE 37797.046
AT ITER 1701 NEW BEST:: SOT 148658 SOS 94280 HAS SOPS 94280 HAS SOUS 37324 HAS SOUPS 37324 WITH SCORE 37418.28
AT ITER 1712 NEW BEST:: SOT 148643 SOS 94250 HAS SOPS 94250 HAS SOUS 37294 HAS SOUPS 37294 WITH SCORE 37388.25
AT ITER 1721 NEW BEST:: SOT 148627 SOS 94193 HAS SOPS 94193 HAS SOUS 37263 HAS SOUPS 37263 WITH SCORE 37357.193
AT ITER 1733 NEW BEST:: SOT 148669 SOS 94235 HAS SOPS 94235 HAS SOUS 37256 HAS SOUPS 37256 WITH SCORE 37350.235
AT ITER 1741 NEW BEST:: SOT 148522 SOS 94035 HAS SOPS 94035 HAS SOUS 37163 HAS SOUPS 37163 WITH SCORE 37257.035
AT ITER 1742 NEW BEST:: SOT 148521 SOS 94034 HAS SOPS 94034 HAS SOUS 37162 HAS SOUPS 37162 WITH SCORE 37256.034
AT ITER 1746 NEW BEST:: SOT 148521 SOS 93817 HAS SOPS 93817 HAS SOUS 37148 HAS SOUPS 37148 WITH SCORE 37241.817
AT ITER 1748 NEW BEST:: SOT 148467 SOS 93763 HAS SOPS 93763 HAS SOUS 37058 HAS SOUPS 37058 WITH SCORE 37151.763
AT ITER 1749 NEW BEST:: SOT 148454 SOS 93782 HAS SOPS 93782 HAS SOUS 37022 HAS SOUPS 37022 WITH SCORE 37115.782
AT ITER 1754 NEW BEST:: SOT 148432 SOS 93760 HAS SOPS 93760 HAS SOUS 36969 HAS SOUPS 36969 WITH SCORE 37062.76
AT ITER 1767 NEW BEST:: SOT 148398 SOS 93701 HAS SOPS 93701 HAS SOUS 36957 HAS SOUPS 36957 WITH SCORE 37050.701
AT ITER 1771 NEW BEST:: SOT 148365 SOS 93668 HAS SOPS 93668 HAS SOUS 36924 HAS SOUPS 36924 WITH SCORE 37017.668
AT ITER 1773 NEW BEST:: SOT 148341 SOS 92999 HAS SOPS 92999 HAS SOUS 36821 HAS SOUPS 36821 WITH SCORE 36913.999
AT ITER 1775 NEW BEST:: SOT 148334 SOS 92989 HAS SOPS 92989 HAS SOUS 36811 HAS SOUPS 36811 WITH SCORE 36903.989
AT ITER 1796 NEW BEST:: SOT 148307 SOS 92890 HAS SOPS 92890 HAS SOUS 36702 HAS SOUPS 36702 WITH SCORE 36794.89
AT ITER 1800 NEW BEST:: SOT 148310 SOS 92893 HAS SOPS 92893 HAS SOUS 36695 HAS SOUPS 36695 WITH SCORE 36787.893
AT ITER 1801 NEW BEST:: SOT 148303 SOS 92778 HAS SOPS 92778 HAS SOUS 36575 HAS SOUPS 36575 WITH SCORE 36667.778
AT ITER 1802 NEW BEST:: SOT 148277 SOS 92752 HAS SOPS 92752 HAS SOUS 36549 HAS SOUPS 36549 WITH SCORE 36641.752
AT ITER 1805 NEW BEST:: SOT 148378 SOS 92748 HAS SOPS 92748 HAS SOUS 36537 HAS SOUPS 36537 WITH SCORE 36629.748
AT ITER 1833 NEW BEST:: SOT 148372 SOS 92742 HAS SOPS 92742 HAS SOUS 36524 HAS SOUPS 36524 WITH SCORE 36616.742
AT ITER 1836 NEW BEST:: SOT 148366 SOS 92691 HAS SOPS 92691 HAS SOUS 36515 HAS SOUPS 36515 WITH SCORE 36607.691
AT ITER 1847 NEW BEST:: SOT 148294 SOS 92619 HAS SOPS 92619 HAS SOUS 36443 HAS SOUPS 36443 WITH SCORE 36535.619
AT ITER 1848 NEW BEST:: SOT 148289 SOS 92614 HAS SOPS 92614 HAS SOUS 36438 HAS SOUPS 36438 WITH SCORE 36530.614
AT ITER 1867 NEW BEST:: SOT 148052 SOS 89981 HAS SOPS 89981 HAS SOUS 35852 HAS SOUPS 35852 WITH SCORE 35941.981
AT ITER 1871 NEW BEST:: SOT 148042 SOS 89961 HAS SOPS 89961 HAS SOUS 35832 HAS SOUPS 35832 WITH SCORE 35921.961
AT ITER 1873 NEW BEST:: SOT 148041 SOS 89960 HAS SOPS 89960 HAS SOUS 35829 HAS SOUPS 35829 WITH SCORE 35918.96
AT ITER 1875 NEW BEST:: SOT 148013 SOS 89830 HAS SOPS 89830 HAS SOUS 35699 HAS SOUPS 35699 WITH SCORE 35788.83
AT ITER 1890 NEW BEST:: SOT 148026 SOS 89843 HAS SOPS 89843 HAS SOUS 35697 HAS SOUPS 35697 WITH SCORE 35786.843
AT ITER 1905 NEW BEST:: SOT 148016 SOS 89833 HAS SOPS 89833 HAS SOUS 35693 HAS SOUPS 35693 WITH SCORE 35782.833
AT ITER 1914 NEW BEST:: SOT 148163 SOS 90356 HAS SOPS 90356 HAS SOUS 35552 HAS SOUPS 35552 WITH SCORE 35642.356
AT ITER 1942 NEW BEST:: SOT 148157 SOS 90344 HAS SOPS 90344 HAS SOUS 35534 HAS SOUPS 35534 WITH SCORE 35624.344
AT ITER 1954 NEW BEST:: SOT 148155 SOS 90342 HAS SOPS 90342 HAS SOUS 35531 HAS SOUPS 35531 WITH SCORE 35621.342
AT ITER 1964 NEW BEST:: SOT 148155 SOS 90362 HAS SOPS 90362 HAS SOUS 35519 HAS SOUPS 35519 WITH SCORE 35609.362
AT ITER 1975 NEW BEST:: SOT 148069 SOS 90242 HAS SOPS 90242 HAS SOUS 35474 HAS SOUPS 35474 WITH SCORE 35564.242
AT ITER 1991 NEW BEST:: SOT 148069 SOS 90241 HAS SOPS 90241 HAS SOUS 35474 HAS SOUPS 35474 WITH SCORE 35564.241
AT ITER 2014 NEW BEST:: SOT 148047 SOS 90219 HAS SOPS 90219 HAS SOUS 35461 HAS SOUPS 35461 WITH SCORE 35551.219
AT ITER 2016 NEW BEST:: SOT 147956 SOS 90084 HAS SOPS 90084 HAS SOUS 35326 HAS SOUPS 35326 WITH SCORE 35416.084
AT ITER 2020 NEW BEST:: SOT 147930 SOS 90058 HAS SOPS 90058 HAS SOUS 35274 HAS SOUPS 35274 WITH SCORE 35364.058
AT ITER 2033 NEW BEST:: SOT 147927 SOS 90047 HAS SOPS 90047 HAS SOUS 35269 HAS SOUPS 35269 WITH SCORE 35359.047
AT ITER 2041 NEW BEST:: SOT 147959 SOS 90097 HAS SOPS 90097 HAS SOUS 35236 HAS SOUPS 35236 WITH SCORE 35326.097
AT ITER 2045 NEW BEST:: SOT 147767 SOS 89905 HAS SOPS 89905 HAS SOUS 35002 HAS SOUPS 35002 WITH SCORE 35091.905
AT ITER 2069 NEW BEST:: SOT 147767 SOS 89879 HAS SOPS 89879 HAS SOUS 34996 HAS SOUPS 34996 WITH SCORE 35085.879
AT ITER 2095 NEW BEST:: SOT 147761 SOS 89873 HAS SOPS 89873 HAS SOUS 34992 HAS SOUPS 34992 WITH SCORE 35081.873
AT ITER 2099 NEW BEST:: SOT 147729 SOS 89841 HAS SOPS 89841 HAS SOUS 34960 HAS SOUPS 34960 WITH SCORE 35049.841
AT ITER 2101 NEW BEST:: SOT 147609 SOS 89721 HAS SOPS 89721 HAS SOUS 34840 HAS SOUPS 34840 WITH SCORE 34929.721
AT ITER 2122 NEW BEST:: SOT 147600 SOS 89706 HAS SOPS 89706 HAS SOUS 34825 HAS SOUPS 34825 WITH SCORE 34914.706
AT ITER 2134 NEW BEST:: SOT 147564 SOS 89680 HAS SOPS 89680 HAS SOUS 34768 HAS SOUPS 34768 WITH SCORE 34857.68
AT ITER 2180 NEW BEST:: SOT 147520 SOS 89636 HAS SOPS 89636 HAS SOUS 34752 HAS SOUPS 34752 WITH SCORE 34841.636
AT ITER 2188 NEW BEST:: SOT 147501 SOS 89630 HAS SOPS 89630 HAS SOUS 34708 HAS SOUPS 34708 WITH SCORE 34797.63
AT ITER 2190 NEW BEST:: SOT 147497 SOS 89626 HAS SOPS 89626 HAS SOUS 34704 HAS SOUPS 34704 WITH SCORE 34793.626
AT ITER 2196 NEW BEST:: SOT 147420 SOS 89557 HAS SOPS 89557 HAS SOUS 34701 HAS SOUPS 34701 WITH SCORE 34790.557
AT ITER 2213 NEW BEST:: SOT 147416 SOS 89553 HAS SOPS 89553 HAS SOUS 34697 HAS SOUPS 34697 WITH SCORE 34786.553
AT ITER 2217 NEW BEST:: SOT 147425 SOS 89387 HAS SOPS 89387 HAS SOUS 34677 HAS SOUPS 34677 WITH SCORE 34766.387
AT ITER 2218 NEW BEST:: SOT 147413 SOS 89361 HAS SOPS 89361 HAS SOUS 34667 HAS SOUPS 34667 WITH SCORE 34756.361
AT ITER 2221 NEW BEST:: SOT 147382 SOS 89330 HAS SOPS 89330 HAS SOUS 34605 HAS SOUPS 34605 WITH SCORE 34694.33
AT ITER 2242 NEW BEST:: SOT 147008 SOS 89064 HAS SOPS 89064 HAS SOUS 34339 HAS SOUPS 34339 WITH SCORE 34428.064
AT ITER 2252 NEW BEST:: SOT 146876 SOS 88998 HAS SOPS 88998 HAS SOUS 34207 HAS SOUPS 34207 WITH SCORE 34295.998
AT ITER 2266 NEW BEST:: SOT 146860 SOS 88940 HAS SOPS 88940 HAS SOUS 34175 HAS SOUPS 34175 WITH SCORE 34263.94
AT ITER 2295 NEW BEST:: SOT 146832 SOS 88746 HAS SOPS 88746 HAS SOUS 34169 HAS SOUPS 34169 WITH SCORE 34257.746
AT ITER 2331 NEW BEST:: SOT 146793 SOS 88707 HAS SOPS 88707 HAS SOUS 34130 HAS SOUPS 34130 WITH SCORE 34218.707
AT ITER 2391 NEW BEST:: SOT 146688 SOS 88384 HAS SOPS 88384 HAS SOUS 33912 HAS SOUPS 33912 WITH SCORE 34000.384
AT ITER 2392 NEW BEST:: SOT 146687 SOS 88383 HAS SOPS 88383 HAS SOUS 33901 HAS SOUPS 33901 WITH SCORE 33989.383
AT ITER 2411 NEW BEST:: SOT 146687 SOS 88383 HAS SOPS 88383 HAS SOUS 33897 HAS SOUPS 33897 WITH SCORE 33985.383
AT ITER 2422 NEW BEST:: SOT 146687 SOS 87563 HAS SOPS 87563 HAS SOUS 33897 HAS SOUPS 33897 WITH SCORE 33984.563
AT ITER 2423 NEW BEST:: SOT 146739 SOS 85369 HAS SOPS 85369 HAS SOUS 33884 HAS SOUPS 33884 WITH SCORE 33969.369
AT ITER 2459 NEW BEST:: SOT 146739 SOS 85313 HAS SOPS 85313 HAS SOUS 33828 HAS SOUPS 33828 WITH SCORE 33913.313
AT ITER 2475 NEW BEST:: SOT 146695 SOS 85269 HAS SOPS 85269 HAS SOUS 33801 HAS SOUPS 33801 WITH SCORE 33886.269
AT ITER 2477 NEW BEST:: SOT 146626 SOS 84093 HAS SOPS 84093 HAS SOUS 33731 HAS SOUPS 33731 WITH SCORE 33815.093
AT ITER 2488 NEW BEST:: SOT 146511 SOS 83995 HAS SOPS 83995 HAS SOUS 33613 HAS SOUPS 33613 WITH SCORE 33696.995
AT ITER 2489 NEW BEST:: SOT 146500 SOS 83875 HAS SOPS 83875 HAS SOUS 33493 HAS SOUPS 33493 WITH SCORE 33576.875
AT ITER 2503 NEW BEST:: SOT 146496 SOS 83871 HAS SOPS 83871 HAS SOUS 33479 HAS SOUPS 33479 WITH SCORE 33562.871
AT ITER 2507 NEW BEST:: SOT 146463 SOS 82555 HAS SOPS 82555 HAS SOUS 33424 HAS SOUPS 33424 WITH SCORE 33506.555
AT ITER 2513 NEW BEST:: SOT 146463 SOS 82547 HAS SOPS 82547 HAS SOUS 33423 HAS SOUPS 33423 WITH SCORE 33505.547
AT ITER 2522 NEW BEST:: SOT 146463 SOS 82307 HAS SOPS 82307 HAS SOUS 33423 HAS SOUPS 33423 WITH SCORE 33505.307
AT ITER 2544 NEW BEST:: SOT 146407 SOS 82237 HAS SOPS 82237 HAS SOUS 33353 HAS SOUPS 33353 WITH SCORE 33435.237
AT ITER 2556 NEW BEST:: SOT 146403 SOS 82173 HAS SOPS 82173 HAS SOUS 33341 HAS SOUPS 33341 WITH SCORE 33423.173
AT ITER 2560 NEW BEST:: SOT 146397 SOS 82161 HAS SOPS 82161 HAS SOUS 33329 HAS SOUPS 33329 WITH SCORE 33411.161
AT ITER 2567 NEW BEST:: SOT 146383 SOS 82147 HAS SOPS 82147 HAS SOUS 33315 HAS SOUPS 33315 WITH SCORE 33397.147
AT ITER 2578 NEW BEST:: SOT 146369 SOS 82104 HAS SOPS 82104 HAS SOUS 33277 HAS SOUPS 33277 WITH SCORE 33359.104
AT ITER 2584 NEW BEST:: SOT 146358 SOS 82082 HAS SOPS 82082 HAS SOUS 33260 HAS SOUPS 33260 WITH SCORE 33342.082
AT ITER 2594 NEW BEST:: SOT 146335 SOS 82087 HAS SOPS 82087 HAS SOUS 33252 HAS SOUPS 33252 WITH SCORE 33334.087
AT ITER 2598 NEW BEST:: SOT 146335 SOS 82087 HAS SOPS 82087 HAS SOUS 33210 HAS SOUPS 33210 WITH SCORE 33292.087
AT ITER 2600 NEW BEST:: SOT 146333 SOS 82085 HAS SOPS 82085 HAS SOUS 33208 HAS SOUPS 33208 WITH SCORE 33290.085
AT ITER 2636 NEW BEST:: SOT 146286 SOS 82038 HAS SOPS 82038 HAS SOUS 33206 HAS SOUPS 33206 WITH SCORE 33288.038
AT ITER 2638 NEW BEST:: SOT 146286 SOS 82041 HAS SOPS 82041 HAS SOUS 33200 HAS SOUPS 33200 WITH SCORE 33282.041
AT ITER 2668 NEW BEST:: SOT 146278 SOS 82077 HAS SOPS 82077 HAS SOUS 33196 HAS SOUPS 33196 WITH SCORE 33278.077
AT ITER 2694 NEW BEST:: SOT 146278 SOS 81921 HAS SOPS 81921 HAS SOUS 33187 HAS SOUPS 33187 WITH SCORE 33268.921
AT ITER 2697 NEW BEST:: SOT 146278 SOS 81921 HAS SOPS 81921 HAS SOUS 33177 HAS SOUPS 33177 WITH SCORE 33258.921
AT ITER 2703 NEW BEST:: SOT 146243 SOS 81844 HAS SOPS 81844 HAS SOUS 33003 HAS SOUPS 33003 WITH SCORE 33084.844
AT ITER 2704 NEW BEST:: SOT 146243 SOS 81840 HAS SOPS 81840 HAS SOUS 32933 HAS SOUPS 32933 WITH SCORE 33014.84
AT ITER 2709 NEW BEST:: SOT 146242 SOS 81839 HAS SOPS 81839 HAS SOUS 32932 HAS SOUPS 32932 WITH SCORE 33013.839
AT ITER 2724 NEW BEST:: SOT 146213 SOS 81799 HAS SOPS 81799 HAS SOUS 32873 HAS SOUPS 32873 WITH SCORE 32954.799
AT ITER 2727 NEW BEST:: SOT 146205 SOS 81671 HAS SOPS 81671 HAS SOUS 32865 HAS SOUPS 32865 WITH SCORE 32946.671
AT ITER 2753 NEW BEST:: SOT 146205 SOS 81693 HAS SOPS 81693 HAS SOUS 32854 HAS SOUPS 32854 WITH SCORE 32935.693
AT ITER 2766 NEW BEST:: SOT 146205 SOS 81572 HAS SOPS 81572 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32934.572
AT ITER 2772 NEW BEST:: SOT 146125 SOS 81296 HAS SOPS 81296 HAS SOUS 32773 HAS SOUPS 32773 WITH SCORE 32854.296
AT ITER 2789 NEW BEST:: SOT 146079 SOS 81204 HAS SOPS 81204 HAS SOUS 32681 HAS SOUPS 32681 WITH SCORE 32762.204
AT ITER 2793 NEW BEST:: SOT 146037 SOS 81162 HAS SOPS 81162 HAS SOUS 32639 HAS SOUPS 32639 WITH SCORE 32720.162
AT ITER 2794 NEW BEST:: SOT 146027 SOS 81142 HAS SOPS 81142 HAS SOUS 32619 HAS SOUPS 32619 WITH SCORE 32700.142
AT ITER 2804 NEW BEST:: SOT 146004 SOS 81148 HAS SOPS 81148 HAS SOUS 32609 HAS SOUPS 32609 WITH SCORE 32690.148
AT ITER 2815 NEW BEST:: SOT 145993 SOS 81137 HAS SOPS 81137 HAS SOUS 32583 HAS SOUPS 32583 WITH SCORE 32664.137
AT ITER 2817 NEW BEST:: SOT 145954 SOS 81098 HAS SOPS 81098 HAS SOUS 32544 HAS SOUPS 32544 WITH SCORE 32625.098
AT ITER 2910 NEW BEST:: SOT 145914 SOS 81058 HAS SOPS 81058 HAS SOUS 32464 HAS SOUPS 32464 WITH SCORE 32545.058
AT ITER 2912 NEW BEST:: SOT 145825 SOS 80947 HAS SOPS 80947 HAS SOUS 32353 HAS SOUPS 32353 WITH SCORE 32433.947
AT ITER 2924 NEW BEST:: SOT 145750 SOS 80846 HAS SOPS 80846 HAS SOUS 32328 HAS SOUPS 32328 WITH SCORE 32408.846
AT ITER 2952 NEW BEST:: SOT 145425 SOS 80735 HAS SOPS 80735 HAS SOUS 32301 HAS SOUPS 32301 WITH SCORE 32381.735
AT ITER 2971 NEW BEST:: SOT 145418 SOS 80722 HAS SOPS 80722 HAS SOUS 32226 HAS SOUPS 32226 WITH SCORE 32306.722
AT ITER 2982 NEW BEST:: SOT 145433 SOS 80737 HAS SOPS 80737 HAS SOUS 32212 HAS SOUPS 32212 WITH SCORE 32292.737
AT ITER 3003 NEW BEST:: SOT 145426 SOS 80730 HAS SOPS 80730 HAS SOUS 32198 HAS SOUPS 32198 WITH SCORE 32278.73
AT ITER 3006 NEW BEST:: SOT 145422 SOS 80726 HAS SOPS 80726 HAS SOUS 32192 HAS SOUPS 32192 WITH SCORE 32272.726
AT ITER 3018 NEW BEST:: SOT 145406 SOS 80710 HAS SOPS 80710 HAS SOUS 32167 HAS SOUPS 32167 WITH SCORE 32247.71
AT ITER 3019 NEW BEST:: SOT 145380 SOS 80684 HAS SOPS 80684 HAS SOUS 32141 HAS SOUPS 32141 WITH SCORE 32221.684
AT ITER 3026 NEW BEST:: SOT 145380 SOS 80386 HAS SOPS 80386 HAS SOUS 32135 HAS SOUPS 32135 WITH SCORE 32215.386
AT ITER 3028 NEW BEST:: SOT 145325 SOS 80436 HAS SOPS 80436 HAS SOUS 32102 HAS SOUPS 32102 WITH SCORE 32182.436
AT ITER 3033 NEW BEST:: SOT 145304 SOS 80415 HAS SOPS 80415 HAS SOUS 32081 HAS SOUPS 32081 WITH SCORE 32161.415
AT ITER 3038 NEW BEST:: SOT 145304 SOS 80391 HAS SOPS 80391 HAS SOUS 32072 HAS SOUPS 32072 WITH SCORE 32152.391
AT ITER 3067 NEW BEST:: SOT 145256 SOS 80225 HAS SOPS 80225 HAS SOUS 31959 HAS SOUPS 31959 WITH SCORE 32039.225
AT ITER 3076 NEW BEST:: SOT 145240 SOS 80209 HAS SOPS 80209 HAS SOUS 31933 HAS SOUPS 31933 WITH SCORE 32013.209
AT ITER 3084 NEW BEST:: SOT 145234 SOS 80203 HAS SOPS 80203 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 32005.203
AT ITER 3088 NEW BEST:: SOT 145186 SOS 79726 HAS SOPS 79726 HAS SOUS 31850 HAS SOUPS 31850 WITH SCORE 31929.726
AT ITER 3107 NEW BEST:: SOT 145170 SOS 79710 HAS SOPS 79710 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31913.71
AT ITER 3122 NEW BEST:: SOT 145174 SOS 79714 HAS SOPS 79714 HAS SOUS 31812 HAS SOUPS 31812 WITH SCORE 31891.714
AT ITER 3126 NEW BEST:: SOT 145173 SOS 79712 HAS SOPS 79712 HAS SOUS 31810 HAS SOUPS 31810 WITH SCORE 31889.712
AT ITER 3133 NEW BEST:: SOT 145135 SOS 79674 HAS SOPS 79674 HAS SOUS 31772 HAS SOUPS 31772 WITH SCORE 31851.674
AT ITER 3136 NEW BEST:: SOT 145133 SOS 79672 HAS SOPS 79672 HAS SOUS 31770 HAS SOUPS 31770 WITH SCORE 31849.672
AT ITER 3152 NEW BEST:: SOT 145184 SOS 79669 HAS SOPS 79669 HAS SOUS 31751 HAS SOUPS 31751 WITH SCORE 31830.669
AT ITER 3157 NEW BEST:: SOT 145236 SOS 79705 HAS SOPS 79705 HAS SOUS 31695 HAS SOUPS 31695 WITH SCORE 31774.705
AT ITER 3163 NEW BEST:: SOT 145185 SOS 79591 HAS SOPS 79591 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31628.591
AT ITER 3185 NEW BEST:: SOT 145197 SOS 79543 HAS SOPS 79543 HAS SOUS 31549 HAS SOUPS 31549 WITH SCORE 31628.543
AT ITER 3215 NEW BEST:: SOT 145153 SOS 79499 HAS SOPS 79499 HAS SOUS 31505 HAS SOUPS 31505 WITH SCORE 31584.499
AT ITER 3220 NEW BEST:: SOT 145153 SOS 79484 HAS SOPS 79484 HAS SOUS 31505 HAS SOUPS 31505 WITH SCORE 31584.484
AT ITER 3237 NEW BEST:: SOT 145082 SOS 78687 HAS SOPS 78687 HAS SOUS 31451 HAS SOUPS 31451 WITH SCORE 31529.687
AT ITER 3254 NEW BEST:: SOT 145081 SOS 78672 HAS SOPS 78672 HAS SOUS 31449 HAS SOUPS 31449 WITH SCORE 31527.672
AT ITER 3256 NEW BEST:: SOT 145081 SOS 78656 HAS SOPS 78656 HAS SOUS 31449 HAS SOUPS 31449 WITH SCORE 31527.656
AT ITER 3315 NEW BEST:: SOT 145075 SOS 78644 HAS SOPS 78644 HAS SOUS 31425 HAS SOUPS 31425 WITH SCORE 31503.644
AT ITER 3321 NEW BEST:: SOT 145075 SOS 78597 HAS SOPS 78597 HAS SOUS 31318 HAS SOUPS 31318 WITH SCORE 31396.597
AT ITER 3330 NEW BEST:: SOT 145075 SOS 78519 HAS SOPS 78519 HAS SOUS 31310 HAS SOUPS 31310 WITH SCORE 31388.519
AT ITER 3355 NEW BEST:: SOT 145050 SOS 78637 HAS SOPS 78637 HAS SOUS 31259 HAS SOUPS 31259 WITH SCORE 31337.637
AT ITER 3359 NEW BEST:: SOT 145101 SOS 78687 HAS SOPS 78687 HAS SOUS 31255 HAS SOUPS 31255 WITH SCORE 31333.687
AT ITER 3426 NEW BEST:: SOT 144907 SOS 78980 HAS SOPS 78980 HAS SOUS 31143 HAS SOUPS 31143 WITH SCORE 31221.98
AT ITER 3450 NEW BEST:: SOT 144967 SOS 79010 HAS SOPS 79010 HAS SOUS 31135 HAS SOUPS 31135 WITH SCORE 31214.01
AT ITER 3455 NEW BEST:: SOT 144967 SOS 78150 HAS SOPS 78150 HAS SOUS 31060 HAS SOUPS 31060 WITH SCORE 31138.15
AT ITER 3456 NEW BEST:: SOT 144947 SOS 78130 HAS SOPS 78130 HAS SOUS 31020 HAS SOUPS 31020 WITH SCORE 31098.13
AT ITER 3462 NEW BEST:: SOT 144950 SOS 78145 HAS SOPS 78145 HAS SOUS 31011 HAS SOUPS 31011 WITH SCORE 31089.145
AT ITER 3466 NEW BEST:: SOT 144945 SOS 78140 HAS SOPS 78140 HAS SOUS 31001 HAS SOUPS 31001 WITH SCORE 31079.14
AT ITER 3479 NEW BEST:: SOT 144933 SOS 77960 HAS SOPS 77960 HAS SOUS 30906 HAS SOUPS 30906 WITH SCORE 30983.96
AT ITER 3489 NEW BEST:: SOT 144927 SOS 77948 HAS SOPS 77948 HAS SOUS 30894 HAS SOUPS 30894 WITH SCORE 30971.948
AT ITER 3502 NEW BEST:: SOT 144925 SOS 77946 HAS SOPS 77946 HAS SOUS 30892 HAS SOUPS 30892 WITH SCORE 30969.946
AT ITER 3516 NEW BEST:: SOT 144877 SOS 78100 HAS SOPS 78100 HAS SOUS 30883 HAS SOUPS 30883 WITH SCORE 30961.1
AT ITER 3524 NEW BEST:: SOT 144854 SOS 78085 HAS SOPS 78085 HAS SOUS 30814 HAS SOUPS 30814 WITH SCORE 30892.085
AT ITER 3527 NEW BEST:: SOT 144849 SOS 78080 HAS SOPS 78080 HAS SOUS 30785 HAS SOUPS 30785 WITH SCORE 30863.08
AT ITER 3537 NEW BEST:: SOT 144832 SOS 78063 HAS SOPS 78063 HAS SOUS 30740 HAS SOUPS 30740 WITH SCORE 30818.063
AT ITER 3538 NEW BEST:: SOT 144824 SOS 78055 HAS SOPS 78055 HAS SOUS 30705 HAS SOUPS 30705 WITH SCORE 30783.055
AT ITER 3571 NEW BEST:: SOT 144762 SOS 78037 HAS SOPS 78037 HAS SOUS 30685 HAS SOUPS 30685 WITH SCORE 30763.037
AT ITER 3575 NEW BEST:: SOT 144722 SOS 77997 HAS SOPS 77997 HAS SOUS 30682 HAS SOUPS 30682 WITH SCORE 30759.997
AT ITER 3577 NEW BEST:: SOT 144708 SOS 77965 HAS SOPS 77965 HAS SOUS 30652 HAS SOUPS 30652 WITH SCORE 30729.965
AT ITER 3630 NEW BEST:: SOT 144727 SOS 77705 HAS SOPS 77705 HAS SOUS 30549 HAS SOUPS 30549 WITH SCORE 30626.705
AT ITER 3632 NEW BEST:: SOT 144763 SOS 77384 HAS SOPS 77384 HAS SOUS 30534 HAS SOUPS 30534 WITH SCORE 30611.384
AT ITER 3660 NEW BEST:: SOT 144746 SOS 77367 HAS SOPS 77367 HAS SOUS 30517 HAS SOUPS 30517 WITH SCORE 30594.367
AT ITER 3665 NEW BEST:: SOT 144759 SOS 77282 HAS SOPS 77282 HAS SOUS 30506 HAS SOUPS 30506 WITH SCORE 30583.282
AT ITER 3666 NEW BEST:: SOT 144759 SOS 77272 HAS SOPS 77272 HAS SOUS 30504 HAS SOUPS 30504 WITH SCORE 30581.272
AT ITER 3679 NEW BEST:: SOT 144759 SOS 77118 HAS SOPS 77118 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30171.118
AT ITER 3686 NEW BEST:: SOT 144755 SOS 77114 HAS SOPS 77114 HAS SOUS 30094 HAS SOUPS 30094 WITH SCORE 30171.114
AT ITER 3700 NEW BEST:: SOT 144755 SOS 77108 HAS SOPS 77108 HAS SOUS 30091 HAS SOUPS 30091 WITH SCORE 30168.108
AT ITER 3741 NEW BEST:: SOT 144748 SOS 77101 HAS SOPS 77101 HAS SOUS 30084 HAS SOUPS 30084 WITH SCORE 30161.101
AT ITER 3770 NEW BEST:: SOT 144748 SOS 77098 HAS SOPS 77098 HAS SOUS 30081 HAS SOUPS 30081 WITH SCORE 30158.098
AT ITER 3777 NEW BEST:: SOT 144717 SOS 77036 HAS SOPS 77036 HAS SOUS 30019 HAS SOUPS 30019 WITH SCORE 30096.036
AT ITER 3795 NEW BEST:: SOT 144653 SOS 77401 HAS SOPS 77401 HAS SOUS 29955 HAS SOUPS 29955 WITH SCORE 30032.401
AT ITER 3801 NEW BEST:: SOT 144585 SOS 77355 HAS SOPS 77355 HAS SOUS 29949 HAS SOUPS 29949 WITH SCORE 30026.355
AT ITER 3851 NEW BEST:: SOT 144585 SOS 77343 HAS SOPS 77343 HAS SOUS 29949 HAS SOUPS 29949 WITH SCORE 30026.343
AT ITER 3865 NEW BEST:: SOT 144585 SOS 77559 HAS SOPS 77559 HAS SOUS 29948 HAS SOUPS 29948 WITH SCORE 30025.559
AT ITER 3881 NEW BEST:: SOT 144585 SOS 77559 HAS SOPS 77559 HAS SOUS 29945 HAS SOUPS 29945 WITH SCORE 30022.559
AT ITER 3901 NEW BEST:: SOT 144572 SOS 77546 HAS SOPS 77546 HAS SOUS 29919 HAS SOUPS 29919 WITH SCORE 29996.546
AT ITER 3932 NEW BEST:: SOT 144560 SOS 77390 HAS SOPS 77390 HAS SOUS 29887 HAS SOUPS 29887 WITH SCORE 29964.39
AT ITER 3945 NEW BEST:: SOT 144447 SOS 77354 HAS SOPS 77354 HAS SOUS 29629 HAS SOUPS 29629 WITH SCORE 29706.354
AT ITER 3960 NEW BEST:: SOT 144412 SOS 77317 HAS SOPS 77317 HAS SOUS 29592 HAS SOUPS 29592 WITH SCORE 29669.317
AT ITER 3962 NEW BEST:: SOT 144412 SOS 77168 HAS SOPS 77168 HAS SOUS 29570 HAS SOUPS 29570 WITH SCORE 29647.168
AT ITER 4006 NEW BEST:: SOT 144407 SOS 77163 HAS SOPS 77163 HAS SOUS 29565 HAS SOUPS 29565 WITH SCORE 29642.163
AT ITER 4010 NEW BEST:: SOT 144407 SOS 77163 HAS SOPS 77163 HAS SOUS 29561 HAS SOUPS 29561 WITH SCORE 29638.163
AT ITER 4035 NEW BEST:: SOT 144407 SOS 77028 HAS SOPS 77028 HAS SOUS 29508 HAS SOUPS 29508 WITH SCORE 29585.028
AT ITER 4051 NEW BEST:: SOT 144386 SOS 77007 HAS SOPS 77007 HAS SOUS 29466 HAS SOUPS 29466 WITH SCORE 29543.007
AT ITER 4074 NEW BEST:: SOT 144359 SOS 77007 HAS SOPS 77007 HAS SOUS 29367 HAS SOUPS 29367 WITH SCORE 29444.007
AT ITER 4075 NEW BEST:: SOT 144357 SOS 76854 HAS SOPS 76854 HAS SOUS 29363 HAS SOUPS 29363 WITH SCORE 29439.854
AT ITER 4082 NEW BEST:: SOT 144376 SOS 76909 HAS SOPS 76909 HAS SOUS 29344 HAS SOUPS 29344 WITH SCORE 29420.909
AT ITER 4099 NEW BEST:: SOT 144373 SOS 76906 HAS SOPS 76906 HAS SOUS 29341 HAS SOUPS 29341 WITH SCORE 29417.906
AT ITER 4108 NEW BEST:: SOT 144333 SOS 76917 HAS SOPS 76917 HAS SOUS 29292 HAS SOUPS 29292 WITH SCORE 29368.917
AT ITER 4113 NEW BEST:: SOT 144326 SOS 76910 HAS SOPS 76910 HAS SOUS 29285 HAS SOUPS 29285 WITH SCORE 29361.91
AT ITER 4129 NEW BEST:: SOT 144320 SOS 76814 HAS SOPS 76814 HAS SOUS 29279 HAS SOUPS 29279 WITH SCORE 29355.814
AT ITER 4142 NEW BEST:: SOT 144314 SOS 76802 HAS SOPS 76802 HAS SOUS 29270 HAS SOUPS 29270 WITH SCORE 29346.802
AT ITER 4159 NEW BEST:: SOT 144284 SOS 76772 HAS SOPS 76772 HAS SOUS 29258 HAS SOUPS 29258 WITH SCORE 29334.772
AT ITER 4164 NEW BEST:: SOT 144277 SOS 76765 HAS SOPS 76765 HAS SOUS 29256 HAS SOUPS 29256 WITH SCORE 29332.765
AT ITER 4193 NEW BEST:: SOT 144193 SOS 76729 HAS SOPS 76729 HAS SOUS 29172 HAS SOUPS 29172 WITH SCORE 29248.729
AT ITER 4201 NEW BEST:: SOT 144212 SOS 76716 HAS SOPS 76716 HAS SOUS 29152 HAS SOUPS 29152 WITH SCORE 29228.716
AT ITER 4216 NEW BEST:: SOT 144193 SOS 76660 HAS SOPS 76660 HAS SOUS 29082 HAS SOUPS 29082 WITH SCORE 29158.66
AT ITER 4229 NEW BEST:: SOT 144189 SOS 76648 HAS SOPS 76648 HAS SOUS 29074 HAS SOUPS 29074 WITH SCORE 29150.648
AT ITER 4230 NEW BEST:: SOT 144137 SOS 76596 HAS SOPS 76596 HAS SOUS 29060 HAS SOUPS 29060 WITH SCORE 29136.596
AT ITER 4251 NEW BEST:: SOT 144130 SOS 76589 HAS SOPS 76589 HAS SOUS 29041 HAS SOUPS 29041 WITH SCORE 29117.589
AT ITER 4280 NEW BEST:: SOT 144129 SOS 76588 HAS SOPS 76588 HAS SOUS 29039 HAS SOUPS 29039 WITH SCORE 29115.588
AT ITER 4303 NEW BEST:: SOT 144118 SOS 76577 HAS SOPS 76577 HAS SOUS 29017 HAS SOUPS 29017 WITH SCORE 29093.577
AT ITER 4307 NEW BEST:: SOT 144096 SOS 76533 HAS SOPS 76533 HAS SOUS 28951 HAS SOUPS 28951 WITH SCORE 29027.533
AT ITER 4321 NEW BEST:: SOT 144103 SOS 76540 HAS SOPS 76540 HAS SOUS 28944 HAS SOUPS 28944 WITH SCORE 29020.54
AT ITER 4323 NEW BEST:: SOT 144087 SOS 76489 HAS SOPS 76489 HAS SOUS 28912 HAS SOUPS 28912 WITH SCORE 28988.489
AT ITER 4333 NEW BEST:: SOT 144076 SOS 76466 HAS SOPS 76466 HAS SOUS 28890 HAS SOUPS 28890 WITH SCORE 28966.466
AT ITER 4355 NEW BEST:: SOT 144063 SOS 76333 HAS SOPS 76333 HAS SOUS 28867 HAS SOUPS 28867 WITH SCORE 28943.333
AT ITER 4371 NEW BEST:: SOT 144037 SOS 76307 HAS SOPS 76307 HAS SOUS 28841 HAS SOUPS 28841 WITH SCORE 28917.307
AT ITER 4398 NEW BEST:: SOT 144033 SOS 76303 HAS SOPS 76303 HAS SOUS 28833 HAS SOUPS 28833 WITH SCORE 28909.303
AT ITER 4429 NEW BEST:: SOT 144016 SOS 76286 HAS SOPS 76286 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28875.286
AT ITER 4458 NEW BEST:: SOT 144012 SOS 76282 HAS SOPS 76282 HAS SOUS 28770 HAS SOUPS 28770 WITH SCORE 28846.282
AT ITER 4461 NEW BEST:: SOT 143964 SOS 76234 HAS SOPS 76234 HAS SOUS 28770 HAS SOUPS 28770 WITH SCORE 28846.234
AT ITER 4463 NEW BEST:: SOT 143964 SOS 76268 HAS SOPS 76268 HAS SOUS 28733 HAS SOUPS 28733 WITH SCORE 28809.268
AT ITER 4480 NEW BEST:: SOT 143960 SOS 76260 HAS SOPS 76260 HAS SOUS 28725 HAS SOUPS 28725 WITH SCORE 28801.26
AT ITER 4483 NEW BEST:: SOT 143960 SOS 76236 HAS SOPS 76236 HAS SOUS 28701 HAS SOUPS 28701 WITH SCORE 28777.236
AT ITER 4509 NEW BEST:: SOT 143952 SOS 76228 HAS SOPS 76228 HAS SOUS 28685 HAS SOUPS 28685 WITH SCORE 28761.228
AT ITER 4517 NEW BEST:: SOT 143922 SOS 76203 HAS SOPS 76203 HAS SOUS 28660 HAS SOUPS 28660 WITH SCORE 28736.203
AT ITER 4534 NEW BEST:: SOT 143922 SOS 76195 HAS SOPS 76195 HAS SOUS 28660 HAS SOUPS 28660 WITH SCORE 28736.195
AT ITER 4556 NEW BEST:: SOT 143926 SOS 76139 HAS SOPS 76139 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28680.139
AT ITER 4557 NEW BEST:: SOT 143862 SOS 76024 HAS SOPS 76024 HAS SOUS 28495 HAS SOUPS 28495 WITH SCORE 28571.024
AT ITER 4573 NEW BEST:: SOT 143850 SOS 76012 HAS SOPS 76012 HAS SOUS 28484 HAS SOUPS 28484 WITH SCORE 28560.012
AT ITER 4583 NEW BEST:: SOT 143793 SOS 74907 HAS SOPS 74907 HAS SOUS 28460 HAS SOUPS 28460 WITH SCORE 28534.907
AT ITER 4657 NEW BEST:: SOT 143777 SOS 74869 HAS SOPS 74869 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28507.869
AT ITER 4660 NEW BEST:: SOT 143777 SOS 74869 HAS SOPS 74869 HAS SOUS 28427 HAS SOUPS 28427 WITH SCORE 28501.869
AT ITER 4665 NEW BEST:: SOT 143390 SOS 74482 HAS SOPS 74482 HAS SOUS 27974 HAS SOUPS 27974 WITH SCORE 28048.482
AT ITER 4700 NEW BEST:: SOT 143383 SOS 74466 HAS SOPS 74466 HAS SOUS 27964 HAS SOUPS 27964 WITH SCORE 28038.466
AT ITER 4746 NEW BEST:: SOT 143392 SOS 74513 HAS SOPS 74513 HAS SOUS 27955 HAS SOUPS 27955 WITH SCORE 28029.513
AT ITER 4767 NEW BEST:: SOT 143386 SOS 74507 HAS SOPS 74507 HAS SOUS 27949 HAS SOUPS 27949 WITH SCORE 28023.507
AT ITER 4785 NEW BEST:: SOT 143446 SOS 74572 HAS SOPS 74572 HAS SOUS 27908 HAS SOUPS 27908 WITH SCORE 27982.572
AT ITER 4801 NEW BEST:: SOT 143391 SOS 74471 HAS SOPS 74471 HAS SOUS 27826 HAS SOUPS 27826 WITH SCORE 27900.471
AT ITER 4803 NEW BEST:: SOT 143381 SOS 74404 HAS SOPS 74404 HAS SOUS 27813 HAS SOUPS 27813 WITH SCORE 27887.404
AT ITER 4809 NEW BEST:: SOT 143238 SOS 74691 HAS SOPS 74691 HAS SOUS 27744 HAS SOUPS 27744 WITH SCORE 27818.691
AT ITER 4819 NEW BEST:: SOT 143216 SOS 74669 HAS SOPS 74669 HAS SOUS 27688 HAS SOUPS 27688 WITH SCORE 27762.669
AT ITER 4846 NEW BEST:: SOT 143213 SOS 74663 HAS SOPS 74663 HAS SOUS 27682 HAS SOUPS 27682 WITH SCORE 27756.663
AT ITER 4860 NEW BEST:: SOT 143193 SOS 74633 HAS SOPS 74633 HAS SOUS 27680 HAS SOUPS 27680 WITH SCORE 27754.633
AT ITER 4871 NEW BEST:: SOT 143193 SOS 74170 HAS SOPS 74170 HAS SOUS 27651 HAS SOUPS 27651 WITH SCORE 27725.17
AT ITER 4873 NEW BEST:: SOT 143165 SOS 74142 HAS SOPS 74142 HAS SOUS 27544 HAS SOUPS 27544 WITH SCORE 27618.142
AT ITER 4907 NEW BEST:: SOT 143159 SOS 74136 HAS SOPS 74136 HAS SOUS 27517 HAS SOUPS 27517 WITH SCORE 27591.136
AT ITER 4953 NEW BEST:: SOT 143080 SOS 73969 HAS SOPS 73969 HAS SOUS 27350 HAS SOUPS 27350 WITH SCORE 27423.969
AT ITER 4965 NEW BEST:: SOT 143056 SOS 74041 HAS SOPS 74041 HAS SOUS 27326 HAS SOUPS 27326 WITH SCORE 27400.041
AT ITER 4974 NEW BEST:: SOT 143029 SOS 73417 HAS SOPS 73417 HAS SOUS 27287 HAS SOUPS 27287 WITH SCORE 27360.417
AT ITER 4978 NEW BEST:: SOT 143001 SOS 73357 HAS SOPS 73357 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27320.357
AT ITER 5071 NEW BEST:: SOT 142976 SOS 73319 HAS SOPS 73319 HAS SOUS 27210 HAS SOUPS 27210 WITH SCORE 27283.319
AT ITER 5081 NEW BEST:: SOT 142976 SOS 73194 HAS SOPS 73194 HAS SOUS 27208 HAS SOUPS 27208 WITH SCORE 27281.194
AT ITER 5084 NEW BEST:: SOT 142938 SOS 73156 HAS SOPS 73156 HAS SOUS 27170 HAS SOUPS 27170 WITH SCORE 27243.156
AT ITER 5104 NEW BEST:: SOT 142934 SOS 73093 HAS SOPS 73093 HAS SOUS 27107 HAS SOUPS 27107 WITH SCORE 27180.093
AT ITER 5115 NEW BEST:: SOT 142931 SOS 73090 HAS SOPS 73090 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27177.09
AT ITER 5163 NEW BEST:: SOT 143043 SOS 73020 HAS SOPS 73020 HAS SOUS 27066 HAS SOUPS 27066 WITH SCORE 27139.02
AT ITER 5164 NEW BEST:: SOT 142995 SOS 72972 HAS SOPS 72972 HAS SOUS 26947 HAS SOUPS 26947 WITH SCORE 27019.972
AT ITER 5166 NEW BEST:: SOT 143030 SOS 72971 HAS SOPS 72971 HAS SOUS 26946 HAS SOUPS 26946 WITH SCORE 27018.971
AT ITER 5187 NEW BEST:: SOT 143022 SOS 73031 HAS SOPS 73031 HAS SOUS 26740 HAS SOUPS 26740 WITH SCORE 26813.031
AT ITER 5204 NEW BEST:: SOT 143001 SOS 73010 HAS SOPS 73010 HAS SOUS 26691 HAS SOUPS 26691 WITH SCORE 26764.01
AT ITER 5211 NEW BEST:: SOT 143034 SOS 73085 HAS SOPS 73085 HAS SOUS 26591 HAS SOUPS 26591 WITH SCORE 26664.085
AT ITER 5213 NEW BEST:: SOT 143024 SOS 73040 HAS SOPS 73040 HAS SOUS 26571 HAS SOUPS 26571 WITH SCORE 26644.04
AT ITER 5227 NEW BEST:: SOT 143027 SOS 72967 HAS SOPS 72967 HAS SOUS 26480 HAS SOUPS 26480 WITH SCORE 26552.967
AT ITER 5244 NEW BEST:: SOT 143007 SOS 72934 HAS SOPS 72934 HAS SOUS 26458 HAS SOUPS 26458 WITH SCORE 26530.934
AT ITER 5357 NEW BEST:: SOT 142973 SOS 72897 HAS SOPS 72897 HAS SOUS 26408 HAS SOUPS 26408 WITH SCORE 26480.897
AT ITER 5391 NEW BEST:: SOT 142998 SOS 72922 HAS SOPS 72922 HAS SOUS 26398 HAS SOUPS 26398 WITH SCORE 26470.922
AT ITER 5411 NEW BEST:: SOT 142966 SOS 73009 HAS SOPS 73009 HAS SOUS 26385 HAS SOUPS 26385 WITH SCORE 26458.009
AT ITER 5418 NEW BEST:: SOT 142986 SOS 73006 HAS SOPS 73006 HAS SOUS 26359 HAS SOUPS 26359 WITH SCORE 26432.006
AT ITER 5425 NEW BEST:: SOT 142975 SOS 72953 HAS SOPS 72953 HAS SOUS 26337 HAS SOUPS 26337 WITH SCORE 26409.953
AT ITER 5439 NEW BEST:: SOT 142943 SOS 72949 HAS SOPS 72949 HAS SOUS 26305 HAS SOUPS 26305 WITH SCORE 26377.949
AT ITER 5461 NEW BEST:: SOT 142917 SOS 72923 HAS SOPS 72923 HAS SOUS 26271 HAS SOUPS 26271 WITH SCORE 26343.923
AT ITER 5524 NEW BEST:: SOT 142903 SOS 72895 HAS SOPS 72895 HAS SOUS 26243 HAS SOUPS 26243 WITH SCORE 26315.895
AT ITER 5528 NEW BEST:: SOT 142854 SOS 72797 HAS SOPS 72797 HAS SOUS 26242 HAS SOUPS 26242 WITH SCORE 26314.797
AT ITER 5529 NEW BEST:: SOT 142853 SOS 72796 HAS SOPS 72796 HAS SOUS 26238 HAS SOUPS 26238 WITH SCORE 26310.796
AT ITER 5580 NEW BEST:: SOT 142871 SOS 72811 HAS SOPS 72811 HAS SOUS 26224 HAS SOUPS 26224 WITH SCORE 26296.811
AT ITER 5584 NEW BEST:: SOT 142862 SOS 72730 HAS SOPS 72730 HAS SOUS 26169 HAS SOUPS 26169 WITH SCORE 26241.73
AT ITER 5589 NEW BEST:: SOT 142862 SOS 72730 HAS SOPS 72730 HAS SOUS 26165 HAS SOUPS 26165 WITH SCORE 26237.73
AT ITER 5650 NEW BEST:: SOT 142889 SOS 72757 HAS SOPS 72757 HAS SOUS 26161 HAS SOUPS 26161 WITH SCORE 26233.757
AT ITER 5675 NEW BEST:: SOT 142884 SOS 72762 HAS SOPS 72762 HAS SOUS 26151 HAS SOUPS 26151 WITH SCORE 26223.762
AT ITER 5732 NEW BEST:: SOT 142874 SOS 72752 HAS SOPS 72752 HAS SOUS 26141 HAS SOUPS 26141 WITH SCORE 26213.752
AT ITER 5763 NEW BEST:: SOT 142870 SOS 72748 HAS SOPS 72748 HAS SOUS 26131 HAS SOUPS 26131 WITH SCORE 26203.748
AT ITER 5787 NEW BEST:: SOT 142951 SOS 72727 HAS SOPS 72727 HAS SOUS 26121 HAS SOUPS 26121 WITH SCORE 26193.727
AT ITER 5833 NEW BEST:: SOT 142951 SOS 72703 HAS SOPS 72703 HAS SOUS 26097 HAS SOUPS 26097 WITH SCORE 26169.703
AT ITER 5954 NEW BEST:: SOT 142750 SOS 72923 HAS SOPS 72923 HAS SOUS 25988 HAS SOUPS 25988 WITH SCORE 26060.923
AT ITER 5965 NEW BEST:: SOT 142748 SOS 72925 HAS SOPS 72925 HAS SOUS 25984 HAS SOUPS 25984 WITH SCORE 26056.925
AT ITER 5973 NEW BEST:: SOT 142734 SOS 72911 HAS SOPS 72911 HAS SOUS 25970 HAS SOUPS 25970 WITH SCORE 26042.911
AT ITER 5993 NEW BEST:: SOT 142719 SOS 72881 HAS SOPS 72881 HAS SOUS 25940 HAS SOUPS 25940 WITH SCORE 26012.881
AT ITER 5995 NEW BEST:: SOT 142716 SOS 72868 HAS SOPS 72868 HAS SOUS 25934 HAS SOUPS 25934 WITH SCORE 26006.868
AT ITER 6004 NEW BEST:: SOT 142716 SOS 72864 HAS SOPS 72864 HAS SOUS 25930 HAS SOUPS 25930 WITH SCORE 26002.864
AT ITER 6016 NEW BEST:: SOT 142726 SOS 72851 HAS SOPS 72851 HAS SOUS 25890 HAS SOUPS 25890 WITH SCORE 25962.851
AT ITER 6026 NEW BEST:: SOT 142721 SOS 72846 HAS SOPS 72846 HAS SOUS 25888 HAS SOUPS 25888 WITH SCORE 25960.846
AT ITER 6039 NEW BEST:: SOT 142714 SOS 72838 HAS SOPS 72838 HAS SOUS 25880 HAS SOUPS 25880 WITH SCORE 25952.838
AT ITER 6090 NEW BEST:: SOT 142692 SOS 72816 HAS SOPS 72816 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25917.816
AT ITER 6121 NEW BEST:: SOT 142691 SOS 72815 HAS SOPS 72815 HAS SOUS 25835 HAS SOUPS 25835 WITH SCORE 25907.815
AT ITER 6177 NEW BEST:: SOT 142658 SOS 72760 HAS SOPS 72760 HAS SOUS 25813 HAS SOUPS 25813 WITH SCORE 25885.76
AT ITER 6191 NEW BEST:: SOT 142657 SOS 72759 HAS SOPS 72759 HAS SOUS 25812 HAS SOUPS 25812 WITH SCORE 25884.759
AT ITER 6203 NEW BEST:: SOT 142657 SOS 72700 HAS SOPS 72700 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25825.7
AT ITER 6209 NEW BEST:: SOT 142642 SOS 72685 HAS SOPS 72685 HAS SOUS 25723 HAS SOUPS 25723 WITH SCORE 25795.685
AT ITER 6259 NEW BEST:: SOT 142642 SOS 72685 HAS SOPS 72685 HAS SOUS 25661 HAS SOUPS 25661 WITH SCORE 25733.685
AT ITER 6271 NEW BEST:: SOT 142640 SOS 72683 HAS SOPS 72683 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 25731.683
AT ITER 6279 NEW BEST:: SOT 142599 SOS 72597 HAS SOPS 72597 HAS SOUS 25588 HAS SOUPS 25588 WITH SCORE 25660.597
AT ITER 6313 NEW BEST:: SOT 142595 SOS 72593 HAS SOPS 72593 HAS SOUS 25584 HAS SOUPS 25584 WITH SCORE 25656.593
AT ITER 6411 NEW BEST:: SOT 142567 SOS 72097 HAS SOPS 72097 HAS SOUS 25566 HAS SOUPS 25566 WITH SCORE 25638.097
AT ITER 6422 NEW BEST:: SOT 142567 SOS 72094 HAS SOPS 72094 HAS SOUS 25526 HAS SOUPS 25526 WITH SCORE 25598.094
AT ITER 6464 NEW BEST:: SOT 142558 SOS 72085 HAS SOPS 72085 HAS SOUS 25523 HAS SOUPS 25523 WITH SCORE 25595.085
AT ITER 6501 NEW BEST:: SOT 142552 SOS 72079 HAS SOPS 72079 HAS SOUS 25511 HAS SOUPS 25511 WITH SCORE 25583.079
AT ITER 6522 NEW BEST:: SOT 142581 SOS 72093 HAS SOPS 72093 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25581.093
AT ITER 6547 NEW BEST:: SOT 142575 SOS 72023 HAS SOPS 72023 HAS SOUS 25505 HAS SOUPS 25505 WITH SCORE 25577.023
AT ITER 6562 NEW BEST:: SOT 142548 SOS 71367 HAS SOPS 71367 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25535.367
AT ITER 6590 NEW BEST:: SOT 142548 SOS 71336 HAS SOPS 71336 HAS SOUS 25433 HAS SOUPS 25433 WITH SCORE 25504.336
AT ITER 6622 NEW BEST:: SOT 142870 SOS 71497 HAS SOPS 71497 HAS SOUS 25411 HAS SOUPS 25411 WITH SCORE 25482.497
AT ITER 6632 NEW BEST:: SOT 142865 SOS 71378 HAS SOPS 71378 HAS SOUS 25408 HAS SOUPS 25408 WITH SCORE 25479.378
AT ITER 6645 NEW BEST:: SOT 142865 SOS 71447 HAS SOPS 71447 HAS SOUS 25403 HAS SOUPS 25403 WITH SCORE 25474.447
AT ITER 6669 NEW BEST:: SOT 142831 SOS 71413 HAS SOPS 71413 HAS SOUS 25369 HAS SOUPS 25369 WITH SCORE 25440.413
AT ITER 6680 NEW BEST:: SOT 142836 SOS 71418 HAS SOPS 71418 HAS SOUS 25364 HAS SOUPS 25364 WITH SCORE 25435.418
AT ITER 6692 NEW BEST:: SOT 142763 SOS 71449 HAS SOPS 71449 HAS SOUS 25297 HAS SOUPS 25297 WITH SCORE 25368.449
AT ITER 6731 NEW BEST:: SOT 142636 SOS 71322 HAS SOPS 71322 HAS SOUS 25182 HAS SOUPS 25182 WITH SCORE 25253.322
AT ITER 6738 NEW BEST:: SOT 142626 SOS 71165 HAS SOPS 71165 HAS SOUS 25180 HAS SOUPS 25180 WITH SCORE 25251.165
AT ITER 6818 NEW BEST:: SOT 142625 SOS 71175 HAS SOPS 71175 HAS SOUS 25178 HAS SOUPS 25178 WITH SCORE 25249.175
AT ITER 6840 NEW BEST:: SOT 142623 SOS 70933 HAS SOPS 70933 HAS SOUS 25126 HAS SOUPS 25126 WITH SCORE 25196.933
AT ITER 6851 NEW BEST:: SOT 142577 SOS 70887 HAS SOPS 70887 HAS SOUS 25080 HAS SOUPS 25080 WITH SCORE 25150.887
AT ITER 6875 NEW BEST:: SOT 142554 SOS 70680 HAS SOPS 70680 HAS SOUS 25034 HAS SOUPS 25034 WITH SCORE 25104.68
AT ITER 6877 NEW BEST:: SOT 142507 SOS 70633 HAS SOPS 70633 HAS SOUS 24987 HAS SOUPS 24987 WITH SCORE 25057.633
AT ITER 6902 NEW BEST:: SOT 142471 SOS 70597 HAS SOPS 70597 HAS SOUS 24951 HAS SOUPS 24951 WITH SCORE 25021.597
AT ITER 6952 NEW BEST:: SOT 142470 SOS 70596 HAS SOPS 70596 HAS SOUS 24950 HAS SOUPS 24950 WITH SCORE 25020.596
AT ITER 6973 NEW BEST:: SOT 142470 SOS 70590 HAS SOPS 70590 HAS SOUS 24950 HAS SOUPS 24950 WITH SCORE 25020.59
AT ITER 6993 NEW BEST:: SOT 142438 SOS 70558 HAS SOPS 70558 HAS SOUS 24887 HAS SOUPS 24887 WITH SCORE 24957.558
AT ITER 7007 NEW BEST:: SOT 142390 SOS 70510 HAS SOPS 70510 HAS SOUS 24870 HAS SOUPS 24870 WITH SCORE 24940.51
AT ITER 7041 NEW BEST:: SOT 142373 SOS 70493 HAS SOPS 70493 HAS SOUS 24840 HAS SOUPS 24840 WITH SCORE 24910.493
AT ITER 7101 NEW BEST:: SOT 142345 SOS 70237 HAS SOPS 70237 HAS SOUS 24808 HAS SOUPS 24808 WITH SCORE 24878.237
AT ITER 7114 NEW BEST:: SOT 142341 SOS 70203 HAS SOPS 70203 HAS SOUS 24766 HAS SOUPS 24766 WITH SCORE 24836.203
AT ITER 7124 NEW BEST:: SOT 142331 SOS 70233 HAS SOPS 70233 HAS SOUS 24761 HAS SOUPS 24761 WITH SCORE 24831.233
AT ITER 7171 NEW BEST:: SOT 142263 SOS 70165 HAS SOPS 70165 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 24819.165
AT ITER 7178 NEW BEST:: SOT 142268 SOS 70160 HAS SOPS 70160 HAS SOUS 24749 HAS SOUPS 24749 WITH SCORE 24819.16
AT ITER 7241 NEW BEST:: SOT 142242 SOS 70134 HAS SOPS 70134 HAS SOUS 24686 HAS SOUPS 24686 WITH SCORE 24756.134
AT ITER 7248 NEW BEST:: SOT 142212 SOS 70105 HAS SOPS 70105 HAS SOUS 24631 HAS SOUPS 24631 WITH SCORE 24701.105
AT ITER 7316 NEW BEST:: SOT 142200 SOS 70093 HAS SOPS 70093 HAS SOUS 24607 HAS SOUPS 24607 WITH SCORE 24677.093
AT ITER 7343 NEW BEST:: SOT 142189 SOS 70077 HAS SOPS 70077 HAS SOUS 24591 HAS SOUPS 24591 WITH SCORE 24661.077
AT ITER 7353 NEW BEST:: SOT 142187 SOS 70061 HAS SOPS 70061 HAS SOUS 24587 HAS SOUPS 24587 WITH SCORE 24657.061
AT ITER 7356 NEW BEST:: SOT 142151 SOS 69987 HAS SOPS 69987 HAS SOUS 24549 HAS SOUPS 24549 WITH SCORE 24618.987
AT ITER 7384 NEW BEST:: SOT 142151 SOS 69977 HAS SOPS 69977 HAS SOUS 24539 HAS SOUPS 24539 WITH SCORE 24608.977
AT ITER 7476 NEW BEST:: SOT 142156 SOS 69968 HAS SOPS 69968 HAS SOUS 24527 HAS SOUPS 24527 WITH SCORE 24596.968
AT ITER 7518 NEW BEST:: SOT 142156 SOS 69768 HAS SOPS 69768 HAS SOUS 24527 HAS SOUPS 24527 WITH SCORE 24596.768
AT ITER 7529 NEW BEST:: SOT 142157 SOS 69769 HAS SOPS 69769 HAS SOUS 24508 HAS SOUPS 24508 WITH SCORE 24577.769
AT ITER 7544 NEW BEST:: SOT 142103 SOS 69676 HAS SOPS 69676 HAS SOUS 24349 HAS SOUPS 24349 WITH SCORE 24418.676
AT ITER 7554 NEW BEST:: SOT 142103 SOS 69704 HAS SOPS 69704 HAS SOUS 24345 HAS SOUPS 24345 WITH SCORE 24414.704
AT ITER 7580 NEW BEST:: SOT 142103 SOS 69721 HAS SOPS 69721 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24406.721
AT ITER 7585 NEW BEST:: SOT 142099 SOS 69717 HAS SOPS 69717 HAS SOUS 24334 HAS SOUPS 24334 WITH SCORE 24403.717
AT ITER 7596 NEW BEST:: SOT 142099 SOS 69717 HAS SOPS 69717 HAS SOUS 24329 HAS SOUPS 24329 WITH SCORE 24398.717
AT ITER 7602 NEW BEST:: SOT 142074 SOS 69692 HAS SOPS 69692 HAS SOUS 24303 HAS SOUPS 24303 WITH SCORE 24372.692
AT ITER 7607 NEW BEST:: SOT 142077 SOS 69646 HAS SOPS 69646 HAS SOUS 24293 HAS SOUPS 24293 WITH SCORE 24362.646
AT ITER 7634 NEW BEST:: SOT 142062 SOS 69556 HAS SOPS 69556 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24332.556
AT ITER 7652 NEW BEST:: SOT 142058 SOS 69552 HAS SOPS 69552 HAS SOUS 24263 HAS SOUPS 24263 WITH SCORE 24332.552
AT ITER 7689 NEW BEST:: SOT 142054 SOS 69526 HAS SOPS 69526 HAS SOUS 24237 HAS SOUPS 24237 WITH SCORE 24306.526
AT ITER 7748 NEW BEST:: SOT 142054 SOS 69522 HAS SOPS 69522 HAS SOUS 24237 HAS SOUPS 24237 WITH SCORE 24306.522
AT ITER 7771 NEW BEST:: SOT 142048 SOS 69510 HAS SOPS 69510 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24300.51
AT ITER 7772 NEW BEST:: SOT 142046 SOS 69506 HAS SOPS 69506 HAS SOUS 24227 HAS SOUPS 24227 WITH SCORE 24296.506
AT ITER 7786 NEW BEST:: SOT 141987 SOS 69404 HAS SOPS 69404 HAS SOUS 24152 HAS SOUPS 24152 WITH SCORE 24221.404
AT ITER 7801 NEW BEST:: SOT 141963 SOS 69237 HAS SOPS 69237 HAS SOUS 24124 HAS SOUPS 24124 WITH SCORE 24193.237
AT ITER 7808 NEW BEST:: SOT 141945 SOS 69197 HAS SOPS 69197 HAS SOUS 24088 HAS SOUPS 24088 WITH SCORE 24157.197
AT ITER 7855 NEW BEST:: SOT 141810 SOS 68845 HAS SOPS 68845 HAS SOUS 23909 HAS SOUPS 23909 WITH SCORE 23977.845
AT ITER 7980 NEW BEST:: SOT 141799 SOS 68813 HAS SOPS 68813 HAS SOUS 23898 HAS SOUPS 23898 WITH SCORE 23966.813
AT ITER 8023 NEW BEST:: SOT 141790 SOS 68804 HAS SOPS 68804 HAS SOUS 23880 HAS SOUPS 23880 WITH SCORE 23948.804
AT ITER 8025 NEW BEST:: SOT 141721 SOS 68504 HAS SOPS 68504 HAS SOUS 23736 HAS SOUPS 23736 WITH SCORE 23804.504
AT ITER 8031 NEW BEST:: SOT 141717 SOS 68493 HAS SOPS 68493 HAS SOUS 23725 HAS SOUPS 23725 WITH SCORE 23793.493
AT ITER 8055 NEW BEST:: SOT 141718 SOS 68629 HAS SOPS 68629 HAS SOUS 23720 HAS SOUPS 23720 WITH SCORE 23788.629
AT ITER 8141 NEW BEST:: SOT 141688 SOS 68584 HAS SOPS 68584 HAS SOUS 23675 HAS SOUPS 23675 WITH SCORE 23743.584
AT ITER 8208 NEW BEST:: SOT 141671 SOS 68552 HAS SOPS 68552 HAS SOUS 23643 HAS SOUPS 23643 WITH SCORE 23711.552
AT ITER 8258 NEW BEST:: SOT 141647 SOS 68490 HAS SOPS 68490 HAS SOUS 23633 HAS SOUPS 23633 WITH SCORE 23701.49
AT ITER 8278 NEW BEST:: SOT 141641 SOS 68478 HAS SOPS 68478 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23689.478
AT ITER 8329 NEW BEST:: SOT 141635 SOS 68472 HAS SOPS 68472 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23685.472
AT ITER 8335 NEW BEST:: SOT 141603 SOS 68376 HAS SOPS 68376 HAS SOUS 23576 HAS SOUPS 23576 WITH SCORE 23644.376
AT ITER 8337 NEW BEST:: SOT 141609 SOS 68313 HAS SOPS 68313 HAS SOUS 23573 HAS SOUPS 23573 WITH SCORE 23641.313
AT ITER 8349 NEW BEST:: SOT 141629 SOS 68649 HAS SOPS 68649 HAS SOUS 23563 HAS SOUPS 23563 WITH SCORE 23631.649
AT ITER 8485 NEW BEST:: SOT 141629 SOS 68649 HAS SOPS 68649 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23630.649
AT ITER 8490 NEW BEST:: SOT 141635 SOS 68617 HAS SOPS 68617 HAS SOUS 23521 HAS SOUPS 23521 WITH SCORE 23589.617
AT ITER 8506 NEW BEST:: SOT 141644 SOS 68610 HAS SOPS 68610 HAS SOUS 23513 HAS SOUPS 23513 WITH SCORE 23581.61
AT ITER 8536 NEW BEST:: SOT 141633 SOS 68599 HAS SOPS 68599 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23559.599
AT ITER 8558 NEW BEST:: SOT 141489 SOS 68455 HAS SOPS 68455 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23559.455
AT ITER 8645 NEW BEST:: SOT 141497 SOS 68463 HAS SOPS 68463 HAS SOUS 23468 HAS SOUPS 23468 WITH SCORE 23536.463
AT ITER 8696 NEW BEST:: SOT 141497 SOS 68463 HAS SOPS 68463 HAS SOUS 23466 HAS SOUPS 23466 WITH SCORE 23534.463
AT ITER 8805 NEW BEST:: SOT 141497 SOS 68455 HAS SOPS 68455 HAS SOUS 23462 HAS SOUPS 23462 WITH SCORE 23530.455
AT ITER 8852 NEW BEST:: SOT 141497 SOS 68439 HAS SOPS 68439 HAS SOUS 23460 HAS SOUPS 23460 WITH SCORE 23528.439
AT ITER 8910 NEW BEST:: SOT 141497 SOS 68407 HAS SOPS 68407 HAS SOUS 23459 HAS SOUPS 23459 WITH SCORE 23527.407
AT ITER 8969 NEW BEST:: SOT 141486 SOS 68284 HAS SOPS 68284 HAS SOUS 23458 HAS SOUPS 23458 WITH SCORE 23526.284
AT ITER 9031 NEW BEST:: SOT 141487 SOS 68285 HAS SOPS 68285 HAS SOUS 23447 HAS SOUPS 23447 WITH SCORE 23515.285
AT ITER 9045 NEW BEST:: SOT 141468 SOS 68266 HAS SOPS 68266 HAS SOUS 23428 HAS SOUPS 23428 WITH SCORE 23496.266
AT ITER 9053 NEW BEST:: SOT 141468 SOS 68258 HAS SOPS 68258 HAS SOUS 23372 HAS SOUPS 23372 WITH SCORE 23440.258
AT ITER 9066 NEW BEST:: SOT 141470 SOS 68240 HAS SOPS 68240 HAS SOUS 23354 HAS SOUPS 23354 WITH SCORE 23422.24
AT ITER 9107 NEW BEST:: SOT 141462 SOS 68160 HAS SOPS 68160 HAS SOUS 23338 HAS SOUPS 23338 WITH SCORE 23406.16
AT ITER 9133 NEW BEST:: SOT 141342 SOS 68115 HAS SOPS 68115 HAS SOUS 23233 HAS SOUPS 23233 WITH SCORE 23301.115
AT ITER 9172 NEW BEST:: SOT 141345 SOS 68118 HAS SOPS 68118 HAS SOUS 23221 HAS SOUPS 23221 WITH SCORE 23289.118
AT ITER 9186 NEW BEST:: SOT 141340 SOS 68113 HAS SOPS 68113 HAS SOUS 23220 HAS SOUPS 23220 WITH SCORE 23288.113
AT ITER 9200 NEW BEST:: SOT 141321 SOS 68094 HAS SOPS 68094 HAS SOUS 23201 HAS SOUPS 23201 WITH SCORE 23269.094
AT ITER 9426 NEW BEST:: SOT 141310 SOS 68083 HAS SOPS 68083 HAS SOUS 23190 HAS SOUPS 23190 WITH SCORE 23258.083
AT ITER 9471 NEW BEST:: SOT 141312 SOS 68085 HAS SOPS 68085 HAS SOUS 23182 HAS SOUPS 23182 WITH SCORE 23250.085
AT ITER 9532 NEW BEST:: SOT 141308 SOS 68021 HAS SOPS 68021 HAS SOUS 23174 HAS SOUPS 23174 WITH SCORE 23242.021
AT ITER 9577 NEW BEST:: SOT 141305 SOS 68018 HAS SOPS 68018 HAS SOUS 23168 HAS SOUPS 23168 WITH SCORE 23236.018
AT ITER 9594 NEW BEST:: SOT 141349 SOS 68040 HAS SOPS 68040 HAS SOUS 23157 HAS SOUPS 23157 WITH SCORE 23225.04
AT ITER 9621 NEW BEST:: SOT 141349 SOS 68040 HAS SOPS 68040 HAS SOUS 23070 HAS SOUPS 23070 WITH SCORE 23138.04
AT ITER 9673 NEW BEST:: SOT 141349 SOS 67962 HAS SOPS 67962 HAS SOUS 23069 HAS SOUPS 23069 WITH SCORE 23136.962
AT ITER 9780 NEW BEST:: SOT 141338 SOS 67951 HAS SOPS 67951 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23122.951
AT ITER 9806 NEW BEST:: SOT 141325 SOS 67916 HAS SOPS 67916 HAS SOUS 23051 HAS SOUPS 23051 WITH SCORE 23118.916
AT ITER 9812 NEW BEST:: SOT 141320 SOS 67883 HAS SOPS 67883 HAS SOUS 23018 HAS SOUPS 23018 WITH SCORE 23085.883
AT ITER 9892 NEW BEST:: SOT 141310 SOS 67873 HAS SOPS 67873 HAS SOUS 22987 HAS SOUPS 22987 WITH SCORE 23054.873
AT ITER 9910 NEW BEST:: SOT 141268 SOS 67688 HAS SOPS 67688 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22970.688
AT ITER 9938 NEW BEST:: SOT 141262 SOS 67780 HAS SOPS 67780 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22964.78
AT ITER 9960 NEW BEST:: SOT 141230 SOS 67786 HAS SOPS 67786 HAS SOUS 22896 HAS SOUPS 22896 WITH SCORE 22963.786
AT ITER 9977 NEW BEST:: SOT 141216 SOS 67759 HAS SOPS 67759 HAS SOUS 22869 HAS SOUPS 22869 WITH SCORE 22936.759
STATE_SPACE STATES 189402887 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 23 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 956616896 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678719484531

--------------------
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

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-01a"
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 ASLink-PT-01a, 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 r011-oct2-167813599600016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-01a.tgz
mv ASLink-PT-01a 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 ;