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.r203-smll-167840349500368.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 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 HealthRecord-PT-17, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349500368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 604K
-rw-r--r-- 1 mcc users 6.1K Feb 26 17:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 17:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Feb 26 17:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 17:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 114K Feb 26 17:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Feb 26 17:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 26 17:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:14 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 175K 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 1678590898034

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=HealthRecord-PT-17
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 03:15:00] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 03:15:00] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 03:15:01] [INFO ] Load time of PNML (sax parser for PT used): 126 ms
[2023-03-12 03:15:01] [INFO ] Transformed 624 places.
[2023-03-12 03:15:01] [INFO ] Transformed 828 transitions.
[2023-03-12 03:15:01] [INFO ] Found NUPN structural information;
[2023-03-12 03:15:01] [INFO ] Parsed PT model containing 624 places and 828 transitions and 1879 arcs in 253 ms.
[2023-03-12 03:15:01] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 624 places, 828 transitions and 1879 arcs took 12 ms.
Total runtime 312 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 17
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: 624 places, 828 transitions, 1879 arcs.
AT ITER 0 NEW BEST:: SOT 309268 SOS 85228 HAS SOPS 85228 HAS SOUS 68535 HAS SOUPS 68535 WITH SCORE 68620.228
AT ITER 8 NEW BEST:: SOT 309316 SOS 85230 HAS SOPS 85230 HAS SOUS 68510 HAS SOUPS 68510 WITH SCORE 68595.23
AT ITER 24 NEW BEST:: SOT 309316 SOS 85230 HAS SOPS 85230 HAS SOUS 68486 HAS SOUPS 68486 WITH SCORE 68571.23
AT ITER 27 NEW BEST:: SOT 309249 SOS 85027 HAS SOPS 85027 HAS SOUS 68352 HAS SOUPS 68352 WITH SCORE 68437.027
AT ITER 29 NEW BEST:: SOT 309236 SOS 85003 HAS SOPS 85003 HAS SOUS 68341 HAS SOUPS 68341 WITH SCORE 68426.003
AT ITER 31 NEW BEST:: SOT 307290 SOS 83847 HAS SOPS 83847 HAS SOUS 66478 HAS SOUPS 66478 WITH SCORE 66561.847
AT ITER 39 NEW BEST:: SOT 307260 SOS 83787 HAS SOPS 83787 HAS SOUS 66408 HAS SOUPS 66408 WITH SCORE 66491.787
AT ITER 45 NEW BEST:: SOT 307197 SOS 83661 HAS SOPS 83661 HAS SOUS 66219 HAS SOUPS 66219 WITH SCORE 66302.661
AT ITER 46 NEW BEST:: SOT 307113 SOS 83462 HAS SOPS 83462 HAS SOUS 66188 HAS SOUPS 66188 WITH SCORE 66271.462
AT ITER 51 NEW BEST:: SOT 306982 SOS 83344 HAS SOPS 83344 HAS SOUS 66057 HAS SOUPS 66057 WITH SCORE 66140.344
AT ITER 52 NEW BEST:: SOT 306936 SOS 83218 HAS SOPS 83218 HAS SOUS 65944 HAS SOUPS 65944 WITH SCORE 66027.218
AT ITER 55 NEW BEST:: SOT 306875 SOS 83157 HAS SOPS 83157 HAS SOUS 65944 HAS SOUPS 65944 WITH SCORE 66027.157
AT ITER 68 NEW BEST:: SOT 306983 SOS 83265 HAS SOPS 83265 HAS SOUS 65907 HAS SOUPS 65907 WITH SCORE 65990.265
AT ITER 75 NEW BEST:: SOT 306983 SOS 83229 HAS SOPS 83229 HAS SOUS 65907 HAS SOUPS 65907 WITH SCORE 65990.229
AT ITER 86 NEW BEST:: SOT 306931 SOS 83048 HAS SOPS 83048 HAS SOUS 65766 HAS SOUPS 65766 WITH SCORE 65849.048
AT ITER 96 NEW BEST:: SOT 306900 SOS 83051 HAS SOPS 83051 HAS SOUS 65746 HAS SOUPS 65746 WITH SCORE 65829.051
AT ITER 104 NEW BEST:: SOT 306948 SOS 83091 HAS SOPS 83091 HAS SOUS 65738 HAS SOUPS 65738 WITH SCORE 65821.091
AT ITER 112 NEW BEST:: SOT 306912 SOS 83223 HAS SOPS 83223 HAS SOUS 65702 HAS SOUPS 65702 WITH SCORE 65785.223
AT ITER 115 NEW BEST:: SOT 306787 SOS 83119 HAS SOPS 83119 HAS SOUS 65671 HAS SOUPS 65671 WITH SCORE 65754.119
AT ITER 136 NEW BEST:: SOT 306697 SOS 83151 HAS SOPS 83151 HAS SOUS 65563 HAS SOUPS 65563 WITH SCORE 65646.151
AT ITER 142 NEW BEST:: SOT 306755 SOS 83267 HAS SOPS 83267 HAS SOUS 65518 HAS SOUPS 65518 WITH SCORE 65601.267
AT ITER 146 NEW BEST:: SOT 306661 SOS 83173 HAS SOPS 83173 HAS SOUS 65424 HAS SOUPS 65424 WITH SCORE 65507.173
AT ITER 161 NEW BEST:: SOT 306643 SOS 83137 HAS SOPS 83137 HAS SOUS 65388 HAS SOUPS 65388 WITH SCORE 65471.137
AT ITER 172 NEW BEST:: SOT 306633 SOS 83117 HAS SOPS 83117 HAS SOUS 65368 HAS SOUPS 65368 WITH SCORE 65451.117
AT ITER 178 NEW BEST:: SOT 306516 SOS 82979 HAS SOPS 82979 HAS SOUS 65208 HAS SOUPS 65208 WITH SCORE 65290.979
AT ITER 179 NEW BEST:: SOT 305997 SOS 89926 HAS SOPS 89926 HAS SOUS 64966 HAS SOUPS 64966 WITH SCORE 65055.926
AT ITER 199 NEW BEST:: SOT 305937 SOS 89806 HAS SOPS 89806 HAS SOUS 64906 HAS SOUPS 64906 WITH SCORE 64995.806
AT ITER 204 NEW BEST:: SOT 305657 SOS 89588 HAS SOPS 89588 HAS SOUS 64517 HAS SOUPS 64517 WITH SCORE 64606.588
AT ITER 209 NEW BEST:: SOT 305540 SOS 89498 HAS SOPS 89498 HAS SOUS 64421 HAS SOUPS 64421 WITH SCORE 64510.498
AT ITER 213 NEW BEST:: SOT 305426 SOS 89450 HAS SOPS 89450 HAS SOUS 64363 HAS SOUPS 64363 WITH SCORE 64452.45
AT ITER 216 NEW BEST:: SOT 305396 SOS 89311 HAS SOPS 89311 HAS SOUS 64326 HAS SOUPS 64326 WITH SCORE 64415.311
AT ITER 217 NEW BEST:: SOT 305346 SOS 89441 HAS SOPS 89441 HAS SOUS 64286 HAS SOUPS 64286 WITH SCORE 64375.441
AT ITER 218 NEW BEST:: SOT 305346 SOS 89255 HAS SOPS 89255 HAS SOUS 64162 HAS SOUPS 64162 WITH SCORE 64251.255
AT ITER 224 NEW BEST:: SOT 305345 SOS 89253 HAS SOPS 89253 HAS SOUS 64160 HAS SOUPS 64160 WITH SCORE 64249.253
AT ITER 234 NEW BEST:: SOT 305234 SOS 89118 HAS SOPS 89118 HAS SOUS 64022 HAS SOUPS 64022 WITH SCORE 64111.118
AT ITER 239 NEW BEST:: SOT 304778 SOS 89194 HAS SOPS 89194 HAS SOUS 63770 HAS SOUPS 63770 WITH SCORE 63859.194
AT ITER 240 NEW BEST:: SOT 304614 SOS 88948 HAS SOPS 88948 HAS SOUS 63606 HAS SOUPS 63606 WITH SCORE 63694.948
AT ITER 249 NEW BEST:: SOT 304579 SOS 88729 HAS SOPS 88729 HAS SOUS 63520 HAS SOUPS 63520 WITH SCORE 63608.729
AT ITER 262 NEW BEST:: SOT 304567 SOS 88748 HAS SOPS 88748 HAS SOUS 63508 HAS SOUPS 63508 WITH SCORE 63596.748
AT ITER 270 NEW BEST:: SOT 304518 SOS 88793 HAS SOPS 88793 HAS SOUS 63337 HAS SOUPS 63337 WITH SCORE 63425.793
AT ITER 288 NEW BEST:: SOT 304516 SOS 88787 HAS SOPS 88787 HAS SOUS 63335 HAS SOUPS 63335 WITH SCORE 63423.787
AT ITER 321 NEW BEST:: SOT 304530 SOS 88735 HAS SOPS 88735 HAS SOUS 63269 HAS SOUPS 63269 WITH SCORE 63357.735
AT ITER 329 NEW BEST:: SOT 304445 SOS 88645 HAS SOPS 88645 HAS SOUS 63195 HAS SOUPS 63195 WITH SCORE 63283.645
AT ITER 330 NEW BEST:: SOT 304384 SOS 88588 HAS SOPS 88588 HAS SOUS 63134 HAS SOUPS 63134 WITH SCORE 63222.588
AT ITER 342 NEW BEST:: SOT 304370 SOS 88560 HAS SOPS 88560 HAS SOUS 63132 HAS SOUPS 63132 WITH SCORE 63220.56
AT ITER 343 NEW BEST:: SOT 304331 SOS 88482 HAS SOPS 88482 HAS SOUS 62978 HAS SOUPS 62978 WITH SCORE 63066.482
AT ITER 344 NEW BEST:: SOT 304181 SOS 88312 HAS SOPS 88312 HAS SOUS 62891 HAS SOUPS 62891 WITH SCORE 62979.312
AT ITER 349 NEW BEST:: SOT 304156 SOS 88262 HAS SOPS 88262 HAS SOUS 62891 HAS SOUPS 62891 WITH SCORE 62979.262
AT ITER 363 NEW BEST:: SOT 304135 SOS 88220 HAS SOPS 88220 HAS SOUS 62849 HAS SOUPS 62849 WITH SCORE 62937.22
AT ITER 370 NEW BEST:: SOT 303907 SOS 87840 HAS SOPS 87840 HAS SOUS 62469 HAS SOUPS 62469 WITH SCORE 62556.84
AT ITER 381 NEW BEST:: SOT 303878 SOS 87815 HAS SOPS 87815 HAS SOUS 62457 HAS SOUPS 62457 WITH SCORE 62544.815
AT ITER 385 NEW BEST:: SOT 303920 SOS 87857 HAS SOPS 87857 HAS SOUS 62452 HAS SOUPS 62452 WITH SCORE 62539.857
AT ITER 396 NEW BEST:: SOT 303926 SOS 87772 HAS SOPS 87772 HAS SOUS 62335 HAS SOUPS 62335 WITH SCORE 62422.772
AT ITER 401 NEW BEST:: SOT 303005 SOS 89087 HAS SOPS 89087 HAS SOUS 62296 HAS SOUPS 62296 WITH SCORE 62385.087
AT ITER 408 NEW BEST:: SOT 302988 SOS 89053 HAS SOPS 89053 HAS SOUS 62262 HAS SOUPS 62262 WITH SCORE 62351.053
AT ITER 410 NEW BEST:: SOT 302923 SOS 88923 HAS SOPS 88923 HAS SOUS 62248 HAS SOUPS 62248 WITH SCORE 62336.923
AT ITER 416 NEW BEST:: SOT 302851 SOS 88803 HAS SOPS 88803 HAS SOUS 62128 HAS SOUPS 62128 WITH SCORE 62216.803
AT ITER 427 NEW BEST:: SOT 302785 SOS 88706 HAS SOPS 88706 HAS SOUS 62044 HAS SOUPS 62044 WITH SCORE 62132.706
AT ITER 430 NEW BEST:: SOT 302672 SOS 88551 HAS SOPS 88551 HAS SOUS 61931 HAS SOUPS 61931 WITH SCORE 62019.551
AT ITER 445 NEW BEST:: SOT 302607 SOS 88429 HAS SOPS 88429 HAS SOUS 61888 HAS SOUPS 61888 WITH SCORE 61976.429
AT ITER 454 NEW BEST:: SOT 302488 SOS 88334 HAS SOPS 88334 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61941.334
AT ITER 458 NEW BEST:: SOT 302435 SOS 88516 HAS SOPS 88516 HAS SOUS 61844 HAS SOUPS 61844 WITH SCORE 61932.516
AT ITER 467 NEW BEST:: SOT 302435 SOS 88512 HAS SOPS 88512 HAS SOUS 61844 HAS SOUPS 61844 WITH SCORE 61932.512
AT ITER 470 NEW BEST:: SOT 302435 SOS 88512 HAS SOPS 88512 HAS SOUS 61835 HAS SOUPS 61835 WITH SCORE 61923.512
AT ITER 480 NEW BEST:: SOT 302305 SOS 88252 HAS SOPS 88252 HAS SOUS 61575 HAS SOUPS 61575 WITH SCORE 61663.252
AT ITER 482 NEW BEST:: SOT 302305 SOS 88252 HAS SOPS 88252 HAS SOUS 61495 HAS SOUPS 61495 WITH SCORE 61583.252
AT ITER 495 NEW BEST:: SOT 300565 SOS 88984 HAS SOPS 88984 HAS SOUS 59755 HAS SOUPS 59755 WITH SCORE 59843.984
AT ITER 499 NEW BEST:: SOT 300573 SOS 89000 HAS SOPS 89000 HAS SOUS 59742 HAS SOUPS 59742 WITH SCORE 59831.0
AT ITER 500 NEW BEST:: SOT 300564 SOS 88982 HAS SOPS 88982 HAS SOUS 59718 HAS SOUPS 59718 WITH SCORE 59806.982
AT ITER 503 NEW BEST:: SOT 300535 SOS 88924 HAS SOPS 88924 HAS SOUS 59590 HAS SOUPS 59590 WITH SCORE 59678.924
AT ITER 504 NEW BEST:: SOT 300530 SOS 88914 HAS SOPS 88914 HAS SOUS 59585 HAS SOUPS 59585 WITH SCORE 59673.914
AT ITER 513 NEW BEST:: SOT 300523 SOS 88900 HAS SOPS 88900 HAS SOUS 59571 HAS SOUPS 59571 WITH SCORE 59659.9
AT ITER 520 NEW BEST:: SOT 300453 SOS 88891 HAS SOPS 88891 HAS SOUS 59479 HAS SOUPS 59479 WITH SCORE 59567.891
AT ITER 541 NEW BEST:: SOT 300393 SOS 88859 HAS SOPS 88859 HAS SOUS 59437 HAS SOUPS 59437 WITH SCORE 59525.859
AT ITER 542 NEW BEST:: SOT 300387 SOS 88964 HAS SOPS 88964 HAS SOUS 59431 HAS SOUPS 59431 WITH SCORE 59519.964
AT ITER 550 NEW BEST:: SOT 300387 SOS 88964 HAS SOPS 88964 HAS SOUS 59373 HAS SOUPS 59373 WITH SCORE 59461.964
AT ITER 565 NEW BEST:: SOT 300253 SOS 88696 HAS SOPS 88696 HAS SOUS 59239 HAS SOUPS 59239 WITH SCORE 59327.696
AT ITER 566 NEW BEST:: SOT 300253 SOS 88635 HAS SOPS 88635 HAS SOUS 59178 HAS SOUPS 59178 WITH SCORE 59266.635
AT ITER 569 NEW BEST:: SOT 300223 SOS 88635 HAS SOPS 88635 HAS SOUS 59148 HAS SOUPS 59148 WITH SCORE 59236.635
AT ITER 570 NEW BEST:: SOT 300233 SOS 88551 HAS SOPS 88551 HAS SOUS 59133 HAS SOUPS 59133 WITH SCORE 59221.551
AT ITER 571 NEW BEST:: SOT 300179 SOS 88507 HAS SOPS 88507 HAS SOUS 59074 HAS SOUPS 59074 WITH SCORE 59162.507
AT ITER 580 NEW BEST:: SOT 300112 SOS 88352 HAS SOPS 88352 HAS SOUS 58911 HAS SOUPS 58911 WITH SCORE 58999.352
AT ITER 586 NEW BEST:: SOT 300112 SOS 88352 HAS SOPS 88352 HAS SOUS 58861 HAS SOUPS 58861 WITH SCORE 58949.352
AT ITER 590 NEW BEST:: SOT 300088 SOS 88221 HAS SOPS 88221 HAS SOUS 58693 HAS SOUPS 58693 WITH SCORE 58781.221
AT ITER 593 NEW BEST:: SOT 300015 SOS 87906 HAS SOPS 87906 HAS SOUS 58620 HAS SOUPS 58620 WITH SCORE 58707.906
AT ITER 603 NEW BEST:: SOT 300015 SOS 87906 HAS SOPS 87906 HAS SOUS 58535 HAS SOUPS 58535 WITH SCORE 58622.906
AT ITER 638 NEW BEST:: SOT 300014 SOS 87880 HAS SOPS 87880 HAS SOUS 58510 HAS SOUPS 58510 WITH SCORE 58597.88
AT ITER 642 NEW BEST:: SOT 299986 SOS 87824 HAS SOPS 87824 HAS SOUS 58479 HAS SOUPS 58479 WITH SCORE 58566.824
AT ITER 649 NEW BEST:: SOT 299986 SOS 87788 HAS SOPS 87788 HAS SOUS 58479 HAS SOUPS 58479 WITH SCORE 58566.788
AT ITER 656 NEW BEST:: SOT 299970 SOS 87740 HAS SOPS 87740 HAS SOUS 58463 HAS SOUPS 58463 WITH SCORE 58550.74
AT ITER 657 NEW BEST:: SOT 299925 SOS 87650 HAS SOPS 87650 HAS SOUS 58400 HAS SOUPS 58400 WITH SCORE 58487.65
AT ITER 659 NEW BEST:: SOT 299879 SOS 87695 HAS SOPS 87695 HAS SOUS 58267 HAS SOUPS 58267 WITH SCORE 58354.695
AT ITER 664 NEW BEST:: SOT 299825 SOS 87587 HAS SOPS 87587 HAS SOUS 58213 HAS SOUPS 58213 WITH SCORE 58300.587
AT ITER 665 NEW BEST:: SOT 299772 SOS 87317 HAS SOPS 87317 HAS SOUS 58105 HAS SOUPS 58105 WITH SCORE 58192.317
AT ITER 674 NEW BEST:: SOT 299653 SOS 87539 HAS SOPS 87539 HAS SOUS 58103 HAS SOUPS 58103 WITH SCORE 58190.539
AT ITER 678 NEW BEST:: SOT 299624 SOS 87481 HAS SOPS 87481 HAS SOUS 58042 HAS SOUPS 58042 WITH SCORE 58129.481
AT ITER 681 NEW BEST:: SOT 299463 SOS 87159 HAS SOPS 87159 HAS SOUS 57881 HAS SOUPS 57881 WITH SCORE 57968.159
AT ITER 701 NEW BEST:: SOT 299463 SOS 87159 HAS SOPS 87159 HAS SOUS 57796 HAS SOUPS 57796 WITH SCORE 57883.159
AT ITER 708 NEW BEST:: SOT 299449 SOS 87118 HAS SOPS 87118 HAS SOUS 57769 HAS SOUPS 57769 WITH SCORE 57856.118
AT ITER 723 NEW BEST:: SOT 299395 SOS 87010 HAS SOPS 87010 HAS SOUS 57661 HAS SOUPS 57661 WITH SCORE 57748.01
AT ITER 748 NEW BEST:: SOT 299394 SOS 87008 HAS SOPS 87008 HAS SOUS 57659 HAS SOUPS 57659 WITH SCORE 57746.008
AT ITER 751 NEW BEST:: SOT 299354 SOS 86928 HAS SOPS 86928 HAS SOUS 57478 HAS SOUPS 57478 WITH SCORE 57564.928
AT ITER 758 NEW BEST:: SOT 299339 SOS 86871 HAS SOPS 86871 HAS SOUS 57464 HAS SOUPS 57464 WITH SCORE 57550.871
AT ITER 760 NEW BEST:: SOT 299339 SOS 86803 HAS SOPS 86803 HAS SOUS 57396 HAS SOUPS 57396 WITH SCORE 57482.803
AT ITER 767 NEW BEST:: SOT 297787 SOS 100032 HAS SOPS 100032 HAS SOUS 57379 HAS SOUPS 57379 WITH SCORE 57479.032
AT ITER 768 NEW BEST:: SOT 297760 SOS 99978 HAS SOPS 99978 HAS SOUS 57325 HAS SOUPS 57325 WITH SCORE 57424.978
AT ITER 777 NEW BEST:: SOT 297698 SOS 100004 HAS SOPS 100004 HAS SOUS 57280 HAS SOUPS 57280 WITH SCORE 57380.004
AT ITER 781 NEW BEST:: SOT 297650 SOS 99956 HAS SOPS 99956 HAS SOUS 57280 HAS SOUPS 57280 WITH SCORE 57379.956
AT ITER 783 NEW BEST:: SOT 297471 SOS 99598 HAS SOPS 99598 HAS SOUS 56922 HAS SOUPS 56922 WITH SCORE 57021.598
AT ITER 804 NEW BEST:: SOT 297436 SOS 99591 HAS SOPS 99591 HAS SOUS 56808 HAS SOUPS 56808 WITH SCORE 56907.591
AT ITER 834 NEW BEST:: SOT 297395 SOS 99550 HAS SOPS 99550 HAS SOUS 56767 HAS SOUPS 56767 WITH SCORE 56866.55
AT ITER 835 NEW BEST:: SOT 296964 SOS 99852 HAS SOPS 99852 HAS SOUS 56644 HAS SOUPS 56644 WITH SCORE 56743.852
AT ITER 836 NEW BEST:: SOT 297071 SOS 100066 HAS SOPS 100066 HAS SOUS 56569 HAS SOUPS 56569 WITH SCORE 56669.066
AT ITER 838 NEW BEST:: SOT 297073 SOS 100062 HAS SOPS 100062 HAS SOUS 56569 HAS SOUPS 56569 WITH SCORE 56669.062
AT ITER 843 NEW BEST:: SOT 297073 SOS 100051 HAS SOPS 100051 HAS SOUS 56569 HAS SOUPS 56569 WITH SCORE 56669.051
AT ITER 844 NEW BEST:: SOT 297073 SOS 99996 HAS SOPS 99996 HAS SOUS 56459 HAS SOUPS 56459 WITH SCORE 56558.996
AT ITER 855 NEW BEST:: SOT 296987 SOS 99824 HAS SOPS 99824 HAS SOUS 56258 HAS SOUPS 56258 WITH SCORE 56357.824
AT ITER 877 NEW BEST:: SOT 296919 SOS 99688 HAS SOPS 99688 HAS SOUS 56143 HAS SOUPS 56143 WITH SCORE 56242.688
AT ITER 878 NEW BEST:: SOT 296897 SOS 99493 HAS SOPS 99493 HAS SOUS 55948 HAS SOUPS 55948 WITH SCORE 56047.493
AT ITER 892 NEW BEST:: SOT 296811 SOS 99321 HAS SOPS 99321 HAS SOUS 55819 HAS SOUPS 55819 WITH SCORE 55918.321
AT ITER 893 NEW BEST:: SOT 296788 SOS 99328 HAS SOPS 99328 HAS SOUS 55795 HAS SOUPS 55795 WITH SCORE 55894.328
AT ITER 903 NEW BEST:: SOT 296736 SOS 99258 HAS SOPS 99258 HAS SOUS 55709 HAS SOUPS 55709 WITH SCORE 55808.258
AT ITER 904 NEW BEST:: SOT 296684 SOS 99154 HAS SOPS 99154 HAS SOUS 55657 HAS SOUPS 55657 WITH SCORE 55756.154
AT ITER 918 NEW BEST:: SOT 296736 SOS 99219 HAS SOPS 99219 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55747.219
AT ITER 925 NEW BEST:: SOT 296722 SOS 99177 HAS SOPS 99177 HAS SOUS 55648 HAS SOUPS 55648 WITH SCORE 55747.177
AT ITER 938 NEW BEST:: SOT 296704 SOS 99141 HAS SOPS 99141 HAS SOUS 55477 HAS SOUPS 55477 WITH SCORE 55576.141
AT ITER 947 NEW BEST:: SOT 296627 SOS 99016 HAS SOPS 99016 HAS SOUS 55364 HAS SOUPS 55364 WITH SCORE 55463.016
AT ITER 950 NEW BEST:: SOT 296606 SOS 98950 HAS SOPS 98950 HAS SOUS 55312 HAS SOUPS 55312 WITH SCORE 55410.95
AT ITER 981 NEW BEST:: SOT 296583 SOS 98904 HAS SOPS 98904 HAS SOUS 55309 HAS SOUPS 55309 WITH SCORE 55407.904
AT ITER 984 NEW BEST:: SOT 296536 SOS 98810 HAS SOPS 98810 HAS SOUS 55147 HAS SOUPS 55147 WITH SCORE 55245.81
AT ITER 987 NEW BEST:: SOT 296513 SOS 98788 HAS SOPS 98788 HAS SOUS 55138 HAS SOUPS 55138 WITH SCORE 55236.788
AT ITER 1021 NEW BEST:: SOT 296369 SOS 98500 HAS SOPS 98500 HAS SOUS 54855 HAS SOUPS 54855 WITH SCORE 54953.5
AT ITER 1043 NEW BEST:: SOT 296367 SOS 98496 HAS SOPS 98496 HAS SOUS 54851 HAS SOUPS 54851 WITH SCORE 54949.496
AT ITER 1045 NEW BEST:: SOT 296251 SOS 98264 HAS SOPS 98264 HAS SOUS 54590 HAS SOUPS 54590 WITH SCORE 54688.264
AT ITER 1046 NEW BEST:: SOT 296241 SOS 98299 HAS SOPS 98299 HAS SOUS 54570 HAS SOUPS 54570 WITH SCORE 54668.299
AT ITER 1066 NEW BEST:: SOT 296208 SOS 98401 HAS SOPS 98401 HAS SOUS 54537 HAS SOUPS 54537 WITH SCORE 54635.401
AT ITER 1071 NEW BEST:: SOT 296195 SOS 98375 HAS SOPS 98375 HAS SOUS 54511 HAS SOUPS 54511 WITH SCORE 54609.375
AT ITER 1073 NEW BEST:: SOT 295771 SOS 99383 HAS SOPS 99383 HAS SOUS 54151 HAS SOUPS 54151 WITH SCORE 54250.383
AT ITER 1076 NEW BEST:: SOT 295595 SOS 99310 HAS SOPS 99310 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54162.31
AT ITER 1081 NEW BEST:: SOT 295595 SOS 99290 HAS SOPS 99290 HAS SOUS 54063 HAS SOUPS 54063 WITH SCORE 54162.29
AT ITER 1085 NEW BEST:: SOT 295581 SOS 99262 HAS SOPS 99262 HAS SOUS 54035 HAS SOUPS 54035 WITH SCORE 54134.262
AT ITER 1114 NEW BEST:: SOT 295589 SOS 99278 HAS SOPS 99278 HAS SOUS 53995 HAS SOUPS 53995 WITH SCORE 54094.278
AT ITER 1117 NEW BEST:: SOT 295581 SOS 99270 HAS SOPS 99270 HAS SOUS 53995 HAS SOUPS 53995 WITH SCORE 54094.27
AT ITER 1125 NEW BEST:: SOT 295512 SOS 99100 HAS SOPS 99100 HAS SOUS 53825 HAS SOUPS 53825 WITH SCORE 53924.1
AT ITER 1137 NEW BEST:: SOT 295470 SOS 99016 HAS SOPS 99016 HAS SOUS 53741 HAS SOUPS 53741 WITH SCORE 53840.016
AT ITER 1142 NEW BEST:: SOT 295387 SOS 98899 HAS SOPS 98899 HAS SOUS 53696 HAS SOUPS 53696 WITH SCORE 53794.899
AT ITER 1143 NEW BEST:: SOT 295492 SOS 99109 HAS SOPS 99109 HAS SOUS 53649 HAS SOUPS 53649 WITH SCORE 53748.109
AT ITER 1147 NEW BEST:: SOT 295393 SOS 98962 HAS SOPS 98962 HAS SOUS 53399 HAS SOUPS 53399 WITH SCORE 53497.962
AT ITER 1154 NEW BEST:: SOT 295348 SOS 99307 HAS SOPS 99307 HAS SOUS 53369 HAS SOUPS 53369 WITH SCORE 53468.307
AT ITER 1160 NEW BEST:: SOT 295330 SOS 99271 HAS SOPS 99271 HAS SOUS 53351 HAS SOUPS 53351 WITH SCORE 53450.271
AT ITER 1173 NEW BEST:: SOT 295317 SOS 99245 HAS SOPS 99245 HAS SOUS 53338 HAS SOUPS 53338 WITH SCORE 53437.245
AT ITER 1184 NEW BEST:: SOT 295342 SOS 99414 HAS SOPS 99414 HAS SOUS 53267 HAS SOUPS 53267 WITH SCORE 53366.414
AT ITER 1187 NEW BEST:: SOT 295342 SOS 99413 HAS SOPS 99413 HAS SOUS 53266 HAS SOUPS 53266 WITH SCORE 53365.413
AT ITER 1189 NEW BEST:: SOT 295390 SOS 99509 HAS SOPS 99509 HAS SOUS 53265 HAS SOUPS 53265 WITH SCORE 53364.509
AT ITER 1196 NEW BEST:: SOT 295416 SOS 99535 HAS SOPS 99535 HAS SOUS 53235 HAS SOUPS 53235 WITH SCORE 53334.535
AT ITER 1202 NEW BEST:: SOT 295346 SOS 99465 HAS SOPS 99465 HAS SOUS 53235 HAS SOUPS 53235 WITH SCORE 53334.465
AT ITER 1209 NEW BEST:: SOT 295150 SOS 99161 HAS SOPS 99161 HAS SOUS 53209 HAS SOUPS 53209 WITH SCORE 53308.161
AT ITER 1225 NEW BEST:: SOT 294999 SOS 99327 HAS SOPS 99327 HAS SOUS 53084 HAS SOUPS 53084 WITH SCORE 53183.327
AT ITER 1232 NEW BEST:: SOT 295004 SOS 99337 HAS SOPS 99337 HAS SOUS 53080 HAS SOUPS 53080 WITH SCORE 53179.337
AT ITER 1233 NEW BEST:: SOT 295004 SOS 99525 HAS SOPS 99525 HAS SOUS 52986 HAS SOUPS 52986 WITH SCORE 53085.525
AT ITER 1243 NEW BEST:: SOT 295019 SOS 99510 HAS SOPS 99510 HAS SOUS 52986 HAS SOUPS 52986 WITH SCORE 53085.51
AT ITER 1245 NEW BEST:: SOT 294868 SOS 99258 HAS SOPS 99258 HAS SOUS 52963 HAS SOUPS 52963 WITH SCORE 53062.258
AT ITER 1248 NEW BEST:: SOT 294854 SOS 99278 HAS SOPS 99278 HAS SOUS 52949 HAS SOUPS 52949 WITH SCORE 53048.278
AT ITER 1264 NEW BEST:: SOT 294831 SOS 99232 HAS SOPS 99232 HAS SOUS 52934 HAS SOUPS 52934 WITH SCORE 53033.232
AT ITER 1276 NEW BEST:: SOT 294795 SOS 99160 HAS SOPS 99160 HAS SOUS 52849 HAS SOUPS 52849 WITH SCORE 52948.16
AT ITER 1309 NEW BEST:: SOT 294795 SOS 99160 HAS SOPS 99160 HAS SOUS 52847 HAS SOUPS 52847 WITH SCORE 52946.16
AT ITER 1319 NEW BEST:: SOT 294675 SOS 99040 HAS SOPS 99040 HAS SOUS 52727 HAS SOUPS 52727 WITH SCORE 52826.04
AT ITER 1334 NEW BEST:: SOT 294810 SOS 99190 HAS SOPS 99190 HAS SOUS 52675 HAS SOUPS 52675 WITH SCORE 52774.19
AT ITER 1338 NEW BEST:: SOT 294700 SOS 98970 HAS SOPS 98970 HAS SOUS 52519 HAS SOUPS 52519 WITH SCORE 52617.97
AT ITER 1341 NEW BEST:: SOT 293920 SOS 99630 HAS SOPS 99630 HAS SOUS 52190 HAS SOUPS 52190 WITH SCORE 52289.63
AT ITER 1359 NEW BEST:: SOT 293879 SOS 93964 HAS SOPS 93964 HAS SOUS 52185 HAS SOUPS 52185 WITH SCORE 52278.964
AT ITER 1365 NEW BEST:: SOT 293929 SOS 93805 HAS SOPS 93805 HAS SOUS 52168 HAS SOUPS 52168 WITH SCORE 52261.805
AT ITER 1366 NEW BEST:: SOT 293856 SOS 93643 HAS SOPS 93643 HAS SOUS 52019 HAS SOUPS 52019 WITH SCORE 52112.643
AT ITER 1373 NEW BEST:: SOT 293856 SOS 93517 HAS SOPS 93517 HAS SOUS 52019 HAS SOUPS 52019 WITH SCORE 52112.517
AT ITER 1374 NEW BEST:: SOT 293898 SOS 93601 HAS SOPS 93601 HAS SOUS 52013 HAS SOUPS 52013 WITH SCORE 52106.601
AT ITER 1380 NEW BEST:: SOT 293890 SOS 93581 HAS SOPS 93581 HAS SOUS 52001 HAS SOUPS 52001 WITH SCORE 52094.581
AT ITER 1385 NEW BEST:: SOT 293792 SOS 93385 HAS SOPS 93385 HAS SOUS 51747 HAS SOUPS 51747 WITH SCORE 51840.385
AT ITER 1394 NEW BEST:: SOT 293714 SOS 93229 HAS SOPS 93229 HAS SOUS 51591 HAS SOUPS 51591 WITH SCORE 51684.229
AT ITER 1421 NEW BEST:: SOT 293648 SOS 93130 HAS SOPS 93130 HAS SOUS 51525 HAS SOUPS 51525 WITH SCORE 51618.13
AT ITER 1432 NEW BEST:: SOT 293610 SOS 93477 HAS SOPS 93477 HAS SOUS 51440 HAS SOUPS 51440 WITH SCORE 51533.477
AT ITER 1443 NEW BEST:: SOT 293610 SOS 93477 HAS SOPS 93477 HAS SOUS 51386 HAS SOUPS 51386 WITH SCORE 51479.477
AT ITER 1448 NEW BEST:: SOT 293416 SOS 93300 HAS SOPS 93300 HAS SOUS 51209 HAS SOUPS 51209 WITH SCORE 51302.3
AT ITER 1466 NEW BEST:: SOT 293416 SOS 93300 HAS SOPS 93300 HAS SOUS 51049 HAS SOUPS 51049 WITH SCORE 51142.3
AT ITER 1468 NEW BEST:: SOT 293413 SOS 93282 HAS SOPS 93282 HAS SOUS 51043 HAS SOUPS 51043 WITH SCORE 51136.282
AT ITER 1469 NEW BEST:: SOT 293371 SOS 93198 HAS SOPS 93198 HAS SOUS 50972 HAS SOUPS 50972 WITH SCORE 51065.198
AT ITER 1471 NEW BEST:: SOT 293282 SOS 93020 HAS SOPS 93020 HAS SOUS 50938 HAS SOUPS 50938 WITH SCORE 51031.02
AT ITER 1477 NEW BEST:: SOT 293229 SOS 92914 HAS SOPS 92914 HAS SOUS 50885 HAS SOUPS 50885 WITH SCORE 50977.914
AT ITER 1483 NEW BEST:: SOT 293229 SOS 92914 HAS SOPS 92914 HAS SOUS 50856 HAS SOUPS 50856 WITH SCORE 50948.914
AT ITER 1485 NEW BEST:: SOT 293176 SOS 92861 HAS SOPS 92861 HAS SOUS 50856 HAS SOUPS 50856 WITH SCORE 50948.861
AT ITER 1489 NEW BEST:: SOT 293126 SOS 92761 HAS SOPS 92761 HAS SOUS 50849 HAS SOUPS 50849 WITH SCORE 50941.761
AT ITER 1490 NEW BEST:: SOT 293125 SOS 92759 HAS SOPS 92759 HAS SOUS 50848 HAS SOUPS 50848 WITH SCORE 50940.759
AT ITER 1493 NEW BEST:: SOT 293117 SOS 92645 HAS SOPS 92645 HAS SOUS 50832 HAS SOUPS 50832 WITH SCORE 50924.645
AT ITER 1496 NEW BEST:: SOT 293037 SOS 92485 HAS SOPS 92485 HAS SOUS 50756 HAS SOUPS 50756 WITH SCORE 50848.485
AT ITER 1510 NEW BEST:: SOT 292882 SOS 92175 HAS SOPS 92175 HAS SOUS 50439 HAS SOUPS 50439 WITH SCORE 50531.175
AT ITER 1512 NEW BEST:: SOT 292789 SOS 92136 HAS SOPS 92136 HAS SOUS 50199 HAS SOUPS 50199 WITH SCORE 50291.136
AT ITER 1513 NEW BEST:: SOT 292782 SOS 92302 HAS SOPS 92302 HAS SOUS 50145 HAS SOUPS 50145 WITH SCORE 50237.302
AT ITER 1520 NEW BEST:: SOT 292817 SOS 92372 HAS SOPS 92372 HAS SOUS 50115 HAS SOUPS 50115 WITH SCORE 50207.372
AT ITER 1528 NEW BEST:: SOT 292676 SOS 91811 HAS SOPS 91811 HAS SOUS 49981 HAS SOUPS 49981 WITH SCORE 50072.811
AT ITER 1545 NEW BEST:: SOT 292676 SOS 91811 HAS SOPS 91811 HAS SOUS 49956 HAS SOUPS 49956 WITH SCORE 50047.811
AT ITER 1550 NEW BEST:: SOT 292672 SOS 91823 HAS SOPS 91823 HAS SOUS 49939 HAS SOUPS 49939 WITH SCORE 50030.823
AT ITER 1557 NEW BEST:: SOT 292462 SOS 91683 HAS SOPS 91683 HAS SOUS 49799 HAS SOUPS 49799 WITH SCORE 49890.683
AT ITER 1587 NEW BEST:: SOT 292337 SOS 91352 HAS SOPS 91352 HAS SOUS 49630 HAS SOUPS 49630 WITH SCORE 49721.352
AT ITER 1591 NEW BEST:: SOT 292285 SOS 91274 HAS SOPS 91274 HAS SOUS 49578 HAS SOUPS 49578 WITH SCORE 49669.274
AT ITER 1610 NEW BEST:: SOT 292271 SOS 91246 HAS SOPS 91246 HAS SOUS 49515 HAS SOUPS 49515 WITH SCORE 49606.246
AT ITER 1613 NEW BEST:: SOT 292231 SOS 91166 HAS SOPS 91166 HAS SOUS 49435 HAS SOUPS 49435 WITH SCORE 49526.166
AT ITER 1614 NEW BEST:: SOT 292334 SOS 91359 HAS SOPS 91359 HAS SOUS 49363 HAS SOUPS 49363 WITH SCORE 49454.359
AT ITER 1619 NEW BEST:: SOT 292334 SOS 91359 HAS SOPS 91359 HAS SOUS 49350 HAS SOUPS 49350 WITH SCORE 49441.359
AT ITER 1629 NEW BEST:: SOT 292236 SOS 91214 HAS SOPS 91214 HAS SOUS 49261 HAS SOUPS 49261 WITH SCORE 49352.214
AT ITER 1633 NEW BEST:: SOT 292186 SOS 90992 HAS SOPS 90992 HAS SOUS 49211 HAS SOUPS 49211 WITH SCORE 49301.992
AT ITER 1643 NEW BEST:: SOT 292186 SOS 90795 HAS SOPS 90795 HAS SOUS 49046 HAS SOUPS 49046 WITH SCORE 49136.795
AT ITER 1648 NEW BEST:: SOT 292110 SOS 90681 HAS SOPS 90681 HAS SOUS 48970 HAS SOUPS 48970 WITH SCORE 49060.681
AT ITER 1653 NEW BEST:: SOT 292087 SOS 90635 HAS SOPS 90635 HAS SOUS 48924 HAS SOUPS 48924 WITH SCORE 49014.635
AT ITER 1661 NEW BEST:: SOT 292118 SOS 90660 HAS SOPS 90660 HAS SOUS 48918 HAS SOUPS 48918 WITH SCORE 49008.66
AT ITER 1696 NEW BEST:: SOT 292117 SOS 90658 HAS SOPS 90658 HAS SOUS 48916 HAS SOUPS 48916 WITH SCORE 49006.658
AT ITER 1704 NEW BEST:: SOT 292021 SOS 90562 HAS SOPS 90562 HAS SOUS 48887 HAS SOUPS 48887 WITH SCORE 48977.562
AT ITER 1723 NEW BEST:: SOT 291602 SOS 94504 HAS SOPS 94504 HAS SOUS 48659 HAS SOUPS 48659 WITH SCORE 48753.504
AT ITER 1725 NEW BEST:: SOT 291700 SOS 94504 HAS SOPS 94504 HAS SOUS 48561 HAS SOUPS 48561 WITH SCORE 48655.504
AT ITER 1734 NEW BEST:: SOT 291678 SOS 94460 HAS SOPS 94460 HAS SOUS 48517 HAS SOUPS 48517 WITH SCORE 48611.46
AT ITER 1742 NEW BEST:: SOT 291628 SOS 94386 HAS SOPS 94386 HAS SOUS 48442 HAS SOUPS 48442 WITH SCORE 48536.386
AT ITER 1745 NEW BEST:: SOT 291433 SOS 94126 HAS SOPS 94126 HAS SOUS 48307 HAS SOUPS 48307 WITH SCORE 48401.126
AT ITER 1747 NEW BEST:: SOT 291375 SOS 94226 HAS SOPS 94226 HAS SOUS 48287 HAS SOUPS 48287 WITH SCORE 48381.226
AT ITER 1752 NEW BEST:: SOT 291443 SOS 93903 HAS SOPS 93903 HAS SOUS 48270 HAS SOUPS 48270 WITH SCORE 48363.903
AT ITER 1753 NEW BEST:: SOT 291443 SOS 93860 HAS SOPS 93860 HAS SOUS 48184 HAS SOUPS 48184 WITH SCORE 48277.86
AT ITER 1771 NEW BEST:: SOT 291443 SOS 93860 HAS SOPS 93860 HAS SOUS 48183 HAS SOUPS 48183 WITH SCORE 48276.86
AT ITER 1813 NEW BEST:: SOT 291397 SOS 93791 HAS SOPS 93791 HAS SOUS 48114 HAS SOUPS 48114 WITH SCORE 48207.791
AT ITER 1815 NEW BEST:: SOT 291359 SOS 93734 HAS SOPS 93734 HAS SOUS 48057 HAS SOUPS 48057 WITH SCORE 48150.734
AT ITER 1833 NEW BEST:: SOT 291359 SOS 93734 HAS SOPS 93734 HAS SOUS 48055 HAS SOUPS 48055 WITH SCORE 48148.734
AT ITER 1854 NEW BEST:: SOT 291241 SOS 93364 HAS SOPS 93364 HAS SOUS 47798 HAS SOUPS 47798 WITH SCORE 47891.364
AT ITER 1863 NEW BEST:: SOT 291167 SOS 93142 HAS SOPS 93142 HAS SOUS 47724 HAS SOUPS 47724 WITH SCORE 47817.142
AT ITER 1867 NEW BEST:: SOT 290865 SOS 99289 HAS SOPS 99289 HAS SOUS 47588 HAS SOUPS 47588 WITH SCORE 47687.289
AT ITER 1868 NEW BEST:: SOT 290625 SOS 99084 HAS SOPS 99084 HAS SOUS 47346 HAS SOUPS 47346 WITH SCORE 47445.084
AT ITER 1870 NEW BEST:: SOT 290617 SOS 99092 HAS SOPS 99092 HAS SOUS 47338 HAS SOUPS 47338 WITH SCORE 47437.092
AT ITER 1889 NEW BEST:: SOT 290277 SOS 98930 HAS SOPS 98930 HAS SOUS 47122 HAS SOUPS 47122 WITH SCORE 47220.93
AT ITER 1892 NEW BEST:: SOT 290293 SOS 98872 HAS SOPS 98872 HAS SOUS 46974 HAS SOUPS 46974 WITH SCORE 47072.872
AT ITER 1893 NEW BEST:: SOT 290218 SOS 98722 HAS SOPS 98722 HAS SOUS 46899 HAS SOUPS 46899 WITH SCORE 46997.722
AT ITER 1906 NEW BEST:: SOT 290207 SOS 98700 HAS SOPS 98700 HAS SOUS 46877 HAS SOUPS 46877 WITH SCORE 46975.7
AT ITER 1921 NEW BEST:: SOT 290146 SOS 98621 HAS SOPS 98621 HAS SOUS 46798 HAS SOUPS 46798 WITH SCORE 46896.621
AT ITER 1924 NEW BEST:: SOT 290249 SOS 98720 HAS SOPS 98720 HAS SOUS 46790 HAS SOUPS 46790 WITH SCORE 46888.72
AT ITER 1936 NEW BEST:: SOT 290140 SOS 98367 HAS SOPS 98367 HAS SOUS 46681 HAS SOUPS 46681 WITH SCORE 46779.367
AT ITER 1939 NEW BEST:: SOT 290117 SOS 98264 HAS SOPS 98264 HAS SOUS 46633 HAS SOUPS 46633 WITH SCORE 46731.264
AT ITER 1950 NEW BEST:: SOT 290080 SOS 98238 HAS SOPS 98238 HAS SOUS 46607 HAS SOUPS 46607 WITH SCORE 46705.238
AT ITER 1952 NEW BEST:: SOT 290080 SOS 98211 HAS SOPS 98211 HAS SOUS 46580 HAS SOUPS 46580 WITH SCORE 46678.211
AT ITER 1954 NEW BEST:: SOT 290046 SOS 98177 HAS SOPS 98177 HAS SOUS 46548 HAS SOUPS 46548 WITH SCORE 46646.177
AT ITER 1959 NEW BEST:: SOT 290039 SOS 98147 HAS SOPS 98147 HAS SOUS 46518 HAS SOUPS 46518 WITH SCORE 46616.147
AT ITER 1968 NEW BEST:: SOT 289977 SOS 97961 HAS SOPS 97961 HAS SOUS 46462 HAS SOUPS 46462 WITH SCORE 46559.961
AT ITER 1977 NEW BEST:: SOT 289975 SOS 97977 HAS SOPS 97977 HAS SOUS 46440 HAS SOUPS 46440 WITH SCORE 46537.977
AT ITER 1979 NEW BEST:: SOT 289937 SOS 97901 HAS SOPS 97901 HAS SOUS 46364 HAS SOUPS 46364 WITH SCORE 46461.901
AT ITER 2002 NEW BEST:: SOT 289830 SOS 97936 HAS SOPS 97936 HAS SOUS 46299 HAS SOUPS 46299 WITH SCORE 46396.936
AT ITER 2003 NEW BEST:: SOT 289778 SOS 97832 HAS SOPS 97832 HAS SOUS 46299 HAS SOUPS 46299 WITH SCORE 46396.832
AT ITER 2046 NEW BEST:: SOT 289717 SOS 97568 HAS SOPS 97568 HAS SOUS 46096 HAS SOUPS 46096 WITH SCORE 46193.568
AT ITER 2061 NEW BEST:: SOT 289717 SOS 97568 HAS SOPS 97568 HAS SOUS 46083 HAS SOUPS 46083 WITH SCORE 46180.568
AT ITER 2062 NEW BEST:: SOT 289717 SOS 97566 HAS SOPS 97566 HAS SOUS 46081 HAS SOUPS 46081 WITH SCORE 46178.566
AT ITER 2082 NEW BEST:: SOT 289703 SOS 97538 HAS SOPS 97538 HAS SOUS 46065 HAS SOUPS 46065 WITH SCORE 46162.538
AT ITER 2093 NEW BEST:: SOT 289635 SOS 97441 HAS SOPS 97441 HAS SOUS 45968 HAS SOUPS 45968 WITH SCORE 46065.441
AT ITER 2094 NEW BEST:: SOT 289557 SOS 97285 HAS SOPS 97285 HAS SOUS 45890 HAS SOUPS 45890 WITH SCORE 45987.285
AT ITER 2099 NEW BEST:: SOT 289546 SOS 97274 HAS SOPS 97274 HAS SOUS 45890 HAS SOUPS 45890 WITH SCORE 45987.274
AT ITER 2125 NEW BEST:: SOT 289358 SOS 97774 HAS SOPS 97774 HAS SOUS 45864 HAS SOUPS 45864 WITH SCORE 45961.774
AT ITER 2144 NEW BEST:: SOT 289340 SOS 97738 HAS SOPS 97738 HAS SOUS 45846 HAS SOUPS 45846 WITH SCORE 45943.738
AT ITER 2163 NEW BEST:: SOT 289125 SOS 97854 HAS SOPS 97854 HAS SOUS 45782 HAS SOUPS 45782 WITH SCORE 45879.854
AT ITER 2167 NEW BEST:: SOT 289110 SOS 97824 HAS SOPS 97824 HAS SOUS 45767 HAS SOUPS 45767 WITH SCORE 45864.824
AT ITER 2175 NEW BEST:: SOT 289082 SOS 97768 HAS SOPS 97768 HAS SOUS 45711 HAS SOUPS 45711 WITH SCORE 45808.768
AT ITER 2178 NEW BEST:: SOT 289057 SOS 97718 HAS SOPS 97718 HAS SOUS 45670 HAS SOUPS 45670 WITH SCORE 45767.718
AT ITER 2183 NEW BEST:: SOT 289057 SOS 97718 HAS SOPS 97718 HAS SOUS 45610 HAS SOUPS 45610 WITH SCORE 45707.718
AT ITER 2216 NEW BEST:: SOT 289076 SOS 97737 HAS SOPS 97737 HAS SOUS 45607 HAS SOUPS 45607 WITH SCORE 45704.737
AT ITER 2239 NEW BEST:: SOT 289016 SOS 97686 HAS SOPS 97686 HAS SOUS 45579 HAS SOUPS 45579 WITH SCORE 45676.686
AT ITER 2284 NEW BEST:: SOT 289016 SOS 97686 HAS SOPS 97686 HAS SOUS 45568 HAS SOUPS 45568 WITH SCORE 45665.686
AT ITER 2294 NEW BEST:: SOT 289016 SOS 97686 HAS SOPS 97686 HAS SOUS 45554 HAS SOUPS 45554 WITH SCORE 45651.686
AT ITER 2295 NEW BEST:: SOT 289030 SOS 97692 HAS SOPS 97692 HAS SOUS 45519 HAS SOUPS 45519 WITH SCORE 45616.692
AT ITER 2299 NEW BEST:: SOT 288954 SOS 97616 HAS SOPS 97616 HAS SOUS 45353 HAS SOUPS 45353 WITH SCORE 45450.616
AT ITER 2317 NEW BEST:: SOT 288874 SOS 97519 HAS SOPS 97519 HAS SOUS 45336 HAS SOUPS 45336 WITH SCORE 45433.519
AT ITER 2327 NEW BEST:: SOT 288837 SOS 97445 HAS SOPS 97445 HAS SOUS 45324 HAS SOUPS 45324 WITH SCORE 45421.445
AT ITER 2339 NEW BEST:: SOT 288827 SOS 97440 HAS SOPS 97440 HAS SOUS 45322 HAS SOUPS 45322 WITH SCORE 45419.44
AT ITER 2341 NEW BEST:: SOT 288732 SOS 97250 HAS SOPS 97250 HAS SOUS 45166 HAS SOUPS 45166 WITH SCORE 45263.25
AT ITER 2346 NEW BEST:: SOT 288686 SOS 97242 HAS SOPS 97242 HAS SOUS 45158 HAS SOUPS 45158 WITH SCORE 45255.242
AT ITER 2358 NEW BEST:: SOT 288665 SOS 97127 HAS SOPS 97127 HAS SOUS 45104 HAS SOUPS 45104 WITH SCORE 45201.127
AT ITER 2360 NEW BEST:: SOT 288638 SOS 97073 HAS SOPS 97073 HAS SOUS 45050 HAS SOUPS 45050 WITH SCORE 45147.073
AT ITER 2362 NEW BEST:: SOT 288488 SOS 96649 HAS SOPS 96649 HAS SOUS 44974 HAS SOUPS 44974 WITH SCORE 45070.649
AT ITER 2396 NEW BEST:: SOT 288459 SOS 96591 HAS SOPS 96591 HAS SOUS 44894 HAS SOUPS 44894 WITH SCORE 44990.591
AT ITER 2410 NEW BEST:: SOT 288443 SOS 96588 HAS SOPS 96588 HAS SOUS 44891 HAS SOUPS 44891 WITH SCORE 44987.588
AT ITER 2450 NEW BEST:: SOT 288428 SOS 96573 HAS SOPS 96573 HAS SOUS 44857 HAS SOUPS 44857 WITH SCORE 44953.573
AT ITER 2453 NEW BEST:: SOT 288428 SOS 96573 HAS SOPS 96573 HAS SOUS 44815 HAS SOUPS 44815 WITH SCORE 44911.573
AT ITER 2459 NEW BEST:: SOT 288402 SOS 96561 HAS SOPS 96561 HAS SOUS 44789 HAS SOUPS 44789 WITH SCORE 44885.561
AT ITER 2461 NEW BEST:: SOT 288360 SOS 96519 HAS SOPS 96519 HAS SOUS 44784 HAS SOUPS 44784 WITH SCORE 44880.519
AT ITER 2478 NEW BEST:: SOT 288342 SOS 96493 HAS SOPS 96493 HAS SOUS 44766 HAS SOUPS 44766 WITH SCORE 44862.493
AT ITER 2495 NEW BEST:: SOT 288254 SOS 96420 HAS SOPS 96420 HAS SOUS 44696 HAS SOUPS 44696 WITH SCORE 44792.42
AT ITER 2517 NEW BEST:: SOT 288234 SOS 96396 HAS SOPS 96396 HAS SOUS 44682 HAS SOUPS 44682 WITH SCORE 44778.396
AT ITER 2526 NEW BEST:: SOT 288247 SOS 96412 HAS SOPS 96412 HAS SOUS 44680 HAS SOUPS 44680 WITH SCORE 44776.412
AT ITER 2564 NEW BEST:: SOT 288236 SOS 96418 HAS SOPS 96418 HAS SOUS 44658 HAS SOUPS 44658 WITH SCORE 44754.418
AT ITER 2618 NEW BEST:: SOT 288222 SOS 96416 HAS SOPS 96416 HAS SOUS 44656 HAS SOUPS 44656 WITH SCORE 44752.416
AT ITER 2619 NEW BEST:: SOT 288125 SOS 95935 HAS SOPS 95935 HAS SOUS 44621 HAS SOUPS 44621 WITH SCORE 44716.935
AT ITER 2636 NEW BEST:: SOT 288122 SOS 95929 HAS SOPS 95929 HAS SOUS 44615 HAS SOUPS 44615 WITH SCORE 44710.929
AT ITER 2654 NEW BEST:: SOT 288113 SOS 95867 HAS SOPS 95867 HAS SOUS 44597 HAS SOUPS 44597 WITH SCORE 44692.867
AT ITER 2658 NEW BEST:: SOT 288107 SOS 95871 HAS SOPS 95871 HAS SOUS 44591 HAS SOUPS 44591 WITH SCORE 44686.871
AT ITER 2676 NEW BEST:: SOT 288078 SOS 95875 HAS SOPS 95875 HAS SOUS 44564 HAS SOUPS 44564 WITH SCORE 44659.875
AT ITER 2696 NEW BEST:: SOT 288078 SOS 95875 HAS SOPS 95875 HAS SOUS 44557 HAS SOUPS 44557 WITH SCORE 44652.875
AT ITER 2726 NEW BEST:: SOT 288045 SOS 95716 HAS SOPS 95716 HAS SOUS 44495 HAS SOUPS 44495 WITH SCORE 44590.716
AT ITER 2739 NEW BEST:: SOT 288017 SOS 95650 HAS SOPS 95650 HAS SOUS 44429 HAS SOUPS 44429 WITH SCORE 44524.65
AT ITER 2743 NEW BEST:: SOT 288017 SOS 95587 HAS SOPS 95587 HAS SOUS 44366 HAS SOUPS 44366 WITH SCORE 44461.587
AT ITER 2781 NEW BEST:: SOT 288017 SOS 95587 HAS SOPS 95587 HAS SOUS 44300 HAS SOUPS 44300 WITH SCORE 44395.587
AT ITER 2789 NEW BEST:: SOT 287933 SOS 95476 HAS SOPS 95476 HAS SOUS 44273 HAS SOUPS 44273 WITH SCORE 44368.476
AT ITER 2820 NEW BEST:: SOT 287908 SOS 95491 HAS SOPS 95491 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44362.491
AT ITER 2826 NEW BEST:: SOT 287883 SOS 95458 HAS SOPS 95458 HAS SOUS 44259 HAS SOUPS 44259 WITH SCORE 44354.458
AT ITER 2830 NEW BEST:: SOT 287872 SOS 95436 HAS SOPS 95436 HAS SOUS 44257 HAS SOUPS 44257 WITH SCORE 44352.436
AT ITER 2837 NEW BEST:: SOT 287747 SOS 92777 HAS SOPS 92777 HAS SOUS 44128 HAS SOUPS 44128 WITH SCORE 44220.777
AT ITER 2853 NEW BEST:: SOT 287615 SOS 92645 HAS SOPS 92645 HAS SOUS 43996 HAS SOUPS 43996 WITH SCORE 44088.645
AT ITER 2867 NEW BEST:: SOT 287525 SOS 92513 HAS SOPS 92513 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 44004.513
AT ITER 2898 NEW BEST:: SOT 287467 SOS 92330 HAS SOPS 92330 HAS SOUS 43729 HAS SOUPS 43729 WITH SCORE 43821.33
AT ITER 2914 NEW BEST:: SOT 287396 SOS 92188 HAS SOPS 92188 HAS SOUS 43630 HAS SOUPS 43630 WITH SCORE 43722.188
AT ITER 2939 NEW BEST:: SOT 287282 SOS 92030 HAS SOPS 92030 HAS SOUS 43598 HAS SOUPS 43598 WITH SCORE 43690.03
AT ITER 2957 NEW BEST:: SOT 287281 SOS 92021 HAS SOPS 92021 HAS SOUS 43596 HAS SOUPS 43596 WITH SCORE 43688.021
AT ITER 2961 NEW BEST:: SOT 287274 SOS 92007 HAS SOPS 92007 HAS SOUS 43582 HAS SOUPS 43582 WITH SCORE 43674.007
AT ITER 2962 NEW BEST:: SOT 287268 SOS 92001 HAS SOPS 92001 HAS SOUS 43576 HAS SOUPS 43576 WITH SCORE 43668.001
AT ITER 2965 NEW BEST:: SOT 287259 SOS 91983 HAS SOPS 91983 HAS SOUS 43558 HAS SOUPS 43558 WITH SCORE 43649.983
AT ITER 2973 NEW BEST:: SOT 287252 SOS 91969 HAS SOPS 91969 HAS SOUS 43551 HAS SOUPS 43551 WITH SCORE 43642.969
AT ITER 2981 NEW BEST:: SOT 287251 SOS 91967 HAS SOPS 91967 HAS SOUS 43550 HAS SOUPS 43550 WITH SCORE 43641.967
AT ITER 2983 NEW BEST:: SOT 287241 SOS 91947 HAS SOPS 91947 HAS SOUS 43540 HAS SOUPS 43540 WITH SCORE 43631.947
AT ITER 2994 NEW BEST:: SOT 287319 SOS 92103 HAS SOPS 92103 HAS SOUS 43498 HAS SOUPS 43498 WITH SCORE 43590.103
AT ITER 3001 NEW BEST:: SOT 287315 SOS 92077 HAS SOPS 92077 HAS SOUS 43480 HAS SOUPS 43480 WITH SCORE 43572.077
AT ITER 3002 NEW BEST:: SOT 287310 SOS 92057 HAS SOPS 92057 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43560.057
AT ITER 3012 NEW BEST:: SOT 287302 SOS 92041 HAS SOPS 92041 HAS SOUS 43468 HAS SOUPS 43468 WITH SCORE 43560.041
AT ITER 3013 NEW BEST:: SOT 287350 SOS 92089 HAS SOPS 92089 HAS SOUS 43463 HAS SOUPS 43463 WITH SCORE 43555.089
AT ITER 3016 NEW BEST:: SOT 287340 SOS 92069 HAS SOPS 92069 HAS SOUS 43453 HAS SOUPS 43453 WITH SCORE 43545.069
AT ITER 3025 NEW BEST:: SOT 287274 SOS 92003 HAS SOPS 92003 HAS SOUS 43409 HAS SOUPS 43409 WITH SCORE 43501.003
AT ITER 3028 NEW BEST:: SOT 287261 SOS 91977 HAS SOPS 91977 HAS SOUS 43396 HAS SOUPS 43396 WITH SCORE 43487.977
AT ITER 3055 NEW BEST:: SOT 287284 SOS 91972 HAS SOPS 91972 HAS SOUS 43391 HAS SOUPS 43391 WITH SCORE 43482.972
AT ITER 3072 NEW BEST:: SOT 287225 SOS 91913 HAS SOPS 91913 HAS SOUS 43332 HAS SOUPS 43332 WITH SCORE 43423.913
AT ITER 3081 NEW BEST:: SOT 287232 SOS 91927 HAS SOPS 91927 HAS SOUS 43330 HAS SOUPS 43330 WITH SCORE 43421.927
AT ITER 3101 NEW BEST:: SOT 287224 SOS 91915 HAS SOPS 91915 HAS SOUS 43322 HAS SOUPS 43322 WITH SCORE 43413.915
AT ITER 3115 NEW BEST:: SOT 287149 SOS 91765 HAS SOPS 91765 HAS SOUS 43133 HAS SOUPS 43133 WITH SCORE 43224.765
AT ITER 3121 NEW BEST:: SOT 287143 SOS 91753 HAS SOPS 91753 HAS SOUS 43127 HAS SOUPS 43127 WITH SCORE 43218.753
AT ITER 3135 NEW BEST:: SOT 287126 SOS 91719 HAS SOPS 91719 HAS SOUS 43093 HAS SOUPS 43093 WITH SCORE 43184.719
AT ITER 3136 NEW BEST:: SOT 287115 SOS 91719 HAS SOPS 91719 HAS SOUS 43082 HAS SOUPS 43082 WITH SCORE 43173.719
AT ITER 3187 NEW BEST:: SOT 287110 SOS 91709 HAS SOPS 91709 HAS SOUS 43072 HAS SOUPS 43072 WITH SCORE 43163.709
AT ITER 3191 NEW BEST:: SOT 287152 SOS 91751 HAS SOPS 91751 HAS SOUS 43038 HAS SOUPS 43038 WITH SCORE 43129.751
AT ITER 3193 NEW BEST:: SOT 287152 SOS 91726 HAS SOPS 91726 HAS SOUS 43038 HAS SOUPS 43038 WITH SCORE 43129.726
AT ITER 3205 NEW BEST:: SOT 287144 SOS 91718 HAS SOPS 91718 HAS SOUS 43030 HAS SOUPS 43030 WITH SCORE 43121.718
AT ITER 3229 NEW BEST:: SOT 286993 SOS 95233 HAS SOPS 95233 HAS SOUS 43020 HAS SOUPS 43020 WITH SCORE 43115.233
AT ITER 3231 NEW BEST:: SOT 286948 SOS 95341 HAS SOPS 95341 HAS SOUS 42950 HAS SOUPS 42950 WITH SCORE 43045.341
AT ITER 3268 NEW BEST:: SOT 286945 SOS 95335 HAS SOPS 95335 HAS SOUS 42941 HAS SOUPS 42941 WITH SCORE 43036.335
AT ITER 3278 NEW BEST:: SOT 286936 SOS 95335 HAS SOPS 95335 HAS SOUS 42923 HAS SOUPS 42923 WITH SCORE 43018.335
AT ITER 3280 NEW BEST:: SOT 286928 SOS 95319 HAS SOPS 95319 HAS SOUS 42910 HAS SOUPS 42910 WITH SCORE 43005.319
AT ITER 3285 NEW BEST:: SOT 286930 SOS 95321 HAS SOPS 95321 HAS SOUS 42890 HAS SOUPS 42890 WITH SCORE 42985.321
AT ITER 3289 NEW BEST:: SOT 286929 SOS 95320 HAS SOPS 95320 HAS SOUS 42888 HAS SOUPS 42888 WITH SCORE 42983.32
AT ITER 3294 NEW BEST:: SOT 286873 SOS 95246 HAS SOPS 95246 HAS SOUS 42821 HAS SOUPS 42821 WITH SCORE 42916.246
AT ITER 3312 NEW BEST:: SOT 286873 SOS 95246 HAS SOPS 95246 HAS SOUS 42816 HAS SOUPS 42816 WITH SCORE 42911.246
AT ITER 3313 NEW BEST:: SOT 286873 SOS 95246 HAS SOPS 95246 HAS SOUS 42788 HAS SOUPS 42788 WITH SCORE 42883.246
AT ITER 3338 NEW BEST:: SOT 286848 SOS 95073 HAS SOPS 95073 HAS SOUS 42665 HAS SOUPS 42665 WITH SCORE 42760.073
AT ITER 3379 NEW BEST:: SOT 286838 SOS 95053 HAS SOPS 95053 HAS SOUS 42655 HAS SOUPS 42655 WITH SCORE 42750.053
AT ITER 3408 NEW BEST:: SOT 286835 SOS 95050 HAS SOPS 95050 HAS SOUS 42652 HAS SOUPS 42652 WITH SCORE 42747.05
AT ITER 3411 NEW BEST:: SOT 286859 SOS 95009 HAS SOPS 95009 HAS SOUS 42634 HAS SOUPS 42634 WITH SCORE 42729.009
AT ITER 3415 NEW BEST:: SOT 286830 SOS 94951 HAS SOPS 94951 HAS SOUS 42576 HAS SOUPS 42576 WITH SCORE 42670.951
AT ITER 3420 NEW BEST:: SOT 286771 SOS 94855 HAS SOPS 94855 HAS SOUS 42554 HAS SOUPS 42554 WITH SCORE 42648.855
AT ITER 3461 NEW BEST:: SOT 286772 SOS 94761 HAS SOPS 94761 HAS SOUS 42508 HAS SOUPS 42508 WITH SCORE 42602.761
AT ITER 3488 NEW BEST:: SOT 286757 SOS 94731 HAS SOPS 94731 HAS SOUS 42478 HAS SOUPS 42478 WITH SCORE 42572.731
AT ITER 3500 NEW BEST:: SOT 286739 SOS 94695 HAS SOPS 94695 HAS SOUS 42439 HAS SOUPS 42439 WITH SCORE 42533.695
AT ITER 3504 NEW BEST:: SOT 286627 SOS 94471 HAS SOPS 94471 HAS SOUS 42320 HAS SOUPS 42320 WITH SCORE 42414.471
AT ITER 3516 NEW BEST:: SOT 286491 SOS 95058 HAS SOPS 95058 HAS SOUS 42266 HAS SOUPS 42266 WITH SCORE 42361.058
AT ITER 3517 NEW BEST:: SOT 286491 SOS 95057 HAS SOPS 95057 HAS SOUS 42264 HAS SOUPS 42264 WITH SCORE 42359.057
AT ITER 3528 NEW BEST:: SOT 286491 SOS 95053 HAS SOPS 95053 HAS SOUS 42260 HAS SOUPS 42260 WITH SCORE 42355.053
AT ITER 3530 NEW BEST:: SOT 286515 SOS 95023 HAS SOPS 95023 HAS SOUS 42230 HAS SOUPS 42230 WITH SCORE 42325.023
AT ITER 3542 NEW BEST:: SOT 286510 SOS 95013 HAS SOPS 95013 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42316.013
AT ITER 3565 NEW BEST:: SOT 286515 SOS 94994 HAS SOPS 94994 HAS SOUS 42202 HAS SOUPS 42202 WITH SCORE 42296.994
AT ITER 3569 NEW BEST:: SOT 286484 SOS 94932 HAS SOPS 94932 HAS SOUS 42140 HAS SOUPS 42140 WITH SCORE 42234.932
AT ITER 3577 NEW BEST:: SOT 286512 SOS 94988 HAS SOPS 94988 HAS SOUS 42091 HAS SOUPS 42091 WITH SCORE 42185.988
AT ITER 3594 NEW BEST:: SOT 286508 SOS 94980 HAS SOPS 94980 HAS SOUS 42083 HAS SOUPS 42083 WITH SCORE 42177.98
AT ITER 3595 NEW BEST:: SOT 286584 SOS 95078 HAS SOPS 95078 HAS SOUS 42079 HAS SOUPS 42079 WITH SCORE 42174.078
AT ITER 3626 NEW BEST:: SOT 286550 SOS 95010 HAS SOPS 95010 HAS SOUS 42033 HAS SOUPS 42033 WITH SCORE 42128.01
AT ITER 3664 NEW BEST:: SOT 286550 SOS 95010 HAS SOPS 95010 HAS SOUS 42031 HAS SOUPS 42031 WITH SCORE 42126.01
AT ITER 3672 NEW BEST:: SOT 286537 SOS 94997 HAS SOPS 94997 HAS SOUS 42031 HAS SOUPS 42031 WITH SCORE 42125.997
AT ITER 3691 NEW BEST:: SOT 286529 SOS 94981 HAS SOPS 94981 HAS SOUS 42023 HAS SOUPS 42023 WITH SCORE 42117.981
AT ITER 3723 NEW BEST:: SOT 286486 SOS 94905 HAS SOPS 94905 HAS SOUS 41981 HAS SOUPS 41981 WITH SCORE 42075.905
AT ITER 3727 NEW BEST:: SOT 286448 SOS 94964 HAS SOPS 94964 HAS SOUS 41943 HAS SOUPS 41943 WITH SCORE 42037.964
AT ITER 3741 NEW BEST:: SOT 286428 SOS 94944 HAS SOPS 94944 HAS SOUS 41933 HAS SOUPS 41933 WITH SCORE 42027.944
AT ITER 3750 NEW BEST:: SOT 286419 SOS 94977 HAS SOPS 94977 HAS SOUS 41927 HAS SOUPS 41927 WITH SCORE 42021.977
AT ITER 3812 NEW BEST:: SOT 286416 SOS 94971 HAS SOPS 94971 HAS SOUS 41895 HAS SOUPS 41895 WITH SCORE 41989.971
AT ITER 3816 NEW BEST:: SOT 286413 SOS 94965 HAS SOPS 94965 HAS SOUS 41869 HAS SOUPS 41869 WITH SCORE 41963.965
AT ITER 3853 NEW BEST:: SOT 286329 SOS 94993 HAS SOPS 94993 HAS SOUS 41841 HAS SOUPS 41841 WITH SCORE 41935.993
AT ITER 3862 NEW BEST:: SOT 286307 SOS 94899 HAS SOPS 94899 HAS SOUS 41797 HAS SOUPS 41797 WITH SCORE 41891.899
AT ITER 3865 NEW BEST:: SOT 286307 SOS 94791 HAS SOPS 94791 HAS SOUS 41762 HAS SOUPS 41762 WITH SCORE 41856.791
AT ITER 3867 NEW BEST:: SOT 286295 SOS 94721 HAS SOPS 94721 HAS SOUS 41738 HAS SOUPS 41738 WITH SCORE 41832.721
AT ITER 3889 NEW BEST:: SOT 286291 SOS 94709 HAS SOPS 94709 HAS SOUS 41726 HAS SOUPS 41726 WITH SCORE 41820.709
AT ITER 3926 NEW BEST:: SOT 286163 SOS 94315 HAS SOPS 94315 HAS SOUS 41557 HAS SOUPS 41557 WITH SCORE 41651.315
AT ITER 3995 NEW BEST:: SOT 286146 SOS 94230 HAS SOPS 94230 HAS SOUS 41523 HAS SOUPS 41523 WITH SCORE 41617.23
AT ITER 4013 NEW BEST:: SOT 286146 SOS 94230 HAS SOPS 94230 HAS SOUS 41483 HAS SOUPS 41483 WITH SCORE 41577.23
AT ITER 4035 NEW BEST:: SOT 286038 SOS 93826 HAS SOPS 93826 HAS SOUS 41421 HAS SOUPS 41421 WITH SCORE 41514.826
AT ITER 4058 NEW BEST:: SOT 285993 SOS 93736 HAS SOPS 93736 HAS SOUS 41376 HAS SOUPS 41376 WITH SCORE 41469.736
AT ITER 4083 NEW BEST:: SOT 285974 SOS 93698 HAS SOPS 93698 HAS SOUS 41342 HAS SOUPS 41342 WITH SCORE 41435.698
AT ITER 4094 NEW BEST:: SOT 285952 SOS 93676 HAS SOPS 93676 HAS SOUS 41320 HAS SOUPS 41320 WITH SCORE 41413.676
AT ITER 4132 NEW BEST:: SOT 285952 SOS 93676 HAS SOPS 93676 HAS SOUS 41315 HAS SOUPS 41315 WITH SCORE 41408.676
AT ITER 4162 NEW BEST:: SOT 285877 SOS 93526 HAS SOPS 93526 HAS SOUS 41261 HAS SOUPS 41261 WITH SCORE 41354.526
AT ITER 4170 NEW BEST:: SOT 285862 SOS 93496 HAS SOPS 93496 HAS SOUS 41231 HAS SOUPS 41231 WITH SCORE 41324.496
AT ITER 4181 NEW BEST:: SOT 285862 SOS 93427 HAS SOPS 93427 HAS SOUS 41231 HAS SOUPS 41231 WITH SCORE 41324.427
AT ITER 4190 NEW BEST:: SOT 285864 SOS 93431 HAS SOPS 93431 HAS SOUS 41220 HAS SOUPS 41220 WITH SCORE 41313.431
AT ITER 4208 NEW BEST:: SOT 285811 SOS 93378 HAS SOPS 93378 HAS SOUS 41220 HAS SOUPS 41220 WITH SCORE 41313.378
AT ITER 4210 NEW BEST:: SOT 285803 SOS 93362 HAS SOPS 93362 HAS SOUS 41204 HAS SOUPS 41204 WITH SCORE 41297.362
AT ITER 4212 NEW BEST:: SOT 285790 SOS 93324 HAS SOPS 93324 HAS SOUS 41166 HAS SOUPS 41166 WITH SCORE 41259.324
AT ITER 4229 NEW BEST:: SOT 285782 SOS 93308 HAS SOPS 93308 HAS SOUS 41150 HAS SOUPS 41150 WITH SCORE 41243.308
AT ITER 4235 NEW BEST:: SOT 285738 SOS 93264 HAS SOPS 93264 HAS SOUS 41130 HAS SOUPS 41130 WITH SCORE 41223.264
AT ITER 4255 NEW BEST:: SOT 285732 SOS 93256 HAS SOPS 93256 HAS SOUS 41130 HAS SOUPS 41130 WITH SCORE 41223.256
AT ITER 4261 NEW BEST:: SOT 285739 SOS 93264 HAS SOPS 93264 HAS SOUS 41126 HAS SOUPS 41126 WITH SCORE 41219.264
AT ITER 4262 NEW BEST:: SOT 285738 SOS 93263 HAS SOPS 93263 HAS SOUS 41124 HAS SOUPS 41124 WITH SCORE 41217.263
AT ITER 4276 NEW BEST:: SOT 285731 SOS 93249 HAS SOPS 93249 HAS SOUS 41094 HAS SOUPS 41094 WITH SCORE 41187.249
AT ITER 4312 NEW BEST:: SOT 285717 SOS 93221 HAS SOPS 93221 HAS SOUS 41080 HAS SOUPS 41080 WITH SCORE 41173.221
AT ITER 4406 NEW BEST:: SOT 285699 SOS 93185 HAS SOPS 93185 HAS SOUS 41044 HAS SOUPS 41044 WITH SCORE 41137.185
AT ITER 4449 NEW BEST:: SOT 285657 SOS 93101 HAS SOPS 93101 HAS SOUS 41014 HAS SOUPS 41014 WITH SCORE 41107.101
AT ITER 4451 NEW BEST:: SOT 285651 SOS 93089 HAS SOPS 93089 HAS SOUS 41002 HAS SOUPS 41002 WITH SCORE 41095.089
AT ITER 4479 NEW BEST:: SOT 285638 SOS 93076 HAS SOPS 93076 HAS SOUS 40989 HAS SOUPS 40989 WITH SCORE 41082.076
AT ITER 4493 NEW BEST:: SOT 285638 SOS 93076 HAS SOPS 93076 HAS SOUS 40985 HAS SOUPS 40985 WITH SCORE 41078.076
AT ITER 4494 NEW BEST:: SOT 285638 SOS 93076 HAS SOPS 93076 HAS SOUS 40979 HAS SOUPS 40979 WITH SCORE 41072.076
AT ITER 4500 NEW BEST:: SOT 285622 SOS 93060 HAS SOPS 93060 HAS SOUS 40935 HAS SOUPS 40935 WITH SCORE 41028.06
AT ITER 4510 NEW BEST:: SOT 285643 SOS 92958 HAS SOPS 92958 HAS SOUS 40920 HAS SOUPS 40920 WITH SCORE 41012.958
AT ITER 4573 NEW BEST:: SOT 285637 SOS 92946 HAS SOPS 92946 HAS SOUS 40905 HAS SOUPS 40905 WITH SCORE 40997.946
AT ITER 4581 NEW BEST:: SOT 285636 SOS 92945 HAS SOPS 92945 HAS SOUS 40904 HAS SOUPS 40904 WITH SCORE 40996.945
AT ITER 4588 NEW BEST:: SOT 285636 SOS 92945 HAS SOPS 92945 HAS SOUS 40894 HAS SOUPS 40894 WITH SCORE 40986.945
AT ITER 4602 NEW BEST:: SOT 285650 SOS 92904 HAS SOPS 92904 HAS SOUS 40853 HAS SOUPS 40853 WITH SCORE 40945.904
AT ITER 4611 NEW BEST:: SOT 285650 SOS 92846 HAS SOPS 92846 HAS SOUS 40811 HAS SOUPS 40811 WITH SCORE 40903.846
AT ITER 4739 NEW BEST:: SOT 285624 SOS 92820 HAS SOPS 92820 HAS SOUS 40792 HAS SOUPS 40792 WITH SCORE 40884.82
AT ITER 4779 NEW BEST:: SOT 285591 SOS 92754 HAS SOPS 92754 HAS SOUS 40746 HAS SOUPS 40746 WITH SCORE 40838.754
AT ITER 4790 NEW BEST:: SOT 285577 SOS 92754 HAS SOPS 92754 HAS SOUS 40718 HAS SOUPS 40718 WITH SCORE 40810.754
AT ITER 4837 NEW BEST:: SOT 285559 SOS 92595 HAS SOPS 92595 HAS SOUS 40624 HAS SOUPS 40624 WITH SCORE 40716.595
AT ITER 4863 NEW BEST:: SOT 285559 SOS 92595 HAS SOPS 92595 HAS SOUS 40620 HAS SOUPS 40620 WITH SCORE 40712.595
AT ITER 4898 NEW BEST:: SOT 285594 SOS 92665 HAS SOPS 92665 HAS SOUS 40605 HAS SOUPS 40605 WITH SCORE 40697.665
AT ITER 4916 NEW BEST:: SOT 285519 SOS 92590 HAS SOPS 92590 HAS SOUS 40530 HAS SOUPS 40530 WITH SCORE 40622.59
AT ITER 4919 NEW BEST:: SOT 285535 SOS 92601 HAS SOPS 92601 HAS SOUS 40499 HAS SOUPS 40499 WITH SCORE 40591.601
AT ITER 4930 NEW BEST:: SOT 285513 SOS 92557 HAS SOPS 92557 HAS SOUS 40455 HAS SOUPS 40455 WITH SCORE 40547.557
AT ITER 4932 NEW BEST:: SOT 285491 SOS 92608 HAS SOPS 92608 HAS SOUS 40393 HAS SOUPS 40393 WITH SCORE 40485.608
AT ITER 4939 NEW BEST:: SOT 285467 SOS 92584 HAS SOPS 92584 HAS SOUS 40369 HAS SOUPS 40369 WITH SCORE 40461.584
AT ITER 4940 NEW BEST:: SOT 285322 SOS 92436 HAS SOPS 92436 HAS SOUS 40363 HAS SOUPS 40363 WITH SCORE 40455.436
AT ITER 4957 NEW BEST:: SOT 285262 SOS 92406 HAS SOPS 92406 HAS SOUS 40339 HAS SOUPS 40339 WITH SCORE 40431.406
AT ITER 4968 NEW BEST:: SOT 285252 SOS 92396 HAS SOPS 92396 HAS SOUS 40338 HAS SOUPS 40338 WITH SCORE 40430.396
AT ITER 4969 NEW BEST:: SOT 285242 SOS 92376 HAS SOPS 92376 HAS SOUS 40328 HAS SOUPS 40328 WITH SCORE 40420.376
AT ITER 5008 NEW BEST:: SOT 285170 SOS 92016 HAS SOPS 92016 HAS SOUS 40211 HAS SOUPS 40211 WITH SCORE 40303.016
AT ITER 5085 NEW BEST:: SOT 285160 SOS 91996 HAS SOPS 91996 HAS SOUS 40199 HAS SOUPS 40199 WITH SCORE 40290.996
AT ITER 5092 NEW BEST:: SOT 285160 SOS 91996 HAS SOPS 91996 HAS SOUS 40179 HAS SOUPS 40179 WITH SCORE 40270.996
AT ITER 5095 NEW BEST:: SOT 285109 SOS 92002 HAS SOPS 92002 HAS SOUS 40166 HAS SOUPS 40166 WITH SCORE 40258.002
AT ITER 5113 NEW BEST:: SOT 285067 SOS 91918 HAS SOPS 91918 HAS SOUS 40166 HAS SOUPS 40166 WITH SCORE 40257.918
AT ITER 5115 NEW BEST:: SOT 284967 SOS 91718 HAS SOPS 91718 HAS SOUS 40047 HAS SOUPS 40047 WITH SCORE 40138.718
AT ITER 5121 NEW BEST:: SOT 284967 SOS 91718 HAS SOPS 91718 HAS SOUS 40044 HAS SOUPS 40044 WITH SCORE 40135.718
AT ITER 5131 NEW BEST:: SOT 284960 SOS 91704 HAS SOPS 91704 HAS SOUS 40030 HAS SOUPS 40030 WITH SCORE 40121.704
AT ITER 5142 NEW BEST:: SOT 284906 SOS 91522 HAS SOPS 91522 HAS SOUS 39996 HAS SOUPS 39996 WITH SCORE 40087.522
AT ITER 5175 NEW BEST:: SOT 284910 SOS 91410 HAS SOPS 91410 HAS SOUS 39996 HAS SOUPS 39996 WITH SCORE 40087.41
AT ITER 5213 NEW BEST:: SOT 284917 SOS 91424 HAS SOPS 91424 HAS SOUS 39985 HAS SOUPS 39985 WITH SCORE 40076.424
AT ITER 5300 NEW BEST:: SOT 284867 SOS 91324 HAS SOPS 91324 HAS SOUS 39923 HAS SOUPS 39923 WITH SCORE 40014.324
AT ITER 5317 NEW BEST:: SOT 284867 SOS 91297 HAS SOPS 91297 HAS SOUS 39896 HAS SOUPS 39896 WITH SCORE 39987.297
AT ITER 5338 NEW BEST:: SOT 284864 SOS 91291 HAS SOPS 91291 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39981.291
AT ITER 5339 NEW BEST:: SOT 284864 SOS 91171 HAS SOPS 91171 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39981.171
AT ITER 5353 NEW BEST:: SOT 284864 SOS 91165 HAS SOPS 91165 HAS SOUS 39890 HAS SOUPS 39890 WITH SCORE 39981.165
AT ITER 5396 NEW BEST:: SOT 284860 SOS 91161 HAS SOPS 91161 HAS SOUS 39886 HAS SOUPS 39886 WITH SCORE 39977.161
AT ITER 5437 NEW BEST:: SOT 284860 SOS 91066 HAS SOPS 91066 HAS SOUS 39797 HAS SOUPS 39797 WITH SCORE 39888.066
AT ITER 5480 NEW BEST:: SOT 284868 SOS 91064 HAS SOPS 91064 HAS SOUS 39795 HAS SOUPS 39795 WITH SCORE 39886.064
AT ITER 5507 NEW BEST:: SOT 284860 SOS 91130 HAS SOPS 91130 HAS SOUS 39787 HAS SOUPS 39787 WITH SCORE 39878.13
AT ITER 5510 NEW BEST:: SOT 284849 SOS 91097 HAS SOPS 91097 HAS SOUS 39765 HAS SOUPS 39765 WITH SCORE 39856.097
AT ITER 5517 NEW BEST:: SOT 284825 SOS 91083 HAS SOPS 91083 HAS SOUS 39746 HAS SOUPS 39746 WITH SCORE 39837.083
AT ITER 5538 NEW BEST:: SOT 284799 SOS 90986 HAS SOPS 90986 HAS SOUS 39666 HAS SOUPS 39666 WITH SCORE 39756.986
AT ITER 5552 NEW BEST:: SOT 284764 SOS 90934 HAS SOPS 90934 HAS SOUS 39636 HAS SOUPS 39636 WITH SCORE 39726.934
AT ITER 5567 NEW BEST:: SOT 284706 SOS 90860 HAS SOPS 90860 HAS SOUS 39530 HAS SOUPS 39530 WITH SCORE 39620.86
AT ITER 5586 NEW BEST:: SOT 284706 SOS 90863 HAS SOPS 90863 HAS SOUS 39527 HAS SOUPS 39527 WITH SCORE 39617.863
AT ITER 5637 NEW BEST:: SOT 284701 SOS 90853 HAS SOPS 90853 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39607.853
AT ITER 5638 NEW BEST:: SOT 284688 SOS 90840 HAS SOPS 90840 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39607.84
AT ITER 5656 NEW BEST:: SOT 284688 SOS 90840 HAS SOPS 90840 HAS SOUS 39491 HAS SOUPS 39491 WITH SCORE 39581.84
AT ITER 5672 NEW BEST:: SOT 284682 SOS 90828 HAS SOPS 90828 HAS SOUS 39479 HAS SOUPS 39479 WITH SCORE 39569.828
AT ITER 5673 NEW BEST:: SOT 284670 SOS 90804 HAS SOPS 90804 HAS SOUS 39458 HAS SOUPS 39458 WITH SCORE 39548.804
AT ITER 5679 NEW BEST:: SOT 284656 SOS 90790 HAS SOPS 90790 HAS SOUS 39444 HAS SOUPS 39444 WITH SCORE 39534.79
AT ITER 5687 NEW BEST:: SOT 284662 SOS 90802 HAS SOPS 90802 HAS SOUS 39411 HAS SOUPS 39411 WITH SCORE 39501.802
AT ITER 5743 NEW BEST:: SOT 284649 SOS 90776 HAS SOPS 90776 HAS SOUS 39403 HAS SOUPS 39403 WITH SCORE 39493.776
AT ITER 5756 NEW BEST:: SOT 284639 SOS 90756 HAS SOPS 90756 HAS SOUS 39393 HAS SOUPS 39393 WITH SCORE 39483.756
AT ITER 5781 NEW BEST:: SOT 284633 SOS 90744 HAS SOPS 90744 HAS SOUS 39390 HAS SOUPS 39390 WITH SCORE 39480.744
AT ITER 5784 NEW BEST:: SOT 284615 SOS 90708 HAS SOPS 90708 HAS SOUS 39354 HAS SOUPS 39354 WITH SCORE 39444.708
AT ITER 5807 NEW BEST:: SOT 284619 SOS 90707 HAS SOPS 90707 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39443.707
AT ITER 5812 NEW BEST:: SOT 284613 SOS 90701 HAS SOPS 90701 HAS SOUS 39353 HAS SOUPS 39353 WITH SCORE 39443.701
AT ITER 5844 NEW BEST:: SOT 284612 SOS 90660 HAS SOPS 90660 HAS SOUS 39312 HAS SOUPS 39312 WITH SCORE 39402.66
AT ITER 5860 NEW BEST:: SOT 284591 SOS 90618 HAS SOPS 90618 HAS SOUS 39249 HAS SOUPS 39249 WITH SCORE 39339.618
AT ITER 5868 NEW BEST:: SOT 284589 SOS 90615 HAS SOPS 90615 HAS SOUS 39247 HAS SOUPS 39247 WITH SCORE 39337.615
AT ITER 5879 NEW BEST:: SOT 284550 SOS 90552 HAS SOPS 90552 HAS SOUS 39208 HAS SOUPS 39208 WITH SCORE 39298.552
AT ITER 5884 NEW BEST:: SOT 284552 SOS 90522 HAS SOPS 90522 HAS SOUS 39187 HAS SOUPS 39187 WITH SCORE 39277.522
AT ITER 5919 NEW BEST:: SOT 284552 SOS 90522 HAS SOPS 90522 HAS SOUS 39178 HAS SOUPS 39178 WITH SCORE 39268.522
AT ITER 5923 NEW BEST:: SOT 284419 SOS 90446 HAS SOPS 90446 HAS SOUS 39102 HAS SOUPS 39102 WITH SCORE 39192.446
AT ITER 5930 NEW BEST:: SOT 284416 SOS 90443 HAS SOPS 90443 HAS SOUS 39099 HAS SOUPS 39099 WITH SCORE 39189.443
AT ITER 5950 NEW BEST:: SOT 284390 SOS 90417 HAS SOPS 90417 HAS SOUS 39076 HAS SOUPS 39076 WITH SCORE 39166.417
AT ITER 5978 NEW BEST:: SOT 284360 SOS 90448 HAS SOPS 90448 HAS SOUS 39067 HAS SOUPS 39067 WITH SCORE 39157.448
AT ITER 6006 NEW BEST:: SOT 284360 SOS 90448 HAS SOPS 90448 HAS SOUS 38991 HAS SOUPS 38991 WITH SCORE 39081.448
AT ITER 6011 NEW BEST:: SOT 284354 SOS 90436 HAS SOPS 90436 HAS SOUS 38973 HAS SOUPS 38973 WITH SCORE 39063.436
AT ITER 6073 NEW BEST:: SOT 284236 SOS 90332 HAS SOPS 90332 HAS SOUS 38951 HAS SOUPS 38951 WITH SCORE 39041.332
AT ITER 6082 NEW BEST:: SOT 284248 SOS 90278 HAS SOPS 90278 HAS SOUS 38951 HAS SOUPS 38951 WITH SCORE 39041.278
AT ITER 6091 NEW BEST:: SOT 284239 SOS 90251 HAS SOPS 90251 HAS SOUS 38942 HAS SOUPS 38942 WITH SCORE 39032.251
AT ITER 6093 NEW BEST:: SOT 284234 SOS 90246 HAS SOPS 90246 HAS SOUS 38935 HAS SOUPS 38935 WITH SCORE 39025.246
AT ITER 6112 NEW BEST:: SOT 284220 SOS 90218 HAS SOPS 90218 HAS SOUS 38933 HAS SOUPS 38933 WITH SCORE 39023.218
AT ITER 6122 NEW BEST:: SOT 284220 SOS 90222 HAS SOPS 90222 HAS SOUS 38929 HAS SOUPS 38929 WITH SCORE 39019.222
AT ITER 6125 NEW BEST:: SOT 284200 SOS 90192 HAS SOPS 90192 HAS SOUS 38909 HAS SOUPS 38909 WITH SCORE 38999.192
AT ITER 6126 NEW BEST:: SOT 284171 SOS 90134 HAS SOPS 90134 HAS SOUS 38909 HAS SOUPS 38909 WITH SCORE 38999.134
AT ITER 6147 NEW BEST:: SOT 284122 SOS 90036 HAS SOPS 90036 HAS SOUS 38860 HAS SOUPS 38860 WITH SCORE 38950.036
AT ITER 6187 NEW BEST:: SOT 284114 SOS 90020 HAS SOPS 90020 HAS SOUS 38855 HAS SOUPS 38855 WITH SCORE 38945.02
AT ITER 6202 NEW BEST:: SOT 284114 SOS 90030 HAS SOPS 90030 HAS SOUS 38845 HAS SOUPS 38845 WITH SCORE 38935.03
AT ITER 6226 NEW BEST:: SOT 284158 SOS 90026 HAS SOPS 90026 HAS SOUS 38841 HAS SOUPS 38841 WITH SCORE 38931.026
AT ITER 6238 NEW BEST:: SOT 284150 SOS 90010 HAS SOPS 90010 HAS SOUS 38841 HAS SOUPS 38841 WITH SCORE 38931.01
AT ITER 6299 NEW BEST:: SOT 284150 SOS 90010 HAS SOPS 90010 HAS SOUS 38815 HAS SOUPS 38815 WITH SCORE 38905.01
AT ITER 6342 NEW BEST:: SOT 284150 SOS 89996 HAS SOPS 89996 HAS SOUS 38815 HAS SOUPS 38815 WITH SCORE 38904.996
AT ITER 6352 NEW BEST:: SOT 284136 SOS 89993 HAS SOPS 89993 HAS SOUS 38811 HAS SOUPS 38811 WITH SCORE 38900.993
AT ITER 6355 NEW BEST:: SOT 284129 SOS 89979 HAS SOPS 89979 HAS SOUS 38797 HAS SOUPS 38797 WITH SCORE 38886.979
AT ITER 6378 NEW BEST:: SOT 284129 SOS 89977 HAS SOPS 89977 HAS SOUS 38797 HAS SOUPS 38797 WITH SCORE 38886.977
AT ITER 6391 NEW BEST:: SOT 284129 SOS 89957 HAS SOPS 89957 HAS SOUS 38787 HAS SOUPS 38787 WITH SCORE 38876.957
AT ITER 6395 NEW BEST:: SOT 283911 SOS 90361 HAS SOPS 90361 HAS SOUS 38613 HAS SOUPS 38613 WITH SCORE 38703.361
AT ITER 6399 NEW BEST:: SOT 283910 SOS 90359 HAS SOPS 90359 HAS SOUS 38611 HAS SOUPS 38611 WITH SCORE 38701.359
AT ITER 6423 NEW BEST:: SOT 283906 SOS 90355 HAS SOPS 90355 HAS SOUS 38607 HAS SOUPS 38607 WITH SCORE 38697.355
AT ITER 6484 NEW BEST:: SOT 283906 SOS 90351 HAS SOPS 90351 HAS SOUS 38599 HAS SOUPS 38599 WITH SCORE 38689.351
AT ITER 6503 NEW BEST:: SOT 283892 SOS 89945 HAS SOPS 89945 HAS SOUS 38582 HAS SOUPS 38582 WITH SCORE 38671.945
AT ITER 6534 NEW BEST:: SOT 283882 SOS 89821 HAS SOPS 89821 HAS SOUS 38572 HAS SOUPS 38572 WITH SCORE 38661.821
AT ITER 6537 NEW BEST:: SOT 283845 SOS 89747 HAS SOPS 89747 HAS SOUS 38535 HAS SOUPS 38535 WITH SCORE 38624.747
AT ITER 6547 NEW BEST:: SOT 283845 SOS 89721 HAS SOPS 89721 HAS SOUS 38535 HAS SOUPS 38535 WITH SCORE 38624.721
AT ITER 6576 NEW BEST:: SOT 283829 SOS 89689 HAS SOPS 89689 HAS SOUS 38519 HAS SOUPS 38519 WITH SCORE 38608.689
AT ITER 6597 NEW BEST:: SOT 283829 SOS 89689 HAS SOPS 89689 HAS SOUS 38512 HAS SOUPS 38512 WITH SCORE 38601.689
AT ITER 6656 NEW BEST:: SOT 283763 SOS 89557 HAS SOPS 89557 HAS SOUS 38512 HAS SOUPS 38512 WITH SCORE 38601.557
AT ITER 6660 NEW BEST:: SOT 283836 SOS 89487 HAS SOPS 89487 HAS SOUS 38509 HAS SOUPS 38509 WITH SCORE 38598.487
AT ITER 6691 NEW BEST:: SOT 283826 SOS 89467 HAS SOPS 89467 HAS SOUS 38502 HAS SOUPS 38502 WITH SCORE 38591.467
AT ITER 6726 NEW BEST:: SOT 283822 SOS 89452 HAS SOPS 89452 HAS SOUS 38487 HAS SOUPS 38487 WITH SCORE 38576.452
AT ITER 6778 NEW BEST:: SOT 283822 SOS 89387 HAS SOPS 89387 HAS SOUS 38422 HAS SOUPS 38422 WITH SCORE 38511.387
AT ITER 6809 NEW BEST:: SOT 283780 SOS 89681 HAS SOPS 89681 HAS SOUS 38408 HAS SOUPS 38408 WITH SCORE 38497.681
AT ITER 6811 NEW BEST:: SOT 283726 SOS 89626 HAS SOPS 89626 HAS SOUS 38406 HAS SOUPS 38406 WITH SCORE 38495.626
AT ITER 6816 NEW BEST:: SOT 283722 SOS 89606 HAS SOPS 89606 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38487.606
AT ITER 6827 NEW BEST:: SOT 283715 SOS 89599 HAS SOPS 89599 HAS SOUS 38398 HAS SOUPS 38398 WITH SCORE 38487.599
AT ITER 6842 NEW BEST:: SOT 283713 SOS 89593 HAS SOPS 89593 HAS SOUS 38396 HAS SOUPS 38396 WITH SCORE 38485.593
AT ITER 6845 NEW BEST:: SOT 283699 SOS 89579 HAS SOPS 89579 HAS SOUS 38396 HAS SOUPS 38396 WITH SCORE 38485.579
AT ITER 6851 NEW BEST:: SOT 283698 SOS 89576 HAS SOPS 89576 HAS SOUS 38395 HAS SOUPS 38395 WITH SCORE 38484.576
AT ITER 6921 NEW BEST:: SOT 283698 SOS 89576 HAS SOPS 89576 HAS SOUS 38331 HAS SOUPS 38331 WITH SCORE 38420.576
AT ITER 6930 NEW BEST:: SOT 283635 SOS 90408 HAS SOPS 90408 HAS SOUS 38309 HAS SOUPS 38309 WITH SCORE 38399.408
AT ITER 6969 NEW BEST:: SOT 283645 SOS 90428 HAS SOPS 90428 HAS SOUS 38281 HAS SOUPS 38281 WITH SCORE 38371.428
AT ITER 6987 NEW BEST:: SOT 283658 SOS 90428 HAS SOPS 90428 HAS SOUS 38255 HAS SOUPS 38255 WITH SCORE 38345.428
AT ITER 6994 NEW BEST:: SOT 283658 SOS 90380 HAS SOPS 90380 HAS SOUS 38255 HAS SOUPS 38255 WITH SCORE 38345.38
AT ITER 7027 NEW BEST:: SOT 283658 SOS 90467 HAS SOPS 90467 HAS SOUS 38223 HAS SOUPS 38223 WITH SCORE 38313.467
AT ITER 7069 NEW BEST:: SOT 283721 SOS 90992 HAS SOPS 90992 HAS SOUS 38205 HAS SOUPS 38205 WITH SCORE 38295.992
AT ITER 7074 NEW BEST:: SOT 283709 SOS 90893 HAS SOPS 90893 HAS SOUS 38158 HAS SOUPS 38158 WITH SCORE 38248.893
AT ITER 7108 NEW BEST:: SOT 283616 SOS 90882 HAS SOPS 90882 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38225.882
AT ITER 7178 NEW BEST:: SOT 283616 SOS 90801 HAS SOPS 90801 HAS SOUS 38135 HAS SOUPS 38135 WITH SCORE 38225.801
AT ITER 7187 NEW BEST:: SOT 283616 SOS 90801 HAS SOPS 90801 HAS SOUS 38057 HAS SOUPS 38057 WITH SCORE 38147.801
AT ITER 7190 NEW BEST:: SOT 283616 SOS 90794 HAS SOPS 90794 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38133.794
AT ITER 7210 NEW BEST:: SOT 283606 SOS 91104 HAS SOPS 91104 HAS SOUS 38039 HAS SOUPS 38039 WITH SCORE 38130.104
AT ITER 7231 NEW BEST:: SOT 283564 SOS 90948 HAS SOPS 90948 HAS SOUS 38027 HAS SOUPS 38027 WITH SCORE 38117.948
AT ITER 7232 NEW BEST:: SOT 283529 SOS 90878 HAS SOPS 90878 HAS SOUS 37957 HAS SOUPS 37957 WITH SCORE 38047.878
AT ITER 7235 NEW BEST:: SOT 283548 SOS 90865 HAS SOPS 90865 HAS SOUS 37944 HAS SOUPS 37944 WITH SCORE 38034.865
AT ITER 7236 NEW BEST:: SOT 283431 SOS 90631 HAS SOPS 90631 HAS SOUS 37883 HAS SOUPS 37883 WITH SCORE 37973.631
AT ITER 7252 NEW BEST:: SOT 283394 SOS 90236 HAS SOPS 90236 HAS SOUS 37846 HAS SOUPS 37846 WITH SCORE 37936.236
AT ITER 7293 NEW BEST:: SOT 283394 SOS 90236 HAS SOPS 90236 HAS SOUS 37838 HAS SOUPS 37838 WITH SCORE 37928.236
AT ITER 7295 NEW BEST:: SOT 283413 SOS 90058 HAS SOPS 90058 HAS SOUS 37566 HAS SOUPS 37566 WITH SCORE 37656.058
AT ITER 7360 NEW BEST:: SOT 283413 SOS 90095 HAS SOPS 90095 HAS SOUS 37529 HAS SOUPS 37529 WITH SCORE 37619.095
AT ITER 7370 NEW BEST:: SOT 283413 SOS 90026 HAS SOPS 90026 HAS SOUS 37460 HAS SOUPS 37460 WITH SCORE 37550.026
AT ITER 7394 NEW BEST:: SOT 283380 SOS 89960 HAS SOPS 89960 HAS SOUS 37452 HAS SOUPS 37452 WITH SCORE 37541.96
AT ITER 7419 NEW BEST:: SOT 283376 SOS 89946 HAS SOPS 89946 HAS SOUS 37441 HAS SOUPS 37441 WITH SCORE 37530.946
AT ITER 7423 NEW BEST:: SOT 283376 SOS 89940 HAS SOPS 89940 HAS SOUS 37441 HAS SOUPS 37441 WITH SCORE 37530.94
AT ITER 7434 NEW BEST:: SOT 283380 SOS 89912 HAS SOPS 89912 HAS SOUS 37441 HAS SOUPS 37441 WITH SCORE 37530.912
AT ITER 7441 NEW BEST:: SOT 283498 SOS 90037 HAS SOPS 90037 HAS SOUS 37431 HAS SOUPS 37431 WITH SCORE 37521.037
AT ITER 7529 NEW BEST:: SOT 283567 SOS 89330 HAS SOPS 89330 HAS SOUS 37386 HAS SOUPS 37386 WITH SCORE 37475.33
AT ITER 7533 NEW BEST:: SOT 283539 SOS 89298 HAS SOPS 89298 HAS SOUS 37354 HAS SOUPS 37354 WITH SCORE 37443.298
AT ITER 7610 NEW BEST:: SOT 283525 SOS 89263 HAS SOPS 89263 HAS SOUS 37347 HAS SOUPS 37347 WITH SCORE 37436.263
AT ITER 7613 NEW BEST:: SOT 283503 SOS 89230 HAS SOPS 89230 HAS SOUS 37336 HAS SOUPS 37336 WITH SCORE 37425.23
AT ITER 7670 NEW BEST:: SOT 283481 SOS 89186 HAS SOPS 89186 HAS SOUS 37314 HAS SOUPS 37314 WITH SCORE 37403.186
AT ITER 7699 NEW BEST:: SOT 283466 SOS 89403 HAS SOPS 89403 HAS SOUS 37286 HAS SOUPS 37286 WITH SCORE 37375.403
AT ITER 7712 NEW BEST:: SOT 283470 SOS 89411 HAS SOPS 89411 HAS SOUS 37210 HAS SOUPS 37210 WITH SCORE 37299.411
AT ITER 7730 NEW BEST:: SOT 283474 SOS 89419 HAS SOPS 89419 HAS SOUS 37207 HAS SOUPS 37207 WITH SCORE 37296.419
AT ITER 7737 NEW BEST:: SOT 283433 SOS 89337 HAS SOPS 89337 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37255.337
AT ITER 7759 NEW BEST:: SOT 283431 SOS 89333 HAS SOPS 89333 HAS SOUS 37166 HAS SOUPS 37166 WITH SCORE 37255.333
AT ITER 7772 NEW BEST:: SOT 283453 SOS 89333 HAS SOPS 89333 HAS SOUS 37122 HAS SOUPS 37122 WITH SCORE 37211.333
AT ITER 7773 NEW BEST:: SOT 283443 SOS 89323 HAS SOPS 89323 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37191.323
AT ITER 7803 NEW BEST:: SOT 283435 SOS 89311 HAS SOPS 89311 HAS SOUS 37098 HAS SOUPS 37098 WITH SCORE 37187.311
AT ITER 7882 NEW BEST:: SOT 283424 SOS 89335 HAS SOPS 89335 HAS SOUS 37087 HAS SOUPS 37087 WITH SCORE 37176.335
AT ITER 7907 NEW BEST:: SOT 283424 SOS 89373 HAS SOPS 89373 HAS SOUS 37068 HAS SOUPS 37068 WITH SCORE 37157.373
AT ITER 7970 NEW BEST:: SOT 283421 SOS 89367 HAS SOPS 89367 HAS SOUS 37042 HAS SOUPS 37042 WITH SCORE 37131.367
AT ITER 7973 NEW BEST:: SOT 283556 SOS 89901 HAS SOPS 89901 HAS SOUS 37019 HAS SOUPS 37019 WITH SCORE 37108.901
AT ITER 8036 NEW BEST:: SOT 283490 SOS 89835 HAS SOPS 89835 HAS SOUS 37019 HAS SOUPS 37019 WITH SCORE 37108.835
AT ITER 8038 NEW BEST:: SOT 283497 SOS 89849 HAS SOPS 89849 HAS SOUS 37007 HAS SOUPS 37007 WITH SCORE 37096.849
AT ITER 8044 NEW BEST:: SOT 283497 SOS 89825 HAS SOPS 89825 HAS SOUS 36983 HAS SOUPS 36983 WITH SCORE 37072.825
AT ITER 8094 NEW BEST:: SOT 283485 SOS 89813 HAS SOPS 89813 HAS SOUS 36959 HAS SOUPS 36959 WITH SCORE 37048.813
AT ITER 8102 NEW BEST:: SOT 283475 SOS 89793 HAS SOPS 89793 HAS SOUS 36939 HAS SOUPS 36939 WITH SCORE 37028.793
AT ITER 8143 NEW BEST:: SOT 283472 SOS 89787 HAS SOPS 89787 HAS SOUS 36933 HAS SOUPS 36933 WITH SCORE 37022.787
AT ITER 8190 NEW BEST:: SOT 283494 SOS 89831 HAS SOPS 89831 HAS SOUS 36901 HAS SOUPS 36901 WITH SCORE 36990.831
AT ITER 8191 NEW BEST:: SOT 283501 SOS 89810 HAS SOPS 89810 HAS SOUS 36873 HAS SOUPS 36873 WITH SCORE 36962.81
AT ITER 8225 NEW BEST:: SOT 283485 SOS 89778 HAS SOPS 89778 HAS SOUS 36845 HAS SOUPS 36845 WITH SCORE 36934.778
AT ITER 8251 NEW BEST:: SOT 283473 SOS 89754 HAS SOPS 89754 HAS SOUS 36793 HAS SOUPS 36793 WITH SCORE 36882.754
AT ITER 8342 NEW BEST:: SOT 283431 SOS 89678 HAS SOPS 89678 HAS SOUS 36785 HAS SOUPS 36785 WITH SCORE 36874.678
AT ITER 8354 NEW BEST:: SOT 283431 SOS 89717 HAS SOPS 89717 HAS SOUS 36782 HAS SOUPS 36782 WITH SCORE 36871.717
AT ITER 8374 NEW BEST:: SOT 283331 SOS 89556 HAS SOPS 89556 HAS SOUS 36653 HAS SOUPS 36653 WITH SCORE 36742.556
AT ITER 8386 NEW BEST:: SOT 283317 SOS 89528 HAS SOPS 89528 HAS SOUS 36611 HAS SOUPS 36611 WITH SCORE 36700.528
AT ITER 8420 NEW BEST:: SOT 283294 SOS 89482 HAS SOPS 89482 HAS SOUS 36588 HAS SOUPS 36588 WITH SCORE 36677.482
AT ITER 8442 NEW BEST:: SOT 283294 SOS 89455 HAS SOPS 89455 HAS SOUS 36561 HAS SOUPS 36561 WITH SCORE 36650.455
AT ITER 8463 NEW BEST:: SOT 283286 SOS 89447 HAS SOPS 89447 HAS SOUS 36554 HAS SOUPS 36554 WITH SCORE 36643.447
AT ITER 8479 NEW BEST:: SOT 283280 SOS 89435 HAS SOPS 89435 HAS SOUS 36542 HAS SOUPS 36542 WITH SCORE 36631.435
AT ITER 8548 NEW BEST:: SOT 283228 SOS 89435 HAS SOPS 89435 HAS SOUS 36509 HAS SOUPS 36509 WITH SCORE 36598.435
AT ITER 8588 NEW BEST:: SOT 283228 SOS 89445 HAS SOPS 89445 HAS SOUS 36499 HAS SOUPS 36499 WITH SCORE 36588.445
AT ITER 8611 NEW BEST:: SOT 283228 SOS 89444 HAS SOPS 89444 HAS SOUS 36499 HAS SOUPS 36499 WITH SCORE 36588.444
AT ITER 8612 NEW BEST:: SOT 283183 SOS 89354 HAS SOPS 89354 HAS SOUS 36457 HAS SOUPS 36457 WITH SCORE 36546.354
AT ITER 8630 NEW BEST:: SOT 283081 SOS 89342 HAS SOPS 89342 HAS SOUS 36305 HAS SOUPS 36305 WITH SCORE 36394.342
AT ITER 8691 NEW BEST:: SOT 283071 SOS 89352 HAS SOPS 89352 HAS SOUS 36296 HAS SOUPS 36296 WITH SCORE 36385.352
AT ITER 8695 NEW BEST:: SOT 283089 SOS 89326 HAS SOPS 89326 HAS SOUS 36283 HAS SOUPS 36283 WITH SCORE 36372.326
AT ITER 8710 NEW BEST:: SOT 283094 SOS 89336 HAS SOPS 89336 HAS SOUS 36277 HAS SOUPS 36277 WITH SCORE 36366.336
AT ITER 8751 NEW BEST:: SOT 283092 SOS 89334 HAS SOPS 89334 HAS SOUS 36277 HAS SOUPS 36277 WITH SCORE 36366.334
AT ITER 8753 NEW BEST:: SOT 283043 SOS 89294 HAS SOPS 89294 HAS SOUS 36231 HAS SOUPS 36231 WITH SCORE 36320.294
AT ITER 8800 NEW BEST:: SOT 283020 SOS 89318 HAS SOPS 89318 HAS SOUS 36218 HAS SOUPS 36218 WITH SCORE 36307.318
AT ITER 8809 NEW BEST:: SOT 283013 SOS 89304 HAS SOPS 89304 HAS SOUS 36211 HAS SOUPS 36211 WITH SCORE 36300.304
AT ITER 8845 NEW BEST:: SOT 282989 SOS 89268 HAS SOPS 89268 HAS SOUS 36175 HAS SOUPS 36175 WITH SCORE 36264.268
AT ITER 8852 NEW BEST:: SOT 282947 SOS 89220 HAS SOPS 89220 HAS SOUS 36169 HAS SOUPS 36169 WITH SCORE 36258.22
AT ITER 8853 NEW BEST:: SOT 282949 SOS 89224 HAS SOPS 89224 HAS SOUS 36150 HAS SOUPS 36150 WITH SCORE 36239.224
AT ITER 8881 NEW BEST:: SOT 282874 SOS 89737 HAS SOPS 89737 HAS SOUS 36137 HAS SOUPS 36137 WITH SCORE 36226.737
AT ITER 8904 NEW BEST:: SOT 282870 SOS 89729 HAS SOPS 89729 HAS SOUS 36091 HAS SOUPS 36091 WITH SCORE 36180.729
AT ITER 8928 NEW BEST:: SOT 282873 SOS 89735 HAS SOPS 89735 HAS SOUS 36085 HAS SOUPS 36085 WITH SCORE 36174.735
AT ITER 8950 NEW BEST:: SOT 282879 SOS 89747 HAS SOPS 89747 HAS SOUS 36019 HAS SOUPS 36019 WITH SCORE 36108.747
AT ITER 8979 NEW BEST:: SOT 282843 SOS 89693 HAS SOPS 89693 HAS SOUS 35983 HAS SOUPS 35983 WITH SCORE 36072.693
AT ITER 9022 NEW BEST:: SOT 282805 SOS 89636 HAS SOPS 89636 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 36015.636
AT ITER 9030 NEW BEST:: SOT 282746 SOS 89577 HAS SOPS 89577 HAS SOUS 35926 HAS SOUPS 35926 WITH SCORE 36015.577
AT ITER 9034 NEW BEST:: SOT 282743 SOS 89576 HAS SOPS 89576 HAS SOUS 35925 HAS SOUPS 35925 WITH SCORE 36014.576
AT ITER 9054 NEW BEST:: SOT 282789 SOS 89597 HAS SOPS 89597 HAS SOUS 35917 HAS SOUPS 35917 WITH SCORE 36006.597
AT ITER 9094 NEW BEST:: SOT 282776 SOS 89571 HAS SOPS 89571 HAS SOUS 35899 HAS SOUPS 35899 WITH SCORE 35988.571
AT ITER 9105 NEW BEST:: SOT 282776 SOS 89571 HAS SOPS 89571 HAS SOUS 35885 HAS SOUPS 35885 WITH SCORE 35974.571
AT ITER 9127 NEW BEST:: SOT 282772 SOS 89559 HAS SOPS 89559 HAS SOUS 35877 HAS SOUPS 35877 WITH SCORE 35966.559
AT ITER 9128 NEW BEST:: SOT 282786 SOS 89587 HAS SOPS 89587 HAS SOUS 35866 HAS SOUPS 35866 WITH SCORE 35955.587
AT ITER 9170 NEW BEST:: SOT 282774 SOS 89563 HAS SOPS 89563 HAS SOUS 35842 HAS SOUPS 35842 WITH SCORE 35931.563
AT ITER 9179 NEW BEST:: SOT 282755 SOS 89592 HAS SOPS 89592 HAS SOUS 35823 HAS SOUPS 35823 WITH SCORE 35912.592
AT ITER 9225 NEW BEST:: SOT 282791 SOS 89654 HAS SOPS 89654 HAS SOUS 35803 HAS SOUPS 35803 WITH SCORE 35892.654
AT ITER 9268 NEW BEST:: SOT 282791 SOS 89652 HAS SOPS 89652 HAS SOUS 35801 HAS SOUPS 35801 WITH SCORE 35890.652
AT ITER 9313 NEW BEST:: SOT 282785 SOS 89537 HAS SOPS 89537 HAS SOUS 35800 HAS SOUPS 35800 WITH SCORE 35889.537
AT ITER 9315 NEW BEST:: SOT 282748 SOS 89463 HAS SOPS 89463 HAS SOUS 35794 HAS SOUPS 35794 WITH SCORE 35883.463
AT ITER 9324 NEW BEST:: SOT 282680 SOS 89395 HAS SOPS 89395 HAS SOUS 35794 HAS SOUPS 35794 WITH SCORE 35883.395
AT ITER 9386 NEW BEST:: SOT 282679 SOS 89393 HAS SOPS 89393 HAS SOUS 35793 HAS SOUPS 35793 WITH SCORE 35882.393
AT ITER 9396 NEW BEST:: SOT 282676 SOS 89387 HAS SOPS 89387 HAS SOUS 35787 HAS SOUPS 35787 WITH SCORE 35876.387
AT ITER 9398 NEW BEST:: SOT 282676 SOS 89388 HAS SOPS 89388 HAS SOUS 35786 HAS SOUPS 35786 WITH SCORE 35875.388
AT ITER 9401 NEW BEST:: SOT 282672 SOS 89376 HAS SOPS 89376 HAS SOUS 35774 HAS SOUPS 35774 WITH SCORE 35863.376
AT ITER 9422 NEW BEST:: SOT 282672 SOS 89358 HAS SOPS 89358 HAS SOUS 35768 HAS SOUPS 35768 WITH SCORE 35857.358
AT ITER 9434 NEW BEST:: SOT 282643 SOS 89325 HAS SOPS 89325 HAS SOUS 35735 HAS SOUPS 35735 WITH SCORE 35824.325
AT ITER 9438 NEW BEST:: SOT 282641 SOS 89321 HAS SOPS 89321 HAS SOUS 35731 HAS SOUPS 35731 WITH SCORE 35820.321
AT ITER 9448 NEW BEST:: SOT 282629 SOS 89291 HAS SOPS 89291 HAS SOUS 35707 HAS SOUPS 35707 WITH SCORE 35796.291
AT ITER 9468 NEW BEST:: SOT 282626 SOS 89309 HAS SOPS 89309 HAS SOUS 35698 HAS SOUPS 35698 WITH SCORE 35787.309
AT ITER 9477 NEW BEST:: SOT 282599 SOS 89255 HAS SOPS 89255 HAS SOUS 35644 HAS SOUPS 35644 WITH SCORE 35733.255
AT ITER 9536 NEW BEST:: SOT 282589 SOS 89235 HAS SOPS 89235 HAS SOUS 35624 HAS SOUPS 35624 WITH SCORE 35713.235
AT ITER 9578 NEW BEST:: SOT 282580 SOS 89226 HAS SOPS 89226 HAS SOUS 35615 HAS SOUPS 35615 WITH SCORE 35704.226
AT ITER 9587 NEW BEST:: SOT 282547 SOS 89100 HAS SOPS 89100 HAS SOUS 35549 HAS SOUPS 35549 WITH SCORE 35638.1
AT ITER 9624 NEW BEST:: SOT 282545 SOS 89096 HAS SOPS 89096 HAS SOUS 35547 HAS SOUPS 35547 WITH SCORE 35636.096
AT ITER 9635 NEW BEST:: SOT 282540 SOS 89091 HAS SOPS 89091 HAS SOUS 35541 HAS SOUPS 35541 WITH SCORE 35630.091
AT ITER 9641 NEW BEST:: SOT 282534 SOS 89019 HAS SOPS 89019 HAS SOUS 35513 HAS SOUPS 35513 WITH SCORE 35602.019
AT ITER 9663 NEW BEST:: SOT 282507 SOS 88992 HAS SOPS 88992 HAS SOUS 35513 HAS SOUPS 35513 WITH SCORE 35601.992
AT ITER 9707 NEW BEST:: SOT 282508 SOS 88993 HAS SOPS 88993 HAS SOUS 35478 HAS SOUPS 35478 WITH SCORE 35566.993
AT ITER 9716 NEW BEST:: SOT 282420 SOS 88861 HAS SOPS 88861 HAS SOUS 35390 HAS SOUPS 35390 WITH SCORE 35478.861
AT ITER 9728 NEW BEST:: SOT 282415 SOS 88856 HAS SOPS 88856 HAS SOUS 35385 HAS SOUPS 35385 WITH SCORE 35473.856
AT ITER 9741 NEW BEST:: SOT 282398 SOS 88822 HAS SOPS 88822 HAS SOUS 35375 HAS SOUPS 35375 WITH SCORE 35463.822
AT ITER 9853 NEW BEST:: SOT 282404 SOS 88781 HAS SOPS 88781 HAS SOUS 35334 HAS SOUPS 35334 WITH SCORE 35422.781
AT ITER 9875 NEW BEST:: SOT 282390 SOS 88753 HAS SOPS 88753 HAS SOUS 35313 HAS SOUPS 35313 WITH SCORE 35401.753
AT ITER 9880 NEW BEST:: SOT 282225 SOS 88588 HAS SOPS 88588 HAS SOUS 35313 HAS SOUPS 35313 WITH SCORE 35401.588
AT ITER 9964 NEW BEST:: SOT 282193 SOS 88556 HAS SOPS 88556 HAS SOUS 35281 HAS SOUPS 35281 WITH SCORE 35369.556
AT ITER 9970 NEW BEST:: SOT 282015 SOS 88289 HAS SOPS 88289 HAS SOUS 35103 HAS SOUPS 35103 WITH SCORE 35191.289
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 163460 kB
After kill :
MemTotal: 16393216 kB
MemFree: 14296352 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//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
++ perl -pe 's/.*\.//g'
+ 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="HealthRecord-PT-17"
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 HealthRecord-PT-17, 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 r203-smll-167840349500368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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