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.r195-smll-167840342200296.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.....................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is HealthRecord-PT-08, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r195-smll-167840342200296
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 5.6K Feb 26 18:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 55K Feb 26 18:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 17:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 17:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 4.8K Feb 26 18:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 37K Feb 26 18:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.9K Feb 26 18:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 26 18:04 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 68K 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 1678493364714

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=HealthRecord-PT-08
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HealthRecord (PT), instance 08
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: 156 places, 326 transitions, 855 arcs.
AT ITER 0 NEW BEST:: SOT 35935 SOS 20508 HAS SOPS 20486 HAS SOUS 11841 HAS SOUPS 11828 WITH SCORE 11848.508
AT ITER 1 NEW BEST:: SOT 35346 SOS 20266 HAS SOPS 20244 HAS SOUS 11829 HAS SOUPS 11816 WITH SCORE 11836.266
AT ITER 2 NEW BEST:: SOT 35132 SOS 19942 HAS SOPS 19920 HAS SOUS 11828 HAS SOUPS 11815 WITH SCORE 11834.942
AT ITER 5 NEW BEST:: SOT 35094 SOS 19815 HAS SOPS 19793 HAS SOUS 11799 HAS SOUPS 11786 WITH SCORE 11805.815
AT ITER 6 NEW BEST:: SOT 35094 SOS 19745 HAS SOPS 19723 HAS SOUS 11729 HAS SOUPS 11716 WITH SCORE 11735.745
AT ITER 8 NEW BEST:: SOT 34067 SOS 19265 HAS SOPS 19243 HAS SOUS 11215 HAS SOUPS 11202 WITH SCORE 11221.265
AT ITER 9 NEW BEST:: SOT 34089 SOS 19309 HAS SOPS 19287 HAS SOUS 11172 HAS SOUPS 11159 WITH SCORE 11178.309
AT ITER 10 NEW BEST:: SOT 33974 SOS 19144 HAS SOPS 19122 HAS SOUS 11116 HAS SOUPS 11103 WITH SCORE 11122.144
AT ITER 12 NEW BEST:: SOT 33974 SOS 19144 HAS SOPS 19122 HAS SOUS 11114 HAS SOUPS 11101 WITH SCORE 11120.144
AT ITER 13 NEW BEST:: SOT 34017 SOS 19230 HAS SOPS 19208 HAS SOUS 11076 HAS SOUPS 11063 WITH SCORE 11082.23
AT ITER 15 NEW BEST:: SOT 33993 SOS 19146 HAS SOPS 19124 HAS SOUS 11040 HAS SOUPS 11027 WITH SCORE 11046.146
AT ITER 16 NEW BEST:: SOT 33983 SOS 19126 HAS SOPS 19104 HAS SOUS 11040 HAS SOUPS 11027 WITH SCORE 11046.126
AT ITER 17 NEW BEST:: SOT 33986 SOS 19107 HAS SOPS 19085 HAS SOUS 11015 HAS SOUPS 11002 WITH SCORE 11021.107
AT ITER 20 NEW BEST:: SOT 33972 SOS 19086 HAS SOPS 19064 HAS SOUS 11008 HAS SOUPS 10995 WITH SCORE 11014.086
AT ITER 21 NEW BEST:: SOT 34002 SOS 19101 HAS SOPS 19079 HAS SOUS 11002 HAS SOUPS 10989 WITH SCORE 11008.101
AT ITER 22 NEW BEST:: SOT 33951 SOS 19008 HAS SOPS 18986 HAS SOUS 10972 HAS SOUPS 10959 WITH SCORE 10978.008
AT ITER 23 NEW BEST:: SOT 33846 SOS 18908 HAS SOPS 18886 HAS SOUS 10867 HAS SOUPS 10854 WITH SCORE 10872.908
AT ITER 26 NEW BEST:: SOT 33866 SOS 18917 HAS SOPS 18895 HAS SOUS 10847 HAS SOUPS 10834 WITH SCORE 10852.917
AT ITER 32 NEW BEST:: SOT 33782 SOS 18833 HAS SOPS 18811 HAS SOUS 10810 HAS SOUPS 10797 WITH SCORE 10815.833
AT ITER 33 NEW BEST:: SOT 34401 SOS 18325 HAS SOPS 18303 HAS SOUS 10701 HAS SOUPS 10688 WITH SCORE 10706.325
AT ITER 36 NEW BEST:: SOT 34406 SOS 18335 HAS SOPS 18313 HAS SOUS 10666 HAS SOUPS 10653 WITH SCORE 10671.335
AT ITER 44 NEW BEST:: SOT 32651 SOS 17563 HAS SOPS 17541 HAS SOUS 9130 HAS SOUPS 9117 WITH SCORE 9134.563
AT ITER 46 NEW BEST:: SOT 32608 SOS 17484 HAS SOPS 17462 HAS SOUS 9109 HAS SOUPS 9096 WITH SCORE 9113.484
AT ITER 53 NEW BEST:: SOT 32604 SOS 17480 HAS SOPS 17458 HAS SOUS 9109 HAS SOUPS 9096 WITH SCORE 9113.48
AT ITER 54 NEW BEST:: SOT 32508 SOS 17303 HAS SOPS 17281 HAS SOUS 9106 HAS SOUPS 9093 WITH SCORE 9110.303
AT ITER 56 NEW BEST:: SOT 32468 SOS 17228 HAS SOPS 17206 HAS SOUS 9100 HAS SOUPS 9087 WITH SCORE 9104.228
AT ITER 57 NEW BEST:: SOT 31227 SOS 16342 HAS SOPS 16320 HAS SOUS 8700 HAS SOUPS 8687 WITH SCORE 8703.342
AT ITER 63 NEW BEST:: SOT 31196 SOS 16239 HAS SOPS 16217 HAS SOUS 8626 HAS SOUPS 8613 WITH SCORE 8629.239
AT ITER 67 NEW BEST:: SOT 30238 SOS 16125 HAS SOPS 16103 HAS SOUS 7872 HAS SOUPS 7859 WITH SCORE 7875.125
AT ITER 69 NEW BEST:: SOT 30206 SOS 16083 HAS SOPS 16061 HAS SOUS 7805 HAS SOUPS 7792 WITH SCORE 7808.083
AT ITER 75 NEW BEST:: SOT 30333 SOS 15288 HAS SOPS 15266 HAS SOUS 7701 HAS SOUPS 7688 WITH SCORE 7703.288
AT ITER 78 NEW BEST:: SOT 30330 SOS 15322 HAS SOPS 15300 HAS SOUS 7692 HAS SOUPS 7679 WITH SCORE 7694.322
AT ITER 80 NEW BEST:: SOT 29993 SOS 15220 HAS SOPS 15198 HAS SOUS 7630 HAS SOUPS 7617 WITH SCORE 7632.22
AT ITER 82 NEW BEST:: SOT 29945 SOS 15062 HAS SOPS 15040 HAS SOUS 7623 HAS SOUPS 7610 WITH SCORE 7625.062
AT ITER 87 NEW BEST:: SOT 29945 SOS 15051 HAS SOPS 15029 HAS SOUS 7611 HAS SOUPS 7598 WITH SCORE 7613.051
AT ITER 92 NEW BEST:: SOT 29913 SOS 15003 HAS SOPS 14981 HAS SOUS 7595 HAS SOUPS 7582 WITH SCORE 7597.003
AT ITER 95 NEW BEST:: SOT 29902 SOS 14991 HAS SOPS 14969 HAS SOUS 7584 HAS SOUPS 7571 WITH SCORE 7585.991
AT ITER 101 NEW BEST:: SOT 29772 SOS 16514 HAS SOPS 16492 HAS SOUS 7541 HAS SOUPS 7528 WITH SCORE 7544.514
AT ITER 105 NEW BEST:: SOT 29680 SOS 16376 HAS SOPS 16354 HAS SOUS 7452 HAS SOUPS 7439 WITH SCORE 7455.376
AT ITER 107 NEW BEST:: SOT 29670 SOS 16356 HAS SOPS 16334 HAS SOUS 7452 HAS SOUPS 7439 WITH SCORE 7455.356
AT ITER 108 NEW BEST:: SOT 29574 SOS 16230 HAS SOPS 16208 HAS SOUS 7378 HAS SOUPS 7365 WITH SCORE 7381.23
AT ITER 111 NEW BEST:: SOT 29574 SOS 16230 HAS SOPS 16208 HAS SOUS 7369 HAS SOUPS 7356 WITH SCORE 7372.23
AT ITER 113 NEW BEST:: SOT 29574 SOS 16230 HAS SOPS 16208 HAS SOUS 7359 HAS SOUPS 7346 WITH SCORE 7362.23
AT ITER 115 NEW BEST:: SOT 29568 SOS 16218 HAS SOPS 16196 HAS SOUS 7347 HAS SOUPS 7334 WITH SCORE 7350.218
AT ITER 116 NEW BEST:: SOT 29549 SOS 16190 HAS SOPS 16168 HAS SOUS 7328 HAS SOUPS 7315 WITH SCORE 7331.19
AT ITER 117 NEW BEST:: SOT 28845 SOS 16070 HAS SOPS 16048 HAS SOUS 7321 HAS SOUPS 7308 WITH SCORE 7324.07
AT ITER 118 NEW BEST:: SOT 28884 SOS 16103 HAS SOPS 16081 HAS SOUS 7287 HAS SOUPS 7274 WITH SCORE 7290.103
AT ITER 120 NEW BEST:: SOT 28881 SOS 16100 HAS SOPS 16078 HAS SOUS 7287 HAS SOUPS 7274 WITH SCORE 7290.1
AT ITER 124 NEW BEST:: SOT 28862 SOS 16081 HAS SOPS 16059 HAS SOUS 7277 HAS SOUPS 7264 WITH SCORE 7280.081
AT ITER 125 NEW BEST:: SOT 28909 SOS 16183 HAS SOPS 16161 HAS SOUS 7271 HAS SOUPS 7258 WITH SCORE 7274.183
AT ITER 128 NEW BEST:: SOT 28886 SOS 16131 HAS SOPS 16109 HAS SOUS 7234 HAS SOUPS 7221 WITH SCORE 7237.131
AT ITER 140 NEW BEST:: SOT 28809 SOS 16159 HAS SOPS 16137 HAS SOUS 7199 HAS SOUPS 7186 WITH SCORE 7202.159
AT ITER 145 NEW BEST:: SOT 28782 SOS 16090 HAS SOPS 16068 HAS SOUS 7158 HAS SOUPS 7145 WITH SCORE 7161.09
AT ITER 148 NEW BEST:: SOT 28768 SOS 16076 HAS SOPS 16054 HAS SOUS 7105 HAS SOUPS 7092 WITH SCORE 7108.076
AT ITER 150 NEW BEST:: SOT 28724 SOS 16039 HAS SOPS 16017 HAS SOUS 7105 HAS SOUPS 7092 WITH SCORE 7108.039
AT ITER 152 NEW BEST:: SOT 28724 SOS 15986 HAS SOPS 15964 HAS SOUS 7092 HAS SOUPS 7079 WITH SCORE 7094.986
AT ITER 154 NEW BEST:: SOT 28734 SOS 15956 HAS SOPS 15934 HAS SOUS 7089 HAS SOUPS 7076 WITH SCORE 7091.956
AT ITER 158 NEW BEST:: SOT 28743 SOS 15965 HAS SOPS 15943 HAS SOUS 7080 HAS SOUPS 7067 WITH SCORE 7082.965
AT ITER 159 NEW BEST:: SOT 28733 SOS 15955 HAS SOPS 15933 HAS SOUS 7060 HAS SOUPS 7047 WITH SCORE 7062.955
AT ITER 163 NEW BEST:: SOT 28653 SOS 16593 HAS SOPS 16571 HAS SOUS 6914 HAS SOUPS 6901 WITH SCORE 6917.593
AT ITER 169 NEW BEST:: SOT 28255 SOS 16356 HAS SOPS 16334 HAS SOUS 6516 HAS SOUPS 6503 WITH SCORE 6519.356
AT ITER 175 NEW BEST:: SOT 28098 SOS 15968 HAS SOPS 15946 HAS SOUS 6499 HAS SOUPS 6486 WITH SCORE 6501.968
AT ITER 176 NEW BEST:: SOT 28038 SOS 15867 HAS SOPS 15845 HAS SOUS 6499 HAS SOUPS 6486 WITH SCORE 6501.867
AT ITER 178 NEW BEST:: SOT 28029 SOS 15849 HAS SOPS 15827 HAS SOUS 6499 HAS SOUPS 6486 WITH SCORE 6501.849
AT ITER 179 NEW BEST:: SOT 28074 SOS 15939 HAS SOPS 15917 HAS SOUS 6487 HAS SOUPS 6474 WITH SCORE 6489.939
AT ITER 181 NEW BEST:: SOT 28126 SOS 16012 HAS SOPS 15990 HAS SOUS 6482 HAS SOUPS 6469 WITH SCORE 6485.012
AT ITER 182 NEW BEST:: SOT 28117 SOS 15975 HAS SOPS 15953 HAS SOUS 6481 HAS SOUPS 6468 WITH SCORE 6483.975
AT ITER 188 NEW BEST:: SOT 28036 SOS 15771 HAS SOPS 15749 HAS SOUS 6387 HAS SOUPS 6374 WITH SCORE 6389.771
AT ITER 189 NEW BEST:: SOT 28036 SOS 15771 HAS SOPS 15749 HAS SOUS 6349 HAS SOUPS 6336 WITH SCORE 6351.771
AT ITER 192 NEW BEST:: SOT 28003 SOS 15705 HAS SOPS 15683 HAS SOUS 6327 HAS SOUPS 6314 WITH SCORE 6329.705
AT ITER 193 NEW BEST:: SOT 27997 SOS 15690 HAS SOPS 15668 HAS SOUS 6324 HAS SOUPS 6311 WITH SCORE 6326.69
AT ITER 203 NEW BEST:: SOT 27989 SOS 15682 HAS SOPS 15660 HAS SOUS 6324 HAS SOUPS 6311 WITH SCORE 6326.682
AT ITER 204 NEW BEST:: SOT 27976 SOS 15669 HAS SOPS 15647 HAS SOUS 6311 HAS SOUPS 6298 WITH SCORE 6313.669
AT ITER 205 NEW BEST:: SOT 27967 SOS 15660 HAS SOPS 15638 HAS SOUS 6310 HAS SOUPS 6297 WITH SCORE 6312.66
AT ITER 207 NEW BEST:: SOT 27959 SOS 15644 HAS SOPS 15622 HAS SOUS 6302 HAS SOUPS 6289 WITH SCORE 6304.644
AT ITER 217 NEW BEST:: SOT 27942 SOS 15668 HAS SOPS 15646 HAS SOUS 6299 HAS SOUPS 6286 WITH SCORE 6301.668
AT ITER 226 NEW BEST:: SOT 27926 SOS 15604 HAS SOPS 15582 HAS SOUS 6291 HAS SOUPS 6278 WITH SCORE 6293.604
AT ITER 227 NEW BEST:: SOT 27923 SOS 15586 HAS SOPS 15564 HAS SOUS 6291 HAS SOUPS 6278 WITH SCORE 6293.586
AT ITER 230 NEW BEST:: SOT 27918 SOS 15579 HAS SOPS 15557 HAS SOUS 6284 HAS SOUPS 6271 WITH SCORE 6286.579
AT ITER 235 NEW BEST:: SOT 27888 SOS 15519 HAS SOPS 15497 HAS SOUS 6284 HAS SOUPS 6271 WITH SCORE 6286.519
AT ITER 238 NEW BEST:: SOT 27881 SOS 15198 HAS SOPS 15176 HAS SOUS 6284 HAS SOUPS 6271 WITH SCORE 6286.198
AT ITER 244 NEW BEST:: SOT 27872 SOS 15183 HAS SOPS 15161 HAS SOUS 6270 HAS SOUPS 6257 WITH SCORE 6272.183
AT ITER 250 NEW BEST:: SOT 27872 SOS 15183 HAS SOPS 15161 HAS SOUS 6253 HAS SOUPS 6240 WITH SCORE 6255.183
AT ITER 263 NEW BEST:: SOT 27857 SOS 15158 HAS SOPS 15136 HAS SOUS 6179 HAS SOUPS 6166 WITH SCORE 6181.158
AT ITER 269 NEW BEST:: SOT 27750 SOS 15045 HAS SOPS 15023 HAS SOUS 6061 HAS SOUPS 6048 WITH SCORE 6063.045
AT ITER 270 NEW BEST:: SOT 27739 SOS 15013 HAS SOPS 14991 HAS SOUS 6038 HAS SOUPS 6025 WITH SCORE 6040.013
AT ITER 276 NEW BEST:: SOT 27756 SOS 15030 HAS SOPS 15008 HAS SOUS 6034 HAS SOUPS 6021 WITH SCORE 6036.03
AT ITER 277 NEW BEST:: SOT 27756 SOS 15030 HAS SOPS 15008 HAS SOUS 6010 HAS SOUPS 5997 WITH SCORE 6012.03
AT ITER 278 NEW BEST:: SOT 27647 SOS 15048 HAS SOPS 15026 HAS SOUS 5968 HAS SOUPS 5955 WITH SCORE 5970.048
AT ITER 283 NEW BEST:: SOT 27637 SOS 15037 HAS SOPS 15015 HAS SOUS 5930 HAS SOUPS 5917 WITH SCORE 5932.037
AT ITER 285 NEW BEST:: SOT 27606 SOS 15006 HAS SOPS 14984 HAS SOUS 5930 HAS SOUPS 5917 WITH SCORE 5932.006
AT ITER 288 NEW BEST:: SOT 27605 SOS 15008 HAS SOPS 14986 HAS SOUS 5929 HAS SOUPS 5916 WITH SCORE 5931.008
AT ITER 298 NEW BEST:: SOT 27597 SOS 14992 HAS SOPS 14970 HAS SOUS 5913 HAS SOUPS 5900 WITH SCORE 5914.992
AT ITER 300 NEW BEST:: SOT 27586 SOS 14980 HAS SOPS 14958 HAS SOUS 5902 HAS SOUPS 5889 WITH SCORE 5903.98
AT ITER 306 NEW BEST:: SOT 27569 SOS 14963 HAS SOPS 14941 HAS SOUS 5875 HAS SOUPS 5862 WITH SCORE 5876.963
AT ITER 334 NEW BEST:: SOT 27540 SOS 14945 HAS SOPS 14923 HAS SOUS 5846 HAS SOUPS 5833 WITH SCORE 5847.945
AT ITER 346 NEW BEST:: SOT 27547 SOS 14953 HAS SOPS 14931 HAS SOUS 5841 HAS SOUPS 5828 WITH SCORE 5842.953
AT ITER 349 NEW BEST:: SOT 27463 SOS 14827 HAS SOPS 14805 HAS SOUS 5757 HAS SOUPS 5744 WITH SCORE 5758.827
AT ITER 355 NEW BEST:: SOT 27457 SOS 14821 HAS SOPS 14799 HAS SOUS 5749 HAS SOUPS 5736 WITH SCORE 5750.821
AT ITER 360 NEW BEST:: SOT 27430 SOS 14794 HAS SOPS 14772 HAS SOUS 5728 HAS SOUPS 5715 WITH SCORE 5729.794
AT ITER 363 NEW BEST:: SOT 27430 SOS 14786 HAS SOPS 14764 HAS SOUS 5725 HAS SOUPS 5712 WITH SCORE 5726.786
AT ITER 365 NEW BEST:: SOT 27415 SOS 14756 HAS SOPS 14734 HAS SOUS 5688 HAS SOUPS 5675 WITH SCORE 5689.756
AT ITER 369 NEW BEST:: SOT 27072 SOS 15201 HAS SOPS 15179 HAS SOUS 5391 HAS SOUPS 5378 WITH SCORE 5393.201
AT ITER 375 NEW BEST:: SOT 27076 SOS 15205 HAS SOPS 15183 HAS SOUS 5389 HAS SOUPS 5376 WITH SCORE 5391.205
AT ITER 381 NEW BEST:: SOT 27076 SOS 15202 HAS SOPS 15180 HAS SOUS 5386 HAS SOUPS 5373 WITH SCORE 5388.202
AT ITER 396 NEW BEST:: SOT 26914 SOS 16062 HAS SOPS 16040 HAS SOUS 5307 HAS SOUPS 5294 WITH SCORE 5310.062
AT ITER 426 NEW BEST:: SOT 26958 SOS 16152 HAS SOPS 16130 HAS SOUS 5289 HAS SOUPS 5276 WITH SCORE 5292.152
AT ITER 428 NEW BEST:: SOT 27013 SOS 16243 HAS SOPS 16221 HAS SOUS 5268 HAS SOUPS 5255 WITH SCORE 5271.243
AT ITER 432 NEW BEST:: SOT 26993 SOS 16383 HAS SOPS 16361 HAS SOUS 5257 HAS SOUPS 5244 WITH SCORE 5260.383
AT ITER 433 NEW BEST:: SOT 26966 SOS 16329 HAS SOPS 16307 HAS SOUS 5239 HAS SOUPS 5226 WITH SCORE 5242.329
AT ITER 436 NEW BEST:: SOT 26949 SOS 16482 HAS SOPS 16460 HAS SOUS 5217 HAS SOUPS 5204 WITH SCORE 5220.482
AT ITER 438 NEW BEST:: SOT 26944 SOS 16477 HAS SOPS 16455 HAS SOUS 5212 HAS SOUPS 5199 WITH SCORE 5215.477
AT ITER 456 NEW BEST:: SOT 26937 SOS 16481 HAS SOPS 16459 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5185.481
AT ITER 457 NEW BEST:: SOT 26912 SOS 16456 HAS SOPS 16434 HAS SOUS 5182 HAS SOUPS 5169 WITH SCORE 5185.456
AT ITER 466 NEW BEST:: SOT 26972 SOS 16520 HAS SOPS 16498 HAS SOUS 5179 HAS SOUPS 5166 WITH SCORE 5182.52
AT ITER 476 NEW BEST:: SOT 27027 SOS 16575 HAS SOPS 16553 HAS SOUS 5155 HAS SOUPS 5142 WITH SCORE 5158.575
AT ITER 485 NEW BEST:: SOT 27018 SOS 16566 HAS SOPS 16544 HAS SOUS 5154 HAS SOUPS 5141 WITH SCORE 5157.566
AT ITER 487 NEW BEST:: SOT 27024 SOS 16572 HAS SOPS 16550 HAS SOUS 5147 HAS SOUPS 5134 WITH SCORE 5150.572
AT ITER 493 NEW BEST:: SOT 27023 SOS 16571 HAS SOPS 16549 HAS SOUS 5145 HAS SOUPS 5132 WITH SCORE 5148.571
AT ITER 494 NEW BEST:: SOT 27016 SOS 16564 HAS SOPS 16542 HAS SOUS 5144 HAS SOUPS 5131 WITH SCORE 5147.564
AT ITER 512 NEW BEST:: SOT 27006 SOS 16544 HAS SOPS 16522 HAS SOUS 5139 HAS SOUPS 5126 WITH SCORE 5142.544
AT ITER 515 NEW BEST:: SOT 27003 SOS 16390 HAS SOPS 16368 HAS SOUS 5027 HAS SOUPS 5014 WITH SCORE 5030.39
AT ITER 532 NEW BEST:: SOT 27029 SOS 16416 HAS SOPS 16394 HAS SOUS 5018 HAS SOUPS 5005 WITH SCORE 5021.416
AT ITER 554 NEW BEST:: SOT 27009 SOS 16376 HAS SOPS 16354 HAS SOUS 4995 HAS SOUPS 4982 WITH SCORE 4998.376
AT ITER 563 NEW BEST:: SOT 27009 SOS 16376 HAS SOPS 16354 HAS SOUS 4988 HAS SOUPS 4975 WITH SCORE 4991.376
AT ITER 565 NEW BEST:: SOT 27001 SOS 16368 HAS SOPS 16346 HAS SOUS 4960 HAS SOUPS 4947 WITH SCORE 4963.368
AT ITER 573 NEW BEST:: SOT 27000 SOS 16366 HAS SOPS 16344 HAS SOUS 4960 HAS SOUPS 4947 WITH SCORE 4963.366
AT ITER 574 NEW BEST:: SOT 26984 SOS 16349 HAS SOPS 16327 HAS SOUS 4949 HAS SOUPS 4936 WITH SCORE 4952.349
AT ITER 595 NEW BEST:: SOT 26984 SOS 16349 HAS SOPS 16327 HAS SOUS 4938 HAS SOUPS 4925 WITH SCORE 4941.349
AT ITER 601 NEW BEST:: SOT 26975 SOS 16340 HAS SOPS 16318 HAS SOUS 4920 HAS SOUPS 4907 WITH SCORE 4923.34
AT ITER 603 NEW BEST:: SOT 26956 SOS 16313 HAS SOPS 16291 HAS SOUS 4910 HAS SOUPS 4897 WITH SCORE 4913.313
AT ITER 607 NEW BEST:: SOT 26935 SOS 16292 HAS SOPS 16270 HAS SOUS 4898 HAS SOUPS 4885 WITH SCORE 4901.292
AT ITER 612 NEW BEST:: SOT 26895 SOS 16197 HAS SOPS 16175 HAS SOUS 4898 HAS SOUPS 4885 WITH SCORE 4901.197
AT ITER 619 NEW BEST:: SOT 26886 SOS 16188 HAS SOPS 16166 HAS SOUS 4886 HAS SOUPS 4873 WITH SCORE 4889.188
AT ITER 625 NEW BEST:: SOT 26837 SOS 16090 HAS SOPS 16068 HAS SOUS 4886 HAS SOUPS 4873 WITH SCORE 4889.09
AT ITER 631 NEW BEST:: SOT 26790 SOS 16043 HAS SOPS 16021 HAS SOUS 4807 HAS SOUPS 4794 WITH SCORE 4810.043
AT ITER 640 NEW BEST:: SOT 26764 SOS 16017 HAS SOPS 15995 HAS SOUS 4786 HAS SOUPS 4773 WITH SCORE 4789.017
AT ITER 659 NEW BEST:: SOT 26753 SOS 16006 HAS SOPS 15984 HAS SOUS 4775 HAS SOUPS 4762 WITH SCORE 4778.006
AT ITER 665 NEW BEST:: SOT 26753 SOS 16006 HAS SOPS 15984 HAS SOUS 4768 HAS SOUPS 4755 WITH SCORE 4771.006
AT ITER 688 NEW BEST:: SOT 26745 SOS 15998 HAS SOPS 15976 HAS SOUS 4768 HAS SOUPS 4755 WITH SCORE 4770.998
AT ITER 703 NEW BEST:: SOT 26751 SOS 16004 HAS SOPS 15982 HAS SOUS 4765 HAS SOUPS 4752 WITH SCORE 4768.004
AT ITER 705 NEW BEST:: SOT 26768 SOS 15987 HAS SOPS 15965 HAS SOUS 4764 HAS SOUPS 4751 WITH SCORE 4766.987
AT ITER 714 NEW BEST:: SOT 26740 SOS 15926 HAS SOPS 15904 HAS SOUS 4737 HAS SOUPS 4724 WITH SCORE 4739.926
AT ITER 723 NEW BEST:: SOT 26691 SOS 15848 HAS SOPS 15826 HAS SOUS 4731 HAS SOUPS 4718 WITH SCORE 4733.848
AT ITER 741 NEW BEST:: SOT 26689 SOS 15846 HAS SOPS 15824 HAS SOUS 4729 HAS SOUPS 4716 WITH SCORE 4731.846
AT ITER 759 NEW BEST:: SOT 26687 SOS 15821 HAS SOPS 15799 HAS SOUS 4699 HAS SOUPS 4686 WITH SCORE 4701.821
AT ITER 761 NEW BEST:: SOT 26690 SOS 15824 HAS SOPS 15802 HAS SOUS 4674 HAS SOUPS 4661 WITH SCORE 4676.824
AT ITER 765 NEW BEST:: SOT 26667 SOS 16081 HAS SOPS 16059 HAS SOUS 4646 HAS SOUPS 4633 WITH SCORE 4649.081
AT ITER 769 NEW BEST:: SOT 26624 SOS 15999 HAS SOPS 15977 HAS SOUS 4635 HAS SOUPS 4622 WITH SCORE 4637.999
AT ITER 771 NEW BEST:: SOT 26522 SOS 15693 HAS SOPS 15671 HAS SOUS 4584 HAS SOUPS 4571 WITH SCORE 4586.693
AT ITER 777 NEW BEST:: SOT 26526 SOS 15697 HAS SOPS 15675 HAS SOUS 4568 HAS SOUPS 4555 WITH SCORE 4570.697
AT ITER 795 NEW BEST:: SOT 26498 SOS 15655 HAS SOPS 15633 HAS SOUS 4568 HAS SOUPS 4555 WITH SCORE 4570.655
AT ITER 810 NEW BEST:: SOT 26498 SOS 15627 HAS SOPS 15605 HAS SOUS 4564 HAS SOUPS 4551 WITH SCORE 4566.627
AT ITER 822 NEW BEST:: SOT 26496 SOS 15623 HAS SOPS 15601 HAS SOUS 4564 HAS SOUPS 4551 WITH SCORE 4566.623
AT ITER 842 NEW BEST:: SOT 26476 SOS 15603 HAS SOPS 15581 HAS SOUS 4544 HAS SOUPS 4531 WITH SCORE 4546.603
AT ITER 845 NEW BEST:: SOT 26476 SOS 15603 HAS SOPS 15581 HAS SOUS 4531 HAS SOUPS 4518 WITH SCORE 4533.603
AT ITER 854 NEW BEST:: SOT 26500 SOS 15655 HAS SOPS 15633 HAS SOUS 4527 HAS SOUPS 4514 WITH SCORE 4529.655
AT ITER 867 NEW BEST:: SOT 26495 SOS 15630 HAS SOPS 15608 HAS SOUS 4512 HAS SOUPS 4499 WITH SCORE 4514.63
AT ITER 883 NEW BEST:: SOT 26497 SOS 15642 HAS SOPS 15620 HAS SOUS 4511 HAS SOUPS 4498 WITH SCORE 4513.642
AT ITER 886 NEW BEST:: SOT 26487 SOS 15622 HAS SOPS 15600 HAS SOUS 4491 HAS SOUPS 4478 WITH SCORE 4493.622
AT ITER 889 NEW BEST:: SOT 26487 SOS 15650 HAS SOPS 15628 HAS SOUS 4478 HAS SOUPS 4465 WITH SCORE 4480.65
AT ITER 920 NEW BEST:: SOT 26487 SOS 15643 HAS SOPS 15621 HAS SOUS 4464 HAS SOUPS 4451 WITH SCORE 4466.643
AT ITER 935 NEW BEST:: SOT 26478 SOS 15634 HAS SOPS 15612 HAS SOUS 4455 HAS SOUPS 4442 WITH SCORE 4457.634
AT ITER 953 NEW BEST:: SOT 26478 SOS 15634 HAS SOPS 15612 HAS SOUS 4451 HAS SOUPS 4438 WITH SCORE 4453.634
AT ITER 956 NEW BEST:: SOT 26478 SOS 15634 HAS SOPS 15612 HAS SOUS 4449 HAS SOUPS 4436 WITH SCORE 4451.634
AT ITER 959 NEW BEST:: SOT 26504 SOS 15575 HAS SOPS 15553 HAS SOUS 4446 HAS SOUPS 4433 WITH SCORE 4448.575
AT ITER 968 NEW BEST:: SOT 26509 SOS 15579 HAS SOPS 15557 HAS SOUS 4439 HAS SOUPS 4426 WITH SCORE 4441.579
AT ITER 973 NEW BEST:: SOT 26503 SOS 15554 HAS SOPS 15532 HAS SOUS 4435 HAS SOUPS 4422 WITH SCORE 4437.554
AT ITER 980 NEW BEST:: SOT 26534 SOS 15568 HAS SOPS 15546 HAS SOUS 4416 HAS SOUPS 4403 WITH SCORE 4418.568
AT ITER 983 NEW BEST:: SOT 26545 SOS 15434 HAS SOPS 15412 HAS SOUS 4416 HAS SOUPS 4403 WITH SCORE 4418.434
AT ITER 988 NEW BEST:: SOT 26545 SOS 15434 HAS SOPS 15412 HAS SOUS 4407 HAS SOUPS 4394 WITH SCORE 4409.434
AT ITER 1002 NEW BEST:: SOT 26547 SOS 15438 HAS SOPS 15416 HAS SOUS 4405 HAS SOUPS 4392 WITH SCORE 4407.438
AT ITER 1009 NEW BEST:: SOT 26556 SOS 15447 HAS SOPS 15425 HAS SOUS 4399 HAS SOUPS 4386 WITH SCORE 4401.447
AT ITER 1023 NEW BEST:: SOT 26553 SOS 15444 HAS SOPS 15422 HAS SOUS 4396 HAS SOUPS 4383 WITH SCORE 4398.444
AT ITER 1037 NEW BEST:: SOT 26544 SOS 15424 HAS SOPS 15402 HAS SOUS 4387 HAS SOUPS 4374 WITH SCORE 4389.424
AT ITER 1043 NEW BEST:: SOT 26520 SOS 15404 HAS SOPS 15382 HAS SOUS 4380 HAS SOUPS 4367 WITH SCORE 4382.404
AT ITER 1052 NEW BEST:: SOT 26520 SOS 15404 HAS SOPS 15382 HAS SOUS 4379 HAS SOUPS 4366 WITH SCORE 4381.404
AT ITER 1053 NEW BEST:: SOT 26518 SOS 15400 HAS SOPS 15378 HAS SOUS 4379 HAS SOUPS 4366 WITH SCORE 4381.4
AT ITER 1055 NEW BEST:: SOT 26488 SOS 15340 HAS SOPS 15318 HAS SOUS 4349 HAS SOUPS 4336 WITH SCORE 4351.34
AT ITER 1062 NEW BEST:: SOT 26473 SOS 15317 HAS SOPS 15295 HAS SOUS 4340 HAS SOUPS 4327 WITH SCORE 4342.317
AT ITER 1065 NEW BEST:: SOT 26425 SOS 15258 HAS SOPS 15236 HAS SOUS 4335 HAS SOUPS 4322 WITH SCORE 4337.258
AT ITER 1066 NEW BEST:: SOT 26417 SOS 15236 HAS SOPS 15214 HAS SOUS 4323 HAS SOUPS 4310 WITH SCORE 4325.236
AT ITER 1068 NEW BEST:: SOT 26418 SOS 15249 HAS SOPS 15227 HAS SOUS 4318 HAS SOUPS 4305 WITH SCORE 4320.249
AT ITER 1072 NEW BEST:: SOT 26361 SOS 15485 HAS SOPS 15463 HAS SOUS 4303 HAS SOUPS 4290 WITH SCORE 4305.485
AT ITER 1110 NEW BEST:: SOT 26340 SOS 15988 HAS SOPS 15966 HAS SOUS 4290 HAS SOUPS 4277 WITH SCORE 4292.988
AT ITER 1115 NEW BEST:: SOT 26319 SOS 15862 HAS SOPS 15840 HAS SOUS 4248 HAS SOUPS 4235 WITH SCORE 4250.862
AT ITER 1117 NEW BEST:: SOT 26282 SOS 15783 HAS SOPS 15761 HAS SOUS 4212 HAS SOUPS 4199 WITH SCORE 4214.783
AT ITER 1118 NEW BEST:: SOT 26264 SOS 15765 HAS SOPS 15743 HAS SOUS 4209 HAS SOUPS 4196 WITH SCORE 4211.765
AT ITER 1131 NEW BEST:: SOT 26239 SOS 15746 HAS SOPS 15724 HAS SOUS 4206 HAS SOUPS 4193 WITH SCORE 4208.746
AT ITER 1140 NEW BEST:: SOT 26239 SOS 15742 HAS SOPS 15720 HAS SOUS 4198 HAS SOUPS 4185 WITH SCORE 4200.742
AT ITER 1141 NEW BEST:: SOT 26230 SOS 15733 HAS SOPS 15711 HAS SOUS 4198 HAS SOUPS 4185 WITH SCORE 4200.733
AT ITER 1146 NEW BEST:: SOT 26198 SOS 15964 HAS SOPS 15942 HAS SOUS 4160 HAS SOUPS 4147 WITH SCORE 4162.964
AT ITER 1149 NEW BEST:: SOT 26197 SOS 15962 HAS SOPS 15940 HAS SOUS 4159 HAS SOUPS 4146 WITH SCORE 4161.962
AT ITER 1150 NEW BEST:: SOT 26185 SOS 15950 HAS SOPS 15928 HAS SOUS 4147 HAS SOUPS 4134 WITH SCORE 4149.95
AT ITER 1170 NEW BEST:: SOT 26100 SOS 15814 HAS SOPS 15792 HAS SOUS 4140 HAS SOUPS 4127 WITH SCORE 4142.814
AT ITER 1177 NEW BEST:: SOT 26100 SOS 15814 HAS SOPS 15792 HAS SOUS 4135 HAS SOUPS 4122 WITH SCORE 4137.814
AT ITER 1181 NEW BEST:: SOT 26100 SOS 15805 HAS SOPS 15783 HAS SOUS 4125 HAS SOUPS 4112 WITH SCORE 4127.805
AT ITER 1182 NEW BEST:: SOT 26105 SOS 15810 HAS SOPS 15788 HAS SOUS 4124 HAS SOUPS 4111 WITH SCORE 4126.81
AT ITER 1188 NEW BEST:: SOT 26094 SOS 15799 HAS SOPS 15777 HAS SOUS 4124 HAS SOUPS 4111 WITH SCORE 4126.799
AT ITER 1227 NEW BEST:: SOT 26079 SOS 15784 HAS SOPS 15762 HAS SOUS 4113 HAS SOUPS 4100 WITH SCORE 4115.784
AT ITER 1239 NEW BEST:: SOT 26079 SOS 15823 HAS SOPS 15801 HAS SOUS 4111 HAS SOUPS 4098 WITH SCORE 4113.823
AT ITER 1252 NEW BEST:: SOT 26077 SOS 15807 HAS SOPS 15785 HAS SOUS 4102 HAS SOUPS 4089 WITH SCORE 4104.807
AT ITER 1264 NEW BEST:: SOT 26080 SOS 15810 HAS SOPS 15788 HAS SOUS 4097 HAS SOUPS 4084 WITH SCORE 4099.81
AT ITER 1272 NEW BEST:: SOT 26079 SOS 15809 HAS SOPS 15787 HAS SOUS 4096 HAS SOUPS 4083 WITH SCORE 4098.809
AT ITER 1300 NEW BEST:: SOT 26003 SOS 15693 HAS SOPS 15671 HAS SOUS 4056 HAS SOUPS 4043 WITH SCORE 4058.693
AT ITER 1302 NEW BEST:: SOT 25967 SOS 15637 HAS SOPS 15615 HAS SOUS 4043 HAS SOUPS 4030 WITH SCORE 4045.637
AT ITER 1317 NEW BEST:: SOT 25980 SOS 15635 HAS SOPS 15613 HAS SOUS 4010 HAS SOUPS 3997 WITH SCORE 4012.635
AT ITER 1334 NEW BEST:: SOT 25971 SOS 15620 HAS SOPS 15598 HAS SOUS 3995 HAS SOUPS 3982 WITH SCORE 3997.62
AT ITER 1336 NEW BEST:: SOT 25877 SOS 15491 HAS SOPS 15469 HAS SOUS 3995 HAS SOUPS 3982 WITH SCORE 3997.491
AT ITER 1370 NEW BEST:: SOT 25870 SOS 15484 HAS SOPS 15462 HAS SOUS 3981 HAS SOUPS 3968 WITH SCORE 3983.484
AT ITER 1394 NEW BEST:: SOT 25862 SOS 15472 HAS SOPS 15450 HAS SOUS 3973 HAS SOUPS 3960 WITH SCORE 3975.472
AT ITER 1405 NEW BEST:: SOT 25860 SOS 15469 HAS SOPS 15447 HAS SOUS 3971 HAS SOUPS 3958 WITH SCORE 3973.469
AT ITER 1410 NEW BEST:: SOT 25845 SOS 15458 HAS SOPS 15436 HAS SOUS 3965 HAS SOUPS 3952 WITH SCORE 3967.458
AT ITER 1428 NEW BEST:: SOT 25845 SOS 15455 HAS SOPS 15433 HAS SOUS 3962 HAS SOUPS 3949 WITH SCORE 3964.455
AT ITER 1429 NEW BEST:: SOT 25843 SOS 15452 HAS SOPS 15430 HAS SOUS 3960 HAS SOUPS 3947 WITH SCORE 3962.452
AT ITER 1440 NEW BEST:: SOT 25843 SOS 15452 HAS SOPS 15430 HAS SOUS 3952 HAS SOUPS 3939 WITH SCORE 3954.452
AT ITER 1445 NEW BEST:: SOT 25839 SOS 15442 HAS SOPS 15420 HAS SOUS 3950 HAS SOUPS 3937 WITH SCORE 3952.442
AT ITER 1507 NEW BEST:: SOT 25833 SOS 15433 HAS SOPS 15411 HAS SOUS 3950 HAS SOUPS 3937 WITH SCORE 3952.433
AT ITER 1511 NEW BEST:: SOT 25813 SOS 15403 HAS SOPS 15381 HAS SOUS 3940 HAS SOUPS 3927 WITH SCORE 3942.403
AT ITER 1520 NEW BEST:: SOT 25823 SOS 15361 HAS SOPS 15339 HAS SOUS 3936 HAS SOUPS 3923 WITH SCORE 3938.361
AT ITER 1529 NEW BEST:: SOT 25820 SOS 15370 HAS SOPS 15348 HAS SOUS 3924 HAS SOUPS 3911 WITH SCORE 3926.37
AT ITER 1537 NEW BEST:: SOT 25816 SOS 15366 HAS SOPS 15344 HAS SOUS 3920 HAS SOUPS 3907 WITH SCORE 3922.366
AT ITER 1551 NEW BEST:: SOT 25809 SOS 15342 HAS SOPS 15320 HAS SOUS 3905 HAS SOUPS 3892 WITH SCORE 3907.342
AT ITER 1608 NEW BEST:: SOT 25792 SOS 15303 HAS SOPS 15281 HAS SOUS 3894 HAS SOUPS 3881 WITH SCORE 3896.303
AT ITER 1612 NEW BEST:: SOT 25792 SOS 15303 HAS SOPS 15281 HAS SOUS 3893 HAS SOUPS 3880 WITH SCORE 3895.303
AT ITER 1629 NEW BEST:: SOT 25821 SOS 15361 HAS SOPS 15339 HAS SOUS 3875 HAS SOUPS 3862 WITH SCORE 3877.361
AT ITER 1647 NEW BEST:: SOT 25810 SOS 15627 HAS SOPS 15605 HAS SOUS 3871 HAS SOUPS 3858 WITH SCORE 3873.627
AT ITER 1649 NEW BEST:: SOT 25752 SOS 15727 HAS SOPS 15705 HAS SOUS 3849 HAS SOUPS 3836 WITH SCORE 3851.727
AT ITER 1659 NEW BEST:: SOT 25749 SOS 15724 HAS SOPS 15702 HAS SOUS 3846 HAS SOUPS 3833 WITH SCORE 3848.724
AT ITER 1666 NEW BEST:: SOT 25749 SOS 15724 HAS SOPS 15702 HAS SOUS 3844 HAS SOUPS 3831 WITH SCORE 3846.724
AT ITER 1681 NEW BEST:: SOT 25747 SOS 15714 HAS SOPS 15692 HAS SOUS 3837 HAS SOUPS 3824 WITH SCORE 3839.714
AT ITER 1690 NEW BEST:: SOT 25729 SOS 15696 HAS SOPS 15674 HAS SOUS 3810 HAS SOUPS 3797 WITH SCORE 3812.696
AT ITER 1705 NEW BEST:: SOT 25718 SOS 15685 HAS SOPS 15663 HAS SOUS 3804 HAS SOUPS 3791 WITH SCORE 3806.685
AT ITER 1714 NEW BEST:: SOT 25718 SOS 15689 HAS SOPS 15667 HAS SOUS 3800 HAS SOUPS 3787 WITH SCORE 3802.689
AT ITER 1775 NEW BEST:: SOT 25680 SOS 15799 HAS SOPS 15777 HAS SOUS 3792 HAS SOUPS 3779 WITH SCORE 3794.799
AT ITER 1777 NEW BEST:: SOT 25682 SOS 15801 HAS SOPS 15779 HAS SOUS 3791 HAS SOUPS 3778 WITH SCORE 3793.801
AT ITER 1805 NEW BEST:: SOT 25656 SOS 15762 HAS SOPS 15740 HAS SOUS 3778 HAS SOUPS 3765 WITH SCORE 3780.762
AT ITER 1817 NEW BEST:: SOT 25656 SOS 15762 HAS SOPS 15740 HAS SOUS 3770 HAS SOUPS 3757 WITH SCORE 3772.762
AT ITER 1820 NEW BEST:: SOT 25656 SOS 15762 HAS SOPS 15740 HAS SOUS 3754 HAS SOUPS 3741 WITH SCORE 3756.762
AT ITER 1860 NEW BEST:: SOT 25643 SOS 15749 HAS SOPS 15727 HAS SOUS 3753 HAS SOUPS 3740 WITH SCORE 3755.749
AT ITER 1865 NEW BEST:: SOT 25634 SOS 15731 HAS SOPS 15709 HAS SOUS 3753 HAS SOUPS 3740 WITH SCORE 3755.731
AT ITER 1887 NEW BEST:: SOT 25598 SOS 15672 HAS SOPS 15650 HAS SOUS 3730 HAS SOUPS 3717 WITH SCORE 3732.672
AT ITER 1934 NEW BEST:: SOT 25598 SOS 15672 HAS SOPS 15650 HAS SOUS 3729 HAS SOUPS 3716 WITH SCORE 3731.672
AT ITER 1935 NEW BEST:: SOT 25596 SOS 15666 HAS SOPS 15644 HAS SOUS 3727 HAS SOUPS 3714 WITH SCORE 3729.666
AT ITER 1977 NEW BEST:: SOT 25592 SOS 15662 HAS SOPS 15640 HAS SOUS 3725 HAS SOUPS 3712 WITH SCORE 3727.662
AT ITER 1994 NEW BEST:: SOT 25584 SOS 15642 HAS SOPS 15620 HAS SOUS 3717 HAS SOUPS 3704 WITH SCORE 3719.642
AT ITER 1996 NEW BEST:: SOT 25594 SOS 15652 HAS SOPS 15630 HAS SOUS 3716 HAS SOUPS 3703 WITH SCORE 3718.652
AT ITER 1999 NEW BEST:: SOT 25548 SOS 15560 HAS SOPS 15538 HAS SOUS 3706 HAS SOUPS 3693 WITH SCORE 3708.56
AT ITER 2001 NEW BEST:: SOT 25547 SOS 15556 HAS SOPS 15534 HAS SOUS 3705 HAS SOUPS 3692 WITH SCORE 3707.556
AT ITER 2009 NEW BEST:: SOT 25544 SOS 15550 HAS SOPS 15528 HAS SOUS 3701 HAS SOUPS 3688 WITH SCORE 3703.55
AT ITER 2022 NEW BEST:: SOT 25603 SOS 15547 HAS SOPS 15525 HAS SOUS 3687 HAS SOUPS 3674 WITH SCORE 3689.547
AT ITER 2025 NEW BEST:: SOT 25603 SOS 15540 HAS SOPS 15518 HAS SOUS 3672 HAS SOUPS 3659 WITH SCORE 3674.54
AT ITER 2052 NEW BEST:: SOT 25605 SOS 15542 HAS SOPS 15520 HAS SOUS 3668 HAS SOUPS 3655 WITH SCORE 3670.542
AT ITER 2075 NEW BEST:: SOT 25600 SOS 15537 HAS SOPS 15515 HAS SOUS 3665 HAS SOUPS 3652 WITH SCORE 3667.537
AT ITER 2099 NEW BEST:: SOT 25589 SOS 15523 HAS SOPS 15501 HAS SOUS 3653 HAS SOUPS 3640 WITH SCORE 3655.523
AT ITER 2116 NEW BEST:: SOT 25586 SOS 15520 HAS SOPS 15498 HAS SOUS 3653 HAS SOUPS 3640 WITH SCORE 3655.52
AT ITER 2133 NEW BEST:: SOT 25585 SOS 15518 HAS SOPS 15496 HAS SOUS 3653 HAS SOUPS 3640 WITH SCORE 3655.518
AT ITER 2134 NEW BEST:: SOT 25594 SOS 15530 HAS SOPS 15508 HAS SOUS 3652 HAS SOUPS 3639 WITH SCORE 3654.53
AT ITER 2136 NEW BEST:: SOT 25581 SOS 15517 HAS SOPS 15495 HAS SOUS 3651 HAS SOUPS 3638 WITH SCORE 3653.517
AT ITER 2148 NEW BEST:: SOT 25546 SOS 15457 HAS SOPS 15435 HAS SOUS 3645 HAS SOUPS 3632 WITH SCORE 3647.457
AT ITER 2182 NEW BEST:: SOT 25465 SOS 15376 HAS SOPS 15354 HAS SOUS 3614 HAS SOUPS 3601 WITH SCORE 3616.376
AT ITER 2212 NEW BEST:: SOT 25530 SOS 15506 HAS SOPS 15484 HAS SOUS 3612 HAS SOUPS 3599 WITH SCORE 3614.506
AT ITER 2284 NEW BEST:: SOT 25528 SOS 15504 HAS SOPS 15482 HAS SOUS 3607 HAS SOUPS 3594 WITH SCORE 3609.504
AT ITER 2323 NEW BEST:: SOT 25526 SOS 15502 HAS SOPS 15480 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3607.502
AT ITER 2327 NEW BEST:: SOT 25524 SOS 15500 HAS SOPS 15478 HAS SOUS 3605 HAS SOUPS 3592 WITH SCORE 3607.5
AT ITER 2346 NEW BEST:: SOT 25555 SOS 15562 HAS SOPS 15540 HAS SOUS 3589 HAS SOUPS 3576 WITH SCORE 3591.562
AT ITER 2347 NEW BEST:: SOT 25554 SOS 15561 HAS SOPS 15539 HAS SOUS 3588 HAS SOUPS 3575 WITH SCORE 3590.561
AT ITER 2357 NEW BEST:: SOT 25476 SOS 15483 HAS SOPS 15461 HAS SOUS 3506 HAS SOUPS 3493 WITH SCORE 3508.483
AT ITER 2380 NEW BEST:: SOT 25476 SOS 15483 HAS SOPS 15461 HAS SOUS 3505 HAS SOUPS 3492 WITH SCORE 3507.483
AT ITER 2402 NEW BEST:: SOT 25467 SOS 15474 HAS SOPS 15452 HAS SOUS 3504 HAS SOUPS 3491 WITH SCORE 3506.474
AT ITER 2415 NEW BEST:: SOT 25459 SOS 15466 HAS SOPS 15444 HAS SOUS 3504 HAS SOUPS 3491 WITH SCORE 3506.466
AT ITER 2443 NEW BEST:: SOT 25459 SOS 15460 HAS SOPS 15438 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3505.46
AT ITER 2448 NEW BEST:: SOT 25438 SOS 15439 HAS SOPS 15417 HAS SOUS 3503 HAS SOUPS 3490 WITH SCORE 3505.439
AT ITER 2449 NEW BEST:: SOT 25510 SOS 15540 HAS SOPS 15518 HAS SOUS 3496 HAS SOUPS 3483 WITH SCORE 3498.54
AT ITER 2455 NEW BEST:: SOT 25504 SOS 15530 HAS SOPS 15508 HAS SOUS 3492 HAS SOUPS 3479 WITH SCORE 3494.53
AT ITER 2462 NEW BEST:: SOT 25501 SOS 15511 HAS SOPS 15489 HAS SOUS 3489 HAS SOUPS 3476 WITH SCORE 3491.511
AT ITER 2465 NEW BEST:: SOT 25501 SOS 15511 HAS SOPS 15489 HAS SOUS 3477 HAS SOUPS 3464 WITH SCORE 3479.511
AT ITER 2468 NEW BEST:: SOT 25510 SOS 15529 HAS SOPS 15507 HAS SOUS 3473 HAS SOUPS 3460 WITH SCORE 3475.529
AT ITER 2508 NEW BEST:: SOT 25510 SOS 15529 HAS SOPS 15507 HAS SOUS 3472 HAS SOUPS 3459 WITH SCORE 3474.529
AT ITER 2550 NEW BEST:: SOT 25492 SOS 15493 HAS SOPS 15471 HAS SOUS 3452 HAS SOUPS 3439 WITH SCORE 3454.493
AT ITER 2584 NEW BEST:: SOT 25484 SOS 15485 HAS SOPS 15463 HAS SOUS 3435 HAS SOUPS 3422 WITH SCORE 3437.485
AT ITER 2629 NEW BEST:: SOT 25509 SOS 14915 HAS SOPS 14893 HAS SOUS 3408 HAS SOUPS 3395 WITH SCORE 3409.915
AT ITER 2670 NEW BEST:: SOT 25511 SOS 14917 HAS SOPS 14895 HAS SOUS 3405 HAS SOUPS 3392 WITH SCORE 3406.917
AT ITER 2682 NEW BEST:: SOT 25492 SOS 14898 HAS SOPS 14876 HAS SOUS 3386 HAS SOUPS 3373 WITH SCORE 3387.898
AT ITER 2696 NEW BEST:: SOT 25492 SOS 14898 HAS SOPS 14876 HAS SOUS 3384 HAS SOUPS 3371 WITH SCORE 3385.898
AT ITER 2717 NEW BEST:: SOT 25488 SOS 14892 HAS SOPS 14870 HAS SOUS 3382 HAS SOUPS 3369 WITH SCORE 3383.892
AT ITER 2718 NEW BEST:: SOT 25478 SOS 14872 HAS SOPS 14850 HAS SOUS 3361 HAS SOUPS 3348 WITH SCORE 3362.872
AT ITER 2733 NEW BEST:: SOT 25461 SOS 14855 HAS SOPS 14833 HAS SOUS 3358 HAS SOUPS 3345 WITH SCORE 3359.855
AT ITER 2750 NEW BEST:: SOT 25457 SOS 14934 HAS SOPS 14912 HAS SOUS 3357 HAS SOUPS 3344 WITH SCORE 3358.934
AT ITER 2761 NEW BEST:: SOT 25455 SOS 14932 HAS SOPS 14910 HAS SOUS 3347 HAS SOUPS 3334 WITH SCORE 3348.932
AT ITER 2774 NEW BEST:: SOT 25451 SOS 14928 HAS SOPS 14906 HAS SOUS 3343 HAS SOUPS 3330 WITH SCORE 3344.928
AT ITER 2799 NEW BEST:: SOT 25452 SOS 14929 HAS SOPS 14907 HAS SOUS 3342 HAS SOUPS 3329 WITH SCORE 3343.929
AT ITER 2850 NEW BEST:: SOT 25436 SOS 14905 HAS SOPS 14883 HAS SOUS 3342 HAS SOUPS 3329 WITH SCORE 3343.905
AT ITER 2875 NEW BEST:: SOT 25420 SOS 14889 HAS SOPS 14867 HAS SOUS 3337 HAS SOUPS 3324 WITH SCORE 3338.889
AT ITER 2912 NEW BEST:: SOT 25413 SOS 14882 HAS SOPS 14860 HAS SOUS 3337 HAS SOUPS 3324 WITH SCORE 3338.882
AT ITER 2916 NEW BEST:: SOT 25410 SOS 14879 HAS SOPS 14857 HAS SOUS 3334 HAS SOUPS 3321 WITH SCORE 3335.879
AT ITER 2932 NEW BEST:: SOT 25399 SOS 14857 HAS SOPS 14835 HAS SOUS 3323 HAS SOUPS 3310 WITH SCORE 3324.857
AT ITER 2949 NEW BEST:: SOT 25397 SOS 14853 HAS SOPS 14831 HAS SOUS 3323 HAS SOUPS 3310 WITH SCORE 3324.853
AT ITER 2988 NEW BEST:: SOT 25397 SOS 14853 HAS SOPS 14831 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3321.853
AT ITER 2997 NEW BEST:: SOT 25383 SOS 14839 HAS SOPS 14817 HAS SOUS 3320 HAS SOUPS 3307 WITH SCORE 3321.839
AT ITER 3010 NEW BEST:: SOT 25383 SOS 14843 HAS SOPS 14821 HAS SOUS 3316 HAS SOUPS 3303 WITH SCORE 3317.843
AT ITER 3012 NEW BEST:: SOT 25366 SOS 14826 HAS SOPS 14804 HAS SOUS 3300 HAS SOUPS 3287 WITH SCORE 3301.826
AT ITER 3061 NEW BEST:: SOT 25366 SOS 14826 HAS SOPS 14804 HAS SOUS 3292 HAS SOUPS 3279 WITH SCORE 3293.826
AT ITER 3079 NEW BEST:: SOT 25371 SOS 14814 HAS SOPS 14792 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3276.814
AT ITER 3081 NEW BEST:: SOT 25344 SOS 14787 HAS SOPS 14765 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3276.787
AT ITER 3083 NEW BEST:: SOT 25337 SOS 14780 HAS SOPS 14758 HAS SOUS 3275 HAS SOUPS 3262 WITH SCORE 3276.78
AT ITER 3112 NEW BEST:: SOT 25332 SOS 14770 HAS SOPS 14748 HAS SOUS 3271 HAS SOUPS 3258 WITH SCORE 3272.77
AT ITER 3149 NEW BEST:: SOT 25328 SOS 14766 HAS SOPS 14744 HAS SOUS 3266 HAS SOUPS 3253 WITH SCORE 3267.766
AT ITER 3154 NEW BEST:: SOT 25321 SOS 14759 HAS SOPS 14737 HAS SOUS 3252 HAS SOUPS 3239 WITH SCORE 3253.759
AT ITER 3177 NEW BEST:: SOT 25321 SOS 14759 HAS SOPS 14737 HAS SOUS 3250 HAS SOUPS 3237 WITH SCORE 3251.759
AT ITER 3185 NEW BEST:: SOT 25317 SOS 14739 HAS SOPS 14717 HAS SOUS 3216 HAS SOUPS 3203 WITH SCORE 3217.739
AT ITER 3245 NEW BEST:: SOT 25309 SOS 14731 HAS SOPS 14709 HAS SOUS 3208 HAS SOUPS 3195 WITH SCORE 3209.731
AT ITER 3276 NEW BEST:: SOT 25309 SOS 14731 HAS SOPS 14709 HAS SOUS 3204 HAS SOUPS 3191 WITH SCORE 3205.731
AT ITER 3277 NEW BEST:: SOT 25312 SOS 14734 HAS SOPS 14712 HAS SOUS 3203 HAS SOUPS 3190 WITH SCORE 3204.734
AT ITER 3322 NEW BEST:: SOT 25317 SOS 14739 HAS SOPS 14717 HAS SOUS 3200 HAS SOUPS 3187 WITH SCORE 3201.739
AT ITER 3325 NEW BEST:: SOT 25313 SOS 14735 HAS SOPS 14713 HAS SOUS 3191 HAS SOUPS 3178 WITH SCORE 3192.735
AT ITER 3378 NEW BEST:: SOT 25313 SOS 14735 HAS SOPS 14713 HAS SOUS 3186 HAS SOUPS 3173 WITH SCORE 3187.735
AT ITER 3391 NEW BEST:: SOT 25313 SOS 14751 HAS SOPS 14729 HAS SOUS 3178 HAS SOUPS 3165 WITH SCORE 3179.751
AT ITER 3450 NEW BEST:: SOT 25307 SOS 14745 HAS SOPS 14723 HAS SOUS 3163 HAS SOUPS 3150 WITH SCORE 3164.745
AT ITER 3470 NEW BEST:: SOT 25307 SOS 14745 HAS SOPS 14723 HAS SOUS 3155 HAS SOUPS 3142 WITH SCORE 3156.745
AT ITER 3483 NEW BEST:: SOT 25301 SOS 14739 HAS SOPS 14717 HAS SOUS 3149 HAS SOUPS 3136 WITH SCORE 3150.739
AT ITER 3527 NEW BEST:: SOT 25319 SOS 14757 HAS SOPS 14735 HAS SOUS 3141 HAS SOUPS 3128 WITH SCORE 3142.757
AT ITER 3556 NEW BEST:: SOT 25319 SOS 14757 HAS SOPS 14735 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3137.757
AT ITER 3561 NEW BEST:: SOT 25317 SOS 14755 HAS SOPS 14733 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3137.755
AT ITER 3570 NEW BEST:: SOT 25314 SOS 14749 HAS SOPS 14727 HAS SOUS 3136 HAS SOUPS 3123 WITH SCORE 3137.749
AT ITER 3603 NEW BEST:: SOT 25305 SOS 14737 HAS SOPS 14715 HAS SOUS 3134 HAS SOUPS 3121 WITH SCORE 3135.737
AT ITER 3612 NEW BEST:: SOT 25299 SOS 14731 HAS SOPS 14709 HAS SOUS 3133 HAS SOUPS 3120 WITH SCORE 3134.731
AT ITER 3634 NEW BEST:: SOT 25309 SOS 14697 HAS SOPS 14675 HAS SOUS 3133 HAS SOUPS 3120 WITH SCORE 3134.697
AT ITER 3641 NEW BEST:: SOT 25299 SOS 14547 HAS SOPS 14525 HAS SOUS 3123 HAS SOUPS 3110 WITH SCORE 3124.547
AT ITER 3666 NEW BEST:: SOT 25298 SOS 14546 HAS SOPS 14524 HAS SOUS 3121 HAS SOUPS 3108 WITH SCORE 3122.546
AT ITER 3700 NEW BEST:: SOT 25298 SOS 14546 HAS SOPS 14524 HAS SOUS 3119 HAS SOUPS 3106 WITH SCORE 3120.546
AT ITER 3704 NEW BEST:: SOT 25290 SOS 14538 HAS SOPS 14516 HAS SOUS 3116 HAS SOUPS 3103 WITH SCORE 3117.538
AT ITER 3885 NEW BEST:: SOT 25293 SOS 14541 HAS SOPS 14519 HAS SOUS 3115 HAS SOUPS 3102 WITH SCORE 3116.541
AT ITER 3897 NEW BEST:: SOT 25270 SOS 14495 HAS SOPS 14473 HAS SOUS 3110 HAS SOUPS 3097 WITH SCORE 3111.495
AT ITER 3978 NEW BEST:: SOT 25270 SOS 14495 HAS SOPS 14473 HAS SOUS 3094 HAS SOUPS 3081 WITH SCORE 3095.495
AT ITER 4061 NEW BEST:: SOT 25231 SOS 14450 HAS SOPS 14428 HAS SOUS 3088 HAS SOUPS 3075 WITH SCORE 3089.45
AT ITER 4062 NEW BEST:: SOT 25231 SOS 14448 HAS SOPS 14426 HAS SOUS 3088 HAS SOUPS 3075 WITH SCORE 3089.448
AT ITER 4126 NEW BEST:: SOT 25230 SOS 14446 HAS SOPS 14424 HAS SOUS 3086 HAS SOUPS 3073 WITH SCORE 3087.446
AT ITER 4148 NEW BEST:: SOT 25223 SOS 14432 HAS SOPS 14410 HAS SOUS 3086 HAS SOUPS 3073 WITH SCORE 3087.432
AT ITER 4196 NEW BEST:: SOT 25222 SOS 14417 HAS SOPS 14395 HAS SOUS 3085 HAS SOUPS 3072 WITH SCORE 3086.417
AT ITER 4223 NEW BEST:: SOT 25219 SOS 14409 HAS SOPS 14387 HAS SOUS 3084 HAS SOUPS 3071 WITH SCORE 3085.409
AT ITER 4267 NEW BEST:: SOT 25225 SOS 14415 HAS SOPS 14393 HAS SOUS 3083 HAS SOUPS 3070 WITH SCORE 3084.415
AT ITER 4290 NEW BEST:: SOT 25221 SOS 14411 HAS SOPS 14389 HAS SOUS 3079 HAS SOUPS 3066 WITH SCORE 3080.411
AT ITER 4341 NEW BEST:: SOT 25221 SOS 14411 HAS SOPS 14389 HAS SOUS 3077 HAS SOUPS 3064 WITH SCORE 3078.411
AT ITER 4360 NEW BEST:: SOT 25221 SOS 14409 HAS SOPS 14387 HAS SOUS 3075 HAS SOUPS 3062 WITH SCORE 3076.409
AT ITER 4382 NEW BEST:: SOT 25214 SOS 14402 HAS SOPS 14380 HAS SOUS 3074 HAS SOUPS 3061 WITH SCORE 3075.402
AT ITER 4412 NEW BEST:: SOT 25193 SOS 14224 HAS SOPS 14202 HAS SOUS 3066 HAS SOUPS 3053 WITH SCORE 3067.224
AT ITER 4443 NEW BEST:: SOT 25191 SOS 14220 HAS SOPS 14198 HAS SOUS 3062 HAS SOUPS 3049 WITH SCORE 3063.22
AT ITER 4509 NEW BEST:: SOT 25174 SOS 14203 HAS SOPS 14181 HAS SOUS 3055 HAS SOUPS 3042 WITH SCORE 3056.203
AT ITER 4558 NEW BEST:: SOT 25174 SOS 14201 HAS SOPS 14179 HAS SOUS 3053 HAS SOUPS 3040 WITH SCORE 3054.201
AT ITER 4599 NEW BEST:: SOT 25169 SOS 14191 HAS SOPS 14169 HAS SOUS 3053 HAS SOUPS 3040 WITH SCORE 3054.191
AT ITER 4609 NEW BEST:: SOT 25187 SOS 14209 HAS SOPS 14187 HAS SOUS 3043 HAS SOUPS 3030 WITH SCORE 3044.209
AT ITER 4689 NEW BEST:: SOT 25187 SOS 14209 HAS SOPS 14187 HAS SOUS 3041 HAS SOUPS 3028 WITH SCORE 3042.209
AT ITER 4697 NEW BEST:: SOT 25188 SOS 14211 HAS SOPS 14189 HAS SOUS 3039 HAS SOUPS 3026 WITH SCORE 3040.211
AT ITER 4706 NEW BEST:: SOT 25216 SOS 14253 HAS SOPS 14231 HAS SOUS 3034 HAS SOUPS 3021 WITH SCORE 3035.253
AT ITER 4741 NEW BEST:: SOT 25216 SOS 14253 HAS SOPS 14231 HAS SOUS 3030 HAS SOUPS 3017 WITH SCORE 3031.253
AT ITER 4782 NEW BEST:: SOT 25216 SOS 14253 HAS SOPS 14231 HAS SOUS 3028 HAS SOUPS 3015 WITH SCORE 3029.253
AT ITER 4870 NEW BEST:: SOT 25214 SOS 14251 HAS SOPS 14229 HAS SOUS 3027 HAS SOUPS 3014 WITH SCORE 3028.251
AT ITER 4880 NEW BEST:: SOT 25218 SOS 14263 HAS SOPS 14241 HAS SOUS 3021 HAS SOUPS 3008 WITH SCORE 3022.263
AT ITER 4938 NEW BEST:: SOT 25216 SOS 14259 HAS SOPS 14237 HAS SOUS 3021 HAS SOUPS 3008 WITH SCORE 3022.259
AT ITER 4946 NEW BEST:: SOT 25215 SOS 14258 HAS SOPS 14236 HAS SOUS 3020 HAS SOUPS 3007 WITH SCORE 3021.258
AT ITER 4978 NEW BEST:: SOT 25216 SOS 14259 HAS SOPS 14237 HAS SOUS 3019 HAS SOUPS 3006 WITH SCORE 3020.259
AT ITER 4992 NEW BEST:: SOT 25216 SOS 14259 HAS SOPS 14237 HAS SOUS 3015 HAS SOUPS 3002 WITH SCORE 3016.259
AT ITER 4995 NEW BEST:: SOT 25238 SOS 14306 HAS SOPS 14284 HAS SOUS 3010 HAS SOUPS 2997 WITH SCORE 3011.306
AT ITER 5006 NEW BEST:: SOT 25238 SOS 14306 HAS SOPS 14284 HAS SOUS 3007 HAS SOUPS 2994 WITH SCORE 3008.306
AT ITER 5036 NEW BEST:: SOT 25236 SOS 14304 HAS SOPS 14282 HAS SOUS 3007 HAS SOUPS 2994 WITH SCORE 3008.304
AT ITER 5037 NEW BEST:: SOT 25224 SOS 14384 HAS SOPS 14362 HAS SOUS 3003 HAS SOUPS 2990 WITH SCORE 3004.384
AT ITER 5044 NEW BEST:: SOT 25224 SOS 14384 HAS SOPS 14362 HAS SOUS 2999 HAS SOUPS 2986 WITH SCORE 3000.384
AT ITER 5070 NEW BEST:: SOT 25224 SOS 14384 HAS SOPS 14362 HAS SOUS 2997 HAS SOUPS 2984 WITH SCORE 2998.384
AT ITER 5097 NEW BEST:: SOT 25234 SOS 14196 HAS SOPS 14174 HAS SOUS 2987 HAS SOUPS 2974 WITH SCORE 2988.196
AT ITER 5107 NEW BEST:: SOT 25238 SOS 14215 HAS SOPS 14193 HAS SOUS 2985 HAS SOUPS 2972 WITH SCORE 2986.215
AT ITER 5125 NEW BEST:: SOT 25241 SOS 14218 HAS SOPS 14196 HAS SOUS 2984 HAS SOUPS 2971 WITH SCORE 2985.218
AT ITER 5165 NEW BEST:: SOT 25250 SOS 14227 HAS SOPS 14205 HAS SOUS 2974 HAS SOUPS 2961 WITH SCORE 2975.227
AT ITER 5268 NEW BEST:: SOT 25248 SOS 14223 HAS SOPS 14201 HAS SOUS 2974 HAS SOUPS 2961 WITH SCORE 2975.223
AT ITER 5284 NEW BEST:: SOT 25238 SOS 14213 HAS SOPS 14191 HAS SOUS 2964 HAS SOUPS 2951 WITH SCORE 2965.213
AT ITER 5327 NEW BEST:: SOT 25237 SOS 14212 HAS SOPS 14190 HAS SOUS 2958 HAS SOUPS 2945 WITH SCORE 2959.212
AT ITER 5342 NEW BEST:: SOT 25233 SOS 14208 HAS SOPS 14186 HAS SOUS 2956 HAS SOUPS 2943 WITH SCORE 2957.208
AT ITER 5471 NEW BEST:: SOT 25233 SOS 14208 HAS SOPS 14186 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2954.208
AT ITER 5476 NEW BEST:: SOT 25231 SOS 14204 HAS SOPS 14182 HAS SOUS 2953 HAS SOUPS 2940 WITH SCORE 2954.204
AT ITER 5496 NEW BEST:: SOT 25228 SOS 14201 HAS SOPS 14179 HAS SOUS 2950 HAS SOUPS 2937 WITH SCORE 2951.201
AT ITER 5541 NEW BEST:: SOT 25213 SOS 14204 HAS SOPS 14182 HAS SOUS 2946 HAS SOUPS 2933 WITH SCORE 2947.204
AT ITER 5555 NEW BEST:: SOT 25213 SOS 14204 HAS SOPS 14182 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2945.204
AT ITER 5615 NEW BEST:: SOT 25209 SOS 14196 HAS SOPS 14174 HAS SOUS 2944 HAS SOUPS 2931 WITH SCORE 2945.196
AT ITER 5629 NEW BEST:: SOT 25207 SOS 14194 HAS SOPS 14172 HAS SOUS 2940 HAS SOUPS 2927 WITH SCORE 2941.194
AT ITER 5730 NEW BEST:: SOT 25205 SOS 14192 HAS SOPS 14170 HAS SOUS 2938 HAS SOUPS 2925 WITH SCORE 2939.192
AT ITER 5753 NEW BEST:: SOT 25204 SOS 14191 HAS SOPS 14169 HAS SOUS 2937 HAS SOUPS 2924 WITH SCORE 2938.191
AT ITER 5790 NEW BEST:: SOT 25203 SOS 14190 HAS SOPS 14168 HAS SOUS 2936 HAS SOUPS 2923 WITH SCORE 2937.19
AT ITER 5977 NEW BEST:: SOT 25199 SOS 14186 HAS SOPS 14164 HAS SOUS 2935 HAS SOUPS 2922 WITH SCORE 2936.186
AT ITER 6114 NEW BEST:: SOT 25197 SOS 14184 HAS SOPS 14162 HAS SOUS 2931 HAS SOUPS 2918 WITH SCORE 2932.184
AT ITER 6153 NEW BEST:: SOT 25201 SOS 14183 HAS SOPS 14161 HAS SOUS 2930 HAS SOUPS 2917 WITH SCORE 2931.183
AT ITER 6232 NEW BEST:: SOT 25201 SOS 14183 HAS SOPS 14161 HAS SOUS 2929 HAS SOUPS 2916 WITH SCORE 2930.183
AT ITER 6272 NEW BEST:: SOT 25200 SOS 14148 HAS SOPS 14126 HAS SOUS 2916 HAS SOUPS 2903 WITH SCORE 2917.148
AT ITER 6283 NEW BEST:: SOT 25197 SOS 14142 HAS SOPS 14120 HAS SOUS 2914 HAS SOUPS 2901 WITH SCORE 2915.142
AT ITER 6393 NEW BEST:: SOT 25210 SOS 14155 HAS SOPS 14133 HAS SOUS 2911 HAS SOUPS 2898 WITH SCORE 2912.155
AT ITER 6421 NEW BEST:: SOT 25207 SOS 14152 HAS SOPS 14130 HAS SOUS 2907 HAS SOUPS 2894 WITH SCORE 2908.152
AT ITER 6460 NEW BEST:: SOT 25207 SOS 14152 HAS SOPS 14130 HAS SOUS 2905 HAS SOUPS 2892 WITH SCORE 2906.152
AT ITER 6470 NEW BEST:: SOT 25205 SOS 14150 HAS SOPS 14128 HAS SOUS 2901 HAS SOUPS 2888 WITH SCORE 2902.15
AT ITER 6500 NEW BEST:: SOT 25202 SOS 14147 HAS SOPS 14125 HAS SOUS 2895 HAS SOUPS 2882 WITH SCORE 2896.147
AT ITER 6552 NEW BEST:: SOT 25203 SOS 14148 HAS SOPS 14126 HAS SOUS 2894 HAS SOUPS 2881 WITH SCORE 2895.148
AT ITER 6734 NEW BEST:: SOT 25192 SOS 14137 HAS SOPS 14115 HAS SOUS 2886 HAS SOUPS 2873 WITH SCORE 2887.137
AT ITER 6746 NEW BEST:: SOT 25191 SOS 14135 HAS SOPS 14113 HAS SOUS 2885 HAS SOUPS 2872 WITH SCORE 2886.135
AT ITER 6824 NEW BEST:: SOT 25191 SOS 14134 HAS SOPS 14112 HAS SOUS 2884 HAS SOUPS 2871 WITH SCORE 2885.134
AT ITER 6854 NEW BEST:: SOT 25187 SOS 14130 HAS SOPS 14108 HAS SOUS 2880 HAS SOUPS 2867 WITH SCORE 2881.13
AT ITER 6873 NEW BEST:: SOT 25181 SOS 14286 HAS SOPS 14264 HAS SOUS 2876 HAS SOUPS 2863 WITH SCORE 2877.286
AT ITER 6889 NEW BEST:: SOT 25178 SOS 14280 HAS SOPS 14258 HAS SOUS 2871 HAS SOUPS 2858 WITH SCORE 2872.28
AT ITER 6969 NEW BEST:: SOT 25178 SOS 14325 HAS SOPS 14303 HAS SOUS 2868 HAS SOUPS 2855 WITH SCORE 2869.325
AT ITER 7052 NEW BEST:: SOT 25175 SOS 14163 HAS SOPS 14141 HAS SOUS 2866 HAS SOUPS 2853 WITH SCORE 2867.163
AT ITER 7190 NEW BEST:: SOT 25135 SOS 14279 HAS SOPS 14257 HAS SOUS 2863 HAS SOUPS 2850 WITH SCORE 2864.279
AT ITER 7237 NEW BEST:: SOT 25133 SOS 14277 HAS SOPS 14255 HAS SOUS 2861 HAS SOUPS 2848 WITH SCORE 2862.277
AT ITER 7254 NEW BEST:: SOT 25134 SOS 14276 HAS SOPS 14254 HAS SOUS 2860 HAS SOUPS 2847 WITH SCORE 2861.276
AT ITER 7343 NEW BEST:: SOT 25124 SOS 14256 HAS SOPS 14234 HAS SOUS 2860 HAS SOUPS 2847 WITH SCORE 2861.256
AT ITER 7406 NEW BEST:: SOT 25155 SOS 14287 HAS SOPS 14265 HAS SOUS 2851 HAS SOUPS 2838 WITH SCORE 2852.287
AT ITER 7456 NEW BEST:: SOT 25150 SOS 14279 HAS SOPS 14257 HAS SOUS 2849 HAS SOUPS 2836 WITH SCORE 2850.279
AT ITER 7460 NEW BEST:: SOT 25164 SOS 14214 HAS SOPS 14192 HAS SOUS 2845 HAS SOUPS 2832 WITH SCORE 2846.214
AT ITER 7547 NEW BEST:: SOT 25166 SOS 14221 HAS SOPS 14199 HAS SOUS 2844 HAS SOUPS 2831 WITH SCORE 2845.221
AT ITER 7647 NEW BEST:: SOT 25166 SOS 14221 HAS SOPS 14199 HAS SOUS 2817 HAS SOUPS 2804 WITH SCORE 2818.221
AT ITER 7769 NEW BEST:: SOT 25167 SOS 14222 HAS SOPS 14200 HAS SOUS 2815 HAS SOUPS 2802 WITH SCORE 2816.222
AT ITER 7788 NEW BEST:: SOT 25165 SOS 14220 HAS SOPS 14198 HAS SOUS 2813 HAS SOUPS 2800 WITH SCORE 2814.22
AT ITER 7830 NEW BEST:: SOT 25165 SOS 14220 HAS SOPS 14198 HAS SOUS 2811 HAS SOUPS 2798 WITH SCORE 2812.22
AT ITER 7876 NEW BEST:: SOT 25165 SOS 14220 HAS SOPS 14198 HAS SOUS 2808 HAS SOUPS 2795 WITH SCORE 2809.22
AT ITER 7889 NEW BEST:: SOT 25157 SOS 14212 HAS SOPS 14190 HAS SOUS 2800 HAS SOUPS 2787 WITH SCORE 2801.212
AT ITER 7958 NEW BEST:: SOT 25157 SOS 14212 HAS SOPS 14190 HAS SOUS 2793 HAS SOUPS 2780 WITH SCORE 2794.212
AT ITER 8052 NEW BEST:: SOT 25147 SOS 14193 HAS SOPS 14171 HAS SOUS 2793 HAS SOUPS 2780 WITH SCORE 2794.193
AT ITER 8067 NEW BEST:: SOT 25139 SOS 14185 HAS SOPS 14163 HAS SOUS 2789 HAS SOUPS 2776 WITH SCORE 2790.185
AT ITER 8078 NEW BEST:: SOT 25139 SOS 14185 HAS SOPS 14163 HAS SOUS 2785 HAS SOUPS 2772 WITH SCORE 2786.185
AT ITER 8094 NEW BEST:: SOT 25145 SOS 14191 HAS SOPS 14169 HAS SOUS 2783 HAS SOUPS 2770 WITH SCORE 2784.191
AT ITER 8331 NEW BEST:: SOT 25144 SOS 14188 HAS SOPS 14166 HAS SOUS 2783 HAS SOUPS 2770 WITH SCORE 2784.188
AT ITER 8551 NEW BEST:: SOT 25139 SOS 14183 HAS SOPS 14161 HAS SOUS 2783 HAS SOUPS 2770 WITH SCORE 2784.183
AT ITER 8575 NEW BEST:: SOT 25136 SOS 14140 HAS SOPS 14118 HAS SOUS 2783 HAS SOUPS 2770 WITH SCORE 2784.14
AT ITER 8645 NEW BEST:: SOT 25132 SOS 14132 HAS SOPS 14110 HAS SOUS 2783 HAS SOUPS 2770 WITH SCORE 2784.132
AT ITER 8683 NEW BEST:: SOT 25132 SOS 14131 HAS SOPS 14109 HAS SOUS 2781 HAS SOUPS 2768 WITH SCORE 2782.131
AT ITER 8887 NEW BEST:: SOT 25134 SOS 14136 HAS SOPS 14114 HAS SOUS 2779 HAS SOUPS 2766 WITH SCORE 2780.136
AT ITER 8966 NEW BEST:: SOT 25136 SOS 14138 HAS SOPS 14116 HAS SOUS 2777 HAS SOUPS 2764 WITH SCORE 2778.138
AT ITER 9097 NEW BEST:: SOT 25138 SOS 14140 HAS SOPS 14118 HAS SOUS 2776 HAS SOUPS 2763 WITH SCORE 2777.14
AT ITER 9225 NEW BEST:: SOT 25137 SOS 14101 HAS SOPS 14079 HAS SOUS 2775 HAS SOUPS 2762 WITH SCORE 2776.101
AT ITER 9264 NEW BEST:: SOT 25117 SOS 14073 HAS SOPS 14051 HAS SOUS 2770 HAS SOUPS 2757 WITH SCORE 2771.073
AT ITER 9430 NEW BEST:: SOT 25118 SOS 14072 HAS SOPS 14050 HAS SOUS 2769 HAS SOUPS 2756 WITH SCORE 2770.072
AT ITER 9458 NEW BEST:: SOT 25116 SOS 14068 HAS SOPS 14046 HAS SOUS 2766 HAS SOUPS 2753 WITH SCORE 2767.068
AT ITER 9502 NEW BEST:: SOT 25115 SOS 14053 HAS SOPS 14031 HAS SOUS 2765 HAS SOUPS 2752 WITH SCORE 2766.053
AT ITER 9552 NEW BEST:: SOT 25115 SOS 14053 HAS SOPS 14031 HAS SOUS 2764 HAS SOUPS 2751 WITH SCORE 2765.053
AT ITER 9564 NEW BEST:: SOT 25113 SOS 14049 HAS SOPS 14027 HAS SOUS 2760 HAS SOUPS 2747 WITH SCORE 2761.049
AT ITER 9571 NEW BEST:: SOT 25094 SOS 14030 HAS SOPS 14008 HAS SOUS 2760 HAS SOUPS 2747 WITH SCORE 2761.03
AT ITER 9654 NEW BEST:: SOT 25092 SOS 14028 HAS SOPS 14006 HAS SOUS 2759 HAS SOUPS 2746 WITH SCORE 2760.028
AT ITER 9862 NEW BEST:: SOT 25092 SOS 14025 HAS SOPS 14003 HAS SOUS 2756 HAS SOUPS 2743 WITH SCORE 2757.025
AT ITER 9997 NEW BEST:: SOT 25091 SOS 14024 HAS SOPS 14002 HAS SOUS 2754 HAS SOUPS 2741 WITH SCORE 2755.024
STATE_SPACE STATES 806931788 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 12618367846 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678493394226

--------------------
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="HealthRecord-PT-08"
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 HealthRecord-PT-08, 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 r195-smll-167840342200296"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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