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.r203-smll-167840349400312.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 smartxred
Input is HealthRecord-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349400312
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 8.1K Feb 26 18:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 94K Feb 26 18:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 18:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 26 18:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 155K Feb 26 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 18:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 85K Feb 26 18:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 69K 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 1678580244256

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=HealthRecord-PT-10
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-12 00:17:27] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-12 00:17:27] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-12 00:17:27] [INFO ] Load time of PNML (sax parser for PT used): 85 ms
[2023-03-12 00:17:27] [INFO ] Transformed 158 places.
[2023-03-12 00:17:27] [INFO ] Transformed 333 transitions.
[2023-03-12 00:17:27] [INFO ] Found NUPN structural information;
[2023-03-12 00:17:27] [INFO ] Parsed PT model containing 158 places and 333 transitions and 875 arcs in 225 ms.
[2023-03-12 00:17:27] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 158 places, 333 transitions and 875 arcs took 9 ms.
Total runtime 293 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 158 places, 333 transitions, 875 arcs.
AT ITER 0 NEW BEST:: SOT 37506 SOS 21709 HAS SOPS 21687 HAS SOUS 12332 HAS SOUPS 12319 WITH SCORE 12340.709
AT ITER 2 NEW BEST:: SOT 37438 SOS 21505 HAS SOPS 21483 HAS SOUS 12264 HAS SOUPS 12251 WITH SCORE 12272.505
AT ITER 7 NEW BEST:: SOT 37372 SOS 21373 HAS SOPS 21351 HAS SOUS 12226 HAS SOUPS 12213 WITH SCORE 12234.373
AT ITER 10 NEW BEST:: SOT 37280 SOS 21143 HAS SOPS 21121 HAS SOUS 12180 HAS SOUPS 12167 WITH SCORE 12188.143
AT ITER 11 NEW BEST:: SOT 37331 SOS 21193 HAS SOPS 21171 HAS SOUS 12154 HAS SOUPS 12141 WITH SCORE 12162.193
AT ITER 16 NEW BEST:: SOT 35983 SOS 21461 HAS SOPS 21439 HAS SOUS 11610 HAS SOUPS 11597 WITH SCORE 11618.461
AT ITER 20 NEW BEST:: SOT 35811 SOS 21171 HAS SOPS 21149 HAS SOUS 11386 HAS SOUPS 11373 WITH SCORE 11394.171
AT ITER 22 NEW BEST:: SOT 36239 SOS 20605 HAS SOPS 20583 HAS SOUS 11234 HAS SOUPS 11221 WITH SCORE 11241.605
AT ITER 23 NEW BEST:: SOT 36237 SOS 20601 HAS SOPS 20579 HAS SOUS 11232 HAS SOUPS 11219 WITH SCORE 11239.601
AT ITER 24 NEW BEST:: SOT 36179 SOS 20456 HAS SOPS 20434 HAS SOUS 11201 HAS SOUPS 11188 WITH SCORE 11208.456
AT ITER 26 NEW BEST:: SOT 35974 SOS 20232 HAS SOPS 20210 HAS SOUS 11077 HAS SOUPS 11064 WITH SCORE 11084.232
AT ITER 27 NEW BEST:: SOT 35970 SOS 20228 HAS SOPS 20206 HAS SOUS 11077 HAS SOUPS 11064 WITH SCORE 11084.228
AT ITER 29 NEW BEST:: SOT 35930 SOS 20077 HAS SOPS 20055 HAS SOUS 11034 HAS SOUPS 11021 WITH SCORE 11041.077
AT ITER 31 NEW BEST:: SOT 35812 SOS 19900 HAS SOPS 19878 HAS SOUS 10923 HAS SOUPS 10910 WITH SCORE 10929.9
AT ITER 35 NEW BEST:: SOT 35812 SOS 19950 HAS SOPS 19928 HAS SOUS 10881 HAS SOUPS 10868 WITH SCORE 10887.95
AT ITER 36 NEW BEST:: SOT 35804 SOS 19934 HAS SOPS 19912 HAS SOUS 10873 HAS SOUPS 10860 WITH SCORE 10879.934
AT ITER 39 NEW BEST:: SOT 35145 SOS 19385 HAS SOPS 19363 HAS SOUS 10624 HAS SOUPS 10611 WITH SCORE 10630.385
AT ITER 42 NEW BEST:: SOT 34817 SOS 18992 HAS SOPS 18970 HAS SOUS 10555 HAS SOUPS 10542 WITH SCORE 10560.992
AT ITER 44 NEW BEST:: SOT 34790 SOS 18965 HAS SOPS 18943 HAS SOUS 10533 HAS SOUPS 10520 WITH SCORE 10538.965
AT ITER 45 NEW BEST:: SOT 34692 SOS 18867 HAS SOPS 18845 HAS SOUS 10434 HAS SOUPS 10421 WITH SCORE 10439.867
AT ITER 46 NEW BEST:: SOT 34610 SOS 18744 HAS SOPS 18722 HAS SOUS 10393 HAS SOUPS 10380 WITH SCORE 10398.744
AT ITER 47 NEW BEST:: SOT 34607 SOS 18741 HAS SOPS 18719 HAS SOUS 10387 HAS SOUPS 10374 WITH SCORE 10392.741
AT ITER 49 NEW BEST:: SOT 34574 SOS 18675 HAS SOPS 18653 HAS SOUS 10387 HAS SOUPS 10374 WITH SCORE 10392.675
AT ITER 53 NEW BEST:: SOT 34448 SOS 18423 HAS SOPS 18401 HAS SOUS 10303 HAS SOUPS 10290 WITH SCORE 10308.423
AT ITER 60 NEW BEST:: SOT 34448 SOS 18402 HAS SOPS 18380 HAS SOUS 10303 HAS SOUPS 10290 WITH SCORE 10308.402
AT ITER 66 NEW BEST:: SOT 34448 SOS 18402 HAS SOPS 18380 HAS SOUS 10253 HAS SOUPS 10240 WITH SCORE 10258.402
AT ITER 75 NEW BEST:: SOT 34341 SOS 18299 HAS SOPS 18277 HAS SOUS 10203 HAS SOUPS 10190 WITH SCORE 10208.299
AT ITER 87 NEW BEST:: SOT 34287 SOS 18272 HAS SOPS 18250 HAS SOUS 10087 HAS SOUPS 10074 WITH SCORE 10092.272
AT ITER 91 NEW BEST:: SOT 34117 SOS 18112 HAS SOPS 18090 HAS SOUS 9917 HAS SOUPS 9904 WITH SCORE 9922.112
AT ITER 92 NEW BEST:: SOT 34117 SOS 18112 HAS SOPS 18090 HAS SOUS 9915 HAS SOUPS 9902 WITH SCORE 9920.112
AT ITER 95 NEW BEST:: SOT 32656 SOS 17745 HAS SOPS 17723 HAS SOUS 8663 HAS SOUPS 8650 WITH SCORE 8667.745
AT ITER 101 NEW BEST:: SOT 32154 SOS 17390 HAS SOPS 17368 HAS SOUS 8500 HAS SOUPS 8487 WITH SCORE 8504.39
AT ITER 104 NEW BEST:: SOT 32154 SOS 17390 HAS SOPS 17368 HAS SOUS 8493 HAS SOUPS 8480 WITH SCORE 8497.39
AT ITER 108 NEW BEST:: SOT 32086 SOS 17247 HAS SOPS 17225 HAS SOUS 8425 HAS SOUPS 8412 WITH SCORE 8429.247
AT ITER 109 NEW BEST:: SOT 32056 SOS 17187 HAS SOPS 17165 HAS SOUS 8411 HAS SOUPS 8398 WITH SCORE 8415.187
AT ITER 114 NEW BEST:: SOT 32056 SOS 17180 HAS SOPS 17158 HAS SOUS 8411 HAS SOUPS 8398 WITH SCORE 8415.18
AT ITER 115 NEW BEST:: SOT 32056 SOS 17106 HAS SOPS 17084 HAS SOUS 8393 HAS SOUPS 8380 WITH SCORE 8397.106
AT ITER 116 NEW BEST:: SOT 31885 SOS 16792 HAS SOPS 16770 HAS SOUS 8213 HAS SOUPS 8200 WITH SCORE 8216.792
AT ITER 122 NEW BEST:: SOT 31838 SOS 16698 HAS SOPS 16676 HAS SOUS 8166 HAS SOUPS 8153 WITH SCORE 8169.698
AT ITER 123 NEW BEST:: SOT 31838 SOS 16698 HAS SOPS 16676 HAS SOUS 8155 HAS SOUPS 8142 WITH SCORE 8158.698
AT ITER 124 NEW BEST:: SOT 31740 SOS 16531 HAS SOPS 16509 HAS SOUS 8108 HAS SOUPS 8095 WITH SCORE 8111.531
AT ITER 129 NEW BEST:: SOT 31596 SOS 16334 HAS SOPS 16312 HAS SOUS 7919 HAS SOUPS 7906 WITH SCORE 7922.334
AT ITER 132 NEW BEST:: SOT 31501 SOS 15993 HAS SOPS 15971 HAS SOUS 7809 HAS SOUPS 7796 WITH SCORE 7811.993
AT ITER 133 NEW BEST:: SOT 31454 SOS 15946 HAS SOPS 15924 HAS SOUS 7809 HAS SOUPS 7796 WITH SCORE 7811.946
AT ITER 134 NEW BEST:: SOT 31454 SOS 15951 HAS SOPS 15929 HAS SOUS 7807 HAS SOUPS 7794 WITH SCORE 7809.951
AT ITER 138 NEW BEST:: SOT 31345 SOS 15779 HAS SOPS 15757 HAS SOUS 7788 HAS SOUPS 7775 WITH SCORE 7790.779
AT ITER 139 NEW BEST:: SOT 31219 SOS 15521 HAS SOPS 15499 HAS SOUS 7629 HAS SOUPS 7616 WITH SCORE 7631.521
AT ITER 143 NEW BEST:: SOT 31210 SOS 15491 HAS SOPS 15469 HAS SOUS 7593 HAS SOUPS 7580 WITH SCORE 7595.491
AT ITER 147 NEW BEST:: SOT 31216 SOS 15527 HAS SOPS 15505 HAS SOUS 7557 HAS SOUPS 7544 WITH SCORE 7559.527
AT ITER 153 NEW BEST:: SOT 30945 SOS 15267 HAS SOPS 15245 HAS SOUS 7458 HAS SOUPS 7445 WITH SCORE 7460.267
AT ITER 154 NEW BEST:: SOT 31004 SOS 15334 HAS SOPS 15312 HAS SOUS 7456 HAS SOUPS 7443 WITH SCORE 7458.334
AT ITER 155 NEW BEST:: SOT 31034 SOS 15341 HAS SOPS 15319 HAS SOUS 7453 HAS SOUPS 7440 WITH SCORE 7455.341
AT ITER 156 NEW BEST:: SOT 30362 SOS 16214 HAS SOPS 16192 HAS SOUS 7095 HAS SOUPS 7082 WITH SCORE 7098.214
AT ITER 172 NEW BEST:: SOT 30363 SOS 16243 HAS SOPS 16221 HAS SOUS 7069 HAS SOUPS 7056 WITH SCORE 7072.243
AT ITER 177 NEW BEST:: SOT 30309 SOS 16363 HAS SOPS 16341 HAS SOUS 7030 HAS SOUPS 7017 WITH SCORE 7033.363
AT ITER 179 NEW BEST:: SOT 30339 SOS 16393 HAS SOPS 16371 HAS SOUS 7015 HAS SOUPS 7002 WITH SCORE 7018.393
AT ITER 183 NEW BEST:: SOT 30317 SOS 16359 HAS SOPS 16337 HAS SOUS 7003 HAS SOUPS 6990 WITH SCORE 7006.359
AT ITER 192 NEW BEST:: SOT 30303 SOS 16364 HAS SOPS 16342 HAS SOUS 6913 HAS SOUPS 6900 WITH SCORE 6916.364
AT ITER 207 NEW BEST:: SOT 30214 SOS 16186 HAS SOPS 16164 HAS SOUS 6833 HAS SOUPS 6820 WITH SCORE 6836.186
AT ITER 208 NEW BEST:: SOT 30228 SOS 16152 HAS SOPS 16130 HAS SOUS 6829 HAS SOUPS 6816 WITH SCORE 6832.152
AT ITER 214 NEW BEST:: SOT 30249 SOS 16173 HAS SOPS 16151 HAS SOUS 6770 HAS SOUPS 6757 WITH SCORE 6773.173
AT ITER 219 NEW BEST:: SOT 30242 SOS 16166 HAS SOPS 16144 HAS SOUS 6770 HAS SOUPS 6757 WITH SCORE 6773.166
AT ITER 223 NEW BEST:: SOT 30232 SOS 16149 HAS SOPS 16127 HAS SOUS 6750 HAS SOUPS 6737 WITH SCORE 6753.149
AT ITER 226 NEW BEST:: SOT 30208 SOS 16101 HAS SOPS 16079 HAS SOUS 6750 HAS SOUPS 6737 WITH SCORE 6753.101
AT ITER 228 NEW BEST:: SOT 30178 SOS 16051 HAS SOPS 16029 HAS SOUS 6750 HAS SOUPS 6737 WITH SCORE 6753.051
AT ITER 233 NEW BEST:: SOT 30178 SOS 16053 HAS SOPS 16031 HAS SOUS 6749 HAS SOUPS 6736 WITH SCORE 6752.053
AT ITER 236 NEW BEST:: SOT 30185 SOS 16067 HAS SOPS 16045 HAS SOUS 6736 HAS SOUPS 6723 WITH SCORE 6739.067
AT ITER 243 NEW BEST:: SOT 30198 SOS 16081 HAS SOPS 16059 HAS SOUS 6685 HAS SOUPS 6672 WITH SCORE 6688.081
AT ITER 253 NEW BEST:: SOT 29948 SOS 16105 HAS SOPS 16083 HAS SOUS 6575 HAS SOUPS 6562 WITH SCORE 6578.105
AT ITER 262 NEW BEST:: SOT 29938 SOS 16075 HAS SOPS 16053 HAS SOUS 6565 HAS SOUPS 6552 WITH SCORE 6568.075
AT ITER 265 NEW BEST:: SOT 29910 SOS 16031 HAS SOPS 16009 HAS SOUS 6529 HAS SOUPS 6516 WITH SCORE 6532.031
AT ITER 273 NEW BEST:: SOT 29892 SOS 16004 HAS SOPS 15982 HAS SOUS 6502 HAS SOUPS 6489 WITH SCORE 6505.004
AT ITER 279 NEW BEST:: SOT 29880 SOS 15988 HAS SOPS 15966 HAS SOUS 6494 HAS SOUPS 6481 WITH SCORE 6496.988
AT ITER 280 NEW BEST:: SOT 29870 SOS 15962 HAS SOPS 15940 HAS SOUS 6490 HAS SOUPS 6477 WITH SCORE 6492.962
AT ITER 282 NEW BEST:: SOT 29859 SOS 15940 HAS SOPS 15918 HAS SOUS 6477 HAS SOUPS 6464 WITH SCORE 6479.94
AT ITER 283 NEW BEST:: SOT 29844 SOS 15979 HAS SOPS 15957 HAS SOUS 6457 HAS SOUPS 6444 WITH SCORE 6459.979
AT ITER 294 NEW BEST:: SOT 29820 SOS 15938 HAS SOPS 15916 HAS SOUS 6456 HAS SOUPS 6443 WITH SCORE 6458.938
AT ITER 306 NEW BEST:: SOT 29875 SOS 15993 HAS SOPS 15971 HAS SOUS 6455 HAS SOUPS 6442 WITH SCORE 6457.993
AT ITER 311 NEW BEST:: SOT 29883 SOS 15963 HAS SOPS 15941 HAS SOUS 6455 HAS SOUPS 6442 WITH SCORE 6457.963
AT ITER 316 NEW BEST:: SOT 29835 SOS 15867 HAS SOPS 15845 HAS SOUS 6451 HAS SOUPS 6438 WITH SCORE 6453.867
AT ITER 322 NEW BEST:: SOT 29505 SOS 16068 HAS SOPS 16046 HAS SOUS 6420 HAS SOUPS 6407 WITH SCORE 6423.068
AT ITER 333 NEW BEST:: SOT 29491 SOS 16092 HAS SOPS 16070 HAS SOUS 6418 HAS SOUPS 6405 WITH SCORE 6421.092
AT ITER 336 NEW BEST:: SOT 29479 SOS 16133 HAS SOPS 16111 HAS SOUS 6395 HAS SOUPS 6382 WITH SCORE 6398.133
AT ITER 343 NEW BEST:: SOT 29449 SOS 16102 HAS SOPS 16080 HAS SOUS 6364 HAS SOUPS 6351 WITH SCORE 6367.102
AT ITER 345 NEW BEST:: SOT 29435 SOS 16060 HAS SOPS 16038 HAS SOUS 6350 HAS SOUPS 6337 WITH SCORE 6353.06
AT ITER 351 NEW BEST:: SOT 29433 SOS 16058 HAS SOPS 16036 HAS SOUS 6348 HAS SOUPS 6335 WITH SCORE 6351.058
AT ITER 357 NEW BEST:: SOT 29425 SOS 16034 HAS SOPS 16012 HAS SOUS 6332 HAS SOUPS 6319 WITH SCORE 6335.034
AT ITER 360 NEW BEST:: SOT 29407 SOS 15980 HAS SOPS 15958 HAS SOUS 6314 HAS SOUPS 6301 WITH SCORE 6316.98
AT ITER 365 NEW BEST:: SOT 29399 SOS 15972 HAS SOPS 15950 HAS SOUS 6306 HAS SOUPS 6293 WITH SCORE 6308.972
AT ITER 368 NEW BEST:: SOT 29393 SOS 15960 HAS SOPS 15938 HAS SOUS 6300 HAS SOUPS 6287 WITH SCORE 6302.96
AT ITER 372 NEW BEST:: SOT 29388 SOS 15950 HAS SOPS 15928 HAS SOUS 6300 HAS SOUPS 6287 WITH SCORE 6302.95
AT ITER 383 NEW BEST:: SOT 29388 SOS 15950 HAS SOPS 15928 HAS SOUS 6293 HAS SOUPS 6280 WITH SCORE 6295.95
AT ITER 387 NEW BEST:: SOT 29382 SOS 15944 HAS SOPS 15922 HAS SOUS 6293 HAS SOUPS 6280 WITH SCORE 6295.944
AT ITER 394 NEW BEST:: SOT 29352 SOS 15914 HAS SOPS 15892 HAS SOUS 6218 HAS SOUPS 6205 WITH SCORE 6220.914
AT ITER 397 NEW BEST:: SOT 29360 SOS 15930 HAS SOPS 15908 HAS SOUS 6193 HAS SOUPS 6180 WITH SCORE 6195.93
AT ITER 402 NEW BEST:: SOT 29359 SOS 15929 HAS SOPS 15907 HAS SOUS 6192 HAS SOUPS 6179 WITH SCORE 6194.929
AT ITER 403 NEW BEST:: SOT 29307 SOS 15763 HAS SOPS 15741 HAS SOUS 6141 HAS SOUPS 6128 WITH SCORE 6143.763
AT ITER 405 NEW BEST:: SOT 29302 SOS 15758 HAS SOPS 15736 HAS SOUS 6139 HAS SOUPS 6126 WITH SCORE 6141.758
AT ITER 409 NEW BEST:: SOT 29224 SOS 15700 HAS SOPS 15678 HAS SOUS 6069 HAS SOUPS 6056 WITH SCORE 6071.7
AT ITER 411 NEW BEST:: SOT 29218 SOS 15688 HAS SOPS 15666 HAS SOUS 6050 HAS SOUPS 6037 WITH SCORE 6052.688
AT ITER 414 NEW BEST:: SOT 29211 SOS 15674 HAS SOPS 15652 HAS SOUS 6036 HAS SOUPS 6023 WITH SCORE 6038.674
AT ITER 416 NEW BEST:: SOT 29198 SOS 15678 HAS SOPS 15656 HAS SOUS 6018 HAS SOUPS 6005 WITH SCORE 6020.678
AT ITER 420 NEW BEST:: SOT 29204 SOS 15687 HAS SOPS 15665 HAS SOUS 6006 HAS SOUPS 5993 WITH SCORE 6008.687
AT ITER 425 NEW BEST:: SOT 29210 SOS 15705 HAS SOPS 15683 HAS SOUS 6000 HAS SOUPS 5987 WITH SCORE 6002.705
AT ITER 433 NEW BEST:: SOT 29208 SOS 15703 HAS SOPS 15681 HAS SOUS 5998 HAS SOUPS 5985 WITH SCORE 6000.703
AT ITER 443 NEW BEST:: SOT 29191 SOS 15686 HAS SOPS 15664 HAS SOUS 5990 HAS SOUPS 5977 WITH SCORE 5992.686
AT ITER 445 NEW BEST:: SOT 29185 SOS 15674 HAS SOPS 15652 HAS SOUS 5990 HAS SOUPS 5977 WITH SCORE 5992.674
AT ITER 448 NEW BEST:: SOT 29167 SOS 15647 HAS SOPS 15625 HAS SOUS 5990 HAS SOUPS 5977 WITH SCORE 5992.647
AT ITER 451 NEW BEST:: SOT 29153 SOS 15639 HAS SOPS 15617 HAS SOUS 5990 HAS SOUPS 5977 WITH SCORE 5992.639
AT ITER 468 NEW BEST:: SOT 29071 SOS 15547 HAS SOPS 15525 HAS SOUS 5950 HAS SOUPS 5937 WITH SCORE 5952.547
AT ITER 469 NEW BEST:: SOT 29135 SOS 15643 HAS SOPS 15621 HAS SOUS 5947 HAS SOUPS 5934 WITH SCORE 5949.643
AT ITER 507 NEW BEST:: SOT 29124 SOS 15621 HAS SOPS 15599 HAS SOUS 5937 HAS SOUPS 5924 WITH SCORE 5939.621
AT ITER 515 NEW BEST:: SOT 29107 SOS 15587 HAS SOPS 15565 HAS SOUS 5920 HAS SOUPS 5907 WITH SCORE 5922.587
AT ITER 523 NEW BEST:: SOT 29073 SOS 15578 HAS SOPS 15556 HAS SOUS 5904 HAS SOUPS 5891 WITH SCORE 5906.578
AT ITER 532 NEW BEST:: SOT 29068 SOS 15561 HAS SOPS 15539 HAS SOUS 5892 HAS SOUPS 5879 WITH SCORE 5894.561
AT ITER 545 NEW BEST:: SOT 29038 SOS 15522 HAS SOPS 15500 HAS SOUS 5862 HAS SOUPS 5849 WITH SCORE 5864.522
AT ITER 552 NEW BEST:: SOT 29032 SOS 15511 HAS SOPS 15489 HAS SOUS 5855 HAS SOUPS 5842 WITH SCORE 5857.511
AT ITER 554 NEW BEST:: SOT 29019 SOS 15238 HAS SOPS 15216 HAS SOUS 5842 HAS SOUPS 5829 WITH SCORE 5844.238
AT ITER 556 NEW BEST:: SOT 28980 SOS 14964 HAS SOPS 14942 HAS SOUS 5824 HAS SOUPS 5811 WITH SCORE 5825.964
AT ITER 569 NEW BEST:: SOT 28923 SOS 14850 HAS SOPS 14828 HAS SOUS 5805 HAS SOUPS 5792 WITH SCORE 5806.85
AT ITER 602 NEW BEST:: SOT 28908 SOS 14480 HAS SOPS 14458 HAS SOUS 5790 HAS SOUPS 5777 WITH SCORE 5791.48
AT ITER 609 NEW BEST:: SOT 28753 SOS 16133 HAS SOPS 16111 HAS SOUS 5739 HAS SOUPS 5726 WITH SCORE 5742.133
AT ITER 615 NEW BEST:: SOT 28714 SOS 14818 HAS SOPS 14796 HAS SOUS 5620 HAS SOUPS 5607 WITH SCORE 5621.818
AT ITER 619 NEW BEST:: SOT 28719 SOS 14828 HAS SOPS 14806 HAS SOUS 5615 HAS SOUPS 5602 WITH SCORE 5616.828
AT ITER 623 NEW BEST:: SOT 28665 SOS 14942 HAS SOPS 14920 HAS SOUS 5582 HAS SOUPS 5569 WITH SCORE 5583.942
AT ITER 626 NEW BEST:: SOT 28663 SOS 14940 HAS SOPS 14918 HAS SOUS 5578 HAS SOUPS 5565 WITH SCORE 5579.94
AT ITER 629 NEW BEST:: SOT 28663 SOS 14931 HAS SOPS 14909 HAS SOUS 5572 HAS SOUPS 5559 WITH SCORE 5573.931
AT ITER 634 NEW BEST:: SOT 28652 SOS 14912 HAS SOPS 14890 HAS SOUS 5565 HAS SOUPS 5552 WITH SCORE 5566.912
AT ITER 638 NEW BEST:: SOT 28643 SOS 14884 HAS SOPS 14862 HAS SOUS 5553 HAS SOUPS 5540 WITH SCORE 5554.884
AT ITER 646 NEW BEST:: SOT 28629 SOS 14856 HAS SOPS 14834 HAS SOUS 5535 HAS SOUPS 5522 WITH SCORE 5536.856
AT ITER 656 NEW BEST:: SOT 28682 SOS 16214 HAS SOPS 16192 HAS SOUS 5468 HAS SOUPS 5455 WITH SCORE 5471.214
AT ITER 658 NEW BEST:: SOT 28552 SOS 16023 HAS SOPS 16001 HAS SOUS 5400 HAS SOUPS 5387 WITH SCORE 5403.023
AT ITER 672 NEW BEST:: SOT 28540 SOS 16338 HAS SOPS 16316 HAS SOUS 5366 HAS SOUPS 5353 WITH SCORE 5369.338
AT ITER 674 NEW BEST:: SOT 28524 SOS 16267 HAS SOPS 16245 HAS SOUS 5357 HAS SOUPS 5344 WITH SCORE 5360.267
AT ITER 681 NEW BEST:: SOT 28508 SOS 16251 HAS SOPS 16229 HAS SOUS 5341 HAS SOUPS 5328 WITH SCORE 5344.251
AT ITER 682 NEW BEST:: SOT 28502 SOS 16239 HAS SOPS 16217 HAS SOUS 5330 HAS SOUPS 5317 WITH SCORE 5333.239
AT ITER 692 NEW BEST:: SOT 28486 SOS 16215 HAS SOPS 16193 HAS SOUS 5317 HAS SOUPS 5304 WITH SCORE 5320.215
AT ITER 693 NEW BEST:: SOT 28492 SOS 16221 HAS SOPS 16199 HAS SOUS 5314 HAS SOUPS 5301 WITH SCORE 5317.221
AT ITER 696 NEW BEST:: SOT 28494 SOS 16222 HAS SOPS 16200 HAS SOUS 5313 HAS SOUPS 5300 WITH SCORE 5316.222
AT ITER 702 NEW BEST:: SOT 28476 SOS 16204 HAS SOPS 16182 HAS SOUS 5313 HAS SOUPS 5300 WITH SCORE 5316.204
AT ITER 708 NEW BEST:: SOT 28471 SOS 16199 HAS SOPS 16177 HAS SOUS 5313 HAS SOUPS 5300 WITH SCORE 5316.199
AT ITER 709 NEW BEST:: SOT 28461 SOS 16143 HAS SOPS 16121 HAS SOUS 5308 HAS SOUPS 5295 WITH SCORE 5311.143
AT ITER 727 NEW BEST:: SOT 28396 SOS 15958 HAS SOPS 15936 HAS SOUS 5276 HAS SOUPS 5263 WITH SCORE 5278.958
AT ITER 728 NEW BEST:: SOT 28400 SOS 15962 HAS SOPS 15940 HAS SOUS 5275 HAS SOUPS 5262 WITH SCORE 5277.962
AT ITER 730 NEW BEST:: SOT 28429 SOS 15991 HAS SOPS 15969 HAS SOUS 5271 HAS SOUPS 5258 WITH SCORE 5273.991
AT ITER 736 NEW BEST:: SOT 28381 SOS 15943 HAS SOPS 15921 HAS SOUS 5237 HAS SOUPS 5224 WITH SCORE 5239.943
AT ITER 750 NEW BEST:: SOT 28377 SOS 15939 HAS SOPS 15917 HAS SOUS 5221 HAS SOUPS 5208 WITH SCORE 5223.939
AT ITER 770 NEW BEST:: SOT 28360 SOS 15922 HAS SOPS 15900 HAS SOUS 5188 HAS SOUPS 5175 WITH SCORE 5190.922
AT ITER 786 NEW BEST:: SOT 28382 SOS 15944 HAS SOPS 15922 HAS SOUS 5181 HAS SOUPS 5168 WITH SCORE 5183.944
AT ITER 804 NEW BEST:: SOT 28313 SOS 16346 HAS SOPS 16324 HAS SOUS 5138 HAS SOUPS 5125 WITH SCORE 5141.346
AT ITER 805 NEW BEST:: SOT 28306 SOS 16241 HAS SOPS 16219 HAS SOUS 5138 HAS SOUPS 5125 WITH SCORE 5141.241
AT ITER 816 NEW BEST:: SOT 28250 SOS 16345 HAS SOPS 16323 HAS SOUS 5122 HAS SOUPS 5109 WITH SCORE 5125.345
AT ITER 828 NEW BEST:: SOT 28219 SOS 16276 HAS SOPS 16254 HAS SOUS 5107 HAS SOUPS 5094 WITH SCORE 5110.276
AT ITER 832 NEW BEST:: SOT 28214 SOS 16266 HAS SOPS 16244 HAS SOUS 5107 HAS SOUPS 5094 WITH SCORE 5110.266
AT ITER 847 NEW BEST:: SOT 28126 SOS 16181 HAS SOPS 16159 HAS SOUS 5105 HAS SOUPS 5092 WITH SCORE 5108.181
AT ITER 880 NEW BEST:: SOT 28090 SOS 16118 HAS SOPS 16096 HAS SOUS 5050 HAS SOUPS 5037 WITH SCORE 5053.118
AT ITER 883 NEW BEST:: SOT 28095 SOS 16123 HAS SOPS 16101 HAS SOUS 5038 HAS SOUPS 5025 WITH SCORE 5041.123
AT ITER 884 NEW BEST:: SOT 28095 SOS 16119 HAS SOPS 16097 HAS SOUS 5024 HAS SOUPS 5011 WITH SCORE 5027.119
AT ITER 898 NEW BEST:: SOT 28092 SOS 16082 HAS SOPS 16060 HAS SOUS 5024 HAS SOUPS 5011 WITH SCORE 5027.082
AT ITER 904 NEW BEST:: SOT 27896 SOS 16667 HAS SOPS 16645 HAS SOUS 4993 HAS SOUPS 4980 WITH SCORE 4996.667
AT ITER 905 NEW BEST:: SOT 27995 SOS 16838 HAS SOPS 16816 HAS SOUS 4990 HAS SOUPS 4977 WITH SCORE 4993.838
AT ITER 906 NEW BEST:: SOT 27992 SOS 16835 HAS SOPS 16813 HAS SOUS 4975 HAS SOUPS 4962 WITH SCORE 4978.835
AT ITER 908 NEW BEST:: SOT 27977 SOS 16820 HAS SOPS 16798 HAS SOUS 4967 HAS SOUPS 4954 WITH SCORE 4970.82
AT ITER 909 NEW BEST:: SOT 27966 SOS 16809 HAS SOPS 16787 HAS SOUS 4956 HAS SOUPS 4943 WITH SCORE 4959.809
AT ITER 915 NEW BEST:: SOT 27982 SOS 16825 HAS SOPS 16803 HAS SOUS 4950 HAS SOUPS 4937 WITH SCORE 4953.825
AT ITER 923 NEW BEST:: SOT 28013 SOS 16941 HAS SOPS 16919 HAS SOUS 4948 HAS SOUPS 4935 WITH SCORE 4951.941
AT ITER 928 NEW BEST:: SOT 27996 SOS 16898 HAS SOPS 16876 HAS SOUS 4946 HAS SOUPS 4933 WITH SCORE 4949.898
AT ITER 934 NEW BEST:: SOT 27994 SOS 16896 HAS SOPS 16874 HAS SOUS 4944 HAS SOUPS 4931 WITH SCORE 4947.896
AT ITER 936 NEW BEST:: SOT 27887 SOS 16226 HAS SOPS 16204 HAS SOUS 4926 HAS SOUPS 4913 WITH SCORE 4929.226
AT ITER 938 NEW BEST:: SOT 27882 SOS 16211 HAS SOPS 16189 HAS SOUS 4916 HAS SOUPS 4903 WITH SCORE 4919.211
AT ITER 952 NEW BEST:: SOT 27856 SOS 16115 HAS SOPS 16093 HAS SOUS 4912 HAS SOUPS 4899 WITH SCORE 4915.115
AT ITER 959 NEW BEST:: SOT 27834 SOS 16467 HAS SOPS 16445 HAS SOUS 4903 HAS SOUPS 4890 WITH SCORE 4906.467
AT ITER 972 NEW BEST:: SOT 27827 SOS 16457 HAS SOPS 16435 HAS SOUS 4900 HAS SOUPS 4887 WITH SCORE 4903.457
AT ITER 979 NEW BEST:: SOT 27825 SOS 16455 HAS SOPS 16433 HAS SOUS 4900 HAS SOUPS 4887 WITH SCORE 4903.455
AT ITER 983 NEW BEST:: SOT 27785 SOS 16423 HAS SOPS 16401 HAS SOUS 4898 HAS SOUPS 4885 WITH SCORE 4901.423
AT ITER 991 NEW BEST:: SOT 27738 SOS 16292 HAS SOPS 16270 HAS SOUS 4888 HAS SOUPS 4875 WITH SCORE 4891.292
AT ITER 992 NEW BEST:: SOT 27728 SOS 16271 HAS SOPS 16249 HAS SOUS 4879 HAS SOUPS 4866 WITH SCORE 4882.271
AT ITER 993 NEW BEST:: SOT 27717 SOS 16260 HAS SOPS 16238 HAS SOUS 4878 HAS SOUPS 4865 WITH SCORE 4881.26
AT ITER 998 NEW BEST:: SOT 27680 SOS 16186 HAS SOPS 16164 HAS SOUS 4863 HAS SOUPS 4850 WITH SCORE 4866.186
AT ITER 1004 NEW BEST:: SOT 27676 SOS 16179 HAS SOPS 16157 HAS SOUS 4860 HAS SOUPS 4847 WITH SCORE 4863.179
AT ITER 1013 NEW BEST:: SOT 27669 SOS 16172 HAS SOPS 16150 HAS SOUS 4859 HAS SOUPS 4846 WITH SCORE 4862.172
AT ITER 1017 NEW BEST:: SOT 27669 SOS 16172 HAS SOPS 16150 HAS SOUS 4847 HAS SOUPS 4834 WITH SCORE 4850.172
AT ITER 1031 NEW BEST:: SOT 27653 SOS 16170 HAS SOPS 16148 HAS SOUS 4817 HAS SOUPS 4804 WITH SCORE 4820.17
AT ITER 1040 NEW BEST:: SOT 27659 SOS 16176 HAS SOPS 16154 HAS SOUS 4808 HAS SOUPS 4795 WITH SCORE 4811.176
AT ITER 1057 NEW BEST:: SOT 27565 SOS 16075 HAS SOPS 16053 HAS SOUS 4789 HAS SOUPS 4776 WITH SCORE 4792.075
AT ITER 1060 NEW BEST:: SOT 27562 SOS 16072 HAS SOPS 16050 HAS SOUS 4789 HAS SOUPS 4776 WITH SCORE 4792.072
AT ITER 1072 NEW BEST:: SOT 27564 SOS 16184 HAS SOPS 16162 HAS SOUS 4773 HAS SOUPS 4760 WITH SCORE 4776.184
AT ITER 1102 NEW BEST:: SOT 27531 SOS 16151 HAS SOPS 16129 HAS SOUS 4740 HAS SOUPS 4727 WITH SCORE 4743.151
AT ITER 1119 NEW BEST:: SOT 27523 SOS 16145 HAS SOPS 16123 HAS SOUS 4732 HAS SOUPS 4719 WITH SCORE 4735.145
AT ITER 1126 NEW BEST:: SOT 27529 SOS 16037 HAS SOPS 16015 HAS SOUS 4726 HAS SOUPS 4713 WITH SCORE 4729.037
AT ITER 1132 NEW BEST:: SOT 27529 SOS 16037 HAS SOPS 16015 HAS SOUS 4725 HAS SOUPS 4712 WITH SCORE 4728.037
AT ITER 1175 NEW BEST:: SOT 27454 SOS 15889 HAS SOPS 15867 HAS SOUS 4723 HAS SOUPS 4710 WITH SCORE 4725.889
AT ITER 1182 NEW BEST:: SOT 27444 SOS 15859 HAS SOPS 15837 HAS SOUS 4703 HAS SOUPS 4690 WITH SCORE 4705.859
AT ITER 1190 NEW BEST:: SOT 27432 SOS 15847 HAS SOPS 15825 HAS SOUS 4679 HAS SOUPS 4666 WITH SCORE 4681.847
AT ITER 1225 NEW BEST:: SOT 27443 SOS 15857 HAS SOPS 15835 HAS SOUS 4672 HAS SOUPS 4659 WITH SCORE 4674.857
AT ITER 1228 NEW BEST:: SOT 27440 SOS 15854 HAS SOPS 15832 HAS SOUS 4672 HAS SOUPS 4659 WITH SCORE 4674.854
AT ITER 1249 NEW BEST:: SOT 27442 SOS 15858 HAS SOPS 15836 HAS SOUS 4668 HAS SOUPS 4655 WITH SCORE 4670.858
AT ITER 1262 NEW BEST:: SOT 27420 SOS 15836 HAS SOPS 15814 HAS SOUS 4655 HAS SOUPS 4642 WITH SCORE 4657.836
AT ITER 1284 NEW BEST:: SOT 27400 SOS 15785 HAS SOPS 15763 HAS SOUS 4633 HAS SOUPS 4620 WITH SCORE 4635.785
AT ITER 1301 NEW BEST:: SOT 27431 SOS 15816 HAS SOPS 15794 HAS SOUS 4624 HAS SOUPS 4611 WITH SCORE 4626.816
AT ITER 1306 NEW BEST:: SOT 27429 SOS 15813 HAS SOPS 15791 HAS SOUS 4621 HAS SOUPS 4608 WITH SCORE 4623.813
AT ITER 1318 NEW BEST:: SOT 27425 SOS 15805 HAS SOPS 15783 HAS SOUS 4617 HAS SOUPS 4604 WITH SCORE 4619.805
AT ITER 1325 NEW BEST:: SOT 27422 SOS 15804 HAS SOPS 15782 HAS SOUS 4616 HAS SOUPS 4603 WITH SCORE 4618.804
AT ITER 1342 NEW BEST:: SOT 27422 SOS 15804 HAS SOPS 15782 HAS SOUS 4608 HAS SOUPS 4595 WITH SCORE 4610.804
AT ITER 1361 NEW BEST:: SOT 27394 SOS 15776 HAS SOPS 15754 HAS SOUS 4605 HAS SOUPS 4592 WITH SCORE 4607.776
AT ITER 1365 NEW BEST:: SOT 27364 SOS 15746 HAS SOPS 15724 HAS SOUS 4585 HAS SOUPS 4572 WITH SCORE 4587.746
AT ITER 1369 NEW BEST:: SOT 27363 SOS 15744 HAS SOPS 15722 HAS SOUS 4584 HAS SOUPS 4571 WITH SCORE 4586.744
AT ITER 1384 NEW BEST:: SOT 27349 SOS 15730 HAS SOPS 15708 HAS SOUS 4577 HAS SOUPS 4564 WITH SCORE 4579.73
AT ITER 1390 NEW BEST:: SOT 27305 SOS 15686 HAS SOPS 15664 HAS SOUS 4571 HAS SOUPS 4558 WITH SCORE 4573.686
AT ITER 1408 NEW BEST:: SOT 27324 SOS 15705 HAS SOPS 15683 HAS SOUS 4557 HAS SOUPS 4544 WITH SCORE 4559.705
AT ITER 1419 NEW BEST:: SOT 27335 SOS 15716 HAS SOPS 15694 HAS SOUS 4549 HAS SOUPS 4536 WITH SCORE 4551.716
AT ITER 1423 NEW BEST:: SOT 27285 SOS 15621 HAS SOPS 15599 HAS SOUS 4524 HAS SOUPS 4511 WITH SCORE 4526.621
AT ITER 1426 NEW BEST:: SOT 27285 SOS 15621 HAS SOPS 15599 HAS SOUS 4519 HAS SOUPS 4506 WITH SCORE 4521.621
AT ITER 1428 NEW BEST:: SOT 27276 SOS 15607 HAS SOPS 15585 HAS SOUS 4518 HAS SOUPS 4505 WITH SCORE 4520.607
AT ITER 1441 NEW BEST:: SOT 27270 SOS 15601 HAS SOPS 15579 HAS SOUS 4511 HAS SOUPS 4498 WITH SCORE 4513.601
AT ITER 1455 NEW BEST:: SOT 27277 SOS 15600 HAS SOPS 15578 HAS SOUS 4480 HAS SOUPS 4467 WITH SCORE 4482.6
AT ITER 1464 NEW BEST:: SOT 27266 SOS 15589 HAS SOPS 15567 HAS SOUS 4477 HAS SOUPS 4464 WITH SCORE 4479.589
AT ITER 1476 NEW BEST:: SOT 27261 SOS 15584 HAS SOPS 15562 HAS SOUS 4468 HAS SOUPS 4455 WITH SCORE 4470.584
AT ITER 1505 NEW BEST:: SOT 27255 SOS 15572 HAS SOPS 15550 HAS SOUS 4454 HAS SOUPS 4441 WITH SCORE 4456.572
AT ITER 1514 NEW BEST:: SOT 27253 SOS 15593 HAS SOPS 15571 HAS SOUS 4451 HAS SOUPS 4438 WITH SCORE 4453.593
AT ITER 1538 NEW BEST:: SOT 27273 SOS 15613 HAS SOPS 15591 HAS SOUS 4448 HAS SOUPS 4435 WITH SCORE 4450.613
AT ITER 1578 NEW BEST:: SOT 27272 SOS 15571 HAS SOPS 15549 HAS SOUS 4447 HAS SOUPS 4434 WITH SCORE 4449.571
AT ITER 1621 NEW BEST:: SOT 27253 SOS 15552 HAS SOPS 15530 HAS SOUS 4428 HAS SOUPS 4415 WITH SCORE 4430.552
AT ITER 1684 NEW BEST:: SOT 27253 SOS 15552 HAS SOPS 15530 HAS SOUS 4426 HAS SOUPS 4413 WITH SCORE 4428.552
AT ITER 1691 NEW BEST:: SOT 27249 SOS 15620 HAS SOPS 15598 HAS SOUS 4422 HAS SOUPS 4409 WITH SCORE 4424.62
AT ITER 1694 NEW BEST:: SOT 27249 SOS 15620 HAS SOPS 15598 HAS SOUS 4418 HAS SOUPS 4405 WITH SCORE 4420.62
AT ITER 1705 NEW BEST:: SOT 27248 SOS 15618 HAS SOPS 15596 HAS SOUS 4417 HAS SOUPS 4404 WITH SCORE 4419.618
AT ITER 1711 NEW BEST:: SOT 27243 SOS 15555 HAS SOPS 15533 HAS SOUS 4408 HAS SOUPS 4395 WITH SCORE 4410.555
AT ITER 1803 NEW BEST:: SOT 27243 SOS 15564 HAS SOPS 15542 HAS SOUS 4405 HAS SOUPS 4392 WITH SCORE 4407.564
AT ITER 1821 NEW BEST:: SOT 27240 SOS 15561 HAS SOPS 15539 HAS SOUS 4399 HAS SOUPS 4386 WITH SCORE 4401.561
AT ITER 1834 NEW BEST:: SOT 27260 SOS 15581 HAS SOPS 15559 HAS SOUS 4389 HAS SOUPS 4376 WITH SCORE 4391.581
AT ITER 1841 NEW BEST:: SOT 27250 SOS 15571 HAS SOPS 15549 HAS SOUS 4389 HAS SOUPS 4376 WITH SCORE 4391.571
AT ITER 1843 NEW BEST:: SOT 27220 SOS 15586 HAS SOPS 15564 HAS SOUS 4380 HAS SOUPS 4367 WITH SCORE 4382.586
AT ITER 1848 NEW BEST:: SOT 27186 SOS 15484 HAS SOPS 15462 HAS SOUS 4380 HAS SOUPS 4367 WITH SCORE 4382.484
AT ITER 1855 NEW BEST:: SOT 27149 SOS 15447 HAS SOPS 15425 HAS SOUS 4367 HAS SOUPS 4354 WITH SCORE 4369.447
AT ITER 1874 NEW BEST:: SOT 27142 SOS 15436 HAS SOPS 15414 HAS SOUS 4367 HAS SOUPS 4354 WITH SCORE 4369.436
AT ITER 1889 NEW BEST:: SOT 27143 SOS 15440 HAS SOPS 15418 HAS SOUS 4363 HAS SOUPS 4350 WITH SCORE 4365.44
AT ITER 1894 NEW BEST:: SOT 27142 SOS 15439 HAS SOPS 15417 HAS SOUS 4363 HAS SOUPS 4350 WITH SCORE 4365.439
AT ITER 1919 NEW BEST:: SOT 27139 SOS 15437 HAS SOPS 15415 HAS SOUS 4362 HAS SOUPS 4349 WITH SCORE 4364.437
AT ITER 1920 NEW BEST:: SOT 27135 SOS 15433 HAS SOPS 15411 HAS SOUS 4358 HAS SOUPS 4345 WITH SCORE 4360.433
AT ITER 1982 NEW BEST:: SOT 27133 SOS 15389 HAS SOPS 15367 HAS SOUS 4356 HAS SOUPS 4343 WITH SCORE 4358.389
AT ITER 2018 NEW BEST:: SOT 27129 SOS 15385 HAS SOPS 15363 HAS SOUS 4352 HAS SOUPS 4339 WITH SCORE 4354.385
AT ITER 2036 NEW BEST:: SOT 27070 SOS 15326 HAS SOPS 15304 HAS SOUS 4294 HAS SOUPS 4281 WITH SCORE 4296.326
AT ITER 2078 NEW BEST:: SOT 26991 SOS 15221 HAS SOPS 15199 HAS SOUS 4272 HAS SOUPS 4259 WITH SCORE 4274.221
AT ITER 2079 NEW BEST:: SOT 26983 SOS 15101 HAS SOPS 15079 HAS SOUS 4264 HAS SOUPS 4251 WITH SCORE 4266.101
AT ITER 2096 NEW BEST:: SOT 26983 SOS 15096 HAS SOPS 15074 HAS SOUS 4264 HAS SOUPS 4251 WITH SCORE 4266.096
AT ITER 2107 NEW BEST:: SOT 26962 SOS 15050 HAS SOPS 15028 HAS SOUS 4254 HAS SOUPS 4241 WITH SCORE 4256.05
AT ITER 2112 NEW BEST:: SOT 26960 SOS 15048 HAS SOPS 15026 HAS SOUS 4254 HAS SOUPS 4241 WITH SCORE 4256.048
AT ITER 2113 NEW BEST:: SOT 26984 SOS 15073 HAS SOPS 15051 HAS SOUS 4250 HAS SOUPS 4237 WITH SCORE 4252.073
AT ITER 2139 NEW BEST:: SOT 26990 SOS 15086 HAS SOPS 15064 HAS SOUS 4217 HAS SOUPS 4204 WITH SCORE 4219.086
AT ITER 2143 NEW BEST:: SOT 27035 SOS 15160 HAS SOPS 15138 HAS SOUS 4216 HAS SOUPS 4203 WITH SCORE 4218.16
AT ITER 2166 NEW BEST:: SOT 27036 SOS 15172 HAS SOPS 15150 HAS SOUS 4214 HAS SOUPS 4201 WITH SCORE 4216.172
AT ITER 2168 NEW BEST:: SOT 27033 SOS 15160 HAS SOPS 15138 HAS SOUS 4208 HAS SOUPS 4195 WITH SCORE 4210.16
AT ITER 2174 NEW BEST:: SOT 26990 SOS 15130 HAS SOPS 15108 HAS SOUS 4199 HAS SOUPS 4186 WITH SCORE 4201.13
AT ITER 2192 NEW BEST:: SOT 27042 SOS 15208 HAS SOPS 15186 HAS SOUS 4196 HAS SOUPS 4183 WITH SCORE 4198.208
AT ITER 2195 NEW BEST:: SOT 27041 SOS 15193 HAS SOPS 15171 HAS SOUS 4196 HAS SOUPS 4183 WITH SCORE 4198.193
AT ITER 2208 NEW BEST:: SOT 27037 SOS 15189 HAS SOPS 15167 HAS SOUS 4188 HAS SOUPS 4175 WITH SCORE 4190.189
AT ITER 2221 NEW BEST:: SOT 27037 SOS 15189 HAS SOPS 15167 HAS SOUS 4180 HAS SOUPS 4167 WITH SCORE 4182.189
AT ITER 2223 NEW BEST:: SOT 27019 SOS 15171 HAS SOPS 15149 HAS SOUS 4165 HAS SOUPS 4152 WITH SCORE 4167.171
AT ITER 2247 NEW BEST:: SOT 27018 SOS 15171 HAS SOPS 15149 HAS SOUS 4164 HAS SOUPS 4151 WITH SCORE 4166.171
AT ITER 2255 NEW BEST:: SOT 27029 SOS 15182 HAS SOPS 15160 HAS SOUS 4153 HAS SOUPS 4140 WITH SCORE 4155.182
AT ITER 2262 NEW BEST:: SOT 27029 SOS 15182 HAS SOPS 15160 HAS SOUS 4144 HAS SOUPS 4131 WITH SCORE 4146.182
AT ITER 2290 NEW BEST:: SOT 27020 SOS 15173 HAS SOPS 15151 HAS SOUS 4125 HAS SOUPS 4112 WITH SCORE 4127.173
AT ITER 2301 NEW BEST:: SOT 27020 SOS 15173 HAS SOPS 15151 HAS SOUS 4123 HAS SOUPS 4110 WITH SCORE 4125.173
AT ITER 2352 NEW BEST:: SOT 27022 SOS 15175 HAS SOPS 15153 HAS SOUS 4119 HAS SOUPS 4106 WITH SCORE 4121.175
AT ITER 2409 NEW BEST:: SOT 27002 SOS 15155 HAS SOPS 15133 HAS SOUS 4118 HAS SOUPS 4105 WITH SCORE 4120.155
AT ITER 2419 NEW BEST:: SOT 26993 SOS 15146 HAS SOPS 15124 HAS SOUS 4109 HAS SOUPS 4096 WITH SCORE 4111.146
AT ITER 2420 NEW BEST:: SOT 26999 SOS 15183 HAS SOPS 15161 HAS SOUS 4106 HAS SOUPS 4093 WITH SCORE 4108.183
AT ITER 2470 NEW BEST:: SOT 26994 SOS 15178 HAS SOPS 15156 HAS SOUS 4099 HAS SOUPS 4086 WITH SCORE 4101.178
AT ITER 2498 NEW BEST:: SOT 26969 SOS 15146 HAS SOPS 15124 HAS SOUS 4080 HAS SOUPS 4067 WITH SCORE 4082.146
AT ITER 2503 NEW BEST:: SOT 26966 SOS 15143 HAS SOPS 15121 HAS SOUS 4075 HAS SOUPS 4062 WITH SCORE 4077.143
AT ITER 2520 NEW BEST:: SOT 26966 SOS 15139 HAS SOPS 15117 HAS SOUS 4071 HAS SOUPS 4058 WITH SCORE 4073.139
AT ITER 2549 NEW BEST:: SOT 26963 SOS 15136 HAS SOPS 15114 HAS SOUS 4068 HAS SOUPS 4055 WITH SCORE 4070.136
AT ITER 2573 NEW BEST:: SOT 26960 SOS 15120 HAS SOPS 15098 HAS SOUS 4061 HAS SOUPS 4048 WITH SCORE 4063.12
AT ITER 2606 NEW BEST:: SOT 26943 SOS 15085 HAS SOPS 15063 HAS SOUS 4050 HAS SOUPS 4037 WITH SCORE 4052.085
AT ITER 2611 NEW BEST:: SOT 26943 SOS 15085 HAS SOPS 15063 HAS SOUS 4049 HAS SOUPS 4036 WITH SCORE 4051.085
AT ITER 2615 NEW BEST:: SOT 26934 SOS 15067 HAS SOPS 15045 HAS SOUS 4037 HAS SOUPS 4024 WITH SCORE 4039.067
AT ITER 2673 NEW BEST:: SOT 26931 SOS 15064 HAS SOPS 15042 HAS SOUS 4031 HAS SOUPS 4018 WITH SCORE 4033.064
AT ITER 2686 NEW BEST:: SOT 26929 SOS 14976 HAS SOPS 14954 HAS SOUS 4031 HAS SOUPS 4018 WITH SCORE 4032.976
AT ITER 2718 NEW BEST:: SOT 26923 SOS 14970 HAS SOPS 14948 HAS SOUS 4019 HAS SOUPS 4006 WITH SCORE 4020.97
AT ITER 2728 NEW BEST:: SOT 26900 SOS 14947 HAS SOPS 14925 HAS SOUS 4019 HAS SOUPS 4006 WITH SCORE 4020.947
AT ITER 2762 NEW BEST:: SOT 26833 SOS 14753 HAS SOPS 14731 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4009.753
AT ITER 2772 NEW BEST:: SOT 26831 SOS 14751 HAS SOPS 14729 HAS SOUS 4008 HAS SOUPS 3995 WITH SCORE 4009.751
AT ITER 2791 NEW BEST:: SOT 26840 SOS 14769 HAS SOPS 14747 HAS SOUS 4001 HAS SOUPS 3988 WITH SCORE 4002.769
AT ITER 2802 NEW BEST:: SOT 26847 SOS 14783 HAS SOPS 14761 HAS SOUS 3994 HAS SOUPS 3981 WITH SCORE 3995.783
AT ITER 2846 NEW BEST:: SOT 26843 SOS 14779 HAS SOPS 14757 HAS SOUS 3990 HAS SOUPS 3977 WITH SCORE 3991.779
AT ITER 2910 NEW BEST:: SOT 26843 SOS 14778 HAS SOPS 14756 HAS SOUS 3986 HAS SOUPS 3973 WITH SCORE 3987.778
AT ITER 2955 NEW BEST:: SOT 26845 SOS 14780 HAS SOPS 14758 HAS SOUS 3985 HAS SOUPS 3972 WITH SCORE 3986.78
AT ITER 2960 NEW BEST:: SOT 26838 SOS 14926 HAS SOPS 14904 HAS SOUS 3972 HAS SOUPS 3959 WITH SCORE 3973.926
AT ITER 2975 NEW BEST:: SOT 26832 SOS 14920 HAS SOPS 14898 HAS SOUS 3963 HAS SOUPS 3950 WITH SCORE 3964.92
AT ITER 2991 NEW BEST:: SOT 26828 SOS 14916 HAS SOPS 14894 HAS SOUS 3959 HAS SOUPS 3946 WITH SCORE 3960.916
AT ITER 3014 NEW BEST:: SOT 26841 SOS 14929 HAS SOPS 14907 HAS SOUS 3957 HAS SOUPS 3944 WITH SCORE 3958.929
AT ITER 3057 NEW BEST:: SOT 26837 SOS 14925 HAS SOPS 14903 HAS SOUS 3941 HAS SOUPS 3928 WITH SCORE 3942.925
AT ITER 3058 NEW BEST:: SOT 26834 SOS 14933 HAS SOPS 14911 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3941.933
AT ITER 3059 NEW BEST:: SOT 26826 SOS 14922 HAS SOPS 14900 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3941.922
AT ITER 3067 NEW BEST:: SOT 26827 SOS 14915 HAS SOPS 14893 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3941.915
AT ITER 3069 NEW BEST:: SOT 26817 SOS 14905 HAS SOPS 14883 HAS SOUS 3932 HAS SOUPS 3919 WITH SCORE 3933.905
AT ITER 3114 NEW BEST:: SOT 26816 SOS 14904 HAS SOPS 14882 HAS SOUS 3932 HAS SOUPS 3919 WITH SCORE 3933.904
AT ITER 3123 NEW BEST:: SOT 26808 SOS 14896 HAS SOPS 14874 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3925.896
AT ITER 3127 NEW BEST:: SOT 26805 SOS 14890 HAS SOPS 14868 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3925.89
AT ITER 3168 NEW BEST:: SOT 26810 SOS 14828 HAS SOPS 14806 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3925.828
AT ITER 3177 NEW BEST:: SOT 26810 SOS 14828 HAS SOPS 14806 HAS SOUS 3919 HAS SOUPS 3906 WITH SCORE 3920.828
AT ITER 3218 NEW BEST:: SOT 26809 SOS 14824 HAS SOPS 14802 HAS SOUS 3917 HAS SOUPS 3904 WITH SCORE 3918.824
AT ITER 3288 NEW BEST:: SOT 26807 SOS 14822 HAS SOPS 14800 HAS SOUS 3915 HAS SOUPS 3902 WITH SCORE 3916.822
AT ITER 3308 NEW BEST:: SOT 26791 SOS 14798 HAS SOPS 14776 HAS SOUS 3907 HAS SOUPS 3894 WITH SCORE 3908.798
AT ITER 3336 NEW BEST:: SOT 26816 SOS 14821 HAS SOPS 14799 HAS SOUS 3894 HAS SOUPS 3881 WITH SCORE 3895.821
AT ITER 3340 NEW BEST:: SOT 26818 SOS 14823 HAS SOPS 14801 HAS SOUS 3892 HAS SOUPS 3879 WITH SCORE 3893.823
AT ITER 3367 NEW BEST:: SOT 26773 SOS 14778 HAS SOPS 14756 HAS SOUS 3892 HAS SOUPS 3879 WITH SCORE 3893.778
AT ITER 3416 NEW BEST:: SOT 26746 SOS 14758 HAS SOPS 14736 HAS SOUS 3886 HAS SOUPS 3873 WITH SCORE 3887.758
AT ITER 3463 NEW BEST:: SOT 26745 SOS 14704 HAS SOPS 14682 HAS SOUS 3885 HAS SOUPS 3872 WITH SCORE 3886.704
AT ITER 3492 NEW BEST:: SOT 26743 SOS 14702 HAS SOPS 14680 HAS SOUS 3883 HAS SOUPS 3870 WITH SCORE 3884.702
AT ITER 3644 NEW BEST:: SOT 26741 SOS 14698 HAS SOPS 14676 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3882.698
AT ITER 3681 NEW BEST:: SOT 26738 SOS 14695 HAS SOPS 14673 HAS SOUS 3881 HAS SOUPS 3868 WITH SCORE 3882.695
AT ITER 3712 NEW BEST:: SOT 26737 SOS 14678 HAS SOPS 14656 HAS SOUS 3867 HAS SOUPS 3854 WITH SCORE 3868.678
AT ITER 3732 NEW BEST:: SOT 26732 SOS 14665 HAS SOPS 14643 HAS SOUS 3856 HAS SOUPS 3843 WITH SCORE 3857.665
AT ITER 3750 NEW BEST:: SOT 26725 SOS 14658 HAS SOPS 14636 HAS SOUS 3849 HAS SOUPS 3836 WITH SCORE 3850.658
AT ITER 3883 NEW BEST:: SOT 26726 SOS 14660 HAS SOPS 14638 HAS SOUS 3840 HAS SOUPS 3827 WITH SCORE 3841.66
AT ITER 3898 NEW BEST:: SOT 26721 SOS 14655 HAS SOPS 14633 HAS SOUS 3830 HAS SOUPS 3817 WITH SCORE 3831.655
AT ITER 3939 NEW BEST:: SOT 26719 SOS 14654 HAS SOPS 14632 HAS SOUS 3824 HAS SOUPS 3811 WITH SCORE 3825.654
AT ITER 3977 NEW BEST:: SOT 26705 SOS 14633 HAS SOPS 14611 HAS SOUS 3817 HAS SOUPS 3804 WITH SCORE 3818.633
AT ITER 4022 NEW BEST:: SOT 26701 SOS 14629 HAS SOPS 14607 HAS SOUS 3813 HAS SOUPS 3800 WITH SCORE 3814.629
AT ITER 4030 NEW BEST:: SOT 26701 SOS 14629 HAS SOPS 14607 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.629
AT ITER 4095 NEW BEST:: SOT 26700 SOS 14627 HAS SOPS 14605 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.627
AT ITER 4131 NEW BEST:: SOT 26697 SOS 14621 HAS SOPS 14599 HAS SOUS 3812 HAS SOUPS 3799 WITH SCORE 3813.621
AT ITER 4136 NEW BEST:: SOT 26694 SOS 14615 HAS SOPS 14593 HAS SOUS 3802 HAS SOUPS 3789 WITH SCORE 3803.615
AT ITER 4196 NEW BEST:: SOT 26694 SOS 14613 HAS SOPS 14591 HAS SOUS 3800 HAS SOUPS 3787 WITH SCORE 3801.613
AT ITER 4217 NEW BEST:: SOT 26690 SOS 14609 HAS SOPS 14587 HAS SOUS 3792 HAS SOUPS 3779 WITH SCORE 3793.609
AT ITER 4220 NEW BEST:: SOT 26690 SOS 14609 HAS SOPS 14587 HAS SOUS 3789 HAS SOUPS 3776 WITH SCORE 3790.609
AT ITER 4227 NEW BEST:: SOT 26652 SOS 14501 HAS SOPS 14479 HAS SOUS 3772 HAS SOUPS 3759 WITH SCORE 3773.501
AT ITER 4229 NEW BEST:: SOT 26641 SOS 14490 HAS SOPS 14468 HAS SOUS 3764 HAS SOUPS 3751 WITH SCORE 3765.49
AT ITER 4334 NEW BEST:: SOT 26638 SOS 14487 HAS SOPS 14465 HAS SOUS 3761 HAS SOUPS 3748 WITH SCORE 3762.487
AT ITER 4369 NEW BEST:: SOT 26637 SOS 14486 HAS SOPS 14464 HAS SOUS 3760 HAS SOUPS 3747 WITH SCORE 3761.486
AT ITER 4423 NEW BEST:: SOT 26633 SOS 14482 HAS SOPS 14460 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3755.482
AT ITER 4428 NEW BEST:: SOT 26632 SOS 14481 HAS SOPS 14459 HAS SOUS 3751 HAS SOUPS 3738 WITH SCORE 3752.481
AT ITER 4461 NEW BEST:: SOT 26647 SOS 14907 HAS SOPS 14885 HAS SOUS 3742 HAS SOUPS 3729 WITH SCORE 3743.907
AT ITER 4500 NEW BEST:: SOT 26647 SOS 14907 HAS SOPS 14885 HAS SOUS 3741 HAS SOUPS 3728 WITH SCORE 3742.907
AT ITER 4520 NEW BEST:: SOT 26644 SOS 14901 HAS SOPS 14879 HAS SOUS 3738 HAS SOUPS 3725 WITH SCORE 3739.901
AT ITER 4530 NEW BEST:: SOT 26654 SOS 14867 HAS SOPS 14845 HAS SOUS 3736 HAS SOUPS 3723 WITH SCORE 3737.867
AT ITER 4640 NEW BEST:: SOT 26654 SOS 14867 HAS SOPS 14845 HAS SOUS 3732 HAS SOUPS 3719 WITH SCORE 3733.867
AT ITER 4653 NEW BEST:: SOT 26647 SOS 14860 HAS SOPS 14838 HAS SOUS 3729 HAS SOUPS 3716 WITH SCORE 3730.86
AT ITER 4678 NEW BEST:: SOT 26644 SOS 14857 HAS SOPS 14835 HAS SOUS 3728 HAS SOUPS 3715 WITH SCORE 3729.857
AT ITER 4713 NEW BEST:: SOT 26644 SOS 14857 HAS SOPS 14835 HAS SOUS 3721 HAS SOUPS 3708 WITH SCORE 3722.857
AT ITER 4762 NEW BEST:: SOT 26643 SOS 14856 HAS SOPS 14834 HAS SOUS 3720 HAS SOUPS 3707 WITH SCORE 3721.856
AT ITER 4798 NEW BEST:: SOT 26668 SOS 14750 HAS SOPS 14728 HAS SOUS 3719 HAS SOUPS 3706 WITH SCORE 3720.75
AT ITER 4838 NEW BEST:: SOT 26661 SOS 14737 HAS SOPS 14715 HAS SOUS 3718 HAS SOUPS 3705 WITH SCORE 3719.737
AT ITER 4857 NEW BEST:: SOT 26653 SOS 14729 HAS SOPS 14707 HAS SOUS 3710 HAS SOUPS 3697 WITH SCORE 3711.729
AT ITER 4871 NEW BEST:: SOT 26653 SOS 14725 HAS SOPS 14703 HAS SOUS 3710 HAS SOUPS 3697 WITH SCORE 3711.725
AT ITER 4931 NEW BEST:: SOT 26651 SOS 14721 HAS SOPS 14699 HAS SOUS 3706 HAS SOUPS 3693 WITH SCORE 3707.721
AT ITER 4962 NEW BEST:: SOT 26652 SOS 14719 HAS SOPS 14697 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3706.719
AT ITER 5091 NEW BEST:: SOT 26661 SOS 14728 HAS SOPS 14706 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3702.728
AT ITER 5103 NEW BEST:: SOT 26659 SOS 14723 HAS SOPS 14701 HAS SOUS 3699 HAS SOUPS 3686 WITH SCORE 3700.723
AT ITER 5112 NEW BEST:: SOT 26658 SOS 14722 HAS SOPS 14700 HAS SOUS 3699 HAS SOUPS 3686 WITH SCORE 3700.722
AT ITER 5137 NEW BEST:: SOT 26651 SOS 14716 HAS SOPS 14694 HAS SOUS 3699 HAS SOUPS 3686 WITH SCORE 3700.716
AT ITER 5202 NEW BEST:: SOT 26651 SOS 14714 HAS SOPS 14692 HAS SOUS 3697 HAS SOUPS 3684 WITH SCORE 3698.714
AT ITER 5211 NEW BEST:: SOT 26644 SOS 14701 HAS SOPS 14679 HAS SOUS 3696 HAS SOUPS 3683 WITH SCORE 3697.701
AT ITER 5240 NEW BEST:: SOT 26641 SOS 14698 HAS SOPS 14676 HAS SOUS 3693 HAS SOUPS 3680 WITH SCORE 3694.698
AT ITER 5342 NEW BEST:: SOT 26642 SOS 14699 HAS SOPS 14677 HAS SOUS 3692 HAS SOUPS 3679 WITH SCORE 3693.699
AT ITER 5350 NEW BEST:: SOT 26645 SOS 14702 HAS SOPS 14680 HAS SOUS 3689 HAS SOUPS 3676 WITH SCORE 3690.702
AT ITER 5438 NEW BEST:: SOT 26664 SOS 14610 HAS SOPS 14588 HAS SOUS 3684 HAS SOUPS 3671 WITH SCORE 3685.61
AT ITER 5479 NEW BEST:: SOT 26665 SOS 14611 HAS SOPS 14589 HAS SOUS 3682 HAS SOUPS 3669 WITH SCORE 3683.611
AT ITER 5483 NEW BEST:: SOT 26665 SOS 14611 HAS SOPS 14589 HAS SOUS 3665 HAS SOUPS 3652 WITH SCORE 3666.611
AT ITER 5544 NEW BEST:: SOT 26664 SOS 14610 HAS SOPS 14588 HAS SOUS 3664 HAS SOUPS 3651 WITH SCORE 3665.61
AT ITER 5547 NEW BEST:: SOT 26663 SOS 14602 HAS SOPS 14580 HAS SOUS 3658 HAS SOUPS 3645 WITH SCORE 3659.602
AT ITER 5561 NEW BEST:: SOT 26666 SOS 14610 HAS SOPS 14588 HAS SOUS 3657 HAS SOUPS 3644 WITH SCORE 3658.61
AT ITER 5584 NEW BEST:: SOT 26662 SOS 14606 HAS SOPS 14584 HAS SOUS 3649 HAS SOUPS 3636 WITH SCORE 3650.606
AT ITER 5611 NEW BEST:: SOT 26662 SOS 14606 HAS SOPS 14584 HAS SOUS 3648 HAS SOUPS 3635 WITH SCORE 3649.606
AT ITER 5636 NEW BEST:: SOT 26655 SOS 14599 HAS SOPS 14577 HAS SOUS 3648 HAS SOUPS 3635 WITH SCORE 3649.599
AT ITER 5706 NEW BEST:: SOT 26655 SOS 14599 HAS SOPS 14577 HAS SOUS 3643 HAS SOUPS 3630 WITH SCORE 3644.599
AT ITER 5707 NEW BEST:: SOT 26644 SOS 14565 HAS SOPS 14543 HAS SOUS 3638 HAS SOUPS 3625 WITH SCORE 3639.565
AT ITER 5709 NEW BEST:: SOT 26640 SOS 14561 HAS SOPS 14539 HAS SOUS 3631 HAS SOUPS 3618 WITH SCORE 3632.561
AT ITER 5740 NEW BEST:: SOT 26637 SOS 14555 HAS SOPS 14533 HAS SOUS 3628 HAS SOUPS 3615 WITH SCORE 3629.555
AT ITER 5767 NEW BEST:: SOT 26638 SOS 14557 HAS SOPS 14535 HAS SOUS 3624 HAS SOUPS 3611 WITH SCORE 3625.557
AT ITER 5779 NEW BEST:: SOT 26645 SOS 14564 HAS SOPS 14542 HAS SOUS 3623 HAS SOUPS 3610 WITH SCORE 3624.564
AT ITER 5816 NEW BEST:: SOT 26631 SOS 14550 HAS SOPS 14528 HAS SOUS 3609 HAS SOUPS 3596 WITH SCORE 3610.55
AT ITER 5887 NEW BEST:: SOT 26622 SOS 14535 HAS SOPS 14513 HAS SOUS 3603 HAS SOUPS 3590 WITH SCORE 3604.535
AT ITER 5989 NEW BEST:: SOT 26621 SOS 14534 HAS SOPS 14512 HAS SOUS 3603 HAS SOUPS 3590 WITH SCORE 3604.534
AT ITER 6093 NEW BEST:: SOT 26619 SOS 14530 HAS SOPS 14508 HAS SOUS 3601 HAS SOUPS 3588 WITH SCORE 3602.53
AT ITER 6152 NEW BEST:: SOT 26619 SOS 14530 HAS SOPS 14508 HAS SOUS 3599 HAS SOUPS 3586 WITH SCORE 3600.53
AT ITER 6215 NEW BEST:: SOT 26613 SOS 14515 HAS SOPS 14493 HAS SOUS 3596 HAS SOUPS 3583 WITH SCORE 3597.515
AT ITER 6311 NEW BEST:: SOT 26612 SOS 14514 HAS SOPS 14492 HAS SOUS 3593 HAS SOUPS 3580 WITH SCORE 3594.514
AT ITER 6345 NEW BEST:: SOT 26612 SOS 14511 HAS SOPS 14489 HAS SOUS 3593 HAS SOUPS 3580 WITH SCORE 3594.511
AT ITER 6396 NEW BEST:: SOT 26616 SOS 14621 HAS SOPS 14599 HAS SOUS 3592 HAS SOUPS 3579 WITH SCORE 3593.621
AT ITER 6400 NEW BEST:: SOT 26615 SOS 14620 HAS SOPS 14598 HAS SOUS 3591 HAS SOUPS 3578 WITH SCORE 3592.62
AT ITER 6449 NEW BEST:: SOT 26616 SOS 14621 HAS SOPS 14599 HAS SOUS 3590 HAS SOUPS 3577 WITH SCORE 3591.621
AT ITER 6461 NEW BEST:: SOT 26614 SOS 14619 HAS SOPS 14597 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3587.619
AT ITER 6463 NEW BEST:: SOT 26614 SOS 14613 HAS SOPS 14591 HAS SOUS 3586 HAS SOUPS 3573 WITH SCORE 3587.613
AT ITER 6476 NEW BEST:: SOT 26616 SOS 14615 HAS SOPS 14593 HAS SOUS 3584 HAS SOUPS 3571 WITH SCORE 3585.615
AT ITER 6626 NEW BEST:: SOT 26613 SOS 14606 HAS SOPS 14584 HAS SOUS 3584 HAS SOUPS 3571 WITH SCORE 3585.606
AT ITER 6648 NEW BEST:: SOT 26613 SOS 14606 HAS SOPS 14584 HAS SOUS 3576 HAS SOUPS 3563 WITH SCORE 3577.606
AT ITER 6698 NEW BEST:: SOT 26609 SOS 14602 HAS SOPS 14580 HAS SOUS 3572 HAS SOUPS 3559 WITH SCORE 3573.602
AT ITER 6802 NEW BEST:: SOT 26593 SOS 14586 HAS SOPS 14564 HAS SOUS 3572 HAS SOUPS 3559 WITH SCORE 3573.586
AT ITER 6859 NEW BEST:: SOT 26589 SOS 14578 HAS SOPS 14556 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3565.578
AT ITER 7068 NEW BEST:: SOT 26590 SOS 14576 HAS SOPS 14554 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3565.576
AT ITER 7092 NEW BEST:: SOT 26586 SOS 14568 HAS SOPS 14546 HAS SOUS 3564 HAS SOUPS 3551 WITH SCORE 3565.568
AT ITER 7186 NEW BEST:: SOT 26594 SOS 14576 HAS SOPS 14554 HAS SOUS 3560 HAS SOUPS 3547 WITH SCORE 3561.576
AT ITER 7217 NEW BEST:: SOT 26596 SOS 14578 HAS SOPS 14556 HAS SOUS 3559 HAS SOUPS 3546 WITH SCORE 3560.578
AT ITER 7388 NEW BEST:: SOT 26595 SOS 14577 HAS SOPS 14555 HAS SOUS 3558 HAS SOUPS 3545 WITH SCORE 3559.577
AT ITER 7396 NEW BEST:: SOT 26593 SOS 14575 HAS SOPS 14553 HAS SOUS 3556 HAS SOUPS 3543 WITH SCORE 3557.575
AT ITER 7410 NEW BEST:: SOT 26592 SOS 14573 HAS SOPS 14551 HAS SOUS 3556 HAS SOUPS 3543 WITH SCORE 3557.573
AT ITER 7411 NEW BEST:: SOT 26592 SOS 14573 HAS SOPS 14551 HAS SOUS 3552 HAS SOUPS 3539 WITH SCORE 3553.573
AT ITER 7497 NEW BEST:: SOT 26603 SOS 14584 HAS SOPS 14562 HAS SOUS 3547 HAS SOUPS 3534 WITH SCORE 3548.584
AT ITER 7504 NEW BEST:: SOT 26597 SOS 14578 HAS SOPS 14556 HAS SOUS 3541 HAS SOUPS 3528 WITH SCORE 3542.578
AT ITER 7755 NEW BEST:: SOT 26597 SOS 14578 HAS SOPS 14556 HAS SOUS 3540 HAS SOUPS 3527 WITH SCORE 3541.578
AT ITER 7770 NEW BEST:: SOT 26606 SOS 14594 HAS SOPS 14572 HAS SOUS 3538 HAS SOUPS 3525 WITH SCORE 3539.594
AT ITER 7934 NEW BEST:: SOT 26606 SOS 14589 HAS SOPS 14567 HAS SOUS 3536 HAS SOUPS 3523 WITH SCORE 3537.589
AT ITER 7989 NEW BEST:: SOT 26592 SOS 14568 HAS SOPS 14546 HAS SOUS 3533 HAS SOUPS 3520 WITH SCORE 3534.568
AT ITER 7994 NEW BEST:: SOT 26589 SOS 14565 HAS SOPS 14543 HAS SOUS 3530 HAS SOUPS 3517 WITH SCORE 3531.565
AT ITER 8009 NEW BEST:: SOT 26587 SOS 14563 HAS SOPS 14541 HAS SOUS 3528 HAS SOUPS 3515 WITH SCORE 3529.563
AT ITER 8028 NEW BEST:: SOT 26584 SOS 14560 HAS SOPS 14538 HAS SOUS 3525 HAS SOUPS 3512 WITH SCORE 3526.56
AT ITER 8032 NEW BEST:: SOT 26582 SOS 14558 HAS SOPS 14536 HAS SOUS 3523 HAS SOUPS 3510 WITH SCORE 3524.558
AT ITER 8036 NEW BEST:: SOT 26581 SOS 14557 HAS SOPS 14535 HAS SOUS 3522 HAS SOUPS 3509 WITH SCORE 3523.557
AT ITER 8048 NEW BEST:: SOT 26588 SOS 14552 HAS SOPS 14530 HAS SOUS 3517 HAS SOUPS 3504 WITH SCORE 3518.552
AT ITER 8095 NEW BEST:: SOT 26588 SOS 14552 HAS SOPS 14530 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3517.552
AT ITER 8123 NEW BEST:: SOT 26565 SOS 14532 HAS SOPS 14510 HAS SOUS 3516 HAS SOUPS 3503 WITH SCORE 3517.532
AT ITER 8132 NEW BEST:: SOT 26567 SOS 14527 HAS SOPS 14505 HAS SOUS 3511 HAS SOUPS 3498 WITH SCORE 3512.527
AT ITER 8147 NEW BEST:: SOT 26566 SOS 14524 HAS SOPS 14502 HAS SOUS 3510 HAS SOUPS 3497 WITH SCORE 3511.524
AT ITER 8191 NEW BEST:: SOT 26566 SOS 14524 HAS SOPS 14502 HAS SOUS 3509 HAS SOUPS 3496 WITH SCORE 3510.524
AT ITER 8208 NEW BEST:: SOT 26565 SOS 14523 HAS SOPS 14501 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3509.523
AT ITER 8263 NEW BEST:: SOT 26559 SOS 14473 HAS SOPS 14451 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3509.473
AT ITER 8352 NEW BEST:: SOT 26556 SOS 14470 HAS SOPS 14448 HAS SOUS 3508 HAS SOUPS 3495 WITH SCORE 3509.47
AT ITER 8397 NEW BEST:: SOT 26554 SOS 14468 HAS SOPS 14446 HAS SOUS 3506 HAS SOUPS 3493 WITH SCORE 3507.468
AT ITER 8412 NEW BEST:: SOT 26554 SOS 14467 HAS SOPS 14445 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3504.467
AT ITER 8732 NEW BEST:: SOT 26553 SOS 14465 HAS SOPS 14443 HAS SOUS 3500 HAS SOUPS 3487 WITH SCORE 3501.465
AT ITER 8742 NEW BEST:: SOT 26552 SOS 14464 HAS SOPS 14442 HAS SOUS 3499 HAS SOUPS 3486 WITH SCORE 3500.464
AT ITER 8977 NEW BEST:: SOT 26550 SOS 14463 HAS SOPS 14441 HAS SOUS 3498 HAS SOUPS 3485 WITH SCORE 3499.463
AT ITER 8980 NEW BEST:: SOT 26556 SOS 14483 HAS SOPS 14461 HAS SOUS 3497 HAS SOUPS 3484 WITH SCORE 3498.483
AT ITER 9088 NEW BEST:: SOT 26555 SOS 14482 HAS SOPS 14460 HAS SOUS 3496 HAS SOUPS 3483 WITH SCORE 3497.482
AT ITER 9176 NEW BEST:: SOT 26557 SOS 14520 HAS SOPS 14498 HAS SOUS 3494 HAS SOUPS 3481 WITH SCORE 3495.52
AT ITER 9186 NEW BEST:: SOT 26556 SOS 14519 HAS SOPS 14497 HAS SOUS 3491 HAS SOUPS 3478 WITH SCORE 3492.519
AT ITER 9210 NEW BEST:: SOT 26554 SOS 14517 HAS SOPS 14495 HAS SOUS 3487 HAS SOUPS 3474 WITH SCORE 3488.517
AT ITER 9300 NEW BEST:: SOT 26554 SOS 14517 HAS SOPS 14495 HAS SOUS 3483 HAS SOUPS 3470 WITH SCORE 3484.517
AT ITER 9437 NEW BEST:: SOT 26551 SOS 14415 HAS SOPS 14393 HAS SOUS 3483 HAS SOUPS 3470 WITH SCORE 3484.415
AT ITER 9574 NEW BEST:: SOT 26551 SOS 14415 HAS SOPS 14393 HAS SOUS 3482 HAS SOUPS 3469 WITH SCORE 3483.415
AT ITER 9591 NEW BEST:: SOT 26553 SOS 14417 HAS SOPS 14395 HAS SOUS 3477 HAS SOUPS 3464 WITH SCORE 3478.417
AT ITER 9620 NEW BEST:: SOT 26553 SOS 14421 HAS SOPS 14399 HAS SOUS 3475 HAS SOUPS 3462 WITH SCORE 3476.421
AT ITER 9630 NEW BEST:: SOT 26551 SOS 14419 HAS SOPS 14397 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3474.419
AT ITER 9965 NEW BEST:: SOT 26548 SOS 14394 HAS SOPS 14372 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3474.394

BK_STOP 1678583104020

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

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

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="HealthRecord-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smartxred"
echo " Input is HealthRecord-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r203-smll-167840349400312"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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