fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r131-smll-167819407600424
Last Updated
May 14, 2023

About the Execution of Smart for DiscoveryGPU-PT-14b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
8748.584 3600000.00 3599977.00 222.20 [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 '/data/fkordon/mcc2023-input.r131-smll-167819407600424.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is DiscoveryGPU-PT-14b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r131-smll-167819407600424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 436K
-rw-r--r-- 1 mcc users 5.7K Feb 25 13:38 CTLCardinality.txt
-rw-r--r-- 1 mcc users 56K Feb 25 13:38 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.8K Feb 25 13:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 41K Feb 25 13:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:00 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:00 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 13:38 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 13:38 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 13:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 64K Feb 25 13:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:00 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:00 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 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 1679907237194

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=DiscoveryGPU-PT-14b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 14b
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: 408 places, 434 transitions, 1135 arcs.
AT ITER 0 NEW BEST:: SOT 123878 SOS 59654 HAS SOPS 59654 HAS SOUS 52666 HAS SOUPS 52666 WITH SCORE 52725.654
AT ITER 2 NEW BEST:: SOT 123789 SOS 59391 HAS SOPS 59391 HAS SOUS 52471 HAS SOUPS 52471 WITH SCORE 52530.391
AT ITER 7 NEW BEST:: SOT 123445 SOS 59053 HAS SOPS 59053 HAS SOUS 52132 HAS SOUPS 52132 WITH SCORE 52191.053
AT ITER 8 NEW BEST:: SOT 123392 SOS 58993 HAS SOPS 58993 HAS SOUS 52079 HAS SOUPS 52079 WITH SCORE 52137.993
AT ITER 12 NEW BEST:: SOT 123365 SOS 58939 HAS SOPS 58939 HAS SOUS 52050 HAS SOUPS 52050 WITH SCORE 52108.939
AT ITER 17 NEW BEST:: SOT 118926 SOS 64658 HAS SOPS 64658 HAS SOUS 47933 HAS SOUPS 47933 WITH SCORE 47997.658
AT ITER 18 NEW BEST:: SOT 118925 SOS 64649 HAS SOPS 64649 HAS SOUS 47931 HAS SOUPS 47931 WITH SCORE 47995.649
AT ITER 25 NEW BEST:: SOT 118812 SOS 64489 HAS SOPS 64489 HAS SOUS 47843 HAS SOUPS 47843 WITH SCORE 47907.489
AT ITER 27 NEW BEST:: SOT 118887 SOS 64488 HAS SOPS 64488 HAS SOUS 47841 HAS SOUPS 47841 WITH SCORE 47905.488
AT ITER 30 NEW BEST:: SOT 118866 SOS 64256 HAS SOPS 64256 HAS SOUS 47799 HAS SOUPS 47799 WITH SCORE 47863.256
AT ITER 33 NEW BEST:: SOT 118866 SOS 64246 HAS SOPS 64246 HAS SOUS 47798 HAS SOUPS 47798 WITH SCORE 47862.246
AT ITER 44 NEW BEST:: SOT 118722 SOS 64030 HAS SOPS 64030 HAS SOUS 47654 HAS SOUPS 47654 WITH SCORE 47718.03
AT ITER 51 NEW BEST:: SOT 118717 SOS 64020 HAS SOPS 64020 HAS SOUS 47644 HAS SOUPS 47644 WITH SCORE 47708.02
AT ITER 53 NEW BEST:: SOT 118640 SOS 63866 HAS SOPS 63866 HAS SOUS 47566 HAS SOUPS 47566 WITH SCORE 47629.866
AT ITER 57 NEW BEST:: SOT 118640 SOS 63866 HAS SOPS 63866 HAS SOUS 47557 HAS SOUPS 47557 WITH SCORE 47620.866
AT ITER 69 NEW BEST:: SOT 117508 SOS 62875 HAS SOPS 62875 HAS SOUS 46369 HAS SOUPS 46369 WITH SCORE 46431.875
AT ITER 71 NEW BEST:: SOT 117455 SOS 62796 HAS SOPS 62796 HAS SOUS 46313 HAS SOUPS 46313 WITH SCORE 46375.796
AT ITER 72 NEW BEST:: SOT 117399 SOS 62684 HAS SOPS 62684 HAS SOUS 46313 HAS SOUPS 46313 WITH SCORE 46375.684
AT ITER 76 NEW BEST:: SOT 117277 SOS 62440 HAS SOPS 62440 HAS SOUS 46191 HAS SOUPS 46191 WITH SCORE 46253.44
AT ITER 86 NEW BEST:: SOT 117114 SOS 62178 HAS SOPS 62178 HAS SOUS 46028 HAS SOUPS 46028 WITH SCORE 46090.178
AT ITER 89 NEW BEST:: SOT 117033 SOS 62091 HAS SOPS 62091 HAS SOUS 45982 HAS SOUPS 45982 WITH SCORE 46044.091
AT ITER 93 NEW BEST:: SOT 116903 SOS 62012 HAS SOPS 62012 HAS SOUS 45903 HAS SOUPS 45903 WITH SCORE 45965.012
AT ITER 96 NEW BEST:: SOT 116871 SOS 61949 HAS SOPS 61949 HAS SOUS 45882 HAS SOUPS 45882 WITH SCORE 45943.949
AT ITER 102 NEW BEST:: SOT 116841 SOS 61889 HAS SOPS 61889 HAS SOUS 45852 HAS SOUPS 45852 WITH SCORE 45913.889
AT ITER 103 NEW BEST:: SOT 116542 SOS 61336 HAS SOPS 61336 HAS SOUS 45403 HAS SOUPS 45403 WITH SCORE 45464.336
AT ITER 104 NEW BEST:: SOT 116421 SOS 61120 HAS SOPS 61120 HAS SOUS 45264 HAS SOUPS 45264 WITH SCORE 45325.12
AT ITER 112 NEW BEST:: SOT 116378 SOS 61005 HAS SOPS 61005 HAS SOUS 45132 HAS SOUPS 45132 WITH SCORE 45193.005
AT ITER 116 NEW BEST:: SOT 116339 SOS 60906 HAS SOPS 60906 HAS SOUS 45081 HAS SOUPS 45081 WITH SCORE 45141.906
AT ITER 117 NEW BEST:: SOT 116314 SOS 60831 HAS SOPS 60831 HAS SOUS 45031 HAS SOUPS 45031 WITH SCORE 45091.831
AT ITER 121 NEW BEST:: SOT 116332 SOS 60689 HAS SOPS 60689 HAS SOUS 44978 HAS SOUPS 44978 WITH SCORE 45038.689
AT ITER 126 NEW BEST:: SOT 116304 SOS 60636 HAS SOPS 60636 HAS SOUS 44934 HAS SOUPS 44934 WITH SCORE 44994.636
AT ITER 128 NEW BEST:: SOT 116320 SOS 60591 HAS SOPS 60591 HAS SOUS 44890 HAS SOUPS 44890 WITH SCORE 44950.591
AT ITER 134 NEW BEST:: SOT 116319 SOS 60589 HAS SOPS 60589 HAS SOUS 44888 HAS SOUPS 44888 WITH SCORE 44948.589
AT ITER 140 NEW BEST:: SOT 116218 SOS 60286 HAS SOPS 60286 HAS SOUS 44686 HAS SOUPS 44686 WITH SCORE 44746.286
AT ITER 144 NEW BEST:: SOT 116247 SOS 60210 HAS SOPS 60210 HAS SOUS 44663 HAS SOUPS 44663 WITH SCORE 44723.21
AT ITER 145 NEW BEST:: SOT 116145 SOS 60040 HAS SOPS 60040 HAS SOUS 44530 HAS SOUPS 44530 WITH SCORE 44590.04
AT ITER 149 NEW BEST:: SOT 115997 SOS 59809 HAS SOPS 59809 HAS SOUS 44382 HAS SOUPS 44382 WITH SCORE 44441.809
AT ITER 153 NEW BEST:: SOT 115905 SOS 59640 HAS SOPS 59640 HAS SOUS 44343 HAS SOUPS 44343 WITH SCORE 44402.64
AT ITER 154 NEW BEST:: SOT 115752 SOS 59334 HAS SOPS 59334 HAS SOUS 44191 HAS SOUPS 44191 WITH SCORE 44250.334
AT ITER 156 NEW BEST:: SOT 115751 SOS 59333 HAS SOPS 59333 HAS SOUS 44189 HAS SOUPS 44189 WITH SCORE 44248.333
AT ITER 157 NEW BEST:: SOT 115580 SOS 59011 HAS SOPS 59011 HAS SOUS 43990 HAS SOUPS 43990 WITH SCORE 44049.011
AT ITER 161 NEW BEST:: SOT 115594 SOS 59009 HAS SOPS 59009 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44047.009
AT ITER 177 NEW BEST:: SOT 115594 SOS 58831 HAS SOPS 58831 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44046.831
AT ITER 179 NEW BEST:: SOT 115594 SOS 58820 HAS SOPS 58820 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44046.82
AT ITER 183 NEW BEST:: SOT 115594 SOS 58805 HAS SOPS 58805 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44046.805
AT ITER 184 NEW BEST:: SOT 115541 SOS 58739 HAS SOPS 58739 HAS SOUS 43947 HAS SOUPS 43947 WITH SCORE 44005.739
AT ITER 188 NEW BEST:: SOT 115464 SOS 58500 HAS SOPS 58500 HAS SOUS 43785 HAS SOUPS 43785 WITH SCORE 43843.5
AT ITER 190 NEW BEST:: SOT 115461 SOS 58500 HAS SOPS 58500 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43839.5
AT ITER 193 NEW BEST:: SOT 114267 SOS 58488 HAS SOPS 58488 HAS SOUS 42757 HAS SOUPS 42757 WITH SCORE 42815.488
AT ITER 194 NEW BEST:: SOT 114198 SOS 58350 HAS SOPS 58350 HAS SOUS 42674 HAS SOUPS 42674 WITH SCORE 42732.35
AT ITER 204 NEW BEST:: SOT 114197 SOS 58311 HAS SOPS 58311 HAS SOUS 42672 HAS SOUPS 42672 WITH SCORE 42730.311
AT ITER 208 NEW BEST:: SOT 114188 SOS 58305 HAS SOPS 58305 HAS SOUS 42651 HAS SOUPS 42651 WITH SCORE 42709.305
AT ITER 215 NEW BEST:: SOT 114178 SOS 58285 HAS SOPS 58285 HAS SOUS 42631 HAS SOUPS 42631 WITH SCORE 42689.285
AT ITER 217 NEW BEST:: SOT 114149 SOS 58227 HAS SOPS 58227 HAS SOUS 42573 HAS SOUPS 42573 WITH SCORE 42631.227
AT ITER 218 NEW BEST:: SOT 114140 SOS 58209 HAS SOPS 58209 HAS SOUS 42559 HAS SOUPS 42559 WITH SCORE 42617.209
AT ITER 219 NEW BEST:: SOT 114077 SOS 58083 HAS SOPS 58083 HAS SOUS 42496 HAS SOUPS 42496 WITH SCORE 42554.083
AT ITER 220 NEW BEST:: SOT 113962 SOS 57985 HAS SOPS 57985 HAS SOUS 42259 HAS SOUPS 42259 WITH SCORE 42316.985
AT ITER 228 NEW BEST:: SOT 113905 SOS 57860 HAS SOPS 57860 HAS SOUS 42051 HAS SOUPS 42051 WITH SCORE 42108.86
AT ITER 235 NEW BEST:: SOT 113806 SOS 57453 HAS SOPS 57453 HAS SOUS 41730 HAS SOUPS 41730 WITH SCORE 41787.453
AT ITER 241 NEW BEST:: SOT 113797 SOS 57409 HAS SOPS 57409 HAS SOUS 41520 HAS SOUPS 41520 WITH SCORE 41577.409
AT ITER 253 NEW BEST:: SOT 113687 SOS 57242 HAS SOPS 57242 HAS SOUS 41424 HAS SOUPS 41424 WITH SCORE 41481.242
AT ITER 256 NEW BEST:: SOT 113653 SOS 57208 HAS SOPS 57208 HAS SOUS 41424 HAS SOUPS 41424 WITH SCORE 41481.208
AT ITER 268 NEW BEST:: SOT 113614 SOS 57169 HAS SOPS 57169 HAS SOUS 41299 HAS SOUPS 41299 WITH SCORE 41356.169
AT ITER 273 NEW BEST:: SOT 113614 SOS 57066 HAS SOPS 57066 HAS SOUS 41299 HAS SOUPS 41299 WITH SCORE 41356.066
AT ITER 284 NEW BEST:: SOT 113613 SOS 57064 HAS SOPS 57064 HAS SOUS 41297 HAS SOUPS 41297 WITH SCORE 41354.064
AT ITER 303 NEW BEST:: SOT 113529 SOS 56982 HAS SOPS 56982 HAS SOUS 41215 HAS SOUPS 41215 WITH SCORE 41271.982
AT ITER 304 NEW BEST:: SOT 113465 SOS 56798 HAS SOPS 56798 HAS SOUS 41087 HAS SOUPS 41087 WITH SCORE 41143.798
AT ITER 305 NEW BEST:: SOT 113375 SOS 56428 HAS SOPS 56428 HAS SOUS 40841 HAS SOUPS 40841 WITH SCORE 40897.428
AT ITER 311 NEW BEST:: SOT 113305 SOS 56288 HAS SOPS 56288 HAS SOUS 40771 HAS SOUPS 40771 WITH SCORE 40827.288
AT ITER 316 NEW BEST:: SOT 112978 SOS 55992 HAS SOPS 55992 HAS SOUS 40503 HAS SOUPS 40503 WITH SCORE 40558.992
AT ITER 319 NEW BEST:: SOT 112974 SOS 55986 HAS SOPS 55986 HAS SOUS 40497 HAS SOUPS 40497 WITH SCORE 40552.986
AT ITER 323 NEW BEST:: SOT 112832 SOS 55844 HAS SOPS 55844 HAS SOUS 40385 HAS SOUPS 40385 WITH SCORE 40440.844
AT ITER 324 NEW BEST:: SOT 112856 SOS 55797 HAS SOPS 55797 HAS SOUS 40346 HAS SOUPS 40346 WITH SCORE 40401.797
AT ITER 327 NEW BEST:: SOT 111462 SOS 54403 HAS SOPS 54403 HAS SOUS 38798 HAS SOUPS 38798 WITH SCORE 38852.403
AT ITER 329 NEW BEST:: SOT 111426 SOS 54301 HAS SOPS 54301 HAS SOUS 38760 HAS SOUPS 38760 WITH SCORE 38814.301
AT ITER 330 NEW BEST:: SOT 111467 SOS 54239 HAS SOPS 54239 HAS SOUS 38698 HAS SOUPS 38698 WITH SCORE 38752.239
AT ITER 333 NEW BEST:: SOT 111447 SOS 54200 HAS SOPS 54200 HAS SOUS 38678 HAS SOUPS 38678 WITH SCORE 38732.2
AT ITER 336 NEW BEST:: SOT 111298 SOS 54073 HAS SOPS 54073 HAS SOUS 38551 HAS SOUPS 38551 WITH SCORE 38605.073
AT ITER 339 NEW BEST:: SOT 111165 SOS 53787 HAS SOPS 53787 HAS SOUS 38269 HAS SOUPS 38269 WITH SCORE 38322.787
AT ITER 349 NEW BEST:: SOT 111128 SOS 53713 HAS SOPS 53713 HAS SOUS 38232 HAS SOUPS 38232 WITH SCORE 38285.713
AT ITER 352 NEW BEST:: SOT 111069 SOS 53536 HAS SOPS 53536 HAS SOUS 38114 HAS SOUPS 38114 WITH SCORE 38167.536
AT ITER 359 NEW BEST:: SOT 111065 SOS 53479 HAS SOPS 53479 HAS SOUS 38106 HAS SOUPS 38106 WITH SCORE 38159.479
AT ITER 361 NEW BEST:: SOT 111122 SOS 53351 HAS SOPS 53351 HAS SOUS 38075 HAS SOUPS 38075 WITH SCORE 38128.351
AT ITER 368 NEW BEST:: SOT 111018 SOS 53144 HAS SOPS 53144 HAS SOUS 37916 HAS SOUPS 37916 WITH SCORE 37969.144
AT ITER 369 NEW BEST:: SOT 111014 SOS 53169 HAS SOPS 53169 HAS SOUS 37912 HAS SOUPS 37912 WITH SCORE 37965.169
AT ITER 374 NEW BEST:: SOT 110995 SOS 53102 HAS SOPS 53102 HAS SOUS 37832 HAS SOUPS 37832 WITH SCORE 37885.102
AT ITER 375 NEW BEST:: SOT 110924 SOS 52959 HAS SOPS 52959 HAS SOUS 37762 HAS SOUPS 37762 WITH SCORE 37814.959
AT ITER 376 NEW BEST:: SOT 110862 SOS 52916 HAS SOPS 52916 HAS SOUS 37638 HAS SOUPS 37638 WITH SCORE 37690.916
AT ITER 381 NEW BEST:: SOT 110741 SOS 52875 HAS SOPS 52875 HAS SOUS 37563 HAS SOUPS 37563 WITH SCORE 37615.875
AT ITER 393 NEW BEST:: SOT 110739 SOS 52871 HAS SOPS 52871 HAS SOUS 37559 HAS SOUPS 37559 WITH SCORE 37611.871
AT ITER 394 NEW BEST:: SOT 110730 SOS 52853 HAS SOPS 52853 HAS SOUS 37550 HAS SOUPS 37550 WITH SCORE 37602.853
AT ITER 396 NEW BEST:: SOT 110722 SOS 52684 HAS SOPS 52684 HAS SOUS 37534 HAS SOUPS 37534 WITH SCORE 37586.684
AT ITER 398 NEW BEST:: SOT 110722 SOS 52684 HAS SOPS 52684 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37551.684
AT ITER 399 NEW BEST:: SOT 110719 SOS 52725 HAS SOPS 52725 HAS SOUS 37496 HAS SOUPS 37496 WITH SCORE 37548.725
AT ITER 407 NEW BEST:: SOT 110754 SOS 52710 HAS SOPS 52710 HAS SOUS 37446 HAS SOUPS 37446 WITH SCORE 37498.71
AT ITER 408 NEW BEST:: SOT 110733 SOS 52356 HAS SOPS 52356 HAS SOUS 37404 HAS SOUPS 37404 WITH SCORE 37456.356
AT ITER 410 NEW BEST:: SOT 110690 SOS 52262 HAS SOPS 52262 HAS SOUS 37369 HAS SOUPS 37369 WITH SCORE 37421.262
AT ITER 411 NEW BEST:: SOT 110587 SOS 52205 HAS SOPS 52205 HAS SOUS 37318 HAS SOUPS 37318 WITH SCORE 37370.205
AT ITER 412 NEW BEST:: SOT 110613 SOS 52131 HAS SOPS 52131 HAS SOUS 37260 HAS SOUPS 37260 WITH SCORE 37312.131
AT ITER 413 NEW BEST:: SOT 110606 SOS 52117 HAS SOPS 52117 HAS SOUS 37175 HAS SOUPS 37175 WITH SCORE 37227.117
AT ITER 429 NEW BEST:: SOT 110605 SOS 52116 HAS SOPS 52116 HAS SOUS 37173 HAS SOUPS 37173 WITH SCORE 37225.116
AT ITER 430 NEW BEST:: SOT 110555 SOS 51949 HAS SOPS 51949 HAS SOUS 37054 HAS SOUPS 37054 WITH SCORE 37105.949
AT ITER 431 NEW BEST:: SOT 110496 SOS 51892 HAS SOPS 51892 HAS SOUS 36978 HAS SOUPS 36978 WITH SCORE 37029.892
AT ITER 436 NEW BEST:: SOT 110488 SOS 51884 HAS SOPS 51884 HAS SOUS 36970 HAS SOUPS 36970 WITH SCORE 37021.884
AT ITER 439 NEW BEST:: SOT 110469 SOS 51831 HAS SOPS 51831 HAS SOUS 36949 HAS SOUPS 36949 WITH SCORE 37000.831
AT ITER 444 NEW BEST:: SOT 110426 SOS 51788 HAS SOPS 51788 HAS SOUS 36906 HAS SOUPS 36906 WITH SCORE 36957.788
AT ITER 445 NEW BEST:: SOT 110257 SOS 51506 HAS SOPS 51506 HAS SOUS 36651 HAS SOUPS 36651 WITH SCORE 36702.506
AT ITER 455 NEW BEST:: SOT 110241 SOS 51474 HAS SOPS 51474 HAS SOUS 36634 HAS SOUPS 36634 WITH SCORE 36685.474
AT ITER 469 NEW BEST:: SOT 110214 SOS 51447 HAS SOPS 51447 HAS SOUS 36632 HAS SOUPS 36632 WITH SCORE 36683.447
AT ITER 471 NEW BEST:: SOT 110063 SOS 51238 HAS SOPS 51238 HAS SOUS 36429 HAS SOUPS 36429 WITH SCORE 36480.238
AT ITER 473 NEW BEST:: SOT 110063 SOS 51229 HAS SOPS 51229 HAS SOUS 36429 HAS SOUPS 36429 WITH SCORE 36480.229
AT ITER 477 NEW BEST:: SOT 110052 SOS 51207 HAS SOPS 51207 HAS SOUS 36407 HAS SOUPS 36407 WITH SCORE 36458.207
AT ITER 479 NEW BEST:: SOT 110048 SOS 51203 HAS SOPS 51203 HAS SOUS 36403 HAS SOUPS 36403 WITH SCORE 36454.203
AT ITER 480 NEW BEST:: SOT 110045 SOS 51197 HAS SOPS 51197 HAS SOUS 36397 HAS SOUPS 36397 WITH SCORE 36448.197
AT ITER 489 NEW BEST:: SOT 109949 SOS 51188 HAS SOPS 51188 HAS SOUS 36345 HAS SOUPS 36345 WITH SCORE 36396.188
AT ITER 495 NEW BEST:: SOT 109879 SOS 51048 HAS SOPS 51048 HAS SOUS 36205 HAS SOUPS 36205 WITH SCORE 36256.048
AT ITER 499 NEW BEST:: SOT 109859 SOS 50988 HAS SOPS 50988 HAS SOUS 36165 HAS SOUPS 36165 WITH SCORE 36215.988
AT ITER 501 NEW BEST:: SOT 109851 SOS 50972 HAS SOPS 50972 HAS SOUS 36149 HAS SOUPS 36149 WITH SCORE 36199.972
AT ITER 517 NEW BEST:: SOT 109718 SOS 50825 HAS SOPS 50825 HAS SOUS 35745 HAS SOUPS 35745 WITH SCORE 35795.825
AT ITER 524 NEW BEST:: SOT 109614 SOS 50890 HAS SOPS 50890 HAS SOUS 35687 HAS SOUPS 35687 WITH SCORE 35737.89
AT ITER 527 NEW BEST:: SOT 109614 SOS 50808 HAS SOPS 50808 HAS SOUS 35605 HAS SOUPS 35605 WITH SCORE 35655.808
AT ITER 536 NEW BEST:: SOT 109603 SOS 50786 HAS SOPS 50786 HAS SOUS 35583 HAS SOUPS 35583 WITH SCORE 35633.786
AT ITER 544 NEW BEST:: SOT 109603 SOS 50786 HAS SOPS 50786 HAS SOUS 35578 HAS SOUPS 35578 WITH SCORE 35628.786
AT ITER 545 NEW BEST:: SOT 109595 SOS 50690 HAS SOPS 50690 HAS SOUS 35566 HAS SOUPS 35566 WITH SCORE 35616.69
AT ITER 550 NEW BEST:: SOT 109414 SOS 50365 HAS SOPS 50365 HAS SOUS 35348 HAS SOUPS 35348 WITH SCORE 35398.365
AT ITER 551 NEW BEST:: SOT 109362 SOS 50217 HAS SOPS 50217 HAS SOUS 35244 HAS SOUPS 35244 WITH SCORE 35294.217
AT ITER 553 NEW BEST:: SOT 109280 SOS 49992 HAS SOPS 49992 HAS SOUS 35080 HAS SOUPS 35080 WITH SCORE 35129.992
AT ITER 570 NEW BEST:: SOT 109220 SOS 49872 HAS SOPS 49872 HAS SOUS 34960 HAS SOUPS 34960 WITH SCORE 35009.872
AT ITER 573 NEW BEST:: SOT 109215 SOS 49867 HAS SOPS 49867 HAS SOUS 34955 HAS SOUPS 34955 WITH SCORE 35004.867
AT ITER 578 NEW BEST:: SOT 109214 SOS 49838 HAS SOPS 49838 HAS SOUS 34953 HAS SOUPS 34953 WITH SCORE 35002.838
AT ITER 582 NEW BEST:: SOT 109209 SOS 49796 HAS SOPS 49796 HAS SOUS 34943 HAS SOUPS 34943 WITH SCORE 34992.796
AT ITER 595 NEW BEST:: SOT 109199 SOS 49776 HAS SOPS 49776 HAS SOUS 34923 HAS SOUPS 34923 WITH SCORE 34972.776
AT ITER 596 NEW BEST:: SOT 109150 SOS 49629 HAS SOPS 49629 HAS SOUS 34874 HAS SOUPS 34874 WITH SCORE 34923.629
AT ITER 602 NEW BEST:: SOT 109139 SOS 49634 HAS SOPS 49634 HAS SOUS 34852 HAS SOUPS 34852 WITH SCORE 34901.634
AT ITER 603 NEW BEST:: SOT 109263 SOS 49670 HAS SOPS 49670 HAS SOUS 34841 HAS SOUPS 34841 WITH SCORE 34890.67
AT ITER 604 NEW BEST:: SOT 109281 SOS 49688 HAS SOPS 49688 HAS SOUS 34833 HAS SOUPS 34833 WITH SCORE 34882.688
AT ITER 605 NEW BEST:: SOT 109277 SOS 49673 HAS SOPS 49673 HAS SOUS 34829 HAS SOUPS 34829 WITH SCORE 34878.673
AT ITER 609 NEW BEST:: SOT 109223 SOS 49587 HAS SOPS 49587 HAS SOUS 34754 HAS SOUPS 34754 WITH SCORE 34803.587
AT ITER 610 NEW BEST:: SOT 109201 SOS 49506 HAS SOPS 49506 HAS SOUS 34710 HAS SOUPS 34710 WITH SCORE 34759.506
AT ITER 614 NEW BEST:: SOT 109047 SOS 49349 HAS SOPS 49349 HAS SOUS 34653 HAS SOUPS 34653 WITH SCORE 34702.349
AT ITER 617 NEW BEST:: SOT 108960 SOS 49252 HAS SOPS 49252 HAS SOUS 34562 HAS SOUPS 34562 WITH SCORE 34611.252
AT ITER 623 NEW BEST:: SOT 108954 SOS 49240 HAS SOPS 49240 HAS SOUS 34556 HAS SOUPS 34556 WITH SCORE 34605.24
AT ITER 627 NEW BEST:: SOT 108946 SOS 49224 HAS SOPS 49224 HAS SOUS 34483 HAS SOUPS 34483 WITH SCORE 34532.224
AT ITER 635 NEW BEST:: SOT 108950 SOS 49232 HAS SOPS 49232 HAS SOUS 34432 HAS SOUPS 34432 WITH SCORE 34481.232
AT ITER 636 NEW BEST:: SOT 108937 SOS 49219 HAS SOPS 49219 HAS SOUS 34397 HAS SOUPS 34397 WITH SCORE 34446.219
AT ITER 641 NEW BEST:: SOT 108930 SOS 49218 HAS SOPS 49218 HAS SOUS 34396 HAS SOUPS 34396 WITH SCORE 34445.218
AT ITER 642 NEW BEST:: SOT 108884 SOS 49085 HAS SOPS 49085 HAS SOUS 34304 HAS SOUPS 34304 WITH SCORE 34353.085
AT ITER 655 NEW BEST:: SOT 108705 SOS 48710 HAS SOPS 48710 HAS SOUS 33977 HAS SOUPS 33977 WITH SCORE 34025.71
AT ITER 658 NEW BEST:: SOT 108715 SOS 48704 HAS SOPS 48704 HAS SOUS 33970 HAS SOUPS 33970 WITH SCORE 34018.704
AT ITER 661 NEW BEST:: SOT 108715 SOS 48710 HAS SOPS 48710 HAS SOUS 33964 HAS SOUPS 33964 WITH SCORE 34012.71
AT ITER 671 NEW BEST:: SOT 108777 SOS 48745 HAS SOPS 48745 HAS SOUS 33944 HAS SOUPS 33944 WITH SCORE 33992.745
AT ITER 673 NEW BEST:: SOT 108762 SOS 48700 HAS SOPS 48700 HAS SOUS 33914 HAS SOUPS 33914 WITH SCORE 33962.7
AT ITER 682 NEW BEST:: SOT 108626 SOS 48291 HAS SOPS 48291 HAS SOUS 33642 HAS SOUPS 33642 WITH SCORE 33690.291
AT ITER 683 NEW BEST:: SOT 108592 SOS 48199 HAS SOPS 48199 HAS SOUS 33608 HAS SOUPS 33608 WITH SCORE 33656.199
AT ITER 689 NEW BEST:: SOT 108593 SOS 48201 HAS SOPS 48201 HAS SOUS 33593 HAS SOUPS 33593 WITH SCORE 33641.201
AT ITER 696 NEW BEST:: SOT 108332 SOS 47679 HAS SOPS 47679 HAS SOUS 33213 HAS SOUPS 33213 WITH SCORE 33260.679
AT ITER 701 NEW BEST:: SOT 108345 SOS 47760 HAS SOPS 47760 HAS SOUS 33205 HAS SOUPS 33205 WITH SCORE 33252.76
AT ITER 726 NEW BEST:: SOT 108258 SOS 47593 HAS SOPS 47593 HAS SOUS 33042 HAS SOUPS 33042 WITH SCORE 33089.593
AT ITER 730 NEW BEST:: SOT 108259 SOS 47574 HAS SOPS 47574 HAS SOUS 33022 HAS SOUPS 33022 WITH SCORE 33069.574
AT ITER 732 NEW BEST:: SOT 107859 SOS 50529 HAS SOPS 50529 HAS SOUS 33009 HAS SOUPS 33009 WITH SCORE 33059.529
AT ITER 758 NEW BEST:: SOT 107731 SOS 50273 HAS SOPS 50273 HAS SOUS 32951 HAS SOUPS 32951 WITH SCORE 33001.273
AT ITER 765 NEW BEST:: SOT 107739 SOS 50258 HAS SOPS 50258 HAS SOUS 32938 HAS SOUPS 32938 WITH SCORE 32988.258
AT ITER 775 NEW BEST:: SOT 107739 SOS 50258 HAS SOPS 50258 HAS SOUS 32904 HAS SOUPS 32904 WITH SCORE 32954.258
AT ITER 776 NEW BEST:: SOT 107738 SOS 50256 HAS SOPS 50256 HAS SOUS 32875 HAS SOUPS 32875 WITH SCORE 32925.256
AT ITER 777 NEW BEST:: SOT 107738 SOS 50220 HAS SOPS 50220 HAS SOUS 32875 HAS SOUPS 32875 WITH SCORE 32925.22
AT ITER 778 NEW BEST:: SOT 107684 SOS 50252 HAS SOPS 50252 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32903.252
AT ITER 783 NEW BEST:: SOT 107684 SOS 50252 HAS SOPS 50252 HAS SOUS 32810 HAS SOUPS 32810 WITH SCORE 32860.252
AT ITER 786 NEW BEST:: SOT 107684 SOS 50239 HAS SOPS 50239 HAS SOUS 32797 HAS SOUPS 32797 WITH SCORE 32847.239
AT ITER 789 NEW BEST:: SOT 107659 SOS 50189 HAS SOPS 50189 HAS SOUS 32772 HAS SOUPS 32772 WITH SCORE 32822.189
AT ITER 820 NEW BEST:: SOT 107547 SOS 50002 HAS SOPS 50002 HAS SOUS 32548 HAS SOUPS 32548 WITH SCORE 32598.002
AT ITER 827 NEW BEST:: SOT 107520 SOS 49948 HAS SOPS 49948 HAS SOUS 32494 HAS SOUPS 32494 WITH SCORE 32543.948
AT ITER 828 NEW BEST:: SOT 107487 SOS 49912 HAS SOPS 49912 HAS SOUS 32431 HAS SOUPS 32431 WITH SCORE 32480.912
AT ITER 834 NEW BEST:: SOT 107458 SOS 49878 HAS SOPS 49878 HAS SOUS 32373 HAS SOUPS 32373 WITH SCORE 32422.878
AT ITER 835 NEW BEST:: SOT 107411 SOS 49688 HAS SOPS 49688 HAS SOUS 32271 HAS SOUPS 32271 WITH SCORE 32320.688
AT ITER 837 NEW BEST:: SOT 107350 SOS 49566 HAS SOPS 49566 HAS SOUS 32149 HAS SOUPS 32149 WITH SCORE 32198.566
AT ITER 838 NEW BEST:: SOT 107339 SOS 49550 HAS SOPS 49550 HAS SOUS 32133 HAS SOUPS 32133 WITH SCORE 32182.55
AT ITER 841 NEW BEST:: SOT 107305 SOS 50116 HAS SOPS 50116 HAS SOUS 32115 HAS SOUPS 32115 WITH SCORE 32165.116
AT ITER 846 NEW BEST:: SOT 107340 SOS 50074 HAS SOPS 50074 HAS SOUS 32032 HAS SOUPS 32032 WITH SCORE 32082.074
AT ITER 847 NEW BEST:: SOT 107198 SOS 49867 HAS SOPS 49867 HAS SOUS 31902 HAS SOUPS 31902 WITH SCORE 31951.867
AT ITER 854 NEW BEST:: SOT 107164 SOS 49799 HAS SOPS 49799 HAS SOUS 31824 HAS SOUPS 31824 WITH SCORE 31873.799
AT ITER 864 NEW BEST:: SOT 106923 SOS 49424 HAS SOPS 49424 HAS SOUS 31435 HAS SOUPS 31435 WITH SCORE 31484.424
AT ITER 865 NEW BEST:: SOT 106923 SOS 49420 HAS SOPS 49420 HAS SOUS 31435 HAS SOUPS 31435 WITH SCORE 31484.42
AT ITER 876 NEW BEST:: SOT 106973 SOS 49445 HAS SOPS 49445 HAS SOUS 31385 HAS SOUPS 31385 WITH SCORE 31434.445
AT ITER 879 NEW BEST:: SOT 106945 SOS 49447 HAS SOPS 49447 HAS SOUS 31359 HAS SOUPS 31359 WITH SCORE 31408.447
AT ITER 900 NEW BEST:: SOT 106901 SOS 49359 HAS SOPS 49359 HAS SOUS 31267 HAS SOUPS 31267 WITH SCORE 31316.359
AT ITER 901 NEW BEST:: SOT 106695 SOS 48947 HAS SOPS 48947 HAS SOUS 30968 HAS SOUPS 30968 WITH SCORE 31016.947
AT ITER 912 NEW BEST:: SOT 106637 SOS 48904 HAS SOPS 48904 HAS SOUS 30917 HAS SOUPS 30917 WITH SCORE 30965.904
AT ITER 917 NEW BEST:: SOT 106598 SOS 48826 HAS SOPS 48826 HAS SOUS 30839 HAS SOUPS 30839 WITH SCORE 30887.826
AT ITER 920 NEW BEST:: SOT 106598 SOS 48814 HAS SOPS 48814 HAS SOUS 30839 HAS SOUPS 30839 WITH SCORE 30887.814
AT ITER 940 NEW BEST:: SOT 106596 SOS 48822 HAS SOPS 48822 HAS SOUS 30837 HAS SOUPS 30837 WITH SCORE 30885.822
AT ITER 948 NEW BEST:: SOT 106593 SOS 48816 HAS SOPS 48816 HAS SOUS 30834 HAS SOUPS 30834 WITH SCORE 30882.816
AT ITER 950 NEW BEST:: SOT 106563 SOS 48818 HAS SOPS 48818 HAS SOUS 30806 HAS SOUPS 30806 WITH SCORE 30854.818
AT ITER 961 NEW BEST:: SOT 106563 SOS 48785 HAS SOPS 48785 HAS SOUS 30773 HAS SOUPS 30773 WITH SCORE 30821.785
AT ITER 963 NEW BEST:: SOT 106548 SOS 48750 HAS SOPS 48750 HAS SOUS 30758 HAS SOUPS 30758 WITH SCORE 30806.75
AT ITER 967 NEW BEST:: SOT 106543 SOS 48744 HAS SOPS 48744 HAS SOUS 30753 HAS SOUPS 30753 WITH SCORE 30801.744
AT ITER 970 NEW BEST:: SOT 106542 SOS 48731 HAS SOPS 48731 HAS SOUS 30751 HAS SOUPS 30751 WITH SCORE 30799.731
AT ITER 972 NEW BEST:: SOT 106473 SOS 48594 HAS SOPS 48594 HAS SOUS 30702 HAS SOUPS 30702 WITH SCORE 30750.594
AT ITER 973 NEW BEST:: SOT 106422 SOS 48451 HAS SOPS 48451 HAS SOUS 30559 HAS SOUPS 30559 WITH SCORE 30607.451
AT ITER 978 NEW BEST:: SOT 106406 SOS 48389 HAS SOPS 48389 HAS SOUS 30556 HAS SOUPS 30556 WITH SCORE 30604.389
AT ITER 981 NEW BEST:: SOT 106447 SOS 48442 HAS SOPS 48442 HAS SOUS 30550 HAS SOUPS 30550 WITH SCORE 30598.442
AT ITER 993 NEW BEST:: SOT 106419 SOS 48386 HAS SOPS 48386 HAS SOUS 30510 HAS SOUPS 30510 WITH SCORE 30558.386
AT ITER 994 NEW BEST:: SOT 106417 SOS 48360 HAS SOPS 48360 HAS SOUS 30473 HAS SOUPS 30473 WITH SCORE 30521.36
AT ITER 997 NEW BEST:: SOT 106262 SOS 52816 HAS SOPS 52816 HAS SOUS 30410 HAS SOUPS 30410 WITH SCORE 30462.816
AT ITER 1007 NEW BEST:: SOT 106242 SOS 52786 HAS SOPS 52786 HAS SOUS 30380 HAS SOUPS 30380 WITH SCORE 30432.786
AT ITER 1008 NEW BEST:: SOT 106221 SOS 52744 HAS SOPS 52744 HAS SOUS 30338 HAS SOUPS 30338 WITH SCORE 30390.744
AT ITER 1010 NEW BEST:: SOT 106194 SOS 52708 HAS SOPS 52708 HAS SOUS 30302 HAS SOUPS 30302 WITH SCORE 30354.708
AT ITER 1024 NEW BEST:: SOT 106194 SOS 52491 HAS SOPS 52491 HAS SOUS 30301 HAS SOUPS 30301 WITH SCORE 30353.491
AT ITER 1035 NEW BEST:: SOT 106194 SOS 52491 HAS SOPS 52491 HAS SOUS 30270 HAS SOUPS 30270 WITH SCORE 30322.491
AT ITER 1036 NEW BEST:: SOT 106269 SOS 52353 HAS SOPS 52353 HAS SOUS 30196 HAS SOUPS 30196 WITH SCORE 30248.353
AT ITER 1040 NEW BEST:: SOT 106285 SOS 52385 HAS SOPS 52385 HAS SOUS 30194 HAS SOUPS 30194 WITH SCORE 30246.385
AT ITER 1041 NEW BEST:: SOT 106285 SOS 52358 HAS SOPS 52358 HAS SOUS 30194 HAS SOUPS 30194 WITH SCORE 30246.358
AT ITER 1048 NEW BEST:: SOT 106097 SOS 52170 HAS SOPS 52170 HAS SOUS 29987 HAS SOUPS 29987 WITH SCORE 30039.17
AT ITER 1051 NEW BEST:: SOT 105956 SOS 51824 HAS SOPS 51824 HAS SOUS 29641 HAS SOUPS 29641 WITH SCORE 29692.824
AT ITER 1053 NEW BEST:: SOT 105943 SOS 51798 HAS SOPS 51798 HAS SOUS 29615 HAS SOUPS 29615 WITH SCORE 29666.798
AT ITER 1058 NEW BEST:: SOT 105920 SOS 51775 HAS SOPS 51775 HAS SOUS 29569 HAS SOUPS 29569 WITH SCORE 29620.775
AT ITER 1069 NEW BEST:: SOT 105946 SOS 51803 HAS SOPS 51803 HAS SOUS 29538 HAS SOUPS 29538 WITH SCORE 29589.803
AT ITER 1072 NEW BEST:: SOT 105946 SOS 51803 HAS SOPS 51803 HAS SOUS 29537 HAS SOUPS 29537 WITH SCORE 29588.803
AT ITER 1078 NEW BEST:: SOT 105889 SOS 51750 HAS SOPS 51750 HAS SOUS 29468 HAS SOUPS 29468 WITH SCORE 29519.75
AT ITER 1080 NEW BEST:: SOT 105889 SOS 51748 HAS SOPS 51748 HAS SOUS 29468 HAS SOUPS 29468 WITH SCORE 29519.748
AT ITER 1091 NEW BEST:: SOT 105712 SOS 51427 HAS SOPS 51427 HAS SOUS 29458 HAS SOUPS 29458 WITH SCORE 29509.427
AT ITER 1098 NEW BEST:: SOT 105635 SOS 51216 HAS SOPS 51216 HAS SOUS 29304 HAS SOUPS 29304 WITH SCORE 29355.216
AT ITER 1102 NEW BEST:: SOT 105635 SOS 51195 HAS SOPS 51195 HAS SOUS 29304 HAS SOUPS 29304 WITH SCORE 29355.195
AT ITER 1116 NEW BEST:: SOT 105633 SOS 51191 HAS SOPS 51191 HAS SOUS 29300 HAS SOUPS 29300 WITH SCORE 29351.191
AT ITER 1136 NEW BEST:: SOT 105443 SOS 50906 HAS SOPS 50906 HAS SOUS 29015 HAS SOUPS 29015 WITH SCORE 29065.906
AT ITER 1144 NEW BEST:: SOT 105435 SOS 50890 HAS SOPS 50890 HAS SOUS 28999 HAS SOUPS 28999 WITH SCORE 29049.89
AT ITER 1157 NEW BEST:: SOT 105434 SOS 50859 HAS SOPS 50859 HAS SOUS 28997 HAS SOUPS 28997 WITH SCORE 29047.859
AT ITER 1160 NEW BEST:: SOT 105484 SOS 50959 HAS SOPS 50959 HAS SOUS 28931 HAS SOUPS 28931 WITH SCORE 28981.959
AT ITER 1163 NEW BEST:: SOT 105421 SOS 50833 HAS SOPS 50833 HAS SOUS 28907 HAS SOUPS 28907 WITH SCORE 28957.833
AT ITER 1167 NEW BEST:: SOT 105417 SOS 50825 HAS SOPS 50825 HAS SOUS 28902 HAS SOUPS 28902 WITH SCORE 28952.825
AT ITER 1173 NEW BEST:: SOT 105405 SOS 50813 HAS SOPS 50813 HAS SOUS 28862 HAS SOUPS 28862 WITH SCORE 28912.813
AT ITER 1174 NEW BEST:: SOT 105395 SOS 50793 HAS SOPS 50793 HAS SOUS 28842 HAS SOUPS 28842 WITH SCORE 28892.793
AT ITER 1186 NEW BEST:: SOT 105376 SOS 50720 HAS SOPS 50720 HAS SOUS 28804 HAS SOUPS 28804 WITH SCORE 28854.72
AT ITER 1194 NEW BEST:: SOT 105263 SOS 50711 HAS SOPS 50711 HAS SOUS 28795 HAS SOUPS 28795 WITH SCORE 28845.711
AT ITER 1205 NEW BEST:: SOT 105263 SOS 50711 HAS SOPS 50711 HAS SOUS 28750 HAS SOUPS 28750 WITH SCORE 28800.711
AT ITER 1206 NEW BEST:: SOT 105204 SOS 50660 HAS SOPS 50660 HAS SOUS 28659 HAS SOUPS 28659 WITH SCORE 28709.66
AT ITER 1216 NEW BEST:: SOT 105204 SOS 50605 HAS SOPS 50605 HAS SOUS 28604 HAS SOUPS 28604 WITH SCORE 28654.605
AT ITER 1240 NEW BEST:: SOT 105196 SOS 50597 HAS SOPS 50597 HAS SOUS 28588 HAS SOUPS 28588 WITH SCORE 28638.597
AT ITER 1244 NEW BEST:: SOT 105159 SOS 50566 HAS SOPS 50566 HAS SOUS 28560 HAS SOUPS 28560 WITH SCORE 28610.566
AT ITER 1246 NEW BEST:: SOT 104867 SOS 50088 HAS SOPS 50088 HAS SOUS 28343 HAS SOUPS 28343 WITH SCORE 28393.088
AT ITER 1249 NEW BEST:: SOT 104891 SOS 50101 HAS SOPS 50101 HAS SOUS 28321 HAS SOUPS 28321 WITH SCORE 28371.101
AT ITER 1274 NEW BEST:: SOT 104855 SOS 50061 HAS SOPS 50061 HAS SOUS 28253 HAS SOUPS 28253 WITH SCORE 28303.061
AT ITER 1293 NEW BEST:: SOT 104820 SOS 49991 HAS SOPS 49991 HAS SOUS 28202 HAS SOUPS 28202 WITH SCORE 28251.991
AT ITER 1305 NEW BEST:: SOT 104778 SOS 49906 HAS SOPS 49906 HAS SOUS 28140 HAS SOUPS 28140 WITH SCORE 28189.906
AT ITER 1308 NEW BEST:: SOT 104772 SOS 49937 HAS SOPS 49937 HAS SOUS 28134 HAS SOUPS 28134 WITH SCORE 28183.937
AT ITER 1313 NEW BEST:: SOT 104532 SOS 49735 HAS SOPS 49735 HAS SOUS 27932 HAS SOUPS 27932 WITH SCORE 27981.735
AT ITER 1319 NEW BEST:: SOT 104512 SOS 49715 HAS SOPS 49715 HAS SOUS 27892 HAS SOUPS 27892 WITH SCORE 27941.715
AT ITER 1333 NEW BEST:: SOT 104495 SOS 49723 HAS SOPS 49723 HAS SOUS 27874 HAS SOUPS 27874 WITH SCORE 27923.723
AT ITER 1355 NEW BEST:: SOT 104481 SOS 49616 HAS SOPS 49616 HAS SOUS 27832 HAS SOUPS 27832 WITH SCORE 27881.616
AT ITER 1360 NEW BEST:: SOT 104446 SOS 49689 HAS SOPS 49689 HAS SOUS 27762 HAS SOUPS 27762 WITH SCORE 27811.689
AT ITER 1361 NEW BEST:: SOT 104410 SOS 49650 HAS SOPS 49650 HAS SOUS 27690 HAS SOUPS 27690 WITH SCORE 27739.65
AT ITER 1367 NEW BEST:: SOT 104401 SOS 49639 HAS SOPS 49639 HAS SOUS 27679 HAS SOUPS 27679 WITH SCORE 27728.639
AT ITER 1376 NEW BEST:: SOT 104338 SOS 49513 HAS SOPS 49513 HAS SOUS 27616 HAS SOUPS 27616 WITH SCORE 27665.513
AT ITER 1382 NEW BEST:: SOT 104315 SOS 49488 HAS SOPS 49488 HAS SOUS 27591 HAS SOUPS 27591 WITH SCORE 27640.488
AT ITER 1384 NEW BEST:: SOT 104320 SOS 49493 HAS SOPS 49493 HAS SOUS 27590 HAS SOUPS 27590 WITH SCORE 27639.493
AT ITER 1393 NEW BEST:: SOT 104304 SOS 49461 HAS SOPS 49461 HAS SOUS 27558 HAS SOUPS 27558 WITH SCORE 27607.461
AT ITER 1408 NEW BEST:: SOT 104313 SOS 49470 HAS SOPS 49470 HAS SOUS 27506 HAS SOUPS 27506 WITH SCORE 27555.47
AT ITER 1433 NEW BEST:: SOT 104141 SOS 49616 HAS SOPS 49616 HAS SOUS 27490 HAS SOUPS 27490 WITH SCORE 27539.616
AT ITER 1441 NEW BEST:: SOT 104117 SOS 49592 HAS SOPS 49592 HAS SOUS 27478 HAS SOUPS 27478 WITH SCORE 27527.592
AT ITER 1442 NEW BEST:: SOT 104111 SOS 49583 HAS SOPS 49583 HAS SOUS 27472 HAS SOUPS 27472 WITH SCORE 27521.583
AT ITER 1445 NEW BEST:: SOT 104092 SOS 49565 HAS SOPS 49565 HAS SOUS 27454 HAS SOUPS 27454 WITH SCORE 27503.565
AT ITER 1484 NEW BEST:: SOT 104061 SOS 49445 HAS SOPS 49445 HAS SOUS 27375 HAS SOUPS 27375 WITH SCORE 27424.445
AT ITER 1489 NEW BEST:: SOT 103944 SOS 49289 HAS SOPS 49289 HAS SOUS 27219 HAS SOUPS 27219 WITH SCORE 27268.289
AT ITER 1507 NEW BEST:: SOT 103910 SOS 49221 HAS SOPS 49221 HAS SOUS 27151 HAS SOUPS 27151 WITH SCORE 27200.221
AT ITER 1508 NEW BEST:: SOT 103860 SOS 49174 HAS SOPS 49174 HAS SOUS 27104 HAS SOUPS 27104 WITH SCORE 27153.174
AT ITER 1514 NEW BEST:: SOT 103839 SOS 49092 HAS SOPS 49092 HAS SOUS 27061 HAS SOUPS 27061 WITH SCORE 27110.092
AT ITER 1524 NEW BEST:: SOT 103774 SOS 49084 HAS SOPS 49084 HAS SOUS 27039 HAS SOUPS 27039 WITH SCORE 27088.084
AT ITER 1534 NEW BEST:: SOT 103736 SOS 49073 HAS SOPS 49073 HAS SOUS 27001 HAS SOUPS 27001 WITH SCORE 27050.073
AT ITER 1552 NEW BEST:: SOT 103704 SOS 49002 HAS SOPS 49002 HAS SOUS 26976 HAS SOUPS 26976 WITH SCORE 27025.002
AT ITER 1560 NEW BEST:: SOT 103635 SOS 49009 HAS SOPS 49009 HAS SOUS 26922 HAS SOUPS 26922 WITH SCORE 26971.009
AT ITER 1562 NEW BEST:: SOT 103604 SOS 49024 HAS SOPS 49024 HAS SOUS 26891 HAS SOUPS 26891 WITH SCORE 26940.024
AT ITER 1609 NEW BEST:: SOT 103575 SOS 49001 HAS SOPS 49001 HAS SOUS 26857 HAS SOUPS 26857 WITH SCORE 26906.001
AT ITER 1616 NEW BEST:: SOT 103550 SOS 48905 HAS SOPS 48905 HAS SOUS 26807 HAS SOUPS 26807 WITH SCORE 26855.905
AT ITER 1625 NEW BEST:: SOT 103325 SOS 48463 HAS SOPS 48463 HAS SOUS 26613 HAS SOUPS 26613 WITH SCORE 26661.463
AT ITER 1639 NEW BEST:: SOT 103309 SOS 48446 HAS SOPS 48446 HAS SOUS 26582 HAS SOUPS 26582 WITH SCORE 26630.446
AT ITER 1649 NEW BEST:: SOT 103265 SOS 48350 HAS SOPS 48350 HAS SOUS 26527 HAS SOUPS 26527 WITH SCORE 26575.35
AT ITER 1657 NEW BEST:: SOT 103254 SOS 48359 HAS SOPS 48359 HAS SOUS 26519 HAS SOUPS 26519 WITH SCORE 26567.359
AT ITER 1677 NEW BEST:: SOT 103217 SOS 48292 HAS SOPS 48292 HAS SOUS 26481 HAS SOUPS 26481 WITH SCORE 26529.292
AT ITER 1704 NEW BEST:: SOT 103249 SOS 48276 HAS SOPS 48276 HAS SOUS 26469 HAS SOUPS 26469 WITH SCORE 26517.276
AT ITER 1721 NEW BEST:: SOT 103249 SOS 48218 HAS SOPS 48218 HAS SOUS 26469 HAS SOUPS 26469 WITH SCORE 26517.218
AT ITER 1735 NEW BEST:: SOT 103171 SOS 48062 HAS SOPS 48062 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26439.062
AT ITER 1780 NEW BEST:: SOT 103171 SOS 48051 HAS SOPS 48051 HAS SOUS 26391 HAS SOUPS 26391 WITH SCORE 26439.051
AT ITER 1792 NEW BEST:: SOT 103148 SOS 48005 HAS SOPS 48005 HAS SOUS 26323 HAS SOUPS 26323 WITH SCORE 26371.005
AT ITER 1803 NEW BEST:: SOT 103125 SOS 47980 HAS SOPS 47980 HAS SOUS 26277 HAS SOUPS 26277 WITH SCORE 26324.98
AT ITER 1827 NEW BEST:: SOT 103109 SOS 47911 HAS SOPS 47911 HAS SOUS 26229 HAS SOUPS 26229 WITH SCORE 26276.911
AT ITER 1839 NEW BEST:: SOT 103057 SOS 47859 HAS SOPS 47859 HAS SOUS 26190 HAS SOUPS 26190 WITH SCORE 26237.859
AT ITER 1862 NEW BEST:: SOT 103022 SOS 47789 HAS SOPS 47789 HAS SOUS 26142 HAS SOUPS 26142 WITH SCORE 26189.789
AT ITER 1874 NEW BEST:: SOT 103021 SOS 47787 HAS SOPS 47787 HAS SOUS 26140 HAS SOUPS 26140 WITH SCORE 26187.787
AT ITER 1875 NEW BEST:: SOT 103017 SOS 47779 HAS SOPS 47779 HAS SOUS 26136 HAS SOUPS 26136 WITH SCORE 26183.779
AT ITER 1887 NEW BEST:: SOT 102968 SOS 47681 HAS SOPS 47681 HAS SOUS 26040 HAS SOUPS 26040 WITH SCORE 26087.681
AT ITER 1892 NEW BEST:: SOT 102970 SOS 47638 HAS SOPS 47638 HAS SOUS 25997 HAS SOUPS 25997 WITH SCORE 26044.638
AT ITER 1893 NEW BEST:: SOT 102946 SOS 47590 HAS SOPS 47590 HAS SOUS 25949 HAS SOUPS 25949 WITH SCORE 25996.59
AT ITER 1896 NEW BEST:: SOT 102943 SOS 47631 HAS SOPS 47631 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25993.631
AT ITER 1898 NEW BEST:: SOT 102931 SOS 47607 HAS SOPS 47607 HAS SOUS 25936 HAS SOUPS 25936 WITH SCORE 25983.607
AT ITER 1958 NEW BEST:: SOT 102891 SOS 47573 HAS SOPS 47573 HAS SOUS 25896 HAS SOUPS 25896 WITH SCORE 25943.573
AT ITER 1971 NEW BEST:: SOT 102891 SOS 47536 HAS SOPS 47536 HAS SOUS 25896 HAS SOUPS 25896 WITH SCORE 25943.536
AT ITER 1977 NEW BEST:: SOT 102843 SOS 47426 HAS SOPS 47426 HAS SOUS 25753 HAS SOUPS 25753 WITH SCORE 25800.426
AT ITER 1979 NEW BEST:: SOT 102823 SOS 47386 HAS SOPS 47386 HAS SOUS 25713 HAS SOUPS 25713 WITH SCORE 25760.386
AT ITER 1993 NEW BEST:: SOT 102813 SOS 47356 HAS SOPS 47356 HAS SOUS 25703 HAS SOUPS 25703 WITH SCORE 25750.356
AT ITER 2000 NEW BEST:: SOT 102689 SOS 47206 HAS SOPS 47206 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25600.206
AT ITER 2004 NEW BEST:: SOT 102689 SOS 47116 HAS SOPS 47116 HAS SOUS 25553 HAS SOUPS 25553 WITH SCORE 25600.116
AT ITER 2007 NEW BEST:: SOT 102669 SOS 47060 HAS SOPS 47060 HAS SOUS 25526 HAS SOUPS 25526 WITH SCORE 25573.06
AT ITER 2026 NEW BEST:: SOT 102642 SOS 47027 HAS SOPS 47027 HAS SOUS 25472 HAS SOUPS 25472 WITH SCORE 25519.027
AT ITER 2062 NEW BEST:: SOT 102643 SOS 47018 HAS SOPS 47018 HAS SOUS 25463 HAS SOUPS 25463 WITH SCORE 25510.018
AT ITER 2063 NEW BEST:: SOT 102702 SOS 46943 HAS SOPS 46943 HAS SOUS 25446 HAS SOUPS 25446 WITH SCORE 25492.943
AT ITER 2100 NEW BEST:: SOT 102697 SOS 46933 HAS SOPS 46933 HAS SOUS 25429 HAS SOUPS 25429 WITH SCORE 25475.933
AT ITER 2118 NEW BEST:: SOT 102690 SOS 46916 HAS SOPS 46916 HAS SOUS 25415 HAS SOUPS 25415 WITH SCORE 25461.916
AT ITER 2129 NEW BEST:: SOT 102716 SOS 46791 HAS SOPS 46791 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25403.791
AT ITER 2137 NEW BEST:: SOT 102696 SOS 46711 HAS SOPS 46711 HAS SOUS 25357 HAS SOUPS 25357 WITH SCORE 25403.711
AT ITER 2158 NEW BEST:: SOT 102690 SOS 46705 HAS SOPS 46705 HAS SOUS 25345 HAS SOUPS 25345 WITH SCORE 25391.705
AT ITER 2162 NEW BEST:: SOT 102649 SOS 46689 HAS SOPS 46689 HAS SOUS 25333 HAS SOUPS 25333 WITH SCORE 25379.689
AT ITER 2169 NEW BEST:: SOT 102655 SOS 46701 HAS SOPS 46701 HAS SOUS 25319 HAS SOUPS 25319 WITH SCORE 25365.701
AT ITER 2172 NEW BEST:: SOT 102655 SOS 46701 HAS SOPS 46701 HAS SOUS 25296 HAS SOUPS 25296 WITH SCORE 25342.701
AT ITER 2184 NEW BEST:: SOT 102641 SOS 46687 HAS SOPS 46687 HAS SOUS 25282 HAS SOUPS 25282 WITH SCORE 25328.687
AT ITER 2191 NEW BEST:: SOT 102598 SOS 46601 HAS SOPS 46601 HAS SOUS 25168 HAS SOUPS 25168 WITH SCORE 25214.601
AT ITER 2195 NEW BEST:: SOT 102514 SOS 46461 HAS SOPS 46461 HAS SOUS 25028 HAS SOUPS 25028 WITH SCORE 25074.461
AT ITER 2202 NEW BEST:: SOT 102489 SOS 46411 HAS SOPS 46411 HAS SOUS 24978 HAS SOUPS 24978 WITH SCORE 25024.411
AT ITER 2203 NEW BEST:: SOT 102428 SOS 46343 HAS SOPS 46343 HAS SOUS 24910 HAS SOUPS 24910 WITH SCORE 24956.343
AT ITER 2229 NEW BEST:: SOT 102406 SOS 46299 HAS SOPS 46299 HAS SOUS 24866 HAS SOUPS 24866 WITH SCORE 24912.299
AT ITER 2231 NEW BEST:: SOT 102406 SOS 46299 HAS SOPS 46299 HAS SOUS 24830 HAS SOUPS 24830 WITH SCORE 24876.299
AT ITER 2241 NEW BEST:: SOT 102373 SOS 46248 HAS SOPS 46248 HAS SOUS 24800 HAS SOUPS 24800 WITH SCORE 24846.248
AT ITER 2244 NEW BEST:: SOT 102373 SOS 46220 HAS SOPS 46220 HAS SOUS 24786 HAS SOUPS 24786 WITH SCORE 24832.22
AT ITER 2252 NEW BEST:: SOT 102369 SOS 46224 HAS SOPS 46224 HAS SOUS 24776 HAS SOUPS 24776 WITH SCORE 24822.224
AT ITER 2265 NEW BEST:: SOT 102369 SOS 46184 HAS SOPS 46184 HAS SOUS 24736 HAS SOUPS 24736 WITH SCORE 24782.184
AT ITER 2273 NEW BEST:: SOT 102299 SOS 46013 HAS SOPS 46013 HAS SOUS 24613 HAS SOUPS 24613 WITH SCORE 24659.013
AT ITER 2275 NEW BEST:: SOT 102331 SOS 46077 HAS SOPS 46077 HAS SOUS 24607 HAS SOUPS 24607 WITH SCORE 24653.077
AT ITER 2286 NEW BEST:: SOT 102330 SOS 46012 HAS SOPS 46012 HAS SOUS 24605 HAS SOUPS 24605 WITH SCORE 24651.012
AT ITER 2293 NEW BEST:: SOT 102329 SOS 45926 HAS SOPS 45926 HAS SOUS 24542 HAS SOUPS 24542 WITH SCORE 24587.926
AT ITER 2300 NEW BEST:: SOT 102333 SOS 45947 HAS SOPS 45947 HAS SOUS 24533 HAS SOUPS 24533 WITH SCORE 24578.947
AT ITER 2307 NEW BEST:: SOT 102279 SOS 45920 HAS SOPS 45920 HAS SOUS 24425 HAS SOUPS 24425 WITH SCORE 24470.92
AT ITER 2313 NEW BEST:: SOT 102279 SOS 45893 HAS SOPS 45893 HAS SOUS 24425 HAS SOUPS 24425 WITH SCORE 24470.893
AT ITER 2319 NEW BEST:: SOT 102273 SOS 45887 HAS SOPS 45887 HAS SOUS 24419 HAS SOUPS 24419 WITH SCORE 24464.887
AT ITER 2332 NEW BEST:: SOT 102273 SOS 45887 HAS SOPS 45887 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24445.887
AT ITER 2345 NEW BEST:: SOT 102273 SOS 45866 HAS SOPS 45866 HAS SOUS 24400 HAS SOUPS 24400 WITH SCORE 24445.866
AT ITER 2362 NEW BEST:: SOT 102275 SOS 45795 HAS SOPS 45795 HAS SOUS 24333 HAS SOUPS 24333 WITH SCORE 24378.795
AT ITER 2368 NEW BEST:: SOT 102288 SOS 45751 HAS SOPS 45751 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24373.751
AT ITER 2372 NEW BEST:: SOT 102252 SOS 45715 HAS SOPS 45715 HAS SOUS 24328 HAS SOUPS 24328 WITH SCORE 24373.715
AT ITER 2410 NEW BEST:: SOT 102172 SOS 45563 HAS SOPS 45563 HAS SOUS 24203 HAS SOUPS 24203 WITH SCORE 24248.563
AT ITER 2437 NEW BEST:: SOT 102171 SOS 45558 HAS SOPS 45558 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24246.558
AT ITER 2452 NEW BEST:: SOT 102171 SOS 45526 HAS SOPS 45526 HAS SOUS 24201 HAS SOUPS 24201 WITH SCORE 24246.526
AT ITER 2457 NEW BEST:: SOT 102137 SOS 45418 HAS SOPS 45418 HAS SOUS 24151 HAS SOUPS 24151 WITH SCORE 24196.418
AT ITER 2466 NEW BEST:: SOT 102137 SOS 45418 HAS SOPS 45418 HAS SOUS 24146 HAS SOUPS 24146 WITH SCORE 24191.418
AT ITER 2469 NEW BEST:: SOT 102143 SOS 45430 HAS SOPS 45430 HAS SOUS 24117 HAS SOUPS 24117 WITH SCORE 24162.43
AT ITER 2510 NEW BEST:: SOT 102143 SOS 45430 HAS SOPS 45430 HAS SOUS 24104 HAS SOUPS 24104 WITH SCORE 24149.43
AT ITER 2522 NEW BEST:: SOT 102143 SOS 45407 HAS SOPS 45407 HAS SOUS 24081 HAS SOUPS 24081 WITH SCORE 24126.407
AT ITER 2525 NEW BEST:: SOT 102222 SOS 45369 HAS SOPS 45369 HAS SOUS 23964 HAS SOUPS 23964 WITH SCORE 24009.369
AT ITER 2539 NEW BEST:: SOT 102178 SOS 45312 HAS SOPS 45312 HAS SOUS 23914 HAS SOUPS 23914 WITH SCORE 23959.312
AT ITER 2545 NEW BEST:: SOT 102173 SOS 45337 HAS SOPS 45337 HAS SOUS 23886 HAS SOUPS 23886 WITH SCORE 23931.337
AT ITER 2547 NEW BEST:: SOT 102185 SOS 45334 HAS SOPS 45334 HAS SOUS 23875 HAS SOUPS 23875 WITH SCORE 23920.334
AT ITER 2554 NEW BEST:: SOT 102150 SOS 45229 HAS SOPS 45229 HAS SOUS 23805 HAS SOUPS 23805 WITH SCORE 23850.229
AT ITER 2556 NEW BEST:: SOT 102145 SOS 45219 HAS SOPS 45219 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23845.219
AT ITER 2564 NEW BEST:: SOT 102092 SOS 45166 HAS SOPS 45166 HAS SOUS 23800 HAS SOUPS 23800 WITH SCORE 23845.166
AT ITER 2580 NEW BEST:: SOT 102089 SOS 45157 HAS SOPS 45157 HAS SOUS 23791 HAS SOUPS 23791 WITH SCORE 23836.157
AT ITER 2583 NEW BEST:: SOT 102073 SOS 45155 HAS SOPS 45155 HAS SOUS 23775 HAS SOUPS 23775 WITH SCORE 23820.155
AT ITER 2593 NEW BEST:: SOT 102051 SOS 45111 HAS SOPS 45111 HAS SOUS 23738 HAS SOUPS 23738 WITH SCORE 23783.111
AT ITER 2601 NEW BEST:: SOT 102040 SOS 45072 HAS SOPS 45072 HAS SOUS 23699 HAS SOUPS 23699 WITH SCORE 23744.072
AT ITER 2603 NEW BEST:: SOT 102025 SOS 45044 HAS SOPS 45044 HAS SOUS 23676 HAS SOUPS 23676 WITH SCORE 23721.044
AT ITER 2604 NEW BEST:: SOT 102007 SOS 45026 HAS SOPS 45026 HAS SOUS 23659 HAS SOUPS 23659 WITH SCORE 23704.026
AT ITER 2618 NEW BEST:: SOT 101990 SOS 44925 HAS SOPS 44925 HAS SOUS 23625 HAS SOUPS 23625 WITH SCORE 23669.925
AT ITER 2620 NEW BEST:: SOT 101986 SOS 44902 HAS SOPS 44902 HAS SOUS 23617 HAS SOUPS 23617 WITH SCORE 23661.902
AT ITER 2624 NEW BEST:: SOT 101957 SOS 44844 HAS SOPS 44844 HAS SOUS 23559 HAS SOUPS 23559 WITH SCORE 23603.844
AT ITER 2654 NEW BEST:: SOT 101957 SOS 44812 HAS SOPS 44812 HAS SOUS 23559 HAS SOUPS 23559 WITH SCORE 23603.812
AT ITER 2661 NEW BEST:: SOT 101947 SOS 44817 HAS SOPS 44817 HAS SOUS 23556 HAS SOUPS 23556 WITH SCORE 23600.817
AT ITER 2671 NEW BEST:: SOT 101940 SOS 44803 HAS SOPS 44803 HAS SOUS 23542 HAS SOUPS 23542 WITH SCORE 23586.803
AT ITER 2762 NEW BEST:: SOT 101940 SOS 44801 HAS SOPS 44801 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23584.801
AT ITER 2766 NEW BEST:: SOT 101939 SOS 44799 HAS SOPS 44799 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23584.799
AT ITER 2770 NEW BEST:: SOT 101939 SOS 44799 HAS SOPS 44799 HAS SOUS 23491 HAS SOUPS 23491 WITH SCORE 23535.799
AT ITER 2771 NEW BEST:: SOT 101925 SOS 44771 HAS SOPS 44771 HAS SOUS 23463 HAS SOUPS 23463 WITH SCORE 23507.771
AT ITER 2802 NEW BEST:: SOT 101914 SOS 44941 HAS SOPS 44941 HAS SOUS 23441 HAS SOUPS 23441 WITH SCORE 23485.941
AT ITER 2807 NEW BEST:: SOT 101910 SOS 44919 HAS SOPS 44919 HAS SOUS 23433 HAS SOUPS 23433 WITH SCORE 23477.919
AT ITER 2811 NEW BEST:: SOT 101908 SOS 44917 HAS SOPS 44917 HAS SOUS 23431 HAS SOUPS 23431 WITH SCORE 23475.917
AT ITER 2818 NEW BEST:: SOT 101903 SOS 44912 HAS SOPS 44912 HAS SOUS 23421 HAS SOUPS 23421 WITH SCORE 23465.912
AT ITER 2824 NEW BEST:: SOT 101916 SOS 44904 HAS SOPS 44904 HAS SOUS 23417 HAS SOUPS 23417 WITH SCORE 23461.904
AT ITER 2828 NEW BEST:: SOT 101908 SOS 44874 HAS SOPS 44874 HAS SOUS 23401 HAS SOUPS 23401 WITH SCORE 23445.874
AT ITER 2849 NEW BEST:: SOT 101905 SOS 44871 HAS SOPS 44871 HAS SOUS 23395 HAS SOUPS 23395 WITH SCORE 23439.871
AT ITER 2857 NEW BEST:: SOT 101899 SOS 44862 HAS SOPS 44862 HAS SOUS 23389 HAS SOUPS 23389 WITH SCORE 23433.862
AT ITER 2860 NEW BEST:: SOT 101899 SOS 44862 HAS SOPS 44862 HAS SOUS 23388 HAS SOUPS 23388 WITH SCORE 23432.862
AT ITER 2862 NEW BEST:: SOT 101891 SOS 44857 HAS SOPS 44857 HAS SOUS 23366 HAS SOUPS 23366 WITH SCORE 23410.857
AT ITER 2882 NEW BEST:: SOT 101883 SOS 44833 HAS SOPS 44833 HAS SOUS 23366 HAS SOUPS 23366 WITH SCORE 23410.833
AT ITER 2888 NEW BEST:: SOT 101869 SOS 44800 HAS SOPS 44800 HAS SOUS 23338 HAS SOUPS 23338 WITH SCORE 23382.8
AT ITER 2912 NEW BEST:: SOT 101868 SOS 44793 HAS SOPS 44793 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23380.793
AT ITER 2920 NEW BEST:: SOT 101743 SOS 44668 HAS SOPS 44668 HAS SOUS 23211 HAS SOUPS 23211 WITH SCORE 23255.668
AT ITER 2922 NEW BEST:: SOT 101743 SOS 44668 HAS SOPS 44668 HAS SOUS 23198 HAS SOUPS 23198 WITH SCORE 23242.668
AT ITER 2927 NEW BEST:: SOT 101676 SOS 44601 HAS SOPS 44601 HAS SOUS 23131 HAS SOUPS 23131 WITH SCORE 23175.601
AT ITER 2943 NEW BEST:: SOT 101676 SOS 44578 HAS SOPS 44578 HAS SOUS 23126 HAS SOUPS 23126 WITH SCORE 23170.578
AT ITER 2960 NEW BEST:: SOT 101672 SOS 44609 HAS SOPS 44609 HAS SOUS 23118 HAS SOUPS 23118 WITH SCORE 23162.609
AT ITER 2967 NEW BEST:: SOT 101671 SOS 44607 HAS SOPS 44607 HAS SOUS 23108 HAS SOUPS 23108 WITH SCORE 23152.607
AT ITER 3014 NEW BEST:: SOT 101648 SOS 44561 HAS SOPS 44561 HAS SOUS 23100 HAS SOUPS 23100 WITH SCORE 23144.561
AT ITER 3015 NEW BEST:: SOT 101649 SOS 44562 HAS SOPS 44562 HAS SOUS 23098 HAS SOUPS 23098 WITH SCORE 23142.562
AT ITER 3021 NEW BEST:: SOT 101651 SOS 44557 HAS SOPS 44557 HAS SOUS 23092 HAS SOUPS 23092 WITH SCORE 23136.557
AT ITER 3049 NEW BEST:: SOT 101642 SOS 44548 HAS SOPS 44548 HAS SOUS 23090 HAS SOUPS 23090 WITH SCORE 23134.548
AT ITER 3051 NEW BEST:: SOT 101639 SOS 44545 HAS SOPS 44545 HAS SOUS 23087 HAS SOUPS 23087 WITH SCORE 23131.545
AT ITER 3059 NEW BEST:: SOT 101678 SOS 44424 HAS SOPS 44424 HAS SOUS 23055 HAS SOUPS 23055 WITH SCORE 23099.424
AT ITER 3060 NEW BEST:: SOT 101663 SOS 44394 HAS SOPS 44394 HAS SOUS 23026 HAS SOUPS 23026 WITH SCORE 23070.394
AT ITER 3094 NEW BEST:: SOT 101600 SOS 44382 HAS SOPS 44382 HAS SOUS 22957 HAS SOUPS 22957 WITH SCORE 23001.382
AT ITER 3101 NEW BEST:: SOT 101596 SOS 44378 HAS SOPS 44378 HAS SOUS 22953 HAS SOUPS 22953 WITH SCORE 22997.378
AT ITER 3110 NEW BEST:: SOT 101596 SOS 44345 HAS SOPS 44345 HAS SOUS 22953 HAS SOUPS 22953 WITH SCORE 22997.345
AT ITER 3112 NEW BEST:: SOT 101592 SOS 44279 HAS SOPS 44279 HAS SOUS 22945 HAS SOUPS 22945 WITH SCORE 22989.279
AT ITER 3156 NEW BEST:: SOT 101592 SOS 44259 HAS SOPS 44259 HAS SOUS 22945 HAS SOUPS 22945 WITH SCORE 22989.259
AT ITER 3157 NEW BEST:: SOT 101598 SOS 44043 HAS SOPS 44043 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22977.043
AT ITER 3169 NEW BEST:: SOT 101575 SOS 43981 HAS SOPS 43981 HAS SOUS 22910 HAS SOUPS 22910 WITH SCORE 22953.981
AT ITER 3173 NEW BEST:: SOT 101566 SOS 43963 HAS SOPS 43963 HAS SOUS 22890 HAS SOUPS 22890 WITH SCORE 22933.963
AT ITER 3178 NEW BEST:: SOT 101568 SOS 43935 HAS SOPS 43935 HAS SOUS 22877 HAS SOUPS 22877 WITH SCORE 22920.935
AT ITER 3180 NEW BEST:: SOT 101562 SOS 43843 HAS SOPS 43843 HAS SOUS 22818 HAS SOUPS 22818 WITH SCORE 22861.843
AT ITER 3201 NEW BEST:: SOT 101556 SOS 43831 HAS SOPS 43831 HAS SOUS 22806 HAS SOUPS 22806 WITH SCORE 22849.831
AT ITER 3202 NEW BEST:: SOT 101551 SOS 43765 HAS SOPS 43765 HAS SOUS 22796 HAS SOUPS 22796 WITH SCORE 22839.765
AT ITER 3203 NEW BEST:: SOT 101552 SOS 43766 HAS SOPS 43766 HAS SOUS 22733 HAS SOUPS 22733 WITH SCORE 22776.766
AT ITER 3209 NEW BEST:: SOT 101536 SOS 43734 HAS SOPS 43734 HAS SOUS 22701 HAS SOUPS 22701 WITH SCORE 22744.734
AT ITER 3241 NEW BEST:: SOT 101535 SOS 43713 HAS SOPS 43713 HAS SOUS 22700 HAS SOUPS 22700 WITH SCORE 22743.713
AT ITER 3255 NEW BEST:: SOT 101535 SOS 43687 HAS SOPS 43687 HAS SOUS 22700 HAS SOUPS 22700 WITH SCORE 22743.687
AT ITER 3274 NEW BEST:: SOT 101535 SOS 43714 HAS SOPS 43714 HAS SOUS 22682 HAS SOUPS 22682 WITH SCORE 22725.714
AT ITER 3292 NEW BEST:: SOT 101471 SOS 43586 HAS SOPS 43586 HAS SOUS 22618 HAS SOUPS 22618 WITH SCORE 22661.586
AT ITER 3307 NEW BEST:: SOT 101464 SOS 43572 HAS SOPS 43572 HAS SOUS 22604 HAS SOUPS 22604 WITH SCORE 22647.572
AT ITER 3314 NEW BEST:: SOT 101436 SOS 43560 HAS SOPS 43560 HAS SOUS 22592 HAS SOUPS 22592 WITH SCORE 22635.56
AT ITER 3327 NEW BEST:: SOT 101433 SOS 43554 HAS SOPS 43554 HAS SOUS 22586 HAS SOUPS 22586 WITH SCORE 22629.554
AT ITER 3338 NEW BEST:: SOT 101413 SOS 43534 HAS SOPS 43534 HAS SOUS 22566 HAS SOUPS 22566 WITH SCORE 22609.534
AT ITER 3355 NEW BEST:: SOT 101425 SOS 43537 HAS SOPS 43537 HAS SOUS 22552 HAS SOUPS 22552 WITH SCORE 22595.537
AT ITER 3378 NEW BEST:: SOT 101386 SOS 43420 HAS SOPS 43420 HAS SOUS 22499 HAS SOUPS 22499 WITH SCORE 22542.42
AT ITER 3380 NEW BEST:: SOT 101386 SOS 43407 HAS SOPS 43407 HAS SOUS 22499 HAS SOUPS 22499 WITH SCORE 22542.407
AT ITER 3383 NEW BEST:: SOT 101346 SOS 43367 HAS SOPS 43367 HAS SOUS 22459 HAS SOUPS 22459 WITH SCORE 22502.367
AT ITER 3392 NEW BEST:: SOT 101361 SOS 43375 HAS SOPS 43375 HAS SOUS 22392 HAS SOUPS 22392 WITH SCORE 22435.375
AT ITER 3396 NEW BEST:: SOT 101326 SOS 43340 HAS SOPS 43340 HAS SOUS 22366 HAS SOUPS 22366 WITH SCORE 22409.34
AT ITER 3419 NEW BEST:: SOT 101328 SOS 43335 HAS SOPS 43335 HAS SOUS 22361 HAS SOUPS 22361 WITH SCORE 22404.335
AT ITER 3444 NEW BEST:: SOT 101320 SOS 43389 HAS SOPS 43389 HAS SOUS 22345 HAS SOUPS 22345 WITH SCORE 22388.389
AT ITER 3453 NEW BEST:: SOT 101338 SOS 43425 HAS SOPS 43425 HAS SOUS 22327 HAS SOUPS 22327 WITH SCORE 22370.425
AT ITER 3497 NEW BEST:: SOT 101339 SOS 43426 HAS SOPS 43426 HAS SOUS 22297 HAS SOUPS 22297 WITH SCORE 22340.426
AT ITER 3499 NEW BEST:: SOT 101262 SOS 43479 HAS SOPS 43479 HAS SOUS 22208 HAS SOUPS 22208 WITH SCORE 22251.479
AT ITER 3501 NEW BEST:: SOT 101261 SOS 43447 HAS SOPS 43447 HAS SOUS 22191 HAS SOUPS 22191 WITH SCORE 22234.447
AT ITER 3528 NEW BEST:: SOT 101259 SOS 43443 HAS SOPS 43443 HAS SOUS 22189 HAS SOUPS 22189 WITH SCORE 22232.443
AT ITER 3530 NEW BEST:: SOT 101257 SOS 43480 HAS SOPS 43480 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22230.48
AT ITER 3545 NEW BEST:: SOT 101257 SOS 43472 HAS SOPS 43472 HAS SOUS 22187 HAS SOUPS 22187 WITH SCORE 22230.472
AT ITER 3549 NEW BEST:: SOT 101268 SOS 43444 HAS SOPS 43444 HAS SOUS 22186 HAS SOUPS 22186 WITH SCORE 22229.444
AT ITER 3550 NEW BEST:: SOT 101268 SOS 43444 HAS SOPS 43444 HAS SOUS 22178 HAS SOUPS 22178 WITH SCORE 22221.444
AT ITER 3560 NEW BEST:: SOT 101262 SOS 43438 HAS SOPS 43438 HAS SOUS 22172 HAS SOUPS 22172 WITH SCORE 22215.438
AT ITER 3564 NEW BEST:: SOT 101257 SOS 43435 HAS SOPS 43435 HAS SOUS 22167 HAS SOUPS 22167 WITH SCORE 22210.435
AT ITER 3583 NEW BEST:: SOT 101256 SOS 43433 HAS SOPS 43433 HAS SOUS 22165 HAS SOUPS 22165 WITH SCORE 22208.433
AT ITER 3602 NEW BEST:: SOT 101219 SOS 43403 HAS SOPS 43403 HAS SOUS 22128 HAS SOUPS 22128 WITH SCORE 22171.403
AT ITER 3635 NEW BEST:: SOT 101213 SOS 43397 HAS SOPS 43397 HAS SOUS 22116 HAS SOUPS 22116 WITH SCORE 22159.397
AT ITER 3636 NEW BEST:: SOT 101047 SOS 43065 HAS SOPS 43065 HAS SOUS 21810 HAS SOUPS 21810 WITH SCORE 21853.065
AT ITER 3638 NEW BEST:: SOT 101028 SOS 43010 HAS SOPS 43010 HAS SOUS 21772 HAS SOUPS 21772 WITH SCORE 21815.01
AT ITER 3646 NEW BEST:: SOT 101050 SOS 43134 HAS SOPS 43134 HAS SOUS 21742 HAS SOUPS 21742 WITH SCORE 21785.134
AT ITER 3667 NEW BEST:: SOT 101018 SOS 43097 HAS SOPS 43097 HAS SOUS 21700 HAS SOUPS 21700 WITH SCORE 21743.097
AT ITER 3688 NEW BEST:: SOT 101016 SOS 43132 HAS SOPS 43132 HAS SOUS 21696 HAS SOUPS 21696 WITH SCORE 21739.132
AT ITER 3702 NEW BEST:: SOT 101029 SOS 43109 HAS SOPS 43109 HAS SOUS 21673 HAS SOUPS 21673 WITH SCORE 21716.109
AT ITER 3760 NEW BEST:: SOT 101001 SOS 43078 HAS SOPS 43078 HAS SOUS 21642 HAS SOUPS 21642 WITH SCORE 21685.078
AT ITER 3765 NEW BEST:: SOT 101000 SOS 43076 HAS SOPS 43076 HAS SOUS 21626 HAS SOUPS 21626 WITH SCORE 21669.076
AT ITER 3769 NEW BEST:: SOT 100999 SOS 43075 HAS SOPS 43075 HAS SOUS 21624 HAS SOUPS 21624 WITH SCORE 21667.075
AT ITER 3777 NEW BEST:: SOT 100854 SOS 42917 HAS SOPS 42917 HAS SOUS 21598 HAS SOUPS 21598 WITH SCORE 21640.917
AT ITER 3793 NEW BEST:: SOT 100854 SOS 42916 HAS SOPS 42916 HAS SOUS 21597 HAS SOUPS 21597 WITH SCORE 21639.916
AT ITER 3794 NEW BEST:: SOT 100850 SOS 42908 HAS SOPS 42908 HAS SOUS 21589 HAS SOUPS 21589 WITH SCORE 21631.908
AT ITER 3814 NEW BEST:: SOT 100836 SOS 42857 HAS SOPS 42857 HAS SOUS 21575 HAS SOUPS 21575 WITH SCORE 21617.857
AT ITER 3855 NEW BEST:: SOT 100822 SOS 42850 HAS SOPS 42850 HAS SOUS 21568 HAS SOUPS 21568 WITH SCORE 21610.85
AT ITER 3870 NEW BEST:: SOT 100796 SOS 42772 HAS SOPS 42772 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21584.772
AT ITER 3873 NEW BEST:: SOT 100788 SOS 42775 HAS SOPS 42775 HAS SOUS 21537 HAS SOUPS 21537 WITH SCORE 21579.775
AT ITER 3965 NEW BEST:: SOT 100762 SOS 42749 HAS SOPS 42749 HAS SOUS 21511 HAS SOUPS 21511 WITH SCORE 21553.749
AT ITER 3979 NEW BEST:: SOT 100753 SOS 42731 HAS SOPS 42731 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21526.731
AT ITER 3997 NEW BEST:: SOT 100753 SOS 42726 HAS SOPS 42726 HAS SOUS 21484 HAS SOUPS 21484 WITH SCORE 21526.726
AT ITER 4005 NEW BEST:: SOT 100749 SOS 42718 HAS SOPS 42718 HAS SOUS 21480 HAS SOUPS 21480 WITH SCORE 21522.718
AT ITER 4012 NEW BEST:: SOT 100737 SOS 42706 HAS SOPS 42706 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21498.706
AT ITER 4022 NEW BEST:: SOT 100733 SOS 42702 HAS SOPS 42702 HAS SOUS 21452 HAS SOUPS 21452 WITH SCORE 21494.702
AT ITER 4034 NEW BEST:: SOT 100705 SOS 42646 HAS SOPS 42646 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21466.646
AT ITER 4043 NEW BEST:: SOT 100695 SOS 42636 HAS SOPS 42636 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21466.636
AT ITER 4073 NEW BEST:: SOT 100695 SOS 42633 HAS SOPS 42633 HAS SOUS 21424 HAS SOUPS 21424 WITH SCORE 21466.633
AT ITER 4084 NEW BEST:: SOT 100675 SOS 42600 HAS SOPS 42600 HAS SOUS 21397 HAS SOUPS 21397 WITH SCORE 21439.6
AT ITER 4098 NEW BEST:: SOT 100640 SOS 42544 HAS SOPS 42544 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21368.544
AT ITER 4099 NEW BEST:: SOT 100636 SOS 42540 HAS SOPS 42540 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21364.54
AT ITER 4141 NEW BEST:: SOT 100636 SOS 42532 HAS SOPS 42532 HAS SOUS 21322 HAS SOUPS 21322 WITH SCORE 21364.532
AT ITER 4143 NEW BEST:: SOT 100628 SOS 42531 HAS SOPS 42531 HAS SOUS 21319 HAS SOUPS 21319 WITH SCORE 21361.531
AT ITER 4149 NEW BEST:: SOT 100628 SOS 42530 HAS SOPS 42530 HAS SOUS 21318 HAS SOUPS 21318 WITH SCORE 21360.53
AT ITER 4153 NEW BEST:: SOT 100633 SOS 42444 HAS SOPS 42444 HAS SOUS 21227 HAS SOUPS 21227 WITH SCORE 21269.444
AT ITER 4154 NEW BEST:: SOT 100633 SOS 42444 HAS SOPS 42444 HAS SOUS 21218 HAS SOUPS 21218 WITH SCORE 21260.444
AT ITER 4197 NEW BEST:: SOT 100619 SOS 42416 HAS SOPS 42416 HAS SOUS 21204 HAS SOUPS 21204 WITH SCORE 21246.416
AT ITER 4214 NEW BEST:: SOT 100619 SOS 42414 HAS SOPS 42414 HAS SOUS 21204 HAS SOUPS 21204 WITH SCORE 21246.414
AT ITER 4235 NEW BEST:: SOT 100619 SOS 42406 HAS SOPS 42406 HAS SOUS 21204 HAS SOUPS 21204 WITH SCORE 21246.406
AT ITER 4241 NEW BEST:: SOT 100654 SOS 42402 HAS SOPS 42402 HAS SOUS 21200 HAS SOUPS 21200 WITH SCORE 21242.402
AT ITER 4267 NEW BEST:: SOT 100640 SOS 42375 HAS SOPS 42375 HAS SOUS 21172 HAS SOUPS 21172 WITH SCORE 21214.375
AT ITER 4290 NEW BEST:: SOT 100626 SOS 42361 HAS SOPS 42361 HAS SOUS 21144 HAS SOUPS 21144 WITH SCORE 21186.361
AT ITER 4352 NEW BEST:: SOT 100601 SOS 42336 HAS SOPS 42336 HAS SOUS 21094 HAS SOUPS 21094 WITH SCORE 21136.336
AT ITER 4358 NEW BEST:: SOT 100586 SOS 42306 HAS SOPS 42306 HAS SOUS 21079 HAS SOUPS 21079 WITH SCORE 21121.306
AT ITER 4378 NEW BEST:: SOT 100564 SOS 42319 HAS SOPS 42319 HAS SOUS 21070 HAS SOUPS 21070 WITH SCORE 21112.319
AT ITER 4394 NEW BEST:: SOT 100562 SOS 42315 HAS SOPS 42315 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21110.315
AT ITER 4402 NEW BEST:: SOT 100555 SOS 42308 HAS SOPS 42308 HAS SOUS 21061 HAS SOUPS 21061 WITH SCORE 21103.308
AT ITER 4414 NEW BEST:: SOT 100542 SOS 42275 HAS SOPS 42275 HAS SOUS 21052 HAS SOUPS 21052 WITH SCORE 21094.275
AT ITER 4421 NEW BEST:: SOT 100539 SOS 42269 HAS SOPS 42269 HAS SOUS 21049 HAS SOUPS 21049 WITH SCORE 21091.269
AT ITER 4463 NEW BEST:: SOT 100539 SOS 42272 HAS SOPS 42272 HAS SOUS 21046 HAS SOUPS 21046 WITH SCORE 21088.272
AT ITER 4472 NEW BEST:: SOT 100535 SOS 42264 HAS SOPS 42264 HAS SOUS 21038 HAS SOUPS 21038 WITH SCORE 21080.264
AT ITER 4476 NEW BEST:: SOT 100512 SOS 42224 HAS SOPS 42224 HAS SOUS 20993 HAS SOUPS 20993 WITH SCORE 21035.224
AT ITER 4510 NEW BEST:: SOT 100493 SOS 42186 HAS SOPS 42186 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20980.186
AT ITER 4519 NEW BEST:: SOT 100476 SOS 42152 HAS SOPS 42152 HAS SOUS 20904 HAS SOUPS 20904 WITH SCORE 20946.152
AT ITER 4532 NEW BEST:: SOT 100474 SOS 42164 HAS SOPS 42164 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20939.164
AT ITER 4533 NEW BEST:: SOT 100397 SOS 42096 HAS SOPS 42096 HAS SOUS 20829 HAS SOUPS 20829 WITH SCORE 20871.096
AT ITER 4547 NEW BEST:: SOT 100395 SOS 42092 HAS SOPS 42092 HAS SOUS 20825 HAS SOUPS 20825 WITH SCORE 20867.092
AT ITER 4560 NEW BEST:: SOT 100344 SOS 41997 HAS SOPS 41997 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20827.997
AT ITER 4610 NEW BEST:: SOT 100337 SOS 41991 HAS SOPS 41991 HAS SOUS 20766 HAS SOUPS 20766 WITH SCORE 20807.991
AT ITER 4616 NEW BEST:: SOT 100335 SOS 41987 HAS SOPS 41987 HAS SOUS 20762 HAS SOUPS 20762 WITH SCORE 20803.987
AT ITER 4618 NEW BEST:: SOT 100304 SOS 41925 HAS SOPS 41925 HAS SOUS 20700 HAS SOUPS 20700 WITH SCORE 20741.925
AT ITER 4633 NEW BEST:: SOT 100304 SOS 41869 HAS SOPS 41869 HAS SOUS 20700 HAS SOUPS 20700 WITH SCORE 20741.869
AT ITER 4640 NEW BEST:: SOT 100313 SOS 41878 HAS SOPS 41878 HAS SOUS 20696 HAS SOUPS 20696 WITH SCORE 20737.878
AT ITER 4646 NEW BEST:: SOT 100310 SOS 41869 HAS SOPS 41869 HAS SOUS 20690 HAS SOUPS 20690 WITH SCORE 20731.869
AT ITER 4648 NEW BEST:: SOT 100310 SOS 41869 HAS SOPS 41869 HAS SOUS 20689 HAS SOUPS 20689 WITH SCORE 20730.869
AT ITER 4652 NEW BEST:: SOT 100305 SOS 41859 HAS SOPS 41859 HAS SOUS 20665 HAS SOUPS 20665 WITH SCORE 20706.859
AT ITER 4677 NEW BEST:: SOT 100291 SOS 41829 HAS SOPS 41829 HAS SOUS 20637 HAS SOUPS 20637 WITH SCORE 20678.829
AT ITER 4687 NEW BEST:: SOT 100275 SOS 41813 HAS SOPS 41813 HAS SOUS 20605 HAS SOUPS 20605 WITH SCORE 20646.813
AT ITER 4698 NEW BEST:: SOT 100274 SOS 41803 HAS SOPS 41803 HAS SOUS 20598 HAS SOUPS 20598 WITH SCORE 20639.803
AT ITER 4718 NEW BEST:: SOT 100267 SOS 41760 HAS SOPS 41760 HAS SOUS 20584 HAS SOUPS 20584 WITH SCORE 20625.76
AT ITER 4746 NEW BEST:: SOT 100232 SOS 41688 HAS SOPS 41688 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20555.688
AT ITER 4799 NEW BEST:: SOT 100209 SOS 41665 HAS SOPS 41665 HAS SOUS 20514 HAS SOUPS 20514 WITH SCORE 20555.665
AT ITER 4829 NEW BEST:: SOT 100201 SOS 41657 HAS SOPS 41657 HAS SOUS 20498 HAS SOUPS 20498 WITH SCORE 20539.657
AT ITER 4834 NEW BEST:: SOT 100189 SOS 41633 HAS SOPS 41633 HAS SOUS 20474 HAS SOUPS 20474 WITH SCORE 20515.633
AT ITER 4855 NEW BEST:: SOT 100142 SOS 41539 HAS SOPS 41539 HAS SOUS 20430 HAS SOUPS 20430 WITH SCORE 20471.539
AT ITER 4866 NEW BEST:: SOT 100118 SOS 41460 HAS SOPS 41460 HAS SOUS 20344 HAS SOUPS 20344 WITH SCORE 20385.46
AT ITER 4884 NEW BEST:: SOT 100116 SOS 41459 HAS SOPS 41459 HAS SOUS 20343 HAS SOUPS 20343 WITH SCORE 20384.459
AT ITER 4888 NEW BEST:: SOT 100104 SOS 41454 HAS SOPS 41454 HAS SOUS 20338 HAS SOUPS 20338 WITH SCORE 20379.454
AT ITER 4891 NEW BEST:: SOT 100075 SOS 41426 HAS SOPS 41426 HAS SOUS 20310 HAS SOUPS 20310 WITH SCORE 20351.426
AT ITER 4905 NEW BEST:: SOT 100073 SOS 41414 HAS SOPS 41414 HAS SOUS 20306 HAS SOUPS 20306 WITH SCORE 20347.414
AT ITER 4911 NEW BEST:: SOT 100065 SOS 41406 HAS SOPS 41406 HAS SOUS 20301 HAS SOUPS 20301 WITH SCORE 20342.406
AT ITER 4988 NEW BEST:: SOT 100051 SOS 41378 HAS SOPS 41378 HAS SOUS 20280 HAS SOUPS 20280 WITH SCORE 20321.378
AT ITER 5007 NEW BEST:: SOT 100043 SOS 41356 HAS SOPS 41356 HAS SOUS 20271 HAS SOUPS 20271 WITH SCORE 20312.356
AT ITER 5011 NEW BEST:: SOT 100019 SOS 41308 HAS SOPS 41308 HAS SOUS 20235 HAS SOUPS 20235 WITH SCORE 20276.308
AT ITER 5048 NEW BEST:: SOT 100014 SOS 41355 HAS SOPS 41355 HAS SOUS 20225 HAS SOUPS 20225 WITH SCORE 20266.355
AT ITER 5053 NEW BEST:: SOT 100014 SOS 41363 HAS SOPS 41363 HAS SOUS 20217 HAS SOUPS 20217 WITH SCORE 20258.363
AT ITER 5067 NEW BEST:: SOT 100022 SOS 41371 HAS SOPS 41371 HAS SOUS 20197 HAS SOUPS 20197 WITH SCORE 20238.371
AT ITER 5073 NEW BEST:: SOT 100014 SOS 41363 HAS SOPS 41363 HAS SOUS 20190 HAS SOUPS 20190 WITH SCORE 20231.363
AT ITER 5077 NEW BEST:: SOT 100008 SOS 41357 HAS SOPS 41357 HAS SOUS 20184 HAS SOUPS 20184 WITH SCORE 20225.357
AT ITER 5095 NEW BEST:: SOT 100002 SOS 41345 HAS SOPS 41345 HAS SOUS 20172 HAS SOUPS 20172 WITH SCORE 20213.345
AT ITER 5101 NEW BEST:: SOT 99993 SOS 41130 HAS SOPS 41130 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20195.13
AT ITER 5109 NEW BEST:: SOT 99993 SOS 41114 HAS SOPS 41114 HAS SOUS 20154 HAS SOUPS 20154 WITH SCORE 20195.114
AT ITER 5119 NEW BEST:: SOT 99989 SOS 41106 HAS SOPS 41106 HAS SOUS 20146 HAS SOUPS 20146 WITH SCORE 20187.106
AT ITER 5124 NEW BEST:: SOT 99967 SOS 41100 HAS SOPS 41100 HAS SOUS 20134 HAS SOUPS 20134 WITH SCORE 20175.1
AT ITER 5128 NEW BEST:: SOT 99962 SOS 40955 HAS SOPS 40955 HAS SOUS 20124 HAS SOUPS 20124 WITH SCORE 20164.955
AT ITER 5179 NEW BEST:: SOT 99949 SOS 40942 HAS SOPS 40942 HAS SOUS 20111 HAS SOUPS 20111 WITH SCORE 20151.942
AT ITER 5204 NEW BEST:: SOT 99980 SOS 40935 HAS SOPS 40935 HAS SOUS 20085 HAS SOUPS 20085 WITH SCORE 20125.935
AT ITER 5212 NEW BEST:: SOT 99979 SOS 40927 HAS SOPS 40927 HAS SOUS 20083 HAS SOUPS 20083 WITH SCORE 20123.927
AT ITER 5291 NEW BEST:: SOT 99980 SOS 40929 HAS SOPS 40929 HAS SOUS 20075 HAS SOUPS 20075 WITH SCORE 20115.929
AT ITER 5311 NEW BEST:: SOT 99974 SOS 40923 HAS SOPS 40923 HAS SOUS 20063 HAS SOUPS 20063 WITH SCORE 20103.923
AT ITER 5326 NEW BEST:: SOT 99965 SOS 40905 HAS SOPS 40905 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20094.905
AT ITER 5404 NEW BEST:: SOT 99965 SOS 40771 HAS SOPS 40771 HAS SOUS 20054 HAS SOUPS 20054 WITH SCORE 20094.771
AT ITER 5439 NEW BEST:: SOT 99953 SOS 40759 HAS SOPS 40759 HAS SOUS 20030 HAS SOUPS 20030 WITH SCORE 20070.759
AT ITER 5448 NEW BEST:: SOT 99961 SOS 40743 HAS SOPS 40743 HAS SOUS 20022 HAS SOUPS 20022 WITH SCORE 20062.743
AT ITER 5465 NEW BEST:: SOT 100021 SOS 40799 HAS SOPS 40799 HAS SOUS 20014 HAS SOUPS 20014 WITH SCORE 20054.799
AT ITER 5473 NEW BEST:: SOT 100012 SOS 40781 HAS SOPS 40781 HAS SOUS 20005 HAS SOUPS 20005 WITH SCORE 20045.781
AT ITER 5491 NEW BEST:: SOT 100012 SOS 40708 HAS SOPS 40708 HAS SOUS 19932 HAS SOUPS 19932 WITH SCORE 19972.708
AT ITER 5504 NEW BEST:: SOT 100009 SOS 40702 HAS SOPS 40702 HAS SOUS 19920 HAS SOUPS 19920 WITH SCORE 19960.702
AT ITER 5531 NEW BEST:: SOT 100004 SOS 40644 HAS SOPS 40644 HAS SOUS 19904 HAS SOUPS 19904 WITH SCORE 19944.644
AT ITER 5546 NEW BEST:: SOT 99998 SOS 40638 HAS SOPS 40638 HAS SOUS 19898 HAS SOUPS 19898 WITH SCORE 19938.638
AT ITER 5561 NEW BEST:: SOT 99997 SOS 40623 HAS SOPS 40623 HAS SOUS 19896 HAS SOUPS 19896 WITH SCORE 19936.623
AT ITER 5594 NEW BEST:: SOT 99966 SOS 40592 HAS SOPS 40592 HAS SOUS 19872 HAS SOUPS 19872 WITH SCORE 19912.592
AT ITER 5621 NEW BEST:: SOT 99965 SOS 40587 HAS SOPS 40587 HAS SOUS 19867 HAS SOUPS 19867 WITH SCORE 19907.587
AT ITER 5657 NEW BEST:: SOT 99962 SOS 40581 HAS SOPS 40581 HAS SOUS 19861 HAS SOUPS 19861 WITH SCORE 19901.581
AT ITER 5666 NEW BEST:: SOT 99949 SOS 40555 HAS SOPS 40555 HAS SOUS 19835 HAS SOUPS 19835 WITH SCORE 19875.555
AT ITER 5682 NEW BEST:: SOT 99976 SOS 40582 HAS SOPS 40582 HAS SOUS 19823 HAS SOUPS 19823 WITH SCORE 19863.582
AT ITER 5686 NEW BEST:: SOT 99971 SOS 40577 HAS SOPS 40577 HAS SOUS 19813 HAS SOUPS 19813 WITH SCORE 19853.577
AT ITER 5717 NEW BEST:: SOT 99971 SOS 40569 HAS SOPS 40569 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19845.569
AT ITER 5734 NEW BEST:: SOT 99971 SOS 40515 HAS SOPS 40515 HAS SOUS 19805 HAS SOUPS 19805 WITH SCORE 19845.515
AT ITER 5750 NEW BEST:: SOT 99956 SOS 40524 HAS SOPS 40524 HAS SOUS 19752 HAS SOUPS 19752 WITH SCORE 19792.524
AT ITER 5792 NEW BEST:: SOT 99942 SOS 40510 HAS SOPS 40510 HAS SOUS 19724 HAS SOUPS 19724 WITH SCORE 19764.51
AT ITER 5802 NEW BEST:: SOT 99958 SOS 40510 HAS SOPS 40510 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19750.51
AT ITER 5810 NEW BEST:: SOT 99956 SOS 40508 HAS SOPS 40508 HAS SOUS 19708 HAS SOUPS 19708 WITH SCORE 19748.508
AT ITER 5814 NEW BEST:: SOT 99972 SOS 40497 HAS SOPS 40497 HAS SOUS 19706 HAS SOUPS 19706 WITH SCORE 19746.497
AT ITER 5840 NEW BEST:: SOT 99947 SOS 40486 HAS SOPS 40486 HAS SOUS 19680 HAS SOUPS 19680 WITH SCORE 19720.486
AT ITER 5865 NEW BEST:: SOT 99904 SOS 40512 HAS SOPS 40512 HAS SOUS 19663 HAS SOUPS 19663 WITH SCORE 19703.512
AT ITER 5913 NEW BEST:: SOT 99926 SOS 40511 HAS SOPS 40511 HAS SOUS 19662 HAS SOUPS 19662 WITH SCORE 19702.511
AT ITER 5919 NEW BEST:: SOT 99922 SOS 40503 HAS SOPS 40503 HAS SOUS 19654 HAS SOUPS 19654 WITH SCORE 19694.503
AT ITER 5925 NEW BEST:: SOT 99904 SOS 40467 HAS SOPS 40467 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19653.467
AT ITER 5930 NEW BEST:: SOT 99845 SOS 40356 HAS SOPS 40356 HAS SOUS 19547 HAS SOUPS 19547 WITH SCORE 19587.356
AT ITER 5940 NEW BEST:: SOT 99839 SOS 40338 HAS SOPS 40338 HAS SOUS 19529 HAS SOUPS 19529 WITH SCORE 19569.338
AT ITER 5978 NEW BEST:: SOT 99830 SOS 40280 HAS SOPS 40280 HAS SOUS 19511 HAS SOUPS 19511 WITH SCORE 19551.28
AT ITER 6033 NEW BEST:: SOT 99803 SOS 39916 HAS SOPS 39916 HAS SOUS 19464 HAS SOUPS 19464 WITH SCORE 19503.916
AT ITER 6044 NEW BEST:: SOT 99800 SOS 39915 HAS SOPS 39915 HAS SOUS 19458 HAS SOUPS 19458 WITH SCORE 19497.915
AT ITER 6046 NEW BEST:: SOT 99772 SOS 39887 HAS SOPS 39887 HAS SOUS 19430 HAS SOUPS 19430 WITH SCORE 19469.887
AT ITER 6065 NEW BEST:: SOT 99753 SOS 39849 HAS SOPS 39849 HAS SOUS 19411 HAS SOUPS 19411 WITH SCORE 19450.849
AT ITER 6082 NEW BEST:: SOT 99750 SOS 39849 HAS SOPS 39849 HAS SOUS 19408 HAS SOUPS 19408 WITH SCORE 19447.849
AT ITER 6083 NEW BEST:: SOT 99738 SOS 39837 HAS SOPS 39837 HAS SOUS 19384 HAS SOUPS 19384 WITH SCORE 19423.837
AT ITER 6094 NEW BEST:: SOT 99737 SOS 39835 HAS SOPS 39835 HAS SOUS 19382 HAS SOUPS 19382 WITH SCORE 19421.835
AT ITER 6095 NEW BEST:: SOT 99716 SOS 39833 HAS SOPS 39833 HAS SOUS 19360 HAS SOUPS 19360 WITH SCORE 19399.833
AT ITER 6101 NEW BEST:: SOT 99710 SOS 39804 HAS SOPS 39804 HAS SOUS 19348 HAS SOUPS 19348 WITH SCORE 19387.804
AT ITER 6209 NEW BEST:: SOT 99710 SOS 39795 HAS SOPS 39795 HAS SOUS 19348 HAS SOUPS 19348 WITH SCORE 19387.795
AT ITER 6212 NEW BEST:: SOT 99709 SOS 39793 HAS SOPS 39793 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19384.793
AT ITER 6228 NEW BEST:: SOT 99709 SOS 39781 HAS SOPS 39781 HAS SOUS 19345 HAS SOUPS 19345 WITH SCORE 19384.781
AT ITER 6229 NEW BEST:: SOT 99711 SOS 39784 HAS SOPS 39784 HAS SOUS 19333 HAS SOUPS 19333 WITH SCORE 19372.784
AT ITER 6230 NEW BEST:: SOT 99728 SOS 39818 HAS SOPS 39818 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19319.818
AT ITER 6234 NEW BEST:: SOT 99716 SOS 39823 HAS SOPS 39823 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19312.823
AT ITER 6274 NEW BEST:: SOT 99709 SOS 39827 HAS SOPS 39827 HAS SOUS 19259 HAS SOUPS 19259 WITH SCORE 19298.827
AT ITER 6279 NEW BEST:: SOT 99704 SOS 39822 HAS SOPS 39822 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19293.822
AT ITER 6300 NEW BEST:: SOT 99754 SOS 39946 HAS SOPS 39946 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19282.946
AT ITER 6304 NEW BEST:: SOT 99754 SOS 39936 HAS SOPS 39936 HAS SOUS 19243 HAS SOUPS 19243 WITH SCORE 19282.936
AT ITER 6325 NEW BEST:: SOT 99751 SOS 39930 HAS SOPS 39930 HAS SOUS 19237 HAS SOUPS 19237 WITH SCORE 19276.93
AT ITER 6345 NEW BEST:: SOT 99742 SOS 39921 HAS SOPS 39921 HAS SOUS 19233 HAS SOUPS 19233 WITH SCORE 19272.921
AT ITER 6348 NEW BEST:: SOT 99739 SOS 39916 HAS SOPS 39916 HAS SOUS 19227 HAS SOUPS 19227 WITH SCORE 19266.916
AT ITER 6360 NEW BEST:: SOT 99755 SOS 39948 HAS SOPS 39948 HAS SOUS 19226 HAS SOUPS 19226 WITH SCORE 19265.948
AT ITER 6366 NEW BEST:: SOT 99736 SOS 39929 HAS SOPS 39929 HAS SOUS 19188 HAS SOUPS 19188 WITH SCORE 19227.929
AT ITER 6376 NEW BEST:: SOT 99717 SOS 39883 HAS SOPS 39883 HAS SOUS 19177 HAS SOUPS 19177 WITH SCORE 19216.883
AT ITER 6385 NEW BEST:: SOT 99711 SOS 39884 HAS SOPS 39884 HAS SOUS 19165 HAS SOUPS 19165 WITH SCORE 19204.884
AT ITER 6408 NEW BEST:: SOT 99709 SOS 39881 HAS SOPS 39881 HAS SOUS 19161 HAS SOUPS 19161 WITH SCORE 19200.881
AT ITER 6429 NEW BEST:: SOT 99653 SOS 39825 HAS SOPS 39825 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19144.825
AT ITER 6456 NEW BEST:: SOT 99606 SOS 39817 HAS SOPS 39817 HAS SOUS 19057 HAS SOUPS 19057 WITH SCORE 19096.817
AT ITER 6461 NEW BEST:: SOT 99602 SOS 39817 HAS SOPS 39817 HAS SOUS 19034 HAS SOUPS 19034 WITH SCORE 19073.817
AT ITER 6483 NEW BEST:: SOT 99601 SOS 39809 HAS SOPS 39809 HAS SOUS 19026 HAS SOUPS 19026 WITH SCORE 19065.809
AT ITER 6484 NEW BEST:: SOT 99598 SOS 39806 HAS SOPS 39806 HAS SOUS 19020 HAS SOUPS 19020 WITH SCORE 19059.806
AT ITER 6486 NEW BEST:: SOT 99574 SOS 39758 HAS SOPS 39758 HAS SOUS 18967 HAS SOUPS 18967 WITH SCORE 19006.758
AT ITER 6489 NEW BEST:: SOT 99565 SOS 39734 HAS SOPS 39734 HAS SOUS 18949 HAS SOUPS 18949 WITH SCORE 18988.734
AT ITER 6491 NEW BEST:: SOT 99551 SOS 39713 HAS SOPS 39713 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18967.713
AT ITER 6565 NEW BEST:: SOT 99534 SOS 39676 HAS SOPS 39676 HAS SOUS 18911 HAS SOUPS 18911 WITH SCORE 18950.676
AT ITER 6566 NEW BEST:: SOT 99506 SOS 39637 HAS SOPS 39637 HAS SOUS 18877 HAS SOUPS 18877 WITH SCORE 18916.637
AT ITER 6604 NEW BEST:: SOT 99505 SOS 39636 HAS SOPS 39636 HAS SOUS 18874 HAS SOUPS 18874 WITH SCORE 18913.636
AT ITER 6629 NEW BEST:: SOT 99478 SOS 39644 HAS SOPS 39644 HAS SOUS 18858 HAS SOUPS 18858 WITH SCORE 18897.644
AT ITER 6640 NEW BEST:: SOT 99478 SOS 39644 HAS SOPS 39644 HAS SOUS 18854 HAS SOUPS 18854 WITH SCORE 18893.644
AT ITER 6641 NEW BEST:: SOT 99451 SOS 39590 HAS SOPS 39590 HAS SOUS 18819 HAS SOUPS 18819 WITH SCORE 18858.59
AT ITER 6664 NEW BEST:: SOT 99451 SOS 39588 HAS SOPS 39588 HAS SOUS 18819 HAS SOUPS 18819 WITH SCORE 18858.588
AT ITER 6667 NEW BEST:: SOT 99451 SOS 39583 HAS SOPS 39583 HAS SOUS 18819 HAS SOUPS 18819 WITH SCORE 18858.583
AT ITER 6676 NEW BEST:: SOT 99446 SOS 39573 HAS SOPS 39573 HAS SOUS 18814 HAS SOUPS 18814 WITH SCORE 18853.573
AT ITER 6689 NEW BEST:: SOT 99475 SOS 39573 HAS SOPS 39573 HAS SOUS 18785 HAS SOUPS 18785 WITH SCORE 18824.573
AT ITER 6712 NEW BEST:: SOT 99449 SOS 39547 HAS SOPS 39547 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18798.547
AT ITER 6730 NEW BEST:: SOT 99449 SOS 39546 HAS SOPS 39546 HAS SOUS 18759 HAS SOUPS 18759 WITH SCORE 18798.546
AT ITER 6748 NEW BEST:: SOT 99455 SOS 39534 HAS SOPS 39534 HAS SOUS 18746 HAS SOUPS 18746 WITH SCORE 18785.534
AT ITER 6766 NEW BEST:: SOT 99451 SOS 39522 HAS SOPS 39522 HAS SOUS 18746 HAS SOUPS 18746 WITH SCORE 18785.522
AT ITER 6783 NEW BEST:: SOT 99394 SOS 39494 HAS SOPS 39494 HAS SOUS 18718 HAS SOUPS 18718 WITH SCORE 18757.494
AT ITER 6785 NEW BEST:: SOT 99387 SOS 39487 HAS SOPS 39487 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18749.487
AT ITER 6795 NEW BEST:: SOT 99384 SOS 39481 HAS SOPS 39481 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18743.481
AT ITER 6799 NEW BEST:: SOT 99384 SOS 39478 HAS SOPS 39478 HAS SOUS 18704 HAS SOUPS 18704 WITH SCORE 18743.478
AT ITER 6840 NEW BEST:: SOT 99380 SOS 39470 HAS SOPS 39470 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18729.47
AT ITER 6868 NEW BEST:: SOT 99368 SOS 39446 HAS SOPS 39446 HAS SOUS 18682 HAS SOUPS 18682 WITH SCORE 18721.446
AT ITER 6892 NEW BEST:: SOT 99405 SOS 39520 HAS SOPS 39520 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18693.52
AT ITER 6897 NEW BEST:: SOT 99405 SOS 39518 HAS SOPS 39518 HAS SOUS 18654 HAS SOUPS 18654 WITH SCORE 18693.518
AT ITER 6918 NEW BEST:: SOT 99394 SOS 39496 HAS SOPS 39496 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18671.496
AT ITER 6922 NEW BEST:: SOT 99394 SOS 39368 HAS SOPS 39368 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18671.368
AT ITER 7031 NEW BEST:: SOT 99389 SOS 39358 HAS SOPS 39358 HAS SOUS 18622 HAS SOUPS 18622 WITH SCORE 18661.358
AT ITER 7032 NEW BEST:: SOT 99395 SOS 39364 HAS SOPS 39364 HAS SOUS 18606 HAS SOUPS 18606 WITH SCORE 18645.364
AT ITER 7038 NEW BEST:: SOT 99390 SOS 39359 HAS SOPS 39359 HAS SOUS 18596 HAS SOUPS 18596 WITH SCORE 18635.359
AT ITER 7049 NEW BEST:: SOT 99394 SOS 39329 HAS SOPS 39329 HAS SOUS 18567 HAS SOUPS 18567 WITH SCORE 18606.329
AT ITER 7052 NEW BEST:: SOT 99391 SOS 39323 HAS SOPS 39323 HAS SOUS 18561 HAS SOUPS 18561 WITH SCORE 18600.323
AT ITER 7057 NEW BEST:: SOT 99383 SOS 39307 HAS SOPS 39307 HAS SOUS 18545 HAS SOUPS 18545 WITH SCORE 18584.307
AT ITER 7082 NEW BEST:: SOT 99384 SOS 39302 HAS SOPS 39302 HAS SOUS 18533 HAS SOUPS 18533 WITH SCORE 18572.302
AT ITER 7097 NEW BEST:: SOT 99375 SOS 39284 HAS SOPS 39284 HAS SOUS 18515 HAS SOUPS 18515 WITH SCORE 18554.284
AT ITER 7107 NEW BEST:: SOT 99368 SOS 39264 HAS SOPS 39264 HAS SOUS 18514 HAS SOUPS 18514 WITH SCORE 18553.264
AT ITER 7124 NEW BEST:: SOT 99365 SOS 39252 HAS SOPS 39252 HAS SOUS 18505 HAS SOUPS 18505 WITH SCORE 18544.252
AT ITER 7146 NEW BEST:: SOT 99365 SOS 39252 HAS SOPS 39252 HAS SOUS 18495 HAS SOUPS 18495 WITH SCORE 18534.252
AT ITER 7181 NEW BEST:: SOT 99362 SOS 39249 HAS SOPS 39249 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18528.249
AT ITER 7196 NEW BEST:: SOT 99362 SOS 39206 HAS SOPS 39206 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18528.206
AT ITER 7245 NEW BEST:: SOT 99361 SOS 39204 HAS SOPS 39204 HAS SOUS 18487 HAS SOUPS 18487 WITH SCORE 18526.204
AT ITER 7281 NEW BEST:: SOT 99354 SOS 39183 HAS SOPS 39183 HAS SOUS 18480 HAS SOUPS 18480 WITH SCORE 18519.183
AT ITER 7284 NEW BEST:: SOT 99354 SOS 39191 HAS SOPS 39191 HAS SOUS 18478 HAS SOUPS 18478 WITH SCORE 18517.191
AT ITER 7306 NEW BEST:: SOT 99338 SOS 39177 HAS SOPS 39177 HAS SOUS 18446 HAS SOUPS 18446 WITH SCORE 18485.177
AT ITER 7316 NEW BEST:: SOT 99338 SOS 39177 HAS SOPS 39177 HAS SOUS 18439 HAS SOUPS 18439 WITH SCORE 18478.177
AT ITER 7321 NEW BEST:: SOT 99334 SOS 39169 HAS SOPS 39169 HAS SOUS 18435 HAS SOUPS 18435 WITH SCORE 18474.169
AT ITER 7338 NEW BEST:: SOT 99310 SOS 39121 HAS SOPS 39121 HAS SOUS 18411 HAS SOUPS 18411 WITH SCORE 18450.121
AT ITER 7386 NEW BEST:: SOT 99301 SOS 39103 HAS SOPS 39103 HAS SOUS 18393 HAS SOUPS 18393 WITH SCORE 18432.103
AT ITER 7401 NEW BEST:: SOT 99279 SOS 39081 HAS SOPS 39081 HAS SOUS 18371 HAS SOUPS 18371 WITH SCORE 18410.081
AT ITER 7452 NEW BEST:: SOT 99282 SOS 39084 HAS SOPS 39084 HAS SOUS 18369 HAS SOUPS 18369 WITH SCORE 18408.084
AT ITER 7486 NEW BEST:: SOT 99274 SOS 39055 HAS SOPS 39055 HAS SOUS 18348 HAS SOUPS 18348 WITH SCORE 18387.055
AT ITER 7522 NEW BEST:: SOT 99274 SOS 39055 HAS SOPS 39055 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18356.055
AT ITER 7524 NEW BEST:: SOT 99284 SOS 39054 HAS SOPS 39054 HAS SOUS 18316 HAS SOUPS 18316 WITH SCORE 18355.054
AT ITER 7552 NEW BEST:: SOT 99282 SOS 39052 HAS SOPS 39052 HAS SOUS 18312 HAS SOUPS 18312 WITH SCORE 18351.052
AT ITER 7557 NEW BEST:: SOT 99259 SOS 39062 HAS SOPS 39062 HAS SOUS 18305 HAS SOUPS 18305 WITH SCORE 18344.062
AT ITER 7589 NEW BEST:: SOT 99250 SOS 39054 HAS SOPS 39054 HAS SOUS 18286 HAS SOUPS 18286 WITH SCORE 18325.054
AT ITER 7629 NEW BEST:: SOT 99242 SOS 39038 HAS SOPS 39038 HAS SOUS 18270 HAS SOUPS 18270 WITH SCORE 18309.038
AT ITER 7641 NEW BEST:: SOT 99224 SOS 39002 HAS SOPS 39002 HAS SOUS 18241 HAS SOUPS 18241 WITH SCORE 18280.002
AT ITER 7664 NEW BEST:: SOT 99224 SOS 38989 HAS SOPS 38989 HAS SOUS 18241 HAS SOUPS 18241 WITH SCORE 18279.989
AT ITER 7685 NEW BEST:: SOT 99215 SOS 38972 HAS SOPS 38972 HAS SOUS 18227 HAS SOUPS 18227 WITH SCORE 18265.972
AT ITER 7698 NEW BEST:: SOT 99210 SOS 38962 HAS SOPS 38962 HAS SOUS 18220 HAS SOUPS 18220 WITH SCORE 18258.962
AT ITER 7706 NEW BEST:: SOT 99174 SOS 38876 HAS SOPS 38876 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18186.876
AT ITER 7750 NEW BEST:: SOT 99174 SOS 38872 HAS SOPS 38872 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18186.872
AT ITER 7773 NEW BEST:: SOT 99174 SOS 38854 HAS SOPS 38854 HAS SOUS 18148 HAS SOUPS 18148 WITH SCORE 18186.854
AT ITER 7835 NEW BEST:: SOT 99173 SOS 38849 HAS SOPS 38849 HAS SOUS 18142 HAS SOUPS 18142 WITH SCORE 18180.849
AT ITER 7877 NEW BEST:: SOT 99169 SOS 38845 HAS SOPS 38845 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18177.845
AT ITER 7893 NEW BEST:: SOT 99169 SOS 38800 HAS SOPS 38800 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18177.8
AT ITER 7915 NEW BEST:: SOT 99195 SOS 38763 HAS SOPS 38763 HAS SOUS 18128 HAS SOUPS 18128 WITH SCORE 18166.763
AT ITER 7917 NEW BEST:: SOT 99168 SOS 38728 HAS SOPS 38728 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18124.728
AT ITER 7918 NEW BEST:: SOT 99120 SOS 38686 HAS SOPS 38686 HAS SOUS 18058 HAS SOUPS 18058 WITH SCORE 18096.686
AT ITER 7940 NEW BEST:: SOT 99113 SOS 38640 HAS SOPS 38640 HAS SOUS 18019 HAS SOUPS 18019 WITH SCORE 18057.64
AT ITER 7994 NEW BEST:: SOT 99113 SOS 38637 HAS SOPS 38637 HAS SOUS 18019 HAS SOUPS 18019 WITH SCORE 18057.637
AT ITER 8002 NEW BEST:: SOT 99133 SOS 38642 HAS SOPS 38642 HAS SOUS 18001 HAS SOUPS 18001 WITH SCORE 18039.642
AT ITER 8009 NEW BEST:: SOT 99124 SOS 38607 HAS SOPS 38607 HAS SOUS 17959 HAS SOUPS 17959 WITH SCORE 17997.607
AT ITER 8034 NEW BEST:: SOT 99117 SOS 38593 HAS SOPS 38593 HAS SOUS 17955 HAS SOUPS 17955 WITH SCORE 17993.593
AT ITER 8049 NEW BEST:: SOT 99110 SOS 38570 HAS SOPS 38570 HAS SOUS 17948 HAS SOUPS 17948 WITH SCORE 17986.57
AT ITER 8058 NEW BEST:: SOT 99095 SOS 38540 HAS SOPS 38540 HAS SOUS 17918 HAS SOUPS 17918 WITH SCORE 17956.54
AT ITER 8091 NEW BEST:: SOT 99093 SOS 38540 HAS SOPS 38540 HAS SOUS 17916 HAS SOUPS 17916 WITH SCORE 17954.54
AT ITER 8105 NEW BEST:: SOT 99088 SOS 38530 HAS SOPS 38530 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17939.53
AT ITER 8161 NEW BEST:: SOT 99086 SOS 38526 HAS SOPS 38526 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17937.526
AT ITER 8171 NEW BEST:: SOT 99048 SOS 38501 HAS SOPS 38501 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17908.501
AT ITER 8173 NEW BEST:: SOT 99015 SOS 38457 HAS SOPS 38457 HAS SOUS 17826 HAS SOUPS 17826 WITH SCORE 17864.457
AT ITER 8178 NEW BEST:: SOT 99013 SOS 38361 HAS SOPS 38361 HAS SOUS 17823 HAS SOUPS 17823 WITH SCORE 17861.361
AT ITER 8189 NEW BEST:: SOT 99010 SOS 38356 HAS SOPS 38356 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17857.356
AT ITER 8203 NEW BEST:: SOT 98996 SOS 38356 HAS SOPS 38356 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17839.356
AT ITER 8208 NEW BEST:: SOT 98996 SOS 38345 HAS SOPS 38345 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17839.345
AT ITER 8221 NEW BEST:: SOT 98991 SOS 38340 HAS SOPS 38340 HAS SOUS 17796 HAS SOUPS 17796 WITH SCORE 17834.34
AT ITER 8250 NEW BEST:: SOT 98956 SOS 38339 HAS SOPS 38339 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17833.339
AT ITER 8264 NEW BEST:: SOT 98952 SOS 38329 HAS SOPS 38329 HAS SOUS 17787 HAS SOUPS 17787 WITH SCORE 17825.329
AT ITER 8307 NEW BEST:: SOT 98961 SOS 38318 HAS SOPS 38318 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17822.318
AT ITER 8352 NEW BEST:: SOT 98961 SOS 38304 HAS SOPS 38304 HAS SOUS 17784 HAS SOUPS 17784 WITH SCORE 17822.304
AT ITER 8445 NEW BEST:: SOT 98978 SOS 38338 HAS SOPS 38338 HAS SOUS 17771 HAS SOUPS 17771 WITH SCORE 17809.338
AT ITER 8468 NEW BEST:: SOT 98912 SOS 38247 HAS SOPS 38247 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17804.247
AT ITER 8528 NEW BEST:: SOT 98912 SOS 38241 HAS SOPS 38241 HAS SOUS 17766 HAS SOUPS 17766 WITH SCORE 17804.241
AT ITER 8581 NEW BEST:: SOT 98866 SOS 38006 HAS SOPS 38006 HAS SOUS 17720 HAS SOUPS 17720 WITH SCORE 17758.006
AT ITER 8584 NEW BEST:: SOT 98855 SOS 38016 HAS SOPS 38016 HAS SOUS 17717 HAS SOUPS 17717 WITH SCORE 17755.016
AT ITER 8596 NEW BEST:: SOT 98847 SOS 37990 HAS SOPS 37990 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17738.99
AT ITER 8719 NEW BEST:: SOT 98847 SOS 37980 HAS SOPS 37980 HAS SOUS 17701 HAS SOUPS 17701 WITH SCORE 17738.98
AT ITER 8739 NEW BEST:: SOT 98819 SOS 37969 HAS SOPS 37969 HAS SOUS 17662 HAS SOUPS 17662 WITH SCORE 17699.969
AT ITER 8755 NEW BEST:: SOT 98817 SOS 37967 HAS SOPS 37967 HAS SOUS 17660 HAS SOUPS 17660 WITH SCORE 17697.967
AT ITER 8762 NEW BEST:: SOT 98816 SOS 37961 HAS SOPS 37961 HAS SOUS 17658 HAS SOUPS 17658 WITH SCORE 17695.961
AT ITER 8764 NEW BEST:: SOT 98810 SOS 37955 HAS SOPS 37955 HAS SOUS 17650 HAS SOUPS 17650 WITH SCORE 17687.955
AT ITER 8779 NEW BEST:: SOT 98801 SOS 37937 HAS SOPS 37937 HAS SOUS 17641 HAS SOUPS 17641 WITH SCORE 17678.937
AT ITER 8788 NEW BEST:: SOT 98759 SOS 37846 HAS SOPS 37846 HAS SOUS 17627 HAS SOUPS 17627 WITH SCORE 17664.846
AT ITER 8793 NEW BEST:: SOT 98742 SOS 37812 HAS SOPS 37812 HAS SOUS 17593 HAS SOUPS 17593 WITH SCORE 17630.812
AT ITER 8802 NEW BEST:: SOT 98716 SOS 37791 HAS SOPS 37791 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17609.791
AT ITER 8840 NEW BEST:: SOT 98709 SOS 37789 HAS SOPS 37789 HAS SOUS 17558 HAS SOUPS 17558 WITH SCORE 17595.789
AT ITER 8857 NEW BEST:: SOT 98710 SOS 37781 HAS SOPS 37781 HAS SOUS 17556 HAS SOUPS 17556 WITH SCORE 17593.781
AT ITER 8877 NEW BEST:: SOT 98710 SOS 37786 HAS SOPS 37786 HAS SOUS 17551 HAS SOUPS 17551 WITH SCORE 17588.786
AT ITER 8903 NEW BEST:: SOT 98701 SOS 37767 HAS SOPS 37767 HAS SOUS 17538 HAS SOUPS 17538 WITH SCORE 17575.767
AT ITER 8904 NEW BEST:: SOT 98681 SOS 37782 HAS SOPS 37782 HAS SOUS 17509 HAS SOUPS 17509 WITH SCORE 17546.782
AT ITER 8909 NEW BEST:: SOT 98683 SOS 37826 HAS SOPS 37826 HAS SOUS 17494 HAS SOUPS 17494 WITH SCORE 17531.826
AT ITER 8936 NEW BEST:: SOT 98680 SOS 37823 HAS SOPS 37823 HAS SOUS 17475 HAS SOUPS 17475 WITH SCORE 17512.823
AT ITER 9023 NEW BEST:: SOT 98676 SOS 37815 HAS SOPS 37815 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17511.815
AT ITER 9066 NEW BEST:: SOT 98676 SOS 37794 HAS SOPS 37794 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17511.794
AT ITER 9157 NEW BEST:: SOT 98666 SOS 37758 HAS SOPS 37758 HAS SOUS 17473 HAS SOUPS 17473 WITH SCORE 17510.758
AT ITER 9171 NEW BEST:: SOT 98668 SOS 37754 HAS SOPS 37754 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17505.754
AT ITER 9220 NEW BEST:: SOT 98668 SOS 37747 HAS SOPS 37747 HAS SOUS 17468 HAS SOUPS 17468 WITH SCORE 17505.747
AT ITER 9228 NEW BEST:: SOT 98660 SOS 37745 HAS SOPS 37745 HAS SOUS 17459 HAS SOUPS 17459 WITH SCORE 17496.745
AT ITER 9341 NEW BEST:: SOT 98648 SOS 37741 HAS SOPS 37741 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17482.741
AT ITER 9351 NEW BEST:: SOT 98644 SOS 37740 HAS SOPS 37740 HAS SOUS 17445 HAS SOUPS 17445 WITH SCORE 17482.74
AT ITER 9361 NEW BEST:: SOT 98628 SOS 37740 HAS SOPS 37740 HAS SOUS 17437 HAS SOUPS 17437 WITH SCORE 17474.74
AT ITER 9364 NEW BEST:: SOT 98623 SOS 37730 HAS SOPS 37730 HAS SOUS 17427 HAS SOUPS 17427 WITH SCORE 17464.73
AT ITER 9385 NEW BEST:: SOT 98623 SOS 37727 HAS SOPS 37727 HAS SOUS 17424 HAS SOUPS 17424 WITH SCORE 17461.727
AT ITER 9415 NEW BEST:: SOT 98622 SOS 37726 HAS SOPS 37726 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17460.726
AT ITER 9422 NEW BEST:: SOT 98496 SOS 37617 HAS SOPS 37617 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17351.617
AT ITER 9428 NEW BEST:: SOT 98496 SOS 37590 HAS SOPS 37590 HAS SOUS 17314 HAS SOUPS 17314 WITH SCORE 17351.59
AT ITER 9456 NEW BEST:: SOT 98459 SOS 37535 HAS SOPS 37535 HAS SOUS 17295 HAS SOUPS 17295 WITH SCORE 17332.535
AT ITER 9458 NEW BEST:: SOT 98453 SOS 37523 HAS SOPS 37523 HAS SOUS 17283 HAS SOUPS 17283 WITH SCORE 17320.523
AT ITER 9461 NEW BEST:: SOT 98453 SOS 37501 HAS SOPS 37501 HAS SOUS 17283 HAS SOUPS 17283 WITH SCORE 17320.501
AT ITER 9520 NEW BEST:: SOT 98454 SOS 37477 HAS SOPS 37477 HAS SOUS 17283 HAS SOUPS 17283 WITH SCORE 17320.477
AT ITER 9522 NEW BEST:: SOT 98452 SOS 37477 HAS SOPS 37477 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17318.477
AT ITER 9580 NEW BEST:: SOT 98452 SOS 37461 HAS SOPS 37461 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17318.461
AT ITER 9584 NEW BEST:: SOT 98453 SOS 37445 HAS SOPS 37445 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17293.445
AT ITER 9624 NEW BEST:: SOT 98453 SOS 37445 HAS SOPS 37445 HAS SOUS 17230 HAS SOUPS 17230 WITH SCORE 17267.445
AT ITER 9630 NEW BEST:: SOT 98451 SOS 37441 HAS SOPS 37441 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17263.441
AT ITER 9655 NEW BEST:: SOT 98449 SOS 37438 HAS SOPS 37438 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17261.438
AT ITER 9662 NEW BEST:: SOT 98449 SOS 37432 HAS SOPS 37432 HAS SOUS 17218 HAS SOUPS 17218 WITH SCORE 17255.432
AT ITER 9663 NEW BEST:: SOT 98436 SOS 37419 HAS SOPS 37419 HAS SOUS 17205 HAS SOUPS 17205 WITH SCORE 17242.419
AT ITER 9724 NEW BEST:: SOT 98403 SOS 37393 HAS SOPS 37393 HAS SOUS 17139 HAS SOUPS 17139 WITH SCORE 17176.393
AT ITER 9754 NEW BEST:: SOT 98396 SOS 37372 HAS SOPS 37372 HAS SOUS 17132 HAS SOUPS 17132 WITH SCORE 17169.372
AT ITER 9782 NEW BEST:: SOT 98395 SOS 37370 HAS SOPS 37370 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17167.37
AT ITER 9792 NEW BEST:: SOT 98391 SOS 37362 HAS SOPS 37362 HAS SOUS 17122 HAS SOUPS 17122 WITH SCORE 17159.362
AT ITER 9814 NEW BEST:: SOT 98388 SOS 37356 HAS SOPS 37356 HAS SOUS 17119 HAS SOUPS 17119 WITH SCORE 17156.356
AT ITER 9868 NEW BEST:: SOT 98388 SOS 37333 HAS SOPS 37333 HAS SOUS 17119 HAS SOUPS 17119 WITH SCORE 17156.333
AT ITER 9877 NEW BEST:: SOT 98374 SOS 37318 HAS SOPS 37318 HAS SOUS 17109 HAS SOUPS 17109 WITH SCORE 17146.318
AT ITER 9882 NEW BEST:: SOT 98368 SOS 37309 HAS SOPS 37309 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17137.309
AT ITER 9903 NEW BEST:: SOT 98323 SOS 37207 HAS SOPS 37207 HAS SOUS 17010 HAS SOUPS 17010 WITH SCORE 17047.207
AT ITER 9910 NEW BEST:: SOT 98317 SOS 37195 HAS SOPS 37195 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17035.195
AT ITER 9912 NEW BEST:: SOT 98317 SOS 37161 HAS SOPS 37161 HAS SOUS 16998 HAS SOUPS 16998 WITH SCORE 17035.161
AT ITER 9946 NEW BEST:: SOT 98290 SOS 37181 HAS SOPS 37181 HAS SOUS 16971 HAS SOUPS 16971 WITH SCORE 17008.181
AT ITER 9956 NEW BEST:: SOT 98289 SOS 37180 HAS SOPS 37180 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 17007.18
AT ITER 9987 NEW BEST:: SOT 98259 SOS 37120 HAS SOPS 37120 HAS SOUS 16940 HAS SOUPS 16940 WITH SCORE 16977.12
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 7445216 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151748 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="DiscoveryGPU-PT-14b"
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 DiscoveryGPU-PT-14b, 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 r131-smll-167819407600424"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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