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-167891803100232.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-COL-15, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803100232
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 500K
-rw-r--r-- 1 mcc users 5.9K Feb 26 02:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 26 02:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 26 02:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 02:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 02:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 168K Feb 26 02:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.9K Feb 26 02:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 02:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_pt
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 42K 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 1679877749258

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-COL-15
Not applying reductions.
Model is COL
StateSpace PT
[2023-03-27 00:42:33] [INFO ] Running its-tools with arguments : [-pnfolder, ., -examination, StateSpace, --reduce-single, STATESPACE]
[2023-03-27 00:42:33] [INFO ] Parsing pnml file : /home/mcc/execution/./model.pnml
[2023-03-27 00:42:33] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-27 00:42:34] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-27 00:42:34] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 1072 ms
[2023-03-27 00:42:34] [INFO ] Detected 1 constant HL places corresponding to 15 PT places.
[2023-03-27 00:42:34] [INFO ] Imported 20 HL places and 14 HL transitions for a total of 636 PT places and 59206.0 transition bindings in 55 ms.
[2023-03-27 00:42:35] [INFO ] Unfolded HLPN to a Petri net with 636 places and 4801 transitions 34264 arcs in 323 ms.
[2023-03-27 00:42:35] [INFO ] Unfolded 0 HLPN properties in 0 ms.
Reduce places removed 15 places and 30 transitions.
[2023-03-27 00:42:36] [INFO ] Export to PNML in file ./model.STATESPACE.pnml of net with 621 places, 4771 transitions and 34129 arcs took 192 ms.
Total runtime 3619 ms.
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (COL), 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, 34129 arcs.
AT ITER 0 NEW BEST:: SOT 1525973 SOS 1215277 HAS SOPS 1213344 HAS SOUS 312806 HAS SOUPS 312270 WITH SCORE 313485.277
AT ITER 6 NEW BEST:: SOT 1525861 SOS 1215166 HAS SOPS 1213234 HAS SOUS 312696 HAS SOUPS 312161 WITH SCORE 313376.166
AT ITER 14 NEW BEST:: SOT 1496923 SOS 1186494 HAS SOPS 1184828 HAS SOUS 284290 HAS SOUPS 284021 WITH SCORE 285207.494
AT ITER 56 NEW BEST:: SOT 1496754 SOS 1186325 HAS SOPS 1184659 HAS SOUS 284117 HAS SOUPS 283848 WITH SCORE 285034.325
AT ITER 113 NEW BEST:: SOT 1497675 SOS 1187230 HAS SOPS 1185580 HAS SOUS 284018 HAS SOUPS 283765 WITH SCORE 284952.23
AT ITER 180 NEW BEST:: SOT 1497507 SOS 1187038 HAS SOPS 1185376 HAS SOUS 283646 HAS SOUPS 283381 WITH SCORE 284568.038
AT ITER 186 NEW BEST:: SOT 1498635 SOS 1188108 HAS SOPS 1186416 HAS SOUS 282546 HAS SOUPS 282251 WITH SCORE 283439.108
AT ITER 206 NEW BEST:: SOT 1498558 SOS 1189693 HAS SOPS 1188001 HAS SOUS 282341 HAS SOUPS 282046 WITH SCORE 283235.693
AT ITER 215 NEW BEST:: SOT 1500491 SOS 1191572 HAS SOPS 1189852 HAS SOUS 281824 HAS SOUPS 281501 WITH SCORE 282692.572
AT ITER 223 NEW BEST:: SOT 1500485 SOS 1191566 HAS SOPS 1189846 HAS SOUS 281814 HAS SOUPS 281491 WITH SCORE 282682.566
AT ITER 232 NEW BEST:: SOT 1500474 SOS 1191555 HAS SOPS 1189835 HAS SOUS 281814 HAS SOUPS 281491 WITH SCORE 282682.555
AT ITER 237 NEW BEST:: SOT 1502579 SOS 1193612 HAS SOPS 1191867 HAS SOUS 281466 HAS SOUPS 281118 WITH SCORE 282311.612
AT ITER 242 NEW BEST:: SOT 1502334 SOS 1192935 HAS SOPS 1191190 HAS SOUS 281031 HAS SOUPS 280683 WITH SCORE 281875.935
AT ITER 262 NEW BEST:: SOT 1503359 SOS 1193886 HAS SOPS 1192114 HAS SOUS 280069 HAS SOUPS 279694 WITH SCORE 280887.886
AT ITER 274 NEW BEST:: SOT 1503113 SOS 1193974 HAS SOPS 1192202 HAS SOUS 279846 HAS SOUPS 279471 WITH SCORE 280664.974
AT ITER 293 NEW BEST:: SOT 1503106 SOS 1194841 HAS SOPS 1193069 HAS SOUS 279775 HAS SOUPS 279400 WITH SCORE 280594.841
AT ITER 300 NEW BEST:: SOT 1503078 SOS 1194825 HAS SOPS 1193053 HAS SOUS 279764 HAS SOUPS 279389 WITH SCORE 280583.825
AT ITER 311 NEW BEST:: SOT 1503414 SOS 1195117 HAS SOPS 1193328 HAS SOUS 278619 HAS SOUPS 278227 WITH SCORE 279422.117
AT ITER 312 NEW BEST:: SOT 1503340 SOS 1195043 HAS SOPS 1193254 HAS SOUS 278560 HAS SOUPS 278168 WITH SCORE 279363.043
AT ITER 317 NEW BEST:: SOT 1505226 SOS 1196852 HAS SOPS 1195034 HAS SOUS 278246 HAS SOUPS 277825 WITH SCORE 279021.852
AT ITER 345 NEW BEST:: SOT 1505471 SOS 1197053 HAS SOPS 1195212 HAS SOUS 277489 HAS SOUPS 277045 WITH SCORE 278242.053
AT ITER 368 NEW BEST:: SOT 1505489 SOS 1197059 HAS SOPS 1195218 HAS SOUS 277478 HAS SOUPS 277034 WITH SCORE 278231.059
AT ITER 388 NEW BEST:: SOT 1505439 SOS 1197009 HAS SOPS 1195168 HAS SOUS 277427 HAS SOUPS 276983 WITH SCORE 278180.009
AT ITER 390 NEW BEST:: SOT 1505410 SOS 1196980 HAS SOPS 1195139 HAS SOUS 277426 HAS SOUPS 276982 WITH SCORE 278178.98
AT ITER 395 NEW BEST:: SOT 1505288 SOS 1196858 HAS SOPS 1195017 HAS SOUS 277345 HAS SOUPS 276901 WITH SCORE 278097.858
AT ITER 418 NEW BEST:: SOT 1505008 SOS 1196578 HAS SOPS 1194737 HAS SOUS 277193 HAS SOUPS 276749 WITH SCORE 277945.578
AT ITER 425 NEW BEST:: SOT 1504912 SOS 1196482 HAS SOPS 1194641 HAS SOUS 277119 HAS SOUPS 276675 WITH SCORE 277871.482
AT ITER 436 NEW BEST:: SOT 1504820 SOS 1196390 HAS SOPS 1194549 HAS SOUS 277109 HAS SOUPS 276665 WITH SCORE 277861.39
AT ITER 455 NEW BEST:: SOT 1504773 SOS 1198587 HAS SOPS 1196746 HAS SOUS 276895 HAS SOUPS 276451 WITH SCORE 277649.587
AT ITER 469 NEW BEST:: SOT 1504773 SOS 1198587 HAS SOPS 1196746 HAS SOUS 276890 HAS SOUPS 276446 WITH SCORE 277644.587
AT ITER 475 NEW BEST:: SOT 1504667 SOS 1198481 HAS SOPS 1196640 HAS SOUS 276795 HAS SOUPS 276351 WITH SCORE 277549.481
AT ITER 504 NEW BEST:: SOT 1504595 SOS 1198409 HAS SOPS 1196568 HAS SOUS 276747 HAS SOUPS 276303 WITH SCORE 277501.409
AT ITER 509 NEW BEST:: SOT 1460084 SOS 1194292 HAS SOPS 1193861 HAS SOUS 232540 HAS SOUPS 232109 WITH SCORE 233303.292
AT ITER 516 NEW BEST:: SOT 1459864 SOS 1194072 HAS SOPS 1193641 HAS SOUS 232338 HAS SOUPS 231907 WITH SCORE 233101.072
AT ITER 528 NEW BEST:: SOT 1459548 SOS 1193756 HAS SOPS 1193325 HAS SOUS 231954 HAS SOUPS 231523 WITH SCORE 232716.756
AT ITER 530 NEW BEST:: SOT 1459516 SOS 1193754 HAS SOPS 1193323 HAS SOUS 231259 HAS SOUPS 230828 WITH SCORE 232021.754
AT ITER 541 NEW BEST:: SOT 1459269 SOS 1193507 HAS SOPS 1193076 HAS SOUS 231185 HAS SOUPS 230754 WITH SCORE 231947.507
AT ITER 546 NEW BEST:: SOT 1459269 SOS 1193507 HAS SOPS 1193076 HAS SOUS 231184 HAS SOUPS 230753 WITH SCORE 231946.507
AT ITER 557 NEW BEST:: SOT 1459219 SOS 1193457 HAS SOPS 1193026 HAS SOUS 231159 HAS SOUPS 230728 WITH SCORE 231921.457
AT ITER 583 NEW BEST:: SOT 1459426 SOS 1193664 HAS SOPS 1193233 HAS SOUS 230970 HAS SOUPS 230539 WITH SCORE 231732.664
AT ITER 592 NEW BEST:: SOT 1461049 SOS 1195198 HAS SOPS 1194767 HAS SOUS 230424 HAS SOUPS 229993 WITH SCORE 231188.198
AT ITER 610 NEW BEST:: SOT 1461049 SOS 1249149 HAS SOPS 1201243 HAS SOUS 230424 HAS SOUPS 229816 WITH SCORE 231065.149
AT ITER 613 NEW BEST:: SOT 1460974 SOS 1249035 HAS SOPS 1201168 HAS SOUS 229567 HAS SOUPS 228998 WITH SCORE 230247.035
AT ITER 619 NEW BEST:: SOT 1461104 SOS 1249165 HAS SOPS 1201298 HAS SOUS 229554 HAS SOUPS 228985 WITH SCORE 230234.165
AT ITER 627 NEW BEST:: SOT 1461084 SOS 1249145 HAS SOPS 1201278 HAS SOUS 229544 HAS SOUPS 228975 WITH SCORE 230224.145
AT ITER 637 NEW BEST:: SOT 1461439 SOS 1249500 HAS SOPS 1201633 HAS SOUS 229355 HAS SOUPS 228786 WITH SCORE 230035.5
AT ITER 657 NEW BEST:: SOT 1461357 SOS 1249418 HAS SOPS 1201551 HAS SOUS 229238 HAS SOUPS 228669 WITH SCORE 229918.418
AT ITER 659 NEW BEST:: SOT 1461309 SOS 1249370 HAS SOPS 1201503 HAS SOUS 229194 HAS SOUPS 228625 WITH SCORE 229874.37
AT ITER 685 NEW BEST:: SOT 1460889 SOS 1248950 HAS SOPS 1201083 HAS SOUS 228791 HAS SOUPS 228222 WITH SCORE 229470.95
AT ITER 700 NEW BEST:: SOT 1459015 SOS 1247076 HAS SOPS 1199209 HAS SOUS 227827 HAS SOUPS 227258 WITH SCORE 228505.076
AT ITER 704 NEW BEST:: SOT 1458340 SOS 1246401 HAS SOPS 1198534 HAS SOUS 227152 HAS SOUPS 226583 WITH SCORE 227829.401
AT ITER 713 NEW BEST:: SOT 1458258 SOS 1246319 HAS SOPS 1198452 HAS SOUS 227111 HAS SOUPS 226542 WITH SCORE 227788.319
AT ITER 715 NEW BEST:: SOT 1459607 SOS 1247632 HAS SOPS 1199746 HAS SOUS 226276 HAS SOUPS 225688 WITH SCORE 226935.632
AT ITER 720 NEW BEST:: SOT 1459445 SOS 1247470 HAS SOPS 1199584 HAS SOUS 226033 HAS SOUPS 225445 WITH SCORE 226692.47
AT ITER 723 NEW BEST:: SOT 1459540 SOS 1247565 HAS SOPS 1199679 HAS SOUS 225997 HAS SOUPS 225409 WITH SCORE 226656.565
AT ITER 730 NEW BEST:: SOT 1459368 SOS 1247393 HAS SOPS 1199507 HAS SOUS 225773 HAS SOUPS 225185 WITH SCORE 226432.393
AT ITER 735 NEW BEST:: SOT 1459368 SOS 1247393 HAS SOPS 1199507 HAS SOUS 225719 HAS SOUPS 225131 WITH SCORE 226378.393
AT ITER 739 NEW BEST:: SOT 1459364 SOS 1247389 HAS SOPS 1199503 HAS SOUS 225713 HAS SOUPS 225125 WITH SCORE 226372.389
AT ITER 769 NEW BEST:: SOT 1459364 SOS 1247182 HAS SOPS 1235971 HAS SOUS 225328 HAS SOUPS 224882 WITH SCORE 226129.182
AT ITER 788 NEW BEST:: SOT 1459384 SOS 1247202 HAS SOPS 1235991 HAS SOUS 225310 HAS SOUPS 224864 WITH SCORE 226111.202
AT ITER 819 NEW BEST:: SOT 1459017 SOS 1246785 HAS SOPS 1235548 HAS SOUS 224432 HAS SOUPS 223960 WITH SCORE 225206.785
AT ITER 821 NEW BEST:: SOT 1459062 SOS 1249746 HAS SOPS 1238509 HAS SOUS 224201 HAS SOUPS 223729 WITH SCORE 224978.746
AT ITER 835 NEW BEST:: SOT 1458916 SOS 1249600 HAS SOPS 1238363 HAS SOUS 224022 HAS SOUPS 223550 WITH SCORE 224799.6
AT ITER 837 NEW BEST:: SOT 1459832 SOS 1250457 HAS SOPS 1239198 HAS SOUS 223508 HAS SOUPS 223014 WITH SCORE 224264.457
AT ITER 840 NEW BEST:: SOT 1459891 SOS 1253286 HAS SOPS 1242027 HAS SOUS 223316 HAS SOUPS 222822 WITH SCORE 224075.286
AT ITER 843 NEW BEST:: SOT 1459855 SOS 1253250 HAS SOPS 1241991 HAS SOUS 223262 HAS SOUPS 222768 WITH SCORE 224021.25
AT ITER 844 NEW BEST:: SOT 1459822 SOS 1253217 HAS SOPS 1241958 HAS SOUS 223253 HAS SOUPS 222759 WITH SCORE 224012.217
AT ITER 866 NEW BEST:: SOT 1459638 SOS 1253033 HAS SOPS 1241774 HAS SOUS 222977 HAS SOUPS 222483 WITH SCORE 223736.033
AT ITER 874 NEW BEST:: SOT 1459642 SOS 1253037 HAS SOPS 1241778 HAS SOUS 222858 HAS SOUPS 222364 WITH SCORE 223617.037
AT ITER 880 NEW BEST:: SOT 1459636 SOS 1253031 HAS SOPS 1241772 HAS SOUS 222783 HAS SOUPS 222289 WITH SCORE 223542.031
AT ITER 883 NEW BEST:: SOT 1459630 SOS 1253025 HAS SOPS 1241766 HAS SOUS 222775 HAS SOUPS 222281 WITH SCORE 223534.025
AT ITER 904 NEW BEST:: SOT 1459594 SOS 1252989 HAS SOPS 1241730 HAS SOUS 222709 HAS SOUPS 222215 WITH SCORE 223467.989
AT ITER 905 NEW BEST:: SOT 1459552 SOS 1252947 HAS SOPS 1241688 HAS SOUS 222672 HAS SOUPS 222178 WITH SCORE 223430.947
AT ITER 915 NEW BEST:: SOT 1459376 SOS 1252771 HAS SOPS 1241512 HAS SOUS 222408 HAS SOUPS 221914 WITH SCORE 223166.771
AT ITER 926 NEW BEST:: SOT 1459376 SOS 1253551 HAS SOPS 1242292 HAS SOUS 222342 HAS SOUPS 221848 WITH SCORE 223101.551
AT ITER 930 NEW BEST:: SOT 1459229 SOS 1253372 HAS SOPS 1242145 HAS SOUS 219327 HAS SOUPS 218865 WITH SCORE 220118.372
AT ITER 941 NEW BEST:: SOT 1459208 SOS 1253351 HAS SOPS 1242124 HAS SOUS 219065 HAS SOUPS 218603 WITH SCORE 219856.351
AT ITER 964 NEW BEST:: SOT 1459000 SOS 1253143 HAS SOPS 1241916 HAS SOUS 218857 HAS SOUPS 218395 WITH SCORE 219648.143
AT ITER 966 NEW BEST:: SOT 1458936 SOS 1253079 HAS SOPS 1241852 HAS SOUS 218761 HAS SOUPS 218299 WITH SCORE 219552.079
AT ITER 978 NEW BEST:: SOT 1458941 SOS 1240213 HAS SOPS 1228853 HAS SOUS 218852 HAS SOUPS 218257 WITH SCORE 219497.213
AT ITER 999 NEW BEST:: SOT 1458446 SOS 1239718 HAS SOPS 1228358 HAS SOUS 218334 HAS SOUPS 217739 WITH SCORE 218978.718
AT ITER 1019 NEW BEST:: SOT 1458446 SOS 1239718 HAS SOPS 1228358 HAS SOUS 218293 HAS SOUPS 217698 WITH SCORE 218937.718
AT ITER 1026 NEW BEST:: SOT 1458124 SOS 1239373 HAS SOPS 1228013 HAS SOUS 217948 HAS SOUPS 217353 WITH SCORE 218592.373
AT ITER 1033 NEW BEST:: SOT 1454102 SOS 1235344 HAS SOPS 1223984 HAS SOUS 213890 HAS SOUPS 213295 WITH SCORE 214530.344
AT ITER 1044 NEW BEST:: SOT 1453907 SOS 1235149 HAS SOPS 1223789 HAS SOUS 213681 HAS SOUPS 213086 WITH SCORE 214321.149
AT ITER 1067 NEW BEST:: SOT 1453907 SOS 1235149 HAS SOPS 1223789 HAS SOUS 213679 HAS SOUPS 213084 WITH SCORE 214319.149
AT ITER 1077 NEW BEST:: SOT 1453907 SOS 1235149 HAS SOPS 1223789 HAS SOUS 213677 HAS SOUPS 213082 WITH SCORE 214317.149
AT ITER 1085 NEW BEST:: SOT 1453907 SOS 1238062 HAS SOPS 1185017 HAS SOUS 213609 HAS SOUPS 212822 WITH SCORE 214060.062
AT ITER 1101 NEW BEST:: SOT 1453950 SOS 1238045 HAS SOPS 1184981 HAS SOUS 212991 HAS SOUPS 212185 WITH SCORE 213423.045
AT ITER 1103 NEW BEST:: SOT 1454052 SOS 1238147 HAS SOPS 1185083 HAS SOUS 212889 HAS SOUPS 212083 WITH SCORE 213321.147
AT ITER 1148 NEW BEST:: SOT 1454052 SOS 1238147 HAS SOPS 1185083 HAS SOUS 212881 HAS SOUPS 212075 WITH SCORE 213313.147
AT ITER 1151 NEW BEST:: SOT 1454187 SOS 1238282 HAS SOPS 1185218 HAS SOUS 212833 HAS SOUPS 212027 WITH SCORE 213265.282
AT ITER 1157 NEW BEST:: SOT 1454187 SOS 1238282 HAS SOPS 1185218 HAS SOUS 212790 HAS SOUPS 211984 WITH SCORE 213222.282
AT ITER 1163 NEW BEST:: SOT 1454207 SOS 1238302 HAS SOPS 1185238 HAS SOUS 212788 HAS SOUPS 211982 WITH SCORE 213220.302
AT ITER 1165 NEW BEST:: SOT 1454207 SOS 1238290 HAS SOPS 1185226 HAS SOUS 212663 HAS SOUPS 211857 WITH SCORE 213095.29
AT ITER 1169 NEW BEST:: SOT 1454827 SOS 1238868 HAS SOPS 1185846 HAS SOUS 212439 HAS SOUPS 211675 WITH SCORE 212913.868
AT ITER 1176 NEW BEST:: SOT 1454791 SOS 1238832 HAS SOPS 1185810 HAS SOUS 212385 HAS SOUPS 211621 WITH SCORE 212859.832
AT ITER 1194 NEW BEST:: SOT 1454791 SOS 1237723 HAS SOPS 1185826 HAS SOUS 212385 HAS SOUPS 211622 WITH SCORE 212859.723
AT ITER 1200 NEW BEST:: SOT 1454751 SOS 1237683 HAS SOPS 1185786 HAS SOUS 212325 HAS SOUPS 211562 WITH SCORE 212799.683
AT ITER 1204 NEW BEST:: SOT 1454751 SOS 1237573 HAS SOPS 1185676 HAS SOUS 212325 HAS SOUPS 211562 WITH SCORE 212799.573
AT ITER 1208 NEW BEST:: SOT 1454736 SOS 1240038 HAS SOPS 1188141 HAS SOUS 212270 HAS SOUPS 211507 WITH SCORE 212747.038
AT ITER 1210 NEW BEST:: SOT 1454726 SOS 1240028 HAS SOPS 1188131 HAS SOUS 212255 HAS SOUPS 211492 WITH SCORE 212732.028
AT ITER 1220 NEW BEST:: SOT 1454726 SOS 1240028 HAS SOPS 1188131 HAS SOUS 212253 HAS SOUPS 211490 WITH SCORE 212730.028
AT ITER 1221 NEW BEST:: SOT 1454964 SOS 1240266 HAS SOPS 1188369 HAS SOUS 211996 HAS SOUPS 211233 WITH SCORE 212473.266
AT ITER 1236 NEW BEST:: SOT 1454872 SOS 1240174 HAS SOPS 1188277 HAS SOUS 211782 HAS SOUPS 211019 WITH SCORE 212259.174
AT ITER 1239 NEW BEST:: SOT 1454872 SOS 1240122 HAS SOPS 1188225 HAS SOUS 211770 HAS SOUPS 211007 WITH SCORE 212247.122
AT ITER 1253 NEW BEST:: SOT 1454840 SOS 1240090 HAS SOPS 1188193 HAS SOUS 211738 HAS SOUPS 210975 WITH SCORE 212215.09
AT ITER 1269 NEW BEST:: SOT 1454836 SOS 1240064 HAS SOPS 1188167 HAS SOUS 211733 HAS SOUPS 210970 WITH SCORE 212210.064
AT ITER 1275 NEW BEST:: SOT 1454743 SOS 1239956 HAS SOPS 1188074 HAS SOUS 211546 HAS SOUPS 210798 WITH SCORE 212037.956
AT ITER 1279 NEW BEST:: SOT 1454653 SOS 1239866 HAS SOPS 1187984 HAS SOUS 210617 HAS SOUPS 209869 WITH SCORE 211108.866
AT ITER 1298 NEW BEST:: SOT 1452537 SOS 1237750 HAS SOPS 1185868 HAS SOUS 209230 HAS SOUPS 208482 WITH SCORE 209719.75
AT ITER 1330 NEW BEST:: SOT 1452419 SOS 1237632 HAS SOPS 1185750 HAS SOUS 209053 HAS SOUPS 208305 WITH SCORE 209542.632
AT ITER 1342 NEW BEST:: SOT 1452345 SOS 1237558 HAS SOPS 1185676 HAS SOUS 208942 HAS SOUPS 208194 WITH SCORE 209431.558
AT ITER 1347 NEW BEST:: SOT 1452345 SOS 1237446 HAS SOPS 1185564 HAS SOUS 208942 HAS SOUPS 208194 WITH SCORE 209431.446
AT ITER 1389 NEW BEST:: SOT 1451627 SOS 1236720 HAS SOPS 1184846 HAS SOUS 208091 HAS SOUPS 207351 WITH SCORE 208587.72
AT ITER 1407 NEW BEST:: SOT 1451627 SOS 1236720 HAS SOPS 1184846 HAS SOUS 208041 HAS SOUPS 207301 WITH SCORE 208537.72
AT ITER 1410 NEW BEST:: SOT 1451525 SOS 1236584 HAS SOPS 1184744 HAS SOUS 207310 HAS SOUPS 206604 WITH SCORE 207840.584
AT ITER 1414 NEW BEST:: SOT 1451483 SOS 1236542 HAS SOPS 1184702 HAS SOUS 207250 HAS SOUPS 206544 WITH SCORE 207780.542
AT ITER 1417 NEW BEST:: SOT 1451485 SOS 1236520 HAS SOPS 1184680 HAS SOUS 207235 HAS SOUPS 206529 WITH SCORE 207765.52
AT ITER 1424 NEW BEST:: SOT 1451522 SOS 1236557 HAS SOPS 1184717 HAS SOUS 207232 HAS SOUPS 206526 WITH SCORE 207762.557
AT ITER 1429 NEW BEST:: SOT 1451416 SOS 1236451 HAS SOPS 1184611 HAS SOUS 207050 HAS SOUPS 206344 WITH SCORE 207580.451
AT ITER 1489 NEW BEST:: SOT 1450880 SOS 1235487 HAS SOPS 1183626 HAS SOUS 206653 HAS SOUPS 205926 WITH SCORE 207161.487
AT ITER 1500 NEW BEST:: SOT 1450880 SOS 1235487 HAS SOPS 1183626 HAS SOUS 206651 HAS SOUPS 205924 WITH SCORE 207159.487
AT ITER 1503 NEW BEST:: SOT 1449610 SOS 1234217 HAS SOPS 1182356 HAS SOUS 206483 HAS SOUPS 205756 WITH SCORE 206990.217
AT ITER 1507 NEW BEST:: SOT 1449640 SOS 1234247 HAS SOPS 1182386 HAS SOUS 206433 HAS SOUPS 205706 WITH SCORE 206940.247
AT ITER 1578 NEW BEST:: SOT 1449624 SOS 1234231 HAS SOPS 1182370 HAS SOUS 206419 HAS SOUPS 205692 WITH SCORE 206926.231
AT ITER 1587 NEW BEST:: SOT 1448784 SOS 1233391 HAS SOPS 1181530 HAS SOUS 205948 HAS SOUPS 205221 WITH SCORE 206454.391
AT ITER 1648 NEW BEST:: SOT 1449080 SOS 1233687 HAS SOPS 1181826 HAS SOUS 205864 HAS SOUPS 205137 WITH SCORE 206370.687
AT ITER 1672 NEW BEST:: SOT 1448940 SOS 1233547 HAS SOPS 1181686 HAS SOUS 205664 HAS SOUPS 204937 WITH SCORE 206170.547
AT ITER 1691 NEW BEST:: SOT 1449066 SOS 1233673 HAS SOPS 1181812 HAS SOUS 205388 HAS SOUPS 204661 WITH SCORE 205894.673
AT ITER 1708 NEW BEST:: SOT 1449022 SOS 1233629 HAS SOPS 1181768 HAS SOUS 205368 HAS SOUPS 204641 WITH SCORE 205874.629
AT ITER 1727 NEW BEST:: SOT 1449022 SOS 1233629 HAS SOPS 1181768 HAS SOUS 205365 HAS SOUPS 204638 WITH SCORE 205871.629
AT ITER 1739 NEW BEST:: SOT 1448992 SOS 1233599 HAS SOPS 1181738 HAS SOUS 205320 HAS SOUPS 204593 WITH SCORE 205826.599
AT ITER 1762 NEW BEST:: SOT 1448261 SOS 1232885 HAS SOPS 1181030 HAS SOUS 204485 HAS SOUPS 203764 WITH SCORE 204996.885
AT ITER 1783 NEW BEST:: SOT 1448261 SOS 1232885 HAS SOPS 1181015 HAS SOUS 204483 HAS SOUPS 203762 WITH SCORE 204994.885
AT ITER 1794 NEW BEST:: SOT 1448195 SOS 1232819 HAS SOPS 1180949 HAS SOUS 204384 HAS SOUPS 203663 WITH SCORE 204895.819
AT ITER 1797 NEW BEST:: SOT 1448193 SOS 1232817 HAS SOPS 1180947 HAS SOUS 204381 HAS SOUPS 203660 WITH SCORE 204892.817
AT ITER 1811 NEW BEST:: SOT 1448495 SOS 1233136 HAS SOPS 1181278 HAS SOUS 204145 HAS SOUPS 203436 WITH SCORE 204669.136
AT ITER 1817 NEW BEST:: SOT 1448495 SOS 1233134 HAS SOPS 1181276 HAS SOUS 204145 HAS SOUPS 203436 WITH SCORE 204669.134
AT ITER 1825 NEW BEST:: SOT 1448589 SOS 1235832 HAS SOPS 1183974 HAS SOUS 204095 HAS SOUPS 203386 WITH SCORE 204621.832
AT ITER 1827 NEW BEST:: SOT 1448587 SOS 1235830 HAS SOPS 1183972 HAS SOUS 204093 HAS SOUPS 203384 WITH SCORE 204619.83
AT ITER 1836 NEW BEST:: SOT 1448566 SOS 1235809 HAS SOPS 1183951 HAS SOUS 204058 HAS SOUPS 203349 WITH SCORE 204584.809
AT ITER 1854 NEW BEST:: SOT 1448984 SOS 1235833 HAS SOPS 1183486 HAS SOUS 204503 HAS SOUPS 203305 WITH SCORE 204540.833
AT ITER 1858 NEW BEST:: SOT 1448695 SOS 1236174 HAS SOPS 1183827 HAS SOUS 204281 HAS SOUPS 203083 WITH SCORE 204319.174
AT ITER 1864 NEW BEST:: SOT 1447358 SOS 1234837 HAS SOPS 1182490 HAS SOUS 204046 HAS SOUPS 202848 WITH SCORE 204082.837
AT ITER 1876 NEW BEST:: SOT 1447358 SOS 1235365 HAS SOPS 1183018 HAS SOUS 204002 HAS SOUPS 202804 WITH SCORE 204039.365
AT ITER 1889 NEW BEST:: SOT 1447185 SOS 1235169 HAS SOPS 1182825 HAS SOUS 203736 HAS SOUPS 202541 WITH SCORE 203776.169
AT ITER 1893 NEW BEST:: SOT 1447129 SOS 1235113 HAS SOPS 1182769 HAS SOUS 203689 HAS SOUPS 202494 WITH SCORE 203729.113
AT ITER 1898 NEW BEST:: SOT 1447095 SOS 1235079 HAS SOPS 1182735 HAS SOUS 203638 HAS SOUPS 202443 WITH SCORE 203678.079
AT ITER 1907 NEW BEST:: SOT 1447152 SOS 1235136 HAS SOPS 1182792 HAS SOUS 203618 HAS SOUPS 202423 WITH SCORE 203658.136
AT ITER 1908 NEW BEST:: SOT 1447136 SOS 1235120 HAS SOPS 1182776 HAS SOUS 203602 HAS SOUPS 202407 WITH SCORE 203642.12
AT ITER 1930 NEW BEST:: SOT 1447088 SOS 1235072 HAS SOPS 1182728 HAS SOUS 203530 HAS SOUPS 202335 WITH SCORE 203570.072
AT ITER 1936 NEW BEST:: SOT 1447088 SOS 1235072 HAS SOPS 1182728 HAS SOUS 203475 HAS SOUPS 202280 WITH SCORE 203515.072
AT ITER 1938 NEW BEST:: SOT 1447058 SOS 1235042 HAS SOPS 1182698 HAS SOUS 203430 HAS SOUPS 202235 WITH SCORE 203470.042
AT ITER 1940 NEW BEST:: SOT 1447029 SOS 1235013 HAS SOPS 1182669 HAS SOUS 203401 HAS SOUPS 202206 WITH SCORE 203441.013
AT ITER 1964 NEW BEST:: SOT 1446991 SOS 1234975 HAS SOPS 1182631 HAS SOUS 203344 HAS SOUPS 202149 WITH SCORE 203383.975
AT ITER 2002 NEW BEST:: SOT 1446911 SOS 1234893 HAS SOPS 1182549 HAS SOUS 203263 HAS SOUPS 202068 WITH SCORE 203302.893
AT ITER 2019 NEW BEST:: SOT 1446875 SOS 1236491 HAS SOPS 1184147 HAS SOUS 203101 HAS SOUPS 201906 WITH SCORE 203142.491
AT ITER 2027 NEW BEST:: SOT 1446336 SOS 1235952 HAS SOPS 1183608 HAS SOUS 203076 HAS SOUPS 201881 WITH SCORE 203116.952
AT ITER 2037 NEW BEST:: SOT 1446327 SOS 1235943 HAS SOPS 1183599 HAS SOUS 203067 HAS SOUPS 201872 WITH SCORE 203107.943
AT ITER 2039 NEW BEST:: SOT 1446082 SOS 1235432 HAS SOPS 1183088 HAS SOUS 202773 HAS SOUPS 201578 WITH SCORE 202813.432
AT ITER 2064 NEW BEST:: SOT 1446152 SOS 1235397 HAS SOPS 1182977 HAS SOUS 201714 HAS SOUPS 200443 WITH SCORE 201678.397
AT ITER 2080 NEW BEST:: SOT 1446152 SOS 1235397 HAS SOPS 1182977 HAS SOUS 201707 HAS SOUPS 200436 WITH SCORE 201671.397
AT ITER 2114 NEW BEST:: SOT 1446152 SOS 1235403 HAS SOPS 1182983 HAS SOUS 201690 HAS SOUPS 200419 WITH SCORE 201654.403
AT ITER 2120 NEW BEST:: SOT 1446152 SOS 1236627 HAS SOPS 1184207 HAS SOUS 201545 HAS SOUPS 200274 WITH SCORE 201510.627
AT ITER 2126 NEW BEST:: SOT 1445578 SOS 1236139 HAS SOPS 1183719 HAS SOUS 200937 HAS SOUPS 199666 WITH SCORE 200902.139
AT ITER 2127 NEW BEST:: SOT 1445578 SOS 1236139 HAS SOPS 1183719 HAS SOUS 200935 HAS SOUPS 199664 WITH SCORE 200900.139
AT ITER 2144 NEW BEST:: SOT 1445616 SOS 1236177 HAS SOPS 1183757 HAS SOUS 200877 HAS SOUPS 199606 WITH SCORE 200842.177
AT ITER 2157 NEW BEST:: SOT 1445592 SOS 1236153 HAS SOPS 1183733 HAS SOUS 200841 HAS SOUPS 199570 WITH SCORE 200806.153
AT ITER 2158 NEW BEST:: SOT 1445592 SOS 1236153 HAS SOPS 1183733 HAS SOUS 200834 HAS SOUPS 199563 WITH SCORE 200799.153
AT ITER 2170 NEW BEST:: SOT 1445665 SOS 1236226 HAS SOPS 1183806 HAS SOUS 200658 HAS SOUPS 199387 WITH SCORE 200623.226
AT ITER 2179 NEW BEST:: SOT 1445617 SOS 1236178 HAS SOPS 1183758 HAS SOUS 200576 HAS SOUPS 199305 WITH SCORE 200541.178
AT ITER 2214 NEW BEST:: SOT 1445613 SOS 1236174 HAS SOPS 1183754 HAS SOUS 200570 HAS SOUPS 199299 WITH SCORE 200535.174
AT ITER 2216 NEW BEST:: SOT 1445596 SOS 1236157 HAS SOPS 1183737 HAS SOUS 200553 HAS SOUPS 199282 WITH SCORE 200518.157
AT ITER 2256 NEW BEST:: SOT 1444730 SOS 1235291 HAS SOPS 1182871 HAS SOUS 198208 HAS SOUPS 196937 WITH SCORE 198172.291
AT ITER 2260 NEW BEST:: SOT 1444698 SOS 1235259 HAS SOPS 1182839 HAS SOUS 198174 HAS SOUPS 196903 WITH SCORE 198138.259
AT ITER 2287 NEW BEST:: SOT 1444610 SOS 1235171 HAS SOPS 1182751 HAS SOUS 198042 HAS SOUPS 196771 WITH SCORE 198006.171
AT ITER 2299 NEW BEST:: SOT 1444700 SOS 1235261 HAS SOPS 1182841 HAS SOUS 198006 HAS SOUPS 196735 WITH SCORE 197970.261
AT ITER 2322 NEW BEST:: SOT 1444588 SOS 1235149 HAS SOPS 1182729 HAS SOUS 197836 HAS SOUPS 196565 WITH SCORE 197800.149
AT ITER 2327 NEW BEST:: SOT 1444629 SOS 1235190 HAS SOPS 1182770 HAS SOUS 197795 HAS SOUPS 196524 WITH SCORE 197759.19
AT ITER 2328 NEW BEST:: SOT 1444563 SOS 1235124 HAS SOPS 1182704 HAS SOUS 197696 HAS SOUPS 196425 WITH SCORE 197660.124
AT ITER 2329 NEW BEST:: SOT 1444425 SOS 1234986 HAS SOPS 1182566 HAS SOUS 197592 HAS SOUPS 196321 WITH SCORE 197555.986
AT ITER 2332 NEW BEST:: SOT 1444277 SOS 1234838 HAS SOPS 1182418 HAS SOUS 197370 HAS SOUPS 196099 WITH SCORE 197333.838
AT ITER 2341 NEW BEST:: SOT 1444269 SOS 1234830 HAS SOPS 1182410 HAS SOUS 197358 HAS SOUPS 196087 WITH SCORE 197321.83
AT ITER 2353 NEW BEST:: SOT 1444355 SOS 1238074 HAS SOPS 1185654 HAS SOUS 197212 HAS SOUPS 195941 WITH SCORE 197179.074
AT ITER 2358 NEW BEST:: SOT 1444355 SOS 1238052 HAS SOPS 1185632 HAS SOUS 197202 HAS SOUPS 195931 WITH SCORE 197169.052
AT ITER 2359 NEW BEST:: SOT 1444343 SOS 1238040 HAS SOPS 1185620 HAS SOUS 197184 HAS SOUPS 195913 WITH SCORE 197151.04
AT ITER 2411 NEW BEST:: SOT 1444333 SOS 1238030 HAS SOPS 1185610 HAS SOUS 197179 HAS SOUPS 195908 WITH SCORE 197146.03
AT ITER 2415 NEW BEST:: SOT 1443219 SOS 1236916 HAS SOPS 1184496 HAS SOUS 197169 HAS SOUPS 195898 WITH SCORE 197134.916
AT ITER 2448 NEW BEST:: SOT 1443019 SOS 1236653 HAS SOPS 1184296 HAS SOUS 196846 HAS SOUPS 195638 WITH SCORE 196874.653
AT ITER 2496 NEW BEST:: SOT 1442983 SOS 1236617 HAS SOPS 1184260 HAS SOUS 196792 HAS SOUPS 195584 WITH SCORE 196820.617
AT ITER 2519 NEW BEST:: SOT 1442672 SOS 1236295 HAS SOPS 1183949 HAS SOUS 196440 HAS SOUPS 195243 WITH SCORE 196479.295
AT ITER 2531 NEW BEST:: SOT 1442672 SOS 1234964 HAS SOPS 1176048 HAS SOUS 196419 HAS SOUPS 195222 WITH SCORE 196456.964
AT ITER 2533 NEW BEST:: SOT 1442644 SOS 1234936 HAS SOPS 1176020 HAS SOUS 196377 HAS SOUPS 195180 WITH SCORE 196414.936
AT ITER 2535 NEW BEST:: SOT 1442150 SOS 1234454 HAS SOPS 1175538 HAS SOUS 195900 HAS SOUPS 194703 WITH SCORE 195937.454
AT ITER 2537 NEW BEST:: SOT 1442150 SOS 1234454 HAS SOPS 1175538 HAS SOUS 195898 HAS SOUPS 194701 WITH SCORE 195935.454
AT ITER 2572 NEW BEST:: SOT 1441393 SOS 1233555 HAS SOPS 1174639 HAS SOUS 195096 HAS SOUPS 193899 WITH SCORE 195132.555
AT ITER 2597 NEW BEST:: SOT 1440911 SOS 1233054 HAS SOPS 1174138 HAS SOUS 194584 HAS SOUPS 193387 WITH SCORE 194620.054
AT ITER 2626 NEW BEST:: SOT 1441033 SOS 1233176 HAS SOPS 1174260 HAS SOUS 194462 HAS SOUPS 193265 WITH SCORE 194498.176
AT ITER 2645 NEW BEST:: SOT 1440591 SOS 1232727 HAS SOPS 1173818 HAS SOUS 193933 HAS SOUPS 192743 WITH SCORE 193975.727
AT ITER 2707 NEW BEST:: SOT 1440591 SOS 1232727 HAS SOPS 1173818 HAS SOUS 193931 HAS SOUPS 192741 WITH SCORE 193973.727
AT ITER 2710 NEW BEST:: SOT 1440591 SOS 1232723 HAS SOPS 1173814 HAS SOUS 193930 HAS SOUPS 192740 WITH SCORE 193972.723
AT ITER 2713 NEW BEST:: SOT 1440583 SOS 1232715 HAS SOPS 1173806 HAS SOUS 193918 HAS SOUPS 192728 WITH SCORE 193960.715
AT ITER 2720 NEW BEST:: SOT 1440572 SOS 1232704 HAS SOPS 1173795 HAS SOUS 193903 HAS SOUPS 192713 WITH SCORE 193945.704
AT ITER 2725 NEW BEST:: SOT 1440530 SOS 1232662 HAS SOPS 1173753 HAS SOUS 193840 HAS SOUPS 192650 WITH SCORE 193882.662
AT ITER 2741 NEW BEST:: SOT 1440474 SOS 1232606 HAS SOPS 1173697 HAS SOUS 193756 HAS SOUPS 192566 WITH SCORE 193798.606
AT ITER 2748 NEW BEST:: SOT 1440001 SOS 1232133 HAS SOPS 1173224 HAS SOUS 193610 HAS SOUPS 192420 WITH SCORE 193652.133
AT ITER 2750 NEW BEST:: SOT 1440001 SOS 1232133 HAS SOPS 1173224 HAS SOUS 193608 HAS SOUPS 192418 WITH SCORE 193650.133
AT ITER 2751 NEW BEST:: SOT 1439953 SOS 1232085 HAS SOPS 1173176 HAS SOUS 193575 HAS SOUPS 192385 WITH SCORE 193617.085
AT ITER 2752 NEW BEST:: SOT 1439953 SOS 1232085 HAS SOPS 1173176 HAS SOUS 193571 HAS SOUPS 192381 WITH SCORE 193613.085
AT ITER 2771 NEW BEST:: SOT 1440363 SOS 1233139 HAS SOPS 1174230 HAS SOUS 193369 HAS SOUPS 192179 WITH SCORE 193412.139
AT ITER 2775 NEW BEST:: SOT 1440363 SOS 1233139 HAS SOPS 1174230 HAS SOUS 193332 HAS SOUPS 192142 WITH SCORE 193375.139
AT ITER 2780 NEW BEST:: SOT 1440437 SOS 1234889 HAS SOPS 1175980 HAS SOUS 193250 HAS SOUPS 192060 WITH SCORE 193294.889
AT ITER 2784 NEW BEST:: SOT 1439803 SOS 1234269 HAS SOPS 1175360 HAS SOUS 192630 HAS SOUPS 191440 WITH SCORE 192674.269
AT ITER 2795 NEW BEST:: SOT 1439803 SOS 1234269 HAS SOPS 1175360 HAS SOUS 192628 HAS SOUPS 191438 WITH SCORE 192672.269
AT ITER 2803 NEW BEST:: SOT 1439803 SOS 1234149 HAS SOPS 1175240 HAS SOUS 192628 HAS SOUPS 191438 WITH SCORE 192672.149
AT ITER 2808 NEW BEST:: SOT 1439781 SOS 1234127 HAS SOPS 1175218 HAS SOUS 192595 HAS SOUPS 191405 WITH SCORE 192639.127
AT ITER 2835 NEW BEST:: SOT 1439756 SOS 1234102 HAS SOPS 1175193 HAS SOUS 192588 HAS SOUPS 191398 WITH SCORE 192632.102
AT ITER 2848 NEW BEST:: SOT 1439421 SOS 1233767 HAS SOPS 1174858 HAS SOUS 192001 HAS SOUPS 190811 WITH SCORE 192044.767
AT ITER 2851 NEW BEST:: SOT 1439421 SOS 1233767 HAS SOPS 1174858 HAS SOUS 191987 HAS SOUPS 190797 WITH SCORE 192030.767
AT ITER 2855 NEW BEST:: SOT 1439421 SOS 1231246 HAS SOPS 1161537 HAS SOUS 191470 HAS SOUPS 190280 WITH SCORE 191511.246
AT ITER 2856 NEW BEST:: SOT 1439393 SOS 1231218 HAS SOPS 1161509 HAS SOUS 191434 HAS SOUPS 190244 WITH SCORE 191475.218
AT ITER 2910 NEW BEST:: SOT 1438444 SOS 1230325 HAS SOPS 1160636 HAS SOUS 190333 HAS SOUPS 189163 WITH SCORE 190393.325
AT ITER 2921 NEW BEST:: SOT 1438444 SOS 1231141 HAS SOPS 1161928 HAS SOUS 190265 HAS SOUPS 189095 WITH SCORE 190326.141
AT ITER 2929 NEW BEST:: SOT 1438444 SOS 1229605 HAS SOPS 1139620 HAS SOUS 190095 HAS SOUPS 188925 WITH SCORE 190154.605
AT ITER 2965 NEW BEST:: SOT 1438444 SOS 1230301 HAS SOPS 1141147 HAS SOUS 190037 HAS SOUPS 188867 WITH SCORE 190097.301
AT ITER 2968 NEW BEST:: SOT 1438444 SOS 1230281 HAS SOPS 1141117 HAS SOUS 190037 HAS SOUPS 188867 WITH SCORE 190097.281
AT ITER 2971 NEW BEST:: SOT 1435426 SOS 1227284 HAS SOPS 1138120 HAS SOUS 186509 HAS SOUPS 185339 WITH SCORE 186566.284
AT ITER 2974 NEW BEST:: SOT 1435374 SOS 1227232 HAS SOPS 1138068 HAS SOUS 186431 HAS SOUPS 185261 WITH SCORE 186488.232
AT ITER 2984 NEW BEST:: SOT 1435374 SOS 1225353 HAS SOPS 1114881 HAS SOUS 186168 HAS SOUPS 184998 WITH SCORE 186223.353
AT ITER 2996 NEW BEST:: SOT 1435366 SOS 1225345 HAS SOPS 1114873 HAS SOUS 186156 HAS SOUPS 184986 WITH SCORE 186211.345
AT ITER 3010 NEW BEST:: SOT 1435362 SOS 1225341 HAS SOPS 1114869 HAS SOUS 186150 HAS SOUPS 184980 WITH SCORE 186205.341
AT ITER 3011 NEW BEST:: SOT 1435290 SOS 1225269 HAS SOPS 1114797 HAS SOUS 186074 HAS SOUPS 184904 WITH SCORE 186129.269
AT ITER 3013 NEW BEST:: SOT 1435290 SOS 1225269 HAS SOPS 1114797 HAS SOUS 186071 HAS SOUPS 184901 WITH SCORE 186126.269
AT ITER 3014 NEW BEST:: SOT 1435290 SOS 1225332 HAS SOPS 1113885 HAS SOUS 185876 HAS SOUPS 184706 WITH SCORE 185931.332
AT ITER 3015 NEW BEST:: SOT 1434964 SOS 1225002 HAS SOPS 1113555 HAS SOUS 185548 HAS SOUPS 184378 WITH SCORE 185603.002
AT ITER 3029 NEW BEST:: SOT 1435625 SOS 1225624 HAS SOPS 1114138 HAS SOUS 185149 HAS SOUPS 183940 WITH SCORE 185165.624
AT ITER 3040 NEW BEST:: SOT 1435529 SOS 1225528 HAS SOPS 1114042 HAS SOUS 185005 HAS SOUPS 183796 WITH SCORE 185021.528
AT ITER 3042 NEW BEST:: SOT 1435543 SOS 1225542 HAS SOPS 1114056 HAS SOUS 184992 HAS SOUPS 183783 WITH SCORE 185008.542
AT ITER 3044 NEW BEST:: SOT 1435543 SOS 1225558 HAS SOPS 1114200 HAS SOUS 184990 HAS SOUPS 183781 WITH SCORE 185006.558
AT ITER 3062 NEW BEST:: SOT 1435684 SOS 1225699 HAS SOPS 1114341 HAS SOUS 184837 HAS SOUPS 183628 WITH SCORE 184853.699
AT ITER 3072 NEW BEST:: SOT 1435684 SOS 1225699 HAS SOPS 1114341 HAS SOUS 184836 HAS SOUPS 183627 WITH SCORE 184852.699
AT ITER 3121 NEW BEST:: SOT 1435640 SOS 1225655 HAS SOPS 1114297 HAS SOUS 184770 HAS SOUPS 183561 WITH SCORE 184786.655
AT ITER 3123 NEW BEST:: SOT 1435640 SOS 1225712 HAS SOPS 1104751 HAS SOUS 184751 HAS SOUPS 183542 WITH SCORE 184767.712
AT ITER 3124 NEW BEST:: SOT 1434977 SOS 1225137 HAS SOPS 1104088 HAS SOUS 184546 HAS SOUPS 183249 WITH SCORE 184474.137
AT ITER 3149 NEW BEST:: SOT 1434991 SOS 1225151 HAS SOPS 1104102 HAS SOUS 184544 HAS SOUPS 183247 WITH SCORE 184472.151
AT ITER 3176 NEW BEST:: SOT 1435085 SOS 1225005 HAS SOPS 1151362 HAS SOUS 184419 HAS SOUPS 183147 WITH SCORE 184372.005
AT ITER 3193 NEW BEST:: SOT 1435085 SOS 1224729 HAS SOPS 1151132 HAS SOUS 184419 HAS SOUPS 183147 WITH SCORE 184371.729
AT ITER 3242 NEW BEST:: SOT 1435047 SOS 1224691 HAS SOPS 1151094 HAS SOUS 184419 HAS SOUPS 183147 WITH SCORE 184371.691
AT ITER 3245 NEW BEST:: SOT 1435055 SOS 1224699 HAS SOPS 1151102 HAS SOUS 184413 HAS SOUPS 183141 WITH SCORE 184365.699
AT ITER 3257 NEW BEST:: SOT 1435043 SOS 1224687 HAS SOPS 1151090 HAS SOUS 184395 HAS SOUPS 183123 WITH SCORE 184347.687
AT ITER 3274 NEW BEST:: SOT 1435165 SOS 1224809 HAS SOPS 1151212 HAS SOUS 184272 HAS SOUPS 183000 WITH SCORE 184224.809
AT ITER 3276 NEW BEST:: SOT 1435049 SOS 1224693 HAS SOPS 1151096 HAS SOUS 184098 HAS SOUPS 182826 WITH SCORE 184050.693
AT ITER 3280 NEW BEST:: SOT 1435039 SOS 1224683 HAS SOPS 1151086 HAS SOUS 184083 HAS SOUPS 182811 WITH SCORE 184035.683
AT ITER 3341 NEW BEST:: SOT 1435039 SOS 1224239 HAS SOPS 1150679 HAS SOUS 184083 HAS SOUPS 182811 WITH SCORE 184035.239
AT ITER 3366 NEW BEST:: SOT 1435096 SOS 1226222 HAS SOPS 1152662 HAS SOUS 184054 HAS SOUPS 182782 WITH SCORE 184008.222
AT ITER 3380 NEW BEST:: SOT 1434832 SOS 1225958 HAS SOPS 1152398 HAS SOUS 183790 HAS SOUPS 182518 WITH SCORE 183743.958
AT ITER 3418 NEW BEST:: SOT 1434831 SOS 1225937 HAS SOPS 1152377 HAS SOUS 183788 HAS SOUPS 182516 WITH SCORE 183741.937
AT ITER 3426 NEW BEST:: SOT 1435197 SOS 1226382 HAS SOPS 1152898 HAS SOUS 183063 HAS SOUPS 181867 WITH SCORE 183093.382
AT ITER 3427 NEW BEST:: SOT 1434807 SOS 1226044 HAS SOPS 1152560 HAS SOUS 182699 HAS SOUPS 181503 WITH SCORE 182729.044
AT ITER 3439 NEW BEST:: SOT 1434121 SOS 1225358 HAS SOPS 1151874 HAS SOUS 181977 HAS SOUPS 180781 WITH SCORE 182006.358
AT ITER 3464 NEW BEST:: SOT 1434121 SOS 1225358 HAS SOPS 1151874 HAS SOUS 181972 HAS SOUPS 180776 WITH SCORE 182001.358
AT ITER 3494 NEW BEST:: SOT 1434138 SOS 1225375 HAS SOPS 1151891 HAS SOUS 181955 HAS SOUPS 180759 WITH SCORE 181984.375
AT ITER 3506 NEW BEST:: SOT 1434080 SOS 1225317 HAS SOPS 1151833 HAS SOUS 181868 HAS SOUPS 180672 WITH SCORE 181897.317
AT ITER 3511 NEW BEST:: SOT 1434054 SOS 1225267 HAS SOPS 1150276 HAS SOUS 181858 HAS SOUPS 180662 WITH SCORE 181887.267
AT ITER 3515 NEW BEST:: SOT 1434054 SOS 1225267 HAS SOPS 1150276 HAS SOUS 181854 HAS SOUPS 180658 WITH SCORE 181883.267
AT ITER 3567 NEW BEST:: SOT 1433894 SOS 1225107 HAS SOPS 1150116 HAS SOUS 181684 HAS SOUPS 180488 WITH SCORE 181713.107
AT ITER 3585 NEW BEST:: SOT 1433730 SOS 1224943 HAS SOPS 1149952 HAS SOUS 181438 HAS SOUPS 180242 WITH SCORE 181466.943
AT ITER 3640 NEW BEST:: SOT 1433650 SOS 1224863 HAS SOPS 1149872 HAS SOUS 181384 HAS SOUPS 180188 WITH SCORE 181412.863
AT ITER 3650 NEW BEST:: SOT 1433644 SOS 1224857 HAS SOPS 1149866 HAS SOUS 181365 HAS SOUPS 180169 WITH SCORE 181393.857
AT ITER 3660 NEW BEST:: SOT 1433600 SOS 1224813 HAS SOPS 1149822 HAS SOUS 181282 HAS SOUPS 180086 WITH SCORE 181310.813
AT ITER 3672 NEW BEST:: SOT 1433600 SOS 1224767 HAS SOPS 1149766 HAS SOUS 181282 HAS SOUPS 180086 WITH SCORE 181310.767
AT ITER 3701 NEW BEST:: SOT 1433560 SOS 1224727 HAS SOPS 1149726 HAS SOUS 181222 HAS SOUPS 180026 WITH SCORE 181250.727
AT ITER 3766 NEW BEST:: SOT 1434330 SOS 1225431 HAS SOPS 1150496 HAS SOUS 180999 HAS SOUPS 179869 WITH SCORE 181094.431
AT ITER 3776 NEW BEST:: SOT 1434282 SOS 1225383 HAS SOPS 1150448 HAS SOUS 180922 HAS SOUPS 179792 WITH SCORE 181017.383
AT ITER 3809 NEW BEST:: SOT 1434081 SOS 1224818 HAS SOPS 1149883 HAS SOUS 180695 HAS SOUPS 179565 WITH SCORE 180789.818
AT ITER 3810 NEW BEST:: SOT 1434025 SOS 1224762 HAS SOPS 1149827 HAS SOUS 180611 HAS SOUPS 179481 WITH SCORE 180705.762
AT ITER 3827 NEW BEST:: SOT 1434011 SOS 1224748 HAS SOPS 1149813 HAS SOUS 180590 HAS SOUPS 179460 WITH SCORE 180684.748
AT ITER 3916 NEW BEST:: SOT 1433748 SOS 1225087 HAS SOPS 1150152 HAS SOUS 180368 HAS SOUPS 179238 WITH SCORE 180463.087
AT ITER 3936 NEW BEST:: SOT 1433726 SOS 1225065 HAS SOPS 1150130 HAS SOUS 180335 HAS SOUPS 179205 WITH SCORE 180430.065
AT ITER 3938 NEW BEST:: SOT 1433726 SOS 1225065 HAS SOPS 1150130 HAS SOUS 180333 HAS SOUPS 179203 WITH SCORE 180428.065
AT ITER 3990 NEW BEST:: SOT 1433726 SOS 1225095 HAS SOPS 1150535 HAS SOUS 180306 HAS SOUPS 179176 WITH SCORE 180401.095
AT ITER 4017 NEW BEST:: SOT 1433724 SOS 1225093 HAS SOPS 1150533 HAS SOUS 180295 HAS SOUPS 179165 WITH SCORE 180390.093
AT ITER 4037 NEW BEST:: SOT 1433672 SOS 1225041 HAS SOPS 1150481 HAS SOUS 180225 HAS SOUPS 179095 WITH SCORE 180320.041
AT ITER 4042 NEW BEST:: SOT 1433672 SOS 1225005 HAS SOPS 1150448 HAS SOUS 180225 HAS SOUPS 179095 WITH SCORE 180320.005
AT ITER 4049 NEW BEST:: SOT 1433679 SOS 1224981 HAS SOPS 1150455 HAS SOUS 179986 HAS SOUPS 178887 WITH SCORE 180111.981
AT ITER 4054 NEW BEST:: SOT 1433655 SOS 1224957 HAS SOPS 1150431 HAS SOUS 179950 HAS SOUPS 178851 WITH SCORE 180075.957
AT ITER 4078 NEW BEST:: SOT 1433647 SOS 1224949 HAS SOPS 1150423 HAS SOUS 179938 HAS SOUPS 178839 WITH SCORE 180063.949
AT ITER 4080 NEW BEST:: SOT 1433581 SOS 1224883 HAS SOPS 1150357 HAS SOUS 179839 HAS SOUPS 178740 WITH SCORE 179964.883
AT ITER 4109 NEW BEST:: SOT 1433562 SOS 1224866 HAS SOPS 1149935 HAS SOUS 179803 HAS SOUPS 178704 WITH SCORE 179928.866
AT ITER 4125 NEW BEST:: SOT 1433558 SOS 1224886 HAS SOPS 1149969 HAS SOUS 179776 HAS SOUPS 178691 WITH SCORE 179915.886
AT ITER 4129 NEW BEST:: SOT 1433558 SOS 1164173 HAS SOPS 1138170 HAS SOUS 179719 HAS SOUPS 178691 WITH SCORE 179855.173
AT ITER 4141 NEW BEST:: SOT 1433502 SOS 1164117 HAS SOPS 1138114 HAS SOUS 179635 HAS SOUPS 178607 WITH SCORE 179771.117
AT ITER 4144 NEW BEST:: SOT 1433626 SOS 1164241 HAS SOPS 1138238 HAS SOUS 179513 HAS SOUPS 178485 WITH SCORE 179649.241
AT ITER 4153 NEW BEST:: SOT 1433626 SOS 1164241 HAS SOPS 1138238 HAS SOUS 179512 HAS SOUPS 178484 WITH SCORE 179648.241
AT ITER 4160 NEW BEST:: SOT 1433570 SOS 1164185 HAS SOPS 1138182 HAS SOUS 179428 HAS SOUPS 178400 WITH SCORE 179564.185
AT ITER 4199 NEW BEST:: SOT 1433562 SOS 1164177 HAS SOPS 1138174 HAS SOUS 179416 HAS SOUPS 178388 WITH SCORE 179552.177
AT ITER 4201 NEW BEST:: SOT 1433589 SOS 1165596 HAS SOPS 1139593 HAS SOUS 179402 HAS SOUPS 178374 WITH SCORE 179539.596
AT ITER 4216 NEW BEST:: SOT 1433584 SOS 1165621 HAS SOPS 1139618 HAS SOUS 179401 HAS SOUPS 178373 WITH SCORE 179538.621
AT ITER 4222 NEW BEST:: SOT 1433657 SOS 1165694 HAS SOPS 1139691 HAS SOUS 179354 HAS SOUPS 178326 WITH SCORE 179491.694
AT ITER 4255 NEW BEST:: SOT 1433713 SOS 1165788 HAS SOPS 1139823 HAS SOUS 179027 HAS SOUPS 178037 WITH SCORE 179202.788
AT ITER 4266 NEW BEST:: SOT 1433692 SOS 1165764 HAS SOPS 1139802 HAS SOUS 178955 HAS SOUPS 177968 WITH SCORE 179133.764
AT ITER 4267 NEW BEST:: SOT 1433580 SOS 1165652 HAS SOPS 1139690 HAS SOUS 178787 HAS SOUPS 177800 WITH SCORE 178965.652
AT ITER 4268 NEW BEST:: SOT 1433603 SOS 1165742 HAS SOPS 1141305 HAS SOUS 178748 HAS SOUPS 177761 WITH SCORE 178926.742
AT ITER 4296 NEW BEST:: SOT 1433603 SOS 1160542 HAS SOPS 1136105 HAS SOUS 178748 HAS SOUPS 177761 WITH SCORE 178921.542
AT ITER 4327 NEW BEST:: SOT 1433539 SOS 1160478 HAS SOPS 1136041 HAS SOUS 178688 HAS SOUPS 177701 WITH SCORE 178861.478
AT ITER 4347 NEW BEST:: SOT 1433539 SOS 1153187 HAS SOPS 1120015 HAS SOUS 178693 HAS SOUPS 177706 WITH SCORE 178859.187
AT ITER 4356 NEW BEST:: SOT 1433525 SOS 1153173 HAS SOPS 1120001 HAS SOUS 178672 HAS SOUPS 177685 WITH SCORE 178838.173
AT ITER 4372 NEW BEST:: SOT 1433325 SOS 1152969 HAS SOPS 1119797 HAS SOUS 178471 HAS SOUPS 177484 WITH SCORE 178636.969
AT ITER 4373 NEW BEST:: SOT 1433716 SOS 1153341 HAS SOPS 1120188 HAS SOUS 178110 HAS SOUPS 177142 WITH SCORE 178295.341
AT ITER 4381 NEW BEST:: SOT 1433596 SOS 1153229 HAS SOPS 1120084 HAS SOUS 177974 HAS SOUPS 177014 WITH SCORE 178167.229
AT ITER 4458 NEW BEST:: SOT 1433498 SOS 1153125 HAS SOPS 1119980 HAS SOUS 177952 HAS SOUPS 176992 WITH SCORE 178145.125
AT ITER 4475 NEW BEST:: SOT 1433329 SOS 1150732 HAS SOPS 1117587 HAS SOUS 177772 HAS SOUPS 176812 WITH SCORE 177962.732
AT ITER 4498 NEW BEST:: SOT 1433329 SOS 1150718 HAS SOPS 1118413 HAS SOUS 177758 HAS SOUPS 176798 WITH SCORE 177948.718
AT ITER 4574 NEW BEST:: SOT 1433289 SOS 1150678 HAS SOPS 1118373 HAS SOUS 177698 HAS SOUPS 176738 WITH SCORE 177888.678
AT ITER 4580 NEW BEST:: SOT 1433296 SOS 1150685 HAS SOPS 1118380 HAS SOUS 177693 HAS SOUPS 176733 WITH SCORE 177883.685
AT ITER 4624 NEW BEST:: SOT 1432516 SOS 1149905 HAS SOPS 1117600 HAS SOUS 177458 HAS SOUPS 176498 WITH SCORE 177647.905
AT ITER 4627 NEW BEST:: SOT 1432118 SOS 1149507 HAS SOPS 1117202 HAS SOUS 177379 HAS SOUPS 176419 WITH SCORE 177568.507
AT ITER 4648 NEW BEST:: SOT 1432118 SOS 1149477 HAS SOPS 1117166 HAS SOUS 177379 HAS SOUPS 176419 WITH SCORE 177568.477
AT ITER 4651 NEW BEST:: SOT 1432100 SOS 1149459 HAS SOPS 1117148 HAS SOUS 177369 HAS SOUPS 176409 WITH SCORE 177558.459
AT ITER 4664 NEW BEST:: SOT 1432097 SOS 1149456 HAS SOPS 1117145 HAS SOUS 177353 HAS SOUPS 176393 WITH SCORE 177542.456
AT ITER 4708 NEW BEST:: SOT 1432148 SOS 1149503 HAS SOPS 1117196 HAS SOUS 177344 HAS SOUPS 176388 WITH SCORE 177537.503
AT ITER 4723 NEW BEST:: SOT 1432148 SOS 1149503 HAS SOPS 1117196 HAS SOUS 177332 HAS SOUPS 176376 WITH SCORE 177525.503
AT ITER 4743 NEW BEST:: SOT 1432148 SOS 1149390 HAS SOPS 1117083 HAS SOUS 177332 HAS SOUPS 176376 WITH SCORE 177525.39
AT ITER 4757 NEW BEST:: SOT 1431784 SOS 1149054 HAS SOPS 1116747 HAS SOUS 176972 HAS SOUPS 176016 WITH SCORE 177165.054
AT ITER 4779 NEW BEST:: SOT 1431784 SOS 1149054 HAS SOPS 1116747 HAS SOUS 176962 HAS SOUPS 176006 WITH SCORE 177155.054
AT ITER 4793 NEW BEST:: SOT 1431784 SOS 1136605 HAS SOPS 1102866 HAS SOUS 176941 HAS SOUPS 175985 WITH SCORE 177121.605
AT ITER 4813 NEW BEST:: SOT 1431432 SOS 1136214 HAS SOPS 1102475 HAS SOUS 176190 HAS SOUPS 175234 WITH SCORE 176370.214
AT ITER 4838 NEW BEST:: SOT 1431466 SOS 1136248 HAS SOPS 1102509 HAS SOUS 175946 HAS SOUPS 174990 WITH SCORE 176126.248
AT ITER 4841 NEW BEST:: SOT 1431466 SOS 1136178 HAS SOPS 1102439 HAS SOUS 175923 HAS SOUPS 174967 WITH SCORE 176103.178
AT ITER 4851 NEW BEST:: SOT 1431056 SOS 1135768 HAS SOPS 1102029 HAS SOUS 175861 HAS SOUPS 174905 WITH SCORE 176040.768
AT ITER 4905 NEW BEST:: SOT 1431022 SOS 1135734 HAS SOPS 1101995 HAS SOUS 175810 HAS SOUPS 174854 WITH SCORE 175989.734
AT ITER 4950 NEW BEST:: SOT 1431022 SOS 1135734 HAS SOPS 1101995 HAS SOUS 175796 HAS SOUPS 174840 WITH SCORE 175975.734
AT ITER 4959 NEW BEST:: SOT 1430930 SOS 1135642 HAS SOPS 1101903 HAS SOUS 175658 HAS SOUPS 174702 WITH SCORE 175837.642
AT ITER 4966 NEW BEST:: SOT 1430890 SOS 1135602 HAS SOPS 1101863 HAS SOUS 175598 HAS SOUPS 174642 WITH SCORE 175777.602
AT ITER 5062 NEW BEST:: SOT 1430866 SOS 1135578 HAS SOPS 1101839 HAS SOUS 175562 HAS SOUPS 174606 WITH SCORE 175741.578
AT ITER 5074 NEW BEST:: SOT 1430722 SOS 1133408 HAS SOPS 1099623 HAS SOUS 175406 HAS SOUPS 174404 WITH SCORE 175537.408
AT ITER 5118 NEW BEST:: SOT 1430722 SOS 1122034 HAS SOPS 1088249 HAS SOUS 175406 HAS SOUPS 174404 WITH SCORE 175526.034
AT ITER 5127 NEW BEST:: SOT 1430963 SOS 1122215 HAS SOPS 1088430 HAS SOUS 175396 HAS SOUPS 174394 WITH SCORE 175516.215
AT ITER 5151 NEW BEST:: SOT 1431063 SOS 1122315 HAS SOPS 1088530 HAS SOUS 175350 HAS SOUPS 174348 WITH SCORE 175470.315
AT ITER 5180 NEW BEST:: SOT 1431063 SOS 1110236 HAS SOPS 1070871 HAS SOUS 175362 HAS SOUPS 174360 WITH SCORE 175470.236
AT ITER 5187 NEW BEST:: SOT 1431007 SOS 1110180 HAS SOPS 1070801 HAS SOUS 175245 HAS SOUPS 174229 WITH SCORE 175339.18
AT ITER 5224 NEW BEST:: SOT 1431007 SOS 1110699 HAS SOPS 1071320 HAS SOUS 175211 HAS SOUPS 174195 WITH SCORE 175305.699
AT ITER 5301 NEW BEST:: SOT 1431012 SOS 1110704 HAS SOPS 1071235 HAS SOUS 175176 HAS SOUPS 174160 WITH SCORE 175270.704
AT ITER 5336 NEW BEST:: SOT 1431012 SOS 1110852 HAS SOPS 1068224 HAS SOUS 174390 HAS SOUPS 173374 WITH SCORE 174484.852
AT ITER 5363 NEW BEST:: SOT 1431184 SOS 1111033 HAS SOPS 1068405 HAS SOUS 174227 HAS SOUPS 173211 WITH SCORE 174322.033
AT ITER 5376 NEW BEST:: SOT 1431184 SOS 1111033 HAS SOPS 1068660 HAS SOUS 174210 HAS SOUPS 173194 WITH SCORE 174305.033
AT ITER 5396 NEW BEST:: SOT 1431184 SOS 1111058 HAS SOPS 1068775 HAS SOUS 174185 HAS SOUPS 173169 WITH SCORE 174280.058
AT ITER 5454 NEW BEST:: SOT 1431179 SOS 1111059 HAS SOPS 1068776 HAS SOUS 174151 HAS SOUPS 173135 WITH SCORE 174246.059
AT ITER 5491 NEW BEST:: SOT 1431179 SOS 1111059 HAS SOPS 1068776 HAS SOUS 174149 HAS SOUPS 173133 WITH SCORE 174244.059
AT ITER 5502 NEW BEST:: SOT 1430854 SOS 1111306 HAS SOPS 1069023 HAS SOUS 173842 HAS SOUPS 172826 WITH SCORE 173937.306
AT ITER 5544 NEW BEST:: SOT 1430854 SOS 1111306 HAS SOPS 1069128 HAS SOUS 173737 HAS SOUPS 172721 WITH SCORE 173832.306
AT ITER 5573 NEW BEST:: SOT 1430802 SOS 1111254 HAS SOPS 1069076 HAS SOUS 173666 HAS SOUPS 172650 WITH SCORE 173761.254
AT ITER 5580 NEW BEST:: SOT 1430802 SOS 1111246 HAS SOPS 1069068 HAS SOUS 173638 HAS SOUPS 172622 WITH SCORE 173733.246
AT ITER 5601 NEW BEST:: SOT 1430802 SOS 1098954 HAS SOPS 1041753 HAS SOUS 173507 HAS SOUPS 172491 WITH SCORE 173589.954
AT ITER 5708 NEW BEST:: SOT 1430802 SOS 1098954 HAS SOPS 1041753 HAS SOUS 173499 HAS SOUPS 172483 WITH SCORE 173581.954
AT ITER 5714 NEW BEST:: SOT 1430802 SOS 1098954 HAS SOPS 1041753 HAS SOUS 173487 HAS SOUPS 172471 WITH SCORE 173569.954
AT ITER 5765 NEW BEST:: SOT 1430874 SOS 1099026 HAS SOPS 1041825 HAS SOUS 173484 HAS SOUPS 172468 WITH SCORE 173567.026
AT ITER 5779 NEW BEST:: SOT 1430874 SOS 1097783 HAS SOPS 1040562 HAS SOUS 173427 HAS SOUPS 172411 WITH SCORE 173508.783
AT ITER 5823 NEW BEST:: SOT 1430874 SOS 1097845 HAS SOPS 1035524 HAS SOUS 173419 HAS SOUPS 172403 WITH SCORE 173500.845
AT ITER 5891 NEW BEST:: SOT 1430874 SOS 1097861 HAS SOPS 1035540 HAS SOUS 173412 HAS SOUPS 172396 WITH SCORE 173493.861
AT ITER 5894 NEW BEST:: SOT 1430874 SOS 1097811 HAS SOPS 1035490 HAS SOUS 173387 HAS SOUPS 172371 WITH SCORE 173468.811
AT ITER 5912 NEW BEST:: SOT 1430874 SOS 1097811 HAS SOPS 1035586 HAS SOUS 173381 HAS SOUPS 172365 WITH SCORE 173462.811
AT ITER 5921 NEW BEST:: SOT 1430248 SOS 1096701 HAS SOPS 1035805 HAS SOUS 173225 HAS SOUPS 172209 WITH SCORE 173305.701
AT ITER 5925 NEW BEST:: SOT 1430248 SOS 1096701 HAS SOPS 1036486 HAS SOUS 173174 HAS SOUPS 172158 WITH SCORE 173254.701
AT ITER 5930 NEW BEST:: SOT 1430194 SOS 1096647 HAS SOPS 1036432 HAS SOUS 173093 HAS SOUPS 172077 WITH SCORE 173173.647
AT ITER 5951 NEW BEST:: SOT 1430194 SOS 1096647 HAS SOPS 1036432 HAS SOUS 173092 HAS SOUPS 172076 WITH SCORE 173172.647
AT ITER 5977 NEW BEST:: SOT 1430580 SOS 1097033 HAS SOPS 1036818 HAS SOUS 172999 HAS SOUPS 171983 WITH SCORE 173080.033
AT ITER 5985 NEW BEST:: SOT 1430432 SOS 1096885 HAS SOPS 1036670 HAS SOUS 172999 HAS SOUPS 171983 WITH SCORE 173079.885
AT ITER 6011 NEW BEST:: SOT 1430409 SOS 1096839 HAS SOPS 1036624 HAS SOUS 172953 HAS SOUPS 171937 WITH SCORE 173033.839
AT ITER 6020 NEW BEST:: SOT 1430405 SOS 1096835 HAS SOPS 1036620 HAS SOUS 172945 HAS SOUPS 171929 WITH SCORE 173025.835
AT ITER 6033 NEW BEST:: SOT 1430221 SOS 1096664 HAS SOPS 1036458 HAS SOUS 172735 HAS SOUPS 171728 WITH SCORE 172824.664
AT ITER 6066 NEW BEST:: SOT 1430221 SOS 1090840 HAS SOPS 1030634 HAS SOUS 172735 HAS SOUPS 171728 WITH SCORE 172818.84
AT ITER 6072 NEW BEST:: SOT 1430221 SOS 1089885 HAS SOPS 1029791 HAS SOUS 172735 HAS SOUPS 171728 WITH SCORE 172817.885
AT ITER 6075 NEW BEST:: SOT 1430221 SOS 1089885 HAS SOPS 1030383 HAS SOUS 172698 HAS SOUPS 171691 WITH SCORE 172780.885
AT ITER 6078 NEW BEST:: SOT 1430231 SOS 1089895 HAS SOPS 1030393 HAS SOUS 172694 HAS SOUPS 171687 WITH SCORE 172776.895
AT ITER 6095 NEW BEST:: SOT 1430231 SOS 1089895 HAS SOPS 1030393 HAS SOUS 172674 HAS SOUPS 171667 WITH SCORE 172756.895
AT ITER 6098 NEW BEST:: SOT 1430234 SOS 1089898 HAS SOPS 1031639 HAS SOUS 172621 HAS SOUPS 171614 WITH SCORE 172703.898
AT ITER 6119 NEW BEST:: SOT 1430234 SOS 1085114 HAS SOPS 1026855 HAS SOUS 172621 HAS SOUPS 171614 WITH SCORE 172699.114
AT ITER 6150 NEW BEST:: SOT 1430234 SOS 1085096 HAS SOPS 1027647 HAS SOUS 172603 HAS SOUPS 171596 WITH SCORE 172681.096
AT ITER 6178 NEW BEST:: SOT 1430234 SOS 1084758 HAS SOPS 1017997 HAS SOUS 172553 HAS SOUPS 171546 WITH SCORE 172630.758
AT ITER 6183 NEW BEST:: SOT 1430252 SOS 1084776 HAS SOPS 1018015 HAS SOUS 172499 HAS SOUPS 171492 WITH SCORE 172576.776
AT ITER 6242 NEW BEST:: SOT 1430060 SOS 1084504 HAS SOPS 1017743 HAS SOUS 172267 HAS SOUPS 171260 WITH SCORE 172344.504
AT ITER 6252 NEW BEST:: SOT 1430060 SOS 1084504 HAS SOPS 1017756 HAS SOUS 172254 HAS SOUPS 171247 WITH SCORE 172331.504
AT ITER 6391 NEW BEST:: SOT 1430200 SOS 1084644 HAS SOPS 1017896 HAS SOUS 172142 HAS SOUPS 171135 WITH SCORE 172219.644
AT ITER 6425 NEW BEST:: SOT 1430200 SOS 1085140 HAS SOPS 1018616 HAS SOUS 172097 HAS SOUPS 171090 WITH SCORE 172175.14
AT ITER 6433 NEW BEST:: SOT 1430152 SOS 1085089 HAS SOPS 1018568 HAS SOUS 172043 HAS SOUPS 171039 WITH SCORE 172124.089
AT ITER 6434 NEW BEST:: SOT 1430152 SOS 1078893 HAS SOPS 998833 HAS SOUS 172032 HAS SOUPS 171028 WITH SCORE 172106.893
AT ITER 6463 NEW BEST:: SOT 1430152 SOS 1078893 HAS SOPS 998833 HAS SOUS 172031 HAS SOUPS 171027 WITH SCORE 172105.893
AT ITER 6515 NEW BEST:: SOT 1430152 SOS 1078879 HAS SOPS 998819 HAS SOUS 172010 HAS SOUPS 171006 WITH SCORE 172084.879
AT ITER 6541 NEW BEST:: SOT 1429564 SOS 1078311 HAS SOPS 998251 HAS SOUS 171464 HAS SOUPS 170460 WITH SCORE 171538.311
AT ITER 6580 NEW BEST:: SOT 1429425 SOS 1078145 HAS SOPS 998085 HAS SOUS 171073 HAS SOUPS 170069 WITH SCORE 171147.145
AT ITER 6585 NEW BEST:: SOT 1429302 SOS 1078022 HAS SOPS 997962 HAS SOUS 170943 HAS SOUPS 169939 WITH SCORE 171017.022
AT ITER 6616 NEW BEST:: SOT 1429368 SOS 1078088 HAS SOPS 998028 HAS SOUS 170790 HAS SOUPS 169786 WITH SCORE 170864.088
AT ITER 6617 NEW BEST:: SOT 1429368 SOS 1078076 HAS SOPS 1000176 HAS SOUS 170780 HAS SOUPS 169776 WITH SCORE 170854.076
AT ITER 6622 NEW BEST:: SOT 1429368 SOS 1078076 HAS SOPS 1000176 HAS SOUS 170779 HAS SOUPS 169775 WITH SCORE 170853.076
AT ITER 6644 NEW BEST:: SOT 1429340 SOS 1078048 HAS SOPS 1000148 HAS SOUS 170747 HAS SOUPS 169743 WITH SCORE 170821.048
AT ITER 6650 NEW BEST:: SOT 1429205 SOS 1077913 HAS SOPS 1000013 HAS SOUS 170612 HAS SOUPS 169608 WITH SCORE 170685.913
AT ITER 6654 NEW BEST:: SOT 1429205 SOS 984067 HAS SOPS 979503 HAS SOUS 170612 HAS SOUPS 169700 WITH SCORE 170684.067
AT ITER 6675 NEW BEST:: SOT 1427865 SOS 982727 HAS SOPS 978163 HAS SOUS 170223 HAS SOUPS 169311 WITH SCORE 170293.727
AT ITER 6676 NEW BEST:: SOT 1427865 SOS 982723 HAS SOPS 978137 HAS SOUS 170223 HAS SOUPS 169311 WITH SCORE 170293.723
AT ITER 6726 NEW BEST:: SOT 1427869 SOS 982727 HAS SOPS 978141 HAS SOUS 170219 HAS SOUPS 169307 WITH SCORE 170289.727
AT ITER 6752 NEW BEST:: SOT 1427869 SOS 982652 HAS SOPS 978066 HAS SOUS 170219 HAS SOUPS 169307 WITH SCORE 170289.652
AT ITER 6764 NEW BEST:: SOT 1427915 SOS 982698 HAS SOPS 978112 HAS SOUS 170204 HAS SOUPS 169292 WITH SCORE 170274.698
AT ITER 6780 NEW BEST:: SOT 1427915 SOS 983865 HAS SOPS 979279 HAS SOUS 170159 HAS SOUPS 169247 WITH SCORE 170230.865
AT ITER 6802 NEW BEST:: SOT 1427858 SOS 983847 HAS SOPS 979281 HAS SOUS 169942 HAS SOUPS 169050 WITH SCORE 170033.847
AT ITER 6805 NEW BEST:: SOT 1427762 SOS 983751 HAS SOPS 979185 HAS SOUS 169846 HAS SOUPS 168954 WITH SCORE 169937.751
AT ITER 6806 NEW BEST:: SOT 1427738 SOS 983727 HAS SOPS 979161 HAS SOUS 169810 HAS SOUPS 168918 WITH SCORE 169901.727
AT ITER 6830 NEW BEST:: SOT 1427738 SOS 1009750 HAS SOPS 987813 HAS SOUS 169432 HAS SOUPS 168498 WITH SCORE 169507.75
AT ITER 6837 NEW BEST:: SOT 1427718 SOS 1009730 HAS SOPS 987793 HAS SOUS 169402 HAS SOUPS 168468 WITH SCORE 169477.73
AT ITER 6883 NEW BEST:: SOT 1427870 SOS 1009882 HAS SOPS 987945 HAS SOUS 169265 HAS SOUPS 168331 WITH SCORE 169340.882
AT ITER 6884 NEW BEST:: SOT 1427870 SOS 991786 HAS SOPS 969849 HAS SOUS 169265 HAS SOUPS 168331 WITH SCORE 169322.786
AT ITER 6900 NEW BEST:: SOT 1427870 SOS 991786 HAS SOPS 969849 HAS SOUS 169250 HAS SOUPS 168316 WITH SCORE 169307.786
AT ITER 6931 NEW BEST:: SOT 1427850 SOS 991792 HAS SOPS 969855 HAS SOUS 169230 HAS SOUPS 168296 WITH SCORE 169287.792
AT ITER 6948 NEW BEST:: SOT 1427846 SOS 991788 HAS SOPS 969851 HAS SOUS 169226 HAS SOUPS 168292 WITH SCORE 169283.788
AT ITER 6953 NEW BEST:: SOT 1427856 SOS 991796 HAS SOPS 969861 HAS SOUS 169204 HAS SOUPS 168272 WITH SCORE 169263.796
AT ITER 6957 NEW BEST:: SOT 1427854 SOS 991780 HAS SOPS 969845 HAS SOUS 169202 HAS SOUPS 168270 WITH SCORE 169261.78
AT ITER 7019 NEW BEST:: SOT 1427823 SOS 991749 HAS SOPS 969814 HAS SOUS 169138 HAS SOUPS 168206 WITH SCORE 169197.749
AT ITER 7054 NEW BEST:: SOT 1427815 SOS 991741 HAS SOPS 969806 HAS SOUS 169126 HAS SOUPS 168194 WITH SCORE 169185.741
AT ITER 7066 NEW BEST:: SOT 1427850 SOS 991776 HAS SOPS 969841 HAS SOUS 169030 HAS SOUPS 168098 WITH SCORE 169089.776
AT ITER 7076 NEW BEST:: SOT 1427850 SOS 991824 HAS SOPS 967756 HAS SOUS 168754 HAS SOUPS 167822 WITH SCORE 168813.824
AT ITER 7103 NEW BEST:: SOT 1427850 SOS 991824 HAS SOPS 967756 HAS SOUS 168751 HAS SOUPS 167819 WITH SCORE 168810.824
AT ITER 7130 NEW BEST:: SOT 1427850 SOS 991824 HAS SOPS 967756 HAS SOUS 168740 HAS SOUPS 167808 WITH SCORE 168799.824
AT ITER 7131 NEW BEST:: SOT 1427836 SOS 991810 HAS SOPS 967742 HAS SOUS 168719 HAS SOUPS 167787 WITH SCORE 168778.81
AT ITER 7136 NEW BEST:: SOT 1428089 SOS 992063 HAS SOPS 968022 HAS SOUS 168670 HAS SOUPS 167765 WITH SCORE 168757.063
AT ITER 7147 NEW BEST:: SOT 1428089 SOS 992063 HAS SOPS 968022 HAS SOUS 168643 HAS SOUPS 167738 WITH SCORE 168730.063
AT ITER 7166 NEW BEST:: SOT 1428089 SOS 991904 HAS SOPS 967863 HAS SOUS 168643 HAS SOUPS 167738 WITH SCORE 168729.904
AT ITER 7207 NEW BEST:: SOT 1427556 SOS 991371 HAS SOPS 967330 HAS SOUS 168154 HAS SOUPS 167249 WITH SCORE 168240.371
AT ITER 7227 NEW BEST:: SOT 1427556 SOS 991368 HAS SOPS 967327 HAS SOUS 168151 HAS SOUPS 167246 WITH SCORE 168237.368
AT ITER 7249 NEW BEST:: SOT 1427393 SOS 991436 HAS SOPS 967395 HAS SOUS 167990 HAS SOUPS 167085 WITH SCORE 168076.436
AT ITER 7266 NEW BEST:: SOT 1427365 SOS 991408 HAS SOPS 967367 HAS SOUS 167962 HAS SOUPS 167057 WITH SCORE 168048.408
AT ITER 7286 NEW BEST:: SOT 1427291 SOS 991334 HAS SOPS 967293 HAS SOUS 167876 HAS SOUPS 166971 WITH SCORE 167962.334
AT ITER 7302 NEW BEST:: SOT 1427291 SOS 991334 HAS SOPS 967293 HAS SOUS 167871 HAS SOUPS 166966 WITH SCORE 167957.334
AT ITER 7314 NEW BEST:: SOT 1427291 SOS 991497 HAS SOPS 967456 HAS SOUS 167767 HAS SOUPS 166862 WITH SCORE 167853.497
AT ITER 7321 NEW BEST:: SOT 1427291 SOS 992073 HAS SOPS 968128 HAS SOUS 167749 HAS SOUPS 166844 WITH SCORE 167836.073
AT ITER 7331 NEW BEST:: SOT 1427301 SOS 992083 HAS SOPS 968138 HAS SOUS 167674 HAS SOUPS 166769 WITH SCORE 167761.083
AT ITER 7367 NEW BEST:: SOT 1427301 SOS 992083 HAS SOPS 968138 HAS SOUS 167672 HAS SOUPS 166767 WITH SCORE 167759.083
AT ITER 7436 NEW BEST:: SOT 1427301 SOS 991781 HAS SOPS 951493 HAS SOUS 167656 HAS SOUPS 166751 WITH SCORE 167742.781
AT ITER 7463 NEW BEST:: SOT 1427301 SOS 991781 HAS SOPS 951493 HAS SOUS 167655 HAS SOUPS 166750 WITH SCORE 167741.781
AT ITER 7465 NEW BEST:: SOT 1427283 SOS 991763 HAS SOPS 951475 HAS SOUS 167628 HAS SOUPS 166723 WITH SCORE 167714.763
AT ITER 7477 NEW BEST:: SOT 1427283 SOS 991587 HAS SOPS 951299 HAS SOUS 167628 HAS SOUPS 166723 WITH SCORE 167714.587
AT ITER 7481 NEW BEST:: SOT 1427251 SOS 991555 HAS SOPS 951267 HAS SOUS 167580 HAS SOUPS 166675 WITH SCORE 167666.555
AT ITER 7487 NEW BEST:: SOT 1427233 SOS 991537 HAS SOPS 951249 HAS SOUS 167553 HAS SOUPS 166648 WITH SCORE 167639.537
AT ITER 7492 NEW BEST:: SOT 1427067 SOS 991371 HAS SOPS 951130 HAS SOUS 167160 HAS SOUPS 166302 WITH SCORE 167293.371
AT ITER 7538 NEW BEST:: SOT 1427047 SOS 991331 HAS SOPS 951090 HAS SOUS 167121 HAS SOUPS 166263 WITH SCORE 167254.331
AT ITER 7549 NEW BEST:: SOT 1427047 SOS 991745 HAS SOPS 951504 HAS SOUS 167110 HAS SOUPS 166252 WITH SCORE 167243.745
AT ITER 7635 NEW BEST:: SOT 1427047 SOS 991745 HAS SOPS 951504 HAS SOUS 167098 HAS SOUPS 166240 WITH SCORE 167231.745
AT ITER 7640 NEW BEST:: SOT 1426960 SOS 991640 HAS SOPS 951399 HAS SOUS 166993 HAS SOUPS 166135 WITH SCORE 167126.64
AT ITER 7664 NEW BEST:: SOT 1426960 SOS 991640 HAS SOPS 951399 HAS SOUS 166922 HAS SOUPS 166064 WITH SCORE 167055.64
AT ITER 7677 NEW BEST:: SOT 1426946 SOS 991626 HAS SOPS 951385 HAS SOUS 166901 HAS SOUPS 166043 WITH SCORE 167034.626
AT ITER 7694 NEW BEST:: SOT 1426946 SOS 991624 HAS SOPS 951473 HAS SOUS 166899 HAS SOUPS 166041 WITH SCORE 167032.624
AT ITER 7713 NEW BEST:: SOT 1426898 SOS 991576 HAS SOPS 951425 HAS SOUS 166812 HAS SOUPS 165954 WITH SCORE 166945.576
AT ITER 7730 NEW BEST:: SOT 1426898 SOS 991646 HAS SOPS 950698 HAS SOUS 166599 HAS SOUPS 165736 WITH SCORE 166727.646
AT ITER 7755 NEW BEST:: SOT 1426818 SOS 991566 HAS SOPS 950618 HAS SOUS 166479 HAS SOUPS 165616 WITH SCORE 166607.566
AT ITER 7769 NEW BEST:: SOT 1426226 SOS 990866 HAS SOPS 949918 HAS SOUS 165854 HAS SOUPS 164991 WITH SCORE 165981.866
AT ITER 7801 NEW BEST:: SOT 1426212 SOS 990852 HAS SOPS 949904 HAS SOUS 165833 HAS SOUPS 164970 WITH SCORE 165960.852
AT ITER 7814 NEW BEST:: SOT 1426212 SOS 991390 HAS SOPS 950730 HAS SOUS 165772 HAS SOUPS 164909 WITH SCORE 165900.39
AT ITER 7843 NEW BEST:: SOT 1426454 SOS 991632 HAS SOPS 950972 HAS SOUS 165617 HAS SOUPS 164754 WITH SCORE 165745.632
AT ITER 7939 NEW BEST:: SOT 1426436 SOS 991614 HAS SOPS 950954 HAS SOUS 165617 HAS SOUPS 164754 WITH SCORE 165745.614
AT ITER 7993 NEW BEST:: SOT 1426410 SOS 991566 HAS SOPS 950896 HAS SOUS 165559 HAS SOUPS 164696 WITH SCORE 165687.566
AT ITER 8000 NEW BEST:: SOT 1426420 SOS 991576 HAS SOPS 950906 HAS SOUS 165541 HAS SOUPS 164678 WITH SCORE 165669.576
AT ITER 8011 NEW BEST:: SOT 1426546 SOS 991702 HAS SOPS 951032 HAS SOUS 165475 HAS SOUPS 164612 WITH SCORE 165603.702
AT ITER 8023 NEW BEST:: SOT 1426516 SOS 991672 HAS SOPS 951002 HAS SOUS 165436 HAS SOUPS 164573 WITH SCORE 165564.672
AT ITER 8041 NEW BEST:: SOT 1426516 SOS 991704 HAS SOPS 951034 HAS SOUS 165434 HAS SOUPS 164571 WITH SCORE 165562.704
AT ITER 8052 NEW BEST:: SOT 1426516 SOS 991704 HAS SOPS 951885 HAS SOUS 165423 HAS SOUPS 164560 WITH SCORE 165551.704
AT ITER 8080 NEW BEST:: SOT 1426516 SOS 991704 HAS SOPS 952640 HAS SOUS 165346 HAS SOUPS 164483 WITH SCORE 165474.704
AT ITER 8102 NEW BEST:: SOT 1426516 SOS 991704 HAS SOPS 952640 HAS SOUS 165327 HAS SOUPS 164464 WITH SCORE 165455.704
AT ITER 8138 NEW BEST:: SOT 1426516 SOS 991702 HAS SOPS 952638 HAS SOUS 165324 HAS SOUPS 164461 WITH SCORE 165452.702
AT ITER 8181 NEW BEST:: SOT 1426499 SOS 991685 HAS SOPS 952736 HAS SOUS 165302 HAS SOUPS 164439 WITH SCORE 165430.685
AT ITER 8198 NEW BEST:: SOT 1426499 SOS 991685 HAS SOPS 952736 HAS SOUS 165292 HAS SOUPS 164429 WITH SCORE 165420.685
AT ITER 8204 NEW BEST:: SOT 1425614 SOS 990800 HAS SOPS 951851 HAS SOUS 165128 HAS SOUPS 164265 WITH SCORE 165255.8
AT ITER 8208 NEW BEST:: SOT 1425854 SOS 991040 HAS SOPS 952091 HAS SOUS 164963 HAS SOUPS 164100 WITH SCORE 165091.04
AT ITER 8241 NEW BEST:: SOT 1425854 SOS 991040 HAS SOPS 952091 HAS SOUS 164786 HAS SOUPS 163923 WITH SCORE 164914.04
AT ITER 8242 NEW BEST:: SOT 1425854 SOS 991669 HAS SOPS 952720 HAS SOUS 164784 HAS SOUPS 163921 WITH SCORE 164912.669
AT ITER 8244 NEW BEST:: SOT 1425850 SOS 991665 HAS SOPS 952424 HAS SOUS 164775 HAS SOUPS 163912 WITH SCORE 164903.665
AT ITER 8286 NEW BEST:: SOT 1425533 SOS 991348 HAS SOPS 952107 HAS SOUS 164458 HAS SOUPS 163595 WITH SCORE 164586.348
AT ITER 8287 NEW BEST:: SOT 1425528 SOS 991343 HAS SOPS 952102 HAS SOUS 164438 HAS SOUPS 163575 WITH SCORE 164566.343
AT ITER 8303 NEW BEST:: SOT 1425626 SOS 991441 HAS SOPS 952200 HAS SOUS 164410 HAS SOUPS 163547 WITH SCORE 164538.441
AT ITER 8311 NEW BEST:: SOT 1425590 SOS 991401 HAS SOPS 952164 HAS SOUS 164310 HAS SOUPS 163451 WITH SCORE 164442.401
AT ITER 8334 NEW BEST:: SOT 1425586 SOS 991397 HAS SOPS 952160 HAS SOUS 164304 HAS SOUPS 163445 WITH SCORE 164436.397
AT ITER 8367 NEW BEST:: SOT 1425586 SOS 992133 HAS SOPS 953488 HAS SOUS 164251 HAS SOUPS 163392 WITH SCORE 164384.133
AT ITER 8405 NEW BEST:: SOT 1425586 SOS 992133 HAS SOPS 953488 HAS SOUS 164241 HAS SOUPS 163382 WITH SCORE 164374.133
AT ITER 8421 NEW BEST:: SOT 1425586 SOS 992734 HAS SOPS 954137 HAS SOUS 164210 HAS SOUPS 163351 WITH SCORE 164343.734
AT ITER 8439 NEW BEST:: SOT 1425306 SOS 992454 HAS SOPS 953857 HAS SOUS 163930 HAS SOUPS 163071 WITH SCORE 164063.454
AT ITER 8444 NEW BEST:: SOT 1425293 SOS 992433 HAS SOPS 953844 HAS SOUS 163897 HAS SOUPS 163046 WITH SCORE 164038.433
AT ITER 8456 NEW BEST:: SOT 1425293 SOS 993749 HAS SOPS 955160 HAS SOUS 163874 HAS SOUPS 163023 WITH SCORE 164016.749
AT ITER 8467 NEW BEST:: SOT 1425217 SOS 993681 HAS SOPS 955092 HAS SOUS 163790 HAS SOUPS 162939 WITH SCORE 163932.681
AT ITER 8484 NEW BEST:: SOT 1425159 SOS 993623 HAS SOPS 955034 HAS SOUS 163703 HAS SOUPS 162852 WITH SCORE 163845.623
AT ITER 8486 NEW BEST:: SOT 1425159 SOS 993623 HAS SOPS 955795 HAS SOUS 163636 HAS SOUPS 162785 WITH SCORE 163778.623
AT ITER 8509 NEW BEST:: SOT 1425125 SOS 993589 HAS SOPS 955761 HAS SOUS 163585 HAS SOUPS 162734 WITH SCORE 163727.589
AT ITER 8512 NEW BEST:: SOT 1425103 SOS 993567 HAS SOPS 955739 HAS SOUS 163552 HAS SOUPS 162701 WITH SCORE 163694.567
AT ITER 8521 NEW BEST:: SOT 1425083 SOS 993547 HAS SOPS 955719 HAS SOUS 163522 HAS SOUPS 162671 WITH SCORE 163664.547
AT ITER 8526 NEW BEST:: SOT 1425081 SOS 993545 HAS SOPS 955717 HAS SOUS 163519 HAS SOUPS 162668 WITH SCORE 163661.545
AT ITER 8576 NEW BEST:: SOT 1425081 SOS 993545 HAS SOPS 955717 HAS SOUS 163512 HAS SOUPS 162661 WITH SCORE 163654.545
AT ITER 8664 NEW BEST:: SOT 1425439 SOS 993891 HAS SOPS 956170 HAS SOUS 163275 HAS SOUPS 162531 WITH SCORE 163524.891
AT ITER 8677 NEW BEST:: SOT 1425439 SOS 993879 HAS SOPS 956170 HAS SOUS 163239 HAS SOUPS 162507 WITH SCORE 163500.879
AT ITER 8709 NEW BEST:: SOT 1425439 SOS 993878 HAS SOPS 956169 HAS SOUS 163239 HAS SOUPS 162507 WITH SCORE 163500.878
AT ITER 8770 NEW BEST:: SOT 1425425 SOS 993857 HAS SOPS 956155 HAS SOUS 163225 HAS SOUPS 162500 WITH SCORE 163493.857
AT ITER 8775 NEW BEST:: SOT 1425425 SOS 993819 HAS SOPS 956117 HAS SOUS 163225 HAS SOUPS 162500 WITH SCORE 163493.819
AT ITER 8788 NEW BEST:: SOT 1425315 SOS 993709 HAS SOPS 956007 HAS SOUS 163060 HAS SOUPS 162335 WITH SCORE 163328.709
AT ITER 8838 NEW BEST:: SOT 1425315 SOS 993709 HAS SOPS 956492 HAS SOUS 163025 HAS SOUPS 162300 WITH SCORE 163293.709
AT ITER 8856 NEW BEST:: SOT 1425576 SOS 993970 HAS SOPS 956753 HAS SOUS 162946 HAS SOUPS 162221 WITH SCORE 163214.97
AT ITER 8885 NEW BEST:: SOT 1425555 SOS 993949 HAS SOPS 957021 HAS SOUS 162854 HAS SOUPS 162129 WITH SCORE 163122.949
AT ITER 8894 NEW BEST:: SOT 1425551 SOS 993945 HAS SOPS 957017 HAS SOUS 162848 HAS SOUPS 162123 WITH SCORE 163116.945
AT ITER 8908 NEW BEST:: SOT 1425551 SOS 993945 HAS SOPS 956947 HAS SOUS 162825 HAS SOUPS 162100 WITH SCORE 163093.945
AT ITER 8941 NEW BEST:: SOT 1425551 SOS 990983 HAS SOPS 953985 HAS SOUS 162808 HAS SOUPS 162083 WITH SCORE 163073.983
AT ITER 8975 NEW BEST:: SOT 1425551 SOS 991339 HAS SOPS 954341 HAS SOUS 162788 HAS SOUPS 162063 WITH SCORE 163054.339
AT ITER 8977 NEW BEST:: SOT 1425551 SOS 991339 HAS SOPS 954354 HAS SOUS 162762 HAS SOUPS 162050 WITH SCORE 163041.339
AT ITER 9013 NEW BEST:: SOT 1425546 SOS 991122 HAS SOPS 954137 HAS SOUS 162747 HAS SOUPS 162035 WITH SCORE 163026.122
AT ITER 9034 NEW BEST:: SOT 1425522 SOS 991098 HAS SOPS 954113 HAS SOUS 161849 HAS SOUPS 161137 WITH SCORE 162128.098
AT ITER 9043 NEW BEST:: SOT 1425522 SOS 990097 HAS SOPS 953266 HAS SOUS 161849 HAS SOUPS 161137 WITH SCORE 162127.097
AT ITER 9053 NEW BEST:: SOT 1425524 SOS 990099 HAS SOPS 953268 HAS SOUS 161816 HAS SOUPS 161104 WITH SCORE 162094.099
AT ITER 9093 NEW BEST:: SOT 1425524 SOS 989964 HAS SOPS 953133 HAS SOUS 161816 HAS SOUPS 161104 WITH SCORE 162093.964
AT ITER 9102 NEW BEST:: SOT 1425389 SOS 989955 HAS SOPS 953124 HAS SOUS 161690 HAS SOUPS 160978 WITH SCORE 161967.955
AT ITER 9105 NEW BEST:: SOT 1425389 SOS 990115 HAS SOPS 953284 HAS SOUS 161680 HAS SOUPS 160968 WITH SCORE 161958.115
AT ITER 9126 NEW BEST:: SOT 1425389 SOS 990115 HAS SOPS 953284 HAS SOUS 161678 HAS SOUPS 160966 WITH SCORE 161956.115
AT ITER 9176 NEW BEST:: SOT 1425361 SOS 990087 HAS SOPS 953256 HAS SOUS 161644 HAS SOUPS 160932 WITH SCORE 161922.087
AT ITER 9264 NEW BEST:: SOT 1425241 SOS 989951 HAS SOPS 953120 HAS SOUS 161524 HAS SOUPS 160812 WITH SCORE 161801.951
AT ITER 9265 NEW BEST:: SOT 1425241 SOS 990347 HAS SOPS 953516 HAS SOUS 161502 HAS SOUPS 160790 WITH SCORE 161780.347
AT ITER 9266 NEW BEST:: SOT 1425241 SOS 990347 HAS SOPS 953989 HAS SOUS 161491 HAS SOUPS 160779 WITH SCORE 161769.347
AT ITER 9372 NEW BEST:: SOT 1425273 SOS 990379 HAS SOPS 954021 HAS SOUS 161483 HAS SOUPS 160771 WITH SCORE 161761.379
AT ITER 9412 NEW BEST:: SOT 1425259 SOS 990365 HAS SOPS 954007 HAS SOUS 161462 HAS SOUPS 160750 WITH SCORE 161740.365
AT ITER 9433 NEW BEST:: SOT 1425245 SOS 990351 HAS SOPS 953993 HAS SOUS 161447 HAS SOUPS 160735 WITH SCORE 161725.351
AT ITER 9441 NEW BEST:: SOT 1424999 SOS 990105 HAS SOPS 953747 HAS SOUS 161401 HAS SOUPS 160689 WITH SCORE 161679.105
AT ITER 9496 NEW BEST:: SOT 1425243 SOS 990296 HAS SOPS 953938 HAS SOUS 161067 HAS SOUPS 160355 WITH SCORE 161345.296
AT ITER 9516 NEW BEST:: SOT 1425243 SOS 990296 HAS SOPS 953944 HAS SOUS 161001 HAS SOUPS 160295 WITH SCORE 161285.296
AT ITER 9526 NEW BEST:: SOT 1425243 SOS 990296 HAS SOPS 953944 HAS SOUS 160997 HAS SOUPS 160291 WITH SCORE 161281.296
AT ITER 9549 NEW BEST:: SOT 1425198 SOS 990251 HAS SOPS 953899 HAS SOUS 160940 HAS SOUPS 160234 WITH SCORE 161224.251
AT ITER 9647 NEW BEST:: SOT 1425201 SOS 990250 HAS SOPS 954678 HAS SOUS 160873 HAS SOUPS 160167 WITH SCORE 161157.25
AT ITER 9652 NEW BEST:: SOT 1425188 SOS 990237 HAS SOPS 954665 HAS SOUS 160859 HAS SOUPS 160153 WITH SCORE 161143.237
AT ITER 9693 NEW BEST:: SOT 1425188 SOS 989951 HAS SOPS 954379 HAS SOUS 160859 HAS SOUPS 160153 WITH SCORE 161142.951
AT ITER 9699 NEW BEST:: SOT 1425188 SOS 968015 HAS SOPS 932249 HAS SOUS 160854 HAS SOUPS 160148 WITH SCORE 161116.015
AT ITER 9772 NEW BEST:: SOT 1425188 SOS 967143 HAS SOPS 931442 HAS SOUS 160838 HAS SOUPS 160132 WITH SCORE 161099.143
AT ITER 9774 NEW BEST:: SOT 1425192 SOS 967135 HAS SOPS 931434 HAS SOUS 160836 HAS SOUPS 160130 WITH SCORE 161097.135
AT ITER 9810 NEW BEST:: SOT 1425086 SOS 967029 HAS SOPS 931328 HAS SOUS 160677 HAS SOUPS 159971 WITH SCORE 160938.029
AT ITER 9842 NEW BEST:: SOT 1425084 SOS 967027 HAS SOPS 931326 HAS SOUS 160674 HAS SOUPS 159968 WITH SCORE 160935.027
AT ITER 9856 NEW BEST:: SOT 1425080 SOS 967023 HAS SOPS 931322 HAS SOUS 160668 HAS SOUPS 159962 WITH SCORE 160929.023
AT ITER 9861 NEW BEST:: SOT 1425080 SOS 967151 HAS SOPS 931450 HAS SOUS 160660 HAS SOUPS 159954 WITH SCORE 160921.151
AT ITER 9867 NEW BEST:: SOT 1425068 SOS 967139 HAS SOPS 931438 HAS SOUS 160642 HAS SOUPS 159936 WITH SCORE 160903.139
AT ITER 9908 NEW BEST:: SOT 1425068 SOS 967139 HAS SOPS 931723 HAS SOUS 160616 HAS SOUPS 159910 WITH SCORE 160877.139
AT ITER 9969 NEW BEST:: SOT 1425034 SOS 967105 HAS SOPS 931689 HAS SOUS 160565 HAS SOUPS 159859 WITH SCORE 160826.105
AT ITER 9985 NEW BEST:: SOT 1424998 SOS 967069 HAS SOPS 931653 HAS SOUS 160511 HAS SOUPS 159805 WITH SCORE 160772.069
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 4256812 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16130372 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-COL-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-COL-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-167891803100232"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SafeBus-COL-15.tgz
mv SafeBus-COL-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 '' 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 ;