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.r093-oct2-158940140100136.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 HospitalTriage-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r093-oct2-158940140100136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 3.7K Apr 4 20:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 4 20:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 4 10:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 4 10:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Apr 8 14:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 3 21:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 3 21:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 3 14:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 3 14:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 78K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589610225459

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

Filename model.pnml
Petri model created: 245 places, 228 transitions, 680 arcs.
AT ITER 0 NEW BEST:: SOT 37187 SOS 16015 HAS SOPS 16015 HAS SOUS 12195 HAS SOUPS 12195 WITH SCORE 12211.015
AT ITER 8 NEW BEST:: SOT 37169 SOS 15997 HAS SOPS 15997 HAS SOUS 12168 HAS SOUPS 12168 WITH SCORE 12183.997
AT ITER 14 NEW BEST:: SOT 37172 SOS 16000 HAS SOPS 16000 HAS SOUS 12163 HAS SOUPS 12163 WITH SCORE 12179.0
AT ITER 25 NEW BEST:: SOT 37168 SOS 15996 HAS SOPS 15996 HAS SOUS 12151 HAS SOUPS 12151 WITH SCORE 12166.996
AT ITER 26 NEW BEST:: SOT 37168 SOS 15984 HAS SOPS 15984 HAS SOUS 12139 HAS SOUPS 12139 WITH SCORE 12154.984
AT ITER 27 NEW BEST:: SOT 37162 SOS 15978 HAS SOPS 15978 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12136.978
AT ITER 37 NEW BEST:: SOT 37156 SOS 15960 HAS SOPS 15960 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12118.96
AT ITER 39 NEW BEST:: SOT 37156 SOS 15662 HAS SOPS 15662 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12118.662
AT ITER 40 NEW BEST:: SOT 37156 SOS 15648 HAS SOPS 15648 HAS SOUS 12103 HAS SOUPS 12103 WITH SCORE 12118.648
AT ITER 48 NEW BEST:: SOT 37155 SOS 15647 HAS SOPS 15647 HAS SOUS 12102 HAS SOUPS 12102 WITH SCORE 12117.647
AT ITER 57 NEW BEST:: SOT 37153 SOS 15643 HAS SOPS 15643 HAS SOUS 12098 HAS SOUPS 12098 WITH SCORE 12113.643
AT ITER 62 NEW BEST:: SOT 37153 SOS 15643 HAS SOPS 15643 HAS SOUS 12064 HAS SOUPS 12064 WITH SCORE 12079.643
AT ITER 74 NEW BEST:: SOT 37133 SOS 15623 HAS SOPS 15623 HAS SOUS 12044 HAS SOUPS 12044 WITH SCORE 12059.623
AT ITER 86 NEW BEST:: SOT 37182 SOS 15683 HAS SOPS 15683 HAS SOUS 12043 HAS SOUPS 12043 WITH SCORE 12058.683
AT ITER 92 NEW BEST:: SOT 37177 SOS 15673 HAS SOPS 15673 HAS SOUS 12028 HAS SOUPS 12028 WITH SCORE 12043.673
AT ITER 106 NEW BEST:: SOT 37167 SOS 15663 HAS SOPS 15663 HAS SOUS 12018 HAS SOUPS 12018 WITH SCORE 12033.663
AT ITER 110 NEW BEST:: SOT 37159 SOS 15647 HAS SOPS 15647 HAS SOUS 12002 HAS SOUPS 12002 WITH SCORE 12017.647
AT ITER 111 NEW BEST:: SOT 35002 SOS 18104 HAS SOPS 18104 HAS SOUS 10714 HAS SOUPS 10714 WITH SCORE 10732.104
AT ITER 120 NEW BEST:: SOT 35008 SOS 18035 HAS SOPS 18035 HAS SOUS 10696 HAS SOUPS 10696 WITH SCORE 10714.035
AT ITER 129 NEW BEST:: SOT 35008 SOS 18014 HAS SOPS 18014 HAS SOUS 10675 HAS SOUPS 10675 WITH SCORE 10693.014
AT ITER 134 NEW BEST:: SOT 34968 SOS 17974 HAS SOPS 17974 HAS SOUS 10634 HAS SOUPS 10634 WITH SCORE 10651.974
AT ITER 142 NEW BEST:: SOT 34940 SOS 17932 HAS SOPS 17932 HAS SOUS 10604 HAS SOUPS 10604 WITH SCORE 10621.932
AT ITER 143 NEW BEST:: SOT 34945 SOS 17885 HAS SOPS 17885 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10620.885
AT ITER 155 NEW BEST:: SOT 34907 SOS 17847 HAS SOPS 17847 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10582.847
AT ITER 156 NEW BEST:: SOT 34894 SOS 17834 HAS SOPS 17834 HAS SOUS 10546 HAS SOUPS 10546 WITH SCORE 10563.834
AT ITER 175 NEW BEST:: SOT 34841 SOS 17858 HAS SOPS 17858 HAS SOUS 10502 HAS SOUPS 10502 WITH SCORE 10519.858
AT ITER 188 NEW BEST:: SOT 34841 SOS 17844 HAS SOPS 17844 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10505.844
AT ITER 189 NEW BEST:: SOT 34821 SOS 17740 HAS SOPS 17740 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10458.74
AT ITER 194 NEW BEST:: SOT 34808 SOS 17727 HAS SOPS 17727 HAS SOUS 10391 HAS SOUPS 10391 WITH SCORE 10408.727
AT ITER 195 NEW BEST:: SOT 34756 SOS 17675 HAS SOPS 17675 HAS SOUS 10273 HAS SOUPS 10273 WITH SCORE 10290.675
AT ITER 196 NEW BEST:: SOT 34750 SOS 17669 HAS SOPS 17669 HAS SOUS 10261 HAS SOUPS 10261 WITH SCORE 10278.669
AT ITER 198 NEW BEST:: SOT 34750 SOS 17657 HAS SOPS 17657 HAS SOUS 10249 HAS SOUPS 10249 WITH SCORE 10266.657
AT ITER 200 NEW BEST:: SOT 34756 SOS 17599 HAS SOPS 17599 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10237.599
AT ITER 201 NEW BEST:: SOT 34756 SOS 17599 HAS SOPS 17599 HAS SOUS 10213 HAS SOUPS 10213 WITH SCORE 10230.599
AT ITER 203 NEW BEST:: SOT 34751 SOS 17570 HAS SOPS 17570 HAS SOUS 10152 HAS SOUPS 10152 WITH SCORE 10169.57
AT ITER 211 NEW BEST:: SOT 34721 SOS 17540 HAS SOPS 17540 HAS SOUS 10122 HAS SOUPS 10122 WITH SCORE 10139.54
AT ITER 217 NEW BEST:: SOT 34701 SOS 17520 HAS SOPS 17520 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10109.52
AT ITER 222 NEW BEST:: SOT 34685 SOS 17504 HAS SOPS 17504 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10093.504
AT ITER 226 NEW BEST:: SOT 34656 SOS 17475 HAS SOPS 17475 HAS SOUS 10018 HAS SOUPS 10018 WITH SCORE 10035.475
AT ITER 235 NEW BEST:: SOT 34647 SOS 17466 HAS SOPS 17466 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10017.466
AT ITER 240 NEW BEST:: SOT 34645 SOS 17464 HAS SOPS 17464 HAS SOUS 9998 HAS SOUPS 9998 WITH SCORE 10015.464
AT ITER 253 NEW BEST:: SOT 34635 SOS 16784 HAS SOPS 16784 HAS SOUS 9978 HAS SOUPS 9978 WITH SCORE 9994.784
AT ITER 261 NEW BEST:: SOT 34635 SOS 16764 HAS SOPS 16764 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9974.764
AT ITER 264 NEW BEST:: SOT 34635 SOS 16763 HAS SOPS 16763 HAS SOUS 9958 HAS SOUPS 9958 WITH SCORE 9974.763
AT ITER 276 NEW BEST:: SOT 34632 SOS 16636 HAS SOPS 16636 HAS SOUS 9892 HAS SOUPS 9892 WITH SCORE 9908.636
AT ITER 279 NEW BEST:: SOT 34596 SOS 14378 HAS SOPS 14378 HAS SOUS 9803 HAS SOUPS 9803 WITH SCORE 9817.378
AT ITER 297 NEW BEST:: SOT 34591 SOS 14389 HAS SOPS 14389 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9807.389
AT ITER 307 NEW BEST:: SOT 34522 SOS 14320 HAS SOPS 14320 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9657.32
AT ITER 312 NEW BEST:: SOT 34487 SOS 14226 HAS SOPS 14226 HAS SOUS 9591 HAS SOUPS 9591 WITH SCORE 9605.226
AT ITER 314 NEW BEST:: SOT 34474 SOS 14213 HAS SOPS 14213 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9595.213
AT ITER 337 NEW BEST:: SOT 34480 SOS 14169 HAS SOPS 14169 HAS SOUS 9563 HAS SOUPS 9563 WITH SCORE 9577.169
AT ITER 377 NEW BEST:: SOT 34472 SOS 14160 HAS SOPS 14160 HAS SOUS 9554 HAS SOUPS 9554 WITH SCORE 9568.16
AT ITER 381 NEW BEST:: SOT 34472 SOS 14160 HAS SOPS 14160 HAS SOUS 9542 HAS SOUPS 9542 WITH SCORE 9556.16
AT ITER 386 NEW BEST:: SOT 34466 SOS 14154 HAS SOPS 14154 HAS SOUS 9537 HAS SOUPS 9537 WITH SCORE 9551.154
AT ITER 399 NEW BEST:: SOT 34442 SOS 14078 HAS SOPS 14078 HAS SOUS 9493 HAS SOUPS 9493 WITH SCORE 9507.078
AT ITER 408 NEW BEST:: SOT 34424 SOS 14060 HAS SOPS 14060 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9489.06
AT ITER 411 NEW BEST:: SOT 34408 SOS 14044 HAS SOPS 14044 HAS SOUS 9427 HAS SOUPS 9427 WITH SCORE 9441.044
AT ITER 415 NEW BEST:: SOT 34417 SOS 13998 HAS SOPS 13998 HAS SOUS 9399 HAS SOUPS 9399 WITH SCORE 9412.998
AT ITER 418 NEW BEST:: SOT 34424 SOS 13989 HAS SOPS 13989 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9392.989
AT ITER 425 NEW BEST:: SOT 34384 SOS 13904 HAS SOPS 13904 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9345.904
AT ITER 430 NEW BEST:: SOT 34370 SOS 13903 HAS SOPS 13903 HAS SOUS 9327 HAS SOUPS 9327 WITH SCORE 9340.903
AT ITER 439 NEW BEST:: SOT 34372 SOS 13905 HAS SOPS 13905 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9311.905
AT ITER 445 NEW BEST:: SOT 34366 SOS 13899 HAS SOPS 13899 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9305.899
AT ITER 446 NEW BEST:: SOT 34363 SOS 13890 HAS SOPS 13890 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9299.89
AT ITER 458 NEW BEST:: SOT 34353 SOS 13880 HAS SOPS 13880 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9291.88
AT ITER 473 NEW BEST:: SOT 34361 SOS 13888 HAS SOPS 13888 HAS SOUS 9275 HAS SOUPS 9275 WITH SCORE 9288.888
AT ITER 480 NEW BEST:: SOT 34361 SOS 13888 HAS SOPS 13888 HAS SOUS 9271 HAS SOUPS 9271 WITH SCORE 9284.888
AT ITER 481 NEW BEST:: SOT 34361 SOS 13888 HAS SOPS 13888 HAS SOUS 9236 HAS SOUPS 9236 WITH SCORE 9249.888
AT ITER 484 NEW BEST:: SOT 34343 SOS 13857 HAS SOPS 13857 HAS SOUS 9220 HAS SOUPS 9220 WITH SCORE 9233.857
AT ITER 497 NEW BEST:: SOT 34329 SOS 13843 HAS SOPS 13843 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9209.843
AT ITER 537 NEW BEST:: SOT 34311 SOS 13805 HAS SOPS 13805 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9173.805
AT ITER 538 NEW BEST:: SOT 34309 SOS 13801 HAS SOPS 13801 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9169.801
AT ITER 553 NEW BEST:: SOT 34309 SOS 13795 HAS SOPS 13795 HAS SOUS 9148 HAS SOUPS 9148 WITH SCORE 9161.795
AT ITER 565 NEW BEST:: SOT 34315 SOS 13766 HAS SOPS 13766 HAS SOUS 9145 HAS SOUPS 9145 WITH SCORE 9158.766
AT ITER 582 NEW BEST:: SOT 34314 SOS 13764 HAS SOPS 13764 HAS SOUS 9144 HAS SOUPS 9144 WITH SCORE 9157.764
AT ITER 593 NEW BEST:: SOT 34310 SOS 13760 HAS SOPS 13760 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9149.76
AT ITER 653 NEW BEST:: SOT 34288 SOS 13738 HAS SOPS 13738 HAS SOUS 9112 HAS SOUPS 9112 WITH SCORE 9125.738
AT ITER 668 NEW BEST:: SOT 34288 SOS 13738 HAS SOPS 13738 HAS SOUS 9103 HAS SOUPS 9103 WITH SCORE 9116.738
AT ITER 669 NEW BEST:: SOT 34268 SOS 13718 HAS SOPS 13718 HAS SOUS 9063 HAS SOUPS 9063 WITH SCORE 9076.718
AT ITER 672 NEW BEST:: SOT 34265 SOS 13715 HAS SOPS 13715 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9075.715
AT ITER 676 NEW BEST:: SOT 34264 SOS 13714 HAS SOPS 13714 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9073.714
AT ITER 689 NEW BEST:: SOT 34252 SOS 13694 HAS SOPS 13694 HAS SOUS 9040 HAS SOUPS 9040 WITH SCORE 9053.694
AT ITER 690 NEW BEST:: SOT 34253 SOS 13643 HAS SOPS 13643 HAS SOUS 9036 HAS SOUPS 9036 WITH SCORE 9049.643
AT ITER 698 NEW BEST:: SOT 34249 SOS 13639 HAS SOPS 13639 HAS SOUS 9028 HAS SOUPS 9028 WITH SCORE 9041.639
AT ITER 771 NEW BEST:: SOT 34228 SOS 13597 HAS SOPS 13597 HAS SOUS 9007 HAS SOUPS 9007 WITH SCORE 9020.597
AT ITER 792 NEW BEST:: SOT 34222 SOS 13591 HAS SOPS 13591 HAS SOUS 8999 HAS SOUPS 8999 WITH SCORE 9012.591
AT ITER 797 NEW BEST:: SOT 34201 SOS 13496 HAS SOPS 13496 HAS SOUS 8957 HAS SOUPS 8957 WITH SCORE 8970.496
AT ITER 802 NEW BEST:: SOT 34173 SOS 13468 HAS SOPS 13468 HAS SOUS 8931 HAS SOUPS 8931 WITH SCORE 8944.468
AT ITER 804 NEW BEST:: SOT 34166 SOS 13457 HAS SOPS 13457 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8937.457
AT ITER 811 NEW BEST:: SOT 34166 SOS 13456 HAS SOPS 13456 HAS SOUS 8924 HAS SOUPS 8924 WITH SCORE 8937.456
AT ITER 816 NEW BEST:: SOT 34166 SOS 13456 HAS SOPS 13456 HAS SOUS 8923 HAS SOUPS 8923 WITH SCORE 8936.456
AT ITER 819 NEW BEST:: SOT 34155 SOS 13434 HAS SOPS 13434 HAS SOUS 8901 HAS SOUPS 8901 WITH SCORE 8914.434
AT ITER 857 NEW BEST:: SOT 34155 SOS 13412 HAS SOPS 13412 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8903.412
AT ITER 858 NEW BEST:: SOT 34149 SOS 13406 HAS SOPS 13406 HAS SOUS 8883 HAS SOUPS 8883 WITH SCORE 8896.406
AT ITER 867 NEW BEST:: SOT 34148 SOS 13405 HAS SOPS 13405 HAS SOUS 8881 HAS SOUPS 8881 WITH SCORE 8894.405
AT ITER 869 NEW BEST:: SOT 34148 SOS 13405 HAS SOPS 13405 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8880.405
AT ITER 873 NEW BEST:: SOT 34140 SOS 13397 HAS SOPS 13397 HAS SOUS 8854 HAS SOUPS 8854 WITH SCORE 8867.397
AT ITER 878 NEW BEST:: SOT 34127 SOS 13384 HAS SOPS 13384 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8841.384
AT ITER 890 NEW BEST:: SOT 34127 SOS 13384 HAS SOPS 13384 HAS SOUS 8813 HAS SOUPS 8813 WITH SCORE 8826.384
AT ITER 892 NEW BEST:: SOT 34124 SOS 13381 HAS SOPS 13381 HAS SOUS 8807 HAS SOUPS 8807 WITH SCORE 8820.381
AT ITER 893 NEW BEST:: SOT 34139 SOS 13373 HAS SOPS 13373 HAS SOUS 8802 HAS SOUPS 8802 WITH SCORE 8815.373
AT ITER 896 NEW BEST:: SOT 34139 SOS 13373 HAS SOPS 13373 HAS SOUS 8790 HAS SOUPS 8790 WITH SCORE 8803.373
AT ITER 920 NEW BEST:: SOT 34138 SOS 13372 HAS SOPS 13372 HAS SOUS 8788 HAS SOUPS 8788 WITH SCORE 8801.372
AT ITER 928 NEW BEST:: SOT 34134 SOS 13364 HAS SOPS 13364 HAS SOUS 8784 HAS SOUPS 8784 WITH SCORE 8797.364
AT ITER 934 NEW BEST:: SOT 34133 SOS 13364 HAS SOPS 13364 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8796.364
AT ITER 944 NEW BEST:: SOT 34093 SOS 13324 HAS SOPS 13324 HAS SOUS 8738 HAS SOUPS 8738 WITH SCORE 8751.324
AT ITER 952 NEW BEST:: SOT 34084 SOS 13314 HAS SOPS 13314 HAS SOUS 8720 HAS SOUPS 8720 WITH SCORE 8733.314
AT ITER 967 NEW BEST:: SOT 34068 SOS 13263 HAS SOPS 13263 HAS SOUS 8669 HAS SOUPS 8669 WITH SCORE 8682.263
AT ITER 972 NEW BEST:: SOT 34062 SOS 13269 HAS SOPS 13269 HAS SOUS 8650 HAS SOUPS 8650 WITH SCORE 8663.269
AT ITER 977 NEW BEST:: SOT 34063 SOS 13270 HAS SOPS 13270 HAS SOUS 8624 HAS SOUPS 8624 WITH SCORE 8637.27
AT ITER 982 NEW BEST:: SOT 34064 SOS 13271 HAS SOPS 13271 HAS SOUS 8622 HAS SOUPS 8622 WITH SCORE 8635.271
AT ITER 995 NEW BEST:: SOT 34065 SOS 13272 HAS SOPS 13272 HAS SOUS 8608 HAS SOUPS 8608 WITH SCORE 8621.272
AT ITER 1029 NEW BEST:: SOT 34068 SOS 13275 HAS SOPS 13275 HAS SOUS 8604 HAS SOUPS 8604 WITH SCORE 8617.275
AT ITER 1031 NEW BEST:: SOT 34066 SOS 13273 HAS SOPS 13273 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8613.273
AT ITER 1037 NEW BEST:: SOT 34017 SOS 13258 HAS SOPS 13258 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8571.258
AT ITER 1074 NEW BEST:: SOT 33989 SOS 13230 HAS SOPS 13230 HAS SOUS 8528 HAS SOUPS 8528 WITH SCORE 8541.23
AT ITER 1082 NEW BEST:: SOT 33987 SOS 13228 HAS SOPS 13228 HAS SOUS 8524 HAS SOUPS 8524 WITH SCORE 8537.228
AT ITER 1117 NEW BEST:: SOT 33977 SOS 13218 HAS SOPS 13218 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8517.218
AT ITER 1122 NEW BEST:: SOT 33965 SOS 13206 HAS SOPS 13206 HAS SOUS 8492 HAS SOUPS 8492 WITH SCORE 8505.206
AT ITER 1123 NEW BEST:: SOT 33963 SOS 13203 HAS SOPS 13203 HAS SOUS 8489 HAS SOUPS 8489 WITH SCORE 8502.203
AT ITER 1129 NEW BEST:: SOT 33952 SOS 13183 HAS SOPS 13183 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8482.183
AT ITER 1147 NEW BEST:: SOT 33951 SOS 13182 HAS SOPS 13182 HAS SOUS 8434 HAS SOUPS 8434 WITH SCORE 8447.182
AT ITER 1153 NEW BEST:: SOT 33958 SOS 13189 HAS SOPS 13189 HAS SOUS 8427 HAS SOUPS 8427 WITH SCORE 8440.189
AT ITER 1155 NEW BEST:: SOT 33937 SOS 13168 HAS SOPS 13168 HAS SOUS 8409 HAS SOUPS 8409 WITH SCORE 8422.168
AT ITER 1169 NEW BEST:: SOT 33946 SOS 13246 HAS SOPS 13246 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8414.246
AT ITER 1192 NEW BEST:: SOT 33946 SOS 13246 HAS SOPS 13246 HAS SOUS 8383 HAS SOUPS 8383 WITH SCORE 8396.246
AT ITER 1203 NEW BEST:: SOT 33946 SOS 13229 HAS SOPS 13229 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8379.229
AT ITER 1224 NEW BEST:: SOT 33933 SOS 12998 HAS SOPS 12998 HAS SOUS 8345 HAS SOUPS 8345 WITH SCORE 8357.998
AT ITER 1225 NEW BEST:: SOT 33896 SOS 13000 HAS SOPS 13000 HAS SOUS 8307 HAS SOUPS 8307 WITH SCORE 8320.0
AT ITER 1243 NEW BEST:: SOT 33896 SOS 12993 HAS SOPS 12993 HAS SOUS 8300 HAS SOUPS 8300 WITH SCORE 8312.993
AT ITER 1246 NEW BEST:: SOT 33893 SOS 12990 HAS SOPS 12990 HAS SOUS 8293 HAS SOUPS 8293 WITH SCORE 8305.99
AT ITER 1248 NEW BEST:: SOT 33890 SOS 12987 HAS SOPS 12987 HAS SOUS 8287 HAS SOUPS 8287 WITH SCORE 8299.987
AT ITER 1252 NEW BEST:: SOT 33890 SOS 12987 HAS SOPS 12987 HAS SOUS 8286 HAS SOUPS 8286 WITH SCORE 8298.987
AT ITER 1261 NEW BEST:: SOT 33884 SOS 12981 HAS SOPS 12981 HAS SOUS 8274 HAS SOUPS 8274 WITH SCORE 8286.981
AT ITER 1269 NEW BEST:: SOT 33953 SOS 12211 HAS SOPS 12211 HAS SOUS 8189 HAS SOUPS 8189 WITH SCORE 8201.211
AT ITER 1275 NEW BEST:: SOT 33953 SOS 12178 HAS SOPS 12178 HAS SOUS 8178 HAS SOUPS 8178 WITH SCORE 8190.178
AT ITER 1276 NEW BEST:: SOT 33952 SOS 12177 HAS SOPS 12177 HAS SOUS 8176 HAS SOUPS 8176 WITH SCORE 8188.177
AT ITER 1294 NEW BEST:: SOT 33920 SOS 12096 HAS SOPS 12096 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8107.096
AT ITER 1302 NEW BEST:: SOT 33918 SOS 12094 HAS SOPS 12094 HAS SOUS 8091 HAS SOUPS 8091 WITH SCORE 8103.094
AT ITER 1309 NEW BEST:: SOT 33913 SOS 12089 HAS SOPS 12089 HAS SOUS 8081 HAS SOUPS 8081 WITH SCORE 8093.089
AT ITER 1313 NEW BEST:: SOT 33909 SOS 12068 HAS SOPS 12068 HAS SOUS 8074 HAS SOUPS 8074 WITH SCORE 8086.068
AT ITER 1317 NEW BEST:: SOT 33909 SOS 12088 HAS SOPS 12088 HAS SOUS 8065 HAS SOUPS 8065 WITH SCORE 8077.088
AT ITER 1331 NEW BEST:: SOT 33844 SOS 12072 HAS SOPS 12072 HAS SOUS 8026 HAS SOUPS 8026 WITH SCORE 8038.072
AT ITER 1350 NEW BEST:: SOT 33835 SOS 12072 HAS SOPS 12072 HAS SOUS 8008 HAS SOUPS 8008 WITH SCORE 8020.072
AT ITER 1373 NEW BEST:: SOT 33832 SOS 12069 HAS SOPS 12069 HAS SOUS 8002 HAS SOUPS 8002 WITH SCORE 8014.069
AT ITER 1396 NEW BEST:: SOT 33828 SOS 12069 HAS SOPS 12069 HAS SOUS 7994 HAS SOUPS 7994 WITH SCORE 8006.069
AT ITER 1399 NEW BEST:: SOT 33828 SOS 12067 HAS SOPS 12067 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8004.067
AT ITER 1403 NEW BEST:: SOT 33828 SOS 12067 HAS SOPS 12067 HAS SOUS 7971 HAS SOUPS 7971 WITH SCORE 7983.067
AT ITER 1425 NEW BEST:: SOT 33823 SOS 12064 HAS SOPS 12064 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7980.064
AT ITER 1446 NEW BEST:: SOT 33821 SOS 12088 HAS SOPS 12088 HAS SOUS 7965 HAS SOUPS 7965 WITH SCORE 7977.088
AT ITER 1449 NEW BEST:: SOT 33833 SOS 12091 HAS SOPS 12091 HAS SOUS 7957 HAS SOUPS 7957 WITH SCORE 7969.091
AT ITER 1460 NEW BEST:: SOT 33813 SOS 12071 HAS SOPS 12071 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7955.071
AT ITER 1463 NEW BEST:: SOT 33813 SOS 12049 HAS SOPS 12049 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7955.049
AT ITER 1464 NEW BEST:: SOT 33813 SOS 12012 HAS SOPS 12012 HAS SOUS 7937 HAS SOUPS 7937 WITH SCORE 7949.012
AT ITER 1466 NEW BEST:: SOT 33813 SOS 12011 HAS SOPS 12011 HAS SOUS 7936 HAS SOUPS 7936 WITH SCORE 7948.011
AT ITER 1521 NEW BEST:: SOT 33813 SOS 11993 HAS SOPS 11993 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7941.993
AT ITER 1532 NEW BEST:: SOT 33813 SOS 11992 HAS SOPS 11992 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7941.992
AT ITER 1540 NEW BEST:: SOT 33813 SOS 11981 HAS SOPS 11981 HAS SOUS 7930 HAS SOUPS 7930 WITH SCORE 7941.981
AT ITER 1546 NEW BEST:: SOT 33813 SOS 11976 HAS SOPS 11976 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7936.976
AT ITER 1550 NEW BEST:: SOT 33813 SOS 11958 HAS SOPS 11958 HAS SOUS 7925 HAS SOUPS 7925 WITH SCORE 7936.958
AT ITER 1554 NEW BEST:: SOT 33801 SOS 11943 HAS SOPS 11943 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7912.943
AT ITER 1572 NEW BEST:: SOT 33801 SOS 11943 HAS SOPS 11943 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7911.943
AT ITER 1573 NEW BEST:: SOT 33801 SOS 11912 HAS SOPS 11912 HAS SOUS 7900 HAS SOUPS 7900 WITH SCORE 7911.912
AT ITER 1598 NEW BEST:: SOT 33801 SOS 11918 HAS SOPS 11918 HAS SOUS 7896 HAS SOUPS 7896 WITH SCORE 7907.918
AT ITER 1614 NEW BEST:: SOT 33796 SOS 11903 HAS SOPS 11903 HAS SOUS 7881 HAS SOUPS 7881 WITH SCORE 7892.903
AT ITER 1637 NEW BEST:: SOT 33796 SOS 11903 HAS SOPS 11903 HAS SOUS 7869 HAS SOUPS 7869 WITH SCORE 7880.903
AT ITER 1660 NEW BEST:: SOT 33781 SOS 11888 HAS SOPS 11888 HAS SOUS 7817 HAS SOUPS 7817 WITH SCORE 7828.888
AT ITER 1671 NEW BEST:: SOT 33781 SOS 11878 HAS SOPS 11878 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7818.878
AT ITER 1675 NEW BEST:: SOT 33781 SOS 11878 HAS SOPS 11878 HAS SOUS 7802 HAS SOUPS 7802 WITH SCORE 7813.878
AT ITER 1717 NEW BEST:: SOT 33788 SOS 11885 HAS SOPS 11885 HAS SOUS 7778 HAS SOUPS 7778 WITH SCORE 7789.885
AT ITER 1718 NEW BEST:: SOT 33788 SOS 11885 HAS SOPS 11885 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7784.885
AT ITER 1751 NEW BEST:: SOT 33776 SOS 11881 HAS SOPS 11881 HAS SOUS 7749 HAS SOUPS 7749 WITH SCORE 7760.881
AT ITER 1794 NEW BEST:: SOT 33776 SOS 11879 HAS SOPS 11879 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7759.879
AT ITER 1822 NEW BEST:: SOT 33773 SOS 11876 HAS SOPS 11876 HAS SOUS 7745 HAS SOUPS 7745 WITH SCORE 7756.876
AT ITER 1829 NEW BEST:: SOT 33764 SOS 11848 HAS SOPS 11848 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7731.848
AT ITER 1851 NEW BEST:: SOT 33764 SOS 11848 HAS SOPS 11848 HAS SOUS 7687 HAS SOUPS 7687 WITH SCORE 7698.848
AT ITER 1872 NEW BEST:: SOT 33762 SOS 11846 HAS SOPS 11846 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7695.846
AT ITER 1894 NEW BEST:: SOT 33762 SOS 11822 HAS SOPS 11822 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7695.822
AT ITER 1930 NEW BEST:: SOT 33758 SOS 11818 HAS SOPS 11818 HAS SOUS 7680 HAS SOUPS 7680 WITH SCORE 7691.818
AT ITER 1937 NEW BEST:: SOT 33742 SOS 11802 HAS SOPS 11802 HAS SOUS 7664 HAS SOUPS 7664 WITH SCORE 7675.802
AT ITER 1965 NEW BEST:: SOT 33719 SOS 11779 HAS SOPS 11779 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7629.779
AT ITER 1978 NEW BEST:: SOT 33719 SOS 11778 HAS SOPS 11778 HAS SOUS 7618 HAS SOUPS 7618 WITH SCORE 7629.778
AT ITER 1982 NEW BEST:: SOT 33717 SOS 11775 HAS SOPS 11775 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7627.775
AT ITER 2009 NEW BEST:: SOT 33715 SOS 11776 HAS SOPS 11776 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7619.776
AT ITER 2024 NEW BEST:: SOT 33715 SOS 11761 HAS SOPS 11761 HAS SOUS 7608 HAS SOUPS 7608 WITH SCORE 7619.761
AT ITER 2030 NEW BEST:: SOT 33709 SOS 11742 HAS SOPS 11742 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7607.742
AT ITER 2038 NEW BEST:: SOT 33702 SOS 11735 HAS SOPS 11735 HAS SOUS 7582 HAS SOUPS 7582 WITH SCORE 7593.735
AT ITER 2041 NEW BEST:: SOT 33699 SOS 11732 HAS SOPS 11732 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7587.732
AT ITER 2050 NEW BEST:: SOT 33677 SOS 11728 HAS SOPS 11728 HAS SOUS 7521 HAS SOUPS 7521 WITH SCORE 7532.728
AT ITER 2053 NEW BEST:: SOT 33677 SOS 11728 HAS SOPS 11728 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7523.728
AT ITER 2069 NEW BEST:: SOT 33675 SOS 11726 HAS SOPS 11726 HAS SOUS 7510 HAS SOUPS 7510 WITH SCORE 7521.726
AT ITER 2078 NEW BEST:: SOT 33671 SOS 11718 HAS SOPS 11718 HAS SOUS 7506 HAS SOUPS 7506 WITH SCORE 7517.718
AT ITER 2080 NEW BEST:: SOT 33670 SOS 11717 HAS SOPS 11717 HAS SOUS 7505 HAS SOUPS 7505 WITH SCORE 7516.717
AT ITER 2082 NEW BEST:: SOT 33640 SOS 11687 HAS SOPS 11687 HAS SOUS 7469 HAS SOUPS 7469 WITH SCORE 7480.687
AT ITER 2089 NEW BEST:: SOT 33640 SOS 11669 HAS SOPS 11669 HAS SOUS 7460 HAS SOUPS 7460 WITH SCORE 7471.669
AT ITER 2097 NEW BEST:: SOT 33637 SOS 11668 HAS SOPS 11668 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7470.668
AT ITER 2118 NEW BEST:: SOT 33618 SOS 11649 HAS SOPS 11649 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7460.649
AT ITER 2128 NEW BEST:: SOT 33618 SOS 11637 HAS SOPS 11637 HAS SOUS 7437 HAS SOUPS 7437 WITH SCORE 7448.637
AT ITER 2154 NEW BEST:: SOT 33618 SOS 11621 HAS SOPS 11621 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7432.621
AT ITER 2155 NEW BEST:: SOT 33611 SOS 11607 HAS SOPS 11607 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7418.607
AT ITER 2162 NEW BEST:: SOT 33600 SOS 11596 HAS SOPS 11596 HAS SOUS 7385 HAS SOUPS 7385 WITH SCORE 7396.596
AT ITER 2164 NEW BEST:: SOT 33549 SOS 11448 HAS SOPS 11448 HAS SOUS 7334 HAS SOUPS 7334 WITH SCORE 7345.448
AT ITER 2173 NEW BEST:: SOT 33549 SOS 11449 HAS SOPS 11449 HAS SOUS 7333 HAS SOUPS 7333 WITH SCORE 7344.449
AT ITER 2174 NEW BEST:: SOT 33542 SOS 11424 HAS SOPS 11424 HAS SOUS 7317 HAS SOUPS 7317 WITH SCORE 7328.424
AT ITER 2184 NEW BEST:: SOT 33534 SOS 11429 HAS SOPS 11429 HAS SOUS 7314 HAS SOUPS 7314 WITH SCORE 7325.429
AT ITER 2213 NEW BEST:: SOT 33529 SOS 11424 HAS SOPS 11424 HAS SOUS 7309 HAS SOUPS 7309 WITH SCORE 7320.424
AT ITER 2255 NEW BEST:: SOT 33531 SOS 11426 HAS SOPS 11426 HAS SOUS 7303 HAS SOUPS 7303 WITH SCORE 7314.426
AT ITER 2280 NEW BEST:: SOT 33546 SOS 11326 HAS SOPS 11326 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7217.326
AT ITER 2289 NEW BEST:: SOT 33542 SOS 11314 HAS SOPS 11314 HAS SOUS 7198 HAS SOUPS 7198 WITH SCORE 7209.314
AT ITER 2300 NEW BEST:: SOT 33541 SOS 11313 HAS SOPS 11313 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7207.313
AT ITER 2308 NEW BEST:: SOT 33543 SOS 11300 HAS SOPS 11300 HAS SOUS 7185 HAS SOUPS 7185 WITH SCORE 7196.3
AT ITER 2343 NEW BEST:: SOT 33550 SOS 11199 HAS SOPS 11199 HAS SOUS 7144 HAS SOUPS 7144 WITH SCORE 7155.199
AT ITER 2405 NEW BEST:: SOT 33549 SOS 11198 HAS SOPS 11198 HAS SOUS 7142 HAS SOUPS 7142 WITH SCORE 7153.198
AT ITER 2454 NEW BEST:: SOT 33531 SOS 11162 HAS SOPS 11162 HAS SOUS 7124 HAS SOUPS 7124 WITH SCORE 7135.162
AT ITER 2469 NEW BEST:: SOT 33529 SOS 11160 HAS SOPS 11160 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7131.16
AT ITER 2470 NEW BEST:: SOT 33529 SOS 11148 HAS SOPS 11148 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7131.148
AT ITER 2478 NEW BEST:: SOT 33529 SOS 11146 HAS SOPS 11146 HAS SOUS 7120 HAS SOUPS 7120 WITH SCORE 7131.146
AT ITER 2490 NEW BEST:: SOT 33529 SOS 11146 HAS SOPS 11146 HAS SOUS 7111 HAS SOUPS 7111 WITH SCORE 7122.146
AT ITER 2494 NEW BEST:: SOT 33526 SOS 11143 HAS SOPS 11143 HAS SOUS 7105 HAS SOUPS 7105 WITH SCORE 7116.143
AT ITER 2539 NEW BEST:: SOT 33485 SOS 11198 HAS SOPS 11198 HAS SOUS 7072 HAS SOUPS 7072 WITH SCORE 7083.198
AT ITER 2587 NEW BEST:: SOT 33463 SOS 11163 HAS SOPS 11163 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7070.163
AT ITER 2605 NEW BEST:: SOT 33467 SOS 11167 HAS SOPS 11167 HAS SOUS 7057 HAS SOUPS 7057 WITH SCORE 7068.167
AT ITER 2639 NEW BEST:: SOT 33483 SOS 11183 HAS SOPS 11183 HAS SOUS 7054 HAS SOUPS 7054 WITH SCORE 7065.183
AT ITER 2649 NEW BEST:: SOT 33465 SOS 11165 HAS SOPS 11165 HAS SOUS 6999 HAS SOUPS 6999 WITH SCORE 7010.165
AT ITER 2653 NEW BEST:: SOT 33465 SOS 11165 HAS SOPS 11165 HAS SOUS 6995 HAS SOUPS 6995 WITH SCORE 7006.165
AT ITER 2659 NEW BEST:: SOT 33450 SOS 11168 HAS SOPS 11168 HAS SOUS 6985 HAS SOUPS 6985 WITH SCORE 6996.168
AT ITER 2666 NEW BEST:: SOT 33443 SOS 11161 HAS SOPS 11161 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6982.161
AT ITER 2684 NEW BEST:: SOT 33442 SOS 11160 HAS SOPS 11160 HAS SOUS 6969 HAS SOUPS 6969 WITH SCORE 6980.16
AT ITER 2697 NEW BEST:: SOT 33428 SOS 11146 HAS SOPS 11146 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6959.146
AT ITER 2715 NEW BEST:: SOT 33428 SOS 11128 HAS SOPS 11128 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6959.128
AT ITER 2723 NEW BEST:: SOT 33426 SOS 11126 HAS SOPS 11126 HAS SOUS 6948 HAS SOUPS 6948 WITH SCORE 6959.126
AT ITER 2730 NEW BEST:: SOT 33426 SOS 11122 HAS SOPS 11122 HAS SOUS 6944 HAS SOUPS 6944 WITH SCORE 6955.122
AT ITER 2740 NEW BEST:: SOT 33397 SOS 11155 HAS SOPS 11155 HAS SOUS 6942 HAS SOUPS 6942 WITH SCORE 6953.155
AT ITER 2743 NEW BEST:: SOT 33387 SOS 11129 HAS SOPS 11129 HAS SOUS 6922 HAS SOUPS 6922 WITH SCORE 6933.129
AT ITER 2750 NEW BEST:: SOT 33387 SOS 11128 HAS SOPS 11128 HAS SOUS 6921 HAS SOUPS 6921 WITH SCORE 6932.128
AT ITER 2753 NEW BEST:: SOT 33387 SOS 11134 HAS SOPS 11134 HAS SOUS 6920 HAS SOUPS 6920 WITH SCORE 6931.134
AT ITER 2797 NEW BEST:: SOT 33378 SOS 11134 HAS SOPS 11134 HAS SOUS 6902 HAS SOUPS 6902 WITH SCORE 6913.134
AT ITER 2802 NEW BEST:: SOT 33378 SOS 11134 HAS SOPS 11134 HAS SOUS 6899 HAS SOUPS 6899 WITH SCORE 6910.134
AT ITER 2804 NEW BEST:: SOT 33376 SOS 11130 HAS SOPS 11130 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6906.13
AT ITER 2863 NEW BEST:: SOT 33375 SOS 11129 HAS SOPS 11129 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6906.129
AT ITER 2923 NEW BEST:: SOT 33371 SOS 11125 HAS SOPS 11125 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6899.125
AT ITER 2924 NEW BEST:: SOT 33365 SOS 11116 HAS SOPS 11116 HAS SOUS 6879 HAS SOUPS 6879 WITH SCORE 6890.116
AT ITER 2953 NEW BEST:: SOT 33363 SOS 11115 HAS SOPS 11115 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6888.115
AT ITER 2961 NEW BEST:: SOT 33359 SOS 11111 HAS SOPS 11111 HAS SOUS 6877 HAS SOUPS 6877 WITH SCORE 6888.111
AT ITER 2975 NEW BEST:: SOT 33353 SOS 11111 HAS SOPS 11111 HAS SOUS 6871 HAS SOUPS 6871 WITH SCORE 6882.111
AT ITER 2997 NEW BEST:: SOT 33331 SOS 11093 HAS SOPS 11093 HAS SOUS 6831 HAS SOUPS 6831 WITH SCORE 6842.093
AT ITER 3060 NEW BEST:: SOT 33315 SOS 11063 HAS SOPS 11063 HAS SOUS 6799 HAS SOUPS 6799 WITH SCORE 6810.063
AT ITER 3088 NEW BEST:: SOT 33311 SOS 11050 HAS SOPS 11050 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6809.05
AT ITER 3104 NEW BEST:: SOT 33311 SOS 11041 HAS SOPS 11041 HAS SOUS 6798 HAS SOUPS 6798 WITH SCORE 6809.041
AT ITER 3110 NEW BEST:: SOT 33306 SOS 11036 HAS SOPS 11036 HAS SOUS 6788 HAS SOUPS 6788 WITH SCORE 6799.036
AT ITER 3150 NEW BEST:: SOT 33238 SOS 11774 HAS SOPS 11774 HAS SOUS 6783 HAS SOUPS 6783 WITH SCORE 6794.774
AT ITER 3172 NEW BEST:: SOT 33252 SOS 11722 HAS SOPS 11722 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6779.722
AT ITER 3205 NEW BEST:: SOT 33245 SOS 11708 HAS SOPS 11708 HAS SOUS 6754 HAS SOUPS 6754 WITH SCORE 6765.708
AT ITER 3216 NEW BEST:: SOT 33235 SOS 11699 HAS SOPS 11699 HAS SOUS 6735 HAS SOUPS 6735 WITH SCORE 6746.699
AT ITER 3222 NEW BEST:: SOT 33236 SOS 11699 HAS SOPS 11699 HAS SOUS 6734 HAS SOUPS 6734 WITH SCORE 6745.699
AT ITER 3304 NEW BEST:: SOT 33276 SOS 11066 HAS SOPS 11066 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6718.066
AT ITER 3337 NEW BEST:: SOT 33274 SOS 11066 HAS SOPS 11066 HAS SOUS 6705 HAS SOUPS 6705 WITH SCORE 6716.066
AT ITER 3349 NEW BEST:: SOT 33280 SOS 11059 HAS SOPS 11059 HAS SOUS 6698 HAS SOUPS 6698 WITH SCORE 6709.059
AT ITER 3357 NEW BEST:: SOT 33282 SOS 11061 HAS SOPS 11061 HAS SOUS 6690 HAS SOUPS 6690 WITH SCORE 6701.061
AT ITER 3364 NEW BEST:: SOT 33282 SOS 11056 HAS SOPS 11056 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6696.056
AT ITER 3368 NEW BEST:: SOT 33274 SOS 11048 HAS SOPS 11048 HAS SOUS 6661 HAS SOUPS 6661 WITH SCORE 6672.048
AT ITER 3391 NEW BEST:: SOT 33272 SOS 11046 HAS SOPS 11046 HAS SOUS 6657 HAS SOUPS 6657 WITH SCORE 6668.046
AT ITER 3397 NEW BEST:: SOT 33257 SOS 11031 HAS SOPS 11031 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6653.031
AT ITER 3401 NEW BEST:: SOT 33257 SOS 11029 HAS SOPS 11029 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6653.029
AT ITER 3415 NEW BEST:: SOT 33245 SOS 11005 HAS SOPS 11005 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6640.005
AT ITER 3419 NEW BEST:: SOT 33238 SOS 10771 HAS SOPS 10771 HAS SOUS 6611 HAS SOUPS 6611 WITH SCORE 6621.771
AT ITER 3480 NEW BEST:: SOT 33230 SOS 10759 HAS SOPS 10759 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6605.759
AT ITER 3490 NEW BEST:: SOT 33230 SOS 10754 HAS SOPS 10754 HAS SOUS 6595 HAS SOUPS 6595 WITH SCORE 6605.754
AT ITER 3494 NEW BEST:: SOT 33230 SOS 10750 HAS SOPS 10750 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6601.75
AT ITER 3497 NEW BEST:: SOT 33230 SOS 10726 HAS SOPS 10726 HAS SOUS 6591 HAS SOUPS 6591 WITH SCORE 6601.726
AT ITER 3529 NEW BEST:: SOT 33229 SOS 10725 HAS SOPS 10725 HAS SOUS 6589 HAS SOUPS 6589 WITH SCORE 6599.725
AT ITER 3598 NEW BEST:: SOT 33218 SOS 10720 HAS SOPS 10720 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6577.72
AT ITER 3672 NEW BEST:: SOT 33218 SOS 10719 HAS SOPS 10719 HAS SOUS 6566 HAS SOUPS 6566 WITH SCORE 6576.719
AT ITER 3742 NEW BEST:: SOT 33202 SOS 10687 HAS SOPS 10687 HAS SOUS 6550 HAS SOUPS 6550 WITH SCORE 6560.687
AT ITER 3776 NEW BEST:: SOT 33200 SOS 10685 HAS SOPS 10685 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6556.685
AT ITER 3797 NEW BEST:: SOT 33200 SOS 10653 HAS SOPS 10653 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6556.653
AT ITER 3799 NEW BEST:: SOT 33186 SOS 10633 HAS SOPS 10633 HAS SOUS 6502 HAS SOUPS 6502 WITH SCORE 6512.633
AT ITER 3829 NEW BEST:: SOT 33201 SOS 10614 HAS SOPS 10614 HAS SOUS 6494 HAS SOUPS 6494 WITH SCORE 6504.614
AT ITER 3905 NEW BEST:: SOT 33201 SOS 10614 HAS SOPS 10614 HAS SOUS 6485 HAS SOUPS 6485 WITH SCORE 6495.614
AT ITER 3925 NEW BEST:: SOT 33205 SOS 10618 HAS SOPS 10618 HAS SOUS 6482 HAS SOUPS 6482 WITH SCORE 6492.618
AT ITER 3927 NEW BEST:: SOT 33198 SOS 10595 HAS SOPS 10595 HAS SOUS 6466 HAS SOUPS 6466 WITH SCORE 6476.595
AT ITER 3963 NEW BEST:: SOT 33197 SOS 10594 HAS SOPS 10594 HAS SOUS 6465 HAS SOUPS 6465 WITH SCORE 6475.594
AT ITER 3971 NEW BEST:: SOT 33186 SOS 10583 HAS SOPS 10583 HAS SOUS 6443 HAS SOUPS 6443 WITH SCORE 6453.583
AT ITER 4094 NEW BEST:: SOT 33183 SOS 10572 HAS SOPS 10572 HAS SOUS 6430 HAS SOUPS 6430 WITH SCORE 6440.572
AT ITER 4138 NEW BEST:: SOT 33182 SOS 10571 HAS SOPS 10571 HAS SOUS 6428 HAS SOUPS 6428 WITH SCORE 6438.571
AT ITER 4155 NEW BEST:: SOT 33152 SOS 10571 HAS SOPS 10571 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6413.571
AT ITER 4165 NEW BEST:: SOT 33151 SOS 10564 HAS SOPS 10564 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6413.564
AT ITER 4172 NEW BEST:: SOT 33156 SOS 10569 HAS SOPS 10569 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6410.569
AT ITER 4182 NEW BEST:: SOT 33156 SOS 10569 HAS SOPS 10569 HAS SOUS 6398 HAS SOUPS 6398 WITH SCORE 6408.569
AT ITER 4190 NEW BEST:: SOT 33153 SOS 10566 HAS SOPS 10566 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6402.566
AT ITER 4208 NEW BEST:: SOT 33161 SOS 10558 HAS SOPS 10558 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6396.558
AT ITER 4219 NEW BEST:: SOT 33158 SOS 10555 HAS SOPS 10555 HAS SOUS 6386 HAS SOUPS 6386 WITH SCORE 6396.555
AT ITER 4229 NEW BEST:: SOT 33152 SOS 10541 HAS SOPS 10541 HAS SOUS 6373 HAS SOUPS 6373 WITH SCORE 6383.541
AT ITER 4255 NEW BEST:: SOT 33153 SOS 10543 HAS SOPS 10543 HAS SOUS 6368 HAS SOUPS 6368 WITH SCORE 6378.543
AT ITER 4319 NEW BEST:: SOT 33154 SOS 10544 HAS SOPS 10544 HAS SOUS 6352 HAS SOUPS 6352 WITH SCORE 6362.544
AT ITER 4378 NEW BEST:: SOT 33150 SOS 10540 HAS SOPS 10540 HAS SOUS 6350 HAS SOUPS 6350 WITH SCORE 6360.54
AT ITER 4455 NEW BEST:: SOT 33145 SOS 10534 HAS SOPS 10534 HAS SOUS 6339 HAS SOUPS 6339 WITH SCORE 6349.534
AT ITER 4481 NEW BEST:: SOT 33145 SOS 10534 HAS SOPS 10534 HAS SOUS 6328 HAS SOUPS 6328 WITH SCORE 6338.534
AT ITER 4542 NEW BEST:: SOT 33145 SOS 10546 HAS SOPS 10546 HAS SOUS 6308 HAS SOUPS 6308 WITH SCORE 6318.546
AT ITER 4557 NEW BEST:: SOT 33144 SOS 10561 HAS SOPS 10561 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6316.561
AT ITER 4563 NEW BEST:: SOT 33144 SOS 10559 HAS SOPS 10559 HAS SOUS 6306 HAS SOUPS 6306 WITH SCORE 6316.559
AT ITER 4575 NEW BEST:: SOT 33138 SOS 10553 HAS SOPS 10553 HAS SOUS 6300 HAS SOUPS 6300 WITH SCORE 6310.553
AT ITER 4624 NEW BEST:: SOT 33137 SOS 10552 HAS SOPS 10552 HAS SOUS 6299 HAS SOUPS 6299 WITH SCORE 6309.552
AT ITER 4700 NEW BEST:: SOT 33137 SOS 10546 HAS SOPS 10546 HAS SOUS 6296 HAS SOUPS 6296 WITH SCORE 6306.546
AT ITER 4717 NEW BEST:: SOT 33131 SOS 10540 HAS SOPS 10540 HAS SOUS 6290 HAS SOUPS 6290 WITH SCORE 6300.54
AT ITER 4762 NEW BEST:: SOT 33122 SOS 10531 HAS SOPS 10531 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6282.531
AT ITER 4765 NEW BEST:: SOT 33122 SOS 10523 HAS SOPS 10523 HAS SOUS 6272 HAS SOUPS 6272 WITH SCORE 6282.523
AT ITER 4816 NEW BEST:: SOT 33122 SOS 10523 HAS SOPS 10523 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6272.523
AT ITER 4865 NEW BEST:: SOT 33119 SOS 10542 HAS SOPS 10542 HAS SOUS 6259 HAS SOUPS 6259 WITH SCORE 6269.542
AT ITER 4932 NEW BEST:: SOT 33145 SOS 10542 HAS SOPS 10542 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6255.542
AT ITER 4934 NEW BEST:: SOT 33133 SOS 10530 HAS SOPS 10530 HAS SOUS 6233 HAS SOUPS 6233 WITH SCORE 6243.53
AT ITER 4961 NEW BEST:: SOT 33119 SOS 10516 HAS SOPS 10516 HAS SOUS 6205 HAS SOUPS 6205 WITH SCORE 6215.516
AT ITER 4985 NEW BEST:: SOT 33114 SOS 10511 HAS SOPS 10511 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6204.511
AT ITER 5043 NEW BEST:: SOT 33107 SOS 10511 HAS SOPS 10511 HAS SOUS 6180 HAS SOUPS 6180 WITH SCORE 6190.511
AT ITER 5053 NEW BEST:: SOT 33117 SOS 10499 HAS SOPS 10499 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6178.499
AT ITER 5155 NEW BEST:: SOT 33117 SOS 10498 HAS SOPS 10498 HAS SOUS 6168 HAS SOUPS 6168 WITH SCORE 6178.498
AT ITER 5206 NEW BEST:: SOT 33107 SOS 10271 HAS SOPS 10271 HAS SOUS 6158 HAS SOUPS 6158 WITH SCORE 6168.271
AT ITER 5213 NEW BEST:: SOT 33105 SOS 10269 HAS SOPS 10269 HAS SOUS 6154 HAS SOUPS 6154 WITH SCORE 6164.269
AT ITER 5229 NEW BEST:: SOT 33099 SOS 10263 HAS SOPS 10263 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6159.263
AT ITER 5321 NEW BEST:: SOT 33099 SOS 10259 HAS SOPS 10259 HAS SOUS 6149 HAS SOUPS 6149 WITH SCORE 6159.259
AT ITER 5414 NEW BEST:: SOT 33099 SOS 10252 HAS SOPS 10252 HAS SOUS 6148 HAS SOUPS 6148 WITH SCORE 6158.252
AT ITER 5420 NEW BEST:: SOT 33103 SOS 10256 HAS SOPS 10256 HAS SOUS 6147 HAS SOUPS 6147 WITH SCORE 6157.256
AT ITER 5456 NEW BEST:: SOT 33101 SOS 10248 HAS SOPS 10248 HAS SOUS 6143 HAS SOUPS 6143 WITH SCORE 6153.248
AT ITER 5486 NEW BEST:: SOT 33092 SOS 10227 HAS SOPS 10227 HAS SOUS 6134 HAS SOUPS 6134 WITH SCORE 6144.227
AT ITER 5510 NEW BEST:: SOT 33091 SOS 10226 HAS SOPS 10226 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6141.226
AT ITER 5569 NEW BEST:: SOT 33090 SOS 10218 HAS SOPS 10218 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6139.218
AT ITER 5573 NEW BEST:: SOT 33087 SOS 10225 HAS SOPS 10225 HAS SOUS 6123 HAS SOUPS 6123 WITH SCORE 6133.225
AT ITER 5582 NEW BEST:: SOT 33087 SOS 10211 HAS SOPS 10211 HAS SOUS 6122 HAS SOUPS 6122 WITH SCORE 6132.211
AT ITER 5631 NEW BEST:: SOT 33083 SOS 10207 HAS SOPS 10207 HAS SOUS 6114 HAS SOUPS 6114 WITH SCORE 6124.207
AT ITER 5641 NEW BEST:: SOT 33080 SOS 10204 HAS SOPS 10204 HAS SOUS 6111 HAS SOUPS 6111 WITH SCORE 6121.204
AT ITER 5652 NEW BEST:: SOT 33079 SOS 10203 HAS SOPS 10203 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6120.203
AT ITER 5676 NEW BEST:: SOT 33079 SOS 10205 HAS SOPS 10205 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6112.205
AT ITER 5692 NEW BEST:: SOT 33087 SOS 10188 HAS SOPS 10188 HAS SOUS 6085 HAS SOUPS 6085 WITH SCORE 6095.188
AT ITER 5762 NEW BEST:: SOT 33082 SOS 10183 HAS SOPS 10183 HAS SOUS 6075 HAS SOUPS 6075 WITH SCORE 6085.183
AT ITER 5780 NEW BEST:: SOT 33079 SOS 10180 HAS SOPS 10180 HAS SOUS 6069 HAS SOUPS 6069 WITH SCORE 6079.18
AT ITER 5800 NEW BEST:: SOT 33079 SOS 10180 HAS SOPS 10180 HAS SOUS 6065 HAS SOUPS 6065 WITH SCORE 6075.18
AT ITER 5826 NEW BEST:: SOT 33080 SOS 10177 HAS SOPS 10177 HAS SOUS 6064 HAS SOUPS 6064 WITH SCORE 6074.177
AT ITER 5828 NEW BEST:: SOT 33083 SOS 10180 HAS SOPS 10180 HAS SOUS 6059 HAS SOUPS 6059 WITH SCORE 6069.18
AT ITER 5839 NEW BEST:: SOT 33083 SOS 10180 HAS SOPS 10180 HAS SOUS 6058 HAS SOUPS 6058 WITH SCORE 6068.18
AT ITER 5969 NEW BEST:: SOT 33079 SOS 10176 HAS SOPS 10176 HAS SOUS 6054 HAS SOUPS 6054 WITH SCORE 6064.176
AT ITER 5975 NEW BEST:: SOT 33077 SOS 10172 HAS SOPS 10172 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6060.172
AT ITER 5992 NEW BEST:: SOT 33077 SOS 10170 HAS SOPS 10170 HAS SOUS 6050 HAS SOUPS 6050 WITH SCORE 6060.17
AT ITER 6031 NEW BEST:: SOT 33062 SOS 10153 HAS SOPS 10153 HAS SOUS 6033 HAS SOUPS 6033 WITH SCORE 6043.153
AT ITER 6044 NEW BEST:: SOT 33062 SOS 10144 HAS SOPS 10144 HAS SOUS 6021 HAS SOUPS 6021 WITH SCORE 6031.144
AT ITER 6079 NEW BEST:: SOT 33062 SOS 10124 HAS SOPS 10124 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6011.124
AT ITER 6086 NEW BEST:: SOT 33062 SOS 10123 HAS SOPS 10123 HAS SOUS 6001 HAS SOUPS 6001 WITH SCORE 6011.123
AT ITER 6126 NEW BEST:: SOT 33057 SOS 10110 HAS SOPS 10110 HAS SOUS 5988 HAS SOUPS 5988 WITH SCORE 5998.11
AT ITER 6196 NEW BEST:: SOT 33062 SOS 10107 HAS SOPS 10107 HAS SOUS 5983 HAS SOUPS 5983 WITH SCORE 5993.107
AT ITER 6222 NEW BEST:: SOT 33058 SOS 10103 HAS SOPS 10103 HAS SOUS 5979 HAS SOUPS 5979 WITH SCORE 5989.103
AT ITER 6236 NEW BEST:: SOT 33045 SOS 10248 HAS SOPS 10248 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5982.248
AT ITER 6246 NEW BEST:: SOT 33034 SOS 10222 HAS SOPS 10222 HAS SOUS 5950 HAS SOUPS 5950 WITH SCORE 5960.222
AT ITER 6249 NEW BEST:: SOT 33030 SOS 10218 HAS SOPS 10218 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5945.218
AT ITER 6309 NEW BEST:: SOT 33029 SOS 10217 HAS SOPS 10217 HAS SOUS 5935 HAS SOUPS 5935 WITH SCORE 5945.217
AT ITER 6391 NEW BEST:: SOT 33024 SOS 10212 HAS SOPS 10212 HAS SOUS 5928 HAS SOUPS 5928 WITH SCORE 5938.212
AT ITER 6430 NEW BEST:: SOT 33022 SOS 10210 HAS SOPS 10210 HAS SOUS 5924 HAS SOUPS 5924 WITH SCORE 5934.21
AT ITER 6471 NEW BEST:: SOT 33022 SOS 10192 HAS SOPS 10192 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5922.192
AT ITER 6532 NEW BEST:: SOT 33014 SOS 10184 HAS SOPS 10184 HAS SOUS 5912 HAS SOUPS 5912 WITH SCORE 5922.184
AT ITER 6540 NEW BEST:: SOT 33011 SOS 10181 HAS SOPS 10181 HAS SOUS 5906 HAS SOUPS 5906 WITH SCORE 5916.181
AT ITER 6603 NEW BEST:: SOT 33003 SOS 10178 HAS SOPS 10178 HAS SOUS 5898 HAS SOUPS 5898 WITH SCORE 5908.178
AT ITER 6643 NEW BEST:: SOT 32995 SOS 10176 HAS SOPS 10176 HAS SOUS 5889 HAS SOUPS 5889 WITH SCORE 5899.176
AT ITER 6708 NEW BEST:: SOT 32997 SOS 10174 HAS SOPS 10174 HAS SOUS 5886 HAS SOUPS 5886 WITH SCORE 5896.174
AT ITER 6831 NEW BEST:: SOT 33008 SOS 10167 HAS SOPS 10167 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5889.167
AT ITER 6894 NEW BEST:: SOT 33003 SOS 10162 HAS SOPS 10162 HAS SOUS 5876 HAS SOUPS 5876 WITH SCORE 5886.162
AT ITER 6984 NEW BEST:: SOT 32986 SOS 10102 HAS SOPS 10102 HAS SOUS 5861 HAS SOUPS 5861 WITH SCORE 5871.102
AT ITER 7001 NEW BEST:: SOT 32986 SOS 10096 HAS SOPS 10096 HAS SOUS 5855 HAS SOUPS 5855 WITH SCORE 5865.096
AT ITER 7026 NEW BEST:: SOT 32986 SOS 10096 HAS SOPS 10096 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.096
AT ITER 7028 NEW BEST:: SOT 32986 SOS 10090 HAS SOPS 10090 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5854.09
AT ITER 7057 NEW BEST:: SOT 32984 SOS 10088 HAS SOPS 10088 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5852.088
AT ITER 7087 NEW BEST:: SOT 32979 SOS 10109 HAS SOPS 10109 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5844.109
AT ITER 7104 NEW BEST:: SOT 32969 SOS 10097 HAS SOPS 10097 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.097
AT ITER 7175 NEW BEST:: SOT 32969 SOS 10087 HAS SOPS 10087 HAS SOUS 5833 HAS SOUPS 5833 WITH SCORE 5843.087
AT ITER 7176 NEW BEST:: SOT 32967 SOS 10090 HAS SOPS 10090 HAS SOUS 5832 HAS SOUPS 5832 WITH SCORE 5842.09
AT ITER 7227 NEW BEST:: SOT 32961 SOS 10084 HAS SOPS 10084 HAS SOUS 5826 HAS SOUPS 5826 WITH SCORE 5836.084
AT ITER 7261 NEW BEST:: SOT 32961 SOS 10078 HAS SOPS 10078 HAS SOUS 5820 HAS SOUPS 5820 WITH SCORE 5830.078
AT ITER 7309 NEW BEST:: SOT 32962 SOS 10079 HAS SOPS 10079 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5828.079
AT ITER 7321 NEW BEST:: SOT 32978 SOS 10071 HAS SOPS 10071 HAS SOUS 5810 HAS SOUPS 5810 WITH SCORE 5820.071
AT ITER 7411 NEW BEST:: SOT 32982 SOS 10075 HAS SOPS 10075 HAS SOUS 5805 HAS SOUPS 5805 WITH SCORE 5815.075
AT ITER 7501 NEW BEST:: SOT 32980 SOS 10071 HAS SOPS 10071 HAS SOUS 5801 HAS SOUPS 5801 WITH SCORE 5811.071
AT ITER 7502 NEW BEST:: SOT 32987 SOS 10074 HAS SOPS 10074 HAS SOUS 5794 HAS SOUPS 5794 WITH SCORE 5804.074
AT ITER 7550 NEW BEST:: SOT 32986 SOS 10073 HAS SOPS 10073 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5802.073
AT ITER 7565 NEW BEST:: SOT 32979 SOS 10070 HAS SOPS 10070 HAS SOUS 5789 HAS SOUPS 5789 WITH SCORE 5799.07
AT ITER 7577 NEW BEST:: SOT 32972 SOS 10063 HAS SOPS 10063 HAS SOUS 5784 HAS SOUPS 5784 WITH SCORE 5794.063
AT ITER 7622 NEW BEST:: SOT 32970 SOS 10061 HAS SOPS 10061 HAS SOUS 5782 HAS SOUPS 5782 WITH SCORE 5792.061
AT ITER 7652 NEW BEST:: SOT 32969 SOS 10057 HAS SOPS 10057 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5789.057
AT ITER 7683 NEW BEST:: SOT 32969 SOS 10043 HAS SOPS 10043 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5789.043
AT ITER 7701 NEW BEST:: SOT 32969 SOS 10038 HAS SOPS 10038 HAS SOUS 5779 HAS SOUPS 5779 WITH SCORE 5789.038
AT ITER 7763 NEW BEST:: SOT 32974 SOS 10043 HAS SOPS 10043 HAS SOUS 5776 HAS SOUPS 5776 WITH SCORE 5786.043
AT ITER 7823 NEW BEST:: SOT 32973 SOS 10048 HAS SOPS 10048 HAS SOUS 5774 HAS SOUPS 5774 WITH SCORE 5784.048
AT ITER 7858 NEW BEST:: SOT 32970 SOS 10045 HAS SOPS 10045 HAS SOUS 5768 HAS SOUPS 5768 WITH SCORE 5778.045
AT ITER 7903 NEW BEST:: SOT 32978 SOS 10053 HAS SOPS 10053 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5775.053
AT ITER 8083 NEW BEST:: SOT 32977 SOS 10052 HAS SOPS 10052 HAS SOUS 5763 HAS SOUPS 5763 WITH SCORE 5773.052
AT ITER 8087 NEW BEST:: SOT 32974 SOS 10046 HAS SOPS 10046 HAS SOUS 5756 HAS SOUPS 5756 WITH SCORE 5766.046
AT ITER 8097 NEW BEST:: SOT 32974 SOS 10042 HAS SOPS 10042 HAS SOUS 5752 HAS SOUPS 5752 WITH SCORE 5762.042
AT ITER 8188 NEW BEST:: SOT 32970 SOS 10038 HAS SOPS 10038 HAS SOUS 5745 HAS SOUPS 5745 WITH SCORE 5755.038
AT ITER 8190 NEW BEST:: SOT 32969 SOS 10037 HAS SOPS 10037 HAS SOUS 5743 HAS SOUPS 5743 WITH SCORE 5753.037
AT ITER 8199 NEW BEST:: SOT 32956 SOS 10025 HAS SOPS 10025 HAS SOUS 5730 HAS SOUPS 5730 WITH SCORE 5740.025
AT ITER 8219 NEW BEST:: SOT 32955 SOS 10024 HAS SOPS 10024 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5738.024
AT ITER 8246 NEW BEST:: SOT 32959 SOS 9953 HAS SOPS 9953 HAS SOUS 5725 HAS SOUPS 5725 WITH SCORE 5734.953
AT ITER 8254 NEW BEST:: SOT 32958 SOS 9952 HAS SOPS 9952 HAS SOUS 5724 HAS SOUPS 5724 WITH SCORE 5733.952
AT ITER 8281 NEW BEST:: SOT 32965 SOS 9795 HAS SOPS 9795 HAS SOUS 5720 HAS SOUPS 5720 WITH SCORE 5729.795
AT ITER 8334 NEW BEST:: SOT 32964 SOS 9793 HAS SOPS 9793 HAS SOUS 5719 HAS SOUPS 5719 WITH SCORE 5728.793
AT ITER 8354 NEW BEST:: SOT 32970 SOS 9785 HAS SOPS 9785 HAS SOUS 5717 HAS SOUPS 5717 WITH SCORE 5726.785
AT ITER 8365 NEW BEST:: SOT 32970 SOS 9788 HAS SOPS 9788 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5724.788
AT ITER 8402 NEW BEST:: SOT 32964 SOS 9782 HAS SOPS 9782 HAS SOUS 5703 HAS SOUPS 5703 WITH SCORE 5712.782
AT ITER 8468 NEW BEST:: SOT 32964 SOS 9782 HAS SOPS 9782 HAS SOUS 5700 HAS SOUPS 5700 WITH SCORE 5709.782
AT ITER 8470 NEW BEST:: SOT 32963 SOS 9781 HAS SOPS 9781 HAS SOUS 5698 HAS SOUPS 5698 WITH SCORE 5707.781
AT ITER 8639 NEW BEST:: SOT 32954 SOS 9782 HAS SOPS 9782 HAS SOUS 5683 HAS SOUPS 5683 WITH SCORE 5692.782
AT ITER 8643 NEW BEST:: SOT 32950 SOS 9758 HAS SOPS 9758 HAS SOUS 5675 HAS SOUPS 5675 WITH SCORE 5684.758
AT ITER 8645 NEW BEST:: SOT 32950 SOS 9754 HAS SOPS 9754 HAS SOUS 5671 HAS SOUPS 5671 WITH SCORE 5680.754
AT ITER 8752 NEW BEST:: SOT 32940 SOS 9744 HAS SOPS 9744 HAS SOUS 5664 HAS SOUPS 5664 WITH SCORE 5673.744
AT ITER 8844 NEW BEST:: SOT 32929 SOS 9733 HAS SOPS 9733 HAS SOUS 5653 HAS SOUPS 5653 WITH SCORE 5662.733
AT ITER 8951 NEW BEST:: SOT 32927 SOS 9729 HAS SOPS 9729 HAS SOUS 5649 HAS SOUPS 5649 WITH SCORE 5658.729
AT ITER 8953 NEW BEST:: SOT 32917 SOS 9891 HAS SOPS 9891 HAS SOUS 5639 HAS SOUPS 5639 WITH SCORE 5648.891
AT ITER 9048 NEW BEST:: SOT 32916 SOS 9890 HAS SOPS 9890 HAS SOUS 5634 HAS SOUPS 5634 WITH SCORE 5643.89
AT ITER 9063 NEW BEST:: SOT 32915 SOS 9889 HAS SOPS 9889 HAS SOUS 5633 HAS SOUPS 5633 WITH SCORE 5642.889
AT ITER 9154 NEW BEST:: SOT 32915 SOS 9889 HAS SOPS 9889 HAS SOUS 5631 HAS SOUPS 5631 WITH SCORE 5640.889
AT ITER 9175 NEW BEST:: SOT 32916 SOS 9890 HAS SOPS 9890 HAS SOUS 5626 HAS SOUPS 5626 WITH SCORE 5635.89
AT ITER 9280 NEW BEST:: SOT 32915 SOS 9889 HAS SOPS 9889 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5629.889
AT ITER 9345 NEW BEST:: SOT 32908 SOS 9894 HAS SOPS 9894 HAS SOUS 5618 HAS SOUPS 5618 WITH SCORE 5627.894
AT ITER 9400 NEW BEST:: SOT 32894 SOS 9880 HAS SOPS 9880 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5600.88
AT ITER 9484 NEW BEST:: SOT 32894 SOS 9876 HAS SOPS 9876 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5600.876
AT ITER 9592 NEW BEST:: SOT 32894 SOS 9860 HAS SOPS 9860 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5600.86
AT ITER 9669 NEW BEST:: SOT 32892 SOS 9858 HAS SOPS 9858 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5600.858
AT ITER 9680 NEW BEST:: SOT 32892 SOS 9857 HAS SOPS 9857 HAS SOUS 5591 HAS SOUPS 5591 WITH SCORE 5600.857
AT ITER 9681 NEW BEST:: SOT 32891 SOS 9755 HAS SOPS 9755 HAS SOUS 5587 HAS SOUPS 5587 WITH SCORE 5596.755
AT ITER 9785 NEW BEST:: SOT 32890 SOS 9754 HAS SOPS 9754 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5594.754
AT ITER 9820 NEW BEST:: SOT 32890 SOS 9751 HAS SOPS 9751 HAS SOUS 5585 HAS SOUPS 5585 WITH SCORE 5594.751
AT ITER 9837 NEW BEST:: SOT 32891 SOS 9752 HAS SOPS 9752 HAS SOUS 5581 HAS SOUPS 5581 WITH SCORE 5590.752
AT ITER 9953 NEW BEST:: SOT 32890 SOS 9751 HAS SOPS 9751 HAS SOUS 5579 HAS SOUPS 5579 WITH SCORE 5588.751
STATE_SPACE STATES 173415703035332100000 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 4 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 61 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 3503620994848669590000 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589610622123

--------------------
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="HospitalTriage-PT-none"
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 HospitalTriage-PT-none, 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 r093-oct2-158940140100136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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