About the Execution of smart for SmartHome-PT-10
| Execution Summary | |||||
| Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
| 15767.350 | 51852.00 | 51050.00 | 0.00 | 4.3009E+0011 3.9089E+0012 1 11 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033538300080.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300080
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 224K
-rw-r--r-- 1 mcc users 2.7K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 14K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 21:28 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 21:28 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K 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 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 68K May 12 20:42 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 1590469745997
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 10
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 273 places, 308 transitions, 699 arcs.
AT ITER 0 NEW BEST:: SOT 48623 SOS 11211 HAS SOPS 11211 HAS SOUS 10718 HAS SOUPS 10718 WITH SCORE 10729.211
AT ITER 9 NEW BEST:: SOT 48479 SOS 11497 HAS SOPS 11497 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10625.497
AT ITER 35 NEW BEST:: SOT 48471 SOS 11481 HAS SOPS 11481 HAS SOUS 10586 HAS SOUPS 10586 WITH SCORE 10597.481
AT ITER 44 NEW BEST:: SOT 48471 SOS 11461 HAS SOPS 11461 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10582.461
AT ITER 47 NEW BEST:: SOT 48439 SOS 11397 HAS SOPS 11397 HAS SOUS 10507 HAS SOUPS 10507 WITH SCORE 10518.397
AT ITER 51 NEW BEST:: SOT 48419 SOS 11377 HAS SOPS 11377 HAS SOUS 10487 HAS SOUPS 10487 WITH SCORE 10498.377
AT ITER 60 NEW BEST:: SOT 48048 SOS 13224 HAS SOPS 13224 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10467.224
AT ITER 63 NEW BEST:: SOT 48036 SOS 13224 HAS SOPS 13224 HAS SOUS 10453 HAS SOUPS 10453 WITH SCORE 10466.224
AT ITER 65 NEW BEST:: SOT 47972 SOS 13096 HAS SOPS 13096 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10354.096
AT ITER 76 NEW BEST:: SOT 47958 SOS 13082 HAS SOPS 13082 HAS SOUS 10327 HAS SOUPS 10327 WITH SCORE 10340.082
AT ITER 90 NEW BEST:: SOT 47921 SOS 13079 HAS SOPS 13079 HAS SOUS 10309 HAS SOUPS 10309 WITH SCORE 10322.079
AT ITER 97 NEW BEST:: SOT 47903 SOS 12982 HAS SOPS 12982 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10285.982
AT ITER 110 NEW BEST:: SOT 47891 SOS 12958 HAS SOPS 12958 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10261.958
AT ITER 130 NEW BEST:: SOT 47891 SOS 12924 HAS SOPS 12924 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.924
AT ITER 131 NEW BEST:: SOT 47891 SOS 12920 HAS SOPS 12920 HAS SOUS 10241 HAS SOUPS 10241 WITH SCORE 10253.92
AT ITER 146 NEW BEST:: SOT 47466 SOS 12810 HAS SOPS 12810 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9828.81
AT ITER 153 NEW BEST:: SOT 47404 SOS 13252 HAS SOPS 13252 HAS SOUS 9810 HAS SOUPS 9810 WITH SCORE 9823.252
AT ITER 154 NEW BEST:: SOT 47373 SOS 13190 HAS SOPS 13190 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9797.19
AT ITER 167 NEW BEST:: SOT 47400 SOS 13199 HAS SOPS 13199 HAS SOUS 9765 HAS SOUPS 9765 WITH SCORE 9778.199
AT ITER 174 NEW BEST:: SOT 47372 SOS 13143 HAS SOPS 13143 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9760.143
AT ITER 177 NEW BEST:: SOT 47355 SOS 13133 HAS SOPS 13133 HAS SOUS 9737 HAS SOUPS 9737 WITH SCORE 9750.133
AT ITER 182 NEW BEST:: SOT 47354 SOS 13131 HAS SOPS 13131 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9748.131
AT ITER 191 NEW BEST:: SOT 47354 SOS 13131 HAS SOPS 13131 HAS SOUS 9729 HAS SOUPS 9729 WITH SCORE 9742.131
AT ITER 195 NEW BEST:: SOT 47348 SOS 13130 HAS SOPS 13130 HAS SOUS 9728 HAS SOUPS 9728 WITH SCORE 9741.13
AT ITER 220 NEW BEST:: SOT 47348 SOS 13128 HAS SOPS 13128 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9740.128
AT ITER 231 NEW BEST:: SOT 47348 SOS 13116 HAS SOPS 13116 HAS SOUS 9715 HAS SOUPS 9715 WITH SCORE 9728.116
AT ITER 246 NEW BEST:: SOT 47374 SOS 13168 HAS SOPS 13168 HAS SOUS 9692 HAS SOUPS 9692 WITH SCORE 9705.168
AT ITER 255 NEW BEST:: SOT 47370 SOS 13168 HAS SOPS 13168 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9697.168
AT ITER 257 NEW BEST:: SOT 47361 SOS 13159 HAS SOPS 13159 HAS SOUS 9675 HAS SOUPS 9675 WITH SCORE 9688.159
AT ITER 261 NEW BEST:: SOT 47337 SOS 13111 HAS SOPS 13111 HAS SOUS 9651 HAS SOUPS 9651 WITH SCORE 9664.111
AT ITER 286 NEW BEST:: SOT 47302 SOS 13041 HAS SOPS 13041 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9594.041
AT ITER 304 NEW BEST:: SOT 47262 SOS 12981 HAS SOPS 12981 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9533.981
AT ITER 313 NEW BEST:: SOT 47262 SOS 12975 HAS SOPS 12975 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9528.975
AT ITER 316 NEW BEST:: SOT 47218 SOS 12887 HAS SOPS 12887 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9440.887
AT ITER 323 NEW BEST:: SOT 47195 SOS 12883 HAS SOPS 12883 HAS SOUS 9415 HAS SOUPS 9415 WITH SCORE 9427.883
AT ITER 366 NEW BEST:: SOT 47186 SOS 12865 HAS SOPS 12865 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9415.865
AT ITER 369 NEW BEST:: SOT 47186 SOS 12820 HAS SOPS 12820 HAS SOUS 9403 HAS SOUPS 9403 WITH SCORE 9415.82
AT ITER 372 NEW BEST:: SOT 47186 SOS 12819 HAS SOPS 12819 HAS SOUS 9402 HAS SOUPS 9402 WITH SCORE 9414.819
AT ITER 376 NEW BEST:: SOT 47168 SOS 12814 HAS SOPS 12814 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9403.814
AT ITER 383 NEW BEST:: SOT 47161 SOS 12800 HAS SOPS 12800 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9389.8
AT ITER 396 NEW BEST:: SOT 47151 SOS 12803 HAS SOPS 12803 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9388.803
AT ITER 406 NEW BEST:: SOT 47129 SOS 12782 HAS SOPS 12782 HAS SOUS 9347 HAS SOUPS 9347 WITH SCORE 9359.782
AT ITER 413 NEW BEST:: SOT 47125 SOS 12774 HAS SOPS 12774 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9357.774
AT ITER 423 NEW BEST:: SOT 47134 SOS 12674 HAS SOPS 12674 HAS SOUS 9345 HAS SOUPS 9345 WITH SCORE 9357.674
AT ITER 434 NEW BEST:: SOT 47121 SOS 12664 HAS SOPS 12664 HAS SOUS 9335 HAS SOUPS 9335 WITH SCORE 9347.664
AT ITER 442 NEW BEST:: SOT 47140 SOS 12634 HAS SOPS 12634 HAS SOUS 9334 HAS SOUPS 9334 WITH SCORE 9346.634
AT ITER 450 NEW BEST:: SOT 47131 SOS 12607 HAS SOPS 12607 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9328.607
AT ITER 462 NEW BEST:: SOT 47104 SOS 12553 HAS SOPS 12553 HAS SOUS 9289 HAS SOUPS 9289 WITH SCORE 9301.553
AT ITER 466 NEW BEST:: SOT 47072 SOS 12489 HAS SOPS 12489 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9241.489
AT ITER 470 NEW BEST:: SOT 47055 SOS 12455 HAS SOPS 12455 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9207.455
AT ITER 480 NEW BEST:: SOT 47117 SOS 12396 HAS SOPS 12396 HAS SOUS 9164 HAS SOUPS 9164 WITH SCORE 9176.396
AT ITER 487 NEW BEST:: SOT 47103 SOS 12368 HAS SOPS 12368 HAS SOUS 9150 HAS SOUPS 9150 WITH SCORE 9162.368
AT ITER 497 NEW BEST:: SOT 47072 SOS 12306 HAS SOPS 12306 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9110.306
AT ITER 511 NEW BEST:: SOT 47064 SOS 12294 HAS SOPS 12294 HAS SOUS 9086 HAS SOUPS 9086 WITH SCORE 9098.294
AT ITER 512 NEW BEST:: SOT 47057 SOS 12280 HAS SOPS 12280 HAS SOUS 9054 HAS SOUPS 9054 WITH SCORE 9066.28
AT ITER 523 NEW BEST:: SOT 47056 SOS 12278 HAS SOPS 12278 HAS SOUS 9052 HAS SOUPS 9052 WITH SCORE 9064.278
AT ITER 537 NEW BEST:: SOT 47038 SOS 12233 HAS SOPS 12233 HAS SOUS 9025 HAS SOUPS 9025 WITH SCORE 9037.233
AT ITER 547 NEW BEST:: SOT 47031 SOS 12219 HAS SOPS 12219 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9023.219
AT ITER 553 NEW BEST:: SOT 46824 SOS 12956 HAS SOPS 12956 HAS SOUS 8834 HAS SOUPS 8834 WITH SCORE 8846.956
AT ITER 589 NEW BEST:: SOT 46827 SOS 12962 HAS SOPS 12962 HAS SOUS 8812 HAS SOUPS 8812 WITH SCORE 8824.962
AT ITER 607 NEW BEST:: SOT 46623 SOS 13394 HAS SOPS 13394 HAS SOUS 8661 HAS SOUPS 8661 WITH SCORE 8674.394
AT ITER 618 NEW BEST:: SOT 46617 SOS 13382 HAS SOPS 13382 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8668.382
AT ITER 633 NEW BEST:: SOT 46606 SOS 13393 HAS SOPS 13393 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8662.393
AT ITER 634 NEW BEST:: SOT 46554 SOS 14288 HAS SOPS 14288 HAS SOUS 8639 HAS SOUPS 8639 WITH SCORE 8653.288
AT ITER 653 NEW BEST:: SOT 46531 SOS 14242 HAS SOPS 14242 HAS SOUS 8572 HAS SOUPS 8572 WITH SCORE 8586.242
AT ITER 665 NEW BEST:: SOT 46531 SOS 14227 HAS SOPS 14227 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8571.227
AT ITER 686 NEW BEST:: SOT 46514 SOS 14192 HAS SOPS 14192 HAS SOUS 8522 HAS SOUPS 8522 WITH SCORE 8536.192
AT ITER 690 NEW BEST:: SOT 46512 SOS 13746 HAS SOPS 13746 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8503.746
AT ITER 694 NEW BEST:: SOT 46510 SOS 13742 HAS SOPS 13742 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8501.742
AT ITER 696 NEW BEST:: SOT 46510 SOS 13740 HAS SOPS 13740 HAS SOUS 8487 HAS SOUPS 8487 WITH SCORE 8500.74
AT ITER 720 NEW BEST:: SOT 46510 SOS 13740 HAS SOPS 13740 HAS SOUS 8470 HAS SOUPS 8470 WITH SCORE 8483.74
AT ITER 722 NEW BEST:: SOT 46486 SOS 13692 HAS SOPS 13692 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8435.692
AT ITER 750 NEW BEST:: SOT 46479 SOS 13440 HAS SOPS 13440 HAS SOUS 8408 HAS SOUPS 8408 WITH SCORE 8421.44
AT ITER 752 NEW BEST:: SOT 46361 SOS 13319 HAS SOPS 13319 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8392.319
AT ITER 759 NEW BEST:: SOT 46331 SOS 13259 HAS SOPS 13259 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8377.259
AT ITER 790 NEW BEST:: SOT 46369 SOS 13295 HAS SOPS 13295 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8373.295
AT ITER 794 NEW BEST:: SOT 46369 SOS 13294 HAS SOPS 13294 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8372.294
AT ITER 800 NEW BEST:: SOT 46362 SOS 13287 HAS SOPS 13287 HAS SOUS 8352 HAS SOUPS 8352 WITH SCORE 8365.287
AT ITER 822 NEW BEST:: SOT 46362 SOS 13289 HAS SOPS 13289 HAS SOUS 8344 HAS SOUPS 8344 WITH SCORE 8357.289
AT ITER 823 NEW BEST:: SOT 46336 SOS 12574 HAS SOPS 12574 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8330.574
AT ITER 824 NEW BEST:: SOT 46336 SOS 12574 HAS SOPS 12574 HAS SOUS 8317 HAS SOUPS 8317 WITH SCORE 8329.574
AT ITER 831 NEW BEST:: SOT 46336 SOS 12560 HAS SOPS 12560 HAS SOUS 8310 HAS SOUPS 8310 WITH SCORE 8322.56
AT ITER 852 NEW BEST:: SOT 46336 SOS 12532 HAS SOPS 12532 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8309.532
AT ITER 870 NEW BEST:: SOT 46327 SOS 12514 HAS SOPS 12514 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8308.514
AT ITER 872 NEW BEST:: SOT 46319 SOS 12506 HAS SOPS 12506 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8300.506
AT ITER 877 NEW BEST:: SOT 46307 SOS 12483 HAS SOPS 12483 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8277.483
AT ITER 878 NEW BEST:: SOT 46296 SOS 12461 HAS SOPS 12461 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8275.461
AT ITER 889 NEW BEST:: SOT 46296 SOS 12456 HAS SOPS 12456 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8270.456
AT ITER 892 NEW BEST:: SOT 46296 SOS 12455 HAS SOPS 12455 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8270.455
AT ITER 898 NEW BEST:: SOT 46283 SOS 12429 HAS SOPS 12429 HAS SOUS 8220 HAS SOUPS 8220 WITH SCORE 8232.429
AT ITER 904 NEW BEST:: SOT 46283 SOS 12448 HAS SOPS 12448 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.448
AT ITER 913 NEW BEST:: SOT 46226 SOS 12372 HAS SOPS 12372 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8196.372
AT ITER 940 NEW BEST:: SOT 46210 SOS 12356 HAS SOPS 12356 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8182.356
AT ITER 968 NEW BEST:: SOT 46210 SOS 12345 HAS SOPS 12345 HAS SOUS 8159 HAS SOUPS 8159 WITH SCORE 8171.345
AT ITER 985 NEW BEST:: SOT 46209 SOS 12330 HAS SOPS 12330 HAS SOUS 8144 HAS SOUPS 8144 WITH SCORE 8156.33
AT ITER 1025 NEW BEST:: SOT 46139 SOS 12190 HAS SOPS 12190 HAS SOUS 8039 HAS SOUPS 8039 WITH SCORE 8051.19
AT ITER 1042 NEW BEST:: SOT 46137 SOS 12186 HAS SOPS 12186 HAS SOUS 8037 HAS SOUPS 8037 WITH SCORE 8049.186
AT ITER 1050 NEW BEST:: SOT 46052 SOS 12059 HAS SOPS 12059 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7985.059
AT ITER 1051 NEW BEST:: SOT 46051 SOS 12057 HAS SOPS 12057 HAS SOUS 7972 HAS SOUPS 7972 WITH SCORE 7984.057
AT ITER 1064 NEW BEST:: SOT 46051 SOS 12057 HAS SOPS 12057 HAS SOUS 7967 HAS SOUPS 7967 WITH SCORE 7979.057
AT ITER 1066 NEW BEST:: SOT 46050 SOS 12055 HAS SOPS 12055 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7978.055
AT ITER 1085 NEW BEST:: SOT 46050 SOS 12051 HAS SOPS 12051 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7974.051
AT ITER 1087 NEW BEST:: SOT 46004 SOS 11924 HAS SOPS 11924 HAS SOUS 7933 HAS SOUPS 7933 WITH SCORE 7944.924
AT ITER 1133 NEW BEST:: SOT 45986 SOS 11906 HAS SOPS 11906 HAS SOUS 7915 HAS SOUPS 7915 WITH SCORE 7926.906
AT ITER 1137 NEW BEST:: SOT 45989 SOS 11912 HAS SOPS 11912 HAS SOUS 7912 HAS SOUPS 7912 WITH SCORE 7923.912
AT ITER 1153 NEW BEST:: SOT 45989 SOS 11878 HAS SOPS 11878 HAS SOUS 7911 HAS SOUPS 7911 WITH SCORE 7922.878
AT ITER 1158 NEW BEST:: SOT 45987 SOS 11886 HAS SOPS 11886 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7918.886
AT ITER 1159 NEW BEST:: SOT 45987 SOS 11838 HAS SOPS 11838 HAS SOUS 7859 HAS SOUPS 7859 WITH SCORE 7870.838
AT ITER 1162 NEW BEST:: SOT 45987 SOS 11838 HAS SOPS 11838 HAS SOUS 7858 HAS SOUPS 7858 WITH SCORE 7869.838
AT ITER 1186 NEW BEST:: SOT 46010 SOS 11876 HAS SOPS 11876 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7867.876
AT ITER 1236 NEW BEST:: SOT 45996 SOS 11862 HAS SOPS 11862 HAS SOUS 7856 HAS SOUPS 7856 WITH SCORE 7867.862
AT ITER 1237 NEW BEST:: SOT 45999 SOS 11868 HAS SOPS 11868 HAS SOUS 7806 HAS SOUPS 7806 WITH SCORE 7817.868
AT ITER 1242 NEW BEST:: SOT 45987 SOS 11853 HAS SOPS 11853 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7814.853
AT ITER 1251 NEW BEST:: SOT 45981 SOS 11772 HAS SOPS 11772 HAS SOUS 7772 HAS SOUPS 7772 WITH SCORE 7783.772
AT ITER 1257 NEW BEST:: SOT 45968 SOS 11746 HAS SOPS 11746 HAS SOUS 7742 HAS SOUPS 7742 WITH SCORE 7753.746
AT ITER 1271 NEW BEST:: SOT 45964 SOS 11675 HAS SOPS 11675 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7680.675
AT ITER 1275 NEW BEST:: SOT 45964 SOS 11645 HAS SOPS 11645 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7680.645
AT ITER 1277 NEW BEST:: SOT 45951 SOS 11610 HAS SOPS 11610 HAS SOUS 7652 HAS SOUPS 7652 WITH SCORE 7663.61
AT ITER 1298 NEW BEST:: SOT 45931 SOS 11598 HAS SOPS 11598 HAS SOUS 7645 HAS SOUPS 7645 WITH SCORE 7656.598
AT ITER 1310 NEW BEST:: SOT 45930 SOS 11596 HAS SOPS 11596 HAS SOUS 7643 HAS SOUPS 7643 WITH SCORE 7654.596
AT ITER 1344 NEW BEST:: SOT 45930 SOS 11596 HAS SOPS 11596 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7647.596
AT ITER 1367 NEW BEST:: SOT 45917 SOS 11570 HAS SOPS 11570 HAS SOUS 7623 HAS SOUPS 7623 WITH SCORE 7634.57
AT ITER 1368 NEW BEST:: SOT 45897 SOS 11530 HAS SOPS 11530 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7611.53
AT ITER 1396 NEW BEST:: SOT 45894 SOS 11524 HAS SOPS 11524 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7608.524
AT ITER 1407 NEW BEST:: SOT 45894 SOS 11503 HAS SOPS 11503 HAS SOUS 7583 HAS SOUPS 7583 WITH SCORE 7594.503
AT ITER 1419 NEW BEST:: SOT 45884 SOS 11483 HAS SOPS 11483 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7574.483
AT ITER 1425 NEW BEST:: SOT 45875 SOS 11465 HAS SOPS 11465 HAS SOUS 7545 HAS SOUPS 7545 WITH SCORE 7556.465
AT ITER 1433 NEW BEST:: SOT 45875 SOS 11463 HAS SOPS 11463 HAS SOUS 7543 HAS SOUPS 7543 WITH SCORE 7554.463
AT ITER 1457 NEW BEST:: SOT 45875 SOS 11463 HAS SOPS 11463 HAS SOUS 7537 HAS SOUPS 7537 WITH SCORE 7548.463
AT ITER 1463 NEW BEST:: SOT 45824 SOS 11546 HAS SOPS 11546 HAS SOUS 7503 HAS SOUPS 7503 WITH SCORE 7514.546
AT ITER 1469 NEW BEST:: SOT 45833 SOS 11564 HAS SOPS 11564 HAS SOUS 7492 HAS SOUPS 7492 WITH SCORE 7503.564
AT ITER 1479 NEW BEST:: SOT 45771 SOS 11440 HAS SOPS 11440 HAS SOUS 7433 HAS SOUPS 7433 WITH SCORE 7444.44
AT ITER 1530 NEW BEST:: SOT 45771 SOS 11452 HAS SOPS 11452 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7432.452
AT ITER 1547 NEW BEST:: SOT 45771 SOS 11441 HAS SOPS 11441 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7432.441
AT ITER 1571 NEW BEST:: SOT 45781 SOS 11461 HAS SOPS 11461 HAS SOUS 7359 HAS SOUPS 7359 WITH SCORE 7370.461
AT ITER 1579 NEW BEST:: SOT 45772 SOS 11425 HAS SOPS 11425 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7361.425
AT ITER 1594 NEW BEST:: SOT 45768 SOS 11421 HAS SOPS 11421 HAS SOUS 7346 HAS SOUPS 7346 WITH SCORE 7357.421
AT ITER 1610 NEW BEST:: SOT 45768 SOS 11421 HAS SOPS 11421 HAS SOUS 7340 HAS SOUPS 7340 WITH SCORE 7351.421
AT ITER 1616 NEW BEST:: SOT 45748 SOS 11401 HAS SOPS 11401 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7330.401
AT ITER 1630 NEW BEST:: SOT 45748 SOS 11397 HAS SOPS 11397 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7330.397
AT ITER 1659 NEW BEST:: SOT 45735 SOS 11371 HAS SOPS 11371 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7307.371
AT ITER 1694 NEW BEST:: SOT 45735 SOS 11366 HAS SOPS 11366 HAS SOUS 7296 HAS SOUPS 7296 WITH SCORE 7307.366
AT ITER 1712 NEW BEST:: SOT 45733 SOS 11362 HAS SOPS 11362 HAS SOUS 7292 HAS SOUPS 7292 WITH SCORE 7303.362
AT ITER 1731 NEW BEST:: SOT 45727 SOS 11350 HAS SOPS 11350 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7291.35
AT ITER 1745 NEW BEST:: SOT 45715 SOS 11338 HAS SOPS 11338 HAS SOUS 7274 HAS SOUPS 7274 WITH SCORE 7285.338
AT ITER 1751 NEW BEST:: SOT 45695 SOS 11278 HAS SOPS 11278 HAS SOUS 7220 HAS SOUPS 7220 WITH SCORE 7231.278
AT ITER 1804 NEW BEST:: SOT 45695 SOS 11268 HAS SOPS 11268 HAS SOUS 7210 HAS SOUPS 7210 WITH SCORE 7221.268
AT ITER 1816 NEW BEST:: SOT 45693 SOS 11264 HAS SOPS 11264 HAS SOUS 7208 HAS SOUPS 7208 WITH SCORE 7219.264
AT ITER 1833 NEW BEST:: SOT 45692 SOS 11262 HAS SOPS 11262 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7218.262
AT ITER 1846 NEW BEST:: SOT 45681 SOS 11251 HAS SOPS 11251 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7207.251
AT ITER 1869 NEW BEST:: SOT 45670 SOS 11229 HAS SOPS 11229 HAS SOUS 7174 HAS SOUPS 7174 WITH SCORE 7185.229
AT ITER 1904 NEW BEST:: SOT 45669 SOS 11227 HAS SOPS 11227 HAS SOUS 7172 HAS SOUPS 7172 WITH SCORE 7183.227
AT ITER 1919 NEW BEST:: SOT 45657 SOS 11203 HAS SOPS 11203 HAS SOUS 7148 HAS SOUPS 7148 WITH SCORE 7159.203
AT ITER 1948 NEW BEST:: SOT 45649 SOS 11203 HAS SOPS 11203 HAS SOUS 7147 HAS SOUPS 7147 WITH SCORE 7158.203
AT ITER 1955 NEW BEST:: SOT 45625 SOS 11163 HAS SOPS 11163 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7122.163
AT ITER 2035 NEW BEST:: SOT 45614 SOS 11141 HAS SOPS 11141 HAS SOUS 7100 HAS SOUPS 7100 WITH SCORE 7111.141
AT ITER 2041 NEW BEST:: SOT 45602 SOS 11123 HAS SOPS 11123 HAS SOUS 7085 HAS SOUPS 7085 WITH SCORE 7096.123
AT ITER 2047 NEW BEST:: SOT 45596 SOS 11167 HAS SOPS 11167 HAS SOUS 7073 HAS SOUPS 7073 WITH SCORE 7084.167
AT ITER 2048 NEW BEST:: SOT 45600 SOS 11148 HAS SOPS 11148 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7065.148
AT ITER 2060 NEW BEST:: SOT 45596 SOS 11133 HAS SOPS 11133 HAS SOUS 7039 HAS SOUPS 7039 WITH SCORE 7050.133
AT ITER 2062 NEW BEST:: SOT 45597 SOS 11117 HAS SOPS 11117 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7034.117
AT ITER 2065 NEW BEST:: SOT 45588 SOS 11099 HAS SOPS 11099 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7016.099
AT ITER 2080 NEW BEST:: SOT 45585 SOS 11093 HAS SOPS 11093 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7010.093
AT ITER 2083 NEW BEST:: SOT 45540 SOS 11017 HAS SOPS 11017 HAS SOUS 6904 HAS SOUPS 6904 WITH SCORE 6915.017
AT ITER 2091 NEW BEST:: SOT 45534 SOS 11008 HAS SOPS 11008 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6909.008
AT ITER 2102 NEW BEST:: SOT 45528 SOS 10996 HAS SOPS 10996 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6908.996
AT ITER 2106 NEW BEST:: SOT 45527 SOS 10988 HAS SOPS 10988 HAS SOUS 6891 HAS SOUPS 6891 WITH SCORE 6901.988
AT ITER 2123 NEW BEST:: SOT 45527 SOS 10987 HAS SOPS 10987 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6900.987
AT ITER 2136 NEW BEST:: SOT 45497 SOS 10927 HAS SOPS 10927 HAS SOUS 6860 HAS SOUPS 6860 WITH SCORE 6870.927
AT ITER 2145 NEW BEST:: SOT 45487 SOS 10907 HAS SOPS 10907 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6850.907
AT ITER 2171 NEW BEST:: SOT 45467 SOS 10867 HAS SOPS 10867 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6846.867
AT ITER 2172 NEW BEST:: SOT 45417 SOS 10817 HAS SOPS 10817 HAS SOUS 6835 HAS SOUPS 6835 WITH SCORE 6845.817
AT ITER 2183 NEW BEST:: SOT 45390 SOS 10790 HAS SOPS 10790 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6818.79
AT ITER 2187 NEW BEST:: SOT 45390 SOS 10792 HAS SOPS 10792 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6816.792
AT ITER 2189 NEW BEST:: SOT 45388 SOS 10788 HAS SOPS 10788 HAS SOUS 6802 HAS SOUPS 6802 WITH SCORE 6812.788
AT ITER 2200 NEW BEST:: SOT 45305 SOS 10690 HAS SOPS 10690 HAS SOUS 6772 HAS SOUPS 6772 WITH SCORE 6782.69
AT ITER 2202 NEW BEST:: SOT 45303 SOS 10686 HAS SOPS 10686 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6778.686
AT ITER 2205 NEW BEST:: SOT 45308 SOS 10696 HAS SOPS 10696 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6775.696
AT ITER 2254 NEW BEST:: SOT 45293 SOS 10691 HAS SOPS 10691 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6745.691
AT ITER 2269 NEW BEST:: SOT 45293 SOS 10691 HAS SOPS 10691 HAS SOUS 6720 HAS SOUPS 6720 WITH SCORE 6730.691
AT ITER 2289 NEW BEST:: SOT 45275 SOS 10674 HAS SOPS 10674 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6703.674
AT ITER 2310 NEW BEST:: SOT 45266 SOS 10669 HAS SOPS 10669 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6698.669
AT ITER 2342 NEW BEST:: SOT 45259 SOS 10655 HAS SOPS 10655 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6684.655
AT ITER 2351 NEW BEST:: SOT 45259 SOS 10655 HAS SOPS 10655 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6683.655
AT ITER 2353 NEW BEST:: SOT 45239 SOS 10603 HAS SOPS 10603 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6679.603
AT ITER 2367 NEW BEST:: SOT 45228 SOS 10571 HAS SOPS 10571 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6665.571
AT ITER 2392 NEW BEST:: SOT 45229 SOS 10573 HAS SOPS 10573 HAS SOUS 6649 HAS SOUPS 6649 WITH SCORE 6659.573
AT ITER 2414 NEW BEST:: SOT 45231 SOS 10573 HAS SOPS 10573 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6657.573
AT ITER 2449 NEW BEST:: SOT 45225 SOS 10561 HAS SOPS 10561 HAS SOUS 6641 HAS SOUPS 6641 WITH SCORE 6651.561
AT ITER 2452 NEW BEST:: SOT 45220 SOS 10551 HAS SOPS 10551 HAS SOUS 6640 HAS SOUPS 6640 WITH SCORE 6650.551
AT ITER 2456 NEW BEST:: SOT 45151 SOS 10482 HAS SOPS 10482 HAS SOUS 6580 HAS SOUPS 6580 WITH SCORE 6590.482
AT ITER 2458 NEW BEST:: SOT 45140 SOS 10460 HAS SOPS 10460 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6579.46
AT ITER 2463 NEW BEST:: SOT 45140 SOS 10460 HAS SOPS 10460 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6576.46
AT ITER 2491 NEW BEST:: SOT 45140 SOS 10459 HAS SOPS 10459 HAS SOUS 6565 HAS SOUPS 6565 WITH SCORE 6575.459
AT ITER 2495 NEW BEST:: SOT 45154 SOS 10459 HAS SOPS 10459 HAS SOUS 6540 HAS SOUPS 6540 WITH SCORE 6550.459
AT ITER 2520 NEW BEST:: SOT 45166 SOS 10471 HAS SOPS 10471 HAS SOUS 6534 HAS SOUPS 6534 WITH SCORE 6544.471
AT ITER 2604 NEW BEST:: SOT 45161 SOS 10466 HAS SOPS 10466 HAS SOUS 6529 HAS SOUPS 6529 WITH SCORE 6539.466
AT ITER 2610 NEW BEST:: SOT 45161 SOS 10457 HAS SOPS 10457 HAS SOUS 6520 HAS SOUPS 6520 WITH SCORE 6530.457
AT ITER 2622 NEW BEST:: SOT 45164 SOS 10445 HAS SOPS 10445 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6518.445
AT ITER 2645 NEW BEST:: SOT 45164 SOS 10436 HAS SOPS 10436 HAS SOUS 6508 HAS SOUPS 6508 WITH SCORE 6518.436
AT ITER 2665 NEW BEST:: SOT 45165 SOS 10449 HAS SOPS 10449 HAS SOUS 6505 HAS SOUPS 6505 WITH SCORE 6515.449
AT ITER 2667 NEW BEST:: SOT 45165 SOS 10449 HAS SOPS 10449 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6513.449
AT ITER 2685 NEW BEST:: SOT 45106 SOS 10331 HAS SOPS 10331 HAS SOUS 6480 HAS SOUPS 6480 WITH SCORE 6490.331
AT ITER 2693 NEW BEST:: SOT 45103 SOS 10325 HAS SOPS 10325 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6484.325
AT ITER 2706 NEW BEST:: SOT 45098 SOS 10309 HAS SOPS 10309 HAS SOUS 6464 HAS SOUPS 6464 WITH SCORE 6474.309
AT ITER 2733 NEW BEST:: SOT 45074 SOS 10261 HAS SOPS 10261 HAS SOUS 6416 HAS SOUPS 6416 WITH SCORE 6426.261
AT ITER 2823 NEW BEST:: SOT 45074 SOS 10261 HAS SOPS 10261 HAS SOUS 6372 HAS SOUPS 6372 WITH SCORE 6382.261
AT ITER 2832 NEW BEST:: SOT 45071 SOS 10252 HAS SOPS 10252 HAS SOUS 6369 HAS SOUPS 6369 WITH SCORE 6379.252
AT ITER 2882 NEW BEST:: SOT 45068 SOS 10258 HAS SOPS 10258 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6373.258
AT ITER 2914 NEW BEST:: SOT 45068 SOS 10258 HAS SOPS 10258 HAS SOUS 6362 HAS SOUPS 6362 WITH SCORE 6372.258
AT ITER 2944 NEW BEST:: SOT 45068 SOS 10257 HAS SOPS 10257 HAS SOUS 6361 HAS SOUPS 6361 WITH SCORE 6371.257
AT ITER 2970 NEW BEST:: SOT 45072 SOS 10255 HAS SOPS 10255 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6369.255
AT ITER 2994 NEW BEST:: SOT 45077 SOS 10195 HAS SOPS 10195 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6369.195
AT ITER 3015 NEW BEST:: SOT 45068 SOS 10186 HAS SOPS 10186 HAS SOUS 6359 HAS SOUPS 6359 WITH SCORE 6369.186
AT ITER 3024 NEW BEST:: SOT 45068 SOS 10182 HAS SOPS 10182 HAS SOUS 6355 HAS SOUPS 6355 WITH SCORE 6365.182
AT ITER 3035 NEW BEST:: SOT 45050 SOS 10150 HAS SOPS 10150 HAS SOUS 6341 HAS SOUPS 6341 WITH SCORE 6351.15
AT ITER 3046 NEW BEST:: SOT 45039 SOS 10142 HAS SOPS 10142 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6343.142
AT ITER 3095 NEW BEST:: SOT 45044 SOS 10158 HAS SOPS 10158 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6336.158
AT ITER 3102 NEW BEST:: SOT 45006 SOS 10120 HAS SOPS 10120 HAS SOUS 6288 HAS SOUPS 6288 WITH SCORE 6298.12
AT ITER 3197 NEW BEST:: SOT 44994 SOS 10138 HAS SOPS 10138 HAS SOUS 6284 HAS SOUPS 6284 WITH SCORE 6294.138
AT ITER 3211 NEW BEST:: SOT 44994 SOS 10131 HAS SOPS 10131 HAS SOUS 6277 HAS SOUPS 6277 WITH SCORE 6287.131
AT ITER 3225 NEW BEST:: SOT 44991 SOS 10125 HAS SOPS 10125 HAS SOUS 6274 HAS SOUPS 6274 WITH SCORE 6284.125
AT ITER 3258 NEW BEST:: SOT 44961 SOS 10073 HAS SOPS 10073 HAS SOUS 6268 HAS SOUPS 6268 WITH SCORE 6278.073
AT ITER 3294 NEW BEST:: SOT 44961 SOS 10075 HAS SOPS 10075 HAS SOUS 6266 HAS SOUPS 6266 WITH SCORE 6276.075
AT ITER 3295 NEW BEST:: SOT 44959 SOS 10072 HAS SOPS 10072 HAS SOUS 6263 HAS SOUPS 6263 WITH SCORE 6273.072
AT ITER 3348 NEW BEST:: SOT 44957 SOS 10066 HAS SOPS 10066 HAS SOUS 6257 HAS SOUPS 6257 WITH SCORE 6267.066
AT ITER 3370 NEW BEST:: SOT 44951 SOS 10050 HAS SOPS 10050 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6250.05
AT ITER 3380 NEW BEST:: SOT 44954 SOS 10046 HAS SOPS 10046 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6250.046
AT ITER 3406 NEW BEST:: SOT 44923 SOS 10014 HAS SOPS 10014 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6246.014
AT ITER 3473 NEW BEST:: SOT 44919 SOS 10004 HAS SOPS 10004 HAS SOUS 6230 HAS SOUPS 6230 WITH SCORE 6240.004
AT ITER 3488 NEW BEST:: SOT 44913 SOS 9992 HAS SOPS 9992 HAS SOUS 6218 HAS SOUPS 6218 WITH SCORE 6227.992
AT ITER 3516 NEW BEST:: SOT 44909 SOS 9984 HAS SOPS 9984 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6219.984
AT ITER 3552 NEW BEST:: SOT 44905 SOS 9980 HAS SOPS 9980 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6219.98
AT ITER 3568 NEW BEST:: SOT 44885 SOS 9940 HAS SOPS 9940 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6199.94
AT ITER 3645 NEW BEST:: SOT 44871 SOS 9912 HAS SOPS 9912 HAS SOUS 6165 HAS SOUPS 6165 WITH SCORE 6174.912
AT ITER 3725 NEW BEST:: SOT 44877 SOS 9913 HAS SOPS 9913 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6172.913
AT ITER 3752 NEW BEST:: SOT 44880 SOS 9919 HAS SOPS 9919 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6168.919
AT ITER 3773 NEW BEST:: SOT 44880 SOS 9904 HAS SOPS 9904 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6153.904
AT ITER 3779 NEW BEST:: SOT 44867 SOS 9896 HAS SOPS 9896 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6145.896
AT ITER 3792 NEW BEST:: SOT 44869 SOS 9876 HAS SOPS 9876 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6145.876
AT ITER 3821 NEW BEST:: SOT 44871 SOS 9878 HAS SOPS 9878 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6143.878
AT ITER 3920 NEW BEST:: SOT 44811 SOS 9829 HAS SOPS 9829 HAS SOUS 6115 HAS SOUPS 6115 WITH SCORE 6124.829
AT ITER 4019 NEW BEST:: SOT 44801 SOS 9822 HAS SOPS 9822 HAS SOUS 6108 HAS SOUPS 6108 WITH SCORE 6117.822
AT ITER 4035 NEW BEST:: SOT 44797 SOS 9820 HAS SOPS 9820 HAS SOUS 6106 HAS SOUPS 6106 WITH SCORE 6115.82
AT ITER 4041 NEW BEST:: SOT 44795 SOS 9805 HAS SOPS 9805 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6111.805
AT ITER 4055 NEW BEST:: SOT 44791 SOS 9821 HAS SOPS 9821 HAS SOUS 6100 HAS SOUPS 6100 WITH SCORE 6109.821
AT ITER 4057 NEW BEST:: SOT 44790 SOS 9826 HAS SOPS 9826 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6108.826
AT ITER 4070 NEW BEST:: SOT 44780 SOS 9806 HAS SOPS 9806 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6098.806
AT ITER 4081 NEW BEST:: SOT 44771 SOS 9788 HAS SOPS 9788 HAS SOUS 6087 HAS SOUPS 6087 WITH SCORE 6096.788
AT ITER 4108 NEW BEST:: SOT 44770 SOS 9787 HAS SOPS 9787 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6095.787
AT ITER 4121 NEW BEST:: SOT 44768 SOS 9783 HAS SOPS 9783 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6078.783
AT ITER 4150 NEW BEST:: SOT 44763 SOS 9778 HAS SOPS 9778 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6063.778
AT ITER 4174 NEW BEST:: SOT 44758 SOS 9768 HAS SOPS 9768 HAS SOUS 6047 HAS SOUPS 6047 WITH SCORE 6056.768
AT ITER 4194 NEW BEST:: SOT 44747 SOS 9753 HAS SOPS 9753 HAS SOUS 6036 HAS SOUPS 6036 WITH SCORE 6045.753
AT ITER 4195 NEW BEST:: SOT 44724 SOS 9747 HAS SOPS 9747 HAS SOUS 6030 HAS SOUPS 6030 WITH SCORE 6039.747
AT ITER 4255 NEW BEST:: SOT 44724 SOS 9741 HAS SOPS 9741 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6030.741
AT ITER 4336 NEW BEST:: SOT 44723 SOS 9739 HAS SOPS 9739 HAS SOUS 6017 HAS SOUPS 6017 WITH SCORE 6026.739
AT ITER 4374 NEW BEST:: SOT 44719 SOS 9731 HAS SOPS 9731 HAS SOUS 6009 HAS SOUPS 6009 WITH SCORE 6018.731
AT ITER 4440 NEW BEST:: SOT 44708 SOS 9709 HAS SOPS 9709 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5996.709
AT ITER 4502 NEW BEST:: SOT 44708 SOS 9708 HAS SOPS 9708 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5995.708
AT ITER 4560 NEW BEST:: SOT 44708 SOS 9704 HAS SOPS 9704 HAS SOUS 5982 HAS SOUPS 5982 WITH SCORE 5991.704
AT ITER 4623 NEW BEST:: SOT 44705 SOS 9698 HAS SOPS 9698 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5981.698
AT ITER 4639 NEW BEST:: SOT 44700 SOS 9694 HAS SOPS 9694 HAS SOUS 5968 HAS SOUPS 5968 WITH SCORE 5977.694
AT ITER 4673 NEW BEST:: SOT 44718 SOS 9707 HAS SOPS 9707 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5976.707
AT ITER 4678 NEW BEST:: SOT 44716 SOS 9705 HAS SOPS 9705 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5976.705
AT ITER 4703 NEW BEST:: SOT 44632 SOS 9537 HAS SOPS 9537 HAS SOUS 5967 HAS SOUPS 5967 WITH SCORE 5976.537
AT ITER 4710 NEW BEST:: SOT 44630 SOS 9533 HAS SOPS 9533 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5972.533
AT ITER 4729 NEW BEST:: SOT 44631 SOS 9535 HAS SOPS 9535 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5971.535
AT ITER 4774 NEW BEST:: SOT 44644 SOS 9561 HAS SOPS 9561 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5958.561
AT ITER 5014 NEW BEST:: SOT 44642 SOS 9557 HAS SOPS 9557 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5954.557
AT ITER 5033 NEW BEST:: SOT 44642 SOS 9555 HAS SOPS 9555 HAS SOUS 5943 HAS SOUPS 5943 WITH SCORE 5952.555
AT ITER 5035 NEW BEST:: SOT 44641 SOS 9553 HAS SOPS 9553 HAS SOUS 5941 HAS SOUPS 5941 WITH SCORE 5950.553
AT ITER 5051 NEW BEST:: SOT 44642 SOS 9543 HAS SOPS 9543 HAS SOUS 5933 HAS SOUPS 5933 WITH SCORE 5942.543
AT ITER 5058 NEW BEST:: SOT 44638 SOS 9535 HAS SOPS 9535 HAS SOUS 5929 HAS SOUPS 5929 WITH SCORE 5938.535
AT ITER 5067 NEW BEST:: SOT 44633 SOS 9495 HAS SOPS 9495 HAS SOUS 5911 HAS SOUPS 5911 WITH SCORE 5920.495
AT ITER 5084 NEW BEST:: SOT 44624 SOS 9478 HAS SOPS 9478 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.478
AT ITER 5100 NEW BEST:: SOT 44599 SOS 9428 HAS SOPS 9428 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.428
AT ITER 5105 NEW BEST:: SOT 44603 SOS 9423 HAS SOPS 9423 HAS SOUS 5901 HAS SOUPS 5901 WITH SCORE 5910.423
AT ITER 5155 NEW BEST:: SOT 44610 SOS 9410 HAS SOPS 9410 HAS SOUS 5888 HAS SOUPS 5888 WITH SCORE 5897.41
AT ITER 5175 NEW BEST:: SOT 44649 SOS 9449 HAS SOPS 9449 HAS SOUS 5883 HAS SOUPS 5883 WITH SCORE 5892.449
AT ITER 5185 NEW BEST:: SOT 44638 SOS 9438 HAS SOPS 9438 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5881.438
AT ITER 5237 NEW BEST:: SOT 44636 SOS 9434 HAS SOPS 9434 HAS SOUS 5872 HAS SOUPS 5872 WITH SCORE 5881.434
AT ITER 5330 NEW BEST:: SOT 44635 SOS 9432 HAS SOPS 9432 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5879.432
AT ITER 5354 NEW BEST:: SOT 44623 SOS 9420 HAS SOPS 9420 HAS SOUS 5870 HAS SOUPS 5870 WITH SCORE 5879.42
AT ITER 5360 NEW BEST:: SOT 44623 SOS 9403 HAS SOPS 9403 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5862.403
AT ITER 5478 NEW BEST:: SOT 44652 SOS 9398 HAS SOPS 9398 HAS SOUS 5848 HAS SOUPS 5848 WITH SCORE 5857.398
AT ITER 5485 NEW BEST:: SOT 44615 SOS 9374 HAS SOPS 9374 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5853.374
AT ITER 5594 NEW BEST:: SOT 44617 SOS 9378 HAS SOPS 9378 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5839.378
AT ITER 5613 NEW BEST:: SOT 44617 SOS 9366 HAS SOPS 9366 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5839.366
AT ITER 5650 NEW BEST:: SOT 44607 SOS 9354 HAS SOPS 9354 HAS SOUS 5819 HAS SOUPS 5819 WITH SCORE 5828.354
AT ITER 5674 NEW BEST:: SOT 44605 SOS 9350 HAS SOPS 9350 HAS SOUS 5817 HAS SOUPS 5817 WITH SCORE 5826.35
AT ITER 5678 NEW BEST:: SOT 44590 SOS 9326 HAS SOPS 9326 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5802.326
AT ITER 5682 NEW BEST:: SOT 44590 SOS 9326 HAS SOPS 9326 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5798.326
AT ITER 5729 NEW BEST:: SOT 44582 SOS 9302 HAS SOPS 9302 HAS SOUS 5781 HAS SOUPS 5781 WITH SCORE 5790.302
AT ITER 5827 NEW BEST:: SOT 44571 SOS 9288 HAS SOPS 9288 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5784.288
AT ITER 5847 NEW BEST:: SOT 44571 SOS 9274 HAS SOPS 9274 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5784.274
AT ITER 5897 NEW BEST:: SOT 44572 SOS 9263 HAS SOPS 9263 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5784.263
AT ITER 5909 NEW BEST:: SOT 44571 SOS 9261 HAS SOPS 9261 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5783.261
AT ITER 5930 NEW BEST:: SOT 44572 SOS 9267 HAS SOPS 9267 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5781.267
AT ITER 5955 NEW BEST:: SOT 44570 SOS 9238 HAS SOPS 9238 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5752.238
AT ITER 5978 NEW BEST:: SOT 44578 SOS 9285 HAS SOPS 9285 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5737.285
AT ITER 5979 NEW BEST:: SOT 44602 SOS 9314 HAS SOPS 9314 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5718.314
AT ITER 6037 NEW BEST:: SOT 44604 SOS 9318 HAS SOPS 9318 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5712.318
AT ITER 6067 NEW BEST:: SOT 44598 SOS 9306 HAS SOPS 9306 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5705.306
AT ITER 6076 NEW BEST:: SOT 44592 SOS 9294 HAS SOPS 9294 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5693.294
AT ITER 6145 NEW BEST:: SOT 44582 SOS 9284 HAS SOPS 9284 HAS SOUS 5684 HAS SOUPS 5684 WITH SCORE 5693.284
AT ITER 6162 NEW BEST:: SOT 44580 SOS 9284 HAS SOPS 9284 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5691.284
AT ITER 6185 NEW BEST:: SOT 44582 SOS 9306 HAS SOPS 9306 HAS SOUS 5681 HAS SOUPS 5681 WITH SCORE 5690.306
AT ITER 6229 NEW BEST:: SOT 44581 SOS 9304 HAS SOPS 9304 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5664.304
AT ITER 6392 NEW BEST:: SOT 44580 SOS 9295 HAS SOPS 9295 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5655.295
AT ITER 6394 NEW BEST:: SOT 44554 SOS 9279 HAS SOPS 9279 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5639.279
AT ITER 6433 NEW BEST:: SOT 44551 SOS 9274 HAS SOPS 9274 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5631.274
AT ITER 6456 NEW BEST:: SOT 44548 SOS 9268 HAS SOPS 9268 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5624.268
AT ITER 6512 NEW BEST:: SOT 44548 SOS 9262 HAS SOPS 9262 HAS SOUS 5615 HAS SOUPS 5615 WITH SCORE 5624.262
AT ITER 6611 NEW BEST:: SOT 44526 SOS 9228 HAS SOPS 9228 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5600.228
AT ITER 6658 NEW BEST:: SOT 44524 SOS 9205 HAS SOPS 9205 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5590.205
AT ITER 6677 NEW BEST:: SOT 44521 SOS 9194 HAS SOPS 9194 HAS SOUS 5575 HAS SOUPS 5575 WITH SCORE 5584.194
AT ITER 6679 NEW BEST:: SOT 44518 SOS 9188 HAS SOPS 9188 HAS SOUS 5569 HAS SOUPS 5569 WITH SCORE 5578.188
AT ITER 6756 NEW BEST:: SOT 44513 SOS 9181 HAS SOPS 9181 HAS SOUS 5566 HAS SOUPS 5566 WITH SCORE 5575.181
AT ITER 6758 NEW BEST:: SOT 44487 SOS 9129 HAS SOPS 9129 HAS SOUS 5564 HAS SOUPS 5564 WITH SCORE 5573.129
AT ITER 6797 NEW BEST:: SOT 44485 SOS 9125 HAS SOPS 9125 HAS SOUS 5560 HAS SOUPS 5560 WITH SCORE 5569.125
AT ITER 6837 NEW BEST:: SOT 44494 SOS 9134 HAS SOPS 9134 HAS SOUS 5555 HAS SOUPS 5555 WITH SCORE 5564.134
AT ITER 6905 NEW BEST:: SOT 44494 SOS 9120 HAS SOPS 9120 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5548.12
AT ITER 6938 NEW BEST:: SOT 44494 SOS 9108 HAS SOPS 9108 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5537.108
AT ITER 6964 NEW BEST:: SOT 44494 SOS 9107 HAS SOPS 9107 HAS SOUS 5528 HAS SOUPS 5528 WITH SCORE 5537.107
AT ITER 6971 NEW BEST:: SOT 44481 SOS 9080 HAS SOPS 9080 HAS SOUS 5524 HAS SOUPS 5524 WITH SCORE 5533.08
AT ITER 6998 NEW BEST:: SOT 44483 SOS 9077 HAS SOPS 9077 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5530.077
AT ITER 7121 NEW BEST:: SOT 44483 SOS 9053 HAS SOPS 9053 HAS SOUS 5521 HAS SOUPS 5521 WITH SCORE 5530.053
AT ITER 7129 NEW BEST:: SOT 44490 SOS 9060 HAS SOPS 9060 HAS SOUS 5517 HAS SOUPS 5517 WITH SCORE 5526.06
AT ITER 7149 NEW BEST:: SOT 44474 SOS 9532 HAS SOPS 9532 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5510.532
AT ITER 7199 NEW BEST:: SOT 44474 SOS 9496 HAS SOPS 9496 HAS SOUS 5501 HAS SOUPS 5501 WITH SCORE 5510.496
AT ITER 7376 NEW BEST:: SOT 44491 SOS 9530 HAS SOPS 9530 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5509.53
AT ITER 7470 NEW BEST:: SOT 44488 SOS 9527 HAS SOPS 9527 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5509.527
AT ITER 7497 NEW BEST:: SOT 44486 SOS 9524 HAS SOPS 9524 HAS SOUS 5499 HAS SOUPS 5499 WITH SCORE 5508.524
AT ITER 7560 NEW BEST:: SOT 44485 SOS 9522 HAS SOPS 9522 HAS SOUS 5498 HAS SOUPS 5498 WITH SCORE 5507.522
AT ITER 7563 NEW BEST:: SOT 44483 SOS 9520 HAS SOPS 9520 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5496.52
AT ITER 7564 NEW BEST:: SOT 44482 SOS 9518 HAS SOPS 9518 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5488.518
AT ITER 7592 NEW BEST:: SOT 44482 SOS 9547 HAS SOPS 9547 HAS SOUS 5478 HAS SOUPS 5478 WITH SCORE 5487.547
AT ITER 7607 NEW BEST:: SOT 44484 SOS 9539 HAS SOPS 9539 HAS SOUS 5470 HAS SOUPS 5470 WITH SCORE 5479.539
AT ITER 7622 NEW BEST:: SOT 44466 SOS 9521 HAS SOPS 9521 HAS SOUS 5452 HAS SOUPS 5452 WITH SCORE 5461.521
AT ITER 7676 NEW BEST:: SOT 44460 SOS 9515 HAS SOPS 9515 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5455.515
AT ITER 7693 NEW BEST:: SOT 44459 SOS 9513 HAS SOPS 9513 HAS SOUS 5442 HAS SOUPS 5442 WITH SCORE 5451.513
AT ITER 7694 NEW BEST:: SOT 44457 SOS 9510 HAS SOPS 9510 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5448.51
AT ITER 7712 NEW BEST:: SOT 44457 SOS 9458 HAS SOPS 9458 HAS SOUS 5439 HAS SOUPS 5439 WITH SCORE 5448.458
AT ITER 7757 NEW BEST:: SOT 44453 SOS 9456 HAS SOPS 9456 HAS SOUS 5429 HAS SOUPS 5429 WITH SCORE 5438.456
AT ITER 7790 NEW BEST:: SOT 44451 SOS 9454 HAS SOPS 9454 HAS SOUS 5427 HAS SOUPS 5427 WITH SCORE 5436.454
AT ITER 8002 NEW BEST:: SOT 44451 SOS 9451 HAS SOPS 9451 HAS SOUS 5424 HAS SOUPS 5424 WITH SCORE 5433.451
AT ITER 8067 NEW BEST:: SOT 44454 SOS 9457 HAS SOPS 9457 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5418.457
AT ITER 8218 NEW BEST:: SOT 44454 SOS 9399 HAS SOPS 9399 HAS SOUS 5409 HAS SOUPS 5409 WITH SCORE 5418.399
AT ITER 8241 NEW BEST:: SOT 44452 SOS 9397 HAS SOPS 9397 HAS SOUS 5407 HAS SOUPS 5407 WITH SCORE 5416.397
AT ITER 8260 NEW BEST:: SOT 44443 SOS 9308 HAS SOPS 9308 HAS SOUS 5398 HAS SOUPS 5398 WITH SCORE 5407.308
AT ITER 8264 NEW BEST:: SOT 44442 SOS 9302 HAS SOPS 9302 HAS SOUS 5397 HAS SOUPS 5397 WITH SCORE 5406.302
AT ITER 8265 NEW BEST:: SOT 44369 SOS 9904 HAS SOPS 9904 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5377.904
AT ITER 8328 NEW BEST:: SOT 44365 SOS 9898 HAS SOPS 9898 HAS SOUS 5364 HAS SOUPS 5364 WITH SCORE 5373.898
AT ITER 8347 NEW BEST:: SOT 44359 SOS 9892 HAS SOPS 9892 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5361.892
AT ITER 8434 NEW BEST:: SOT 44360 SOS 9892 HAS SOPS 9892 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5360.892
AT ITER 8515 NEW BEST:: SOT 44366 SOS 9889 HAS SOPS 9889 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5357.889
AT ITER 8564 NEW BEST:: SOT 44366 SOS 9888 HAS SOPS 9888 HAS SOUS 5348 HAS SOUPS 5348 WITH SCORE 5357.888
AT ITER 8848 NEW BEST:: SOT 44361 SOS 9883 HAS SOPS 9883 HAS SOUS 5343 HAS SOUPS 5343 WITH SCORE 5352.883
AT ITER 8899 NEW BEST:: SOT 44358 SOS 9877 HAS SOPS 9877 HAS SOUS 5340 HAS SOUPS 5340 WITH SCORE 5349.877
AT ITER 8930 NEW BEST:: SOT 44353 SOS 9874 HAS SOPS 9874 HAS SOUS 5337 HAS SOUPS 5337 WITH SCORE 5346.874
AT ITER 8998 NEW BEST:: SOT 44323 SOS 9814 HAS SOPS 9814 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5316.814
AT ITER 9014 NEW BEST:: SOT 44300 SOS 9768 HAS SOPS 9768 HAS SOUS 5307 HAS SOUPS 5307 WITH SCORE 5316.768
AT ITER 9022 NEW BEST:: SOT 44303 SOS 9762 HAS SOPS 9762 HAS SOUS 5301 HAS SOUPS 5301 WITH SCORE 5310.762
AT ITER 9049 NEW BEST:: SOT 44298 SOS 9757 HAS SOPS 9757 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5305.757
AT ITER 9068 NEW BEST:: SOT 44298 SOS 9757 HAS SOPS 9757 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5298.757
AT ITER 9077 NEW BEST:: SOT 44265 SOS 9708 HAS SOPS 9708 HAS SOUS 5257 HAS SOUPS 5257 WITH SCORE 5266.708
AT ITER 9098 NEW BEST:: SOT 44261 SOS 9700 HAS SOPS 9700 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5258.7
AT ITER 9122 NEW BEST:: SOT 44245 SOS 9684 HAS SOPS 9684 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5242.684
AT ITER 9147 NEW BEST:: SOT 44240 SOS 9669 HAS SOPS 9669 HAS SOUS 5207 HAS SOUPS 5207 WITH SCORE 5216.669
AT ITER 9174 NEW BEST:: SOT 44240 SOS 9669 HAS SOPS 9669 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5213.669
AT ITER 9213 NEW BEST:: SOT 44240 SOS 9666 HAS SOPS 9666 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5209.666
AT ITER 9215 NEW BEST:: SOT 44239 SOS 9665 HAS SOPS 9665 HAS SOUS 5199 HAS SOUPS 5199 WITH SCORE 5208.665
AT ITER 9227 NEW BEST:: SOT 44239 SOS 9665 HAS SOPS 9665 HAS SOUS 5198 HAS SOUPS 5198 WITH SCORE 5207.665
AT ITER 9229 NEW BEST:: SOT 44237 SOS 9619 HAS SOPS 9619 HAS SOUS 5194 HAS SOUPS 5194 WITH SCORE 5203.619
AT ITER 9236 NEW BEST:: SOT 44250 SOS 9596 HAS SOPS 9596 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5185.596
AT ITER 9250 NEW BEST:: SOT 44250 SOS 9579 HAS SOPS 9579 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5185.579
AT ITER 9275 NEW BEST:: SOT 44248 SOS 9575 HAS SOPS 9575 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5185.575
AT ITER 9372 NEW BEST:: SOT 44248 SOS 9577 HAS SOPS 9577 HAS SOUS 5174 HAS SOUPS 5174 WITH SCORE 5183.577
AT ITER 9656 NEW BEST:: SOT 44242 SOS 9571 HAS SOPS 9571 HAS SOUS 5168 HAS SOUPS 5168 WITH SCORE 5177.571
AT ITER 9703 NEW BEST:: SOT 44237 SOS 9566 HAS SOPS 9566 HAS SOUS 5159 HAS SOUPS 5159 WITH SCORE 5168.566
AT ITER 9711 NEW BEST:: SOT 44234 SOS 9560 HAS SOPS 9560 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5162.56
AT ITER 9773 NEW BEST:: SOT 44230 SOS 9558 HAS SOPS 9558 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5160.558
AT ITER 9823 NEW BEST:: SOT 44230 SOS 9558 HAS SOPS 9558 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5159.558
AT ITER 9877 NEW BEST:: SOT 44226 SOS 9550 HAS SOPS 9550 HAS SOUS 5150 HAS SOUPS 5150 WITH SCORE 5159.55
AT ITER 9885 NEW BEST:: SOT 44227 SOS 9549 HAS SOPS 9549 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5158.549
AT ITER 9958 NEW BEST:: SOT 44226 SOS 9548 HAS SOPS 9548 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5158.548
AT ITER 9984 NEW BEST:: SOT 44228 SOS 9524 HAS SOPS 9524 HAS SOUS 5149 HAS SOUPS 5149 WITH SCORE 5158.524
STATE_SPACE STATES 430089117268 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 11 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3908939323563 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1590469797849
--------------------
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="SmartHome-PT-10"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# 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 SmartHome-PT-10, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538300080"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-10.tgz
mv SmartHome-PT-10 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
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 ;