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-159033470301024.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 ShieldRVt-PT-020A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033470301024
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.4K May 14 02:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 02:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 20:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 20:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:34 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 54K 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 1590454483145

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

Filename model.pnml
Petri model created: 163 places, 163 transitions, 686 arcs.
AT ITER 0 NEW BEST:: SOT 20915 SOS 15526 HAS SOPS 15526 HAS SOUS 14446 HAS SOUPS 14446 WITH SCORE 14461.526
AT ITER 1 NEW BEST:: SOT 20909 SOS 15520 HAS SOPS 15520 HAS SOUS 14440 HAS SOUPS 14440 WITH SCORE 14455.52
AT ITER 3 NEW BEST:: SOT 20854 SOS 15415 HAS SOPS 15415 HAS SOUS 14384 HAS SOUPS 14384 WITH SCORE 14399.415
AT ITER 5 NEW BEST:: SOT 20830 SOS 15365 HAS SOPS 15365 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14390.365
AT ITER 10 NEW BEST:: SOT 20766 SOS 15301 HAS SOPS 15301 HAS SOUS 14311 HAS SOUPS 14311 WITH SCORE 14326.301
AT ITER 11 NEW BEST:: SOT 20699 SOS 15139 HAS SOPS 15139 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14209.139
AT ITER 12 NEW BEST:: SOT 20575 SOS 14957 HAS SOPS 14957 HAS SOUS 14033 HAS SOUPS 14033 WITH SCORE 14047.957
AT ITER 13 NEW BEST:: SOT 20499 SOS 14817 HAS SOPS 14817 HAS SOUS 13852 HAS SOUPS 13852 WITH SCORE 13866.817
AT ITER 17 NEW BEST:: SOT 20315 SOS 14533 HAS SOPS 14533 HAS SOUS 13543 HAS SOUPS 13543 WITH SCORE 13557.533
AT ITER 19 NEW BEST:: SOT 20314 SOS 14532 HAS SOPS 14532 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13556.532
AT ITER 20 NEW BEST:: SOT 20190 SOS 14371 HAS SOPS 14371 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13455.371
AT ITER 21 NEW BEST:: SOT 20107 SOS 14163 HAS SOPS 14163 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13288.163
AT ITER 23 NEW BEST:: SOT 20036 SOS 14024 HAS SOPS 14024 HAS SOUS 13135 HAS SOUPS 13135 WITH SCORE 13149.024
AT ITER 24 NEW BEST:: SOT 19997 SOS 13909 HAS SOPS 13909 HAS SOUS 13020 HAS SOUPS 13020 WITH SCORE 13033.909
AT ITER 25 NEW BEST:: SOT 19997 SOS 13909 HAS SOPS 13909 HAS SOUS 13000 HAS SOUPS 13000 WITH SCORE 13013.909
AT ITER 28 NEW BEST:: SOT 19997 SOS 13906 HAS SOPS 13906 HAS SOUS 12991 HAS SOUPS 12991 WITH SCORE 13004.906
AT ITER 29 NEW BEST:: SOT 19978 SOS 13870 HAS SOPS 13870 HAS SOUS 12990 HAS SOUPS 12990 WITH SCORE 13003.87
AT ITER 33 NEW BEST:: SOT 19893 SOS 13676 HAS SOPS 13676 HAS SOUS 12803 HAS SOUPS 12803 WITH SCORE 12816.676
AT ITER 35 NEW BEST:: SOT 19918 SOS 13815 HAS SOPS 13815 HAS SOUS 12791 HAS SOUPS 12791 WITH SCORE 12804.815
AT ITER 36 NEW BEST:: SOT 19922 SOS 13853 HAS SOPS 13853 HAS SOUS 12782 HAS SOUPS 12782 WITH SCORE 12795.853
AT ITER 42 NEW BEST:: SOT 19852 SOS 13609 HAS SOPS 13609 HAS SOUS 12598 HAS SOUPS 12598 WITH SCORE 12611.609
AT ITER 44 NEW BEST:: SOT 19776 SOS 13422 HAS SOPS 13422 HAS SOUS 12446 HAS SOUPS 12446 WITH SCORE 12459.422
AT ITER 46 NEW BEST:: SOT 19672 SOS 13208 HAS SOPS 13208 HAS SOUS 12227 HAS SOUPS 12227 WITH SCORE 12240.208
AT ITER 47 NEW BEST:: SOT 19634 SOS 13132 HAS SOPS 13132 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12169.132
AT ITER 48 NEW BEST:: SOT 19561 SOS 12990 HAS SOPS 12990 HAS SOUS 11983 HAS SOUPS 11983 WITH SCORE 11995.99
AT ITER 51 NEW BEST:: SOT 19556 SOS 12974 HAS SOPS 12974 HAS SOUS 11967 HAS SOUPS 11967 WITH SCORE 11979.974
AT ITER 53 NEW BEST:: SOT 19479 SOS 12723 HAS SOPS 12723 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11866.723
AT ITER 54 NEW BEST:: SOT 19474 SOS 12718 HAS SOPS 12718 HAS SOUS 11849 HAS SOUPS 11849 WITH SCORE 11861.718
AT ITER 55 NEW BEST:: SOT 19435 SOS 12619 HAS SOPS 12619 HAS SOUS 11736 HAS SOUPS 11736 WITH SCORE 11748.619
AT ITER 58 NEW BEST:: SOT 19413 SOS 12676 HAS SOPS 12676 HAS SOUS 11730 HAS SOUPS 11730 WITH SCORE 11742.676
AT ITER 63 NEW BEST:: SOT 19314 SOS 12504 HAS SOPS 12504 HAS SOUS 11533 HAS SOUPS 11533 WITH SCORE 11545.504
AT ITER 69 NEW BEST:: SOT 19314 SOS 12496 HAS SOPS 12496 HAS SOUS 11529 HAS SOUPS 11529 WITH SCORE 11541.496
AT ITER 72 NEW BEST:: SOT 19288 SOS 12444 HAS SOPS 12444 HAS SOUS 11503 HAS SOUPS 11503 WITH SCORE 11515.444
AT ITER 73 NEW BEST:: SOT 19207 SOS 12255 HAS SOPS 12255 HAS SOUS 11350 HAS SOUPS 11350 WITH SCORE 11362.255
AT ITER 74 NEW BEST:: SOT 19205 SOS 12253 HAS SOPS 12253 HAS SOUS 11348 HAS SOUPS 11348 WITH SCORE 11360.253
AT ITER 81 NEW BEST:: SOT 19109 SOS 12114 HAS SOPS 12114 HAS SOUS 11215 HAS SOUPS 11215 WITH SCORE 11227.114
AT ITER 83 NEW BEST:: SOT 19105 SOS 12102 HAS SOPS 12102 HAS SOUS 11203 HAS SOUPS 11203 WITH SCORE 11215.102
AT ITER 84 NEW BEST:: SOT 19080 SOS 12077 HAS SOPS 12077 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11190.077
AT ITER 85 NEW BEST:: SOT 19019 SOS 11937 HAS SOPS 11937 HAS SOUS 11092 HAS SOUPS 11092 WITH SCORE 11103.937
AT ITER 89 NEW BEST:: SOT 18974 SOS 11868 HAS SOPS 11868 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11031.868
AT ITER 90 NEW BEST:: SOT 18974 SOS 11837 HAS SOPS 11837 HAS SOUS 11019 HAS SOUPS 11019 WITH SCORE 11030.837
AT ITER 92 NEW BEST:: SOT 18974 SOS 11807 HAS SOPS 11807 HAS SOUS 10994 HAS SOUPS 10994 WITH SCORE 11005.807
AT ITER 94 NEW BEST:: SOT 18925 SOS 11679 HAS SOPS 11679 HAS SOUS 10847 HAS SOUPS 10847 WITH SCORE 10858.679
AT ITER 97 NEW BEST:: SOT 18901 SOS 11661 HAS SOPS 11661 HAS SOUS 10826 HAS SOUPS 10826 WITH SCORE 10837.661
AT ITER 99 NEW BEST:: SOT 18864 SOS 11554 HAS SOPS 11554 HAS SOUS 10721 HAS SOUPS 10721 WITH SCORE 10732.554
AT ITER 101 NEW BEST:: SOT 18833 SOS 11441 HAS SOPS 11441 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10619.441
AT ITER 107 NEW BEST:: SOT 18833 SOS 11446 HAS SOPS 11446 HAS SOUS 10599 HAS SOUPS 10599 WITH SCORE 10610.446
AT ITER 108 NEW BEST:: SOT 18849 SOS 11394 HAS SOPS 11394 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10558.394
AT ITER 113 NEW BEST:: SOT 18807 SOS 11214 HAS SOPS 11214 HAS SOUS 10375 HAS SOUPS 10375 WITH SCORE 10386.214
AT ITER 114 NEW BEST:: SOT 18777 SOS 11069 HAS SOPS 11069 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10276.069
AT ITER 115 NEW BEST:: SOT 18633 SOS 10850 HAS SOPS 10850 HAS SOUS 10052 HAS SOUPS 10052 WITH SCORE 10062.85
AT ITER 119 NEW BEST:: SOT 18625 SOS 10834 HAS SOPS 10834 HAS SOUS 10036 HAS SOUPS 10036 WITH SCORE 10046.834
AT ITER 120 NEW BEST:: SOT 18578 SOS 10786 HAS SOPS 10786 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10016.786
AT ITER 121 NEW BEST:: SOT 18527 SOS 10709 HAS SOPS 10709 HAS SOUS 9929 HAS SOUPS 9929 WITH SCORE 9939.709
AT ITER 130 NEW BEST:: SOT 18491 SOS 10661 HAS SOPS 10661 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9895.661
AT ITER 133 NEW BEST:: SOT 18439 SOS 10582 HAS SOPS 10582 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9843.582
AT ITER 135 NEW BEST:: SOT 18367 SOS 10439 HAS SOPS 10439 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9700.439
AT ITER 155 NEW BEST:: SOT 18367 SOS 10435 HAS SOPS 10435 HAS SOUS 9654 HAS SOUPS 9654 WITH SCORE 9664.435
AT ITER 156 NEW BEST:: SOT 18356 SOS 10428 HAS SOPS 10428 HAS SOUS 9650 HAS SOUPS 9650 WITH SCORE 9660.428
AT ITER 157 NEW BEST:: SOT 18298 SOS 10370 HAS SOPS 10370 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9602.37
AT ITER 161 NEW BEST:: SOT 18296 SOS 10368 HAS SOPS 10368 HAS SOUS 9590 HAS SOUPS 9590 WITH SCORE 9600.368
AT ITER 165 NEW BEST:: SOT 18301 SOS 10373 HAS SOPS 10373 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9591.373
AT ITER 170 NEW BEST:: SOT 18296 SOS 10354 HAS SOPS 10354 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9560.354
AT ITER 173 NEW BEST:: SOT 18299 SOS 10346 HAS SOPS 10346 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9554.346
AT ITER 174 NEW BEST:: SOT 18231 SOS 10112 HAS SOPS 10112 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9350.112
AT ITER 176 NEW BEST:: SOT 18213 SOS 10060 HAS SOPS 10060 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9308.06
AT ITER 181 NEW BEST:: SOT 18212 SOS 10054 HAS SOPS 10054 HAS SOUS 9280 HAS SOUPS 9280 WITH SCORE 9290.054
AT ITER 184 NEW BEST:: SOT 18212 SOS 10107 HAS SOPS 10107 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9278.107
AT ITER 193 NEW BEST:: SOT 18212 SOS 10150 HAS SOPS 10150 HAS SOUS 9256 HAS SOUPS 9256 WITH SCORE 9266.15
AT ITER 197 NEW BEST:: SOT 18203 SOS 10142 HAS SOPS 10142 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9258.142
AT ITER 198 NEW BEST:: SOT 18195 SOS 10118 HAS SOPS 10118 HAS SOUS 9231 HAS SOUPS 9231 WITH SCORE 9241.118
AT ITER 201 NEW BEST:: SOT 18154 SOS 10077 HAS SOPS 10077 HAS SOUS 9190 HAS SOUPS 9190 WITH SCORE 9200.077
AT ITER 202 NEW BEST:: SOT 18169 SOS 10078 HAS SOPS 10078 HAS SOUS 9180 HAS SOUPS 9180 WITH SCORE 9190.078
AT ITER 206 NEW BEST:: SOT 18144 SOS 9978 HAS SOPS 9978 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9109.978
AT ITER 207 NEW BEST:: SOT 18149 SOS 9955 HAS SOPS 9955 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9067.955
AT ITER 213 NEW BEST:: SOT 18140 SOS 9931 HAS SOPS 9931 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9050.931
AT ITER 218 NEW BEST:: SOT 18064 SOS 9855 HAS SOPS 9855 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8974.855
AT ITER 225 NEW BEST:: SOT 18063 SOS 9852 HAS SOPS 9852 HAS SOUS 8962 HAS SOUPS 8962 WITH SCORE 8971.852
AT ITER 226 NEW BEST:: SOT 18055 SOS 9834 HAS SOPS 9834 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8953.834
AT ITER 237 NEW BEST:: SOT 18055 SOS 9767 HAS SOPS 9767 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8890.767
AT ITER 239 NEW BEST:: SOT 18055 SOS 9759 HAS SOPS 9759 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8890.759
AT ITER 264 NEW BEST:: SOT 18054 SOS 9756 HAS SOPS 9756 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8881.756
AT ITER 270 NEW BEST:: SOT 18049 SOS 9741 HAS SOPS 9741 HAS SOUS 8717 HAS SOUPS 8717 WITH SCORE 8726.741
AT ITER 271 NEW BEST:: SOT 18039 SOS 9721 HAS SOPS 9721 HAS SOUS 8697 HAS SOUPS 8697 WITH SCORE 8706.721
AT ITER 273 NEW BEST:: SOT 17969 SOS 9633 HAS SOPS 9633 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8635.633
AT ITER 281 NEW BEST:: SOT 17969 SOS 9536 HAS SOPS 9536 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8608.536
AT ITER 282 NEW BEST:: SOT 17947 SOS 9514 HAS SOPS 9514 HAS SOUS 8577 HAS SOUPS 8577 WITH SCORE 8586.514
AT ITER 283 NEW BEST:: SOT 17931 SOS 9494 HAS SOPS 9494 HAS SOUS 8557 HAS SOUPS 8557 WITH SCORE 8566.494
AT ITER 286 NEW BEST:: SOT 17931 SOS 9494 HAS SOPS 9494 HAS SOUS 8555 HAS SOUPS 8555 WITH SCORE 8564.494
AT ITER 287 NEW BEST:: SOT 17970 SOS 9509 HAS SOPS 9509 HAS SOUS 8537 HAS SOUPS 8537 WITH SCORE 8546.509
AT ITER 291 NEW BEST:: SOT 17968 SOS 9497 HAS SOPS 9497 HAS SOUS 8525 HAS SOUPS 8525 WITH SCORE 8534.497
AT ITER 293 NEW BEST:: SOT 17922 SOS 9428 HAS SOPS 9428 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8469.428
AT ITER 294 NEW BEST:: SOT 17920 SOS 9410 HAS SOPS 9410 HAS SOUS 8458 HAS SOUPS 8458 WITH SCORE 8467.41
AT ITER 295 NEW BEST:: SOT 17918 SOS 9406 HAS SOPS 9406 HAS SOUS 8454 HAS SOUPS 8454 WITH SCORE 8463.406
AT ITER 302 NEW BEST:: SOT 17918 SOS 9435 HAS SOPS 9435 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8456.435
AT ITER 320 NEW BEST:: SOT 17756 SOS 9160 HAS SOPS 9160 HAS SOUS 8200 HAS SOUPS 8200 WITH SCORE 8209.16
AT ITER 322 NEW BEST:: SOT 17711 SOS 9031 HAS SOPS 9031 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8080.031
AT ITER 336 NEW BEST:: SOT 17701 SOS 9021 HAS SOPS 9021 HAS SOUS 8061 HAS SOUPS 8061 WITH SCORE 8070.021
AT ITER 337 NEW BEST:: SOT 17697 SOS 9015 HAS SOPS 9015 HAS SOUS 8057 HAS SOUPS 8057 WITH SCORE 8066.015
AT ITER 339 NEW BEST:: SOT 17691 SOS 9004 HAS SOPS 9004 HAS SOUS 8051 HAS SOUPS 8051 WITH SCORE 8060.004
AT ITER 341 NEW BEST:: SOT 17625 SOS 8881 HAS SOPS 8881 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7976.881
AT ITER 349 NEW BEST:: SOT 17620 SOS 8871 HAS SOPS 8871 HAS SOUS 7958 HAS SOUPS 7958 WITH SCORE 7966.871
AT ITER 371 NEW BEST:: SOT 17603 SOS 8806 HAS SOPS 8806 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7911.806
AT ITER 387 NEW BEST:: SOT 17541 SOS 8625 HAS SOPS 8625 HAS SOUS 7764 HAS SOUPS 7764 WITH SCORE 7772.625
AT ITER 395 NEW BEST:: SOT 17541 SOS 8595 HAS SOPS 8595 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7746.595
AT ITER 400 NEW BEST:: SOT 17517 SOS 8545 HAS SOPS 8545 HAS SOUS 7696 HAS SOUPS 7696 WITH SCORE 7704.545
AT ITER 408 NEW BEST:: SOT 17518 SOS 8529 HAS SOPS 8529 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7696.529
AT ITER 409 NEW BEST:: SOT 17486 SOS 8417 HAS SOPS 8417 HAS SOUS 7681 HAS SOUPS 7681 WITH SCORE 7689.417
AT ITER 413 NEW BEST:: SOT 17474 SOS 8399 HAS SOPS 8399 HAS SOUS 7663 HAS SOUPS 7663 WITH SCORE 7671.399
AT ITER 422 NEW BEST:: SOT 17460 SOS 8385 HAS SOPS 8385 HAS SOUS 7649 HAS SOUPS 7649 WITH SCORE 7657.385
AT ITER 425 NEW BEST:: SOT 17460 SOS 8379 HAS SOPS 8379 HAS SOUS 7644 HAS SOUPS 7644 WITH SCORE 7652.379
AT ITER 426 NEW BEST:: SOT 17460 SOS 8408 HAS SOPS 8408 HAS SOUS 7641 HAS SOUPS 7641 WITH SCORE 7649.408
AT ITER 433 NEW BEST:: SOT 17450 SOS 8399 HAS SOPS 8399 HAS SOUS 7614 HAS SOUPS 7614 WITH SCORE 7622.399
AT ITER 437 NEW BEST:: SOT 17450 SOS 8369 HAS SOPS 8369 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7590.369
AT ITER 442 NEW BEST:: SOT 17395 SOS 8274 HAS SOPS 8274 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7494.274
AT ITER 444 NEW BEST:: SOT 17387 SOS 8261 HAS SOPS 8261 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7481.261
AT ITER 448 NEW BEST:: SOT 17365 SOS 8210 HAS SOPS 8210 HAS SOUS 7422 HAS SOUPS 7422 WITH SCORE 7430.21
AT ITER 449 NEW BEST:: SOT 17360 SOS 8195 HAS SOPS 8195 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.195
AT ITER 459 NEW BEST:: SOT 17354 SOS 8184 HAS SOPS 8184 HAS SOUS 7391 HAS SOUPS 7391 WITH SCORE 7399.184
AT ITER 461 NEW BEST:: SOT 17328 SOS 8158 HAS SOPS 8158 HAS SOUS 7365 HAS SOUPS 7365 WITH SCORE 7373.158
AT ITER 467 NEW BEST:: SOT 17310 SOS 8131 HAS SOPS 8131 HAS SOUS 7329 HAS SOUPS 7329 WITH SCORE 7337.131
AT ITER 470 NEW BEST:: SOT 17294 SOS 8115 HAS SOPS 8115 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7321.115
AT ITER 474 NEW BEST:: SOT 17284 SOS 8095 HAS SOPS 8095 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7301.095
AT ITER 475 NEW BEST:: SOT 17284 SOS 8104 HAS SOPS 8104 HAS SOUS 7288 HAS SOUPS 7288 WITH SCORE 7296.104
AT ITER 491 NEW BEST:: SOT 17242 SOS 8046 HAS SOPS 8046 HAS SOUS 7230 HAS SOUPS 7230 WITH SCORE 7238.046
AT ITER 510 NEW BEST:: SOT 17172 SOS 7948 HAS SOPS 7948 HAS SOUS 7192 HAS SOUPS 7192 WITH SCORE 7199.948
AT ITER 515 NEW BEST:: SOT 17080 SOS 7814 HAS SOPS 7814 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7051.814
AT ITER 524 NEW BEST:: SOT 17042 SOS 7776 HAS SOPS 7776 HAS SOUS 7001 HAS SOUPS 7001 WITH SCORE 7008.776
AT ITER 527 NEW BEST:: SOT 17040 SOS 7768 HAS SOPS 7768 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7006.768
AT ITER 536 NEW BEST:: SOT 17015 SOS 7670 HAS SOPS 7670 HAS SOUS 6911 HAS SOUPS 6911 WITH SCORE 6918.67
AT ITER 544 NEW BEST:: SOT 16956 SOS 7553 HAS SOPS 7553 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6845.553
AT ITER 554 NEW BEST:: SOT 16956 SOS 7565 HAS SOPS 7565 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6843.565
AT ITER 563 NEW BEST:: SOT 16956 SOS 7565 HAS SOPS 7565 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6838.565
AT ITER 574 NEW BEST:: SOT 16950 SOS 7539 HAS SOPS 7539 HAS SOUS 6820 HAS SOUPS 6820 WITH SCORE 6827.539
AT ITER 580 NEW BEST:: SOT 16987 SOS 7446 HAS SOPS 7446 HAS SOUS 6801 HAS SOUPS 6801 WITH SCORE 6808.446
AT ITER 590 NEW BEST:: SOT 16971 SOS 7351 HAS SOPS 7351 HAS SOUS 6756 HAS SOUPS 6756 WITH SCORE 6763.351
AT ITER 609 NEW BEST:: SOT 16967 SOS 7347 HAS SOPS 7347 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6759.347
AT ITER 617 NEW BEST:: SOT 16950 SOS 7316 HAS SOPS 7316 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6712.316
AT ITER 618 NEW BEST:: SOT 16927 SOS 7281 HAS SOPS 7281 HAS SOUS 6688 HAS SOUPS 6688 WITH SCORE 6695.281
AT ITER 624 NEW BEST:: SOT 16920 SOS 7248 HAS SOPS 7248 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6681.248
AT ITER 626 NEW BEST:: SOT 16919 SOS 7247 HAS SOPS 7247 HAS SOUS 6673 HAS SOUPS 6673 WITH SCORE 6680.247
AT ITER 639 NEW BEST:: SOT 16915 SOS 7241 HAS SOPS 7241 HAS SOUS 6670 HAS SOUPS 6670 WITH SCORE 6677.241
AT ITER 641 NEW BEST:: SOT 16807 SOS 7133 HAS SOPS 7133 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6569.133
AT ITER 655 NEW BEST:: SOT 16892 SOS 7122 HAS SOPS 7122 HAS SOUS 6527 HAS SOUPS 6527 WITH SCORE 6534.122
AT ITER 658 NEW BEST:: SOT 16889 SOS 7119 HAS SOPS 7119 HAS SOUS 6524 HAS SOUPS 6524 WITH SCORE 6531.119
AT ITER 681 NEW BEST:: SOT 16877 SOS 7105 HAS SOPS 7105 HAS SOUS 6522 HAS SOUPS 6522 WITH SCORE 6529.105
AT ITER 685 NEW BEST:: SOT 16875 SOS 7099 HAS SOPS 7099 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6526.099
AT ITER 693 NEW BEST:: SOT 16833 SOS 7051 HAS SOPS 7051 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6481.051
AT ITER 710 NEW BEST:: SOT 16815 SOS 7027 HAS SOPS 7027 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6457.027
AT ITER 711 NEW BEST:: SOT 16810 SOS 7052 HAS SOPS 7052 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6455.052
AT ITER 719 NEW BEST:: SOT 16803 SOS 7029 HAS SOPS 7029 HAS SOUS 6441 HAS SOUPS 6441 WITH SCORE 6448.029
AT ITER 726 NEW BEST:: SOT 16797 SOS 7020 HAS SOPS 7020 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6442.02
AT ITER 730 NEW BEST:: SOT 16791 SOS 7014 HAS SOPS 7014 HAS SOUS 6432 HAS SOUPS 6432 WITH SCORE 6439.014
AT ITER 737 NEW BEST:: SOT 16792 SOS 7037 HAS SOPS 7037 HAS SOUS 6417 HAS SOUPS 6417 WITH SCORE 6424.037
AT ITER 747 NEW BEST:: SOT 16782 SOS 7027 HAS SOPS 7027 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6414.027
AT ITER 751 NEW BEST:: SOT 16782 SOS 7021 HAS SOPS 7021 HAS SOUS 6401 HAS SOUPS 6401 WITH SCORE 6408.021
AT ITER 763 NEW BEST:: SOT 16783 SOS 7035 HAS SOPS 7035 HAS SOUS 6396 HAS SOUPS 6396 WITH SCORE 6403.035
AT ITER 774 NEW BEST:: SOT 16779 SOS 7021 HAS SOPS 7021 HAS SOUS 6388 HAS SOUPS 6388 WITH SCORE 6395.021
AT ITER 783 NEW BEST:: SOT 16771 SOS 7005 HAS SOPS 7005 HAS SOUS 6357 HAS SOUPS 6357 WITH SCORE 6364.005
AT ITER 801 NEW BEST:: SOT 16763 SOS 6983 HAS SOPS 6983 HAS SOUS 6335 HAS SOUPS 6335 WITH SCORE 6341.983
AT ITER 802 NEW BEST:: SOT 16734 SOS 6971 HAS SOPS 6971 HAS SOUS 6329 HAS SOUPS 6329 WITH SCORE 6335.971
AT ITER 805 NEW BEST:: SOT 16734 SOS 6971 HAS SOPS 6971 HAS SOUS 6326 HAS SOUPS 6326 WITH SCORE 6332.971
AT ITER 823 NEW BEST:: SOT 16734 SOS 6971 HAS SOPS 6971 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6328.971
AT ITER 841 NEW BEST:: SOT 16715 SOS 6933 HAS SOPS 6933 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6270.933
AT ITER 844 NEW BEST:: SOT 16652 SOS 6906 HAS SOPS 6906 HAS SOUS 6207 HAS SOUPS 6207 WITH SCORE 6213.906
AT ITER 849 NEW BEST:: SOT 16652 SOS 6867 HAS SOPS 6867 HAS SOUS 6198 HAS SOUPS 6198 WITH SCORE 6204.867
AT ITER 852 NEW BEST:: SOT 16635 SOS 6840 HAS SOPS 6840 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6174.84
AT ITER 863 NEW BEST:: SOT 16629 SOS 6834 HAS SOPS 6834 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6167.834
AT ITER 864 NEW BEST:: SOT 16642 SOS 6843 HAS SOPS 6843 HAS SOUS 6159 HAS SOUPS 6159 WITH SCORE 6165.843
AT ITER 871 NEW BEST:: SOT 16641 SOS 6842 HAS SOPS 6842 HAS SOUS 6157 HAS SOUPS 6157 WITH SCORE 6163.842
AT ITER 877 NEW BEST:: SOT 16634 SOS 6799 HAS SOPS 6799 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6156.799
AT ITER 891 NEW BEST:: SOT 16633 SOS 6789 HAS SOPS 6789 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6154.789
AT ITER 909 NEW BEST:: SOT 16626 SOS 6780 HAS SOPS 6780 HAS SOUS 6145 HAS SOUPS 6145 WITH SCORE 6151.78
AT ITER 923 NEW BEST:: SOT 16621 SOS 6784 HAS SOPS 6784 HAS SOUS 6139 HAS SOUPS 6139 WITH SCORE 6145.784
AT ITER 947 NEW BEST:: SOT 16603 SOS 6697 HAS SOPS 6697 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6088.697
AT ITER 954 NEW BEST:: SOT 16601 SOS 6681 HAS SOPS 6681 HAS SOUS 6079 HAS SOUPS 6079 WITH SCORE 6085.681
AT ITER 966 NEW BEST:: SOT 16597 SOS 6673 HAS SOPS 6673 HAS SOUS 6073 HAS SOUPS 6073 WITH SCORE 6079.673
AT ITER 992 NEW BEST:: SOT 16588 SOS 6664 HAS SOPS 6664 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6076.664
AT ITER 995 NEW BEST:: SOT 16533 SOS 6580 HAS SOPS 6580 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5992.58
AT ITER 1008 NEW BEST:: SOT 16512 SOS 6559 HAS SOPS 6559 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5992.559
AT ITER 1010 NEW BEST:: SOT 16512 SOS 6552 HAS SOPS 6552 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5985.552
AT ITER 1018 NEW BEST:: SOT 16511 SOS 6553 HAS SOPS 6553 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5978.553
AT ITER 1022 NEW BEST:: SOT 16509 SOS 6546 HAS SOPS 6546 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5969.546
AT ITER 1034 NEW BEST:: SOT 16508 SOS 6545 HAS SOPS 6545 HAS SOUS 5962 HAS SOUPS 5962 WITH SCORE 5968.545
AT ITER 1036 NEW BEST:: SOT 16505 SOS 6539 HAS SOPS 6539 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5965.539
AT ITER 1040 NEW BEST:: SOT 16505 SOS 6538 HAS SOPS 6538 HAS SOUS 5958 HAS SOUPS 5958 WITH SCORE 5964.538
AT ITER 1058 NEW BEST:: SOT 16502 SOS 6526 HAS SOPS 6526 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5955.526
AT ITER 1095 NEW BEST:: SOT 16466 SOS 6476 HAS SOPS 6476 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5930.476
AT ITER 1096 NEW BEST:: SOT 16465 SOS 6470 HAS SOPS 6470 HAS SOUS 5915 HAS SOUPS 5915 WITH SCORE 5921.47
AT ITER 1128 NEW BEST:: SOT 16465 SOS 6482 HAS SOPS 6482 HAS SOUS 5902 HAS SOUPS 5902 WITH SCORE 5908.482
AT ITER 1144 NEW BEST:: SOT 16463 SOS 6480 HAS SOPS 6480 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5906.48
AT ITER 1145 NEW BEST:: SOT 16461 SOS 6478 HAS SOPS 6478 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5897.478
AT ITER 1151 NEW BEST:: SOT 16472 SOS 6479 HAS SOPS 6479 HAS SOUS 5885 HAS SOUPS 5885 WITH SCORE 5891.479
AT ITER 1159 NEW BEST:: SOT 16487 SOS 6505 HAS SOPS 6505 HAS SOUS 5881 HAS SOUPS 5881 WITH SCORE 5887.505
AT ITER 1160 NEW BEST:: SOT 16484 SOS 6509 HAS SOPS 6509 HAS SOUS 5875 HAS SOUPS 5875 WITH SCORE 5881.509
AT ITER 1186 NEW BEST:: SOT 16478 SOS 6497 HAS SOPS 6497 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5870.497
AT ITER 1198 NEW BEST:: SOT 16466 SOS 6470 HAS SOPS 6470 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5848.47
AT ITER 1199 NEW BEST:: SOT 16457 SOS 6458 HAS SOPS 6458 HAS SOUS 5830 HAS SOUPS 5830 WITH SCORE 5836.458
AT ITER 1200 NEW BEST:: SOT 16420 SOS 6421 HAS SOPS 6421 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5811.421
AT ITER 1223 NEW BEST:: SOT 16411 SOS 6409 HAS SOPS 6409 HAS SOUS 5793 HAS SOUPS 5793 WITH SCORE 5799.409
AT ITER 1254 NEW BEST:: SOT 16408 SOS 6389 HAS SOPS 6389 HAS SOUS 5788 HAS SOUPS 5788 WITH SCORE 5794.389
AT ITER 1258 NEW BEST:: SOT 16392 SOS 6364 HAS SOPS 6364 HAS SOUS 5766 HAS SOUPS 5766 WITH SCORE 5772.364
AT ITER 1276 NEW BEST:: SOT 16382 SOS 6344 HAS SOPS 6344 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5762.344
AT ITER 1301 NEW BEST:: SOT 16373 SOS 6332 HAS SOPS 6332 HAS SOUS 5741 HAS SOUPS 5741 WITH SCORE 5747.332
AT ITER 1306 NEW BEST:: SOT 16313 SOS 6181 HAS SOPS 6181 HAS SOUS 5599 HAS SOUPS 5599 WITH SCORE 5605.181
AT ITER 1322 NEW BEST:: SOT 16298 SOS 6162 HAS SOPS 6162 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5586.162
AT ITER 1333 NEW BEST:: SOT 16194 SOS 6114 HAS SOPS 6114 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5516.114
AT ITER 1357 NEW BEST:: SOT 16191 SOS 6109 HAS SOPS 6109 HAS SOUS 5503 HAS SOUPS 5503 WITH SCORE 5509.109
AT ITER 1369 NEW BEST:: SOT 16176 SOS 6090 HAS SOPS 6090 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5490.09
AT ITER 1398 NEW BEST:: SOT 16174 SOS 6085 HAS SOPS 6085 HAS SOUS 5479 HAS SOUPS 5479 WITH SCORE 5485.085
AT ITER 1402 NEW BEST:: SOT 16152 SOS 6063 HAS SOPS 6063 HAS SOUS 5446 HAS SOUPS 5446 WITH SCORE 5452.063
AT ITER 1418 NEW BEST:: SOT 16142 SOS 6048 HAS SOPS 6048 HAS SOUS 5431 HAS SOUPS 5431 WITH SCORE 5437.048
AT ITER 1423 NEW BEST:: SOT 16139 SOS 6045 HAS SOPS 6045 HAS SOUS 5419 HAS SOUPS 5419 WITH SCORE 5425.045
AT ITER 1455 NEW BEST:: SOT 16123 SOS 5997 HAS SOPS 5997 HAS SOUS 5383 HAS SOUPS 5383 WITH SCORE 5388.997
AT ITER 1466 NEW BEST:: SOT 16123 SOS 6005 HAS SOPS 6005 HAS SOUS 5382 HAS SOUPS 5382 WITH SCORE 5388.005
AT ITER 1489 NEW BEST:: SOT 16104 SOS 5976 HAS SOPS 5976 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5358.976
AT ITER 1492 NEW BEST:: SOT 16095 SOS 5965 HAS SOPS 5965 HAS SOUS 5335 HAS SOUPS 5335 WITH SCORE 5340.965
AT ITER 1512 NEW BEST:: SOT 16091 SOS 5962 HAS SOPS 5962 HAS SOUS 5325 HAS SOUPS 5325 WITH SCORE 5330.962
AT ITER 1515 NEW BEST:: SOT 16091 SOS 5969 HAS SOPS 5969 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5328.969
AT ITER 1518 NEW BEST:: SOT 16091 SOS 5966 HAS SOPS 5966 HAS SOUS 5323 HAS SOUPS 5323 WITH SCORE 5328.966
AT ITER 1522 NEW BEST:: SOT 16083 SOS 5951 HAS SOPS 5951 HAS SOUS 5322 HAS SOUPS 5322 WITH SCORE 5327.951
AT ITER 1524 NEW BEST:: SOT 16066 SOS 5890 HAS SOPS 5890 HAS SOUS 5278 HAS SOUPS 5278 WITH SCORE 5283.89
AT ITER 1531 NEW BEST:: SOT 16065 SOS 5889 HAS SOPS 5889 HAS SOUS 5277 HAS SOUPS 5277 WITH SCORE 5282.889
AT ITER 1561 NEW BEST:: SOT 16061 SOS 5872 HAS SOPS 5872 HAS SOUS 5269 HAS SOUPS 5269 WITH SCORE 5274.872
AT ITER 1565 NEW BEST:: SOT 16054 SOS 5861 HAS SOPS 5861 HAS SOUS 5250 HAS SOUPS 5250 WITH SCORE 5255.861
AT ITER 1594 NEW BEST:: SOT 16055 SOS 5864 HAS SOPS 5864 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.864
AT ITER 1595 NEW BEST:: SOT 16055 SOS 5862 HAS SOPS 5862 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5254.862
AT ITER 1598 NEW BEST:: SOT 16043 SOS 5846 HAS SOPS 5846 HAS SOUS 5233 HAS SOUPS 5233 WITH SCORE 5238.846
AT ITER 1603 NEW BEST:: SOT 16043 SOS 5845 HAS SOPS 5845 HAS SOUS 5232 HAS SOUPS 5232 WITH SCORE 5237.845
AT ITER 1608 NEW BEST:: SOT 16041 SOS 5842 HAS SOPS 5842 HAS SOUS 5222 HAS SOUPS 5222 WITH SCORE 5227.842
AT ITER 1620 NEW BEST:: SOT 16041 SOS 5842 HAS SOPS 5842 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5225.842
AT ITER 1641 NEW BEST:: SOT 16035 SOS 5846 HAS SOPS 5846 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5219.846
AT ITER 1647 NEW BEST:: SOT 16023 SOS 5815 HAS SOPS 5815 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5217.815
AT ITER 1689 NEW BEST:: SOT 16011 SOS 5800 HAS SOPS 5800 HAS SOUS 5197 HAS SOUPS 5197 WITH SCORE 5202.8
AT ITER 1719 NEW BEST:: SOT 16001 SOS 5752 HAS SOPS 5752 HAS SOUS 5169 HAS SOUPS 5169 WITH SCORE 5174.752
AT ITER 1759 NEW BEST:: SOT 15995 SOS 5746 HAS SOPS 5746 HAS SOUS 5163 HAS SOUPS 5163 WITH SCORE 5168.746
AT ITER 1764 NEW BEST:: SOT 15991 SOS 5740 HAS SOPS 5740 HAS SOUS 5160 HAS SOUPS 5160 WITH SCORE 5165.74
AT ITER 1770 NEW BEST:: SOT 15983 SOS 5730 HAS SOPS 5730 HAS SOUS 5144 HAS SOUPS 5144 WITH SCORE 5149.73
AT ITER 1779 NEW BEST:: SOT 15981 SOS 5718 HAS SOPS 5718 HAS SOUS 5142 HAS SOUPS 5142 WITH SCORE 5147.718
AT ITER 1821 NEW BEST:: SOT 15976 SOS 5694 HAS SOPS 5694 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5133.694
AT ITER 1868 NEW BEST:: SOT 15958 SOS 5651 HAS SOPS 5651 HAS SOUS 5107 HAS SOUPS 5107 WITH SCORE 5112.651
AT ITER 1873 NEW BEST:: SOT 15951 SOS 5637 HAS SOPS 5637 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5102.637
AT ITER 1886 NEW BEST:: SOT 15946 SOS 5632 HAS SOPS 5632 HAS SOUS 5092 HAS SOUPS 5092 WITH SCORE 5097.632
AT ITER 1904 NEW BEST:: SOT 15940 SOS 5631 HAS SOPS 5631 HAS SOUS 5086 HAS SOUPS 5086 WITH SCORE 5091.631
AT ITER 1914 NEW BEST:: SOT 15931 SOS 5604 HAS SOPS 5604 HAS SOUS 5084 HAS SOUPS 5084 WITH SCORE 5089.604
AT ITER 1936 NEW BEST:: SOT 15900 SOS 5538 HAS SOPS 5538 HAS SOUS 5028 HAS SOUPS 5028 WITH SCORE 5033.538
AT ITER 1938 NEW BEST:: SOT 15897 SOS 5535 HAS SOPS 5535 HAS SOUS 5022 HAS SOUPS 5022 WITH SCORE 5027.535
AT ITER 1939 NEW BEST:: SOT 15897 SOS 5525 HAS SOPS 5525 HAS SOUS 5017 HAS SOUPS 5017 WITH SCORE 5022.525
AT ITER 1969 NEW BEST:: SOT 15886 SOS 5502 HAS SOPS 5502 HAS SOUS 4998 HAS SOUPS 4998 WITH SCORE 5003.502
AT ITER 2054 NEW BEST:: SOT 15882 SOS 5494 HAS SOPS 5494 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4995.494
AT ITER 2057 NEW BEST:: SOT 15882 SOS 5488 HAS SOPS 5488 HAS SOUS 4990 HAS SOUPS 4990 WITH SCORE 4995.488
AT ITER 2070 NEW BEST:: SOT 15867 SOS 5443 HAS SOPS 5443 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4980.443
AT ITER 2083 NEW BEST:: SOT 15865 SOS 5439 HAS SOPS 5439 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4978.439
AT ITER 2087 NEW BEST:: SOT 15853 SOS 5424 HAS SOPS 5424 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4961.424
AT ITER 2102 NEW BEST:: SOT 15853 SOS 5412 HAS SOPS 5412 HAS SOUS 4944 HAS SOUPS 4944 WITH SCORE 4949.412
AT ITER 2111 NEW BEST:: SOT 15836 SOS 5391 HAS SOPS 5391 HAS SOUS 4936 HAS SOUPS 4936 WITH SCORE 4941.391
AT ITER 2145 NEW BEST:: SOT 15835 SOS 5389 HAS SOPS 5389 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4940.389
AT ITER 2156 NEW BEST:: SOT 15834 SOS 5388 HAS SOPS 5388 HAS SOUS 4934 HAS SOUPS 4934 WITH SCORE 4939.388
AT ITER 2173 NEW BEST:: SOT 15832 SOS 5385 HAS SOPS 5385 HAS SOUS 4931 HAS SOUPS 4931 WITH SCORE 4936.385
AT ITER 2196 NEW BEST:: SOT 15794 SOS 5323 HAS SOPS 5323 HAS SOUS 4899 HAS SOUPS 4899 WITH SCORE 4904.323
AT ITER 2217 NEW BEST:: SOT 15791 SOS 5320 HAS SOPS 5320 HAS SOUS 4893 HAS SOUPS 4893 WITH SCORE 4898.32
AT ITER 2231 NEW BEST:: SOT 15783 SOS 5312 HAS SOPS 5312 HAS SOUS 4881 HAS SOUPS 4881 WITH SCORE 4886.312
AT ITER 2232 NEW BEST:: SOT 15781 SOS 5308 HAS SOPS 5308 HAS SOUS 4878 HAS SOUPS 4878 WITH SCORE 4883.308
AT ITER 2235 NEW BEST:: SOT 15781 SOS 5322 HAS SOPS 5322 HAS SOUS 4875 HAS SOUPS 4875 WITH SCORE 4880.322
AT ITER 2310 NEW BEST:: SOT 15781 SOS 5301 HAS SOPS 5301 HAS SOUS 4851 HAS SOUPS 4851 WITH SCORE 4856.301
AT ITER 2317 NEW BEST:: SOT 15785 SOS 5313 HAS SOPS 5313 HAS SOUS 4849 HAS SOUPS 4849 WITH SCORE 4854.313
AT ITER 2321 NEW BEST:: SOT 15791 SOS 5297 HAS SOPS 5297 HAS SOUS 4840 HAS SOUPS 4840 WITH SCORE 4845.297
AT ITER 2342 NEW BEST:: SOT 15788 SOS 5293 HAS SOPS 5293 HAS SOUS 4835 HAS SOUPS 4835 WITH SCORE 4840.293
AT ITER 2374 NEW BEST:: SOT 15782 SOS 5281 HAS SOPS 5281 HAS SOUS 4829 HAS SOUPS 4829 WITH SCORE 4834.281
AT ITER 2394 NEW BEST:: SOT 15778 SOS 5274 HAS SOPS 5274 HAS SOUS 4818 HAS SOUPS 4818 WITH SCORE 4823.274
AT ITER 2409 NEW BEST:: SOT 15775 SOS 5271 HAS SOPS 5271 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.271
AT ITER 2418 NEW BEST:: SOT 15736 SOS 5232 HAS SOPS 5232 HAS SOUS 4810 HAS SOUPS 4810 WITH SCORE 4815.232
AT ITER 2497 NEW BEST:: SOT 15732 SOS 5221 HAS SOPS 5221 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4807.221
AT ITER 2502 NEW BEST:: SOT 15730 SOS 5215 HAS SOPS 5215 HAS SOUS 4798 HAS SOUPS 4798 WITH SCORE 4803.215
AT ITER 2558 NEW BEST:: SOT 15713 SOS 5197 HAS SOPS 5197 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4785.197
AT ITER 2590 NEW BEST:: SOT 15713 SOS 5197 HAS SOPS 5197 HAS SOUS 4776 HAS SOUPS 4776 WITH SCORE 4781.197
AT ITER 2633 NEW BEST:: SOT 15709 SOS 5189 HAS SOPS 5189 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4772.189
AT ITER 2770 NEW BEST:: SOT 15709 SOS 5189 HAS SOPS 5189 HAS SOUS 4766 HAS SOUPS 4766 WITH SCORE 4771.189
AT ITER 2843 NEW BEST:: SOT 15697 SOS 5173 HAS SOPS 5173 HAS SOUS 4750 HAS SOUPS 4750 WITH SCORE 4755.173
AT ITER 2927 NEW BEST:: SOT 15694 SOS 5169 HAS SOPS 5169 HAS SOUS 4746 HAS SOUPS 4746 WITH SCORE 4751.169
AT ITER 2944 NEW BEST:: SOT 15694 SOS 5161 HAS SOPS 5161 HAS SOUS 4738 HAS SOUPS 4738 WITH SCORE 4743.161
AT ITER 3005 NEW BEST:: SOT 15688 SOS 5142 HAS SOPS 5142 HAS SOUS 4719 HAS SOUPS 4719 WITH SCORE 4724.142
AT ITER 3106 NEW BEST:: SOT 15675 SOS 5125 HAS SOPS 5125 HAS SOUS 4702 HAS SOUPS 4702 WITH SCORE 4707.125
AT ITER 3109 NEW BEST:: SOT 15674 SOS 5095 HAS SOPS 5095 HAS SOUS 4684 HAS SOUPS 4684 WITH SCORE 4689.095
AT ITER 3137 NEW BEST:: SOT 15671 SOS 5091 HAS SOPS 5091 HAS SOUS 4680 HAS SOUPS 4680 WITH SCORE 4685.091
AT ITER 3157 NEW BEST:: SOT 15668 SOS 5092 HAS SOPS 5092 HAS SOUS 4677 HAS SOUPS 4677 WITH SCORE 4682.092
AT ITER 3221 NEW BEST:: SOT 15657 SOS 5087 HAS SOPS 5087 HAS SOUS 4676 HAS SOUPS 4676 WITH SCORE 4681.087
AT ITER 3278 NEW BEST:: SOT 15655 SOS 5085 HAS SOPS 5085 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4669.085
AT ITER 3292 NEW BEST:: SOT 15643 SOS 5050 HAS SOPS 5050 HAS SOUS 4661 HAS SOUPS 4661 WITH SCORE 4666.05
AT ITER 3298 NEW BEST:: SOT 15642 SOS 5050 HAS SOPS 5050 HAS SOUS 4659 HAS SOUPS 4659 WITH SCORE 4664.05
AT ITER 3339 NEW BEST:: SOT 15637 SOS 5039 HAS SOPS 5039 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.039
AT ITER 3360 NEW BEST:: SOT 15637 SOS 5035 HAS SOPS 5035 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4655.035
AT ITER 3377 NEW BEST:: SOT 15631 SOS 5014 HAS SOPS 5014 HAS SOUS 4632 HAS SOUPS 4632 WITH SCORE 4637.014
AT ITER 3378 NEW BEST:: SOT 15628 SOS 5013 HAS SOPS 5013 HAS SOUS 4630 HAS SOUPS 4630 WITH SCORE 4635.013
AT ITER 3547 NEW BEST:: SOT 15629 SOS 4985 HAS SOPS 4985 HAS SOUS 4615 HAS SOUPS 4615 WITH SCORE 4619.985
AT ITER 3552 NEW BEST:: SOT 15623 SOS 4977 HAS SOPS 4977 HAS SOUS 4607 HAS SOUPS 4607 WITH SCORE 4611.977
AT ITER 3568 NEW BEST:: SOT 15619 SOS 4967 HAS SOPS 4967 HAS SOUS 4598 HAS SOUPS 4598 WITH SCORE 4602.967
AT ITER 3604 NEW BEST:: SOT 15620 SOS 4966 HAS SOPS 4966 HAS SOUS 4597 HAS SOUPS 4597 WITH SCORE 4601.966
AT ITER 3629 NEW BEST:: SOT 15612 SOS 4956 HAS SOPS 4956 HAS SOUS 4584 HAS SOUPS 4584 WITH SCORE 4588.956
AT ITER 3666 NEW BEST:: SOT 15609 SOS 4951 HAS SOPS 4951 HAS SOUS 4579 HAS SOUPS 4579 WITH SCORE 4583.951
AT ITER 3712 NEW BEST:: SOT 15595 SOS 4937 HAS SOPS 4937 HAS SOUS 4559 HAS SOUPS 4559 WITH SCORE 4563.937
AT ITER 3741 NEW BEST:: SOT 15581 SOS 4887 HAS SOPS 4887 HAS SOUS 4527 HAS SOUPS 4527 WITH SCORE 4531.887
AT ITER 3745 NEW BEST:: SOT 15581 SOS 4883 HAS SOPS 4883 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4530.883
AT ITER 3785 NEW BEST:: SOT 15581 SOS 4878 HAS SOPS 4878 HAS SOUS 4523 HAS SOUPS 4523 WITH SCORE 4527.878
AT ITER 3799 NEW BEST:: SOT 15576 SOS 4865 HAS SOPS 4865 HAS SOUS 4511 HAS SOUPS 4511 WITH SCORE 4515.865
AT ITER 3858 NEW BEST:: SOT 15576 SOS 4860 HAS SOPS 4860 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4512.86
AT ITER 3866 NEW BEST:: SOT 15556 SOS 4830 HAS SOPS 4830 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4486.83
AT ITER 3869 NEW BEST:: SOT 15545 SOS 4808 HAS SOPS 4808 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4465.808
AT ITER 3878 NEW BEST:: SOT 15543 SOS 4801 HAS SOPS 4801 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4460.801
AT ITER 3904 NEW BEST:: SOT 15533 SOS 4782 HAS SOPS 4782 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4447.782
AT ITER 3989 NEW BEST:: SOT 15533 SOS 4781 HAS SOPS 4781 HAS SOUS 4443 HAS SOUPS 4443 WITH SCORE 4447.781
AT ITER 4098 NEW BEST:: SOT 15533 SOS 4783 HAS SOPS 4783 HAS SOUS 4441 HAS SOUPS 4441 WITH SCORE 4445.783
AT ITER 4125 NEW BEST:: SOT 15532 SOS 4775 HAS SOPS 4775 HAS SOUS 4437 HAS SOUPS 4437 WITH SCORE 4441.775
AT ITER 4129 NEW BEST:: SOT 15532 SOS 4765 HAS SOPS 4765 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4431.765
AT ITER 4164 NEW BEST:: SOT 15527 SOS 4760 HAS SOPS 4760 HAS SOUS 4417 HAS SOUPS 4417 WITH SCORE 4421.76
AT ITER 4175 NEW BEST:: SOT 15523 SOS 4753 HAS SOPS 4753 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4414.753
AT ITER 4204 NEW BEST:: SOT 15508 SOS 4720 HAS SOPS 4720 HAS SOUS 4383 HAS SOUPS 4383 WITH SCORE 4387.72
AT ITER 4205 NEW BEST:: SOT 15507 SOS 4721 HAS SOPS 4721 HAS SOUS 4379 HAS SOUPS 4379 WITH SCORE 4383.721
AT ITER 4220 NEW BEST:: SOT 15503 SOS 4713 HAS SOPS 4713 HAS SOUS 4375 HAS SOUPS 4375 WITH SCORE 4379.713
AT ITER 4263 NEW BEST:: SOT 15501 SOS 4714 HAS SOPS 4714 HAS SOUS 4373 HAS SOUPS 4373 WITH SCORE 4377.714
AT ITER 4271 NEW BEST:: SOT 15499 SOS 4706 HAS SOPS 4706 HAS SOUS 4369 HAS SOUPS 4369 WITH SCORE 4373.706
AT ITER 4396 NEW BEST:: SOT 15497 SOS 4704 HAS SOPS 4704 HAS SOUS 4365 HAS SOUPS 4365 WITH SCORE 4369.704
AT ITER 4590 NEW BEST:: SOT 15512 SOS 4663 HAS SOPS 4663 HAS SOUS 4345 HAS SOUPS 4345 WITH SCORE 4349.663
AT ITER 4622 NEW BEST:: SOT 15503 SOS 4653 HAS SOPS 4653 HAS SOUS 4333 HAS SOUPS 4333 WITH SCORE 4337.653
AT ITER 4631 NEW BEST:: SOT 15498 SOS 4636 HAS SOPS 4636 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4322.636
AT ITER 4652 NEW BEST:: SOT 15496 SOS 4632 HAS SOPS 4632 HAS SOUS 4314 HAS SOUPS 4314 WITH SCORE 4318.632
AT ITER 4723 NEW BEST:: SOT 15490 SOS 4624 HAS SOPS 4624 HAS SOUS 4306 HAS SOUPS 4306 WITH SCORE 4310.624
AT ITER 4737 NEW BEST:: SOT 15494 SOS 4629 HAS SOPS 4629 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4307.629
AT ITER 4751 NEW BEST:: SOT 15491 SOS 4624 HAS SOPS 4624 HAS SOUS 4298 HAS SOUPS 4298 WITH SCORE 4302.624
AT ITER 4791 NEW BEST:: SOT 15489 SOS 4616 HAS SOPS 4616 HAS SOUS 4290 HAS SOUPS 4290 WITH SCORE 4294.616
AT ITER 4792 NEW BEST:: SOT 15479 SOS 4597 HAS SOPS 4597 HAS SOUS 4275 HAS SOUPS 4275 WITH SCORE 4279.597
AT ITER 4834 NEW BEST:: SOT 15477 SOS 4594 HAS SOPS 4594 HAS SOUS 4272 HAS SOUPS 4272 WITH SCORE 4276.594
AT ITER 4845 NEW BEST:: SOT 15475 SOS 4601 HAS SOPS 4601 HAS SOUS 4270 HAS SOUPS 4270 WITH SCORE 4274.601
AT ITER 4923 NEW BEST:: SOT 15470 SOS 4596 HAS SOPS 4596 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4263.596
AT ITER 4935 NEW BEST:: SOT 15469 SOS 4595 HAS SOPS 4595 HAS SOUS 4259 HAS SOUPS 4259 WITH SCORE 4263.595
AT ITER 4976 NEW BEST:: SOT 15455 SOS 4569 HAS SOPS 4569 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4237.569
AT ITER 5045 NEW BEST:: SOT 15452 SOS 4565 HAS SOPS 4565 HAS SOUS 4229 HAS SOUPS 4229 WITH SCORE 4233.565
AT ITER 5060 NEW BEST:: SOT 15450 SOS 4555 HAS SOPS 4555 HAS SOUS 4225 HAS SOUPS 4225 WITH SCORE 4229.555
AT ITER 5064 NEW BEST:: SOT 15443 SOS 4537 HAS SOPS 4537 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4215.537
AT ITER 5114 NEW BEST:: SOT 15440 SOS 4536 HAS SOPS 4536 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4215.536
AT ITER 5141 NEW BEST:: SOT 15440 SOS 4535 HAS SOPS 4535 HAS SOUS 4211 HAS SOUPS 4211 WITH SCORE 4215.535
AT ITER 5207 NEW BEST:: SOT 15439 SOS 4534 HAS SOPS 4534 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4213.534
AT ITER 5213 NEW BEST:: SOT 15436 SOS 4529 HAS SOPS 4529 HAS SOUS 4205 HAS SOUPS 4205 WITH SCORE 4209.529
AT ITER 5417 NEW BEST:: SOT 15430 SOS 4523 HAS SOPS 4523 HAS SOUS 4197 HAS SOUPS 4197 WITH SCORE 4201.523
AT ITER 5482 NEW BEST:: SOT 15428 SOS 4517 HAS SOPS 4517 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.517
AT ITER 5582 NEW BEST:: SOT 15428 SOS 4519 HAS SOPS 4519 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4198.519
AT ITER 5736 NEW BEST:: SOT 15428 SOS 4518 HAS SOPS 4518 HAS SOUS 4194 HAS SOUPS 4194 WITH SCORE 4198.518
AT ITER 5852 NEW BEST:: SOT 15422 SOS 4506 HAS SOPS 4506 HAS SOUS 4188 HAS SOUPS 4188 WITH SCORE 4192.506
AT ITER 5914 NEW BEST:: SOT 15422 SOS 4505 HAS SOPS 4505 HAS SOUS 4185 HAS SOUPS 4185 WITH SCORE 4189.505
AT ITER 5940 NEW BEST:: SOT 15421 SOS 4502 HAS SOPS 4502 HAS SOUS 4183 HAS SOUPS 4183 WITH SCORE 4187.502
AT ITER 5946 NEW BEST:: SOT 15403 SOS 4478 HAS SOPS 4478 HAS SOUS 4159 HAS SOUPS 4159 WITH SCORE 4163.478
AT ITER 5988 NEW BEST:: SOT 15395 SOS 4458 HAS SOPS 4458 HAS SOUS 4150 HAS SOUPS 4150 WITH SCORE 4154.458
AT ITER 5999 NEW BEST:: SOT 15395 SOS 4455 HAS SOPS 4455 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.455
AT ITER 6015 NEW BEST:: SOT 15389 SOS 4443 HAS SOPS 4443 HAS SOUS 4134 HAS SOUPS 4134 WITH SCORE 4138.443
AT ITER 6073 NEW BEST:: SOT 15391 SOS 4438 HAS SOPS 4438 HAS SOUS 4133 HAS SOUPS 4133 WITH SCORE 4137.438
AT ITER 6162 NEW BEST:: SOT 15388 SOS 4433 HAS SOPS 4433 HAS SOUS 4128 HAS SOUPS 4128 WITH SCORE 4132.433
AT ITER 6191 NEW BEST:: SOT 15385 SOS 4428 HAS SOPS 4428 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4129.428
AT ITER 6416 NEW BEST:: SOT 15381 SOS 4422 HAS SOPS 4422 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4125.422
AT ITER 6537 NEW BEST:: SOT 15367 SOS 4408 HAS SOPS 4408 HAS SOUS 4100 HAS SOUPS 4100 WITH SCORE 4104.408
AT ITER 6832 NEW BEST:: SOT 15366 SOS 4404 HAS SOPS 4404 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.404
AT ITER 6970 NEW BEST:: SOT 15367 SOS 4403 HAS SOPS 4403 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4101.403
AT ITER 7005 NEW BEST:: SOT 15367 SOS 4399 HAS SOPS 4399 HAS SOUS 4095 HAS SOUPS 4095 WITH SCORE 4099.399
AT ITER 7373 NEW BEST:: SOT 15366 SOS 4394 HAS SOPS 4394 HAS SOUS 4093 HAS SOUPS 4093 WITH SCORE 4097.394
AT ITER 7571 NEW BEST:: SOT 15363 SOS 4390 HAS SOPS 4390 HAS SOUS 4089 HAS SOUPS 4089 WITH SCORE 4093.39
AT ITER 7623 NEW BEST:: SOT 15361 SOS 4386 HAS SOPS 4386 HAS SOUS 4084 HAS SOUPS 4084 WITH SCORE 4088.386
AT ITER 7632 NEW BEST:: SOT 15360 SOS 4383 HAS SOPS 4383 HAS SOUS 4082 HAS SOUPS 4082 WITH SCORE 4086.383
AT ITER 7763 NEW BEST:: SOT 15359 SOS 4380 HAS SOPS 4380 HAS SOUS 4081 HAS SOUPS 4081 WITH SCORE 4085.38
AT ITER 7851 NEW BEST:: SOT 15357 SOS 4376 HAS SOPS 4376 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4083.376
AT ITER 8103 NEW BEST:: SOT 15350 SOS 4366 HAS SOPS 4366 HAS SOUS 4076 HAS SOUPS 4076 WITH SCORE 4080.366
AT ITER 8165 NEW BEST:: SOT 15347 SOS 4361 HAS SOPS 4361 HAS SOUS 4072 HAS SOUPS 4072 WITH SCORE 4076.361
AT ITER 8355 NEW BEST:: SOT 15344 SOS 4357 HAS SOPS 4357 HAS SOUS 4064 HAS SOUPS 4064 WITH SCORE 4068.357
AT ITER 8456 NEW BEST:: SOT 15341 SOS 4350 HAS SOPS 4350 HAS SOUS 4059 HAS SOUPS 4059 WITH SCORE 4063.35
AT ITER 8586 NEW BEST:: SOT 15340 SOS 4345 HAS SOPS 4345 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.345
AT ITER 8641 NEW BEST:: SOT 15340 SOS 4343 HAS SOPS 4343 HAS SOUS 4057 HAS SOUPS 4057 WITH SCORE 4061.343
AT ITER 8708 NEW BEST:: SOT 15337 SOS 4339 HAS SOPS 4339 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.339
AT ITER 8720 NEW BEST:: SOT 15337 SOS 4338 HAS SOPS 4338 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.338
AT ITER 8731 NEW BEST:: SOT 15333 SOS 4333 HAS SOPS 4333 HAS SOUS 4048 HAS SOUPS 4048 WITH SCORE 4052.333
AT ITER 8806 NEW BEST:: SOT 15334 SOS 4333 HAS SOPS 4333 HAS SOUS 4047 HAS SOUPS 4047 WITH SCORE 4051.333
AT ITER 8838 NEW BEST:: SOT 15331 SOS 4329 HAS SOPS 4329 HAS SOUS 4043 HAS SOUPS 4043 WITH SCORE 4047.329
AT ITER 8843 NEW BEST:: SOT 15329 SOS 4324 HAS SOPS 4324 HAS SOUS 4039 HAS SOUPS 4039 WITH SCORE 4043.324
AT ITER 8956 NEW BEST:: SOT 15326 SOS 4312 HAS SOPS 4312 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.312
AT ITER 8957 NEW BEST:: SOT 15327 SOS 4311 HAS SOPS 4311 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4036.311
AT ITER 8959 NEW BEST:: SOT 15327 SOS 4310 HAS SOPS 4310 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4036.31
AT ITER 8962 NEW BEST:: SOT 15325 SOS 4309 HAS SOPS 4309 HAS SOUS 4031 HAS SOUPS 4031 WITH SCORE 4035.309
AT ITER 9021 NEW BEST:: SOT 15321 SOS 4306 HAS SOPS 4306 HAS SOUS 4028 HAS SOUPS 4028 WITH SCORE 4032.306
AT ITER 9546 NEW BEST:: SOT 15320 SOS 4301 HAS SOPS 4301 HAS SOUS 4026 HAS SOUPS 4026 WITH SCORE 4030.301
AT ITER 9587 NEW BEST:: SOT 15322 SOS 4304 HAS SOPS 4304 HAS SOUS 4025 HAS SOUPS 4025 WITH SCORE 4029.304
AT ITER 9628 NEW BEST:: SOT 15319 SOS 4344 HAS SOPS 4344 HAS SOUS 4021 HAS SOUPS 4021 WITH SCORE 4025.344
AT ITER 9780 NEW BEST:: SOT 15310 SOS 4328 HAS SOPS 4328 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4009.328
AT ITER 9860 NEW BEST:: SOT 15309 SOS 4321 HAS SOPS 4321 HAS SOUS 4002 HAS SOUPS 4002 WITH SCORE 4006.321
AT ITER 9897 NEW BEST:: SOT 15306 SOS 4318 HAS SOPS 4318 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4003.318
AT ITER 9969 NEW BEST:: SOT 15303 SOS 4307 HAS SOPS 4307 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3987.307
AT ITER 9976 NEW BEST:: SOT 15302 SOS 4303 HAS SOPS 4303 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.303
STATE_SPACE STATES 2417851639229258349412353 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 81 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 129052831243861664399884289 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1590454497855

--------------------
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="ShieldRVt-PT-020A"
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 ShieldRVt-PT-020A, 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-159033470301024"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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