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.r190-csrt-159033382900595.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 UtahNoC-PT-none, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033382900595
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 3.2K Apr 12 20:10 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 12 20:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 23:30 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 11 23:30 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 15 10:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 15 10:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:19 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 22:19 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 10 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 10 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 205K Mar 24 05:38 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 UtahNoC-PT-none-CTLCardinality-00
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-01
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-02
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-03
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-04
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-05
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-06
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-07
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-08
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-09
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-10
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-11
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-12
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-13
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-14
FORMULA_NAME UtahNoC-PT-none-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590408989790

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtahNoC (PT), instance none
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: 216 places, 977 transitions, 2905 arcs.
AT ITER 0 NEW BEST:: SOT 124401 SOS 61732 HAS SOPS 61156 HAS SOUS 30959 HAS SOUPS 30744 WITH SCORE 30805.732
AT ITER 1 NEW BEST:: SOT 123999 SOS 61468 HAS SOPS 60882 HAS SOUS 30596 HAS SOUPS 30381 WITH SCORE 30442.468
AT ITER 2 NEW BEST:: SOT 123998 SOS 61466 HAS SOPS 60880 HAS SOUS 30594 HAS SOUPS 30379 WITH SCORE 30440.466
AT ITER 3 NEW BEST:: SOT 124468 SOS 62567 HAS SOPS 61763 HAS SOUS 30606 HAS SOUPS 30276 WITH SCORE 30338.567
AT ITER 9 NEW BEST:: SOT 124081 SOS 62719 HAS SOPS 61915 HAS SOUS 30399 HAS SOUPS 30069 WITH SCORE 30131.719
AT ITER 14 NEW BEST:: SOT 124015 SOS 62903 HAS SOPS 62117 HAS SOUS 29482 HAS SOUPS 29158 WITH SCORE 29220.903
AT ITER 17 NEW BEST:: SOT 123750 SOS 62289 HAS SOPS 61485 HAS SOUS 29476 HAS SOUPS 29146 WITH SCORE 29208.289
AT ITER 20 NEW BEST:: SOT 124067 SOS 62310 HAS SOPS 61506 HAS SOUS 29385 HAS SOUPS 29055 WITH SCORE 29117.31
AT ITER 24 NEW BEST:: SOT 123849 SOS 62534 HAS SOPS 61730 HAS SOUS 29282 HAS SOUPS 28952 WITH SCORE 29014.534
AT ITER 26 NEW BEST:: SOT 124140 SOS 62713 HAS SOPS 61930 HAS SOUS 29161 HAS SOUPS 28838 WITH SCORE 28900.713
AT ITER 28 NEW BEST:: SOT 123906 SOS 62828 HAS SOPS 61991 HAS SOUS 29011 HAS SOUPS 28646 WITH SCORE 28708.828
AT ITER 30 NEW BEST:: SOT 124032 SOS 62790 HAS SOPS 61953 HAS SOUS 28799 HAS SOUPS 28434 WITH SCORE 28496.79
AT ITER 34 NEW BEST:: SOT 124032 SOS 62828 HAS SOPS 61991 HAS SOUS 28772 HAS SOUPS 28407 WITH SCORE 28469.828
AT ITER 43 NEW BEST:: SOT 123791 SOS 63396 HAS SOPS 62559 HAS SOUS 28771 HAS SOUPS 28406 WITH SCORE 28469.396
AT ITER 45 NEW BEST:: SOT 123974 SOS 64613 HAS SOPS 62281 HAS SOUS 28818 HAS SOUPS 28400 WITH SCORE 28464.613
AT ITER 46 NEW BEST:: SOT 123974 SOS 64584 HAS SOPS 62252 HAS SOUS 28811 HAS SOUPS 28393 WITH SCORE 28457.584
AT ITER 50 NEW BEST:: SOT 123739 SOS 64330 HAS SOPS 61998 HAS SOUS 28373 HAS SOUPS 27955 WITH SCORE 28019.33
AT ITER 54 NEW BEST:: SOT 123486 SOS 64079 HAS SOPS 61725 HAS SOUS 28308 HAS SOUPS 27890 WITH SCORE 27954.079
AT ITER 55 NEW BEST:: SOT 123279 SOS 63929 HAS SOPS 61612 HAS SOUS 28203 HAS SOUPS 27778 WITH SCORE 27841.929
AT ITER 68 NEW BEST:: SOT 123279 SOS 63901 HAS SOPS 61584 HAS SOUS 28175 HAS SOUPS 27750 WITH SCORE 27813.901
AT ITER 72 NEW BEST:: SOT 123248 SOS 63856 HAS SOPS 61518 HAS SOUS 28109 HAS SOUPS 27684 WITH SCORE 27747.856
AT ITER 74 NEW BEST:: SOT 123354 SOS 64252 HAS SOPS 61914 HAS SOUS 28039 HAS SOUPS 27614 WITH SCORE 27678.252
AT ITER 76 NEW BEST:: SOT 123222 SOS 64168 HAS SOPS 61829 HAS SOUS 27940 HAS SOUPS 27503 WITH SCORE 27567.168
AT ITER 78 NEW BEST:: SOT 122900 SOS 63860 HAS SOPS 61521 HAS SOUS 27577 HAS SOUPS 27140 WITH SCORE 27203.86
AT ITER 80 NEW BEST:: SOT 122515 SOS 63867 HAS SOPS 61528 HAS SOUS 27279 HAS SOUPS 26842 WITH SCORE 26905.867
AT ITER 87 NEW BEST:: SOT 122365 SOS 63747 HAS SOPS 61408 HAS SOUS 27123 HAS SOUPS 26686 WITH SCORE 26749.747
AT ITER 89 NEW BEST:: SOT 122359 SOS 63741 HAS SOPS 61402 HAS SOUS 27117 HAS SOUPS 26680 WITH SCORE 26743.741
AT ITER 90 NEW BEST:: SOT 122311 SOS 63645 HAS SOPS 61306 HAS SOUS 27018 HAS SOUPS 26581 WITH SCORE 26644.645
AT ITER 91 NEW BEST:: SOT 122311 SOS 63682 HAS SOPS 61343 HAS SOUS 27006 HAS SOUPS 26569 WITH SCORE 26632.682
AT ITER 96 NEW BEST:: SOT 122276 SOS 63865 HAS SOPS 61454 HAS SOUS 27007 HAS SOUPS 26534 WITH SCORE 26597.865
AT ITER 101 NEW BEST:: SOT 122352 SOS 63903 HAS SOPS 61492 HAS SOUS 26988 HAS SOUPS 26515 WITH SCORE 26578.903
AT ITER 104 NEW BEST:: SOT 122673 SOS 63983 HAS SOPS 61572 HAS SOUS 26771 HAS SOUPS 26298 WITH SCORE 26361.983
AT ITER 108 NEW BEST:: SOT 122490 SOS 64177 HAS SOPS 61735 HAS SOUS 26741 HAS SOUPS 26218 WITH SCORE 26282.177
AT ITER 113 NEW BEST:: SOT 122502 SOS 64276 HAS SOPS 61846 HAS SOUS 26710 HAS SOUPS 26191 WITH SCORE 26255.276
AT ITER 114 NEW BEST:: SOT 122605 SOS 64086 HAS SOPS 61656 HAS SOUS 26650 HAS SOUPS 26131 WITH SCORE 26195.086
AT ITER 115 NEW BEST:: SOT 122585 SOS 64007 HAS SOPS 61564 HAS SOUS 26542 HAS SOUPS 26012 WITH SCORE 26076.007
AT ITER 118 NEW BEST:: SOT 123172 SOS 66061 HAS SOPS 63627 HAS SOUS 26489 HAS SOUPS 25962 WITH SCORE 26028.061
AT ITER 120 NEW BEST:: SOT 122905 SOS 65301 HAS SOPS 62821 HAS SOUS 26077 HAS SOUPS 25550 WITH SCORE 25615.301
AT ITER 121 NEW BEST:: SOT 122884 SOS 65300 HAS SOPS 62820 HAS SOUS 25974 HAS SOUPS 25447 WITH SCORE 25512.3
AT ITER 122 NEW BEST:: SOT 122884 SOS 65220 HAS SOPS 62740 HAS SOUS 25934 HAS SOUPS 25407 WITH SCORE 25472.22
AT ITER 123 NEW BEST:: SOT 122641 SOS 64615 HAS SOPS 62135 HAS SOUS 25205 HAS SOUPS 24678 WITH SCORE 24742.615
AT ITER 133 NEW BEST:: SOT 122513 SOS 64359 HAS SOPS 61879 HAS SOUS 25013 HAS SOUPS 24486 WITH SCORE 24550.359
AT ITER 137 NEW BEST:: SOT 122513 SOS 64170 HAS SOPS 61732 HAS SOUS 24992 HAS SOUPS 24486 WITH SCORE 24550.17
AT ITER 139 NEW BEST:: SOT 122501 SOS 64161 HAS SOPS 61723 HAS SOUS 24992 HAS SOUPS 24486 WITH SCORE 24550.161
AT ITER 142 NEW BEST:: SOT 122621 SOS 64433 HAS SOPS 61995 HAS SOUS 24670 HAS SOUPS 24164 WITH SCORE 24228.433
AT ITER 143 NEW BEST:: SOT 122586 SOS 64405 HAS SOPS 61967 HAS SOUS 24663 HAS SOUPS 24157 WITH SCORE 24221.405
AT ITER 146 NEW BEST:: SOT 122734 SOS 64973 HAS SOPS 62535 HAS SOUS 24448 HAS SOUPS 23942 WITH SCORE 24006.973
AT ITER 151 NEW BEST:: SOT 122263 SOS 64587 HAS SOPS 62208 HAS SOUS 24432 HAS SOUPS 23926 WITH SCORE 23990.587
AT ITER 155 NEW BEST:: SOT 122268 SOS 64505 HAS SOPS 62126 HAS SOUS 24428 HAS SOUPS 23922 WITH SCORE 23986.505
AT ITER 158 NEW BEST:: SOT 122435 SOS 64960 HAS SOPS 62485 HAS SOUS 24351 HAS SOUPS 23797 WITH SCORE 23861.96
AT ITER 161 NEW BEST:: SOT 121888 SOS 64320 HAS SOPS 61845 HAS SOUS 23813 HAS SOUPS 23259 WITH SCORE 23323.32
AT ITER 174 NEW BEST:: SOT 121881 SOS 64259 HAS SOPS 61784 HAS SOUS 23806 HAS SOUPS 23252 WITH SCORE 23316.259
AT ITER 175 NEW BEST:: SOT 121636 SOS 63935 HAS SOPS 61460 HAS SOUS 23549 HAS SOUPS 22995 WITH SCORE 23058.935
AT ITER 176 NEW BEST:: SOT 121767 SOS 63952 HAS SOPS 61477 HAS SOUS 23474 HAS SOUPS 22920 WITH SCORE 22983.952
AT ITER 177 NEW BEST:: SOT 121740 SOS 63898 HAS SOPS 61423 HAS SOUS 23420 HAS SOUPS 22866 WITH SCORE 22929.898
AT ITER 182 NEW BEST:: SOT 121962 SOS 63898 HAS SOPS 61423 HAS SOUS 23346 HAS SOUPS 22792 WITH SCORE 22855.898
AT ITER 184 NEW BEST:: SOT 121955 SOS 63884 HAS SOPS 61409 HAS SOUS 23332 HAS SOUPS 22778 WITH SCORE 22841.884
AT ITER 186 NEW BEST:: SOT 121780 SOS 63744 HAS SOPS 61269 HAS SOUS 23192 HAS SOUPS 22638 WITH SCORE 22701.744
AT ITER 190 NEW BEST:: SOT 121881 SOS 63585 HAS SOPS 61110 HAS SOUS 23040 HAS SOUPS 22486 WITH SCORE 22549.585
AT ITER 194 NEW BEST:: SOT 121632 SOS 63412 HAS SOPS 60937 HAS SOUS 23030 HAS SOUPS 22476 WITH SCORE 22539.412
AT ITER 195 NEW BEST:: SOT 121502 SOS 62062 HAS SOPS 59805 HAS SOUS 22848 HAS SOUPS 22403 WITH SCORE 22465.062
AT ITER 196 NEW BEST:: SOT 122614 SOS 62505 HAS SOPS 60248 HAS SOUS 22782 HAS SOUPS 22337 WITH SCORE 22399.505
AT ITER 202 NEW BEST:: SOT 122557 SOS 62477 HAS SOPS 60220 HAS SOUS 22760 HAS SOUPS 22315 WITH SCORE 22377.477
AT ITER 211 NEW BEST:: SOT 122772 SOS 62809 HAS SOPS 60552 HAS SOUS 22740 HAS SOUPS 22295 WITH SCORE 22357.809
AT ITER 213 NEW BEST:: SOT 122609 SOS 62357 HAS SOPS 60100 HAS SOUS 22604 HAS SOUPS 22159 WITH SCORE 22221.357
AT ITER 219 NEW BEST:: SOT 122283 SOS 62061 HAS SOPS 59804 HAS SOUS 22308 HAS SOUPS 21863 WITH SCORE 21925.061
AT ITER 221 NEW BEST:: SOT 122376 SOS 61986 HAS SOPS 59729 HAS SOUS 22245 HAS SOUPS 21800 WITH SCORE 21861.986
AT ITER 223 NEW BEST:: SOT 122376 SOS 61998 HAS SOPS 59741 HAS SOUS 22239 HAS SOUPS 21794 WITH SCORE 21855.998
AT ITER 231 NEW BEST:: SOT 122111 SOS 61781 HAS SOPS 59524 HAS SOUS 22091 HAS SOUPS 21646 WITH SCORE 21707.781
AT ITER 233 NEW BEST:: SOT 121502 SOS 61325 HAS SOPS 59068 HAS SOUS 21462 HAS SOUPS 21017 WITH SCORE 21078.325
AT ITER 241 NEW BEST:: SOT 121477 SOS 61275 HAS SOPS 59018 HAS SOUS 21415 HAS SOUPS 20970 WITH SCORE 21031.275
AT ITER 246 NEW BEST:: SOT 121366 SOS 61152 HAS SOPS 58895 HAS SOUS 21346 HAS SOUPS 20907 WITH SCORE 20968.152
AT ITER 248 NEW BEST:: SOT 121353 SOS 61094 HAS SOPS 58837 HAS SOUS 21323 HAS SOUPS 20884 WITH SCORE 20945.094
AT ITER 251 NEW BEST:: SOT 121101 SOS 60881 HAS SOPS 58624 HAS SOUS 21110 HAS SOUPS 20671 WITH SCORE 20731.881
AT ITER 258 NEW BEST:: SOT 121085 SOS 60857 HAS SOPS 58592 HAS SOUS 21078 HAS SOUPS 20639 WITH SCORE 20699.857
AT ITER 265 NEW BEST:: SOT 121100 SOS 60997 HAS SOPS 58732 HAS SOUS 21066 HAS SOUPS 20627 WITH SCORE 20687.997
AT ITER 266 NEW BEST:: SOT 121049 SOS 60946 HAS SOPS 58681 HAS SOUS 20975 HAS SOUPS 20536 WITH SCORE 20596.946
AT ITER 267 NEW BEST:: SOT 121049 SOS 60963 HAS SOPS 58698 HAS SOUS 20952 HAS SOUPS 20513 WITH SCORE 20573.963
AT ITER 275 NEW BEST:: SOT 121293 SOS 61448 HAS SOPS 58868 HAS SOUS 20994 HAS SOUPS 20492 WITH SCORE 20553.448
AT ITER 281 NEW BEST:: SOT 121289 SOS 61465 HAS SOPS 58883 HAS SOUS 20940 HAS SOUPS 20438 WITH SCORE 20499.465
AT ITER 283 NEW BEST:: SOT 121778 SOS 61645 HAS SOPS 59063 HAS SOUS 20771 HAS SOUPS 20269 WITH SCORE 20330.645
AT ITER 288 NEW BEST:: SOT 121287 SOS 61049 HAS SOPS 58467 HAS SOUS 20586 HAS SOUPS 20084 WITH SCORE 20145.049
AT ITER 290 NEW BEST:: SOT 121149 SOS 61003 HAS SOPS 58419 HAS SOUS 20526 HAS SOUPS 20024 WITH SCORE 20085.003
AT ITER 293 NEW BEST:: SOT 120830 SOS 60673 HAS SOPS 58154 HAS SOUS 20409 HAS SOUPS 19907 WITH SCORE 19967.673
AT ITER 301 NEW BEST:: SOT 120733 SOS 60613 HAS SOPS 58048 HAS SOUS 20293 HAS SOUPS 19768 WITH SCORE 19828.613
AT ITER 304 NEW BEST:: SOT 120405 SOS 60576 HAS SOPS 58011 HAS SOUS 19952 HAS SOUPS 19427 WITH SCORE 19487.576
AT ITER 305 NEW BEST:: SOT 120118 SOS 60390 HAS SOPS 57825 HAS SOUS 19866 HAS SOUPS 19341 WITH SCORE 19401.39
AT ITER 308 NEW BEST:: SOT 120269 SOS 60603 HAS SOPS 58038 HAS SOUS 19631 HAS SOUPS 19106 WITH SCORE 19166.603
AT ITER 310 NEW BEST:: SOT 120501 SOS 60603 HAS SOPS 58038 HAS SOUS 19443 HAS SOUPS 18918 WITH SCORE 18978.603
AT ITER 311 NEW BEST:: SOT 120414 SOS 60497 HAS SOPS 57932 HAS SOUS 19316 HAS SOUPS 18791 WITH SCORE 18851.497
AT ITER 312 NEW BEST:: SOT 120082 SOS 60021 HAS SOPS 57456 HAS SOUS 19304 HAS SOUPS 18779 WITH SCORE 18839.021
AT ITER 316 NEW BEST:: SOT 120188 SOS 60202 HAS SOPS 57637 HAS SOUS 19136 HAS SOUPS 18611 WITH SCORE 18671.202
AT ITER 321 NEW BEST:: SOT 120172 SOS 60179 HAS SOPS 57614 HAS SOUS 19132 HAS SOUPS 18607 WITH SCORE 18667.179
AT ITER 322 NEW BEST:: SOT 120281 SOS 61010 HAS SOPS 57143 HAS SOUS 19151 HAS SOUPS 18564 WITH SCORE 18625.01
AT ITER 344 NEW BEST:: SOT 120255 SOS 60958 HAS SOPS 57091 HAS SOUS 19099 HAS SOUPS 18512 WITH SCORE 18572.958
AT ITER 354 NEW BEST:: SOT 120072 SOS 60373 HAS SOPS 56506 HAS SOUS 18599 HAS SOUPS 18012 WITH SCORE 18072.373
AT ITER 365 NEW BEST:: SOT 120063 SOS 60355 HAS SOPS 56488 HAS SOUS 18590 HAS SOUPS 18003 WITH SCORE 18063.355
AT ITER 372 NEW BEST:: SOT 119979 SOS 60284 HAS SOPS 56420 HAS SOUS 18532 HAS SOUPS 17945 WITH SCORE 18005.284
AT ITER 373 NEW BEST:: SOT 119949 SOS 60290 HAS SOPS 56426 HAS SOUS 18515 HAS SOUPS 17928 WITH SCORE 17988.29
AT ITER 374 NEW BEST:: SOT 120005 SOS 60558 HAS SOPS 56703 HAS SOUS 18497 HAS SOUPS 17913 WITH SCORE 17973.558
AT ITER 375 NEW BEST:: SOT 120021 SOS 60558 HAS SOPS 56703 HAS SOUS 18465 HAS SOUPS 17881 WITH SCORE 17941.558
AT ITER 380 NEW BEST:: SOT 119874 SOS 60551 HAS SOPS 56696 HAS SOUS 18141 HAS SOUPS 17557 WITH SCORE 17617.551
AT ITER 384 NEW BEST:: SOT 120108 SOS 61019 HAS SOPS 57164 HAS SOUS 18128 HAS SOUPS 17544 WITH SCORE 17605.019
AT ITER 385 NEW BEST:: SOT 120072 SOS 60953 HAS SOPS 57098 HAS SOUS 18105 HAS SOUPS 17521 WITH SCORE 17581.953
AT ITER 388 NEW BEST:: SOT 120290 SOS 61314 HAS SOPS 57459 HAS SOUS 17977 HAS SOUPS 17393 WITH SCORE 17454.314
AT ITER 394 NEW BEST:: SOT 120264 SOS 61110 HAS SOPS 57255 HAS SOUS 17912 HAS SOUPS 17328 WITH SCORE 17389.11
AT ITER 395 NEW BEST:: SOT 120263 SOS 61297 HAS SOPS 57388 HAS SOUS 17938 HAS SOUPS 17327 WITH SCORE 17388.297
AT ITER 400 NEW BEST:: SOT 120272 SOS 61321 HAS SOPS 57412 HAS SOUS 17935 HAS SOUPS 17324 WITH SCORE 17385.321
AT ITER 403 NEW BEST:: SOT 120264 SOS 61305 HAS SOPS 57396 HAS SOUS 17867 HAS SOUPS 17256 WITH SCORE 17317.305
AT ITER 414 NEW BEST:: SOT 120056 SOS 61279 HAS SOPS 57370 HAS SOUS 17776 HAS SOUPS 17165 WITH SCORE 17226.279
AT ITER 418 NEW BEST:: SOT 120056 SOS 61279 HAS SOPS 57370 HAS SOUS 17737 HAS SOUPS 17126 WITH SCORE 17187.279
AT ITER 420 NEW BEST:: SOT 119946 SOS 61187 HAS SOPS 57278 HAS SOUS 17582 HAS SOUPS 16971 WITH SCORE 17032.187
AT ITER 421 NEW BEST:: SOT 119926 SOS 61167 HAS SOPS 57258 HAS SOUS 17562 HAS SOUPS 16951 WITH SCORE 17012.167
AT ITER 423 NEW BEST:: SOT 119926 SOS 61155 HAS SOPS 57258 HAS SOUS 17560 HAS SOUPS 16951 WITH SCORE 17012.155
AT ITER 425 NEW BEST:: SOT 119924 SOS 61149 HAS SOPS 57257 HAS SOUS 17554 HAS SOUPS 16946 WITH SCORE 17007.149
AT ITER 430 NEW BEST:: SOT 119954 SOS 61287 HAS SOPS 57269 HAS SOUS 17542 HAS SOUPS 16928 WITH SCORE 16989.287
AT ITER 441 NEW BEST:: SOT 119949 SOS 61277 HAS SOPS 57259 HAS SOUS 17537 HAS SOUPS 16923 WITH SCORE 16984.277
AT ITER 446 NEW BEST:: SOT 119491 SOS 61035 HAS SOPS 57017 HAS SOUS 17476 HAS SOUPS 16862 WITH SCORE 16923.035
AT ITER 458 NEW BEST:: SOT 119183 SOS 60445 HAS SOPS 56427 HAS SOUS 17299 HAS SOUPS 16685 WITH SCORE 16745.445
AT ITER 466 NEW BEST:: SOT 118942 SOS 60233 HAS SOPS 56245 HAS SOUS 17297 HAS SOUPS 16683 WITH SCORE 16743.233
AT ITER 467 NEW BEST:: SOT 118928 SOS 60233 HAS SOPS 56245 HAS SOUS 17295 HAS SOUPS 16681 WITH SCORE 16741.233
AT ITER 469 NEW BEST:: SOT 118900 SOS 60149 HAS SOPS 56203 HAS SOUS 17281 HAS SOUPS 16674 WITH SCORE 16734.149
AT ITER 475 NEW BEST:: SOT 118898 SOS 60147 HAS SOPS 56201 HAS SOUS 17279 HAS SOUPS 16672 WITH SCORE 16732.147
AT ITER 477 NEW BEST:: SOT 118798 SOS 60147 HAS SOPS 56201 HAS SOUS 17201 HAS SOUPS 16594 WITH SCORE 16654.147
AT ITER 480 NEW BEST:: SOT 118900 SOS 60157 HAS SOPS 56199 HAS SOUS 17110 HAS SOUPS 16503 WITH SCORE 16563.157
AT ITER 488 NEW BEST:: SOT 118890 SOS 60107 HAS SOPS 56149 HAS SOUS 17090 HAS SOUPS 16483 WITH SCORE 16543.107
AT ITER 503 NEW BEST:: SOT 118887 SOS 60097 HAS SOPS 56139 HAS SOUS 17089 HAS SOUPS 16482 WITH SCORE 16542.097
AT ITER 506 NEW BEST:: SOT 118820 SOS 59956 HAS SOPS 55940 HAS SOUS 17019 HAS SOUPS 16383 WITH SCORE 16442.956
AT ITER 514 NEW BEST:: SOT 118804 SOS 59960 HAS SOPS 55944 HAS SOUS 17007 HAS SOUPS 16371 WITH SCORE 16430.96
AT ITER 515 NEW BEST:: SOT 118770 SOS 59926 HAS SOPS 55910 HAS SOUS 16973 HAS SOUPS 16337 WITH SCORE 16396.926
AT ITER 520 NEW BEST:: SOT 118933 SOS 59964 HAS SOPS 55948 HAS SOUS 16845 HAS SOUPS 16209 WITH SCORE 16268.964
AT ITER 524 NEW BEST:: SOT 119080 SOS 59978 HAS SOPS 55962 HAS SOUS 16818 HAS SOUPS 16182 WITH SCORE 16241.978
AT ITER 526 NEW BEST:: SOT 119080 SOS 59765 HAS SOPS 55746 HAS SOUS 16820 HAS SOUPS 16182 WITH SCORE 16241.765
AT ITER 530 NEW BEST:: SOT 119091 SOS 59699 HAS SOPS 55680 HAS SOUS 16809 HAS SOUPS 16171 WITH SCORE 16230.699
AT ITER 534 NEW BEST:: SOT 118840 SOS 59922 HAS SOPS 55903 HAS SOUS 16721 HAS SOUPS 16083 WITH SCORE 16142.922
AT ITER 541 NEW BEST:: SOT 118840 SOS 59904 HAS SOPS 55885 HAS SOUS 16717 HAS SOUPS 16079 WITH SCORE 16138.904
AT ITER 546 NEW BEST:: SOT 118889 SOS 60026 HAS SOPS 56007 HAS SOUS 16701 HAS SOUPS 16063 WITH SCORE 16123.026
AT ITER 568 NEW BEST:: SOT 118826 SOS 59753 HAS SOPS 55734 HAS SOUS 16575 HAS SOUPS 15937 WITH SCORE 15996.753
AT ITER 571 NEW BEST:: SOT 118882 SOS 59753 HAS SOPS 55734 HAS SOUS 16541 HAS SOUPS 15903 WITH SCORE 15962.753
AT ITER 577 NEW BEST:: SOT 118856 SOS 59700 HAS SOPS 55676 HAS SOUS 16419 HAS SOUPS 15779 WITH SCORE 15838.7
AT ITER 579 NEW BEST:: SOT 118826 SOS 59682 HAS SOPS 55658 HAS SOUS 16403 HAS SOUPS 15763 WITH SCORE 15822.682
AT ITER 586 NEW BEST:: SOT 118726 SOS 59482 HAS SOPS 55458 HAS SOUS 16315 HAS SOUPS 15675 WITH SCORE 15734.482
AT ITER 587 NEW BEST:: SOT 118398 SOS 59186 HAS SOPS 55162 HAS SOUS 16249 HAS SOUPS 15609 WITH SCORE 15668.186
AT ITER 590 NEW BEST:: SOT 118264 SOS 59038 HAS SOPS 55003 HAS SOUS 16156 HAS SOUPS 15516 WITH SCORE 15575.038
AT ITER 594 NEW BEST:: SOT 118241 SOS 58992 HAS SOPS 54957 HAS SOUS 16133 HAS SOUPS 15493 WITH SCORE 15551.992
AT ITER 599 NEW BEST:: SOT 118220 SOS 58971 HAS SOPS 54936 HAS SOUS 16119 HAS SOUPS 15479 WITH SCORE 15537.971
AT ITER 600 NEW BEST:: SOT 118219 SOS 58969 HAS SOPS 54934 HAS SOUS 16118 HAS SOUPS 15478 WITH SCORE 15536.969
AT ITER 613 NEW BEST:: SOT 118210 SOS 58923 HAS SOPS 54882 HAS SOUS 16114 HAS SOUPS 15474 WITH SCORE 15532.923
AT ITER 618 NEW BEST:: SOT 118205 SOS 58915 HAS SOPS 54874 HAS SOUS 16106 HAS SOUPS 15466 WITH SCORE 15524.915
AT ITER 623 NEW BEST:: SOT 118378 SOS 58867 HAS SOPS 54826 HAS SOUS 16091 HAS SOUPS 15451 WITH SCORE 15509.867
AT ITER 626 NEW BEST:: SOT 118208 SOS 58735 HAS SOPS 54694 HAS SOUS 16028 HAS SOUPS 15388 WITH SCORE 15446.735
AT ITER 639 NEW BEST:: SOT 118266 SOS 58765 HAS SOPS 54724 HAS SOUS 15977 HAS SOUPS 15337 WITH SCORE 15395.765
AT ITER 647 NEW BEST:: SOT 118198 SOS 58697 HAS SOPS 54666 HAS SOUS 15950 HAS SOUPS 15310 WITH SCORE 15368.697
AT ITER 648 NEW BEST:: SOT 118291 SOS 58730 HAS SOPS 54699 HAS SOUS 15943 HAS SOUPS 15303 WITH SCORE 15361.73
AT ITER 668 NEW BEST:: SOT 118177 SOS 58514 HAS SOPS 54537 HAS SOUS 15907 HAS SOUPS 15294 WITH SCORE 15352.514
AT ITER 670 NEW BEST:: SOT 118168 SOS 58521 HAS SOPS 54544 HAS SOUS 15864 HAS SOUPS 15251 WITH SCORE 15309.521
AT ITER 680 NEW BEST:: SOT 117706 SOS 58073 HAS SOPS 54096 HAS SOUS 15621 HAS SOUPS 15008 WITH SCORE 15066.073
AT ITER 706 NEW BEST:: SOT 117766 SOS 58277 HAS SOPS 54328 HAS SOUS 15597 HAS SOUPS 14984 WITH SCORE 15042.277
AT ITER 709 NEW BEST:: SOT 117736 SOS 58284 HAS SOPS 54337 HAS SOUS 15589 HAS SOUPS 14971 WITH SCORE 15029.284
AT ITER 715 NEW BEST:: SOT 117735 SOS 58283 HAS SOPS 54336 HAS SOUS 15573 HAS SOUPS 14955 WITH SCORE 15013.283
AT ITER 723 NEW BEST:: SOT 117520 SOS 57947 HAS SOPS 54042 HAS SOUS 15445 HAS SOUPS 14850 WITH SCORE 14907.947
AT ITER 746 NEW BEST:: SOT 117527 SOS 57958 HAS SOPS 54056 HAS SOUS 15442 HAS SOUPS 14847 WITH SCORE 14904.958
AT ITER 748 NEW BEST:: SOT 117621 SOS 58219 HAS SOPS 54232 HAS SOUS 15184 HAS SOUPS 14541 WITH SCORE 14599.219
AT ITER 764 NEW BEST:: SOT 117618 SOS 58220 HAS SOPS 54233 HAS SOUS 15183 HAS SOUPS 14540 WITH SCORE 14598.22
AT ITER 765 NEW BEST:: SOT 117314 SOS 58462 HAS SOPS 54393 HAS SOUS 15200 HAS SOUPS 14516 WITH SCORE 14574.462
AT ITER 776 NEW BEST:: SOT 117345 SOS 58712 HAS SOPS 54664 HAS SOUS 15189 HAS SOUPS 14512 WITH SCORE 14570.712
AT ITER 781 NEW BEST:: SOT 117398 SOS 58654 HAS SOPS 54606 HAS SOUS 15064 HAS SOUPS 14387 WITH SCORE 14445.654
AT ITER 782 NEW BEST:: SOT 117384 SOS 58626 HAS SOPS 54578 HAS SOUS 15002 HAS SOUPS 14325 WITH SCORE 14383.626
AT ITER 788 NEW BEST:: SOT 117307 SOS 58549 HAS SOPS 54501 HAS SOUS 14990 HAS SOUPS 14313 WITH SCORE 14371.549
AT ITER 791 NEW BEST:: SOT 117265 SOS 58507 HAS SOPS 54459 HAS SOUS 14926 HAS SOUPS 14249 WITH SCORE 14307.507
AT ITER 796 NEW BEST:: SOT 117285 SOS 58487 HAS SOPS 54439 HAS SOUS 14914 HAS SOUPS 14237 WITH SCORE 14295.487
AT ITER 805 NEW BEST:: SOT 117273 SOS 58499 HAS SOPS 54451 HAS SOUS 14911 HAS SOUPS 14234 WITH SCORE 14292.499
AT ITER 814 NEW BEST:: SOT 117251 SOS 58445 HAS SOPS 54397 HAS SOUS 14884 HAS SOUPS 14207 WITH SCORE 14265.445
AT ITER 816 NEW BEST:: SOT 117167 SOS 58250 HAS SOPS 54216 HAS SOUS 14828 HAS SOUPS 14151 WITH SCORE 14209.25
AT ITER 817 NEW BEST:: SOT 116895 SOS 58028 HAS SOPS 53994 HAS SOUS 14694 HAS SOUPS 14017 WITH SCORE 14075.028
AT ITER 819 NEW BEST:: SOT 116893 SOS 58025 HAS SOPS 53990 HAS SOUS 14690 HAS SOUPS 14013 WITH SCORE 14071.025
AT ITER 829 NEW BEST:: SOT 117129 SOS 58432 HAS SOPS 54397 HAS SOUS 14589 HAS SOUPS 13912 WITH SCORE 13970.432
AT ITER 834 NEW BEST:: SOT 117121 SOS 58410 HAS SOPS 54379 HAS SOUS 14583 HAS SOUPS 13906 WITH SCORE 13964.41
AT ITER 837 NEW BEST:: SOT 117018 SOS 58336 HAS SOPS 54305 HAS SOUS 14487 HAS SOUPS 13810 WITH SCORE 13868.336
AT ITER 840 NEW BEST:: SOT 116798 SOS 58204 HAS SOPS 54173 HAS SOUS 14417 HAS SOUPS 13740 WITH SCORE 13798.204
AT ITER 844 NEW BEST:: SOT 116634 SOS 58122 HAS SOPS 54091 HAS SOUS 14411 HAS SOUPS 13734 WITH SCORE 13792.122
AT ITER 850 NEW BEST:: SOT 116630 SOS 57716 HAS SOPS 53680 HAS SOUS 14414 HAS SOUPS 13733 WITH SCORE 13790.716
AT ITER 868 NEW BEST:: SOT 116600 SOS 57681 HAS SOPS 53645 HAS SOUS 14414 HAS SOUPS 13733 WITH SCORE 13790.681
AT ITER 877 NEW BEST:: SOT 116456 SOS 57597 HAS SOPS 53561 HAS SOUS 14394 HAS SOUPS 13713 WITH SCORE 13770.597
AT ITER 878 NEW BEST:: SOT 116454 SOS 57593 HAS SOPS 53557 HAS SOUS 14377 HAS SOUPS 13696 WITH SCORE 13753.593
AT ITER 881 NEW BEST:: SOT 116453 SOS 57612 HAS SOPS 53569 HAS SOUS 14366 HAS SOUPS 13685 WITH SCORE 13742.612
AT ITER 883 NEW BEST:: SOT 116435 SOS 57578 HAS SOPS 53535 HAS SOUS 14301 HAS SOUPS 13620 WITH SCORE 13677.578
AT ITER 894 NEW BEST:: SOT 116395 SOS 57522 HAS SOPS 53479 HAS SOUS 14253 HAS SOUPS 13572 WITH SCORE 13629.522
AT ITER 920 NEW BEST:: SOT 116365 SOS 57462 HAS SOPS 53419 HAS SOUS 14134 HAS SOUPS 13453 WITH SCORE 13510.462
AT ITER 937 NEW BEST:: SOT 116377 SOS 57462 HAS SOPS 53419 HAS SOUS 14129 HAS SOUPS 13448 WITH SCORE 13505.462
AT ITER 940 NEW BEST:: SOT 116372 SOS 57452 HAS SOPS 53409 HAS SOUS 14127 HAS SOUPS 13446 WITH SCORE 13503.452
AT ITER 954 NEW BEST:: SOT 116253 SOS 56773 HAS SOPS 52856 HAS SOUS 13999 HAS SOUPS 13381 WITH SCORE 13437.773
AT ITER 961 NEW BEST:: SOT 116189 SOS 56591 HAS SOPS 52674 HAS SOUS 13988 HAS SOUPS 13370 WITH SCORE 13426.591
AT ITER 973 NEW BEST:: SOT 116174 SOS 56586 HAS SOPS 52659 HAS SOUS 13956 HAS SOUPS 13333 WITH SCORE 13389.586
AT ITER 980 NEW BEST:: SOT 115856 SOS 56002 HAS SOPS 52387 HAS SOUS 13761 HAS SOUPS 13190 WITH SCORE 13246.002
AT ITER 991 NEW BEST:: SOT 115849 SOS 56040 HAS SOPS 52425 HAS SOUS 13659 HAS SOUPS 13088 WITH SCORE 13144.04
AT ITER 1006 NEW BEST:: SOT 115791 SOS 56075 HAS SOPS 52394 HAS SOUS 13590 HAS SOUPS 12986 WITH SCORE 13042.075
AT ITER 1018 NEW BEST:: SOT 116052 SOS 56979 HAS SOPS 53298 HAS SOUS 13519 HAS SOUPS 12915 WITH SCORE 12971.979
AT ITER 1022 NEW BEST:: SOT 116045 SOS 56965 HAS SOPS 53284 HAS SOUS 13497 HAS SOUPS 12893 WITH SCORE 12949.965
AT ITER 1026 NEW BEST:: SOT 116015 SOS 57035 HAS SOPS 53354 HAS SOUS 13492 HAS SOUPS 12888 WITH SCORE 12945.035
AT ITER 1031 NEW BEST:: SOT 115992 SOS 56990 HAS SOPS 53309 HAS SOUS 13467 HAS SOUPS 12863 WITH SCORE 12919.99
AT ITER 1038 NEW BEST:: SOT 115997 SOS 56995 HAS SOPS 53314 HAS SOUS 13462 HAS SOUPS 12858 WITH SCORE 12914.995
AT ITER 1051 NEW BEST:: SOT 115992 SOS 56990 HAS SOPS 53309 HAS SOUS 13457 HAS SOUPS 12853 WITH SCORE 12909.99
AT ITER 1054 NEW BEST:: SOT 115992 SOS 56750 HAS SOPS 53117 HAS SOUS 13431 HAS SOUPS 12851 WITH SCORE 12907.75
AT ITER 1058 NEW BEST:: SOT 115543 SOS 55852 HAS SOPS 52219 HAS SOUS 13320 HAS SOUPS 12740 WITH SCORE 12795.852
AT ITER 1065 NEW BEST:: SOT 115523 SOS 55829 HAS SOPS 52179 HAS SOUS 13314 HAS SOUPS 12734 WITH SCORE 12789.829
AT ITER 1084 NEW BEST:: SOT 115481 SOS 55787 HAS SOPS 52137 HAS SOUS 13296 HAS SOUPS 12716 WITH SCORE 12771.787
AT ITER 1106 NEW BEST:: SOT 115396 SOS 55877 HAS SOPS 52298 HAS SOUS 13220 HAS SOUPS 12640 WITH SCORE 12695.877
AT ITER 1110 NEW BEST:: SOT 115360 SOS 55805 HAS SOPS 52226 HAS SOUS 13220 HAS SOUPS 12640 WITH SCORE 12695.805
AT ITER 1124 NEW BEST:: SOT 115348 SOS 55793 HAS SOPS 52214 HAS SOUS 13213 HAS SOUPS 12633 WITH SCORE 12688.793
AT ITER 1128 NEW BEST:: SOT 115271 SOS 55425 HAS SOPS 51846 HAS SOUS 13144 HAS SOUPS 12564 WITH SCORE 12619.425
AT ITER 1130 NEW BEST:: SOT 115212 SOS 55371 HAS SOPS 51792 HAS SOUS 13139 HAS SOUPS 12559 WITH SCORE 12614.371
AT ITER 1140 NEW BEST:: SOT 114834 SOS 53859 HAS SOPS 51603 HAS SOUS 13061 HAS SOUPS 12544 WITH SCORE 12597.859
AT ITER 1146 NEW BEST:: SOT 114754 SOS 53678 HAS SOPS 51422 HAS SOUS 13002 HAS SOUPS 12485 WITH SCORE 12538.678
AT ITER 1156 NEW BEST:: SOT 114650 SOS 53064 HAS SOPS 51318 HAS SOUS 12966 HAS SOUPS 12475 WITH SCORE 12528.064
AT ITER 1179 NEW BEST:: SOT 114629 SOS 53013 HAS SOPS 51267 HAS SOUS 12960 HAS SOUPS 12469 WITH SCORE 12522.013
AT ITER 1180 NEW BEST:: SOT 114674 SOS 53028 HAS SOPS 51282 HAS SOUS 12942 HAS SOUPS 12451 WITH SCORE 12504.028
AT ITER 1194 NEW BEST:: SOT 114682 SOS 53024 HAS SOPS 51278 HAS SOUS 12938 HAS SOUPS 12447 WITH SCORE 12500.024
AT ITER 1206 NEW BEST:: SOT 114694 SOS 52988 HAS SOPS 51242 HAS SOUS 12878 HAS SOUPS 12387 WITH SCORE 12439.988
AT ITER 1224 NEW BEST:: SOT 114597 SOS 52894 HAS SOPS 51148 HAS SOUS 12844 HAS SOUPS 12353 WITH SCORE 12405.894
AT ITER 1227 NEW BEST:: SOT 114597 SOS 52889 HAS SOPS 51143 HAS SOUS 12839 HAS SOUPS 12348 WITH SCORE 12400.889
AT ITER 1233 NEW BEST:: SOT 114522 SOS 52811 HAS SOPS 51065 HAS SOUS 12800 HAS SOUPS 12309 WITH SCORE 12361.811
AT ITER 1236 NEW BEST:: SOT 114536 SOS 52791 HAS SOPS 51045 HAS SOUS 12788 HAS SOUPS 12297 WITH SCORE 12349.791
AT ITER 1244 NEW BEST:: SOT 114457 SOS 52703 HAS SOPS 50928 HAS SOUS 12778 HAS SOUPS 12275 WITH SCORE 12327.703
AT ITER 1260 NEW BEST:: SOT 114461 SOS 52713 HAS SOPS 50938 HAS SOUS 12731 HAS SOUPS 12228 WITH SCORE 12280.713
AT ITER 1309 NEW BEST:: SOT 114445 SOS 52681 HAS SOPS 50906 HAS SOUS 12699 HAS SOUPS 12196 WITH SCORE 12248.681
AT ITER 1312 NEW BEST:: SOT 114439 SOS 52669 HAS SOPS 50894 HAS SOUS 12693 HAS SOUPS 12190 WITH SCORE 12242.669
AT ITER 1315 NEW BEST:: SOT 114197 SOS 51853 HAS SOPS 50732 HAS SOUS 12606 HAS SOUPS 12143 WITH SCORE 12194.853
AT ITER 1336 NEW BEST:: SOT 114253 SOS 51959 HAS SOPS 50838 HAS SOUS 12599 HAS SOUPS 12136 WITH SCORE 12187.959
AT ITER 1338 NEW BEST:: SOT 114332 SOS 52327 HAS SOPS 51206 HAS SOUS 12578 HAS SOUPS 12115 WITH SCORE 12167.327
AT ITER 1342 NEW BEST:: SOT 114092 SOS 52146 HAS SOPS 51025 HAS SOUS 12416 HAS SOUPS 11953 WITH SCORE 12005.146
AT ITER 1350 NEW BEST:: SOT 113829 SOS 51906 HAS SOPS 50789 HAS SOUS 12358 HAS SOUPS 11895 WITH SCORE 11946.906
AT ITER 1378 NEW BEST:: SOT 113812 SOS 51861 HAS SOPS 50752 HAS SOUS 12352 HAS SOUPS 11893 WITH SCORE 11944.861
AT ITER 1398 NEW BEST:: SOT 113811 SOS 51859 HAS SOPS 50750 HAS SOUS 12350 HAS SOUPS 11891 WITH SCORE 11942.859
AT ITER 1409 NEW BEST:: SOT 113747 SOS 51641 HAS SOPS 50532 HAS SOUS 12314 HAS SOUPS 11855 WITH SCORE 11906.641
AT ITER 1447 NEW BEST:: SOT 113729 SOS 51629 HAS SOPS 50508 HAS SOUS 12296 HAS SOUPS 11831 WITH SCORE 11882.629
AT ITER 1472 NEW BEST:: SOT 113660 SOS 51544 HAS SOPS 50423 HAS SOUS 12269 HAS SOUPS 11804 WITH SCORE 11855.544
AT ITER 1482 NEW BEST:: SOT 113698 SOS 51251 HAS SOPS 50130 HAS SOUS 12222 HAS SOUPS 11757 WITH SCORE 11808.251
AT ITER 1493 NEW BEST:: SOT 113698 SOS 51232 HAS SOPS 50111 HAS SOUS 12222 HAS SOUPS 11757 WITH SCORE 11808.232
AT ITER 1494 NEW BEST:: SOT 113681 SOS 51198 HAS SOPS 50085 HAS SOUS 12188 HAS SOUPS 11723 WITH SCORE 11774.198
AT ITER 1495 NEW BEST:: SOT 113721 SOS 51488 HAS SOPS 50315 HAS SOUS 12196 HAS SOUPS 11701 WITH SCORE 11752.488
AT ITER 1498 NEW BEST:: SOT 113714 SOS 51485 HAS SOPS 50312 HAS SOUS 12195 HAS SOUPS 11700 WITH SCORE 11751.485
AT ITER 1517 NEW BEST:: SOT 113678 SOS 51449 HAS SOPS 50276 HAS SOUS 12175 HAS SOUPS 11680 WITH SCORE 11731.449
AT ITER 1529 NEW BEST:: SOT 113666 SOS 51441 HAS SOPS 50268 HAS SOUS 12173 HAS SOUPS 11678 WITH SCORE 11729.441
AT ITER 1535 NEW BEST:: SOT 113661 SOS 51440 HAS SOPS 50267 HAS SOUS 12171 HAS SOUPS 11676 WITH SCORE 11727.44
AT ITER 1542 NEW BEST:: SOT 113791 SOS 51555 HAS SOPS 50371 HAS SOUS 12159 HAS SOUPS 11664 WITH SCORE 11715.555
AT ITER 1544 NEW BEST:: SOT 113844 SOS 51598 HAS SOPS 50414 HAS SOUS 12142 HAS SOUPS 11647 WITH SCORE 11698.598
AT ITER 1546 NEW BEST:: SOT 113843 SOS 51597 HAS SOPS 50413 HAS SOUS 12136 HAS SOUPS 11641 WITH SCORE 11692.597
AT ITER 1553 NEW BEST:: SOT 113884 SOS 51454 HAS SOPS 50320 HAS SOUS 12102 HAS SOUPS 11632 WITH SCORE 11683.454
AT ITER 1577 NEW BEST:: SOT 113795 SOS 51351 HAS SOPS 50217 HAS SOUS 11982 HAS SOUPS 11512 WITH SCORE 11563.351
AT ITER 1583 NEW BEST:: SOT 113799 SOS 51345 HAS SOPS 50211 HAS SOUS 11976 HAS SOUPS 11506 WITH SCORE 11557.345
AT ITER 1585 NEW BEST:: SOT 113687 SOS 50899 HAS SOPS 49765 HAS SOUS 11912 HAS SOUPS 11442 WITH SCORE 11492.899
AT ITER 1589 NEW BEST:: SOT 113653 SOS 50895 HAS SOPS 49761 HAS SOUS 11908 HAS SOUPS 11438 WITH SCORE 11488.895
AT ITER 1593 NEW BEST:: SOT 113609 SOS 50799 HAS SOPS 49665 HAS SOUS 11892 HAS SOUPS 11422 WITH SCORE 11472.799
AT ITER 1598 NEW BEST:: SOT 113630 SOS 50593 HAS SOPS 49438 HAS SOUS 11861 HAS SOUPS 11391 WITH SCORE 11441.593
AT ITER 1607 NEW BEST:: SOT 113630 SOS 50593 HAS SOPS 49438 HAS SOUS 11850 HAS SOUPS 11380 WITH SCORE 11430.593
AT ITER 1618 NEW BEST:: SOT 113639 SOS 50517 HAS SOPS 49362 HAS SOUS 11826 HAS SOUPS 11356 WITH SCORE 11406.517
AT ITER 1620 NEW BEST:: SOT 113643 SOS 50575 HAS SOPS 49424 HAS SOUS 11808 HAS SOUPS 11338 WITH SCORE 11388.575
AT ITER 1629 NEW BEST:: SOT 113637 SOS 50561 HAS SOPS 49410 HAS SOUS 11806 HAS SOUPS 11336 WITH SCORE 11386.561
AT ITER 1634 NEW BEST:: SOT 113650 SOS 50574 HAS SOPS 49423 HAS SOUS 11801 HAS SOUPS 11331 WITH SCORE 11381.574
AT ITER 1649 NEW BEST:: SOT 113616 SOS 50536 HAS SOPS 49384 HAS SOUS 11773 HAS SOUPS 11303 WITH SCORE 11353.536
AT ITER 1661 NEW BEST:: SOT 113532 SOS 50515 HAS SOPS 49363 HAS SOUS 11731 HAS SOUPS 11261 WITH SCORE 11311.515
AT ITER 1681 NEW BEST:: SOT 113547 SOS 50522 HAS SOPS 49370 HAS SOUS 11720 HAS SOUPS 11250 WITH SCORE 11300.522
AT ITER 1683 NEW BEST:: SOT 113497 SOS 50492 HAS SOPS 49340 HAS SOUS 11720 HAS SOUPS 11250 WITH SCORE 11300.492
AT ITER 1687 NEW BEST:: SOT 113476 SOS 50485 HAS SOPS 49333 HAS SOUS 11702 HAS SOUPS 11232 WITH SCORE 11282.485
AT ITER 1689 NEW BEST:: SOT 113428 SOS 50421 HAS SOPS 49245 HAS SOUS 11654 HAS SOUPS 11184 WITH SCORE 11234.421
AT ITER 1690 NEW BEST:: SOT 113365 SOS 50290 HAS SOPS 49103 HAS SOUS 11643 HAS SOUPS 11167 WITH SCORE 11217.29
AT ITER 1702 NEW BEST:: SOT 113505 SOS 50302 HAS SOPS 49115 HAS SOUS 11606 HAS SOUPS 11130 WITH SCORE 11180.302
AT ITER 1705 NEW BEST:: SOT 113558 SOS 51105 HAS SOPS 49062 HAS SOUS 11616 HAS SOUPS 11088 WITH SCORE 11139.105
AT ITER 1709 NEW BEST:: SOT 113555 SOS 51069 HAS SOPS 49026 HAS SOUS 11607 HAS SOUPS 11079 WITH SCORE 11130.069
AT ITER 1711 NEW BEST:: SOT 113555 SOS 51069 HAS SOPS 49026 HAS SOUS 11599 HAS SOUPS 11071 WITH SCORE 11122.069
AT ITER 1728 NEW BEST:: SOT 113432 SOS 51030 HAS SOPS 48987 HAS SOUS 11565 HAS SOUPS 11037 WITH SCORE 11088.03
AT ITER 1733 NEW BEST:: SOT 113410 SOS 51008 HAS SOPS 48965 HAS SOUS 11554 HAS SOUPS 11026 WITH SCORE 11077.008
AT ITER 1748 NEW BEST:: SOT 113374 SOS 50918 HAS SOPS 48875 HAS SOUS 11542 HAS SOUPS 11014 WITH SCORE 11064.918
AT ITER 1785 NEW BEST:: SOT 113331 SOS 50835 HAS SOPS 48792 HAS SOUS 11516 HAS SOUPS 10988 WITH SCORE 11038.835
AT ITER 1789 NEW BEST:: SOT 113331 SOS 50835 HAS SOPS 48792 HAS SOUS 11487 HAS SOUPS 10959 WITH SCORE 11009.835
AT ITER 1808 NEW BEST:: SOT 113391 SOS 50955 HAS SOPS 48732 HAS SOUS 11424 HAS SOUPS 10866 WITH SCORE 10916.955
AT ITER 1810 NEW BEST:: SOT 113389 SOS 50935 HAS SOPS 48712 HAS SOUS 11424 HAS SOUPS 10866 WITH SCORE 10916.935
AT ITER 1821 NEW BEST:: SOT 113141 SOS 50293 HAS SOPS 48070 HAS SOUS 11392 HAS SOUPS 10834 WITH SCORE 10884.293
AT ITER 1841 NEW BEST:: SOT 113119 SOS 50247 HAS SOPS 48024 HAS SOUS 11335 HAS SOUPS 10777 WITH SCORE 10827.247
AT ITER 1879 NEW BEST:: SOT 113087 SOS 50177 HAS SOPS 47954 HAS SOUS 11301 HAS SOUPS 10743 WITH SCORE 10793.177
AT ITER 1891 NEW BEST:: SOT 113079 SOS 50155 HAS SOPS 47932 HAS SOUS 11291 HAS SOUPS 10733 WITH SCORE 10783.155
AT ITER 1892 NEW BEST:: SOT 113079 SOS 50147 HAS SOPS 47924 HAS SOUS 11289 HAS SOUPS 10731 WITH SCORE 10781.147
AT ITER 1893 NEW BEST:: SOT 113073 SOS 50130 HAS SOPS 47907 HAS SOUS 11277 HAS SOUPS 10719 WITH SCORE 10769.13
AT ITER 1931 NEW BEST:: SOT 113024 SOS 50081 HAS SOPS 47858 HAS SOUS 11227 HAS SOUPS 10669 WITH SCORE 10719.081
AT ITER 1961 NEW BEST:: SOT 112998 SOS 50036 HAS SOPS 47813 HAS SOUS 11185 HAS SOUPS 10627 WITH SCORE 10677.036
AT ITER 1981 NEW BEST:: SOT 112969 SOS 49994 HAS SOPS 47771 HAS SOUS 11182 HAS SOUPS 10624 WITH SCORE 10673.994
AT ITER 1988 NEW BEST:: SOT 112942 SOS 50087 HAS SOPS 47843 HAS SOUS 11165 HAS SOUPS 10607 WITH SCORE 10657.087
AT ITER 1995 NEW BEST:: SOT 112978 SOS 50143 HAS SOPS 47899 HAS SOUS 11149 HAS SOUPS 10591 WITH SCORE 10641.143
AT ITER 2005 NEW BEST:: SOT 112937 SOS 50152 HAS SOPS 47908 HAS SOUS 11121 HAS SOUPS 10563 WITH SCORE 10613.152
AT ITER 2049 NEW BEST:: SOT 113029 SOS 50222 HAS SOPS 47959 HAS SOUS 11110 HAS SOUPS 10547 WITH SCORE 10597.222
AT ITER 2079 NEW BEST:: SOT 113057 SOS 50222 HAS SOPS 47959 HAS SOUS 11109 HAS SOUPS 10546 WITH SCORE 10596.222
AT ITER 2123 NEW BEST:: SOT 113038 SOS 50203 HAS SOPS 47940 HAS SOUS 11044 HAS SOUPS 10481 WITH SCORE 10531.203
AT ITER 2125 NEW BEST:: SOT 113053 SOS 50528 HAS SOPS 47955 HAS SOUS 11044 HAS SOUPS 10466 WITH SCORE 10516.528
AT ITER 2163 NEW BEST:: SOT 112907 SOS 50341 HAS SOPS 47768 HAS SOUS 10960 HAS SOUPS 10382 WITH SCORE 10432.341
AT ITER 2213 NEW BEST:: SOT 112928 SOS 50390 HAS SOPS 47817 HAS SOUS 10958 HAS SOUPS 10380 WITH SCORE 10430.39
AT ITER 2227 NEW BEST:: SOT 112910 SOS 50264 HAS SOPS 47799 HAS SOUS 10940 HAS SOUPS 10380 WITH SCORE 10430.264
AT ITER 2236 NEW BEST:: SOT 112915 SOS 50269 HAS SOPS 47804 HAS SOUS 10932 HAS SOUPS 10372 WITH SCORE 10422.269
AT ITER 2281 NEW BEST:: SOT 112905 SOS 50219 HAS SOPS 47754 HAS SOUS 10894 HAS SOUPS 10334 WITH SCORE 10384.219
AT ITER 2283 NEW BEST:: SOT 112875 SOS 50201 HAS SOPS 47736 HAS SOUS 10894 HAS SOUPS 10334 WITH SCORE 10384.201
AT ITER 2285 NEW BEST:: SOT 112807 SOS 50394 HAS SOPS 47929 HAS SOUS 10890 HAS SOUPS 10330 WITH SCORE 10380.394
AT ITER 2295 NEW BEST:: SOT 112797 SOS 50388 HAS SOPS 47923 HAS SOUS 10890 HAS SOUPS 10330 WITH SCORE 10380.388
AT ITER 2299 NEW BEST:: SOT 112791 SOS 50384 HAS SOPS 47919 HAS SOUS 10889 HAS SOUPS 10329 WITH SCORE 10379.384
AT ITER 2310 NEW BEST:: SOT 112788 SOS 50378 HAS SOPS 47913 HAS SOUS 10858 HAS SOUPS 10298 WITH SCORE 10348.378
AT ITER 2446 NEW BEST:: SOT 112689 SOS 50279 HAS SOPS 47814 HAS SOUS 10817 HAS SOUPS 10257 WITH SCORE 10307.279
AT ITER 2476 NEW BEST:: SOT 112696 SOS 50286 HAS SOPS 47821 HAS SOUS 10816 HAS SOUPS 10256 WITH SCORE 10306.286
AT ITER 2488 NEW BEST:: SOT 112692 SOS 50280 HAS SOPS 47813 HAS SOUS 10802 HAS SOUPS 10242 WITH SCORE 10292.28
AT ITER 2493 NEW BEST:: SOT 112702 SOS 50275 HAS SOPS 47808 HAS SOUS 10782 HAS SOUPS 10222 WITH SCORE 10272.275
AT ITER 2506 NEW BEST:: SOT 112236 SOS 49999 HAS SOPS 47532 HAS SOUS 10773 HAS SOUPS 10213 WITH SCORE 10262.999
AT ITER 2518 NEW BEST:: SOT 112281 SOS 50202 HAS SOPS 47652 HAS SOUS 10764 HAS SOUPS 10175 WITH SCORE 10225.202
AT ITER 2520 NEW BEST:: SOT 112309 SOS 50216 HAS SOPS 47666 HAS SOUS 10763 HAS SOUPS 10174 WITH SCORE 10224.216
AT ITER 2550 NEW BEST:: SOT 112290 SOS 50211 HAS SOPS 47661 HAS SOUS 10744 HAS SOUPS 10155 WITH SCORE 10205.211
AT ITER 2561 NEW BEST:: SOT 112291 SOS 50212 HAS SOPS 47662 HAS SOUS 10743 HAS SOUPS 10154 WITH SCORE 10204.212
AT ITER 2574 NEW BEST:: SOT 112329 SOS 50217 HAS SOPS 47667 HAS SOUS 10742 HAS SOUPS 10153 WITH SCORE 10203.217
AT ITER 2586 NEW BEST:: SOT 112240 SOS 50098 HAS SOPS 47548 HAS SOUS 10729 HAS SOUPS 10140 WITH SCORE 10190.098
AT ITER 2600 NEW BEST:: SOT 112224 SOS 50068 HAS SOPS 47518 HAS SOUS 10697 HAS SOUPS 10108 WITH SCORE 10158.068
AT ITER 2625 NEW BEST:: SOT 112242 SOS 50050 HAS SOPS 47500 HAS SOUS 10697 HAS SOUPS 10108 WITH SCORE 10158.05
AT ITER 2631 NEW BEST:: SOT 112200 SOS 49847 HAS SOPS 47280 HAS SOUS 10701 HAS SOUPS 10104 WITH SCORE 10153.847
AT ITER 2652 NEW BEST:: SOT 112200 SOS 49845 HAS SOPS 47275 HAS SOUS 10697 HAS SOUPS 10100 WITH SCORE 10149.845
AT ITER 2668 NEW BEST:: SOT 112346 SOS 49876 HAS SOPS 47306 HAS SOUS 10688 HAS SOUPS 10091 WITH SCORE 10140.876
AT ITER 2703 NEW BEST:: SOT 112368 SOS 49744 HAS SOPS 47218 HAS SOUS 10666 HAS SOUPS 10091 WITH SCORE 10140.744
AT ITER 2704 NEW BEST:: SOT 112364 SOS 49670 HAS SOPS 47144 HAS SOUS 10662 HAS SOUPS 10087 WITH SCORE 10136.67
AT ITER 2712 NEW BEST:: SOT 112364 SOS 49760 HAS SOPS 47234 HAS SOUS 10652 HAS SOUPS 10077 WITH SCORE 10126.76
AT ITER 2717 NEW BEST:: SOT 112367 SOS 49775 HAS SOPS 47249 HAS SOUS 10644 HAS SOUPS 10069 WITH SCORE 10118.775
AT ITER 2757 NEW BEST:: SOT 112354 SOS 49767 HAS SOPS 47241 HAS SOUS 10641 HAS SOUPS 10066 WITH SCORE 10115.767
AT ITER 2779 NEW BEST:: SOT 112253 SOS 49685 HAS SOPS 47159 HAS SOUS 10543 HAS SOUPS 9968 WITH SCORE 10017.685
AT ITER 2791 NEW BEST:: SOT 112274 SOS 49730 HAS SOPS 47204 HAS SOUS 10540 HAS SOUPS 9965 WITH SCORE 10014.73
AT ITER 2792 NEW BEST:: SOT 112262 SOS 49738 HAS SOPS 47212 HAS SOUS 10536 HAS SOUPS 9961 WITH SCORE 10010.738
AT ITER 2806 NEW BEST:: SOT 112270 SOS 49749 HAS SOPS 47223 HAS SOUS 10522 HAS SOUPS 9947 WITH SCORE 9996.749
AT ITER 2848 NEW BEST:: SOT 112258 SOS 49741 HAS SOPS 47215 HAS SOUS 10516 HAS SOUPS 9941 WITH SCORE 9990.741
AT ITER 2851 NEW BEST:: SOT 112294 SOS 49729 HAS SOPS 47203 HAS SOUS 10492 HAS SOUPS 9917 WITH SCORE 9966.729
AT ITER 2930 NEW BEST:: SOT 112387 SOS 49727 HAS SOPS 47175 HAS SOUS 10489 HAS SOUPS 9914 WITH SCORE 9963.727
AT ITER 2940 NEW BEST:: SOT 112393 SOS 49721 HAS SOPS 47169 HAS SOUS 10489 HAS SOUPS 9914 WITH SCORE 9963.721
AT ITER 2957 NEW BEST:: SOT 112428 SOS 49688 HAS SOPS 47136 HAS SOUS 10464 HAS SOUPS 9889 WITH SCORE 9938.688
AT ITER 2958 NEW BEST:: SOT 112395 SOS 49687 HAS SOPS 47135 HAS SOUS 10447 HAS SOUPS 9872 WITH SCORE 9921.687
AT ITER 2971 NEW BEST:: SOT 112395 SOS 49687 HAS SOPS 47135 HAS SOUS 10445 HAS SOUPS 9870 WITH SCORE 9919.687
AT ITER 2983 NEW BEST:: SOT 112310 SOS 49568 HAS SOPS 47016 HAS SOUS 10351 HAS SOUPS 9776 WITH SCORE 9825.568
AT ITER 2987 NEW BEST:: SOT 112229 SOS 49391 HAS SOPS 46847 HAS SOUS 10283 HAS SOUPS 9716 WITH SCORE 9765.391
AT ITER 2997 NEW BEST:: SOT 112091 SOS 49319 HAS SOPS 46775 HAS SOUS 10277 HAS SOUPS 9710 WITH SCORE 9759.319
AT ITER 3004 NEW BEST:: SOT 112091 SOS 49318 HAS SOPS 46774 HAS SOUS 10275 HAS SOUPS 9708 WITH SCORE 9757.318
AT ITER 3013 NEW BEST:: SOT 112002 SOS 49285 HAS SOPS 46754 HAS SOUS 10265 HAS SOUPS 9698 WITH SCORE 9747.285
AT ITER 3035 NEW BEST:: SOT 111971 SOS 49056 HAS SOPS 46525 HAS SOUS 10203 HAS SOUPS 9636 WITH SCORE 9685.056
AT ITER 3046 NEW BEST:: SOT 111980 SOS 49025 HAS SOPS 46494 HAS SOUS 10201 HAS SOUPS 9634 WITH SCORE 9683.025
AT ITER 3060 NEW BEST:: SOT 111840 SOS 48880 HAS SOPS 46349 HAS SOUS 10196 HAS SOUPS 9629 WITH SCORE 9677.88
AT ITER 3097 NEW BEST:: SOT 111826 SOS 48854 HAS SOPS 46327 HAS SOUS 10192 HAS SOUPS 9627 WITH SCORE 9675.854
AT ITER 3108 NEW BEST:: SOT 111816 SOS 48834 HAS SOPS 46307 HAS SOUS 10169 HAS SOUPS 9604 WITH SCORE 9652.834
AT ITER 3109 NEW BEST:: SOT 111807 SOS 48816 HAS SOPS 46289 HAS SOUS 10160 HAS SOUPS 9595 WITH SCORE 9643.816
AT ITER 3113 NEW BEST:: SOT 111694 SOS 48613 HAS SOPS 46086 HAS SOUS 10063 HAS SOUPS 9498 WITH SCORE 9546.613
AT ITER 3119 NEW BEST:: SOT 111685 SOS 48625 HAS SOPS 46092 HAS SOUS 10060 HAS SOUPS 9495 WITH SCORE 9543.625
AT ITER 3122 NEW BEST:: SOT 111677 SOS 48609 HAS SOPS 46076 HAS SOUS 10050 HAS SOUPS 9485 WITH SCORE 9533.609
AT ITER 3125 NEW BEST:: SOT 111664 SOS 48610 HAS SOPS 46077 HAS SOUS 10020 HAS SOUPS 9455 WITH SCORE 9503.61
AT ITER 3127 NEW BEST:: SOT 111604 SOS 48554 HAS SOPS 46021 HAS SOUS 9995 HAS SOUPS 9430 WITH SCORE 9478.554
AT ITER 3129 NEW BEST:: SOT 111562 SOS 48473 HAS SOPS 45940 HAS SOUS 9948 HAS SOUPS 9383 WITH SCORE 9431.473
AT ITER 3140 NEW BEST:: SOT 111553 SOS 48440 HAS SOPS 45913 HAS SOUS 9945 HAS SOUPS 9383 WITH SCORE 9431.44
AT ITER 3161 NEW BEST:: SOT 111568 SOS 48472 HAS SOPS 45945 HAS SOUS 9924 HAS SOUPS 9362 WITH SCORE 9410.472
AT ITER 3169 NEW BEST:: SOT 111641 SOS 48371 HAS SOPS 45844 HAS SOUS 9924 HAS SOUPS 9362 WITH SCORE 9410.371
AT ITER 3176 NEW BEST:: SOT 111573 SOS 48237 HAS SOPS 45710 HAS SOUS 9800 HAS SOUPS 9238 WITH SCORE 9286.237
AT ITER 3184 NEW BEST:: SOT 111601 SOS 48250 HAS SOPS 45723 HAS SOUS 9789 HAS SOUPS 9227 WITH SCORE 9275.25
AT ITER 3210 NEW BEST:: SOT 111635 SOS 48284 HAS SOPS 45739 HAS SOUS 9712 HAS SOUPS 9150 WITH SCORE 9198.284
AT ITER 3266 NEW BEST:: SOT 111633 SOS 48282 HAS SOPS 45737 HAS SOUS 9712 HAS SOUPS 9150 WITH SCORE 9198.282
AT ITER 3314 NEW BEST:: SOT 111576 SOS 48236 HAS SOPS 45691 HAS SOUS 9675 HAS SOUPS 9113 WITH SCORE 9161.236
AT ITER 3325 NEW BEST:: SOT 111565 SOS 48140 HAS SOPS 45595 HAS SOUS 9659 HAS SOUPS 9097 WITH SCORE 9145.14
AT ITER 3326 NEW BEST:: SOT 111551 SOS 48119 HAS SOPS 45574 HAS SOUS 9652 HAS SOUPS 9090 WITH SCORE 9138.119
AT ITER 3336 NEW BEST:: SOT 111547 SOS 48115 HAS SOPS 45566 HAS SOUS 9644 HAS SOUPS 9082 WITH SCORE 9130.115
AT ITER 3382 NEW BEST:: SOT 111446 SOS 48016 HAS SOPS 45467 HAS SOUS 9573 HAS SOUPS 9011 WITH SCORE 9059.016
AT ITER 3384 NEW BEST:: SOT 111454 SOS 48034 HAS SOPS 45499 HAS SOUS 9559 HAS SOUPS 9003 WITH SCORE 9051.034
AT ITER 3500 NEW BEST:: SOT 111410 SOS 47960 HAS SOPS 45425 HAS SOUS 9478 HAS SOUPS 8922 WITH SCORE 8969.96
AT ITER 3550 NEW BEST:: SOT 111376 SOS 47808 HAS SOPS 45273 HAS SOUS 9460 HAS SOUPS 8904 WITH SCORE 8951.808
AT ITER 3558 NEW BEST:: SOT 111362 SOS 47780 HAS SOPS 45245 HAS SOUS 9439 HAS SOUPS 8883 WITH SCORE 8930.78
AT ITER 3560 NEW BEST:: SOT 111241 SOS 47693 HAS SOPS 45158 HAS SOUS 9417 HAS SOUPS 8861 WITH SCORE 8908.693
AT ITER 3563 NEW BEST:: SOT 111456 SOS 47822 HAS SOPS 45287 HAS SOUS 9362 HAS SOUPS 8806 WITH SCORE 8853.822
AT ITER 3576 NEW BEST:: SOT 111485 SOS 47897 HAS SOPS 45362 HAS SOUS 9358 HAS SOUPS 8802 WITH SCORE 8849.897
AT ITER 3614 NEW BEST:: SOT 111479 SOS 47885 HAS SOPS 45350 HAS SOUS 9352 HAS SOUPS 8796 WITH SCORE 8843.885
AT ITER 3641 NEW BEST:: SOT 111253 SOS 47810 HAS SOPS 45275 HAS SOUS 9330 HAS SOUPS 8774 WITH SCORE 8821.81
AT ITER 3642 NEW BEST:: SOT 111232 SOS 47797 HAS SOPS 45262 HAS SOUS 9319 HAS SOUPS 8763 WITH SCORE 8810.797
AT ITER 3651 NEW BEST:: SOT 111126 SOS 47665 HAS SOPS 45130 HAS SOUS 9290 HAS SOUPS 8734 WITH SCORE 8781.665
AT ITER 3652 NEW BEST:: SOT 111115 SOS 47643 HAS SOPS 45108 HAS SOUS 9237 HAS SOUPS 8681 WITH SCORE 8728.643
AT ITER 3653 NEW BEST:: SOT 111117 SOS 47631 HAS SOPS 45096 HAS SOUS 9235 HAS SOUPS 8679 WITH SCORE 8726.631
AT ITER 3664 NEW BEST:: SOT 111103 SOS 47570 HAS SOPS 45041 HAS SOUS 9211 HAS SOUPS 8660 WITH SCORE 8707.57
AT ITER 3699 NEW BEST:: SOT 111096 SOS 47558 HAS SOPS 45029 HAS SOUS 9208 HAS SOUPS 8657 WITH SCORE 8704.558
AT ITER 3719 NEW BEST:: SOT 111111 SOS 47558 HAS SOPS 45024 HAS SOUS 9196 HAS SOUPS 8645 WITH SCORE 8692.558
AT ITER 3721 NEW BEST:: SOT 111142 SOS 47588 HAS SOPS 45054 HAS SOUS 9183 HAS SOUPS 8632 WITH SCORE 8679.588
AT ITER 3767 NEW BEST:: SOT 111037 SOS 47336 HAS SOPS 44802 HAS SOUS 9162 HAS SOUPS 8611 WITH SCORE 8658.336
AT ITER 3819 NEW BEST:: SOT 111037 SOS 47339 HAS SOPS 44798 HAS SOUS 9158 HAS SOUPS 8606 WITH SCORE 8653.339
AT ITER 3864 NEW BEST:: SOT 110949 SOS 47275 HAS SOPS 44734 HAS SOUS 9146 HAS SOUPS 8594 WITH SCORE 8641.275
AT ITER 4029 NEW BEST:: SOT 110937 SOS 47263 HAS SOPS 44722 HAS SOUS 9130 HAS SOUPS 8578 WITH SCORE 8625.263
AT ITER 4036 NEW BEST:: SOT 110949 SOS 47254 HAS SOPS 44724 HAS SOUS 9125 HAS SOUPS 8573 WITH SCORE 8620.254
AT ITER 4048 NEW BEST:: SOT 110948 SOS 47049 HAS SOPS 44519 HAS SOUS 9122 HAS SOUPS 8570 WITH SCORE 8617.049
AT ITER 4058 NEW BEST:: SOT 110871 SOS 47009 HAS SOPS 44479 HAS SOUS 9121 HAS SOUPS 8569 WITH SCORE 8616.009
AT ITER 4063 NEW BEST:: SOT 110865 SOS 47007 HAS SOPS 44477 HAS SOUS 9117 HAS SOUPS 8565 WITH SCORE 8612.007
AT ITER 4067 NEW BEST:: SOT 110842 SOS 46524 HAS SOPS 43994 HAS SOUS 9094 HAS SOUPS 8542 WITH SCORE 8588.524
AT ITER 4071 NEW BEST:: SOT 110844 SOS 46532 HAS SOPS 44002 HAS SOUS 9088 HAS SOUPS 8536 WITH SCORE 8582.532
AT ITER 4111 NEW BEST:: SOT 110814 SOS 46508 HAS SOPS 43978 HAS SOUS 9076 HAS SOUPS 8524 WITH SCORE 8570.508
AT ITER 4116 NEW BEST:: SOT 110855 SOS 46513 HAS SOPS 43983 HAS SOUS 9045 HAS SOUPS 8493 WITH SCORE 8539.513
AT ITER 4187 NEW BEST:: SOT 110825 SOS 46393 HAS SOPS 43863 HAS SOUS 9041 HAS SOUPS 8489 WITH SCORE 8535.393
AT ITER 4278 NEW BEST:: SOT 110814 SOS 46389 HAS SOPS 43859 HAS SOUS 9040 HAS SOUPS 8488 WITH SCORE 8534.389
AT ITER 4283 NEW BEST:: SOT 110801 SOS 46369 HAS SOPS 43839 HAS SOUS 9020 HAS SOUPS 8468 WITH SCORE 8514.369
AT ITER 4312 NEW BEST:: SOT 110601 SOS 46221 HAS SOPS 43691 HAS SOUS 8926 HAS SOUPS 8374 WITH SCORE 8420.221
AT ITER 4321 NEW BEST:: SOT 110577 SOS 46281 HAS SOPS 43667 HAS SOUS 8901 HAS SOUPS 8335 WITH SCORE 8381.281
AT ITER 4349 NEW BEST:: SOT 110577 SOS 46281 HAS SOPS 43667 HAS SOUS 8884 HAS SOUPS 8318 WITH SCORE 8364.281
AT ITER 4360 NEW BEST:: SOT 110536 SOS 46233 HAS SOPS 43620 HAS SOUS 8873 HAS SOUPS 8307 WITH SCORE 8353.233
AT ITER 4412 NEW BEST:: SOT 110518 SOS 46236 HAS SOPS 43623 HAS SOUS 8867 HAS SOUPS 8301 WITH SCORE 8347.236
AT ITER 4426 NEW BEST:: SOT 110457 SOS 46151 HAS SOPS 43568 HAS SOUS 8831 HAS SOUPS 8265 WITH SCORE 8311.151
AT ITER 4438 NEW BEST:: SOT 110454 SOS 46144 HAS SOPS 43561 HAS SOUS 8828 HAS SOUPS 8262 WITH SCORE 8308.144
AT ITER 4440 NEW BEST:: SOT 110451 SOS 46138 HAS SOPS 43555 HAS SOUS 8826 HAS SOUPS 8260 WITH SCORE 8306.138
AT ITER 4455 NEW BEST:: SOT 110436 SOS 46123 HAS SOPS 43540 HAS SOUS 8826 HAS SOUPS 8260 WITH SCORE 8306.123
AT ITER 4466 NEW BEST:: SOT 110433 SOS 46117 HAS SOPS 43534 HAS SOUS 8820 HAS SOUPS 8254 WITH SCORE 8300.117
AT ITER 4489 NEW BEST:: SOT 110432 SOS 46114 HAS SOPS 43531 HAS SOUS 8818 HAS SOUPS 8252 WITH SCORE 8298.114
AT ITER 4518 NEW BEST:: SOT 110577 SOS 46205 HAS SOPS 43595 HAS SOUS 8793 HAS SOUPS 8227 WITH SCORE 8273.205
AT ITER 4533 NEW BEST:: SOT 110581 SOS 46201 HAS SOPS 43585 HAS SOUS 8793 HAS SOUPS 8227 WITH SCORE 8273.201
AT ITER 4537 NEW BEST:: SOT 110571 SOS 46177 HAS SOPS 43561 HAS SOUS 8791 HAS SOUPS 8225 WITH SCORE 8271.177
AT ITER 4538 NEW BEST:: SOT 110537 SOS 46157 HAS SOPS 43542 HAS SOUS 8786 HAS SOUPS 8220 WITH SCORE 8266.157
AT ITER 4586 NEW BEST:: SOT 109995 SOS 46053 HAS SOPS 43438 HAS SOUS 8773 HAS SOUPS 8207 WITH SCORE 8253.053
AT ITER 4597 NEW BEST:: SOT 110007 SOS 46084 HAS SOPS 43469 HAS SOUS 8771 HAS SOUPS 8205 WITH SCORE 8251.084
AT ITER 4641 NEW BEST:: SOT 109985 SOS 46050 HAS SOPS 43437 HAS SOUS 8767 HAS SOUPS 8201 WITH SCORE 8247.05
AT ITER 4658 NEW BEST:: SOT 109977 SOS 46034 HAS SOPS 43421 HAS SOUS 8751 HAS SOUPS 8185 WITH SCORE 8231.034
AT ITER 4667 NEW BEST:: SOT 109976 SOS 46021 HAS SOPS 43408 HAS SOUS 8750 HAS SOUPS 8184 WITH SCORE 8230.021
AT ITER 4685 NEW BEST:: SOT 109970 SOS 46019 HAS SOPS 43408 HAS SOUS 8748 HAS SOUPS 8182 WITH SCORE 8228.019
AT ITER 4699 NEW BEST:: SOT 109922 SOS 45987 HAS SOPS 43376 HAS SOUS 8737 HAS SOUPS 8171 WITH SCORE 8216.987
AT ITER 4745 NEW BEST:: SOT 109879 SOS 45854 HAS SOPS 43211 HAS SOUS 8732 HAS SOUPS 8166 WITH SCORE 8211.854
AT ITER 4750 NEW BEST:: SOT 109869 SOS 45833 HAS SOPS 43190 HAS SOUS 8721 HAS SOUPS 8155 WITH SCORE 8200.833
AT ITER 4751 NEW BEST:: SOT 109852 SOS 45812 HAS SOPS 43169 HAS SOUS 8720 HAS SOUPS 8154 WITH SCORE 8199.812
AT ITER 4757 NEW BEST:: SOT 109849 SOS 45788 HAS SOPS 43145 HAS SOUS 8717 HAS SOUPS 8151 WITH SCORE 8196.788
AT ITER 4793 NEW BEST:: SOT 109872 SOS 45747 HAS SOPS 43104 HAS SOUS 8668 HAS SOUPS 8102 WITH SCORE 8147.747
AT ITER 4811 NEW BEST:: SOT 109864 SOS 45737 HAS SOPS 43094 HAS SOUS 8655 HAS SOUPS 8089 WITH SCORE 8134.737
AT ITER 4819 NEW BEST:: SOT 109927 SOS 45905 HAS SOPS 43262 HAS SOUS 8641 HAS SOUPS 8075 WITH SCORE 8120.905
AT ITER 4824 NEW BEST:: SOT 109926 SOS 45892 HAS SOPS 43260 HAS SOUS 8624 HAS SOUPS 8058 WITH SCORE 8103.892
AT ITER 4837 NEW BEST:: SOT 109900 SOS 45848 HAS SOPS 43222 HAS SOUS 8604 HAS SOUPS 8041 WITH SCORE 8086.848
AT ITER 4867 NEW BEST:: SOT 109908 SOS 45880 HAS SOPS 43250 HAS SOUS 8596 HAS SOUPS 8033 WITH SCORE 8078.88
AT ITER 4892 NEW BEST:: SOT 109905 SOS 45873 HAS SOPS 43243 HAS SOUS 8595 HAS SOUPS 8032 WITH SCORE 8077.873
AT ITER 4896 NEW BEST:: SOT 109897 SOS 45860 HAS SOPS 43230 HAS SOUS 8582 HAS SOUPS 8019 WITH SCORE 8064.86
AT ITER 4907 NEW BEST:: SOT 109902 SOS 45865 HAS SOPS 43235 HAS SOUS 8578 HAS SOUPS 8015 WITH SCORE 8060.865
AT ITER 4935 NEW BEST:: SOT 109883 SOS 45886 HAS SOPS 43256 HAS SOUS 8566 HAS SOUPS 8003 WITH SCORE 8048.886
AT ITER 4955 NEW BEST:: SOT 109877 SOS 45859 HAS SOPS 43229 HAS SOUS 8565 HAS SOUPS 8002 WITH SCORE 8047.859
AT ITER 4992 NEW BEST:: SOT 109873 SOS 45855 HAS SOPS 43225 HAS SOUS 8561 HAS SOUPS 7998 WITH SCORE 8043.855
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: UtahNoC-PT-none-CTLCardinality-00 (EF((AG( ( potential( (tk(P53)) <= (tk(P107)) ) | potential( ( 2 ) <= (tk(P29)) ) )))))
PROPERTY: UtahNoC-PT-none-CTLCardinality-01 (EF((AG( ( potential( (tk(P2)) <= (tk(P69)) ) & potential( (tk(P193)) <= (tk(P74)) ) )))))
PROPERTY: UtahNoC-PT-none-CTLCardinality-02 (EU( ( ( potential( (tk(P64)) <= (tk(P115)) ) | potential( ( 3 ) <= (tk(P200)) ) ) | (! potential( ( 2 ) <= (tk(P149)) )) ),(EG( potential( ( 3 ) <= (tk(P204)) ))) ))
PROPERTY: UtahNoC-PT-none-CTLCardinality-03 ( (AG( (AF(potential( (tk(P102)) <= (tk(P156)) ))))) | ( (AF(( potential( (tk(P45)) <= (tk(P197)) ) & potential( ( 1 ) <= (tk(P76)) ) ))) & ( (EF(potential( (tk(P65)) <= (tk(P48)) ))) | ( (! potential( ( 3 ) <= (tk(P97)) )) | potential( ( 1 ) <= (tk(P57)) ) ) ) ) )
PROPERTY: UtahNoC-PT-none-CTLCardinality-04 ( (! (AG( ( potential( (tk(P74)) <= (tk(P134)) ) | potential( (tk(P128)) <= (tk(P207)) ) )))) | (EX( (AX( potential( ( 3 ) <= (tk(P176)) ))))) )
PROPERTY: UtahNoC-PT-none-CTLCardinality-05 (AG( ( (AX( potential( (tk(P185)) <= (tk(P128)) ))) & (! potential( ( 2 ) <= (tk(P134)) )) )))
PROPERTY: UtahNoC-PT-none-CTLCardinality-06 (! (EG( (EF(potential( ( 2 ) <= (tk(P123)) ))))))
PROPERTY: UtahNoC-PT-none-CTLCardinality-07 (AG( ( (! (! potential( ( 1 ) <= (tk(P194)) ))) | ( ( potential( (tk(P171)) <= (tk(P155)) ) | potential( ( 2 ) <= (tk(P212)) ) ) | potential( ( 1 ) <= (tk(P201)) ) ) )))
PROPERTY: UtahNoC-PT-none-CTLCardinality-08 (EU( ( potential( ( 1 ) <= (tk(P58)) ) | ( potential( (tk(P4)) <= (tk(P125)) ) | potential( (tk(P66)) <= (tk(P152)) ) ) ),( ( potential( ( 1 ) <= (tk(P77)) ) & potential( ( 2 ) <= (tk(P101)) ) ) | potential( ( 2 ) <= (tk(P109)) ) ) ))
PROPERTY: UtahNoC-PT-none-CTLCardinality-09 (AG( ( ( potential( ( 2 ) <= (tk(P197)) ) | potential( (tk(P198)) <= (tk(P62)) ) ) | (! ( potential( (tk(P8)) <= (tk(P73)) ) | potential( (tk(P58)) <= (tk(P17)) ) )) )))
PROPERTY: UtahNoC-PT-none-CTLCardinality-10 (EF((AF(( potential( ( 3 ) <= (tk(P78)) ) & potential( ( 3 ) <= (tk(P73)) ) )))))
PROPERTY: UtahNoC-PT-none-CTLCardinality-11 ( (EU( potential( (tk(P71)) <= (tk(P151)) ),(! potential( (tk(P122)) <= (tk(P50)) )) )) | (AX( potential( ( 2 ) <= (tk(P194)) ))) )
PROPERTY: UtahNoC-PT-none-CTLCardinality-12 (AX( ( (EG( potential( ( 1 ) <= (tk(P110)) ))) | (EF(potential( ( 2 ) <= (tk(P114)) ))) )))
PROPERTY: UtahNoC-PT-none-CTLCardinality-13 (! ( (AG( (! potential( ( 3 ) <= (tk(P188)) )))) | potential( ( 3 ) <= (tk(P73)) ) ))
PROPERTY: UtahNoC-PT-none-CTLCardinality-14 (! (AG( (EF(potential( (tk(P44)) <= (tk(P43)) ))))))
PROPERTY: UtahNoC-PT-none-CTLCardinality-15 (AG( ( (EF(potential( ( 1 ) <= (tk(P88)) ))) & (EF(potential( ( 3 ) <= (tk(P209)) ))) )))

BK_STOP 1590410910226

--------------------
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: 379 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="UtahNoC-PT-none"
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 UtahNoC-PT-none, 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 r190-csrt-159033382900595"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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