About the Execution of smart for SmartHome-PT-09
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15766.460 | 85169.00 | 85039.00 | 0.00 | 3.9408E+0011 3.6392E+0012 1 10 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fko/mcc2020-input.r224-oct2-159033538300072.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is SmartHome-PT-09, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538300072
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 220K
-rw-r--r-- 1 mcc users 3.6K May 14 03:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K May 14 03:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 21:27 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 21:27 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K May 14 10:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K May 14 10:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.0K May 13 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K May 13 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 10:21 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 10:21 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 3 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 64K 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 1590469744976
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 09
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart
Filename model.pnml
Petri model created: 253 places, 293 transitions, 664 arcs.
AT ITER 0 NEW BEST:: SOT 44413 SOS 10952 HAS SOPS 10952 HAS SOUS 10609 HAS SOUPS 10609 WITH SCORE 10619.952
AT ITER 2 NEW BEST:: SOT 44390 SOS 11003 HAS SOPS 11003 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10614.003
AT ITER 7 NEW BEST:: SOT 44370 SOS 10992 HAS SOPS 10992 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10602.992
AT ITER 12 NEW BEST:: SOT 44340 SOS 10954 HAS SOPS 10954 HAS SOUS 10540 HAS SOUPS 10540 WITH SCORE 10550.954
AT ITER 15 NEW BEST:: SOT 44204 SOS 11810 HAS SOPS 11810 HAS SOUS 10513 HAS SOUPS 10513 WITH SCORE 10524.81
AT ITER 21 NEW BEST:: SOT 44166 SOS 11734 HAS SOPS 11734 HAS SOUS 10437 HAS SOUPS 10437 WITH SCORE 10448.734
AT ITER 24 NEW BEST:: SOT 43944 SOS 11726 HAS SOPS 11726 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10369.726
AT ITER 25 NEW BEST:: SOT 43927 SOS 11692 HAS SOPS 11692 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10334.692
AT ITER 29 NEW BEST:: SOT 43917 SOS 11721 HAS SOPS 11721 HAS SOUS 10313 HAS SOUPS 10313 WITH SCORE 10324.721
AT ITER 36 NEW BEST:: SOT 43773 SOS 11649 HAS SOPS 11649 HAS SOUS 10205 HAS SOUPS 10205 WITH SCORE 10216.649
AT ITER 52 NEW BEST:: SOT 43765 SOS 11631 HAS SOPS 11631 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10165.631
AT ITER 71 NEW BEST:: SOT 43488 SOS 12305 HAS SOPS 12305 HAS SOUS 10006 HAS SOUPS 10006 WITH SCORE 10018.305
AT ITER 72 NEW BEST:: SOT 43473 SOS 12250 HAS SOPS 12250 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9988.25
AT ITER 83 NEW BEST:: SOT 43454 SOS 12212 HAS SOPS 12212 HAS SOUS 9928 HAS SOUPS 9928 WITH SCORE 9940.212
AT ITER 84 NEW BEST:: SOT 43440 SOS 12188 HAS SOPS 12188 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9931.188
AT ITER 86 NEW BEST:: SOT 43418 SOS 12156 HAS SOPS 12156 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9897.156
AT ITER 99 NEW BEST:: SOT 43376 SOS 12129 HAS SOPS 12129 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9869.129
AT ITER 100 NEW BEST:: SOT 43376 SOS 12117 HAS SOPS 12117 HAS SOUS 9845 HAS SOUPS 9845 WITH SCORE 9857.117
AT ITER 101 NEW BEST:: SOT 43328 SOS 12045 HAS SOPS 12045 HAS SOUS 9797 HAS SOUPS 9797 WITH SCORE 9809.045
AT ITER 103 NEW BEST:: SOT 43293 SOS 11975 HAS SOPS 11975 HAS SOUS 9762 HAS SOUPS 9762 WITH SCORE 9773.975
AT ITER 110 NEW BEST:: SOT 43275 SOS 11964 HAS SOPS 11964 HAS SOUS 9751 HAS SOUPS 9751 WITH SCORE 9762.964
AT ITER 113 NEW BEST:: SOT 43248 SOS 11937 HAS SOPS 11937 HAS SOUS 9747 HAS SOUPS 9747 WITH SCORE 9758.937
AT ITER 118 NEW BEST:: SOT 43237 SOS 11929 HAS SOPS 11929 HAS SOUS 9726 HAS SOUPS 9726 WITH SCORE 9737.929
AT ITER 125 NEW BEST:: SOT 43216 SOS 11908 HAS SOPS 11908 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9716.908
AT ITER 127 NEW BEST:: SOT 43189 SOS 11854 HAS SOPS 11854 HAS SOUS 9635 HAS SOUPS 9635 WITH SCORE 9646.854
AT ITER 133 NEW BEST:: SOT 43189 SOS 11787 HAS SOPS 11787 HAS SOUS 9568 HAS SOUPS 9568 WITH SCORE 9579.787
AT ITER 137 NEW BEST:: SOT 43178 SOS 11765 HAS SOPS 11765 HAS SOUS 9550 HAS SOUPS 9550 WITH SCORE 9561.765
AT ITER 143 NEW BEST:: SOT 43178 SOS 11770 HAS SOPS 11770 HAS SOUS 9547 HAS SOUPS 9547 WITH SCORE 9558.77
AT ITER 152 NEW BEST:: SOT 42940 SOS 12321 HAS SOPS 12321 HAS SOUS 9397 HAS SOUPS 9397 WITH SCORE 9409.321
AT ITER 159 NEW BEST:: SOT 42900 SOS 12281 HAS SOPS 12281 HAS SOUS 9356 HAS SOUPS 9356 WITH SCORE 9368.281
AT ITER 160 NEW BEST:: SOT 42886 SOS 12253 HAS SOPS 12253 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9354.253
AT ITER 174 NEW BEST:: SOT 42886 SOS 12253 HAS SOPS 12253 HAS SOUS 9338 HAS SOUPS 9338 WITH SCORE 9350.253
AT ITER 176 NEW BEST:: SOT 42885 SOS 12251 HAS SOPS 12251 HAS SOUS 9336 HAS SOUPS 9336 WITH SCORE 9348.251
AT ITER 194 NEW BEST:: SOT 42871 SOS 12237 HAS SOPS 12237 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9334.237
AT ITER 221 NEW BEST:: SOT 42840 SOS 12175 HAS SOPS 12175 HAS SOUS 9291 HAS SOUPS 9291 WITH SCORE 9303.175
AT ITER 239 NEW BEST:: SOT 42825 SOS 12145 HAS SOPS 12145 HAS SOUS 9285 HAS SOUPS 9285 WITH SCORE 9297.145
AT ITER 242 NEW BEST:: SOT 42815 SOS 12133 HAS SOPS 12133 HAS SOUS 9273 HAS SOUPS 9273 WITH SCORE 9285.133
AT ITER 252 NEW BEST:: SOT 42774 SOS 12051 HAS SOPS 12051 HAS SOUS 9191 HAS SOUPS 9191 WITH SCORE 9203.051
AT ITER 253 NEW BEST:: SOT 42747 SOS 11944 HAS SOPS 11944 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9136.944
AT ITER 255 NEW BEST:: SOT 42731 SOS 11928 HAS SOPS 11928 HAS SOUS 9125 HAS SOUPS 9125 WITH SCORE 9136.928
AT ITER 275 NEW BEST:: SOT 42740 SOS 11981 HAS SOPS 11981 HAS SOUS 9124 HAS SOUPS 9124 WITH SCORE 9135.981
AT ITER 285 NEW BEST:: SOT 42727 SOS 11955 HAS SOPS 11955 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9109.955
AT ITER 287 NEW BEST:: SOT 42711 SOS 11939 HAS SOPS 11939 HAS SOUS 9082 HAS SOUPS 9082 WITH SCORE 9093.939
AT ITER 294 NEW BEST:: SOT 42708 SOS 11933 HAS SOPS 11933 HAS SOUS 9076 HAS SOUPS 9076 WITH SCORE 9087.933
AT ITER 309 NEW BEST:: SOT 42703 SOS 11915 HAS SOPS 11915 HAS SOUS 9071 HAS SOUPS 9071 WITH SCORE 9082.915
AT ITER 321 NEW BEST:: SOT 42715 SOS 11920 HAS SOPS 11920 HAS SOUS 9068 HAS SOUPS 9068 WITH SCORE 9079.92
AT ITER 329 NEW BEST:: SOT 42715 SOS 11890 HAS SOPS 11890 HAS SOUS 9038 HAS SOUPS 9038 WITH SCORE 9049.89
AT ITER 332 NEW BEST:: SOT 42652 SOS 11764 HAS SOPS 11764 HAS SOUS 8961 HAS SOUPS 8961 WITH SCORE 8972.764
AT ITER 346 NEW BEST:: SOT 42553 SOS 11650 HAS SOPS 11650 HAS SOUS 8944 HAS SOUPS 8944 WITH SCORE 8955.65
AT ITER 349 NEW BEST:: SOT 42543 SOS 11620 HAS SOPS 11620 HAS SOUS 8914 HAS SOUPS 8914 WITH SCORE 8925.62
AT ITER 350 NEW BEST:: SOT 42571 SOS 11605 HAS SOPS 11605 HAS SOUS 8899 HAS SOUPS 8899 WITH SCORE 8910.605
AT ITER 357 NEW BEST:: SOT 42520 SOS 11532 HAS SOPS 11532 HAS SOUS 8826 HAS SOUPS 8826 WITH SCORE 8837.532
AT ITER 362 NEW BEST:: SOT 42520 SOS 11511 HAS SOPS 11511 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8816.511
AT ITER 366 NEW BEST:: SOT 42479 SOS 11429 HAS SOPS 11429 HAS SOUS 8770 HAS SOUPS 8770 WITH SCORE 8781.429
AT ITER 392 NEW BEST:: SOT 42437 SOS 11345 HAS SOPS 11345 HAS SOUS 8728 HAS SOUPS 8728 WITH SCORE 8739.345
AT ITER 439 NEW BEST:: SOT 42416 SOS 11347 HAS SOPS 11347 HAS SOUS 8689 HAS SOUPS 8689 WITH SCORE 8700.347
AT ITER 463 NEW BEST:: SOT 42405 SOS 11340 HAS SOPS 11340 HAS SOUS 8678 HAS SOUPS 8678 WITH SCORE 8689.34
AT ITER 467 NEW BEST:: SOT 42399 SOS 11328 HAS SOPS 11328 HAS SOUS 8660 HAS SOUPS 8660 WITH SCORE 8671.328
AT ITER 478 NEW BEST:: SOT 42246 SOS 11505 HAS SOPS 11505 HAS SOUS 8574 HAS SOUPS 8574 WITH SCORE 8585.505
AT ITER 479 NEW BEST:: SOT 42234 SOS 11481 HAS SOPS 11481 HAS SOUS 8571 HAS SOUPS 8571 WITH SCORE 8582.481
AT ITER 486 NEW BEST:: SOT 42209 SOS 11513 HAS SOPS 11513 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8557.513
AT ITER 494 NEW BEST:: SOT 42169 SOS 11433 HAS SOPS 11433 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8455.433
AT ITER 498 NEW BEST:: SOT 42144 SOS 11383 HAS SOPS 11383 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8405.383
AT ITER 515 NEW BEST:: SOT 42157 SOS 11375 HAS SOPS 11375 HAS SOUS 8390 HAS SOUPS 8390 WITH SCORE 8401.375
AT ITER 524 NEW BEST:: SOT 42161 SOS 11364 HAS SOPS 11364 HAS SOUS 8379 HAS SOUPS 8379 WITH SCORE 8390.364
AT ITER 525 NEW BEST:: SOT 42134 SOS 11310 HAS SOPS 11310 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8329.31
AT ITER 535 NEW BEST:: SOT 42131 SOS 11301 HAS SOPS 11301 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8323.301
AT ITER 546 NEW BEST:: SOT 42131 SOS 11241 HAS SOPS 11241 HAS SOUS 8312 HAS SOUPS 8312 WITH SCORE 8323.241
AT ITER 553 NEW BEST:: SOT 42103 SOS 11213 HAS SOPS 11213 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8281.213
AT ITER 554 NEW BEST:: SOT 42085 SOS 11195 HAS SOPS 11195 HAS SOUS 8252 HAS SOUPS 8252 WITH SCORE 8263.195
AT ITER 565 NEW BEST:: SOT 42055 SOS 11135 HAS SOPS 11135 HAS SOUS 8195 HAS SOUPS 8195 WITH SCORE 8206.135
AT ITER 576 NEW BEST:: SOT 42046 SOS 11117 HAS SOPS 11117 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8189.117
AT ITER 585 NEW BEST:: SOT 42028 SOS 11090 HAS SOPS 11090 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8162.09
AT ITER 624 NEW BEST:: SOT 41941 SOS 12221 HAS SOPS 12221 HAS SOUS 8127 HAS SOUPS 8127 WITH SCORE 8139.221
AT ITER 667 NEW BEST:: SOT 41901 SOS 12181 HAS SOPS 12181 HAS SOUS 8072 HAS SOUPS 8072 WITH SCORE 8084.181
AT ITER 673 NEW BEST:: SOT 41898 SOS 12156 HAS SOPS 12156 HAS SOUS 8047 HAS SOUPS 8047 WITH SCORE 8059.156
AT ITER 675 NEW BEST:: SOT 41892 SOS 12150 HAS SOPS 12150 HAS SOUS 8041 HAS SOUPS 8041 WITH SCORE 8053.15
AT ITER 689 NEW BEST:: SOT 41881 SOS 12139 HAS SOPS 12139 HAS SOUS 8030 HAS SOUPS 8030 WITH SCORE 8042.139
AT ITER 698 NEW BEST:: SOT 41878 SOS 12136 HAS SOPS 12136 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8039.136
AT ITER 700 NEW BEST:: SOT 41874 SOS 12132 HAS SOPS 12132 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8033.132
AT ITER 707 NEW BEST:: SOT 41839 SOS 12097 HAS SOPS 12097 HAS SOUS 8021 HAS SOUPS 8021 WITH SCORE 8033.097
AT ITER 708 NEW BEST:: SOT 41855 SOS 12081 HAS SOPS 12081 HAS SOUS 8005 HAS SOUPS 8005 WITH SCORE 8017.081
AT ITER 739 NEW BEST:: SOT 41858 SOS 12065 HAS SOPS 12065 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8008.065
AT ITER 768 NEW BEST:: SOT 41844 SOS 12037 HAS SOPS 12037 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7994.037
AT ITER 782 NEW BEST:: SOT 41844 SOS 12034 HAS SOPS 12034 HAS SOUS 7982 HAS SOUPS 7982 WITH SCORE 7994.034
AT ITER 787 NEW BEST:: SOT 41852 SOS 12035 HAS SOPS 12035 HAS SOUS 7960 HAS SOUPS 7960 WITH SCORE 7972.035
AT ITER 794 NEW BEST:: SOT 41871 SOS 11928 HAS SOPS 11928 HAS SOUS 7953 HAS SOUPS 7953 WITH SCORE 7964.928
AT ITER 820 NEW BEST:: SOT 41870 SOS 11926 HAS SOPS 11926 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7962.926
AT ITER 822 NEW BEST:: SOT 41868 SOS 11924 HAS SOPS 11924 HAS SOUS 7947 HAS SOUPS 7947 WITH SCORE 7958.924
AT ITER 826 NEW BEST:: SOT 41868 SOS 11924 HAS SOPS 11924 HAS SOUS 7940 HAS SOUPS 7940 WITH SCORE 7951.924
AT ITER 829 NEW BEST:: SOT 41852 SOS 11892 HAS SOPS 11892 HAS SOUS 7908 HAS SOUPS 7908 WITH SCORE 7919.892
AT ITER 842 NEW BEST:: SOT 41850 SOS 11891 HAS SOPS 11891 HAS SOUS 7907 HAS SOUPS 7907 WITH SCORE 7918.891
AT ITER 853 NEW BEST:: SOT 41846 SOS 11883 HAS SOPS 11883 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7914.883
AT ITER 859 NEW BEST:: SOT 41794 SOS 11878 HAS SOPS 11878 HAS SOUS 7889 HAS SOUPS 7889 WITH SCORE 7900.878
AT ITER 867 NEW BEST:: SOT 41705 SOS 11979 HAS SOPS 11979 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7825.979
AT ITER 868 NEW BEST:: SOT 41729 SOS 11976 HAS SOPS 11976 HAS SOUS 7814 HAS SOUPS 7814 WITH SCORE 7825.976
AT ITER 875 NEW BEST:: SOT 41725 SOS 11955 HAS SOPS 11955 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7810.955
AT ITER 882 NEW BEST:: SOT 41705 SOS 11955 HAS SOPS 11955 HAS SOUS 7781 HAS SOUPS 7781 WITH SCORE 7792.955
AT ITER 887 NEW BEST:: SOT 41718 SOS 11981 HAS SOPS 11981 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7789.981
AT ITER 890 NEW BEST:: SOT 41718 SOS 11978 HAS SOPS 11978 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7786.978
AT ITER 919 NEW BEST:: SOT 41718 SOS 11976 HAS SOPS 11976 HAS SOUS 7775 HAS SOUPS 7775 WITH SCORE 7786.976
AT ITER 920 NEW BEST:: SOT 41718 SOS 11976 HAS SOPS 11976 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7771.976
AT ITER 922 NEW BEST:: SOT 41709 SOS 11958 HAS SOPS 11958 HAS SOUS 7760 HAS SOUPS 7760 WITH SCORE 7771.958
AT ITER 934 NEW BEST:: SOT 41717 SOS 11967 HAS SOPS 11967 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7769.967
AT ITER 942 NEW BEST:: SOT 41706 SOS 11956 HAS SOPS 11956 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7746.956
AT ITER 956 NEW BEST:: SOT 41700 SOS 11944 HAS SOPS 11944 HAS SOUS 7729 HAS SOUPS 7729 WITH SCORE 7740.944
AT ITER 968 NEW BEST:: SOT 41698 SOS 11942 HAS SOPS 11942 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7739.942
AT ITER 970 NEW BEST:: SOT 41659 SOS 12348 HAS SOPS 12348 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7728.348
AT ITER 973 NEW BEST:: SOT 41657 SOS 12344 HAS SOPS 12344 HAS SOUS 7712 HAS SOUPS 7712 WITH SCORE 7724.344
AT ITER 984 NEW BEST:: SOT 41646 SOS 12344 HAS SOPS 12344 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7713.344
AT ITER 985 NEW BEST:: SOT 41646 SOS 12257 HAS SOPS 12257 HAS SOUS 7701 HAS SOUPS 7701 WITH SCORE 7713.257
AT ITER 1004 NEW BEST:: SOT 41635 SOS 12213 HAS SOPS 12213 HAS SOUS 7693 HAS SOUPS 7693 WITH SCORE 7705.213
AT ITER 1021 NEW BEST:: SOT 41624 SOS 12485 HAS SOPS 12485 HAS SOUS 7682 HAS SOUPS 7682 WITH SCORE 7694.485
AT ITER 1079 NEW BEST:: SOT 41608 SOS 12469 HAS SOPS 12469 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7676.469
AT ITER 1081 NEW BEST:: SOT 41605 SOS 12463 HAS SOPS 12463 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7672.463
AT ITER 1108 NEW BEST:: SOT 41605 SOS 12461 HAS SOPS 12461 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7670.461
AT ITER 1110 NEW BEST:: SOT 41605 SOS 12456 HAS SOPS 12456 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7670.456
AT ITER 1118 NEW BEST:: SOT 41561 SOS 12412 HAS SOPS 12412 HAS SOUS 7658 HAS SOUPS 7658 WITH SCORE 7670.412
AT ITER 1153 NEW BEST:: SOT 41559 SOS 12408 HAS SOPS 12408 HAS SOUS 7656 HAS SOUPS 7656 WITH SCORE 7668.408
AT ITER 1164 NEW BEST:: SOT 41570 SOS 12384 HAS SOPS 12384 HAS SOUS 7632 HAS SOUPS 7632 WITH SCORE 7644.384
AT ITER 1173 NEW BEST:: SOT 41570 SOS 12384 HAS SOPS 12384 HAS SOUS 7629 HAS SOUPS 7629 WITH SCORE 7641.384
AT ITER 1174 NEW BEST:: SOT 41569 SOS 12382 HAS SOPS 12382 HAS SOUS 7628 HAS SOUPS 7628 WITH SCORE 7640.382
AT ITER 1191 NEW BEST:: SOT 41555 SOS 12345 HAS SOPS 12345 HAS SOUS 7594 HAS SOUPS 7594 WITH SCORE 7606.345
AT ITER 1193 NEW BEST:: SOT 41553 SOS 12341 HAS SOPS 12341 HAS SOUS 7590 HAS SOUPS 7590 WITH SCORE 7602.341
AT ITER 1206 NEW BEST:: SOT 41535 SOS 12305 HAS SOPS 12305 HAS SOUS 7573 HAS SOUPS 7573 WITH SCORE 7585.305
AT ITER 1223 NEW BEST:: SOT 41529 SOS 12332 HAS SOPS 12332 HAS SOUS 7570 HAS SOUPS 7570 WITH SCORE 7582.332
AT ITER 1230 NEW BEST:: SOT 41528 SOS 12330 HAS SOPS 12330 HAS SOUS 7568 HAS SOUPS 7568 WITH SCORE 7580.33
AT ITER 1232 NEW BEST:: SOT 41555 SOS 12354 HAS SOPS 12354 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7574.354
AT ITER 1235 NEW BEST:: SOT 41537 SOS 12336 HAS SOPS 12336 HAS SOUS 7562 HAS SOUPS 7562 WITH SCORE 7574.336
AT ITER 1240 NEW BEST:: SOT 41555 SOS 12351 HAS SOPS 12351 HAS SOUS 7556 HAS SOUPS 7556 WITH SCORE 7568.351
AT ITER 1248 NEW BEST:: SOT 41514 SOS 12269 HAS SOPS 12269 HAS SOUS 7508 HAS SOUPS 7508 WITH SCORE 7520.269
AT ITER 1250 NEW BEST:: SOT 41504 SOS 12753 HAS SOPS 12753 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7518.753
AT ITER 1270 NEW BEST:: SOT 41489 SOS 12724 HAS SOPS 12724 HAS SOUS 7488 HAS SOUPS 7488 WITH SCORE 7500.724
AT ITER 1278 NEW BEST:: SOT 41491 SOS 12719 HAS SOPS 12719 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7495.719
AT ITER 1295 NEW BEST:: SOT 41491 SOS 12710 HAS SOPS 12710 HAS SOUS 7474 HAS SOUPS 7474 WITH SCORE 7486.71
AT ITER 1296 NEW BEST:: SOT 41486 SOS 12700 HAS SOPS 12700 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7485.7
AT ITER 1297 NEW BEST:: SOT 41527 SOS 12616 HAS SOPS 12616 HAS SOUS 7452 HAS SOUPS 7452 WITH SCORE 7464.616
AT ITER 1316 NEW BEST:: SOT 41523 SOS 12608 HAS SOPS 12608 HAS SOUS 7448 HAS SOUPS 7448 WITH SCORE 7460.608
AT ITER 1317 NEW BEST:: SOT 41522 SOS 12606 HAS SOPS 12606 HAS SOUS 7447 HAS SOUPS 7447 WITH SCORE 7459.606
AT ITER 1322 NEW BEST:: SOT 41516 SOS 12594 HAS SOPS 12594 HAS SOUS 7435 HAS SOUPS 7435 WITH SCORE 7447.594
AT ITER 1331 NEW BEST:: SOT 41500 SOS 12570 HAS SOPS 12570 HAS SOUS 7419 HAS SOUPS 7419 WITH SCORE 7431.57
AT ITER 1333 NEW BEST:: SOT 41498 SOS 12587 HAS SOPS 12587 HAS SOUS 7417 HAS SOUPS 7417 WITH SCORE 7429.587
AT ITER 1401 NEW BEST:: SOT 41508 SOS 12597 HAS SOPS 12597 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7419.597
AT ITER 1422 NEW BEST:: SOT 41479 SOS 12568 HAS SOPS 12568 HAS SOUS 7387 HAS SOUPS 7387 WITH SCORE 7399.568
AT ITER 1423 NEW BEST:: SOT 41488 SOS 12577 HAS SOPS 12577 HAS SOUS 7381 HAS SOUPS 7381 WITH SCORE 7393.577
AT ITER 1438 NEW BEST:: SOT 41488 SOS 12566 HAS SOPS 12566 HAS SOUS 7370 HAS SOUPS 7370 WITH SCORE 7382.566
AT ITER 1443 NEW BEST:: SOT 41485 SOS 12543 HAS SOPS 12543 HAS SOUS 7350 HAS SOUPS 7350 WITH SCORE 7362.543
AT ITER 1444 NEW BEST:: SOT 41467 SOS 12463 HAS SOPS 12463 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7326.463
AT ITER 1452 NEW BEST:: SOT 41452 SOS 12448 HAS SOPS 12448 HAS SOUS 7299 HAS SOUPS 7299 WITH SCORE 7311.448
AT ITER 1456 NEW BEST:: SOT 41449 SOS 12442 HAS SOPS 12442 HAS SOUS 7293 HAS SOUPS 7293 WITH SCORE 7305.442
AT ITER 1461 NEW BEST:: SOT 41433 SOS 12426 HAS SOPS 12426 HAS SOUS 7277 HAS SOUPS 7277 WITH SCORE 7289.426
AT ITER 1471 NEW BEST:: SOT 41409 SOS 12378 HAS SOPS 12378 HAS SOUS 7268 HAS SOUPS 7268 WITH SCORE 7280.378
AT ITER 1487 NEW BEST:: SOT 41408 SOS 12376 HAS SOPS 12376 HAS SOUS 7266 HAS SOUPS 7266 WITH SCORE 7278.376
AT ITER 1509 NEW BEST:: SOT 41429 SOS 12397 HAS SOPS 12397 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7260.397
AT ITER 1514 NEW BEST:: SOT 41425 SOS 12389 HAS SOPS 12389 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7252.389
AT ITER 1533 NEW BEST:: SOT 41350 SOS 12618 HAS SOPS 12618 HAS SOUS 7224 HAS SOUPS 7224 WITH SCORE 7236.618
AT ITER 1549 NEW BEST:: SOT 41335 SOS 12588 HAS SOPS 12588 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7221.588
AT ITER 1562 NEW BEST:: SOT 41345 SOS 12597 HAS SOPS 12597 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7217.597
AT ITER 1565 NEW BEST:: SOT 41331 SOS 12569 HAS SOPS 12569 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7197.569
AT ITER 1569 NEW BEST:: SOT 41327 SOS 12563 HAS SOPS 12563 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7191.563
AT ITER 1580 NEW BEST:: SOT 41316 SOS 12541 HAS SOPS 12541 HAS SOUS 7179 HAS SOUPS 7179 WITH SCORE 7191.541
AT ITER 1590 NEW BEST:: SOT 41296 SOS 12501 HAS SOPS 12501 HAS SOUS 7159 HAS SOUPS 7159 WITH SCORE 7171.501
AT ITER 1620 NEW BEST:: SOT 41295 SOS 12499 HAS SOPS 12499 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7169.499
AT ITER 1628 NEW BEST:: SOT 41274 SOS 12497 HAS SOPS 12497 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7167.497
AT ITER 1635 NEW BEST:: SOT 41242 SOS 12491 HAS SOPS 12491 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7167.491
AT ITER 1666 NEW BEST:: SOT 41243 SOS 12479 HAS SOPS 12479 HAS SOUS 7155 HAS SOUPS 7155 WITH SCORE 7167.479
AT ITER 1680 NEW BEST:: SOT 41226 SOS 12445 HAS SOPS 12445 HAS SOUS 7138 HAS SOUPS 7138 WITH SCORE 7150.445
AT ITER 1698 NEW BEST:: SOT 41223 SOS 12439 HAS SOPS 12439 HAS SOUS 7132 HAS SOUPS 7132 WITH SCORE 7144.439
AT ITER 1712 NEW BEST:: SOT 41200 SOS 12393 HAS SOPS 12393 HAS SOUS 7110 HAS SOUPS 7110 WITH SCORE 7122.393
AT ITER 1736 NEW BEST:: SOT 41184 SOS 12361 HAS SOPS 12361 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7090.361
AT ITER 1738 NEW BEST:: SOT 41177 SOS 12363 HAS SOPS 12363 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7084.363
AT ITER 1740 NEW BEST:: SOT 41177 SOS 12363 HAS SOPS 12363 HAS SOUS 7067 HAS SOUPS 7067 WITH SCORE 7079.363
AT ITER 1755 NEW BEST:: SOT 41149 SOS 12351 HAS SOPS 12351 HAS SOUS 7055 HAS SOUPS 7055 WITH SCORE 7067.351
AT ITER 1764 NEW BEST:: SOT 41130 SOS 12183 HAS SOPS 12183 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7036.183
AT ITER 1781 NEW BEST:: SOT 41135 SOS 12103 HAS SOPS 12103 HAS SOUS 6996 HAS SOUPS 6996 WITH SCORE 7008.103
AT ITER 1807 NEW BEST:: SOT 41124 SOS 12092 HAS SOPS 12092 HAS SOUS 6988 HAS SOUPS 6988 WITH SCORE 7000.092
AT ITER 1835 NEW BEST:: SOT 41112 SOS 12068 HAS SOPS 12068 HAS SOUS 6961 HAS SOUPS 6961 WITH SCORE 6973.068
AT ITER 1846 NEW BEST:: SOT 41109 SOS 12062 HAS SOPS 12062 HAS SOUS 6955 HAS SOUPS 6955 WITH SCORE 6967.062
AT ITER 1882 NEW BEST:: SOT 41104 SOS 12057 HAS SOPS 12057 HAS SOUS 6950 HAS SOUPS 6950 WITH SCORE 6962.057
AT ITER 1884 NEW BEST:: SOT 41072 SOS 12140 HAS SOPS 12140 HAS SOUS 6918 HAS SOUPS 6918 WITH SCORE 6930.14
AT ITER 1921 NEW BEST:: SOT 41072 SOS 12140 HAS SOPS 12140 HAS SOUS 6898 HAS SOUPS 6898 WITH SCORE 6910.14
AT ITER 1931 NEW BEST:: SOT 41119 SOS 12234 HAS SOPS 12234 HAS SOUS 6896 HAS SOUPS 6896 WITH SCORE 6908.234
AT ITER 1934 NEW BEST:: SOT 41108 SOS 12212 HAS SOPS 12212 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6886.212
AT ITER 1973 NEW BEST:: SOT 41119 SOS 12223 HAS SOPS 12223 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6859.223
AT ITER 1977 NEW BEST:: SOT 41105 SOS 12195 HAS SOPS 12195 HAS SOUS 6819 HAS SOUPS 6819 WITH SCORE 6831.195
AT ITER 1990 NEW BEST:: SOT 41093 SOS 12171 HAS SOPS 12171 HAS SOUS 6795 HAS SOUPS 6795 WITH SCORE 6807.171
AT ITER 2004 NEW BEST:: SOT 41069 SOS 12142 HAS SOPS 12142 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6801.142
AT ITER 2006 NEW BEST:: SOT 41067 SOS 12138 HAS SOPS 12138 HAS SOUS 6785 HAS SOUPS 6785 WITH SCORE 6797.138
AT ITER 2009 NEW BEST:: SOT 41074 SOS 12133 HAS SOPS 12133 HAS SOUS 6773 HAS SOUPS 6773 WITH SCORE 6785.133
AT ITER 2027 NEW BEST:: SOT 41066 SOS 12117 HAS SOPS 12117 HAS SOUS 6751 HAS SOUPS 6751 WITH SCORE 6763.117
AT ITER 2035 NEW BEST:: SOT 41062 SOS 12109 HAS SOPS 12109 HAS SOUS 6743 HAS SOUPS 6743 WITH SCORE 6755.109
AT ITER 2076 NEW BEST:: SOT 41062 SOS 12102 HAS SOPS 12102 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6748.102
AT ITER 2081 NEW BEST:: SOT 41117 SOS 12157 HAS SOPS 12157 HAS SOUS 6729 HAS SOUPS 6729 WITH SCORE 6741.157
AT ITER 2092 NEW BEST:: SOT 41124 SOS 12146 HAS SOPS 12146 HAS SOUS 6718 HAS SOUPS 6718 WITH SCORE 6730.146
AT ITER 2124 NEW BEST:: SOT 41131 SOS 12153 HAS SOPS 12153 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6726.153
AT ITER 2147 NEW BEST:: SOT 41126 SOS 12143 HAS SOPS 12143 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6716.143
AT ITER 2160 NEW BEST:: SOT 41104 SOS 12099 HAS SOPS 12099 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6704.099
AT ITER 2176 NEW BEST:: SOT 41072 SOS 12071 HAS SOPS 12071 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6702.071
AT ITER 2215 NEW BEST:: SOT 41062 SOS 12051 HAS SOPS 12051 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6673.051
AT ITER 2219 NEW BEST:: SOT 41060 SOS 12082 HAS SOPS 12082 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6671.082
AT ITER 2223 NEW BEST:: SOT 41050 SOS 12072 HAS SOPS 12072 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6671.072
AT ITER 2224 NEW BEST:: SOT 41050 SOS 12064 HAS SOPS 12064 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6671.064
AT ITER 2236 NEW BEST:: SOT 41031 SOS 12051 HAS SOPS 12051 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6658.051
AT ITER 2246 NEW BEST:: SOT 41009 SOS 12029 HAS SOPS 12029 HAS SOUS 6646 HAS SOUPS 6646 WITH SCORE 6658.029
AT ITER 2269 NEW BEST:: SOT 41000 SOS 12011 HAS SOPS 12011 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6649.011
AT ITER 2274 NEW BEST:: SOT 40976 SOS 11987 HAS SOPS 11987 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6605.987
AT ITER 2295 NEW BEST:: SOT 40974 SOS 11983 HAS SOPS 11983 HAS SOUS 6594 HAS SOUPS 6594 WITH SCORE 6605.983
AT ITER 2298 NEW BEST:: SOT 40971 SOS 11980 HAS SOPS 11980 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6602.98
AT ITER 2322 NEW BEST:: SOT 40961 SOS 11960 HAS SOPS 11960 HAS SOUS 6571 HAS SOUPS 6571 WITH SCORE 6582.96
AT ITER 2329 NEW BEST:: SOT 40942 SOS 11922 HAS SOPS 11922 HAS SOUS 6562 HAS SOUPS 6562 WITH SCORE 6573.922
AT ITER 2337 NEW BEST:: SOT 40928 SOS 11901 HAS SOPS 11901 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6552.901
AT ITER 2371 NEW BEST:: SOT 40920 SOS 11885 HAS SOPS 11885 HAS SOUS 6541 HAS SOUPS 6541 WITH SCORE 6552.885
AT ITER 2439 NEW BEST:: SOT 40920 SOS 11875 HAS SOPS 11875 HAS SOUS 6538 HAS SOUPS 6538 WITH SCORE 6549.875
AT ITER 2442 NEW BEST:: SOT 40888 SOS 11814 HAS SOPS 11814 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6518.814
AT ITER 2460 NEW BEST:: SOT 40871 SOS 11962 HAS SOPS 11962 HAS SOUS 6490 HAS SOUPS 6490 WITH SCORE 6501.962
AT ITER 2476 NEW BEST:: SOT 40828 SOS 11890 HAS SOPS 11890 HAS SOUS 6463 HAS SOUPS 6463 WITH SCORE 6474.89
AT ITER 2501 NEW BEST:: SOT 40775 SOS 11823 HAS SOPS 11823 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6461.823
AT ITER 2503 NEW BEST:: SOT 40775 SOS 11817 HAS SOPS 11817 HAS SOUS 6450 HAS SOUPS 6450 WITH SCORE 6461.817
AT ITER 2513 NEW BEST:: SOT 40759 SOS 11785 HAS SOPS 11785 HAS SOUS 6448 HAS SOUPS 6448 WITH SCORE 6459.785
AT ITER 2522 NEW BEST:: SOT 40758 SOS 11783 HAS SOPS 11783 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6457.783
AT ITER 2526 NEW BEST:: SOT 40756 SOS 11783 HAS SOPS 11783 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6453.783
AT ITER 2546 NEW BEST:: SOT 40755 SOS 11783 HAS SOPS 11783 HAS SOUS 6440 HAS SOUPS 6440 WITH SCORE 6451.783
AT ITER 2555 NEW BEST:: SOT 40736 SOS 11711 HAS SOPS 11711 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6447.711
AT ITER 2575 NEW BEST:: SOT 40736 SOS 11673 HAS SOPS 11673 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6447.673
AT ITER 2593 NEW BEST:: SOT 40735 SOS 11514 HAS SOPS 11514 HAS SOUS 6420 HAS SOUPS 6420 WITH SCORE 6431.514
AT ITER 2599 NEW BEST:: SOT 40725 SOS 11501 HAS SOPS 11501 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6418.501
AT ITER 2604 NEW BEST:: SOT 40724 SOS 11497 HAS SOPS 11497 HAS SOUS 6404 HAS SOUPS 6404 WITH SCORE 6415.497
AT ITER 2609 NEW BEST:: SOT 40713 SOS 11486 HAS SOPS 11486 HAS SOUS 6387 HAS SOUPS 6387 WITH SCORE 6398.486
AT ITER 2637 NEW BEST:: SOT 40752 SOS 11525 HAS SOPS 11525 HAS SOUS 6380 HAS SOUPS 6380 WITH SCORE 6391.525
AT ITER 2638 NEW BEST:: SOT 40752 SOS 11493 HAS SOPS 11493 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6374.493
AT ITER 2707 NEW BEST:: SOT 40750 SOS 11491 HAS SOPS 11491 HAS SOUS 6363 HAS SOUPS 6363 WITH SCORE 6374.491
AT ITER 2765 NEW BEST:: SOT 40750 SOS 11491 HAS SOPS 11491 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6364.491
AT ITER 2768 NEW BEST:: SOT 40750 SOS 11490 HAS SOPS 11490 HAS SOUS 6353 HAS SOUPS 6353 WITH SCORE 6364.49
AT ITER 2769 NEW BEST:: SOT 40744 SOS 11431 HAS SOPS 11431 HAS SOUS 6331 HAS SOUPS 6331 WITH SCORE 6342.431
AT ITER 2809 NEW BEST:: SOT 40738 SOS 11419 HAS SOPS 11419 HAS SOUS 6322 HAS SOUPS 6322 WITH SCORE 6333.419
AT ITER 2834 NEW BEST:: SOT 40694 SOS 11407 HAS SOPS 11407 HAS SOUS 6310 HAS SOUPS 6310 WITH SCORE 6321.407
AT ITER 2852 NEW BEST:: SOT 40688 SOS 11395 HAS SOPS 11395 HAS SOUS 6304 HAS SOUPS 6304 WITH SCORE 6315.395
AT ITER 2884 NEW BEST:: SOT 40686 SOS 11391 HAS SOPS 11391 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6311.391
AT ITER 2890 NEW BEST:: SOT 40650 SOS 11319 HAS SOPS 11319 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6311.319
AT ITER 2907 NEW BEST:: SOT 40641 SOS 11301 HAS SOPS 11301 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6293.301
AT ITER 2930 NEW BEST:: SOT 40637 SOS 11293 HAS SOPS 11293 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6280.293
AT ITER 3013 NEW BEST:: SOT 40606 SOS 11278 HAS SOPS 11278 HAS SOUS 6253 HAS SOUPS 6253 WITH SCORE 6264.278
AT ITER 3020 NEW BEST:: SOT 40606 SOS 11277 HAS SOPS 11277 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6263.277
AT ITER 3036 NEW BEST:: SOT 40600 SOS 11245 HAS SOPS 11245 HAS SOUS 6229 HAS SOUPS 6229 WITH SCORE 6240.245
AT ITER 3055 NEW BEST:: SOT 40575 SOS 11251 HAS SOPS 11251 HAS SOUS 6188 HAS SOUPS 6188 WITH SCORE 6199.251
AT ITER 3110 NEW BEST:: SOT 40588 SOS 11277 HAS SOPS 11277 HAS SOUS 6181 HAS SOUPS 6181 WITH SCORE 6192.277
AT ITER 3113 NEW BEST:: SOT 40585 SOS 11271 HAS SOPS 11271 HAS SOUS 6175 HAS SOUPS 6175 WITH SCORE 6186.271
AT ITER 3172 NEW BEST:: SOT 40582 SOS 11265 HAS SOPS 11265 HAS SOUS 6172 HAS SOUPS 6172 WITH SCORE 6183.265
AT ITER 3201 NEW BEST:: SOT 40587 SOS 11275 HAS SOPS 11275 HAS SOUS 6170 HAS SOUPS 6170 WITH SCORE 6181.275
AT ITER 3244 NEW BEST:: SOT 40596 SOS 11293 HAS SOPS 11293 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6169.293
AT ITER 3289 NEW BEST:: SOT 40594 SOS 11291 HAS SOPS 11291 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6169.291
AT ITER 3296 NEW BEST:: SOT 40582 SOS 11267 HAS SOPS 11267 HAS SOUS 6150 HAS SOUPS 6150 WITH SCORE 6161.267
AT ITER 3322 NEW BEST:: SOT 40580 SOS 11271 HAS SOPS 11271 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6157.271
AT ITER 3330 NEW BEST:: SOT 40580 SOS 11262 HAS SOPS 11262 HAS SOUS 6146 HAS SOUPS 6146 WITH SCORE 6157.262
AT ITER 3332 NEW BEST:: SOT 40579 SOS 10980 HAS SOPS 10980 HAS SOUS 6144 HAS SOUPS 6144 WITH SCORE 6154.98
AT ITER 3333 NEW BEST:: SOT 40572 SOS 10966 HAS SOPS 10966 HAS SOUS 6130 HAS SOUPS 6130 WITH SCORE 6140.966
AT ITER 3343 NEW BEST:: SOT 40539 SOS 10938 HAS SOPS 10938 HAS SOUS 6098 HAS SOUPS 6098 WITH SCORE 6108.938
AT ITER 3365 NEW BEST:: SOT 40539 SOS 10927 HAS SOPS 10927 HAS SOUS 6093 HAS SOUPS 6093 WITH SCORE 6103.927
AT ITER 3380 NEW BEST:: SOT 40538 SOS 10925 HAS SOPS 10925 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6102.925
AT ITER 3387 NEW BEST:: SOT 40538 SOS 10925 HAS SOPS 10925 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6099.925
AT ITER 3402 NEW BEST:: SOT 40525 SOS 10899 HAS SOPS 10899 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6073.899
AT ITER 3433 NEW BEST:: SOT 40504 SOS 10883 HAS SOPS 10883 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6059.883
AT ITER 3437 NEW BEST:: SOT 40504 SOS 10783 HAS SOPS 10783 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6059.783
AT ITER 3470 NEW BEST:: SOT 40502 SOS 10781 HAS SOPS 10781 HAS SOUS 6045 HAS SOUPS 6045 WITH SCORE 6055.781
AT ITER 3508 NEW BEST:: SOT 40476 SOS 10729 HAS SOPS 10729 HAS SOUS 5993 HAS SOUPS 5993 WITH SCORE 6003.729
AT ITER 3515 NEW BEST:: SOT 40441 SOS 10659 HAS SOPS 10659 HAS SOUS 5959 HAS SOUPS 5959 WITH SCORE 5969.659
AT ITER 3527 NEW BEST:: SOT 40439 SOS 10657 HAS SOPS 10657 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5967.657
AT ITER 3551 NEW BEST:: SOT 40435 SOS 10653 HAS SOPS 10653 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5967.653
AT ITER 3554 NEW BEST:: SOT 40433 SOS 10649 HAS SOPS 10649 HAS SOUS 5953 HAS SOUPS 5953 WITH SCORE 5963.649
AT ITER 3613 NEW BEST:: SOT 40437 SOS 10648 HAS SOPS 10648 HAS SOUS 5952 HAS SOUPS 5952 WITH SCORE 5962.648
AT ITER 3622 NEW BEST:: SOT 40428 SOS 10642 HAS SOPS 10642 HAS SOUS 5946 HAS SOUPS 5946 WITH SCORE 5956.642
AT ITER 3651 NEW BEST:: SOT 40414 SOS 10614 HAS SOPS 10614 HAS SOUS 5945 HAS SOUPS 5945 WITH SCORE 5955.614
AT ITER 3666 NEW BEST:: SOT 40397 SOS 10580 HAS SOPS 10580 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5942.58
AT ITER 3684 NEW BEST:: SOT 40380 SOS 10567 HAS SOPS 10567 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5929.567
AT ITER 3740 NEW BEST:: SOT 40353 SOS 10513 HAS SOPS 10513 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5875.513
AT ITER 3744 NEW BEST:: SOT 40365 SOS 10369 HAS SOPS 10369 HAS SOUS 5865 HAS SOUPS 5865 WITH SCORE 5875.369
AT ITER 3791 NEW BEST:: SOT 40368 SOS 10370 HAS SOPS 10370 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5863.37
AT ITER 3816 NEW BEST:: SOT 40361 SOS 10363 HAS SOPS 10363 HAS SOUS 5853 HAS SOUPS 5853 WITH SCORE 5863.363
AT ITER 3828 NEW BEST:: SOT 40365 SOS 10367 HAS SOPS 10367 HAS SOUS 5849 HAS SOUPS 5849 WITH SCORE 5859.367
AT ITER 3829 NEW BEST:: SOT 40365 SOS 10363 HAS SOPS 10363 HAS SOUS 5845 HAS SOUPS 5845 WITH SCORE 5855.363
AT ITER 3836 NEW BEST:: SOT 40362 SOS 10357 HAS SOPS 10357 HAS SOUS 5839 HAS SOUPS 5839 WITH SCORE 5849.357
AT ITER 3857 NEW BEST:: SOT 40369 SOS 10371 HAS SOPS 10371 HAS SOUS 5829 HAS SOUPS 5829 WITH SCORE 5839.371
AT ITER 3869 NEW BEST:: SOT 40368 SOS 10360 HAS SOPS 10360 HAS SOUS 5827 HAS SOUPS 5827 WITH SCORE 5837.36
AT ITER 3904 NEW BEST:: SOT 40351 SOS 10329 HAS SOPS 10329 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5817.329
AT ITER 3918 NEW BEST:: SOT 40331 SOS 10289 HAS SOPS 10289 HAS SOUS 5807 HAS SOUPS 5807 WITH SCORE 5817.289
AT ITER 3998 NEW BEST:: SOT 40330 SOS 10266 HAS SOPS 10266 HAS SOUS 5806 HAS SOUPS 5806 WITH SCORE 5816.266
AT ITER 4030 NEW BEST:: SOT 40328 SOS 10264 HAS SOPS 10264 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5815.264
AT ITER 4079 NEW BEST:: SOT 40327 SOS 10262 HAS SOPS 10262 HAS SOUS 5803 HAS SOUPS 5803 WITH SCORE 5813.262
AT ITER 4114 NEW BEST:: SOT 40323 SOS 10254 HAS SOPS 10254 HAS SOUS 5799 HAS SOUPS 5799 WITH SCORE 5809.254
AT ITER 4116 NEW BEST:: SOT 40304 SOS 10216 HAS SOPS 10216 HAS SOUS 5780 HAS SOUPS 5780 WITH SCORE 5790.216
AT ITER 4117 NEW BEST:: SOT 40301 SOS 10210 HAS SOPS 10210 HAS SOUS 5777 HAS SOUPS 5777 WITH SCORE 5787.21
AT ITER 4136 NEW BEST:: SOT 40334 SOS 10179 HAS SOPS 10179 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5775.179
AT ITER 4197 NEW BEST:: SOT 40331 SOS 10173 HAS SOPS 10173 HAS SOUS 5762 HAS SOUPS 5762 WITH SCORE 5772.173
AT ITER 4203 NEW BEST:: SOT 40316 SOS 10143 HAS SOPS 10143 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5755.143
AT ITER 4236 NEW BEST:: SOT 40303 SOS 10117 HAS SOPS 10117 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5729.117
AT ITER 4240 NEW BEST:: SOT 40295 SOS 10109 HAS SOPS 10109 HAS SOUS 5711 HAS SOUPS 5711 WITH SCORE 5721.109
AT ITER 4247 NEW BEST:: SOT 40294 SOS 10107 HAS SOPS 10107 HAS SOUS 5709 HAS SOUPS 5709 WITH SCORE 5719.107
AT ITER 4300 NEW BEST:: SOT 40284 SOS 10087 HAS SOPS 10087 HAS SOUS 5689 HAS SOUPS 5689 WITH SCORE 5699.087
AT ITER 4331 NEW BEST:: SOT 40281 SOS 10092 HAS SOPS 10092 HAS SOUS 5686 HAS SOUPS 5686 WITH SCORE 5696.092
AT ITER 4372 NEW BEST:: SOT 40255 SOS 10039 HAS SOPS 10039 HAS SOUS 5682 HAS SOUPS 5682 WITH SCORE 5692.039
AT ITER 4379 NEW BEST:: SOT 40255 SOS 10026 HAS SOPS 10026 HAS SOUS 5678 HAS SOUPS 5678 WITH SCORE 5688.026
AT ITER 4384 NEW BEST:: SOT 40229 SOS 9974 HAS SOPS 9974 HAS SOUS 5660 HAS SOUPS 5660 WITH SCORE 5669.974
AT ITER 4414 NEW BEST:: SOT 40227 SOS 9958 HAS SOPS 9958 HAS SOUS 5659 HAS SOUPS 5659 WITH SCORE 5668.958
AT ITER 4420 NEW BEST:: SOT 40213 SOS 9930 HAS SOPS 9930 HAS SOUS 5645 HAS SOUPS 5645 WITH SCORE 5654.93
AT ITER 4468 NEW BEST:: SOT 40203 SOS 9924 HAS SOPS 9924 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5648.924
AT ITER 4542 NEW BEST:: SOT 40197 SOS 9906 HAS SOPS 9906 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5636.906
AT ITER 4558 NEW BEST:: SOT 40224 SOS 9582 HAS SOPS 9582 HAS SOUS 5627 HAS SOUPS 5627 WITH SCORE 5636.582
AT ITER 4610 NEW BEST:: SOT 40224 SOS 9582 HAS SOPS 9582 HAS SOUS 5613 HAS SOUPS 5613 WITH SCORE 5622.582
AT ITER 4638 NEW BEST:: SOT 40214 SOS 9572 HAS SOPS 9572 HAS SOUS 5602 HAS SOUPS 5602 WITH SCORE 5611.572
AT ITER 4683 NEW BEST:: SOT 40214 SOS 9579 HAS SOPS 9579 HAS SOUS 5600 HAS SOUPS 5600 WITH SCORE 5609.579
AT ITER 4691 NEW BEST:: SOT 40214 SOS 9579 HAS SOPS 9579 HAS SOUS 5594 HAS SOUPS 5594 WITH SCORE 5603.579
AT ITER 4693 NEW BEST:: SOT 40203 SOS 9565 HAS SOPS 9565 HAS SOUS 5580 HAS SOUPS 5580 WITH SCORE 5589.565
AT ITER 4717 NEW BEST:: SOT 40203 SOS 9563 HAS SOPS 9563 HAS SOUS 5578 HAS SOUPS 5578 WITH SCORE 5587.563
AT ITER 4745 NEW BEST:: SOT 40201 SOS 9561 HAS SOPS 9561 HAS SOUS 5574 HAS SOUPS 5574 WITH SCORE 5583.561
AT ITER 4759 NEW BEST:: SOT 40195 SOS 9561 HAS SOPS 9561 HAS SOUS 5568 HAS SOUPS 5568 WITH SCORE 5577.561
AT ITER 4765 NEW BEST:: SOT 40186 SOS 9552 HAS SOPS 9552 HAS SOUS 5559 HAS SOUPS 5559 WITH SCORE 5568.552
AT ITER 4772 NEW BEST:: SOT 40182 SOS 9547 HAS SOPS 9547 HAS SOUS 5558 HAS SOUPS 5558 WITH SCORE 5567.547
AT ITER 4775 NEW BEST:: SOT 40180 SOS 9579 HAS SOPS 9579 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5565.579
AT ITER 4797 NEW BEST:: SOT 40180 SOS 9576 HAS SOPS 9576 HAS SOUS 5556 HAS SOUPS 5556 WITH SCORE 5565.576
AT ITER 4856 NEW BEST:: SOT 40132 SOS 9505 HAS SOPS 9505 HAS SOUS 5533 HAS SOUPS 5533 WITH SCORE 5542.505
AT ITER 4879 NEW BEST:: SOT 40128 SOS 9499 HAS SOPS 9499 HAS SOUS 5529 HAS SOUPS 5529 WITH SCORE 5538.499
AT ITER 4884 NEW BEST:: SOT 40128 SOS 9499 HAS SOPS 9499 HAS SOUS 5526 HAS SOUPS 5526 WITH SCORE 5535.499
AT ITER 4948 NEW BEST:: SOT 40114 SOS 9471 HAS SOPS 9471 HAS SOUS 5516 HAS SOUPS 5516 WITH SCORE 5525.471
AT ITER 4954 NEW BEST:: SOT 40108 SOS 9462 HAS SOPS 9462 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5519.462
AT ITER 4966 NEW BEST:: SOT 40095 SOS 9449 HAS SOPS 9449 HAS SOUS 5510 HAS SOUPS 5510 WITH SCORE 5519.449
AT ITER 4991 NEW BEST:: SOT 40094 SOS 9444 HAS SOPS 9444 HAS SOUS 5508 HAS SOUPS 5508 WITH SCORE 5517.444
AT ITER 5044 NEW BEST:: SOT 40092 SOS 9440 HAS SOPS 9440 HAS SOUS 5504 HAS SOUPS 5504 WITH SCORE 5513.44
AT ITER 5081 NEW BEST:: SOT 40072 SOS 9431 HAS SOPS 9431 HAS SOUS 5495 HAS SOUPS 5495 WITH SCORE 5504.431
AT ITER 5102 NEW BEST:: SOT 40102 SOS 9461 HAS SOPS 9461 HAS SOUS 5493 HAS SOUPS 5493 WITH SCORE 5502.461
AT ITER 5121 NEW BEST:: SOT 40084 SOS 9425 HAS SOPS 9425 HAS SOUS 5457 HAS SOUPS 5457 WITH SCORE 5466.425
AT ITER 5143 NEW BEST:: SOT 40083 SOS 9424 HAS SOPS 9424 HAS SOUS 5456 HAS SOUPS 5456 WITH SCORE 5465.424
AT ITER 5213 NEW BEST:: SOT 40082 SOS 9422 HAS SOPS 9422 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5463.422
AT ITER 5221 NEW BEST:: SOT 40082 SOS 9410 HAS SOPS 9410 HAS SOUS 5454 HAS SOUPS 5454 WITH SCORE 5463.41
AT ITER 5259 NEW BEST:: SOT 40093 SOS 9421 HAS SOPS 9421 HAS SOUS 5451 HAS SOUPS 5451 WITH SCORE 5460.421
AT ITER 5360 NEW BEST:: SOT 40078 SOS 9391 HAS SOPS 9391 HAS SOUS 5432 HAS SOUPS 5432 WITH SCORE 5441.391
AT ITER 5399 NEW BEST:: SOT 40062 SOS 9377 HAS SOPS 9377 HAS SOUS 5425 HAS SOUPS 5425 WITH SCORE 5434.377
AT ITER 5403 NEW BEST:: SOT 40057 SOS 9367 HAS SOPS 9367 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5424.367
AT ITER 5411 NEW BEST:: SOT 40046 SOS 9356 HAS SOPS 9356 HAS SOUS 5415 HAS SOUPS 5415 WITH SCORE 5424.356
AT ITER 5476 NEW BEST:: SOT 40047 SOS 9358 HAS SOPS 9358 HAS SOUS 5410 HAS SOUPS 5410 WITH SCORE 5419.358
AT ITER 5477 NEW BEST:: SOT 40045 SOS 9356 HAS SOPS 9356 HAS SOUS 5408 HAS SOUPS 5408 WITH SCORE 5417.356
AT ITER 5479 NEW BEST:: SOT 40032 SOS 9330 HAS SOPS 9330 HAS SOUS 5376 HAS SOUPS 5376 WITH SCORE 5385.33
AT ITER 5564 NEW BEST:: SOT 40017 SOS 9300 HAS SOPS 9300 HAS SOUS 5375 HAS SOUPS 5375 WITH SCORE 5384.3
AT ITER 5618 NEW BEST:: SOT 40019 SOS 9302 HAS SOPS 9302 HAS SOUS 5374 HAS SOUPS 5374 WITH SCORE 5383.302
AT ITER 5666 NEW BEST:: SOT 40016 SOS 9296 HAS SOPS 9296 HAS SOUS 5368 HAS SOUPS 5368 WITH SCORE 5377.296
AT ITER 5755 NEW BEST:: SOT 40016 SOS 9296 HAS SOPS 9296 HAS SOUS 5362 HAS SOUPS 5362 WITH SCORE 5371.296
AT ITER 5773 NEW BEST:: SOT 40007 SOS 9278 HAS SOPS 9278 HAS SOUS 5353 HAS SOUPS 5353 WITH SCORE 5362.278
AT ITER 5927 NEW BEST:: SOT 40015 SOS 9276 HAS SOPS 9276 HAS SOUS 5352 HAS SOUPS 5352 WITH SCORE 5361.276
AT ITER 5955 NEW BEST:: SOT 39998 SOS 9242 HAS SOPS 9242 HAS SOUS 5351 HAS SOUPS 5351 WITH SCORE 5360.242
AT ITER 5958 NEW BEST:: SOT 39991 SOS 9306 HAS SOPS 9306 HAS SOUS 5344 HAS SOUPS 5344 WITH SCORE 5353.306
AT ITER 5978 NEW BEST:: SOT 39976 SOS 9276 HAS SOPS 9276 HAS SOUS 5329 HAS SOUPS 5329 WITH SCORE 5338.276
AT ITER 6056 NEW BEST:: SOT 39976 SOS 9276 HAS SOPS 9276 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5335.276
AT ITER 6105 NEW BEST:: SOT 39976 SOS 9275 HAS SOPS 9275 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5335.275
AT ITER 6149 NEW BEST:: SOT 39979 SOS 9276 HAS SOPS 9276 HAS SOUS 5321 HAS SOUPS 5321 WITH SCORE 5330.276
AT ITER 6173 NEW BEST:: SOT 39966 SOS 9213 HAS SOPS 9213 HAS SOUS 5272 HAS SOUPS 5272 WITH SCORE 5281.213
AT ITER 6199 NEW BEST:: SOT 39966 SOS 9211 HAS SOPS 9211 HAS SOUS 5270 HAS SOUPS 5270 WITH SCORE 5279.211
AT ITER 6296 NEW BEST:: SOT 39955 SOS 9200 HAS SOPS 9200 HAS SOUS 5259 HAS SOUPS 5259 WITH SCORE 5268.2
AT ITER 6351 NEW BEST:: SOT 39958 SOS 9199 HAS SOPS 9199 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5260.199
AT ITER 6390 NEW BEST:: SOT 39957 SOS 9198 HAS SOPS 9198 HAS SOUS 5251 HAS SOUPS 5251 WITH SCORE 5260.198
AT ITER 6407 NEW BEST:: SOT 39956 SOS 9196 HAS SOPS 9196 HAS SOUS 5249 HAS SOUPS 5249 WITH SCORE 5258.196
AT ITER 6446 NEW BEST:: SOT 39955 SOS 9195 HAS SOPS 9195 HAS SOUS 5247 HAS SOUPS 5247 WITH SCORE 5256.195
AT ITER 6459 NEW BEST:: SOT 39951 SOS 9187 HAS SOPS 9187 HAS SOUS 5239 HAS SOUPS 5239 WITH SCORE 5248.187
AT ITER 6485 NEW BEST:: SOT 39949 SOS 9185 HAS SOPS 9185 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5246.185
AT ITER 6513 NEW BEST:: SOT 39945 SOS 9181 HAS SOPS 9181 HAS SOUS 5237 HAS SOUPS 5237 WITH SCORE 5246.181
AT ITER 6534 NEW BEST:: SOT 39945 SOS 9181 HAS SOPS 9181 HAS SOUS 5215 HAS SOUPS 5215 WITH SCORE 5224.181
AT ITER 6608 NEW BEST:: SOT 39943 SOS 9177 HAS SOPS 9177 HAS SOUS 5211 HAS SOUPS 5211 WITH SCORE 5220.177
AT ITER 6691 NEW BEST:: SOT 39936 SOS 9163 HAS SOPS 9163 HAS SOUS 5204 HAS SOUPS 5204 WITH SCORE 5213.163
AT ITER 6701 NEW BEST:: SOT 39932 SOS 9157 HAS SOPS 9157 HAS SOUS 5200 HAS SOUPS 5200 WITH SCORE 5209.157
AT ITER 6720 NEW BEST:: SOT 39925 SOS 9143 HAS SOPS 9143 HAS SOUS 5186 HAS SOUPS 5186 WITH SCORE 5195.143
AT ITER 6831 NEW BEST:: SOT 39925 SOS 9143 HAS SOPS 9143 HAS SOUS 5185 HAS SOUPS 5185 WITH SCORE 5194.143
AT ITER 6832 NEW BEST:: SOT 39917 SOS 9127 HAS SOPS 9127 HAS SOUS 5183 HAS SOUPS 5183 WITH SCORE 5192.127
AT ITER 6843 NEW BEST:: SOT 39907 SOS 9149 HAS SOPS 9149 HAS SOUS 5182 HAS SOUPS 5182 WITH SCORE 5191.149
AT ITER 6866 NEW BEST:: SOT 39910 SOS 9147 HAS SOPS 9147 HAS SOUS 5180 HAS SOUPS 5180 WITH SCORE 5189.147
AT ITER 6868 NEW BEST:: SOT 39910 SOS 9149 HAS SOPS 9149 HAS SOUS 5178 HAS SOUPS 5178 WITH SCORE 5187.149
AT ITER 6882 NEW BEST:: SOT 39907 SOS 9143 HAS SOPS 9143 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5181.143
AT ITER 6914 NEW BEST:: SOT 39891 SOS 9127 HAS SOPS 9127 HAS SOUS 5172 HAS SOUPS 5172 WITH SCORE 5181.127
AT ITER 6915 NEW BEST:: SOT 39863 SOS 9317 HAS SOPS 9317 HAS SOUS 5166 HAS SOUPS 5166 WITH SCORE 5175.317
AT ITER 6951 NEW BEST:: SOT 39862 SOS 9314 HAS SOPS 9314 HAS SOUS 5165 HAS SOUPS 5165 WITH SCORE 5174.314
AT ITER 7060 NEW BEST:: SOT 39847 SOS 9293 HAS SOPS 9293 HAS SOUS 5153 HAS SOUPS 5153 WITH SCORE 5162.293
AT ITER 7066 NEW BEST:: SOT 39847 SOS 9293 HAS SOPS 9293 HAS SOUS 5152 HAS SOUPS 5152 WITH SCORE 5161.293
AT ITER 7077 NEW BEST:: SOT 39876 SOS 9375 HAS SOPS 9375 HAS SOUS 5130 HAS SOUPS 5130 WITH SCORE 5139.375
AT ITER 7127 NEW BEST:: SOT 39866 SOS 9425 HAS SOPS 9425 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5134.425
AT ITER 7147 NEW BEST:: SOT 39866 SOS 9425 HAS SOPS 9425 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5133.425
AT ITER 7161 NEW BEST:: SOT 39866 SOS 9421 HAS SOPS 9421 HAS SOUS 5124 HAS SOUPS 5124 WITH SCORE 5133.421
AT ITER 7195 NEW BEST:: SOT 39865 SOS 9419 HAS SOPS 9419 HAS SOUS 5122 HAS SOUPS 5122 WITH SCORE 5131.419
AT ITER 7263 NEW BEST:: SOT 39863 SOS 9419 HAS SOPS 9419 HAS SOUS 5118 HAS SOUPS 5118 WITH SCORE 5127.419
AT ITER 7295 NEW BEST:: SOT 39859 SOS 9415 HAS SOPS 9415 HAS SOUS 5115 HAS SOUPS 5115 WITH SCORE 5124.415
AT ITER 7328 NEW BEST:: SOT 39861 SOS 9419 HAS SOPS 9419 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5122.419
AT ITER 7386 NEW BEST:: SOT 39864 SOS 9413 HAS SOPS 9413 HAS SOUS 5113 HAS SOUPS 5113 WITH SCORE 5122.413
AT ITER 7422 NEW BEST:: SOT 39850 SOS 9385 HAS SOPS 9385 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5106.385
AT ITER 7567 NEW BEST:: SOT 39825 SOS 9335 HAS SOPS 9335 HAS SOUS 5097 HAS SOUPS 5097 WITH SCORE 5106.335
AT ITER 7584 NEW BEST:: SOT 39825 SOS 9335 HAS SOPS 9335 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5100.335
AT ITER 7603 NEW BEST:: SOT 39818 SOS 9328 HAS SOPS 9328 HAS SOUS 5091 HAS SOUPS 5091 WITH SCORE 5100.328
AT ITER 7616 NEW BEST:: SOT 39817 SOS 9326 HAS SOPS 9326 HAS SOUS 5089 HAS SOUPS 5089 WITH SCORE 5098.326
AT ITER 7733 NEW BEST:: SOT 39817 SOS 9325 HAS SOPS 9325 HAS SOUS 5088 HAS SOUPS 5088 WITH SCORE 5097.325
AT ITER 7819 NEW BEST:: SOT 39807 SOS 9305 HAS SOPS 9305 HAS SOUS 5078 HAS SOUPS 5078 WITH SCORE 5087.305
AT ITER 7890 NEW BEST:: SOT 39804 SOS 9282 HAS SOPS 9282 HAS SOUS 5062 HAS SOUPS 5062 WITH SCORE 5071.282
AT ITER 7918 NEW BEST:: SOT 39804 SOS 9306 HAS SOPS 9306 HAS SOUS 5059 HAS SOUPS 5059 WITH SCORE 5068.306
AT ITER 7971 NEW BEST:: SOT 39798 SOS 9297 HAS SOPS 9297 HAS SOUS 5056 HAS SOUPS 5056 WITH SCORE 5065.297
AT ITER 8024 NEW BEST:: SOT 39797 SOS 9295 HAS SOPS 9295 HAS SOUS 5054 HAS SOUPS 5054 WITH SCORE 5063.295
AT ITER 8069 NEW BEST:: SOT 39793 SOS 9290 HAS SOPS 9290 HAS SOUS 5049 HAS SOUPS 5049 WITH SCORE 5058.29
AT ITER 8074 NEW BEST:: SOT 39788 SOS 9280 HAS SOPS 9280 HAS SOUS 5043 HAS SOUPS 5043 WITH SCORE 5052.28
AT ITER 8121 NEW BEST:: SOT 39781 SOS 9269 HAS SOPS 9269 HAS SOUS 5039 HAS SOUPS 5039 WITH SCORE 5048.269
AT ITER 8143 NEW BEST:: SOT 39777 SOS 9267 HAS SOPS 9267 HAS SOUS 5037 HAS SOUPS 5037 WITH SCORE 5046.267
AT ITER 8209 NEW BEST:: SOT 39773 SOS 9259 HAS SOPS 9259 HAS SOUS 5033 HAS SOUPS 5033 WITH SCORE 5042.259
AT ITER 8223 NEW BEST:: SOT 39779 SOS 9253 HAS SOPS 9253 HAS SOUS 5027 HAS SOUPS 5027 WITH SCORE 5036.253
AT ITER 8240 NEW BEST:: SOT 39757 SOS 9231 HAS SOPS 9231 HAS SOUS 5003 HAS SOUPS 5003 WITH SCORE 5012.231
AT ITER 8273 NEW BEST:: SOT 39757 SOS 9229 HAS SOPS 9229 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5010.229
AT ITER 8337 NEW BEST:: SOT 39757 SOS 9218 HAS SOPS 9218 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5010.218
AT ITER 8404 NEW BEST:: SOT 39779 SOS 9262 HAS SOPS 9262 HAS SOUS 4999 HAS SOUPS 4999 WITH SCORE 5008.262
AT ITER 8436 NEW BEST:: SOT 39778 SOS 9260 HAS SOPS 9260 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5006.26
AT ITER 8502 NEW BEST:: SOT 39777 SOS 9259 HAS SOPS 9259 HAS SOUS 4997 HAS SOUPS 4997 WITH SCORE 5006.259
AT ITER 8518 NEW BEST:: SOT 39769 SOS 9243 HAS SOPS 9243 HAS SOUS 4985 HAS SOUPS 4985 WITH SCORE 4994.243
AT ITER 8614 NEW BEST:: SOT 39768 SOS 9241 HAS SOPS 9241 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4989.241
AT ITER 8787 NEW BEST:: SOT 39759 SOS 9218 HAS SOPS 9218 HAS SOUS 4977 HAS SOUPS 4977 WITH SCORE 4986.218
AT ITER 8823 NEW BEST:: SOT 39764 SOS 9217 HAS SOPS 9217 HAS SOUS 4976 HAS SOUPS 4976 WITH SCORE 4985.217
AT ITER 8860 NEW BEST:: SOT 39764 SOS 9217 HAS SOPS 9217 HAS SOUS 4975 HAS SOUPS 4975 WITH SCORE 4984.217
AT ITER 8891 NEW BEST:: SOT 39763 SOS 9216 HAS SOPS 9216 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4983.216
AT ITER 8919 NEW BEST:: SOT 39771 SOS 9136 HAS SOPS 9136 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4983.136
AT ITER 8931 NEW BEST:: SOT 39770 SOS 9134 HAS SOPS 9134 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4983.134
AT ITER 8932 NEW BEST:: SOT 39770 SOS 9082 HAS SOPS 9082 HAS SOUS 4973 HAS SOUPS 4973 WITH SCORE 4982.082
AT ITER 8950 NEW BEST:: SOT 39770 SOS 9080 HAS SOPS 9080 HAS SOUS 4971 HAS SOUPS 4971 WITH SCORE 4980.08
AT ITER 9032 NEW BEST:: SOT 39765 SOS 9076 HAS SOPS 9076 HAS SOUS 4967 HAS SOUPS 4967 WITH SCORE 4976.076
AT ITER 9119 NEW BEST:: SOT 39772 SOS 9083 HAS SOPS 9083 HAS SOUS 4956 HAS SOUPS 4956 WITH SCORE 4965.083
AT ITER 9275 NEW BEST:: SOT 39770 SOS 9081 HAS SOPS 9081 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4963.081
AT ITER 9297 NEW BEST:: SOT 39765 SOS 9071 HAS SOPS 9071 HAS SOUS 4952 HAS SOUPS 4952 WITH SCORE 4961.071
AT ITER 9301 NEW BEST:: SOT 39743 SOS 9040 HAS SOPS 9040 HAS SOUS 4935 HAS SOUPS 4935 WITH SCORE 4944.04
AT ITER 9320 NEW BEST:: SOT 39734 SOS 9028 HAS SOPS 9028 HAS SOUS 4925 HAS SOUPS 4925 WITH SCORE 4934.028
AT ITER 9499 NEW BEST:: SOT 39732 SOS 9028 HAS SOPS 9028 HAS SOUS 4923 HAS SOUPS 4923 WITH SCORE 4932.028
AT ITER 9588 NEW BEST:: SOT 39731 SOS 9035 HAS SOPS 9035 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4930.035
AT ITER 9600 NEW BEST:: SOT 39729 SOS 9031 HAS SOPS 9031 HAS SOUS 4921 HAS SOUPS 4921 WITH SCORE 4930.031
AT ITER 9616 NEW BEST:: SOT 39725 SOS 9023 HAS SOPS 9023 HAS SOUS 4917 HAS SOUPS 4917 WITH SCORE 4926.023
AT ITER 9632 NEW BEST:: SOT 39715 SOS 9003 HAS SOPS 9003 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4907.003
AT ITER 9662 NEW BEST:: SOT 39717 SOS 9001 HAS SOPS 9001 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4907.001
AT ITER 9685 NEW BEST:: SOT 39715 SOS 8997 HAS SOPS 8997 HAS SOUS 4885 HAS SOUPS 4885 WITH SCORE 4893.997
AT ITER 9718 NEW BEST:: SOT 39713 SOS 8998 HAS SOPS 8998 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4884.998
AT ITER 9722 NEW BEST:: SOT 39712 SOS 8995 HAS SOPS 8995 HAS SOUS 4876 HAS SOUPS 4876 WITH SCORE 4884.995
AT ITER 9743 NEW BEST:: SOT 39712 SOS 8995 HAS SOPS 8995 HAS SOUS 4864 HAS SOUPS 4864 WITH SCORE 4872.995
AT ITER 9828 NEW BEST:: SOT 39708 SOS 8990 HAS SOPS 8990 HAS SOUS 4859 HAS SOUPS 4859 WITH SCORE 4867.99
AT ITER 9938 NEW BEST:: SOT 39707 SOS 8988 HAS SOPS 8988 HAS SOUS 4857 HAS SOUPS 4857 WITH SCORE 4865.988
AT ITER 9985 NEW BEST:: SOT 39688 SOS 8969 HAS SOPS 8969 HAS SOUS 4850 HAS SOUPS 4850 WITH SCORE 4858.969
STATE_SPACE STATES 394081848449 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 10 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3639150097783 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1590469830145
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-09"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is SmartHome-PT-09, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r224-oct2-159033538300072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-09.tgz
mv SmartHome-PT-09 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;