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-158922807800643.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 DiscoveryGPU-PT-09b, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r063-tajo-158922807800643
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.4K Mar 31 06:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 31 06:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 29 23:32 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Mar 29 23:32 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.3K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.0K Apr 8 14:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 28 14:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 27 07:37 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 27 07:37 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 28 14:50 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 28 14:50 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 68K 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 DiscoveryGPU-PT-09b-CTLCardinality-00
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-01
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-02
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-03
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-04
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-05
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-06
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-07
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-08
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-09
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-10
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-11
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-12
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-13
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-14
FORMULA_NAME DiscoveryGPU-PT-09b-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589363403992

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DiscoveryGPU (PT), instance 09b
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: 268 places, 284 transitions, 740 arcs.
AT ITER 0 NEW BEST:: SOT 52914 SOS 24985 HAS SOPS 24985 HAS SOUS 22206 HAS SOUPS 22206 WITH SCORE 22230.985
AT ITER 2 NEW BEST:: SOT 52862 SOS 24829 HAS SOPS 24829 HAS SOUS 22154 HAS SOUPS 22154 WITH SCORE 22178.829
AT ITER 3 NEW BEST:: SOT 52862 SOS 24750 HAS SOPS 24750 HAS SOUS 22075 HAS SOUPS 22075 WITH SCORE 22099.75
AT ITER 8 NEW BEST:: SOT 52862 SOS 24741 HAS SOPS 24741 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22098.741
AT ITER 9 NEW BEST:: SOT 52862 SOS 24728 HAS SOPS 24728 HAS SOUS 22074 HAS SOUPS 22074 WITH SCORE 22098.728
AT ITER 10 NEW BEST:: SOT 52820 SOS 24644 HAS SOPS 24644 HAS SOUS 22030 HAS SOUPS 22030 WITH SCORE 22054.644
AT ITER 11 NEW BEST:: SOT 52744 SOS 24512 HAS SOPS 24512 HAS SOUS 21915 HAS SOUPS 21915 WITH SCORE 21939.512
AT ITER 12 NEW BEST:: SOT 52699 SOS 24467 HAS SOPS 24467 HAS SOUS 21897 HAS SOUPS 21897 WITH SCORE 21921.467
AT ITER 14 NEW BEST:: SOT 52657 SOS 24442 HAS SOPS 24442 HAS SOUS 21868 HAS SOUPS 21868 WITH SCORE 21892.442
AT ITER 18 NEW BEST:: SOT 52635 SOS 24376 HAS SOPS 24376 HAS SOUS 21812 HAS SOUPS 21812 WITH SCORE 21836.376
AT ITER 22 NEW BEST:: SOT 52579 SOS 24299 HAS SOPS 24299 HAS SOUS 21755 HAS SOUPS 21755 WITH SCORE 21779.299
AT ITER 27 NEW BEST:: SOT 52552 SOS 24269 HAS SOPS 24269 HAS SOUS 21728 HAS SOUPS 21728 WITH SCORE 21752.269
AT ITER 29 NEW BEST:: SOT 52552 SOS 24269 HAS SOPS 24269 HAS SOUS 21727 HAS SOUPS 21727 WITH SCORE 21751.269
AT ITER 30 NEW BEST:: SOT 52545 SOS 24255 HAS SOPS 24255 HAS SOUS 21727 HAS SOUPS 21727 WITH SCORE 21751.255
AT ITER 33 NEW BEST:: SOT 52545 SOS 24216 HAS SOPS 24216 HAS SOUS 21727 HAS SOUPS 21727 WITH SCORE 21751.216
AT ITER 34 NEW BEST:: SOT 52545 SOS 24216 HAS SOPS 24216 HAS SOUS 21726 HAS SOUPS 21726 WITH SCORE 21750.216
AT ITER 35 NEW BEST:: SOT 52490 SOS 24166 HAS SOPS 24166 HAS SOUS 21676 HAS SOUPS 21676 WITH SCORE 21700.166
AT ITER 38 NEW BEST:: SOT 52490 SOS 24154 HAS SOPS 24154 HAS SOUS 21667 HAS SOUPS 21667 WITH SCORE 21691.154
AT ITER 41 NEW BEST:: SOT 52412 SOS 24025 HAS SOPS 24025 HAS SOUS 21549 HAS SOUPS 21549 WITH SCORE 21573.025
AT ITER 45 NEW BEST:: SOT 52220 SOS 23757 HAS SOPS 23757 HAS SOUS 21261 HAS SOUPS 21261 WITH SCORE 21284.757
AT ITER 52 NEW BEST:: SOT 52218 SOS 23755 HAS SOPS 23755 HAS SOUS 21259 HAS SOUPS 21259 WITH SCORE 21282.755
AT ITER 55 NEW BEST:: SOT 52205 SOS 23729 HAS SOPS 23729 HAS SOUS 21253 HAS SOUPS 21253 WITH SCORE 21276.729
AT ITER 57 NEW BEST:: SOT 52190 SOS 23714 HAS SOPS 23714 HAS SOUS 21237 HAS SOUPS 21237 WITH SCORE 21260.714
AT ITER 60 NEW BEST:: SOT 52175 SOS 23684 HAS SOPS 23684 HAS SOUS 21207 HAS SOUPS 21207 WITH SCORE 21230.684
AT ITER 62 NEW BEST:: SOT 52175 SOS 23684 HAS SOPS 23684 HAS SOUS 21206 HAS SOUPS 21206 WITH SCORE 21229.684
AT ITER 64 NEW BEST:: SOT 52103 SOS 22312 HAS SOPS 22312 HAS SOUS 21032 HAS SOUPS 21032 WITH SCORE 21054.312
AT ITER 66 NEW BEST:: SOT 52054 SOS 22297 HAS SOPS 22297 HAS SOUS 21018 HAS SOUPS 21018 WITH SCORE 21040.297
AT ITER 82 NEW BEST:: SOT 52054 SOS 22260 HAS SOPS 22260 HAS SOUS 21012 HAS SOUPS 21012 WITH SCORE 21034.26
AT ITER 86 NEW BEST:: SOT 52033 SOS 22218 HAS SOPS 22218 HAS SOUS 20981 HAS SOUPS 20981 WITH SCORE 21003.218
AT ITER 87 NEW BEST:: SOT 51996 SOS 22181 HAS SOPS 22181 HAS SOUS 20943 HAS SOUPS 20943 WITH SCORE 20965.181
AT ITER 90 NEW BEST:: SOT 51996 SOS 22101 HAS SOPS 22101 HAS SOUS 20903 HAS SOUPS 20903 WITH SCORE 20925.101
AT ITER 96 NEW BEST:: SOT 52014 SOS 22104 HAS SOPS 22104 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20905.104
AT ITER 103 NEW BEST:: SOT 52014 SOS 22084 HAS SOPS 22084 HAS SOUS 20883 HAS SOUPS 20883 WITH SCORE 20905.084
AT ITER 112 NEW BEST:: SOT 52014 SOS 22050 HAS SOPS 22050 HAS SOUS 20849 HAS SOUPS 20849 WITH SCORE 20871.05
AT ITER 123 NEW BEST:: SOT 52014 SOS 21863 HAS SOPS 21863 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20848.863
AT ITER 125 NEW BEST:: SOT 52014 SOS 21825 HAS SOPS 21825 HAS SOUS 20827 HAS SOUPS 20827 WITH SCORE 20848.825
AT ITER 126 NEW BEST:: SOT 51960 SOS 21787 HAS SOPS 21787 HAS SOUS 20789 HAS SOUPS 20789 WITH SCORE 20810.787
AT ITER 128 NEW BEST:: SOT 51960 SOS 21784 HAS SOPS 21784 HAS SOUS 20789 HAS SOUPS 20789 WITH SCORE 20810.784
AT ITER 133 NEW BEST:: SOT 51906 SOS 21743 HAS SOPS 21743 HAS SOUS 20748 HAS SOUPS 20748 WITH SCORE 20769.743
AT ITER 134 NEW BEST:: SOT 51905 SOS 21722 HAS SOPS 21722 HAS SOUS 20727 HAS SOUPS 20727 WITH SCORE 20748.722
AT ITER 135 NEW BEST:: SOT 51898 SOS 21701 HAS SOPS 21701 HAS SOUS 20715 HAS SOUPS 20715 WITH SCORE 20736.701
AT ITER 136 NEW BEST:: SOT 51796 SOS 21630 HAS SOPS 21630 HAS SOUS 20624 HAS SOUPS 20624 WITH SCORE 20645.63
AT ITER 145 NEW BEST:: SOT 50292 SOS 29626 HAS SOPS 29626 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19557.626
AT ITER 153 NEW BEST:: SOT 50275 SOS 29513 HAS SOPS 29513 HAS SOUS 19528 HAS SOUPS 19528 WITH SCORE 19557.513
AT ITER 157 NEW BEST:: SOT 50277 SOS 29389 HAS SOPS 29389 HAS SOUS 19475 HAS SOUPS 19475 WITH SCORE 19504.389
AT ITER 158 NEW BEST:: SOT 50204 SOS 29260 HAS SOPS 29260 HAS SOUS 19458 HAS SOUPS 19458 WITH SCORE 19487.26
AT ITER 162 NEW BEST:: SOT 50203 SOS 29258 HAS SOPS 29258 HAS SOUS 19456 HAS SOUPS 19456 WITH SCORE 19485.258
AT ITER 163 NEW BEST:: SOT 50114 SOS 29119 HAS SOPS 29119 HAS SOUS 19410 HAS SOUPS 19410 WITH SCORE 19439.119
AT ITER 165 NEW BEST:: SOT 50139 SOS 28973 HAS SOPS 28973 HAS SOUS 19350 HAS SOUPS 19350 WITH SCORE 19378.973
AT ITER 168 NEW BEST:: SOT 50139 SOS 28885 HAS SOPS 28885 HAS SOUS 19348 HAS SOUPS 19348 WITH SCORE 19376.885
AT ITER 172 NEW BEST:: SOT 50131 SOS 28869 HAS SOPS 28869 HAS SOUS 19332 HAS SOUPS 19332 WITH SCORE 19360.869
AT ITER 195 NEW BEST:: SOT 50131 SOS 28765 HAS SOPS 28765 HAS SOUS 19223 HAS SOUPS 19223 WITH SCORE 19251.765
AT ITER 202 NEW BEST:: SOT 50157 SOS 28748 HAS SOPS 28748 HAS SOUS 19206 HAS SOUPS 19206 WITH SCORE 19234.748
AT ITER 207 NEW BEST:: SOT 50094 SOS 28622 HAS SOPS 28622 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19133.622
AT ITER 209 NEW BEST:: SOT 50026 SOS 28537 HAS SOPS 28537 HAS SOUS 18969 HAS SOUPS 18969 WITH SCORE 18997.537
AT ITER 211 NEW BEST:: SOT 50011 SOS 28494 HAS SOPS 28494 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18974.494
AT ITER 214 NEW BEST:: SOT 50011 SOS 25741 HAS SOPS 25741 HAS SOUS 18946 HAS SOUPS 18946 WITH SCORE 18971.741
AT ITER 220 NEW BEST:: SOT 49995 SOS 25649 HAS SOPS 25649 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18955.649
AT ITER 221 NEW BEST:: SOT 49994 SOS 25644 HAS SOPS 25644 HAS SOUS 18928 HAS SOUPS 18928 WITH SCORE 18953.644
AT ITER 231 NEW BEST:: SOT 49812 SOS 25486 HAS SOPS 25486 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18904.486
AT ITER 232 NEW BEST:: SOT 49760 SOS 25402 HAS SOPS 25402 HAS SOUS 18874 HAS SOUPS 18874 WITH SCORE 18899.402
AT ITER 236 NEW BEST:: SOT 49656 SOS 25294 HAS SOPS 25294 HAS SOUS 18766 HAS SOUPS 18766 WITH SCORE 18791.294
AT ITER 239 NEW BEST:: SOT 49668 SOS 25080 HAS SOPS 25080 HAS SOUS 18552 HAS SOUPS 18552 WITH SCORE 18577.08
AT ITER 241 NEW BEST:: SOT 49666 SOS 25076 HAS SOPS 25076 HAS SOUS 18548 HAS SOUPS 18548 WITH SCORE 18573.076
AT ITER 244 NEW BEST:: SOT 49642 SOS 24979 HAS SOPS 24979 HAS SOUS 18477 HAS SOUPS 18477 WITH SCORE 18501.979
AT ITER 248 NEW BEST:: SOT 49633 SOS 24939 HAS SOPS 24939 HAS SOUS 18468 HAS SOUPS 18468 WITH SCORE 18492.939
AT ITER 256 NEW BEST:: SOT 49598 SOS 24838 HAS SOPS 24838 HAS SOUS 18317 HAS SOUPS 18317 WITH SCORE 18341.838
AT ITER 262 NEW BEST:: SOT 49557 SOS 24756 HAS SOPS 24756 HAS SOUS 18235 HAS SOUPS 18235 WITH SCORE 18259.756
AT ITER 264 NEW BEST:: SOT 49538 SOS 24733 HAS SOPS 24733 HAS SOUS 18225 HAS SOUPS 18225 WITH SCORE 18249.733
AT ITER 267 NEW BEST:: SOT 49539 SOS 24718 HAS SOPS 24718 HAS SOUS 18210 HAS SOUPS 18210 WITH SCORE 18234.718
AT ITER 276 NEW BEST:: SOT 49573 SOS 24710 HAS SOPS 24710 HAS SOUS 18177 HAS SOUPS 18177 WITH SCORE 18201.71
AT ITER 278 NEW BEST:: SOT 49482 SOS 24528 HAS SOPS 24528 HAS SOUS 18085 HAS SOUPS 18085 WITH SCORE 18109.528
AT ITER 280 NEW BEST:: SOT 49460 SOS 24509 HAS SOPS 24509 HAS SOUS 18041 HAS SOUPS 18041 WITH SCORE 18065.509
AT ITER 282 NEW BEST:: SOT 49460 SOS 24427 HAS SOPS 24427 HAS SOUS 18040 HAS SOUPS 18040 WITH SCORE 18064.427
AT ITER 288 NEW BEST:: SOT 49337 SOS 24277 HAS SOPS 24277 HAS SOUS 17842 HAS SOUPS 17842 WITH SCORE 17866.277
AT ITER 289 NEW BEST:: SOT 49256 SOS 24117 HAS SOPS 24117 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17785.117
AT ITER 296 NEW BEST:: SOT 49256 SOS 24065 HAS SOPS 24065 HAS SOUS 17709 HAS SOUPS 17709 WITH SCORE 17733.065
AT ITER 300 NEW BEST:: SOT 49185 SOS 23923 HAS SOPS 23923 HAS SOUS 17634 HAS SOUPS 17634 WITH SCORE 17657.923
AT ITER 304 NEW BEST:: SOT 49241 SOS 23890 HAS SOPS 23890 HAS SOUS 17601 HAS SOUPS 17601 WITH SCORE 17624.89
AT ITER 307 NEW BEST:: SOT 49232 SOS 23872 HAS SOPS 23872 HAS SOUS 17596 HAS SOUPS 17596 WITH SCORE 17619.872
AT ITER 315 NEW BEST:: SOT 49171 SOS 23677 HAS SOPS 23677 HAS SOUS 17474 HAS SOUPS 17474 WITH SCORE 17497.677
AT ITER 320 NEW BEST:: SOT 49180 SOS 23663 HAS SOPS 23663 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17483.663
AT ITER 322 NEW BEST:: SOT 49092 SOS 23528 HAS SOPS 23528 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17386.528
AT ITER 327 NEW BEST:: SOT 49110 SOS 23444 HAS SOPS 23444 HAS SOUS 17279 HAS SOUPS 17279 WITH SCORE 17302.444
AT ITER 329 NEW BEST:: SOT 49081 SOS 23420 HAS SOPS 23420 HAS SOUS 17255 HAS SOUPS 17255 WITH SCORE 17278.42
AT ITER 331 NEW BEST:: SOT 49075 SOS 23408 HAS SOPS 23408 HAS SOUS 17244 HAS SOUPS 17244 WITH SCORE 17267.408
AT ITER 339 NEW BEST:: SOT 49058 SOS 23365 HAS SOPS 23365 HAS SOUS 17224 HAS SOUPS 17224 WITH SCORE 17247.365
AT ITER 340 NEW BEST:: SOT 48964 SOS 23255 HAS SOPS 23255 HAS SOUS 17130 HAS SOUPS 17130 WITH SCORE 17153.255
AT ITER 352 NEW BEST:: SOT 48983 SOS 23116 HAS SOPS 23116 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17079.116
AT ITER 358 NEW BEST:: SOT 48933 SOS 23066 HAS SOPS 23066 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17079.066
AT ITER 365 NEW BEST:: SOT 48882 SOS 23147 HAS SOPS 23147 HAS SOUS 17027 HAS SOUPS 17027 WITH SCORE 17050.147
AT ITER 367 NEW BEST:: SOT 48882 SOS 23204 HAS SOPS 23204 HAS SOUS 17001 HAS SOUPS 17001 WITH SCORE 17024.204
AT ITER 368 NEW BEST:: SOT 48882 SOS 23204 HAS SOPS 23204 HAS SOUS 16996 HAS SOUPS 16996 WITH SCORE 17019.204
AT ITER 374 NEW BEST:: SOT 48879 SOS 23129 HAS SOPS 23129 HAS SOUS 16990 HAS SOUPS 16990 WITH SCORE 17013.129
AT ITER 384 NEW BEST:: SOT 48661 SOS 22922 HAS SOPS 22922 HAS SOUS 16861 HAS SOUPS 16861 WITH SCORE 16883.922
AT ITER 385 NEW BEST:: SOT 48646 SOS 22777 HAS SOPS 22777 HAS SOUS 16831 HAS SOUPS 16831 WITH SCORE 16853.777
AT ITER 392 NEW BEST:: SOT 47891 SOS 22175 HAS SOPS 22175 HAS SOUS 16386 HAS SOUPS 16386 WITH SCORE 16408.175
AT ITER 405 NEW BEST:: SOT 47783 SOS 22055 HAS SOPS 22055 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16288.055
AT ITER 407 NEW BEST:: SOT 47795 SOS 22032 HAS SOPS 22032 HAS SOUS 16215 HAS SOUPS 16215 WITH SCORE 16237.032
AT ITER 410 NEW BEST:: SOT 47737 SOS 21931 HAS SOPS 21931 HAS SOUS 16177 HAS SOUPS 16177 WITH SCORE 16198.931
AT ITER 412 NEW BEST:: SOT 47716 SOS 21896 HAS SOPS 21896 HAS SOUS 16142 HAS SOUPS 16142 WITH SCORE 16163.896
AT ITER 413 NEW BEST:: SOT 47684 SOS 21864 HAS SOPS 21864 HAS SOUS 16078 HAS SOUPS 16078 WITH SCORE 16099.864
AT ITER 414 NEW BEST:: SOT 47680 SOS 21856 HAS SOPS 21856 HAS SOUS 16070 HAS SOUPS 16070 WITH SCORE 16091.856
AT ITER 415 NEW BEST:: SOT 47665 SOS 21801 HAS SOPS 21801 HAS SOUS 16059 HAS SOUPS 16059 WITH SCORE 16080.801
AT ITER 419 NEW BEST:: SOT 47643 SOS 21757 HAS SOPS 21757 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16067.757
AT ITER 423 NEW BEST:: SOT 47622 SOS 21736 HAS SOPS 21736 HAS SOUS 16025 HAS SOUPS 16025 WITH SCORE 16046.736
AT ITER 424 NEW BEST:: SOT 47581 SOS 21710 HAS SOPS 21710 HAS SOUS 15935 HAS SOUPS 15935 WITH SCORE 15956.71
AT ITER 427 NEW BEST:: SOT 47556 SOS 21685 HAS SOPS 21685 HAS SOUS 15935 HAS SOUPS 15935 WITH SCORE 15956.685
AT ITER 428 NEW BEST:: SOT 47594 SOS 21705 HAS SOPS 21705 HAS SOUS 15910 HAS SOUPS 15910 WITH SCORE 15931.705
AT ITER 429 NEW BEST:: SOT 47543 SOS 21603 HAS SOPS 21603 HAS SOUS 15859 HAS SOUPS 15859 WITH SCORE 15880.603
AT ITER 431 NEW BEST:: SOT 47499 SOS 21515 HAS SOPS 21515 HAS SOUS 15771 HAS SOUPS 15771 WITH SCORE 15792.515
AT ITER 432 NEW BEST:: SOT 47530 SOS 21518 HAS SOPS 21518 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15773.518
AT ITER 436 NEW BEST:: SOT 47514 SOS 21502 HAS SOPS 21502 HAS SOUS 15736 HAS SOUPS 15736 WITH SCORE 15757.502
AT ITER 446 NEW BEST:: SOT 47413 SOS 21326 HAS SOPS 21326 HAS SOUS 15622 HAS SOUPS 15622 WITH SCORE 15643.326
AT ITER 449 NEW BEST:: SOT 47395 SOS 21291 HAS SOPS 21291 HAS SOUS 15621 HAS SOUPS 15621 WITH SCORE 15642.291
AT ITER 474 NEW BEST:: SOT 47392 SOS 21285 HAS SOPS 21285 HAS SOUS 15615 HAS SOUPS 15615 WITH SCORE 15636.285
AT ITER 475 NEW BEST:: SOT 46977 SOS 20897 HAS SOPS 20897 HAS SOUS 15184 HAS SOUPS 15184 WITH SCORE 15204.897
AT ITER 484 NEW BEST:: SOT 46977 SOS 20896 HAS SOPS 20896 HAS SOUS 15183 HAS SOUPS 15183 WITH SCORE 15203.896
AT ITER 502 NEW BEST:: SOT 46846 SOS 20758 HAS SOPS 20758 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15007.758
AT ITER 505 NEW BEST:: SOT 46842 SOS 20733 HAS SOPS 20733 HAS SOUS 14979 HAS SOUPS 14979 WITH SCORE 14999.733
AT ITER 511 NEW BEST:: SOT 46792 SOS 20684 HAS SOPS 20684 HAS SOUS 14920 HAS SOUPS 14920 WITH SCORE 14940.684
AT ITER 520 NEW BEST:: SOT 46789 SOS 20684 HAS SOPS 20684 HAS SOUS 14917 HAS SOUPS 14917 WITH SCORE 14937.684
AT ITER 523 NEW BEST:: SOT 46716 SOS 20583 HAS SOPS 20583 HAS SOUS 14816 HAS SOUPS 14816 WITH SCORE 14836.583
AT ITER 533 NEW BEST:: SOT 46692 SOS 20582 HAS SOPS 20582 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14827.582
AT ITER 535 NEW BEST:: SOT 46691 SOS 20581 HAS SOPS 20581 HAS SOUS 14806 HAS SOUPS 14806 WITH SCORE 14826.581
AT ITER 540 NEW BEST:: SOT 46707 SOS 20574 HAS SOPS 20574 HAS SOUS 14798 HAS SOUPS 14798 WITH SCORE 14818.574
AT ITER 541 NEW BEST:: SOT 46740 SOS 20640 HAS SOPS 20640 HAS SOUS 14779 HAS SOUPS 14779 WITH SCORE 14799.64
AT ITER 543 NEW BEST:: SOT 46723 SOS 20628 HAS SOPS 20628 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14765.628
AT ITER 561 NEW BEST:: SOT 46723 SOS 20625 HAS SOPS 20625 HAS SOUS 14745 HAS SOUPS 14745 WITH SCORE 14765.625
AT ITER 563 NEW BEST:: SOT 46685 SOS 20488 HAS SOPS 20488 HAS SOUS 14728 HAS SOUPS 14728 WITH SCORE 14748.488
AT ITER 571 NEW BEST:: SOT 46599 SOS 20390 HAS SOPS 20390 HAS SOUS 14704 HAS SOUPS 14704 WITH SCORE 14724.39
AT ITER 582 NEW BEST:: SOT 46615 SOS 20460 HAS SOPS 20460 HAS SOUS 14699 HAS SOUPS 14699 WITH SCORE 14719.46
AT ITER 583 NEW BEST:: SOT 46605 SOS 20420 HAS SOPS 20420 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14679.42
AT ITER 584 NEW BEST:: SOT 46598 SOS 20406 HAS SOPS 20406 HAS SOUS 14645 HAS SOUPS 14645 WITH SCORE 14665.406
AT ITER 585 NEW BEST:: SOT 46568 SOS 20398 HAS SOPS 20398 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14625.398
AT ITER 592 NEW BEST:: SOT 46596 SOS 20421 HAS SOPS 20421 HAS SOUS 14595 HAS SOUPS 14595 WITH SCORE 14615.421
AT ITER 602 NEW BEST:: SOT 46593 SOS 20418 HAS SOPS 20418 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14612.418
AT ITER 646 NEW BEST:: SOT 46586 SOS 20414 HAS SOPS 20414 HAS SOUS 14571 HAS SOUPS 14571 WITH SCORE 14591.414
AT ITER 658 NEW BEST:: SOT 46572 SOS 20386 HAS SOPS 20386 HAS SOUS 14536 HAS SOUPS 14536 WITH SCORE 14556.386
AT ITER 664 NEW BEST:: SOT 46529 SOS 20239 HAS SOPS 20239 HAS SOUS 14475 HAS SOUPS 14475 WITH SCORE 14495.239
AT ITER 673 NEW BEST:: SOT 46511 SOS 20221 HAS SOPS 20221 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14477.221
AT ITER 682 NEW BEST:: SOT 46498 SOS 20177 HAS SOPS 20177 HAS SOUS 14426 HAS SOUPS 14426 WITH SCORE 14446.177
AT ITER 683 NEW BEST:: SOT 46461 SOS 20133 HAS SOPS 20133 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14402.133
AT ITER 708 NEW BEST:: SOT 46443 SOS 20106 HAS SOPS 20106 HAS SOUS 14357 HAS SOUPS 14357 WITH SCORE 14377.106
AT ITER 720 NEW BEST:: SOT 46490 SOS 20131 HAS SOPS 20131 HAS SOUS 14325 HAS SOUPS 14325 WITH SCORE 14345.131
AT ITER 728 NEW BEST:: SOT 46489 SOS 20130 HAS SOPS 20130 HAS SOUS 14323 HAS SOUPS 14323 WITH SCORE 14343.13
AT ITER 730 NEW BEST:: SOT 46444 SOS 20040 HAS SOPS 20040 HAS SOUS 14260 HAS SOUPS 14260 WITH SCORE 14280.04
AT ITER 737 NEW BEST:: SOT 46436 SOS 20024 HAS SOPS 20024 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14255.024
AT ITER 741 NEW BEST:: SOT 46434 SOS 19997 HAS SOPS 19997 HAS SOUS 14201 HAS SOUPS 14201 WITH SCORE 14220.997
AT ITER 748 NEW BEST:: SOT 46413 SOS 19962 HAS SOPS 19962 HAS SOUS 14173 HAS SOUPS 14173 WITH SCORE 14192.962
AT ITER 749 NEW BEST:: SOT 46400 SOS 19952 HAS SOPS 19952 HAS SOUS 14163 HAS SOUPS 14163 WITH SCORE 14182.952
AT ITER 758 NEW BEST:: SOT 46400 SOS 19952 HAS SOPS 19952 HAS SOUS 14156 HAS SOUPS 14156 WITH SCORE 14175.952
AT ITER 761 NEW BEST:: SOT 46373 SOS 19898 HAS SOPS 19898 HAS SOUS 14128 HAS SOUPS 14128 WITH SCORE 14147.898
AT ITER 763 NEW BEST:: SOT 46370 SOS 19846 HAS SOPS 19846 HAS SOUS 14123 HAS SOUPS 14123 WITH SCORE 14142.846
AT ITER 775 NEW BEST:: SOT 46354 SOS 19814 HAS SOPS 19814 HAS SOUS 14091 HAS SOUPS 14091 WITH SCORE 14110.814
AT ITER 780 NEW BEST:: SOT 46345 SOS 19803 HAS SOPS 19803 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14108.803
AT ITER 790 NEW BEST:: SOT 46331 SOS 19785 HAS SOPS 19785 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14080.785
AT ITER 805 NEW BEST:: SOT 46232 SOS 19721 HAS SOPS 19721 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13981.721
AT ITER 809 NEW BEST:: SOT 46165 SOS 19587 HAS SOPS 19587 HAS SOUS 13828 HAS SOUPS 13828 WITH SCORE 13847.587
AT ITER 813 NEW BEST:: SOT 46165 SOS 19567 HAS SOPS 19567 HAS SOUS 13808 HAS SOUPS 13808 WITH SCORE 13827.567
AT ITER 821 NEW BEST:: SOT 46150 SOS 19537 HAS SOPS 19537 HAS SOUS 13778 HAS SOUPS 13778 WITH SCORE 13797.537
AT ITER 834 NEW BEST:: SOT 46130 SOS 19527 HAS SOPS 19527 HAS SOUS 13768 HAS SOUPS 13768 WITH SCORE 13787.527
AT ITER 838 NEW BEST:: SOT 46070 SOS 19333 HAS SOPS 19333 HAS SOUS 13648 HAS SOUPS 13648 WITH SCORE 13667.333
AT ITER 839 NEW BEST:: SOT 46066 SOS 19325 HAS SOPS 19325 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13659.325
AT ITER 846 NEW BEST:: SOT 46057 SOS 19282 HAS SOPS 19282 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13616.282
AT ITER 847 NEW BEST:: SOT 46052 SOS 19248 HAS SOPS 19248 HAS SOUS 13587 HAS SOUPS 13587 WITH SCORE 13606.248
AT ITER 848 NEW BEST:: SOT 46036 SOS 19216 HAS SOPS 19216 HAS SOUS 13570 HAS SOUPS 13570 WITH SCORE 13589.216
AT ITER 851 NEW BEST:: SOT 46030 SOS 19204 HAS SOPS 19204 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13577.204
AT ITER 855 NEW BEST:: SOT 46053 SOS 19122 HAS SOPS 19122 HAS SOUS 13525 HAS SOUPS 13525 WITH SCORE 13544.122
AT ITER 879 NEW BEST:: SOT 46045 SOS 19106 HAS SOPS 19106 HAS SOUS 13517 HAS SOUPS 13517 WITH SCORE 13536.106
AT ITER 885 NEW BEST:: SOT 46036 SOS 19088 HAS SOPS 19088 HAS SOUS 13508 HAS SOUPS 13508 WITH SCORE 13527.088
AT ITER 887 NEW BEST:: SOT 46038 SOS 19072 HAS SOPS 19072 HAS SOUS 13492 HAS SOUPS 13492 WITH SCORE 13511.072
AT ITER 890 NEW BEST:: SOT 46037 SOS 19067 HAS SOPS 19067 HAS SOUS 13490 HAS SOUPS 13490 WITH SCORE 13509.067
AT ITER 898 NEW BEST:: SOT 46014 SOS 19060 HAS SOPS 19060 HAS SOUS 13449 HAS SOUPS 13449 WITH SCORE 13468.06
AT ITER 908 NEW BEST:: SOT 46013 SOS 19058 HAS SOPS 19058 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13466.058
AT ITER 917 NEW BEST:: SOT 45975 SOS 18982 HAS SOPS 18982 HAS SOUS 13409 HAS SOUPS 13409 WITH SCORE 13427.982
AT ITER 925 NEW BEST:: SOT 45964 SOS 18971 HAS SOPS 18971 HAS SOUS 13387 HAS SOUPS 13387 WITH SCORE 13405.971
AT ITER 928 NEW BEST:: SOT 45962 SOS 18965 HAS SOPS 18965 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13401.965
AT ITER 938 NEW BEST:: SOT 45962 SOS 18959 HAS SOPS 18959 HAS SOUS 13380 HAS SOUPS 13380 WITH SCORE 13398.959
AT ITER 939 NEW BEST:: SOT 45984 SOS 18965 HAS SOPS 18965 HAS SOUS 13368 HAS SOUPS 13368 WITH SCORE 13386.965
AT ITER 951 NEW BEST:: SOT 45924 SOS 18845 HAS SOPS 18845 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13266.845
AT ITER 956 NEW BEST:: SOT 45924 SOS 18830 HAS SOPS 18830 HAS SOUS 13248 HAS SOUPS 13248 WITH SCORE 13266.83
AT ITER 961 NEW BEST:: SOT 45914 SOS 18817 HAS SOPS 18817 HAS SOUS 13231 HAS SOUPS 13231 WITH SCORE 13249.817
AT ITER 963 NEW BEST:: SOT 45898 SOS 18785 HAS SOPS 18785 HAS SOUS 13199 HAS SOUPS 13199 WITH SCORE 13217.785
AT ITER 997 NEW BEST:: SOT 45612 SOS 18962 HAS SOPS 18962 HAS SOUS 12950 HAS SOUPS 12950 WITH SCORE 12968.962
AT ITER 1000 NEW BEST:: SOT 45597 SOS 18946 HAS SOPS 18946 HAS SOUS 12922 HAS SOUPS 12922 WITH SCORE 12940.946
AT ITER 1016 NEW BEST:: SOT 45530 SOS 18813 HAS SOPS 18813 HAS SOUS 12858 HAS SOUPS 12858 WITH SCORE 12876.813
AT ITER 1039 NEW BEST:: SOT 45498 SOS 18813 HAS SOPS 18813 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12799.813
AT ITER 1046 NEW BEST:: SOT 45498 SOS 18809 HAS SOPS 18809 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12799.809
AT ITER 1056 NEW BEST:: SOT 45425 SOS 18663 HAS SOPS 18663 HAS SOUS 12635 HAS SOUPS 12635 WITH SCORE 12653.663
AT ITER 1062 NEW BEST:: SOT 45426 SOS 18664 HAS SOPS 18664 HAS SOUS 12631 HAS SOUPS 12631 WITH SCORE 12649.664
AT ITER 1077 NEW BEST:: SOT 45424 SOS 18662 HAS SOPS 18662 HAS SOUS 12627 HAS SOUPS 12627 WITH SCORE 12645.662
AT ITER 1090 NEW BEST:: SOT 45415 SOS 18644 HAS SOPS 18644 HAS SOUS 12605 HAS SOUPS 12605 WITH SCORE 12623.644
AT ITER 1091 NEW BEST:: SOT 45386 SOS 18459 HAS SOPS 18459 HAS SOUS 12525 HAS SOUPS 12525 WITH SCORE 12543.459
AT ITER 1101 NEW BEST:: SOT 45368 SOS 18418 HAS SOPS 18418 HAS SOUS 12512 HAS SOUPS 12512 WITH SCORE 12530.418
AT ITER 1107 NEW BEST:: SOT 45363 SOS 18383 HAS SOPS 18383 HAS SOUS 12502 HAS SOUPS 12502 WITH SCORE 12520.383
AT ITER 1114 NEW BEST:: SOT 45296 SOS 18383 HAS SOPS 18383 HAS SOUS 12435 HAS SOUPS 12435 WITH SCORE 12453.383
AT ITER 1117 NEW BEST:: SOT 45289 SOS 18369 HAS SOPS 18369 HAS SOUS 12421 HAS SOUPS 12421 WITH SCORE 12439.369
AT ITER 1127 NEW BEST:: SOT 45272 SOS 18273 HAS SOPS 18273 HAS SOUS 12409 HAS SOUPS 12409 WITH SCORE 12427.273
AT ITER 1130 NEW BEST:: SOT 45242 SOS 18213 HAS SOPS 18213 HAS SOUS 12346 HAS SOUPS 12346 WITH SCORE 12364.213
AT ITER 1134 NEW BEST:: SOT 45225 SOS 18179 HAS SOPS 18179 HAS SOUS 12312 HAS SOUPS 12312 WITH SCORE 12330.179
AT ITER 1139 NEW BEST:: SOT 45220 SOS 18153 HAS SOPS 18153 HAS SOUS 12302 HAS SOUPS 12302 WITH SCORE 12320.153
AT ITER 1154 NEW BEST:: SOT 45194 SOS 18127 HAS SOPS 18127 HAS SOUS 12276 HAS SOUPS 12276 WITH SCORE 12294.127
AT ITER 1166 NEW BEST:: SOT 45194 SOS 18125 HAS SOPS 18125 HAS SOUS 12274 HAS SOUPS 12274 WITH SCORE 12292.125
AT ITER 1170 NEW BEST:: SOT 45194 SOS 18125 HAS SOPS 18125 HAS SOUS 12268 HAS SOUPS 12268 WITH SCORE 12286.125
AT ITER 1181 NEW BEST:: SOT 45193 SOS 18137 HAS SOPS 18137 HAS SOUS 12267 HAS SOUPS 12267 WITH SCORE 12285.137
AT ITER 1184 NEW BEST:: SOT 45145 SOS 18073 HAS SOPS 18073 HAS SOUS 12187 HAS SOUPS 12187 WITH SCORE 12205.073
AT ITER 1186 NEW BEST:: SOT 45179 SOS 18081 HAS SOPS 18081 HAS SOUS 12165 HAS SOUPS 12165 WITH SCORE 12183.081
AT ITER 1197 NEW BEST:: SOT 45179 SOS 18081 HAS SOPS 18081 HAS SOUS 12159 HAS SOUPS 12159 WITH SCORE 12177.081
AT ITER 1205 NEW BEST:: SOT 45158 SOS 18016 HAS SOPS 18016 HAS SOUS 12092 HAS SOUPS 12092 WITH SCORE 12110.016
AT ITER 1211 NEW BEST:: SOT 45147 SOS 17994 HAS SOPS 17994 HAS SOUS 12074 HAS SOUPS 12074 WITH SCORE 12091.994
AT ITER 1216 NEW BEST:: SOT 45174 SOS 17983 HAS SOPS 17983 HAS SOUS 12069 HAS SOUPS 12069 WITH SCORE 12086.983
AT ITER 1239 NEW BEST:: SOT 45171 SOS 17980 HAS SOPS 17980 HAS SOUS 12066 HAS SOUPS 12066 WITH SCORE 12083.98
AT ITER 1242 NEW BEST:: SOT 45104 SOS 17913 HAS SOPS 17913 HAS SOUS 12006 HAS SOUPS 12006 WITH SCORE 12023.913
AT ITER 1249 NEW BEST:: SOT 45091 SOS 17900 HAS SOPS 17900 HAS SOUS 11980 HAS SOUPS 11980 WITH SCORE 11997.9
AT ITER 1250 NEW BEST:: SOT 45081 SOS 17827 HAS SOPS 17827 HAS SOUS 11960 HAS SOUPS 11960 WITH SCORE 11977.827
AT ITER 1268 NEW BEST:: SOT 45039 SOS 17743 HAS SOPS 17743 HAS SOUS 11884 HAS SOUPS 11884 WITH SCORE 11901.743
AT ITER 1274 NEW BEST:: SOT 45006 SOS 17719 HAS SOPS 17719 HAS SOUS 11860 HAS SOUPS 11860 WITH SCORE 11877.719
AT ITER 1278 NEW BEST:: SOT 45005 SOS 17717 HAS SOPS 17717 HAS SOUS 11858 HAS SOUPS 11858 WITH SCORE 11875.717
AT ITER 1292 NEW BEST:: SOT 45005 SOS 17694 HAS SOPS 17694 HAS SOUS 11835 HAS SOUPS 11835 WITH SCORE 11852.694
AT ITER 1301 NEW BEST:: SOT 45001 SOS 17706 HAS SOPS 17706 HAS SOUS 11827 HAS SOUPS 11827 WITH SCORE 11844.706
AT ITER 1306 NEW BEST:: SOT 44799 SOS 17720 HAS SOPS 17720 HAS SOUS 11594 HAS SOUPS 11594 WITH SCORE 11611.72
AT ITER 1309 NEW BEST:: SOT 44765 SOS 17654 HAS SOPS 17654 HAS SOUS 11568 HAS SOUPS 11568 WITH SCORE 11585.654
AT ITER 1315 NEW BEST:: SOT 44764 SOS 17611 HAS SOPS 17611 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11583.611
AT ITER 1328 NEW BEST:: SOT 44722 SOS 17561 HAS SOPS 17561 HAS SOUS 11516 HAS SOUPS 11516 WITH SCORE 11533.561
AT ITER 1330 NEW BEST:: SOT 44715 SOS 17547 HAS SOPS 17547 HAS SOUS 11509 HAS SOUPS 11509 WITH SCORE 11526.547
AT ITER 1340 NEW BEST:: SOT 44711 SOS 17543 HAS SOPS 17543 HAS SOUS 11505 HAS SOUPS 11505 WITH SCORE 11522.543
AT ITER 1349 NEW BEST:: SOT 44775 SOS 17588 HAS SOPS 17588 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11509.588
AT ITER 1359 NEW BEST:: SOT 44775 SOS 17501 HAS SOPS 17501 HAS SOUS 11492 HAS SOUPS 11492 WITH SCORE 11509.501
AT ITER 1398 NEW BEST:: SOT 44776 SOS 17497 HAS SOPS 17497 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11508.497
AT ITER 1410 NEW BEST:: SOT 44772 SOS 17489 HAS SOPS 17489 HAS SOUS 11481 HAS SOUPS 11481 WITH SCORE 11498.489
AT ITER 1415 NEW BEST:: SOT 44770 SOS 17485 HAS SOPS 17485 HAS SOUS 11477 HAS SOUPS 11477 WITH SCORE 11494.485
AT ITER 1417 NEW BEST:: SOT 44761 SOS 17467 HAS SOPS 17467 HAS SOUS 11468 HAS SOUPS 11468 WITH SCORE 11485.467
AT ITER 1427 NEW BEST:: SOT 44720 SOS 17384 HAS SOPS 17384 HAS SOUS 11385 HAS SOUPS 11385 WITH SCORE 11402.384
AT ITER 1451 NEW BEST:: SOT 44720 SOS 17381 HAS SOPS 17381 HAS SOUS 11382 HAS SOUPS 11382 WITH SCORE 11399.381
AT ITER 1454 NEW BEST:: SOT 44678 SOS 17339 HAS SOPS 17339 HAS SOUS 11340 HAS SOUPS 11340 WITH SCORE 11357.339
AT ITER 1460 NEW BEST:: SOT 44659 SOS 17219 HAS SOPS 17219 HAS SOUS 11323 HAS SOUPS 11323 WITH SCORE 11340.219
AT ITER 1474 NEW BEST:: SOT 44614 SOS 17106 HAS SOPS 17106 HAS SOUS 11233 HAS SOUPS 11233 WITH SCORE 11250.106
AT ITER 1482 NEW BEST:: SOT 44585 SOS 17074 HAS SOPS 17074 HAS SOUS 11180 HAS SOUPS 11180 WITH SCORE 11197.074
AT ITER 1483 NEW BEST:: SOT 44584 SOS 17072 HAS SOPS 17072 HAS SOUS 11178 HAS SOUPS 11178 WITH SCORE 11195.072
AT ITER 1484 NEW BEST:: SOT 44584 SOS 17055 HAS SOPS 17055 HAS SOUS 11174 HAS SOUPS 11174 WITH SCORE 11191.055
AT ITER 1513 NEW BEST:: SOT 44571 SOS 17042 HAS SOPS 17042 HAS SOUS 11161 HAS SOUPS 11161 WITH SCORE 11178.042
AT ITER 1534 NEW BEST:: SOT 44571 SOS 17042 HAS SOPS 17042 HAS SOUS 11125 HAS SOUPS 11125 WITH SCORE 11142.042
AT ITER 1546 NEW BEST:: SOT 44571 SOS 17016 HAS SOPS 17016 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11116.016
AT ITER 1549 NEW BEST:: SOT 44571 SOS 16994 HAS SOPS 16994 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11104.994
AT ITER 1568 NEW BEST:: SOT 44556 SOS 16985 HAS SOPS 16985 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11095.985
AT ITER 1579 NEW BEST:: SOT 44549 SOS 16971 HAS SOPS 16971 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11066.971
AT ITER 1590 NEW BEST:: SOT 44532 SOS 16954 HAS SOPS 16954 HAS SOUS 11008 HAS SOUPS 11008 WITH SCORE 11024.954
AT ITER 1618 NEW BEST:: SOT 44533 SOS 16952 HAS SOPS 16952 HAS SOUS 10955 HAS SOUPS 10955 WITH SCORE 10971.952
AT ITER 1620 NEW BEST:: SOT 44535 SOS 16927 HAS SOPS 16927 HAS SOUS 10943 HAS SOUPS 10943 WITH SCORE 10959.927
AT ITER 1633 NEW BEST:: SOT 44535 SOS 16927 HAS SOPS 16927 HAS SOUS 10925 HAS SOUPS 10925 WITH SCORE 10941.927
AT ITER 1638 NEW BEST:: SOT 44521 SOS 16885 HAS SOPS 16885 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10913.885
AT ITER 1646 NEW BEST:: SOT 44484 SOS 16822 HAS SOPS 16822 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10895.822
AT ITER 1647 NEW BEST:: SOT 44446 SOS 16790 HAS SOPS 16790 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10836.79
AT ITER 1658 NEW BEST:: SOT 44375 SOS 17582 HAS SOPS 17582 HAS SOUS 10795 HAS SOUPS 10795 WITH SCORE 10812.582
AT ITER 1661 NEW BEST:: SOT 44374 SOS 17579 HAS SOPS 17579 HAS SOUS 10793 HAS SOUPS 10793 WITH SCORE 10810.579
AT ITER 1707 NEW BEST:: SOT 44360 SOS 17565 HAS SOPS 17565 HAS SOUS 10779 HAS SOUPS 10779 WITH SCORE 10796.565
AT ITER 1717 NEW BEST:: SOT 44343 SOS 17532 HAS SOPS 17532 HAS SOUS 10761 HAS SOUPS 10761 WITH SCORE 10778.532
AT ITER 1718 NEW BEST:: SOT 44320 SOS 17486 HAS SOPS 17486 HAS SOUS 10738 HAS SOUPS 10738 WITH SCORE 10755.486
AT ITER 1727 NEW BEST:: SOT 44314 SOS 17460 HAS SOPS 17460 HAS SOUS 10730 HAS SOUPS 10730 WITH SCORE 10747.46
AT ITER 1737 NEW BEST:: SOT 44273 SOS 17377 HAS SOPS 17377 HAS SOUS 10682 HAS SOUPS 10682 WITH SCORE 10699.377
AT ITER 1746 NEW BEST:: SOT 44270 SOS 17360 HAS SOPS 17360 HAS SOUS 10668 HAS SOUPS 10668 WITH SCORE 10685.36
AT ITER 1758 NEW BEST:: SOT 44237 SOS 17366 HAS SOPS 17366 HAS SOUS 10595 HAS SOUPS 10595 WITH SCORE 10612.366
AT ITER 1774 NEW BEST:: SOT 44226 SOS 17324 HAS SOPS 17324 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10590.324
AT ITER 1775 NEW BEST:: SOT 44222 SOS 17316 HAS SOPS 17316 HAS SOUS 10565 HAS SOUPS 10565 WITH SCORE 10582.316
AT ITER 1787 NEW BEST:: SOT 44216 SOS 17344 HAS SOPS 17344 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10536.344
AT ITER 1790 NEW BEST:: SOT 44216 SOS 17294 HAS SOPS 17294 HAS SOUS 10519 HAS SOUPS 10519 WITH SCORE 10536.294
AT ITER 1818 NEW BEST:: SOT 44225 SOS 17303 HAS SOPS 17303 HAS SOUS 10472 HAS SOUPS 10472 WITH SCORE 10489.303
AT ITER 1846 NEW BEST:: SOT 44218 SOS 17296 HAS SOPS 17296 HAS SOUS 10465 HAS SOUPS 10465 WITH SCORE 10482.296
AT ITER 1861 NEW BEST:: SOT 44190 SOS 17246 HAS SOPS 17246 HAS SOUS 10423 HAS SOUPS 10423 WITH SCORE 10440.246
AT ITER 1876 NEW BEST:: SOT 44164 SOS 17195 HAS SOPS 17195 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10430.195
AT ITER 1883 NEW BEST:: SOT 44150 SOS 17167 HAS SOPS 17167 HAS SOUS 10392 HAS SOUPS 10392 WITH SCORE 10409.167
AT ITER 1884 NEW BEST:: SOT 44149 SOS 17166 HAS SOPS 17166 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10405.166
AT ITER 1900 NEW BEST:: SOT 44146 SOS 17163 HAS SOPS 17163 HAS SOUS 10385 HAS SOUPS 10385 WITH SCORE 10402.163
AT ITER 1906 NEW BEST:: SOT 44144 SOS 17173 HAS SOPS 17173 HAS SOUS 10378 HAS SOUPS 10378 WITH SCORE 10395.173
AT ITER 1919 NEW BEST:: SOT 44169 SOS 17184 HAS SOPS 17184 HAS SOUS 10371 HAS SOUPS 10371 WITH SCORE 10388.184
AT ITER 1925 NEW BEST:: SOT 44168 SOS 17183 HAS SOPS 17183 HAS SOUS 10369 HAS SOUPS 10369 WITH SCORE 10386.183
AT ITER 1931 NEW BEST:: SOT 44122 SOS 17138 HAS SOPS 17138 HAS SOUS 10366 HAS SOUPS 10366 WITH SCORE 10383.138
AT ITER 1948 NEW BEST:: SOT 44115 SOS 17131 HAS SOPS 17131 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10376.131
AT ITER 1958 NEW BEST:: SOT 44115 SOS 17125 HAS SOPS 17125 HAS SOUS 10359 HAS SOUPS 10359 WITH SCORE 10376.125
AT ITER 1987 NEW BEST:: SOT 44107 SOS 17078 HAS SOPS 17078 HAS SOUS 10308 HAS SOUPS 10308 WITH SCORE 10325.078
AT ITER 1992 NEW BEST:: SOT 44101 SOS 17040 HAS SOPS 17040 HAS SOUS 10296 HAS SOUPS 10296 WITH SCORE 10313.04
AT ITER 2006 NEW BEST:: SOT 44094 SOS 17026 HAS SOPS 17026 HAS SOUS 10282 HAS SOUPS 10282 WITH SCORE 10299.026
AT ITER 2019 NEW BEST:: SOT 43978 SOS 16782 HAS SOPS 16782 HAS SOUS 10172 HAS SOUPS 10172 WITH SCORE 10188.782
AT ITER 2043 NEW BEST:: SOT 43975 SOS 16779 HAS SOPS 16779 HAS SOUS 10169 HAS SOUPS 10169 WITH SCORE 10185.779
AT ITER 2062 NEW BEST:: SOT 43972 SOS 16776 HAS SOPS 16776 HAS SOUS 10160 HAS SOUPS 10160 WITH SCORE 10176.776
AT ITER 2081 NEW BEST:: SOT 43967 SOS 16771 HAS SOPS 16771 HAS SOUS 10155 HAS SOUPS 10155 WITH SCORE 10171.771
AT ITER 2086 NEW BEST:: SOT 43960 SOS 16764 HAS SOPS 16764 HAS SOUS 10148 HAS SOUPS 10148 WITH SCORE 10164.764
AT ITER 2095 NEW BEST:: SOT 43942 SOS 16728 HAS SOPS 16728 HAS SOUS 10142 HAS SOUPS 10142 WITH SCORE 10158.728
AT ITER 2100 NEW BEST:: SOT 43922 SOS 16717 HAS SOPS 16717 HAS SOUS 10106 HAS SOUPS 10106 WITH SCORE 10122.717
AT ITER 2117 NEW BEST:: SOT 43932 SOS 16668 HAS SOPS 16668 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10089.668
AT ITER 2145 NEW BEST:: SOT 43889 SOS 16582 HAS SOPS 16582 HAS SOUS 9987 HAS SOUPS 9987 WITH SCORE 10003.582
AT ITER 2146 NEW BEST:: SOT 43891 SOS 16568 HAS SOPS 16568 HAS SOUS 9968 HAS SOUPS 9968 WITH SCORE 9984.568
AT ITER 2155 NEW BEST:: SOT 43889 SOS 16564 HAS SOPS 16564 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9980.564
AT ITER 2169 NEW BEST:: SOT 43881 SOS 16548 HAS SOPS 16548 HAS SOUS 9942 HAS SOUPS 9942 WITH SCORE 9958.548
AT ITER 2192 NEW BEST:: SOT 43868 SOS 16572 HAS SOPS 16572 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9952.572
AT ITER 2206 NEW BEST:: SOT 43834 SOS 16538 HAS SOPS 16538 HAS SOUS 9902 HAS SOUPS 9902 WITH SCORE 9918.538
AT ITER 2238 NEW BEST:: SOT 43833 SOS 16536 HAS SOPS 16536 HAS SOUS 9900 HAS SOUPS 9900 WITH SCORE 9916.536
AT ITER 2258 NEW BEST:: SOT 43831 SOS 16532 HAS SOPS 16532 HAS SOUS 9896 HAS SOUPS 9896 WITH SCORE 9912.532
AT ITER 2264 NEW BEST:: SOT 43826 SOS 16522 HAS SOPS 16522 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9902.522
AT ITER 2292 NEW BEST:: SOT 43826 SOS 16490 HAS SOPS 16490 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9902.49
AT ITER 2311 NEW BEST:: SOT 43820 SOS 16478 HAS SOPS 16478 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9890.478
AT ITER 2320 NEW BEST:: SOT 43815 SOS 16454 HAS SOPS 16454 HAS SOUS 9850 HAS SOUPS 9850 WITH SCORE 9866.454
AT ITER 2324 NEW BEST:: SOT 43790 SOS 16466 HAS SOPS 16466 HAS SOUS 9843 HAS SOUPS 9843 WITH SCORE 9859.466
AT ITER 2333 NEW BEST:: SOT 43784 SOS 16456 HAS SOPS 16456 HAS SOUS 9833 HAS SOUPS 9833 WITH SCORE 9849.456
AT ITER 2339 NEW BEST:: SOT 43767 SOS 16439 HAS SOPS 16439 HAS SOUS 9816 HAS SOUPS 9816 WITH SCORE 9832.439
AT ITER 2340 NEW BEST:: SOT 43763 SOS 16431 HAS SOPS 16431 HAS SOUS 9811 HAS SOUPS 9811 WITH SCORE 9827.431
AT ITER 2345 NEW BEST:: SOT 43766 SOS 16428 HAS SOPS 16428 HAS SOUS 9799 HAS SOUPS 9799 WITH SCORE 9815.428
AT ITER 2353 NEW BEST:: SOT 43756 SOS 16394 HAS SOPS 16394 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9786.394
AT ITER 2361 NEW BEST:: SOT 43720 SOS 16340 HAS SOPS 16340 HAS SOUS 9698 HAS SOUPS 9698 WITH SCORE 9714.34
AT ITER 2366 NEW BEST:: SOT 43660 SOS 16221 HAS SOPS 16221 HAS SOUS 9637 HAS SOUPS 9637 WITH SCORE 9653.221
AT ITER 2369 NEW BEST:: SOT 43656 SOS 16213 HAS SOPS 16213 HAS SOUS 9633 HAS SOUPS 9633 WITH SCORE 9649.213
AT ITER 2379 NEW BEST:: SOT 43655 SOS 16211 HAS SOPS 16211 HAS SOUS 9631 HAS SOUPS 9631 WITH SCORE 9647.211
AT ITER 2392 NEW BEST:: SOT 43655 SOS 16211 HAS SOPS 16211 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9644.211
AT ITER 2403 NEW BEST:: SOT 43641 SOS 16197 HAS SOPS 16197 HAS SOUS 9614 HAS SOUPS 9614 WITH SCORE 9630.197
AT ITER 2406 NEW BEST:: SOT 43611 SOS 16137 HAS SOPS 16137 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9551.137
AT ITER 2409 NEW BEST:: SOT 43617 SOS 16111 HAS SOPS 16111 HAS SOUS 9525 HAS SOUPS 9525 WITH SCORE 9541.111
AT ITER 2414 NEW BEST:: SOT 43581 SOS 16049 HAS SOPS 16049 HAS SOUS 9470 HAS SOUPS 9470 WITH SCORE 9486.049
AT ITER 2420 NEW BEST:: SOT 43582 SOS 16045 HAS SOPS 16045 HAS SOUS 9466 HAS SOUPS 9466 WITH SCORE 9482.045
AT ITER 2451 NEW BEST:: SOT 43581 SOS 16035 HAS SOPS 16035 HAS SOUS 9464 HAS SOUPS 9464 WITH SCORE 9480.035
AT ITER 2464 NEW BEST:: SOT 43580 SOS 16033 HAS SOPS 16033 HAS SOUS 9453 HAS SOUPS 9453 WITH SCORE 9469.033
AT ITER 2481 NEW BEST:: SOT 43576 SOS 16009 HAS SOPS 16009 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9460.009
AT ITER 2490 NEW BEST:: SOT 43581 SOS 16019 HAS SOPS 16019 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9453.019
AT ITER 2542 NEW BEST:: SOT 43568 SOS 16006 HAS SOPS 16006 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9453.006
AT ITER 2582 NEW BEST:: SOT 43540 SOS 15986 HAS SOPS 15986 HAS SOUS 9409 HAS SOUPS 9409 WITH SCORE 9424.986
AT ITER 2614 NEW BEST:: SOT 43536 SOS 15978 HAS SOPS 15978 HAS SOUS 9401 HAS SOUPS 9401 WITH SCORE 9416.978
AT ITER 2648 NEW BEST:: SOT 43501 SOS 15908 HAS SOPS 15908 HAS SOUS 9331 HAS SOUPS 9331 WITH SCORE 9346.908
AT ITER 2655 NEW BEST:: SOT 43496 SOS 15899 HAS SOPS 15899 HAS SOUS 9325 HAS SOUPS 9325 WITH SCORE 9340.899
AT ITER 2656 NEW BEST:: SOT 43490 SOS 15915 HAS SOPS 15915 HAS SOUS 9300 HAS SOUPS 9300 WITH SCORE 9315.915
AT ITER 2700 NEW BEST:: SOT 43482 SOS 15907 HAS SOPS 15907 HAS SOUS 9292 HAS SOUPS 9292 WITH SCORE 9307.907
AT ITER 2701 NEW BEST:: SOT 43462 SOS 15867 HAS SOPS 15867 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9283.867
AT ITER 2714 NEW BEST:: SOT 43462 SOS 15860 HAS SOPS 15860 HAS SOUS 9268 HAS SOUPS 9268 WITH SCORE 9283.86
AT ITER 2730 NEW BEST:: SOT 43460 SOS 15856 HAS SOPS 15856 HAS SOUS 9264 HAS SOUPS 9264 WITH SCORE 9279.856
AT ITER 2734 NEW BEST:: SOT 43438 SOS 15834 HAS SOPS 15834 HAS SOUS 9242 HAS SOUPS 9242 WITH SCORE 9257.834
AT ITER 2752 NEW BEST:: SOT 43438 SOS 15833 HAS SOPS 15833 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9256.833
AT ITER 2786 NEW BEST:: SOT 43421 SOS 15774 HAS SOPS 15774 HAS SOUS 9207 HAS SOUPS 9207 WITH SCORE 9222.774
AT ITER 2791 NEW BEST:: SOT 43414 SOS 15787 HAS SOPS 15787 HAS SOUS 9205 HAS SOUPS 9205 WITH SCORE 9220.787
AT ITER 2800 NEW BEST:: SOT 43409 SOS 15716 HAS SOPS 15716 HAS SOUS 9195 HAS SOUPS 9195 WITH SCORE 9210.716
AT ITER 2802 NEW BEST:: SOT 43396 SOS 15690 HAS SOPS 15690 HAS SOUS 9169 HAS SOUPS 9169 WITH SCORE 9184.69
AT ITER 2888 NEW BEST:: SOT 43386 SOS 15670 HAS SOPS 15670 HAS SOUS 9149 HAS SOUPS 9149 WITH SCORE 9164.67
AT ITER 2896 NEW BEST:: SOT 43379 SOS 15670 HAS SOPS 15670 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9162.67
AT ITER 2897 NEW BEST:: SOT 43379 SOS 15647 HAS SOPS 15647 HAS SOUS 9147 HAS SOUPS 9147 WITH SCORE 9162.647
AT ITER 2917 NEW BEST:: SOT 43378 SOS 15657 HAS SOPS 15657 HAS SOUS 9140 HAS SOUPS 9140 WITH SCORE 9155.657
AT ITER 2931 NEW BEST:: SOT 43359 SOS 15619 HAS SOPS 15619 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9136.619
AT ITER 2957 NEW BEST:: SOT 43359 SOS 15587 HAS SOPS 15587 HAS SOUS 9121 HAS SOUPS 9121 WITH SCORE 9136.587
AT ITER 2978 NEW BEST:: SOT 43356 SOS 15581 HAS SOPS 15581 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9123.581
AT ITER 2997 NEW BEST:: SOT 43356 SOS 15557 HAS SOPS 15557 HAS SOUS 9108 HAS SOUPS 9108 WITH SCORE 9123.557
AT ITER 3022 NEW BEST:: SOT 43348 SOS 15549 HAS SOPS 15549 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9115.549
AT ITER 3031 NEW BEST:: SOT 43337 SOS 15527 HAS SOPS 15527 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9104.527
AT ITER 3045 NEW BEST:: SOT 43337 SOS 15527 HAS SOPS 15527 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9099.527
AT ITER 3060 NEW BEST:: SOT 43337 SOS 15522 HAS SOPS 15522 HAS SOUS 9084 HAS SOUPS 9084 WITH SCORE 9099.522
AT ITER 3062 NEW BEST:: SOT 43330 SOS 15508 HAS SOPS 15508 HAS SOUS 9081 HAS SOUPS 9081 WITH SCORE 9096.508
AT ITER 3101 NEW BEST:: SOT 43317 SOS 15495 HAS SOPS 15495 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9070.495
AT ITER 3109 NEW BEST:: SOT 43285 SOS 15479 HAS SOPS 15479 HAS SOUS 9042 HAS SOUPS 9042 WITH SCORE 9057.479
AT ITER 3117 NEW BEST:: SOT 43249 SOS 15435 HAS SOPS 15435 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9026.435
AT ITER 3129 NEW BEST:: SOT 43228 SOS 15393 HAS SOPS 15393 HAS SOUS 8969 HAS SOUPS 8969 WITH SCORE 8984.393
AT ITER 3156 NEW BEST:: SOT 43222 SOS 15393 HAS SOPS 15393 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8980.393
AT ITER 3159 NEW BEST:: SOT 43222 SOS 15391 HAS SOPS 15391 HAS SOUS 8965 HAS SOUPS 8965 WITH SCORE 8980.391
AT ITER 3182 NEW BEST:: SOT 43217 SOS 15391 HAS SOPS 15391 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8975.391
AT ITER 3205 NEW BEST:: SOT 43201 SOS 15401 HAS SOPS 15401 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8943.401
AT ITER 3218 NEW BEST:: SOT 43186 SOS 15386 HAS SOPS 15386 HAS SOUS 8898 HAS SOUPS 8898 WITH SCORE 8913.386
AT ITER 3265 NEW BEST:: SOT 43289 SOS 15486 HAS SOPS 15486 HAS SOUS 8896 HAS SOUPS 8896 WITH SCORE 8911.486
AT ITER 3287 NEW BEST:: SOT 43295 SOS 15474 HAS SOPS 15474 HAS SOUS 8884 HAS SOUPS 8884 WITH SCORE 8899.474
AT ITER 3303 NEW BEST:: SOT 43304 SOS 15471 HAS SOPS 15471 HAS SOUS 8880 HAS SOUPS 8880 WITH SCORE 8895.471
AT ITER 3306 NEW BEST:: SOT 43304 SOS 15475 HAS SOPS 15475 HAS SOUS 8876 HAS SOUPS 8876 WITH SCORE 8891.475
AT ITER 3310 NEW BEST:: SOT 43316 SOS 15469 HAS SOPS 15469 HAS SOUS 8872 HAS SOUPS 8872 WITH SCORE 8887.469
AT ITER 3343 NEW BEST:: SOT 43294 SOS 15451 HAS SOPS 15451 HAS SOUS 8849 HAS SOUPS 8849 WITH SCORE 8864.451
AT ITER 3359 NEW BEST:: SOT 43290 SOS 15439 HAS SOPS 15439 HAS SOUS 8841 HAS SOUPS 8841 WITH SCORE 8856.439
AT ITER 3363 NEW BEST:: SOT 43295 SOS 15434 HAS SOPS 15434 HAS SOUS 8832 HAS SOUPS 8832 WITH SCORE 8847.434
AT ITER 3372 NEW BEST:: SOT 43290 SOS 15424 HAS SOPS 15424 HAS SOUS 8817 HAS SOUPS 8817 WITH SCORE 8832.424
AT ITER 3376 NEW BEST:: SOT 43284 SOS 15417 HAS SOPS 15417 HAS SOUS 8805 HAS SOUPS 8805 WITH SCORE 8820.417
AT ITER 3420 NEW BEST:: SOT 43282 SOS 15413 HAS SOPS 15413 HAS SOUS 8801 HAS SOUPS 8801 WITH SCORE 8816.413
AT ITER 3445 NEW BEST:: SOT 43277 SOS 15395 HAS SOPS 15395 HAS SOUS 8783 HAS SOUPS 8783 WITH SCORE 8798.395
AT ITER 3483 NEW BEST:: SOT 43275 SOS 15390 HAS SOPS 15390 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8793.39
AT ITER 3502 NEW BEST:: SOT 43275 SOS 15361 HAS SOPS 15361 HAS SOUS 8778 HAS SOUPS 8778 WITH SCORE 8793.361
AT ITER 3526 NEW BEST:: SOT 43264 SOS 15339 HAS SOPS 15339 HAS SOUS 8756 HAS SOUPS 8756 WITH SCORE 8771.339
AT ITER 3585 NEW BEST:: SOT 43267 SOS 15323 HAS SOPS 15323 HAS SOUS 8739 HAS SOUPS 8739 WITH SCORE 8754.323
AT ITER 3597 NEW BEST:: SOT 43263 SOS 15315 HAS SOPS 15315 HAS SOUS 8727 HAS SOUPS 8727 WITH SCORE 8742.315
AT ITER 3609 NEW BEST:: SOT 43259 SOS 15309 HAS SOPS 15309 HAS SOUS 8721 HAS SOUPS 8721 WITH SCORE 8736.309
AT ITER 3625 NEW BEST:: SOT 43244 SOS 15279 HAS SOPS 15279 HAS SOUS 8692 HAS SOUPS 8692 WITH SCORE 8707.279
AT ITER 3635 NEW BEST:: SOT 43236 SOS 15235 HAS SOPS 15235 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8691.235
AT ITER 3637 NEW BEST:: SOT 43232 SOS 15227 HAS SOPS 15227 HAS SOUS 8668 HAS SOUPS 8668 WITH SCORE 8683.227
AT ITER 3638 NEW BEST:: SOT 43228 SOS 15221 HAS SOPS 15221 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8678.221
AT ITER 3655 NEW BEST:: SOT 43228 SOS 15211 HAS SOPS 15211 HAS SOUS 8663 HAS SOUPS 8663 WITH SCORE 8678.211
AT ITER 3662 NEW BEST:: SOT 43221 SOS 15197 HAS SOPS 15197 HAS SOUS 8649 HAS SOUPS 8649 WITH SCORE 8664.197
AT ITER 3678 NEW BEST:: SOT 43230 SOS 15179 HAS SOPS 15179 HAS SOUS 8599 HAS SOUPS 8599 WITH SCORE 8614.179
AT ITER 3712 NEW BEST:: SOT 43216 SOS 15169 HAS SOPS 15169 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8600.169
AT ITER 3766 NEW BEST:: SOT 43220 SOS 15147 HAS SOPS 15147 HAS SOUS 8585 HAS SOUPS 8585 WITH SCORE 8600.147
AT ITER 3779 NEW BEST:: SOT 43219 SOS 15145 HAS SOPS 15145 HAS SOUS 8583 HAS SOUPS 8583 WITH SCORE 8598.145
AT ITER 3795 NEW BEST:: SOT 43213 SOS 15150 HAS SOPS 15150 HAS SOUS 8580 HAS SOUPS 8580 WITH SCORE 8595.15
AT ITER 3807 NEW BEST:: SOT 43214 SOS 15137 HAS SOPS 15137 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8569.137
AT ITER 3822 NEW BEST:: SOT 43211 SOS 15139 HAS SOPS 15139 HAS SOUS 8548 HAS SOUPS 8548 WITH SCORE 8563.139
AT ITER 3863 NEW BEST:: SOT 43206 SOS 15134 HAS SOPS 15134 HAS SOUS 8543 HAS SOUPS 8543 WITH SCORE 8558.134
AT ITER 3879 NEW BEST:: SOT 43205 SOS 15132 HAS SOPS 15132 HAS SOUS 8541 HAS SOUPS 8541 WITH SCORE 8556.132
AT ITER 3904 NEW BEST:: SOT 43179 SOS 15112 HAS SOPS 15112 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8550.112
AT ITER 3998 NEW BEST:: SOT 43179 SOS 15070 HAS SOPS 15070 HAS SOUS 8535 HAS SOUPS 8535 WITH SCORE 8550.07
AT ITER 4006 NEW BEST:: SOT 43154 SOS 15045 HAS SOPS 15045 HAS SOUS 8511 HAS SOUPS 8511 WITH SCORE 8526.045
AT ITER 4009 NEW BEST:: SOT 43156 SOS 15049 HAS SOPS 15049 HAS SOUS 8508 HAS SOUPS 8508 WITH SCORE 8523.049
AT ITER 4061 NEW BEST:: SOT 43156 SOS 15049 HAS SOPS 15049 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8506.049
AT ITER 4074 NEW BEST:: SOT 43156 SOS 15048 HAS SOPS 15048 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8506.048
AT ITER 4084 NEW BEST:: SOT 43156 SOS 15046 HAS SOPS 15046 HAS SOUS 8491 HAS SOUPS 8491 WITH SCORE 8506.046
AT ITER 4125 NEW BEST:: SOT 43143 SOS 15024 HAS SOPS 15024 HAS SOUS 8469 HAS SOUPS 8469 WITH SCORE 8484.024
AT ITER 4141 NEW BEST:: SOT 43143 SOS 15024 HAS SOPS 15024 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8482.024
AT ITER 4189 NEW BEST:: SOT 43136 SOS 14957 HAS SOPS 14957 HAS SOUS 8461 HAS SOUPS 8461 WITH SCORE 8475.957
AT ITER 4216 NEW BEST:: SOT 43135 SOS 14955 HAS SOPS 14955 HAS SOUS 8449 HAS SOUPS 8449 WITH SCORE 8463.955
AT ITER 4260 NEW BEST:: SOT 43129 SOS 14943 HAS SOPS 14943 HAS SOUS 8437 HAS SOUPS 8437 WITH SCORE 8451.943
AT ITER 4310 NEW BEST:: SOT 43126 SOS 14926 HAS SOPS 14926 HAS SOUS 8431 HAS SOUPS 8431 WITH SCORE 8445.926
AT ITER 4321 NEW BEST:: SOT 43124 SOS 14924 HAS SOPS 14924 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8443.924
AT ITER 4334 NEW BEST:: SOT 43109 SOS 14894 HAS SOPS 14894 HAS SOUS 8411 HAS SOUPS 8411 WITH SCORE 8425.894
AT ITER 4346 NEW BEST:: SOT 43110 SOS 14893 HAS SOPS 14893 HAS SOUS 8410 HAS SOUPS 8410 WITH SCORE 8424.893
AT ITER 4373 NEW BEST:: SOT 43102 SOS 14885 HAS SOPS 14885 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8416.885
AT ITER 4376 NEW BEST:: SOT 43096 SOS 14873 HAS SOPS 14873 HAS SOUS 8387 HAS SOUPS 8387 WITH SCORE 8401.873
AT ITER 4407 NEW BEST:: SOT 43098 SOS 14472 HAS SOPS 14472 HAS SOUS 8375 HAS SOUPS 8375 WITH SCORE 8389.472
AT ITER 4411 NEW BEST:: SOT 43077 SOS 14448 HAS SOPS 14448 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8365.448
AT ITER 4435 NEW BEST:: SOT 43077 SOS 14445 HAS SOPS 14445 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8362.445
AT ITER 4504 NEW BEST:: SOT 43077 SOS 14429 HAS SOPS 14429 HAS SOUS 8348 HAS SOUPS 8348 WITH SCORE 8362.429
AT ITER 4511 NEW BEST:: SOT 43057 SOS 14389 HAS SOPS 14389 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8322.389
AT ITER 4519 NEW BEST:: SOT 43038 SOS 14362 HAS SOPS 14362 HAS SOUS 8270 HAS SOUPS 8270 WITH SCORE 8284.362
AT ITER 4530 NEW BEST:: SOT 43030 SOS 14359 HAS SOPS 14359 HAS SOUS 8267 HAS SOUPS 8267 WITH SCORE 8281.359
AT ITER 4577 NEW BEST:: SOT 43030 SOS 14373 HAS SOPS 14373 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8273.373
AT ITER 4625 NEW BEST:: SOT 43030 SOS 14372 HAS SOPS 14372 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8273.372
AT ITER 4685 NEW BEST:: SOT 43021 SOS 14363 HAS SOPS 14363 HAS SOUS 8259 HAS SOUPS 8259 WITH SCORE 8273.363
AT ITER 4692 NEW BEST:: SOT 43035 SOS 14375 HAS SOPS 14375 HAS SOUS 8257 HAS SOUPS 8257 WITH SCORE 8271.375
AT ITER 4703 NEW BEST:: SOT 43034 SOS 14373 HAS SOPS 14373 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8268.373
AT ITER 4828 NEW BEST:: SOT 43031 SOS 14348 HAS SOPS 14348 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8262.348
AT ITER 4870 NEW BEST:: SOT 43013 SOS 14312 HAS SOPS 14312 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8226.312
AT ITER 4932 NEW BEST:: SOT 43011 SOS 14308 HAS SOPS 14308 HAS SOUS 8208 HAS SOUPS 8208 WITH SCORE 8222.308
AT ITER 4975 NEW BEST:: SOT 43011 SOS 14307 HAS SOPS 14307 HAS SOUS 8207 HAS SOUPS 8207 WITH SCORE 8221.307
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-00 (AG( potential( (tk(P264)) <= (tk(P2)) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-01 (EG( potential( (tk(P34)) <= (tk(P34)) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-02 (AF((! ( ( potential( ( 1 ) <= (tk(P66)) ) & potential( (tk(P119)) <= (tk(P234)) ) ) | ( potential( (tk(P113)) <= (tk(P70)) ) & potential( (tk(P224)) <= (tk(P132)) ) ) ))))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-03 (EU( (AG( potential( (tk(P86)) <= (tk(P89)) ))),( (! potential( (tk(P260)) <= (tk(P228)) )) | (! potential( (tk(P91)) <= (tk(P186)) )) ) ))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-04 (AF((AX( ( potential( ( 2 ) <= (tk(P4)) ) & potential( (tk(P129)) <= (tk(P57)) ) )))))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-05 (AG( (EU( potential( ( 2 ) <= (tk(P7)) ),potential( (tk(P32)) <= (tk(P211)) ) ))))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-06 (! ( ( ( (! potential( ( 2 ) <= (tk(P258)) )) | ( potential( (tk(P175)) <= (tk(P188)) ) | potential( (tk(P109)) <= (tk(P109)) ) ) ) & (EF(potential( ( 1 ) <= (tk(P53)) ))) ) | (AF(( potential( ( 2 ) <= (tk(P201)) ) & potential( ( 2 ) <= (tk(P208)) ) ))) ))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-07 (EX( ( (AG( potential( ( 1 ) <= (tk(P24)) ))) | (AF(potential( ( 2 ) <= (tk(P23)) ))) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-08 (! (EF(( ( potential( ( 2 ) <= (tk(P62)) ) & potential( (tk(P164)) <= (tk(P167)) ) ) & ( potential( (tk(P236)) <= (tk(P51)) ) & potential( (tk(P79)) <= (tk(P9)) ) ) ))))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-09 (EX( (EU( potential( (tk(P80)) <= (tk(P76)) ),potential( ( 2 ) <= (tk(P129)) ) ))))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-10 ( (EU( ( potential( (tk(P63)) <= (tk(P241)) ) & potential( ( 1 ) <= (tk(P47)) ) ),(! potential( (tk(P253)) <= (tk(P187)) )) )) | ( (EF(( potential( (tk(P172)) <= (tk(P83)) ) & potential( ( 3 ) <= (tk(P162)) ) ))) & (AF((! potential( ( 3 ) <= (tk(P215)) )))) ) )
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-11 (EU( (AF(potential( ( 1 ) <= (tk(P154)) ))),(EG( potential( (tk(P67)) <= (tk(P115)) ))) ))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-12 (AX( ( (AF(potential( ( 3 ) <= (tk(P210)) ))) & ( ( potential( ( 1 ) <= (tk(P240)) ) | potential( (tk(P7)) <= (tk(P172)) ) ) | (! potential( ( 3 ) <= (tk(P69)) )) ) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-13 (! (AU( (! potential( ( 3 ) <= (tk(P32)) )),potential( ( 2 ) <= (tk(P24)) ) )))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-14 (EG( (EG( potential( (tk(P231)) <= (tk(P9)) )))))
PROPERTY: DiscoveryGPU-PT-09b-CTLCardinality-15 ( (! (AX( ( potential( (tk(P259)) <= (tk(P120)) ) | potential( ( 2 ) <= (tk(P202)) ) )))) | ( ( (EX( potential( ( 2 ) <= (tk(P246)) ))) | (EF(potential( ( 1 ) <= (tk(P13)) ))) ) | (! (AX( potential( (tk(P221)) <= (tk(P115)) )))) ) )

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="DiscoveryGPU-PT-09b"
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 DiscoveryGPU-PT-09b, 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-158922807800643"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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