Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680000464.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...............................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is BusinessProcesses-PT-02, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680000464
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 216K
-rw-r--r-- 1 mcc users 3.6K Mar 26 02:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 26 02:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 22:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 22:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 8 14:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 17:47 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 11K Mar 25 17:47 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Mar 25 14:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 25 14:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 59K Mar 24 05:37 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 1589017263374

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

Filename model.pnml
Petri model created: 262 places, 219 transitions, 576 arcs.
AT ITER 0 NEW BEST:: SOT 34844 SOS 11834 HAS SOPS 11834 HAS SOUS 11619 HAS SOUPS 11619 WITH SCORE 11630.834
AT ITER 3 NEW BEST:: SOT 34779 SOS 11569 HAS SOPS 11569 HAS SOUS 11419 HAS SOUPS 11419 WITH SCORE 11430.569
AT ITER 13 NEW BEST:: SOT 34723 SOS 11493 HAS SOPS 11493 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11354.493
AT ITER 25 NEW BEST:: SOT 34703 SOS 11473 HAS SOPS 11473 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11334.473
AT ITER 34 NEW BEST:: SOT 34622 SOS 11392 HAS SOPS 11392 HAS SOUS 11242 HAS SOUPS 11242 WITH SCORE 11253.392
AT ITER 40 NEW BEST:: SOT 34622 SOS 11369 HAS SOPS 11369 HAS SOUS 11219 HAS SOUPS 11219 WITH SCORE 11230.369
AT ITER 44 NEW BEST:: SOT 34647 SOS 11360 HAS SOPS 11360 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11221.36
AT ITER 50 NEW BEST:: SOT 34640 SOS 11212 HAS SOPS 11212 HAS SOUS 11124 HAS SOUPS 11124 WITH SCORE 11135.212
AT ITER 52 NEW BEST:: SOT 34639 SOS 11210 HAS SOPS 11210 HAS SOUS 11122 HAS SOUPS 11122 WITH SCORE 11133.21
AT ITER 53 NEW BEST:: SOT 34569 SOS 11153 HAS SOPS 11153 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11009.153
AT ITER 58 NEW BEST:: SOT 34505 SOS 11025 HAS SOPS 11025 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10881.025
AT ITER 61 NEW BEST:: SOT 34492 SOS 11006 HAS SOPS 11006 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10862.006
AT ITER 68 NEW BEST:: SOT 34435 SOS 10922 HAS SOPS 10922 HAS SOUS 10764 HAS SOUPS 10764 WITH SCORE 10774.922
AT ITER 70 NEW BEST:: SOT 34473 SOS 10917 HAS SOPS 10917 HAS SOUS 10759 HAS SOUPS 10759 WITH SCORE 10769.917
AT ITER 72 NEW BEST:: SOT 34473 SOS 10899 HAS SOPS 10899 HAS SOUS 10741 HAS SOUPS 10741 WITH SCORE 10751.899
AT ITER 75 NEW BEST:: SOT 34468 SOS 10898 HAS SOPS 10898 HAS SOUS 10740 HAS SOUPS 10740 WITH SCORE 10750.898
AT ITER 81 NEW BEST:: SOT 34475 SOS 10884 HAS SOPS 10884 HAS SOUS 10729 HAS SOUPS 10729 WITH SCORE 10739.884
AT ITER 105 NEW BEST:: SOT 34475 SOS 10840 HAS SOPS 10840 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10717.84
AT ITER 106 NEW BEST:: SOT 34498 SOS 10837 HAS SOPS 10837 HAS SOUS 10704 HAS SOUPS 10704 WITH SCORE 10714.837
AT ITER 109 NEW BEST:: SOT 34493 SOS 10827 HAS SOPS 10827 HAS SOUS 10694 HAS SOUPS 10694 WITH SCORE 10704.827
AT ITER 113 NEW BEST:: SOT 34462 SOS 10765 HAS SOPS 10765 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10642.765
AT ITER 138 NEW BEST:: SOT 34424 SOS 10689 HAS SOPS 10689 HAS SOUS 10553 HAS SOUPS 10553 WITH SCORE 10563.689
AT ITER 150 NEW BEST:: SOT 33601 SOS 13409 HAS SOPS 13409 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9990.409
AT ITER 159 NEW BEST:: SOT 33574 SOS 13481 HAS SOPS 13481 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9978.481
AT ITER 162 NEW BEST:: SOT 33573 SOS 13480 HAS SOPS 13480 HAS SOUS 9963 HAS SOUPS 9963 WITH SCORE 9976.48
AT ITER 173 NEW BEST:: SOT 33514 SOS 13362 HAS SOPS 13362 HAS SOUS 9960 HAS SOUPS 9960 WITH SCORE 9973.362
AT ITER 177 NEW BEST:: SOT 33520 SOS 13368 HAS SOPS 13368 HAS SOUS 9959 HAS SOUPS 9959 WITH SCORE 9972.368
AT ITER 179 NEW BEST:: SOT 33520 SOS 13351 HAS SOPS 13351 HAS SOUS 9938 HAS SOUPS 9938 WITH SCORE 9951.351
AT ITER 182 NEW BEST:: SOT 33519 SOS 13288 HAS SOPS 13288 HAS SOUS 9937 HAS SOUPS 9937 WITH SCORE 9950.288
AT ITER 190 NEW BEST:: SOT 33519 SOS 13244 HAS SOPS 13244 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9906.244
AT ITER 191 NEW BEST:: SOT 33519 SOS 13165 HAS SOPS 13165 HAS SOUS 9893 HAS SOUPS 9893 WITH SCORE 9906.165
AT ITER 206 NEW BEST:: SOT 33498 SOS 13082 HAS SOPS 13082 HAS SOUS 9858 HAS SOUPS 9858 WITH SCORE 9871.082
AT ITER 208 NEW BEST:: SOT 33516 SOS 13110 HAS SOPS 13110 HAS SOUS 9835 HAS SOUPS 9835 WITH SCORE 9848.11
AT ITER 212 NEW BEST:: SOT 33543 SOS 13133 HAS SOPS 13133 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9840.133
AT ITER 216 NEW BEST:: SOT 33465 SOS 12977 HAS SOPS 12977 HAS SOUS 9790 HAS SOUPS 9790 WITH SCORE 9802.977
AT ITER 224 NEW BEST:: SOT 33465 SOS 12968 HAS SOPS 12968 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9775.968
AT ITER 225 NEW BEST:: SOT 33452 SOS 12942 HAS SOPS 12942 HAS SOUS 9738 HAS SOUPS 9738 WITH SCORE 9750.942
AT ITER 229 NEW BEST:: SOT 33472 SOS 12897 HAS SOPS 12897 HAS SOUS 9716 HAS SOUPS 9716 WITH SCORE 9728.897
AT ITER 233 NEW BEST:: SOT 33463 SOS 12888 HAS SOPS 12888 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9719.888
AT ITER 241 NEW BEST:: SOT 33457 SOS 12856 HAS SOPS 12856 HAS SOUS 9701 HAS SOUPS 9701 WITH SCORE 9713.856
AT ITER 244 NEW BEST:: SOT 33455 SOS 12854 HAS SOPS 12854 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9711.854
AT ITER 250 NEW BEST:: SOT 33436 SOS 12832 HAS SOPS 12832 HAS SOUS 9677 HAS SOUPS 9677 WITH SCORE 9689.832
AT ITER 253 NEW BEST:: SOT 33424 SOS 12819 HAS SOPS 12819 HAS SOUS 9675 HAS SOUPS 9675 WITH SCORE 9687.819
AT ITER 266 NEW BEST:: SOT 33405 SOS 12799 HAS SOPS 12799 HAS SOUS 9655 HAS SOUPS 9655 WITH SCORE 9667.799
AT ITER 269 NEW BEST:: SOT 33378 SOS 12772 HAS SOPS 12772 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9640.772
AT ITER 278 NEW BEST:: SOT 33344 SOS 12666 HAS SOPS 12666 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9534.666
AT ITER 283 NEW BEST:: SOT 33344 SOS 12658 HAS SOPS 12658 HAS SOUS 9522 HAS SOUPS 9522 WITH SCORE 9534.658
AT ITER 287 NEW BEST:: SOT 33337 SOS 12658 HAS SOPS 12658 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9527.658
AT ITER 294 NEW BEST:: SOT 33271 SOS 12729 HAS SOPS 12729 HAS SOUS 9457 HAS SOUPS 9457 WITH SCORE 9469.729
AT ITER 295 NEW BEST:: SOT 33258 SOS 12716 HAS SOPS 12716 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9456.716
AT ITER 312 NEW BEST:: SOT 33288 SOS 12717 HAS SOPS 12717 HAS SOUS 9430 HAS SOUPS 9430 WITH SCORE 9442.717
AT ITER 313 NEW BEST:: SOT 33288 SOS 12717 HAS SOPS 12717 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9420.717
AT ITER 319 NEW BEST:: SOT 33236 SOS 12613 HAS SOPS 12613 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9344.613
AT ITER 325 NEW BEST:: SOT 33236 SOS 12568 HAS SOPS 12568 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9314.568
AT ITER 332 NEW BEST:: SOT 33236 SOS 12553 HAS SOPS 12553 HAS SOUS 9285 HAS SOUPS 9285 WITH SCORE 9297.553
AT ITER 334 NEW BEST:: SOT 33237 SOS 12550 HAS SOPS 12550 HAS SOUS 9282 HAS SOUPS 9282 WITH SCORE 9294.55
AT ITER 337 NEW BEST:: SOT 33194 SOS 12455 HAS SOPS 12455 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9237.455
AT ITER 347 NEW BEST:: SOT 33192 SOS 12453 HAS SOPS 12453 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9237.453
AT ITER 350 NEW BEST:: SOT 33161 SOS 12360 HAS SOPS 12360 HAS SOUS 9132 HAS SOUPS 9132 WITH SCORE 9144.36
AT ITER 354 NEW BEST:: SOT 33163 SOS 12323 HAS SOPS 12323 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9107.323
AT ITER 359 NEW BEST:: SOT 33153 SOS 12288 HAS SOPS 12288 HAS SOUS 9085 HAS SOUPS 9085 WITH SCORE 9097.288
AT ITER 360 NEW BEST:: SOT 33120 SOS 12285 HAS SOPS 12285 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9094.285
AT ITER 362 NEW BEST:: SOT 33120 SOS 12280 HAS SOPS 12280 HAS SOUS 9077 HAS SOUPS 9077 WITH SCORE 9089.28
AT ITER 365 NEW BEST:: SOT 33112 SOS 12264 HAS SOPS 12264 HAS SOUS 9061 HAS SOUPS 9061 WITH SCORE 9073.264
AT ITER 401 NEW BEST:: SOT 33106 SOS 12252 HAS SOPS 12252 HAS SOUS 9049 HAS SOUPS 9049 WITH SCORE 9061.252
AT ITER 402 NEW BEST:: SOT 33106 SOS 12252 HAS SOPS 12252 HAS SOUS 9045 HAS SOUPS 9045 WITH SCORE 9057.252
AT ITER 403 NEW BEST:: SOT 33127 SOS 12271 HAS SOPS 12271 HAS SOUS 9043 HAS SOUPS 9043 WITH SCORE 9055.271
AT ITER 404 NEW BEST:: SOT 33151 SOS 12199 HAS SOPS 12199 HAS SOUS 8971 HAS SOUPS 8971 WITH SCORE 8983.199
AT ITER 411 NEW BEST:: SOT 33139 SOS 11804 HAS SOPS 11804 HAS SOUS 8947 HAS SOUPS 8947 WITH SCORE 8958.804
AT ITER 413 NEW BEST:: SOT 33132 SOS 11783 HAS SOPS 11783 HAS SOUS 8940 HAS SOUPS 8940 WITH SCORE 8951.783
AT ITER 429 NEW BEST:: SOT 33085 SOS 11735 HAS SOPS 11735 HAS SOUS 8939 HAS SOUPS 8939 WITH SCORE 8950.735
AT ITER 430 NEW BEST:: SOT 33132 SOS 11782 HAS SOPS 11782 HAS SOUS 8937 HAS SOUPS 8937 WITH SCORE 8948.782
AT ITER 433 NEW BEST:: SOT 33125 SOS 11775 HAS SOPS 11775 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8941.775
AT ITER 434 NEW BEST:: SOT 33105 SOS 11735 HAS SOPS 11735 HAS SOUS 8917 HAS SOUPS 8917 WITH SCORE 8928.735
AT ITER 436 NEW BEST:: SOT 33099 SOS 11729 HAS SOPS 11729 HAS SOUS 8911 HAS SOUPS 8911 WITH SCORE 8922.729
AT ITER 457 NEW BEST:: SOT 33055 SOS 11688 HAS SOPS 11688 HAS SOUS 8870 HAS SOUPS 8870 WITH SCORE 8881.688
AT ITER 458 NEW BEST:: SOT 32942 SOS 11575 HAS SOPS 11575 HAS SOUS 8767 HAS SOUPS 8767 WITH SCORE 8778.575
AT ITER 464 NEW BEST:: SOT 32939 SOS 11569 HAS SOPS 11569 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8772.569
AT ITER 477 NEW BEST:: SOT 32945 SOS 11565 HAS SOPS 11565 HAS SOUS 8716 HAS SOUPS 8716 WITH SCORE 8727.565
AT ITER 483 NEW BEST:: SOT 32945 SOS 11516 HAS SOPS 11516 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8678.516
AT ITER 487 NEW BEST:: SOT 32945 SOS 11516 HAS SOPS 11516 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8670.516
AT ITER 497 NEW BEST:: SOT 32969 SOS 11505 HAS SOPS 11505 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8659.505
AT ITER 499 NEW BEST:: SOT 32965 SOS 11501 HAS SOPS 11501 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8659.501
AT ITER 503 NEW BEST:: SOT 32971 SOS 11473 HAS SOPS 11473 HAS SOUS 8630 HAS SOUPS 8630 WITH SCORE 8641.473
AT ITER 516 NEW BEST:: SOT 32905 SOS 11407 HAS SOPS 11407 HAS SOUS 8615 HAS SOUPS 8615 WITH SCORE 8626.407
AT ITER 518 NEW BEST:: SOT 32904 SOS 11374 HAS SOPS 11374 HAS SOUS 8582 HAS SOUPS 8582 WITH SCORE 8593.374
AT ITER 523 NEW BEST:: SOT 32825 SOS 11269 HAS SOPS 11269 HAS SOUS 8552 HAS SOUPS 8552 WITH SCORE 8563.269
AT ITER 535 NEW BEST:: SOT 32825 SOS 11269 HAS SOPS 11269 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8542.269
AT ITER 547 NEW BEST:: SOT 32821 SOS 11261 HAS SOPS 11261 HAS SOUS 8523 HAS SOUPS 8523 WITH SCORE 8534.261
AT ITER 558 NEW BEST:: SOT 32801 SOS 11241 HAS SOPS 11241 HAS SOUS 8510 HAS SOUPS 8510 WITH SCORE 8521.241
AT ITER 564 NEW BEST:: SOT 32848 SOS 11239 HAS SOPS 11239 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8519.239
AT ITER 571 NEW BEST:: SOT 32888 SOS 11248 HAS SOPS 11248 HAS SOUS 8495 HAS SOUPS 8495 WITH SCORE 8506.248
AT ITER 576 NEW BEST:: SOT 32891 SOS 11254 HAS SOPS 11254 HAS SOUS 8462 HAS SOUPS 8462 WITH SCORE 8473.254
AT ITER 595 NEW BEST:: SOT 32897 SOS 11260 HAS SOPS 11260 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8470.26
AT ITER 605 NEW BEST:: SOT 32887 SOS 11211 HAS SOPS 11211 HAS SOUS 8420 HAS SOUPS 8420 WITH SCORE 8431.211
AT ITER 607 NEW BEST:: SOT 32870 SOS 11160 HAS SOPS 11160 HAS SOUS 8377 HAS SOUPS 8377 WITH SCORE 8388.16
AT ITER 624 NEW BEST:: SOT 32854 SOS 11144 HAS SOPS 11144 HAS SOUS 8361 HAS SOUPS 8361 WITH SCORE 8372.144
AT ITER 640 NEW BEST:: SOT 32854 SOS 11144 HAS SOPS 11144 HAS SOUS 8359 HAS SOUPS 8359 WITH SCORE 8370.144
AT ITER 688 NEW BEST:: SOT 32854 SOS 11055 HAS SOPS 11055 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8329.055
AT ITER 700 NEW BEST:: SOT 32854 SOS 11033 HAS SOPS 11033 HAS SOUS 8296 HAS SOUPS 8296 WITH SCORE 8307.033
AT ITER 701 NEW BEST:: SOT 32836 SOS 11015 HAS SOPS 11015 HAS SOUS 8278 HAS SOUPS 8278 WITH SCORE 8289.015
AT ITER 711 NEW BEST:: SOT 32840 SOS 11002 HAS SOPS 11002 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8276.002
AT ITER 730 NEW BEST:: SOT 32872 SOS 10909 HAS SOPS 10909 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8218.909
AT ITER 732 NEW BEST:: SOT 32870 SOS 10905 HAS SOPS 10905 HAS SOUS 8204 HAS SOUPS 8204 WITH SCORE 8214.905
AT ITER 758 NEW BEST:: SOT 32879 SOS 10886 HAS SOPS 10886 HAS SOUS 8199 HAS SOUPS 8199 WITH SCORE 8209.886
AT ITER 773 NEW BEST:: SOT 32912 SOS 10862 HAS SOPS 10862 HAS SOUS 8175 HAS SOUPS 8175 WITH SCORE 8185.862
AT ITER 783 NEW BEST:: SOT 32900 SOS 10838 HAS SOPS 10838 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8161.838
AT ITER 801 NEW BEST:: SOT 32889 SOS 10823 HAS SOPS 10823 HAS SOUS 8136 HAS SOUPS 8136 WITH SCORE 8146.823
AT ITER 832 NEW BEST:: SOT 32875 SOS 10762 HAS SOPS 10762 HAS SOUS 8133 HAS SOUPS 8133 WITH SCORE 8143.762
AT ITER 835 NEW BEST:: SOT 32871 SOS 10758 HAS SOPS 10758 HAS SOUS 8129 HAS SOUPS 8129 WITH SCORE 8139.758
AT ITER 869 NEW BEST:: SOT 32871 SOS 10758 HAS SOPS 10758 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8133.758
AT ITER 871 NEW BEST:: SOT 32869 SOS 10761 HAS SOPS 10761 HAS SOUS 8121 HAS SOUPS 8121 WITH SCORE 8131.761
AT ITER 874 NEW BEST:: SOT 32869 SOS 10760 HAS SOPS 10760 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8130.76
AT ITER 880 NEW BEST:: SOT 32881 SOS 10756 HAS SOPS 10756 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8126.756
AT ITER 912 NEW BEST:: SOT 32864 SOS 10728 HAS SOPS 10728 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8098.728
AT ITER 931 NEW BEST:: SOT 32841 SOS 10682 HAS SOPS 10682 HAS SOUS 8042 HAS SOUPS 8042 WITH SCORE 8052.682
AT ITER 932 NEW BEST:: SOT 32832 SOS 10673 HAS SOPS 10673 HAS SOUS 8033 HAS SOUPS 8033 WITH SCORE 8043.673
AT ITER 935 NEW BEST:: SOT 32832 SOS 10664 HAS SOPS 10664 HAS SOUS 8024 HAS SOUPS 8024 WITH SCORE 8034.664
AT ITER 940 NEW BEST:: SOT 32832 SOS 10660 HAS SOPS 10660 HAS SOUS 8020 HAS SOUPS 8020 WITH SCORE 8030.66
AT ITER 964 NEW BEST:: SOT 32829 SOS 10654 HAS SOPS 10654 HAS SOUS 8016 HAS SOUPS 8016 WITH SCORE 8026.654
AT ITER 983 NEW BEST:: SOT 32827 SOS 10651 HAS SOPS 10651 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8024.651
AT ITER 992 NEW BEST:: SOT 32788 SOS 10566 HAS SOPS 10566 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 7998.566
AT ITER 997 NEW BEST:: SOT 32777 SOS 10544 HAS SOPS 10544 HAS SOUS 7966 HAS SOUPS 7966 WITH SCORE 7976.544
AT ITER 1009 NEW BEST:: SOT 32744 SOS 10478 HAS SOPS 10478 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7910.478
AT ITER 1010 NEW BEST:: SOT 32743 SOS 10463 HAS SOPS 10463 HAS SOUS 7885 HAS SOUPS 7885 WITH SCORE 7895.463
AT ITER 1025 NEW BEST:: SOT 32714 SOS 10479 HAS SOPS 10479 HAS SOUS 7883 HAS SOUPS 7883 WITH SCORE 7893.479
AT ITER 1036 NEW BEST:: SOT 32714 SOS 10430 HAS SOPS 10430 HAS SOUS 7868 HAS SOUPS 7868 WITH SCORE 7878.43
AT ITER 1050 NEW BEST:: SOT 32703 SOS 10408 HAS SOPS 10408 HAS SOUS 7846 HAS SOUPS 7846 WITH SCORE 7856.408
AT ITER 1056 NEW BEST:: SOT 32696 SOS 10394 HAS SOPS 10394 HAS SOUS 7832 HAS SOUPS 7832 WITH SCORE 7842.394
AT ITER 1082 NEW BEST:: SOT 32704 SOS 10371 HAS SOPS 10371 HAS SOUS 7815 HAS SOUPS 7815 WITH SCORE 7825.371
AT ITER 1126 NEW BEST:: SOT 32704 SOS 10371 HAS SOPS 10371 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7823.371
AT ITER 1174 NEW BEST:: SOT 32704 SOS 10367 HAS SOPS 10367 HAS SOUS 7813 HAS SOUPS 7813 WITH SCORE 7823.367
AT ITER 1175 NEW BEST:: SOT 32682 SOS 10358 HAS SOPS 10358 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7788.358
AT ITER 1231 NEW BEST:: SOT 32685 SOS 10351 HAS SOPS 10351 HAS SOUS 7771 HAS SOUPS 7771 WITH SCORE 7781.351
AT ITER 1291 NEW BEST:: SOT 32685 SOS 10351 HAS SOPS 10351 HAS SOUS 7757 HAS SOUPS 7757 WITH SCORE 7767.351
AT ITER 1298 NEW BEST:: SOT 32665 SOS 10331 HAS SOPS 10331 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7758.331
AT ITER 1305 NEW BEST:: SOT 32704 SOS 10235 HAS SOPS 10235 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7680.235
AT ITER 1309 NEW BEST:: SOT 32715 SOS 10226 HAS SOPS 10226 HAS SOUS 7661 HAS SOUPS 7661 WITH SCORE 7671.226
AT ITER 1327 NEW BEST:: SOT 32702 SOS 10200 HAS SOPS 10200 HAS SOUS 7648 HAS SOUPS 7648 WITH SCORE 7658.2
AT ITER 1365 NEW BEST:: SOT 32702 SOS 10198 HAS SOPS 10198 HAS SOUS 7646 HAS SOUPS 7646 WITH SCORE 7656.198
AT ITER 1372 NEW BEST:: SOT 32654 SOS 10153 HAS SOPS 10153 HAS SOUS 7601 HAS SOUPS 7601 WITH SCORE 7611.153
AT ITER 1398 NEW BEST:: SOT 32652 SOS 10150 HAS SOPS 10150 HAS SOUS 7598 HAS SOUPS 7598 WITH SCORE 7608.15
AT ITER 1404 NEW BEST:: SOT 32651 SOS 10149 HAS SOPS 10149 HAS SOUS 7597 HAS SOUPS 7597 WITH SCORE 7607.149
AT ITER 1410 NEW BEST:: SOT 32633 SOS 10131 HAS SOPS 10131 HAS SOUS 7579 HAS SOUPS 7579 WITH SCORE 7589.131
AT ITER 1438 NEW BEST:: SOT 32633 SOS 10122 HAS SOPS 10122 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7580.122
AT ITER 1450 NEW BEST:: SOT 32621 SOS 10114 HAS SOPS 10114 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7565.114
AT ITER 1498 NEW BEST:: SOT 32615 SOS 10108 HAS SOPS 10108 HAS SOUS 7546 HAS SOUPS 7546 WITH SCORE 7556.108
AT ITER 1518 NEW BEST:: SOT 32470 SOS 10057 HAS SOPS 10057 HAS SOUS 7495 HAS SOUPS 7495 WITH SCORE 7505.057
AT ITER 1522 NEW BEST:: SOT 32472 SOS 10053 HAS SOPS 10053 HAS SOUS 7489 HAS SOUPS 7489 WITH SCORE 7499.053
AT ITER 1534 NEW BEST:: SOT 32471 SOS 10051 HAS SOPS 10051 HAS SOUS 7487 HAS SOUPS 7487 WITH SCORE 7497.051
AT ITER 1536 NEW BEST:: SOT 32494 SOS 10038 HAS SOPS 10038 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7484.038
AT ITER 1544 NEW BEST:: SOT 32484 SOS 10028 HAS SOPS 10028 HAS SOUS 7464 HAS SOUPS 7464 WITH SCORE 7474.028
AT ITER 1568 NEW BEST:: SOT 32473 SOS 10018 HAS SOPS 10018 HAS SOUS 7454 HAS SOUPS 7454 WITH SCORE 7464.018
AT ITER 1589 NEW BEST:: SOT 32475 SOS 10007 HAS SOPS 10007 HAS SOUS 7443 HAS SOUPS 7443 WITH SCORE 7453.007
AT ITER 1603 NEW BEST:: SOT 32466 SOS 9989 HAS SOPS 9989 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7443.989
AT ITER 1650 NEW BEST:: SOT 32466 SOS 9988 HAS SOPS 9988 HAS SOUS 7434 HAS SOUPS 7434 WITH SCORE 7443.988
AT ITER 1653 NEW BEST:: SOT 32369 SOS 9892 HAS SOPS 9892 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7347.892
AT ITER 1654 NEW BEST:: SOT 32362 SOS 9894 HAS SOPS 9894 HAS SOUS 7336 HAS SOUPS 7336 WITH SCORE 7345.894
AT ITER 1676 NEW BEST:: SOT 32378 SOS 9831 HAS SOPS 9831 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7332.831
AT ITER 1691 NEW BEST:: SOT 32352 SOS 9805 HAS SOPS 9805 HAS SOUS 7297 HAS SOUPS 7297 WITH SCORE 7306.805
AT ITER 1692 NEW BEST:: SOT 32344 SOS 9746 HAS SOPS 9746 HAS SOUS 7287 HAS SOUPS 7287 WITH SCORE 7296.746
AT ITER 1697 NEW BEST:: SOT 32391 SOS 9773 HAS SOPS 9773 HAS SOUS 7286 HAS SOUPS 7286 WITH SCORE 7295.773
AT ITER 1702 NEW BEST:: SOT 32396 SOS 9783 HAS SOPS 9783 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7293.783
AT ITER 1710 NEW BEST:: SOT 32396 SOS 9761 HAS SOPS 9761 HAS SOUS 7284 HAS SOUPS 7284 WITH SCORE 7293.761
AT ITER 1728 NEW BEST:: SOT 32396 SOS 9701 HAS SOPS 9701 HAS SOUS 7280 HAS SOUPS 7280 WITH SCORE 7289.701
AT ITER 1732 NEW BEST:: SOT 32378 SOS 9689 HAS SOPS 9689 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7277.689
AT ITER 1736 NEW BEST:: SOT 32378 SOS 9685 HAS SOPS 9685 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7275.685
AT ITER 1738 NEW BEST:: SOT 32360 SOS 9649 HAS SOPS 9649 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7252.649
AT ITER 1751 NEW BEST:: SOT 32357 SOS 9628 HAS SOPS 9628 HAS SOUS 7222 HAS SOUPS 7222 WITH SCORE 7231.628
AT ITER 1764 NEW BEST:: SOT 32351 SOS 9621 HAS SOPS 9621 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7224.621
AT ITER 1778 NEW BEST:: SOT 32325 SOS 9595 HAS SOPS 9595 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7224.595
AT ITER 1786 NEW BEST:: SOT 32320 SOS 9585 HAS SOPS 9585 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7214.585
AT ITER 1814 NEW BEST:: SOT 32309 SOS 9574 HAS SOPS 9574 HAS SOUS 7194 HAS SOUPS 7194 WITH SCORE 7203.574
AT ITER 1843 NEW BEST:: SOT 32296 SOS 9561 HAS SOPS 9561 HAS SOUS 7181 HAS SOUPS 7181 WITH SCORE 7190.561
AT ITER 1875 NEW BEST:: SOT 32268 SOS 9526 HAS SOPS 9526 HAS SOUS 7173 HAS SOUPS 7173 WITH SCORE 7182.526
AT ITER 1881 NEW BEST:: SOT 32230 SOS 9450 HAS SOPS 9450 HAS SOUS 7109 HAS SOUPS 7109 WITH SCORE 7118.45
AT ITER 1917 NEW BEST:: SOT 32214 SOS 9418 HAS SOPS 9418 HAS SOUS 7099 HAS SOUPS 7099 WITH SCORE 7108.418
AT ITER 1929 NEW BEST:: SOT 32205 SOS 9409 HAS SOPS 9409 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7099.409
AT ITER 1932 NEW BEST:: SOT 32188 SOS 9394 HAS SOPS 9394 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7063.394
AT ITER 1968 NEW BEST:: SOT 32188 SOS 9393 HAS SOPS 9393 HAS SOUS 7053 HAS SOUPS 7053 WITH SCORE 7062.393
AT ITER 1980 NEW BEST:: SOT 32113 SOS 9288 HAS SOPS 9288 HAS SOUS 6993 HAS SOUPS 6993 WITH SCORE 7002.288
AT ITER 2024 NEW BEST:: SOT 32086 SOS 9276 HAS SOPS 9276 HAS SOUS 6981 HAS SOUPS 6981 WITH SCORE 6990.276
AT ITER 2119 NEW BEST:: SOT 32078 SOS 9268 HAS SOPS 9268 HAS SOUS 6973 HAS SOUPS 6973 WITH SCORE 6982.268
AT ITER 2121 NEW BEST:: SOT 32078 SOS 9266 HAS SOPS 9266 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6980.266
AT ITER 2122 NEW BEST:: SOT 32072 SOS 9248 HAS SOPS 9248 HAS SOUS 6959 HAS SOUPS 6959 WITH SCORE 6968.248
AT ITER 2130 NEW BEST:: SOT 32059 SOS 9195 HAS SOPS 9195 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6957.195
AT ITER 2138 NEW BEST:: SOT 32054 SOS 9180 HAS SOPS 9180 HAS SOUS 6933 HAS SOUPS 6933 WITH SCORE 6942.18
AT ITER 2156 NEW BEST:: SOT 32030 SOS 9180 HAS SOPS 9180 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6931.18
AT ITER 2159 NEW BEST:: SOT 32026 SOS 9172 HAS SOPS 9172 HAS SOUS 6914 HAS SOUPS 6914 WITH SCORE 6923.172
AT ITER 2163 NEW BEST:: SOT 32019 SOS 9157 HAS SOPS 9157 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6908.157
AT ITER 2169 NEW BEST:: SOT 32019 SOS 9157 HAS SOPS 9157 HAS SOUS 6893 HAS SOUPS 6893 WITH SCORE 6902.157
AT ITER 2186 NEW BEST:: SOT 31950 SOS 9104 HAS SOPS 9104 HAS SOUS 6803 HAS SOUPS 6803 WITH SCORE 6812.104
AT ITER 2200 NEW BEST:: SOT 31948 SOS 9100 HAS SOPS 9100 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6808.1
AT ITER 2213 NEW BEST:: SOT 31947 SOS 9098 HAS SOPS 9098 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6807.098
AT ITER 2221 NEW BEST:: SOT 31934 SOS 9065 HAS SOPS 9065 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6794.065
AT ITER 2269 NEW BEST:: SOT 31926 SOS 9060 HAS SOPS 9060 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6794.06
AT ITER 2270 NEW BEST:: SOT 31922 SOS 9040 HAS SOPS 9040 HAS SOUS 6776 HAS SOUPS 6776 WITH SCORE 6785.04
AT ITER 2275 NEW BEST:: SOT 31922 SOS 9029 HAS SOPS 9029 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6774.029
AT ITER 2290 NEW BEST:: SOT 31940 SOS 9047 HAS SOPS 9047 HAS SOUS 6764 HAS SOUPS 6764 WITH SCORE 6773.047
AT ITER 2297 NEW BEST:: SOT 31922 SOS 9063 HAS SOPS 9063 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6771.063
AT ITER 2319 NEW BEST:: SOT 31917 SOS 9053 HAS SOPS 9053 HAS SOUS 6757 HAS SOUPS 6757 WITH SCORE 6766.053
AT ITER 2336 NEW BEST:: SOT 31917 SOS 9049 HAS SOPS 9049 HAS SOUS 6753 HAS SOUPS 6753 WITH SCORE 6762.049
AT ITER 2343 NEW BEST:: SOT 31909 SOS 9033 HAS SOPS 9033 HAS SOUS 6733 HAS SOUPS 6733 WITH SCORE 6742.033
AT ITER 2346 NEW BEST:: SOT 31895 SOS 9014 HAS SOPS 9014 HAS SOUS 6726 HAS SOUPS 6726 WITH SCORE 6735.014
AT ITER 2404 NEW BEST:: SOT 31875 SOS 8974 HAS SOPS 8974 HAS SOUS 6706 HAS SOUPS 6706 WITH SCORE 6714.974
AT ITER 2418 NEW BEST:: SOT 31853 SOS 8961 HAS SOPS 8961 HAS SOUS 6693 HAS SOUPS 6693 WITH SCORE 6701.961
AT ITER 2443 NEW BEST:: SOT 31856 SOS 8961 HAS SOPS 8961 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6698.961
AT ITER 2455 NEW BEST:: SOT 31870 SOS 8964 HAS SOPS 8964 HAS SOUS 6680 HAS SOUPS 6680 WITH SCORE 6688.964
AT ITER 2476 NEW BEST:: SOT 31821 SOS 8935 HAS SOPS 8935 HAS SOUS 6651 HAS SOUPS 6651 WITH SCORE 6659.935
AT ITER 2521 NEW BEST:: SOT 31815 SOS 8923 HAS SOPS 8923 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6654.923
AT ITER 2530 NEW BEST:: SOT 31808 SOS 8909 HAS SOPS 8909 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6645.909
AT ITER 2557 NEW BEST:: SOT 31798 SOS 8889 HAS SOPS 8889 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6625.889
AT ITER 2578 NEW BEST:: SOT 31793 SOS 8879 HAS SOPS 8879 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6615.879
AT ITER 2588 NEW BEST:: SOT 31790 SOS 8878 HAS SOPS 8878 HAS SOUS 6606 HAS SOUPS 6606 WITH SCORE 6614.878
AT ITER 2600 NEW BEST:: SOT 31778 SOS 8863 HAS SOPS 8863 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6599.863
AT ITER 2662 NEW BEST:: SOT 31724 SOS 8795 HAS SOPS 8795 HAS SOUS 6536 HAS SOUPS 6536 WITH SCORE 6544.795
AT ITER 2668 NEW BEST:: SOT 31734 SOS 8811 HAS SOPS 8811 HAS SOUS 6535 HAS SOUPS 6535 WITH SCORE 6543.811
AT ITER 2691 NEW BEST:: SOT 31733 SOS 8789 HAS SOPS 8789 HAS SOUS 6533 HAS SOUPS 6533 WITH SCORE 6541.789
AT ITER 2728 NEW BEST:: SOT 31726 SOS 8782 HAS SOPS 8782 HAS SOUS 6526 HAS SOUPS 6526 WITH SCORE 6534.782
AT ITER 2744 NEW BEST:: SOT 31722 SOS 8770 HAS SOPS 8770 HAS SOUS 6514 HAS SOUPS 6514 WITH SCORE 6522.77
AT ITER 2749 NEW BEST:: SOT 31717 SOS 8760 HAS SOPS 8760 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6512.76
AT ITER 2752 NEW BEST:: SOT 31736 SOS 8757 HAS SOPS 8757 HAS SOUS 6501 HAS SOUPS 6501 WITH SCORE 6509.757
AT ITER 2818 NEW BEST:: SOT 31736 SOS 8737 HAS SOPS 8737 HAS SOUS 6481 HAS SOUPS 6481 WITH SCORE 6489.737
AT ITER 2822 NEW BEST:: SOT 31721 SOS 8722 HAS SOPS 8722 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6474.722
AT ITER 2841 NEW BEST:: SOT 31724 SOS 8696 HAS SOPS 8696 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6448.696
AT ITER 2843 NEW BEST:: SOT 31713 SOS 8684 HAS SOPS 8684 HAS SOUS 6427 HAS SOUPS 6427 WITH SCORE 6435.684
AT ITER 2872 NEW BEST:: SOT 31713 SOS 8684 HAS SOPS 8684 HAS SOUS 6426 HAS SOUPS 6426 WITH SCORE 6434.684
AT ITER 2874 NEW BEST:: SOT 31713 SOS 8684 HAS SOPS 8684 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6429.684
AT ITER 2914 NEW BEST:: SOT 31703 SOS 8669 HAS SOPS 8669 HAS SOUS 6406 HAS SOUPS 6406 WITH SCORE 6414.669
AT ITER 2944 NEW BEST:: SOT 31688 SOS 8649 HAS SOPS 8649 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6394.649
AT ITER 2988 NEW BEST:: SOT 31687 SOS 8647 HAS SOPS 8647 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6392.647
AT ITER 2990 NEW BEST:: SOT 31710 SOS 8609 HAS SOPS 8609 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6354.609
AT ITER 3012 NEW BEST:: SOT 31701 SOS 8600 HAS SOPS 8600 HAS SOUS 6337 HAS SOUPS 6337 WITH SCORE 6345.6
AT ITER 3031 NEW BEST:: SOT 31701 SOS 8600 HAS SOPS 8600 HAS SOUS 6332 HAS SOUPS 6332 WITH SCORE 6340.6
AT ITER 3050 NEW BEST:: SOT 31696 SOS 8593 HAS SOPS 8593 HAS SOUS 6325 HAS SOUPS 6325 WITH SCORE 6333.593
AT ITER 3068 NEW BEST:: SOT 31696 SOS 8592 HAS SOPS 8592 HAS SOUS 6324 HAS SOUPS 6324 WITH SCORE 6332.592
AT ITER 3106 NEW BEST:: SOT 31696 SOS 8581 HAS SOPS 8581 HAS SOUS 6313 HAS SOUPS 6313 WITH SCORE 6321.581
AT ITER 3133 NEW BEST:: SOT 31667 SOS 8553 HAS SOPS 8553 HAS SOUS 6285 HAS SOUPS 6285 WITH SCORE 6293.553
AT ITER 3150 NEW BEST:: SOT 31673 SOS 8565 HAS SOPS 8565 HAS SOUS 6270 HAS SOUPS 6270 WITH SCORE 6278.565
AT ITER 3208 NEW BEST:: SOT 31660 SOS 8562 HAS SOPS 8562 HAS SOUS 6267 HAS SOUPS 6267 WITH SCORE 6275.562
AT ITER 3327 NEW BEST:: SOT 31661 SOS 8560 HAS SOPS 8560 HAS SOUS 6264 HAS SOUPS 6264 WITH SCORE 6272.56
AT ITER 3328 NEW BEST:: SOT 31661 SOS 8556 HAS SOPS 8556 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6264.556
AT ITER 3344 NEW BEST:: SOT 31661 SOS 8549 HAS SOPS 8549 HAS SOUS 6254 HAS SOUPS 6254 WITH SCORE 6262.549
AT ITER 3377 NEW BEST:: SOT 31614 SOS 8522 HAS SOPS 8522 HAS SOUS 6227 HAS SOUPS 6227 WITH SCORE 6235.522
AT ITER 3385 NEW BEST:: SOT 31613 SOS 8520 HAS SOPS 8520 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6233.52
AT ITER 3393 NEW BEST:: SOT 31613 SOS 8515 HAS SOPS 8515 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6233.515
AT ITER 3415 NEW BEST:: SOT 31612 SOS 8511 HAS SOPS 8511 HAS SOUS 6221 HAS SOUPS 6221 WITH SCORE 6229.511
AT ITER 3420 NEW BEST:: SOT 31612 SOS 8500 HAS SOPS 8500 HAS SOUS 6210 HAS SOUPS 6210 WITH SCORE 6218.5
AT ITER 3463 NEW BEST:: SOT 31605 SOS 8483 HAS SOPS 8483 HAS SOUS 6203 HAS SOUPS 6203 WITH SCORE 6211.483
AT ITER 3510 NEW BEST:: SOT 31605 SOS 8479 HAS SOPS 8479 HAS SOUS 6199 HAS SOUPS 6199 WITH SCORE 6207.479
AT ITER 3516 NEW BEST:: SOT 31605 SOS 8471 HAS SOPS 8471 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6199.471
AT ITER 3553 NEW BEST:: SOT 31591 SOS 8457 HAS SOPS 8457 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6199.457
AT ITER 3562 NEW BEST:: SOT 31584 SOS 8437 HAS SOPS 8437 HAS SOUS 6171 HAS SOUPS 6171 WITH SCORE 6179.437
AT ITER 3580 NEW BEST:: SOT 31582 SOS 8427 HAS SOPS 8427 HAS SOUS 6152 HAS SOUPS 6152 WITH SCORE 6160.427
AT ITER 3595 NEW BEST:: SOT 31572 SOS 8416 HAS SOPS 8416 HAS SOUS 6141 HAS SOUPS 6141 WITH SCORE 6149.416
AT ITER 3607 NEW BEST:: SOT 31576 SOS 8413 HAS SOPS 8413 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6146.413
AT ITER 3645 NEW BEST:: SOT 31563 SOS 8400 HAS SOPS 8400 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6146.4
AT ITER 3710 NEW BEST:: SOT 31563 SOS 8397 HAS SOPS 8397 HAS SOUS 6138 HAS SOUPS 6138 WITH SCORE 6146.397
AT ITER 3757 NEW BEST:: SOT 31561 SOS 8395 HAS SOPS 8395 HAS SOUS 6136 HAS SOUPS 6136 WITH SCORE 6144.395
AT ITER 3777 NEW BEST:: SOT 31552 SOS 8377 HAS SOPS 8377 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6135.377
AT ITER 3788 NEW BEST:: SOT 31590 SOS 8415 HAS SOPS 8415 HAS SOUS 6119 HAS SOUPS 6119 WITH SCORE 6127.415
AT ITER 3837 NEW BEST:: SOT 31575 SOS 8400 HAS SOPS 8400 HAS SOUS 6104 HAS SOUPS 6104 WITH SCORE 6112.4
AT ITER 3844 NEW BEST:: SOT 31552 SOS 8361 HAS SOPS 8361 HAS SOUS 6095 HAS SOUPS 6095 WITH SCORE 6103.361
AT ITER 3856 NEW BEST:: SOT 31543 SOS 8352 HAS SOPS 8352 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6100.352
AT ITER 3923 NEW BEST:: SOT 31520 SOS 8326 HAS SOPS 8326 HAS SOUS 6086 HAS SOUPS 6086 WITH SCORE 6094.326
AT ITER 3948 NEW BEST:: SOT 31520 SOS 8322 HAS SOPS 8322 HAS SOUS 6082 HAS SOUPS 6082 WITH SCORE 6090.322
AT ITER 3958 NEW BEST:: SOT 31510 SOS 8312 HAS SOPS 8312 HAS SOUS 6072 HAS SOUPS 6072 WITH SCORE 6080.312
AT ITER 3981 NEW BEST:: SOT 31506 SOS 8310 HAS SOPS 8310 HAS SOUS 6070 HAS SOUPS 6070 WITH SCORE 6078.31
AT ITER 3986 NEW BEST:: SOT 31499 SOS 8303 HAS SOPS 8303 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6066.303
AT ITER 3998 NEW BEST:: SOT 31499 SOS 8300 HAS SOPS 8300 HAS SOUS 6055 HAS SOUPS 6055 WITH SCORE 6063.3
AT ITER 4052 NEW BEST:: SOT 31497 SOS 8297 HAS SOPS 8297 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6060.297
AT ITER 4085 NEW BEST:: SOT 31480 SOS 8282 HAS SOPS 8282 HAS SOUS 6052 HAS SOUPS 6052 WITH SCORE 6060.282
AT ITER 4088 NEW BEST:: SOT 31478 SOS 8280 HAS SOPS 8280 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6058.28
AT ITER 4094 NEW BEST:: SOT 31483 SOS 8263 HAS SOPS 8263 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6041.263
AT ITER 4105 NEW BEST:: SOT 31473 SOS 8250 HAS SOPS 8250 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6028.25
AT ITER 4131 NEW BEST:: SOT 31468 SOS 8235 HAS SOPS 8235 HAS SOUS 6005 HAS SOUPS 6005 WITH SCORE 6013.235
AT ITER 4184 NEW BEST:: SOT 31468 SOS 8230 HAS SOPS 8230 HAS SOUS 6000 HAS SOUPS 6000 WITH SCORE 6008.23
AT ITER 4215 NEW BEST:: SOT 31469 SOS 8222 HAS SOPS 8222 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6002.222
AT ITER 4238 NEW BEST:: SOT 31465 SOS 8218 HAS SOPS 8218 HAS SOUS 5994 HAS SOUPS 5994 WITH SCORE 6002.218
AT ITER 4323 NEW BEST:: SOT 31465 SOS 8217 HAS SOPS 8217 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6000.217
AT ITER 4379 NEW BEST:: SOT 31467 SOS 8215 HAS SOPS 8215 HAS SOUS 5991 HAS SOUPS 5991 WITH SCORE 5999.215
AT ITER 4402 NEW BEST:: SOT 31460 SOS 8199 HAS SOPS 8199 HAS SOUS 5977 HAS SOUPS 5977 WITH SCORE 5985.199
AT ITER 4418 NEW BEST:: SOT 31460 SOS 8196 HAS SOPS 8196 HAS SOUS 5974 HAS SOUPS 5974 WITH SCORE 5982.196
AT ITER 4526 NEW BEST:: SOT 31465 SOS 8198 HAS SOPS 8198 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5980.198
AT ITER 4564 NEW BEST:: SOT 31471 SOS 8196 HAS SOPS 8196 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5978.196
AT ITER 4566 NEW BEST:: SOT 31471 SOS 8189 HAS SOPS 8189 HAS SOUS 5963 HAS SOUPS 5963 WITH SCORE 5971.189
AT ITER 4590 NEW BEST:: SOT 31472 SOS 8177 HAS SOPS 8177 HAS SOUS 5951 HAS SOUPS 5951 WITH SCORE 5959.177
AT ITER 4601 NEW BEST:: SOT 31476 SOS 8190 HAS SOPS 8190 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5954.19
AT ITER 4624 NEW BEST:: SOT 31466 SOS 8175 HAS SOPS 8175 HAS SOUS 5926 HAS SOUPS 5926 WITH SCORE 5934.175
AT ITER 4681 NEW BEST:: SOT 31464 SOS 8171 HAS SOPS 8171 HAS SOUS 5922 HAS SOUPS 5922 WITH SCORE 5930.171
AT ITER 4682 NEW BEST:: SOT 31462 SOS 8161 HAS SOPS 8161 HAS SOUS 5920 HAS SOUPS 5920 WITH SCORE 5928.161
AT ITER 4712 NEW BEST:: SOT 31475 SOS 8196 HAS SOPS 8196 HAS SOUS 5892 HAS SOUPS 5892 WITH SCORE 5900.196
AT ITER 4722 NEW BEST:: SOT 31458 SOS 8181 HAS SOPS 8181 HAS SOUS 5877 HAS SOUPS 5877 WITH SCORE 5885.181
AT ITER 4736 NEW BEST:: SOT 31458 SOS 8172 HAS SOPS 8172 HAS SOUS 5868 HAS SOUPS 5868 WITH SCORE 5876.172
AT ITER 4738 NEW BEST:: SOT 31420 SOS 8165 HAS SOPS 8165 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5869.165
AT ITER 4747 NEW BEST:: SOT 31420 SOS 8161 HAS SOPS 8161 HAS SOUS 5856 HAS SOUPS 5856 WITH SCORE 5864.161
AT ITER 4756 NEW BEST:: SOT 31406 SOS 8129 HAS SOPS 8129 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5841.129
AT ITER 4777 NEW BEST:: SOT 31393 SOS 8111 HAS SOPS 8111 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5823.111
AT ITER 4778 NEW BEST:: SOT 31391 SOS 8109 HAS SOPS 8109 HAS SOUS 5813 HAS SOUPS 5813 WITH SCORE 5821.109
AT ITER 4829 NEW BEST:: SOT 31391 SOS 8109 HAS SOPS 8109 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5813.109
AT ITER 4858 NEW BEST:: SOT 31385 SOS 8102 HAS SOPS 8102 HAS SOUS 5798 HAS SOUPS 5798 WITH SCORE 5806.102
AT ITER 4891 NEW BEST:: SOT 31379 SOS 8096 HAS SOPS 8096 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5795.096
AT ITER 4918 NEW BEST:: SOT 31378 SOS 8091 HAS SOPS 8091 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5790.091
AT ITER 4921 NEW BEST:: SOT 31378 SOS 8087 HAS SOPS 8087 HAS SOUS 5778 HAS SOUPS 5778 WITH SCORE 5786.087
AT ITER 4933 NEW BEST:: SOT 31372 SOS 8075 HAS SOPS 8075 HAS SOUS 5772 HAS SOUPS 5772 WITH SCORE 5780.075
AT ITER 4984 NEW BEST:: SOT 31361 SOS 8063 HAS SOPS 8063 HAS SOUS 5760 HAS SOUPS 5760 WITH SCORE 5768.063
AT ITER 5006 NEW BEST:: SOT 31346 SOS 8048 HAS SOPS 8048 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5761.048
AT ITER 5157 NEW BEST:: SOT 31343 SOS 8045 HAS SOPS 8045 HAS SOUS 5753 HAS SOUPS 5753 WITH SCORE 5761.045
AT ITER 5178 NEW BEST:: SOT 31340 SOS 8042 HAS SOPS 8042 HAS SOUS 5750 HAS SOUPS 5750 WITH SCORE 5758.042
AT ITER 5179 NEW BEST:: SOT 31340 SOS 8041 HAS SOPS 8041 HAS SOUS 5746 HAS SOUPS 5746 WITH SCORE 5754.041
AT ITER 5206 NEW BEST:: SOT 31344 SOS 8048 HAS SOPS 8048 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5753.048
AT ITER 5218 NEW BEST:: SOT 31344 SOS 8044 HAS SOPS 8044 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5753.044
AT ITER 5260 NEW BEST:: SOT 31340 SOS 8029 HAS SOPS 8029 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5738.029
AT ITER 5333 NEW BEST:: SOT 31332 SOS 8021 HAS SOPS 8021 HAS SOUS 5722 HAS SOUPS 5722 WITH SCORE 5730.021
AT ITER 5404 NEW BEST:: SOT 31330 SOS 8023 HAS SOPS 8023 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5728.023
AT ITER 5445 NEW BEST:: SOT 31327 SOS 8019 HAS SOPS 8019 HAS SOUS 5716 HAS SOUPS 5716 WITH SCORE 5724.019
AT ITER 5511 NEW BEST:: SOT 31332 SOS 8024 HAS SOPS 8024 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5723.024
AT ITER 5618 NEW BEST:: SOT 31329 SOS 8021 HAS SOPS 8021 HAS SOUS 5712 HAS SOUPS 5712 WITH SCORE 5720.021
AT ITER 5624 NEW BEST:: SOT 31326 SOS 8021 HAS SOPS 8021 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5717.021
AT ITER 5641 NEW BEST:: SOT 31320 SOS 8015 HAS SOPS 8015 HAS SOUS 5708 HAS SOUPS 5708 WITH SCORE 5716.015
AT ITER 5665 NEW BEST:: SOT 31311 SOS 8006 HAS SOPS 8006 HAS SOUS 5699 HAS SOUPS 5699 WITH SCORE 5707.006
AT ITER 5787 NEW BEST:: SOT 31306 SOS 8001 HAS SOPS 8001 HAS SOUS 5693 HAS SOUPS 5693 WITH SCORE 5701.001
AT ITER 5790 NEW BEST:: SOT 31303 SOS 7995 HAS SOPS 7995 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5697.995
AT ITER 5800 NEW BEST:: SOT 31301 SOS 7991 HAS SOPS 7991 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5693.991
AT ITER 5809 NEW BEST:: SOT 31301 SOS 7982 HAS SOPS 7982 HAS SOUS 5677 HAS SOUPS 5677 WITH SCORE 5684.982
AT ITER 5852 NEW BEST:: SOT 31300 SOS 7980 HAS SOPS 7980 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5682.98
AT ITER 5857 NEW BEST:: SOT 31295 SOS 7975 HAS SOPS 7975 HAS SOUS 5670 HAS SOUPS 5670 WITH SCORE 5677.975
AT ITER 5884 NEW BEST:: SOT 31294 SOS 7974 HAS SOPS 7974 HAS SOUS 5669 HAS SOUPS 5669 WITH SCORE 5676.974
AT ITER 5977 NEW BEST:: SOT 31288 SOS 7962 HAS SOPS 7962 HAS SOUS 5657 HAS SOUPS 5657 WITH SCORE 5664.962
AT ITER 6044 NEW BEST:: SOT 31276 SOS 7960 HAS SOPS 7960 HAS SOUS 5655 HAS SOUPS 5655 WITH SCORE 5662.96
AT ITER 6062 NEW BEST:: SOT 31273 SOS 7954 HAS SOPS 7954 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5656.954
AT ITER 6093 NEW BEST:: SOT 31273 SOS 7953 HAS SOPS 7953 HAS SOUS 5648 HAS SOUPS 5648 WITH SCORE 5655.953
AT ITER 6117 NEW BEST:: SOT 31271 SOS 7951 HAS SOPS 7951 HAS SOUS 5646 HAS SOUPS 5646 WITH SCORE 5653.951
AT ITER 6138 NEW BEST:: SOT 31268 SOS 7948 HAS SOPS 7948 HAS SOUS 5643 HAS SOUPS 5643 WITH SCORE 5650.948
AT ITER 6171 NEW BEST:: SOT 31270 SOS 7947 HAS SOPS 7947 HAS SOUS 5642 HAS SOUPS 5642 WITH SCORE 5649.947
AT ITER 6390 NEW BEST:: SOT 31266 SOS 7934 HAS SOPS 7934 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5636.934
AT ITER 6421 NEW BEST:: SOT 31263 SOS 7928 HAS SOPS 7928 HAS SOUS 5629 HAS SOUPS 5629 WITH SCORE 5636.928
AT ITER 6429 NEW BEST:: SOT 31266 SOS 7925 HAS SOPS 7925 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5633.925
AT ITER 6475 NEW BEST:: SOT 31283 SOS 7941 HAS SOPS 7941 HAS SOUS 5624 HAS SOUPS 5624 WITH SCORE 5631.941
AT ITER 6550 NEW BEST:: SOT 31287 SOS 7943 HAS SOPS 7943 HAS SOUS 5621 HAS SOUPS 5621 WITH SCORE 5628.943
AT ITER 6604 NEW BEST:: SOT 31286 SOS 7942 HAS SOPS 7942 HAS SOUS 5619 HAS SOUPS 5619 WITH SCORE 5626.942
AT ITER 6681 NEW BEST:: SOT 31275 SOS 7925 HAS SOPS 7925 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5609.925
AT ITER 6685 NEW BEST:: SOT 31274 SOS 7921 HAS SOPS 7921 HAS SOUS 5598 HAS SOUPS 5598 WITH SCORE 5605.921
AT ITER 6720 NEW BEST:: SOT 31205 SOS 7851 HAS SOPS 7851 HAS SOUS 5596 HAS SOUPS 5596 WITH SCORE 5603.851
AT ITER 6731 NEW BEST:: SOT 31205 SOS 7852 HAS SOPS 7852 HAS SOUS 5595 HAS SOUPS 5595 WITH SCORE 5602.852
AT ITER 6803 NEW BEST:: SOT 31206 SOS 7850 HAS SOPS 7850 HAS SOUS 5593 HAS SOUPS 5593 WITH SCORE 5600.85
AT ITER 6852 NEW BEST:: SOT 31184 SOS 7831 HAS SOPS 7831 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5581.831
AT ITER 6880 NEW BEST:: SOT 31158 SOS 7792 HAS SOPS 7792 HAS SOUS 5548 HAS SOUPS 5548 WITH SCORE 5555.792
AT ITER 7021 NEW BEST:: SOT 31149 SOS 7783 HAS SOPS 7783 HAS SOUS 5539 HAS SOUPS 5539 WITH SCORE 5546.783
AT ITER 7037 NEW BEST:: SOT 31149 SOS 7783 HAS SOPS 7783 HAS SOUS 5537 HAS SOUPS 5537 WITH SCORE 5544.783
AT ITER 7055 NEW BEST:: SOT 31137 SOS 7759 HAS SOPS 7759 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5533.759
AT ITER 7092 NEW BEST:: SOT 31135 SOS 7755 HAS SOPS 7755 HAS SOUS 5522 HAS SOUPS 5522 WITH SCORE 5529.755
AT ITER 7127 NEW BEST:: SOT 31116 SOS 7733 HAS SOPS 7733 HAS SOUS 5500 HAS SOUPS 5500 WITH SCORE 5507.733
AT ITER 7153 NEW BEST:: SOT 31116 SOS 7724 HAS SOPS 7724 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5502.724
AT ITER 7184 NEW BEST:: SOT 31111 SOS 7726 HAS SOPS 7726 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5498.726
AT ITER 7235 NEW BEST:: SOT 31110 SOS 7725 HAS SOPS 7725 HAS SOUS 5491 HAS SOUPS 5491 WITH SCORE 5498.725
AT ITER 7285 NEW BEST:: SOT 31110 SOS 7734 HAS SOPS 7734 HAS SOUS 5489 HAS SOUPS 5489 WITH SCORE 5496.734
AT ITER 7333 NEW BEST:: SOT 31101 SOS 7736 HAS SOPS 7736 HAS SOUS 5487 HAS SOUPS 5487 WITH SCORE 5494.736
AT ITER 7475 NEW BEST:: SOT 31101 SOS 7733 HAS SOPS 7733 HAS SOUS 5484 HAS SOUPS 5484 WITH SCORE 5491.733
AT ITER 7486 NEW BEST:: SOT 31101 SOS 7732 HAS SOPS 7732 HAS SOUS 5483 HAS SOUPS 5483 WITH SCORE 5490.732
AT ITER 7570 NEW BEST:: SOT 31098 SOS 7729 HAS SOPS 7729 HAS SOUS 5482 HAS SOUPS 5482 WITH SCORE 5489.729
AT ITER 7755 NEW BEST:: SOT 31193 SOS 7720 HAS SOPS 7720 HAS SOUS 5473 HAS SOUPS 5473 WITH SCORE 5480.72
AT ITER 7834 NEW BEST:: SOT 31193 SOS 7713 HAS SOPS 7713 HAS SOUS 5466 HAS SOUPS 5466 WITH SCORE 5473.713
AT ITER 7864 NEW BEST:: SOT 31205 SOS 7730 HAS SOPS 7730 HAS SOUS 5465 HAS SOUPS 5465 WITH SCORE 5472.73
AT ITER 7882 NEW BEST:: SOT 31206 SOS 7729 HAS SOPS 7729 HAS SOUS 5464 HAS SOUPS 5464 WITH SCORE 5471.729
AT ITER 7895 NEW BEST:: SOT 31206 SOS 7727 HAS SOPS 7727 HAS SOUS 5462 HAS SOUPS 5462 WITH SCORE 5469.727
AT ITER 7919 NEW BEST:: SOT 31203 SOS 7721 HAS SOPS 7721 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5463.721
AT ITER 8066 NEW BEST:: SOT 31212 SOS 7731 HAS SOPS 7731 HAS SOUS 5455 HAS SOUPS 5455 WITH SCORE 5462.731
AT ITER 8189 NEW BEST:: SOT 31212 SOS 7729 HAS SOPS 7729 HAS SOUS 5453 HAS SOUPS 5453 WITH SCORE 5460.729
AT ITER 8254 NEW BEST:: SOT 31195 SOS 7717 HAS SOPS 7717 HAS SOUS 5441 HAS SOUPS 5441 WITH SCORE 5448.717
AT ITER 8310 NEW BEST:: SOT 31198 SOS 7715 HAS SOPS 7715 HAS SOUS 5440 HAS SOUPS 5440 WITH SCORE 5447.715
AT ITER 8321 NEW BEST:: SOT 31172 SOS 7689 HAS SOPS 7689 HAS SOUS 5437 HAS SOUPS 5437 WITH SCORE 5444.689
AT ITER 8394 NEW BEST:: SOT 31146 SOS 7636 HAS SOPS 7636 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5417.636
AT ITER 8486 NEW BEST:: SOT 31143 SOS 7631 HAS SOPS 7631 HAS SOUS 5405 HAS SOUPS 5405 WITH SCORE 5412.631
AT ITER 8532 NEW BEST:: SOT 31128 SOS 7611 HAS SOPS 7611 HAS SOUS 5395 HAS SOUPS 5395 WITH SCORE 5402.611
AT ITER 8545 NEW BEST:: SOT 31128 SOS 7611 HAS SOPS 7611 HAS SOUS 5393 HAS SOUPS 5393 WITH SCORE 5400.611
AT ITER 8671 NEW BEST:: SOT 31123 SOS 7609 HAS SOPS 7609 HAS SOUS 5391 HAS SOUPS 5391 WITH SCORE 5398.609
AT ITER 8717 NEW BEST:: SOT 31093 SOS 7570 HAS SOPS 7570 HAS SOUS 5379 HAS SOUPS 5379 WITH SCORE 5386.57
AT ITER 8837 NEW BEST:: SOT 31092 SOS 7568 HAS SOPS 7568 HAS SOUS 5377 HAS SOUPS 5377 WITH SCORE 5384.568
AT ITER 8886 NEW BEST:: SOT 31091 SOS 7567 HAS SOPS 7567 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5383.567
AT ITER 8937 NEW BEST:: SOT 31093 SOS 7566 HAS SOPS 7566 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5382.566
AT ITER 8962 NEW BEST:: SOT 31089 SOS 7562 HAS SOPS 7562 HAS SOUS 5371 HAS SOUPS 5371 WITH SCORE 5378.562
AT ITER 8966 NEW BEST:: SOT 31137 SOS 7559 HAS SOPS 7559 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5375.559
AT ITER 9015 NEW BEST:: SOT 31134 SOS 7552 HAS SOPS 7552 HAS SOUS 5365 HAS SOUPS 5365 WITH SCORE 5372.552
AT ITER 9165 NEW BEST:: SOT 31131 SOS 7549 HAS SOPS 7549 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5369.549
AT ITER 9255 NEW BEST:: SOT 31130 SOS 7548 HAS SOPS 7548 HAS SOUS 5361 HAS SOUPS 5361 WITH SCORE 5368.548
AT ITER 9293 NEW BEST:: SOT 31126 SOS 7540 HAS SOPS 7540 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5360.54
AT ITER 9326 NEW BEST:: SOT 31129 SOS 7539 HAS SOPS 7539 HAS SOUS 5346 HAS SOUPS 5346 WITH SCORE 5353.539
AT ITER 9349 NEW BEST:: SOT 31130 SOS 7522 HAS SOPS 7522 HAS SOUS 5313 HAS SOUPS 5313 WITH SCORE 5320.522
AT ITER 9383 NEW BEST:: SOT 31129 SOS 7520 HAS SOPS 7520 HAS SOUS 5311 HAS SOUPS 5311 WITH SCORE 5318.52
AT ITER 9581 NEW BEST:: SOT 31126 SOS 7517 HAS SOPS 7517 HAS SOUS 5308 HAS SOUPS 5308 WITH SCORE 5315.517
AT ITER 9633 NEW BEST:: SOT 31116 SOS 7489 HAS SOPS 7489 HAS SOUS 5293 HAS SOUPS 5293 WITH SCORE 5300.489
AT ITER 9664 NEW BEST:: SOT 31108 SOS 7641 HAS SOPS 7641 HAS SOUS 5291 HAS SOUPS 5291 WITH SCORE 5298.641
AT ITER 9709 NEW BEST:: SOT 31107 SOS 7639 HAS SOPS 7639 HAS SOUS 5289 HAS SOUPS 5289 WITH SCORE 5296.639
AT ITER 9724 NEW BEST:: SOT 31103 SOS 7637 HAS SOPS 7637 HAS SOUS 5288 HAS SOUPS 5288 WITH SCORE 5295.637
AT ITER 9773 NEW BEST:: SOT 31103 SOS 7633 HAS SOPS 7633 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5293.633
AT ITER 9775 NEW BEST:: SOT 31100 SOS 7627 HAS SOPS 7627 HAS SOUS 5286 HAS SOUPS 5286 WITH SCORE 5293.627
AT ITER 9907 NEW BEST:: SOT 31098 SOS 7623 HAS SOPS 7623 HAS SOUS 5282 HAS SOUPS 5282 WITH SCORE 5289.623
STATE_SPACE STATES 3143150756787 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 32 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 50565415250536 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589017285939

--------------------
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="BusinessProcesses-PT-02"
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 BusinessProcesses-PT-02, 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 r018-oct2-158897680000464"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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