About the Execution of Smart for SafeBus-PT-15
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
9148.867 | 3600000.00 | 3600061.00 | 198.00 | [undef] | Time out reached |
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.r355-smll-167891803200288.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 SafeBus-PT-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803200288
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 40K Feb 26 02:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 227K Feb 26 02:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 390K Feb 26 02:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 1.6M Feb 26 02:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 31K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 116K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 271K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 797K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 83K Feb 26 02:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 472K Feb 26 02:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 725K Feb 26 02:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 2.7M Feb 26 02:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 6.7K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 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 3.5M 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 1679899661259
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=SafeBus-PT-15
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 15
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: 621 places, 4771 transitions, 34549 arcs.
AT ITER 0 NEW BEST:: SOT 1544576 SOS 1233654 HAS SOPS 1231616 HAS SOUS 325424 HAS SOUPS 324857 WITH SCORE 326090.654
AT ITER 7 NEW BEST:: SOT 1544576 SOS 1233654 HAS SOPS 1231601 HAS SOUS 325422 HAS SOUPS 324855 WITH SCORE 326088.654
AT ITER 102 NEW BEST:: SOT 1544261 SOS 1233163 HAS SOPS 1231286 HAS SOUS 322647 HAS SOUPS 322256 WITH SCORE 323489.163
AT ITER 109 NEW BEST:: SOT 1544220 SOS 1233122 HAS SOPS 1231245 HAS SOUS 322639 HAS SOUPS 322248 WITH SCORE 323481.122
AT ITER 139 NEW BEST:: SOT 1544178 SOS 1233080 HAS SOPS 1231203 HAS SOUS 322597 HAS SOUPS 322206 WITH SCORE 323439.08
AT ITER 141 NEW BEST:: SOT 1544167 SOS 1233069 HAS SOPS 1231192 HAS SOUS 322586 HAS SOUPS 322195 WITH SCORE 323428.069
AT ITER 145 NEW BEST:: SOT 1544142 SOS 1233044 HAS SOPS 1231167 HAS SOUS 322585 HAS SOUPS 322194 WITH SCORE 323427.044
AT ITER 201 NEW BEST:: SOT 1544105 SOS 1232909 HAS SOPS 1230938 HAS SOUS 322080 HAS SOUPS 321595 WITH SCORE 322827.909
AT ITER 265 NEW BEST:: SOT 1544069 SOS 1232873 HAS SOPS 1230902 HAS SOUS 322062 HAS SOUPS 321577 WITH SCORE 322809.873
AT ITER 290 NEW BEST:: SOT 1543860 SOS 1232664 HAS SOPS 1230693 HAS SOUS 321657 HAS SOUPS 321172 WITH SCORE 322404.664
AT ITER 299 NEW BEST:: SOT 1541066 SOS 1230259 HAS SOPS 1228427 HAS SOUS 319441 HAS SOUPS 319095 WITH SCORE 320325.259
AT ITER 307 NEW BEST:: SOT 1541096 SOS 1231963 HAS SOPS 1230131 HAS SOUS 319356 HAS SOUPS 319010 WITH SCORE 320241.963
AT ITER 310 NEW BEST:: SOT 1541096 SOS 1231963 HAS SOPS 1230131 HAS SOUS 319351 HAS SOUPS 319005 WITH SCORE 320236.963
AT ITER 331 NEW BEST:: SOT 1541096 SOS 1305140 HAS SOPS 1265283 HAS SOUS 319348 HAS SOUPS 318833 WITH SCORE 320138.14
AT ITER 339 NEW BEST:: SOT 1541096 SOS 1305140 HAS SOPS 1265283 HAS SOUS 319347 HAS SOUPS 318832 WITH SCORE 320137.14
AT ITER 356 NEW BEST:: SOT 1541074 SOS 1305118 HAS SOPS 1265261 HAS SOUS 319171 HAS SOUPS 318656 WITH SCORE 319961.118
AT ITER 360 NEW BEST:: SOT 1540579 SOS 1304623 HAS SOPS 1264766 HAS SOUS 318676 HAS SOUPS 318161 WITH SCORE 319465.623
AT ITER 362 NEW BEST:: SOT 1541454 SOS 1305484 HAS SOPS 1265641 HAS SOUS 318479 HAS SOUPS 317978 WITH SCORE 319283.484
AT ITER 365 NEW BEST:: SOT 1541394 SOS 1308024 HAS SOPS 1268181 HAS SOUS 318068 HAS SOUPS 317567 WITH SCORE 318875.024
AT ITER 388 NEW BEST:: SOT 1541394 SOS 1308024 HAS SOPS 1268181 HAS SOUS 318066 HAS SOUPS 317565 WITH SCORE 318873.024
AT ITER 396 NEW BEST:: SOT 1541289 SOS 1308705 HAS SOPS 1268862 HAS SOUS 317901 HAS SOUPS 317400 WITH SCORE 318708.705
AT ITER 417 NEW BEST:: SOT 1541431 SOS 1308755 HAS SOPS 1268772 HAS SOUS 317621 HAS SOUPS 316980 WITH SCORE 318288.755
AT ITER 418 NEW BEST:: SOT 1541491 SOS 1310087 HAS SOPS 1270104 HAS SOUS 317604 HAS SOUPS 316963 WITH SCORE 318273.087
AT ITER 459 NEW BEST:: SOT 1540447 SOS 1309046 HAS SOPS 1269063 HAS SOUS 316402 HAS SOUPS 315761 WITH SCORE 317070.046
AT ITER 500 NEW BEST:: SOT 1540199 SOS 1308760 HAS SOPS 1268758 HAS SOUS 315831 HAS SOUPS 315171 WITH SCORE 316479.76
AT ITER 505 NEW BEST:: SOT 1540263 SOS 1308824 HAS SOPS 1268822 HAS SOUS 315818 HAS SOUPS 315158 WITH SCORE 316466.824
AT ITER 516 NEW BEST:: SOT 1540263 SOS 1308824 HAS SOPS 1268822 HAS SOUS 315817 HAS SOUPS 315157 WITH SCORE 316465.824
AT ITER 549 NEW BEST:: SOT 1540384 SOS 1308945 HAS SOPS 1268943 HAS SOUS 315800 HAS SOUPS 315140 WITH SCORE 316448.945
AT ITER 565 NEW BEST:: SOT 1540279 SOS 1308840 HAS SOPS 1268838 HAS SOUS 315704 HAS SOUPS 315044 WITH SCORE 316352.84
AT ITER 602 NEW BEST:: SOT 1540361 SOS 1308865 HAS SOPS 1268788 HAS SOUS 315206 HAS SOUPS 314471 WITH SCORE 315779.865
AT ITER 631 NEW BEST:: SOT 1540441 SOS 1308924 HAS SOPS 1268755 HAS SOUS 314910 HAS SOUPS 314083 WITH SCORE 315391.924
AT ITER 665 NEW BEST:: SOT 1540401 SOS 1308884 HAS SOPS 1268715 HAS SOUS 314870 HAS SOUPS 314043 WITH SCORE 315351.884
AT ITER 672 NEW BEST:: SOT 1540383 SOS 1308404 HAS SOPS 1268235 HAS SOUS 314606 HAS SOUPS 313779 WITH SCORE 315087.404
AT ITER 695 NEW BEST:: SOT 1540047 SOS 1308068 HAS SOPS 1267899 HAS SOUS 314270 HAS SOUPS 313443 WITH SCORE 314751.068
AT ITER 710 NEW BEST:: SOT 1540047 SOS 1308068 HAS SOPS 1267899 HAS SOUS 314257 HAS SOUPS 313430 WITH SCORE 314738.068
AT ITER 711 NEW BEST:: SOT 1540001 SOS 1308022 HAS SOPS 1267853 HAS SOUS 314211 HAS SOUPS 313384 WITH SCORE 314692.022
AT ITER 734 NEW BEST:: SOT 1539993 SOS 1308014 HAS SOPS 1267845 HAS SOUS 314203 HAS SOUPS 313376 WITH SCORE 314684.014
AT ITER 741 NEW BEST:: SOT 1539925 SOS 1307946 HAS SOPS 1267777 HAS SOUS 314134 HAS SOUPS 313307 WITH SCORE 314614.946
AT ITER 789 NEW BEST:: SOT 1540049 SOS 1307944 HAS SOPS 1267681 HAS SOUS 313840 HAS SOUPS 312919 WITH SCORE 314226.944
AT ITER 851 NEW BEST:: SOT 1540035 SOS 1307930 HAS SOPS 1267667 HAS SOUS 313826 HAS SOUPS 312905 WITH SCORE 314212.93
AT ITER 860 NEW BEST:: SOT 1539983 SOS 1307878 HAS SOPS 1267615 HAS SOUS 313774 HAS SOUPS 312853 WITH SCORE 314160.878
AT ITER 870 NEW BEST:: SOT 1518328 SOS 1287040 HAS SOPS 1247510 HAS SOUS 290844 HAS SOUPS 290656 WITH SCORE 291943.04
AT ITER 885 NEW BEST:: SOT 1517728 SOS 1286440 HAS SOPS 1246910 HAS SOUS 290559 HAS SOUPS 290371 WITH SCORE 291657.44
AT ITER 887 NEW BEST:: SOT 1517755 SOS 1287809 HAS SOPS 1248279 HAS SOUS 290443 HAS SOUPS 290255 WITH SCORE 291542.809
AT ITER 894 NEW BEST:: SOT 1517040 SOS 1287040 HAS SOPS 1247510 HAS SOUS 289207 HAS SOUPS 289019 WITH SCORE 290306.04
AT ITER 895 NEW BEST:: SOT 1517040 SOS 1287100 HAS SOPS 1247570 HAS SOUS 289197 HAS SOUPS 289009 WITH SCORE 290296.1
AT ITER 919 NEW BEST:: SOT 1516835 SOS 1286895 HAS SOPS 1247365 HAS SOUS 289158 HAS SOUPS 288970 WITH SCORE 290256.895
AT ITER 924 NEW BEST:: SOT 1517041 SOS 1287101 HAS SOPS 1247571 HAS SOUS 289130 HAS SOUPS 288942 WITH SCORE 290229.101
AT ITER 950 NEW BEST:: SOT 1517011 SOS 1287071 HAS SOPS 1247541 HAS SOUS 288978 HAS SOUPS 288790 WITH SCORE 290077.071
AT ITER 954 NEW BEST:: SOT 1516961 SOS 1287021 HAS SOPS 1247491 HAS SOUS 288503 HAS SOUPS 288315 WITH SCORE 289602.021
AT ITER 962 NEW BEST:: SOT 1480115 SOS 1250353 HAS SOPS 1210823 HAS SOUS 251672 HAS SOUPS 251484 WITH SCORE 252734.353
AT ITER 973 NEW BEST:: SOT 1480082 SOS 1250320 HAS SOPS 1210790 HAS SOUS 251639 HAS SOUPS 251451 WITH SCORE 252701.32
AT ITER 997 NEW BEST:: SOT 1480390 SOS 1250628 HAS SOPS 1211098 HAS SOUS 251595 HAS SOUPS 251407 WITH SCORE 252657.628
AT ITER 1010 NEW BEST:: SOT 1480162 SOS 1250400 HAS SOPS 1210870 HAS SOUS 251019 HAS SOUPS 250831 WITH SCORE 252081.4
AT ITER 1012 NEW BEST:: SOT 1480818 SOS 1251056 HAS SOPS 1211526 HAS SOUS 250910 HAS SOUPS 250722 WITH SCORE 251973.056
AT ITER 1018 NEW BEST:: SOT 1480790 SOS 1251028 HAS SOPS 1211498 HAS SOUS 250882 HAS SOUPS 250694 WITH SCORE 251945.028
AT ITER 1027 NEW BEST:: SOT 1480768 SOS 1251006 HAS SOPS 1211476 HAS SOUS 250721 HAS SOUPS 250533 WITH SCORE 251784.006
AT ITER 1046 NEW BEST:: SOT 1480742 SOS 1250980 HAS SOPS 1211450 HAS SOUS 250695 HAS SOUPS 250507 WITH SCORE 251757.98
AT ITER 1062 NEW BEST:: SOT 1480730 SOS 1250930 HAS SOPS 1211400 HAS SOUS 250224 HAS SOUPS 250036 WITH SCORE 251286.93
AT ITER 1068 NEW BEST:: SOT 1480656 SOS 1250856 HAS SOPS 1211326 HAS SOUS 250150 HAS SOUPS 249962 WITH SCORE 251212.856
AT ITER 1097 NEW BEST:: SOT 1480279 SOS 1250479 HAS SOPS 1210949 HAS SOUS 249935 HAS SOUPS 249747 WITH SCORE 250997.479
AT ITER 1106 NEW BEST:: SOT 1480279 SOS 1250479 HAS SOPS 1210949 HAS SOUS 249934 HAS SOUPS 249746 WITH SCORE 250996.479
AT ITER 1113 NEW BEST:: SOT 1480265 SOS 1250465 HAS SOPS 1210935 HAS SOUS 249907 HAS SOUPS 249719 WITH SCORE 250969.465
AT ITER 1142 NEW BEST:: SOT 1480444 SOS 1250644 HAS SOPS 1211114 HAS SOUS 249778 HAS SOUPS 249590 WITH SCORE 250840.644
AT ITER 1200 NEW BEST:: SOT 1480444 SOS 1250644 HAS SOPS 1211114 HAS SOUS 249766 HAS SOUPS 249578 WITH SCORE 250828.644
AT ITER 1208 NEW BEST:: SOT 1480407 SOS 1250607 HAS SOPS 1211077 HAS SOUS 249729 HAS SOUPS 249541 WITH SCORE 250791.607
AT ITER 1218 NEW BEST:: SOT 1478033 SOS 1248233 HAS SOPS 1208703 HAS SOUS 247215 HAS SOUPS 247027 WITH SCORE 248275.233
AT ITER 1237 NEW BEST:: SOT 1478039 SOS 1248239 HAS SOPS 1208709 HAS SOUS 246746 HAS SOUPS 246558 WITH SCORE 247806.239
AT ITER 1254 NEW BEST:: SOT 1478039 SOS 1248239 HAS SOPS 1208709 HAS SOUS 246732 HAS SOUPS 246544 WITH SCORE 247792.239
AT ITER 1256 NEW BEST:: SOT 1478132 SOS 1248332 HAS SOPS 1208802 HAS SOUS 246662 HAS SOUPS 246474 WITH SCORE 247722.332
AT ITER 1265 NEW BEST:: SOT 1478114 SOS 1248314 HAS SOPS 1208784 HAS SOUS 246644 HAS SOUPS 246456 WITH SCORE 247704.314
AT ITER 1271 NEW BEST:: SOT 1472817 SOS 1243017 HAS SOPS 1203487 HAS SOUS 240985 HAS SOUPS 240797 WITH SCORE 242040.017
AT ITER 1272 NEW BEST:: SOT 1472955 SOS 1243155 HAS SOPS 1203625 HAS SOUS 240742 HAS SOUPS 240554 WITH SCORE 241797.155
AT ITER 1276 NEW BEST:: SOT 1472955 SOS 1243155 HAS SOPS 1203625 HAS SOUS 240733 HAS SOUPS 240545 WITH SCORE 241788.155
AT ITER 1278 NEW BEST:: SOT 1472914 SOS 1243114 HAS SOPS 1203584 HAS SOUS 240651 HAS SOUPS 240463 WITH SCORE 241706.114
AT ITER 1292 NEW BEST:: SOT 1473311 SOS 1243511 HAS SOPS 1203981 HAS SOUS 240511 HAS SOUPS 240323 WITH SCORE 241566.511
AT ITER 1303 NEW BEST:: SOT 1473165 SOS 1243365 HAS SOPS 1203835 HAS SOUS 240358 HAS SOUPS 240170 WITH SCORE 241413.365
AT ITER 1310 NEW BEST:: SOT 1473160 SOS 1243360 HAS SOPS 1203830 HAS SOUS 239861 HAS SOUPS 239673 WITH SCORE 240916.36
AT ITER 1366 NEW BEST:: SOT 1473154 SOS 1243354 HAS SOPS 1203824 HAS SOUS 239855 HAS SOUPS 239667 WITH SCORE 240910.354
AT ITER 1390 NEW BEST:: SOT 1473137 SOS 1242978 HAS SOPS 1203448 HAS SOUS 239722 HAS SOUPS 239534 WITH SCORE 240776.978
AT ITER 1401 NEW BEST:: SOT 1472782 SOS 1242620 HAS SOPS 1203093 HAS SOUS 239341 HAS SOUPS 239156 WITH SCORE 240398.62
AT ITER 1406 NEW BEST:: SOT 1472762 SOS 1242600 HAS SOPS 1203073 HAS SOUS 239321 HAS SOUPS 239136 WITH SCORE 240378.6
AT ITER 1416 NEW BEST:: SOT 1472623 SOS 1242461 HAS SOPS 1202934 HAS SOUS 239127 HAS SOUPS 238942 WITH SCORE 240184.461
AT ITER 1453 NEW BEST:: SOT 1472143 SOS 1241981 HAS SOPS 1202454 HAS SOUS 238679 HAS SOUPS 238494 WITH SCORE 239735.981
AT ITER 1457 NEW BEST:: SOT 1472143 SOS 1241969 HAS SOPS 1202547 HAS SOUS 238677 HAS SOUPS 238492 WITH SCORE 239733.969
AT ITER 1458 NEW BEST:: SOT 1472168 SOS 1241994 HAS SOPS 1202572 HAS SOUS 238676 HAS SOUPS 238491 WITH SCORE 239732.994
AT ITER 1465 NEW BEST:: SOT 1472118 SOS 1241944 HAS SOPS 1202522 HAS SOUS 238625 HAS SOUPS 238440 WITH SCORE 239681.944
AT ITER 1469 NEW BEST:: SOT 1472019 SOS 1241845 HAS SOPS 1202423 HAS SOUS 238514 HAS SOUPS 238329 WITH SCORE 239570.845
AT ITER 1496 NEW BEST:: SOT 1471933 SOS 1241759 HAS SOPS 1202337 HAS SOUS 238428 HAS SOUPS 238243 WITH SCORE 239484.759
AT ITER 1514 NEW BEST:: SOT 1471750 SOS 1241576 HAS SOPS 1202154 HAS SOUS 238238 HAS SOUPS 238053 WITH SCORE 239294.576
AT ITER 1520 NEW BEST:: SOT 1471750 SOS 1241576 HAS SOPS 1202154 HAS SOUS 238237 HAS SOUPS 238052 WITH SCORE 239293.576
AT ITER 1535 NEW BEST:: SOT 1471701 SOS 1241527 HAS SOPS 1202105 HAS SOUS 238188 HAS SOUPS 238003 WITH SCORE 239244.527
AT ITER 1544 NEW BEST:: SOT 1471281 SOS 1241107 HAS SOPS 1201685 HAS SOUS 237768 HAS SOUPS 237583 WITH SCORE 238824.107
AT ITER 1565 NEW BEST:: SOT 1471360 SOS 1241136 HAS SOPS 1201714 HAS SOUS 237304 HAS SOUPS 237119 WITH SCORE 238360.136
AT ITER 1566 NEW BEST:: SOT 1471273 SOS 1241049 HAS SOPS 1201627 HAS SOUS 236563 HAS SOUPS 236378 WITH SCORE 237619.049
AT ITER 1582 NEW BEST:: SOT 1471288 SOS 1241064 HAS SOPS 1201642 HAS SOUS 236540 HAS SOUPS 236355 WITH SCORE 237596.064
AT ITER 1587 NEW BEST:: SOT 1471146 SOS 1240922 HAS SOPS 1201500 HAS SOUS 235687 HAS SOUPS 235502 WITH SCORE 236742.922
AT ITER 1599 NEW BEST:: SOT 1471220 SOS 1240968 HAS SOPS 1201546 HAS SOUS 234890 HAS SOUPS 234705 WITH SCORE 235945.968
AT ITER 1615 NEW BEST:: SOT 1469862 SOS 1239610 HAS SOPS 1200188 HAS SOUS 233433 HAS SOUPS 233248 WITH SCORE 234487.61
AT ITER 1620 NEW BEST:: SOT 1469862 SOS 1235796 HAS SOPS 1196374 HAS SOUS 233433 HAS SOUPS 233248 WITH SCORE 234483.796
AT ITER 1626 NEW BEST:: SOT 1470012 SOS 1239990 HAS SOPS 1200568 HAS SOUS 233420 HAS SOUPS 233235 WITH SCORE 234474.99
AT ITER 1638 NEW BEST:: SOT 1470430 SOS 1240420 HAS SOPS 1200986 HAS SOUS 233326 HAS SOUPS 233129 WITH SCORE 234369.42
AT ITER 1653 NEW BEST:: SOT 1470453 SOS 1240443 HAS SOPS 1201009 HAS SOUS 233045 HAS SOUPS 232848 WITH SCORE 234088.443
AT ITER 1673 NEW BEST:: SOT 1470033 SOS 1240023 HAS SOPS 1200589 HAS SOUS 232565 HAS SOUPS 232368 WITH SCORE 233608.023
AT ITER 1696 NEW BEST:: SOT 1470093 SOS 1240083 HAS SOPS 1200607 HAS SOUS 232546 HAS SOUPS 232327 WITH SCORE 233567.083
AT ITER 1747 NEW BEST:: SOT 1469358 SOS 1239404 HAS SOPS 1199928 HAS SOUS 231815 HAS SOUPS 231596 WITH SCORE 232835.404
AT ITER 1754 NEW BEST:: SOT 1469254 SOS 1239300 HAS SOPS 1199824 HAS SOUS 231815 HAS SOUPS 231596 WITH SCORE 232835.3
AT ITER 1758 NEW BEST:: SOT 1469243 SOS 1239289 HAS SOPS 1199813 HAS SOUS 231664 HAS SOUPS 231445 WITH SCORE 232684.289
AT ITER 1761 NEW BEST:: SOT 1469243 SOS 1239287 HAS SOPS 1199811 HAS SOUS 231661 HAS SOUPS 231442 WITH SCORE 232681.287
AT ITER 1773 NEW BEST:: SOT 1469087 SOS 1239131 HAS SOPS 1199655 HAS SOUS 231505 HAS SOUPS 231286 WITH SCORE 232525.131
AT ITER 1778 NEW BEST:: SOT 1469053 SOS 1239097 HAS SOPS 1199621 HAS SOUS 231471 HAS SOUPS 231252 WITH SCORE 232491.097
AT ITER 1819 NEW BEST:: SOT 1469053 SOS 1239097 HAS SOPS 1199621 HAS SOUS 231454 HAS SOUPS 231235 WITH SCORE 232474.097
AT ITER 1853 NEW BEST:: SOT 1469053 SOS 1239097 HAS SOPS 1199621 HAS SOUS 230519 HAS SOUPS 230300 WITH SCORE 231539.097
AT ITER 1894 NEW BEST:: SOT 1469053 SOS 1239045 HAS SOPS 1199569 HAS SOUS 230519 HAS SOUPS 230300 WITH SCORE 231539.045
AT ITER 1897 NEW BEST:: SOT 1469041 SOS 1239033 HAS SOPS 1199557 HAS SOUS 230478 HAS SOUPS 230259 WITH SCORE 231498.033
AT ITER 1908 NEW BEST:: SOT 1469074 SOS 1239066 HAS SOPS 1199590 HAS SOUS 230440 HAS SOUPS 230221 WITH SCORE 231460.066
AT ITER 1925 NEW BEST:: SOT 1469013 SOS 1239005 HAS SOPS 1199529 HAS SOUS 230267 HAS SOUPS 230048 WITH SCORE 231287.005
AT ITER 1933 NEW BEST:: SOT 1469066 SOS 1240368 HAS SOPS 1200892 HAS SOUS 230200 HAS SOUPS 229981 WITH SCORE 231221.368
AT ITER 1948 NEW BEST:: SOT 1469066 SOS 1240172 HAS SOPS 1200696 HAS SOUS 230200 HAS SOUPS 229981 WITH SCORE 231221.172
AT ITER 1955 NEW BEST:: SOT 1469116 SOS 1240222 HAS SOPS 1200746 HAS SOUS 230144 HAS SOUPS 229925 WITH SCORE 231165.222
AT ITER 1966 NEW BEST:: SOT 1469285 SOS 1240391 HAS SOPS 1200915 HAS SOUS 229790 HAS SOUPS 229571 WITH SCORE 230811.391
AT ITER 1970 NEW BEST:: SOT 1469336 SOS 1240442 HAS SOPS 1200966 HAS SOUS 229739 HAS SOUPS 229520 WITH SCORE 230760.442
AT ITER 1980 NEW BEST:: SOT 1469336 SOS 1240442 HAS SOPS 1200966 HAS SOUS 229730 HAS SOUPS 229511 WITH SCORE 230751.442
AT ITER 1983 NEW BEST:: SOT 1469336 SOS 1240442 HAS SOPS 1200966 HAS SOUS 229686 HAS SOUPS 229467 WITH SCORE 230707.442
AT ITER 1984 NEW BEST:: SOT 1469336 SOS 1240442 HAS SOPS 1200966 HAS SOUS 229679 HAS SOUPS 229460 WITH SCORE 230700.442
AT ITER 1993 NEW BEST:: SOT 1469344 SOS 1240442 HAS SOPS 1200966 HAS SOUS 229635 HAS SOUPS 229416 WITH SCORE 230656.442
AT ITER 2002 NEW BEST:: SOT 1469208 SOS 1240306 HAS SOPS 1200830 HAS SOUS 229499 HAS SOUPS 229280 WITH SCORE 230520.306
AT ITER 2005 NEW BEST:: SOT 1469150 SOS 1240248 HAS SOPS 1200772 HAS SOUS 229448 HAS SOUPS 229229 WITH SCORE 230469.248
AT ITER 2016 NEW BEST:: SOT 1469228 SOS 1240326 HAS SOPS 1200850 HAS SOUS 229179 HAS SOUPS 228960 WITH SCORE 230200.326
AT ITER 2081 NEW BEST:: SOT 1469129 SOS 1240227 HAS SOPS 1200751 HAS SOUS 229035 HAS SOUPS 228816 WITH SCORE 230056.227
AT ITER 2083 NEW BEST:: SOT 1468986 SOS 1240084 HAS SOPS 1200608 HAS SOUS 228897 HAS SOUPS 228678 WITH SCORE 229918.084
AT ITER 2118 NEW BEST:: SOT 1467894 SOS 1238992 HAS SOPS 1199516 HAS SOUS 227694 HAS SOUPS 227475 WITH SCORE 228713.992
AT ITER 2128 NEW BEST:: SOT 1468004 SOS 1239102 HAS SOPS 1199626 HAS SOUS 227526 HAS SOUPS 227307 WITH SCORE 228546.102
AT ITER 2135 NEW BEST:: SOT 1468004 SOS 1238916 HAS SOPS 1199440 HAS SOUS 227526 HAS SOUPS 227307 WITH SCORE 228545.916
AT ITER 2141 NEW BEST:: SOT 1468027 SOS 1238939 HAS SOPS 1199463 HAS SOUS 227503 HAS SOUPS 227284 WITH SCORE 228522.939
AT ITER 2148 NEW BEST:: SOT 1468037 SOS 1238949 HAS SOPS 1199473 HAS SOUS 227344 HAS SOUPS 227125 WITH SCORE 228363.949
AT ITER 2170 NEW BEST:: SOT 1468037 SOS 1238935 HAS SOPS 1199459 HAS SOUS 227344 HAS SOUPS 227125 WITH SCORE 228363.935
AT ITER 2173 NEW BEST:: SOT 1468005 SOS 1238903 HAS SOPS 1199427 HAS SOUS 227312 HAS SOUPS 227093 WITH SCORE 228331.903
AT ITER 2176 NEW BEST:: SOT 1467964 SOS 1238862 HAS SOPS 1199386 HAS SOUS 227269 HAS SOUPS 227050 WITH SCORE 228288.862
AT ITER 2201 NEW BEST:: SOT 1468178 SOS 1239076 HAS SOPS 1199600 HAS SOUS 227081 HAS SOUPS 226862 WITH SCORE 228101.076
AT ITER 2204 NEW BEST:: SOT 1468178 SOS 1239076 HAS SOPS 1199600 HAS SOUS 227080 HAS SOUPS 226861 WITH SCORE 228100.076
AT ITER 2223 NEW BEST:: SOT 1468166 SOS 1239064 HAS SOPS 1199588 HAS SOUS 227068 HAS SOUPS 226849 WITH SCORE 228088.064
AT ITER 2251 NEW BEST:: SOT 1468030 SOS 1238928 HAS SOPS 1199452 HAS SOUS 226864 HAS SOUPS 226645 WITH SCORE 227883.928
AT ITER 2259 NEW BEST:: SOT 1468030 SOS 1238928 HAS SOPS 1199452 HAS SOUS 226779 HAS SOUPS 226560 WITH SCORE 227798.928
AT ITER 2272 NEW BEST:: SOT 1468030 SOS 1238928 HAS SOPS 1199452 HAS SOUS 226743 HAS SOUPS 226524 WITH SCORE 227762.928
AT ITER 2274 NEW BEST:: SOT 1468030 SOS 1238928 HAS SOPS 1199452 HAS SOUS 226733 HAS SOUPS 226514 WITH SCORE 227752.928
AT ITER 2285 NEW BEST:: SOT 1467686 SOS 1238556 HAS SOPS 1199080 HAS SOUS 226019 HAS SOUPS 225800 WITH SCORE 227038.556
AT ITER 2287 NEW BEST:: SOT 1467656 SOS 1239340 HAS SOPS 1199864 HAS SOUS 225911 HAS SOUPS 225692 WITH SCORE 226931.34
AT ITER 2360 NEW BEST:: SOT 1467624 SOS 1239308 HAS SOPS 1199832 HAS SOUS 225847 HAS SOUPS 225628 WITH SCORE 226867.308
AT ITER 2384 NEW BEST:: SOT 1467852 SOS 1239536 HAS SOPS 1200060 HAS SOUS 225779 HAS SOUPS 225560 WITH SCORE 226799.536
AT ITER 2392 NEW BEST:: SOT 1467852 SOS 1239438 HAS SOPS 1199962 HAS SOUS 225779 HAS SOUPS 225560 WITH SCORE 226799.438
AT ITER 2398 NEW BEST:: SOT 1467852 SOS 1239438 HAS SOPS 1199962 HAS SOUS 225753 HAS SOUPS 225534 WITH SCORE 226773.438
AT ITER 2406 NEW BEST:: SOT 1467852 SOS 1239438 HAS SOPS 1199962 HAS SOUS 225725 HAS SOUPS 225506 WITH SCORE 226745.438
AT ITER 2438 NEW BEST:: SOT 1467851 SOS 1239435 HAS SOPS 1199961 HAS SOUS 225714 HAS SOUPS 225496 WITH SCORE 226735.435
AT ITER 2470 NEW BEST:: SOT 1467986 SOS 1239570 HAS SOPS 1200096 HAS SOUS 225609 HAS SOUPS 225391 WITH SCORE 226630.57
AT ITER 2475 NEW BEST:: SOT 1467940 SOS 1239524 HAS SOPS 1200050 HAS SOUS 225609 HAS SOUPS 225391 WITH SCORE 226630.524
AT ITER 2476 NEW BEST:: SOT 1467943 SOS 1239527 HAS SOPS 1200053 HAS SOUS 225606 HAS SOUPS 225388 WITH SCORE 226627.527
AT ITER 2477 NEW BEST:: SOT 1467912 SOS 1239496 HAS SOPS 1200022 HAS SOUS 225574 HAS SOUPS 225356 WITH SCORE 226595.496
AT ITER 2506 NEW BEST:: SOT 1467912 SOS 1239284 HAS SOPS 1199810 HAS SOUS 225573 HAS SOUPS 225355 WITH SCORE 226594.284
AT ITER 2511 NEW BEST:: SOT 1467713 SOS 1239050 HAS SOPS 1199576 HAS SOUS 225402 HAS SOUPS 225184 WITH SCORE 226423.05
AT ITER 2557 NEW BEST:: SOT 1467616 SOS 1238953 HAS SOPS 1199479 HAS SOUS 225258 HAS SOUPS 225040 WITH SCORE 226278.953
AT ITER 2563 NEW BEST:: SOT 1467544 SOS 1238881 HAS SOPS 1199407 HAS SOUS 225155 HAS SOUPS 224937 WITH SCORE 226175.881
AT ITER 2565 NEW BEST:: SOT 1467544 SOS 1238881 HAS SOPS 1199407 HAS SOUS 225144 HAS SOUPS 224926 WITH SCORE 226164.881
AT ITER 2580 NEW BEST:: SOT 1467482 SOS 1238819 HAS SOPS 1199345 HAS SOUS 225082 HAS SOUPS 224864 WITH SCORE 226102.819
AT ITER 2583 NEW BEST:: SOT 1466880 SOS 1238217 HAS SOPS 1198743 HAS SOUS 224523 HAS SOUPS 224305 WITH SCORE 225543.217
AT ITER 2652 NEW BEST:: SOT 1466808 SOS 1238145 HAS SOPS 1198671 HAS SOUS 224467 HAS SOUPS 224249 WITH SCORE 225487.145
AT ITER 2663 NEW BEST:: SOT 1466769 SOS 1238106 HAS SOPS 1198632 HAS SOUS 224428 HAS SOUPS 224210 WITH SCORE 225448.106
AT ITER 2675 NEW BEST:: SOT 1466619 SOS 1237916 HAS SOPS 1198482 HAS SOUS 224391 HAS SOUPS 224194 WITH SCORE 225431.916
AT ITER 2688 NEW BEST:: SOT 1466174 SOS 1237471 HAS SOPS 1198037 HAS SOUS 223752 HAS SOUPS 223555 WITH SCORE 224792.471
AT ITER 2691 NEW BEST:: SOT 1466189 SOS 1237486 HAS SOPS 1198052 HAS SOUS 223721 HAS SOUPS 223524 WITH SCORE 224761.486
AT ITER 2718 NEW BEST:: SOT 1466171 SOS 1237468 HAS SOPS 1198034 HAS SOUS 223696 HAS SOUPS 223499 WITH SCORE 224736.468
AT ITER 2746 NEW BEST:: SOT 1465349 SOS 1236377 HAS SOPS 1196943 HAS SOUS 223313 HAS SOUPS 223116 WITH SCORE 224352.377
AT ITER 2749 NEW BEST:: SOT 1465349 SOS 1237481 HAS SOPS 1198047 HAS SOUS 223300 HAS SOUPS 223103 WITH SCORE 224340.481
AT ITER 2766 NEW BEST:: SOT 1465183 SOS 1237315 HAS SOPS 1197881 HAS SOUS 223300 HAS SOUPS 223103 WITH SCORE 224340.315
AT ITER 2775 NEW BEST:: SOT 1464962 SOS 1237094 HAS SOPS 1197660 HAS SOUS 223061 HAS SOUPS 222864 WITH SCORE 224101.094
AT ITER 2797 NEW BEST:: SOT 1465182 SOS 1236403 HAS SOPS 1196379 HAS SOUS 223569 HAS SOUPS 222782 WITH SCORE 224018.403
AT ITER 2836 NEW BEST:: SOT 1465087 SOS 1236308 HAS SOPS 1196284 HAS SOUS 223433 HAS SOUPS 222646 WITH SCORE 223882.308
AT ITER 2847 NEW BEST:: SOT 1465068 SOS 1236289 HAS SOPS 1196284 HAS SOUS 223185 HAS SOUPS 222417 WITH SCORE 223653.289
AT ITER 2872 NEW BEST:: SOT 1464922 SOS 1236143 HAS SOPS 1196138 HAS SOUS 223095 HAS SOUPS 222327 WITH SCORE 223563.143
AT ITER 2880 NEW BEST:: SOT 1464876 SOS 1236097 HAS SOPS 1196092 HAS SOUS 223049 HAS SOUPS 222281 WITH SCORE 223517.097
AT ITER 2889 NEW BEST:: SOT 1464876 SOS 1236097 HAS SOPS 1196092 HAS SOUS 223031 HAS SOUPS 222263 WITH SCORE 223499.097
AT ITER 2904 NEW BEST:: SOT 1464838 SOS 1236059 HAS SOPS 1196054 HAS SOUS 222978 HAS SOUPS 222210 WITH SCORE 223446.059
AT ITER 2910 NEW BEST:: SOT 1464712 SOS 1235933 HAS SOPS 1195928 HAS SOUS 222824 HAS SOUPS 222056 WITH SCORE 223291.933
AT ITER 2929 NEW BEST:: SOT 1464517 SOS 1235753 HAS SOPS 1195733 HAS SOUS 222809 HAS SOUPS 222026 WITH SCORE 223261.753
AT ITER 2990 NEW BEST:: SOT 1464501 SOS 1235737 HAS SOPS 1195717 HAS SOUS 222793 HAS SOUPS 222010 WITH SCORE 223245.737
AT ITER 3014 NEW BEST:: SOT 1464079 SOS 1235315 HAS SOPS 1195295 HAS SOUS 222303 HAS SOUPS 221520 WITH SCORE 222755.315
AT ITER 3026 NEW BEST:: SOT 1463935 SOS 1235171 HAS SOPS 1195151 HAS SOUS 221432 HAS SOUPS 220649 WITH SCORE 221884.171
AT ITER 3041 NEW BEST:: SOT 1463935 SOS 1235171 HAS SOPS 1195142 HAS SOUS 221336 HAS SOUPS 220544 WITH SCORE 221779.171
AT ITER 3071 NEW BEST:: SOT 1463935 SOS 1225459 HAS SOPS 1151680 HAS SOUS 221234 HAS SOUPS 220442 WITH SCORE 221667.459
AT ITER 3072 NEW BEST:: SOT 1463935 SOS 1225459 HAS SOPS 1151680 HAS SOUS 221225 HAS SOUPS 220433 WITH SCORE 221658.459
AT ITER 3086 NEW BEST:: SOT 1463935 SOS 1225459 HAS SOPS 1151680 HAS SOUS 221224 HAS SOUPS 220432 WITH SCORE 221657.459
AT ITER 3090 NEW BEST:: SOT 1463862 SOS 1227214 HAS SOPS 1153435 HAS SOUS 220973 HAS SOUPS 220181 WITH SCORE 221408.214
AT ITER 3100 NEW BEST:: SOT 1464549 SOS 1227901 HAS SOPS 1154122 HAS SOUS 220758 HAS SOUPS 219966 WITH SCORE 221193.901
AT ITER 3108 NEW BEST:: SOT 1464549 SOS 1227901 HAS SOPS 1154122 HAS SOUS 220757 HAS SOUPS 219965 WITH SCORE 221192.901
AT ITER 3110 NEW BEST:: SOT 1464549 SOS 1227901 HAS SOPS 1154122 HAS SOUS 220749 HAS SOUPS 219957 WITH SCORE 221184.901
AT ITER 3126 NEW BEST:: SOT 1464549 SOS 1227108 HAS SOPS 1167054 HAS SOUS 220749 HAS SOUPS 219957 WITH SCORE 221184.108
AT ITER 3143 NEW BEST:: SOT 1464505 SOS 1227064 HAS SOPS 1167010 HAS SOUS 220701 HAS SOUPS 219909 WITH SCORE 221136.064
AT ITER 3155 NEW BEST:: SOT 1464594 SOS 1227153 HAS SOPS 1167099 HAS SOUS 220670 HAS SOUPS 219878 WITH SCORE 221105.153
AT ITER 3169 NEW BEST:: SOT 1464547 SOS 1227106 HAS SOPS 1167052 HAS SOUS 220578 HAS SOUPS 219786 WITH SCORE 221013.106
AT ITER 3178 NEW BEST:: SOT 1463991 SOS 1226512 HAS SOPS 1166496 HAS SOUS 219946 HAS SOUPS 219192 WITH SCORE 220418.512
AT ITER 3190 NEW BEST:: SOT 1464076 SOS 1226547 HAS SOPS 1166499 HAS SOUS 219774 HAS SOUPS 218988 WITH SCORE 220214.547
AT ITER 3197 NEW BEST:: SOT 1464049 SOS 1226520 HAS SOPS 1166472 HAS SOUS 219747 HAS SOUPS 218961 WITH SCORE 220187.52
AT ITER 3198 NEW BEST:: SOT 1464049 SOS 1226520 HAS SOPS 1166472 HAS SOUS 219745 HAS SOUPS 218959 WITH SCORE 220185.52
AT ITER 3218 NEW BEST:: SOT 1464043 SOS 1226514 HAS SOPS 1166466 HAS SOUS 219739 HAS SOUPS 218953 WITH SCORE 220179.514
AT ITER 3238 NEW BEST:: SOT 1463863 SOS 1226334 HAS SOPS 1166286 HAS SOUS 219481 HAS SOUPS 218695 WITH SCORE 219921.334
AT ITER 3239 NEW BEST:: SOT 1463863 SOS 1227462 HAS SOPS 1167414 HAS SOUS 219328 HAS SOUPS 218542 WITH SCORE 219769.462
AT ITER 3245 NEW BEST:: SOT 1463858 SOS 1227457 HAS SOPS 1167409 HAS SOUS 219323 HAS SOUPS 218537 WITH SCORE 219764.457
AT ITER 3246 NEW BEST:: SOT 1463873 SOS 1227472 HAS SOPS 1167424 HAS SOUS 219308 HAS SOUPS 218522 WITH SCORE 219749.472
AT ITER 3274 NEW BEST:: SOT 1464034 SOS 1227633 HAS SOPS 1167585 HAS SOUS 219247 HAS SOUPS 218461 WITH SCORE 219688.633
AT ITER 3304 NEW BEST:: SOT 1464971 SOS 1228532 HAS SOPS 1168522 HAS SOUS 219047 HAS SOUPS 218299 WITH SCORE 219527.532
AT ITER 3306 NEW BEST:: SOT 1464961 SOS 1228522 HAS SOPS 1168512 HAS SOUS 219037 HAS SOUPS 218289 WITH SCORE 219517.522
AT ITER 3323 NEW BEST:: SOT 1464961 SOS 1229026 HAS SOPS 1169016 HAS SOUS 218993 HAS SOUPS 218245 WITH SCORE 219474.026
AT ITER 3346 NEW BEST:: SOT 1464943 SOS 1229008 HAS SOPS 1168998 HAS SOUS 218975 HAS SOUPS 218227 WITH SCORE 219456.008
AT ITER 3390 NEW BEST:: SOT 1464711 SOS 1228776 HAS SOPS 1168766 HAS SOUS 218820 HAS SOUPS 218072 WITH SCORE 219300.776
AT ITER 3421 NEW BEST:: SOT 1464684 SOS 1228749 HAS SOPS 1168739 HAS SOUS 218786 HAS SOUPS 218038 WITH SCORE 219266.749
AT ITER 3428 NEW BEST:: SOT 1464594 SOS 1228659 HAS SOPS 1168649 HAS SOUS 218366 HAS SOUPS 217618 WITH SCORE 218846.659
AT ITER 3430 NEW BEST:: SOT 1464527 SOS 1228823 HAS SOPS 1168814 HAS SOUS 218319 HAS SOUPS 217572 WITH SCORE 218800.823
AT ITER 3445 NEW BEST:: SOT 1463918 SOS 1228214 HAS SOPS 1168205 HAS SOUS 218270 HAS SOUPS 217523 WITH SCORE 218751.214
AT ITER 3452 NEW BEST:: SOT 1463833 SOS 1228129 HAS SOPS 1168120 HAS SOUS 218183 HAS SOUPS 217436 WITH SCORE 218664.129
AT ITER 3466 NEW BEST:: SOT 1463822 SOS 1228118 HAS SOPS 1168109 HAS SOUS 218172 HAS SOUPS 217425 WITH SCORE 218653.118
AT ITER 3505 NEW BEST:: SOT 1463822 SOS 1228610 HAS SOPS 1168601 HAS SOUS 218131 HAS SOUPS 217384 WITH SCORE 218612.61
AT ITER 3539 NEW BEST:: SOT 1463822 SOS 1228610 HAS SOPS 1168601 HAS SOUS 218090 HAS SOUPS 217343 WITH SCORE 218571.61
AT ITER 3574 NEW BEST:: SOT 1463777 SOS 1228565 HAS SOPS 1168556 HAS SOUS 218086 HAS SOUPS 217339 WITH SCORE 218567.565
AT ITER 3598 NEW BEST:: SOT 1463770 SOS 1228530 HAS SOPS 1168521 HAS SOUS 218077 HAS SOUPS 217330 WITH SCORE 218558.53
AT ITER 3603 NEW BEST:: SOT 1463800 SOS 1228558 HAS SOPS 1168532 HAS SOUS 217979 HAS SOUPS 217215 WITH SCORE 218443.558
AT ITER 3659 NEW BEST:: SOT 1463781 SOS 1228539 HAS SOPS 1168513 HAS SOUS 217972 HAS SOUPS 217208 WITH SCORE 218436.539
AT ITER 3660 NEW BEST:: SOT 1463055 SOS 1227813 HAS SOPS 1167787 HAS SOUS 217178 HAS SOUPS 216414 WITH SCORE 217641.813
AT ITER 3672 NEW BEST:: SOT 1463055 SOS 1228397 HAS SOPS 1168371 HAS SOUS 217158 HAS SOUPS 216394 WITH SCORE 217622.397
AT ITER 3673 NEW BEST:: SOT 1463072 SOS 1228414 HAS SOPS 1168388 HAS SOUS 217156 HAS SOUPS 216392 WITH SCORE 217620.414
AT ITER 3677 NEW BEST:: SOT 1463016 SOS 1228350 HAS SOPS 1168324 HAS SOUS 217088 HAS SOUPS 216324 WITH SCORE 217552.35
AT ITER 3696 NEW BEST:: SOT 1463002 SOS 1228336 HAS SOPS 1168310 HAS SOUS 217026 HAS SOUPS 216262 WITH SCORE 217490.336
AT ITER 3703 NEW BEST:: SOT 1463002 SOS 1228336 HAS SOPS 1168310 HAS SOUS 217024 HAS SOUPS 216260 WITH SCORE 217488.336
AT ITER 3712 NEW BEST:: SOT 1462948 SOS 1228282 HAS SOPS 1168256 HAS SOUS 216970 HAS SOUPS 216206 WITH SCORE 217434.282
AT ITER 3736 NEW BEST:: SOT 1462836 SOS 1228170 HAS SOPS 1168144 HAS SOUS 216809 HAS SOUPS 216045 WITH SCORE 217273.17
AT ITER 3744 NEW BEST:: SOT 1462836 SOS 1228170 HAS SOPS 1168144 HAS SOUS 216800 HAS SOUPS 216036 WITH SCORE 217264.17
AT ITER 3765 NEW BEST:: SOT 1462835 SOS 1228183 HAS SOPS 1168157 HAS SOUS 216796 HAS SOUPS 216032 WITH SCORE 217260.183
AT ITER 3771 NEW BEST:: SOT 1462830 SOS 1228178 HAS SOPS 1168152 HAS SOUS 216791 HAS SOUPS 216027 WITH SCORE 217255.178
AT ITER 3846 NEW BEST:: SOT 1463003 SOS 1228351 HAS SOPS 1168325 HAS SOUS 216692 HAS SOUPS 215928 WITH SCORE 217156.351
AT ITER 3883 NEW BEST:: SOT 1463008 SOS 1228356 HAS SOPS 1168330 HAS SOUS 216570 HAS SOUPS 215806 WITH SCORE 217034.356
AT ITER 3897 NEW BEST:: SOT 1463008 SOS 1228356 HAS SOPS 1168330 HAS SOUS 216564 HAS SOUPS 215800 WITH SCORE 217028.356
AT ITER 3899 NEW BEST:: SOT 1463008 SOS 1228608 HAS SOPS 1168582 HAS SOUS 216536 HAS SOUPS 215772 WITH SCORE 217000.608
AT ITER 3909 NEW BEST:: SOT 1463008 SOS 1228608 HAS SOPS 1168582 HAS SOUS 216522 HAS SOUPS 215758 WITH SCORE 216986.608
AT ITER 3915 NEW BEST:: SOT 1463008 SOS 1228608 HAS SOPS 1168582 HAS SOUS 216515 HAS SOUPS 215751 WITH SCORE 216979.608
AT ITER 3918 NEW BEST:: SOT 1463197 SOS 1228797 HAS SOPS 1168771 HAS SOUS 216449 HAS SOUPS 215685 WITH SCORE 216913.797
AT ITER 3926 NEW BEST:: SOT 1463049 SOS 1228649 HAS SOPS 1168623 HAS SOUS 216350 HAS SOUPS 215586 WITH SCORE 216814.649
AT ITER 3950 NEW BEST:: SOT 1463078 SOS 1228678 HAS SOPS 1168652 HAS SOUS 216292 HAS SOUPS 215528 WITH SCORE 216756.678
AT ITER 3992 NEW BEST:: SOT 1463210 SOS 1228810 HAS SOPS 1168784 HAS SOUS 215962 HAS SOUPS 215198 WITH SCORE 216426.81
AT ITER 4024 NEW BEST:: SOT 1463226 SOS 1228826 HAS SOPS 1168800 HAS SOUS 215641 HAS SOUPS 214877 WITH SCORE 216105.826
AT ITER 4031 NEW BEST:: SOT 1463226 SOS 1228758 HAS SOPS 1168732 HAS SOUS 215641 HAS SOUPS 214877 WITH SCORE 216105.758
AT ITER 4032 NEW BEST:: SOT 1463208 SOS 1228832 HAS SOPS 1168806 HAS SOUS 215578 HAS SOUPS 214814 WITH SCORE 216042.832
AT ITER 4038 NEW BEST:: SOT 1463153 SOS 1228777 HAS SOPS 1168751 HAS SOUS 215523 HAS SOUPS 214759 WITH SCORE 215987.777
AT ITER 4087 NEW BEST:: SOT 1463145 SOS 1228769 HAS SOPS 1168743 HAS SOUS 215501 HAS SOUPS 214737 WITH SCORE 215965.769
AT ITER 4097 NEW BEST:: SOT 1463048 SOS 1228672 HAS SOPS 1168646 HAS SOUS 215368 HAS SOUPS 214604 WITH SCORE 215832.672
AT ITER 4110 NEW BEST:: SOT 1462944 SOS 1228568 HAS SOPS 1168542 HAS SOUS 215259 HAS SOUPS 214495 WITH SCORE 215723.568
AT ITER 4112 NEW BEST:: SOT 1462955 SOS 1228579 HAS SOPS 1168553 HAS SOUS 215244 HAS SOUPS 214480 WITH SCORE 215708.579
AT ITER 4128 NEW BEST:: SOT 1462955 SOS 1229125 HAS SOPS 1169099 HAS SOUS 215166 HAS SOUPS 214402 WITH SCORE 215631.125
AT ITER 4152 NEW BEST:: SOT 1462943 SOS 1229113 HAS SOPS 1169087 HAS SOUS 215154 HAS SOUPS 214390 WITH SCORE 215619.113
AT ITER 4153 NEW BEST:: SOT 1462952 SOS 1229122 HAS SOPS 1169096 HAS SOUS 215113 HAS SOUPS 214349 WITH SCORE 215578.122
AT ITER 4182 NEW BEST:: SOT 1462836 SOS 1229006 HAS SOPS 1168980 HAS SOUS 214933 HAS SOUPS 214169 WITH SCORE 215398.006
AT ITER 4189 NEW BEST:: SOT 1462358 SOS 1228519 HAS SOPS 1168502 HAS SOUS 214402 HAS SOUPS 213647 WITH SCORE 214875.519
AT ITER 4210 NEW BEST:: SOT 1462316 SOS 1228477 HAS SOPS 1168460 HAS SOUS 214375 HAS SOUPS 213620 WITH SCORE 214848.477
AT ITER 4239 NEW BEST:: SOT 1462180 SOS 1228376 HAS SOPS 1168359 HAS SOUS 214160 HAS SOUPS 213405 WITH SCORE 214633.376
AT ITER 4240 NEW BEST:: SOT 1462188 SOS 1228384 HAS SOPS 1168367 HAS SOUS 214152 HAS SOUPS 213397 WITH SCORE 214625.384
AT ITER 4248 NEW BEST:: SOT 1462178 SOS 1228374 HAS SOPS 1168357 HAS SOUS 214152 HAS SOUPS 213397 WITH SCORE 214625.374
AT ITER 4249 NEW BEST:: SOT 1462190 SOS 1228386 HAS SOPS 1168369 HAS SOUS 214008 HAS SOUPS 213253 WITH SCORE 214481.386
AT ITER 4260 NEW BEST:: SOT 1462194 SOS 1230980 HAS SOPS 1170963 HAS SOUS 213692 HAS SOUPS 212937 WITH SCORE 214167.98
AT ITER 4288 NEW BEST:: SOT 1462194 SOS 1230980 HAS SOPS 1170963 HAS SOUS 213646 HAS SOUPS 212891 WITH SCORE 214121.98
AT ITER 4292 NEW BEST:: SOT 1462194 SOS 1230724 HAS SOPS 1170707 HAS SOUS 213646 HAS SOUPS 212891 WITH SCORE 214121.724
AT ITER 4338 NEW BEST:: SOT 1462062 SOS 1230558 HAS SOPS 1170575 HAS SOUS 213027 HAS SOUPS 212306 WITH SCORE 213536.558
AT ITER 4347 NEW BEST:: SOT 1462056 SOS 1230552 HAS SOPS 1170569 HAS SOUS 213027 HAS SOUPS 212306 WITH SCORE 213536.552
AT ITER 4369 NEW BEST:: SOT 1462056 SOS 1230552 HAS SOPS 1170569 HAS SOUS 213007 HAS SOUPS 212286 WITH SCORE 213516.552
AT ITER 4370 NEW BEST:: SOT 1462072 SOS 1230568 HAS SOPS 1170585 HAS SOUS 212967 HAS SOUPS 212246 WITH SCORE 213476.568
AT ITER 4380 NEW BEST:: SOT 1462038 SOS 1230534 HAS SOPS 1170551 HAS SOUS 212821 HAS SOUPS 212100 WITH SCORE 213330.534
AT ITER 4414 NEW BEST:: SOT 1461912 SOS 1230408 HAS SOPS 1170425 HAS SOUS 212654 HAS SOUPS 211933 WITH SCORE 213163.408
AT ITER 4450 NEW BEST:: SOT 1461912 SOS 1230406 HAS SOPS 1170483 HAS SOUS 212654 HAS SOUPS 211933 WITH SCORE 213163.406
AT ITER 4465 NEW BEST:: SOT 1461912 SOS 1230514 HAS SOPS 1170591 HAS SOUS 212647 HAS SOUPS 211926 WITH SCORE 213156.514
AT ITER 4471 NEW BEST:: SOT 1461912 SOS 1230514 HAS SOPS 1170591 HAS SOUS 212599 HAS SOUPS 211878 WITH SCORE 213108.514
AT ITER 4490 NEW BEST:: SOT 1461900 SOS 1230502 HAS SOPS 1170579 HAS SOUS 212588 HAS SOUPS 211867 WITH SCORE 213097.502
AT ITER 4512 NEW BEST:: SOT 1462020 SOS 1230668 HAS SOPS 1170745 HAS SOUS 212576 HAS SOUPS 211855 WITH SCORE 213085.668
AT ITER 4513 NEW BEST:: SOT 1462020 SOS 1230624 HAS SOPS 1170701 HAS SOUS 212558 HAS SOUPS 211837 WITH SCORE 213067.624
AT ITER 4521 NEW BEST:: SOT 1462011 SOS 1230615 HAS SOPS 1170692 HAS SOUS 212471 HAS SOUPS 211750 WITH SCORE 212980.615
AT ITER 4537 NEW BEST:: SOT 1462011 SOS 1230615 HAS SOPS 1170692 HAS SOUS 212463 HAS SOUPS 211742 WITH SCORE 212972.615
AT ITER 4548 NEW BEST:: SOT 1462011 SOS 1230627 HAS SOPS 1170704 HAS SOUS 212462 HAS SOUPS 211741 WITH SCORE 212971.627
AT ITER 4567 NEW BEST:: SOT 1462030 SOS 1230646 HAS SOPS 1170723 HAS SOUS 212443 HAS SOUPS 211722 WITH SCORE 212952.646
AT ITER 4574 NEW BEST:: SOT 1461979 SOS 1230577 HAS SOPS 1170672 HAS SOUS 212213 HAS SOUPS 211510 WITH SCORE 212740.577
AT ITER 4586 NEW BEST:: SOT 1461979 SOS 1230577 HAS SOPS 1170672 HAS SOUS 212208 HAS SOUPS 211505 WITH SCORE 212735.577
AT ITER 4596 NEW BEST:: SOT 1461351 SOS 1229915 HAS SOPS 1170010 HAS SOUS 211581 HAS SOUPS 210878 WITH SCORE 212107.915
AT ITER 4634 NEW BEST:: SOT 1461351 SOS 1229905 HAS SOPS 1170000 HAS SOUS 211570 HAS SOUPS 210867 WITH SCORE 212096.905
AT ITER 4661 NEW BEST:: SOT 1461446 SOS 1229993 HAS SOPS 1170075 HAS SOUS 211280 HAS SOUPS 210564 WITH SCORE 211793.993
AT ITER 4731 NEW BEST:: SOT 1460955 SOS 1229440 HAS SOPS 1169522 HAS SOUS 210791 HAS SOUPS 210075 WITH SCORE 211304.44
AT ITER 4750 NEW BEST:: SOT 1460686 SOS 1229167 HAS SOPS 1169249 HAS SOUS 210564 HAS SOUPS 209848 WITH SCORE 211077.167
AT ITER 4758 NEW BEST:: SOT 1461252 SOS 1229689 HAS SOPS 1169815 HAS SOUS 210407 HAS SOUPS 209735 WITH SCORE 210964.689
AT ITER 4765 NEW BEST:: SOT 1461239 SOS 1229676 HAS SOPS 1169802 HAS SOUS 210394 HAS SOUPS 209722 WITH SCORE 210951.676
AT ITER 4773 NEW BEST:: SOT 1461222 SOS 1229659 HAS SOPS 1169785 HAS SOUS 210355 HAS SOUPS 209683 WITH SCORE 210912.659
AT ITER 4784 NEW BEST:: SOT 1461222 SOS 1229609 HAS SOPS 1169735 HAS SOUS 210355 HAS SOUPS 209683 WITH SCORE 210912.609
AT ITER 4789 NEW BEST:: SOT 1461233 SOS 1229620 HAS SOPS 1169746 HAS SOUS 210344 HAS SOUPS 209672 WITH SCORE 210901.62
AT ITER 4807 NEW BEST:: SOT 1461883 SOS 1230219 HAS SOPS 1170396 HAS SOUS 210273 HAS SOUPS 209652 WITH SCORE 210882.219
AT ITER 4849 NEW BEST:: SOT 1461925 SOS 1230261 HAS SOPS 1170438 HAS SOUS 210231 HAS SOUPS 209610 WITH SCORE 210840.261
AT ITER 4859 NEW BEST:: SOT 1461498 SOS 1229830 HAS SOPS 1170007 HAS SOUS 209820 HAS SOUPS 209199 WITH SCORE 210428.83
AT ITER 4974 NEW BEST:: SOT 1461456 SOS 1229788 HAS SOPS 1169965 HAS SOUS 209767 HAS SOUPS 209146 WITH SCORE 210375.788
AT ITER 4997 NEW BEST:: SOT 1461456 SOS 1229788 HAS SOPS 1169965 HAS SOUS 209759 HAS SOUPS 209138 WITH SCORE 210367.788
AT ITER 4999 NEW BEST:: SOT 1461458 SOS 1229746 HAS SOPS 1169923 HAS SOUS 209739 HAS SOUPS 209118 WITH SCORE 210347.746
AT ITER 5063 NEW BEST:: SOT 1461442 SOS 1229730 HAS SOPS 1169907 HAS SOUS 209723 HAS SOUPS 209102 WITH SCORE 210331.73
AT ITER 5109 NEW BEST:: SOT 1461438 SOS 1229740 HAS SOPS 1169917 HAS SOUS 209712 HAS SOUPS 209091 WITH SCORE 210320.74
AT ITER 5112 NEW BEST:: SOT 1461356 SOS 1229658 HAS SOPS 1169835 HAS SOUS 209602 HAS SOUPS 208981 WITH SCORE 210210.658
AT ITER 5159 NEW BEST:: SOT 1461356 SOS 1229614 HAS SOPS 1169791 HAS SOUS 209602 HAS SOUPS 208981 WITH SCORE 210210.614
AT ITER 5181 NEW BEST:: SOT 1461302 SOS 1229560 HAS SOPS 1169737 HAS SOUS 209602 HAS SOUPS 208981 WITH SCORE 210210.56
AT ITER 5192 NEW BEST:: SOT 1461279 SOS 1229537 HAS SOPS 1169714 HAS SOUS 209574 HAS SOUPS 208953 WITH SCORE 210182.537
AT ITER 5222 NEW BEST:: SOT 1461274 SOS 1229532 HAS SOPS 1169709 HAS SOUS 209569 HAS SOUPS 208948 WITH SCORE 210177.532
AT ITER 5236 NEW BEST:: SOT 1461274 SOS 1229532 HAS SOPS 1169709 HAS SOUS 209548 HAS SOUPS 208927 WITH SCORE 210156.532
AT ITER 5256 NEW BEST:: SOT 1461274 SOS 1229532 HAS SOPS 1169709 HAS SOUS 209547 HAS SOUPS 208926 WITH SCORE 210155.532
AT ITER 5342 NEW BEST:: SOT 1461234 SOS 1229492 HAS SOPS 1169669 HAS SOUS 209504 HAS SOUPS 208883 WITH SCORE 210112.492
AT ITER 5357 NEW BEST:: SOT 1461458 SOS 1229716 HAS SOPS 1169893 HAS SOUS 209488 HAS SOUPS 208867 WITH SCORE 210096.716
AT ITER 5364 NEW BEST:: SOT 1461458 SOS 1229716 HAS SOPS 1169893 HAS SOUS 209487 HAS SOUPS 208866 WITH SCORE 210095.716
AT ITER 5447 NEW BEST:: SOT 1461458 SOS 1229482 HAS SOPS 1169659 HAS SOUS 209487 HAS SOUPS 208866 WITH SCORE 210095.482
AT ITER 5473 NEW BEST:: SOT 1461449 SOS 1229473 HAS SOPS 1169650 HAS SOUS 209487 HAS SOUPS 208866 WITH SCORE 210095.473
AT ITER 5514 NEW BEST:: SOT 1461406 SOS 1229430 HAS SOPS 1169607 HAS SOUS 209444 HAS SOUPS 208823 WITH SCORE 210052.43
AT ITER 5527 NEW BEST:: SOT 1461413 SOS 1229437 HAS SOPS 1169614 HAS SOUS 209437 HAS SOUPS 208816 WITH SCORE 210045.437
AT ITER 5533 NEW BEST:: SOT 1460347 SOS 1228391 HAS SOPS 1168548 HAS SOUS 209361 HAS SOUPS 208720 WITH SCORE 209948.391
AT ITER 5545 NEW BEST:: SOT 1460313 SOS 1228357 HAS SOPS 1168514 HAS SOUS 209308 HAS SOUPS 208667 WITH SCORE 209895.357
AT ITER 5579 NEW BEST:: SOT 1460289 SOS 1228333 HAS SOPS 1168490 HAS SOUS 209284 HAS SOUPS 208643 WITH SCORE 209871.333
AT ITER 5598 NEW BEST:: SOT 1460289 SOS 1228333 HAS SOPS 1168490 HAS SOUS 209277 HAS SOUPS 208636 WITH SCORE 209864.333
AT ITER 5603 NEW BEST:: SOT 1460289 SOS 1228357 HAS SOPS 1168514 HAS SOUS 209273 HAS SOUPS 208632 WITH SCORE 209860.357
AT ITER 5607 NEW BEST:: SOT 1460287 SOS 1228320 HAS SOPS 1168477 HAS SOUS 209236 HAS SOUPS 208595 WITH SCORE 209823.32
AT ITER 5634 NEW BEST:: SOT 1460287 SOS 1229650 HAS SOPS 1169807 HAS SOUS 209135 HAS SOUPS 208494 WITH SCORE 209723.65
AT ITER 5684 NEW BEST:: SOT 1460244 SOS 1229607 HAS SOPS 1169764 HAS SOUS 209076 HAS SOUPS 208435 WITH SCORE 209664.607
AT ITER 5731 NEW BEST:: SOT 1460616 SOS 1229979 HAS SOPS 1170136 HAS SOUS 209014 HAS SOUPS 208373 WITH SCORE 209602.979
AT ITER 5741 NEW BEST:: SOT 1460398 SOS 1229781 HAS SOPS 1169938 HAS SOUS 208816 HAS SOUPS 208175 WITH SCORE 209404.781
AT ITER 5752 NEW BEST:: SOT 1460173 SOS 1229556 HAS SOPS 1169713 HAS SOUS 208591 HAS SOUPS 207950 WITH SCORE 209179.556
AT ITER 5847 NEW BEST:: SOT 1460173 SOS 1229556 HAS SOPS 1169713 HAS SOUS 208584 HAS SOUPS 207943 WITH SCORE 209172.556
AT ITER 5900 NEW BEST:: SOT 1460167 SOS 1229550 HAS SOPS 1169707 HAS SOUS 208575 HAS SOUPS 207934 WITH SCORE 209163.55
AT ITER 5943 NEW BEST:: SOT 1460062 SOS 1229445 HAS SOPS 1169602 HAS SOUS 208477 HAS SOUPS 207836 WITH SCORE 209065.445
AT ITER 5958 NEW BEST:: SOT 1460062 SOS 1229445 HAS SOPS 1169602 HAS SOUS 208476 HAS SOUPS 207835 WITH SCORE 209064.445
AT ITER 6109 NEW BEST:: SOT 1460062 SOS 1229445 HAS SOPS 1169602 HAS SOUS 208470 HAS SOUPS 207829 WITH SCORE 209058.445
AT ITER 6135 NEW BEST:: SOT 1460062 SOS 1229445 HAS SOPS 1169602 HAS SOUS 208468 HAS SOUPS 207827 WITH SCORE 209056.445
AT ITER 6161 NEW BEST:: SOT 1459929 SOS 1229292 HAS SOPS 1169449 HAS SOUS 208325 HAS SOUPS 207684 WITH SCORE 208913.292
AT ITER 6194 NEW BEST:: SOT 1459916 SOS 1229279 HAS SOPS 1169436 HAS SOUS 208312 HAS SOUPS 207671 WITH SCORE 208900.279
AT ITER 6200 NEW BEST:: SOT 1459820 SOS 1229183 HAS SOPS 1169340 HAS SOUS 208200 HAS SOUPS 207559 WITH SCORE 208788.183
AT ITER 6221 NEW BEST:: SOT 1459820 SOS 1229183 HAS SOPS 1169340 HAS SOUS 208196 HAS SOUPS 207555 WITH SCORE 208784.183
AT ITER 6224 NEW BEST:: SOT 1459784 SOS 1229147 HAS SOPS 1169304 HAS SOUS 208150 HAS SOUPS 207509 WITH SCORE 208738.147
AT ITER 6266 NEW BEST:: SOT 1459784 SOS 1230683 HAS SOPS 1170840 HAS SOUS 208110 HAS SOUPS 207469 WITH SCORE 208699.683
AT ITER 6273 NEW BEST:: SOT 1459715 SOS 1230614 HAS SOPS 1170771 HAS SOUS 208087 HAS SOUPS 207446 WITH SCORE 208676.614
AT ITER 6307 NEW BEST:: SOT 1459697 SOS 1230596 HAS SOPS 1170753 HAS SOUS 208069 HAS SOUPS 207428 WITH SCORE 208658.596
AT ITER 6332 NEW BEST:: SOT 1459697 SOS 1230896 HAS SOPS 1171053 HAS SOUS 208044 HAS SOUPS 207403 WITH SCORE 208633.896
AT ITER 6370 NEW BEST:: SOT 1459693 SOS 1230892 HAS SOPS 1171049 HAS SOUS 208044 HAS SOUPS 207403 WITH SCORE 208633.892
AT ITER 6387 NEW BEST:: SOT 1459172 SOS 1230411 HAS SOPS 1170528 HAS SOUS 207603 HAS SOUPS 206922 WITH SCORE 208152.411
AT ITER 6409 NEW BEST:: SOT 1459247 SOS 1230513 HAS SOPS 1170630 HAS SOUS 207581 HAS SOUPS 206900 WITH SCORE 208130.513
AT ITER 6455 NEW BEST:: SOT 1459247 SOS 1230513 HAS SOPS 1170630 HAS SOUS 207576 HAS SOUPS 206895 WITH SCORE 208125.513
AT ITER 6465 NEW BEST:: SOT 1459218 SOS 1230484 HAS SOPS 1170601 HAS SOUS 207574 HAS SOUPS 206893 WITH SCORE 208123.484
AT ITER 6503 NEW BEST:: SOT 1459222 SOS 1230488 HAS SOPS 1170605 HAS SOUS 207531 HAS SOUPS 206850 WITH SCORE 208080.488
AT ITER 6525 NEW BEST:: SOT 1458886 SOS 1230176 HAS SOPS 1170293 HAS SOUS 207489 HAS SOUPS 206808 WITH SCORE 208038.176
AT ITER 6596 NEW BEST:: SOT 1458843 SOS 1217035 HAS SOPS 1157066 HAS SOUS 207439 HAS SOUPS 206672 WITH SCORE 207889.035
AT ITER 6644 NEW BEST:: SOT 1458780 SOS 1216972 HAS SOPS 1157003 HAS SOUS 207376 HAS SOUPS 206609 WITH SCORE 207825.972
AT ITER 6671 NEW BEST:: SOT 1458927 SOS 1217119 HAS SOPS 1157150 HAS SOUS 207323 HAS SOUPS 206556 WITH SCORE 207773.119
AT ITER 6720 NEW BEST:: SOT 1458852 SOS 1217044 HAS SOPS 1157075 HAS SOUS 207320 HAS SOUPS 206553 WITH SCORE 207770.044
AT ITER 6730 NEW BEST:: SOT 1459210 SOS 1217402 HAS SOPS 1157433 HAS SOUS 207119 HAS SOUPS 206352 WITH SCORE 207569.402
AT ITER 6766 NEW BEST:: SOT 1459144 SOS 1217336 HAS SOPS 1157367 HAS SOUS 206610 HAS SOUPS 205843 WITH SCORE 207060.336
AT ITER 6808 NEW BEST:: SOT 1459137 SOS 1217329 HAS SOPS 1157340 HAS SOUS 206593 HAS SOUPS 205806 WITH SCORE 207023.329
AT ITER 6831 NEW BEST:: SOT 1459130 SOS 1217322 HAS SOPS 1157333 HAS SOUS 206502 HAS SOUPS 205715 WITH SCORE 206932.322
AT ITER 6834 NEW BEST:: SOT 1459045 SOS 1217237 HAS SOPS 1157248 HAS SOUS 206389 HAS SOUPS 205602 WITH SCORE 206819.237
AT ITER 6862 NEW BEST:: SOT 1459045 SOS 1218268 HAS SOPS 1178244 HAS SOUS 206295 HAS SOUPS 205508 WITH SCORE 206726.268
AT ITER 6924 NEW BEST:: SOT 1459027 SOS 1218218 HAS SOPS 1178194 HAS SOUS 206266 HAS SOUPS 205479 WITH SCORE 206697.218
AT ITER 6941 NEW BEST:: SOT 1459012 SOS 1218203 HAS SOPS 1178179 HAS SOUS 206168 HAS SOUPS 205381 WITH SCORE 206599.203
AT ITER 6946 NEW BEST:: SOT 1458985 SOS 1218176 HAS SOPS 1178152 HAS SOUS 206141 HAS SOUPS 205354 WITH SCORE 206572.176
AT ITER 6973 NEW BEST:: SOT 1459082 SOS 1218266 HAS SOPS 1178249 HAS SOUS 206038 HAS SOUPS 205258 WITH SCORE 206476.266
AT ITER 6985 NEW BEST:: SOT 1459137 SOS 1218321 HAS SOPS 1178304 HAS SOUS 206005 HAS SOUPS 205225 WITH SCORE 206443.321
AT ITER 7008 NEW BEST:: SOT 1459119 SOS 1218303 HAS SOPS 1178286 HAS SOUS 205987 HAS SOUPS 205207 WITH SCORE 206425.303
AT ITER 7038 NEW BEST:: SOT 1458301 SOS 1219407 HAS SOPS 1179390 HAS SOUS 205368 HAS SOUPS 204588 WITH SCORE 205807.407
AT ITER 7063 NEW BEST:: SOT 1458301 SOS 1219407 HAS SOPS 1179390 HAS SOUS 205350 HAS SOUPS 204570 WITH SCORE 205789.407
AT ITER 7148 NEW BEST:: SOT 1458264 SOS 1219370 HAS SOPS 1179353 HAS SOUS 205300 HAS SOUPS 204520 WITH SCORE 205739.37
AT ITER 7155 NEW BEST:: SOT 1458401 SOS 1219507 HAS SOPS 1179490 HAS SOUS 205236 HAS SOUPS 204456 WITH SCORE 205675.507
AT ITER 7163 NEW BEST:: SOT 1458349 SOS 1219455 HAS SOPS 1179438 HAS SOUS 205184 HAS SOUPS 204404 WITH SCORE 205623.455
AT ITER 7177 NEW BEST:: SOT 1458349 SOS 1219317 HAS SOPS 1179300 HAS SOUS 205184 HAS SOUPS 204404 WITH SCORE 205623.317
AT ITER 7186 NEW BEST:: SOT 1458341 SOS 1219309 HAS SOPS 1179292 HAS SOUS 205172 HAS SOUPS 204392 WITH SCORE 205611.309
AT ITER 7193 NEW BEST:: SOT 1458557 SOS 1219525 HAS SOPS 1179508 HAS SOUS 205042 HAS SOUPS 204262 WITH SCORE 205481.525
AT ITER 7200 NEW BEST:: SOT 1458545 SOS 1219513 HAS SOPS 1179496 HAS SOUS 205030 HAS SOUPS 204250 WITH SCORE 205469.513
AT ITER 7215 NEW BEST:: SOT 1458485 SOS 1219455 HAS SOPS 1179436 HAS SOUS 204543 HAS SOUPS 203761 WITH SCORE 204980.455
AT ITER 7252 NEW BEST:: SOT 1458485 SOS 1219451 HAS SOPS 1179432 HAS SOUS 204543 HAS SOUPS 203761 WITH SCORE 204980.451
AT ITER 7267 NEW BEST:: SOT 1458461 SOS 1219427 HAS SOPS 1179408 HAS SOUS 204483 HAS SOUPS 203701 WITH SCORE 204920.427
AT ITER 7332 NEW BEST:: SOT 1458449 SOS 1219415 HAS SOPS 1179396 HAS SOUS 204469 HAS SOUPS 203687 WITH SCORE 204906.415
AT ITER 7352 NEW BEST:: SOT 1458449 SOS 1219339 HAS SOPS 1179320 HAS SOUS 204431 HAS SOUPS 203649 WITH SCORE 204868.339
AT ITER 7381 NEW BEST:: SOT 1458449 SOS 1219339 HAS SOPS 1179320 HAS SOUS 204403 HAS SOUPS 203621 WITH SCORE 204840.339
AT ITER 7404 NEW BEST:: SOT 1459122 SOS 1220097 HAS SOPS 1180073 HAS SOUS 204209 HAS SOUPS 203422 WITH SCORE 204642.097
AT ITER 7412 NEW BEST:: SOT 1458989 SOS 1219964 HAS SOPS 1179940 HAS SOUS 204011 HAS SOUPS 203224 WITH SCORE 204443.964
AT ITER 7415 NEW BEST:: SOT 1458989 SOS 1219964 HAS SOPS 1179940 HAS SOUS 204002 HAS SOUPS 203215 WITH SCORE 204434.964
AT ITER 7423 NEW BEST:: SOT 1458987 SOS 1219959 HAS SOPS 1179935 HAS SOUS 203997 HAS SOUPS 203210 WITH SCORE 204429.959
AT ITER 7426 NEW BEST:: SOT 1458809 SOS 1219787 HAS SOPS 1179773 HAS SOUS 203798 HAS SOUPS 203021 WITH SCORE 204240.787
AT ITER 7467 NEW BEST:: SOT 1459019 SOS 1220509 HAS SOPS 1180495 HAS SOUS 203723 HAS SOUPS 202946 WITH SCORE 204166.509
AT ITER 7468 NEW BEST:: SOT 1459084 SOS 1220569 HAS SOPS 1180560 HAS SOUS 203713 HAS SOUPS 202941 WITH SCORE 204161.569
AT ITER 7480 NEW BEST:: SOT 1459075 SOS 1220560 HAS SOPS 1180551 HAS SOUS 203704 HAS SOUPS 202932 WITH SCORE 204152.56
AT ITER 7489 NEW BEST:: SOT 1459245 SOS 1220730 HAS SOPS 1180707 HAS SOUS 203400 HAS SOUPS 202614 WITH SCORE 203834.73
AT ITER 7612 NEW BEST:: SOT 1459245 SOS 1220730 HAS SOPS 1180707 HAS SOUS 203388 HAS SOUPS 202602 WITH SCORE 203822.73
AT ITER 7634 NEW BEST:: SOT 1445092 SOS 1206529 HAS SOPS 1189951 HAS SOUS 189305 HAS SOUPS 188631 WITH SCORE 189837.529
AT ITER 7653 NEW BEST:: SOT 1444366 SOS 1205803 HAS SOPS 1189225 HAS SOUS 189141 HAS SOUPS 188467 WITH SCORE 189672.803
AT ITER 7654 NEW BEST:: SOT 1444366 SOS 1206439 HAS SOPS 1189861 HAS SOUS 189088 HAS SOUPS 188414 WITH SCORE 189620.439
AT ITER 7674 NEW BEST:: SOT 1444486 SOS 1206559 HAS SOPS 1189981 HAS SOUS 189078 HAS SOUPS 188404 WITH SCORE 189610.559
AT ITER 7679 NEW BEST:: SOT 1444164 SOS 1206237 HAS SOPS 1189659 HAS SOUS 188738 HAS SOUPS 188064 WITH SCORE 189270.237
AT ITER 7683 NEW BEST:: SOT 1442931 SOS 1204686 HAS SOPS 1188096 HAS SOUS 187221 HAS SOUPS 186535 WITH SCORE 187739.686
AT ITER 7686 NEW BEST:: SOT 1442546 SOS 1204301 HAS SOPS 1187711 HAS SOUS 186758 HAS SOUPS 186072 WITH SCORE 187276.301
AT ITER 7699 NEW BEST:: SOT 1442494 SOS 1204249 HAS SOPS 1187659 HAS SOUS 186684 HAS SOUPS 185998 WITH SCORE 187202.249
AT ITER 7716 NEW BEST:: SOT 1442284 SOS 1204178 HAS SOPS 1164143 HAS SOUS 186692 HAS SOUPS 185894 WITH SCORE 187098.178
AT ITER 7723 NEW BEST:: SOT 1442284 SOS 1204274 HAS SOPS 1164239 HAS SOUS 186684 HAS SOUPS 185886 WITH SCORE 187090.274
AT ITER 7746 NEW BEST:: SOT 1442374 SOS 1204364 HAS SOPS 1164329 HAS SOUS 186387 HAS SOUPS 185589 WITH SCORE 186793.364
AT ITER 7747 NEW BEST:: SOT 1442306 SOS 1204296 HAS SOPS 1164261 HAS SOUS 186387 HAS SOUPS 185589 WITH SCORE 186793.296
AT ITER 7765 NEW BEST:: SOT 1442306 SOS 1204176 HAS SOPS 1164141 HAS SOUS 186387 HAS SOUPS 185589 WITH SCORE 186793.176
AT ITER 7795 NEW BEST:: SOT 1442306 SOS 1204176 HAS SOPS 1164141 HAS SOUS 186383 HAS SOUPS 185585 WITH SCORE 186789.176
AT ITER 7821 NEW BEST:: SOT 1442274 SOS 1204144 HAS SOPS 1164109 HAS SOUS 186375 HAS SOUPS 185577 WITH SCORE 186781.144
AT ITER 7834 NEW BEST:: SOT 1442307 SOS 1204177 HAS SOPS 1164142 HAS SOUS 186135 HAS SOUPS 185337 WITH SCORE 186541.177
AT ITER 7838 NEW BEST:: SOT 1442333 SOS 1204203 HAS SOPS 1164168 HAS SOUS 186065 HAS SOUPS 185267 WITH SCORE 186471.203
AT ITER 7869 NEW BEST:: SOT 1442333 SOS 1204203 HAS SOPS 1164168 HAS SOUS 186045 HAS SOUPS 185247 WITH SCORE 186451.203
AT ITER 7879 NEW BEST:: SOT 1442331 SOS 1204201 HAS SOPS 1164166 HAS SOUS 186042 HAS SOUPS 185244 WITH SCORE 186448.201
AT ITER 7896 NEW BEST:: SOT 1442315 SOS 1204185 HAS SOPS 1164150 HAS SOUS 186021 HAS SOUPS 185223 WITH SCORE 186427.185
AT ITER 7922 NEW BEST:: SOT 1442267 SOS 1204137 HAS SOPS 1164102 HAS SOUS 185976 HAS SOUPS 185178 WITH SCORE 186382.137
AT ITER 7946 NEW BEST:: SOT 1442251 SOS 1204121 HAS SOPS 1164086 HAS SOUS 185968 HAS SOUPS 185170 WITH SCORE 186374.121
AT ITER 8011 NEW BEST:: SOT 1442276 SOS 1204170 HAS SOPS 1164159 HAS SOUS 185789 HAS SOUPS 185015 WITH SCORE 186219.17
AT ITER 8020 NEW BEST:: SOT 1442276 SOS 1204170 HAS SOPS 1164155 HAS SOUS 185789 HAS SOUPS 185011 WITH SCORE 186215.17
AT ITER 8026 NEW BEST:: SOT 1442258 SOS 1204295 HAS SOPS 1164280 HAS SOUS 185771 HAS SOUPS 184993 WITH SCORE 186197.295
AT ITER 8027 NEW BEST:: SOT 1442218 SOS 1204218 HAS SOPS 1164112 HAS SOUS 185761 HAS SOUPS 184892 WITH SCORE 186096.218
AT ITER 8074 NEW BEST:: SOT 1442155 SOS 1204155 HAS SOPS 1164049 HAS SOUS 185691 HAS SOUPS 184822 WITH SCORE 186026.155
AT ITER 8082 NEW BEST:: SOT 1442134 SOS 1204134 HAS SOPS 1164028 HAS SOUS 185663 HAS SOUPS 184794 WITH SCORE 185998.134
AT ITER 8114 NEW BEST:: SOT 1442134 SOS 1204096 HAS SOPS 1163990 HAS SOUS 185663 HAS SOUPS 184794 WITH SCORE 185998.096
AT ITER 8142 NEW BEST:: SOT 1442131 SOS 1204093 HAS SOPS 1163987 HAS SOUS 185660 HAS SOUPS 184791 WITH SCORE 185995.093
AT ITER 8178 NEW BEST:: SOT 1442131 SOS 1204093 HAS SOPS 1163987 HAS SOUS 185572 HAS SOUPS 184703 WITH SCORE 185907.093
AT ITER 8205 NEW BEST:: SOT 1441977 SOS 1203928 HAS SOPS 1163833 HAS SOUS 185404 HAS SOUPS 184546 WITH SCORE 185749.928
AT ITER 8214 NEW BEST:: SOT 1440635 SOS 1202556 HAS SOPS 1162491 HAS SOUS 183883 HAS SOUPS 183055 WITH SCORE 184257.556
AT ITER 8215 NEW BEST:: SOT 1440288 SOS 1202209 HAS SOPS 1162144 HAS SOUS 183554 HAS SOUPS 182726 WITH SCORE 183928.209
AT ITER 8233 NEW BEST:: SOT 1440279 SOS 1202200 HAS SOPS 1162135 HAS SOUS 183545 HAS SOUPS 182717 WITH SCORE 183919.2
AT ITER 8241 NEW BEST:: SOT 1440279 SOS 1202200 HAS SOPS 1162135 HAS SOUS 183452 HAS SOUPS 182624 WITH SCORE 183826.2
AT ITER 8249 NEW BEST:: SOT 1440179 SOS 1202100 HAS SOPS 1162035 HAS SOUS 183327 HAS SOUPS 182499 WITH SCORE 183701.1
AT ITER 8284 NEW BEST:: SOT 1440169 SOS 1202088 HAS SOPS 1162025 HAS SOUS 183313 HAS SOUPS 182487 WITH SCORE 183689.088
AT ITER 8308 NEW BEST:: SOT 1440145 SOS 1202064 HAS SOPS 1162001 HAS SOUS 183285 HAS SOUPS 182459 WITH SCORE 183661.064
AT ITER 8312 NEW BEST:: SOT 1440138 SOS 1202057 HAS SOPS 1161994 HAS SOUS 183278 HAS SOUPS 182452 WITH SCORE 183654.057
AT ITER 8325 NEW BEST:: SOT 1440279 SOS 1202198 HAS SOPS 1162135 HAS SOUS 182778 HAS SOUPS 181952 WITH SCORE 183154.198
AT ITER 8363 NEW BEST:: SOT 1439839 SOS 1201758 HAS SOPS 1161695 HAS SOUS 182387 HAS SOUPS 181561 WITH SCORE 182762.758
AT ITER 8384 NEW BEST:: SOT 1439854 SOS 1201773 HAS SOPS 1161710 HAS SOUS 182379 HAS SOUPS 181553 WITH SCORE 182754.773
AT ITER 8401 NEW BEST:: SOT 1439842 SOS 1201761 HAS SOPS 1161698 HAS SOUS 182247 HAS SOUPS 181421 WITH SCORE 182622.761
AT ITER 8405 NEW BEST:: SOT 1439822 SOS 1201739 HAS SOPS 1161678 HAS SOUS 182195 HAS SOUPS 181371 WITH SCORE 182572.739
AT ITER 8443 NEW BEST:: SOT 1439713 SOS 1201630 HAS SOPS 1161569 HAS SOUS 181951 HAS SOUPS 181127 WITH SCORE 182328.63
AT ITER 8479 NEW BEST:: SOT 1439655 SOS 1201572 HAS SOPS 1161511 HAS SOUS 181876 HAS SOUPS 181052 WITH SCORE 182253.572
AT ITER 8504 NEW BEST:: SOT 1439646 SOS 1201563 HAS SOPS 1161502 HAS SOUS 181837 HAS SOUPS 181013 WITH SCORE 182214.563
AT ITER 8544 NEW BEST:: SOT 1439646 SOS 1201521 HAS SOPS 1161460 HAS SOUS 181837 HAS SOUPS 181013 WITH SCORE 182214.521
AT ITER 8549 NEW BEST:: SOT 1439646 SOS 1202073 HAS SOPS 1162012 HAS SOUS 181828 HAS SOUPS 181004 WITH SCORE 182206.073
AT ITER 8559 NEW BEST:: SOT 1439634 SOS 1202061 HAS SOPS 1162000 HAS SOUS 181816 HAS SOUPS 180992 WITH SCORE 182194.061
AT ITER 8563 NEW BEST:: SOT 1439634 SOS 1202061 HAS SOPS 1162000 HAS SOUS 181810 HAS SOUPS 180986 WITH SCORE 182188.061
AT ITER 8570 NEW BEST:: SOT 1439614 SOS 1202041 HAS SOPS 1161980 HAS SOUS 181798 HAS SOUPS 180974 WITH SCORE 182176.041
AT ITER 8579 NEW BEST:: SOT 1439614 SOS 1201997 HAS SOPS 1161936 HAS SOUS 181798 HAS SOUPS 180974 WITH SCORE 182175.997
AT ITER 8581 NEW BEST:: SOT 1439544 SOS 1201927 HAS SOPS 1161866 HAS SOUS 181711 HAS SOUPS 180887 WITH SCORE 182088.927
AT ITER 8663 NEW BEST:: SOT 1439544 SOS 1201885 HAS SOPS 1161824 HAS SOUS 181711 HAS SOUPS 180887 WITH SCORE 182088.885
AT ITER 8698 NEW BEST:: SOT 1439489 SOS 1201830 HAS SOPS 1161769 HAS SOUS 181646 HAS SOUPS 180822 WITH SCORE 182023.83
AT ITER 8707 NEW BEST:: SOT 1438338 SOS 1200679 HAS SOPS 1160618 HAS SOUS 180485 HAS SOUPS 179661 WITH SCORE 180861.679
AT ITER 8716 NEW BEST:: SOT 1438392 SOS 1200733 HAS SOPS 1160672 HAS SOUS 180437 HAS SOUPS 179613 WITH SCORE 180813.733
AT ITER 8749 NEW BEST:: SOT 1438366 SOS 1200707 HAS SOPS 1160646 HAS SOUS 180404 HAS SOUPS 179580 WITH SCORE 180780.707
AT ITER 8750 NEW BEST:: SOT 1438334 SOS 1200675 HAS SOPS 1160614 HAS SOUS 180372 HAS SOUPS 179548 WITH SCORE 180748.675
AT ITER 8771 NEW BEST:: SOT 1438334 SOS 1201947 HAS SOPS 1161886 HAS SOUS 180326 HAS SOUPS 179502 WITH SCORE 180703.947
AT ITER 8782 NEW BEST:: SOT 1438334 SOS 1202149 HAS SOPS 1162088 HAS SOUS 180316 HAS SOUPS 179492 WITH SCORE 180694.149
AT ITER 8790 NEW BEST:: SOT 1437974 SOS 1201789 HAS SOPS 1161728 HAS SOUS 179951 HAS SOUPS 179127 WITH SCORE 180328.789
AT ITER 8808 NEW BEST:: SOT 1437963 SOS 1201767 HAS SOPS 1161717 HAS SOUS 179925 HAS SOUPS 179112 WITH SCORE 180313.767
AT ITER 8810 NEW BEST:: SOT 1437958 SOS 1201762 HAS SOPS 1161712 HAS SOUS 179899 HAS SOUPS 179086 WITH SCORE 180287.762
AT ITER 8845 NEW BEST:: SOT 1437958 SOS 1201586 HAS SOPS 1161536 HAS SOUS 179899 HAS SOUPS 179086 WITH SCORE 180287.586
AT ITER 8853 NEW BEST:: SOT 1437892 SOS 1201520 HAS SOPS 1161470 HAS SOUS 179867 HAS SOUPS 179054 WITH SCORE 180255.52
AT ITER 8879 NEW BEST:: SOT 1437892 SOS 1202252 HAS SOPS 1162202 HAS SOUS 179806 HAS SOUPS 178993 WITH SCORE 180195.252
AT ITER 8911 NEW BEST:: SOT 1437870 SOS 1202230 HAS SOPS 1162180 HAS SOUS 179771 HAS SOUPS 178958 WITH SCORE 180160.23
AT ITER 8965 NEW BEST:: SOT 1437480 SOS 1201840 HAS SOPS 1161790 HAS SOUS 179623 HAS SOUPS 178810 WITH SCORE 180011.84
AT ITER 8978 NEW BEST:: SOT 1437441 SOS 1201801 HAS SOPS 1161751 HAS SOUS 179584 HAS SOUPS 178771 WITH SCORE 179972.801
AT ITER 9028 NEW BEST:: SOT 1437359 SOS 1202137 HAS SOPS 1162087 HAS SOUS 179494 HAS SOUPS 178681 WITH SCORE 179883.137
AT ITER 9035 NEW BEST:: SOT 1437359 SOS 1194520 HAS SOPS 1154470 HAS SOUS 179494 HAS SOUPS 178681 WITH SCORE 179875.52
AT ITER 9061 NEW BEST:: SOT 1437345 SOS 1194506 HAS SOPS 1154456 HAS SOUS 179477 HAS SOUPS 178664 WITH SCORE 179858.506
AT ITER 9080 NEW BEST:: SOT 1437281 SOS 1194450 HAS SOPS 1154400 HAS SOUS 179417 HAS SOUPS 178604 WITH SCORE 179798.45
AT ITER 9129 NEW BEST:: SOT 1437039 SOS 1194668 HAS SOPS 1154618 HAS SOUS 179207 HAS SOUPS 178394 WITH SCORE 179588.668
AT ITER 9132 NEW BEST:: SOT 1436878 SOS 1194337 HAS SOPS 1154287 HAS SOUS 178961 HAS SOUPS 178148 WITH SCORE 179342.337
AT ITER 9143 NEW BEST:: SOT 1436878 SOS 1194337 HAS SOPS 1154287 HAS SOUS 178957 HAS SOUPS 178144 WITH SCORE 179338.337
AT ITER 9153 NEW BEST:: SOT 1436878 SOS 1194433 HAS SOPS 1154383 HAS SOUS 178941 HAS SOUPS 178128 WITH SCORE 179322.433
AT ITER 9169 NEW BEST:: SOT 1436826 SOS 1194381 HAS SOPS 1154331 HAS SOUS 178893 HAS SOUPS 178080 WITH SCORE 179274.381
AT ITER 9193 NEW BEST:: SOT 1436777 SOS 1194354 HAS SOPS 1154304 HAS SOUS 178855 HAS SOUPS 178042 WITH SCORE 179236.354
AT ITER 9217 NEW BEST:: SOT 1436777 SOS 1194354 HAS SOPS 1154304 HAS SOUS 178834 HAS SOUPS 178021 WITH SCORE 179215.354
AT ITER 9231 NEW BEST:: SOT 1436909 SOS 1194486 HAS SOPS 1154436 HAS SOUS 178816 HAS SOUPS 178003 WITH SCORE 179197.486
AT ITER 9232 NEW BEST:: SOT 1436909 SOS 1194462 HAS SOPS 1154412 HAS SOUS 178816 HAS SOUPS 178003 WITH SCORE 179197.462
AT ITER 9287 NEW BEST:: SOT 1436957 SOS 1194510 HAS SOPS 1154460 HAS SOUS 178761 HAS SOUPS 177948 WITH SCORE 179142.51
AT ITER 9288 NEW BEST:: SOT 1437154 SOS 1194707 HAS SOPS 1154657 HAS SOUS 178633 HAS SOUPS 177820 WITH SCORE 179014.707
AT ITER 9294 NEW BEST:: SOT 1437154 SOS 1194681 HAS SOPS 1154631 HAS SOUS 178633 HAS SOUPS 177820 WITH SCORE 179014.681
AT ITER 9310 NEW BEST:: SOT 1437214 SOS 1194754 HAS SOPS 1154717 HAS SOUS 178530 HAS SOUPS 177730 WITH SCORE 178924.754
AT ITER 9317 NEW BEST:: SOT 1437214 SOS 1194754 HAS SOPS 1154717 HAS SOUS 178496 HAS SOUPS 177696 WITH SCORE 178890.754
AT ITER 9320 NEW BEST:: SOT 1437214 SOS 1194754 HAS SOPS 1154717 HAS SOUS 178476 HAS SOUPS 177676 WITH SCORE 178870.754
AT ITER 9343 NEW BEST:: SOT 1437094 SOS 1194608 HAS SOPS 1154571 HAS SOUS 178343 HAS SOUPS 177543 WITH SCORE 178737.608
AT ITER 9362 NEW BEST:: SOT 1437094 SOS 1195892 HAS SOPS 1155855 HAS SOUS 178260 HAS SOUPS 177460 WITH SCORE 178655.892
AT ITER 9364 NEW BEST:: SOT 1437094 SOS 1195892 HAS SOPS 1155855 HAS SOUS 178169 HAS SOUPS 177369 WITH SCORE 178564.892
AT ITER 9504 NEW BEST:: SOT 1437094 SOS 1195888 HAS SOPS 1155851 HAS SOUS 178169 HAS SOUPS 177369 WITH SCORE 178564.888
AT ITER 9507 NEW BEST:: SOT 1436634 SOS 1195427 HAS SOPS 1155391 HAS SOUS 177644 HAS SOUPS 176845 WITH SCORE 178040.427
AT ITER 9529 NEW BEST:: SOT 1436633 SOS 1195426 HAS SOPS 1155390 HAS SOUS 177639 HAS SOUPS 176840 WITH SCORE 178035.426
AT ITER 9546 NEW BEST:: SOT 1436387 SOS 1195180 HAS SOPS 1155144 HAS SOUS 177345 HAS SOUPS 176546 WITH SCORE 177741.18
AT ITER 9560 NEW BEST:: SOT 1436383 SOS 1195176 HAS SOPS 1155140 HAS SOUS 177345 HAS SOUPS 176546 WITH SCORE 177741.176
AT ITER 9561 NEW BEST:: SOT 1436085 SOS 1194878 HAS SOPS 1154842 HAS SOUS 177072 HAS SOUPS 176273 WITH SCORE 177467.878
AT ITER 9584 NEW BEST:: SOT 1436085 SOS 1195698 HAS SOPS 1155662 HAS SOUS 177057 HAS SOUPS 176258 WITH SCORE 177453.698
AT ITER 9610 NEW BEST:: SOT 1436085 SOS 1195686 HAS SOPS 1155650 HAS SOUS 177057 HAS SOUPS 176258 WITH SCORE 177453.686
AT ITER 9660 NEW BEST:: SOT 1436085 SOS 1195626 HAS SOPS 1155590 HAS SOUS 177057 HAS SOUPS 176258 WITH SCORE 177453.626
AT ITER 9665 NEW BEST:: SOT 1436150 SOS 1195686 HAS SOPS 1155655 HAS SOUS 177042 HAS SOUPS 176248 WITH SCORE 177443.686
AT ITER 9678 NEW BEST:: SOT 1436150 SOS 1195686 HAS SOPS 1155655 HAS SOUS 177033 HAS SOUPS 176239 WITH SCORE 177434.686
AT ITER 9686 NEW BEST:: SOT 1436150 SOS 1195678 HAS SOPS 1155647 HAS SOUS 177033 HAS SOUPS 176239 WITH SCORE 177434.678
AT ITER 9702 NEW BEST:: SOT 1436150 SOS 1195666 HAS SOPS 1155635 HAS SOUS 177033 HAS SOUPS 176239 WITH SCORE 177434.666
AT ITER 9706 NEW BEST:: SOT 1436048 SOS 1195530 HAS SOPS 1155499 HAS SOUS 176914 HAS SOUPS 176120 WITH SCORE 177315.53
AT ITER 9711 NEW BEST:: SOT 1436038 SOS 1195513 HAS SOPS 1155482 HAS SOUS 176904 HAS SOUPS 176110 WITH SCORE 177305.513
AT ITER 9734 NEW BEST:: SOT 1436038 SOS 1195513 HAS SOPS 1155482 HAS SOUS 176900 HAS SOUPS 176106 WITH SCORE 177301.513
AT ITER 9749 NEW BEST:: SOT 1436038 SOS 1195513 HAS SOPS 1155482 HAS SOUS 176888 HAS SOUPS 176094 WITH SCORE 177289.513
AT ITER 9751 NEW BEST:: SOT 1436018 SOS 1195493 HAS SOPS 1155462 HAS SOUS 176857 HAS SOUPS 176063 WITH SCORE 177258.493
AT ITER 9757 NEW BEST:: SOT 1435993 SOS 1195468 HAS SOPS 1155437 HAS SOUS 176818 HAS SOUPS 176024 WITH SCORE 177219.468
AT ITER 9761 NEW BEST:: SOT 1435993 SOS 1195438 HAS SOPS 1155407 HAS SOUS 176818 HAS SOUPS 176024 WITH SCORE 177219.438
AT ITER 9777 NEW BEST:: SOT 1436123 SOS 1185833 HAS SOPS 1145527 HAS SOUS 176999 HAS SOUPS 175930 WITH SCORE 177115.833
AT ITER 9865 NEW BEST:: SOT 1436123 SOS 1185833 HAS SOPS 1145527 HAS SOUS 176995 HAS SOUPS 175926 WITH SCORE 177111.833
AT ITER 9867 NEW BEST:: SOT 1436113 SOS 1185823 HAS SOPS 1145517 HAS SOUS 176995 HAS SOUPS 175926 WITH SCORE 177111.823
AT ITER 9868 NEW BEST:: SOT 1436113 SOS 1185823 HAS SOPS 1145517 HAS SOUS 176986 HAS SOUPS 175917 WITH SCORE 177102.823
AT ITER 9903 NEW BEST:: SOT 1436109 SOS 1185819 HAS SOPS 1145513 HAS SOUS 176958 HAS SOUPS 175889 WITH SCORE 177074.819
AT ITER 9967 NEW BEST:: SOT 1436036 SOS 1185746 HAS SOPS 1145440 HAS SOUS 176891 HAS SOUPS 175822 WITH SCORE 177007.746
AT ITER 9981 NEW BEST:: SOT 1436036 SOS 1185746 HAS SOPS 1145440 HAS SOUS 176886 HAS SOUPS 175817 WITH SCORE 177002.746
AT ITER 9994 NEW BEST:: SOT 1436036 SOS 1185746 HAS SOPS 1145440 HAS SOUS 176884 HAS SOUPS 175815 WITH SCORE 177000.746
AT ITER 9999 NEW BEST:: SOT 1435955 SOS 1185674 HAS SOPS 1145377 HAS SOUS 176794 HAS SOUPS 175734 WITH SCORE 176919.674
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7024388 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16133464 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="SafeBus-PT-15"
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 SafeBus-PT-15, 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 r355-smll-167891803200288"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-PT-15.tgz
mv SafeBus-PT-15 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 '
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 ;