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.r227-tall-167856409900056.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 HypertorusGrid-PT-d3k3p2b06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856409900056
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 976K
-rw-r--r-- 1 mcc users 8.2K Feb 26 11:27 CTLCardinality.txt
-rw-r--r-- 1 mcc users 72K Feb 26 11:27 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 26 11:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 58K Feb 26 11:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:17 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:17 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 16:17 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 16:17 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 11:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 84K Feb 26 11:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 15K Feb 26 11:42 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 96K Feb 26 11:42 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 16:17 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Feb 25 16:17 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rwxr-xr-x 1 mcc users 522K Mar 5 18:22 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 1678602412676

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=HypertorusGrid-PT-d3k3p2b06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running HypertorusGrid (PT), instance d3k3p2b06
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: 513 places, 972 transitions, 3888 arcs.
AT ITER 0 NEW BEST:: SOT 309459 SOS 127305 HAS SOPS 127305 HAS SOUS 64373 HAS SOUPS 64373 WITH SCORE 64500.305
AT ITER 4 NEW BEST:: SOT 309419 SOS 127265 HAS SOPS 127265 HAS SOUS 64333 HAS SOUPS 64333 WITH SCORE 64460.265
AT ITER 16 NEW BEST:: SOT 309419 SOS 126947 HAS SOPS 126947 HAS SOUS 64227 HAS SOUPS 64227 WITH SCORE 64353.947
AT ITER 22 NEW BEST:: SOT 309437 SOS 126965 HAS SOPS 126965 HAS SOUS 64191 HAS SOUPS 64191 WITH SCORE 64317.965
AT ITER 38 NEW BEST:: SOT 309412 SOS 126940 HAS SOPS 126940 HAS SOUS 64166 HAS SOUPS 64166 WITH SCORE 64292.94
AT ITER 45 NEW BEST:: SOT 309412 SOS 126901 HAS SOPS 126901 HAS SOUS 64127 HAS SOUPS 64127 WITH SCORE 64253.901
AT ITER 46 NEW BEST:: SOT 309107 SOS 126230 HAS SOPS 126230 HAS SOUS 63700 HAS SOUPS 63700 WITH SCORE 63826.23
AT ITER 73 NEW BEST:: SOT 309065 SOS 126146 HAS SOPS 126146 HAS SOUS 63616 HAS SOUPS 63616 WITH SCORE 63742.146
AT ITER 77 NEW BEST:: SOT 309065 SOS 126134 HAS SOPS 126134 HAS SOUS 63604 HAS SOUPS 63604 WITH SCORE 63730.134
AT ITER 82 NEW BEST:: SOT 309065 SOS 126092 HAS SOPS 126092 HAS SOUS 63590 HAS SOUPS 63590 WITH SCORE 63716.092
AT ITER 99 NEW BEST:: SOT 309000 SOS 125702 HAS SOPS 125702 HAS SOUS 63460 HAS SOUPS 63460 WITH SCORE 63585.702
AT ITER 115 NEW BEST:: SOT 309175 SOS 125865 HAS SOPS 125865 HAS SOUS 63395 HAS SOUPS 63395 WITH SCORE 63520.865
AT ITER 119 NEW BEST:: SOT 309133 SOS 125613 HAS SOPS 125613 HAS SOUS 63311 HAS SOUPS 63311 WITH SCORE 63436.613
AT ITER 130 NEW BEST:: SOT 308994 SOS 125490 HAS SOPS 125490 HAS SOUS 63268 HAS SOUPS 63268 WITH SCORE 63393.49
AT ITER 140 NEW BEST:: SOT 308994 SOS 125483 HAS SOPS 125483 HAS SOUS 63259 HAS SOUPS 63259 WITH SCORE 63384.483
AT ITER 141 NEW BEST:: SOT 308994 SOS 125483 HAS SOPS 125483 HAS SOUS 63247 HAS SOUPS 63247 WITH SCORE 63372.483
AT ITER 143 NEW BEST:: SOT 308970 SOS 125339 HAS SOPS 125339 HAS SOUS 63199 HAS SOUPS 63199 WITH SCORE 63324.339
AT ITER 144 NEW BEST:: SOT 308970 SOS 125339 HAS SOPS 125339 HAS SOUS 63195 HAS SOUPS 63195 WITH SCORE 63320.339
AT ITER 171 NEW BEST:: SOT 308907 SOS 124898 HAS SOPS 124898 HAS SOUS 63006 HAS SOUPS 63006 WITH SCORE 63130.898
AT ITER 187 NEW BEST:: SOT 308850 SOS 124556 HAS SOPS 124556 HAS SOUS 62892 HAS SOUPS 62892 WITH SCORE 63016.556
AT ITER 195 NEW BEST:: SOT 308850 SOS 124514 HAS SOPS 124514 HAS SOUS 62878 HAS SOUPS 62878 WITH SCORE 63002.514
AT ITER 209 NEW BEST:: SOT 308850 SOS 124519 HAS SOPS 124519 HAS SOUS 62855 HAS SOUPS 62855 WITH SCORE 62979.519
AT ITER 234 NEW BEST:: SOT 308850 SOS 124519 HAS SOPS 124519 HAS SOUS 62822 HAS SOUPS 62822 WITH SCORE 62946.519
AT ITER 242 NEW BEST:: SOT 308824 SOS 124467 HAS SOPS 124467 HAS SOUS 62770 HAS SOUPS 62770 WITH SCORE 62894.467
AT ITER 253 NEW BEST:: SOT 308824 SOS 124522 HAS SOPS 124522 HAS SOUS 62737 HAS SOUPS 62737 WITH SCORE 62861.522
AT ITER 277 NEW BEST:: SOT 308824 SOS 124522 HAS SOPS 124522 HAS SOUS 62728 HAS SOUPS 62728 WITH SCORE 62852.522
AT ITER 282 NEW BEST:: SOT 308824 SOS 124654 HAS SOPS 124654 HAS SOUS 62596 HAS SOUPS 62596 WITH SCORE 62720.654
AT ITER 288 NEW BEST:: SOT 308818 SOS 124648 HAS SOPS 124648 HAS SOUS 62590 HAS SOUPS 62590 WITH SCORE 62714.648
AT ITER 301 NEW BEST:: SOT 308818 SOS 124601 HAS SOPS 124601 HAS SOUS 62385 HAS SOUPS 62385 WITH SCORE 62509.601
AT ITER 304 NEW BEST:: SOT 308818 SOS 124301 HAS SOPS 124301 HAS SOUS 62285 HAS SOUPS 62285 WITH SCORE 62409.301
AT ITER 311 NEW BEST:: SOT 308789 SOS 124058 HAS SOPS 124058 HAS SOUS 62275 HAS SOUPS 62275 WITH SCORE 62399.058
AT ITER 318 NEW BEST:: SOT 308755 SOS 123990 HAS SOPS 123990 HAS SOUS 62054 HAS SOUPS 62054 WITH SCORE 62177.99
AT ITER 322 NEW BEST:: SOT 308395 SOS 123201 HAS SOPS 123201 HAS SOUS 61553 HAS SOUPS 61553 WITH SCORE 61676.201
AT ITER 327 NEW BEST:: SOT 308339 SOS 123089 HAS SOPS 123089 HAS SOUS 61441 HAS SOUPS 61441 WITH SCORE 61564.089
AT ITER 347 NEW BEST:: SOT 308294 SOS 122975 HAS SOPS 122975 HAS SOUS 61432 HAS SOUPS 61432 WITH SCORE 61554.975
AT ITER 352 NEW BEST:: SOT 308294 SOS 122929 HAS SOPS 122929 HAS SOUS 61338 HAS SOUPS 61338 WITH SCORE 61460.929
AT ITER 359 NEW BEST:: SOT 308263 SOS 122863 HAS SOPS 122863 HAS SOUS 61272 HAS SOUPS 61272 WITH SCORE 61394.863
AT ITER 363 NEW BEST:: SOT 308263 SOS 122863 HAS SOPS 122863 HAS SOUS 61231 HAS SOUPS 61231 WITH SCORE 61353.863
AT ITER 376 NEW BEST:: SOT 308023 SOS 122575 HAS SOPS 122575 HAS SOUS 60879 HAS SOUPS 60879 WITH SCORE 61001.575
AT ITER 434 NEW BEST:: SOT 307988 SOS 122540 HAS SOPS 122540 HAS SOUS 60858 HAS SOUPS 60858 WITH SCORE 60980.54
AT ITER 443 NEW BEST:: SOT 307991 SOS 122543 HAS SOPS 122543 HAS SOUS 60855 HAS SOUPS 60855 WITH SCORE 60977.543
AT ITER 476 NEW BEST:: SOT 307755 SOS 121953 HAS SOPS 121953 HAS SOUS 60501 HAS SOUPS 60501 WITH SCORE 60622.953
AT ITER 480 NEW BEST:: SOT 307704 SOS 121902 HAS SOPS 121902 HAS SOUS 60498 HAS SOUPS 60498 WITH SCORE 60619.902
AT ITER 511 NEW BEST:: SOT 307644 SOS 121537 HAS SOPS 121537 HAS SOUS 60329 HAS SOUPS 60329 WITH SCORE 60450.537
AT ITER 517 NEW BEST:: SOT 307642 SOS 121535 HAS SOPS 121535 HAS SOUS 60327 HAS SOUPS 60327 WITH SCORE 60448.535
AT ITER 520 NEW BEST:: SOT 307617 SOS 121480 HAS SOPS 121480 HAS SOUS 60317 HAS SOUPS 60317 WITH SCORE 60438.48
AT ITER 530 NEW BEST:: SOT 307617 SOS 121480 HAS SOPS 121480 HAS SOUS 60301 HAS SOUPS 60301 WITH SCORE 60422.48
AT ITER 550 NEW BEST:: SOT 307617 SOS 121343 HAS SOPS 121343 HAS SOUS 60296 HAS SOUPS 60296 WITH SCORE 60417.343
AT ITER 553 NEW BEST:: SOT 307317 SOS 120708 HAS SOPS 120708 HAS SOUS 60026 HAS SOUPS 60026 WITH SCORE 60146.708
AT ITER 562 NEW BEST:: SOT 307143 SOS 120186 HAS SOPS 120186 HAS SOUS 59736 HAS SOUPS 59736 WITH SCORE 59856.186
AT ITER 566 NEW BEST:: SOT 307141 SOS 120174 HAS SOPS 120174 HAS SOUS 59732 HAS SOUPS 59732 WITH SCORE 59852.174
AT ITER 572 NEW BEST:: SOT 307141 SOS 120140 HAS SOPS 120140 HAS SOUS 59698 HAS SOUPS 59698 WITH SCORE 59818.14
AT ITER 581 NEW BEST:: SOT 306800 SOS 119458 HAS SOPS 119458 HAS SOUS 59304 HAS SOUPS 59304 WITH SCORE 59423.458
AT ITER 584 NEW BEST:: SOT 306780 SOS 119438 HAS SOPS 119438 HAS SOUS 59284 HAS SOUPS 59284 WITH SCORE 59403.438
AT ITER 589 NEW BEST:: SOT 306665 SOS 119025 HAS SOPS 119025 HAS SOUS 59091 HAS SOUPS 59091 WITH SCORE 59210.025
AT ITER 592 NEW BEST:: SOT 306665 SOS 119021 HAS SOPS 119021 HAS SOUS 59087 HAS SOUPS 59087 WITH SCORE 59206.021
AT ITER 598 NEW BEST:: SOT 306658 SOS 118979 HAS SOPS 118979 HAS SOUS 59073 HAS SOUPS 59073 WITH SCORE 59191.979
AT ITER 603 NEW BEST:: SOT 306609 SOS 118945 HAS SOPS 118945 HAS SOUS 59039 HAS SOUPS 59039 WITH SCORE 59157.945
AT ITER 611 NEW BEST:: SOT 306609 SOS 118931 HAS SOPS 118931 HAS SOUS 59011 HAS SOUPS 59011 WITH SCORE 59129.931
AT ITER 613 NEW BEST:: SOT 306600 SOS 118922 HAS SOPS 118922 HAS SOUS 58981 HAS SOUPS 58981 WITH SCORE 59099.922
AT ITER 622 NEW BEST:: SOT 306600 SOS 118798 HAS SOPS 118798 HAS SOUS 58981 HAS SOUPS 58981 WITH SCORE 59099.798
AT ITER 626 NEW BEST:: SOT 306585 SOS 118768 HAS SOPS 118768 HAS SOUS 58926 HAS SOUPS 58926 WITH SCORE 59044.768
AT ITER 627 NEW BEST:: SOT 306435 SOS 118368 HAS SOPS 118368 HAS SOUS 58702 HAS SOUPS 58702 WITH SCORE 58820.368
AT ITER 628 NEW BEST:: SOT 306140 SOS 117719 HAS SOPS 117719 HAS SOUS 58289 HAS SOUPS 58289 WITH SCORE 58406.719
AT ITER 659 NEW BEST:: SOT 306140 SOS 117719 HAS SOPS 117719 HAS SOUS 58214 HAS SOUPS 58214 WITH SCORE 58331.719
AT ITER 670 NEW BEST:: SOT 306088 SOS 117407 HAS SOPS 117407 HAS SOUS 58110 HAS SOUPS 58110 WITH SCORE 58227.407
AT ITER 676 NEW BEST:: SOT 306088 SOS 117407 HAS SOPS 117407 HAS SOUS 58026 HAS SOUPS 58026 WITH SCORE 58143.407
AT ITER 681 NEW BEST:: SOT 306088 SOS 117173 HAS SOPS 117173 HAS SOUS 57948 HAS SOUPS 57948 WITH SCORE 58065.173
AT ITER 724 NEW BEST:: SOT 306088 SOS 117173 HAS SOPS 117173 HAS SOUS 57915 HAS SOUPS 57915 WITH SCORE 58032.173
AT ITER 743 NEW BEST:: SOT 305973 SOS 117058 HAS SOPS 117058 HAS SOUS 57800 HAS SOUPS 57800 WITH SCORE 57917.058
AT ITER 746 NEW BEST:: SOT 305808 SOS 116728 HAS SOPS 116728 HAS SOUS 57602 HAS SOUPS 57602 WITH SCORE 57718.728
AT ITER 751 NEW BEST:: SOT 305793 SOS 116638 HAS SOPS 116638 HAS SOUS 57572 HAS SOUPS 57572 WITH SCORE 57688.638
AT ITER 761 NEW BEST:: SOT 305488 SOS 116272 HAS SOPS 116272 HAS SOUS 57194 HAS SOUPS 57194 WITH SCORE 57310.272
AT ITER 781 NEW BEST:: SOT 305308 SOS 116092 HAS SOPS 116092 HAS SOUS 57014 HAS SOUPS 57014 WITH SCORE 57130.092
AT ITER 783 NEW BEST:: SOT 305308 SOS 116024 HAS SOPS 116024 HAS SOUS 56946 HAS SOUPS 56946 WITH SCORE 57062.024
AT ITER 797 NEW BEST:: SOT 305271 SOS 115802 HAS SOPS 115802 HAS SOUS 56872 HAS SOUPS 56872 WITH SCORE 56987.802
AT ITER 798 NEW BEST:: SOT 305001 SOS 115406 HAS SOPS 115406 HAS SOUS 56560 HAS SOUPS 56560 WITH SCORE 56675.406
AT ITER 809 NEW BEST:: SOT 305001 SOS 115280 HAS SOPS 115280 HAS SOUS 56518 HAS SOUPS 56518 WITH SCORE 56633.28
AT ITER 822 NEW BEST:: SOT 304947 SOS 114902 HAS SOPS 114902 HAS SOUS 56356 HAS SOUPS 56356 WITH SCORE 56470.902
AT ITER 823 NEW BEST:: SOT 304743 SOS 114698 HAS SOPS 114698 HAS SOUS 56152 HAS SOUPS 56152 WITH SCORE 56266.698
AT ITER 849 NEW BEST:: SOT 304802 SOS 114882 HAS SOPS 114882 HAS SOUS 56151 HAS SOUPS 56151 WITH SCORE 56265.882
AT ITER 871 NEW BEST:: SOT 304802 SOS 115067 HAS SOPS 115067 HAS SOUS 56040 HAS SOUPS 56040 WITH SCORE 56155.067
AT ITER 887 NEW BEST:: SOT 304802 SOS 115067 HAS SOPS 115067 HAS SOUS 56034 HAS SOUPS 56034 WITH SCORE 56149.067
AT ITER 904 NEW BEST:: SOT 304857 SOS 116089 HAS SOPS 116089 HAS SOUS 55872 HAS SOUPS 55872 WITH SCORE 55988.089
AT ITER 913 NEW BEST:: SOT 304857 SOS 115809 HAS SOPS 115809 HAS SOUS 55816 HAS SOUPS 55816 WITH SCORE 55931.809
AT ITER 920 NEW BEST:: SOT 304857 SOS 115834 HAS SOPS 115834 HAS SOUS 55796 HAS SOUPS 55796 WITH SCORE 55911.834
AT ITER 944 NEW BEST:: SOT 305010 SOS 116165 HAS SOPS 116165 HAS SOUS 55732 HAS SOUPS 55732 WITH SCORE 55848.165
AT ITER 957 NEW BEST:: SOT 304975 SOS 116088 HAS SOPS 116088 HAS SOUS 55718 HAS SOUPS 55718 WITH SCORE 55834.088
AT ITER 961 NEW BEST:: SOT 304975 SOS 116088 HAS SOPS 116088 HAS SOUS 55709 HAS SOUPS 55709 WITH SCORE 55825.088
AT ITER 984 NEW BEST:: SOT 304961 SOS 116011 HAS SOPS 116011 HAS SOUS 55662 HAS SOUPS 55662 WITH SCORE 55778.011
AT ITER 990 NEW BEST:: SOT 304891 SOS 115941 HAS SOPS 115941 HAS SOUS 55592 HAS SOUPS 55592 WITH SCORE 55707.941
AT ITER 1009 NEW BEST:: SOT 304666 SOS 115696 HAS SOPS 115696 HAS SOUS 55568 HAS SOUPS 55568 WITH SCORE 55683.696
AT ITER 1018 NEW BEST:: SOT 304611 SOS 115630 HAS SOPS 115630 HAS SOUS 55504 HAS SOUPS 55504 WITH SCORE 55619.63
AT ITER 1036 NEW BEST:: SOT 304696 SOS 115919 HAS SOPS 115919 HAS SOUS 55386 HAS SOUPS 55386 WITH SCORE 55501.919
AT ITER 1059 NEW BEST:: SOT 304764 SOS 116157 HAS SOPS 116157 HAS SOUS 55365 HAS SOUPS 55365 WITH SCORE 55481.157
AT ITER 1065 NEW BEST:: SOT 304764 SOS 116250 HAS SOPS 116250 HAS SOUS 55326 HAS SOUPS 55326 WITH SCORE 55442.25
AT ITER 1126 NEW BEST:: SOT 304764 SOS 116064 HAS SOPS 116064 HAS SOUS 55296 HAS SOUPS 55296 WITH SCORE 55412.064
AT ITER 1130 NEW BEST:: SOT 304764 SOS 116057 HAS SOPS 116057 HAS SOUS 55261 HAS SOUPS 55261 WITH SCORE 55377.057
AT ITER 1156 NEW BEST:: SOT 304764 SOS 116037 HAS SOPS 116037 HAS SOUS 55261 HAS SOUPS 55261 WITH SCORE 55377.037
AT ITER 1195 NEW BEST:: SOT 304761 SOS 116031 HAS SOPS 116031 HAS SOUS 55243 HAS SOUPS 55243 WITH SCORE 55359.031
AT ITER 1196 NEW BEST:: SOT 304761 SOS 116019 HAS SOPS 116019 HAS SOUS 55239 HAS SOUPS 55239 WITH SCORE 55355.019
AT ITER 1210 NEW BEST:: SOT 304737 SOS 115899 HAS SOPS 115899 HAS SOUS 55223 HAS SOUPS 55223 WITH SCORE 55338.899
AT ITER 1215 NEW BEST:: SOT 304757 SOS 115898 HAS SOPS 115898 HAS SOUS 55082 HAS SOUPS 55082 WITH SCORE 55197.898
AT ITER 1247 NEW BEST:: SOT 304588 SOS 115644 HAS SOPS 115644 HAS SOUS 54896 HAS SOUPS 54896 WITH SCORE 55011.644
AT ITER 1266 NEW BEST:: SOT 304588 SOS 115644 HAS SOPS 115644 HAS SOUS 54881 HAS SOUPS 54881 WITH SCORE 54996.644
AT ITER 1270 NEW BEST:: SOT 304588 SOS 115644 HAS SOPS 115644 HAS SOUS 54879 HAS SOUPS 54879 WITH SCORE 54994.644
AT ITER 1271 NEW BEST:: SOT 304582 SOS 115638 HAS SOPS 115638 HAS SOUS 54873 HAS SOUPS 54873 WITH SCORE 54988.638
AT ITER 1284 NEW BEST:: SOT 304582 SOS 115620 HAS SOPS 115620 HAS SOUS 54867 HAS SOUPS 54867 WITH SCORE 54982.62
AT ITER 1288 NEW BEST:: SOT 304571 SOS 115554 HAS SOPS 115554 HAS SOUS 54845 HAS SOUPS 54845 WITH SCORE 54960.554
AT ITER 1296 NEW BEST:: SOT 304571 SOS 115554 HAS SOPS 115554 HAS SOUS 54825 HAS SOUPS 54825 WITH SCORE 54940.554
AT ITER 1300 NEW BEST:: SOT 304571 SOS 115554 HAS SOPS 115554 HAS SOUS 54785 HAS SOUPS 54785 WITH SCORE 54900.554
AT ITER 1302 NEW BEST:: SOT 304376 SOS 114990 HAS SOPS 114990 HAS SOUS 54593 HAS SOUPS 54593 WITH SCORE 54707.99
AT ITER 1351 NEW BEST:: SOT 304116 SOS 114730 HAS SOPS 114730 HAS SOUS 54333 HAS SOUPS 54333 WITH SCORE 54447.73
AT ITER 1357 NEW BEST:: SOT 304171 SOS 114779 HAS SOPS 114779 HAS SOUS 54218 HAS SOUPS 54218 WITH SCORE 54332.779
AT ITER 1358 NEW BEST:: SOT 304046 SOS 114654 HAS SOPS 114654 HAS SOUS 54093 HAS SOUPS 54093 WITH SCORE 54207.654
AT ITER 1365 NEW BEST:: SOT 304046 SOS 114507 HAS SOPS 114507 HAS SOUS 54066 HAS SOUPS 54066 WITH SCORE 54180.507
AT ITER 1368 NEW BEST:: SOT 304046 SOS 114503 HAS SOPS 114503 HAS SOUS 54062 HAS SOUPS 54062 WITH SCORE 54176.503
AT ITER 1372 NEW BEST:: SOT 304046 SOS 114503 HAS SOPS 114503 HAS SOUS 54014 HAS SOUPS 54014 WITH SCORE 54128.503
AT ITER 1373 NEW BEST:: SOT 304046 SOS 114427 HAS SOPS 114427 HAS SOUS 53991 HAS SOUPS 53991 WITH SCORE 54105.427
AT ITER 1384 NEW BEST:: SOT 304046 SOS 114427 HAS SOPS 114427 HAS SOUS 53987 HAS SOUPS 53987 WITH SCORE 54101.427
AT ITER 1390 NEW BEST:: SOT 304038 SOS 114379 HAS SOPS 114379 HAS SOUS 53971 HAS SOUPS 53971 WITH SCORE 54085.379
AT ITER 1420 NEW BEST:: SOT 304038 SOS 114354 HAS SOPS 114354 HAS SOUS 53890 HAS SOUPS 53890 WITH SCORE 54004.354
AT ITER 1434 NEW BEST:: SOT 303758 SOS 114074 HAS SOPS 114074 HAS SOUS 53610 HAS SOUPS 53610 WITH SCORE 53724.074
AT ITER 1439 NEW BEST:: SOT 303739 SOS 113941 HAS SOPS 113941 HAS SOUS 53553 HAS SOUPS 53553 WITH SCORE 53666.941
AT ITER 1448 NEW BEST:: SOT 303736 SOS 113923 HAS SOPS 113923 HAS SOUS 53547 HAS SOUPS 53547 WITH SCORE 53660.923
AT ITER 1459 NEW BEST:: SOT 303736 SOS 113923 HAS SOPS 113923 HAS SOUS 53544 HAS SOUPS 53544 WITH SCORE 53657.923
AT ITER 1464 NEW BEST:: SOT 303606 SOS 113473 HAS SOPS 113473 HAS SOUS 53534 HAS SOUPS 53534 WITH SCORE 53647.473
AT ITER 1477 NEW BEST:: SOT 303554 SOS 113306 HAS SOPS 113306 HAS SOUS 53430 HAS SOUPS 53430 WITH SCORE 53543.306
AT ITER 1501 NEW BEST:: SOT 303554 SOS 113276 HAS SOPS 113276 HAS SOUS 53420 HAS SOUPS 53420 WITH SCORE 53533.276
AT ITER 1503 NEW BEST:: SOT 303290 SOS 113016 HAS SOPS 113016 HAS SOUS 53180 HAS SOUPS 53180 WITH SCORE 53293.016
AT ITER 1514 NEW BEST:: SOT 303290 SOS 112992 HAS SOPS 112992 HAS SOUS 53180 HAS SOUPS 53180 WITH SCORE 53292.992
AT ITER 1532 NEW BEST:: SOT 303290 SOS 112992 HAS SOPS 112992 HAS SOUS 53178 HAS SOUPS 53178 WITH SCORE 53290.992
AT ITER 1545 NEW BEST:: SOT 303290 SOS 112992 HAS SOPS 112992 HAS SOUS 53142 HAS SOUPS 53142 WITH SCORE 53254.992
AT ITER 1552 NEW BEST:: SOT 303290 SOS 112945 HAS SOPS 112945 HAS SOUS 53110 HAS SOUPS 53110 WITH SCORE 53222.945
AT ITER 1602 NEW BEST:: SOT 303263 SOS 112783 HAS SOPS 112783 HAS SOUS 53056 HAS SOUPS 53056 WITH SCORE 53168.783
AT ITER 1617 NEW BEST:: SOT 303231 SOS 112751 HAS SOPS 112751 HAS SOUS 53056 HAS SOUPS 53056 WITH SCORE 53168.751
AT ITER 1619 NEW BEST:: SOT 302921 SOS 112029 HAS SOPS 112029 HAS SOUS 53046 HAS SOUPS 53046 WITH SCORE 53158.029
AT ITER 1627 NEW BEST:: SOT 302691 SOS 111401 HAS SOPS 111401 HAS SOUS 52818 HAS SOUPS 52818 WITH SCORE 52929.401
AT ITER 1678 NEW BEST:: SOT 302553 SOS 111073 HAS SOPS 111073 HAS SOUS 52810 HAS SOUPS 52810 WITH SCORE 52921.073
AT ITER 1706 NEW BEST:: SOT 302526 SOS 110911 HAS SOPS 110911 HAS SOUS 52756 HAS SOUPS 52756 WITH SCORE 52866.911
AT ITER 1715 NEW BEST:: SOT 302508 SOS 110803 HAS SOPS 110803 HAS SOUS 52720 HAS SOUPS 52720 WITH SCORE 52830.803
AT ITER 1728 NEW BEST:: SOT 302485 SOS 110665 HAS SOPS 110665 HAS SOUS 52674 HAS SOUPS 52674 WITH SCORE 52784.665
AT ITER 1732 NEW BEST:: SOT 302470 SOS 110643 HAS SOPS 110643 HAS SOUS 52576 HAS SOUPS 52576 WITH SCORE 52686.643
AT ITER 1747 NEW BEST:: SOT 302463 SOS 110601 HAS SOPS 110601 HAS SOUS 52562 HAS SOUPS 52562 WITH SCORE 52672.601
AT ITER 1791 NEW BEST:: SOT 302433 SOS 110577 HAS SOPS 110577 HAS SOUS 52546 HAS SOUPS 52546 WITH SCORE 52656.577
AT ITER 1795 NEW BEST:: SOT 302433 SOS 110527 HAS SOPS 110527 HAS SOUS 52536 HAS SOUPS 52536 WITH SCORE 52646.527
AT ITER 1796 NEW BEST:: SOT 302391 SOS 110485 HAS SOPS 110485 HAS SOUS 52451 HAS SOUPS 52451 WITH SCORE 52561.485
AT ITER 1797 NEW BEST:: SOT 302311 SOS 110389 HAS SOPS 110389 HAS SOUS 52335 HAS SOUPS 52335 WITH SCORE 52445.389
AT ITER 1802 NEW BEST:: SOT 302066 SOS 109812 HAS SOPS 109812 HAS SOUS 52038 HAS SOUPS 52038 WITH SCORE 52147.812
AT ITER 1804 NEW BEST:: SOT 302053 SOS 109699 HAS SOPS 109699 HAS SOUS 51957 HAS SOUPS 51957 WITH SCORE 52066.699
AT ITER 1828 NEW BEST:: SOT 302013 SOS 109655 HAS SOPS 109655 HAS SOUS 51913 HAS SOUPS 51913 WITH SCORE 52022.655
AT ITER 1850 NEW BEST:: SOT 301989 SOS 109631 HAS SOPS 109631 HAS SOUS 51889 HAS SOUPS 51889 WITH SCORE 51998.631
AT ITER 1873 NEW BEST:: SOT 301937 SOS 109555 HAS SOPS 109555 HAS SOUS 51829 HAS SOUPS 51829 WITH SCORE 51938.555
AT ITER 1904 NEW BEST:: SOT 301937 SOS 109485 HAS SOPS 109485 HAS SOUS 51819 HAS SOUPS 51819 WITH SCORE 51928.485
AT ITER 1925 NEW BEST:: SOT 301911 SOS 109245 HAS SOPS 109245 HAS SOUS 51683 HAS SOUPS 51683 WITH SCORE 51792.245
AT ITER 1926 NEW BEST:: SOT 301888 SOS 109222 HAS SOPS 109222 HAS SOUS 51678 HAS SOUPS 51678 WITH SCORE 51787.222
AT ITER 1928 NEW BEST:: SOT 301834 SOS 109168 HAS SOPS 109168 HAS SOUS 51510 HAS SOUPS 51510 WITH SCORE 51619.168
AT ITER 1958 NEW BEST:: SOT 301687 SOS 109011 HAS SOPS 109011 HAS SOUS 51361 HAS SOUPS 51361 WITH SCORE 51470.011
AT ITER 1999 NEW BEST:: SOT 301567 SOS 108891 HAS SOPS 108891 HAS SOUS 51241 HAS SOUPS 51241 WITH SCORE 51349.891
AT ITER 2007 NEW BEST:: SOT 301552 SOS 108876 HAS SOPS 108876 HAS SOUS 51226 HAS SOUPS 51226 WITH SCORE 51334.876
AT ITER 2014 NEW BEST:: SOT 301550 SOS 108872 HAS SOPS 108872 HAS SOUS 51216 HAS SOUPS 51216 WITH SCORE 51324.872
AT ITER 2026 NEW BEST:: SOT 301550 SOS 108857 HAS SOPS 108857 HAS SOUS 51213 HAS SOUPS 51213 WITH SCORE 51321.857
AT ITER 2076 NEW BEST:: SOT 301642 SOS 109039 HAS SOPS 109039 HAS SOUS 51075 HAS SOUPS 51075 WITH SCORE 51184.039
AT ITER 2079 NEW BEST:: SOT 301592 SOS 108947 HAS SOPS 108947 HAS SOUS 51011 HAS SOUPS 51011 WITH SCORE 51119.947
AT ITER 2083 NEW BEST:: SOT 301667 SOS 109003 HAS SOPS 109003 HAS SOUS 50938 HAS SOUPS 50938 WITH SCORE 51047.003
AT ITER 2092 NEW BEST:: SOT 301667 SOS 108990 HAS SOPS 108990 HAS SOUS 50924 HAS SOUPS 50924 WITH SCORE 51032.99
AT ITER 2117 NEW BEST:: SOT 301667 SOS 108714 HAS SOPS 108714 HAS SOUS 50832 HAS SOUPS 50832 WITH SCORE 50940.714
AT ITER 2135 NEW BEST:: SOT 301662 SOS 108708 HAS SOPS 108708 HAS SOUS 50826 HAS SOUPS 50826 WITH SCORE 50934.708
AT ITER 2151 NEW BEST:: SOT 301629 SOS 108675 HAS SOPS 108675 HAS SOUS 50793 HAS SOUPS 50793 WITH SCORE 50901.675
AT ITER 2165 NEW BEST:: SOT 301629 SOS 108690 HAS SOPS 108690 HAS SOUS 50781 HAS SOUPS 50781 WITH SCORE 50889.69
AT ITER 2171 NEW BEST:: SOT 301629 SOS 108675 HAS SOPS 108675 HAS SOUS 50778 HAS SOUPS 50778 WITH SCORE 50886.675
AT ITER 2180 NEW BEST:: SOT 301629 SOS 108675 HAS SOPS 108675 HAS SOUS 50770 HAS SOUPS 50770 WITH SCORE 50878.675
AT ITER 2295 NEW BEST:: SOT 301734 SOS 108777 HAS SOPS 108777 HAS SOUS 50725 HAS SOUPS 50725 WITH SCORE 50833.777
AT ITER 2356 NEW BEST:: SOT 301734 SOS 108777 HAS SOPS 108777 HAS SOUS 50705 HAS SOUPS 50705 WITH SCORE 50813.777
AT ITER 2363 NEW BEST:: SOT 301734 SOS 108737 HAS SOPS 108737 HAS SOUS 50697 HAS SOUPS 50697 WITH SCORE 50805.737
AT ITER 2398 NEW BEST:: SOT 301650 SOS 108653 HAS SOPS 108653 HAS SOUS 50613 HAS SOUPS 50613 WITH SCORE 50721.653
AT ITER 2412 NEW BEST:: SOT 301571 SOS 109046 HAS SOPS 109046 HAS SOUS 50551 HAS SOUPS 50551 WITH SCORE 50660.046
AT ITER 2419 NEW BEST:: SOT 301571 SOS 109061 HAS SOPS 109061 HAS SOUS 50542 HAS SOUPS 50542 WITH SCORE 50651.061
AT ITER 2432 NEW BEST:: SOT 301516 SOS 108939 HAS SOPS 108939 HAS SOUS 50488 HAS SOUPS 50488 WITH SCORE 50596.939
AT ITER 2466 NEW BEST:: SOT 301516 SOS 109024 HAS SOPS 109024 HAS SOUS 50420 HAS SOUPS 50420 WITH SCORE 50529.024
AT ITER 2469 NEW BEST:: SOT 301516 SOS 109024 HAS SOPS 109024 HAS SOUS 50379 HAS SOUPS 50379 WITH SCORE 50488.024
AT ITER 2471 NEW BEST:: SOT 301501 SOS 109009 HAS SOPS 109009 HAS SOUS 50364 HAS SOUPS 50364 WITH SCORE 50473.009
AT ITER 2483 NEW BEST:: SOT 301425 SOS 108933 HAS SOPS 108933 HAS SOUS 50288 HAS SOUPS 50288 WITH SCORE 50396.933
AT ITER 2509 NEW BEST:: SOT 301348 SOS 108767 HAS SOPS 108767 HAS SOUS 50210 HAS SOUPS 50210 WITH SCORE 50318.767
AT ITER 2512 NEW BEST:: SOT 301348 SOS 108737 HAS SOPS 108737 HAS SOUS 50200 HAS SOUPS 50200 WITH SCORE 50308.737
AT ITER 2527 NEW BEST:: SOT 301323 SOS 108073 HAS SOPS 108073 HAS SOUS 50109 HAS SOUPS 50109 WITH SCORE 50217.073
AT ITER 2533 NEW BEST:: SOT 301260 SOS 107624 HAS SOPS 107624 HAS SOUS 49912 HAS SOUPS 49912 WITH SCORE 50019.624
AT ITER 2539 NEW BEST:: SOT 301222 SOS 107396 HAS SOPS 107396 HAS SOUS 49836 HAS SOUPS 49836 WITH SCORE 49943.396
AT ITER 2544 NEW BEST:: SOT 301132 SOS 107306 HAS SOPS 107306 HAS SOUS 49710 HAS SOUPS 49710 WITH SCORE 49817.306
AT ITER 2553 NEW BEST:: SOT 301132 SOS 107306 HAS SOPS 107306 HAS SOUS 49698 HAS SOUPS 49698 WITH SCORE 49805.306
AT ITER 2576 NEW BEST:: SOT 301132 SOS 107300 HAS SOPS 107300 HAS SOUS 49667 HAS SOUPS 49667 WITH SCORE 49774.3
AT ITER 2596 NEW BEST:: SOT 301017 SOS 107162 HAS SOPS 107162 HAS SOUS 49497 HAS SOUPS 49497 WITH SCORE 49604.162
AT ITER 2648 NEW BEST:: SOT 300916 SOS 107040 HAS SOPS 107040 HAS SOUS 49326 HAS SOUPS 49326 WITH SCORE 49433.04
AT ITER 2661 NEW BEST:: SOT 300781 SOS 106914 HAS SOPS 106914 HAS SOUS 49322 HAS SOUPS 49322 WITH SCORE 49428.914
AT ITER 2670 NEW BEST:: SOT 300774 SOS 106865 HAS SOPS 106865 HAS SOUS 49301 HAS SOUPS 49301 WITH SCORE 49407.865
AT ITER 2674 NEW BEST:: SOT 300710 SOS 106801 HAS SOPS 106801 HAS SOUS 49237 HAS SOUPS 49237 WITH SCORE 49343.801
AT ITER 2679 NEW BEST:: SOT 300623 SOS 106704 HAS SOPS 106704 HAS SOUS 49144 HAS SOUPS 49144 WITH SCORE 49250.704
AT ITER 2685 NEW BEST:: SOT 300623 SOS 106608 HAS SOPS 106608 HAS SOUS 49112 HAS SOUPS 49112 WITH SCORE 49218.608
AT ITER 2701 NEW BEST:: SOT 300623 SOS 106518 HAS SOPS 106518 HAS SOUS 49094 HAS SOUPS 49094 WITH SCORE 49200.518
AT ITER 2745 NEW BEST:: SOT 300623 SOS 106482 HAS SOPS 106482 HAS SOUS 49082 HAS SOUPS 49082 WITH SCORE 49188.482
AT ITER 2768 NEW BEST:: SOT 300623 SOS 106557 HAS SOPS 106557 HAS SOUS 49049 HAS SOUPS 49049 WITH SCORE 49155.557
AT ITER 2803 NEW BEST:: SOT 300533 SOS 106467 HAS SOPS 106467 HAS SOUS 48927 HAS SOUPS 48927 WITH SCORE 49033.467
AT ITER 2810 NEW BEST:: SOT 300533 SOS 106393 HAS SOPS 106393 HAS SOUS 48853 HAS SOUPS 48853 WITH SCORE 48959.393
AT ITER 2816 NEW BEST:: SOT 300515 SOS 106351 HAS SOPS 106351 HAS SOUS 48827 HAS SOUPS 48827 WITH SCORE 48933.351
AT ITER 2832 NEW BEST:: SOT 300515 SOS 106351 HAS SOPS 106351 HAS SOUS 48823 HAS SOUPS 48823 WITH SCORE 48929.351
AT ITER 2834 NEW BEST:: SOT 300490 SOS 106296 HAS SOPS 106296 HAS SOUS 48813 HAS SOUPS 48813 WITH SCORE 48919.296
AT ITER 2849 NEW BEST:: SOT 300435 SOS 106175 HAS SOPS 106175 HAS SOUS 48736 HAS SOUPS 48736 WITH SCORE 48842.175
AT ITER 2854 NEW BEST:: SOT 300416 SOS 106156 HAS SOPS 106156 HAS SOUS 48717 HAS SOUPS 48717 WITH SCORE 48823.156
AT ITER 2875 NEW BEST:: SOT 300383 SOS 106051 HAS SOPS 106051 HAS SOUS 48706 HAS SOUPS 48706 WITH SCORE 48812.051
AT ITER 2893 NEW BEST:: SOT 300363 SOS 106027 HAS SOPS 106027 HAS SOUS 48682 HAS SOUPS 48682 WITH SCORE 48788.027
AT ITER 2898 NEW BEST:: SOT 300358 SOS 106016 HAS SOPS 106016 HAS SOUS 48675 HAS SOUPS 48675 WITH SCORE 48781.016
AT ITER 2956 NEW BEST:: SOT 300342 SOS 106064 HAS SOPS 106064 HAS SOUS 48635 HAS SOUPS 48635 WITH SCORE 48741.064
AT ITER 2959 NEW BEST:: SOT 300319 SOS 106005 HAS SOPS 106005 HAS SOUS 48600 HAS SOUPS 48600 WITH SCORE 48706.005
AT ITER 2968 NEW BEST:: SOT 300319 SOS 105837 HAS SOPS 105837 HAS SOUS 48544 HAS SOUPS 48544 WITH SCORE 48649.837
AT ITER 2973 NEW BEST:: SOT 300331 SOS 105869 HAS SOPS 105869 HAS SOUS 48528 HAS SOUPS 48528 WITH SCORE 48633.869
AT ITER 3005 NEW BEST:: SOT 300379 SOS 105873 HAS SOPS 105873 HAS SOUS 48488 HAS SOUPS 48488 WITH SCORE 48593.873
AT ITER 3035 NEW BEST:: SOT 300384 SOS 105914 HAS SOPS 105914 HAS SOUS 48471 HAS SOUPS 48471 WITH SCORE 48576.914
AT ITER 3053 NEW BEST:: SOT 300189 SOS 105427 HAS SOPS 105427 HAS SOUS 48244 HAS SOUPS 48244 WITH SCORE 48349.427
AT ITER 3061 NEW BEST:: SOT 300189 SOS 105418 HAS SOPS 105418 HAS SOUS 48238 HAS SOUPS 48238 WITH SCORE 48343.418
AT ITER 3127 NEW BEST:: SOT 300184 SOS 105407 HAS SOPS 105407 HAS SOUS 48231 HAS SOUPS 48231 WITH SCORE 48336.407
AT ITER 3130 NEW BEST:: SOT 300185 SOS 105408 HAS SOPS 105408 HAS SOUS 48229 HAS SOUPS 48229 WITH SCORE 48334.408
AT ITER 3167 NEW BEST:: SOT 300125 SOS 105286 HAS SOPS 105286 HAS SOUS 48127 HAS SOUPS 48127 WITH SCORE 48232.286
AT ITER 3176 NEW BEST:: SOT 300005 SOS 105170 HAS SOPS 105170 HAS SOUS 48019 HAS SOUPS 48019 WITH SCORE 48124.17
AT ITER 3182 NEW BEST:: SOT 300005 SOS 105170 HAS SOPS 105170 HAS SOUS 48009 HAS SOUPS 48009 WITH SCORE 48114.17
AT ITER 3202 NEW BEST:: SOT 300005 SOS 105480 HAS SOPS 105480 HAS SOUS 47887 HAS SOUPS 47887 WITH SCORE 47992.48
AT ITER 3228 NEW BEST:: SOT 300075 SOS 105788 HAS SOPS 105788 HAS SOUS 47840 HAS SOUPS 47840 WITH SCORE 47945.788
AT ITER 3254 NEW BEST:: SOT 300075 SOS 105788 HAS SOPS 105788 HAS SOUS 47834 HAS SOUPS 47834 WITH SCORE 47939.788
AT ITER 3268 NEW BEST:: SOT 300075 SOS 105904 HAS SOPS 105904 HAS SOUS 47794 HAS SOUPS 47794 WITH SCORE 47899.904
AT ITER 3270 NEW BEST:: SOT 300022 SOS 105586 HAS SOPS 105586 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47793.586
AT ITER 3290 NEW BEST:: SOT 299937 SOS 105399 HAS SOPS 105399 HAS SOUS 47654 HAS SOUPS 47654 WITH SCORE 47759.399
AT ITER 3384 NEW BEST:: SOT 299833 SOS 105187 HAS SOPS 105187 HAS SOUS 47538 HAS SOUPS 47538 WITH SCORE 47643.187
AT ITER 3400 NEW BEST:: SOT 299822 SOS 105165 HAS SOPS 105165 HAS SOUS 47516 HAS SOUPS 47516 WITH SCORE 47621.165
AT ITER 3411 NEW BEST:: SOT 299810 SOS 105153 HAS SOPS 105153 HAS SOUS 47504 HAS SOUPS 47504 WITH SCORE 47609.153
AT ITER 3430 NEW BEST:: SOT 299832 SOS 105230 HAS SOPS 105230 HAS SOUS 47493 HAS SOUPS 47493 WITH SCORE 47598.23
AT ITER 3455 NEW BEST:: SOT 299864 SOS 105262 HAS SOPS 105262 HAS SOUS 47429 HAS SOUPS 47429 WITH SCORE 47534.262
AT ITER 3459 NEW BEST:: SOT 299897 SOS 105367 HAS SOPS 105367 HAS SOUS 47428 HAS SOUPS 47428 WITH SCORE 47533.367
AT ITER 3498 NEW BEST:: SOT 299897 SOS 105367 HAS SOPS 105367 HAS SOUS 47405 HAS SOUPS 47405 WITH SCORE 47510.367
AT ITER 3500 NEW BEST:: SOT 299901 SOS 105373 HAS SOPS 105373 HAS SOUS 47404 HAS SOUPS 47404 WITH SCORE 47509.373
AT ITER 3526 NEW BEST:: SOT 299901 SOS 105373 HAS SOPS 105373 HAS SOUS 47389 HAS SOUPS 47389 WITH SCORE 47494.373
AT ITER 3555 NEW BEST:: SOT 299886 SOS 105358 HAS SOPS 105358 HAS SOUS 47374 HAS SOUPS 47374 WITH SCORE 47479.358
AT ITER 3577 NEW BEST:: SOT 299819 SOS 105177 HAS SOPS 105177 HAS SOUS 47269 HAS SOUPS 47269 WITH SCORE 47374.177
AT ITER 3591 NEW BEST:: SOT 299819 SOS 105212 HAS SOPS 105212 HAS SOUS 47241 HAS SOUPS 47241 WITH SCORE 47346.212
AT ITER 3607 NEW BEST:: SOT 299813 SOS 105206 HAS SOPS 105206 HAS SOUS 47238 HAS SOUPS 47238 WITH SCORE 47343.206
AT ITER 3619 NEW BEST:: SOT 299813 SOS 105206 HAS SOPS 105206 HAS SOUS 47233 HAS SOUPS 47233 WITH SCORE 47338.206
AT ITER 3655 NEW BEST:: SOT 299809 SOS 105172 HAS SOPS 105172 HAS SOUS 47219 HAS SOUPS 47219 WITH SCORE 47324.172
AT ITER 3658 NEW BEST:: SOT 299759 SOS 105122 HAS SOPS 105122 HAS SOUS 47169 HAS SOUPS 47169 WITH SCORE 47274.122
AT ITER 3709 NEW BEST:: SOT 299759 SOS 104996 HAS SOPS 104996 HAS SOUS 47127 HAS SOUPS 47127 WITH SCORE 47231.996
AT ITER 3713 NEW BEST:: SOT 299746 SOS 104918 HAS SOPS 104918 HAS SOUS 47101 HAS SOUPS 47101 WITH SCORE 47205.918
AT ITER 3717 NEW BEST:: SOT 299769 SOS 104995 HAS SOPS 104995 HAS SOUS 47100 HAS SOUPS 47100 WITH SCORE 47204.995
AT ITER 3780 NEW BEST:: SOT 299765 SOS 104991 HAS SOPS 104991 HAS SOUS 47092 HAS SOUPS 47092 WITH SCORE 47196.991
AT ITER 3824 NEW BEST:: SOT 299742 SOS 104960 HAS SOPS 104960 HAS SOUS 47053 HAS SOUPS 47053 WITH SCORE 47157.96
AT ITER 3828 NEW BEST:: SOT 299728 SOS 104911 HAS SOPS 104911 HAS SOUS 47053 HAS SOUPS 47053 WITH SCORE 47157.911
AT ITER 3847 NEW BEST:: SOT 299693 SOS 104834 HAS SOPS 104834 HAS SOUS 47004 HAS SOUPS 47004 WITH SCORE 47108.834
AT ITER 3861 NEW BEST:: SOT 299690 SOS 104765 HAS SOPS 104765 HAS SOUS 46947 HAS SOUPS 46947 WITH SCORE 47051.765
AT ITER 3894 NEW BEST:: SOT 299690 SOS 104857 HAS SOPS 104857 HAS SOUS 46935 HAS SOUPS 46935 WITH SCORE 47039.857
AT ITER 3895 NEW BEST:: SOT 299640 SOS 104807 HAS SOPS 104807 HAS SOUS 46885 HAS SOUPS 46885 WITH SCORE 46989.807
AT ITER 3917 NEW BEST:: SOT 299640 SOS 104807 HAS SOPS 104807 HAS SOUS 46868 HAS SOUPS 46868 WITH SCORE 46972.807
AT ITER 3999 NEW BEST:: SOT 299625 SOS 104717 HAS SOPS 104717 HAS SOUS 46838 HAS SOUPS 46838 WITH SCORE 46942.717
AT ITER 4031 NEW BEST:: SOT 299635 SOS 104713 HAS SOPS 104713 HAS SOUS 46778 HAS SOUPS 46778 WITH SCORE 46882.713
AT ITER 4081 NEW BEST:: SOT 299635 SOS 104659 HAS SOPS 104659 HAS SOUS 46760 HAS SOUPS 46760 WITH SCORE 46864.659
AT ITER 4191 NEW BEST:: SOT 299635 SOS 104647 HAS SOPS 104647 HAS SOUS 46756 HAS SOUPS 46756 WITH SCORE 46860.647
AT ITER 4201 NEW BEST:: SOT 299613 SOS 104671 HAS SOPS 104671 HAS SOUS 46556 HAS SOUPS 46556 WITH SCORE 46660.671
AT ITER 4219 NEW BEST:: SOT 299610 SOS 104650 HAS SOPS 104650 HAS SOUS 46547 HAS SOUPS 46547 WITH SCORE 46651.65
AT ITER 4246 NEW BEST:: SOT 299610 SOS 104650 HAS SOPS 104650 HAS SOUS 46496 HAS SOUPS 46496 WITH SCORE 46600.65
AT ITER 4308 NEW BEST:: SOT 299583 SOS 104623 HAS SOPS 104623 HAS SOUS 46439 HAS SOUPS 46439 WITH SCORE 46543.623
AT ITER 4365 NEW BEST:: SOT 299623 SOS 104667 HAS SOPS 104667 HAS SOUS 46427 HAS SOUPS 46427 WITH SCORE 46531.667
AT ITER 4398 NEW BEST:: SOT 299623 SOS 104667 HAS SOPS 104667 HAS SOUS 46395 HAS SOUPS 46395 WITH SCORE 46499.667
AT ITER 4458 NEW BEST:: SOT 299438 SOS 104483 HAS SOPS 104483 HAS SOUS 46216 HAS SOUPS 46216 WITH SCORE 46320.483
AT ITER 4459 NEW BEST:: SOT 299432 SOS 104447 HAS SOPS 104447 HAS SOUS 46204 HAS SOUPS 46204 WITH SCORE 46308.447
AT ITER 4475 NEW BEST:: SOT 299399 SOS 104414 HAS SOPS 104414 HAS SOUS 46202 HAS SOUPS 46202 WITH SCORE 46306.414
AT ITER 4528 NEW BEST:: SOT 299399 SOS 104414 HAS SOPS 104414 HAS SOUS 46168 HAS SOUPS 46168 WITH SCORE 46272.414
AT ITER 4535 NEW BEST:: SOT 299397 SOS 104407 HAS SOPS 104407 HAS SOUS 46166 HAS SOUPS 46166 WITH SCORE 46270.407
AT ITER 4540 NEW BEST:: SOT 299388 SOS 104353 HAS SOPS 104353 HAS SOUS 46148 HAS SOUPS 46148 WITH SCORE 46252.353
AT ITER 4550 NEW BEST:: SOT 299353 SOS 104276 HAS SOPS 104276 HAS SOUS 46099 HAS SOUPS 46099 WITH SCORE 46203.276
AT ITER 4669 NEW BEST:: SOT 299311 SOS 104024 HAS SOPS 104024 HAS SOUS 46015 HAS SOUPS 46015 WITH SCORE 46119.024
AT ITER 4680 NEW BEST:: SOT 299311 SOS 104018 HAS SOPS 104018 HAS SOUS 46013 HAS SOUPS 46013 WITH SCORE 46117.018
AT ITER 4691 NEW BEST:: SOT 299226 SOS 103925 HAS SOPS 103925 HAS SOUS 45920 HAS SOUPS 45920 WITH SCORE 46023.925
AT ITER 4727 NEW BEST:: SOT 299226 SOS 103945 HAS SOPS 103945 HAS SOUS 45908 HAS SOUPS 45908 WITH SCORE 46011.945
AT ITER 4762 NEW BEST:: SOT 299213 SOS 103893 HAS SOPS 103893 HAS SOUS 45830 HAS SOUPS 45830 WITH SCORE 45933.893
AT ITER 4803 NEW BEST:: SOT 299208 SOS 103889 HAS SOPS 103889 HAS SOUS 45830 HAS SOUPS 45830 WITH SCORE 45933.889
AT ITER 4831 NEW BEST:: SOT 299208 SOS 103781 HAS SOPS 103781 HAS SOUS 45794 HAS SOUPS 45794 WITH SCORE 45897.781
AT ITER 4837 NEW BEST:: SOT 299203 SOS 103765 HAS SOPS 103765 HAS SOUS 45791 HAS SOUPS 45791 WITH SCORE 45894.765
AT ITER 4927 NEW BEST:: SOT 299203 SOS 103699 HAS SOPS 103699 HAS SOUS 45769 HAS SOUPS 45769 WITH SCORE 45872.699
AT ITER 4931 NEW BEST:: SOT 299203 SOS 103699 HAS SOPS 103699 HAS SOUS 45667 HAS SOUPS 45667 WITH SCORE 45770.699
AT ITER 4935 NEW BEST:: SOT 299165 SOS 103661 HAS SOPS 103661 HAS SOUS 45629 HAS SOUPS 45629 WITH SCORE 45732.661
AT ITER 4977 NEW BEST:: SOT 299136 SOS 103632 HAS SOPS 103632 HAS SOUS 45629 HAS SOUPS 45629 WITH SCORE 45732.632
AT ITER 5047 NEW BEST:: SOT 299108 SOS 103619 HAS SOPS 103619 HAS SOUS 45604 HAS SOUPS 45604 WITH SCORE 45707.619
AT ITER 5132 NEW BEST:: SOT 299108 SOS 103505 HAS SOPS 103505 HAS SOUS 45566 HAS SOUPS 45566 WITH SCORE 45669.505
AT ITER 5133 NEW BEST:: SOT 299104 SOS 103501 HAS SOPS 103501 HAS SOUS 45542 HAS SOUPS 45542 WITH SCORE 45645.501
AT ITER 5149 NEW BEST:: SOT 298992 SOS 102885 HAS SOPS 102885 HAS SOUS 45486 HAS SOUPS 45486 WITH SCORE 45588.885
AT ITER 5156 NEW BEST:: SOT 298977 SOS 102795 HAS SOPS 102795 HAS SOUS 45456 HAS SOUPS 45456 WITH SCORE 45558.795
AT ITER 5191 NEW BEST:: SOT 298977 SOS 102771 HAS SOPS 102771 HAS SOUS 45448 HAS SOUPS 45448 WITH SCORE 45550.771
AT ITER 5195 NEW BEST:: SOT 298973 SOS 102781 HAS SOPS 102781 HAS SOUS 45368 HAS SOUPS 45368 WITH SCORE 45470.781
AT ITER 5267 NEW BEST:: SOT 299145 SOS 103223 HAS SOPS 103223 HAS SOUS 45354 HAS SOUPS 45354 WITH SCORE 45457.223
AT ITER 5274 NEW BEST:: SOT 299052 SOS 102971 HAS SOPS 102971 HAS SOUS 45327 HAS SOUPS 45327 WITH SCORE 45429.971
AT ITER 5280 NEW BEST:: SOT 299044 SOS 102921 HAS SOPS 102921 HAS SOUS 45305 HAS SOUPS 45305 WITH SCORE 45407.921
AT ITER 5287 NEW BEST:: SOT 299036 SOS 102913 HAS SOPS 102913 HAS SOUS 45297 HAS SOUPS 45297 WITH SCORE 45399.913
AT ITER 5309 NEW BEST:: SOT 299061 SOS 102743 HAS SOPS 102743 HAS SOUS 45283 HAS SOUPS 45283 WITH SCORE 45385.743
AT ITER 5372 NEW BEST:: SOT 299061 SOS 102911 HAS SOPS 102911 HAS SOUS 45275 HAS SOUPS 45275 WITH SCORE 45377.911
AT ITER 5390 NEW BEST:: SOT 299057 SOS 102905 HAS SOPS 102905 HAS SOUS 45248 HAS SOUPS 45248 WITH SCORE 45350.905
AT ITER 5404 NEW BEST:: SOT 299132 SOS 103143 HAS SOPS 103143 HAS SOUS 45224 HAS SOUPS 45224 WITH SCORE 45327.143
AT ITER 5413 NEW BEST:: SOT 299092 SOS 103099 HAS SOPS 103099 HAS SOUS 45208 HAS SOUPS 45208 WITH SCORE 45311.099
AT ITER 5453 NEW BEST:: SOT 299092 SOS 103075 HAS SOPS 103075 HAS SOUS 45200 HAS SOUPS 45200 WITH SCORE 45303.075
AT ITER 5460 NEW BEST:: SOT 299052 SOS 102782 HAS SOPS 102782 HAS SOUS 45063 HAS SOUPS 45063 WITH SCORE 45165.782
AT ITER 5466 NEW BEST:: SOT 299004 SOS 102438 HAS SOPS 102438 HAS SOUS 45049 HAS SOUPS 45049 WITH SCORE 45151.438
AT ITER 5487 NEW BEST:: SOT 299004 SOS 102388 HAS SOPS 102388 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45141.388
AT ITER 5505 NEW BEST:: SOT 298996 SOS 102284 HAS SOPS 102284 HAS SOUS 45039 HAS SOUPS 45039 WITH SCORE 45141.284
AT ITER 5554 NEW BEST:: SOT 298996 SOS 102274 HAS SOPS 102274 HAS SOUS 45037 HAS SOUPS 45037 WITH SCORE 45139.274
AT ITER 5584 NEW BEST:: SOT 298996 SOS 102274 HAS SOPS 102274 HAS SOUS 45017 HAS SOUPS 45017 WITH SCORE 45119.274
AT ITER 5628 NEW BEST:: SOT 298990 SOS 102250 HAS SOPS 102250 HAS SOUS 45017 HAS SOUPS 45017 WITH SCORE 45119.25
AT ITER 5674 NEW BEST:: SOT 298990 SOS 102261 HAS SOPS 102261 HAS SOUS 45006 HAS SOUPS 45006 WITH SCORE 45108.261
AT ITER 5752 NEW BEST:: SOT 298990 SOS 102260 HAS SOPS 102260 HAS SOUS 45005 HAS SOUPS 45005 WITH SCORE 45107.26
AT ITER 5755 NEW BEST:: SOT 298990 SOS 102248 HAS SOPS 102248 HAS SOUS 45001 HAS SOUPS 45001 WITH SCORE 45103.248
AT ITER 5765 NEW BEST:: SOT 298990 SOS 102200 HAS SOPS 102200 HAS SOUS 44985 HAS SOUPS 44985 WITH SCORE 45087.2
AT ITER 5790 NEW BEST:: SOT 298966 SOS 102176 HAS SOPS 102176 HAS SOUS 44961 HAS SOUPS 44961 WITH SCORE 45063.176
AT ITER 5816 NEW BEST:: SOT 298966 SOS 102176 HAS SOPS 102176 HAS SOUS 44953 HAS SOUPS 44953 WITH SCORE 45055.176
AT ITER 5821 NEW BEST:: SOT 298966 SOS 102175 HAS SOPS 102175 HAS SOUS 44948 HAS SOUPS 44948 WITH SCORE 45050.175
AT ITER 5877 NEW BEST:: SOT 298966 SOS 102155 HAS SOPS 102155 HAS SOUS 44944 HAS SOUPS 44944 WITH SCORE 45046.155
AT ITER 5912 NEW BEST:: SOT 298886 SOS 101975 HAS SOPS 101975 HAS SOUS 44868 HAS SOUPS 44868 WITH SCORE 44969.975
AT ITER 5916 NEW BEST:: SOT 298886 SOS 101975 HAS SOPS 101975 HAS SOUS 44866 HAS SOUPS 44866 WITH SCORE 44967.975
AT ITER 5935 NEW BEST:: SOT 298886 SOS 101957 HAS SOPS 101957 HAS SOUS 44860 HAS SOUPS 44860 WITH SCORE 44961.957
AT ITER 5945 NEW BEST:: SOT 298885 SOS 101951 HAS SOPS 101951 HAS SOUS 44858 HAS SOUPS 44858 WITH SCORE 44959.951
AT ITER 5979 NEW BEST:: SOT 298845 SOS 101671 HAS SOPS 101671 HAS SOUS 44738 HAS SOUPS 44738 WITH SCORE 44839.671
AT ITER 5984 NEW BEST:: SOT 298845 SOS 101671 HAS SOPS 101671 HAS SOUS 44694 HAS SOUPS 44694 WITH SCORE 44795.671
AT ITER 6005 NEW BEST:: SOT 298845 SOS 101671 HAS SOPS 101671 HAS SOUS 44578 HAS SOUPS 44578 WITH SCORE 44679.671
AT ITER 6027 NEW BEST:: SOT 298845 SOS 101661 HAS SOPS 101661 HAS SOUS 44576 HAS SOUPS 44576 WITH SCORE 44677.661
AT ITER 6028 NEW BEST:: SOT 298831 SOS 101632 HAS SOPS 101632 HAS SOUS 44557 HAS SOUPS 44557 WITH SCORE 44658.632
AT ITER 6048 NEW BEST:: SOT 298761 SOS 101564 HAS SOPS 101564 HAS SOUS 44489 HAS SOUPS 44489 WITH SCORE 44590.564
AT ITER 6091 NEW BEST:: SOT 298588 SOS 101791 HAS SOPS 101791 HAS SOUS 44365 HAS SOUPS 44365 WITH SCORE 44466.791
AT ITER 6114 NEW BEST:: SOT 298561 SOS 101764 HAS SOPS 101764 HAS SOUS 44267 HAS SOUPS 44267 WITH SCORE 44368.764
AT ITER 6136 NEW BEST:: SOT 298541 SOS 101734 HAS SOPS 101734 HAS SOUS 44247 HAS SOUPS 44247 WITH SCORE 44348.734
AT ITER 6173 NEW BEST:: SOT 298541 SOS 101738 HAS SOPS 101738 HAS SOUS 44243 HAS SOUPS 44243 WITH SCORE 44344.738
AT ITER 6211 NEW BEST:: SOT 298540 SOS 101732 HAS SOPS 101732 HAS SOUS 44241 HAS SOUPS 44241 WITH SCORE 44342.732
AT ITER 6216 NEW BEST:: SOT 298474 SOS 101666 HAS SOPS 101666 HAS SOUS 44175 HAS SOUPS 44175 WITH SCORE 44276.666
AT ITER 6220 NEW BEST:: SOT 298474 SOS 101666 HAS SOPS 101666 HAS SOUS 44163 HAS SOUPS 44163 WITH SCORE 44264.666
AT ITER 6243 NEW BEST:: SOT 298494 SOS 101686 HAS SOPS 101686 HAS SOUS 44154 HAS SOUPS 44154 WITH SCORE 44255.686
AT ITER 6251 NEW BEST:: SOT 298494 SOS 101668 HAS SOPS 101668 HAS SOUS 44148 HAS SOUPS 44148 WITH SCORE 44249.668
AT ITER 6277 NEW BEST:: SOT 298507 SOS 101681 HAS SOPS 101681 HAS SOUS 44135 HAS SOUPS 44135 WITH SCORE 44236.681
AT ITER 6336 NEW BEST:: SOT 298514 SOS 101269 HAS SOPS 101269 HAS SOUS 44099 HAS SOUPS 44099 WITH SCORE 44200.269
AT ITER 6359 NEW BEST:: SOT 298514 SOS 101269 HAS SOPS 101269 HAS SOUS 44012 HAS SOUPS 44012 WITH SCORE 44113.269
AT ITER 6366 NEW BEST:: SOT 298514 SOS 101293 HAS SOPS 101293 HAS SOUS 43988 HAS SOUPS 43988 WITH SCORE 44089.293
AT ITER 6388 NEW BEST:: SOT 298506 SOS 101206 HAS SOPS 101206 HAS SOUS 43933 HAS SOUPS 43933 WITH SCORE 44034.206
AT ITER 6467 NEW BEST:: SOT 298493 SOS 101193 HAS SOPS 101193 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 44013.193
AT ITER 6507 NEW BEST:: SOT 298490 SOS 101190 HAS SOPS 101190 HAS SOUS 43912 HAS SOUPS 43912 WITH SCORE 44013.19
AT ITER 6622 NEW BEST:: SOT 298508 SOS 100998 HAS SOPS 100998 HAS SOUS 43888 HAS SOUPS 43888 WITH SCORE 43988.998
AT ITER 6624 NEW BEST:: SOT 298508 SOS 100968 HAS SOPS 100968 HAS SOUS 43878 HAS SOUPS 43878 WITH SCORE 43978.968
AT ITER 6672 NEW BEST:: SOT 298499 SOS 100950 HAS SOPS 100950 HAS SOUS 43860 HAS SOUPS 43860 WITH SCORE 43960.95
AT ITER 6712 NEW BEST:: SOT 298497 SOS 100948 HAS SOPS 100948 HAS SOUS 43856 HAS SOUPS 43856 WITH SCORE 43956.948
AT ITER 6793 NEW BEST:: SOT 298481 SOS 100852 HAS SOPS 100852 HAS SOUS 43824 HAS SOUPS 43824 WITH SCORE 43924.852
AT ITER 6826 NEW BEST:: SOT 298477 SOS 100848 HAS SOPS 100848 HAS SOUS 43820 HAS SOUPS 43820 WITH SCORE 43920.848
AT ITER 6864 NEW BEST:: SOT 298475 SOS 100823 HAS SOPS 100823 HAS SOUS 43803 HAS SOUPS 43803 WITH SCORE 43903.823
AT ITER 6909 NEW BEST:: SOT 298475 SOS 100841 HAS SOPS 100841 HAS SOUS 43781 HAS SOUPS 43781 WITH SCORE 43881.841
AT ITER 6935 NEW BEST:: SOT 298476 SOS 100842 HAS SOPS 100842 HAS SOUS 43775 HAS SOUPS 43775 WITH SCORE 43875.842
AT ITER 6948 NEW BEST:: SOT 298471 SOS 100812 HAS SOPS 100812 HAS SOUS 43765 HAS SOUPS 43765 WITH SCORE 43865.812
AT ITER 6967 NEW BEST:: SOT 298469 SOS 100800 HAS SOPS 100800 HAS SOUS 43761 HAS SOUPS 43761 WITH SCORE 43861.8
AT ITER 6975 NEW BEST:: SOT 298469 SOS 100776 HAS SOPS 100776 HAS SOUS 43753 HAS SOUPS 43753 WITH SCORE 43853.776
AT ITER 7079 NEW BEST:: SOT 298439 SOS 100689 HAS SOPS 100689 HAS SOUS 43702 HAS SOUPS 43702 WITH SCORE 43802.689
AT ITER 7084 NEW BEST:: SOT 298439 SOS 100688 HAS SOPS 100688 HAS SOUS 43701 HAS SOUPS 43701 WITH SCORE 43801.688
AT ITER 7085 NEW BEST:: SOT 298439 SOS 100688 HAS SOPS 100688 HAS SOUS 43685 HAS SOUPS 43685 WITH SCORE 43785.688
AT ITER 7119 NEW BEST:: SOT 298439 SOS 100688 HAS SOPS 100688 HAS SOUS 43672 HAS SOUPS 43672 WITH SCORE 43772.688
AT ITER 7133 NEW BEST:: SOT 298419 SOS 100648 HAS SOPS 100648 HAS SOUS 43648 HAS SOUPS 43648 WITH SCORE 43748.648
AT ITER 7138 NEW BEST:: SOT 298417 SOS 100646 HAS SOPS 100646 HAS SOUS 43646 HAS SOUPS 43646 WITH SCORE 43746.646
AT ITER 7141 NEW BEST:: SOT 298417 SOS 100616 HAS SOPS 100616 HAS SOUS 43636 HAS SOUPS 43636 WITH SCORE 43736.616
AT ITER 7179 NEW BEST:: SOT 298365 SOS 100564 HAS SOPS 100564 HAS SOUS 43584 HAS SOUPS 43584 WITH SCORE 43684.564
AT ITER 7221 NEW BEST:: SOT 298325 SOS 100524 HAS SOPS 100524 HAS SOUS 43544 HAS SOUPS 43544 WITH SCORE 43644.524
AT ITER 7373 NEW BEST:: SOT 298301 SOS 100392 HAS SOPS 100392 HAS SOUS 43532 HAS SOUPS 43532 WITH SCORE 43632.392
AT ITER 7374 NEW BEST:: SOT 298213 SOS 100340 HAS SOPS 100340 HAS SOUS 43496 HAS SOUPS 43496 WITH SCORE 43596.34
AT ITER 7375 NEW BEST:: SOT 298221 SOS 100233 HAS SOPS 100233 HAS SOUS 43481 HAS SOUPS 43481 WITH SCORE 43581.233
AT ITER 7392 NEW BEST:: SOT 298221 SOS 100233 HAS SOPS 100233 HAS SOUS 43465 HAS SOUPS 43465 WITH SCORE 43565.233
AT ITER 7420 NEW BEST:: SOT 298201 SOS 100189 HAS SOPS 100189 HAS SOUS 43457 HAS SOUPS 43457 WITH SCORE 43557.189
AT ITER 7443 NEW BEST:: SOT 298187 SOS 100105 HAS SOPS 100105 HAS SOUS 43429 HAS SOUPS 43429 WITH SCORE 43529.105
AT ITER 7590 NEW BEST:: SOT 298125 SOS 99479 HAS SOPS 99479 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43419.479
AT ITER 7611 NEW BEST:: SOT 298089 SOS 99335 HAS SOPS 99335 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43419.335
AT ITER 7620 NEW BEST:: SOT 298089 SOS 99323 HAS SOPS 99323 HAS SOUS 43320 HAS SOUPS 43320 WITH SCORE 43419.323
AT ITER 7628 NEW BEST:: SOT 298084 SOS 99302 HAS SOPS 99302 HAS SOUS 43319 HAS SOUPS 43319 WITH SCORE 43418.302
AT ITER 7629 NEW BEST:: SOT 298084 SOS 99238 HAS SOPS 99238 HAS SOUS 43319 HAS SOUPS 43319 WITH SCORE 43418.238
AT ITER 7718 NEW BEST:: SOT 298024 SOS 99105 HAS SOPS 99105 HAS SOUS 43298 HAS SOUPS 43298 WITH SCORE 43397.105
AT ITER 7743 NEW BEST:: SOT 298021 SOS 99087 HAS SOPS 99087 HAS SOUS 43292 HAS SOUPS 43292 WITH SCORE 43391.087
AT ITER 7783 NEW BEST:: SOT 298011 SOS 99077 HAS SOPS 99077 HAS SOUS 43292 HAS SOUPS 43292 WITH SCORE 43391.077
AT ITER 7809 NEW BEST:: SOT 297996 SOS 99055 HAS SOPS 99055 HAS SOUS 43278 HAS SOUPS 43278 WITH SCORE 43377.055
AT ITER 7810 NEW BEST:: SOT 297996 SOS 99045 HAS SOPS 99045 HAS SOUS 43276 HAS SOUPS 43276 WITH SCORE 43375.045
AT ITER 7863 NEW BEST:: SOT 297976 SOS 99037 HAS SOPS 99037 HAS SOUS 43265 HAS SOUPS 43265 WITH SCORE 43364.037
AT ITER 7883 NEW BEST:: SOT 297963 SOS 99011 HAS SOPS 99011 HAS SOUS 43174 HAS SOUPS 43174 WITH SCORE 43273.011
AT ITER 7904 NEW BEST:: SOT 297946 SOS 98994 HAS SOPS 98994 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43257.994
AT ITER 7948 NEW BEST:: SOT 297906 SOS 98834 HAS SOPS 98834 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43257.834
AT ITER 8043 NEW BEST:: SOT 297906 SOS 98830 HAS SOPS 98830 HAS SOUS 43159 HAS SOUPS 43159 WITH SCORE 43257.83
AT ITER 8061 NEW BEST:: SOT 297907 SOS 98796 HAS SOPS 98796 HAS SOUS 43153 HAS SOUPS 43153 WITH SCORE 43251.796
AT ITER 8092 NEW BEST:: SOT 297899 SOS 98788 HAS SOPS 98788 HAS SOUS 43153 HAS SOUPS 43153 WITH SCORE 43251.788
AT ITER 8146 NEW BEST:: SOT 297877 SOS 98748 HAS SOPS 98748 HAS SOUS 43129 HAS SOUPS 43129 WITH SCORE 43227.748
AT ITER 8180 NEW BEST:: SOT 297872 SOS 98738 HAS SOPS 98738 HAS SOUS 43123 HAS SOUPS 43123 WITH SCORE 43221.738
AT ITER 8214 NEW BEST:: SOT 297862 SOS 98726 HAS SOPS 98726 HAS SOUS 43103 HAS SOUPS 43103 WITH SCORE 43201.726
AT ITER 8231 NEW BEST:: SOT 297862 SOS 98726 HAS SOPS 98726 HAS SOUS 43087 HAS SOUPS 43087 WITH SCORE 43185.726
AT ITER 8243 NEW BEST:: SOT 297849 SOS 98633 HAS SOPS 98633 HAS SOUS 43081 HAS SOUPS 43081 WITH SCORE 43179.633
AT ITER 8250 NEW BEST:: SOT 297757 SOS 98541 HAS SOPS 98541 HAS SOUS 42989 HAS SOUPS 42989 WITH SCORE 43087.541
AT ITER 8270 NEW BEST:: SOT 297757 SOS 98521 HAS SOPS 98521 HAS SOUS 42893 HAS SOUPS 42893 WITH SCORE 42991.521
AT ITER 8312 NEW BEST:: SOT 297717 SOS 98417 HAS SOPS 98417 HAS SOUS 42845 HAS SOUPS 42845 WITH SCORE 42943.417
AT ITER 8341 NEW BEST:: SOT 297702 SOS 98327 HAS SOPS 98327 HAS SOUS 42815 HAS SOUPS 42815 WITH SCORE 42913.327
AT ITER 8361 NEW BEST:: SOT 297711 SOS 98231 HAS SOPS 98231 HAS SOUS 42803 HAS SOUPS 42803 WITH SCORE 42901.231
AT ITER 8364 NEW BEST:: SOT 297670 SOS 98125 HAS SOPS 98125 HAS SOUS 42765 HAS SOUPS 42765 WITH SCORE 42863.125
AT ITER 8425 NEW BEST:: SOT 297606 SOS 98061 HAS SOPS 98061 HAS SOUS 42701 HAS SOUPS 42701 WITH SCORE 42799.061
AT ITER 8457 NEW BEST:: SOT 297586 SOS 98001 HAS SOPS 98001 HAS SOUS 42697 HAS SOUPS 42697 WITH SCORE 42795.001
AT ITER 8504 NEW BEST:: SOT 297571 SOS 97983 HAS SOPS 97983 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42764.983
AT ITER 8513 NEW BEST:: SOT 297571 SOS 97967 HAS SOPS 97967 HAS SOUS 42667 HAS SOUPS 42667 WITH SCORE 42764.967
AT ITER 8579 NEW BEST:: SOT 297571 SOS 97931 HAS SOPS 97931 HAS SOUS 42655 HAS SOUPS 42655 WITH SCORE 42752.931
AT ITER 8621 NEW BEST:: SOT 297571 SOS 97931 HAS SOPS 97931 HAS SOUS 42643 HAS SOUPS 42643 WITH SCORE 42740.931
AT ITER 8627 NEW BEST:: SOT 297600 SOS 97975 HAS SOPS 97975 HAS SOUS 42630 HAS SOUPS 42630 WITH SCORE 42727.975
AT ITER 8716 NEW BEST:: SOT 297590 SOS 97965 HAS SOPS 97965 HAS SOUS 42630 HAS SOUPS 42630 WITH SCORE 42727.965
AT ITER 8724 NEW BEST:: SOT 297595 SOS 97930 HAS SOPS 97930 HAS SOUS 42627 HAS SOUPS 42627 WITH SCORE 42724.93
AT ITER 8730 NEW BEST:: SOT 297565 SOS 97750 HAS SOPS 97750 HAS SOUS 42567 HAS SOUPS 42567 WITH SCORE 42664.75
AT ITER 8733 NEW BEST:: SOT 297565 SOS 97726 HAS SOPS 97726 HAS SOUS 42559 HAS SOUPS 42559 WITH SCORE 42656.726
AT ITER 8755 NEW BEST:: SOT 297579 SOS 97740 HAS SOPS 97740 HAS SOUS 42555 HAS SOUPS 42555 WITH SCORE 42652.74
AT ITER 8781 NEW BEST:: SOT 297579 SOS 97695 HAS SOPS 97695 HAS SOUS 42546 HAS SOUPS 42546 WITH SCORE 42643.695
AT ITER 8785 NEW BEST:: SOT 297572 SOS 97653 HAS SOPS 97653 HAS SOUS 42532 HAS SOUPS 42532 WITH SCORE 42629.653
AT ITER 8888 NEW BEST:: SOT 297572 SOS 97653 HAS SOPS 97653 HAS SOUS 42527 HAS SOUPS 42527 WITH SCORE 42624.653
AT ITER 8968 NEW BEST:: SOT 297572 SOS 97653 HAS SOPS 97653 HAS SOUS 42509 HAS SOUPS 42509 WITH SCORE 42606.653
AT ITER 8975 NEW BEST:: SOT 297567 SOS 97743 HAS SOPS 97743 HAS SOUS 42499 HAS SOUPS 42499 WITH SCORE 42596.743
AT ITER 9002 NEW BEST:: SOT 297557 SOS 97679 HAS SOPS 97679 HAS SOUS 42499 HAS SOUPS 42499 WITH SCORE 42596.679
AT ITER 9042 NEW BEST:: SOT 297557 SOS 97679 HAS SOPS 97679 HAS SOUS 42494 HAS SOUPS 42494 WITH SCORE 42591.679
AT ITER 9055 NEW BEST:: SOT 297557 SOS 97664 HAS SOPS 97664 HAS SOUS 42491 HAS SOUPS 42491 WITH SCORE 42588.664
AT ITER 9134 NEW BEST:: SOT 297507 SOS 97528 HAS SOPS 97528 HAS SOUS 42431 HAS SOUPS 42431 WITH SCORE 42528.528
AT ITER 9145 NEW BEST:: SOT 297492 SOS 97407 HAS SOPS 97407 HAS SOUS 42394 HAS SOUPS 42394 WITH SCORE 42491.407
AT ITER 9174 NEW BEST:: SOT 297492 SOS 97317 HAS SOPS 97317 HAS SOUS 42364 HAS SOUPS 42364 WITH SCORE 42461.317
AT ITER 9439 NEW BEST:: SOT 297492 SOS 97277 HAS SOPS 97277 HAS SOUS 42364 HAS SOUPS 42364 WITH SCORE 42461.277
AT ITER 9575 NEW BEST:: SOT 297492 SOS 97277 HAS SOPS 97277 HAS SOUS 42352 HAS SOUPS 42352 WITH SCORE 42449.277
AT ITER 9610 NEW BEST:: SOT 297457 SOS 97067 HAS SOPS 97067 HAS SOUS 42282 HAS SOUPS 42282 WITH SCORE 42379.067
AT ITER 9627 NEW BEST:: SOT 297397 SOS 96935 HAS SOPS 96935 HAS SOUS 42221 HAS SOUPS 42221 WITH SCORE 42317.935
AT ITER 9660 NEW BEST:: SOT 297372 SOS 97091 HAS SOPS 97091 HAS SOUS 42217 HAS SOUPS 42217 WITH SCORE 42314.091
AT ITER 9774 NEW BEST:: SOT 297412 SOS 97131 HAS SOPS 97131 HAS SOUS 42161 HAS SOUPS 42161 WITH SCORE 42258.131
AT ITER 9800 NEW BEST:: SOT 297415 SOS 97134 HAS SOPS 97134 HAS SOUS 42137 HAS SOUPS 42137 WITH SCORE 42234.134
AT ITER 9901 NEW BEST:: SOT 297379 SOS 97098 HAS SOPS 97098 HAS SOUS 42101 HAS SOUPS 42101 WITH SCORE 42198.098
AT ITER 9916 NEW BEST:: SOT 297397 SOS 97090 HAS SOPS 97090 HAS SOUS 42027 HAS SOUPS 42027 WITH SCORE 42124.09
AT ITER 9940 NEW BEST:: SOT 297397 SOS 97090 HAS SOPS 97090 HAS SOUS 42009 HAS SOUPS 42009 WITH SCORE 42106.09
AT ITER 9990 NEW BEST:: SOT 297321 SOS 96626 HAS SOPS 96626 HAS SOUS 41950 HAS SOUPS 41950 WITH SCORE 42046.626

BK_STOP 1678603991251

--------------------
content from stderr:

/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 368 Killed ${SMART}/smart ${INPUT_SM}

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="HypertorusGrid-PT-d3k3p2b06"
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 HypertorusGrid-PT-d3k3p2b06, 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 r227-tall-167856409900056"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/HypertorusGrid-PT-d3k3p2b06.tgz
mv HypertorusGrid-PT-d3k3p2b06 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;