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-158961250500408.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-5B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 692K
-rw-r--r-- 1 mcc users 3.1K Apr 8 15:05 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 8 15:05 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 7 18:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Apr 6 20:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 6 20:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 6 04:00 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 6 04:00 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 525K 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 1589642275510

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5B
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 1571 places, 2173 transitions, 6109 arcs.
AT ITER 0 NEW BEST:: SOT 1846019 SOS 295120 HAS SOPS 295120 HAS SOUS 236109 HAS SOUPS 236109 WITH SCORE 236404.12
AT ITER 33 NEW BEST:: SOT 1845430 SOS 294714 HAS SOPS 294714 HAS SOUS 235699 HAS SOUPS 235699 WITH SCORE 235993.714
AT ITER 66 NEW BEST:: SOT 1845448 SOS 294580 HAS SOPS 294580 HAS SOUS 235629 HAS SOUPS 235629 WITH SCORE 235923.58
AT ITER 80 NEW BEST:: SOT 1845315 SOS 293915 HAS SOPS 293915 HAS SOUS 235363 HAS SOUPS 235363 WITH SCORE 235656.915
AT ITER 86 NEW BEST:: SOT 1845327 SOS 293939 HAS SOPS 293939 HAS SOUS 235329 HAS SOUPS 235329 WITH SCORE 235622.939
AT ITER 89 NEW BEST:: SOT 1845263 SOS 293817 HAS SOPS 293817 HAS SOUS 235326 HAS SOUPS 235326 WITH SCORE 235619.817
AT ITER 92 NEW BEST:: SOT 1845199 SOS 293810 HAS SOPS 293810 HAS SOUS 235263 HAS SOUPS 235263 WITH SCORE 235556.81
AT ITER 107 NEW BEST:: SOT 1844872 SOS 293551 HAS SOPS 293551 HAS SOUS 234980 HAS SOUPS 234980 WITH SCORE 235273.551
AT ITER 120 NEW BEST:: SOT 1844879 SOS 293363 HAS SOPS 293363 HAS SOUS 234886 HAS SOUPS 234886 WITH SCORE 235179.363
AT ITER 126 NEW BEST:: SOT 1844879 SOS 292738 HAS SOPS 292738 HAS SOUS 234409 HAS SOUPS 234409 WITH SCORE 234701.738
AT ITER 141 NEW BEST:: SOT 1844807 SOS 292797 HAS SOPS 292797 HAS SOUS 234350 HAS SOUPS 234350 WITH SCORE 234642.797
AT ITER 154 NEW BEST:: SOT 1844817 SOS 292754 HAS SOPS 292754 HAS SOUS 234334 HAS SOUPS 234334 WITH SCORE 234626.754
AT ITER 157 NEW BEST:: SOT 1844672 SOS 292630 HAS SOPS 292630 HAS SOUS 234192 HAS SOUPS 234192 WITH SCORE 234484.63
AT ITER 197 NEW BEST:: SOT 1844580 SOS 292170 HAS SOPS 292170 HAS SOUS 234008 HAS SOUPS 234008 WITH SCORE 234300.17
AT ITER 199 NEW BEST:: SOT 1844341 SOS 291834 HAS SOPS 291834 HAS SOUS 233701 HAS SOUPS 233701 WITH SCORE 233992.834
AT ITER 226 NEW BEST:: SOT 1844264 SOS 291813 HAS SOPS 291813 HAS SOUS 233593 HAS SOUPS 233593 WITH SCORE 233884.813
AT ITER 259 NEW BEST:: SOT 1844230 SOS 291711 HAS SOPS 291711 HAS SOUS 233519 HAS SOUPS 233519 WITH SCORE 233810.711
AT ITER 263 NEW BEST:: SOT 1843822 SOS 291578 HAS SOPS 291578 HAS SOUS 233080 HAS SOUPS 233080 WITH SCORE 233371.578
AT ITER 301 NEW BEST:: SOT 1843702 SOS 290852 HAS SOPS 290852 HAS SOUS 232693 HAS SOUPS 232693 WITH SCORE 232983.852
AT ITER 307 NEW BEST:: SOT 1843694 SOS 290834 HAS SOPS 290834 HAS SOUS 232684 HAS SOUPS 232684 WITH SCORE 232974.834
AT ITER 313 NEW BEST:: SOT 1843642 SOS 290280 HAS SOPS 290280 HAS SOUS 232649 HAS SOUPS 232649 WITH SCORE 232939.28
AT ITER 352 NEW BEST:: SOT 1843139 SOS 290458 HAS SOPS 290458 HAS SOUS 232288 HAS SOUPS 232288 WITH SCORE 232578.458
AT ITER 359 NEW BEST:: SOT 1843139 SOS 290458 HAS SOPS 290458 HAS SOUS 232245 HAS SOUPS 232245 WITH SCORE 232535.458
AT ITER 371 NEW BEST:: SOT 1843083 SOS 290402 HAS SOPS 290402 HAS SOUS 232077 HAS SOUPS 232077 WITH SCORE 232367.402
AT ITER 383 NEW BEST:: SOT 1842830 SOS 290154 HAS SOPS 290154 HAS SOUS 231824 HAS SOUPS 231824 WITH SCORE 232114.154
AT ITER 436 NEW BEST:: SOT 1842653 SOS 290036 HAS SOPS 290036 HAS SOUS 231706 HAS SOUPS 231706 WITH SCORE 231996.036
AT ITER 448 NEW BEST:: SOT 1842641 SOS 290006 HAS SOPS 290006 HAS SOUS 231691 HAS SOUPS 231691 WITH SCORE 231981.006
AT ITER 460 NEW BEST:: SOT 1842479 SOS 289919 HAS SOPS 289919 HAS SOUS 231608 HAS SOUPS 231608 WITH SCORE 231897.919
AT ITER 477 NEW BEST:: SOT 1842422 SOS 289933 HAS SOPS 289933 HAS SOUS 231349 HAS SOUPS 231349 WITH SCORE 231638.933
AT ITER 500 NEW BEST:: SOT 1842422 SOS 289933 HAS SOPS 289933 HAS SOUS 231329 HAS SOUPS 231329 WITH SCORE 231618.933
AT ITER 511 NEW BEST:: SOT 1841896 SOS 289787 HAS SOPS 289787 HAS SOUS 231184 HAS SOUPS 231184 WITH SCORE 231473.787
AT ITER 516 NEW BEST:: SOT 1841966 SOS 289921 HAS SOPS 289921 HAS SOUS 231061 HAS SOUPS 231061 WITH SCORE 231350.921
AT ITER 518 NEW BEST:: SOT 1841966 SOS 289893 HAS SOPS 289893 HAS SOUS 231061 HAS SOUPS 231061 WITH SCORE 231350.893
AT ITER 528 NEW BEST:: SOT 1841966 SOS 289827 HAS SOPS 289827 HAS SOUS 231061 HAS SOUPS 231061 WITH SCORE 231350.827
AT ITER 546 NEW BEST:: SOT 1841998 SOS 290041 HAS SOPS 290041 HAS SOUS 230886 HAS SOUPS 230886 WITH SCORE 231176.041
AT ITER 556 NEW BEST:: SOT 1841962 SOS 290031 HAS SOPS 290031 HAS SOUS 230768 HAS SOUPS 230768 WITH SCORE 231058.031
AT ITER 562 NEW BEST:: SOT 1839938 SOS 296783 HAS SOPS 296783 HAS SOUS 229489 HAS SOUPS 229489 WITH SCORE 229785.783
AT ITER 571 NEW BEST:: SOT 1839175 SOS 296786 HAS SOPS 296786 HAS SOUS 229255 HAS SOUPS 229255 WITH SCORE 229551.786
AT ITER 582 NEW BEST:: SOT 1839174 SOS 296781 HAS SOPS 296781 HAS SOUS 229250 HAS SOUPS 229250 WITH SCORE 229546.781
AT ITER 597 NEW BEST:: SOT 1839174 SOS 292434 HAS SOPS 292434 HAS SOUS 229250 HAS SOUPS 229250 WITH SCORE 229542.434
AT ITER 599 NEW BEST:: SOT 1838794 SOS 291895 HAS SOPS 291895 HAS SOUS 228775 HAS SOUPS 228775 WITH SCORE 229066.895
AT ITER 699 NEW BEST:: SOT 1838667 SOS 291915 HAS SOPS 291915 HAS SOUS 228739 HAS SOUPS 228739 WITH SCORE 229030.915
AT ITER 726 NEW BEST:: SOT 1838667 SOS 291762 HAS SOPS 291762 HAS SOUS 228586 HAS SOUPS 228586 WITH SCORE 228877.762
AT ITER 765 NEW BEST:: SOT 1838629 SOS 291669 HAS SOPS 291669 HAS SOUS 228440 HAS SOUPS 228440 WITH SCORE 228731.669
AT ITER 777 NEW BEST:: SOT 1838594 SOS 291531 HAS SOPS 291531 HAS SOUS 228371 HAS SOUPS 228371 WITH SCORE 228662.531
AT ITER 785 NEW BEST:: SOT 1838520 SOS 291590 HAS SOPS 291590 HAS SOUS 228297 HAS SOUPS 228297 WITH SCORE 228588.59
AT ITER 802 NEW BEST:: SOT 1838690 SOS 292540 HAS SOPS 292540 HAS SOUS 228239 HAS SOUPS 228239 WITH SCORE 228531.54
AT ITER 820 NEW BEST:: SOT 1838439 SOS 292650 HAS SOPS 292650 HAS SOUS 227988 HAS SOUPS 227988 WITH SCORE 228280.65
AT ITER 825 NEW BEST:: SOT 1838419 SOS 292610 HAS SOPS 292610 HAS SOUS 227958 HAS SOUPS 227958 WITH SCORE 228250.61
AT ITER 827 NEW BEST:: SOT 1838359 SOS 292416 HAS SOPS 292416 HAS SOUS 227794 HAS SOUPS 227794 WITH SCORE 228086.416
AT ITER 882 NEW BEST:: SOT 1837904 SOS 292161 HAS SOPS 292161 HAS SOUS 227257 HAS SOUPS 227257 WITH SCORE 227549.161
AT ITER 886 NEW BEST:: SOT 1837702 SOS 292013 HAS SOPS 292013 HAS SOUS 227109 HAS SOUPS 227109 WITH SCORE 227401.013
AT ITER 919 NEW BEST:: SOT 1837689 SOS 291782 HAS SOPS 291782 HAS SOUS 226973 HAS SOUPS 226973 WITH SCORE 227264.782
AT ITER 945 NEW BEST:: SOT 1837644 SOS 291946 HAS SOPS 291946 HAS SOUS 226957 HAS SOUPS 226957 WITH SCORE 227248.946
AT ITER 950 NEW BEST:: SOT 1837632 SOS 291938 HAS SOPS 291938 HAS SOUS 226945 HAS SOUPS 226945 WITH SCORE 227236.938
AT ITER 1021 NEW BEST:: SOT 1837618 SOS 291910 HAS SOPS 291910 HAS SOUS 226917 HAS SOUPS 226917 WITH SCORE 227208.91
AT ITER 1032 NEW BEST:: SOT 1837672 SOS 291951 HAS SOPS 291951 HAS SOUS 226880 HAS SOUPS 226880 WITH SCORE 227171.951
AT ITER 1062 NEW BEST:: SOT 1837642 SOS 291947 HAS SOPS 291947 HAS SOUS 226876 HAS SOUPS 226876 WITH SCORE 227167.947
AT ITER 1072 NEW BEST:: SOT 1833347 SOS 295355 HAS SOPS 295355 HAS SOUS 223554 HAS SOUPS 223554 WITH SCORE 223849.355
AT ITER 1077 NEW BEST:: SOT 1832794 SOS 295739 HAS SOPS 295739 HAS SOUS 223458 HAS SOUPS 223458 WITH SCORE 223753.739
AT ITER 1126 NEW BEST:: SOT 1832702 SOS 295513 HAS SOPS 295513 HAS SOUS 223325 HAS SOUPS 223325 WITH SCORE 223620.513
AT ITER 1150 NEW BEST:: SOT 1832714 SOS 295502 HAS SOPS 295502 HAS SOUS 223258 HAS SOUPS 223258 WITH SCORE 223553.502
AT ITER 1184 NEW BEST:: SOT 1832707 SOS 295418 HAS SOPS 295418 HAS SOUS 223069 HAS SOUPS 223069 WITH SCORE 223364.418
AT ITER 1240 NEW BEST:: SOT 1831726 SOS 295413 HAS SOPS 295413 HAS SOUS 222156 HAS SOUPS 222156 WITH SCORE 222451.413
AT ITER 1260 NEW BEST:: SOT 1831754 SOS 295441 HAS SOPS 295441 HAS SOUS 222128 HAS SOUPS 222128 WITH SCORE 222423.441
AT ITER 1271 NEW BEST:: SOT 1831756 SOS 295364 HAS SOPS 295364 HAS SOUS 222051 HAS SOUPS 222051 WITH SCORE 222346.364
AT ITER 1285 NEW BEST:: SOT 1831276 SOS 294884 HAS SOPS 294884 HAS SOUS 221571 HAS SOUPS 221571 WITH SCORE 221865.884
AT ITER 1286 NEW BEST:: SOT 1831214 SOS 294633 HAS SOPS 294633 HAS SOUS 221431 HAS SOUPS 221431 WITH SCORE 221725.633
AT ITER 1339 NEW BEST:: SOT 1831208 SOS 294621 HAS SOPS 294621 HAS SOUS 221425 HAS SOUPS 221425 WITH SCORE 221719.621
AT ITER 1353 NEW BEST:: SOT 1831084 SOS 294517 HAS SOPS 294517 HAS SOUS 221306 HAS SOUPS 221306 WITH SCORE 221600.517
AT ITER 1361 NEW BEST:: SOT 1831030 SOS 293922 HAS SOPS 293922 HAS SOUS 221240 HAS SOUPS 221240 WITH SCORE 221533.922
AT ITER 1366 NEW BEST:: SOT 1830635 SOS 293362 HAS SOPS 293362 HAS SOUS 220848 HAS SOUPS 220848 WITH SCORE 221141.362
AT ITER 1370 NEW BEST:: SOT 1830594 SOS 293280 HAS SOPS 293280 HAS SOUS 220770 HAS SOUPS 220770 WITH SCORE 221063.28
AT ITER 1380 NEW BEST:: SOT 1830493 SOS 292872 HAS SOPS 292872 HAS SOUS 220613 HAS SOUPS 220613 WITH SCORE 220905.872
AT ITER 1428 NEW BEST:: SOT 1830408 SOS 292870 HAS SOPS 292870 HAS SOUS 220550 HAS SOUPS 220550 WITH SCORE 220842.87
AT ITER 1448 NEW BEST:: SOT 1830348 SOS 292688 HAS SOPS 292688 HAS SOUS 220490 HAS SOUPS 220490 WITH SCORE 220782.688
AT ITER 1493 NEW BEST:: SOT 1830335 SOS 292662 HAS SOPS 292662 HAS SOUS 220464 HAS SOUPS 220464 WITH SCORE 220756.662
AT ITER 1519 NEW BEST:: SOT 1830093 SOS 292015 HAS SOPS 292015 HAS SOUS 220059 HAS SOUPS 220059 WITH SCORE 220351.015
AT ITER 1528 NEW BEST:: SOT 1830084 SOS 291998 HAS SOPS 291998 HAS SOUS 220042 HAS SOUPS 220042 WITH SCORE 220333.998
AT ITER 1533 NEW BEST:: SOT 1829757 SOS 291666 HAS SOPS 291666 HAS SOUS 219705 HAS SOUPS 219705 WITH SCORE 219996.666
AT ITER 1545 NEW BEST:: SOT 1829827 SOS 291855 HAS SOPS 291855 HAS SOUS 219667 HAS SOUPS 219667 WITH SCORE 219958.855
AT ITER 1549 NEW BEST:: SOT 1829780 SOS 291761 HAS SOPS 291761 HAS SOUS 219534 HAS SOUPS 219534 WITH SCORE 219825.761
AT ITER 1575 NEW BEST:: SOT 1829644 SOS 291911 HAS SOPS 291911 HAS SOUS 219450 HAS SOUPS 219450 WITH SCORE 219741.911
AT ITER 1581 NEW BEST:: SOT 1829584 SOS 291851 HAS SOPS 291851 HAS SOUS 219447 HAS SOUPS 219447 WITH SCORE 219738.851
AT ITER 1585 NEW BEST:: SOT 1829521 SOS 291621 HAS SOPS 291621 HAS SOUS 219321 HAS SOUPS 219321 WITH SCORE 219612.621
AT ITER 1620 NEW BEST:: SOT 1829521 SOS 291578 HAS SOPS 291578 HAS SOUS 219321 HAS SOUPS 219321 WITH SCORE 219612.578
AT ITER 1657 NEW BEST:: SOT 1828372 SOS 290665 HAS SOPS 290665 HAS SOUS 218172 HAS SOUPS 218172 WITH SCORE 218462.665
AT ITER 1667 NEW BEST:: SOT 1828411 SOS 290697 HAS SOPS 290697 HAS SOUS 218170 HAS SOUPS 218170 WITH SCORE 218460.697
AT ITER 1704 NEW BEST:: SOT 1828302 SOS 291109 HAS SOPS 291109 HAS SOUS 218148 HAS SOUPS 218148 WITH SCORE 218439.109
AT ITER 1725 NEW BEST:: SOT 1828167 SOS 291379 HAS SOPS 291379 HAS SOUS 218013 HAS SOUPS 218013 WITH SCORE 218304.379
AT ITER 1741 NEW BEST:: SOT 1827691 SOS 293233 HAS SOPS 293233 HAS SOUS 217797 HAS SOUPS 217797 WITH SCORE 218090.233
AT ITER 1764 NEW BEST:: SOT 1827677 SOS 293260 HAS SOPS 293260 HAS SOUS 217730 HAS SOUPS 217730 WITH SCORE 218023.26
AT ITER 1780 NEW BEST:: SOT 1826756 SOS 292735 HAS SOPS 292735 HAS SOUS 216822 HAS SOUPS 216822 WITH SCORE 217114.735
AT ITER 1787 NEW BEST:: SOT 1826883 SOS 292524 HAS SOPS 292524 HAS SOUS 216794 HAS SOUPS 216794 WITH SCORE 217086.524
AT ITER 1852 NEW BEST:: SOT 1826857 SOS 292446 HAS SOPS 292446 HAS SOUS 216762 HAS SOUPS 216762 WITH SCORE 217054.446
AT ITER 1862 NEW BEST:: SOT 1826312 SOS 292076 HAS SOPS 292076 HAS SOUS 216179 HAS SOUPS 216179 WITH SCORE 216471.076
AT ITER 1894 NEW BEST:: SOT 1826002 SOS 291771 HAS SOPS 291771 HAS SOUS 215854 HAS SOUPS 215854 WITH SCORE 216145.771
AT ITER 1915 NEW BEST:: SOT 1825994 SOS 291755 HAS SOPS 291755 HAS SOUS 215838 HAS SOUPS 215838 WITH SCORE 216129.755
AT ITER 1927 NEW BEST:: SOT 1825946 SOS 291691 HAS SOPS 291691 HAS SOUS 215790 HAS SOUPS 215790 WITH SCORE 216081.691
AT ITER 1956 NEW BEST:: SOT 1825906 SOS 291573 HAS SOPS 291573 HAS SOUS 215632 HAS SOUPS 215632 WITH SCORE 215923.573
AT ITER 1969 NEW BEST:: SOT 1825833 SOS 291520 HAS SOPS 291520 HAS SOUS 215580 HAS SOUPS 215580 WITH SCORE 215871.52
AT ITER 1977 NEW BEST:: SOT 1825713 SOS 291048 HAS SOPS 291048 HAS SOUS 215418 HAS SOUPS 215418 WITH SCORE 215709.048
AT ITER 2016 NEW BEST:: SOT 1825639 SOS 290682 HAS SOPS 290682 HAS SOUS 215411 HAS SOUPS 215411 WITH SCORE 215701.682
AT ITER 2045 NEW BEST:: SOT 1825577 SOS 290620 HAS SOPS 290620 HAS SOUS 215227 HAS SOUPS 215227 WITH SCORE 215517.62
AT ITER 2087 NEW BEST:: SOT 1825466 SOS 290504 HAS SOPS 290504 HAS SOUS 215115 HAS SOUPS 215115 WITH SCORE 215405.504
AT ITER 2091 NEW BEST:: SOT 1825359 SOS 290207 HAS SOPS 290207 HAS SOUS 214992 HAS SOUPS 214992 WITH SCORE 215282.207
AT ITER 2122 NEW BEST:: SOT 1825359 SOS 290206 HAS SOPS 290206 HAS SOUS 214991 HAS SOUPS 214991 WITH SCORE 215281.206
AT ITER 2131 NEW BEST:: SOT 1825358 SOS 290205 HAS SOPS 290205 HAS SOUS 214988 HAS SOUPS 214988 WITH SCORE 215278.205
AT ITER 2132 NEW BEST:: SOT 1825329 SOS 290147 HAS SOPS 290147 HAS SOUS 214955 HAS SOUPS 214955 WITH SCORE 215245.147
AT ITER 2152 NEW BEST:: SOT 1825329 SOS 290140 HAS SOPS 290140 HAS SOUS 214955 HAS SOUPS 214955 WITH SCORE 215245.14
AT ITER 2158 NEW BEST:: SOT 1824804 SOS 289667 HAS SOPS 289667 HAS SOUS 214485 HAS SOUPS 214485 WITH SCORE 214774.667
AT ITER 2225 NEW BEST:: SOT 1824760 SOS 289491 HAS SOPS 289491 HAS SOUS 214399 HAS SOUPS 214399 WITH SCORE 214688.491
AT ITER 2228 NEW BEST:: SOT 1824528 SOS 289587 HAS SOPS 289587 HAS SOUS 214320 HAS SOUPS 214320 WITH SCORE 214609.587
AT ITER 2262 NEW BEST:: SOT 1824528 SOS 289516 HAS SOPS 289516 HAS SOUS 214288 HAS SOUPS 214288 WITH SCORE 214577.516
AT ITER 2275 NEW BEST:: SOT 1824487 SOS 289464 HAS SOPS 289464 HAS SOUS 214226 HAS SOUPS 214226 WITH SCORE 214515.464
AT ITER 2276 NEW BEST:: SOT 1824486 SOS 289457 HAS SOPS 289457 HAS SOUS 214219 HAS SOUPS 214219 WITH SCORE 214508.457
AT ITER 2279 NEW BEST:: SOT 1824391 SOS 289077 HAS SOPS 289077 HAS SOUS 214029 HAS SOUPS 214029 WITH SCORE 214318.077
AT ITER 2299 NEW BEST:: SOT 1824369 SOS 289082 HAS SOPS 289082 HAS SOUS 213985 HAS SOUPS 213985 WITH SCORE 214274.082
AT ITER 2301 NEW BEST:: SOT 1824236 SOS 288949 HAS SOPS 288949 HAS SOUS 213320 HAS SOUPS 213320 WITH SCORE 213608.949
AT ITER 2309 NEW BEST:: SOT 1823936 SOS 288806 HAS SOPS 288806 HAS SOUS 213173 HAS SOUPS 213173 WITH SCORE 213461.806
AT ITER 2320 NEW BEST:: SOT 1823815 SOS 288564 HAS SOPS 288564 HAS SOUS 212993 HAS SOUPS 212993 WITH SCORE 213281.564
AT ITER 2323 NEW BEST:: SOT 1823968 SOS 288721 HAS SOPS 288721 HAS SOUS 212908 HAS SOUPS 212908 WITH SCORE 213196.721
AT ITER 2330 NEW BEST:: SOT 1823919 SOS 288624 HAS SOPS 288624 HAS SOUS 212811 HAS SOUPS 212811 WITH SCORE 213099.624
AT ITER 2344 NEW BEST:: SOT 1823873 SOS 288346 HAS SOPS 288346 HAS SOUS 212735 HAS SOUPS 212735 WITH SCORE 213023.346
AT ITER 2383 NEW BEST:: SOT 1823861 SOS 288322 HAS SOPS 288322 HAS SOUS 212723 HAS SOUPS 212723 WITH SCORE 213011.322
AT ITER 2399 NEW BEST:: SOT 1823726 SOS 288053 HAS SOPS 288053 HAS SOUS 212716 HAS SOUPS 212716 WITH SCORE 213004.053
AT ITER 2444 NEW BEST:: SOT 1823616 SOS 287943 HAS SOPS 287943 HAS SOUS 212645 HAS SOUPS 212645 WITH SCORE 212932.943
AT ITER 2466 NEW BEST:: SOT 1823559 SOS 287795 HAS SOPS 287795 HAS SOUS 212471 HAS SOUPS 212471 WITH SCORE 212758.795
AT ITER 2516 NEW BEST:: SOT 1823523 SOS 287759 HAS SOPS 287759 HAS SOUS 212443 HAS SOUPS 212443 WITH SCORE 212730.759
AT ITER 2556 NEW BEST:: SOT 1823403 SOS 287519 HAS SOPS 287519 HAS SOUS 212323 HAS SOUPS 212323 WITH SCORE 212610.519
AT ITER 2561 NEW BEST:: SOT 1823358 SOS 287429 HAS SOPS 287429 HAS SOUS 212233 HAS SOUPS 212233 WITH SCORE 212520.429
AT ITER 2570 NEW BEST:: SOT 1823341 SOS 287412 HAS SOPS 287412 HAS SOUS 212216 HAS SOUPS 212216 WITH SCORE 212503.412
AT ITER 2604 NEW BEST:: SOT 1823377 SOS 287046 HAS SOPS 287046 HAS SOUS 212199 HAS SOUPS 212199 WITH SCORE 212486.046
AT ITER 2608 NEW BEST:: SOT 1823338 SOS 287007 HAS SOPS 287007 HAS SOUS 212193 HAS SOUPS 212193 WITH SCORE 212480.007
AT ITER 2649 NEW BEST:: SOT 1823246 SOS 287096 HAS SOPS 287096 HAS SOUS 212101 HAS SOUPS 212101 WITH SCORE 212388.096
AT ITER 2666 NEW BEST:: SOT 1822990 SOS 286888 HAS SOPS 286888 HAS SOUS 211845 HAS SOUPS 211845 WITH SCORE 212131.888
AT ITER 2690 NEW BEST:: SOT 1822800 SOS 286933 HAS SOPS 286933 HAS SOUS 211678 HAS SOUPS 211678 WITH SCORE 211964.933
AT ITER 2705 NEW BEST:: SOT 1822761 SOS 286352 HAS SOPS 286352 HAS SOUS 211496 HAS SOUPS 211496 WITH SCORE 211782.352
AT ITER 2822 NEW BEST:: SOT 1822775 SOS 286296 HAS SOPS 286296 HAS SOUS 211488 HAS SOUPS 211488 WITH SCORE 211774.296
AT ITER 2839 NEW BEST:: SOT 1822592 SOS 286143 HAS SOPS 286143 HAS SOUS 211423 HAS SOUPS 211423 WITH SCORE 211709.143
AT ITER 2862 NEW BEST:: SOT 1822609 SOS 286126 HAS SOPS 286126 HAS SOUS 211423 HAS SOUPS 211423 WITH SCORE 211709.126
AT ITER 2870 NEW BEST:: SOT 1822601 SOS 286110 HAS SOPS 286110 HAS SOUS 211407 HAS SOUPS 211407 WITH SCORE 211693.11
AT ITER 2917 NEW BEST:: SOT 1822601 SOS 286032 HAS SOPS 286032 HAS SOUS 211368 HAS SOUPS 211368 WITH SCORE 211654.032
AT ITER 2932 NEW BEST:: SOT 1822396 SOS 285830 HAS SOPS 285830 HAS SOUS 211166 HAS SOUPS 211166 WITH SCORE 211451.83
AT ITER 2949 NEW BEST:: SOT 1821966 SOS 285486 HAS SOPS 285486 HAS SOUS 210822 HAS SOUPS 210822 WITH SCORE 211107.486
AT ITER 2974 NEW BEST:: SOT 1821965 SOS 285437 HAS SOPS 285437 HAS SOUS 210793 HAS SOUPS 210793 WITH SCORE 211078.437
AT ITER 2986 NEW BEST:: SOT 1821761 SOS 284970 HAS SOPS 284970 HAS SOUS 210407 HAS SOUPS 210407 WITH SCORE 210691.97
AT ITER 2994 NEW BEST:: SOT 1821749 SOS 285057 HAS SOPS 285057 HAS SOUS 210393 HAS SOUPS 210393 WITH SCORE 210678.057
AT ITER 3021 NEW BEST:: SOT 1821683 SOS 285010 HAS SOPS 285010 HAS SOUS 210262 HAS SOUPS 210262 WITH SCORE 210547.01
AT ITER 3039 NEW BEST:: SOT 1821591 SOS 284918 HAS SOPS 284918 HAS SOUS 210170 HAS SOUPS 210170 WITH SCORE 210454.918
AT ITER 3073 NEW BEST:: SOT 1821590 SOS 284916 HAS SOPS 284916 HAS SOUS 210168 HAS SOUPS 210168 WITH SCORE 210452.916
AT ITER 3105 NEW BEST:: SOT 1821485 SOS 285024 HAS SOPS 285024 HAS SOUS 210082 HAS SOUPS 210082 WITH SCORE 210367.024
AT ITER 3124 NEW BEST:: SOT 1821485 SOS 285024 HAS SOPS 285024 HAS SOUS 210026 HAS SOUPS 210026 WITH SCORE 210311.024
AT ITER 3164 NEW BEST:: SOT 1821482 SOS 284996 HAS SOPS 284996 HAS SOUS 209998 HAS SOUPS 209998 WITH SCORE 210282.996
AT ITER 3247 NEW BEST:: SOT 1821416 SOS 284941 HAS SOPS 284941 HAS SOUS 209943 HAS SOUPS 209943 WITH SCORE 210227.941
AT ITER 3262 NEW BEST:: SOT 1821355 SOS 284880 HAS SOPS 284880 HAS SOUS 209760 HAS SOUPS 209760 WITH SCORE 210044.88
AT ITER 3273 NEW BEST:: SOT 1821199 SOS 284739 HAS SOPS 284739 HAS SOUS 209604 HAS SOUPS 209604 WITH SCORE 209888.739
AT ITER 3285 NEW BEST:: SOT 1821135 SOS 284675 HAS SOPS 284675 HAS SOUS 209539 HAS SOUPS 209539 WITH SCORE 209823.675
AT ITER 3295 NEW BEST:: SOT 1821135 SOS 283800 HAS SOPS 283800 HAS SOUS 209504 HAS SOUPS 209504 WITH SCORE 209787.8
AT ITER 3315 NEW BEST:: SOT 1821135 SOS 283902 HAS SOPS 283902 HAS SOUS 209402 HAS SOUPS 209402 WITH SCORE 209685.902
AT ITER 3377 NEW BEST:: SOT 1821125 SOS 283882 HAS SOPS 283882 HAS SOUS 209382 HAS SOUPS 209382 WITH SCORE 209665.882
AT ITER 3410 NEW BEST:: SOT 1821098 SOS 283876 HAS SOPS 283876 HAS SOUS 209376 HAS SOUPS 209376 WITH SCORE 209659.876
AT ITER 3463 NEW BEST:: SOT 1821024 SOS 283780 HAS SOPS 283780 HAS SOUS 209308 HAS SOUPS 209308 WITH SCORE 209591.78
AT ITER 3541 NEW BEST:: SOT 1820912 SOS 283652 HAS SOPS 283652 HAS SOUS 209196 HAS SOUPS 209196 WITH SCORE 209479.652
AT ITER 3552 NEW BEST:: SOT 1820805 SOS 283438 HAS SOPS 283438 HAS SOUS 209089 HAS SOUPS 209089 WITH SCORE 209372.438
AT ITER 3561 NEW BEST:: SOT 1820825 SOS 283631 HAS SOPS 283631 HAS SOUS 208902 HAS SOUPS 208902 WITH SCORE 209185.631
AT ITER 3577 NEW BEST:: SOT 1820812 SOS 283598 HAS SOPS 283598 HAS SOUS 208882 HAS SOUPS 208882 WITH SCORE 209165.598
AT ITER 3590 NEW BEST:: SOT 1820751 SOS 283484 HAS SOPS 283484 HAS SOUS 208876 HAS SOUPS 208876 WITH SCORE 209159.484
AT ITER 3591 NEW BEST:: SOT 1820647 SOS 283425 HAS SOPS 283425 HAS SOUS 208749 HAS SOUPS 208749 WITH SCORE 209032.425
AT ITER 3672 NEW BEST:: SOT 1820630 SOS 283391 HAS SOPS 283391 HAS SOUS 208715 HAS SOUPS 208715 WITH SCORE 208998.391
AT ITER 3686 NEW BEST:: SOT 1820527 SOS 283296 HAS SOPS 283296 HAS SOUS 208569 HAS SOUPS 208569 WITH SCORE 208852.296
AT ITER 3693 NEW BEST:: SOT 1820490 SOS 283031 HAS SOPS 283031 HAS SOUS 208495 HAS SOUPS 208495 WITH SCORE 208778.031
AT ITER 3695 NEW BEST:: SOT 1820392 SOS 282757 HAS SOPS 282757 HAS SOUS 208415 HAS SOUPS 208415 WITH SCORE 208697.757
AT ITER 3700 NEW BEST:: SOT 1820327 SOS 282741 HAS SOPS 282741 HAS SOUS 208350 HAS SOUPS 208350 WITH SCORE 208632.741
AT ITER 3727 NEW BEST:: SOT 1820324 SOS 282647 HAS SOPS 282647 HAS SOUS 208345 HAS SOUPS 208345 WITH SCORE 208627.647
AT ITER 3757 NEW BEST:: SOT 1820261 SOS 282716 HAS SOPS 282716 HAS SOUS 208219 HAS SOUPS 208219 WITH SCORE 208501.716
AT ITER 3758 NEW BEST:: SOT 1820261 SOS 282878 HAS SOPS 282878 HAS SOUS 208206 HAS SOUPS 208206 WITH SCORE 208488.878
AT ITER 3790 NEW BEST:: SOT 1820261 SOS 282861 HAS SOPS 282861 HAS SOUS 208206 HAS SOUPS 208206 WITH SCORE 208488.861
AT ITER 3798 NEW BEST:: SOT 1820261 SOS 282846 HAS SOPS 282846 HAS SOUS 208191 HAS SOUPS 208191 WITH SCORE 208473.846
AT ITER 3822 NEW BEST:: SOT 1820230 SOS 282784 HAS SOPS 282784 HAS SOUS 208129 HAS SOUPS 208129 WITH SCORE 208411.784
AT ITER 3843 NEW BEST:: SOT 1820218 SOS 282766 HAS SOPS 282766 HAS SOUS 208099 HAS SOUPS 208099 WITH SCORE 208381.766
AT ITER 3850 NEW BEST:: SOT 1820113 SOS 282714 HAS SOPS 282714 HAS SOUS 208010 HAS SOUPS 208010 WITH SCORE 208292.714
AT ITER 3867 NEW BEST:: SOT 1819953 SOS 282673 HAS SOPS 282673 HAS SOUS 208009 HAS SOUPS 208009 WITH SCORE 208291.673
AT ITER 3877 NEW BEST:: SOT 1819938 SOS 282650 HAS SOPS 282650 HAS SOUS 207986 HAS SOUPS 207986 WITH SCORE 208268.65
AT ITER 3892 NEW BEST:: SOT 1819729 SOS 282171 HAS SOPS 282171 HAS SOUS 207642 HAS SOUPS 207642 WITH SCORE 207924.171
AT ITER 3913 NEW BEST:: SOT 1819669 SOS 282051 HAS SOPS 282051 HAS SOUS 207574 HAS SOUPS 207574 WITH SCORE 207856.051
AT ITER 3928 NEW BEST:: SOT 1819654 SOS 280404 HAS SOPS 280404 HAS SOUS 207364 HAS SOUPS 207364 WITH SCORE 207644.404
AT ITER 3962 NEW BEST:: SOT 1819654 SOS 280312 HAS SOPS 280312 HAS SOUS 207318 HAS SOUPS 207318 WITH SCORE 207598.312
AT ITER 3985 NEW BEST:: SOT 1819502 SOS 280305 HAS SOPS 280305 HAS SOUS 207166 HAS SOUPS 207166 WITH SCORE 207446.305
AT ITER 4035 NEW BEST:: SOT 1819412 SOS 280049 HAS SOPS 280049 HAS SOUS 206888 HAS SOUPS 206888 WITH SCORE 207168.049
AT ITER 4039 NEW BEST:: SOT 1819261 SOS 279898 HAS SOPS 279898 HAS SOUS 206675 HAS SOUPS 206675 WITH SCORE 206954.898
AT ITER 4041 NEW BEST:: SOT 1819243 SOS 279862 HAS SOPS 279862 HAS SOUS 206614 HAS SOUPS 206614 WITH SCORE 206893.862
AT ITER 4064 NEW BEST:: SOT 1819005 SOS 279738 HAS SOPS 279738 HAS SOUS 206471 HAS SOUPS 206471 WITH SCORE 206750.738
AT ITER 4084 NEW BEST:: SOT 1817676 SOS 278898 HAS SOPS 278898 HAS SOUS 205142 HAS SOUPS 205142 WITH SCORE 205420.898
AT ITER 4095 NEW BEST:: SOT 1817595 SOS 278817 HAS SOPS 278817 HAS SOUS 205061 HAS SOUPS 205061 WITH SCORE 205339.817
AT ITER 4141 NEW BEST:: SOT 1817594 SOS 278792 HAS SOPS 278792 HAS SOUS 205036 HAS SOUPS 205036 WITH SCORE 205314.792
AT ITER 4147 NEW BEST:: SOT 1817514 SOS 278552 HAS SOPS 278552 HAS SOUS 204879 HAS SOUPS 204879 WITH SCORE 205157.552
AT ITER 4170 NEW BEST:: SOT 1817514 SOS 278497 HAS SOPS 278497 HAS SOUS 204824 HAS SOUPS 204824 WITH SCORE 205102.497
AT ITER 4185 NEW BEST:: SOT 1817499 SOS 278482 HAS SOPS 278482 HAS SOUS 204809 HAS SOUPS 204809 WITH SCORE 205087.482
AT ITER 4203 NEW BEST:: SOT 1817450 SOS 278384 HAS SOPS 278384 HAS SOUS 204807 HAS SOUPS 204807 WITH SCORE 205085.384
AT ITER 4235 NEW BEST:: SOT 1817423 SOS 278729 HAS SOPS 278729 HAS SOUS 204802 HAS SOUPS 204802 WITH SCORE 205080.729
AT ITER 4246 NEW BEST:: SOT 1817253 SOS 278710 HAS SOPS 278710 HAS SOUS 204679 HAS SOUPS 204679 WITH SCORE 204957.71
AT ITER 4247 NEW BEST:: SOT 1816978 SOS 278160 HAS SOPS 278160 HAS SOUS 204241 HAS SOUPS 204241 WITH SCORE 204519.16
AT ITER 4305 NEW BEST:: SOT 1816854 SOS 278069 HAS SOPS 278069 HAS SOUS 204150 HAS SOUPS 204150 WITH SCORE 204428.069
AT ITER 4373 NEW BEST:: SOT 1816808 SOS 277954 HAS SOPS 277954 HAS SOUS 204104 HAS SOUPS 204104 WITH SCORE 204381.954
AT ITER 4404 NEW BEST:: SOT 1816780 SOS 277898 HAS SOPS 277898 HAS SOUS 204076 HAS SOUPS 204076 WITH SCORE 204353.898
AT ITER 4420 NEW BEST:: SOT 1816666 SOS 277870 HAS SOPS 277870 HAS SOUS 204007 HAS SOUPS 204007 WITH SCORE 204284.87
AT ITER 4424 NEW BEST:: SOT 1816653 SOS 277880 HAS SOPS 277880 HAS SOUS 203981 HAS SOUPS 203981 WITH SCORE 204258.88
AT ITER 4430 NEW BEST:: SOT 1816653 SOS 277666 HAS SOPS 277666 HAS SOUS 203927 HAS SOUPS 203927 WITH SCORE 204204.666
AT ITER 4431 NEW BEST:: SOT 1816605 SOS 277715 HAS SOPS 277715 HAS SOUS 203911 HAS SOUPS 203911 WITH SCORE 204188.715
AT ITER 4438 NEW BEST:: SOT 1816686 SOS 277741 HAS SOPS 277741 HAS SOUS 203867 HAS SOUPS 203867 WITH SCORE 204144.741
AT ITER 4460 NEW BEST:: SOT 1816782 SOS 277517 HAS SOPS 277517 HAS SOUS 203823 HAS SOUPS 203823 WITH SCORE 204100.517
AT ITER 4476 NEW BEST:: SOT 1816606 SOS 277407 HAS SOPS 277407 HAS SOUS 203713 HAS SOUPS 203713 WITH SCORE 203990.407
AT ITER 4482 NEW BEST:: SOT 1816606 SOS 277388 HAS SOPS 277388 HAS SOUS 203713 HAS SOUPS 203713 WITH SCORE 203990.388
AT ITER 4491 NEW BEST:: SOT 1816552 SOS 277344 HAS SOPS 277344 HAS SOUS 203568 HAS SOUPS 203568 WITH SCORE 203845.344
AT ITER 4677 NEW BEST:: SOT 1816532 SOS 277244 HAS SOPS 277244 HAS SOUS 203528 HAS SOUPS 203528 WITH SCORE 203805.244
AT ITER 4697 NEW BEST:: SOT 1816512 SOS 277244 HAS SOPS 277244 HAS SOUS 203518 HAS SOUPS 203518 WITH SCORE 203795.244
AT ITER 4731 NEW BEST:: SOT 1816357 SOS 276934 HAS SOPS 276934 HAS SOUS 203305 HAS SOUPS 203305 WITH SCORE 203581.934
AT ITER 4755 NEW BEST:: SOT 1816243 SOS 276763 HAS SOPS 276763 HAS SOUS 203077 HAS SOUPS 203077 WITH SCORE 203353.763
AT ITER 4786 NEW BEST:: SOT 1816239 SOS 276757 HAS SOPS 276757 HAS SOUS 203071 HAS SOUPS 203071 WITH SCORE 203347.757
AT ITER 4810 NEW BEST:: SOT 1816333 SOS 276754 HAS SOPS 276754 HAS SOUS 203068 HAS SOUPS 203068 WITH SCORE 203344.754
AT ITER 4815 NEW BEST:: SOT 1816331 SOS 276719 HAS SOPS 276719 HAS SOUS 203051 HAS SOUPS 203051 WITH SCORE 203327.719
AT ITER 4827 NEW BEST:: SOT 1816266 SOS 277153 HAS SOPS 277153 HAS SOUS 203041 HAS SOUPS 203041 WITH SCORE 203318.153
AT ITER 4833 NEW BEST:: SOT 1816097 SOS 276903 HAS SOPS 276903 HAS SOUS 202915 HAS SOUPS 202915 WITH SCORE 203191.903
AT ITER 4844 NEW BEST:: SOT 1816097 SOS 276886 HAS SOPS 276886 HAS SOUS 202898 HAS SOUPS 202898 WITH SCORE 203174.886
AT ITER 4865 NEW BEST:: SOT 1816097 SOS 276685 HAS SOPS 276685 HAS SOUS 202838 HAS SOUPS 202838 WITH SCORE 203114.685
AT ITER 4868 NEW BEST:: SOT 1816087 SOS 276636 HAS SOPS 276636 HAS SOUS 202799 HAS SOUPS 202799 WITH SCORE 203075.636
AT ITER 4972 NEW BEST:: SOT 1816044 SOS 276593 HAS SOPS 276593 HAS SOUS 202756 HAS SOUPS 202756 WITH SCORE 203032.593
AT ITER 4992 NEW BEST:: SOT 1815742 SOS 275922 HAS SOPS 275922 HAS SOUS 202316 HAS SOUPS 202316 WITH SCORE 202591.922
AT ITER 4996 NEW BEST:: SOT 1815617 SOS 275656 HAS SOPS 275656 HAS SOUS 202166 HAS SOUPS 202166 WITH SCORE 202441.656
AT ITER 5011 NEW BEST:: SOT 1815648 SOS 275632 HAS SOPS 275632 HAS SOUS 202142 HAS SOUPS 202142 WITH SCORE 202417.632
AT ITER 5073 NEW BEST:: SOT 1815628 SOS 275597 HAS SOPS 275597 HAS SOUS 202122 HAS SOUPS 202122 WITH SCORE 202397.597
AT ITER 5085 NEW BEST:: SOT 1815572 SOS 275485 HAS SOPS 275485 HAS SOUS 202038 HAS SOUPS 202038 WITH SCORE 202313.485
AT ITER 5086 NEW BEST:: SOT 1815541 SOS 275425 HAS SOPS 275425 HAS SOUS 202002 HAS SOUPS 202002 WITH SCORE 202277.425
AT ITER 5121 NEW BEST:: SOT 1815420 SOS 275303 HAS SOPS 275303 HAS SOUS 201880 HAS SOUPS 201880 WITH SCORE 202155.303
AT ITER 5142 NEW BEST:: SOT 1815404 SOS 275271 HAS SOPS 275271 HAS SOUS 201856 HAS SOUPS 201856 WITH SCORE 202131.271
AT ITER 5149 NEW BEST:: SOT 1815392 SOS 275211 HAS SOPS 275211 HAS SOUS 201831 HAS SOUPS 201831 WITH SCORE 202106.211
AT ITER 5158 NEW BEST:: SOT 1815392 SOS 275184 HAS SOPS 275184 HAS SOUS 201830 HAS SOUPS 201830 WITH SCORE 202105.184
AT ITER 5194 NEW BEST:: SOT 1815392 SOS 275184 HAS SOPS 275184 HAS SOUS 201828 HAS SOUPS 201828 WITH SCORE 202103.184
AT ITER 5227 NEW BEST:: SOT 1815335 SOS 275130 HAS SOPS 275130 HAS SOUS 201705 HAS SOUPS 201705 WITH SCORE 201980.13
AT ITER 5230 NEW BEST:: SOT 1815294 SOS 275048 HAS SOPS 275048 HAS SOUS 201623 HAS SOUPS 201623 WITH SCORE 201898.048
AT ITER 5252 NEW BEST:: SOT 1815351 SOS 275162 HAS SOPS 275162 HAS SOUS 201617 HAS SOUPS 201617 WITH SCORE 201892.162
AT ITER 5289 NEW BEST:: SOT 1815362 SOS 275145 HAS SOPS 275145 HAS SOUS 201594 HAS SOUPS 201594 WITH SCORE 201869.145
AT ITER 5301 NEW BEST:: SOT 1815348 SOS 275236 HAS SOPS 275236 HAS SOUS 201472 HAS SOUPS 201472 WITH SCORE 201747.236
AT ITER 5333 NEW BEST:: SOT 1815163 SOS 274989 HAS SOPS 274989 HAS SOUS 201134 HAS SOUPS 201134 WITH SCORE 201408.989
AT ITER 5411 NEW BEST:: SOT 1815163 SOS 275023 HAS SOPS 275023 HAS SOUS 201117 HAS SOUPS 201117 WITH SCORE 201392.023
AT ITER 5413 NEW BEST:: SOT 1815123 SOS 274943 HAS SOPS 274943 HAS SOUS 200863 HAS SOUPS 200863 WITH SCORE 201137.943
AT ITER 5418 NEW BEST:: SOT 1815062 SOS 274882 HAS SOPS 274882 HAS SOUS 200800 HAS SOUPS 200800 WITH SCORE 201074.882
AT ITER 5454 NEW BEST:: SOT 1815046 SOS 274850 HAS SOPS 274850 HAS SOUS 200752 HAS SOUPS 200752 WITH SCORE 201026.85
AT ITER 5456 NEW BEST:: SOT 1815059 SOS 274830 HAS SOPS 274830 HAS SOUS 200742 HAS SOUPS 200742 WITH SCORE 201016.83
AT ITER 5489 NEW BEST:: SOT 1815000 SOS 274770 HAS SOPS 274770 HAS SOUS 200708 HAS SOUPS 200708 WITH SCORE 200982.77
AT ITER 5537 NEW BEST:: SOT 1815000 SOS 274695 HAS SOPS 274695 HAS SOUS 200658 HAS SOUPS 200658 WITH SCORE 200932.695
AT ITER 5609 NEW BEST:: SOT 1814993 SOS 274681 HAS SOPS 274681 HAS SOUS 200644 HAS SOUPS 200644 WITH SCORE 200918.681
AT ITER 5627 NEW BEST:: SOT 1814996 SOS 274636 HAS SOPS 274636 HAS SOUS 200631 HAS SOUPS 200631 WITH SCORE 200905.636
AT ITER 5673 NEW BEST:: SOT 1814351 SOS 277855 HAS SOPS 277855 HAS SOUS 200234 HAS SOUPS 200234 WITH SCORE 200511.855
AT ITER 5677 NEW BEST:: SOT 1814339 SOS 277799 HAS SOPS 277799 HAS SOUS 200222 HAS SOUPS 200222 WITH SCORE 200499.799
AT ITER 5738 NEW BEST:: SOT 1814214 SOS 277725 HAS SOPS 277725 HAS SOUS 200124 HAS SOUPS 200124 WITH SCORE 200401.725
AT ITER 5813 NEW BEST:: SOT 1814217 SOS 277854 HAS SOPS 277854 HAS SOUS 200111 HAS SOUPS 200111 WITH SCORE 200388.854
AT ITER 5816 NEW BEST:: SOT 1814196 SOS 277812 HAS SOPS 277812 HAS SOUS 200069 HAS SOUPS 200069 WITH SCORE 200346.812
AT ITER 5859 NEW BEST:: SOT 1814112 SOS 277728 HAS SOPS 277728 HAS SOUS 199985 HAS SOUPS 199985 WITH SCORE 200262.728
AT ITER 5864 NEW BEST:: SOT 1814041 SOS 277786 HAS SOPS 277786 HAS SOUS 199952 HAS SOUPS 199952 WITH SCORE 200229.786
AT ITER 5941 NEW BEST:: SOT 1813996 SOS 277699 HAS SOPS 277699 HAS SOUS 199839 HAS SOUPS 199839 WITH SCORE 200116.699
AT ITER 5952 NEW BEST:: SOT 1813996 SOS 277696 HAS SOPS 277696 HAS SOUS 199839 HAS SOUPS 199839 WITH SCORE 200116.696
AT ITER 5957 NEW BEST:: SOT 1813121 SOS 277935 HAS SOPS 277935 HAS SOUS 199117 HAS SOUPS 199117 WITH SCORE 199394.935
AT ITER 5970 NEW BEST:: SOT 1812916 SOS 277894 HAS SOPS 277894 HAS SOUS 198953 HAS SOUPS 198953 WITH SCORE 199230.894
AT ITER 6004 NEW BEST:: SOT 1812898 SOS 277858 HAS SOPS 277858 HAS SOUS 198935 HAS SOUPS 198935 WITH SCORE 199212.858
AT ITER 6043 NEW BEST:: SOT 1812898 SOS 277857 HAS SOPS 277857 HAS SOUS 198934 HAS SOUPS 198934 WITH SCORE 199211.857
AT ITER 6059 NEW BEST:: SOT 1812901 SOS 277935 HAS SOPS 277935 HAS SOUS 198929 HAS SOUPS 198929 WITH SCORE 199206.935
AT ITER 6070 NEW BEST:: SOT 1812488 SOS 277117 HAS SOPS 277117 HAS SOUS 198480 HAS SOUPS 198480 WITH SCORE 198757.117
AT ITER 6080 NEW BEST:: SOT 1812402 SOS 277031 HAS SOPS 277031 HAS SOUS 198394 HAS SOUPS 198394 WITH SCORE 198671.031
AT ITER 6083 NEW BEST:: SOT 1812396 SOS 277013 HAS SOPS 277013 HAS SOUS 198385 HAS SOUPS 198385 WITH SCORE 198662.013
AT ITER 6110 NEW BEST:: SOT 1812380 SOS 276981 HAS SOPS 276981 HAS SOUS 198353 HAS SOUPS 198353 WITH SCORE 198629.981
AT ITER 6116 NEW BEST:: SOT 1812295 SOS 276912 HAS SOPS 276912 HAS SOUS 198252 HAS SOUPS 198252 WITH SCORE 198528.912
AT ITER 6150 NEW BEST:: SOT 1812259 SOS 276790 HAS SOPS 276790 HAS SOUS 198175 HAS SOUPS 198175 WITH SCORE 198451.79
AT ITER 6160 NEW BEST:: SOT 1812156 SOS 276758 HAS SOPS 276758 HAS SOUS 198124 HAS SOUPS 198124 WITH SCORE 198400.758
AT ITER 6191 NEW BEST:: SOT 1811991 SOS 276549 HAS SOPS 276549 HAS SOUS 197941 HAS SOUPS 197941 WITH SCORE 198217.549
AT ITER 6219 NEW BEST:: SOT 1811991 SOS 276429 HAS SOPS 276429 HAS SOUS 197936 HAS SOUPS 197936 WITH SCORE 198212.429
AT ITER 6268 NEW BEST:: SOT 1811831 SOS 276357 HAS SOPS 276357 HAS SOUS 197820 HAS SOUPS 197820 WITH SCORE 198096.357
AT ITER 6368 NEW BEST:: SOT 1811760 SOS 276245 HAS SOPS 276245 HAS SOUS 197719 HAS SOUPS 197719 WITH SCORE 197995.245
AT ITER 6422 NEW BEST:: SOT 1811734 SOS 276141 HAS SOPS 276141 HAS SOUS 197667 HAS SOUPS 197667 WITH SCORE 197943.141
AT ITER 6465 NEW BEST:: SOT 1811570 SOS 275977 HAS SOPS 275977 HAS SOUS 197462 HAS SOUPS 197462 WITH SCORE 197737.977
AT ITER 6473 NEW BEST:: SOT 1811675 SOS 275973 HAS SOPS 275973 HAS SOUS 197458 HAS SOUPS 197458 WITH SCORE 197733.973
AT ITER 6510 NEW BEST:: SOT 1811412 SOS 275076 HAS SOPS 275076 HAS SOUS 196888 HAS SOUPS 196888 WITH SCORE 197163.076
AT ITER 6516 NEW BEST:: SOT 1811348 SOS 275001 HAS SOPS 275001 HAS SOUS 196746 HAS SOUPS 196746 WITH SCORE 197021.001
AT ITER 6528 NEW BEST:: SOT 1811406 SOS 275017 HAS SOPS 275017 HAS SOUS 196704 HAS SOUPS 196704 WITH SCORE 196979.017
AT ITER 6580 NEW BEST:: SOT 1811093 SOS 273917 HAS SOPS 273917 HAS SOUS 196233 HAS SOUPS 196233 WITH SCORE 196506.917
AT ITER 6582 NEW BEST:: SOT 1811113 SOS 274002 HAS SOPS 274002 HAS SOUS 196131 HAS SOUPS 196131 WITH SCORE 196405.002
AT ITER 6583 NEW BEST:: SOT 1811058 SOS 273934 HAS SOPS 273934 HAS SOUS 196070 HAS SOUPS 196070 WITH SCORE 196343.934
AT ITER 6656 NEW BEST:: SOT 1811057 SOS 273960 HAS SOPS 273960 HAS SOUS 196067 HAS SOUPS 196067 WITH SCORE 196340.96
AT ITER 6688 NEW BEST:: SOT 1810979 SOS 273914 HAS SOPS 273914 HAS SOUS 195963 HAS SOUPS 195963 WITH SCORE 196236.914
AT ITER 6695 NEW BEST:: SOT 1810800 SOS 273786 HAS SOPS 273786 HAS SOUS 195835 HAS SOUPS 195835 WITH SCORE 196108.786
AT ITER 6703 NEW BEST:: SOT 1810799 SOS 273784 HAS SOPS 273784 HAS SOUS 195833 HAS SOUPS 195833 WITH SCORE 196106.784
AT ITER 6706 NEW BEST:: SOT 1810832 SOS 273850 HAS SOPS 273850 HAS SOUS 195821 HAS SOUPS 195821 WITH SCORE 196094.85
AT ITER 6771 NEW BEST:: SOT 1810802 SOS 273498 HAS SOPS 273498 HAS SOUS 195664 HAS SOUPS 195664 WITH SCORE 195937.498
AT ITER 6868 NEW BEST:: SOT 1810546 SOS 273517 HAS SOPS 273517 HAS SOUS 195475 HAS SOUPS 195475 WITH SCORE 195748.517
AT ITER 6920 NEW BEST:: SOT 1810546 SOS 273507 HAS SOPS 273507 HAS SOUS 195475 HAS SOUPS 195475 WITH SCORE 195748.507
AT ITER 6932 NEW BEST:: SOT 1810397 SOS 273440 HAS SOPS 273440 HAS SOUS 195408 HAS SOUPS 195408 WITH SCORE 195681.44
AT ITER 6945 NEW BEST:: SOT 1810423 SOS 273510 HAS SOPS 273510 HAS SOUS 195197 HAS SOUPS 195197 WITH SCORE 195470.51
AT ITER 6961 NEW BEST:: SOT 1810354 SOS 273510 HAS SOPS 273510 HAS SOUS 195196 HAS SOUPS 195196 WITH SCORE 195469.51
AT ITER 6991 NEW BEST:: SOT 1810366 SOS 273534 HAS SOPS 273534 HAS SOUS 195158 HAS SOUPS 195158 WITH SCORE 195431.534
AT ITER 6997 NEW BEST:: SOT 1810348 SOS 273543 HAS SOPS 273543 HAS SOUS 195136 HAS SOUPS 195136 WITH SCORE 195409.543
AT ITER 7004 NEW BEST:: SOT 1810321 SOS 273489 HAS SOPS 273489 HAS SOUS 195109 HAS SOUPS 195109 WITH SCORE 195382.489
AT ITER 7006 NEW BEST:: SOT 1810346 SOS 273441 HAS SOPS 273441 HAS SOUS 195061 HAS SOUPS 195061 WITH SCORE 195334.441
AT ITER 7103 NEW BEST:: SOT 1810285 SOS 273329 HAS SOPS 273329 HAS SOUS 194949 HAS SOUPS 194949 WITH SCORE 195222.329
AT ITER 7139 NEW BEST:: SOT 1810273 SOS 273141 HAS SOPS 273141 HAS SOUS 194820 HAS SOUPS 194820 WITH SCORE 195093.141
AT ITER 7145 NEW BEST:: SOT 1810273 SOS 273078 HAS SOPS 273078 HAS SOUS 194757 HAS SOUPS 194757 WITH SCORE 195030.078
AT ITER 7146 NEW BEST:: SOT 1810265 SOS 273030 HAS SOPS 273030 HAS SOUS 194742 HAS SOUPS 194742 WITH SCORE 195015.03
AT ITER 7210 NEW BEST:: SOT 1810135 SOS 272989 HAS SOPS 272989 HAS SOUS 194599 HAS SOUPS 194599 WITH SCORE 194871.989
AT ITER 7213 NEW BEST:: SOT 1809820 SOS 272811 HAS SOPS 272811 HAS SOUS 194355 HAS SOUPS 194355 WITH SCORE 194627.811
AT ITER 7215 NEW BEST:: SOT 1809820 SOS 272685 HAS SOPS 272685 HAS SOUS 194229 HAS SOUPS 194229 WITH SCORE 194501.685
AT ITER 7284 NEW BEST:: SOT 1809728 SOS 272501 HAS SOPS 272501 HAS SOUS 194084 HAS SOUPS 194084 WITH SCORE 194356.501
AT ITER 7312 NEW BEST:: SOT 1809692 SOS 272429 HAS SOPS 272429 HAS SOUS 194012 HAS SOUPS 194012 WITH SCORE 194284.429
AT ITER 7322 NEW BEST:: SOT 1809664 SOS 272380 HAS SOPS 272380 HAS SOUS 193970 HAS SOUPS 193970 WITH SCORE 194242.38
AT ITER 7366 NEW BEST:: SOT 1809598 SOS 272405 HAS SOPS 272405 HAS SOUS 193849 HAS SOUPS 193849 WITH SCORE 194121.405
AT ITER 7380 NEW BEST:: SOT 1809598 SOS 272350 HAS SOPS 272350 HAS SOUS 193849 HAS SOUPS 193849 WITH SCORE 194121.35
AT ITER 7428 NEW BEST:: SOT 1809576 SOS 272218 HAS SOPS 272218 HAS SOUS 193783 HAS SOUPS 193783 WITH SCORE 194055.218
AT ITER 7431 NEW BEST:: SOT 1809539 SOS 272144 HAS SOPS 272144 HAS SOUS 193708 HAS SOUPS 193708 WITH SCORE 193980.144
AT ITER 7474 NEW BEST:: SOT 1809520 SOS 272125 HAS SOPS 272125 HAS SOUS 193708 HAS SOUPS 193708 WITH SCORE 193980.125
AT ITER 7486 NEW BEST:: SOT 1809520 SOS 272119 HAS SOPS 272119 HAS SOUS 193708 HAS SOUPS 193708 WITH SCORE 193980.119
AT ITER 7490 NEW BEST:: SOT 1809518 SOS 272117 HAS SOPS 272117 HAS SOUS 193706 HAS SOUPS 193706 WITH SCORE 193978.117
AT ITER 7518 NEW BEST:: SOT 1809375 SOS 271831 HAS SOPS 271831 HAS SOUS 193537 HAS SOUPS 193537 WITH SCORE 193808.831
AT ITER 7566 NEW BEST:: SOT 1809347 SOS 271703 HAS SOPS 271703 HAS SOUS 193473 HAS SOUPS 193473 WITH SCORE 193744.703
AT ITER 7640 NEW BEST:: SOT 1809431 SOS 271749 HAS SOPS 271749 HAS SOUS 193095 HAS SOUPS 193095 WITH SCORE 193366.749
AT ITER 7658 NEW BEST:: SOT 1809421 SOS 271725 HAS SOPS 271725 HAS SOUS 193067 HAS SOUPS 193067 WITH SCORE 193338.725
AT ITER 7661 NEW BEST:: SOT 1809335 SOS 271670 HAS SOPS 271670 HAS SOUS 193007 HAS SOUPS 193007 WITH SCORE 193278.67
AT ITER 7727 NEW BEST:: SOT 1809186 SOS 271284 HAS SOPS 271284 HAS SOUS 192814 HAS SOUPS 192814 WITH SCORE 193085.284
AT ITER 7728 NEW BEST:: SOT 1809023 SOS 271100 HAS SOPS 271100 HAS SOUS 192156 HAS SOUPS 192156 WITH SCORE 192427.1
AT ITER 7788 NEW BEST:: SOT 1808768 SOS 270816 HAS SOPS 270816 HAS SOUS 191898 HAS SOUPS 191898 WITH SCORE 192168.816
AT ITER 7843 NEW BEST:: SOT 1808641 SOS 267583 HAS SOPS 267583 HAS SOUS 191637 HAS SOUPS 191637 WITH SCORE 191904.583
AT ITER 7847 NEW BEST:: SOT 1808601 SOS 267309 HAS SOPS 267309 HAS SOUS 191591 HAS SOUPS 191591 WITH SCORE 191858.309
AT ITER 7857 NEW BEST:: SOT 1808564 SOS 267235 HAS SOPS 267235 HAS SOUS 191517 HAS SOUPS 191517 WITH SCORE 191784.235
AT ITER 7883 NEW BEST:: SOT 1808515 SOS 267167 HAS SOPS 267167 HAS SOUS 191468 HAS SOUPS 191468 WITH SCORE 191735.167
AT ITER 7901 NEW BEST:: SOT 1808515 SOS 267167 HAS SOPS 267167 HAS SOUS 191458 HAS SOUPS 191458 WITH SCORE 191725.167
AT ITER 7928 NEW BEST:: SOT 1808462 SOS 267149 HAS SOPS 267149 HAS SOUS 191446 HAS SOUPS 191446 WITH SCORE 191713.149
AT ITER 7933 NEW BEST:: SOT 1808494 SOS 267181 HAS SOPS 267181 HAS SOUS 191445 HAS SOUPS 191445 WITH SCORE 191712.181
AT ITER 7957 NEW BEST:: SOT 1808460 SOS 267416 HAS SOPS 267416 HAS SOUS 191411 HAS SOUPS 191411 WITH SCORE 191678.416
AT ITER 7966 NEW BEST:: SOT 1808118 SOS 267226 HAS SOPS 267226 HAS SOUS 191058 HAS SOUPS 191058 WITH SCORE 191325.226
AT ITER 8010 NEW BEST:: SOT 1807934 SOS 266426 HAS SOPS 266426 HAS SOUS 190868 HAS SOUPS 190868 WITH SCORE 191134.426
AT ITER 8051 NEW BEST:: SOT 1808141 SOS 265961 HAS SOPS 265961 HAS SOUS 190525 HAS SOUPS 190525 WITH SCORE 190790.961
AT ITER 8076 NEW BEST:: SOT 1808636 SOS 266061 HAS SOPS 266061 HAS SOUS 190470 HAS SOUPS 190470 WITH SCORE 190736.061
AT ITER 8100 NEW BEST:: SOT 1808577 SOS 266024 HAS SOPS 266024 HAS SOUS 190410 HAS SOUPS 190410 WITH SCORE 190676.024
AT ITER 8119 NEW BEST:: SOT 1808546 SOS 265962 HAS SOPS 265962 HAS SOUS 190319 HAS SOUPS 190319 WITH SCORE 190584.962
AT ITER 8127 NEW BEST:: SOT 1808479 SOS 265895 HAS SOPS 265895 HAS SOUS 190226 HAS SOUPS 190226 WITH SCORE 190491.895
AT ITER 8190 NEW BEST:: SOT 1808460 SOS 265876 HAS SOPS 265876 HAS SOUS 190207 HAS SOUPS 190207 WITH SCORE 190472.876
AT ITER 8212 NEW BEST:: SOT 1808347 SOS 265763 HAS SOPS 265763 HAS SOUS 190094 HAS SOUPS 190094 WITH SCORE 190359.763
AT ITER 8242 NEW BEST:: SOT 1808306 SOS 265730 HAS SOPS 265730 HAS SOUS 190053 HAS SOUPS 190053 WITH SCORE 190318.73
AT ITER 8259 NEW BEST:: SOT 1808325 SOS 265561 HAS SOPS 265561 HAS SOUS 190004 HAS SOUPS 190004 WITH SCORE 190269.561
AT ITER 8266 NEW BEST:: SOT 1808285 SOS 265610 HAS SOPS 265610 HAS SOUS 189978 HAS SOUPS 189978 WITH SCORE 190243.61
AT ITER 8326 NEW BEST:: SOT 1807809 SOS 265868 HAS SOPS 265868 HAS SOUS 189963 HAS SOUPS 189963 WITH SCORE 190228.868
AT ITER 8351 NEW BEST:: SOT 1807727 SOS 265778 HAS SOPS 265778 HAS SOUS 189831 HAS SOUPS 189831 WITH SCORE 190096.778
AT ITER 8392 NEW BEST:: SOT 1807717 SOS 265758 HAS SOPS 265758 HAS SOUS 189811 HAS SOUPS 189811 WITH SCORE 190076.758
AT ITER 8436 NEW BEST:: SOT 1806988 SOS 265124 HAS SOPS 265124 HAS SOUS 189176 HAS SOUPS 189176 WITH SCORE 189441.124
AT ITER 8462 NEW BEST:: SOT 1806970 SOS 265094 HAS SOPS 265094 HAS SOUS 189146 HAS SOUPS 189146 WITH SCORE 189411.094
AT ITER 8557 NEW BEST:: SOT 1806970 SOS 265064 HAS SOPS 265064 HAS SOUS 189131 HAS SOUPS 189131 WITH SCORE 189396.064
AT ITER 8588 NEW BEST:: SOT 1806767 SOS 264808 HAS SOPS 264808 HAS SOUS 188950 HAS SOUPS 188950 WITH SCORE 189214.808
AT ITER 8597 NEW BEST:: SOT 1806502 SOS 264645 HAS SOPS 264645 HAS SOUS 188681 HAS SOUPS 188681 WITH SCORE 188945.645
AT ITER 8630 NEW BEST:: SOT 1806502 SOS 264635 HAS SOPS 264635 HAS SOUS 188671 HAS SOUPS 188671 WITH SCORE 188935.635
AT ITER 8644 NEW BEST:: SOT 1806502 SOS 264582 HAS SOPS 264582 HAS SOUS 188618 HAS SOUPS 188618 WITH SCORE 188882.582
AT ITER 8667 NEW BEST:: SOT 1806502 SOS 264582 HAS SOPS 264582 HAS SOUS 188579 HAS SOUPS 188579 WITH SCORE 188843.582
AT ITER 8672 NEW BEST:: SOT 1806452 SOS 264532 HAS SOPS 264532 HAS SOUS 188445 HAS SOUPS 188445 WITH SCORE 188709.532
AT ITER 8694 NEW BEST:: SOT 1806112 SOS 264358 HAS SOPS 264358 HAS SOUS 187914 HAS SOUPS 187914 WITH SCORE 188178.358
AT ITER 8695 NEW BEST:: SOT 1806090 SOS 264336 HAS SOPS 264336 HAS SOUS 187892 HAS SOUPS 187892 WITH SCORE 188156.336
AT ITER 8710 NEW BEST:: SOT 1806124 SOS 264463 HAS SOPS 264463 HAS SOUS 187867 HAS SOUPS 187867 WITH SCORE 188131.463
AT ITER 8711 NEW BEST:: SOT 1806113 SOS 264476 HAS SOPS 264476 HAS SOUS 187857 HAS SOUPS 187857 WITH SCORE 188121.476
AT ITER 8738 NEW BEST:: SOT 1806087 SOS 264424 HAS SOPS 264424 HAS SOUS 187805 HAS SOUPS 187805 WITH SCORE 188069.424
AT ITER 8753 NEW BEST:: SOT 1806021 SOS 264368 HAS SOPS 264368 HAS SOUS 187669 HAS SOUPS 187669 WITH SCORE 187933.368
AT ITER 8755 NEW BEST:: SOT 1806009 SOS 262181 HAS SOPS 262181 HAS SOUS 187486 HAS SOUPS 187486 WITH SCORE 187748.181
AT ITER 8760 NEW BEST:: SOT 1805983 SOS 262020 HAS SOPS 262020 HAS SOUS 187375 HAS SOUPS 187375 WITH SCORE 187637.02
AT ITER 8854 NEW BEST:: SOT 1805722 SOS 262542 HAS SOPS 262542 HAS SOUS 187317 HAS SOUPS 187317 WITH SCORE 187579.542
AT ITER 8856 NEW BEST:: SOT 1805682 SOS 262386 HAS SOPS 262386 HAS SOUS 187277 HAS SOUPS 187277 WITH SCORE 187539.386
AT ITER 8864 NEW BEST:: SOT 1805632 SOS 262261 HAS SOPS 262261 HAS SOUS 187177 HAS SOUPS 187177 WITH SCORE 187439.261
AT ITER 8915 NEW BEST:: SOT 1805636 SOS 262349 HAS SOPS 262349 HAS SOUS 187176 HAS SOUPS 187176 WITH SCORE 187438.349
AT ITER 8939 NEW BEST:: SOT 1805609 SOS 262304 HAS SOPS 262304 HAS SOUS 187129 HAS SOUPS 187129 WITH SCORE 187391.304
AT ITER 9012 NEW BEST:: SOT 1805547 SOS 262180 HAS SOPS 262180 HAS SOUS 187025 HAS SOUPS 187025 WITH SCORE 187287.18
AT ITER 9023 NEW BEST:: SOT 1805396 SOS 262084 HAS SOPS 262084 HAS SOUS 186998 HAS SOUPS 186998 WITH SCORE 187260.084
AT ITER 9028 NEW BEST:: SOT 1805397 SOS 262086 HAS SOPS 262086 HAS SOUS 186935 HAS SOUPS 186935 WITH SCORE 187197.086
AT ITER 9029 NEW BEST:: SOT 1805390 SOS 262079 HAS SOPS 262079 HAS SOUS 186920 HAS SOUPS 186920 WITH SCORE 187182.079
AT ITER 9033 NEW BEST:: SOT 1805332 SOS 262008 HAS SOPS 262008 HAS SOUS 186842 HAS SOUPS 186842 WITH SCORE 187104.008
AT ITER 9048 NEW BEST:: SOT 1805208 SOS 261884 HAS SOPS 261884 HAS SOUS 186706 HAS SOUPS 186706 WITH SCORE 186967.884
AT ITER 9059 NEW BEST:: SOT 1805200 SOS 261880 HAS SOPS 261880 HAS SOUS 186696 HAS SOUPS 186696 WITH SCORE 186957.88
AT ITER 9147 NEW BEST:: SOT 1805097 SOS 261776 HAS SOPS 261776 HAS SOUS 186592 HAS SOUPS 186592 WITH SCORE 186853.776
AT ITER 9196 NEW BEST:: SOT 1805044 SOS 261751 HAS SOPS 261751 HAS SOUS 186559 HAS SOUPS 186559 WITH SCORE 186820.751
AT ITER 9199 NEW BEST:: SOT 1804879 SOS 261438 HAS SOPS 261438 HAS SOUS 186337 HAS SOUPS 186337 WITH SCORE 186598.438
AT ITER 9225 NEW BEST:: SOT 1804729 SOS 261048 HAS SOPS 261048 HAS SOUS 186102 HAS SOUPS 186102 WITH SCORE 186363.048
AT ITER 9232 NEW BEST:: SOT 1804688 SOS 261107 HAS SOPS 261107 HAS SOUS 186061 HAS SOUPS 186061 WITH SCORE 186322.107
AT ITER 9254 NEW BEST:: SOT 1804600 SOS 261046 HAS SOPS 261046 HAS SOUS 186021 HAS SOUPS 186021 WITH SCORE 186282.046
AT ITER 9257 NEW BEST:: SOT 1804600 SOS 261050 HAS SOPS 261050 HAS SOUS 186019 HAS SOUPS 186019 WITH SCORE 186280.05
AT ITER 9280 NEW BEST:: SOT 1804600 SOS 261016 HAS SOPS 261016 HAS SOUS 186019 HAS SOUPS 186019 WITH SCORE 186280.016
AT ITER 9283 NEW BEST:: SOT 1804600 SOS 261016 HAS SOPS 261016 HAS SOUS 185996 HAS SOUPS 185996 WITH SCORE 186257.016
AT ITER 9284 NEW BEST:: SOT 1804502 SOS 260997 HAS SOPS 260997 HAS SOUS 185898 HAS SOUPS 185898 WITH SCORE 186158.997
AT ITER 9324 NEW BEST:: SOT 1804460 SOS 260913 HAS SOPS 260913 HAS SOUS 185856 HAS SOUPS 185856 WITH SCORE 186116.913
AT ITER 9387 NEW BEST:: SOT 1804369 SOS 260787 HAS SOPS 260787 HAS SOUS 185665 HAS SOUPS 185665 WITH SCORE 185925.787
AT ITER 9395 NEW BEST:: SOT 1804333 SOS 260791 HAS SOPS 260791 HAS SOUS 185645 HAS SOUPS 185645 WITH SCORE 185905.791
AT ITER 9398 NEW BEST:: SOT 1804327 SOS 260779 HAS SOPS 260779 HAS SOUS 185636 HAS SOUPS 185636 WITH SCORE 185896.779
AT ITER 9455 NEW BEST:: SOT 1804327 SOS 260727 HAS SOPS 260727 HAS SOUS 185610 HAS SOUPS 185610 WITH SCORE 185870.727
AT ITER 9498 NEW BEST:: SOT 1804263 SOS 260437 HAS SOPS 260437 HAS SOUS 185477 HAS SOUPS 185477 WITH SCORE 185737.437
AT ITER 9527 NEW BEST:: SOT 1804259 SOS 260431 HAS SOPS 260431 HAS SOUS 185471 HAS SOUPS 185471 WITH SCORE 185731.431
AT ITER 9574 NEW BEST:: SOT 1804206 SOS 260331 HAS SOPS 260331 HAS SOUS 185364 HAS SOUPS 185364 WITH SCORE 185624.331
AT ITER 9609 NEW BEST:: SOT 1804119 SOS 260087 HAS SOPS 260087 HAS SOUS 185176 HAS SOUPS 185176 WITH SCORE 185436.087
AT ITER 9611 NEW BEST:: SOT 1804119 SOS 260081 HAS SOPS 260081 HAS SOUS 185174 HAS SOUPS 185174 WITH SCORE 185434.081
AT ITER 9646 NEW BEST:: SOT 1804168 SOS 259947 HAS SOPS 259947 HAS SOUS 185174 HAS SOUPS 185174 WITH SCORE 185433.947
AT ITER 9660 NEW BEST:: SOT 1804129 SOS 259713 HAS SOPS 259713 HAS SOUS 185089 HAS SOUPS 185089 WITH SCORE 185348.713
AT ITER 9669 NEW BEST:: SOT 1804118 SOS 259638 HAS SOPS 259638 HAS SOUS 185078 HAS SOUPS 185078 WITH SCORE 185337.638
AT ITER 9674 NEW BEST:: SOT 1804115 SOS 259664 HAS SOPS 259664 HAS SOUS 185043 HAS SOUPS 185043 WITH SCORE 185302.664
AT ITER 9722 NEW BEST:: SOT 1804115 SOS 259702 HAS SOPS 259702 HAS SOUS 185010 HAS SOUPS 185010 WITH SCORE 185269.702
AT ITER 9799 NEW BEST:: SOT 1804115 SOS 259702 HAS SOPS 259702 HAS SOUS 184996 HAS SOUPS 184996 WITH SCORE 185255.702
AT ITER 9833 NEW BEST:: SOT 1804115 SOS 259634 HAS SOPS 259634 HAS SOUS 184928 HAS SOUPS 184928 WITH SCORE 185187.634
AT ITER 9852 NEW BEST:: SOT 1804115 SOS 259621 HAS SOPS 259621 HAS SOUS 184915 HAS SOUPS 184915 WITH SCORE 185174.621
AT ITER 9858 NEW BEST:: SOT 1804113 SOS 259625 HAS SOPS 259625 HAS SOUS 184913 HAS SOUPS 184913 WITH SCORE 185172.625
AT ITER 9871 NEW BEST:: SOT 1804091 SOS 259603 HAS SOPS 259603 HAS SOUS 184847 HAS SOUPS 184847 WITH SCORE 185106.603
AT ITER 9880 NEW BEST:: SOT 1803969 SOS 259531 HAS SOPS 259531 HAS SOUS 184774 HAS SOUPS 184774 WITH SCORE 185033.531
AT ITER 9931 NEW BEST:: SOT 1803969 SOS 259515 HAS SOPS 259515 HAS SOUS 184758 HAS SOUPS 184758 WITH SCORE 185017.515
AT ITER 9940 NEW BEST:: SOT 1804022 SOS 259462 HAS SOPS 259462 HAS SOUS 184758 HAS SOUPS 184758 WITH SCORE 185017.462
AT ITER 9952 NEW BEST:: SOT 1803921 SOS 259551 HAS SOPS 259551 HAS SOUS 184728 HAS SOUPS 184728 WITH SCORE 184987.551

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-5B"
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-5B, 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-158961250500408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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