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.r035-tajo-167813688300488.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 smart
Input is BusinessProcesses-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688300488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 484K
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 16:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 25 16:45 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 25 16:45 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 8.7K Feb 25 16:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 87K Feb 25 16:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 16:46 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 76K Feb 25 16:46 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 1678468842993

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=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-05
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 05
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 368 places, 319 transitions, 854 arcs.
AT ITER 0 NEW BEST:: SOT 75677 SOS 32211 HAS SOPS 32211 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30960.211
AT ITER 6 NEW BEST:: SOT 75613 SOS 32194 HAS SOPS 32194 HAS SOUS 30911 HAS SOUPS 30911 WITH SCORE 30943.194
AT ITER 8 NEW BEST:: SOT 75433 SOS 31918 HAS SOPS 31918 HAS SOUS 30642 HAS SOUPS 30642 WITH SCORE 30673.918
AT ITER 16 NEW BEST:: SOT 75472 SOS 31894 HAS SOPS 31894 HAS SOUS 30637 HAS SOUPS 30637 WITH SCORE 30668.894
AT ITER 17 NEW BEST:: SOT 75472 SOS 31887 HAS SOPS 31887 HAS SOUS 30630 HAS SOUPS 30630 WITH SCORE 30661.887
AT ITER 21 NEW BEST:: SOT 75277 SOS 31640 HAS SOPS 31640 HAS SOUS 30408 HAS SOUPS 30408 WITH SCORE 30439.64
AT ITER 29 NEW BEST:: SOT 75255 SOS 31637 HAS SOPS 31637 HAS SOUS 30405 HAS SOUPS 30405 WITH SCORE 30436.637
AT ITER 30 NEW BEST:: SOT 75171 SOS 31547 HAS SOPS 31547 HAS SOUS 30338 HAS SOUPS 30338 WITH SCORE 30369.547
AT ITER 33 NEW BEST:: SOT 75175 SOS 31538 HAS SOPS 31538 HAS SOUS 30329 HAS SOUPS 30329 WITH SCORE 30360.538
AT ITER 34 NEW BEST:: SOT 75175 SOS 31474 HAS SOPS 31474 HAS SOUS 30265 HAS SOUPS 30265 WITH SCORE 30296.474
AT ITER 35 NEW BEST:: SOT 75174 SOS 31472 HAS SOPS 31472 HAS SOUS 30263 HAS SOUPS 30263 WITH SCORE 30294.472
AT ITER 39 NEW BEST:: SOT 75173 SOS 31470 HAS SOPS 31470 HAS SOUS 30261 HAS SOUPS 30261 WITH SCORE 30292.47
AT ITER 42 NEW BEST:: SOT 75173 SOS 31455 HAS SOPS 31455 HAS SOUS 30245 HAS SOUPS 30245 WITH SCORE 30276.455
AT ITER 43 NEW BEST:: SOT 75041 SOS 31355 HAS SOPS 31355 HAS SOUS 30177 HAS SOUPS 30177 WITH SCORE 30208.355
AT ITER 46 NEW BEST:: SOT 74942 SOS 31241 HAS SOPS 31241 HAS SOUS 30063 HAS SOUPS 30063 WITH SCORE 30094.241
AT ITER 50 NEW BEST:: SOT 74986 SOS 31329 HAS SOPS 31329 HAS SOUS 30033 HAS SOUPS 30033 WITH SCORE 30064.329
AT ITER 52 NEW BEST:: SOT 74985 SOS 31327 HAS SOPS 31327 HAS SOUS 30031 HAS SOUPS 30031 WITH SCORE 30062.327
AT ITER 55 NEW BEST:: SOT 74992 SOS 31278 HAS SOPS 31278 HAS SOUS 29982 HAS SOUPS 29982 WITH SCORE 30013.278
AT ITER 56 NEW BEST:: SOT 74929 SOS 31250 HAS SOPS 31250 HAS SOUS 29954 HAS SOUPS 29954 WITH SCORE 29985.25
AT ITER 65 NEW BEST:: SOT 74929 SOS 31182 HAS SOPS 31182 HAS SOUS 29886 HAS SOUPS 29886 WITH SCORE 29917.182
AT ITER 67 NEW BEST:: SOT 74899 SOS 31168 HAS SOPS 31168 HAS SOUS 29872 HAS SOUPS 29872 WITH SCORE 29903.168
AT ITER 72 NEW BEST:: SOT 74899 SOS 31145 HAS SOPS 31145 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29788.145
AT ITER 82 NEW BEST:: SOT 74875 SOS 31121 HAS SOPS 31121 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29788.121
AT ITER 87 NEW BEST:: SOT 74875 SOS 31083 HAS SOPS 31083 HAS SOUS 29719 HAS SOUPS 29719 WITH SCORE 29750.083
AT ITER 101 NEW BEST:: SOT 74874 SOS 31058 HAS SOPS 31058 HAS SOUS 29717 HAS SOUPS 29717 WITH SCORE 29748.058
AT ITER 107 NEW BEST:: SOT 74965 SOS 31017 HAS SOPS 31017 HAS SOUS 29676 HAS SOUPS 29676 WITH SCORE 29707.017
AT ITER 112 NEW BEST:: SOT 74851 SOS 30539 HAS SOPS 30539 HAS SOUS 29416 HAS SOUPS 29416 WITH SCORE 29446.539
AT ITER 115 NEW BEST:: SOT 74803 SOS 30532 HAS SOPS 30532 HAS SOUS 29409 HAS SOUPS 29409 WITH SCORE 29439.532
AT ITER 119 NEW BEST:: SOT 74803 SOS 30467 HAS SOPS 30467 HAS SOUS 29344 HAS SOUPS 29344 WITH SCORE 29374.467
AT ITER 125 NEW BEST:: SOT 74803 SOS 30377 HAS SOPS 30377 HAS SOUS 29343 HAS SOUPS 29343 WITH SCORE 29373.377
AT ITER 141 NEW BEST:: SOT 74803 SOS 30165 HAS SOPS 30165 HAS SOUS 29227 HAS SOUPS 29227 WITH SCORE 29257.165
AT ITER 143 NEW BEST:: SOT 74801 SOS 30163 HAS SOPS 30163 HAS SOUS 29225 HAS SOUPS 29225 WITH SCORE 29255.163
AT ITER 154 NEW BEST:: SOT 74730 SOS 30093 HAS SOPS 30093 HAS SOUS 29155 HAS SOUPS 29155 WITH SCORE 29185.093
AT ITER 164 NEW BEST:: SOT 74622 SOS 29996 HAS SOPS 29996 HAS SOUS 29058 HAS SOUPS 29058 WITH SCORE 29087.996
AT ITER 167 NEW BEST:: SOT 74622 SOS 29996 HAS SOPS 29996 HAS SOUS 29034 HAS SOUPS 29034 WITH SCORE 29063.996
AT ITER 173 NEW BEST:: SOT 74618 SOS 29988 HAS SOPS 29988 HAS SOUS 29026 HAS SOUPS 29026 WITH SCORE 29055.988
AT ITER 176 NEW BEST:: SOT 74596 SOS 29960 HAS SOPS 29960 HAS SOUS 28982 HAS SOUPS 28982 WITH SCORE 29011.96
AT ITER 180 NEW BEST:: SOT 74682 SOS 29936 HAS SOPS 29936 HAS SOUS 28958 HAS SOUPS 28958 WITH SCORE 28987.936
AT ITER 184 NEW BEST:: SOT 74712 SOS 29935 HAS SOPS 29935 HAS SOUS 28957 HAS SOUPS 28957 WITH SCORE 28986.935
AT ITER 192 NEW BEST:: SOT 74712 SOS 29934 HAS SOPS 29934 HAS SOUS 28956 HAS SOUPS 28956 WITH SCORE 28985.934
AT ITER 193 NEW BEST:: SOT 74712 SOS 29918 HAS SOPS 29918 HAS SOUS 28940 HAS SOUPS 28940 WITH SCORE 28969.918
AT ITER 194 NEW BEST:: SOT 74743 SOS 29946 HAS SOPS 29946 HAS SOUS 28892 HAS SOUPS 28892 WITH SCORE 28921.946
AT ITER 195 NEW BEST:: SOT 74730 SOS 29928 HAS SOPS 29928 HAS SOUS 28874 HAS SOUPS 28874 WITH SCORE 28903.928
AT ITER 201 NEW BEST:: SOT 74769 SOS 29906 HAS SOPS 29906 HAS SOUS 28852 HAS SOUPS 28852 WITH SCORE 28881.906
AT ITER 203 NEW BEST:: SOT 74725 SOS 29849 HAS SOPS 29849 HAS SOUS 28795 HAS SOUPS 28795 WITH SCORE 28824.849
AT ITER 204 NEW BEST:: SOT 74667 SOS 29795 HAS SOPS 29795 HAS SOUS 28741 HAS SOUPS 28741 WITH SCORE 28770.795
AT ITER 207 NEW BEST:: SOT 74667 SOS 29721 HAS SOPS 29721 HAS SOUS 28667 HAS SOUPS 28667 WITH SCORE 28696.721
AT ITER 215 NEW BEST:: SOT 74755 SOS 29681 HAS SOPS 29681 HAS SOUS 28627 HAS SOUPS 28627 WITH SCORE 28656.681
AT ITER 216 NEW BEST:: SOT 74755 SOS 29681 HAS SOPS 29681 HAS SOUS 28625 HAS SOUPS 28625 WITH SCORE 28654.681
AT ITER 223 NEW BEST:: SOT 74667 SOS 29593 HAS SOPS 29593 HAS SOUS 28537 HAS SOUPS 28537 WITH SCORE 28566.593
AT ITER 241 NEW BEST:: SOT 74682 SOS 29569 HAS SOPS 29569 HAS SOUS 28513 HAS SOUPS 28513 WITH SCORE 28542.569
AT ITER 246 NEW BEST:: SOT 74660 SOS 29525 HAS SOPS 29525 HAS SOUS 28469 HAS SOUPS 28469 WITH SCORE 28498.525
AT ITER 250 NEW BEST:: SOT 74592 SOS 29366 HAS SOPS 29366 HAS SOUS 28326 HAS SOUPS 28326 WITH SCORE 28355.366
AT ITER 254 NEW BEST:: SOT 74582 SOS 29346 HAS SOPS 29346 HAS SOUS 28306 HAS SOUPS 28306 WITH SCORE 28335.346
AT ITER 277 NEW BEST:: SOT 74555 SOS 29318 HAS SOPS 29318 HAS SOUS 28304 HAS SOUPS 28304 WITH SCORE 28333.318
AT ITER 280 NEW BEST:: SOT 74547 SOS 29312 HAS SOPS 29312 HAS SOUS 28298 HAS SOUPS 28298 WITH SCORE 28327.312
AT ITER 285 NEW BEST:: SOT 74585 SOS 29298 HAS SOPS 29298 HAS SOUS 28284 HAS SOUPS 28284 WITH SCORE 28313.298
AT ITER 286 NEW BEST:: SOT 74585 SOS 29298 HAS SOPS 29298 HAS SOUS 28280 HAS SOUPS 28280 WITH SCORE 28309.298
AT ITER 291 NEW BEST:: SOT 74483 SOS 29163 HAS SOPS 29163 HAS SOUS 28145 HAS SOUPS 28145 WITH SCORE 28174.163
AT ITER 300 NEW BEST:: SOT 74425 SOS 29066 HAS SOPS 29066 HAS SOUS 28048 HAS SOUPS 28048 WITH SCORE 28077.066
AT ITER 302 NEW BEST:: SOT 74424 SOS 29065 HAS SOPS 29065 HAS SOUS 28048 HAS SOUPS 28048 WITH SCORE 28077.065
AT ITER 311 NEW BEST:: SOT 74423 SOS 29063 HAS SOPS 29063 HAS SOUS 28046 HAS SOUPS 28046 WITH SCORE 28075.063
AT ITER 315 NEW BEST:: SOT 74401 SOS 29040 HAS SOPS 29040 HAS SOUS 28044 HAS SOUPS 28044 WITH SCORE 28073.04
AT ITER 319 NEW BEST:: SOT 74401 SOS 29040 HAS SOPS 29040 HAS SOUS 28012 HAS SOUPS 28012 WITH SCORE 28041.04
AT ITER 320 NEW BEST:: SOT 74398 SOS 29034 HAS SOPS 29034 HAS SOUS 28006 HAS SOUPS 28006 WITH SCORE 28035.034
AT ITER 335 NEW BEST:: SOT 74442 SOS 29020 HAS SOPS 29020 HAS SOUS 27992 HAS SOUPS 27992 WITH SCORE 28021.02
AT ITER 342 NEW BEST:: SOT 74410 SOS 28956 HAS SOPS 28956 HAS SOUS 27928 HAS SOUPS 27928 WITH SCORE 27956.956
AT ITER 359 NEW BEST:: SOT 74311 SOS 28845 HAS SOPS 28845 HAS SOUS 27817 HAS SOUPS 27817 WITH SCORE 27845.845
AT ITER 368 NEW BEST:: SOT 74275 SOS 28821 HAS SOPS 28821 HAS SOUS 27793 HAS SOUPS 27793 WITH SCORE 27821.821
AT ITER 375 NEW BEST:: SOT 74275 SOS 28766 HAS SOPS 28766 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27766.766
AT ITER 378 NEW BEST:: SOT 74274 SOS 28764 HAS SOPS 28764 HAS SOUS 27736 HAS SOUPS 27736 WITH SCORE 27764.764
AT ITER 386 NEW BEST:: SOT 74016 SOS 28536 HAS SOPS 28536 HAS SOUS 27508 HAS SOUPS 27508 WITH SCORE 27536.536
AT ITER 394 NEW BEST:: SOT 73991 SOS 28461 HAS SOPS 28461 HAS SOUS 27433 HAS SOUPS 27433 WITH SCORE 27461.461
AT ITER 397 NEW BEST:: SOT 73934 SOS 28357 HAS SOPS 28357 HAS SOUS 27329 HAS SOUPS 27329 WITH SCORE 27357.357
AT ITER 401 NEW BEST:: SOT 73945 SOS 28348 HAS SOPS 28348 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27348.348
AT ITER 409 NEW BEST:: SOT 73974 SOS 28406 HAS SOPS 28406 HAS SOUS 27247 HAS SOUPS 27247 WITH SCORE 27275.406
AT ITER 413 NEW BEST:: SOT 73972 SOS 28404 HAS SOPS 28404 HAS SOUS 27245 HAS SOUPS 27245 WITH SCORE 27273.404
AT ITER 421 NEW BEST:: SOT 73750 SOS 28090 HAS SOPS 28090 HAS SOUS 26931 HAS SOUPS 26931 WITH SCORE 26959.09
AT ITER 422 NEW BEST:: SOT 73766 SOS 28079 HAS SOPS 28079 HAS SOUS 26920 HAS SOUPS 26920 WITH SCORE 26948.079
AT ITER 450 NEW BEST:: SOT 73766 SOS 28048 HAS SOPS 28048 HAS SOUS 26920 HAS SOUPS 26920 WITH SCORE 26948.048
AT ITER 452 NEW BEST:: SOT 73632 SOS 27977 HAS SOPS 27977 HAS SOUS 26849 HAS SOUPS 26849 WITH SCORE 26876.977
AT ITER 457 NEW BEST:: SOT 73610 SOS 27933 HAS SOPS 27933 HAS SOUS 26805 HAS SOUPS 26805 WITH SCORE 26832.933
AT ITER 460 NEW BEST:: SOT 73586 SOS 27868 HAS SOPS 27868 HAS SOUS 26757 HAS SOUPS 26757 WITH SCORE 26784.868
AT ITER 463 NEW BEST:: SOT 73586 SOS 27858 HAS SOPS 27858 HAS SOUS 26747 HAS SOUPS 26747 WITH SCORE 26774.858
AT ITER 473 NEW BEST:: SOT 73586 SOS 27671 HAS SOPS 27671 HAS SOUS 26560 HAS SOUPS 26560 WITH SCORE 26587.671
AT ITER 474 NEW BEST:: SOT 71195 SOS 35052 HAS SOPS 35052 HAS SOUS 24493 HAS SOUPS 24493 WITH SCORE 24528.052
AT ITER 480 NEW BEST:: SOT 71136 SOS 34910 HAS SOPS 34910 HAS SOUS 24469 HAS SOUPS 24469 WITH SCORE 24503.91
AT ITER 482 NEW BEST:: SOT 71111 SOS 34884 HAS SOPS 34884 HAS SOUS 24443 HAS SOUPS 24443 WITH SCORE 24477.884
AT ITER 489 NEW BEST:: SOT 71166 SOS 31233 HAS SOPS 31233 HAS SOUS 24438 HAS SOUPS 24438 WITH SCORE 24469.233
AT ITER 497 NEW BEST:: SOT 70966 SOS 31033 HAS SOPS 31033 HAS SOUS 24355 HAS SOUPS 24355 WITH SCORE 24386.033
AT ITER 506 NEW BEST:: SOT 70953 SOS 31021 HAS SOPS 31021 HAS SOUS 24343 HAS SOUPS 24343 WITH SCORE 24374.021
AT ITER 514 NEW BEST:: SOT 70959 SOS 31021 HAS SOPS 31021 HAS SOUS 24337 HAS SOUPS 24337 WITH SCORE 24368.021
AT ITER 519 NEW BEST:: SOT 70909 SOS 30971 HAS SOPS 30971 HAS SOUS 24287 HAS SOUPS 24287 WITH SCORE 24317.971
AT ITER 523 NEW BEST:: SOT 70903 SOS 30971 HAS SOPS 30971 HAS SOUS 24281 HAS SOUPS 24281 WITH SCORE 24311.971
AT ITER 556 NEW BEST:: SOT 70853 SOS 30921 HAS SOPS 30921 HAS SOUS 24231 HAS SOUPS 24231 WITH SCORE 24261.921
AT ITER 561 NEW BEST:: SOT 70853 SOS 30938 HAS SOPS 30938 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24258.938
AT ITER 568 NEW BEST:: SOT 70833 SOS 30898 HAS SOPS 30898 HAS SOUS 24188 HAS SOUPS 24188 WITH SCORE 24218.898
AT ITER 569 NEW BEST:: SOT 70859 SOS 30864 HAS SOPS 30864 HAS SOUS 24154 HAS SOUPS 24154 WITH SCORE 24184.864
AT ITER 584 NEW BEST:: SOT 70845 SOS 30850 HAS SOPS 30850 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24170.85
AT ITER 591 NEW BEST:: SOT 70823 SOS 30765 HAS SOPS 30765 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24170.765
AT ITER 598 NEW BEST:: SOT 70759 SOS 30637 HAS SOPS 30637 HAS SOUS 24140 HAS SOUPS 24140 WITH SCORE 24170.637
AT ITER 603 NEW BEST:: SOT 70815 SOS 30570 HAS SOPS 30570 HAS SOUS 24073 HAS SOUPS 24073 WITH SCORE 24103.57
AT ITER 604 NEW BEST:: SOT 70802 SOS 30560 HAS SOPS 30560 HAS SOUS 24063 HAS SOUPS 24063 WITH SCORE 24093.56
AT ITER 613 NEW BEST:: SOT 70819 SOS 30477 HAS SOPS 30477 HAS SOUS 23980 HAS SOUPS 23980 WITH SCORE 24010.477
AT ITER 620 NEW BEST:: SOT 70804 SOS 30311 HAS SOPS 30311 HAS SOUS 23906 HAS SOUPS 23906 WITH SCORE 23936.311
AT ITER 635 NEW BEST:: SOT 70799 SOS 30306 HAS SOPS 30306 HAS SOUS 23901 HAS SOUPS 23901 WITH SCORE 23931.306
AT ITER 637 NEW BEST:: SOT 70913 SOS 30390 HAS SOPS 30390 HAS SOUS 23877 HAS SOUPS 23877 WITH SCORE 23907.39
AT ITER 638 NEW BEST:: SOT 70881 SOS 30354 HAS SOPS 30354 HAS SOUS 23841 HAS SOUPS 23841 WITH SCORE 23871.354
AT ITER 643 NEW BEST:: SOT 70876 SOS 30349 HAS SOPS 30349 HAS SOUS 23836 HAS SOUPS 23836 WITH SCORE 23866.349
AT ITER 648 NEW BEST:: SOT 70876 SOS 30348 HAS SOPS 30348 HAS SOUS 23835 HAS SOUPS 23835 WITH SCORE 23865.348
AT ITER 649 NEW BEST:: SOT 70873 SOS 30343 HAS SOPS 30343 HAS SOUS 23830 HAS SOUPS 23830 WITH SCORE 23860.343
AT ITER 667 NEW BEST:: SOT 70832 SOS 32156 HAS SOPS 32156 HAS SOUS 23823 HAS SOUPS 23823 WITH SCORE 23855.156
AT ITER 668 NEW BEST:: SOT 70757 SOS 32006 HAS SOPS 32006 HAS SOUS 23688 HAS SOUPS 23688 WITH SCORE 23720.006
AT ITER 681 NEW BEST:: SOT 70617 SOS 31866 HAS SOPS 31866 HAS SOUS 23548 HAS SOUPS 23548 WITH SCORE 23579.866
AT ITER 689 NEW BEST:: SOT 70617 SOS 31807 HAS SOPS 31807 HAS SOUS 23489 HAS SOUPS 23489 WITH SCORE 23520.807
AT ITER 698 NEW BEST:: SOT 70599 SOS 31789 HAS SOPS 31789 HAS SOUS 23471 HAS SOUPS 23471 WITH SCORE 23502.789
AT ITER 701 NEW BEST:: SOT 70502 SOS 31684 HAS SOPS 31684 HAS SOUS 23366 HAS SOUPS 23366 WITH SCORE 23397.684
AT ITER 715 NEW BEST:: SOT 70491 SOS 31616 HAS SOPS 31616 HAS SOUS 23299 HAS SOUPS 23299 WITH SCORE 23330.616
AT ITER 717 NEW BEST:: SOT 70609 SOS 31694 HAS SOPS 31694 HAS SOUS 23292 HAS SOUPS 23292 WITH SCORE 23323.694
AT ITER 729 NEW BEST:: SOT 70544 SOS 31566 HAS SOPS 31566 HAS SOUS 23164 HAS SOUPS 23164 WITH SCORE 23195.566
AT ITER 731 NEW BEST:: SOT 70271 SOS 31227 HAS SOPS 31227 HAS SOUS 23033 HAS SOUPS 23033 WITH SCORE 23064.227
AT ITER 740 NEW BEST:: SOT 70252 SOS 31189 HAS SOPS 31189 HAS SOUS 22976 HAS SOUPS 22976 WITH SCORE 23007.189
AT ITER 752 NEW BEST:: SOT 70233 SOS 31162 HAS SOPS 31162 HAS SOUS 22938 HAS SOUPS 22938 WITH SCORE 22969.162
AT ITER 783 NEW BEST:: SOT 70237 SOS 31127 HAS SOPS 31127 HAS SOUS 22903 HAS SOUPS 22903 WITH SCORE 22934.127
AT ITER 793 NEW BEST:: SOT 70234 SOS 31121 HAS SOPS 31121 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22928.121
AT ITER 798 NEW BEST:: SOT 70227 SOS 31107 HAS SOPS 31107 HAS SOUS 22883 HAS SOUPS 22883 WITH SCORE 22914.107
AT ITER 806 NEW BEST:: SOT 70223 SOS 31099 HAS SOPS 31099 HAS SOUS 22878 HAS SOUPS 22878 WITH SCORE 22909.099
AT ITER 808 NEW BEST:: SOT 70217 SOS 31092 HAS SOPS 31092 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22902.092
AT ITER 809 NEW BEST:: SOT 70217 SOS 31092 HAS SOPS 31092 HAS SOUS 22867 HAS SOUPS 22867 WITH SCORE 22898.092
AT ITER 816 NEW BEST:: SOT 70174 SOS 31074 HAS SOPS 31074 HAS SOUS 22860 HAS SOUPS 22860 WITH SCORE 22891.074
AT ITER 820 NEW BEST:: SOT 70128 SOS 31005 HAS SOPS 31005 HAS SOUS 22791 HAS SOUPS 22791 WITH SCORE 22822.005
AT ITER 823 NEW BEST:: SOT 70083 SOS 30922 HAS SOPS 30922 HAS SOUS 22713 HAS SOUPS 22713 WITH SCORE 22743.922
AT ITER 825 NEW BEST:: SOT 69986 SOS 30714 HAS SOPS 30714 HAS SOUS 22505 HAS SOUPS 22505 WITH SCORE 22535.714
AT ITER 841 NEW BEST:: SOT 70024 SOS 30740 HAS SOPS 30740 HAS SOUS 22441 HAS SOUPS 22441 WITH SCORE 22471.74
AT ITER 842 NEW BEST:: SOT 70054 SOS 30573 HAS SOPS 30573 HAS SOUS 22274 HAS SOUPS 22274 WITH SCORE 22304.573
AT ITER 846 NEW BEST:: SOT 69877 SOS 30219 HAS SOPS 30219 HAS SOUS 22239 HAS SOUPS 22239 WITH SCORE 22269.219
AT ITER 847 NEW BEST:: SOT 69877 SOS 30207 HAS SOPS 30207 HAS SOUS 22227 HAS SOUPS 22227 WITH SCORE 22257.207
AT ITER 850 NEW BEST:: SOT 69763 SOS 29903 HAS SOPS 29903 HAS SOUS 21923 HAS SOUPS 21923 WITH SCORE 21952.903
AT ITER 853 NEW BEST:: SOT 69763 SOS 29837 HAS SOPS 29837 HAS SOUS 21923 HAS SOUPS 21923 WITH SCORE 21952.837
AT ITER 857 NEW BEST:: SOT 69692 SOS 29626 HAS SOPS 29626 HAS SOUS 21782 HAS SOUPS 21782 WITH SCORE 21811.626
AT ITER 862 NEW BEST:: SOT 69717 SOS 29260 HAS SOPS 29260 HAS SOUS 21737 HAS SOUPS 21737 WITH SCORE 21766.26
AT ITER 865 NEW BEST:: SOT 69638 SOS 29181 HAS SOPS 29181 HAS SOUS 21629 HAS SOUPS 21629 WITH SCORE 21658.181
AT ITER 866 NEW BEST:: SOT 69685 SOS 29114 HAS SOPS 29114 HAS SOUS 21567 HAS SOUPS 21567 WITH SCORE 21596.114
AT ITER 872 NEW BEST:: SOT 69639 SOS 29068 HAS SOPS 29068 HAS SOUS 21521 HAS SOUPS 21521 WITH SCORE 21550.068
AT ITER 873 NEW BEST:: SOT 69637 SOS 29064 HAS SOPS 29064 HAS SOUS 21517 HAS SOUPS 21517 WITH SCORE 21546.064
AT ITER 877 NEW BEST:: SOT 69581 SOS 28937 HAS SOPS 28937 HAS SOUS 21503 HAS SOUPS 21503 WITH SCORE 21531.937
AT ITER 878 NEW BEST:: SOT 69564 SOS 28903 HAS SOPS 28903 HAS SOUS 21469 HAS SOUPS 21469 WITH SCORE 21497.903
AT ITER 884 NEW BEST:: SOT 69558 SOS 28891 HAS SOPS 28891 HAS SOUS 21457 HAS SOUPS 21457 WITH SCORE 21485.891
AT ITER 888 NEW BEST:: SOT 69552 SOS 28879 HAS SOPS 28879 HAS SOUS 21445 HAS SOUPS 21445 WITH SCORE 21473.879
AT ITER 889 NEW BEST:: SOT 69552 SOS 28852 HAS SOPS 28852 HAS SOUS 21438 HAS SOUPS 21438 WITH SCORE 21466.852
AT ITER 907 NEW BEST:: SOT 69527 SOS 28802 HAS SOPS 28802 HAS SOUS 21388 HAS SOUPS 21388 WITH SCORE 21416.802
AT ITER 913 NEW BEST:: SOT 69532 SOS 28800 HAS SOPS 28800 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21412.8
AT ITER 915 NEW BEST:: SOT 69532 SOS 28747 HAS SOPS 28747 HAS SOUS 21369 HAS SOUPS 21369 WITH SCORE 21397.747
AT ITER 917 NEW BEST:: SOT 69502 SOS 28678 HAS SOPS 28678 HAS SOUS 21306 HAS SOUPS 21306 WITH SCORE 21334.678
AT ITER 924 NEW BEST:: SOT 69494 SOS 28670 HAS SOPS 28670 HAS SOUS 21302 HAS SOUPS 21302 WITH SCORE 21330.67
AT ITER 925 NEW BEST:: SOT 69402 SOS 28372 HAS SOPS 28372 HAS SOUS 21210 HAS SOUPS 21210 WITH SCORE 21238.372
AT ITER 936 NEW BEST:: SOT 69402 SOS 28372 HAS SOPS 28372 HAS SOUS 21164 HAS SOUPS 21164 WITH SCORE 21192.372
AT ITER 940 NEW BEST:: SOT 69402 SOS 28368 HAS SOPS 28368 HAS SOUS 21164 HAS SOUPS 21164 WITH SCORE 21192.368
AT ITER 957 NEW BEST:: SOT 69400 SOS 29224 HAS SOPS 29224 HAS SOUS 21162 HAS SOUPS 21162 WITH SCORE 21191.224
AT ITER 965 NEW BEST:: SOT 69404 SOS 29158 HAS SOPS 29158 HAS SOUS 21092 HAS SOUPS 21092 WITH SCORE 21121.158
AT ITER 967 NEW BEST:: SOT 69372 SOS 29110 HAS SOPS 29110 HAS SOUS 21060 HAS SOUPS 21060 WITH SCORE 21089.11
AT ITER 970 NEW BEST:: SOT 69346 SOS 29071 HAS SOPS 29071 HAS SOUS 21021 HAS SOUPS 21021 WITH SCORE 21050.071
AT ITER 1011 NEW BEST:: SOT 69331 SOS 29040 HAS SOPS 29040 HAS SOUS 20990 HAS SOUPS 20990 WITH SCORE 21019.04
AT ITER 1020 NEW BEST:: SOT 69317 SOS 29010 HAS SOPS 29010 HAS SOUS 20960 HAS SOUPS 20960 WITH SCORE 20989.01
AT ITER 1037 NEW BEST:: SOT 69317 SOS 28924 HAS SOPS 28924 HAS SOUS 20960 HAS SOUPS 20960 WITH SCORE 20988.924
AT ITER 1059 NEW BEST:: SOT 69313 SOS 28912 HAS SOPS 28912 HAS SOUS 20956 HAS SOUPS 20956 WITH SCORE 20984.912
AT ITER 1072 NEW BEST:: SOT 69266 SOS 28844 HAS SOPS 28844 HAS SOUS 20930 HAS SOUPS 20930 WITH SCORE 20958.844
AT ITER 1082 NEW BEST:: SOT 69220 SOS 28798 HAS SOPS 28798 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20912.798
AT ITER 1083 NEW BEST:: SOT 69233 SOS 28792 HAS SOPS 28792 HAS SOUS 20884 HAS SOUPS 20884 WITH SCORE 20912.792
AT ITER 1086 NEW BEST:: SOT 69232 SOS 28790 HAS SOPS 28790 HAS SOUS 20882 HAS SOUPS 20882 WITH SCORE 20910.79
AT ITER 1099 NEW BEST:: SOT 69198 SOS 28756 HAS SOPS 28756 HAS SOUS 20824 HAS SOUPS 20824 WITH SCORE 20852.756
AT ITER 1112 NEW BEST:: SOT 69173 SOS 28731 HAS SOPS 28731 HAS SOUS 20799 HAS SOUPS 20799 WITH SCORE 20827.731
AT ITER 1117 NEW BEST:: SOT 69169 SOS 28723 HAS SOPS 28723 HAS SOUS 20791 HAS SOUPS 20791 WITH SCORE 20819.723
AT ITER 1125 NEW BEST:: SOT 69166 SOS 28717 HAS SOPS 28717 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20813.717
AT ITER 1127 NEW BEST:: SOT 69138 SOS 28689 HAS SOPS 28689 HAS SOUS 20785 HAS SOUPS 20785 WITH SCORE 20813.689
AT ITER 1128 NEW BEST:: SOT 69131 SOS 28656 HAS SOPS 28656 HAS SOUS 20752 HAS SOUPS 20752 WITH SCORE 20780.656
AT ITER 1150 NEW BEST:: SOT 69123 SOS 28649 HAS SOPS 28649 HAS SOUS 20745 HAS SOUPS 20745 WITH SCORE 20773.649
AT ITER 1153 NEW BEST:: SOT 69129 SOS 28597 HAS SOPS 28597 HAS SOUS 20678 HAS SOUPS 20678 WITH SCORE 20706.597
AT ITER 1163 NEW BEST:: SOT 69155 SOS 28587 HAS SOPS 28587 HAS SOUS 20668 HAS SOUPS 20668 WITH SCORE 20696.587
AT ITER 1207 NEW BEST:: SOT 69059 SOS 28505 HAS SOPS 28505 HAS SOUS 20586 HAS SOUPS 20586 WITH SCORE 20614.505
AT ITER 1211 NEW BEST:: SOT 69058 SOS 28492 HAS SOPS 28492 HAS SOUS 20585 HAS SOUPS 20585 WITH SCORE 20613.492
AT ITER 1221 NEW BEST:: SOT 69016 SOS 28408 HAS SOPS 28408 HAS SOUS 20543 HAS SOUPS 20543 WITH SCORE 20571.408
AT ITER 1222 NEW BEST:: SOT 69048 SOS 28479 HAS SOPS 28479 HAS SOUS 20540 HAS SOUPS 20540 WITH SCORE 20568.479
AT ITER 1232 NEW BEST:: SOT 69062 SOS 28457 HAS SOPS 28457 HAS SOUS 20468 HAS SOUPS 20468 WITH SCORE 20496.457
AT ITER 1242 NEW BEST:: SOT 68922 SOS 28451 HAS SOPS 28451 HAS SOUS 20395 HAS SOUPS 20395 WITH SCORE 20423.451
AT ITER 1260 NEW BEST:: SOT 68778 SOS 28261 HAS SOPS 28261 HAS SOUS 20303 HAS SOUPS 20303 WITH SCORE 20331.261
AT ITER 1268 NEW BEST:: SOT 68733 SOS 28165 HAS SOPS 28165 HAS SOUS 20279 HAS SOUPS 20279 WITH SCORE 20307.165
AT ITER 1277 NEW BEST:: SOT 68720 SOS 28154 HAS SOPS 28154 HAS SOUS 20268 HAS SOUPS 20268 WITH SCORE 20296.154
AT ITER 1299 NEW BEST:: SOT 68703 SOS 28118 HAS SOPS 28118 HAS SOUS 20232 HAS SOUPS 20232 WITH SCORE 20260.118
AT ITER 1300 NEW BEST:: SOT 68666 SOS 28093 HAS SOPS 28093 HAS SOUS 20207 HAS SOUPS 20207 WITH SCORE 20235.093
AT ITER 1302 NEW BEST:: SOT 68765 SOS 28010 HAS SOPS 28010 HAS SOUS 20185 HAS SOUPS 20185 WITH SCORE 20213.01
AT ITER 1305 NEW BEST:: SOT 68762 SOS 28004 HAS SOPS 28004 HAS SOUS 20179 HAS SOUPS 20179 WITH SCORE 20207.004
AT ITER 1307 NEW BEST:: SOT 68755 SOS 28034 HAS SOPS 28034 HAS SOUS 20160 HAS SOUPS 20160 WITH SCORE 20188.034
AT ITER 1311 NEW BEST:: SOT 68754 SOS 28026 HAS SOPS 28026 HAS SOUS 20156 HAS SOUPS 20156 WITH SCORE 20184.026
AT ITER 1312 NEW BEST:: SOT 68687 SOS 27919 HAS SOPS 27919 HAS SOUS 20104 HAS SOUPS 20104 WITH SCORE 20131.919
AT ITER 1320 NEW BEST:: SOT 68772 SOS 27782 HAS SOPS 27782 HAS SOUS 19969 HAS SOUPS 19969 WITH SCORE 19996.782
AT ITER 1343 NEW BEST:: SOT 68772 SOS 27678 HAS SOPS 27678 HAS SOUS 19866 HAS SOUPS 19866 WITH SCORE 19893.678
AT ITER 1351 NEW BEST:: SOT 68757 SOS 27646 HAS SOPS 27646 HAS SOUS 19834 HAS SOUPS 19834 WITH SCORE 19861.646
AT ITER 1355 NEW BEST:: SOT 68750 SOS 27632 HAS SOPS 27632 HAS SOUS 19820 HAS SOUPS 19820 WITH SCORE 19847.632
AT ITER 1357 NEW BEST:: SOT 68727 SOS 27609 HAS SOPS 27609 HAS SOUS 19803 HAS SOUPS 19803 WITH SCORE 19830.609
AT ITER 1368 NEW BEST:: SOT 68727 SOS 27594 HAS SOPS 27594 HAS SOUS 19788 HAS SOUPS 19788 WITH SCORE 19815.594
AT ITER 1371 NEW BEST:: SOT 68712 SOS 27564 HAS SOPS 27564 HAS SOUS 19758 HAS SOUPS 19758 WITH SCORE 19785.564
AT ITER 1377 NEW BEST:: SOT 68673 SOS 27526 HAS SOPS 27526 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19779.526
AT ITER 1394 NEW BEST:: SOT 68660 SOS 27500 HAS SOPS 27500 HAS SOUS 19726 HAS SOUPS 19726 WITH SCORE 19753.5
AT ITER 1401 NEW BEST:: SOT 68644 SOS 27451 HAS SOPS 27451 HAS SOUS 19677 HAS SOUPS 19677 WITH SCORE 19704.451
AT ITER 1406 NEW BEST:: SOT 68659 SOS 27474 HAS SOPS 27474 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19690.474
AT ITER 1408 NEW BEST:: SOT 68643 SOS 27442 HAS SOPS 27442 HAS SOUS 19631 HAS SOUPS 19631 WITH SCORE 19658.442
AT ITER 1432 NEW BEST:: SOT 68613 SOS 27412 HAS SOPS 27412 HAS SOUS 19601 HAS SOUPS 19601 WITH SCORE 19628.412
AT ITER 1441 NEW BEST:: SOT 68544 SOS 27347 HAS SOPS 27347 HAS SOUS 19588 HAS SOUPS 19588 WITH SCORE 19615.347
AT ITER 1442 NEW BEST:: SOT 68544 SOS 27335 HAS SOPS 27335 HAS SOUS 19576 HAS SOUPS 19576 WITH SCORE 19603.335
AT ITER 1452 NEW BEST:: SOT 68549 SOS 27263 HAS SOPS 27263 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19531.263
AT ITER 1458 NEW BEST:: SOT 68524 SOS 27252 HAS SOPS 27252 HAS SOUS 19481 HAS SOUPS 19481 WITH SCORE 19508.252
AT ITER 1472 NEW BEST:: SOT 68515 SOS 27239 HAS SOPS 27239 HAS SOUS 19473 HAS SOUPS 19473 WITH SCORE 19500.239
AT ITER 1476 NEW BEST:: SOT 68486 SOS 27202 HAS SOPS 27202 HAS SOUS 19465 HAS SOUPS 19465 WITH SCORE 19492.202
AT ITER 1492 NEW BEST:: SOT 68486 SOS 27192 HAS SOPS 27192 HAS SOUS 19445 HAS SOUPS 19445 WITH SCORE 19472.192
AT ITER 1501 NEW BEST:: SOT 68567 SOS 27354 HAS SOPS 27354 HAS SOUS 19427 HAS SOUPS 19427 WITH SCORE 19454.354
AT ITER 1503 NEW BEST:: SOT 68567 SOS 27354 HAS SOPS 27354 HAS SOUS 19419 HAS SOUPS 19419 WITH SCORE 19446.354
AT ITER 1544 NEW BEST:: SOT 68543 SOS 27318 HAS SOPS 27318 HAS SOUS 19395 HAS SOUPS 19395 WITH SCORE 19422.318
AT ITER 1549 NEW BEST:: SOT 68546 SOS 27324 HAS SOPS 27324 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19409.324
AT ITER 1561 NEW BEST:: SOT 68536 SOS 27288 HAS SOPS 27288 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19373.288
AT ITER 1562 NEW BEST:: SOT 68646 SOS 27398 HAS SOPS 27398 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19372.398
AT ITER 1568 NEW BEST:: SOT 68626 SOS 27378 HAS SOPS 27378 HAS SOUS 19325 HAS SOUPS 19325 WITH SCORE 19352.378
AT ITER 1575 NEW BEST:: SOT 68608 SOS 27300 HAS SOPS 27300 HAS SOUS 19307 HAS SOUPS 19307 WITH SCORE 19334.3
AT ITER 1607 NEW BEST:: SOT 68598 SOS 27290 HAS SOPS 27290 HAS SOUS 19297 HAS SOUPS 19297 WITH SCORE 19324.29
AT ITER 1615 NEW BEST:: SOT 68591 SOS 27278 HAS SOPS 27278 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19312.278
AT ITER 1618 NEW BEST:: SOT 68553 SOS 27240 HAS SOPS 27240 HAS SOUS 19247 HAS SOUPS 19247 WITH SCORE 19274.24
AT ITER 1623 NEW BEST:: SOT 68541 SOS 27217 HAS SOPS 27217 HAS SOUS 19224 HAS SOUPS 19224 WITH SCORE 19251.217
AT ITER 1625 NEW BEST:: SOT 68523 SOS 27198 HAS SOPS 27198 HAS SOUS 19205 HAS SOUPS 19205 WITH SCORE 19232.198
AT ITER 1629 NEW BEST:: SOT 68513 SOS 27188 HAS SOPS 27188 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19222.188
AT ITER 1646 NEW BEST:: SOT 68476 SOS 27124 HAS SOPS 27124 HAS SOUS 19142 HAS SOUPS 19142 WITH SCORE 19169.124
AT ITER 1662 NEW BEST:: SOT 68425 SOS 27033 HAS SOPS 27033 HAS SOUS 19051 HAS SOUPS 19051 WITH SCORE 19078.033
AT ITER 1666 NEW BEST:: SOT 68382 SOS 26905 HAS SOPS 26905 HAS SOUS 18943 HAS SOUPS 18943 WITH SCORE 18969.905
AT ITER 1680 NEW BEST:: SOT 68382 SOS 26905 HAS SOPS 26905 HAS SOUS 18929 HAS SOUPS 18929 WITH SCORE 18955.905
AT ITER 1711 NEW BEST:: SOT 68382 SOS 26905 HAS SOPS 26905 HAS SOUS 18923 HAS SOUPS 18923 WITH SCORE 18949.905
AT ITER 1731 NEW BEST:: SOT 68371 SOS 26868 HAS SOPS 26868 HAS SOUS 18886 HAS SOUPS 18886 WITH SCORE 18912.868
AT ITER 1734 NEW BEST:: SOT 68336 SOS 26811 HAS SOPS 26811 HAS SOUS 18861 HAS SOUPS 18861 WITH SCORE 18887.811
AT ITER 1742 NEW BEST:: SOT 68336 SOS 26811 HAS SOPS 26811 HAS SOUS 18847 HAS SOUPS 18847 WITH SCORE 18873.811
AT ITER 1743 NEW BEST:: SOT 68298 SOS 26735 HAS SOPS 26735 HAS SOUS 18795 HAS SOUPS 18795 WITH SCORE 18821.735
AT ITER 1747 NEW BEST:: SOT 68287 SOS 26713 HAS SOPS 26713 HAS SOUS 18781 HAS SOUPS 18781 WITH SCORE 18807.713
AT ITER 1778 NEW BEST:: SOT 68271 SOS 26689 HAS SOPS 26689 HAS SOUS 18757 HAS SOUPS 18757 WITH SCORE 18783.689
AT ITER 1781 NEW BEST:: SOT 68271 SOS 26653 HAS SOPS 26653 HAS SOUS 18721 HAS SOUPS 18721 WITH SCORE 18747.653
AT ITER 1806 NEW BEST:: SOT 68270 SOS 26651 HAS SOPS 26651 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18744.651
AT ITER 1814 NEW BEST:: SOT 68243 SOS 26575 HAS SOPS 26575 HAS SOUS 18642 HAS SOUPS 18642 WITH SCORE 18668.575
AT ITER 1815 NEW BEST:: SOT 68243 SOS 26567 HAS SOPS 26567 HAS SOUS 18626 HAS SOUPS 18626 WITH SCORE 18652.567
AT ITER 1818 NEW BEST:: SOT 68213 SOS 26522 HAS SOPS 26522 HAS SOUS 18596 HAS SOUPS 18596 WITH SCORE 18622.522
AT ITER 1839 NEW BEST:: SOT 68213 SOS 26522 HAS SOPS 26522 HAS SOUS 18586 HAS SOUPS 18586 WITH SCORE 18612.522
AT ITER 1845 NEW BEST:: SOT 67992 SOS 26357 HAS SOPS 26357 HAS SOUS 18513 HAS SOUPS 18513 WITH SCORE 18539.357
AT ITER 1866 NEW BEST:: SOT 67987 SOS 26352 HAS SOPS 26352 HAS SOUS 18508 HAS SOUPS 18508 WITH SCORE 18534.352
AT ITER 1887 NEW BEST:: SOT 67996 SOS 26344 HAS SOPS 26344 HAS SOUS 18500 HAS SOUPS 18500 WITH SCORE 18526.344
AT ITER 1890 NEW BEST:: SOT 67975 SOS 26287 HAS SOPS 26287 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18511.287
AT ITER 1913 NEW BEST:: SOT 67928 SOS 26187 HAS SOPS 26187 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18458.187
AT ITER 1918 NEW BEST:: SOT 67909 SOS 26167 HAS SOPS 26167 HAS SOUS 18430 HAS SOUPS 18430 WITH SCORE 18456.167
AT ITER 1921 NEW BEST:: SOT 67992 SOS 26234 HAS SOPS 26234 HAS SOUS 18424 HAS SOUPS 18424 WITH SCORE 18450.234
AT ITER 1945 NEW BEST:: SOT 67968 SOS 26210 HAS SOPS 26210 HAS SOUS 18400 HAS SOUPS 18400 WITH SCORE 18426.21
AT ITER 1951 NEW BEST:: SOT 67967 SOS 26145 HAS SOPS 26145 HAS SOUS 18335 HAS SOUPS 18335 WITH SCORE 18361.145
AT ITER 2008 NEW BEST:: SOT 67955 SOS 26127 HAS SOPS 26127 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18343.127
AT ITER 2010 NEW BEST:: SOT 67954 SOS 26125 HAS SOPS 26125 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18341.125
AT ITER 2035 NEW BEST:: SOT 67949 SOS 26120 HAS SOPS 26120 HAS SOUS 18313 HAS SOUPS 18313 WITH SCORE 18339.12
AT ITER 2036 NEW BEST:: SOT 67948 SOS 26118 HAS SOPS 26118 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18337.118
AT ITER 2038 NEW BEST:: SOT 67948 SOS 26104 HAS SOPS 26104 HAS SOUS 18311 HAS SOUPS 18311 WITH SCORE 18337.104
AT ITER 2054 NEW BEST:: SOT 67947 SOS 26102 HAS SOPS 26102 HAS SOUS 18309 HAS SOUPS 18309 WITH SCORE 18335.102
AT ITER 2060 NEW BEST:: SOT 67947 SOS 26074 HAS SOPS 26074 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18331.074
AT ITER 2067 NEW BEST:: SOT 67945 SOS 26070 HAS SOPS 26070 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18327.07
AT ITER 2112 NEW BEST:: SOT 67963 SOS 26055 HAS SOPS 26055 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18312.055
AT ITER 2113 NEW BEST:: SOT 67963 SOS 26055 HAS SOPS 26055 HAS SOUS 18274 HAS SOUPS 18274 WITH SCORE 18300.055
AT ITER 2119 NEW BEST:: SOT 67974 SOS 26064 HAS SOPS 26064 HAS SOUS 18255 HAS SOUPS 18255 WITH SCORE 18281.064
AT ITER 2124 NEW BEST:: SOT 67958 SOS 26026 HAS SOPS 26026 HAS SOUS 18217 HAS SOUPS 18217 WITH SCORE 18243.026
AT ITER 2138 NEW BEST:: SOT 67928 SOS 25966 HAS SOPS 25966 HAS SOUS 18157 HAS SOUPS 18157 WITH SCORE 18182.966
AT ITER 2158 NEW BEST:: SOT 67928 SOS 25925 HAS SOPS 25925 HAS SOUS 18116 HAS SOUPS 18116 WITH SCORE 18141.925
AT ITER 2171 NEW BEST:: SOT 67897 SOS 25880 HAS SOPS 25880 HAS SOUS 18087 HAS SOUPS 18087 WITH SCORE 18112.88
AT ITER 2199 NEW BEST:: SOT 67868 SOS 25801 HAS SOPS 25801 HAS SOUS 18008 HAS SOUPS 18008 WITH SCORE 18033.801
AT ITER 2224 NEW BEST:: SOT 67859 SOS 25796 HAS SOPS 25796 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18028.796
AT ITER 2242 NEW BEST:: SOT 67834 SOS 25702 HAS SOPS 25702 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17978.702
AT ITER 2255 NEW BEST:: SOT 67811 SOS 25699 HAS SOPS 25699 HAS SOUS 17950 HAS SOUPS 17950 WITH SCORE 17975.699
AT ITER 2260 NEW BEST:: SOT 67801 SOS 25684 HAS SOPS 25684 HAS SOUS 17945 HAS SOUPS 17945 WITH SCORE 17970.684
AT ITER 2264 NEW BEST:: SOT 67834 SOS 25750 HAS SOPS 25750 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17968.75
AT ITER 2270 NEW BEST:: SOT 67752 SOS 25665 HAS SOPS 25665 HAS SOUS 17877 HAS SOUPS 17877 WITH SCORE 17902.665
AT ITER 2290 NEW BEST:: SOT 67770 SOS 25648 HAS SOPS 25648 HAS SOUS 17860 HAS SOUPS 17860 WITH SCORE 17885.648
AT ITER 2291 NEW BEST:: SOT 67755 SOS 25633 HAS SOPS 25633 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17870.633
AT ITER 2320 NEW BEST:: SOT 67754 SOS 25632 HAS SOPS 25632 HAS SOUS 17845 HAS SOUPS 17845 WITH SCORE 17870.632
AT ITER 2325 NEW BEST:: SOT 67766 SOS 25587 HAS SOPS 25587 HAS SOUS 17800 HAS SOUPS 17800 WITH SCORE 17825.587
AT ITER 2358 NEW BEST:: SOT 67756 SOS 25567 HAS SOPS 25567 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17815.567
AT ITER 2361 NEW BEST:: SOT 67590 SOS 25365 HAS SOPS 25365 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17779.365
AT ITER 2367 NEW BEST:: SOT 67616 SOS 25375 HAS SOPS 25375 HAS SOUS 17743 HAS SOUPS 17743 WITH SCORE 17768.375
AT ITER 2375 NEW BEST:: SOT 67605 SOS 25320 HAS SOPS 25320 HAS SOUS 17730 HAS SOUPS 17730 WITH SCORE 17755.32
AT ITER 2381 NEW BEST:: SOT 67567 SOS 25308 HAS SOPS 25308 HAS SOUS 17718 HAS SOUPS 17718 WITH SCORE 17743.308
AT ITER 2395 NEW BEST:: SOT 67566 SOS 25307 HAS SOPS 25307 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17742.307
AT ITER 2408 NEW BEST:: SOT 67545 SOS 25295 HAS SOPS 25295 HAS SOUS 17705 HAS SOUPS 17705 WITH SCORE 17730.295
AT ITER 2417 NEW BEST:: SOT 67568 SOS 25294 HAS SOPS 25294 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17668.294
AT ITER 2433 NEW BEST:: SOT 67552 SOS 25262 HAS SOPS 25262 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17652.262
AT ITER 2446 NEW BEST:: SOT 67542 SOS 25258 HAS SOPS 25258 HAS SOUS 17623 HAS SOUPS 17623 WITH SCORE 17648.258
AT ITER 2490 NEW BEST:: SOT 67543 SOS 25218 HAS SOPS 25218 HAS SOUS 17611 HAS SOUPS 17611 WITH SCORE 17636.218
AT ITER 2506 NEW BEST:: SOT 67542 SOS 25217 HAS SOPS 25217 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17635.217
AT ITER 2512 NEW BEST:: SOT 67542 SOS 25215 HAS SOPS 25215 HAS SOUS 17610 HAS SOUPS 17610 WITH SCORE 17635.215
AT ITER 2514 NEW BEST:: SOT 67541 SOS 25213 HAS SOPS 25213 HAS SOUS 17608 HAS SOUPS 17608 WITH SCORE 17633.213
AT ITER 2531 NEW BEST:: SOT 67532 SOS 25195 HAS SOPS 25195 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17615.195
AT ITER 2534 NEW BEST:: SOT 67526 SOS 25183 HAS SOPS 25183 HAS SOUS 17584 HAS SOUPS 17584 WITH SCORE 17609.183
AT ITER 2551 NEW BEST:: SOT 67554 SOS 25163 HAS SOPS 25163 HAS SOUS 17574 HAS SOUPS 17574 WITH SCORE 17599.163
AT ITER 2563 NEW BEST:: SOT 67554 SOS 25153 HAS SOPS 25153 HAS SOUS 17554 HAS SOUPS 17554 WITH SCORE 17579.153
AT ITER 2595 NEW BEST:: SOT 67554 SOS 25118 HAS SOPS 25118 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17532.118
AT ITER 2603 NEW BEST:: SOT 67531 SOS 25099 HAS SOPS 25099 HAS SOUS 17488 HAS SOUPS 17488 WITH SCORE 17513.099
AT ITER 2610 NEW BEST:: SOT 67531 SOS 25099 HAS SOPS 25099 HAS SOUS 17485 HAS SOUPS 17485 WITH SCORE 17510.099
AT ITER 2640 NEW BEST:: SOT 67498 SOS 25082 HAS SOPS 25082 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17493.082
AT ITER 2648 NEW BEST:: SOT 67492 SOS 25069 HAS SOPS 25069 HAS SOUS 17455 HAS SOUPS 17455 WITH SCORE 17480.069
AT ITER 2665 NEW BEST:: SOT 67462 SOS 24979 HAS SOPS 24979 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17389.979
AT ITER 2666 NEW BEST:: SOT 67456 SOS 24968 HAS SOPS 24968 HAS SOUS 17356 HAS SOUPS 17356 WITH SCORE 17380.968
AT ITER 2689 NEW BEST:: SOT 67452 SOS 24964 HAS SOPS 24964 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17376.964
AT ITER 2697 NEW BEST:: SOT 67423 SOS 24900 HAS SOPS 24900 HAS SOUS 17300 HAS SOUPS 17300 WITH SCORE 17324.9
AT ITER 2716 NEW BEST:: SOT 67459 SOS 24844 HAS SOPS 24844 HAS SOUS 17228 HAS SOUPS 17228 WITH SCORE 17252.844
AT ITER 2762 NEW BEST:: SOT 67459 SOS 24823 HAS SOPS 24823 HAS SOUS 17161 HAS SOUPS 17161 WITH SCORE 17185.823
AT ITER 2772 NEW BEST:: SOT 67414 SOS 24684 HAS SOPS 24684 HAS SOUS 17024 HAS SOUPS 17024 WITH SCORE 17048.684
AT ITER 2775 NEW BEST:: SOT 67380 SOS 24638 HAS SOPS 24638 HAS SOUS 17016 HAS SOUPS 17016 WITH SCORE 17040.638
AT ITER 2781 NEW BEST:: SOT 67354 SOS 24599 HAS SOPS 24599 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17014.599
AT ITER 2824 NEW BEST:: SOT 67371 SOS 24574 HAS SOPS 24574 HAS SOUS 16965 HAS SOUPS 16965 WITH SCORE 16989.574
AT ITER 2825 NEW BEST:: SOT 67384 SOS 24506 HAS SOPS 24506 HAS SOUS 16908 HAS SOUPS 16908 WITH SCORE 16932.506
AT ITER 2829 NEW BEST:: SOT 67394 SOS 24553 HAS SOPS 24553 HAS SOUS 16901 HAS SOUPS 16901 WITH SCORE 16925.553
AT ITER 2850 NEW BEST:: SOT 67379 SOS 24523 HAS SOPS 24523 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16910.523
AT ITER 2866 NEW BEST:: SOT 67379 SOS 24512 HAS SOPS 24512 HAS SOUS 16875 HAS SOUPS 16875 WITH SCORE 16899.512
AT ITER 2916 NEW BEST:: SOT 67399 SOS 24517 HAS SOPS 24517 HAS SOUS 16852 HAS SOUPS 16852 WITH SCORE 16876.517
AT ITER 2920 NEW BEST:: SOT 67402 SOS 24523 HAS SOPS 24523 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16854.523
AT ITER 2921 NEW BEST:: SOT 67401 SOS 24521 HAS SOPS 24521 HAS SOUS 16827 HAS SOUPS 16827 WITH SCORE 16851.521
AT ITER 2977 NEW BEST:: SOT 67404 SOS 24527 HAS SOPS 24527 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16842.527
AT ITER 3014 NEW BEST:: SOT 67399 SOS 24522 HAS SOPS 24522 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16842.522
AT ITER 3027 NEW BEST:: SOT 67387 SOS 24498 HAS SOPS 24498 HAS SOUS 16794 HAS SOUPS 16794 WITH SCORE 16818.498
AT ITER 3054 NEW BEST:: SOT 67386 SOS 24495 HAS SOPS 24495 HAS SOUS 16791 HAS SOUPS 16791 WITH SCORE 16815.495
AT ITER 3060 NEW BEST:: SOT 67391 SOS 24505 HAS SOPS 24505 HAS SOUS 16780 HAS SOUPS 16780 WITH SCORE 16804.505
AT ITER 3063 NEW BEST:: SOT 67390 SOS 24485 HAS SOPS 24485 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16788.485
AT ITER 3108 NEW BEST:: SOT 67370 SOS 24462 HAS SOPS 24462 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16765.462
AT ITER 3153 NEW BEST:: SOT 67367 SOS 24459 HAS SOPS 24459 HAS SOUS 16738 HAS SOUPS 16738 WITH SCORE 16762.459
AT ITER 3159 NEW BEST:: SOT 67276 SOS 24326 HAS SOPS 24326 HAS SOUS 16654 HAS SOUPS 16654 WITH SCORE 16678.326
AT ITER 3171 NEW BEST:: SOT 67230 SOS 24257 HAS SOPS 24257 HAS SOUS 16608 HAS SOUPS 16608 WITH SCORE 16632.257
AT ITER 3175 NEW BEST:: SOT 67230 SOS 24236 HAS SOPS 24236 HAS SOUS 16587 HAS SOUPS 16587 WITH SCORE 16611.236
AT ITER 3186 NEW BEST:: SOT 67223 SOS 24233 HAS SOPS 24233 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16608.233
AT ITER 3197 NEW BEST:: SOT 67208 SOS 24219 HAS SOPS 24219 HAS SOUS 16553 HAS SOUPS 16553 WITH SCORE 16577.219
AT ITER 3216 NEW BEST:: SOT 67208 SOS 24215 HAS SOPS 24215 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16569.215
AT ITER 3243 NEW BEST:: SOT 67208 SOS 24207 HAS SOPS 24207 HAS SOUS 16545 HAS SOUPS 16545 WITH SCORE 16569.207
AT ITER 3267 NEW BEST:: SOT 67211 SOS 24182 HAS SOPS 24182 HAS SOUS 16525 HAS SOUPS 16525 WITH SCORE 16549.182
AT ITER 3280 NEW BEST:: SOT 67098 SOS 24182 HAS SOPS 24182 HAS SOUS 16517 HAS SOUPS 16517 WITH SCORE 16541.182
AT ITER 3308 NEW BEST:: SOT 67058 SOS 24137 HAS SOPS 24137 HAS SOUS 16472 HAS SOUPS 16472 WITH SCORE 16496.137
AT ITER 3321 NEW BEST:: SOT 67015 SOS 24127 HAS SOPS 24127 HAS SOUS 16471 HAS SOUPS 16471 WITH SCORE 16495.127
AT ITER 3358 NEW BEST:: SOT 67014 SOS 24125 HAS SOPS 24125 HAS SOUS 16469 HAS SOUPS 16469 WITH SCORE 16493.125
AT ITER 3362 NEW BEST:: SOT 67014 SOS 24087 HAS SOPS 24087 HAS SOUS 16455 HAS SOUPS 16455 WITH SCORE 16479.087
AT ITER 3418 NEW BEST:: SOT 67023 SOS 24071 HAS SOPS 24071 HAS SOUS 16439 HAS SOUPS 16439 WITH SCORE 16463.071
AT ITER 3451 NEW BEST:: SOT 67017 SOS 24059 HAS SOPS 24059 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16457.059
AT ITER 3460 NEW BEST:: SOT 67016 SOS 24057 HAS SOPS 24057 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16456.057
AT ITER 3463 NEW BEST:: SOT 67016 SOS 24053 HAS SOPS 24053 HAS SOUS 16430 HAS SOUPS 16430 WITH SCORE 16454.053
AT ITER 3474 NEW BEST:: SOT 67016 SOS 24042 HAS SOPS 24042 HAS SOUS 16408 HAS SOUPS 16408 WITH SCORE 16432.042
AT ITER 3511 NEW BEST:: SOT 67011 SOS 24037 HAS SOPS 24037 HAS SOUS 16403 HAS SOUPS 16403 WITH SCORE 16427.037
AT ITER 3523 NEW BEST:: SOT 67008 SOS 24034 HAS SOPS 24034 HAS SOUS 16400 HAS SOUPS 16400 WITH SCORE 16424.034
AT ITER 3527 NEW BEST:: SOT 66992 SOS 24023 HAS SOPS 24023 HAS SOUS 16389 HAS SOUPS 16389 WITH SCORE 16413.023
AT ITER 3537 NEW BEST:: SOT 67018 SOS 21618 HAS SOPS 21618 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16407.618
AT ITER 3566 NEW BEST:: SOT 67026 SOS 21625 HAS SOPS 21625 HAS SOUS 16384 HAS SOUPS 16384 WITH SCORE 16405.625
AT ITER 3606 NEW BEST:: SOT 67026 SOS 21616 HAS SOPS 21616 HAS SOUS 16375 HAS SOUPS 16375 WITH SCORE 16396.616
AT ITER 3625 NEW BEST:: SOT 67084 SOS 21639 HAS SOPS 21639 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16379.639
AT ITER 3629 NEW BEST:: SOT 67071 SOS 21626 HAS SOPS 21626 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16353.626
AT ITER 3641 NEW BEST:: SOT 67060 SOS 21615 HAS SOPS 21615 HAS SOUS 16332 HAS SOUPS 16332 WITH SCORE 16353.615
AT ITER 3666 NEW BEST:: SOT 67038 SOS 21602 HAS SOPS 21602 HAS SOUS 16319 HAS SOUPS 16319 WITH SCORE 16340.602
AT ITER 3673 NEW BEST:: SOT 67026 SOS 21584 HAS SOPS 21584 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16328.584
AT ITER 3690 NEW BEST:: SOT 67066 SOS 21624 HAS SOPS 21624 HAS SOUS 16296 HAS SOUPS 16296 WITH SCORE 16317.624
AT ITER 3712 NEW BEST:: SOT 67061 SOS 21614 HAS SOPS 21614 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16307.614
AT ITER 3727 NEW BEST:: SOT 67061 SOS 21614 HAS SOPS 21614 HAS SOUS 16262 HAS SOUPS 16262 WITH SCORE 16283.614
AT ITER 3743 NEW BEST:: SOT 67046 SOS 21586 HAS SOPS 21586 HAS SOUS 16234 HAS SOUPS 16234 WITH SCORE 16255.586
AT ITER 3804 NEW BEST:: SOT 67059 SOS 21599 HAS SOPS 21599 HAS SOUS 16201 HAS SOUPS 16201 WITH SCORE 16222.599
AT ITER 3807 NEW BEST:: SOT 67023 SOS 21586 HAS SOPS 21586 HAS SOUS 16188 HAS SOUPS 16188 WITH SCORE 16209.586
AT ITER 3825 NEW BEST:: SOT 67064 SOS 21636 HAS SOPS 21636 HAS SOUS 16186 HAS SOUPS 16186 WITH SCORE 16207.636
AT ITER 3826 NEW BEST:: SOT 67051 SOS 21609 HAS SOPS 21609 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16171.609
AT ITER 3876 NEW BEST:: SOT 66908 SOS 21306 HAS SOPS 21306 HAS SOUS 16042 HAS SOUPS 16042 WITH SCORE 16063.306
AT ITER 3902 NEW BEST:: SOT 66916 SOS 21294 HAS SOPS 21294 HAS SOUS 16030 HAS SOUPS 16030 WITH SCORE 16051.294
AT ITER 3915 NEW BEST:: SOT 66849 SOS 21226 HAS SOPS 21226 HAS SOUS 16028 HAS SOUPS 16028 WITH SCORE 16049.226
AT ITER 3929 NEW BEST:: SOT 66874 SOS 21166 HAS SOPS 21166 HAS SOUS 15999 HAS SOUPS 15999 WITH SCORE 16020.166
AT ITER 3937 NEW BEST:: SOT 66874 SOS 21165 HAS SOPS 21165 HAS SOUS 15998 HAS SOUPS 15998 WITH SCORE 16019.165
AT ITER 3941 NEW BEST:: SOT 66872 SOS 21163 HAS SOPS 21163 HAS SOUS 15996 HAS SOUPS 15996 WITH SCORE 16017.163
AT ITER 3962 NEW BEST:: SOT 66860 SOS 21155 HAS SOPS 21155 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16009.155
AT ITER 3974 NEW BEST:: SOT 66835 SOS 21155 HAS SOPS 21155 HAS SOUS 15963 HAS SOUPS 15963 WITH SCORE 15984.155
AT ITER 4017 NEW BEST:: SOT 66831 SOS 21151 HAS SOPS 21151 HAS SOUS 15959 HAS SOUPS 15959 WITH SCORE 15980.151
AT ITER 4019 NEW BEST:: SOT 66851 SOS 21145 HAS SOPS 21145 HAS SOUS 15953 HAS SOUPS 15953 WITH SCORE 15974.145
AT ITER 4038 NEW BEST:: SOT 66844 SOS 21138 HAS SOPS 21138 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15967.138
AT ITER 4051 NEW BEST:: SOT 66832 SOS 21126 HAS SOPS 21126 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15967.126
AT ITER 4085 NEW BEST:: SOT 66832 SOS 21111 HAS SOPS 21111 HAS SOUS 15946 HAS SOUPS 15946 WITH SCORE 15967.111
AT ITER 4090 NEW BEST:: SOT 66830 SOS 21107 HAS SOPS 21107 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15965.107
AT ITER 4127 NEW BEST:: SOT 66812 SOS 21071 HAS SOPS 21071 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15929.071
AT ITER 4205 NEW BEST:: SOT 66810 SOS 21067 HAS SOPS 21067 HAS SOUS 15904 HAS SOUPS 15904 WITH SCORE 15925.067
AT ITER 4213 NEW BEST:: SOT 66807 SOS 21089 HAS SOPS 21089 HAS SOUS 15899 HAS SOUPS 15899 WITH SCORE 15920.089
AT ITER 4219 NEW BEST:: SOT 66806 SOS 21087 HAS SOPS 21087 HAS SOUS 15879 HAS SOUPS 15879 WITH SCORE 15900.087
AT ITER 4220 NEW BEST:: SOT 66802 SOS 21079 HAS SOPS 21079 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15892.079
AT ITER 4244 NEW BEST:: SOT 66781 SOS 21037 HAS SOPS 21037 HAS SOUS 15829 HAS SOUPS 15829 WITH SCORE 15850.037
AT ITER 4287 NEW BEST:: SOT 66781 SOS 21000 HAS SOPS 21000 HAS SOUS 15790 HAS SOUPS 15790 WITH SCORE 15811.0
AT ITER 4314 NEW BEST:: SOT 66769 SOS 20996 HAS SOPS 20996 HAS SOUS 15786 HAS SOUPS 15786 WITH SCORE 15806.996
AT ITER 4322 NEW BEST:: SOT 66762 SOS 20989 HAS SOPS 20989 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15799.989
AT ITER 4329 NEW BEST:: SOT 66760 SOS 20987 HAS SOPS 20987 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15797.987
AT ITER 4332 NEW BEST:: SOT 66755 SOS 20941 HAS SOPS 20941 HAS SOUS 15747 HAS SOUPS 15747 WITH SCORE 15767.941
AT ITER 4351 NEW BEST:: SOT 66750 SOS 20931 HAS SOPS 20931 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15757.931
AT ITER 4354 NEW BEST:: SOT 66747 SOS 20922 HAS SOPS 20922 HAS SOUS 15728 HAS SOUPS 15728 WITH SCORE 15748.922
AT ITER 4369 NEW BEST:: SOT 66759 SOS 20927 HAS SOPS 20927 HAS SOUS 15716 HAS SOUPS 15716 WITH SCORE 15736.927
AT ITER 4372 NEW BEST:: SOT 66754 SOS 20922 HAS SOPS 20922 HAS SOUS 15711 HAS SOUPS 15711 WITH SCORE 15731.922
AT ITER 4376 NEW BEST:: SOT 66725 SOS 20881 HAS SOPS 20881 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15690.881
AT ITER 4384 NEW BEST:: SOT 66646 SOS 20764 HAS SOPS 20764 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15614.764
AT ITER 4387 NEW BEST:: SOT 66646 SOS 20762 HAS SOPS 20762 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15614.762
AT ITER 4404 NEW BEST:: SOT 66638 SOS 20746 HAS SOPS 20746 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15598.746
AT ITER 4430 NEW BEST:: SOT 66633 SOS 20746 HAS SOPS 20746 HAS SOUS 15573 HAS SOUPS 15573 WITH SCORE 15593.746
AT ITER 4438 NEW BEST:: SOT 66631 SOS 20739 HAS SOPS 20739 HAS SOUS 15566 HAS SOUPS 15566 WITH SCORE 15586.739
AT ITER 4465 NEW BEST:: SOT 66534 SOS 20678 HAS SOPS 20678 HAS SOUS 15505 HAS SOUPS 15505 WITH SCORE 15525.678
AT ITER 4481 NEW BEST:: SOT 66533 SOS 20676 HAS SOPS 20676 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15523.676
AT ITER 4557 NEW BEST:: SOT 66523 SOS 20638 HAS SOPS 20638 HAS SOUS 15465 HAS SOUPS 15465 WITH SCORE 15485.638
AT ITER 4665 NEW BEST:: SOT 66528 SOS 20620 HAS SOPS 20620 HAS SOUS 15436 HAS SOUPS 15436 WITH SCORE 15456.62
AT ITER 4674 NEW BEST:: SOT 66559 SOS 20634 HAS SOPS 20634 HAS SOUS 15402 HAS SOUPS 15402 WITH SCORE 15422.634
AT ITER 4720 NEW BEST:: SOT 66554 SOS 20627 HAS SOPS 20627 HAS SOUS 15395 HAS SOUPS 15395 WITH SCORE 15415.627
AT ITER 4724 NEW BEST:: SOT 66550 SOS 20622 HAS SOPS 20622 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15413.622
AT ITER 4829 NEW BEST:: SOT 66545 SOS 20617 HAS SOPS 20617 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15413.617
AT ITER 4857 NEW BEST:: SOT 66543 SOS 20615 HAS SOPS 20615 HAS SOUS 15391 HAS SOUPS 15391 WITH SCORE 15411.615
AT ITER 4879 NEW BEST:: SOT 66527 SOS 20611 HAS SOPS 20611 HAS SOUS 15387 HAS SOUPS 15387 WITH SCORE 15407.611
AT ITER 4886 NEW BEST:: SOT 66528 SOS 20609 HAS SOPS 20609 HAS SOUS 15385 HAS SOUPS 15385 WITH SCORE 15405.609
AT ITER 4966 NEW BEST:: SOT 66511 SOS 20592 HAS SOPS 20592 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15400.592
AT ITER 4967 NEW BEST:: SOT 66511 SOS 20585 HAS SOPS 20585 HAS SOUS 15377 HAS SOUPS 15377 WITH SCORE 15397.585
AT ITER 4979 NEW BEST:: SOT 66511 SOS 20585 HAS SOPS 20585 HAS SOUS 15373 HAS SOUPS 15373 WITH SCORE 15393.585
AT ITER 4983 NEW BEST:: SOT 66510 SOS 20583 HAS SOPS 20583 HAS SOUS 15372 HAS SOUPS 15372 WITH SCORE 15392.583
AT ITER 4992 NEW BEST:: SOT 66482 SOS 20552 HAS SOPS 20552 HAS SOUS 15341 HAS SOUPS 15341 WITH SCORE 15361.552
AT ITER 4997 NEW BEST:: SOT 66486 SOS 20539 HAS SOPS 20539 HAS SOUS 15309 HAS SOUPS 15309 WITH SCORE 15329.539
AT ITER 5018 NEW BEST:: SOT 66485 SOS 20531 HAS SOPS 20531 HAS SOUS 15301 HAS SOUPS 15301 WITH SCORE 15321.531
AT ITER 5034 NEW BEST:: SOT 66479 SOS 20522 HAS SOPS 20522 HAS SOUS 15295 HAS SOUPS 15295 WITH SCORE 15315.522
AT ITER 5039 NEW BEST:: SOT 66464 SOS 20507 HAS SOPS 20507 HAS SOUS 15280 HAS SOUPS 15280 WITH SCORE 15300.507
AT ITER 5051 NEW BEST:: SOT 66466 SOS 20485 HAS SOPS 20485 HAS SOUS 15258 HAS SOUPS 15258 WITH SCORE 15278.485
AT ITER 5112 NEW BEST:: SOT 66507 SOS 20506 HAS SOPS 20506 HAS SOUS 15248 HAS SOUPS 15248 WITH SCORE 15268.506
AT ITER 5188 NEW BEST:: SOT 66475 SOS 20474 HAS SOPS 20474 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15252.474
AT ITER 5215 NEW BEST:: SOT 66444 SOS 20466 HAS SOPS 20466 HAS SOUS 15224 HAS SOUPS 15224 WITH SCORE 15244.466
AT ITER 5228 NEW BEST:: SOT 66428 SOS 20434 HAS SOPS 20434 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15238.434
AT ITER 5235 NEW BEST:: SOT 66439 SOS 20432 HAS SOPS 20432 HAS SOUS 15216 HAS SOUPS 15216 WITH SCORE 15236.432
AT ITER 5236 NEW BEST:: SOT 66429 SOS 20412 HAS SOPS 20412 HAS SOUS 15196 HAS SOUPS 15196 WITH SCORE 15216.412
AT ITER 5244 NEW BEST:: SOT 66430 SOS 20404 HAS SOPS 20404 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15208.404
AT ITER 5253 NEW BEST:: SOT 66429 SOS 20403 HAS SOPS 20403 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15207.403
AT ITER 5272 NEW BEST:: SOT 66453 SOS 20422 HAS SOPS 20422 HAS SOUS 15179 HAS SOUPS 15179 WITH SCORE 15199.422
AT ITER 5305 NEW BEST:: SOT 66453 SOS 20422 HAS SOPS 20422 HAS SOUS 15177 HAS SOUPS 15177 WITH SCORE 15197.422
AT ITER 5348 NEW BEST:: SOT 66458 SOS 20412 HAS SOPS 20412 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15187.412
AT ITER 5380 NEW BEST:: SOT 66405 SOS 20341 HAS SOPS 20341 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15167.341
AT ITER 5423 NEW BEST:: SOT 66400 SOS 20336 HAS SOPS 20336 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15162.336
AT ITER 5424 NEW BEST:: SOT 66400 SOS 20336 HAS SOPS 20336 HAS SOUS 15141 HAS SOUPS 15141 WITH SCORE 15161.336
AT ITER 5426 NEW BEST:: SOT 66356 SOS 20324 HAS SOPS 20324 HAS SOUS 15129 HAS SOUPS 15129 WITH SCORE 15149.324
AT ITER 5471 NEW BEST:: SOT 66354 SOS 20318 HAS SOPS 20318 HAS SOUS 15123 HAS SOUPS 15123 WITH SCORE 15143.318
AT ITER 5518 NEW BEST:: SOT 66353 SOS 20316 HAS SOPS 20316 HAS SOUS 15120 HAS SOUPS 15120 WITH SCORE 15140.316
AT ITER 5551 NEW BEST:: SOT 66345 SOS 20299 HAS SOPS 20299 HAS SOUS 15104 HAS SOUPS 15104 WITH SCORE 15124.299
AT ITER 5598 NEW BEST:: SOT 66329 SOS 20273 HAS SOPS 20273 HAS SOUS 15078 HAS SOUPS 15078 WITH SCORE 15098.273
AT ITER 5610 NEW BEST:: SOT 66340 SOS 20273 HAS SOPS 20273 HAS SOUS 15067 HAS SOUPS 15067 WITH SCORE 15087.273
AT ITER 5619 NEW BEST:: SOT 66337 SOS 20270 HAS SOPS 20270 HAS SOUS 15064 HAS SOUPS 15064 WITH SCORE 15084.27
AT ITER 5626 NEW BEST:: SOT 66337 SOS 20261 HAS SOPS 20261 HAS SOUS 15055 HAS SOUPS 15055 WITH SCORE 15075.261
AT ITER 5659 NEW BEST:: SOT 66327 SOS 20246 HAS SOPS 20246 HAS SOUS 15045 HAS SOUPS 15045 WITH SCORE 15065.246
AT ITER 5662 NEW BEST:: SOT 66288 SOS 20207 HAS SOPS 20207 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15026.207
AT ITER 5688 NEW BEST:: SOT 66279 SOS 20198 HAS SOPS 20198 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15026.198
AT ITER 5725 NEW BEST:: SOT 66268 SOS 20187 HAS SOPS 20187 HAS SOUS 14995 HAS SOUPS 14995 WITH SCORE 15015.187
AT ITER 5727 NEW BEST:: SOT 66268 SOS 20181 HAS SOPS 20181 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15009.181
AT ITER 5750 NEW BEST:: SOT 66268 SOS 20175 HAS SOPS 20175 HAS SOUS 14989 HAS SOUPS 14989 WITH SCORE 15009.175
AT ITER 5762 NEW BEST:: SOT 66263 SOS 20165 HAS SOPS 20165 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 14999.165
AT ITER 5818 NEW BEST:: SOT 66258 SOS 20160 HAS SOPS 20160 HAS SOUS 14974 HAS SOUPS 14974 WITH SCORE 14994.16
AT ITER 5843 NEW BEST:: SOT 66249 SOS 20128 HAS SOPS 20128 HAS SOUS 14949 HAS SOUPS 14949 WITH SCORE 14969.128
AT ITER 5849 NEW BEST:: SOT 66245 SOS 20122 HAS SOPS 20122 HAS SOUS 14945 HAS SOUPS 14945 WITH SCORE 14965.122
AT ITER 5881 NEW BEST:: SOT 66246 SOS 20102 HAS SOPS 20102 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 14964.102
AT ITER 5888 NEW BEST:: SOT 66241 SOS 20092 HAS SOPS 20092 HAS SOUS 14934 HAS SOUPS 14934 WITH SCORE 14954.092
AT ITER 5947 NEW BEST:: SOT 66228 SOS 20070 HAS SOPS 20070 HAS SOUS 14928 HAS SOUPS 14928 WITH SCORE 14948.07
AT ITER 5953 NEW BEST:: SOT 66225 SOS 20065 HAS SOPS 20065 HAS SOUS 14923 HAS SOUPS 14923 WITH SCORE 14943.065
AT ITER 6014 NEW BEST:: SOT 66238 SOS 20069 HAS SOPS 20069 HAS SOUS 14922 HAS SOUPS 14922 WITH SCORE 14942.069
AT ITER 6018 NEW BEST:: SOT 66219 SOS 20045 HAS SOPS 20045 HAS SOUS 14912 HAS SOUPS 14912 WITH SCORE 14932.045
AT ITER 6021 NEW BEST:: SOT 66291 SOS 20117 HAS SOPS 20117 HAS SOUS 14907 HAS SOUPS 14907 WITH SCORE 14927.117
AT ITER 6031 NEW BEST:: SOT 66288 SOS 20114 HAS SOPS 20114 HAS SOUS 14904 HAS SOUPS 14904 WITH SCORE 14924.114
AT ITER 6034 NEW BEST:: SOT 66281 SOS 20108 HAS SOPS 20108 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14921.108
AT ITER 6061 NEW BEST:: SOT 66280 SOS 20107 HAS SOPS 20107 HAS SOUS 14901 HAS SOUPS 14901 WITH SCORE 14921.107
AT ITER 6063 NEW BEST:: SOT 66280 SOS 20104 HAS SOPS 20104 HAS SOUS 14898 HAS SOUPS 14898 WITH SCORE 14918.104
AT ITER 6106 NEW BEST:: SOT 66264 SOS 20083 HAS SOPS 20083 HAS SOUS 14894 HAS SOUPS 14894 WITH SCORE 14914.083
AT ITER 6107 NEW BEST:: SOT 66252 SOS 20059 HAS SOPS 20059 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14902.059
AT ITER 6127 NEW BEST:: SOT 66250 SOS 19962 HAS SOPS 19962 HAS SOUS 14849 HAS SOUPS 14849 WITH SCORE 14868.962
AT ITER 6175 NEW BEST:: SOT 66230 SOS 19943 HAS SOPS 19943 HAS SOUS 14830 HAS SOUPS 14830 WITH SCORE 14849.943
AT ITER 6180 NEW BEST:: SOT 66230 SOS 19919 HAS SOPS 19919 HAS SOUS 14818 HAS SOUPS 14818 WITH SCORE 14837.919
AT ITER 6201 NEW BEST:: SOT 66223 SOS 19912 HAS SOPS 19912 HAS SOUS 14811 HAS SOUPS 14811 WITH SCORE 14830.912
AT ITER 6219 NEW BEST:: SOT 66223 SOS 19904 HAS SOPS 19904 HAS SOUS 14803 HAS SOUPS 14803 WITH SCORE 14822.904
AT ITER 6229 NEW BEST:: SOT 66223 SOS 19892 HAS SOPS 19892 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14816.892
AT ITER 6245 NEW BEST:: SOT 66221 SOS 19890 HAS SOPS 19890 HAS SOUS 14795 HAS SOUPS 14795 WITH SCORE 14814.89
AT ITER 6247 NEW BEST:: SOT 66195 SOS 19838 HAS SOPS 19838 HAS SOUS 14783 HAS SOUPS 14783 WITH SCORE 14802.838
AT ITER 6272 NEW BEST:: SOT 66191 SOS 19834 HAS SOPS 19834 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14798.834
AT ITER 6276 NEW BEST:: SOT 66172 SOS 19817 HAS SOPS 19817 HAS SOUS 14762 HAS SOUPS 14762 WITH SCORE 14781.817
AT ITER 6304 NEW BEST:: SOT 66170 SOS 19813 HAS SOPS 19813 HAS SOUS 14758 HAS SOUPS 14758 WITH SCORE 14777.813
AT ITER 6322 NEW BEST:: SOT 66168 SOS 19809 HAS SOPS 19809 HAS SOUS 14757 HAS SOUPS 14757 WITH SCORE 14776.809
AT ITER 6331 NEW BEST:: SOT 66152 SOS 19776 HAS SOPS 19776 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14756.776
AT ITER 6342 NEW BEST:: SOT 66112 SOS 19736 HAS SOPS 19736 HAS SOUS 14697 HAS SOUPS 14697 WITH SCORE 14716.736
AT ITER 6347 NEW BEST:: SOT 66094 SOS 19711 HAS SOPS 19711 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14691.711
AT ITER 6348 NEW BEST:: SOT 66090 SOS 19707 HAS SOPS 19707 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14687.707
AT ITER 6353 NEW BEST:: SOT 66089 SOS 19706 HAS SOPS 19706 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14687.706
AT ITER 6382 NEW BEST:: SOT 66085 SOS 19702 HAS SOPS 19702 HAS SOUS 14668 HAS SOUPS 14668 WITH SCORE 14687.702
AT ITER 6393 NEW BEST:: SOT 66067 SOS 19695 HAS SOPS 19695 HAS SOUS 14631 HAS SOUPS 14631 WITH SCORE 14650.695
AT ITER 6429 NEW BEST:: SOT 66051 SOS 19663 HAS SOPS 19663 HAS SOUS 14623 HAS SOUPS 14623 WITH SCORE 14642.663
AT ITER 6431 NEW BEST:: SOT 66037 SOS 19635 HAS SOPS 19635 HAS SOUS 14595 HAS SOUPS 14595 WITH SCORE 14614.635
AT ITER 6440 NEW BEST:: SOT 66029 SOS 19627 HAS SOPS 19627 HAS SOUS 14587 HAS SOUPS 14587 WITH SCORE 14606.627
AT ITER 6450 NEW BEST:: SOT 66024 SOS 19617 HAS SOPS 19617 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14596.617
AT ITER 6464 NEW BEST:: SOT 66004 SOS 19597 HAS SOPS 19597 HAS SOUS 14577 HAS SOUPS 14577 WITH SCORE 14596.597
AT ITER 6484 NEW BEST:: SOT 65980 SOS 19561 HAS SOPS 19561 HAS SOUS 14553 HAS SOUPS 14553 WITH SCORE 14572.561
AT ITER 6498 NEW BEST:: SOT 65989 SOS 19579 HAS SOPS 19579 HAS SOUS 14538 HAS SOUPS 14538 WITH SCORE 14557.579
AT ITER 6545 NEW BEST:: SOT 65984 SOS 19569 HAS SOPS 19569 HAS SOUS 14533 HAS SOUPS 14533 WITH SCORE 14552.569
AT ITER 6552 NEW BEST:: SOT 66014 SOS 19540 HAS SOPS 19540 HAS SOUS 14512 HAS SOUPS 14512 WITH SCORE 14531.54
AT ITER 6560 NEW BEST:: SOT 66004 SOS 19526 HAS SOPS 19526 HAS SOUS 14504 HAS SOUPS 14504 WITH SCORE 14523.526
AT ITER 6574 NEW BEST:: SOT 66003 SOS 19525 HAS SOPS 19525 HAS SOUS 14502 HAS SOUPS 14502 WITH SCORE 14521.525
AT ITER 6580 NEW BEST:: SOT 66003 SOS 19519 HAS SOPS 19519 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14515.519
AT ITER 6618 NEW BEST:: SOT 66017 SOS 19516 HAS SOPS 19516 HAS SOUS 14493 HAS SOUPS 14493 WITH SCORE 14512.516
AT ITER 6643 NEW BEST:: SOT 66002 SOS 19517 HAS SOPS 19517 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14511.517
AT ITER 6677 NEW BEST:: SOT 66044 SOS 19527 HAS SOPS 19527 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14510.527
AT ITER 6706 NEW BEST:: SOT 66041 SOS 19511 HAS SOPS 19511 HAS SOUS 14485 HAS SOUPS 14485 WITH SCORE 14504.511
AT ITER 6764 NEW BEST:: SOT 65979 SOS 19449 HAS SOPS 19449 HAS SOUS 14485 HAS SOUPS 14485 WITH SCORE 14504.449
AT ITER 6772 NEW BEST:: SOT 65983 SOS 19451 HAS SOPS 19451 HAS SOUS 14483 HAS SOUPS 14483 WITH SCORE 14502.451
AT ITER 6775 NEW BEST:: SOT 65994 SOS 19438 HAS SOPS 19438 HAS SOUS 14470 HAS SOUPS 14470 WITH SCORE 14489.438
AT ITER 6798 NEW BEST:: SOT 65958 SOS 19402 HAS SOPS 19402 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14485.402
AT ITER 6799 NEW BEST:: SOT 65952 SOS 19400 HAS SOPS 19400 HAS SOUS 14459 HAS SOUPS 14459 WITH SCORE 14478.4
AT ITER 6875 NEW BEST:: SOT 65943 SOS 19382 HAS SOPS 19382 HAS SOUS 14459 HAS SOUPS 14459 WITH SCORE 14478.382
AT ITER 6906 NEW BEST:: SOT 65938 SOS 19397 HAS SOPS 19397 HAS SOUS 14454 HAS SOUPS 14454 WITH SCORE 14473.397
AT ITER 6922 NEW BEST:: SOT 65963 SOS 19423 HAS SOPS 19423 HAS SOUS 14451 HAS SOUPS 14451 WITH SCORE 14470.423
AT ITER 6961 NEW BEST:: SOT 65960 SOS 19420 HAS SOPS 19420 HAS SOUS 14448 HAS SOUPS 14448 WITH SCORE 14467.42
AT ITER 6972 NEW BEST:: SOT 65960 SOS 19419 HAS SOPS 19419 HAS SOUS 14447 HAS SOUPS 14447 WITH SCORE 14466.419
AT ITER 6995 NEW BEST:: SOT 65958 SOS 19409 HAS SOPS 19409 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14464.409
AT ITER 7013 NEW BEST:: SOT 65940 SOS 19405 HAS SOPS 19405 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14460.405
AT ITER 7018 NEW BEST:: SOT 65933 SOS 19398 HAS SOPS 19398 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14453.398
AT ITER 7023 NEW BEST:: SOT 65923 SOS 19388 HAS SOPS 19388 HAS SOUS 14424 HAS SOUPS 14424 WITH SCORE 14443.388
AT ITER 7058 NEW BEST:: SOT 65918 SOS 19382 HAS SOPS 19382 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14441.382
AT ITER 7085 NEW BEST:: SOT 65909 SOS 19370 HAS SOPS 19370 HAS SOUS 14410 HAS SOUPS 14410 WITH SCORE 14429.37
AT ITER 7100 NEW BEST:: SOT 65909 SOS 19358 HAS SOPS 19358 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14417.358
AT ITER 7138 NEW BEST:: SOT 65901 SOS 19357 HAS SOPS 19357 HAS SOUS 14397 HAS SOUPS 14397 WITH SCORE 14416.357
AT ITER 7151 NEW BEST:: SOT 65899 SOS 19341 HAS SOPS 19341 HAS SOUS 14367 HAS SOUPS 14367 WITH SCORE 14386.341
AT ITER 7158 NEW BEST:: SOT 65885 SOS 19301 HAS SOPS 19301 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14346.301
AT ITER 7167 NEW BEST:: SOT 65877 SOS 19285 HAS SOPS 19285 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14320.285
AT ITER 7203 NEW BEST:: SOT 65850 SOS 19258 HAS SOPS 19258 HAS SOUS 14274 HAS SOUPS 14274 WITH SCORE 14293.258
AT ITER 7296 NEW BEST:: SOT 65853 SOS 19254 HAS SOPS 19254 HAS SOUS 14270 HAS SOUPS 14270 WITH SCORE 14289.254
AT ITER 7310 NEW BEST:: SOT 65869 SOS 19241 HAS SOPS 19241 HAS SOUS 14257 HAS SOUPS 14257 WITH SCORE 14276.241
AT ITER 7369 NEW BEST:: SOT 65869 SOS 19239 HAS SOPS 19239 HAS SOUS 14255 HAS SOUPS 14255 WITH SCORE 14274.239
AT ITER 7468 NEW BEST:: SOT 65865 SOS 19233 HAS SOPS 19233 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14268.233
AT ITER 7509 NEW BEST:: SOT 65865 SOS 19232 HAS SOPS 19232 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14267.232
AT ITER 7528 NEW BEST:: SOT 65864 SOS 19231 HAS SOPS 19231 HAS SOUS 14247 HAS SOUPS 14247 WITH SCORE 14266.231
AT ITER 7533 NEW BEST:: SOT 65859 SOS 19219 HAS SOPS 19219 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14254.219
AT ITER 7536 NEW BEST:: SOT 65859 SOS 19212 HAS SOPS 19212 HAS SOUS 14228 HAS SOUPS 14228 WITH SCORE 14247.212
AT ITER 7564 NEW BEST:: SOT 65877 SOS 19198 HAS SOPS 19198 HAS SOUS 14214 HAS SOUPS 14214 WITH SCORE 14233.198
AT ITER 7594 NEW BEST:: SOT 65880 SOS 19192 HAS SOPS 19192 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14230.192
AT ITER 7606 NEW BEST:: SOT 65998 SOS 19174 HAS SOPS 19174 HAS SOUS 14193 HAS SOUPS 14193 WITH SCORE 14212.174
AT ITER 7689 NEW BEST:: SOT 65994 SOS 19166 HAS SOPS 19166 HAS SOUS 14189 HAS SOUPS 14189 WITH SCORE 14208.166
AT ITER 7712 NEW BEST:: SOT 65983 SOS 19155 HAS SOPS 19155 HAS SOUS 14178 HAS SOUPS 14178 WITH SCORE 14197.155
AT ITER 7760 NEW BEST:: SOT 65989 SOS 19150 HAS SOPS 19150 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14192.15
AT ITER 7766 NEW BEST:: SOT 65980 SOS 19142 HAS SOPS 19142 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14184.142
AT ITER 7942 NEW BEST:: SOT 65967 SOS 19116 HAS SOPS 19116 HAS SOUS 14139 HAS SOUPS 14139 WITH SCORE 14158.116
AT ITER 7959 NEW BEST:: SOT 65960 SOS 19087 HAS SOPS 19087 HAS SOUS 14110 HAS SOUPS 14110 WITH SCORE 14129.087
AT ITER 7990 NEW BEST:: SOT 65952 SOS 19071 HAS SOPS 19071 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14113.071
AT ITER 8031 NEW BEST:: SOT 65951 SOS 19069 HAS SOPS 19069 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14113.069
AT ITER 8073 NEW BEST:: SOT 65946 SOS 19064 HAS SOPS 19064 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14113.064
AT ITER 8100 NEW BEST:: SOT 65946 SOS 19058 HAS SOPS 19058 HAS SOUS 14088 HAS SOUPS 14088 WITH SCORE 14107.058
AT ITER 8228 NEW BEST:: SOT 65952 SOS 19052 HAS SOPS 19052 HAS SOUS 14082 HAS SOUPS 14082 WITH SCORE 14101.052
AT ITER 8231 NEW BEST:: SOT 65961 SOS 19061 HAS SOPS 19061 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14089.061
AT ITER 8262 NEW BEST:: SOT 65956 SOS 19046 HAS SOPS 19046 HAS SOUS 14055 HAS SOUPS 14055 WITH SCORE 14074.046
AT ITER 8364 NEW BEST:: SOT 65956 SOS 19046 HAS SOPS 19046 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14058.046
AT ITER 8385 NEW BEST:: SOT 65949 SOS 19032 HAS SOPS 19032 HAS SOUS 14025 HAS SOUPS 14025 WITH SCORE 14044.032
AT ITER 8426 NEW BEST:: SOT 65951 SOS 19029 HAS SOPS 19029 HAS SOUS 14022 HAS SOUPS 14022 WITH SCORE 14041.029
AT ITER 8439 NEW BEST:: SOT 65953 SOS 19027 HAS SOPS 19027 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14037.027
AT ITER 8469 NEW BEST:: SOT 65953 SOS 19026 HAS SOPS 19026 HAS SOUS 14017 HAS SOUPS 14017 WITH SCORE 14036.026
AT ITER 8511 NEW BEST:: SOT 65959 SOS 19025 HAS SOPS 19025 HAS SOUS 14003 HAS SOUPS 14003 WITH SCORE 14022.025
AT ITER 8552 NEW BEST:: SOT 65957 SOS 19023 HAS SOPS 19023 HAS SOUS 13999 HAS SOUPS 13999 WITH SCORE 14018.023
AT ITER 8566 NEW BEST:: SOT 65951 SOS 19011 HAS SOPS 19011 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14006.011
AT ITER 8573 NEW BEST:: SOT 65930 SOS 18991 HAS SOPS 18991 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13996.991
AT ITER 8622 NEW BEST:: SOT 65930 SOS 18971 HAS SOPS 18971 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13996.971
AT ITER 8630 NEW BEST:: SOT 65928 SOS 18969 HAS SOPS 18969 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 13994.969
AT ITER 8687 NEW BEST:: SOT 65917 SOS 18944 HAS SOPS 18944 HAS SOUS 13957 HAS SOUPS 13957 WITH SCORE 13975.944
AT ITER 8706 NEW BEST:: SOT 65906 SOS 18906 HAS SOPS 18906 HAS SOUS 13946 HAS SOUPS 13946 WITH SCORE 13964.906
AT ITER 8772 NEW BEST:: SOT 65906 SOS 18901 HAS SOPS 18901 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13959.901
AT ITER 8856 NEW BEST:: SOT 65904 SOS 18897 HAS SOPS 18897 HAS SOUS 13937 HAS SOUPS 13937 WITH SCORE 13955.897
AT ITER 8918 NEW BEST:: SOT 65890 SOS 18885 HAS SOPS 18885 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13943.885
AT ITER 9016 NEW BEST:: SOT 65890 SOS 18870 HAS SOPS 18870 HAS SOUS 13925 HAS SOUPS 13925 WITH SCORE 13943.87
AT ITER 9119 NEW BEST:: SOT 65886 SOS 18866 HAS SOPS 18866 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13939.866
AT ITER 9161 NEW BEST:: SOT 65884 SOS 18862 HAS SOPS 18862 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13935.862
AT ITER 9201 NEW BEST:: SOT 65879 SOS 18852 HAS SOPS 18852 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13930.852
AT ITER 9244 NEW BEST:: SOT 65877 SOS 18848 HAS SOPS 18848 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13928.848
AT ITER 9256 NEW BEST:: SOT 65853 SOS 18832 HAS SOPS 18832 HAS SOUS 13894 HAS SOUPS 13894 WITH SCORE 13912.832
AT ITER 9280 NEW BEST:: SOT 65853 SOS 18807 HAS SOPS 18807 HAS SOUS 13869 HAS SOUPS 13869 WITH SCORE 13887.807
AT ITER 9351 NEW BEST:: SOT 65852 SOS 18809 HAS SOPS 18809 HAS SOUS 13859 HAS SOUPS 13859 WITH SCORE 13877.809
AT ITER 9433 NEW BEST:: SOT 65861 SOS 18779 HAS SOPS 18779 HAS SOUS 13846 HAS SOUPS 13846 WITH SCORE 13864.779
AT ITER 9547 NEW BEST:: SOT 65856 SOS 18774 HAS SOPS 18774 HAS SOUS 13846 HAS SOUPS 13846 WITH SCORE 13864.774
AT ITER 9616 NEW BEST:: SOT 65861 SOS 18776 HAS SOPS 18776 HAS SOUS 13835 HAS SOUPS 13835 WITH SCORE 13853.776
AT ITER 9682 NEW BEST:: SOT 65869 SOS 18780 HAS SOPS 18780 HAS SOUS 13827 HAS SOUPS 13827 WITH SCORE 13845.78
AT ITER 9687 NEW BEST:: SOT 65872 SOS 18779 HAS SOPS 18779 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13841.779
AT ITER 9916 NEW BEST:: SOT 65872 SOS 18778 HAS SOPS 18778 HAS SOUS 13822 HAS SOUPS 13822 WITH SCORE 13840.778
AT ITER 9984 NEW BEST:: SOT 65871 SOS 18776 HAS SOPS 18776 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13838.776
AT ITER 9990 NEW BEST:: SOT 65864 SOS 18768 HAS SOPS 18768 HAS SOUS 13812 HAS SOUPS 13812 WITH SCORE 13830.768
AT ITER 9993 NEW BEST:: SOT 65864 SOS 18759 HAS SOPS 18759 HAS SOUS 13803 HAS SOUPS 13803 WITH SCORE 13821.759
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394036 kB
MemFree: 6431160 kB
After kill :
MemTotal: 16394036 kB
MemFree: 16154612 kB

BK_TIME_CONFINEMENT_REACHED

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

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-05"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
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 smart"
echo " Input is BusinessProcesses-PT-05, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r035-tajo-167813688300488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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