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.r259-smll-167863534400320.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 NoC3x3-PT-6B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534400320
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 996K
-rw-r--r-- 1 mcc users 7.9K Feb 26 09:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 92K Feb 26 09:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 09:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 09:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 09:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 117K Feb 26 09:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 26 09:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 26 09:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 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 552K 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 1678755636332

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=NoC3x3-PT-6B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6B
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: 1544 places, 2229 transitions, 6663 arcs.
AT ITER 0 NEW BEST:: SOT 1868159 SOS 300531 HAS SOPS 300531 HAS SOUS 227648 HAS SOUPS 227648 WITH SCORE 227948.531
AT ITER 12 NEW BEST:: SOT 1868012 SOS 300237 HAS SOPS 300237 HAS SOUS 227329 HAS SOUPS 227329 WITH SCORE 227629.237
AT ITER 24 NEW BEST:: SOT 1868012 SOS 300132 HAS SOPS 300132 HAS SOUS 227327 HAS SOUPS 227327 WITH SCORE 227627.132
AT ITER 44 NEW BEST:: SOT 1867978 SOS 300064 HAS SOPS 300064 HAS SOUS 227274 HAS SOUPS 227274 WITH SCORE 227574.064
AT ITER 50 NEW BEST:: SOT 1867984 SOS 299913 HAS SOPS 299913 HAS SOUS 227111 HAS SOUPS 227111 WITH SCORE 227410.913
AT ITER 84 NEW BEST:: SOT 1867984 SOS 299806 HAS SOPS 299806 HAS SOUS 227048 HAS SOUPS 227048 WITH SCORE 227347.806
AT ITER 117 NEW BEST:: SOT 1867840 SOS 299758 HAS SOPS 299758 HAS SOUS 226952 HAS SOUPS 226952 WITH SCORE 227251.758
AT ITER 129 NEW BEST:: SOT 1867340 SOS 300579 HAS SOPS 300579 HAS SOUS 226747 HAS SOUPS 226747 WITH SCORE 227047.579
AT ITER 150 NEW BEST:: SOT 1867247 SOS 300486 HAS SOPS 300486 HAS SOUS 226654 HAS SOUPS 226654 WITH SCORE 226954.486
AT ITER 160 NEW BEST:: SOT 1867301 SOS 301546 HAS SOPS 301546 HAS SOUS 226055 HAS SOUPS 226055 WITH SCORE 226356.546
AT ITER 201 NEW BEST:: SOT 1867301 SOS 301502 HAS SOPS 301502 HAS SOUS 226021 HAS SOUPS 226021 WITH SCORE 226322.502
AT ITER 260 NEW BEST:: SOT 1867187 SOS 301331 HAS SOPS 301331 HAS SOUS 225850 HAS SOUPS 225850 WITH SCORE 226151.331
AT ITER 261 NEW BEST:: SOT 1867014 SOS 300533 HAS SOPS 300533 HAS SOUS 225094 HAS SOUPS 225094 WITH SCORE 225394.533
AT ITER 270 NEW BEST:: SOT 1866963 SOS 300331 HAS SOPS 300331 HAS SOUS 224993 HAS SOUPS 224993 WITH SCORE 225293.331
AT ITER 296 NEW BEST:: SOT 1866962 SOS 300420 HAS SOPS 300420 HAS SOUS 224992 HAS SOUPS 224992 WITH SCORE 225292.42
AT ITER 298 NEW BEST:: SOT 1866830 SOS 300388 HAS SOPS 300388 HAS SOUS 224823 HAS SOUPS 224823 WITH SCORE 225123.388
AT ITER 329 NEW BEST:: SOT 1866730 SOS 300188 HAS SOPS 300188 HAS SOUS 224630 HAS SOUPS 224630 WITH SCORE 224930.188
AT ITER 352 NEW BEST:: SOT 1866533 SOS 299994 HAS SOPS 299994 HAS SOUS 224436 HAS SOUPS 224436 WITH SCORE 224735.994
AT ITER 405 NEW BEST:: SOT 1866467 SOS 299829 HAS SOPS 299829 HAS SOUS 224370 HAS SOUPS 224370 WITH SCORE 224669.829
AT ITER 428 NEW BEST:: SOT 1866301 SOS 299002 HAS SOPS 299002 HAS SOUS 223912 HAS SOUPS 223912 WITH SCORE 224211.002
AT ITER 435 NEW BEST:: SOT 1866301 SOS 298974 HAS SOPS 298974 HAS SOUS 223884 HAS SOUPS 223884 WITH SCORE 224182.974
AT ITER 440 NEW BEST:: SOT 1866250 SOS 298948 HAS SOPS 298948 HAS SOUS 223857 HAS SOUPS 223857 WITH SCORE 224155.948
AT ITER 442 NEW BEST:: SOT 1866091 SOS 298018 HAS SOPS 298018 HAS SOUS 223146 HAS SOUPS 223146 WITH SCORE 223444.018
AT ITER 451 NEW BEST:: SOT 1866090 SOS 297628 HAS SOPS 297628 HAS SOUS 222825 HAS SOUPS 222825 WITH SCORE 223122.628
AT ITER 468 NEW BEST:: SOT 1866009 SOS 296930 HAS SOPS 296930 HAS SOUS 222511 HAS SOUPS 222511 WITH SCORE 222807.93
AT ITER 492 NEW BEST:: SOT 1865539 SOS 296538 HAS SOPS 296538 HAS SOUS 222409 HAS SOUPS 222409 WITH SCORE 222705.538
AT ITER 494 NEW BEST:: SOT 1865537 SOS 296532 HAS SOPS 296532 HAS SOUS 222405 HAS SOUPS 222405 WITH SCORE 222701.532
AT ITER 495 NEW BEST:: SOT 1865321 SOS 296424 HAS SOPS 296424 HAS SOUS 222349 HAS SOUPS 222349 WITH SCORE 222645.424
AT ITER 503 NEW BEST:: SOT 1865833 SOS 297410 HAS SOPS 297410 HAS SOUS 222325 HAS SOUPS 222325 WITH SCORE 222622.41
AT ITER 515 NEW BEST:: SOT 1865725 SOS 297290 HAS SOPS 297290 HAS SOUS 221620 HAS SOUPS 221620 WITH SCORE 221917.29
AT ITER 599 NEW BEST:: SOT 1865323 SOS 298865 HAS SOPS 298865 HAS SOUS 221337 HAS SOUPS 221337 WITH SCORE 221635.865
AT ITER 603 NEW BEST:: SOT 1865322 SOS 298755 HAS SOPS 298755 HAS SOUS 221336 HAS SOUPS 221336 WITH SCORE 221634.755
AT ITER 626 NEW BEST:: SOT 1865322 SOS 298777 HAS SOPS 298777 HAS SOUS 221325 HAS SOUPS 221325 WITH SCORE 221623.777
AT ITER 657 NEW BEST:: SOT 1865240 SOS 298848 HAS SOPS 298848 HAS SOUS 221250 HAS SOUPS 221250 WITH SCORE 221548.848
AT ITER 666 NEW BEST:: SOT 1865178 SOS 298724 HAS SOPS 298724 HAS SOUS 221126 HAS SOUPS 221126 WITH SCORE 221424.724
AT ITER 686 NEW BEST:: SOT 1863681 SOS 311240 HAS SOPS 311240 HAS SOUS 220389 HAS SOUPS 220389 WITH SCORE 220700.24
AT ITER 693 NEW BEST:: SOT 1863621 SOS 311228 HAS SOPS 311228 HAS SOUS 220380 HAS SOUPS 220380 WITH SCORE 220691.228
AT ITER 709 NEW BEST:: SOT 1863586 SOS 311093 HAS SOPS 311093 HAS SOUS 220374 HAS SOUPS 220374 WITH SCORE 220685.093
AT ITER 748 NEW BEST:: SOT 1863529 SOS 310436 HAS SOPS 310436 HAS SOUS 220355 HAS SOUPS 220355 WITH SCORE 220665.436
AT ITER 866 NEW BEST:: SOT 1863614 SOS 310500 HAS SOPS 310500 HAS SOUS 220338 HAS SOUPS 220338 WITH SCORE 220648.5
AT ITER 897 NEW BEST:: SOT 1863431 SOS 309582 HAS SOPS 309582 HAS SOUS 219483 HAS SOUPS 219483 WITH SCORE 219792.582
AT ITER 934 NEW BEST:: SOT 1863427 SOS 309570 HAS SOPS 309570 HAS SOUS 219471 HAS SOUPS 219471 WITH SCORE 219780.57
AT ITER 948 NEW BEST:: SOT 1863427 SOS 309534 HAS SOPS 309534 HAS SOUS 219416 HAS SOUPS 219416 WITH SCORE 219725.534
AT ITER 965 NEW BEST:: SOT 1863394 SOS 309501 HAS SOPS 309501 HAS SOUS 219317 HAS SOUPS 219317 WITH SCORE 219626.501
AT ITER 966 NEW BEST:: SOT 1863457 SOS 309708 HAS SOPS 309708 HAS SOUS 219284 HAS SOUPS 219284 WITH SCORE 219593.708
AT ITER 981 NEW BEST:: SOT 1863445 SOS 309688 HAS SOPS 309688 HAS SOUS 219272 HAS SOUPS 219272 WITH SCORE 219581.688
AT ITER 1002 NEW BEST:: SOT 1863072 SOS 309338 HAS SOPS 309338 HAS SOUS 219237 HAS SOUPS 219237 WITH SCORE 219546.338
AT ITER 1029 NEW BEST:: SOT 1863020 SOS 309202 HAS SOPS 309202 HAS SOUS 219194 HAS SOUPS 219194 WITH SCORE 219503.202
AT ITER 1049 NEW BEST:: SOT 1863084 SOS 309233 HAS SOPS 309233 HAS SOUS 219163 HAS SOUPS 219163 WITH SCORE 219472.233
AT ITER 1064 NEW BEST:: SOT 1863219 SOS 309314 HAS SOPS 309314 HAS SOUS 219136 HAS SOUPS 219136 WITH SCORE 219445.314
AT ITER 1081 NEW BEST:: SOT 1863160 SOS 309196 HAS SOPS 309196 HAS SOUS 219018 HAS SOUPS 219018 WITH SCORE 219327.196
AT ITER 1103 NEW BEST:: SOT 1863160 SOS 309239 HAS SOPS 309239 HAS SOUS 218975 HAS SOUPS 218975 WITH SCORE 219284.239
AT ITER 1140 NEW BEST:: SOT 1862944 SOS 308699 HAS SOPS 308699 HAS SOUS 218750 HAS SOUPS 218750 WITH SCORE 219058.699
AT ITER 1169 NEW BEST:: SOT 1862440 SOS 309194 HAS SOPS 309194 HAS SOUS 218315 HAS SOUPS 218315 WITH SCORE 218624.194
AT ITER 1195 NEW BEST:: SOT 1862304 SOS 308914 HAS SOPS 308914 HAS SOUS 218175 HAS SOUPS 218175 WITH SCORE 218483.914
AT ITER 1241 NEW BEST:: SOT 1862258 SOS 308718 HAS SOPS 308718 HAS SOUS 218099 HAS SOUPS 218099 WITH SCORE 218407.718
AT ITER 1263 NEW BEST:: SOT 1862196 SOS 309784 HAS SOPS 309784 HAS SOUS 217967 HAS SOUPS 217967 WITH SCORE 218276.784
AT ITER 1286 NEW BEST:: SOT 1862189 SOS 309775 HAS SOPS 309775 HAS SOUS 217960 HAS SOUPS 217960 WITH SCORE 218269.775
AT ITER 1310 NEW BEST:: SOT 1861975 SOS 309431 HAS SOPS 309431 HAS SOUS 217684 HAS SOUPS 217684 WITH SCORE 217993.431
AT ITER 1316 NEW BEST:: SOT 1861925 SOS 309356 HAS SOPS 309356 HAS SOUS 217605 HAS SOUPS 217605 WITH SCORE 217914.356
AT ITER 1333 NEW BEST:: SOT 1861925 SOS 309296 HAS SOPS 309296 HAS SOUS 217603 HAS SOUPS 217603 WITH SCORE 217912.296
AT ITER 1336 NEW BEST:: SOT 1861886 SOS 309257 HAS SOPS 309257 HAS SOUS 217570 HAS SOUPS 217570 WITH SCORE 217879.257
AT ITER 1373 NEW BEST:: SOT 1862082 SOS 310544 HAS SOPS 310544 HAS SOUS 217441 HAS SOUPS 217441 WITH SCORE 217751.544
AT ITER 1386 NEW BEST:: SOT 1861937 SOS 310459 HAS SOPS 310459 HAS SOUS 217384 HAS SOUPS 217384 WITH SCORE 217694.459
AT ITER 1392 NEW BEST:: SOT 1861903 SOS 310455 HAS SOPS 310455 HAS SOUS 217352 HAS SOUPS 217352 WITH SCORE 217662.455
AT ITER 1428 NEW BEST:: SOT 1861822 SOS 310036 HAS SOPS 310036 HAS SOUS 217166 HAS SOUPS 217166 WITH SCORE 217476.036
AT ITER 1431 NEW BEST:: SOT 1861790 SOS 309868 HAS SOPS 309868 HAS SOUS 217035 HAS SOUPS 217035 WITH SCORE 217344.868
AT ITER 1437 NEW BEST:: SOT 1861440 SOS 309430 HAS SOPS 309430 HAS SOUS 216616 HAS SOUPS 216616 WITH SCORE 216925.43
AT ITER 1457 NEW BEST:: SOT 1861316 SOS 309249 HAS SOPS 309249 HAS SOUS 216312 HAS SOUPS 216312 WITH SCORE 216621.249
AT ITER 1472 NEW BEST:: SOT 1861259 SOS 309219 HAS SOPS 309219 HAS SOUS 216219 HAS SOUPS 216219 WITH SCORE 216528.219
AT ITER 1474 NEW BEST:: SOT 1861132 SOS 309181 HAS SOPS 309181 HAS SOUS 216092 HAS SOUPS 216092 WITH SCORE 216401.181
AT ITER 1515 NEW BEST:: SOT 1861128 SOS 309142 HAS SOPS 309142 HAS SOUS 216036 HAS SOUPS 216036 WITH SCORE 216345.142
AT ITER 1528 NEW BEST:: SOT 1860971 SOS 308828 HAS SOPS 308828 HAS SOUS 215879 HAS SOUPS 215879 WITH SCORE 216187.828
AT ITER 1538 NEW BEST:: SOT 1860942 SOS 308827 HAS SOPS 308827 HAS SOUS 215850 HAS SOUPS 215850 WITH SCORE 216158.827
AT ITER 1595 NEW BEST:: SOT 1860410 SOS 308629 HAS SOPS 308629 HAS SOUS 215494 HAS SOUPS 215494 WITH SCORE 215802.629
AT ITER 1613 NEW BEST:: SOT 1860271 SOS 308084 HAS SOPS 308084 HAS SOUS 215416 HAS SOUPS 215416 WITH SCORE 215724.084
AT ITER 1640 NEW BEST:: SOT 1860197 SOS 308029 HAS SOPS 308029 HAS SOUS 215342 HAS SOUPS 215342 WITH SCORE 215650.029
AT ITER 1675 NEW BEST:: SOT 1860107 SOS 307807 HAS SOPS 307807 HAS SOUS 215313 HAS SOUPS 215313 WITH SCORE 215620.807
AT ITER 1680 NEW BEST:: SOT 1860260 SOS 307899 HAS SOPS 307899 HAS SOUS 215272 HAS SOUPS 215272 WITH SCORE 215579.899
AT ITER 1715 NEW BEST:: SOT 1860080 SOS 308105 HAS SOPS 308105 HAS SOUS 215193 HAS SOUPS 215193 WITH SCORE 215501.105
AT ITER 1739 NEW BEST:: SOT 1860009 SOS 308048 HAS SOPS 308048 HAS SOUS 215122 HAS SOUPS 215122 WITH SCORE 215430.048
AT ITER 1751 NEW BEST:: SOT 1860008 SOS 308045 HAS SOPS 308045 HAS SOUS 215119 HAS SOUPS 215119 WITH SCORE 215427.045
AT ITER 1759 NEW BEST:: SOT 1859756 SOS 307912 HAS SOPS 307912 HAS SOUS 214867 HAS SOUPS 214867 WITH SCORE 215174.912
AT ITER 1762 NEW BEST:: SOT 1859626 SOS 307850 HAS SOPS 307850 HAS SOUS 214737 HAS SOUPS 214737 WITH SCORE 215044.85
AT ITER 1766 NEW BEST:: SOT 1859626 SOS 307897 HAS SOPS 307897 HAS SOUS 214643 HAS SOUPS 214643 WITH SCORE 214950.897
AT ITER 1777 NEW BEST:: SOT 1859626 SOS 308021 HAS SOPS 308021 HAS SOUS 214588 HAS SOUPS 214588 WITH SCORE 214896.021
AT ITER 1802 NEW BEST:: SOT 1859596 SOS 307946 HAS SOPS 307946 HAS SOUS 214528 HAS SOUPS 214528 WITH SCORE 214835.946
AT ITER 1825 NEW BEST:: SOT 1859596 SOS 307933 HAS SOPS 307933 HAS SOUS 214528 HAS SOUPS 214528 WITH SCORE 214835.933
AT ITER 1830 NEW BEST:: SOT 1859501 SOS 308092 HAS SOPS 308092 HAS SOUS 214395 HAS SOUPS 214395 WITH SCORE 214703.092
AT ITER 1848 NEW BEST:: SOT 1859386 SOS 308092 HAS SOPS 308092 HAS SOUS 214236 HAS SOUPS 214236 WITH SCORE 214544.092
AT ITER 1924 NEW BEST:: SOT 1859322 SOS 308160 HAS SOPS 308160 HAS SOUS 214194 HAS SOUPS 214194 WITH SCORE 214502.16
AT ITER 1933 NEW BEST:: SOT 1859310 SOS 308136 HAS SOPS 308136 HAS SOUS 214170 HAS SOUPS 214170 WITH SCORE 214478.136
AT ITER 1949 NEW BEST:: SOT 1859301 SOS 308118 HAS SOPS 308118 HAS SOUS 214134 HAS SOUPS 214134 WITH SCORE 214442.118
AT ITER 1950 NEW BEST:: SOT 1859272 SOS 307986 HAS SOPS 307986 HAS SOUS 214118 HAS SOUPS 214118 WITH SCORE 214425.986
AT ITER 1955 NEW BEST:: SOT 1859086 SOS 307870 HAS SOPS 307870 HAS SOUS 213828 HAS SOUPS 213828 WITH SCORE 214135.87
AT ITER 1978 NEW BEST:: SOT 1859035 SOS 307666 HAS SOPS 307666 HAS SOUS 213726 HAS SOUPS 213726 WITH SCORE 214033.666
AT ITER 1988 NEW BEST:: SOT 1858969 SOS 307622 HAS SOPS 307622 HAS SOUS 213681 HAS SOUPS 213681 WITH SCORE 213988.622
AT ITER 2041 NEW BEST:: SOT 1858969 SOS 307640 HAS SOPS 307640 HAS SOUS 213672 HAS SOUPS 213672 WITH SCORE 213979.64
AT ITER 2053 NEW BEST:: SOT 1858969 SOS 307592 HAS SOPS 307592 HAS SOUS 213568 HAS SOUPS 213568 WITH SCORE 213875.592
AT ITER 2065 NEW BEST:: SOT 1858969 SOS 307646 HAS SOPS 307646 HAS SOUS 213547 HAS SOUPS 213547 WITH SCORE 213854.646
AT ITER 2098 NEW BEST:: SOT 1858891 SOS 307626 HAS SOPS 307626 HAS SOUS 213497 HAS SOUPS 213497 WITH SCORE 213804.626
AT ITER 2101 NEW BEST:: SOT 1858974 SOS 307658 HAS SOPS 307658 HAS SOUS 213480 HAS SOUPS 213480 WITH SCORE 213787.658
AT ITER 2102 NEW BEST:: SOT 1858827 SOS 307526 HAS SOPS 307526 HAS SOUS 213333 HAS SOUPS 213333 WITH SCORE 213640.526
AT ITER 2120 NEW BEST:: SOT 1858801 SOS 307663 HAS SOPS 307663 HAS SOUS 213306 HAS SOUPS 213306 WITH SCORE 213613.663
AT ITER 2151 NEW BEST:: SOT 1858728 SOS 307501 HAS SOPS 307501 HAS SOUS 213301 HAS SOUPS 213301 WITH SCORE 213608.501
AT ITER 2182 NEW BEST:: SOT 1858469 SOS 307149 HAS SOPS 307149 HAS SOUS 212997 HAS SOUPS 212997 WITH SCORE 213304.149
AT ITER 2200 NEW BEST:: SOT 1858469 SOS 307149 HAS SOPS 307149 HAS SOUS 212935 HAS SOUPS 212935 WITH SCORE 213242.149
AT ITER 2226 NEW BEST:: SOT 1858863 SOS 307854 HAS SOPS 307854 HAS SOUS 212623 HAS SOUPS 212623 WITH SCORE 212930.854
AT ITER 2227 NEW BEST:: SOT 1858559 SOS 307740 HAS SOPS 307740 HAS SOUS 212319 HAS SOUPS 212319 WITH SCORE 212626.74
AT ITER 2232 NEW BEST:: SOT 1858555 SOS 307712 HAS SOPS 307712 HAS SOUS 212266 HAS SOUPS 212266 WITH SCORE 212573.712
AT ITER 2240 NEW BEST:: SOT 1858489 SOS 307712 HAS SOPS 307712 HAS SOUS 212265 HAS SOUPS 212265 WITH SCORE 212572.712
AT ITER 2249 NEW BEST:: SOT 1858421 SOS 307686 HAS SOPS 307686 HAS SOUS 212197 HAS SOUPS 212197 WITH SCORE 212504.686
AT ITER 2265 NEW BEST:: SOT 1858366 SOS 307710 HAS SOPS 307710 HAS SOUS 212152 HAS SOUPS 212152 WITH SCORE 212459.71
AT ITER 2269 NEW BEST:: SOT 1858345 SOS 307266 HAS SOPS 307266 HAS SOUS 211930 HAS SOUPS 211930 WITH SCORE 212237.266
AT ITER 2274 NEW BEST:: SOT 1858345 SOS 307262 HAS SOPS 307262 HAS SOUS 211915 HAS SOUPS 211915 WITH SCORE 212222.262
AT ITER 2287 NEW BEST:: SOT 1858248 SOS 307234 HAS SOPS 307234 HAS SOUS 211880 HAS SOUPS 211880 WITH SCORE 212187.234
AT ITER 2293 NEW BEST:: SOT 1858087 SOS 306912 HAS SOPS 306912 HAS SOUS 211593 HAS SOUPS 211593 WITH SCORE 211899.912
AT ITER 2307 NEW BEST:: SOT 1857881 SOS 306725 HAS SOPS 306725 HAS SOUS 211338 HAS SOUPS 211338 WITH SCORE 211644.725
AT ITER 2338 NEW BEST:: SOT 1857800 SOS 306563 HAS SOPS 306563 HAS SOUS 211262 HAS SOUPS 211262 WITH SCORE 211568.563
AT ITER 2353 NEW BEST:: SOT 1857727 SOS 306475 HAS SOPS 306475 HAS SOUS 211226 HAS SOUPS 211226 WITH SCORE 211532.475
AT ITER 2389 NEW BEST:: SOT 1857706 SOS 306367 HAS SOPS 306367 HAS SOUS 211178 HAS SOUPS 211178 WITH SCORE 211484.367
AT ITER 2390 NEW BEST:: SOT 1857689 SOS 306231 HAS SOPS 306231 HAS SOUS 211178 HAS SOUPS 211178 WITH SCORE 211484.231
AT ITER 2502 NEW BEST:: SOT 1857122 SOS 306793 HAS SOPS 306793 HAS SOUS 210821 HAS SOUPS 210821 WITH SCORE 211127.793
AT ITER 2512 NEW BEST:: SOT 1856984 SOS 306518 HAS SOPS 306518 HAS SOUS 210775 HAS SOUPS 210775 WITH SCORE 211081.518
AT ITER 2529 NEW BEST:: SOT 1856863 SOS 306276 HAS SOPS 306276 HAS SOUS 210646 HAS SOUPS 210646 WITH SCORE 210952.276
AT ITER 2558 NEW BEST:: SOT 1856852 SOS 306271 HAS SOPS 306271 HAS SOUS 210607 HAS SOUPS 210607 WITH SCORE 210913.271
AT ITER 2587 NEW BEST:: SOT 1856751 SOS 305885 HAS SOPS 305885 HAS SOUS 210550 HAS SOUPS 210550 WITH SCORE 210855.885
AT ITER 2613 NEW BEST:: SOT 1856655 SOS 305453 HAS SOPS 305453 HAS SOUS 210406 HAS SOUPS 210406 WITH SCORE 210711.453
AT ITER 2641 NEW BEST:: SOT 1856656 SOS 305454 HAS SOPS 305454 HAS SOUS 210405 HAS SOUPS 210405 WITH SCORE 210710.454
AT ITER 2676 NEW BEST:: SOT 1856599 SOS 305397 HAS SOPS 305397 HAS SOUS 210348 HAS SOUPS 210348 WITH SCORE 210653.397
AT ITER 2679 NEW BEST:: SOT 1856469 SOS 305393 HAS SOPS 305393 HAS SOUS 210344 HAS SOUPS 210344 WITH SCORE 210649.393
AT ITER 2692 NEW BEST:: SOT 1856427 SOS 305413 HAS SOPS 305413 HAS SOUS 210343 HAS SOUPS 210343 WITH SCORE 210648.413
AT ITER 2701 NEW BEST:: SOT 1856298 SOS 305227 HAS SOPS 305227 HAS SOUS 210003 HAS SOUPS 210003 WITH SCORE 210308.227
AT ITER 2705 NEW BEST:: SOT 1856132 SOS 303733 HAS SOPS 303733 HAS SOUS 209577 HAS SOUPS 209577 WITH SCORE 209880.733
AT ITER 2728 NEW BEST:: SOT 1856099 SOS 303689 HAS SOPS 303689 HAS SOUS 209566 HAS SOUPS 209566 WITH SCORE 209869.689
AT ITER 2814 NEW BEST:: SOT 1855891 SOS 303583 HAS SOPS 303583 HAS SOUS 209498 HAS SOUPS 209498 WITH SCORE 209801.583
AT ITER 2835 NEW BEST:: SOT 1855763 SOS 302965 HAS SOPS 302965 HAS SOUS 209218 HAS SOUPS 209218 WITH SCORE 209520.965
AT ITER 2861 NEW BEST:: SOT 1855764 SOS 302954 HAS SOPS 302954 HAS SOUS 209137 HAS SOUPS 209137 WITH SCORE 209439.954
AT ITER 2879 NEW BEST:: SOT 1855764 SOS 302954 HAS SOPS 302954 HAS SOUS 209135 HAS SOUPS 209135 WITH SCORE 209437.954
AT ITER 2892 NEW BEST:: SOT 1855763 SOS 302952 HAS SOPS 302952 HAS SOUS 209134 HAS SOUPS 209134 WITH SCORE 209436.952
AT ITER 2900 NEW BEST:: SOT 1855712 SOS 302909 HAS SOPS 302909 HAS SOUS 209083 HAS SOUPS 209083 WITH SCORE 209385.909
AT ITER 2912 NEW BEST:: SOT 1855670 SOS 302831 HAS SOPS 302831 HAS SOUS 209005 HAS SOUPS 209005 WITH SCORE 209307.831
AT ITER 2933 NEW BEST:: SOT 1855743 SOS 303057 HAS SOPS 303057 HAS SOUS 208975 HAS SOUPS 208975 WITH SCORE 209278.057
AT ITER 2937 NEW BEST:: SOT 1855674 SOS 302988 HAS SOPS 302988 HAS SOUS 208768 HAS SOUPS 208768 WITH SCORE 209070.988
AT ITER 2956 NEW BEST:: SOT 1855675 SOS 302990 HAS SOPS 302990 HAS SOUS 208749 HAS SOUPS 208749 WITH SCORE 209051.99
AT ITER 2969 NEW BEST:: SOT 1855675 SOS 302989 HAS SOPS 302989 HAS SOUS 208749 HAS SOUPS 208749 WITH SCORE 209051.989
AT ITER 2979 NEW BEST:: SOT 1855562 SOS 302939 HAS SOPS 302939 HAS SOUS 208699 HAS SOUPS 208699 WITH SCORE 209001.939
AT ITER 2984 NEW BEST:: SOT 1855561 SOS 302829 HAS SOPS 302829 HAS SOUS 208698 HAS SOUPS 208698 WITH SCORE 209000.829
AT ITER 3000 NEW BEST:: SOT 1854825 SOS 302001 HAS SOPS 302001 HAS SOUS 207870 HAS SOUPS 207870 WITH SCORE 208172.001
AT ITER 3006 NEW BEST:: SOT 1854796 SOS 302091 HAS SOPS 302091 HAS SOUS 207854 HAS SOUPS 207854 WITH SCORE 208156.091
AT ITER 3011 NEW BEST:: SOT 1854638 SOS 302043 HAS SOPS 302043 HAS SOUS 207696 HAS SOUPS 207696 WITH SCORE 207998.043
AT ITER 3050 NEW BEST:: SOT 1854620 SOS 302065 HAS SOPS 302065 HAS SOUS 207678 HAS SOUPS 207678 WITH SCORE 207980.065
AT ITER 3051 NEW BEST:: SOT 1854656 SOS 302050 HAS SOPS 302050 HAS SOUS 207663 HAS SOUPS 207663 WITH SCORE 207965.05
AT ITER 3060 NEW BEST:: SOT 1854656 SOS 302090 HAS SOPS 302090 HAS SOUS 207643 HAS SOUPS 207643 WITH SCORE 207945.09
AT ITER 3080 NEW BEST:: SOT 1854621 SOS 302025 HAS SOPS 302025 HAS SOUS 207578 HAS SOUPS 207578 WITH SCORE 207880.025
AT ITER 3088 NEW BEST:: SOT 1854585 SOS 301941 HAS SOPS 301941 HAS SOUS 207530 HAS SOUPS 207530 WITH SCORE 207831.941
AT ITER 3112 NEW BEST:: SOT 1854449 SOS 301865 HAS SOPS 301865 HAS SOUS 207492 HAS SOUPS 207492 WITH SCORE 207793.865
AT ITER 3196 NEW BEST:: SOT 1854591 SOS 301771 HAS SOPS 301771 HAS SOUS 207398 HAS SOUPS 207398 WITH SCORE 207699.771
AT ITER 3203 NEW BEST:: SOT 1854591 SOS 301762 HAS SOPS 301762 HAS SOUS 207389 HAS SOUPS 207389 WITH SCORE 207690.762
AT ITER 3229 NEW BEST:: SOT 1854502 SOS 301833 HAS SOPS 301833 HAS SOUS 207385 HAS SOUPS 207385 WITH SCORE 207686.833
AT ITER 3235 NEW BEST:: SOT 1853978 SOS 301353 HAS SOPS 301353 HAS SOUS 206941 HAS SOUPS 206941 WITH SCORE 207242.353
AT ITER 3256 NEW BEST:: SOT 1853974 SOS 300899 HAS SOPS 300899 HAS SOUS 206849 HAS SOUPS 206849 WITH SCORE 207149.899
AT ITER 3293 NEW BEST:: SOT 1853974 SOS 300794 HAS SOPS 300794 HAS SOUS 206814 HAS SOUPS 206814 WITH SCORE 207114.794
AT ITER 3302 NEW BEST:: SOT 1853800 SOS 300692 HAS SOPS 300692 HAS SOUS 206712 HAS SOUPS 206712 WITH SCORE 207012.692
AT ITER 3305 NEW BEST:: SOT 1853700 SOS 300592 HAS SOPS 300592 HAS SOUS 206706 HAS SOUPS 206706 WITH SCORE 207006.592
AT ITER 3351 NEW BEST:: SOT 1853678 SOS 300594 HAS SOPS 300594 HAS SOUS 206666 HAS SOUPS 206666 WITH SCORE 206966.594
AT ITER 3391 NEW BEST:: SOT 1853673 SOS 300578 HAS SOPS 300578 HAS SOUS 206639 HAS SOUPS 206639 WITH SCORE 206939.578
AT ITER 3401 NEW BEST:: SOT 1853669 SOS 300574 HAS SOPS 300574 HAS SOUS 206635 HAS SOUPS 206635 WITH SCORE 206935.574
AT ITER 3437 NEW BEST:: SOT 1853616 SOS 300521 HAS SOPS 300521 HAS SOUS 206635 HAS SOUPS 206635 WITH SCORE 206935.521
AT ITER 3446 NEW BEST:: SOT 1853531 SOS 300408 HAS SOPS 300408 HAS SOUS 206593 HAS SOUPS 206593 WITH SCORE 206893.408
AT ITER 3460 NEW BEST:: SOT 1853548 SOS 300422 HAS SOPS 300422 HAS SOUS 206590 HAS SOUPS 206590 WITH SCORE 206890.422
AT ITER 3516 NEW BEST:: SOT 1853503 SOS 300388 HAS SOPS 300388 HAS SOUS 206556 HAS SOUPS 206556 WITH SCORE 206856.388
AT ITER 3537 NEW BEST:: SOT 1853502 SOS 300371 HAS SOPS 300371 HAS SOUS 206521 HAS SOUPS 206521 WITH SCORE 206821.371
AT ITER 3563 NEW BEST:: SOT 1853422 SOS 300211 HAS SOPS 300211 HAS SOUS 206373 HAS SOUPS 206373 WITH SCORE 206673.211
AT ITER 3567 NEW BEST:: SOT 1852394 SOS 302209 HAS SOPS 302209 HAS SOUS 205699 HAS SOUPS 205699 WITH SCORE 206001.209
AT ITER 3594 NEW BEST:: SOT 1852384 SOS 302179 HAS SOPS 302179 HAS SOUS 205679 HAS SOUPS 205679 WITH SCORE 205981.179
AT ITER 3631 NEW BEST:: SOT 1852358 SOS 302127 HAS SOPS 302127 HAS SOUS 205653 HAS SOUPS 205653 WITH SCORE 205955.127
AT ITER 3641 NEW BEST:: SOT 1852252 SOS 302084 HAS SOPS 302084 HAS SOUS 205577 HAS SOUPS 205577 WITH SCORE 205879.084
AT ITER 3662 NEW BEST:: SOT 1852215 SOS 302010 HAS SOPS 302010 HAS SOUS 205540 HAS SOUPS 205540 WITH SCORE 205842.01
AT ITER 3736 NEW BEST:: SOT 1851384 SOS 302015 HAS SOPS 302015 HAS SOUS 205063 HAS SOUPS 205063 WITH SCORE 205365.015
AT ITER 3779 NEW BEST:: SOT 1851326 SOS 301957 HAS SOPS 301957 HAS SOUS 205005 HAS SOUPS 205005 WITH SCORE 205306.957
AT ITER 3788 NEW BEST:: SOT 1851289 SOS 301969 HAS SOPS 301969 HAS SOUS 204980 HAS SOUPS 204980 WITH SCORE 205281.969
AT ITER 3827 NEW BEST:: SOT 1851289 SOS 301968 HAS SOPS 301968 HAS SOUS 204978 HAS SOUPS 204978 WITH SCORE 205279.968
AT ITER 3835 NEW BEST:: SOT 1851241 SOS 301966 HAS SOPS 301966 HAS SOUS 204946 HAS SOUPS 204946 WITH SCORE 205247.966
AT ITER 3838 NEW BEST:: SOT 1851237 SOS 301958 HAS SOPS 301958 HAS SOUS 204938 HAS SOUPS 204938 WITH SCORE 205239.958
AT ITER 3844 NEW BEST:: SOT 1851179 SOS 301900 HAS SOPS 301900 HAS SOUS 204880 HAS SOUPS 204880 WITH SCORE 205181.9
AT ITER 3866 NEW BEST:: SOT 1851047 SOS 301835 HAS SOPS 301835 HAS SOUS 204815 HAS SOUPS 204815 WITH SCORE 205116.835
AT ITER 3882 NEW BEST:: SOT 1850966 SOS 301754 HAS SOPS 301754 HAS SOUS 204734 HAS SOUPS 204734 WITH SCORE 205035.754
AT ITER 3899 NEW BEST:: SOT 1850863 SOS 301643 HAS SOPS 301643 HAS SOUS 204631 HAS SOUPS 204631 WITH SCORE 204932.643
AT ITER 3900 NEW BEST:: SOT 1850665 SOS 301445 HAS SOPS 301445 HAS SOUS 204631 HAS SOUPS 204631 WITH SCORE 204932.445
AT ITER 3913 NEW BEST:: SOT 1850747 SOS 301687 HAS SOPS 301687 HAS SOUS 204586 HAS SOUPS 204586 WITH SCORE 204887.687
AT ITER 3963 NEW BEST:: SOT 1850125 SOS 301288 HAS SOPS 301288 HAS SOUS 204391 HAS SOUPS 204391 WITH SCORE 204692.288
AT ITER 3969 NEW BEST:: SOT 1850125 SOS 301289 HAS SOPS 301289 HAS SOUS 204390 HAS SOUPS 204390 WITH SCORE 204691.289
AT ITER 3971 NEW BEST:: SOT 1850083 SOS 301313 HAS SOPS 301313 HAS SOUS 204348 HAS SOUPS 204348 WITH SCORE 204649.313
AT ITER 4005 NEW BEST:: SOT 1850023 SOS 301253 HAS SOPS 301253 HAS SOUS 204288 HAS SOUPS 204288 WITH SCORE 204589.253
AT ITER 4025 NEW BEST:: SOT 1849850 SOS 301138 HAS SOPS 301138 HAS SOUS 204146 HAS SOUPS 204146 WITH SCORE 204447.138
AT ITER 4028 NEW BEST:: SOT 1849850 SOS 301280 HAS SOPS 301280 HAS SOUS 203956 HAS SOUPS 203956 WITH SCORE 204257.28
AT ITER 4060 NEW BEST:: SOT 1849681 SOS 301335 HAS SOPS 301335 HAS SOUS 203808 HAS SOUPS 203808 WITH SCORE 204109.335
AT ITER 4067 NEW BEST:: SOT 1849702 SOS 301361 HAS SOPS 301361 HAS SOUS 203769 HAS SOUPS 203769 WITH SCORE 204070.361
AT ITER 4075 NEW BEST:: SOT 1849707 SOS 301360 HAS SOPS 301360 HAS SOUS 203762 HAS SOUPS 203762 WITH SCORE 204063.36
AT ITER 4079 NEW BEST:: SOT 1849365 SOS 301415 HAS SOPS 301415 HAS SOUS 203476 HAS SOUPS 203476 WITH SCORE 203777.415
AT ITER 4101 NEW BEST:: SOT 1848813 SOS 300629 HAS SOPS 300629 HAS SOUS 203311 HAS SOUPS 203311 WITH SCORE 203611.629
AT ITER 4115 NEW BEST:: SOT 1848813 SOS 300286 HAS SOPS 300286 HAS SOUS 203196 HAS SOUPS 203196 WITH SCORE 203496.286
AT ITER 4125 NEW BEST:: SOT 1848770 SOS 300153 HAS SOPS 300153 HAS SOUS 203108 HAS SOUPS 203108 WITH SCORE 203408.153
AT ITER 4132 NEW BEST:: SOT 1848586 SOS 300607 HAS SOPS 300607 HAS SOUS 203034 HAS SOUPS 203034 WITH SCORE 203334.607
AT ITER 4158 NEW BEST:: SOT 1848195 SOS 300247 HAS SOPS 300247 HAS SOUS 202667 HAS SOUPS 202667 WITH SCORE 202967.247
AT ITER 4176 NEW BEST:: SOT 1848145 SOS 300147 HAS SOPS 300147 HAS SOUS 202592 HAS SOUPS 202592 WITH SCORE 202892.147
AT ITER 4380 NEW BEST:: SOT 1848137 SOS 300518 HAS SOPS 300518 HAS SOUS 202500 HAS SOUPS 202500 WITH SCORE 202800.518
AT ITER 4383 NEW BEST:: SOT 1848131 SOS 300506 HAS SOPS 300506 HAS SOUS 202424 HAS SOUPS 202424 WITH SCORE 202724.506
AT ITER 4407 NEW BEST:: SOT 1847641 SOS 301103 HAS SOPS 301103 HAS SOUS 202106 HAS SOUPS 202106 WITH SCORE 202407.103
AT ITER 4414 NEW BEST:: SOT 1847641 SOS 301099 HAS SOPS 301099 HAS SOUS 202102 HAS SOUPS 202102 WITH SCORE 202403.099
AT ITER 4460 NEW BEST:: SOT 1847636 SOS 300969 HAS SOPS 300969 HAS SOUS 202092 HAS SOUPS 202092 WITH SCORE 202392.969
AT ITER 4483 NEW BEST:: SOT 1847607 SOS 300973 HAS SOPS 300973 HAS SOUS 202034 HAS SOUPS 202034 WITH SCORE 202334.973
AT ITER 4530 NEW BEST:: SOT 1847607 SOS 300973 HAS SOPS 300973 HAS SOUS 201950 HAS SOUPS 201950 WITH SCORE 202250.973
AT ITER 4534 NEW BEST:: SOT 1847556 SOS 300905 HAS SOPS 300905 HAS SOUS 201874 HAS SOUPS 201874 WITH SCORE 202174.905
AT ITER 4537 NEW BEST:: SOT 1847514 SOS 300821 HAS SOPS 300821 HAS SOUS 201866 HAS SOUPS 201866 WITH SCORE 202166.821
AT ITER 4553 NEW BEST:: SOT 1847511 SOS 300818 HAS SOPS 300818 HAS SOUS 201863 HAS SOUPS 201863 WITH SCORE 202163.818
AT ITER 4555 NEW BEST:: SOT 1846683 SOS 301370 HAS SOPS 301370 HAS SOUS 201689 HAS SOUPS 201689 WITH SCORE 201990.37
AT ITER 4586 NEW BEST:: SOT 1846666 SOS 301353 HAS SOPS 301353 HAS SOUS 201638 HAS SOUPS 201638 WITH SCORE 201939.353
AT ITER 4664 NEW BEST:: SOT 1846642 SOS 301173 HAS SOPS 301173 HAS SOUS 201613 HAS SOUPS 201613 WITH SCORE 201914.173
AT ITER 4685 NEW BEST:: SOT 1846635 SOS 301145 HAS SOPS 301145 HAS SOUS 201613 HAS SOUPS 201613 WITH SCORE 201914.145
AT ITER 4742 NEW BEST:: SOT 1846625 SOS 302905 HAS SOPS 302905 HAS SOUS 201601 HAS SOUPS 201601 WITH SCORE 201903.905
AT ITER 4757 NEW BEST:: SOT 1846538 SOS 302387 HAS SOPS 302387 HAS SOUS 201180 HAS SOUPS 201180 WITH SCORE 201482.387
AT ITER 4799 NEW BEST:: SOT 1846416 SOS 302202 HAS SOPS 302202 HAS SOUS 201106 HAS SOUPS 201106 WITH SCORE 201408.202
AT ITER 4868 NEW BEST:: SOT 1846323 SOS 301578 HAS SOPS 301578 HAS SOUS 200986 HAS SOUPS 200986 WITH SCORE 201287.578
AT ITER 4869 NEW BEST:: SOT 1846036 SOS 301751 HAS SOPS 301751 HAS SOUS 200856 HAS SOUPS 200856 WITH SCORE 201157.751
AT ITER 4883 NEW BEST:: SOT 1845980 SOS 301695 HAS SOPS 301695 HAS SOUS 200800 HAS SOUPS 200800 WITH SCORE 201101.695
AT ITER 4894 NEW BEST:: SOT 1845928 SOS 301544 HAS SOPS 301544 HAS SOUS 200686 HAS SOUPS 200686 WITH SCORE 200987.544
AT ITER 4905 NEW BEST:: SOT 1845928 SOS 301544 HAS SOPS 301544 HAS SOUS 200680 HAS SOUPS 200680 WITH SCORE 200981.544
AT ITER 4910 NEW BEST:: SOT 1845915 SOS 301531 HAS SOPS 301531 HAS SOUS 200667 HAS SOUPS 200667 WITH SCORE 200968.531
AT ITER 4935 NEW BEST:: SOT 1845888 SOS 301553 HAS SOPS 301553 HAS SOUS 200497 HAS SOUPS 200497 WITH SCORE 200798.553
AT ITER 4972 NEW BEST:: SOT 1845831 SOS 301496 HAS SOPS 301496 HAS SOUS 200440 HAS SOUPS 200440 WITH SCORE 200741.496
AT ITER 4974 NEW BEST:: SOT 1845300 SOS 301234 HAS SOPS 301234 HAS SOUS 199909 HAS SOUPS 199909 WITH SCORE 200210.234
AT ITER 5021 NEW BEST:: SOT 1845224 SOS 301136 HAS SOPS 301136 HAS SOUS 199832 HAS SOUPS 199832 WITH SCORE 200133.136
AT ITER 5063 NEW BEST:: SOT 1845197 SOS 301073 HAS SOPS 301073 HAS SOUS 199805 HAS SOUPS 199805 WITH SCORE 200106.073
AT ITER 5073 NEW BEST:: SOT 1845107 SOS 301368 HAS SOPS 301368 HAS SOUS 199711 HAS SOUPS 199711 WITH SCORE 200012.368
AT ITER 5079 NEW BEST:: SOT 1845124 SOS 301385 HAS SOPS 301385 HAS SOUS 199698 HAS SOUPS 199698 WITH SCORE 199999.385
AT ITER 5116 NEW BEST:: SOT 1845001 SOS 301227 HAS SOPS 301227 HAS SOUS 199579 HAS SOUPS 199579 WITH SCORE 199880.227
AT ITER 5132 NEW BEST:: SOT 1844995 SOS 301191 HAS SOPS 301191 HAS SOUS 199573 HAS SOUPS 199573 WITH SCORE 199874.191
AT ITER 5156 NEW BEST:: SOT 1844839 SOS 300913 HAS SOPS 300913 HAS SOUS 199488 HAS SOUPS 199488 WITH SCORE 199788.913
AT ITER 5168 NEW BEST:: SOT 1844823 SOS 300881 HAS SOPS 300881 HAS SOUS 199472 HAS SOUPS 199472 WITH SCORE 199772.881
AT ITER 5194 NEW BEST:: SOT 1844715 SOS 300629 HAS SOPS 300629 HAS SOUS 199220 HAS SOUPS 199220 WITH SCORE 199520.629
AT ITER 5195 NEW BEST:: SOT 1844715 SOS 300577 HAS SOPS 300577 HAS SOUS 199168 HAS SOUPS 199168 WITH SCORE 199468.577
AT ITER 5198 NEW BEST:: SOT 1844708 SOS 300563 HAS SOPS 300563 HAS SOUS 199055 HAS SOUPS 199055 WITH SCORE 199355.563
AT ITER 5204 NEW BEST:: SOT 1844644 SOS 300115 HAS SOPS 300115 HAS SOUS 198927 HAS SOUPS 198927 WITH SCORE 199227.115
AT ITER 5213 NEW BEST:: SOT 1844644 SOS 300072 HAS SOPS 300072 HAS SOUS 198924 HAS SOUPS 198924 WITH SCORE 199224.072
AT ITER 5270 NEW BEST:: SOT 1844124 SOS 299877 HAS SOPS 299877 HAS SOUS 198400 HAS SOUPS 198400 WITH SCORE 198699.877
AT ITER 5285 NEW BEST:: SOT 1844010 SOS 299839 HAS SOPS 299839 HAS SOUS 198315 HAS SOUPS 198315 WITH SCORE 198614.839
AT ITER 5297 NEW BEST:: SOT 1844010 SOS 299832 HAS SOPS 299832 HAS SOUS 198301 HAS SOUPS 198301 WITH SCORE 198600.832
AT ITER 5300 NEW BEST:: SOT 1844004 SOS 299814 HAS SOPS 299814 HAS SOUS 198295 HAS SOUPS 198295 WITH SCORE 198594.814
AT ITER 5314 NEW BEST:: SOT 1843999 SOS 299754 HAS SOPS 299754 HAS SOUS 198246 HAS SOUPS 198246 WITH SCORE 198545.754
AT ITER 5419 NEW BEST:: SOT 1843995 SOS 299746 HAS SOPS 299746 HAS SOUS 198238 HAS SOUPS 198238 WITH SCORE 198537.746
AT ITER 5434 NEW BEST:: SOT 1843859 SOS 299610 HAS SOPS 299610 HAS SOUS 198102 HAS SOUPS 198102 WITH SCORE 198401.61
AT ITER 5445 NEW BEST:: SOT 1843850 SOS 299610 HAS SOPS 299610 HAS SOUS 198093 HAS SOUPS 198093 WITH SCORE 198392.61
AT ITER 5470 NEW BEST:: SOT 1843741 SOS 299305 HAS SOPS 299305 HAS SOUS 198013 HAS SOUPS 198013 WITH SCORE 198312.305
AT ITER 5476 NEW BEST:: SOT 1843721 SOS 299265 HAS SOPS 299265 HAS SOUS 197993 HAS SOUPS 197993 WITH SCORE 198292.265
AT ITER 5487 NEW BEST:: SOT 1843721 SOS 299271 HAS SOPS 299271 HAS SOUS 197987 HAS SOUPS 197987 WITH SCORE 198286.271
AT ITER 5497 NEW BEST:: SOT 1843782 SOS 299332 HAS SOPS 299332 HAS SOUS 197980 HAS SOUPS 197980 WITH SCORE 198279.332
AT ITER 5527 NEW BEST:: SOT 1843730 SOS 299415 HAS SOPS 299415 HAS SOUS 197928 HAS SOUPS 197928 WITH SCORE 198227.415
AT ITER 5538 NEW BEST:: SOT 1843553 SOS 299061 HAS SOPS 299061 HAS SOUS 197661 HAS SOUPS 197661 WITH SCORE 197960.061
AT ITER 5650 NEW BEST:: SOT 1843517 SOS 299025 HAS SOPS 299025 HAS SOUS 197625 HAS SOUPS 197625 WITH SCORE 197924.025
AT ITER 5670 NEW BEST:: SOT 1843753 SOS 299189 HAS SOPS 299189 HAS SOUS 197607 HAS SOUPS 197607 WITH SCORE 197906.189
AT ITER 5682 NEW BEST:: SOT 1843750 SOS 299172 HAS SOPS 299172 HAS SOUS 197604 HAS SOUPS 197604 WITH SCORE 197903.172
AT ITER 5698 NEW BEST:: SOT 1843723 SOS 300021 HAS SOPS 300021 HAS SOUS 197556 HAS SOUPS 197556 WITH SCORE 197856.021
AT ITER 5700 NEW BEST:: SOT 1843534 SOS 299940 HAS SOPS 299940 HAS SOUS 197420 HAS SOUPS 197420 WITH SCORE 197719.94
AT ITER 5712 NEW BEST:: SOT 1843507 SOS 299875 HAS SOPS 299875 HAS SOUS 197404 HAS SOUPS 197404 WITH SCORE 197703.875
AT ITER 5739 NEW BEST:: SOT 1843336 SOS 299105 HAS SOPS 299105 HAS SOUS 197333 HAS SOUPS 197333 WITH SCORE 197632.105
AT ITER 5740 NEW BEST:: SOT 1843261 SOS 299063 HAS SOPS 299063 HAS SOUS 197315 HAS SOUPS 197315 WITH SCORE 197614.063
AT ITER 5774 NEW BEST:: SOT 1843320 SOS 299159 HAS SOPS 299159 HAS SOUS 197312 HAS SOUPS 197312 WITH SCORE 197611.159
AT ITER 5776 NEW BEST:: SOT 1843306 SOS 299145 HAS SOPS 299145 HAS SOUS 197298 HAS SOUPS 197298 WITH SCORE 197597.145
AT ITER 5777 NEW BEST:: SOT 1843156 SOS 299131 HAS SOPS 299131 HAS SOUS 197192 HAS SOUPS 197192 WITH SCORE 197491.131
AT ITER 5807 NEW BEST:: SOT 1843232 SOS 298936 HAS SOPS 298936 HAS SOUS 197132 HAS SOUPS 197132 WITH SCORE 197430.936
AT ITER 5870 NEW BEST:: SOT 1843047 SOS 298751 HAS SOPS 298751 HAS SOUS 196947 HAS SOUPS 196947 WITH SCORE 197245.751
AT ITER 5875 NEW BEST:: SOT 1843005 SOS 300032 HAS SOPS 300032 HAS SOUS 196784 HAS SOUPS 196784 WITH SCORE 197084.032
AT ITER 5931 NEW BEST:: SOT 1843006 SOS 300089 HAS SOPS 300089 HAS SOUS 196773 HAS SOUPS 196773 WITH SCORE 197073.089
AT ITER 5982 NEW BEST:: SOT 1842574 SOS 299746 HAS SOPS 299746 HAS SOUS 196428 HAS SOUPS 196428 WITH SCORE 196727.746
AT ITER 5990 NEW BEST:: SOT 1842593 SOS 299727 HAS SOPS 299727 HAS SOUS 196428 HAS SOUPS 196428 WITH SCORE 196727.727
AT ITER 6016 NEW BEST:: SOT 1842504 SOS 299716 HAS SOPS 299716 HAS SOUS 196353 HAS SOUPS 196353 WITH SCORE 196652.716
AT ITER 6027 NEW BEST:: SOT 1842396 SOS 299546 HAS SOPS 299546 HAS SOUS 196275 HAS SOUPS 196275 WITH SCORE 196574.546
AT ITER 6045 NEW BEST:: SOT 1842322 SOS 299567 HAS SOPS 299567 HAS SOUS 196240 HAS SOUPS 196240 WITH SCORE 196539.567
AT ITER 6046 NEW BEST:: SOT 1842224 SOS 299524 HAS SOPS 299524 HAS SOUS 196142 HAS SOUPS 196142 WITH SCORE 196441.524
AT ITER 6111 NEW BEST:: SOT 1842132 SOS 299356 HAS SOPS 299356 HAS SOUS 196091 HAS SOUPS 196091 WITH SCORE 196390.356
AT ITER 6167 NEW BEST:: SOT 1842067 SOS 298830 HAS SOPS 298830 HAS SOUS 195852 HAS SOUPS 195852 WITH SCORE 196150.83
AT ITER 6182 NEW BEST:: SOT 1842379 SOS 299142 HAS SOPS 299142 HAS SOUS 195748 HAS SOUPS 195748 WITH SCORE 196047.142
AT ITER 6185 NEW BEST:: SOT 1842047 SOS 299041 HAS SOPS 299041 HAS SOUS 195623 HAS SOUPS 195623 WITH SCORE 195922.041
AT ITER 6188 NEW BEST:: SOT 1841807 SOS 298768 HAS SOPS 298768 HAS SOUS 195338 HAS SOUPS 195338 WITH SCORE 195636.768
AT ITER 6240 NEW BEST:: SOT 1841777 SOS 298673 HAS SOPS 298673 HAS SOUS 195331 HAS SOUPS 195331 WITH SCORE 195629.673
AT ITER 6261 NEW BEST:: SOT 1841777 SOS 298663 HAS SOPS 298663 HAS SOUS 195331 HAS SOUPS 195331 WITH SCORE 195629.663
AT ITER 6270 NEW BEST:: SOT 1841763 SOS 298649 HAS SOPS 298649 HAS SOUS 195317 HAS SOUPS 195317 WITH SCORE 195615.649
AT ITER 6288 NEW BEST:: SOT 1841760 SOS 298640 HAS SOPS 298640 HAS SOUS 195308 HAS SOUPS 195308 WITH SCORE 195606.64
AT ITER 6305 NEW BEST:: SOT 1841760 SOS 298628 HAS SOPS 298628 HAS SOUS 195262 HAS SOUPS 195262 WITH SCORE 195560.628
AT ITER 6388 NEW BEST:: SOT 1841575 SOS 298487 HAS SOPS 298487 HAS SOUS 194925 HAS SOUPS 194925 WITH SCORE 195223.487
AT ITER 6426 NEW BEST:: SOT 1841575 SOS 298443 HAS SOPS 298443 HAS SOUS 194848 HAS SOUPS 194848 WITH SCORE 195146.443
AT ITER 6462 NEW BEST:: SOT 1841560 SOS 298352 HAS SOPS 298352 HAS SOUS 194847 HAS SOUPS 194847 WITH SCORE 195145.352
AT ITER 6470 NEW BEST:: SOT 1841476 SOS 297653 HAS SOPS 297653 HAS SOUS 194767 HAS SOUPS 194767 WITH SCORE 195064.653
AT ITER 6472 NEW BEST:: SOT 1841392 SOS 297527 HAS SOPS 297527 HAS SOUS 194683 HAS SOUPS 194683 WITH SCORE 194980.527
AT ITER 6473 NEW BEST:: SOT 1841339 SOS 297421 HAS SOPS 297421 HAS SOUS 194683 HAS SOUPS 194683 WITH SCORE 194980.421
AT ITER 6495 NEW BEST:: SOT 1841353 SOS 297518 HAS SOPS 297518 HAS SOUS 194583 HAS SOUPS 194583 WITH SCORE 194880.518
AT ITER 6524 NEW BEST:: SOT 1841353 SOS 297518 HAS SOPS 297518 HAS SOUS 194517 HAS SOUPS 194517 WITH SCORE 194814.518
AT ITER 6563 NEW BEST:: SOT 1841332 SOS 297440 HAS SOPS 297440 HAS SOUS 194439 HAS SOUPS 194439 WITH SCORE 194736.44
AT ITER 6587 NEW BEST:: SOT 1841329 SOS 297431 HAS SOPS 297431 HAS SOUS 194433 HAS SOUPS 194433 WITH SCORE 194730.431
AT ITER 6595 NEW BEST:: SOT 1841244 SOS 297293 HAS SOPS 297293 HAS SOUS 194350 HAS SOUPS 194350 WITH SCORE 194647.293
AT ITER 6614 NEW BEST:: SOT 1841182 SOS 297045 HAS SOPS 297045 HAS SOUS 194226 HAS SOUPS 194226 WITH SCORE 194523.045
AT ITER 6627 NEW BEST:: SOT 1841146 SOS 296973 HAS SOPS 296973 HAS SOUS 194154 HAS SOUPS 194154 WITH SCORE 194450.973
AT ITER 6628 NEW BEST:: SOT 1841139 SOS 296969 HAS SOPS 296969 HAS SOUS 194152 HAS SOUPS 194152 WITH SCORE 194448.969
AT ITER 6633 NEW BEST:: SOT 1841139 SOS 296984 HAS SOPS 296984 HAS SOUS 194115 HAS SOUPS 194115 WITH SCORE 194411.984
AT ITER 6638 NEW BEST:: SOT 1840996 SOS 297005 HAS SOPS 297005 HAS SOUS 193952 HAS SOUPS 193952 WITH SCORE 194249.005
AT ITER 6648 NEW BEST:: SOT 1840981 SOS 296990 HAS SOPS 296990 HAS SOUS 193952 HAS SOUPS 193952 WITH SCORE 194248.99
AT ITER 6656 NEW BEST:: SOT 1840980 SOS 296988 HAS SOPS 296988 HAS SOUS 193950 HAS SOUPS 193950 WITH SCORE 194246.988
AT ITER 6679 NEW BEST:: SOT 1840902 SOS 296945 HAS SOPS 296945 HAS SOUS 193872 HAS SOUPS 193872 WITH SCORE 194168.945
AT ITER 6685 NEW BEST:: SOT 1840812 SOS 296865 HAS SOPS 296865 HAS SOUS 193738 HAS SOUPS 193738 WITH SCORE 194034.865
AT ITER 6696 NEW BEST:: SOT 1840788 SOS 296833 HAS SOPS 296833 HAS SOUS 193670 HAS SOUPS 193670 WITH SCORE 193966.833
AT ITER 6703 NEW BEST:: SOT 1840788 SOS 296830 HAS SOPS 296830 HAS SOUS 193670 HAS SOUPS 193670 WITH SCORE 193966.83
AT ITER 6752 NEW BEST:: SOT 1840624 SOS 296498 HAS SOPS 296498 HAS SOUS 193463 HAS SOUPS 193463 WITH SCORE 193759.498
AT ITER 6762 NEW BEST:: SOT 1840591 SOS 296551 HAS SOPS 296551 HAS SOUS 193430 HAS SOUPS 193430 WITH SCORE 193726.551
AT ITER 6775 NEW BEST:: SOT 1840468 SOS 296419 HAS SOPS 296419 HAS SOUS 193288 HAS SOUPS 193288 WITH SCORE 193584.419
AT ITER 6809 NEW BEST:: SOT 1840453 SOS 296374 HAS SOPS 296374 HAS SOUS 193258 HAS SOUPS 193258 WITH SCORE 193554.374
AT ITER 6823 NEW BEST:: SOT 1840447 SOS 296389 HAS SOPS 296389 HAS SOUS 193225 HAS SOUPS 193225 WITH SCORE 193521.389
AT ITER 6858 NEW BEST:: SOT 1840379 SOS 296321 HAS SOPS 296321 HAS SOUS 193157 HAS SOUPS 193157 WITH SCORE 193453.321
AT ITER 6881 NEW BEST:: SOT 1840359 SOS 296283 HAS SOPS 296283 HAS SOUS 193099 HAS SOUPS 193099 WITH SCORE 193395.283
AT ITER 6924 NEW BEST:: SOT 1840007 SOS 296892 HAS SOPS 296892 HAS SOUS 193073 HAS SOUPS 193073 WITH SCORE 193369.892
AT ITER 6961 NEW BEST:: SOT 1839965 SOS 294842 HAS SOPS 294842 HAS SOUS 192965 HAS SOUPS 192965 WITH SCORE 193259.842
AT ITER 6976 NEW BEST:: SOT 1839918 SOS 294727 HAS SOPS 294727 HAS SOUS 192801 HAS SOUPS 192801 WITH SCORE 193095.727
AT ITER 6994 NEW BEST:: SOT 1839918 SOS 294681 HAS SOPS 294681 HAS SOUS 192773 HAS SOUPS 192773 WITH SCORE 193067.681
AT ITER 7015 NEW BEST:: SOT 1839890 SOS 294625 HAS SOPS 294625 HAS SOUS 192734 HAS SOUPS 192734 WITH SCORE 193028.625
AT ITER 7067 NEW BEST:: SOT 1839797 SOS 294859 HAS SOPS 294859 HAS SOUS 192641 HAS SOUPS 192641 WITH SCORE 192935.859
AT ITER 7093 NEW BEST:: SOT 1839700 SOS 294361 HAS SOPS 294361 HAS SOUS 192281 HAS SOUPS 192281 WITH SCORE 192575.361
AT ITER 7145 NEW BEST:: SOT 1839735 SOS 294297 HAS SOPS 294297 HAS SOUS 192217 HAS SOUPS 192217 WITH SCORE 192511.297
AT ITER 7176 NEW BEST:: SOT 1839718 SOS 294354 HAS SOPS 294354 HAS SOUS 192200 HAS SOUPS 192200 WITH SCORE 192494.354
AT ITER 7182 NEW BEST:: SOT 1839710 SOS 294298 HAS SOPS 294298 HAS SOUS 192200 HAS SOUPS 192200 WITH SCORE 192494.298
AT ITER 7191 NEW BEST:: SOT 1839554 SOS 294298 HAS SOPS 294298 HAS SOUS 192089 HAS SOUPS 192089 WITH SCORE 192383.298
AT ITER 7228 NEW BEST:: SOT 1839313 SOS 294185 HAS SOPS 294185 HAS SOUS 191877 HAS SOUPS 191877 WITH SCORE 192171.185
AT ITER 7243 NEW BEST:: SOT 1839313 SOS 294138 HAS SOPS 294138 HAS SOUS 191877 HAS SOUPS 191877 WITH SCORE 192171.138
AT ITER 7263 NEW BEST:: SOT 1839598 SOS 294408 HAS SOPS 294408 HAS SOUS 191727 HAS SOUPS 191727 WITH SCORE 192021.408
AT ITER 7275 NEW BEST:: SOT 1839567 SOS 294154 HAS SOPS 294154 HAS SOUS 191600 HAS SOUPS 191600 WITH SCORE 191894.154
AT ITER 7296 NEW BEST:: SOT 1839555 SOS 294162 HAS SOPS 294162 HAS SOUS 191516 HAS SOUPS 191516 WITH SCORE 191810.162
AT ITER 7304 NEW BEST:: SOT 1839379 SOS 294167 HAS SOPS 294167 HAS SOUS 191419 HAS SOUPS 191419 WITH SCORE 191713.167
AT ITER 7332 NEW BEST:: SOT 1839284 SOS 294072 HAS SOPS 294072 HAS SOUS 191278 HAS SOUPS 191278 WITH SCORE 191572.072
AT ITER 7363 NEW BEST:: SOT 1839198 SOS 293986 HAS SOPS 293986 HAS SOUS 190965 HAS SOUPS 190965 WITH SCORE 191258.986
AT ITER 7377 NEW BEST:: SOT 1839161 SOS 293852 HAS SOPS 293852 HAS SOUS 190866 HAS SOUPS 190866 WITH SCORE 191159.852
AT ITER 7381 NEW BEST:: SOT 1838992 SOS 293407 HAS SOPS 293407 HAS SOUS 190674 HAS SOUPS 190674 WITH SCORE 190967.407
AT ITER 7385 NEW BEST:: SOT 1838887 SOS 293288 HAS SOPS 293288 HAS SOUS 190569 HAS SOUPS 190569 WITH SCORE 190862.288
AT ITER 7422 NEW BEST:: SOT 1838757 SOS 293036 HAS SOPS 293036 HAS SOUS 190309 HAS SOUPS 190309 WITH SCORE 190602.036
AT ITER 7467 NEW BEST:: SOT 1838735 SOS 292992 HAS SOPS 292992 HAS SOUS 190265 HAS SOUPS 190265 WITH SCORE 190557.992
AT ITER 7545 NEW BEST:: SOT 1838734 SOS 293140 HAS SOPS 293140 HAS SOUS 190061 HAS SOUPS 190061 WITH SCORE 190354.14
AT ITER 7555 NEW BEST:: SOT 1838688 SOS 292797 HAS SOPS 292797 HAS SOUS 189982 HAS SOUPS 189982 WITH SCORE 190274.797
AT ITER 7581 NEW BEST:: SOT 1838624 SOS 292820 HAS SOPS 292820 HAS SOUS 189825 HAS SOUPS 189825 WITH SCORE 190117.82
AT ITER 7584 NEW BEST:: SOT 1838538 SOS 292734 HAS SOPS 292734 HAS SOUS 189739 HAS SOUPS 189739 WITH SCORE 190031.734
AT ITER 7633 NEW BEST:: SOT 1838415 SOS 292655 HAS SOPS 292655 HAS SOUS 189630 HAS SOUPS 189630 WITH SCORE 189922.655
AT ITER 7672 NEW BEST:: SOT 1838348 SOS 292521 HAS SOPS 292521 HAS SOUS 189559 HAS SOUPS 189559 WITH SCORE 189851.521
AT ITER 7689 NEW BEST:: SOT 1838365 SOS 292477 HAS SOPS 292477 HAS SOUS 189515 HAS SOUPS 189515 WITH SCORE 189807.477
AT ITER 7692 NEW BEST:: SOT 1838209 SOS 292355 HAS SOPS 292355 HAS SOUS 189397 HAS SOUPS 189397 WITH SCORE 189689.355
AT ITER 7751 NEW BEST:: SOT 1838209 SOS 292376 HAS SOPS 292376 HAS SOUS 189383 HAS SOUPS 189383 WITH SCORE 189675.376
AT ITER 7775 NEW BEST:: SOT 1838149 SOS 292346 HAS SOPS 292346 HAS SOUS 189353 HAS SOUPS 189353 WITH SCORE 189645.346
AT ITER 7780 NEW BEST:: SOT 1838149 SOS 292317 HAS SOPS 292317 HAS SOUS 189353 HAS SOUPS 189353 WITH SCORE 189645.317
AT ITER 7796 NEW BEST:: SOT 1838123 SOS 292294 HAS SOPS 292294 HAS SOUS 189330 HAS SOUPS 189330 WITH SCORE 189622.294
AT ITER 7806 NEW BEST:: SOT 1836632 SOS 291883 HAS SOPS 291883 HAS SOUS 187667 HAS SOUPS 187667 WITH SCORE 187958.883
AT ITER 7834 NEW BEST:: SOT 1836561 SOS 291812 HAS SOPS 291812 HAS SOUS 187596 HAS SOUPS 187596 WITH SCORE 187887.812
AT ITER 7845 NEW BEST:: SOT 1836551 SOS 291812 HAS SOPS 291812 HAS SOUS 187586 HAS SOUPS 187586 WITH SCORE 187877.812
AT ITER 7902 NEW BEST:: SOT 1836495 SOS 291756 HAS SOPS 291756 HAS SOUS 187530 HAS SOUPS 187530 WITH SCORE 187821.756
AT ITER 7973 NEW BEST:: SOT 1836528 SOS 291750 HAS SOPS 291750 HAS SOUS 187524 HAS SOUPS 187524 WITH SCORE 187815.75
AT ITER 8005 NEW BEST:: SOT 1836528 SOS 291704 HAS SOPS 291704 HAS SOUS 187501 HAS SOUPS 187501 WITH SCORE 187792.704
AT ITER 8010 NEW BEST:: SOT 1836528 SOS 291501 HAS SOPS 291501 HAS SOUS 187420 HAS SOUPS 187420 WITH SCORE 187711.501
AT ITER 8064 NEW BEST:: SOT 1836527 SOS 291639 HAS SOPS 291639 HAS SOUS 187418 HAS SOUPS 187418 WITH SCORE 187709.639
AT ITER 8104 NEW BEST:: SOT 1836473 SOS 291585 HAS SOPS 291585 HAS SOUS 187389 HAS SOUPS 187389 WITH SCORE 187680.585
AT ITER 8109 NEW BEST:: SOT 1836473 SOS 291585 HAS SOPS 291585 HAS SOUS 187381 HAS SOUPS 187381 WITH SCORE 187672.585
AT ITER 8122 NEW BEST:: SOT 1836352 SOS 291145 HAS SOPS 291145 HAS SOUS 187227 HAS SOUPS 187227 WITH SCORE 187518.145
AT ITER 8215 NEW BEST:: SOT 1836386 SOS 291127 HAS SOPS 291127 HAS SOUS 187176 HAS SOUPS 187176 WITH SCORE 187467.127
AT ITER 8255 NEW BEST:: SOT 1836386 SOS 291101 HAS SOPS 291101 HAS SOUS 187146 HAS SOUPS 187146 WITH SCORE 187437.101
AT ITER 8267 NEW BEST:: SOT 1836416 SOS 291088 HAS SOPS 291088 HAS SOUS 187116 HAS SOUPS 187116 WITH SCORE 187407.088
AT ITER 8282 NEW BEST:: SOT 1835990 SOS 290925 HAS SOPS 290925 HAS SOUS 186901 HAS SOUPS 186901 WITH SCORE 187191.925
AT ITER 8315 NEW BEST:: SOT 1835776 SOS 290729 HAS SOPS 290729 HAS SOUS 186759 HAS SOUPS 186759 WITH SCORE 187049.729
AT ITER 8325 NEW BEST:: SOT 1835761 SOS 290711 HAS SOPS 290711 HAS SOUS 186741 HAS SOUPS 186741 WITH SCORE 187031.711
AT ITER 8384 NEW BEST:: SOT 1835467 SOS 290488 HAS SOPS 290488 HAS SOUS 186698 HAS SOUPS 186698 WITH SCORE 186988.488
AT ITER 8387 NEW BEST:: SOT 1835496 SOS 290521 HAS SOPS 290521 HAS SOUS 186687 HAS SOUPS 186687 WITH SCORE 186977.521
AT ITER 8394 NEW BEST:: SOT 1835423 SOS 290370 HAS SOPS 290370 HAS SOUS 186547 HAS SOUPS 186547 WITH SCORE 186837.37
AT ITER 8413 NEW BEST:: SOT 1835418 SOS 290381 HAS SOPS 290381 HAS SOUS 186546 HAS SOUPS 186546 WITH SCORE 186836.381
AT ITER 8449 NEW BEST:: SOT 1835389 SOS 290332 HAS SOPS 290332 HAS SOUS 186400 HAS SOUPS 186400 WITH SCORE 186690.332
AT ITER 8481 NEW BEST:: SOT 1835360 SOS 290071 HAS SOPS 290071 HAS SOUS 186371 HAS SOUPS 186371 WITH SCORE 186661.071
AT ITER 8498 NEW BEST:: SOT 1835318 SOS 289915 HAS SOPS 289915 HAS SOUS 186350 HAS SOUPS 186350 WITH SCORE 186639.915
AT ITER 8542 NEW BEST:: SOT 1835238 SOS 289993 HAS SOPS 289993 HAS SOUS 186349 HAS SOUPS 186349 WITH SCORE 186638.993
AT ITER 8544 NEW BEST:: SOT 1835149 SOS 289278 HAS SOPS 289278 HAS SOUS 186216 HAS SOUPS 186216 WITH SCORE 186505.278
AT ITER 8550 NEW BEST:: SOT 1835141 SOS 289254 HAS SOPS 289254 HAS SOUS 186200 HAS SOUPS 186200 WITH SCORE 186489.254
AT ITER 8581 NEW BEST:: SOT 1835122 SOS 289235 HAS SOPS 289235 HAS SOUS 186162 HAS SOUPS 186162 WITH SCORE 186451.235
AT ITER 8640 NEW BEST:: SOT 1834666 SOS 288605 HAS SOPS 288605 HAS SOUS 186117 HAS SOUPS 186117 WITH SCORE 186405.605
AT ITER 8664 NEW BEST:: SOT 1834530 SOS 288525 HAS SOPS 288525 HAS SOUS 186077 HAS SOUPS 186077 WITH SCORE 186365.525
AT ITER 8684 NEW BEST:: SOT 1834522 SOS 288509 HAS SOPS 288509 HAS SOUS 185994 HAS SOUPS 185994 WITH SCORE 186282.509
AT ITER 8699 NEW BEST:: SOT 1834522 SOS 288265 HAS SOPS 288265 HAS SOUS 185949 HAS SOUPS 185949 WITH SCORE 186237.265
AT ITER 8720 NEW BEST:: SOT 1834571 SOS 288326 HAS SOPS 288326 HAS SOUS 185926 HAS SOUPS 185926 WITH SCORE 186214.326
AT ITER 8728 NEW BEST:: SOT 1834502 SOS 288211 HAS SOPS 288211 HAS SOUS 185834 HAS SOUPS 185834 WITH SCORE 186122.211
AT ITER 8782 NEW BEST:: SOT 1834441 SOS 287979 HAS SOPS 287979 HAS SOUS 185671 HAS SOUPS 185671 WITH SCORE 185958.979
AT ITER 8804 NEW BEST:: SOT 1834441 SOS 288129 HAS SOPS 288129 HAS SOUS 185521 HAS SOUPS 185521 WITH SCORE 185809.129
AT ITER 8809 NEW BEST:: SOT 1834407 SOS 288104 HAS SOPS 288104 HAS SOUS 185359 HAS SOUPS 185359 WITH SCORE 185647.104
AT ITER 8888 NEW BEST:: SOT 1834379 SOS 288060 HAS SOPS 288060 HAS SOUS 185327 HAS SOUPS 185327 WITH SCORE 185615.06
AT ITER 8890 NEW BEST:: SOT 1834379 SOS 288044 HAS SOPS 288044 HAS SOUS 185311 HAS SOUPS 185311 WITH SCORE 185599.044
AT ITER 8941 NEW BEST:: SOT 1834300 SOS 287896 HAS SOPS 287896 HAS SOUS 185163 HAS SOUPS 185163 WITH SCORE 185450.896
AT ITER 8962 NEW BEST:: SOT 1834258 SOS 287791 HAS SOPS 287791 HAS SOUS 185100 HAS SOUPS 185100 WITH SCORE 185387.791
AT ITER 9029 NEW BEST:: SOT 1834248 SOS 287766 HAS SOPS 287766 HAS SOUS 185085 HAS SOUPS 185085 WITH SCORE 185372.766
AT ITER 9054 NEW BEST:: SOT 1834293 SOS 288385 HAS SOPS 288385 HAS SOUS 185066 HAS SOUPS 185066 WITH SCORE 185354.385
AT ITER 9068 NEW BEST:: SOT 1834237 SOS 288253 HAS SOPS 288253 HAS SOUS 185000 HAS SOUPS 185000 WITH SCORE 185288.253
AT ITER 9069 NEW BEST:: SOT 1834255 SOS 288387 HAS SOPS 288387 HAS SOUS 184990 HAS SOUPS 184990 WITH SCORE 185278.387
AT ITER 9072 NEW BEST:: SOT 1834246 SOS 288369 HAS SOPS 288369 HAS SOUS 184963 HAS SOUPS 184963 WITH SCORE 185251.369
AT ITER 9075 NEW BEST:: SOT 1834093 SOS 288239 HAS SOPS 288239 HAS SOUS 184810 HAS SOUPS 184810 WITH SCORE 185098.239
AT ITER 9155 NEW BEST:: SOT 1834093 SOS 288095 HAS SOPS 288095 HAS SOUS 184810 HAS SOUPS 184810 WITH SCORE 185098.095
AT ITER 9175 NEW BEST:: SOT 1834095 SOS 288087 HAS SOPS 288087 HAS SOUS 184806 HAS SOUPS 184806 WITH SCORE 185094.087
AT ITER 9211 NEW BEST:: SOT 1833995 SOS 287129 HAS SOPS 287129 HAS SOUS 184735 HAS SOUPS 184735 WITH SCORE 185022.129
AT ITER 9277 NEW BEST:: SOT 1833839 SOS 286882 HAS SOPS 286882 HAS SOUS 184650 HAS SOUPS 184650 WITH SCORE 184936.882
AT ITER 9304 NEW BEST:: SOT 1833761 SOS 286817 HAS SOPS 286817 HAS SOUS 184649 HAS SOUPS 184649 WITH SCORE 184935.817
AT ITER 9348 NEW BEST:: SOT 1833761 SOS 287299 HAS SOPS 287299 HAS SOUS 184589 HAS SOUPS 184589 WITH SCORE 184876.299
AT ITER 9398 NEW BEST:: SOT 1833748 SOS 287273 HAS SOPS 287273 HAS SOUS 184563 HAS SOUPS 184563 WITH SCORE 184850.273
AT ITER 9401 NEW BEST:: SOT 1833725 SOS 287373 HAS SOPS 287373 HAS SOUS 184517 HAS SOUPS 184517 WITH SCORE 184804.373
AT ITER 9443 NEW BEST:: SOT 1833787 SOS 287455 HAS SOPS 287455 HAS SOUS 184471 HAS SOUPS 184471 WITH SCORE 184758.455
AT ITER 9446 NEW BEST:: SOT 1833721 SOS 287257 HAS SOPS 287257 HAS SOUS 184383 HAS SOUPS 184383 WITH SCORE 184670.257
AT ITER 9447 NEW BEST:: SOT 1833696 SOS 287182 HAS SOPS 287182 HAS SOUS 184333 HAS SOUPS 184333 WITH SCORE 184620.182
AT ITER 9455 NEW BEST:: SOT 1833428 SOS 286792 HAS SOPS 286792 HAS SOUS 184301 HAS SOUPS 184301 WITH SCORE 184587.792
AT ITER 9485 NEW BEST:: SOT 1833153 SOS 287211 HAS SOPS 287211 HAS SOUS 184169 HAS SOUPS 184169 WITH SCORE 184456.211
AT ITER 9491 NEW BEST:: SOT 1833151 SOS 287383 HAS SOPS 287383 HAS SOUS 184167 HAS SOUPS 184167 WITH SCORE 184454.383
AT ITER 9584 NEW BEST:: SOT 1833182 SOS 286838 HAS SOPS 286838 HAS SOUS 183984 HAS SOUPS 183984 WITH SCORE 184270.838
AT ITER 9602 NEW BEST:: SOT 1833081 SOS 286776 HAS SOPS 286776 HAS SOUS 183795 HAS SOUPS 183795 WITH SCORE 184081.776
AT ITER 9674 NEW BEST:: SOT 1833088 SOS 286897 HAS SOPS 286897 HAS SOUS 183690 HAS SOUPS 183690 WITH SCORE 183976.897
AT ITER 9683 NEW BEST:: SOT 1833088 SOS 286793 HAS SOPS 286793 HAS SOUS 183690 HAS SOUPS 183690 WITH SCORE 183976.793
AT ITER 9720 NEW BEST:: SOT 1833079 SOS 286775 HAS SOPS 286775 HAS SOUS 183672 HAS SOUPS 183672 WITH SCORE 183958.775
AT ITER 9737 NEW BEST:: SOT 1832944 SOS 286608 HAS SOPS 286608 HAS SOUS 183537 HAS SOUPS 183537 WITH SCORE 183823.608
AT ITER 9746 NEW BEST:: SOT 1832720 SOS 286370 HAS SOPS 286370 HAS SOUS 183253 HAS SOUPS 183253 WITH SCORE 183539.37
AT ITER 9774 NEW BEST:: SOT 1832689 SOS 286339 HAS SOPS 286339 HAS SOUS 183253 HAS SOUPS 183253 WITH SCORE 183539.339
AT ITER 9794 NEW BEST:: SOT 1832724 SOS 286254 HAS SOPS 286254 HAS SOUS 183241 HAS SOUPS 183241 WITH SCORE 183527.254
AT ITER 9872 NEW BEST:: SOT 1832603 SOS 285844 HAS SOPS 285844 HAS SOUS 182973 HAS SOUPS 182973 WITH SCORE 183258.844
AT ITER 9889 NEW BEST:: SOT 1832527 SOS 285768 HAS SOPS 285768 HAS SOUS 182849 HAS SOUPS 182849 WITH SCORE 183134.768
AT ITER 9915 NEW BEST:: SOT 1832530 SOS 285734 HAS SOPS 285734 HAS SOUS 182758 HAS SOUPS 182758 WITH SCORE 183043.734
AT ITER 9941 NEW BEST:: SOT 1832504 SOS 285651 HAS SOPS 285651 HAS SOUS 182675 HAS SOUPS 182675 WITH SCORE 182960.651
AT ITER 9956 NEW BEST:: SOT 1832478 SOS 285573 HAS SOPS 285573 HAS SOUS 182623 HAS SOUPS 182623 WITH SCORE 182908.573
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 9632408 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154196 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="NoC3x3-PT-6B"
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 NoC3x3-PT-6B, 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 r259-smll-167863534400320"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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