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.r003-oct2-167813590900472.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 AutoFlight-PT-12a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590900472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 508K
-rw-r--r-- 1 mcc users 6.9K Feb 25 18:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 25 18:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 25 18:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 18:03 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:32 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 15:32 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 15:32 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:32 LTLFireability.xml
-rw-r--r-- 1 mcc users 7.9K Feb 25 18:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 77K Feb 25 18:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 18:12 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 25 18:12 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:32 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:32 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 85K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678472949381

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=AutoFlight-PT-12a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12a
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: 307 places, 305 transitions, 980 arcs.
AT ITER 0 NEW BEST:: SOT 71679 SOS 47340 HAS SOPS 47340 HAS SOUS 33153 HAS SOUPS 33153 WITH SCORE 33200.34
AT ITER 2 NEW BEST:: SOT 71557 SOS 47569 HAS SOPS 46907 HAS SOUS 33108 HAS SOUPS 32917 WITH SCORE 32964.569
AT ITER 3 NEW BEST:: SOT 71544 SOS 47555 HAS SOPS 46893 HAS SOUS 33094 HAS SOUPS 32903 WITH SCORE 32950.555
AT ITER 4 NEW BEST:: SOT 71081 SOS 47095 HAS SOPS 46433 HAS SOUS 32813 HAS SOUPS 32622 WITH SCORE 32669.095
AT ITER 5 NEW BEST:: SOT 71081 SOS 46864 HAS SOPS 46202 HAS SOUS 32707 HAS SOUPS 32516 WITH SCORE 32562.864
AT ITER 7 NEW BEST:: SOT 71013 SOS 46391 HAS SOPS 45699 HAS SOUS 32374 HAS SOUPS 32153 WITH SCORE 32199.391
AT ITER 10 NEW BEST:: SOT 71013 SOS 46391 HAS SOPS 45699 HAS SOUS 32371 HAS SOUPS 32150 WITH SCORE 32196.391
AT ITER 11 NEW BEST:: SOT 70913 SOS 46291 HAS SOPS 45599 HAS SOUS 32277 HAS SOUPS 32056 WITH SCORE 32102.291
AT ITER 12 NEW BEST:: SOT 70913 SOS 46290 HAS SOPS 45598 HAS SOUS 32276 HAS SOUPS 32055 WITH SCORE 32101.29
AT ITER 13 NEW BEST:: SOT 70913 SOS 46131 HAS SOPS 45439 HAS SOUS 32182 HAS SOUPS 31961 WITH SCORE 32007.131
AT ITER 14 NEW BEST:: SOT 70913 SOS 46104 HAS SOPS 45412 HAS SOUS 32182 HAS SOUPS 31961 WITH SCORE 32007.104
AT ITER 15 NEW BEST:: SOT 70565 SOS 45756 HAS SOPS 45064 HAS SOUS 31956 HAS SOUPS 31735 WITH SCORE 31780.756
AT ITER 23 NEW BEST:: SOT 70565 SOS 45565 HAS SOPS 44873 HAS SOUS 31834 HAS SOUPS 31613 WITH SCORE 31658.565
AT ITER 25 NEW BEST:: SOT 70565 SOS 45460 HAS SOPS 44768 HAS SOUS 31770 HAS SOUPS 31549 WITH SCORE 31594.46
AT ITER 27 NEW BEST:: SOT 70565 SOS 45205 HAS SOPS 44513 HAS SOUS 31613 HAS SOUPS 31392 WITH SCORE 31437.205
AT ITER 30 NEW BEST:: SOT 70193 SOS 44832 HAS SOPS 44140 HAS SOUS 31354 HAS SOUPS 31133 WITH SCORE 31177.832
AT ITER 43 NEW BEST:: SOT 70035 SOS 44695 HAS SOPS 43753 HAS SOUS 31158 HAS SOUPS 30849 WITH SCORE 30893.695
AT ITER 45 NEW BEST:: SOT 69900 SOS 44560 HAS SOPS 43617 HAS SOUS 31083 HAS SOUPS 30773 WITH SCORE 30817.56
AT ITER 49 NEW BEST:: SOT 69900 SOS 44442 HAS SOPS 43499 HAS SOUS 31013 HAS SOUPS 30703 WITH SCORE 30747.442
AT ITER 53 NEW BEST:: SOT 69900 SOS 44458 HAS SOPS 43515 HAS SOUS 31012 HAS SOUPS 30702 WITH SCORE 30746.458
AT ITER 54 NEW BEST:: SOT 69808 SOS 44432 HAS SOPS 43422 HAS SOUS 30958 HAS SOUPS 30609 WITH SCORE 30653.432
AT ITER 59 NEW BEST:: SOT 69808 SOS 44432 HAS SOPS 43422 HAS SOUS 30945 HAS SOUPS 30596 WITH SCORE 30640.432
AT ITER 60 NEW BEST:: SOT 69732 SOS 44355 HAS SOPS 43345 HAS SOUS 30915 HAS SOUPS 30566 WITH SCORE 30610.355
AT ITER 64 NEW BEST:: SOT 69706 SOS 44052 HAS SOPS 43131 HAS SOUS 30876 HAS SOUPS 30541 WITH SCORE 30585.052
AT ITER 67 NEW BEST:: SOT 69260 SOS 43606 HAS SOPS 42685 HAS SOUS 30598 HAS SOUPS 30263 WITH SCORE 30306.606
AT ITER 69 NEW BEST:: SOT 69260 SOS 43570 HAS SOPS 42649 HAS SOUS 30562 HAS SOUPS 30227 WITH SCORE 30270.57
AT ITER 72 NEW BEST:: SOT 69260 SOS 43512 HAS SOPS 42591 HAS SOUS 30562 HAS SOUPS 30227 WITH SCORE 30270.512
AT ITER 73 NEW BEST:: SOT 69260 SOS 43268 HAS SOPS 42347 HAS SOUS 30464 HAS SOUPS 30129 WITH SCORE 30172.268
AT ITER 74 NEW BEST:: SOT 69502 SOS 43669 HAS SOPS 42262 HAS SOUS 30529 HAS SOUPS 30047 WITH SCORE 30090.669
AT ITER 76 NEW BEST:: SOT 68893 SOS 43060 HAS SOPS 41653 HAS SOUS 30138 HAS SOUPS 29656 WITH SCORE 29699.06
AT ITER 82 NEW BEST:: SOT 68893 SOS 40462 HAS SOPS 39055 HAS SOUS 30043 HAS SOUPS 29561 WITH SCORE 29601.462
AT ITER 85 NEW BEST:: SOT 68836 SOS 40410 HAS SOPS 39003 HAS SOUS 29991 HAS SOUPS 29509 WITH SCORE 29549.41
AT ITER 87 NEW BEST:: SOT 68832 SOS 40319 HAS SOPS 38940 HAS SOUS 29929 HAS SOUPS 29475 WITH SCORE 29515.319
AT ITER 90 NEW BEST:: SOT 68832 SOS 40060 HAS SOPS 38681 HAS SOUS 29801 HAS SOUPS 29347 WITH SCORE 29387.06
AT ITER 94 NEW BEST:: SOT 68060 SOS 38999 HAS SOPS 37620 HAS SOUS 29158 HAS SOUPS 28704 WITH SCORE 28742.999
AT ITER 97 NEW BEST:: SOT 67633 SOS 38572 HAS SOPS 37193 HAS SOUS 28955 HAS SOUPS 28501 WITH SCORE 28539.572
AT ITER 99 NEW BEST:: SOT 67633 SOS 38492 HAS SOPS 37113 HAS SOUS 28875 HAS SOUPS 28421 WITH SCORE 28459.492
AT ITER 100 NEW BEST:: SOT 67446 SOS 38480 HAS SOPS 37101 HAS SOUS 28863 HAS SOUPS 28409 WITH SCORE 28447.48
AT ITER 106 NEW BEST:: SOT 66765 SOS 37735 HAS SOPS 36356 HAS SOUS 28307 HAS SOUPS 27853 WITH SCORE 27890.735
AT ITER 107 NEW BEST:: SOT 66605 SOS 37575 HAS SOPS 36196 HAS SOUS 28227 HAS SOUPS 27773 WITH SCORE 27810.575
AT ITER 109 NEW BEST:: SOT 66605 SOS 37315 HAS SOPS 35936 HAS SOUS 28067 HAS SOUPS 27613 WITH SCORE 27650.315
AT ITER 110 NEW BEST:: SOT 66605 SOS 37314 HAS SOPS 35935 HAS SOUS 28067 HAS SOUPS 27613 WITH SCORE 27650.314
AT ITER 117 NEW BEST:: SOT 66570 SOS 37308 HAS SOPS 35900 HAS SOUS 28053 HAS SOUPS 27578 WITH SCORE 27615.308
AT ITER 118 NEW BEST:: SOT 66695 SOS 37214 HAS SOPS 35806 HAS SOUS 27959 HAS SOUPS 27484 WITH SCORE 27521.214
AT ITER 121 NEW BEST:: SOT 66092 SOS 36468 HAS SOPS 35060 HAS SOUS 27585 HAS SOUPS 27110 WITH SCORE 27146.468
AT ITER 123 NEW BEST:: SOT 66082 SOS 36121 HAS SOPS 34713 HAS SOUS 27408 HAS SOUPS 26933 WITH SCORE 26969.121
AT ITER 125 NEW BEST:: SOT 66234 SOS 36098 HAS SOPS 34690 HAS SOUS 27385 HAS SOUPS 26910 WITH SCORE 26946.098
AT ITER 127 NEW BEST:: SOT 66143 SOS 35996 HAS SOPS 34588 HAS SOUS 27327 HAS SOUPS 26852 WITH SCORE 26887.996
AT ITER 137 NEW BEST:: SOT 66143 SOS 35975 HAS SOPS 34567 HAS SOUS 27313 HAS SOUPS 26838 WITH SCORE 26873.975
AT ITER 144 NEW BEST:: SOT 65274 SOS 35177 HAS SOPS 33769 HAS SOUS 26821 HAS SOUPS 26346 WITH SCORE 26381.177
AT ITER 151 NEW BEST:: SOT 65272 SOS 35175 HAS SOPS 33767 HAS SOUS 26819 HAS SOUPS 26344 WITH SCORE 26379.175
AT ITER 153 NEW BEST:: SOT 65272 SOS 35089 HAS SOPS 33681 HAS SOUS 26778 HAS SOUPS 26303 WITH SCORE 26338.089
AT ITER 154 NEW BEST:: SOT 65190 SOS 34919 HAS SOPS 33511 HAS SOUS 26479 HAS SOUPS 26004 WITH SCORE 26038.919
AT ITER 155 NEW BEST:: SOT 64732 SOS 34406 HAS SOPS 32998 HAS SOUS 26129 HAS SOUPS 25654 WITH SCORE 25688.406
AT ITER 156 NEW BEST:: SOT 64635 SOS 34309 HAS SOPS 32900 HAS SOUS 26080 HAS SOUPS 25604 WITH SCORE 25638.309
AT ITER 157 NEW BEST:: SOT 64635 SOS 34091 HAS SOPS 32682 HAS SOUS 25976 HAS SOUPS 25500 WITH SCORE 25534.091
AT ITER 158 NEW BEST:: SOT 64635 SOS 33977 HAS SOPS 32568 HAS SOUS 25900 HAS SOUPS 25424 WITH SCORE 25457.977
AT ITER 162 NEW BEST:: SOT 64623 SOS 33965 HAS SOPS 32556 HAS SOUS 25884 HAS SOUPS 25408 WITH SCORE 25441.965
AT ITER 166 NEW BEST:: SOT 64506 SOS 33966 HAS SOPS 32123 HAS SOUS 25734 HAS SOUPS 25124 WITH SCORE 25157.966
AT ITER 168 NEW BEST:: SOT 64354 SOS 33813 HAS SOPS 31970 HAS SOUS 25663 HAS SOUPS 25053 WITH SCORE 25086.813
AT ITER 170 NEW BEST:: SOT 64192 SOS 33442 HAS SOPS 31599 HAS SOUS 25454 HAS SOUPS 24844 WITH SCORE 24877.442
AT ITER 179 NEW BEST:: SOT 64169 SOS 33385 HAS SOPS 31542 HAS SOUS 25336 HAS SOUPS 24726 WITH SCORE 24759.385
AT ITER 181 NEW BEST:: SOT 64153 SOS 33495 HAS SOPS 31526 HAS SOUS 25383 HAS SOUPS 24710 WITH SCORE 24743.495
AT ITER 192 NEW BEST:: SOT 64171 SOS 33255 HAS SOPS 31286 HAS SOUS 25298 HAS SOUPS 24625 WITH SCORE 24658.255
AT ITER 200 NEW BEST:: SOT 64155 SOS 33239 HAS SOPS 31284 HAS SOUS 25296 HAS SOUPS 24623 WITH SCORE 24656.239
AT ITER 202 NEW BEST:: SOT 64053 SOS 33137 HAS SOPS 31282 HAS SOUS 25294 HAS SOUPS 24621 WITH SCORE 24654.137
AT ITER 204 NEW BEST:: SOT 64034 SOS 33112 HAS SOPS 31257 HAS SOUS 25269 HAS SOUPS 24596 WITH SCORE 24629.112
AT ITER 207 NEW BEST:: SOT 64034 SOS 33085 HAS SOPS 31230 HAS SOUS 25256 HAS SOUPS 24583 WITH SCORE 24616.085
AT ITER 211 NEW BEST:: SOT 63179 SOS 31896 HAS SOPS 30041 HAS SOUS 24549 HAS SOUPS 23876 WITH SCORE 23907.896
AT ITER 219 NEW BEST:: SOT 62898 SOS 31511 HAS SOPS 29656 HAS SOUS 24332 HAS SOUPS 23659 WITH SCORE 23690.511
AT ITER 221 NEW BEST:: SOT 62744 SOS 31344 HAS SOPS 29342 HAS SOUS 24164 HAS SOUPS 23425 WITH SCORE 23456.344
AT ITER 223 NEW BEST:: SOT 62734 SOS 31265 HAS SOPS 29188 HAS SOUS 24085 HAS SOUPS 23271 WITH SCORE 23302.265
AT ITER 226 NEW BEST:: SOT 62646 SOS 31083 HAS SOPS 29004 HAS SOUS 23903 HAS SOUPS 23087 WITH SCORE 23118.083
AT ITER 229 NEW BEST:: SOT 62570 SOS 30958 HAS SOPS 28879 HAS SOUS 23746 HAS SOUPS 22930 WITH SCORE 22960.958
AT ITER 231 NEW BEST:: SOT 62245 SOS 30633 HAS SOPS 28554 HAS SOUS 23519 HAS SOUPS 22703 WITH SCORE 22733.633
AT ITER 235 NEW BEST:: SOT 62245 SOS 30593 HAS SOPS 28554 HAS SOUS 23519 HAS SOUPS 22703 WITH SCORE 22733.593
AT ITER 236 NEW BEST:: SOT 62043 SOS 30587 HAS SOPS 28548 HAS SOUS 23474 HAS SOUPS 22658 WITH SCORE 22688.587
AT ITER 237 NEW BEST:: SOT 62046 SOS 30609 HAS SOPS 28544 HAS SOUS 23477 HAS SOUPS 22654 WITH SCORE 22684.609
AT ITER 244 NEW BEST:: SOT 62024 SOS 30587 HAS SOPS 28522 HAS SOUS 23455 HAS SOUPS 22632 WITH SCORE 22662.587
AT ITER 246 NEW BEST:: SOT 61976 SOS 30487 HAS SOPS 28338 HAS SOUS 23330 HAS SOUPS 22448 WITH SCORE 22478.487
AT ITER 251 NEW BEST:: SOT 61975 SOS 30123 HAS SOPS 27974 HAS SOUS 23087 HAS SOUPS 22205 WITH SCORE 22235.123
AT ITER 252 NEW BEST:: SOT 61902 SOS 30045 HAS SOPS 27935 HAS SOUS 23001 HAS SOUPS 22132 WITH SCORE 22162.045
AT ITER 254 NEW BEST:: SOT 61727 SOS 29870 HAS SOPS 27732 HAS SOUS 23016 HAS SOUPS 22119 WITH SCORE 22148.87
AT ITER 259 NEW BEST:: SOT 61244 SOS 29473 HAS SOPS 27335 HAS SOUS 22789 HAS SOUPS 21892 WITH SCORE 21921.473
AT ITER 264 NEW BEST:: SOT 61244 SOS 29504 HAS SOPS 27242 HAS SOUS 22758 HAS SOUPS 21830 WITH SCORE 21859.504
AT ITER 269 NEW BEST:: SOT 61151 SOS 29276 HAS SOPS 27014 HAS SOUS 22666 HAS SOUPS 21738 WITH SCORE 21767.276
AT ITER 274 NEW BEST:: SOT 60742 SOS 28897 HAS SOPS 26635 HAS SOUS 22497 HAS SOUPS 21569 WITH SCORE 21597.897
AT ITER 275 NEW BEST:: SOT 60568 SOS 28919 HAS SOPS 26657 HAS SOUS 22493 HAS SOUPS 21565 WITH SCORE 21593.919
AT ITER 278 NEW BEST:: SOT 60414 SOS 29191 HAS SOPS 26447 HAS SOUS 22429 HAS SOUPS 21355 WITH SCORE 21384.191
AT ITER 283 NEW BEST:: SOT 60386 SOS 29162 HAS SOPS 26418 HAS SOUS 22400 HAS SOUPS 21326 WITH SCORE 21355.162
AT ITER 284 NEW BEST:: SOT 60350 SOS 29140 HAS SOPS 26396 HAS SOUS 22326 HAS SOUPS 21252 WITH SCORE 21281.14
AT ITER 286 NEW BEST:: SOT 60211 SOS 28963 HAS SOPS 26219 HAS SOUS 22206 HAS SOUPS 21132 WITH SCORE 21160.963
AT ITER 295 NEW BEST:: SOT 60247 SOS 29209 HAS SOPS 26125 HAS SOUS 22242 HAS SOUPS 21038 WITH SCORE 21067.209
AT ITER 297 NEW BEST:: SOT 60233 SOS 29131 HAS SOPS 26047 HAS SOUS 22228 HAS SOUPS 21024 WITH SCORE 21053.131
AT ITER 300 NEW BEST:: SOT 60215 SOS 29112 HAS SOPS 26028 HAS SOUS 22114 HAS SOUPS 20910 WITH SCORE 20939.112
AT ITER 301 NEW BEST:: SOT 60249 SOS 29216 HAS SOPS 26027 HAS SOUS 22148 HAS SOUPS 20909 WITH SCORE 20938.216
AT ITER 302 NEW BEST:: SOT 60230 SOS 29197 HAS SOPS 26008 HAS SOUS 22129 HAS SOUPS 20890 WITH SCORE 20919.197
AT ITER 303 NEW BEST:: SOT 60230 SOS 29221 HAS SOPS 25996 HAS SOUS 22129 HAS SOUPS 20878 WITH SCORE 20907.221
AT ITER 313 NEW BEST:: SOT 60193 SOS 28952 HAS SOPS 25727 HAS SOUS 21988 HAS SOUPS 20737 WITH SCORE 20765.952
AT ITER 315 NEW BEST:: SOT 60174 SOS 28932 HAS SOPS 25707 HAS SOUS 21968 HAS SOUPS 20717 WITH SCORE 20745.932
AT ITER 317 NEW BEST:: SOT 60233 SOS 28991 HAS SOPS 25696 HAS SOUS 22014 HAS SOUPS 20706 WITH SCORE 20734.991
AT ITER 318 NEW BEST:: SOT 60173 SOS 28969 HAS SOPS 25674 HAS SOUS 21954 HAS SOUPS 20646 WITH SCORE 20674.969
AT ITER 320 NEW BEST:: SOT 60106 SOS 28851 HAS SOPS 25556 HAS SOUS 21787 HAS SOUPS 20479 WITH SCORE 20507.851
AT ITER 326 NEW BEST:: SOT 59857 SOS 28580 HAS SOPS 25285 HAS SOUS 21657 HAS SOUPS 20349 WITH SCORE 20377.58
AT ITER 327 NEW BEST:: SOT 59787 SOS 28575 HAS SOPS 25280 HAS SOUS 21593 HAS SOUPS 20285 WITH SCORE 20313.575
AT ITER 333 NEW BEST:: SOT 59817 SOS 28793 HAS SOPS 25146 HAS SOUS 21605 HAS SOUPS 20209 WITH SCORE 20237.793
AT ITER 337 NEW BEST:: SOT 59834 SOS 28784 HAS SOPS 25137 HAS SOUS 21596 HAS SOUPS 20200 WITH SCORE 20228.784
AT ITER 338 NEW BEST:: SOT 59879 SOS 28814 HAS SOPS 25135 HAS SOUS 21626 HAS SOUPS 20198 WITH SCORE 20226.814
AT ITER 352 NEW BEST:: SOT 59823 SOS 28717 HAS SOPS 25038 HAS SOUS 21562 HAS SOUPS 20134 WITH SCORE 20162.717
AT ITER 364 NEW BEST:: SOT 59544 SOS 28387 HAS SOPS 24708 HAS SOUS 21326 HAS SOUPS 19898 WITH SCORE 19926.387
AT ITER 365 NEW BEST:: SOT 59512 SOS 28223 HAS SOPS 24544 HAS SOUS 21200 HAS SOUPS 19772 WITH SCORE 19800.223
AT ITER 373 NEW BEST:: SOT 59293 SOS 28124 HAS SOPS 24444 HAS SOUS 21004 HAS SOUPS 19576 WITH SCORE 19604.124
AT ITER 381 NEW BEST:: SOT 59286 SOS 27883 HAS SOPS 24203 HAS SOUS 20841 HAS SOUPS 19413 WITH SCORE 19440.883
AT ITER 387 NEW BEST:: SOT 59358 SOS 27796 HAS SOPS 24116 HAS SOUS 20793 HAS SOUPS 19365 WITH SCORE 19392.796
AT ITER 390 NEW BEST:: SOT 59274 SOS 27722 HAS SOPS 24042 HAS SOUS 20761 HAS SOUPS 19333 WITH SCORE 19360.722
AT ITER 394 NEW BEST:: SOT 59139 SOS 27597 HAS SOPS 24040 HAS SOUS 20759 HAS SOUPS 19331 WITH SCORE 19358.597
AT ITER 397 NEW BEST:: SOT 59139 SOS 27568 HAS SOPS 24011 HAS SOUS 20744 HAS SOUPS 19316 WITH SCORE 19343.568
AT ITER 399 NEW BEST:: SOT 59144 SOS 27789 HAS SOPS 23956 HAS SOUS 20809 HAS SOUPS 19261 WITH SCORE 19288.789
AT ITER 400 NEW BEST:: SOT 59044 SOS 27686 HAS SOPS 23868 HAS SOUS 20706 HAS SOUPS 19173 WITH SCORE 19200.686
AT ITER 402 NEW BEST:: SOT 58740 SOS 27230 HAS SOPS 23412 HAS SOUS 20457 HAS SOUPS 18924 WITH SCORE 18951.23
AT ITER 404 NEW BEST:: SOT 58684 SOS 27222 HAS SOPS 23404 HAS SOUS 20449 HAS SOUPS 18916 WITH SCORE 18943.222
AT ITER 406 NEW BEST:: SOT 58402 SOS 26922 HAS SOPS 23104 HAS SOUS 20284 HAS SOUPS 18751 WITH SCORE 18777.922
AT ITER 408 NEW BEST:: SOT 58320 SOS 26840 HAS SOPS 23022 HAS SOUS 20203 HAS SOUPS 18670 WITH SCORE 18696.84
AT ITER 410 NEW BEST:: SOT 58247 SOS 26782 HAS SOPS 22964 HAS SOUS 20145 HAS SOUPS 18612 WITH SCORE 18638.782
AT ITER 411 NEW BEST:: SOT 58198 SOS 26522 HAS SOPS 22704 HAS SOUS 20009 HAS SOUPS 18476 WITH SCORE 18502.522
AT ITER 417 NEW BEST:: SOT 58171 SOS 26390 HAS SOPS 22620 HAS SOUS 19905 HAS SOUPS 18420 WITH SCORE 18446.39
AT ITER 427 NEW BEST:: SOT 58051 SOS 26270 HAS SOPS 22500 HAS SOUS 19845 HAS SOUPS 18360 WITH SCORE 18386.27
AT ITER 428 NEW BEST:: SOT 58051 SOS 26189 HAS SOPS 22419 HAS SOUS 19813 HAS SOUPS 18328 WITH SCORE 18354.189
AT ITER 431 NEW BEST:: SOT 58036 SOS 26031 HAS SOPS 22370 HAS SOUS 19777 HAS SOUPS 18322 WITH SCORE 18348.031
AT ITER 433 NEW BEST:: SOT 58142 SOS 25800 HAS SOPS 22138 HAS SOUS 19647 HAS SOUPS 18191 WITH SCORE 18216.8
AT ITER 434 NEW BEST:: SOT 58090 SOS 25657 HAS SOPS 22086 HAS SOUS 19504 HAS SOUPS 18139 WITH SCORE 18164.657
AT ITER 436 NEW BEST:: SOT 57903 SOS 25409 HAS SOPS 21839 HAS SOUS 19256 HAS SOUPS 17892 WITH SCORE 17917.409
AT ITER 440 NEW BEST:: SOT 57685 SOS 25329 HAS SOPS 21759 HAS SOUS 19208 HAS SOUPS 17844 WITH SCORE 17869.329
AT ITER 448 NEW BEST:: SOT 57640 SOS 25159 HAS SOPS 21589 HAS SOUS 19038 HAS SOUPS 17674 WITH SCORE 17699.159
AT ITER 458 NEW BEST:: SOT 57651 SOS 25112 HAS SOPS 21542 HAS SOUS 18991 HAS SOUPS 17627 WITH SCORE 17652.112
AT ITER 472 NEW BEST:: SOT 57636 SOS 25067 HAS SOPS 21542 HAS SOUS 18976 HAS SOUPS 17627 WITH SCORE 17652.067
AT ITER 474 NEW BEST:: SOT 57601 SOS 24927 HAS SOPS 21402 HAS SOUS 18871 HAS SOUPS 17522 WITH SCORE 17546.927
AT ITER 475 NEW BEST:: SOT 57539 SOS 24627 HAS SOPS 21227 HAS SOUS 18817 HAS SOUPS 17468 WITH SCORE 17492.627
AT ITER 484 NEW BEST:: SOT 57533 SOS 24586 HAS SOPS 21186 HAS SOUS 18761 HAS SOUPS 17412 WITH SCORE 17436.586
AT ITER 486 NEW BEST:: SOT 57449 SOS 24429 HAS SOPS 21029 HAS SOUS 18643 HAS SOUPS 17294 WITH SCORE 17318.429
AT ITER 495 NEW BEST:: SOT 57318 SOS 24352 HAS SOPS 20952 HAS SOUS 18618 HAS SOUPS 17269 WITH SCORE 17293.352
AT ITER 497 NEW BEST:: SOT 57318 SOS 24282 HAS SOPS 20882 HAS SOUS 18548 HAS SOUPS 17199 WITH SCORE 17223.282
AT ITER 499 NEW BEST:: SOT 57290 SOS 24254 HAS SOPS 20854 HAS SOUS 18548 HAS SOUPS 17199 WITH SCORE 17223.254
AT ITER 500 NEW BEST:: SOT 57290 SOS 24254 HAS SOPS 20852 HAS SOUS 18548 HAS SOUPS 17197 WITH SCORE 17221.254
AT ITER 502 NEW BEST:: SOT 57290 SOS 24215 HAS SOPS 20852 HAS SOUS 18548 HAS SOUPS 17197 WITH SCORE 17221.215
AT ITER 514 NEW BEST:: SOT 57308 SOS 24257 HAS SOPS 20779 HAS SOUS 18590 HAS SOUPS 17124 WITH SCORE 17148.257
AT ITER 518 NEW BEST:: SOT 57262 SOS 23941 HAS SOPS 20656 HAS SOUS 18567 HAS SOUPS 17110 WITH SCORE 17133.941
AT ITER 521 NEW BEST:: SOT 57131 SOS 23810 HAS SOPS 20525 HAS SOUS 18505 HAS SOUPS 17048 WITH SCORE 17071.81
AT ITER 523 NEW BEST:: SOT 56997 SOS 23862 HAS SOPS 20577 HAS SOUS 18482 HAS SOUPS 17025 WITH SCORE 17048.862
AT ITER 527 NEW BEST:: SOT 57154 SOS 23860 HAS SOPS 20575 HAS SOUS 18426 HAS SOUPS 16969 WITH SCORE 16992.86
AT ITER 535 NEW BEST:: SOT 57160 SOS 23866 HAS SOPS 20581 HAS SOUS 18424 HAS SOUPS 16967 WITH SCORE 16990.866
AT ITER 549 NEW BEST:: SOT 57160 SOS 23832 HAS SOPS 20547 HAS SOUS 18424 HAS SOUPS 16967 WITH SCORE 16990.832
AT ITER 550 NEW BEST:: SOT 57123 SOS 23757 HAS SOPS 20472 HAS SOUS 18387 HAS SOUPS 16930 WITH SCORE 16953.757
AT ITER 557 NEW BEST:: SOT 57147 SOS 23694 HAS SOPS 20491 HAS SOUS 18382 HAS SOUPS 16925 WITH SCORE 16948.694
AT ITER 562 NEW BEST:: SOT 57131 SOS 23678 HAS SOPS 20491 HAS SOUS 18350 HAS SOUPS 16909 WITH SCORE 16932.678
AT ITER 564 NEW BEST:: SOT 57099 SOS 23688 HAS SOPS 20345 HAS SOUS 18442 HAS SOUPS 16845 WITH SCORE 16868.688
AT ITER 566 NEW BEST:: SOT 57099 SOS 23664 HAS SOPS 20321 HAS SOUS 18418 HAS SOUPS 16821 WITH SCORE 16844.664
AT ITER 570 NEW BEST:: SOT 57036 SOS 23659 HAS SOPS 20316 HAS SOUS 18335 HAS SOUPS 16738 WITH SCORE 16761.659
AT ITER 576 NEW BEST:: SOT 57051 SOS 23818 HAS SOPS 20301 HAS SOUS 18378 HAS SOUPS 16723 WITH SCORE 16746.818
AT ITER 590 NEW BEST:: SOT 57051 SOS 23811 HAS SOPS 20294 HAS SOUS 18371 HAS SOUPS 16716 WITH SCORE 16739.811
AT ITER 592 NEW BEST:: SOT 56901 SOS 23784 HAS SOPS 20267 HAS SOUS 18265 HAS SOUPS 16610 WITH SCORE 16633.784
AT ITER 596 NEW BEST:: SOT 56901 SOS 23718 HAS SOPS 20201 HAS SOUS 18221 HAS SOUPS 16566 WITH SCORE 16589.718
AT ITER 605 NEW BEST:: SOT 56875 SOS 23692 HAS SOPS 20175 HAS SOUS 18208 HAS SOUPS 16553 WITH SCORE 16576.692
AT ITER 608 NEW BEST:: SOT 56871 SOS 23688 HAS SOPS 20171 HAS SOUS 18208 HAS SOUPS 16553 WITH SCORE 16576.688
AT ITER 616 NEW BEST:: SOT 56857 SOS 23640 HAS SOPS 20123 HAS SOUS 18169 HAS SOUPS 16514 WITH SCORE 16537.64
AT ITER 618 NEW BEST:: SOT 56936 SOS 23703 HAS SOPS 20186 HAS SOUS 18152 HAS SOUPS 16497 WITH SCORE 16520.703
AT ITER 620 NEW BEST:: SOT 56922 SOS 23688 HAS SOPS 20171 HAS SOUS 18143 HAS SOUPS 16488 WITH SCORE 16511.688
AT ITER 623 NEW BEST:: SOT 56922 SOS 23682 HAS SOPS 20165 HAS SOUS 18140 HAS SOUPS 16485 WITH SCORE 16508.682
AT ITER 628 NEW BEST:: SOT 57000 SOS 23718 HAS SOPS 20201 HAS SOUS 18107 HAS SOUPS 16452 WITH SCORE 16475.718
AT ITER 633 NEW BEST:: SOT 57000 SOS 23712 HAS SOPS 20195 HAS SOUS 18103 HAS SOUPS 16448 WITH SCORE 16471.712
AT ITER 637 NEW BEST:: SOT 56936 SOS 23615 HAS SOPS 20193 HAS SOUS 18102 HAS SOUPS 16446 WITH SCORE 16469.615
AT ITER 642 NEW BEST:: SOT 56909 SOS 23583 HAS SOPS 20181 HAS SOUS 18070 HAS SOUPS 16434 WITH SCORE 16457.583
AT ITER 650 NEW BEST:: SOT 57070 SOS 23616 HAS SOPS 20024 HAS SOUS 18194 HAS SOUPS 16368 WITH SCORE 16391.616
AT ITER 665 NEW BEST:: SOT 57070 SOS 23476 HAS SOPS 19884 HAS SOUS 18149 HAS SOUPS 16323 WITH SCORE 16346.476
AT ITER 667 NEW BEST:: SOT 57034 SOS 23446 HAS SOPS 19847 HAS SOUS 18118 HAS SOUPS 16286 WITH SCORE 16309.446
AT ITER 686 NEW BEST:: SOT 57178 SOS 23575 HAS SOPS 19775 HAS SOUS 18118 HAS SOUPS 16214 WITH SCORE 16237.575
AT ITER 693 NEW BEST:: SOT 57151 SOS 23572 HAS SOPS 19772 HAS SOUS 18115 HAS SOUPS 16211 WITH SCORE 16234.572
AT ITER 701 NEW BEST:: SOT 57151 SOS 23441 HAS SOPS 19641 HAS SOUS 18105 HAS SOUPS 16201 WITH SCORE 16224.441
AT ITER 708 NEW BEST:: SOT 57085 SOS 23375 HAS SOPS 19574 HAS SOUS 18103 HAS SOUPS 16199 WITH SCORE 16222.375
AT ITER 721 NEW BEST:: SOT 57069 SOS 23354 HAS SOPS 19569 HAS SOUS 18098 HAS SOUPS 16194 WITH SCORE 16217.354
AT ITER 734 NEW BEST:: SOT 56974 SOS 23283 HAS SOPS 19498 HAS SOUS 17984 HAS SOUPS 16080 WITH SCORE 16103.283
AT ITER 746 NEW BEST:: SOT 56687 SOS 22996 HAS SOPS 19211 HAS SOUS 17830 HAS SOUPS 15926 WITH SCORE 15948.996
AT ITER 754 NEW BEST:: SOT 56687 SOS 22993 HAS SOPS 19208 HAS SOUS 17830 HAS SOUPS 15926 WITH SCORE 15948.993
AT ITER 762 NEW BEST:: SOT 56684 SOS 22992 HAS SOPS 19207 HAS SOUS 17829 HAS SOUPS 15925 WITH SCORE 15947.992
AT ITER 764 NEW BEST:: SOT 56676 SOS 22976 HAS SOPS 19191 HAS SOUS 17813 HAS SOUPS 15909 WITH SCORE 15931.976
AT ITER 771 NEW BEST:: SOT 56654 SOS 22953 HAS SOPS 19168 HAS SOUS 17790 HAS SOUPS 15886 WITH SCORE 15908.953
AT ITER 775 NEW BEST:: SOT 56582 SOS 22881 HAS SOPS 19102 HAS SOUS 17784 HAS SOUPS 15820 WITH SCORE 15842.881
AT ITER 782 NEW BEST:: SOT 56581 SOS 22850 HAS SOPS 19100 HAS SOUS 17782 HAS SOUPS 15818 WITH SCORE 15840.85
AT ITER 783 NEW BEST:: SOT 56569 SOS 22814 HAS SOPS 19064 HAS SOUS 17769 HAS SOUPS 15805 WITH SCORE 15827.814
AT ITER 790 NEW BEST:: SOT 56569 SOS 22835 HAS SOPS 19001 HAS SOUS 17748 HAS SOUPS 15763 WITH SCORE 15785.835
AT ITER 800 NEW BEST:: SOT 56530 SOS 22680 HAS SOPS 19001 HAS SOUS 17709 HAS SOUPS 15763 WITH SCORE 15785.68
AT ITER 814 NEW BEST:: SOT 56530 SOS 22686 HAS SOPS 19007 HAS SOUS 17708 HAS SOUPS 15762 WITH SCORE 15784.686
AT ITER 827 NEW BEST:: SOT 56512 SOS 22686 HAS SOPS 19007 HAS SOUS 17699 HAS SOUPS 15753 WITH SCORE 15775.686
AT ITER 829 NEW BEST:: SOT 56478 SOS 22623 HAS SOPS 18939 HAS SOUS 17682 HAS SOUPS 15736 WITH SCORE 15758.623
AT ITER 834 NEW BEST:: SOT 56470 SOS 22615 HAS SOPS 18930 HAS SOUS 17681 HAS SOUPS 15734 WITH SCORE 15756.615
AT ITER 835 NEW BEST:: SOT 56470 SOS 22611 HAS SOPS 18926 HAS SOUS 17681 HAS SOUPS 15734 WITH SCORE 15756.611
AT ITER 838 NEW BEST:: SOT 56567 SOS 22728 HAS SOPS 18911 HAS SOUS 17705 HAS SOUPS 15719 WITH SCORE 15741.728
AT ITER 844 NEW BEST:: SOT 56510 SOS 22756 HAS SOPS 18888 HAS SOUS 17670 HAS SOUPS 15684 WITH SCORE 15706.756
AT ITER 849 NEW BEST:: SOT 56469 SOS 22676 HAS SOPS 18888 HAS SOUS 17629 HAS SOUPS 15684 WITH SCORE 15706.676
AT ITER 851 NEW BEST:: SOT 56430 SOS 22587 HAS SOPS 18871 HAS SOUS 17590 HAS SOUPS 15669 WITH SCORE 15691.587
AT ITER 856 NEW BEST:: SOT 56434 SOS 22600 HAS SOPS 18884 HAS SOUS 17579 HAS SOUPS 15658 WITH SCORE 15680.6
AT ITER 862 NEW BEST:: SOT 56460 SOS 22594 HAS SOPS 18878 HAS SOUS 17573 HAS SOUPS 15652 WITH SCORE 15674.594
AT ITER 864 NEW BEST:: SOT 56460 SOS 22504 HAS SOPS 18788 HAS SOUS 17539 HAS SOUPS 15618 WITH SCORE 15640.504
AT ITER 866 NEW BEST:: SOT 56451 SOS 22710 HAS SOPS 18994 HAS SOUS 17535 HAS SOUPS 15614 WITH SCORE 15636.71
AT ITER 872 NEW BEST:: SOT 56442 SOS 22518 HAS SOPS 18945 HAS SOUS 17484 HAS SOUPS 15563 WITH SCORE 15585.518
AT ITER 875 NEW BEST:: SOT 56441 SOS 22517 HAS SOPS 18943 HAS SOUS 17482 HAS SOUPS 15561 WITH SCORE 15583.517
AT ITER 876 NEW BEST:: SOT 56173 SOS 22429 HAS SOPS 18855 HAS SOUS 17467 HAS SOUPS 15546 WITH SCORE 15568.429
AT ITER 880 NEW BEST:: SOT 56146 SOS 22402 HAS SOPS 18801 HAS SOUS 17440 HAS SOUPS 15492 WITH SCORE 15514.402
AT ITER 888 NEW BEST:: SOT 56103 SOS 22469 HAS SOPS 18868 HAS SOUS 17420 HAS SOUPS 15472 WITH SCORE 15494.469
AT ITER 903 NEW BEST:: SOT 56082 SOS 22406 HAS SOPS 18826 HAS SOUS 17378 HAS SOUPS 15451 WITH SCORE 15473.406
AT ITER 904 NEW BEST:: SOT 56076 SOS 22399 HAS SOPS 18819 HAS SOUS 17371 HAS SOUPS 15444 WITH SCORE 15466.399
AT ITER 907 NEW BEST:: SOT 56076 SOS 22384 HAS SOPS 18819 HAS SOUS 17371 HAS SOUPS 15444 WITH SCORE 15466.384
AT ITER 909 NEW BEST:: SOT 56074 SOS 22344 HAS SOPS 18779 HAS SOUS 17369 HAS SOUPS 15442 WITH SCORE 15464.344
AT ITER 910 NEW BEST:: SOT 56070 SOS 22340 HAS SOPS 18775 HAS SOUS 17367 HAS SOUPS 15440 WITH SCORE 15462.34
AT ITER 915 NEW BEST:: SOT 56056 SOS 22340 HAS SOPS 18775 HAS SOUS 17360 HAS SOUPS 15433 WITH SCORE 15455.34
AT ITER 920 NEW BEST:: SOT 55981 SOS 22225 HAS SOPS 18754 HAS SOUS 17295 HAS SOUPS 15382 WITH SCORE 15404.225
AT ITER 924 NEW BEST:: SOT 55834 SOS 22294 HAS SOPS 18823 HAS SOUS 17220 HAS SOUPS 15307 WITH SCORE 15329.294
AT ITER 932 NEW BEST:: SOT 55834 SOS 22301 HAS SOPS 18818 HAS SOUS 17227 HAS SOUPS 15302 WITH SCORE 15324.301
AT ITER 938 NEW BEST:: SOT 55713 SOS 22180 HAS SOPS 18696 HAS SOUS 17165 HAS SOUPS 15240 WITH SCORE 15262.18
AT ITER 951 NEW BEST:: SOT 55601 SOS 22067 HAS SOPS 18583 HAS SOUS 17073 HAS SOUPS 15148 WITH SCORE 15170.067
AT ITER 952 NEW BEST:: SOT 55585 SOS 22063 HAS SOPS 18579 HAS SOUS 17065 HAS SOUPS 15140 WITH SCORE 15162.063
AT ITER 957 NEW BEST:: SOT 55549 SOS 22027 HAS SOPS 18543 HAS SOUS 16927 HAS SOUPS 15002 WITH SCORE 15024.027
AT ITER 993 NEW BEST:: SOT 55549 SOS 21955 HAS SOPS 18477 HAS SOUS 16914 HAS SOUPS 14995 WITH SCORE 15016.955
AT ITER 998 NEW BEST:: SOT 55518 SOS 21924 HAS SOPS 18415 HAS SOUS 16928 HAS SOUPS 14978 WITH SCORE 14999.924
AT ITER 999 NEW BEST:: SOT 55513 SOS 21811 HAS SOPS 18302 HAS SOUS 16815 HAS SOUPS 14865 WITH SCORE 14886.811
AT ITER 1002 NEW BEST:: SOT 55428 SOS 21726 HAS SOPS 18217 HAS SOUS 16730 HAS SOUPS 14780 WITH SCORE 14801.726
AT ITER 1003 NEW BEST:: SOT 55402 SOS 21669 HAS SOPS 18153 HAS SOUS 16697 HAS SOUPS 14740 WITH SCORE 14761.669
AT ITER 1004 NEW BEST:: SOT 55402 SOS 21667 HAS SOPS 18151 HAS SOUS 16697 HAS SOUPS 14740 WITH SCORE 14761.667
AT ITER 1012 NEW BEST:: SOT 55419 SOS 21672 HAS SOPS 18156 HAS SOUS 16662 HAS SOUPS 14705 WITH SCORE 14726.672
AT ITER 1021 NEW BEST:: SOT 55429 SOS 21556 HAS SOPS 18040 HAS SOUS 16641 HAS SOUPS 14684 WITH SCORE 14705.556
AT ITER 1025 NEW BEST:: SOT 55405 SOS 21520 HAS SOPS 18004 HAS SOUS 16605 HAS SOUPS 14648 WITH SCORE 14669.52
AT ITER 1028 NEW BEST:: SOT 55405 SOS 21496 HAS SOPS 17980 HAS SOUS 16605 HAS SOUPS 14648 WITH SCORE 14669.496
AT ITER 1029 NEW BEST:: SOT 55392 SOS 21483 HAS SOPS 17967 HAS SOUS 16592 HAS SOUPS 14635 WITH SCORE 14656.483
AT ITER 1034 NEW BEST:: SOT 55355 SOS 21474 HAS SOPS 17943 HAS SOUS 16572 HAS SOUPS 14615 WITH SCORE 14636.474
AT ITER 1036 NEW BEST:: SOT 55295 SOS 21758 HAS SOPS 18227 HAS SOUS 16568 HAS SOUPS 14611 WITH SCORE 14632.758
AT ITER 1039 NEW BEST:: SOT 55300 SOS 21763 HAS SOPS 18218 HAS SOUS 16559 HAS SOUPS 14602 WITH SCORE 14623.763
AT ITER 1053 NEW BEST:: SOT 55188 SOS 21650 HAS SOPS 18105 HAS SOUS 16530 HAS SOUPS 14573 WITH SCORE 14594.65
AT ITER 1057 NEW BEST:: SOT 55228 SOS 21830 HAS SOPS 17965 HAS SOUS 16511 HAS SOUPS 14474 WITH SCORE 14495.83
AT ITER 1062 NEW BEST:: SOT 55175 SOS 21621 HAS SOPS 17807 HAS SOUS 16357 HAS SOUPS 14368 WITH SCORE 14389.621
AT ITER 1068 NEW BEST:: SOT 55196 SOS 21642 HAS SOPS 17828 HAS SOUS 16297 HAS SOUPS 14308 WITH SCORE 14329.642
AT ITER 1071 NEW BEST:: SOT 55196 SOS 21475 HAS SOPS 17661 HAS SOUS 16237 HAS SOUPS 14248 WITH SCORE 14269.475
AT ITER 1086 NEW BEST:: SOT 55180 SOS 21459 HAS SOPS 17629 HAS SOUS 16221 HAS SOUPS 14216 WITH SCORE 14237.459
AT ITER 1095 NEW BEST:: SOT 55115 SOS 21314 HAS SOPS 17484 HAS SOUS 16156 HAS SOUPS 14151 WITH SCORE 14172.314
AT ITER 1111 NEW BEST:: SOT 55092 SOS 21291 HAS SOPS 17461 HAS SOUS 16133 HAS SOUPS 14128 WITH SCORE 14149.291
AT ITER 1120 NEW BEST:: SOT 54751 SOS 20950 HAS SOPS 17120 HAS SOUS 15988 HAS SOUPS 13983 WITH SCORE 14003.95
AT ITER 1122 NEW BEST:: SOT 54765 SOS 20919 HAS SOPS 17133 HAS SOUS 15958 HAS SOUPS 13953 WITH SCORE 13973.919
AT ITER 1126 NEW BEST:: SOT 54708 SOS 20874 HAS SOPS 17088 HAS SOUS 15938 HAS SOUPS 13933 WITH SCORE 13953.874
AT ITER 1129 NEW BEST:: SOT 54686 SOS 20819 HAS SOPS 17033 HAS SOUS 15905 HAS SOUPS 13900 WITH SCORE 13920.819
AT ITER 1138 NEW BEST:: SOT 54669 SOS 20802 HAS SOPS 17017 HAS SOUS 15888 HAS SOUPS 13884 WITH SCORE 13904.802
AT ITER 1154 NEW BEST:: SOT 54669 SOS 20814 HAS SOPS 17029 HAS SOUS 15882 HAS SOUPS 13878 WITH SCORE 13898.814
AT ITER 1159 NEW BEST:: SOT 54669 SOS 20786 HAS SOPS 17029 HAS SOUS 15854 HAS SOUPS 13878 WITH SCORE 13898.786
AT ITER 1175 NEW BEST:: SOT 54669 SOS 20778 HAS SOPS 17013 HAS SOUS 15838 HAS SOUPS 13862 WITH SCORE 13882.778
AT ITER 1182 NEW BEST:: SOT 54687 SOS 20800 HAS SOPS 17035 HAS SOUS 15827 HAS SOUPS 13851 WITH SCORE 13871.8
AT ITER 1185 NEW BEST:: SOT 54704 SOS 20585 HAS SOPS 16760 HAS SOUS 15834 HAS SOUPS 13834 WITH SCORE 13854.585
AT ITER 1194 NEW BEST:: SOT 54692 SOS 20557 HAS SOPS 16732 HAS SOUS 15818 HAS SOUPS 13818 WITH SCORE 13838.557
AT ITER 1196 NEW BEST:: SOT 54688 SOS 20553 HAS SOPS 16728 HAS SOUS 15817 HAS SOUPS 13817 WITH SCORE 13837.553
AT ITER 1198 NEW BEST:: SOT 54726 SOS 20591 HAS SOPS 16725 HAS SOUS 15855 HAS SOUPS 13814 WITH SCORE 13834.591
AT ITER 1207 NEW BEST:: SOT 54692 SOS 20557 HAS SOPS 16657 HAS SOUS 15821 HAS SOUPS 13746 WITH SCORE 13766.557
AT ITER 1208 NEW BEST:: SOT 54478 SOS 20362 HAS SOPS 16448 HAS SOUS 15711 HAS SOUPS 13622 WITH SCORE 13642.362
AT ITER 1209 NEW BEST:: SOT 54471 SOS 20299 HAS SOPS 16385 HAS SOUS 15650 HAS SOUPS 13561 WITH SCORE 13581.299
AT ITER 1215 NEW BEST:: SOT 54402 SOS 20230 HAS SOPS 16316 HAS SOUS 15561 HAS SOUPS 13472 WITH SCORE 13492.23
AT ITER 1233 NEW BEST:: SOT 54418 SOS 20188 HAS SOPS 16274 HAS SOUS 15500 HAS SOUPS 13411 WITH SCORE 13431.188
AT ITER 1240 NEW BEST:: SOT 54393 SOS 20138 HAS SOPS 16224 HAS SOUS 15450 HAS SOUPS 13361 WITH SCORE 13381.138
AT ITER 1261 NEW BEST:: SOT 54367 SOS 20119 HAS SOPS 16205 HAS SOUS 15431 HAS SOUPS 13342 WITH SCORE 13362.119
AT ITER 1264 NEW BEST:: SOT 54359 SOS 20095 HAS SOPS 16181 HAS SOUS 15413 HAS SOUPS 13324 WITH SCORE 13344.095
AT ITER 1266 NEW BEST:: SOT 54326 SOS 20062 HAS SOPS 16115 HAS SOUS 15380 HAS SOUPS 13258 WITH SCORE 13278.062
AT ITER 1280 NEW BEST:: SOT 54369 SOS 20436 HAS SOPS 16096 HAS SOUS 15462 HAS SOUPS 13230 WITH SCORE 13250.436
AT ITER 1287 NEW BEST:: SOT 54275 SOS 20135 HAS SOPS 15845 HAS SOUS 15239 HAS SOUPS 13033 WITH SCORE 13053.135
AT ITER 1298 NEW BEST:: SOT 54262 SOS 20109 HAS SOPS 15832 HAS SOUS 15213 HAS SOUPS 13020 WITH SCORE 13040.109
AT ITER 1310 NEW BEST:: SOT 54259 SOS 20103 HAS SOPS 15826 HAS SOUS 15207 HAS SOUPS 13014 WITH SCORE 13034.103
AT ITER 1316 NEW BEST:: SOT 54259 SOS 20103 HAS SOPS 15797 HAS SOUS 15207 HAS SOUPS 12985 WITH SCORE 13005.103
AT ITER 1317 NEW BEST:: SOT 54245 SOS 20089 HAS SOPS 15766 HAS SOUS 15203 HAS SOUPS 12957 WITH SCORE 12977.089
AT ITER 1328 NEW BEST:: SOT 54241 SOS 20055 HAS SOPS 15732 HAS SOUS 15199 HAS SOUPS 12953 WITH SCORE 12973.055
AT ITER 1330 NEW BEST:: SOT 54241 SOS 20043 HAS SOPS 15720 HAS SOUS 15193 HAS SOUPS 12947 WITH SCORE 12967.043
AT ITER 1335 NEW BEST:: SOT 54239 SOS 20041 HAS SOPS 15718 HAS SOUS 15191 HAS SOUPS 12945 WITH SCORE 12965.041
AT ITER 1347 NEW BEST:: SOT 54227 SOS 20028 HAS SOPS 15705 HAS SOUS 15178 HAS SOUPS 12932 WITH SCORE 12952.028
AT ITER 1349 NEW BEST:: SOT 54221 SOS 19861 HAS SOPS 15538 HAS SOUS 15035 HAS SOUPS 12789 WITH SCORE 12808.861
AT ITER 1370 NEW BEST:: SOT 54206 SOS 19846 HAS SOPS 15508 HAS SOUS 15015 HAS SOUPS 12759 WITH SCORE 12778.846
AT ITER 1377 NEW BEST:: SOT 54192 SOS 19840 HAS SOPS 15493 HAS SOUS 15008 HAS SOUPS 12744 WITH SCORE 12763.84
AT ITER 1379 NEW BEST:: SOT 54178 SOS 19765 HAS SOPS 15418 HAS SOUS 14961 HAS SOUPS 12697 WITH SCORE 12716.765
AT ITER 1393 NEW BEST:: SOT 54162 SOS 19749 HAS SOPS 15402 HAS SOUS 14945 HAS SOUPS 12681 WITH SCORE 12700.749
AT ITER 1399 NEW BEST:: SOT 54155 SOS 19735 HAS SOPS 15395 HAS SOUS 14938 HAS SOUPS 12674 WITH SCORE 12693.735
AT ITER 1421 NEW BEST:: SOT 54111 SOS 19725 HAS SOPS 15336 HAS SOUS 14940 HAS SOUPS 12630 WITH SCORE 12649.725
AT ITER 1434 NEW BEST:: SOT 54096 SOS 19662 HAS SOPS 15273 HAS SOUS 14871 HAS SOUPS 12561 WITH SCORE 12580.662
AT ITER 1444 NEW BEST:: SOT 54099 SOS 19567 HAS SOPS 15178 HAS SOUS 14811 HAS SOUPS 12501 WITH SCORE 12520.567
AT ITER 1455 NEW BEST:: SOT 54092 SOS 19558 HAS SOPS 15169 HAS SOUS 14797 HAS SOUPS 12487 WITH SCORE 12506.558
AT ITER 1475 NEW BEST:: SOT 54091 SOS 19557 HAS SOPS 15167 HAS SOUS 14796 HAS SOUPS 12485 WITH SCORE 12504.557
AT ITER 1488 NEW BEST:: SOT 54086 SOS 19552 HAS SOPS 15162 HAS SOUS 14786 HAS SOUPS 12475 WITH SCORE 12494.552
AT ITER 1511 NEW BEST:: SOT 54083 SOS 19549 HAS SOPS 15159 HAS SOUS 14783 HAS SOUPS 12472 WITH SCORE 12491.549
AT ITER 1526 NEW BEST:: SOT 54083 SOS 19533 HAS SOPS 15143 HAS SOUS 14767 HAS SOUPS 12456 WITH SCORE 12475.533
AT ITER 1533 NEW BEST:: SOT 54096 SOS 19737 HAS SOPS 15251 HAS SOUS 14827 HAS SOUPS 12420 WITH SCORE 12439.737
AT ITER 1544 NEW BEST:: SOT 54096 SOS 19710 HAS SOPS 15224 HAS SOUS 14827 HAS SOUPS 12420 WITH SCORE 12439.71
AT ITER 1547 NEW BEST:: SOT 54033 SOS 19649 HAS SOPS 15163 HAS SOUS 14804 HAS SOUPS 12397 WITH SCORE 12416.649
AT ITER 1559 NEW BEST:: SOT 54023 SOS 19623 HAS SOPS 15137 HAS SOUS 14794 HAS SOUPS 12387 WITH SCORE 12406.623
AT ITER 1567 NEW BEST:: SOT 54068 SOS 19668 HAS SOPS 15124 HAS SOUS 14804 HAS SOUPS 12374 WITH SCORE 12393.668
AT ITER 1581 NEW BEST:: SOT 54060 SOS 19660 HAS SOPS 15116 HAS SOUS 14788 HAS SOUPS 12358 WITH SCORE 12377.66
AT ITER 1582 NEW BEST:: SOT 53978 SOS 19645 HAS SOPS 14989 HAS SOUS 14720 HAS SOUPS 12231 WITH SCORE 12250.645
AT ITER 1583 NEW BEST:: SOT 53969 SOS 19639 HAS SOPS 14983 HAS SOUS 14714 HAS SOUPS 12225 WITH SCORE 12244.639
AT ITER 1610 NEW BEST:: SOT 53875 SOS 19545 HAS SOPS 14889 HAS SOUS 14634 HAS SOUPS 12145 WITH SCORE 12164.545
AT ITER 1620 NEW BEST:: SOT 53679 SOS 19251 HAS SOPS 14693 HAS SOUS 14438 HAS SOUPS 12047 WITH SCORE 12066.251
AT ITER 1629 NEW BEST:: SOT 53659 SOS 19231 HAS SOPS 14672 HAS SOUS 14417 HAS SOUPS 12026 WITH SCORE 12045.231
AT ITER 1633 NEW BEST:: SOT 53582 SOS 19180 HAS SOPS 14621 HAS SOUS 14388 HAS SOUPS 11997 WITH SCORE 12016.18
AT ITER 1639 NEW BEST:: SOT 53565 SOS 19146 HAS SOPS 14604 HAS SOUS 14355 HAS SOUPS 11980 WITH SCORE 11999.146
AT ITER 1653 NEW BEST:: SOT 53539 SOS 19145 HAS SOPS 14603 HAS SOUS 14354 HAS SOUPS 11979 WITH SCORE 11998.145
AT ITER 1661 NEW BEST:: SOT 53539 SOS 19103 HAS SOPS 14561 HAS SOUS 14312 HAS SOUPS 11937 WITH SCORE 11956.103
AT ITER 1662 NEW BEST:: SOT 53506 SOS 19085 HAS SOPS 14543 HAS SOUS 14279 HAS SOUPS 11904 WITH SCORE 11923.085
AT ITER 1676 NEW BEST:: SOT 53506 SOS 19075 HAS SOPS 14533 HAS SOUS 14269 HAS SOUPS 11894 WITH SCORE 11913.075
AT ITER 1729 NEW BEST:: SOT 53485 SOS 19024 HAS SOPS 14531 HAS SOUS 14267 HAS SOUPS 11892 WITH SCORE 11911.024
AT ITER 1733 NEW BEST:: SOT 53485 SOS 18985 HAS SOPS 14492 HAS SOUS 14267 HAS SOUPS 11892 WITH SCORE 11910.985
AT ITER 1735 NEW BEST:: SOT 53387 SOS 18632 HAS SOPS 14400 HAS SOUS 14169 HAS SOUPS 11884 WITH SCORE 11902.632
AT ITER 1749 NEW BEST:: SOT 53370 SOS 18564 HAS SOPS 14383 HAS SOUS 14135 HAS SOUPS 11867 WITH SCORE 11885.564
AT ITER 1768 NEW BEST:: SOT 53368 SOS 18562 HAS SOPS 14365 HAS SOUS 14117 HAS SOUPS 11849 WITH SCORE 11867.562
AT ITER 1780 NEW BEST:: SOT 53366 SOS 18560 HAS SOPS 14365 HAS SOUS 14115 HAS SOUPS 11849 WITH SCORE 11867.56
AT ITER 1794 NEW BEST:: SOT 53336 SOS 18449 HAS SOPS 14254 HAS SOUS 14034 HAS SOUPS 11768 WITH SCORE 11786.449
AT ITER 1799 NEW BEST:: SOT 53336 SOS 18464 HAS SOPS 14269 HAS SOUS 14025 HAS SOUPS 11759 WITH SCORE 11777.464
AT ITER 1812 NEW BEST:: SOT 53209 SOS 18337 HAS SOPS 14142 HAS SOUS 14013 HAS SOUPS 11747 WITH SCORE 11765.337
AT ITER 1831 NEW BEST:: SOT 53209 SOS 18150 HAS SOPS 14142 HAS SOUS 14013 HAS SOUPS 11747 WITH SCORE 11765.15
AT ITER 1846 NEW BEST:: SOT 53064 SOS 17865 HAS SOPS 14132 HAS SOUS 13788 HAS SOUPS 11737 WITH SCORE 11754.865
AT ITER 1855 NEW BEST:: SOT 52995 SOS 17733 HAS SOPS 14000 HAS SOUS 13719 HAS SOUPS 11668 WITH SCORE 11685.733
AT ITER 1858 NEW BEST:: SOT 52962 SOS 17689 HAS SOPS 13967 HAS SOUS 13697 HAS SOUPS 11657 WITH SCORE 11674.689
AT ITER 1859 NEW BEST:: SOT 53117 SOS 17883 HAS SOPS 13958 HAS SOUS 13786 HAS SOUPS 11648 WITH SCORE 11665.883
AT ITER 1878 NEW BEST:: SOT 53106 SOS 17872 HAS SOPS 13947 HAS SOUS 13776 HAS SOUPS 11638 WITH SCORE 11655.872
AT ITER 1903 NEW BEST:: SOT 53064 SOS 17834 HAS SOPS 13909 HAS SOUS 13753 HAS SOUPS 11615 WITH SCORE 11632.834
AT ITER 1904 NEW BEST:: SOT 53064 SOS 17825 HAS SOPS 13900 HAS SOUS 13747 HAS SOUPS 11609 WITH SCORE 11626.825
AT ITER 1927 NEW BEST:: SOT 53050 SOS 17811 HAS SOPS 13902 HAS SOUS 13703 HAS SOUPS 11581 WITH SCORE 11598.811
AT ITER 1940 NEW BEST:: SOT 53037 SOS 17785 HAS SOPS 13876 HAS SOUS 13690 HAS SOUPS 11568 WITH SCORE 11585.785
AT ITER 1946 NEW BEST:: SOT 53020 SOS 17679 HAS SOPS 13867 HAS SOUS 13584 HAS SOUPS 11559 WITH SCORE 11576.679
AT ITER 1949 NEW BEST:: SOT 53032 SOS 17765 HAS SOPS 13830 HAS SOUS 13596 HAS SOUPS 11522 WITH SCORE 11539.765
AT ITER 1956 NEW BEST:: SOT 53084 SOS 17817 HAS SOPS 13882 HAS SOUS 13568 HAS SOUPS 11494 WITH SCORE 11511.817
AT ITER 1962 NEW BEST:: SOT 53084 SOS 17734 HAS SOPS 13882 HAS SOUS 13568 HAS SOUPS 11494 WITH SCORE 11511.734
AT ITER 1977 NEW BEST:: SOT 53084 SOS 17731 HAS SOPS 13879 HAS SOUS 13565 HAS SOUPS 11491 WITH SCORE 11508.731
AT ITER 1991 NEW BEST:: SOT 53084 SOS 17670 HAS SOPS 13803 HAS SOUS 13550 HAS SOUPS 11461 WITH SCORE 11478.67
AT ITER 2031 NEW BEST:: SOT 53080 SOS 17666 HAS SOPS 13795 HAS SOUS 13546 HAS SOUPS 11453 WITH SCORE 11470.666
AT ITER 2036 NEW BEST:: SOT 53080 SOS 17646 HAS SOPS 13795 HAS SOUS 13546 HAS SOUPS 11453 WITH SCORE 11470.646
AT ITER 2037 NEW BEST:: SOT 53080 SOS 17649 HAS SOPS 13794 HAS SOUS 13546 HAS SOUPS 11452 WITH SCORE 11469.649
AT ITER 2040 NEW BEST:: SOT 53074 SOS 17643 HAS SOPS 13788 HAS SOUS 13540 HAS SOUPS 11446 WITH SCORE 11463.643
AT ITER 2045 NEW BEST:: SOT 53067 SOS 17519 HAS SOPS 13664 HAS SOUS 13501 HAS SOUPS 11407 WITH SCORE 11424.519
AT ITER 2050 NEW BEST:: SOT 53072 SOS 17495 HAS SOPS 13640 HAS SOUS 13489 HAS SOUPS 11395 WITH SCORE 11412.495
AT ITER 2053 NEW BEST:: SOT 53037 SOS 17425 HAS SOPS 13570 HAS SOUS 13419 HAS SOUPS 11325 WITH SCORE 11342.425
AT ITER 2075 NEW BEST:: SOT 53033 SOS 17425 HAS SOPS 13562 HAS SOUS 13411 HAS SOUPS 11317 WITH SCORE 11334.425
AT ITER 2079 NEW BEST:: SOT 53023 SOS 17415 HAS SOPS 13545 HAS SOUS 13391 HAS SOUPS 11297 WITH SCORE 11314.415
AT ITER 2105 NEW BEST:: SOT 53005 SOS 17389 HAS SOPS 13521 HAS SOUS 13365 HAS SOUPS 11273 WITH SCORE 11290.389
AT ITER 2111 NEW BEST:: SOT 53020 SOS 17300 HAS SOPS 13432 HAS SOUS 13337 HAS SOUPS 11245 WITH SCORE 11262.3
AT ITER 2112 NEW BEST:: SOT 53020 SOS 17317 HAS SOPS 13449 HAS SOUS 13331 HAS SOUPS 11239 WITH SCORE 11256.317
AT ITER 2123 NEW BEST:: SOT 52995 SOS 17141 HAS SOPS 13424 HAS SOUS 13261 HAS SOUPS 11214 WITH SCORE 11231.141
AT ITER 2127 NEW BEST:: SOT 52995 SOS 17125 HAS SOPS 13397 HAS SOUS 13256 HAS SOUPS 11198 WITH SCORE 11215.125
AT ITER 2157 NEW BEST:: SOT 52879 SOS 17009 HAS SOPS 13281 HAS SOUS 13202 HAS SOUPS 11144 WITH SCORE 11161.009
AT ITER 2159 NEW BEST:: SOT 52874 SOS 17002 HAS SOPS 13274 HAS SOUS 13197 HAS SOUPS 11139 WITH SCORE 11156.002
AT ITER 2167 NEW BEST:: SOT 52871 SOS 16977 HAS SOPS 13249 HAS SOUS 13164 HAS SOUPS 11106 WITH SCORE 11122.977
AT ITER 2191 NEW BEST:: SOT 52869 SOS 16975 HAS SOPS 13245 HAS SOUS 13170 HAS SOUPS 11102 WITH SCORE 11118.975
AT ITER 2220 NEW BEST:: SOT 52849 SOS 16935 HAS SOPS 13205 HAS SOUS 13130 HAS SOUPS 11062 WITH SCORE 11078.935
AT ITER 2228 NEW BEST:: SOT 52792 SOS 16852 HAS SOPS 13186 HAS SOUS 13077 HAS SOUPS 11009 WITH SCORE 11025.852
AT ITER 2229 NEW BEST:: SOT 52777 SOS 16816 HAS SOPS 13171 HAS SOUS 13041 HAS SOUPS 10994 WITH SCORE 11010.816
AT ITER 2249 NEW BEST:: SOT 52762 SOS 16717 HAS SOPS 13126 HAS SOUS 13021 HAS SOUPS 10983 WITH SCORE 10999.717
AT ITER 2263 NEW BEST:: SOT 52748 SOS 16690 HAS SOPS 13099 HAS SOUS 13008 HAS SOUPS 10970 WITH SCORE 10986.69
AT ITER 2284 NEW BEST:: SOT 52740 SOS 16665 HAS SOPS 13074 HAS SOUS 12991 HAS SOUPS 10953 WITH SCORE 10969.665
AT ITER 2287 NEW BEST:: SOT 52740 SOS 16440 HAS SOPS 13074 HAS SOUS 12991 HAS SOUPS 10953 WITH SCORE 10969.44
AT ITER 2298 NEW BEST:: SOT 52747 SOS 16473 HAS SOPS 13058 HAS SOUS 13036 HAS SOUPS 10949 WITH SCORE 10965.473
AT ITER 2309 NEW BEST:: SOT 52735 SOS 16637 HAS SOPS 13222 HAS SOUS 13024 HAS SOUPS 10937 WITH SCORE 10953.637
AT ITER 2333 NEW BEST:: SOT 52652 SOS 16575 HAS SOPS 13125 HAS SOUS 12962 HAS SOUPS 10840 WITH SCORE 10856.575
AT ITER 2379 NEW BEST:: SOT 52619 SOS 16526 HAS SOPS 13059 HAS SOUS 12965 HAS SOUPS 10831 WITH SCORE 10847.526
AT ITER 2421 NEW BEST:: SOT 52626 SOS 16533 HAS SOPS 13066 HAS SOUS 12962 HAS SOUPS 10828 WITH SCORE 10844.533
AT ITER 2422 NEW BEST:: SOT 52614 SOS 16526 HAS SOPS 13052 HAS SOUS 12943 HAS SOUPS 10809 WITH SCORE 10825.526
AT ITER 2426 NEW BEST:: SOT 52641 SOS 16553 HAS SOPS 12997 HAS SOUS 12888 HAS SOUPS 10754 WITH SCORE 10770.553
AT ITER 2467 NEW BEST:: SOT 52618 SOS 16530 HAS SOPS 12974 HAS SOUS 12878 HAS SOUPS 10744 WITH SCORE 10760.53
AT ITER 2503 NEW BEST:: SOT 52635 SOS 16378 HAS SOPS 12822 HAS SOUS 12818 HAS SOUPS 10684 WITH SCORE 10700.378
AT ITER 2541 NEW BEST:: SOT 52631 SOS 16410 HAS SOPS 12854 HAS SOUS 12816 HAS SOUPS 10682 WITH SCORE 10698.41
AT ITER 2548 NEW BEST:: SOT 52741 SOS 16793 HAS SOPS 12904 HAS SOUS 12906 HAS SOUPS 10664 WITH SCORE 10680.793
AT ITER 2596 NEW BEST:: SOT 52739 SOS 16791 HAS SOPS 12900 HAS SOUS 12904 HAS SOUPS 10660 WITH SCORE 10676.791
AT ITER 2598 NEW BEST:: SOT 52738 SOS 16790 HAS SOPS 12899 HAS SOUS 12903 HAS SOUPS 10659 WITH SCORE 10675.79
AT ITER 2606 NEW BEST:: SOT 52734 SOS 16786 HAS SOPS 12891 HAS SOUS 12899 HAS SOUPS 10651 WITH SCORE 10667.786
AT ITER 2625 NEW BEST:: SOT 52604 SOS 16621 HAS SOPS 12841 HAS SOUS 12800 HAS SOUPS 10601 WITH SCORE 10617.621
AT ITER 2631 NEW BEST:: SOT 52586 SOS 16633 HAS SOPS 12805 HAS SOUS 12795 HAS SOUPS 10565 WITH SCORE 10581.633
AT ITER 2666 NEW BEST:: SOT 52592 SOS 16631 HAS SOPS 12803 HAS SOUS 12793 HAS SOUPS 10563 WITH SCORE 10579.631
AT ITER 2668 NEW BEST:: SOT 52585 SOS 16624 HAS SOPS 12789 HAS SOUS 12786 HAS SOUPS 10549 WITH SCORE 10565.624
AT ITER 2670 NEW BEST:: SOT 52574 SOS 16610 HAS SOPS 12770 HAS SOUS 12775 HAS SOUPS 10534 WITH SCORE 10550.61
AT ITER 2677 NEW BEST:: SOT 52570 SOS 16606 HAS SOPS 12766 HAS SOUS 12775 HAS SOUPS 10534 WITH SCORE 10550.606
AT ITER 2702 NEW BEST:: SOT 52570 SOS 16602 HAS SOPS 12762 HAS SOUS 12775 HAS SOUPS 10534 WITH SCORE 10550.602
AT ITER 2703 NEW BEST:: SOT 52568 SOS 16588 HAS SOPS 12748 HAS SOUS 12767 HAS SOUPS 10526 WITH SCORE 10542.588
AT ITER 2711 NEW BEST:: SOT 52568 SOS 16588 HAS SOPS 12745 HAS SOUS 12764 HAS SOUPS 10523 WITH SCORE 10539.588
AT ITER 2731 NEW BEST:: SOT 52547 SOS 16485 HAS SOPS 12642 HAS SOUS 12728 HAS SOUPS 10487 WITH SCORE 10503.485
AT ITER 2741 NEW BEST:: SOT 52538 SOS 16464 HAS SOPS 12621 HAS SOUS 12710 HAS SOUPS 10469 WITH SCORE 10485.464
AT ITER 2748 NEW BEST:: SOT 52613 SOS 16549 HAS SOPS 12636 HAS SOUS 12779 HAS SOUPS 10468 WITH SCORE 10484.549
AT ITER 2753 NEW BEST:: SOT 52559 SOS 16479 HAS SOPS 12566 HAS SOUS 12737 HAS SOUPS 10426 WITH SCORE 10442.479
AT ITER 2779 NEW BEST:: SOT 52560 SOS 16481 HAS SOPS 12568 HAS SOUS 12736 HAS SOUPS 10425 WITH SCORE 10441.481
AT ITER 2792 NEW BEST:: SOT 52536 SOS 16445 HAS SOPS 12532 HAS SOUS 12700 HAS SOUPS 10389 WITH SCORE 10405.445
AT ITER 2795 NEW BEST:: SOT 52530 SOS 16428 HAS SOPS 12521 HAS SOUS 12683 HAS SOUPS 10378 WITH SCORE 10394.428
AT ITER 2813 NEW BEST:: SOT 52530 SOS 16427 HAS SOPS 12520 HAS SOUS 12683 HAS SOUPS 10378 WITH SCORE 10394.427
AT ITER 2818 NEW BEST:: SOT 52524 SOS 16426 HAS SOPS 12511 HAS SOUS 12688 HAS SOUPS 10369 WITH SCORE 10385.426
AT ITER 2827 NEW BEST:: SOT 52520 SOS 16414 HAS SOPS 12507 HAS SOUS 12684 HAS SOUPS 10367 WITH SCORE 10383.414
AT ITER 2876 NEW BEST:: SOT 52512 SOS 16406 HAS SOPS 12491 HAS SOUS 12676 HAS SOUPS 10351 WITH SCORE 10367.406
AT ITER 2913 NEW BEST:: SOT 52426 SOS 16162 HAS SOPS 12405 HAS SOUS 12590 HAS SOUPS 10308 WITH SCORE 10324.162
AT ITER 2921 NEW BEST:: SOT 52398 SOS 16123 HAS SOPS 12349 HAS SOUS 12508 HAS SOUPS 10252 WITH SCORE 10268.123
AT ITER 2930 NEW BEST:: SOT 52327 SOS 16012 HAS SOPS 12238 HAS SOUS 12462 HAS SOUPS 10206 WITH SCORE 10222.012
AT ITER 2934 NEW BEST:: SOT 52327 SOS 15991 HAS SOPS 12203 HAS SOUS 12455 HAS SOUPS 10192 WITH SCORE 10207.991
AT ITER 2936 NEW BEST:: SOT 52256 SOS 15859 HAS SOPS 12071 HAS SOUS 12388 HAS SOUPS 10125 WITH SCORE 10140.859
AT ITER 2970 NEW BEST:: SOT 52316 SOS 15822 HAS SOPS 12034 HAS SOUS 12386 HAS SOUPS 10123 WITH SCORE 10138.822
AT ITER 2975 NEW BEST:: SOT 52314 SOS 15794 HAS SOPS 12006 HAS SOUS 12358 HAS SOUPS 10095 WITH SCORE 10110.794
AT ITER 2977 NEW BEST:: SOT 52302 SOS 15788 HAS SOPS 11982 HAS SOUS 12342 HAS SOUPS 10079 WITH SCORE 10094.788
AT ITER 2993 NEW BEST:: SOT 52291 SOS 15715 HAS SOPS 11909 HAS SOUS 12317 HAS SOUPS 10054 WITH SCORE 10069.715
AT ITER 2994 NEW BEST:: SOT 52283 SOS 15707 HAS SOPS 11901 HAS SOUS 12309 HAS SOUPS 10046 WITH SCORE 10061.707
AT ITER 3002 NEW BEST:: SOT 52229 SOS 15701 HAS SOPS 11895 HAS SOUS 12303 HAS SOUPS 10040 WITH SCORE 10055.701
AT ITER 3005 NEW BEST:: SOT 52216 SOS 15700 HAS SOPS 11894 HAS SOUS 12299 HAS SOUPS 10036 WITH SCORE 10051.7
AT ITER 3027 NEW BEST:: SOT 52252 SOS 15716 HAS SOPS 11910 HAS SOUS 12293 HAS SOUPS 10030 WITH SCORE 10045.716
AT ITER 3036 NEW BEST:: SOT 52192 SOS 15656 HAS SOPS 11910 HAS SOUS 12233 HAS SOUPS 10030 WITH SCORE 10045.656
AT ITER 3051 NEW BEST:: SOT 52196 SOS 15652 HAS SOPS 11906 HAS SOUS 12232 HAS SOUPS 10029 WITH SCORE 10044.652
AT ITER 3056 NEW BEST:: SOT 52151 SOS 15634 HAS SOPS 11888 HAS SOUS 12211 HAS SOUPS 10008 WITH SCORE 10023.634
AT ITER 3092 NEW BEST:: SOT 52133 SOS 15616 HAS SOPS 11870 HAS SOUS 12202 HAS SOUPS 9999 WITH SCORE 10014.616
AT ITER 3094 NEW BEST:: SOT 52130 SOS 15574 HAS SOPS 11828 HAS SOUS 12174 HAS SOUPS 9971 WITH SCORE 9986.574
AT ITER 3099 NEW BEST:: SOT 52130 SOS 15537 HAS SOPS 11801 HAS SOUS 12168 HAS SOUPS 9971 WITH SCORE 9986.537
AT ITER 3100 NEW BEST:: SOT 52116 SOS 15523 HAS SOPS 11787 HAS SOUS 12168 HAS SOUPS 9971 WITH SCORE 9986.523
AT ITER 3112 NEW BEST:: SOT 52103 SOS 15439 HAS SOPS 11767 HAS SOUS 12147 HAS SOUPS 9950 WITH SCORE 9965.439
AT ITER 3154 NEW BEST:: SOT 52100 SOS 15436 HAS SOPS 11764 HAS SOUS 12141 HAS SOUPS 9944 WITH SCORE 9959.436
AT ITER 3209 NEW BEST:: SOT 52082 SOS 15418 HAS SOPS 11746 HAS SOUS 12123 HAS SOUPS 9926 WITH SCORE 9941.418
AT ITER 3216 NEW BEST:: SOT 52076 SOS 15412 HAS SOPS 11734 HAS SOUS 12111 HAS SOUPS 9914 WITH SCORE 9929.412
AT ITER 3237 NEW BEST:: SOT 52076 SOS 15394 HAS SOPS 11698 HAS SOUS 12111 HAS SOUPS 9896 WITH SCORE 9911.394
AT ITER 3254 NEW BEST:: SOT 52140 SOS 15485 HAS SOPS 11604 HAS SOUS 12122 HAS SOUPS 9860 WITH SCORE 9875.485
AT ITER 3265 NEW BEST:: SOT 52140 SOS 15482 HAS SOPS 11601 HAS SOUS 12119 HAS SOUPS 9857 WITH SCORE 9872.482
AT ITER 3271 NEW BEST:: SOT 52137 SOS 15479 HAS SOPS 11595 HAS SOUS 12113 HAS SOUPS 9851 WITH SCORE 9866.479
AT ITER 3284 NEW BEST:: SOT 52137 SOS 15479 HAS SOPS 11595 HAS SOUS 12112 HAS SOUPS 9850 WITH SCORE 9865.479
AT ITER 3314 NEW BEST:: SOT 52108 SOS 15465 HAS SOPS 11581 HAS SOUS 12098 HAS SOUPS 9836 WITH SCORE 9851.465
AT ITER 3393 NEW BEST:: SOT 52094 SOS 15441 HAS SOPS 11557 HAS SOUS 12078 HAS SOUPS 9816 WITH SCORE 9831.441
AT ITER 3401 NEW BEST:: SOT 52074 SOS 15421 HAS SOPS 11537 HAS SOUS 12038 HAS SOUPS 9776 WITH SCORE 9791.421
AT ITER 3404 NEW BEST:: SOT 52057 SOS 15518 HAS SOPS 11634 HAS SOUS 12023 HAS SOUPS 9761 WITH SCORE 9776.518
AT ITER 3475 NEW BEST:: SOT 52057 SOS 15515 HAS SOPS 11631 HAS SOUS 12020 HAS SOUPS 9758 WITH SCORE 9773.515
AT ITER 3508 NEW BEST:: SOT 52029 SOS 15483 HAS SOPS 11599 HAS SOUS 12017 HAS SOUPS 9755 WITH SCORE 9770.483
AT ITER 3522 NEW BEST:: SOT 52033 SOS 15496 HAS SOPS 11572 HAS SOUS 12012 HAS SOUPS 9737 WITH SCORE 9752.496
AT ITER 3551 NEW BEST:: SOT 52017 SOS 15493 HAS SOPS 11533 HAS SOUS 11926 HAS SOUPS 9703 WITH SCORE 9718.493
AT ITER 3564 NEW BEST:: SOT 51996 SOS 15454 HAS SOPS 11494 HAS SOUS 11887 HAS SOUPS 9664 WITH SCORE 9679.454
AT ITER 3597 NEW BEST:: SOT 51973 SOS 15422 HAS SOPS 11492 HAS SOUS 11852 HAS SOUPS 9629 WITH SCORE 9644.422
AT ITER 3631 NEW BEST:: SOT 51961 SOS 15422 HAS SOPS 11492 HAS SOUS 11846 HAS SOUPS 9623 WITH SCORE 9638.422
AT ITER 3642 NEW BEST:: SOT 51961 SOS 15360 HAS SOPS 11492 HAS SOUS 11815 HAS SOUPS 9623 WITH SCORE 9638.36
AT ITER 3658 NEW BEST:: SOT 51996 SOS 15447 HAS SOPS 11410 HAS SOUS 11811 HAS SOUPS 9564 WITH SCORE 9579.447
AT ITER 3673 NEW BEST:: SOT 51998 SOS 15417 HAS SOPS 11380 HAS SOUS 11789 HAS SOUPS 9542 WITH SCORE 9557.417
AT ITER 3692 NEW BEST:: SOT 52005 SOS 15409 HAS SOPS 11389 HAS SOUS 11754 HAS SOUPS 9524 WITH SCORE 9539.409
AT ITER 3697 NEW BEST:: SOT 52005 SOS 15379 HAS SOPS 11389 HAS SOUS 11754 HAS SOUPS 9524 WITH SCORE 9539.379
AT ITER 3698 NEW BEST:: SOT 52001 SOS 15298 HAS SOPS 11312 HAS SOUS 11746 HAS SOUPS 9516 WITH SCORE 9531.298
AT ITER 3710 NEW BEST:: SOT 52009 SOS 15313 HAS SOPS 11260 HAS SOUS 11760 HAS SOUPS 9463 WITH SCORE 9478.313
AT ITER 3718 NEW BEST:: SOT 52019 SOS 15343 HAS SOPS 11273 HAS SOUS 11743 HAS SOUPS 9429 WITH SCORE 9444.343
AT ITER 3778 NEW BEST:: SOT 52011 SOS 15325 HAS SOPS 11255 HAS SOUS 11730 HAS SOUPS 9416 WITH SCORE 9431.325
AT ITER 3784 NEW BEST:: SOT 52001 SOS 15297 HAS SOPS 11235 HAS SOUS 11710 HAS SOUPS 9396 WITH SCORE 9411.297
AT ITER 3822 NEW BEST:: SOT 52023 SOS 15360 HAS SOPS 11227 HAS SOUS 11732 HAS SOUPS 9390 WITH SCORE 9405.36
AT ITER 3824 NEW BEST:: SOT 52023 SOS 15276 HAS SOPS 11227 HAS SOUS 11711 HAS SOUPS 9390 WITH SCORE 9405.276
AT ITER 3831 NEW BEST:: SOT 52018 SOS 15276 HAS SOPS 11217 HAS SOUS 11701 HAS SOUPS 9380 WITH SCORE 9395.276
AT ITER 3850 NEW BEST:: SOT 52016 SOS 15282 HAS SOPS 11213 HAS SOUS 11697 HAS SOUPS 9376 WITH SCORE 9391.282
AT ITER 3874 NEW BEST:: SOT 52001 SOS 15267 HAS SOPS 11183 HAS SOUS 11664 HAS SOUPS 9346 WITH SCORE 9361.267
AT ITER 3880 NEW BEST:: SOT 51998 SOS 15264 HAS SOPS 11169 HAS SOUS 11667 HAS SOUPS 9338 WITH SCORE 9353.264
AT ITER 3890 NEW BEST:: SOT 51994 SOS 15260 HAS SOPS 11165 HAS SOUS 11667 HAS SOUPS 9338 WITH SCORE 9353.26
AT ITER 3892 NEW BEST:: SOT 51994 SOS 15259 HAS SOPS 11164 HAS SOUS 11666 HAS SOUPS 9337 WITH SCORE 9352.259
AT ITER 3979 NEW BEST:: SOT 51966 SOS 15215 HAS SOPS 11136 HAS SOUS 11638 HAS SOUPS 9309 WITH SCORE 9324.215
AT ITER 4015 NEW BEST:: SOT 51963 SOS 15212 HAS SOPS 11130 HAS SOUS 11610 HAS SOUPS 9303 WITH SCORE 9318.212
AT ITER 4017 NEW BEST:: SOT 51959 SOS 15208 HAS SOPS 11122 HAS SOUS 11606 HAS SOUPS 9299 WITH SCORE 9314.208
AT ITER 4089 NEW BEST:: SOT 51952 SOS 15173 HAS SOPS 11087 HAS SOUS 11590 HAS SOUPS 9283 WITH SCORE 9298.173
AT ITER 4098 NEW BEST:: SOT 51952 SOS 15173 HAS SOPS 11087 HAS SOUS 11589 HAS SOUPS 9282 WITH SCORE 9297.173
AT ITER 4132 NEW BEST:: SOT 51948 SOS 15160 HAS SOPS 11074 HAS SOUS 11576 HAS SOUPS 9269 WITH SCORE 9284.16
AT ITER 4199 NEW BEST:: SOT 51950 SOS 14999 HAS SOPS 10967 HAS SOUS 11525 HAS SOUPS 9218 WITH SCORE 9232.999
AT ITER 4200 NEW BEST:: SOT 51943 SOS 14992 HAS SOPS 10960 HAS SOUS 11518 HAS SOUPS 9211 WITH SCORE 9225.992
AT ITER 4334 NEW BEST:: SOT 51941 SOS 15011 HAS SOPS 10967 HAS SOUS 11515 HAS SOUPS 9208 WITH SCORE 9223.011
AT ITER 4336 NEW BEST:: SOT 51934 SOS 15004 HAS SOPS 10960 HAS SOUS 11502 HAS SOUPS 9195 WITH SCORE 9210.004
AT ITER 4359 NEW BEST:: SOT 51956 SOS 15114 HAS SOPS 10946 HAS SOUS 11524 HAS SOUPS 9181 WITH SCORE 9196.114
AT ITER 4361 NEW BEST:: SOT 51946 SOS 15104 HAS SOPS 10936 HAS SOUS 11504 HAS SOUPS 9161 WITH SCORE 9176.104
AT ITER 4369 NEW BEST:: SOT 51910 SOS 15066 HAS SOPS 10898 HAS SOUS 11450 HAS SOUPS 9107 WITH SCORE 9122.066
AT ITER 4372 NEW BEST:: SOT 51900 SOS 15046 HAS SOPS 10878 HAS SOUS 11440 HAS SOUPS 9097 WITH SCORE 9112.046
AT ITER 4378 NEW BEST:: SOT 51860 SOS 15048 HAS SOPS 10737 HAS SOUS 11373 HAS SOUPS 8956 WITH SCORE 8971.048
AT ITER 4390 NEW BEST:: SOT 51865 SOS 15053 HAS SOPS 10742 HAS SOUS 11372 HAS SOUPS 8955 WITH SCORE 8970.053
AT ITER 4448 NEW BEST:: SOT 51882 SOS 15091 HAS SOPS 10739 HAS SOUS 11410 HAS SOUPS 8952 WITH SCORE 8967.091
AT ITER 4491 NEW BEST:: SOT 51904 SOS 15069 HAS SOPS 10717 HAS SOUS 11410 HAS SOUPS 8952 WITH SCORE 8967.069
AT ITER 4536 NEW BEST:: SOT 51894 SOS 15034 HAS SOPS 10682 HAS SOUS 11391 HAS SOUPS 8933 WITH SCORE 8948.034
AT ITER 4558 NEW BEST:: SOT 51894 SOS 14964 HAS SOPS 10682 HAS SOUS 11391 HAS SOUPS 8933 WITH SCORE 8947.964
AT ITER 4583 NEW BEST:: SOT 51893 SOS 14963 HAS SOPS 10680 HAS SOUS 11390 HAS SOUPS 8932 WITH SCORE 8946.963
AT ITER 4592 NEW BEST:: SOT 51832 SOS 14923 HAS SOPS 10640 HAS SOUS 11374 HAS SOUPS 8916 WITH SCORE 8930.923
AT ITER 4652 NEW BEST:: SOT 51829 SOS 14917 HAS SOPS 10634 HAS SOUS 11371 HAS SOUPS 8913 WITH SCORE 8927.917
AT ITER 4694 NEW BEST:: SOT 51825 SOS 14911 HAS SOPS 10626 HAS SOUS 11367 HAS SOUPS 8907 WITH SCORE 8921.911
AT ITER 4706 NEW BEST:: SOT 51832 SOS 14924 HAS SOPS 10625 HAS SOUS 11366 HAS SOUPS 8906 WITH SCORE 8920.924
AT ITER 4717 NEW BEST:: SOT 51794 SOS 14858 HAS SOPS 10559 HAS SOUS 11343 HAS SOUPS 8883 WITH SCORE 8897.858
AT ITER 4739 NEW BEST:: SOT 51772 SOS 14828 HAS SOPS 10536 HAS SOUS 11349 HAS SOUPS 8860 WITH SCORE 8874.828
AT ITER 4745 NEW BEST:: SOT 51772 SOS 14822 HAS SOPS 10536 HAS SOUS 11343 HAS SOUPS 8860 WITH SCORE 8874.822
AT ITER 4786 NEW BEST:: SOT 51768 SOS 14806 HAS SOPS 10520 HAS SOUS 11335 HAS SOUPS 8852 WITH SCORE 8866.806
AT ITER 4827 NEW BEST:: SOT 51769 SOS 14807 HAS SOPS 10522 HAS SOUS 11331 HAS SOUPS 8848 WITH SCORE 8862.807
AT ITER 4850 NEW BEST:: SOT 51765 SOS 14803 HAS SOPS 10517 HAS SOUS 11329 HAS SOUPS 8846 WITH SCORE 8860.803
AT ITER 4853 NEW BEST:: SOT 51775 SOS 14831 HAS SOPS 10545 HAS SOUS 11322 HAS SOUPS 8839 WITH SCORE 8853.831
AT ITER 4863 NEW BEST:: SOT 51781 SOS 14846 HAS SOPS 10497 HAS SOUS 11310 HAS SOUPS 8806 WITH SCORE 8820.846
AT ITER 4867 NEW BEST:: SOT 51775 SOS 14827 HAS SOPS 10478 HAS SOUS 11304 HAS SOUPS 8800 WITH SCORE 8814.827
AT ITER 4874 NEW BEST:: SOT 51756 SOS 14809 HAS SOPS 10461 HAS SOUS 11287 HAS SOUPS 8783 WITH SCORE 8797.809
AT ITER 4906 NEW BEST:: SOT 51741 SOS 14756 HAS SOPS 10408 HAS SOUS 11249 HAS SOUPS 8745 WITH SCORE 8759.756
AT ITER 4925 NEW BEST:: SOT 51765 SOS 14873 HAS SOPS 10399 HAS SOUS 11306 HAS SOUPS 8736 WITH SCORE 8750.873
AT ITER 4975 NEW BEST:: SOT 51757 SOS 14865 HAS SOPS 10391 HAS SOUS 11298 HAS SOUPS 8728 WITH SCORE 8742.865
AT ITER 4976 NEW BEST:: SOT 51775 SOS 15046 HAS SOPS 10366 HAS SOUS 11325 HAS SOUPS 8703 WITH SCORE 8718.046
AT ITER 5002 NEW BEST:: SOT 51786 SOS 15057 HAS SOPS 10377 HAS SOUS 11314 HAS SOUPS 8692 WITH SCORE 8707.057
AT ITER 5020 NEW BEST:: SOT 51786 SOS 15079 HAS SOPS 10366 HAS SOUS 11314 HAS SOUPS 8681 WITH SCORE 8696.079
AT ITER 5037 NEW BEST:: SOT 51779 SOS 15072 HAS SOPS 10352 HAS SOUS 11307 HAS SOUPS 8667 WITH SCORE 8682.072
AT ITER 5073 NEW BEST:: SOT 51788 SOS 15072 HAS SOPS 10352 HAS SOUS 11290 HAS SOUPS 8650 WITH SCORE 8665.072
AT ITER 5180 NEW BEST:: SOT 51784 SOS 15062 HAS SOPS 10342 HAS SOUS 11284 HAS SOUPS 8644 WITH SCORE 8659.062
AT ITER 5210 NEW BEST:: SOT 51784 SOS 15062 HAS SOPS 10342 HAS SOUS 11280 HAS SOUPS 8640 WITH SCORE 8655.062
AT ITER 5215 NEW BEST:: SOT 51778 SOS 14963 HAS SOPS 10243 HAS SOUS 11253 HAS SOUPS 8613 WITH SCORE 8627.963
AT ITER 5280 NEW BEST:: SOT 51773 SOS 14940 HAS SOPS 10220 HAS SOUS 11235 HAS SOUPS 8595 WITH SCORE 8609.94
AT ITER 5281 NEW BEST:: SOT 51766 SOS 14933 HAS SOPS 10213 HAS SOUS 11228 HAS SOUPS 8588 WITH SCORE 8602.933
AT ITER 5300 NEW BEST:: SOT 51765 SOS 14927 HAS SOPS 10207 HAS SOUS 11226 HAS SOUPS 8586 WITH SCORE 8600.927
AT ITER 5326 NEW BEST:: SOT 51785 SOS 15059 HAS SOPS 10191 HAS SOUS 11238 HAS SOUPS 8570 WITH SCORE 8585.059
AT ITER 5334 NEW BEST:: SOT 51785 SOS 15038 HAS SOPS 10170 HAS SOUS 11235 HAS SOUPS 8567 WITH SCORE 8582.038
AT ITER 5336 NEW BEST:: SOT 51779 SOS 15032 HAS SOPS 10158 HAS SOUS 11229 HAS SOUPS 8555 WITH SCORE 8570.032
AT ITER 5342 NEW BEST:: SOT 51776 SOS 15029 HAS SOPS 10155 HAS SOUS 11229 HAS SOUPS 8552 WITH SCORE 8567.029
AT ITER 5445 NEW BEST:: SOT 51776 SOS 14870 HAS SOPS 10155 HAS SOUS 11229 HAS SOUPS 8552 WITH SCORE 8566.87
AT ITER 5453 NEW BEST:: SOT 51751 SOS 14830 HAS SOPS 10115 HAS SOUS 11204 HAS SOUPS 8527 WITH SCORE 8541.83
AT ITER 5457 NEW BEST:: SOT 51745 SOS 14844 HAS SOPS 10129 HAS SOUS 11200 HAS SOUPS 8523 WITH SCORE 8537.844
AT ITER 5484 NEW BEST:: SOT 51741 SOS 14819 HAS SOPS 10104 HAS SOUS 11183 HAS SOUPS 8506 WITH SCORE 8520.819
AT ITER 5492 NEW BEST:: SOT 51730 SOS 14767 HAS SOPS 10093 HAS SOUS 11172 HAS SOUPS 8495 WITH SCORE 8509.767
AT ITER 5526 NEW BEST:: SOT 51713 SOS 14749 HAS SOPS 10086 HAS SOUS 11161 HAS SOUPS 8495 WITH SCORE 8509.749
AT ITER 5539 NEW BEST:: SOT 51699 SOS 14735 HAS SOPS 10058 HAS SOUS 11133 HAS SOUPS 8467 WITH SCORE 8481.735
AT ITER 5578 NEW BEST:: SOT 51697 SOS 14703 HAS SOPS 10026 HAS SOUS 11130 HAS SOUPS 8464 WITH SCORE 8478.703
AT ITER 5594 NEW BEST:: SOT 51697 SOS 14701 HAS SOPS 10024 HAS SOUS 11128 HAS SOUPS 8462 WITH SCORE 8476.701
AT ITER 5611 NEW BEST:: SOT 51698 SOS 14699 HAS SOPS 10014 HAS SOUS 11126 HAS SOUPS 8452 WITH SCORE 8466.699
AT ITER 5693 NEW BEST:: SOT 51700 SOS 14734 HAS SOPS 10005 HAS SOUS 11128 HAS SOUPS 8443 WITH SCORE 8457.734
AT ITER 5695 NEW BEST:: SOT 51749 SOS 14783 HAS SOPS 9994 HAS SOUS 11133 HAS SOUPS 8432 WITH SCORE 8446.783
AT ITER 5727 NEW BEST:: SOT 51754 SOS 14858 HAS SOPS 10009 HAS SOUS 11118 HAS SOUPS 8417 WITH SCORE 8431.858
AT ITER 5728 NEW BEST:: SOT 51777 SOS 14865 HAS SOPS 10008 HAS SOUS 11125 HAS SOUPS 8416 WITH SCORE 8430.865
AT ITER 5733 NEW BEST:: SOT 51777 SOS 14871 HAS SOPS 10014 HAS SOUS 11103 HAS SOUPS 8394 WITH SCORE 8408.871
AT ITER 5749 NEW BEST:: SOT 51776 SOS 14870 HAS SOPS 10013 HAS SOUS 11102 HAS SOUPS 8393 WITH SCORE 8407.87
AT ITER 5801 NEW BEST:: SOT 51776 SOS 14822 HAS SOPS 9941 HAS SOUS 11078 HAS SOUPS 8345 WITH SCORE 8359.822
AT ITER 5886 NEW BEST:: SOT 51829 SOS 14929 HAS SOPS 9939 HAS SOUS 11175 HAS SOUPS 8343 WITH SCORE 8357.929
AT ITER 5938 NEW BEST:: SOT 51820 SOS 14893 HAS SOPS 9939 HAS SOUS 11166 HAS SOUPS 8343 WITH SCORE 8357.893
AT ITER 5963 NEW BEST:: SOT 51797 SOS 14870 HAS SOPS 9893 HAS SOUS 11104 HAS SOUPS 8297 WITH SCORE 8311.87
AT ITER 5989 NEW BEST:: SOT 51796 SOS 14868 HAS SOPS 9891 HAS SOUS 11102 HAS SOUPS 8295 WITH SCORE 8309.868
AT ITER 5995 NEW BEST:: SOT 51766 SOS 14891 HAS SOPS 9876 HAS SOUS 11072 HAS SOUPS 8265 WITH SCORE 8279.891
AT ITER 5998 NEW BEST:: SOT 51746 SOS 14851 HAS SOPS 9836 HAS SOUS 11052 HAS SOUPS 8245 WITH SCORE 8259.851
AT ITER 6047 NEW BEST:: SOT 51710 SOS 14823 HAS SOPS 9808 HAS SOUS 11028 HAS SOUPS 8221 WITH SCORE 8235.823
AT ITER 6054 NEW BEST:: SOT 51735 SOS 14851 HAS SOPS 9758 HAS SOUS 11028 HAS SOUPS 8171 WITH SCORE 8185.851
AT ITER 6084 NEW BEST:: SOT 51734 SOS 14844 HAS SOPS 9751 HAS SOUS 11027 HAS SOUPS 8170 WITH SCORE 8184.844
AT ITER 6104 NEW BEST:: SOT 51732 SOS 14842 HAS SOPS 9749 HAS SOUS 11027 HAS SOUPS 8170 WITH SCORE 8184.842
AT ITER 6105 NEW BEST:: SOT 51732 SOS 14839 HAS SOPS 9749 HAS SOUS 11024 HAS SOUPS 8170 WITH SCORE 8184.839
AT ITER 6133 NEW BEST:: SOT 51739 SOS 14853 HAS SOPS 9763 HAS SOUS 11017 HAS SOUPS 8163 WITH SCORE 8177.853
AT ITER 6145 NEW BEST:: SOT 51742 SOS 14856 HAS SOPS 9756 HAS SOUS 11012 HAS SOUPS 8156 WITH SCORE 8170.856
AT ITER 6192 NEW BEST:: SOT 51737 SOS 14826 HAS SOPS 9726 HAS SOUS 11002 HAS SOUPS 8146 WITH SCORE 8160.826
AT ITER 6210 NEW BEST:: SOT 51743 SOS 14783 HAS SOPS 9693 HAS SOUS 10988 HAS SOUPS 8132 WITH SCORE 8146.783
AT ITER 6244 NEW BEST:: SOT 51738 SOS 14778 HAS SOPS 9688 HAS SOUS 10978 HAS SOUPS 8122 WITH SCORE 8136.778
AT ITER 6248 NEW BEST:: SOT 51709 SOS 14749 HAS SOPS 9601 HAS SOUS 10931 HAS SOUPS 8035 WITH SCORE 8049.749
AT ITER 6337 NEW BEST:: SOT 51675 SOS 14715 HAS SOPS 9536 HAS SOUS 10917 HAS SOUPS 8021 WITH SCORE 8035.715
AT ITER 6366 NEW BEST:: SOT 51678 SOS 14713 HAS SOPS 9534 HAS SOUS 10912 HAS SOUPS 8016 WITH SCORE 8030.713
AT ITER 6382 NEW BEST:: SOT 51675 SOS 14710 HAS SOPS 9534 HAS SOUS 10912 HAS SOUPS 8016 WITH SCORE 8030.71
AT ITER 6416 NEW BEST:: SOT 51644 SOS 14683 HAS SOPS 9499 HAS SOUS 10902 HAS SOUPS 8006 WITH SCORE 8020.683
AT ITER 6417 NEW BEST:: SOT 51603 SOS 14642 HAS SOPS 9499 HAS SOUS 10861 HAS SOUPS 8006 WITH SCORE 8020.642
AT ITER 6432 NEW BEST:: SOT 51614 SOS 14689 HAS SOPS 9497 HAS SOUS 10871 HAS SOUPS 8004 WITH SCORE 8018.689
AT ITER 6449 NEW BEST:: SOT 51613 SOS 14652 HAS SOPS 9495 HAS SOUS 10869 HAS SOUPS 8002 WITH SCORE 8016.652
AT ITER 6460 NEW BEST:: SOT 51643 SOS 14792 HAS SOPS 9455 HAS SOUS 10899 HAS SOUPS 7987 WITH SCORE 8001.792
AT ITER 6472 NEW BEST:: SOT 51621 SOS 14704 HAS SOPS 9455 HAS SOUS 10877 HAS SOUPS 7987 WITH SCORE 8001.704
AT ITER 6528 NEW BEST:: SOT 51619 SOS 14701 HAS SOPS 9452 HAS SOUS 10874 HAS SOUPS 7984 WITH SCORE 7998.701
AT ITER 6568 NEW BEST:: SOT 51619 SOS 14701 HAS SOPS 9452 HAS SOUS 10872 HAS SOUPS 7982 WITH SCORE 7996.701
AT ITER 6569 NEW BEST:: SOT 51619 SOS 14703 HAS SOPS 9446 HAS SOUS 10870 HAS SOUPS 7978 WITH SCORE 7992.703
AT ITER 6583 NEW BEST:: SOT 51605 SOS 14698 HAS SOPS 9441 HAS SOUS 10865 HAS SOUPS 7973 WITH SCORE 7987.698
AT ITER 6709 NEW BEST:: SOT 51603 SOS 14661 HAS SOPS 9404 HAS SOUS 10840 HAS SOUPS 7948 WITH SCORE 7962.661
AT ITER 6711 NEW BEST:: SOT 51593 SOS 14641 HAS SOPS 9394 HAS SOUS 10830 HAS SOUPS 7938 WITH SCORE 7952.641
AT ITER 6800 NEW BEST:: SOT 51599 SOS 14642 HAS SOPS 9395 HAS SOUS 10825 HAS SOUPS 7933 WITH SCORE 7947.642
AT ITER 6857 NEW BEST:: SOT 51592 SOS 14616 HAS SOPS 9388 HAS SOUS 10818 HAS SOUPS 7926 WITH SCORE 7940.616
AT ITER 6876 NEW BEST:: SOT 51608 SOS 14685 HAS SOPS 9384 HAS SOUS 10832 HAS SOUPS 7922 WITH SCORE 7936.685
AT ITER 6933 NEW BEST:: SOT 51613 SOS 14683 HAS SOPS 9382 HAS SOUS 10832 HAS SOUPS 7922 WITH SCORE 7936.683
AT ITER 6943 NEW BEST:: SOT 51600 SOS 14682 HAS SOPS 9360 HAS SOUS 10823 HAS SOUPS 7913 WITH SCORE 7927.682
AT ITER 6947 NEW BEST:: SOT 51582 SOS 14646 HAS SOPS 9342 HAS SOUS 10805 HAS SOUPS 7901 WITH SCORE 7915.646
AT ITER 7044 NEW BEST:: SOT 51581 SOS 14640 HAS SOPS 9336 HAS SOUS 10800 HAS SOUPS 7896 WITH SCORE 7910.64
AT ITER 7078 NEW BEST:: SOT 51581 SOS 14621 HAS SOPS 9317 HAS SOUS 10781 HAS SOUPS 7877 WITH SCORE 7891.621
AT ITER 7101 NEW BEST:: SOT 51579 SOS 14617 HAS SOPS 9313 HAS SOUS 10777 HAS SOUPS 7873 WITH SCORE 7887.617
AT ITER 7107 NEW BEST:: SOT 51579 SOS 14613 HAS SOPS 9309 HAS SOUS 10777 HAS SOUPS 7873 WITH SCORE 7887.613
AT ITER 7139 NEW BEST:: SOT 51581 SOS 14615 HAS SOPS 9303 HAS SOUS 10779 HAS SOUPS 7867 WITH SCORE 7881.615
AT ITER 7151 NEW BEST:: SOT 51576 SOS 14610 HAS SOPS 9293 HAS SOUS 10774 HAS SOUPS 7862 WITH SCORE 7876.61
AT ITER 7154 NEW BEST:: SOT 51567 SOS 14601 HAS SOPS 9284 HAS SOUS 10774 HAS SOUPS 7862 WITH SCORE 7876.601
AT ITER 7158 NEW BEST:: SOT 51567 SOS 14592 HAS SOPS 9275 HAS SOUS 10767 HAS SOUPS 7855 WITH SCORE 7869.592
AT ITER 7190 NEW BEST:: SOT 51558 SOS 14595 HAS SOPS 9271 HAS SOUS 10765 HAS SOUPS 7853 WITH SCORE 7867.595
AT ITER 7208 NEW BEST:: SOT 51584 SOS 14651 HAS SOPS 9267 HAS SOUS 10821 HAS SOUPS 7849 WITH SCORE 7863.651
AT ITER 7323 NEW BEST:: SOT 51570 SOS 14630 HAS SOPS 9246 HAS SOUS 10800 HAS SOUPS 7828 WITH SCORE 7842.63
AT ITER 7344 NEW BEST:: SOT 51559 SOS 14607 HAS SOPS 9223 HAS SOUS 10788 HAS SOUPS 7816 WITH SCORE 7830.607
AT ITER 7383 NEW BEST:: SOT 51558 SOS 14606 HAS SOPS 9222 HAS SOUS 10787 HAS SOUPS 7815 WITH SCORE 7829.606
AT ITER 7460 NEW BEST:: SOT 51546 SOS 14594 HAS SOPS 9207 HAS SOUS 10778 HAS SOUPS 7806 WITH SCORE 7820.594
AT ITER 7466 NEW BEST:: SOT 51546 SOS 14588 HAS SOPS 9207 HAS SOUS 10778 HAS SOUPS 7806 WITH SCORE 7820.588
AT ITER 7511 NEW BEST:: SOT 51539 SOS 14553 HAS SOPS 9207 HAS SOUS 10771 HAS SOUPS 7806 WITH SCORE 7820.553
AT ITER 7547 NEW BEST:: SOT 51530 SOS 14546 HAS SOPS 9200 HAS SOUS 10764 HAS SOUPS 7799 WITH SCORE 7813.546
AT ITER 7637 NEW BEST:: SOT 51518 SOS 14530 HAS SOPS 9184 HAS SOUS 10753 HAS SOUPS 7788 WITH SCORE 7802.53
AT ITER 7680 NEW BEST:: SOT 51514 SOS 14526 HAS SOPS 9180 HAS SOUS 10749 HAS SOUPS 7784 WITH SCORE 7798.526
AT ITER 7797 NEW BEST:: SOT 51514 SOS 14510 HAS SOPS 9164 HAS SOUS 10741 HAS SOUPS 7776 WITH SCORE 7790.51
AT ITER 7804 NEW BEST:: SOT 51508 SOS 14504 HAS SOPS 9158 HAS SOUS 10738 HAS SOUPS 7773 WITH SCORE 7787.504
AT ITER 7815 NEW BEST:: SOT 51494 SOS 14490 HAS SOPS 9140 HAS SOUS 10728 HAS SOUPS 7759 WITH SCORE 7773.49
AT ITER 7842 NEW BEST:: SOT 51489 SOS 14499 HAS SOPS 9149 HAS SOUS 10726 HAS SOUPS 7757 WITH SCORE 7771.499
AT ITER 7858 NEW BEST:: SOT 51489 SOS 14499 HAS SOPS 9149 HAS SOUS 10720 HAS SOUPS 7751 WITH SCORE 7765.499
AT ITER 7899 NEW BEST:: SOT 51488 SOS 14498 HAS SOPS 9149 HAS SOUS 10719 HAS SOUPS 7751 WITH SCORE 7765.498
AT ITER 7938 NEW BEST:: SOT 51474 SOS 14477 HAS SOPS 9128 HAS SOUS 10698 HAS SOUPS 7730 WITH SCORE 7744.477
AT ITER 7957 NEW BEST:: SOT 51471 SOS 14474 HAS SOPS 9122 HAS SOUS 10695 HAS SOUPS 7724 WITH SCORE 7738.474
AT ITER 7966 NEW BEST:: SOT 51471 SOS 14473 HAS SOPS 9121 HAS SOUS 10695 HAS SOUPS 7724 WITH SCORE 7738.473
AT ITER 7972 NEW BEST:: SOT 51455 SOS 14407 HAS SOPS 9121 HAS SOUS 10679 HAS SOUPS 7724 WITH SCORE 7738.407
AT ITER 8007 NEW BEST:: SOT 51437 SOS 14336 HAS SOPS 9121 HAS SOUS 10661 HAS SOUPS 7724 WITH SCORE 7738.336
AT ITER 8066 NEW BEST:: SOT 51437 SOS 14335 HAS SOPS 9120 HAS SOUS 10660 HAS SOUPS 7723 WITH SCORE 7737.335
AT ITER 8191 NEW BEST:: SOT 51437 SOS 14330 HAS SOPS 9110 HAS SOUS 10660 HAS SOUPS 7718 WITH SCORE 7732.33
AT ITER 8267 NEW BEST:: SOT 51433 SOS 14326 HAS SOPS 9112 HAS SOUS 10646 HAS SOUPS 7710 WITH SCORE 7724.326
AT ITER 8349 NEW BEST:: SOT 51424 SOS 14317 HAS SOPS 9103 HAS SOUS 10637 HAS SOUPS 7701 WITH SCORE 7715.317
AT ITER 8394 NEW BEST:: SOT 51403 SOS 14296 HAS SOPS 9075 HAS SOUS 10616 HAS SOUPS 7673 WITH SCORE 7687.296
AT ITER 8434 NEW BEST:: SOT 51398 SOS 14286 HAS SOPS 9065 HAS SOUS 10611 HAS SOUPS 7668 WITH SCORE 7682.286
AT ITER 8486 NEW BEST:: SOT 51398 SOS 14285 HAS SOPS 9065 HAS SOUS 10611 HAS SOUPS 7668 WITH SCORE 7682.285
AT ITER 8500 NEW BEST:: SOT 51391 SOS 14278 HAS SOPS 9051 HAS SOUS 10604 HAS SOUPS 7661 WITH SCORE 7675.278
AT ITER 8556 NEW BEST:: SOT 51391 SOS 14298 HAS SOPS 9048 HAS SOUS 10617 HAS SOUPS 7658 WITH SCORE 7672.298
AT ITER 8651 NEW BEST:: SOT 51383 SOS 14280 HAS SOPS 9040 HAS SOUS 10599 HAS SOUPS 7650 WITH SCORE 7664.28
AT ITER 8663 NEW BEST:: SOT 51381 SOS 14274 HAS SOPS 9036 HAS SOUS 10597 HAS SOUPS 7648 WITH SCORE 7662.274
AT ITER 8674 NEW BEST:: SOT 51381 SOS 14276 HAS SOPS 9034 HAS SOUS 10596 HAS SOUPS 7646 WITH SCORE 7660.276
AT ITER 8684 NEW BEST:: SOT 51381 SOS 14288 HAS SOPS 9046 HAS SOUS 10591 HAS SOUPS 7641 WITH SCORE 7655.288
AT ITER 8696 NEW BEST:: SOT 51381 SOS 14264 HAS SOPS 9046 HAS SOUS 10567 HAS SOUPS 7641 WITH SCORE 7655.264
AT ITER 8778 NEW BEST:: SOT 51394 SOS 14277 HAS SOPS 9027 HAS SOUS 10548 HAS SOUPS 7622 WITH SCORE 7636.277
AT ITER 8818 NEW BEST:: SOT 51392 SOS 14275 HAS SOPS 9023 HAS SOUS 10547 HAS SOUPS 7621 WITH SCORE 7635.275
AT ITER 8830 NEW BEST:: SOT 51383 SOS 14248 HAS SOPS 8996 HAS SOUS 10538 HAS SOUPS 7612 WITH SCORE 7626.248
AT ITER 8840 NEW BEST:: SOT 51383 SOS 14224 HAS SOPS 8972 HAS SOUS 10538 HAS SOUPS 7612 WITH SCORE 7626.224
AT ITER 8931 NEW BEST:: SOT 51372 SOS 14207 HAS SOPS 8955 HAS SOUS 10521 HAS SOUPS 7595 WITH SCORE 7609.207
AT ITER 8985 NEW BEST:: SOT 51368 SOS 14192 HAS SOPS 8940 HAS SOUS 10514 HAS SOUPS 7588 WITH SCORE 7602.192
AT ITER 9073 NEW BEST:: SOT 51364 SOS 14128 HAS SOPS 8936 HAS SOUS 10450 HAS SOUPS 7584 WITH SCORE 7598.128
AT ITER 9149 NEW BEST:: SOT 51362 SOS 14124 HAS SOPS 8932 HAS SOUS 10435 HAS SOUPS 7569 WITH SCORE 7583.124
AT ITER 9207 NEW BEST:: SOT 51362 SOS 14109 HAS SOPS 8917 HAS SOUS 10435 HAS SOUPS 7569 WITH SCORE 7583.109
AT ITER 9257 NEW BEST:: SOT 51376 SOS 14123 HAS SOPS 8889 HAS SOUS 10410 HAS SOUPS 7544 WITH SCORE 7558.123
AT ITER 9323 NEW BEST:: SOT 51376 SOS 14202 HAS SOPS 8888 HAS SOUS 10429 HAS SOUPS 7543 WITH SCORE 7557.202
AT ITER 9324 NEW BEST:: SOT 51356 SOS 14182 HAS SOPS 8858 HAS SOUS 10409 HAS SOUPS 7523 WITH SCORE 7537.182
AT ITER 9421 NEW BEST:: SOT 51290 SOS 14050 HAS SOPS 8858 HAS SOUS 10343 HAS SOUPS 7523 WITH SCORE 7537.05
AT ITER 9442 NEW BEST:: SOT 51289 SOS 14049 HAS SOPS 8856 HAS SOUS 10341 HAS SOUPS 7521 WITH SCORE 7535.049
AT ITER 9452 NEW BEST:: SOT 51287 SOS 14044 HAS SOPS 8852 HAS SOUS 10337 HAS SOUPS 7517 WITH SCORE 7531.044
AT ITER 9454 NEW BEST:: SOT 51284 SOS 14041 HAS SOPS 8846 HAS SOUS 10340 HAS SOUPS 7517 WITH SCORE 7531.041
AT ITER 9484 NEW BEST:: SOT 51275 SOS 14032 HAS SOPS 8846 HAS SOUS 10331 HAS SOUPS 7517 WITH SCORE 7531.032
AT ITER 9486 NEW BEST:: SOT 51260 SOS 14014 HAS SOPS 8843 HAS SOUS 10312 HAS SOUPS 7513 WITH SCORE 7527.014
AT ITER 9500 NEW BEST:: SOT 51251 SOS 14015 HAS SOPS 8825 HAS SOUS 10294 HAS SOUPS 7495 WITH SCORE 7509.015
AT ITER 9808 NEW BEST:: SOT 51234 SOS 13989 HAS SOPS 8825 HAS SOUS 10277 HAS SOUPS 7495 WITH SCORE 7508.989
AT ITER 9876 NEW BEST:: SOT 51221 SOS 13976 HAS SOPS 8746 HAS SOUS 10265 HAS SOUPS 7469 WITH SCORE 7482.976
AT ITER 9924 NEW BEST:: SOT 51225 SOS 13980 HAS SOPS 8750 HAS SOUS 10252 HAS SOUPS 7456 WITH SCORE 7469.98
AT ITER 9932 NEW BEST:: SOT 51200 SOS 13880 HAS SOPS 8750 HAS SOUS 10227 HAS SOUPS 7456 WITH SCORE 7469.88
AT ITER 9960 NEW BEST:: SOT 51200 SOS 13854 HAS SOPS 8750 HAS SOUS 10220 HAS SOUPS 7456 WITH SCORE 7469.854
STATE_SPACE STATES 78220990591414273 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 75 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3497496619789541377 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678472960354

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

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="AutoFlight-PT-12a"
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 AutoFlight-PT-12a, 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 r003-oct2-167813590900472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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