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-167813696900496.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-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696900496
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 556K
-rw-r--r-- 1 mcc users 8.0K Feb 25 16:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 95K Feb 25 16:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 16:50 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 25 16:50 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:52 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 130K Feb 25 16:52 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 16:52 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 16:52 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:38 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 85K 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 1678790280310

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-06
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:38:01] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:38:01] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:38:02] [INFO ] Load time of PNML (sax parser for PT used): 51 ms
[2023-03-14 10:38:02] [INFO ] Transformed 376 places.
[2023-03-14 10:38:02] [INFO ] Transformed 297 transitions.
[2023-03-14 10:38:02] [INFO ] Found NUPN structural information;
[2023-03-14 10:38:02] [INFO ] Parsed PT model containing 376 places and 297 transitions and 830 arcs in 112 ms.
[2023-03-14 10:38:02] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 376 places, 297 transitions and 830 arcs took 5 ms.
Total runtime 144 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 06
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: 376 places, 297 transitions, 830 arcs.
AT ITER 0 NEW BEST:: SOT 72155 SOS 29734 HAS SOPS 29734 HAS SOUS 29620 HAS SOUPS 29620 WITH SCORE 29649.734
AT ITER 5 NEW BEST:: SOT 72071 SOS 29649 HAS SOPS 29649 HAS SOUS 29535 HAS SOUPS 29535 WITH SCORE 29564.649
AT ITER 11 NEW BEST:: SOT 72070 SOS 29552 HAS SOPS 29552 HAS SOUS 29438 HAS SOUPS 29438 WITH SCORE 29467.552
AT ITER 12 NEW BEST:: SOT 71951 SOS 29433 HAS SOPS 29433 HAS SOUS 29319 HAS SOUPS 29319 WITH SCORE 29348.433
AT ITER 13 NEW BEST:: SOT 71984 SOS 29400 HAS SOPS 29400 HAS SOUS 29286 HAS SOUPS 29286 WITH SCORE 29315.4
AT ITER 16 NEW BEST:: SOT 71897 SOS 29313 HAS SOPS 29313 HAS SOUS 29199 HAS SOUPS 29199 WITH SCORE 29228.313
AT ITER 21 NEW BEST:: SOT 71886 SOS 29215 HAS SOPS 29215 HAS SOUS 29101 HAS SOUPS 29101 WITH SCORE 29130.215
AT ITER 26 NEW BEST:: SOT 71819 SOS 29214 HAS SOPS 29214 HAS SOUS 29100 HAS SOUPS 29100 WITH SCORE 29129.214
AT ITER 27 NEW BEST:: SOT 71734 SOS 29102 HAS SOPS 29102 HAS SOUS 28988 HAS SOUPS 28988 WITH SCORE 29017.102
AT ITER 31 NEW BEST:: SOT 71734 SOS 29074 HAS SOPS 29074 HAS SOUS 28960 HAS SOUPS 28960 WITH SCORE 28989.074
AT ITER 37 NEW BEST:: SOT 71734 SOS 29050 HAS SOPS 29050 HAS SOUS 28936 HAS SOUPS 28936 WITH SCORE 28965.05
AT ITER 40 NEW BEST:: SOT 71697 SOS 28976 HAS SOPS 28976 HAS SOUS 28862 HAS SOUPS 28862 WITH SCORE 28890.976
AT ITER 41 NEW BEST:: SOT 71697 SOS 28912 HAS SOPS 28912 HAS SOUS 28798 HAS SOUPS 28798 WITH SCORE 28826.912
AT ITER 60 NEW BEST:: SOT 69449 SOS 32966 HAS SOPS 32966 HAS SOUS 27004 HAS SOUPS 27004 WITH SCORE 27036.966
AT ITER 72 NEW BEST:: SOT 69467 SOS 32984 HAS SOPS 32984 HAS SOUS 27003 HAS SOUPS 27003 WITH SCORE 27035.984
AT ITER 83 NEW BEST:: SOT 69503 SOS 32966 HAS SOPS 32966 HAS SOUS 26985 HAS SOUPS 26985 WITH SCORE 27017.966
AT ITER 84 NEW BEST:: SOT 69472 SOS 32900 HAS SOPS 32900 HAS SOUS 26919 HAS SOUPS 26919 WITH SCORE 26951.9
AT ITER 86 NEW BEST:: SOT 69355 SOS 32783 HAS SOPS 32783 HAS SOUS 26918 HAS SOUPS 26918 WITH SCORE 26950.783
AT ITER 89 NEW BEST:: SOT 69336 SOS 32782 HAS SOPS 32782 HAS SOUS 26917 HAS SOUPS 26917 WITH SCORE 26949.782
AT ITER 97 NEW BEST:: SOT 69294 SOS 32735 HAS SOPS 32735 HAS SOUS 26870 HAS SOUPS 26870 WITH SCORE 26902.735
AT ITER 100 NEW BEST:: SOT 69294 SOS 32735 HAS SOPS 32735 HAS SOUS 26853 HAS SOUPS 26853 WITH SCORE 26885.735
AT ITER 107 NEW BEST:: SOT 69409 SOS 32607 HAS SOPS 32607 HAS SOUS 26824 HAS SOUPS 26824 WITH SCORE 26856.607
AT ITER 116 NEW BEST:: SOT 69407 SOS 32603 HAS SOPS 32603 HAS SOUS 26820 HAS SOUPS 26820 WITH SCORE 26852.603
AT ITER 123 NEW BEST:: SOT 69366 SOS 32386 HAS SOPS 32386 HAS SOUS 26646 HAS SOUPS 26646 WITH SCORE 26678.386
AT ITER 125 NEW BEST:: SOT 69479 SOS 32370 HAS SOPS 32370 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26662.37
AT ITER 131 NEW BEST:: SOT 69437 SOS 32273 HAS SOPS 32273 HAS SOUS 26588 HAS SOUPS 26588 WITH SCORE 26620.273
AT ITER 133 NEW BEST:: SOT 69509 SOS 32212 HAS SOPS 32212 HAS SOUS 26527 HAS SOUPS 26527 WITH SCORE 26559.212
AT ITER 151 NEW BEST:: SOT 69539 SOS 32242 HAS SOPS 32242 HAS SOUS 26526 HAS SOUPS 26526 WITH SCORE 26558.242
AT ITER 156 NEW BEST:: SOT 69501 SOS 32187 HAS SOPS 32187 HAS SOUS 26471 HAS SOUPS 26471 WITH SCORE 26503.187
AT ITER 157 NEW BEST:: SOT 69381 SOS 31948 HAS SOPS 31948 HAS SOUS 26293 HAS SOUPS 26293 WITH SCORE 26324.948
AT ITER 200 NEW BEST:: SOT 69381 SOS 31948 HAS SOPS 31948 HAS SOUS 26275 HAS SOUPS 26275 WITH SCORE 26306.948
AT ITER 201 NEW BEST:: SOT 69401 SOS 31823 HAS SOPS 31823 HAS SOUS 26233 HAS SOUPS 26233 WITH SCORE 26264.823
AT ITER 203 NEW BEST:: SOT 69361 SOS 31743 HAS SOPS 31743 HAS SOUS 26166 HAS SOUPS 26166 WITH SCORE 26197.743
AT ITER 204 NEW BEST:: SOT 69360 SOS 31741 HAS SOPS 31741 HAS SOUS 26164 HAS SOUPS 26164 WITH SCORE 26195.741
AT ITER 206 NEW BEST:: SOT 69359 SOS 31644 HAS SOPS 31644 HAS SOUS 26067 HAS SOUPS 26067 WITH SCORE 26098.644
AT ITER 222 NEW BEST:: SOT 69358 SOS 31625 HAS SOPS 31625 HAS SOUS 26048 HAS SOUPS 26048 WITH SCORE 26079.625
AT ITER 230 NEW BEST:: SOT 69315 SOS 31490 HAS SOPS 31490 HAS SOUS 26004 HAS SOUPS 26004 WITH SCORE 26035.49
AT ITER 232 NEW BEST:: SOT 69314 SOS 31488 HAS SOPS 31488 HAS SOUS 26002 HAS SOUPS 26002 WITH SCORE 26033.488
AT ITER 235 NEW BEST:: SOT 69057 SOS 31109 HAS SOPS 31109 HAS SOUS 25758 HAS SOUPS 25758 WITH SCORE 25789.109
AT ITER 255 NEW BEST:: SOT 69143 SOS 31120 HAS SOPS 31120 HAS SOUS 25738 HAS SOUPS 25738 WITH SCORE 25769.12
AT ITER 261 NEW BEST:: SOT 69142 SOS 31119 HAS SOPS 31119 HAS SOUS 25737 HAS SOUPS 25737 WITH SCORE 25768.119
AT ITER 266 NEW BEST:: SOT 69114 SOS 31063 HAS SOPS 31063 HAS SOUS 25681 HAS SOUPS 25681 WITH SCORE 25712.063
AT ITER 271 NEW BEST:: SOT 69110 SOS 31055 HAS SOPS 31055 HAS SOUS 25673 HAS SOUPS 25673 WITH SCORE 25704.055
AT ITER 274 NEW BEST:: SOT 69012 SOS 30957 HAS SOPS 30957 HAS SOUS 25649 HAS SOUPS 25649 WITH SCORE 25679.957
AT ITER 277 NEW BEST:: SOT 69012 SOS 30957 HAS SOPS 30957 HAS SOUS 25589 HAS SOUPS 25589 WITH SCORE 25619.957
AT ITER 280 NEW BEST:: SOT 68983 SOS 30928 HAS SOPS 30928 HAS SOUS 25560 HAS SOUPS 25560 WITH SCORE 25590.928
AT ITER 292 NEW BEST:: SOT 68983 SOS 30928 HAS SOPS 30928 HAS SOUS 25547 HAS SOUPS 25547 WITH SCORE 25577.928
AT ITER 298 NEW BEST:: SOT 68738 SOS 30562 HAS SOPS 30562 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25211.562
AT ITER 306 NEW BEST:: SOT 68737 SOS 30560 HAS SOPS 30560 HAS SOUS 25179 HAS SOUPS 25179 WITH SCORE 25209.56
AT ITER 322 NEW BEST:: SOT 68678 SOS 30442 HAS SOPS 30442 HAS SOUS 25061 HAS SOUPS 25061 WITH SCORE 25091.442
AT ITER 325 NEW BEST:: SOT 68382 SOS 29998 HAS SOPS 29998 HAS SOUS 24765 HAS SOUPS 24765 WITH SCORE 24794.998
AT ITER 333 NEW BEST:: SOT 68382 SOS 29835 HAS SOPS 29835 HAS SOUS 24704 HAS SOUPS 24704 WITH SCORE 24733.835
AT ITER 337 NEW BEST:: SOT 68382 SOS 29759 HAS SOPS 29759 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24657.759
AT ITER 338 NEW BEST:: SOT 68287 SOS 29627 HAS SOPS 29627 HAS SOUS 24554 HAS SOUPS 24554 WITH SCORE 24583.627
AT ITER 353 NEW BEST:: SOT 68331 SOS 29555 HAS SOPS 29555 HAS SOUS 24482 HAS SOUPS 24482 WITH SCORE 24511.555
AT ITER 363 NEW BEST:: SOT 68270 SOS 29551 HAS SOPS 29551 HAS SOUS 24478 HAS SOUPS 24478 WITH SCORE 24507.551
AT ITER 372 NEW BEST:: SOT 68269 SOS 29550 HAS SOPS 29550 HAS SOUS 24477 HAS SOUPS 24477 WITH SCORE 24506.55
AT ITER 377 NEW BEST:: SOT 68269 SOS 29550 HAS SOPS 29550 HAS SOUS 24464 HAS SOUPS 24464 WITH SCORE 24493.55
AT ITER 382 NEW BEST:: SOT 68266 SOS 29546 HAS SOPS 29546 HAS SOUS 24460 HAS SOUPS 24460 WITH SCORE 24489.546
AT ITER 411 NEW BEST:: SOT 68155 SOS 29354 HAS SOPS 29354 HAS SOUS 24268 HAS SOUPS 24268 WITH SCORE 24297.354
AT ITER 412 NEW BEST:: SOT 68000 SOS 29076 HAS SOPS 29076 HAS SOUS 24009 HAS SOUPS 24009 WITH SCORE 24038.076
AT ITER 420 NEW BEST:: SOT 67932 SOS 28974 HAS SOPS 28974 HAS SOUS 23941 HAS SOUPS 23941 WITH SCORE 23969.974
AT ITER 463 NEW BEST:: SOT 67947 SOS 28928 HAS SOPS 28928 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23862.928
AT ITER 464 NEW BEST:: SOT 67914 SOS 28895 HAS SOPS 28895 HAS SOUS 23834 HAS SOUPS 23834 WITH SCORE 23862.895
AT ITER 466 NEW BEST:: SOT 67990 SOS 28846 HAS SOPS 28846 HAS SOUS 23708 HAS SOUPS 23708 WITH SCORE 23736.846
AT ITER 470 NEW BEST:: SOT 67989 SOS 28845 HAS SOPS 28845 HAS SOUS 23707 HAS SOUPS 23707 WITH SCORE 23735.845
AT ITER 475 NEW BEST:: SOT 67977 SOS 28809 HAS SOPS 28809 HAS SOUS 23683 HAS SOUPS 23683 WITH SCORE 23711.809
AT ITER 481 NEW BEST:: SOT 67976 SOS 28808 HAS SOPS 28808 HAS SOUS 23682 HAS SOUPS 23682 WITH SCORE 23710.808
AT ITER 485 NEW BEST:: SOT 67971 SOS 28803 HAS SOPS 28803 HAS SOUS 23677 HAS SOUPS 23677 WITH SCORE 23705.803
AT ITER 487 NEW BEST:: SOT 67896 SOS 28653 HAS SOPS 28653 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23704.653
AT ITER 490 NEW BEST:: SOT 67871 SOS 28632 HAS SOPS 28632 HAS SOUS 23655 HAS SOUPS 23655 WITH SCORE 23683.632
AT ITER 491 NEW BEST:: SOT 67849 SOS 28613 HAS SOPS 28613 HAS SOUS 23636 HAS SOUPS 23636 WITH SCORE 23664.613
AT ITER 527 NEW BEST:: SOT 67853 SOS 28493 HAS SOPS 28493 HAS SOUS 23562 HAS SOUPS 23562 WITH SCORE 23590.493
AT ITER 530 NEW BEST:: SOT 67753 SOS 28343 HAS SOPS 28343 HAS SOUS 23462 HAS SOUPS 23462 WITH SCORE 23490.343
AT ITER 531 NEW BEST:: SOT 67733 SOS 28313 HAS SOPS 28313 HAS SOUS 23432 HAS SOUPS 23432 WITH SCORE 23460.313
AT ITER 540 NEW BEST:: SOT 67732 SOS 28311 HAS SOPS 28311 HAS SOUS 23430 HAS SOUPS 23430 WITH SCORE 23458.311
AT ITER 545 NEW BEST:: SOT 67731 SOS 28283 HAS SOPS 28283 HAS SOUS 23428 HAS SOUPS 23428 WITH SCORE 23456.283
AT ITER 548 NEW BEST:: SOT 67697 SOS 28249 HAS SOPS 28249 HAS SOUS 23394 HAS SOUPS 23394 WITH SCORE 23422.249
AT ITER 551 NEW BEST:: SOT 67630 SOS 28168 HAS SOPS 28168 HAS SOUS 23363 HAS SOUPS 23363 WITH SCORE 23391.168
AT ITER 562 NEW BEST:: SOT 67630 SOS 28004 HAS SOPS 28004 HAS SOUS 23199 HAS SOUPS 23199 WITH SCORE 23227.004
AT ITER 566 NEW BEST:: SOT 67630 SOS 27986 HAS SOPS 27986 HAS SOUS 23181 HAS SOUPS 23181 WITH SCORE 23208.986
AT ITER 575 NEW BEST:: SOT 67561 SOS 27839 HAS SOPS 27839 HAS SOUS 23050 HAS SOUPS 23050 WITH SCORE 23077.839
AT ITER 577 NEW BEST:: SOT 67522 SOS 27761 HAS SOPS 27761 HAS SOUS 22972 HAS SOUPS 22972 WITH SCORE 22999.761
AT ITER 578 NEW BEST:: SOT 67567 SOS 27749 HAS SOPS 27749 HAS SOUS 22960 HAS SOUPS 22960 WITH SCORE 22987.749
AT ITER 585 NEW BEST:: SOT 67630 SOS 27812 HAS SOPS 27812 HAS SOUS 22959 HAS SOUPS 22959 WITH SCORE 22986.812
AT ITER 592 NEW BEST:: SOT 67562 SOS 27676 HAS SOPS 27676 HAS SOUS 22891 HAS SOUPS 22891 WITH SCORE 22918.676
AT ITER 598 NEW BEST:: SOT 67561 SOS 27674 HAS SOPS 27674 HAS SOUS 22889 HAS SOUPS 22889 WITH SCORE 22916.674
AT ITER 601 NEW BEST:: SOT 67536 SOS 27648 HAS SOPS 27648 HAS SOUS 22863 HAS SOUPS 22863 WITH SCORE 22890.648
AT ITER 609 NEW BEST:: SOT 67536 SOS 27648 HAS SOPS 27648 HAS SOUS 22844 HAS SOUPS 22844 WITH SCORE 22871.648
AT ITER 634 NEW BEST:: SOT 67613 SOS 27636 HAS SOPS 27636 HAS SOUS 22832 HAS SOUPS 22832 WITH SCORE 22859.636
AT ITER 638 NEW BEST:: SOT 67576 SOS 27566 HAS SOPS 27566 HAS SOUS 22779 HAS SOUPS 22779 WITH SCORE 22806.566
AT ITER 642 NEW BEST:: SOT 67621 SOS 27611 HAS SOPS 27611 HAS SOUS 22778 HAS SOUPS 22778 WITH SCORE 22805.611
AT ITER 656 NEW BEST:: SOT 67584 SOS 27573 HAS SOPS 27573 HAS SOUS 22776 HAS SOUPS 22776 WITH SCORE 22803.573
AT ITER 684 NEW BEST:: SOT 67582 SOS 27571 HAS SOPS 27571 HAS SOUS 22774 HAS SOUPS 22774 WITH SCORE 22801.571
AT ITER 687 NEW BEST:: SOT 67589 SOS 27540 HAS SOPS 27540 HAS SOUS 22670 HAS SOUPS 22670 WITH SCORE 22697.54
AT ITER 689 NEW BEST:: SOT 67382 SOS 27333 HAS SOPS 27333 HAS SOUS 22526 HAS SOUPS 22526 WITH SCORE 22553.333
AT ITER 693 NEW BEST:: SOT 67376 SOS 27321 HAS SOPS 27321 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22541.321
AT ITER 708 NEW BEST:: SOT 67339 SOS 27247 HAS SOPS 27247 HAS SOUS 22477 HAS SOUPS 22477 WITH SCORE 22504.247
AT ITER 709 NEW BEST:: SOT 67321 SOS 27229 HAS SOPS 27229 HAS SOUS 22459 HAS SOUPS 22459 WITH SCORE 22486.229
AT ITER 713 NEW BEST:: SOT 67248 SOS 27083 HAS SOPS 27083 HAS SOUS 22313 HAS SOUPS 22313 WITH SCORE 22340.083
AT ITER 716 NEW BEST:: SOT 67323 SOS 27045 HAS SOPS 27045 HAS SOUS 22277 HAS SOUPS 22277 WITH SCORE 22304.045
AT ITER 741 NEW BEST:: SOT 67321 SOS 26920 HAS SOPS 26920 HAS SOUS 22256 HAS SOUPS 22256 WITH SCORE 22282.92
AT ITER 751 NEW BEST:: SOT 67321 SOS 26904 HAS SOPS 26904 HAS SOUS 22240 HAS SOUPS 22240 WITH SCORE 22266.904
AT ITER 753 NEW BEST:: SOT 67321 SOS 26903 HAS SOPS 26903 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22265.903
AT ITER 759 NEW BEST:: SOT 67288 SOS 26837 HAS SOPS 26837 HAS SOUS 22224 HAS SOUPS 22224 WITH SCORE 22250.837
AT ITER 779 NEW BEST:: SOT 67246 SOS 26807 HAS SOPS 26807 HAS SOUS 22215 HAS SOUPS 22215 WITH SCORE 22241.807
AT ITER 784 NEW BEST:: SOT 67250 SOS 26820 HAS SOPS 26820 HAS SOUS 22198 HAS SOUPS 22198 WITH SCORE 22224.82
AT ITER 788 NEW BEST:: SOT 67215 SOS 26724 HAS SOPS 26724 HAS SOUS 22102 HAS SOUPS 22102 WITH SCORE 22128.724
AT ITER 804 NEW BEST:: SOT 67176 SOS 26689 HAS SOPS 26689 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22093.689
AT ITER 807 NEW BEST:: SOT 67142 SOS 26655 HAS SOPS 26655 HAS SOUS 22067 HAS SOUPS 22067 WITH SCORE 22093.655
AT ITER 813 NEW BEST:: SOT 67103 SOS 26579 HAS SOPS 26579 HAS SOUS 21991 HAS SOUPS 21991 WITH SCORE 22017.579
AT ITER 840 NEW BEST:: SOT 67103 SOS 26522 HAS SOPS 26522 HAS SOUS 21934 HAS SOUPS 21934 WITH SCORE 21960.522
AT ITER 842 NEW BEST:: SOT 67104 SOS 26486 HAS SOPS 26486 HAS SOUS 21898 HAS SOUPS 21898 WITH SCORE 21924.486
AT ITER 847 NEW BEST:: SOT 67043 SOS 26405 HAS SOPS 26405 HAS SOUS 21817 HAS SOUPS 21817 WITH SCORE 21843.405
AT ITER 850 NEW BEST:: SOT 67037 SOS 26399 HAS SOPS 26399 HAS SOUS 21811 HAS SOUPS 21811 WITH SCORE 21837.399
AT ITER 871 NEW BEST:: SOT 66969 SOS 26188 HAS SOPS 26188 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21734.188
AT ITER 885 NEW BEST:: SOT 66965 SOS 26180 HAS SOPS 26180 HAS SOUS 21708 HAS SOUPS 21708 WITH SCORE 21734.18
AT ITER 918 NEW BEST:: SOT 66965 SOS 26165 HAS SOPS 26165 HAS SOUS 21693 HAS SOUPS 21693 WITH SCORE 21719.165
AT ITER 923 NEW BEST:: SOT 66964 SOS 26159 HAS SOPS 26159 HAS SOUS 21687 HAS SOUPS 21687 WITH SCORE 21713.159
AT ITER 930 NEW BEST:: SOT 66868 SOS 26098 HAS SOPS 26098 HAS SOUS 21626 HAS SOUPS 21626 WITH SCORE 21652.098
AT ITER 933 NEW BEST:: SOT 66867 SOS 26097 HAS SOPS 26097 HAS SOUS 21625 HAS SOUPS 21625 WITH SCORE 21651.097
AT ITER 938 NEW BEST:: SOT 66854 SOS 26084 HAS SOPS 26084 HAS SOUS 21612 HAS SOUPS 21612 WITH SCORE 21638.084
AT ITER 948 NEW BEST:: SOT 66854 SOS 26081 HAS SOPS 26081 HAS SOUS 21609 HAS SOUPS 21609 WITH SCORE 21635.081
AT ITER 967 NEW BEST:: SOT 66833 SOS 26039 HAS SOPS 26039 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21593.039
AT ITER 969 NEW BEST:: SOT 66847 SOS 26020 HAS SOPS 26020 HAS SOUS 21548 HAS SOUPS 21548 WITH SCORE 21574.02
AT ITER 982 NEW BEST:: SOT 66839 SOS 26011 HAS SOPS 26011 HAS SOUS 21539 HAS SOUPS 21539 WITH SCORE 21565.011
AT ITER 993 NEW BEST:: SOT 66823 SOS 25995 HAS SOPS 25995 HAS SOUS 21523 HAS SOUPS 21523 WITH SCORE 21548.995
AT ITER 1008 NEW BEST:: SOT 66848 SOS 25992 HAS SOPS 25992 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21545.992
AT ITER 1026 NEW BEST:: SOT 66829 SOS 25954 HAS SOPS 25954 HAS SOUS 21482 HAS SOUPS 21482 WITH SCORE 21507.954
AT ITER 1027 NEW BEST:: SOT 66847 SOS 26027 HAS SOPS 26027 HAS SOUS 21451 HAS SOUPS 21451 WITH SCORE 21477.027
AT ITER 1028 NEW BEST:: SOT 66834 SOS 26001 HAS SOPS 26001 HAS SOUS 21425 HAS SOUPS 21425 WITH SCORE 21451.001
AT ITER 1031 NEW BEST:: SOT 66830 SOS 25997 HAS SOPS 25997 HAS SOUS 21421 HAS SOUPS 21421 WITH SCORE 21446.997
AT ITER 1035 NEW BEST:: SOT 66791 SOS 25919 HAS SOPS 25919 HAS SOUS 21382 HAS SOUPS 21382 WITH SCORE 21407.919
AT ITER 1040 NEW BEST:: SOT 66791 SOS 25884 HAS SOPS 25884 HAS SOUS 21347 HAS SOUPS 21347 WITH SCORE 21372.884
AT ITER 1053 NEW BEST:: SOT 66791 SOS 25883 HAS SOPS 25883 HAS SOUS 21346 HAS SOUPS 21346 WITH SCORE 21371.883
AT ITER 1059 NEW BEST:: SOT 66866 SOS 25839 HAS SOPS 25839 HAS SOUS 21302 HAS SOUPS 21302 WITH SCORE 21327.839
AT ITER 1100 NEW BEST:: SOT 66865 SOS 25838 HAS SOPS 25838 HAS SOUS 21301 HAS SOUPS 21301 WITH SCORE 21326.838
AT ITER 1118 NEW BEST:: SOT 66865 SOS 25835 HAS SOPS 25835 HAS SOUS 21298 HAS SOUPS 21298 WITH SCORE 21323.835
AT ITER 1138 NEW BEST:: SOT 66765 SOS 25672 HAS SOPS 25672 HAS SOUS 21175 HAS SOUPS 21175 WITH SCORE 21200.672
AT ITER 1148 NEW BEST:: SOT 66771 SOS 25684 HAS SOPS 25684 HAS SOUS 21123 HAS SOUPS 21123 WITH SCORE 21148.684
AT ITER 1151 NEW BEST:: SOT 66760 SOS 25682 HAS SOPS 25682 HAS SOUS 21121 HAS SOUPS 21121 WITH SCORE 21146.682
AT ITER 1152 NEW BEST:: SOT 66778 SOS 25718 HAS SOPS 25718 HAS SOUS 21119 HAS SOUPS 21119 WITH SCORE 21144.718
AT ITER 1153 NEW BEST:: SOT 66784 SOS 25667 HAS SOPS 25667 HAS SOUS 21080 HAS SOUPS 21080 WITH SCORE 21105.667
AT ITER 1156 NEW BEST:: SOT 66780 SOS 25659 HAS SOPS 25659 HAS SOUS 21072 HAS SOUPS 21072 WITH SCORE 21097.659
AT ITER 1160 NEW BEST:: SOT 66796 SOS 25640 HAS SOPS 25640 HAS SOUS 21053 HAS SOUPS 21053 WITH SCORE 21078.64
AT ITER 1167 NEW BEST:: SOT 66767 SOS 25632 HAS SOPS 25632 HAS SOUS 21032 HAS SOUPS 21032 WITH SCORE 21057.632
AT ITER 1173 NEW BEST:: SOT 66755 SOS 25611 HAS SOPS 25611 HAS SOUS 21011 HAS SOUPS 21011 WITH SCORE 21036.611
AT ITER 1180 NEW BEST:: SOT 66742 SOS 25598 HAS SOPS 25598 HAS SOUS 20998 HAS SOUPS 20998 WITH SCORE 21023.598
AT ITER 1193 NEW BEST:: SOT 66742 SOS 25594 HAS SOPS 25594 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21015.594
AT ITER 1200 NEW BEST:: SOT 66735 SOS 25587 HAS SOPS 25587 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21008.587
AT ITER 1211 NEW BEST:: SOT 66735 SOS 25587 HAS SOPS 25587 HAS SOUS 20978 HAS SOUPS 20978 WITH SCORE 21003.587
AT ITER 1218 NEW BEST:: SOT 66777 SOS 25549 HAS SOPS 25549 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20965.549
AT ITER 1242 NEW BEST:: SOT 66773 SOS 25545 HAS SOPS 25545 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20965.545
AT ITER 1266 NEW BEST:: SOT 66773 SOS 25490 HAS SOPS 25490 HAS SOUS 20913 HAS SOUPS 20913 WITH SCORE 20938.49
AT ITER 1268 NEW BEST:: SOT 66760 SOS 25413 HAS SOPS 25413 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20874.413
AT ITER 1273 NEW BEST:: SOT 66751 SOS 25404 HAS SOPS 25404 HAS SOUS 20840 HAS SOUPS 20840 WITH SCORE 20865.404
AT ITER 1284 NEW BEST:: SOT 66729 SOS 25403 HAS SOPS 25403 HAS SOUS 20839 HAS SOUPS 20839 WITH SCORE 20864.403
AT ITER 1286 NEW BEST:: SOT 66728 SOS 25381 HAS SOPS 25381 HAS SOUS 20817 HAS SOUPS 20817 WITH SCORE 20842.381
AT ITER 1317 NEW BEST:: SOT 66684 SOS 25319 HAS SOPS 25319 HAS SOUS 20789 HAS SOUPS 20789 WITH SCORE 20814.319
AT ITER 1326 NEW BEST:: SOT 66683 SOS 25317 HAS SOPS 25317 HAS SOUS 20787 HAS SOUPS 20787 WITH SCORE 20812.317
AT ITER 1327 NEW BEST:: SOT 66733 SOS 25417 HAS SOPS 25417 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20811.417
AT ITER 1328 NEW BEST:: SOT 66733 SOS 25417 HAS SOPS 25417 HAS SOUS 20761 HAS SOUPS 20761 WITH SCORE 20786.417
AT ITER 1334 NEW BEST:: SOT 66733 SOS 25411 HAS SOPS 25411 HAS SOUS 20755 HAS SOUPS 20755 WITH SCORE 20780.411
AT ITER 1335 NEW BEST:: SOT 66720 SOS 25385 HAS SOPS 25385 HAS SOUS 20725 HAS SOUPS 20725 WITH SCORE 20750.385
AT ITER 1344 NEW BEST:: SOT 66703 SOS 25329 HAS SOPS 25329 HAS SOUS 20669 HAS SOUPS 20669 WITH SCORE 20694.329
AT ITER 1348 NEW BEST:: SOT 66611 SOS 28245 HAS SOPS 28245 HAS SOUS 20650 HAS SOUPS 20650 WITH SCORE 20678.245
AT ITER 1355 NEW BEST:: SOT 66648 SOS 28236 HAS SOPS 28236 HAS SOUS 20641 HAS SOUPS 20641 WITH SCORE 20669.236
AT ITER 1364 NEW BEST:: SOT 66648 SOS 28226 HAS SOPS 28226 HAS SOUS 20636 HAS SOUPS 20636 WITH SCORE 20664.226
AT ITER 1365 NEW BEST:: SOT 66606 SOS 28184 HAS SOPS 28184 HAS SOUS 20594 HAS SOUPS 20594 WITH SCORE 20622.184
AT ITER 1369 NEW BEST:: SOT 66524 SOS 28081 HAS SOPS 28081 HAS SOUS 20556 HAS SOUPS 20556 WITH SCORE 20584.081
AT ITER 1371 NEW BEST:: SOT 66502 SOS 28059 HAS SOPS 28059 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20562.059
AT ITER 1392 NEW BEST:: SOT 66502 SOS 28041 HAS SOPS 28041 HAS SOUS 20516 HAS SOUPS 20516 WITH SCORE 20544.041
AT ITER 1399 NEW BEST:: SOT 66508 SOS 28026 HAS SOPS 28026 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20502.026
AT ITER 1423 NEW BEST:: SOT 66468 SOS 27982 HAS SOPS 27982 HAS SOUS 20458 HAS SOUPS 20458 WITH SCORE 20485.982
AT ITER 1441 NEW BEST:: SOT 66467 SOS 27961 HAS SOPS 27961 HAS SOUS 20456 HAS SOUPS 20456 WITH SCORE 20483.961
AT ITER 1442 NEW BEST:: SOT 66467 SOS 27957 HAS SOPS 27957 HAS SOUS 20452 HAS SOUPS 20452 WITH SCORE 20479.957
AT ITER 1445 NEW BEST:: SOT 66443 SOS 27933 HAS SOPS 27933 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20455.933
AT ITER 1470 NEW BEST:: SOT 66421 SOS 27911 HAS SOPS 27911 HAS SOUS 20406 HAS SOUPS 20406 WITH SCORE 20433.911
AT ITER 1477 NEW BEST:: SOT 66386 SOS 27774 HAS SOPS 27774 HAS SOUS 20269 HAS SOUPS 20269 WITH SCORE 20296.774
AT ITER 1517 NEW BEST:: SOT 66341 SOS 27731 HAS SOPS 27731 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20217.731
AT ITER 1534 NEW BEST:: SOT 66327 SOS 27710 HAS SOPS 27710 HAS SOUS 20176 HAS SOUPS 20176 WITH SCORE 20203.71
AT ITER 1558 NEW BEST:: SOT 66321 SOS 27704 HAS SOPS 27704 HAS SOUS 20170 HAS SOUPS 20170 WITH SCORE 20197.704
AT ITER 1574 NEW BEST:: SOT 66306 SOS 27678 HAS SOPS 27678 HAS SOUS 20164 HAS SOUPS 20164 WITH SCORE 20191.678
AT ITER 1580 NEW BEST:: SOT 66298 SOS 27675 HAS SOPS 27675 HAS SOUS 20160 HAS SOUPS 20160 WITH SCORE 20187.675
AT ITER 1591 NEW BEST:: SOT 66298 SOS 27672 HAS SOPS 27672 HAS SOUS 20157 HAS SOUPS 20157 WITH SCORE 20184.672
AT ITER 1605 NEW BEST:: SOT 66272 SOS 27620 HAS SOPS 27620 HAS SOUS 20105 HAS SOUPS 20105 WITH SCORE 20132.62
AT ITER 1628 NEW BEST:: SOT 66272 SOS 27612 HAS SOPS 27612 HAS SOUS 20097 HAS SOUPS 20097 WITH SCORE 20124.612
AT ITER 1643 NEW BEST:: SOT 66257 SOS 27582 HAS SOPS 27582 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20081.582
AT ITER 1646 NEW BEST:: SOT 66207 SOS 27532 HAS SOPS 27532 HAS SOUS 20004 HAS SOUPS 20004 WITH SCORE 20031.532
AT ITER 1648 NEW BEST:: SOT 66207 SOS 27525 HAS SOPS 27525 HAS SOUS 19997 HAS SOUPS 19997 WITH SCORE 20024.525
AT ITER 1663 NEW BEST:: SOT 66203 SOS 27521 HAS SOPS 27521 HAS SOUS 19995 HAS SOUPS 19995 WITH SCORE 20022.521
AT ITER 1665 NEW BEST:: SOT 66203 SOS 27411 HAS SOPS 27411 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19912.411
AT ITER 1668 NEW BEST:: SOT 66203 SOS 27410 HAS SOPS 27410 HAS SOUS 19884 HAS SOUPS 19884 WITH SCORE 19911.41
AT ITER 1682 NEW BEST:: SOT 66203 SOS 27402 HAS SOPS 27402 HAS SOUS 19876 HAS SOUPS 19876 WITH SCORE 19903.402
AT ITER 1684 NEW BEST:: SOT 66203 SOS 27305 HAS SOPS 27305 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19840.305
AT ITER 1699 NEW BEST:: SOT 66168 SOS 27235 HAS SOPS 27235 HAS SOUS 19743 HAS SOUPS 19743 WITH SCORE 19770.235
AT ITER 1701 NEW BEST:: SOT 66168 SOS 27233 HAS SOPS 27233 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19768.233
AT ITER 1727 NEW BEST:: SOT 66103 SOS 27123 HAS SOPS 27123 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19745.123
AT ITER 1740 NEW BEST:: SOT 66089 SOS 27082 HAS SOPS 27082 HAS SOUS 19704 HAS SOUPS 19704 WITH SCORE 19731.082
AT ITER 1759 NEW BEST:: SOT 66068 SOS 27034 HAS SOPS 27034 HAS SOUS 19629 HAS SOUPS 19629 WITH SCORE 19656.034
AT ITER 1778 NEW BEST:: SOT 66068 SOS 27033 HAS SOPS 27033 HAS SOUS 19628 HAS SOUPS 19628 WITH SCORE 19655.033
AT ITER 1783 NEW BEST:: SOT 66068 SOS 27020 HAS SOPS 27020 HAS SOUS 19614 HAS SOUPS 19614 WITH SCORE 19641.02
AT ITER 1786 NEW BEST:: SOT 66086 SOS 26993 HAS SOPS 26993 HAS SOUS 19587 HAS SOUPS 19587 WITH SCORE 19613.993
AT ITER 1791 NEW BEST:: SOT 66083 SOS 26987 HAS SOPS 26987 HAS SOUS 19581 HAS SOUPS 19581 WITH SCORE 19607.987
AT ITER 1799 NEW BEST:: SOT 66059 SOS 26939 HAS SOPS 26939 HAS SOUS 19533 HAS SOUPS 19533 WITH SCORE 19559.939
AT ITER 1809 NEW BEST:: SOT 65982 SOS 26862 HAS SOPS 26862 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19482.862
AT ITER 1819 NEW BEST:: SOT 65982 SOS 26760 HAS SOPS 26760 HAS SOUS 19354 HAS SOUPS 19354 WITH SCORE 19380.76
AT ITER 1839 NEW BEST:: SOT 65983 SOS 26723 HAS SOPS 26723 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19352.723
AT ITER 1856 NEW BEST:: SOT 65975 SOS 26715 HAS SOPS 26715 HAS SOUS 19326 HAS SOUPS 19326 WITH SCORE 19352.715
AT ITER 1895 NEW BEST:: SOT 65965 SOS 26698 HAS SOPS 26698 HAS SOUS 19309 HAS SOUPS 19309 WITH SCORE 19335.698
AT ITER 1904 NEW BEST:: SOT 65969 SOS 26574 HAS SOPS 26574 HAS SOUS 19193 HAS SOUPS 19193 WITH SCORE 19219.574
AT ITER 1907 NEW BEST:: SOT 65986 SOS 26556 HAS SOPS 26556 HAS SOUS 19175 HAS SOUPS 19175 WITH SCORE 19201.556
AT ITER 1919 NEW BEST:: SOT 65968 SOS 26520 HAS SOPS 26520 HAS SOUS 19139 HAS SOUPS 19139 WITH SCORE 19165.52
AT ITER 1928 NEW BEST:: SOT 65965 SOS 26514 HAS SOPS 26514 HAS SOUS 19133 HAS SOUPS 19133 WITH SCORE 19159.514
AT ITER 1948 NEW BEST:: SOT 65849 SOS 26398 HAS SOPS 26398 HAS SOUS 19040 HAS SOUPS 19040 WITH SCORE 19066.398
AT ITER 1957 NEW BEST:: SOT 65839 SOS 26378 HAS SOPS 26378 HAS SOUS 19021 HAS SOUPS 19021 WITH SCORE 19047.378
AT ITER 1969 NEW BEST:: SOT 65833 SOS 26360 HAS SOPS 26360 HAS SOUS 19003 HAS SOUPS 19003 WITH SCORE 19029.36
AT ITER 1996 NEW BEST:: SOT 65813 SOS 26320 HAS SOPS 26320 HAS SOUS 18963 HAS SOUPS 18963 WITH SCORE 18989.32
AT ITER 2015 NEW BEST:: SOT 65767 SOS 26228 HAS SOPS 26228 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18943.228
AT ITER 2047 NEW BEST:: SOT 65756 SOS 26204 HAS SOPS 26204 HAS SOUS 18893 HAS SOUPS 18893 WITH SCORE 18919.204
AT ITER 2055 NEW BEST:: SOT 65750 SOS 26198 HAS SOPS 26198 HAS SOUS 18887 HAS SOUPS 18887 WITH SCORE 18913.198
AT ITER 2059 NEW BEST:: SOT 65774 SOS 26197 HAS SOPS 26197 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18912.197
AT ITER 2081 NEW BEST:: SOT 65766 SOS 26189 HAS SOPS 26189 HAS SOUS 18878 HAS SOUPS 18878 WITH SCORE 18904.189
AT ITER 2084 NEW BEST:: SOT 65712 SOS 26122 HAS SOPS 26122 HAS SOUS 18853 HAS SOUPS 18853 WITH SCORE 18879.122
AT ITER 2091 NEW BEST:: SOT 65692 SOS 26092 HAS SOPS 26092 HAS SOUS 18823 HAS SOUPS 18823 WITH SCORE 18849.092
AT ITER 2094 NEW BEST:: SOT 65672 SOS 26052 HAS SOPS 26052 HAS SOUS 18783 HAS SOUPS 18783 WITH SCORE 18809.052
AT ITER 2110 NEW BEST:: SOT 65665 SOS 26017 HAS SOPS 26017 HAS SOUS 18748 HAS SOUPS 18748 WITH SCORE 18774.017
AT ITER 2113 NEW BEST:: SOT 65624 SOS 25976 HAS SOPS 25976 HAS SOUS 18707 HAS SOUPS 18707 WITH SCORE 18732.976
AT ITER 2138 NEW BEST:: SOT 65721 SOS 26073 HAS SOPS 26073 HAS SOUS 18674 HAS SOUPS 18674 WITH SCORE 18700.073
AT ITER 2159 NEW BEST:: SOT 65704 SOS 26064 HAS SOPS 26064 HAS SOUS 18665 HAS SOUPS 18665 WITH SCORE 18691.064
AT ITER 2180 NEW BEST:: SOT 65651 SOS 26011 HAS SOPS 26011 HAS SOUS 18612 HAS SOUPS 18612 WITH SCORE 18638.011
AT ITER 2191 NEW BEST:: SOT 65633 SOS 26003 HAS SOPS 26003 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18630.003
AT ITER 2232 NEW BEST:: SOT 65628 SOS 25998 HAS SOPS 25998 HAS SOUS 18599 HAS SOUPS 18599 WITH SCORE 18624.998
AT ITER 2242 NEW BEST:: SOT 65547 SOS 25917 HAS SOPS 25917 HAS SOUS 18518 HAS SOUPS 18518 WITH SCORE 18543.917
AT ITER 2259 NEW BEST:: SOT 65534 SOS 25905 HAS SOPS 25905 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18538.905
AT ITER 2273 NEW BEST:: SOT 65524 SOS 25895 HAS SOPS 25895 HAS SOUS 18503 HAS SOUPS 18503 WITH SCORE 18528.895
AT ITER 2318 NEW BEST:: SOT 65515 SOS 25877 HAS SOPS 25877 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18510.877
AT ITER 2322 NEW BEST:: SOT 65608 SOS 25823 HAS SOPS 25823 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18475.823
AT ITER 2340 NEW BEST:: SOT 65600 SOS 25802 HAS SOPS 25802 HAS SOUS 18445 HAS SOUPS 18445 WITH SCORE 18470.802
AT ITER 2384 NEW BEST:: SOT 65600 SOS 25802 HAS SOPS 25802 HAS SOUS 18436 HAS SOUPS 18436 WITH SCORE 18461.802
AT ITER 2395 NEW BEST:: SOT 65537 SOS 25650 HAS SOPS 25650 HAS SOUS 18284 HAS SOUPS 18284 WITH SCORE 18309.65
AT ITER 2397 NEW BEST:: SOT 65533 SOS 25619 HAS SOPS 25619 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18278.619
AT ITER 2402 NEW BEST:: SOT 65552 SOS 25571 HAS SOPS 25571 HAS SOUS 18248 HAS SOUPS 18248 WITH SCORE 18273.571
AT ITER 2408 NEW BEST:: SOT 65546 SOS 25565 HAS SOPS 25565 HAS SOUS 18248 HAS SOUPS 18248 WITH SCORE 18273.565
AT ITER 2418 NEW BEST:: SOT 65537 SOS 25554 HAS SOPS 25554 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18262.554
AT ITER 2423 NEW BEST:: SOT 65537 SOS 25513 HAS SOPS 25513 HAS SOUS 18196 HAS SOUPS 18196 WITH SCORE 18221.513
AT ITER 2463 NEW BEST:: SOT 65535 SOS 25492 HAS SOPS 25492 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18173.492
AT ITER 2485 NEW BEST:: SOT 65504 SOS 25461 HAS SOPS 25461 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18142.461
AT ITER 2508 NEW BEST:: SOT 65473 SOS 25430 HAS SOPS 25430 HAS SOUS 18117 HAS SOUPS 18117 WITH SCORE 18142.43
AT ITER 2511 NEW BEST:: SOT 65467 SOS 25418 HAS SOPS 25418 HAS SOUS 18105 HAS SOUPS 18105 WITH SCORE 18130.418
AT ITER 2522 NEW BEST:: SOT 65454 SOS 25392 HAS SOPS 25392 HAS SOUS 18079 HAS SOUPS 18079 WITH SCORE 18104.392
AT ITER 2573 NEW BEST:: SOT 65454 SOS 25388 HAS SOPS 25388 HAS SOUS 18075 HAS SOUPS 18075 WITH SCORE 18100.388
AT ITER 2578 NEW BEST:: SOT 65447 SOS 25374 HAS SOPS 25374 HAS SOUS 18061 HAS SOUPS 18061 WITH SCORE 18086.374
AT ITER 2583 NEW BEST:: SOT 65429 SOS 25338 HAS SOPS 25338 HAS SOUS 18030 HAS SOUPS 18030 WITH SCORE 18055.338
AT ITER 2588 NEW BEST:: SOT 65418 SOS 25327 HAS SOPS 25327 HAS SOUS 18019 HAS SOUPS 18019 WITH SCORE 18044.327
AT ITER 2590 NEW BEST:: SOT 65357 SOS 25266 HAS SOPS 25266 HAS SOUS 18000 HAS SOUPS 18000 WITH SCORE 18025.266
AT ITER 2592 NEW BEST:: SOT 65376 SOS 25244 HAS SOPS 25244 HAS SOUS 17978 HAS SOUPS 17978 WITH SCORE 18003.244
AT ITER 2601 NEW BEST:: SOT 65430 SOS 25234 HAS SOPS 25234 HAS SOUS 17968 HAS SOUPS 17968 WITH SCORE 17993.234
AT ITER 2608 NEW BEST:: SOT 65430 SOS 25231 HAS SOPS 25231 HAS SOUS 17965 HAS SOUPS 17965 WITH SCORE 17990.231
AT ITER 2614 NEW BEST:: SOT 65420 SOS 25230 HAS SOPS 25230 HAS SOUS 17964 HAS SOUPS 17964 WITH SCORE 17989.23
AT ITER 2621 NEW BEST:: SOT 65419 SOS 25228 HAS SOPS 25228 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 17987.228
AT ITER 2636 NEW BEST:: SOT 65390 SOS 25199 HAS SOPS 25199 HAS SOUS 17962 HAS SOUPS 17962 WITH SCORE 17987.199
AT ITER 2648 NEW BEST:: SOT 65363 SOS 25154 HAS SOPS 25154 HAS SOUS 17938 HAS SOUPS 17938 WITH SCORE 17963.154
AT ITER 2658 NEW BEST:: SOT 65361 SOS 25152 HAS SOPS 25152 HAS SOUS 17936 HAS SOUPS 17936 WITH SCORE 17961.152
AT ITER 2662 NEW BEST:: SOT 65340 SOS 25107 HAS SOPS 25107 HAS SOUS 17891 HAS SOUPS 17891 WITH SCORE 17916.107
AT ITER 2667 NEW BEST:: SOT 65338 SOS 25109 HAS SOPS 25109 HAS SOUS 17888 HAS SOUPS 17888 WITH SCORE 17913.109
AT ITER 2668 NEW BEST:: SOT 65334 SOS 25101 HAS SOPS 25101 HAS SOUS 17880 HAS SOUPS 17880 WITH SCORE 17905.101
AT ITER 2687 NEW BEST:: SOT 65126 SOS 24893 HAS SOPS 24893 HAS SOUS 17818 HAS SOUPS 17818 WITH SCORE 17842.893
AT ITER 2703 NEW BEST:: SOT 65108 SOS 24857 HAS SOPS 24857 HAS SOUS 17782 HAS SOUPS 17782 WITH SCORE 17806.857
AT ITER 2746 NEW BEST:: SOT 65106 SOS 24838 HAS SOPS 24838 HAS SOUS 17763 HAS SOUPS 17763 WITH SCORE 17787.838
AT ITER 2760 NEW BEST:: SOT 65106 SOS 24831 HAS SOPS 24831 HAS SOUS 17756 HAS SOUPS 17756 WITH SCORE 17780.831
AT ITER 2762 NEW BEST:: SOT 65106 SOS 24831 HAS SOPS 24831 HAS SOUS 17751 HAS SOUPS 17751 WITH SCORE 17775.831
AT ITER 2772 NEW BEST:: SOT 65082 SOS 24783 HAS SOPS 24783 HAS SOUS 17703 HAS SOUPS 17703 WITH SCORE 17727.783
AT ITER 2773 NEW BEST:: SOT 65082 SOS 24737 HAS SOPS 24737 HAS SOUS 17687 HAS SOUPS 17687 WITH SCORE 17711.737
AT ITER 2804 NEW BEST:: SOT 65081 SOS 24735 HAS SOPS 24735 HAS SOUS 17685 HAS SOUPS 17685 WITH SCORE 17709.735
AT ITER 2811 NEW BEST:: SOT 65081 SOS 24735 HAS SOPS 24735 HAS SOUS 17684 HAS SOUPS 17684 WITH SCORE 17708.735
AT ITER 2813 NEW BEST:: SOT 65023 SOS 24726 HAS SOPS 24726 HAS SOUS 17669 HAS SOUPS 17669 WITH SCORE 17693.726
AT ITER 2814 NEW BEST:: SOT 65024 SOS 24782 HAS SOPS 24782 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17675.782
AT ITER 2821 NEW BEST:: SOT 65024 SOS 24771 HAS SOPS 24771 HAS SOUS 17651 HAS SOUPS 17651 WITH SCORE 17675.771
AT ITER 2851 NEW BEST:: SOT 65024 SOS 24674 HAS SOPS 24674 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17578.674
AT ITER 2871 NEW BEST:: SOT 65019 SOS 24664 HAS SOPS 24664 HAS SOUS 17544 HAS SOUPS 17544 WITH SCORE 17568.664
AT ITER 2888 NEW BEST:: SOT 65003 SOS 24657 HAS SOPS 24657 HAS SOUS 17537 HAS SOUPS 17537 WITH SCORE 17561.657
AT ITER 2904 NEW BEST:: SOT 64988 SOS 24647 HAS SOPS 24647 HAS SOUS 17527 HAS SOUPS 17527 WITH SCORE 17551.647
AT ITER 2906 NEW BEST:: SOT 64990 SOS 23847 HAS SOPS 23847 HAS SOUS 17496 HAS SOUPS 17496 WITH SCORE 17519.847
AT ITER 2914 NEW BEST:: SOT 64992 SOS 23840 HAS SOPS 23840 HAS SOUS 17489 HAS SOUPS 17489 WITH SCORE 17512.84
AT ITER 2963 NEW BEST:: SOT 64990 SOS 23836 HAS SOPS 23836 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17508.836
AT ITER 2970 NEW BEST:: SOT 64974 SOS 23820 HAS SOPS 23820 HAS SOUS 17469 HAS SOUPS 17469 WITH SCORE 17492.82
AT ITER 2972 NEW BEST:: SOT 64979 SOS 23790 HAS SOPS 23790 HAS SOUS 17437 HAS SOUPS 17437 WITH SCORE 17460.79
AT ITER 2975 NEW BEST:: SOT 64980 SOS 23791 HAS SOPS 23791 HAS SOUS 17435 HAS SOUPS 17435 WITH SCORE 17458.791
AT ITER 2983 NEW BEST:: SOT 64984 SOS 23777 HAS SOPS 23777 HAS SOUS 17421 HAS SOUPS 17421 WITH SCORE 17444.777
AT ITER 2984 NEW BEST:: SOT 65028 SOS 23768 HAS SOPS 23768 HAS SOUS 17412 HAS SOUPS 17412 WITH SCORE 17435.768
AT ITER 2995 NEW BEST:: SOT 65052 SOS 23762 HAS SOPS 23762 HAS SOUS 17376 HAS SOUPS 17376 WITH SCORE 17399.762
AT ITER 3009 NEW BEST:: SOT 65048 SOS 23758 HAS SOPS 23758 HAS SOUS 17372 HAS SOUPS 17372 WITH SCORE 17395.758
AT ITER 3022 NEW BEST:: SOT 65043 SOS 23748 HAS SOPS 23748 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17385.748
AT ITER 3037 NEW BEST:: SOT 65038 SOS 23743 HAS SOPS 23743 HAS SOUS 17357 HAS SOUPS 17357 WITH SCORE 17380.743
AT ITER 3069 NEW BEST:: SOT 64991 SOS 23690 HAS SOPS 23690 HAS SOUS 17263 HAS SOUPS 17263 WITH SCORE 17286.69
AT ITER 3074 NEW BEST:: SOT 64932 SOS 23568 HAS SOPS 23568 HAS SOUS 17141 HAS SOUPS 17141 WITH SCORE 17164.568
AT ITER 3108 NEW BEST:: SOT 64917 SOS 23526 HAS SOPS 23526 HAS SOUS 17099 HAS SOUPS 17099 WITH SCORE 17122.526
AT ITER 3114 NEW BEST:: SOT 64905 SOS 23508 HAS SOPS 23508 HAS SOUS 17081 HAS SOUPS 17081 WITH SCORE 17104.508
AT ITER 3173 NEW BEST:: SOT 64865 SOS 23475 HAS SOPS 23475 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17071.475
AT ITER 3174 NEW BEST:: SOT 64865 SOS 23432 HAS SOPS 23432 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17028.432
AT ITER 3180 NEW BEST:: SOT 64836 SOS 23387 HAS SOPS 23387 HAS SOUS 16960 HAS SOUPS 16960 WITH SCORE 16983.387
AT ITER 3202 NEW BEST:: SOT 64834 SOS 23384 HAS SOPS 23384 HAS SOUS 16957 HAS SOUPS 16957 WITH SCORE 16980.384
AT ITER 3207 NEW BEST:: SOT 64832 SOS 23368 HAS SOPS 23368 HAS SOUS 16904 HAS SOUPS 16904 WITH SCORE 16927.368
AT ITER 3218 NEW BEST:: SOT 64832 SOS 23355 HAS SOPS 23355 HAS SOUS 16891 HAS SOUPS 16891 WITH SCORE 16914.355
AT ITER 3219 NEW BEST:: SOT 64808 SOS 23331 HAS SOPS 23331 HAS SOUS 16867 HAS SOUPS 16867 WITH SCORE 16890.331
AT ITER 3248 NEW BEST:: SOT 64734 SOS 23250 HAS SOPS 23250 HAS SOUS 16853 HAS SOUPS 16853 WITH SCORE 16876.25
AT ITER 3269 NEW BEST:: SOT 64763 SOS 23271 HAS SOPS 23271 HAS SOUS 16837 HAS SOUPS 16837 WITH SCORE 16860.271
AT ITER 3278 NEW BEST:: SOT 64721 SOS 23228 HAS SOPS 23228 HAS SOUS 16835 HAS SOUPS 16835 WITH SCORE 16858.228
AT ITER 3281 NEW BEST:: SOT 64714 SOS 23214 HAS SOPS 23214 HAS SOUS 16821 HAS SOUPS 16821 WITH SCORE 16844.214
AT ITER 3291 NEW BEST:: SOT 64709 SOS 23204 HAS SOPS 23204 HAS SOUS 16821 HAS SOUPS 16821 WITH SCORE 16844.204
AT ITER 3353 NEW BEST:: SOT 64706 SOS 23162 HAS SOPS 23162 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16769.162
AT ITER 3354 NEW BEST:: SOT 64706 SOS 23148 HAS SOPS 23148 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16759.148
AT ITER 3391 NEW BEST:: SOT 64706 SOS 23140 HAS SOPS 23140 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16751.14
AT ITER 3398 NEW BEST:: SOT 64708 SOS 23132 HAS SOPS 23132 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16743.132
AT ITER 3415 NEW BEST:: SOT 64676 SOS 23127 HAS SOPS 23127 HAS SOUS 16715 HAS SOUPS 16715 WITH SCORE 16738.127
AT ITER 3420 NEW BEST:: SOT 64676 SOS 23111 HAS SOPS 23111 HAS SOUS 16715 HAS SOUPS 16715 WITH SCORE 16738.111
AT ITER 3423 NEW BEST:: SOT 64638 SOS 23073 HAS SOPS 23073 HAS SOUS 16653 HAS SOUPS 16653 WITH SCORE 16676.073
AT ITER 3424 NEW BEST:: SOT 64634 SOS 23050 HAS SOPS 23050 HAS SOUS 16630 HAS SOUPS 16630 WITH SCORE 16653.05
AT ITER 3425 NEW BEST:: SOT 64613 SOS 23029 HAS SOPS 23029 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16632.029
AT ITER 3454 NEW BEST:: SOT 64610 SOS 23029 HAS SOPS 23029 HAS SOUS 16606 HAS SOUPS 16606 WITH SCORE 16629.029
AT ITER 3467 NEW BEST:: SOT 64646 SOS 23024 HAS SOPS 23024 HAS SOUS 16573 HAS SOUPS 16573 WITH SCORE 16596.024
AT ITER 3481 NEW BEST:: SOT 64651 SOS 23022 HAS SOPS 23022 HAS SOUS 16571 HAS SOUPS 16571 WITH SCORE 16594.022
AT ITER 3483 NEW BEST:: SOT 64643 SOS 23006 HAS SOPS 23006 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16578.006
AT ITER 3509 NEW BEST:: SOT 64643 SOS 23006 HAS SOPS 23006 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16577.006
AT ITER 3539 NEW BEST:: SOT 64695 SOS 23002 HAS SOPS 23002 HAS SOUS 16544 HAS SOUPS 16544 WITH SCORE 16567.002
AT ITER 3579 NEW BEST:: SOT 64653 SOS 22918 HAS SOPS 22918 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16482.918
AT ITER 3588 NEW BEST:: SOT 64566 SOS 22831 HAS SOPS 22831 HAS SOUS 16460 HAS SOUPS 16460 WITH SCORE 16482.831
AT ITER 3589 NEW BEST:: SOT 64556 SOS 22821 HAS SOPS 22821 HAS SOUS 16456 HAS SOUPS 16456 WITH SCORE 16478.821
AT ITER 3590 NEW BEST:: SOT 64534 SOS 22799 HAS SOPS 22799 HAS SOUS 16434 HAS SOUPS 16434 WITH SCORE 16456.799
AT ITER 3600 NEW BEST:: SOT 64535 SOS 22793 HAS SOPS 22793 HAS SOUS 16428 HAS SOUPS 16428 WITH SCORE 16450.793
AT ITER 3620 NEW BEST:: SOT 64535 SOS 22793 HAS SOPS 22793 HAS SOUS 16405 HAS SOUPS 16405 WITH SCORE 16427.793
AT ITER 3628 NEW BEST:: SOT 64499 SOS 22730 HAS SOPS 22730 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16364.73
AT ITER 3631 NEW BEST:: SOT 64492 SOS 22703 HAS SOPS 22703 HAS SOUS 16315 HAS SOUPS 16315 WITH SCORE 16337.703
AT ITER 3632 NEW BEST:: SOT 64479 SOS 22657 HAS SOPS 22657 HAS SOUS 16309 HAS SOUPS 16309 WITH SCORE 16331.657
AT ITER 3650 NEW BEST:: SOT 64528 SOS 22609 HAS SOPS 22609 HAS SOUS 16304 HAS SOUPS 16304 WITH SCORE 16326.609
AT ITER 3656 NEW BEST:: SOT 64522 SOS 22594 HAS SOPS 22594 HAS SOUS 16289 HAS SOUPS 16289 WITH SCORE 16311.594
AT ITER 3659 NEW BEST:: SOT 64521 SOS 22592 HAS SOPS 22592 HAS SOUS 16287 HAS SOUPS 16287 WITH SCORE 16309.592
AT ITER 3670 NEW BEST:: SOT 64510 SOS 22592 HAS SOPS 22592 HAS SOUS 16276 HAS SOUPS 16276 WITH SCORE 16298.592
AT ITER 3710 NEW BEST:: SOT 64616 SOS 22760 HAS SOPS 22760 HAS SOUS 16258 HAS SOUPS 16258 WITH SCORE 16280.76
AT ITER 3711 NEW BEST:: SOT 64591 SOS 22710 HAS SOPS 22710 HAS SOUS 16216 HAS SOUPS 16216 WITH SCORE 16238.71
AT ITER 3723 NEW BEST:: SOT 64589 SOS 22706 HAS SOPS 22706 HAS SOUS 16212 HAS SOUPS 16212 WITH SCORE 16234.706
AT ITER 3756 NEW BEST:: SOT 64630 SOS 22644 HAS SOPS 22644 HAS SOUS 16212 HAS SOUPS 16212 WITH SCORE 16234.644
AT ITER 3788 NEW BEST:: SOT 64629 SOS 22641 HAS SOPS 22641 HAS SOUS 16209 HAS SOUPS 16209 WITH SCORE 16231.641
AT ITER 3804 NEW BEST:: SOT 64618 SOS 22558 HAS SOPS 22558 HAS SOUS 16126 HAS SOUPS 16126 WITH SCORE 16148.558
AT ITER 3822 NEW BEST:: SOT 64654 SOS 22592 HAS SOPS 22592 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16144.592
AT ITER 3879 NEW BEST:: SOT 64654 SOS 22572 HAS SOPS 22572 HAS SOUS 16102 HAS SOUPS 16102 WITH SCORE 16124.572
AT ITER 3902 NEW BEST:: SOT 64633 SOS 22551 HAS SOPS 22551 HAS SOUS 16081 HAS SOUPS 16081 WITH SCORE 16103.551
AT ITER 3932 NEW BEST:: SOT 64649 SOS 22583 HAS SOPS 22583 HAS SOUS 16057 HAS SOUPS 16057 WITH SCORE 16079.583
AT ITER 3939 NEW BEST:: SOT 64643 SOS 22571 HAS SOPS 22571 HAS SOUS 16045 HAS SOUPS 16045 WITH SCORE 16067.571
AT ITER 3957 NEW BEST:: SOT 64578 SOS 22506 HAS SOPS 22506 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16002.506
AT ITER 3968 NEW BEST:: SOT 64578 SOS 22505 HAS SOPS 22505 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 16001.505
AT ITER 3983 NEW BEST:: SOT 64548 SOS 22497 HAS SOPS 22497 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15985.497
AT ITER 4004 NEW BEST:: SOT 64545 SOS 22494 HAS SOPS 22494 HAS SOUS 15960 HAS SOUPS 15960 WITH SCORE 15982.494
AT ITER 4007 NEW BEST:: SOT 64545 SOS 22494 HAS SOPS 22494 HAS SOUS 15951 HAS SOUPS 15951 WITH SCORE 15973.494
AT ITER 4012 NEW BEST:: SOT 64541 SOS 22645 HAS SOPS 22645 HAS SOUS 15943 HAS SOUPS 15943 WITH SCORE 15965.645
AT ITER 4061 NEW BEST:: SOT 64540 SOS 22644 HAS SOPS 22644 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 15964.644
AT ITER 4063 NEW BEST:: SOT 64531 SOS 22634 HAS SOPS 22634 HAS SOUS 15932 HAS SOUPS 15932 WITH SCORE 15954.634
AT ITER 4064 NEW BEST:: SOT 64515 SOS 22634 HAS SOPS 22634 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15938.634
AT ITER 4065 NEW BEST:: SOT 64482 SOS 22601 HAS SOPS 22601 HAS SOUS 15891 HAS SOUPS 15891 WITH SCORE 15913.601
AT ITER 4080 NEW BEST:: SOT 64482 SOS 22586 HAS SOPS 22586 HAS SOUS 15876 HAS SOUPS 15876 WITH SCORE 15898.586
AT ITER 4136 NEW BEST:: SOT 64482 SOS 22519 HAS SOPS 22519 HAS SOUS 15809 HAS SOUPS 15809 WITH SCORE 15831.519
AT ITER 4175 NEW BEST:: SOT 64476 SOS 22507 HAS SOPS 22507 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15828.507
AT ITER 4180 NEW BEST:: SOT 64489 SOS 22533 HAS SOPS 22533 HAS SOUS 15796 HAS SOUPS 15796 WITH SCORE 15818.533
AT ITER 4183 NEW BEST:: SOT 64487 SOS 22527 HAS SOPS 22527 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15812.527
AT ITER 4198 NEW BEST:: SOT 64474 SOS 22509 HAS SOPS 22509 HAS SOUS 15776 HAS SOUPS 15776 WITH SCORE 15798.509
AT ITER 4201 NEW BEST:: SOT 64474 SOS 22509 HAS SOPS 22509 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15789.509
AT ITER 4211 NEW BEST:: SOT 64473 SOS 22507 HAS SOPS 22507 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15787.507
AT ITER 4223 NEW BEST:: SOT 64467 SOS 22495 HAS SOPS 22495 HAS SOUS 15753 HAS SOUPS 15753 WITH SCORE 15775.495
AT ITER 4240 NEW BEST:: SOT 64467 SOS 22435 HAS SOPS 22435 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15715.435
AT ITER 4242 NEW BEST:: SOT 64470 SOS 22429 HAS SOPS 22429 HAS SOUS 15687 HAS SOUPS 15687 WITH SCORE 15709.429
AT ITER 4274 NEW BEST:: SOT 64465 SOS 22419 HAS SOPS 22419 HAS SOUS 15677 HAS SOUPS 15677 WITH SCORE 15699.419
AT ITER 4316 NEW BEST:: SOT 64476 SOS 22430 HAS SOPS 22430 HAS SOUS 15672 HAS SOUPS 15672 WITH SCORE 15694.43
AT ITER 4328 NEW BEST:: SOT 64458 SOS 22389 HAS SOPS 22389 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15670.389
AT ITER 4375 NEW BEST:: SOT 64458 SOS 22387 HAS SOPS 22387 HAS SOUS 15646 HAS SOUPS 15646 WITH SCORE 15668.387
AT ITER 4385 NEW BEST:: SOT 64435 SOS 22382 HAS SOPS 22382 HAS SOUS 15641 HAS SOUPS 15641 WITH SCORE 15663.382
AT ITER 4402 NEW BEST:: SOT 64393 SOS 22294 HAS SOPS 22294 HAS SOUS 15604 HAS SOUPS 15604 WITH SCORE 15626.294
AT ITER 4462 NEW BEST:: SOT 64404 SOS 22290 HAS SOPS 22290 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15622.29
AT ITER 4464 NEW BEST:: SOT 64399 SOS 22280 HAS SOPS 22280 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15612.28
AT ITER 4483 NEW BEST:: SOT 64365 SOS 22221 HAS SOPS 22221 HAS SOUS 15569 HAS SOUPS 15569 WITH SCORE 15591.221
AT ITER 4495 NEW BEST:: SOT 64372 SOS 22211 HAS SOPS 22211 HAS SOUS 15559 HAS SOUPS 15559 WITH SCORE 15581.211
AT ITER 4520 NEW BEST:: SOT 64336 SOS 22172 HAS SOPS 22172 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15542.172
AT ITER 4527 NEW BEST:: SOT 64334 SOS 22168 HAS SOPS 22168 HAS SOUS 15518 HAS SOUPS 15518 WITH SCORE 15540.168
AT ITER 4540 NEW BEST:: SOT 64321 SOS 22155 HAS SOPS 22155 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15527.155
AT ITER 4552 NEW BEST:: SOT 64312 SOS 22149 HAS SOPS 22149 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15521.149
AT ITER 4595 NEW BEST:: SOT 64311 SOS 22145 HAS SOPS 22145 HAS SOUS 15495 HAS SOUPS 15495 WITH SCORE 15517.145
AT ITER 4617 NEW BEST:: SOT 64262 SOS 22114 HAS SOPS 22114 HAS SOUS 15464 HAS SOUPS 15464 WITH SCORE 15486.114
AT ITER 4670 NEW BEST:: SOT 64262 SOS 22110 HAS SOPS 22110 HAS SOUS 15460 HAS SOUPS 15460 WITH SCORE 15482.11
AT ITER 4675 NEW BEST:: SOT 64267 SOS 22104 HAS SOPS 22104 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15476.104
AT ITER 4683 NEW BEST:: SOT 64251 SOS 22072 HAS SOPS 22072 HAS SOUS 15430 HAS SOUPS 15430 WITH SCORE 15452.072
AT ITER 4696 NEW BEST:: SOT 64255 SOS 22071 HAS SOPS 22071 HAS SOUS 15429 HAS SOUPS 15429 WITH SCORE 15451.071
AT ITER 4698 NEW BEST:: SOT 64252 SOS 22066 HAS SOPS 22066 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15446.066
AT ITER 4800 NEW BEST:: SOT 64252 SOS 22058 HAS SOPS 22058 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15446.058
AT ITER 4815 NEW BEST:: SOT 64223 SOS 22028 HAS SOPS 22028 HAS SOUS 15422 HAS SOUPS 15422 WITH SCORE 15444.028
AT ITER 4833 NEW BEST:: SOT 64227 SOS 22036 HAS SOPS 22036 HAS SOUS 15420 HAS SOUPS 15420 WITH SCORE 15442.036
AT ITER 4842 NEW BEST:: SOT 64218 SOS 22027 HAS SOPS 22027 HAS SOUS 15411 HAS SOUPS 15411 WITH SCORE 15433.027
AT ITER 4857 NEW BEST:: SOT 64214 SOS 22023 HAS SOPS 22023 HAS SOUS 15407 HAS SOUPS 15407 WITH SCORE 15429.023
AT ITER 4860 NEW BEST:: SOT 64212 SOS 22019 HAS SOPS 22019 HAS SOUS 15403 HAS SOUPS 15403 WITH SCORE 15425.019
AT ITER 4908 NEW BEST:: SOT 64230 SOS 22007 HAS SOPS 22007 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15413.007
AT ITER 4910 NEW BEST:: SOT 64181 SOS 21917 HAS SOPS 21917 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15347.917
AT ITER 4930 NEW BEST:: SOT 64181 SOS 21908 HAS SOPS 21908 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15347.908
AT ITER 4936 NEW BEST:: SOT 64181 SOS 21887 HAS SOPS 21887 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15326.887
AT ITER 4947 NEW BEST:: SOT 64163 SOS 21869 HAS SOPS 21869 HAS SOUS 15279 HAS SOUPS 15279 WITH SCORE 15300.869
AT ITER 4965 NEW BEST:: SOT 64163 SOS 21867 HAS SOPS 21867 HAS SOUS 15279 HAS SOUPS 15279 WITH SCORE 15300.867
AT ITER 4974 NEW BEST:: SOT 64158 SOS 21868 HAS SOPS 21868 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15291.868
AT ITER 5002 NEW BEST:: SOT 64146 SOS 21856 HAS SOPS 21856 HAS SOUS 15270 HAS SOUPS 15270 WITH SCORE 15291.856
AT ITER 5018 NEW BEST:: SOT 64138 SOS 21849 HAS SOPS 21849 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15284.849
AT ITER 5036 NEW BEST:: SOT 64120 SOS 21822 HAS SOPS 21822 HAS SOUS 15236 HAS SOUPS 15236 WITH SCORE 15257.822
AT ITER 5052 NEW BEST:: SOT 64115 SOS 21816 HAS SOPS 21816 HAS SOUS 15230 HAS SOUPS 15230 WITH SCORE 15251.816
AT ITER 5121 NEW BEST:: SOT 64063 SOS 21808 HAS SOPS 21808 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15243.808
AT ITER 5131 NEW BEST:: SOT 64063 SOS 21807 HAS SOPS 21807 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15242.807
AT ITER 5144 NEW BEST:: SOT 64054 SOS 21789 HAS SOPS 21789 HAS SOUS 15203 HAS SOUPS 15203 WITH SCORE 15224.789
AT ITER 5166 NEW BEST:: SOT 64038 SOS 21780 HAS SOPS 21780 HAS SOUS 15194 HAS SOUPS 15194 WITH SCORE 15215.78
AT ITER 5178 NEW BEST:: SOT 64018 SOS 21740 HAS SOPS 21740 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15195.74
AT ITER 5181 NEW BEST:: SOT 64018 SOS 21735 HAS SOPS 21735 HAS SOUS 15143 HAS SOUPS 15143 WITH SCORE 15164.735
AT ITER 5187 NEW BEST:: SOT 64013 SOS 21730 HAS SOPS 21730 HAS SOUS 15130 HAS SOUPS 15130 WITH SCORE 15151.73
AT ITER 5216 NEW BEST:: SOT 63968 SOS 21719 HAS SOPS 21719 HAS SOUS 15119 HAS SOUPS 15119 WITH SCORE 15140.719
AT ITER 5231 NEW BEST:: SOT 63965 SOS 21710 HAS SOPS 21710 HAS SOUS 15113 HAS SOUPS 15113 WITH SCORE 15134.71
AT ITER 5244 NEW BEST:: SOT 63962 SOS 21704 HAS SOPS 21704 HAS SOUS 15107 HAS SOUPS 15107 WITH SCORE 15128.704
AT ITER 5253 NEW BEST:: SOT 63962 SOS 21690 HAS SOPS 21690 HAS SOUS 15093 HAS SOUPS 15093 WITH SCORE 15114.69
AT ITER 5269 NEW BEST:: SOT 63954 SOS 21674 HAS SOPS 21674 HAS SOUS 15077 HAS SOUPS 15077 WITH SCORE 15098.674
AT ITER 5302 NEW BEST:: SOT 63959 SOS 21673 HAS SOPS 21673 HAS SOUS 15076 HAS SOUPS 15076 WITH SCORE 15097.673
AT ITER 5348 NEW BEST:: SOT 63956 SOS 21659 HAS SOPS 21659 HAS SOUS 15062 HAS SOUPS 15062 WITH SCORE 15083.659
AT ITER 5361 NEW BEST:: SOT 63946 SOS 21639 HAS SOPS 21639 HAS SOUS 15042 HAS SOUPS 15042 WITH SCORE 15063.639
AT ITER 5363 NEW BEST:: SOT 63950 SOS 21635 HAS SOPS 21635 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15059.635
AT ITER 5383 NEW BEST:: SOT 63948 SOS 21632 HAS SOPS 21632 HAS SOUS 15035 HAS SOUPS 15035 WITH SCORE 15056.632
AT ITER 5434 NEW BEST:: SOT 63946 SOS 21630 HAS SOPS 21630 HAS SOUS 15033 HAS SOUPS 15033 WITH SCORE 15054.63
AT ITER 5464 NEW BEST:: SOT 63945 SOS 21629 HAS SOPS 21629 HAS SOUS 15032 HAS SOUPS 15032 WITH SCORE 15053.629
AT ITER 5471 NEW BEST:: SOT 63944 SOS 21637 HAS SOPS 21637 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15051.637
AT ITER 5496 NEW BEST:: SOT 63926 SOS 21601 HAS SOPS 21601 HAS SOUS 15024 HAS SOUPS 15024 WITH SCORE 15045.601
AT ITER 5555 NEW BEST:: SOT 63925 SOS 21599 HAS SOPS 21599 HAS SOUS 15022 HAS SOUPS 15022 WITH SCORE 15043.599
AT ITER 5626 NEW BEST:: SOT 63921 SOS 21587 HAS SOPS 21587 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15031.587
AT ITER 5629 NEW BEST:: SOT 63903 SOS 21561 HAS SOPS 21561 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14995.561
AT ITER 5637 NEW BEST:: SOT 63888 SOS 21569 HAS SOPS 21569 HAS SOUS 14960 HAS SOUPS 14960 WITH SCORE 14981.569
AT ITER 5649 NEW BEST:: SOT 63865 SOS 21547 HAS SOPS 21547 HAS SOUS 14936 HAS SOUPS 14936 WITH SCORE 14957.547
AT ITER 5690 NEW BEST:: SOT 63886 SOS 21545 HAS SOPS 21545 HAS SOUS 14934 HAS SOUPS 14934 WITH SCORE 14955.545
AT ITER 5695 NEW BEST:: SOT 63897 SOS 21567 HAS SOPS 21567 HAS SOUS 14932 HAS SOUPS 14932 WITH SCORE 14953.567
AT ITER 5703 NEW BEST:: SOT 63883 SOS 21539 HAS SOPS 21539 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14925.539
AT ITER 5705 NEW BEST:: SOT 63871 SOS 21528 HAS SOPS 21528 HAS SOUS 14893 HAS SOUPS 14893 WITH SCORE 14914.528
AT ITER 5709 NEW BEST:: SOT 63863 SOS 21496 HAS SOPS 21496 HAS SOUS 14861 HAS SOUPS 14861 WITH SCORE 14882.496
AT ITER 5742 NEW BEST:: SOT 63857 SOS 21466 HAS SOPS 21466 HAS SOUS 14833 HAS SOUPS 14833 WITH SCORE 14854.466
AT ITER 5744 NEW BEST:: SOT 63862 SOS 21460 HAS SOPS 21460 HAS SOUS 14827 HAS SOUPS 14827 WITH SCORE 14848.46
AT ITER 5793 NEW BEST:: SOT 63862 SOS 21460 HAS SOPS 21460 HAS SOUS 14826 HAS SOUPS 14826 WITH SCORE 14847.46
AT ITER 5797 NEW BEST:: SOT 63847 SOS 21439 HAS SOPS 21439 HAS SOUS 14814 HAS SOUPS 14814 WITH SCORE 14835.439
AT ITER 5806 NEW BEST:: SOT 63825 SOS 21411 HAS SOPS 21411 HAS SOUS 14786 HAS SOUPS 14786 WITH SCORE 14807.411
AT ITER 5821 NEW BEST:: SOT 63809 SOS 21414 HAS SOPS 21414 HAS SOUS 14778 HAS SOUPS 14778 WITH SCORE 14799.414
AT ITER 5856 NEW BEST:: SOT 63807 SOS 21410 HAS SOPS 21410 HAS SOUS 14774 HAS SOUPS 14774 WITH SCORE 14795.41
AT ITER 5874 NEW BEST:: SOT 63805 SOS 21403 HAS SOPS 21403 HAS SOUS 14767 HAS SOUPS 14767 WITH SCORE 14788.403
AT ITER 5881 NEW BEST:: SOT 63796 SOS 21394 HAS SOPS 21394 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14779.394
AT ITER 5904 NEW BEST:: SOT 63777 SOS 21433 HAS SOPS 21433 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14752.433
AT ITER 5905 NEW BEST:: SOT 63769 SOS 21425 HAS SOPS 21425 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14740.425
AT ITER 5923 NEW BEST:: SOT 63744 SOS 21400 HAS SOPS 21400 HAS SOUS 14690 HAS SOUPS 14690 WITH SCORE 14711.4
AT ITER 6001 NEW BEST:: SOT 63744 SOS 21399 HAS SOPS 21399 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14710.399
AT ITER 6030 NEW BEST:: SOT 63744 SOS 21377 HAS SOPS 21377 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14688.377
AT ITER 6122 NEW BEST:: SOT 63743 SOS 21375 HAS SOPS 21375 HAS SOUS 14665 HAS SOUPS 14665 WITH SCORE 14686.375
AT ITER 6126 NEW BEST:: SOT 63743 SOS 21369 HAS SOPS 21369 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14680.369
AT ITER 6154 NEW BEST:: SOT 63744 SOS 21343 HAS SOPS 21343 HAS SOUS 14596 HAS SOUPS 14596 WITH SCORE 14617.343
AT ITER 6165 NEW BEST:: SOT 63744 SOS 21343 HAS SOPS 21343 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14606.343
AT ITER 6181 NEW BEST:: SOT 63744 SOS 21343 HAS SOPS 21343 HAS SOUS 14579 HAS SOUPS 14579 WITH SCORE 14600.343
AT ITER 6195 NEW BEST:: SOT 63742 SOS 21322 HAS SOPS 21322 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14598.322
AT ITER 6204 NEW BEST:: SOT 63743 SOS 21324 HAS SOPS 21324 HAS SOUS 14573 HAS SOUPS 14573 WITH SCORE 14594.324
AT ITER 6210 NEW BEST:: SOT 63749 SOS 21303 HAS SOPS 21303 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14591.303
AT ITER 6214 NEW BEST:: SOT 63749 SOS 21303 HAS SOPS 21303 HAS SOUS 14569 HAS SOUPS 14569 WITH SCORE 14590.303
AT ITER 6218 NEW BEST:: SOT 63764 SOS 21299 HAS SOPS 21299 HAS SOUS 14565 HAS SOUPS 14565 WITH SCORE 14586.299
AT ITER 6239 NEW BEST:: SOT 63745 SOS 21280 HAS SOPS 21280 HAS SOUS 14546 HAS SOUPS 14546 WITH SCORE 14567.28
AT ITER 6267 NEW BEST:: SOT 63715 SOS 21270 HAS SOPS 21270 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14557.27
AT ITER 6270 NEW BEST:: SOT 63709 SOS 21258 HAS SOPS 21258 HAS SOUS 14530 HAS SOUPS 14530 WITH SCORE 14551.258
AT ITER 6284 NEW BEST:: SOT 63710 SOS 21240 HAS SOPS 21240 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14533.24
AT ITER 6307 NEW BEST:: SOT 63729 SOS 21278 HAS SOPS 21278 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14524.278
AT ITER 6372 NEW BEST:: SOT 63723 SOS 21270 HAS SOPS 21270 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14520.27
AT ITER 6390 NEW BEST:: SOT 63709 SOS 21256 HAS SOPS 21256 HAS SOUS 14499 HAS SOUPS 14499 WITH SCORE 14520.256
AT ITER 6396 NEW BEST:: SOT 63699 SOS 21246 HAS SOPS 21246 HAS SOUS 14489 HAS SOUPS 14489 WITH SCORE 14510.246
AT ITER 6404 NEW BEST:: SOT 63702 SOS 21240 HAS SOPS 21240 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14504.24
AT ITER 6458 NEW BEST:: SOT 63687 SOS 21210 HAS SOPS 21210 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14474.21
AT ITER 6577 NEW BEST:: SOT 63695 SOS 21203 HAS SOPS 21203 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14467.203
AT ITER 6630 NEW BEST:: SOT 63693 SOS 21201 HAS SOPS 21201 HAS SOUS 14444 HAS SOUPS 14444 WITH SCORE 14465.201
AT ITER 6684 NEW BEST:: SOT 63688 SOS 21191 HAS SOPS 21191 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14455.191
AT ITER 6722 NEW BEST:: SOT 63688 SOS 21191 HAS SOPS 21191 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14447.191
AT ITER 6769 NEW BEST:: SOT 63706 SOS 21179 HAS SOPS 21179 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14435.179
AT ITER 6785 NEW BEST:: SOT 63735 SOS 21164 HAS SOPS 21164 HAS SOUS 14399 HAS SOUPS 14399 WITH SCORE 14420.164
AT ITER 6790 NEW BEST:: SOT 63713 SOS 21132 HAS SOPS 21132 HAS SOUS 14367 HAS SOUPS 14367 WITH SCORE 14388.132
AT ITER 6824 NEW BEST:: SOT 63708 SOS 21127 HAS SOPS 21127 HAS SOUS 14367 HAS SOUPS 14367 WITH SCORE 14388.127
AT ITER 6832 NEW BEST:: SOT 63706 SOS 21123 HAS SOPS 21123 HAS SOUS 14363 HAS SOUPS 14363 WITH SCORE 14384.123
AT ITER 6875 NEW BEST:: SOT 63697 SOS 21114 HAS SOPS 21114 HAS SOUS 14354 HAS SOUPS 14354 WITH SCORE 14375.114
AT ITER 6928 NEW BEST:: SOT 63682 SOS 21084 HAS SOPS 21084 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14374.084
AT ITER 6936 NEW BEST:: SOT 63682 SOS 21082 HAS SOPS 21082 HAS SOUS 14351 HAS SOUPS 14351 WITH SCORE 14372.082
AT ITER 6953 NEW BEST:: SOT 63675 SOS 21070 HAS SOPS 21070 HAS SOUS 14339 HAS SOUPS 14339 WITH SCORE 14360.07
AT ITER 6965 NEW BEST:: SOT 63671 SOS 21054 HAS SOPS 21054 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14344.054
AT ITER 6969 NEW BEST:: SOT 63710 SOS 21049 HAS SOPS 21049 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14339.049
AT ITER 6981 NEW BEST:: SOT 63720 SOS 21039 HAS SOPS 21039 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14339.039
AT ITER 7108 NEW BEST:: SOT 63704 SOS 21007 HAS SOPS 21007 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14339.007
AT ITER 7140 NEW BEST:: SOT 63704 SOS 21007 HAS SOPS 21007 HAS SOUS 14308 HAS SOUPS 14308 WITH SCORE 14329.007
AT ITER 7183 NEW BEST:: SOT 63757 SOS 21060 HAS SOPS 21060 HAS SOUS 14303 HAS SOUPS 14303 WITH SCORE 14324.06
AT ITER 7237 NEW BEST:: SOT 63766 SOS 21060 HAS SOPS 21060 HAS SOUS 14285 HAS SOUPS 14285 WITH SCORE 14306.06
AT ITER 7247 NEW BEST:: SOT 63766 SOS 21060 HAS SOPS 21060 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14304.06
AT ITER 7316 NEW BEST:: SOT 63803 SOS 21089 HAS SOPS 21089 HAS SOUS 14275 HAS SOUPS 14275 WITH SCORE 14296.089
AT ITER 7322 NEW BEST:: SOT 63779 SOS 21041 HAS SOPS 21041 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14270.041
AT ITER 7358 NEW BEST:: SOT 63764 SOS 21042 HAS SOPS 21042 HAS SOUS 14234 HAS SOUPS 14234 WITH SCORE 14255.042
AT ITER 7378 NEW BEST:: SOT 63757 SOS 21029 HAS SOPS 21029 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14242.029
AT ITER 7398 NEW BEST:: SOT 63755 SOS 21025 HAS SOPS 21025 HAS SOUS 14217 HAS SOUPS 14217 WITH SCORE 14238.025
AT ITER 7434 NEW BEST:: SOT 63759 SOS 21025 HAS SOPS 21025 HAS SOUS 14209 HAS SOUPS 14209 WITH SCORE 14230.025
AT ITER 7470 NEW BEST:: SOT 63765 SOS 21023 HAS SOPS 21023 HAS SOUS 14207 HAS SOUPS 14207 WITH SCORE 14228.023
AT ITER 7499 NEW BEST:: SOT 63750 SOS 21008 HAS SOPS 21008 HAS SOUS 14192 HAS SOUPS 14192 WITH SCORE 14213.008
AT ITER 7516 NEW BEST:: SOT 63750 SOS 21003 HAS SOPS 21003 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14208.003
AT ITER 7522 NEW BEST:: SOT 63747 SOS 21000 HAS SOPS 21000 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14208.0
AT ITER 7528 NEW BEST:: SOT 63738 SOS 20982 HAS SOPS 20982 HAS SOUS 14169 HAS SOUPS 14169 WITH SCORE 14189.982
AT ITER 7606 NEW BEST:: SOT 63726 SOS 20965 HAS SOPS 20965 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14185.965
AT ITER 7616 NEW BEST:: SOT 63732 SOS 20959 HAS SOPS 20959 HAS SOUS 14146 HAS SOUPS 14146 WITH SCORE 14166.959
AT ITER 7650 NEW BEST:: SOT 63732 SOS 20949 HAS SOPS 20949 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14156.949
AT ITER 7688 NEW BEST:: SOT 63720 SOS 20943 HAS SOPS 20943 HAS SOUS 14130 HAS SOUPS 14130 WITH SCORE 14150.943
AT ITER 7705 NEW BEST:: SOT 63717 SOS 20937 HAS SOPS 20937 HAS SOUS 14124 HAS SOUPS 14124 WITH SCORE 14144.937
AT ITER 7726 NEW BEST:: SOT 63717 SOS 20926 HAS SOPS 20926 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14133.926
AT ITER 7729 NEW BEST:: SOT 63719 SOS 20930 HAS SOPS 20930 HAS SOUS 14108 HAS SOUPS 14108 WITH SCORE 14128.93
AT ITER 7730 NEW BEST:: SOT 63716 SOS 20924 HAS SOPS 20924 HAS SOUS 14102 HAS SOUPS 14102 WITH SCORE 14122.924
AT ITER 7838 NEW BEST:: SOT 63709 SOS 20910 HAS SOPS 20910 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14108.91
AT ITER 7864 NEW BEST:: SOT 63709 SOS 20910 HAS SOPS 20910 HAS SOUS 14085 HAS SOUPS 14085 WITH SCORE 14105.91
AT ITER 7868 NEW BEST:: SOT 63714 SOS 20461 HAS SOPS 20461 HAS SOUS 14080 HAS SOUPS 14080 WITH SCORE 14100.461
AT ITER 7895 NEW BEST:: SOT 63708 SOS 20454 HAS SOPS 20454 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14093.454
AT ITER 7955 NEW BEST:: SOT 63701 SOS 20447 HAS SOPS 20447 HAS SOUS 14066 HAS SOUPS 14066 WITH SCORE 14086.447
AT ITER 8027 NEW BEST:: SOT 63691 SOS 20432 HAS SOPS 20432 HAS SOUS 14051 HAS SOUPS 14051 WITH SCORE 14071.432
AT ITER 8089 NEW BEST:: SOT 63690 SOS 20437 HAS SOPS 20437 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14070.437
AT ITER 8125 NEW BEST:: SOT 63685 SOS 20427 HAS SOPS 20427 HAS SOUS 14045 HAS SOUPS 14045 WITH SCORE 14065.427
AT ITER 8144 NEW BEST:: SOT 63685 SOS 20425 HAS SOPS 20425 HAS SOUS 14043 HAS SOUPS 14043 WITH SCORE 14063.425
AT ITER 8194 NEW BEST:: SOT 63684 SOS 20422 HAS SOPS 20422 HAS SOUS 14040 HAS SOUPS 14040 WITH SCORE 14060.422
AT ITER 8196 NEW BEST:: SOT 63682 SOS 20420 HAS SOPS 20420 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14058.42
AT ITER 8198 NEW BEST:: SOT 63682 SOS 20394 HAS SOPS 20394 HAS SOUS 14038 HAS SOUPS 14038 WITH SCORE 14058.394
AT ITER 8245 NEW BEST:: SOT 63682 SOS 20392 HAS SOPS 20392 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14056.392
AT ITER 8278 NEW BEST:: SOT 63653 SOS 20384 HAS SOPS 20384 HAS SOUS 14028 HAS SOUPS 14028 WITH SCORE 14048.384
AT ITER 8307 NEW BEST:: SOT 63634 SOS 20378 HAS SOPS 20378 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14042.378
AT ITER 8317 NEW BEST:: SOT 63632 SOS 20376 HAS SOPS 20376 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14040.376
AT ITER 8318 NEW BEST:: SOT 63633 SOS 20368 HAS SOPS 20368 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14032.368
AT ITER 8324 NEW BEST:: SOT 63645 SOS 20340 HAS SOPS 20340 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14004.34
AT ITER 8374 NEW BEST:: SOT 63647 SOS 20338 HAS SOPS 20338 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 14002.338
AT ITER 8424 NEW BEST:: SOT 63623 SOS 20302 HAS SOPS 20302 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13978.302
AT ITER 8455 NEW BEST:: SOT 63618 SOS 20705 HAS SOPS 20705 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13976.705
AT ITER 8497 NEW BEST:: SOT 63614 SOS 20701 HAS SOPS 20701 HAS SOUS 13952 HAS SOUPS 13952 WITH SCORE 13972.701
AT ITER 8517 NEW BEST:: SOT 63615 SOS 20703 HAS SOPS 20703 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13961.703
AT ITER 8558 NEW BEST:: SOT 63618 SOS 20700 HAS SOPS 20700 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13958.7
AT ITER 8567 NEW BEST:: SOT 63560 SOS 20642 HAS SOPS 20642 HAS SOUS 13938 HAS SOUPS 13938 WITH SCORE 13958.642
AT ITER 8597 NEW BEST:: SOT 63558 SOS 20636 HAS SOPS 20636 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13952.636
AT ITER 8598 NEW BEST:: SOT 63561 SOS 20596 HAS SOPS 20596 HAS SOUS 13892 HAS SOUPS 13892 WITH SCORE 13912.596
AT ITER 8601 NEW BEST:: SOT 63565 SOS 20578 HAS SOPS 20578 HAS SOUS 13874 HAS SOUPS 13874 WITH SCORE 13894.578
AT ITER 8604 NEW BEST:: SOT 63556 SOS 20569 HAS SOPS 20569 HAS SOUS 13865 HAS SOUPS 13865 WITH SCORE 13885.569
AT ITER 8612 NEW BEST:: SOT 63547 SOS 20561 HAS SOPS 20561 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13877.561
AT ITER 8664 NEW BEST:: SOT 63544 SOS 20555 HAS SOPS 20555 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13871.555
AT ITER 8705 NEW BEST:: SOT 63544 SOS 20544 HAS SOPS 20544 HAS SOUS 13840 HAS SOUPS 13840 WITH SCORE 13860.544
AT ITER 8722 NEW BEST:: SOT 63539 SOS 20534 HAS SOPS 20534 HAS SOUS 13830 HAS SOUPS 13830 WITH SCORE 13850.534
AT ITER 8798 NEW BEST:: SOT 63539 SOS 20531 HAS SOPS 20531 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13847.531
AT ITER 8803 NEW BEST:: SOT 63538 SOS 20527 HAS SOPS 20527 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13843.527
AT ITER 8812 NEW BEST:: SOT 63538 SOS 20515 HAS SOPS 20515 HAS SOUS 13811 HAS SOUPS 13811 WITH SCORE 13831.515
AT ITER 8881 NEW BEST:: SOT 63529 SOS 20514 HAS SOPS 20514 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13830.514
AT ITER 8944 NEW BEST:: SOT 63541 SOS 20511 HAS SOPS 20511 HAS SOUS 13807 HAS SOUPS 13807 WITH SCORE 13827.511
AT ITER 8948 NEW BEST:: SOT 63538 SOS 20505 HAS SOPS 20505 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13821.505
AT ITER 8964 NEW BEST:: SOT 63534 SOS 20502 HAS SOPS 20502 HAS SOUS 13798 HAS SOUPS 13798 WITH SCORE 13818.502
AT ITER 8979 NEW BEST:: SOT 63534 SOS 20499 HAS SOPS 20499 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13815.499
AT ITER 9047 NEW BEST:: SOT 63534 SOS 20495 HAS SOPS 20495 HAS SOUS 13795 HAS SOUPS 13795 WITH SCORE 13815.495
AT ITER 9070 NEW BEST:: SOT 63533 SOS 20493 HAS SOPS 20493 HAS SOUS 13793 HAS SOUPS 13793 WITH SCORE 13813.493
AT ITER 9106 NEW BEST:: SOT 63529 SOS 20481 HAS SOPS 20481 HAS SOUS 13785 HAS SOUPS 13785 WITH SCORE 13805.481
AT ITER 9172 NEW BEST:: SOT 63519 SOS 20479 HAS SOPS 20479 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13803.479
AT ITER 9173 NEW BEST:: SOT 63508 SOS 20468 HAS SOPS 20468 HAS SOUS 13772 HAS SOUPS 13772 WITH SCORE 13792.468
AT ITER 9191 NEW BEST:: SOT 63497 SOS 20457 HAS SOPS 20457 HAS SOUS 13761 HAS SOUPS 13761 WITH SCORE 13781.457
AT ITER 9216 NEW BEST:: SOT 63497 SOS 20452 HAS SOPS 20452 HAS SOUS 13756 HAS SOUPS 13756 WITH SCORE 13776.452
AT ITER 9281 NEW BEST:: SOT 63507 SOS 20472 HAS SOPS 20472 HAS SOUS 13754 HAS SOUPS 13754 WITH SCORE 13774.472
AT ITER 9306 NEW BEST:: SOT 63508 SOS 20472 HAS SOPS 20472 HAS SOUS 13752 HAS SOUPS 13752 WITH SCORE 13772.472
AT ITER 9449 NEW BEST:: SOT 63501 SOS 20465 HAS SOPS 20465 HAS SOUS 13745 HAS SOUPS 13745 WITH SCORE 13765.465
AT ITER 9520 NEW BEST:: SOT 63496 SOS 20455 HAS SOPS 20455 HAS SOUS 13735 HAS SOUPS 13735 WITH SCORE 13755.455
AT ITER 9559 NEW BEST:: SOT 63496 SOS 20435 HAS SOPS 20435 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13735.435
AT ITER 9574 NEW BEST:: SOT 63495 SOS 20434 HAS SOPS 20434 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13734.434
AT ITER 9575 NEW BEST:: SOT 63489 SOS 20426 HAS SOPS 20426 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13726.426
AT ITER 9593 NEW BEST:: SOT 63489 SOS 20424 HAS SOPS 20424 HAS SOUS 13706 HAS SOUPS 13706 WITH SCORE 13726.424
AT ITER 9712 NEW BEST:: SOT 63485 SOS 20420 HAS SOPS 20420 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13722.42
AT ITER 9727 NEW BEST:: SOT 63482 SOS 20358 HAS SOPS 20358 HAS SOUS 13677 HAS SOUPS 13677 WITH SCORE 13697.358
AT ITER 9771 NEW BEST:: SOT 63461 SOS 20316 HAS SOPS 20316 HAS SOUS 13657 HAS SOUPS 13657 WITH SCORE 13677.316
AT ITER 9789 NEW BEST:: SOT 63461 SOS 20296 HAS SOPS 20296 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13657.296
AT ITER 9841 NEW BEST:: SOT 63413 SOS 20248 HAS SOPS 20248 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13637.248
AT ITER 9915 NEW BEST:: SOT 63413 SOS 20245 HAS SOPS 20245 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13637.245
AT ITER 9966 NEW BEST:: SOT 63413 SOS 20242 HAS SOPS 20242 HAS SOUS 13614 HAS SOUPS 13614 WITH SCORE 13634.242
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 12495300 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16126736 kB

BK_TIME_CONFINEMENT_REACHED

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-06"
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-06, 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-167813696900496"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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