Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 648K
-rw-r--r-- 1 mcc users 6.9K Feb 25 16:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 16:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 16:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:39 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 192K Feb 25 16:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 16:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 156K 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 1678793941100

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-14
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 11:39:02] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 11:39:02] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 11:39:02] [INFO ] Load time of PNML (sax parser for PT used): 77 ms
[2023-03-14 11:39:02] [INFO ] Transformed 624 places.
[2023-03-14 11:39:02] [INFO ] Transformed 564 transitions.
[2023-03-14 11:39:02] [INFO ] Found NUPN structural information;
[2023-03-14 11:39:03] [INFO ] Parsed PT model containing 624 places and 564 transitions and 1657 arcs in 152 ms.
[2023-03-14 11:39:03] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 624 places, 564 transitions and 1657 arcs took 7 ms.
Total runtime 190 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 14
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, 564 transitions, 1657 arcs.
AT ITER 0 NEW BEST:: SOT 223547 SOS 85893 HAS SOPS 85893 HAS SOUS 83009 HAS SOUPS 83009 WITH SCORE 83094.893
AT ITER 7 NEW BEST:: SOT 223368 SOS 85764 HAS SOPS 85764 HAS SOUS 82966 HAS SOUPS 82966 WITH SCORE 83051.764
AT ITER 22 NEW BEST:: SOT 223368 SOS 85756 HAS SOPS 85756 HAS SOUS 82958 HAS SOUPS 82958 WITH SCORE 83043.756
AT ITER 36 NEW BEST:: SOT 223367 SOS 85714 HAS SOPS 85714 HAS SOUS 82916 HAS SOUPS 82916 WITH SCORE 83001.714
AT ITER 37 NEW BEST:: SOT 223355 SOS 85702 HAS SOPS 85702 HAS SOUS 82914 HAS SOUPS 82914 WITH SCORE 82999.702
AT ITER 43 NEW BEST:: SOT 223355 SOS 85701 HAS SOPS 85701 HAS SOUS 82913 HAS SOUPS 82913 WITH SCORE 82998.701
AT ITER 45 NEW BEST:: SOT 223444 SOS 85429 HAS SOPS 85429 HAS SOUS 82641 HAS SOUPS 82641 WITH SCORE 82726.429
AT ITER 57 NEW BEST:: SOT 223288 SOS 85248 HAS SOPS 85248 HAS SOUS 82460 HAS SOUPS 82460 WITH SCORE 82545.248
AT ITER 60 NEW BEST:: SOT 223124 SOS 85084 HAS SOPS 85084 HAS SOUS 82296 HAS SOUPS 82296 WITH SCORE 82381.084
AT ITER 71 NEW BEST:: SOT 222961 SOS 84985 HAS SOPS 84985 HAS SOUS 82197 HAS SOUPS 82197 WITH SCORE 82281.985
AT ITER 73 NEW BEST:: SOT 222783 SOS 84781 HAS SOPS 84781 HAS SOUS 82018 HAS SOUPS 82018 WITH SCORE 82102.781
AT ITER 78 NEW BEST:: SOT 222690 SOS 84752 HAS SOPS 84752 HAS SOUS 81992 HAS SOUPS 81992 WITH SCORE 82076.752
AT ITER 88 NEW BEST:: SOT 222647 SOS 84751 HAS SOPS 84751 HAS SOUS 81991 HAS SOUPS 81991 WITH SCORE 82075.751
AT ITER 95 NEW BEST:: SOT 222403 SOS 84507 HAS SOPS 84507 HAS SOUS 81820 HAS SOUPS 81820 WITH SCORE 81904.507
AT ITER 100 NEW BEST:: SOT 222379 SOS 84459 HAS SOPS 84459 HAS SOUS 81796 HAS SOUPS 81796 WITH SCORE 81880.459
AT ITER 109 NEW BEST:: SOT 222421 SOS 84362 HAS SOPS 84362 HAS SOUS 81792 HAS SOUPS 81792 WITH SCORE 81876.362
AT ITER 115 NEW BEST:: SOT 222421 SOS 84307 HAS SOPS 84307 HAS SOUS 81737 HAS SOUPS 81737 WITH SCORE 81821.307
AT ITER 145 NEW BEST:: SOT 222233 SOS 84058 HAS SOPS 84058 HAS SOUS 81518 HAS SOUPS 81518 WITH SCORE 81602.058
AT ITER 169 NEW BEST:: SOT 222233 SOS 84045 HAS SOPS 84045 HAS SOUS 81505 HAS SOUPS 81505 WITH SCORE 81589.045
AT ITER 170 NEW BEST:: SOT 222192 SOS 83971 HAS SOPS 83971 HAS SOUS 81431 HAS SOUPS 81431 WITH SCORE 81514.971
AT ITER 173 NEW BEST:: SOT 222192 SOS 83783 HAS SOPS 83783 HAS SOUS 81243 HAS SOUPS 81243 WITH SCORE 81326.783
AT ITER 200 NEW BEST:: SOT 222192 SOS 83778 HAS SOPS 83778 HAS SOUS 81238 HAS SOUPS 81238 WITH SCORE 81321.778
AT ITER 201 NEW BEST:: SOT 222115 SOS 83623 HAS SOPS 83623 HAS SOUS 81083 HAS SOUPS 81083 WITH SCORE 81166.623
AT ITER 204 NEW BEST:: SOT 222107 SOS 83615 HAS SOPS 83615 HAS SOUS 81075 HAS SOUPS 81075 WITH SCORE 81158.615
AT ITER 205 NEW BEST:: SOT 222107 SOS 83483 HAS SOPS 83483 HAS SOUS 81031 HAS SOUPS 81031 WITH SCORE 81114.483
AT ITER 209 NEW BEST:: SOT 222071 SOS 83447 HAS SOPS 83447 HAS SOUS 80995 HAS SOUPS 80995 WITH SCORE 81078.447
AT ITER 225 NEW BEST:: SOT 222045 SOS 83301 HAS SOPS 83301 HAS SOUS 80920 HAS SOUPS 80920 WITH SCORE 81003.301
AT ITER 226 NEW BEST:: SOT 221971 SOS 83227 HAS SOPS 83227 HAS SOUS 80846 HAS SOUPS 80846 WITH SCORE 80929.227
AT ITER 246 NEW BEST:: SOT 221971 SOS 83205 HAS SOPS 83205 HAS SOUS 80824 HAS SOUPS 80824 WITH SCORE 80907.205
AT ITER 248 NEW BEST:: SOT 221733 SOS 82969 HAS SOPS 82969 HAS SOUS 80588 HAS SOUPS 80588 WITH SCORE 80670.969
AT ITER 252 NEW BEST:: SOT 221596 SOS 82734 HAS SOPS 82734 HAS SOUS 80353 HAS SOUPS 80353 WITH SCORE 80435.734
AT ITER 257 NEW BEST:: SOT 221599 SOS 82840 HAS SOPS 82840 HAS SOUS 80303 HAS SOUPS 80303 WITH SCORE 80385.84
AT ITER 267 NEW BEST:: SOT 221541 SOS 82747 HAS SOPS 82747 HAS SOUS 80210 HAS SOUPS 80210 WITH SCORE 80292.747
AT ITER 268 NEW BEST:: SOT 221555 SOS 82724 HAS SOPS 82724 HAS SOUS 80187 HAS SOUPS 80187 WITH SCORE 80269.724
AT ITER 270 NEW BEST:: SOT 221488 SOS 82590 HAS SOPS 82590 HAS SOUS 80053 HAS SOUPS 80053 WITH SCORE 80135.59
AT ITER 277 NEW BEST:: SOT 215199 SOS 86389 HAS SOPS 86389 HAS SOUS 74090 HAS SOUPS 74090 WITH SCORE 74176.389
AT ITER 278 NEW BEST:: SOT 215140 SOS 86330 HAS SOPS 86330 HAS SOUS 74086 HAS SOUPS 74086 WITH SCORE 74172.33
AT ITER 295 NEW BEST:: SOT 215139 SOS 86329 HAS SOPS 86329 HAS SOUS 74085 HAS SOUPS 74085 WITH SCORE 74171.329
AT ITER 328 NEW BEST:: SOT 215142 SOS 86213 HAS SOPS 86213 HAS SOUS 73969 HAS SOUPS 73969 WITH SCORE 74055.213
AT ITER 333 NEW BEST:: SOT 215065 SOS 86136 HAS SOPS 86136 HAS SOUS 73968 HAS SOUPS 73968 WITH SCORE 74054.136
AT ITER 342 NEW BEST:: SOT 215064 SOS 86135 HAS SOPS 86135 HAS SOUS 73967 HAS SOUPS 73967 WITH SCORE 74053.135
AT ITER 365 NEW BEST:: SOT 215037 SOS 86081 HAS SOPS 86081 HAS SOUS 73913 HAS SOUPS 73913 WITH SCORE 73999.081
AT ITER 369 NEW BEST:: SOT 214716 SOS 85688 HAS SOPS 85688 HAS SOUS 73725 HAS SOUPS 73725 WITH SCORE 73810.688
AT ITER 372 NEW BEST:: SOT 214644 SOS 85616 HAS SOPS 85616 HAS SOUS 73695 HAS SOUPS 73695 WITH SCORE 73780.616
AT ITER 373 NEW BEST:: SOT 214654 SOS 85570 HAS SOPS 85570 HAS SOUS 73671 HAS SOUPS 73671 WITH SCORE 73756.57
AT ITER 376 NEW BEST:: SOT 214590 SOS 85294 HAS SOPS 85294 HAS SOUS 73516 HAS SOUPS 73516 WITH SCORE 73601.294
AT ITER 378 NEW BEST:: SOT 214558 SOS 85261 HAS SOPS 85261 HAS SOUS 73483 HAS SOUPS 73483 WITH SCORE 73568.261
AT ITER 387 NEW BEST:: SOT 214593 SOS 84983 HAS SOPS 84983 HAS SOUS 73205 HAS SOUPS 73205 WITH SCORE 73289.983
AT ITER 394 NEW BEST:: SOT 214337 SOS 84675 HAS SOPS 84675 HAS SOUS 73061 HAS SOUPS 73061 WITH SCORE 73145.675
AT ITER 397 NEW BEST:: SOT 214208 SOS 84425 HAS SOPS 84425 HAS SOUS 72932 HAS SOUPS 72932 WITH SCORE 73016.425
AT ITER 399 NEW BEST:: SOT 214215 SOS 84439 HAS SOPS 84439 HAS SOUS 72905 HAS SOUPS 72905 WITH SCORE 72989.439
AT ITER 406 NEW BEST:: SOT 214216 SOS 84434 HAS SOPS 84434 HAS SOUS 72900 HAS SOUPS 72900 WITH SCORE 72984.434
AT ITER 413 NEW BEST:: SOT 214212 SOS 84429 HAS SOPS 84429 HAS SOUS 72895 HAS SOUPS 72895 WITH SCORE 72979.429
AT ITER 429 NEW BEST:: SOT 214128 SOS 84344 HAS SOPS 84344 HAS SOUS 72893 HAS SOUPS 72893 WITH SCORE 72977.344
AT ITER 436 NEW BEST:: SOT 214124 SOS 84336 HAS SOPS 84336 HAS SOUS 72885 HAS SOUPS 72885 WITH SCORE 72969.336
AT ITER 443 NEW BEST:: SOT 214123 SOS 84335 HAS SOPS 84335 HAS SOUS 72884 HAS SOUPS 72884 WITH SCORE 72968.335
AT ITER 450 NEW BEST:: SOT 214280 SOS 84484 HAS SOPS 84484 HAS SOUS 72862 HAS SOUPS 72862 WITH SCORE 72946.484
AT ITER 457 NEW BEST:: SOT 214280 SOS 84450 HAS SOPS 84450 HAS SOUS 72834 HAS SOUPS 72834 WITH SCORE 72918.45
AT ITER 458 NEW BEST:: SOT 214295 SOS 84103 HAS SOPS 84103 HAS SOUS 72487 HAS SOUPS 72487 WITH SCORE 72571.103
AT ITER 462 NEW BEST:: SOT 214280 SOS 84088 HAS SOPS 84088 HAS SOUS 72472 HAS SOUPS 72472 WITH SCORE 72556.088
AT ITER 467 NEW BEST:: SOT 214280 SOS 84088 HAS SOPS 84088 HAS SOUS 72351 HAS SOUPS 72351 WITH SCORE 72435.088
AT ITER 497 NEW BEST:: SOT 214254 SOS 84036 HAS SOPS 84036 HAS SOUS 72299 HAS SOUPS 72299 WITH SCORE 72383.036
AT ITER 503 NEW BEST:: SOT 214197 SOS 83979 HAS SOPS 83979 HAS SOUS 72242 HAS SOUPS 72242 WITH SCORE 72325.979
AT ITER 519 NEW BEST:: SOT 214012 SOS 83712 HAS SOPS 83712 HAS SOUS 72137 HAS SOUPS 72137 WITH SCORE 72220.712
AT ITER 523 NEW BEST:: SOT 213993 SOS 83693 HAS SOPS 83693 HAS SOUS 72118 HAS SOUPS 72118 WITH SCORE 72201.693
AT ITER 525 NEW BEST:: SOT 213993 SOS 83565 HAS SOPS 83565 HAS SOUS 71990 HAS SOUPS 71990 WITH SCORE 72073.565
AT ITER 533 NEW BEST:: SOT 213992 SOS 83563 HAS SOPS 83563 HAS SOUS 71988 HAS SOUPS 71988 WITH SCORE 72071.563
AT ITER 540 NEW BEST:: SOT 213821 SOS 83221 HAS SOPS 83221 HAS SOUS 71646 HAS SOUPS 71646 WITH SCORE 71729.221
AT ITER 541 NEW BEST:: SOT 213831 SOS 83347 HAS SOPS 83347 HAS SOUS 71561 HAS SOUPS 71561 WITH SCORE 71644.347
AT ITER 546 NEW BEST:: SOT 213662 SOS 83178 HAS SOPS 83178 HAS SOUS 71392 HAS SOUPS 71392 WITH SCORE 71475.178
AT ITER 547 NEW BEST:: SOT 213353 SOS 82857 HAS SOPS 82857 HAS SOUS 71071 HAS SOUPS 71071 WITH SCORE 71153.857
AT ITER 555 NEW BEST:: SOT 213351 SOS 82975 HAS SOPS 82975 HAS SOUS 71037 HAS SOUPS 71037 WITH SCORE 71119.975
AT ITER 566 NEW BEST:: SOT 213269 SOS 82893 HAS SOPS 82893 HAS SOUS 71018 HAS SOUPS 71018 WITH SCORE 71100.893
AT ITER 570 NEW BEST:: SOT 213162 SOS 82784 HAS SOPS 82784 HAS SOUS 71013 HAS SOUPS 71013 WITH SCORE 71095.784
AT ITER 573 NEW BEST:: SOT 212958 SOS 82376 HAS SOPS 82376 HAS SOUS 70707 HAS SOUPS 70707 WITH SCORE 70789.376
AT ITER 576 NEW BEST:: SOT 212860 SOS 82229 HAS SOPS 82229 HAS SOUS 70609 HAS SOUPS 70609 WITH SCORE 70691.229
AT ITER 583 NEW BEST:: SOT 212584 SOS 81764 HAS SOPS 81764 HAS SOUS 70144 HAS SOUPS 70144 WITH SCORE 70225.764
AT ITER 590 NEW BEST:: SOT 212581 SOS 81761 HAS SOPS 81761 HAS SOUS 70141 HAS SOUPS 70141 WITH SCORE 70222.761
AT ITER 593 NEW BEST:: SOT 212591 SOS 81755 HAS SOPS 81755 HAS SOUS 70135 HAS SOUPS 70135 WITH SCORE 70216.755
AT ITER 595 NEW BEST:: SOT 212689 SOS 81677 HAS SOPS 81677 HAS SOUS 70057 HAS SOUPS 70057 WITH SCORE 70138.677
AT ITER 599 NEW BEST:: SOT 212494 SOS 81219 HAS SOPS 81219 HAS SOUS 69599 HAS SOUPS 69599 WITH SCORE 69680.219
AT ITER 611 NEW BEST:: SOT 212493 SOS 81218 HAS SOPS 81218 HAS SOUS 69598 HAS SOUPS 69598 WITH SCORE 69679.218
AT ITER 629 NEW BEST:: SOT 212351 SOS 81075 HAS SOPS 81075 HAS SOUS 69596 HAS SOUPS 69596 WITH SCORE 69677.075
AT ITER 630 NEW BEST:: SOT 212351 SOS 81075 HAS SOPS 81075 HAS SOUS 69592 HAS SOUPS 69592 WITH SCORE 69673.075
AT ITER 632 NEW BEST:: SOT 212367 SOS 81076 HAS SOPS 81076 HAS SOUS 69575 HAS SOUPS 69575 WITH SCORE 69656.076
AT ITER 635 NEW BEST:: SOT 212230 SOS 80872 HAS SOPS 80872 HAS SOUS 69441 HAS SOUPS 69441 WITH SCORE 69521.872
AT ITER 639 NEW BEST:: SOT 212205 SOS 80847 HAS SOPS 80847 HAS SOUS 69416 HAS SOUPS 69416 WITH SCORE 69496.847
AT ITER 644 NEW BEST:: SOT 211853 SOS 80289 HAS SOPS 80289 HAS SOUS 69052 HAS SOUPS 69052 WITH SCORE 69132.289
AT ITER 645 NEW BEST:: SOT 211811 SOS 80224 HAS SOPS 80224 HAS SOUS 68989 HAS SOUPS 68989 WITH SCORE 69069.224
AT ITER 659 NEW BEST:: SOT 211756 SOS 80186 HAS SOPS 80186 HAS SOUS 68925 HAS SOUPS 68925 WITH SCORE 69005.186
AT ITER 666 NEW BEST:: SOT 211691 SOS 80000 HAS SOPS 80000 HAS SOUS 68739 HAS SOUPS 68739 WITH SCORE 68819.0
AT ITER 672 NEW BEST:: SOT 210061 SOS 78370 HAS SOPS 78370 HAS SOUS 67109 HAS SOUPS 67109 WITH SCORE 67187.37
AT ITER 675 NEW BEST:: SOT 209017 SOS 77331 HAS SOPS 77331 HAS SOUS 66167 HAS SOUPS 66167 WITH SCORE 66244.331
AT ITER 685 NEW BEST:: SOT 208991 SOS 77305 HAS SOPS 77305 HAS SOUS 66141 HAS SOUPS 66141 WITH SCORE 66218.305
AT ITER 694 NEW BEST:: SOT 208967 SOS 77281 HAS SOPS 77281 HAS SOUS 66117 HAS SOUPS 66117 WITH SCORE 66194.281
AT ITER 695 NEW BEST:: SOT 208966 SOS 77183 HAS SOPS 77183 HAS SOUS 66062 HAS SOUPS 66062 WITH SCORE 66139.183
AT ITER 696 NEW BEST:: SOT 208807 SOS 77024 HAS SOPS 77024 HAS SOUS 66062 HAS SOUPS 66062 WITH SCORE 66139.024
AT ITER 699 NEW BEST:: SOT 208660 SOS 76870 HAS SOPS 76870 HAS SOUS 66001 HAS SOUPS 66001 WITH SCORE 66077.87
AT ITER 715 NEW BEST:: SOT 208496 SOS 76545 HAS SOPS 76545 HAS SOUS 65793 HAS SOUPS 65793 WITH SCORE 65869.545
AT ITER 720 NEW BEST:: SOT 208458 SOS 76507 HAS SOPS 76507 HAS SOUS 65755 HAS SOUPS 65755 WITH SCORE 65831.507
AT ITER 726 NEW BEST:: SOT 208444 SOS 76478 HAS SOPS 76478 HAS SOUS 65726 HAS SOUPS 65726 WITH SCORE 65802.478
AT ITER 737 NEW BEST:: SOT 208444 SOS 76477 HAS SOPS 76477 HAS SOUS 65725 HAS SOUPS 65725 WITH SCORE 65801.477
AT ITER 741 NEW BEST:: SOT 208415 SOS 76434 HAS SOPS 76434 HAS SOUS 65660 HAS SOUPS 65660 WITH SCORE 65736.434
AT ITER 765 NEW BEST:: SOT 208284 SOS 76049 HAS SOPS 76049 HAS SOUS 65406 HAS SOUPS 65406 WITH SCORE 65482.049
AT ITER 768 NEW BEST:: SOT 207981 SOS 75824 HAS SOPS 75824 HAS SOUS 65192 HAS SOUPS 65192 WITH SCORE 65267.824
AT ITER 777 NEW BEST:: SOT 207980 SOS 75822 HAS SOPS 75822 HAS SOUS 65190 HAS SOUPS 65190 WITH SCORE 65265.822
AT ITER 780 NEW BEST:: SOT 207980 SOS 75801 HAS SOPS 75801 HAS SOUS 65148 HAS SOUPS 65148 WITH SCORE 65223.801
AT ITER 788 NEW BEST:: SOT 207857 SOS 75569 HAS SOPS 75569 HAS SOUS 64916 HAS SOUPS 64916 WITH SCORE 64991.569
AT ITER 795 NEW BEST:: SOT 207678 SOS 75211 HAS SOPS 75211 HAS SOUS 64558 HAS SOUPS 64558 WITH SCORE 64633.211
AT ITER 801 NEW BEST:: SOT 207508 SOS 75119 HAS SOPS 75119 HAS SOUS 64544 HAS SOUPS 64544 WITH SCORE 64619.119
AT ITER 804 NEW BEST:: SOT 207378 SOS 75061 HAS SOPS 75061 HAS SOUS 64509 HAS SOUPS 64509 WITH SCORE 64584.061
AT ITER 806 NEW BEST:: SOT 207275 SOS 74957 HAS SOPS 74957 HAS SOUS 64505 HAS SOUPS 64505 WITH SCORE 64579.957
AT ITER 808 NEW BEST:: SOT 207211 SOS 74893 HAS SOPS 74893 HAS SOUS 64441 HAS SOUPS 64441 WITH SCORE 64515.893
AT ITER 823 NEW BEST:: SOT 207041 SOS 74670 HAS SOPS 74670 HAS SOUS 64294 HAS SOUPS 64294 WITH SCORE 64368.67
AT ITER 826 NEW BEST:: SOT 207041 SOS 74371 HAS SOPS 74371 HAS SOUS 64230 HAS SOUPS 64230 WITH SCORE 64304.371
AT ITER 845 NEW BEST:: SOT 205923 SOS 74443 HAS SOPS 74443 HAS SOUS 63423 HAS SOUPS 63423 WITH SCORE 63497.443
AT ITER 852 NEW BEST:: SOT 206032 SOS 74425 HAS SOPS 74425 HAS SOUS 63340 HAS SOUPS 63340 WITH SCORE 63414.425
AT ITER 854 NEW BEST:: SOT 205927 SOS 74292 HAS SOPS 74292 HAS SOUS 63207 HAS SOUPS 63207 WITH SCORE 63281.292
AT ITER 857 NEW BEST:: SOT 205778 SOS 73994 HAS SOPS 73994 HAS SOUS 62909 HAS SOUPS 62909 WITH SCORE 62982.994
AT ITER 871 NEW BEST:: SOT 205762 SOS 73962 HAS SOPS 73962 HAS SOUS 62877 HAS SOUPS 62877 WITH SCORE 62950.962
AT ITER 880 NEW BEST:: SOT 205620 SOS 73865 HAS SOPS 73865 HAS SOUS 62873 HAS SOUPS 62873 WITH SCORE 62946.865
AT ITER 893 NEW BEST:: SOT 205516 SOS 74182 HAS SOPS 74182 HAS SOUS 62844 HAS SOUPS 62844 WITH SCORE 62918.182
AT ITER 900 NEW BEST:: SOT 205487 SOS 74150 HAS SOPS 74150 HAS SOUS 62812 HAS SOUPS 62812 WITH SCORE 62886.15
AT ITER 935 NEW BEST:: SOT 205583 SOS 74012 HAS SOPS 74012 HAS SOUS 62785 HAS SOUPS 62785 WITH SCORE 62859.012
AT ITER 941 NEW BEST:: SOT 205582 SOS 74010 HAS SOPS 74010 HAS SOUS 62783 HAS SOUPS 62783 WITH SCORE 62857.01
AT ITER 964 NEW BEST:: SOT 205546 SOS 73967 HAS SOPS 73967 HAS SOUS 62776 HAS SOUPS 62776 WITH SCORE 62849.967
AT ITER 969 NEW BEST:: SOT 205546 SOS 73965 HAS SOPS 73965 HAS SOUS 62774 HAS SOUPS 62774 WITH SCORE 62847.965
AT ITER 976 NEW BEST:: SOT 205653 SOS 74037 HAS SOPS 74037 HAS SOUS 62704 HAS SOUPS 62704 WITH SCORE 62778.037
AT ITER 992 NEW BEST:: SOT 205614 SOS 73998 HAS SOPS 73998 HAS SOUS 62704 HAS SOUPS 62704 WITH SCORE 62777.998
AT ITER 996 NEW BEST:: SOT 205449 SOS 73776 HAS SOPS 73776 HAS SOUS 62590 HAS SOUPS 62590 WITH SCORE 62663.776
AT ITER 1008 NEW BEST:: SOT 205385 SOS 73712 HAS SOPS 73712 HAS SOUS 62526 HAS SOUPS 62526 WITH SCORE 62599.712
AT ITER 1025 NEW BEST:: SOT 205484 SOS 73773 HAS SOPS 73773 HAS SOUS 62450 HAS SOUPS 62450 WITH SCORE 62523.773
AT ITER 1026 NEW BEST:: SOT 205322 SOS 73605 HAS SOPS 73605 HAS SOUS 62282 HAS SOUPS 62282 WITH SCORE 62355.605
AT ITER 1035 NEW BEST:: SOT 205137 SOS 73327 HAS SOPS 73327 HAS SOUS 62109 HAS SOUPS 62109 WITH SCORE 62182.327
AT ITER 1038 NEW BEST:: SOT 205132 SOS 73322 HAS SOPS 73322 HAS SOUS 62104 HAS SOUPS 62104 WITH SCORE 62177.322
AT ITER 1049 NEW BEST:: SOT 205131 SOS 73320 HAS SOPS 73320 HAS SOUS 62102 HAS SOUPS 62102 WITH SCORE 62175.32
AT ITER 1053 NEW BEST:: SOT 205077 SOS 73293 HAS SOPS 73293 HAS SOUS 62075 HAS SOUPS 62075 WITH SCORE 62148.293
AT ITER 1061 NEW BEST:: SOT 204991 SOS 73224 HAS SOPS 73224 HAS SOUS 62000 HAS SOUPS 62000 WITH SCORE 62073.224
AT ITER 1065 NEW BEST:: SOT 204990 SOS 73223 HAS SOPS 73223 HAS SOUS 61999 HAS SOUPS 61999 WITH SCORE 62072.223
AT ITER 1073 NEW BEST:: SOT 204990 SOS 73324 HAS SOPS 73324 HAS SOUS 61998 HAS SOUPS 61998 WITH SCORE 62071.324
AT ITER 1075 NEW BEST:: SOT 205027 SOS 73314 HAS SOPS 73314 HAS SOUS 61988 HAS SOUPS 61988 WITH SCORE 62061.314
AT ITER 1085 NEW BEST:: SOT 204993 SOS 73279 HAS SOPS 73279 HAS SOUS 61986 HAS SOUPS 61986 WITH SCORE 62059.279
AT ITER 1091 NEW BEST:: SOT 204956 SOS 73205 HAS SOPS 73205 HAS SOUS 61912 HAS SOUPS 61912 WITH SCORE 61985.205
AT ITER 1096 NEW BEST:: SOT 204836 SOS 73084 HAS SOPS 73084 HAS SOUS 61889 HAS SOUPS 61889 WITH SCORE 61962.084
AT ITER 1098 NEW BEST:: SOT 204812 SOS 73060 HAS SOPS 73060 HAS SOUS 61865 HAS SOUPS 61865 WITH SCORE 61938.06
AT ITER 1114 NEW BEST:: SOT 204396 SOS 72836 HAS SOPS 72836 HAS SOUS 61700 HAS SOUPS 61700 WITH SCORE 61772.836
AT ITER 1161 NEW BEST:: SOT 204395 SOS 72835 HAS SOPS 72835 HAS SOUS 61699 HAS SOUPS 61699 WITH SCORE 61771.835
AT ITER 1220 NEW BEST:: SOT 204415 SOS 72756 HAS SOPS 72756 HAS SOUS 61620 HAS SOUPS 61620 WITH SCORE 61692.756
AT ITER 1232 NEW BEST:: SOT 204407 SOS 72747 HAS SOPS 72747 HAS SOUS 61618 HAS SOUPS 61618 WITH SCORE 61690.747
AT ITER 1236 NEW BEST:: SOT 204442 SOS 72731 HAS SOPS 72731 HAS SOUS 61539 HAS SOUPS 61539 WITH SCORE 61611.731
AT ITER 1243 NEW BEST:: SOT 204315 SOS 72477 HAS SOPS 72477 HAS SOUS 61412 HAS SOUPS 61412 WITH SCORE 61484.477
AT ITER 1246 NEW BEST:: SOT 204224 SOS 72080 HAS SOPS 72080 HAS SOUS 61088 HAS SOUPS 61088 WITH SCORE 61160.08
AT ITER 1264 NEW BEST:: SOT 204176 SOS 72032 HAS SOPS 72032 HAS SOUS 61040 HAS SOUPS 61040 WITH SCORE 61112.032
AT ITER 1271 NEW BEST:: SOT 204194 SOS 72012 HAS SOPS 72012 HAS SOUS 61020 HAS SOUPS 61020 WITH SCORE 61092.012
AT ITER 1282 NEW BEST:: SOT 204173 SOS 71949 HAS SOPS 71949 HAS SOUS 60978 HAS SOUPS 60978 WITH SCORE 61049.949
AT ITER 1283 NEW BEST:: SOT 204173 SOS 71927 HAS SOPS 71927 HAS SOUS 60934 HAS SOUPS 60934 WITH SCORE 61005.927
AT ITER 1306 NEW BEST:: SOT 204147 SOS 71914 HAS SOPS 71914 HAS SOUS 60906 HAS SOUPS 60906 WITH SCORE 60977.914
AT ITER 1309 NEW BEST:: SOT 204137 SOS 71914 HAS SOPS 71914 HAS SOUS 60896 HAS SOUPS 60896 WITH SCORE 60967.914
AT ITER 1310 NEW BEST:: SOT 204130 SOS 71907 HAS SOPS 71907 HAS SOUS 60889 HAS SOUPS 60889 WITH SCORE 60960.907
AT ITER 1321 NEW BEST:: SOT 204150 SOS 71860 HAS SOPS 71860 HAS SOUS 60842 HAS SOUPS 60842 WITH SCORE 60913.86
AT ITER 1342 NEW BEST:: SOT 203961 SOS 71324 HAS SOPS 71324 HAS SOUS 60228 HAS SOUPS 60228 WITH SCORE 60299.324
AT ITER 1347 NEW BEST:: SOT 203751 SOS 71100 HAS SOPS 71100 HAS SOUS 60004 HAS SOUPS 60004 WITH SCORE 60075.1
AT ITER 1374 NEW BEST:: SOT 203702 SOS 70904 HAS SOPS 70904 HAS SOUS 59955 HAS SOUPS 59955 WITH SCORE 60025.904
AT ITER 1385 NEW BEST:: SOT 203702 SOS 70884 HAS SOPS 70884 HAS SOUS 59935 HAS SOUPS 59935 WITH SCORE 60005.884
AT ITER 1388 NEW BEST:: SOT 203688 SOS 70870 HAS SOPS 70870 HAS SOUS 59921 HAS SOUPS 59921 WITH SCORE 59991.87
AT ITER 1396 NEW BEST:: SOT 203678 SOS 70848 HAS SOPS 70848 HAS SOUS 59899 HAS SOUPS 59899 WITH SCORE 59969.848
AT ITER 1405 NEW BEST:: SOT 203608 SOS 70822 HAS SOPS 70822 HAS SOUS 59797 HAS SOUPS 59797 WITH SCORE 59867.822
AT ITER 1410 NEW BEST:: SOT 203544 SOS 70819 HAS SOPS 70819 HAS SOUS 59769 HAS SOUPS 59769 WITH SCORE 59839.819
AT ITER 1431 NEW BEST:: SOT 203544 SOS 70812 HAS SOPS 70812 HAS SOUS 59762 HAS SOUPS 59762 WITH SCORE 59832.812
AT ITER 1435 NEW BEST:: SOT 203455 SOS 70649 HAS SOPS 70649 HAS SOUS 59599 HAS SOUPS 59599 WITH SCORE 59669.649
AT ITER 1436 NEW BEST:: SOT 203254 SOS 70444 HAS SOPS 70444 HAS SOUS 59581 HAS SOUPS 59581 WITH SCORE 59651.444
AT ITER 1442 NEW BEST:: SOT 203215 SOS 70405 HAS SOPS 70405 HAS SOUS 59581 HAS SOUPS 59581 WITH SCORE 59651.405
AT ITER 1448 NEW BEST:: SOT 203182 SOS 70372 HAS SOPS 70372 HAS SOUS 59581 HAS SOUPS 59581 WITH SCORE 59651.372
AT ITER 1455 NEW BEST:: SOT 203181 SOS 70280 HAS SOPS 70280 HAS SOUS 59489 HAS SOUPS 59489 WITH SCORE 59559.28
AT ITER 1463 NEW BEST:: SOT 203216 SOS 70269 HAS SOPS 70269 HAS SOUS 59478 HAS SOUPS 59478 WITH SCORE 59548.269
AT ITER 1476 NEW BEST:: SOT 203203 SOS 70256 HAS SOPS 70256 HAS SOUS 59465 HAS SOUPS 59465 WITH SCORE 59535.256
AT ITER 1484 NEW BEST:: SOT 203054 SOS 70151 HAS SOPS 70151 HAS SOUS 59360 HAS SOUPS 59360 WITH SCORE 59430.151
AT ITER 1487 NEW BEST:: SOT 203058 SOS 70133 HAS SOPS 70133 HAS SOUS 59338 HAS SOUPS 59338 WITH SCORE 59408.133
AT ITER 1490 NEW BEST:: SOT 200238 SOS 67354 HAS SOPS 67354 HAS SOUS 56647 HAS SOUPS 56647 WITH SCORE 56714.354
AT ITER 1512 NEW BEST:: SOT 200182 SOS 67298 HAS SOPS 67298 HAS SOUS 56591 HAS SOUPS 56591 WITH SCORE 56658.298
AT ITER 1521 NEW BEST:: SOT 200224 SOS 67079 HAS SOPS 67079 HAS SOUS 56372 HAS SOUPS 56372 WITH SCORE 56439.079
AT ITER 1561 NEW BEST:: SOT 200222 SOS 67119 HAS SOPS 67119 HAS SOUS 56370 HAS SOUPS 56370 WITH SCORE 56437.119
AT ITER 1562 NEW BEST:: SOT 200204 SOS 67091 HAS SOPS 67091 HAS SOUS 56342 HAS SOUPS 56342 WITH SCORE 56409.091
AT ITER 1565 NEW BEST:: SOT 200131 SOS 67018 HAS SOPS 67018 HAS SOUS 56318 HAS SOUPS 56318 WITH SCORE 56385.018
AT ITER 1575 NEW BEST:: SOT 200053 SOS 66862 HAS SOPS 66862 HAS SOUS 56211 HAS SOUPS 56211 WITH SCORE 56277.862
AT ITER 1578 NEW BEST:: SOT 200012 SOS 66780 HAS SOPS 66780 HAS SOUS 56133 HAS SOUPS 56133 WITH SCORE 56199.78
AT ITER 1584 NEW BEST:: SOT 199985 SOS 66726 HAS SOPS 66726 HAS SOUS 56079 HAS SOUPS 56079 WITH SCORE 56145.726
AT ITER 1588 NEW BEST:: SOT 199985 SOS 66669 HAS SOPS 66669 HAS SOUS 56055 HAS SOUPS 56055 WITH SCORE 56121.669
AT ITER 1601 NEW BEST:: SOT 199883 SOS 66484 HAS SOPS 66484 HAS SOUS 55953 HAS SOUPS 55953 WITH SCORE 56019.484
AT ITER 1610 NEW BEST:: SOT 199853 SOS 66516 HAS SOPS 66516 HAS SOUS 55939 HAS SOUPS 55939 WITH SCORE 56005.516
AT ITER 1611 NEW BEST:: SOT 199852 SOS 66518 HAS SOPS 66518 HAS SOUS 55937 HAS SOUPS 55937 WITH SCORE 56003.518
AT ITER 1613 NEW BEST:: SOT 199843 SOS 66508 HAS SOPS 66508 HAS SOUS 55927 HAS SOUPS 55927 WITH SCORE 55993.508
AT ITER 1635 NEW BEST:: SOT 199758 SOS 66338 HAS SOPS 66338 HAS SOUS 55762 HAS SOUPS 55762 WITH SCORE 55828.338
AT ITER 1671 NEW BEST:: SOT 199758 SOS 66311 HAS SOPS 66311 HAS SOUS 55735 HAS SOUPS 55735 WITH SCORE 55801.311
AT ITER 1681 NEW BEST:: SOT 199758 SOS 66311 HAS SOPS 66311 HAS SOUS 55688 HAS SOUPS 55688 WITH SCORE 55754.311
AT ITER 1684 NEW BEST:: SOT 199745 SOS 66268 HAS SOPS 66268 HAS SOUS 55645 HAS SOUPS 55645 WITH SCORE 55711.268
AT ITER 1687 NEW BEST:: SOT 199708 SOS 66194 HAS SOPS 66194 HAS SOUS 55571 HAS SOUPS 55571 WITH SCORE 55637.194
AT ITER 1704 NEW BEST:: SOT 199805 SOS 66093 HAS SOPS 66093 HAS SOUS 55470 HAS SOUPS 55470 WITH SCORE 55536.093
AT ITER 1708 NEW BEST:: SOT 199830 SOS 66083 HAS SOPS 66083 HAS SOUS 55464 HAS SOUPS 55464 WITH SCORE 55530.083
AT ITER 1712 NEW BEST:: SOT 199830 SOS 66055 HAS SOPS 66055 HAS SOUS 55436 HAS SOUPS 55436 WITH SCORE 55502.055
AT ITER 1713 NEW BEST:: SOT 199879 SOS 66003 HAS SOPS 66003 HAS SOUS 55417 HAS SOUPS 55417 WITH SCORE 55483.003
AT ITER 1739 NEW BEST:: SOT 199878 SOS 66001 HAS SOPS 66001 HAS SOUS 55412 HAS SOUPS 55412 WITH SCORE 55478.001
AT ITER 1748 NEW BEST:: SOT 199822 SOS 65800 HAS SOPS 65800 HAS SOUS 55359 HAS SOUPS 55359 WITH SCORE 55424.8
AT ITER 1759 NEW BEST:: SOT 199810 SOS 65788 HAS SOPS 65788 HAS SOUS 55347 HAS SOUPS 55347 WITH SCORE 55412.788
AT ITER 1760 NEW BEST:: SOT 199539 SOS 71367 HAS SOPS 71367 HAS SOUS 55206 HAS SOUPS 55206 WITH SCORE 55277.367
AT ITER 1764 NEW BEST:: SOT 199524 SOS 71367 HAS SOPS 71367 HAS SOUS 55191 HAS SOUPS 55191 WITH SCORE 55262.367
AT ITER 1769 NEW BEST:: SOT 199507 SOS 71177 HAS SOPS 71177 HAS SOUS 55041 HAS SOUPS 55041 WITH SCORE 55112.177
AT ITER 1780 NEW BEST:: SOT 199492 SOS 71175 HAS SOPS 71175 HAS SOUS 55025 HAS SOUPS 55025 WITH SCORE 55096.175
AT ITER 1825 NEW BEST:: SOT 199500 SOS 71051 HAS SOPS 71051 HAS SOUS 54903 HAS SOUPS 54903 WITH SCORE 54974.051
AT ITER 1829 NEW BEST:: SOT 199406 SOS 70957 HAS SOPS 70957 HAS SOUS 54883 HAS SOUPS 54883 WITH SCORE 54953.957
AT ITER 1858 NEW BEST:: SOT 199319 SOS 70727 HAS SOPS 70727 HAS SOUS 54810 HAS SOUPS 54810 WITH SCORE 54880.727
AT ITER 1867 NEW BEST:: SOT 199216 SOS 70521 HAS SOPS 70521 HAS SOUS 54707 HAS SOUPS 54707 WITH SCORE 54777.521
AT ITER 1878 NEW BEST:: SOT 199199 SOS 70504 HAS SOPS 70504 HAS SOUS 54707 HAS SOUPS 54707 WITH SCORE 54777.504
AT ITER 1885 NEW BEST:: SOT 198924 SOS 70333 HAS SOPS 70333 HAS SOUS 54600 HAS SOUPS 54600 WITH SCORE 54670.333
AT ITER 1890 NEW BEST:: SOT 198899 SOS 70283 HAS SOPS 70283 HAS SOUS 54550 HAS SOUPS 54550 WITH SCORE 54620.283
AT ITER 1906 NEW BEST:: SOT 199054 SOS 70383 HAS SOPS 70383 HAS SOUS 54529 HAS SOUPS 54529 WITH SCORE 54599.383
AT ITER 1918 NEW BEST:: SOT 198979 SOS 70404 HAS SOPS 70404 HAS SOUS 54460 HAS SOUPS 54460 WITH SCORE 54530.404
AT ITER 1921 NEW BEST:: SOT 198873 SOS 70192 HAS SOPS 70192 HAS SOUS 54368 HAS SOUPS 54368 WITH SCORE 54438.192
AT ITER 1929 NEW BEST:: SOT 198981 SOS 70190 HAS SOPS 70190 HAS SOUS 54366 HAS SOUPS 54366 WITH SCORE 54436.19
AT ITER 1937 NEW BEST:: SOT 198991 SOS 70065 HAS SOPS 70065 HAS SOUS 54241 HAS SOUPS 54241 WITH SCORE 54311.065
AT ITER 1940 NEW BEST:: SOT 198852 SOS 69787 HAS SOPS 69787 HAS SOUS 54204 HAS SOUPS 54204 WITH SCORE 54273.787
AT ITER 1944 NEW BEST:: SOT 198848 SOS 69783 HAS SOPS 69783 HAS SOUS 54200 HAS SOUPS 54200 WITH SCORE 54269.783
AT ITER 1956 NEW BEST:: SOT 198889 SOS 69783 HAS SOPS 69783 HAS SOUS 54159 HAS SOUPS 54159 WITH SCORE 54228.783
AT ITER 1971 NEW BEST:: SOT 198922 SOS 69770 HAS SOPS 69770 HAS SOUS 54146 HAS SOUPS 54146 WITH SCORE 54215.77
AT ITER 1979 NEW BEST:: SOT 198958 SOS 69768 HAS SOPS 69768 HAS SOUS 54144 HAS SOUPS 54144 WITH SCORE 54213.768
AT ITER 1980 NEW BEST:: SOT 198958 SOS 69768 HAS SOPS 69768 HAS SOUS 54143 HAS SOUPS 54143 WITH SCORE 54212.768
AT ITER 1993 NEW BEST:: SOT 199041 SOS 69775 HAS SOPS 69775 HAS SOUS 54047 HAS SOUPS 54047 WITH SCORE 54116.775
AT ITER 2038 NEW BEST:: SOT 198927 SOS 69652 HAS SOPS 69652 HAS SOUS 53924 HAS SOUPS 53924 WITH SCORE 53993.652
AT ITER 2041 NEW BEST:: SOT 198880 SOS 69568 HAS SOPS 69568 HAS SOUS 53874 HAS SOUPS 53874 WITH SCORE 53943.568
AT ITER 2043 NEW BEST:: SOT 198880 SOS 69533 HAS SOPS 69533 HAS SOUS 53850 HAS SOUPS 53850 WITH SCORE 53919.533
AT ITER 2047 NEW BEST:: SOT 198862 SOS 69497 HAS SOPS 69497 HAS SOUS 53798 HAS SOUPS 53798 WITH SCORE 53867.497
AT ITER 2054 NEW BEST:: SOT 198842 SOS 69457 HAS SOPS 69457 HAS SOUS 53758 HAS SOUPS 53758 WITH SCORE 53827.457
AT ITER 2109 NEW BEST:: SOT 198878 SOS 69368 HAS SOPS 69368 HAS SOUS 53669 HAS SOUPS 53669 WITH SCORE 53738.368
AT ITER 2116 NEW BEST:: SOT 198921 SOS 69275 HAS SOPS 69275 HAS SOUS 53579 HAS SOUPS 53579 WITH SCORE 53648.275
AT ITER 2138 NEW BEST:: SOT 198888 SOS 69230 HAS SOPS 69230 HAS SOUS 53500 HAS SOUPS 53500 WITH SCORE 53569.23
AT ITER 2141 NEW BEST:: SOT 198888 SOS 69183 HAS SOPS 69183 HAS SOUS 53497 HAS SOUPS 53497 WITH SCORE 53566.183
AT ITER 2146 NEW BEST:: SOT 198888 SOS 69102 HAS SOPS 69102 HAS SOUS 53335 HAS SOUPS 53335 WITH SCORE 53404.102
AT ITER 2149 NEW BEST:: SOT 198799 SOS 69187 HAS SOPS 69187 HAS SOUS 53334 HAS SOUPS 53334 WITH SCORE 53403.187
AT ITER 2150 NEW BEST:: SOT 198794 SOS 69177 HAS SOPS 69177 HAS SOUS 53324 HAS SOUPS 53324 WITH SCORE 53393.177
AT ITER 2166 NEW BEST:: SOT 198794 SOS 69147 HAS SOPS 69147 HAS SOUS 53264 HAS SOUPS 53264 WITH SCORE 53333.147
AT ITER 2188 NEW BEST:: SOT 198755 SOS 69120 HAS SOPS 69120 HAS SOUS 53237 HAS SOUPS 53237 WITH SCORE 53306.12
AT ITER 2197 NEW BEST:: SOT 198755 SOS 68988 HAS SOPS 68988 HAS SOUS 53105 HAS SOUPS 53105 WITH SCORE 53173.988
AT ITER 2248 NEW BEST:: SOT 198737 SOS 68970 HAS SOPS 68970 HAS SOUS 53087 HAS SOUPS 53087 WITH SCORE 53155.97
AT ITER 2265 NEW BEST:: SOT 198737 SOS 68873 HAS SOPS 68873 HAS SOUS 53013 HAS SOUPS 53013 WITH SCORE 53081.873
AT ITER 2267 NEW BEST:: SOT 198688 SOS 68775 HAS SOPS 68775 HAS SOUS 52915 HAS SOUPS 52915 WITH SCORE 52983.775
AT ITER 2271 NEW BEST:: SOT 198680 SOS 68770 HAS SOPS 68770 HAS SOUS 52910 HAS SOUPS 52910 WITH SCORE 52978.77
AT ITER 2289 NEW BEST:: SOT 198761 SOS 68769 HAS SOPS 68769 HAS SOUS 52908 HAS SOUPS 52908 WITH SCORE 52976.769
AT ITER 2291 NEW BEST:: SOT 198665 SOS 68760 HAS SOPS 68760 HAS SOUS 52899 HAS SOUPS 52899 WITH SCORE 52967.76
AT ITER 2297 NEW BEST:: SOT 198649 SOS 68729 HAS SOPS 68729 HAS SOUS 52868 HAS SOUPS 52868 WITH SCORE 52936.729
AT ITER 2315 NEW BEST:: SOT 198461 SOS 69555 HAS SOPS 69555 HAS SOUS 52815 HAS SOUPS 52815 WITH SCORE 52884.555
AT ITER 2321 NEW BEST:: SOT 198456 SOS 69552 HAS SOPS 69552 HAS SOUS 52812 HAS SOUPS 52812 WITH SCORE 52881.552
AT ITER 2323 NEW BEST:: SOT 198419 SOS 69354 HAS SOPS 69354 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52791.354
AT ITER 2353 NEW BEST:: SOT 198419 SOS 69275 HAS SOPS 69275 HAS SOUS 52722 HAS SOUPS 52722 WITH SCORE 52791.275
AT ITER 2354 NEW BEST:: SOT 198417 SOS 69273 HAS SOPS 69273 HAS SOUS 52720 HAS SOUPS 52720 WITH SCORE 52789.273
AT ITER 2356 NEW BEST:: SOT 198634 SOS 69251 HAS SOPS 69251 HAS SOUS 52698 HAS SOUPS 52698 WITH SCORE 52767.251
AT ITER 2358 NEW BEST:: SOT 198605 SOS 69183 HAS SOPS 69183 HAS SOUS 52480 HAS SOUPS 52480 WITH SCORE 52549.183
AT ITER 2383 NEW BEST:: SOT 198577 SOS 68951 HAS SOPS 68951 HAS SOUS 52248 HAS SOUPS 52248 WITH SCORE 52316.951
AT ITER 2384 NEW BEST:: SOT 198548 SOS 68922 HAS SOPS 68922 HAS SOUS 52219 HAS SOUPS 52219 WITH SCORE 52287.922
AT ITER 2392 NEW BEST:: SOT 198503 SOS 68910 HAS SOPS 68910 HAS SOUS 52207 HAS SOUPS 52207 WITH SCORE 52275.91
AT ITER 2395 NEW BEST:: SOT 198545 SOS 68919 HAS SOPS 68919 HAS SOUS 52087 HAS SOUPS 52087 WITH SCORE 52155.919
AT ITER 2403 NEW BEST:: SOT 198545 SOS 68837 HAS SOPS 68837 HAS SOUS 51966 HAS SOUPS 51966 WITH SCORE 52034.837
AT ITER 2429 NEW BEST:: SOT 198538 SOS 68823 HAS SOPS 68823 HAS SOUS 51952 HAS SOUPS 51952 WITH SCORE 52020.823
AT ITER 2461 NEW BEST:: SOT 198538 SOS 68823 HAS SOPS 68823 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51936.823
AT ITER 2475 NEW BEST:: SOT 198481 SOS 68766 HAS SOPS 68766 HAS SOUS 51868 HAS SOUPS 51868 WITH SCORE 51936.766
AT ITER 2477 NEW BEST:: SOT 198433 SOS 68047 HAS SOPS 68047 HAS SOUS 51789 HAS SOUPS 51789 WITH SCORE 51857.047
AT ITER 2482 NEW BEST:: SOT 198430 SOS 68015 HAS SOPS 68015 HAS SOUS 51757 HAS SOUPS 51757 WITH SCORE 51825.015
AT ITER 2484 NEW BEST:: SOT 198423 SOS 68041 HAS SOPS 68041 HAS SOUS 51750 HAS SOUPS 51750 WITH SCORE 51818.041
AT ITER 2489 NEW BEST:: SOT 198423 SOS 67790 HAS SOPS 67790 HAS SOUS 51499 HAS SOUPS 51499 WITH SCORE 51566.79
AT ITER 2500 NEW BEST:: SOT 198472 SOS 67741 HAS SOPS 67741 HAS SOUS 51450 HAS SOUPS 51450 WITH SCORE 51517.741
AT ITER 2501 NEW BEST:: SOT 198414 SOS 67625 HAS SOPS 67625 HAS SOUS 51394 HAS SOUPS 51394 WITH SCORE 51461.625
AT ITER 2504 NEW BEST:: SOT 198413 SOS 67617 HAS SOPS 67617 HAS SOUS 51384 HAS SOUPS 51384 WITH SCORE 51451.617
AT ITER 2518 NEW BEST:: SOT 198326 SOS 67514 HAS SOPS 67514 HAS SOUS 51270 HAS SOUPS 51270 WITH SCORE 51337.514
AT ITER 2527 NEW BEST:: SOT 198326 SOS 67506 HAS SOPS 67506 HAS SOUS 51262 HAS SOUPS 51262 WITH SCORE 51329.506
AT ITER 2549 NEW BEST:: SOT 198302 SOS 67479 HAS SOPS 67479 HAS SOUS 51259 HAS SOUPS 51259 WITH SCORE 51326.479
AT ITER 2553 NEW BEST:: SOT 198302 SOS 67462 HAS SOPS 67462 HAS SOUS 51242 HAS SOUPS 51242 WITH SCORE 51309.462
AT ITER 2569 NEW BEST:: SOT 198193 SOS 67237 HAS SOPS 67237 HAS SOUS 51017 HAS SOUPS 51017 WITH SCORE 51084.237
AT ITER 2576 NEW BEST:: SOT 198193 SOS 67230 HAS SOPS 67230 HAS SOUS 51017 HAS SOUPS 51017 WITH SCORE 51084.23
AT ITER 2579 NEW BEST:: SOT 198140 SOS 67161 HAS SOPS 67161 HAS SOUS 51005 HAS SOUPS 51005 WITH SCORE 51072.161
AT ITER 2584 NEW BEST:: SOT 198175 SOS 67128 HAS SOPS 67128 HAS SOUS 50972 HAS SOUPS 50972 WITH SCORE 51039.128
AT ITER 2590 NEW BEST:: SOT 198190 SOS 67010 HAS SOPS 67010 HAS SOUS 50854 HAS SOUPS 50854 WITH SCORE 50921.01
AT ITER 2596 NEW BEST:: SOT 198187 SOS 67004 HAS SOPS 67004 HAS SOUS 50848 HAS SOUPS 50848 WITH SCORE 50915.004
AT ITER 2597 NEW BEST:: SOT 198178 SOS 66995 HAS SOPS 66995 HAS SOUS 50839 HAS SOUPS 50839 WITH SCORE 50905.995
AT ITER 2617 NEW BEST:: SOT 198052 SOS 66661 HAS SOPS 66661 HAS SOUS 50752 HAS SOUPS 50752 WITH SCORE 50818.661
AT ITER 2622 NEW BEST:: SOT 198049 SOS 66659 HAS SOPS 66659 HAS SOUS 50750 HAS SOUPS 50750 WITH SCORE 50816.659
AT ITER 2644 NEW BEST:: SOT 198061 SOS 66683 HAS SOPS 66683 HAS SOUS 50716 HAS SOUPS 50716 WITH SCORE 50782.683
AT ITER 2653 NEW BEST:: SOT 198054 SOS 66669 HAS SOPS 66669 HAS SOUS 50702 HAS SOUPS 50702 WITH SCORE 50768.669
AT ITER 2661 NEW BEST:: SOT 197996 SOS 66553 HAS SOPS 66553 HAS SOUS 50702 HAS SOUPS 50702 WITH SCORE 50768.553
AT ITER 2682 NEW BEST:: SOT 198005 SOS 66365 HAS SOPS 66365 HAS SOUS 50644 HAS SOUPS 50644 WITH SCORE 50710.365
AT ITER 2696 NEW BEST:: SOT 198002 SOS 66359 HAS SOPS 66359 HAS SOUS 50638 HAS SOUPS 50638 WITH SCORE 50704.359
AT ITER 2713 NEW BEST:: SOT 197955 SOS 66138 HAS SOPS 66138 HAS SOUS 50417 HAS SOUPS 50417 WITH SCORE 50483.138
AT ITER 2716 NEW BEST:: SOT 197951 SOS 66091 HAS SOPS 66091 HAS SOUS 50370 HAS SOUPS 50370 WITH SCORE 50436.091
AT ITER 2727 NEW BEST:: SOT 197951 SOS 66067 HAS SOPS 66067 HAS SOUS 50358 HAS SOUPS 50358 WITH SCORE 50424.067
AT ITER 2734 NEW BEST:: SOT 198104 SOS 66199 HAS SOPS 66199 HAS SOUS 50316 HAS SOUPS 50316 WITH SCORE 50382.199
AT ITER 2749 NEW BEST:: SOT 198014 SOS 66064 HAS SOPS 66064 HAS SOUS 50181 HAS SOUPS 50181 WITH SCORE 50247.064
AT ITER 2762 NEW BEST:: SOT 197916 SOS 65864 HAS SOPS 65864 HAS SOUS 49984 HAS SOUPS 49984 WITH SCORE 50049.864
AT ITER 2812 NEW BEST:: SOT 197905 SOS 65842 HAS SOPS 65842 HAS SOUS 49962 HAS SOUPS 49962 WITH SCORE 50027.842
AT ITER 2832 NEW BEST:: SOT 197791 SOS 65785 HAS SOPS 65785 HAS SOUS 49848 HAS SOUPS 49848 WITH SCORE 49913.785
AT ITER 2850 NEW BEST:: SOT 197791 SOS 65784 HAS SOPS 65784 HAS SOUS 49847 HAS SOUPS 49847 WITH SCORE 49912.784
AT ITER 2864 NEW BEST:: SOT 197791 SOS 65759 HAS SOPS 65759 HAS SOUS 49843 HAS SOUPS 49843 WITH SCORE 49908.759
AT ITER 2882 NEW BEST:: SOT 197993 SOS 65960 HAS SOPS 65960 HAS SOUS 49795 HAS SOUPS 49795 WITH SCORE 49860.96
AT ITER 2890 NEW BEST:: SOT 197952 SOS 65879 HAS SOPS 65879 HAS SOUS 49714 HAS SOUPS 49714 WITH SCORE 49779.879
AT ITER 2915 NEW BEST:: SOT 197952 SOS 65879 HAS SOPS 65879 HAS SOUS 49684 HAS SOUPS 49684 WITH SCORE 49749.879
AT ITER 2916 NEW BEST:: SOT 197963 SOS 65866 HAS SOPS 65866 HAS SOUS 49683 HAS SOUPS 49683 WITH SCORE 49748.866
AT ITER 2920 NEW BEST:: SOT 197999 SOS 65879 HAS SOPS 65879 HAS SOUS 49637 HAS SOUPS 49637 WITH SCORE 49702.879
AT ITER 2921 NEW BEST:: SOT 197980 SOS 65874 HAS SOPS 65874 HAS SOUS 49632 HAS SOUPS 49632 WITH SCORE 49697.874
AT ITER 2941 NEW BEST:: SOT 198012 SOS 65906 HAS SOPS 65906 HAS SOUS 49600 HAS SOUPS 49600 WITH SCORE 49665.906
AT ITER 2942 NEW BEST:: SOT 197954 SOS 65848 HAS SOPS 65848 HAS SOUS 49542 HAS SOUPS 49542 WITH SCORE 49607.848
AT ITER 2953 NEW BEST:: SOT 198018 SOS 65911 HAS SOPS 65911 HAS SOUS 49489 HAS SOUPS 49489 WITH SCORE 49554.911
AT ITER 2968 NEW BEST:: SOT 198029 SOS 65903 HAS SOPS 65903 HAS SOUS 49462 HAS SOUPS 49462 WITH SCORE 49527.903
AT ITER 2982 NEW BEST:: SOT 198046 SOS 65893 HAS SOPS 65893 HAS SOUS 49452 HAS SOUPS 49452 WITH SCORE 49517.893
AT ITER 3022 NEW BEST:: SOT 198042 SOS 65881 HAS SOPS 65881 HAS SOUS 49444 HAS SOUPS 49444 WITH SCORE 49509.881
AT ITER 3043 NEW BEST:: SOT 198068 SOS 65933 HAS SOPS 65933 HAS SOUS 49402 HAS SOUPS 49402 WITH SCORE 49467.933
AT ITER 3046 NEW BEST:: SOT 198009 SOS 65873 HAS SOPS 65873 HAS SOUS 49342 HAS SOUPS 49342 WITH SCORE 49407.873
AT ITER 3049 NEW BEST:: SOT 197829 SOS 65664 HAS SOPS 65664 HAS SOUS 49165 HAS SOUPS 49165 WITH SCORE 49230.664
AT ITER 3054 NEW BEST:: SOT 197760 SOS 65526 HAS SOPS 65526 HAS SOUS 49094 HAS SOUPS 49094 WITH SCORE 49159.526
AT ITER 3068 NEW BEST:: SOT 197761 SOS 65517 HAS SOPS 65517 HAS SOUS 49086 HAS SOUPS 49086 WITH SCORE 49151.517
AT ITER 3092 NEW BEST:: SOT 197737 SOS 65469 HAS SOPS 65469 HAS SOUS 49038 HAS SOUPS 49038 WITH SCORE 49103.469
AT ITER 3106 NEW BEST:: SOT 197599 SOS 65329 HAS SOPS 65329 HAS SOUS 49033 HAS SOUPS 49033 WITH SCORE 49098.329
AT ITER 3109 NEW BEST:: SOT 197665 SOS 65395 HAS SOPS 65395 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49074.395
AT ITER 3141 NEW BEST:: SOT 197630 SOS 65360 HAS SOPS 65360 HAS SOUS 48974 HAS SOUPS 48974 WITH SCORE 49039.36
AT ITER 3143 NEW BEST:: SOT 197624 SOS 65352 HAS SOPS 65352 HAS SOUS 48972 HAS SOUPS 48972 WITH SCORE 49037.352
AT ITER 3147 NEW BEST:: SOT 197641 SOS 65350 HAS SOPS 65350 HAS SOUS 48970 HAS SOUPS 48970 WITH SCORE 49035.35
AT ITER 3162 NEW BEST:: SOT 197621 SOS 65303 HAS SOPS 65303 HAS SOUS 48950 HAS SOUPS 48950 WITH SCORE 49015.303
AT ITER 3177 NEW BEST:: SOT 197621 SOS 65303 HAS SOPS 65303 HAS SOUS 48940 HAS SOUPS 48940 WITH SCORE 49005.303
AT ITER 3180 NEW BEST:: SOT 197605 SOS 65248 HAS SOPS 65248 HAS SOUS 48885 HAS SOUPS 48885 WITH SCORE 48950.248
AT ITER 3188 NEW BEST:: SOT 197485 SOS 65032 HAS SOPS 65032 HAS SOUS 48669 HAS SOUPS 48669 WITH SCORE 48734.032
AT ITER 3197 NEW BEST:: SOT 197511 SOS 65017 HAS SOPS 65017 HAS SOUS 48654 HAS SOUPS 48654 WITH SCORE 48719.017
AT ITER 3200 NEW BEST:: SOT 197499 SOS 64993 HAS SOPS 64993 HAS SOUS 48630 HAS SOUPS 48630 WITH SCORE 48694.993
AT ITER 3265 NEW BEST:: SOT 197491 SOS 64977 HAS SOPS 64977 HAS SOUS 48618 HAS SOUPS 48618 WITH SCORE 48682.977
AT ITER 3273 NEW BEST:: SOT 197500 SOS 64954 HAS SOPS 64954 HAS SOUS 48554 HAS SOUPS 48554 WITH SCORE 48618.954
AT ITER 3279 NEW BEST:: SOT 197468 SOS 64904 HAS SOPS 64904 HAS SOUS 48504 HAS SOUPS 48504 WITH SCORE 48568.904
AT ITER 3293 NEW BEST:: SOT 197537 SOS 64950 HAS SOPS 64950 HAS SOUS 48458 HAS SOUPS 48458 WITH SCORE 48522.95
AT ITER 3301 NEW BEST:: SOT 197531 SOS 64938 HAS SOPS 64938 HAS SOUS 48446 HAS SOUPS 48446 WITH SCORE 48510.938
AT ITER 3332 NEW BEST:: SOT 197503 SOS 64882 HAS SOPS 64882 HAS SOUS 48418 HAS SOUPS 48418 WITH SCORE 48482.882
AT ITER 3338 NEW BEST:: SOT 197580 SOS 64975 HAS SOPS 64975 HAS SOUS 48387 HAS SOUPS 48387 WITH SCORE 48451.975
AT ITER 3346 NEW BEST:: SOT 197578 SOS 64943 HAS SOPS 64943 HAS SOUS 48357 HAS SOUPS 48357 WITH SCORE 48421.943
AT ITER 3366 NEW BEST:: SOT 197572 SOS 64841 HAS SOPS 64841 HAS SOUS 48289 HAS SOUPS 48289 WITH SCORE 48353.841
AT ITER 3373 NEW BEST:: SOT 197567 SOS 64841 HAS SOPS 64841 HAS SOUS 48284 HAS SOUPS 48284 WITH SCORE 48348.841
AT ITER 3401 NEW BEST:: SOT 197567 SOS 64828 HAS SOPS 64828 HAS SOUS 48271 HAS SOUPS 48271 WITH SCORE 48335.828
AT ITER 3416 NEW BEST:: SOT 197545 SOS 64784 HAS SOPS 64784 HAS SOUS 48227 HAS SOUPS 48227 WITH SCORE 48291.784
AT ITER 3417 NEW BEST:: SOT 197545 SOS 64683 HAS SOPS 64683 HAS SOUS 48126 HAS SOUPS 48126 WITH SCORE 48190.683
AT ITER 3438 NEW BEST:: SOT 197517 SOS 64746 HAS SOPS 64746 HAS SOUS 48111 HAS SOUPS 48111 WITH SCORE 48175.746
AT ITER 3449 NEW BEST:: SOT 197516 SOS 64745 HAS SOPS 64745 HAS SOUS 48110 HAS SOUPS 48110 WITH SCORE 48174.745
AT ITER 3454 NEW BEST:: SOT 197516 SOS 64792 HAS SOPS 64792 HAS SOUS 48109 HAS SOUPS 48109 WITH SCORE 48173.792
AT ITER 3456 NEW BEST:: SOT 197498 SOS 64774 HAS SOPS 64774 HAS SOUS 48100 HAS SOUPS 48100 WITH SCORE 48164.774
AT ITER 3487 NEW BEST:: SOT 197460 SOS 64526 HAS SOPS 64526 HAS SOUS 47930 HAS SOUPS 47930 WITH SCORE 47994.526
AT ITER 3493 NEW BEST:: SOT 197452 SOS 64510 HAS SOPS 64510 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47858.51
AT ITER 3504 NEW BEST:: SOT 197448 SOS 64502 HAS SOPS 64502 HAS SOUS 47786 HAS SOUPS 47786 WITH SCORE 47850.502
AT ITER 3510 NEW BEST:: SOT 197433 SOS 64472 HAS SOPS 64472 HAS SOUS 47756 HAS SOUPS 47756 WITH SCORE 47820.472
AT ITER 3514 NEW BEST:: SOT 197346 SOS 64310 HAS SOPS 64310 HAS SOUS 47594 HAS SOUPS 47594 WITH SCORE 47658.31
AT ITER 3525 NEW BEST:: SOT 197240 SOS 64163 HAS SOPS 64163 HAS SOUS 47447 HAS SOUPS 47447 WITH SCORE 47511.163
AT ITER 3538 NEW BEST:: SOT 197240 SOS 64127 HAS SOPS 64127 HAS SOUS 47411 HAS SOUPS 47411 WITH SCORE 47475.127
AT ITER 3547 NEW BEST:: SOT 197228 SOS 64103 HAS SOPS 64103 HAS SOUS 47387 HAS SOUPS 47387 WITH SCORE 47451.103
AT ITER 3548 NEW BEST:: SOT 197213 SOS 64050 HAS SOPS 64050 HAS SOUS 47215 HAS SOUPS 47215 WITH SCORE 47279.05
AT ITER 3570 NEW BEST:: SOT 197129 SOS 63917 HAS SOPS 63917 HAS SOUS 47131 HAS SOUPS 47131 WITH SCORE 47194.917
AT ITER 3573 NEW BEST:: SOT 197115 SOS 63903 HAS SOPS 63903 HAS SOUS 47117 HAS SOUPS 47117 WITH SCORE 47180.903
AT ITER 3590 NEW BEST:: SOT 197083 SOS 63890 HAS SOPS 63890 HAS SOUS 47104 HAS SOUPS 47104 WITH SCORE 47167.89
AT ITER 3596 NEW BEST:: SOT 197065 SOS 63854 HAS SOPS 63854 HAS SOUS 47050 HAS SOUPS 47050 WITH SCORE 47113.854
AT ITER 3599 NEW BEST:: SOT 196958 SOS 63729 HAS SOPS 63729 HAS SOUS 47014 HAS SOUPS 47014 WITH SCORE 47077.729
AT ITER 3604 NEW BEST:: SOT 196980 SOS 63735 HAS SOPS 63735 HAS SOUS 46998 HAS SOUPS 46998 WITH SCORE 47061.735
AT ITER 3619 NEW BEST:: SOT 196925 SOS 63679 HAS SOPS 63679 HAS SOUS 46997 HAS SOUPS 46997 WITH SCORE 47060.679
AT ITER 3638 NEW BEST:: SOT 196910 SOS 63664 HAS SOPS 63664 HAS SOUS 46937 HAS SOUPS 46937 WITH SCORE 47000.664
AT ITER 3640 NEW BEST:: SOT 196906 SOS 63662 HAS SOPS 63662 HAS SOUS 46935 HAS SOUPS 46935 WITH SCORE 46998.662
AT ITER 3644 NEW BEST:: SOT 196901 SOS 63657 HAS SOPS 63657 HAS SOUS 46930 HAS SOUPS 46930 WITH SCORE 46993.657
AT ITER 3662 NEW BEST:: SOT 196895 SOS 63720 HAS SOPS 63720 HAS SOUS 46924 HAS SOUPS 46924 WITH SCORE 46987.72
AT ITER 3669 NEW BEST:: SOT 196898 SOS 63712 HAS SOPS 63712 HAS SOUS 46916 HAS SOUPS 46916 WITH SCORE 46979.712
AT ITER 3677 NEW BEST:: SOT 196898 SOS 63712 HAS SOPS 63712 HAS SOUS 46849 HAS SOUPS 46849 WITH SCORE 46912.712
AT ITER 3693 NEW BEST:: SOT 196853 SOS 63629 HAS SOPS 63629 HAS SOUS 46804 HAS SOUPS 46804 WITH SCORE 46867.629
AT ITER 3728 NEW BEST:: SOT 196852 SOS 63628 HAS SOPS 63628 HAS SOUS 46803 HAS SOUPS 46803 WITH SCORE 46866.628
AT ITER 3764 NEW BEST:: SOT 196876 SOS 63676 HAS SOPS 63676 HAS SOUS 46794 HAS SOUPS 46794 WITH SCORE 46857.676
AT ITER 3770 NEW BEST:: SOT 196870 SOS 63664 HAS SOPS 63664 HAS SOUS 46788 HAS SOUPS 46788 WITH SCORE 46851.664
AT ITER 3774 NEW BEST:: SOT 196869 SOS 63662 HAS SOPS 63662 HAS SOUS 46786 HAS SOUPS 46786 WITH SCORE 46849.662
AT ITER 3820 NEW BEST:: SOT 196816 SOS 63581 HAS SOPS 63581 HAS SOUS 46705 HAS SOUPS 46705 WITH SCORE 46768.581
AT ITER 3854 NEW BEST:: SOT 196807 SOS 63590 HAS SOPS 63590 HAS SOUS 46687 HAS SOUPS 46687 WITH SCORE 46750.59
AT ITER 3871 NEW BEST:: SOT 196804 SOS 63584 HAS SOPS 63584 HAS SOUS 46681 HAS SOUPS 46681 WITH SCORE 46744.584
AT ITER 3875 NEW BEST:: SOT 196804 SOS 63583 HAS SOPS 63583 HAS SOUS 46680 HAS SOUPS 46680 WITH SCORE 46743.583
AT ITER 3886 NEW BEST:: SOT 196512 SOS 63278 HAS SOPS 63278 HAS SOUS 46640 HAS SOUPS 46640 WITH SCORE 46703.278
AT ITER 3904 NEW BEST:: SOT 196424 SOS 63102 HAS SOPS 63102 HAS SOUS 46464 HAS SOUPS 46464 WITH SCORE 46527.102
AT ITER 3909 NEW BEST:: SOT 196369 SOS 62992 HAS SOPS 62992 HAS SOUS 46408 HAS SOUPS 46408 WITH SCORE 46470.992
AT ITER 3916 NEW BEST:: SOT 196286 SOS 63064 HAS SOPS 63064 HAS SOUS 46370 HAS SOUPS 46370 WITH SCORE 46433.064
AT ITER 3921 NEW BEST:: SOT 196286 SOS 62986 HAS SOPS 62986 HAS SOUS 46292 HAS SOUPS 46292 WITH SCORE 46354.986
AT ITER 3948 NEW BEST:: SOT 196313 SOS 62991 HAS SOPS 62991 HAS SOUS 46271 HAS SOUPS 46271 WITH SCORE 46333.991
AT ITER 3955 NEW BEST:: SOT 196412 SOS 62967 HAS SOPS 62967 HAS SOUS 46247 HAS SOUPS 46247 WITH SCORE 46309.967
AT ITER 3966 NEW BEST:: SOT 196412 SOS 62863 HAS SOPS 62863 HAS SOUS 46233 HAS SOUPS 46233 WITH SCORE 46295.863
AT ITER 3972 NEW BEST:: SOT 196425 SOS 62902 HAS SOPS 62902 HAS SOUS 46220 HAS SOUPS 46220 WITH SCORE 46282.902
AT ITER 3994 NEW BEST:: SOT 196319 SOS 62798 HAS SOPS 62798 HAS SOUS 46116 HAS SOUPS 46116 WITH SCORE 46178.798
AT ITER 4004 NEW BEST:: SOT 196303 SOS 62876 HAS SOPS 62876 HAS SOUS 46100 HAS SOUPS 46100 WITH SCORE 46162.876
AT ITER 4013 NEW BEST:: SOT 196255 SOS 62798 HAS SOPS 62798 HAS SOUS 46063 HAS SOUPS 46063 WITH SCORE 46125.798
AT ITER 4018 NEW BEST:: SOT 196254 SOS 62796 HAS SOPS 62796 HAS SOUS 46061 HAS SOUPS 46061 WITH SCORE 46123.796
AT ITER 4037 NEW BEST:: SOT 196232 SOS 62774 HAS SOPS 62774 HAS SOUS 46039 HAS SOUPS 46039 WITH SCORE 46101.774
AT ITER 4039 NEW BEST:: SOT 196227 SOS 62751 HAS SOPS 62751 HAS SOUS 46016 HAS SOUPS 46016 WITH SCORE 46078.751
AT ITER 4041 NEW BEST:: SOT 196148 SOS 62539 HAS SOPS 62539 HAS SOUS 45883 HAS SOUPS 45883 WITH SCORE 45945.539
AT ITER 4083 NEW BEST:: SOT 196047 SOS 62217 HAS SOPS 62217 HAS SOUS 45761 HAS SOUPS 45761 WITH SCORE 45823.217
AT ITER 4084 NEW BEST:: SOT 196048 SOS 62214 HAS SOPS 62214 HAS SOUS 45758 HAS SOUPS 45758 WITH SCORE 45820.214
AT ITER 4086 NEW BEST:: SOT 196045 SOS 62204 HAS SOPS 62204 HAS SOUS 45748 HAS SOUPS 45748 WITH SCORE 45810.204
AT ITER 4143 NEW BEST:: SOT 195906 SOS 62062 HAS SOPS 62062 HAS SOUS 45637 HAS SOUPS 45637 WITH SCORE 45699.062
AT ITER 4166 NEW BEST:: SOT 195872 SOS 62028 HAS SOPS 62028 HAS SOUS 45603 HAS SOUPS 45603 WITH SCORE 45665.028
AT ITER 4195 NEW BEST:: SOT 195858 SOS 62000 HAS SOPS 62000 HAS SOUS 45575 HAS SOUPS 45575 WITH SCORE 45637.0
AT ITER 4209 NEW BEST:: SOT 195836 SOS 61978 HAS SOPS 61978 HAS SOUS 45575 HAS SOUPS 45575 WITH SCORE 45636.978
AT ITER 4214 NEW BEST:: SOT 195836 SOS 61973 HAS SOPS 61973 HAS SOUS 45570 HAS SOUPS 45570 WITH SCORE 45631.973
AT ITER 4223 NEW BEST:: SOT 195821 SOS 61943 HAS SOPS 61943 HAS SOUS 45502 HAS SOUPS 45502 WITH SCORE 45563.943
AT ITER 4250 NEW BEST:: SOT 195814 SOS 61929 HAS SOPS 61929 HAS SOUS 45488 HAS SOUPS 45488 WITH SCORE 45549.929
AT ITER 4260 NEW BEST:: SOT 195782 SOS 61817 HAS SOPS 61817 HAS SOUS 45415 HAS SOUPS 45415 WITH SCORE 45476.817
AT ITER 4268 NEW BEST:: SOT 195722 SOS 61727 HAS SOPS 61727 HAS SOUS 45355 HAS SOUPS 45355 WITH SCORE 45416.727
AT ITER 4290 NEW BEST:: SOT 195617 SOS 61517 HAS SOPS 61517 HAS SOUS 45145 HAS SOUPS 45145 WITH SCORE 45206.517
AT ITER 4294 NEW BEST:: SOT 195609 SOS 61509 HAS SOPS 61509 HAS SOUS 45137 HAS SOUPS 45137 WITH SCORE 45198.509
AT ITER 4326 NEW BEST:: SOT 195511 SOS 61193 HAS SOPS 61193 HAS SOUS 44929 HAS SOUPS 44929 WITH SCORE 44990.193
AT ITER 4347 NEW BEST:: SOT 195509 SOS 61188 HAS SOPS 61188 HAS SOUS 44925 HAS SOUPS 44925 WITH SCORE 44986.188
AT ITER 4355 NEW BEST:: SOT 195497 SOS 61164 HAS SOPS 61164 HAS SOUS 44913 HAS SOUPS 44913 WITH SCORE 44974.164
AT ITER 4404 NEW BEST:: SOT 195484 SOS 61145 HAS SOPS 61145 HAS SOUS 44860 HAS SOUPS 44860 WITH SCORE 44921.145
AT ITER 4410 NEW BEST:: SOT 195484 SOS 61132 HAS SOPS 61132 HAS SOUS 44847 HAS SOUPS 44847 WITH SCORE 44908.132
AT ITER 4428 NEW BEST:: SOT 195484 SOS 61132 HAS SOPS 61132 HAS SOUS 44835 HAS SOUPS 44835 WITH SCORE 44896.132
AT ITER 4437 NEW BEST:: SOT 195453 SOS 61101 HAS SOPS 61101 HAS SOUS 44800 HAS SOUPS 44800 WITH SCORE 44861.101
AT ITER 4455 NEW BEST:: SOT 195453 SOS 61071 HAS SOPS 61071 HAS SOUS 44770 HAS SOUPS 44770 WITH SCORE 44831.071
AT ITER 4466 NEW BEST:: SOT 195453 SOS 61057 HAS SOPS 61057 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44817.057
AT ITER 4467 NEW BEST:: SOT 195451 SOS 61055 HAS SOPS 61055 HAS SOUS 44756 HAS SOUPS 44756 WITH SCORE 44817.055
AT ITER 4476 NEW BEST:: SOT 195449 SOS 61051 HAS SOPS 61051 HAS SOUS 44752 HAS SOUPS 44752 WITH SCORE 44813.051
AT ITER 4498 NEW BEST:: SOT 195449 SOS 61044 HAS SOPS 61044 HAS SOUS 44745 HAS SOUPS 44745 WITH SCORE 44806.044
AT ITER 4521 NEW BEST:: SOT 195377 SOS 61001 HAS SOPS 61001 HAS SOUS 44702 HAS SOUPS 44702 WITH SCORE 44763.001
AT ITER 4542 NEW BEST:: SOT 195364 SOS 60975 HAS SOPS 60975 HAS SOUS 44676 HAS SOUPS 44676 WITH SCORE 44736.975
AT ITER 4599 NEW BEST:: SOT 195352 SOS 60951 HAS SOPS 60951 HAS SOUS 44652 HAS SOUPS 44652 WITH SCORE 44712.951
AT ITER 4628 NEW BEST:: SOT 195244 SOS 60735 HAS SOPS 60735 HAS SOUS 44520 HAS SOUPS 44520 WITH SCORE 44580.735
AT ITER 4639 NEW BEST:: SOT 195184 SOS 60667 HAS SOPS 60667 HAS SOUS 44504 HAS SOUPS 44504 WITH SCORE 44564.667
AT ITER 4653 NEW BEST:: SOT 194983 SOS 60242 HAS SOPS 60242 HAS SOUS 44295 HAS SOUPS 44295 WITH SCORE 44355.242
AT ITER 4676 NEW BEST:: SOT 194952 SOS 60152 HAS SOPS 60152 HAS SOUS 44205 HAS SOUPS 44205 WITH SCORE 44265.152
AT ITER 4683 NEW BEST:: SOT 194953 SOS 60157 HAS SOPS 60157 HAS SOUS 44186 HAS SOUPS 44186 WITH SCORE 44246.157
AT ITER 4702 NEW BEST:: SOT 194995 SOS 60189 HAS SOPS 60189 HAS SOUS 44163 HAS SOUPS 44163 WITH SCORE 44223.189
AT ITER 4709 NEW BEST:: SOT 194995 SOS 60188 HAS SOPS 60188 HAS SOUS 44162 HAS SOUPS 44162 WITH SCORE 44222.188
AT ITER 4714 NEW BEST:: SOT 194946 SOS 60139 HAS SOPS 60139 HAS SOUS 44113 HAS SOUPS 44113 WITH SCORE 44173.139
AT ITER 4726 NEW BEST:: SOT 194980 SOS 60173 HAS SOPS 60173 HAS SOUS 44068 HAS SOUPS 44068 WITH SCORE 44128.173
AT ITER 4753 NEW BEST:: SOT 194869 SOS 60099 HAS SOPS 60099 HAS SOUS 43994 HAS SOUPS 43994 WITH SCORE 44054.099
AT ITER 4754 NEW BEST:: SOT 194861 SOS 60083 HAS SOPS 60083 HAS SOUS 43986 HAS SOUPS 43986 WITH SCORE 44046.083
AT ITER 4770 NEW BEST:: SOT 194886 SOS 59967 HAS SOPS 59967 HAS SOUS 43939 HAS SOUPS 43939 WITH SCORE 43998.967
AT ITER 4771 NEW BEST:: SOT 194917 SOS 60040 HAS SOPS 60040 HAS SOUS 43922 HAS SOUPS 43922 WITH SCORE 43982.04
AT ITER 4796 NEW BEST:: SOT 194917 SOS 60015 HAS SOPS 60015 HAS SOUS 43897 HAS SOUPS 43897 WITH SCORE 43957.015
AT ITER 4835 NEW BEST:: SOT 194877 SOS 59975 HAS SOPS 59975 HAS SOUS 43897 HAS SOUPS 43897 WITH SCORE 43956.975
AT ITER 4851 NEW BEST:: SOT 194831 SOS 59883 HAS SOPS 59883 HAS SOUS 43851 HAS SOUPS 43851 WITH SCORE 43910.883
AT ITER 4855 NEW BEST:: SOT 194809 SOS 59846 HAS SOPS 59846 HAS SOUS 43814 HAS SOUPS 43814 WITH SCORE 43873.846
AT ITER 4895 NEW BEST:: SOT 194801 SOS 59830 HAS SOPS 59830 HAS SOUS 43798 HAS SOUPS 43798 WITH SCORE 43857.83
AT ITER 4920 NEW BEST:: SOT 194895 SOS 59732 HAS SOPS 59732 HAS SOUS 43700 HAS SOUPS 43700 WITH SCORE 43759.732
AT ITER 4932 NEW BEST:: SOT 194895 SOS 59660 HAS SOPS 59660 HAS SOUS 43664 HAS SOUPS 43664 WITH SCORE 43723.66
AT ITER 4991 NEW BEST:: SOT 194962 SOS 59641 HAS SOPS 59641 HAS SOUS 43645 HAS SOUPS 43645 WITH SCORE 43704.641
AT ITER 5005 NEW BEST:: SOT 194961 SOS 59640 HAS SOPS 59640 HAS SOUS 43644 HAS SOUPS 43644 WITH SCORE 43703.64
AT ITER 5006 NEW BEST:: SOT 194919 SOS 59580 HAS SOPS 59580 HAS SOUS 43608 HAS SOUPS 43608 WITH SCORE 43667.58
AT ITER 5012 NEW BEST:: SOT 194919 SOS 59575 HAS SOPS 59575 HAS SOUS 43603 HAS SOUPS 43603 WITH SCORE 43662.575
AT ITER 5019 NEW BEST:: SOT 194913 SOS 59533 HAS SOPS 59533 HAS SOUS 43561 HAS SOUPS 43561 WITH SCORE 43620.533
AT ITER 5071 NEW BEST:: SOT 194902 SOS 59532 HAS SOPS 59532 HAS SOUS 43560 HAS SOUPS 43560 WITH SCORE 43619.532
AT ITER 5076 NEW BEST:: SOT 194890 SOS 59508 HAS SOPS 59508 HAS SOUS 43536 HAS SOUPS 43536 WITH SCORE 43595.508
AT ITER 5093 NEW BEST:: SOT 194859 SOS 59493 HAS SOPS 59493 HAS SOUS 43521 HAS SOUPS 43521 WITH SCORE 43580.493
AT ITER 5122 NEW BEST:: SOT 194680 SOS 59044 HAS SOPS 59044 HAS SOUS 43493 HAS SOUPS 43493 WITH SCORE 43552.044
AT ITER 5203 NEW BEST:: SOT 194582 SOS 59002 HAS SOPS 59002 HAS SOUS 43451 HAS SOUPS 43451 WITH SCORE 43510.002
AT ITER 5269 NEW BEST:: SOT 194572 SOS 58987 HAS SOPS 58987 HAS SOUS 43441 HAS SOUPS 43441 WITH SCORE 43499.987
AT ITER 5271 NEW BEST:: SOT 194626 SOS 59027 HAS SOPS 59027 HAS SOUS 43413 HAS SOUPS 43413 WITH SCORE 43472.027
AT ITER 5300 NEW BEST:: SOT 194601 SOS 58986 HAS SOPS 58986 HAS SOUS 43372 HAS SOUPS 43372 WITH SCORE 43430.986
AT ITER 5324 NEW BEST:: SOT 194601 SOS 59065 HAS SOPS 59065 HAS SOUS 43364 HAS SOUPS 43364 WITH SCORE 43423.065
AT ITER 5328 NEW BEST:: SOT 194601 SOS 59033 HAS SOPS 59033 HAS SOUS 43304 HAS SOUPS 43304 WITH SCORE 43363.033
AT ITER 5346 NEW BEST:: SOT 194585 SOS 59009 HAS SOPS 59009 HAS SOUS 43288 HAS SOUPS 43288 WITH SCORE 43347.009
AT ITER 5371 NEW BEST:: SOT 194572 SOS 58991 HAS SOPS 58991 HAS SOUS 43283 HAS SOUPS 43283 WITH SCORE 43341.991
AT ITER 5390 NEW BEST:: SOT 194578 SOS 58975 HAS SOPS 58975 HAS SOUS 43267 HAS SOUPS 43267 WITH SCORE 43325.975
AT ITER 5391 NEW BEST:: SOT 194660 SOS 58978 HAS SOPS 58978 HAS SOUS 43142 HAS SOUPS 43142 WITH SCORE 43200.978
AT ITER 5413 NEW BEST:: SOT 194577 SOS 58926 HAS SOPS 58926 HAS SOUS 43090 HAS SOUPS 43090 WITH SCORE 43148.926
AT ITER 5449 NEW BEST:: SOT 194576 SOS 58924 HAS SOPS 58924 HAS SOUS 43088 HAS SOUPS 43088 WITH SCORE 43146.924
AT ITER 5473 NEW BEST:: SOT 194576 SOS 58908 HAS SOPS 58908 HAS SOUS 43080 HAS SOUPS 43080 WITH SCORE 43138.908
AT ITER 5484 NEW BEST:: SOT 194563 SOS 58882 HAS SOPS 58882 HAS SOUS 43054 HAS SOUPS 43054 WITH SCORE 43112.882
AT ITER 5502 NEW BEST:: SOT 194563 SOS 58874 HAS SOPS 58874 HAS SOUS 43053 HAS SOUPS 43053 WITH SCORE 43111.874
AT ITER 5523 NEW BEST:: SOT 194566 SOS 58826 HAS SOPS 58826 HAS SOUS 43031 HAS SOUPS 43031 WITH SCORE 43089.826
AT ITER 5534 NEW BEST:: SOT 194565 SOS 58824 HAS SOPS 58824 HAS SOUS 43029 HAS SOUPS 43029 WITH SCORE 43087.824
AT ITER 5543 NEW BEST:: SOT 194549 SOS 58792 HAS SOPS 58792 HAS SOUS 42997 HAS SOUPS 42997 WITH SCORE 43055.792
AT ITER 5562 NEW BEST:: SOT 194449 SOS 58813 HAS SOPS 58813 HAS SOUS 42897 HAS SOUPS 42897 WITH SCORE 42955.813
AT ITER 5573 NEW BEST:: SOT 194417 SOS 58775 HAS SOPS 58775 HAS SOUS 42859 HAS SOUPS 42859 WITH SCORE 42917.775
AT ITER 5607 NEW BEST:: SOT 194401 SOS 58770 HAS SOPS 58770 HAS SOUS 42854 HAS SOUPS 42854 WITH SCORE 42912.77
AT ITER 5657 NEW BEST:: SOT 194389 SOS 58744 HAS SOPS 58744 HAS SOUS 42828 HAS SOUPS 42828 WITH SCORE 42886.744
AT ITER 5674 NEW BEST:: SOT 194484 SOS 58810 HAS SOPS 58810 HAS SOUS 42804 HAS SOUPS 42804 WITH SCORE 42862.81
AT ITER 5687 NEW BEST:: SOT 194510 SOS 58780 HAS SOPS 58780 HAS SOUS 42740 HAS SOUPS 42740 WITH SCORE 42798.78
AT ITER 5704 NEW BEST:: SOT 194548 SOS 58856 HAS SOPS 58856 HAS SOUS 42691 HAS SOUPS 42691 WITH SCORE 42749.856
AT ITER 5715 NEW BEST:: SOT 194544 SOS 58804 HAS SOPS 58804 HAS SOUS 42628 HAS SOUPS 42628 WITH SCORE 42686.804
AT ITER 5737 NEW BEST:: SOT 194544 SOS 58788 HAS SOPS 58788 HAS SOUS 42612 HAS SOUPS 42612 WITH SCORE 42670.788
AT ITER 5745 NEW BEST:: SOT 194544 SOS 58957 HAS SOPS 58957 HAS SOUS 42611 HAS SOUPS 42611 WITH SCORE 42669.957
AT ITER 5749 NEW BEST:: SOT 194498 SOS 58868 HAS SOPS 58868 HAS SOUS 42522 HAS SOUPS 42522 WITH SCORE 42580.868
AT ITER 5753 NEW BEST:: SOT 194498 SOS 58868 HAS SOPS 58868 HAS SOUS 42518 HAS SOUPS 42518 WITH SCORE 42576.868
AT ITER 5757 NEW BEST:: SOT 194436 SOS 58806 HAS SOPS 58806 HAS SOUS 42487 HAS SOUPS 42487 WITH SCORE 42545.806
AT ITER 5793 NEW BEST:: SOT 194436 SOS 58792 HAS SOPS 58792 HAS SOUS 42487 HAS SOUPS 42487 WITH SCORE 42545.792
AT ITER 5796 NEW BEST:: SOT 194382 SOS 58738 HAS SOPS 58738 HAS SOUS 42487 HAS SOUPS 42487 WITH SCORE 42545.738
AT ITER 5797 NEW BEST:: SOT 194348 SOS 58701 HAS SOPS 58701 HAS SOUS 42409 HAS SOUPS 42409 WITH SCORE 42467.701
AT ITER 5801 NEW BEST:: SOT 194377 SOS 58695 HAS SOPS 58695 HAS SOUS 42365 HAS SOUPS 42365 WITH SCORE 42423.695
AT ITER 5804 NEW BEST:: SOT 194410 SOS 58690 HAS SOPS 58690 HAS SOUS 42360 HAS SOUPS 42360 WITH SCORE 42418.69
AT ITER 5822 NEW BEST:: SOT 194402 SOS 58649 HAS SOPS 58649 HAS SOUS 42350 HAS SOUPS 42350 WITH SCORE 42408.649
AT ITER 5829 NEW BEST:: SOT 194347 SOS 58554 HAS SOPS 58554 HAS SOUS 42339 HAS SOUPS 42339 WITH SCORE 42397.554
AT ITER 5830 NEW BEST:: SOT 194347 SOS 58534 HAS SOPS 58534 HAS SOUS 42319 HAS SOUPS 42319 WITH SCORE 42377.534
AT ITER 5836 NEW BEST:: SOT 194363 SOS 58518 HAS SOPS 58518 HAS SOUS 42303 HAS SOUPS 42303 WITH SCORE 42361.518
AT ITER 5843 NEW BEST:: SOT 194322 SOS 58485 HAS SOPS 58485 HAS SOUS 42270 HAS SOUPS 42270 WITH SCORE 42328.485
AT ITER 5853 NEW BEST:: SOT 194294 SOS 58351 HAS SOPS 58351 HAS SOUS 42136 HAS SOUPS 42136 WITH SCORE 42194.351
AT ITER 5862 NEW BEST:: SOT 194180 SOS 58123 HAS SOPS 58123 HAS SOUS 42129 HAS SOUPS 42129 WITH SCORE 42187.123
AT ITER 5869 NEW BEST:: SOT 194155 SOS 58119 HAS SOPS 58119 HAS SOUS 42125 HAS SOUPS 42125 WITH SCORE 42183.119
AT ITER 5893 NEW BEST:: SOT 194156 SOS 58055 HAS SOPS 58055 HAS SOUS 42061 HAS SOUPS 42061 WITH SCORE 42119.055
AT ITER 5975 NEW BEST:: SOT 194057 SOS 57952 HAS SOPS 57952 HAS SOUS 41952 HAS SOUPS 41952 WITH SCORE 42009.952
AT ITER 5992 NEW BEST:: SOT 194090 SOS 57974 HAS SOPS 57974 HAS SOUS 41950 HAS SOUPS 41950 WITH SCORE 42007.974
AT ITER 5999 NEW BEST:: SOT 194077 SOS 57958 HAS SOPS 57958 HAS SOUS 41934 HAS SOUPS 41934 WITH SCORE 41991.958
AT ITER 6004 NEW BEST:: SOT 194043 SOS 57924 HAS SOPS 57924 HAS SOUS 41934 HAS SOUPS 41934 WITH SCORE 41991.924
AT ITER 6010 NEW BEST:: SOT 194016 SOS 57860 HAS SOPS 57860 HAS SOUS 41897 HAS SOUPS 41897 WITH SCORE 41954.86
AT ITER 6014 NEW BEST:: SOT 194007 SOS 57828 HAS SOPS 57828 HAS SOUS 41865 HAS SOUPS 41865 WITH SCORE 41922.828
AT ITER 6021 NEW BEST:: SOT 193987 SOS 57788 HAS SOPS 57788 HAS SOUS 41825 HAS SOUPS 41825 WITH SCORE 41882.788
AT ITER 6027 NEW BEST:: SOT 193996 SOS 57757 HAS SOPS 57757 HAS SOUS 41815 HAS SOUPS 41815 WITH SCORE 41872.757
AT ITER 6060 NEW BEST:: SOT 193995 SOS 57756 HAS SOPS 57756 HAS SOUS 41815 HAS SOUPS 41815 WITH SCORE 41872.756
AT ITER 6096 NEW BEST:: SOT 193994 SOS 57717 HAS SOPS 57717 HAS SOUS 41795 HAS SOUPS 41795 WITH SCORE 41852.717
AT ITER 6115 NEW BEST:: SOT 193986 SOS 57709 HAS SOPS 57709 HAS SOUS 41787 HAS SOUPS 41787 WITH SCORE 41844.709
AT ITER 6139 NEW BEST:: SOT 193975 SOS 57676 HAS SOPS 57676 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41811.676
AT ITER 6142 NEW BEST:: SOT 193971 SOS 57672 HAS SOPS 57672 HAS SOUS 41754 HAS SOUPS 41754 WITH SCORE 41811.672
AT ITER 6150 NEW BEST:: SOT 193963 SOS 57640 HAS SOPS 57640 HAS SOUS 41731 HAS SOUPS 41731 WITH SCORE 41788.64
AT ITER 6162 NEW BEST:: SOT 193950 SOS 57625 HAS SOPS 57625 HAS SOUS 41716 HAS SOUPS 41716 WITH SCORE 41773.625
AT ITER 6170 NEW BEST:: SOT 193931 SOS 57598 HAS SOPS 57598 HAS SOUS 41689 HAS SOUPS 41689 WITH SCORE 41746.598
AT ITER 6171 NEW BEST:: SOT 193928 SOS 57595 HAS SOPS 57595 HAS SOUS 41652 HAS SOUPS 41652 WITH SCORE 41709.595
AT ITER 6178 NEW BEST:: SOT 193912 SOS 57563 HAS SOPS 57563 HAS SOUS 41620 HAS SOUPS 41620 WITH SCORE 41677.563
AT ITER 6201 NEW BEST:: SOT 193908 SOS 57585 HAS SOPS 57585 HAS SOUS 41606 HAS SOUPS 41606 WITH SCORE 41663.585
AT ITER 6202 NEW BEST:: SOT 193908 SOS 57582 HAS SOPS 57582 HAS SOUS 41603 HAS SOUPS 41603 WITH SCORE 41660.582
AT ITER 6235 NEW BEST:: SOT 193900 SOS 57581 HAS SOPS 57581 HAS SOUS 41602 HAS SOUPS 41602 WITH SCORE 41659.581
AT ITER 6247 NEW BEST:: SOT 193871 SOS 57851 HAS SOPS 57851 HAS SOUS 41562 HAS SOUPS 41562 WITH SCORE 41619.851
AT ITER 6283 NEW BEST:: SOT 193851 SOS 57811 HAS SOPS 57811 HAS SOUS 41522 HAS SOUPS 41522 WITH SCORE 41579.811
AT ITER 6374 NEW BEST:: SOT 193829 SOS 57716 HAS SOPS 57716 HAS SOUS 41427 HAS SOUPS 41427 WITH SCORE 41484.716
AT ITER 6390 NEW BEST:: SOT 193817 SOS 57702 HAS SOPS 57702 HAS SOUS 41412 HAS SOUPS 41412 WITH SCORE 41469.702
AT ITER 6395 NEW BEST:: SOT 193809 SOS 57686 HAS SOPS 57686 HAS SOUS 41396 HAS SOUPS 41396 WITH SCORE 41453.686
AT ITER 6483 NEW BEST:: SOT 193769 SOS 57618 HAS SOPS 57618 HAS SOUS 41328 HAS SOUPS 41328 WITH SCORE 41385.618
AT ITER 6503 NEW BEST:: SOT 193680 SOS 57440 HAS SOPS 57440 HAS SOUS 41150 HAS SOUPS 41150 WITH SCORE 41207.44
AT ITER 6505 NEW BEST:: SOT 193678 SOS 57436 HAS SOPS 57436 HAS SOUS 41146 HAS SOUPS 41146 WITH SCORE 41203.436
AT ITER 6542 NEW BEST:: SOT 193640 SOS 57360 HAS SOPS 57360 HAS SOUS 41070 HAS SOUPS 41070 WITH SCORE 41127.36
AT ITER 6547 NEW BEST:: SOT 193640 SOS 57360 HAS SOPS 57360 HAS SOUS 41056 HAS SOUPS 41056 WITH SCORE 41113.36
AT ITER 6572 NEW BEST:: SOT 193602 SOS 57284 HAS SOPS 57284 HAS SOUS 40980 HAS SOUPS 40980 WITH SCORE 41037.284
AT ITER 6590 NEW BEST:: SOT 193602 SOS 57231 HAS SOPS 57231 HAS SOUS 40943 HAS SOUPS 40943 WITH SCORE 41000.231
AT ITER 6595 NEW BEST:: SOT 193588 SOS 57159 HAS SOPS 57159 HAS SOUS 40915 HAS SOUPS 40915 WITH SCORE 40972.159
AT ITER 6602 NEW BEST:: SOT 193645 SOS 57217 HAS SOPS 57217 HAS SOUS 40906 HAS SOUPS 40906 WITH SCORE 40963.217
AT ITER 6654 NEW BEST:: SOT 193600 SOS 57127 HAS SOPS 57127 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40918.127
AT ITER 6669 NEW BEST:: SOT 193600 SOS 57122 HAS SOPS 57122 HAS SOUS 40861 HAS SOUPS 40861 WITH SCORE 40918.122
AT ITER 6682 NEW BEST:: SOT 193595 SOS 57117 HAS SOPS 57117 HAS SOUS 40856 HAS SOUPS 40856 WITH SCORE 40913.117
AT ITER 6694 NEW BEST:: SOT 193517 SOS 56961 HAS SOPS 56961 HAS SOUS 40739 HAS SOUPS 40739 WITH SCORE 40795.961
AT ITER 6719 NEW BEST:: SOT 193493 SOS 56929 HAS SOPS 56929 HAS SOUS 40722 HAS SOUPS 40722 WITH SCORE 40778.929
AT ITER 6737 NEW BEST:: SOT 193450 SOS 56863 HAS SOPS 56863 HAS SOUS 40628 HAS SOUPS 40628 WITH SCORE 40684.863
AT ITER 6742 NEW BEST:: SOT 193387 SOS 56800 HAS SOPS 56800 HAS SOUS 40628 HAS SOUPS 40628 WITH SCORE 40684.8
AT ITER 6745 NEW BEST:: SOT 193387 SOS 56776 HAS SOPS 56776 HAS SOUS 40604 HAS SOUPS 40604 WITH SCORE 40660.776
AT ITER 6767 NEW BEST:: SOT 193391 SOS 56763 HAS SOPS 56763 HAS SOUS 40591 HAS SOUPS 40591 WITH SCORE 40647.763
AT ITER 6781 NEW BEST:: SOT 193306 SOS 56593 HAS SOPS 56593 HAS SOUS 40421 HAS SOUPS 40421 WITH SCORE 40477.593
AT ITER 6823 NEW BEST:: SOT 193305 SOS 56591 HAS SOPS 56591 HAS SOUS 40419 HAS SOUPS 40419 WITH SCORE 40475.591
AT ITER 6832 NEW BEST:: SOT 193305 SOS 56591 HAS SOPS 56591 HAS SOUS 40416 HAS SOUPS 40416 WITH SCORE 40472.591
AT ITER 6839 NEW BEST:: SOT 193305 SOS 56552 HAS SOPS 56552 HAS SOUS 40406 HAS SOUPS 40406 WITH SCORE 40462.552
AT ITER 6840 NEW BEST:: SOT 193304 SOS 56549 HAS SOPS 56549 HAS SOUS 40404 HAS SOUPS 40404 WITH SCORE 40460.549
AT ITER 6907 NEW BEST:: SOT 193228 SOS 56435 HAS SOPS 56435 HAS SOUS 40328 HAS SOUPS 40328 WITH SCORE 40384.435
AT ITER 6912 NEW BEST:: SOT 193133 SOS 56302 HAS SOPS 56302 HAS SOUS 40252 HAS SOUPS 40252 WITH SCORE 40308.302
AT ITER 6920 NEW BEST:: SOT 193116 SOS 56285 HAS SOPS 56285 HAS SOUS 40235 HAS SOUPS 40235 WITH SCORE 40291.285
AT ITER 6958 NEW BEST:: SOT 193064 SOS 56163 HAS SOPS 56163 HAS SOUS 40113 HAS SOUPS 40113 WITH SCORE 40169.163
AT ITER 6983 NEW BEST:: SOT 193002 SOS 56146 HAS SOPS 56146 HAS SOUS 39988 HAS SOUPS 39988 WITH SCORE 40044.146
AT ITER 7012 NEW BEST:: SOT 192991 SOS 56157 HAS SOPS 56157 HAS SOUS 39977 HAS SOUPS 39977 WITH SCORE 40033.157
AT ITER 7046 NEW BEST:: SOT 192976 SOS 56052 HAS SOPS 56052 HAS SOUS 39947 HAS SOUPS 39947 WITH SCORE 40003.052
AT ITER 7068 NEW BEST:: SOT 192935 SOS 55970 HAS SOPS 55970 HAS SOUS 39942 HAS SOUPS 39942 WITH SCORE 39997.97
AT ITER 7070 NEW BEST:: SOT 192930 SOS 55965 HAS SOPS 55965 HAS SOUS 39937 HAS SOUPS 39937 WITH SCORE 39992.965
AT ITER 7090 NEW BEST:: SOT 192845 SOS 55722 HAS SOPS 55722 HAS SOUS 39694 HAS SOUPS 39694 WITH SCORE 39749.722
AT ITER 7094 NEW BEST:: SOT 192845 SOS 55531 HAS SOPS 55531 HAS SOUS 39673 HAS SOUPS 39673 WITH SCORE 39728.531
AT ITER 7110 NEW BEST:: SOT 192836 SOS 55521 HAS SOPS 55521 HAS SOUS 39668 HAS SOUPS 39668 WITH SCORE 39723.521
AT ITER 7127 NEW BEST:: SOT 192814 SOS 55696 HAS SOPS 55696 HAS SOUS 39667 HAS SOUPS 39667 WITH SCORE 39722.696
AT ITER 7162 NEW BEST:: SOT 192815 SOS 55695 HAS SOPS 55695 HAS SOUS 39666 HAS SOUPS 39666 WITH SCORE 39721.695
AT ITER 7166 NEW BEST:: SOT 192791 SOS 55623 HAS SOPS 55623 HAS SOUS 39618 HAS SOUPS 39618 WITH SCORE 39673.623
AT ITER 7182 NEW BEST:: SOT 192784 SOS 55616 HAS SOPS 55616 HAS SOUS 39618 HAS SOUPS 39618 WITH SCORE 39673.616
AT ITER 7206 NEW BEST:: SOT 192784 SOS 55616 HAS SOPS 55616 HAS SOUS 39592 HAS SOUPS 39592 WITH SCORE 39647.616
AT ITER 7245 NEW BEST:: SOT 192730 SOS 55580 HAS SOPS 55580 HAS SOUS 39556 HAS SOUPS 39556 WITH SCORE 39611.58
AT ITER 7387 NEW BEST:: SOT 192713 SOS 55514 HAS SOPS 55514 HAS SOUS 39490 HAS SOUPS 39490 WITH SCORE 39545.514
AT ITER 7407 NEW BEST:: SOT 192713 SOS 55514 HAS SOPS 55514 HAS SOUS 39489 HAS SOUPS 39489 WITH SCORE 39544.514
AT ITER 7422 NEW BEST:: SOT 192701 SOS 55501 HAS SOPS 55501 HAS SOUS 39476 HAS SOUPS 39476 WITH SCORE 39531.501
AT ITER 7457 NEW BEST:: SOT 192638 SOS 55438 HAS SOPS 55438 HAS SOUS 39476 HAS SOUPS 39476 WITH SCORE 39531.438
AT ITER 7460 NEW BEST:: SOT 192666 SOS 55509 HAS SOPS 55509 HAS SOUS 39464 HAS SOUPS 39464 WITH SCORE 39519.509
AT ITER 7466 NEW BEST:: SOT 192647 SOS 55471 HAS SOPS 55471 HAS SOUS 39407 HAS SOUPS 39407 WITH SCORE 39462.471
AT ITER 7477 NEW BEST:: SOT 192647 SOS 55471 HAS SOPS 55471 HAS SOUS 39404 HAS SOUPS 39404 WITH SCORE 39459.471
AT ITER 7524 NEW BEST:: SOT 192634 SOS 55458 HAS SOPS 55458 HAS SOUS 39404 HAS SOUPS 39404 WITH SCORE 39459.458
AT ITER 7550 NEW BEST:: SOT 192634 SOS 55391 HAS SOPS 55391 HAS SOUS 39397 HAS SOUPS 39397 WITH SCORE 39452.391
AT ITER 7618 NEW BEST:: SOT 192634 SOS 55390 HAS SOPS 55390 HAS SOUS 39396 HAS SOUPS 39396 WITH SCORE 39451.39
AT ITER 7624 NEW BEST:: SOT 192601 SOS 55249 HAS SOPS 55249 HAS SOUS 39255 HAS SOUPS 39255 WITH SCORE 39310.249
AT ITER 7634 NEW BEST:: SOT 192574 SOS 55222 HAS SOPS 55222 HAS SOUS 39228 HAS SOUPS 39228 WITH SCORE 39283.222
AT ITER 7683 NEW BEST:: SOT 192569 SOS 55211 HAS SOPS 55211 HAS SOUS 39223 HAS SOUPS 39223 WITH SCORE 39278.211
AT ITER 7712 NEW BEST:: SOT 192532 SOS 55123 HAS SOPS 55123 HAS SOUS 39198 HAS SOUPS 39198 WITH SCORE 39253.123
AT ITER 7747 NEW BEST:: SOT 192532 SOS 55121 HAS SOPS 55121 HAS SOUS 39197 HAS SOUPS 39197 WITH SCORE 39252.121
AT ITER 7750 NEW BEST:: SOT 192528 SOS 55117 HAS SOPS 55117 HAS SOUS 39191 HAS SOUPS 39191 WITH SCORE 39246.117
AT ITER 7774 NEW BEST:: SOT 192521 SOS 55103 HAS SOPS 55103 HAS SOUS 39177 HAS SOUPS 39177 WITH SCORE 39232.103
AT ITER 7795 NEW BEST:: SOT 192534 SOS 55064 HAS SOPS 55064 HAS SOUS 39138 HAS SOUPS 39138 WITH SCORE 39193.064
AT ITER 7811 NEW BEST:: SOT 192506 SOS 55037 HAS SOPS 55037 HAS SOUS 39137 HAS SOUPS 39137 WITH SCORE 39192.037
AT ITER 7840 NEW BEST:: SOT 192502 SOS 55029 HAS SOPS 55029 HAS SOUS 39129 HAS SOUPS 39129 WITH SCORE 39184.029
AT ITER 7848 NEW BEST:: SOT 192492 SOS 55017 HAS SOPS 55017 HAS SOUS 39117 HAS SOUPS 39117 WITH SCORE 39172.017
AT ITER 7946 NEW BEST:: SOT 192421 SOS 54875 HAS SOPS 54875 HAS SOUS 39027 HAS SOUPS 39027 WITH SCORE 39081.875
AT ITER 7988 NEW BEST:: SOT 192415 SOS 54863 HAS SOPS 54863 HAS SOUS 39023 HAS SOUPS 39023 WITH SCORE 39077.863
AT ITER 8002 NEW BEST:: SOT 192384 SOS 54832 HAS SOPS 54832 HAS SOUS 39023 HAS SOUPS 39023 WITH SCORE 39077.832
AT ITER 8018 NEW BEST:: SOT 192352 SOS 54768 HAS SOPS 54768 HAS SOUS 38992 HAS SOUPS 38992 WITH SCORE 39046.768
AT ITER 8043 NEW BEST:: SOT 192337 SOS 54738 HAS SOPS 54738 HAS SOUS 38971 HAS SOUPS 38971 WITH SCORE 39025.738
AT ITER 8049 NEW BEST:: SOT 192337 SOS 54684 HAS SOPS 54684 HAS SOUS 38863 HAS SOUPS 38863 WITH SCORE 38917.684
AT ITER 8053 NEW BEST:: SOT 192317 SOS 54654 HAS SOPS 54654 HAS SOUS 38833 HAS SOUPS 38833 WITH SCORE 38887.654
AT ITER 8054 NEW BEST:: SOT 192281 SOS 55082 HAS SOPS 55082 HAS SOUS 38797 HAS SOUPS 38797 WITH SCORE 38852.082
AT ITER 8070 NEW BEST:: SOT 192285 SOS 55090 HAS SOPS 55090 HAS SOUS 38751 HAS SOUPS 38751 WITH SCORE 38806.09
AT ITER 8080 NEW BEST:: SOT 192291 SOS 55088 HAS SOPS 55088 HAS SOUS 38749 HAS SOUPS 38749 WITH SCORE 38804.088
AT ITER 8086 NEW BEST:: SOT 192287 SOS 55049 HAS SOPS 55049 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38765.049
AT ITER 8128 NEW BEST:: SOT 192287 SOS 55031 HAS SOPS 55031 HAS SOUS 38692 HAS SOUPS 38692 WITH SCORE 38747.031
AT ITER 8135 NEW BEST:: SOT 192287 SOS 55028 HAS SOPS 55028 HAS SOUS 38689 HAS SOUPS 38689 WITH SCORE 38744.028
AT ITER 8143 NEW BEST:: SOT 192256 SOS 54997 HAS SOPS 54997 HAS SOUS 38658 HAS SOUPS 38658 WITH SCORE 38712.997
AT ITER 8150 NEW BEST:: SOT 192252 SOS 54989 HAS SOPS 54989 HAS SOUS 38650 HAS SOUPS 38650 WITH SCORE 38704.989
AT ITER 8156 NEW BEST:: SOT 192277 SOS 54979 HAS SOPS 54979 HAS SOUS 38640 HAS SOUPS 38640 WITH SCORE 38694.979
AT ITER 8159 NEW BEST:: SOT 192277 SOS 54953 HAS SOPS 54953 HAS SOUS 38614 HAS SOUPS 38614 WITH SCORE 38668.953
AT ITER 8230 NEW BEST:: SOT 192268 SOS 54935 HAS SOPS 54935 HAS SOUS 38596 HAS SOUPS 38596 WITH SCORE 38650.935
AT ITER 8336 NEW BEST:: SOT 192226 SOS 54878 HAS SOPS 54878 HAS SOUS 38566 HAS SOUPS 38566 WITH SCORE 38620.878
AT ITER 8382 NEW BEST:: SOT 192219 SOS 54871 HAS SOPS 54871 HAS SOUS 38559 HAS SOUPS 38559 WITH SCORE 38613.871
AT ITER 8385 NEW BEST:: SOT 192217 SOS 54869 HAS SOPS 54869 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38611.869
AT ITER 8421 NEW BEST:: SOT 192217 SOS 54864 HAS SOPS 54864 HAS SOUS 38557 HAS SOUPS 38557 WITH SCORE 38611.864
AT ITER 8460 NEW BEST:: SOT 192217 SOS 54827 HAS SOPS 54827 HAS SOUS 38411 HAS SOUPS 38411 WITH SCORE 38465.827
AT ITER 8471 NEW BEST:: SOT 192356 SOS 55096 HAS SOPS 55096 HAS SOUS 38402 HAS SOUPS 38402 WITH SCORE 38457.096
AT ITER 8480 NEW BEST:: SOT 192263 SOS 55096 HAS SOPS 55096 HAS SOUS 38362 HAS SOUPS 38362 WITH SCORE 38417.096
AT ITER 8520 NEW BEST:: SOT 192263 SOS 55000 HAS SOPS 55000 HAS SOUS 38314 HAS SOUPS 38314 WITH SCORE 38369.0
AT ITER 8541 NEW BEST:: SOT 192262 SOS 54997 HAS SOPS 54997 HAS SOUS 38311 HAS SOUPS 38311 WITH SCORE 38365.997
AT ITER 8553 NEW BEST:: SOT 192241 SOS 54976 HAS SOPS 54976 HAS SOUS 38311 HAS SOUPS 38311 WITH SCORE 38365.976
AT ITER 8576 NEW BEST:: SOT 192205 SOS 54940 HAS SOPS 54940 HAS SOUS 38300 HAS SOUPS 38300 WITH SCORE 38354.94
AT ITER 8593 NEW BEST:: SOT 192240 SOS 54926 HAS SOPS 54926 HAS SOUS 38292 HAS SOUPS 38292 WITH SCORE 38346.926
AT ITER 8594 NEW BEST:: SOT 192245 SOS 54925 HAS SOPS 54925 HAS SOUS 38291 HAS SOUPS 38291 WITH SCORE 38345.925
AT ITER 8608 NEW BEST:: SOT 192312 SOS 54915 HAS SOPS 54915 HAS SOUS 38281 HAS SOUPS 38281 WITH SCORE 38335.915
AT ITER 8626 NEW BEST:: SOT 192294 SOS 54840 HAS SOPS 54840 HAS SOUS 38224 HAS SOUPS 38224 WITH SCORE 38278.84
AT ITER 8652 NEW BEST:: SOT 192281 SOS 54827 HAS SOPS 54827 HAS SOUS 38224 HAS SOUPS 38224 WITH SCORE 38278.827
AT ITER 8656 NEW BEST:: SOT 192326 SOS 54702 HAS SOPS 54702 HAS SOUS 38197 HAS SOUPS 38197 WITH SCORE 38251.702
AT ITER 8665 NEW BEST:: SOT 192320 SOS 54696 HAS SOPS 54696 HAS SOUS 38191 HAS SOUPS 38191 WITH SCORE 38245.696
AT ITER 8672 NEW BEST:: SOT 192312 SOS 54680 HAS SOPS 54680 HAS SOUS 38175 HAS SOUPS 38175 WITH SCORE 38229.68
AT ITER 8688 NEW BEST:: SOT 192305 SOS 54673 HAS SOPS 54673 HAS SOUS 38168 HAS SOUPS 38168 WITH SCORE 38222.673
AT ITER 8722 NEW BEST:: SOT 192295 SOS 54653 HAS SOPS 54653 HAS SOUS 38158 HAS SOUPS 38158 WITH SCORE 38212.653
AT ITER 8823 NEW BEST:: SOT 192278 SOS 54602 HAS SOPS 54602 HAS SOUS 38124 HAS SOUPS 38124 WITH SCORE 38178.602
AT ITER 8911 NEW BEST:: SOT 192273 SOS 54595 HAS SOPS 54595 HAS SOUS 38117 HAS SOUPS 38117 WITH SCORE 38171.595
AT ITER 8930 NEW BEST:: SOT 192174 SOS 54467 HAS SOPS 54467 HAS SOUS 38059 HAS SOUPS 38059 WITH SCORE 38113.467
AT ITER 8968 NEW BEST:: SOT 192226 SOS 54365 HAS SOPS 54365 HAS SOUS 38057 HAS SOUPS 38057 WITH SCORE 38111.365
AT ITER 8972 NEW BEST:: SOT 192222 SOS 54361 HAS SOPS 54361 HAS SOUS 38057 HAS SOUPS 38057 WITH SCORE 38111.361
AT ITER 8974 NEW BEST:: SOT 192215 SOS 54373 HAS SOPS 54373 HAS SOUS 38043 HAS SOUPS 38043 WITH SCORE 38097.373
AT ITER 8975 NEW BEST:: SOT 192257 SOS 54365 HAS SOPS 54365 HAS SOUS 38035 HAS SOUPS 38035 WITH SCORE 38089.365
AT ITER 8996 NEW BEST:: SOT 192176 SOS 54219 HAS SOPS 54219 HAS SOUS 37895 HAS SOUPS 37895 WITH SCORE 37949.219
AT ITER 9045 NEW BEST:: SOT 192176 SOS 54219 HAS SOPS 54219 HAS SOUS 37830 HAS SOUPS 37830 WITH SCORE 37884.219
AT ITER 9061 NEW BEST:: SOT 192167 SOS 54201 HAS SOPS 54201 HAS SOUS 37812 HAS SOUPS 37812 WITH SCORE 37866.201
AT ITER 9065 NEW BEST:: SOT 192103 SOS 54144 HAS SOPS 54144 HAS SOUS 37735 HAS SOUPS 37735 WITH SCORE 37789.144
AT ITER 9103 NEW BEST:: SOT 192073 SOS 54084 HAS SOPS 54084 HAS SOUS 37705 HAS SOUPS 37705 WITH SCORE 37759.084
AT ITER 9137 NEW BEST:: SOT 192083 SOS 54049 HAS SOPS 54049 HAS SOUS 37679 HAS SOUPS 37679 WITH SCORE 37733.049
AT ITER 9193 NEW BEST:: SOT 192094 SOS 54060 HAS SOPS 54060 HAS SOUS 37671 HAS SOUPS 37671 WITH SCORE 37725.06
AT ITER 9216 NEW BEST:: SOT 192061 SOS 54027 HAS SOPS 54027 HAS SOUS 37671 HAS SOUPS 37671 WITH SCORE 37725.027
AT ITER 9235 NEW BEST:: SOT 192060 SOS 54025 HAS SOPS 54025 HAS SOUS 37669 HAS SOUPS 37669 WITH SCORE 37723.025
AT ITER 9237 NEW BEST:: SOT 192056 SOS 54017 HAS SOPS 54017 HAS SOUS 37661 HAS SOUPS 37661 WITH SCORE 37715.017
AT ITER 9253 NEW BEST:: SOT 192056 SOS 54016 HAS SOPS 54016 HAS SOUS 37661 HAS SOUPS 37661 WITH SCORE 37715.016
AT ITER 9284 NEW BEST:: SOT 192051 SOS 54006 HAS SOPS 54006 HAS SOUS 37649 HAS SOUPS 37649 WITH SCORE 37703.006
AT ITER 9287 NEW BEST:: SOT 192045 SOS 53966 HAS SOPS 53966 HAS SOUS 37626 HAS SOUPS 37626 WITH SCORE 37679.966
AT ITER 9318 NEW BEST:: SOT 192044 SOS 53965 HAS SOPS 53965 HAS SOUS 37625 HAS SOUPS 37625 WITH SCORE 37678.965
AT ITER 9368 NEW BEST:: SOT 191997 SOS 53918 HAS SOPS 53918 HAS SOUS 37578 HAS SOUPS 37578 WITH SCORE 37631.918
AT ITER 9388 NEW BEST:: SOT 191995 SOS 53914 HAS SOPS 53914 HAS SOUS 37574 HAS SOUPS 37574 WITH SCORE 37627.914
AT ITER 9423 NEW BEST:: SOT 191986 SOS 53926 HAS SOPS 53926 HAS SOUS 37564 HAS SOUPS 37564 WITH SCORE 37617.926
AT ITER 9435 NEW BEST:: SOT 191980 SOS 53921 HAS SOPS 53921 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37612.921
AT ITER 9446 NEW BEST:: SOT 191980 SOS 53920 HAS SOPS 53920 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37612.92
AT ITER 9457 NEW BEST:: SOT 191950 SOS 53860 HAS SOPS 53860 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37552.86
AT ITER 9480 NEW BEST:: SOT 191932 SOS 53826 HAS SOPS 53826 HAS SOUS 37465 HAS SOUPS 37465 WITH SCORE 37518.826
AT ITER 9501 NEW BEST:: SOT 191918 SOS 53765 HAS SOPS 53765 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37457.765
AT ITER 9523 NEW BEST:: SOT 191908 SOS 53762 HAS SOPS 53762 HAS SOUS 37401 HAS SOUPS 37401 WITH SCORE 37454.762
AT ITER 9527 NEW BEST:: SOT 191868 SOS 53721 HAS SOPS 53721 HAS SOUS 37399 HAS SOUPS 37399 WITH SCORE 37452.721
AT ITER 9528 NEW BEST:: SOT 191847 SOS 53710 HAS SOPS 53710 HAS SOUS 37388 HAS SOUPS 37388 WITH SCORE 37441.71
AT ITER 9562 NEW BEST:: SOT 191842 SOS 53700 HAS SOPS 53700 HAS SOUS 37383 HAS SOUPS 37383 WITH SCORE 37436.7
AT ITER 9566 NEW BEST:: SOT 191817 SOS 53650 HAS SOPS 53650 HAS SOUS 37346 HAS SOUPS 37346 WITH SCORE 37399.65
AT ITER 9592 NEW BEST:: SOT 191799 SOS 53616 HAS SOPS 53616 HAS SOUS 37318 HAS SOUPS 37318 WITH SCORE 37371.616
AT ITER 9694 NEW BEST:: SOT 191765 SOS 53574 HAS SOPS 53574 HAS SOUS 37276 HAS SOUPS 37276 WITH SCORE 37329.574
AT ITER 9727 NEW BEST:: SOT 191752 SOS 53561 HAS SOPS 53561 HAS SOUS 37263 HAS SOUPS 37263 WITH SCORE 37316.561
AT ITER 9728 NEW BEST:: SOT 191752 SOS 53561 HAS SOPS 53561 HAS SOUS 37248 HAS SOUPS 37248 WITH SCORE 37301.561
AT ITER 9736 NEW BEST:: SOT 191755 SOS 53523 HAS SOPS 53523 HAS SOUS 37212 HAS SOUPS 37212 WITH SCORE 37265.523
AT ITER 9836 NEW BEST:: SOT 191732 SOS 53500 HAS SOPS 53500 HAS SOUS 37189 HAS SOUPS 37189 WITH SCORE 37242.5
AT ITER 9847 NEW BEST:: SOT 191682 SOS 53425 HAS SOPS 53425 HAS SOUS 37139 HAS SOUPS 37139 WITH SCORE 37192.425
AT ITER 9865 NEW BEST:: SOT 191703 SOS 53412 HAS SOPS 53412 HAS SOUS 37126 HAS SOUPS 37126 WITH SCORE 37179.412
AT ITER 9893 NEW BEST:: SOT 191725 SOS 53390 HAS SOPS 53390 HAS SOUS 37104 HAS SOUPS 37104 WITH SCORE 37157.39
AT ITER 9915 NEW BEST:: SOT 191715 SOS 53360 HAS SOPS 53360 HAS SOUS 37098 HAS SOUPS 37098 WITH SCORE 37151.36
AT ITER 9920 NEW BEST:: SOT 191702 SOS 53354 HAS SOPS 53354 HAS SOUS 37056 HAS SOUPS 37056 WITH SCORE 37109.354
AT ITER 9969 NEW BEST:: SOT 191702 SOS 53302 HAS SOPS 53302 HAS SOUS 36997 HAS SOUPS 36997 WITH SCORE 37050.302
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 13308528 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16126868 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:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-14"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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