Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500424.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-6B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500424
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 8 15:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 7 18:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 20:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 6 20:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 6 04:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 552K Mar 24 05:37 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1589642857116

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 6B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/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 13 NEW BEST:: SOT 1867850 SOS 300409 HAS SOPS 300409 HAS SOUS 227370 HAS SOUPS 227370 WITH SCORE 227670.409
AT ITER 24 NEW BEST:: SOT 1867837 SOS 300192 HAS SOPS 300192 HAS SOUS 227344 HAS SOUPS 227344 WITH SCORE 227644.192
AT ITER 25 NEW BEST:: SOT 1867795 SOS 300150 HAS SOPS 300150 HAS SOUS 227302 HAS SOUPS 227302 WITH SCORE 227602.15
AT ITER 34 NEW BEST:: SOT 1867599 SOS 301844 HAS SOPS 301844 HAS SOUS 227177 HAS SOUPS 227177 WITH SCORE 227478.844
AT ITER 40 NEW BEST:: SOT 1867537 SOS 301658 HAS SOPS 301658 HAS SOUS 227071 HAS SOUPS 227071 WITH SCORE 227372.658
AT ITER 51 NEW BEST:: SOT 1867466 SOS 301445 HAS SOPS 301445 HAS SOUS 226956 HAS SOUPS 226956 WITH SCORE 227257.445
AT ITER 63 NEW BEST:: SOT 1867246 SOS 301372 HAS SOPS 301372 HAS SOUS 226883 HAS SOUPS 226883 WITH SCORE 227184.372
AT ITER 110 NEW BEST:: SOT 1867098 SOS 301261 HAS SOPS 301261 HAS SOUS 226735 HAS SOUPS 226735 WITH SCORE 227036.261
AT ITER 115 NEW BEST:: SOT 1866929 SOS 300377 HAS SOPS 300377 HAS SOUS 225947 HAS SOUPS 225947 WITH SCORE 226247.377
AT ITER 148 NEW BEST:: SOT 1866854 SOS 300370 HAS SOPS 300370 HAS SOUS 225938 HAS SOUPS 225938 WITH SCORE 226238.37
AT ITER 152 NEW BEST:: SOT 1866812 SOS 300167 HAS SOPS 300167 HAS SOUS 225912 HAS SOUPS 225912 WITH SCORE 226212.167
AT ITER 158 NEW BEST:: SOT 1866794 SOS 300149 HAS SOPS 300149 HAS SOUS 225912 HAS SOUPS 225912 WITH SCORE 226212.149
AT ITER 169 NEW BEST:: SOT 1866140 SOS 299495 HAS SOPS 299495 HAS SOUS 225258 HAS SOUPS 225258 WITH SCORE 225557.495
AT ITER 189 NEW BEST:: SOT 1866120 SOS 299475 HAS SOPS 299475 HAS SOUS 225238 HAS SOUPS 225238 WITH SCORE 225537.475
AT ITER 206 NEW BEST:: SOT 1865561 SOS 300052 HAS SOPS 300052 HAS SOUS 224995 HAS SOUPS 224995 WITH SCORE 225295.052
AT ITER 223 NEW BEST:: SOT 1865329 SOS 299750 HAS SOPS 299750 HAS SOUS 224660 HAS SOUPS 224660 WITH SCORE 224959.75
AT ITER 243 NEW BEST:: SOT 1865403 SOS 299760 HAS SOPS 299760 HAS SOUS 224599 HAS SOUPS 224599 WITH SCORE 224898.76
AT ITER 273 NEW BEST:: SOT 1865292 SOS 299535 HAS SOPS 299535 HAS SOUS 224320 HAS SOUPS 224320 WITH SCORE 224619.535
AT ITER 278 NEW BEST:: SOT 1865260 SOS 299482 HAS SOPS 299482 HAS SOUS 224288 HAS SOUPS 224288 WITH SCORE 224587.482
AT ITER 286 NEW BEST:: SOT 1865260 SOS 299444 HAS SOPS 299444 HAS SOUS 224253 HAS SOUPS 224253 WITH SCORE 224552.444
AT ITER 288 NEW BEST:: SOT 1865114 SOS 298768 HAS SOPS 298768 HAS SOUS 223761 HAS SOUPS 223761 WITH SCORE 224059.768
AT ITER 298 NEW BEST:: SOT 1864941 SOS 298642 HAS SOPS 298642 HAS SOUS 223747 HAS SOUPS 223747 WITH SCORE 224045.642
AT ITER 316 NEW BEST:: SOT 1864669 SOS 298421 HAS SOPS 298421 HAS SOUS 223448 HAS SOUPS 223448 WITH SCORE 223746.421
AT ITER 345 NEW BEST:: SOT 1864662 SOS 298400 HAS SOPS 298400 HAS SOUS 223441 HAS SOUPS 223441 WITH SCORE 223739.4
AT ITER 359 NEW BEST:: SOT 1864266 SOS 297476 HAS SOPS 297476 HAS SOUS 222979 HAS SOUPS 222979 WITH SCORE 223276.476
AT ITER 362 NEW BEST:: SOT 1864264 SOS 297472 HAS SOPS 297472 HAS SOUS 222973 HAS SOUPS 222973 WITH SCORE 223270.472
AT ITER 382 NEW BEST:: SOT 1863983 SOS 298208 HAS SOPS 298208 HAS SOUS 222719 HAS SOUPS 222719 WITH SCORE 223017.208
AT ITER 414 NEW BEST:: SOT 1864000 SOS 298225 HAS SOPS 298225 HAS SOUS 222715 HAS SOUPS 222715 WITH SCORE 223013.225
AT ITER 478 NEW BEST:: SOT 1863993 SOS 298211 HAS SOPS 298211 HAS SOUS 222708 HAS SOUPS 222708 WITH SCORE 223006.211
AT ITER 492 NEW BEST:: SOT 1863993 SOS 298757 HAS SOPS 298757 HAS SOUS 222702 HAS SOUPS 222702 WITH SCORE 223000.757
AT ITER 511 NEW BEST:: SOT 1864015 SOS 298750 HAS SOPS 298750 HAS SOUS 222687 HAS SOUPS 222687 WITH SCORE 222985.75
AT ITER 512 NEW BEST:: SOT 1864015 SOS 298716 HAS SOPS 298716 HAS SOUS 222670 HAS SOUPS 222670 WITH SCORE 222968.716
AT ITER 515 NEW BEST:: SOT 1863990 SOS 298591 HAS SOPS 298591 HAS SOUS 222620 HAS SOUPS 222620 WITH SCORE 222918.591
AT ITER 521 NEW BEST:: SOT 1862179 SOS 297295 HAS SOPS 297295 HAS SOUS 220697 HAS SOUPS 220697 WITH SCORE 220994.295
AT ITER 531 NEW BEST:: SOT 1862187 SOS 297303 HAS SOPS 297303 HAS SOUS 220689 HAS SOUPS 220689 WITH SCORE 220986.303
AT ITER 534 NEW BEST:: SOT 1861564 SOS 297053 HAS SOPS 297053 HAS SOUS 220118 HAS SOUPS 220118 WITH SCORE 220415.053
AT ITER 554 NEW BEST:: SOT 1861565 SOS 296550 HAS SOPS 296550 HAS SOUS 220055 HAS SOUPS 220055 WITH SCORE 220351.55
AT ITER 563 NEW BEST:: SOT 1861518 SOS 296503 HAS SOPS 296503 HAS SOUS 220008 HAS SOUPS 220008 WITH SCORE 220304.503
AT ITER 603 NEW BEST:: SOT 1861471 SOS 296362 HAS SOPS 296362 HAS SOUS 219961 HAS SOUPS 219961 WITH SCORE 220257.362
AT ITER 644 NEW BEST:: SOT 1861409 SOS 296340 HAS SOPS 296340 HAS SOUS 219939 HAS SOUPS 219939 WITH SCORE 220235.34
AT ITER 686 NEW BEST:: SOT 1861239 SOS 296170 HAS SOPS 296170 HAS SOUS 219769 HAS SOUPS 219769 WITH SCORE 220065.17
AT ITER 687 NEW BEST:: SOT 1861223 SOS 296154 HAS SOPS 296154 HAS SOUS 219753 HAS SOUPS 219753 WITH SCORE 220049.154
AT ITER 695 NEW BEST:: SOT 1861190 SOS 295989 HAS SOPS 295989 HAS SOUS 219685 HAS SOUPS 219685 WITH SCORE 219980.989
AT ITER 706 NEW BEST:: SOT 1861103 SOS 295902 HAS SOPS 295902 HAS SOUS 219598 HAS SOUPS 219598 WITH SCORE 219893.902
AT ITER 732 NEW BEST:: SOT 1860943 SOS 295678 HAS SOPS 295678 HAS SOUS 219374 HAS SOUPS 219374 WITH SCORE 219669.678
AT ITER 733 NEW BEST:: SOT 1860851 SOS 295391 HAS SOPS 295391 HAS SOUS 219179 HAS SOUPS 219179 WITH SCORE 219474.391
AT ITER 737 NEW BEST:: SOT 1860817 SOS 295357 HAS SOPS 295357 HAS SOUS 219137 HAS SOUPS 219137 WITH SCORE 219432.357
AT ITER 818 NEW BEST:: SOT 1860817 SOS 295389 HAS SOPS 295389 HAS SOUS 219132 HAS SOUPS 219132 WITH SCORE 219427.389
AT ITER 823 NEW BEST:: SOT 1860719 SOS 295243 HAS SOPS 295243 HAS SOUS 218816 HAS SOUPS 218816 WITH SCORE 219111.243
AT ITER 838 NEW BEST:: SOT 1860675 SOS 294979 HAS SOPS 294979 HAS SOUS 218787 HAS SOUPS 218787 WITH SCORE 219081.979
AT ITER 851 NEW BEST:: SOT 1860650 SOS 294854 HAS SOPS 294854 HAS SOUS 218787 HAS SOUPS 218787 WITH SCORE 219081.854
AT ITER 868 NEW BEST:: SOT 1860650 SOS 294889 HAS SOPS 294889 HAS SOUS 218752 HAS SOUPS 218752 WITH SCORE 219046.889
AT ITER 876 NEW BEST:: SOT 1860035 SOS 294749 HAS SOPS 294749 HAS SOUS 218261 HAS SOUPS 218261 WITH SCORE 218555.749
AT ITER 893 NEW BEST:: SOT 1860035 SOS 294742 HAS SOPS 294742 HAS SOUS 218250 HAS SOUPS 218250 WITH SCORE 218544.742
AT ITER 928 NEW BEST:: SOT 1860009 SOS 294711 HAS SOPS 294711 HAS SOUS 218202 HAS SOUPS 218202 WITH SCORE 218496.711
AT ITER 937 NEW BEST:: SOT 1859956 SOS 294632 HAS SOPS 294632 HAS SOUS 218113 HAS SOUPS 218113 WITH SCORE 218407.632
AT ITER 939 NEW BEST:: SOT 1859985 SOS 294745 HAS SOPS 294745 HAS SOUS 218102 HAS SOUPS 218102 WITH SCORE 218396.745
AT ITER 950 NEW BEST:: SOT 1859878 SOS 294571 HAS SOPS 294571 HAS SOUS 217873 HAS SOUPS 217873 WITH SCORE 218167.571
AT ITER 957 NEW BEST:: SOT 1859697 SOS 294523 HAS SOPS 294523 HAS SOUS 217531 HAS SOUPS 217531 WITH SCORE 217825.523
AT ITER 1026 NEW BEST:: SOT 1859610 SOS 294510 HAS SOPS 294510 HAS SOUS 217455 HAS SOUPS 217455 WITH SCORE 217749.51
AT ITER 1066 NEW BEST:: SOT 1859222 SOS 294334 HAS SOPS 294334 HAS SOUS 217067 HAS SOUPS 217067 WITH SCORE 217361.334
AT ITER 1095 NEW BEST:: SOT 1859178 SOS 294290 HAS SOPS 294290 HAS SOUS 217023 HAS SOUPS 217023 WITH SCORE 217317.29
AT ITER 1104 NEW BEST:: SOT 1859112 SOS 294136 HAS SOPS 294136 HAS SOUS 216979 HAS SOUPS 216979 WITH SCORE 217273.136
AT ITER 1106 NEW BEST:: SOT 1858901 SOS 293959 HAS SOPS 293959 HAS SOUS 216802 HAS SOUPS 216802 WITH SCORE 217095.959
AT ITER 1124 NEW BEST:: SOT 1858826 SOS 293959 HAS SOPS 293959 HAS SOUS 216754 HAS SOUPS 216754 WITH SCORE 217047.959
AT ITER 1136 NEW BEST:: SOT 1858688 SOS 293857 HAS SOPS 293857 HAS SOUS 216662 HAS SOUPS 216662 WITH SCORE 216955.857
AT ITER 1148 NEW BEST:: SOT 1858667 SOS 293780 HAS SOPS 293780 HAS SOUS 216634 HAS SOUPS 216634 WITH SCORE 216927.78
AT ITER 1162 NEW BEST:: SOT 1858665 SOS 293776 HAS SOPS 293776 HAS SOUS 216630 HAS SOUPS 216630 WITH SCORE 216923.776
AT ITER 1204 NEW BEST:: SOT 1858627 SOS 293738 HAS SOPS 293738 HAS SOUS 216516 HAS SOUPS 216516 WITH SCORE 216809.738
AT ITER 1211 NEW BEST:: SOT 1858626 SOS 293737 HAS SOPS 293737 HAS SOUS 216515 HAS SOUPS 216515 WITH SCORE 216808.737
AT ITER 1222 NEW BEST:: SOT 1858520 SOS 293673 HAS SOPS 293673 HAS SOUS 216448 HAS SOUPS 216448 WITH SCORE 216741.673
AT ITER 1225 NEW BEST:: SOT 1858418 SOS 293607 HAS SOPS 293607 HAS SOUS 216346 HAS SOUPS 216346 WITH SCORE 216639.607
AT ITER 1236 NEW BEST:: SOT 1858418 SOS 293617 HAS SOPS 293617 HAS SOUS 216340 HAS SOUPS 216340 WITH SCORE 216633.617
AT ITER 1238 NEW BEST:: SOT 1858344 SOS 293498 HAS SOPS 293498 HAS SOUS 216131 HAS SOUPS 216131 WITH SCORE 216424.498
AT ITER 1249 NEW BEST:: SOT 1858028 SOS 293207 HAS SOPS 293207 HAS SOUS 215840 HAS SOUPS 215840 WITH SCORE 216133.207
AT ITER 1267 NEW BEST:: SOT 1858022 SOS 293189 HAS SOPS 293189 HAS SOUS 215840 HAS SOUPS 215840 WITH SCORE 216133.189
AT ITER 1281 NEW BEST:: SOT 1857994 SOS 293207 HAS SOPS 293207 HAS SOUS 215824 HAS SOUPS 215824 WITH SCORE 216117.207
AT ITER 1285 NEW BEST:: SOT 1857714 SOS 292771 HAS SOPS 292771 HAS SOUS 215384 HAS SOUPS 215384 WITH SCORE 215676.771
AT ITER 1287 NEW BEST:: SOT 1857711 SOS 292823 HAS SOPS 292823 HAS SOUS 215294 HAS SOUPS 215294 WITH SCORE 215586.823
AT ITER 1291 NEW BEST:: SOT 1857611 SOS 292723 HAS SOPS 292723 HAS SOUS 215194 HAS SOUPS 215194 WITH SCORE 215486.723
AT ITER 1303 NEW BEST:: SOT 1857611 SOS 292695 HAS SOPS 292695 HAS SOUS 215169 HAS SOUPS 215169 WITH SCORE 215461.695
AT ITER 1311 NEW BEST:: SOT 1857611 SOS 292639 HAS SOPS 292639 HAS SOUS 215113 HAS SOUPS 215113 WITH SCORE 215405.639
AT ITER 1318 NEW BEST:: SOT 1857815 SOS 292473 HAS SOPS 292473 HAS SOUS 215075 HAS SOUPS 215075 WITH SCORE 215367.473
AT ITER 1365 NEW BEST:: SOT 1857814 SOS 292463 HAS SOPS 292463 HAS SOUS 215073 HAS SOUPS 215073 WITH SCORE 215365.463
AT ITER 1381 NEW BEST:: SOT 1857769 SOS 292463 HAS SOPS 292463 HAS SOUS 215066 HAS SOUPS 215066 WITH SCORE 215358.463
AT ITER 1404 NEW BEST:: SOT 1857713 SOS 292319 HAS SOPS 292319 HAS SOUS 215010 HAS SOUPS 215010 WITH SCORE 215302.319
AT ITER 1407 NEW BEST:: SOT 1857713 SOS 292387 HAS SOPS 292387 HAS SOUS 214976 HAS SOUPS 214976 WITH SCORE 215268.387
AT ITER 1420 NEW BEST:: SOT 1857621 SOS 292269 HAS SOPS 292269 HAS SOUS 214858 HAS SOUPS 214858 WITH SCORE 215150.269
AT ITER 1427 NEW BEST:: SOT 1856968 SOS 292950 HAS SOPS 292950 HAS SOUS 214840 HAS SOUPS 214840 WITH SCORE 215132.95
AT ITER 1472 NEW BEST:: SOT 1856891 SOS 292926 HAS SOPS 292926 HAS SOUS 214816 HAS SOUPS 214816 WITH SCORE 215108.926
AT ITER 1605 NEW BEST:: SOT 1856891 SOS 292973 HAS SOPS 292973 HAS SOUS 214769 HAS SOUPS 214769 WITH SCORE 215061.973
AT ITER 1651 NEW BEST:: SOT 1856840 SOS 292931 HAS SOPS 292931 HAS SOUS 214600 HAS SOUPS 214600 WITH SCORE 214892.931
AT ITER 1692 NEW BEST:: SOT 1856700 SOS 293331 HAS SOPS 293331 HAS SOUS 214583 HAS SOUPS 214583 WITH SCORE 214876.331
AT ITER 1729 NEW BEST:: SOT 1856700 SOS 293049 HAS SOPS 293049 HAS SOUS 214536 HAS SOUPS 214536 WITH SCORE 214829.049
AT ITER 1766 NEW BEST:: SOT 1856537 SOS 292931 HAS SOPS 292931 HAS SOUS 214529 HAS SOUPS 214529 WITH SCORE 214821.931
AT ITER 1768 NEW BEST:: SOT 1856451 SOS 292848 HAS SOPS 292848 HAS SOUS 214515 HAS SOUPS 214515 WITH SCORE 214807.848
AT ITER 1772 NEW BEST:: SOT 1856339 SOS 292792 HAS SOPS 292792 HAS SOUS 214414 HAS SOUPS 214414 WITH SCORE 214706.792
AT ITER 1829 NEW BEST:: SOT 1856291 SOS 292620 HAS SOPS 292620 HAS SOUS 214297 HAS SOUPS 214297 WITH SCORE 214589.62
AT ITER 1838 NEW BEST:: SOT 1856291 SOS 292664 HAS SOPS 292664 HAS SOUS 214281 HAS SOUPS 214281 WITH SCORE 214573.664
AT ITER 1848 NEW BEST:: SOT 1855952 SOS 292419 HAS SOPS 292419 HAS SOUS 214036 HAS SOUPS 214036 WITH SCORE 214328.419
AT ITER 1888 NEW BEST:: SOT 1855951 SOS 292452 HAS SOPS 292452 HAS SOUS 214016 HAS SOUPS 214016 WITH SCORE 214308.452
AT ITER 1891 NEW BEST:: SOT 1855907 SOS 292320 HAS SOPS 292320 HAS SOUS 213910 HAS SOUPS 213910 WITH SCORE 214202.32
AT ITER 1910 NEW BEST:: SOT 1855904 SOS 292185 HAS SOPS 292185 HAS SOUS 213871 HAS SOUPS 213871 WITH SCORE 214163.185
AT ITER 1943 NEW BEST:: SOT 1855672 SOS 291911 HAS SOPS 291911 HAS SOUS 213509 HAS SOUPS 213509 WITH SCORE 213800.911
AT ITER 1946 NEW BEST:: SOT 1855355 SOS 291781 HAS SOPS 291781 HAS SOUS 213328 HAS SOUPS 213328 WITH SCORE 213619.781
AT ITER 1981 NEW BEST:: SOT 1855248 SOS 291542 HAS SOPS 291542 HAS SOUS 213217 HAS SOUPS 213217 WITH SCORE 213508.542
AT ITER 2018 NEW BEST:: SOT 1855356 SOS 292094 HAS SOPS 292094 HAS SOUS 213172 HAS SOUPS 213172 WITH SCORE 213464.094
AT ITER 2041 NEW BEST:: SOT 1855317 SOS 292094 HAS SOPS 292094 HAS SOUS 213165 HAS SOUPS 213165 WITH SCORE 213457.094
AT ITER 2046 NEW BEST:: SOT 1855317 SOS 292094 HAS SOPS 292094 HAS SOUS 213161 HAS SOUPS 213161 WITH SCORE 213453.094
AT ITER 2093 NEW BEST:: SOT 1855282 SOS 292059 HAS SOPS 292059 HAS SOUS 213161 HAS SOUPS 213161 WITH SCORE 213453.059
AT ITER 2115 NEW BEST:: SOT 1855243 SOS 292020 HAS SOPS 292020 HAS SOUS 213083 HAS SOUPS 213083 WITH SCORE 213375.02
AT ITER 2135 NEW BEST:: SOT 1855241 SOS 292016 HAS SOPS 292016 HAS SOUS 213079 HAS SOUPS 213079 WITH SCORE 213371.016
AT ITER 2168 NEW BEST:: SOT 1855143 SOS 291986 HAS SOPS 291986 HAS SOUS 212402 HAS SOUPS 212402 WITH SCORE 212693.986
AT ITER 2187 NEW BEST:: SOT 1854784 SOS 291617 HAS SOPS 291617 HAS SOUS 212356 HAS SOUPS 212356 WITH SCORE 212647.617
AT ITER 2218 NEW BEST:: SOT 1854626 SOS 291538 HAS SOPS 291538 HAS SOUS 212277 HAS SOUPS 212277 WITH SCORE 212568.538
AT ITER 2352 NEW BEST:: SOT 1853974 SOS 290837 HAS SOPS 290837 HAS SOUS 211558 HAS SOUPS 211558 WITH SCORE 211848.837
AT ITER 2358 NEW BEST:: SOT 1853901 SOS 290489 HAS SOPS 290489 HAS SOUS 211412 HAS SOUPS 211412 WITH SCORE 211702.489
AT ITER 2368 NEW BEST:: SOT 1853901 SOS 290439 HAS SOPS 290439 HAS SOUS 211362 HAS SOUPS 211362 WITH SCORE 211652.439
AT ITER 2397 NEW BEST:: SOT 1853870 SOS 290408 HAS SOPS 290408 HAS SOUS 211328 HAS SOUPS 211328 WITH SCORE 211618.408
AT ITER 2464 NEW BEST:: SOT 1853897 SOS 290462 HAS SOPS 290462 HAS SOUS 211278 HAS SOUPS 211278 WITH SCORE 211568.462
AT ITER 2465 NEW BEST:: SOT 1853795 SOS 290360 HAS SOPS 290360 HAS SOUS 211176 HAS SOUPS 211176 WITH SCORE 211466.36
AT ITER 2516 NEW BEST:: SOT 1853411 SOS 289985 HAS SOPS 289985 HAS SOUS 211155 HAS SOUPS 211155 WITH SCORE 211444.985
AT ITER 2542 NEW BEST:: SOT 1853411 SOS 289943 HAS SOPS 289943 HAS SOUS 211113 HAS SOUPS 211113 WITH SCORE 211402.943
AT ITER 2544 NEW BEST:: SOT 1853315 SOS 289800 HAS SOPS 289800 HAS SOUS 210922 HAS SOUPS 210922 WITH SCORE 211211.8
AT ITER 2554 NEW BEST:: SOT 1853279 SOS 289780 HAS SOPS 289780 HAS SOUS 210902 HAS SOUPS 210902 WITH SCORE 211191.78
AT ITER 2560 NEW BEST:: SOT 1853332 SOS 289817 HAS SOPS 289817 HAS SOUS 210893 HAS SOUPS 210893 WITH SCORE 211182.817
AT ITER 2631 NEW BEST:: SOT 1853299 SOS 289715 HAS SOPS 289715 HAS SOUS 210798 HAS SOUPS 210798 WITH SCORE 211087.715
AT ITER 2638 NEW BEST:: SOT 1853299 SOS 289712 HAS SOPS 289712 HAS SOUS 210798 HAS SOUPS 210798 WITH SCORE 211087.712
AT ITER 2657 NEW BEST:: SOT 1853243 SOS 289656 HAS SOPS 289656 HAS SOUS 210634 HAS SOUPS 210634 WITH SCORE 210923.656
AT ITER 2732 NEW BEST:: SOT 1853417 SOS 289946 HAS SOPS 289946 HAS SOUS 210228 HAS SOUPS 210228 WITH SCORE 210517.946
AT ITER 2739 NEW BEST:: SOT 1853431 SOS 289952 HAS SOPS 289952 HAS SOUS 210225 HAS SOUPS 210225 WITH SCORE 210514.952
AT ITER 2783 NEW BEST:: SOT 1853431 SOS 290046 HAS SOPS 290046 HAS SOUS 210178 HAS SOUPS 210178 WITH SCORE 210468.046
AT ITER 2784 NEW BEST:: SOT 1853431 SOS 290150 HAS SOPS 290150 HAS SOUS 210013 HAS SOUPS 210013 WITH SCORE 210303.15
AT ITER 2807 NEW BEST:: SOT 1853419 SOS 290138 HAS SOPS 290138 HAS SOUS 210007 HAS SOUPS 210007 WITH SCORE 210297.138
AT ITER 2812 NEW BEST:: SOT 1853419 SOS 290129 HAS SOPS 290129 HAS SOUS 210007 HAS SOUPS 210007 WITH SCORE 210297.129
AT ITER 2845 NEW BEST:: SOT 1853303 SOS 289995 HAS SOPS 289995 HAS SOUS 209896 HAS SOUPS 209896 WITH SCORE 210185.995
AT ITER 2881 NEW BEST:: SOT 1853239 SOS 289931 HAS SOPS 289931 HAS SOUS 209832 HAS SOUPS 209832 WITH SCORE 210121.931
AT ITER 2892 NEW BEST:: SOT 1853209 SOS 289885 HAS SOPS 289885 HAS SOUS 209795 HAS SOUPS 209795 WITH SCORE 210084.885
AT ITER 2922 NEW BEST:: SOT 1853135 SOS 289737 HAS SOPS 289737 HAS SOUS 209512 HAS SOUPS 209512 WITH SCORE 209801.737
AT ITER 2930 NEW BEST:: SOT 1852927 SOS 289582 HAS SOPS 289582 HAS SOUS 209334 HAS SOUPS 209334 WITH SCORE 209623.582
AT ITER 2961 NEW BEST:: SOT 1852910 SOS 289565 HAS SOPS 289565 HAS SOUS 209332 HAS SOUPS 209332 WITH SCORE 209621.565
AT ITER 2984 NEW BEST:: SOT 1852687 SOS 289396 HAS SOPS 289396 HAS SOUS 209163 HAS SOUPS 209163 WITH SCORE 209452.396
AT ITER 3001 NEW BEST:: SOT 1852691 SOS 289400 HAS SOPS 289400 HAS SOUS 209131 HAS SOUPS 209131 WITH SCORE 209420.4
AT ITER 3020 NEW BEST:: SOT 1852691 SOS 289354 HAS SOPS 289354 HAS SOUS 209085 HAS SOUPS 209085 WITH SCORE 209374.354
AT ITER 3037 NEW BEST:: SOT 1852610 SOS 289132 HAS SOPS 289132 HAS SOUS 208949 HAS SOUPS 208949 WITH SCORE 209238.132
AT ITER 3046 NEW BEST:: SOT 1852599 SOS 289061 HAS SOPS 289061 HAS SOUS 208914 HAS SOUPS 208914 WITH SCORE 209203.061
AT ITER 3052 NEW BEST:: SOT 1852531 SOS 288959 HAS SOPS 288959 HAS SOUS 208812 HAS SOUPS 208812 WITH SCORE 209100.959
AT ITER 3059 NEW BEST:: SOT 1852530 SOS 288958 HAS SOPS 288958 HAS SOUS 208810 HAS SOUPS 208810 WITH SCORE 209098.958
AT ITER 3083 NEW BEST:: SOT 1852524 SOS 288958 HAS SOPS 288958 HAS SOUS 208798 HAS SOUPS 208798 WITH SCORE 209086.958
AT ITER 3125 NEW BEST:: SOT 1852408 SOS 288726 HAS SOPS 288726 HAS SOUS 208566 HAS SOUPS 208566 WITH SCORE 208854.726
AT ITER 3149 NEW BEST:: SOT 1852130 SOS 288755 HAS SOPS 288755 HAS SOUS 208564 HAS SOUPS 208564 WITH SCORE 208852.755
AT ITER 3160 NEW BEST:: SOT 1852060 SOS 288545 HAS SOPS 288545 HAS SOUS 208424 HAS SOUPS 208424 WITH SCORE 208712.545
AT ITER 3196 NEW BEST:: SOT 1852029 SOS 288498 HAS SOPS 288498 HAS SOUS 208295 HAS SOUPS 208295 WITH SCORE 208583.498
AT ITER 3214 NEW BEST:: SOT 1851813 SOS 288530 HAS SOPS 288530 HAS SOUS 208092 HAS SOUPS 208092 WITH SCORE 208380.53
AT ITER 3243 NEW BEST:: SOT 1851380 SOS 288566 HAS SOPS 288566 HAS SOUS 207736 HAS SOUPS 207736 WITH SCORE 208024.566
AT ITER 3254 NEW BEST:: SOT 1851146 SOS 287513 HAS SOPS 287513 HAS SOUS 207385 HAS SOUPS 207385 WITH SCORE 207672.513
AT ITER 3283 NEW BEST:: SOT 1851146 SOS 287493 HAS SOPS 287493 HAS SOUS 207363 HAS SOUPS 207363 WITH SCORE 207650.493
AT ITER 3305 NEW BEST:: SOT 1851138 SOS 287463 HAS SOPS 287463 HAS SOUS 207348 HAS SOUPS 207348 WITH SCORE 207635.463
AT ITER 3306 NEW BEST:: SOT 1851129 SOS 287370 HAS SOPS 287370 HAS SOUS 207343 HAS SOUPS 207343 WITH SCORE 207630.37
AT ITER 3308 NEW BEST:: SOT 1850984 SOS 287075 HAS SOPS 287075 HAS SOUS 207089 HAS SOUPS 207089 WITH SCORE 207376.075
AT ITER 3331 NEW BEST:: SOT 1850849 SOS 286872 HAS SOPS 286872 HAS SOUS 206836 HAS SOUPS 206836 WITH SCORE 207122.872
AT ITER 3350 NEW BEST:: SOT 1850695 SOS 286827 HAS SOPS 286827 HAS SOUS 206769 HAS SOUPS 206769 WITH SCORE 207055.827
AT ITER 3353 NEW BEST:: SOT 1850714 SOS 286813 HAS SOPS 286813 HAS SOUS 206754 HAS SOUPS 206754 WITH SCORE 207040.813
AT ITER 3359 NEW BEST:: SOT 1850714 SOS 286806 HAS SOPS 286806 HAS SOUS 206747 HAS SOUPS 206747 WITH SCORE 207033.806
AT ITER 3394 NEW BEST:: SOT 1850656 SOS 286634 HAS SOPS 286634 HAS SOUS 206687 HAS SOUPS 206687 WITH SCORE 206973.634
AT ITER 3437 NEW BEST:: SOT 1850656 SOS 286634 HAS SOPS 286634 HAS SOUS 206660 HAS SOUPS 206660 WITH SCORE 206946.634
AT ITER 3482 NEW BEST:: SOT 1850625 SOS 286572 HAS SOPS 286572 HAS SOUS 206598 HAS SOUPS 206598 WITH SCORE 206884.572
AT ITER 3484 NEW BEST:: SOT 1850686 SOS 286713 HAS SOPS 286713 HAS SOUS 206546 HAS SOUPS 206546 WITH SCORE 206832.713
AT ITER 3498 NEW BEST:: SOT 1850668 SOS 286677 HAS SOPS 286677 HAS SOUS 206528 HAS SOUPS 206528 WITH SCORE 206814.677
AT ITER 3514 NEW BEST:: SOT 1850602 SOS 286601 HAS SOPS 286601 HAS SOUS 206452 HAS SOUPS 206452 WITH SCORE 206738.601
AT ITER 3538 NEW BEST:: SOT 1850572 SOS 286581 HAS SOPS 286581 HAS SOUS 206432 HAS SOUPS 206432 WITH SCORE 206718.581
AT ITER 3563 NEW BEST:: SOT 1850491 SOS 286419 HAS SOPS 286419 HAS SOUS 206289 HAS SOUPS 206289 WITH SCORE 206575.419
AT ITER 3566 NEW BEST:: SOT 1850430 SOS 286339 HAS SOPS 286339 HAS SOUS 206209 HAS SOUPS 206209 WITH SCORE 206495.339
AT ITER 3583 NEW BEST:: SOT 1850394 SOS 286207 HAS SOPS 286207 HAS SOUS 206120 HAS SOUPS 206120 WITH SCORE 206406.207
AT ITER 3594 NEW BEST:: SOT 1850394 SOS 286167 HAS SOPS 286167 HAS SOUS 206088 HAS SOUPS 206088 WITH SCORE 206374.167
AT ITER 3624 NEW BEST:: SOT 1850345 SOS 286755 HAS SOPS 286755 HAS SOUS 206085 HAS SOUPS 206085 WITH SCORE 206371.755
AT ITER 3627 NEW BEST:: SOT 1850228 SOS 286712 HAS SOPS 286712 HAS SOUS 206042 HAS SOUPS 206042 WITH SCORE 206328.712
AT ITER 3645 NEW BEST:: SOT 1850195 SOS 286646 HAS SOPS 286646 HAS SOUS 205988 HAS SOUPS 205988 WITH SCORE 206274.646
AT ITER 3646 NEW BEST:: SOT 1850176 SOS 286608 HAS SOPS 286608 HAS SOUS 205969 HAS SOUPS 205969 WITH SCORE 206255.608
AT ITER 3653 NEW BEST:: SOT 1850057 SOS 286282 HAS SOPS 286282 HAS SOUS 205843 HAS SOUPS 205843 WITH SCORE 206129.282
AT ITER 3825 NEW BEST:: SOT 1850007 SOS 286182 HAS SOPS 286182 HAS SOUS 205705 HAS SOUPS 205705 WITH SCORE 205991.182
AT ITER 3842 NEW BEST:: SOT 1850066 SOS 287306 HAS SOPS 287306 HAS SOUS 205653 HAS SOUPS 205653 WITH SCORE 205940.306
AT ITER 3852 NEW BEST:: SOT 1849904 SOS 287198 HAS SOPS 287198 HAS SOUS 205601 HAS SOUPS 205601 WITH SCORE 205888.198
AT ITER 3874 NEW BEST:: SOT 1849864 SOS 287158 HAS SOPS 287158 HAS SOUS 205561 HAS SOUPS 205561 WITH SCORE 205848.158
AT ITER 3924 NEW BEST:: SOT 1849864 SOS 287116 HAS SOPS 287116 HAS SOUS 205519 HAS SOUPS 205519 WITH SCORE 205806.116
AT ITER 3964 NEW BEST:: SOT 1849863 SOS 286943 HAS SOPS 286943 HAS SOUS 205500 HAS SOUPS 205500 WITH SCORE 205786.943
AT ITER 3985 NEW BEST:: SOT 1849834 SOS 286806 HAS SOPS 286806 HAS SOUS 205383 HAS SOUPS 205383 WITH SCORE 205669.806
AT ITER 3987 NEW BEST:: SOT 1849816 SOS 286770 HAS SOPS 286770 HAS SOUS 205347 HAS SOUPS 205347 WITH SCORE 205633.77
AT ITER 3997 NEW BEST:: SOT 1849775 SOS 286565 HAS SOPS 286565 HAS SOUS 205345 HAS SOUPS 205345 WITH SCORE 205631.565
AT ITER 4001 NEW BEST:: SOT 1849775 SOS 286565 HAS SOPS 286565 HAS SOUS 205332 HAS SOUPS 205332 WITH SCORE 205618.565
AT ITER 4007 NEW BEST:: SOT 1849753 SOS 286521 HAS SOPS 286521 HAS SOUS 205326 HAS SOUPS 205326 WITH SCORE 205612.521
AT ITER 4047 NEW BEST:: SOT 1849720 SOS 286486 HAS SOPS 286486 HAS SOUS 205291 HAS SOUPS 205291 WITH SCORE 205577.486
AT ITER 4068 NEW BEST:: SOT 1849650 SOS 286304 HAS SOPS 286304 HAS SOUS 205025 HAS SOUPS 205025 WITH SCORE 205311.304
AT ITER 4127 NEW BEST:: SOT 1849599 SOS 286202 HAS SOPS 286202 HAS SOUS 204923 HAS SOUPS 204923 WITH SCORE 205209.202
AT ITER 4141 NEW BEST:: SOT 1849505 SOS 286108 HAS SOPS 286108 HAS SOUS 204829 HAS SOUPS 204829 WITH SCORE 205115.108
AT ITER 4168 NEW BEST:: SOT 1849242 SOS 285921 HAS SOPS 285921 HAS SOUS 204550 HAS SOUPS 204550 WITH SCORE 204835.921
AT ITER 4173 NEW BEST:: SOT 1848909 SOS 285913 HAS SOPS 285913 HAS SOUS 204264 HAS SOUPS 204264 WITH SCORE 204549.913
AT ITER 4232 NEW BEST:: SOT 1848927 SOS 285766 HAS SOPS 285766 HAS SOUS 204207 HAS SOUPS 204207 WITH SCORE 204492.766
AT ITER 4233 NEW BEST:: SOT 1848919 SOS 285815 HAS SOPS 285815 HAS SOUS 204163 HAS SOUPS 204163 WITH SCORE 204448.815
AT ITER 4264 NEW BEST:: SOT 1847673 SOS 298245 HAS SOPS 298245 HAS SOUS 203829 HAS SOUPS 203829 WITH SCORE 204127.245
AT ITER 4303 NEW BEST:: SOT 1847673 SOS 298245 HAS SOPS 298245 HAS SOUS 203751 HAS SOUPS 203751 WITH SCORE 204049.245
AT ITER 4354 NEW BEST:: SOT 1847519 SOS 298095 HAS SOPS 298095 HAS SOUS 203597 HAS SOUPS 203597 WITH SCORE 203895.095
AT ITER 4363 NEW BEST:: SOT 1847506 SOS 298069 HAS SOPS 298069 HAS SOUS 203558 HAS SOUPS 203558 WITH SCORE 203856.069
AT ITER 4389 NEW BEST:: SOT 1847582 SOS 298101 HAS SOPS 298101 HAS SOUS 203549 HAS SOUPS 203549 WITH SCORE 203847.101
AT ITER 4397 NEW BEST:: SOT 1847617 SOS 297975 HAS SOPS 297975 HAS SOUS 203486 HAS SOUPS 203486 WITH SCORE 203783.975
AT ITER 4476 NEW BEST:: SOT 1847611 SOS 297937 HAS SOPS 297937 HAS SOUS 203479 HAS SOUPS 203479 WITH SCORE 203776.937
AT ITER 4479 NEW BEST:: SOT 1847602 SOS 297939 HAS SOPS 297939 HAS SOUS 203469 HAS SOUPS 203469 WITH SCORE 203766.939
AT ITER 4525 NEW BEST:: SOT 1847642 SOS 297853 HAS SOPS 297853 HAS SOUS 203456 HAS SOUPS 203456 WITH SCORE 203753.853
AT ITER 4557 NEW BEST:: SOT 1847432 SOS 297338 HAS SOPS 297338 HAS SOUS 203271 HAS SOUPS 203271 WITH SCORE 203568.338
AT ITER 4595 NEW BEST:: SOT 1847228 SOS 297119 HAS SOPS 297119 HAS SOUS 202950 HAS SOUPS 202950 WITH SCORE 203247.119
AT ITER 4644 NEW BEST:: SOT 1847195 SOS 297449 HAS SOPS 297449 HAS SOUS 202917 HAS SOUPS 202917 WITH SCORE 203214.449
AT ITER 4646 NEW BEST:: SOT 1846733 SOS 297060 HAS SOPS 297060 HAS SOUS 202369 HAS SOUPS 202369 WITH SCORE 202666.06
AT ITER 4673 NEW BEST:: SOT 1846749 SOS 296954 HAS SOPS 296954 HAS SOUS 202307 HAS SOUPS 202307 WITH SCORE 202603.954
AT ITER 4680 NEW BEST:: SOT 1846717 SOS 296880 HAS SOPS 296880 HAS SOUS 202272 HAS SOUPS 202272 WITH SCORE 202568.88
AT ITER 4718 NEW BEST:: SOT 1846619 SOS 296607 HAS SOPS 296607 HAS SOUS 202098 HAS SOUPS 202098 WITH SCORE 202394.607
AT ITER 4758 NEW BEST:: SOT 1846591 SOS 296551 HAS SOPS 296551 HAS SOUS 202041 HAS SOUPS 202041 WITH SCORE 202337.551
AT ITER 4762 NEW BEST:: SOT 1846571 SOS 296511 HAS SOPS 296511 HAS SOUS 202021 HAS SOUPS 202021 WITH SCORE 202317.511
AT ITER 4776 NEW BEST:: SOT 1846519 SOS 296459 HAS SOPS 296459 HAS SOUS 201901 HAS SOUPS 201901 WITH SCORE 202197.459
AT ITER 4787 NEW BEST:: SOT 1846519 SOS 296459 HAS SOPS 296459 HAS SOUS 201885 HAS SOUPS 201885 WITH SCORE 202181.459
AT ITER 4818 NEW BEST:: SOT 1846437 SOS 296310 HAS SOPS 296310 HAS SOUS 201856 HAS SOUPS 201856 WITH SCORE 202152.31
AT ITER 4830 NEW BEST:: SOT 1846413 SOS 296274 HAS SOPS 296274 HAS SOUS 201818 HAS SOUPS 201818 WITH SCORE 202114.274
AT ITER 4834 NEW BEST:: SOT 1846125 SOS 296024 HAS SOPS 296024 HAS SOUS 201514 HAS SOUPS 201514 WITH SCORE 201810.024
AT ITER 4865 NEW BEST:: SOT 1845693 SOS 297220 HAS SOPS 297220 HAS SOUS 201435 HAS SOUPS 201435 WITH SCORE 201732.22
AT ITER 4882 NEW BEST:: SOT 1845677 SOS 297216 HAS SOPS 297216 HAS SOUS 201403 HAS SOUPS 201403 WITH SCORE 201700.216
AT ITER 4927 NEW BEST:: SOT 1845654 SOS 297277 HAS SOPS 297277 HAS SOUS 201357 HAS SOUPS 201357 WITH SCORE 201654.277
AT ITER 4937 NEW BEST:: SOT 1845654 SOS 297278 HAS SOPS 297278 HAS SOUS 201354 HAS SOUPS 201354 WITH SCORE 201651.278
AT ITER 4939 NEW BEST:: SOT 1845600 SOS 297238 HAS SOPS 297238 HAS SOUS 201332 HAS SOUPS 201332 WITH SCORE 201629.238
AT ITER 4943 NEW BEST:: SOT 1845582 SOS 297115 HAS SOPS 297115 HAS SOUS 201260 HAS SOUPS 201260 WITH SCORE 201557.115
AT ITER 4984 NEW BEST:: SOT 1845479 SOS 297087 HAS SOPS 297087 HAS SOUS 201191 HAS SOUPS 201191 WITH SCORE 201488.087
AT ITER 5001 NEW BEST:: SOT 1845019 SOS 296476 HAS SOPS 296476 HAS SOUS 200821 HAS SOUPS 200821 WITH SCORE 201117.476
AT ITER 5004 NEW BEST:: SOT 1845032 SOS 296438 HAS SOPS 296438 HAS SOUS 200791 HAS SOUPS 200791 WITH SCORE 201087.438
AT ITER 5014 NEW BEST:: SOT 1845032 SOS 296438 HAS SOPS 296438 HAS SOUS 200783 HAS SOUPS 200783 WITH SCORE 201079.438
AT ITER 5048 NEW BEST:: SOT 1845013 SOS 296419 HAS SOPS 296419 HAS SOUS 200765 HAS SOUPS 200765 WITH SCORE 201061.419
AT ITER 5053 NEW BEST:: SOT 1844915 SOS 296272 HAS SOPS 296272 HAS SOUS 200569 HAS SOUPS 200569 WITH SCORE 200865.272
AT ITER 5097 NEW BEST:: SOT 1844880 SOS 296237 HAS SOPS 296237 HAS SOUS 200534 HAS SOUPS 200534 WITH SCORE 200830.237
AT ITER 5108 NEW BEST:: SOT 1844821 SOS 295942 HAS SOPS 295942 HAS SOUS 200471 HAS SOUPS 200471 WITH SCORE 200766.942
AT ITER 5144 NEW BEST:: SOT 1844854 SOS 296175 HAS SOPS 296175 HAS SOUS 200420 HAS SOUPS 200420 WITH SCORE 200716.175
AT ITER 5165 NEW BEST:: SOT 1844771 SOS 297097 HAS SOPS 297097 HAS SOUS 199641 HAS SOUPS 199641 WITH SCORE 199938.097
AT ITER 5215 NEW BEST:: SOT 1844711 SOS 296998 HAS SOPS 296998 HAS SOUS 199592 HAS SOUPS 199592 WITH SCORE 199888.998
AT ITER 5229 NEW BEST:: SOT 1844619 SOS 296906 HAS SOPS 296906 HAS SOUS 199439 HAS SOUPS 199439 WITH SCORE 199735.906
AT ITER 5235 NEW BEST:: SOT 1844575 SOS 296834 HAS SOPS 296834 HAS SOUS 199304 HAS SOUPS 199304 WITH SCORE 199600.834
AT ITER 5250 NEW BEST:: SOT 1844575 SOS 296758 HAS SOPS 296758 HAS SOUS 199228 HAS SOUPS 199228 WITH SCORE 199524.758
AT ITER 5268 NEW BEST:: SOT 1844481 SOS 296288 HAS SOPS 296288 HAS SOUS 199087 HAS SOUPS 199087 WITH SCORE 199383.288
AT ITER 5284 NEW BEST:: SOT 1844397 SOS 296167 HAS SOPS 296167 HAS SOUS 198957 HAS SOUPS 198957 WITH SCORE 199253.167
AT ITER 5301 NEW BEST:: SOT 1844229 SOS 295858 HAS SOPS 295858 HAS SOUS 198640 HAS SOUPS 198640 WITH SCORE 198935.858
AT ITER 5346 NEW BEST:: SOT 1844227 SOS 295854 HAS SOPS 295854 HAS SOUS 198638 HAS SOUPS 198638 WITH SCORE 198933.854
AT ITER 5351 NEW BEST:: SOT 1844202 SOS 295829 HAS SOPS 295829 HAS SOUS 198618 HAS SOUPS 198618 WITH SCORE 198913.829
AT ITER 5367 NEW BEST:: SOT 1844121 SOS 295571 HAS SOPS 295571 HAS SOUS 198537 HAS SOUPS 198537 WITH SCORE 198832.571
AT ITER 5377 NEW BEST:: SOT 1844070 SOS 295520 HAS SOPS 295520 HAS SOUS 198533 HAS SOUPS 198533 WITH SCORE 198828.52
AT ITER 5405 NEW BEST:: SOT 1844092 SOS 295542 HAS SOPS 295542 HAS SOUS 198511 HAS SOUPS 198511 WITH SCORE 198806.542
AT ITER 5425 NEW BEST:: SOT 1844040 SOS 295490 HAS SOPS 295490 HAS SOUS 198459 HAS SOUPS 198459 WITH SCORE 198754.49
AT ITER 5466 NEW BEST:: SOT 1844016 SOS 295442 HAS SOPS 295442 HAS SOUS 198427 HAS SOUPS 198427 WITH SCORE 198722.442
AT ITER 5472 NEW BEST:: SOT 1844016 SOS 295413 HAS SOPS 295413 HAS SOUS 198427 HAS SOUPS 198427 WITH SCORE 198722.413
AT ITER 5493 NEW BEST:: SOT 1844016 SOS 294547 HAS SOPS 294547 HAS SOUS 198308 HAS SOUPS 198308 WITH SCORE 198602.547
AT ITER 5565 NEW BEST:: SOT 1843838 SOS 294226 HAS SOPS 294226 HAS SOUS 198059 HAS SOUPS 198059 WITH SCORE 198353.226
AT ITER 5615 NEW BEST:: SOT 1843825 SOS 294128 HAS SOPS 294128 HAS SOUS 197973 HAS SOUPS 197973 WITH SCORE 198267.128
AT ITER 5624 NEW BEST:: SOT 1843798 SOS 294147 HAS SOPS 294147 HAS SOUS 197944 HAS SOUPS 197944 WITH SCORE 198238.147
AT ITER 5636 NEW BEST:: SOT 1843788 SOS 294032 HAS SOPS 294032 HAS SOUS 197929 HAS SOUPS 197929 WITH SCORE 198223.032
AT ITER 5689 NEW BEST:: SOT 1843769 SOS 293760 HAS SOPS 293760 HAS SOUS 197835 HAS SOUPS 197835 WITH SCORE 198128.76
AT ITER 5715 NEW BEST:: SOT 1843700 SOS 293656 HAS SOPS 293656 HAS SOUS 197698 HAS SOUPS 197698 WITH SCORE 197991.656
AT ITER 5717 NEW BEST:: SOT 1843700 SOS 293842 HAS SOPS 293842 HAS SOUS 197660 HAS SOUPS 197660 WITH SCORE 197953.842
AT ITER 5750 NEW BEST:: SOT 1843042 SOS 293865 HAS SOPS 293865 HAS SOUS 197383 HAS SOUPS 197383 WITH SCORE 197676.865
AT ITER 5763 NEW BEST:: SOT 1842985 SOS 293751 HAS SOPS 293751 HAS SOUS 197269 HAS SOUPS 197269 WITH SCORE 197562.751
AT ITER 5764 NEW BEST:: SOT 1842943 SOS 293490 HAS SOPS 293490 HAS SOUS 197238 HAS SOUPS 197238 WITH SCORE 197531.49
AT ITER 5775 NEW BEST:: SOT 1842850 SOS 293304 HAS SOPS 293304 HAS SOUS 197178 HAS SOUPS 197178 WITH SCORE 197471.304
AT ITER 5801 NEW BEST:: SOT 1842810 SOS 293304 HAS SOPS 293304 HAS SOUS 197130 HAS SOUPS 197130 WITH SCORE 197423.304
AT ITER 5809 NEW BEST:: SOT 1842809 SOS 293303 HAS SOPS 293303 HAS SOUS 197127 HAS SOUPS 197127 WITH SCORE 197420.303
AT ITER 5829 NEW BEST:: SOT 1842782 SOS 293242 HAS SOPS 293242 HAS SOUS 197079 HAS SOUPS 197079 WITH SCORE 197372.242
AT ITER 5857 NEW BEST:: SOT 1842844 SOS 293304 HAS SOPS 293304 HAS SOUS 197018 HAS SOUPS 197018 WITH SCORE 197311.304
AT ITER 5879 NEW BEST:: SOT 1842806 SOS 293228 HAS SOPS 293228 HAS SOUS 197018 HAS SOUPS 197018 WITH SCORE 197311.228
AT ITER 5894 NEW BEST:: SOT 1842781 SOS 293218 HAS SOPS 293218 HAS SOUS 197005 HAS SOUPS 197005 WITH SCORE 197298.218
AT ITER 5934 NEW BEST:: SOT 1842400 SOS 297641 HAS SOPS 297641 HAS SOUS 196779 HAS SOUPS 196779 WITH SCORE 197076.641
AT ITER 5985 NEW BEST:: SOT 1842355 SOS 297436 HAS SOPS 297436 HAS SOUS 196642 HAS SOUPS 196642 WITH SCORE 196939.436
AT ITER 6022 NEW BEST:: SOT 1842091 SOS 297071 HAS SOPS 297071 HAS SOUS 196379 HAS SOUPS 196379 WITH SCORE 196676.071
AT ITER 6112 NEW BEST:: SOT 1842035 SOS 297026 HAS SOPS 297026 HAS SOUS 196334 HAS SOUPS 196334 WITH SCORE 196631.026
AT ITER 6154 NEW BEST:: SOT 1841897 SOS 296750 HAS SOPS 296750 HAS SOUS 196268 HAS SOUPS 196268 WITH SCORE 196564.75
AT ITER 6157 NEW BEST:: SOT 1841968 SOS 296694 HAS SOPS 296694 HAS SOUS 196265 HAS SOUPS 196265 WITH SCORE 196561.694
AT ITER 6248 NEW BEST:: SOT 1842057 SOS 296575 HAS SOPS 296575 HAS SOUS 196146 HAS SOUPS 196146 WITH SCORE 196442.575
AT ITER 6293 NEW BEST:: SOT 1841791 SOS 296384 HAS SOPS 296384 HAS SOUS 195955 HAS SOUPS 195955 WITH SCORE 196251.384
AT ITER 6315 NEW BEST:: SOT 1841727 SOS 296491 HAS SOPS 296491 HAS SOUS 195830 HAS SOUPS 195830 WITH SCORE 196126.491
AT ITER 6323 NEW BEST:: SOT 1841721 SOS 296445 HAS SOPS 296445 HAS SOUS 195784 HAS SOUPS 195784 WITH SCORE 196080.445
AT ITER 6350 NEW BEST:: SOT 1841668 SOS 296445 HAS SOPS 296445 HAS SOUS 195731 HAS SOUPS 195731 WITH SCORE 196027.445
AT ITER 6392 NEW BEST:: SOT 1841415 SOS 296284 HAS SOPS 296284 HAS SOUS 195478 HAS SOUPS 195478 WITH SCORE 195774.284
AT ITER 6410 NEW BEST:: SOT 1841306 SOS 296069 HAS SOPS 296069 HAS SOUS 195367 HAS SOUPS 195367 WITH SCORE 195663.069
AT ITER 6419 NEW BEST:: SOT 1841246 SOS 296029 HAS SOPS 296029 HAS SOUS 195302 HAS SOUPS 195302 WITH SCORE 195598.029
AT ITER 6467 NEW BEST:: SOT 1841224 SOS 295996 HAS SOPS 295996 HAS SOUS 195236 HAS SOUPS 195236 WITH SCORE 195531.996
AT ITER 6519 NEW BEST:: SOT 1841147 SOS 295919 HAS SOPS 295919 HAS SOUS 195159 HAS SOUPS 195159 WITH SCORE 195454.919
AT ITER 6534 NEW BEST:: SOT 1841136 SOS 295897 HAS SOPS 295897 HAS SOUS 195156 HAS SOUPS 195156 WITH SCORE 195451.897
AT ITER 6613 NEW BEST:: SOT 1841077 SOS 295732 HAS SOPS 295732 HAS SOUS 195144 HAS SOUPS 195144 WITH SCORE 195439.732
AT ITER 6646 NEW BEST:: SOT 1841064 SOS 295655 HAS SOPS 295655 HAS SOUS 195096 HAS SOUPS 195096 WITH SCORE 195391.655
AT ITER 6649 NEW BEST:: SOT 1841072 SOS 295684 HAS SOPS 295684 HAS SOUS 195080 HAS SOUPS 195080 WITH SCORE 195375.684
AT ITER 6651 NEW BEST:: SOT 1840963 SOS 295372 HAS SOPS 295372 HAS SOUS 194877 HAS SOUPS 194877 WITH SCORE 195172.372
AT ITER 6664 NEW BEST:: SOT 1840951 SOS 295360 HAS SOPS 295360 HAS SOUS 194865 HAS SOUPS 194865 WITH SCORE 195160.36
AT ITER 6676 NEW BEST:: SOT 1840914 SOS 295286 HAS SOPS 295286 HAS SOUS 194791 HAS SOUPS 194791 WITH SCORE 195086.286
AT ITER 6688 NEW BEST:: SOT 1840794 SOS 294764 HAS SOPS 294764 HAS SOUS 194530 HAS SOUPS 194530 WITH SCORE 194824.764
AT ITER 6697 NEW BEST:: SOT 1840496 SOS 294825 HAS SOPS 294825 HAS SOUS 194260 HAS SOUPS 194260 WITH SCORE 194554.825
AT ITER 6707 NEW BEST:: SOT 1840443 SOS 294785 HAS SOPS 294785 HAS SOUS 194240 HAS SOUPS 194240 WITH SCORE 194534.785
AT ITER 6714 NEW BEST:: SOT 1840423 SOS 294765 HAS SOPS 294765 HAS SOUS 194220 HAS SOUPS 194220 WITH SCORE 194514.765
AT ITER 6722 NEW BEST:: SOT 1840419 SOS 294763 HAS SOPS 294763 HAS SOUS 194214 HAS SOUPS 194214 WITH SCORE 194508.763
AT ITER 6760 NEW BEST:: SOT 1840383 SOS 294709 HAS SOPS 294709 HAS SOUS 194178 HAS SOUPS 194178 WITH SCORE 194472.709
AT ITER 6761 NEW BEST:: SOT 1840383 SOS 294581 HAS SOPS 294581 HAS SOUS 194178 HAS SOUPS 194178 WITH SCORE 194472.581
AT ITER 6778 NEW BEST:: SOT 1840354 SOS 294577 HAS SOPS 294577 HAS SOUS 194149 HAS SOUPS 194149 WITH SCORE 194443.577
AT ITER 6823 NEW BEST:: SOT 1840315 SOS 294352 HAS SOPS 294352 HAS SOUS 194022 HAS SOUPS 194022 WITH SCORE 194316.352
AT ITER 6839 NEW BEST:: SOT 1840290 SOS 294314 HAS SOPS 294314 HAS SOUS 193984 HAS SOUPS 193984 WITH SCORE 194278.314
AT ITER 6844 NEW BEST:: SOT 1840290 SOS 294342 HAS SOPS 294342 HAS SOUS 193938 HAS SOUPS 193938 WITH SCORE 194232.342
AT ITER 6851 NEW BEST:: SOT 1840276 SOS 294283 HAS SOPS 294283 HAS SOUS 193936 HAS SOUPS 193936 WITH SCORE 194230.283
AT ITER 6900 NEW BEST:: SOT 1840255 SOS 294262 HAS SOPS 294262 HAS SOUS 193915 HAS SOUPS 193915 WITH SCORE 194209.262
AT ITER 6957 NEW BEST:: SOT 1840111 SOS 294122 HAS SOPS 294122 HAS SOUS 193845 HAS SOUPS 193845 WITH SCORE 194139.122
AT ITER 6970 NEW BEST:: SOT 1840095 SOS 294138 HAS SOPS 294138 HAS SOUS 193813 HAS SOUPS 193813 WITH SCORE 194107.138
AT ITER 6985 NEW BEST:: SOT 1840075 SOS 294098 HAS SOPS 294098 HAS SOUS 193753 HAS SOUPS 193753 WITH SCORE 194047.098
AT ITER 7030 NEW BEST:: SOT 1840046 SOS 294135 HAS SOPS 294135 HAS SOUS 193709 HAS SOUPS 193709 WITH SCORE 194003.135
AT ITER 7127 NEW BEST:: SOT 1840094 SOS 293418 HAS SOPS 293418 HAS SOUS 193685 HAS SOUPS 193685 WITH SCORE 193978.418
AT ITER 7133 NEW BEST:: SOT 1840001 SOS 293294 HAS SOPS 293294 HAS SOUS 193654 HAS SOUPS 193654 WITH SCORE 193947.294
AT ITER 7153 NEW BEST:: SOT 1839995 SOS 293282 HAS SOPS 293282 HAS SOUS 193642 HAS SOUPS 193642 WITH SCORE 193935.282
AT ITER 7158 NEW BEST:: SOT 1839983 SOS 293262 HAS SOPS 293262 HAS SOUS 193630 HAS SOUPS 193630 WITH SCORE 193923.262
AT ITER 7167 NEW BEST:: SOT 1839888 SOS 293072 HAS SOPS 293072 HAS SOUS 193599 HAS SOUPS 193599 WITH SCORE 193892.072
AT ITER 7277 NEW BEST:: SOT 1839887 SOS 293063 HAS SOPS 293063 HAS SOUS 193596 HAS SOUPS 193596 WITH SCORE 193889.063
AT ITER 7288 NEW BEST:: SOT 1839886 SOS 293062 HAS SOPS 293062 HAS SOUS 193595 HAS SOUPS 193595 WITH SCORE 193888.062
AT ITER 7295 NEW BEST:: SOT 1839876 SOS 293042 HAS SOPS 293042 HAS SOUS 193507 HAS SOUPS 193507 WITH SCORE 193800.042
AT ITER 7345 NEW BEST:: SOT 1839838 SOS 292948 HAS SOPS 292948 HAS SOUS 193469 HAS SOUPS 193469 WITH SCORE 193761.948
AT ITER 7415 NEW BEST:: SOT 1839835 SOS 292951 HAS SOPS 292951 HAS SOUS 193463 HAS SOUPS 193463 WITH SCORE 193755.951
AT ITER 7439 NEW BEST:: SOT 1839633 SOS 292551 HAS SOPS 292551 HAS SOUS 193059 HAS SOUPS 193059 WITH SCORE 193351.551
AT ITER 7448 NEW BEST:: SOT 1839532 SOS 293238 HAS SOPS 293238 HAS SOUS 193016 HAS SOUPS 193016 WITH SCORE 193309.238
AT ITER 7467 NEW BEST:: SOT 1839460 SOS 293070 HAS SOPS 293070 HAS SOUS 192991 HAS SOUPS 192991 WITH SCORE 193284.07
AT ITER 7487 NEW BEST:: SOT 1839178 SOS 292846 HAS SOPS 292846 HAS SOUS 192775 HAS SOUPS 192775 WITH SCORE 193067.846
AT ITER 7496 NEW BEST:: SOT 1839137 SOS 292788 HAS SOPS 292788 HAS SOUS 192734 HAS SOUPS 192734 WITH SCORE 193026.788
AT ITER 7510 NEW BEST:: SOT 1838831 SOS 292555 HAS SOPS 292555 HAS SOUS 192352 HAS SOUPS 192352 WITH SCORE 192644.555
AT ITER 7531 NEW BEST:: SOT 1838823 SOS 292487 HAS SOPS 292487 HAS SOUS 192286 HAS SOUPS 192286 WITH SCORE 192578.487
AT ITER 7550 NEW BEST:: SOT 1838551 SOS 292463 HAS SOPS 292463 HAS SOUS 192224 HAS SOUPS 192224 WITH SCORE 192516.463
AT ITER 7572 NEW BEST:: SOT 1838544 SOS 292409 HAS SOPS 292409 HAS SOUS 192137 HAS SOUPS 192137 WITH SCORE 192429.409
AT ITER 7589 NEW BEST:: SOT 1838537 SOS 292385 HAS SOPS 292385 HAS SOUS 192132 HAS SOUPS 192132 WITH SCORE 192424.385
AT ITER 7590 NEW BEST:: SOT 1838546 SOS 292405 HAS SOPS 292405 HAS SOUS 192102 HAS SOUPS 192102 WITH SCORE 192394.405
AT ITER 7594 NEW BEST:: SOT 1838528 SOS 292491 HAS SOPS 292491 HAS SOUS 192068 HAS SOUPS 192068 WITH SCORE 192360.491
AT ITER 7598 NEW BEST:: SOT 1838519 SOS 292438 HAS SOPS 292438 HAS SOUS 192054 HAS SOUPS 192054 WITH SCORE 192346.438
AT ITER 7613 NEW BEST:: SOT 1838311 SOS 292092 HAS SOPS 292092 HAS SOUS 191761 HAS SOUPS 191761 WITH SCORE 192053.092
AT ITER 7657 NEW BEST:: SOT 1838485 SOS 292115 HAS SOPS 292115 HAS SOUS 191646 HAS SOUPS 191646 WITH SCORE 191938.115
AT ITER 7681 NEW BEST:: SOT 1838476 SOS 292055 HAS SOPS 292055 HAS SOUS 191628 HAS SOUPS 191628 WITH SCORE 191920.055
AT ITER 7693 NEW BEST:: SOT 1838499 SOS 292010 HAS SOPS 292010 HAS SOUS 191540 HAS SOUPS 191540 WITH SCORE 191832.01
AT ITER 7708 NEW BEST:: SOT 1838439 SOS 291948 HAS SOPS 291948 HAS SOUS 191534 HAS SOUPS 191534 WITH SCORE 191825.948
AT ITER 7788 NEW BEST:: SOT 1838293 SOS 291567 HAS SOPS 291567 HAS SOUS 191528 HAS SOUPS 191528 WITH SCORE 191819.567
AT ITER 7807 NEW BEST:: SOT 1838031 SOS 291715 HAS SOPS 291715 HAS SOUS 191445 HAS SOUPS 191445 WITH SCORE 191736.715
AT ITER 7815 NEW BEST:: SOT 1837932 SOS 291747 HAS SOPS 291747 HAS SOUS 191436 HAS SOUPS 191436 WITH SCORE 191727.747
AT ITER 7844 NEW BEST:: SOT 1837929 SOS 291744 HAS SOPS 291744 HAS SOUS 191412 HAS SOUPS 191412 WITH SCORE 191703.744
AT ITER 7922 NEW BEST:: SOT 1838032 SOS 291847 HAS SOPS 291847 HAS SOUS 191406 HAS SOUPS 191406 WITH SCORE 191697.847
AT ITER 7949 NEW BEST:: SOT 1837953 SOS 291737 HAS SOPS 291737 HAS SOUS 191275 HAS SOUPS 191275 WITH SCORE 191566.737
AT ITER 7957 NEW BEST:: SOT 1837927 SOS 291633 HAS SOPS 291633 HAS SOUS 191249 HAS SOUPS 191249 WITH SCORE 191540.633
AT ITER 7975 NEW BEST:: SOT 1837923 SOS 291633 HAS SOPS 291633 HAS SOUS 191245 HAS SOUPS 191245 WITH SCORE 191536.633
AT ITER 7981 NEW BEST:: SOT 1837981 SOS 291947 HAS SOPS 291947 HAS SOUS 191236 HAS SOUPS 191236 WITH SCORE 191527.947
AT ITER 7983 NEW BEST:: SOT 1837986 SOS 291880 HAS SOPS 291880 HAS SOUS 191207 HAS SOUPS 191207 WITH SCORE 191498.88
AT ITER 7995 NEW BEST:: SOT 1837958 SOS 291838 HAS SOPS 291838 HAS SOUS 191165 HAS SOUPS 191165 WITH SCORE 191456.838
AT ITER 8008 NEW BEST:: SOT 1838014 SOS 291871 HAS SOPS 291871 HAS SOUS 191028 HAS SOUPS 191028 WITH SCORE 191319.871
AT ITER 8029 NEW BEST:: SOT 1837974 SOS 291676 HAS SOPS 291676 HAS SOUS 190858 HAS SOUPS 190858 WITH SCORE 191149.676
AT ITER 8037 NEW BEST:: SOT 1837944 SOS 291636 HAS SOPS 291636 HAS SOUS 190842 HAS SOUPS 190842 WITH SCORE 191133.636
AT ITER 8041 NEW BEST:: SOT 1837853 SOS 291553 HAS SOPS 291553 HAS SOUS 190755 HAS SOUPS 190755 WITH SCORE 191046.553
AT ITER 8044 NEW BEST:: SOT 1837916 SOS 291488 HAS SOPS 291488 HAS SOUS 190660 HAS SOUPS 190660 WITH SCORE 190951.488
AT ITER 8078 NEW BEST:: SOT 1837777 SOS 290746 HAS SOPS 290746 HAS SOUS 190487 HAS SOUPS 190487 WITH SCORE 190777.746
AT ITER 8112 NEW BEST:: SOT 1837660 SOS 290653 HAS SOPS 290653 HAS SOUS 190409 HAS SOUPS 190409 WITH SCORE 190699.653
AT ITER 8132 NEW BEST:: SOT 1837536 SOS 290782 HAS SOPS 290782 HAS SOUS 190293 HAS SOUPS 190293 WITH SCORE 190583.782
AT ITER 8204 NEW BEST:: SOT 1837489 SOS 290712 HAS SOPS 290712 HAS SOUS 190223 HAS SOUPS 190223 WITH SCORE 190513.712
AT ITER 8242 NEW BEST:: SOT 1837485 SOS 290551 HAS SOPS 290551 HAS SOUS 190164 HAS SOUPS 190164 WITH SCORE 190454.551
AT ITER 8250 NEW BEST:: SOT 1837487 SOS 290500 HAS SOPS 290500 HAS SOUS 190124 HAS SOUPS 190124 WITH SCORE 190414.5
AT ITER 8251 NEW BEST:: SOT 1837472 SOS 290485 HAS SOPS 290485 HAS SOUS 190109 HAS SOUPS 190109 WITH SCORE 190399.485
AT ITER 8265 NEW BEST:: SOT 1837446 SOS 290572 HAS SOPS 290572 HAS SOUS 189855 HAS SOUPS 189855 WITH SCORE 190145.572
AT ITER 8272 NEW BEST:: SOT 1837399 SOS 290530 HAS SOPS 290530 HAS SOUS 189695 HAS SOUPS 189695 WITH SCORE 189985.53
AT ITER 8309 NEW BEST:: SOT 1837397 SOS 290524 HAS SOPS 290524 HAS SOUS 189691 HAS SOUPS 189691 WITH SCORE 189981.524
AT ITER 8408 NEW BEST:: SOT 1837410 SOS 290454 HAS SOPS 290454 HAS SOUS 189675 HAS SOUPS 189675 WITH SCORE 189965.454
AT ITER 8444 NEW BEST:: SOT 1837328 SOS 290372 HAS SOPS 290372 HAS SOUS 189593 HAS SOUPS 189593 WITH SCORE 189883.372
AT ITER 8455 NEW BEST:: SOT 1837211 SOS 290484 HAS SOPS 290484 HAS SOUS 189283 HAS SOUPS 189283 WITH SCORE 189573.484
AT ITER 8471 NEW BEST:: SOT 1837085 SOS 290182 HAS SOPS 290182 HAS SOUS 189135 HAS SOUPS 189135 WITH SCORE 189425.182
AT ITER 8501 NEW BEST:: SOT 1836970 SOS 290041 HAS SOPS 290041 HAS SOUS 189027 HAS SOUPS 189027 WITH SCORE 189317.041
AT ITER 8544 NEW BEST:: SOT 1836939 SOS 289961 HAS SOPS 289961 HAS SOUS 188858 HAS SOUPS 188858 WITH SCORE 189147.961
AT ITER 8558 NEW BEST:: SOT 1836844 SOS 289633 HAS SOPS 289633 HAS SOUS 188736 HAS SOUPS 188736 WITH SCORE 189025.633
AT ITER 8559 NEW BEST:: SOT 1836787 SOS 289519 HAS SOPS 289519 HAS SOUS 188508 HAS SOUPS 188508 WITH SCORE 188797.519
AT ITER 8589 NEW BEST:: SOT 1836757 SOS 289516 HAS SOPS 289516 HAS SOUS 188467 HAS SOUPS 188467 WITH SCORE 188756.516
AT ITER 8631 NEW BEST:: SOT 1836748 SOS 289374 HAS SOPS 289374 HAS SOUS 188445 HAS SOUPS 188445 WITH SCORE 188734.374
AT ITER 8658 NEW BEST:: SOT 1836688 SOS 289160 HAS SOPS 289160 HAS SOUS 188385 HAS SOUPS 188385 WITH SCORE 188674.16
AT ITER 8717 NEW BEST:: SOT 1836672 SOS 289144 HAS SOPS 289144 HAS SOUS 188368 HAS SOUPS 188368 WITH SCORE 188657.144
AT ITER 8722 NEW BEST:: SOT 1836654 SOS 289120 HAS SOPS 289120 HAS SOUS 188368 HAS SOUPS 188368 WITH SCORE 188657.12
AT ITER 8776 NEW BEST:: SOT 1836593 SOS 289059 HAS SOPS 289059 HAS SOUS 188368 HAS SOUPS 188368 WITH SCORE 188657.059
AT ITER 8798 NEW BEST:: SOT 1836593 SOS 289024 HAS SOPS 289024 HAS SOUS 188333 HAS SOUPS 188333 WITH SCORE 188622.024
AT ITER 8802 NEW BEST:: SOT 1836503 SOS 288619 HAS SOPS 288619 HAS SOUS 188198 HAS SOUPS 188198 WITH SCORE 188486.619
AT ITER 8817 NEW BEST:: SOT 1836503 SOS 288787 HAS SOPS 288787 HAS SOUS 188178 HAS SOUPS 188178 WITH SCORE 188466.787
AT ITER 8829 NEW BEST:: SOT 1836456 SOS 288740 HAS SOPS 288740 HAS SOUS 188131 HAS SOUPS 188131 WITH SCORE 188419.74
AT ITER 8841 NEW BEST:: SOT 1836408 SOS 288644 HAS SOPS 288644 HAS SOUS 188035 HAS SOUPS 188035 WITH SCORE 188323.644
AT ITER 8899 NEW BEST:: SOT 1835744 SOS 288380 HAS SOPS 288380 HAS SOUS 187829 HAS SOUPS 187829 WITH SCORE 188117.38
AT ITER 8900 NEW BEST:: SOT 1835733 SOS 288235 HAS SOPS 288235 HAS SOUS 187808 HAS SOUPS 187808 WITH SCORE 188096.235
AT ITER 8937 NEW BEST:: SOT 1835538 SOS 288124 HAS SOPS 288124 HAS SOUS 187697 HAS SOUPS 187697 WITH SCORE 187985.124
AT ITER 8963 NEW BEST:: SOT 1835408 SOS 287994 HAS SOPS 287994 HAS SOUS 187665 HAS SOUPS 187665 WITH SCORE 187952.994
AT ITER 8970 NEW BEST:: SOT 1835407 SOS 287993 HAS SOPS 287993 HAS SOUS 187652 HAS SOUPS 187652 WITH SCORE 187939.993
AT ITER 9082 NEW BEST:: SOT 1835447 SOS 287967 HAS SOPS 287967 HAS SOUS 187541 HAS SOUPS 187541 WITH SCORE 187828.967
AT ITER 9098 NEW BEST:: SOT 1835305 SOS 287423 HAS SOPS 287423 HAS SOUS 187481 HAS SOUPS 187481 WITH SCORE 187768.423
AT ITER 9109 NEW BEST:: SOT 1835296 SOS 287407 HAS SOPS 287407 HAS SOUS 187469 HAS SOUPS 187469 WITH SCORE 187756.407
AT ITER 9149 NEW BEST:: SOT 1835648 SOS 287898 HAS SOPS 287898 HAS SOUS 187458 HAS SOUPS 187458 WITH SCORE 187745.898
AT ITER 9164 NEW BEST:: SOT 1835608 SOS 287818 HAS SOPS 287818 HAS SOUS 187418 HAS SOUPS 187418 WITH SCORE 187705.818
AT ITER 9188 NEW BEST:: SOT 1835422 SOS 287797 HAS SOPS 287797 HAS SOUS 187355 HAS SOUPS 187355 WITH SCORE 187642.797
AT ITER 9197 NEW BEST:: SOT 1835416 SOS 287779 HAS SOPS 287779 HAS SOUS 187355 HAS SOUPS 187355 WITH SCORE 187642.779
AT ITER 9213 NEW BEST:: SOT 1835386 SOS 287726 HAS SOPS 287726 HAS SOUS 187325 HAS SOUPS 187325 WITH SCORE 187612.726
AT ITER 9229 NEW BEST:: SOT 1835323 SOS 287682 HAS SOPS 287682 HAS SOUS 187277 HAS SOUPS 187277 WITH SCORE 187564.682
AT ITER 9269 NEW BEST:: SOT 1835309 SOS 287633 HAS SOPS 287633 HAS SOUS 187249 HAS SOUPS 187249 WITH SCORE 187536.633
AT ITER 9270 NEW BEST:: SOT 1835296 SOS 287620 HAS SOPS 287620 HAS SOUS 187236 HAS SOUPS 187236 WITH SCORE 187523.62
AT ITER 9334 NEW BEST:: SOT 1835294 SOS 287618 HAS SOPS 287618 HAS SOUS 187234 HAS SOUPS 187234 WITH SCORE 187521.618
AT ITER 9349 NEW BEST:: SOT 1835324 SOS 282100 HAS SOPS 282100 HAS SOUS 187210 HAS SOUPS 187210 WITH SCORE 187492.1
AT ITER 9370 NEW BEST:: SOT 1835268 SOS 281876 HAS SOPS 281876 HAS SOUS 187094 HAS SOUPS 187094 WITH SCORE 187375.876
AT ITER 9411 NEW BEST:: SOT 1835134 SOS 281758 HAS SOPS 281758 HAS SOUS 187006 HAS SOUPS 187006 WITH SCORE 187287.758
AT ITER 9444 NEW BEST:: SOT 1835185 SOS 281758 HAS SOPS 281758 HAS SOUS 186989 HAS SOUPS 186989 WITH SCORE 187270.758
AT ITER 9524 NEW BEST:: SOT 1834809 SOS 281103 HAS SOPS 281103 HAS SOUS 186916 HAS SOUPS 186916 WITH SCORE 187197.103
AT ITER 9540 NEW BEST:: SOT 1834670 SOS 280692 HAS SOPS 280692 HAS SOUS 186660 HAS SOUPS 186660 WITH SCORE 186940.692
AT ITER 9561 NEW BEST:: SOT 1834512 SOS 280635 HAS SOPS 280635 HAS SOUS 186499 HAS SOUPS 186499 WITH SCORE 186779.635
AT ITER 9582 NEW BEST:: SOT 1834510 SOS 280619 HAS SOPS 280619 HAS SOUS 186492 HAS SOUPS 186492 WITH SCORE 186772.619
AT ITER 9617 NEW BEST:: SOT 1834447 SOS 280556 HAS SOPS 280556 HAS SOUS 186366 HAS SOUPS 186366 WITH SCORE 186646.556
AT ITER 9713 NEW BEST:: SOT 1834435 SOS 280544 HAS SOPS 280544 HAS SOUS 186354 HAS SOUPS 186354 WITH SCORE 186634.544
AT ITER 9722 NEW BEST:: SOT 1833771 SOS 280536 HAS SOPS 280536 HAS SOUS 185849 HAS SOUPS 185849 WITH SCORE 186129.536
AT ITER 9742 NEW BEST:: SOT 1833685 SOS 280466 HAS SOPS 280466 HAS SOUS 185813 HAS SOUPS 185813 WITH SCORE 186093.466
AT ITER 9769 NEW BEST:: SOT 1833677 SOS 280480 HAS SOPS 280480 HAS SOUS 185802 HAS SOUPS 185802 WITH SCORE 186082.48
AT ITER 9795 NEW BEST:: SOT 1833677 SOS 280474 HAS SOPS 280474 HAS SOUS 185796 HAS SOUPS 185796 WITH SCORE 186076.474
AT ITER 9811 NEW BEST:: SOT 1833620 SOS 280276 HAS SOPS 280276 HAS SOUS 185729 HAS SOUPS 185729 WITH SCORE 186009.276
AT ITER 9839 NEW BEST:: SOT 1833592 SOS 280262 HAS SOPS 280262 HAS SOUS 185697 HAS SOUPS 185697 WITH SCORE 185977.262
AT ITER 9850 NEW BEST:: SOT 1833559 SOS 280229 HAS SOPS 280229 HAS SOUS 185598 HAS SOUPS 185598 WITH SCORE 185878.229
AT ITER 9885 NEW BEST:: SOT 1833542 SOS 280191 HAS SOPS 280191 HAS SOUS 185547 HAS SOUPS 185547 WITH SCORE 185827.191
AT ITER 9887 NEW BEST:: SOT 1833176 SOS 281521 HAS SOPS 281521 HAS SOUS 185538 HAS SOUPS 185538 WITH SCORE 185819.521
AT ITER 9888 NEW BEST:: SOT 1833192 SOS 281552 HAS SOPS 281552 HAS SOUS 185430 HAS SOUPS 185430 WITH SCORE 185711.552
AT ITER 9907 NEW BEST:: SOT 1833188 SOS 281544 HAS SOPS 281544 HAS SOUS 185419 HAS SOUPS 185419 WITH SCORE 185700.544
AT ITER 9922 NEW BEST:: SOT 1833130 SOS 281486 HAS SOPS 281486 HAS SOUS 185361 HAS SOUPS 185361 WITH SCORE 185642.486
AT ITER 9976 NEW BEST:: SOT 1832954 SOS 281250 HAS SOPS 281250 HAS SOUS 185177 HAS SOUPS 185177 WITH SCORE 185458.25

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is 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 r108-csrt-158961250500424"
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 ;