Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r259-smll-167863534400304.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..............................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is NoC3x3-PT-5B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r259-smll-167863534400304
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 972K
-rw-r--r-- 1 mcc users 5.5K Feb 26 10:15 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 10:15 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 46K Feb 26 10:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 10:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 26 10:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 10:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 10:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 525K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678748325127

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=NoC3x3-PT-5B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 5B
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 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 7 NEW BEST:: SOT 1845973 SOS 294957 HAS SOPS 294957 HAS SOUS 236003 HAS SOUPS 236003 WITH SCORE 236297.957
AT ITER 9 NEW BEST:: SOT 1845507 SOS 294558 HAS SOPS 294558 HAS SOUS 235722 HAS SOUPS 235722 WITH SCORE 236016.558
AT ITER 20 NEW BEST:: SOT 1845429 SOS 294512 HAS SOPS 294512 HAS SOUS 235676 HAS SOUPS 235676 WITH SCORE 235970.512
AT ITER 27 NEW BEST:: SOT 1845325 SOS 294342 HAS SOPS 294342 HAS SOUS 235564 HAS SOUPS 235564 WITH SCORE 235858.342
AT ITER 28 NEW BEST:: SOT 1845154 SOS 294170 HAS SOPS 294170 HAS SOUS 235392 HAS SOUPS 235392 WITH SCORE 235686.17
AT ITER 56 NEW BEST:: SOT 1845034 SOS 294170 HAS SOPS 294170 HAS SOUS 235319 HAS SOUPS 235319 WITH SCORE 235613.17
AT ITER 74 NEW BEST:: SOT 1844657 SOS 294232 HAS SOPS 294232 HAS SOUS 235028 HAS SOUPS 235028 WITH SCORE 235322.232
AT ITER 121 NEW BEST:: SOT 1844630 SOS 294167 HAS SOPS 294167 HAS SOUS 234963 HAS SOUPS 234963 WITH SCORE 235257.167
AT ITER 143 NEW BEST:: SOT 1844732 SOS 294217 HAS SOPS 294217 HAS SOUS 234877 HAS SOUPS 234877 WITH SCORE 235171.217
AT ITER 156 NEW BEST:: SOT 1844849 SOS 294824 HAS SOPS 294824 HAS SOUS 234415 HAS SOUPS 234415 WITH SCORE 234709.824
AT ITER 188 NEW BEST:: SOT 1844605 SOS 294529 HAS SOPS 294529 HAS SOUS 234163 HAS SOUPS 234163 WITH SCORE 234457.529
AT ITER 207 NEW BEST:: SOT 1844606 SOS 294481 HAS SOPS 294481 HAS SOUS 234115 HAS SOUPS 234115 WITH SCORE 234409.481
AT ITER 225 NEW BEST:: SOT 1844168 SOS 293973 HAS SOPS 293973 HAS SOUS 233607 HAS SOUPS 233607 WITH SCORE 233900.973
AT ITER 240 NEW BEST:: SOT 1844118 SOS 293898 HAS SOPS 293898 HAS SOUS 233582 HAS SOUPS 233582 WITH SCORE 233875.898
AT ITER 241 NEW BEST:: SOT 1844111 SOS 293877 HAS SOPS 293877 HAS SOUS 233582 HAS SOUPS 233582 WITH SCORE 233875.877
AT ITER 345 NEW BEST:: SOT 1843753 SOS 293521 HAS SOPS 293521 HAS SOUS 233224 HAS SOUPS 233224 WITH SCORE 233517.521
AT ITER 369 NEW BEST:: SOT 1843716 SOS 293410 HAS SOPS 293410 HAS SOUS 233148 HAS SOUPS 233148 WITH SCORE 233441.41
AT ITER 387 NEW BEST:: SOT 1843669 SOS 293372 HAS SOPS 293372 HAS SOUS 233110 HAS SOUPS 233110 WITH SCORE 233403.372
AT ITER 388 NEW BEST:: SOT 1843669 SOS 292759 HAS SOPS 292759 HAS SOUS 233108 HAS SOUPS 233108 WITH SCORE 233400.759
AT ITER 391 NEW BEST:: SOT 1843669 SOS 292697 HAS SOPS 292697 HAS SOUS 233106 HAS SOUPS 233106 WITH SCORE 233398.697
AT ITER 394 NEW BEST:: SOT 1843678 SOS 292661 HAS SOPS 292661 HAS SOUS 233102 HAS SOUPS 233102 WITH SCORE 233394.661
AT ITER 397 NEW BEST:: SOT 1843539 SOS 292437 HAS SOPS 292437 HAS SOUS 232878 HAS SOUPS 232878 WITH SCORE 233170.437
AT ITER 400 NEW BEST:: SOT 1843605 SOS 293741 HAS SOPS 293741 HAS SOUS 232845 HAS SOUPS 232845 WITH SCORE 233138.741
AT ITER 411 NEW BEST:: SOT 1843635 SOS 293730 HAS SOPS 293730 HAS SOUS 232769 HAS SOUPS 232769 WITH SCORE 233062.73
AT ITER 433 NEW BEST:: SOT 1842774 SOS 293615 HAS SOPS 293615 HAS SOUS 232579 HAS SOUPS 232579 WITH SCORE 232872.615
AT ITER 446 NEW BEST:: SOT 1842413 SOS 293336 HAS SOPS 293336 HAS SOUS 232311 HAS SOUPS 232311 WITH SCORE 232604.336
AT ITER 449 NEW BEST:: SOT 1842118 SOS 293041 HAS SOPS 293041 HAS SOUS 232016 HAS SOUPS 232016 WITH SCORE 232309.041
AT ITER 459 NEW BEST:: SOT 1841960 SOS 292853 HAS SOPS 292853 HAS SOUS 231830 HAS SOUPS 231830 WITH SCORE 232122.853
AT ITER 479 NEW BEST:: SOT 1841851 SOS 292622 HAS SOPS 292622 HAS SOUS 231537 HAS SOUPS 231537 WITH SCORE 231829.622
AT ITER 513 NEW BEST:: SOT 1841579 SOS 292378 HAS SOPS 292378 HAS SOUS 231265 HAS SOUPS 231265 WITH SCORE 231557.378
AT ITER 535 NEW BEST:: SOT 1841578 SOS 292376 HAS SOPS 292376 HAS SOUS 231263 HAS SOUPS 231263 WITH SCORE 231555.376
AT ITER 546 NEW BEST:: SOT 1841386 SOS 292184 HAS SOPS 292184 HAS SOUS 231071 HAS SOUPS 231071 WITH SCORE 231363.184
AT ITER 564 NEW BEST:: SOT 1841113 SOS 292698 HAS SOPS 292698 HAS SOUS 230833 HAS SOUPS 230833 WITH SCORE 231125.698
AT ITER 580 NEW BEST:: SOT 1840145 SOS 293293 HAS SOPS 293293 HAS SOUS 230650 HAS SOUPS 230650 WITH SCORE 230943.293
AT ITER 589 NEW BEST:: SOT 1839892 SOS 294345 HAS SOPS 294345 HAS SOUS 230157 HAS SOUPS 230157 WITH SCORE 230451.345
AT ITER 630 NEW BEST:: SOT 1839452 SOS 294235 HAS SOPS 294235 HAS SOUS 229819 HAS SOUPS 229819 WITH SCORE 230113.235
AT ITER 670 NEW BEST:: SOT 1839136 SOS 293992 HAS SOPS 293992 HAS SOUS 229522 HAS SOUPS 229522 WITH SCORE 229815.992
AT ITER 689 NEW BEST:: SOT 1839030 SOS 293725 HAS SOPS 293725 HAS SOUS 229225 HAS SOUPS 229225 WITH SCORE 229518.725
AT ITER 709 NEW BEST:: SOT 1838970 SOS 293620 HAS SOPS 293620 HAS SOUS 229156 HAS SOUPS 229156 WITH SCORE 229449.62
AT ITER 710 NEW BEST:: SOT 1838942 SOS 293492 HAS SOPS 293492 HAS SOUS 229093 HAS SOUPS 229093 WITH SCORE 229386.492
AT ITER 721 NEW BEST:: SOT 1838552 SOS 293102 HAS SOPS 293102 HAS SOUS 228703 HAS SOUPS 228703 WITH SCORE 228996.102
AT ITER 760 NEW BEST:: SOT 1838547 SOS 293092 HAS SOPS 293092 HAS SOUS 228698 HAS SOUPS 228698 WITH SCORE 228991.092
AT ITER 799 NEW BEST:: SOT 1838504 SOS 292830 HAS SOPS 292830 HAS SOUS 228569 HAS SOUPS 228569 WITH SCORE 228861.83
AT ITER 814 NEW BEST:: SOT 1838362 SOS 292658 HAS SOPS 292658 HAS SOUS 228313 HAS SOUPS 228313 WITH SCORE 228605.658
AT ITER 849 NEW BEST:: SOT 1838092 SOS 291607 HAS SOPS 291607 HAS SOUS 227764 HAS SOUPS 227764 WITH SCORE 228055.607
AT ITER 881 NEW BEST:: SOT 1838083 SOS 291857 HAS SOPS 291857 HAS SOUS 227751 HAS SOUPS 227751 WITH SCORE 228042.857
AT ITER 899 NEW BEST:: SOT 1838072 SOS 291835 HAS SOPS 291835 HAS SOUS 227729 HAS SOUPS 227729 WITH SCORE 228020.835
AT ITER 927 NEW BEST:: SOT 1838123 SOS 291992 HAS SOPS 291992 HAS SOUS 227706 HAS SOUPS 227706 WITH SCORE 227997.992
AT ITER 934 NEW BEST:: SOT 1837815 SOS 291869 HAS SOPS 291869 HAS SOUS 227450 HAS SOUPS 227450 WITH SCORE 227741.869
AT ITER 946 NEW BEST:: SOT 1837814 SOS 291668 HAS SOPS 291668 HAS SOUS 227447 HAS SOUPS 227447 WITH SCORE 227738.668
AT ITER 995 NEW BEST:: SOT 1837795 SOS 291592 HAS SOPS 291592 HAS SOUS 227445 HAS SOUPS 227445 WITH SCORE 227736.592
AT ITER 1021 NEW BEST:: SOT 1837795 SOS 291641 HAS SOPS 291641 HAS SOUS 227396 HAS SOUPS 227396 WITH SCORE 227687.641
AT ITER 1052 NEW BEST:: SOT 1837780 SOS 291606 HAS SOPS 291606 HAS SOUS 227376 HAS SOUPS 227376 WITH SCORE 227667.606
AT ITER 1056 NEW BEST:: SOT 1837779 SOS 291604 HAS SOPS 291604 HAS SOUS 227374 HAS SOUPS 227374 WITH SCORE 227665.604
AT ITER 1111 NEW BEST:: SOT 1837779 SOS 291579 HAS SOPS 291579 HAS SOUS 227361 HAS SOUPS 227361 WITH SCORE 227652.579
AT ITER 1151 NEW BEST:: SOT 1837649 SOS 291319 HAS SOPS 291319 HAS SOUS 227036 HAS SOUPS 227036 WITH SCORE 227327.319
AT ITER 1169 NEW BEST:: SOT 1837648 SOS 291318 HAS SOPS 291318 HAS SOUS 227033 HAS SOUPS 227033 WITH SCORE 227324.318
AT ITER 1236 NEW BEST:: SOT 1837283 SOS 291899 HAS SOPS 291899 HAS SOUS 226947 HAS SOUPS 226947 WITH SCORE 227238.899
AT ITER 1239 NEW BEST:: SOT 1837205 SOS 291821 HAS SOPS 291821 HAS SOUS 226869 HAS SOUPS 226869 WITH SCORE 227160.821
AT ITER 1253 NEW BEST:: SOT 1834471 SOS 292954 HAS SOPS 292954 HAS SOUS 224511 HAS SOUPS 224511 WITH SCORE 224803.954
AT ITER 1256 NEW BEST:: SOT 1834383 SOS 292700 HAS SOPS 292700 HAS SOUS 224384 HAS SOUPS 224384 WITH SCORE 224676.7
AT ITER 1288 NEW BEST:: SOT 1834286 SOS 292390 HAS SOPS 292390 HAS SOUS 224221 HAS SOUPS 224221 WITH SCORE 224513.39
AT ITER 1290 NEW BEST:: SOT 1833900 SOS 291908 HAS SOPS 291908 HAS SOUS 223833 HAS SOUPS 223833 WITH SCORE 224124.908
AT ITER 1294 NEW BEST:: SOT 1832714 SOS 290842 HAS SOPS 290842 HAS SOUS 222617 HAS SOUPS 222617 WITH SCORE 222907.842
AT ITER 1310 NEW BEST:: SOT 1832714 SOS 290842 HAS SOPS 290842 HAS SOUS 222586 HAS SOUPS 222586 WITH SCORE 222876.842
AT ITER 1371 NEW BEST:: SOT 1832629 SOS 290505 HAS SOPS 290505 HAS SOUS 222380 HAS SOUPS 222380 WITH SCORE 222670.505
AT ITER 1408 NEW BEST:: SOT 1832547 SOS 290415 HAS SOPS 290415 HAS SOUS 222345 HAS SOUPS 222345 WITH SCORE 222635.415
AT ITER 1453 NEW BEST:: SOT 1832324 SOS 290192 HAS SOPS 290192 HAS SOUS 222338 HAS SOUPS 222338 WITH SCORE 222628.192
AT ITER 1459 NEW BEST:: SOT 1832187 SOS 290172 HAS SOPS 290172 HAS SOUS 222286 HAS SOUPS 222286 WITH SCORE 222576.172
AT ITER 1461 NEW BEST:: SOT 1831979 SOS 290533 HAS SOPS 290533 HAS SOUS 222189 HAS SOUPS 222189 WITH SCORE 222479.533
AT ITER 1468 NEW BEST:: SOT 1831979 SOS 290533 HAS SOPS 290533 HAS SOUS 222075 HAS SOUPS 222075 WITH SCORE 222365.533
AT ITER 1486 NEW BEST:: SOT 1831957 SOS 290478 HAS SOPS 290478 HAS SOUS 222031 HAS SOUPS 222031 WITH SCORE 222321.478
AT ITER 1491 NEW BEST:: SOT 1831821 SOS 290252 HAS SOPS 290252 HAS SOUS 221804 HAS SOUPS 221804 WITH SCORE 222094.252
AT ITER 1504 NEW BEST:: SOT 1831821 SOS 289964 HAS SOPS 289964 HAS SOUS 221804 HAS SOUPS 221804 WITH SCORE 222093.964
AT ITER 1538 NEW BEST:: SOT 1831698 SOS 290114 HAS SOPS 290114 HAS SOUS 221722 HAS SOUPS 221722 WITH SCORE 222012.114
AT ITER 1559 NEW BEST:: SOT 1831684 SOS 290086 HAS SOPS 290086 HAS SOUS 221693 HAS SOUPS 221693 WITH SCORE 221983.086
AT ITER 1590 NEW BEST:: SOT 1831684 SOS 289965 HAS SOPS 289965 HAS SOUS 221691 HAS SOUPS 221691 WITH SCORE 221980.965
AT ITER 1607 NEW BEST:: SOT 1831666 SOS 289947 HAS SOPS 289947 HAS SOUS 221673 HAS SOUPS 221673 WITH SCORE 221962.947
AT ITER 1608 NEW BEST:: SOT 1831612 SOS 289927 HAS SOPS 289927 HAS SOUS 221656 HAS SOUPS 221656 WITH SCORE 221945.927
AT ITER 1622 NEW BEST:: SOT 1831578 SOS 289859 HAS SOPS 289859 HAS SOUS 221588 HAS SOUPS 221588 WITH SCORE 221877.859
AT ITER 1627 NEW BEST:: SOT 1831295 SOS 289686 HAS SOPS 289686 HAS SOUS 221427 HAS SOUPS 221427 WITH SCORE 221716.686
AT ITER 1632 NEW BEST:: SOT 1831237 SOS 289174 HAS SOPS 289174 HAS SOUS 221122 HAS SOUPS 221122 WITH SCORE 221411.174
AT ITER 1635 NEW BEST:: SOT 1831205 SOS 289236 HAS SOPS 289236 HAS SOUS 221090 HAS SOUPS 221090 WITH SCORE 221379.236
AT ITER 1666 NEW BEST:: SOT 1831161 SOS 289148 HAS SOPS 289148 HAS SOUS 221002 HAS SOUPS 221002 WITH SCORE 221291.148
AT ITER 1693 NEW BEST:: SOT 1831150 SOS 289130 HAS SOPS 289130 HAS SOUS 220993 HAS SOUPS 220993 WITH SCORE 221282.13
AT ITER 1741 NEW BEST:: SOT 1831150 SOS 289161 HAS SOPS 289161 HAS SOUS 220983 HAS SOUPS 220983 WITH SCORE 221272.161
AT ITER 1756 NEW BEST:: SOT 1828427 SOS 287400 HAS SOPS 287400 HAS SOUS 218734 HAS SOUPS 218734 WITH SCORE 219021.4
AT ITER 1758 NEW BEST:: SOT 1828431 SOS 287342 HAS SOPS 287342 HAS SOUS 218616 HAS SOUPS 218616 WITH SCORE 218903.342
AT ITER 1788 NEW BEST:: SOT 1828431 SOS 287308 HAS SOPS 287308 HAS SOUS 218599 HAS SOUPS 218599 WITH SCORE 218886.308
AT ITER 1843 NEW BEST:: SOT 1828351 SOS 287108 HAS SOPS 287108 HAS SOUS 218479 HAS SOUPS 218479 WITH SCORE 218766.108
AT ITER 1851 NEW BEST:: SOT 1828162 SOS 286725 HAS SOPS 286725 HAS SOUS 218344 HAS SOUPS 218344 WITH SCORE 218630.725
AT ITER 1857 NEW BEST:: SOT 1828045 SOS 286640 HAS SOPS 286640 HAS SOUS 218227 HAS SOUPS 218227 WITH SCORE 218513.64
AT ITER 1859 NEW BEST:: SOT 1827975 SOS 286570 HAS SOPS 286570 HAS SOUS 218227 HAS SOUPS 218227 WITH SCORE 218513.57
AT ITER 1894 NEW BEST:: SOT 1827948 SOS 286543 HAS SOPS 286543 HAS SOUS 218200 HAS SOUPS 218200 WITH SCORE 218486.543
AT ITER 1944 NEW BEST:: SOT 1827905 SOS 286414 HAS SOPS 286414 HAS SOUS 218114 HAS SOUPS 218114 WITH SCORE 218400.414
AT ITER 1985 NEW BEST:: SOT 1827905 SOS 286410 HAS SOPS 286410 HAS SOUS 218084 HAS SOUPS 218084 WITH SCORE 218370.41
AT ITER 2013 NEW BEST:: SOT 1827889 SOS 286394 HAS SOPS 286394 HAS SOUS 218084 HAS SOUPS 218084 WITH SCORE 218370.394
AT ITER 2029 NEW BEST:: SOT 1827885 SOS 286390 HAS SOPS 286390 HAS SOUS 218080 HAS SOUPS 218080 WITH SCORE 218366.39
AT ITER 2030 NEW BEST:: SOT 1827976 SOS 286058 HAS SOPS 286058 HAS SOUS 217886 HAS SOUPS 217886 WITH SCORE 218172.058
AT ITER 2039 NEW BEST:: SOT 1827975 SOS 286057 HAS SOPS 286057 HAS SOUS 217885 HAS SOUPS 217885 WITH SCORE 218171.057
AT ITER 2047 NEW BEST:: SOT 1827975 SOS 286057 HAS SOPS 286057 HAS SOUS 217884 HAS SOUPS 217884 WITH SCORE 218170.057
AT ITER 2058 NEW BEST:: SOT 1827727 SOS 285000 HAS SOPS 285000 HAS SOUS 217489 HAS SOUPS 217489 WITH SCORE 217774.0
AT ITER 2066 NEW BEST:: SOT 1827628 SOS 285021 HAS SOPS 285021 HAS SOUS 217463 HAS SOUPS 217463 WITH SCORE 217748.021
AT ITER 2068 NEW BEST:: SOT 1827628 SOS 284847 HAS SOPS 284847 HAS SOUS 217434 HAS SOUPS 217434 WITH SCORE 217718.847
AT ITER 2085 NEW BEST:: SOT 1827628 SOS 284847 HAS SOPS 284847 HAS SOUS 217432 HAS SOUPS 217432 WITH SCORE 217716.847
AT ITER 2091 NEW BEST:: SOT 1827628 SOS 284766 HAS SOPS 284766 HAS SOUS 217405 HAS SOUPS 217405 WITH SCORE 217689.766
AT ITER 2096 NEW BEST:: SOT 1827628 SOS 284764 HAS SOPS 284764 HAS SOUS 217088 HAS SOUPS 217088 WITH SCORE 217372.764
AT ITER 2106 NEW BEST:: SOT 1826926 SOS 284507 HAS SOPS 284507 HAS SOUS 216397 HAS SOUPS 216397 WITH SCORE 216681.507
AT ITER 2125 NEW BEST:: SOT 1826910 SOS 284555 HAS SOPS 284555 HAS SOUS 216381 HAS SOUPS 216381 WITH SCORE 216665.555
AT ITER 2142 NEW BEST:: SOT 1826900 SOS 284535 HAS SOPS 284535 HAS SOUS 216371 HAS SOUPS 216371 WITH SCORE 216655.535
AT ITER 2161 NEW BEST:: SOT 1826935 SOS 284605 HAS SOPS 284605 HAS SOUS 216354 HAS SOUPS 216354 WITH SCORE 216638.605
AT ITER 2201 NEW BEST:: SOT 1826810 SOS 284588 HAS SOPS 284588 HAS SOUS 216281 HAS SOUPS 216281 WITH SCORE 216565.588
AT ITER 2205 NEW BEST:: SOT 1826788 SOS 284477 HAS SOPS 284477 HAS SOUS 216212 HAS SOUPS 216212 WITH SCORE 216496.477
AT ITER 2240 NEW BEST:: SOT 1826765 SOS 284432 HAS SOPS 284432 HAS SOUS 216163 HAS SOUPS 216163 WITH SCORE 216447.432
AT ITER 2249 NEW BEST:: SOT 1826765 SOS 284378 HAS SOPS 284378 HAS SOUS 216136 HAS SOUPS 216136 WITH SCORE 216420.378
AT ITER 2273 NEW BEST:: SOT 1826547 SOS 284468 HAS SOPS 284468 HAS SOUS 216110 HAS SOUPS 216110 WITH SCORE 216394.468
AT ITER 2309 NEW BEST:: SOT 1826375 SOS 284100 HAS SOPS 284100 HAS SOUS 216028 HAS SOUPS 216028 WITH SCORE 216312.1
AT ITER 2310 NEW BEST:: SOT 1826200 SOS 284358 HAS SOPS 284358 HAS SOUS 215992 HAS SOUPS 215992 WITH SCORE 216276.358
AT ITER 2313 NEW BEST:: SOT 1825978 SOS 284158 HAS SOPS 284158 HAS SOUS 215812 HAS SOUPS 215812 WITH SCORE 216096.158
AT ITER 2316 NEW BEST:: SOT 1825999 SOS 284143 HAS SOPS 284143 HAS SOUS 215797 HAS SOUPS 215797 WITH SCORE 216081.143
AT ITER 2322 NEW BEST:: SOT 1825941 SOS 284041 HAS SOPS 284041 HAS SOUS 215790 HAS SOUPS 215790 WITH SCORE 216074.041
AT ITER 2341 NEW BEST:: SOT 1825788 SOS 283847 HAS SOPS 283847 HAS SOUS 215637 HAS SOUPS 215637 WITH SCORE 215920.847
AT ITER 2347 NEW BEST:: SOT 1825723 SOS 283287 HAS SOPS 283287 HAS SOUS 215567 HAS SOUPS 215567 WITH SCORE 215850.287
AT ITER 2353 NEW BEST:: SOT 1825654 SOS 283212 HAS SOPS 283212 HAS SOUS 215497 HAS SOUPS 215497 WITH SCORE 215780.212
AT ITER 2360 NEW BEST:: SOT 1825632 SOS 283159 HAS SOPS 283159 HAS SOUS 215414 HAS SOUPS 215414 WITH SCORE 215697.159
AT ITER 2363 NEW BEST:: SOT 1825525 SOS 282981 HAS SOPS 282981 HAS SOUS 215238 HAS SOUPS 215238 WITH SCORE 215520.981
AT ITER 2367 NEW BEST:: SOT 1825404 SOS 282734 HAS SOPS 282734 HAS SOUS 214991 HAS SOUPS 214991 WITH SCORE 215273.734
AT ITER 2374 NEW BEST:: SOT 1825404 SOS 282724 HAS SOPS 282724 HAS SOUS 214987 HAS SOUPS 214987 WITH SCORE 215269.724
AT ITER 2376 NEW BEST:: SOT 1825395 SOS 282215 HAS SOPS 282215 HAS SOUS 214576 HAS SOUPS 214576 WITH SCORE 214858.215
AT ITER 2386 NEW BEST:: SOT 1825378 SOS 282151 HAS SOPS 282151 HAS SOUS 214559 HAS SOUPS 214559 WITH SCORE 214841.151
AT ITER 2393 NEW BEST:: SOT 1825244 SOS 281988 HAS SOPS 281988 HAS SOUS 214368 HAS SOUPS 214368 WITH SCORE 214649.988
AT ITER 2411 NEW BEST:: SOT 1825397 SOS 282280 HAS SOPS 282280 HAS SOUS 214268 HAS SOUPS 214268 WITH SCORE 214550.28
AT ITER 2435 NEW BEST:: SOT 1825319 SOS 282296 HAS SOPS 282296 HAS SOUS 214252 HAS SOUPS 214252 WITH SCORE 214534.296
AT ITER 2436 NEW BEST:: SOT 1825307 SOS 282260 HAS SOPS 282260 HAS SOUS 214228 HAS SOUPS 214228 WITH SCORE 214510.26
AT ITER 2439 NEW BEST:: SOT 1825297 SOS 282235 HAS SOPS 282235 HAS SOUS 214208 HAS SOUPS 214208 WITH SCORE 214490.235
AT ITER 2476 NEW BEST:: SOT 1825272 SOS 282210 HAS SOPS 282210 HAS SOUS 214183 HAS SOUPS 214183 WITH SCORE 214465.21
AT ITER 2479 NEW BEST:: SOT 1825213 SOS 282092 HAS SOPS 282092 HAS SOUS 214183 HAS SOUPS 214183 WITH SCORE 214465.092
AT ITER 2484 NEW BEST:: SOT 1825133 SOS 282012 HAS SOPS 282012 HAS SOUS 214106 HAS SOUPS 214106 WITH SCORE 214388.012
AT ITER 2511 NEW BEST:: SOT 1825053 SOS 281532 HAS SOPS 281532 HAS SOUS 214026 HAS SOUPS 214026 WITH SCORE 214307.532
AT ITER 2520 NEW BEST:: SOT 1825053 SOS 281470 HAS SOPS 281470 HAS SOUS 214026 HAS SOUPS 214026 WITH SCORE 214307.47
AT ITER 2547 NEW BEST:: SOT 1825015 SOS 281451 HAS SOPS 281451 HAS SOUS 213988 HAS SOUPS 213988 WITH SCORE 214269.451
AT ITER 2561 NEW BEST:: SOT 1825040 SOS 281440 HAS SOPS 281440 HAS SOUS 213977 HAS SOUPS 213977 WITH SCORE 214258.44
AT ITER 2650 NEW BEST:: SOT 1824893 SOS 281713 HAS SOPS 281713 HAS SOUS 213915 HAS SOUPS 213915 WITH SCORE 214196.713
AT ITER 2670 NEW BEST:: SOT 1824839 SOS 281632 HAS SOPS 281632 HAS SOUS 213861 HAS SOUPS 213861 WITH SCORE 214142.632
AT ITER 2684 NEW BEST:: SOT 1824205 SOS 281603 HAS SOPS 281603 HAS SOUS 213569 HAS SOUPS 213569 WITH SCORE 213850.603
AT ITER 2693 NEW BEST:: SOT 1824189 SOS 281603 HAS SOPS 281603 HAS SOUS 213553 HAS SOUPS 213553 WITH SCORE 213834.603
AT ITER 2706 NEW BEST:: SOT 1824112 SOS 281295 HAS SOPS 281295 HAS SOUS 213399 HAS SOUPS 213399 WITH SCORE 213680.295
AT ITER 2737 NEW BEST:: SOT 1823861 SOS 281043 HAS SOPS 281043 HAS SOUS 213148 HAS SOUPS 213148 WITH SCORE 213429.043
AT ITER 2765 NEW BEST:: SOT 1823820 SOS 281002 HAS SOPS 281002 HAS SOUS 213066 HAS SOUPS 213066 WITH SCORE 213347.002
AT ITER 2768 NEW BEST:: SOT 1823820 SOS 280997 HAS SOPS 280997 HAS SOUS 213065 HAS SOUPS 213065 WITH SCORE 213345.997
AT ITER 2813 NEW BEST:: SOT 1823760 SOS 281006 HAS SOPS 281006 HAS SOUS 213005 HAS SOUPS 213005 WITH SCORE 213286.006
AT ITER 2840 NEW BEST:: SOT 1823760 SOS 280926 HAS SOPS 280926 HAS SOUS 213005 HAS SOUPS 213005 WITH SCORE 213285.926
AT ITER 2876 NEW BEST:: SOT 1823625 SOS 281061 HAS SOPS 281061 HAS SOUS 212796 HAS SOUPS 212796 WITH SCORE 213077.061
AT ITER 2946 NEW BEST:: SOT 1822837 SOS 280781 HAS SOPS 280781 HAS SOUS 212080 HAS SOUPS 212080 WITH SCORE 212360.781
AT ITER 2956 NEW BEST:: SOT 1822698 SOS 280073 HAS SOPS 280073 HAS SOUS 211970 HAS SOUPS 211970 WITH SCORE 212250.073
AT ITER 2958 NEW BEST:: SOT 1822698 SOS 280073 HAS SOPS 280073 HAS SOUS 211953 HAS SOUPS 211953 WITH SCORE 212233.073
AT ITER 2959 NEW BEST:: SOT 1822526 SOS 279967 HAS SOPS 279967 HAS SOUS 211847 HAS SOUPS 211847 WITH SCORE 212126.967
AT ITER 2968 NEW BEST:: SOT 1822343 SOS 279831 HAS SOPS 279831 HAS SOUS 211837 HAS SOUPS 211837 WITH SCORE 212116.831
AT ITER 2970 NEW BEST:: SOT 1821896 SOS 279571 HAS SOPS 279571 HAS SOUS 211693 HAS SOUPS 211693 WITH SCORE 211972.571
AT ITER 2978 NEW BEST:: SOT 1821865 SOS 279506 HAS SOPS 279506 HAS SOUS 211576 HAS SOUPS 211576 WITH SCORE 211855.506
AT ITER 2983 NEW BEST:: SOT 1821740 SOS 279381 HAS SOPS 279381 HAS SOUS 211451 HAS SOUPS 211451 WITH SCORE 211730.381
AT ITER 3007 NEW BEST:: SOT 1821361 SOS 279050 HAS SOPS 279050 HAS SOUS 210762 HAS SOUPS 210762 WITH SCORE 211041.05
AT ITER 3044 NEW BEST:: SOT 1821361 SOS 278950 HAS SOPS 278950 HAS SOUS 210762 HAS SOUPS 210762 WITH SCORE 211040.95
AT ITER 3105 NEW BEST:: SOT 1821112 SOS 279195 HAS SOPS 279195 HAS SOUS 210622 HAS SOUPS 210622 WITH SCORE 210901.195
AT ITER 3121 NEW BEST:: SOT 1821106 SOS 279171 HAS SOPS 279171 HAS SOUS 210604 HAS SOUPS 210604 WITH SCORE 210883.171
AT ITER 3141 NEW BEST:: SOT 1821182 SOS 279443 HAS SOPS 279443 HAS SOUS 210564 HAS SOUPS 210564 WITH SCORE 210843.443
AT ITER 3146 NEW BEST:: SOT 1821182 SOS 279481 HAS SOPS 279481 HAS SOUS 210523 HAS SOUPS 210523 WITH SCORE 210802.481
AT ITER 3160 NEW BEST:: SOT 1821100 SOS 279120 HAS SOPS 279120 HAS SOUS 210370 HAS SOUPS 210370 WITH SCORE 210649.12
AT ITER 3163 NEW BEST:: SOT 1821020 SOS 279040 HAS SOPS 279040 HAS SOUS 210211 HAS SOUPS 210211 WITH SCORE 210490.04
AT ITER 3180 NEW BEST:: SOT 1821002 SOS 279004 HAS SOPS 279004 HAS SOUS 210173 HAS SOUPS 210173 WITH SCORE 210452.004
AT ITER 3192 NEW BEST:: SOT 1821002 SOS 278976 HAS SOPS 278976 HAS SOUS 210173 HAS SOUPS 210173 WITH SCORE 210451.976
AT ITER 3193 NEW BEST:: SOT 1820955 SOS 278959 HAS SOPS 278959 HAS SOUS 209951 HAS SOUPS 209951 WITH SCORE 210229.959
AT ITER 3201 NEW BEST:: SOT 1820954 SOS 278910 HAS SOPS 278910 HAS SOUS 209950 HAS SOUPS 209950 WITH SCORE 210228.91
AT ITER 3215 NEW BEST:: SOT 1820942 SOS 278892 HAS SOPS 278892 HAS SOUS 209932 HAS SOUPS 209932 WITH SCORE 210210.892
AT ITER 3220 NEW BEST:: SOT 1821018 SOS 278816 HAS SOPS 278816 HAS SOUS 209856 HAS SOUPS 209856 WITH SCORE 210134.816
AT ITER 3272 NEW BEST:: SOT 1820914 SOS 278666 HAS SOPS 278666 HAS SOUS 209694 HAS SOUPS 209694 WITH SCORE 209972.666
AT ITER 3277 NEW BEST:: SOT 1820778 SOS 278520 HAS SOPS 278520 HAS SOUS 209548 HAS SOUPS 209548 WITH SCORE 209826.52
AT ITER 3288 NEW BEST:: SOT 1820767 SOS 277442 HAS SOPS 277442 HAS SOUS 209526 HAS SOUPS 209526 WITH SCORE 209803.442
AT ITER 3291 NEW BEST:: SOT 1820766 SOS 277402 HAS SOPS 277402 HAS SOUS 209511 HAS SOUPS 209511 WITH SCORE 209788.402
AT ITER 3343 NEW BEST:: SOT 1820606 SOS 276752 HAS SOPS 276752 HAS SOUS 209034 HAS SOUPS 209034 WITH SCORE 209310.752
AT ITER 3353 NEW BEST:: SOT 1820674 SOS 276857 HAS SOPS 276857 HAS SOUS 209028 HAS SOUPS 209028 WITH SCORE 209304.857
AT ITER 3384 NEW BEST:: SOT 1820425 SOS 276827 HAS SOPS 276827 HAS SOUS 208906 HAS SOUPS 208906 WITH SCORE 209182.827
AT ITER 3396 NEW BEST:: SOT 1820406 SOS 276796 HAS SOPS 276796 HAS SOUS 208868 HAS SOUPS 208868 WITH SCORE 209144.796
AT ITER 3401 NEW BEST:: SOT 1820405 SOS 276790 HAS SOPS 276790 HAS SOUS 208864 HAS SOUPS 208864 WITH SCORE 209140.79
AT ITER 3407 NEW BEST:: SOT 1820257 SOS 276642 HAS SOPS 276642 HAS SOUS 208716 HAS SOUPS 208716 WITH SCORE 208992.642
AT ITER 3444 NEW BEST:: SOT 1820419 SOS 276538 HAS SOPS 276538 HAS SOUS 208352 HAS SOUPS 208352 WITH SCORE 208628.538
AT ITER 3446 NEW BEST:: SOT 1820231 SOS 276172 HAS SOPS 276172 HAS SOUS 208016 HAS SOUPS 208016 WITH SCORE 208292.172
AT ITER 3453 NEW BEST:: SOT 1820186 SOS 276082 HAS SOPS 276082 HAS SOUS 207887 HAS SOUPS 207887 WITH SCORE 208163.082
AT ITER 3456 NEW BEST:: SOT 1820060 SOS 275892 HAS SOPS 275892 HAS SOUS 207644 HAS SOUPS 207644 WITH SCORE 207919.892
AT ITER 3474 NEW BEST:: SOT 1819939 SOS 275857 HAS SOPS 275857 HAS SOUS 207531 HAS SOUPS 207531 WITH SCORE 207806.857
AT ITER 3490 NEW BEST:: SOT 1819350 SOS 275320 HAS SOPS 275320 HAS SOUS 206968 HAS SOUPS 206968 WITH SCORE 207243.32
AT ITER 3492 NEW BEST:: SOT 1818343 SOS 274677 HAS SOPS 274677 HAS SOUS 206549 HAS SOUPS 206549 WITH SCORE 206823.677
AT ITER 3495 NEW BEST:: SOT 1818262 SOS 274645 HAS SOPS 274645 HAS SOUS 206477 HAS SOUPS 206477 WITH SCORE 206751.645
AT ITER 3520 NEW BEST:: SOT 1818219 SOS 274419 HAS SOPS 274419 HAS SOUS 206434 HAS SOUPS 206434 WITH SCORE 206708.419
AT ITER 3558 NEW BEST:: SOT 1818214 SOS 274404 HAS SOPS 274404 HAS SOUS 206429 HAS SOUPS 206429 WITH SCORE 206703.404
AT ITER 3631 NEW BEST:: SOT 1818214 SOS 274334 HAS SOPS 274334 HAS SOUS 206404 HAS SOUPS 206404 WITH SCORE 206678.334
AT ITER 3691 NEW BEST:: SOT 1818166 SOS 274284 HAS SOPS 274284 HAS SOUS 206401 HAS SOUPS 206401 WITH SCORE 206675.284
AT ITER 3748 NEW BEST:: SOT 1818076 SOS 274189 HAS SOPS 274189 HAS SOUS 206310 HAS SOUPS 206310 WITH SCORE 206584.189
AT ITER 3751 NEW BEST:: SOT 1817691 SOS 273885 HAS SOPS 273885 HAS SOUS 206133 HAS SOUPS 206133 WITH SCORE 206406.885
AT ITER 3775 NEW BEST:: SOT 1817064 SOS 273597 HAS SOPS 273597 HAS SOUS 205526 HAS SOUPS 205526 WITH SCORE 205799.597
AT ITER 3782 NEW BEST:: SOT 1817064 SOS 273587 HAS SOPS 273587 HAS SOUS 205516 HAS SOUPS 205516 WITH SCORE 205789.587
AT ITER 3800 NEW BEST:: SOT 1817052 SOS 273563 HAS SOPS 273563 HAS SOUS 205492 HAS SOUPS 205492 WITH SCORE 205765.563
AT ITER 3801 NEW BEST:: SOT 1816996 SOS 273479 HAS SOPS 273479 HAS SOUS 205422 HAS SOUPS 205422 WITH SCORE 205695.479
AT ITER 3833 NEW BEST:: SOT 1816996 SOS 273476 HAS SOPS 273476 HAS SOUS 205422 HAS SOUPS 205422 WITH SCORE 205695.476
AT ITER 3842 NEW BEST:: SOT 1816682 SOS 272417 HAS SOPS 272417 HAS SOUS 204909 HAS SOUPS 204909 WITH SCORE 205181.417
AT ITER 3849 NEW BEST:: SOT 1816653 SOS 272423 HAS SOPS 272423 HAS SOUS 204880 HAS SOUPS 204880 WITH SCORE 205152.423
AT ITER 3871 NEW BEST:: SOT 1816634 SOS 272468 HAS SOPS 272468 HAS SOUS 204861 HAS SOUPS 204861 WITH SCORE 205133.468
AT ITER 3898 NEW BEST:: SOT 1816534 SOS 272118 HAS SOPS 272118 HAS SOUS 204811 HAS SOUPS 204811 WITH SCORE 205083.118
AT ITER 3914 NEW BEST:: SOT 1816441 SOS 272037 HAS SOPS 272037 HAS SOUS 204779 HAS SOUPS 204779 WITH SCORE 205051.037
AT ITER 3915 NEW BEST:: SOT 1816435 SOS 272019 HAS SOPS 272019 HAS SOUS 204767 HAS SOUPS 204767 WITH SCORE 205039.019
AT ITER 3933 NEW BEST:: SOT 1816412 SOS 272065 HAS SOPS 272065 HAS SOUS 204721 HAS SOUPS 204721 WITH SCORE 204993.065
AT ITER 3957 NEW BEST:: SOT 1816360 SOS 272015 HAS SOPS 272015 HAS SOUS 204658 HAS SOUPS 204658 WITH SCORE 204930.015
AT ITER 3958 NEW BEST:: SOT 1816308 SOS 271921 HAS SOPS 271921 HAS SOUS 204524 HAS SOUPS 204524 WITH SCORE 204795.921
AT ITER 3981 NEW BEST:: SOT 1816200 SOS 271756 HAS SOPS 271756 HAS SOUS 204308 HAS SOUPS 204308 WITH SCORE 204579.756
AT ITER 3985 NEW BEST:: SOT 1815945 SOS 271451 HAS SOPS 271451 HAS SOUS 203909 HAS SOUPS 203909 WITH SCORE 204180.451
AT ITER 4029 NEW BEST:: SOT 1815932 SOS 271438 HAS SOPS 271438 HAS SOUS 203896 HAS SOUPS 203896 WITH SCORE 204167.438
AT ITER 4037 NEW BEST:: SOT 1815784 SOS 271787 HAS SOPS 271787 HAS SOUS 203816 HAS SOUPS 203816 WITH SCORE 204087.787
AT ITER 4045 NEW BEST:: SOT 1815749 SOS 271752 HAS SOPS 271752 HAS SOUS 203781 HAS SOUPS 203781 WITH SCORE 204052.752
AT ITER 4092 NEW BEST:: SOT 1815539 SOS 271935 HAS SOPS 271935 HAS SOUS 203702 HAS SOUPS 203702 WITH SCORE 203973.935
AT ITER 4113 NEW BEST:: SOT 1815535 SOS 271927 HAS SOPS 271927 HAS SOUS 203702 HAS SOUPS 203702 WITH SCORE 203973.927
AT ITER 4125 NEW BEST:: SOT 1815442 SOS 271891 HAS SOPS 271891 HAS SOUS 203679 HAS SOUPS 203679 WITH SCORE 203950.891
AT ITER 4127 NEW BEST:: SOT 1815432 SOS 271871 HAS SOPS 271871 HAS SOUS 203659 HAS SOUPS 203659 WITH SCORE 203930.871
AT ITER 4140 NEW BEST:: SOT 1815320 SOS 271786 HAS SOPS 271786 HAS SOUS 203598 HAS SOUPS 203598 WITH SCORE 203869.786
AT ITER 4153 NEW BEST:: SOT 1815320 SOS 271740 HAS SOPS 271740 HAS SOUS 203552 HAS SOUPS 203552 WITH SCORE 203823.74
AT ITER 4154 NEW BEST:: SOT 1814807 SOS 271464 HAS SOPS 271464 HAS SOUS 203039 HAS SOUPS 203039 WITH SCORE 203310.464
AT ITER 4164 NEW BEST:: SOT 1814748 SOS 271362 HAS SOPS 271362 HAS SOUS 202930 HAS SOUPS 202930 WITH SCORE 203201.362
AT ITER 4167 NEW BEST:: SOT 1814690 SOS 271444 HAS SOPS 271444 HAS SOUS 202927 HAS SOUPS 202927 WITH SCORE 203198.444
AT ITER 4198 NEW BEST:: SOT 1814573 SOS 271327 HAS SOPS 271327 HAS SOUS 202810 HAS SOUPS 202810 WITH SCORE 203081.327
AT ITER 4227 NEW BEST:: SOT 1814561 SOS 271321 HAS SOPS 271321 HAS SOUS 202798 HAS SOUPS 202798 WITH SCORE 203069.321
AT ITER 4260 NEW BEST:: SOT 1814461 SOS 271196 HAS SOPS 271196 HAS SOUS 202673 HAS SOUPS 202673 WITH SCORE 202944.196
AT ITER 4279 NEW BEST:: SOT 1814289 SOS 271080 HAS SOPS 271080 HAS SOUS 202557 HAS SOUPS 202557 WITH SCORE 202828.08
AT ITER 4287 NEW BEST:: SOT 1814277 SOS 271056 HAS SOPS 271056 HAS SOUS 202533 HAS SOUPS 202533 WITH SCORE 202804.056
AT ITER 4297 NEW BEST:: SOT 1814318 SOS 271018 HAS SOPS 271018 HAS SOUS 202409 HAS SOUPS 202409 WITH SCORE 202680.018
AT ITER 4325 NEW BEST:: SOT 1814145 SOS 270845 HAS SOPS 270845 HAS SOUS 202195 HAS SOUPS 202195 WITH SCORE 202465.845
AT ITER 4342 NEW BEST:: SOT 1814056 SOS 270667 HAS SOPS 270667 HAS SOUS 202172 HAS SOUPS 202172 WITH SCORE 202442.667
AT ITER 4397 NEW BEST:: SOT 1814055 SOS 270665 HAS SOPS 270665 HAS SOUS 202170 HAS SOUPS 202170 WITH SCORE 202440.665
AT ITER 4399 NEW BEST:: SOT 1814019 SOS 270593 HAS SOPS 270593 HAS SOUS 202164 HAS SOUPS 202164 WITH SCORE 202434.593
AT ITER 4417 NEW BEST:: SOT 1814030 SOS 270684 HAS SOPS 270684 HAS SOUS 202144 HAS SOUPS 202144 WITH SCORE 202414.684
AT ITER 4433 NEW BEST:: SOT 1813935 SOS 270628 HAS SOPS 270628 HAS SOUS 202071 HAS SOUPS 202071 WITH SCORE 202341.628
AT ITER 4457 NEW BEST:: SOT 1813887 SOS 270549 HAS SOPS 270549 HAS SOUS 201979 HAS SOUPS 201979 WITH SCORE 202249.549
AT ITER 4462 NEW BEST:: SOT 1813887 SOS 270495 HAS SOPS 270495 HAS SOUS 201925 HAS SOUPS 201925 WITH SCORE 202195.495
AT ITER 4481 NEW BEST:: SOT 1813975 SOS 270419 HAS SOPS 270419 HAS SOUS 201896 HAS SOUPS 201896 WITH SCORE 202166.419
AT ITER 4491 NEW BEST:: SOT 1813975 SOS 270353 HAS SOPS 270353 HAS SOUS 201830 HAS SOUPS 201830 WITH SCORE 202100.353
AT ITER 4503 NEW BEST:: SOT 1812523 SOS 268787 HAS SOPS 268787 HAS SOUS 200431 HAS SOUPS 200431 WITH SCORE 200699.787
AT ITER 4510 NEW BEST:: SOT 1812499 SOS 268644 HAS SOPS 268644 HAS SOUS 200343 HAS SOUPS 200343 WITH SCORE 200611.644
AT ITER 4513 NEW BEST:: SOT 1812488 SOS 268622 HAS SOPS 268622 HAS SOUS 200321 HAS SOUPS 200321 WITH SCORE 200589.622
AT ITER 4544 NEW BEST:: SOT 1812066 SOS 268279 HAS SOPS 268279 HAS SOUS 200132 HAS SOUPS 200132 WITH SCORE 200400.279
AT ITER 4620 NEW BEST:: SOT 1812090 SOS 268159 HAS SOPS 268159 HAS SOUS 200126 HAS SOUPS 200126 WITH SCORE 200394.159
AT ITER 4633 NEW BEST:: SOT 1812081 SOS 268150 HAS SOPS 268150 HAS SOUS 200117 HAS SOUPS 200117 WITH SCORE 200385.15
AT ITER 4652 NEW BEST:: SOT 1812095 SOS 267863 HAS SOPS 267863 HAS SOUS 199960 HAS SOUPS 199960 WITH SCORE 200227.863
AT ITER 4680 NEW BEST:: SOT 1811787 SOS 267496 HAS SOPS 267496 HAS SOUS 199517 HAS SOUPS 199517 WITH SCORE 199784.496
AT ITER 4688 NEW BEST:: SOT 1811787 SOS 267397 HAS SOPS 267397 HAS SOUS 199418 HAS SOUPS 199418 WITH SCORE 199685.397
AT ITER 4714 NEW BEST:: SOT 1811771 SOS 267381 HAS SOPS 267381 HAS SOUS 199402 HAS SOUPS 199402 WITH SCORE 199669.381
AT ITER 4742 NEW BEST:: SOT 1811755 SOS 267378 HAS SOPS 267378 HAS SOUS 199387 HAS SOUPS 199387 WITH SCORE 199654.378
AT ITER 4746 NEW BEST:: SOT 1811755 SOS 267358 HAS SOPS 267358 HAS SOUS 199387 HAS SOUPS 199387 WITH SCORE 199654.358
AT ITER 4764 NEW BEST:: SOT 1811728 SOS 267331 HAS SOPS 267331 HAS SOUS 199360 HAS SOUPS 199360 WITH SCORE 199627.331
AT ITER 4780 NEW BEST:: SOT 1811327 SOS 266499 HAS SOPS 266499 HAS SOUS 199003 HAS SOUPS 199003 WITH SCORE 199269.499
AT ITER 4791 NEW BEST:: SOT 1811282 SOS 266454 HAS SOPS 266454 HAS SOUS 198868 HAS SOUPS 198868 WITH SCORE 199134.454
AT ITER 4798 NEW BEST:: SOT 1811306 SOS 266478 HAS SOPS 266478 HAS SOUS 198858 HAS SOUPS 198858 WITH SCORE 199124.478
AT ITER 4825 NEW BEST:: SOT 1811296 SOS 266494 HAS SOPS 266494 HAS SOUS 198846 HAS SOUPS 198846 WITH SCORE 199112.494
AT ITER 4866 NEW BEST:: SOT 1811223 SOS 266491 HAS SOPS 266491 HAS SOUS 198732 HAS SOUPS 198732 WITH SCORE 198998.491
AT ITER 4883 NEW BEST:: SOT 1811161 SOS 266395 HAS SOPS 266395 HAS SOUS 198730 HAS SOUPS 198730 WITH SCORE 198996.395
AT ITER 4890 NEW BEST:: SOT 1811138 SOS 266370 HAS SOPS 266370 HAS SOUS 198708 HAS SOUPS 198708 WITH SCORE 198974.37
AT ITER 4957 NEW BEST:: SOT 1811138 SOS 266364 HAS SOPS 266364 HAS SOUS 198708 HAS SOUPS 198708 WITH SCORE 198974.364
AT ITER 4959 NEW BEST:: SOT 1811107 SOS 266333 HAS SOPS 266333 HAS SOUS 198677 HAS SOUPS 198677 WITH SCORE 198943.333
AT ITER 4986 NEW BEST:: SOT 1811119 SOS 266194 HAS SOPS 266194 HAS SOUS 198673 HAS SOUPS 198673 WITH SCORE 198939.194
AT ITER 5035 NEW BEST:: SOT 1811090 SOS 266037 HAS SOPS 266037 HAS SOUS 198615 HAS SOUPS 198615 WITH SCORE 198881.037
AT ITER 5084 NEW BEST:: SOT 1811049 SOS 265996 HAS SOPS 265996 HAS SOUS 198574 HAS SOUPS 198574 WITH SCORE 198839.996
AT ITER 5125 NEW BEST:: SOT 1811081 SOS 265718 HAS SOPS 265718 HAS SOUS 198564 HAS SOUPS 198564 WITH SCORE 198829.718
AT ITER 5145 NEW BEST:: SOT 1810761 SOS 265934 HAS SOPS 265934 HAS SOUS 198263 HAS SOUPS 198263 WITH SCORE 198528.934
AT ITER 5157 NEW BEST:: SOT 1810761 SOS 265718 HAS SOPS 265718 HAS SOUS 198129 HAS SOUPS 198129 WITH SCORE 198394.718
AT ITER 5192 NEW BEST:: SOT 1810358 SOS 265040 HAS SOPS 265040 HAS SOUS 197562 HAS SOUPS 197562 WITH SCORE 197827.04
AT ITER 5195 NEW BEST:: SOT 1810241 SOS 264722 HAS SOPS 264722 HAS SOUS 197271 HAS SOUPS 197271 WITH SCORE 197535.722
AT ITER 5196 NEW BEST:: SOT 1810303 SOS 265417 HAS SOPS 265417 HAS SOUS 197268 HAS SOUPS 197268 WITH SCORE 197533.417
AT ITER 5197 NEW BEST:: SOT 1810189 SOS 265327 HAS SOPS 265327 HAS SOUS 197178 HAS SOUPS 197178 WITH SCORE 197443.327
AT ITER 5212 NEW BEST:: SOT 1810080 SOS 265010 HAS SOPS 265010 HAS SOUS 196946 HAS SOUPS 196946 WITH SCORE 197211.01
AT ITER 5216 NEW BEST:: SOT 1810027 SOS 264948 HAS SOPS 264948 HAS SOUS 196877 HAS SOUPS 196877 WITH SCORE 197141.948
AT ITER 5234 NEW BEST:: SOT 1809975 SOS 264842 HAS SOPS 264842 HAS SOUS 196812 HAS SOUPS 196812 WITH SCORE 197076.842
AT ITER 5238 NEW BEST:: SOT 1809917 SOS 264784 HAS SOPS 264784 HAS SOUS 196725 HAS SOUPS 196725 WITH SCORE 196989.784
AT ITER 5251 NEW BEST:: SOT 1809909 SOS 264776 HAS SOPS 264776 HAS SOUS 196717 HAS SOUPS 196717 WITH SCORE 196981.776
AT ITER 5255 NEW BEST:: SOT 1809846 SOS 264650 HAS SOPS 264650 HAS SOUS 196596 HAS SOUPS 196596 WITH SCORE 196860.65
AT ITER 5264 NEW BEST:: SOT 1809632 SOS 264612 HAS SOPS 264612 HAS SOUS 196460 HAS SOUPS 196460 WITH SCORE 196724.612
AT ITER 5276 NEW BEST:: SOT 1809013 SOS 265320 HAS SOPS 265320 HAS SOUS 195945 HAS SOUPS 195945 WITH SCORE 196210.32
AT ITER 5312 NEW BEST:: SOT 1809001 SOS 265296 HAS SOPS 265296 HAS SOUS 195933 HAS SOUPS 195933 WITH SCORE 196198.296
AT ITER 5356 NEW BEST:: SOT 1808920 SOS 265275 HAS SOPS 265275 HAS SOUS 195859 HAS SOUPS 195859 WITH SCORE 196124.275
AT ITER 5363 NEW BEST:: SOT 1808888 SOS 265227 HAS SOPS 265227 HAS SOUS 195779 HAS SOUPS 195779 WITH SCORE 196044.227
AT ITER 5383 NEW BEST:: SOT 1808837 SOS 265197 HAS SOPS 265197 HAS SOUS 195737 HAS SOUPS 195737 WITH SCORE 196002.197
AT ITER 5387 NEW BEST:: SOT 1808797 SOS 265277 HAS SOPS 265277 HAS SOUS 195697 HAS SOUPS 195697 WITH SCORE 195962.277
AT ITER 5398 NEW BEST:: SOT 1808783 SOS 265362 HAS SOPS 265362 HAS SOUS 195683 HAS SOUPS 195683 WITH SCORE 195948.362
AT ITER 5414 NEW BEST:: SOT 1808766 SOS 265337 HAS SOPS 265337 HAS SOUS 195636 HAS SOUPS 195636 WITH SCORE 195901.337
AT ITER 5431 NEW BEST:: SOT 1808766 SOS 265301 HAS SOPS 265301 HAS SOUS 195636 HAS SOUPS 195636 WITH SCORE 195901.301
AT ITER 5440 NEW BEST:: SOT 1808658 SOS 265157 HAS SOPS 265157 HAS SOUS 195492 HAS SOUPS 195492 WITH SCORE 195757.157
AT ITER 5463 NEW BEST:: SOT 1808568 SOS 264606 HAS SOPS 264606 HAS SOUS 195421 HAS SOUPS 195421 WITH SCORE 195685.606
AT ITER 5482 NEW BEST:: SOT 1808544 SOS 264546 HAS SOPS 264546 HAS SOUS 195373 HAS SOUPS 195373 WITH SCORE 195637.546
AT ITER 5491 NEW BEST:: SOT 1808526 SOS 264510 HAS SOPS 264510 HAS SOUS 195172 HAS SOUPS 195172 WITH SCORE 195436.51
AT ITER 5498 NEW BEST:: SOT 1808516 SOS 264463 HAS SOPS 264463 HAS SOUS 195122 HAS SOUPS 195122 WITH SCORE 195386.463
AT ITER 5522 NEW BEST:: SOT 1808480 SOS 264247 HAS SOPS 264247 HAS SOUS 195014 HAS SOUPS 195014 WITH SCORE 195278.247
AT ITER 5529 NEW BEST:: SOT 1808320 SOS 266102 HAS SOPS 266102 HAS SOUS 194914 HAS SOUPS 194914 WITH SCORE 195180.102
AT ITER 5548 NEW BEST:: SOT 1808282 SOS 266060 HAS SOPS 266060 HAS SOUS 194874 HAS SOUPS 194874 WITH SCORE 195140.06
AT ITER 5558 NEW BEST:: SOT 1808062 SOS 265895 HAS SOPS 265895 HAS SOUS 194709 HAS SOUPS 194709 WITH SCORE 194974.895
AT ITER 5596 NEW BEST:: SOT 1808098 SOS 265836 HAS SOPS 265836 HAS SOUS 194669 HAS SOUPS 194669 WITH SCORE 194934.836
AT ITER 5597 NEW BEST:: SOT 1808030 SOS 265785 HAS SOPS 265785 HAS SOUS 194628 HAS SOUPS 194628 WITH SCORE 194893.785
AT ITER 5613 NEW BEST:: SOT 1808030 SOS 265785 HAS SOPS 265785 HAS SOUS 194622 HAS SOUPS 194622 WITH SCORE 194887.785
AT ITER 5666 NEW BEST:: SOT 1808012 SOS 265785 HAS SOPS 265785 HAS SOUS 194568 HAS SOUPS 194568 WITH SCORE 194833.785
AT ITER 5679 NEW BEST:: SOT 1807632 SOS 265830 HAS SOPS 265830 HAS SOUS 194477 HAS SOUPS 194477 WITH SCORE 194742.83
AT ITER 5681 NEW BEST:: SOT 1807632 SOS 265805 HAS SOPS 265805 HAS SOUS 194472 HAS SOUPS 194472 WITH SCORE 194737.805
AT ITER 5722 NEW BEST:: SOT 1807607 SOS 265752 HAS SOPS 265752 HAS SOUS 194414 HAS SOUPS 194414 WITH SCORE 194679.752
AT ITER 5742 NEW BEST:: SOT 1807591 SOS 265720 HAS SOPS 265720 HAS SOUS 194350 HAS SOUPS 194350 WITH SCORE 194615.72
AT ITER 5755 NEW BEST:: SOT 1807430 SOS 265728 HAS SOPS 265728 HAS SOUS 194193 HAS SOUPS 194193 WITH SCORE 194458.728
AT ITER 5762 NEW BEST:: SOT 1807430 SOS 265728 HAS SOPS 265728 HAS SOUS 194167 HAS SOUPS 194167 WITH SCORE 194432.728
AT ITER 5764 NEW BEST:: SOT 1807343 SOS 265853 HAS SOPS 265853 HAS SOUS 194080 HAS SOUPS 194080 WITH SCORE 194345.853
AT ITER 5785 NEW BEST:: SOT 1807323 SOS 265793 HAS SOPS 265793 HAS SOUS 194060 HAS SOUPS 194060 WITH SCORE 194325.793
AT ITER 5839 NEW BEST:: SOT 1807359 SOS 265507 HAS SOPS 265507 HAS SOUS 193896 HAS SOUPS 193896 WITH SCORE 194161.507
AT ITER 5893 NEW BEST:: SOT 1807329 SOS 265477 HAS SOPS 265477 HAS SOUS 193866 HAS SOUPS 193866 WITH SCORE 194131.477
AT ITER 5922 NEW BEST:: SOT 1807321 SOS 265403 HAS SOPS 265403 HAS SOUS 193850 HAS SOUPS 193850 WITH SCORE 194115.403
AT ITER 5963 NEW BEST:: SOT 1807275 SOS 265446 HAS SOPS 265446 HAS SOUS 193848 HAS SOUPS 193848 WITH SCORE 194113.446
AT ITER 5989 NEW BEST:: SOT 1807275 SOS 265419 HAS SOPS 265419 HAS SOUS 193848 HAS SOUPS 193848 WITH SCORE 194113.419
AT ITER 5992 NEW BEST:: SOT 1807264 SOS 265400 HAS SOPS 265400 HAS SOUS 193818 HAS SOUPS 193818 WITH SCORE 194083.4
AT ITER 5996 NEW BEST:: SOT 1807227 SOS 265325 HAS SOPS 265325 HAS SOUS 193743 HAS SOUPS 193743 WITH SCORE 194008.325
AT ITER 6048 NEW BEST:: SOT 1807227 SOS 265325 HAS SOPS 265325 HAS SOUS 193741 HAS SOUPS 193741 WITH SCORE 194006.325
AT ITER 6086 NEW BEST:: SOT 1807155 SOS 265229 HAS SOPS 265229 HAS SOUS 193669 HAS SOUPS 193669 WITH SCORE 193934.229
AT ITER 6097 NEW BEST:: SOT 1807296 SOS 265353 HAS SOPS 265353 HAS SOUS 193625 HAS SOUPS 193625 WITH SCORE 193890.353
AT ITER 6101 NEW BEST:: SOT 1807296 SOS 265215 HAS SOPS 265215 HAS SOUS 193556 HAS SOUPS 193556 WITH SCORE 193821.215
AT ITER 6168 NEW BEST:: SOT 1807207 SOS 265213 HAS SOPS 265213 HAS SOUS 193467 HAS SOUPS 193467 WITH SCORE 193732.213
AT ITER 6194 NEW BEST:: SOT 1807177 SOS 265133 HAS SOPS 265133 HAS SOUS 193404 HAS SOUPS 193404 WITH SCORE 193669.133
AT ITER 6196 NEW BEST:: SOT 1807051 SOS 265010 HAS SOPS 265010 HAS SOUS 193252 HAS SOUPS 193252 WITH SCORE 193517.01
AT ITER 6208 NEW BEST:: SOT 1807011 SOS 264266 HAS SOPS 264266 HAS SOUS 193036 HAS SOUPS 193036 WITH SCORE 193300.266
AT ITER 6222 NEW BEST:: SOT 1806966 SOS 264186 HAS SOPS 264186 HAS SOUS 192957 HAS SOUPS 192957 WITH SCORE 193221.186
AT ITER 6329 NEW BEST:: SOT 1806729 SOS 263870 HAS SOPS 263870 HAS SOUS 192641 HAS SOUPS 192641 WITH SCORE 192904.87
AT ITER 6361 NEW BEST:: SOT 1806690 SOS 263918 HAS SOPS 263918 HAS SOUS 192627 HAS SOUPS 192627 WITH SCORE 192890.918
AT ITER 6390 NEW BEST:: SOT 1806608 SOS 263838 HAS SOPS 263838 HAS SOUS 192547 HAS SOUPS 192547 WITH SCORE 192810.838
AT ITER 6402 NEW BEST:: SOT 1806499 SOS 263620 HAS SOPS 263620 HAS SOUS 192402 HAS SOUPS 192402 WITH SCORE 192665.62
AT ITER 6423 NEW BEST:: SOT 1806499 SOS 263771 HAS SOPS 263771 HAS SOUS 192381 HAS SOUPS 192381 WITH SCORE 192644.771
AT ITER 6427 NEW BEST:: SOT 1806504 SOS 263733 HAS SOPS 263733 HAS SOUS 192367 HAS SOUPS 192367 WITH SCORE 192630.733
AT ITER 6433 NEW BEST:: SOT 1806474 SOS 263703 HAS SOPS 263703 HAS SOUS 192367 HAS SOUPS 192367 WITH SCORE 192630.703
AT ITER 6554 NEW BEST:: SOT 1806428 SOS 263657 HAS SOPS 263657 HAS SOUS 192321 HAS SOUPS 192321 WITH SCORE 192584.657
AT ITER 6557 NEW BEST:: SOT 1806376 SOS 263605 HAS SOPS 263605 HAS SOUS 192321 HAS SOUPS 192321 WITH SCORE 192584.605
AT ITER 6580 NEW BEST:: SOT 1806372 SOS 263649 HAS SOPS 263649 HAS SOUS 192310 HAS SOUPS 192310 WITH SCORE 192573.649
AT ITER 6590 NEW BEST:: SOT 1806297 SOS 263596 HAS SOPS 263596 HAS SOUS 192278 HAS SOUPS 192278 WITH SCORE 192541.596
AT ITER 6632 NEW BEST:: SOT 1806284 SOS 263559 HAS SOPS 263559 HAS SOUS 192246 HAS SOUPS 192246 WITH SCORE 192509.559
AT ITER 6645 NEW BEST:: SOT 1806284 SOS 263526 HAS SOPS 263526 HAS SOUS 192235 HAS SOUPS 192235 WITH SCORE 192498.526
AT ITER 6650 NEW BEST:: SOT 1805939 SOS 263375 HAS SOPS 263375 HAS SOUS 191956 HAS SOUPS 191956 WITH SCORE 192219.375
AT ITER 6651 NEW BEST:: SOT 1805848 SOS 263264 HAS SOPS 263264 HAS SOUS 191798 HAS SOUPS 191798 WITH SCORE 192061.264
AT ITER 6721 NEW BEST:: SOT 1805814 SOS 263189 HAS SOPS 263189 HAS SOUS 191764 HAS SOUPS 191764 WITH SCORE 192027.189
AT ITER 6744 NEW BEST:: SOT 1805806 SOS 263182 HAS SOPS 263182 HAS SOUS 191756 HAS SOUPS 191756 WITH SCORE 192019.182
AT ITER 6750 NEW BEST:: SOT 1805742 SOS 262926 HAS SOPS 262926 HAS SOUS 191628 HAS SOUPS 191628 WITH SCORE 191890.926
AT ITER 6836 NEW BEST:: SOT 1805540 SOS 262542 HAS SOPS 262542 HAS SOUS 191386 HAS SOUPS 191386 WITH SCORE 191648.542
AT ITER 6905 NEW BEST:: SOT 1805525 SOS 262527 HAS SOPS 262527 HAS SOUS 191371 HAS SOUPS 191371 WITH SCORE 191633.527
AT ITER 6945 NEW BEST:: SOT 1805294 SOS 262373 HAS SOPS 262373 HAS SOUS 191217 HAS SOUPS 191217 WITH SCORE 191479.373
AT ITER 6972 NEW BEST:: SOT 1805209 SOS 262288 HAS SOPS 262288 HAS SOUS 191077 HAS SOUPS 191077 WITH SCORE 191339.288
AT ITER 7016 NEW BEST:: SOT 1805100 SOS 262444 HAS SOPS 262444 HAS SOUS 191021 HAS SOUPS 191021 WITH SCORE 191283.444
AT ITER 7062 NEW BEST:: SOT 1804990 SOS 262295 HAS SOPS 262295 HAS SOUS 190872 HAS SOUPS 190872 WITH SCORE 191134.295
AT ITER 7135 NEW BEST:: SOT 1805026 SOS 262106 HAS SOPS 262106 HAS SOUS 190843 HAS SOUPS 190843 WITH SCORE 191105.106
AT ITER 7141 NEW BEST:: SOT 1805026 SOS 262031 HAS SOPS 262031 HAS SOUS 190843 HAS SOUPS 190843 WITH SCORE 191105.031
AT ITER 7144 NEW BEST:: SOT 1805102 SOS 262007 HAS SOPS 262007 HAS SOUS 190840 HAS SOUPS 190840 WITH SCORE 191102.007
AT ITER 7159 NEW BEST:: SOT 1805063 SOS 261929 HAS SOPS 261929 HAS SOUS 190801 HAS SOUPS 190801 WITH SCORE 191062.929
AT ITER 7223 NEW BEST:: SOT 1805035 SOS 261900 HAS SOPS 261900 HAS SOUS 190773 HAS SOUPS 190773 WITH SCORE 191034.9
AT ITER 7231 NEW BEST:: SOT 1804999 SOS 261704 HAS SOPS 261704 HAS SOUS 190719 HAS SOUPS 190719 WITH SCORE 190980.704
AT ITER 7246 NEW BEST:: SOT 1804996 SOS 261631 HAS SOPS 261631 HAS SOUS 190708 HAS SOUPS 190708 WITH SCORE 190969.631
AT ITER 7247 NEW BEST:: SOT 1804999 SOS 261630 HAS SOPS 261630 HAS SOUS 190707 HAS SOUPS 190707 WITH SCORE 190968.63
AT ITER 7263 NEW BEST:: SOT 1804964 SOS 261505 HAS SOPS 261505 HAS SOUS 190629 HAS SOUPS 190629 WITH SCORE 190890.505
AT ITER 7265 NEW BEST:: SOT 1804951 SOS 261479 HAS SOPS 261479 HAS SOUS 190608 HAS SOUPS 190608 WITH SCORE 190869.479
AT ITER 7267 NEW BEST:: SOT 1804951 SOS 261201 HAS SOPS 261201 HAS SOUS 190469 HAS SOUPS 190469 WITH SCORE 190730.201
AT ITER 7271 NEW BEST:: SOT 1804834 SOS 261045 HAS SOPS 261045 HAS SOUS 190313 HAS SOUPS 190313 WITH SCORE 190574.045
AT ITER 7277 NEW BEST:: SOT 1804954 SOS 260994 HAS SOPS 260994 HAS SOUS 190261 HAS SOUPS 190261 WITH SCORE 190521.994
AT ITER 7284 NEW BEST:: SOT 1804546 SOS 260676 HAS SOPS 260676 HAS SOUS 189943 HAS SOUPS 189943 WITH SCORE 190203.676
AT ITER 7347 NEW BEST:: SOT 1804545 SOS 260674 HAS SOPS 260674 HAS SOUS 189941 HAS SOUPS 189941 WITH SCORE 190201.674
AT ITER 7363 NEW BEST:: SOT 1804385 SOS 260570 HAS SOPS 260570 HAS SOUS 189792 HAS SOUPS 189792 WITH SCORE 190052.57
AT ITER 7388 NEW BEST:: SOT 1804379 SOS 260561 HAS SOPS 260561 HAS SOUS 189783 HAS SOUPS 189783 WITH SCORE 190043.561
AT ITER 7461 NEW BEST:: SOT 1804355 SOS 260488 HAS SOPS 260488 HAS SOUS 189710 HAS SOUPS 189710 WITH SCORE 189970.488
AT ITER 7533 NEW BEST:: SOT 1804311 SOS 260202 HAS SOPS 260202 HAS SOUS 189610 HAS SOUPS 189610 WITH SCORE 189870.202
AT ITER 7534 NEW BEST:: SOT 1804311 SOS 260234 HAS SOPS 260234 HAS SOUS 189596 HAS SOUPS 189596 WITH SCORE 189856.234
AT ITER 7567 NEW BEST:: SOT 1804241 SOS 260069 HAS SOPS 260069 HAS SOUS 189559 HAS SOUPS 189559 WITH SCORE 189819.069
AT ITER 7580 NEW BEST:: SOT 1804247 SOS 260076 HAS SOPS 260076 HAS SOUS 189557 HAS SOUPS 189557 WITH SCORE 189817.076
AT ITER 7628 NEW BEST:: SOT 1804222 SOS 260051 HAS SOPS 260051 HAS SOUS 189532 HAS SOUPS 189532 WITH SCORE 189792.051
AT ITER 7632 NEW BEST:: SOT 1804188 SOS 259641 HAS SOPS 259641 HAS SOUS 189522 HAS SOUPS 189522 WITH SCORE 189781.641
AT ITER 7712 NEW BEST:: SOT 1804210 SOS 259656 HAS SOPS 259656 HAS SOUS 189479 HAS SOUPS 189479 WITH SCORE 189738.656
AT ITER 7729 NEW BEST:: SOT 1804153 SOS 259542 HAS SOPS 259542 HAS SOUS 189354 HAS SOUPS 189354 WITH SCORE 189613.542
AT ITER 7747 NEW BEST:: SOT 1803943 SOS 258970 HAS SOPS 258970 HAS SOUS 188996 HAS SOUPS 188996 WITH SCORE 189254.97
AT ITER 7790 NEW BEST:: SOT 1803825 SOS 258793 HAS SOPS 258793 HAS SOUS 188757 HAS SOUPS 188757 WITH SCORE 189015.793
AT ITER 7795 NEW BEST:: SOT 1803769 SOS 258681 HAS SOPS 258681 HAS SOUS 188712 HAS SOUPS 188712 WITH SCORE 188970.681
AT ITER 7873 NEW BEST:: SOT 1803746 SOS 258835 HAS SOPS 258835 HAS SOUS 188689 HAS SOUPS 188689 WITH SCORE 188947.835
AT ITER 7886 NEW BEST:: SOT 1803746 SOS 258835 HAS SOPS 258835 HAS SOUS 188609 HAS SOUPS 188609 WITH SCORE 188867.835
AT ITER 7917 NEW BEST:: SOT 1803715 SOS 258773 HAS SOPS 258773 HAS SOUS 188547 HAS SOUPS 188547 WITH SCORE 188805.773
AT ITER 7936 NEW BEST:: SOT 1803715 SOS 258772 HAS SOPS 258772 HAS SOUS 188533 HAS SOUPS 188533 WITH SCORE 188791.772
AT ITER 7974 NEW BEST:: SOT 1803298 SOS 258734 HAS SOPS 258734 HAS SOUS 188229 HAS SOUPS 188229 WITH SCORE 188487.734
AT ITER 7978 NEW BEST:: SOT 1803299 SOS 258627 HAS SOPS 258627 HAS SOUS 188182 HAS SOUPS 188182 WITH SCORE 188440.627
AT ITER 7988 NEW BEST:: SOT 1803295 SOS 258623 HAS SOPS 258623 HAS SOUS 188182 HAS SOUPS 188182 WITH SCORE 188440.623
AT ITER 8056 NEW BEST:: SOT 1803279 SOS 258591 HAS SOPS 258591 HAS SOUS 188158 HAS SOUPS 188158 WITH SCORE 188416.591
AT ITER 8092 NEW BEST:: SOT 1803047 SOS 258515 HAS SOPS 258515 HAS SOUS 188018 HAS SOUPS 188018 WITH SCORE 188276.515
AT ITER 8109 NEW BEST:: SOT 1802957 SOS 258378 HAS SOPS 258378 HAS SOUS 187842 HAS SOUPS 187842 WITH SCORE 188100.378
AT ITER 8161 NEW BEST:: SOT 1802871 SOS 258292 HAS SOPS 258292 HAS SOUS 187808 HAS SOUPS 187808 WITH SCORE 188066.292
AT ITER 8165 NEW BEST:: SOT 1802745 SOS 257617 HAS SOPS 257617 HAS SOUS 187675 HAS SOUPS 187675 WITH SCORE 187932.617
AT ITER 8182 NEW BEST:: SOT 1802559 SOS 257390 HAS SOPS 257390 HAS SOUS 187500 HAS SOUPS 187500 WITH SCORE 187757.39
AT ITER 8201 NEW BEST:: SOT 1802507 SOS 257338 HAS SOPS 257338 HAS SOUS 187417 HAS SOUPS 187417 WITH SCORE 187674.338
AT ITER 8206 NEW BEST:: SOT 1802327 SOS 257103 HAS SOPS 257103 HAS SOUS 187175 HAS SOUPS 187175 WITH SCORE 187432.103
AT ITER 8211 NEW BEST:: SOT 1802317 SOS 257083 HAS SOPS 257083 HAS SOUS 187155 HAS SOUPS 187155 WITH SCORE 187412.083
AT ITER 8221 NEW BEST:: SOT 1802262 SOS 256910 HAS SOPS 256910 HAS SOUS 187106 HAS SOUPS 187106 WITH SCORE 187362.91
AT ITER 8237 NEW BEST:: SOT 1802156 SOS 256698 HAS SOPS 256698 HAS SOUS 186946 HAS SOUPS 186946 WITH SCORE 187202.698
AT ITER 8256 NEW BEST:: SOT 1802112 SOS 256566 HAS SOPS 256566 HAS SOUS 186858 HAS SOUPS 186858 WITH SCORE 187114.566
AT ITER 8264 NEW BEST:: SOT 1802065 SOS 256506 HAS SOPS 256506 HAS SOUS 186794 HAS SOUPS 186794 WITH SCORE 187050.506
AT ITER 8311 NEW BEST:: SOT 1801998 SOS 256288 HAS SOPS 256288 HAS SOUS 186660 HAS SOUPS 186660 WITH SCORE 186916.288
AT ITER 8330 NEW BEST:: SOT 1801906 SOS 256215 HAS SOPS 256215 HAS SOUS 186587 HAS SOUPS 186587 WITH SCORE 186843.215
AT ITER 8337 NEW BEST:: SOT 1801851 SOS 256012 HAS SOPS 256012 HAS SOUS 186471 HAS SOUPS 186471 WITH SCORE 186727.012
AT ITER 8377 NEW BEST:: SOT 1801846 SOS 256007 HAS SOPS 256007 HAS SOUS 186471 HAS SOUPS 186471 WITH SCORE 186727.007
AT ITER 8384 NEW BEST:: SOT 1801798 SOS 256058 HAS SOPS 256058 HAS SOUS 186463 HAS SOUPS 186463 WITH SCORE 186719.058
AT ITER 8415 NEW BEST:: SOT 1801739 SOS 256128 HAS SOPS 256128 HAS SOUS 186439 HAS SOUPS 186439 WITH SCORE 186695.128
AT ITER 8416 NEW BEST:: SOT 1801829 SOS 255906 HAS SOPS 255906 HAS SOUS 186274 HAS SOUPS 186274 WITH SCORE 186529.906
AT ITER 8421 NEW BEST:: SOT 1801814 SOS 255940 HAS SOPS 255940 HAS SOUS 186268 HAS SOUPS 186268 WITH SCORE 186523.94
AT ITER 8450 NEW BEST:: SOT 1801802 SOS 255916 HAS SOPS 255916 HAS SOUS 186250 HAS SOUPS 186250 WITH SCORE 186505.916
AT ITER 8455 NEW BEST:: SOT 1801804 SOS 255903 HAS SOPS 255903 HAS SOUS 186244 HAS SOUPS 186244 WITH SCORE 186499.903
AT ITER 8463 NEW BEST:: SOT 1801752 SOS 255861 HAS SOPS 255861 HAS SOUS 186212 HAS SOUPS 186212 WITH SCORE 186467.861
AT ITER 8480 NEW BEST:: SOT 1801837 SOS 256120 HAS SOPS 256120 HAS SOUS 186208 HAS SOUPS 186208 WITH SCORE 186464.12
AT ITER 8481 NEW BEST:: SOT 1801632 SOS 255825 HAS SOPS 255825 HAS SOUS 185913 HAS SOUPS 185913 WITH SCORE 186168.825
AT ITER 8489 NEW BEST:: SOT 1801561 SOS 255750 HAS SOPS 255750 HAS SOUS 185838 HAS SOUPS 185838 WITH SCORE 186093.75
AT ITER 8543 NEW BEST:: SOT 1801561 SOS 255752 HAS SOPS 255752 HAS SOUS 185837 HAS SOUPS 185837 WITH SCORE 186092.752
AT ITER 8591 NEW BEST:: SOT 1801461 SOS 255558 HAS SOPS 255558 HAS SOUS 185685 HAS SOUPS 185685 WITH SCORE 185940.558
AT ITER 8600 NEW BEST:: SOT 1801399 SOS 255464 HAS SOPS 255464 HAS SOUS 185608 HAS SOUPS 185608 WITH SCORE 185863.464
AT ITER 8605 NEW BEST:: SOT 1801389 SOS 255424 HAS SOPS 255424 HAS SOUS 185594 HAS SOUPS 185594 WITH SCORE 185849.424
AT ITER 8612 NEW BEST:: SOT 1801224 SOS 255699 HAS SOPS 255699 HAS SOUS 185499 HAS SOUPS 185499 WITH SCORE 185754.699
AT ITER 8625 NEW BEST:: SOT 1801224 SOS 255694 HAS SOPS 255694 HAS SOUS 185499 HAS SOUPS 185499 WITH SCORE 185754.694
AT ITER 8650 NEW BEST:: SOT 1801211 SOS 255144 HAS SOPS 255144 HAS SOUS 185441 HAS SOUPS 185441 WITH SCORE 185696.144
AT ITER 8657 NEW BEST:: SOT 1800696 SOS 254925 HAS SOPS 254925 HAS SOUS 184911 HAS SOUPS 184911 WITH SCORE 185165.925
AT ITER 8671 NEW BEST:: SOT 1800745 SOS 254883 HAS SOPS 254883 HAS SOUS 184872 HAS SOUPS 184872 WITH SCORE 185126.883
AT ITER 8679 NEW BEST:: SOT 1800685 SOS 254763 HAS SOPS 254763 HAS SOUS 184817 HAS SOUPS 184817 WITH SCORE 185071.763
AT ITER 8681 NEW BEST:: SOT 1800577 SOS 254637 HAS SOPS 254637 HAS SOUS 184691 HAS SOUPS 184691 WITH SCORE 184945.637
AT ITER 8726 NEW BEST:: SOT 1800517 SOS 254750 HAS SOPS 254750 HAS SOUS 184561 HAS SOUPS 184561 WITH SCORE 184815.75
AT ITER 8767 NEW BEST:: SOT 1800477 SOS 254803 HAS SOPS 254803 HAS SOUS 184475 HAS SOUPS 184475 WITH SCORE 184729.803
AT ITER 8780 NEW BEST:: SOT 1800224 SOS 254336 HAS SOPS 254336 HAS SOUS 184202 HAS SOUPS 184202 WITH SCORE 184456.336
AT ITER 8842 NEW BEST:: SOT 1799966 SOS 254640 HAS SOPS 254640 HAS SOUS 184201 HAS SOUPS 184201 WITH SCORE 184455.64
AT ITER 8847 NEW BEST:: SOT 1799915 SOS 254829 HAS SOPS 254829 HAS SOUS 184196 HAS SOUPS 184196 WITH SCORE 184450.829
AT ITER 8871 NEW BEST:: SOT 1799878 SOS 254752 HAS SOPS 254752 HAS SOUS 184172 HAS SOUPS 184172 WITH SCORE 184426.752
AT ITER 8872 NEW BEST:: SOT 1799762 SOS 254636 HAS SOPS 254636 HAS SOUS 184056 HAS SOUPS 184056 WITH SCORE 184310.636
AT ITER 8904 NEW BEST:: SOT 1799757 SOS 254626 HAS SOPS 254626 HAS SOUS 184046 HAS SOUPS 184046 WITH SCORE 184300.626
AT ITER 8972 NEW BEST:: SOT 1799749 SOS 254618 HAS SOPS 254618 HAS SOUS 184038 HAS SOUPS 184038 WITH SCORE 184292.618
AT ITER 8984 NEW BEST:: SOT 1799712 SOS 254621 HAS SOPS 254621 HAS SOUS 183965 HAS SOUPS 183965 WITH SCORE 184219.621
AT ITER 8991 NEW BEST:: SOT 1799687 SOS 254633 HAS SOPS 254633 HAS SOUS 183946 HAS SOUPS 183946 WITH SCORE 184200.633
AT ITER 8998 NEW BEST:: SOT 1799650 SOS 254487 HAS SOPS 254487 HAS SOUS 183873 HAS SOUPS 183873 WITH SCORE 184127.487
AT ITER 9012 NEW BEST:: SOT 1799592 SOS 254625 HAS SOPS 254625 HAS SOUS 183844 HAS SOUPS 183844 WITH SCORE 184098.625
AT ITER 9015 NEW BEST:: SOT 1799430 SOS 254382 HAS SOPS 254382 HAS SOUS 183655 HAS SOUPS 183655 WITH SCORE 183909.382
AT ITER 9049 NEW BEST:: SOT 1799310 SOS 254202 HAS SOPS 254202 HAS SOUS 183535 HAS SOUPS 183535 WITH SCORE 183789.202
AT ITER 9065 NEW BEST:: SOT 1799243 SOS 254173 HAS SOPS 254173 HAS SOUS 183437 HAS SOUPS 183437 WITH SCORE 183691.173
AT ITER 9073 NEW BEST:: SOT 1799187 SOS 254286 HAS SOPS 254286 HAS SOUS 183348 HAS SOUPS 183348 WITH SCORE 183602.286
AT ITER 9109 NEW BEST:: SOT 1799157 SOS 254256 HAS SOPS 254256 HAS SOUS 183318 HAS SOUPS 183318 WITH SCORE 183572.256
AT ITER 9166 NEW BEST:: SOT 1799131 SOS 253748 HAS SOPS 253748 HAS SOUS 183264 HAS SOUPS 183264 WITH SCORE 183517.748
AT ITER 9259 NEW BEST:: SOT 1799119 SOS 253700 HAS SOPS 253700 HAS SOUS 183240 HAS SOUPS 183240 WITH SCORE 183493.7
AT ITER 9265 NEW BEST:: SOT 1799105 SOS 253672 HAS SOPS 253672 HAS SOUS 183082 HAS SOUPS 183082 WITH SCORE 183335.672
AT ITER 9288 NEW BEST:: SOT 1798921 SOS 253534 HAS SOPS 253534 HAS SOUS 182944 HAS SOUPS 182944 WITH SCORE 183197.534
AT ITER 9290 NEW BEST:: SOT 1798833 SOS 253200 HAS SOPS 253200 HAS SOUS 182811 HAS SOUPS 182811 WITH SCORE 183064.2
AT ITER 9312 NEW BEST:: SOT 1798824 SOS 253270 HAS SOPS 253270 HAS SOUS 182800 HAS SOUPS 182800 WITH SCORE 183053.27
AT ITER 9340 NEW BEST:: SOT 1798821 SOS 253260 HAS SOPS 253260 HAS SOUS 182799 HAS SOUPS 182799 WITH SCORE 183052.26
AT ITER 9353 NEW BEST:: SOT 1798818 SOS 253254 HAS SOPS 253254 HAS SOUS 182796 HAS SOUPS 182796 WITH SCORE 183049.254
AT ITER 9399 NEW BEST:: SOT 1798765 SOS 253205 HAS SOPS 253205 HAS SOUS 182728 HAS SOUPS 182728 WITH SCORE 182981.205
AT ITER 9488 NEW BEST:: SOT 1798694 SOS 253134 HAS SOPS 253134 HAS SOUS 182657 HAS SOUPS 182657 WITH SCORE 182910.134
AT ITER 9492 NEW BEST:: SOT 1798694 SOS 253121 HAS SOPS 253121 HAS SOUS 182644 HAS SOUPS 182644 WITH SCORE 182897.121
AT ITER 9560 NEW BEST:: SOT 1798689 SOS 253191 HAS SOPS 253191 HAS SOUS 182639 HAS SOUPS 182639 WITH SCORE 182892.191
AT ITER 9572 NEW BEST:: SOT 1798452 SOS 252954 HAS SOPS 252954 HAS SOUS 182455 HAS SOUPS 182455 WITH SCORE 182707.954
AT ITER 9583 NEW BEST:: SOT 1798475 SOS 252932 HAS SOPS 252932 HAS SOUS 182395 HAS SOUPS 182395 WITH SCORE 182647.932
AT ITER 9634 NEW BEST:: SOT 1798344 SOS 253195 HAS SOPS 253195 HAS SOUS 182296 HAS SOUPS 182296 WITH SCORE 182549.195
AT ITER 9657 NEW BEST:: SOT 1798194 SOS 252951 HAS SOPS 252951 HAS SOUS 182089 HAS SOUPS 182089 WITH SCORE 182341.951
AT ITER 9683 NEW BEST:: SOT 1797498 SOS 252830 HAS SOPS 252830 HAS SOUS 181988 HAS SOUPS 181988 WITH SCORE 182240.83
AT ITER 9690 NEW BEST:: SOT 1797450 SOS 252758 HAS SOPS 252758 HAS SOUS 181913 HAS SOUPS 181913 WITH SCORE 182165.758
AT ITER 9695 NEW BEST:: SOT 1797450 SOS 252754 HAS SOPS 252754 HAS SOUS 181913 HAS SOUPS 181913 WITH SCORE 182165.754
AT ITER 9713 NEW BEST:: SOT 1797457 SOS 252710 HAS SOPS 252710 HAS SOUS 181753 HAS SOUPS 181753 WITH SCORE 182005.71
AT ITER 9834 NEW BEST:: SOT 1797457 SOS 252683 HAS SOPS 252683 HAS SOUS 181726 HAS SOUPS 181726 WITH SCORE 181978.683
AT ITER 9846 NEW BEST:: SOT 1797656 SOS 252772 HAS SOPS 252772 HAS SOUS 181706 HAS SOUPS 181706 WITH SCORE 181958.772
AT ITER 9886 NEW BEST:: SOT 1797589 SOS 252638 HAS SOPS 252638 HAS SOUS 181480 HAS SOUPS 181480 WITH SCORE 181732.638
AT ITER 9894 NEW BEST:: SOT 1797510 SOS 252559 HAS SOPS 252559 HAS SOUS 181401 HAS SOUPS 181401 WITH SCORE 181653.559
AT ITER 9905 NEW BEST:: SOT 1797510 SOS 252483 HAS SOPS 252483 HAS SOUS 181363 HAS SOUPS 181363 WITH SCORE 181615.483
AT ITER 9907 NEW BEST:: SOT 1797447 SOS 252096 HAS SOPS 252096 HAS SOUS 181121 HAS SOUPS 181121 WITH SCORE 181373.096
AT ITER 9916 NEW BEST:: SOT 1797444 SOS 252093 HAS SOPS 252093 HAS SOUS 181119 HAS SOUPS 181119 WITH SCORE 181371.093
AT ITER 9924 NEW BEST:: SOT 1797111 SOS 253171 HAS SOPS 253171 HAS SOUS 181062 HAS SOUPS 181062 WITH SCORE 181315.171
AT ITER 9936 NEW BEST:: SOT 1796868 SOS 252915 HAS SOPS 252915 HAS SOUS 180896 HAS SOUPS 180896 WITH SCORE 181148.915
AT ITER 9942 NEW BEST:: SOT 1796849 SOS 252821 HAS SOPS 252821 HAS SOUS 180862 HAS SOUPS 180862 WITH SCORE 181114.821
AT ITER 9996 NEW BEST:: SOT 1796852 SOS 252808 HAS SOPS 252808 HAS SOUS 180848 HAS SOUPS 180848 WITH SCORE 181100.808
AT ITER 9999 NEW BEST:: SOT 1796590 SOS 252485 HAS SOPS 252485 HAS SOUS 180519 HAS SOUPS 180519 WITH SCORE 180771.485
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 9609108 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16151392 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-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"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-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 r259-smll-167863534400304"
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 ;