fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r207-tajo-159033469800651
Last Updated
Jun 28, 2020

About the Execution of smart for ShieldPPPt-PT-010A

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.090 3600000.00 3600050.00 0.00 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r207-tajo-159033469800651.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ShieldPPPt-PT-010A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469800651
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 232K
-rw-r--r-- 1 mcc users 3.5K May 14 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 19:19 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K May 13 19:19 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.5K May 13 14:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 14:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K May 13 08:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 08:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 67K May 12 20:42 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-00
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-01
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-02
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-03
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-04
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-05
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-06
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-07
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-08
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-09
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-10
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-11
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-12
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-13
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-14
FORMULA_NAME ShieldPPPt-PT-010A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590446671061

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPt (PT), instance 010A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 253 places, 183 transitions, 726 arcs.
AT ITER 0 NEW BEST:: SOT 38059 SOS 31846 HAS SOPS 31846 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25887.846
AT ITER 2 NEW BEST:: SOT 37741 SOS 31471 HAS SOPS 31471 HAS SOUS 25582 HAS SOUPS 25582 WITH SCORE 25613.471
AT ITER 3 NEW BEST:: SOT 37685 SOS 31416 HAS SOPS 31416 HAS SOUS 25529 HAS SOUPS 25529 WITH SCORE 25560.416
AT ITER 4 NEW BEST:: SOT 37685 SOS 31134 HAS SOPS 31134 HAS SOUS 25520 HAS SOUPS 25520 WITH SCORE 25551.134
AT ITER 5 NEW BEST:: SOT 37569 SOS 31018 HAS SOPS 31018 HAS SOUS 25402 HAS SOUPS 25402 WITH SCORE 25433.018
AT ITER 6 NEW BEST:: SOT 37531 SOS 30980 HAS SOPS 30980 HAS SOUS 25364 HAS SOUPS 25364 WITH SCORE 25394.98
AT ITER 8 NEW BEST:: SOT 37439 SOS 30888 HAS SOPS 30888 HAS SOUS 25331 HAS SOUPS 25331 WITH SCORE 25361.888
AT ITER 9 NEW BEST:: SOT 37339 SOS 30788 HAS SOPS 30788 HAS SOUS 25231 HAS SOUPS 25231 WITH SCORE 25261.788
AT ITER 10 NEW BEST:: SOT 37408 SOS 30595 HAS SOPS 30595 HAS SOUS 25185 HAS SOUPS 25185 WITH SCORE 25215.595
AT ITER 13 NEW BEST:: SOT 37015 SOS 29711 HAS SOPS 29711 HAS SOUS 24681 HAS SOUPS 24681 WITH SCORE 24710.711
AT ITER 15 NEW BEST:: SOT 36906 SOS 29233 HAS SOPS 29233 HAS SOUS 24351 HAS SOUPS 24351 WITH SCORE 24380.233
AT ITER 17 NEW BEST:: SOT 36775 SOS 29102 HAS SOPS 29102 HAS SOUS 24220 HAS SOUPS 24220 WITH SCORE 24249.102
AT ITER 20 NEW BEST:: SOT 36770 SOS 29097 HAS SOPS 29097 HAS SOUS 24215 HAS SOUPS 24215 WITH SCORE 24244.097
AT ITER 24 NEW BEST:: SOT 36770 SOS 28781 HAS SOPS 28781 HAS SOUS 24156 HAS SOUPS 24156 WITH SCORE 24184.781
AT ITER 27 NEW BEST:: SOT 36770 SOS 28754 HAS SOPS 28754 HAS SOUS 24156 HAS SOUPS 24156 WITH SCORE 24184.754
AT ITER 29 NEW BEST:: SOT 36675 SOS 28559 HAS SOPS 28559 HAS SOUS 23993 HAS SOUPS 23993 WITH SCORE 24021.559
AT ITER 30 NEW BEST:: SOT 36673 SOS 28543 HAS SOPS 28543 HAS SOUS 23989 HAS SOUPS 23989 WITH SCORE 24017.543
AT ITER 32 NEW BEST:: SOT 36591 SOS 28520 HAS SOPS 28520 HAS SOUS 23966 HAS SOUPS 23966 WITH SCORE 23994.52
AT ITER 33 NEW BEST:: SOT 36591 SOS 28508 HAS SOPS 28508 HAS SOUS 23962 HAS SOUPS 23962 WITH SCORE 23990.508
AT ITER 34 NEW BEST:: SOT 36591 SOS 28197 HAS SOPS 28197 HAS SOUS 23919 HAS SOUPS 23919 WITH SCORE 23947.197
AT ITER 35 NEW BEST:: SOT 36501 SOS 28105 HAS SOPS 28105 HAS SOUS 23827 HAS SOUPS 23827 WITH SCORE 23855.105
AT ITER 37 NEW BEST:: SOT 36443 SOS 28047 HAS SOPS 28047 HAS SOUS 23769 HAS SOUPS 23769 WITH SCORE 23797.047
AT ITER 38 NEW BEST:: SOT 36443 SOS 27763 HAS SOPS 27763 HAS SOUS 23728 HAS SOUPS 23728 WITH SCORE 23755.763
AT ITER 42 NEW BEST:: SOT 36306 SOS 27615 HAS SOPS 27615 HAS SOUS 23658 HAS SOUPS 23658 WITH SCORE 23685.615
AT ITER 43 NEW BEST:: SOT 36306 SOS 27462 HAS SOPS 27462 HAS SOUS 23649 HAS SOUPS 23649 WITH SCORE 23676.462
AT ITER 44 NEW BEST:: SOT 36306 SOS 27460 HAS SOPS 27460 HAS SOUS 23638 HAS SOUPS 23638 WITH SCORE 23665.46
AT ITER 47 NEW BEST:: SOT 36293 SOS 27430 HAS SOPS 27430 HAS SOUS 23612 HAS SOUPS 23612 WITH SCORE 23639.43
AT ITER 50 NEW BEST:: SOT 36044 SOS 27181 HAS SOPS 27181 HAS SOUS 23363 HAS SOUPS 23363 WITH SCORE 23390.181
AT ITER 52 NEW BEST:: SOT 36044 SOS 27049 HAS SOPS 27049 HAS SOUS 23361 HAS SOUPS 23361 WITH SCORE 23388.049
AT ITER 60 NEW BEST:: SOT 35885 SOS 26890 HAS SOPS 26890 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23209.89
AT ITER 62 NEW BEST:: SOT 35885 SOS 26853 HAS SOPS 26853 HAS SOUS 23146 HAS SOUPS 23146 WITH SCORE 23172.853
AT ITER 64 NEW BEST:: SOT 35822 SOS 26790 HAS SOPS 26790 HAS SOUS 23083 HAS SOUPS 23083 WITH SCORE 23109.79
AT ITER 66 NEW BEST:: SOT 35610 SOS 26578 HAS SOPS 26578 HAS SOUS 22905 HAS SOUPS 22905 WITH SCORE 22931.578
AT ITER 68 NEW BEST:: SOT 35586 SOS 26554 HAS SOPS 26554 HAS SOUS 22881 HAS SOUPS 22881 WITH SCORE 22907.554
AT ITER 70 NEW BEST:: SOT 35508 SOS 26503 HAS SOPS 26503 HAS SOUS 22830 HAS SOUPS 22830 WITH SCORE 22856.503
AT ITER 72 NEW BEST:: SOT 35508 SOS 26503 HAS SOPS 26503 HAS SOUS 22821 HAS SOUPS 22821 WITH SCORE 22847.503
AT ITER 75 NEW BEST:: SOT 35179 SOS 26148 HAS SOPS 26148 HAS SOUS 22557 HAS SOUPS 22557 WITH SCORE 22583.148
AT ITER 78 NEW BEST:: SOT 35063 SOS 25873 HAS SOPS 25873 HAS SOUS 22387 HAS SOUPS 22387 WITH SCORE 22412.873
AT ITER 83 NEW BEST:: SOT 35044 SOS 25770 HAS SOPS 25770 HAS SOUS 22351 HAS SOUPS 22351 WITH SCORE 22376.77
AT ITER 85 NEW BEST:: SOT 35044 SOS 25642 HAS SOPS 25642 HAS SOUS 22309 HAS SOUPS 22309 WITH SCORE 22334.642
AT ITER 88 NEW BEST:: SOT 35024 SOS 25620 HAS SOPS 25620 HAS SOUS 22279 HAS SOUPS 22279 WITH SCORE 22304.62
AT ITER 89 NEW BEST:: SOT 34945 SOS 25347 HAS SOPS 25347 HAS SOUS 22103 HAS SOUPS 22103 WITH SCORE 22128.347
AT ITER 97 NEW BEST:: SOT 34863 SOS 25219 HAS SOPS 25219 HAS SOUS 21984 HAS SOUPS 21984 WITH SCORE 22009.219
AT ITER 103 NEW BEST:: SOT 34789 SOS 25144 HAS SOPS 25144 HAS SOUS 21909 HAS SOUPS 21909 WITH SCORE 21934.144
AT ITER 104 NEW BEST:: SOT 34756 SOS 25111 HAS SOPS 25111 HAS SOUS 21876 HAS SOUPS 21876 WITH SCORE 21901.111
AT ITER 107 NEW BEST:: SOT 34592 SOS 24894 HAS SOPS 24894 HAS SOUS 21738 HAS SOUPS 21738 WITH SCORE 21762.894
AT ITER 108 NEW BEST:: SOT 34484 SOS 24839 HAS SOPS 24839 HAS SOUS 21683 HAS SOUPS 21683 WITH SCORE 21707.839
AT ITER 110 NEW BEST:: SOT 34177 SOS 24501 HAS SOPS 24501 HAS SOUS 21311 HAS SOUPS 21311 WITH SCORE 21335.501
AT ITER 112 NEW BEST:: SOT 34069 SOS 24392 HAS SOPS 24392 HAS SOUS 21202 HAS SOUPS 21202 WITH SCORE 21226.392
AT ITER 114 NEW BEST:: SOT 33920 SOS 24243 HAS SOPS 24243 HAS SOUS 20971 HAS SOUPS 20971 WITH SCORE 20995.243
AT ITER 115 NEW BEST:: SOT 33797 SOS 24064 HAS SOPS 24064 HAS SOUS 20835 HAS SOUPS 20835 WITH SCORE 20859.064
AT ITER 117 NEW BEST:: SOT 33792 SOS 24015 HAS SOPS 24015 HAS SOUS 20826 HAS SOUPS 20826 WITH SCORE 20850.015
AT ITER 119 NEW BEST:: SOT 33786 SOS 24006 HAS SOPS 24006 HAS SOUS 20817 HAS SOUPS 20817 WITH SCORE 20841.006
AT ITER 120 NEW BEST:: SOT 33764 SOS 23984 HAS SOPS 23984 HAS SOUS 20805 HAS SOUPS 20805 WITH SCORE 20828.984
AT ITER 121 NEW BEST:: SOT 33738 SOS 23958 HAS SOPS 23958 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20801.958
AT ITER 128 NEW BEST:: SOT 33738 SOS 23928 HAS SOPS 23928 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20801.928
AT ITER 129 NEW BEST:: SOT 33705 SOS 23884 HAS SOPS 23884 HAS SOUS 20734 HAS SOUPS 20734 WITH SCORE 20757.884
AT ITER 131 NEW BEST:: SOT 33428 SOS 23121 HAS SOPS 23121 HAS SOUS 20247 HAS SOUPS 20247 WITH SCORE 20270.121
AT ITER 132 NEW BEST:: SOT 33369 SOS 23024 HAS SOPS 23024 HAS SOUS 20150 HAS SOUPS 20150 WITH SCORE 20173.024
AT ITER 133 NEW BEST:: SOT 33213 SOS 22869 HAS SOPS 22869 HAS SOUS 19891 HAS SOUPS 19891 WITH SCORE 19913.869
AT ITER 134 NEW BEST:: SOT 33115 SOS 22819 HAS SOPS 22819 HAS SOUS 19741 HAS SOUPS 19741 WITH SCORE 19763.819
AT ITER 138 NEW BEST:: SOT 33134 SOS 22795 HAS SOPS 22795 HAS SOUS 19717 HAS SOUPS 19717 WITH SCORE 19739.795
AT ITER 144 NEW BEST:: SOT 33134 SOS 22756 HAS SOPS 22756 HAS SOUS 19678 HAS SOUPS 19678 WITH SCORE 19700.756
AT ITER 146 NEW BEST:: SOT 33107 SOS 22502 HAS SOPS 22502 HAS SOUS 19535 HAS SOUPS 19535 WITH SCORE 19557.502
AT ITER 149 NEW BEST:: SOT 33103 SOS 22240 HAS SOPS 22240 HAS SOUS 19414 HAS SOUPS 19414 WITH SCORE 19436.24
AT ITER 151 NEW BEST:: SOT 33035 SOS 22134 HAS SOPS 22134 HAS SOUS 19342 HAS SOUPS 19342 WITH SCORE 19364.134
AT ITER 152 NEW BEST:: SOT 33035 SOS 22133 HAS SOPS 22133 HAS SOUS 19342 HAS SOUPS 19342 WITH SCORE 19364.133
AT ITER 155 NEW BEST:: SOT 32958 SOS 22082 HAS SOPS 22082 HAS SOUS 19248 HAS SOUPS 19248 WITH SCORE 19270.082
AT ITER 156 NEW BEST:: SOT 32878 SOS 21943 HAS SOPS 21943 HAS SOUS 19107 HAS SOUPS 19107 WITH SCORE 19128.943
AT ITER 158 NEW BEST:: SOT 32856 SOS 21921 HAS SOPS 21921 HAS SOUS 19085 HAS SOUPS 19085 WITH SCORE 19106.921
AT ITER 161 NEW BEST:: SOT 32852 SOS 21737 HAS SOPS 21737 HAS SOUS 18912 HAS SOUPS 18912 WITH SCORE 18933.737
AT ITER 162 NEW BEST:: SOT 32814 SOS 21612 HAS SOPS 21612 HAS SOUS 18765 HAS SOUPS 18765 WITH SCORE 18786.612
AT ITER 170 NEW BEST:: SOT 32782 SOS 21580 HAS SOPS 21580 HAS SOUS 18696 HAS SOUPS 18696 WITH SCORE 18717.58
AT ITER 172 NEW BEST:: SOT 32703 SOS 21480 HAS SOPS 21480 HAS SOUS 18598 HAS SOUPS 18598 WITH SCORE 18619.48
AT ITER 173 NEW BEST:: SOT 32703 SOS 21438 HAS SOPS 21438 HAS SOUS 18589 HAS SOUPS 18589 WITH SCORE 18610.438
AT ITER 176 NEW BEST:: SOT 32676 SOS 21411 HAS SOPS 21411 HAS SOUS 18562 HAS SOUPS 18562 WITH SCORE 18583.411
AT ITER 180 NEW BEST:: SOT 32676 SOS 21251 HAS SOPS 21251 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18455.251
AT ITER 181 NEW BEST:: SOT 32571 SOS 21242 HAS SOPS 21242 HAS SOUS 18236 HAS SOUPS 18236 WITH SCORE 18257.242
AT ITER 185 NEW BEST:: SOT 32361 SOS 21060 HAS SOPS 21060 HAS SOUS 18018 HAS SOUPS 18018 WITH SCORE 18039.06
AT ITER 187 NEW BEST:: SOT 32358 SOS 20867 HAS SOPS 20867 HAS SOUS 17957 HAS SOUPS 17957 WITH SCORE 17977.867
AT ITER 190 NEW BEST:: SOT 32255 SOS 20760 HAS SOPS 20760 HAS SOUS 17850 HAS SOUPS 17850 WITH SCORE 17870.76
AT ITER 198 NEW BEST:: SOT 32222 SOS 20727 HAS SOPS 20727 HAS SOUS 17781 HAS SOUPS 17781 WITH SCORE 17801.727
AT ITER 199 NEW BEST:: SOT 32222 SOS 20711 HAS SOPS 20711 HAS SOUS 17775 HAS SOUPS 17775 WITH SCORE 17795.711
AT ITER 200 NEW BEST:: SOT 32224 SOS 20715 HAS SOPS 20715 HAS SOUS 17774 HAS SOUPS 17774 WITH SCORE 17794.715
AT ITER 214 NEW BEST:: SOT 32224 SOS 20608 HAS SOPS 20608 HAS SOUS 17767 HAS SOUPS 17767 WITH SCORE 17787.608
AT ITER 215 NEW BEST:: SOT 32213 SOS 20518 HAS SOPS 20518 HAS SOUS 17689 HAS SOUPS 17689 WITH SCORE 17709.518
AT ITER 216 NEW BEST:: SOT 32181 SOS 20486 HAS SOPS 20486 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17652.486
AT ITER 217 NEW BEST:: SOT 32181 SOS 20454 HAS SOPS 20454 HAS SOUS 17632 HAS SOUPS 17632 WITH SCORE 17652.454
AT ITER 218 NEW BEST:: SOT 32203 SOS 20350 HAS SOPS 20350 HAS SOUS 17613 HAS SOUPS 17613 WITH SCORE 17633.35
AT ITER 226 NEW BEST:: SOT 32193 SOS 20131 HAS SOPS 20131 HAS SOUS 17529 HAS SOUPS 17529 WITH SCORE 17549.131
AT ITER 239 NEW BEST:: SOT 32230 SOS 19868 HAS SOPS 19868 HAS SOUS 17499 HAS SOUPS 17499 WITH SCORE 17518.868
AT ITER 248 NEW BEST:: SOT 32121 SOS 19742 HAS SOPS 19742 HAS SOUS 17394 HAS SOUPS 17394 WITH SCORE 17413.742
AT ITER 249 NEW BEST:: SOT 32042 SOS 19787 HAS SOPS 19787 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17407.787
AT ITER 254 NEW BEST:: SOT 32042 SOS 19604 HAS SOPS 19604 HAS SOUS 17374 HAS SOUPS 17374 WITH SCORE 17393.604
AT ITER 260 NEW BEST:: SOT 31965 SOS 19294 HAS SOPS 19294 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17077.294
AT ITER 262 NEW BEST:: SOT 31958 SOS 19287 HAS SOPS 19287 HAS SOUS 17046 HAS SOUPS 17046 WITH SCORE 17065.287
AT ITER 271 NEW BEST:: SOT 31955 SOS 19281 HAS SOPS 19281 HAS SOUS 17043 HAS SOUPS 17043 WITH SCORE 17062.281
AT ITER 277 NEW BEST:: SOT 31955 SOS 19158 HAS SOPS 19158 HAS SOUS 17002 HAS SOUPS 17002 WITH SCORE 17021.158
AT ITER 278 NEW BEST:: SOT 31735 SOS 18884 HAS SOPS 18884 HAS SOUS 16736 HAS SOUPS 16736 WITH SCORE 16754.884
AT ITER 283 NEW BEST:: SOT 31735 SOS 18816 HAS SOPS 18816 HAS SOUS 16719 HAS SOUPS 16719 WITH SCORE 16737.816
AT ITER 308 NEW BEST:: SOT 31734 SOS 18678 HAS SOPS 18678 HAS SOUS 16707 HAS SOUPS 16707 WITH SCORE 16725.678
AT ITER 310 NEW BEST:: SOT 31730 SOS 18674 HAS SOPS 18674 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16721.674
AT ITER 313 NEW BEST:: SOT 31626 SOS 18635 HAS SOPS 18635 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16660.635
AT ITER 319 NEW BEST:: SOT 31626 SOS 18554 HAS SOPS 18554 HAS SOUS 16642 HAS SOUPS 16642 WITH SCORE 16660.554
AT ITER 320 NEW BEST:: SOT 31591 SOS 18472 HAS SOPS 18472 HAS SOUS 16560 HAS SOUPS 16560 WITH SCORE 16578.472
AT ITER 321 NEW BEST:: SOT 31519 SOS 18424 HAS SOPS 18424 HAS SOUS 16556 HAS SOUPS 16556 WITH SCORE 16574.424
AT ITER 322 NEW BEST:: SOT 31509 SOS 18414 HAS SOPS 18414 HAS SOUS 16546 HAS SOUPS 16546 WITH SCORE 16564.414
AT ITER 325 NEW BEST:: SOT 31509 SOS 18407 HAS SOPS 18407 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16557.407
AT ITER 333 NEW BEST:: SOT 31481 SOS 18379 HAS SOPS 18379 HAS SOUS 16511 HAS SOUPS 16511 WITH SCORE 16529.379
AT ITER 334 NEW BEST:: SOT 31417 SOS 18310 HAS SOPS 18310 HAS SOUS 16442 HAS SOUPS 16442 WITH SCORE 16460.31
AT ITER 339 NEW BEST:: SOT 31328 SOS 18221 HAS SOPS 18221 HAS SOUS 16353 HAS SOUPS 16353 WITH SCORE 16371.221
AT ITER 343 NEW BEST:: SOT 31200 SOS 17836 HAS SOPS 17836 HAS SOUS 16093 HAS SOUPS 16093 WITH SCORE 16110.836
AT ITER 349 NEW BEST:: SOT 31161 SOS 17797 HAS SOPS 17797 HAS SOUS 16054 HAS SOUPS 16054 WITH SCORE 16071.797
AT ITER 354 NEW BEST:: SOT 31169 SOS 17730 HAS SOPS 17730 HAS SOUS 16051 HAS SOUPS 16051 WITH SCORE 16068.73
AT ITER 361 NEW BEST:: SOT 31144 SOS 17705 HAS SOPS 17705 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16042.705
AT ITER 363 NEW BEST:: SOT 31126 SOS 17689 HAS SOPS 17689 HAS SOUS 16009 HAS SOUPS 16009 WITH SCORE 16026.689
AT ITER 370 NEW BEST:: SOT 31098 SOS 17661 HAS SOPS 17661 HAS SOUS 15981 HAS SOUPS 15981 WITH SCORE 15998.661
AT ITER 376 NEW BEST:: SOT 31084 SOS 17647 HAS SOPS 17647 HAS SOUS 15966 HAS SOUPS 15966 WITH SCORE 15983.647
AT ITER 377 NEW BEST:: SOT 31138 SOS 17622 HAS SOPS 17622 HAS SOUS 15941 HAS SOUPS 15941 WITH SCORE 15958.622
AT ITER 379 NEW BEST:: SOT 31136 SOS 17605 HAS SOPS 17605 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15911.605
AT ITER 386 NEW BEST:: SOT 31136 SOS 17569 HAS SOPS 17569 HAS SOUS 15894 HAS SOUPS 15894 WITH SCORE 15911.569
AT ITER 387 NEW BEST:: SOT 31108 SOS 17526 HAS SOPS 17526 HAS SOUS 15851 HAS SOUPS 15851 WITH SCORE 15868.526
AT ITER 391 NEW BEST:: SOT 31106 SOS 17523 HAS SOPS 17523 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15865.523
AT ITER 400 NEW BEST:: SOT 30992 SOS 17400 HAS SOPS 17400 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15742.4
AT ITER 401 NEW BEST:: SOT 30991 SOS 17395 HAS SOPS 17395 HAS SOUS 15723 HAS SOUPS 15723 WITH SCORE 15740.395
AT ITER 403 NEW BEST:: SOT 30889 SOS 17114 HAS SOPS 17114 HAS SOUS 15536 HAS SOUPS 15536 WITH SCORE 15553.114
AT ITER 412 NEW BEST:: SOT 30877 SOS 17102 HAS SOPS 17102 HAS SOUS 15520 HAS SOUPS 15520 WITH SCORE 15537.102
AT ITER 431 NEW BEST:: SOT 30887 SOS 17112 HAS SOPS 17112 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15507.112
AT ITER 443 NEW BEST:: SOT 30887 SOS 17010 HAS SOPS 17010 HAS SOUS 15490 HAS SOUPS 15490 WITH SCORE 15507.01
AT ITER 449 NEW BEST:: SOT 30870 SOS 16993 HAS SOPS 16993 HAS SOUS 15473 HAS SOUPS 15473 WITH SCORE 15489.993
AT ITER 451 NEW BEST:: SOT 30849 SOS 16915 HAS SOPS 16915 HAS SOUS 15414 HAS SOUPS 15414 WITH SCORE 15430.915
AT ITER 454 NEW BEST:: SOT 30849 SOS 17058 HAS SOPS 17058 HAS SOUS 15408 HAS SOUPS 15408 WITH SCORE 15425.058
AT ITER 462 NEW BEST:: SOT 30849 SOS 17032 HAS SOPS 17032 HAS SOUS 15390 HAS SOUPS 15390 WITH SCORE 15407.032
AT ITER 463 NEW BEST:: SOT 30849 SOS 16880 HAS SOPS 16880 HAS SOUS 15380 HAS SOUPS 15380 WITH SCORE 15396.88
AT ITER 469 NEW BEST:: SOT 30736 SOS 16767 HAS SOPS 16767 HAS SOUS 15275 HAS SOUPS 15275 WITH SCORE 15291.767
AT ITER 470 NEW BEST:: SOT 30741 SOS 16729 HAS SOPS 16729 HAS SOUS 15231 HAS SOUPS 15231 WITH SCORE 15247.729
AT ITER 485 NEW BEST:: SOT 30681 SOS 16698 HAS SOPS 16698 HAS SOUS 15221 HAS SOUPS 15221 WITH SCORE 15237.698
AT ITER 486 NEW BEST:: SOT 30649 SOS 16643 HAS SOPS 16643 HAS SOUS 15149 HAS SOUPS 15149 WITH SCORE 15165.643
AT ITER 488 NEW BEST:: SOT 30648 SOS 16642 HAS SOPS 16642 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15163.642
AT ITER 490 NEW BEST:: SOT 30640 SOS 16607 HAS SOPS 16607 HAS SOUS 15112 HAS SOUPS 15112 WITH SCORE 15128.607
AT ITER 498 NEW BEST:: SOT 30491 SOS 16458 HAS SOPS 16458 HAS SOUS 14963 HAS SOUPS 14963 WITH SCORE 14979.458
AT ITER 510 NEW BEST:: SOT 30476 SOS 16429 HAS SOPS 16429 HAS SOUS 14934 HAS SOUPS 14934 WITH SCORE 14950.429
AT ITER 513 NEW BEST:: SOT 30346 SOS 16097 HAS SOPS 16097 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14608.097
AT ITER 519 NEW BEST:: SOT 30346 SOS 16096 HAS SOPS 16096 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14607.096
AT ITER 520 NEW BEST:: SOT 30222 SOS 15972 HAS SOPS 15972 HAS SOUS 14562 HAS SOUPS 14562 WITH SCORE 14577.972
AT ITER 539 NEW BEST:: SOT 30222 SOS 15890 HAS SOPS 15890 HAS SOUS 14540 HAS SOUPS 14540 WITH SCORE 14555.89
AT ITER 541 NEW BEST:: SOT 30222 SOS 15803 HAS SOPS 15803 HAS SOUS 14496 HAS SOUPS 14496 WITH SCORE 14511.803
AT ITER 548 NEW BEST:: SOT 30220 SOS 15799 HAS SOPS 15799 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14507.799
AT ITER 550 NEW BEST:: SOT 30192 SOS 15786 HAS SOPS 15786 HAS SOUS 14472 HAS SOUPS 14472 WITH SCORE 14487.786
AT ITER 555 NEW BEST:: SOT 30190 SOS 15718 HAS SOPS 15718 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14441.718
AT ITER 567 NEW BEST:: SOT 30167 SOS 15617 HAS SOPS 15617 HAS SOUS 14355 HAS SOUPS 14355 WITH SCORE 14370.617
AT ITER 569 NEW BEST:: SOT 30148 SOS 15506 HAS SOPS 15506 HAS SOUS 14254 HAS SOUPS 14254 WITH SCORE 14269.506
AT ITER 574 NEW BEST:: SOT 30146 SOS 15502 HAS SOPS 15502 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14265.502
AT ITER 592 NEW BEST:: SOT 30140 SOS 15484 HAS SOPS 15484 HAS SOUS 14232 HAS SOUPS 14232 WITH SCORE 14247.484
AT ITER 594 NEW BEST:: SOT 30128 SOS 15410 HAS SOPS 15410 HAS SOUS 14193 HAS SOUPS 14193 WITH SCORE 14208.41
AT ITER 614 NEW BEST:: SOT 30118 SOS 15428 HAS SOPS 15428 HAS SOUS 14157 HAS SOUPS 14157 WITH SCORE 14172.428
AT ITER 618 NEW BEST:: SOT 30118 SOS 15392 HAS SOPS 15392 HAS SOUS 14121 HAS SOUPS 14121 WITH SCORE 14136.392
AT ITER 620 NEW BEST:: SOT 30112 SOS 15374 HAS SOPS 15374 HAS SOUS 14095 HAS SOUPS 14095 WITH SCORE 14110.374
AT ITER 625 NEW BEST:: SOT 30112 SOS 15250 HAS SOPS 15250 HAS SOUS 14079 HAS SOUPS 14079 WITH SCORE 14094.25
AT ITER 626 NEW BEST:: SOT 30112 SOS 15231 HAS SOPS 15231 HAS SOUS 14060 HAS SOUPS 14060 WITH SCORE 14075.231
AT ITER 629 NEW BEST:: SOT 30060 SOS 15154 HAS SOPS 15154 HAS SOUS 13983 HAS SOUPS 13983 WITH SCORE 13998.154
AT ITER 635 NEW BEST:: SOT 30060 SOS 15106 HAS SOPS 15106 HAS SOUS 13935 HAS SOUPS 13935 WITH SCORE 13950.106
AT ITER 648 NEW BEST:: SOT 30026 SOS 15149 HAS SOPS 15149 HAS SOUS 13929 HAS SOUPS 13929 WITH SCORE 13944.149
AT ITER 649 NEW BEST:: SOT 30026 SOS 15139 HAS SOPS 15139 HAS SOUS 13913 HAS SOUPS 13913 WITH SCORE 13928.139
AT ITER 650 NEW BEST:: SOT 30027 SOS 15106 HAS SOPS 15106 HAS SOUS 13900 HAS SOUPS 13900 WITH SCORE 13915.106
AT ITER 654 NEW BEST:: SOT 30026 SOS 15074 HAS SOPS 15074 HAS SOUS 13868 HAS SOUPS 13868 WITH SCORE 13883.074
AT ITER 655 NEW BEST:: SOT 29988 SOS 15036 HAS SOPS 15036 HAS SOUS 13820 HAS SOUPS 13820 WITH SCORE 13835.036
AT ITER 664 NEW BEST:: SOT 29975 SOS 15021 HAS SOPS 15021 HAS SOUS 13805 HAS SOUPS 13805 WITH SCORE 13820.021
AT ITER 666 NEW BEST:: SOT 29970 SOS 15012 HAS SOPS 15012 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13811.012
AT ITER 670 NEW BEST:: SOT 29942 SOS 14951 HAS SOPS 14951 HAS SOUS 13718 HAS SOUPS 13718 WITH SCORE 13732.951
AT ITER 680 NEW BEST:: SOT 29895 SOS 14916 HAS SOPS 14916 HAS SOUS 13683 HAS SOUPS 13683 WITH SCORE 13697.916
AT ITER 682 NEW BEST:: SOT 29895 SOS 14915 HAS SOPS 14915 HAS SOUS 13682 HAS SOUPS 13682 WITH SCORE 13696.915
AT ITER 685 NEW BEST:: SOT 29864 SOS 14891 HAS SOPS 14891 HAS SOUS 13654 HAS SOUPS 13654 WITH SCORE 13668.891
AT ITER 690 NEW BEST:: SOT 29836 SOS 14791 HAS SOPS 14791 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13568.791
AT ITER 698 NEW BEST:: SOT 29759 SOS 14652 HAS SOPS 14652 HAS SOUS 13458 HAS SOUPS 13458 WITH SCORE 13472.652
AT ITER 730 NEW BEST:: SOT 29748 SOS 14627 HAS SOPS 14627 HAS SOUS 13433 HAS SOUPS 13433 WITH SCORE 13447.627
AT ITER 738 NEW BEST:: SOT 29669 SOS 14548 HAS SOPS 14548 HAS SOUS 13354 HAS SOUPS 13354 WITH SCORE 13368.548
AT ITER 739 NEW BEST:: SOT 29669 SOS 14523 HAS SOPS 14523 HAS SOUS 13329 HAS SOUPS 13329 WITH SCORE 13343.523
AT ITER 743 NEW BEST:: SOT 29626 SOS 14425 HAS SOPS 14425 HAS SOUS 13222 HAS SOUPS 13222 WITH SCORE 13236.425
AT ITER 761 NEW BEST:: SOT 29614 SOS 14410 HAS SOPS 14410 HAS SOUS 13219 HAS SOUPS 13219 WITH SCORE 13233.41
AT ITER 762 NEW BEST:: SOT 29614 SOS 14161 HAS SOPS 14161 HAS SOUS 13100 HAS SOUPS 13100 WITH SCORE 13114.161
AT ITER 766 NEW BEST:: SOT 29602 SOS 14149 HAS SOPS 14149 HAS SOUS 13088 HAS SOUPS 13088 WITH SCORE 13102.149
AT ITER 769 NEW BEST:: SOT 29574 SOS 14119 HAS SOPS 14119 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13072.119
AT ITER 781 NEW BEST:: SOT 29549 SOS 14094 HAS SOPS 14094 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13072.094
AT ITER 788 NEW BEST:: SOT 29545 SOS 14090 HAS SOPS 14090 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13068.09
AT ITER 793 NEW BEST:: SOT 29496 SOS 14041 HAS SOPS 14041 HAS SOUS 12988 HAS SOUPS 12988 WITH SCORE 13002.041
AT ITER 796 NEW BEST:: SOT 29445 SOS 13970 HAS SOPS 13970 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12933.97
AT ITER 798 NEW BEST:: SOT 29418 SOS 13919 HAS SOPS 13919 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12882.919
AT ITER 799 NEW BEST:: SOT 29413 SOS 13914 HAS SOPS 13914 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12877.914
AT ITER 801 NEW BEST:: SOT 29361 SOS 13833 HAS SOPS 13833 HAS SOUS 12761 HAS SOUPS 12761 WITH SCORE 12774.833
AT ITER 810 NEW BEST:: SOT 29358 SOS 13830 HAS SOPS 13830 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12771.83
AT ITER 821 NEW BEST:: SOT 29347 SOS 13821 HAS SOPS 13821 HAS SOUS 12749 HAS SOUPS 12749 WITH SCORE 12762.821
AT ITER 822 NEW BEST:: SOT 29347 SOS 13813 HAS SOPS 13813 HAS SOUS 12741 HAS SOUPS 12741 WITH SCORE 12754.813
AT ITER 823 NEW BEST:: SOT 29181 SOS 13739 HAS SOPS 13739 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12640.739
AT ITER 835 NEW BEST:: SOT 29163 SOS 13751 HAS SOPS 13751 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12622.751
AT ITER 841 NEW BEST:: SOT 29129 SOS 13706 HAS SOPS 13706 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12577.706
AT ITER 852 NEW BEST:: SOT 29078 SOS 13706 HAS SOPS 13706 HAS SOUS 12545 HAS SOUPS 12545 WITH SCORE 12558.706
AT ITER 867 NEW BEST:: SOT 29078 SOS 13693 HAS SOPS 13693 HAS SOUS 12536 HAS SOUPS 12536 WITH SCORE 12549.693
AT ITER 882 NEW BEST:: SOT 29069 SOS 13673 HAS SOPS 13673 HAS SOUS 12479 HAS SOUPS 12479 WITH SCORE 12492.673
AT ITER 884 NEW BEST:: SOT 29068 SOS 13660 HAS SOPS 13660 HAS SOUS 12475 HAS SOUPS 12475 WITH SCORE 12488.66
AT ITER 898 NEW BEST:: SOT 29068 SOS 13521 HAS SOPS 13521 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12410.521
AT ITER 908 NEW BEST:: SOT 29062 SOS 13509 HAS SOPS 13509 HAS SOUS 12388 HAS SOUPS 12388 WITH SCORE 12401.509
AT ITER 914 NEW BEST:: SOT 29020 SOS 13467 HAS SOPS 13467 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12359.467
AT ITER 916 NEW BEST:: SOT 28983 SOS 13362 HAS SOPS 13362 HAS SOUS 12183 HAS SOUPS 12183 WITH SCORE 12196.362
AT ITER 947 NEW BEST:: SOT 28984 SOS 13316 HAS SOPS 13316 HAS SOUS 12160 HAS SOUPS 12160 WITH SCORE 12173.316
AT ITER 967 NEW BEST:: SOT 28994 SOS 13314 HAS SOPS 13314 HAS SOUS 12158 HAS SOUPS 12158 WITH SCORE 12171.314
AT ITER 974 NEW BEST:: SOT 28994 SOS 13302 HAS SOPS 13302 HAS SOUS 12146 HAS SOUPS 12146 WITH SCORE 12159.302
AT ITER 976 NEW BEST:: SOT 28889 SOS 13215 HAS SOPS 13215 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12072.215
AT ITER 978 NEW BEST:: SOT 28889 SOS 13202 HAS SOPS 13202 HAS SOUS 12059 HAS SOUPS 12059 WITH SCORE 12072.202
AT ITER 981 NEW BEST:: SOT 28871 SOS 13158 HAS SOPS 13158 HAS SOUS 12015 HAS SOUPS 12015 WITH SCORE 12028.158
AT ITER 1007 NEW BEST:: SOT 28873 SOS 13119 HAS SOPS 13119 HAS SOUS 12003 HAS SOUPS 12003 WITH SCORE 12016.119
AT ITER 1022 NEW BEST:: SOT 28873 SOS 13165 HAS SOPS 13165 HAS SOUS 11995 HAS SOUPS 11995 WITH SCORE 12008.165
AT ITER 1044 NEW BEST:: SOT 28870 SOS 13162 HAS SOPS 13162 HAS SOUS 11992 HAS SOUPS 11992 WITH SCORE 12005.162
AT ITER 1049 NEW BEST:: SOT 28792 SOS 13084 HAS SOPS 13084 HAS SOUS 11914 HAS SOUPS 11914 WITH SCORE 11927.084
AT ITER 1075 NEW BEST:: SOT 28792 SOS 13053 HAS SOPS 13053 HAS SOUS 11912 HAS SOUPS 11912 WITH SCORE 11925.053
AT ITER 1079 NEW BEST:: SOT 28745 SOS 12956 HAS SOPS 12956 HAS SOUS 11815 HAS SOUPS 11815 WITH SCORE 11827.956
AT ITER 1081 NEW BEST:: SOT 28737 SOS 12940 HAS SOPS 12940 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11811.94
AT ITER 1087 NEW BEST:: SOT 28638 SOS 12813 HAS SOPS 12813 HAS SOUS 11700 HAS SOUPS 11700 WITH SCORE 11712.813
AT ITER 1114 NEW BEST:: SOT 28638 SOS 12809 HAS SOPS 12809 HAS SOUS 11696 HAS SOUPS 11696 WITH SCORE 11708.809
AT ITER 1121 NEW BEST:: SOT 28638 SOS 12793 HAS SOPS 12793 HAS SOUS 11684 HAS SOUPS 11684 WITH SCORE 11696.793
AT ITER 1122 NEW BEST:: SOT 28627 SOS 12728 HAS SOPS 12728 HAS SOUS 11643 HAS SOUPS 11643 WITH SCORE 11655.728
AT ITER 1127 NEW BEST:: SOT 28574 SOS 12708 HAS SOPS 12708 HAS SOUS 11642 HAS SOUPS 11642 WITH SCORE 11654.708
AT ITER 1132 NEW BEST:: SOT 28553 SOS 12637 HAS SOPS 12637 HAS SOUS 11571 HAS SOUPS 11571 WITH SCORE 11583.637
AT ITER 1134 NEW BEST:: SOT 28547 SOS 12625 HAS SOPS 12625 HAS SOUS 11562 HAS SOUPS 11562 WITH SCORE 11574.625
AT ITER 1140 NEW BEST:: SOT 28538 SOS 12616 HAS SOPS 12616 HAS SOUS 11553 HAS SOUPS 11553 WITH SCORE 11565.616
AT ITER 1142 NEW BEST:: SOT 28527 SOS 12621 HAS SOPS 12621 HAS SOUS 11547 HAS SOUPS 11547 WITH SCORE 11559.621
AT ITER 1158 NEW BEST:: SOT 28514 SOS 12582 HAS SOPS 12582 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11517.582
AT ITER 1187 NEW BEST:: SOT 28508 SOS 12576 HAS SOPS 12576 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11511.576
AT ITER 1195 NEW BEST:: SOT 28497 SOS 12543 HAS SOPS 12543 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11489.543
AT ITER 1198 NEW BEST:: SOT 28495 SOS 12541 HAS SOPS 12541 HAS SOUS 11475 HAS SOUPS 11475 WITH SCORE 11487.541
AT ITER 1213 NEW BEST:: SOT 28492 SOS 12538 HAS SOPS 12538 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11484.538
AT ITER 1237 NEW BEST:: SOT 28468 SOS 12514 HAS SOPS 12514 HAS SOUS 11438 HAS SOUPS 11438 WITH SCORE 11450.514
AT ITER 1245 NEW BEST:: SOT 28476 SOS 12522 HAS SOPS 12522 HAS SOUS 11435 HAS SOUPS 11435 WITH SCORE 11447.522
AT ITER 1256 NEW BEST:: SOT 28443 SOS 12470 HAS SOPS 12470 HAS SOUS 11383 HAS SOUPS 11383 WITH SCORE 11395.47
AT ITER 1276 NEW BEST:: SOT 28438 SOS 12463 HAS SOPS 12463 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11388.463
AT ITER 1282 NEW BEST:: SOT 28464 SOS 12508 HAS SOPS 12508 HAS SOUS 11367 HAS SOUPS 11367 WITH SCORE 11379.508
AT ITER 1297 NEW BEST:: SOT 28355 SOS 12444 HAS SOPS 12444 HAS SOUS 11328 HAS SOUPS 11328 WITH SCORE 11340.444
AT ITER 1299 NEW BEST:: SOT 28350 SOS 12435 HAS SOPS 12435 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11331.435
AT ITER 1300 NEW BEST:: SOT 28341 SOS 12399 HAS SOPS 12399 HAS SOUS 11292 HAS SOUPS 11292 WITH SCORE 11304.399
AT ITER 1330 NEW BEST:: SOT 28338 SOS 12396 HAS SOPS 12396 HAS SOUS 11289 HAS SOUPS 11289 WITH SCORE 11301.396
AT ITER 1359 NEW BEST:: SOT 28331 SOS 12313 HAS SOPS 12313 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11238.313
AT ITER 1373 NEW BEST:: SOT 28289 SOS 12143 HAS SOPS 12143 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11152.143
AT ITER 1400 NEW BEST:: SOT 28268 SOS 12122 HAS SOPS 12122 HAS SOUS 11119 HAS SOUPS 11119 WITH SCORE 11131.122
AT ITER 1404 NEW BEST:: SOT 28252 SOS 12095 HAS SOPS 12095 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11104.095
AT ITER 1405 NEW BEST:: SOT 28225 SOS 12039 HAS SOPS 12039 HAS SOUS 11036 HAS SOUPS 11036 WITH SCORE 11048.039
AT ITER 1426 NEW BEST:: SOT 28219 SOS 12032 HAS SOPS 12032 HAS SOUS 11029 HAS SOUPS 11029 WITH SCORE 11041.032
AT ITER 1432 NEW BEST:: SOT 28214 SOS 12027 HAS SOPS 12027 HAS SOUS 11024 HAS SOUPS 11024 WITH SCORE 11036.027
AT ITER 1499 NEW BEST:: SOT 28210 SOS 12019 HAS SOPS 12019 HAS SOUS 11016 HAS SOUPS 11016 WITH SCORE 11028.019
AT ITER 1507 NEW BEST:: SOT 28132 SOS 11947 HAS SOPS 11947 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10964.947
AT ITER 1511 NEW BEST:: SOT 28126 SOS 11938 HAS SOPS 11938 HAS SOUS 10944 HAS SOUPS 10944 WITH SCORE 10955.938
AT ITER 1516 NEW BEST:: SOT 28113 SOS 11917 HAS SOPS 11917 HAS SOUS 10901 HAS SOUPS 10901 WITH SCORE 10912.917
AT ITER 1522 NEW BEST:: SOT 28113 SOS 11911 HAS SOPS 11911 HAS SOUS 10895 HAS SOUPS 10895 WITH SCORE 10906.911
AT ITER 1543 NEW BEST:: SOT 28108 SOS 11901 HAS SOPS 11901 HAS SOUS 10885 HAS SOUPS 10885 WITH SCORE 10896.901
AT ITER 1546 NEW BEST:: SOT 28100 SOS 11888 HAS SOPS 11888 HAS SOUS 10877 HAS SOUPS 10877 WITH SCORE 10888.888
AT ITER 1557 NEW BEST:: SOT 28100 SOS 11853 HAS SOPS 11853 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10876.853
AT ITER 1564 NEW BEST:: SOT 28090 SOS 11838 HAS SOPS 11838 HAS SOUS 10850 HAS SOUPS 10850 WITH SCORE 10861.838
AT ITER 1567 NEW BEST:: SOT 28085 SOS 11825 HAS SOPS 11825 HAS SOUS 10832 HAS SOUPS 10832 WITH SCORE 10843.825
AT ITER 1574 NEW BEST:: SOT 28010 SOS 11664 HAS SOPS 11664 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10682.664
AT ITER 1591 NEW BEST:: SOT 28034 SOS 11688 HAS SOPS 11688 HAS SOUS 10626 HAS SOUPS 10626 WITH SCORE 10637.688
AT ITER 1611 NEW BEST:: SOT 28034 SOS 11686 HAS SOPS 11686 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10636.686
AT ITER 1613 NEW BEST:: SOT 28034 SOS 11679 HAS SOPS 11679 HAS SOUS 10618 HAS SOUPS 10618 WITH SCORE 10629.679
AT ITER 1617 NEW BEST:: SOT 28012 SOS 11651 HAS SOPS 11651 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10601.651
AT ITER 1653 NEW BEST:: SOT 28005 SOS 11644 HAS SOPS 11644 HAS SOUS 10590 HAS SOUPS 10590 WITH SCORE 10601.644
AT ITER 1668 NEW BEST:: SOT 28005 SOS 11637 HAS SOPS 11637 HAS SOUS 10583 HAS SOUPS 10583 WITH SCORE 10594.637
AT ITER 1676 NEW BEST:: SOT 28004 SOS 11616 HAS SOPS 11616 HAS SOUS 10579 HAS SOUPS 10579 WITH SCORE 10590.616
AT ITER 1692 NEW BEST:: SOT 28004 SOS 11608 HAS SOPS 11608 HAS SOUS 10575 HAS SOUPS 10575 WITH SCORE 10586.608
AT ITER 1696 NEW BEST:: SOT 28004 SOS 11594 HAS SOPS 11594 HAS SOUS 10568 HAS SOUPS 10568 WITH SCORE 10579.594
AT ITER 1699 NEW BEST:: SOT 27995 SOS 11585 HAS SOPS 11585 HAS SOUS 10559 HAS SOUPS 10559 WITH SCORE 10570.585
AT ITER 1716 NEW BEST:: SOT 27923 SOS 11511 HAS SOPS 11511 HAS SOUS 10485 HAS SOUPS 10485 WITH SCORE 10496.511
AT ITER 1737 NEW BEST:: SOT 27923 SOS 11506 HAS SOPS 11506 HAS SOUS 10480 HAS SOUPS 10480 WITH SCORE 10491.506
AT ITER 1743 NEW BEST:: SOT 27903 SOS 11476 HAS SOPS 11476 HAS SOUS 10450 HAS SOUPS 10450 WITH SCORE 10461.476
AT ITER 1744 NEW BEST:: SOT 27895 SOS 11435 HAS SOPS 11435 HAS SOUS 10409 HAS SOUPS 10409 WITH SCORE 10420.435
AT ITER 1745 NEW BEST:: SOT 27889 SOS 11462 HAS SOPS 11462 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10411.462
AT ITER 1757 NEW BEST:: SOT 27863 SOS 11448 HAS SOPS 11448 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10389.448
AT ITER 1796 NEW BEST:: SOT 27863 SOS 11429 HAS SOPS 11429 HAS SOUS 10373 HAS SOUPS 10373 WITH SCORE 10384.429
AT ITER 1823 NEW BEST:: SOT 27863 SOS 11409 HAS SOPS 11409 HAS SOUS 10367 HAS SOUPS 10367 WITH SCORE 10378.409
AT ITER 1829 NEW BEST:: SOT 27863 SOS 11409 HAS SOPS 11409 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10377.409
AT ITER 1838 NEW BEST:: SOT 27854 SOS 11404 HAS SOPS 11404 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10362.404
AT ITER 1846 NEW BEST:: SOT 27851 SOS 11401 HAS SOPS 11401 HAS SOUS 10348 HAS SOUPS 10348 WITH SCORE 10359.401
AT ITER 1856 NEW BEST:: SOT 27851 SOS 11401 HAS SOPS 11401 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10352.401
AT ITER 1857 NEW BEST:: SOT 27850 SOS 11400 HAS SOPS 11400 HAS SOUS 10340 HAS SOUPS 10340 WITH SCORE 10351.4
AT ITER 1861 NEW BEST:: SOT 27837 SOS 11398 HAS SOPS 11398 HAS SOUS 10335 HAS SOUPS 10335 WITH SCORE 10346.398
AT ITER 1864 NEW BEST:: SOT 27826 SOS 11365 HAS SOPS 11365 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10324.365
AT ITER 1896 NEW BEST:: SOT 27812 SOS 11337 HAS SOPS 11337 HAS SOUS 10285 HAS SOUPS 10285 WITH SCORE 10296.337
AT ITER 1903 NEW BEST:: SOT 27752 SOS 11070 HAS SOPS 11070 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10133.07
AT ITER 1943 NEW BEST:: SOT 27744 SOS 11063 HAS SOPS 11063 HAS SOUS 10115 HAS SOUPS 10115 WITH SCORE 10126.063
AT ITER 1947 NEW BEST:: SOT 27738 SOS 11029 HAS SOPS 11029 HAS SOUS 10080 HAS SOUPS 10080 WITH SCORE 10091.029
AT ITER 1949 NEW BEST:: SOT 27718 SOS 10999 HAS SOPS 10999 HAS SOUS 10050 HAS SOUPS 10050 WITH SCORE 10060.999
AT ITER 1952 NEW BEST:: SOT 27711 SOS 10984 HAS SOPS 10984 HAS SOUS 10035 HAS SOUPS 10035 WITH SCORE 10045.984
AT ITER 1953 NEW BEST:: SOT 27709 SOS 10979 HAS SOPS 10979 HAS SOUS 10031 HAS SOUPS 10031 WITH SCORE 10041.979
AT ITER 1969 NEW BEST:: SOT 27693 SOS 10964 HAS SOPS 10964 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10020.964
AT ITER 1974 NEW BEST:: SOT 27685 SOS 10947 HAS SOPS 10947 HAS SOUS 10009 HAS SOUPS 10009 WITH SCORE 10019.947
AT ITER 1982 NEW BEST:: SOT 27685 SOS 10958 HAS SOPS 10958 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10014.958
AT ITER 1983 NEW BEST:: SOT 27685 SOS 10959 HAS SOPS 10959 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10013.959
AT ITER 1984 NEW BEST:: SOT 27674 SOS 10948 HAS SOPS 10948 HAS SOUS 9992 HAS SOUPS 9992 WITH SCORE 10002.948
AT ITER 1993 NEW BEST:: SOT 27662 SOS 10933 HAS SOPS 10933 HAS SOUS 9981 HAS SOUPS 9981 WITH SCORE 9991.933
AT ITER 2011 NEW BEST:: SOT 27618 SOS 10889 HAS SOPS 10889 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9947.889
AT ITER 2013 NEW BEST:: SOT 27617 SOS 10862 HAS SOPS 10862 HAS SOUS 9910 HAS SOUPS 9910 WITH SCORE 9920.862
AT ITER 2018 NEW BEST:: SOT 27617 SOS 10845 HAS SOPS 10845 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9903.845
AT ITER 2051 NEW BEST:: SOT 27613 SOS 10829 HAS SOPS 10829 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9895.829
AT ITER 2060 NEW BEST:: SOT 27615 SOS 10786 HAS SOPS 10786 HAS SOUS 9859 HAS SOUPS 9859 WITH SCORE 9869.786
AT ITER 2085 NEW BEST:: SOT 27611 SOS 10782 HAS SOPS 10782 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9867.782
AT ITER 2092 NEW BEST:: SOT 27598 SOS 10743 HAS SOPS 10743 HAS SOUS 9818 HAS SOUPS 9818 WITH SCORE 9828.743
AT ITER 2099 NEW BEST:: SOT 27590 SOS 10732 HAS SOPS 10732 HAS SOUS 9806 HAS SOUPS 9806 WITH SCORE 9816.732
AT ITER 2103 NEW BEST:: SOT 27581 SOS 10709 HAS SOPS 10709 HAS SOUS 9783 HAS SOUPS 9783 WITH SCORE 9793.709
AT ITER 2119 NEW BEST:: SOT 27563 SOS 10691 HAS SOPS 10691 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9775.691
AT ITER 2137 NEW BEST:: SOT 27562 SOS 10689 HAS SOPS 10689 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9773.689
AT ITER 2164 NEW BEST:: SOT 27562 SOS 10683 HAS SOPS 10683 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9770.683
AT ITER 2205 NEW BEST:: SOT 27548 SOS 10630 HAS SOPS 10630 HAS SOUS 9731 HAS SOUPS 9731 WITH SCORE 9741.63
AT ITER 2209 NEW BEST:: SOT 27542 SOS 10616 HAS SOPS 10616 HAS SOUS 9717 HAS SOUPS 9717 WITH SCORE 9727.616
AT ITER 2241 NEW BEST:: SOT 27537 SOS 10611 HAS SOPS 10611 HAS SOUS 9712 HAS SOUPS 9712 WITH SCORE 9722.611
AT ITER 2245 NEW BEST:: SOT 27478 SOS 10555 HAS SOPS 10555 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9666.555
AT ITER 2254 NEW BEST:: SOT 27475 SOS 10552 HAS SOPS 10552 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9663.552
AT ITER 2262 NEW BEST:: SOT 27495 SOS 10539 HAS SOPS 10539 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9643.539
AT ITER 2270 NEW BEST:: SOT 27492 SOS 10548 HAS SOPS 10548 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9637.548
AT ITER 2298 NEW BEST:: SOT 27490 SOS 10546 HAS SOPS 10546 HAS SOUS 9597 HAS SOUPS 9597 WITH SCORE 9607.546
AT ITER 2299 NEW BEST:: SOT 27482 SOS 10530 HAS SOPS 10530 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.53
AT ITER 2317 NEW BEST:: SOT 27477 SOS 10525 HAS SOPS 10525 HAS SOUS 9576 HAS SOUPS 9576 WITH SCORE 9586.525
AT ITER 2318 NEW BEST:: SOT 27512 SOS 10472 HAS SOPS 10472 HAS SOUS 9559 HAS SOUPS 9559 WITH SCORE 9569.472
AT ITER 2337 NEW BEST:: SOT 27496 SOS 10395 HAS SOPS 10395 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9537.395
AT ITER 2344 NEW BEST:: SOT 27404 SOS 10252 HAS SOPS 10252 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9407.252
AT ITER 2346 NEW BEST:: SOT 27400 SOS 10246 HAS SOPS 10246 HAS SOUS 9384 HAS SOUPS 9384 WITH SCORE 9394.246
AT ITER 2347 NEW BEST:: SOT 27400 SOS 10228 HAS SOPS 10228 HAS SOUS 9366 HAS SOUPS 9366 WITH SCORE 9376.228
AT ITER 2349 NEW BEST:: SOT 27391 SOS 10219 HAS SOPS 10219 HAS SOUS 9357 HAS SOUPS 9357 WITH SCORE 9367.219
AT ITER 2365 NEW BEST:: SOT 27395 SOS 10223 HAS SOPS 10223 HAS SOUS 9353 HAS SOUPS 9353 WITH SCORE 9363.223
AT ITER 2374 NEW BEST:: SOT 27384 SOS 10212 HAS SOPS 10212 HAS SOUS 9341 HAS SOUPS 9341 WITH SCORE 9351.212
AT ITER 2377 NEW BEST:: SOT 27376 SOS 10204 HAS SOPS 10204 HAS SOUS 9333 HAS SOUPS 9333 WITH SCORE 9343.204
AT ITER 2385 NEW BEST:: SOT 27361 SOS 10173 HAS SOPS 10173 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9312.173
AT ITER 2386 NEW BEST:: SOT 27351 SOS 10143 HAS SOPS 10143 HAS SOUS 9287 HAS SOUPS 9287 WITH SCORE 9297.143
AT ITER 2417 NEW BEST:: SOT 27331 SOS 10118 HAS SOPS 10118 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9266.118
AT ITER 2436 NEW BEST:: SOT 27331 SOS 10118 HAS SOPS 10118 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9263.118
AT ITER 2440 NEW BEST:: SOT 27330 SOS 10108 HAS SOPS 10108 HAS SOUS 9243 HAS SOUPS 9243 WITH SCORE 9253.108
AT ITER 2444 NEW BEST:: SOT 27324 SOS 10096 HAS SOPS 10096 HAS SOUS 9237 HAS SOUPS 9237 WITH SCORE 9247.096
AT ITER 2446 NEW BEST:: SOT 27324 SOS 10085 HAS SOPS 10085 HAS SOUS 9226 HAS SOUPS 9226 WITH SCORE 9236.085
AT ITER 2449 NEW BEST:: SOT 27324 SOS 10081 HAS SOPS 10081 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9232.081
AT ITER 2457 NEW BEST:: SOT 27324 SOS 10079 HAS SOPS 10079 HAS SOUS 9222 HAS SOUPS 9222 WITH SCORE 9232.079
AT ITER 2465 NEW BEST:: SOT 27324 SOS 10079 HAS SOPS 10079 HAS SOUS 9211 HAS SOUPS 9211 WITH SCORE 9221.079
AT ITER 2494 NEW BEST:: SOT 27351 SOS 10073 HAS SOPS 10073 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9215.073
AT ITER 2545 NEW BEST:: SOT 27349 SOS 10072 HAS SOPS 10072 HAS SOUS 9204 HAS SOUPS 9204 WITH SCORE 9214.072
AT ITER 2555 NEW BEST:: SOT 27354 SOS 10084 HAS SOPS 10084 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9208.084
AT ITER 2563 NEW BEST:: SOT 27364 SOS 10091 HAS SOPS 10091 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9202.091
AT ITER 2626 NEW BEST:: SOT 27338 SOS 10058 HAS SOPS 10058 HAS SOUS 9159 HAS SOUPS 9159 WITH SCORE 9169.058
AT ITER 2642 NEW BEST:: SOT 27334 SOS 10056 HAS SOPS 10056 HAS SOUS 9157 HAS SOUPS 9157 WITH SCORE 9167.056
AT ITER 2644 NEW BEST:: SOT 27339 SOS 9993 HAS SOPS 9993 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9154.993
AT ITER 2668 NEW BEST:: SOT 27333 SOS 9987 HAS SOPS 9987 HAS SOUS 9139 HAS SOUPS 9139 WITH SCORE 9148.987
AT ITER 2671 NEW BEST:: SOT 27321 SOS 10004 HAS SOPS 10004 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9142.004
AT ITER 2703 NEW BEST:: SOT 27322 SOS 9989 HAS SOPS 9989 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9121.989
AT ITER 2711 NEW BEST:: SOT 27314 SOS 9891 HAS SOPS 9891 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9105.891
AT ITER 2732 NEW BEST:: SOT 27318 SOS 9885 HAS SOPS 9885 HAS SOUS 9090 HAS SOUPS 9090 WITH SCORE 9099.885
AT ITER 2743 NEW BEST:: SOT 27318 SOS 9881 HAS SOPS 9881 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9095.881
AT ITER 2762 NEW BEST:: SOT 27317 SOS 9874 HAS SOPS 9874 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9090.874
AT ITER 2772 NEW BEST:: SOT 27308 SOS 9856 HAS SOPS 9856 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9072.856
AT ITER 2800 NEW BEST:: SOT 27299 SOS 9821 HAS SOPS 9821 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9037.821
AT ITER 2807 NEW BEST:: SOT 27260 SOS 9760 HAS SOPS 9760 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8976.76
AT ITER 2811 NEW BEST:: SOT 27238 SOS 9738 HAS SOPS 9738 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8965.738
AT ITER 2818 NEW BEST:: SOT 27215 SOS 9728 HAS SOPS 9728 HAS SOUS 8946 HAS SOUPS 8946 WITH SCORE 8955.728
AT ITER 2830 NEW BEST:: SOT 27194 SOS 9707 HAS SOPS 9707 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8937.707
AT ITER 2831 NEW BEST:: SOT 27183 SOS 9700 HAS SOPS 9700 HAS SOUS 8926 HAS SOUPS 8926 WITH SCORE 8935.7
AT ITER 2838 NEW BEST:: SOT 27188 SOS 9681 HAS SOPS 9681 HAS SOUS 8925 HAS SOUPS 8925 WITH SCORE 8934.681
AT ITER 2877 NEW BEST:: SOT 27166 SOS 9656 HAS SOPS 9656 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8909.656
AT ITER 2902 NEW BEST:: SOT 27154 SOS 9608 HAS SOPS 9608 HAS SOUS 8864 HAS SOUPS 8864 WITH SCORE 8873.608
AT ITER 2937 NEW BEST:: SOT 27138 SOS 9566 HAS SOPS 9566 HAS SOUS 8838 HAS SOUPS 8838 WITH SCORE 8847.566
AT ITER 2949 NEW BEST:: SOT 27136 SOS 9564 HAS SOPS 9564 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8845.564
AT ITER 2952 NEW BEST:: SOT 27140 SOS 9568 HAS SOPS 9568 HAS SOUS 8827 HAS SOUPS 8827 WITH SCORE 8836.568
AT ITER 2953 NEW BEST:: SOT 27131 SOS 9559 HAS SOPS 9559 HAS SOUS 8818 HAS SOUPS 8818 WITH SCORE 8827.559
AT ITER 2964 NEW BEST:: SOT 27127 SOS 9551 HAS SOPS 9551 HAS SOUS 8810 HAS SOUPS 8810 WITH SCORE 8819.551
AT ITER 2982 NEW BEST:: SOT 27121 SOS 9545 HAS SOPS 9545 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8818.545
AT ITER 2986 NEW BEST:: SOT 27097 SOS 9501 HAS SOPS 9501 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8776.501
AT ITER 3013 NEW BEST:: SOT 27094 SOS 9489 HAS SOPS 9489 HAS SOUS 8758 HAS SOUPS 8758 WITH SCORE 8767.489
AT ITER 3026 NEW BEST:: SOT 27093 SOS 9482 HAS SOPS 9482 HAS SOUS 8755 HAS SOUPS 8755 WITH SCORE 8764.482
AT ITER 3040 NEW BEST:: SOT 27083 SOS 9469 HAS SOPS 9469 HAS SOUS 8735 HAS SOUPS 8735 WITH SCORE 8744.469
AT ITER 3048 NEW BEST:: SOT 27079 SOS 9465 HAS SOPS 9465 HAS SOUS 8729 HAS SOUPS 8729 WITH SCORE 8738.465
AT ITER 3053 NEW BEST:: SOT 27052 SOS 9443 HAS SOPS 9443 HAS SOUS 8707 HAS SOUPS 8707 WITH SCORE 8716.443
AT ITER 3073 NEW BEST:: SOT 27040 SOS 9440 HAS SOPS 9440 HAS SOUS 8681 HAS SOUPS 8681 WITH SCORE 8690.44
AT ITER 3136 NEW BEST:: SOT 27037 SOS 9437 HAS SOPS 9437 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8687.437
AT ITER 3172 NEW BEST:: SOT 27028 SOS 9425 HAS SOPS 9425 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8676.425
AT ITER 3194 NEW BEST:: SOT 27044 SOS 9407 HAS SOPS 9407 HAS SOUS 8665 HAS SOUPS 8665 WITH SCORE 8674.407
AT ITER 3207 NEW BEST:: SOT 27022 SOS 9364 HAS SOPS 9364 HAS SOUS 8631 HAS SOUPS 8631 WITH SCORE 8640.364
AT ITER 3254 NEW BEST:: SOT 27021 SOS 9363 HAS SOPS 9363 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8627.363
AT ITER 3256 NEW BEST:: SOT 27018 SOS 9360 HAS SOPS 9360 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8624.36
AT ITER 3269 NEW BEST:: SOT 27016 SOS 9352 HAS SOPS 9352 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8611.352
AT ITER 3317 NEW BEST:: SOT 27018 SOS 9356 HAS SOPS 9356 HAS SOUS 8601 HAS SOUPS 8601 WITH SCORE 8610.356
AT ITER 3338 NEW BEST:: SOT 27002 SOS 9340 HAS SOPS 9340 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.34
AT ITER 3367 NEW BEST:: SOT 26993 SOS 9344 HAS SOPS 9344 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8583.344
AT ITER 3384 NEW BEST:: SOT 26987 SOS 9335 HAS SOPS 9335 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8571.335
AT ITER 3408 NEW BEST:: SOT 26982 SOS 9316 HAS SOPS 9316 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8552.316
AT ITER 3417 NEW BEST:: SOT 26980 SOS 9313 HAS SOPS 9313 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.313
AT ITER 3562 NEW BEST:: SOT 26979 SOS 9312 HAS SOPS 9312 HAS SOUS 8539 HAS SOUPS 8539 WITH SCORE 8548.312
AT ITER 3585 NEW BEST:: SOT 26963 SOS 9321 HAS SOPS 9321 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8536.321
AT ITER 3586 NEW BEST:: SOT 26955 SOS 9313 HAS SOPS 9313 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8528.313
AT ITER 3616 NEW BEST:: SOT 26954 SOS 9311 HAS SOPS 9311 HAS SOUS 8517 HAS SOUPS 8517 WITH SCORE 8526.311
AT ITER 3661 NEW BEST:: SOT 26951 SOS 9304 HAS SOPS 9304 HAS SOUS 8514 HAS SOUPS 8514 WITH SCORE 8523.304
AT ITER 3679 NEW BEST:: SOT 26937 SOS 9285 HAS SOPS 9285 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8504.285
AT ITER 3687 NEW BEST:: SOT 26937 SOS 9282 HAS SOPS 9282 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8501.282
AT ITER 3713 NEW BEST:: SOT 26937 SOS 9275 HAS SOPS 9275 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8501.275
AT ITER 3738 NEW BEST:: SOT 26925 SOS 9245 HAS SOPS 9245 HAS SOUS 8486 HAS SOUPS 8486 WITH SCORE 8495.245
AT ITER 3746 NEW BEST:: SOT 26917 SOS 9229 HAS SOPS 9229 HAS SOUS 8478 HAS SOUPS 8478 WITH SCORE 8487.229
AT ITER 3781 NEW BEST:: SOT 26906 SOS 9174 HAS SOPS 9174 HAS SOUS 8442 HAS SOUPS 8442 WITH SCORE 8451.174
AT ITER 3787 NEW BEST:: SOT 26906 SOS 9174 HAS SOPS 9174 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8449.174
AT ITER 3797 NEW BEST:: SOT 26888 SOS 9168 HAS SOPS 9168 HAS SOUS 8426 HAS SOUPS 8426 WITH SCORE 8435.168
AT ITER 3827 NEW BEST:: SOT 26885 SOS 9189 HAS SOPS 9189 HAS SOUS 8423 HAS SOUPS 8423 WITH SCORE 8432.189
AT ITER 3909 NEW BEST:: SOT 26895 SOS 9114 HAS SOPS 9114 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8360.114
AT ITER 3926 NEW BEST:: SOT 26888 SOS 9100 HAS SOPS 9100 HAS SOUS 8337 HAS SOUPS 8337 WITH SCORE 8346.1
AT ITER 3944 NEW BEST:: SOT 26888 SOS 9097 HAS SOPS 9097 HAS SOUS 8334 HAS SOUPS 8334 WITH SCORE 8343.097
AT ITER 3966 NEW BEST:: SOT 26876 SOS 9066 HAS SOPS 9066 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8327.066
AT ITER 3976 NEW BEST:: SOT 26878 SOS 9049 HAS SOPS 9049 HAS SOUS 8313 HAS SOUPS 8313 WITH SCORE 8322.049
AT ITER 3994 NEW BEST:: SOT 26870 SOS 9009 HAS SOPS 9009 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8302.009
AT ITER 4075 NEW BEST:: SOT 26883 SOS 9003 HAS SOPS 9003 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8296.003
AT ITER 4140 NEW BEST:: SOT 26875 SOS 8993 HAS SOPS 8993 HAS SOUS 8277 HAS SOUPS 8277 WITH SCORE 8285.993
AT ITER 4176 NEW BEST:: SOT 26873 SOS 8983 HAS SOPS 8983 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8278.983
AT ITER 4219 NEW BEST:: SOT 26870 SOS 8977 HAS SOPS 8977 HAS SOUS 8261 HAS SOUPS 8261 WITH SCORE 8269.977
AT ITER 4231 NEW BEST:: SOT 26867 SOS 8966 HAS SOPS 8966 HAS SOUS 8250 HAS SOUPS 8250 WITH SCORE 8258.966
AT ITER 4247 NEW BEST:: SOT 26862 SOS 8950 HAS SOPS 8950 HAS SOUS 8239 HAS SOUPS 8239 WITH SCORE 8247.95
AT ITER 4255 NEW BEST:: SOT 26888 SOS 8947 HAS SOPS 8947 HAS SOUS 8236 HAS SOUPS 8236 WITH SCORE 8244.947
AT ITER 4282 NEW BEST:: SOT 26878 SOS 8917 HAS SOPS 8917 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8214.917
AT ITER 4335 NEW BEST:: SOT 26881 SOS 8916 HAS SOPS 8916 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8213.916
AT ITER 4367 NEW BEST:: SOT 26878 SOS 8908 HAS SOPS 8908 HAS SOUS 8202 HAS SOUPS 8202 WITH SCORE 8210.908
AT ITER 4378 NEW BEST:: SOT 26877 SOS 8893 HAS SOPS 8893 HAS SOUS 8187 HAS SOUPS 8187 WITH SCORE 8195.893
AT ITER 4417 NEW BEST:: SOT 26861 SOS 8877 HAS SOPS 8877 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8179.877
AT ITER 4418 NEW BEST:: SOT 26855 SOS 8871 HAS SOPS 8871 HAS SOUS 8165 HAS SOUPS 8165 WITH SCORE 8173.871
AT ITER 4431 NEW BEST:: SOT 26836 SOS 8824 HAS SOPS 8824 HAS SOUS 8142 HAS SOUPS 8142 WITH SCORE 8150.824
AT ITER 4435 NEW BEST:: SOT 26830 SOS 8811 HAS SOPS 8811 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8137.811
AT ITER 4447 NEW BEST:: SOT 26830 SOS 8770 HAS SOPS 8770 HAS SOUS 8124 HAS SOUPS 8124 WITH SCORE 8132.77
AT ITER 4462 NEW BEST:: SOT 26820 SOS 8756 HAS SOPS 8756 HAS SOUS 8110 HAS SOUPS 8110 WITH SCORE 8118.756
AT ITER 4471 NEW BEST:: SOT 26833 SOS 8752 HAS SOPS 8752 HAS SOUS 8106 HAS SOUPS 8106 WITH SCORE 8114.752
AT ITER 4476 NEW BEST:: SOT 26833 SOS 8752 HAS SOPS 8752 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8112.752
AT ITER 4487 NEW BEST:: SOT 26825 SOS 8744 HAS SOPS 8744 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8104.744
AT ITER 4488 NEW BEST:: SOT 26825 SOS 8752 HAS SOPS 8752 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8085.752
AT ITER 4495 NEW BEST:: SOT 26825 SOS 8723 HAS SOPS 8723 HAS SOUS 8064 HAS SOUPS 8064 WITH SCORE 8072.723
AT ITER 4519 NEW BEST:: SOT 26822 SOS 8716 HAS SOPS 8716 HAS SOUS 8059 HAS SOUPS 8059 WITH SCORE 8067.716
AT ITER 4532 NEW BEST:: SOT 26820 SOS 8734 HAS SOPS 8734 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8065.734
AT ITER 4550 NEW BEST:: SOT 26819 SOS 8732 HAS SOPS 8732 HAS SOUS 8055 HAS SOUPS 8055 WITH SCORE 8063.732
AT ITER 4628 NEW BEST:: SOT 26815 SOS 8728 HAS SOPS 8728 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8059.728
AT ITER 4684 NEW BEST:: SOT 26803 SOS 8692 HAS SOPS 8692 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8035.692
AT ITER 4700 NEW BEST:: SOT 26803 SOS 8676 HAS SOPS 8676 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8035.676
AT ITER 4812 NEW BEST:: SOT 26803 SOS 8672 HAS SOPS 8672 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8031.672
AT ITER 4823 NEW BEST:: SOT 26797 SOS 8666 HAS SOPS 8666 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8019.666
AT ITER 4826 NEW BEST:: SOT 26794 SOS 8663 HAS SOPS 8663 HAS SOUS 8011 HAS SOUPS 8011 WITH SCORE 8019.663
AT ITER 4828 NEW BEST:: SOT 26793 SOS 8662 HAS SOPS 8662 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8018.662
AT ITER 4834 NEW BEST:: SOT 26801 SOS 8650 HAS SOPS 8650 HAS SOUS 7998 HAS SOUPS 7998 WITH SCORE 8006.65
AT ITER 4838 NEW BEST:: SOT 26791 SOS 8646 HAS SOPS 8646 HAS SOUS 7995 HAS SOUPS 7995 WITH SCORE 8003.646
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-00 (AU( (AG( potential( ( 1 ) <= (tk(P129)) ))),(AG( potential( (tk(P67)) <= (tk(P20)) ))) ))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-01 ( (AG( (! potential( ( 3 ) <= (tk(P192)) )))) & (AG( (EG( potential( (tk(P60)) <= (tk(P103)) ))))) )
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-02 ( (! (EG( ( potential( (tk(P53)) <= (tk(P203)) ) | potential( (tk(P242)) <= (tk(P30)) ) )))) | ( potential( ( 2 ) <= (tk(P69)) ) | (! (EF(potential( ( 2 ) <= (tk(P72)) )))) ) )
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-03 ( ( (EF(potential( ( 2 ) <= (tk(P47)) ))) & (EU( potential( ( 1 ) <= (tk(P42)) ),potential( ( 1 ) <= (tk(P189)) ) )) ) | ( ( ( potential( (tk(P185)) <= (tk(P42)) ) | (! potential( (tk(P50)) <= (tk(P159)) )) ) & (! ( potential( ( 3 ) <= (tk(P160)) ) | potential( ( 2 ) <= (tk(P61)) ) )) ) & (AG( potential( (tk(P45)) <= (tk(P187)) ))) ) )
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-04 (EU( ( potential( (tk(P102)) <= (tk(P59)) ) & potential( (tk(P138)) <= (tk(P189)) ) ),( (! potential( ( 3 ) <= (tk(P76)) )) & (! potential( (tk(P239)) <= (tk(P47)) )) ) ))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-05 ( potential( ( 2 ) <= (tk(P51)) ) | (AG( (AF(potential( (tk(P107)) <= (tk(P52)) ))))) )
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-06 ( (! ( ( potential( ( 1 ) <= (tk(P24)) ) | ( potential( ( 1 ) <= (tk(P251)) ) & potential( (tk(P246)) <= (tk(P130)) ) ) ) | (AG( potential( (tk(P229)) <= (tk(P24)) ))) )) | ( (! (! ( potential( (tk(P194)) <= (tk(P122)) ) | potential( (tk(P183)) <= (tk(P69)) ) ))) & potential( ( 2 ) <= (tk(P108)) ) ) )
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-07 (EF((AX( (! potential( (tk(P36)) <= (tk(P211)) ))))))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-08 (EX( (EF((! potential( (tk(P50)) <= (tk(P211)) ))))))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-09 (AG( (! ( ( potential( (tk(P76)) <= (tk(P12)) ) & potential( ( 3 ) <= (tk(P242)) ) ) & ( potential( (tk(P139)) <= (tk(P100)) ) & potential( ( 1 ) <= (tk(P245)) ) ) ))))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-10 (EF((EX( ( potential( ( 2 ) <= (tk(P65)) ) & potential( ( 2 ) <= (tk(P15)) ) )))))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-11 (AG( (AX( potential( ( 1 ) <= (tk(P111)) )))))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-12 (AX( ( (EF(potential( (tk(P36)) <= (tk(P173)) ))) & (AG( potential( ( 1 ) <= (tk(P36)) ))) )))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-13 (EF(( ( potential( (tk(P248)) <= (tk(P118)) ) | ( potential( ( 2 ) <= (tk(P8)) ) | potential( (tk(P25)) <= (tk(P25)) ) ) ) & ( ( potential( (tk(P48)) <= (tk(P87)) ) | potential( ( 1 ) <= (tk(P53)) ) ) & potential( ( 3 ) <= (tk(P249)) ) ) )))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-14 (AX( (AG( (! potential( ( 2 ) <= (tk(P30)) ))))))
PROPERTY: ShieldPPPt-PT-010A-CTLCardinality-15 (EF((AG( ( potential( (tk(P100)) <= (tk(P87)) ) & potential( (tk(P126)) <= (tk(P97)) ) )))))

BK_TIME_CONFINEMENT_REACHED

--------------------
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="ShieldPPPt-PT-010A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPt-PT-010A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469800651"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPt-PT-010A.tgz
mv ShieldPPPt-PT-010A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;