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.r153-oct2-158972910400560.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 SharedMemory-PT-000010, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r153-oct2-158972910400560
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 672K
-rw-r--r-- 1 mcc users 16K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 53K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 18K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 8.5K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 41K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 19K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 68K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 47K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 22K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 73K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 5.7K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 7 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 171K Apr 27 15:14 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 1589744745518

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

Filename model.pnml
Petri model created: 131 places, 210 transitions, 800 arcs.
AT ITER 0 NEW BEST:: SOT 24100 SOS 21030 HAS SOPS 21011 HAS SOUS 19077 HAS SOUPS 19058 WITH SCORE 19079.03
AT ITER 7 NEW BEST:: SOT 24202 SOS 21106 HAS SOPS 21087 HAS SOUS 18984 HAS SOUPS 18965 WITH SCORE 18986.106
AT ITER 8 NEW BEST:: SOT 24224 SOS 21106 HAS SOPS 21087 HAS SOUS 18827 HAS SOUPS 18808 WITH SCORE 18829.106
AT ITER 12 NEW BEST:: SOT 24224 SOS 21097 HAS SOPS 21078 HAS SOUS 18826 HAS SOUPS 18807 WITH SCORE 18828.097
AT ITER 17 NEW BEST:: SOT 24296 SOS 21126 HAS SOPS 21107 HAS SOUS 18569 HAS SOUPS 18550 WITH SCORE 18571.126
AT ITER 19 NEW BEST:: SOT 24296 SOS 21126 HAS SOPS 21107 HAS SOUS 18555 HAS SOUPS 18536 WITH SCORE 18557.126
AT ITER 24 NEW BEST:: SOT 24296 SOS 21123 HAS SOPS 21101 HAS SOUS 18555 HAS SOUPS 18533 WITH SCORE 18554.123
AT ITER 25 NEW BEST:: SOT 24296 SOS 21123 HAS SOPS 21101 HAS SOUS 18523 HAS SOUPS 18501 WITH SCORE 18522.123
AT ITER 34 NEW BEST:: SOT 24362 SOS 21152 HAS SOPS 21130 HAS SOUS 18372 HAS SOUPS 18350 WITH SCORE 18371.152
AT ITER 35 NEW BEST:: SOT 24362 SOS 21152 HAS SOPS 21130 HAS SOUS 18354 HAS SOUPS 18332 WITH SCORE 18353.152
AT ITER 36 NEW BEST:: SOT 24362 SOS 21152 HAS SOPS 21130 HAS SOUS 18324 HAS SOUPS 18302 WITH SCORE 18323.152
AT ITER 39 NEW BEST:: SOT 24428 SOS 21152 HAS SOPS 21130 HAS SOUS 17908 HAS SOUPS 17886 WITH SCORE 17907.152
AT ITER 40 NEW BEST:: SOT 24428 SOS 21152 HAS SOPS 21130 HAS SOUS 17904 HAS SOUPS 17882 WITH SCORE 17903.152
AT ITER 44 NEW BEST:: SOT 24428 SOS 21152 HAS SOPS 21130 HAS SOUS 17887 HAS SOUPS 17865 WITH SCORE 17886.152
AT ITER 50 NEW BEST:: SOT 24576 SOS 21174 HAS SOPS 21152 HAS SOUS 17546 HAS SOUPS 17524 WITH SCORE 17545.174
AT ITER 53 NEW BEST:: SOT 24576 SOS 21174 HAS SOPS 21152 HAS SOUS 17483 HAS SOUPS 17461 WITH SCORE 17482.174
AT ITER 54 NEW BEST:: SOT 24497 SOS 20766 HAS SOPS 20744 HAS SOUS 17412 HAS SOUPS 17390 WITH SCORE 17410.766
AT ITER 62 NEW BEST:: SOT 24497 SOS 20755 HAS SOPS 20733 HAS SOUS 17365 HAS SOUPS 17343 WITH SCORE 17363.755
AT ITER 63 NEW BEST:: SOT 24538 SOS 20735 HAS SOPS 20713 HAS SOUS 17159 HAS SOUPS 17137 WITH SCORE 17157.735
AT ITER 64 NEW BEST:: SOT 24538 SOS 20735 HAS SOPS 20713 HAS SOUS 17150 HAS SOUPS 17128 WITH SCORE 17148.735
AT ITER 65 NEW BEST:: SOT 24538 SOS 20735 HAS SOPS 20713 HAS SOUS 17135 HAS SOUPS 17113 WITH SCORE 17133.735
AT ITER 66 NEW BEST:: SOT 24538 SOS 20735 HAS SOPS 20713 HAS SOUS 17105 HAS SOUPS 17083 WITH SCORE 17103.735
AT ITER 67 NEW BEST:: SOT 24691 SOS 20853 HAS SOPS 20831 HAS SOUS 16895 HAS SOUPS 16873 WITH SCORE 16893.853
AT ITER 74 NEW BEST:: SOT 24691 SOS 20329 HAS SOPS 20329 HAS SOUS 16489 HAS SOUPS 16489 WITH SCORE 16509.329
AT ITER 76 NEW BEST:: SOT 24713 SOS 20183 HAS SOPS 20183 HAS SOUS 16382 HAS SOUPS 16382 WITH SCORE 16402.183
AT ITER 78 NEW BEST:: SOT 24720 SOS 20177 HAS SOPS 20177 HAS SOUS 16338 HAS SOUPS 16338 WITH SCORE 16358.177
AT ITER 80 NEW BEST:: SOT 24720 SOS 20177 HAS SOPS 20177 HAS SOUS 16316 HAS SOUPS 16316 WITH SCORE 16336.177
AT ITER 81 NEW BEST:: SOT 24720 SOS 20177 HAS SOPS 20177 HAS SOUS 16285 HAS SOUPS 16285 WITH SCORE 16305.177
AT ITER 82 NEW BEST:: SOT 24732 SOS 20183 HAS SOPS 20183 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16293.183
AT ITER 86 NEW BEST:: SOT 24848 SOS 20211 HAS SOPS 20211 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16123.211
AT ITER 92 NEW BEST:: SOT 24848 SOS 20136 HAS SOPS 20136 HAS SOUS 16092 HAS SOUPS 16092 WITH SCORE 16112.136
AT ITER 97 NEW BEST:: SOT 24947 SOS 20210 HAS SOPS 20210 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16072.21
AT ITER 100 NEW BEST:: SOT 25077 SOS 20190 HAS SOPS 20190 HAS SOUS 16031 HAS SOUPS 16031 WITH SCORE 16051.19
AT ITER 101 NEW BEST:: SOT 25074 SOS 20187 HAS SOPS 20187 HAS SOUS 16022 HAS SOUPS 16022 WITH SCORE 16042.187
AT ITER 102 NEW BEST:: SOT 19267 SOS 15484 HAS SOPS 15484 HAS SOUS 10379 HAS SOUPS 10379 WITH SCORE 10394.484
AT ITER 107 NEW BEST:: SOT 19224 SOS 15441 HAS SOPS 15441 HAS SOUS 10293 HAS SOUPS 10293 WITH SCORE 10308.441
AT ITER 109 NEW BEST:: SOT 19277 SOS 15494 HAS SOPS 15494 HAS SOUS 10140 HAS SOUPS 10140 WITH SCORE 10155.494
AT ITER 111 NEW BEST:: SOT 19277 SOS 15494 HAS SOPS 15494 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10126.494
AT ITER 112 NEW BEST:: SOT 19253 SOS 15471 HAS SOPS 15471 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10078.471
AT ITER 115 NEW BEST:: SOT 19335 SOS 15514 HAS SOPS 15514 HAS SOUS 10010 HAS SOUPS 10010 WITH SCORE 10025.514
AT ITER 116 NEW BEST:: SOT 19379 SOS 15494 HAS SOPS 15494 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9950.494
AT ITER 119 NEW BEST:: SOT 19015 SOS 15130 HAS SOPS 15130 HAS SOUS 9674 HAS SOUPS 9674 WITH SCORE 9689.13
AT ITER 121 NEW BEST:: SOT 18991 SOS 15106 HAS SOPS 15106 HAS SOUS 9627 HAS SOUPS 9627 WITH SCORE 9642.106
AT ITER 123 NEW BEST:: SOT 18736 SOS 14923 HAS SOPS 14884 HAS SOUS 9527 HAS SOUPS 9488 WITH SCORE 9502.923
AT ITER 126 NEW BEST:: SOT 18762 SOS 14940 HAS SOPS 14892 HAS SOUS 9499 HAS SOUPS 9451 WITH SCORE 9465.94
AT ITER 127 NEW BEST:: SOT 18753 SOS 14931 HAS SOPS 14883 HAS SOUS 9481 HAS SOUPS 9433 WITH SCORE 9447.931
AT ITER 132 NEW BEST:: SOT 18022 SOS 14430 HAS SOPS 14373 HAS SOUS 9069 HAS SOUPS 9012 WITH SCORE 9026.43
AT ITER 134 NEW BEST:: SOT 18007 SOS 14415 HAS SOPS 14358 HAS SOUS 9039 HAS SOUPS 8982 WITH SCORE 8996.415
AT ITER 135 NEW BEST:: SOT 17903 SOS 14311 HAS SOPS 14254 HAS SOUS 8816 HAS SOUPS 8759 WITH SCORE 8773.311
AT ITER 137 NEW BEST:: SOT 17998 SOS 14327 HAS SOPS 14259 HAS SOUS 8597 HAS SOUPS 8529 WITH SCORE 8543.327
AT ITER 138 NEW BEST:: SOT 17934 SOS 14263 HAS SOPS 14195 HAS SOUS 8595 HAS SOUPS 8527 WITH SCORE 8541.263
AT ITER 139 NEW BEST:: SOT 17803 SOS 14166 HAS SOPS 14098 HAS SOUS 8523 HAS SOUPS 8455 WITH SCORE 8469.166
AT ITER 140 NEW BEST:: SOT 17722 SOS 14085 HAS SOPS 14017 HAS SOUS 8455 HAS SOUPS 8387 WITH SCORE 8401.085
AT ITER 141 NEW BEST:: SOT 17713 SOS 14076 HAS SOPS 14008 HAS SOUS 8437 HAS SOUPS 8369 WITH SCORE 8383.076
AT ITER 143 NEW BEST:: SOT 17735 SOS 14005 HAS SOPS 13884 HAS SOUS 8085 HAS SOUPS 7964 WITH SCORE 7978.005
AT ITER 146 NEW BEST:: SOT 17733 SOS 14003 HAS SOPS 13882 HAS SOUS 8059 HAS SOUPS 7938 WITH SCORE 7952.003
AT ITER 149 NEW BEST:: SOT 17730 SOS 14000 HAS SOPS 13879 HAS SOUS 8053 HAS SOUPS 7932 WITH SCORE 7946.0
AT ITER 150 NEW BEST:: SOT 17729 SOS 14047 HAS SOPS 13926 HAS SOUS 8052 HAS SOUPS 7931 WITH SCORE 7945.047
AT ITER 151 NEW BEST:: SOT 17723 SOS 14041 HAS SOPS 13920 HAS SOUS 8040 HAS SOUPS 7919 WITH SCORE 7933.041
AT ITER 152 NEW BEST:: SOT 17717 SOS 13995 HAS SOPS 13834 HAS SOUS 8039 HAS SOUPS 7878 WITH SCORE 7891.995
AT ITER 162 NEW BEST:: SOT 17696 SOS 13974 HAS SOPS 13813 HAS SOUS 7997 HAS SOUPS 7836 WITH SCORE 7849.974
AT ITER 165 NEW BEST:: SOT 17788 SOS 13788 HAS SOPS 13647 HAS SOUS 7938 HAS SOUPS 7797 WITH SCORE 7810.788
AT ITER 171 NEW BEST:: SOT 17816 SOS 13577 HAS SOPS 13466 HAS SOUS 7831 HAS SOUPS 7720 WITH SCORE 7733.577
AT ITER 172 NEW BEST:: SOT 17803 SOS 13564 HAS SOPS 13453 HAS SOUS 7805 HAS SOUPS 7694 WITH SCORE 7707.564
AT ITER 188 NEW BEST:: SOT 17599 SOS 13365 HAS SOPS 13254 HAS SOUS 7799 HAS SOUPS 7688 WITH SCORE 7701.365
AT ITER 189 NEW BEST:: SOT 17642 SOS 13391 HAS SOPS 13297 HAS SOUS 7764 HAS SOUPS 7670 WITH SCORE 7683.391
AT ITER 193 NEW BEST:: SOT 17582 SOS 13225 HAS SOPS 13125 HAS SOUS 7643 HAS SOUPS 7543 WITH SCORE 7556.225
AT ITER 204 NEW BEST:: SOT 17610 SOS 12895 HAS SOPS 12795 HAS SOUS 7622 HAS SOUPS 7522 WITH SCORE 7534.895
AT ITER 205 NEW BEST:: SOT 17503 SOS 12791 HAS SOPS 12691 HAS SOUS 7540 HAS SOUPS 7440 WITH SCORE 7452.791
AT ITER 210 NEW BEST:: SOT 17423 SOS 12711 HAS SOPS 12611 HAS SOUS 7380 HAS SOUPS 7280 WITH SCORE 7292.711
AT ITER 214 NEW BEST:: SOT 17383 SOS 12671 HAS SOPS 12571 HAS SOUS 7340 HAS SOUPS 7240 WITH SCORE 7252.671
AT ITER 215 NEW BEST:: SOT 17357 SOS 12601 HAS SOPS 12501 HAS SOUS 7288 HAS SOUPS 7188 WITH SCORE 7200.601
AT ITER 219 NEW BEST:: SOT 17305 SOS 12577 HAS SOPS 12477 HAS SOUS 7222 HAS SOUPS 7122 WITH SCORE 7134.577
AT ITER 228 NEW BEST:: SOT 17277 SOS 12478 HAS SOPS 12340 HAS SOUS 7201 HAS SOUPS 7063 WITH SCORE 7075.478
AT ITER 229 NEW BEST:: SOT 17277 SOS 12456 HAS SOPS 12318 HAS SOUS 7201 HAS SOUPS 7063 WITH SCORE 7075.456
AT ITER 235 NEW BEST:: SOT 17271 SOS 12450 HAS SOPS 12312 HAS SOUS 7189 HAS SOUPS 7051 WITH SCORE 7063.45
AT ITER 239 NEW BEST:: SOT 17267 SOS 12424 HAS SOPS 12286 HAS SOUS 7181 HAS SOUPS 7043 WITH SCORE 7055.424
AT ITER 243 NEW BEST:: SOT 17267 SOS 12420 HAS SOPS 12278 HAS SOUS 7185 HAS SOUPS 7043 WITH SCORE 7055.42
AT ITER 251 NEW BEST:: SOT 17257 SOS 12411 HAS SOPS 12268 HAS SOUS 7174 HAS SOUPS 7031 WITH SCORE 7043.411
AT ITER 254 NEW BEST:: SOT 17257 SOS 12398 HAS SOPS 12255 HAS SOUS 7174 HAS SOUPS 7031 WITH SCORE 7043.398
AT ITER 255 NEW BEST:: SOT 17227 SOS 12226 HAS SOPS 12083 HAS SOUS 7144 HAS SOUPS 7001 WITH SCORE 7013.226
AT ITER 256 NEW BEST:: SOT 17238 SOS 12006 HAS SOPS 11863 HAS SOUS 7094 HAS SOUPS 6951 WITH SCORE 6963.006
AT ITER 259 NEW BEST:: SOT 17370 SOS 11939 HAS SOPS 11796 HAS SOUS 7093 HAS SOUPS 6950 WITH SCORE 6961.939
AT ITER 260 NEW BEST:: SOT 17370 SOS 11939 HAS SOPS 11796 HAS SOUS 7086 HAS SOUPS 6943 WITH SCORE 6954.939
AT ITER 266 NEW BEST:: SOT 17328 SOS 11897 HAS SOPS 11754 HAS SOUS 7051 HAS SOUPS 6908 WITH SCORE 6919.897
AT ITER 281 NEW BEST:: SOT 17328 SOS 11944 HAS SOPS 11801 HAS SOUS 7039 HAS SOUPS 6896 WITH SCORE 6907.944
AT ITER 296 NEW BEST:: SOT 17328 SOS 11944 HAS SOPS 11801 HAS SOUS 7033 HAS SOUPS 6890 WITH SCORE 6901.944
AT ITER 297 NEW BEST:: SOT 17328 SOS 11900 HAS SOPS 11757 HAS SOUS 7033 HAS SOUPS 6890 WITH SCORE 6901.9
AT ITER 302 NEW BEST:: SOT 17328 SOS 11850 HAS SOPS 11707 HAS SOUS 7033 HAS SOUPS 6890 WITH SCORE 6901.85
AT ITER 305 NEW BEST:: SOT 17326 SOS 11832 HAS SOPS 11689 HAS SOUS 7031 HAS SOUPS 6888 WITH SCORE 6899.832
AT ITER 308 NEW BEST:: SOT 17326 SOS 11792 HAS SOPS 11649 HAS SOUS 7031 HAS SOUPS 6888 WITH SCORE 6899.792
AT ITER 309 NEW BEST:: SOT 17290 SOS 11756 HAS SOPS 11613 HAS SOUS 6949 HAS SOUPS 6806 WITH SCORE 6817.756
AT ITER 310 NEW BEST:: SOT 17277 SOS 11968 HAS SOPS 11825 HAS SOUS 6939 HAS SOUPS 6796 WITH SCORE 6807.968
AT ITER 314 NEW BEST:: SOT 17256 SOS 12013 HAS SOPS 11870 HAS SOUS 6914 HAS SOUPS 6771 WITH SCORE 6783.013
AT ITER 315 NEW BEST:: SOT 17255 SOS 11997 HAS SOPS 11845 HAS SOUS 6916 HAS SOUPS 6764 WITH SCORE 6775.997
AT ITER 318 NEW BEST:: SOT 17250 SOS 11992 HAS SOPS 11840 HAS SOUS 6913 HAS SOUPS 6761 WITH SCORE 6772.992
AT ITER 319 NEW BEST:: SOT 17250 SOS 11992 HAS SOPS 11840 HAS SOUS 6900 HAS SOUPS 6748 WITH SCORE 6759.992
AT ITER 325 NEW BEST:: SOT 17250 SOS 11991 HAS SOPS 11839 HAS SOUS 6900 HAS SOUPS 6748 WITH SCORE 6759.991
AT ITER 331 NEW BEST:: SOT 17250 SOS 11991 HAS SOPS 11839 HAS SOUS 6883 HAS SOUPS 6731 WITH SCORE 6742.991
AT ITER 333 NEW BEST:: SOT 17379 SOS 12120 HAS SOPS 11968 HAS SOUS 6868 HAS SOUPS 6716 WITH SCORE 6728.12
AT ITER 340 NEW BEST:: SOT 17349 SOS 12090 HAS SOPS 11938 HAS SOUS 6808 HAS SOUPS 6656 WITH SCORE 6668.09
AT ITER 341 NEW BEST:: SOT 17348 SOS 12087 HAS SOPS 11935 HAS SOUS 6806 HAS SOUPS 6654 WITH SCORE 6666.087
AT ITER 342 NEW BEST:: SOT 17208 SOS 12170 HAS SOPS 11972 HAS SOUS 6842 HAS SOUPS 6644 WITH SCORE 6656.17
AT ITER 353 NEW BEST:: SOT 17190 SOS 12152 HAS SOPS 11954 HAS SOUS 6806 HAS SOUPS 6608 WITH SCORE 6620.152
AT ITER 356 NEW BEST:: SOT 17171 SOS 12133 HAS SOPS 11935 HAS SOUS 6768 HAS SOUPS 6570 WITH SCORE 6582.133
AT ITER 357 NEW BEST:: SOT 17171 SOS 12117 HAS SOPS 11919 HAS SOUS 6768 HAS SOUPS 6570 WITH SCORE 6582.117
AT ITER 363 NEW BEST:: SOT 17171 SOS 11970 HAS SOPS 11785 HAS SOUS 6717 HAS SOUPS 6532 WITH SCORE 6543.97
AT ITER 371 NEW BEST:: SOT 17160 SOS 11973 HAS SOPS 11788 HAS SOUS 6695 HAS SOUPS 6510 WITH SCORE 6521.973
AT ITER 384 NEW BEST:: SOT 17195 SOS 11957 HAS SOPS 11754 HAS SOUS 6667 HAS SOUPS 6464 WITH SCORE 6475.957
AT ITER 387 NEW BEST:: SOT 17363 SOS 12068 HAS SOPS 11847 HAS SOUS 6672 HAS SOUPS 6451 WITH SCORE 6463.068
AT ITER 390 NEW BEST:: SOT 17294 SOS 12000 HAS SOPS 11779 HAS SOUS 6594 HAS SOUPS 6373 WITH SCORE 6385.0
AT ITER 399 NEW BEST:: SOT 17314 SOS 11998 HAS SOPS 11777 HAS SOUS 6551 HAS SOUPS 6330 WITH SCORE 6341.998
AT ITER 400 NEW BEST:: SOT 17226 SOS 11994 HAS SOPS 11773 HAS SOUS 6540 HAS SOUPS 6319 WITH SCORE 6330.994
AT ITER 403 NEW BEST:: SOT 17136 SOS 12053 HAS SOPS 11832 HAS SOUS 6494 HAS SOUPS 6273 WITH SCORE 6285.053
AT ITER 404 NEW BEST:: SOT 17114 SOS 12031 HAS SOPS 11810 HAS SOUS 6442 HAS SOUPS 6221 WITH SCORE 6233.031
AT ITER 417 NEW BEST:: SOT 17094 SOS 12139 HAS SOPS 11918 HAS SOUS 6432 HAS SOUPS 6211 WITH SCORE 6223.139
AT ITER 427 NEW BEST:: SOT 17094 SOS 12133 HAS SOPS 11912 HAS SOUS 6432 HAS SOUPS 6211 WITH SCORE 6223.133
AT ITER 432 NEW BEST:: SOT 17115 SOS 12154 HAS SOPS 11933 HAS SOUS 6427 HAS SOUPS 6206 WITH SCORE 6218.154
AT ITER 433 NEW BEST:: SOT 17115 SOS 12107 HAS SOPS 11886 HAS SOUS 6397 HAS SOUPS 6176 WITH SCORE 6188.107
AT ITER 435 NEW BEST:: SOT 17104 SOS 11996 HAS SOPS 11786 HAS SOUS 6359 HAS SOUPS 6149 WITH SCORE 6160.996
AT ITER 438 NEW BEST:: SOT 17022 SOS 11932 HAS SOPS 11704 HAS SOUS 6330 HAS SOUPS 6102 WITH SCORE 6113.932
AT ITER 439 NEW BEST:: SOT 16993 SOS 11903 HAS SOPS 11675 HAS SOUS 6298 HAS SOUPS 6070 WITH SCORE 6081.903
AT ITER 440 NEW BEST:: SOT 16965 SOS 11879 HAS SOPS 11651 HAS SOUS 6274 HAS SOUPS 6046 WITH SCORE 6057.879
AT ITER 444 NEW BEST:: SOT 16941 SOS 11855 HAS SOPS 11627 HAS SOUS 6240 HAS SOUPS 6012 WITH SCORE 6023.855
AT ITER 447 NEW BEST:: SOT 16941 SOS 11852 HAS SOPS 11624 HAS SOUS 6240 HAS SOUPS 6012 WITH SCORE 6023.852
AT ITER 448 NEW BEST:: SOT 16947 SOS 11803 HAS SOPS 11575 HAS SOUS 6236 HAS SOUPS 6008 WITH SCORE 6019.803
AT ITER 464 NEW BEST:: SOT 16940 SOS 11796 HAS SOPS 11568 HAS SOUS 6222 HAS SOUPS 5994 WITH SCORE 6005.796
AT ITER 471 NEW BEST:: SOT 16934 SOS 11785 HAS SOPS 11557 HAS SOUS 6209 HAS SOUPS 5981 WITH SCORE 5992.785
AT ITER 476 NEW BEST:: SOT 16934 SOS 11780 HAS SOPS 11552 HAS SOUS 6209 HAS SOUPS 5981 WITH SCORE 5992.78
AT ITER 477 NEW BEST:: SOT 16891 SOS 11737 HAS SOPS 11509 HAS SOUS 6134 HAS SOUPS 5906 WITH SCORE 5917.737
AT ITER 487 NEW BEST:: SOT 16890 SOS 11734 HAS SOPS 11506 HAS SOUS 6133 HAS SOUPS 5905 WITH SCORE 5916.734
AT ITER 494 NEW BEST:: SOT 16885 SOS 11729 HAS SOPS 11501 HAS SOUS 6123 HAS SOUPS 5895 WITH SCORE 5906.729
AT ITER 496 NEW BEST:: SOT 16850 SOS 11694 HAS SOPS 11466 HAS SOUS 6053 HAS SOUPS 5825 WITH SCORE 5836.694
AT ITER 499 NEW BEST:: SOT 16827 SOS 11671 HAS SOPS 11443 HAS SOUS 6007 HAS SOUPS 5779 WITH SCORE 5790.671
AT ITER 500 NEW BEST:: SOT 16825 SOS 11669 HAS SOPS 11441 HAS SOUS 6001 HAS SOUPS 5773 WITH SCORE 5784.669
AT ITER 505 NEW BEST:: SOT 16830 SOS 11524 HAS SOPS 11309 HAS SOUS 5977 HAS SOUPS 5762 WITH SCORE 5773.524
AT ITER 509 NEW BEST:: SOT 16839 SOS 11427 HAS SOPS 11212 HAS SOUS 5953 HAS SOUPS 5738 WITH SCORE 5749.427
AT ITER 527 NEW BEST:: SOT 16843 SOS 11329 HAS SOPS 11114 HAS SOUS 5942 HAS SOUPS 5727 WITH SCORE 5738.329
AT ITER 540 NEW BEST:: SOT 16839 SOS 11382 HAS SOPS 11167 HAS SOUS 5937 HAS SOUPS 5722 WITH SCORE 5733.382
AT ITER 545 NEW BEST:: SOT 16828 SOS 11371 HAS SOPS 11156 HAS SOUS 5926 HAS SOUPS 5711 WITH SCORE 5722.371
AT ITER 558 NEW BEST:: SOT 16788 SOS 11337 HAS SOPS 11122 HAS SOUS 5846 HAS SOUPS 5631 WITH SCORE 5642.337
AT ITER 566 NEW BEST:: SOT 16788 SOS 11331 HAS SOPS 11116 HAS SOUS 5846 HAS SOUPS 5631 WITH SCORE 5642.331
AT ITER 567 NEW BEST:: SOT 16775 SOS 11338 HAS SOPS 11123 HAS SOUS 5820 HAS SOUPS 5605 WITH SCORE 5616.338
AT ITER 571 NEW BEST:: SOT 16754 SOS 11336 HAS SOPS 11128 HAS SOUS 5813 HAS SOUPS 5605 WITH SCORE 5616.336
AT ITER 579 NEW BEST:: SOT 16731 SOS 11313 HAS SOPS 11105 HAS SOUS 5767 HAS SOUPS 5559 WITH SCORE 5570.313
AT ITER 593 NEW BEST:: SOT 16731 SOS 11311 HAS SOPS 11103 HAS SOUS 5767 HAS SOUPS 5559 WITH SCORE 5570.311
AT ITER 601 NEW BEST:: SOT 16738 SOS 11318 HAS SOPS 11110 HAS SOUS 5762 HAS SOUPS 5554 WITH SCORE 5565.318
AT ITER 613 NEW BEST:: SOT 16596 SOS 11459 HAS SOPS 11251 HAS SOUS 5719 HAS SOUPS 5511 WITH SCORE 5522.459
AT ITER 633 NEW BEST:: SOT 16596 SOS 11451 HAS SOPS 11243 HAS SOUS 5719 HAS SOUPS 5511 WITH SCORE 5522.451
AT ITER 635 NEW BEST:: SOT 16590 SOS 11445 HAS SOPS 11237 HAS SOUS 5713 HAS SOUPS 5505 WITH SCORE 5516.445
AT ITER 637 NEW BEST:: SOT 16627 SOS 11230 HAS SOPS 11022 HAS SOUS 5698 HAS SOUPS 5490 WITH SCORE 5501.23
AT ITER 640 NEW BEST:: SOT 16627 SOS 11228 HAS SOPS 11020 HAS SOUS 5698 HAS SOUPS 5490 WITH SCORE 5501.228
AT ITER 646 NEW BEST:: SOT 16630 SOS 11230 HAS SOPS 11022 HAS SOUS 5680 HAS SOUPS 5472 WITH SCORE 5483.23
AT ITER 655 NEW BEST:: SOT 16628 SOS 11202 HAS SOPS 10994 HAS SOUS 5662 HAS SOUPS 5454 WITH SCORE 5465.202
AT ITER 656 NEW BEST:: SOT 16634 SOS 11198 HAS SOPS 10985 HAS SOUS 5660 HAS SOUPS 5447 WITH SCORE 5458.198
AT ITER 682 NEW BEST:: SOT 16636 SOS 11200 HAS SOPS 10987 HAS SOUS 5656 HAS SOUPS 5443 WITH SCORE 5454.2
AT ITER 689 NEW BEST:: SOT 16601 SOS 11171 HAS SOPS 10958 HAS SOUS 5649 HAS SOUPS 5436 WITH SCORE 5447.171
AT ITER 692 NEW BEST:: SOT 16567 SOS 11149 HAS SOPS 10936 HAS SOUS 5629 HAS SOUPS 5416 WITH SCORE 5427.149
AT ITER 697 NEW BEST:: SOT 16555 SOS 11137 HAS SOPS 10924 HAS SOUS 5626 HAS SOUPS 5413 WITH SCORE 5424.137
AT ITER 704 NEW BEST:: SOT 16415 SOS 11024 HAS SOPS 10784 HAS SOUS 5607 HAS SOUPS 5367 WITH SCORE 5378.024
AT ITER 706 NEW BEST:: SOT 16415 SOS 11016 HAS SOPS 10776 HAS SOUS 5607 HAS SOUPS 5367 WITH SCORE 5378.016
AT ITER 709 NEW BEST:: SOT 16411 SOS 11012 HAS SOPS 10772 HAS SOUS 5599 HAS SOUPS 5359 WITH SCORE 5370.012
AT ITER 716 NEW BEST:: SOT 16411 SOS 11007 HAS SOPS 10767 HAS SOUS 5599 HAS SOUPS 5359 WITH SCORE 5370.007
AT ITER 728 NEW BEST:: SOT 16407 SOS 11003 HAS SOPS 10763 HAS SOUS 5591 HAS SOUPS 5351 WITH SCORE 5362.003
AT ITER 748 NEW BEST:: SOT 16409 SOS 10977 HAS SOPS 10737 HAS SOUS 5587 HAS SOUPS 5347 WITH SCORE 5357.977
AT ITER 755 NEW BEST:: SOT 16349 SOS 10929 HAS SOPS 10689 HAS SOUS 5565 HAS SOUPS 5325 WITH SCORE 5335.929
AT ITER 770 NEW BEST:: SOT 16345 SOS 10925 HAS SOPS 10685 HAS SOUS 5557 HAS SOUPS 5317 WITH SCORE 5327.925
AT ITER 789 NEW BEST:: SOT 16329 SOS 10909 HAS SOPS 10669 HAS SOUS 5491 HAS SOUPS 5251 WITH SCORE 5261.909
AT ITER 791 NEW BEST:: SOT 16329 SOS 10909 HAS SOPS 10669 HAS SOUS 5485 HAS SOUPS 5245 WITH SCORE 5255.909
AT ITER 811 NEW BEST:: SOT 16317 SOS 10897 HAS SOPS 10657 HAS SOUS 5466 HAS SOUPS 5226 WITH SCORE 5236.897
AT ITER 818 NEW BEST:: SOT 16299 SOS 10877 HAS SOPS 10637 HAS SOUS 5426 HAS SOUPS 5186 WITH SCORE 5196.877
AT ITER 839 NEW BEST:: SOT 16298 SOS 10907 HAS SOPS 10667 HAS SOUS 5425 HAS SOUPS 5185 WITH SCORE 5195.907
AT ITER 845 NEW BEST:: SOT 16294 SOS 10903 HAS SOPS 10669 HAS SOUS 5402 HAS SOUPS 5168 WITH SCORE 5178.903
AT ITER 852 NEW BEST:: SOT 16272 SOS 11172 HAS SOPS 10938 HAS SOUS 5383 HAS SOUPS 5149 WITH SCORE 5160.172
AT ITER 865 NEW BEST:: SOT 16248 SOS 11168 HAS SOPS 10934 HAS SOUS 5335 HAS SOUPS 5101 WITH SCORE 5112.168
AT ITER 874 NEW BEST:: SOT 16240 SOS 11160 HAS SOPS 10926 HAS SOUS 5319 HAS SOUPS 5085 WITH SCORE 5096.16
AT ITER 907 NEW BEST:: SOT 16238 SOS 11124 HAS SOPS 10890 HAS SOUS 5314 HAS SOUPS 5080 WITH SCORE 5091.124
AT ITER 924 NEW BEST:: SOT 16229 SOS 11115 HAS SOPS 10881 HAS SOUS 5296 HAS SOUPS 5062 WITH SCORE 5073.115
AT ITER 931 NEW BEST:: SOT 16237 SOS 11115 HAS SOPS 10889 HAS SOUS 5242 HAS SOUPS 5016 WITH SCORE 5027.115
AT ITER 932 NEW BEST:: SOT 16237 SOS 11112 HAS SOPS 10886 HAS SOUS 5242 HAS SOUPS 5016 WITH SCORE 5027.112
AT ITER 936 NEW BEST:: SOT 16236 SOS 11111 HAS SOPS 10885 HAS SOUS 5240 HAS SOUPS 5014 WITH SCORE 5025.111
AT ITER 980 NEW BEST:: SOT 16215 SOS 11090 HAS SOPS 10864 HAS SOUS 5198 HAS SOUPS 4972 WITH SCORE 4983.09
AT ITER 993 NEW BEST:: SOT 16213 SOS 11088 HAS SOPS 10862 HAS SOUS 5194 HAS SOUPS 4968 WITH SCORE 4979.088
AT ITER 995 NEW BEST:: SOT 16208 SOS 11083 HAS SOPS 10857 HAS SOUS 5184 HAS SOUPS 4958 WITH SCORE 4969.083
AT ITER 1011 NEW BEST:: SOT 16180 SOS 11077 HAS SOPS 10845 HAS SOUS 5162 HAS SOUPS 4930 WITH SCORE 4941.077
AT ITER 1024 NEW BEST:: SOT 16177 SOS 11074 HAS SOPS 10842 HAS SOUS 5160 HAS SOUPS 4928 WITH SCORE 4939.074
AT ITER 1025 NEW BEST:: SOT 16181 SOS 11063 HAS SOPS 10831 HAS SOUS 5160 HAS SOUPS 4928 WITH SCORE 4939.063
AT ITER 1043 NEW BEST:: SOT 16224 SOS 11096 HAS SOPS 10864 HAS SOUS 5153 HAS SOUPS 4921 WITH SCORE 4932.096
AT ITER 1080 NEW BEST:: SOT 16213 SOS 11143 HAS SOPS 10903 HAS SOUS 5158 HAS SOUPS 4918 WITH SCORE 4929.143
AT ITER 1089 NEW BEST:: SOT 16196 SOS 11126 HAS SOPS 10886 HAS SOUS 5141 HAS SOUPS 4901 WITH SCORE 4912.126
AT ITER 1110 NEW BEST:: SOT 16192 SOS 11150 HAS SOPS 10910 HAS SOUS 5137 HAS SOUPS 4897 WITH SCORE 4908.15
AT ITER 1126 NEW BEST:: SOT 16187 SOS 11160 HAS SOPS 10920 HAS SOUS 5136 HAS SOUPS 4896 WITH SCORE 4907.16
AT ITER 1144 NEW BEST:: SOT 16185 SOS 11158 HAS SOPS 10918 HAS SOUS 5134 HAS SOUPS 4894 WITH SCORE 4905.158
AT ITER 1145 NEW BEST:: SOT 16185 SOS 11157 HAS SOPS 10917 HAS SOUS 5134 HAS SOUPS 4894 WITH SCORE 4905.157
AT ITER 1159 NEW BEST:: SOT 16171 SOS 11143 HAS SOPS 10903 HAS SOUS 5123 HAS SOUPS 4883 WITH SCORE 4894.143
AT ITER 1171 NEW BEST:: SOT 16160 SOS 11132 HAS SOPS 10892 HAS SOUS 5101 HAS SOUPS 4861 WITH SCORE 4872.132
AT ITER 1174 NEW BEST:: SOT 16160 SOS 11128 HAS SOPS 10888 HAS SOUS 5101 HAS SOUPS 4861 WITH SCORE 4872.128
AT ITER 1216 NEW BEST:: SOT 16147 SOS 11115 HAS SOPS 10875 HAS SOUS 5075 HAS SOUPS 4835 WITH SCORE 4846.115
AT ITER 1217 NEW BEST:: SOT 16127 SOS 11100 HAS SOPS 10855 HAS SOUS 5080 HAS SOUPS 4835 WITH SCORE 4846.1
AT ITER 1223 NEW BEST:: SOT 16119 SOS 11092 HAS SOPS 10847 HAS SOUS 5063 HAS SOUPS 4818 WITH SCORE 4829.092
AT ITER 1233 NEW BEST:: SOT 16081 SOS 11595 HAS SOPS 11356 HAS SOUS 5020 HAS SOUPS 4781 WITH SCORE 4792.595
AT ITER 1234 NEW BEST:: SOT 15980 SOS 11530 HAS SOPS 11291 HAS SOUS 4978 HAS SOUPS 4739 WITH SCORE 4750.53
AT ITER 1265 NEW BEST:: SOT 15977 SOS 11531 HAS SOPS 11296 HAS SOUS 4971 HAS SOUPS 4736 WITH SCORE 4747.531
AT ITER 1282 NEW BEST:: SOT 15959 SOS 11513 HAS SOPS 11278 HAS SOUS 4959 HAS SOUPS 4724 WITH SCORE 4735.513
AT ITER 1331 NEW BEST:: SOT 15949 SOS 11506 HAS SOPS 11274 HAS SOUS 4936 HAS SOUPS 4704 WITH SCORE 4715.506
AT ITER 1341 NEW BEST:: SOT 15940 SOS 11497 HAS SOPS 11265 HAS SOUS 4911 HAS SOUPS 4679 WITH SCORE 4690.497
AT ITER 1364 NEW BEST:: SOT 15937 SOS 11494 HAS SOPS 11262 HAS SOUS 4905 HAS SOUPS 4673 WITH SCORE 4684.494
AT ITER 1386 NEW BEST:: SOT 15941 SOS 11498 HAS SOPS 11266 HAS SOUS 4897 HAS SOUPS 4665 WITH SCORE 4676.498
AT ITER 1389 NEW BEST:: SOT 15945 SOS 11502 HAS SOPS 11270 HAS SOUS 4893 HAS SOUPS 4661 WITH SCORE 4672.502
AT ITER 1391 NEW BEST:: SOT 15971 SOS 11523 HAS SOPS 11291 HAS SOUS 4865 HAS SOUPS 4633 WITH SCORE 4644.523
AT ITER 1397 NEW BEST:: SOT 15971 SOS 11523 HAS SOPS 11291 HAS SOUS 4855 HAS SOUPS 4623 WITH SCORE 4634.523
AT ITER 1400 NEW BEST:: SOT 15970 SOS 11522 HAS SOPS 11290 HAS SOUS 4854 HAS SOUPS 4622 WITH SCORE 4633.522
AT ITER 1416 NEW BEST:: SOT 15966 SOS 11525 HAS SOPS 11293 HAS SOUS 4846 HAS SOUPS 4614 WITH SCORE 4625.525
AT ITER 1418 NEW BEST:: SOT 15971 SOS 11530 HAS SOPS 11300 HAS SOUS 4838 HAS SOUPS 4608 WITH SCORE 4619.53
AT ITER 1436 NEW BEST:: SOT 15972 SOS 11520 HAS SOPS 11290 HAS SOUS 4833 HAS SOUPS 4603 WITH SCORE 4614.52
AT ITER 1441 NEW BEST:: SOT 15959 SOS 11507 HAS SOPS 11277 HAS SOUS 4807 HAS SOUPS 4577 WITH SCORE 4588.507
AT ITER 1448 NEW BEST:: SOT 15963 SOS 11519 HAS SOPS 11289 HAS SOUS 4797 HAS SOUPS 4567 WITH SCORE 4578.519
AT ITER 1460 NEW BEST:: SOT 15963 SOS 11507 HAS SOPS 11277 HAS SOUS 4797 HAS SOUPS 4567 WITH SCORE 4578.507
AT ITER 1464 NEW BEST:: SOT 15966 SOS 11495 HAS SOPS 11250 HAS SOUS 4810 HAS SOUPS 4565 WITH SCORE 4576.495
AT ITER 1484 NEW BEST:: SOT 15902 SOS 11443 HAS SOPS 11186 HAS SOUS 4808 HAS SOUPS 4551 WITH SCORE 4562.443
AT ITER 1496 NEW BEST:: SOT 15896 SOS 11437 HAS SOPS 11180 HAS SOUS 4796 HAS SOUPS 4539 WITH SCORE 4550.437
AT ITER 1528 NEW BEST:: SOT 15890 SOS 11431 HAS SOPS 11174 HAS SOUS 4779 HAS SOUPS 4522 WITH SCORE 4533.431
AT ITER 1535 NEW BEST:: SOT 15890 SOS 11419 HAS SOPS 11162 HAS SOUS 4779 HAS SOUPS 4522 WITH SCORE 4533.419
AT ITER 1545 NEW BEST:: SOT 15890 SOS 11417 HAS SOPS 11160 HAS SOUS 4778 HAS SOUPS 4521 WITH SCORE 4532.417
AT ITER 1566 NEW BEST:: SOT 15871 SOS 11399 HAS SOPS 11142 HAS SOUS 4776 HAS SOUPS 4519 WITH SCORE 4530.399
AT ITER 1567 NEW BEST:: SOT 15863 SOS 11391 HAS SOPS 11134 HAS SOUS 4760 HAS SOUPS 4503 WITH SCORE 4514.391
AT ITER 1581 NEW BEST:: SOT 15858 SOS 11386 HAS SOPS 11129 HAS SOUS 4755 HAS SOUPS 4498 WITH SCORE 4509.386
AT ITER 1589 NEW BEST:: SOT 15898 SOS 11416 HAS SOPS 11169 HAS SOUS 4735 HAS SOUPS 4488 WITH SCORE 4499.416
AT ITER 1609 NEW BEST:: SOT 15863 SOS 11399 HAS SOPS 11152 HAS SOUS 4730 HAS SOUPS 4483 WITH SCORE 4494.399
AT ITER 1620 NEW BEST:: SOT 15848 SOS 11384 HAS SOPS 11137 HAS SOUS 4700 HAS SOUPS 4453 WITH SCORE 4464.384
AT ITER 1627 NEW BEST:: SOT 15845 SOS 11381 HAS SOPS 11134 HAS SOUS 4694 HAS SOUPS 4447 WITH SCORE 4458.381
AT ITER 1675 NEW BEST:: SOT 15855 SOS 11383 HAS SOPS 11136 HAS SOUS 4688 HAS SOUPS 4441 WITH SCORE 4452.383
AT ITER 1706 NEW BEST:: SOT 15848 SOS 11383 HAS SOPS 11136 HAS SOUS 4677 HAS SOUPS 4430 WITH SCORE 4441.383
AT ITER 1735 NEW BEST:: SOT 15847 SOS 11461 HAS SOPS 11214 HAS SOUS 4676 HAS SOUPS 4429 WITH SCORE 4440.461
AT ITER 1740 NEW BEST:: SOT 15822 SOS 11436 HAS SOPS 11189 HAS SOUS 4626 HAS SOUPS 4379 WITH SCORE 4390.436
AT ITER 1745 NEW BEST:: SOT 15820 SOS 11434 HAS SOPS 11187 HAS SOUS 4622 HAS SOUPS 4375 WITH SCORE 4386.434
AT ITER 1753 NEW BEST:: SOT 15806 SOS 11420 HAS SOPS 11173 HAS SOUS 4594 HAS SOUPS 4347 WITH SCORE 4358.42
AT ITER 1765 NEW BEST:: SOT 15810 SOS 11422 HAS SOPS 11175 HAS SOUS 4592 HAS SOUPS 4345 WITH SCORE 4356.422
AT ITER 1794 NEW BEST:: SOT 15803 SOS 11730 HAS SOPS 11483 HAS SOUS 4588 HAS SOUPS 4341 WITH SCORE 4352.73
AT ITER 1796 NEW BEST:: SOT 15801 SOS 11728 HAS SOPS 11481 HAS SOUS 4586 HAS SOUPS 4339 WITH SCORE 4350.728
AT ITER 1818 NEW BEST:: SOT 15801 SOS 11711 HAS SOPS 11464 HAS SOUS 4586 HAS SOUPS 4339 WITH SCORE 4350.711
AT ITER 1828 NEW BEST:: SOT 15798 SOS 11708 HAS SOPS 11461 HAS SOUS 4586 HAS SOUPS 4339 WITH SCORE 4350.708
AT ITER 1842 NEW BEST:: SOT 15792 SOS 11699 HAS SOPS 11449 HAS SOUS 4577 HAS SOUPS 4327 WITH SCORE 4338.699
AT ITER 1862 NEW BEST:: SOT 15784 SOS 11703 HAS SOPS 11453 HAS SOUS 4561 HAS SOUPS 4311 WITH SCORE 4322.703
AT ITER 1882 NEW BEST:: SOT 15791 SOS 11710 HAS SOPS 11460 HAS SOUS 4551 HAS SOUPS 4301 WITH SCORE 4312.71
AT ITER 1886 NEW BEST:: SOT 15777 SOS 11696 HAS SOPS 11446 HAS SOUS 4523 HAS SOUPS 4273 WITH SCORE 4284.696
AT ITER 1960 NEW BEST:: SOT 15810 SOS 11725 HAS SOPS 11475 HAS SOUS 4513 HAS SOUPS 4263 WITH SCORE 4274.725
AT ITER 1964 NEW BEST:: SOT 15792 SOS 11703 HAS SOPS 11453 HAS SOUS 4477 HAS SOUPS 4227 WITH SCORE 4238.703
AT ITER 1976 NEW BEST:: SOT 15791 SOS 11702 HAS SOPS 11452 HAS SOUS 4475 HAS SOUPS 4225 WITH SCORE 4236.702
AT ITER 2023 NEW BEST:: SOT 15791 SOS 11702 HAS SOPS 11452 HAS SOUS 4474 HAS SOUPS 4224 WITH SCORE 4235.702
AT ITER 2029 NEW BEST:: SOT 15790 SOS 11701 HAS SOPS 11451 HAS SOUS 4473 HAS SOUPS 4223 WITH SCORE 4234.701
AT ITER 2047 NEW BEST:: SOT 15767 SOS 12371 HAS SOPS 12121 HAS SOUS 4450 HAS SOUPS 4200 WITH SCORE 4212.371
AT ITER 2048 NEW BEST:: SOT 15755 SOS 12359 HAS SOPS 12109 HAS SOUS 4433 HAS SOUPS 4183 WITH SCORE 4195.359
AT ITER 2056 NEW BEST:: SOT 15745 SOS 12349 HAS SOPS 12099 HAS SOUS 4416 HAS SOUPS 4166 WITH SCORE 4178.349
AT ITER 2061 NEW BEST:: SOT 15734 SOS 12338 HAS SOPS 12088 HAS SOUS 4410 HAS SOUPS 4160 WITH SCORE 4172.338
AT ITER 2067 NEW BEST:: SOT 15730 SOS 12337 HAS SOPS 12087 HAS SOUS 4402 HAS SOUPS 4152 WITH SCORE 4164.337
AT ITER 2080 NEW BEST:: SOT 15728 SOS 12455 HAS SOPS 12205 HAS SOUS 4401 HAS SOUPS 4151 WITH SCORE 4163.455
AT ITER 2112 NEW BEST:: SOT 15759 SOS 12474 HAS SOPS 12224 HAS SOUS 4390 HAS SOUPS 4140 WITH SCORE 4152.474
AT ITER 2133 NEW BEST:: SOT 15751 SOS 12462 HAS SOPS 12208 HAS SOUS 4378 HAS SOUPS 4124 WITH SCORE 4136.462
AT ITER 2136 NEW BEST:: SOT 15743 SOS 12472 HAS SOPS 12218 HAS SOUS 4353 HAS SOUPS 4099 WITH SCORE 4111.472
AT ITER 2141 NEW BEST:: SOT 15727 SOS 12448 HAS SOPS 12186 HAS SOUS 4329 HAS SOUPS 4067 WITH SCORE 4079.448
AT ITER 2150 NEW BEST:: SOT 15724 SOS 12445 HAS SOPS 12183 HAS SOUS 4326 HAS SOUPS 4064 WITH SCORE 4076.445
AT ITER 2179 NEW BEST:: SOT 15722 SOS 13243 HAS SOPS 12981 HAS SOUS 4324 HAS SOUPS 4062 WITH SCORE 4075.243
AT ITER 2199 NEW BEST:: SOT 15702 SOS 13228 HAS SOPS 12961 HAS SOUS 4329 HAS SOUPS 4062 WITH SCORE 4075.228
AT ITER 2208 NEW BEST:: SOT 15675 SOS 13200 HAS SOPS 12932 HAS SOUS 4300 HAS SOUPS 4032 WITH SCORE 4045.2
AT ITER 2238 NEW BEST:: SOT 15664 SOS 13191 HAS SOPS 12923 HAS SOUS 4298 HAS SOUPS 4030 WITH SCORE 4043.191
AT ITER 2243 NEW BEST:: SOT 15682 SOS 13209 HAS SOPS 12941 HAS SOUS 4292 HAS SOUPS 4024 WITH SCORE 4037.209
AT ITER 2290 NEW BEST:: SOT 15682 SOS 13187 HAS SOPS 12919 HAS SOUS 4292 HAS SOUPS 4024 WITH SCORE 4037.187
AT ITER 2300 NEW BEST:: SOT 15672 SOS 13177 HAS SOPS 12909 HAS SOUS 4272 HAS SOUPS 4004 WITH SCORE 4017.177
AT ITER 2309 NEW BEST:: SOT 15676 SOS 13180 HAS SOPS 12913 HAS SOUS 4269 HAS SOUPS 4002 WITH SCORE 4015.18
AT ITER 2323 NEW BEST:: SOT 15654 SOS 13172 HAS SOPS 12905 HAS SOUS 4252 HAS SOUPS 3985 WITH SCORE 3998.172
AT ITER 2326 NEW BEST:: SOT 15654 SOS 13172 HAS SOPS 12905 HAS SOUS 4249 HAS SOUPS 3982 WITH SCORE 3995.172
AT ITER 2351 NEW BEST:: SOT 15652 SOS 13170 HAS SOPS 12903 HAS SOUS 4245 HAS SOUPS 3978 WITH SCORE 3991.17
AT ITER 2352 NEW BEST:: SOT 15649 SOS 13167 HAS SOPS 12900 HAS SOUS 4242 HAS SOUPS 3975 WITH SCORE 3988.167
AT ITER 2386 NEW BEST:: SOT 15661 SOS 11911 HAS SOPS 11644 HAS SOUS 4238 HAS SOUPS 3971 WITH SCORE 3982.911
AT ITER 2392 NEW BEST:: SOT 15685 SOS 11930 HAS SOPS 11659 HAS SOUS 4231 HAS SOUPS 3960 WITH SCORE 3971.93
AT ITER 2404 NEW BEST:: SOT 15640 SOS 11895 HAS SOPS 11624 HAS SOUS 4227 HAS SOUPS 3956 WITH SCORE 3967.895
AT ITER 2431 NEW BEST:: SOT 15636 SOS 11891 HAS SOPS 11620 HAS SOUS 4221 HAS SOUPS 3950 WITH SCORE 3961.891
AT ITER 2440 NEW BEST:: SOT 15647 SOS 11894 HAS SOPS 11623 HAS SOUS 4213 HAS SOUPS 3942 WITH SCORE 3953.894
AT ITER 2460 NEW BEST:: SOT 15647 SOS 11894 HAS SOPS 11623 HAS SOUS 4212 HAS SOUPS 3941 WITH SCORE 3952.894
AT ITER 2510 NEW BEST:: SOT 15624 SOS 11873 HAS SOPS 11602 HAS SOUS 4193 HAS SOUPS 3922 WITH SCORE 3933.873
AT ITER 2520 NEW BEST:: SOT 15622 SOS 11871 HAS SOPS 11600 HAS SOUS 4189 HAS SOUPS 3918 WITH SCORE 3929.871
AT ITER 2579 NEW BEST:: SOT 15599 SOS 12981 HAS SOPS 12710 HAS SOUS 4171 HAS SOUPS 3900 WITH SCORE 3912.981
AT ITER 2588 NEW BEST:: SOT 15578 SOS 12964 HAS SOPS 12693 HAS SOUS 4160 HAS SOUPS 3889 WITH SCORE 3901.964
AT ITER 2596 NEW BEST:: SOT 15565 SOS 12951 HAS SOPS 12680 HAS SOUS 4154 HAS SOUPS 3883 WITH SCORE 3895.951
AT ITER 2614 NEW BEST:: SOT 15540 SOS 12926 HAS SOPS 12655 HAS SOUS 4137 HAS SOUPS 3866 WITH SCORE 3878.926
AT ITER 2644 NEW BEST:: SOT 15528 SOS 12914 HAS SOPS 12643 HAS SOUS 4121 HAS SOUPS 3850 WITH SCORE 3862.914
AT ITER 2658 NEW BEST:: SOT 15522 SOS 12908 HAS SOPS 12637 HAS SOUS 4109 HAS SOUPS 3838 WITH SCORE 3850.908
AT ITER 2661 NEW BEST:: SOT 15508 SOS 12899 HAS SOPS 12623 HAS SOUS 4113 HAS SOUPS 3837 WITH SCORE 3849.899
AT ITER 2670 NEW BEST:: SOT 15503 SOS 12894 HAS SOPS 12618 HAS SOUS 4103 HAS SOUPS 3827 WITH SCORE 3839.894
AT ITER 2689 NEW BEST:: SOT 15463 SOS 12861 HAS SOPS 12578 HAS SOUS 4100 HAS SOUPS 3817 WITH SCORE 3829.861
AT ITER 2705 NEW BEST:: SOT 15459 SOS 12857 HAS SOPS 12574 HAS SOUS 4092 HAS SOUPS 3809 WITH SCORE 3821.857
AT ITER 2710 NEW BEST:: SOT 15461 SOS 12858 HAS SOPS 12576 HAS SOUS 4085 HAS SOUPS 3803 WITH SCORE 3815.858
AT ITER 2760 NEW BEST:: SOT 15451 SOS 12848 HAS SOPS 12566 HAS SOUS 4065 HAS SOUPS 3783 WITH SCORE 3795.848
AT ITER 2781 NEW BEST:: SOT 15445 SOS 12842 HAS SOPS 12560 HAS SOUS 4053 HAS SOUPS 3771 WITH SCORE 3783.842
AT ITER 2807 NEW BEST:: SOT 15445 SOS 12840 HAS SOPS 12558 HAS SOUS 4050 HAS SOUPS 3768 WITH SCORE 3780.84
AT ITER 2871 NEW BEST:: SOT 15442 SOS 12837 HAS SOPS 12555 HAS SOUS 4041 HAS SOUPS 3759 WITH SCORE 3771.837
AT ITER 2891 NEW BEST:: SOT 15442 SOS 12837 HAS SOPS 12555 HAS SOUS 4033 HAS SOUPS 3751 WITH SCORE 3763.837
AT ITER 2938 NEW BEST:: SOT 15446 SOS 12840 HAS SOPS 12559 HAS SOUS 4030 HAS SOUPS 3749 WITH SCORE 3761.84
AT ITER 2959 NEW BEST:: SOT 15441 SOS 12835 HAS SOPS 12554 HAS SOUS 4030 HAS SOUPS 3749 WITH SCORE 3761.835
AT ITER 2968 NEW BEST:: SOT 15440 SOS 12831 HAS SOPS 12553 HAS SOUS 4010 HAS SOUPS 3732 WITH SCORE 3744.831
AT ITER 2977 NEW BEST:: SOT 15410 SOS 12807 HAS SOPS 12523 HAS SOUS 4016 HAS SOUPS 3732 WITH SCORE 3744.807
AT ITER 3001 NEW BEST:: SOT 15444 SOS 12834 HAS SOPS 12557 HAS SOUS 4007 HAS SOUPS 3730 WITH SCORE 3742.834
AT ITER 3007 NEW BEST:: SOT 15440 SOS 12830 HAS SOPS 12553 HAS SOUS 4003 HAS SOUPS 3726 WITH SCORE 3738.83
AT ITER 3045 NEW BEST:: SOT 15434 SOS 12825 HAS SOPS 12547 HAS SOUS 4002 HAS SOUPS 3724 WITH SCORE 3736.825
AT ITER 3052 NEW BEST:: SOT 15424 SOS 12815 HAS SOPS 12537 HAS SOUS 3982 HAS SOUPS 3704 WITH SCORE 3716.815
AT ITER 3127 NEW BEST:: SOT 15402 SOS 12793 HAS SOPS 12515 HAS SOUS 3955 HAS SOUPS 3677 WITH SCORE 3689.793
AT ITER 3185 NEW BEST:: SOT 15396 SOS 12787 HAS SOPS 12509 HAS SOUS 3943 HAS SOUPS 3665 WITH SCORE 3677.787
AT ITER 3206 NEW BEST:: SOT 15395 SOS 12786 HAS SOPS 12508 HAS SOUS 3941 HAS SOUPS 3663 WITH SCORE 3675.786
AT ITER 3208 NEW BEST:: SOT 15387 SOS 12778 HAS SOPS 12500 HAS SOUS 3925 HAS SOUPS 3647 WITH SCORE 3659.778
AT ITER 3240 NEW BEST:: SOT 15379 SOS 12772 HAS SOPS 12492 HAS SOUS 3927 HAS SOUPS 3647 WITH SCORE 3659.772
AT ITER 3263 NEW BEST:: SOT 15373 SOS 12766 HAS SOPS 12486 HAS SOUS 3923 HAS SOUPS 3643 WITH SCORE 3655.766
AT ITER 3321 NEW BEST:: SOT 15361 SOS 12754 HAS SOPS 12474 HAS SOUS 3911 HAS SOUPS 3631 WITH SCORE 3643.754
AT ITER 3342 NEW BEST:: SOT 15361 SOS 12621 HAS SOPS 12341 HAS SOUS 3911 HAS SOUPS 3631 WITH SCORE 3643.621
AT ITER 3369 NEW BEST:: SOT 15357 SOS 12616 HAS SOPS 12336 HAS SOUS 3903 HAS SOUPS 3623 WITH SCORE 3635.616
AT ITER 3419 NEW BEST:: SOT 15356 SOS 12615 HAS SOPS 12335 HAS SOUS 3901 HAS SOUPS 3621 WITH SCORE 3633.615
AT ITER 3424 NEW BEST:: SOT 15354 SOS 12613 HAS SOPS 12333 HAS SOUS 3897 HAS SOUPS 3617 WITH SCORE 3629.613
AT ITER 3458 NEW BEST:: SOT 15348 SOS 12607 HAS SOPS 12327 HAS SOUS 3887 HAS SOUPS 3607 WITH SCORE 3619.607
AT ITER 3472 NEW BEST:: SOT 15348 SOS 12607 HAS SOPS 12327 HAS SOUS 3883 HAS SOUPS 3603 WITH SCORE 3615.607
AT ITER 3529 NEW BEST:: SOT 15327 SOS 12592 HAS SOPS 12306 HAS SOUS 3889 HAS SOUPS 3603 WITH SCORE 3615.592
AT ITER 3600 NEW BEST:: SOT 15326 SOS 12590 HAS SOPS 12304 HAS SOUS 3887 HAS SOUPS 3601 WITH SCORE 3613.59
AT ITER 3810 NEW BEST:: SOT 15322 SOS 12586 HAS SOPS 12300 HAS SOUS 3879 HAS SOUPS 3593 WITH SCORE 3605.586
AT ITER 3863 NEW BEST:: SOT 15320 SOS 12584 HAS SOPS 12298 HAS SOUS 3875 HAS SOUPS 3589 WITH SCORE 3601.584
AT ITER 3915 NEW BEST:: SOT 15316 SOS 12580 HAS SOPS 12294 HAS SOUS 3871 HAS SOUPS 3585 WITH SCORE 3597.58
AT ITER 3959 NEW BEST:: SOT 15375 SOS 12626 HAS SOPS 12331 HAS SOUS 3877 HAS SOUPS 3582 WITH SCORE 3594.626
AT ITER 3972 NEW BEST:: SOT 15374 SOS 12625 HAS SOPS 12330 HAS SOUS 3876 HAS SOUPS 3581 WITH SCORE 3593.625
AT ITER 4055 NEW BEST:: SOT 15370 SOS 12621 HAS SOPS 12326 HAS SOUS 3868 HAS SOUPS 3573 WITH SCORE 3585.621
AT ITER 4084 NEW BEST:: SOT 15364 SOS 12615 HAS SOPS 12320 HAS SOUS 3860 HAS SOUPS 3565 WITH SCORE 3577.615
AT ITER 4141 NEW BEST:: SOT 15355 SOS 12601 HAS SOPS 12301 HAS SOUS 3846 HAS SOUPS 3546 WITH SCORE 3558.601
AT ITER 4149 NEW BEST:: SOT 15358 SOS 12604 HAS SOPS 12304 HAS SOUS 3842 HAS SOUPS 3542 WITH SCORE 3554.604
AT ITER 4217 NEW BEST:: SOT 15352 SOS 12599 HAS SOPS 12298 HAS SOUS 3841 HAS SOUPS 3540 WITH SCORE 3552.599
AT ITER 4259 NEW BEST:: SOT 15346 SOS 12593 HAS SOPS 12292 HAS SOUS 3829 HAS SOUPS 3528 WITH SCORE 3540.593
AT ITER 4284 NEW BEST:: SOT 15342 SOS 12589 HAS SOPS 12288 HAS SOUS 3821 HAS SOUPS 3520 WITH SCORE 3532.589
AT ITER 4354 NEW BEST:: SOT 15340 SOS 12587 HAS SOPS 12286 HAS SOUS 3819 HAS SOUPS 3518 WITH SCORE 3530.587
AT ITER 4373 NEW BEST:: SOT 15337 SOS 12584 HAS SOPS 12283 HAS SOUS 3817 HAS SOUPS 3516 WITH SCORE 3528.584
AT ITER 4480 NEW BEST:: SOT 15350 SOS 12595 HAS SOPS 12292 HAS SOUS 3815 HAS SOUPS 3512 WITH SCORE 3524.595
AT ITER 4491 NEW BEST:: SOT 15340 SOS 12586 HAS SOPS 12284 HAS SOUS 3814 HAS SOUPS 3512 WITH SCORE 3524.586
AT ITER 4566 NEW BEST:: SOT 15327 SOS 12573 HAS SOPS 12271 HAS SOUS 3784 HAS SOUPS 3482 WITH SCORE 3494.573
AT ITER 4597 NEW BEST:: SOT 15343 SOS 12582 HAS SOPS 12280 HAS SOUS 3775 HAS SOUPS 3473 WITH SCORE 3485.582
AT ITER 4627 NEW BEST:: SOT 15331 SOS 12572 HAS SOPS 12268 HAS SOUS 3773 HAS SOUPS 3469 WITH SCORE 3481.572
AT ITER 4655 NEW BEST:: SOT 15325 SOS 12566 HAS SOPS 12262 HAS SOUS 3761 HAS SOUPS 3457 WITH SCORE 3469.566
AT ITER 4764 NEW BEST:: SOT 15321 SOS 12562 HAS SOPS 12258 HAS SOUS 3757 HAS SOUPS 3453 WITH SCORE 3465.562
AT ITER 4832 NEW BEST:: SOT 15321 SOS 12562 HAS SOPS 12258 HAS SOUS 3755 HAS SOUPS 3451 WITH SCORE 3463.562
AT ITER 4928 NEW BEST:: SOT 15305 SOS 12546 HAS SOPS 12242 HAS SOUS 3739 HAS SOUPS 3435 WITH SCORE 3447.546
AT ITER 5144 NEW BEST:: SOT 15307 SOS 12066 HAS SOPS 11762 HAS SOUS 3739 HAS SOUPS 3435 WITH SCORE 3447.066
AT ITER 5156 NEW BEST:: SOT 15306 SOS 12065 HAS SOPS 11761 HAS SOUS 3737 HAS SOUPS 3433 WITH SCORE 3445.065
AT ITER 5170 NEW BEST:: SOT 15302 SOS 12061 HAS SOPS 11757 HAS SOUS 3729 HAS SOUPS 3425 WITH SCORE 3437.061
AT ITER 5250 NEW BEST:: SOT 15302 SOS 12061 HAS SOPS 11757 HAS SOUS 3725 HAS SOUPS 3421 WITH SCORE 3433.061
AT ITER 5296 NEW BEST:: SOT 15297 SOS 12057 HAS SOPS 11754 HAS SOUS 3724 HAS SOUPS 3421 WITH SCORE 3433.057
AT ITER 5375 NEW BEST:: SOT 15298 SOS 12045 HAS SOPS 11742 HAS SOUS 3722 HAS SOUPS 3419 WITH SCORE 3431.045
AT ITER 5445 NEW BEST:: SOT 15334 SOS 12077 HAS SOPS 11774 HAS SOUS 3721 HAS SOUPS 3418 WITH SCORE 3430.077
AT ITER 5452 NEW BEST:: SOT 15334 SOS 12077 HAS SOPS 11774 HAS SOUS 3719 HAS SOUPS 3416 WITH SCORE 3428.077
AT ITER 5466 NEW BEST:: SOT 15321 SOS 12073 HAS SOPS 11770 HAS SOUS 3715 HAS SOUPS 3412 WITH SCORE 3424.073
AT ITER 5825 NEW BEST:: SOT 15315 SOS 12067 HAS SOPS 11764 HAS SOUS 3711 HAS SOUPS 3408 WITH SCORE 3420.067
AT ITER 5849 NEW BEST:: SOT 15322 SOS 12074 HAS SOPS 11771 HAS SOUS 3709 HAS SOUPS 3406 WITH SCORE 3418.074
AT ITER 5916 NEW BEST:: SOT 15322 SOS 12074 HAS SOPS 11771 HAS SOUS 3707 HAS SOUPS 3404 WITH SCORE 3416.074
AT ITER 5937 NEW BEST:: SOT 15322 SOS 12065 HAS SOPS 11762 HAS SOUS 3707 HAS SOUPS 3404 WITH SCORE 3416.065
AT ITER 5949 NEW BEST:: SOT 15322 SOS 12065 HAS SOPS 11762 HAS SOUS 3705 HAS SOUPS 3402 WITH SCORE 3414.065
AT ITER 6146 NEW BEST:: SOT 15324 SOS 12066 HAS SOPS 11764 HAS SOUS 3698 HAS SOUPS 3396 WITH SCORE 3408.066
AT ITER 6255 NEW BEST:: SOT 15327 SOS 12068 HAS SOPS 11766 HAS SOUS 3694 HAS SOUPS 3392 WITH SCORE 3404.068
AT ITER 6313 NEW BEST:: SOT 15324 SOS 12065 HAS SOPS 11763 HAS SOUS 3688 HAS SOUPS 3386 WITH SCORE 3398.065
AT ITER 6360 NEW BEST:: SOT 15322 SOS 12064 HAS SOPS 11763 HAS SOUS 3687 HAS SOUPS 3386 WITH SCORE 3398.064
AT ITER 6387 NEW BEST:: SOT 15318 SOS 12060 HAS SOPS 11759 HAS SOUS 3687 HAS SOUPS 3386 WITH SCORE 3398.06
AT ITER 6409 NEW BEST:: SOT 15315 SOS 12057 HAS SOPS 11756 HAS SOUS 3681 HAS SOUPS 3380 WITH SCORE 3392.057
AT ITER 6415 NEW BEST:: SOT 15314 SOS 12056 HAS SOPS 11755 HAS SOUS 3679 HAS SOUPS 3378 WITH SCORE 3390.056
AT ITER 6536 NEW BEST:: SOT 15310 SOS 12052 HAS SOPS 11751 HAS SOUS 3671 HAS SOUPS 3370 WITH SCORE 3382.052
AT ITER 6585 NEW BEST:: SOT 15306 SOS 12048 HAS SOPS 11747 HAS SOUS 3663 HAS SOUPS 3362 WITH SCORE 3374.048
AT ITER 6623 NEW BEST:: SOT 15300 SOS 12042 HAS SOPS 11741 HAS SOUS 3663 HAS SOUPS 3362 WITH SCORE 3374.042
AT ITER 7053 NEW BEST:: SOT 15298 SOS 12048 HAS SOPS 11747 HAS SOUS 3659 HAS SOUPS 3358 WITH SCORE 3370.048
AT ITER 7197 NEW BEST:: SOT 15295 SOS 12683 HAS SOPS 12382 HAS SOUS 3656 HAS SOUPS 3355 WITH SCORE 3367.683
AT ITER 7218 NEW BEST:: SOT 15295 SOS 12310 HAS SOPS 12009 HAS SOUS 3656 HAS SOUPS 3355 WITH SCORE 3367.31
AT ITER 7613 NEW BEST:: SOT 15291 SOS 12306 HAS SOPS 12005 HAS SOUS 3646 HAS SOUPS 3345 WITH SCORE 3357.306
AT ITER 7833 NEW BEST:: SOT 15287 SOS 12303 HAS SOPS 12001 HAS SOUS 3647 HAS SOUPS 3345 WITH SCORE 3357.303
AT ITER 7834 NEW BEST:: SOT 15287 SOS 12303 HAS SOPS 12001 HAS SOUS 3639 HAS SOUPS 3337 WITH SCORE 3349.303
AT ITER 7941 NEW BEST:: SOT 15285 SOS 12301 HAS SOPS 11999 HAS SOUS 3635 HAS SOUPS 3333 WITH SCORE 3345.301
AT ITER 8195 NEW BEST:: SOT 15285 SOS 12301 HAS SOPS 11999 HAS SOUS 3625 HAS SOUPS 3323 WITH SCORE 3335.301
AT ITER 8243 NEW BEST:: SOT 15284 SOS 12301 HAS SOPS 12000 HAS SOUS 3623 HAS SOUPS 3322 WITH SCORE 3334.301
AT ITER 8257 NEW BEST:: SOT 15274 SOS 12291 HAS SOPS 11990 HAS SOUS 3623 HAS SOUPS 3322 WITH SCORE 3334.291
AT ITER 8441 NEW BEST:: SOT 15274 SOS 12291 HAS SOPS 11990 HAS SOUS 3619 HAS SOUPS 3318 WITH SCORE 3330.291
AT ITER 8473 NEW BEST:: SOT 15259 SOS 12276 HAS SOPS 11975 HAS SOUS 3613 HAS SOUPS 3312 WITH SCORE 3324.276
AT ITER 8557 NEW BEST:: SOT 15258 SOS 12293 HAS SOPS 11992 HAS SOUS 3612 HAS SOUPS 3311 WITH SCORE 3323.293
AT ITER 8630 NEW BEST:: SOT 15250 SOS 12285 HAS SOPS 11984 HAS SOUS 3612 HAS SOUPS 3311 WITH SCORE 3323.285
AT ITER 8904 NEW BEST:: SOT 15248 SOS 12283 HAS SOPS 11982 HAS SOUS 3608 HAS SOUPS 3307 WITH SCORE 3319.283
AT ITER 9055 NEW BEST:: SOT 15249 SOS 12282 HAS SOPS 11981 HAS SOUS 3606 HAS SOUPS 3305 WITH SCORE 3317.282
AT ITER 9437 NEW BEST:: SOT 15247 SOS 12280 HAS SOPS 11979 HAS SOUS 3602 HAS SOUPS 3301 WITH SCORE 3313.28
AT ITER 9490 NEW BEST:: SOT 15238 SOS 12271 HAS SOPS 11970 HAS SOUS 3596 HAS SOUPS 3295 WITH SCORE 3307.271
AT ITER 9697 NEW BEST:: SOT 15237 SOS 12277 HAS SOPS 11976 HAS SOUS 3594 HAS SOUPS 3293 WITH SCORE 3305.277
AT ITER 9738 NEW BEST:: SOT 15241 SOS 12280 HAS SOPS 11980 HAS SOUS 3591 HAS SOUPS 3291 WITH SCORE 3303.28
AT ITER 9790 NEW BEST:: SOT 15239 SOS 12278 HAS SOPS 11978 HAS SOUS 3587 HAS SOUPS 3287 WITH SCORE 3299.278
AT ITER 9817 NEW BEST:: SOT 15238 SOS 12279 HAS SOPS 11979 HAS SOUS 3582 HAS SOUPS 3282 WITH SCORE 3294.279
AT ITER 9848 NEW BEST:: SOT 15236 SOS 12277 HAS SOPS 11977 HAS SOUS 3578 HAS SOUPS 3278 WITH SCORE 3290.277
AT ITER 9980 NEW BEST:: SOT 15235 SOS 12164 HAS SOPS 11864 HAS SOUS 3578 HAS SOUPS 3278 WITH SCORE 3290.164
AT ITER 9985 NEW BEST:: SOT 15234 SOS 12155 HAS SOPS 11855 HAS SOUS 3577 HAS SOUPS 3277 WITH SCORE 3289.155
STATE_SPACE STATES 1830519 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 21 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 19486170 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589744773934

--------------------
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="SharedMemory-PT-000010"
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 SharedMemory-PT-000010, 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 r153-oct2-158972910400560"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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