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.r523-tall-167987247500056.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 Anderson-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r523-tall-167987247500056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.7M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 13K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 125K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.9K Mar 23 15:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Mar 23 15:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.3M Mar 31 16:48 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 1680825477968

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=Anderson-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202304061127
[2023-04-06 23:57:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-04-06 23:57:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-04-06 23:58:00] [INFO ] Load time of PNML (sax parser for PT used): 144 ms
[2023-04-06 23:58:00] [INFO ] Transformed 621 places.
[2023-04-06 23:58:00] [INFO ] Transformed 2480 transitions.
[2023-04-06 23:58:00] [INFO ] Found NUPN structural information;
[2023-04-06 23:58:00] [INFO ] Parsed PT model containing 621 places and 2480 transitions and 9560 arcs in 235 ms.
[2023-04-06 23:58:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 621 places, 2480 transitions and 9560 arcs took 27 ms.
Total runtime 402 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 10
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: 621 places, 2480 transitions, 9560 arcs.
AT ITER 0 NEW BEST:: SOT 914281 SOS 786730 HAS SOPS 786729 HAS SOUS 156872 HAS SOUPS 156871 WITH SCORE 157657.73
AT ITER 2 NEW BEST:: SOT 914062 SOS 784266 HAS SOPS 784265 HAS SOUS 156466 HAS SOUPS 156465 WITH SCORE 157249.266
AT ITER 3 NEW BEST:: SOT 913966 SOS 784170 HAS SOPS 784169 HAS SOUS 156350 HAS SOUPS 156349 WITH SCORE 157133.17
AT ITER 6 NEW BEST:: SOT 913963 SOS 784463 HAS SOPS 784462 HAS SOUS 156349 HAS SOUPS 156348 WITH SCORE 157132.463
AT ITER 10 NEW BEST:: SOT 913676 SOS 784217 HAS SOPS 784216 HAS SOUS 155923 HAS SOUPS 155922 WITH SCORE 156706.217
AT ITER 45 NEW BEST:: SOT 913556 SOS 784097 HAS SOPS 784096 HAS SOUS 155750 HAS SOUPS 155749 WITH SCORE 156533.097
AT ITER 49 NEW BEST:: SOT 913425 SOS 783977 HAS SOPS 783976 HAS SOUS 155582 HAS SOUPS 155581 WITH SCORE 156364.977
AT ITER 51 NEW BEST:: SOT 913232 SOS 783855 HAS SOPS 783854 HAS SOUS 155382 HAS SOUPS 155381 WITH SCORE 156164.855
AT ITER 59 NEW BEST:: SOT 913159 SOS 783709 HAS SOPS 783708 HAS SOUS 155236 HAS SOUPS 155235 WITH SCORE 156018.709
AT ITER 63 NEW BEST:: SOT 912977 SOS 783653 HAS SOPS 783652 HAS SOUS 155045 HAS SOUPS 155044 WITH SCORE 155827.653
AT ITER 66 NEW BEST:: SOT 912670 SOS 783381 HAS SOPS 783380 HAS SOUS 154589 HAS SOUPS 154588 WITH SCORE 155371.381
AT ITER 69 NEW BEST:: SOT 912629 SOS 783299 HAS SOPS 783298 HAS SOUS 154507 HAS SOUPS 154506 WITH SCORE 155289.299
AT ITER 91 NEW BEST:: SOT 912389 SOS 783180 HAS SOPS 783180 HAS SOUS 154368 HAS SOUPS 154368 WITH SCORE 155151.18
AT ITER 95 NEW BEST:: SOT 912312 SOS 783103 HAS SOPS 783103 HAS SOUS 154221 HAS SOUPS 154221 WITH SCORE 155004.103
AT ITER 104 NEW BEST:: SOT 912152 SOS 783113 HAS SOPS 783113 HAS SOUS 154074 HAS SOUPS 154074 WITH SCORE 154857.113
AT ITER 113 NEW BEST:: SOT 911932 SOS 782893 HAS SOPS 782893 HAS SOUS 153747 HAS SOUPS 153747 WITH SCORE 154529.893
AT ITER 136 NEW BEST:: SOT 911836 SOS 782893 HAS SOPS 782893 HAS SOUS 153711 HAS SOUPS 153711 WITH SCORE 154493.893
AT ITER 145 NEW BEST:: SOT 911621 SOS 782845 HAS SOPS 782845 HAS SOUS 153450 HAS SOUPS 153450 WITH SCORE 154232.845
AT ITER 147 NEW BEST:: SOT 911317 SOS 782541 HAS SOPS 782541 HAS SOUS 153003 HAS SOUPS 153003 WITH SCORE 153785.541
AT ITER 152 NEW BEST:: SOT 911191 SOS 782415 HAS SOPS 782415 HAS SOUS 152854 HAS SOUPS 152854 WITH SCORE 153636.415
AT ITER 156 NEW BEST:: SOT 909809 SOS 781033 HAS SOPS 781033 HAS SOUS 152786 HAS SOUPS 152786 WITH SCORE 153567.033
AT ITER 157 NEW BEST:: SOT 909839 SOS 778833 HAS SOPS 778833 HAS SOUS 152613 HAS SOUPS 152613 WITH SCORE 153391.833
AT ITER 161 NEW BEST:: SOT 909535 SOS 778214 HAS SOPS 778214 HAS SOUS 152597 HAS SOUPS 152597 WITH SCORE 153375.214
AT ITER 169 NEW BEST:: SOT 909383 SOS 776071 HAS SOPS 776071 HAS SOUS 152325 HAS SOUPS 152325 WITH SCORE 153101.071
AT ITER 186 NEW BEST:: SOT 908907 SOS 775907 HAS SOPS 775888 HAS SOUS 151908 HAS SOUPS 151889 WITH SCORE 152664.907
AT ITER 188 NEW BEST:: SOT 908747 SOS 775753 HAS SOPS 775734 HAS SOUS 151754 HAS SOUPS 151735 WITH SCORE 152510.753
AT ITER 191 NEW BEST:: SOT 908712 SOS 775718 HAS SOPS 775699 HAS SOUS 151684 HAS SOUPS 151665 WITH SCORE 152440.718
AT ITER 205 NEW BEST:: SOT 908651 SOS 775596 HAS SOPS 775577 HAS SOUS 151549 HAS SOUPS 151530 WITH SCORE 152305.596
AT ITER 213 NEW BEST:: SOT 908514 SOS 775451 HAS SOPS 775432 HAS SOUS 151370 HAS SOUPS 151351 WITH SCORE 152126.451
AT ITER 215 NEW BEST:: SOT 908432 SOS 775369 HAS SOPS 775350 HAS SOUS 151288 HAS SOUPS 151269 WITH SCORE 152044.369
AT ITER 216 NEW BEST:: SOT 908283 SOS 775423 HAS SOPS 775404 HAS SOUS 151149 HAS SOUPS 151130 WITH SCORE 151905.423
AT ITER 219 NEW BEST:: SOT 908163 SOS 775303 HAS SOPS 775284 HAS SOUS 150969 HAS SOUPS 150950 WITH SCORE 151725.303
AT ITER 220 NEW BEST:: SOT 908127 SOS 775303 HAS SOPS 775284 HAS SOUS 150933 HAS SOUPS 150914 WITH SCORE 151689.303
AT ITER 235 NEW BEST:: SOT 890875 SOS 758357 HAS SOPS 758338 HAS SOUS 133693 HAS SOUPS 133674 WITH SCORE 134432.357
AT ITER 240 NEW BEST:: SOT 890708 SOS 758203 HAS SOPS 758184 HAS SOUS 133517 HAS SOUPS 133498 WITH SCORE 134256.203
AT ITER 244 NEW BEST:: SOT 890514 SOS 758009 HAS SOPS 757990 HAS SOUS 133234 HAS SOUPS 133215 WITH SCORE 133973.009
AT ITER 245 NEW BEST:: SOT 890396 SOS 757891 HAS SOPS 757872 HAS SOUS 133116 HAS SOUPS 133097 WITH SCORE 133854.891
AT ITER 246 NEW BEST:: SOT 890396 SOS 757891 HAS SOPS 757872 HAS SOUS 133098 HAS SOUPS 133079 WITH SCORE 133836.891
AT ITER 247 NEW BEST:: SOT 890332 SOS 757827 HAS SOPS 757808 HAS SOUS 132994 HAS SOUPS 132975 WITH SCORE 133732.827
AT ITER 248 NEW BEST:: SOT 890119 SOS 757717 HAS SOPS 757698 HAS SOUS 132680 HAS SOUPS 132661 WITH SCORE 133418.717
AT ITER 263 NEW BEST:: SOT 890110 SOS 757747 HAS SOPS 757728 HAS SOUS 132672 HAS SOUPS 132653 WITH SCORE 133410.747
AT ITER 273 NEW BEST:: SOT 890014 SOS 757651 HAS SOPS 757632 HAS SOUS 132559 HAS SOUPS 132540 WITH SCORE 133297.651
AT ITER 280 NEW BEST:: SOT 888264 SOS 754512 HAS SOPS 754493 HAS SOUS 132483 HAS SOUPS 132464 WITH SCORE 133218.512
AT ITER 282 NEW BEST:: SOT 888245 SOS 754493 HAS SOPS 754474 HAS SOUS 132464 HAS SOUPS 132445 WITH SCORE 133199.493
AT ITER 295 NEW BEST:: SOT 888194 SOS 754442 HAS SOPS 754423 HAS SOUS 132357 HAS SOUPS 132338 WITH SCORE 133092.442
AT ITER 298 NEW BEST:: SOT 888194 SOS 754442 HAS SOPS 754423 HAS SOUS 132301 HAS SOUPS 132282 WITH SCORE 133036.442
AT ITER 299 NEW BEST:: SOT 888170 SOS 754418 HAS SOPS 754399 HAS SOUS 132253 HAS SOUPS 132234 WITH SCORE 132988.418
AT ITER 301 NEW BEST:: SOT 888046 SOS 754496 HAS SOPS 754477 HAS SOUS 132181 HAS SOUPS 132162 WITH SCORE 132916.496
AT ITER 304 NEW BEST:: SOT 888020 SOS 754496 HAS SOPS 754477 HAS SOUS 132155 HAS SOUPS 132136 WITH SCORE 132890.496
AT ITER 305 NEW BEST:: SOT 888009 SOS 754485 HAS SOPS 754466 HAS SOUS 132117 HAS SOUPS 132098 WITH SCORE 132852.485
AT ITER 328 NEW BEST:: SOT 887821 SOS 754363 HAS SOPS 754344 HAS SOUS 131922 HAS SOUPS 131903 WITH SCORE 132657.363
AT ITER 332 NEW BEST:: SOT 887749 SOS 754219 HAS SOPS 754200 HAS SOUS 131856 HAS SOUPS 131837 WITH SCORE 132591.219
AT ITER 348 NEW BEST:: SOT 887679 SOS 754149 HAS SOPS 754130 HAS SOUS 131779 HAS SOUPS 131760 WITH SCORE 132514.149
AT ITER 350 NEW BEST:: SOT 887679 SOS 754149 HAS SOPS 754130 HAS SOUS 131735 HAS SOUPS 131716 WITH SCORE 132470.149
AT ITER 352 NEW BEST:: SOT 887559 SOS 754051 HAS SOPS 754032 HAS SOUS 131611 HAS SOUPS 131592 WITH SCORE 132346.051
AT ITER 353 NEW BEST:: SOT 887443 SOS 754277 HAS SOPS 754258 HAS SOUS 131497 HAS SOUPS 131478 WITH SCORE 132232.277
AT ITER 354 NEW BEST:: SOT 887305 SOS 754001 HAS SOPS 753982 HAS SOUS 131229 HAS SOUPS 131210 WITH SCORE 131964.001
AT ITER 369 NEW BEST:: SOT 887206 SOS 753902 HAS SOPS 753883 HAS SOUS 131049 HAS SOUPS 131030 WITH SCORE 131783.902
AT ITER 380 NEW BEST:: SOT 887196 SOS 753892 HAS SOPS 753873 HAS SOUS 131030 HAS SOUPS 131011 WITH SCORE 131764.892
AT ITER 387 NEW BEST:: SOT 887154 SOS 753845 HAS SOPS 753826 HAS SOUS 130951 HAS SOUPS 130932 WITH SCORE 131685.845
AT ITER 393 NEW BEST:: SOT 886989 SOS 753506 HAS SOPS 753487 HAS SOUS 130948 HAS SOUPS 130929 WITH SCORE 131682.506
AT ITER 401 NEW BEST:: SOT 886841 SOS 753358 HAS SOPS 753339 HAS SOUS 130735 HAS SOUPS 130716 WITH SCORE 131469.358
AT ITER 403 NEW BEST:: SOT 886830 SOS 753347 HAS SOPS 753328 HAS SOUS 130717 HAS SOUPS 130698 WITH SCORE 131451.347
AT ITER 405 NEW BEST:: SOT 886692 SOS 753071 HAS SOPS 753052 HAS SOUS 130510 HAS SOUPS 130491 WITH SCORE 131244.071
AT ITER 412 NEW BEST:: SOT 886492 SOS 752871 HAS SOPS 752852 HAS SOUS 130210 HAS SOUPS 130191 WITH SCORE 130943.871
AT ITER 439 NEW BEST:: SOT 886440 SOS 752781 HAS SOPS 752762 HAS SOUS 130169 HAS SOUPS 130150 WITH SCORE 130902.781
AT ITER 451 NEW BEST:: SOT 886440 SOS 752747 HAS SOPS 752728 HAS SOUS 130169 HAS SOUPS 130150 WITH SCORE 130902.747
AT ITER 464 NEW BEST:: SOT 886376 SOS 752683 HAS SOPS 752664 HAS SOUS 130041 HAS SOUPS 130022 WITH SCORE 130774.683
AT ITER 466 NEW BEST:: SOT 886376 SOS 751213 HAS SOPS 751194 HAS SOUS 130023 HAS SOUPS 130004 WITH SCORE 130755.213
AT ITER 470 NEW BEST:: SOT 886343 SOS 751180 HAS SOPS 751161 HAS SOUS 129957 HAS SOUPS 129938 WITH SCORE 130689.18
AT ITER 474 NEW BEST:: SOT 886251 SOS 751180 HAS SOPS 751161 HAS SOUS 129865 HAS SOUPS 129846 WITH SCORE 130597.18
AT ITER 484 NEW BEST:: SOT 886043 SOS 751078 HAS SOPS 751059 HAS SOUS 129567 HAS SOUPS 129548 WITH SCORE 130299.078
AT ITER 485 NEW BEST:: SOT 885771 SOS 750806 HAS SOPS 750787 HAS SOUS 129170 HAS SOUPS 129151 WITH SCORE 129901.806
AT ITER 487 NEW BEST:: SOT 885771 SOS 750750 HAS SOPS 750731 HAS SOUS 129170 HAS SOUPS 129151 WITH SCORE 129901.75
AT ITER 489 NEW BEST:: SOT 885756 SOS 750739 HAS SOPS 750720 HAS SOUS 129155 HAS SOUPS 129136 WITH SCORE 129886.739
AT ITER 494 NEW BEST:: SOT 885679 SOS 750662 HAS SOPS 750643 HAS SOUS 129002 HAS SOUPS 128983 WITH SCORE 129733.662
AT ITER 496 NEW BEST:: SOT 885657 SOS 750618 HAS SOPS 750599 HAS SOUS 128958 HAS SOUPS 128939 WITH SCORE 129689.618
AT ITER 500 NEW BEST:: SOT 885588 SOS 750549 HAS SOPS 750530 HAS SOUS 128820 HAS SOUPS 128801 WITH SCORE 129551.549
AT ITER 509 NEW BEST:: SOT 883916 SOS 747438 HAS SOPS 747419 HAS SOUS 128732 HAS SOUPS 128713 WITH SCORE 129460.438
AT ITER 512 NEW BEST:: SOT 883643 SOS 747256 HAS SOPS 747237 HAS SOUS 128334 HAS SOUPS 128315 WITH SCORE 129062.256
AT ITER 529 NEW BEST:: SOT 883599 SOS 747168 HAS SOPS 747149 HAS SOUS 128281 HAS SOUPS 128262 WITH SCORE 129009.168
AT ITER 541 NEW BEST:: SOT 883597 SOS 747164 HAS SOPS 747145 HAS SOUS 128279 HAS SOUPS 128260 WITH SCORE 129007.164
AT ITER 554 NEW BEST:: SOT 883597 SOS 747122 HAS SOPS 747103 HAS SOUS 128279 HAS SOUPS 128260 WITH SCORE 129007.122
AT ITER 564 NEW BEST:: SOT 883499 SOS 747024 HAS SOPS 747005 HAS SOUS 128083 HAS SOUPS 128064 WITH SCORE 128811.024
AT ITER 565 NEW BEST:: SOT 883459 SOS 747018 HAS SOPS 746999 HAS SOUS 128012 HAS SOUPS 127993 WITH SCORE 128740.018
AT ITER 566 NEW BEST:: SOT 883456 SOS 747012 HAS SOPS 746993 HAS SOUS 127948 HAS SOUPS 127929 WITH SCORE 128676.012
AT ITER 568 NEW BEST:: SOT 883418 SOS 746974 HAS SOPS 746955 HAS SOUS 127880 HAS SOUPS 127861 WITH SCORE 128607.974
AT ITER 576 NEW BEST:: SOT 883376 SOS 746948 HAS SOPS 746929 HAS SOUS 127825 HAS SOUPS 127806 WITH SCORE 128552.948
AT ITER 581 NEW BEST:: SOT 883339 SOS 746886 HAS SOPS 746867 HAS SOUS 127726 HAS SOUPS 127707 WITH SCORE 128453.886
AT ITER 582 NEW BEST:: SOT 883308 SOS 746824 HAS SOPS 746805 HAS SOUS 127675 HAS SOUPS 127656 WITH SCORE 128402.824
AT ITER 595 NEW BEST:: SOT 883308 SOS 746824 HAS SOPS 746805 HAS SOUS 127672 HAS SOUPS 127653 WITH SCORE 128399.824
AT ITER 612 NEW BEST:: SOT 883110 SOS 746880 HAS SOPS 746861 HAS SOUS 127521 HAS SOUPS 127502 WITH SCORE 128248.88
AT ITER 675 NEW BEST:: SOT 883086 SOS 746832 HAS SOPS 746813 HAS SOUS 127497 HAS SOUPS 127478 WITH SCORE 128224.832
AT ITER 676 NEW BEST:: SOT 883024 SOS 746884 HAS SOPS 746865 HAS SOUS 127435 HAS SOUPS 127416 WITH SCORE 128162.884
AT ITER 682 NEW BEST:: SOT 883024 SOS 746840 HAS SOPS 746821 HAS SOUS 127435 HAS SOUPS 127416 WITH SCORE 128162.84
AT ITER 691 NEW BEST:: SOT 882986 SOS 746802 HAS SOPS 746783 HAS SOUS 127378 HAS SOUPS 127359 WITH SCORE 128105.802
AT ITER 694 NEW BEST:: SOT 882820 SOS 746748 HAS SOPS 746729 HAS SOUS 127207 HAS SOUPS 127188 WITH SCORE 127934.748
AT ITER 698 NEW BEST:: SOT 882791 SOS 746719 HAS SOPS 746700 HAS SOUS 127149 HAS SOUPS 127130 WITH SCORE 127876.719
AT ITER 700 NEW BEST:: SOT 884127 SOS 748055 HAS SOPS 748036 HAS SOUS 126799 HAS SOUPS 126780 WITH SCORE 127528.055
AT ITER 713 NEW BEST:: SOT 884113 SOS 748027 HAS SOPS 748008 HAS SOUS 126771 HAS SOUPS 126752 WITH SCORE 127500.027
AT ITER 719 NEW BEST:: SOT 884011 SOS 747823 HAS SOPS 747804 HAS SOUS 126669 HAS SOUPS 126650 WITH SCORE 127397.823
AT ITER 727 NEW BEST:: SOT 884011 SOS 747811 HAS SOPS 747792 HAS SOUS 126669 HAS SOUPS 126650 WITH SCORE 127397.811
AT ITER 733 NEW BEST:: SOT 884020 SOS 747829 HAS SOPS 747810 HAS SOUS 126622 HAS SOUPS 126603 WITH SCORE 127350.829
AT ITER 736 NEW BEST:: SOT 883985 SOS 747759 HAS SOPS 747740 HAS SOUS 126586 HAS SOUPS 126567 WITH SCORE 127314.759
AT ITER 762 NEW BEST:: SOT 883960 SOS 747709 HAS SOPS 747690 HAS SOUS 126550 HAS SOUPS 126531 WITH SCORE 127278.709
AT ITER 764 NEW BEST:: SOT 883936 SOS 747709 HAS SOPS 747690 HAS SOUS 126526 HAS SOUPS 126507 WITH SCORE 127254.709
AT ITER 769 NEW BEST:: SOT 883910 SOS 747683 HAS SOPS 747664 HAS SOUS 126474 HAS SOUPS 126455 WITH SCORE 127202.683
AT ITER 774 NEW BEST:: SOT 883879 SOS 747621 HAS SOPS 747602 HAS SOUS 126443 HAS SOUPS 126424 WITH SCORE 127171.621
AT ITER 788 NEW BEST:: SOT 883877 SOS 747617 HAS SOPS 747598 HAS SOUS 126441 HAS SOUPS 126422 WITH SCORE 127169.617
AT ITER 791 NEW BEST:: SOT 883877 SOS 747617 HAS SOPS 747598 HAS SOUS 126433 HAS SOUPS 126414 WITH SCORE 127161.617
AT ITER 803 NEW BEST:: SOT 883849 SOS 747589 HAS SOPS 747570 HAS SOUS 126377 HAS SOUPS 126358 WITH SCORE 127105.589
AT ITER 814 NEW BEST:: SOT 883827 SOS 747567 HAS SOPS 747548 HAS SOUS 126333 HAS SOUPS 126314 WITH SCORE 127061.567
AT ITER 819 NEW BEST:: SOT 883827 SOS 747565 HAS SOPS 747546 HAS SOUS 126333 HAS SOUPS 126314 WITH SCORE 127061.565
AT ITER 826 NEW BEST:: SOT 883824 SOS 747559 HAS SOPS 747540 HAS SOUS 126327 HAS SOUPS 126308 WITH SCORE 127055.559
AT ITER 830 NEW BEST:: SOT 883810 SOS 747545 HAS SOPS 747526 HAS SOUS 126313 HAS SOUPS 126294 WITH SCORE 127041.545
AT ITER 847 NEW BEST:: SOT 883777 SOS 747512 HAS SOPS 747493 HAS SOUS 126247 HAS SOUPS 126228 WITH SCORE 126975.512
AT ITER 848 NEW BEST:: SOT 883726 SOS 747586 HAS SOPS 747567 HAS SOUS 126242 HAS SOUPS 126223 WITH SCORE 126970.586
AT ITER 852 NEW BEST:: SOT 883726 SOS 747586 HAS SOPS 747567 HAS SOUS 126220 HAS SOUPS 126201 WITH SCORE 126948.586
AT ITER 865 NEW BEST:: SOT 883711 SOS 747585 HAS SOPS 747566 HAS SOUS 126205 HAS SOUPS 126186 WITH SCORE 126933.585
AT ITER 866 NEW BEST:: SOT 883711 SOS 747585 HAS SOPS 747566 HAS SOUS 126178 HAS SOUPS 126159 WITH SCORE 126906.585
AT ITER 870 NEW BEST:: SOT 883666 SOS 747585 HAS SOPS 747566 HAS SOUS 126160 HAS SOUPS 126141 WITH SCORE 126888.585
AT ITER 889 NEW BEST:: SOT 883567 SOS 747585 HAS SOPS 747566 HAS SOUS 125999 HAS SOUPS 125980 WITH SCORE 126727.585
AT ITER 892 NEW BEST:: SOT 883565 SOS 747583 HAS SOPS 747564 HAS SOUS 125995 HAS SOUPS 125976 WITH SCORE 126723.583
AT ITER 894 NEW BEST:: SOT 883565 SOS 747586 HAS SOPS 747567 HAS SOUS 125941 HAS SOUPS 125922 WITH SCORE 126669.586
AT ITER 905 NEW BEST:: SOT 883549 SOS 747554 HAS SOPS 747535 HAS SOUS 125909 HAS SOUPS 125890 WITH SCORE 126637.554
AT ITER 909 NEW BEST:: SOT 883463 SOS 747468 HAS SOPS 747449 HAS SOUS 125820 HAS SOUPS 125801 WITH SCORE 126548.468
AT ITER 918 NEW BEST:: SOT 883377 SOS 747632 HAS SOPS 747613 HAS SOUS 125787 HAS SOUPS 125768 WITH SCORE 126515.632
AT ITER 919 NEW BEST:: SOT 883334 SOS 747589 HAS SOPS 747570 HAS SOUS 125701 HAS SOUPS 125682 WITH SCORE 126429.589
AT ITER 923 NEW BEST:: SOT 883317 SOS 747572 HAS SOPS 747553 HAS SOUS 125684 HAS SOUPS 125665 WITH SCORE 126412.572
AT ITER 945 NEW BEST:: SOT 883254 SOS 747769 HAS SOPS 747750 HAS SOUS 125662 HAS SOUPS 125643 WITH SCORE 126390.769
AT ITER 956 NEW BEST:: SOT 883212 SOS 747727 HAS SOPS 747708 HAS SOUS 125647 HAS SOUPS 125628 WITH SCORE 126375.727
AT ITER 977 NEW BEST:: SOT 883185 SOS 747673 HAS SOPS 747654 HAS SOUS 125593 HAS SOUPS 125574 WITH SCORE 126321.673
AT ITER 984 NEW BEST:: SOT 882998 SOS 747573 HAS SOPS 747554 HAS SOUS 125317 HAS SOUPS 125298 WITH SCORE 126045.573
AT ITER 987 NEW BEST:: SOT 882949 SOS 747475 HAS SOPS 747456 HAS SOUS 125219 HAS SOUPS 125200 WITH SCORE 125947.475
AT ITER 989 NEW BEST:: SOT 882850 SOS 747359 HAS SOPS 747340 HAS SOUS 125024 HAS SOUPS 125005 WITH SCORE 125752.359
AT ITER 991 NEW BEST:: SOT 882824 SOS 747303 HAS SOPS 747284 HAS SOUS 124937 HAS SOUPS 124918 WITH SCORE 125665.303
AT ITER 1002 NEW BEST:: SOT 882614 SOS 747175 HAS SOPS 747156 HAS SOUS 124701 HAS SOUPS 124682 WITH SCORE 125429.175
AT ITER 1022 NEW BEST:: SOT 882553 SOS 747114 HAS SOPS 747095 HAS SOUS 124634 HAS SOUPS 124615 WITH SCORE 125362.114
AT ITER 1036 NEW BEST:: SOT 882553 SOS 747114 HAS SOPS 747095 HAS SOUS 124409 HAS SOUPS 124390 WITH SCORE 125137.114
AT ITER 1041 NEW BEST:: SOT 882515 SOS 747038 HAS SOPS 747019 HAS SOUS 124339 HAS SOUPS 124320 WITH SCORE 125067.038
AT ITER 1047 NEW BEST:: SOT 882439 SOS 747024 HAS SOPS 747005 HAS SOUS 124256 HAS SOUPS 124237 WITH SCORE 124984.024
AT ITER 1048 NEW BEST:: SOT 882390 SOS 747188 HAS SOPS 747169 HAS SOUS 124185 HAS SOUPS 124166 WITH SCORE 124913.188
AT ITER 1049 NEW BEST:: SOT 882321 SOS 747242 HAS SOPS 747223 HAS SOUS 124143 HAS SOUPS 124124 WITH SCORE 124871.242
AT ITER 1067 NEW BEST:: SOT 882321 SOS 747198 HAS SOPS 747179 HAS SOUS 124143 HAS SOUPS 124124 WITH SCORE 124871.198
AT ITER 1076 NEW BEST:: SOT 882301 SOS 747158 HAS SOPS 747139 HAS SOUS 124103 HAS SOUPS 124084 WITH SCORE 124831.158
AT ITER 1080 NEW BEST:: SOT 882229 SOS 747082 HAS SOPS 747063 HAS SOUS 124103 HAS SOUPS 124084 WITH SCORE 124831.082
AT ITER 1086 NEW BEST:: SOT 882191 SOS 747044 HAS SOPS 747025 HAS SOUS 124056 HAS SOUPS 124037 WITH SCORE 124784.044
AT ITER 1093 NEW BEST:: SOT 881930 SOS 747008 HAS SOPS 746989 HAS SOUS 123751 HAS SOUPS 123732 WITH SCORE 124479.008
AT ITER 1101 NEW BEST:: SOT 881831 SOS 747024 HAS SOPS 747005 HAS SOUS 123719 HAS SOUPS 123700 WITH SCORE 124447.024
AT ITER 1103 NEW BEST:: SOT 881739 SOS 746932 HAS SOPS 746913 HAS SOUS 123561 HAS SOUPS 123542 WITH SCORE 124288.932
AT ITER 1117 NEW BEST:: SOT 881675 SOS 746972 HAS SOPS 746953 HAS SOUS 123540 HAS SOUPS 123521 WITH SCORE 124267.972
AT ITER 1131 NEW BEST:: SOT 881670 SOS 746962 HAS SOPS 746943 HAS SOUS 123530 HAS SOUPS 123511 WITH SCORE 124257.962
AT ITER 1132 NEW BEST:: SOT 881670 SOS 746820 HAS SOPS 746801 HAS SOUS 123530 HAS SOUPS 123511 WITH SCORE 124257.82
AT ITER 1145 NEW BEST:: SOT 881511 SOS 746796 HAS SOPS 746777 HAS SOUS 123310 HAS SOUPS 123291 WITH SCORE 124037.796
AT ITER 1151 NEW BEST:: SOT 882174 SOS 747431 HAS SOPS 747412 HAS SOUS 123261 HAS SOUPS 123242 WITH SCORE 123989.431
AT ITER 1162 NEW BEST:: SOT 882098 SOS 747279 HAS SOPS 747260 HAS SOUS 123185 HAS SOUPS 123166 WITH SCORE 123913.279
AT ITER 1166 NEW BEST:: SOT 882077 SOS 747237 HAS SOPS 747218 HAS SOUS 123153 HAS SOUPS 123134 WITH SCORE 123881.237
AT ITER 1173 NEW BEST:: SOT 882047 SOS 747177 HAS SOPS 747158 HAS SOUS 123093 HAS SOUPS 123074 WITH SCORE 123821.177
AT ITER 1180 NEW BEST:: SOT 882045 SOS 747209 HAS SOPS 747190 HAS SOUS 123014 HAS SOUPS 122995 WITH SCORE 123742.209
AT ITER 1185 NEW BEST:: SOT 882044 SOS 747425 HAS SOPS 747406 HAS SOUS 123013 HAS SOUPS 122994 WITH SCORE 123741.425
AT ITER 1190 NEW BEST:: SOT 882024 SOS 747385 HAS SOPS 747366 HAS SOUS 122973 HAS SOUPS 122954 WITH SCORE 123701.385
AT ITER 1203 NEW BEST:: SOT 881999 SOS 747335 HAS SOPS 747316 HAS SOUS 122923 HAS SOUPS 122904 WITH SCORE 123651.335
AT ITER 1211 NEW BEST:: SOT 881959 SOS 747345 HAS SOPS 747326 HAS SOUS 122883 HAS SOUPS 122864 WITH SCORE 123611.345
AT ITER 1217 NEW BEST:: SOT 881956 SOS 747342 HAS SOPS 747323 HAS SOUS 122877 HAS SOUPS 122858 WITH SCORE 123605.342
AT ITER 1222 NEW BEST:: SOT 881884 SOS 747270 HAS SOPS 747251 HAS SOUS 122769 HAS SOUPS 122750 WITH SCORE 123497.27
AT ITER 1240 NEW BEST:: SOT 878239 SOS 743802 HAS SOPS 743783 HAS SOUS 122155 HAS SOUPS 122136 WITH SCORE 122879.802
AT ITER 1241 NEW BEST:: SOT 878261 SOS 743706 HAS SOPS 743687 HAS SOUS 122107 HAS SOUPS 122088 WITH SCORE 122831.706
AT ITER 1253 NEW BEST:: SOT 878245 SOS 743690 HAS SOPS 743671 HAS SOUS 122091 HAS SOUPS 122072 WITH SCORE 122815.69
AT ITER 1285 NEW BEST:: SOT 878201 SOS 743646 HAS SOPS 743627 HAS SOUS 122003 HAS SOUPS 121984 WITH SCORE 122727.646
AT ITER 1309 NEW BEST:: SOT 878143 SOS 743710 HAS SOPS 743691 HAS SOUS 121977 HAS SOUPS 121958 WITH SCORE 122701.71
AT ITER 1315 NEW BEST:: SOT 878085 SOS 743797 HAS SOPS 743778 HAS SOUS 121921 HAS SOUPS 121902 WITH SCORE 122645.797
AT ITER 1318 NEW BEST:: SOT 878085 SOS 743765 HAS SOPS 743746 HAS SOUS 121921 HAS SOUPS 121902 WITH SCORE 122645.765
AT ITER 1321 NEW BEST:: SOT 878044 SOS 743724 HAS SOPS 743705 HAS SOUS 121878 HAS SOUPS 121859 WITH SCORE 122602.724
AT ITER 1337 NEW BEST:: SOT 877980 SOS 743660 HAS SOPS 743641 HAS SOUS 121759 HAS SOUPS 121740 WITH SCORE 122483.66
AT ITER 1348 NEW BEST:: SOT 877978 SOS 743656 HAS SOPS 743637 HAS SOUS 121713 HAS SOUPS 121694 WITH SCORE 122437.656
AT ITER 1349 NEW BEST:: SOT 877977 SOS 743655 HAS SOPS 743636 HAS SOUS 121711 HAS SOUPS 121692 WITH SCORE 122435.655
AT ITER 1356 NEW BEST:: SOT 877896 SOS 743572 HAS SOPS 743553 HAS SOUS 121628 HAS SOUPS 121609 WITH SCORE 122352.572
AT ITER 1381 NEW BEST:: SOT 877849 SOS 743478 HAS SOPS 743459 HAS SOUS 121578 HAS SOUPS 121559 WITH SCORE 122302.478
AT ITER 1384 NEW BEST:: SOT 877846 SOS 743475 HAS SOPS 743456 HAS SOUS 121572 HAS SOUPS 121553 WITH SCORE 122296.475
AT ITER 1400 NEW BEST:: SOT 877705 SOS 743193 HAS SOPS 743174 HAS SOUS 121316 HAS SOUPS 121297 WITH SCORE 122040.193
AT ITER 1417 NEW BEST:: SOT 877694 SOS 743171 HAS SOPS 743152 HAS SOUS 121313 HAS SOUPS 121294 WITH SCORE 122037.171
AT ITER 1420 NEW BEST:: SOT 877689 SOS 743161 HAS SOPS 743142 HAS SOUS 121308 HAS SOUPS 121289 WITH SCORE 122032.161
AT ITER 1425 NEW BEST:: SOT 877694 SOS 743171 HAS SOPS 743152 HAS SOUS 121303 HAS SOUPS 121284 WITH SCORE 122027.171
AT ITER 1437 NEW BEST:: SOT 877601 SOS 742985 HAS SOPS 742966 HAS SOUS 121089 HAS SOUPS 121070 WITH SCORE 121812.985
AT ITER 1438 NEW BEST:: SOT 877595 SOS 742973 HAS SOPS 742954 HAS SOUS 121077 HAS SOUPS 121058 WITH SCORE 121800.973
AT ITER 1447 NEW BEST:: SOT 877573 SOS 742993 HAS SOPS 742974 HAS SOUS 121065 HAS SOUPS 121046 WITH SCORE 121788.993
AT ITER 1451 NEW BEST:: SOT 877538 SOS 742924 HAS SOPS 742905 HAS SOUS 121044 HAS SOUPS 121025 WITH SCORE 121767.924
AT ITER 1474 NEW BEST:: SOT 877491 SOS 742830 HAS SOPS 742811 HAS SOUS 120984 HAS SOUPS 120965 WITH SCORE 121707.83
AT ITER 1477 NEW BEST:: SOT 877246 SOS 742706 HAS SOPS 742687 HAS SOUS 120747 HAS SOUPS 120728 WITH SCORE 121470.706
AT ITER 1506 NEW BEST:: SOT 877246 SOS 742486 HAS SOPS 742467 HAS SOUS 120742 HAS SOUPS 120723 WITH SCORE 121465.486
AT ITER 1513 NEW BEST:: SOT 877149 SOS 742389 HAS SOPS 742370 HAS SOUS 120572 HAS SOUPS 120553 WITH SCORE 121295.389
AT ITER 1523 NEW BEST:: SOT 877099 SOS 742269 HAS SOPS 742250 HAS SOUS 120522 HAS SOUPS 120503 WITH SCORE 121245.269
AT ITER 1526 NEW BEST:: SOT 877083 SOS 742253 HAS SOPS 742234 HAS SOUS 120506 HAS SOUPS 120487 WITH SCORE 121229.253
AT ITER 1530 NEW BEST:: SOT 877065 SOS 742217 HAS SOPS 742198 HAS SOUS 120474 HAS SOUPS 120455 WITH SCORE 121197.217
AT ITER 1534 NEW BEST:: SOT 877048 SOS 742417 HAS SOPS 742398 HAS SOUS 120457 HAS SOUPS 120438 WITH SCORE 121180.417
AT ITER 1535 NEW BEST:: SOT 876992 SOS 742365 HAS SOPS 742346 HAS SOUS 120402 HAS SOUPS 120383 WITH SCORE 121125.365
AT ITER 1541 NEW BEST:: SOT 876936 SOS 742309 HAS SOPS 742290 HAS SOUS 120290 HAS SOUPS 120271 WITH SCORE 121013.309
AT ITER 1542 NEW BEST:: SOT 876888 SOS 742579 HAS SOPS 742560 HAS SOUS 120266 HAS SOUPS 120247 WITH SCORE 120989.579
AT ITER 1547 NEW BEST:: SOT 876888 SOS 742579 HAS SOPS 742560 HAS SOUS 120210 HAS SOUPS 120191 WITH SCORE 120933.579
AT ITER 1575 NEW BEST:: SOT 876859 SOS 742521 HAS SOPS 742502 HAS SOUS 120111 HAS SOUPS 120092 WITH SCORE 120834.521
AT ITER 1587 NEW BEST:: SOT 876784 SOS 742459 HAS SOPS 742440 HAS SOUS 119948 HAS SOUPS 119929 WITH SCORE 120671.459
AT ITER 1601 NEW BEST:: SOT 876779 SOS 742450 HAS SOPS 742431 HAS SOUS 119937 HAS SOUPS 119918 WITH SCORE 120660.45
AT ITER 1617 NEW BEST:: SOT 876748 SOS 742388 HAS SOPS 742369 HAS SOUS 119906 HAS SOUPS 119887 WITH SCORE 120629.388
AT ITER 1623 NEW BEST:: SOT 876744 SOS 742398 HAS SOPS 742379 HAS SOUS 119902 HAS SOUPS 119883 WITH SCORE 120625.398
AT ITER 1629 NEW BEST:: SOT 876748 SOS 742402 HAS SOPS 742383 HAS SOUS 119894 HAS SOUPS 119875 WITH SCORE 120617.402
AT ITER 1643 NEW BEST:: SOT 876748 SOS 742402 HAS SOPS 742383 HAS SOUS 119836 HAS SOUPS 119817 WITH SCORE 120559.402
AT ITER 1654 NEW BEST:: SOT 876746 SOS 742398 HAS SOPS 742379 HAS SOUS 119832 HAS SOUPS 119813 WITH SCORE 120555.398
AT ITER 1682 NEW BEST:: SOT 876743 SOS 742395 HAS SOPS 742376 HAS SOUS 119829 HAS SOUPS 119810 WITH SCORE 120552.395
AT ITER 1683 NEW BEST:: SOT 876743 SOS 743145 HAS SOPS 743126 HAS SOUS 119828 HAS SOUPS 119809 WITH SCORE 120552.145
AT ITER 1708 NEW BEST:: SOT 876311 SOS 742713 HAS SOPS 742694 HAS SOUS 119398 HAS SOUPS 119379 WITH SCORE 120121.713
AT ITER 1725 NEW BEST:: SOT 876288 SOS 742713 HAS SOPS 742694 HAS SOUS 119375 HAS SOUPS 119356 WITH SCORE 120098.713
AT ITER 1746 NEW BEST:: SOT 876203 SOS 742543 HAS SOPS 742524 HAS SOUS 119327 HAS SOUPS 119308 WITH SCORE 120050.543
AT ITER 1763 NEW BEST:: SOT 876130 SOS 742470 HAS SOPS 742451 HAS SOUS 119181 HAS SOUPS 119162 WITH SCORE 119904.47
AT ITER 1779 NEW BEST:: SOT 876130 SOS 742362 HAS SOPS 742343 HAS SOUS 119144 HAS SOUPS 119125 WITH SCORE 119867.362
AT ITER 1780 NEW BEST:: SOT 875983 SOS 742442 HAS SOPS 742423 HAS SOUS 118992 HAS SOUPS 118973 WITH SCORE 119715.442
AT ITER 1833 NEW BEST:: SOT 875968 SOS 742427 HAS SOPS 742408 HAS SOUS 118962 HAS SOUPS 118943 WITH SCORE 119685.427
AT ITER 1846 NEW BEST:: SOT 875880 SOS 742142 HAS SOPS 742123 HAS SOUS 118766 HAS SOUPS 118747 WITH SCORE 119489.142
AT ITER 1868 NEW BEST:: SOT 875852 SOS 742101 HAS SOPS 742082 HAS SOUS 118738 HAS SOUPS 118719 WITH SCORE 119461.101
AT ITER 1869 NEW BEST:: SOT 875828 SOS 742077 HAS SOPS 742058 HAS SOUS 118705 HAS SOUPS 118686 WITH SCORE 119428.077
AT ITER 1887 NEW BEST:: SOT 875761 SOS 741943 HAS SOPS 741924 HAS SOUS 118603 HAS SOUPS 118584 WITH SCORE 119325.943
AT ITER 1888 NEW BEST:: SOT 875681 SOS 741871 HAS SOPS 741852 HAS SOUS 118509 HAS SOUPS 118490 WITH SCORE 119231.871
AT ITER 1900 NEW BEST:: SOT 875648 SOS 741805 HAS SOPS 741786 HAS SOUS 118488 HAS SOUPS 118469 WITH SCORE 119210.805
AT ITER 1925 NEW BEST:: SOT 875628 SOS 741715 HAS SOPS 741696 HAS SOUS 118443 HAS SOUPS 118424 WITH SCORE 119165.715
AT ITER 1938 NEW BEST:: SOT 875627 SOS 741714 HAS SOPS 741695 HAS SOUS 118441 HAS SOUPS 118422 WITH SCORE 119163.714
AT ITER 1941 NEW BEST:: SOT 875686 SOS 741701 HAS SOPS 741598 HAS SOUS 118485 HAS SOUPS 118382 WITH SCORE 119123.701
AT ITER 1950 NEW BEST:: SOT 875660 SOS 741701 HAS SOPS 741598 HAS SOUS 118459 HAS SOUPS 118356 WITH SCORE 119097.701
AT ITER 1957 NEW BEST:: SOT 875582 SOS 741623 HAS SOPS 741520 HAS SOUS 118364 HAS SOUPS 118261 WITH SCORE 119002.623
AT ITER 1966 NEW BEST:: SOT 875582 SOS 741623 HAS SOPS 741520 HAS SOUS 118347 HAS SOUPS 118244 WITH SCORE 118985.623
AT ITER 1970 NEW BEST:: SOT 875483 SOS 741569 HAS SOPS 741466 HAS SOUS 118252 HAS SOUPS 118149 WITH SCORE 118890.569
AT ITER 1993 NEW BEST:: SOT 875475 SOS 741561 HAS SOPS 741458 HAS SOUS 118236 HAS SOUPS 118133 WITH SCORE 118874.561
AT ITER 2015 NEW BEST:: SOT 875237 SOS 741181 HAS SOPS 741078 HAS SOUS 117880 HAS SOUPS 117777 WITH SCORE 118518.181
AT ITER 2028 NEW BEST:: SOT 875236 SOS 741180 HAS SOPS 741077 HAS SOUS 117878 HAS SOUPS 117775 WITH SCORE 118516.18
AT ITER 2030 NEW BEST:: SOT 875256 SOS 741026 HAS SOPS 740923 HAS SOUS 117860 HAS SOUPS 117757 WITH SCORE 118498.026
AT ITER 2031 NEW BEST:: SOT 875257 SOS 741091 HAS SOPS 740988 HAS SOUS 117851 HAS SOUPS 117748 WITH SCORE 118489.091
AT ITER 2043 NEW BEST:: SOT 875225 SOS 741059 HAS SOPS 740956 HAS SOUS 117787 HAS SOUPS 117684 WITH SCORE 118425.059
AT ITER 2044 NEW BEST:: SOT 875192 SOS 741237 HAS SOPS 741134 HAS SOUS 117759 HAS SOUPS 117656 WITH SCORE 118397.237
AT ITER 2050 NEW BEST:: SOT 875133 SOS 745015 HAS SOPS 744318 HAS SOUS 117863 HAS SOUPS 117597 WITH SCORE 118342.015
AT ITER 2064 NEW BEST:: SOT 875133 SOS 745009 HAS SOPS 744312 HAS SOUS 117860 HAS SOUPS 117594 WITH SCORE 118339.009
AT ITER 2071 NEW BEST:: SOT 875127 SOS 745003 HAS SOPS 744306 HAS SOUS 117848 HAS SOUPS 117582 WITH SCORE 118327.003
AT ITER 2094 NEW BEST:: SOT 875049 SOS 744925 HAS SOPS 744228 HAS SOUS 117731 HAS SOUPS 117465 WITH SCORE 118209.925
AT ITER 2114 NEW BEST:: SOT 874977 SOS 744720 HAS SOPS 744023 HAS SOUS 117526 HAS SOUPS 117260 WITH SCORE 118004.72
AT ITER 2127 NEW BEST:: SOT 874931 SOS 744674 HAS SOPS 743977 HAS SOUS 117450 HAS SOUPS 117184 WITH SCORE 117928.674
AT ITER 2131 NEW BEST:: SOT 874931 SOS 744454 HAS SOPS 743757 HAS SOUS 117302 HAS SOUPS 117036 WITH SCORE 117780.454
AT ITER 2136 NEW BEST:: SOT 874923 SOS 744419 HAS SOPS 743722 HAS SOUS 117256 HAS SOUPS 116990 WITH SCORE 117734.419
AT ITER 2138 NEW BEST:: SOT 874923 SOS 744291 HAS SOPS 743594 HAS SOUS 117256 HAS SOUPS 116990 WITH SCORE 117734.291
AT ITER 2159 NEW BEST:: SOT 874898 SOS 744266 HAS SOPS 743569 HAS SOUS 117227 HAS SOUPS 116961 WITH SCORE 117705.266
AT ITER 2171 NEW BEST:: SOT 874901 SOS 744192 HAS SOPS 743495 HAS SOUS 117180 HAS SOUPS 116914 WITH SCORE 117658.192
AT ITER 2172 NEW BEST:: SOT 874870 SOS 744161 HAS SOPS 743464 HAS SOUS 117149 HAS SOUPS 116883 WITH SCORE 117627.161
AT ITER 2184 NEW BEST:: SOT 874855 SOS 744241 HAS SOPS 743544 HAS SOUS 117134 HAS SOUPS 116868 WITH SCORE 117612.241
AT ITER 2199 NEW BEST:: SOT 874797 SOS 744241 HAS SOPS 743544 HAS SOUS 117076 HAS SOUPS 116810 WITH SCORE 117554.241
AT ITER 2226 NEW BEST:: SOT 876243 SOS 745687 HAS SOPS 744990 HAS SOUS 116740 HAS SOUPS 116474 WITH SCORE 117219.687
AT ITER 2230 NEW BEST:: SOT 876223 SOS 745667 HAS SOPS 744970 HAS SOUS 116706 HAS SOUPS 116440 WITH SCORE 117185.667
AT ITER 2254 NEW BEST:: SOT 876215 SOS 745591 HAS SOPS 744894 HAS SOUS 116684 HAS SOUPS 116418 WITH SCORE 117163.591
AT ITER 2259 NEW BEST:: SOT 876215 SOS 745591 HAS SOPS 744894 HAS SOUS 116678 HAS SOUPS 116412 WITH SCORE 117157.591
AT ITER 2264 NEW BEST:: SOT 876215 SOS 745575 HAS SOPS 744878 HAS SOUS 116659 HAS SOUPS 116393 WITH SCORE 117138.575
AT ITER 2307 NEW BEST:: SOT 876218 SOS 745573 HAS SOPS 744876 HAS SOUS 116630 HAS SOUPS 116364 WITH SCORE 117109.573
AT ITER 2323 NEW BEST:: SOT 876202 SOS 745541 HAS SOPS 744844 HAS SOUS 116595 HAS SOUPS 116329 WITH SCORE 117074.541
AT ITER 2333 NEW BEST:: SOT 876190 SOS 745517 HAS SOPS 744820 HAS SOUS 116571 HAS SOUPS 116305 WITH SCORE 117050.517
AT ITER 2347 NEW BEST:: SOT 876133 SOS 745517 HAS SOPS 744820 HAS SOUS 116514 HAS SOUPS 116248 WITH SCORE 116993.517
AT ITER 2357 NEW BEST:: SOT 875450 SOS 744834 HAS SOPS 744137 HAS SOUS 116497 HAS SOUPS 116231 WITH SCORE 116975.834
AT ITER 2386 NEW BEST:: SOT 875455 SOS 744832 HAS SOPS 744135 HAS SOUS 116495 HAS SOUPS 116229 WITH SCORE 116973.832
AT ITER 2391 NEW BEST:: SOT 875428 SOS 744778 HAS SOPS 744081 HAS SOUS 116441 HAS SOUPS 116175 WITH SCORE 116919.778
AT ITER 2417 NEW BEST:: SOT 874931 SOS 744254 HAS SOPS 743557 HAS SOUS 116430 HAS SOUPS 116164 WITH SCORE 116908.254
AT ITER 2418 NEW BEST:: SOT 874899 SOS 744207 HAS SOPS 743510 HAS SOUS 116381 HAS SOUPS 116115 WITH SCORE 116859.207
AT ITER 2444 NEW BEST:: SOT 874892 SOS 744208 HAS SOPS 743511 HAS SOUS 116359 HAS SOUPS 116093 WITH SCORE 116837.208
AT ITER 2456 NEW BEST:: SOT 874889 SOS 744202 HAS SOPS 743505 HAS SOUS 116356 HAS SOUPS 116090 WITH SCORE 116834.202
AT ITER 2461 NEW BEST:: SOT 874882 SOS 744188 HAS SOPS 743491 HAS SOUS 116349 HAS SOUPS 116083 WITH SCORE 116827.188
AT ITER 2495 NEW BEST:: SOT 874795 SOS 744101 HAS SOPS 743404 HAS SOUS 116233 HAS SOUPS 115967 WITH SCORE 116711.101
AT ITER 2498 NEW BEST:: SOT 874728 SOS 744101 HAS SOPS 743404 HAS SOUS 116166 HAS SOUPS 115900 WITH SCORE 116644.101
AT ITER 2502 NEW BEST:: SOT 874709 SOS 744082 HAS SOPS 743385 HAS SOUS 116128 HAS SOUPS 115862 WITH SCORE 116606.082
AT ITER 2510 NEW BEST:: SOT 874697 SOS 744070 HAS SOPS 743373 HAS SOUS 116104 HAS SOUPS 115838 WITH SCORE 116582.07
AT ITER 2520 NEW BEST:: SOT 874689 SOS 744062 HAS SOPS 743365 HAS SOUS 116079 HAS SOUPS 115813 WITH SCORE 116557.062
AT ITER 2566 NEW BEST:: SOT 874671 SOS 744026 HAS SOPS 743329 HAS SOUS 116043 HAS SOUPS 115777 WITH SCORE 116521.026
AT ITER 2591 NEW BEST:: SOT 874599 SOS 743950 HAS SOPS 743253 HAS SOUS 116043 HAS SOUPS 115777 WITH SCORE 116520.95
AT ITER 2594 NEW BEST:: SOT 874560 SOS 743872 HAS SOPS 743175 HAS SOUS 115965 HAS SOUPS 115699 WITH SCORE 116442.872
AT ITER 2596 NEW BEST:: SOT 874470 SOS 744160 HAS SOPS 743463 HAS SOUS 115938 HAS SOUPS 115672 WITH SCORE 116416.16
AT ITER 2605 NEW BEST:: SOT 873786 SOS 742912 HAS SOPS 742215 HAS SOUS 115919 HAS SOUPS 115653 WITH SCORE 116395.912
AT ITER 2630 NEW BEST:: SOT 873786 SOS 742912 HAS SOPS 742215 HAS SOUS 115900 HAS SOUPS 115634 WITH SCORE 116376.912
AT ITER 2642 NEW BEST:: SOT 873786 SOS 742884 HAS SOPS 742187 HAS SOUS 115900 HAS SOUPS 115634 WITH SCORE 116376.884
AT ITER 2655 NEW BEST:: SOT 873768 SOS 742866 HAS SOPS 742169 HAS SOUS 115881 HAS SOUPS 115615 WITH SCORE 116357.866
AT ITER 2656 NEW BEST:: SOT 873689 SOS 742886 HAS SOPS 742189 HAS SOUS 115812 HAS SOUPS 115546 WITH SCORE 116288.886
AT ITER 2669 NEW BEST:: SOT 873669 SOS 742856 HAS SOPS 742169 HAS SOUS 115772 HAS SOUPS 115516 WITH SCORE 116258.856
AT ITER 2672 NEW BEST:: SOT 873643 SOS 742886 HAS SOPS 742199 HAS SOUS 115746 HAS SOUPS 115490 WITH SCORE 116232.886
AT ITER 2693 NEW BEST:: SOT 873596 SOS 742857 HAS SOPS 742235 HAS SOUS 115692 HAS SOUPS 115461 WITH SCORE 116203.857
AT ITER 2699 NEW BEST:: SOT 873596 SOS 742843 HAS SOPS 742221 HAS SOUS 115692 HAS SOUPS 115461 WITH SCORE 116203.843
AT ITER 2702 NEW BEST:: SOT 873590 SOS 742831 HAS SOPS 742209 HAS SOUS 115674 HAS SOUPS 115443 WITH SCORE 116185.831
AT ITER 2728 NEW BEST:: SOT 873554 SOS 742803 HAS SOPS 742181 HAS SOUS 115646 HAS SOUPS 115415 WITH SCORE 116157.803
AT ITER 2750 NEW BEST:: SOT 873545 SOS 742785 HAS SOPS 742163 HAS SOUS 115628 HAS SOUPS 115397 WITH SCORE 116139.785
AT ITER 2777 NEW BEST:: SOT 873533 SOS 742773 HAS SOPS 742151 HAS SOUS 115616 HAS SOUPS 115385 WITH SCORE 116127.773
AT ITER 2785 NEW BEST:: SOT 873505 SOS 742909 HAS SOPS 742287 HAS SOUS 115593 HAS SOUPS 115362 WITH SCORE 116104.909
AT ITER 2809 NEW BEST:: SOT 873483 SOS 742865 HAS SOPS 742243 HAS SOUS 115573 HAS SOUPS 115342 WITH SCORE 116084.865
AT ITER 2820 NEW BEST:: SOT 873483 SOS 742865 HAS SOPS 742243 HAS SOUS 115564 HAS SOUPS 115333 WITH SCORE 116075.865
AT ITER 2850 NEW BEST:: SOT 873465 SOS 742905 HAS SOPS 742283 HAS SOUS 115539 HAS SOUPS 115308 WITH SCORE 116050.905
AT ITER 2869 NEW BEST:: SOT 872524 SOS 741930 HAS SOPS 741308 HAS SOUS 115518 HAS SOUPS 115287 WITH SCORE 116028.93
AT ITER 2895 NEW BEST:: SOT 872513 SOS 741919 HAS SOPS 741297 HAS SOUS 115496 HAS SOUPS 115265 WITH SCORE 116006.919
AT ITER 2931 NEW BEST:: SOT 872538 SOS 741944 HAS SOPS 741268 HAS SOUS 115539 HAS SOUPS 115254 WITH SCORE 115995.944
AT ITER 2936 NEW BEST:: SOT 872523 SOS 742122 HAS SOPS 741446 HAS SOUS 115529 HAS SOUPS 115244 WITH SCORE 115986.122
AT ITER 2978 NEW BEST:: SOT 872506 SOS 742134 HAS SOPS 741458 HAS SOUS 115512 HAS SOUPS 115227 WITH SCORE 115969.134
AT ITER 2987 NEW BEST:: SOT 872499 SOS 742127 HAS SOPS 741451 HAS SOUS 115473 HAS SOUPS 115188 WITH SCORE 115930.127
AT ITER 3023 NEW BEST:: SOT 872495 SOS 742119 HAS SOPS 741443 HAS SOUS 115461 HAS SOUPS 115176 WITH SCORE 115918.119
AT ITER 3059 NEW BEST:: SOT 872508 SOS 742136 HAS SOPS 741460 HAS SOUS 115459 HAS SOUPS 115174 WITH SCORE 115916.136
AT ITER 3061 NEW BEST:: SOT 872502 SOS 740265 HAS SOPS 739966 HAS SOUS 115375 HAS SOUPS 115168 WITH SCORE 115908.265
AT ITER 3062 NEW BEST:: SOT 872502 SOS 740273 HAS SOPS 739974 HAS SOUS 115372 HAS SOUPS 115165 WITH SCORE 115905.273
AT ITER 3074 NEW BEST:: SOT 872502 SOS 740221 HAS SOPS 739922 HAS SOUS 115346 HAS SOUPS 115139 WITH SCORE 115879.221
AT ITER 3084 NEW BEST:: SOT 872499 SOS 740215 HAS SOPS 739916 HAS SOUS 115343 HAS SOUPS 115136 WITH SCORE 115876.215
AT ITER 3085 NEW BEST:: SOT 872490 SOS 740206 HAS SOPS 739907 HAS SOUS 115325 HAS SOUPS 115118 WITH SCORE 115858.206
AT ITER 3089 NEW BEST:: SOT 872447 SOS 740120 HAS SOPS 739821 HAS SOUS 115240 HAS SOUPS 115033 WITH SCORE 115773.12
AT ITER 3102 NEW BEST:: SOT 872447 SOS 740120 HAS SOPS 739821 HAS SOUS 115213 HAS SOUPS 115006 WITH SCORE 115746.12
AT ITER 3112 NEW BEST:: SOT 872447 SOS 740112 HAS SOPS 739813 HAS SOUS 115205 HAS SOUPS 114998 WITH SCORE 115738.112
AT ITER 3117 NEW BEST:: SOT 872401 SOS 740020 HAS SOPS 739721 HAS SOUS 115151 HAS SOUPS 114944 WITH SCORE 115684.02
AT ITER 3138 NEW BEST:: SOT 872401 SOS 740006 HAS SOPS 739707 HAS SOUS 115151 HAS SOUPS 114944 WITH SCORE 115684.006
AT ITER 3153 NEW BEST:: SOT 872361 SOS 739926 HAS SOPS 739627 HAS SOUS 115078 HAS SOUPS 114871 WITH SCORE 115610.926
AT ITER 3154 NEW BEST:: SOT 872340 SOS 739905 HAS SOPS 739606 HAS SOUS 115036 HAS SOUPS 114829 WITH SCORE 115568.905
AT ITER 3166 NEW BEST:: SOT 872327 SOS 739892 HAS SOPS 739593 HAS SOUS 115010 HAS SOUPS 114803 WITH SCORE 115542.892
AT ITER 3197 NEW BEST:: SOT 872423 SOS 739988 HAS SOPS 739689 HAS SOUS 114998 HAS SOUPS 114791 WITH SCORE 115530.988
AT ITER 3223 NEW BEST:: SOT 872422 SOS 739984 HAS SOPS 739685 HAS SOUS 114997 HAS SOUPS 114790 WITH SCORE 115529.984
AT ITER 3231 NEW BEST:: SOT 872422 SOS 739960 HAS SOPS 739661 HAS SOUS 114997 HAS SOUPS 114790 WITH SCORE 115529.96
AT ITER 3264 NEW BEST:: SOT 872417 SOS 739947 HAS SOPS 739648 HAS SOUS 114984 HAS SOUPS 114777 WITH SCORE 115516.947
AT ITER 3269 NEW BEST:: SOT 872386 SOS 739916 HAS SOPS 739617 HAS SOUS 114983 HAS SOUPS 114776 WITH SCORE 115515.916
AT ITER 3287 NEW BEST:: SOT 872371 SOS 739886 HAS SOPS 739587 HAS SOUS 114968 HAS SOUPS 114761 WITH SCORE 115500.886
AT ITER 3298 NEW BEST:: SOT 872327 SOS 739798 HAS SOPS 739499 HAS SOUS 114871 HAS SOUPS 114664 WITH SCORE 115403.798
AT ITER 3308 NEW BEST:: SOT 872321 SOS 739792 HAS SOPS 739493 HAS SOUS 114862 HAS SOUPS 114655 WITH SCORE 115394.792
AT ITER 3314 NEW BEST:: SOT 872282 SOS 739714 HAS SOPS 739415 HAS SOUS 114713 HAS SOUPS 114506 WITH SCORE 115245.714
AT ITER 3394 NEW BEST:: SOT 872276 SOS 739702 HAS SOPS 739403 HAS SOUS 114701 HAS SOUPS 114494 WITH SCORE 115233.702
AT ITER 3404 NEW BEST:: SOT 872276 SOS 739702 HAS SOPS 739403 HAS SOUS 114674 HAS SOUPS 114467 WITH SCORE 115206.702
AT ITER 3409 NEW BEST:: SOT 872275 SOS 739701 HAS SOPS 739402 HAS SOUS 114673 HAS SOUPS 114466 WITH SCORE 115205.701
AT ITER 3440 NEW BEST:: SOT 872256 SOS 739682 HAS SOPS 739383 HAS SOUS 114635 HAS SOUPS 114428 WITH SCORE 115167.682
AT ITER 3459 NEW BEST:: SOT 872255 SOS 739681 HAS SOPS 739382 HAS SOUS 114634 HAS SOUPS 114427 WITH SCORE 115166.681
AT ITER 3489 NEW BEST:: SOT 872252 SOS 739678 HAS SOPS 739379 HAS SOUS 114631 HAS SOUPS 114424 WITH SCORE 115163.678
AT ITER 3491 NEW BEST:: SOT 872122 SOS 739548 HAS SOPS 739249 HAS SOUS 114436 HAS SOUPS 114229 WITH SCORE 114968.548
AT ITER 3505 NEW BEST:: SOT 872089 SOS 739360 HAS SOPS 739061 HAS SOUS 114385 HAS SOUPS 114178 WITH SCORE 114917.36
AT ITER 3532 NEW BEST:: SOT 872079 SOS 739288 HAS SOPS 738989 HAS SOUS 114349 HAS SOUPS 114142 WITH SCORE 114881.288
AT ITER 3541 NEW BEST:: SOT 872043 SOS 739216 HAS SOPS 738917 HAS SOUS 114277 HAS SOUPS 114070 WITH SCORE 114809.216
AT ITER 3546 NEW BEST:: SOT 871996 SOS 739122 HAS SOPS 738823 HAS SOUS 114195 HAS SOUPS 113988 WITH SCORE 114727.122
AT ITER 3565 NEW BEST:: SOT 871994 SOS 739392 HAS SOPS 739093 HAS SOUS 114193 HAS SOUPS 113986 WITH SCORE 114725.392
AT ITER 3594 NEW BEST:: SOT 871951 SOS 739306 HAS SOPS 739007 HAS SOUS 114150 HAS SOUPS 113943 WITH SCORE 114682.306
AT ITER 3621 NEW BEST:: SOT 871944 SOS 739299 HAS SOPS 739000 HAS SOUS 114136 HAS SOUPS 113929 WITH SCORE 114668.299
AT ITER 3623 NEW BEST:: SOT 871923 SOS 739257 HAS SOPS 738958 HAS SOUS 114094 HAS SOUPS 113887 WITH SCORE 114626.257
AT ITER 3671 NEW BEST:: SOT 871905 SOS 739239 HAS SOPS 738940 HAS SOUS 114058 HAS SOUPS 113851 WITH SCORE 114590.239
AT ITER 3677 NEW BEST:: SOT 871858 SOS 739192 HAS SOPS 738893 HAS SOUS 114004 HAS SOUPS 113797 WITH SCORE 114536.192
AT ITER 3749 NEW BEST:: SOT 871858 SOS 739192 HAS SOPS 738893 HAS SOUS 113988 HAS SOUPS 113781 WITH SCORE 114520.192
AT ITER 3766 NEW BEST:: SOT 870047 SOS 736025 HAS SOPS 735726 HAS SOUS 113905 HAS SOUPS 113698 WITH SCORE 114434.025
AT ITER 3775 NEW BEST:: SOT 870043 SOS 736021 HAS SOPS 735722 HAS SOUS 113897 HAS SOUPS 113690 WITH SCORE 114426.021
AT ITER 3791 NEW BEST:: SOT 870003 SOS 735981 HAS SOPS 735682 HAS SOUS 113857 HAS SOUPS 113650 WITH SCORE 114385.981
AT ITER 3796 NEW BEST:: SOT 870001 SOS 735965 HAS SOPS 735666 HAS SOUS 113839 HAS SOUPS 113632 WITH SCORE 114367.965
AT ITER 3822 NEW BEST:: SOT 869985 SOS 735965 HAS SOPS 735666 HAS SOUS 113823 HAS SOUPS 113616 WITH SCORE 114351.965
AT ITER 3831 NEW BEST:: SOT 869972 SOS 735952 HAS SOPS 735653 HAS SOUS 113791 HAS SOUPS 113584 WITH SCORE 114319.952
AT ITER 3840 NEW BEST:: SOT 869957 SOS 735929 HAS SOPS 735630 HAS SOUS 113752 HAS SOUPS 113545 WITH SCORE 114280.929
AT ITER 3844 NEW BEST:: SOT 869906 SOS 735827 HAS SOPS 735528 HAS SOUS 113731 HAS SOUPS 113524 WITH SCORE 114259.827
AT ITER 3910 NEW BEST:: SOT 869906 SOS 735827 HAS SOPS 735528 HAS SOUS 113681 HAS SOUPS 113474 WITH SCORE 114209.827
AT ITER 3950 NEW BEST:: SOT 869628 SOS 735549 HAS SOPS 735250 HAS SOUS 113673 HAS SOUPS 113466 WITH SCORE 114201.549
AT ITER 4000 NEW BEST:: SOT 869624 SOS 735545 HAS SOPS 735246 HAS SOUS 113669 HAS SOUPS 113462 WITH SCORE 114197.545
AT ITER 4031 NEW BEST:: SOT 869607 SOS 735528 HAS SOPS 735246 HAS SOUS 113669 HAS SOUPS 113462 WITH SCORE 114197.528
AT ITER 4039 NEW BEST:: SOT 869607 SOS 735528 HAS SOPS 735246 HAS SOUS 113662 HAS SOUPS 113455 WITH SCORE 114190.528
AT ITER 4040 NEW BEST:: SOT 869591 SOS 735525 HAS SOPS 735243 HAS SOUS 113604 HAS SOUPS 113397 WITH SCORE 114132.525
AT ITER 4044 NEW BEST:: SOT 869586 SOS 735520 HAS SOPS 735238 HAS SOUS 113594 HAS SOUPS 113387 WITH SCORE 114122.52
AT ITER 4057 NEW BEST:: SOT 869577 SOS 735511 HAS SOPS 735229 HAS SOUS 113585 HAS SOUPS 113378 WITH SCORE 114113.511
AT ITER 4067 NEW BEST:: SOT 869569 SOS 735495 HAS SOPS 735213 HAS SOUS 113583 HAS SOUPS 113376 WITH SCORE 114111.495
AT ITER 4110 NEW BEST:: SOT 869411 SOS 735318 HAS SOPS 735036 HAS SOUS 113467 HAS SOUPS 113260 WITH SCORE 113995.318
AT ITER 4128 NEW BEST:: SOT 869398 SOS 735318 HAS SOPS 735036 HAS SOUS 113454 HAS SOUPS 113247 WITH SCORE 113982.318
AT ITER 4137 NEW BEST:: SOT 869378 SOS 735324 HAS SOPS 735042 HAS SOUS 113437 HAS SOUPS 113230 WITH SCORE 113965.324
AT ITER 4150 NEW BEST:: SOT 869359 SOS 735324 HAS SOPS 735042 HAS SOUS 113418 HAS SOUPS 113211 WITH SCORE 113946.324
AT ITER 4155 NEW BEST:: SOT 869301 SOS 735498 HAS SOPS 735179 HAS SOUS 113401 HAS SOUPS 113157 WITH SCORE 113892.498
AT ITER 4171 NEW BEST:: SOT 869286 SOS 735468 HAS SOPS 735149 HAS SOUS 113371 HAS SOUPS 113127 WITH SCORE 113862.468
AT ITER 4183 NEW BEST:: SOT 869267 SOS 735449 HAS SOPS 735130 HAS SOUS 113333 HAS SOUPS 113089 WITH SCORE 113824.449
AT ITER 4203 NEW BEST:: SOT 869267 SOS 735449 HAS SOPS 735130 HAS SOUS 113332 HAS SOUPS 113088 WITH SCORE 113823.449
AT ITER 4221 NEW BEST:: SOT 869238 SOS 735391 HAS SOPS 735072 HAS SOUS 113303 HAS SOUPS 113059 WITH SCORE 113794.391
AT ITER 4234 NEW BEST:: SOT 869217 SOS 735370 HAS SOPS 735051 HAS SOUS 113261 HAS SOUPS 113017 WITH SCORE 113752.37
AT ITER 4237 NEW BEST:: SOT 869135 SOS 735402 HAS SOPS 735083 HAS SOUS 113160 HAS SOUPS 112916 WITH SCORE 113651.402
AT ITER 4257 NEW BEST:: SOT 869124 SOS 735391 HAS SOPS 735072 HAS SOUS 113152 HAS SOUPS 112908 WITH SCORE 113643.391
AT ITER 4262 NEW BEST:: SOT 869155 SOS 735285 HAS SOPS 734966 HAS SOUS 113137 HAS SOUPS 112893 WITH SCORE 113628.285
AT ITER 4289 NEW BEST:: SOT 869151 SOS 735321 HAS SOPS 735002 HAS SOUS 113133 HAS SOUPS 112889 WITH SCORE 113624.321
AT ITER 4299 NEW BEST:: SOT 869179 SOS 735237 HAS SOPS 734918 HAS SOUS 113105 HAS SOUPS 112861 WITH SCORE 113596.237
AT ITER 4326 NEW BEST:: SOT 869100 SOS 735079 HAS SOPS 734760 HAS SOUS 112982 HAS SOUPS 112738 WITH SCORE 113473.079
AT ITER 4404 NEW BEST:: SOT 869090 SOS 735069 HAS SOPS 734750 HAS SOUS 112967 HAS SOUPS 112723 WITH SCORE 113458.069
AT ITER 4470 NEW BEST:: SOT 869090 SOS 734999 HAS SOPS 734680 HAS SOUS 112967 HAS SOUPS 112723 WITH SCORE 113457.999
AT ITER 4488 NEW BEST:: SOT 869090 SOS 734999 HAS SOPS 734680 HAS SOUS 112964 HAS SOUPS 112720 WITH SCORE 113454.999
AT ITER 4489 NEW BEST:: SOT 869027 SOS 734873 HAS SOPS 734554 HAS SOUS 112872 HAS SOUPS 112628 WITH SCORE 113362.873
AT ITER 4541 NEW BEST:: SOT 869027 SOS 734873 HAS SOPS 734554 HAS SOUS 112853 HAS SOUPS 112609 WITH SCORE 113343.873
AT ITER 4554 NEW BEST:: SOT 869027 SOS 734867 HAS SOPS 734548 HAS SOUS 112847 HAS SOUPS 112603 WITH SCORE 113337.867
AT ITER 4556 NEW BEST:: SOT 869041 SOS 734881 HAS SOPS 734562 HAS SOUS 112845 HAS SOUPS 112601 WITH SCORE 113335.881
AT ITER 4621 NEW BEST:: SOT 869025 SOS 734858 HAS SOPS 734539 HAS SOUS 112829 HAS SOUPS 112585 WITH SCORE 113319.858
AT ITER 4635 NEW BEST:: SOT 869025 SOS 734858 HAS SOPS 734539 HAS SOUS 112752 HAS SOUPS 112508 WITH SCORE 113242.858
AT ITER 4637 NEW BEST:: SOT 869021 SOS 734854 HAS SOPS 734535 HAS SOUS 112744 HAS SOUPS 112500 WITH SCORE 113234.854
AT ITER 4652 NEW BEST:: SOT 868954 SOS 734852 HAS SOPS 734583 HAS SOUS 112679 HAS SOUPS 112440 WITH SCORE 113174.852
AT ITER 4654 NEW BEST:: SOT 868932 SOS 734830 HAS SOPS 734561 HAS SOUS 112641 HAS SOUPS 112402 WITH SCORE 113136.83
AT ITER 4686 NEW BEST:: SOT 868857 SOS 734830 HAS SOPS 734561 HAS SOUS 112580 HAS SOUPS 112341 WITH SCORE 113075.83
AT ITER 4719 NEW BEST:: SOT 868857 SOS 734783 HAS SOPS 734467 HAS SOUS 112509 HAS SOUPS 112258 WITH SCORE 112992.783
AT ITER 4723 NEW BEST:: SOT 868857 SOS 734783 HAS SOPS 734467 HAS SOUS 112504 HAS SOUPS 112253 WITH SCORE 112987.783
AT ITER 4743 NEW BEST:: SOT 868827 SOS 734753 HAS SOPS 734437 HAS SOUS 112451 HAS SOUPS 112200 WITH SCORE 112934.753
AT ITER 4778 NEW BEST:: SOT 868818 SOS 734735 HAS SOPS 734419 HAS SOUS 112442 HAS SOUPS 112191 WITH SCORE 112925.735
AT ITER 4779 NEW BEST:: SOT 868725 SOS 734807 HAS SOPS 734491 HAS SOUS 112305 HAS SOUPS 112054 WITH SCORE 112788.807
AT ITER 4798 NEW BEST:: SOT 868718 SOS 734859 HAS SOPS 734543 HAS SOUS 112291 HAS SOUPS 112040 WITH SCORE 112774.859
AT ITER 4822 NEW BEST:: SOT 868718 SOS 734859 HAS SOPS 734543 HAS SOUS 112265 HAS SOUPS 112014 WITH SCORE 112748.859
AT ITER 4877 NEW BEST:: SOT 868591 SOS 734732 HAS SOPS 734416 HAS SOUS 112264 HAS SOUPS 112013 WITH SCORE 112747.732
AT ITER 4892 NEW BEST:: SOT 868613 SOS 734672 HAS SOPS 734356 HAS SOUS 112256 HAS SOUPS 112005 WITH SCORE 112739.672
AT ITER 4896 NEW BEST:: SOT 868601 SOS 734660 HAS SOPS 734344 HAS SOUS 112232 HAS SOUPS 111981 WITH SCORE 112715.66
AT ITER 4897 NEW BEST:: SOT 868553 SOS 734660 HAS SOPS 734344 HAS SOUS 112184 HAS SOUPS 111933 WITH SCORE 112667.66
AT ITER 4902 NEW BEST:: SOT 868549 SOS 734652 HAS SOPS 734336 HAS SOUS 112180 HAS SOUPS 111929 WITH SCORE 112663.652
AT ITER 4922 NEW BEST:: SOT 868522 SOS 734598 HAS SOPS 734282 HAS SOUS 112139 HAS SOUPS 111888 WITH SCORE 112622.598
AT ITER 4923 NEW BEST:: SOT 868447 SOS 734448 HAS SOPS 734132 HAS SOUS 112064 HAS SOUPS 111813 WITH SCORE 112547.448
AT ITER 4967 NEW BEST:: SOT 868445 SOS 734440 HAS SOPS 734124 HAS SOUS 112060 HAS SOUPS 111809 WITH SCORE 112543.44
AT ITER 4977 NEW BEST:: SOT 868436 SOS 734404 HAS SOPS 734088 HAS SOUS 112044 HAS SOUPS 111793 WITH SCORE 112527.404
AT ITER 5042 NEW BEST:: SOT 868433 SOS 734401 HAS SOPS 734085 HAS SOUS 112038 HAS SOUPS 111787 WITH SCORE 112521.401
AT ITER 5048 NEW BEST:: SOT 868433 SOS 734397 HAS SOPS 734081 HAS SOUS 112038 HAS SOUPS 111787 WITH SCORE 112521.397
AT ITER 5056 NEW BEST:: SOT 868430 SOS 734394 HAS SOPS 734078 HAS SOUS 112032 HAS SOUPS 111781 WITH SCORE 112515.394
AT ITER 5080 NEW BEST:: SOT 868423 SOS 734380 HAS SOPS 734064 HAS SOUS 112025 HAS SOUPS 111774 WITH SCORE 112508.38
AT ITER 5089 NEW BEST:: SOT 868465 SOS 733943 HAS SOPS 733627 HAS SOUS 112014 HAS SOUPS 111763 WITH SCORE 112496.943
AT ITER 5095 NEW BEST:: SOT 868441 SOS 733919 HAS SOPS 733603 HAS SOUS 111962 HAS SOUPS 111711 WITH SCORE 112444.919
AT ITER 5103 NEW BEST:: SOT 868441 SOS 733679 HAS SOPS 733363 HAS SOUS 111962 HAS SOUPS 111711 WITH SCORE 112444.679
AT ITER 5136 NEW BEST:: SOT 868428 SOS 733666 HAS SOPS 733350 HAS SOUS 111957 HAS SOUPS 111706 WITH SCORE 112439.666
AT ITER 5144 NEW BEST:: SOT 868381 SOS 733572 HAS SOPS 733256 HAS SOUS 111828 HAS SOUPS 111577 WITH SCORE 112310.572
AT ITER 5175 NEW BEST:: SOT 868356 SOS 733522 HAS SOPS 733206 HAS SOUS 111803 HAS SOUPS 111552 WITH SCORE 112285.522
AT ITER 5176 NEW BEST:: SOT 868350 SOS 733516 HAS SOPS 733200 HAS SOUS 111791 HAS SOUPS 111540 WITH SCORE 112273.516
AT ITER 5197 NEW BEST:: SOT 868349 SOS 733515 HAS SOPS 733199 HAS SOUS 111789 HAS SOUPS 111538 WITH SCORE 112271.515
AT ITER 5200 NEW BEST:: SOT 868331 SOS 733497 HAS SOPS 733181 HAS SOUS 111753 HAS SOUPS 111502 WITH SCORE 112235.497
AT ITER 5249 NEW BEST:: SOT 868287 SOS 733453 HAS SOPS 733137 HAS SOUS 111692 HAS SOUPS 111441 WITH SCORE 112174.453
AT ITER 5250 NEW BEST:: SOT 868280 SOS 733439 HAS SOPS 733123 HAS SOUS 111678 HAS SOUPS 111427 WITH SCORE 112160.439
AT ITER 5254 NEW BEST:: SOT 868191 SOS 733261 HAS SOPS 732945 HAS SOUS 111508 HAS SOUPS 111257 WITH SCORE 111990.261
AT ITER 5340 NEW BEST:: SOT 868161 SOS 733301 HAS SOPS 732985 HAS SOUS 111477 HAS SOUPS 111226 WITH SCORE 111959.301
AT ITER 5344 NEW BEST:: SOT 868158 SOS 733298 HAS SOPS 732982 HAS SOUS 111474 HAS SOUPS 111223 WITH SCORE 111956.298
AT ITER 5357 NEW BEST:: SOT 868142 SOS 733282 HAS SOPS 732966 HAS SOUS 111442 HAS SOUPS 111191 WITH SCORE 111924.282
AT ITER 5384 NEW BEST:: SOT 868128 SOS 733254 HAS SOPS 732938 HAS SOUS 111414 HAS SOUPS 111163 WITH SCORE 111896.254
AT ITER 5390 NEW BEST:: SOT 868120 SOS 733246 HAS SOPS 732930 HAS SOUS 111398 HAS SOUPS 111147 WITH SCORE 111880.246
AT ITER 5456 NEW BEST:: SOT 868120 SOS 733246 HAS SOPS 732930 HAS SOUS 111378 HAS SOUPS 111127 WITH SCORE 111860.246
AT ITER 5460 NEW BEST:: SOT 868120 SOS 733246 HAS SOPS 732930 HAS SOUS 111346 HAS SOUPS 111095 WITH SCORE 111828.246
AT ITER 5462 NEW BEST:: SOT 868102 SOS 733170 HAS SOPS 732854 HAS SOUS 111308 HAS SOUPS 111057 WITH SCORE 111790.17
AT ITER 5506 NEW BEST:: SOT 868075 SOS 733143 HAS SOPS 732827 HAS SOUS 111254 HAS SOUPS 111003 WITH SCORE 111736.143
AT ITER 5511 NEW BEST:: SOT 868022 SOS 733037 HAS SOPS 732721 HAS SOUS 111201 HAS SOUPS 110950 WITH SCORE 111683.037
AT ITER 5534 NEW BEST:: SOT 867988 SOS 733003 HAS SOPS 732687 HAS SOUS 111133 HAS SOUPS 110882 WITH SCORE 111615.003
AT ITER 5549 NEW BEST:: SOT 867982 SOS 732991 HAS SOPS 732675 HAS SOUS 111118 HAS SOUPS 110867 WITH SCORE 111599.991
AT ITER 5553 NEW BEST:: SOT 867982 SOS 732989 HAS SOPS 732673 HAS SOUS 111118 HAS SOUPS 110867 WITH SCORE 111599.989
AT ITER 5593 NEW BEST:: SOT 867969 SOS 732963 HAS SOPS 732647 HAS SOUS 111093 HAS SOUPS 110842 WITH SCORE 111574.963
AT ITER 5611 NEW BEST:: SOT 868009 SOS 733017 HAS SOPS 732701 HAS SOUS 111084 HAS SOUPS 110833 WITH SCORE 111566.017
AT ITER 5676 NEW BEST:: SOT 868007 SOS 733013 HAS SOPS 732697 HAS SOUS 111082 HAS SOUPS 110831 WITH SCORE 111564.013
AT ITER 5679 NEW BEST:: SOT 868007 SOS 733013 HAS SOPS 732697 HAS SOUS 111063 HAS SOUPS 110812 WITH SCORE 111545.013
AT ITER 5696 NEW BEST:: SOT 868002 SOS 732993 HAS SOPS 732677 HAS SOUS 111053 HAS SOUPS 110802 WITH SCORE 111534.993
AT ITER 5763 NEW BEST:: SOT 868002 SOS 732993 HAS SOPS 732677 HAS SOUS 111042 HAS SOUPS 110791 WITH SCORE 111523.993
AT ITER 5778 NEW BEST:: SOT 868002 SOS 732943 HAS SOPS 732627 HAS SOUS 111042 HAS SOUPS 110791 WITH SCORE 111523.943
AT ITER 5781 NEW BEST:: SOT 867988 SOS 732929 HAS SOPS 732613 HAS SOUS 111014 HAS SOUPS 110763 WITH SCORE 111495.929
AT ITER 5853 NEW BEST:: SOT 867978 SOS 732919 HAS SOPS 732603 HAS SOUS 111004 HAS SOUPS 110753 WITH SCORE 111485.919
AT ITER 5874 NEW BEST:: SOT 867977 SOS 732918 HAS SOPS 732602 HAS SOUS 111004 HAS SOUPS 110753 WITH SCORE 111485.918
AT ITER 5913 NEW BEST:: SOT 867966 SOS 732896 HAS SOPS 732580 HAS SOUS 110976 HAS SOUPS 110725 WITH SCORE 111457.896
AT ITER 5918 NEW BEST:: SOT 867896 SOS 732839 HAS SOPS 732523 HAS SOUS 110836 HAS SOUPS 110585 WITH SCORE 111317.839
AT ITER 5991 NEW BEST:: SOT 867895 SOS 732838 HAS SOPS 732522 HAS SOUS 110834 HAS SOUPS 110583 WITH SCORE 111315.838
AT ITER 6020 NEW BEST:: SOT 867875 SOS 732819 HAS SOPS 732524 HAS SOUS 110822 HAS SOUPS 110583 WITH SCORE 111315.819
AT ITER 6050 NEW BEST:: SOT 867851 SOS 732987 HAS SOPS 732692 HAS SOUS 110805 HAS SOUPS 110566 WITH SCORE 111298.987
AT ITER 6103 NEW BEST:: SOT 867841 SOS 732977 HAS SOPS 732682 HAS SOUS 110795 HAS SOUPS 110556 WITH SCORE 111288.977
AT ITER 6116 NEW BEST:: SOT 867822 SOS 732958 HAS SOPS 732663 HAS SOUS 110790 HAS SOUPS 110551 WITH SCORE 111283.958
AT ITER 6195 NEW BEST:: SOT 867822 SOS 732956 HAS SOPS 732661 HAS SOUS 110789 HAS SOUPS 110550 WITH SCORE 111282.956
AT ITER 6255 NEW BEST:: SOT 867808 SOS 732968 HAS SOPS 732673 HAS SOUS 110781 HAS SOUPS 110542 WITH SCORE 111274.968
AT ITER 6290 NEW BEST:: SOT 867771 SOS 732894 HAS SOPS 732599 HAS SOUS 110744 HAS SOUPS 110505 WITH SCORE 111237.894
AT ITER 6297 NEW BEST:: SOT 867731 SOS 732828 HAS SOPS 732533 HAS SOUS 110678 HAS SOUPS 110439 WITH SCORE 111171.828
AT ITER 6407 NEW BEST:: SOT 867725 SOS 732816 HAS SOPS 732521 HAS SOUS 110666 HAS SOUPS 110427 WITH SCORE 111159.816
AT ITER 6425 NEW BEST:: SOT 867677 SOS 732720 HAS SOPS 732425 HAS SOUS 110570 HAS SOUPS 110331 WITH SCORE 111063.72
AT ITER 6521 NEW BEST:: SOT 867673 SOS 732721 HAS SOPS 732421 HAS SOUS 110571 HAS SOUPS 110327 WITH SCORE 111059.721
AT ITER 6530 NEW BEST:: SOT 867670 SOS 732715 HAS SOPS 732415 HAS SOUS 110568 HAS SOUPS 110324 WITH SCORE 111056.715
AT ITER 6589 NEW BEST:: SOT 867640 SOS 732685 HAS SOPS 732385 HAS SOUS 110561 HAS SOUPS 110317 WITH SCORE 111049.685
AT ITER 6613 NEW BEST:: SOT 867629 SOS 732565 HAS SOPS 732265 HAS SOUS 110515 HAS SOUPS 110271 WITH SCORE 111003.565
AT ITER 6645 NEW BEST:: SOT 867606 SOS 732542 HAS SOPS 732242 HAS SOUS 110469 HAS SOUPS 110225 WITH SCORE 110957.542
AT ITER 6647 NEW BEST:: SOT 867606 SOS 732642 HAS SOPS 732342 HAS SOUS 110463 HAS SOUPS 110219 WITH SCORE 110951.642
AT ITER 6660 NEW BEST:: SOT 867603 SOS 732639 HAS SOPS 732339 HAS SOUS 110457 HAS SOUPS 110213 WITH SCORE 110945.639
AT ITER 6661 NEW BEST:: SOT 867582 SOS 732618 HAS SOPS 732318 HAS SOUS 110415 HAS SOUPS 110171 WITH SCORE 110903.618
AT ITER 6663 NEW BEST:: SOT 867577 SOS 732608 HAS SOPS 732308 HAS SOUS 110410 HAS SOUPS 110166 WITH SCORE 110898.608
AT ITER 6672 NEW BEST:: SOT 867546 SOS 732546 HAS SOPS 732246 HAS SOUS 110354 HAS SOUPS 110110 WITH SCORE 110842.546
AT ITER 6674 NEW BEST:: SOT 867546 SOS 732546 HAS SOPS 732246 HAS SOUS 110338 HAS SOUPS 110094 WITH SCORE 110826.546
AT ITER 6710 NEW BEST:: SOT 867530 SOS 732514 HAS SOPS 732214 HAS SOUS 110322 HAS SOUPS 110078 WITH SCORE 110810.514
AT ITER 6711 NEW BEST:: SOT 867518 SOS 732522 HAS SOPS 732222 HAS SOUS 110314 HAS SOUPS 110070 WITH SCORE 110802.522
AT ITER 6797 NEW BEST:: SOT 867518 SOS 732507 HAS SOPS 732207 HAS SOUS 110304 HAS SOUPS 110060 WITH SCORE 110792.507
AT ITER 6854 NEW BEST:: SOT 867496 SOS 732485 HAS SOPS 732185 HAS SOUS 110260 HAS SOUPS 110016 WITH SCORE 110748.485
AT ITER 6872 NEW BEST:: SOT 867496 SOS 732477 HAS SOPS 732177 HAS SOUS 110256 HAS SOUPS 110012 WITH SCORE 110744.477
AT ITER 6876 NEW BEST:: SOT 867496 SOS 732387 HAS SOPS 732096 HAS SOUS 110247 HAS SOUPS 110012 WITH SCORE 110744.387
AT ITER 6920 NEW BEST:: SOT 867465 SOS 732487 HAS SOPS 732196 HAS SOUS 110220 HAS SOUPS 109985 WITH SCORE 110717.487
AT ITER 6952 NEW BEST:: SOT 867443 SOS 732443 HAS SOPS 732152 HAS SOUS 110184 HAS SOUPS 109949 WITH SCORE 110681.443
AT ITER 6966 NEW BEST:: SOT 867441 SOS 732459 HAS SOPS 732168 HAS SOUS 110181 HAS SOUPS 109946 WITH SCORE 110678.459
AT ITER 6968 NEW BEST:: SOT 867437 SOS 732451 HAS SOPS 732160 HAS SOUS 110173 HAS SOUPS 109938 WITH SCORE 110670.451
AT ITER 6989 NEW BEST:: SOT 867429 SOS 732443 HAS SOPS 732152 HAS SOUS 110157 HAS SOUPS 109922 WITH SCORE 110654.443
AT ITER 7034 NEW BEST:: SOT 867422 SOS 732436 HAS SOPS 732145 HAS SOUS 110143 HAS SOUPS 109908 WITH SCORE 110640.436
AT ITER 7070 NEW BEST:: SOT 867418 SOS 732428 HAS SOPS 732137 HAS SOUS 110138 HAS SOUPS 109903 WITH SCORE 110635.428
AT ITER 7074 NEW BEST:: SOT 867378 SOS 732268 HAS SOPS 731977 HAS SOUS 110058 HAS SOUPS 109823 WITH SCORE 110555.268
AT ITER 7080 NEW BEST:: SOT 867374 SOS 732264 HAS SOPS 731973 HAS SOUS 110054 HAS SOUPS 109819 WITH SCORE 110551.264
AT ITER 7086 NEW BEST:: SOT 867372 SOS 732260 HAS SOPS 731969 HAS SOUS 110052 HAS SOUPS 109817 WITH SCORE 110549.26
AT ITER 7111 NEW BEST:: SOT 867347 SOS 732210 HAS SOPS 731919 HAS SOUS 110002 HAS SOUPS 109767 WITH SCORE 110499.21
AT ITER 7158 NEW BEST:: SOT 867368 SOS 732104 HAS SOPS 731813 HAS SOUS 109970 HAS SOUPS 109735 WITH SCORE 110467.104
AT ITER 7162 NEW BEST:: SOT 867357 SOS 732041 HAS SOPS 731750 HAS SOUS 109959 HAS SOUPS 109724 WITH SCORE 110456.041
AT ITER 7165 NEW BEST:: SOT 867346 SOS 732019 HAS SOPS 731728 HAS SOUS 109950 HAS SOUPS 109715 WITH SCORE 110447.019
AT ITER 7176 NEW BEST:: SOT 867342 SOS 732011 HAS SOPS 731720 HAS SOUS 109937 HAS SOUPS 109702 WITH SCORE 110434.011
AT ITER 7194 NEW BEST:: SOT 867335 SOS 731997 HAS SOPS 731706 HAS SOUS 109920 HAS SOUPS 109685 WITH SCORE 110416.997
AT ITER 7199 NEW BEST:: SOT 867333 SOS 731995 HAS SOPS 731704 HAS SOUS 109910 HAS SOUPS 109675 WITH SCORE 110406.995
AT ITER 7220 NEW BEST:: SOT 867317 SOS 731979 HAS SOPS 731688 HAS SOUS 109894 HAS SOUPS 109659 WITH SCORE 110390.979
AT ITER 7226 NEW BEST:: SOT 867302 SOS 731964 HAS SOPS 731673 HAS SOUS 109864 HAS SOUPS 109629 WITH SCORE 110360.964
AT ITER 7245 NEW BEST:: SOT 867276 SOS 731938 HAS SOPS 731647 HAS SOUS 109825 HAS SOUPS 109590 WITH SCORE 110321.938
AT ITER 7258 NEW BEST:: SOT 867257 SOS 731919 HAS SOPS 731628 HAS SOUS 109787 HAS SOUPS 109552 WITH SCORE 110283.919
AT ITER 7276 NEW BEST:: SOT 867221 SOS 731917 HAS SOPS 731626 HAS SOUS 109739 HAS SOUPS 109504 WITH SCORE 110235.917
AT ITER 7280 NEW BEST:: SOT 867219 SOS 731915 HAS SOPS 731624 HAS SOUS 109737 HAS SOUPS 109502 WITH SCORE 110233.915
AT ITER 7348 NEW BEST:: SOT 867217 SOS 731913 HAS SOPS 731622 HAS SOUS 109733 HAS SOUPS 109498 WITH SCORE 110229.913
AT ITER 7459 NEW BEST:: SOT 867210 SOS 731899 HAS SOPS 731608 HAS SOUS 109726 HAS SOUPS 109491 WITH SCORE 110222.899
AT ITER 7469 NEW BEST:: SOT 867181 SOS 731841 HAS SOPS 731550 HAS SOUS 109697 HAS SOUPS 109462 WITH SCORE 110193.841
AT ITER 7471 NEW BEST:: SOT 867177 SOS 731841 HAS SOPS 731550 HAS SOUS 109693 HAS SOUPS 109458 WITH SCORE 110189.841
AT ITER 7472 NEW BEST:: SOT 867032 SOS 731568 HAS SOPS 731277 HAS SOUS 109638 HAS SOUPS 109403 WITH SCORE 110134.568
AT ITER 7516 NEW BEST:: SOT 867032 SOS 731568 HAS SOPS 731277 HAS SOUS 109619 HAS SOUPS 109384 WITH SCORE 110115.568
AT ITER 7529 NEW BEST:: SOT 867011 SOS 731526 HAS SOPS 731235 HAS SOUS 109581 HAS SOUPS 109346 WITH SCORE 110077.526
AT ITER 7597 NEW BEST:: SOT 866925 SOS 731516 HAS SOPS 731225 HAS SOUS 109466 HAS SOUPS 109231 WITH SCORE 109962.516
AT ITER 7631 NEW BEST:: SOT 866924 SOS 731514 HAS SOPS 731223 HAS SOUS 109464 HAS SOUPS 109229 WITH SCORE 109960.514
AT ITER 7672 NEW BEST:: SOT 866866 SOS 731407 HAS SOPS 731116 HAS SOUS 109406 HAS SOUPS 109171 WITH SCORE 109902.407
AT ITER 7685 NEW BEST:: SOT 866864 SOS 731405 HAS SOPS 731114 HAS SOUS 109404 HAS SOUPS 109169 WITH SCORE 109900.405
AT ITER 7694 NEW BEST:: SOT 866792 SOS 731337 HAS SOPS 731046 HAS SOUS 109389 HAS SOUPS 109154 WITH SCORE 109885.337
AT ITER 7695 NEW BEST:: SOT 866791 SOS 731397 HAS SOPS 731106 HAS SOUS 109388 HAS SOUPS 109153 WITH SCORE 109884.397
AT ITER 7704 NEW BEST:: SOT 866787 SOS 731393 HAS SOPS 731102 HAS SOUS 109380 HAS SOUPS 109145 WITH SCORE 109876.393
AT ITER 7738 NEW BEST:: SOT 866787 SOS 731391 HAS SOPS 731100 HAS SOUS 109380 HAS SOUPS 109145 WITH SCORE 109876.391
AT ITER 7879 NEW BEST:: SOT 866787 SOS 731389 HAS SOPS 731098 HAS SOUS 109380 HAS SOUPS 109145 WITH SCORE 109876.389
AT ITER 7964 NEW BEST:: SOT 866788 SOS 731391 HAS SOPS 731100 HAS SOUS 109377 HAS SOUPS 109142 WITH SCORE 109873.391
AT ITER 8002 NEW BEST:: SOT 865743 SOS 730346 HAS SOPS 730055 HAS SOUS 109322 HAS SOUPS 109087 WITH SCORE 109817.346
AT ITER 8030 NEW BEST:: SOT 865724 SOS 730308 HAS SOPS 730017 HAS SOUS 109284 HAS SOUPS 109049 WITH SCORE 109779.308
AT ITER 8032 NEW BEST:: SOT 865722 SOS 730304 HAS SOPS 730013 HAS SOUS 109282 HAS SOUPS 109047 WITH SCORE 109777.304
AT ITER 8060 NEW BEST:: SOT 865678 SOS 730216 HAS SOPS 729925 HAS SOUS 109238 HAS SOUPS 109003 WITH SCORE 109733.216
AT ITER 8071 NEW BEST:: SOT 865667 SOS 730194 HAS SOPS 729903 HAS SOUS 109227 HAS SOUPS 108992 WITH SCORE 109722.194
AT ITER 8127 NEW BEST:: SOT 865651 SOS 730282 HAS SOPS 729991 HAS SOUS 109223 HAS SOUPS 108988 WITH SCORE 109718.282
AT ITER 8130 NEW BEST:: SOT 865570 SOS 730120 HAS SOPS 729829 HAS SOUS 109097 HAS SOUPS 108862 WITH SCORE 109592.12
AT ITER 8133 NEW BEST:: SOT 865566 SOS 730116 HAS SOPS 729825 HAS SOUS 109089 HAS SOUPS 108854 WITH SCORE 109584.116
AT ITER 8159 NEW BEST:: SOT 865533 SOS 730050 HAS SOPS 729759 HAS SOUS 109004 HAS SOUPS 108769 WITH SCORE 109499.05
AT ITER 8191 NEW BEST:: SOT 865533 SOS 729944 HAS SOPS 729653 HAS SOUS 109004 HAS SOUPS 108769 WITH SCORE 109498.944
AT ITER 8193 NEW BEST:: SOT 865425 SOS 729770 HAS SOPS 729479 HAS SOUS 109004 HAS SOUPS 108769 WITH SCORE 109498.77
AT ITER 8198 NEW BEST:: SOT 865425 SOS 729770 HAS SOPS 729479 HAS SOUS 109003 HAS SOUPS 108768 WITH SCORE 109497.77
AT ITER 8201 NEW BEST:: SOT 865419 SOS 729758 HAS SOPS 729467 HAS SOUS 108991 HAS SOUPS 108756 WITH SCORE 109485.758
AT ITER 8217 NEW BEST:: SOT 865392 SOS 729746 HAS SOPS 729455 HAS SOUS 108958 HAS SOUPS 108723 WITH SCORE 109452.746
AT ITER 8243 NEW BEST:: SOT 864917 SOS 729271 HAS SOPS 728980 HAS SOUS 108958 HAS SOUPS 108723 WITH SCORE 109452.271
AT ITER 8248 NEW BEST:: SOT 864894 SOS 729248 HAS SOPS 728957 HAS SOUS 108912 HAS SOUPS 108677 WITH SCORE 109406.248
AT ITER 8265 NEW BEST:: SOT 864883 SOS 729226 HAS SOPS 728935 HAS SOUS 108884 HAS SOUPS 108649 WITH SCORE 109378.226
AT ITER 8283 NEW BEST:: SOT 864889 SOS 729180 HAS SOPS 728889 HAS SOUS 108867 HAS SOUPS 108632 WITH SCORE 109361.18
AT ITER 8290 NEW BEST:: SOT 864881 SOS 729172 HAS SOPS 728888 HAS SOUS 108859 HAS SOUPS 108631 WITH SCORE 109360.172
AT ITER 8353 NEW BEST:: SOT 864871 SOS 729328 HAS SOPS 729044 HAS SOUS 108849 HAS SOUPS 108621 WITH SCORE 109350.328
AT ITER 8370 NEW BEST:: SOT 864893 SOS 729350 HAS SOPS 729066 HAS SOUS 108843 HAS SOUPS 108615 WITH SCORE 109344.35
AT ITER 8380 NEW BEST:: SOT 864515 SOS 728972 HAS SOPS 728688 HAS SOUS 108843 HAS SOUPS 108615 WITH SCORE 109343.972
AT ITER 8506 NEW BEST:: SOT 864509 SOS 728960 HAS SOPS 728676 HAS SOUS 108837 HAS SOUPS 108609 WITH SCORE 109337.96
AT ITER 8518 NEW BEST:: SOT 864437 SOS 728888 HAS SOPS 728604 HAS SOUS 108837 HAS SOUPS 108609 WITH SCORE 109337.888
AT ITER 8543 NEW BEST:: SOT 864435 SOS 728884 HAS SOPS 728600 HAS SOUS 108835 HAS SOUPS 108607 WITH SCORE 109335.884
AT ITER 8551 NEW BEST:: SOT 864435 SOS 728884 HAS SOPS 728600 HAS SOUS 108827 HAS SOUPS 108599 WITH SCORE 109327.884
AT ITER 8596 NEW BEST:: SOT 864435 SOS 728820 HAS SOPS 728536 HAS SOUS 108806 HAS SOUPS 108578 WITH SCORE 109306.82
AT ITER 8630 NEW BEST:: SOT 864432 SOS 728817 HAS SOPS 728533 HAS SOUS 108799 HAS SOUPS 108571 WITH SCORE 109299.817
AT ITER 8645 NEW BEST:: SOT 864430 SOS 728805 HAS SOPS 728521 HAS SOUS 108797 HAS SOUPS 108569 WITH SCORE 109297.805
AT ITER 8670 NEW BEST:: SOT 864416 SOS 728777 HAS SOPS 728493 HAS SOUS 108712 HAS SOUPS 108484 WITH SCORE 109212.777
AT ITER 8673 NEW BEST:: SOT 864402 SOS 728749 HAS SOPS 728465 HAS SOUS 108698 HAS SOUPS 108470 WITH SCORE 109198.749
AT ITER 8680 NEW BEST:: SOT 864363 SOS 728749 HAS SOPS 728465 HAS SOUS 108679 HAS SOUPS 108451 WITH SCORE 109179.749
AT ITER 8704 NEW BEST:: SOT 864345 SOS 728713 HAS SOPS 728429 HAS SOUS 108652 HAS SOUPS 108424 WITH SCORE 109152.713
AT ITER 8721 NEW BEST:: SOT 864364 SOS 728537 HAS SOPS 728253 HAS SOUS 108607 HAS SOUPS 108379 WITH SCORE 109107.537
AT ITER 8766 NEW BEST:: SOT 864361 SOS 728534 HAS SOPS 728250 HAS SOUS 108601 HAS SOUPS 108373 WITH SCORE 109101.534
AT ITER 8780 NEW BEST:: SOT 864355 SOS 728522 HAS SOPS 728238 HAS SOUS 108595 HAS SOUPS 108367 WITH SCORE 109095.522
AT ITER 8816 NEW BEST:: SOT 864338 SOS 728505 HAS SOPS 728221 HAS SOUS 108561 HAS SOUPS 108333 WITH SCORE 109061.505
AT ITER 8919 NEW BEST:: SOT 864338 SOS 728493 HAS SOPS 728209 HAS SOUS 108561 HAS SOUPS 108333 WITH SCORE 109061.493
AT ITER 8948 NEW BEST:: SOT 864307 SOS 728431 HAS SOPS 728147 HAS SOUS 108530 HAS SOUPS 108302 WITH SCORE 109030.431
AT ITER 9126 NEW BEST:: SOT 864261 SOS 728385 HAS SOPS 728101 HAS SOUS 108466 HAS SOUPS 108238 WITH SCORE 108966.385
AT ITER 9188 NEW BEST:: SOT 864261 SOS 728367 HAS SOPS 728083 HAS SOUS 108464 HAS SOUPS 108236 WITH SCORE 108964.367
AT ITER 9209 NEW BEST:: SOT 864261 SOS 728367 HAS SOPS 728083 HAS SOUS 108420 HAS SOUPS 108192 WITH SCORE 108920.367
AT ITER 9244 NEW BEST:: SOT 864245 SOS 728377 HAS SOPS 728093 HAS SOUS 108404 HAS SOUPS 108176 WITH SCORE 108904.377
AT ITER 9274 NEW BEST:: SOT 864027 SOS 728159 HAS SOPS 727875 HAS SOUS 108326 HAS SOUPS 108098 WITH SCORE 108826.159
AT ITER 9286 NEW BEST:: SOT 863818 SOS 727950 HAS SOPS 727666 HAS SOUS 108305 HAS SOUPS 108077 WITH SCORE 108804.95
AT ITER 9323 NEW BEST:: SOT 863778 SOS 728114 HAS SOPS 727830 HAS SOUS 108289 HAS SOUPS 108061 WITH SCORE 108789.114
AT ITER 9331 NEW BEST:: SOT 863784 SOS 728126 HAS SOPS 727842 HAS SOUS 108287 HAS SOUPS 108059 WITH SCORE 108787.126
AT ITER 9354 NEW BEST:: SOT 863537 SOS 727879 HAS SOPS 727595 HAS SOUS 108278 HAS SOUPS 108050 WITH SCORE 108777.879
AT ITER 9389 NEW BEST:: SOT 863537 SOS 727879 HAS SOPS 727595 HAS SOUS 108273 HAS SOUPS 108045 WITH SCORE 108772.879
AT ITER 9431 NEW BEST:: SOT 863520 SOS 727862 HAS SOPS 727578 HAS SOUS 108272 HAS SOUPS 108044 WITH SCORE 108771.862
AT ITER 9450 NEW BEST:: SOT 863519 SOS 727861 HAS SOPS 727577 HAS SOUS 108271 HAS SOUPS 108043 WITH SCORE 108770.861
AT ITER 9466 NEW BEST:: SOT 863500 SOS 727842 HAS SOPS 727558 HAS SOUS 108233 HAS SOUPS 108005 WITH SCORE 108732.842
AT ITER 9499 NEW BEST:: SOT 863479 SOS 727821 HAS SOPS 727537 HAS SOUS 108191 HAS SOUPS 107963 WITH SCORE 108690.821
AT ITER 9577 NEW BEST:: SOT 863474 SOS 727811 HAS SOPS 727527 HAS SOUS 108181 HAS SOUPS 107953 WITH SCORE 108680.811
AT ITER 9623 NEW BEST:: SOT 863469 SOS 727811 HAS SOPS 727527 HAS SOUS 108176 HAS SOUPS 107948 WITH SCORE 108675.811
AT ITER 9632 NEW BEST:: SOT 863462 SOS 727804 HAS SOPS 727520 HAS SOUS 108169 HAS SOUPS 107941 WITH SCORE 108668.804
AT ITER 9648 NEW BEST:: SOT 863450 SOS 727792 HAS SOPS 727508 HAS SOUS 108145 HAS SOUPS 107917 WITH SCORE 108644.792
AT ITER 9681 NEW BEST:: SOT 863439 SOS 727792 HAS SOPS 727508 HAS SOUS 108134 HAS SOUPS 107906 WITH SCORE 108633.792
AT ITER 9708 NEW BEST:: SOT 863425 SOS 727764 HAS SOPS 727480 HAS SOUS 108120 HAS SOUPS 107892 WITH SCORE 108619.764
AT ITER 9714 NEW BEST:: SOT 863401 SOS 727740 HAS SOPS 727456 HAS SOUS 108073 HAS SOUPS 107845 WITH SCORE 108572.74
AT ITER 9719 NEW BEST:: SOT 863383 SOS 727722 HAS SOPS 727438 HAS SOUS 108073 HAS SOUPS 107845 WITH SCORE 108572.722
AT ITER 9742 NEW BEST:: SOT 863383 SOS 727716 HAS SOPS 727432 HAS SOUS 108071 HAS SOUPS 107843 WITH SCORE 108570.716
AT ITER 9749 NEW BEST:: SOT 863375 SOS 727708 HAS SOPS 727424 HAS SOUS 108055 HAS SOUPS 107827 WITH SCORE 108554.708
AT ITER 9773 NEW BEST:: SOT 863385 SOS 727696 HAS SOPS 727412 HAS SOUS 108055 HAS SOUPS 107827 WITH SCORE 108554.696
AT ITER 9793 NEW BEST:: SOT 863368 SOS 727679 HAS SOPS 727395 HAS SOUS 108021 HAS SOUPS 107793 WITH SCORE 108520.679
AT ITER 9818 NEW BEST:: SOT 863361 SOS 727665 HAS SOPS 727381 HAS SOUS 108014 HAS SOUPS 107786 WITH SCORE 108513.665
AT ITER 9849 NEW BEST:: SOT 863356 SOS 727639 HAS SOPS 727355 HAS SOUS 108009 HAS SOUPS 107781 WITH SCORE 108508.639
AT ITER 9861 NEW BEST:: SOT 863347 SOS 727621 HAS SOPS 727337 HAS SOUS 107991 HAS SOUPS 107763 WITH SCORE 108490.621
AT ITER 9871 NEW BEST:: SOT 863347 SOS 727617 HAS SOPS 727333 HAS SOUS 107991 HAS SOUPS 107763 WITH SCORE 108490.617
AT ITER 9938 NEW BEST:: SOT 863336 SOS 727606 HAS SOPS 727322 HAS SOUS 107969 HAS SOUPS 107741 WITH SCORE 108468.606
AT ITER 9940 NEW BEST:: SOT 862953 SOS 727223 HAS SOPS 726939 HAS SOUS 107964 HAS SOUPS 107736 WITH SCORE 108463.223
AT ITER 9946 NEW BEST:: SOT 862933 SOS 727219 HAS SOPS 726935 HAS SOUS 107960 HAS SOUPS 107732 WITH SCORE 108459.219
AT ITER 9960 NEW BEST:: SOT 862903 SOS 727189 HAS SOPS 726905 HAS SOUS 107900 HAS SOUPS 107672 WITH SCORE 108399.189
AT ITER 9973 NEW BEST:: SOT 862903 SOS 727189 HAS SOPS 726905 HAS SOUS 107888 HAS SOUPS 107660 WITH SCORE 108387.189
AT ITER 9988 NEW BEST:: SOT 862908 SOS 727177 HAS SOPS 726893 HAS SOUS 107887 HAS SOUPS 107659 WITH SCORE 108386.177
AT ITER 9991 NEW BEST:: SOT 862692 SOS 726961 HAS SOPS 726677 HAS SOUS 107887 HAS SOUPS 107659 WITH SCORE 108385.961
AT ITER 9994 NEW BEST:: SOT 862694 SOS 726972 HAS SOPS 726688 HAS SOUS 107882 HAS SOUPS 107654 WITH SCORE 108380.972
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 2865144 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16127304 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.202304061127.jar
++ perl -pe 's/.*\.//g'
+ VERSION=202304061127
+ echo 'Running Version 202304061127'
+ /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="Anderson-PT-10"
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 Anderson-PT-10, 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 r523-tall-167987247500056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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