About the Execution of Smart for SmartHome-PT-11
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
886.968 | 140939.00 | 141140.00 | 260.00 | 1.9104E+0012 1.7954E+0013 1 12 | normal |
Execution Chart
We display below the execution chart for this examination (boot time has been removed).
Trace from the execution
Formatting '/data/fkordon/mcc2023-input.r451-smll-167912643200240.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is SmartHome-PT-11, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643200240
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 6.3K Feb 26 05:42 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 05:42 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.5K Feb 26 05:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 66K Feb 26 05:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 17:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 17:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 17:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 05:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 26 05:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 05:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 05:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:09 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 71K Mar 5 18:23 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 1679183450301
bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SmartHome-PT-11
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 11
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart
Filename model.pnml
Petri model created: 290 places, 315 transitions, 722 arcs.
AT ITER 0 NEW BEST:: SOT 55680 SOS 14283 HAS SOPS 14283 HAS SOUS 13862 HAS SOUPS 13862 WITH SCORE 13876.283
AT ITER 2 NEW BEST:: SOT 55654 SOS 14261 HAS SOPS 14261 HAS SOUS 13838 HAS SOUPS 13838 WITH SCORE 13852.261
AT ITER 5 NEW BEST:: SOT 55640 SOS 14240 HAS SOPS 14240 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13831.24
AT ITER 11 NEW BEST:: SOT 55639 SOS 14238 HAS SOPS 14238 HAS SOUS 13816 HAS SOUPS 13816 WITH SCORE 13830.238
AT ITER 12 NEW BEST:: SOT 55635 SOS 14245 HAS SOPS 14245 HAS SOUS 13796 HAS SOUPS 13796 WITH SCORE 13810.245
AT ITER 20 NEW BEST:: SOT 55611 SOS 14222 HAS SOPS 14222 HAS SOUS 13773 HAS SOUPS 13773 WITH SCORE 13787.222
AT ITER 21 NEW BEST:: SOT 55575 SOS 14200 HAS SOPS 14200 HAS SOUS 13751 HAS SOUPS 13751 WITH SCORE 13765.2
AT ITER 30 NEW BEST:: SOT 55585 SOS 14196 HAS SOPS 14196 HAS SOUS 13719 HAS SOUPS 13719 WITH SCORE 13733.196
AT ITER 31 NEW BEST:: SOT 55585 SOS 14192 HAS SOPS 14192 HAS SOUS 13715 HAS SOUPS 13715 WITH SCORE 13729.192
AT ITER 45 NEW BEST:: SOT 55585 SOS 14178 HAS SOPS 14178 HAS SOUS 13701 HAS SOUPS 13701 WITH SCORE 13715.178
AT ITER 51 NEW BEST:: SOT 55584 SOS 14176 HAS SOPS 14176 HAS SOUS 13699 HAS SOUPS 13699 WITH SCORE 13713.176
AT ITER 53 NEW BEST:: SOT 55653 SOS 14175 HAS SOPS 14175 HAS SOUS 13698 HAS SOUPS 13698 WITH SCORE 13712.175
AT ITER 57 NEW BEST:: SOT 54922 SOS 14354 HAS SOPS 14354 HAS SOUS 13092 HAS SOUPS 13092 WITH SCORE 13106.354
AT ITER 59 NEW BEST:: SOT 54896 SOS 14343 HAS SOPS 14343 HAS SOUS 13066 HAS SOUPS 13066 WITH SCORE 13080.343
AT ITER 72 NEW BEST:: SOT 54874 SOS 14332 HAS SOPS 14332 HAS SOUS 13026 HAS SOUPS 13026 WITH SCORE 13040.332
AT ITER 76 NEW BEST:: SOT 54872 SOS 14328 HAS SOPS 14328 HAS SOUS 12972 HAS SOUPS 12972 WITH SCORE 12986.328
AT ITER 77 NEW BEST:: SOT 54848 SOS 14299 HAS SOPS 14299 HAS SOUS 12943 HAS SOUPS 12943 WITH SCORE 12957.299
AT ITER 82 NEW BEST:: SOT 54839 SOS 14254 HAS SOPS 14254 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12928.254
AT ITER 85 NEW BEST:: SOT 54814 SOS 14204 HAS SOPS 14204 HAS SOUS 12864 HAS SOUPS 12864 WITH SCORE 12878.204
AT ITER 95 NEW BEST:: SOT 54814 SOS 14104 HAS SOPS 14104 HAS SOUS 12764 HAS SOUPS 12764 WITH SCORE 12778.104
AT ITER 97 NEW BEST:: SOT 54728 SOS 13975 HAS SOPS 13975 HAS SOUS 12678 HAS SOUPS 12678 WITH SCORE 12691.975
AT ITER 98 NEW BEST:: SOT 54324 SOS 13755 HAS SOPS 13755 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12325.755
AT ITER 103 NEW BEST:: SOT 54320 SOS 13728 HAS SOPS 13728 HAS SOUS 12285 HAS SOUPS 12285 WITH SCORE 12298.728
AT ITER 111 NEW BEST:: SOT 54277 SOS 13642 HAS SOPS 13642 HAS SOUS 12258 HAS SOUPS 12258 WITH SCORE 12271.642
AT ITER 118 NEW BEST:: SOT 53616 SOS 13352 HAS SOPS 13352 HAS SOUS 11677 HAS SOUPS 11677 WITH SCORE 11690.352
AT ITER 124 NEW BEST:: SOT 53592 SOS 13325 HAS SOPS 13325 HAS SOUS 11653 HAS SOUPS 11653 WITH SCORE 11666.325
AT ITER 126 NEW BEST:: SOT 53218 SOS 14431 HAS SOPS 14431 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11523.431
AT ITER 153 NEW BEST:: SOT 53218 SOS 14424 HAS SOPS 14424 HAS SOUS 11502 HAS SOUPS 11502 WITH SCORE 11516.424
AT ITER 177 NEW BEST:: SOT 53212 SOS 14412 HAS SOPS 14412 HAS SOUS 11484 HAS SOUPS 11484 WITH SCORE 11498.412
AT ITER 182 NEW BEST:: SOT 52931 SOS 15581 HAS SOPS 15581 HAS SOUS 11399 HAS SOUPS 11399 WITH SCORE 11414.581
AT ITER 183 NEW BEST:: SOT 52876 SOS 15526 HAS SOPS 15526 HAS SOUS 11344 HAS SOUPS 11344 WITH SCORE 11359.526
AT ITER 187 NEW BEST:: SOT 52876 SOS 15526 HAS SOPS 15526 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11358.526
AT ITER 273 NEW BEST:: SOT 52817 SOS 15458 HAS SOPS 15458 HAS SOUS 11331 HAS SOUPS 11331 WITH SCORE 11346.458
AT ITER 277 NEW BEST:: SOT 52817 SOS 15460 HAS SOPS 15460 HAS SOUS 11259 HAS SOUPS 11259 WITH SCORE 11274.46
AT ITER 323 NEW BEST:: SOT 52816 SOS 15458 HAS SOPS 15458 HAS SOUS 11258 HAS SOUPS 11258 WITH SCORE 11273.458
AT ITER 331 NEW BEST:: SOT 52634 SOS 15234 HAS SOPS 15234 HAS SOUS 11210 HAS SOUPS 11210 WITH SCORE 11225.234
AT ITER 337 NEW BEST:: SOT 52634 SOS 15231 HAS SOPS 15231 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11222.231
AT ITER 360 NEW BEST:: SOT 52625 SOS 15213 HAS SOPS 15213 HAS SOUS 11184 HAS SOUPS 11184 WITH SCORE 11199.213
AT ITER 371 NEW BEST:: SOT 52625 SOS 15166 HAS SOPS 15166 HAS SOUS 11137 HAS SOUPS 11137 WITH SCORE 11152.166
AT ITER 380 NEW BEST:: SOT 52597 SOS 15166 HAS SOPS 15166 HAS SOUS 11109 HAS SOUPS 11109 WITH SCORE 11124.166
AT ITER 383 NEW BEST:: SOT 52593 SOS 15158 HAS SOPS 15158 HAS SOUS 11101 HAS SOUPS 11101 WITH SCORE 11116.158
AT ITER 384 NEW BEST:: SOT 52589 SOS 15143 HAS SOPS 15143 HAS SOUS 11097 HAS SOUPS 11097 WITH SCORE 11112.143
AT ITER 393 NEW BEST:: SOT 52540 SOS 15100 HAS SOPS 15100 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11069.1
AT ITER 396 NEW BEST:: SOT 52479 SOS 15029 HAS SOPS 15029 HAS SOUS 10961 HAS SOUPS 10961 WITH SCORE 10976.029
AT ITER 409 NEW BEST:: SOT 52485 SOS 15027 HAS SOPS 15027 HAS SOUS 10959 HAS SOUPS 10959 WITH SCORE 10974.027
AT ITER 414 NEW BEST:: SOT 52442 SOS 14941 HAS SOPS 14941 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10906.941
AT ITER 416 NEW BEST:: SOT 52333 SOS 14832 HAS SOPS 14832 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10906.832
AT ITER 423 NEW BEST:: SOT 52322 SOS 14799 HAS SOPS 14799 HAS SOUS 10870 HAS SOUPS 10870 WITH SCORE 10884.799
AT ITER 424 NEW BEST:: SOT 52310 SOS 14778 HAS SOPS 14778 HAS SOUS 10829 HAS SOUPS 10829 WITH SCORE 10843.778
AT ITER 449 NEW BEST:: SOT 52309 SOS 14777 HAS SOPS 14777 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10842.777
AT ITER 459 NEW BEST:: SOT 52309 SOS 14597 HAS SOPS 14597 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10830.597
AT ITER 478 NEW BEST:: SOT 52301 SOS 14589 HAS SOPS 14589 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10828.589
AT ITER 479 NEW BEST:: SOT 52262 SOS 14511 HAS SOPS 14511 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10789.511
AT ITER 487 NEW BEST:: SOT 52261 SOS 14508 HAS SOPS 14508 HAS SOUS 10772 HAS SOUPS 10772 WITH SCORE 10786.508
AT ITER 497 NEW BEST:: SOT 52259 SOS 14504 HAS SOPS 14504 HAS SOUS 10768 HAS SOUPS 10768 WITH SCORE 10782.504
AT ITER 498 NEW BEST:: SOT 52218 SOS 14468 HAS SOPS 14468 HAS SOUS 10732 HAS SOUPS 10732 WITH SCORE 10746.468
AT ITER 525 NEW BEST:: SOT 52221 SOS 14486 HAS SOPS 14486 HAS SOUS 10707 HAS SOUPS 10707 WITH SCORE 10721.486
AT ITER 535 NEW BEST:: SOT 52187 SOS 14418 HAS SOPS 14418 HAS SOUS 10673 HAS SOUPS 10673 WITH SCORE 10687.418
AT ITER 559 NEW BEST:: SOT 52125 SOS 14390 HAS SOPS 14390 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10628.39
AT ITER 565 NEW BEST:: SOT 52117 SOS 14382 HAS SOPS 14382 HAS SOUS 10606 HAS SOUPS 10606 WITH SCORE 10620.382
AT ITER 575 NEW BEST:: SOT 52110 SOS 14354 HAS SOPS 14354 HAS SOUS 10592 HAS SOUPS 10592 WITH SCORE 10606.354
AT ITER 587 NEW BEST:: SOT 52076 SOS 14286 HAS SOPS 14286 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10544.286
AT ITER 594 NEW BEST:: SOT 52065 SOS 14254 HAS SOPS 14254 HAS SOUS 10498 HAS SOUPS 10498 WITH SCORE 10512.254
AT ITER 601 NEW BEST:: SOT 52049 SOS 14238 HAS SOPS 14238 HAS SOUS 10482 HAS SOUPS 10482 WITH SCORE 10496.238
AT ITER 602 NEW BEST:: SOT 52053 SOS 14223 HAS SOPS 14223 HAS SOUS 10466 HAS SOUPS 10466 WITH SCORE 10480.223
AT ITER 603 NEW BEST:: SOT 52043 SOS 14203 HAS SOPS 14203 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10470.203
AT ITER 647 NEW BEST:: SOT 52047 SOS 14201 HAS SOPS 14201 HAS SOUS 10452 HAS SOUPS 10452 WITH SCORE 10466.201
AT ITER 658 NEW BEST:: SOT 52047 SOS 14201 HAS SOPS 14201 HAS SOUS 10425 HAS SOUPS 10425 WITH SCORE 10439.201
AT ITER 665 NEW BEST:: SOT 52020 SOS 14206 HAS SOPS 14206 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10397.206
AT ITER 706 NEW BEST:: SOT 51978 SOS 14164 HAS SOPS 14164 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10397.164
AT ITER 742 NEW BEST:: SOT 51927 SOS 14062 HAS SOPS 14062 HAS SOUS 10332 HAS SOUPS 10332 WITH SCORE 10346.062
AT ITER 755 NEW BEST:: SOT 51924 SOS 14135 HAS SOPS 14135 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10343.135
AT ITER 757 NEW BEST:: SOT 51924 SOS 14140 HAS SOPS 14140 HAS SOUS 10324 HAS SOUPS 10324 WITH SCORE 10338.14
AT ITER 769 NEW BEST:: SOT 51914 SOS 14130 HAS SOPS 14130 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10328.13
AT ITER 774 NEW BEST:: SOT 51880 SOS 14039 HAS SOPS 14039 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10253.039
AT ITER 781 NEW BEST:: SOT 51879 SOS 14015 HAS SOPS 14015 HAS SOUS 10215 HAS SOUPS 10215 WITH SCORE 10229.015
AT ITER 795 NEW BEST:: SOT 51857 SOS 13993 HAS SOPS 13993 HAS SOUS 10193 HAS SOUPS 10193 WITH SCORE 10206.993
AT ITER 809 NEW BEST:: SOT 51847 SOS 13983 HAS SOPS 13983 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10196.983
AT ITER 834 NEW BEST:: SOT 51760 SOS 13896 HAS SOPS 13896 HAS SOUS 10183 HAS SOUPS 10183 WITH SCORE 10196.896
AT ITER 835 NEW BEST:: SOT 51748 SOS 13884 HAS SOPS 13884 HAS SOUS 10171 HAS SOUPS 10171 WITH SCORE 10184.884
AT ITER 889 NEW BEST:: SOT 51698 SOS 13784 HAS SOPS 13784 HAS SOUS 10088 HAS SOUPS 10088 WITH SCORE 10101.784
AT ITER 891 NEW BEST:: SOT 51698 SOS 13784 HAS SOPS 13784 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10096.784
AT ITER 904 NEW BEST:: SOT 51713 SOS 13783 HAS SOPS 13783 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10095.783
AT ITER 905 NEW BEST:: SOT 51710 SOS 13763 HAS SOPS 13763 HAS SOUS 10072 HAS SOUPS 10072 WITH SCORE 10085.763
AT ITER 916 NEW BEST:: SOT 51710 SOS 13761 HAS SOPS 13761 HAS SOUS 10070 HAS SOUPS 10070 WITH SCORE 10083.761
AT ITER 946 NEW BEST:: SOT 51703 SOS 13740 HAS SOPS 13740 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10069.74
AT ITER 998 NEW BEST:: SOT 51694 SOS 13757 HAS SOPS 13757 HAS SOUS 10038 HAS SOUPS 10038 WITH SCORE 10051.757
AT ITER 1000 NEW BEST:: SOT 51717 SOS 13702 HAS SOPS 13702 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10018.702
AT ITER 1020 NEW BEST:: SOT 51720 SOS 13708 HAS SOPS 13708 HAS SOUS 9945 HAS SOUPS 9945 WITH SCORE 9958.708
AT ITER 1027 NEW BEST:: SOT 51676 SOS 13620 HAS SOPS 13620 HAS SOUS 9901 HAS SOUPS 9901 WITH SCORE 9914.62
AT ITER 1064 NEW BEST:: SOT 51618 SOS 13504 HAS SOPS 13504 HAS SOUS 9891 HAS SOUPS 9891 WITH SCORE 9904.504
AT ITER 1097 NEW BEST:: SOT 51601 SOS 13487 HAS SOPS 13487 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9879.487
AT ITER 1102 NEW BEST:: SOT 51571 SOS 13427 HAS SOPS 13427 HAS SOUS 9866 HAS SOUPS 9866 WITH SCORE 9879.427
AT ITER 1104 NEW BEST:: SOT 51566 SOS 13422 HAS SOPS 13422 HAS SOUS 9861 HAS SOUPS 9861 WITH SCORE 9874.422
AT ITER 1109 NEW BEST:: SOT 51550 SOS 13410 HAS SOPS 13410 HAS SOUS 9854 HAS SOUPS 9854 WITH SCORE 9867.41
AT ITER 1117 NEW BEST:: SOT 51550 SOS 13387 HAS SOPS 13387 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9844.387
AT ITER 1120 NEW BEST:: SOT 51550 SOS 13387 HAS SOPS 13387 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9840.387
AT ITER 1122 NEW BEST:: SOT 51549 SOS 13385 HAS SOPS 13385 HAS SOUS 9825 HAS SOUPS 9825 WITH SCORE 9838.385
AT ITER 1137 NEW BEST:: SOT 51285 SOS 13346 HAS SOPS 13346 HAS SOUS 9541 HAS SOUPS 9541 WITH SCORE 9554.346
AT ITER 1145 NEW BEST:: SOT 51277 SOS 13330 HAS SOPS 13330 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9538.33
AT ITER 1151 NEW BEST:: SOT 51277 SOS 13329 HAS SOPS 13329 HAS SOUS 9524 HAS SOUPS 9524 WITH SCORE 9537.329
AT ITER 1200 NEW BEST:: SOT 51274 SOS 13757 HAS SOPS 13757 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9534.757
AT ITER 1228 NEW BEST:: SOT 51273 SOS 13756 HAS SOPS 13756 HAS SOUS 9521 HAS SOUPS 9521 WITH SCORE 9534.756
AT ITER 1232 NEW BEST:: SOT 51241 SOS 13758 HAS SOPS 13758 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9502.758
AT ITER 1237 NEW BEST:: SOT 51241 SOS 13692 HAS SOPS 13692 HAS SOUS 9489 HAS SOUPS 9489 WITH SCORE 9502.692
AT ITER 1273 NEW BEST:: SOT 51220 SOS 13650 HAS SOPS 13650 HAS SOUS 9473 HAS SOUPS 9473 WITH SCORE 9486.65
AT ITER 1284 NEW BEST:: SOT 51220 SOS 13624 HAS SOPS 13624 HAS SOUS 9447 HAS SOUPS 9447 WITH SCORE 9460.624
AT ITER 1308 NEW BEST:: SOT 51116 SOS 13526 HAS SOPS 13526 HAS SOUS 9442 HAS SOUPS 9442 WITH SCORE 9455.526
AT ITER 1322 NEW BEST:: SOT 51073 SOS 13440 HAS SOPS 13440 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9344.44
AT ITER 1342 NEW BEST:: SOT 51065 SOS 13492 HAS SOPS 13492 HAS SOUS 9328 HAS SOUPS 9328 WITH SCORE 9341.492
AT ITER 1369 NEW BEST:: SOT 51039 SOS 13446 HAS SOPS 13446 HAS SOUS 9316 HAS SOUPS 9316 WITH SCORE 9329.446
AT ITER 1384 NEW BEST:: SOT 51019 SOS 13426 HAS SOPS 13426 HAS SOUS 9296 HAS SOUPS 9296 WITH SCORE 9309.426
AT ITER 1411 NEW BEST:: SOT 50999 SOS 13386 HAS SOPS 13386 HAS SOUS 9278 HAS SOUPS 9278 WITH SCORE 9291.386
AT ITER 1439 NEW BEST:: SOT 50975 SOS 13352 HAS SOPS 13352 HAS SOUS 9244 HAS SOUPS 9244 WITH SCORE 9257.352
AT ITER 1455 NEW BEST:: SOT 51011 SOS 13278 HAS SOPS 13278 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9211.278
AT ITER 1474 NEW BEST:: SOT 51001 SOS 13268 HAS SOPS 13268 HAS SOUS 9196 HAS SOUPS 9196 WITH SCORE 9209.268
AT ITER 1480 NEW BEST:: SOT 51001 SOS 13256 HAS SOPS 13256 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9205.256
AT ITER 1486 NEW BEST:: SOT 50958 SOS 13170 HAS SOPS 13170 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9162.17
AT ITER 1499 NEW BEST:: SOT 50930 SOS 13141 HAS SOPS 13141 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9133.141
AT ITER 1508 NEW BEST:: SOT 50930 SOS 13136 HAS SOPS 13136 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9128.136
AT ITER 1520 NEW BEST:: SOT 50914 SOS 13120 HAS SOPS 13120 HAS SOUS 9115 HAS SOUPS 9115 WITH SCORE 9128.12
AT ITER 1558 NEW BEST:: SOT 50884 SOS 13088 HAS SOPS 13088 HAS SOUS 9083 HAS SOUPS 9083 WITH SCORE 9096.088
AT ITER 1563 NEW BEST:: SOT 50820 SOS 13018 HAS SOPS 13018 HAS SOUS 9069 HAS SOUPS 9069 WITH SCORE 9082.018
AT ITER 1579 NEW BEST:: SOT 50820 SOS 13013 HAS SOPS 13013 HAS SOUS 9064 HAS SOUPS 9064 WITH SCORE 9077.013
AT ITER 1624 NEW BEST:: SOT 50819 SOS 13010 HAS SOPS 13010 HAS SOUS 9062 HAS SOUPS 9062 WITH SCORE 9075.01
AT ITER 1640 NEW BEST:: SOT 50785 SOS 12985 HAS SOPS 12985 HAS SOUS 9059 HAS SOUPS 9059 WITH SCORE 9071.985
AT ITER 1648 NEW BEST:: SOT 50744 SOS 13012 HAS SOPS 13012 HAS SOUS 9058 HAS SOUPS 9058 WITH SCORE 9071.012
AT ITER 1658 NEW BEST:: SOT 50689 SOS 12957 HAS SOPS 12957 HAS SOUS 9003 HAS SOUPS 9003 WITH SCORE 9015.957
AT ITER 1679 NEW BEST:: SOT 50688 SOS 12955 HAS SOPS 12955 HAS SOUS 9001 HAS SOUPS 9001 WITH SCORE 9013.955
AT ITER 1698 NEW BEST:: SOT 50682 SOS 12943 HAS SOPS 12943 HAS SOUS 8997 HAS SOUPS 8997 WITH SCORE 9009.943
AT ITER 1718 NEW BEST:: SOT 50666 SOS 12924 HAS SOPS 12924 HAS SOUS 8994 HAS SOUPS 8994 WITH SCORE 9006.924
AT ITER 1720 NEW BEST:: SOT 50666 SOS 12918 HAS SOPS 12918 HAS SOUS 8989 HAS SOUPS 8989 WITH SCORE 9001.918
AT ITER 1733 NEW BEST:: SOT 50675 SOS 12918 HAS SOPS 12918 HAS SOUS 8980 HAS SOUPS 8980 WITH SCORE 8992.918
AT ITER 1758 NEW BEST:: SOT 50684 SOS 12936 HAS SOPS 12936 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8980.936
AT ITER 1767 NEW BEST:: SOT 50653 SOS 12588 HAS SOPS 12588 HAS SOUS 8915 HAS SOUPS 8915 WITH SCORE 8927.588
AT ITER 1798 NEW BEST:: SOT 50615 SOS 12506 HAS SOPS 12506 HAS SOUS 8839 HAS SOUPS 8839 WITH SCORE 8851.506
AT ITER 1808 NEW BEST:: SOT 50613 SOS 12502 HAS SOPS 12502 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8849.502
AT ITER 1820 NEW BEST:: SOT 50549 SOS 12406 HAS SOPS 12406 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8785.406
AT ITER 1824 NEW BEST:: SOT 50540 SOS 12388 HAS SOPS 12388 HAS SOUS 8757 HAS SOUPS 8757 WITH SCORE 8769.388
AT ITER 1829 NEW BEST:: SOT 50523 SOS 12426 HAS SOPS 12426 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8752.426
AT ITER 1837 NEW BEST:: SOT 50523 SOS 12423 HAS SOPS 12423 HAS SOUS 8740 HAS SOUPS 8740 WITH SCORE 8752.423
AT ITER 1851 NEW BEST:: SOT 50512 SOS 12412 HAS SOPS 12412 HAS SOUS 8738 HAS SOUPS 8738 WITH SCORE 8750.412
AT ITER 1864 NEW BEST:: SOT 50476 SOS 12340 HAS SOPS 12340 HAS SOUS 8702 HAS SOUPS 8702 WITH SCORE 8714.34
AT ITER 1869 NEW BEST:: SOT 50444 SOS 12308 HAS SOPS 12308 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8685.308
AT ITER 1883 NEW BEST:: SOT 50444 SOS 12304 HAS SOPS 12304 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8685.304
AT ITER 1902 NEW BEST:: SOT 50433 SOS 12293 HAS SOPS 12293 HAS SOUS 8662 HAS SOUPS 8662 WITH SCORE 8674.293
AT ITER 1952 NEW BEST:: SOT 50419 SOS 12265 HAS SOPS 12265 HAS SOUS 8634 HAS SOUPS 8634 WITH SCORE 8646.265
AT ITER 2008 NEW BEST:: SOT 50397 SOS 12239 HAS SOPS 12239 HAS SOUS 8590 HAS SOUPS 8590 WITH SCORE 8602.239
AT ITER 2045 NEW BEST:: SOT 50397 SOS 12239 HAS SOPS 12239 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8593.239
AT ITER 2056 NEW BEST:: SOT 50372 SOS 12205 HAS SOPS 12205 HAS SOUS 8563 HAS SOUPS 8563 WITH SCORE 8575.205
AT ITER 2085 NEW BEST:: SOT 50372 SOS 12205 HAS SOPS 12205 HAS SOUS 8561 HAS SOUPS 8561 WITH SCORE 8573.205
AT ITER 2092 NEW BEST:: SOT 50363 SOS 12241 HAS SOPS 12241 HAS SOUS 8556 HAS SOUPS 8556 WITH SCORE 8568.241
AT ITER 2094 NEW BEST:: SOT 50314 SOS 12143 HAS SOPS 12143 HAS SOUS 8507 HAS SOUPS 8507 WITH SCORE 8519.143
AT ITER 2105 NEW BEST:: SOT 50266 SOS 12087 HAS SOPS 12087 HAS SOUS 8477 HAS SOUPS 8477 WITH SCORE 8489.087
AT ITER 2125 NEW BEST:: SOT 50266 SOS 12078 HAS SOPS 12078 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8471.078
AT ITER 2146 NEW BEST:: SOT 50263 SOS 12052 HAS SOPS 12052 HAS SOUS 8459 HAS SOUPS 8459 WITH SCORE 8471.052
AT ITER 2154 NEW BEST:: SOT 50429 SOS 12092 HAS SOPS 12092 HAS SOUS 8447 HAS SOUPS 8447 WITH SCORE 8459.092
AT ITER 2197 NEW BEST:: SOT 50421 SOS 12132 HAS SOPS 12132 HAS SOUS 8444 HAS SOUPS 8444 WITH SCORE 8456.132
AT ITER 2198 NEW BEST:: SOT 50412 SOS 12114 HAS SOPS 12114 HAS SOUS 8435 HAS SOUPS 8435 WITH SCORE 8447.114
AT ITER 2230 NEW BEST:: SOT 50410 SOS 12110 HAS SOPS 12110 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8443.11
AT ITER 2232 NEW BEST:: SOT 50352 SOS 11994 HAS SOPS 11994 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8440.994
AT ITER 2249 NEW BEST:: SOT 50385 SOS 11863 HAS SOPS 11863 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8393.863
AT ITER 2252 NEW BEST:: SOT 50384 SOS 11862 HAS SOPS 11862 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8393.862
AT ITER 2282 NEW BEST:: SOT 50380 SOS 11858 HAS SOPS 11858 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8389.858
AT ITER 2300 NEW BEST:: SOT 50376 SOS 11850 HAS SOPS 11850 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8389.85
AT ITER 2315 NEW BEST:: SOT 50405 SOS 11862 HAS SOPS 11862 HAS SOUS 8372 HAS SOUPS 8372 WITH SCORE 8383.862
AT ITER 2331 NEW BEST:: SOT 50380 SOS 11852 HAS SOPS 11852 HAS SOUS 8362 HAS SOUPS 8362 WITH SCORE 8373.852
AT ITER 2351 NEW BEST:: SOT 50379 SOS 11850 HAS SOPS 11850 HAS SOUS 8360 HAS SOUPS 8360 WITH SCORE 8371.85
AT ITER 2372 NEW BEST:: SOT 50345 SOS 12448 HAS SOPS 12448 HAS SOUS 8336 HAS SOUPS 8336 WITH SCORE 8348.448
AT ITER 2376 NEW BEST:: SOT 50406 SOS 12503 HAS SOPS 12503 HAS SOUS 8297 HAS SOUPS 8297 WITH SCORE 8309.503
AT ITER 2385 NEW BEST:: SOT 50406 SOS 12500 HAS SOPS 12500 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8306.5
AT ITER 2418 NEW BEST:: SOT 50252 SOS 12889 HAS SOPS 12889 HAS SOUS 8237 HAS SOUPS 8237 WITH SCORE 8249.889
AT ITER 2423 NEW BEST:: SOT 50259 SOS 12857 HAS SOPS 12857 HAS SOUS 8205 HAS SOUPS 8205 WITH SCORE 8217.857
AT ITER 2435 NEW BEST:: SOT 50258 SOS 12856 HAS SOPS 12856 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8215.856
AT ITER 2485 NEW BEST:: SOT 50255 SOS 12850 HAS SOPS 12850 HAS SOUS 8197 HAS SOUPS 8197 WITH SCORE 8209.85
AT ITER 2508 NEW BEST:: SOT 50243 SOS 12798 HAS SOPS 12798 HAS SOUS 8164 HAS SOUPS 8164 WITH SCORE 8176.798
AT ITER 2510 NEW BEST:: SOT 50240 SOS 12792 HAS SOPS 12792 HAS SOUS 8161 HAS SOUPS 8161 WITH SCORE 8173.792
AT ITER 2520 NEW BEST:: SOT 50218 SOS 12782 HAS SOPS 12782 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8163.782
AT ITER 2525 NEW BEST:: SOT 50117 SOS 12681 HAS SOPS 12681 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8120.681
AT ITER 2548 NEW BEST:: SOT 50117 SOS 12662 HAS SOPS 12662 HAS SOUS 8089 HAS SOUPS 8089 WITH SCORE 8101.662
AT ITER 2553 NEW BEST:: SOT 50113 SOS 12658 HAS SOPS 12658 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8097.658
AT ITER 2562 NEW BEST:: SOT 50105 SOS 12647 HAS SOPS 12647 HAS SOUS 8079 HAS SOUPS 8079 WITH SCORE 8091.647
AT ITER 2615 NEW BEST:: SOT 50103 SOS 12637 HAS SOPS 12637 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8089.637
AT ITER 2626 NEW BEST:: SOT 50088 SOS 12622 HAS SOPS 12622 HAS SOUS 8062 HAS SOUPS 8062 WITH SCORE 8074.622
AT ITER 2657 NEW BEST:: SOT 50078 SOS 12618 HAS SOPS 12618 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8070.618
AT ITER 2676 NEW BEST:: SOT 50076 SOS 12614 HAS SOPS 12614 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8066.614
AT ITER 2692 NEW BEST:: SOT 50076 SOS 12605 HAS SOPS 12605 HAS SOUS 8054 HAS SOUPS 8054 WITH SCORE 8066.605
AT ITER 2698 NEW BEST:: SOT 50069 SOS 12597 HAS SOPS 12597 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8062.597
AT ITER 2748 NEW BEST:: SOT 50067 SOS 12595 HAS SOPS 12595 HAS SOUS 8050 HAS SOUPS 8050 WITH SCORE 8062.595
AT ITER 2770 NEW BEST:: SOT 50066 SOS 12594 HAS SOPS 12594 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8060.594
AT ITER 2820 NEW BEST:: SOT 50060 SOS 12582 HAS SOPS 12582 HAS SOUS 8036 HAS SOUPS 8036 WITH SCORE 8048.582
AT ITER 2934 NEW BEST:: SOT 50105 SOS 12651 HAS SOPS 12651 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8039.651
AT ITER 2954 NEW BEST:: SOT 50049 SOS 12591 HAS SOPS 12591 HAS SOUS 7996 HAS SOUPS 7996 WITH SCORE 8008.591
AT ITER 2968 NEW BEST:: SOT 50048 SOS 12534 HAS SOPS 12534 HAS SOUS 7988 HAS SOUPS 7988 WITH SCORE 8000.534
AT ITER 2974 NEW BEST:: SOT 50038 SOS 12522 HAS SOPS 12522 HAS SOUS 7976 HAS SOUPS 7976 WITH SCORE 7988.522
AT ITER 2982 NEW BEST:: SOT 50040 SOS 12499 HAS SOPS 12499 HAS SOUS 7974 HAS SOUPS 7974 WITH SCORE 7986.499
AT ITER 2987 NEW BEST:: SOT 50037 SOS 12493 HAS SOPS 12493 HAS SOUS 7962 HAS SOUPS 7962 WITH SCORE 7974.493
AT ITER 3055 NEW BEST:: SOT 50037 SOS 12493 HAS SOPS 12493 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7963.493
AT ITER 3063 NEW BEST:: SOT 50033 SOS 12487 HAS SOPS 12487 HAS SOUS 7949 HAS SOUPS 7949 WITH SCORE 7961.487
AT ITER 3068 NEW BEST:: SOT 50019 SOS 12472 HAS SOPS 12472 HAS SOUS 7934 HAS SOUPS 7934 WITH SCORE 7946.472
AT ITER 3097 NEW BEST:: SOT 50012 SOS 12458 HAS SOPS 12458 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7932.458
AT ITER 3163 NEW BEST:: SOT 50000 SOS 12446 HAS SOPS 12446 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7914.446
AT ITER 3174 NEW BEST:: SOT 49999 SOS 12445 HAS SOPS 12445 HAS SOUS 7901 HAS SOUPS 7901 WITH SCORE 7913.445
AT ITER 3219 NEW BEST:: SOT 49999 SOS 12443 HAS SOPS 12443 HAS SOUS 7899 HAS SOUPS 7899 WITH SCORE 7911.443
AT ITER 3229 NEW BEST:: SOT 49999 SOS 12436 HAS SOPS 12436 HAS SOUS 7892 HAS SOUPS 7892 WITH SCORE 7904.436
AT ITER 3284 NEW BEST:: SOT 49992 SOS 12424 HAS SOPS 12424 HAS SOUS 7880 HAS SOUPS 7880 WITH SCORE 7892.424
AT ITER 3313 NEW BEST:: SOT 49993 SOS 12424 HAS SOPS 12424 HAS SOUS 7879 HAS SOUPS 7879 WITH SCORE 7891.424
AT ITER 3332 NEW BEST:: SOT 49984 SOS 12397 HAS SOPS 12397 HAS SOUS 7861 HAS SOUPS 7861 WITH SCORE 7873.397
AT ITER 3386 NEW BEST:: SOT 49983 SOS 12384 HAS SOPS 12384 HAS SOUS 7860 HAS SOUPS 7860 WITH SCORE 7872.384
AT ITER 3415 NEW BEST:: SOT 49983 SOS 12358 HAS SOPS 12358 HAS SOUS 7858 HAS SOUPS 7858 WITH SCORE 7870.358
AT ITER 3416 NEW BEST:: SOT 49969 SOS 12330 HAS SOPS 12330 HAS SOUS 7845 HAS SOUPS 7845 WITH SCORE 7857.33
AT ITER 3419 NEW BEST:: SOT 49968 SOS 12328 HAS SOPS 12328 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7855.328
AT ITER 3442 NEW BEST:: SOT 49965 SOS 12325 HAS SOPS 12325 HAS SOUS 7840 HAS SOUPS 7840 WITH SCORE 7852.325
AT ITER 3450 NEW BEST:: SOT 49965 SOS 12325 HAS SOPS 12325 HAS SOUS 7839 HAS SOUPS 7839 WITH SCORE 7851.325
AT ITER 3451 NEW BEST:: SOT 49961 SOS 12317 HAS SOPS 12317 HAS SOUS 7831 HAS SOUPS 7831 WITH SCORE 7843.317
AT ITER 3466 NEW BEST:: SOT 49964 SOS 12323 HAS SOPS 12323 HAS SOUS 7829 HAS SOUPS 7829 WITH SCORE 7841.323
AT ITER 3475 NEW BEST:: SOT 49936 SOS 12323 HAS SOPS 12323 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7811.323
AT ITER 3491 NEW BEST:: SOT 49929 SOS 12316 HAS SOPS 12316 HAS SOUS 7799 HAS SOUPS 7799 WITH SCORE 7811.316
AT ITER 3498 NEW BEST:: SOT 49906 SOS 12306 HAS SOPS 12306 HAS SOUS 7789 HAS SOUPS 7789 WITH SCORE 7801.306
AT ITER 3502 NEW BEST:: SOT 49898 SOS 12290 HAS SOPS 12290 HAS SOUS 7773 HAS SOUPS 7773 WITH SCORE 7785.29
AT ITER 3536 NEW BEST:: SOT 49896 SOS 12286 HAS SOPS 12286 HAS SOUS 7770 HAS SOUPS 7770 WITH SCORE 7782.286
AT ITER 3546 NEW BEST:: SOT 49872 SOS 12267 HAS SOPS 12267 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7763.267
AT ITER 3574 NEW BEST:: SOT 49869 SOS 12264 HAS SOPS 12264 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7760.264
AT ITER 3599 NEW BEST:: SOT 49869 SOS 12218 HAS SOPS 12218 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7760.218
AT ITER 3637 NEW BEST:: SOT 49861 SOS 12107 HAS SOPS 12107 HAS SOUS 7721 HAS SOUPS 7721 WITH SCORE 7733.107
AT ITER 3657 NEW BEST:: SOT 49861 SOS 12103 HAS SOPS 12103 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7729.103
AT ITER 3677 NEW BEST:: SOT 49859 SOS 12099 HAS SOPS 12099 HAS SOUS 7713 HAS SOUPS 7713 WITH SCORE 7725.099
AT ITER 3680 NEW BEST:: SOT 49857 SOS 12095 HAS SOPS 12095 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7712.095
AT ITER 3701 NEW BEST:: SOT 49830 SOS 12041 HAS SOPS 12041 HAS SOUS 7700 HAS SOUPS 7700 WITH SCORE 7712.041
AT ITER 3735 NEW BEST:: SOT 49830 SOS 12030 HAS SOPS 12030 HAS SOUS 7689 HAS SOUPS 7689 WITH SCORE 7701.03
AT ITER 3755 NEW BEST:: SOT 49836 SOS 12042 HAS SOPS 12042 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7700.042
AT ITER 3770 NEW BEST:: SOT 49846 SOS 12058 HAS SOPS 12058 HAS SOUS 7665 HAS SOUPS 7665 WITH SCORE 7677.058
AT ITER 3808 NEW BEST:: SOT 49857 SOS 12047 HAS SOPS 12047 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7674.047
AT ITER 3815 NEW BEST:: SOT 49775 SOS 11975 HAS SOPS 11975 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7648.975
AT ITER 3824 NEW BEST:: SOT 49789 SOS 11989 HAS SOPS 11989 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7641.989
AT ITER 3869 NEW BEST:: SOT 49789 SOS 11987 HAS SOPS 11987 HAS SOUS 7630 HAS SOUPS 7630 WITH SCORE 7641.987
AT ITER 3902 NEW BEST:: SOT 49781 SOS 11971 HAS SOPS 11971 HAS SOUS 7626 HAS SOUPS 7626 WITH SCORE 7637.971
AT ITER 3916 NEW BEST:: SOT 49781 SOS 11971 HAS SOPS 11971 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7636.971
AT ITER 3920 NEW BEST:: SOT 49781 SOS 11931 HAS SOPS 11931 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7636.931
AT ITER 3924 NEW BEST:: SOT 49779 SOS 11921 HAS SOPS 11921 HAS SOUS 7621 HAS SOUPS 7621 WITH SCORE 7632.921
AT ITER 3932 NEW BEST:: SOT 49778 SOS 11919 HAS SOPS 11919 HAS SOUS 7615 HAS SOUPS 7615 WITH SCORE 7626.919
AT ITER 3939 NEW BEST:: SOT 49709 SOS 12760 HAS SOPS 12760 HAS SOUS 7610 HAS SOUPS 7610 WITH SCORE 7622.76
AT ITER 3949 NEW BEST:: SOT 49707 SOS 12756 HAS SOPS 12756 HAS SOUS 7606 HAS SOUPS 7606 WITH SCORE 7618.756
AT ITER 3955 NEW BEST:: SOT 49650 SOS 12534 HAS SOPS 12534 HAS SOUS 7493 HAS SOUPS 7493 WITH SCORE 7505.534
AT ITER 3973 NEW BEST:: SOT 49654 SOS 12514 HAS SOPS 12514 HAS SOUS 7473 HAS SOUPS 7473 WITH SCORE 7485.514
AT ITER 4007 NEW BEST:: SOT 49657 SOS 12505 HAS SOPS 12505 HAS SOUS 7470 HAS SOUPS 7470 WITH SCORE 7482.505
AT ITER 4008 NEW BEST:: SOT 49655 SOS 12501 HAS SOPS 12501 HAS SOUS 7461 HAS SOUPS 7461 WITH SCORE 7473.501
AT ITER 4024 NEW BEST:: SOT 49641 SOS 12466 HAS SOPS 12466 HAS SOUS 7449 HAS SOUPS 7449 WITH SCORE 7461.466
AT ITER 4044 NEW BEST:: SOT 49629 SOS 12442 HAS SOPS 12442 HAS SOUS 7420 HAS SOUPS 7420 WITH SCORE 7432.442
AT ITER 4102 NEW BEST:: SOT 49626 SOS 12424 HAS SOPS 12424 HAS SOUS 7396 HAS SOUPS 7396 WITH SCORE 7408.424
AT ITER 4108 NEW BEST:: SOT 49552 SOS 12338 HAS SOPS 12338 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7384.338
AT ITER 4112 NEW BEST:: SOT 49538 SOS 12337 HAS SOPS 12337 HAS SOUS 7371 HAS SOUPS 7371 WITH SCORE 7383.337
AT ITER 4121 NEW BEST:: SOT 49514 SOS 12308 HAS SOPS 12308 HAS SOUS 7361 HAS SOUPS 7361 WITH SCORE 7373.308
AT ITER 4156 NEW BEST:: SOT 49530 SOS 12298 HAS SOPS 12298 HAS SOUS 7358 HAS SOUPS 7358 WITH SCORE 7370.298
AT ITER 4167 NEW BEST:: SOT 49518 SOS 12280 HAS SOPS 12280 HAS SOUS 7355 HAS SOUPS 7355 WITH SCORE 7367.28
AT ITER 4180 NEW BEST:: SOT 49510 SOS 12324 HAS SOPS 12324 HAS SOUS 7351 HAS SOUPS 7351 WITH SCORE 7363.324
AT ITER 4192 NEW BEST:: SOT 49507 SOS 12318 HAS SOPS 12318 HAS SOUS 7345 HAS SOUPS 7345 WITH SCORE 7357.318
AT ITER 4213 NEW BEST:: SOT 49499 SOS 12302 HAS SOPS 12302 HAS SOUS 7338 HAS SOUPS 7338 WITH SCORE 7350.302
AT ITER 4331 NEW BEST:: SOT 49525 SOS 12336 HAS SOPS 12336 HAS SOUS 7337 HAS SOUPS 7337 WITH SCORE 7349.336
AT ITER 4351 NEW BEST:: SOT 49524 SOS 12334 HAS SOPS 12334 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7343.334
AT ITER 4370 NEW BEST:: SOT 49446 SOS 12295 HAS SOPS 12295 HAS SOUS 7331 HAS SOUPS 7331 WITH SCORE 7343.295
AT ITER 4415 NEW BEST:: SOT 49445 SOS 12287 HAS SOPS 12287 HAS SOUS 7323 HAS SOUPS 7323 WITH SCORE 7335.287
AT ITER 4425 NEW BEST:: SOT 49440 SOS 12277 HAS SOPS 12277 HAS SOUS 7320 HAS SOUPS 7320 WITH SCORE 7332.277
AT ITER 4450 NEW BEST:: SOT 49440 SOS 12277 HAS SOPS 12277 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7331.277
AT ITER 4453 NEW BEST:: SOT 49426 SOS 12263 HAS SOPS 12263 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7331.263
AT ITER 4520 NEW BEST:: SOT 49422 SOS 12255 HAS SOPS 12255 HAS SOUS 7311 HAS SOUPS 7311 WITH SCORE 7323.255
AT ITER 4530 NEW BEST:: SOT 49374 SOS 12249 HAS SOPS 12249 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7314.249
AT ITER 4552 NEW BEST:: SOT 49374 SOS 12203 HAS SOPS 12203 HAS SOUS 7302 HAS SOUPS 7302 WITH SCORE 7314.203
AT ITER 4579 NEW BEST:: SOT 49416 SOS 12028 HAS SOPS 12028 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7255.028
AT ITER 4583 NEW BEST:: SOT 49417 SOS 12017 HAS SOPS 12017 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7255.017
AT ITER 4625 NEW BEST:: SOT 49403 SOS 11989 HAS SOPS 11989 HAS SOUS 7243 HAS SOUPS 7243 WITH SCORE 7254.989
AT ITER 4633 NEW BEST:: SOT 49369 SOS 11921 HAS SOPS 11921 HAS SOUS 7209 HAS SOUPS 7209 WITH SCORE 7220.921
AT ITER 4651 NEW BEST:: SOT 49368 SOS 11911 HAS SOPS 11911 HAS SOUS 7206 HAS SOUPS 7206 WITH SCORE 7217.911
AT ITER 4686 NEW BEST:: SOT 49368 SOS 11911 HAS SOPS 11911 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7216.911
AT ITER 4750 NEW BEST:: SOT 49350 SOS 11875 HAS SOPS 11875 HAS SOUS 7187 HAS SOUPS 7187 WITH SCORE 7198.875
AT ITER 4767 NEW BEST:: SOT 49368 SOS 11857 HAS SOPS 11857 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7180.857
AT ITER 4814 NEW BEST:: SOT 49360 SOS 11836 HAS SOPS 11836 HAS SOUS 7156 HAS SOUPS 7156 WITH SCORE 7167.836
AT ITER 4816 NEW BEST:: SOT 49362 SOS 11827 HAS SOPS 11827 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7164.827
AT ITER 4822 NEW BEST:: SOT 49380 SOS 11845 HAS SOPS 11845 HAS SOUS 7139 HAS SOUPS 7139 WITH SCORE 7150.845
AT ITER 4827 NEW BEST:: SOT 49380 SOS 11843 HAS SOPS 11843 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7148.843
AT ITER 4837 NEW BEST:: SOT 49369 SOS 11832 HAS SOPS 11832 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7137.832
AT ITER 4856 NEW BEST:: SOT 49369 SOS 11831 HAS SOPS 11831 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7137.831
AT ITER 4864 NEW BEST:: SOT 49360 SOS 11813 HAS SOPS 11813 HAS SOUS 7108 HAS SOUPS 7108 WITH SCORE 7119.813
AT ITER 4873 NEW BEST:: SOT 49358 SOS 11809 HAS SOPS 11809 HAS SOUS 7106 HAS SOUPS 7106 WITH SCORE 7117.809
AT ITER 4886 NEW BEST:: SOT 49347 SOS 11787 HAS SOPS 11787 HAS SOUS 7104 HAS SOUPS 7104 WITH SCORE 7115.787
AT ITER 4943 NEW BEST:: SOT 49333 SOS 11766 HAS SOPS 11766 HAS SOUS 7090 HAS SOUPS 7090 WITH SCORE 7101.766
AT ITER 4956 NEW BEST:: SOT 49311 SOS 11754 HAS SOPS 11754 HAS SOUS 7078 HAS SOUPS 7078 WITH SCORE 7089.754
AT ITER 4985 NEW BEST:: SOT 49310 SOS 11753 HAS SOPS 11753 HAS SOUS 7077 HAS SOUPS 7077 WITH SCORE 7088.753
AT ITER 4993 NEW BEST:: SOT 49311 SOS 11755 HAS SOPS 11755 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7079.755
AT ITER 5041 NEW BEST:: SOT 49310 SOS 11754 HAS SOPS 11754 HAS SOUS 7068 HAS SOUPS 7068 WITH SCORE 7079.754
AT ITER 5095 NEW BEST:: SOT 49306 SOS 11746 HAS SOPS 11746 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7071.746
AT ITER 5105 NEW BEST:: SOT 49285 SOS 11672 HAS SOPS 11672 HAS SOUS 7023 HAS SOUPS 7023 WITH SCORE 7034.672
AT ITER 5120 NEW BEST:: SOT 49280 SOS 11665 HAS SOPS 11665 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7027.665
AT ITER 5124 NEW BEST:: SOT 49273 SOS 11658 HAS SOPS 11658 HAS SOUS 7009 HAS SOUPS 7009 WITH SCORE 7020.658
AT ITER 5156 NEW BEST:: SOT 49270 SOS 11639 HAS SOPS 11639 HAS SOUS 7003 HAS SOUPS 7003 WITH SCORE 7014.639
AT ITER 5201 NEW BEST:: SOT 49277 SOS 11640 HAS SOPS 11640 HAS SOUS 6984 HAS SOUPS 6984 WITH SCORE 6995.64
AT ITER 5206 NEW BEST:: SOT 49328 SOS 11496 HAS SOPS 11496 HAS SOUS 6958 HAS SOUPS 6958 WITH SCORE 6969.496
AT ITER 5233 NEW BEST:: SOT 49340 SOS 11508 HAS SOPS 11508 HAS SOUS 6940 HAS SOUPS 6940 WITH SCORE 6951.508
AT ITER 5245 NEW BEST:: SOT 49327 SOS 11507 HAS SOPS 11507 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6950.507
AT ITER 5274 NEW BEST:: SOT 49327 SOS 11502 HAS SOPS 11502 HAS SOUS 6934 HAS SOUPS 6934 WITH SCORE 6945.502
AT ITER 5308 NEW BEST:: SOT 49327 SOS 11502 HAS SOPS 11502 HAS SOUS 6926 HAS SOUPS 6926 WITH SCORE 6937.502
AT ITER 5315 NEW BEST:: SOT 49310 SOS 11715 HAS SOPS 11715 HAS SOUS 6916 HAS SOUPS 6916 WITH SCORE 6927.715
AT ITER 5327 NEW BEST:: SOT 49297 SOS 11689 HAS SOPS 11689 HAS SOUS 6890 HAS SOUPS 6890 WITH SCORE 6901.689
AT ITER 5346 NEW BEST:: SOT 49286 SOS 11677 HAS SOPS 11677 HAS SOUS 6868 HAS SOUPS 6868 WITH SCORE 6879.677
AT ITER 5379 NEW BEST:: SOT 49281 SOS 11657 HAS SOPS 11657 HAS SOUS 6858 HAS SOUPS 6858 WITH SCORE 6869.657
AT ITER 5385 NEW BEST:: SOT 49278 SOS 11690 HAS SOPS 11690 HAS SOUS 6855 HAS SOUPS 6855 WITH SCORE 6866.69
AT ITER 5407 NEW BEST:: SOT 49282 SOS 11687 HAS SOPS 11687 HAS SOUS 6852 HAS SOUPS 6852 WITH SCORE 6863.687
AT ITER 5411 NEW BEST:: SOT 49275 SOS 11673 HAS SOPS 11673 HAS SOUS 6845 HAS SOUPS 6845 WITH SCORE 6856.673
AT ITER 5426 NEW BEST:: SOT 49275 SOS 11685 HAS SOPS 11685 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6855.685
AT ITER 5437 NEW BEST:: SOT 49273 SOS 11683 HAS SOPS 11683 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6851.683
AT ITER 5460 NEW BEST:: SOT 49271 SOS 11679 HAS SOPS 11679 HAS SOUS 6836 HAS SOUPS 6836 WITH SCORE 6847.679
AT ITER 5499 NEW BEST:: SOT 49268 SOS 11664 HAS SOPS 11664 HAS SOUS 6829 HAS SOUPS 6829 WITH SCORE 6840.664
AT ITER 5523 NEW BEST:: SOT 49248 SOS 11650 HAS SOPS 11650 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6835.65
AT ITER 5574 NEW BEST:: SOT 49258 SOS 11520 HAS SOPS 11520 HAS SOUS 6814 HAS SOUPS 6814 WITH SCORE 6825.52
AT ITER 5588 NEW BEST:: SOT 49251 SOS 11506 HAS SOPS 11506 HAS SOUS 6808 HAS SOUPS 6808 WITH SCORE 6819.506
AT ITER 5590 NEW BEST:: SOT 49229 SOS 11627 HAS SOPS 11627 HAS SOUS 6797 HAS SOUPS 6797 WITH SCORE 6808.627
AT ITER 5632 NEW BEST:: SOT 49226 SOS 11621 HAS SOPS 11621 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6802.621
AT ITER 5683 NEW BEST:: SOT 49265 SOS 11114 HAS SOPS 11114 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6802.114
AT ITER 5733 NEW BEST:: SOT 49260 SOS 11109 HAS SOPS 11109 HAS SOUS 6791 HAS SOUPS 6791 WITH SCORE 6802.109
AT ITER 5746 NEW BEST:: SOT 49232 SOS 11329 HAS SOPS 11329 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6782.329
AT ITER 5770 NEW BEST:: SOT 49182 SOS 11254 HAS SOPS 11254 HAS SOUS 6742 HAS SOUPS 6742 WITH SCORE 6753.254
AT ITER 5793 NEW BEST:: SOT 49190 SOS 11252 HAS SOPS 11252 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6751.252
AT ITER 5794 NEW BEST:: SOT 49186 SOS 11244 HAS SOPS 11244 HAS SOUS 6732 HAS SOUPS 6732 WITH SCORE 6743.244
AT ITER 5814 NEW BEST:: SOT 49184 SOS 11240 HAS SOPS 11240 HAS SOUS 6728 HAS SOUPS 6728 WITH SCORE 6739.24
AT ITER 5829 NEW BEST:: SOT 49177 SOS 11226 HAS SOPS 11226 HAS SOUS 6714 HAS SOUPS 6714 WITH SCORE 6725.226
AT ITER 5862 NEW BEST:: SOT 49177 SOS 11210 HAS SOPS 11210 HAS SOUS 6712 HAS SOUPS 6712 WITH SCORE 6723.21
AT ITER 5863 NEW BEST:: SOT 49185 SOS 11218 HAS SOPS 11218 HAS SOUS 6709 HAS SOUPS 6709 WITH SCORE 6720.218
AT ITER 5909 NEW BEST:: SOT 49179 SOS 11206 HAS SOPS 11206 HAS SOUS 6703 HAS SOUPS 6703 WITH SCORE 6714.206
AT ITER 5917 NEW BEST:: SOT 49185 SOS 11198 HAS SOPS 11198 HAS SOUS 6695 HAS SOUPS 6695 WITH SCORE 6706.198
AT ITER 5981 NEW BEST:: SOT 49156 SOS 11140 HAS SOPS 11140 HAS SOUS 6687 HAS SOUPS 6687 WITH SCORE 6698.14
AT ITER 5988 NEW BEST:: SOT 49151 SOS 11130 HAS SOPS 11130 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6688.13
AT ITER 5991 NEW BEST:: SOT 49145 SOS 11118 HAS SOPS 11118 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6688.118
AT ITER 5999 NEW BEST:: SOT 49119 SOS 11089 HAS SOPS 11089 HAS SOUS 6674 HAS SOUPS 6674 WITH SCORE 6685.089
AT ITER 6000 NEW BEST:: SOT 49119 SOS 11089 HAS SOPS 11089 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6670.089
AT ITER 6010 NEW BEST:: SOT 49119 SOS 11059 HAS SOPS 11059 HAS SOUS 6659 HAS SOUPS 6659 WITH SCORE 6670.059
AT ITER 6020 NEW BEST:: SOT 49108 SOS 11037 HAS SOPS 11037 HAS SOUS 6637 HAS SOUPS 6637 WITH SCORE 6648.037
AT ITER 6032 NEW BEST:: SOT 49121 SOS 11029 HAS SOPS 11029 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6640.029
AT ITER 6066 NEW BEST:: SOT 49113 SOS 11021 HAS SOPS 11021 HAS SOUS 6625 HAS SOUPS 6625 WITH SCORE 6636.021
AT ITER 6092 NEW BEST:: SOT 49114 SOS 11023 HAS SOPS 11023 HAS SOUS 6624 HAS SOUPS 6624 WITH SCORE 6635.023
AT ITER 6236 NEW BEST:: SOT 49055 SOS 10964 HAS SOPS 10964 HAS SOUS 6616 HAS SOUPS 6616 WITH SCORE 6626.964
AT ITER 6244 NEW BEST:: SOT 49051 SOS 10956 HAS SOPS 10956 HAS SOUS 6608 HAS SOUPS 6608 WITH SCORE 6618.956
AT ITER 6246 NEW BEST:: SOT 49041 SOS 10936 HAS SOPS 10936 HAS SOUS 6590 HAS SOUPS 6590 WITH SCORE 6600.936
AT ITER 6274 NEW BEST:: SOT 49028 SOS 10952 HAS SOPS 10952 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6587.952
AT ITER 6296 NEW BEST:: SOT 49026 SOS 10950 HAS SOPS 10950 HAS SOUS 6577 HAS SOUPS 6577 WITH SCORE 6587.95
AT ITER 6327 NEW BEST:: SOT 49024 SOS 10946 HAS SOPS 10946 HAS SOUS 6573 HAS SOUPS 6573 WITH SCORE 6583.946
AT ITER 6342 NEW BEST:: SOT 49022 SOS 10942 HAS SOPS 10942 HAS SOUS 6569 HAS SOUPS 6569 WITH SCORE 6579.942
AT ITER 6345 NEW BEST:: SOT 49021 SOS 10944 HAS SOPS 10944 HAS SOUS 6567 HAS SOUPS 6567 WITH SCORE 6577.944
AT ITER 6362 NEW BEST:: SOT 49018 SOS 10938 HAS SOPS 10938 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6571.938
AT ITER 6406 NEW BEST:: SOT 49019 SOS 10940 HAS SOPS 10940 HAS SOUS 6560 HAS SOUPS 6560 WITH SCORE 6570.94
AT ITER 6408 NEW BEST:: SOT 49019 SOS 10940 HAS SOPS 10940 HAS SOUS 6556 HAS SOUPS 6556 WITH SCORE 6566.94
AT ITER 6412 NEW BEST:: SOT 49017 SOS 10936 HAS SOPS 10936 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6562.936
AT ITER 6478 NEW BEST:: SOT 49003 SOS 10908 HAS SOPS 10908 HAS SOUS 6552 HAS SOUPS 6552 WITH SCORE 6562.908
AT ITER 6479 NEW BEST:: SOT 49002 SOS 10904 HAS SOPS 10904 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6558.904
AT ITER 6484 NEW BEST:: SOT 49002 SOS 10892 HAS SOPS 10892 HAS SOUS 6548 HAS SOUPS 6548 WITH SCORE 6558.892
AT ITER 6584 NEW BEST:: SOT 49008 SOS 10904 HAS SOPS 10904 HAS SOUS 6504 HAS SOUPS 6504 WITH SCORE 6514.904
AT ITER 6588 NEW BEST:: SOT 49008 SOS 10903 HAS SOPS 10903 HAS SOUS 6503 HAS SOUPS 6503 WITH SCORE 6513.903
AT ITER 6592 NEW BEST:: SOT 48997 SOS 10881 HAS SOPS 10881 HAS SOUS 6495 HAS SOUPS 6495 WITH SCORE 6505.881
AT ITER 6627 NEW BEST:: SOT 48988 SOS 10867 HAS SOPS 10867 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6489.867
AT ITER 6652 NEW BEST:: SOT 48981 SOS 10839 HAS SOPS 10839 HAS SOUS 6458 HAS SOUPS 6458 WITH SCORE 6468.839
AT ITER 6669 NEW BEST:: SOT 48973 SOS 10823 HAS SOPS 10823 HAS SOUS 6442 HAS SOUPS 6442 WITH SCORE 6452.823
AT ITER 6681 NEW BEST:: SOT 48967 SOS 10896 HAS SOPS 10896 HAS SOUS 6436 HAS SOUPS 6436 WITH SCORE 6446.896
AT ITER 6726 NEW BEST:: SOT 48968 SOS 10895 HAS SOPS 10895 HAS SOUS 6435 HAS SOUPS 6435 WITH SCORE 6445.895
AT ITER 6735 NEW BEST:: SOT 48910 SOS 11252 HAS SOPS 11252 HAS SOUS 6413 HAS SOUPS 6413 WITH SCORE 6424.252
AT ITER 6760 NEW BEST:: SOT 48920 SOS 11262 HAS SOPS 11262 HAS SOUS 6409 HAS SOUPS 6409 WITH SCORE 6420.262
AT ITER 6779 NEW BEST:: SOT 48920 SOS 11236 HAS SOPS 11236 HAS SOUS 6407 HAS SOUPS 6407 WITH SCORE 6418.236
AT ITER 6788 NEW BEST:: SOT 48905 SOS 11206 HAS SOPS 11206 HAS SOUS 6399 HAS SOUPS 6399 WITH SCORE 6410.206
AT ITER 6791 NEW BEST:: SOT 48899 SOS 11199 HAS SOPS 11199 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6403.199
AT ITER 6793 NEW BEST:: SOT 48913 SOS 11038 HAS SOPS 11038 HAS SOUS 6392 HAS SOUPS 6392 WITH SCORE 6403.038
AT ITER 6801 NEW BEST:: SOT 48913 SOS 10988 HAS SOPS 10988 HAS SOUS 6342 HAS SOUPS 6342 WITH SCORE 6352.988
AT ITER 6936 NEW BEST:: SOT 48913 SOS 10979 HAS SOPS 10979 HAS SOUS 6333 HAS SOUPS 6333 WITH SCORE 6343.979
AT ITER 6949 NEW BEST:: SOT 48896 SOS 10954 HAS SOPS 10954 HAS SOUS 6317 HAS SOUPS 6317 WITH SCORE 6327.954
AT ITER 6999 NEW BEST:: SOT 48805 SOS 10861 HAS SOPS 10861 HAS SOUS 6269 HAS SOUPS 6269 WITH SCORE 6279.861
AT ITER 7144 NEW BEST:: SOT 48812 SOS 10852 HAS SOPS 10852 HAS SOUS 6260 HAS SOUPS 6260 WITH SCORE 6270.852
AT ITER 7165 NEW BEST:: SOT 48794 SOS 10854 HAS SOPS 10854 HAS SOUS 6245 HAS SOUPS 6245 WITH SCORE 6255.854
AT ITER 7274 NEW BEST:: SOT 48781 SOS 10845 HAS SOPS 10845 HAS SOUS 6236 HAS SOUPS 6236 WITH SCORE 6246.845
AT ITER 7328 NEW BEST:: SOT 48769 SOS 10833 HAS SOPS 10833 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6244.833
AT ITER 7343 NEW BEST:: SOT 48766 SOS 10830 HAS SOPS 10830 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6244.83
AT ITER 7345 NEW BEST:: SOT 48735 SOS 10768 HAS SOPS 10768 HAS SOUS 6234 HAS SOUPS 6234 WITH SCORE 6244.768
AT ITER 7348 NEW BEST:: SOT 48726 SOS 10756 HAS SOPS 10756 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6241.756
AT ITER 7375 NEW BEST:: SOT 48726 SOS 10694 HAS SOPS 10694 HAS SOUS 6225 HAS SOUPS 6225 WITH SCORE 6235.694
AT ITER 7378 NEW BEST:: SOT 48710 SOS 10662 HAS SOPS 10662 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6211.662
AT ITER 7388 NEW BEST:: SOT 48706 SOS 10658 HAS SOPS 10658 HAS SOUS 6201 HAS SOUPS 6201 WITH SCORE 6211.658
AT ITER 7436 NEW BEST:: SOT 48706 SOS 10654 HAS SOPS 10654 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6207.654
AT ITER 7473 NEW BEST:: SOT 48704 SOS 10650 HAS SOPS 10650 HAS SOUS 6193 HAS SOUPS 6193 WITH SCORE 6203.65
AT ITER 7488 NEW BEST:: SOT 48704 SOS 10653 HAS SOPS 10653 HAS SOUS 6190 HAS SOUPS 6190 WITH SCORE 6200.653
AT ITER 7504 NEW BEST:: SOT 48692 SOS 10655 HAS SOPS 10655 HAS SOUS 6182 HAS SOUPS 6182 WITH SCORE 6192.655
AT ITER 7528 NEW BEST:: SOT 48687 SOS 10651 HAS SOPS 10651 HAS SOUS 6177 HAS SOUPS 6177 WITH SCORE 6187.651
AT ITER 7558 NEW BEST:: SOT 48682 SOS 10636 HAS SOPS 10636 HAS SOUS 6167 HAS SOUPS 6167 WITH SCORE 6177.636
AT ITER 7666 NEW BEST:: SOT 48679 SOS 10672 HAS SOPS 10672 HAS SOUS 6164 HAS SOUPS 6164 WITH SCORE 6174.672
AT ITER 7754 NEW BEST:: SOT 48676 SOS 10672 HAS SOPS 10672 HAS SOUS 6161 HAS SOUPS 6161 WITH SCORE 6171.672
AT ITER 7769 NEW BEST:: SOT 48679 SOS 10660 HAS SOPS 10660 HAS SOUS 6155 HAS SOUPS 6155 WITH SCORE 6165.66
AT ITER 7820 NEW BEST:: SOT 48678 SOS 10635 HAS SOPS 10635 HAS SOUS 6131 HAS SOUPS 6131 WITH SCORE 6141.635
AT ITER 7836 NEW BEST:: SOT 48676 SOS 10631 HAS SOPS 10631 HAS SOUS 6127 HAS SOUPS 6127 WITH SCORE 6137.631
AT ITER 7856 NEW BEST:: SOT 48677 SOS 10633 HAS SOPS 10633 HAS SOUS 6099 HAS SOUPS 6099 WITH SCORE 6109.633
AT ITER 7977 NEW BEST:: SOT 48670 SOS 10605 HAS SOPS 10605 HAS SOUS 6092 HAS SOUPS 6092 WITH SCORE 6102.605
AT ITER 8032 NEW BEST:: SOT 48670 SOS 10593 HAS SOPS 10593 HAS SOUS 6080 HAS SOUPS 6080 WITH SCORE 6090.593
AT ITER 8104 NEW BEST:: SOT 48663 SOS 10570 HAS SOPS 10570 HAS SOUS 6063 HAS SOUPS 6063 WITH SCORE 6073.57
AT ITER 8107 NEW BEST:: SOT 48660 SOS 10567 HAS SOPS 10567 HAS SOUS 6060 HAS SOUPS 6060 WITH SCORE 6070.567
AT ITER 8132 NEW BEST:: SOT 48654 SOS 10555 HAS SOPS 10555 HAS SOUS 6048 HAS SOUPS 6048 WITH SCORE 6058.555
AT ITER 8135 NEW BEST:: SOT 48649 SOS 10549 HAS SOPS 10549 HAS SOUS 6042 HAS SOUPS 6042 WITH SCORE 6052.549
AT ITER 8255 NEW BEST:: SOT 48658 SOS 10545 HAS SOPS 10545 HAS SOUS 6040 HAS SOUPS 6040 WITH SCORE 6050.545
AT ITER 8281 NEW BEST:: SOT 48658 SOS 10543 HAS SOPS 10543 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6048.543
AT ITER 8336 NEW BEST:: SOT 48651 SOS 10529 HAS SOPS 10529 HAS SOUS 6038 HAS SOUPS 6038 WITH SCORE 6048.529
AT ITER 8339 NEW BEST:: SOT 48642 SOS 10485 HAS SOPS 10485 HAS SOUS 6020 HAS SOUPS 6020 WITH SCORE 6030.485
AT ITER 8397 NEW BEST:: SOT 48614 SOS 10801 HAS SOPS 10801 HAS SOUS 6004 HAS SOUPS 6004 WITH SCORE 6014.801
AT ITER 8419 NEW BEST:: SOT 48603 SOS 10779 HAS SOPS 10779 HAS SOUS 5987 HAS SOUPS 5987 WITH SCORE 5997.779
AT ITER 8489 NEW BEST:: SOT 48603 SOS 10771 HAS SOPS 10771 HAS SOUS 5986 HAS SOUPS 5986 WITH SCORE 5996.771
AT ITER 8502 NEW BEST:: SOT 48605 SOS 10775 HAS SOPS 10775 HAS SOUS 5978 HAS SOUPS 5978 WITH SCORE 5988.775
AT ITER 8506 NEW BEST:: SOT 48609 SOS 10767 HAS SOPS 10767 HAS SOUS 5970 HAS SOUPS 5970 WITH SCORE 5980.767
AT ITER 8588 NEW BEST:: SOT 48600 SOS 10749 HAS SOPS 10749 HAS SOUS 5961 HAS SOUPS 5961 WITH SCORE 5971.749
AT ITER 8620 NEW BEST:: SOT 48602 SOS 10669 HAS SOPS 10669 HAS SOUS 5957 HAS SOUPS 5957 WITH SCORE 5967.669
AT ITER 8673 NEW BEST:: SOT 48598 SOS 10710 HAS SOPS 10710 HAS SOUS 5949 HAS SOUPS 5949 WITH SCORE 5959.71
AT ITER 8682 NEW BEST:: SOT 48597 SOS 10708 HAS SOPS 10708 HAS SOUS 5944 HAS SOUPS 5944 WITH SCORE 5954.708
AT ITER 8740 NEW BEST:: SOT 48591 SOS 10696 HAS SOPS 10696 HAS SOUS 5938 HAS SOUPS 5938 WITH SCORE 5948.696
AT ITER 8778 NEW BEST:: SOT 48587 SOS 10690 HAS SOPS 10690 HAS SOUS 5932 HAS SOUPS 5932 WITH SCORE 5942.69
AT ITER 8843 NEW BEST:: SOT 48587 SOS 10639 HAS SOPS 10639 HAS SOUS 5919 HAS SOUPS 5919 WITH SCORE 5929.639
AT ITER 8865 NEW BEST:: SOT 48587 SOS 10634 HAS SOPS 10634 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5927.634
AT ITER 8899 NEW BEST:: SOT 48587 SOS 10632 HAS SOPS 10632 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5927.632
AT ITER 8938 NEW BEST:: SOT 48590 SOS 10628 HAS SOPS 10628 HAS SOUS 5913 HAS SOUPS 5913 WITH SCORE 5923.628
AT ITER 8945 NEW BEST:: SOT 48589 SOS 10624 HAS SOPS 10624 HAS SOUS 5909 HAS SOUPS 5909 WITH SCORE 5919.624
AT ITER 8987 NEW BEST:: SOT 48624 SOS 10694 HAS SOPS 10694 HAS SOUS 5900 HAS SOUPS 5900 WITH SCORE 5910.694
AT ITER 8993 NEW BEST:: SOT 48622 SOS 10690 HAS SOPS 10690 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5906.69
AT ITER 9076 NEW BEST:: SOT 48594 SOS 10634 HAS SOPS 10634 HAS SOUS 5896 HAS SOUPS 5896 WITH SCORE 5906.634
AT ITER 9093 NEW BEST:: SOT 48568 SOS 10622 HAS SOPS 10622 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5894.622
AT ITER 9108 NEW BEST:: SOT 48567 SOS 10621 HAS SOPS 10621 HAS SOUS 5884 HAS SOUPS 5884 WITH SCORE 5894.621
AT ITER 9176 NEW BEST:: SOT 48567 SOS 10617 HAS SOPS 10617 HAS SOUS 5882 HAS SOUPS 5882 WITH SCORE 5892.617
AT ITER 9181 NEW BEST:: SOT 48557 SOS 10614 HAS SOPS 10614 HAS SOUS 5879 HAS SOUPS 5879 WITH SCORE 5889.614
AT ITER 9184 NEW BEST:: SOT 48546 SOS 10577 HAS SOPS 10577 HAS SOUS 5864 HAS SOUPS 5864 WITH SCORE 5874.577
AT ITER 9188 NEW BEST:: SOT 48530 SOS 10561 HAS SOPS 10561 HAS SOUS 5858 HAS SOUPS 5858 WITH SCORE 5868.561
AT ITER 9211 NEW BEST:: SOT 48488 SOS 10499 HAS SOPS 10499 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5852.499
AT ITER 9219 NEW BEST:: SOT 48481 SOS 10497 HAS SOPS 10497 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5850.497
AT ITER 9271 NEW BEST:: SOT 48478 SOS 10491 HAS SOPS 10491 HAS SOUS 5840 HAS SOUPS 5840 WITH SCORE 5850.491
AT ITER 9277 NEW BEST:: SOT 48479 SOS 10489 HAS SOPS 10489 HAS SOUS 5838 HAS SOUPS 5838 WITH SCORE 5848.489
AT ITER 9321 NEW BEST:: SOT 48448 SOS 10461 HAS SOPS 10461 HAS SOUS 5824 HAS SOUPS 5824 WITH SCORE 5834.461
AT ITER 9333 NEW BEST:: SOT 48448 SOS 10461 HAS SOPS 10461 HAS SOUS 5818 HAS SOUPS 5818 WITH SCORE 5828.461
AT ITER 9370 NEW BEST:: SOT 48445 SOS 10446 HAS SOPS 10446 HAS SOUS 5815 HAS SOUPS 5815 WITH SCORE 5825.446
AT ITER 9398 NEW BEST:: SOT 48431 SOS 10418 HAS SOPS 10418 HAS SOUS 5787 HAS SOUPS 5787 WITH SCORE 5797.418
AT ITER 9401 NEW BEST:: SOT 48431 SOS 10408 HAS SOPS 10408 HAS SOUS 5775 HAS SOUPS 5775 WITH SCORE 5785.408
AT ITER 9403 NEW BEST:: SOT 48427 SOS 10400 HAS SOPS 10400 HAS SOUS 5771 HAS SOUPS 5771 WITH SCORE 5781.4
AT ITER 9404 NEW BEST:: SOT 48425 SOS 10394 HAS SOPS 10394 HAS SOUS 5765 HAS SOUPS 5765 WITH SCORE 5775.394
AT ITER 9449 NEW BEST:: SOT 48453 SOS 10422 HAS SOPS 10422 HAS SOUS 5737 HAS SOUPS 5737 WITH SCORE 5747.422
AT ITER 9497 NEW BEST:: SOT 48447 SOS 10419 HAS SOPS 10419 HAS SOUS 5734 HAS SOUPS 5734 WITH SCORE 5744.419
AT ITER 9519 NEW BEST:: SOT 48444 SOS 10413 HAS SOPS 10413 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5738.413
AT ITER 9535 NEW BEST:: SOT 48443 SOS 10411 HAS SOPS 10411 HAS SOUS 5728 HAS SOUPS 5728 WITH SCORE 5738.411
AT ITER 9641 NEW BEST:: SOT 48443 SOS 10376 HAS SOPS 10376 HAS SOUS 5721 HAS SOUPS 5721 WITH SCORE 5731.376
AT ITER 9684 NEW BEST:: SOT 48443 SOS 10372 HAS SOPS 10372 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.372
AT ITER 9820 NEW BEST:: SOT 48429 SOS 10344 HAS SOPS 10344 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.344
AT ITER 9826 NEW BEST:: SOT 48427 SOS 10342 HAS SOPS 10342 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.342
AT ITER 9848 NEW BEST:: SOT 48331 SOS 10246 HAS SOPS 10246 HAS SOUS 5715 HAS SOUPS 5715 WITH SCORE 5725.246
AT ITER 9861 NEW BEST:: SOT 48357 SOS 10277 HAS SOPS 10277 HAS SOUS 5704 HAS SOUPS 5704 WITH SCORE 5714.277
AT ITER 9897 NEW BEST:: SOT 48347 SOS 10482 HAS SOPS 10482 HAS SOUS 5696 HAS SOUPS 5696 WITH SCORE 5706.482
AT ITER 9902 NEW BEST:: SOT 48345 SOS 10496 HAS SOPS 10496 HAS SOUS 5692 HAS SOUPS 5692 WITH SCORE 5702.496
AT ITER 9933 NEW BEST:: SOT 48344 SOS 10494 HAS SOPS 10494 HAS SOUS 5690 HAS SOUPS 5690 WITH SCORE 5700.494
AT ITER 9942 NEW BEST:: SOT 48341 SOS 10491 HAS SOPS 10491 HAS SOUS 5687 HAS SOUPS 5687 WITH SCORE 5697.491
STATE_SPACE STATES 1910415931440 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 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 17954195498389 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
BK_STOP 1679183591240
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SmartHome-PT-11"
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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"
# 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-5348"
echo " Executing tool smart"
echo " Input is SmartHome-PT-11, 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 r451-smll-167912643200240"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-11.tgz
mv SmartHome-PT-11 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;