About the Execution of Smart+red for BusinessProcesses-PT-09
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
5349.819 | 3600000.00 | 3629286.00 | 544.60 | [undef] | Time out reached |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813697000520.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BusinessProcesses-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813697000520
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 6.8K Feb 25 16:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 74K Feb 25 16:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 60K Feb 25 16:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:39 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:39 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 16:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 16:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 16:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 25 16:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:39 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:39 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 104K 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 1678791114475
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-09
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 10:51:56] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 10:51:56] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 10:51:56] [INFO ] Load time of PNML (sax parser for PT used): 75 ms
[2023-03-14 10:51:56] [INFO ] Transformed 403 places.
[2023-03-14 10:51:56] [INFO ] Transformed 374 transitions.
[2023-03-14 10:51:56] [INFO ] Found NUPN structural information;
[2023-03-14 10:51:56] [INFO ] Parsed PT model containing 403 places and 374 transitions and 1148 arcs in 130 ms.
[2023-03-14 10:51:56] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 403 places, 374 transitions and 1148 arcs took 8 ms.
Total runtime 163 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 09
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart
Filename model.pnml
Petri model created: 403 places, 374 transitions, 1148 arcs.
AT ITER 0 NEW BEST:: SOT 97193 SOS 39689 HAS SOPS 39689 HAS SOUS 37906 HAS SOUPS 37906 WITH SCORE 37945.689
AT ITER 2 NEW BEST:: SOT 97110 SOS 39606 HAS SOPS 39606 HAS SOUS 37823 HAS SOUPS 37823 WITH SCORE 37862.606
AT ITER 16 NEW BEST:: SOT 97110 SOS 39577 HAS SOPS 39577 HAS SOUS 37794 HAS SOUPS 37794 WITH SCORE 37833.577
AT ITER 17 NEW BEST:: SOT 97214 SOS 39562 HAS SOPS 39562 HAS SOUS 37779 HAS SOUPS 37779 WITH SCORE 37818.562
AT ITER 22 NEW BEST:: SOT 97214 SOS 39556 HAS SOPS 39556 HAS SOUS 37773 HAS SOUPS 37773 WITH SCORE 37812.556
AT ITER 27 NEW BEST:: SOT 97214 SOS 39243 HAS SOPS 39243 HAS SOUS 37553 HAS SOUPS 37553 WITH SCORE 37592.243
AT ITER 52 NEW BEST:: SOT 97188 SOS 39204 HAS SOPS 39204 HAS SOUS 37514 HAS SOUPS 37514 WITH SCORE 37553.204
AT ITER 64 NEW BEST:: SOT 97188 SOS 39169 HAS SOPS 39169 HAS SOUS 37479 HAS SOUPS 37479 WITH SCORE 37518.169
AT ITER 75 NEW BEST:: SOT 97188 SOS 39107 HAS SOPS 39107 HAS SOUS 37417 HAS SOUPS 37417 WITH SCORE 37456.107
AT ITER 76 NEW BEST:: SOT 96498 SOS 39004 HAS SOPS 39004 HAS SOUS 37042 HAS SOUPS 37042 WITH SCORE 37081.004
AT ITER 77 NEW BEST:: SOT 94378 SOS 41497 HAS SOPS 41497 HAS SOUS 35158 HAS SOUPS 35158 WITH SCORE 35199.497
AT ITER 87 NEW BEST:: SOT 93073 SOS 40218 HAS SOPS 40218 HAS SOUS 33940 HAS SOUPS 33940 WITH SCORE 33980.218
AT ITER 93 NEW BEST:: SOT 93072 SOS 40216 HAS SOPS 40216 HAS SOUS 33938 HAS SOUPS 33938 WITH SCORE 33978.216
AT ITER 99 NEW BEST:: SOT 93007 SOS 40021 HAS SOPS 40021 HAS SOUS 33848 HAS SOUPS 33848 WITH SCORE 33888.021
AT ITER 103 NEW BEST:: SOT 92947 SOS 39961 HAS SOPS 39961 HAS SOUS 33792 HAS SOUPS 33792 WITH SCORE 33831.961
AT ITER 106 NEW BEST:: SOT 92822 SOS 39825 HAS SOPS 39825 HAS SOUS 33699 HAS SOUPS 33699 WITH SCORE 33738.825
AT ITER 117 NEW BEST:: SOT 92795 SOS 39797 HAS SOPS 39797 HAS SOUS 33671 HAS SOUPS 33671 WITH SCORE 33710.797
AT ITER 118 NEW BEST:: SOT 92748 SOS 39706 HAS SOPS 39706 HAS SOUS 33580 HAS SOUPS 33580 WITH SCORE 33619.706
AT ITER 125 NEW BEST:: SOT 92789 SOS 39701 HAS SOPS 39701 HAS SOUS 33575 HAS SOUPS 33575 WITH SCORE 33614.701
AT ITER 134 NEW BEST:: SOT 92786 SOS 39695 HAS SOPS 39695 HAS SOUS 33569 HAS SOUPS 33569 WITH SCORE 33608.695
AT ITER 137 NEW BEST:: SOT 91616 SOS 38583 HAS SOPS 38583 HAS SOUS 32403 HAS SOUPS 32403 WITH SCORE 32441.583
AT ITER 150 NEW BEST:: SOT 91520 SOS 38389 HAS SOPS 38389 HAS SOUS 32273 HAS SOUPS 32273 WITH SCORE 32311.389
AT ITER 180 NEW BEST:: SOT 91520 SOS 38428 HAS SOPS 38428 HAS SOUS 32232 HAS SOUPS 32232 WITH SCORE 32270.428
AT ITER 182 NEW BEST:: SOT 91399 SOS 38186 HAS SOPS 38186 HAS SOUS 32176 HAS SOUPS 32176 WITH SCORE 32214.186
AT ITER 192 NEW BEST:: SOT 91399 SOS 38166 HAS SOPS 38166 HAS SOUS 32156 HAS SOUPS 32156 WITH SCORE 32194.166
AT ITER 196 NEW BEST:: SOT 91289 SOS 38030 HAS SOPS 38030 HAS SOUS 32020 HAS SOUPS 32020 WITH SCORE 32058.03
AT ITER 203 NEW BEST:: SOT 91161 SOS 37902 HAS SOPS 37902 HAS SOUS 31892 HAS SOUPS 31892 WITH SCORE 31929.902
AT ITER 209 NEW BEST:: SOT 91164 SOS 37908 HAS SOPS 37908 HAS SOUS 31862 HAS SOUPS 31862 WITH SCORE 31899.908
AT ITER 211 NEW BEST:: SOT 91162 SOS 37904 HAS SOPS 37904 HAS SOUS 31858 HAS SOUPS 31858 WITH SCORE 31895.904
AT ITER 233 NEW BEST:: SOT 90643 SOS 37627 HAS SOPS 37627 HAS SOUS 31358 HAS SOUPS 31358 WITH SCORE 31395.627
AT ITER 239 NEW BEST:: SOT 90582 SOS 37566 HAS SOPS 37566 HAS SOUS 31356 HAS SOUPS 31356 WITH SCORE 31393.566
AT ITER 243 NEW BEST:: SOT 90557 SOS 37478 HAS SOPS 37478 HAS SOUS 31293 HAS SOUPS 31293 WITH SCORE 31330.478
AT ITER 248 NEW BEST:: SOT 90492 SOS 37326 HAS SOPS 37326 HAS SOUS 31206 HAS SOUPS 31206 WITH SCORE 31243.326
AT ITER 252 NEW BEST:: SOT 90434 SOS 37254 HAS SOPS 37254 HAS SOUS 31134 HAS SOUPS 31134 WITH SCORE 31171.254
AT ITER 256 NEW BEST:: SOT 90315 SOS 37135 HAS SOPS 37135 HAS SOUS 31134 HAS SOUPS 31134 WITH SCORE 31171.135
AT ITER 259 NEW BEST:: SOT 90227 SOS 36972 HAS SOPS 36972 HAS SOUS 31038 HAS SOUPS 31038 WITH SCORE 31074.972
AT ITER 270 NEW BEST:: SOT 90216 SOS 36946 HAS SOPS 36946 HAS SOUS 31012 HAS SOUPS 31012 WITH SCORE 31048.946
AT ITER 288 NEW BEST:: SOT 90199 SOS 36843 HAS SOPS 36843 HAS SOUS 30914 HAS SOUPS 30914 WITH SCORE 30950.843
AT ITER 290 NEW BEST:: SOT 90171 SOS 36815 HAS SOPS 36815 HAS SOUS 30886 HAS SOUPS 30886 WITH SCORE 30922.815
AT ITER 293 NEW BEST:: SOT 90300 SOS 36907 HAS SOPS 36907 HAS SOUS 30878 HAS SOUPS 30878 WITH SCORE 30914.907
AT ITER 302 NEW BEST:: SOT 90300 SOS 36823 HAS SOPS 36823 HAS SOUS 30791 HAS SOUPS 30791 WITH SCORE 30827.823
AT ITER 306 NEW BEST:: SOT 90300 SOS 36817 HAS SOPS 36817 HAS SOUS 30785 HAS SOUPS 30785 WITH SCORE 30821.817
AT ITER 312 NEW BEST:: SOT 90259 SOS 36775 HAS SOPS 36775 HAS SOUS 30784 HAS SOUPS 30784 WITH SCORE 30820.775
AT ITER 316 NEW BEST:: SOT 90184 SOS 36311 HAS SOPS 36311 HAS SOUS 30411 HAS SOUPS 30411 WITH SCORE 30447.311
AT ITER 321 NEW BEST:: SOT 89937 SOS 36082 HAS SOPS 36082 HAS SOUS 30296 HAS SOUPS 30296 WITH SCORE 30332.082
AT ITER 329 NEW BEST:: SOT 89937 SOS 35997 HAS SOPS 35997 HAS SOUS 30274 HAS SOUPS 30274 WITH SCORE 30309.997
AT ITER 338 NEW BEST:: SOT 89912 SOS 35972 HAS SOPS 35972 HAS SOUS 30274 HAS SOUPS 30274 WITH SCORE 30309.972
AT ITER 341 NEW BEST:: SOT 89910 SOS 35844 HAS SOPS 35844 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30202.844
AT ITER 355 NEW BEST:: SOT 89898 SOS 35832 HAS SOPS 35832 HAS SOUS 30167 HAS SOUPS 30167 WITH SCORE 30202.832
AT ITER 357 NEW BEST:: SOT 89826 SOS 35742 HAS SOPS 35742 HAS SOUS 30077 HAS SOUPS 30077 WITH SCORE 30112.742
AT ITER 358 NEW BEST:: SOT 89754 SOS 35598 HAS SOPS 35598 HAS SOUS 30004 HAS SOUPS 30004 WITH SCORE 30039.598
AT ITER 374 NEW BEST:: SOT 89691 SOS 35472 HAS SOPS 35472 HAS SOUS 29878 HAS SOUPS 29878 WITH SCORE 29913.472
AT ITER 375 NEW BEST:: SOT 89535 SOS 35236 HAS SOPS 35236 HAS SOUS 29778 HAS SOUPS 29778 WITH SCORE 29813.236
AT ITER 376 NEW BEST:: SOT 89534 SOS 35235 HAS SOPS 35235 HAS SOUS 29777 HAS SOUPS 29777 WITH SCORE 29812.235
AT ITER 379 NEW BEST:: SOT 89652 SOS 35215 HAS SOPS 35215 HAS SOUS 29757 HAS SOUPS 29757 WITH SCORE 29792.215
AT ITER 382 NEW BEST:: SOT 89583 SOS 35146 HAS SOPS 35146 HAS SOUS 29688 HAS SOUPS 29688 WITH SCORE 29723.146
AT ITER 384 NEW BEST:: SOT 89583 SOS 35135 HAS SOPS 35135 HAS SOUS 29677 HAS SOUPS 29677 WITH SCORE 29712.135
AT ITER 392 NEW BEST:: SOT 89583 SOS 35133 HAS SOPS 35133 HAS SOUS 29675 HAS SOUPS 29675 WITH SCORE 29710.133
AT ITER 399 NEW BEST:: SOT 89466 SOS 34933 HAS SOPS 34933 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29509.933
AT ITER 400 NEW BEST:: SOT 89437 SOS 34904 HAS SOPS 34904 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29509.904
AT ITER 417 NEW BEST:: SOT 89315 SOS 34782 HAS SOPS 34782 HAS SOUS 29465 HAS SOUPS 29465 WITH SCORE 29499.782
AT ITER 419 NEW BEST:: SOT 89402 SOS 34781 HAS SOPS 34781 HAS SOUS 29464 HAS SOUPS 29464 WITH SCORE 29498.781
AT ITER 463 NEW BEST:: SOT 89393 SOS 34772 HAS SOPS 34772 HAS SOUS 29455 HAS SOUPS 29455 WITH SCORE 29489.772
AT ITER 467 NEW BEST:: SOT 89393 SOS 34770 HAS SOPS 34770 HAS SOUS 29453 HAS SOUPS 29453 WITH SCORE 29487.77
AT ITER 473 NEW BEST:: SOT 89311 SOS 34696 HAS SOPS 34696 HAS SOUS 29379 HAS SOUPS 29379 WITH SCORE 29413.696
AT ITER 481 NEW BEST:: SOT 89278 SOS 34663 HAS SOPS 34663 HAS SOUS 29360 HAS SOUPS 29360 WITH SCORE 29394.663
AT ITER 487 NEW BEST:: SOT 89068 SOS 34476 HAS SOPS 34476 HAS SOUS 29143 HAS SOUPS 29143 WITH SCORE 29177.476
AT ITER 491 NEW BEST:: SOT 89058 SOS 34466 HAS SOPS 34466 HAS SOUS 29133 HAS SOUPS 29133 WITH SCORE 29167.466
AT ITER 546 NEW BEST:: SOT 88954 SOS 34324 HAS SOPS 34324 HAS SOUS 28991 HAS SOUPS 28991 WITH SCORE 29025.324
AT ITER 557 NEW BEST:: SOT 88948 SOS 34321 HAS SOPS 34321 HAS SOUS 28988 HAS SOUPS 28988 WITH SCORE 29022.321
AT ITER 577 NEW BEST:: SOT 88934 SOS 34305 HAS SOPS 34305 HAS SOUS 28972 HAS SOUPS 28972 WITH SCORE 29006.305
AT ITER 587 NEW BEST:: SOT 88834 SOS 34205 HAS SOPS 34205 HAS SOUS 28930 HAS SOUPS 28930 WITH SCORE 28964.205
AT ITER 633 NEW BEST:: SOT 88797 SOS 34127 HAS SOPS 34127 HAS SOUS 28880 HAS SOUPS 28880 WITH SCORE 28914.127
AT ITER 657 NEW BEST:: SOT 88797 SOS 34127 HAS SOPS 34127 HAS SOUS 28856 HAS SOUPS 28856 WITH SCORE 28890.127
AT ITER 659 NEW BEST:: SOT 88696 SOS 33819 HAS SOPS 33819 HAS SOUS 28649 HAS SOUPS 28649 WITH SCORE 28682.819
AT ITER 668 NEW BEST:: SOT 88705 SOS 33808 HAS SOPS 33808 HAS SOUS 28638 HAS SOUPS 28638 WITH SCORE 28671.808
AT ITER 670 NEW BEST:: SOT 88679 SOS 33782 HAS SOPS 33782 HAS SOUS 28638 HAS SOUPS 28638 WITH SCORE 28671.782
AT ITER 693 NEW BEST:: SOT 88660 SOS 33765 HAS SOPS 33765 HAS SOUS 28621 HAS SOUPS 28621 WITH SCORE 28654.765
AT ITER 703 NEW BEST:: SOT 88657 SOS 33756 HAS SOPS 33756 HAS SOUS 28612 HAS SOUPS 28612 WITH SCORE 28645.756
AT ITER 727 NEW BEST:: SOT 88254 SOS 33197 HAS SOPS 33197 HAS SOUS 28053 HAS SOUPS 28053 WITH SCORE 28086.197
AT ITER 739 NEW BEST:: SOT 88242 SOS 33185 HAS SOPS 33185 HAS SOUS 28041 HAS SOUPS 28041 WITH SCORE 28074.185
AT ITER 756 NEW BEST:: SOT 88239 SOS 33182 HAS SOPS 33182 HAS SOUS 28038 HAS SOUPS 28038 WITH SCORE 28071.182
AT ITER 767 NEW BEST:: SOT 88345 SOS 33143 HAS SOPS 33143 HAS SOUS 27999 HAS SOUPS 27999 WITH SCORE 28032.143
AT ITER 787 NEW BEST:: SOT 88344 SOS 33141 HAS SOPS 33141 HAS SOUS 27997 HAS SOUPS 27997 WITH SCORE 28030.141
AT ITER 809 NEW BEST:: SOT 88311 SOS 33107 HAS SOPS 33107 HAS SOUS 27995 HAS SOUPS 27995 WITH SCORE 28028.107
AT ITER 817 NEW BEST:: SOT 88284 SOS 32955 HAS SOPS 32955 HAS SOUS 27926 HAS SOUPS 27926 WITH SCORE 27958.955
AT ITER 819 NEW BEST:: SOT 88177 SOS 32733 HAS SOPS 32733 HAS SOUS 27774 HAS SOUPS 27774 WITH SCORE 27806.733
AT ITER 850 NEW BEST:: SOT 88175 SOS 32731 HAS SOPS 32731 HAS SOUS 27772 HAS SOUPS 27772 WITH SCORE 27804.731
AT ITER 854 NEW BEST:: SOT 88160 SOS 32716 HAS SOPS 32716 HAS SOUS 27757 HAS SOUPS 27757 WITH SCORE 27789.716
AT ITER 855 NEW BEST:: SOT 88155 SOS 32706 HAS SOPS 32706 HAS SOUS 27747 HAS SOUPS 27747 WITH SCORE 27779.706
AT ITER 860 NEW BEST:: SOT 88194 SOS 32697 HAS SOPS 32697 HAS SOUS 27738 HAS SOUPS 27738 WITH SCORE 27770.697
AT ITER 863 NEW BEST:: SOT 88180 SOS 32574 HAS SOPS 32574 HAS SOUS 27615 HAS SOUPS 27615 WITH SCORE 27647.574
AT ITER 873 NEW BEST:: SOT 88149 SOS 32512 HAS SOPS 32512 HAS SOUS 27553 HAS SOUPS 27553 WITH SCORE 27585.512
AT ITER 896 NEW BEST:: SOT 88110 SOS 32418 HAS SOPS 32418 HAS SOUS 27459 HAS SOUPS 27459 WITH SCORE 27491.418
AT ITER 917 NEW BEST:: SOT 88077 SOS 32352 HAS SOPS 32352 HAS SOUS 27446 HAS SOUPS 27446 WITH SCORE 27478.352
AT ITER 925 NEW BEST:: SOT 88077 SOS 32352 HAS SOPS 32352 HAS SOUS 27444 HAS SOUPS 27444 WITH SCORE 27476.352
AT ITER 938 NEW BEST:: SOT 88059 SOS 32316 HAS SOPS 32316 HAS SOUS 27424 HAS SOUPS 27424 WITH SCORE 27456.316
AT ITER 944 NEW BEST:: SOT 88008 SOS 32214 HAS SOPS 32214 HAS SOUS 27322 HAS SOUPS 27322 WITH SCORE 27354.214
AT ITER 952 NEW BEST:: SOT 88008 SOS 32118 HAS SOPS 32118 HAS SOUS 27253 HAS SOUPS 27253 WITH SCORE 27285.118
AT ITER 956 NEW BEST:: SOT 87953 SOS 32008 HAS SOPS 32008 HAS SOUS 27198 HAS SOUPS 27198 WITH SCORE 27230.008
AT ITER 957 NEW BEST:: SOT 87936 SOS 31990 HAS SOPS 31990 HAS SOUS 27180 HAS SOUPS 27180 WITH SCORE 27211.99
AT ITER 958 NEW BEST:: SOT 87930 SOS 31978 HAS SOPS 31978 HAS SOUS 27168 HAS SOUPS 27168 WITH SCORE 27199.978
AT ITER 959 NEW BEST:: SOT 87897 SOS 31981 HAS SOPS 31981 HAS SOUS 27155 HAS SOUPS 27155 WITH SCORE 27186.981
AT ITER 962 NEW BEST:: SOT 87876 SOS 31939 HAS SOPS 31939 HAS SOUS 27113 HAS SOUPS 27113 WITH SCORE 27144.939
AT ITER 965 NEW BEST:: SOT 87876 SOS 31857 HAS SOPS 31857 HAS SOUS 27113 HAS SOUPS 27113 WITH SCORE 27144.857
AT ITER 967 NEW BEST:: SOT 87878 SOS 31870 HAS SOPS 31870 HAS SOUS 27103 HAS SOUPS 27103 WITH SCORE 27134.87
AT ITER 971 NEW BEST:: SOT 87877 SOS 31869 HAS SOPS 31869 HAS SOUS 27102 HAS SOUPS 27102 WITH SCORE 27133.869
AT ITER 974 NEW BEST:: SOT 87838 SOS 31830 HAS SOPS 31830 HAS SOUS 27063 HAS SOUPS 27063 WITH SCORE 27094.83
AT ITER 977 NEW BEST:: SOT 87798 SOS 31753 HAS SOPS 31753 HAS SOUS 26986 HAS SOUPS 26986 WITH SCORE 27017.753
AT ITER 988 NEW BEST:: SOT 87725 SOS 34449 HAS SOPS 34449 HAS SOUS 26942 HAS SOUPS 26942 WITH SCORE 26976.449
AT ITER 996 NEW BEST:: SOT 87724 SOS 34447 HAS SOPS 34447 HAS SOUS 26940 HAS SOUPS 26940 WITH SCORE 26974.447
AT ITER 1004 NEW BEST:: SOT 87664 SOS 34351 HAS SOPS 34351 HAS SOUS 26891 HAS SOUPS 26891 WITH SCORE 26925.351
AT ITER 1008 NEW BEST:: SOT 87660 SOS 34320 HAS SOPS 34320 HAS SOUS 26860 HAS SOUPS 26860 WITH SCORE 26894.32
AT ITER 1012 NEW BEST:: SOT 87635 SOS 34274 HAS SOPS 34274 HAS SOUS 26814 HAS SOUPS 26814 WITH SCORE 26848.274
AT ITER 1017 NEW BEST:: SOT 87634 SOS 34272 HAS SOPS 34272 HAS SOUS 26812 HAS SOUPS 26812 WITH SCORE 26846.272
AT ITER 1043 NEW BEST:: SOT 87634 SOS 34261 HAS SOPS 34261 HAS SOUS 26801 HAS SOUPS 26801 WITH SCORE 26835.261
AT ITER 1054 NEW BEST:: SOT 87620 SOS 34234 HAS SOPS 34234 HAS SOUS 26792 HAS SOUPS 26792 WITH SCORE 26826.234
AT ITER 1055 NEW BEST:: SOT 87634 SOS 34217 HAS SOPS 34217 HAS SOUS 26775 HAS SOUPS 26775 WITH SCORE 26809.217
AT ITER 1072 NEW BEST:: SOT 87607 SOS 34190 HAS SOPS 34190 HAS SOUS 26748 HAS SOUPS 26748 WITH SCORE 26782.19
AT ITER 1079 NEW BEST:: SOT 87547 SOS 34151 HAS SOPS 34151 HAS SOUS 26709 HAS SOUPS 26709 WITH SCORE 26743.151
AT ITER 1091 NEW BEST:: SOT 87547 SOS 34117 HAS SOPS 34117 HAS SOUS 26709 HAS SOUPS 26709 WITH SCORE 26743.117
AT ITER 1092 NEW BEST:: SOT 87445 SOS 34048 HAS SOPS 34048 HAS SOUS 26640 HAS SOUPS 26640 WITH SCORE 26674.048
AT ITER 1094 NEW BEST:: SOT 85969 SOS 32454 HAS SOPS 32454 HAS SOUS 25064 HAS SOUPS 25064 WITH SCORE 25096.454
AT ITER 1117 NEW BEST:: SOT 85947 SOS 32410 HAS SOPS 32410 HAS SOUS 25062 HAS SOUPS 25062 WITH SCORE 25094.41
AT ITER 1123 NEW BEST:: SOT 85922 SOS 32360 HAS SOPS 32360 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25052.36
AT ITER 1129 NEW BEST:: SOT 86049 SOS 32368 HAS SOPS 32368 HAS SOUS 24900 HAS SOUPS 24900 WITH SCORE 24932.368
AT ITER 1137 NEW BEST:: SOT 86036 SOS 32329 HAS SOPS 32329 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24898.329
AT ITER 1149 NEW BEST:: SOT 86096 SOS 32389 HAS SOPS 32389 HAS SOUS 24836 HAS SOUPS 24836 WITH SCORE 24868.389
AT ITER 1150 NEW BEST:: SOT 86086 SOS 32379 HAS SOPS 32379 HAS SOUS 24826 HAS SOUPS 24826 WITH SCORE 24858.379
AT ITER 1158 NEW BEST:: SOT 86078 SOS 32371 HAS SOPS 32371 HAS SOUS 24818 HAS SOUPS 24818 WITH SCORE 24850.371
AT ITER 1159 NEW BEST:: SOT 86154 SOS 32445 HAS SOPS 32445 HAS SOUS 24813 HAS SOUPS 24813 WITH SCORE 24845.445
AT ITER 1182 NEW BEST:: SOT 86147 SOS 32431 HAS SOPS 32431 HAS SOUS 24799 HAS SOUPS 24799 WITH SCORE 24831.431
AT ITER 1192 NEW BEST:: SOT 86156 SOS 32386 HAS SOPS 32386 HAS SOUS 24799 HAS SOUPS 24799 WITH SCORE 24831.386
AT ITER 1203 NEW BEST:: SOT 86086 SOS 32302 HAS SOPS 32302 HAS SOUS 24715 HAS SOUPS 24715 WITH SCORE 24747.302
AT ITER 1223 NEW BEST:: SOT 86086 SOS 32275 HAS SOPS 32275 HAS SOUS 24688 HAS SOUPS 24688 WITH SCORE 24720.275
AT ITER 1233 NEW BEST:: SOT 86072 SOS 32281 HAS SOPS 32281 HAS SOUS 24674 HAS SOUPS 24674 WITH SCORE 24706.281
AT ITER 1235 NEW BEST:: SOT 86038 SOS 32251 HAS SOPS 32251 HAS SOUS 24644 HAS SOUPS 24644 WITH SCORE 24676.251
AT ITER 1238 NEW BEST:: SOT 85991 SOS 32204 HAS SOPS 32204 HAS SOUS 24597 HAS SOUPS 24597 WITH SCORE 24629.204
AT ITER 1239 NEW BEST:: SOT 85827 SOS 32021 HAS SOPS 32021 HAS SOUS 24335 HAS SOUPS 24335 WITH SCORE 24367.021
AT ITER 1247 NEW BEST:: SOT 85786 SOS 31983 HAS SOPS 31983 HAS SOUS 24273 HAS SOUPS 24273 WITH SCORE 24304.983
AT ITER 1253 NEW BEST:: SOT 85741 SOS 31938 HAS SOPS 31938 HAS SOUS 24228 HAS SOUPS 24228 WITH SCORE 24259.938
AT ITER 1254 NEW BEST:: SOT 85693 SOS 31810 HAS SOPS 31810 HAS SOUS 24185 HAS SOUPS 24185 WITH SCORE 24216.81
AT ITER 1258 NEW BEST:: SOT 85697 SOS 31821 HAS SOPS 31821 HAS SOUS 24181 HAS SOUPS 24181 WITH SCORE 24212.821
AT ITER 1263 NEW BEST:: SOT 85585 SOS 31720 HAS SOPS 31720 HAS SOUS 24017 HAS SOUPS 24017 WITH SCORE 24048.72
AT ITER 1273 NEW BEST:: SOT 85574 SOS 31709 HAS SOPS 31709 HAS SOUS 24006 HAS SOUPS 24006 WITH SCORE 24037.709
AT ITER 1294 NEW BEST:: SOT 85582 SOS 31681 HAS SOPS 31681 HAS SOUS 23934 HAS SOUPS 23934 WITH SCORE 23965.681
AT ITER 1309 NEW BEST:: SOT 85557 SOS 31631 HAS SOPS 31631 HAS SOUS 23884 HAS SOUPS 23884 WITH SCORE 23915.631
AT ITER 1312 NEW BEST:: SOT 85541 SOS 31614 HAS SOPS 31614 HAS SOUS 23883 HAS SOUPS 23883 WITH SCORE 23914.614
AT ITER 1314 NEW BEST:: SOT 85508 SOS 31581 HAS SOPS 31581 HAS SOUS 23850 HAS SOUPS 23850 WITH SCORE 23881.581
AT ITER 1322 NEW BEST:: SOT 85298 SOS 32090 HAS SOPS 32090 HAS SOUS 23654 HAS SOUPS 23654 WITH SCORE 23686.09
AT ITER 1327 NEW BEST:: SOT 85285 SOS 32077 HAS SOPS 32077 HAS SOUS 23641 HAS SOUPS 23641 WITH SCORE 23673.077
AT ITER 1331 NEW BEST:: SOT 85297 SOS 32087 HAS SOPS 32087 HAS SOUS 23639 HAS SOUPS 23639 WITH SCORE 23671.087
AT ITER 1362 NEW BEST:: SOT 85273 SOS 32039 HAS SOPS 32039 HAS SOUS 23591 HAS SOUPS 23591 WITH SCORE 23623.039
AT ITER 1372 NEW BEST:: SOT 85237 SOS 31967 HAS SOPS 31967 HAS SOUS 23519 HAS SOUPS 23519 WITH SCORE 23550.967
AT ITER 1401 NEW BEST:: SOT 85236 SOS 31955 HAS SOPS 31955 HAS SOUS 23517 HAS SOUPS 23517 WITH SCORE 23548.955
AT ITER 1410 NEW BEST:: SOT 85149 SOS 31868 HAS SOPS 31868 HAS SOUS 23509 HAS SOUPS 23509 WITH SCORE 23540.868
AT ITER 1416 NEW BEST:: SOT 85157 SOS 31835 HAS SOPS 31835 HAS SOUS 23440 HAS SOUPS 23440 WITH SCORE 23471.835
AT ITER 1439 NEW BEST:: SOT 85088 SOS 31579 HAS SOPS 31579 HAS SOUS 23184 HAS SOUPS 23184 WITH SCORE 23215.579
AT ITER 1444 NEW BEST:: SOT 85088 SOS 30978 HAS SOPS 30978 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23213.978
AT ITER 1464 NEW BEST:: SOT 85079 SOS 30941 HAS SOPS 30941 HAS SOUS 23173 HAS SOUPS 23173 WITH SCORE 23203.941
AT ITER 1466 NEW BEST:: SOT 85015 SOS 30877 HAS SOPS 30877 HAS SOUS 23173 HAS SOUPS 23173 WITH SCORE 23203.877
AT ITER 1473 NEW BEST:: SOT 85015 SOS 30847 HAS SOPS 30847 HAS SOUS 23143 HAS SOUPS 23143 WITH SCORE 23173.847
AT ITER 1485 NEW BEST:: SOT 84926 SOS 30782 HAS SOPS 30782 HAS SOUS 23101 HAS SOUPS 23101 WITH SCORE 23131.782
AT ITER 1488 NEW BEST:: SOT 84861 SOS 30598 HAS SOPS 30598 HAS SOUS 22915 HAS SOUPS 22915 WITH SCORE 22945.598
AT ITER 1500 NEW BEST:: SOT 84839 SOS 30554 HAS SOPS 30554 HAS SOUS 22871 HAS SOUPS 22871 WITH SCORE 22901.554
AT ITER 1509 NEW BEST:: SOT 84796 SOS 30468 HAS SOPS 30468 HAS SOUS 22835 HAS SOUPS 22835 WITH SCORE 22865.468
AT ITER 1521 NEW BEST:: SOT 84776 SOS 30428 HAS SOPS 30428 HAS SOUS 22817 HAS SOUPS 22817 WITH SCORE 22847.428
AT ITER 1523 NEW BEST:: SOT 84754 SOS 30406 HAS SOPS 30406 HAS SOUS 22817 HAS SOUPS 22817 WITH SCORE 22847.406
AT ITER 1528 NEW BEST:: SOT 84731 SOS 30371 HAS SOPS 30371 HAS SOUS 22805 HAS SOUPS 22805 WITH SCORE 22835.371
AT ITER 1546 NEW BEST:: SOT 84809 SOS 30364 HAS SOPS 30364 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22828.364
AT ITER 1554 NEW BEST:: SOT 84809 SOS 30359 HAS SOPS 30359 HAS SOUS 22788 HAS SOUPS 22788 WITH SCORE 22818.359
AT ITER 1560 NEW BEST:: SOT 84799 SOS 30339 HAS SOPS 30339 HAS SOUS 22778 HAS SOUPS 22778 WITH SCORE 22808.339
AT ITER 1573 NEW BEST:: SOT 84643 SOS 30011 HAS SOPS 30011 HAS SOUS 22650 HAS SOUPS 22650 WITH SCORE 22680.011
AT ITER 1599 NEW BEST:: SOT 84640 SOS 30007 HAS SOPS 30007 HAS SOUS 22646 HAS SOUPS 22646 WITH SCORE 22676.007
AT ITER 1600 NEW BEST:: SOT 84539 SOS 29718 HAS SOPS 29718 HAS SOUS 22514 HAS SOUPS 22514 WITH SCORE 22543.718
AT ITER 1608 NEW BEST:: SOT 84516 SOS 29672 HAS SOPS 29672 HAS SOUS 22505 HAS SOUPS 22505 WITH SCORE 22534.672
AT ITER 1613 NEW BEST:: SOT 84496 SOS 29672 HAS SOPS 29672 HAS SOUS 22485 HAS SOUPS 22485 WITH SCORE 22514.672
AT ITER 1631 NEW BEST:: SOT 84490 SOS 29660 HAS SOPS 29660 HAS SOUS 22483 HAS SOUPS 22483 WITH SCORE 22512.66
AT ITER 1637 NEW BEST:: SOT 84490 SOS 29644 HAS SOPS 29644 HAS SOUS 22467 HAS SOUPS 22467 WITH SCORE 22496.644
AT ITER 1647 NEW BEST:: SOT 84490 SOS 29644 HAS SOPS 29644 HAS SOUS 22460 HAS SOUPS 22460 WITH SCORE 22489.644
AT ITER 1653 NEW BEST:: SOT 84464 SOS 29607 HAS SOPS 29607 HAS SOUS 22423 HAS SOUPS 22423 WITH SCORE 22452.607
AT ITER 1667 NEW BEST:: SOT 84448 SOS 29589 HAS SOPS 29589 HAS SOUS 22405 HAS SOUPS 22405 WITH SCORE 22434.589
AT ITER 1707 NEW BEST:: SOT 84444 SOS 29553 HAS SOPS 29553 HAS SOUS 22369 HAS SOUPS 22369 WITH SCORE 22398.553
AT ITER 1728 NEW BEST:: SOT 84442 SOS 29553 HAS SOPS 29553 HAS SOUS 22367 HAS SOUPS 22367 WITH SCORE 22396.553
AT ITER 1733 NEW BEST:: SOT 84442 SOS 29553 HAS SOPS 29553 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22390.553
AT ITER 1736 NEW BEST:: SOT 84413 SOS 29495 HAS SOPS 29495 HAS SOUS 22287 HAS SOUPS 22287 WITH SCORE 22316.495
AT ITER 1751 NEW BEST:: SOT 84428 SOS 29464 HAS SOPS 29464 HAS SOUS 22179 HAS SOUPS 22179 WITH SCORE 22208.464
AT ITER 1754 NEW BEST:: SOT 84278 SOS 29105 HAS SOPS 29105 HAS SOUS 21820 HAS SOUPS 21820 WITH SCORE 21849.105
AT ITER 1781 NEW BEST:: SOT 84262 SOS 29089 HAS SOPS 29089 HAS SOUS 21768 HAS SOUPS 21768 WITH SCORE 21797.089
AT ITER 1787 NEW BEST:: SOT 84258 SOS 29081 HAS SOPS 29081 HAS SOUS 21760 HAS SOUPS 21760 WITH SCORE 21789.081
AT ITER 1808 NEW BEST:: SOT 84273 SOS 29051 HAS SOPS 29051 HAS SOUS 21727 HAS SOUPS 21727 WITH SCORE 21756.051
AT ITER 1820 NEW BEST:: SOT 84273 SOS 29025 HAS SOPS 29025 HAS SOUS 21701 HAS SOUPS 21701 WITH SCORE 21730.025
AT ITER 1832 NEW BEST:: SOT 84239 SOS 28966 HAS SOPS 28966 HAS SOUS 21668 HAS SOUPS 21668 WITH SCORE 21696.966
AT ITER 1841 NEW BEST:: SOT 84234 SOS 28908 HAS SOPS 28908 HAS SOUS 21663 HAS SOUPS 21663 WITH SCORE 21691.908
AT ITER 1843 NEW BEST:: SOT 84159 SOS 28809 HAS SOPS 28809 HAS SOUS 21639 HAS SOUPS 21639 WITH SCORE 21667.809
AT ITER 1849 NEW BEST:: SOT 84151 SOS 28794 HAS SOPS 28794 HAS SOUS 21632 HAS SOUPS 21632 WITH SCORE 21660.794
AT ITER 1853 NEW BEST:: SOT 84137 SOS 28766 HAS SOPS 28766 HAS SOUS 21604 HAS SOUPS 21604 WITH SCORE 21632.766
AT ITER 1861 NEW BEST:: SOT 84137 SOS 28712 HAS SOPS 28712 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21578.712
AT ITER 1873 NEW BEST:: SOT 84122 SOS 28697 HAS SOPS 28697 HAS SOUS 21550 HAS SOUPS 21550 WITH SCORE 21578.697
AT ITER 1876 NEW BEST:: SOT 84111 SOS 28675 HAS SOPS 28675 HAS SOUS 21528 HAS SOUPS 21528 WITH SCORE 21556.675
AT ITER 1881 NEW BEST:: SOT 84111 SOS 28675 HAS SOPS 28675 HAS SOUS 21496 HAS SOUPS 21496 WITH SCORE 21524.675
AT ITER 1906 NEW BEST:: SOT 84127 SOS 28631 HAS SOPS 28631 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21480.631
AT ITER 1958 NEW BEST:: SOT 84126 SOS 28627 HAS SOPS 28627 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21480.627
AT ITER 1970 NEW BEST:: SOT 84120 SOS 28615 HAS SOPS 28615 HAS SOUS 21440 HAS SOUPS 21440 WITH SCORE 21468.615
AT ITER 1973 NEW BEST:: SOT 84117 SOS 28609 HAS SOPS 28609 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21425.609
AT ITER 1987 NEW BEST:: SOT 84137 SOS 28562 HAS SOPS 28562 HAS SOUS 21350 HAS SOUPS 21350 WITH SCORE 21378.562
AT ITER 2004 NEW BEST:: SOT 84127 SOS 28542 HAS SOPS 28542 HAS SOUS 21330 HAS SOUPS 21330 WITH SCORE 21358.542
AT ITER 2016 NEW BEST:: SOT 84119 SOS 28516 HAS SOPS 28516 HAS SOUS 21304 HAS SOUPS 21304 WITH SCORE 21332.516
AT ITER 2026 NEW BEST:: SOT 84018 SOS 28419 HAS SOPS 28419 HAS SOUS 21276 HAS SOUPS 21276 WITH SCORE 21304.419
AT ITER 2032 NEW BEST:: SOT 84018 SOS 28410 HAS SOPS 28410 HAS SOUS 21267 HAS SOUPS 21267 WITH SCORE 21295.41
AT ITER 2036 NEW BEST:: SOT 83994 SOS 28362 HAS SOPS 28362 HAS SOUS 21219 HAS SOUPS 21219 WITH SCORE 21247.362
AT ITER 2038 NEW BEST:: SOT 83994 SOS 28362 HAS SOPS 28362 HAS SOUS 21207 HAS SOUPS 21207 WITH SCORE 21235.362
AT ITER 2068 NEW BEST:: SOT 83984 SOS 28337 HAS SOPS 28337 HAS SOUS 21182 HAS SOUPS 21182 WITH SCORE 21210.337
AT ITER 2070 NEW BEST:: SOT 83976 SOS 28322 HAS SOPS 28322 HAS SOUS 21167 HAS SOUPS 21167 WITH SCORE 21195.322
AT ITER 2075 NEW BEST:: SOT 83939 SOS 28304 HAS SOPS 28304 HAS SOUS 21149 HAS SOUPS 21149 WITH SCORE 21177.304
AT ITER 2099 NEW BEST:: SOT 83915 SOS 28280 HAS SOPS 28280 HAS SOUS 20996 HAS SOUPS 20996 WITH SCORE 21024.28
AT ITER 2100 NEW BEST:: SOT 83990 SOS 28347 HAS SOPS 28347 HAS SOUS 20989 HAS SOUPS 20989 WITH SCORE 21017.347
AT ITER 2105 NEW BEST:: SOT 83988 SOS 28345 HAS SOPS 28345 HAS SOUS 20987 HAS SOUPS 20987 WITH SCORE 21015.345
AT ITER 2135 NEW BEST:: SOT 83972 SOS 28313 HAS SOPS 28313 HAS SOUS 20955 HAS SOUPS 20955 WITH SCORE 20983.313
AT ITER 2146 NEW BEST:: SOT 83964 SOS 28305 HAS SOPS 28305 HAS SOUS 20947 HAS SOUPS 20947 WITH SCORE 20975.305
AT ITER 2149 NEW BEST:: SOT 83959 SOS 28300 HAS SOPS 28300 HAS SOUS 20940 HAS SOUPS 20940 WITH SCORE 20968.3
AT ITER 2156 NEW BEST:: SOT 83959 SOS 28300 HAS SOPS 28300 HAS SOUS 20928 HAS SOUPS 20928 WITH SCORE 20956.3
AT ITER 2188 NEW BEST:: SOT 83891 SOS 28825 HAS SOPS 28825 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20948.825
AT ITER 2222 NEW BEST:: SOT 83798 SOS 28732 HAS SOPS 28732 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20855.732
AT ITER 2232 NEW BEST:: SOT 83780 SOS 28925 HAS SOPS 28925 HAS SOUS 20818 HAS SOUPS 20818 WITH SCORE 20846.925
AT ITER 2237 NEW BEST:: SOT 83687 SOS 28759 HAS SOPS 28759 HAS SOUS 20677 HAS SOUPS 20677 WITH SCORE 20705.759
AT ITER 2242 NEW BEST:: SOT 83661 SOS 28707 HAS SOPS 28707 HAS SOUS 20625 HAS SOUPS 20625 WITH SCORE 20653.707
AT ITER 2316 NEW BEST:: SOT 83610 SOS 28735 HAS SOPS 28735 HAS SOUS 20619 HAS SOUPS 20619 WITH SCORE 20647.735
AT ITER 2350 NEW BEST:: SOT 83610 SOS 28735 HAS SOPS 28735 HAS SOUS 20612 HAS SOUPS 20612 WITH SCORE 20640.735
AT ITER 2364 NEW BEST:: SOT 83621 SOS 28746 HAS SOPS 28746 HAS SOUS 20583 HAS SOUPS 20583 WITH SCORE 20611.746
AT ITER 2397 NEW BEST:: SOT 83615 SOS 28714 HAS SOPS 28714 HAS SOUS 20551 HAS SOUPS 20551 WITH SCORE 20579.714
AT ITER 2413 NEW BEST:: SOT 83615 SOS 28706 HAS SOPS 28706 HAS SOUS 20535 HAS SOUPS 20535 WITH SCORE 20563.706
AT ITER 2438 NEW BEST:: SOT 83615 SOS 28706 HAS SOPS 28706 HAS SOUS 20521 HAS SOUPS 20521 WITH SCORE 20549.706
AT ITER 2458 NEW BEST:: SOT 83621 SOS 28704 HAS SOPS 28704 HAS SOUS 20519 HAS SOUPS 20519 WITH SCORE 20547.704
AT ITER 2477 NEW BEST:: SOT 83630 SOS 28697 HAS SOPS 28697 HAS SOUS 20512 HAS SOUPS 20512 WITH SCORE 20540.697
AT ITER 2488 NEW BEST:: SOT 83630 SOS 28715 HAS SOPS 28715 HAS SOUS 20508 HAS SOUPS 20508 WITH SCORE 20536.715
AT ITER 2534 NEW BEST:: SOT 83630 SOS 28698 HAS SOPS 28698 HAS SOUS 20491 HAS SOUPS 20491 WITH SCORE 20519.698
AT ITER 2535 NEW BEST:: SOT 83583 SOS 28625 HAS SOPS 28625 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20446.625
AT ITER 2553 NEW BEST:: SOT 83574 SOS 28607 HAS SOPS 28607 HAS SOUS 20409 HAS SOUPS 20409 WITH SCORE 20437.607
AT ITER 2554 NEW BEST:: SOT 83585 SOS 28617 HAS SOPS 28617 HAS SOUS 20407 HAS SOUPS 20407 WITH SCORE 20435.617
AT ITER 2557 NEW BEST:: SOT 83552 SOS 28599 HAS SOPS 28599 HAS SOUS 20389 HAS SOUPS 20389 WITH SCORE 20417.599
AT ITER 2568 NEW BEST:: SOT 83545 SOS 28585 HAS SOPS 28585 HAS SOUS 20375 HAS SOUPS 20375 WITH SCORE 20403.585
AT ITER 2578 NEW BEST:: SOT 83557 SOS 28576 HAS SOPS 28576 HAS SOUS 20366 HAS SOUPS 20366 WITH SCORE 20394.576
AT ITER 2585 NEW BEST:: SOT 83532 SOS 28557 HAS SOPS 28557 HAS SOUS 20347 HAS SOUPS 20347 WITH SCORE 20375.557
AT ITER 2587 NEW BEST:: SOT 83492 SOS 28551 HAS SOPS 28551 HAS SOUS 20341 HAS SOUPS 20341 WITH SCORE 20369.551
AT ITER 2606 NEW BEST:: SOT 83591 SOS 28646 HAS SOPS 28646 HAS SOUS 20333 HAS SOUPS 20333 WITH SCORE 20361.646
AT ITER 2621 NEW BEST:: SOT 83592 SOS 28648 HAS SOPS 28648 HAS SOUS 20325 HAS SOUPS 20325 WITH SCORE 20353.648
AT ITER 2665 NEW BEST:: SOT 83631 SOS 28688 HAS SOPS 28688 HAS SOUS 20313 HAS SOUPS 20313 WITH SCORE 20341.688
AT ITER 2709 NEW BEST:: SOT 83630 SOS 28684 HAS SOPS 28684 HAS SOUS 20309 HAS SOUPS 20309 WITH SCORE 20337.684
AT ITER 2715 NEW BEST:: SOT 83593 SOS 28672 HAS SOPS 28672 HAS SOUS 20297 HAS SOUPS 20297 WITH SCORE 20325.672
AT ITER 2720 NEW BEST:: SOT 83508 SOS 28498 HAS SOPS 28498 HAS SOUS 20208 HAS SOUPS 20208 WITH SCORE 20236.498
AT ITER 2732 NEW BEST:: SOT 83488 SOS 28561 HAS SOPS 28561 HAS SOUS 20207 HAS SOUPS 20207 WITH SCORE 20235.561
AT ITER 2737 NEW BEST:: SOT 83404 SOS 28471 HAS SOPS 28471 HAS SOUS 20117 HAS SOUPS 20117 WITH SCORE 20145.471
AT ITER 2756 NEW BEST:: SOT 83378 SOS 28432 HAS SOPS 28432 HAS SOUS 20091 HAS SOUPS 20091 WITH SCORE 20119.432
AT ITER 2759 NEW BEST:: SOT 83435 SOS 28489 HAS SOPS 28489 HAS SOUS 20090 HAS SOUPS 20090 WITH SCORE 20118.489
AT ITER 2760 NEW BEST:: SOT 83424 SOS 28478 HAS SOPS 28478 HAS SOUS 20079 HAS SOUPS 20079 WITH SCORE 20107.478
AT ITER 2766 NEW BEST:: SOT 83368 SOS 28413 HAS SOPS 28413 HAS SOUS 20058 HAS SOUPS 20058 WITH SCORE 20086.413
AT ITER 2771 NEW BEST:: SOT 83353 SOS 28373 HAS SOPS 28373 HAS SOUS 20052 HAS SOUPS 20052 WITH SCORE 20080.373
AT ITER 2799 NEW BEST:: SOT 83353 SOS 28344 HAS SOPS 28344 HAS SOUS 20023 HAS SOUPS 20023 WITH SCORE 20051.344
AT ITER 2801 NEW BEST:: SOT 83331 SOS 28311 HAS SOPS 28311 HAS SOUS 19990 HAS SOUPS 19990 WITH SCORE 20018.311
AT ITER 2812 NEW BEST:: SOT 83324 SOS 28297 HAS SOPS 28297 HAS SOUS 19974 HAS SOUPS 19974 WITH SCORE 20002.297
AT ITER 2813 NEW BEST:: SOT 83185 SOS 28153 HAS SOPS 28153 HAS SOUS 19964 HAS SOUPS 19964 WITH SCORE 19992.153
AT ITER 2814 NEW BEST:: SOT 83185 SOS 28151 HAS SOPS 28151 HAS SOUS 19962 HAS SOUPS 19962 WITH SCORE 19990.151
AT ITER 2817 NEW BEST:: SOT 83187 SOS 28123 HAS SOPS 28123 HAS SOUS 19934 HAS SOUPS 19934 WITH SCORE 19962.123
AT ITER 2851 NEW BEST:: SOT 83179 SOS 28107 HAS SOPS 28107 HAS SOUS 19918 HAS SOUPS 19918 WITH SCORE 19946.107
AT ITER 2863 NEW BEST:: SOT 83177 SOS 28103 HAS SOPS 28103 HAS SOUS 19912 HAS SOUPS 19912 WITH SCORE 19940.103
AT ITER 2913 NEW BEST:: SOT 83198 SOS 28118 HAS SOPS 28118 HAS SOUS 19911 HAS SOUPS 19911 WITH SCORE 19939.118
AT ITER 2918 NEW BEST:: SOT 83153 SOS 28095 HAS SOPS 28095 HAS SOUS 19885 HAS SOUPS 19885 WITH SCORE 19913.095
AT ITER 2940 NEW BEST:: SOT 83151 SOS 28093 HAS SOPS 28093 HAS SOUS 19883 HAS SOUPS 19883 WITH SCORE 19911.093
AT ITER 2987 NEW BEST:: SOT 83151 SOS 28075 HAS SOPS 28075 HAS SOUS 19865 HAS SOUPS 19865 WITH SCORE 19893.075
AT ITER 3031 NEW BEST:: SOT 83139 SOS 28066 HAS SOPS 28066 HAS SOUS 19856 HAS SOUPS 19856 WITH SCORE 19884.066
AT ITER 3038 NEW BEST:: SOT 83138 SOS 28055 HAS SOPS 28055 HAS SOUS 19845 HAS SOUPS 19845 WITH SCORE 19873.055
AT ITER 3055 NEW BEST:: SOT 83040 SOS 27956 HAS SOPS 27956 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19870.956
AT ITER 3058 NEW BEST:: SOT 83071 SOS 27946 HAS SOPS 27946 HAS SOUS 19831 HAS SOUPS 19831 WITH SCORE 19858.946
AT ITER 3113 NEW BEST:: SOT 83059 SOS 27914 HAS SOPS 27914 HAS SOUS 19814 HAS SOUPS 19814 WITH SCORE 19841.914
AT ITER 3129 NEW BEST:: SOT 83055 SOS 27910 HAS SOPS 27910 HAS SOUS 19810 HAS SOUPS 19810 WITH SCORE 19837.91
AT ITER 3139 NEW BEST:: SOT 83041 SOS 27770 HAS SOPS 27770 HAS SOUS 19747 HAS SOUPS 19747 WITH SCORE 19774.77
AT ITER 3148 NEW BEST:: SOT 83034 SOS 27761 HAS SOPS 27761 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19768.761
AT ITER 3151 NEW BEST:: SOT 83017 SOS 27724 HAS SOPS 27724 HAS SOUS 19720 HAS SOUPS 19720 WITH SCORE 19747.724
AT ITER 3173 NEW BEST:: SOT 83015 SOS 27720 HAS SOPS 27720 HAS SOUS 19718 HAS SOUPS 19718 WITH SCORE 19745.72
AT ITER 3176 NEW BEST:: SOT 82999 SOS 27688 HAS SOPS 27688 HAS SOUS 19702 HAS SOUPS 19702 WITH SCORE 19729.688
AT ITER 3181 NEW BEST:: SOT 82999 SOS 27669 HAS SOPS 27669 HAS SOUS 19683 HAS SOUPS 19683 WITH SCORE 19710.669
AT ITER 3213 NEW BEST:: SOT 82992 SOS 27652 HAS SOPS 27652 HAS SOUS 19666 HAS SOUPS 19666 WITH SCORE 19693.652
AT ITER 3226 NEW BEST:: SOT 82989 SOS 27646 HAS SOPS 27646 HAS SOUS 19661 HAS SOUPS 19661 WITH SCORE 19688.646
AT ITER 3247 NEW BEST:: SOT 82973 SOS 27622 HAS SOPS 27622 HAS SOUS 19637 HAS SOUPS 19637 WITH SCORE 19664.622
AT ITER 3265 NEW BEST:: SOT 82973 SOS 27586 HAS SOPS 27586 HAS SOUS 19637 HAS SOUPS 19637 WITH SCORE 19664.586
AT ITER 3268 NEW BEST:: SOT 82959 SOS 27558 HAS SOPS 27558 HAS SOUS 19609 HAS SOUPS 19609 WITH SCORE 19636.558
AT ITER 3282 NEW BEST:: SOT 82914 SOS 27501 HAS SOPS 27501 HAS SOUS 19597 HAS SOUPS 19597 WITH SCORE 19624.501
AT ITER 3289 NEW BEST:: SOT 82952 SOS 27496 HAS SOPS 27496 HAS SOUS 19592 HAS SOUPS 19592 WITH SCORE 19619.496
AT ITER 3311 NEW BEST:: SOT 82949 SOS 27490 HAS SOPS 27490 HAS SOUS 19586 HAS SOUPS 19586 WITH SCORE 19613.49
AT ITER 3346 NEW BEST:: SOT 82949 SOS 27488 HAS SOPS 27488 HAS SOUS 19585 HAS SOUPS 19585 WITH SCORE 19612.488
AT ITER 3387 NEW BEST:: SOT 82923 SOS 27420 HAS SOPS 27420 HAS SOUS 19517 HAS SOUPS 19517 WITH SCORE 19544.42
AT ITER 3424 NEW BEST:: SOT 82917 SOS 27414 HAS SOPS 27414 HAS SOUS 19511 HAS SOUPS 19511 WITH SCORE 19538.414
AT ITER 3446 NEW BEST:: SOT 82899 SOS 27373 HAS SOPS 27373 HAS SOUS 19450 HAS SOUPS 19450 WITH SCORE 19477.373
AT ITER 3447 NEW BEST:: SOT 82853 SOS 27281 HAS SOPS 27281 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19473.281
AT ITER 3485 NEW BEST:: SOT 82844 SOS 27272 HAS SOPS 27272 HAS SOUS 19437 HAS SOUPS 19437 WITH SCORE 19464.272
AT ITER 3506 NEW BEST:: SOT 82839 SOS 27267 HAS SOPS 27267 HAS SOUS 19432 HAS SOUPS 19432 WITH SCORE 19459.267
AT ITER 3547 NEW BEST:: SOT 82831 SOS 27247 HAS SOPS 27247 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19439.247
AT ITER 3600 NEW BEST:: SOT 82831 SOS 27191 HAS SOPS 27191 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19383.191
AT ITER 3603 NEW BEST:: SOT 82831 SOS 27144 HAS SOPS 27144 HAS SOUS 19356 HAS SOUPS 19356 WITH SCORE 19383.144
AT ITER 3610 NEW BEST:: SOT 82810 SOS 27102 HAS SOPS 27102 HAS SOUS 19314 HAS SOUPS 19314 WITH SCORE 19341.102
AT ITER 3615 NEW BEST:: SOT 82810 SOS 27102 HAS SOPS 27102 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19335.102
AT ITER 3622 NEW BEST:: SOT 82798 SOS 27083 HAS SOPS 27083 HAS SOUS 19289 HAS SOUPS 19289 WITH SCORE 19316.083
AT ITER 3650 NEW BEST:: SOT 82745 SOS 27041 HAS SOPS 27041 HAS SOUS 19239 HAS SOUPS 19239 WITH SCORE 19266.041
AT ITER 3654 NEW BEST:: SOT 82732 SOS 27040 HAS SOPS 27040 HAS SOUS 19238 HAS SOUPS 19238 WITH SCORE 19265.04
AT ITER 3667 NEW BEST:: SOT 82714 SOS 27014 HAS SOPS 27014 HAS SOUS 19212 HAS SOUPS 19212 WITH SCORE 19239.014
AT ITER 3671 NEW BEST:: SOT 82728 SOS 27014 HAS SOPS 27014 HAS SOUS 19198 HAS SOUPS 19198 WITH SCORE 19225.014
AT ITER 3742 NEW BEST:: SOT 82710 SOS 26978 HAS SOPS 26978 HAS SOUS 19158 HAS SOUPS 19158 WITH SCORE 19184.978
AT ITER 3746 NEW BEST:: SOT 82664 SOS 27071 HAS SOPS 27071 HAS SOUS 19099 HAS SOUPS 19099 WITH SCORE 19126.071
AT ITER 3758 NEW BEST:: SOT 82673 SOS 26990 HAS SOPS 26990 HAS SOUS 19018 HAS SOUPS 19018 WITH SCORE 19044.99
AT ITER 3767 NEW BEST:: SOT 82671 SOS 26987 HAS SOPS 26987 HAS SOUS 19015 HAS SOUPS 19015 WITH SCORE 19041.987
AT ITER 3777 NEW BEST:: SOT 82575 SOS 26909 HAS SOPS 26909 HAS SOUS 18937 HAS SOUPS 18937 WITH SCORE 18963.909
AT ITER 3779 NEW BEST:: SOT 82575 SOS 26870 HAS SOPS 26870 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18924.87
AT ITER 3780 NEW BEST:: SOT 82554 SOS 26849 HAS SOPS 26849 HAS SOUS 18898 HAS SOUPS 18898 WITH SCORE 18924.849
AT ITER 3794 NEW BEST:: SOT 82646 SOS 26941 HAS SOPS 26941 HAS SOUS 18895 HAS SOUPS 18895 WITH SCORE 18921.941
AT ITER 3811 NEW BEST:: SOT 82640 SOS 26893 HAS SOPS 26893 HAS SOUS 18847 HAS SOUPS 18847 WITH SCORE 18873.893
AT ITER 3835 NEW BEST:: SOT 82639 SOS 26892 HAS SOPS 26892 HAS SOUS 18844 HAS SOUPS 18844 WITH SCORE 18870.892
AT ITER 3836 NEW BEST:: SOT 82637 SOS 26889 HAS SOPS 26889 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18867.889
AT ITER 3841 NEW BEST:: SOT 82593 SOS 26845 HAS SOPS 26845 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18867.845
AT ITER 3842 NEW BEST:: SOT 82593 SOS 26833 HAS SOPS 26833 HAS SOUS 18841 HAS SOUPS 18841 WITH SCORE 18867.833
AT ITER 3852 NEW BEST:: SOT 82593 SOS 26811 HAS SOPS 26811 HAS SOUS 18819 HAS SOUPS 18819 WITH SCORE 18845.811
AT ITER 3860 NEW BEST:: SOT 82594 SOS 26813 HAS SOPS 26813 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18844.813
AT ITER 3872 NEW BEST:: SOT 82588 SOS 26807 HAS SOPS 26807 HAS SOUS 18812 HAS SOUPS 18812 WITH SCORE 18838.807
AT ITER 3877 NEW BEST:: SOT 82588 SOS 26806 HAS SOPS 26806 HAS SOUS 18811 HAS SOUPS 18811 WITH SCORE 18837.806
AT ITER 3889 NEW BEST:: SOT 82580 SOS 26786 HAS SOPS 26786 HAS SOUS 18807 HAS SOUPS 18807 WITH SCORE 18833.786
AT ITER 3907 NEW BEST:: SOT 82570 SOS 26766 HAS SOPS 26766 HAS SOUS 18787 HAS SOUPS 18787 WITH SCORE 18813.766
AT ITER 3915 NEW BEST:: SOT 82544 SOS 26740 HAS SOPS 26740 HAS SOUS 18787 HAS SOUPS 18787 WITH SCORE 18813.74
AT ITER 3973 NEW BEST:: SOT 82517 SOS 26686 HAS SOPS 26686 HAS SOUS 18760 HAS SOUPS 18760 WITH SCORE 18786.686
AT ITER 3981 NEW BEST:: SOT 82525 SOS 26682 HAS SOPS 26682 HAS SOUS 18756 HAS SOUPS 18756 WITH SCORE 18782.682
AT ITER 4043 NEW BEST:: SOT 82513 SOS 26666 HAS SOPS 26666 HAS SOUS 18728 HAS SOUPS 18728 WITH SCORE 18754.666
AT ITER 4050 NEW BEST:: SOT 82512 SOS 26666 HAS SOPS 26666 HAS SOUS 18727 HAS SOUPS 18727 WITH SCORE 18753.666
AT ITER 4061 NEW BEST:: SOT 82512 SOS 26666 HAS SOPS 26666 HAS SOUS 18675 HAS SOUPS 18675 WITH SCORE 18701.666
AT ITER 4083 NEW BEST:: SOT 82513 SOS 26634 HAS SOPS 26634 HAS SOUS 18671 HAS SOUPS 18671 WITH SCORE 18697.634
AT ITER 4102 NEW BEST:: SOT 82493 SOS 26612 HAS SOPS 26612 HAS SOUS 18667 HAS SOUPS 18667 WITH SCORE 18693.612
AT ITER 4121 NEW BEST:: SOT 82463 SOS 26609 HAS SOPS 26609 HAS SOUS 18634 HAS SOUPS 18634 WITH SCORE 18660.609
AT ITER 4148 NEW BEST:: SOT 82439 SOS 26603 HAS SOPS 26603 HAS SOUS 18628 HAS SOUPS 18628 WITH SCORE 18654.603
AT ITER 4164 NEW BEST:: SOT 82364 SOS 26509 HAS SOPS 26509 HAS SOUS 18614 HAS SOUPS 18614 WITH SCORE 18640.509
AT ITER 4200 NEW BEST:: SOT 82361 SOS 26508 HAS SOPS 26508 HAS SOUS 18613 HAS SOUPS 18613 WITH SCORE 18639.508
AT ITER 4210 NEW BEST:: SOT 82360 SOS 26506 HAS SOPS 26506 HAS SOUS 18601 HAS SOUPS 18601 WITH SCORE 18627.506
AT ITER 4222 NEW BEST:: SOT 82360 SOS 26482 HAS SOPS 26482 HAS SOUS 18577 HAS SOUPS 18577 WITH SCORE 18603.482
AT ITER 4236 NEW BEST:: SOT 82360 SOS 26474 HAS SOPS 26474 HAS SOUS 18569 HAS SOUPS 18569 WITH SCORE 18595.474
AT ITER 4243 NEW BEST:: SOT 82341 SOS 26459 HAS SOPS 26459 HAS SOUS 18554 HAS SOUPS 18554 WITH SCORE 18580.459
AT ITER 4248 NEW BEST:: SOT 82341 SOS 26438 HAS SOPS 26438 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18559.438
AT ITER 4273 NEW BEST:: SOT 82317 SOS 26402 HAS SOPS 26402 HAS SOUS 18509 HAS SOUPS 18509 WITH SCORE 18535.402
AT ITER 4365 NEW BEST:: SOT 82348 SOS 26417 HAS SOPS 26417 HAS SOUS 18493 HAS SOUPS 18493 WITH SCORE 18519.417
AT ITER 4382 NEW BEST:: SOT 82340 SOS 26409 HAS SOPS 26409 HAS SOUS 18485 HAS SOUPS 18485 WITH SCORE 18511.409
AT ITER 4393 NEW BEST:: SOT 82340 SOS 26403 HAS SOPS 26403 HAS SOUS 18479 HAS SOUPS 18479 WITH SCORE 18505.403
AT ITER 4397 NEW BEST:: SOT 82338 SOS 26401 HAS SOPS 26401 HAS SOUS 18479 HAS SOUPS 18479 WITH SCORE 18505.401
AT ITER 4407 NEW BEST:: SOT 82324 SOS 26427 HAS SOPS 26427 HAS SOUS 18464 HAS SOUPS 18464 WITH SCORE 18490.427
AT ITER 4417 NEW BEST:: SOT 82308 SOS 26395 HAS SOPS 26395 HAS SOUS 18432 HAS SOUPS 18432 WITH SCORE 18458.395
AT ITER 4431 NEW BEST:: SOT 82303 SOS 26390 HAS SOPS 26390 HAS SOUS 18427 HAS SOUPS 18427 WITH SCORE 18453.39
AT ITER 4466 NEW BEST:: SOT 82270 SOS 26324 HAS SOPS 26324 HAS SOUS 18385 HAS SOUPS 18385 WITH SCORE 18411.324
AT ITER 4500 NEW BEST:: SOT 82336 SOS 26399 HAS SOPS 26399 HAS SOUS 18383 HAS SOUPS 18383 WITH SCORE 18409.399
AT ITER 4522 NEW BEST:: SOT 82331 SOS 26394 HAS SOPS 26394 HAS SOUS 18378 HAS SOUPS 18378 WITH SCORE 18404.394
AT ITER 4527 NEW BEST:: SOT 82343 SOS 26398 HAS SOPS 26398 HAS SOUS 18366 HAS SOUPS 18366 WITH SCORE 18392.398
AT ITER 4560 NEW BEST:: SOT 82317 SOS 26346 HAS SOPS 26346 HAS SOUS 18314 HAS SOUPS 18314 WITH SCORE 18340.346
AT ITER 4592 NEW BEST:: SOT 82321 SOS 26314 HAS SOPS 26314 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18308.314
AT ITER 4630 NEW BEST:: SOT 82353 SOS 26290 HAS SOPS 26290 HAS SOUS 18269 HAS SOUPS 18269 WITH SCORE 18295.29
AT ITER 4634 NEW BEST:: SOT 82347 SOS 26284 HAS SOPS 26284 HAS SOUS 18263 HAS SOUPS 18263 WITH SCORE 18289.284
AT ITER 4638 NEW BEST:: SOT 82347 SOS 26274 HAS SOPS 26274 HAS SOUS 18253 HAS SOUPS 18253 WITH SCORE 18279.274
AT ITER 4639 NEW BEST:: SOT 82342 SOS 26272 HAS SOPS 26272 HAS SOUS 18251 HAS SOUPS 18251 WITH SCORE 18277.272
AT ITER 4640 NEW BEST:: SOT 82341 SOS 26271 HAS SOPS 26271 HAS SOUS 18250 HAS SOUPS 18250 WITH SCORE 18276.271
AT ITER 4690 NEW BEST:: SOT 82341 SOS 26256 HAS SOPS 26256 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18261.256
AT ITER 4696 NEW BEST:: SOT 82334 SOS 26242 HAS SOPS 26242 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18251.242
AT ITER 4701 NEW BEST:: SOT 82334 SOS 26232 HAS SOPS 26232 HAS SOUS 18215 HAS SOUPS 18215 WITH SCORE 18241.232
AT ITER 4712 NEW BEST:: SOT 82324 SOS 26202 HAS SOPS 26202 HAS SOUS 18185 HAS SOUPS 18185 WITH SCORE 18211.202
AT ITER 4749 NEW BEST:: SOT 82324 SOS 26202 HAS SOPS 26202 HAS SOUS 18182 HAS SOUPS 18182 WITH SCORE 18208.202
AT ITER 4767 NEW BEST:: SOT 82315 SOS 26164 HAS SOPS 26164 HAS SOUS 18164 HAS SOUPS 18164 WITH SCORE 18190.164
AT ITER 4785 NEW BEST:: SOT 82317 SOS 26166 HAS SOPS 26166 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18178.166
AT ITER 4788 NEW BEST:: SOT 82260 SOS 26109 HAS SOPS 26109 HAS SOUS 18152 HAS SOUPS 18152 WITH SCORE 18178.109
AT ITER 4794 NEW BEST:: SOT 82261 SOS 26108 HAS SOPS 26108 HAS SOUS 18151 HAS SOUPS 18151 WITH SCORE 18177.108
AT ITER 4802 NEW BEST:: SOT 82213 SOS 26018 HAS SOPS 26018 HAS SOUS 18094 HAS SOUPS 18094 WITH SCORE 18120.018
AT ITER 4804 NEW BEST:: SOT 82199 SOS 25993 HAS SOPS 25993 HAS SOUS 18079 HAS SOUPS 18079 WITH SCORE 18104.993
AT ITER 4822 NEW BEST:: SOT 82199 SOS 25991 HAS SOPS 25991 HAS SOUS 18077 HAS SOUPS 18077 WITH SCORE 18102.991
AT ITER 4847 NEW BEST:: SOT 82199 SOS 25984 HAS SOPS 25984 HAS SOUS 18070 HAS SOUPS 18070 WITH SCORE 18095.984
AT ITER 4907 NEW BEST:: SOT 82269 SOS 26024 HAS SOPS 26024 HAS SOUS 18046 HAS SOUPS 18046 WITH SCORE 18072.024
AT ITER 4916 NEW BEST:: SOT 82277 SOS 26002 HAS SOPS 26002 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18066.002
AT ITER 4938 NEW BEST:: SOT 82252 SOS 25977 HAS SOPS 25977 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18029.977
AT ITER 4990 NEW BEST:: SOT 82284 SOS 25976 HAS SOPS 25976 HAS SOUS 18003 HAS SOUPS 18003 WITH SCORE 18028.976
AT ITER 5010 NEW BEST:: SOT 82262 SOS 25954 HAS SOPS 25954 HAS SOUS 17981 HAS SOUPS 17981 WITH SCORE 18006.954
AT ITER 5036 NEW BEST:: SOT 82232 SOS 25999 HAS SOPS 25999 HAS SOUS 17951 HAS SOUPS 17951 WITH SCORE 17976.999
AT ITER 5050 NEW BEST:: SOT 82240 SOS 25991 HAS SOPS 25991 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17968.991
AT ITER 5068 NEW BEST:: SOT 82240 SOS 25973 HAS SOPS 25973 HAS SOUS 17943 HAS SOUPS 17943 WITH SCORE 17968.973
AT ITER 5087 NEW BEST:: SOT 82224 SOS 25965 HAS SOPS 25965 HAS SOUS 17935 HAS SOUPS 17935 WITH SCORE 17960.965
AT ITER 5091 NEW BEST:: SOT 82218 SOS 25965 HAS SOPS 25965 HAS SOUS 17927 HAS SOUPS 17927 WITH SCORE 17952.965
AT ITER 5138 NEW BEST:: SOT 82217 SOS 25943 HAS SOPS 25943 HAS SOUS 17905 HAS SOUPS 17905 WITH SCORE 17930.943
AT ITER 5155 NEW BEST:: SOT 82208 SOS 25920 HAS SOPS 25920 HAS SOUS 17882 HAS SOUPS 17882 WITH SCORE 17907.92
AT ITER 5178 NEW BEST:: SOT 82167 SOS 25879 HAS SOPS 25879 HAS SOUS 17841 HAS SOUPS 17841 WITH SCORE 17866.879
AT ITER 5194 NEW BEST:: SOT 82167 SOS 25875 HAS SOPS 25875 HAS SOUS 17837 HAS SOUPS 17837 WITH SCORE 17862.875
AT ITER 5233 NEW BEST:: SOT 82197 SOS 25853 HAS SOPS 25853 HAS SOUS 17835 HAS SOUPS 17835 WITH SCORE 17860.853
AT ITER 5251 NEW BEST:: SOT 82168 SOS 25824 HAS SOPS 25824 HAS SOUS 17806 HAS SOUPS 17806 WITH SCORE 17831.824
AT ITER 5265 NEW BEST:: SOT 82205 SOS 25808 HAS SOPS 25808 HAS SOUS 17790 HAS SOUPS 17790 WITH SCORE 17815.808
AT ITER 5267 NEW BEST:: SOT 82208 SOS 25806 HAS SOPS 25806 HAS SOUS 17788 HAS SOUPS 17788 WITH SCORE 17813.806
AT ITER 5269 NEW BEST:: SOT 82211 SOS 25784 HAS SOPS 25784 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17791.784
AT ITER 5284 NEW BEST:: SOT 82194 SOS 25750 HAS SOPS 25750 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17757.75
AT ITER 5324 NEW BEST:: SOT 82109 SOS 25644 HAS SOPS 25644 HAS SOUS 17713 HAS SOUPS 17713 WITH SCORE 17738.644
AT ITER 5369 NEW BEST:: SOT 82106 SOS 25638 HAS SOPS 25638 HAS SOUS 17707 HAS SOUPS 17707 WITH SCORE 17732.638
AT ITER 5373 NEW BEST:: SOT 82106 SOS 25646 HAS SOPS 25646 HAS SOUS 17704 HAS SOUPS 17704 WITH SCORE 17729.646
AT ITER 5375 NEW BEST:: SOT 82175 SOS 25709 HAS SOPS 25709 HAS SOUS 17694 HAS SOUPS 17694 WITH SCORE 17719.709
AT ITER 5378 NEW BEST:: SOT 82124 SOS 25607 HAS SOPS 25607 HAS SOUS 17643 HAS SOUPS 17643 WITH SCORE 17668.607
AT ITER 5407 NEW BEST:: SOT 82124 SOS 25585 HAS SOPS 25585 HAS SOUS 17621 HAS SOUPS 17621 WITH SCORE 17646.585
AT ITER 5436 NEW BEST:: SOT 82069 SOS 25475 HAS SOPS 25475 HAS SOUS 17566 HAS SOUPS 17566 WITH SCORE 17591.475
AT ITER 5438 NEW BEST:: SOT 82032 SOS 25455 HAS SOPS 25455 HAS SOUS 17546 HAS SOUPS 17546 WITH SCORE 17571.455
AT ITER 5445 NEW BEST:: SOT 82030 SOS 25453 HAS SOPS 25453 HAS SOUS 17542 HAS SOUPS 17542 WITH SCORE 17567.453
AT ITER 5458 NEW BEST:: SOT 82016 SOS 25425 HAS SOPS 25425 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17553.425
AT ITER 5491 NEW BEST:: SOT 82013 SOS 25422 HAS SOPS 25422 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17553.422
AT ITER 5508 NEW BEST:: SOT 82006 SOS 25415 HAS SOPS 25415 HAS SOUS 17521 HAS SOUPS 17521 WITH SCORE 17546.415
AT ITER 5546 NEW BEST:: SOT 81972 SOS 25381 HAS SOPS 25381 HAS SOUS 17521 HAS SOUPS 17521 WITH SCORE 17546.381
AT ITER 5561 NEW BEST:: SOT 81965 SOS 25367 HAS SOPS 25367 HAS SOUS 17507 HAS SOUPS 17507 WITH SCORE 17532.367
AT ITER 5609 NEW BEST:: SOT 81953 SOS 25355 HAS SOPS 25355 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17520.355
AT ITER 5613 NEW BEST:: SOT 81953 SOS 25171 HAS SOPS 25171 HAS SOUS 17487 HAS SOUPS 17487 WITH SCORE 17512.171
AT ITER 5617 NEW BEST:: SOT 81984 SOS 25201 HAS SOPS 25201 HAS SOUS 17480 HAS SOUPS 17480 WITH SCORE 17505.201
AT ITER 5675 NEW BEST:: SOT 81907 SOS 25145 HAS SOPS 25145 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17449.145
AT ITER 5679 NEW BEST:: SOT 81903 SOS 25141 HAS SOPS 25141 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17449.141
AT ITER 5712 NEW BEST:: SOT 81903 SOS 25133 HAS SOPS 25133 HAS SOUS 17416 HAS SOUPS 17416 WITH SCORE 17441.133
AT ITER 5812 NEW BEST:: SOT 81910 SOS 25090 HAS SOPS 25090 HAS SOUS 17391 HAS SOUPS 17391 WITH SCORE 17416.09
AT ITER 5818 NEW BEST:: SOT 81964 SOS 25144 HAS SOPS 25144 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17388.144
AT ITER 5823 NEW BEST:: SOT 81904 SOS 25054 HAS SOPS 25054 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17328.054
AT ITER 5825 NEW BEST:: SOT 81885 SOS 25035 HAS SOPS 25035 HAS SOUS 17303 HAS SOUPS 17303 WITH SCORE 17328.035
AT ITER 5861 NEW BEST:: SOT 81907 SOS 25079 HAS SOPS 25079 HAS SOUS 17289 HAS SOUPS 17289 WITH SCORE 17314.079
AT ITER 5864 NEW BEST:: SOT 81907 SOS 25074 HAS SOPS 25074 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17309.074
AT ITER 5869 NEW BEST:: SOT 81895 SOS 25069 HAS SOPS 25069 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17297.069
AT ITER 5871 NEW BEST:: SOT 81869 SOS 25016 HAS SOPS 25016 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17297.016
AT ITER 5877 NEW BEST:: SOT 81754 SOS 25128 HAS SOPS 25128 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17262.128
AT ITER 5882 NEW BEST:: SOT 81747 SOS 25135 HAS SOPS 25135 HAS SOUS 17223 HAS SOUPS 17223 WITH SCORE 17248.135
AT ITER 5893 NEW BEST:: SOT 81728 SOS 25116 HAS SOPS 25116 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17229.116
AT ITER 5926 NEW BEST:: SOT 81721 SOS 25102 HAS SOPS 25102 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17222.102
AT ITER 5931 NEW BEST:: SOT 81721 SOS 25095 HAS SOPS 25095 HAS SOUS 17197 HAS SOUPS 17197 WITH SCORE 17222.095
AT ITER 5960 NEW BEST:: SOT 81642 SOS 25016 HAS SOPS 25016 HAS SOUS 17118 HAS SOUPS 17118 WITH SCORE 17143.016
AT ITER 5968 NEW BEST:: SOT 81642 SOS 24967 HAS SOPS 24967 HAS SOUS 17069 HAS SOUPS 17069 WITH SCORE 17093.967
AT ITER 5997 NEW BEST:: SOT 81627 SOS 24951 HAS SOPS 24951 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17077.951
AT ITER 6085 NEW BEST:: SOT 81613 SOS 24930 HAS SOPS 24930 HAS SOUS 17032 HAS SOUPS 17032 WITH SCORE 17056.93
AT ITER 6121 NEW BEST:: SOT 81607 SOS 24918 HAS SOPS 24918 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17044.918
AT ITER 6134 NEW BEST:: SOT 81602 SOS 24908 HAS SOPS 24908 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17034.908
AT ITER 6144 NEW BEST:: SOT 81598 SOS 24892 HAS SOPS 24892 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17034.892
AT ITER 6218 NEW BEST:: SOT 81583 SOS 24883 HAS SOPS 24883 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17025.883
AT ITER 6231 NEW BEST:: SOT 81534 SOS 24785 HAS SOPS 24785 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17004.785
AT ITER 6252 NEW BEST:: SOT 81511 SOS 24762 HAS SOPS 24762 HAS SOUS 16980 HAS SOUPS 16980 WITH SCORE 17004.762
AT ITER 6254 NEW BEST:: SOT 81500 SOS 24740 HAS SOPS 24740 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16982.74
AT ITER 6283 NEW BEST:: SOT 81500 SOS 24699 HAS SOPS 24699 HAS SOUS 16917 HAS SOUPS 16917 WITH SCORE 16941.699
AT ITER 6294 NEW BEST:: SOT 81489 SOS 24677 HAS SOPS 24677 HAS SOUS 16895 HAS SOUPS 16895 WITH SCORE 16919.677
AT ITER 6328 NEW BEST:: SOT 81484 SOS 24279 HAS SOPS 24279 HAS SOUS 16870 HAS SOUPS 16870 WITH SCORE 16894.279
AT ITER 6465 NEW BEST:: SOT 81474 SOS 24259 HAS SOPS 24259 HAS SOUS 16850 HAS SOUPS 16850 WITH SCORE 16874.259
AT ITER 6480 NEW BEST:: SOT 81463 SOS 24239 HAS SOPS 24239 HAS SOUS 16830 HAS SOUPS 16830 WITH SCORE 16854.239
AT ITER 6481 NEW BEST:: SOT 81441 SOS 24195 HAS SOPS 24195 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16840.195
AT ITER 6514 NEW BEST:: SOT 81397 SOS 24129 HAS SOPS 24129 HAS SOUS 16772 HAS SOUPS 16772 WITH SCORE 16796.129
AT ITER 6530 NEW BEST:: SOT 81390 SOS 24115 HAS SOPS 24115 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16782.115
AT ITER 6544 NEW BEST:: SOT 81390 SOS 24112 HAS SOPS 24112 HAS SOUS 16755 HAS SOUPS 16755 WITH SCORE 16779.112
AT ITER 6569 NEW BEST:: SOT 81390 SOS 24099 HAS SOPS 24099 HAS SOUS 16742 HAS SOUPS 16742 WITH SCORE 16766.099
AT ITER 6628 NEW BEST:: SOT 81390 SOS 24099 HAS SOPS 24099 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16763.099
AT ITER 6635 NEW BEST:: SOT 81390 SOS 24076 HAS SOPS 24076 HAS SOUS 16716 HAS SOUPS 16716 WITH SCORE 16740.076
AT ITER 6650 NEW BEST:: SOT 81390 SOS 24053 HAS SOPS 24053 HAS SOUS 16693 HAS SOUPS 16693 WITH SCORE 16717.053
AT ITER 6671 NEW BEST:: SOT 81382 SOS 24037 HAS SOPS 24037 HAS SOUS 16685 HAS SOUPS 16685 WITH SCORE 16709.037
AT ITER 6698 NEW BEST:: SOT 81372 SOS 24024 HAS SOPS 24024 HAS SOUS 16672 HAS SOUPS 16672 WITH SCORE 16696.024
AT ITER 6738 NEW BEST:: SOT 81328 SOS 24014 HAS SOPS 24014 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16686.014
AT ITER 6784 NEW BEST:: SOT 81312 SOS 23990 HAS SOPS 23990 HAS SOUS 16638 HAS SOUPS 16638 WITH SCORE 16661.99
AT ITER 6839 NEW BEST:: SOT 81312 SOS 23926 HAS SOPS 23926 HAS SOUS 16637 HAS SOUPS 16637 WITH SCORE 16660.926
AT ITER 6849 NEW BEST:: SOT 81312 SOS 23873 HAS SOPS 23873 HAS SOUS 16584 HAS SOUPS 16584 WITH SCORE 16607.873
AT ITER 6874 NEW BEST:: SOT 81301 SOS 23851 HAS SOPS 23851 HAS SOUS 16573 HAS SOUPS 16573 WITH SCORE 16596.851
AT ITER 6883 NEW BEST:: SOT 81285 SOS 23871 HAS SOPS 23871 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16583.871
AT ITER 6885 NEW BEST:: SOT 81277 SOS 23854 HAS SOPS 23854 HAS SOUS 16543 HAS SOUPS 16543 WITH SCORE 16566.854
AT ITER 6890 NEW BEST:: SOT 81274 SOS 23836 HAS SOPS 23836 HAS SOUS 16518 HAS SOUPS 16518 WITH SCORE 16541.836
AT ITER 6926 NEW BEST:: SOT 81272 SOS 23827 HAS SOPS 23827 HAS SOUS 16509 HAS SOUPS 16509 WITH SCORE 16532.827
AT ITER 6944 NEW BEST:: SOT 81270 SOS 23823 HAS SOPS 23823 HAS SOUS 16505 HAS SOUPS 16505 WITH SCORE 16528.823
AT ITER 6975 NEW BEST:: SOT 81282 SOS 23750 HAS SOPS 23750 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16455.75
AT ITER 7047 NEW BEST:: SOT 81282 SOS 23750 HAS SOPS 23750 HAS SOUS 16425 HAS SOUPS 16425 WITH SCORE 16448.75
AT ITER 7081 NEW BEST:: SOT 81282 SOS 23739 HAS SOPS 23739 HAS SOUS 16414 HAS SOUPS 16414 WITH SCORE 16437.739
AT ITER 7145 NEW BEST:: SOT 81269 SOS 23720 HAS SOPS 23720 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16418.72
AT ITER 7150 NEW BEST:: SOT 81228 SOS 23652 HAS SOPS 23652 HAS SOUS 16359 HAS SOUPS 16359 WITH SCORE 16382.652
AT ITER 7157 NEW BEST:: SOT 81227 SOS 23651 HAS SOPS 23651 HAS SOUS 16358 HAS SOUPS 16358 WITH SCORE 16381.651
AT ITER 7180 NEW BEST:: SOT 81204 SOS 23628 HAS SOPS 23628 HAS SOUS 16335 HAS SOUPS 16335 WITH SCORE 16358.628
AT ITER 7188 NEW BEST:: SOT 81215 SOS 23624 HAS SOPS 23624 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16354.624
AT ITER 7189 NEW BEST:: SOT 81208 SOS 23617 HAS SOPS 23617 HAS SOUS 16324 HAS SOUPS 16324 WITH SCORE 16347.617
AT ITER 7204 NEW BEST:: SOT 81200 SOS 23586 HAS SOPS 23586 HAS SOUS 16293 HAS SOUPS 16293 WITH SCORE 16316.586
AT ITER 7278 NEW BEST:: SOT 81193 SOS 23565 HAS SOPS 23565 HAS SOUS 16272 HAS SOUPS 16272 WITH SCORE 16295.565
AT ITER 7283 NEW BEST:: SOT 81193 SOS 23532 HAS SOPS 23532 HAS SOUS 16239 HAS SOUPS 16239 WITH SCORE 16262.532
AT ITER 7299 NEW BEST:: SOT 81171 SOS 23510 HAS SOPS 23510 HAS SOUS 16219 HAS SOUPS 16219 WITH SCORE 16242.51
AT ITER 7329 NEW BEST:: SOT 81164 SOS 23483 HAS SOPS 23483 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16215.483
AT ITER 7404 NEW BEST:: SOT 81158 SOS 23471 HAS SOPS 23471 HAS SOUS 16180 HAS SOUPS 16180 WITH SCORE 16203.471
AT ITER 7462 NEW BEST:: SOT 81231 SOS 23456 HAS SOPS 23456 HAS SOUS 16175 HAS SOUPS 16175 WITH SCORE 16198.456
AT ITER 7485 NEW BEST:: SOT 81231 SOS 23454 HAS SOPS 23454 HAS SOUS 16171 HAS SOUPS 16171 WITH SCORE 16194.454
AT ITER 7506 NEW BEST:: SOT 81199 SOS 23422 HAS SOPS 23422 HAS SOUS 16155 HAS SOUPS 16155 WITH SCORE 16178.422
AT ITER 7527 NEW BEST:: SOT 81213 SOS 23414 HAS SOPS 23414 HAS SOUS 16147 HAS SOUPS 16147 WITH SCORE 16170.414
AT ITER 7546 NEW BEST:: SOT 81206 SOS 23407 HAS SOPS 23407 HAS SOUS 16140 HAS SOUPS 16140 WITH SCORE 16163.407
AT ITER 7577 NEW BEST:: SOT 81200 SOS 23401 HAS SOPS 23401 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16157.401
AT ITER 7593 NEW BEST:: SOT 81161 SOS 23350 HAS SOPS 23350 HAS SOUS 16083 HAS SOUPS 16083 WITH SCORE 16106.35
AT ITER 7598 NEW BEST:: SOT 81157 SOS 23344 HAS SOPS 23344 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16102.344
AT ITER 7637 NEW BEST:: SOT 81157 SOS 23332 HAS SOPS 23332 HAS SOUS 16079 HAS SOUPS 16079 WITH SCORE 16102.332
AT ITER 7669 NEW BEST:: SOT 81155 SOS 23328 HAS SOPS 23328 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16098.328
AT ITER 7687 NEW BEST:: SOT 81151 SOS 23324 HAS SOPS 23324 HAS SOUS 16071 HAS SOUPS 16071 WITH SCORE 16094.324
AT ITER 7760 NEW BEST:: SOT 81149 SOS 23320 HAS SOPS 23320 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16088.32
AT ITER 7784 NEW BEST:: SOT 81154 SOS 23317 HAS SOPS 23317 HAS SOUS 16062 HAS SOUPS 16062 WITH SCORE 16085.317
AT ITER 7787 NEW BEST:: SOT 81111 SOS 23301 HAS SOPS 23301 HAS SOUS 16036 HAS SOUPS 16036 WITH SCORE 16059.301
AT ITER 7816 NEW BEST:: SOT 81099 SOS 23277 HAS SOPS 23277 HAS SOUS 16012 HAS SOUPS 16012 WITH SCORE 16035.277
AT ITER 7827 NEW BEST:: SOT 81095 SOS 23269 HAS SOPS 23269 HAS SOUS 16004 HAS SOUPS 16004 WITH SCORE 16027.269
AT ITER 7892 NEW BEST:: SOT 81090 SOS 23262 HAS SOPS 23262 HAS SOUS 15997 HAS SOUPS 15997 WITH SCORE 16020.262
AT ITER 7902 NEW BEST:: SOT 81064 SOS 23260 HAS SOPS 23260 HAS SOUS 15995 HAS SOUPS 15995 WITH SCORE 16018.26
AT ITER 7946 NEW BEST:: SOT 81064 SOS 23260 HAS SOPS 23260 HAS SOUS 15993 HAS SOUPS 15993 WITH SCORE 16016.26
AT ITER 7979 NEW BEST:: SOT 81061 SOS 23254 HAS SOPS 23254 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16013.254
AT ITER 8043 NEW BEST:: SOT 81050 SOS 23232 HAS SOPS 23232 HAS SOUS 15972 HAS SOUPS 15972 WITH SCORE 15995.232
AT ITER 8064 NEW BEST:: SOT 81047 SOS 23226 HAS SOPS 23226 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15989.226
AT ITER 8073 NEW BEST:: SOT 81069 SOS 23270 HAS SOPS 23270 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15981.27
AT ITER 8087 NEW BEST:: SOT 81067 SOS 23268 HAS SOPS 23268 HAS SOUS 15958 HAS SOUPS 15958 WITH SCORE 15981.268
AT ITER 8094 NEW BEST:: SOT 81046 SOS 23247 HAS SOPS 23247 HAS SOUS 15937 HAS SOUPS 15937 WITH SCORE 15960.247
AT ITER 8104 NEW BEST:: SOT 81034 SOS 23230 HAS SOPS 23230 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15939.23
AT ITER 8107 NEW BEST:: SOT 81035 SOS 23232 HAS SOPS 23232 HAS SOUS 15901 HAS SOUPS 15901 WITH SCORE 15924.232
AT ITER 8191 NEW BEST:: SOT 80975 SOS 23150 HAS SOPS 23150 HAS SOUS 15870 HAS SOUPS 15870 WITH SCORE 15893.15
AT ITER 8305 NEW BEST:: SOT 80967 SOS 23134 HAS SOPS 23134 HAS SOUS 15862 HAS SOUPS 15862 WITH SCORE 15885.134
AT ITER 8319 NEW BEST:: SOT 80948 SOS 23117 HAS SOPS 23117 HAS SOUS 15845 HAS SOUPS 15845 WITH SCORE 15868.117
AT ITER 8359 NEW BEST:: SOT 80942 SOS 23109 HAS SOPS 23109 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15860.109
AT ITER 8386 NEW BEST:: SOT 80907 SOS 23079 HAS SOPS 23079 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15830.079
AT ITER 8442 NEW BEST:: SOT 80894 SOS 23069 HAS SOPS 23069 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15820.069
AT ITER 8446 NEW BEST:: SOT 80892 SOS 23065 HAS SOPS 23065 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15816.065
AT ITER 8474 NEW BEST:: SOT 80891 SOS 23064 HAS SOPS 23064 HAS SOUS 15792 HAS SOUPS 15792 WITH SCORE 15815.064
AT ITER 8490 NEW BEST:: SOT 80880 SOS 23042 HAS SOPS 23042 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15793.042
AT ITER 8510 NEW BEST:: SOT 80875 SOS 23032 HAS SOPS 23032 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15783.032
AT ITER 8514 NEW BEST:: SOT 80875 SOS 22985 HAS SOPS 22985 HAS SOUS 15713 HAS SOUPS 15713 WITH SCORE 15735.985
AT ITER 8619 NEW BEST:: SOT 80886 SOS 22903 HAS SOPS 22903 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15653.903
AT ITER 8662 NEW BEST:: SOT 80886 SOS 22888 HAS SOPS 22888 HAS SOUS 15616 HAS SOUPS 15616 WITH SCORE 15638.888
AT ITER 8665 NEW BEST:: SOT 80870 SOS 22858 HAS SOPS 22858 HAS SOUS 15586 HAS SOUPS 15586 WITH SCORE 15608.858
AT ITER 8679 NEW BEST:: SOT 80863 SOS 22856 HAS SOPS 22856 HAS SOUS 15584 HAS SOUPS 15584 WITH SCORE 15606.856
AT ITER 8694 NEW BEST:: SOT 80862 SOS 22854 HAS SOPS 22854 HAS SOUS 15582 HAS SOUPS 15582 WITH SCORE 15604.854
AT ITER 8695 NEW BEST:: SOT 80880 SOS 22890 HAS SOPS 22890 HAS SOUS 15526 HAS SOUPS 15526 WITH SCORE 15548.89
AT ITER 8724 NEW BEST:: SOT 80864 SOS 22996 HAS SOPS 22996 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15542.996
AT ITER 8727 NEW BEST:: SOT 80869 SOS 22969 HAS SOPS 22969 HAS SOUS 15493 HAS SOUPS 15493 WITH SCORE 15515.969
AT ITER 8730 NEW BEST:: SOT 80866 SOS 22920 HAS SOPS 22920 HAS SOUS 15457 HAS SOUPS 15457 WITH SCORE 15479.92
AT ITER 8737 NEW BEST:: SOT 80856 SOS 22905 HAS SOPS 22905 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15464.905
AT ITER 8883 NEW BEST:: SOT 80856 SOS 22900 HAS SOPS 22900 HAS SOUS 15437 HAS SOUPS 15437 WITH SCORE 15459.9
AT ITER 8897 NEW BEST:: SOT 80855 SOS 22898 HAS SOPS 22898 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15457.898
AT ITER 8898 NEW BEST:: SOT 80845 SOS 22887 HAS SOPS 22887 HAS SOUS 15424 HAS SOUPS 15424 WITH SCORE 15446.887
AT ITER 9041 NEW BEST:: SOT 80845 SOS 22877 HAS SOPS 22877 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15436.877
AT ITER 9048 NEW BEST:: SOT 80845 SOS 22824 HAS SOPS 22824 HAS SOUS 15340 HAS SOUPS 15340 WITH SCORE 15362.824
AT ITER 9098 NEW BEST:: SOT 80831 SOS 22827 HAS SOPS 22827 HAS SOUS 15321 HAS SOUPS 15321 WITH SCORE 15343.827
AT ITER 9114 NEW BEST:: SOT 80809 SOS 22783 HAS SOPS 22783 HAS SOUS 15299 HAS SOUPS 15299 WITH SCORE 15321.783
AT ITER 9200 NEW BEST:: SOT 80815 SOS 22782 HAS SOPS 22782 HAS SOUS 15292 HAS SOUPS 15292 WITH SCORE 15314.782
AT ITER 9251 NEW BEST:: SOT 80798 SOS 22776 HAS SOPS 22776 HAS SOUS 15286 HAS SOUPS 15286 WITH SCORE 15308.776
AT ITER 9270 NEW BEST:: SOT 80792 SOS 22767 HAS SOPS 22767 HAS SOUS 15277 HAS SOUPS 15277 WITH SCORE 15299.767
AT ITER 9311 NEW BEST:: SOT 80789 SOS 22785 HAS SOPS 22785 HAS SOUS 15274 HAS SOUPS 15274 WITH SCORE 15296.785
AT ITER 9348 NEW BEST:: SOT 80773 SOS 22753 HAS SOPS 22753 HAS SOUS 15242 HAS SOUPS 15242 WITH SCORE 15264.753
AT ITER 9426 NEW BEST:: SOT 80773 SOS 22682 HAS SOPS 22682 HAS SOUS 15171 HAS SOUPS 15171 WITH SCORE 15193.682
AT ITER 9452 NEW BEST:: SOT 80775 SOS 22687 HAS SOPS 22687 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15169.687
AT ITER 9486 NEW BEST:: SOT 80777 SOS 22683 HAS SOPS 22683 HAS SOUS 15143 HAS SOUPS 15143 WITH SCORE 15165.683
AT ITER 9525 NEW BEST:: SOT 80769 SOS 22682 HAS SOPS 22682 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15164.682
AT ITER 9571 NEW BEST:: SOT 80768 SOS 22752 HAS SOPS 22752 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15162.752
AT ITER 9579 NEW BEST:: SOT 80752 SOS 22720 HAS SOPS 22720 HAS SOUS 15135 HAS SOUPS 15135 WITH SCORE 15157.72
AT ITER 9620 NEW BEST:: SOT 80746 SOS 22711 HAS SOPS 22711 HAS SOUS 15126 HAS SOUPS 15126 WITH SCORE 15148.711
AT ITER 9665 NEW BEST:: SOT 80737 SOS 22690 HAS SOPS 22690 HAS SOUS 15108 HAS SOUPS 15108 WITH SCORE 15130.69
AT ITER 9693 NEW BEST:: SOT 80736 SOS 22688 HAS SOPS 22688 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15128.688
AT ITER 9747 NEW BEST:: SOT 80715 SOS 22670 HAS SOPS 22670 HAS SOUS 15064 HAS SOUPS 15064 WITH SCORE 15086.67
AT ITER 9765 NEW BEST:: SOT 80705 SOS 22655 HAS SOPS 22655 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15076.655
AT ITER 9775 NEW BEST:: SOT 80689 SOS 22639 HAS SOPS 22639 HAS SOUS 15038 HAS SOUPS 15038 WITH SCORE 15060.639
AT ITER 9805 NEW BEST:: SOT 80744 SOS 22631 HAS SOPS 22631 HAS SOUS 15030 HAS SOUPS 15030 WITH SCORE 15052.631
AT ITER 9810 NEW BEST:: SOT 80744 SOS 22628 HAS SOPS 22628 HAS SOUS 15029 HAS SOUPS 15029 WITH SCORE 15051.628
AT ITER 9813 NEW BEST:: SOT 80736 SOS 22620 HAS SOPS 22620 HAS SOUS 15021 HAS SOUPS 15021 WITH SCORE 15043.62
AT ITER 9814 NEW BEST:: SOT 80746 SOS 22618 HAS SOPS 22618 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15041.618
AT ITER 9880 NEW BEST:: SOT 80745 SOS 22617 HAS SOPS 22617 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15041.617
AT ITER 9904 NEW BEST:: SOT 80733 SOS 22601 HAS SOPS 22601 HAS SOUS 15003 HAS SOUPS 15003 WITH SCORE 15025.601
AT ITER 9939 NEW BEST:: SOT 80732 SOS 22599 HAS SOPS 22599 HAS SOUS 15002 HAS SOUPS 15002 WITH SCORE 15024.599
AT ITER 9940 NEW BEST:: SOT 80703 SOS 22572 HAS SOPS 22572 HAS SOUS 14999 HAS SOUPS 14999 WITH SCORE 15021.572
AT ITER 9949 NEW BEST:: SOT 80664 SOS 22553 HAS SOPS 22553 HAS SOUS 14980 HAS SOUPS 14980 WITH SCORE 15002.553
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393340 kB
MemFree: 10817892 kB
After kill :
MemTotal: 16393340 kB
MemFree: 16122688 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-09"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is BusinessProcesses-PT-09, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r043-tajo-167813697000520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/BusinessProcesses-PT-09.tgz
mv BusinessProcesses-PT-09 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 '
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 ;