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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 6.7K Feb 26 09:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 76K Feb 26 09:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 26 09:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 09:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:28 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:28 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:28 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 09:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 151K Feb 26 09:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 09:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 09:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 81K Mar 5 18:23 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 1678806318832

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

Filename model.pnml
Petri model created: 165 places, 355 transitions, 1069 arcs.
AT ITER 0 NEW BEST:: SOT 39460 SOS 33632 HAS SOPS 33632 HAS SOUS 16750 HAS SOUPS 16750 WITH SCORE 16783.632
AT ITER 3 NEW BEST:: SOT 39314 SOS 33331 HAS SOPS 33331 HAS SOUS 16720 HAS SOUPS 16720 WITH SCORE 16753.331
AT ITER 4 NEW BEST:: SOT 39570 SOS 32994 HAS SOPS 32994 HAS SOUS 16526 HAS SOUPS 16526 WITH SCORE 16558.994
AT ITER 5 NEW BEST:: SOT 39450 SOS 32874 HAS SOPS 32874 HAS SOUS 16432 HAS SOUPS 16432 WITH SCORE 16464.874
AT ITER 7 NEW BEST:: SOT 39603 SOS 32571 HAS SOPS 32571 HAS SOUS 16418 HAS SOUPS 16418 WITH SCORE 16450.571
AT ITER 8 NEW BEST:: SOT 39148 SOS 32116 HAS SOPS 32116 HAS SOUS 16157 HAS SOUPS 16157 WITH SCORE 16189.116
AT ITER 13 NEW BEST:: SOT 38679 SOS 31304 HAS SOPS 31304 HAS SOUS 15733 HAS SOUPS 15733 WITH SCORE 15764.304
AT ITER 19 NEW BEST:: SOT 38594 SOS 31219 HAS SOPS 31219 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15681.219
AT ITER 21 NEW BEST:: SOT 38790 SOS 31077 HAS SOPS 31077 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15662.077
AT ITER 25 NEW BEST:: SOT 38641 SOS 30928 HAS SOPS 30928 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15512.928
AT ITER 32 NEW BEST:: SOT 38239 SOS 30526 HAS SOPS 30526 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15338.526
AT ITER 36 NEW BEST:: SOT 37963 SOS 30250 HAS SOPS 30250 HAS SOUS 15212 HAS SOUPS 15212 WITH SCORE 15242.25
AT ITER 37 NEW BEST:: SOT 37921 SOS 30204 HAS SOPS 30204 HAS SOUS 15160 HAS SOUPS 15160 WITH SCORE 15190.204
AT ITER 40 NEW BEST:: SOT 37668 SOS 30375 HAS SOPS 30375 HAS SOUS 15143 HAS SOUPS 15143 WITH SCORE 15173.375
AT ITER 41 NEW BEST:: SOT 37668 SOS 30375 HAS SOPS 30375 HAS SOUS 15114 HAS SOUPS 15114 WITH SCORE 15144.375
AT ITER 46 NEW BEST:: SOT 37275 SOS 29982 HAS SOPS 29982 HAS SOUS 14838 HAS SOUPS 14838 WITH SCORE 14867.982
AT ITER 47 NEW BEST:: SOT 37237 SOS 29944 HAS SOPS 29944 HAS SOUS 14830 HAS SOUPS 14830 WITH SCORE 14859.944
AT ITER 49 NEW BEST:: SOT 37069 SOS 29776 HAS SOPS 29776 HAS SOUS 14661 HAS SOUPS 14661 WITH SCORE 14690.776
AT ITER 50 NEW BEST:: SOT 36468 SOS 29113 HAS SOPS 29113 HAS SOUS 14427 HAS SOUPS 14427 WITH SCORE 14456.113
AT ITER 51 NEW BEST:: SOT 36044 SOS 28689 HAS SOPS 28689 HAS SOUS 14195 HAS SOUPS 14195 WITH SCORE 14223.689
AT ITER 53 NEW BEST:: SOT 35987 SOS 28352 HAS SOPS 28352 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13984.352
AT ITER 61 NEW BEST:: SOT 35887 SOS 28252 HAS SOPS 28252 HAS SOUS 13896 HAS SOUPS 13896 WITH SCORE 13924.252
AT ITER 64 NEW BEST:: SOT 35887 SOS 26994 HAS SOPS 26876 HAS SOUS 13895 HAS SOUPS 13777 WITH SCORE 13803.994
AT ITER 66 NEW BEST:: SOT 35811 SOS 26854 HAS SOPS 26736 HAS SOUS 13635 HAS SOUPS 13517 WITH SCORE 13543.854
AT ITER 70 NEW BEST:: SOT 35782 SOS 26825 HAS SOPS 26707 HAS SOUS 13577 HAS SOUPS 13459 WITH SCORE 13485.825
AT ITER 74 NEW BEST:: SOT 35536 SOS 26579 HAS SOPS 26461 HAS SOUS 13495 HAS SOUPS 13377 WITH SCORE 13403.579
AT ITER 77 NEW BEST:: SOT 35348 SOS 26391 HAS SOPS 26273 HAS SOUS 13487 HAS SOUPS 13369 WITH SCORE 13395.391
AT ITER 78 NEW BEST:: SOT 34968 SOS 26011 HAS SOPS 25893 HAS SOUS 13345 HAS SOUPS 13227 WITH SCORE 13253.011
AT ITER 80 NEW BEST:: SOT 34960 SOS 25991 HAS SOPS 25873 HAS SOUS 13337 HAS SOUPS 13219 WITH SCORE 13244.991
AT ITER 81 NEW BEST:: SOT 34713 SOS 25686 HAS SOPS 25568 HAS SOUS 13088 HAS SOUPS 12970 WITH SCORE 12995.686
AT ITER 83 NEW BEST:: SOT 34691 SOS 25630 HAS SOPS 25512 HAS SOUS 13088 HAS SOUPS 12970 WITH SCORE 12995.63
AT ITER 84 NEW BEST:: SOT 34655 SOS 25531 HAS SOPS 25413 HAS SOUS 13088 HAS SOUPS 12970 WITH SCORE 12995.531
AT ITER 89 NEW BEST:: SOT 34875 SOS 25313 HAS SOPS 25195 HAS SOUS 13031 HAS SOUPS 12913 WITH SCORE 12938.313
AT ITER 90 NEW BEST:: SOT 34843 SOS 25281 HAS SOPS 25163 HAS SOUS 13008 HAS SOUPS 12890 WITH SCORE 12915.281
AT ITER 91 NEW BEST:: SOT 34942 SOS 25380 HAS SOPS 25262 HAS SOUS 12916 HAS SOUPS 12798 WITH SCORE 12823.38
AT ITER 96 NEW BEST:: SOT 34938 SOS 25381 HAS SOPS 25263 HAS SOUS 12915 HAS SOUPS 12797 WITH SCORE 12822.381
AT ITER 98 NEW BEST:: SOT 34911 SOS 25240 HAS SOPS 25122 HAS SOUS 12889 HAS SOUPS 12771 WITH SCORE 12796.24
AT ITER 100 NEW BEST:: SOT 34833 SOS 25196 HAS SOPS 25078 HAS SOUS 12800 HAS SOUPS 12682 WITH SCORE 12707.196
AT ITER 106 NEW BEST:: SOT 34415 SOS 24706 HAS SOPS 24588 HAS SOUS 12593 HAS SOUPS 12475 WITH SCORE 12499.706
AT ITER 112 NEW BEST:: SOT 34127 SOS 24418 HAS SOPS 24300 HAS SOUS 12455 HAS SOUPS 12337 WITH SCORE 12361.418
AT ITER 113 NEW BEST:: SOT 34000 SOS 24332 HAS SOPS 24173 HAS SOUS 12310 HAS SOUPS 12151 WITH SCORE 12175.332
AT ITER 115 NEW BEST:: SOT 34000 SOS 24317 HAS SOPS 24158 HAS SOUS 12310 HAS SOUPS 12151 WITH SCORE 12175.317
AT ITER 116 NEW BEST:: SOT 33992 SOS 24261 HAS SOPS 24102 HAS SOUS 12294 HAS SOUPS 12135 WITH SCORE 12159.261
AT ITER 117 NEW BEST:: SOT 34126 SOS 24241 HAS SOPS 24082 HAS SOUS 12255 HAS SOUPS 12096 WITH SCORE 12120.241
AT ITER 118 NEW BEST:: SOT 34137 SOS 24252 HAS SOPS 24093 HAS SOUS 12253 HAS SOUPS 12094 WITH SCORE 12118.252
AT ITER 121 NEW BEST:: SOT 34137 SOS 23764 HAS SOPS 23605 HAS SOUS 12252 HAS SOUPS 12093 WITH SCORE 12116.764
AT ITER 127 NEW BEST:: SOT 33849 SOS 23616 HAS SOPS 23457 HAS SOUS 12237 HAS SOUPS 12078 WITH SCORE 12101.616
AT ITER 134 NEW BEST:: SOT 33887 SOS 23587 HAS SOPS 23428 HAS SOUS 12215 HAS SOUPS 12056 WITH SCORE 12079.587
AT ITER 135 NEW BEST:: SOT 34018 SOS 23472 HAS SOPS 23313 HAS SOUS 12213 HAS SOUPS 12054 WITH SCORE 12077.472
AT ITER 137 NEW BEST:: SOT 33875 SOS 23329 HAS SOPS 23170 HAS SOUS 12149 HAS SOUPS 11990 WITH SCORE 12013.329
AT ITER 141 NEW BEST:: SOT 33858 SOS 23312 HAS SOPS 23153 HAS SOUS 12138 HAS SOUPS 11979 WITH SCORE 12002.312
AT ITER 142 NEW BEST:: SOT 33854 SOS 23290 HAS SOPS 23149 HAS SOUS 12112 HAS SOUPS 11971 WITH SCORE 11994.29
AT ITER 146 NEW BEST:: SOT 33923 SOS 23148 HAS SOPS 23007 HAS SOUS 12110 HAS SOUPS 11969 WITH SCORE 11992.148
AT ITER 148 NEW BEST:: SOT 33749 SOS 22986 HAS SOPS 22845 HAS SOUS 12064 HAS SOUPS 11923 WITH SCORE 11945.986
AT ITER 150 NEW BEST:: SOT 33480 SOS 22877 HAS SOPS 22774 HAS SOUS 11947 HAS SOUPS 11844 WITH SCORE 11866.877
AT ITER 151 NEW BEST:: SOT 33494 SOS 22767 HAS SOPS 22664 HAS SOUS 11832 HAS SOUPS 11729 WITH SCORE 11751.767
AT ITER 153 NEW BEST:: SOT 33690 SOS 22663 HAS SOPS 22560 HAS SOUS 11831 HAS SOUPS 11728 WITH SCORE 11750.663
AT ITER 154 NEW BEST:: SOT 33682 SOS 22655 HAS SOPS 22552 HAS SOUS 11823 HAS SOUPS 11720 WITH SCORE 11742.655
AT ITER 157 NEW BEST:: SOT 33678 SOS 22651 HAS SOPS 22548 HAS SOUS 11819 HAS SOUPS 11716 WITH SCORE 11738.651
AT ITER 159 NEW BEST:: SOT 33524 SOS 22497 HAS SOPS 22394 HAS SOUS 11731 HAS SOUPS 11628 WITH SCORE 11650.497
AT ITER 160 NEW BEST:: SOT 33492 SOS 22465 HAS SOPS 22362 HAS SOUS 11710 HAS SOUPS 11607 WITH SCORE 11629.465
AT ITER 165 NEW BEST:: SOT 33534 SOS 22368 HAS SOPS 22265 HAS SOUS 11649 HAS SOUPS 11546 WITH SCORE 11568.368
AT ITER 166 NEW BEST:: SOT 33534 SOS 22364 HAS SOPS 22261 HAS SOUS 11649 HAS SOUPS 11546 WITH SCORE 11568.364
AT ITER 167 NEW BEST:: SOT 33313 SOS 22143 HAS SOPS 22040 HAS SOUS 11398 HAS SOUPS 11295 WITH SCORE 11317.143
AT ITER 175 NEW BEST:: SOT 33343 SOS 22223 HAS SOPS 22120 HAS SOUS 11388 HAS SOUPS 11285 WITH SCORE 11307.223
AT ITER 179 NEW BEST:: SOT 33313 SOS 22193 HAS SOPS 22090 HAS SOUS 11306 HAS SOUPS 11203 WITH SCORE 11225.193
AT ITER 182 NEW BEST:: SOT 33222 SOS 22102 HAS SOPS 21999 HAS SOUS 11242 HAS SOUPS 11139 WITH SCORE 11161.102
AT ITER 194 NEW BEST:: SOT 33345 SOS 21820 HAS SOPS 21717 HAS SOUS 11092 HAS SOUPS 10989 WITH SCORE 11010.82
AT ITER 197 NEW BEST:: SOT 33301 SOS 21666 HAS SOPS 21563 HAS SOUS 11092 HAS SOUPS 10989 WITH SCORE 11010.666
AT ITER 202 NEW BEST:: SOT 33301 SOS 21702 HAS SOPS 21599 HAS SOUS 11087 HAS SOUPS 10984 WITH SCORE 11005.702
AT ITER 208 NEW BEST:: SOT 33346 SOS 21727 HAS SOPS 21624 HAS SOUS 11079 HAS SOUPS 10976 WITH SCORE 10997.727
AT ITER 215 NEW BEST:: SOT 33215 SOS 21609 HAS SOPS 21506 HAS SOUS 11058 HAS SOUPS 10955 WITH SCORE 10976.609
AT ITER 216 NEW BEST:: SOT 33118 SOS 21455 HAS SOPS 21352 HAS SOUS 11021 HAS SOUPS 10918 WITH SCORE 10939.455
AT ITER 217 NEW BEST:: SOT 33069 SOS 21399 HAS SOPS 21296 HAS SOUS 11007 HAS SOUPS 10904 WITH SCORE 10925.399
AT ITER 218 NEW BEST:: SOT 32753 SOS 20521 HAS SOPS 20418 HAS SOUS 10900 HAS SOUPS 10797 WITH SCORE 10817.521
AT ITER 222 NEW BEST:: SOT 32715 SOS 20483 HAS SOPS 20380 HAS SOUS 10872 HAS SOUPS 10769 WITH SCORE 10789.483
AT ITER 226 NEW BEST:: SOT 32685 SOS 20453 HAS SOPS 20350 HAS SOUS 10812 HAS SOUPS 10709 WITH SCORE 10729.453
AT ITER 232 NEW BEST:: SOT 32529 SOS 20656 HAS SOPS 20615 HAS SOUS 10654 HAS SOUPS 10613 WITH SCORE 10633.656
AT ITER 234 NEW BEST:: SOT 32496 SOS 20641 HAS SOPS 20581 HAS SOUS 10654 HAS SOUPS 10594 WITH SCORE 10614.641
AT ITER 237 NEW BEST:: SOT 32476 SOS 20621 HAS SOPS 20561 HAS SOUS 10654 HAS SOUPS 10594 WITH SCORE 10614.621
AT ITER 242 NEW BEST:: SOT 32471 SOS 20616 HAS SOPS 20556 HAS SOUS 10639 HAS SOUPS 10579 WITH SCORE 10599.616
AT ITER 243 NEW BEST:: SOT 32389 SOS 20570 HAS SOPS 20510 HAS SOUS 10522 HAS SOUPS 10462 WITH SCORE 10482.57
AT ITER 246 NEW BEST:: SOT 32376 SOS 20528 HAS SOPS 20468 HAS SOUS 10479 HAS SOUPS 10419 WITH SCORE 10439.528
AT ITER 255 NEW BEST:: SOT 32638 SOS 20448 HAS SOPS 20388 HAS SOUS 10461 HAS SOUPS 10401 WITH SCORE 10421.448
AT ITER 261 NEW BEST:: SOT 32611 SOS 19915 HAS SOPS 19855 HAS SOUS 10362 HAS SOUPS 10302 WITH SCORE 10321.915
AT ITER 262 NEW BEST:: SOT 32634 SOS 19924 HAS SOPS 19864 HAS SOUS 10347 HAS SOUPS 10287 WITH SCORE 10306.924
AT ITER 264 NEW BEST:: SOT 32634 SOS 19924 HAS SOPS 19864 HAS SOUS 10346 HAS SOUPS 10286 WITH SCORE 10305.924
AT ITER 266 NEW BEST:: SOT 32333 SOS 19604 HAS SOPS 19563 HAS SOUS 10189 HAS SOUPS 10148 WITH SCORE 10167.604
AT ITER 270 NEW BEST:: SOT 32068 SOS 19339 HAS SOPS 19298 HAS SOUS 10121 HAS SOUPS 10080 WITH SCORE 10099.339
AT ITER 274 NEW BEST:: SOT 32146 SOS 19159 HAS SOPS 19118 HAS SOUS 10087 HAS SOUPS 10046 WITH SCORE 10065.159
AT ITER 276 NEW BEST:: SOT 32095 SOS 19108 HAS SOPS 19067 HAS SOUS 10026 HAS SOUPS 9985 WITH SCORE 10004.108
AT ITER 280 NEW BEST:: SOT 32095 SOS 19108 HAS SOPS 19067 HAS SOUS 10023 HAS SOUPS 9982 WITH SCORE 10001.108
AT ITER 282 NEW BEST:: SOT 32071 SOS 19072 HAS SOPS 19031 HAS SOUS 10011 HAS SOUPS 9970 WITH SCORE 9989.072
AT ITER 291 NEW BEST:: SOT 32071 SOS 18866 HAS SOPS 18825 HAS SOUS 10009 HAS SOUPS 9968 WITH SCORE 9986.866
AT ITER 292 NEW BEST:: SOT 32011 SOS 18732 HAS SOPS 18691 HAS SOUS 9977 HAS SOUPS 9936 WITH SCORE 9954.732
AT ITER 294 NEW BEST:: SOT 32005 SOS 18726 HAS SOPS 18685 HAS SOUS 9971 HAS SOUPS 9930 WITH SCORE 9948.726
AT ITER 297 NEW BEST:: SOT 31832 SOS 18630 HAS SOPS 18600 HAS SOUS 9927 HAS SOUPS 9897 WITH SCORE 9915.63
AT ITER 300 NEW BEST:: SOT 31607 SOS 18405 HAS SOPS 18375 HAS SOUS 9856 HAS SOUPS 9826 WITH SCORE 9844.405
AT ITER 302 NEW BEST:: SOT 31599 SOS 18389 HAS SOPS 18359 HAS SOUS 9840 HAS SOUPS 9810 WITH SCORE 9828.389
AT ITER 304 NEW BEST:: SOT 31507 SOS 18297 HAS SOPS 18267 HAS SOUS 9805 HAS SOUPS 9775 WITH SCORE 9793.297
AT ITER 306 NEW BEST:: SOT 31440 SOS 18230 HAS SOPS 18200 HAS SOUS 9802 HAS SOUPS 9772 WITH SCORE 9790.23
AT ITER 313 NEW BEST:: SOT 31386 SOS 18275 HAS SOPS 18245 HAS SOUS 9790 HAS SOUPS 9760 WITH SCORE 9778.275
AT ITER 316 NEW BEST:: SOT 31284 SOS 17998 HAS SOPS 17968 HAS SOUS 9701 HAS SOUPS 9671 WITH SCORE 9688.998
AT ITER 318 NEW BEST:: SOT 31236 SOS 17950 HAS SOPS 17920 HAS SOUS 9674 HAS SOUPS 9644 WITH SCORE 9661.95
AT ITER 326 NEW BEST:: SOT 31201 SOS 17864 HAS SOPS 17834 HAS SOUS 9580 HAS SOUPS 9550 WITH SCORE 9567.864
AT ITER 328 NEW BEST:: SOT 31170 SOS 17817 HAS SOPS 17787 HAS SOUS 9577 HAS SOUPS 9547 WITH SCORE 9564.817
AT ITER 331 NEW BEST:: SOT 31182 SOS 17787 HAS SOPS 17751 HAS SOUS 9565 HAS SOUPS 9529 WITH SCORE 9546.787
AT ITER 336 NEW BEST:: SOT 31187 SOS 17787 HAS SOPS 17751 HAS SOUS 9561 HAS SOUPS 9525 WITH SCORE 9542.787
AT ITER 341 NEW BEST:: SOT 31173 SOS 17773 HAS SOPS 17737 HAS SOUS 9519 HAS SOUPS 9483 WITH SCORE 9500.773
AT ITER 342 NEW BEST:: SOT 31151 SOS 17751 HAS SOPS 17715 HAS SOUS 9488 HAS SOUPS 9452 WITH SCORE 9469.751
AT ITER 346 NEW BEST:: SOT 31150 SOS 17750 HAS SOPS 17714 HAS SOUS 9485 HAS SOUPS 9449 WITH SCORE 9466.75
AT ITER 350 NEW BEST:: SOT 30817 SOS 17417 HAS SOPS 17381 HAS SOUS 9207 HAS SOUPS 9171 WITH SCORE 9188.417
AT ITER 354 NEW BEST:: SOT 30793 SOS 17393 HAS SOPS 17357 HAS SOUS 9152 HAS SOUPS 9116 WITH SCORE 9133.393
AT ITER 356 NEW BEST:: SOT 30768 SOS 17368 HAS SOPS 17332 HAS SOUS 9140 HAS SOUPS 9104 WITH SCORE 9121.368
AT ITER 359 NEW BEST:: SOT 30806 SOS 17449 HAS SOPS 17413 HAS SOUS 9139 HAS SOUPS 9103 WITH SCORE 9120.449
AT ITER 361 NEW BEST:: SOT 30713 SOS 17366 HAS SOPS 17330 HAS SOUS 9080 HAS SOUPS 9044 WITH SCORE 9061.366
AT ITER 362 NEW BEST:: SOT 30705 SOS 17358 HAS SOPS 17322 HAS SOUS 9064 HAS SOUPS 9028 WITH SCORE 9045.358
AT ITER 363 NEW BEST:: SOT 30713 SOS 17208 HAS SOPS 17172 HAS SOUS 9004 HAS SOUPS 8968 WITH SCORE 8985.208
AT ITER 366 NEW BEST:: SOT 30533 SOS 16803 HAS SOPS 16767 HAS SOUS 8900 HAS SOUPS 8864 WITH SCORE 8880.803
AT ITER 372 NEW BEST:: SOT 30532 SOS 16802 HAS SOPS 16766 HAS SOUS 8899 HAS SOUPS 8863 WITH SCORE 8879.802
AT ITER 373 NEW BEST:: SOT 30310 SOS 16578 HAS SOPS 16542 HAS SOUS 8762 HAS SOUPS 8726 WITH SCORE 8742.578
AT ITER 389 NEW BEST:: SOT 30312 SOS 16582 HAS SOPS 16546 HAS SOUS 8726 HAS SOUPS 8690 WITH SCORE 8706.582
AT ITER 401 NEW BEST:: SOT 30289 SOS 16229 HAS SOPS 16193 HAS SOUS 8680 HAS SOUPS 8644 WITH SCORE 8660.229
AT ITER 403 NEW BEST:: SOT 30121 SOS 16125 HAS SOPS 16089 HAS SOUS 8600 HAS SOUPS 8564 WITH SCORE 8580.125
AT ITER 407 NEW BEST:: SOT 30040 SOS 15925 HAS SOPS 15889 HAS SOUS 8459 HAS SOUPS 8423 WITH SCORE 8438.925
AT ITER 409 NEW BEST:: SOT 30036 SOS 15921 HAS SOPS 15885 HAS SOUS 8453 HAS SOUPS 8417 WITH SCORE 8432.921
AT ITER 411 NEW BEST:: SOT 30006 SOS 15741 HAS SOPS 15705 HAS SOUS 8430 HAS SOUPS 8394 WITH SCORE 8409.741
AT ITER 414 NEW BEST:: SOT 30008 SOS 15743 HAS SOPS 15707 HAS SOUS 8395 HAS SOUPS 8359 WITH SCORE 8374.743
AT ITER 422 NEW BEST:: SOT 29983 SOS 15718 HAS SOPS 15682 HAS SOUS 8377 HAS SOUPS 8341 WITH SCORE 8356.718
AT ITER 426 NEW BEST:: SOT 29980 SOS 15715 HAS SOPS 15679 HAS SOUS 8299 HAS SOUPS 8263 WITH SCORE 8278.715
AT ITER 439 NEW BEST:: SOT 29980 SOS 15710 HAS SOPS 15674 HAS SOUS 8299 HAS SOUPS 8263 WITH SCORE 8278.71
AT ITER 442 NEW BEST:: SOT 29993 SOS 15723 HAS SOPS 15687 HAS SOUS 8279 HAS SOUPS 8243 WITH SCORE 8258.723
AT ITER 451 NEW BEST:: SOT 29977 SOS 15683 HAS SOPS 15647 HAS SOUS 8271 HAS SOUPS 8235 WITH SCORE 8250.683
AT ITER 465 NEW BEST:: SOT 29895 SOS 15616 HAS SOPS 15580 HAS SOUS 8237 HAS SOUPS 8201 WITH SCORE 8216.616
AT ITER 469 NEW BEST:: SOT 29872 SOS 15572 HAS SOPS 15515 HAS SOUS 8212 HAS SOUPS 8159 WITH SCORE 8174.572
AT ITER 488 NEW BEST:: SOT 29839 SOS 15550 HAS SOPS 15493 HAS SOUS 8164 HAS SOUPS 8111 WITH SCORE 8126.55
AT ITER 501 NEW BEST:: SOT 29839 SOS 15580 HAS SOPS 15523 HAS SOUS 8163 HAS SOUPS 8110 WITH SCORE 8125.58
AT ITER 503 NEW BEST:: SOT 29747 SOS 15488 HAS SOPS 15431 HAS SOUS 8112 HAS SOUPS 8059 WITH SCORE 8074.488
AT ITER 508 NEW BEST:: SOT 29830 SOS 15431 HAS SOPS 15374 HAS SOUS 8096 HAS SOUPS 8043 WITH SCORE 8058.431
AT ITER 509 NEW BEST:: SOT 29838 SOS 15444 HAS SOPS 15382 HAS SOUS 8098 HAS SOUPS 8040 WITH SCORE 8055.444
AT ITER 513 NEW BEST:: SOT 29838 SOS 15157 HAS SOPS 15095 HAS SOUS 8098 HAS SOUPS 8040 WITH SCORE 8055.157
AT ITER 519 NEW BEST:: SOT 29798 SOS 15117 HAS SOPS 15055 HAS SOUS 8073 HAS SOUPS 8015 WITH SCORE 8030.117
AT ITER 525 NEW BEST:: SOT 29804 SOS 14736 HAS SOPS 14608 HAS SOUS 8054 HAS SOUPS 7962 WITH SCORE 7976.736
AT ITER 528 NEW BEST:: SOT 29808 SOS 14740 HAS SOPS 14612 HAS SOUS 8028 HAS SOUPS 7936 WITH SCORE 7950.74
AT ITER 538 NEW BEST:: SOT 29681 SOS 14680 HAS SOPS 14552 HAS SOUS 8013 HAS SOUPS 7921 WITH SCORE 7935.68
AT ITER 542 NEW BEST:: SOT 29699 SOS 13998 HAS SOPS 13857 HAS SOUS 7917 HAS SOUPS 7812 WITH SCORE 7825.998
AT ITER 550 NEW BEST:: SOT 29650 SOS 14015 HAS SOPS 13874 HAS SOUS 7887 HAS SOUPS 7782 WITH SCORE 7796.015
AT ITER 556 NEW BEST:: SOT 29716 SOS 14021 HAS SOPS 13880 HAS SOUS 7859 HAS SOUPS 7754 WITH SCORE 7768.021
AT ITER 561 NEW BEST:: SOT 29644 SOS 14016 HAS SOPS 13735 HAS SOUS 7912 HAS SOUPS 7712 WITH SCORE 7726.016
AT ITER 573 NEW BEST:: SOT 29632 SOS 13989 HAS SOPS 13705 HAS SOUS 7900 HAS SOUPS 7700 WITH SCORE 7713.989
AT ITER 581 NEW BEST:: SOT 29604 SOS 13961 HAS SOPS 13677 HAS SOUS 7864 HAS SOUPS 7664 WITH SCORE 7677.961
AT ITER 589 NEW BEST:: SOT 29374 SOS 13920 HAS SOPS 13640 HAS SOUS 7711 HAS SOUPS 7511 WITH SCORE 7524.92
AT ITER 598 NEW BEST:: SOT 29372 SOS 13918 HAS SOPS 13638 HAS SOUS 7709 HAS SOUPS 7509 WITH SCORE 7522.918
AT ITER 604 NEW BEST:: SOT 29292 SOS 13757 HAS SOPS 13477 HAS SOUS 7589 HAS SOUPS 7389 WITH SCORE 7402.757
AT ITER 627 NEW BEST:: SOT 29357 SOS 13822 HAS SOPS 13542 HAS SOUS 7569 HAS SOUPS 7369 WITH SCORE 7382.822
AT ITER 630 NEW BEST:: SOT 29206 SOS 13671 HAS SOPS 13400 HAS SOUS 7463 HAS SOUPS 7263 WITH SCORE 7276.671
AT ITER 641 NEW BEST:: SOT 29198 SOS 13669 HAS SOPS 13398 HAS SOUS 7463 HAS SOUPS 7263 WITH SCORE 7276.669
AT ITER 652 NEW BEST:: SOT 29214 SOS 13685 HAS SOPS 13414 HAS SOUS 7451 HAS SOUPS 7251 WITH SCORE 7264.685
AT ITER 656 NEW BEST:: SOT 29197 SOS 13668 HAS SOPS 13397 HAS SOUS 7434 HAS SOUPS 7234 WITH SCORE 7247.668
AT ITER 658 NEW BEST:: SOT 29170 SOS 13317 HAS SOPS 13019 HAS SOUS 7380 HAS SOUPS 7153 WITH SCORE 7166.317
AT ITER 669 NEW BEST:: SOT 29164 SOS 13255 HAS SOPS 13013 HAS SOUS 7285 HAS SOUPS 7091 WITH SCORE 7104.255
AT ITER 671 NEW BEST:: SOT 29206 SOS 13276 HAS SOPS 13034 HAS SOUS 7281 HAS SOUPS 7087 WITH SCORE 7100.276
AT ITER 672 NEW BEST:: SOT 29214 SOS 13272 HAS SOPS 13042 HAS SOUS 7265 HAS SOUPS 7083 WITH SCORE 7096.272
AT ITER 675 NEW BEST:: SOT 29230 SOS 13283 HAS SOPS 13058 HAS SOUS 7235 HAS SOUPS 7058 WITH SCORE 7071.283
AT ITER 678 NEW BEST:: SOT 29237 SOS 13254 HAS SOPS 13029 HAS SOUS 7188 HAS SOUPS 7011 WITH SCORE 7024.254
AT ITER 690 NEW BEST:: SOT 29237 SOS 13254 HAS SOPS 13029 HAS SOUS 7185 HAS SOUPS 7008 WITH SCORE 7021.254
AT ITER 695 NEW BEST:: SOT 29217 SOS 13234 HAS SOPS 13009 HAS SOUS 7160 HAS SOUPS 6983 WITH SCORE 6996.234
AT ITER 701 NEW BEST:: SOT 29290 SOS 13189 HAS SOPS 13005 HAS SOUS 7069 HAS SOUPS 6933 WITH SCORE 6946.189
AT ITER 714 NEW BEST:: SOT 29290 SOS 12807 HAS SOPS 12613 HAS SOUS 7069 HAS SOUPS 6923 WITH SCORE 6935.807
AT ITER 717 NEW BEST:: SOT 29287 SOS 12617 HAS SOPS 12423 HAS SOUS 7020 HAS SOUPS 6874 WITH SCORE 6886.617
AT ITER 736 NEW BEST:: SOT 29287 SOS 12547 HAS SOPS 12353 HAS SOUS 7012 HAS SOUPS 6866 WITH SCORE 6878.547
AT ITER 754 NEW BEST:: SOT 29287 SOS 12547 HAS SOPS 12353 HAS SOUS 7005 HAS SOUPS 6859 WITH SCORE 6871.547
AT ITER 758 NEW BEST:: SOT 29278 SOS 12534 HAS SOPS 12316 HAS SOUS 6954 HAS SOUPS 6784 WITH SCORE 6796.534
AT ITER 762 NEW BEST:: SOT 29277 SOS 12463 HAS SOPS 12245 HAS SOUS 6944 HAS SOUPS 6774 WITH SCORE 6786.463
AT ITER 766 NEW BEST:: SOT 29292 SOS 12478 HAS SOPS 12260 HAS SOUS 6937 HAS SOUPS 6767 WITH SCORE 6779.478
AT ITER 770 NEW BEST:: SOT 29290 SOS 12476 HAS SOPS 12258 HAS SOUS 6933 HAS SOUPS 6763 WITH SCORE 6775.476
AT ITER 778 NEW BEST:: SOT 29317 SOS 12342 HAS SOPS 12124 HAS SOUS 6904 HAS SOUPS 6734 WITH SCORE 6746.342
AT ITER 788 NEW BEST:: SOT 29255 SOS 12283 HAS SOPS 12020 HAS SOUS 6918 HAS SOUPS 6720 WITH SCORE 6732.283
AT ITER 792 NEW BEST:: SOT 29250 SOS 12278 HAS SOPS 12015 HAS SOUS 6910 HAS SOUPS 6712 WITH SCORE 6724.278
AT ITER 794 NEW BEST:: SOT 29239 SOS 12279 HAS SOPS 12016 HAS SOUS 6900 HAS SOUPS 6702 WITH SCORE 6714.279
AT ITER 820 NEW BEST:: SOT 29239 SOS 12189 HAS SOPS 11926 HAS SOUS 6900 HAS SOUPS 6702 WITH SCORE 6714.189
AT ITER 843 NEW BEST:: SOT 29205 SOS 12155 HAS SOPS 11892 HAS SOUS 6895 HAS SOUPS 6697 WITH SCORE 6709.155
AT ITER 854 NEW BEST:: SOT 29204 SOS 12154 HAS SOPS 11891 HAS SOUS 6894 HAS SOUPS 6696 WITH SCORE 6708.154
AT ITER 875 NEW BEST:: SOT 29202 SOS 12150 HAS SOPS 11887 HAS SOUS 6890 HAS SOUPS 6692 WITH SCORE 6704.15
AT ITER 894 NEW BEST:: SOT 29199 SOS 12147 HAS SOPS 11884 HAS SOUS 6888 HAS SOUPS 6690 WITH SCORE 6702.147
AT ITER 912 NEW BEST:: SOT 29170 SOS 12117 HAS SOPS 11854 HAS SOUS 6871 HAS SOUPS 6673 WITH SCORE 6685.117
AT ITER 917 NEW BEST:: SOT 29151 SOS 12099 HAS SOPS 11836 HAS SOUS 6847 HAS SOUPS 6649 WITH SCORE 6661.099
AT ITER 938 NEW BEST:: SOT 29145 SOS 12076 HAS SOPS 11813 HAS SOUS 6847 HAS SOUPS 6649 WITH SCORE 6661.076
AT ITER 944 NEW BEST:: SOT 29149 SOS 12072 HAS SOPS 11806 HAS SOUS 6844 HAS SOUPS 6646 WITH SCORE 6658.072
AT ITER 948 NEW BEST:: SOT 29146 SOS 12056 HAS SOPS 11803 HAS SOUS 6828 HAS SOUPS 6643 WITH SCORE 6655.056
AT ITER 952 NEW BEST:: SOT 29134 SOS 12044 HAS SOPS 11791 HAS SOUS 6816 HAS SOUPS 6631 WITH SCORE 6643.044
AT ITER 962 NEW BEST:: SOT 29130 SOS 12040 HAS SOPS 11787 HAS SOUS 6812 HAS SOUPS 6627 WITH SCORE 6639.04
AT ITER 963 NEW BEST:: SOT 29151 SOS 12056 HAS SOPS 11798 HAS SOUS 6814 HAS SOUPS 6624 WITH SCORE 6636.056
AT ITER 980 NEW BEST:: SOT 29069 SOS 12302 HAS SOPS 12044 HAS SOUS 6759 HAS SOUPS 6569 WITH SCORE 6581.302
AT ITER 981 NEW BEST:: SOT 29069 SOS 12302 HAS SOPS 12044 HAS SOUS 6752 HAS SOUPS 6562 WITH SCORE 6574.302
AT ITER 983 NEW BEST:: SOT 29131 SOS 12022 HAS SOPS 11764 HAS SOUS 6736 HAS SOUPS 6546 WITH SCORE 6558.022
AT ITER 988 NEW BEST:: SOT 29086 SOS 12003 HAS SOPS 11716 HAS SOUS 6706 HAS SOUPS 6487 WITH SCORE 6499.003
AT ITER 1004 NEW BEST:: SOT 29075 SOS 12003 HAS SOPS 11716 HAS SOUS 6703 HAS SOUPS 6484 WITH SCORE 6496.003
AT ITER 1008 NEW BEST:: SOT 29061 SOS 12005 HAS SOPS 11718 HAS SOUS 6678 HAS SOUPS 6459 WITH SCORE 6471.005
AT ITER 1009 NEW BEST:: SOT 29025 SOS 11969 HAS SOPS 11682 HAS SOUS 6627 HAS SOUPS 6408 WITH SCORE 6419.969
AT ITER 1013 NEW BEST:: SOT 29005 SOS 11932 HAS SOPS 11645 HAS SOUS 6622 HAS SOUPS 6403 WITH SCORE 6414.932
AT ITER 1024 NEW BEST:: SOT 29005 SOS 11918 HAS SOPS 11629 HAS SOUS 6622 HAS SOUPS 6401 WITH SCORE 6412.918
AT ITER 1028 NEW BEST:: SOT 29005 SOS 11919 HAS SOPS 11627 HAS SOUS 6622 HAS SOUPS 6400 WITH SCORE 6411.919
AT ITER 1039 NEW BEST:: SOT 28996 SOS 11923 HAS SOPS 11631 HAS SOUS 6615 HAS SOUPS 6393 WITH SCORE 6404.923
AT ITER 1057 NEW BEST:: SOT 28996 SOS 11905 HAS SOPS 11613 HAS SOUS 6613 HAS SOUPS 6391 WITH SCORE 6402.905
AT ITER 1063 NEW BEST:: SOT 28943 SOS 11850 HAS SOPS 11558 HAS SOUS 6585 HAS SOUPS 6363 WITH SCORE 6374.85
AT ITER 1099 NEW BEST:: SOT 28996 SOS 11850 HAS SOPS 11558 HAS SOUS 6573 HAS SOUPS 6351 WITH SCORE 6362.85
AT ITER 1120 NEW BEST:: SOT 28976 SOS 11805 HAS SOPS 11513 HAS SOUS 6564 HAS SOUPS 6342 WITH SCORE 6353.805
AT ITER 1124 NEW BEST:: SOT 28959 SOS 11592 HAS SOPS 11300 HAS SOUS 6551 HAS SOUPS 6329 WITH SCORE 6340.592
AT ITER 1199 NEW BEST:: SOT 28911 SOS 11533 HAS SOPS 11241 HAS SOUS 6533 HAS SOUPS 6311 WITH SCORE 6322.533
AT ITER 1211 NEW BEST:: SOT 28892 SOS 11566 HAS SOPS 11284 HAS SOUS 6520 HAS SOUPS 6308 WITH SCORE 6319.566
AT ITER 1212 NEW BEST:: SOT 28896 SOS 11570 HAS SOPS 11288 HAS SOUS 6514 HAS SOUPS 6302 WITH SCORE 6313.57
AT ITER 1230 NEW BEST:: SOT 28853 SOS 11543 HAS SOPS 11245 HAS SOUS 6527 HAS SOUPS 6299 WITH SCORE 6310.543
AT ITER 1248 NEW BEST:: SOT 28853 SOS 11340 HAS SOPS 11002 HAS SOUS 6521 HAS SOUPS 6253 WITH SCORE 6264.34
AT ITER 1255 NEW BEST:: SOT 28840 SOS 11327 HAS SOPS 10989 HAS SOUS 6516 HAS SOUPS 6248 WITH SCORE 6259.327
AT ITER 1261 NEW BEST:: SOT 28875 SOS 11311 HAS SOPS 11000 HAS SOUS 6487 HAS SOUPS 6246 WITH SCORE 6257.311
AT ITER 1262 NEW BEST:: SOT 28867 SOS 11303 HAS SOPS 10992 HAS SOUS 6462 HAS SOUPS 6221 WITH SCORE 6232.303
AT ITER 1263 NEW BEST:: SOT 28856 SOS 11292 HAS SOPS 10981 HAS SOUS 6451 HAS SOUPS 6210 WITH SCORE 6221.292
AT ITER 1271 NEW BEST:: SOT 28991 SOS 11115 HAS SOPS 10804 HAS SOUS 6433 HAS SOUPS 6192 WITH SCORE 6203.115
AT ITER 1291 NEW BEST:: SOT 28851 SOS 11015 HAS SOPS 10704 HAS SOUS 6346 HAS SOUPS 6105 WITH SCORE 6116.015
AT ITER 1299 NEW BEST:: SOT 28835 SOS 10967 HAS SOPS 10688 HAS SOUS 6298 HAS SOUPS 6073 WITH SCORE 6083.967
AT ITER 1302 NEW BEST:: SOT 28831 SOS 10721 HAS SOPS 10442 HAS SOUS 6283 HAS SOUPS 6058 WITH SCORE 6068.721
AT ITER 1304 NEW BEST:: SOT 28719 SOS 10790 HAS SOPS 10511 HAS SOUS 6196 HAS SOUPS 5971 WITH SCORE 5981.79
AT ITER 1305 NEW BEST:: SOT 28707 SOS 10694 HAS SOPS 10409 HAS SOUS 6190 HAS SOUPS 5959 WITH SCORE 5969.694
AT ITER 1318 NEW BEST:: SOT 28834 SOS 10803 HAS SOPS 10518 HAS SOUS 6167 HAS SOUPS 5936 WITH SCORE 5946.803
AT ITER 1321 NEW BEST:: SOT 28831 SOS 10800 HAS SOPS 10515 HAS SOUS 6157 HAS SOUPS 5926 WITH SCORE 5936.8
AT ITER 1346 NEW BEST:: SOT 28815 SOS 10797 HAS SOPS 10512 HAS SOUS 6153 HAS SOUPS 5922 WITH SCORE 5932.797
AT ITER 1378 NEW BEST:: SOT 28821 SOS 10792 HAS SOPS 10504 HAS SOUS 6156 HAS SOUPS 5922 WITH SCORE 5932.792
AT ITER 1398 NEW BEST:: SOT 28823 SOS 10794 HAS SOPS 10506 HAS SOUS 6145 HAS SOUPS 5911 WITH SCORE 5921.794
AT ITER 1399 NEW BEST:: SOT 28812 SOS 10783 HAS SOPS 10495 HAS SOUS 6119 HAS SOUPS 5885 WITH SCORE 5895.783
AT ITER 1418 NEW BEST:: SOT 28800 SOS 10872 HAS SOPS 10584 HAS SOUS 6113 HAS SOUPS 5879 WITH SCORE 5889.872
AT ITER 1434 NEW BEST:: SOT 28790 SOS 10832 HAS SOPS 10544 HAS SOUS 6093 HAS SOUPS 5859 WITH SCORE 5869.832
AT ITER 1508 NEW BEST:: SOT 28781 SOS 10823 HAS SOPS 10535 HAS SOUS 6073 HAS SOUPS 5839 WITH SCORE 5849.823
AT ITER 1511 NEW BEST:: SOT 28881 SOS 10773 HAS SOPS 10485 HAS SOUS 6048 HAS SOUPS 5814 WITH SCORE 5824.773
AT ITER 1537 NEW BEST:: SOT 28878 SOS 10770 HAS SOPS 10482 HAS SOUS 6042 HAS SOUPS 5808 WITH SCORE 5818.77
AT ITER 1598 NEW BEST:: SOT 28874 SOS 10766 HAS SOPS 10478 HAS SOUS 6041 HAS SOUPS 5807 WITH SCORE 5817.766
AT ITER 1606 NEW BEST:: SOT 28874 SOS 10591 HAS SOPS 10303 HAS SOUS 6018 HAS SOUPS 5784 WITH SCORE 5794.591
AT ITER 1668 NEW BEST:: SOT 28874 SOS 10588 HAS SOPS 10266 HAS SOUS 6041 HAS SOUPS 5773 WITH SCORE 5783.588
AT ITER 1680 NEW BEST:: SOT 28878 SOS 10589 HAS SOPS 10266 HAS SOUS 6041 HAS SOUPS 5772 WITH SCORE 5782.589
AT ITER 1681 NEW BEST:: SOT 28757 SOS 10494 HAS SOPS 10171 HAS SOUS 5963 HAS SOUPS 5694 WITH SCORE 5704.494
AT ITER 1698 NEW BEST:: SOT 28702 SOS 10466 HAS SOPS 10143 HAS SOUS 5950 HAS SOUPS 5681 WITH SCORE 5691.466
AT ITER 1707 NEW BEST:: SOT 28702 SOS 10261 HAS SOPS 9936 HAS SOUS 5927 HAS SOUPS 5656 WITH SCORE 5666.261
AT ITER 1712 NEW BEST:: SOT 28673 SOS 10192 HAS SOPS 9867 HAS SOUS 5867 HAS SOUPS 5596 WITH SCORE 5606.192
AT ITER 1719 NEW BEST:: SOT 28702 SOS 10070 HAS SOPS 9745 HAS SOUS 5847 HAS SOUPS 5576 WITH SCORE 5586.07
AT ITER 1759 NEW BEST:: SOT 28626 SOS 9974 HAS SOPS 9663 HAS SOUS 5807 HAS SOUPS 5550 WITH SCORE 5559.974
AT ITER 1763 NEW BEST:: SOT 28607 SOS 9950 HAS SOPS 9625 HAS SOUS 5820 HAS SOUPS 5549 WITH SCORE 5558.95
AT ITER 1769 NEW BEST:: SOT 28597 SOS 9940 HAS SOPS 9615 HAS SOUS 5810 HAS SOUPS 5539 WITH SCORE 5548.94
AT ITER 1795 NEW BEST:: SOT 28579 SOS 9901 HAS SOPS 9570 HAS SOUS 5794 HAS SOUPS 5517 WITH SCORE 5526.901
AT ITER 1847 NEW BEST:: SOT 28606 SOS 9928 HAS SOPS 9597 HAS SOUS 5783 HAS SOUPS 5506 WITH SCORE 5515.928
AT ITER 1878 NEW BEST:: SOT 28582 SOS 9924 HAS SOPS 9593 HAS SOUS 5778 HAS SOUPS 5501 WITH SCORE 5510.924
AT ITER 1892 NEW BEST:: SOT 28575 SOS 9917 HAS SOPS 9586 HAS SOUS 5765 HAS SOUPS 5488 WITH SCORE 5497.917
AT ITER 1896 NEW BEST:: SOT 28555 SOS 9902 HAS SOPS 9571 HAS SOUS 5745 HAS SOUPS 5468 WITH SCORE 5477.902
AT ITER 1921 NEW BEST:: SOT 28525 SOS 9872 HAS SOPS 9541 HAS SOUS 5715 HAS SOUPS 5438 WITH SCORE 5447.872
AT ITER 1925 NEW BEST:: SOT 28523 SOS 9868 HAS SOPS 9537 HAS SOUS 5712 HAS SOUPS 5435 WITH SCORE 5444.868
AT ITER 1930 NEW BEST:: SOT 28513 SOS 9853 HAS SOPS 9522 HAS SOUS 5702 HAS SOUPS 5425 WITH SCORE 5434.853
AT ITER 1944 NEW BEST:: SOT 28511 SOS 9851 HAS SOPS 9520 HAS SOUS 5702 HAS SOUPS 5425 WITH SCORE 5434.851
AT ITER 1961 NEW BEST:: SOT 28510 SOS 9850 HAS SOPS 9519 HAS SOUS 5702 HAS SOUPS 5425 WITH SCORE 5434.85
AT ITER 1966 NEW BEST:: SOT 28466 SOS 9822 HAS SOPS 9491 HAS SOUS 5663 HAS SOUPS 5386 WITH SCORE 5395.822
AT ITER 2002 NEW BEST:: SOT 28478 SOS 9812 HAS SOPS 9457 HAS SOUS 5675 HAS SOUPS 5386 WITH SCORE 5395.812
AT ITER 2017 NEW BEST:: SOT 28465 SOS 9804 HAS SOPS 9449 HAS SOUS 5674 HAS SOUPS 5385 WITH SCORE 5394.804
AT ITER 2051 NEW BEST:: SOT 28497 SOS 9727 HAS SOPS 9352 HAS SOUS 5679 HAS SOUPS 5370 WITH SCORE 5379.727
AT ITER 2082 NEW BEST:: SOT 28489 SOS 9698 HAS SOPS 9344 HAS SOUS 5650 HAS SOUPS 5362 WITH SCORE 5371.698
AT ITER 2119 NEW BEST:: SOT 28501 SOS 9691 HAS SOPS 9349 HAS SOUS 5638 HAS SOUPS 5362 WITH SCORE 5371.691
AT ITER 2127 NEW BEST:: SOT 28489 SOS 9679 HAS SOPS 9337 HAS SOUS 5628 HAS SOUPS 5352 WITH SCORE 5361.679
AT ITER 2128 NEW BEST:: SOT 28475 SOS 9665 HAS SOPS 9323 HAS SOUS 5600 HAS SOUPS 5324 WITH SCORE 5333.665
AT ITER 2158 NEW BEST:: SOT 28474 SOS 9648 HAS SOPS 9306 HAS SOUS 5571 HAS SOUPS 5295 WITH SCORE 5304.648
AT ITER 2165 NEW BEST:: SOT 28450 SOS 9629 HAS SOPS 9287 HAS SOUS 5549 HAS SOUPS 5273 WITH SCORE 5282.629
AT ITER 2172 NEW BEST:: SOT 28410 SOS 9589 HAS SOPS 9247 HAS SOUS 5514 HAS SOUPS 5238 WITH SCORE 5247.589
AT ITER 2190 NEW BEST:: SOT 28414 SOS 9572 HAS SOPS 9230 HAS SOUS 5507 HAS SOUPS 5231 WITH SCORE 5240.572
AT ITER 2195 NEW BEST:: SOT 28412 SOS 9574 HAS SOPS 9228 HAS SOUS 5506 HAS SOUPS 5228 WITH SCORE 5237.574
AT ITER 2197 NEW BEST:: SOT 28374 SOS 9531 HAS SOPS 9185 HAS SOUS 5494 HAS SOUPS 5216 WITH SCORE 5225.531
AT ITER 2202 NEW BEST:: SOT 28426 SOS 9555 HAS SOPS 9201 HAS SOUS 5497 HAS SOUPS 5211 WITH SCORE 5220.555
AT ITER 2251 NEW BEST:: SOT 28412 SOS 9485 HAS SOPS 9131 HAS SOUS 5482 HAS SOUPS 5196 WITH SCORE 5205.485
AT ITER 2271 NEW BEST:: SOT 28411 SOS 9484 HAS SOPS 9128 HAS SOUS 5483 HAS SOUPS 5195 WITH SCORE 5204.484
AT ITER 2281 NEW BEST:: SOT 28405 SOS 9468 HAS SOPS 9122 HAS SOUS 5478 HAS SOUPS 5195 WITH SCORE 5204.468
AT ITER 2284 NEW BEST:: SOT 28400 SOS 9463 HAS SOPS 9117 HAS SOUS 5477 HAS SOUPS 5194 WITH SCORE 5203.463
AT ITER 2292 NEW BEST:: SOT 28399 SOS 9462 HAS SOPS 9116 HAS SOUS 5477 HAS SOUPS 5194 WITH SCORE 5203.462
AT ITER 2304 NEW BEST:: SOT 28403 SOS 9454 HAS SOPS 9108 HAS SOUS 5473 HAS SOUPS 5190 WITH SCORE 5199.454
AT ITER 2318 NEW BEST:: SOT 28400 SOS 9449 HAS SOPS 9103 HAS SOUS 5462 HAS SOUPS 5179 WITH SCORE 5188.449
AT ITER 2377 NEW BEST:: SOT 28403 SOS 9439 HAS SOPS 9093 HAS SOUS 5459 HAS SOUPS 5176 WITH SCORE 5185.439
AT ITER 2389 NEW BEST:: SOT 28387 SOS 9423 HAS SOPS 9061 HAS SOUS 5456 HAS SOUPS 5157 WITH SCORE 5166.423
AT ITER 2404 NEW BEST:: SOT 28379 SOS 9425 HAS SOPS 9063 HAS SOUS 5454 HAS SOUPS 5155 WITH SCORE 5164.425
AT ITER 2421 NEW BEST:: SOT 28375 SOS 9421 HAS SOPS 9059 HAS SOUS 5445 HAS SOUPS 5146 WITH SCORE 5155.421
AT ITER 2433 NEW BEST:: SOT 28419 SOS 9443 HAS SOPS 9081 HAS SOUS 5441 HAS SOUPS 5142 WITH SCORE 5151.443
AT ITER 2434 NEW BEST:: SOT 28411 SOS 9427 HAS SOPS 9065 HAS SOUS 5439 HAS SOUPS 5140 WITH SCORE 5149.427
AT ITER 2462 NEW BEST:: SOT 28410 SOS 9426 HAS SOPS 9064 HAS SOUS 5439 HAS SOUPS 5140 WITH SCORE 5149.426
AT ITER 2484 NEW BEST:: SOT 28412 SOS 9424 HAS SOPS 9067 HAS SOUS 5434 HAS SOUPS 5140 WITH SCORE 5149.424
AT ITER 2507 NEW BEST:: SOT 28410 SOS 9422 HAS SOPS 9065 HAS SOUS 5430 HAS SOUPS 5136 WITH SCORE 5145.422
AT ITER 2520 NEW BEST:: SOT 28410 SOS 9341 HAS SOPS 8984 HAS SOUS 5421 HAS SOUPS 5127 WITH SCORE 5136.341
AT ITER 2530 NEW BEST:: SOT 28372 SOS 9326 HAS SOPS 8973 HAS SOUS 5413 HAS SOUPS 5123 WITH SCORE 5132.326
AT ITER 2545 NEW BEST:: SOT 28372 SOS 9326 HAS SOPS 8973 HAS SOUS 5408 HAS SOUPS 5118 WITH SCORE 5127.326
AT ITER 2573 NEW BEST:: SOT 28400 SOS 9295 HAS SOPS 8929 HAS SOUS 5415 HAS SOUPS 5112 WITH SCORE 5121.295
AT ITER 2584 NEW BEST:: SOT 28395 SOS 9283 HAS SOPS 8924 HAS SOUS 5403 HAS SOUPS 5107 WITH SCORE 5116.283
AT ITER 2587 NEW BEST:: SOT 28387 SOS 9267 HAS SOPS 8916 HAS SOUS 5382 HAS SOUPS 5094 WITH SCORE 5103.267
AT ITER 2602 NEW BEST:: SOT 28391 SOS 9265 HAS SOPS 8914 HAS SOUS 5381 HAS SOUPS 5093 WITH SCORE 5102.265
AT ITER 2610 NEW BEST:: SOT 28366 SOS 9240 HAS SOPS 8889 HAS SOUS 5365 HAS SOUPS 5077 WITH SCORE 5086.24
AT ITER 2624 NEW BEST:: SOT 28350 SOS 9224 HAS SOPS 8873 HAS SOUS 5349 HAS SOUPS 5061 WITH SCORE 5070.224
AT ITER 2661 NEW BEST:: SOT 28343 SOS 9217 HAS SOPS 8866 HAS SOUS 5345 HAS SOUPS 5057 WITH SCORE 5066.217
AT ITER 2676 NEW BEST:: SOT 28330 SOS 9204 HAS SOPS 8853 HAS SOUS 5326 HAS SOUPS 5038 WITH SCORE 5047.204
AT ITER 2733 NEW BEST:: SOT 28325 SOS 9199 HAS SOPS 8848 HAS SOUS 5321 HAS SOUPS 5033 WITH SCORE 5042.199
AT ITER 2787 NEW BEST:: SOT 28320 SOS 9194 HAS SOPS 8843 HAS SOUS 5314 HAS SOUPS 5026 WITH SCORE 5035.194
AT ITER 2792 NEW BEST:: SOT 28273 SOS 9184 HAS SOPS 8833 HAS SOUS 5307 HAS SOUPS 5019 WITH SCORE 5028.184
AT ITER 2817 NEW BEST:: SOT 28268 SOS 9160 HAS SOPS 8828 HAS SOUS 5288 HAS SOUPS 5019 WITH SCORE 5028.16
AT ITER 2858 NEW BEST:: SOT 28268 SOS 9160 HAS SOPS 8828 HAS SOUS 5285 HAS SOUPS 5016 WITH SCORE 5025.16
AT ITER 2863 NEW BEST:: SOT 28281 SOS 9085 HAS SOPS 8743 HAS SOUS 5280 HAS SOUPS 5001 WITH SCORE 5010.085
AT ITER 2957 NEW BEST:: SOT 28281 SOS 9085 HAS SOPS 8743 HAS SOUS 5279 HAS SOUPS 5000 WITH SCORE 5009.085
AT ITER 2977 NEW BEST:: SOT 28367 SOS 9185 HAS SOPS 8828 HAS SOUS 5289 HAS SOUPS 4995 WITH SCORE 5004.185
AT ITER 2989 NEW BEST:: SOT 28363 SOS 9181 HAS SOPS 8824 HAS SOUS 5285 HAS SOUPS 4991 WITH SCORE 5000.181
AT ITER 3024 NEW BEST:: SOT 28347 SOS 9147 HAS SOPS 8788 HAS SOUS 5277 HAS SOUPS 4981 WITH SCORE 4990.147
AT ITER 3038 NEW BEST:: SOT 28340 SOS 9150 HAS SOPS 8793 HAS SOUS 5274 HAS SOUPS 4980 WITH SCORE 4989.15
AT ITER 3140 NEW BEST:: SOT 28338 SOS 9143 HAS SOPS 8786 HAS SOUS 5274 HAS SOUPS 4980 WITH SCORE 4989.143
AT ITER 3169 NEW BEST:: SOT 28337 SOS 9134 HAS SOPS 8776 HAS SOUS 5273 HAS SOUPS 4978 WITH SCORE 4987.134
AT ITER 3172 NEW BEST:: SOT 28336 SOS 9133 HAS SOPS 8775 HAS SOUS 5272 HAS SOUPS 4977 WITH SCORE 4986.133
AT ITER 3194 NEW BEST:: SOT 28339 SOS 9098 HAS SOPS 8733 HAS SOUS 5265 HAS SOUPS 4963 WITH SCORE 4972.098
AT ITER 3206 NEW BEST:: SOT 28349 SOS 9107 HAS SOPS 8742 HAS SOUS 5257 HAS SOUPS 4955 WITH SCORE 4964.107
AT ITER 3337 NEW BEST:: SOT 28359 SOS 9124 HAS SOPS 8759 HAS SOUS 5252 HAS SOUPS 4950 WITH SCORE 4959.124
AT ITER 3416 NEW BEST:: SOT 28359 SOS 9124 HAS SOPS 8759 HAS SOUS 5250 HAS SOUPS 4948 WITH SCORE 4957.124
AT ITER 3438 NEW BEST:: SOT 28355 SOS 9114 HAS SOPS 8749 HAS SOUS 5248 HAS SOUPS 4946 WITH SCORE 4955.114
AT ITER 3464 NEW BEST:: SOT 28351 SOS 9106 HAS SOPS 8741 HAS SOUS 5240 HAS SOUPS 4938 WITH SCORE 4947.106
AT ITER 3512 NEW BEST:: SOT 28345 SOS 9100 HAS SOPS 8735 HAS SOUS 5232 HAS SOUPS 4930 WITH SCORE 4939.1
AT ITER 3537 NEW BEST:: SOT 28348 SOS 9096 HAS SOPS 8731 HAS SOUS 5226 HAS SOUPS 4924 WITH SCORE 4933.096
AT ITER 3548 NEW BEST:: SOT 28348 SOS 9086 HAS SOPS 8721 HAS SOUS 5222 HAS SOUPS 4920 WITH SCORE 4929.086
AT ITER 3635 NEW BEST:: SOT 28345 SOS 9083 HAS SOPS 8718 HAS SOUS 5219 HAS SOUPS 4917 WITH SCORE 4926.083
AT ITER 3654 NEW BEST:: SOT 28348 SOS 9061 HAS SOPS 8696 HAS SOUS 5217 HAS SOUPS 4915 WITH SCORE 4924.061
AT ITER 3718 NEW BEST:: SOT 28347 SOS 9068 HAS SOPS 8695 HAS SOUS 5215 HAS SOUPS 4905 WITH SCORE 4914.068
AT ITER 3738 NEW BEST:: SOT 28347 SOS 9057 HAS SOPS 8684 HAS SOUS 5215 HAS SOUPS 4905 WITH SCORE 4914.057
AT ITER 3742 NEW BEST:: SOT 28329 SOS 9039 HAS SOPS 8666 HAS SOUS 5210 HAS SOUPS 4900 WITH SCORE 4909.039
AT ITER 3756 NEW BEST:: SOT 28329 SOS 9039 HAS SOPS 8666 HAS SOUS 5205 HAS SOUPS 4895 WITH SCORE 4904.039
AT ITER 3758 NEW BEST:: SOT 28312 SOS 9037 HAS SOPS 8668 HAS SOUS 5200 HAS SOUPS 4890 WITH SCORE 4899.037
AT ITER 3769 NEW BEST:: SOT 28337 SOS 9044 HAS SOPS 8675 HAS SOUS 5197 HAS SOUPS 4887 WITH SCORE 4896.044
AT ITER 3859 NEW BEST:: SOT 28331 SOS 9038 HAS SOPS 8669 HAS SOUS 5182 HAS SOUPS 4872 WITH SCORE 4881.038
AT ITER 3860 NEW BEST:: SOT 28314 SOS 9007 HAS SOPS 8634 HAS SOUS 5175 HAS SOUPS 4865 WITH SCORE 4874.007
AT ITER 3878 NEW BEST:: SOT 28268 SOS 8904 HAS SOPS 8531 HAS SOUS 5163 HAS SOUPS 4853 WITH SCORE 4861.904
AT ITER 3986 NEW BEST:: SOT 28260 SOS 8896 HAS SOPS 8523 HAS SOUS 5154 HAS SOUPS 4844 WITH SCORE 4852.896
AT ITER 4000 NEW BEST:: SOT 28260 SOS 8907 HAS SOPS 8534 HAS SOUS 5143 HAS SOUPS 4833 WITH SCORE 4841.907
AT ITER 4025 NEW BEST:: SOT 28256 SOS 8901 HAS SOPS 8528 HAS SOUS 5139 HAS SOUPS 4829 WITH SCORE 4837.901
AT ITER 4106 NEW BEST:: SOT 28262 SOS 8889 HAS SOPS 8516 HAS SOUS 5127 HAS SOUPS 4817 WITH SCORE 4825.889
AT ITER 4108 NEW BEST:: SOT 28250 SOS 8859 HAS SOPS 8486 HAS SOUS 5118 HAS SOUPS 4808 WITH SCORE 4816.859
AT ITER 4151 NEW BEST:: SOT 28250 SOS 8859 HAS SOPS 8486 HAS SOUS 5114 HAS SOUPS 4804 WITH SCORE 4812.859
AT ITER 4196 NEW BEST:: SOT 28241 SOS 8854 HAS SOPS 8477 HAS SOUS 5105 HAS SOUPS 4791 WITH SCORE 4799.854
AT ITER 4205 NEW BEST:: SOT 28244 SOS 8855 HAS SOPS 8478 HAS SOUS 5103 HAS SOUPS 4789 WITH SCORE 4797.855
AT ITER 4206 NEW BEST:: SOT 28303 SOS 8752 HAS SOPS 8375 HAS SOUS 5086 HAS SOUPS 4772 WITH SCORE 4780.752
AT ITER 4221 NEW BEST:: SOT 28303 SOS 8712 HAS SOPS 8335 HAS SOUS 5078 HAS SOUPS 4764 WITH SCORE 4772.712
AT ITER 4279 NEW BEST:: SOT 28310 SOS 8697 HAS SOPS 8313 HAS SOUS 5075 HAS SOUPS 4754 WITH SCORE 4762.697
AT ITER 4316 NEW BEST:: SOT 28340 SOS 8721 HAS SOPS 8337 HAS SOUS 5069 HAS SOUPS 4748 WITH SCORE 4756.721
AT ITER 4343 NEW BEST:: SOT 28343 SOS 8715 HAS SOPS 8325 HAS SOUS 5072 HAS SOUPS 4745 WITH SCORE 4753.715
AT ITER 4389 NEW BEST:: SOT 28343 SOS 8593 HAS SOPS 8203 HAS SOUS 5072 HAS SOUPS 4745 WITH SCORE 4753.593
AT ITER 4400 NEW BEST:: SOT 28337 SOS 8593 HAS SOPS 8197 HAS SOUS 5076 HAS SOUPS 4743 WITH SCORE 4751.593
AT ITER 4414 NEW BEST:: SOT 28354 SOS 8569 HAS SOPS 8206 HAS SOUS 5027 HAS SOUPS 4727 WITH SCORE 4735.569
AT ITER 4415 NEW BEST:: SOT 28293 SOS 8491 HAS SOPS 8128 HAS SOUS 4970 HAS SOUPS 4670 WITH SCORE 4678.491
AT ITER 4429 NEW BEST:: SOT 28293 SOS 8491 HAS SOPS 8128 HAS SOUS 4967 HAS SOUPS 4667 WITH SCORE 4675.491
AT ITER 4447 NEW BEST:: SOT 28264 SOS 8462 HAS SOPS 8099 HAS SOUS 4935 HAS SOUPS 4635 WITH SCORE 4643.462
AT ITER 4539 NEW BEST:: SOT 28266 SOS 8458 HAS SOPS 8095 HAS SOUS 4933 HAS SOUPS 4633 WITH SCORE 4641.458
AT ITER 4542 NEW BEST:: SOT 28261 SOS 8449 HAS SOPS 8090 HAS SOUS 4921 HAS SOUPS 4625 WITH SCORE 4633.449
AT ITER 4555 NEW BEST:: SOT 28261 SOS 8449 HAS SOPS 8090 HAS SOUS 4918 HAS SOUPS 4622 WITH SCORE 4630.449
AT ITER 4562 NEW BEST:: SOT 28247 SOS 8422 HAS SOPS 8076 HAS SOUS 4905 HAS SOUPS 4622 WITH SCORE 4630.422
AT ITER 4668 NEW BEST:: SOT 28243 SOS 8418 HAS SOPS 8072 HAS SOUS 4893 HAS SOUPS 4610 WITH SCORE 4618.418
AT ITER 4692 NEW BEST:: SOT 28244 SOS 8414 HAS SOPS 8068 HAS SOUS 4892 HAS SOUPS 4609 WITH SCORE 4617.414
AT ITER 4700 NEW BEST:: SOT 28232 SOS 8402 HAS SOPS 8056 HAS SOUS 4884 HAS SOUPS 4601 WITH SCORE 4609.402
AT ITER 4762 NEW BEST:: SOT 28228 SOS 8398 HAS SOPS 8052 HAS SOUS 4876 HAS SOUPS 4593 WITH SCORE 4601.398
AT ITER 4799 NEW BEST:: SOT 28236 SOS 8388 HAS SOPS 8042 HAS SOUS 4872 HAS SOUPS 4589 WITH SCORE 4597.388
AT ITER 4812 NEW BEST:: SOT 28235 SOS 8387 HAS SOPS 8041 HAS SOUS 4870 HAS SOUPS 4587 WITH SCORE 4595.387
AT ITER 4845 NEW BEST:: SOT 28211 SOS 8387 HAS SOPS 8041 HAS SOUS 4862 HAS SOUPS 4579 WITH SCORE 4587.387
AT ITER 4855 NEW BEST:: SOT 28210 SOS 8386 HAS SOPS 8040 HAS SOUS 4860 HAS SOUPS 4577 WITH SCORE 4585.386
AT ITER 4926 NEW BEST:: SOT 28204 SOS 8380 HAS SOPS 8034 HAS SOUS 4858 HAS SOUPS 4575 WITH SCORE 4583.38
AT ITER 4952 NEW BEST:: SOT 28200 SOS 8356 HAS SOPS 8010 HAS SOUS 4852 HAS SOUPS 4569 WITH SCORE 4577.356
AT ITER 4971 NEW BEST:: SOT 28181 SOS 8337 HAS SOPS 7991 HAS SOUS 4831 HAS SOUPS 4548 WITH SCORE 4556.337
AT ITER 5021 NEW BEST:: SOT 28211 SOS 8357 HAS SOPS 7997 HAS SOUS 4833 HAS SOUPS 4543 WITH SCORE 4551.357
AT ITER 5028 NEW BEST:: SOT 28216 SOS 8363 HAS SOPS 8003 HAS SOUS 4832 HAS SOUPS 4542 WITH SCORE 4550.363
AT ITER 5107 NEW BEST:: SOT 28218 SOS 8364 HAS SOPS 8004 HAS SOUS 4831 HAS SOUPS 4541 WITH SCORE 4549.364
AT ITER 5108 NEW BEST:: SOT 28218 SOS 8362 HAS SOPS 8002 HAS SOUS 4831 HAS SOUPS 4541 WITH SCORE 4549.362
AT ITER 5135 NEW BEST:: SOT 28223 SOS 8367 HAS SOPS 8007 HAS SOUS 4830 HAS SOUPS 4540 WITH SCORE 4548.367
AT ITER 5236 NEW BEST:: SOT 28207 SOS 8341 HAS SOPS 7985 HAS SOUS 4822 HAS SOUPS 4536 WITH SCORE 4544.341
AT ITER 5286 NEW BEST:: SOT 28207 SOS 8337 HAS SOPS 7981 HAS SOUS 4822 HAS SOUPS 4536 WITH SCORE 4544.337
AT ITER 5304 NEW BEST:: SOT 28198 SOS 8328 HAS SOPS 7972 HAS SOUS 4820 HAS SOUPS 4534 WITH SCORE 4542.328
AT ITER 5343 NEW BEST:: SOT 28196 SOS 8326 HAS SOPS 7970 HAS SOUS 4819 HAS SOUPS 4533 WITH SCORE 4541.326
AT ITER 5355 NEW BEST:: SOT 28197 SOS 8309 HAS SOPS 7971 HAS SOUS 4809 HAS SOUPS 4532 WITH SCORE 4540.309
AT ITER 5384 NEW BEST:: SOT 28194 SOS 8306 HAS SOPS 7968 HAS SOUS 4803 HAS SOUPS 4526 WITH SCORE 4534.306
AT ITER 5491 NEW BEST:: SOT 28194 SOS 8266 HAS SOPS 7928 HAS SOUS 4803 HAS SOUPS 4526 WITH SCORE 4534.266
AT ITER 5544 NEW BEST:: SOT 28206 SOS 8280 HAS SOPS 7939 HAS SOUS 4800 HAS SOUPS 4520 WITH SCORE 4528.28
AT ITER 5579 NEW BEST:: SOT 28213 SOS 8277 HAS SOPS 7936 HAS SOUS 4794 HAS SOUPS 4514 WITH SCORE 4522.277
AT ITER 5586 NEW BEST:: SOT 28215 SOS 8279 HAS SOPS 7938 HAS SOUS 4788 HAS SOUPS 4508 WITH SCORE 4516.279
AT ITER 5599 NEW BEST:: SOT 28209 SOS 8274 HAS SOPS 7933 HAS SOUS 4776 HAS SOUPS 4496 WITH SCORE 4504.274
AT ITER 5624 NEW BEST:: SOT 28203 SOS 8268 HAS SOPS 7927 HAS SOUS 4774 HAS SOUPS 4494 WITH SCORE 4502.268
AT ITER 5638 NEW BEST:: SOT 28199 SOS 8264 HAS SOPS 7923 HAS SOUS 4766 HAS SOUPS 4486 WITH SCORE 4494.264
AT ITER 5697 NEW BEST:: SOT 28179 SOS 8269 HAS SOPS 7909 HAS SOUS 4775 HAS SOUPS 4476 WITH SCORE 4484.269
AT ITER 5724 NEW BEST:: SOT 28183 SOS 8265 HAS SOPS 7909 HAS SOUS 4771 HAS SOUPS 4476 WITH SCORE 4484.265
AT ITER 5743 NEW BEST:: SOT 28185 SOS 8242 HAS SOPS 7882 HAS SOUS 4755 HAS SOUPS 4457 WITH SCORE 4465.242
AT ITER 5820 NEW BEST:: SOT 28178 SOS 8136 HAS SOPS 7776 HAS SOUS 4744 HAS SOUPS 4446 WITH SCORE 4454.136
AT ITER 5828 NEW BEST:: SOT 28178 SOS 8136 HAS SOPS 7776 HAS SOUS 4742 HAS SOUPS 4444 WITH SCORE 4452.136
AT ITER 6018 NEW BEST:: SOT 28193 SOS 8139 HAS SOPS 7779 HAS SOUS 4741 HAS SOUPS 4443 WITH SCORE 4451.139
AT ITER 6025 NEW BEST:: SOT 28189 SOS 8131 HAS SOPS 7775 HAS SOUS 4720 HAS SOUPS 4426 WITH SCORE 4434.131
AT ITER 6056 NEW BEST:: SOT 28249 SOS 8096 HAS SOPS 7740 HAS SOUS 4712 HAS SOUPS 4418 WITH SCORE 4426.096
AT ITER 6071 NEW BEST:: SOT 28248 SOS 8091 HAS SOPS 7734 HAS SOUS 4711 HAS SOUPS 4416 WITH SCORE 4424.091
AT ITER 6166 NEW BEST:: SOT 28238 SOS 8078 HAS SOPS 7721 HAS SOUS 4703 HAS SOUPS 4408 WITH SCORE 4416.078
AT ITER 6169 NEW BEST:: SOT 28231 SOS 8071 HAS SOPS 7714 HAS SOUS 4688 HAS SOUPS 4393 WITH SCORE 4401.071
AT ITER 6195 NEW BEST:: SOT 28235 SOS 8075 HAS SOPS 7718 HAS SOUS 4682 HAS SOUPS 4387 WITH SCORE 4395.075
AT ITER 6285 NEW BEST:: SOT 28220 SOS 8048 HAS SOPS 7691 HAS SOUS 4672 HAS SOUPS 4377 WITH SCORE 4385.048
AT ITER 6330 NEW BEST:: SOT 28216 SOS 8044 HAS SOPS 7687 HAS SOUS 4668 HAS SOUPS 4373 WITH SCORE 4381.044
AT ITER 6341 NEW BEST:: SOT 28216 SOS 8044 HAS SOPS 7687 HAS SOUS 4660 HAS SOUPS 4365 WITH SCORE 4373.044
AT ITER 6453 NEW BEST:: SOT 28213 SOS 8041 HAS SOPS 7684 HAS SOUS 4657 HAS SOUPS 4362 WITH SCORE 4370.041
AT ITER 6574 NEW BEST:: SOT 28180 SOS 8080 HAS SOPS 7755 HAS SOUS 4624 HAS SOUPS 4361 WITH SCORE 4369.08
AT ITER 6578 NEW BEST:: SOT 28186 SOS 8074 HAS SOPS 7749 HAS SOUS 4618 HAS SOUPS 4355 WITH SCORE 4363.074
AT ITER 6687 NEW BEST:: SOT 28176 SOS 8064 HAS SOPS 7739 HAS SOUS 4618 HAS SOUPS 4355 WITH SCORE 4363.064
AT ITER 6763 NEW BEST:: SOT 28173 SOS 8061 HAS SOPS 7736 HAS SOUS 4618 HAS SOUPS 4355 WITH SCORE 4363.061
AT ITER 6804 NEW BEST:: SOT 28174 SOS 8058 HAS SOPS 7729 HAS SOUS 4621 HAS SOUPS 4354 WITH SCORE 4362.058
AT ITER 6946 NEW BEST:: SOT 28422 SOS 8300 HAS SOPS 7971 HAS SOUS 4611 HAS SOUPS 4344 WITH SCORE 4352.3
AT ITER 7098 NEW BEST:: SOT 28433 SOS 8293 HAS SOPS 7964 HAS SOUS 4606 HAS SOUPS 4339 WITH SCORE 4347.293
AT ITER 7131 NEW BEST:: SOT 28465 SOS 8257 HAS SOPS 7928 HAS SOUS 4603 HAS SOUPS 4336 WITH SCORE 4344.257
AT ITER 7135 NEW BEST:: SOT 28463 SOS 8255 HAS SOPS 7926 HAS SOUS 4601 HAS SOUPS 4334 WITH SCORE 4342.255
AT ITER 7147 NEW BEST:: SOT 28466 SOS 8214 HAS SOPS 7929 HAS SOUS 4580 HAS SOUPS 4330 WITH SCORE 4338.214
AT ITER 7173 NEW BEST:: SOT 28468 SOS 8207 HAS SOPS 7913 HAS SOUS 4575 HAS SOUPS 4316 WITH SCORE 4324.207
AT ITER 7189 NEW BEST:: SOT 28460 SOS 8172 HAS SOPS 7878 HAS SOUS 4541 HAS SOUPS 4282 WITH SCORE 4290.172
AT ITER 7242 NEW BEST:: SOT 28444 SOS 8166 HAS SOPS 7864 HAS SOUS 4533 HAS SOUPS 4266 WITH SCORE 4274.166
AT ITER 7312 NEW BEST:: SOT 28439 SOS 8159 HAS SOPS 7858 HAS SOUS 4530 HAS SOUPS 4264 WITH SCORE 4272.159
AT ITER 7329 NEW BEST:: SOT 28485 SOS 8067 HAS SOPS 7766 HAS SOUS 4461 HAS SOUPS 4195 WITH SCORE 4203.067
AT ITER 7355 NEW BEST:: SOT 28478 SOS 8063 HAS SOPS 7762 HAS SOUS 4454 HAS SOUPS 4188 WITH SCORE 4196.063
AT ITER 7424 NEW BEST:: SOT 28474 SOS 7930 HAS SOPS 7619 HAS SOUS 4463 HAS SOUPS 4187 WITH SCORE 4194.93
AT ITER 7427 NEW BEST:: SOT 28460 SOS 7738 HAS SOPS 7427 HAS SOUS 4426 HAS SOUPS 4150 WITH SCORE 4157.738
AT ITER 7438 NEW BEST:: SOT 28463 SOS 7736 HAS SOPS 7425 HAS SOUS 4424 HAS SOUPS 4148 WITH SCORE 4155.736
AT ITER 7545 NEW BEST:: SOT 28450 SOS 7745 HAS SOPS 7412 HAS SOUS 4441 HAS SOUPS 4147 WITH SCORE 4154.745
AT ITER 7594 NEW BEST:: SOT 28455 SOS 7801 HAS SOPS 7383 HAS SOUS 4472 HAS SOUPS 4139 WITH SCORE 4146.801
AT ITER 7727 NEW BEST:: SOT 28549 SOS 7841 HAS SOPS 7423 HAS SOUS 4462 HAS SOUPS 4129 WITH SCORE 4136.841
AT ITER 7731 NEW BEST:: SOT 28520 SOS 7843 HAS SOPS 7400 HAS SOUS 4480 HAS SOUPS 4122 WITH SCORE 4129.843
AT ITER 7850 NEW BEST:: SOT 28496 SOS 7819 HAS SOPS 7376 HAS SOUS 4476 HAS SOUPS 4118 WITH SCORE 4125.819
AT ITER 7867 NEW BEST:: SOT 28494 SOS 7817 HAS SOPS 7374 HAS SOUS 4472 HAS SOUPS 4114 WITH SCORE 4121.817
AT ITER 7880 NEW BEST:: SOT 28489 SOS 7807 HAS SOPS 7364 HAS SOUS 4467 HAS SOUPS 4109 WITH SCORE 4116.807
AT ITER 7931 NEW BEST:: SOT 28604 SOS 7968 HAS SOPS 7525 HAS SOUS 4461 HAS SOUPS 4103 WITH SCORE 4110.968
AT ITER 7938 NEW BEST:: SOT 28604 SOS 7964 HAS SOPS 7521 HAS SOUS 4461 HAS SOUPS 4103 WITH SCORE 4110.964
AT ITER 7971 NEW BEST:: SOT 28604 SOS 7964 HAS SOPS 7521 HAS SOUS 4460 HAS SOUPS 4102 WITH SCORE 4109.964
AT ITER 8015 NEW BEST:: SOT 28604 SOS 7950 HAS SOPS 7507 HAS SOUS 4455 HAS SOUPS 4097 WITH SCORE 4104.95
AT ITER 8024 NEW BEST:: SOT 28590 SOS 7922 HAS SOPS 7489 HAS SOUS 4429 HAS SOUPS 4081 WITH SCORE 4088.922
AT ITER 8067 NEW BEST:: SOT 28589 SOS 7921 HAS SOPS 7488 HAS SOUS 4424 HAS SOUPS 4076 WITH SCORE 4083.921
AT ITER 8075 NEW BEST:: SOT 28587 SOS 7919 HAS SOPS 7486 HAS SOUS 4422 HAS SOUPS 4074 WITH SCORE 4081.919
AT ITER 8128 NEW BEST:: SOT 28579 SOS 7903 HAS SOPS 7470 HAS SOUS 4414 HAS SOUPS 4066 WITH SCORE 4073.903
AT ITER 8152 NEW BEST:: SOT 28575 SOS 7893 HAS SOPS 7460 HAS SOUS 4412 HAS SOUPS 4064 WITH SCORE 4071.893
AT ITER 8184 NEW BEST:: SOT 28574 SOS 7892 HAS SOPS 7459 HAS SOUS 4411 HAS SOUPS 4063 WITH SCORE 4070.892
AT ITER 8213 NEW BEST:: SOT 28575 SOS 7893 HAS SOPS 7460 HAS SOUS 4409 HAS SOUPS 4061 WITH SCORE 4068.893
AT ITER 8285 NEW BEST:: SOT 28581 SOS 7890 HAS SOPS 7454 HAS SOUS 4405 HAS SOUPS 4057 WITH SCORE 4064.89
AT ITER 8369 NEW BEST:: SOT 28578 SOS 7887 HAS SOPS 7451 HAS SOUS 4402 HAS SOUPS 4054 WITH SCORE 4061.887
AT ITER 8375 NEW BEST:: SOT 28580 SOS 7885 HAS SOPS 7451 HAS SOUS 4400 HAS SOUPS 4054 WITH SCORE 4061.885
AT ITER 8488 NEW BEST:: SOT 28572 SOS 7870 HAS SOPS 7436 HAS SOUS 4376 HAS SOUPS 4030 WITH SCORE 4037.87
AT ITER 8754 NEW BEST:: SOT 28564 SOS 7868 HAS SOPS 7434 HAS SOUS 4365 HAS SOUPS 4019 WITH SCORE 4026.868
AT ITER 8792 NEW BEST:: SOT 28565 SOS 7869 HAS SOPS 7435 HAS SOUS 4364 HAS SOUPS 4018 WITH SCORE 4025.869
AT ITER 8818 NEW BEST:: SOT 28569 SOS 7851 HAS SOPS 7415 HAS SOUS 4358 HAS SOUPS 4012 WITH SCORE 4019.851
AT ITER 8824 NEW BEST:: SOT 28572 SOS 7856 HAS SOPS 7418 HAS SOUS 4359 HAS SOUPS 4011 WITH SCORE 4018.856
AT ITER 8859 NEW BEST:: SOT 28561 SOS 7765 HAS SOPS 7327 HAS SOUS 4333 HAS SOUPS 3985 WITH SCORE 3992.765
AT ITER 8987 NEW BEST:: SOT 28555 SOS 7764 HAS SOPS 7318 HAS SOUS 4340 HAS SOUPS 3984 WITH SCORE 3991.764
AT ITER 9043 NEW BEST:: SOT 28539 SOS 7765 HAS SOPS 7319 HAS SOUS 4336 HAS SOUPS 3980 WITH SCORE 3987.765
AT ITER 9048 NEW BEST:: SOT 28539 SOS 7754 HAS SOPS 7307 HAS SOUS 4334 HAS SOUPS 3977 WITH SCORE 3984.754
AT ITER 9059 NEW BEST:: SOT 28539 SOS 7661 HAS SOPS 7214 HAS SOUS 4330 HAS SOUPS 3973 WITH SCORE 3980.661
AT ITER 9060 NEW BEST:: SOT 28527 SOS 7701 HAS SOPS 7254 HAS SOUS 4327 HAS SOUPS 3970 WITH SCORE 3977.701
AT ITER 9071 NEW BEST:: SOT 28547 SOS 7661 HAS SOPS 7214 HAS SOUS 4327 HAS SOUPS 3970 WITH SCORE 3977.661
AT ITER 9111 NEW BEST:: SOT 28539 SOS 7649 HAS SOPS 7202 HAS SOUS 4310 HAS SOUPS 3953 WITH SCORE 3960.649
AT ITER 9232 NEW BEST:: SOT 28548 SOS 7643 HAS SOPS 7196 HAS SOUS 4301 HAS SOUPS 3944 WITH SCORE 3951.643
AT ITER 9282 NEW BEST:: SOT 28546 SOS 7641 HAS SOPS 7194 HAS SOUS 4301 HAS SOUPS 3944 WITH SCORE 3951.641
AT ITER 9346 NEW BEST:: SOT 28546 SOS 7627 HAS SOPS 7180 HAS SOUS 4299 HAS SOUPS 3942 WITH SCORE 3949.627
AT ITER 9434 NEW BEST:: SOT 28567 SOS 7571 HAS SOPS 7124 HAS SOUS 4299 HAS SOUPS 3942 WITH SCORE 3949.571
AT ITER 9592 NEW BEST:: SOT 28565 SOS 7541 HAS SOPS 7091 HAS SOUS 4291 HAS SOUPS 3931 WITH SCORE 3938.541
AT ITER 9723 NEW BEST:: SOT 28551 SOS 7527 HAS SOPS 7077 HAS SOUS 4284 HAS SOUPS 3924 WITH SCORE 3931.527
AT ITER 9749 NEW BEST:: SOT 28550 SOS 7526 HAS SOPS 7076 HAS SOUS 4283 HAS SOUPS 3923 WITH SCORE 3930.526
AT ITER 9757 NEW BEST:: SOT 28570 SOS 7533 HAS SOPS 7083 HAS SOUS 4275 HAS SOUPS 3915 WITH SCORE 3922.533
AT ITER 9814 NEW BEST:: SOT 28565 SOS 7528 HAS SOPS 7078 HAS SOUS 4270 HAS SOUPS 3910 WITH SCORE 3917.528
AT ITER 9820 NEW BEST:: SOT 28565 SOS 7526 HAS SOPS 7077 HAS SOUS 4269 HAS SOUPS 3910 WITH SCORE 3917.526
AT ITER 9926 NEW BEST:: SOT 28565 SOS 7525 HAS SOPS 7076 HAS SOUS 4269 HAS SOUPS 3910 WITH SCORE 3917.525

BK_STOP 1678808655709

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

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-1A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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