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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 720K
-rw-r--r-- 1 mcc users 3.8K Apr 8 15:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 8 15:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 7 18:31 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 7 18:31 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Apr 6 20:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 6 20:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 6 03:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 6 03:57 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 548K 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 1589641482491

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

Filename model.pnml
Petri model created: 2003 places, 2292 transitions, 5835 arcs.
AT ITER 0 NEW BEST:: SOT 2472764 SOS 328184 HAS SOPS 328184 HAS SOUS 274863 HAS SOUPS 274863 WITH SCORE 275191.184
AT ITER 9 NEW BEST:: SOT 2472686 SOS 328199 HAS SOPS 328199 HAS SOUS 274762 HAS SOUPS 274762 WITH SCORE 275090.199
AT ITER 11 NEW BEST:: SOT 2472626 SOS 328175 HAS SOPS 328175 HAS SOUS 274549 HAS SOUPS 274549 WITH SCORE 274877.175
AT ITER 17 NEW BEST:: SOT 2472507 SOS 328056 HAS SOPS 328056 HAS SOUS 274430 HAS SOUPS 274430 WITH SCORE 274758.056
AT ITER 20 NEW BEST:: SOT 2472431 SOS 328036 HAS SOPS 328036 HAS SOUS 274425 HAS SOUPS 274425 WITH SCORE 274753.036
AT ITER 27 NEW BEST:: SOT 2472236 SOS 327645 HAS SOPS 327645 HAS SOUS 274034 HAS SOUPS 274034 WITH SCORE 274361.645
AT ITER 29 NEW BEST:: SOT 2472180 SOS 327589 HAS SOPS 327589 HAS SOUS 273976 HAS SOUPS 273976 WITH SCORE 274303.589
AT ITER 33 NEW BEST:: SOT 2472083 SOS 327491 HAS SOPS 327491 HAS SOUS 273878 HAS SOUPS 273878 WITH SCORE 274205.491
AT ITER 67 NEW BEST:: SOT 2472047 SOS 327263 HAS SOPS 327263 HAS SOUS 273852 HAS SOUPS 273852 WITH SCORE 274179.263
AT ITER 70 NEW BEST:: SOT 2471971 SOS 327111 HAS SOPS 327111 HAS SOUS 273809 HAS SOUPS 273809 WITH SCORE 274136.111
AT ITER 78 NEW BEST:: SOT 2471971 SOS 326919 HAS SOPS 326919 HAS SOUS 273805 HAS SOUPS 273805 WITH SCORE 274131.919
AT ITER 80 NEW BEST:: SOT 2471742 SOS 326780 HAS SOPS 326780 HAS SOUS 273663 HAS SOUPS 273663 WITH SCORE 273989.78
AT ITER 93 NEW BEST:: SOT 2471088 SOS 326318 HAS SOPS 326318 HAS SOUS 273197 HAS SOUPS 273197 WITH SCORE 273523.318
AT ITER 95 NEW BEST:: SOT 2471058 SOS 326228 HAS SOPS 326228 HAS SOUS 273167 HAS SOUPS 273167 WITH SCORE 273493.228
AT ITER 108 NEW BEST:: SOT 2471020 SOS 326152 HAS SOPS 326152 HAS SOUS 272950 HAS SOUPS 272950 WITH SCORE 273276.152
AT ITER 129 NEW BEST:: SOT 2471020 SOS 326109 HAS SOPS 326109 HAS SOUS 272907 HAS SOUPS 272907 WITH SCORE 273233.109
AT ITER 136 NEW BEST:: SOT 2470442 SOS 326453 HAS SOPS 326453 HAS SOUS 272550 HAS SOUPS 272550 WITH SCORE 272876.453
AT ITER 140 NEW BEST:: SOT 2470029 SOS 325903 HAS SOPS 325903 HAS SOUS 271991 HAS SOUPS 271991 WITH SCORE 272316.903
AT ITER 189 NEW BEST:: SOT 2469757 SOS 327796 HAS SOPS 327796 HAS SOUS 271976 HAS SOUPS 271976 WITH SCORE 272303.796
AT ITER 193 NEW BEST:: SOT 2468703 SOS 333079 HAS SOPS 333079 HAS SOUS 271324 HAS SOUPS 271324 WITH SCORE 271657.079
AT ITER 199 NEW BEST:: SOT 2468581 SOS 332835 HAS SOPS 332835 HAS SOUS 271080 HAS SOUPS 271080 WITH SCORE 271412.835
AT ITER 242 NEW BEST:: SOT 2468531 SOS 332835 HAS SOPS 332835 HAS SOUS 271030 HAS SOUPS 271030 WITH SCORE 271362.835
AT ITER 291 NEW BEST:: SOT 2468312 SOS 333517 HAS SOPS 333517 HAS SOUS 270923 HAS SOUPS 270923 WITH SCORE 271256.517
AT ITER 300 NEW BEST:: SOT 2467957 SOS 333240 HAS SOPS 333240 HAS SOUS 270717 HAS SOUPS 270717 WITH SCORE 271050.24
AT ITER 316 NEW BEST:: SOT 2467864 SOS 333147 HAS SOPS 333147 HAS SOUS 270624 HAS SOUPS 270624 WITH SCORE 270957.147
AT ITER 318 NEW BEST:: SOT 2467863 SOS 333084 HAS SOPS 333084 HAS SOUS 270621 HAS SOUPS 270621 WITH SCORE 270954.084
AT ITER 337 NEW BEST:: SOT 2466695 SOS 333753 HAS SOPS 333753 HAS SOUS 269511 HAS SOUPS 269511 WITH SCORE 269844.753
AT ITER 349 NEW BEST:: SOT 2466649 SOS 333784 HAS SOPS 333784 HAS SOUS 269464 HAS SOUPS 269464 WITH SCORE 269797.784
AT ITER 350 NEW BEST:: SOT 2466178 SOS 334283 HAS SOPS 334283 HAS SOUS 269198 HAS SOUPS 269198 WITH SCORE 269532.283
AT ITER 379 NEW BEST:: SOT 2465675 SOS 334126 HAS SOPS 334126 HAS SOUS 268781 HAS SOUPS 268781 WITH SCORE 269115.126
AT ITER 392 NEW BEST:: SOT 2465675 SOS 334358 HAS SOPS 334358 HAS SOUS 268764 HAS SOUPS 268764 WITH SCORE 269098.358
AT ITER 426 NEW BEST:: SOT 2465590 SOS 334607 HAS SOPS 334607 HAS SOUS 268713 HAS SOUPS 268713 WITH SCORE 269047.607
AT ITER 443 NEW BEST:: SOT 2465590 SOS 334550 HAS SOPS 334550 HAS SOUS 268626 HAS SOUPS 268626 WITH SCORE 268960.55
AT ITER 453 NEW BEST:: SOT 2465589 SOS 334548 HAS SOPS 334548 HAS SOUS 268624 HAS SOUPS 268624 WITH SCORE 268958.548
AT ITER 473 NEW BEST:: SOT 2465216 SOS 334268 HAS SOPS 334268 HAS SOUS 268389 HAS SOUPS 268389 WITH SCORE 268723.268
AT ITER 545 NEW BEST:: SOT 2465153 SOS 334178 HAS SOPS 334178 HAS SOUS 268180 HAS SOUPS 268180 WITH SCORE 268514.178
AT ITER 559 NEW BEST:: SOT 2465153 SOS 334114 HAS SOPS 334114 HAS SOUS 268180 HAS SOUPS 268180 WITH SCORE 268514.114
AT ITER 578 NEW BEST:: SOT 2465212 SOS 334137 HAS SOPS 334137 HAS SOUS 268175 HAS SOUPS 268175 WITH SCORE 268509.137
AT ITER 608 NEW BEST:: SOT 2465130 SOS 333893 HAS SOPS 333893 HAS SOUS 268007 HAS SOUPS 268007 WITH SCORE 268340.893
AT ITER 636 NEW BEST:: SOT 2464734 SOS 333569 HAS SOPS 333569 HAS SOUS 267523 HAS SOUPS 267523 WITH SCORE 267856.569
AT ITER 657 NEW BEST:: SOT 2464734 SOS 333560 HAS SOPS 333560 HAS SOUS 267514 HAS SOUPS 267514 WITH SCORE 267847.56
AT ITER 663 NEW BEST:: SOT 2464734 SOS 333922 HAS SOPS 333922 HAS SOUS 267513 HAS SOUPS 267513 WITH SCORE 267846.922
AT ITER 679 NEW BEST:: SOT 2464686 SOS 333874 HAS SOPS 333874 HAS SOUS 267465 HAS SOUPS 267465 WITH SCORE 267798.874
AT ITER 691 NEW BEST:: SOT 2464672 SOS 333949 HAS SOPS 333949 HAS SOUS 267451 HAS SOUPS 267451 WITH SCORE 267784.949
AT ITER 700 NEW BEST:: SOT 2464623 SOS 333851 HAS SOPS 333851 HAS SOUS 267401 HAS SOUPS 267401 WITH SCORE 267734.851
AT ITER 708 NEW BEST:: SOT 2464623 SOS 334472 HAS SOPS 334472 HAS SOUS 267399 HAS SOUPS 267399 WITH SCORE 267733.472
AT ITER 745 NEW BEST:: SOT 2464553 SOS 334401 HAS SOPS 334401 HAS SOUS 267398 HAS SOUPS 267398 WITH SCORE 267732.401
AT ITER 760 NEW BEST:: SOT 2464448 SOS 334326 HAS SOPS 334326 HAS SOUS 267131 HAS SOUPS 267131 WITH SCORE 267465.326
AT ITER 819 NEW BEST:: SOT 2464284 SOS 334644 HAS SOPS 334644 HAS SOUS 267125 HAS SOUPS 267125 WITH SCORE 267459.644
AT ITER 852 NEW BEST:: SOT 2464276 SOS 334628 HAS SOPS 334628 HAS SOUS 267109 HAS SOUPS 267109 WITH SCORE 267443.628
AT ITER 868 NEW BEST:: SOT 2464125 SOS 334177 HAS SOPS 334177 HAS SOUS 266756 HAS SOUPS 266756 WITH SCORE 267090.177
AT ITER 877 NEW BEST:: SOT 2463782 SOS 333841 HAS SOPS 333841 HAS SOUS 266588 HAS SOUPS 266588 WITH SCORE 266921.841
AT ITER 881 NEW BEST:: SOT 2463749 SOS 333771 HAS SOPS 333771 HAS SOUS 266518 HAS SOUPS 266518 WITH SCORE 266851.771
AT ITER 897 NEW BEST:: SOT 2463749 SOS 333650 HAS SOPS 333650 HAS SOUS 266397 HAS SOUPS 266397 WITH SCORE 266730.65
AT ITER 902 NEW BEST:: SOT 2463749 SOS 333574 HAS SOPS 333574 HAS SOUS 266397 HAS SOUPS 266397 WITH SCORE 266730.574
AT ITER 932 NEW BEST:: SOT 2463745 SOS 333566 HAS SOPS 333566 HAS SOUS 266393 HAS SOUPS 266393 WITH SCORE 266726.566
AT ITER 959 NEW BEST:: SOT 2463769 SOS 333690 HAS SOPS 333690 HAS SOUS 266380 HAS SOUPS 266380 WITH SCORE 266713.69
AT ITER 984 NEW BEST:: SOT 2463689 SOS 333810 HAS SOPS 333810 HAS SOUS 266300 HAS SOUPS 266300 WITH SCORE 266633.81
AT ITER 994 NEW BEST:: SOT 2463327 SOS 333421 HAS SOPS 333421 HAS SOUS 265867 HAS SOUPS 265867 WITH SCORE 266200.421
AT ITER 1009 NEW BEST:: SOT 2463327 SOS 333389 HAS SOPS 333389 HAS SOUS 265867 HAS SOUPS 265867 WITH SCORE 266200.389
AT ITER 1044 NEW BEST:: SOT 2463327 SOS 333389 HAS SOPS 333389 HAS SOUS 265865 HAS SOUPS 265865 WITH SCORE 266198.389
AT ITER 1066 NEW BEST:: SOT 2463327 SOS 333312 HAS SOPS 333312 HAS SOUS 265865 HAS SOUPS 265865 WITH SCORE 266198.312
AT ITER 1071 NEW BEST:: SOT 2463327 SOS 333259 HAS SOPS 333259 HAS SOUS 265865 HAS SOUPS 265865 WITH SCORE 266198.259
AT ITER 1083 NEW BEST:: SOT 2463317 SOS 333229 HAS SOPS 333229 HAS SOUS 265845 HAS SOUPS 265845 WITH SCORE 266178.229
AT ITER 1085 NEW BEST:: SOT 2463179 SOS 333125 HAS SOPS 333125 HAS SOUS 265715 HAS SOUPS 265715 WITH SCORE 266048.125
AT ITER 1086 NEW BEST:: SOT 2463155 SOS 333077 HAS SOPS 333077 HAS SOUS 265685 HAS SOUPS 265685 WITH SCORE 266018.077
AT ITER 1093 NEW BEST:: SOT 2463155 SOS 333077 HAS SOPS 333077 HAS SOUS 265678 HAS SOUPS 265678 WITH SCORE 266011.077
AT ITER 1131 NEW BEST:: SOT 2463278 SOS 333200 HAS SOPS 333200 HAS SOUS 265677 HAS SOUPS 265677 WITH SCORE 266010.2
AT ITER 1132 NEW BEST:: SOT 2463253 SOS 333695 HAS SOPS 333695 HAS SOUS 265652 HAS SOUPS 265652 WITH SCORE 265985.695
AT ITER 1145 NEW BEST:: SOT 2463148 SOS 333170 HAS SOPS 333170 HAS SOUS 265351 HAS SOUPS 265351 WITH SCORE 265684.17
AT ITER 1183 NEW BEST:: SOT 2463090 SOS 332998 HAS SOPS 332998 HAS SOUS 265292 HAS SOUPS 265292 WITH SCORE 265624.998
AT ITER 1190 NEW BEST:: SOT 2463043 SOS 333074 HAS SOPS 333074 HAS SOUS 265261 HAS SOUPS 265261 WITH SCORE 265594.074
AT ITER 1201 NEW BEST:: SOT 2462733 SOS 332764 HAS SOPS 332764 HAS SOUS 264950 HAS SOUPS 264950 WITH SCORE 265282.764
AT ITER 1210 NEW BEST:: SOT 2462627 SOS 332658 HAS SOPS 332658 HAS SOUS 264897 HAS SOUPS 264897 WITH SCORE 265229.658
AT ITER 1224 NEW BEST:: SOT 2462499 SOS 332596 HAS SOPS 332596 HAS SOUS 264653 HAS SOUPS 264653 WITH SCORE 264985.596
AT ITER 1235 NEW BEST:: SOT 2462382 SOS 332578 HAS SOPS 332578 HAS SOUS 264536 HAS SOUPS 264536 WITH SCORE 264868.578
AT ITER 1246 NEW BEST:: SOT 2462347 SOS 332473 HAS SOPS 332473 HAS SOUS 264466 HAS SOUPS 264466 WITH SCORE 264798.473
AT ITER 1258 NEW BEST:: SOT 2462398 SOS 332490 HAS SOPS 332490 HAS SOUS 264393 HAS SOUPS 264393 WITH SCORE 264725.49
AT ITER 1265 NEW BEST:: SOT 2462316 SOS 332326 HAS SOPS 332326 HAS SOUS 264311 HAS SOUPS 264311 WITH SCORE 264643.326
AT ITER 1268 NEW BEST:: SOT 2462293 SOS 332347 HAS SOPS 332347 HAS SOUS 264288 HAS SOUPS 264288 WITH SCORE 264620.347
AT ITER 1275 NEW BEST:: SOT 2462229 SOS 332270 HAS SOPS 332270 HAS SOUS 264224 HAS SOUPS 264224 WITH SCORE 264556.27
AT ITER 1277 NEW BEST:: SOT 2462232 SOS 332411 HAS SOPS 332411 HAS SOUS 264220 HAS SOUPS 264220 WITH SCORE 264552.411
AT ITER 1323 NEW BEST:: SOT 2461965 SOS 332164 HAS SOPS 332164 HAS SOUS 263953 HAS SOUPS 263953 WITH SCORE 264285.164
AT ITER 1345 NEW BEST:: SOT 2461953 SOS 332352 HAS SOPS 332352 HAS SOUS 263948 HAS SOUPS 263948 WITH SCORE 264280.352
AT ITER 1351 NEW BEST:: SOT 2461548 SOS 331812 HAS SOPS 331812 HAS SOUS 263408 HAS SOUPS 263408 WITH SCORE 263739.812
AT ITER 1352 NEW BEST:: SOT 2461108 SOS 332223 HAS SOPS 332223 HAS SOUS 263273 HAS SOUPS 263273 WITH SCORE 263605.223
AT ITER 1376 NEW BEST:: SOT 2461107 SOS 332221 HAS SOPS 332221 HAS SOUS 263272 HAS SOUPS 263272 WITH SCORE 263604.221
AT ITER 1429 NEW BEST:: SOT 2461107 SOS 332135 HAS SOPS 332135 HAS SOUS 263272 HAS SOUPS 263272 WITH SCORE 263604.135
AT ITER 1448 NEW BEST:: SOT 2461107 SOS 332219 HAS SOPS 332219 HAS SOUS 263261 HAS SOUPS 263261 WITH SCORE 263593.219
AT ITER 1456 NEW BEST:: SOT 2460868 SOS 332191 HAS SOPS 332191 HAS SOUS 263132 HAS SOUPS 263132 WITH SCORE 263464.191
AT ITER 1468 NEW BEST:: SOT 2460804 SOS 332063 HAS SOPS 332063 HAS SOUS 263004 HAS SOUPS 263004 WITH SCORE 263336.063
AT ITER 1469 NEW BEST:: SOT 2460512 SOS 332820 HAS SOPS 332820 HAS SOUS 262782 HAS SOUPS 262782 WITH SCORE 263114.82
AT ITER 1485 NEW BEST:: SOT 2460511 SOS 332749 HAS SOPS 332749 HAS SOUS 262711 HAS SOUPS 262711 WITH SCORE 263043.749
AT ITER 1499 NEW BEST:: SOT 2460494 SOS 332663 HAS SOPS 332663 HAS SOUS 262625 HAS SOUPS 262625 WITH SCORE 262957.663
AT ITER 1555 NEW BEST:: SOT 2460474 SOS 332643 HAS SOPS 332643 HAS SOUS 262605 HAS SOUPS 262605 WITH SCORE 262937.643
AT ITER 1565 NEW BEST:: SOT 2460518 SOS 332687 HAS SOPS 332687 HAS SOUS 262528 HAS SOUPS 262528 WITH SCORE 262860.687
AT ITER 1608 NEW BEST:: SOT 2460330 SOS 332546 HAS SOPS 332546 HAS SOUS 262340 HAS SOUPS 262340 WITH SCORE 262672.546
AT ITER 1618 NEW BEST:: SOT 2460330 SOS 332568 HAS SOPS 332568 HAS SOUS 262336 HAS SOUPS 262336 WITH SCORE 262668.568
AT ITER 1624 NEW BEST:: SOT 2460288 SOS 332421 HAS SOPS 332421 HAS SOUS 262279 HAS SOUPS 262279 WITH SCORE 262611.421
AT ITER 1635 NEW BEST:: SOT 2460200 SOS 332245 HAS SOPS 332245 HAS SOUS 262278 HAS SOUPS 262278 WITH SCORE 262610.245
AT ITER 1647 NEW BEST:: SOT 2460106 SOS 332057 HAS SOPS 332057 HAS SOUS 262184 HAS SOUPS 262184 WITH SCORE 262516.057
AT ITER 1690 NEW BEST:: SOT 2459774 SOS 332050 HAS SOPS 332050 HAS SOUS 261903 HAS SOUPS 261903 WITH SCORE 262235.05
AT ITER 1722 NEW BEST:: SOT 2459815 SOS 332017 HAS SOPS 332017 HAS SOUS 261871 HAS SOUPS 261871 WITH SCORE 262203.017
AT ITER 1724 NEW BEST:: SOT 2459809 SOS 332183 HAS SOPS 332183 HAS SOUS 261810 HAS SOUPS 261810 WITH SCORE 262142.183
AT ITER 1737 NEW BEST:: SOT 2459478 SOS 332455 HAS SOPS 332455 HAS SOUS 261478 HAS SOUPS 261478 WITH SCORE 261810.455
AT ITER 1755 NEW BEST:: SOT 2459443 SOS 332449 HAS SOPS 332449 HAS SOUS 261443 HAS SOUPS 261443 WITH SCORE 261775.449
AT ITER 1764 NEW BEST:: SOT 2459333 SOS 332337 HAS SOPS 332337 HAS SOUS 261333 HAS SOUPS 261333 WITH SCORE 261665.337
AT ITER 1786 NEW BEST:: SOT 2459333 SOS 332336 HAS SOPS 332336 HAS SOUS 261332 HAS SOUPS 261332 WITH SCORE 261664.336
AT ITER 1805 NEW BEST:: SOT 2459200 SOS 331987 HAS SOPS 331987 HAS SOUS 261277 HAS SOUPS 261277 WITH SCORE 261608.987
AT ITER 1871 NEW BEST:: SOT 2459056 SOS 330643 HAS SOPS 330643 HAS SOUS 261025 HAS SOUPS 261025 WITH SCORE 261355.643
AT ITER 1872 NEW BEST:: SOT 2459008 SOS 330595 HAS SOPS 330595 HAS SOUS 260999 HAS SOUPS 260999 WITH SCORE 261329.595
AT ITER 1879 NEW BEST:: SOT 2458614 SOS 330606 HAS SOPS 330606 HAS SOUS 260889 HAS SOUPS 260889 WITH SCORE 261219.606
AT ITER 1916 NEW BEST:: SOT 2458614 SOS 330524 HAS SOPS 330524 HAS SOUS 260885 HAS SOUPS 260885 WITH SCORE 261215.524
AT ITER 1918 NEW BEST:: SOT 2458343 SOS 330318 HAS SOPS 330318 HAS SOUS 260682 HAS SOUPS 260682 WITH SCORE 261012.318
AT ITER 2083 NEW BEST:: SOT 2458282 SOS 330196 HAS SOPS 330196 HAS SOUS 260679 HAS SOUPS 260679 WITH SCORE 261009.196
AT ITER 2097 NEW BEST:: SOT 2458164 SOS 330026 HAS SOPS 330026 HAS SOUS 260558 HAS SOUPS 260558 WITH SCORE 260888.026
AT ITER 2112 NEW BEST:: SOT 2457520 SOS 330257 HAS SOPS 330257 HAS SOUS 260216 HAS SOUPS 260216 WITH SCORE 260546.257
AT ITER 2218 NEW BEST:: SOT 2457495 SOS 330207 HAS SOPS 330207 HAS SOUS 260191 HAS SOUPS 260191 WITH SCORE 260521.207
AT ITER 2224 NEW BEST:: SOT 2457494 SOS 330206 HAS SOPS 330206 HAS SOUS 260189 HAS SOUPS 260189 WITH SCORE 260519.206
AT ITER 2268 NEW BEST:: SOT 2457494 SOS 330180 HAS SOPS 330180 HAS SOUS 260186 HAS SOUPS 260186 WITH SCORE 260516.18
AT ITER 2272 NEW BEST:: SOT 2457509 SOS 330162 HAS SOPS 330162 HAS SOUS 260169 HAS SOUPS 260169 WITH SCORE 260499.162
AT ITER 2317 NEW BEST:: SOT 2457555 SOS 330179 HAS SOPS 330179 HAS SOUS 260109 HAS SOUPS 260109 WITH SCORE 260439.179
AT ITER 2323 NEW BEST:: SOT 2457496 SOS 330061 HAS SOPS 330061 HAS SOUS 259990 HAS SOUPS 259990 WITH SCORE 260320.061
AT ITER 2339 NEW BEST:: SOT 2457476 SOS 329952 HAS SOPS 329952 HAS SOUS 259784 HAS SOUPS 259784 WITH SCORE 260113.952
AT ITER 2372 NEW BEST:: SOT 2457476 SOS 329914 HAS SOPS 329914 HAS SOUS 259784 HAS SOUPS 259784 WITH SCORE 260113.914
AT ITER 2420 NEW BEST:: SOT 2457461 SOS 329897 HAS SOPS 329897 HAS SOUS 259767 HAS SOUPS 259767 WITH SCORE 260096.897
AT ITER 2494 NEW BEST:: SOT 2457461 SOS 329854 HAS SOPS 329854 HAS SOUS 259724 HAS SOUPS 259724 WITH SCORE 260053.854
AT ITER 2502 NEW BEST:: SOT 2457398 SOS 329567 HAS SOPS 329567 HAS SOUS 259437 HAS SOUPS 259437 WITH SCORE 259766.567
AT ITER 2505 NEW BEST:: SOT 2457286 SOS 329343 HAS SOPS 329343 HAS SOUS 259351 HAS SOUPS 259351 WITH SCORE 259680.343
AT ITER 2545 NEW BEST:: SOT 2457223 SOS 329311 HAS SOPS 329311 HAS SOUS 259288 HAS SOUPS 259288 WITH SCORE 259617.311
AT ITER 2553 NEW BEST:: SOT 2457223 SOS 329196 HAS SOPS 329196 HAS SOUS 259288 HAS SOUPS 259288 WITH SCORE 259617.196
AT ITER 2582 NEW BEST:: SOT 2457263 SOS 329106 HAS SOPS 329106 HAS SOUS 259279 HAS SOUPS 259279 WITH SCORE 259608.106
AT ITER 2604 NEW BEST:: SOT 2457217 SOS 329122 HAS SOPS 329122 HAS SOUS 259233 HAS SOUPS 259233 WITH SCORE 259562.122
AT ITER 2611 NEW BEST:: SOT 2457050 SOS 328949 HAS SOPS 328949 HAS SOUS 259061 HAS SOUPS 259061 WITH SCORE 259389.949
AT ITER 2658 NEW BEST:: SOT 2456954 SOS 328885 HAS SOPS 328885 HAS SOUS 258965 HAS SOUPS 258965 WITH SCORE 259293.885
AT ITER 2693 NEW BEST:: SOT 2456991 SOS 328897 HAS SOPS 328897 HAS SOUS 258873 HAS SOUPS 258873 WITH SCORE 259201.897
AT ITER 2739 NEW BEST:: SOT 2456883 SOS 328681 HAS SOPS 328681 HAS SOUS 258657 HAS SOUPS 258657 WITH SCORE 258985.681
AT ITER 2764 NEW BEST:: SOT 2456810 SOS 328608 HAS SOPS 328608 HAS SOUS 258584 HAS SOUPS 258584 WITH SCORE 258912.608
AT ITER 2790 NEW BEST:: SOT 2456803 SOS 328600 HAS SOPS 328600 HAS SOUS 258583 HAS SOUPS 258583 WITH SCORE 258911.6
AT ITER 2810 NEW BEST:: SOT 2456653 SOS 328290 HAS SOPS 328290 HAS SOUS 258433 HAS SOUPS 258433 WITH SCORE 258761.29
AT ITER 2862 NEW BEST:: SOT 2456581 SOS 328153 HAS SOPS 328153 HAS SOUS 258355 HAS SOUPS 258355 WITH SCORE 258683.153
AT ITER 2882 NEW BEST:: SOT 2456581 SOS 328045 HAS SOPS 328045 HAS SOUS 258337 HAS SOUPS 258337 WITH SCORE 258665.045
AT ITER 2889 NEW BEST:: SOT 2456538 SOS 327959 HAS SOPS 327959 HAS SOUS 258291 HAS SOUPS 258291 WITH SCORE 258618.959
AT ITER 2920 NEW BEST:: SOT 2456431 SOS 328020 HAS SOPS 328020 HAS SOUS 257961 HAS SOUPS 257961 WITH SCORE 258289.02
AT ITER 2928 NEW BEST:: SOT 2456383 SOS 327924 HAS SOPS 327924 HAS SOUS 257922 HAS SOUPS 257922 WITH SCORE 258249.924
AT ITER 2936 NEW BEST:: SOT 2456318 SOS 327860 HAS SOPS 327860 HAS SOUS 257874 HAS SOUPS 257874 WITH SCORE 258201.86
AT ITER 2941 NEW BEST:: SOT 2455598 SOS 329860 HAS SOPS 329860 HAS SOUS 257261 HAS SOUPS 257261 WITH SCORE 257590.86
AT ITER 2956 NEW BEST:: SOT 2455531 SOS 329727 HAS SOPS 329727 HAS SOUS 257251 HAS SOUPS 257251 WITH SCORE 257580.727
AT ITER 3005 NEW BEST:: SOT 2455467 SOS 329589 HAS SOPS 329589 HAS SOUS 257047 HAS SOUPS 257047 WITH SCORE 257376.589
AT ITER 3006 NEW BEST:: SOT 2455467 SOS 329539 HAS SOPS 329539 HAS SOUS 256997 HAS SOUPS 256997 WITH SCORE 257326.539
AT ITER 3017 NEW BEST:: SOT 2455353 SOS 329311 HAS SOPS 329311 HAS SOUS 256855 HAS SOUPS 256855 WITH SCORE 257184.311
AT ITER 3025 NEW BEST:: SOT 2455353 SOS 329331 HAS SOPS 329331 HAS SOUS 256854 HAS SOUPS 256854 WITH SCORE 257183.331
AT ITER 3041 NEW BEST:: SOT 2455353 SOS 329331 HAS SOPS 329331 HAS SOUS 256853 HAS SOUPS 256853 WITH SCORE 257182.331
AT ITER 3042 NEW BEST:: SOT 2455138 SOS 328230 HAS SOPS 328230 HAS SOUS 256541 HAS SOUPS 256541 WITH SCORE 256869.23
AT ITER 3047 NEW BEST:: SOT 2455138 SOS 328220 HAS SOPS 328220 HAS SOUS 256541 HAS SOUPS 256541 WITH SCORE 256869.22
AT ITER 3068 NEW BEST:: SOT 2455061 SOS 327912 HAS SOPS 327912 HAS SOUS 256387 HAS SOUPS 256387 WITH SCORE 256714.912
AT ITER 3086 NEW BEST:: SOT 2455013 SOS 327768 HAS SOPS 327768 HAS SOUS 256291 HAS SOUPS 256291 WITH SCORE 256618.768
AT ITER 3115 NEW BEST:: SOT 2454949 SOS 327704 HAS SOPS 327704 HAS SOUS 256259 HAS SOUPS 256259 WITH SCORE 256586.704
AT ITER 3118 NEW BEST:: SOT 2453659 SOS 326738 HAS SOPS 326738 HAS SOUS 254969 HAS SOUPS 254969 WITH SCORE 255295.738
AT ITER 3121 NEW BEST:: SOT 2453659 SOS 326594 HAS SOPS 326594 HAS SOUS 254772 HAS SOUPS 254772 WITH SCORE 255098.594
AT ITER 3131 NEW BEST:: SOT 2453512 SOS 325979 HAS SOPS 325979 HAS SOUS 254622 HAS SOUPS 254622 WITH SCORE 254947.979
AT ITER 3162 NEW BEST:: SOT 2453377 SOS 325877 HAS SOPS 325877 HAS SOUS 254487 HAS SOUPS 254487 WITH SCORE 254812.877
AT ITER 3172 NEW BEST:: SOT 2453339 SOS 325881 HAS SOPS 325881 HAS SOUS 254449 HAS SOUPS 254449 WITH SCORE 254774.881
AT ITER 3175 NEW BEST:: SOT 2453229 SOS 325661 HAS SOPS 325661 HAS SOUS 254203 HAS SOUPS 254203 WITH SCORE 254528.661
AT ITER 3186 NEW BEST:: SOT 2453187 SOS 325605 HAS SOPS 325605 HAS SOUS 254161 HAS SOUPS 254161 WITH SCORE 254486.605
AT ITER 3226 NEW BEST:: SOT 2453187 SOS 325576 HAS SOPS 325576 HAS SOUS 254161 HAS SOUPS 254161 WITH SCORE 254486.576
AT ITER 3227 NEW BEST:: SOT 2453145 SOS 325389 HAS SOPS 325389 HAS SOUS 253974 HAS SOUPS 253974 WITH SCORE 254299.389
AT ITER 3232 NEW BEST:: SOT 2453040 SOS 325179 HAS SOPS 325179 HAS SOUS 253869 HAS SOUPS 253869 WITH SCORE 254194.179
AT ITER 3253 NEW BEST:: SOT 2453042 SOS 325161 HAS SOPS 325161 HAS SOUS 253866 HAS SOUPS 253866 WITH SCORE 254191.161
AT ITER 3274 NEW BEST:: SOT 2453011 SOS 324918 HAS SOPS 324918 HAS SOUS 253815 HAS SOUPS 253815 WITH SCORE 254139.918
AT ITER 3290 NEW BEST:: SOT 2452973 SOS 324879 HAS SOPS 324879 HAS SOUS 253814 HAS SOUPS 253814 WITH SCORE 254138.879
AT ITER 3390 NEW BEST:: SOT 2452918 SOS 325044 HAS SOPS 325044 HAS SOUS 253795 HAS SOUPS 253795 WITH SCORE 254120.044
AT ITER 3408 NEW BEST:: SOT 2452882 SOS 324972 HAS SOPS 324972 HAS SOUS 253741 HAS SOUPS 253741 WITH SCORE 254065.972
AT ITER 3430 NEW BEST:: SOT 2452880 SOS 324968 HAS SOPS 324968 HAS SOUS 253739 HAS SOUPS 253739 WITH SCORE 254063.968
AT ITER 3435 NEW BEST:: SOT 2452935 SOS 324863 HAS SOPS 324863 HAS SOUS 253642 HAS SOUPS 253642 WITH SCORE 253966.863
AT ITER 3436 NEW BEST:: SOT 2452869 SOS 324731 HAS SOPS 324731 HAS SOUS 253543 HAS SOUPS 253543 WITH SCORE 253867.731
AT ITER 3441 NEW BEST:: SOT 2452869 SOS 324705 HAS SOPS 324705 HAS SOUS 253543 HAS SOUPS 253543 WITH SCORE 253867.705
AT ITER 3444 NEW BEST:: SOT 2452168 SOS 324662 HAS SOPS 324662 HAS SOUS 252940 HAS SOUPS 252940 WITH SCORE 253264.662
AT ITER 3465 NEW BEST:: SOT 2452113 SOS 324607 HAS SOPS 324607 HAS SOUS 252874 HAS SOUPS 252874 WITH SCORE 253198.607
AT ITER 3466 NEW BEST:: SOT 2452113 SOS 324607 HAS SOPS 324607 HAS SOUS 252867 HAS SOUPS 252867 WITH SCORE 253191.607
AT ITER 3487 NEW BEST:: SOT 2452100 SOS 324634 HAS SOPS 324634 HAS SOUS 252841 HAS SOUPS 252841 WITH SCORE 253165.634
AT ITER 3516 NEW BEST:: SOT 2451978 SOS 324459 HAS SOPS 324459 HAS SOUS 252787 HAS SOUPS 252787 WITH SCORE 253111.459
AT ITER 3517 NEW BEST:: SOT 2451978 SOS 324459 HAS SOPS 324459 HAS SOUS 252768 HAS SOUPS 252768 WITH SCORE 253092.459
AT ITER 3548 NEW BEST:: SOT 2451838 SOS 324352 HAS SOPS 324352 HAS SOUS 252662 HAS SOUPS 252662 WITH SCORE 252986.352
AT ITER 3603 NEW BEST:: SOT 2451707 SOS 324221 HAS SOPS 324221 HAS SOUS 252607 HAS SOUPS 252607 WITH SCORE 252931.221
AT ITER 3604 NEW BEST:: SOT 2451695 SOS 324212 HAS SOPS 324212 HAS SOUS 252595 HAS SOUPS 252595 WITH SCORE 252919.212
AT ITER 3612 NEW BEST:: SOT 2451690 SOS 324224 HAS SOPS 324224 HAS SOUS 252589 HAS SOUPS 252589 WITH SCORE 252913.224
AT ITER 3615 NEW BEST:: SOT 2451654 SOS 324152 HAS SOPS 324152 HAS SOUS 252535 HAS SOUPS 252535 WITH SCORE 252859.152
AT ITER 3662 NEW BEST:: SOT 2451606 SOS 324104 HAS SOPS 324104 HAS SOUS 252511 HAS SOUPS 252511 WITH SCORE 252835.104
AT ITER 3667 NEW BEST:: SOT 2451554 SOS 324010 HAS SOPS 324010 HAS SOUS 252467 HAS SOUPS 252467 WITH SCORE 252791.01
AT ITER 3685 NEW BEST:: SOT 2451648 SOS 324122 HAS SOPS 324122 HAS SOUS 252388 HAS SOUPS 252388 WITH SCORE 252712.122
AT ITER 3686 NEW BEST:: SOT 2451555 SOS 324005 HAS SOPS 324005 HAS SOUS 252314 HAS SOUPS 252314 WITH SCORE 252638.005
AT ITER 3722 NEW BEST:: SOT 2451555 SOS 323852 HAS SOPS 323852 HAS SOUS 252314 HAS SOUPS 252314 WITH SCORE 252637.852
AT ITER 3798 NEW BEST:: SOT 2451262 SOS 323600 HAS SOPS 323600 HAS SOUS 252117 HAS SOUPS 252117 WITH SCORE 252440.6
AT ITER 3810 NEW BEST:: SOT 2450918 SOS 326491 HAS SOPS 326491 HAS SOUS 251827 HAS SOUPS 251827 WITH SCORE 252153.491
AT ITER 3815 NEW BEST:: SOT 2450850 SOS 326287 HAS SOPS 326287 HAS SOUS 251737 HAS SOUPS 251737 WITH SCORE 252063.287
AT ITER 3878 NEW BEST:: SOT 2450560 SOS 325821 HAS SOPS 325821 HAS SOUS 251447 HAS SOUPS 251447 WITH SCORE 251772.821
AT ITER 3906 NEW BEST:: SOT 2450200 SOS 325436 HAS SOPS 325436 HAS SOUS 251087 HAS SOUPS 251087 WITH SCORE 251412.436
AT ITER 3907 NEW BEST:: SOT 2450036 SOS 324548 HAS SOPS 324548 HAS SOUS 250629 HAS SOUPS 250629 WITH SCORE 250953.548
AT ITER 3945 NEW BEST:: SOT 2449979 SOS 324434 HAS SOPS 324434 HAS SOUS 250515 HAS SOUPS 250515 WITH SCORE 250839.434
AT ITER 3967 NEW BEST:: SOT 2449839 SOS 324347 HAS SOPS 324347 HAS SOUS 250434 HAS SOUPS 250434 WITH SCORE 250758.347
AT ITER 3985 NEW BEST:: SOT 2449839 SOS 324313 HAS SOPS 324313 HAS SOUS 250432 HAS SOUPS 250432 WITH SCORE 250756.313
AT ITER 4033 NEW BEST:: SOT 2449736 SOS 324288 HAS SOPS 324288 HAS SOUS 250407 HAS SOUPS 250407 WITH SCORE 250731.288
AT ITER 4047 NEW BEST:: SOT 2449736 SOS 324264 HAS SOPS 324264 HAS SOUS 250399 HAS SOUPS 250399 WITH SCORE 250723.264
AT ITER 4052 NEW BEST:: SOT 2449728 SOS 324227 HAS SOPS 324227 HAS SOUS 250384 HAS SOUPS 250384 WITH SCORE 250708.227
AT ITER 4055 NEW BEST:: SOT 2449636 SOS 323859 HAS SOPS 323859 HAS SOUS 250199 HAS SOUPS 250199 WITH SCORE 250522.859
AT ITER 4091 NEW BEST:: SOT 2449537 SOS 323801 HAS SOPS 323801 HAS SOUS 250001 HAS SOUPS 250001 WITH SCORE 250324.801
AT ITER 4117 NEW BEST:: SOT 2449455 SOS 323719 HAS SOPS 323719 HAS SOUS 249960 HAS SOUPS 249960 WITH SCORE 250283.719
AT ITER 4120 NEW BEST:: SOT 2449428 SOS 323665 HAS SOPS 323665 HAS SOUS 249933 HAS SOUPS 249933 WITH SCORE 250256.665
AT ITER 4130 NEW BEST:: SOT 2449312 SOS 323607 HAS SOPS 323607 HAS SOUS 249933 HAS SOUPS 249933 WITH SCORE 250256.607
AT ITER 4134 NEW BEST:: SOT 2449283 SOS 323578 HAS SOPS 323578 HAS SOUS 249904 HAS SOUPS 249904 WITH SCORE 250227.578
AT ITER 4138 NEW BEST:: SOT 2449211 SOS 323554 HAS SOPS 323554 HAS SOUS 249854 HAS SOUPS 249854 WITH SCORE 250177.554
AT ITER 4149 NEW BEST:: SOT 2449211 SOS 323318 HAS SOPS 323318 HAS SOUS 249736 HAS SOUPS 249736 WITH SCORE 250059.318
AT ITER 4179 NEW BEST:: SOT 2449211 SOS 323318 HAS SOPS 323318 HAS SOUS 249735 HAS SOUPS 249735 WITH SCORE 250058.318
AT ITER 4200 NEW BEST:: SOT 2449055 SOS 323198 HAS SOPS 323198 HAS SOUS 249571 HAS SOUPS 249571 WITH SCORE 249894.198
AT ITER 4217 NEW BEST:: SOT 2448991 SOS 322965 HAS SOPS 322965 HAS SOUS 249316 HAS SOUPS 249316 WITH SCORE 249638.965
AT ITER 4220 NEW BEST:: SOT 2448881 SOS 320735 HAS SOPS 320735 HAS SOUS 249238 HAS SOUPS 249238 WITH SCORE 249558.735
AT ITER 4226 NEW BEST:: SOT 2448412 SOS 320695 HAS SOPS 320695 HAS SOUS 249051 HAS SOUPS 249051 WITH SCORE 249371.695
AT ITER 4284 NEW BEST:: SOT 2448365 SOS 320648 HAS SOPS 320648 HAS SOUS 249020 HAS SOUPS 249020 WITH SCORE 249340.648
AT ITER 4290 NEW BEST:: SOT 2448294 SOS 320435 HAS SOPS 320435 HAS SOUS 248999 HAS SOUPS 248999 WITH SCORE 249319.435
AT ITER 4342 NEW BEST:: SOT 2448290 SOS 320376 HAS SOPS 320376 HAS SOUS 248987 HAS SOUPS 248987 WITH SCORE 249307.376
AT ITER 4368 NEW BEST:: SOT 2448289 SOS 320272 HAS SOPS 320272 HAS SOUS 248985 HAS SOUPS 248985 WITH SCORE 249305.272
AT ITER 4373 NEW BEST:: SOT 2448120 SOS 320218 HAS SOPS 320218 HAS SOUS 248816 HAS SOUPS 248816 WITH SCORE 249136.218
AT ITER 4398 NEW BEST:: SOT 2447960 SOS 320016 HAS SOPS 320016 HAS SOUS 248609 HAS SOUPS 248609 WITH SCORE 248929.016
AT ITER 4410 NEW BEST:: SOT 2447934 SOS 319993 HAS SOPS 319993 HAS SOUS 248586 HAS SOUPS 248586 WITH SCORE 248905.993
AT ITER 4414 NEW BEST:: SOT 2447883 SOS 319840 HAS SOPS 319840 HAS SOUS 248461 HAS SOUPS 248461 WITH SCORE 248780.84
AT ITER 4446 NEW BEST:: SOT 2447798 SOS 319687 HAS SOPS 319687 HAS SOUS 248365 HAS SOUPS 248365 WITH SCORE 248684.687
AT ITER 4462 NEW BEST:: SOT 2447819 SOS 319687 HAS SOPS 319687 HAS SOUS 248344 HAS SOUPS 248344 WITH SCORE 248663.687
AT ITER 4471 NEW BEST:: SOT 2447769 SOS 319637 HAS SOPS 319637 HAS SOUS 248244 HAS SOUPS 248244 WITH SCORE 248563.637
AT ITER 4535 NEW BEST:: SOT 2447768 SOS 319635 HAS SOPS 319635 HAS SOUS 248242 HAS SOUPS 248242 WITH SCORE 248561.635
AT ITER 4586 NEW BEST:: SOT 2447810 SOS 319699 HAS SOPS 319699 HAS SOUS 248190 HAS SOUPS 248190 WITH SCORE 248509.699
AT ITER 4589 NEW BEST:: SOT 2447732 SOS 319543 HAS SOPS 319543 HAS SOUS 248077 HAS SOUPS 248077 WITH SCORE 248396.543
AT ITER 4606 NEW BEST:: SOT 2447649 SOS 319460 HAS SOPS 319460 HAS SOUS 247994 HAS SOUPS 247994 WITH SCORE 248313.46
AT ITER 4636 NEW BEST:: SOT 2447646 SOS 319466 HAS SOPS 319466 HAS SOUS 247991 HAS SOUPS 247991 WITH SCORE 248310.466
AT ITER 4660 NEW BEST:: SOT 2447504 SOS 319506 HAS SOPS 319506 HAS SOUS 247910 HAS SOUPS 247910 WITH SCORE 248229.506
AT ITER 4763 NEW BEST:: SOT 2447452 SOS 319246 HAS SOPS 319246 HAS SOUS 247852 HAS SOUPS 247852 WITH SCORE 248171.246
AT ITER 4768 NEW BEST:: SOT 2447452 SOS 319217 HAS SOPS 319217 HAS SOUS 247816 HAS SOUPS 247816 WITH SCORE 248135.217
AT ITER 4772 NEW BEST:: SOT 2447563 SOS 319218 HAS SOPS 319218 HAS SOUS 247803 HAS SOUPS 247803 WITH SCORE 248122.218
AT ITER 4846 NEW BEST:: SOT 2447600 SOS 319223 HAS SOPS 319223 HAS SOUS 247780 HAS SOUPS 247780 WITH SCORE 248099.223
AT ITER 4856 NEW BEST:: SOT 2447523 SOS 319146 HAS SOPS 319146 HAS SOUS 247703 HAS SOUPS 247703 WITH SCORE 248022.146
AT ITER 4858 NEW BEST:: SOT 2447523 SOS 319054 HAS SOPS 319054 HAS SOUS 247702 HAS SOUPS 247702 WITH SCORE 248021.054
AT ITER 4864 NEW BEST:: SOT 2447451 SOS 318879 HAS SOPS 318879 HAS SOUS 247594 HAS SOUPS 247594 WITH SCORE 247912.879
AT ITER 4874 NEW BEST:: SOT 2447410 SOS 318976 HAS SOPS 318976 HAS SOUS 247593 HAS SOUPS 247593 WITH SCORE 247911.976
AT ITER 4897 NEW BEST:: SOT 2447288 SOS 318900 HAS SOPS 318900 HAS SOUS 247471 HAS SOUPS 247471 WITH SCORE 247789.9
AT ITER 4912 NEW BEST:: SOT 2447152 SOS 318382 HAS SOPS 318382 HAS SOUS 247427 HAS SOUPS 247427 WITH SCORE 247745.382
AT ITER 4956 NEW BEST:: SOT 2446778 SOS 318471 HAS SOPS 318471 HAS SOUS 247146 HAS SOUPS 247146 WITH SCORE 247464.471
AT ITER 4972 NEW BEST:: SOT 2446752 SOS 318393 HAS SOPS 318393 HAS SOUS 247068 HAS SOUPS 247068 WITH SCORE 247386.393
AT ITER 4974 NEW BEST:: SOT 2446721 SOS 318331 HAS SOPS 318331 HAS SOUS 247002 HAS SOUPS 247002 WITH SCORE 247320.331
AT ITER 4993 NEW BEST:: SOT 2446721 SOS 318256 HAS SOPS 318256 HAS SOUS 247002 HAS SOUPS 247002 WITH SCORE 247320.256
AT ITER 5011 NEW BEST:: SOT 2446721 SOS 318200 HAS SOPS 318200 HAS SOUS 246946 HAS SOUPS 246946 WITH SCORE 247264.2
AT ITER 5084 NEW BEST:: SOT 2446721 SOS 318199 HAS SOPS 318199 HAS SOUS 246946 HAS SOUPS 246946 WITH SCORE 247264.199
AT ITER 5103 NEW BEST:: SOT 2446668 SOS 318145 HAS SOPS 318145 HAS SOUS 246879 HAS SOUPS 246879 WITH SCORE 247197.145
AT ITER 5115 NEW BEST:: SOT 2446659 SOS 317856 HAS SOPS 317856 HAS SOUS 246870 HAS SOUPS 246870 WITH SCORE 247187.856
AT ITER 5134 NEW BEST:: SOT 2446335 SOS 317560 HAS SOPS 317560 HAS SOUS 246574 HAS SOUPS 246574 WITH SCORE 246891.56
AT ITER 5144 NEW BEST:: SOT 2446311 SOS 317440 HAS SOPS 317440 HAS SOUS 246526 HAS SOUPS 246526 WITH SCORE 246843.44
AT ITER 5149 NEW BEST:: SOT 2445965 SOS 318619 HAS SOPS 318619 HAS SOUS 246339 HAS SOUPS 246339 WITH SCORE 246657.619
AT ITER 5170 NEW BEST:: SOT 2445881 SOS 318541 HAS SOPS 318541 HAS SOUS 246255 HAS SOUPS 246255 WITH SCORE 246573.541
AT ITER 5177 NEW BEST:: SOT 2445328 SOS 318623 HAS SOPS 318623 HAS SOUS 245744 HAS SOUPS 245744 WITH SCORE 246062.623
AT ITER 5209 NEW BEST:: SOT 2445315 SOS 318627 HAS SOPS 318627 HAS SOUS 245718 HAS SOUPS 245718 WITH SCORE 246036.627
AT ITER 5220 NEW BEST:: SOT 2445231 SOS 318506 HAS SOPS 318506 HAS SOUS 245644 HAS SOUPS 245644 WITH SCORE 245962.506
AT ITER 5252 NEW BEST:: SOT 2445254 SOS 318182 HAS SOPS 318182 HAS SOUS 245593 HAS SOUPS 245593 WITH SCORE 245911.182
AT ITER 5268 NEW BEST:: SOT 2445254 SOS 318119 HAS SOPS 318119 HAS SOUS 245467 HAS SOUPS 245467 WITH SCORE 245785.119
AT ITER 5330 NEW BEST:: SOT 2445236 SOS 318083 HAS SOPS 318083 HAS SOUS 245304 HAS SOUPS 245304 WITH SCORE 245622.083
AT ITER 5342 NEW BEST:: SOT 2445239 SOS 318023 HAS SOPS 318023 HAS SOUS 245297 HAS SOUPS 245297 WITH SCORE 245615.023
AT ITER 5374 NEW BEST:: SOT 2445155 SOS 317921 HAS SOPS 317921 HAS SOUS 245146 HAS SOUPS 245146 WITH SCORE 245463.921
AT ITER 5415 NEW BEST:: SOT 2445119 SOS 317849 HAS SOPS 317849 HAS SOUS 245070 HAS SOUPS 245070 WITH SCORE 245387.849
AT ITER 5445 NEW BEST:: SOT 2445097 SOS 317806 HAS SOPS 317806 HAS SOUS 245044 HAS SOUPS 245044 WITH SCORE 245361.806
AT ITER 5474 NEW BEST:: SOT 2444966 SOS 317690 HAS SOPS 317690 HAS SOUS 244928 HAS SOUPS 244928 WITH SCORE 245245.69
AT ITER 5478 NEW BEST:: SOT 2444803 SOS 317570 HAS SOPS 317570 HAS SOUS 244838 HAS SOUPS 244838 WITH SCORE 245155.57
AT ITER 5496 NEW BEST:: SOT 2444740 SOS 317444 HAS SOPS 317444 HAS SOUS 244834 HAS SOUPS 244834 WITH SCORE 245151.444
AT ITER 5498 NEW BEST:: SOT 2444595 SOS 317154 HAS SOPS 317154 HAS SOUS 244544 HAS SOUPS 244544 WITH SCORE 244861.154
AT ITER 5526 NEW BEST:: SOT 2444575 SOS 317124 HAS SOPS 317124 HAS SOUS 244532 HAS SOUPS 244532 WITH SCORE 244849.124
AT ITER 5570 NEW BEST:: SOT 2444493 SOS 317161 HAS SOPS 317161 HAS SOUS 244441 HAS SOUPS 244441 WITH SCORE 244758.161
AT ITER 5583 NEW BEST:: SOT 2444430 SOS 317035 HAS SOPS 317035 HAS SOUS 244377 HAS SOUPS 244377 WITH SCORE 244694.035
AT ITER 5624 NEW BEST:: SOT 2444430 SOS 317035 HAS SOPS 317035 HAS SOUS 244375 HAS SOUPS 244375 WITH SCORE 244692.035
AT ITER 5668 NEW BEST:: SOT 2444357 SOS 316889 HAS SOPS 316889 HAS SOUS 244316 HAS SOUPS 244316 WITH SCORE 244632.889
AT ITER 5687 NEW BEST:: SOT 2444310 SOS 316459 HAS SOPS 316459 HAS SOUS 244085 HAS SOUPS 244085 WITH SCORE 244401.459
AT ITER 5729 NEW BEST:: SOT 2444242 SOS 316402 HAS SOPS 316402 HAS SOUS 244028 HAS SOUPS 244028 WITH SCORE 244344.402
AT ITER 5734 NEW BEST:: SOT 2444362 SOS 316162 HAS SOPS 316162 HAS SOUS 243908 HAS SOUPS 243908 WITH SCORE 244224.162
AT ITER 5740 NEW BEST:: SOT 2443335 SOS 315458 HAS SOPS 315458 HAS SOUS 242897 HAS SOUPS 242897 WITH SCORE 243212.458
AT ITER 5766 NEW BEST:: SOT 2443177 SOS 315035 HAS SOPS 315035 HAS SOUS 242684 HAS SOUPS 242684 WITH SCORE 242999.035
AT ITER 5800 NEW BEST:: SOT 2443097 SOS 315029 HAS SOPS 315029 HAS SOUS 242674 HAS SOUPS 242674 WITH SCORE 242989.029
AT ITER 5807 NEW BEST:: SOT 2443085 SOS 315005 HAS SOPS 315005 HAS SOUS 242650 HAS SOUPS 242650 WITH SCORE 242965.005
AT ITER 5823 NEW BEST:: SOT 2443044 SOS 314976 HAS SOPS 314976 HAS SOUS 242577 HAS SOUPS 242577 WITH SCORE 242891.976
AT ITER 5835 NEW BEST:: SOT 2442864 SOS 314794 HAS SOPS 314794 HAS SOUS 242396 HAS SOUPS 242396 WITH SCORE 242710.794
AT ITER 5871 NEW BEST:: SOT 2442785 SOS 314557 HAS SOPS 314557 HAS SOUS 242224 HAS SOUPS 242224 WITH SCORE 242538.557
AT ITER 5893 NEW BEST:: SOT 2442759 SOS 314505 HAS SOPS 314505 HAS SOUS 242198 HAS SOUPS 242198 WITH SCORE 242512.505
AT ITER 5909 NEW BEST:: SOT 2442182 SOS 314508 HAS SOPS 314508 HAS SOUS 241617 HAS SOUPS 241617 WITH SCORE 241931.508
AT ITER 5915 NEW BEST:: SOT 2442154 SOS 314452 HAS SOPS 314452 HAS SOUS 241561 HAS SOUPS 241561 WITH SCORE 241875.452
AT ITER 5941 NEW BEST:: SOT 2442125 SOS 314394 HAS SOPS 314394 HAS SOUS 241503 HAS SOUPS 241503 WITH SCORE 241817.394
AT ITER 5972 NEW BEST:: SOT 2442069 SOS 314397 HAS SOPS 314397 HAS SOUS 241353 HAS SOUPS 241353 WITH SCORE 241667.397
AT ITER 6005 NEW BEST:: SOT 2442069 SOS 314356 HAS SOPS 314356 HAS SOUS 241353 HAS SOUPS 241353 WITH SCORE 241667.356
AT ITER 6007 NEW BEST:: SOT 2441991 SOS 314278 HAS SOPS 314278 HAS SOUS 241275 HAS SOUPS 241275 WITH SCORE 241589.278
AT ITER 6055 NEW BEST:: SOT 2441991 SOS 314216 HAS SOPS 314216 HAS SOUS 241213 HAS SOUPS 241213 WITH SCORE 241527.216
AT ITER 6066 NEW BEST:: SOT 2442004 SOS 314160 HAS SOPS 314160 HAS SOUS 241144 HAS SOUPS 241144 WITH SCORE 241458.16
AT ITER 6097 NEW BEST:: SOT 2441969 SOS 314090 HAS SOPS 314090 HAS SOUS 241115 HAS SOUPS 241115 WITH SCORE 241429.09
AT ITER 6101 NEW BEST:: SOT 2441969 SOS 314084 HAS SOPS 314084 HAS SOUS 241109 HAS SOUPS 241109 WITH SCORE 241423.084
AT ITER 6102 NEW BEST:: SOT 2441942 SOS 314006 HAS SOPS 314006 HAS SOUS 241078 HAS SOUPS 241078 WITH SCORE 241392.006
AT ITER 6105 NEW BEST:: SOT 2441931 SOS 313984 HAS SOPS 313984 HAS SOUS 241056 HAS SOUPS 241056 WITH SCORE 241369.984
AT ITER 6106 NEW BEST:: SOT 2441863 SOS 313800 HAS SOPS 313800 HAS SOUS 240913 HAS SOUPS 240913 WITH SCORE 241226.8
AT ITER 6110 NEW BEST:: SOT 2441881 SOS 313890 HAS SOPS 313890 HAS SOUS 240911 HAS SOUPS 240911 WITH SCORE 241224.89
AT ITER 6118 NEW BEST:: SOT 2441857 SOS 313842 HAS SOPS 313842 HAS SOUS 240863 HAS SOUPS 240863 WITH SCORE 241176.842
AT ITER 6121 NEW BEST:: SOT 2441838 SOS 313804 HAS SOPS 313804 HAS SOUS 240825 HAS SOUPS 240825 WITH SCORE 241138.804
AT ITER 6164 NEW BEST:: SOT 2441824 SOS 313779 HAS SOPS 313779 HAS SOUS 240797 HAS SOUPS 240797 WITH SCORE 241110.779
AT ITER 6227 NEW BEST:: SOT 2441645 SOS 313171 HAS SOPS 313171 HAS SOUS 240383 HAS SOUPS 240383 WITH SCORE 240696.171
AT ITER 6250 NEW BEST:: SOT 2441333 SOS 314041 HAS SOPS 314041 HAS SOUS 240323 HAS SOUPS 240323 WITH SCORE 240637.041
AT ITER 6297 NEW BEST:: SOT 2441303 SOS 313967 HAS SOPS 313967 HAS SOUS 240279 HAS SOUPS 240279 WITH SCORE 240592.967
AT ITER 6427 NEW BEST:: SOT 2441270 SOS 313934 HAS SOPS 313934 HAS SOUS 240279 HAS SOUPS 240279 WITH SCORE 240592.934
AT ITER 6459 NEW BEST:: SOT 2441270 SOS 313882 HAS SOPS 313882 HAS SOUS 240227 HAS SOUPS 240227 WITH SCORE 240540.882
AT ITER 6478 NEW BEST:: SOT 2441270 SOS 313837 HAS SOPS 313837 HAS SOUS 240219 HAS SOUPS 240219 WITH SCORE 240532.837
AT ITER 6492 NEW BEST:: SOT 2440928 SOS 314405 HAS SOPS 314405 HAS SOUS 239825 HAS SOUPS 239825 WITH SCORE 240139.405
AT ITER 6498 NEW BEST:: SOT 2440926 SOS 314403 HAS SOPS 314403 HAS SOUS 239825 HAS SOUPS 239825 WITH SCORE 240139.403
AT ITER 6512 NEW BEST:: SOT 2440869 SOS 314289 HAS SOPS 314289 HAS SOUS 239686 HAS SOUPS 239686 WITH SCORE 240000.289
AT ITER 6516 NEW BEST:: SOT 2440869 SOS 314288 HAS SOPS 314288 HAS SOUS 239685 HAS SOUPS 239685 WITH SCORE 239999.288
AT ITER 6531 NEW BEST:: SOT 2440869 SOS 314288 HAS SOPS 314288 HAS SOUS 239677 HAS SOUPS 239677 WITH SCORE 239991.288
AT ITER 6532 NEW BEST:: SOT 2440850 SOS 314269 HAS SOPS 314269 HAS SOUS 239677 HAS SOUPS 239677 WITH SCORE 239991.269
AT ITER 6560 NEW BEST:: SOT 2440823 SOS 314087 HAS SOPS 314087 HAS SOUS 239441 HAS SOUPS 239441 WITH SCORE 239755.087
AT ITER 6565 NEW BEST:: SOT 2440786 SOS 314049 HAS SOPS 314049 HAS SOUS 239403 HAS SOUPS 239403 WITH SCORE 239717.049
AT ITER 6646 NEW BEST:: SOT 2440786 SOS 313992 HAS SOPS 313992 HAS SOUS 239403 HAS SOUPS 239403 WITH SCORE 239716.992
AT ITER 6682 NEW BEST:: SOT 2440744 SOS 313915 HAS SOPS 313915 HAS SOUS 239364 HAS SOUPS 239364 WITH SCORE 239677.915
AT ITER 6686 NEW BEST:: SOT 2440367 SOS 313901 HAS SOPS 313901 HAS SOUS 238996 HAS SOUPS 238996 WITH SCORE 239309.901
AT ITER 6688 NEW BEST:: SOT 2440437 SOS 313250 HAS SOPS 313250 HAS SOUS 238994 HAS SOUPS 238994 WITH SCORE 239307.25
AT ITER 6706 NEW BEST:: SOT 2440335 SOS 313089 HAS SOPS 313089 HAS SOUS 238892 HAS SOUPS 238892 WITH SCORE 239205.089
AT ITER 6710 NEW BEST:: SOT 2440425 SOS 313056 HAS SOPS 313056 HAS SOUS 238887 HAS SOUPS 238887 WITH SCORE 239200.056
AT ITER 6711 NEW BEST:: SOT 2440425 SOS 313056 HAS SOPS 313056 HAS SOUS 238881 HAS SOUPS 238881 WITH SCORE 239194.056
AT ITER 6718 NEW BEST:: SOT 2440436 SOS 312924 HAS SOPS 312924 HAS SOUS 238878 HAS SOUPS 238878 WITH SCORE 239190.924
AT ITER 6739 NEW BEST:: SOT 2440436 SOS 312849 HAS SOPS 312849 HAS SOUS 238841 HAS SOUPS 238841 WITH SCORE 239153.849
AT ITER 6777 NEW BEST:: SOT 2440436 SOS 312849 HAS SOPS 312849 HAS SOUS 238722 HAS SOUPS 238722 WITH SCORE 239034.849
AT ITER 6811 NEW BEST:: SOT 2440327 SOS 312840 HAS SOPS 312840 HAS SOUS 238651 HAS SOUPS 238651 WITH SCORE 238963.84
AT ITER 6813 NEW BEST:: SOT 2440322 SOS 312830 HAS SOPS 312830 HAS SOUS 238641 HAS SOUPS 238641 WITH SCORE 238953.83
AT ITER 6848 NEW BEST:: SOT 2440288 SOS 312762 HAS SOPS 312762 HAS SOUS 238607 HAS SOUPS 238607 WITH SCORE 238919.762
AT ITER 6861 NEW BEST:: SOT 2440358 SOS 312868 HAS SOPS 312868 HAS SOUS 238538 HAS SOUPS 238538 WITH SCORE 238850.868
AT ITER 6871 NEW BEST:: SOT 2440350 SOS 312690 HAS SOPS 312690 HAS SOUS 238389 HAS SOUPS 238389 WITH SCORE 238701.69
AT ITER 6890 NEW BEST:: SOT 2440113 SOS 312266 HAS SOPS 312266 HAS SOUS 238152 HAS SOUPS 238152 WITH SCORE 238464.266
AT ITER 6929 NEW BEST:: SOT 2440052 SOS 312443 HAS SOPS 312443 HAS SOUS 238137 HAS SOUPS 238137 WITH SCORE 238449.443
AT ITER 6930 NEW BEST:: SOT 2440046 SOS 312437 HAS SOPS 312437 HAS SOUS 238131 HAS SOUPS 238131 WITH SCORE 238443.437
AT ITER 6948 NEW BEST:: SOT 2439978 SOS 312403 HAS SOPS 312403 HAS SOUS 238087 HAS SOUPS 238087 WITH SCORE 238399.403
AT ITER 6978 NEW BEST:: SOT 2440083 SOS 311747 HAS SOPS 311747 HAS SOUS 238085 HAS SOUPS 238085 WITH SCORE 238396.747
AT ITER 7002 NEW BEST:: SOT 2440012 SOS 311605 HAS SOPS 311605 HAS SOUS 237973 HAS SOUPS 237973 WITH SCORE 238284.605
AT ITER 7021 NEW BEST:: SOT 2440001 SOS 311583 HAS SOPS 311583 HAS SOUS 237934 HAS SOUPS 237934 WITH SCORE 238245.583
AT ITER 7061 NEW BEST:: SOT 2439839 SOS 311701 HAS SOPS 311701 HAS SOUS 237893 HAS SOUPS 237893 WITH SCORE 238204.701
AT ITER 7164 NEW BEST:: SOT 2439823 SOS 311669 HAS SOPS 311669 HAS SOUS 237779 HAS SOUPS 237779 WITH SCORE 238090.669
AT ITER 7177 NEW BEST:: SOT 2439709 SOS 311441 HAS SOPS 311441 HAS SOUS 237437 HAS SOUPS 237437 WITH SCORE 237748.441
AT ITER 7184 NEW BEST:: SOT 2439382 SOS 311069 HAS SOPS 311069 HAS SOUS 237109 HAS SOUPS 237109 WITH SCORE 237420.069
AT ITER 7203 NEW BEST:: SOT 2439382 SOS 311069 HAS SOPS 311069 HAS SOUS 236970 HAS SOUPS 236970 WITH SCORE 237281.069
AT ITER 7204 NEW BEST:: SOT 2439246 SOS 310865 HAS SOPS 310865 HAS SOUS 236800 HAS SOUPS 236800 WITH SCORE 237110.865
AT ITER 7232 NEW BEST:: SOT 2439246 SOS 310839 HAS SOPS 310839 HAS SOUS 236774 HAS SOUPS 236774 WITH SCORE 237084.839
AT ITER 7240 NEW BEST:: SOT 2439218 SOS 310842 HAS SOPS 310842 HAS SOUS 236746 HAS SOUPS 236746 WITH SCORE 237056.842
AT ITER 7250 NEW BEST:: SOT 2439213 SOS 310749 HAS SOPS 310749 HAS SOUS 236658 HAS SOUPS 236658 WITH SCORE 236968.749
AT ITER 7267 NEW BEST:: SOT 2439128 SOS 310462 HAS SOPS 310462 HAS SOUS 236409 HAS SOUPS 236409 WITH SCORE 236719.462
AT ITER 7288 NEW BEST:: SOT 2439093 SOS 310391 HAS SOPS 310391 HAS SOUS 236338 HAS SOUPS 236338 WITH SCORE 236648.391
AT ITER 7289 NEW BEST:: SOT 2438971 SOS 310214 HAS SOPS 310214 HAS SOUS 236149 HAS SOUPS 236149 WITH SCORE 236459.214
AT ITER 7317 NEW BEST:: SOT 2438920 SOS 310208 HAS SOPS 310208 HAS SOUS 236098 HAS SOUPS 236098 WITH SCORE 236408.208
AT ITER 7367 NEW BEST:: SOT 2438914 SOS 310196 HAS SOPS 310196 HAS SOUS 236086 HAS SOUPS 236086 WITH SCORE 236396.196
AT ITER 7383 NEW BEST:: SOT 2438608 SOS 309748 HAS SOPS 309748 HAS SOUS 235700 HAS SOUPS 235700 WITH SCORE 236009.748
AT ITER 7387 NEW BEST:: SOT 2438565 SOS 309679 HAS SOPS 309679 HAS SOUS 235619 HAS SOUPS 235619 WITH SCORE 235928.679
AT ITER 7391 NEW BEST:: SOT 2438560 SOS 309669 HAS SOPS 309669 HAS SOUS 235614 HAS SOUPS 235614 WITH SCORE 235923.669
AT ITER 7421 NEW BEST:: SOT 2438502 SOS 309611 HAS SOPS 309611 HAS SOUS 235555 HAS SOUPS 235555 WITH SCORE 235864.611
AT ITER 7485 NEW BEST:: SOT 2438367 SOS 309566 HAS SOPS 309566 HAS SOUS 235375 HAS SOUPS 235375 WITH SCORE 235684.566
AT ITER 7588 NEW BEST:: SOT 2438367 SOS 309495 HAS SOPS 309495 HAS SOUS 235304 HAS SOUPS 235304 WITH SCORE 235613.495
AT ITER 7603 NEW BEST:: SOT 2438351 SOS 309572 HAS SOPS 309572 HAS SOUS 235288 HAS SOUPS 235288 WITH SCORE 235597.572
AT ITER 7633 NEW BEST:: SOT 2438400 SOS 309527 HAS SOPS 309527 HAS SOUS 235053 HAS SOUPS 235053 WITH SCORE 235362.527
AT ITER 7650 NEW BEST:: SOT 2438367 SOS 309494 HAS SOPS 309494 HAS SOUS 235020 HAS SOUPS 235020 WITH SCORE 235329.494
AT ITER 7702 NEW BEST:: SOT 2438367 SOS 309481 HAS SOPS 309481 HAS SOUS 235018 HAS SOUPS 235018 WITH SCORE 235327.481
AT ITER 7705 NEW BEST:: SOT 2438367 SOS 309459 HAS SOPS 309459 HAS SOUS 234996 HAS SOUPS 234996 WITH SCORE 235305.459
AT ITER 7712 NEW BEST:: SOT 2438297 SOS 309354 HAS SOPS 309354 HAS SOUS 234891 HAS SOUPS 234891 WITH SCORE 235200.354
AT ITER 7722 NEW BEST:: SOT 2438201 SOS 309163 HAS SOPS 309163 HAS SOUS 234757 HAS SOUPS 234757 WITH SCORE 235066.163
AT ITER 7746 NEW BEST:: SOT 2438178 SOS 309117 HAS SOPS 309117 HAS SOUS 234752 HAS SOUPS 234752 WITH SCORE 235061.117
AT ITER 7750 NEW BEST:: SOT 2438164 SOS 309089 HAS SOPS 309089 HAS SOUS 234529 HAS SOUPS 234529 WITH SCORE 234838.089
AT ITER 7784 NEW BEST:: SOT 2438159 SOS 309079 HAS SOPS 309079 HAS SOUS 234527 HAS SOUPS 234527 WITH SCORE 234836.079
AT ITER 7826 NEW BEST:: SOT 2438101 SOS 309142 HAS SOPS 309142 HAS SOUS 234480 HAS SOUPS 234480 WITH SCORE 234789.142
AT ITER 7831 NEW BEST:: SOT 2438037 SOS 309146 HAS SOPS 309146 HAS SOUS 234449 HAS SOUPS 234449 WITH SCORE 234758.146
AT ITER 7834 NEW BEST:: SOT 2438056 SOS 308797 HAS SOPS 308797 HAS SOUS 234444 HAS SOUPS 234444 WITH SCORE 234752.797
AT ITER 7839 NEW BEST:: SOT 2438033 SOS 308774 HAS SOPS 308774 HAS SOUS 234398 HAS SOUPS 234398 WITH SCORE 234706.774
AT ITER 7857 NEW BEST:: SOT 2437962 SOS 308615 HAS SOPS 308615 HAS SOUS 234239 HAS SOUPS 234239 WITH SCORE 234547.615
AT ITER 7859 NEW BEST:: SOT 2437901 SOS 308971 HAS SOPS 308971 HAS SOUS 234175 HAS SOUPS 234175 WITH SCORE 234483.971
AT ITER 7867 NEW BEST:: SOT 2437884 SOS 308954 HAS SOPS 308954 HAS SOUS 234158 HAS SOUPS 234158 WITH SCORE 234466.954
AT ITER 7874 NEW BEST:: SOT 2437750 SOS 308763 HAS SOPS 308763 HAS SOUS 234024 HAS SOUPS 234024 WITH SCORE 234332.763
AT ITER 7892 NEW BEST:: SOT 2437750 SOS 308683 HAS SOPS 308683 HAS SOUS 234023 HAS SOUPS 234023 WITH SCORE 234331.683
AT ITER 7935 NEW BEST:: SOT 2437736 SOS 308641 HAS SOPS 308641 HAS SOUS 233995 HAS SOUPS 233995 WITH SCORE 234303.641
AT ITER 7957 NEW BEST:: SOT 2437736 SOS 308421 HAS SOPS 308421 HAS SOUS 233973 HAS SOUPS 233973 WITH SCORE 234281.421
AT ITER 7959 NEW BEST:: SOT 2437731 SOS 308363 HAS SOPS 308363 HAS SOUS 233955 HAS SOUPS 233955 WITH SCORE 234263.363
AT ITER 7961 NEW BEST:: SOT 2437576 SOS 308186 HAS SOPS 308186 HAS SOUS 233639 HAS SOUPS 233639 WITH SCORE 233947.186
AT ITER 7975 NEW BEST:: SOT 2437529 SOS 308103 HAS SOPS 308103 HAS SOUS 233556 HAS SOUPS 233556 WITH SCORE 233864.103
AT ITER 8045 NEW BEST:: SOT 2437508 SOS 308117 HAS SOPS 308117 HAS SOUS 233514 HAS SOUPS 233514 WITH SCORE 233822.117
AT ITER 8046 NEW BEST:: SOT 2437430 SOS 307961 HAS SOPS 307961 HAS SOUS 233358 HAS SOUPS 233358 WITH SCORE 233665.961
AT ITER 8119 NEW BEST:: SOT 2437417 SOS 307935 HAS SOPS 307935 HAS SOUS 233332 HAS SOUPS 233332 WITH SCORE 233639.935
AT ITER 8129 NEW BEST:: SOT 2437401 SOS 307919 HAS SOPS 307919 HAS SOUS 233308 HAS SOUPS 233308 WITH SCORE 233615.919
AT ITER 8141 NEW BEST:: SOT 2437311 SOS 307325 HAS SOPS 307325 HAS SOUS 232934 HAS SOUPS 232934 WITH SCORE 233241.325
AT ITER 8178 NEW BEST:: SOT 2437279 SOS 307098 HAS SOPS 307098 HAS SOUS 232902 HAS SOUPS 232902 WITH SCORE 233209.098
AT ITER 8208 NEW BEST:: SOT 2437213 SOS 306966 HAS SOPS 306966 HAS SOUS 232770 HAS SOUPS 232770 WITH SCORE 233076.966
AT ITER 8211 NEW BEST:: SOT 2437386 SOS 307121 HAS SOPS 307121 HAS SOUS 232760 HAS SOUPS 232760 WITH SCORE 233067.121
AT ITER 8239 NEW BEST:: SOT 2437361 SOS 307096 HAS SOPS 307096 HAS SOUS 232734 HAS SOUPS 232734 WITH SCORE 233041.096
AT ITER 8249 NEW BEST:: SOT 2437347 SOS 307054 HAS SOPS 307054 HAS SOUS 232714 HAS SOUPS 232714 WITH SCORE 233021.054
AT ITER 8262 NEW BEST:: SOT 2437341 SOS 307042 HAS SOPS 307042 HAS SOUS 232708 HAS SOUPS 232708 WITH SCORE 233015.042
AT ITER 8273 NEW BEST:: SOT 2437311 SOS 306848 HAS SOPS 306848 HAS SOUS 232674 HAS SOUPS 232674 WITH SCORE 232980.848
AT ITER 8277 NEW BEST:: SOT 2437284 SOS 306780 HAS SOPS 306780 HAS SOUS 232591 HAS SOUPS 232591 WITH SCORE 232897.78
AT ITER 8280 NEW BEST:: SOT 2437269 SOS 306766 HAS SOPS 306766 HAS SOUS 232586 HAS SOUPS 232586 WITH SCORE 232892.766
AT ITER 8440 NEW BEST:: SOT 2437303 SOS 306852 HAS SOPS 306852 HAS SOUS 232422 HAS SOUPS 232422 WITH SCORE 232728.852
AT ITER 8457 NEW BEST:: SOT 2437303 SOS 306842 HAS SOPS 306842 HAS SOUS 232422 HAS SOUPS 232422 WITH SCORE 232728.842
AT ITER 8475 NEW BEST:: SOT 2437211 SOS 306704 HAS SOPS 306704 HAS SOUS 232331 HAS SOUPS 232331 WITH SCORE 232637.704
AT ITER 8486 NEW BEST:: SOT 2437211 SOS 306594 HAS SOPS 306594 HAS SOUS 232331 HAS SOUPS 232331 WITH SCORE 232637.594
AT ITER 8522 NEW BEST:: SOT 2437119 SOS 306392 HAS SOPS 306392 HAS SOUS 232150 HAS SOUPS 232150 WITH SCORE 232456.392
AT ITER 8529 NEW BEST:: SOT 2437063 SOS 306224 HAS SOPS 306224 HAS SOUS 232086 HAS SOUPS 232086 WITH SCORE 232392.224
AT ITER 8553 NEW BEST:: SOT 2437055 SOS 306216 HAS SOPS 306216 HAS SOUS 232084 HAS SOUPS 232084 WITH SCORE 232390.216
AT ITER 8554 NEW BEST:: SOT 2436760 SOS 305969 HAS SOPS 305969 HAS SOUS 231728 HAS SOUPS 231728 WITH SCORE 232033.969
AT ITER 8637 NEW BEST:: SOT 2436760 SOS 305961 HAS SOPS 305961 HAS SOUS 231727 HAS SOUPS 231727 WITH SCORE 232032.961
AT ITER 8646 NEW BEST:: SOT 2436671 SOS 305905 HAS SOPS 305905 HAS SOUS 231719 HAS SOUPS 231719 WITH SCORE 232024.905
AT ITER 8652 NEW BEST:: SOT 2436649 SOS 305915 HAS SOPS 305915 HAS SOUS 231690 HAS SOUPS 231690 WITH SCORE 231995.915
AT ITER 8683 NEW BEST:: SOT 2436611 SOS 305968 HAS SOPS 305968 HAS SOUS 231560 HAS SOUPS 231560 WITH SCORE 231865.968
AT ITER 8715 NEW BEST:: SOT 2436592 SOS 305933 HAS SOPS 305933 HAS SOUS 231522 HAS SOUPS 231522 WITH SCORE 231827.933
AT ITER 8728 NEW BEST:: SOT 2436582 SOS 305913 HAS SOPS 305913 HAS SOUS 231512 HAS SOUPS 231512 WITH SCORE 231817.913
AT ITER 8745 NEW BEST:: SOT 2436582 SOS 305906 HAS SOPS 305906 HAS SOUS 231512 HAS SOUPS 231512 WITH SCORE 231817.906
AT ITER 8783 NEW BEST:: SOT 2436500 SOS 305786 HAS SOPS 305786 HAS SOUS 231436 HAS SOUPS 231436 WITH SCORE 231741.786
AT ITER 8836 NEW BEST:: SOT 2436335 SOS 305566 HAS SOPS 305566 HAS SOUS 231216 HAS SOUPS 231216 WITH SCORE 231521.566
AT ITER 8841 NEW BEST:: SOT 2435940 SOS 305334 HAS SOPS 305334 HAS SOUS 230879 HAS SOUPS 230879 WITH SCORE 231184.334
AT ITER 8932 NEW BEST:: SOT 2435940 SOS 305285 HAS SOPS 305285 HAS SOUS 230879 HAS SOUPS 230879 WITH SCORE 231184.285
AT ITER 8986 NEW BEST:: SOT 2435911 SOS 305256 HAS SOPS 305256 HAS SOUS 230872 HAS SOUPS 230872 WITH SCORE 231177.256
AT ITER 9010 NEW BEST:: SOT 2435807 SOS 305310 HAS SOPS 305310 HAS SOUS 230828 HAS SOUPS 230828 WITH SCORE 231133.31
AT ITER 9025 NEW BEST:: SOT 2435807 SOS 305303 HAS SOPS 305303 HAS SOUS 230827 HAS SOUPS 230827 WITH SCORE 231132.303
AT ITER 9029 NEW BEST:: SOT 2435292 SOS 304903 HAS SOPS 304903 HAS SOUS 230427 HAS SOUPS 230427 WITH SCORE 230731.903
AT ITER 9092 NEW BEST:: SOT 2435253 SOS 305072 HAS SOPS 305072 HAS SOUS 230388 HAS SOUPS 230388 WITH SCORE 230693.072
AT ITER 9118 NEW BEST:: SOT 2435253 SOS 305067 HAS SOPS 305067 HAS SOUS 230388 HAS SOUPS 230388 WITH SCORE 230693.067
AT ITER 9136 NEW BEST:: SOT 2435234 SOS 305029 HAS SOPS 305029 HAS SOUS 230368 HAS SOUPS 230368 WITH SCORE 230673.029
AT ITER 9140 NEW BEST:: SOT 2435234 SOS 305031 HAS SOPS 305031 HAS SOUS 230359 HAS SOUPS 230359 WITH SCORE 230664.031
AT ITER 9181 NEW BEST:: SOT 2435231 SOS 305025 HAS SOPS 305025 HAS SOUS 230353 HAS SOUPS 230353 WITH SCORE 230658.025
AT ITER 9186 NEW BEST:: SOT 2435231 SOS 304996 HAS SOPS 304996 HAS SOUS 230301 HAS SOUPS 230301 WITH SCORE 230605.996
AT ITER 9220 NEW BEST:: SOT 2435231 SOS 304887 HAS SOPS 304887 HAS SOUS 230301 HAS SOUPS 230301 WITH SCORE 230605.887
AT ITER 9257 NEW BEST:: SOT 2435178 SOS 304832 HAS SOPS 304832 HAS SOUS 230149 HAS SOUPS 230149 WITH SCORE 230453.832
AT ITER 9305 NEW BEST:: SOT 2435180 SOS 304811 HAS SOPS 304811 HAS SOUS 230128 HAS SOUPS 230128 WITH SCORE 230432.811
AT ITER 9310 NEW BEST:: SOT 2435154 SOS 304678 HAS SOPS 304678 HAS SOUS 230021 HAS SOUPS 230021 WITH SCORE 230325.678
AT ITER 9313 NEW BEST:: SOT 2435148 SOS 304666 HAS SOPS 304666 HAS SOUS 230015 HAS SOUPS 230015 WITH SCORE 230319.666
AT ITER 9340 NEW BEST:: SOT 2435100 SOS 304618 HAS SOPS 304618 HAS SOUS 230015 HAS SOUPS 230015 WITH SCORE 230319.618
AT ITER 9345 NEW BEST:: SOT 2435076 SOS 304594 HAS SOPS 304594 HAS SOUS 229991 HAS SOUPS 229991 WITH SCORE 230295.594
AT ITER 9348 NEW BEST:: SOT 2435072 SOS 304728 HAS SOPS 304728 HAS SOUS 229987 HAS SOUPS 229987 WITH SCORE 230291.728
AT ITER 9359 NEW BEST:: SOT 2435063 SOS 304726 HAS SOPS 304726 HAS SOUS 229969 HAS SOUPS 229969 WITH SCORE 230273.726
AT ITER 9395 NEW BEST:: SOT 2435109 SOS 304646 HAS SOPS 304646 HAS SOUS 229948 HAS SOUPS 229948 WITH SCORE 230252.646
AT ITER 9433 NEW BEST:: SOT 2435086 SOS 304620 HAS SOPS 304620 HAS SOUS 229903 HAS SOUPS 229903 WITH SCORE 230207.62
AT ITER 9559 NEW BEST:: SOT 2435026 SOS 304500 HAS SOPS 304500 HAS SOUS 229846 HAS SOUPS 229846 WITH SCORE 230150.5
AT ITER 9605 NEW BEST:: SOT 2434966 SOS 304328 HAS SOPS 304328 HAS SOUS 229722 HAS SOUPS 229722 WITH SCORE 230026.328
AT ITER 9620 NEW BEST:: SOT 2434928 SOS 304249 HAS SOPS 304249 HAS SOUS 229689 HAS SOUPS 229689 WITH SCORE 229993.249
AT ITER 9625 NEW BEST:: SOT 2434662 SOS 303717 HAS SOPS 303717 HAS SOUS 229153 HAS SOUPS 229153 WITH SCORE 229456.717
AT ITER 9659 NEW BEST:: SOT 2434605 SOS 303619 HAS SOPS 303619 HAS SOUS 229060 HAS SOUPS 229060 WITH SCORE 229363.619
AT ITER 9717 NEW BEST:: SOT 2434580 SOS 303594 HAS SOPS 303594 HAS SOUS 229010 HAS SOUPS 229010 WITH SCORE 229313.594
AT ITER 9734 NEW BEST:: SOT 2434520 SOS 303474 HAS SOPS 303474 HAS SOUS 228931 HAS SOUPS 228931 WITH SCORE 229234.474
AT ITER 9763 NEW BEST:: SOT 2434535 SOS 303504 HAS SOPS 303504 HAS SOUS 228923 HAS SOUPS 228923 WITH SCORE 229226.504
AT ITER 9772 NEW BEST:: SOT 2434520 SOS 303473 HAS SOPS 303473 HAS SOUS 228905 HAS SOUPS 228905 WITH SCORE 229208.473
AT ITER 9774 NEW BEST:: SOT 2434506 SOS 303495 HAS SOPS 303495 HAS SOUS 228901 HAS SOUPS 228901 WITH SCORE 229204.495
AT ITER 9879 NEW BEST:: SOT 2434329 SOS 303226 HAS SOPS 303226 HAS SOUS 228797 HAS SOUPS 228797 WITH SCORE 229100.226
AT ITER 9884 NEW BEST:: SOT 2434179 SOS 303132 HAS SOPS 303132 HAS SOUS 228777 HAS SOUPS 228777 WITH SCORE 229080.132
AT ITER 9910 NEW BEST:: SOT 2434199 SOS 303194 HAS SOPS 303194 HAS SOUS 228755 HAS SOUPS 228755 WITH SCORE 229058.194
AT ITER 9933 NEW BEST:: SOT 2434114 SOS 303012 HAS SOPS 303012 HAS SOUS 228663 HAS SOUPS 228663 WITH SCORE 228966.012
AT ITER 9953 NEW BEST:: SOT 2434090 SOS 302974 HAS SOPS 302974 HAS SOUS 228639 HAS SOUPS 228639 WITH SCORE 228941.974
AT ITER 9968 NEW BEST:: SOT 2434065 SOS 302993 HAS SOPS 302993 HAS SOUS 228608 HAS SOUPS 228608 WITH SCORE 228910.993
AT ITER 9977 NEW BEST:: SOT 2434065 SOS 302993 HAS SOPS 302993 HAS SOUS 228587 HAS SOUPS 228587 WITH SCORE 228889.993
AT ITER 9998 NEW BEST:: SOT 2434065 SOS 302938 HAS SOPS 302938 HAS SOUS 228584 HAS SOUPS 228584 WITH SCORE 228886.938

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

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