Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r063-tajo-158922806800003.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCshifumi-PT-2a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922806800003
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 392K
-rw-r--r-- 1 mcc users 2.8K Mar 30 21:28 CTLCardinality.txt
-rw-r--r-- 1 mcc users 15K Mar 30 21:28 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Mar 29 11:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 29 11:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 28 07:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 28 07:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 27 01:35 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 27 01:35 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 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 213K 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 DLCshifumi-PT-2a-CTLCardinality-00
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-01
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-02
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-03
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-04
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-05
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-06
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-07
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-08
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-09
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-10
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-11
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-12
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-13
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-14
FORMULA_NAME DLCshifumi-PT-2a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589357747170

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCshifumi (PT), instance 2a
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: 188 places, 888 transitions, 3166 arcs.
AT ITER 0 NEW BEST:: SOT 122605 SOS 88663 HAS SOPS 54386 HAS SOUS 25074 HAS SOUPS 16131 WITH SCORE 16219.663
AT ITER 3 NEW BEST:: SOT 122567 SOS 88587 HAS SOPS 54386 HAS SOUS 24998 HAS SOUPS 16093 WITH SCORE 16181.587
AT ITER 5 NEW BEST:: SOT 122507 SOS 88395 HAS SOPS 54194 HAS SOUS 24938 HAS SOUPS 16033 WITH SCORE 16121.395
AT ITER 6 NEW BEST:: SOT 122470 SOS 86517 HAS SOPS 54004 HAS SOUS 25083 HAS SOUPS 15994 WITH SCORE 16080.517
AT ITER 11 NEW BEST:: SOT 122462 SOS 86501 HAS SOPS 53988 HAS SOUS 25075 HAS SOUPS 15986 WITH SCORE 16072.501
AT ITER 15 NEW BEST:: SOT 121478 SOS 85813 HAS SOPS 52860 HAS SOUS 24498 HAS SOUPS 15336 WITH SCORE 15421.813
AT ITER 17 NEW BEST:: SOT 120650 SOS 84949 HAS SOPS 52227 HAS SOUS 24468 HAS SOUPS 15306 WITH SCORE 15390.949
AT ITER 19 NEW BEST:: SOT 120590 SOS 84829 HAS SOPS 52221 HAS SOUS 24327 HAS SOUPS 15222 WITH SCORE 15306.829
AT ITER 20 NEW BEST:: SOT 120579 SOS 84807 HAS SOPS 52199 HAS SOUS 24315 HAS SOUPS 15210 WITH SCORE 15294.807
AT ITER 21 NEW BEST:: SOT 120559 SOS 84767 HAS SOPS 52181 HAS SOUS 24284 HAS SOUPS 15190 WITH SCORE 15274.767
AT ITER 23 NEW BEST:: SOT 119906 SOS 84560 HAS SOPS 51677 HAS SOUS 23975 HAS SOUPS 14838 WITH SCORE 14922.56
AT ITER 24 NEW BEST:: SOT 119231 SOS 83886 HAS SOPS 50960 HAS SOUS 23284 HAS SOUPS 14147 WITH SCORE 14230.886
AT ITER 26 NEW BEST:: SOT 119095 SOS 83754 HAS SOPS 50852 HAS SOUS 23112 HAS SOUPS 13991 WITH SCORE 14074.754
AT ITER 27 NEW BEST:: SOT 118471 SOS 82860 HAS SOPS 50544 HAS SOUS 22959 HAS SOUPS 13919 WITH SCORE 14001.86
AT ITER 28 NEW BEST:: SOT 118467 SOS 82847 HAS SOPS 50542 HAS SOUS 22957 HAS SOUPS 13917 WITH SCORE 13999.847
AT ITER 30 NEW BEST:: SOT 118475 SOS 82855 HAS SOPS 50546 HAS SOUS 22953 HAS SOUPS 13913 WITH SCORE 13995.855
AT ITER 32 NEW BEST:: SOT 117743 SOS 82635 HAS SOPS 50098 HAS SOUS 22528 HAS SOUPS 13490 WITH SCORE 13572.635
AT ITER 35 NEW BEST:: SOT 116599 SOS 81875 HAS SOPS 49450 HAS SOUS 21735 HAS SOUPS 12821 WITH SCORE 12902.875
AT ITER 36 NEW BEST:: SOT 115778 SOS 80790 HAS SOPS 48899 HAS SOUS 21616 HAS SOUPS 12768 WITH SCORE 12848.79
AT ITER 42 NEW BEST:: SOT 115799 SOS 80734 HAS SOPS 48829 HAS SOUS 21616 HAS SOUPS 12761 WITH SCORE 12841.734
AT ITER 43 NEW BEST:: SOT 115188 SOS 79658 HAS SOPS 47925 HAS SOUS 21513 HAS SOUPS 12547 WITH SCORE 12626.658
AT ITER 44 NEW BEST:: SOT 115033 SOS 79492 HAS SOPS 47903 HAS SOUS 21414 HAS SOUPS 12520 WITH SCORE 12599.492
AT ITER 45 NEW BEST:: SOT 114390 SOS 78563 HAS SOPS 47627 HAS SOUS 21287 HAS SOUPS 12482 WITH SCORE 12560.563
AT ITER 48 NEW BEST:: SOT 114375 SOS 78533 HAS SOPS 47597 HAS SOUS 21257 HAS SOUPS 12452 WITH SCORE 12530.533
AT ITER 52 NEW BEST:: SOT 113883 SOS 77990 HAS SOPS 47125 HAS SOUS 21099 HAS SOUPS 12247 WITH SCORE 12324.99
AT ITER 53 NEW BEST:: SOT 112822 SOS 76739 HAS SOPS 46318 HAS SOUS 20936 HAS SOUPS 12084 WITH SCORE 12160.739
AT ITER 58 NEW BEST:: SOT 111925 SOS 76487 HAS SOPS 46289 HAS SOUS 20632 HAS SOUPS 11897 WITH SCORE 11973.487
AT ITER 63 NEW BEST:: SOT 111515 SOS 75779 HAS SOPS 45825 HAS SOUS 20662 HAS SOUPS 11835 WITH SCORE 11910.779
AT ITER 64 NEW BEST:: SOT 110964 SOS 75064 HAS SOPS 45417 HAS SOUS 20517 HAS SOUPS 11683 WITH SCORE 11758.064
AT ITER 67 NEW BEST:: SOT 110837 SOS 74810 HAS SOPS 45315 HAS SOUS 20415 HAS SOUPS 11581 WITH SCORE 11655.81
AT ITER 71 NEW BEST:: SOT 110821 SOS 74786 HAS SOPS 45291 HAS SOUS 20395 HAS SOUPS 11561 WITH SCORE 11635.786
AT ITER 72 NEW BEST:: SOT 110812 SOS 74768 HAS SOPS 45255 HAS SOUS 20386 HAS SOUPS 11543 WITH SCORE 11617.768
AT ITER 74 NEW BEST:: SOT 110019 SOS 73575 HAS SOPS 44817 HAS SOUS 20123 HAS SOUPS 11365 WITH SCORE 11438.575
AT ITER 78 NEW BEST:: SOT 109315 SOS 72889 HAS SOPS 44210 HAS SOUS 20057 HAS SOUPS 11299 WITH SCORE 11371.889
AT ITER 82 NEW BEST:: SOT 109311 SOS 72881 HAS SOPS 44202 HAS SOUS 20053 HAS SOUPS 11295 WITH SCORE 11367.881
AT ITER 84 NEW BEST:: SOT 109269 SOS 72797 HAS SOPS 44202 HAS SOUS 19969 HAS SOUPS 11253 WITH SCORE 11325.797
AT ITER 91 NEW BEST:: SOT 109274 SOS 72797 HAS SOPS 44202 HAS SOUS 19957 HAS SOUPS 11241 WITH SCORE 11313.797
AT ITER 92 NEW BEST:: SOT 109239 SOS 72727 HAS SOPS 44150 HAS SOUS 19835 HAS SOUPS 11167 WITH SCORE 11239.727
AT ITER 96 NEW BEST:: SOT 108894 SOS 72170 HAS SOPS 43614 HAS SOUS 19904 HAS SOUPS 11115 WITH SCORE 11187.17
AT ITER 98 NEW BEST:: SOT 108141 SOS 71111 HAS SOPS 43284 HAS SOUS 19463 HAS SOUPS 11075 WITH SCORE 11146.111
AT ITER 100 NEW BEST:: SOT 108164 SOS 71157 HAS SOPS 43330 HAS SOUS 19430 HAS SOUPS 11070 WITH SCORE 11141.157
AT ITER 101 NEW BEST:: SOT 108182 SOS 71184 HAS SOPS 43339 HAS SOUS 19421 HAS SOUPS 11061 WITH SCORE 11132.184
AT ITER 107 NEW BEST:: SOT 107488 SOS 70171 HAS SOPS 43053 HAS SOUS 18930 HAS SOUPS 11025 WITH SCORE 11095.171
AT ITER 109 NEW BEST:: SOT 107633 SOS 70440 HAS SOPS 43101 HAS SOUS 18929 HAS SOUPS 11024 WITH SCORE 11094.44
AT ITER 116 NEW BEST:: SOT 107633 SOS 70390 HAS SOPS 43051 HAS SOUS 18929 HAS SOUPS 11024 WITH SCORE 11094.39
AT ITER 117 NEW BEST:: SOT 107610 SOS 70266 HAS SOPS 42927 HAS SOUS 18804 HAS SOUPS 10938 WITH SCORE 11008.266
AT ITER 123 NEW BEST:: SOT 107267 SOS 70039 HAS SOPS 42581 HAS SOUS 18720 HAS SOUPS 10866 WITH SCORE 10936.039
AT ITER 125 NEW BEST:: SOT 107267 SOS 70141 HAS SOPS 42665 HAS SOUS 18708 HAS SOUPS 10854 WITH SCORE 10924.141
AT ITER 133 NEW BEST:: SOT 107017 SOS 69872 HAS SOPS 42490 HAS SOUS 18722 HAS SOUPS 10843 WITH SCORE 10912.872
AT ITER 134 NEW BEST:: SOT 106447 SOS 69059 HAS SOPS 42138 HAS SOUS 18120 HAS SOUPS 10702 WITH SCORE 10771.059
AT ITER 136 NEW BEST:: SOT 106426 SOS 69045 HAS SOPS 42124 HAS SOUS 18120 HAS SOUPS 10702 WITH SCORE 10771.045
AT ITER 138 NEW BEST:: SOT 106600 SOS 69263 HAS SOPS 42342 HAS SOUS 18164 HAS SOUPS 10681 WITH SCORE 10750.263
AT ITER 144 NEW BEST:: SOT 106349 SOS 69112 HAS SOPS 42191 HAS SOUS 17803 HAS SOUPS 10320 WITH SCORE 10389.112
AT ITER 150 NEW BEST:: SOT 106026 SOS 69914 HAS SOPS 42736 HAS SOUS 17645 HAS SOUPS 10191 WITH SCORE 10260.914
AT ITER 160 NEW BEST:: SOT 106026 SOS 69822 HAS SOPS 42644 HAS SOUS 17645 HAS SOUPS 10191 WITH SCORE 10260.822
AT ITER 161 NEW BEST:: SOT 106024 SOS 69821 HAS SOPS 42644 HAS SOUS 17645 HAS SOUPS 10191 WITH SCORE 10260.821
AT ITER 164 NEW BEST:: SOT 106266 SOS 69866 HAS SOPS 42687 HAS SOUS 17535 HAS SOUPS 10186 WITH SCORE 10255.866
AT ITER 170 NEW BEST:: SOT 106134 SOS 69710 HAS SOPS 42579 HAS SOUS 17499 HAS SOUPS 10150 WITH SCORE 10219.71
AT ITER 186 NEW BEST:: SOT 106131 SOS 69704 HAS SOPS 42575 HAS SOUS 17495 HAS SOUPS 10146 WITH SCORE 10215.704
AT ITER 190 NEW BEST:: SOT 106012 SOS 69504 HAS SOPS 42271 HAS SOUS 17453 HAS SOUPS 10070 WITH SCORE 10139.504
AT ITER 194 NEW BEST:: SOT 105595 SOS 69401 HAS SOPS 42107 HAS SOUS 17383 HAS SOUPS 9972 WITH SCORE 10041.401
AT ITER 200 NEW BEST:: SOT 105562 SOS 69335 HAS SOPS 42107 HAS SOUS 17386 HAS SOUPS 9972 WITH SCORE 10041.335
AT ITER 201 NEW BEST:: SOT 105582 SOS 68929 HAS SOPS 41941 HAS SOUS 17370 HAS SOUPS 9971 WITH SCORE 10039.929
AT ITER 207 NEW BEST:: SOT 104681 SOS 67860 HAS SOPS 41376 HAS SOUS 17195 HAS SOUPS 9880 WITH SCORE 9947.86
AT ITER 212 NEW BEST:: SOT 104628 SOS 67829 HAS SOPS 41276 HAS SOUS 17145 HAS SOUPS 9830 WITH SCORE 9897.829
AT ITER 213 NEW BEST:: SOT 104469 SOS 67631 HAS SOPS 41182 HAS SOUS 17129 HAS SOUPS 9827 WITH SCORE 9894.631
AT ITER 214 NEW BEST:: SOT 104170 SOS 67615 HAS SOPS 41182 HAS SOUS 16931 HAS SOUPS 9659 WITH SCORE 9726.615
AT ITER 218 NEW BEST:: SOT 103412 SOS 67543 HAS SOPS 40692 HAS SOUS 16499 HAS SOUPS 9249 WITH SCORE 9316.543
AT ITER 222 NEW BEST:: SOT 103299 SOS 67317 HAS SOPS 40592 HAS SOUS 16216 HAS SOUPS 9155 WITH SCORE 9222.317
AT ITER 229 NEW BEST:: SOT 103289 SOS 67297 HAS SOPS 40572 HAS SOUS 16195 HAS SOUPS 9134 WITH SCORE 9201.297
AT ITER 238 NEW BEST:: SOT 103485 SOS 67435 HAS SOPS 40592 HAS SOUS 16117 HAS SOUPS 9085 WITH SCORE 9152.435
AT ITER 247 NEW BEST:: SOT 103483 SOS 67429 HAS SOPS 40584 HAS SOUS 16110 HAS SOUPS 9078 WITH SCORE 9145.429
AT ITER 254 NEW BEST:: SOT 103389 SOS 67241 HAS SOPS 40508 HAS SOUS 16023 HAS SOUPS 9025 WITH SCORE 9092.241
AT ITER 255 NEW BEST:: SOT 103307 SOS 67077 HAS SOPS 40438 HAS SOUS 15941 HAS SOUPS 8990 WITH SCORE 9057.077
AT ITER 256 NEW BEST:: SOT 103305 SOS 67073 HAS SOPS 40434 HAS SOUS 15940 HAS SOUPS 8989 WITH SCORE 9056.073
AT ITER 261 NEW BEST:: SOT 103294 SOS 66875 HAS SOPS 40412 HAS SOUS 15928 HAS SOUPS 8988 WITH SCORE 9054.875
AT ITER 267 NEW BEST:: SOT 103572 SOS 66972 HAS SOPS 40541 HAS SOUS 15893 HAS SOUPS 8985 WITH SCORE 9051.972
AT ITER 272 NEW BEST:: SOT 102925 SOS 66854 HAS SOPS 40205 HAS SOUS 15999 HAS SOUPS 8985 WITH SCORE 9051.854
AT ITER 277 NEW BEST:: SOT 102161 SOS 67550 HAS SOPS 40029 HAS SOUS 15509 HAS SOUPS 8793 WITH SCORE 8860.55
AT ITER 282 NEW BEST:: SOT 102148 SOS 67524 HAS SOPS 40003 HAS SOUS 15470 HAS SOUPS 8754 WITH SCORE 8821.524
AT ITER 284 NEW BEST:: SOT 102003 SOS 68204 HAS SOPS 40484 HAS SOUS 15503 HAS SOUPS 8752 WITH SCORE 8820.204
AT ITER 286 NEW BEST:: SOT 101995 SOS 68188 HAS SOPS 40472 HAS SOUS 15497 HAS SOUPS 8746 WITH SCORE 8814.188
AT ITER 288 NEW BEST:: SOT 102060 SOS 67644 HAS SOPS 40086 HAS SOUS 15503 HAS SOUPS 8746 WITH SCORE 8813.644
AT ITER 293 NEW BEST:: SOT 101287 SOS 66728 HAS SOPS 39456 HAS SOUS 15523 HAS SOUPS 8716 WITH SCORE 8782.728
AT ITER 296 NEW BEST:: SOT 101208 SOS 66792 HAS SOPS 39492 HAS SOUS 15514 HAS SOUPS 8707 WITH SCORE 8773.792
AT ITER 299 NEW BEST:: SOT 101208 SOS 66672 HAS SOPS 39412 HAS SOUS 15314 HAS SOUPS 8547 WITH SCORE 8613.672
AT ITER 301 NEW BEST:: SOT 100886 SOS 66718 HAS SOPS 39278 HAS SOUS 15160 HAS SOUPS 8378 WITH SCORE 8444.718
AT ITER 302 NEW BEST:: SOT 100398 SOS 66243 HAS SOPS 38848 HAS SOUS 15104 HAS SOUPS 8305 WITH SCORE 8371.243
AT ITER 304 NEW BEST:: SOT 99922 SOS 65725 HAS SOPS 38376 HAS SOUS 15131 HAS SOUPS 8272 WITH SCORE 8337.725
AT ITER 314 NEW BEST:: SOT 99640 SOS 65395 HAS SOPS 38238 HAS SOUS 15087 HAS SOUPS 8252 WITH SCORE 8317.395
AT ITER 325 NEW BEST:: SOT 99630 SOS 65305 HAS SOPS 38188 HAS SOUS 15075 HAS SOUPS 8247 WITH SCORE 8312.305
AT ITER 339 NEW BEST:: SOT 99684 SOS 65413 HAS SOPS 38204 HAS SOUS 15061 HAS SOUPS 8233 WITH SCORE 8298.413
AT ITER 341 NEW BEST:: SOT 99714 SOS 65586 HAS SOPS 38030 HAS SOUS 14984 HAS SOUPS 8039 WITH SCORE 8104.586
AT ITER 344 NEW BEST:: SOT 99634 SOS 65308 HAS SOPS 37732 HAS SOUS 14830 HAS SOUPS 7885 WITH SCORE 7950.308
AT ITER 350 NEW BEST:: SOT 99532 SOS 65100 HAS SOPS 37528 HAS SOUS 14771 HAS SOUPS 7826 WITH SCORE 7891.1
AT ITER 352 NEW BEST:: SOT 99505 SOS 65060 HAS SOPS 37502 HAS SOUS 14752 HAS SOUPS 7814 WITH SCORE 7879.06
AT ITER 354 NEW BEST:: SOT 99484 SOS 65018 HAS SOPS 37410 HAS SOUS 14756 HAS SOUPS 7793 WITH SCORE 7858.018
AT ITER 366 NEW BEST:: SOT 99365 SOS 64868 HAS SOPS 37260 HAS SOUS 14616 HAS SOUPS 7653 WITH SCORE 7717.868
AT ITER 370 NEW BEST:: SOT 99311 SOS 64742 HAS SOPS 37224 HAS SOUS 14598 HAS SOUPS 7653 WITH SCORE 7717.742
AT ITER 395 NEW BEST:: SOT 99309 SOS 64738 HAS SOPS 37220 HAS SOUS 14596 HAS SOUPS 7651 WITH SCORE 7715.738
AT ITER 396 NEW BEST:: SOT 99305 SOS 64732 HAS SOPS 37214 HAS SOUS 14593 HAS SOUPS 7649 WITH SCORE 7713.732
AT ITER 401 NEW BEST:: SOT 99104 SOS 64579 HAS SOPS 36982 HAS SOUS 14411 HAS SOUPS 7542 WITH SCORE 7606.579
AT ITER 417 NEW BEST:: SOT 99034 SOS 64439 HAS SOPS 36982 HAS SOUS 14387 HAS SOUPS 7542 WITH SCORE 7606.439
AT ITER 418 NEW BEST:: SOT 99014 SOS 64419 HAS SOPS 36962 HAS SOUS 14377 HAS SOUPS 7532 WITH SCORE 7596.419
AT ITER 424 NEW BEST:: SOT 99108 SOS 64544 HAS SOPS 36992 HAS SOUS 14424 HAS SOUPS 7505 WITH SCORE 7569.544
AT ITER 426 NEW BEST:: SOT 99104 SOS 64534 HAS SOPS 36982 HAS SOUS 14418 HAS SOUPS 7499 WITH SCORE 7563.534
AT ITER 428 NEW BEST:: SOT 99066 SOS 64458 HAS SOPS 36982 HAS SOUS 14288 HAS SOUPS 7499 WITH SCORE 7563.458
AT ITER 439 NEW BEST:: SOT 99063 SOS 64453 HAS SOPS 36981 HAS SOUS 14286 HAS SOUPS 7498 WITH SCORE 7562.453
AT ITER 452 NEW BEST:: SOT 98865 SOS 64237 HAS SOPS 36837 HAS SOUS 14312 HAS SOUPS 7488 WITH SCORE 7552.237
AT ITER 453 NEW BEST:: SOT 98924 SOS 64201 HAS SOPS 36869 HAS SOUS 14259 HAS SOUPS 7453 WITH SCORE 7517.201
AT ITER 467 NEW BEST:: SOT 98858 SOS 64147 HAS SOPS 36765 HAS SOUS 14193 HAS SOUPS 7401 WITH SCORE 7465.147
AT ITER 468 NEW BEST:: SOT 98410 SOS 63609 HAS SOPS 36381 HAS SOUS 14077 HAS SOUPS 7285 WITH SCORE 7348.609
AT ITER 469 NEW BEST:: SOT 98262 SOS 63526 HAS SOPS 36191 HAS SOUS 13931 HAS SOUPS 7190 WITH SCORE 7253.526
AT ITER 474 NEW BEST:: SOT 98251 SOS 63504 HAS SOPS 36191 HAS SOUS 14283 HAS SOUPS 7190 WITH SCORE 7253.504
AT ITER 477 NEW BEST:: SOT 97851 SOS 63024 HAS SOPS 35711 HAS SOUS 14243 HAS SOUPS 7110 WITH SCORE 7173.024
AT ITER 478 NEW BEST:: SOT 97739 SOS 62908 HAS SOPS 35709 HAS SOUS 14167 HAS SOUPS 7109 WITH SCORE 7171.908
AT ITER 480 NEW BEST:: SOT 97761 SOS 63184 HAS SOPS 35927 HAS SOUS 14067 HAS SOUPS 7053 WITH SCORE 7116.184
AT ITER 486 NEW BEST:: SOT 97192 SOS 62681 HAS SOPS 35554 HAS SOUS 14030 HAS SOUPS 7016 WITH SCORE 7078.681
AT ITER 487 NEW BEST:: SOT 97227 SOS 62681 HAS SOPS 35514 HAS SOUS 14035 HAS SOUPS 7011 WITH SCORE 7073.681
AT ITER 500 NEW BEST:: SOT 96877 SOS 61981 HAS SOPS 35514 HAS SOUS 13970 HAS SOUPS 7011 WITH SCORE 7072.981
AT ITER 506 NEW BEST:: SOT 96877 SOS 61981 HAS SOPS 35514 HAS SOUS 13958 HAS SOUPS 6999 WITH SCORE 7060.981
AT ITER 507 NEW BEST:: SOT 96873 SOS 61913 HAS SOPS 35510 HAS SOUS 13954 HAS SOUPS 6999 WITH SCORE 7060.913
AT ITER 515 NEW BEST:: SOT 96833 SOS 61863 HAS SOPS 35490 HAS SOUS 13954 HAS SOUPS 6989 WITH SCORE 7050.863
AT ITER 516 NEW BEST:: SOT 96813 SOS 61843 HAS SOPS 35470 HAS SOUS 13954 HAS SOUPS 6987 WITH SCORE 7048.843
AT ITER 518 NEW BEST:: SOT 96451 SOS 61429 HAS SOPS 35210 HAS SOUS 13846 HAS SOUPS 6976 WITH SCORE 7037.429
AT ITER 527 NEW BEST:: SOT 96515 SOS 61509 HAS SOPS 35210 HAS SOUS 13899 HAS SOUPS 6958 WITH SCORE 7019.509
AT ITER 528 NEW BEST:: SOT 96380 SOS 62036 HAS SOPS 35548 HAS SOUS 13872 HAS SOUPS 6931 WITH SCORE 6993.036
AT ITER 531 NEW BEST:: SOT 96377 SOS 62032 HAS SOPS 35544 HAS SOUS 13875 HAS SOUPS 6931 WITH SCORE 6993.032
AT ITER 532 NEW BEST:: SOT 96181 SOS 61810 HAS SOPS 35424 HAS SOUS 13849 HAS SOUPS 6922 WITH SCORE 6983.81
AT ITER 533 NEW BEST:: SOT 96096 SOS 61640 HAS SOPS 35414 HAS SOUS 13809 HAS SOUPS 6916 WITH SCORE 6977.64
AT ITER 538 NEW BEST:: SOT 95937 SOS 61451 HAS SOPS 35354 HAS SOUS 13638 HAS SOUPS 6915 WITH SCORE 6976.451
AT ITER 539 NEW BEST:: SOT 95987 SOS 61626 HAS SOPS 35424 HAS SOUS 13640 HAS SOUPS 6905 WITH SCORE 6966.626
AT ITER 544 NEW BEST:: SOT 95618 SOS 61368 HAS SOPS 35166 HAS SOUS 13658 HAS SOUPS 6905 WITH SCORE 6966.368
AT ITER 547 NEW BEST:: SOT 95601 SOS 61380 HAS SOPS 35178 HAS SOUS 13681 HAS SOUPS 6902 WITH SCORE 6963.38
AT ITER 548 NEW BEST:: SOT 95575 SOS 61398 HAS SOPS 35126 HAS SOUS 13677 HAS SOUPS 6876 WITH SCORE 6937.398
AT ITER 549 NEW BEST:: SOT 95228 SOS 61199 HAS SOPS 35127 HAS SOUS 13626 HAS SOUPS 6854 WITH SCORE 6915.199
AT ITER 550 NEW BEST:: SOT 95228 SOS 61295 HAS SOPS 35223 HAS SOUS 13625 HAS SOUPS 6853 WITH SCORE 6914.295
AT ITER 554 NEW BEST:: SOT 95058 SOS 60977 HAS SOPS 35127 HAS SOUS 13551 HAS SOUPS 6816 WITH SCORE 6876.977
AT ITER 563 NEW BEST:: SOT 95052 SOS 60899 HAS SOPS 35043 HAS SOUS 13522 HAS SOUPS 6787 WITH SCORE 6847.899
AT ITER 571 NEW BEST:: SOT 94386 SOS 60095 HAS SOPS 34311 HAS SOUS 13458 HAS SOUPS 6666 WITH SCORE 6726.095
AT ITER 578 NEW BEST:: SOT 94366 SOS 60075 HAS SOPS 34291 HAS SOUS 13417 HAS SOUPS 6632 WITH SCORE 6692.075
AT ITER 583 NEW BEST:: SOT 94364 SOS 60071 HAS SOPS 34287 HAS SOUS 13413 HAS SOUPS 6628 WITH SCORE 6688.071
AT ITER 585 NEW BEST:: SOT 93841 SOS 59446 HAS SOPS 33956 HAS SOUS 13282 HAS SOUPS 6542 WITH SCORE 6601.446
AT ITER 598 NEW BEST:: SOT 93867 SOS 58058 HAS SOPS 32824 HAS SOUS 13265 HAS SOUPS 6541 WITH SCORE 6599.058
AT ITER 607 NEW BEST:: SOT 93833 SOS 57639 HAS SOPS 32486 HAS SOUS 13231 HAS SOUPS 6507 WITH SCORE 6564.639
AT ITER 622 NEW BEST:: SOT 93717 SOS 57515 HAS SOPS 32254 HAS SOUS 13169 HAS SOUPS 6445 WITH SCORE 6502.515
AT ITER 639 NEW BEST:: SOT 93964 SOS 57429 HAS SOPS 32004 HAS SOUS 13235 HAS SOUPS 6442 WITH SCORE 6499.429
AT ITER 642 NEW BEST:: SOT 93954 SOS 57399 HAS SOPS 32004 HAS SOUS 13230 HAS SOUPS 6442 WITH SCORE 6499.399
AT ITER 691 NEW BEST:: SOT 93946 SOS 57389 HAS SOPS 31996 HAS SOUS 13230 HAS SOUPS 6440 WITH SCORE 6497.389
AT ITER 697 NEW BEST:: SOT 93940 SOS 57398 HAS SOPS 32005 HAS SOUS 13227 HAS SOUPS 6437 WITH SCORE 6494.398
AT ITER 703 NEW BEST:: SOT 93907 SOS 57286 HAS SOPS 31893 HAS SOUS 13145 HAS SOUPS 6355 WITH SCORE 6412.286
AT ITER 710 NEW BEST:: SOT 93866 SOS 57254 HAS SOPS 31861 HAS SOUS 13141 HAS SOUPS 6351 WITH SCORE 6408.254
AT ITER 719 NEW BEST:: SOT 93801 SOS 57174 HAS SOPS 31821 HAS SOUS 13121 HAS SOUPS 6336 WITH SCORE 6393.174
AT ITER 725 NEW BEST:: SOT 93801 SOS 57174 HAS SOPS 31799 HAS SOUS 13131 HAS SOUPS 6335 WITH SCORE 6392.174
AT ITER 728 NEW BEST:: SOT 93820 SOS 57149 HAS SOPS 31813 HAS SOUS 13116 HAS SOUPS 6333 WITH SCORE 6390.149
AT ITER 753 NEW BEST:: SOT 93567 SOS 56804 HAS SOPS 31675 HAS SOUS 13093 HAS SOUPS 6333 WITH SCORE 6389.804
AT ITER 760 NEW BEST:: SOT 93494 SOS 56658 HAS SOPS 31615 HAS SOUS 12951 HAS SOUPS 6270 WITH SCORE 6326.658
AT ITER 762 NEW BEST:: SOT 93486 SOS 56586 HAS SOPS 31567 HAS SOUS 12931 HAS SOUPS 6254 WITH SCORE 6310.586
AT ITER 770 NEW BEST:: SOT 93468 SOS 56541 HAS SOPS 31531 HAS SOUS 12913 HAS SOUPS 6245 WITH SCORE 6301.541
AT ITER 777 NEW BEST:: SOT 93524 SOS 56573 HAS SOPS 31563 HAS SOUS 12907 HAS SOUPS 6239 WITH SCORE 6295.573
AT ITER 812 NEW BEST:: SOT 93676 SOS 57035 HAS SOPS 31809 HAS SOUS 12899 HAS SOUPS 6212 WITH SCORE 6269.035
AT ITER 823 NEW BEST:: SOT 93600 SOS 56991 HAS SOPS 31729 HAS SOUS 12859 HAS SOUPS 6172 WITH SCORE 6228.991
AT ITER 843 NEW BEST:: SOT 93598 SOS 56987 HAS SOPS 31729 HAS SOUS 12859 HAS SOUPS 6172 WITH SCORE 6228.987
AT ITER 856 NEW BEST:: SOT 92716 SOS 55777 HAS SOPS 31257 HAS SOUS 12743 HAS SOUPS 6138 WITH SCORE 6193.777
AT ITER 859 NEW BEST:: SOT 92755 SOS 55786 HAS SOPS 31288 HAS SOUS 12712 HAS SOUPS 6129 WITH SCORE 6184.786
AT ITER 866 NEW BEST:: SOT 92648 SOS 55485 HAS SOPS 31127 HAS SOUS 12686 HAS SOUPS 6117 WITH SCORE 6172.485
AT ITER 867 NEW BEST:: SOT 92557 SOS 55394 HAS SOPS 31075 HAS SOUS 12686 HAS SOUPS 6117 WITH SCORE 6172.394
AT ITER 874 NEW BEST:: SOT 92557 SOS 55483 HAS SOPS 31164 HAS SOUS 12685 HAS SOUPS 6116 WITH SCORE 6171.483
AT ITER 882 NEW BEST:: SOT 92346 SOS 55193 HAS SOPS 31042 HAS SOUS 12624 HAS SOUPS 6055 WITH SCORE 6110.193
AT ITER 890 NEW BEST:: SOT 92346 SOS 55202 HAS SOPS 31036 HAS SOUS 12624 HAS SOUPS 6052 WITH SCORE 6107.202
AT ITER 895 NEW BEST:: SOT 92327 SOS 55164 HAS SOPS 31036 HAS SOUS 12624 HAS SOUPS 6052 WITH SCORE 6107.164
AT ITER 896 NEW BEST:: SOT 92287 SOS 55116 HAS SOPS 31020 HAS SOUS 12620 HAS SOUPS 6052 WITH SCORE 6107.116
AT ITER 902 NEW BEST:: SOT 92282 SOS 55089 HAS SOPS 30976 HAS SOUS 12598 HAS SOUPS 6047 WITH SCORE 6102.089
AT ITER 903 NEW BEST:: SOT 92043 SOS 54848 HAS SOPS 30735 HAS SOUS 12538 HAS SOUPS 5987 WITH SCORE 6041.848
AT ITER 905 NEW BEST:: SOT 91800 SOS 54362 HAS SOPS 30735 HAS SOUS 12238 HAS SOUPS 5987 WITH SCORE 6041.362
AT ITER 914 NEW BEST:: SOT 91735 SOS 54282 HAS SOPS 30605 HAS SOUS 12198 HAS SOUPS 5922 WITH SCORE 5976.282
AT ITER 919 NEW BEST:: SOT 91487 SOS 54059 HAS SOPS 30565 HAS SOUS 12068 HAS SOUPS 5902 WITH SCORE 5956.059
AT ITER 931 NEW BEST:: SOT 91484 SOS 54063 HAS SOPS 30543 HAS SOUS 12049 HAS SOUPS 5875 WITH SCORE 5929.063
AT ITER 980 NEW BEST:: SOT 90870 SOS 52288 HAS SOPS 29397 HAS SOUS 11942 HAS SOUPS 5794 WITH SCORE 5846.288
AT ITER 982 NEW BEST:: SOT 90869 SOS 52286 HAS SOPS 29395 HAS SOUS 11942 HAS SOUPS 5793 WITH SCORE 5845.286
AT ITER 993 NEW BEST:: SOT 90712 SOS 51858 HAS SOPS 29081 HAS SOUS 11863 HAS SOUPS 5714 WITH SCORE 5765.858
AT ITER 999 NEW BEST:: SOT 90647 SOS 51653 HAS SOPS 28981 HAS SOUS 11846 HAS SOUPS 5709 WITH SCORE 5760.653
AT ITER 1010 NEW BEST:: SOT 90650 SOS 51656 HAS SOPS 28979 HAS SOUS 11846 HAS SOUPS 5705 WITH SCORE 5756.656
AT ITER 1011 NEW BEST:: SOT 90700 SOS 51806 HAS SOPS 28979 HAS SOUS 11870 HAS SOUPS 5704 WITH SCORE 5755.806
AT ITER 1016 NEW BEST:: SOT 90708 SOS 51558 HAS SOPS 28795 HAS SOUS 11862 HAS SOUPS 5696 WITH SCORE 5747.558
AT ITER 1041 NEW BEST:: SOT 90730 SOS 51518 HAS SOPS 28749 HAS SOUS 11863 HAS SOUPS 5691 WITH SCORE 5742.518
AT ITER 1043 NEW BEST:: SOT 90730 SOS 51550 HAS SOPS 28733 HAS SOUS 11864 HAS SOUPS 5689 WITH SCORE 5740.55
AT ITER 1053 NEW BEST:: SOT 90597 SOS 51434 HAS SOPS 28628 HAS SOUS 11916 HAS SOUPS 5689 WITH SCORE 5740.434
AT ITER 1054 NEW BEST:: SOT 90576 SOS 51441 HAS SOPS 28586 HAS SOUS 11926 HAS SOUPS 5668 WITH SCORE 5719.441
AT ITER 1071 NEW BEST:: SOT 90555 SOS 51411 HAS SOPS 28556 HAS SOUS 11898 HAS SOUPS 5640 WITH SCORE 5691.411
AT ITER 1080 NEW BEST:: SOT 91054 SOS 51934 HAS SOPS 28836 HAS SOUS 11902 HAS SOUPS 5638 WITH SCORE 5689.934
AT ITER 1091 NEW BEST:: SOT 91077 SOS 51616 HAS SOPS 28628 HAS SOUS 11887 HAS SOUPS 5623 WITH SCORE 5674.616
AT ITER 1098 NEW BEST:: SOT 91041 SOS 51568 HAS SOPS 28580 HAS SOUS 11863 HAS SOUPS 5611 WITH SCORE 5662.568
AT ITER 1126 NEW BEST:: SOT 90989 SOS 51486 HAS SOPS 28608 HAS SOUS 11770 HAS SOUPS 5606 WITH SCORE 5657.486
AT ITER 1130 NEW BEST:: SOT 90423 SOS 50808 HAS SOPS 28248 HAS SOUS 11666 HAS SOUPS 5557 WITH SCORE 5607.808
AT ITER 1138 NEW BEST:: SOT 90373 SOS 50783 HAS SOPS 28148 HAS SOUS 11616 HAS SOUPS 5507 WITH SCORE 5557.783
AT ITER 1149 NEW BEST:: SOT 90363 SOS 50763 HAS SOPS 28128 HAS SOUS 11606 HAS SOUPS 5497 WITH SCORE 5547.763
AT ITER 1151 NEW BEST:: SOT 90326 SOS 50723 HAS SOPS 28130 HAS SOUS 11601 HAS SOUPS 5493 WITH SCORE 5543.723
AT ITER 1173 NEW BEST:: SOT 90217 SOS 50601 HAS SOPS 28058 HAS SOUS 11600 HAS SOUPS 5493 WITH SCORE 5543.601
AT ITER 1174 NEW BEST:: SOT 90126 SOS 50479 HAS SOPS 28036 HAS SOUS 11569 HAS SOUPS 5482 WITH SCORE 5532.479
AT ITER 1178 NEW BEST:: SOT 90120 SOS 50785 HAS SOPS 28342 HAS SOUS 11567 HAS SOUPS 5480 WITH SCORE 5530.785
AT ITER 1188 NEW BEST:: SOT 90660 SOS 51415 HAS SOPS 28612 HAS SOUS 11569 HAS SOUPS 5433 WITH SCORE 5484.415
AT ITER 1202 NEW BEST:: SOT 90648 SOS 51397 HAS SOPS 28594 HAS SOUS 11564 HAS SOUPS 5428 WITH SCORE 5479.397
AT ITER 1204 NEW BEST:: SOT 90646 SOS 51393 HAS SOPS 28590 HAS SOUS 11562 HAS SOUPS 5426 WITH SCORE 5477.393
AT ITER 1217 NEW BEST:: SOT 90743 SOS 51499 HAS SOPS 28636 HAS SOUS 11548 HAS SOUPS 5412 WITH SCORE 5463.499
AT ITER 1226 NEW BEST:: SOT 90295 SOS 51163 HAS SOPS 28300 HAS SOUS 11604 HAS SOUPS 5412 WITH SCORE 5463.163
AT ITER 1238 NEW BEST:: SOT 90352 SOS 51079 HAS SOPS 28204 HAS SOUS 11588 HAS SOUPS 5399 WITH SCORE 5450.079
AT ITER 1256 NEW BEST:: SOT 90391 SOS 50947 HAS SOPS 28282 HAS SOUS 11496 HAS SOUPS 5352 WITH SCORE 5402.947
AT ITER 1257 NEW BEST:: SOT 90356 SOS 50844 HAS SOPS 28199 HAS SOUS 11491 HAS SOUPS 5347 WITH SCORE 5397.844
AT ITER 1274 NEW BEST:: SOT 90348 SOS 50828 HAS SOPS 28191 HAS SOUS 11489 HAS SOUPS 5347 WITH SCORE 5397.828
AT ITER 1284 NEW BEST:: SOT 90292 SOS 50748 HAS SOPS 28135 HAS SOUS 11473 HAS SOUPS 5331 WITH SCORE 5381.748
AT ITER 1291 NEW BEST:: SOT 90863 SOS 51319 HAS SOPS 28460 HAS SOUS 11470 HAS SOUPS 5328 WITH SCORE 5379.319
AT ITER 1298 NEW BEST:: SOT 90868 SOS 51343 HAS SOPS 28468 HAS SOUS 11462 HAS SOUPS 5318 WITH SCORE 5369.343
AT ITER 1306 NEW BEST:: SOT 90841 SOS 51317 HAS SOPS 28448 HAS SOUS 11458 HAS SOUPS 5315 WITH SCORE 5366.317
AT ITER 1313 NEW BEST:: SOT 90828 SOS 51302 HAS SOPS 28439 HAS SOUS 11454 HAS SOUPS 5311 WITH SCORE 5362.302
AT ITER 1319 NEW BEST:: SOT 90795 SOS 51258 HAS SOPS 28373 HAS SOUS 11432 HAS SOUPS 5278 WITH SCORE 5329.258
AT ITER 1326 NEW BEST:: SOT 90925 SOS 51429 HAS SOPS 28441 HAS SOUS 11446 HAS SOUPS 5277 WITH SCORE 5328.429
AT ITER 1329 NEW BEST:: SOT 90890 SOS 51323 HAS SOPS 28335 HAS SOUS 11420 HAS SOUPS 5243 WITH SCORE 5294.323
AT ITER 1340 NEW BEST:: SOT 90890 SOS 51323 HAS SOPS 28329 HAS SOUS 11417 HAS SOUPS 5234 WITH SCORE 5285.323
AT ITER 1342 NEW BEST:: SOT 90845 SOS 51223 HAS SOPS 28229 HAS SOUS 11392 HAS SOUPS 5204 WITH SCORE 5255.223
AT ITER 1360 NEW BEST:: SOT 90857 SOS 51439 HAS SOPS 28285 HAS SOUS 11397 HAS SOUPS 5199 WITH SCORE 5250.439
AT ITER 1378 NEW BEST:: SOT 91072 SOS 51654 HAS SOPS 28320 HAS SOUS 11352 HAS SOUPS 5154 WITH SCORE 5205.654
AT ITER 1406 NEW BEST:: SOT 91054 SOS 51617 HAS SOPS 28274 HAS SOUS 11319 HAS SOUPS 5121 WITH SCORE 5172.617
AT ITER 1409 NEW BEST:: SOT 91019 SOS 51574 HAS SOPS 28254 HAS SOUS 11294 HAS SOUPS 5114 WITH SCORE 5165.574
AT ITER 1418 NEW BEST:: SOT 91086 SOS 51521 HAS SOPS 28116 HAS SOUS 11295 HAS SOUPS 5098 WITH SCORE 5149.521
AT ITER 1424 NEW BEST:: SOT 91018 SOS 51485 HAS SOPS 28072 HAS SOUS 11297 HAS SOUPS 5096 WITH SCORE 5147.485
AT ITER 1438 NEW BEST:: SOT 90615 SOS 50964 HAS SOPS 27852 HAS SOUS 11247 HAS SOUPS 5086 WITH SCORE 5136.964
AT ITER 1453 NEW BEST:: SOT 90909 SOS 51638 HAS SOPS 28063 HAS SOUS 11339 HAS SOUPS 5083 WITH SCORE 5134.638
AT ITER 1464 NEW BEST:: SOT 90867 SOS 51596 HAS SOPS 28039 HAS SOUS 11339 HAS SOUPS 5083 WITH SCORE 5134.596
AT ITER 1477 NEW BEST:: SOT 90831 SOS 51584 HAS SOPS 28015 HAS SOUS 11345 HAS SOUPS 5083 WITH SCORE 5134.584
AT ITER 1482 NEW BEST:: SOT 90929 SOS 51584 HAS SOPS 27903 HAS SOUS 11359 HAS SOUPS 5069 WITH SCORE 5120.584
AT ITER 1489 NEW BEST:: SOT 90943 SOS 51612 HAS SOPS 27917 HAS SOUS 11355 HAS SOUPS 5063 WITH SCORE 5114.612
AT ITER 1491 NEW BEST:: SOT 90938 SOS 51602 HAS SOPS 27897 HAS SOUS 11320 HAS SOUPS 5036 WITH SCORE 5087.602
AT ITER 1493 NEW BEST:: SOT 90930 SOS 51568 HAS SOPS 27869 HAS SOUS 11315 HAS SOUPS 5031 WITH SCORE 5082.568
AT ITER 1512 NEW BEST:: SOT 90774 SOS 51376 HAS SOPS 27749 HAS SOUS 11279 HAS SOUPS 5007 WITH SCORE 5058.376
AT ITER 1513 NEW BEST:: SOT 90766 SOS 51368 HAS SOPS 27741 HAS SOUS 11271 HAS SOUPS 4999 WITH SCORE 5050.368
AT ITER 1528 NEW BEST:: SOT 90902 SOS 51544 HAS SOPS 27757 HAS SOUS 11292 HAS SOUPS 4985 WITH SCORE 5036.544
AT ITER 1546 NEW BEST:: SOT 90683 SOS 51289 HAS SOPS 27610 HAS SOUS 11270 HAS SOUPS 4970 WITH SCORE 5021.289
AT ITER 1574 NEW BEST:: SOT 90640 SOS 51224 HAS SOPS 27482 HAS SOUS 11254 HAS SOUPS 4933 WITH SCORE 4984.224
AT ITER 1584 NEW BEST:: SOT 90644 SOS 51238 HAS SOPS 27490 HAS SOUS 11252 HAS SOUPS 4931 WITH SCORE 4982.238
AT ITER 1587 NEW BEST:: SOT 90628 SOS 50950 HAS SOPS 27378 HAS SOUS 11239 HAS SOUPS 4929 WITH SCORE 4979.95
AT ITER 1612 NEW BEST:: SOT 90586 SOS 50920 HAS SOPS 27330 HAS SOUS 11208 HAS SOUPS 4905 WITH SCORE 4955.92
AT ITER 1621 NEW BEST:: SOT 90585 SOS 50557 HAS SOPS 26967 HAS SOUS 11200 HAS SOUPS 4897 WITH SCORE 4947.557
AT ITER 1640 NEW BEST:: SOT 90585 SOS 50561 HAS SOPS 26967 HAS SOUS 11196 HAS SOUPS 4893 WITH SCORE 4943.561
AT ITER 1643 NEW BEST:: SOT 90596 SOS 50471 HAS SOPS 26897 HAS SOUS 11196 HAS SOUPS 4893 WITH SCORE 4943.471
AT ITER 1671 NEW BEST:: SOT 90581 SOS 50441 HAS SOPS 26897 HAS SOUS 11132 HAS SOUPS 4893 WITH SCORE 4943.441
AT ITER 1677 NEW BEST:: SOT 90329 SOS 50189 HAS SOPS 26681 HAS SOUS 11065 HAS SOUPS 4830 WITH SCORE 4880.189
AT ITER 1686 NEW BEST:: SOT 90359 SOS 50219 HAS SOPS 26681 HAS SOUS 11102 HAS SOUPS 4829 WITH SCORE 4879.219
AT ITER 1704 NEW BEST:: SOT 90661 SOS 50461 HAS SOPS 26869 HAS SOUS 11085 HAS SOUPS 4811 WITH SCORE 4861.461
AT ITER 1706 NEW BEST:: SOT 90667 SOS 50479 HAS SOPS 26869 HAS SOUS 11086 HAS SOUPS 4809 WITH SCORE 4859.479
AT ITER 1727 NEW BEST:: SOT 90659 SOS 50457 HAS SOPS 26847 HAS SOUS 11074 HAS SOUPS 4802 WITH SCORE 4852.457
AT ITER 1732 NEW BEST:: SOT 90318 SOS 49858 HAS SOPS 26639 HAS SOUS 11041 HAS SOUPS 4765 WITH SCORE 4814.858
AT ITER 1737 NEW BEST:: SOT 89848 SOS 49483 HAS SOPS 26384 HAS SOUS 11037 HAS SOUPS 4764 WITH SCORE 4813.483
AT ITER 1739 NEW BEST:: SOT 89780 SOS 49347 HAS SOPS 26350 HAS SOUS 11006 HAS SOUPS 4750 WITH SCORE 4799.347
AT ITER 1754 NEW BEST:: SOT 89779 SOS 49340 HAS SOPS 26343 HAS SOUS 11000 HAS SOUPS 4744 WITH SCORE 4793.34
AT ITER 1756 NEW BEST:: SOT 89806 SOS 49268 HAS SOPS 26280 HAS SOUS 10988 HAS SOUPS 4730 WITH SCORE 4779.268
AT ITER 1762 NEW BEST:: SOT 89861 SOS 49346 HAS SOPS 26358 HAS SOUS 10983 HAS SOUPS 4725 WITH SCORE 4774.346
AT ITER 1769 NEW BEST:: SOT 89813 SOS 49277 HAS SOPS 26334 HAS SOUS 10962 HAS SOUPS 4713 WITH SCORE 4762.277
AT ITER 1774 NEW BEST:: SOT 89952 SOS 49396 HAS SOPS 26403 HAS SOUS 10929 HAS SOUPS 4679 WITH SCORE 4728.396
AT ITER 1779 NEW BEST:: SOT 89682 SOS 49236 HAS SOPS 26203 HAS SOUS 10934 HAS SOUPS 4664 WITH SCORE 4713.236
AT ITER 1785 NEW BEST:: SOT 89756 SOS 49271 HAS SOPS 26252 HAS SOUS 10903 HAS SOUPS 4646 WITH SCORE 4695.271
AT ITER 1790 NEW BEST:: SOT 89698 SOS 49155 HAS SOPS 26252 HAS SOUS 10903 HAS SOUPS 4646 WITH SCORE 4695.155
AT ITER 1795 NEW BEST:: SOT 89692 SOS 49141 HAS SOPS 26240 HAS SOUS 10897 HAS SOUPS 4640 WITH SCORE 4689.141
AT ITER 1798 NEW BEST:: SOT 89684 SOS 49129 HAS SOPS 26228 HAS SOUS 10893 HAS SOUPS 4636 WITH SCORE 4685.129
AT ITER 1829 NEW BEST:: SOT 89471 SOS 48853 HAS SOPS 26104 HAS SOUS 10863 HAS SOUPS 4629 WITH SCORE 4677.853
AT ITER 1840 NEW BEST:: SOT 89467 SOS 48844 HAS SOPS 26095 HAS SOUS 10856 HAS SOUPS 4622 WITH SCORE 4670.844
AT ITER 1852 NEW BEST:: SOT 89443 SOS 48860 HAS SOPS 26099 HAS SOUS 10844 HAS SOUPS 4610 WITH SCORE 4658.86
AT ITER 1892 NEW BEST:: SOT 89387 SOS 48828 HAS SOPS 26051 HAS SOUS 10844 HAS SOUPS 4602 WITH SCORE 4650.828
AT ITER 1893 NEW BEST:: SOT 89387 SOS 48831 HAS SOPS 26054 HAS SOUS 10841 HAS SOUPS 4599 WITH SCORE 4647.831
AT ITER 1894 NEW BEST:: SOT 89331 SOS 48683 HAS SOPS 25910 HAS SOUS 10738 HAS SOUPS 4532 WITH SCORE 4580.683
AT ITER 1927 NEW BEST:: SOT 88626 SOS 47766 HAS SOPS 25533 HAS SOUS 10607 HAS SOUPS 4454 WITH SCORE 4501.766
AT ITER 1936 NEW BEST:: SOT 88576 SOS 47652 HAS SOPS 25511 HAS SOUS 10573 HAS SOUPS 4447 WITH SCORE 4494.652
AT ITER 1950 NEW BEST:: SOT 88763 SOS 47906 HAS SOPS 25583 HAS SOUS 10717 HAS SOUPS 4443 WITH SCORE 4490.906
AT ITER 1957 NEW BEST:: SOT 88531 SOS 47615 HAS SOPS 25430 HAS SOUS 10525 HAS SOUPS 4364 WITH SCORE 4411.615
AT ITER 1965 NEW BEST:: SOT 88540 SOS 47624 HAS SOPS 25424 HAS SOUS 10528 HAS SOUPS 4355 WITH SCORE 4402.624
AT ITER 1988 NEW BEST:: SOT 88523 SOS 47638 HAS SOPS 25390 HAS SOUS 10532 HAS SOUPS 4351 WITH SCORE 4398.638
AT ITER 1992 NEW BEST:: SOT 88523 SOS 47638 HAS SOPS 25390 HAS SOUS 10508 HAS SOUPS 4335 WITH SCORE 4382.638
AT ITER 2023 NEW BEST:: SOT 88503 SOS 47619 HAS SOPS 25378 HAS SOUS 10508 HAS SOUPS 4335 WITH SCORE 4382.619
AT ITER 2029 NEW BEST:: SOT 88482 SOS 47598 HAS SOPS 25366 HAS SOUS 10508 HAS SOUPS 4335 WITH SCORE 4382.598
AT ITER 2051 NEW BEST:: SOT 88539 SOS 47658 HAS SOPS 25405 HAS SOUS 10493 HAS SOUPS 4323 WITH SCORE 4370.658
AT ITER 2062 NEW BEST:: SOT 88544 SOS 47658 HAS SOPS 25399 HAS SOUS 10492 HAS SOUPS 4321 WITH SCORE 4368.658
AT ITER 2065 NEW BEST:: SOT 88363 SOS 47419 HAS SOPS 25269 HAS SOUS 10333 HAS SOUPS 4278 WITH SCORE 4325.419
AT ITER 2085 NEW BEST:: SOT 88303 SOS 47374 HAS SOPS 25229 HAS SOUS 10305 HAS SOUPS 4256 WITH SCORE 4303.374
AT ITER 2097 NEW BEST:: SOT 88036 SOS 46751 HAS SOPS 25051 HAS SOUS 10216 HAS SOUPS 4256 WITH SCORE 4302.751
AT ITER 2140 NEW BEST:: SOT 88024 SOS 46738 HAS SOPS 25043 HAS SOUS 10215 HAS SOUPS 4255 WITH SCORE 4301.738
AT ITER 2159 NEW BEST:: SOT 88017 SOS 46731 HAS SOPS 25039 HAS SOUS 10215 HAS SOUPS 4255 WITH SCORE 4301.731
AT ITER 2203 NEW BEST:: SOT 88017 SOS 46731 HAS SOPS 25039 HAS SOUS 10205 HAS SOUPS 4245 WITH SCORE 4291.731
AT ITER 2204 NEW BEST:: SOT 88015 SOS 46725 HAS SOPS 25033 HAS SOUS 10204 HAS SOUPS 4244 WITH SCORE 4290.725
AT ITER 2220 NEW BEST:: SOT 88021 SOS 46668 HAS SOPS 25033 HAS SOUS 10117 HAS SOUPS 4198 WITH SCORE 4244.668
AT ITER 2244 NEW BEST:: SOT 87901 SOS 46512 HAS SOPS 24961 HAS SOUS 10084 HAS SOUPS 4176 WITH SCORE 4222.512
AT ITER 2277 NEW BEST:: SOT 87852 SOS 46308 HAS SOPS 24782 HAS SOUS 10076 HAS SOUPS 4155 WITH SCORE 4201.308
AT ITER 2324 NEW BEST:: SOT 87757 SOS 46040 HAS SOPS 24704 HAS SOUS 10063 HAS SOUPS 4142 WITH SCORE 4188.04
AT ITER 2329 NEW BEST:: SOT 87417 SOS 45112 HAS SOPS 23962 HAS SOUS 9993 HAS SOUPS 4063 WITH SCORE 4108.112
AT ITER 2341 NEW BEST:: SOT 87395 SOS 45068 HAS SOPS 23940 HAS SOUS 9966 HAS SOUPS 4058 WITH SCORE 4103.068
AT ITER 2356 NEW BEST:: SOT 87417 SOS 45060 HAS SOPS 23904 HAS SOUS 9968 HAS SOUPS 4052 WITH SCORE 4097.06
AT ITER 2374 NEW BEST:: SOT 87409 SOS 45044 HAS SOPS 23896 HAS SOUS 9948 HAS SOUPS 4044 WITH SCORE 4089.044
AT ITER 2388 NEW BEST:: SOT 87409 SOS 45044 HAS SOPS 23896 HAS SOUS 9946 HAS SOUPS 4042 WITH SCORE 4087.044
AT ITER 2396 NEW BEST:: SOT 87396 SOS 45025 HAS SOPS 23889 HAS SOUS 9939 HAS SOUPS 4035 WITH SCORE 4080.025
AT ITER 2402 NEW BEST:: SOT 87333 SOS 44962 HAS SOPS 23889 HAS SOUS 9817 HAS SOUPS 4004 WITH SCORE 4048.962
AT ITER 2420 NEW BEST:: SOT 87309 SOS 44942 HAS SOPS 23873 HAS SOUS 9817 HAS SOUPS 4004 WITH SCORE 4048.942
AT ITER 2430 NEW BEST:: SOT 87316 SOS 44956 HAS SOPS 23871 HAS SOUS 9816 HAS SOUPS 3995 WITH SCORE 4039.956
AT ITER 2439 NEW BEST:: SOT 87252 SOS 44828 HAS SOPS 23871 HAS SOUS 9710 HAS SOUPS 3995 WITH SCORE 4039.828
AT ITER 2440 NEW BEST:: SOT 87030 SOS 44384 HAS SOPS 23871 HAS SOUS 9436 HAS SOUPS 3995 WITH SCORE 4039.384
AT ITER 2443 NEW BEST:: SOT 87030 SOS 44384 HAS SOPS 23871 HAS SOUS 9435 HAS SOUPS 3994 WITH SCORE 4038.384
AT ITER 2468 NEW BEST:: SOT 87044 SOS 44392 HAS SOPS 23879 HAS SOUS 9429 HAS SOUPS 3990 WITH SCORE 4034.392
AT ITER 2488 NEW BEST:: SOT 87041 SOS 44378 HAS SOPS 23878 HAS SOUS 9428 HAS SOUPS 3990 WITH SCORE 4034.378
AT ITER 2562 NEW BEST:: SOT 87035 SOS 44404 HAS SOPS 23812 HAS SOUS 9422 HAS SOUPS 3978 WITH SCORE 4022.404
AT ITER 2601 NEW BEST:: SOT 86965 SOS 44306 HAS SOPS 23770 HAS SOUS 9406 HAS SOUPS 3973 WITH SCORE 4017.306
AT ITER 2602 NEW BEST:: SOT 86959 SOS 44294 HAS SOPS 23770 HAS SOUS 9406 HAS SOUPS 3973 WITH SCORE 4017.294
AT ITER 2603 NEW BEST:: SOT 86954 SOS 44284 HAS SOPS 23760 HAS SOUS 9400 HAS SOUPS 3967 WITH SCORE 4011.284
AT ITER 2613 NEW BEST:: SOT 86950 SOS 44278 HAS SOPS 23754 HAS SOUS 9399 HAS SOUPS 3966 WITH SCORE 4010.278
AT ITER 2645 NEW BEST:: SOT 86965 SOS 44273 HAS SOPS 23774 HAS SOUS 9374 HAS SOUPS 3966 WITH SCORE 4010.273
AT ITER 2646 NEW BEST:: SOT 86971 SOS 44279 HAS SOPS 23780 HAS SOUS 9368 HAS SOUPS 3960 WITH SCORE 4004.279
AT ITER 2662 NEW BEST:: SOT 86932 SOS 44212 HAS SOPS 23768 HAS SOUS 9322 HAS SOUPS 3958 WITH SCORE 4002.212
AT ITER 2699 NEW BEST:: SOT 86932 SOS 44212 HAS SOPS 23766 HAS SOUS 9323 HAS SOUPS 3957 WITH SCORE 4001.212
AT ITER 2700 NEW BEST:: SOT 86803 SOS 44094 HAS SOPS 23672 HAS SOUS 9314 HAS SOUPS 3946 WITH SCORE 3990.094
AT ITER 2765 NEW BEST:: SOT 86747 SOS 44014 HAS SOPS 23616 HAS SOUS 9304 HAS SOUPS 3936 WITH SCORE 3980.014
AT ITER 2773 NEW BEST:: SOT 86962 SOS 44050 HAS SOPS 23366 HAS SOUS 9331 HAS SOUPS 3932 WITH SCORE 3976.05
AT ITER 2786 NEW BEST:: SOT 86855 SOS 43836 HAS SOPS 23366 HAS SOUS 9187 HAS SOUPS 3932 WITH SCORE 3975.836
AT ITER 2803 NEW BEST:: SOT 86488 SOS 43788 HAS SOPS 22974 HAS SOUS 9571 HAS SOUPS 3932 WITH SCORE 3975.788
AT ITER 2808 NEW BEST:: SOT 86475 SOS 43792 HAS SOPS 22866 HAS SOUS 9572 HAS SOUPS 3926 WITH SCORE 3969.792
AT ITER 2867 NEW BEST:: SOT 86542 SOS 43885 HAS SOPS 22896 HAS SOUS 9615 HAS SOUPS 3917 WITH SCORE 3960.885
AT ITER 2934 NEW BEST:: SOT 86525 SOS 43860 HAS SOPS 22855 HAS SOUS 9631 HAS SOUPS 3911 WITH SCORE 3954.86
AT ITER 2935 NEW BEST:: SOT 86517 SOS 43883 HAS SOPS 22839 HAS SOUS 9626 HAS SOUPS 3906 WITH SCORE 3949.883
AT ITER 2953 NEW BEST:: SOT 86510 SOS 43876 HAS SOPS 22835 HAS SOUS 9626 HAS SOUPS 3906 WITH SCORE 3949.876
AT ITER 2991 NEW BEST:: SOT 85844 SOS 43289 HAS SOPS 22399 HAS SOUS 9620 HAS SOUPS 3902 WITH SCORE 3945.289
AT ITER 3012 NEW BEST:: SOT 85744 SOS 43089 HAS SOPS 22399 HAS SOUS 9502 HAS SOUPS 3902 WITH SCORE 3945.089
AT ITER 3070 NEW BEST:: SOT 85761 SOS 43053 HAS SOPS 22321 HAS SOUS 9504 HAS SOUPS 3897 WITH SCORE 3940.053
AT ITER 3081 NEW BEST:: SOT 85734 SOS 43041 HAS SOPS 22333 HAS SOUS 9490 HAS SOUPS 3892 WITH SCORE 3935.041
AT ITER 3088 NEW BEST:: SOT 85732 SOS 43011 HAS SOPS 22277 HAS SOUS 9501 HAS SOUPS 3890 WITH SCORE 3933.011
AT ITER 3110 NEW BEST:: SOT 85724 SOS 42994 HAS SOPS 22269 HAS SOUS 9490 HAS SOUPS 3883 WITH SCORE 3925.994
AT ITER 3159 NEW BEST:: SOT 85866 SOS 43291 HAS SOPS 22337 HAS SOUS 9463 HAS SOUPS 3855 WITH SCORE 3898.291
AT ITER 3171 NEW BEST:: SOT 85586 SOS 43013 HAS SOPS 22077 HAS SOUS 9480 HAS SOUPS 3839 WITH SCORE 3882.013
AT ITER 3173 NEW BEST:: SOT 85525 SOS 42999 HAS SOPS 21999 HAS SOUS 9477 HAS SOUPS 3824 WITH SCORE 3866.999
AT ITER 3179 NEW BEST:: SOT 85502 SOS 42969 HAS SOPS 21969 HAS SOUS 9462 HAS SOUPS 3817 WITH SCORE 3859.969
AT ITER 3260 NEW BEST:: SOT 85358 SOS 42681 HAS SOPS 21969 HAS SOUS 9277 HAS SOUPS 3817 WITH SCORE 3859.681
AT ITER 3283 NEW BEST:: SOT 85288 SOS 42611 HAS SOPS 21929 HAS SOUS 9277 HAS SOUPS 3817 WITH SCORE 3859.611
AT ITER 3294 NEW BEST:: SOT 85239 SOS 42562 HAS SOPS 21901 HAS SOUS 9277 HAS SOUPS 3817 WITH SCORE 3859.562
AT ITER 3328 NEW BEST:: SOT 85236 SOS 42556 HAS SOPS 21889 HAS SOUS 9268 HAS SOUPS 3808 WITH SCORE 3850.556
AT ITER 3361 NEW BEST:: SOT 85258 SOS 42544 HAS SOPS 21885 HAS SOUS 9257 HAS SOUPS 3805 WITH SCORE 3847.544
AT ITER 3387 NEW BEST:: SOT 85256 SOS 42540 HAS SOPS 21881 HAS SOUS 9253 HAS SOUPS 3803 WITH SCORE 3845.54
AT ITER 3416 NEW BEST:: SOT 85241 SOS 42497 HAS SOPS 21868 HAS SOUS 9212 HAS SOUPS 3772 WITH SCORE 3814.497
AT ITER 3421 NEW BEST:: SOT 84922 SOS 42062 HAS SOPS 21694 HAS SOUS 9122 HAS SOUPS 3714 WITH SCORE 3756.062
AT ITER 3440 NEW BEST:: SOT 84929 SOS 42066 HAS SOPS 21698 HAS SOUS 9121 HAS SOUPS 3713 WITH SCORE 3755.066
AT ITER 3447 NEW BEST:: SOT 84929 SOS 42066 HAS SOPS 21698 HAS SOUS 9125 HAS SOUPS 3705 WITH SCORE 3747.066
AT ITER 3451 NEW BEST:: SOT 84929 SOS 42074 HAS SOPS 21680 HAS SOUS 9128 HAS SOUPS 3699 WITH SCORE 3741.074
AT ITER 3460 NEW BEST:: SOT 84928 SOS 42066 HAS SOPS 21678 HAS SOUS 9112 HAS SOUPS 3692 WITH SCORE 3734.066
AT ITER 3461 NEW BEST:: SOT 84683 SOS 41765 HAS SOPS 21482 HAS SOUS 9056 HAS SOUPS 3657 WITH SCORE 3698.765
AT ITER 3474 NEW BEST:: SOT 84613 SOS 41724 HAS SOPS 21434 HAS SOUS 9058 HAS SOUPS 3650 WITH SCORE 3691.724
AT ITER 3487 NEW BEST:: SOT 84491 SOS 41708 HAS SOPS 21301 HAS SOUS 9033 HAS SOUPS 3624 WITH SCORE 3665.708
AT ITER 3535 NEW BEST:: SOT 84469 SOS 41688 HAS SOPS 21297 HAS SOUS 9025 HAS SOUPS 3620 WITH SCORE 3661.688
AT ITER 3544 NEW BEST:: SOT 84485 SOS 41703 HAS SOPS 21249 HAS SOUS 9058 HAS SOUPS 3607 WITH SCORE 3648.703
AT ITER 3545 NEW BEST:: SOT 84287 SOS 41307 HAS SOPS 21249 HAS SOUS 9015 HAS SOUPS 3607 WITH SCORE 3648.307
AT ITER 3588 NEW BEST:: SOT 84312 SOS 41339 HAS SOPS 21251 HAS SOUS 9043 HAS SOUPS 3605 WITH SCORE 3646.339
AT ITER 3591 NEW BEST:: SOT 84312 SOS 41339 HAS SOPS 21251 HAS SOUS 9040 HAS SOUPS 3602 WITH SCORE 3643.339
AT ITER 3615 NEW BEST:: SOT 84148 SOS 41307 HAS SOPS 21219 HAS SOUS 8977 HAS SOUPS 3566 WITH SCORE 3607.307
AT ITER 3620 NEW BEST:: SOT 84087 SOS 41290 HAS SOPS 21159 HAS SOUS 8951 HAS SOUPS 3531 WITH SCORE 3572.29
AT ITER 3673 NEW BEST:: SOT 84225 SOS 41294 HAS SOPS 21163 HAS SOUS 8868 HAS SOUPS 3482 WITH SCORE 3523.294
AT ITER 3679 NEW BEST:: SOT 84218 SOS 41287 HAS SOPS 21159 HAS SOUS 8868 HAS SOUPS 3482 WITH SCORE 3523.287
AT ITER 3681 NEW BEST:: SOT 84106 SOS 41203 HAS SOPS 21075 HAS SOUS 8858 HAS SOUPS 3472 WITH SCORE 3513.203
AT ITER 3687 NEW BEST:: SOT 84097 SOS 41191 HAS SOPS 21063 HAS SOUS 8858 HAS SOUPS 3472 WITH SCORE 3513.191
AT ITER 3691 NEW BEST:: SOT 84085 SOS 41172 HAS SOPS 21058 HAS SOUS 8853 HAS SOUPS 3467 WITH SCORE 3508.172
AT ITER 3712 NEW BEST:: SOT 84019 SOS 41082 HAS SOPS 21010 HAS SOUS 8797 HAS SOUPS 3432 WITH SCORE 3473.082
AT ITER 3723 NEW BEST:: SOT 83695 SOS 40884 HAS SOPS 20731 HAS SOUS 8750 HAS SOUPS 3389 WITH SCORE 3429.884
AT ITER 3800 NEW BEST:: SOT 83693 SOS 40894 HAS SOPS 20735 HAS SOUS 8749 HAS SOUPS 3388 WITH SCORE 3428.894
AT ITER 3817 NEW BEST:: SOT 83706 SOS 40887 HAS SOPS 20720 HAS SOUS 8747 HAS SOUPS 3383 WITH SCORE 3423.887
AT ITER 3874 NEW BEST:: SOT 83622 SOS 40915 HAS SOPS 20608 HAS SOUS 8860 HAS SOUPS 3368 WITH SCORE 3408.915
AT ITER 3875 NEW BEST:: SOT 83672 SOS 40985 HAS SOPS 20628 HAS SOUS 8890 HAS SOUPS 3358 WITH SCORE 3398.985
AT ITER 4032 NEW BEST:: SOT 83544 SOS 40889 HAS SOPS 20564 HAS SOUS 8852 HAS SOUPS 3344 WITH SCORE 3384.889
AT ITER 4054 NEW BEST:: SOT 83461 SOS 40723 HAS SOPS 20564 HAS SOUS 8835 HAS SOUPS 3344 WITH SCORE 3384.723
AT ITER 4059 NEW BEST:: SOT 83571 SOS 40847 HAS SOPS 20582 HAS SOUS 8926 HAS SOUPS 3328 WITH SCORE 3368.847
AT ITER 4083 NEW BEST:: SOT 83406 SOS 40818 HAS SOPS 20410 HAS SOUS 8950 HAS SOUPS 3328 WITH SCORE 3368.818
AT ITER 4093 NEW BEST:: SOT 83283 SOS 40698 HAS SOPS 20338 HAS SOUS 8950 HAS SOUPS 3328 WITH SCORE 3368.698
AT ITER 4103 NEW BEST:: SOT 83319 SOS 40743 HAS SOPS 20338 HAS SOUS 8986 HAS SOUPS 3319 WITH SCORE 3359.743
AT ITER 4114 NEW BEST:: SOT 83283 SOS 40727 HAS SOPS 20337 HAS SOUS 8978 HAS SOUPS 3315 WITH SCORE 3355.727
AT ITER 4121 NEW BEST:: SOT 83263 SOS 40687 HAS SOPS 20337 HAS SOUS 8953 HAS SOUPS 3315 WITH SCORE 3355.687
AT ITER 4184 NEW BEST:: SOT 83268 SOS 40665 HAS SOPS 20315 HAS SOUS 8967 HAS SOUPS 3313 WITH SCORE 3353.665
AT ITER 4200 NEW BEST:: SOT 83238 SOS 40620 HAS SOPS 20295 HAS SOUS 8932 HAS SOUPS 3303 WITH SCORE 3343.62
AT ITER 4203 NEW BEST:: SOT 83235 SOS 40603 HAS SOPS 20281 HAS SOUS 8925 HAS SOUPS 3300 WITH SCORE 3340.603
AT ITER 4231 NEW BEST:: SOT 83252 SOS 40648 HAS SOPS 20284 HAS SOUS 8928 HAS SOUPS 3296 WITH SCORE 3336.648
AT ITER 4251 NEW BEST:: SOT 83170 SOS 40530 HAS SOPS 20247 HAS SOUS 8900 HAS SOUPS 3289 WITH SCORE 3329.53
AT ITER 4277 NEW BEST:: SOT 83154 SOS 40498 HAS SOPS 20247 HAS SOUS 8892 HAS SOUPS 3289 WITH SCORE 3329.498
AT ITER 4308 NEW BEST:: SOT 83215 SOS 40578 HAS SOPS 20257 HAS SOUS 8935 HAS SOUPS 3274 WITH SCORE 3314.578
AT ITER 4368 NEW BEST:: SOT 83206 SOS 40554 HAS SOPS 20233 HAS SOUS 8929 HAS SOUPS 3265 WITH SCORE 3305.554
AT ITER 4381 NEW BEST:: SOT 83229 SOS 40610 HAS SOPS 20237 HAS SOUS 8932 HAS SOUPS 3261 WITH SCORE 3301.61
AT ITER 4396 NEW BEST:: SOT 83215 SOS 40596 HAS SOPS 20229 HAS SOUS 8932 HAS SOUPS 3261 WITH SCORE 3301.596
AT ITER 4400 NEW BEST:: SOT 83214 SOS 40586 HAS SOPS 20215 HAS SOUS 8933 HAS SOUPS 3260 WITH SCORE 3300.586
AT ITER 4431 NEW BEST:: SOT 83259 SOS 40571 HAS SOPS 20275 HAS SOUS 8918 HAS SOUPS 3260 WITH SCORE 3300.571
AT ITER 4440 NEW BEST:: SOT 83269 SOS 40591 HAS SOPS 20295 HAS SOUS 8907 HAS SOUPS 3258 WITH SCORE 3298.591
AT ITER 4496 NEW BEST:: SOT 83229 SOS 40469 HAS SOPS 20189 HAS SOUS 8903 HAS SOUPS 3254 WITH SCORE 3294.469
AT ITER 4520 NEW BEST:: SOT 83187 SOS 40385 HAS SOPS 20189 HAS SOUS 8866 HAS SOUPS 3254 WITH SCORE 3294.385
AT ITER 4528 NEW BEST:: SOT 82813 SOS 39989 HAS SOPS 19972 HAS SOUS 8852 HAS SOUPS 3244 WITH SCORE 3283.989
AT ITER 4577 NEW BEST:: SOT 82791 SOS 39939 HAS SOPS 19964 HAS SOUS 8842 HAS SOUPS 3241 WITH SCORE 3280.939
AT ITER 4585 NEW BEST:: SOT 82739 SOS 39905 HAS SOPS 19916 HAS SOUS 8840 HAS SOUPS 3232 WITH SCORE 3271.905
AT ITER 4614 NEW BEST:: SOT 82670 SOS 39879 HAS SOPS 19852 HAS SOUS 8840 HAS SOUPS 3232 WITH SCORE 3271.879
AT ITER 4695 NEW BEST:: SOT 82662 SOS 39762 HAS SOPS 19735 HAS SOUS 8836 HAS SOUPS 3228 WITH SCORE 3267.762
AT ITER 4778 NEW BEST:: SOT 82669 SOS 39762 HAS SOPS 19727 HAS SOUS 8837 HAS SOUPS 3227 WITH SCORE 3266.762
AT ITER 4807 NEW BEST:: SOT 82659 SOS 39754 HAS SOPS 19727 HAS SOUS 8835 HAS SOUPS 3227 WITH SCORE 3266.754
AT ITER 4816 NEW BEST:: SOT 82485 SOS 39610 HAS SOPS 19679 HAS SOUS 8749 HAS SOUPS 3172 WITH SCORE 3211.61
AT ITER 4868 NEW BEST:: SOT 82497 SOS 39606 HAS SOPS 19695 HAS SOUS 8729 HAS SOUPS 3172 WITH SCORE 3211.606
AT ITER 4932 NEW BEST:: SOT 82494 SOS 39602 HAS SOPS 19691 HAS SOUS 8729 HAS SOUPS 3172 WITH SCORE 3211.602
AT ITER 4969 NEW BEST:: SOT 82490 SOS 39590 HAS SOPS 19675 HAS SOUS 8727 HAS SOUPS 3168 WITH SCORE 3207.59
AT ITER 4987 NEW BEST:: SOT 82472 SOS 39554 HAS SOPS 19651 HAS SOUS 8703 HAS SOUPS 3150 WITH SCORE 3189.554
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-00 ( ( ( (AX( potential( (tk(P146)) <= (tk(P108)) ))) | (AG( potential( (tk(P82)) <= (tk(P184)) ))) ) & (! (EX( potential( (tk(P71)) <= (tk(P33)) )))) ) & (EF((EF(potential( ( 2 ) <= (tk(P107)) ))))) )
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-01 (EF((AG( ( potential( ( 2 ) <= (tk(P92)) ) & potential( (tk(P80)) <= (tk(P174)) ) )))))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-02 (EF(( potential( (tk(P14)) <= (tk(P85)) ) & (EF(potential( ( 3 ) <= (tk(P20)) ))) )))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-03 (EF(potential( ( 2 ) <= (tk(P19)) )))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-04 (AG( potential( (tk(P96)) <= (tk(P174)) )))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-05 (! ( (EG( potential( (tk(P81)) <= (tk(P40)) ))) & (EF(( potential( ( 2 ) <= (tk(P75)) ) & potential( (tk(P151)) <= (tk(P44)) ) ))) ))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-06 (AG( ( (EF(potential( ( 3 ) <= (tk(P69)) ))) | ( potential( (tk(P18)) <= (tk(P58)) ) | ( potential( ( 1 ) <= (tk(P163)) ) & potential( (tk(P42)) <= (tk(P102)) ) ) ) )))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-07 ( (! potential( (tk(P7)) <= (tk(P113)) )) | (EU( (! potential( ( 3 ) <= (tk(P126)) )),( potential( ( 2 ) <= (tk(P26)) ) & potential( (tk(P83)) <= (tk(P117)) ) ) )) )
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-08 (! (EU( potential( (tk(P90)) <= (tk(P64)) ),( potential( ( 2 ) <= (tk(P76)) ) & potential( ( 2 ) <= (tk(P58)) ) ) )))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-09 (AG( (AF(potential( (tk(P112)) <= (tk(P90)) )))))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-10 (! (EF((EG( potential( ( 2 ) <= (tk(P115)) ))))))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-11 (AG( (EF((! potential( ( 2 ) <= (tk(P91)) ))))))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-12 (EF(( (EG( potential( ( 2 ) <= (tk(P157)) ))) & (! ( potential( ( 1 ) <= (tk(P42)) ) | potential( (tk(P117)) <= (tk(P21)) ) )) )))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-13 (EF((EX( potential( ( 2 ) <= (tk(P39)) )))))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-14 (EF((EF((! potential( (tk(P172)) <= (tk(P181)) ))))))
PROPERTY: DLCshifumi-PT-2a-CTLCardinality-15 (AG( (AU( potential( (tk(P121)) <= (tk(P91)) ),potential( (tk(P4)) <= (tk(P147)) ) ))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCshifumi-PT-2a"
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 DLCshifumi-PT-2a, 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 r063-tajo-158922806800003"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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