About the Execution of Smart for SmartHome-PT-15
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
12926.323 | 3600000.00 | 3600212.00 | 247.50 | [undef] | Time out reached |
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-167912643300272.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-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643300272
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 592K
-rw-r--r-- 1 mcc users 5.9K Feb 26 05:41 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 05:41 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.2K Feb 26 05:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 63K Feb 26 05:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:10 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:10 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:10 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:10 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 05:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 164K Feb 26 05:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 26 05:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 72K Feb 26 05:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:10 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:10 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 102K 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 1679198423277
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-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SmartHome (PT), instance 15
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: 427 places, 451 transitions, 1038 arcs.
AT ITER 0 NEW BEST:: SOT 114065 SOS 26207 HAS SOPS 26207 HAS SOUS 25530 HAS SOUPS 25530 WITH SCORE 25556.207
AT ITER 4 NEW BEST:: SOT 113467 SOS 25635 HAS SOPS 25635 HAS SOUS 24932 HAS SOUPS 24932 WITH SCORE 24957.635
AT ITER 5 NEW BEST:: SOT 113423 SOS 25597 HAS SOPS 25597 HAS SOUS 24891 HAS SOUPS 24891 WITH SCORE 24916.597
AT ITER 21 NEW BEST:: SOT 113322 SOS 25530 HAS SOPS 25530 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24831.53
AT ITER 28 NEW BEST:: SOT 113322 SOS 25524 HAS SOPS 25524 HAS SOUS 24800 HAS SOUPS 24800 WITH SCORE 24825.524
AT ITER 35 NEW BEST:: SOT 113276 SOS 25483 HAS SOPS 25483 HAS SOUS 24759 HAS SOUPS 24759 WITH SCORE 24784.483
AT ITER 69 NEW BEST:: SOT 113226 SOS 25433 HAS SOPS 25433 HAS SOUS 24709 HAS SOUPS 24709 WITH SCORE 24734.433
AT ITER 81 NEW BEST:: SOT 113210 SOS 25385 HAS SOPS 25385 HAS SOUS 24661 HAS SOUPS 24661 WITH SCORE 24686.385
AT ITER 87 NEW BEST:: SOT 113217 SOS 25376 HAS SOPS 25376 HAS SOUS 24651 HAS SOUPS 24651 WITH SCORE 24676.376
AT ITER 89 NEW BEST:: SOT 113160 SOS 25262 HAS SOPS 25262 HAS SOUS 24537 HAS SOUPS 24537 WITH SCORE 24562.262
AT ITER 138 NEW BEST:: SOT 113121 SOS 25223 HAS SOPS 25223 HAS SOUS 24498 HAS SOUPS 24498 WITH SCORE 24523.223
AT ITER 140 NEW BEST:: SOT 113121 SOS 25223 HAS SOPS 25223 HAS SOUS 24497 HAS SOUPS 24497 WITH SCORE 24522.223
AT ITER 148 NEW BEST:: SOT 113088 SOS 25157 HAS SOPS 25157 HAS SOUS 24431 HAS SOUPS 24431 WITH SCORE 24456.157
AT ITER 170 NEW BEST:: SOT 113012 SOS 25046 HAS SOPS 25046 HAS SOUS 24314 HAS SOUPS 24314 WITH SCORE 24339.046
AT ITER 174 NEW BEST:: SOT 112956 SOS 24875 HAS SOPS 24875 HAS SOUS 24209 HAS SOUPS 24209 WITH SCORE 24233.875
AT ITER 184 NEW BEST:: SOT 112956 SOS 24846 HAS SOPS 24846 HAS SOUS 24196 HAS SOUPS 24196 WITH SCORE 24220.846
AT ITER 222 NEW BEST:: SOT 112672 SOS 25048 HAS SOPS 25048 HAS SOUS 23960 HAS SOUPS 23960 WITH SCORE 23985.048
AT ITER 228 NEW BEST:: SOT 112624 SOS 24998 HAS SOPS 24998 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23882.998
AT ITER 233 NEW BEST:: SOT 112597 SOS 24971 HAS SOPS 24971 HAS SOUS 23831 HAS SOUPS 23831 WITH SCORE 23855.971
AT ITER 234 NEW BEST:: SOT 112597 SOS 24929 HAS SOPS 24929 HAS SOUS 23789 HAS SOUPS 23789 WITH SCORE 23813.929
AT ITER 252 NEW BEST:: SOT 111977 SOS 25395 HAS SOPS 25395 HAS SOUS 23216 HAS SOUPS 23216 WITH SCORE 23241.395
AT ITER 256 NEW BEST:: SOT 111966 SOS 25373 HAS SOPS 25373 HAS SOUS 23183 HAS SOUPS 23183 WITH SCORE 23208.373
AT ITER 260 NEW BEST:: SOT 111969 SOS 25379 HAS SOPS 25379 HAS SOUS 23172 HAS SOUPS 23172 WITH SCORE 23197.379
AT ITER 275 NEW BEST:: SOT 111968 SOS 25377 HAS SOPS 25377 HAS SOUS 23148 HAS SOUPS 23148 WITH SCORE 23173.377
AT ITER 307 NEW BEST:: SOT 111964 SOS 25369 HAS SOPS 25369 HAS SOUS 23140 HAS SOUPS 23140 WITH SCORE 23165.369
AT ITER 313 NEW BEST:: SOT 111956 SOS 25357 HAS SOPS 25357 HAS SOUS 23132 HAS SOUPS 23132 WITH SCORE 23157.357
AT ITER 315 NEW BEST:: SOT 111953 SOS 25395 HAS SOPS 25395 HAS SOUS 23128 HAS SOUPS 23128 WITH SCORE 23153.395
AT ITER 324 NEW BEST:: SOT 111889 SOS 25348 HAS SOPS 25348 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23106.348
AT ITER 345 NEW BEST:: SOT 111872 SOS 25314 HAS SOPS 25314 HAS SOUS 23047 HAS SOUPS 23047 WITH SCORE 23072.314
AT ITER 365 NEW BEST:: SOT 111869 SOS 25311 HAS SOPS 25311 HAS SOUS 23044 HAS SOUPS 23044 WITH SCORE 23069.311
AT ITER 366 NEW BEST:: SOT 111863 SOS 25302 HAS SOPS 25302 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23060.302
AT ITER 411 NEW BEST:: SOT 111863 SOS 25293 HAS SOPS 25293 HAS SOUS 23035 HAS SOUPS 23035 WITH SCORE 23060.293
AT ITER 420 NEW BEST:: SOT 111325 SOS 29091 HAS SOPS 29091 HAS SOUS 22825 HAS SOUPS 22825 WITH SCORE 22854.091
AT ITER 449 NEW BEST:: SOT 110663 SOS 29789 HAS SOPS 29789 HAS SOUS 22431 HAS SOUPS 22431 WITH SCORE 22460.789
AT ITER 486 NEW BEST:: SOT 110645 SOS 29752 HAS SOPS 29752 HAS SOUS 22381 HAS SOUPS 22381 WITH SCORE 22410.752
AT ITER 492 NEW BEST:: SOT 110644 SOS 29750 HAS SOPS 29750 HAS SOUS 22379 HAS SOUPS 22379 WITH SCORE 22408.75
AT ITER 494 NEW BEST:: SOT 110646 SOS 29626 HAS SOPS 29626 HAS SOUS 22373 HAS SOUPS 22373 WITH SCORE 22402.626
AT ITER 512 NEW BEST:: SOT 110258 SOS 29548 HAS SOPS 29548 HAS SOUS 22046 HAS SOUPS 22046 WITH SCORE 22075.548
AT ITER 514 NEW BEST:: SOT 110256 SOS 29546 HAS SOPS 29546 HAS SOUS 22044 HAS SOUPS 22044 WITH SCORE 22073.546
AT ITER 521 NEW BEST:: SOT 110238 SOS 29496 HAS SOPS 29496 HAS SOUS 21994 HAS SOUPS 21994 WITH SCORE 22023.496
AT ITER 534 NEW BEST:: SOT 110233 SOS 29486 HAS SOPS 29486 HAS SOUS 21989 HAS SOUPS 21989 WITH SCORE 22018.486
AT ITER 539 NEW BEST:: SOT 110199 SOS 29418 HAS SOPS 29418 HAS SOUS 21955 HAS SOUPS 21955 WITH SCORE 21984.418
AT ITER 542 NEW BEST:: SOT 110199 SOS 29406 HAS SOPS 29406 HAS SOUS 21943 HAS SOUPS 21943 WITH SCORE 21972.406
AT ITER 548 NEW BEST:: SOT 110199 SOS 29390 HAS SOPS 29390 HAS SOUS 21927 HAS SOUPS 21927 WITH SCORE 21956.39
AT ITER 573 NEW BEST:: SOT 110177 SOS 29368 HAS SOPS 29368 HAS SOUS 21916 HAS SOUPS 21916 WITH SCORE 21945.368
AT ITER 581 NEW BEST:: SOT 110028 SOS 29079 HAS SOPS 29079 HAS SOUS 21698 HAS SOUPS 21698 WITH SCORE 21727.079
AT ITER 588 NEW BEST:: SOT 108960 SOS 29474 HAS SOPS 29474 HAS SOUS 20983 HAS SOUPS 20983 WITH SCORE 21012.474
AT ITER 607 NEW BEST:: SOT 108936 SOS 29426 HAS SOPS 29426 HAS SOUS 20980 HAS SOUPS 20980 WITH SCORE 21009.426
AT ITER 612 NEW BEST:: SOT 108936 SOS 29408 HAS SOPS 29408 HAS SOUS 20971 HAS SOUPS 20971 WITH SCORE 21000.408
AT ITER 624 NEW BEST:: SOT 108934 SOS 29406 HAS SOPS 29406 HAS SOUS 20967 HAS SOUPS 20967 WITH SCORE 20996.406
AT ITER 625 NEW BEST:: SOT 108865 SOS 29351 HAS SOPS 29351 HAS SOUS 20954 HAS SOUPS 20954 WITH SCORE 20983.351
AT ITER 630 NEW BEST:: SOT 108849 SOS 29335 HAS SOPS 29335 HAS SOUS 20938 HAS SOUPS 20938 WITH SCORE 20967.335
AT ITER 632 NEW BEST:: SOT 108848 SOS 29361 HAS SOPS 29361 HAS SOUS 20937 HAS SOUPS 20937 WITH SCORE 20966.361
AT ITER 633 NEW BEST:: SOT 108848 SOS 29344 HAS SOPS 29344 HAS SOUS 20920 HAS SOUPS 20920 WITH SCORE 20949.344
AT ITER 649 NEW BEST:: SOT 108848 SOS 29322 HAS SOPS 29322 HAS SOUS 20898 HAS SOUPS 20898 WITH SCORE 20927.322
AT ITER 670 NEW BEST:: SOT 108812 SOS 29322 HAS SOPS 29322 HAS SOUS 20897 HAS SOUPS 20897 WITH SCORE 20926.322
AT ITER 671 NEW BEST:: SOT 108719 SOS 29136 HAS SOPS 29136 HAS SOUS 20804 HAS SOUPS 20804 WITH SCORE 20833.136
AT ITER 673 NEW BEST:: SOT 108710 SOS 29127 HAS SOPS 29127 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20815.127
AT ITER 676 NEW BEST:: SOT 108689 SOS 29106 HAS SOPS 29106 HAS SOUS 20786 HAS SOUPS 20786 WITH SCORE 20815.106
AT ITER 684 NEW BEST:: SOT 108127 SOS 29024 HAS SOPS 29024 HAS SOUS 20390 HAS SOUPS 20390 WITH SCORE 20419.024
AT ITER 685 NEW BEST:: SOT 108127 SOS 29008 HAS SOPS 29008 HAS SOUS 20374 HAS SOUPS 20374 WITH SCORE 20403.008
AT ITER 694 NEW BEST:: SOT 108081 SOS 26066 HAS SOPS 26066 HAS SOUS 19988 HAS SOUPS 19988 WITH SCORE 20014.066
AT ITER 748 NEW BEST:: SOT 108077 SOS 26062 HAS SOPS 26062 HAS SOUS 19980 HAS SOUPS 19980 WITH SCORE 20006.062
AT ITER 750 NEW BEST:: SOT 108017 SOS 26002 HAS SOPS 26002 HAS SOUS 19950 HAS SOUPS 19950 WITH SCORE 19976.002
AT ITER 798 NEW BEST:: SOT 108009 SOS 25996 HAS SOPS 25996 HAS SOUS 19941 HAS SOUPS 19941 WITH SCORE 19966.996
AT ITER 805 NEW BEST:: SOT 107921 SOS 25899 HAS SOPS 25899 HAS SOUS 19861 HAS SOUPS 19861 WITH SCORE 19886.899
AT ITER 817 NEW BEST:: SOT 107897 SOS 25893 HAS SOPS 25893 HAS SOUS 19855 HAS SOUPS 19855 WITH SCORE 19880.893
AT ITER 822 NEW BEST:: SOT 107893 SOS 25894 HAS SOPS 25894 HAS SOUS 19854 HAS SOUPS 19854 WITH SCORE 19879.894
AT ITER 825 NEW BEST:: SOT 107836 SOS 25837 HAS SOPS 25837 HAS SOUS 19843 HAS SOUPS 19843 WITH SCORE 19868.837
AT ITER 828 NEW BEST:: SOT 107824 SOS 25813 HAS SOPS 25813 HAS SOUS 19819 HAS SOUPS 19819 WITH SCORE 19844.813
AT ITER 833 NEW BEST:: SOT 107773 SOS 25711 HAS SOPS 25711 HAS SOUS 19768 HAS SOUPS 19768 WITH SCORE 19793.711
AT ITER 843 NEW BEST:: SOT 107739 SOS 25643 HAS SOPS 25643 HAS SOUS 19735 HAS SOUPS 19735 WITH SCORE 19760.643
AT ITER 857 NEW BEST:: SOT 107737 SOS 25639 HAS SOPS 25639 HAS SOUS 19733 HAS SOUPS 19733 WITH SCORE 19758.639
AT ITER 882 NEW BEST:: SOT 107718 SOS 25601 HAS SOPS 25601 HAS SOUS 19681 HAS SOUPS 19681 WITH SCORE 19706.601
AT ITER 885 NEW BEST:: SOT 107660 SOS 25514 HAS SOPS 25514 HAS SOUS 19594 HAS SOUPS 19594 WITH SCORE 19619.514
AT ITER 906 NEW BEST:: SOT 107660 SOS 25466 HAS SOPS 25466 HAS SOUS 19578 HAS SOUPS 19578 WITH SCORE 19603.466
AT ITER 912 NEW BEST:: SOT 107592 SOS 25262 HAS SOPS 25262 HAS SOUS 19510 HAS SOUPS 19510 WITH SCORE 19535.262
AT ITER 913 NEW BEST:: SOT 107547 SOS 25198 HAS SOPS 25198 HAS SOUS 19446 HAS SOUPS 19446 WITH SCORE 19471.198
AT ITER 955 NEW BEST:: SOT 107491 SOS 25142 HAS SOPS 25142 HAS SOUS 19391 HAS SOUPS 19391 WITH SCORE 19416.142
AT ITER 958 NEW BEST:: SOT 107491 SOS 25080 HAS SOPS 25080 HAS SOUS 19369 HAS SOUPS 19369 WITH SCORE 19394.08
AT ITER 987 NEW BEST:: SOT 107487 SOS 25076 HAS SOPS 25076 HAS SOUS 19365 HAS SOUPS 19365 WITH SCORE 19390.076
AT ITER 991 NEW BEST:: SOT 107460 SOS 25022 HAS SOPS 25022 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19296.022
AT ITER 997 NEW BEST:: SOT 107460 SOS 25020 HAS SOPS 25020 HAS SOUS 19271 HAS SOUPS 19271 WITH SCORE 19296.02
AT ITER 1005 NEW BEST:: SOT 107452 SOS 24892 HAS SOPS 24892 HAS SOUS 19255 HAS SOUPS 19255 WITH SCORE 19279.892
AT ITER 1018 NEW BEST:: SOT 107418 SOS 24824 HAS SOPS 24824 HAS SOUS 19221 HAS SOUPS 19221 WITH SCORE 19245.824
AT ITER 1028 NEW BEST:: SOT 107413 SOS 24770 HAS SOPS 24770 HAS SOUS 19167 HAS SOUPS 19167 WITH SCORE 19191.77
AT ITER 1029 NEW BEST:: SOT 107413 SOS 24770 HAS SOPS 24770 HAS SOUS 19156 HAS SOUPS 19156 WITH SCORE 19180.77
AT ITER 1036 NEW BEST:: SOT 107411 SOS 24744 HAS SOPS 24744 HAS SOUS 19142 HAS SOUPS 19142 WITH SCORE 19166.744
AT ITER 1037 NEW BEST:: SOT 107398 SOS 24718 HAS SOPS 24718 HAS SOUS 19135 HAS SOUPS 19135 WITH SCORE 19159.718
AT ITER 1046 NEW BEST:: SOT 107397 SOS 24716 HAS SOPS 24716 HAS SOUS 19134 HAS SOUPS 19134 WITH SCORE 19158.716
AT ITER 1073 NEW BEST:: SOT 107397 SOS 24716 HAS SOPS 24716 HAS SOUS 19110 HAS SOUPS 19110 WITH SCORE 19134.716
AT ITER 1075 NEW BEST:: SOT 107397 SOS 24698 HAS SOPS 24698 HAS SOUS 19110 HAS SOUPS 19110 WITH SCORE 19134.698
AT ITER 1076 NEW BEST:: SOT 107197 SOS 24644 HAS SOPS 24644 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18952.644
AT ITER 1102 NEW BEST:: SOT 107192 SOS 24634 HAS SOPS 24634 HAS SOUS 18910 HAS SOUPS 18910 WITH SCORE 18934.634
AT ITER 1116 NEW BEST:: SOT 107151 SOS 24552 HAS SOPS 24552 HAS SOUS 18782 HAS SOUPS 18782 WITH SCORE 18806.552
AT ITER 1146 NEW BEST:: SOT 107150 SOS 24550 HAS SOPS 24550 HAS SOUS 18780 HAS SOUPS 18780 WITH SCORE 18804.55
AT ITER 1166 NEW BEST:: SOT 107142 SOS 24534 HAS SOPS 24534 HAS SOUS 18772 HAS SOUPS 18772 WITH SCORE 18796.534
AT ITER 1170 NEW BEST:: SOT 107148 SOS 24490 HAS SOPS 24490 HAS SOUS 18698 HAS SOUPS 18698 WITH SCORE 18722.49
AT ITER 1179 NEW BEST:: SOT 107102 SOS 24444 HAS SOPS 24444 HAS SOUS 18690 HAS SOUPS 18690 WITH SCORE 18714.444
AT ITER 1181 NEW BEST:: SOT 107067 SOS 24455 HAS SOPS 24455 HAS SOUS 18640 HAS SOUPS 18640 WITH SCORE 18664.455
AT ITER 1196 NEW BEST:: SOT 107067 SOS 24455 HAS SOPS 24455 HAS SOUS 18632 HAS SOUPS 18632 WITH SCORE 18656.455
AT ITER 1208 NEW BEST:: SOT 107067 SOS 24438 HAS SOPS 24438 HAS SOUS 18615 HAS SOUPS 18615 WITH SCORE 18639.438
AT ITER 1212 NEW BEST:: SOT 106947 SOS 24318 HAS SOPS 24318 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18599.318
AT ITER 1222 NEW BEST:: SOT 106907 SOS 24347 HAS SOPS 24347 HAS SOUS 18535 HAS SOUPS 18535 WITH SCORE 18559.347
AT ITER 1229 NEW BEST:: SOT 106900 SOS 24347 HAS SOPS 24347 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18545.347
AT ITER 1230 NEW BEST:: SOT 106837 SOS 24283 HAS SOPS 24283 HAS SOUS 18490 HAS SOUPS 18490 WITH SCORE 18514.283
AT ITER 1248 NEW BEST:: SOT 106837 SOS 24282 HAS SOPS 24282 HAS SOUS 18489 HAS SOUPS 18489 WITH SCORE 18513.282
AT ITER 1252 NEW BEST:: SOT 106829 SOS 24298 HAS SOPS 24298 HAS SOUS 18481 HAS SOUPS 18481 WITH SCORE 18505.298
AT ITER 1255 NEW BEST:: SOT 106814 SOS 24283 HAS SOPS 24283 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18490.283
AT ITER 1267 NEW BEST:: SOT 106829 SOS 24298 HAS SOPS 24298 HAS SOUS 18452 HAS SOUPS 18452 WITH SCORE 18476.298
AT ITER 1306 NEW BEST:: SOT 106792 SOS 24296 HAS SOPS 24296 HAS SOUS 18450 HAS SOUPS 18450 WITH SCORE 18474.296
AT ITER 1344 NEW BEST:: SOT 106768 SOS 24272 HAS SOPS 24272 HAS SOUS 18426 HAS SOUPS 18426 WITH SCORE 18450.272
AT ITER 1357 NEW BEST:: SOT 106746 SOS 24228 HAS SOPS 24228 HAS SOUS 18404 HAS SOUPS 18404 WITH SCORE 18428.228
AT ITER 1360 NEW BEST:: SOT 106713 SOS 24227 HAS SOPS 24227 HAS SOUS 18371 HAS SOUPS 18371 WITH SCORE 18395.227
AT ITER 1372 NEW BEST:: SOT 106706 SOS 24213 HAS SOPS 24213 HAS SOUS 18357 HAS SOUPS 18357 WITH SCORE 18381.213
AT ITER 1387 NEW BEST:: SOT 106691 SOS 24183 HAS SOPS 24183 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18351.183
AT ITER 1399 NEW BEST:: SOT 106691 SOS 24172 HAS SOPS 24172 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18351.172
AT ITER 1408 NEW BEST:: SOT 106661 SOS 24112 HAS SOPS 24112 HAS SOUS 18297 HAS SOUPS 18297 WITH SCORE 18321.112
AT ITER 1409 NEW BEST:: SOT 106659 SOS 24133 HAS SOPS 24133 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18319.133
AT ITER 1416 NEW BEST:: SOT 106659 SOS 24125 HAS SOPS 24125 HAS SOUS 18287 HAS SOUPS 18287 WITH SCORE 18311.125
AT ITER 1436 NEW BEST:: SOT 106659 SOS 24125 HAS SOPS 24125 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18271.125
AT ITER 1453 NEW BEST:: SOT 106659 SOS 24110 HAS SOPS 24110 HAS SOUS 18247 HAS SOUPS 18247 WITH SCORE 18271.11
AT ITER 1454 NEW BEST:: SOT 106621 SOS 24072 HAS SOPS 24072 HAS SOUS 18228 HAS SOUPS 18228 WITH SCORE 18252.072
AT ITER 1481 NEW BEST:: SOT 106621 SOS 24072 HAS SOPS 24072 HAS SOUS 18207 HAS SOUPS 18207 WITH SCORE 18231.072
AT ITER 1515 NEW BEST:: SOT 106607 SOS 24058 HAS SOPS 24058 HAS SOUS 18193 HAS SOUPS 18193 WITH SCORE 18217.058
AT ITER 1521 NEW BEST:: SOT 106560 SOS 24011 HAS SOPS 24011 HAS SOUS 18188 HAS SOUPS 18188 WITH SCORE 18212.011
AT ITER 1523 NEW BEST:: SOT 106554 SOS 23999 HAS SOPS 23999 HAS SOUS 18113 HAS SOUPS 18113 WITH SCORE 18136.999
AT ITER 1536 NEW BEST:: SOT 106519 SOS 23929 HAS SOPS 23929 HAS SOUS 18043 HAS SOUPS 18043 WITH SCORE 18066.929
AT ITER 1561 NEW BEST:: SOT 106513 SOS 23928 HAS SOPS 23928 HAS SOUS 18042 HAS SOUPS 18042 WITH SCORE 18065.928
AT ITER 1583 NEW BEST:: SOT 106517 SOS 23909 HAS SOPS 23909 HAS SOUS 18004 HAS SOUPS 18004 WITH SCORE 18027.909
AT ITER 1600 NEW BEST:: SOT 106570 SOS 23886 HAS SOPS 23886 HAS SOUS 17928 HAS SOUPS 17928 WITH SCORE 17951.886
AT ITER 1631 NEW BEST:: SOT 106577 SOS 23893 HAS SOPS 23893 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 17944.893
AT ITER 1659 NEW BEST:: SOT 106585 SOS 23880 HAS SOPS 23880 HAS SOUS 17908 HAS SOUPS 17908 WITH SCORE 17931.88
AT ITER 1671 NEW BEST:: SOT 106585 SOS 23879 HAS SOPS 23879 HAS SOUS 17907 HAS SOUPS 17907 WITH SCORE 17930.879
AT ITER 1673 NEW BEST:: SOT 106618 SOS 23876 HAS SOPS 23876 HAS SOUS 17904 HAS SOUPS 17904 WITH SCORE 17927.876
AT ITER 1681 NEW BEST:: SOT 106618 SOS 23876 HAS SOPS 23876 HAS SOUS 17903 HAS SOUPS 17903 WITH SCORE 17926.876
AT ITER 1686 NEW BEST:: SOT 106617 SOS 23874 HAS SOPS 23874 HAS SOUS 17901 HAS SOUPS 17901 WITH SCORE 17924.874
AT ITER 1699 NEW BEST:: SOT 106656 SOS 23267 HAS SOPS 23267 HAS SOUS 17885 HAS SOUPS 17885 WITH SCORE 17908.267
AT ITER 1718 NEW BEST:: SOT 106646 SOS 23233 HAS SOPS 23233 HAS SOUS 17865 HAS SOUPS 17865 WITH SCORE 17888.233
AT ITER 1724 NEW BEST:: SOT 106631 SOS 23198 HAS SOPS 23198 HAS SOUS 17830 HAS SOUPS 17830 WITH SCORE 17853.198
AT ITER 1737 NEW BEST:: SOT 106628 SOS 23192 HAS SOPS 23192 HAS SOUS 17824 HAS SOUPS 17824 WITH SCORE 17847.192
AT ITER 1743 NEW BEST:: SOT 106627 SOS 23190 HAS SOPS 23190 HAS SOUS 17822 HAS SOUPS 17822 WITH SCORE 17845.19
AT ITER 1754 NEW BEST:: SOT 106627 SOS 23122 HAS SOPS 23122 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17777.122
AT ITER 1760 NEW BEST:: SOT 106626 SOS 23121 HAS SOPS 23121 HAS SOUS 17754 HAS SOUPS 17754 WITH SCORE 17777.121
AT ITER 1774 NEW BEST:: SOT 106610 SOS 23105 HAS SOPS 23105 HAS SOUS 17738 HAS SOUPS 17738 WITH SCORE 17761.105
AT ITER 1775 NEW BEST:: SOT 106605 SOS 23095 HAS SOPS 23095 HAS SOUS 17733 HAS SOUPS 17733 WITH SCORE 17756.095
AT ITER 1781 NEW BEST:: SOT 106565 SOS 23050 HAS SOPS 23050 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17659.05
AT ITER 1792 NEW BEST:: SOT 106565 SOS 23040 HAS SOPS 23040 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17659.04
AT ITER 1803 NEW BEST:: SOT 106554 SOS 23018 HAS SOPS 23018 HAS SOUS 17636 HAS SOUPS 17636 WITH SCORE 17659.018
AT ITER 1816 NEW BEST:: SOT 106483 SOS 22994 HAS SOPS 22994 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17634.994
AT ITER 1832 NEW BEST:: SOT 106477 SOS 22982 HAS SOPS 22982 HAS SOUS 17606 HAS SOUPS 17606 WITH SCORE 17628.982
AT ITER 1840 NEW BEST:: SOT 106517 SOS 23022 HAS SOPS 23022 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17603.022
AT ITER 1841 NEW BEST:: SOT 106517 SOS 23022 HAS SOPS 23022 HAS SOUS 17569 HAS SOUPS 17569 WITH SCORE 17592.022
AT ITER 1862 NEW BEST:: SOT 106500 SOS 22988 HAS SOPS 22988 HAS SOUS 17535 HAS SOUPS 17535 WITH SCORE 17557.988
AT ITER 1890 NEW BEST:: SOT 106480 SOS 22948 HAS SOPS 22948 HAS SOUS 17495 HAS SOUPS 17495 WITH SCORE 17517.948
AT ITER 1900 NEW BEST:: SOT 106468 SOS 23004 HAS SOPS 23004 HAS SOUS 17493 HAS SOUPS 17493 WITH SCORE 17516.004
AT ITER 1904 NEW BEST:: SOT 106372 SOS 22817 HAS SOPS 22817 HAS SOUS 17389 HAS SOUPS 17389 WITH SCORE 17411.817
AT ITER 1922 NEW BEST:: SOT 106347 SOS 22752 HAS SOPS 22752 HAS SOUS 17380 HAS SOUPS 17380 WITH SCORE 17402.752
AT ITER 1934 NEW BEST:: SOT 106330 SOS 22751 HAS SOPS 22751 HAS SOUS 17352 HAS SOUPS 17352 WITH SCORE 17374.751
AT ITER 1948 NEW BEST:: SOT 106330 SOS 22721 HAS SOPS 22721 HAS SOUS 17322 HAS SOUPS 17322 WITH SCORE 17344.721
AT ITER 1977 NEW BEST:: SOT 106291 SOS 22687 HAS SOPS 22687 HAS SOUS 17322 HAS SOUPS 17322 WITH SCORE 17344.687
AT ITER 1981 NEW BEST:: SOT 106276 SOS 22649 HAS SOPS 22649 HAS SOUS 17301 HAS SOUPS 17301 WITH SCORE 17323.649
AT ITER 2000 NEW BEST:: SOT 106264 SOS 22625 HAS SOPS 22625 HAS SOUS 17289 HAS SOUPS 17289 WITH SCORE 17311.625
AT ITER 2008 NEW BEST:: SOT 106049 SOS 22498 HAS SOPS 22498 HAS SOUS 17237 HAS SOUPS 17237 WITH SCORE 17259.498
AT ITER 2011 NEW BEST:: SOT 106032 SOS 22481 HAS SOPS 22481 HAS SOUS 17220 HAS SOUPS 17220 WITH SCORE 17242.481
AT ITER 2027 NEW BEST:: SOT 106051 SOS 22455 HAS SOPS 22455 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17216.455
AT ITER 2037 NEW BEST:: SOT 106011 SOS 22451 HAS SOPS 22451 HAS SOUS 17192 HAS SOUPS 17192 WITH SCORE 17214.451
AT ITER 2047 NEW BEST:: SOT 106003 SOS 22443 HAS SOPS 22443 HAS SOUS 17174 HAS SOUPS 17174 WITH SCORE 17196.443
AT ITER 2057 NEW BEST:: SOT 106014 SOS 22425 HAS SOPS 22425 HAS SOUS 17164 HAS SOUPS 17164 WITH SCORE 17186.425
AT ITER 2058 NEW BEST:: SOT 106008 SOS 22416 HAS SOPS 22416 HAS SOUS 17158 HAS SOUPS 17158 WITH SCORE 17180.416
AT ITER 2112 NEW BEST:: SOT 105994 SOS 22402 HAS SOPS 22402 HAS SOUS 17144 HAS SOUPS 17144 WITH SCORE 17166.402
AT ITER 2152 NEW BEST:: SOT 106004 SOS 22387 HAS SOPS 22387 HAS SOUS 17129 HAS SOUPS 17129 WITH SCORE 17151.387
AT ITER 2170 NEW BEST:: SOT 105972 SOS 22317 HAS SOPS 22317 HAS SOUS 17105 HAS SOUPS 17105 WITH SCORE 17127.317
AT ITER 2185 NEW BEST:: SOT 105987 SOS 22326 HAS SOPS 22326 HAS SOUS 17100 HAS SOUPS 17100 WITH SCORE 17122.326
AT ITER 2194 NEW BEST:: SOT 106033 SOS 22326 HAS SOPS 22326 HAS SOUS 17090 HAS SOUPS 17090 WITH SCORE 17112.326
AT ITER 2197 NEW BEST:: SOT 106050 SOS 22343 HAS SOPS 22343 HAS SOUS 17086 HAS SOUPS 17086 WITH SCORE 17108.343
AT ITER 2210 NEW BEST:: SOT 106047 SOS 22348 HAS SOPS 22348 HAS SOUS 17077 HAS SOUPS 17077 WITH SCORE 17099.348
AT ITER 2243 NEW BEST:: SOT 106060 SOS 22361 HAS SOPS 22361 HAS SOUS 17067 HAS SOUPS 17067 WITH SCORE 17089.361
AT ITER 2257 NEW BEST:: SOT 106060 SOS 22351 HAS SOPS 22351 HAS SOUS 17063 HAS SOUPS 17063 WITH SCORE 17085.351
AT ITER 2259 NEW BEST:: SOT 106058 SOS 22345 HAS SOPS 22345 HAS SOUS 17059 HAS SOUPS 17059 WITH SCORE 17081.345
AT ITER 2272 NEW BEST:: SOT 106055 SOS 22339 HAS SOPS 22339 HAS SOUS 17053 HAS SOUPS 17053 WITH SCORE 17075.339
AT ITER 2281 NEW BEST:: SOT 106064 SOS 22306 HAS SOPS 22306 HAS SOUS 17020 HAS SOUPS 17020 WITH SCORE 17042.306
AT ITER 2304 NEW BEST:: SOT 106061 SOS 22300 HAS SOPS 22300 HAS SOUS 17014 HAS SOUPS 17014 WITH SCORE 17036.3
AT ITER 2339 NEW BEST:: SOT 106053 SOS 22294 HAS SOPS 22294 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17033.294
AT ITER 2350 NEW BEST:: SOT 106045 SOS 22286 HAS SOPS 22286 HAS SOUS 17011 HAS SOUPS 17011 WITH SCORE 17033.286
AT ITER 2358 NEW BEST:: SOT 106037 SOS 22278 HAS SOPS 22278 HAS SOUS 17003 HAS SOUPS 17003 WITH SCORE 17025.278
AT ITER 2387 NEW BEST:: SOT 105948 SOS 23363 HAS SOPS 23363 HAS SOUS 16966 HAS SOUPS 16966 WITH SCORE 16989.363
AT ITER 2415 NEW BEST:: SOT 105948 SOS 23288 HAS SOPS 23288 HAS SOUS 16891 HAS SOUPS 16891 WITH SCORE 16914.288
AT ITER 2465 NEW BEST:: SOT 105948 SOS 23287 HAS SOPS 23287 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16913.287
AT ITER 2558 NEW BEST:: SOT 105843 SOS 23193 HAS SOPS 23193 HAS SOUS 16887 HAS SOUPS 16887 WITH SCORE 16910.193
AT ITER 2578 NEW BEST:: SOT 105773 SOS 23123 HAS SOPS 23123 HAS SOUS 16817 HAS SOUPS 16817 WITH SCORE 16840.123
AT ITER 2579 NEW BEST:: SOT 105758 SOS 23068 HAS SOPS 23068 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16825.068
AT ITER 2583 NEW BEST:: SOT 105707 SOS 22989 HAS SOPS 22989 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16824.989
AT ITER 2590 NEW BEST:: SOT 105707 SOS 22965 HAS SOPS 22965 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16824.965
AT ITER 2609 NEW BEST:: SOT 105700 SOS 22958 HAS SOPS 22958 HAS SOUS 16802 HAS SOUPS 16802 WITH SCORE 16824.958
AT ITER 2613 NEW BEST:: SOT 105666 SOS 22890 HAS SOPS 22890 HAS SOUS 16768 HAS SOUPS 16768 WITH SCORE 16790.89
AT ITER 2634 NEW BEST:: SOT 105630 SOS 22856 HAS SOPS 22856 HAS SOUS 16766 HAS SOUPS 16766 WITH SCORE 16788.856
AT ITER 2646 NEW BEST:: SOT 105598 SOS 22760 HAS SOPS 22760 HAS SOUS 16702 HAS SOUPS 16702 WITH SCORE 16724.76
AT ITER 2674 NEW BEST:: SOT 105585 SOS 22721 HAS SOPS 22721 HAS SOUS 16676 HAS SOUPS 16676 WITH SCORE 16698.721
AT ITER 2676 NEW BEST:: SOT 105582 SOS 22718 HAS SOPS 22718 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16695.718
AT ITER 2678 NEW BEST:: SOT 105563 SOS 22716 HAS SOPS 22716 HAS SOUS 16660 HAS SOUPS 16660 WITH SCORE 16682.716
AT ITER 2701 NEW BEST:: SOT 105534 SOS 22665 HAS SOPS 22665 HAS SOUS 16609 HAS SOUPS 16609 WITH SCORE 16631.665
AT ITER 2723 NEW BEST:: SOT 105529 SOS 22655 HAS SOPS 22655 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16620.655
AT ITER 2760 NEW BEST:: SOT 105567 SOS 22693 HAS SOPS 22693 HAS SOUS 16575 HAS SOUPS 16575 WITH SCORE 16597.693
AT ITER 2818 NEW BEST:: SOT 105547 SOS 22667 HAS SOPS 22667 HAS SOUS 16555 HAS SOUPS 16555 WITH SCORE 16577.667
AT ITER 2820 NEW BEST:: SOT 105541 SOS 22666 HAS SOPS 22666 HAS SOUS 16554 HAS SOUPS 16554 WITH SCORE 16576.666
AT ITER 2828 NEW BEST:: SOT 105541 SOS 22666 HAS SOPS 22666 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16558.666
AT ITER 2856 NEW BEST:: SOT 105564 SOS 22689 HAS SOPS 22689 HAS SOUS 16513 HAS SOUPS 16513 WITH SCORE 16535.689
AT ITER 2858 NEW BEST:: SOT 105541 SOS 22649 HAS SOPS 22649 HAS SOUS 16496 HAS SOUPS 16496 WITH SCORE 16518.649
AT ITER 2906 NEW BEST:: SOT 105540 SOS 22647 HAS SOPS 22647 HAS SOUS 16495 HAS SOUPS 16495 WITH SCORE 16517.647
AT ITER 2916 NEW BEST:: SOT 105473 SOS 22665 HAS SOPS 22665 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16467.665
AT ITER 2924 NEW BEST:: SOT 105473 SOS 22631 HAS SOPS 22631 HAS SOUS 16445 HAS SOUPS 16445 WITH SCORE 16467.631
AT ITER 2936 NEW BEST:: SOT 105435 SOS 22581 HAS SOPS 22581 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16417.581
AT ITER 2994 NEW BEST:: SOT 105401 SOS 22547 HAS SOPS 22547 HAS SOUS 16387 HAS SOUPS 16387 WITH SCORE 16409.547
AT ITER 3018 NEW BEST:: SOT 105325 SOS 22647 HAS SOPS 22647 HAS SOUS 16331 HAS SOUPS 16331 WITH SCORE 16353.647
AT ITER 3021 NEW BEST:: SOT 105327 SOS 22649 HAS SOPS 22649 HAS SOUS 16320 HAS SOUPS 16320 WITH SCORE 16342.649
AT ITER 3030 NEW BEST:: SOT 105324 SOS 22643 HAS SOPS 22643 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16336.643
AT ITER 3077 NEW BEST:: SOT 105288 SOS 22607 HAS SOPS 22607 HAS SOUS 16254 HAS SOUPS 16254 WITH SCORE 16276.607
AT ITER 3092 NEW BEST:: SOT 105288 SOS 22607 HAS SOPS 22607 HAS SOUS 16243 HAS SOUPS 16243 WITH SCORE 16265.607
AT ITER 3107 NEW BEST:: SOT 105157 SOS 22503 HAS SOPS 22503 HAS SOUS 16197 HAS SOUPS 16197 WITH SCORE 16219.503
AT ITER 3116 NEW BEST:: SOT 105099 SOS 22432 HAS SOPS 22432 HAS SOUS 16193 HAS SOUPS 16193 WITH SCORE 16215.432
AT ITER 3123 NEW BEST:: SOT 104996 SOS 22920 HAS SOPS 22920 HAS SOUS 16192 HAS SOUPS 16192 WITH SCORE 16214.92
AT ITER 3124 NEW BEST:: SOT 104989 SOS 22906 HAS SOPS 22906 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16207.906
AT ITER 3161 NEW BEST:: SOT 104965 SOS 22881 HAS SOPS 22881 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16183.881
AT ITER 3183 NEW BEST:: SOT 104965 SOS 22878 HAS SOPS 22878 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16180.878
AT ITER 3194 NEW BEST:: SOT 104965 SOS 22878 HAS SOPS 22878 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16158.878
AT ITER 3234 NEW BEST:: SOT 104941 SOS 22818 HAS SOPS 22818 HAS SOUS 16118 HAS SOUPS 16118 WITH SCORE 16140.818
AT ITER 3242 NEW BEST:: SOT 104935 SOS 22806 HAS SOPS 22806 HAS SOUS 16112 HAS SOUPS 16112 WITH SCORE 16134.806
AT ITER 3275 NEW BEST:: SOT 104917 SOS 22782 HAS SOPS 22782 HAS SOUS 16088 HAS SOUPS 16088 WITH SCORE 16110.782
AT ITER 3277 NEW BEST:: SOT 104916 SOS 22747 HAS SOPS 22747 HAS SOUS 16054 HAS SOUPS 16054 WITH SCORE 16076.747
AT ITER 3289 NEW BEST:: SOT 104928 SOS 22759 HAS SOPS 22759 HAS SOUS 16020 HAS SOUPS 16020 WITH SCORE 16042.759
AT ITER 3325 NEW BEST:: SOT 104976 SOS 22695 HAS SOPS 22695 HAS SOUS 15956 HAS SOUPS 15956 WITH SCORE 15978.695
AT ITER 3335 NEW BEST:: SOT 104975 SOS 22694 HAS SOPS 22694 HAS SOUS 15955 HAS SOUPS 15955 WITH SCORE 15977.694
AT ITER 3359 NEW BEST:: SOT 105065 SOS 22645 HAS SOPS 22645 HAS SOUS 15924 HAS SOUPS 15924 WITH SCORE 15946.645
AT ITER 3394 NEW BEST:: SOT 105004 SOS 22530 HAS SOPS 22530 HAS SOUS 15877 HAS SOUPS 15877 WITH SCORE 15899.53
AT ITER 3410 NEW BEST:: SOT 105006 SOS 22519 HAS SOPS 22519 HAS SOUS 15864 HAS SOUPS 15864 WITH SCORE 15886.519
AT ITER 3430 NEW BEST:: SOT 104979 SOS 22465 HAS SOPS 22465 HAS SOUS 15839 HAS SOUPS 15839 WITH SCORE 15861.465
AT ITER 3437 NEW BEST:: SOT 104937 SOS 22423 HAS SOPS 22423 HAS SOUS 15836 HAS SOUPS 15836 WITH SCORE 15858.423
AT ITER 3448 NEW BEST:: SOT 104900 SOS 22402 HAS SOPS 22402 HAS SOUS 15815 HAS SOUPS 15815 WITH SCORE 15837.402
AT ITER 3482 NEW BEST:: SOT 104901 SOS 22348 HAS SOPS 22348 HAS SOUS 15760 HAS SOUPS 15760 WITH SCORE 15782.348
AT ITER 3508 NEW BEST:: SOT 104875 SOS 22296 HAS SOPS 22296 HAS SOUS 15714 HAS SOUPS 15714 WITH SCORE 15736.296
AT ITER 3514 NEW BEST:: SOT 104883 SOS 22294 HAS SOPS 22294 HAS SOUS 15712 HAS SOUPS 15712 WITH SCORE 15734.294
AT ITER 3539 NEW BEST:: SOT 104875 SOS 22270 HAS SOPS 22270 HAS SOUS 15696 HAS SOUPS 15696 WITH SCORE 15718.27
AT ITER 3548 NEW BEST:: SOT 104863 SOS 22246 HAS SOPS 22246 HAS SOUS 15674 HAS SOUPS 15674 WITH SCORE 15696.246
AT ITER 3579 NEW BEST:: SOT 104864 SOS 22247 HAS SOPS 22247 HAS SOUS 15673 HAS SOUPS 15673 WITH SCORE 15695.247
AT ITER 3601 NEW BEST:: SOT 104840 SOS 22199 HAS SOPS 22199 HAS SOUS 15665 HAS SOUPS 15665 WITH SCORE 15687.199
AT ITER 3670 NEW BEST:: SOT 104808 SOS 22167 HAS SOPS 22167 HAS SOUS 15653 HAS SOUPS 15653 WITH SCORE 15675.167
AT ITER 3677 NEW BEST:: SOT 104808 SOS 22164 HAS SOPS 22164 HAS SOUS 15650 HAS SOUPS 15650 WITH SCORE 15672.164
AT ITER 3689 NEW BEST:: SOT 104808 SOS 22125 HAS SOPS 22125 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15633.125
AT ITER 3723 NEW BEST:: SOT 104852 SOS 22169 HAS SOPS 22169 HAS SOUS 15600 HAS SOUPS 15600 WITH SCORE 15622.169
AT ITER 3742 NEW BEST:: SOT 104847 SOS 22164 HAS SOPS 22164 HAS SOUS 15590 HAS SOUPS 15590 WITH SCORE 15612.164
AT ITER 3743 NEW BEST:: SOT 104842 SOS 22178 HAS SOPS 22178 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15602.178
AT ITER 3751 NEW BEST:: SOT 104855 SOS 22204 HAS SOPS 22204 HAS SOUS 15577 HAS SOUPS 15577 WITH SCORE 15599.204
AT ITER 3762 NEW BEST:: SOT 104857 SOS 22195 HAS SOPS 22195 HAS SOUS 15567 HAS SOUPS 15567 WITH SCORE 15589.195
AT ITER 3771 NEW BEST:: SOT 104883 SOS 22164 HAS SOPS 22164 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15572.164
AT ITER 3799 NEW BEST:: SOT 104884 SOS 22166 HAS SOPS 22166 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15571.166
AT ITER 3807 NEW BEST:: SOT 104851 SOS 22165 HAS SOPS 22165 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15570.165
AT ITER 3810 NEW BEST:: SOT 104793 SOS 22107 HAS SOPS 22107 HAS SOUS 15548 HAS SOUPS 15548 WITH SCORE 15570.107
AT ITER 3828 NEW BEST:: SOT 104753 SOS 22027 HAS SOPS 22027 HAS SOUS 15493 HAS SOUPS 15493 WITH SCORE 15515.027
AT ITER 3830 NEW BEST:: SOT 104693 SOS 21927 HAS SOPS 21927 HAS SOUS 15393 HAS SOUPS 15393 WITH SCORE 15414.927
AT ITER 3853 NEW BEST:: SOT 104732 SOS 21847 HAS SOPS 21847 HAS SOUS 15313 HAS SOUPS 15313 WITH SCORE 15334.847
AT ITER 3874 NEW BEST:: SOT 104733 SOS 21801 HAS SOPS 21801 HAS SOUS 15285 HAS SOUPS 15285 WITH SCORE 15306.801
AT ITER 3887 NEW BEST:: SOT 104728 SOS 21785 HAS SOPS 21785 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15290.785
AT ITER 3888 NEW BEST:: SOT 104754 SOS 21811 HAS SOPS 21811 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15247.811
AT ITER 3919 NEW BEST:: SOT 104787 SOS 21749 HAS SOPS 21749 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15205.749
AT ITER 3920 NEW BEST:: SOT 104786 SOS 21747 HAS SOPS 21747 HAS SOUS 15182 HAS SOUPS 15182 WITH SCORE 15203.747
AT ITER 3924 NEW BEST:: SOT 104784 SOS 21743 HAS SOPS 21743 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15199.743
AT ITER 3934 NEW BEST:: SOT 104776 SOS 21729 HAS SOPS 21729 HAS SOUS 15164 HAS SOUPS 15164 WITH SCORE 15185.729
AT ITER 3956 NEW BEST:: SOT 104818 SOS 21721 HAS SOPS 21721 HAS SOUS 15156 HAS SOUPS 15156 WITH SCORE 15177.721
AT ITER 3976 NEW BEST:: SOT 104818 SOS 21721 HAS SOPS 21721 HAS SOUS 15152 HAS SOUPS 15152 WITH SCORE 15173.721
AT ITER 3990 NEW BEST:: SOT 104811 SOS 21716 HAS SOPS 21716 HAS SOUS 15147 HAS SOUPS 15147 WITH SCORE 15168.716
AT ITER 3997 NEW BEST:: SOT 104781 SOS 21664 HAS SOPS 21664 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15138.664
AT ITER 4075 NEW BEST:: SOT 104770 SOS 21642 HAS SOPS 21642 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15127.642
AT ITER 4080 NEW BEST:: SOT 104748 SOS 21598 HAS SOPS 21598 HAS SOUS 15094 HAS SOUPS 15094 WITH SCORE 15115.598
AT ITER 4088 NEW BEST:: SOT 104724 SOS 21550 HAS SOPS 21550 HAS SOUS 15046 HAS SOUPS 15046 WITH SCORE 15067.55
AT ITER 4094 NEW BEST:: SOT 104717 SOS 21529 HAS SOPS 21529 HAS SOUS 15025 HAS SOUPS 15025 WITH SCORE 15046.529
AT ITER 4123 NEW BEST:: SOT 104706 SOS 21518 HAS SOPS 21518 HAS SOUS 15006 HAS SOUPS 15006 WITH SCORE 15027.518
AT ITER 4129 NEW BEST:: SOT 104686 SOS 21478 HAS SOPS 21478 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14987.478
AT ITER 4131 NEW BEST:: SOT 104670 SOS 21462 HAS SOPS 21462 HAS SOUS 14966 HAS SOUPS 14966 WITH SCORE 14987.462
AT ITER 4176 NEW BEST:: SOT 104668 SOS 21459 HAS SOPS 21459 HAS SOUS 14964 HAS SOUPS 14964 WITH SCORE 14985.459
AT ITER 4185 NEW BEST:: SOT 104675 SOS 21354 HAS SOPS 21354 HAS SOUS 14955 HAS SOUPS 14955 WITH SCORE 14976.354
AT ITER 4226 NEW BEST:: SOT 104697 SOS 21281 HAS SOPS 21281 HAS SOUS 14926 HAS SOUPS 14926 WITH SCORE 14947.281
AT ITER 4265 NEW BEST:: SOT 104719 SOS 21284 HAS SOPS 21284 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14905.284
AT ITER 4281 NEW BEST:: SOT 104755 SOS 21274 HAS SOPS 21274 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14903.274
AT ITER 4297 NEW BEST:: SOT 104755 SOS 21264 HAS SOPS 21264 HAS SOUS 14872 HAS SOUPS 14872 WITH SCORE 14893.264
AT ITER 4301 NEW BEST:: SOT 104755 SOS 21250 HAS SOPS 21250 HAS SOUS 14858 HAS SOUPS 14858 WITH SCORE 14879.25
AT ITER 4318 NEW BEST:: SOT 104740 SOS 21220 HAS SOPS 21220 HAS SOUS 14823 HAS SOUPS 14823 WITH SCORE 14844.22
AT ITER 4430 NEW BEST:: SOT 104735 SOS 21215 HAS SOPS 21215 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14837.215
AT ITER 4446 NEW BEST:: SOT 104620 SOS 21391 HAS SOPS 21391 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14772.391
AT ITER 4462 NEW BEST:: SOT 104624 SOS 21343 HAS SOPS 21343 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14772.343
AT ITER 4481 NEW BEST:: SOT 104611 SOS 21243 HAS SOPS 21243 HAS SOUS 14738 HAS SOUPS 14738 WITH SCORE 14759.243
AT ITER 4544 NEW BEST:: SOT 104608 SOS 21240 HAS SOPS 21240 HAS SOUS 14735 HAS SOUPS 14735 WITH SCORE 14756.24
AT ITER 4545 NEW BEST:: SOT 104547 SOS 21139 HAS SOPS 21139 HAS SOUS 14731 HAS SOUPS 14731 WITH SCORE 14752.139
AT ITER 4550 NEW BEST:: SOT 104542 SOS 21129 HAS SOPS 21129 HAS SOUS 14726 HAS SOUPS 14726 WITH SCORE 14747.129
AT ITER 4580 NEW BEST:: SOT 104528 SOS 21115 HAS SOPS 21115 HAS SOUS 14712 HAS SOUPS 14712 WITH SCORE 14733.115
AT ITER 4620 NEW BEST:: SOT 104528 SOS 21114 HAS SOPS 21114 HAS SOUS 14711 HAS SOUPS 14711 WITH SCORE 14732.114
AT ITER 4623 NEW BEST:: SOT 104517 SOS 21092 HAS SOPS 21092 HAS SOUS 14689 HAS SOUPS 14689 WITH SCORE 14710.092
AT ITER 4635 NEW BEST:: SOT 104518 SOS 21093 HAS SOPS 21093 HAS SOUS 14681 HAS SOUPS 14681 WITH SCORE 14702.093
AT ITER 4640 NEW BEST:: SOT 104529 SOS 21060 HAS SOPS 21060 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14697.06
AT ITER 4642 NEW BEST:: SOT 104514 SOS 21060 HAS SOPS 21060 HAS SOUS 14661 HAS SOUPS 14661 WITH SCORE 14682.06
AT ITER 4657 NEW BEST:: SOT 104507 SOS 21046 HAS SOPS 21046 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14668.046
AT ITER 4678 NEW BEST:: SOT 104502 SOS 21036 HAS SOPS 21036 HAS SOUS 14647 HAS SOUPS 14647 WITH SCORE 14668.036
AT ITER 4762 NEW BEST:: SOT 104498 SOS 21052 HAS SOPS 21052 HAS SOUS 14643 HAS SOUPS 14643 WITH SCORE 14664.052
AT ITER 4824 NEW BEST:: SOT 104417 SOS 21049 HAS SOPS 21049 HAS SOUS 14640 HAS SOUPS 14640 WITH SCORE 14661.049
AT ITER 4852 NEW BEST:: SOT 104417 SOS 21049 HAS SOPS 21049 HAS SOUS 14632 HAS SOUPS 14632 WITH SCORE 14653.049
AT ITER 4887 NEW BEST:: SOT 104415 SOS 21045 HAS SOPS 21045 HAS SOUS 14628 HAS SOUPS 14628 WITH SCORE 14649.045
AT ITER 4911 NEW BEST:: SOT 104379 SOS 21009 HAS SOPS 21009 HAS SOUS 14628 HAS SOUPS 14628 WITH SCORE 14649.009
AT ITER 4919 NEW BEST:: SOT 104356 SOS 20982 HAS SOPS 20982 HAS SOUS 14601 HAS SOUPS 14601 WITH SCORE 14621.982
AT ITER 4930 NEW BEST:: SOT 104294 SOS 20858 HAS SOPS 20858 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14512.858
AT ITER 4943 NEW BEST:: SOT 104303 SOS 20841 HAS SOPS 20841 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14495.841
AT ITER 4972 NEW BEST:: SOT 104292 SOS 20840 HAS SOPS 20840 HAS SOUS 14453 HAS SOUPS 14453 WITH SCORE 14473.84
AT ITER 4975 NEW BEST:: SOT 104292 SOS 20840 HAS SOPS 20840 HAS SOUS 14450 HAS SOUPS 14450 WITH SCORE 14470.84
AT ITER 5012 NEW BEST:: SOT 104292 SOS 20840 HAS SOPS 20840 HAS SOUS 14443 HAS SOUPS 14443 WITH SCORE 14463.84
AT ITER 5035 NEW BEST:: SOT 104273 SOS 20819 HAS SOPS 20819 HAS SOUS 14430 HAS SOUPS 14430 WITH SCORE 14450.819
AT ITER 5036 NEW BEST:: SOT 104273 SOS 20819 HAS SOPS 20819 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14446.819
AT ITER 5056 NEW BEST:: SOT 104271 SOS 20812 HAS SOPS 20812 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14442.812
AT ITER 5057 NEW BEST:: SOT 104271 SOS 20781 HAS SOPS 20781 HAS SOUS 14422 HAS SOUPS 14422 WITH SCORE 14442.781
AT ITER 5073 NEW BEST:: SOT 104247 SOS 20745 HAS SOPS 20745 HAS SOUS 14386 HAS SOUPS 14386 WITH SCORE 14406.745
AT ITER 5074 NEW BEST:: SOT 104237 SOS 20725 HAS SOPS 20725 HAS SOUS 14376 HAS SOUPS 14376 WITH SCORE 14396.725
AT ITER 5121 NEW BEST:: SOT 104223 SOS 20697 HAS SOPS 20697 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14368.697
AT ITER 5131 NEW BEST:: SOT 104206 SOS 20696 HAS SOPS 20696 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14352.696
AT ITER 5144 NEW BEST:: SOT 104247 SOS 20778 HAS SOPS 20778 HAS SOUS 14331 HAS SOUPS 14331 WITH SCORE 14351.778
AT ITER 5179 NEW BEST:: SOT 104243 SOS 20774 HAS SOPS 20774 HAS SOUS 14327 HAS SOUPS 14327 WITH SCORE 14347.774
AT ITER 5180 NEW BEST:: SOT 104236 SOS 20774 HAS SOPS 20774 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14340.774
AT ITER 5199 NEW BEST:: SOT 104235 SOS 20773 HAS SOPS 20773 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14340.773
AT ITER 5235 NEW BEST:: SOT 104271 SOS 20823 HAS SOPS 20823 HAS SOUS 14317 HAS SOUPS 14317 WITH SCORE 14337.823
AT ITER 5242 NEW BEST:: SOT 104244 SOS 20769 HAS SOPS 20769 HAS SOUS 14291 HAS SOUPS 14291 WITH SCORE 14311.769
AT ITER 5256 NEW BEST:: SOT 104244 SOS 20751 HAS SOPS 20751 HAS SOUS 14273 HAS SOUPS 14273 WITH SCORE 14293.751
AT ITER 5462 NEW BEST:: SOT 104247 SOS 20757 HAS SOPS 20757 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14291.757
AT ITER 5472 NEW BEST:: SOT 104240 SOS 20185 HAS SOPS 20185 HAS SOUS 14216 HAS SOUPS 14216 WITH SCORE 14236.185
AT ITER 5474 NEW BEST:: SOT 104237 SOS 20182 HAS SOPS 20182 HAS SOUS 14215 HAS SOUPS 14215 WITH SCORE 14235.182
AT ITER 5479 NEW BEST:: SOT 104219 SOS 20155 HAS SOPS 20155 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14225.155
AT ITER 5491 NEW BEST:: SOT 104196 SOS 20132 HAS SOPS 20132 HAS SOUS 14205 HAS SOUPS 14205 WITH SCORE 14225.132
AT ITER 5514 NEW BEST:: SOT 104169 SOS 20105 HAS SOPS 20105 HAS SOUS 14199 HAS SOUPS 14199 WITH SCORE 14219.105
AT ITER 5538 NEW BEST:: SOT 104188 SOS 20095 HAS SOPS 20095 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14211.095
AT ITER 5623 NEW BEST:: SOT 104188 SOS 20083 HAS SOPS 20083 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14211.083
AT ITER 5646 NEW BEST:: SOT 104186 SOS 20079 HAS SOPS 20079 HAS SOUS 14187 HAS SOUPS 14187 WITH SCORE 14207.079
AT ITER 5658 NEW BEST:: SOT 104178 SOS 20063 HAS SOPS 20063 HAS SOUS 14179 HAS SOUPS 14179 WITH SCORE 14199.063
AT ITER 5689 NEW BEST:: SOT 104133 SOS 19999 HAS SOPS 19999 HAS SOUS 14154 HAS SOUPS 14154 WITH SCORE 14173.999
AT ITER 5754 NEW BEST:: SOT 104133 SOS 19987 HAS SOPS 19987 HAS SOUS 14142 HAS SOUPS 14142 WITH SCORE 14161.987
AT ITER 5809 NEW BEST:: SOT 104101 SOS 19931 HAS SOPS 19931 HAS SOUS 14112 HAS SOUPS 14112 WITH SCORE 14131.931
AT ITER 5825 NEW BEST:: SOT 104100 SOS 19929 HAS SOPS 19929 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14130.929
AT ITER 5835 NEW BEST:: SOT 104089 SOS 19918 HAS SOPS 19918 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14119.918
AT ITER 5837 NEW BEST:: SOT 104063 SOS 19904 HAS SOPS 19904 HAS SOUS 14086 HAS SOUPS 14086 WITH SCORE 14105.904
AT ITER 5849 NEW BEST:: SOT 104057 SOS 19892 HAS SOPS 19892 HAS SOUS 14074 HAS SOUPS 14074 WITH SCORE 14093.892
AT ITER 5853 NEW BEST:: SOT 104062 SOS 19891 HAS SOPS 19891 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14092.891
AT ITER 5932 NEW BEST:: SOT 104060 SOS 19889 HAS SOPS 19889 HAS SOUS 14073 HAS SOUPS 14073 WITH SCORE 14092.889
AT ITER 6086 NEW BEST:: SOT 104049 SOS 19878 HAS SOPS 19878 HAS SOUS 14062 HAS SOUPS 14062 WITH SCORE 14081.878
AT ITER 6176 NEW BEST:: SOT 103998 SOS 20146 HAS SOPS 20146 HAS SOUS 14057 HAS SOUPS 14057 WITH SCORE 14077.146
AT ITER 6177 NEW BEST:: SOT 103974 SOS 19988 HAS SOPS 19988 HAS SOUS 13988 HAS SOUPS 13988 WITH SCORE 14007.988
AT ITER 6186 NEW BEST:: SOT 103970 SOS 19984 HAS SOPS 19984 HAS SOUS 13984 HAS SOUPS 13984 WITH SCORE 14003.984
AT ITER 6205 NEW BEST:: SOT 103964 SOS 19975 HAS SOPS 19975 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13997.975
AT ITER 6291 NEW BEST:: SOT 103963 SOS 19973 HAS SOPS 19973 HAS SOUS 13976 HAS SOUPS 13976 WITH SCORE 13995.973
AT ITER 6305 NEW BEST:: SOT 103920 SOS 19887 HAS SOPS 19887 HAS SOUS 13890 HAS SOUPS 13890 WITH SCORE 13909.887
AT ITER 6312 NEW BEST:: SOT 103922 SOS 19885 HAS SOPS 19885 HAS SOUS 13888 HAS SOUPS 13888 WITH SCORE 13907.885
AT ITER 6323 NEW BEST:: SOT 103868 SOS 19804 HAS SOPS 19804 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13853.804
AT ITER 6326 NEW BEST:: SOT 103863 SOS 19794 HAS SOPS 19794 HAS SOUS 13829 HAS SOUPS 13829 WITH SCORE 13848.794
AT ITER 6381 NEW BEST:: SOT 103848 SOS 19783 HAS SOPS 19783 HAS SOUS 13818 HAS SOUPS 13818 WITH SCORE 13837.783
AT ITER 6384 NEW BEST:: SOT 103848 SOS 19772 HAS SOPS 19772 HAS SOUS 13807 HAS SOUPS 13807 WITH SCORE 13826.772
AT ITER 6408 NEW BEST:: SOT 103842 SOS 19766 HAS SOPS 19766 HAS SOUS 13804 HAS SOUPS 13804 WITH SCORE 13823.766
AT ITER 6410 NEW BEST:: SOT 103825 SOS 19903 HAS SOPS 19903 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13806.903
AT ITER 6414 NEW BEST:: SOT 103818 SOS 19896 HAS SOPS 19896 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13802.896
AT ITER 6450 NEW BEST:: SOT 103811 SOS 19882 HAS SOPS 19882 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13799.882
AT ITER 6477 NEW BEST:: SOT 103781 SOS 19852 HAS SOPS 19852 HAS SOUS 13750 HAS SOUPS 13750 WITH SCORE 13769.852
AT ITER 6480 NEW BEST:: SOT 103806 SOS 19856 HAS SOPS 19856 HAS SOUS 13744 HAS SOUPS 13744 WITH SCORE 13763.856
AT ITER 6502 NEW BEST:: SOT 103798 SOS 19840 HAS SOPS 19840 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13755.84
AT ITER 6534 NEW BEST:: SOT 103785 SOS 19827 HAS SOPS 19827 HAS SOUS 13723 HAS SOUPS 13723 WITH SCORE 13742.827
AT ITER 6543 NEW BEST:: SOT 103783 SOS 19825 HAS SOPS 19825 HAS SOUS 13721 HAS SOUPS 13721 WITH SCORE 13740.825
AT ITER 6599 NEW BEST:: SOT 103783 SOS 19816 HAS SOPS 19816 HAS SOUS 13721 HAS SOUPS 13721 WITH SCORE 13740.816
AT ITER 6640 NEW BEST:: SOT 103762 SOS 19816 HAS SOPS 19816 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13719.816
AT ITER 6662 NEW BEST:: SOT 103758 SOS 19812 HAS SOPS 19812 HAS SOUS 13700 HAS SOUPS 13700 WITH SCORE 13719.812
AT ITER 6669 NEW BEST:: SOT 103749 SOS 19805 HAS SOPS 19805 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13712.805
AT ITER 6682 NEW BEST:: SOT 103739 SOS 19785 HAS SOPS 19785 HAS SOUS 13655 HAS SOUPS 13655 WITH SCORE 13674.785
AT ITER 6697 NEW BEST:: SOT 103739 SOS 19779 HAS SOPS 19779 HAS SOUS 13649 HAS SOUPS 13649 WITH SCORE 13668.779
AT ITER 6830 NEW BEST:: SOT 103746 SOS 19767 HAS SOPS 19767 HAS SOUS 13637 HAS SOUPS 13637 WITH SCORE 13656.767
AT ITER 6838 NEW BEST:: SOT 103735 SOS 19745 HAS SOPS 19745 HAS SOUS 13615 HAS SOUPS 13615 WITH SCORE 13634.745
AT ITER 6847 NEW BEST:: SOT 103733 SOS 19741 HAS SOPS 19741 HAS SOUS 13611 HAS SOUPS 13611 WITH SCORE 13630.741
AT ITER 6860 NEW BEST:: SOT 103717 SOS 19801 HAS SOPS 19801 HAS SOUS 13603 HAS SOUPS 13603 WITH SCORE 13622.801
AT ITER 6868 NEW BEST:: SOT 103717 SOS 19801 HAS SOPS 19801 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13612.801
AT ITER 6886 NEW BEST:: SOT 103713 SOS 19797 HAS SOPS 19797 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13612.797
AT ITER 6936 NEW BEST:: SOT 103711 SOS 19795 HAS SOPS 19795 HAS SOUS 13593 HAS SOUPS 13593 WITH SCORE 13612.795
AT ITER 6947 NEW BEST:: SOT 103693 SOS 19777 HAS SOPS 19777 HAS SOUS 13583 HAS SOUPS 13583 WITH SCORE 13602.777
AT ITER 6970 NEW BEST:: SOT 103701 SOS 19793 HAS SOPS 19793 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13601.793
AT ITER 6976 NEW BEST:: SOT 103689 SOS 19781 HAS SOPS 19781 HAS SOUS 13582 HAS SOUPS 13582 WITH SCORE 13601.781
AT ITER 6989 NEW BEST:: SOT 103688 SOS 19779 HAS SOPS 19779 HAS SOUS 13580 HAS SOUPS 13580 WITH SCORE 13599.779
AT ITER 7012 NEW BEST:: SOT 103826 SOS 19918 HAS SOPS 19918 HAS SOUS 13547 HAS SOUPS 13547 WITH SCORE 13566.918
AT ITER 7032 NEW BEST:: SOT 103810 SOS 19886 HAS SOPS 19886 HAS SOUS 13537 HAS SOUPS 13537 WITH SCORE 13556.886
AT ITER 7036 NEW BEST:: SOT 103798 SOS 19862 HAS SOPS 19862 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13532.862
AT ITER 7041 NEW BEST:: SOT 103804 SOS 19868 HAS SOPS 19868 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13527.868
AT ITER 7060 NEW BEST:: SOT 103801 SOS 19862 HAS SOPS 19862 HAS SOUS 13502 HAS SOUPS 13502 WITH SCORE 13521.862
AT ITER 7107 NEW BEST:: SOT 103800 SOS 19860 HAS SOPS 19860 HAS SOUS 13500 HAS SOUPS 13500 WITH SCORE 13519.86
AT ITER 7113 NEW BEST:: SOT 103786 SOS 19846 HAS SOPS 19846 HAS SOUS 13486 HAS SOUPS 13486 WITH SCORE 13505.846
AT ITER 7226 NEW BEST:: SOT 103714 SOS 19707 HAS SOPS 19707 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13465.707
AT ITER 7295 NEW BEST:: SOT 103687 SOS 19657 HAS SOPS 19657 HAS SOUS 13441 HAS SOUPS 13441 WITH SCORE 13460.657
AT ITER 7329 NEW BEST:: SOT 103673 SOS 19629 HAS SOPS 19629 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13432.629
AT ITER 7332 NEW BEST:: SOT 103612 SOS 19507 HAS SOPS 19507 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13310.507
AT ITER 7398 NEW BEST:: SOT 103614 SOS 19491 HAS SOPS 19491 HAS SOUS 13286 HAS SOUPS 13286 WITH SCORE 13305.491
AT ITER 7415 NEW BEST:: SOT 103611 SOS 19482 HAS SOPS 19482 HAS SOUS 13280 HAS SOUPS 13280 WITH SCORE 13299.482
AT ITER 7451 NEW BEST:: SOT 103619 SOS 19478 HAS SOPS 19478 HAS SOUS 13276 HAS SOUPS 13276 WITH SCORE 13295.478
AT ITER 7468 NEW BEST:: SOT 103608 SOS 19456 HAS SOPS 19456 HAS SOUS 13265 HAS SOUPS 13265 WITH SCORE 13284.456
AT ITER 7500 NEW BEST:: SOT 103578 SOS 19417 HAS SOPS 19417 HAS SOUS 13214 HAS SOUPS 13214 WITH SCORE 13233.417
AT ITER 7561 NEW BEST:: SOT 103577 SOS 19417 HAS SOPS 19417 HAS SOUS 13213 HAS SOUPS 13213 WITH SCORE 13232.417
AT ITER 7577 NEW BEST:: SOT 103564 SOS 19424 HAS SOPS 19424 HAS SOUS 13209 HAS SOUPS 13209 WITH SCORE 13228.424
AT ITER 7599 NEW BEST:: SOT 103564 SOS 19413 HAS SOPS 19413 HAS SOUS 13198 HAS SOUPS 13198 WITH SCORE 13217.413
AT ITER 7612 NEW BEST:: SOT 103563 SOS 19410 HAS SOPS 19410 HAS SOUS 13195 HAS SOUPS 13195 WITH SCORE 13214.41
AT ITER 7646 NEW BEST:: SOT 103559 SOS 19406 HAS SOPS 19406 HAS SOUS 13191 HAS SOUPS 13191 WITH SCORE 13210.406
AT ITER 7663 NEW BEST:: SOT 103531 SOS 19352 HAS SOPS 19352 HAS SOUS 13137 HAS SOUPS 13137 WITH SCORE 13156.352
AT ITER 7674 NEW BEST:: SOT 103516 SOS 19359 HAS SOPS 19359 HAS SOUS 13122 HAS SOUPS 13122 WITH SCORE 13141.359
AT ITER 7680 NEW BEST:: SOT 103517 SOS 19360 HAS SOPS 19360 HAS SOUS 13106 HAS SOUPS 13106 WITH SCORE 13125.36
AT ITER 7692 NEW BEST:: SOT 103515 SOS 19356 HAS SOPS 19356 HAS SOUS 13104 HAS SOUPS 13104 WITH SCORE 13123.356
AT ITER 7699 NEW BEST:: SOT 103511 SOS 19330 HAS SOPS 19330 HAS SOUS 13096 HAS SOUPS 13096 WITH SCORE 13115.33
AT ITER 7704 NEW BEST:: SOT 103511 SOS 19317 HAS SOPS 19317 HAS SOUS 13083 HAS SOUPS 13083 WITH SCORE 13102.317
AT ITER 7744 NEW BEST:: SOT 103490 SOS 19296 HAS SOPS 19296 HAS SOUS 13062 HAS SOUPS 13062 WITH SCORE 13081.296
AT ITER 7783 NEW BEST:: SOT 103488 SOS 19290 HAS SOPS 19290 HAS SOUS 13058 HAS SOUPS 13058 WITH SCORE 13077.29
AT ITER 7786 NEW BEST:: SOT 103486 SOS 19288 HAS SOPS 19288 HAS SOUS 13056 HAS SOUPS 13056 WITH SCORE 13075.288
AT ITER 7790 NEW BEST:: SOT 103485 SOS 19286 HAS SOPS 19286 HAS SOUS 13054 HAS SOUPS 13054 WITH SCORE 13073.286
AT ITER 7799 NEW BEST:: SOT 103476 SOS 19268 HAS SOPS 19268 HAS SOUS 13036 HAS SOUPS 13036 WITH SCORE 13055.268
AT ITER 7834 NEW BEST:: SOT 103449 SOS 19241 HAS SOPS 19241 HAS SOUS 13024 HAS SOUPS 13024 WITH SCORE 13043.241
AT ITER 7865 NEW BEST:: SOT 103449 SOS 19241 HAS SOPS 19241 HAS SOUS 13023 HAS SOUPS 13023 WITH SCORE 13042.241
AT ITER 7919 NEW BEST:: SOT 103449 SOS 19241 HAS SOPS 19241 HAS SOUS 12980 HAS SOUPS 12980 WITH SCORE 12999.241
AT ITER 8021 NEW BEST:: SOT 103449 SOS 19222 HAS SOPS 19222 HAS SOUS 12961 HAS SOUPS 12961 WITH SCORE 12980.222
AT ITER 8066 NEW BEST:: SOT 103434 SOS 19156 HAS SOPS 19156 HAS SOUS 12937 HAS SOUPS 12937 WITH SCORE 12956.156
AT ITER 8088 NEW BEST:: SOT 103400 SOS 19139 HAS SOPS 19139 HAS SOUS 12920 HAS SOUPS 12920 WITH SCORE 12939.139
AT ITER 8092 NEW BEST:: SOT 103400 SOS 19133 HAS SOPS 19133 HAS SOUS 12914 HAS SOUPS 12914 WITH SCORE 12933.133
AT ITER 8111 NEW BEST:: SOT 103378 SOS 19089 HAS SOPS 19089 HAS SOUS 12888 HAS SOUPS 12888 WITH SCORE 12907.089
AT ITER 8126 NEW BEST:: SOT 103352 SOS 19232 HAS SOPS 19232 HAS SOUS 12875 HAS SOUPS 12875 WITH SCORE 12894.232
AT ITER 8184 NEW BEST:: SOT 103339 SOS 19219 HAS SOPS 19219 HAS SOUS 12862 HAS SOUPS 12862 WITH SCORE 12881.219
AT ITER 8264 NEW BEST:: SOT 103343 SOS 19227 HAS SOPS 19227 HAS SOUS 12857 HAS SOUPS 12857 WITH SCORE 12876.227
AT ITER 8268 NEW BEST:: SOT 103313 SOS 19407 HAS SOPS 19407 HAS SOUS 12837 HAS SOUPS 12837 WITH SCORE 12856.407
AT ITER 8330 NEW BEST:: SOT 103310 SOS 19401 HAS SOPS 19401 HAS SOUS 12831 HAS SOUPS 12831 WITH SCORE 12850.401
AT ITER 8364 NEW BEST:: SOT 103310 SOS 19401 HAS SOPS 19401 HAS SOUS 12821 HAS SOUPS 12821 WITH SCORE 12840.401
AT ITER 8367 NEW BEST:: SOT 103307 SOS 19380 HAS SOPS 19380 HAS SOUS 12815 HAS SOUPS 12815 WITH SCORE 12834.38
AT ITER 8389 NEW BEST:: SOT 103452 SOS 19374 HAS SOPS 19374 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12828.374
AT ITER 8423 NEW BEST:: SOT 103409 SOS 19472 HAS SOPS 19472 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12797.472
AT ITER 8438 NEW BEST:: SOT 103417 SOS 19480 HAS SOPS 19480 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12786.48
AT ITER 8453 NEW BEST:: SOT 103417 SOS 19480 HAS SOPS 19480 HAS SOUS 12738 HAS SOUPS 12738 WITH SCORE 12757.48
AT ITER 8466 NEW BEST:: SOT 103355 SOS 19832 HAS SOPS 19832 HAS SOUS 12710 HAS SOUPS 12710 WITH SCORE 12729.832
AT ITER 8493 NEW BEST:: SOT 103384 SOS 19861 HAS SOPS 19861 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12714.861
AT ITER 8494 NEW BEST:: SOT 103378 SOS 19784 HAS SOPS 19784 HAS SOUS 12682 HAS SOUPS 12682 WITH SCORE 12701.784
AT ITER 8509 NEW BEST:: SOT 103332 SOS 20268 HAS SOPS 20268 HAS SOUS 12660 HAS SOUPS 12660 WITH SCORE 12680.268
AT ITER 8549 NEW BEST:: SOT 103304 SOS 20244 HAS SOPS 20244 HAS SOUS 12636 HAS SOUPS 12636 WITH SCORE 12656.244
AT ITER 8553 NEW BEST:: SOT 103303 SOS 20242 HAS SOPS 20242 HAS SOUS 12634 HAS SOUPS 12634 WITH SCORE 12654.242
AT ITER 8583 NEW BEST:: SOT 103284 SOS 20239 HAS SOPS 20239 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12651.239
AT ITER 8595 NEW BEST:: SOT 103284 SOS 20231 HAS SOPS 20231 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12651.231
AT ITER 8639 NEW BEST:: SOT 103286 SOS 20235 HAS SOPS 20235 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12644.235
AT ITER 8650 NEW BEST:: SOT 103264 SOS 20199 HAS SOPS 20199 HAS SOUS 12624 HAS SOUPS 12624 WITH SCORE 12644.199
AT ITER 8715 NEW BEST:: SOT 103263 SOS 20198 HAS SOPS 20198 HAS SOUS 12623 HAS SOUPS 12623 WITH SCORE 12643.198
AT ITER 8778 NEW BEST:: SOT 103262 SOS 20196 HAS SOPS 20196 HAS SOUS 12621 HAS SOUPS 12621 WITH SCORE 12641.196
AT ITER 8779 NEW BEST:: SOT 103254 SOS 20180 HAS SOPS 20180 HAS SOUS 12613 HAS SOUPS 12613 WITH SCORE 12633.18
AT ITER 8814 NEW BEST:: SOT 103246 SOS 20164 HAS SOPS 20164 HAS SOUS 12601 HAS SOUPS 12601 WITH SCORE 12621.164
AT ITER 8829 NEW BEST:: SOT 103244 SOS 20162 HAS SOPS 20162 HAS SOUS 12600 HAS SOUPS 12600 WITH SCORE 12620.162
AT ITER 8904 NEW BEST:: SOT 103229 SOS 20147 HAS SOPS 20147 HAS SOUS 12594 HAS SOUPS 12594 WITH SCORE 12614.147
AT ITER 8917 NEW BEST:: SOT 103219 SOS 20127 HAS SOPS 20127 HAS SOUS 12574 HAS SOUPS 12574 WITH SCORE 12594.127
AT ITER 8951 NEW BEST:: SOT 103209 SOS 20107 HAS SOPS 20107 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12584.107
AT ITER 8975 NEW BEST:: SOT 103209 SOS 20095 HAS SOPS 20095 HAS SOUS 12564 HAS SOUPS 12564 WITH SCORE 12584.095
AT ITER 9087 NEW BEST:: SOT 103162 SOS 20001 HAS SOPS 20001 HAS SOUS 12470 HAS SOUPS 12470 WITH SCORE 12490.001
AT ITER 9100 NEW BEST:: SOT 103151 SOS 19985 HAS SOPS 19985 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12473.985
AT ITER 9110 NEW BEST:: SOT 103142 SOS 19967 HAS SOPS 19967 HAS SOUS 12445 HAS SOUPS 12445 WITH SCORE 12464.967
AT ITER 9116 NEW BEST:: SOT 103141 SOS 19965 HAS SOPS 19965 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12463.965
AT ITER 9156 NEW BEST:: SOT 103141 SOS 19963 HAS SOPS 19963 HAS SOUS 12444 HAS SOUPS 12444 WITH SCORE 12463.963
AT ITER 9228 NEW BEST:: SOT 103136 SOS 19958 HAS SOPS 19958 HAS SOUS 12425 HAS SOUPS 12425 WITH SCORE 12444.958
AT ITER 9235 NEW BEST:: SOT 103122 SOS 19930 HAS SOPS 19930 HAS SOUS 12397 HAS SOUPS 12397 WITH SCORE 12416.93
AT ITER 9339 NEW BEST:: SOT 103119 SOS 19924 HAS SOPS 19924 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12410.924
AT ITER 9380 NEW BEST:: SOT 103112 SOS 19917 HAS SOPS 19917 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12410.917
AT ITER 9390 NEW BEST:: SOT 103096 SOS 19901 HAS SOPS 19901 HAS SOUS 12391 HAS SOUPS 12391 WITH SCORE 12410.901
AT ITER 9449 NEW BEST:: SOT 103087 SOS 19892 HAS SOPS 19892 HAS SOUS 12384 HAS SOUPS 12384 WITH SCORE 12403.892
AT ITER 9467 NEW BEST:: SOT 103063 SOS 19844 HAS SOPS 19844 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12388.844
AT ITER 9511 NEW BEST:: SOT 103056 SOS 19837 HAS SOPS 19837 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12386.837
AT ITER 9543 NEW BEST:: SOT 103056 SOS 19824 HAS SOPS 19824 HAS SOUS 12367 HAS SOUPS 12367 WITH SCORE 12386.824
AT ITER 9582 NEW BEST:: SOT 103048 SOS 19808 HAS SOPS 19808 HAS SOUS 12359 HAS SOUPS 12359 WITH SCORE 12378.808
AT ITER 9609 NEW BEST:: SOT 103036 SOS 19798 HAS SOPS 19798 HAS SOUS 12349 HAS SOUPS 12349 WITH SCORE 12368.798
AT ITER 9630 NEW BEST:: SOT 103024 SOS 19748 HAS SOPS 19748 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12356.748
AT ITER 9658 NEW BEST:: SOT 102999 SOS 19698 HAS SOPS 19698 HAS SOUS 12287 HAS SOUPS 12287 WITH SCORE 12306.698
AT ITER 9713 NEW BEST:: SOT 102989 SOS 19674 HAS SOPS 19674 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12296.674
AT ITER 9743 NEW BEST:: SOT 102980 SOS 19665 HAS SOPS 19665 HAS SOUS 12277 HAS SOUPS 12277 WITH SCORE 12296.665
AT ITER 9757 NEW BEST:: SOT 102987 SOS 19672 HAS SOPS 19672 HAS SOUS 12269 HAS SOUPS 12269 WITH SCORE 12288.672
AT ITER 9914 NEW BEST:: SOT 102975 SOS 19658 HAS SOPS 19658 HAS SOUS 12266 HAS SOUPS 12266 WITH SCORE 12285.658
AT ITER 9931 NEW BEST:: SOT 102975 SOS 19652 HAS SOPS 19652 HAS SOUS 12260 HAS SOUPS 12260 WITH SCORE 12279.652
AT ITER 9940 NEW BEST:: SOT 102972 SOS 19643 HAS SOPS 19643 HAS SOUS 12251 HAS SOUPS 12251 WITH SCORE 12270.643
AT ITER 9956 NEW BEST:: SOT 102953 SOS 19605 HAS SOPS 19605 HAS SOUS 12251 HAS SOUPS 12251 WITH SCORE 12270.605
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3267192 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16152492 kB
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Caught signal 15, terminating.
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-15"
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-15, 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-167912643300272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SmartHome-PT-15.tgz
mv SmartHome-PT-15 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 ;