Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r108-csrt-158961250500443.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.........................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is NoC3x3-PT-8A, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250500443
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 920K
-rw-r--r-- 1 mcc users 3.2K Apr 8 15:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 8 15:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 7 18:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 7 18:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Apr 6 20:22 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 6 20:22 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 6 04:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 6 04:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Apr 6 20:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 6 20:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 745K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-00
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-01
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-02
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-03
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-04
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-05
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-06
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-07
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-08
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-09
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-10
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-11
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-12
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-13
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-14
FORMULA_NAME NoC3x3-PT-8A-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589644072586

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running NoC3x3 (PT), instance 8A
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 317 places, 4293 transitions, 9691 arcs.
AT ITER 0 NEW BEST:: SOT 302177 SOS 230273 HAS SOPS 230273 HAS SOUS 77216 HAS SOUPS 77216 WITH SCORE 77446.273
AT ITER 1 NEW BEST:: SOT 301864 SOS 230028 HAS SOPS 230028 HAS SOUS 76753 HAS SOUPS 76753 WITH SCORE 76983.028
AT ITER 2 NEW BEST:: SOT 301864 SOS 230028 HAS SOPS 230028 HAS SOUS 76751 HAS SOUPS 76751 WITH SCORE 76981.028
AT ITER 5 NEW BEST:: SOT 301864 SOS 230020 HAS SOPS 230020 HAS SOUS 76751 HAS SOUPS 76751 WITH SCORE 76981.02
AT ITER 7 NEW BEST:: SOT 301807 SOS 229963 HAS SOPS 229963 HAS SOUS 76580 HAS SOUPS 76580 WITH SCORE 76809.963
AT ITER 9 NEW BEST:: SOT 301528 SOS 229684 HAS SOPS 229684 HAS SOUS 76298 HAS SOUPS 76298 WITH SCORE 76527.684
AT ITER 11 NEW BEST:: SOT 301828 SOS 229984 HAS SOPS 229984 HAS SOUS 76223 HAS SOUPS 76223 WITH SCORE 76452.984
AT ITER 12 NEW BEST:: SOT 301515 SOS 229671 HAS SOPS 229671 HAS SOUS 75869 HAS SOUPS 75869 WITH SCORE 76098.671
AT ITER 16 NEW BEST:: SOT 301069 SOS 229225 HAS SOPS 229225 HAS SOUS 75501 HAS SOUPS 75501 WITH SCORE 75730.225
AT ITER 21 NEW BEST:: SOT 300438 SOS 228623 HAS SOPS 228623 HAS SOUS 74840 HAS SOUPS 74840 WITH SCORE 75068.623
AT ITER 24 NEW BEST:: SOT 299995 SOS 228180 HAS SOPS 228180 HAS SOUS 74546 HAS SOUPS 74546 WITH SCORE 74774.18
AT ITER 26 NEW BEST:: SOT 300025 SOS 228210 HAS SOPS 228210 HAS SOUS 74501 HAS SOUPS 74501 WITH SCORE 74729.21
AT ITER 27 NEW BEST:: SOT 299995 SOS 228180 HAS SOPS 228180 HAS SOUS 74471 HAS SOUPS 74471 WITH SCORE 74699.18
AT ITER 29 NEW BEST:: SOT 299202 SOS 227387 HAS SOPS 227387 HAS SOUS 73764 HAS SOUPS 73764 WITH SCORE 73991.387
AT ITER 30 NEW BEST:: SOT 298433 SOS 226618 HAS SOPS 226618 HAS SOUS 72991 HAS SOUPS 72991 WITH SCORE 73217.618
AT ITER 31 NEW BEST:: SOT 298019 SOS 226219 HAS SOPS 226219 HAS SOUS 72653 HAS SOUPS 72653 WITH SCORE 72879.219
AT ITER 33 NEW BEST:: SOT 297847 SOS 226047 HAS SOPS 226047 HAS SOUS 72430 HAS SOUPS 72430 WITH SCORE 72656.047
AT ITER 35 NEW BEST:: SOT 297847 SOS 225947 HAS SOPS 225947 HAS SOUS 72430 HAS SOUPS 72430 WITH SCORE 72655.947
AT ITER 41 NEW BEST:: SOT 297868 SOS 225968 HAS SOPS 225968 HAS SOUS 72381 HAS SOUPS 72381 WITH SCORE 72606.968
AT ITER 42 NEW BEST:: SOT 297573 SOS 225692 HAS SOPS 225692 HAS SOUS 72034 HAS SOUPS 72034 WITH SCORE 72259.692
AT ITER 48 NEW BEST:: SOT 312783 SOS 240883 HAS SOPS 240883 HAS SOUS 72017 HAS SOUPS 72017 WITH SCORE 72257.883
AT ITER 51 NEW BEST:: SOT 312881 SOS 240981 HAS SOPS 240981 HAS SOUS 71980 HAS SOUPS 71980 WITH SCORE 72220.981
AT ITER 54 NEW BEST:: SOT 312676 SOS 240776 HAS SOPS 240776 HAS SOUS 71490 HAS SOUPS 71490 WITH SCORE 71730.776
AT ITER 57 NEW BEST:: SOT 312176 SOS 240276 HAS SOPS 240276 HAS SOUS 71221 HAS SOUPS 71221 WITH SCORE 71461.276
AT ITER 58 NEW BEST:: SOT 312174 SOS 240274 HAS SOPS 240274 HAS SOUS 71219 HAS SOUPS 71219 WITH SCORE 71459.274
AT ITER 60 NEW BEST:: SOT 311417 SOS 238745 HAS SOPS 238310 HAS SOUS 70310 HAS SOUPS 69875 WITH SCORE 70113.745
AT ITER 61 NEW BEST:: SOT 311417 SOS 238720 HAS SOPS 238285 HAS SOUS 70310 HAS SOUPS 69875 WITH SCORE 70113.72
AT ITER 62 NEW BEST:: SOT 311341 SOS 238644 HAS SOPS 238209 HAS SOUS 70042 HAS SOUPS 69607 WITH SCORE 69845.644
AT ITER 64 NEW BEST:: SOT 311256 SOS 238559 HAS SOPS 238124 HAS SOUS 69968 HAS SOUPS 69533 WITH SCORE 69771.559
AT ITER 65 NEW BEST:: SOT 310260 SOS 237563 HAS SOPS 237128 HAS SOUS 68720 HAS SOUPS 68285 WITH SCORE 68522.563
AT ITER 67 NEW BEST:: SOT 310256 SOS 237559 HAS SOPS 237124 HAS SOUS 68714 HAS SOUPS 68279 WITH SCORE 68516.559
AT ITER 69 NEW BEST:: SOT 309469 SOS 236772 HAS SOPS 236337 HAS SOUS 68214 HAS SOUPS 67779 WITH SCORE 68015.772
AT ITER 73 NEW BEST:: SOT 309369 SOS 236672 HAS SOPS 236237 HAS SOUS 68115 HAS SOUPS 67680 WITH SCORE 67916.672
AT ITER 74 NEW BEST:: SOT 308723 SOS 236328 HAS SOPS 236295 HAS SOUS 67373 HAS SOUPS 67340 WITH SCORE 67576.328
AT ITER 75 NEW BEST:: SOT 308145 SOS 235750 HAS SOPS 235717 HAS SOUS 66787 HAS SOUPS 66754 WITH SCORE 66989.75
AT ITER 77 NEW BEST:: SOT 308099 SOS 235704 HAS SOPS 235671 HAS SOUS 66672 HAS SOUPS 66639 WITH SCORE 66874.704
AT ITER 85 NEW BEST:: SOT 307976 SOS 235149 HAS SOPS 235116 HAS SOUS 66401 HAS SOUPS 66368 WITH SCORE 66603.149
AT ITER 89 NEW BEST:: SOT 308156 SOS 234873 HAS SOPS 234840 HAS SOUS 66335 HAS SOUPS 66302 WITH SCORE 66536.873
AT ITER 90 NEW BEST:: SOT 307838 SOS 234555 HAS SOPS 234522 HAS SOUS 65957 HAS SOUPS 65924 WITH SCORE 66158.555
AT ITER 92 NEW BEST:: SOT 307838 SOS 234555 HAS SOPS 234522 HAS SOUS 65888 HAS SOUPS 65855 WITH SCORE 66089.555
AT ITER 94 NEW BEST:: SOT 307830 SOS 234547 HAS SOPS 234514 HAS SOUS 65863 HAS SOUPS 65830 WITH SCORE 66064.547
AT ITER 95 NEW BEST:: SOT 307821 SOS 234538 HAS SOPS 234505 HAS SOUS 65836 HAS SOUPS 65803 WITH SCORE 66037.538
AT ITER 97 NEW BEST:: SOT 321504 SOS 247165 HAS SOPS 247132 HAS SOUS 65633 HAS SOUPS 65600 WITH SCORE 65847.165
AT ITER 100 NEW BEST:: SOT 321504 SOS 247165 HAS SOPS 247132 HAS SOUS 65589 HAS SOUPS 65556 WITH SCORE 65803.165
AT ITER 107 NEW BEST:: SOT 321214 SOS 246875 HAS SOPS 246842 HAS SOUS 65299 HAS SOUPS 65266 WITH SCORE 65512.875
AT ITER 109 NEW BEST:: SOT 321150 SOS 246811 HAS SOPS 246778 HAS SOUS 65116 HAS SOUPS 65083 WITH SCORE 65329.811
AT ITER 113 NEW BEST:: SOT 319728 SOS 245389 HAS SOPS 245356 HAS SOUS 65059 HAS SOUPS 65026 WITH SCORE 65271.389
AT ITER 114 NEW BEST:: SOT 319516 SOS 245177 HAS SOPS 245144 HAS SOUS 64912 HAS SOUPS 64879 WITH SCORE 65124.177
AT ITER 127 NEW BEST:: SOT 319455 SOS 245116 HAS SOPS 245083 HAS SOUS 64777 HAS SOUPS 64744 WITH SCORE 64989.116
AT ITER 129 NEW BEST:: SOT 319452 SOS 245092 HAS SOPS 245059 HAS SOUS 64771 HAS SOUPS 64738 WITH SCORE 64983.092
AT ITER 131 NEW BEST:: SOT 319004 SOS 244644 HAS SOPS 244611 HAS SOUS 64238 HAS SOUPS 64205 WITH SCORE 64449.644
AT ITER 132 NEW BEST:: SOT 318993 SOS 244633 HAS SOPS 244600 HAS SOUS 64205 HAS SOUPS 64172 WITH SCORE 64416.633
AT ITER 136 NEW BEST:: SOT 318987 SOS 244627 HAS SOPS 244594 HAS SOUS 64187 HAS SOUPS 64154 WITH SCORE 64398.627
AT ITER 140 NEW BEST:: SOT 318242 SOS 243137 HAS SOPS 243104 HAS SOUS 64182 HAS SOUPS 64149 WITH SCORE 64392.137
AT ITER 141 NEW BEST:: SOT 318260 SOS 243277 HAS SOPS 243244 HAS SOUS 64138 HAS SOUPS 64105 WITH SCORE 64348.277
AT ITER 143 NEW BEST:: SOT 318387 SOS 243404 HAS SOPS 243371 HAS SOUS 63687 HAS SOUPS 63654 WITH SCORE 63897.404
AT ITER 144 NEW BEST:: SOT 317708 SOS 242725 HAS SOPS 242692 HAS SOUS 62880 HAS SOUPS 62847 WITH SCORE 63089.725
AT ITER 145 NEW BEST:: SOT 343011 SOS 268026 HAS SOPS 267993 HAS SOUS 62507 HAS SOUPS 62474 WITH SCORE 62742.026
AT ITER 149 NEW BEST:: SOT 342258 SOS 267273 HAS SOPS 267240 HAS SOUS 61529 HAS SOUPS 61496 WITH SCORE 61763.273
AT ITER 168 NEW BEST:: SOT 342258 SOS 267273 HAS SOPS 267240 HAS SOUS 61504 HAS SOUPS 61471 WITH SCORE 61738.273
AT ITER 169 NEW BEST:: SOT 342234 SOS 267264 HAS SOPS 267231 HAS SOUS 61423 HAS SOUPS 61390 WITH SCORE 61657.264
AT ITER 171 NEW BEST:: SOT 341510 SOS 266540 HAS SOPS 266507 HAS SOUS 60722 HAS SOUPS 60689 WITH SCORE 60955.54
AT ITER 172 NEW BEST:: SOT 341475 SOS 266533 HAS SOPS 266521 HAS SOUS 60686 HAS SOUPS 60674 WITH SCORE 60940.533
AT ITER 177 NEW BEST:: SOT 341427 SOS 266539 HAS SOPS 266527 HAS SOUS 60647 HAS SOUPS 60635 WITH SCORE 60901.539
AT ITER 179 NEW BEST:: SOT 341411 SOS 266523 HAS SOPS 266511 HAS SOUS 60637 HAS SOUPS 60625 WITH SCORE 60891.523
AT ITER 180 NEW BEST:: SOT 341383 SOS 266495 HAS SOPS 266483 HAS SOUS 60595 HAS SOUPS 60583 WITH SCORE 60849.495
AT ITER 182 NEW BEST:: SOT 341599 SOS 261023 HAS SOPS 261011 HAS SOUS 60573 HAS SOUPS 60561 WITH SCORE 60822.023
AT ITER 187 NEW BEST:: SOT 341623 SOS 261047 HAS SOPS 261035 HAS SOUS 60549 HAS SOUPS 60537 WITH SCORE 60798.047
AT ITER 192 NEW BEST:: SOT 341623 SOS 252385 HAS SOPS 252373 HAS SOUS 60549 HAS SOUPS 60537 WITH SCORE 60789.385
AT ITER 202 NEW BEST:: SOT 341491 SOS 252253 HAS SOPS 252241 HAS SOUS 60285 HAS SOUPS 60273 WITH SCORE 60525.253
AT ITER 203 NEW BEST:: SOT 341734 SOS 252496 HAS SOPS 252484 HAS SOUS 60173 HAS SOUPS 60161 WITH SCORE 60413.496
AT ITER 205 NEW BEST:: SOT 342525 SOS 252535 HAS SOPS 252523 HAS SOUS 59995 HAS SOUPS 59983 WITH SCORE 60235.535
AT ITER 206 NEW BEST:: SOT 342513 SOS 252523 HAS SOPS 252511 HAS SOUS 59971 HAS SOUPS 59959 WITH SCORE 60211.523
AT ITER 208 NEW BEST:: SOT 342960 SOS 252970 HAS SOPS 252958 HAS SOUS 59914 HAS SOUPS 59902 WITH SCORE 60154.97
AT ITER 212 NEW BEST:: SOT 342884 SOS 252894 HAS SOPS 252882 HAS SOUS 59717 HAS SOUPS 59705 WITH SCORE 59957.894
AT ITER 216 NEW BEST:: SOT 342910 SOS 252312 HAS SOPS 252300 HAS SOUS 59621 HAS SOUPS 59609 WITH SCORE 59861.312
AT ITER 220 NEW BEST:: SOT 342882 SOS 252284 HAS SOPS 252272 HAS SOUS 59572 HAS SOUPS 59560 WITH SCORE 59812.284
AT ITER 232 NEW BEST:: SOT 342877 SOS 252271 HAS SOPS 252259 HAS SOUS 59559 HAS SOUPS 59547 WITH SCORE 59799.271
AT ITER 234 NEW BEST:: SOT 342870 SOS 252264 HAS SOPS 252252 HAS SOUS 59558 HAS SOUPS 59546 WITH SCORE 59798.264
AT ITER 235 NEW BEST:: SOT 342438 SOS 251832 HAS SOPS 251820 HAS SOUS 59141 HAS SOUPS 59129 WITH SCORE 59380.832
AT ITER 237 NEW BEST:: SOT 342352 SOS 251746 HAS SOPS 251734 HAS SOUS 59089 HAS SOUPS 59077 WITH SCORE 59328.746
AT ITER 238 NEW BEST:: SOT 341730 SOS 251124 HAS SOPS 251112 HAS SOUS 58375 HAS SOUPS 58363 WITH SCORE 58614.124
AT ITER 239 NEW BEST:: SOT 341196 SOS 250250 HAS SOPS 250238 HAS SOUS 57952 HAS SOUPS 57940 WITH SCORE 58190.25
AT ITER 240 NEW BEST:: SOT 341632 SOS 250686 HAS SOPS 250674 HAS SOUS 57756 HAS SOUPS 57744 WITH SCORE 57994.686
AT ITER 242 NEW BEST:: SOT 341236 SOS 250290 HAS SOPS 250278 HAS SOUS 57302 HAS SOUPS 57290 WITH SCORE 57540.29
AT ITER 255 NEW BEST:: SOT 340300 SOS 249510 HAS SOPS 249498 HAS SOUS 56521 HAS SOUPS 56509 WITH SCORE 56758.51
AT ITER 258 NEW BEST:: SOT 346070 SOS 255198 HAS SOPS 255186 HAS SOUS 56509 HAS SOUPS 56497 WITH SCORE 56752.198
AT ITER 259 NEW BEST:: SOT 345669 SOS 254797 HAS SOPS 254785 HAS SOUS 56100 HAS SOUPS 56088 WITH SCORE 56342.797
AT ITER 262 NEW BEST:: SOT 345616 SOS 254744 HAS SOPS 254732 HAS SOUS 55983 HAS SOUPS 55971 WITH SCORE 56225.744
AT ITER 263 NEW BEST:: SOT 345529 SOS 254657 HAS SOPS 254645 HAS SOUS 55909 HAS SOUPS 55897 WITH SCORE 56151.657
AT ITER 266 NEW BEST:: SOT 352144 SOS 257674 HAS SOPS 257662 HAS SOUS 55901 HAS SOUPS 55889 WITH SCORE 56146.674
AT ITER 267 NEW BEST:: SOT 386709 SOS 292487 HAS SOPS 292475 HAS SOUS 55732 HAS SOUPS 55720 WITH SCORE 56012.487
AT ITER 278 NEW BEST:: SOT 386220 SOS 291998 HAS SOPS 291986 HAS SOUS 55179 HAS SOUPS 55167 WITH SCORE 55458.998
AT ITER 286 NEW BEST:: SOT 386060 SOS 291838 HAS SOPS 291826 HAS SOUS 55019 HAS SOUPS 55007 WITH SCORE 55298.838
AT ITER 287 NEW BEST:: SOT 385646 SOS 290641 HAS SOPS 290629 HAS SOUS 54858 HAS SOUPS 54846 WITH SCORE 55136.641
AT ITER 288 NEW BEST:: SOT 385795 SOS 290790 HAS SOPS 290778 HAS SOUS 54741 HAS SOUPS 54729 WITH SCORE 55019.79
AT ITER 303 NEW BEST:: SOT 385750 SOS 290745 HAS SOPS 290733 HAS SOUS 54696 HAS SOUPS 54684 WITH SCORE 54974.745
AT ITER 304 NEW BEST:: SOT 385696 SOS 290691 HAS SOPS 290679 HAS SOUS 54596 HAS SOUPS 54584 WITH SCORE 54874.691
AT ITER 311 NEW BEST:: SOT 385606 SOS 290601 HAS SOPS 290589 HAS SOUS 54460 HAS SOUPS 54448 WITH SCORE 54738.601
AT ITER 316 NEW BEST:: SOT 385622 SOS 290617 HAS SOPS 290605 HAS SOUS 54408 HAS SOUPS 54396 WITH SCORE 54686.617
AT ITER 317 NEW BEST:: SOT 385510 SOS 290505 HAS SOPS 290493 HAS SOUS 54242 HAS SOUPS 54230 WITH SCORE 54520.505
AT ITER 321 NEW BEST:: SOT 385202 SOS 288267 HAS SOPS 288255 HAS SOUS 53706 HAS SOUPS 53694 WITH SCORE 53982.267
AT ITER 324 NEW BEST:: SOT 390027 SOS 293016 HAS SOPS 293004 HAS SOUS 53654 HAS SOUPS 53642 WITH SCORE 53935.016
AT ITER 325 NEW BEST:: SOT 390027 SOS 284461 HAS SOPS 284449 HAS SOUS 53654 HAS SOUPS 53642 WITH SCORE 53926.461
AT ITER 332 NEW BEST:: SOT 389679 SOS 284317 HAS SOPS 284101 HAS SOUS 53306 HAS SOUPS 53090 WITH SCORE 53374.317
AT ITER 342 NEW BEST:: SOT 389185 SOS 283823 HAS SOPS 283607 HAS SOUS 52974 HAS SOUPS 52758 WITH SCORE 53041.823
AT ITER 345 NEW BEST:: SOT 389113 SOS 283751 HAS SOPS 283535 HAS SOUS 52842 HAS SOUPS 52626 WITH SCORE 52909.751
AT ITER 346 NEW BEST:: SOT 389113 SOS 283742 HAS SOPS 283526 HAS SOUS 52797 HAS SOUPS 52581 WITH SCORE 52864.742
AT ITER 347 NEW BEST:: SOT 388683 SOS 283312 HAS SOPS 283096 HAS SOUS 52430 HAS SOUPS 52214 WITH SCORE 52497.312
AT ITER 356 NEW BEST:: SOT 388582 SOS 282930 HAS SOPS 282726 HAS SOUS 52413 HAS SOUPS 52209 WITH SCORE 52491.93
AT ITER 358 NEW BEST:: SOT 388350 SOS 282698 HAS SOPS 282494 HAS SOUS 52375 HAS SOUPS 52171 WITH SCORE 52453.698
AT ITER 360 NEW BEST:: SOT 388333 SOS 282545 HAS SOPS 282341 HAS SOUS 52358 HAS SOUPS 52154 WITH SCORE 52436.545
AT ITER 367 NEW BEST:: SOT 388353 SOS 282565 HAS SOPS 282361 HAS SOUS 52294 HAS SOUPS 52090 WITH SCORE 52372.565
AT ITER 371 NEW BEST:: SOT 388500 SOS 282810 HAS SOPS 282606 HAS SOUS 52241 HAS SOUPS 52037 WITH SCORE 52319.81
AT ITER 377 NEW BEST:: SOT 386116 SOS 277923 HAS SOPS 277719 HAS SOUS 52225 HAS SOUPS 52021 WITH SCORE 52298.923
AT ITER 381 NEW BEST:: SOT 395340 SOS 287023 HAS SOPS 286819 HAS SOUS 52159 HAS SOUPS 51955 WITH SCORE 52242.023
AT ITER 384 NEW BEST:: SOT 395130 SOS 286813 HAS SOPS 286609 HAS SOUS 51721 HAS SOUPS 51517 WITH SCORE 51803.813
AT ITER 385 NEW BEST:: SOT 395131 SOS 286814 HAS SOPS 286610 HAS SOUS 51720 HAS SOUPS 51516 WITH SCORE 51802.814
AT ITER 388 NEW BEST:: SOT 395072 SOS 286755 HAS SOPS 286551 HAS SOUS 51445 HAS SOUPS 51241 WITH SCORE 51527.755
AT ITER 389 NEW BEST:: SOT 394972 SOS 286655 HAS SOPS 286451 HAS SOUS 51301 HAS SOUPS 51097 WITH SCORE 51383.655
AT ITER 391 NEW BEST:: SOT 394951 SOS 286634 HAS SOPS 286430 HAS SOUS 51266 HAS SOUPS 51062 WITH SCORE 51348.634
AT ITER 396 NEW BEST:: SOT 394870 SOS 286553 HAS SOPS 286349 HAS SOUS 51131 HAS SOUPS 50927 WITH SCORE 51213.553
AT ITER 400 NEW BEST:: SOT 394852 SOS 286535 HAS SOPS 286331 HAS SOUS 51113 HAS SOUPS 50909 WITH SCORE 51195.535
AT ITER 401 NEW BEST:: SOT 394858 SOS 286541 HAS SOPS 286337 HAS SOUS 51111 HAS SOUPS 50907 WITH SCORE 51193.541
AT ITER 403 NEW BEST:: SOT 394558 SOS 286241 HAS SOPS 286037 HAS SOUS 50771 HAS SOUPS 50567 WITH SCORE 50853.241
AT ITER 416 NEW BEST:: SOT 393798 SOS 274621 HAS SOPS 274417 HAS SOUS 50748 HAS SOUPS 50544 WITH SCORE 50818.621
AT ITER 417 NEW BEST:: SOT 393841 SOS 274664 HAS SOPS 274460 HAS SOUS 50693 HAS SOUPS 50489 WITH SCORE 50763.664
AT ITER 420 NEW BEST:: SOT 393190 SOS 274013 HAS SOPS 273809 HAS SOUS 50148 HAS SOUPS 49944 WITH SCORE 50218.013
AT ITER 428 NEW BEST:: SOT 393147 SOS 273957 HAS SOPS 273768 HAS SOUS 50078 HAS SOUPS 49889 WITH SCORE 50162.957
AT ITER 435 NEW BEST:: SOT 393201 SOS 273741 HAS SOPS 273552 HAS SOUS 50078 HAS SOUPS 49889 WITH SCORE 50162.741
AT ITER 437 NEW BEST:: SOT 393101 SOS 273641 HAS SOPS 273452 HAS SOUS 49978 HAS SOUPS 49789 WITH SCORE 50062.641
AT ITER 438 NEW BEST:: SOT 392523 SOS 273063 HAS SOPS 272874 HAS SOUS 49483 HAS SOUPS 49294 WITH SCORE 49567.063
AT ITER 447 NEW BEST:: SOT 392519 SOS 273059 HAS SOPS 272870 HAS SOUS 49462 HAS SOUPS 49273 WITH SCORE 49546.059
AT ITER 458 NEW BEST:: SOT 391638 SOS 272178 HAS SOPS 271989 HAS SOUS 48475 HAS SOUPS 48286 WITH SCORE 48558.178
AT ITER 465 NEW BEST:: SOT 391738 SOS 272078 HAS SOPS 271889 HAS SOUS 48462 HAS SOUPS 48273 WITH SCORE 48545.078
AT ITER 469 NEW BEST:: SOT 398043 SOS 271127 HAS SOPS 270938 HAS SOUS 48374 HAS SOUPS 48185 WITH SCORE 48456.127
AT ITER 480 NEW BEST:: SOT 398233 SOS 271569 HAS SOPS 271380 HAS SOUS 48267 HAS SOUPS 48078 WITH SCORE 48349.569
AT ITER 481 NEW BEST:: SOT 397621 SOS 270957 HAS SOPS 270768 HAS SOUS 47515 HAS SOUPS 47326 WITH SCORE 47596.957
AT ITER 491 NEW BEST:: SOT 397559 SOS 270062 HAS SOPS 269873 HAS SOUS 47503 HAS SOUPS 47314 WITH SCORE 47584.062
AT ITER 496 NEW BEST:: SOT 426634 SOS 298973 HAS SOPS 298784 HAS SOUS 47109 HAS SOUPS 46920 WITH SCORE 47218.973
AT ITER 498 NEW BEST:: SOT 426640 SOS 299125 HAS SOPS 298936 HAS SOUS 47088 HAS SOUPS 46899 WITH SCORE 47198.125
AT ITER 503 NEW BEST:: SOT 426626 SOS 299111 HAS SOPS 298922 HAS SOUS 47014 HAS SOUPS 46825 WITH SCORE 47124.111
AT ITER 522 NEW BEST:: SOT 426626 SOS 299111 HAS SOPS 298922 HAS SOUS 46974 HAS SOUPS 46785 WITH SCORE 47084.111
AT ITER 537 NEW BEST:: SOT 426626 SOS 299039 HAS SOPS 298850 HAS SOUS 46974 HAS SOUPS 46785 WITH SCORE 47084.039
AT ITER 539 NEW BEST:: SOT 426482 SOS 298895 HAS SOPS 298706 HAS SOUS 46752 HAS SOUPS 46563 WITH SCORE 46861.895
AT ITER 554 NEW BEST:: SOT 426310 SOS 298715 HAS SOPS 298526 HAS SOUS 46731 HAS SOUPS 46542 WITH SCORE 46840.715
AT ITER 557 NEW BEST:: SOT 426276 SOS 298777 HAS SOPS 298588 HAS SOUS 46697 HAS SOUPS 46508 WITH SCORE 46806.777
AT ITER 563 NEW BEST:: SOT 426253 SOS 298754 HAS SOPS 298565 HAS SOUS 46683 HAS SOUPS 46494 WITH SCORE 46792.754
AT ITER 565 NEW BEST:: SOT 426089 SOS 298590 HAS SOPS 298401 HAS SOUS 46523 HAS SOUPS 46334 WITH SCORE 46632.59
AT ITER 568 NEW BEST:: SOT 426067 SOS 298502 HAS SOPS 298313 HAS SOUS 46457 HAS SOUPS 46268 WITH SCORE 46566.502
AT ITER 577 NEW BEST:: SOT 426012 SOS 298447 HAS SOPS 298258 HAS SOUS 46422 HAS SOUPS 46233 WITH SCORE 46531.447
AT ITER 583 NEW BEST:: SOT 425964 SOS 298399 HAS SOPS 298210 HAS SOUS 46398 HAS SOUPS 46209 WITH SCORE 46507.399
AT ITER 585 NEW BEST:: SOT 425671 SOS 298106 HAS SOPS 297917 HAS SOUS 46210 HAS SOUPS 46021 WITH SCORE 46319.106
AT ITER 594 NEW BEST:: SOT 425637 SOS 298072 HAS SOPS 297883 HAS SOUS 46142 HAS SOUPS 45953 WITH SCORE 46251.072
AT ITER 598 NEW BEST:: SOT 425491 SOS 297303 HAS SOPS 297066 HAS SOUS 45996 HAS SOUPS 45759 WITH SCORE 46056.303
AT ITER 609 NEW BEST:: SOT 425147 SOS 296959 HAS SOPS 296722 HAS SOUS 45544 HAS SOUPS 45307 WITH SCORE 45603.959
AT ITER 613 NEW BEST:: SOT 432478 SOS 297855 HAS SOPS 297618 HAS SOUS 45326 HAS SOUPS 45089 WITH SCORE 45386.855
AT ITER 614 NEW BEST:: SOT 432478 SOS 297710 HAS SOPS 297473 HAS SOUS 45326 HAS SOUPS 45089 WITH SCORE 45386.71
AT ITER 615 NEW BEST:: SOT 429687 SOS 291691 HAS SOPS 291454 HAS SOUS 45316 HAS SOUPS 45079 WITH SCORE 45370.691
AT ITER 617 NEW BEST:: SOT 429583 SOS 291421 HAS SOPS 291184 HAS SOUS 45232 HAS SOUPS 44995 WITH SCORE 45286.421
AT ITER 620 NEW BEST:: SOT 429583 SOS 291421 HAS SOPS 291184 HAS SOUS 45231 HAS SOUPS 44994 WITH SCORE 45285.421
AT ITER 621 NEW BEST:: SOT 429466 SOS 291304 HAS SOPS 291067 HAS SOUS 45167 HAS SOUPS 44930 WITH SCORE 45221.304
AT ITER 626 NEW BEST:: SOT 429441 SOS 291279 HAS SOPS 291042 HAS SOUS 45131 HAS SOUPS 44894 WITH SCORE 45185.279
AT ITER 631 NEW BEST:: SOT 429377 SOS 291182 HAS SOPS 290945 HAS SOUS 45067 HAS SOUPS 44830 WITH SCORE 45121.182
AT ITER 634 NEW BEST:: SOT 429421 SOS 291226 HAS SOPS 290989 HAS SOUS 45063 HAS SOUPS 44826 WITH SCORE 45117.226
AT ITER 637 NEW BEST:: SOT 429395 SOS 291200 HAS SOPS 290963 HAS SOUS 45002 HAS SOUPS 44765 WITH SCORE 45056.2
AT ITER 641 NEW BEST:: SOT 429397 SOS 291202 HAS SOPS 290965 HAS SOUS 44986 HAS SOUPS 44749 WITH SCORE 45040.202
AT ITER 647 NEW BEST:: SOT 429269 SOS 291105 HAS SOPS 290868 HAS SOUS 44902 HAS SOUPS 44665 WITH SCORE 44956.105
AT ITER 648 NEW BEST:: SOT 429043 SOS 291149 HAS SOPS 290912 HAS SOUS 44674 HAS SOUPS 44437 WITH SCORE 44728.149
AT ITER 649 NEW BEST:: SOT 428954 SOS 291060 HAS SOPS 290823 HAS SOUS 44637 HAS SOUPS 44400 WITH SCORE 44691.06
AT ITER 656 NEW BEST:: SOT 428930 SOS 291036 HAS SOPS 290799 HAS SOUS 44575 HAS SOUPS 44338 WITH SCORE 44629.036
AT ITER 660 NEW BEST:: SOT 428906 SOS 291012 HAS SOPS 290775 HAS SOUS 44551 HAS SOUPS 44314 WITH SCORE 44605.012
AT ITER 662 NEW BEST:: SOT 428828 SOS 291097 HAS SOPS 290860 HAS SOUS 44282 HAS SOUPS 44045 WITH SCORE 44336.097
AT ITER 680 NEW BEST:: SOT 428786 SOS 291055 HAS SOPS 290818 HAS SOUS 44156 HAS SOUPS 43919 WITH SCORE 44210.055
AT ITER 697 NEW BEST:: SOT 428743 SOS 291012 HAS SOPS 290775 HAS SOUS 44124 HAS SOUPS 43887 WITH SCORE 44178.012
AT ITER 699 NEW BEST:: SOT 428743 SOS 287580 HAS SOPS 287343 HAS SOUS 44124 HAS SOUPS 43887 WITH SCORE 44174.58
AT ITER 701 NEW BEST:: SOT 428673 SOS 287510 HAS SOPS 287273 HAS SOUS 43984 HAS SOUPS 43747 WITH SCORE 44034.51
AT ITER 705 NEW BEST:: SOT 461059 SOS 320055 HAS SOPS 319818 HAS SOUS 43526 HAS SOUPS 43289 WITH SCORE 43609.055
AT ITER 706 NEW BEST:: SOT 461058 SOS 320046 HAS SOPS 319809 HAS SOUS 43524 HAS SOUPS 43287 WITH SCORE 43607.046
AT ITER 708 NEW BEST:: SOT 461011 SOS 319937 HAS SOPS 319700 HAS SOUS 43515 HAS SOUPS 43278 WITH SCORE 43597.937
AT ITER 711 NEW BEST:: SOT 460842 SOS 319768 HAS SOPS 319531 HAS SOUS 43454 HAS SOUPS 43217 WITH SCORE 43536.768
AT ITER 720 NEW BEST:: SOT 460842 SOS 319754 HAS SOPS 319517 HAS SOUS 43454 HAS SOUPS 43217 WITH SCORE 43536.754
AT ITER 724 NEW BEST:: SOT 460734 SOS 319646 HAS SOPS 319409 HAS SOUS 43346 HAS SOUPS 43109 WITH SCORE 43428.646
AT ITER 739 NEW BEST:: SOT 460660 SOS 319572 HAS SOPS 319335 HAS SOUS 43215 HAS SOUPS 42978 WITH SCORE 43297.572
AT ITER 741 NEW BEST:: SOT 495998 SOS 351713 HAS SOPS 351476 HAS SOUS 43149 HAS SOUPS 42912 WITH SCORE 43263.713
AT ITER 746 NEW BEST:: SOT 495962 SOS 351677 HAS SOPS 351440 HAS SOUS 43137 HAS SOUPS 42900 WITH SCORE 43251.677
AT ITER 749 NEW BEST:: SOT 495942 SOS 351531 HAS SOPS 351294 HAS SOUS 43137 HAS SOUPS 42900 WITH SCORE 43251.531
AT ITER 756 NEW BEST:: SOT 495911 SOS 351500 HAS SOPS 351263 HAS SOUS 43097 HAS SOUPS 42860 WITH SCORE 43211.5
AT ITER 760 NEW BEST:: SOT 488507 SOS 355758 HAS SOPS 355521 HAS SOUS 43081 HAS SOUPS 42844 WITH SCORE 43199.758
AT ITER 772 NEW BEST:: SOT 488501 SOS 355752 HAS SOPS 355515 HAS SOUS 43069 HAS SOUPS 42832 WITH SCORE 43187.752
AT ITER 775 NEW BEST:: SOT 488414 SOS 355607 HAS SOPS 355370 HAS SOUS 43061 HAS SOUPS 42824 WITH SCORE 43179.607
AT ITER 777 NEW BEST:: SOT 488228 SOS 355606 HAS SOPS 355369 HAS SOUS 42898 HAS SOUPS 42661 WITH SCORE 43016.606
AT ITER 781 NEW BEST:: SOT 488222 SOS 355600 HAS SOPS 355363 HAS SOUS 42895 HAS SOUPS 42658 WITH SCORE 43013.6
AT ITER 789 NEW BEST:: SOT 487819 SOS 353594 HAS SOPS 353357 HAS SOUS 42675 HAS SOUPS 42438 WITH SCORE 42791.594
AT ITER 790 NEW BEST:: SOT 473032 SOS 338807 HAS SOPS 338570 HAS SOUS 42184 HAS SOUPS 41947 WITH SCORE 42285.807
AT ITER 794 NEW BEST:: SOT 473032 SOS 338775 HAS SOPS 338538 HAS SOUS 42184 HAS SOUPS 41947 WITH SCORE 42285.775
AT ITER 797 NEW BEST:: SOT 472906 SOS 338649 HAS SOPS 338412 HAS SOUS 42118 HAS SOUPS 41881 WITH SCORE 42219.649
AT ITER 802 NEW BEST:: SOT 472754 SOS 338453 HAS SOPS 338216 HAS SOUS 41990 HAS SOUPS 41753 WITH SCORE 42091.453
AT ITER 828 NEW BEST:: SOT 464819 SOS 331323 HAS SOPS 331086 HAS SOUS 41909 HAS SOUPS 41672 WITH SCORE 42003.323
AT ITER 829 NEW BEST:: SOT 464896 SOS 331245 HAS SOPS 331031 HAS SOUS 41397 HAS SOUPS 41183 WITH SCORE 41514.245
AT ITER 830 NEW BEST:: SOT 464607 SOS 330956 HAS SOPS 330742 HAS SOUS 41155 HAS SOUPS 40941 WITH SCORE 41271.956
AT ITER 851 NEW BEST:: SOT 464602 SOS 330951 HAS SOPS 330737 HAS SOUS 41004 HAS SOUPS 40790 WITH SCORE 41120.951
AT ITER 853 NEW BEST:: SOT 464511 SOS 330848 HAS SOPS 330634 HAS SOUS 40919 HAS SOUPS 40705 WITH SCORE 41035.848
AT ITER 854 NEW BEST:: SOT 464412 SOS 331008 HAS SOPS 330794 HAS SOUS 40712 HAS SOUPS 40498 WITH SCORE 40829.008
AT ITER 855 NEW BEST:: SOT 464115 SOS 330167 HAS SOPS 329953 HAS SOUS 40383 HAS SOUPS 40169 WITH SCORE 40499.167
AT ITER 856 NEW BEST:: SOT 464084 SOS 330136 HAS SOPS 329922 HAS SOUS 40346 HAS SOUPS 40132 WITH SCORE 40462.136
AT ITER 879 NEW BEST:: SOT 464063 SOS 329461 HAS SOPS 329247 HAS SOUS 40256 HAS SOUPS 40042 WITH SCORE 40371.461
AT ITER 883 NEW BEST:: SOT 464060 SOS 329408 HAS SOPS 329194 HAS SOUS 40169 HAS SOUPS 39955 WITH SCORE 40284.408
AT ITER 890 NEW BEST:: SOT 466504 SOS 296032 HAS SOPS 295818 HAS SOUS 40172 HAS SOUPS 39958 WITH SCORE 40254.032
AT ITER 892 NEW BEST:: SOT 466504 SOS 300502 HAS SOPS 300288 HAS SOUS 40126 HAS SOUPS 39912 WITH SCORE 40212.502
AT ITER 893 NEW BEST:: SOT 466494 SOS 300492 HAS SOPS 300278 HAS SOUS 40121 HAS SOUPS 39907 WITH SCORE 40207.492
AT ITER 908 NEW BEST:: SOT 464686 SOS 298684 HAS SOPS 298470 HAS SOUS 40077 HAS SOUPS 39863 WITH SCORE 40161.684
AT ITER 921 NEW BEST:: SOT 464743 SOS 298717 HAS SOPS 298503 HAS SOUS 40032 HAS SOUPS 39818 WITH SCORE 40116.717
AT ITER 924 NEW BEST:: SOT 464501 SOS 298425 HAS SOPS 298211 HAS SOUS 39730 HAS SOUPS 39516 WITH SCORE 39814.425
AT ITER 927 NEW BEST:: SOT 464499 SOS 298367 HAS SOPS 298153 HAS SOUS 39726 HAS SOUPS 39512 WITH SCORE 39810.367
AT ITER 930 NEW BEST:: SOT 464454 SOS 298322 HAS SOPS 298108 HAS SOUS 39651 HAS SOUPS 39437 WITH SCORE 39735.322
AT ITER 934 NEW BEST:: SOT 464427 SOS 298295 HAS SOPS 298081 HAS SOUS 39402 HAS SOUPS 39188 WITH SCORE 39486.295
AT ITER 937 NEW BEST:: SOT 464336 SOS 298330 HAS SOPS 298116 HAS SOUS 39400 HAS SOUPS 39186 WITH SCORE 39484.33
AT ITER 946 NEW BEST:: SOT 464306 SOS 298300 HAS SOPS 298086 HAS SOUS 39340 HAS SOUPS 39126 WITH SCORE 39424.3
AT ITER 956 NEW BEST:: SOT 469281 SOS 301006 HAS SOPS 300792 HAS SOUS 39320 HAS SOUPS 39106 WITH SCORE 39407.006
AT ITER 967 NEW BEST:: SOT 469245 SOS 300970 HAS SOPS 300756 HAS SOUS 39270 HAS SOUPS 39056 WITH SCORE 39356.97
AT ITER 969 NEW BEST:: SOT 469251 SOS 300949 HAS SOPS 300732 HAS SOUS 39270 HAS SOUPS 39053 WITH SCORE 39353.949
AT ITER 970 NEW BEST:: SOT 469233 SOS 300999 HAS SOPS 300782 HAS SOUS 39259 HAS SOUPS 39042 WITH SCORE 39342.999
AT ITER 971 NEW BEST:: SOT 469065 SOS 301133 HAS SOPS 300944 HAS SOUS 39121 HAS SOUPS 38932 WITH SCORE 39233.133
AT ITER 981 NEW BEST:: SOT 468749 SOS 300231 HAS SOPS 300042 HAS SOUS 38778 HAS SOUPS 38589 WITH SCORE 38889.231
AT ITER 984 NEW BEST:: SOT 468735 SOS 300217 HAS SOPS 300028 HAS SOUS 38750 HAS SOUPS 38561 WITH SCORE 38861.217
AT ITER 986 NEW BEST:: SOT 468757 SOS 300239 HAS SOPS 300050 HAS SOUS 38740 HAS SOUPS 38551 WITH SCORE 38851.239
AT ITER 999 NEW BEST:: SOT 468734 SOS 299967 HAS SOPS 299778 HAS SOUS 38671 HAS SOUPS 38482 WITH SCORE 38781.967
AT ITER 1001 NEW BEST:: SOT 468476 SOS 299334 HAS SOPS 299145 HAS SOUS 38429 HAS SOUPS 38240 WITH SCORE 38539.334
AT ITER 1006 NEW BEST:: SOT 468452 SOS 299190 HAS SOPS 299001 HAS SOUS 38429 HAS SOUPS 38240 WITH SCORE 38539.19
AT ITER 1015 NEW BEST:: SOT 468316 SOS 299141 HAS SOPS 299004 HAS SOUS 38349 HAS SOUPS 38212 WITH SCORE 38511.141
AT ITER 1017 NEW BEST:: SOT 468257 SOS 299082 HAS SOPS 298945 HAS SOUS 38290 HAS SOUPS 38153 WITH SCORE 38452.082
AT ITER 1026 NEW BEST:: SOT 468187 SOS 299182 HAS SOPS 299045 HAS SOUS 38202 HAS SOUPS 38065 WITH SCORE 38364.182
AT ITER 1031 NEW BEST:: SOT 468151 SOS 299209 HAS SOPS 299072 HAS SOUS 38193 HAS SOUPS 38056 WITH SCORE 38355.209
AT ITER 1035 NEW BEST:: SOT 468171 SOS 299229 HAS SOPS 299092 HAS SOUS 38187 HAS SOUPS 38050 WITH SCORE 38349.229
AT ITER 1043 NEW BEST:: SOT 468049 SOS 298576 HAS SOPS 298439 HAS SOUS 37768 HAS SOUPS 37631 WITH SCORE 37929.576
AT ITER 1045 NEW BEST:: SOT 467853 SOS 298380 HAS SOPS 298243 HAS SOUS 37573 HAS SOUPS 37436 WITH SCORE 37734.38
AT ITER 1051 NEW BEST:: SOT 467789 SOS 298466 HAS SOPS 298329 HAS SOUS 37505 HAS SOUPS 37368 WITH SCORE 37666.466
AT ITER 1056 NEW BEST:: SOT 467769 SOS 298119 HAS SOPS 297953 HAS SOUS 37430 HAS SOUPS 37264 WITH SCORE 37562.119
AT ITER 1059 NEW BEST:: SOT 467757 SOS 298107 HAS SOPS 297941 HAS SOUS 37412 HAS SOUPS 37246 WITH SCORE 37544.107
AT ITER 1065 NEW BEST:: SOT 467757 SOS 298085 HAS SOPS 297919 HAS SOUS 37412 HAS SOUPS 37246 WITH SCORE 37544.085
AT ITER 1066 NEW BEST:: SOT 467739 SOS 298051 HAS SOPS 297893 HAS SOUS 37384 HAS SOUPS 37226 WITH SCORE 37524.051
AT ITER 1075 NEW BEST:: SOT 448820 SOS 279154 HAS SOPS 279017 HAS SOUS 37084 HAS SOUPS 36947 WITH SCORE 37226.154
AT ITER 1100 NEW BEST:: SOT 442862 SOS 267242 HAS SOPS 267105 HAS SOUS 37043 HAS SOUPS 36906 WITH SCORE 37173.242
AT ITER 1114 NEW BEST:: SOT 442550 SOS 267087 HAS SOPS 266950 HAS SOUS 37001 HAS SOUPS 36864 WITH SCORE 37131.087
AT ITER 1121 NEW BEST:: SOT 442510 SOS 267047 HAS SOPS 266910 HAS SOUS 36961 HAS SOUPS 36824 WITH SCORE 37091.047
AT ITER 1127 NEW BEST:: SOT 448408 SOS 266742 HAS SOPS 266605 HAS SOUS 36949 HAS SOUPS 36812 WITH SCORE 37078.742
AT ITER 1130 NEW BEST:: SOT 448416 SOS 266618 HAS SOPS 266481 HAS SOUS 36921 HAS SOUPS 36784 WITH SCORE 37050.618
AT ITER 1131 NEW BEST:: SOT 447948 SOS 266150 HAS SOPS 266013 HAS SOUS 36520 HAS SOUPS 36383 WITH SCORE 36649.15
AT ITER 1138 NEW BEST:: SOT 447903 SOS 266105 HAS SOPS 265968 HAS SOUS 36509 HAS SOUPS 36372 WITH SCORE 36638.105
AT ITER 1155 NEW BEST:: SOT 447867 SOS 266069 HAS SOPS 265932 HAS SOUS 36485 HAS SOUPS 36348 WITH SCORE 36614.069
AT ITER 1158 NEW BEST:: SOT 447576 SOS 265790 HAS SOPS 265653 HAS SOUS 36207 HAS SOUPS 36070 WITH SCORE 36335.79
AT ITER 1165 NEW BEST:: SOT 447510 SOS 265724 HAS SOPS 265587 HAS SOUS 36156 HAS SOUPS 36019 WITH SCORE 36284.724
AT ITER 1166 NEW BEST:: SOT 445722 SOS 262133 HAS SOPS 261996 HAS SOUS 36144 HAS SOUPS 36007 WITH SCORE 36269.133
AT ITER 1177 NEW BEST:: SOT 444834 SOS 261239 HAS SOPS 261102 HAS SOUS 36138 HAS SOUPS 36001 WITH SCORE 36262.239
AT ITER 1179 NEW BEST:: SOT 451664 SOS 264077 HAS SOPS 263808 HAS SOUS 36150 HAS SOUPS 35943 WITH SCORE 36207.077
AT ITER 1183 NEW BEST:: SOT 451760 SOS 263716 HAS SOPS 263350 HAS SOUS 36137 HAS SOUPS 35833 WITH SCORE 36096.716
AT ITER 1184 NEW BEST:: SOT 451695 SOS 263249 HAS SOPS 262883 HAS SOUS 36107 HAS SOUPS 35803 WITH SCORE 36066.249
AT ITER 1185 NEW BEST:: SOT 451680 SOS 263234 HAS SOPS 262868 HAS SOUS 36062 HAS SOUPS 35758 WITH SCORE 36021.234
AT ITER 1201 NEW BEST:: SOT 469895 SOS 274915 HAS SOPS 274475 HAS SOUS 36016 HAS SOUPS 35679 WITH SCORE 35953.915
AT ITER 1215 NEW BEST:: SOT 469895 SOS 274780 HAS SOPS 274340 HAS SOUS 36016 HAS SOUPS 35679 WITH SCORE 35953.78
AT ITER 1220 NEW BEST:: SOT 457040 SOS 261925 HAS SOPS 261485 HAS SOUS 35853 HAS SOUPS 35516 WITH SCORE 35777.925
AT ITER 1230 NEW BEST:: SOT 456819 SOS 261704 HAS SOPS 261264 HAS SOUS 35694 HAS SOUPS 35357 WITH SCORE 35618.704
AT ITER 1233 NEW BEST:: SOT 456811 SOS 261696 HAS SOPS 261256 HAS SOUS 35606 HAS SOUPS 35269 WITH SCORE 35530.696
AT ITER 1235 NEW BEST:: SOT 456810 SOS 261683 HAS SOPS 261243 HAS SOUS 35603 HAS SOUPS 35266 WITH SCORE 35527.683
AT ITER 1240 NEW BEST:: SOT 456749 SOS 261346 HAS SOPS 260906 HAS SOUS 35570 HAS SOUPS 35233 WITH SCORE 35494.346
AT ITER 1242 NEW BEST:: SOT 456619 SOS 261216 HAS SOPS 260776 HAS SOUS 35440 HAS SOUPS 35103 WITH SCORE 35364.216
AT ITER 1271 NEW BEST:: SOT 456580 SOS 259188 HAS SOPS 258748 HAS SOUS 35401 HAS SOUPS 35064 WITH SCORE 35323.188
AT ITER 1276 NEW BEST:: SOT 456729 SOS 259470 HAS SOPS 259030 HAS SOUS 35398 HAS SOUPS 35061 WITH SCORE 35320.47
AT ITER 1284 NEW BEST:: SOT 456711 SOS 259452 HAS SOPS 259012 HAS SOUS 35384 HAS SOUPS 35047 WITH SCORE 35306.452
AT ITER 1287 NEW BEST:: SOT 456691 SOS 259432 HAS SOPS 258992 HAS SOUS 35298 HAS SOUPS 34961 WITH SCORE 35220.432
AT ITER 1298 NEW BEST:: SOT 456632 SOS 259373 HAS SOPS 258933 HAS SOUS 35161 HAS SOUPS 34824 WITH SCORE 35083.373
AT ITER 1308 NEW BEST:: SOT 456401 SOS 259087 HAS SOPS 258647 HAS SOUS 34982 HAS SOUPS 34645 WITH SCORE 34904.087
AT ITER 1314 NEW BEST:: SOT 456337 SOS 259023 HAS SOPS 258583 HAS SOUS 34918 HAS SOUPS 34581 WITH SCORE 34840.023
AT ITER 1329 NEW BEST:: SOT 456443 SOS 259129 HAS SOPS 258689 HAS SOUS 34880 HAS SOUPS 34543 WITH SCORE 34802.129
AT ITER 1341 NEW BEST:: SOT 456443 SOS 259173 HAS SOPS 258733 HAS SOUS 34809 HAS SOUPS 34472 WITH SCORE 34731.173
AT ITER 1360 NEW BEST:: SOT 456467 SOS 259241 HAS SOPS 258801 HAS SOUS 34797 HAS SOUPS 34460 WITH SCORE 34719.241
AT ITER 1365 NEW BEST:: SOT 457769 SOS 260525 HAS SOPS 260085 HAS SOUS 34791 HAS SOUPS 34454 WITH SCORE 34714.525
AT ITER 1373 NEW BEST:: SOT 457665 SOS 260575 HAS SOPS 260135 HAS SOUS 34732 HAS SOUPS 34395 WITH SCORE 34655.575
AT ITER 1374 NEW BEST:: SOT 457657 SOS 260571 HAS SOPS 260131 HAS SOUS 34725 HAS SOUPS 34388 WITH SCORE 34648.571
AT ITER 1377 NEW BEST:: SOT 457567 SOS 259857 HAS SOPS 259417 HAS SOUS 34649 HAS SOUPS 34312 WITH SCORE 34571.857
AT ITER 1396 NEW BEST:: SOT 457377 SOS 259321 HAS SOPS 258881 HAS SOUS 34466 HAS SOUPS 34129 WITH SCORE 34388.321
AT ITER 1422 NEW BEST:: SOT 457186 SOS 259130 HAS SOPS 258690 HAS SOUS 34390 HAS SOUPS 34053 WITH SCORE 34312.13
AT ITER 1424 NEW BEST:: SOT 457186 SOS 259132 HAS SOPS 258692 HAS SOUS 34386 HAS SOUPS 34049 WITH SCORE 34308.132
AT ITER 1425 NEW BEST:: SOT 457205 SOS 259138 HAS SOPS 258685 HAS SOUS 34392 HAS SOUPS 34042 WITH SCORE 34301.138
AT ITER 1439 NEW BEST:: SOT 457191 SOS 259084 HAS SOPS 258631 HAS SOUS 34358 HAS SOUPS 34008 WITH SCORE 34267.084
AT ITER 1442 NEW BEST:: SOT 457193 SOS 255436 HAS SOPS 254983 HAS SOUS 34360 HAS SOUPS 34010 WITH SCORE 34265.436
AT ITER 1449 NEW BEST:: SOT 457143 SOS 259328 HAS SOPS 258875 HAS SOUS 34335 HAS SOUPS 33985 WITH SCORE 34244.328
AT ITER 1477 NEW BEST:: SOT 457049 SOS 259234 HAS SOPS 258781 HAS SOUS 34177 HAS SOUPS 33827 WITH SCORE 34086.234
AT ITER 1488 NEW BEST:: SOT 456967 SOS 256140 HAS SOPS 255699 HAS SOUS 34107 HAS SOUPS 33763 WITH SCORE 34019.14
AT ITER 1493 NEW BEST:: SOT 456893 SOS 255928 HAS SOPS 255487 HAS SOUS 34093 HAS SOUPS 33749 WITH SCORE 34004.928
AT ITER 1502 NEW BEST:: SOT 456787 SOS 255822 HAS SOPS 255381 HAS SOUS 33915 HAS SOUPS 33571 WITH SCORE 33826.822
AT ITER 1506 NEW BEST:: SOT 456787 SOS 256062 HAS SOPS 255621 HAS SOUS 33888 HAS SOUPS 33544 WITH SCORE 33800.062
AT ITER 1533 NEW BEST:: SOT 456757 SOS 256032 HAS SOPS 255591 HAS SOUS 33855 HAS SOUPS 33511 WITH SCORE 33767.032
AT ITER 1536 NEW BEST:: SOT 456758 SOS 256033 HAS SOPS 255592 HAS SOUS 33845 HAS SOUPS 33501 WITH SCORE 33757.033
AT ITER 1538 NEW BEST:: SOT 456826 SOS 255959 HAS SOPS 255518 HAS SOUS 33786 HAS SOUPS 33442 WITH SCORE 33697.959
AT ITER 1561 NEW BEST:: SOT 463977 SOS 262905 HAS SOPS 262464 HAS SOUS 33526 HAS SOUPS 33182 WITH SCORE 33444.905
AT ITER 1566 NEW BEST:: SOT 471654 SOS 270700 HAS SOPS 270259 HAS SOUS 33487 HAS SOUPS 33143 WITH SCORE 33413.7
AT ITER 1575 NEW BEST:: SOT 471642 SOS 270700 HAS SOPS 270259 HAS SOUS 33469 HAS SOUPS 33125 WITH SCORE 33395.7
AT ITER 1577 NEW BEST:: SOT 471658 SOS 270506 HAS SOPS 270065 HAS SOUS 33358 HAS SOUPS 33014 WITH SCORE 33284.506
AT ITER 1604 NEW BEST:: SOT 476362 SOS 274794 HAS SOPS 274353 HAS SOUS 33326 HAS SOUPS 32982 WITH SCORE 33256.794
AT ITER 1615 NEW BEST:: SOT 469675 SOS 268203 HAS SOPS 267762 HAS SOUS 33227 HAS SOUPS 32883 WITH SCORE 33151.203
AT ITER 1618 NEW BEST:: SOT 469413 SOS 267770 HAS SOPS 267298 HAS SOUS 33030 HAS SOUPS 32655 WITH SCORE 32922.77
AT ITER 1650 NEW BEST:: SOT 469409 SOS 266149 HAS SOPS 265677 HAS SOUS 33026 HAS SOUPS 32651 WITH SCORE 32917.149
AT ITER 1661 NEW BEST:: SOT 470099 SOS 263352 HAS SOPS 262880 HAS SOUS 33006 HAS SOUPS 32631 WITH SCORE 32894.352
AT ITER 1668 NEW BEST:: SOT 469952 SOS 263194 HAS SOPS 262722 HAS SOUS 32922 HAS SOUPS 32547 WITH SCORE 32810.194
AT ITER 1669 NEW BEST:: SOT 469976 SOS 263218 HAS SOPS 262746 HAS SOUS 32824 HAS SOUPS 32449 WITH SCORE 32712.218
AT ITER 1671 NEW BEST:: SOT 469853 SOS 262963 HAS SOPS 262491 HAS SOUS 32687 HAS SOUPS 32312 WITH SCORE 32574.963
AT ITER 1685 NEW BEST:: SOT 469844 SOS 262954 HAS SOPS 262482 HAS SOUS 32669 HAS SOUPS 32294 WITH SCORE 32556.954
AT ITER 1695 NEW BEST:: SOT 469838 SOS 262942 HAS SOPS 262470 HAS SOUS 32660 HAS SOUPS 32285 WITH SCORE 32547.942
AT ITER 1724 NEW BEST:: SOT 469942 SOS 263046 HAS SOPS 262574 HAS SOUS 32615 HAS SOUPS 32240 WITH SCORE 32503.046
AT ITER 1729 NEW BEST:: SOT 469918 SOS 263214 HAS SOPS 262742 HAS SOUS 32613 HAS SOUPS 32238 WITH SCORE 32501.214
AT ITER 1750 NEW BEST:: SOT 469838 SOS 263134 HAS SOPS 262662 HAS SOUS 32561 HAS SOUPS 32186 WITH SCORE 32449.134
AT ITER 1754 NEW BEST:: SOT 469820 SOS 263008 HAS SOPS 262536 HAS SOUS 32523 HAS SOUPS 32148 WITH SCORE 32411.008
AT ITER 1756 NEW BEST:: SOT 469760 SOS 262948 HAS SOPS 262476 HAS SOUS 32423 HAS SOUPS 32048 WITH SCORE 32310.948
AT ITER 1764 NEW BEST:: SOT 462608 SOS 256228 HAS SOPS 255756 HAS SOUS 32375 HAS SOUPS 32000 WITH SCORE 32256.228
AT ITER 1790 NEW BEST:: SOT 463059 SOS 256411 HAS SOPS 255939 HAS SOUS 32365 HAS SOUPS 31990 WITH SCORE 32246.411
AT ITER 1799 NEW BEST:: SOT 463047 SOS 256399 HAS SOPS 255927 HAS SOUS 32347 HAS SOUPS 31972 WITH SCORE 32228.399
AT ITER 1805 NEW BEST:: SOT 462985 SOS 256337 HAS SOPS 255865 HAS SOUS 32187 HAS SOUPS 31812 WITH SCORE 32068.337
AT ITER 1807 NEW BEST:: SOT 462982 SOS 256205 HAS SOPS 255733 HAS SOUS 32147 HAS SOUPS 31772 WITH SCORE 32028.205
AT ITER 1827 NEW BEST:: SOT 462977 SOS 256200 HAS SOPS 255728 HAS SOUS 32146 HAS SOUPS 31771 WITH SCORE 32027.2
AT ITER 1839 NEW BEST:: SOT 466879 SOS 257006 HAS SOPS 256534 HAS SOUS 32108 HAS SOUPS 31733 WITH SCORE 31990.006
AT ITER 1855 NEW BEST:: SOT 443506 SOS 234565 HAS SOPS 234093 HAS SOUS 32102 HAS SOUPS 31727 WITH SCORE 31961.565
AT ITER 1861 NEW BEST:: SOT 443398 SOS 234359 HAS SOPS 233887 HAS SOUS 32041 HAS SOUPS 31666 WITH SCORE 31900.359
AT ITER 1867 NEW BEST:: SOT 443335 SOS 234554 HAS SOPS 234082 HAS SOUS 32021 HAS SOUPS 31646 WITH SCORE 31880.554
AT ITER 1869 NEW BEST:: SOT 443331 SOS 234550 HAS SOPS 234078 HAS SOUS 31993 HAS SOUPS 31618 WITH SCORE 31852.55
AT ITER 1870 NEW BEST:: SOT 443398 SOS 234636 HAS SOPS 234135 HAS SOUS 32011 HAS SOUPS 31607 WITH SCORE 31841.636
AT ITER 1891 NEW BEST:: SOT 443369 SOS 234607 HAS SOPS 234106 HAS SOUS 31987 HAS SOUPS 31583 WITH SCORE 31817.607
AT ITER 1894 NEW BEST:: SOT 443362 SOS 234600 HAS SOPS 234099 HAS SOUS 31976 HAS SOUPS 31572 WITH SCORE 31806.6
AT ITER 1905 NEW BEST:: SOT 443356 SOS 234561 HAS SOPS 234060 HAS SOUS 31973 HAS SOUPS 31569 WITH SCORE 31803.561
AT ITER 1913 NEW BEST:: SOT 443107 SOS 234296 HAS SOPS 233795 HAS SOUS 31897 HAS SOUPS 31493 WITH SCORE 31727.296
AT ITER 1915 NEW BEST:: SOT 443103 SOS 234292 HAS SOPS 233791 HAS SOUS 31830 HAS SOUPS 31426 WITH SCORE 31660.292
AT ITER 1916 NEW BEST:: SOT 443541 SOS 234700 HAS SOPS 234199 HAS SOUS 31824 HAS SOUPS 31420 WITH SCORE 31654.7
AT ITER 1917 NEW BEST:: SOT 451133 SOS 242136 HAS SOPS 241635 HAS SOUS 31720 HAS SOUPS 31316 WITH SCORE 31558.136
AT ITER 1924 NEW BEST:: SOT 451089 SOS 242092 HAS SOPS 241591 HAS SOUS 31695 HAS SOUPS 31291 WITH SCORE 31533.092
AT ITER 1931 NEW BEST:: SOT 451097 SOS 242150 HAS SOPS 241649 HAS SOUS 31647 HAS SOUPS 31243 WITH SCORE 31485.15
AT ITER 1946 NEW BEST:: SOT 451084 SOS 242137 HAS SOPS 241636 HAS SOUS 31582 HAS SOUPS 31178 WITH SCORE 31420.137
AT ITER 1969 NEW BEST:: SOT 451058 SOS 242186 HAS SOPS 241685 HAS SOUS 31574 HAS SOUPS 31170 WITH SCORE 31412.186
AT ITER 1973 NEW BEST:: SOT 450982 SOS 242110 HAS SOPS 241609 HAS SOUS 31422 HAS SOUPS 31018 WITH SCORE 31260.11
AT ITER 1976 NEW BEST:: SOT 446810 SOS 233806 HAS SOPS 233305 HAS SOUS 31410 HAS SOUPS 31006 WITH SCORE 31239.806
AT ITER 1996 NEW BEST:: SOT 446829 SOS 233341 HAS SOPS 232840 HAS SOUS 31291 HAS SOUPS 30887 WITH SCORE 31120.341
AT ITER 2018 NEW BEST:: SOT 446856 SOS 233368 HAS SOPS 232867 HAS SOUS 31260 HAS SOUPS 30856 WITH SCORE 31089.368
AT ITER 2021 NEW BEST:: SOT 443060 SOS 229572 HAS SOPS 229071 HAS SOUS 31260 HAS SOUPS 30856 WITH SCORE 31085.572
AT ITER 2024 NEW BEST:: SOT 443056 SOS 229568 HAS SOPS 229067 HAS SOUS 31250 HAS SOUPS 30846 WITH SCORE 31075.568
AT ITER 2033 NEW BEST:: SOT 443042 SOS 229554 HAS SOPS 229053 HAS SOUS 31236 HAS SOUPS 30832 WITH SCORE 31061.554
AT ITER 2041 NEW BEST:: SOT 442989 SOS 229593 HAS SOPS 229092 HAS SOUS 31036 HAS SOUPS 30632 WITH SCORE 30861.593
AT ITER 2045 NEW BEST:: SOT 442914 SOS 229271 HAS SOPS 228770 HAS SOUS 30973 HAS SOUPS 30569 WITH SCORE 30798.271
AT ITER 2057 NEW BEST:: SOT 442888 SOS 229245 HAS SOPS 228744 HAS SOUS 30934 HAS SOUPS 30530 WITH SCORE 30759.245
AT ITER 2072 NEW BEST:: SOT 442309 SOS 206545 HAS SOPS 206044 HAS SOUS 30460 HAS SOUPS 30056 WITH SCORE 30262.545
AT ITER 2080 NEW BEST:: SOT 442277 SOS 206513 HAS SOPS 206012 HAS SOUS 30392 HAS SOUPS 29988 WITH SCORE 30194.513
AT ITER 2082 NEW BEST:: SOT 442262 SOS 206493 HAS SOPS 205997 HAS SOUS 30367 HAS SOUPS 29968 WITH SCORE 30174.493
AT ITER 2084 NEW BEST:: SOT 442199 SOS 206430 HAS SOPS 205934 HAS SOUS 30349 HAS SOUPS 29950 WITH SCORE 30156.43
AT ITER 2091 NEW BEST:: SOT 442179 SOS 206390 HAS SOPS 205889 HAS SOUS 30319 HAS SOUPS 29915 WITH SCORE 30121.39
AT ITER 2110 NEW BEST:: SOT 442048 SOS 206259 HAS SOPS 205758 HAS SOUS 30126 HAS SOUPS 29722 WITH SCORE 29928.259
AT ITER 2114 NEW BEST:: SOT 442044 SOS 206255 HAS SOPS 205754 HAS SOUS 30125 HAS SOUPS 29721 WITH SCORE 29927.255
AT ITER 2125 NEW BEST:: SOT 442034 SOS 206269 HAS SOPS 205768 HAS SOUS 30117 HAS SOUPS 29713 WITH SCORE 29919.269
AT ITER 2128 NEW BEST:: SOT 441713 SOS 205948 HAS SOPS 205447 HAS SOUS 30100 HAS SOUPS 29696 WITH SCORE 29901.948
AT ITER 2138 NEW BEST:: SOT 441829 SOS 197734 HAS SOPS 197233 HAS SOUS 30044 HAS SOUPS 29640 WITH SCORE 29837.734
AT ITER 2141 NEW BEST:: SOT 441805 SOS 197710 HAS SOPS 197209 HAS SOUS 29984 HAS SOUPS 29580 WITH SCORE 29777.71
AT ITER 2156 NEW BEST:: SOT 438873 SOS 191755 HAS SOPS 191254 HAS SOUS 29948 HAS SOUPS 29544 WITH SCORE 29735.755
AT ITER 2159 NEW BEST:: SOT 438857 SOS 191739 HAS SOPS 191238 HAS SOUS 29928 HAS SOUPS 29524 WITH SCORE 29715.739
AT ITER 2160 NEW BEST:: SOT 438842 SOS 191724 HAS SOPS 191223 HAS SOUS 29923 HAS SOUPS 29519 WITH SCORE 29710.724
AT ITER 2170 NEW BEST:: SOT 439651 SOS 192951 HAS SOPS 192450 HAS SOUS 29895 HAS SOUPS 29491 WITH SCORE 29683.951
AT ITER 2188 NEW BEST:: SOT 439663 SOS 192995 HAS SOPS 192494 HAS SOUS 29871 HAS SOUPS 29467 WITH SCORE 29659.995
AT ITER 2190 NEW BEST:: SOT 439349 SOS 192345 HAS SOPS 191844 HAS SOUS 29557 HAS SOUPS 29153 WITH SCORE 29345.345
AT ITER 2201 NEW BEST:: SOT 439356 SOS 192340 HAS SOPS 191839 HAS SOUS 29538 HAS SOUPS 29134 WITH SCORE 29326.34
AT ITER 2212 NEW BEST:: SOT 439286 SOS 191870 HAS SOPS 191369 HAS SOUS 29394 HAS SOUPS 28990 WITH SCORE 29181.87
AT ITER 2220 NEW BEST:: SOT 439282 SOS 191859 HAS SOPS 191358 HAS SOUS 29354 HAS SOUPS 28950 WITH SCORE 29141.859
AT ITER 2225 NEW BEST:: SOT 435557 SOS 187820 HAS SOPS 187319 HAS SOUS 29341 HAS SOUPS 28937 WITH SCORE 29124.82
AT ITER 2231 NEW BEST:: SOT 435658 SOS 187815 HAS SOPS 187314 HAS SOUS 29269 HAS SOUPS 28865 WITH SCORE 29052.815
AT ITER 2257 NEW BEST:: SOT 435672 SOS 187829 HAS SOPS 187328 HAS SOUS 29213 HAS SOUPS 28809 WITH SCORE 28996.829
AT ITER 2272 NEW BEST:: SOT 435696 SOS 187852 HAS SOPS 187351 HAS SOUS 29165 HAS SOUPS 28761 WITH SCORE 28948.852
AT ITER 2280 NEW BEST:: SOT 435638 SOS 187848 HAS SOPS 187360 HAS SOUS 29110 HAS SOUPS 28719 WITH SCORE 28906.848
AT ITER 2290 NEW BEST:: SOT 443838 SOS 196085 HAS SOPS 195597 HAS SOUS 29073 HAS SOUPS 28682 WITH SCORE 28878.085
AT ITER 2299 NEW BEST:: SOT 443802 SOS 196055 HAS SOPS 195567 HAS SOUS 28942 HAS SOUPS 28551 WITH SCORE 28747.055
AT ITER 2302 NEW BEST:: SOT 443744 SOS 195997 HAS SOPS 195509 HAS SOUS 28908 HAS SOUPS 28517 WITH SCORE 28712.997
AT ITER 2316 NEW BEST:: SOT 443696 SOS 195949 HAS SOPS 195461 HAS SOUS 28888 HAS SOUPS 28497 WITH SCORE 28692.949
AT ITER 2329 NEW BEST:: SOT 447915 SOS 198928 HAS SOPS 198440 HAS SOUS 28836 HAS SOUPS 28445 WITH SCORE 28643.928
AT ITER 2330 NEW BEST:: SOT 455780 SOS 206663 HAS SOPS 206175 HAS SOUS 28816 HAS SOUPS 28425 WITH SCORE 28631.663
AT ITER 2348 NEW BEST:: SOT 449917 SOS 200800 HAS SOPS 200312 HAS SOUS 28816 HAS SOUPS 28425 WITH SCORE 28625.8
AT ITER 2366 NEW BEST:: SOT 449853 SOS 200995 HAS SOPS 200507 HAS SOUS 28752 HAS SOUPS 28361 WITH SCORE 28561.995
AT ITER 2374 NEW BEST:: SOT 449837 SOS 201028 HAS SOPS 200608 HAS SOUS 28673 HAS SOUPS 28309 WITH SCORE 28510.028
AT ITER 2376 NEW BEST:: SOT 449794 SOS 200985 HAS SOPS 200565 HAS SOUS 28662 HAS SOUPS 28298 WITH SCORE 28498.985
AT ITER 2377 NEW BEST:: SOT 446121 SOS 197174 HAS SOPS 196754 HAS SOUS 28616 HAS SOUPS 28252 WITH SCORE 28449.174
AT ITER 2399 NEW BEST:: SOT 446047 SOS 196588 HAS SOPS 196168 HAS SOUS 28406 HAS SOUPS 28042 WITH SCORE 28238.588
AT ITER 2405 NEW BEST:: SOT 446047 SOS 196432 HAS SOPS 196012 HAS SOUS 28328 HAS SOUPS 27964 WITH SCORE 28160.432
AT ITER 2406 NEW BEST:: SOT 446037 SOS 196422 HAS SOPS 196002 HAS SOUS 28288 HAS SOUPS 27924 WITH SCORE 28120.422
AT ITER 2463 NEW BEST:: SOT 445945 SOS 192857 HAS SOPS 192437 HAS SOUS 28242 HAS SOUPS 27878 WITH SCORE 28070.857
AT ITER 2464 NEW BEST:: SOT 447536 SOS 193655 HAS SOPS 193235 HAS SOUS 28209 HAS SOUPS 27845 WITH SCORE 28038.655
AT ITER 2474 NEW BEST:: SOT 447584 SOS 192967 HAS SOPS 192547 HAS SOUS 28209 HAS SOUPS 27845 WITH SCORE 28037.967
AT ITER 2480 NEW BEST:: SOT 447574 SOS 192937 HAS SOPS 192517 HAS SOUS 28209 HAS SOUPS 27845 WITH SCORE 28037.937
AT ITER 2487 NEW BEST:: SOT 447558 SOS 192809 HAS SOPS 192389 HAS SOUS 28204 HAS SOUPS 27840 WITH SCORE 28032.809
AT ITER 2491 NEW BEST:: SOT 447466 SOS 192741 HAS SOPS 192321 HAS SOUS 28184 HAS SOUPS 27820 WITH SCORE 28012.741
AT ITER 2495 NEW BEST:: SOT 447402 SOS 192674 HAS SOPS 192254 HAS SOUS 28177 HAS SOUPS 27813 WITH SCORE 28005.674
AT ITER 2497 NEW BEST:: SOT 447386 SOS 192626 HAS SOPS 192206 HAS SOUS 28153 HAS SOUPS 27789 WITH SCORE 27981.626
AT ITER 2499 NEW BEST:: SOT 447370 SOS 192610 HAS SOPS 192190 HAS SOUS 28145 HAS SOUPS 27781 WITH SCORE 27973.61
AT ITER 2508 NEW BEST:: SOT 447506 SOS 192746 HAS SOPS 192326 HAS SOUS 27988 HAS SOUPS 27624 WITH SCORE 27816.746
AT ITER 2514 NEW BEST:: SOT 447444 SOS 192684 HAS SOPS 192264 HAS SOUS 27976 HAS SOUPS 27612 WITH SCORE 27804.684
AT ITER 2515 NEW BEST:: SOT 443919 SOS 189245 HAS SOPS 188825 HAS SOUS 27953 HAS SOUPS 27589 WITH SCORE 27778.245
AT ITER 2531 NEW BEST:: SOT 441982 SOS 187425 HAS SOPS 187005 HAS SOUS 27940 HAS SOUPS 27576 WITH SCORE 27763.425
AT ITER 2536 NEW BEST:: SOT 446694 SOS 191849 HAS SOPS 191429 HAS SOUS 27924 HAS SOUPS 27560 WITH SCORE 27751.849
AT ITER 2546 NEW BEST:: SOT 446644 SOS 191799 HAS SOPS 191379 HAS SOUS 27904 HAS SOUPS 27540 WITH SCORE 27731.799
AT ITER 2570 NEW BEST:: SOT 446648 SOS 191803 HAS SOPS 191383 HAS SOUS 27868 HAS SOUPS 27504 WITH SCORE 27695.803
AT ITER 2574 NEW BEST:: SOT 446623 SOS 191778 HAS SOPS 191358 HAS SOUS 27818 HAS SOUPS 27454 WITH SCORE 27645.778
AT ITER 2586 NEW BEST:: SOT 446588 SOS 188920 HAS SOPS 188500 HAS SOUS 27809 HAS SOUPS 27445 WITH SCORE 27633.92
AT ITER 2589 NEW BEST:: SOT 446519 SOS 188566 HAS SOPS 188146 HAS SOUS 27754 HAS SOUPS 27390 WITH SCORE 27578.566
AT ITER 2604 NEW BEST:: SOT 446519 SOS 188562 HAS SOPS 188142 HAS SOUS 27754 HAS SOUPS 27390 WITH SCORE 27578.562
AT ITER 2607 NEW BEST:: SOT 446519 SOS 188562 HAS SOPS 188142 HAS SOUS 27738 HAS SOUPS 27374 WITH SCORE 27562.562
AT ITER 2621 NEW BEST:: SOT 446459 SOS 188502 HAS SOPS 188082 HAS SOUS 27678 HAS SOUPS 27314 WITH SCORE 27502.502
AT ITER 2622 NEW BEST:: SOT 446429 SOS 188472 HAS SOPS 188052 HAS SOUS 27642 HAS SOUPS 27278 WITH SCORE 27466.472
AT ITER 2627 NEW BEST:: SOT 446429 SOS 188432 HAS SOPS 188012 HAS SOUS 27642 HAS SOUPS 27278 WITH SCORE 27466.432
AT ITER 2631 NEW BEST:: SOT 446572 SOS 188286 HAS SOPS 187866 HAS SOUS 27640 HAS SOUPS 27276 WITH SCORE 27464.286
AT ITER 2645 NEW BEST:: SOT 446553 SOS 188002 HAS SOPS 187582 HAS SOUS 27611 HAS SOUPS 27247 WITH SCORE 27435.002
AT ITER 2667 NEW BEST:: SOT 446575 SOS 188220 HAS SOPS 187800 HAS SOUS 27588 HAS SOUPS 27224 WITH SCORE 27412.22
AT ITER 2718 NEW BEST:: SOT 446570 SOS 188215 HAS SOPS 187795 HAS SOUS 27583 HAS SOUPS 27219 WITH SCORE 27407.215
AT ITER 2734 NEW BEST:: SOT 446540 SOS 185890 HAS SOPS 185470 HAS SOUS 27568 HAS SOUPS 27204 WITH SCORE 27389.89
AT ITER 2745 NEW BEST:: SOT 446543 SOS 185824 HAS SOPS 185404 HAS SOUS 27568 HAS SOUPS 27204 WITH SCORE 27389.824
AT ITER 2750 NEW BEST:: SOT 446543 SOS 185892 HAS SOPS 185472 HAS SOUS 27551 HAS SOUPS 27187 WITH SCORE 27372.892
AT ITER 2829 NEW BEST:: SOT 446534 SOS 185424 HAS SOPS 185004 HAS SOUS 27542 HAS SOUPS 27178 WITH SCORE 27363.424
AT ITER 2832 NEW BEST:: SOT 446531 SOS 185421 HAS SOPS 185001 HAS SOUS 27538 HAS SOUPS 27174 WITH SCORE 27359.421
AT ITER 2846 NEW BEST:: SOT 446522 SOS 185315 HAS SOPS 184895 HAS SOUS 27527 HAS SOUPS 27163 WITH SCORE 27348.315
AT ITER 2856 NEW BEST:: SOT 446469 SOS 185228 HAS SOPS 184808 HAS SOUS 27495 HAS SOUPS 27131 WITH SCORE 27316.228
AT ITER 2870 NEW BEST:: SOT 444558 SOS 183317 HAS SOPS 182897 HAS SOUS 27482 HAS SOUPS 27118 WITH SCORE 27301.317
AT ITER 2884 NEW BEST:: SOT 444541 SOS 183228 HAS SOPS 182808 HAS SOUS 27474 HAS SOUPS 27110 WITH SCORE 27293.228
AT ITER 2926 NEW BEST:: SOT 444493 SOS 183110 HAS SOPS 182690 HAS SOUS 27448 HAS SOUPS 27084 WITH SCORE 27267.11
AT ITER 2930 NEW BEST:: SOT 444504 SOS 183121 HAS SOPS 182701 HAS SOUS 27363 HAS SOUPS 26999 WITH SCORE 27182.121
AT ITER 2934 NEW BEST:: SOT 444504 SOS 183796 HAS SOPS 183376 HAS SOUS 27358 HAS SOUPS 26994 WITH SCORE 27177.796
AT ITER 2941 NEW BEST:: SOT 444464 SOS 181670 HAS SOPS 181250 HAS SOUS 27304 HAS SOUPS 26940 WITH SCORE 27121.67
AT ITER 2959 NEW BEST:: SOT 447367 SOS 182989 HAS SOPS 182569 HAS SOUS 27265 HAS SOUPS 26901 WITH SCORE 27083.989
AT ITER 2969 NEW BEST:: SOT 447343 SOS 182965 HAS SOPS 182545 HAS SOUS 27256 HAS SOUPS 26892 WITH SCORE 27074.965
AT ITER 3005 NEW BEST:: SOT 446994 SOS 182827 HAS SOPS 182407 HAS SOUS 27131 HAS SOUPS 26767 WITH SCORE 26949.827
AT ITER 3012 NEW BEST:: SOT 445448 SOS 179951 HAS SOPS 179531 HAS SOUS 27110 HAS SOUPS 26746 WITH SCORE 26925.951
AT ITER 3039 NEW BEST:: SOT 445452 SOS 179955 HAS SOPS 179535 HAS SOUS 27057 HAS SOUPS 26693 WITH SCORE 26872.955
AT ITER 3042 NEW BEST:: SOT 445296 SOS 173563 HAS SOPS 173143 HAS SOUS 26942 HAS SOUPS 26578 WITH SCORE 26751.563
AT ITER 3057 NEW BEST:: SOT 445281 SOS 173548 HAS SOPS 173128 HAS SOUS 26913 HAS SOUPS 26549 WITH SCORE 26722.548
AT ITER 3058 NEW BEST:: SOT 445267 SOS 173541 HAS SOPS 173121 HAS SOUS 26906 HAS SOUPS 26542 WITH SCORE 26715.541
AT ITER 3079 NEW BEST:: SOT 445262 SOS 173536 HAS SOPS 173116 HAS SOUS 26886 HAS SOUPS 26522 WITH SCORE 26695.536
AT ITER 3082 NEW BEST:: SOT 445259 SOS 173515 HAS SOPS 173095 HAS SOUS 26880 HAS SOUPS 26516 WITH SCORE 26689.515
AT ITER 3083 NEW BEST:: SOT 445252 SOS 173508 HAS SOPS 173088 HAS SOUS 26873 HAS SOUPS 26509 WITH SCORE 26682.508
AT ITER 3088 NEW BEST:: SOT 445248 SOS 173504 HAS SOPS 173084 HAS SOUS 26869 HAS SOUPS 26505 WITH SCORE 26678.504
AT ITER 3114 NEW BEST:: SOT 445126 SOS 173394 HAS SOPS 172961 HAS SOUS 26808 HAS SOUPS 26431 WITH SCORE 26604.394
AT ITER 3115 NEW BEST:: SOT 445134 SOS 173446 HAS SOPS 173013 HAS SOUS 26806 HAS SOUPS 26429 WITH SCORE 26602.446
AT ITER 3118 NEW BEST:: SOT 445094 SOS 173375 HAS SOPS 172973 HAS SOUS 26752 HAS SOUPS 26406 WITH SCORE 26579.375
AT ITER 3120 NEW BEST:: SOT 445041 SOS 173241 HAS SOPS 172839 HAS SOUS 26712 HAS SOUPS 26366 WITH SCORE 26539.241
AT ITER 3133 NEW BEST:: SOT 445017 SOS 173173 HAS SOPS 172771 HAS SOUS 26696 HAS SOUPS 26350 WITH SCORE 26523.173
AT ITER 3176 NEW BEST:: SOT 445017 SOS 173173 HAS SOPS 172771 HAS SOUS 26654 HAS SOUPS 26308 WITH SCORE 26481.173
AT ITER 3189 NEW BEST:: SOT 444970 SOS 173126 HAS SOPS 172724 HAS SOUS 26549 HAS SOUPS 26203 WITH SCORE 26376.126
AT ITER 3194 NEW BEST:: SOT 444916 SOS 172496 HAS SOPS 172094 HAS SOUS 26510 HAS SOUPS 26164 WITH SCORE 26336.496
AT ITER 3196 NEW BEST:: SOT 444925 SOS 172415 HAS SOPS 172013 HAS SOUS 26483 HAS SOUPS 26137 WITH SCORE 26309.415
AT ITER 3197 NEW BEST:: SOT 445363 SOS 172844 HAS SOPS 172442 HAS SOUS 26477 HAS SOUPS 26131 WITH SCORE 26303.844
AT ITER 3223 NEW BEST:: SOT 445327 SOS 172808 HAS SOPS 172406 HAS SOUS 26405 HAS SOUPS 26059 WITH SCORE 26231.808
AT ITER 3232 NEW BEST:: SOT 445313 SOS 172794 HAS SOPS 172392 HAS SOUS 26323 HAS SOUPS 25977 WITH SCORE 26149.794
AT ITER 3236 NEW BEST:: SOT 445313 SOS 172750 HAS SOPS 172348 HAS SOUS 26323 HAS SOUPS 25977 WITH SCORE 26149.75
AT ITER 3261 NEW BEST:: SOT 445314 SOS 172602 HAS SOPS 172200 HAS SOUS 26323 HAS SOUPS 25977 WITH SCORE 26149.602
AT ITER 3268 NEW BEST:: SOT 445213 SOS 172569 HAS SOPS 172167 HAS SOUS 26272 HAS SOUPS 25926 WITH SCORE 26098.569
AT ITER 3287 NEW BEST:: SOT 445063 SOS 172419 HAS SOPS 172017 HAS SOUS 26126 HAS SOUPS 25780 WITH SCORE 25952.419
AT ITER 3289 NEW BEST:: SOT 445054 SOS 172371 HAS SOPS 171969 HAS SOUS 26117 HAS SOUPS 25771 WITH SCORE 25943.371
AT ITER 3292 NEW BEST:: SOT 445030 SOS 172331 HAS SOPS 171929 HAS SOUS 26093 HAS SOUPS 25747 WITH SCORE 25919.331
AT ITER 3306 NEW BEST:: SOT 446631 SOS 173316 HAS SOPS 172914 HAS SOUS 26080 HAS SOUPS 25734 WITH SCORE 25907.316
AT ITER 3314 NEW BEST:: SOT 446621 SOS 173306 HAS SOPS 172904 HAS SOUS 26072 HAS SOUPS 25726 WITH SCORE 25899.306
AT ITER 3320 NEW BEST:: SOT 446623 SOS 173173 HAS SOPS 172750 HAS SOUS 26066 HAS SOUPS 25713 WITH SCORE 25886.173
AT ITER 3341 NEW BEST:: SOT 446601 SOS 173097 HAS SOPS 172674 HAS SOUS 26030 HAS SOUPS 25677 WITH SCORE 25850.097
AT ITER 3359 NEW BEST:: SOT 446607 SOS 173103 HAS SOPS 172680 HAS SOUS 25949 HAS SOUPS 25596 WITH SCORE 25769.103
AT ITER 3360 NEW BEST:: SOT 446666 SOS 173162 HAS SOPS 172739 HAS SOUS 25930 HAS SOUPS 25577 WITH SCORE 25750.162
AT ITER 3381 NEW BEST:: SOT 446678 SOS 173174 HAS SOPS 172751 HAS SOUS 25907 HAS SOUPS 25554 WITH SCORE 25727.174
AT ITER 3385 NEW BEST:: SOT 457618 SOS 163821 HAS SOPS 163231 HAS SOUS 25762 HAS SOUPS 25264 WITH SCORE 25427.821
AT ITER 3387 NEW BEST:: SOT 457611 SOS 163790 HAS SOPS 163200 HAS SOUS 25759 HAS SOUPS 25261 WITH SCORE 25424.79
AT ITER 3428 NEW BEST:: SOT 457605 SOS 163694 HAS SOPS 163104 HAS SOUS 25735 HAS SOUPS 25237 WITH SCORE 25400.694
AT ITER 3434 NEW BEST:: SOT 457541 SOS 163630 HAS SOPS 163040 HAS SOUS 25719 HAS SOUPS 25221 WITH SCORE 25384.63
AT ITER 3436 NEW BEST:: SOT 457551 SOS 163656 HAS SOPS 163066 HAS SOUS 25689 HAS SOUPS 25191 WITH SCORE 25354.656
AT ITER 3456 NEW BEST:: SOT 457523 SOS 163628 HAS SOPS 163038 HAS SOUS 25637 HAS SOUPS 25139 WITH SCORE 25302.628
AT ITER 3458 NEW BEST:: SOT 457514 SOS 163619 HAS SOPS 163029 HAS SOUS 25622 HAS SOUPS 25124 WITH SCORE 25287.619
AT ITER 3529 NEW BEST:: SOT 457476 SOS 163543 HAS SOPS 162953 HAS SOUS 25603 HAS SOUPS 25105 WITH SCORE 25268.543
AT ITER 3531 NEW BEST:: SOT 457482 SOS 163549 HAS SOPS 162959 HAS SOUS 25595 HAS SOUPS 25097 WITH SCORE 25260.549
AT ITER 3543 NEW BEST:: SOT 444353 SOS 150387 HAS SOPS 149797 HAS SOUS 25603 HAS SOUPS 25105 WITH SCORE 25255.387
AT ITER 3581 NEW BEST:: SOT 444360 SOS 150317 HAS SOPS 149720 HAS SOUS 25596 HAS SOUPS 25091 WITH SCORE 25241.317
AT ITER 3617 NEW BEST:: SOT 444346 SOS 150303 HAS SOPS 149706 HAS SOUS 25596 HAS SOUPS 25091 WITH SCORE 25241.303
AT ITER 3632 NEW BEST:: SOT 444313 SOS 150218 HAS SOPS 149621 HAS SOUS 25590 HAS SOUPS 25085 WITH SCORE 25235.218
AT ITER 3652 NEW BEST:: SOT 444309 SOS 150214 HAS SOPS 149617 HAS SOUS 25586 HAS SOUPS 25081 WITH SCORE 25231.214
AT ITER 3660 NEW BEST:: SOT 444264 SOS 150169 HAS SOPS 149572 HAS SOUS 25511 HAS SOUPS 25006 WITH SCORE 25156.169
AT ITER 3677 NEW BEST:: SOT 444187 SOS 150092 HAS SOPS 149495 HAS SOUS 25479 HAS SOUPS 24974 WITH SCORE 25124.092
AT ITER 3685 NEW BEST:: SOT 444187 SOS 150058 HAS SOPS 149461 HAS SOUS 25377 HAS SOUPS 24872 WITH SCORE 25022.058
AT ITER 3705 NEW BEST:: SOT 444183 SOS 147950 HAS SOPS 147353 HAS SOUS 25357 HAS SOUPS 24852 WITH SCORE 24999.95
AT ITER 3787 NEW BEST:: SOT 444381 SOS 148180 HAS SOPS 147583 HAS SOUS 25342 HAS SOUPS 24837 WITH SCORE 24985.18
AT ITER 3817 NEW BEST:: SOT 444383 SOS 148226 HAS SOPS 147629 HAS SOUS 25326 HAS SOUPS 24821 WITH SCORE 24969.226
AT ITER 3835 NEW BEST:: SOT 444383 SOS 148248 HAS SOPS 147651 HAS SOUS 25324 HAS SOUPS 24819 WITH SCORE 24967.248
AT ITER 3842 NEW BEST:: SOT 444391 SOS 148320 HAS SOPS 147723 HAS SOUS 25316 HAS SOUPS 24811 WITH SCORE 24959.32
AT ITER 3859 NEW BEST:: SOT 444390 SOS 148319 HAS SOPS 147722 HAS SOUS 25314 HAS SOUPS 24809 WITH SCORE 24957.319
AT ITER 3865 NEW BEST:: SOT 443073 SOS 146936 HAS SOPS 146339 HAS SOUS 25309 HAS SOUPS 24804 WITH SCORE 24950.936
AT ITER 3870 NEW BEST:: SOT 443016 SOS 146879 HAS SOPS 146282 HAS SOUS 25269 HAS SOUPS 24764 WITH SCORE 24910.879
AT ITER 3880 NEW BEST:: SOT 443021 SOS 146884 HAS SOPS 146287 HAS SOUS 25268 HAS SOUPS 24763 WITH SCORE 24909.884
AT ITER 3918 NEW BEST:: SOT 445022 SOS 148898 HAS SOPS 148301 HAS SOUS 25248 HAS SOUPS 24743 WITH SCORE 24891.898
AT ITER 4013 NEW BEST:: SOT 445010 SOS 148886 HAS SOPS 148289 HAS SOUS 25230 HAS SOUPS 24725 WITH SCORE 24873.886
AT ITER 4021 NEW BEST:: SOT 444948 SOS 148824 HAS SOPS 148227 HAS SOUS 25145 HAS SOUPS 24640 WITH SCORE 24788.824
AT ITER 4029 NEW BEST:: SOT 444898 SOS 148821 HAS SOPS 148224 HAS SOUS 25130 HAS SOUPS 24625 WITH SCORE 24773.821
AT ITER 4037 NEW BEST:: SOT 444896 SOS 148819 HAS SOPS 148222 HAS SOUS 25126 HAS SOUPS 24621 WITH SCORE 24769.819
AT ITER 4043 NEW BEST:: SOT 444816 SOS 148740 HAS SOPS 148143 HAS SOUS 25105 HAS SOUPS 24600 WITH SCORE 24748.74
AT ITER 4062 NEW BEST:: SOT 444823 SOS 148747 HAS SOPS 148150 HAS SOUS 25100 HAS SOUPS 24595 WITH SCORE 24743.747
AT ITER 4104 NEW BEST:: SOT 444865 SOS 149173 HAS SOPS 148576 HAS SOUS 25098 HAS SOUPS 24593 WITH SCORE 24742.173
AT ITER 4108 NEW BEST:: SOT 445012 SOS 149320 HAS SOPS 148723 HAS SOUS 25097 HAS SOUPS 24592 WITH SCORE 24741.32
AT ITER 4109 NEW BEST:: SOT 445006 SOS 149307 HAS SOPS 148710 HAS SOUS 25089 HAS SOUPS 24584 WITH SCORE 24733.307
AT ITER 4124 NEW BEST:: SOT 444994 SOS 149351 HAS SOPS 148754 HAS SOUS 25065 HAS SOUPS 24560 WITH SCORE 24709.351
AT ITER 4143 NEW BEST:: SOT 444988 SOS 145459 HAS SOPS 144862 HAS SOUS 25067 HAS SOUPS 24562 WITH SCORE 24707.459
AT ITER 4155 NEW BEST:: SOT 444979 SOS 145423 HAS SOPS 144826 HAS SOUS 25052 HAS SOUPS 24547 WITH SCORE 24692.423
AT ITER 4186 NEW BEST:: SOT 443743 SOS 143039 HAS SOPS 142442 HAS SOUS 25044 HAS SOUPS 24539 WITH SCORE 24682.039
AT ITER 4205 NEW BEST:: SOT 441601 SOS 140841 HAS SOPS 140244 HAS SOUS 24974 HAS SOUPS 24469 WITH SCORE 24609.841
AT ITER 4217 NEW BEST:: SOT 441539 SOS 140779 HAS SOPS 140182 HAS SOUS 24834 HAS SOUPS 24329 WITH SCORE 24469.779
AT ITER 4231 NEW BEST:: SOT 441390 SOS 140476 HAS SOPS 139879 HAS SOUS 24833 HAS SOUPS 24328 WITH SCORE 24468.476
AT ITER 4251 NEW BEST:: SOT 441387 SOS 140446 HAS SOPS 139849 HAS SOUS 24824 HAS SOUPS 24319 WITH SCORE 24459.446
AT ITER 4273 NEW BEST:: SOT 441387 SOS 140440 HAS SOPS 139843 HAS SOUS 24824 HAS SOUPS 24319 WITH SCORE 24459.44
AT ITER 4293 NEW BEST:: SOT 441385 SOS 140438 HAS SOPS 139841 HAS SOUS 24820 HAS SOUPS 24315 WITH SCORE 24455.438
AT ITER 4305 NEW BEST:: SOT 441367 SOS 140420 HAS SOPS 139823 HAS SOUS 24820 HAS SOUPS 24315 WITH SCORE 24455.42
AT ITER 4306 NEW BEST:: SOT 441368 SOS 140421 HAS SOPS 139824 HAS SOUS 24819 HAS SOUPS 24314 WITH SCORE 24454.421
AT ITER 4344 NEW BEST:: SOT 441365 SOS 140418 HAS SOPS 139821 HAS SOUS 24817 HAS SOUPS 24312 WITH SCORE 24452.418
AT ITER 4353 NEW BEST:: SOT 441355 SOS 139663 HAS SOPS 139066 HAS SOUS 24802 HAS SOUPS 24297 WITH SCORE 24436.663
AT ITER 4400 NEW BEST:: SOT 441425 SOS 139733 HAS SOPS 139136 HAS SOUS 24768 HAS SOUPS 24263 WITH SCORE 24402.733
AT ITER 4402 NEW BEST:: SOT 441421 SOS 139729 HAS SOPS 139132 HAS SOUS 24764 HAS SOUPS 24259 WITH SCORE 24398.729
AT ITER 4431 NEW BEST:: SOT 441439 SOS 139721 HAS SOPS 139124 HAS SOUS 24761 HAS SOUPS 24256 WITH SCORE 24395.721
AT ITER 4440 NEW BEST:: SOT 441445 SOS 139717 HAS SOPS 139120 HAS SOUS 24743 HAS SOUPS 24238 WITH SCORE 24377.717
AT ITER 4445 NEW BEST:: SOT 441442 SOS 139714 HAS SOPS 139117 HAS SOUS 24737 HAS SOUPS 24232 WITH SCORE 24371.714
AT ITER 4448 NEW BEST:: SOT 441436 SOS 139702 HAS SOPS 139105 HAS SOUS 24728 HAS SOUPS 24223 WITH SCORE 24362.702
AT ITER 4464 NEW BEST:: SOT 440995 SOS 139237 HAS SOPS 138640 HAS SOUS 24725 HAS SOUPS 24220 WITH SCORE 24359.237
AT ITER 4518 NEW BEST:: SOT 440756 SOS 139120 HAS SOPS 138523 HAS SOUS 24614 HAS SOUPS 24109 WITH SCORE 24248.12
AT ITER 4527 NEW BEST:: SOT 440605 SOS 140027 HAS SOPS 139430 HAS SOUS 24603 HAS SOUPS 24098 WITH SCORE 24238.027
AT ITER 4546 NEW BEST:: SOT 440599 SOS 140021 HAS SOPS 139424 HAS SOUS 24589 HAS SOUPS 24084 WITH SCORE 24224.021
AT ITER 4549 NEW BEST:: SOT 440400 SOS 139702 HAS SOPS 139105 HAS SOUS 24504 HAS SOUPS 23999 WITH SCORE 24138.702
AT ITER 4563 NEW BEST:: SOT 440350 SOS 139652 HAS SOPS 139055 HAS SOUS 24394 HAS SOUPS 23889 WITH SCORE 24028.652
AT ITER 4592 NEW BEST:: SOT 440052 SOS 139056 HAS SOPS 138459 HAS SOUS 24389 HAS SOUPS 23884 WITH SCORE 24023.056
AT ITER 4640 NEW BEST:: SOT 440022 SOS 139026 HAS SOPS 138429 HAS SOUS 24387 HAS SOUPS 23882 WITH SCORE 24021.026
AT ITER 4701 NEW BEST:: SOT 440022 SOS 139026 HAS SOPS 138429 HAS SOUS 24373 HAS SOUPS 23868 WITH SCORE 24007.026
AT ITER 4710 NEW BEST:: SOT 439993 SOS 138997 HAS SOPS 138400 HAS SOUS 24323 HAS SOUPS 23818 WITH SCORE 23956.997
AT ITER 4737 NEW BEST:: SOT 439990 SOS 138994 HAS SOPS 138397 HAS SOUS 24320 HAS SOUPS 23815 WITH SCORE 23953.994
AT ITER 4788 NEW BEST:: SOT 439986 SOS 138963 HAS SOPS 138366 HAS SOUS 24298 HAS SOUPS 23793 WITH SCORE 23931.963
AT ITER 4806 NEW BEST:: SOT 439966 SOS 138943 HAS SOPS 138346 HAS SOUS 24266 HAS SOUPS 23761 WITH SCORE 23899.943
AT ITER 4835 NEW BEST:: SOT 439747 SOS 138644 HAS SOPS 138047 HAS SOUS 24139 HAS SOUPS 23634 WITH SCORE 23772.644
AT ITER 4848 NEW BEST:: SOT 441791 SOS 140685 HAS SOPS 140088 HAS SOUS 24134 HAS SOUPS 23629 WITH SCORE 23769.685
AT ITER 4908 NEW BEST:: SOT 441798 SOS 140692 HAS SOPS 140095 HAS SOUS 24113 HAS SOUPS 23608 WITH SCORE 23748.692
AT ITER 4912 NEW BEST:: SOT 441797 SOS 140691 HAS SOPS 140094 HAS SOUS 24102 HAS SOUPS 23597 WITH SCORE 23737.691
AT ITER 4933 NEW BEST:: SOT 440491 SOS 140432 HAS SOPS 139835 HAS SOUS 24094 HAS SOUPS 23589 WITH SCORE 23729.432
AT ITER 4975 NEW BEST:: SOT 440489 SOS 140422 HAS SOPS 139825 HAS SOUS 24092 HAS SOUPS 23587 WITH SCORE 23727.422
AT ITER 4983 NEW BEST:: SOT 440513 SOS 140406 HAS SOPS 139809 HAS SOUS 24016 HAS SOUPS 23511 WITH SCORE 23651.406
AT ITER 4985 NEW BEST:: SOT 440508 SOS 140366 HAS SOPS 139769 HAS SOUS 24001 HAS SOUPS 23496 WITH SCORE 23636.366
AT ITER 4986 NEW BEST:: SOT 440483 SOS 140233 HAS SOPS 139636 HAS SOUS 23962 HAS SOUPS 23457 WITH SCORE 23597.233
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: NoC3x3-PT-8A-CTLCardinality-00 (! (AG( (EF(potential( ( 2 ) <= (tk(P58)) ))))))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-01 (EF((AF(( potential( ( 2 ) <= (tk(P123)) ) | potential( ( 2 ) <= (tk(P142)) ) )))))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-02 (EF(( (! ( potential( (tk(P96)) <= (tk(P233)) ) | potential( (tk(P149)) <= (tk(P131)) ) )) & potential( (tk(P278)) <= (tk(P305)) ) )))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-03 (EF((AU( potential( ( 3 ) <= (tk(P80)) ),potential( ( 2 ) <= (tk(P252)) ) ))))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-04 (EF(( potential( ( 2 ) <= (tk(P142)) ) & (AG( potential( (tk(P143)) <= (tk(P81)) ))) )))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-05 (EF((AF(( potential( ( 2 ) <= (tk(P143)) ) & potential( ( 3 ) <= (tk(P114)) ) )))))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-06 (EG( (EF(( potential( ( 3 ) <= (tk(P178)) ) & potential( (tk(P212)) <= (tk(P183)) ) )))))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-07 (AF(( (EF(potential( ( 3 ) <= (tk(P207)) ))) & ( (! potential( ( 3 ) <= (tk(P273)) )) | ( potential( ( 3 ) <= (tk(P76)) ) & potential( (tk(P3)) <= (tk(P143)) ) ) ) )))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-08 (EF(( (AX( potential( (tk(P172)) <= (tk(P126)) ))) & potential( ( 3 ) <= (tk(P157)) ) )))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-09 (EX( (EF((! potential( (tk(P58)) <= (tk(P246)) ))))))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-10 (EU( (AX( potential( (tk(P179)) <= (tk(P234)) ))),(EX( potential( ( 3 ) <= (tk(P36)) ))) ))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-11 (! ( (EF(( potential( ( 3 ) <= (tk(P139)) ) | potential( ( 3 ) <= (tk(P14)) ) ))) | ( (AG( potential( (tk(P304)) <= (tk(P140)) ))) & potential( (tk(P15)) <= (tk(P153)) ) ) ))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-12 (EU( potential( (tk(P290)) <= (tk(P114)) ),( (! potential( (tk(P312)) <= (tk(P75)) )) | ( potential( ( 3 ) <= (tk(P170)) ) & potential( (tk(P178)) <= (tk(P316)) ) ) ) ))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-13 (EF(( potential( ( 1 ) <= (tk(P211)) ) | ( ( potential( ( 2 ) <= (tk(P77)) ) | potential( ( 1 ) <= (tk(P123)) ) ) & (! potential( (tk(P311)) <= (tk(P279)) )) ) )))
PROPERTY: NoC3x3-PT-8A-CTLCardinality-14 ( ( (EF(( potential( ( 3 ) <= (tk(P86)) ) & potential( (tk(P134)) <= (tk(P131)) ) ))) | ( (! (! potential( (tk(P221)) <= (tk(P89)) ))) & ( (! potential( (tk(P267)) <= (tk(P103)) )) | ( potential( ( 1 ) <= (tk(P159)) ) | potential( (tk(P176)) <= (tk(P88)) ) ) ) ) ) & (EF((EX( potential( ( 2 ) <= (tk(P33)) ))))) )
PROPERTY: NoC3x3-PT-8A-CTLCardinality-15 (EU( ( potential( (tk(P223)) <= (tk(P189)) ) | ( potential( ( 2 ) <= (tk(P21)) ) & potential( (tk(P286)) <= (tk(P152)) ) ) ),(AG( potential( (tk(P277)) <= (tk(P33)) ))) ))

BK_STOP 1589644984248

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

terminate called after throwing an instance of 'std::bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 472 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="NoC3x3-PT-8A"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is NoC3x3-PT-8A, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250500443"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/NoC3x3-PT-8A.tgz
mv NoC3x3-PT-8A execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;