Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K May 14 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 19:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 23K May 13 19:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:04 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K May 14 10:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:04 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.0K May 13 14:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K May 13 14:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 09:05 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:05 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 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 63K 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 1590450491170

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVs (PT), instance 010A
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 143 places, 193 transitions, 920 arcs.
AT ITER 0 NEW BEST:: SOT 20701 SOS 17759 HAS SOPS 17759 HAS SOUS 14307 HAS SOUPS 14307 WITH SCORE 14324.759
AT ITER 2 NEW BEST:: SOT 20567 SOS 17629 HAS SOPS 17629 HAS SOUS 14177 HAS SOUPS 14177 WITH SCORE 14194.629
AT ITER 5 NEW BEST:: SOT 20583 SOS 17500 HAS SOPS 17500 HAS SOUS 13967 HAS SOUPS 13967 WITH SCORE 13984.5
AT ITER 6 NEW BEST:: SOT 20538 SOS 17143 HAS SOPS 17143 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13733.143
AT ITER 9 NEW BEST:: SOT 20519 SOS 17124 HAS SOPS 17124 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13714.124
AT ITER 10 NEW BEST:: SOT 20497 SOS 17000 HAS SOPS 17000 HAS SOUS 13644 HAS SOUPS 13644 WITH SCORE 13661.0
AT ITER 14 NEW BEST:: SOT 20444 SOS 16957 HAS SOPS 16957 HAS SOUS 13600 HAS SOUPS 13600 WITH SCORE 13616.957
AT ITER 18 NEW BEST:: SOT 20429 SOS 16765 HAS SOPS 16765 HAS SOUS 13504 HAS SOUPS 13504 WITH SCORE 13520.765
AT ITER 20 NEW BEST:: SOT 20408 SOS 16764 HAS SOPS 16764 HAS SOUS 13501 HAS SOUPS 13501 WITH SCORE 13517.764
AT ITER 22 NEW BEST:: SOT 20342 SOS 16481 HAS SOPS 16481 HAS SOUS 13201 HAS SOUPS 13201 WITH SCORE 13217.481
AT ITER 24 NEW BEST:: SOT 20311 SOS 16208 HAS SOPS 16208 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13153.208
AT ITER 26 NEW BEST:: SOT 20311 SOS 16189 HAS SOPS 16189 HAS SOUS 13128 HAS SOUPS 13128 WITH SCORE 13144.189
AT ITER 27 NEW BEST:: SOT 20343 SOS 15961 HAS SOPS 15961 HAS SOUS 13099 HAS SOUPS 13099 WITH SCORE 13114.961
AT ITER 28 NEW BEST:: SOT 20343 SOS 15808 HAS SOPS 15808 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13038.808
AT ITER 29 NEW BEST:: SOT 20343 SOS 15790 HAS SOPS 15790 HAS SOUS 13010 HAS SOUPS 13010 WITH SCORE 13025.79
AT ITER 30 NEW BEST:: SOT 20343 SOS 15693 HAS SOPS 15693 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 12987.693
AT ITER 31 NEW BEST:: SOT 20325 SOS 15624 HAS SOPS 15624 HAS SOUS 12936 HAS SOUPS 12936 WITH SCORE 12951.624
AT ITER 36 NEW BEST:: SOT 20325 SOS 15322 HAS SOPS 15322 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12675.322
AT ITER 41 NEW BEST:: SOT 20325 SOS 15323 HAS SOPS 15323 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12639.323
AT ITER 45 NEW BEST:: SOT 20337 SOS 15138 HAS SOPS 15138 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12412.138
AT ITER 50 NEW BEST:: SOT 20307 SOS 14943 HAS SOPS 14943 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12352.943
AT ITER 55 NEW BEST:: SOT 20316 SOS 14716 HAS SOPS 14716 HAS SOUS 12077 HAS SOUPS 12077 WITH SCORE 12091.716
AT ITER 57 NEW BEST:: SOT 20305 SOS 14659 HAS SOPS 14659 HAS SOUS 12058 HAS SOUPS 12058 WITH SCORE 12072.659
AT ITER 62 NEW BEST:: SOT 20301 SOS 14603 HAS SOPS 14603 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12016.603
AT ITER 64 NEW BEST:: SOT 20301 SOS 14603 HAS SOPS 14603 HAS SOUS 11972 HAS SOUPS 11972 WITH SCORE 11986.603
AT ITER 73 NEW BEST:: SOT 20301 SOS 14675 HAS SOPS 14675 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11866.675
AT ITER 75 NEW BEST:: SOT 20295 SOS 14603 HAS SOPS 14603 HAS SOUS 11738 HAS SOUPS 11738 WITH SCORE 11752.603
AT ITER 80 NEW BEST:: SOT 20266 SOS 14595 HAS SOPS 14595 HAS SOUS 11685 HAS SOUPS 11685 WITH SCORE 11699.595
AT ITER 81 NEW BEST:: SOT 20229 SOS 14208 HAS SOPS 14208 HAS SOUS 11650 HAS SOUPS 11650 WITH SCORE 11664.208
AT ITER 84 NEW BEST:: SOT 20213 SOS 14176 HAS SOPS 14176 HAS SOUS 11615 HAS SOUPS 11615 WITH SCORE 11629.176
AT ITER 94 NEW BEST:: SOT 20172 SOS 14102 HAS SOPS 14102 HAS SOUS 11584 HAS SOUPS 11584 WITH SCORE 11598.102
AT ITER 96 NEW BEST:: SOT 20070 SOS 13981 HAS SOPS 13981 HAS SOUS 11466 HAS SOUPS 11466 WITH SCORE 11479.981
AT ITER 97 NEW BEST:: SOT 20093 SOS 13941 HAS SOPS 13941 HAS SOUS 11347 HAS SOUPS 11347 WITH SCORE 11360.941
AT ITER 101 NEW BEST:: SOT 20021 SOS 13808 HAS SOPS 13808 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11271.808
AT ITER 104 NEW BEST:: SOT 20003 SOS 13790 HAS SOPS 13790 HAS SOUS 11239 HAS SOUPS 11239 WITH SCORE 11252.79
AT ITER 105 NEW BEST:: SOT 19979 SOS 13746 HAS SOPS 13746 HAS SOUS 11191 HAS SOUPS 11191 WITH SCORE 11204.746
AT ITER 108 NEW BEST:: SOT 19944 SOS 13679 HAS SOPS 13679 HAS SOUS 11112 HAS SOUPS 11112 WITH SCORE 11125.679
AT ITER 112 NEW BEST:: SOT 19927 SOS 13660 HAS SOPS 13660 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11107.66
AT ITER 114 NEW BEST:: SOT 19877 SOS 13481 HAS SOPS 13481 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11028.481
AT ITER 115 NEW BEST:: SOT 19901 SOS 13505 HAS SOPS 13505 HAS SOUS 11000 HAS SOUPS 11000 WITH SCORE 11013.505
AT ITER 122 NEW BEST:: SOT 19903 SOS 13498 HAS SOPS 13498 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11011.498
AT ITER 127 NEW BEST:: SOT 19903 SOS 13634 HAS SOPS 13634 HAS SOUS 10981 HAS SOUPS 10981 WITH SCORE 10994.634
AT ITER 140 NEW BEST:: SOT 19906 SOS 13702 HAS SOPS 13702 HAS SOUS 10946 HAS SOUPS 10946 WITH SCORE 10959.702
AT ITER 142 NEW BEST:: SOT 19885 SOS 13681 HAS SOPS 13681 HAS SOUS 10925 HAS SOUPS 10925 WITH SCORE 10938.681
AT ITER 150 NEW BEST:: SOT 19901 SOS 13640 HAS SOPS 13640 HAS SOUS 10899 HAS SOUPS 10899 WITH SCORE 10912.64
AT ITER 153 NEW BEST:: SOT 19896 SOS 13635 HAS SOPS 13635 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10907.635
AT ITER 155 NEW BEST:: SOT 19970 SOS 13612 HAS SOPS 13612 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10829.612
AT ITER 164 NEW BEST:: SOT 19844 SOS 13444 HAS SOPS 13444 HAS SOUS 10648 HAS SOUPS 10648 WITH SCORE 10661.444
AT ITER 165 NEW BEST:: SOT 19816 SOS 13365 HAS SOPS 13365 HAS SOUS 10625 HAS SOUPS 10625 WITH SCORE 10638.365
AT ITER 172 NEW BEST:: SOT 19710 SOS 13259 HAS SOPS 13259 HAS SOUS 10517 HAS SOUPS 10517 WITH SCORE 10530.259
AT ITER 175 NEW BEST:: SOT 19737 SOS 13134 HAS SOPS 13134 HAS SOUS 10470 HAS SOUPS 10470 WITH SCORE 10483.134
AT ITER 182 NEW BEST:: SOT 19737 SOS 13134 HAS SOPS 13134 HAS SOUS 10466 HAS SOUPS 10466 WITH SCORE 10479.134
AT ITER 183 NEW BEST:: SOT 19719 SOS 13119 HAS SOPS 13119 HAS SOUS 10402 HAS SOUPS 10402 WITH SCORE 10415.119
AT ITER 193 NEW BEST:: SOT 19715 SOS 13077 HAS SOPS 13077 HAS SOUS 10400 HAS SOUPS 10400 WITH SCORE 10413.077
AT ITER 200 NEW BEST:: SOT 19730 SOS 12991 HAS SOPS 12991 HAS SOUS 10382 HAS SOUPS 10382 WITH SCORE 10394.991
AT ITER 205 NEW BEST:: SOT 19741 SOS 12985 HAS SOPS 12985 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10381.985
AT ITER 213 NEW BEST:: SOT 19719 SOS 12963 HAS SOPS 12963 HAS SOUS 10347 HAS SOUPS 10347 WITH SCORE 10359.963
AT ITER 216 NEW BEST:: SOT 19702 SOS 12917 HAS SOPS 12917 HAS SOUS 10307 HAS SOUPS 10307 WITH SCORE 10319.917
AT ITER 221 NEW BEST:: SOT 19702 SOS 12917 HAS SOPS 12917 HAS SOUS 10297 HAS SOUPS 10297 WITH SCORE 10309.917
AT ITER 224 NEW BEST:: SOT 19695 SOS 12884 HAS SOPS 12884 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10291.884
AT ITER 225 NEW BEST:: SOT 19723 SOS 12809 HAS SOPS 12809 HAS SOUS 10245 HAS SOUPS 10245 WITH SCORE 10257.809
AT ITER 227 NEW BEST:: SOT 19736 SOS 12842 HAS SOPS 12842 HAS SOUS 10226 HAS SOUPS 10226 WITH SCORE 10238.842
AT ITER 229 NEW BEST:: SOT 19693 SOS 12755 HAS SOPS 12755 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10151.755
AT ITER 230 NEW BEST:: SOT 19610 SOS 12548 HAS SOPS 12548 HAS SOUS 10113 HAS SOUPS 10113 WITH SCORE 10125.548
AT ITER 232 NEW BEST:: SOT 19655 SOS 12616 HAS SOPS 12616 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10124.616
AT ITER 235 NEW BEST:: SOT 19645 SOS 12606 HAS SOPS 12606 HAS SOUS 10102 HAS SOUPS 10102 WITH SCORE 10114.606
AT ITER 251 NEW BEST:: SOT 19671 SOS 12625 HAS SOPS 12625 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10082.625
AT ITER 254 NEW BEST:: SOT 19665 SOS 12654 HAS SOPS 12654 HAS SOUS 10068 HAS SOUPS 10068 WITH SCORE 10080.654
AT ITER 257 NEW BEST:: SOT 19665 SOS 12661 HAS SOPS 12661 HAS SOUS 10011 HAS SOUPS 10011 WITH SCORE 10023.661
AT ITER 261 NEW BEST:: SOT 19613 SOS 12585 HAS SOPS 12585 HAS SOUS 9931 HAS SOUPS 9931 WITH SCORE 9943.585
AT ITER 263 NEW BEST:: SOT 19605 SOS 12577 HAS SOPS 12577 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9935.577
AT ITER 265 NEW BEST:: SOT 19580 SOS 12544 HAS SOPS 12544 HAS SOUS 9923 HAS SOUPS 9923 WITH SCORE 9935.544
AT ITER 266 NEW BEST:: SOT 19574 SOS 12522 HAS SOPS 12522 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9909.522
AT ITER 274 NEW BEST:: SOT 19573 SOS 12521 HAS SOPS 12521 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9908.521
AT ITER 283 NEW BEST:: SOT 19566 SOS 12465 HAS SOPS 12465 HAS SOUS 9882 HAS SOUPS 9882 WITH SCORE 9894.465
AT ITER 286 NEW BEST:: SOT 19556 SOS 12453 HAS SOPS 12453 HAS SOUS 9871 HAS SOUPS 9871 WITH SCORE 9883.453
AT ITER 291 NEW BEST:: SOT 19538 SOS 12416 HAS SOPS 12416 HAS SOUS 9832 HAS SOUPS 9832 WITH SCORE 9844.416
AT ITER 293 NEW BEST:: SOT 19522 SOS 12404 HAS SOPS 12404 HAS SOUS 9750 HAS SOUPS 9750 WITH SCORE 9762.404
AT ITER 295 NEW BEST:: SOT 19540 SOS 12422 HAS SOPS 12422 HAS SOUS 9743 HAS SOUPS 9743 WITH SCORE 9755.422
AT ITER 299 NEW BEST:: SOT 19520 SOS 12393 HAS SOPS 12393 HAS SOUS 9720 HAS SOUPS 9720 WITH SCORE 9732.393
AT ITER 315 NEW BEST:: SOT 19520 SOS 12378 HAS SOPS 12378 HAS SOUS 9714 HAS SOUPS 9714 WITH SCORE 9726.378
AT ITER 317 NEW BEST:: SOT 19516 SOS 12367 HAS SOPS 12367 HAS SOUS 9704 HAS SOUPS 9704 WITH SCORE 9716.367
AT ITER 326 NEW BEST:: SOT 19512 SOS 12369 HAS SOPS 12369 HAS SOUS 9703 HAS SOUPS 9703 WITH SCORE 9715.369
AT ITER 327 NEW BEST:: SOT 19378 SOS 12229 HAS SOPS 12229 HAS SOUS 9452 HAS SOUPS 9452 WITH SCORE 9464.229
AT ITER 333 NEW BEST:: SOT 19348 SOS 12159 HAS SOPS 12159 HAS SOUS 9359 HAS SOUPS 9359 WITH SCORE 9371.159
AT ITER 337 NEW BEST:: SOT 19355 SOS 12155 HAS SOPS 12155 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9358.155
AT ITER 339 NEW BEST:: SOT 19272 SOS 12072 HAS SOPS 12072 HAS SOUS 9179 HAS SOUPS 9179 WITH SCORE 9191.072
AT ITER 344 NEW BEST:: SOT 19277 SOS 12029 HAS SOPS 12029 HAS SOUS 9068 HAS SOUPS 9068 WITH SCORE 9080.029
AT ITER 346 NEW BEST:: SOT 19276 SOS 12031 HAS SOPS 12031 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9070.031
AT ITER 347 NEW BEST:: SOT 19259 SOS 11968 HAS SOPS 11968 HAS SOUS 9056 HAS SOUPS 9056 WITH SCORE 9067.968
AT ITER 358 NEW BEST:: SOT 19281 SOS 11842 HAS SOPS 11842 HAS SOUS 9030 HAS SOUPS 9030 WITH SCORE 9041.842
AT ITER 371 NEW BEST:: SOT 19280 SOS 11832 HAS SOPS 11832 HAS SOUS 9023 HAS SOUPS 9023 WITH SCORE 9034.832
AT ITER 372 NEW BEST:: SOT 19283 SOS 11796 HAS SOPS 11796 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8941.796
AT ITER 387 NEW BEST:: SOT 19332 SOS 11894 HAS SOPS 11894 HAS SOUS 8889 HAS SOUPS 8889 WITH SCORE 8900.894
AT ITER 391 NEW BEST:: SOT 19329 SOS 11890 HAS SOPS 11890 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8894.89
AT ITER 393 NEW BEST:: SOT 19312 SOS 11858 HAS SOPS 11858 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8863.858
AT ITER 409 NEW BEST:: SOT 19261 SOS 11765 HAS SOPS 11765 HAS SOUS 8731 HAS SOUPS 8731 WITH SCORE 8742.765
AT ITER 414 NEW BEST:: SOT 19281 SOS 11755 HAS SOPS 11755 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8738.755
AT ITER 418 NEW BEST:: SOT 19185 SOS 11627 HAS SOPS 11627 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8551.627
AT ITER 423 NEW BEST:: SOT 19156 SOS 11598 HAS SOPS 11598 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8534.598
AT ITER 426 NEW BEST:: SOT 19145 SOS 11554 HAS SOPS 11554 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8501.554
AT ITER 429 NEW BEST:: SOT 19145 SOS 11548 HAS SOPS 11548 HAS SOUS 8484 HAS SOUPS 8484 WITH SCORE 8495.548
AT ITER 438 NEW BEST:: SOT 19109 SOS 11390 HAS SOPS 11390 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8386.39
AT ITER 466 NEW BEST:: SOT 19064 SOS 11344 HAS SOPS 11344 HAS SOUS 8329 HAS SOUPS 8329 WITH SCORE 8340.344
AT ITER 477 NEW BEST:: SOT 19059 SOS 11343 HAS SOPS 11343 HAS SOUS 8328 HAS SOUPS 8328 WITH SCORE 8339.343
AT ITER 488 NEW BEST:: SOT 19034 SOS 11313 HAS SOPS 11313 HAS SOUS 8298 HAS SOUPS 8298 WITH SCORE 8309.313
AT ITER 490 NEW BEST:: SOT 19042 SOS 11248 HAS SOPS 11248 HAS SOUS 8156 HAS SOUPS 8156 WITH SCORE 8167.248
AT ITER 491 NEW BEST:: SOT 19003 SOS 11231 HAS SOPS 11231 HAS SOUS 8132 HAS SOUPS 8132 WITH SCORE 8143.231
AT ITER 492 NEW BEST:: SOT 19019 SOS 11236 HAS SOPS 11236 HAS SOUS 8131 HAS SOUPS 8131 WITH SCORE 8142.236
AT ITER 499 NEW BEST:: SOT 18966 SOS 11100 HAS SOPS 11100 HAS SOUS 8104 HAS SOUPS 8104 WITH SCORE 8115.1
AT ITER 509 NEW BEST:: SOT 18952 SOS 11084 HAS SOPS 11084 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8099.084
AT ITER 516 NEW BEST:: SOT 18954 SOS 11080 HAS SOPS 11080 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8099.08
AT ITER 522 NEW BEST:: SOT 18929 SOS 11043 HAS SOPS 11043 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8047.043
AT ITER 528 NEW BEST:: SOT 18917 SOS 11002 HAS SOPS 11002 HAS SOUS 8015 HAS SOUPS 8015 WITH SCORE 8026.002
AT ITER 555 NEW BEST:: SOT 18917 SOS 10984 HAS SOPS 10984 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8000.984
AT ITER 579 NEW BEST:: SOT 18919 SOS 10971 HAS SOPS 10971 HAS SOUS 7977 HAS SOUPS 7977 WITH SCORE 7987.971
AT ITER 582 NEW BEST:: SOT 18883 SOS 10959 HAS SOPS 10959 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7975.959
AT ITER 592 NEW BEST:: SOT 18872 SOS 10916 HAS SOPS 10916 HAS SOUS 7961 HAS SOUPS 7961 WITH SCORE 7971.916
AT ITER 599 NEW BEST:: SOT 18850 SOS 10885 HAS SOPS 10885 HAS SOUS 7894 HAS SOUPS 7894 WITH SCORE 7904.885
AT ITER 605 NEW BEST:: SOT 18794 SOS 10840 HAS SOPS 10840 HAS SOUS 7849 HAS SOUPS 7849 WITH SCORE 7859.84
AT ITER 606 NEW BEST:: SOT 18750 SOS 10774 HAS SOPS 10774 HAS SOUS 7790 HAS SOUPS 7790 WITH SCORE 7800.774
AT ITER 608 NEW BEST:: SOT 18714 SOS 10738 HAS SOPS 10738 HAS SOUS 7752 HAS SOUPS 7752 WITH SCORE 7762.738
AT ITER 609 NEW BEST:: SOT 18711 SOS 10735 HAS SOPS 10735 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7759.735
AT ITER 610 NEW BEST:: SOT 18695 SOS 10729 HAS SOPS 10729 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7744.729
AT ITER 611 NEW BEST:: SOT 18695 SOS 10725 HAS SOPS 10725 HAS SOUS 7730 HAS SOUPS 7730 WITH SCORE 7740.725
AT ITER 615 NEW BEST:: SOT 18602 SOS 10619 HAS SOPS 10619 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7620.619
AT ITER 632 NEW BEST:: SOT 18597 SOS 10579 HAS SOPS 10579 HAS SOUS 7604 HAS SOUPS 7604 WITH SCORE 7614.579
AT ITER 652 NEW BEST:: SOT 18597 SOS 10533 HAS SOPS 10533 HAS SOUS 7603 HAS SOUPS 7603 WITH SCORE 7613.533
AT ITER 678 NEW BEST:: SOT 18535 SOS 10471 HAS SOPS 10471 HAS SOUS 7541 HAS SOUPS 7541 WITH SCORE 7551.471
AT ITER 690 NEW BEST:: SOT 18506 SOS 10452 HAS SOPS 10452 HAS SOUS 7529 HAS SOUPS 7529 WITH SCORE 7539.452
AT ITER 692 NEW BEST:: SOT 18501 SOS 10449 HAS SOPS 10449 HAS SOUS 7528 HAS SOUPS 7528 WITH SCORE 7538.449
AT ITER 698 NEW BEST:: SOT 18502 SOS 10435 HAS SOPS 10435 HAS SOUS 7518 HAS SOUPS 7518 WITH SCORE 7528.435
AT ITER 705 NEW BEST:: SOT 18474 SOS 10407 HAS SOPS 10407 HAS SOUS 7478 HAS SOUPS 7478 WITH SCORE 7488.407
AT ITER 714 NEW BEST:: SOT 18466 SOS 10314 HAS SOPS 10314 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7429.314
AT ITER 716 NEW BEST:: SOT 18463 SOS 10310 HAS SOPS 10310 HAS SOUS 7416 HAS SOUPS 7416 WITH SCORE 7426.31
AT ITER 737 NEW BEST:: SOT 18426 SOS 10206 HAS SOPS 10206 HAS SOUS 7412 HAS SOUPS 7412 WITH SCORE 7422.206
AT ITER 738 NEW BEST:: SOT 18384 SOS 10164 HAS SOPS 10164 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7380.164
AT ITER 741 NEW BEST:: SOT 18342 SOS 10102 HAS SOPS 10102 HAS SOUS 7247 HAS SOUPS 7247 WITH SCORE 7257.102
AT ITER 742 NEW BEST:: SOT 18304 SOS 10064 HAS SOPS 10064 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7219.064
AT ITER 751 NEW BEST:: SOT 18280 SOS 10009 HAS SOPS 10009 HAS SOUS 7065 HAS SOUPS 7065 WITH SCORE 7075.009
AT ITER 761 NEW BEST:: SOT 18277 SOS 10006 HAS SOPS 10006 HAS SOUS 7062 HAS SOUPS 7062 WITH SCORE 7072.006
AT ITER 775 NEW BEST:: SOT 18080 SOS 9770 HAS SOPS 9770 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6761.77
AT ITER 776 NEW BEST:: SOT 18076 SOS 9764 HAS SOPS 9764 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6747.764
AT ITER 784 NEW BEST:: SOT 18069 SOS 9728 HAS SOPS 9728 HAS SOUS 6737 HAS SOUPS 6737 WITH SCORE 6746.728
AT ITER 796 NEW BEST:: SOT 17979 SOS 9630 HAS SOPS 9630 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6604.63
AT ITER 812 NEW BEST:: SOT 18026 SOS 9435 HAS SOPS 9435 HAS SOUS 6553 HAS SOUPS 6553 WITH SCORE 6562.435
AT ITER 813 NEW BEST:: SOT 18030 SOS 9427 HAS SOPS 9427 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6559.427
AT ITER 818 NEW BEST:: SOT 18024 SOS 9421 HAS SOPS 9421 HAS SOUS 6544 HAS SOUPS 6544 WITH SCORE 6553.421
AT ITER 821 NEW BEST:: SOT 17998 SOS 9487 HAS SOPS 9487 HAS SOUS 6532 HAS SOUPS 6532 WITH SCORE 6541.487
AT ITER 848 NEW BEST:: SOT 18018 SOS 9480 HAS SOPS 9480 HAS SOUS 6515 HAS SOUPS 6515 WITH SCORE 6524.48
AT ITER 852 NEW BEST:: SOT 18008 SOS 9474 HAS SOPS 9474 HAS SOUS 6511 HAS SOUPS 6511 WITH SCORE 6520.474
AT ITER 891 NEW BEST:: SOT 18000 SOS 9435 HAS SOPS 9435 HAS SOUS 6475 HAS SOUPS 6475 WITH SCORE 6484.435
AT ITER 895 NEW BEST:: SOT 18000 SOS 9435 HAS SOPS 9435 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6469.435
AT ITER 933 NEW BEST:: SOT 17997 SOS 9432 HAS SOPS 9432 HAS SOUS 6457 HAS SOUPS 6457 WITH SCORE 6466.432
AT ITER 934 NEW BEST:: SOT 17906 SOS 9260 HAS SOPS 9260 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6331.26
AT ITER 935 NEW BEST:: SOT 17895 SOS 9260 HAS SOPS 9260 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6313.26
AT ITER 944 NEW BEST:: SOT 17852 SOS 9207 HAS SOPS 9207 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6236.207
AT ITER 948 NEW BEST:: SOT 17865 SOS 9220 HAS SOPS 9220 HAS SOUS 6222 HAS SOUPS 6222 WITH SCORE 6231.22
AT ITER 952 NEW BEST:: SOT 17863 SOS 9218 HAS SOPS 9218 HAS SOUS 6220 HAS SOUPS 6220 WITH SCORE 6229.218
AT ITER 969 NEW BEST:: SOT 17861 SOS 9213 HAS SOPS 9213 HAS SOUS 6217 HAS SOUPS 6217 WITH SCORE 6226.213
AT ITER 991 NEW BEST:: SOT 17862 SOS 9202 HAS SOPS 9202 HAS SOUS 6163 HAS SOUPS 6163 WITH SCORE 6172.202
AT ITER 992 NEW BEST:: SOT 17861 SOS 9200 HAS SOPS 9200 HAS SOUS 6160 HAS SOUPS 6160 WITH SCORE 6169.2
AT ITER 1013 NEW BEST:: SOT 17846 SOS 9076 HAS SOPS 9076 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6156.076
AT ITER 1016 NEW BEST:: SOT 17863 SOS 9071 HAS SOPS 9071 HAS SOUS 6133 HAS SOUPS 6133 WITH SCORE 6142.071
AT ITER 1023 NEW BEST:: SOT 17876 SOS 9072 HAS SOPS 9072 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6138.072
AT ITER 1045 NEW BEST:: SOT 17859 SOS 9053 HAS SOPS 9053 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6119.053
AT ITER 1055 NEW BEST:: SOT 17859 SOS 9052 HAS SOPS 9052 HAS SOUS 6090 HAS SOUPS 6090 WITH SCORE 6099.052
AT ITER 1065 NEW BEST:: SOT 17828 SOS 9057 HAS SOPS 9057 HAS SOUS 6053 HAS SOUPS 6053 WITH SCORE 6062.057
AT ITER 1076 NEW BEST:: SOT 17782 SOS 8958 HAS SOPS 8958 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6024.958
AT ITER 1085 NEW BEST:: SOT 17751 SOS 8921 HAS SOPS 8921 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5987.921
AT ITER 1088 NEW BEST:: SOT 17743 SOS 8901 HAS SOPS 8901 HAS SOUS 5897 HAS SOUPS 5897 WITH SCORE 5905.901
AT ITER 1092 NEW BEST:: SOT 17697 SOS 8976 HAS SOPS 8976 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5884.976
AT ITER 1106 NEW BEST:: SOT 17667 SOS 8844 HAS SOPS 8844 HAS SOUS 5850 HAS SOUPS 5850 WITH SCORE 5858.844
AT ITER 1111 NEW BEST:: SOT 17651 SOS 8826 HAS SOPS 8826 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5830.826
AT ITER 1112 NEW BEST:: SOT 17654 SOS 8816 HAS SOPS 8816 HAS SOUS 5822 HAS SOUPS 5822 WITH SCORE 5830.816
AT ITER 1170 NEW BEST:: SOT 17616 SOS 8773 HAS SOPS 8773 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5787.773
AT ITER 1175 NEW BEST:: SOT 17571 SOS 8653 HAS SOPS 8653 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5712.653
AT ITER 1178 NEW BEST:: SOT 17586 SOS 8653 HAS SOPS 8653 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5711.653
AT ITER 1192 NEW BEST:: SOT 17550 SOS 8617 HAS SOPS 8617 HAS SOUS 5667 HAS SOUPS 5667 WITH SCORE 5675.617
AT ITER 1215 NEW BEST:: SOT 17535 SOS 8602 HAS SOPS 8602 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5653.602
AT ITER 1267 NEW BEST:: SOT 17533 SOS 8605 HAS SOPS 8605 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5639.605
AT ITER 1275 NEW BEST:: SOT 17540 SOS 8611 HAS SOPS 8611 HAS SOUS 5630 HAS SOUPS 5630 WITH SCORE 5638.611
AT ITER 1290 NEW BEST:: SOT 17534 SOS 8596 HAS SOPS 8596 HAS SOUS 5622 HAS SOUPS 5622 WITH SCORE 5630.596
AT ITER 1295 NEW BEST:: SOT 17534 SOS 8683 HAS SOPS 8683 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5593.683
AT ITER 1297 NEW BEST:: SOT 17504 SOS 8644 HAS SOPS 8644 HAS SOUS 5554 HAS SOUPS 5554 WITH SCORE 5562.644
AT ITER 1304 NEW BEST:: SOT 17492 SOS 8609 HAS SOPS 8609 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5545.609
AT ITER 1319 NEW BEST:: SOT 17493 SOS 8576 HAS SOPS 8576 HAS SOUS 5509 HAS SOUPS 5509 WITH SCORE 5517.576
AT ITER 1329 NEW BEST:: SOT 17487 SOS 8570 HAS SOPS 8570 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5511.57
AT ITER 1332 NEW BEST:: SOT 17494 SOS 8490 HAS SOPS 8490 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5446.49
AT ITER 1333 NEW BEST:: SOT 17469 SOS 8445 HAS SOPS 8445 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5416.445
AT ITER 1335 NEW BEST:: SOT 17467 SOS 8443 HAS SOPS 8443 HAS SOUS 5406 HAS SOUPS 5406 WITH SCORE 5414.443
AT ITER 1336 NEW BEST:: SOT 17453 SOS 8422 HAS SOPS 8422 HAS SOUS 5388 HAS SOUPS 5388 WITH SCORE 5396.422
AT ITER 1338 NEW BEST:: SOT 17425 SOS 8384 HAS SOPS 8384 HAS SOUS 5350 HAS SOUPS 5350 WITH SCORE 5358.384
AT ITER 1341 NEW BEST:: SOT 17423 SOS 8380 HAS SOPS 8380 HAS SOUS 5342 HAS SOUPS 5342 WITH SCORE 5350.38
AT ITER 1347 NEW BEST:: SOT 17417 SOS 8371 HAS SOPS 8371 HAS SOUS 5327 HAS SOUPS 5327 WITH SCORE 5335.371
AT ITER 1357 NEW BEST:: SOT 17413 SOS 8367 HAS SOPS 8367 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5331.367
AT ITER 1403 NEW BEST:: SOT 17410 SOS 8361 HAS SOPS 8361 HAS SOUS 5316 HAS SOUPS 5316 WITH SCORE 5324.361
AT ITER 1404 NEW BEST:: SOT 17392 SOS 8439 HAS SOPS 8439 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5321.439
AT ITER 1439 NEW BEST:: SOT 17313 SOS 8165 HAS SOPS 8165 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5184.165
AT ITER 1440 NEW BEST:: SOT 17311 SOS 8161 HAS SOPS 8161 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5174.161
AT ITER 1442 NEW BEST:: SOT 17283 SOS 8122 HAS SOPS 8122 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5133.122
AT ITER 1446 NEW BEST:: SOT 17181 SOS 8061 HAS SOPS 8061 HAS SOUS 5030 HAS SOUPS 5030 WITH SCORE 5038.061
AT ITER 1474 NEW BEST:: SOT 17173 SOS 8005 HAS SOPS 8005 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5009.005
AT ITER 1477 NEW BEST:: SOT 17177 SOS 8003 HAS SOPS 8003 HAS SOUS 4983 HAS SOUPS 4983 WITH SCORE 4991.003
AT ITER 1504 NEW BEST:: SOT 17146 SOS 7998 HAS SOPS 7998 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4983.998
AT ITER 1522 NEW BEST:: SOT 17104 SOS 7953 HAS SOPS 7953 HAS SOUS 4927 HAS SOUPS 4927 WITH SCORE 4934.953
AT ITER 1546 NEW BEST:: SOT 17092 SOS 7939 HAS SOPS 7939 HAS SOUS 4901 HAS SOUPS 4901 WITH SCORE 4908.939
AT ITER 1551 NEW BEST:: SOT 17091 SOS 7936 HAS SOPS 7936 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4905.936
AT ITER 1564 NEW BEST:: SOT 17079 SOS 7920 HAS SOPS 7920 HAS SOUS 4880 HAS SOUPS 4880 WITH SCORE 4887.92
AT ITER 1572 NEW BEST:: SOT 17080 SOS 7891 HAS SOPS 7891 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4868.891
AT ITER 1587 NEW BEST:: SOT 17064 SOS 7859 HAS SOPS 7859 HAS SOUS 4787 HAS SOUPS 4787 WITH SCORE 4794.859
AT ITER 1608 NEW BEST:: SOT 17053 SOS 7848 HAS SOPS 7848 HAS SOUS 4765 HAS SOUPS 4765 WITH SCORE 4772.848
AT ITER 1620 NEW BEST:: SOT 17048 SOS 7866 HAS SOPS 7866 HAS SOUS 4760 HAS SOUPS 4760 WITH SCORE 4767.866
AT ITER 1625 NEW BEST:: SOT 17047 SOS 7955 HAS SOPS 7955 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4759.955
AT ITER 1639 NEW BEST:: SOT 17047 SOS 7955 HAS SOPS 7955 HAS SOUS 4751 HAS SOUPS 4751 WITH SCORE 4758.955
AT ITER 1674 NEW BEST:: SOT 17042 SOS 7950 HAS SOPS 7950 HAS SOUS 4742 HAS SOUPS 4742 WITH SCORE 4749.95
AT ITER 1682 NEW BEST:: SOT 17040 SOS 7948 HAS SOPS 7948 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4747.948
AT ITER 1702 NEW BEST:: SOT 17029 SOS 7929 HAS SOPS 7929 HAS SOUS 4715 HAS SOUPS 4715 WITH SCORE 4722.929
AT ITER 1704 NEW BEST:: SOT 17016 SOS 7894 HAS SOPS 7894 HAS SOUS 4687 HAS SOUPS 4687 WITH SCORE 4694.894
AT ITER 1737 NEW BEST:: SOT 16990 SOS 7848 HAS SOPS 7848 HAS SOUS 4656 HAS SOUPS 4656 WITH SCORE 4663.848
AT ITER 1745 NEW BEST:: SOT 16988 SOS 7838 HAS SOPS 7838 HAS SOUS 4652 HAS SOUPS 4652 WITH SCORE 4659.838
AT ITER 1752 NEW BEST:: SOT 16979 SOS 7817 HAS SOPS 7817 HAS SOUS 4643 HAS SOUPS 4643 WITH SCORE 4650.817
AT ITER 1760 NEW BEST:: SOT 16972 SOS 7791 HAS SOPS 7791 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4632.791
AT ITER 1779 NEW BEST:: SOT 16969 SOS 7788 HAS SOPS 7788 HAS SOUS 4625 HAS SOUPS 4625 WITH SCORE 4632.788
AT ITER 1826 NEW BEST:: SOT 16965 SOS 7778 HAS SOPS 7778 HAS SOUS 4612 HAS SOUPS 4612 WITH SCORE 4619.778
AT ITER 1840 NEW BEST:: SOT 16959 SOS 7768 HAS SOPS 7768 HAS SOUS 4602 HAS SOUPS 4602 WITH SCORE 4609.768
AT ITER 1886 NEW BEST:: SOT 16958 SOS 7755 HAS SOPS 7755 HAS SOUS 4599 HAS SOUPS 4599 WITH SCORE 4606.755
AT ITER 1915 NEW BEST:: SOT 16955 SOS 7752 HAS SOPS 7752 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4603.752
AT ITER 1945 NEW BEST:: SOT 16916 SOS 7677 HAS SOPS 7677 HAS SOUS 4543 HAS SOUPS 4543 WITH SCORE 4550.677
AT ITER 1963 NEW BEST:: SOT 16911 SOS 7672 HAS SOPS 7672 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4545.672
AT ITER 1966 NEW BEST:: SOT 16917 SOS 7663 HAS SOPS 7663 HAS SOUS 4538 HAS SOUPS 4538 WITH SCORE 4545.663
AT ITER 1983 NEW BEST:: SOT 16860 SOS 7606 HAS SOPS 7606 HAS SOUS 4478 HAS SOUPS 4478 WITH SCORE 4485.606
AT ITER 1991 NEW BEST:: SOT 16859 SOS 7604 HAS SOPS 7604 HAS SOUS 4477 HAS SOUPS 4477 WITH SCORE 4484.604
AT ITER 2015 NEW BEST:: SOT 16864 SOS 7609 HAS SOPS 7609 HAS SOUS 4472 HAS SOUPS 4472 WITH SCORE 4479.609
AT ITER 2023 NEW BEST:: SOT 16868 SOS 7605 HAS SOPS 7605 HAS SOUS 4469 HAS SOUPS 4469 WITH SCORE 4476.605
AT ITER 2065 NEW BEST:: SOT 16863 SOS 7588 HAS SOPS 7588 HAS SOUS 4444 HAS SOUPS 4444 WITH SCORE 4451.588
AT ITER 2099 NEW BEST:: SOT 16861 SOS 7586 HAS SOPS 7586 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4449.586
AT ITER 2120 NEW BEST:: SOT 16863 SOS 7566 HAS SOPS 7566 HAS SOUS 4442 HAS SOUPS 4442 WITH SCORE 4449.566
AT ITER 2125 NEW BEST:: SOT 16895 SOS 7598 HAS SOPS 7598 HAS SOUS 4421 HAS SOUPS 4421 WITH SCORE 4428.598
AT ITER 2143 NEW BEST:: SOT 16886 SOS 7597 HAS SOPS 7597 HAS SOUS 4419 HAS SOUPS 4419 WITH SCORE 4426.597
AT ITER 2160 NEW BEST:: SOT 16862 SOS 7572 HAS SOPS 7572 HAS SOUS 4394 HAS SOUPS 4394 WITH SCORE 4401.572
AT ITER 2177 NEW BEST:: SOT 16862 SOS 7566 HAS SOPS 7566 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4399.566
AT ITER 2214 NEW BEST:: SOT 16860 SOS 7564 HAS SOPS 7564 HAS SOUS 4390 HAS SOUPS 4390 WITH SCORE 4397.564
AT ITER 2231 NEW BEST:: SOT 16836 SOS 7540 HAS SOPS 7540 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4373.54
AT ITER 2292 NEW BEST:: SOT 16831 SOS 7528 HAS SOPS 7528 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4367.528
AT ITER 2299 NEW BEST:: SOT 16826 SOS 7514 HAS SOPS 7514 HAS SOUS 4353 HAS SOUPS 4353 WITH SCORE 4360.514
AT ITER 2344 NEW BEST:: SOT 16818 SOS 7504 HAS SOPS 7504 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4344.504
AT ITER 2348 NEW BEST:: SOT 16815 SOS 7509 HAS SOPS 7509 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4341.509
AT ITER 2385 NEW BEST:: SOT 16815 SOS 7489 HAS SOPS 7489 HAS SOUS 4334 HAS SOUPS 4334 WITH SCORE 4341.489
AT ITER 2393 NEW BEST:: SOT 16813 SOS 7487 HAS SOPS 7487 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4340.487
AT ITER 2413 NEW BEST:: SOT 16811 SOS 7481 HAS SOPS 7481 HAS SOUS 4329 HAS SOUPS 4329 WITH SCORE 4336.481
AT ITER 2431 NEW BEST:: SOT 16806 SOS 7471 HAS SOPS 7471 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4328.471
AT ITER 2438 NEW BEST:: SOT 16806 SOS 7468 HAS SOPS 7468 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4328.468
AT ITER 2487 NEW BEST:: SOT 16802 SOS 7467 HAS SOPS 7467 HAS SOUS 4311 HAS SOUPS 4311 WITH SCORE 4318.467
AT ITER 2492 NEW BEST:: SOT 16779 SOS 7436 HAS SOPS 7436 HAS SOUS 4286 HAS SOUPS 4286 WITH SCORE 4293.436
AT ITER 2509 NEW BEST:: SOT 16771 SOS 7431 HAS SOPS 7431 HAS SOUS 4281 HAS SOUPS 4281 WITH SCORE 4288.431
AT ITER 2513 NEW BEST:: SOT 16757 SOS 7411 HAS SOPS 7411 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4268.411
AT ITER 2516 NEW BEST:: SOT 16752 SOS 7414 HAS SOPS 7414 HAS SOUS 4257 HAS SOUPS 4257 WITH SCORE 4264.414
AT ITER 2536 NEW BEST:: SOT 16743 SOS 7388 HAS SOPS 7388 HAS SOUS 4249 HAS SOUPS 4249 WITH SCORE 4256.388
AT ITER 2537 NEW BEST:: SOT 16728 SOS 7374 HAS SOPS 7374 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4236.374
AT ITER 2553 NEW BEST:: SOT 16723 SOS 7367 HAS SOPS 7367 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4229.367
AT ITER 2559 NEW BEST:: SOT 16722 SOS 7359 HAS SOPS 7359 HAS SOUS 4198 HAS SOUPS 4198 WITH SCORE 4205.359
AT ITER 2613 NEW BEST:: SOT 16721 SOS 7360 HAS SOPS 7360 HAS SOUS 4193 HAS SOUPS 4193 WITH SCORE 4200.36
AT ITER 2634 NEW BEST:: SOT 16717 SOS 7353 HAS SOPS 7353 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4181.353
AT ITER 2659 NEW BEST:: SOT 16717 SOS 7352 HAS SOPS 7352 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4180.352
AT ITER 2665 NEW BEST:: SOT 16684 SOS 7315 HAS SOPS 7315 HAS SOUS 4136 HAS SOUPS 4136 WITH SCORE 4143.315
AT ITER 2681 NEW BEST:: SOT 16684 SOS 7320 HAS SOPS 7320 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4141.32
AT ITER 2736 NEW BEST:: SOT 16688 SOS 7316 HAS SOPS 7316 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4139.316
AT ITER 2773 NEW BEST:: SOT 16686 SOS 7288 HAS SOPS 7288 HAS SOUS 4132 HAS SOUPS 4132 WITH SCORE 4139.288
AT ITER 2789 NEW BEST:: SOT 16687 SOS 7278 HAS SOPS 7278 HAS SOUS 4131 HAS SOUPS 4131 WITH SCORE 4138.278
AT ITER 2798 NEW BEST:: SOT 16683 SOS 7246 HAS SOPS 7246 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4134.246
AT ITER 2812 NEW BEST:: SOT 16682 SOS 7245 HAS SOPS 7245 HAS SOUS 4126 HAS SOUPS 4126 WITH SCORE 4133.245
AT ITER 2818 NEW BEST:: SOT 16672 SOS 7235 HAS SOPS 7235 HAS SOUS 4122 HAS SOUPS 4122 WITH SCORE 4129.235
AT ITER 2854 NEW BEST:: SOT 16671 SOS 7234 HAS SOPS 7234 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4128.234
AT ITER 2855 NEW BEST:: SOT 16673 SOS 7244 HAS SOPS 7244 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4126.244
AT ITER 2876 NEW BEST:: SOT 16680 SOS 7247 HAS SOPS 7247 HAS SOUS 4110 HAS SOUPS 4110 WITH SCORE 4117.247
AT ITER 2878 NEW BEST:: SOT 16684 SOS 7225 HAS SOPS 7225 HAS SOUS 4105 HAS SOUPS 4105 WITH SCORE 4112.225
AT ITER 2951 NEW BEST:: SOT 16698 SOS 7236 HAS SOPS 7236 HAS SOUS 4101 HAS SOUPS 4101 WITH SCORE 4108.236
AT ITER 2959 NEW BEST:: SOT 16654 SOS 7184 HAS SOPS 7184 HAS SOUS 4055 HAS SOUPS 4055 WITH SCORE 4062.184
AT ITER 2977 NEW BEST:: SOT 16650 SOS 7180 HAS SOPS 7180 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4058.18
AT ITER 3000 NEW BEST:: SOT 16649 SOS 7176 HAS SOPS 7176 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4054.176
AT ITER 3067 NEW BEST:: SOT 16649 SOS 7192 HAS SOPS 7192 HAS SOUS 4045 HAS SOUPS 4045 WITH SCORE 4052.192
AT ITER 3074 NEW BEST:: SOT 16654 SOS 7239 HAS SOPS 7239 HAS SOUS 4012 HAS SOUPS 4012 WITH SCORE 4019.239
AT ITER 3076 NEW BEST:: SOT 16657 SOS 7236 HAS SOPS 7236 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4013.236
AT ITER 3092 NEW BEST:: SOT 16652 SOS 7221 HAS SOPS 7221 HAS SOUS 3996 HAS SOUPS 3996 WITH SCORE 4003.221
AT ITER 3115 NEW BEST:: SOT 16650 SOS 7219 HAS SOPS 7219 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3995.219
AT ITER 3128 NEW BEST:: SOT 16649 SOS 7210 HAS SOPS 7210 HAS SOUS 3977 HAS SOUPS 3977 WITH SCORE 3984.21
AT ITER 3191 NEW BEST:: SOT 16647 SOS 7208 HAS SOPS 7208 HAS SOUS 3971 HAS SOUPS 3971 WITH SCORE 3978.208
AT ITER 3293 NEW BEST:: SOT 16628 SOS 7183 HAS SOPS 7183 HAS SOUS 3958 HAS SOUPS 3958 WITH SCORE 3965.183
AT ITER 3306 NEW BEST:: SOT 16620 SOS 7173 HAS SOPS 7173 HAS SOUS 3942 HAS SOUPS 3942 WITH SCORE 3949.173
AT ITER 3308 NEW BEST:: SOT 16620 SOS 7173 HAS SOPS 7173 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3937.173
AT ITER 3313 NEW BEST:: SOT 16616 SOS 7169 HAS SOPS 7169 HAS SOUS 3930 HAS SOUPS 3930 WITH SCORE 3937.169
AT ITER 3319 NEW BEST:: SOT 16617 SOS 7152 HAS SOPS 7152 HAS SOUS 3928 HAS SOUPS 3928 WITH SCORE 3935.152
AT ITER 3331 NEW BEST:: SOT 16610 SOS 7063 HAS SOPS 7063 HAS SOUS 3903 HAS SOUPS 3903 WITH SCORE 3910.063
AT ITER 3338 NEW BEST:: SOT 16608 SOS 7054 HAS SOPS 7054 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3901.054
AT ITER 3369 NEW BEST:: SOT 16601 SOS 7045 HAS SOPS 7045 HAS SOUS 3884 HAS SOUPS 3884 WITH SCORE 3891.045
AT ITER 3372 NEW BEST:: SOT 16575 SOS 7019 HAS SOPS 7019 HAS SOUS 3844 HAS SOUPS 3844 WITH SCORE 3851.019
AT ITER 3401 NEW BEST:: SOT 16572 SOS 7016 HAS SOPS 7016 HAS SOUS 3841 HAS SOUPS 3841 WITH SCORE 3848.016
AT ITER 3439 NEW BEST:: SOT 16566 SOS 6998 HAS SOPS 6998 HAS SOUS 3830 HAS SOUPS 3830 WITH SCORE 3836.998
AT ITER 3480 NEW BEST:: SOT 16546 SOS 6976 HAS SOPS 6976 HAS SOUS 3808 HAS SOUPS 3808 WITH SCORE 3814.976
AT ITER 3503 NEW BEST:: SOT 16549 SOS 6976 HAS SOPS 6976 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3812.976
AT ITER 3551 NEW BEST:: SOT 16529 SOS 6952 HAS SOPS 6952 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3784.952
AT ITER 3553 NEW BEST:: SOT 16527 SOS 6943 HAS SOPS 6943 HAS SOUS 3778 HAS SOUPS 3778 WITH SCORE 3784.943
AT ITER 3557 NEW BEST:: SOT 16514 SOS 6926 HAS SOPS 6926 HAS SOUS 3752 HAS SOUPS 3752 WITH SCORE 3758.926
AT ITER 3583 NEW BEST:: SOT 16517 SOS 6966 HAS SOPS 6966 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3751.966
AT ITER 3611 NEW BEST:: SOT 16497 SOS 6952 HAS SOPS 6952 HAS SOUS 3738 HAS SOUPS 3738 WITH SCORE 3744.952
AT ITER 3641 NEW BEST:: SOT 16498 SOS 6895 HAS SOPS 6895 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3743.895
AT ITER 3717 NEW BEST:: SOT 16461 SOS 6858 HAS SOPS 6858 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3740.858
AT ITER 3721 NEW BEST:: SOT 16461 SOS 6867 HAS SOPS 6867 HAS SOUS 3733 HAS SOUPS 3733 WITH SCORE 3739.867
AT ITER 3738 NEW BEST:: SOT 16457 SOS 6862 HAS SOPS 6862 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3734.862
AT ITER 3747 NEW BEST:: SOT 16455 SOS 6860 HAS SOPS 6860 HAS SOUS 3728 HAS SOUPS 3728 WITH SCORE 3734.86
AT ITER 3749 NEW BEST:: SOT 16449 SOS 6848 HAS SOPS 6848 HAS SOUS 3720 HAS SOUPS 3720 WITH SCORE 3726.848
AT ITER 3814 NEW BEST:: SOT 16449 SOS 6843 HAS SOPS 6843 HAS SOUS 3719 HAS SOUPS 3719 WITH SCORE 3725.843
AT ITER 3861 NEW BEST:: SOT 16459 SOS 6853 HAS SOPS 6853 HAS SOUS 3718 HAS SOUPS 3718 WITH SCORE 3724.853
AT ITER 3883 NEW BEST:: SOT 16456 SOS 6846 HAS SOPS 6846 HAS SOUS 3713 HAS SOUPS 3713 WITH SCORE 3719.846
AT ITER 3913 NEW BEST:: SOT 16456 SOS 6842 HAS SOPS 6842 HAS SOUS 3707 HAS SOUPS 3707 WITH SCORE 3713.842
AT ITER 3925 NEW BEST:: SOT 16456 SOS 6841 HAS SOPS 6841 HAS SOUS 3706 HAS SOUPS 3706 WITH SCORE 3712.841
AT ITER 4001 NEW BEST:: SOT 16457 SOS 6837 HAS SOPS 6837 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3710.837
AT ITER 4026 NEW BEST:: SOT 16459 SOS 6847 HAS SOPS 6847 HAS SOUS 3698 HAS SOUPS 3698 WITH SCORE 3704.847
AT ITER 4029 NEW BEST:: SOT 16459 SOS 6847 HAS SOPS 6847 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3698.847
AT ITER 4112 NEW BEST:: SOT 16453 SOS 6840 HAS SOPS 6840 HAS SOUS 3692 HAS SOUPS 3692 WITH SCORE 3698.84
AT ITER 4174 NEW BEST:: SOT 16426 SOS 6903 HAS SOPS 6903 HAS SOUS 3674 HAS SOUPS 3674 WITH SCORE 3680.903
AT ITER 4202 NEW BEST:: SOT 16426 SOS 6898 HAS SOPS 6898 HAS SOUS 3672 HAS SOUPS 3672 WITH SCORE 3678.898
AT ITER 4207 NEW BEST:: SOT 16420 SOS 6896 HAS SOPS 6896 HAS SOUS 3667 HAS SOUPS 3667 WITH SCORE 3673.896
AT ITER 4227 NEW BEST:: SOT 16419 SOS 6886 HAS SOPS 6886 HAS SOUS 3661 HAS SOUPS 3661 WITH SCORE 3667.886
AT ITER 4274 NEW BEST:: SOT 16412 SOS 6879 HAS SOPS 6879 HAS SOUS 3654 HAS SOUPS 3654 WITH SCORE 3660.879
AT ITER 4284 NEW BEST:: SOT 16364 SOS 6779 HAS SOPS 6779 HAS SOUS 3638 HAS SOUPS 3638 WITH SCORE 3644.779
AT ITER 4339 NEW BEST:: SOT 16360 SOS 6751 HAS SOPS 6751 HAS SOUS 3631 HAS SOUPS 3631 WITH SCORE 3637.751
AT ITER 4346 NEW BEST:: SOT 16360 SOS 6770 HAS SOPS 6770 HAS SOUS 3621 HAS SOUPS 3621 WITH SCORE 3627.77
AT ITER 4440 NEW BEST:: SOT 16356 SOS 6776 HAS SOPS 6776 HAS SOUS 3617 HAS SOUPS 3617 WITH SCORE 3623.776
AT ITER 4501 NEW BEST:: SOT 16356 SOS 6764 HAS SOPS 6764 HAS SOUS 3616 HAS SOUPS 3616 WITH SCORE 3622.764
AT ITER 4521 NEW BEST:: SOT 16335 SOS 6737 HAS SOPS 6737 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3589.737
AT ITER 4592 NEW BEST:: SOT 16334 SOS 6742 HAS SOPS 6742 HAS SOUS 3582 HAS SOUPS 3582 WITH SCORE 3588.742
AT ITER 4605 NEW BEST:: SOT 16334 SOS 6741 HAS SOPS 6741 HAS SOUS 3580 HAS SOUPS 3580 WITH SCORE 3586.741
AT ITER 4639 NEW BEST:: SOT 16328 SOS 6735 HAS SOPS 6735 HAS SOUS 3574 HAS SOUPS 3574 WITH SCORE 3580.735
AT ITER 4690 NEW BEST:: SOT 16325 SOS 6728 HAS SOPS 6728 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3571.728
AT ITER 4727 NEW BEST:: SOT 16327 SOS 6724 HAS SOPS 6724 HAS SOUS 3565 HAS SOUPS 3565 WITH SCORE 3571.724
AT ITER 4827 NEW BEST:: SOT 16327 SOS 6724 HAS SOPS 6724 HAS SOUS 3562 HAS SOUPS 3562 WITH SCORE 3568.724
AT ITER 4835 NEW BEST:: SOT 16325 SOS 6714 HAS SOPS 6714 HAS SOUS 3561 HAS SOUPS 3561 WITH SCORE 3567.714
AT ITER 4836 NEW BEST:: SOT 16326 SOS 6718 HAS SOPS 6718 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3565.718
AT ITER 4846 NEW BEST:: SOT 16313 SOS 6705 HAS SOPS 6705 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3560.705
AT ITER 4874 NEW BEST:: SOT 16311 SOS 6703 HAS SOPS 6703 HAS SOUS 3553 HAS SOUPS 3553 WITH SCORE 3559.703
AT ITER 5041 NEW BEST:: SOT 16311 SOS 6697 HAS SOPS 6697 HAS SOUS 3552 HAS SOUPS 3552 WITH SCORE 3558.697
AT ITER 5064 NEW BEST:: SOT 16308 SOS 6673 HAS SOPS 6673 HAS SOUS 3548 HAS SOUPS 3548 WITH SCORE 3554.673
AT ITER 5079 NEW BEST:: SOT 16309 SOS 6672 HAS SOPS 6672 HAS SOUS 3538 HAS SOUPS 3538 WITH SCORE 3544.672
AT ITER 5144 NEW BEST:: SOT 16309 SOS 6683 HAS SOPS 6683 HAS SOUS 3526 HAS SOUPS 3526 WITH SCORE 3532.683
AT ITER 5185 NEW BEST:: SOT 16312 SOS 6688 HAS SOPS 6688 HAS SOUS 3525 HAS SOUPS 3525 WITH SCORE 3531.688
AT ITER 5224 NEW BEST:: SOT 16302 SOS 6681 HAS SOPS 6681 HAS SOUS 3520 HAS SOUPS 3520 WITH SCORE 3526.681
AT ITER 5229 NEW BEST:: SOT 16301 SOS 6646 HAS SOPS 6646 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3494.646
AT ITER 5273 NEW BEST:: SOT 16301 SOS 6645 HAS SOPS 6645 HAS SOUS 3484 HAS SOUPS 3484 WITH SCORE 3490.645
AT ITER 5288 NEW BEST:: SOT 16295 SOS 6615 HAS SOPS 6615 HAS SOUS 3472 HAS SOUPS 3472 WITH SCORE 3478.615
AT ITER 5296 NEW BEST:: SOT 16289 SOS 6604 HAS SOPS 6604 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3461.604
AT ITER 5307 NEW BEST:: SOT 16287 SOS 6602 HAS SOPS 6602 HAS SOUS 3453 HAS SOUPS 3453 WITH SCORE 3459.602
AT ITER 5316 NEW BEST:: SOT 16284 SOS 6598 HAS SOPS 6598 HAS SOUS 3452 HAS SOUPS 3452 WITH SCORE 3458.598
AT ITER 5325 NEW BEST:: SOT 16278 SOS 6592 HAS SOPS 6592 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3450.592
AT ITER 5333 NEW BEST:: SOT 16263 SOS 6590 HAS SOPS 6590 HAS SOUS 3441 HAS SOUPS 3441 WITH SCORE 3447.59
AT ITER 5347 NEW BEST:: SOT 16262 SOS 6588 HAS SOPS 6588 HAS SOUS 3439 HAS SOUPS 3439 WITH SCORE 3445.588
AT ITER 5371 NEW BEST:: SOT 16260 SOS 6586 HAS SOPS 6586 HAS SOUS 3437 HAS SOUPS 3437 WITH SCORE 3443.586
AT ITER 5405 NEW BEST:: SOT 16258 SOS 6584 HAS SOPS 6584 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3441.584
AT ITER 5412 NEW BEST:: SOT 16261 SOS 6569 HAS SOPS 6569 HAS SOUS 3432 HAS SOUPS 3432 WITH SCORE 3438.569
AT ITER 5437 NEW BEST:: SOT 16261 SOS 6569 HAS SOPS 6569 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3429.569
AT ITER 5519 NEW BEST:: SOT 16257 SOS 6568 HAS SOPS 6568 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3428.568
AT ITER 5528 NEW BEST:: SOT 16272 SOS 6583 HAS SOPS 6583 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3427.583
AT ITER 5540 NEW BEST:: SOT 16273 SOS 6593 HAS SOPS 6593 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3426.593
AT ITER 5627 NEW BEST:: SOT 16268 SOS 6587 HAS SOPS 6587 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3416.587
AT ITER 5638 NEW BEST:: SOT 16268 SOS 6563 HAS SOPS 6563 HAS SOUS 3410 HAS SOUPS 3410 WITH SCORE 3416.563
AT ITER 5742 NEW BEST:: SOT 16269 SOS 6570 HAS SOPS 6570 HAS SOUS 3406 HAS SOUPS 3406 WITH SCORE 3412.57
AT ITER 5751 NEW BEST:: SOT 16265 SOS 6566 HAS SOPS 6566 HAS SOUS 3400 HAS SOUPS 3400 WITH SCORE 3406.566
AT ITER 5856 NEW BEST:: SOT 16263 SOS 6564 HAS SOPS 6564 HAS SOUS 3399 HAS SOUPS 3399 WITH SCORE 3405.564
AT ITER 5878 NEW BEST:: SOT 16257 SOS 6554 HAS SOPS 6554 HAS SOUS 3391 HAS SOUPS 3391 WITH SCORE 3397.554
AT ITER 5915 NEW BEST:: SOT 16253 SOS 6547 HAS SOPS 6547 HAS SOUS 3385 HAS SOUPS 3385 WITH SCORE 3391.547
AT ITER 5969 NEW BEST:: SOT 16253 SOS 6540 HAS SOPS 6540 HAS SOUS 3383 HAS SOUPS 3383 WITH SCORE 3389.54
AT ITER 6017 NEW BEST:: SOT 16255 SOS 6534 HAS SOPS 6534 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3388.534
AT ITER 6040 NEW BEST:: SOT 16265 SOS 6479 HAS SOPS 6479 HAS SOUS 3382 HAS SOUPS 3382 WITH SCORE 3388.479
AT ITER 6192 NEW BEST:: SOT 16265 SOS 6459 HAS SOPS 6459 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3383.459
AT ITER 6281 NEW BEST:: SOT 16264 SOS 6457 HAS SOPS 6457 HAS SOUS 3376 HAS SOUPS 3376 WITH SCORE 3382.457
AT ITER 6303 NEW BEST:: SOT 16256 SOS 6443 HAS SOPS 6443 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3371.443
AT ITER 6322 NEW BEST:: SOT 16252 SOS 6439 HAS SOPS 6439 HAS SOUS 3365 HAS SOUPS 3365 WITH SCORE 3371.439
AT ITER 6343 NEW BEST:: SOT 16246 SOS 6426 HAS SOPS 6426 HAS SOUS 3359 HAS SOUPS 3359 WITH SCORE 3365.426
AT ITER 6350 NEW BEST:: SOT 16233 SOS 6406 HAS SOPS 6406 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3344.406
AT ITER 6354 NEW BEST:: SOT 16232 SOS 6408 HAS SOPS 6408 HAS SOUS 3335 HAS SOUPS 3335 WITH SCORE 3341.408
AT ITER 6378 NEW BEST:: SOT 16220 SOS 6393 HAS SOPS 6393 HAS SOUS 3309 HAS SOUPS 3309 WITH SCORE 3315.393
AT ITER 6386 NEW BEST:: SOT 16219 SOS 6388 HAS SOPS 6388 HAS SOUS 3307 HAS SOUPS 3307 WITH SCORE 3313.388
AT ITER 6425 NEW BEST:: SOT 16214 SOS 6386 HAS SOPS 6386 HAS SOUS 3301 HAS SOUPS 3301 WITH SCORE 3307.386
AT ITER 6432 NEW BEST:: SOT 16175 SOS 6336 HAS SOPS 6336 HAS SOUS 3254 HAS SOUPS 3254 WITH SCORE 3260.336
AT ITER 6496 NEW BEST:: SOT 16172 SOS 6333 HAS SOPS 6333 HAS SOUS 3247 HAS SOUPS 3247 WITH SCORE 3253.333
AT ITER 6762 NEW BEST:: SOT 16172 SOS 6335 HAS SOPS 6335 HAS SOUS 3243 HAS SOUPS 3243 WITH SCORE 3249.335
AT ITER 6815 NEW BEST:: SOT 16171 SOS 6332 HAS SOPS 6332 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3247.332
AT ITER 6835 NEW BEST:: SOT 16165 SOS 6324 HAS SOPS 6324 HAS SOUS 3231 HAS SOUPS 3231 WITH SCORE 3237.324
AT ITER 6996 NEW BEST:: SOT 16162 SOS 6325 HAS SOPS 6325 HAS SOUS 3227 HAS SOUPS 3227 WITH SCORE 3233.325
AT ITER 7075 NEW BEST:: SOT 16161 SOS 6275 HAS SOPS 6275 HAS SOUS 3225 HAS SOUPS 3225 WITH SCORE 3231.275
AT ITER 7088 NEW BEST:: SOT 16161 SOS 6273 HAS SOPS 6273 HAS SOUS 3224 HAS SOUPS 3224 WITH SCORE 3230.273
AT ITER 7125 NEW BEST:: SOT 16152 SOS 6265 HAS SOPS 6265 HAS SOUS 3216 HAS SOUPS 3216 WITH SCORE 3222.265
AT ITER 7196 NEW BEST:: SOT 16148 SOS 6263 HAS SOPS 6263 HAS SOUS 3210 HAS SOUPS 3210 WITH SCORE 3216.263
AT ITER 7209 NEW BEST:: SOT 16146 SOS 6261 HAS SOPS 6261 HAS SOUS 3208 HAS SOUPS 3208 WITH SCORE 3214.261
AT ITER 7252 NEW BEST:: SOT 16139 SOS 6252 HAS SOPS 6252 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3197.252
AT ITER 7309 NEW BEST:: SOT 16139 SOS 6247 HAS SOPS 6247 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3197.247
AT ITER 7386 NEW BEST:: SOT 16138 SOS 6246 HAS SOPS 6246 HAS SOUS 3191 HAS SOUPS 3191 WITH SCORE 3197.246
AT ITER 7528 NEW BEST:: SOT 16141 SOS 6262 HAS SOPS 6262 HAS SOUS 3190 HAS SOUPS 3190 WITH SCORE 3196.262
AT ITER 7572 NEW BEST:: SOT 16142 SOS 6264 HAS SOPS 6264 HAS SOUS 3185 HAS SOUPS 3185 WITH SCORE 3191.264
AT ITER 7606 NEW BEST:: SOT 16141 SOS 6262 HAS SOPS 6262 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3190.262
AT ITER 7670 NEW BEST:: SOT 16141 SOS 6256 HAS SOPS 6256 HAS SOUS 3184 HAS SOUPS 3184 WITH SCORE 3190.256
AT ITER 7763 NEW BEST:: SOT 16137 SOS 6252 HAS SOPS 6252 HAS SOUS 3182 HAS SOUPS 3182 WITH SCORE 3188.252
AT ITER 7825 NEW BEST:: SOT 16133 SOS 6247 HAS SOPS 6247 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3183.247
AT ITER 7989 NEW BEST:: SOT 16132 SOS 6237 HAS SOPS 6237 HAS SOUS 3177 HAS SOUPS 3177 WITH SCORE 3183.237
AT ITER 8031 NEW BEST:: SOT 16133 SOS 6236 HAS SOPS 6236 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3182.236
AT ITER 8071 NEW BEST:: SOT 16135 SOS 6236 HAS SOPS 6236 HAS SOUS 3171 HAS SOUPS 3171 WITH SCORE 3177.236
AT ITER 8164 NEW BEST:: SOT 16134 SOS 6235 HAS SOPS 6235 HAS SOUS 3170 HAS SOUPS 3170 WITH SCORE 3176.235
AT ITER 8214 NEW BEST:: SOT 16134 SOS 6235 HAS SOPS 6235 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3175.235
AT ITER 8283 NEW BEST:: SOT 16138 SOS 6232 HAS SOPS 6232 HAS SOUS 3165 HAS SOUPS 3165 WITH SCORE 3171.232
AT ITER 8385 NEW BEST:: SOT 16138 SOS 6220 HAS SOPS 6220 HAS SOUS 3162 HAS SOUPS 3162 WITH SCORE 3168.22
AT ITER 8389 NEW BEST:: SOT 16136 SOS 6230 HAS SOPS 6230 HAS SOUS 3160 HAS SOUPS 3160 WITH SCORE 3166.23
AT ITER 8401 NEW BEST:: SOT 16136 SOS 6227 HAS SOPS 6227 HAS SOUS 3157 HAS SOUPS 3157 WITH SCORE 3163.227
AT ITER 8715 NEW BEST:: SOT 16120 SOS 6211 HAS SOPS 6211 HAS SOUS 3140 HAS SOUPS 3140 WITH SCORE 3146.211
AT ITER 8730 NEW BEST:: SOT 16118 SOS 6174 HAS SOPS 6174 HAS SOUS 3124 HAS SOUPS 3124 WITH SCORE 3130.174
AT ITER 8766 NEW BEST:: SOT 16116 SOS 6174 HAS SOPS 6174 HAS SOUS 3120 HAS SOUPS 3120 WITH SCORE 3126.174
AT ITER 8980 NEW BEST:: SOT 16114 SOS 6172 HAS SOPS 6172 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3124.172
AT ITER 9210 NEW BEST:: SOT 16114 SOS 6172 HAS SOPS 6172 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3118.172
AT ITER 9213 NEW BEST:: SOT 16114 SOS 6046 HAS SOPS 6046 HAS SOUS 3091 HAS SOUPS 3091 WITH SCORE 3097.046
AT ITER 9306 NEW BEST:: SOT 16115 SOS 6036 HAS SOPS 6036 HAS SOUS 3090 HAS SOUPS 3090 WITH SCORE 3096.036
AT ITER 9426 NEW BEST:: SOT 16113 SOS 6030 HAS SOPS 6030 HAS SOUS 3089 HAS SOUPS 3089 WITH SCORE 3095.03
AT ITER 9450 NEW BEST:: SOT 16113 SOS 5995 HAS SOPS 5995 HAS SOUS 3078 HAS SOUPS 3078 WITH SCORE 3083.995
AT ITER 9548 NEW BEST:: SOT 16109 SOS 5985 HAS SOPS 5985 HAS SOUS 3070 HAS SOUPS 3070 WITH SCORE 3075.985
AT ITER 9594 NEW BEST:: SOT 16106 SOS 5980 HAS SOPS 5980 HAS SOUS 3064 HAS SOUPS 3064 WITH SCORE 3069.98
AT ITER 9791 NEW BEST:: SOT 16095 SOS 5969 HAS SOPS 5969 HAS SOUS 3058 HAS SOUPS 3058 WITH SCORE 3063.969
AT ITER 9904 NEW BEST:: SOT 16093 SOS 5959 HAS SOPS 5959 HAS SOUS 3054 HAS SOUPS 3054 WITH SCORE 3059.959
AT ITER 9951 NEW BEST:: SOT 16091 SOS 5955 HAS SOPS 5955 HAS SOUS 3049 HAS SOUPS 3049 WITH SCORE 3054.955

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVs-PT-010A"
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 ShieldRVs-PT-010A, 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 r207-tajo-159033470000832"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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