Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508600467.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 AutoFlight-PT-12a, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508600467
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 276K
-rw-r--r-- 1 mcc users 4.7K Mar 25 23:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Mar 25 23:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 18:35 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 18:35 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.2K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 15:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 10:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 25 10:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 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 85K 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 AutoFlight-PT-12a-CTLCardinality-00
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-01
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-02
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-03
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-04
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-05
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-06
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-07
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-08
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-09
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-10
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-11
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-12
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-13
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-14
FORMULA_NAME AutoFlight-PT-12a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589165445999

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running AutoFlight (PT), instance 12a
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: 307 places, 305 transitions, 980 arcs.
AT ITER 0 NEW BEST:: SOT 71679 SOS 47340 HAS SOPS 47340 HAS SOUS 33153 HAS SOUPS 33153 WITH SCORE 33200.34
AT ITER 2 NEW BEST:: SOT 71385 SOS 47078 HAS SOPS 47078 HAS SOUS 32989 HAS SOUPS 32989 WITH SCORE 33036.078
AT ITER 4 NEW BEST:: SOT 70621 SOS 46416 HAS SOPS 46416 HAS SOUS 32645 HAS SOUPS 32645 WITH SCORE 32691.416
AT ITER 5 NEW BEST:: SOT 69706 SOS 45111 HAS SOPS 45111 HAS SOUS 31880 HAS SOUPS 31880 WITH SCORE 31925.111
AT ITER 7 NEW BEST:: SOT 69706 SOS 44970 HAS SOPS 44970 HAS SOUS 31833 HAS SOUPS 31833 WITH SCORE 31877.97
AT ITER 11 NEW BEST:: SOT 69692 SOS 44956 HAS SOPS 44956 HAS SOUS 31819 HAS SOUPS 31819 WITH SCORE 31863.956
AT ITER 12 NEW BEST:: SOT 69534 SOS 44952 HAS SOPS 44798 HAS SOUS 31725 HAS SOUPS 31661 WITH SCORE 31705.952
AT ITER 13 NEW BEST:: SOT 69534 SOS 45142 HAS SOPS 44480 HAS SOUS 31661 HAS SOUPS 31470 WITH SCORE 31515.142
AT ITER 15 NEW BEST:: SOT 69534 SOS 45024 HAS SOPS 44362 HAS SOUS 31661 HAS SOUPS 31470 WITH SCORE 31515.024
AT ITER 16 NEW BEST:: SOT 68542 SOS 43640 HAS SOPS 42978 HAS SOUS 30779 HAS SOUPS 30588 WITH SCORE 30631.64
AT ITER 19 NEW BEST:: SOT 68542 SOS 43577 HAS SOPS 42915 HAS SOUS 30737 HAS SOUPS 30546 WITH SCORE 30589.577
AT ITER 20 NEW BEST:: SOT 67651 SOS 42445 HAS SOPS 41783 HAS SOUS 30030 HAS SOUPS 29839 WITH SCORE 29881.445
AT ITER 28 NEW BEST:: SOT 67651 SOS 42445 HAS SOPS 41782 HAS SOUS 29987 HAS SOUPS 29795 WITH SCORE 29837.445
AT ITER 29 NEW BEST:: SOT 67729 SOS 42523 HAS SOPS 41860 HAS SOUS 29979 HAS SOUPS 29787 WITH SCORE 29829.523
AT ITER 30 NEW BEST:: SOT 67667 SOS 42464 HAS SOPS 41797 HAS SOUS 29920 HAS SOUPS 29724 WITH SCORE 29766.464
AT ITER 32 NEW BEST:: SOT 67270 SOS 42067 HAS SOPS 41400 HAS SOUS 29657 HAS SOUPS 29461 WITH SCORE 29503.067
AT ITER 33 NEW BEST:: SOT 67222 SOS 42019 HAS SOPS 41352 HAS SOUS 29609 HAS SOUPS 29413 WITH SCORE 29455.019
AT ITER 38 NEW BEST:: SOT 67238 SOS 41528 HAS SOPS 40861 HAS SOUS 29441 HAS SOUPS 29245 WITH SCORE 29286.528
AT ITER 43 NEW BEST:: SOT 67084 SOS 41438 HAS SOPS 40165 HAS SOUS 29113 HAS SOUPS 28740 WITH SCORE 28781.438
AT ITER 50 NEW BEST:: SOT 66818 SOS 41428 HAS SOPS 40155 HAS SOUS 29103 HAS SOUPS 28730 WITH SCORE 28771.428
AT ITER 53 NEW BEST:: SOT 66327 SOS 40937 HAS SOPS 39664 HAS SOUS 28702 HAS SOUPS 28329 WITH SCORE 28369.937
AT ITER 54 NEW BEST:: SOT 66205 SOS 41125 HAS SOPS 39542 HAS SOUS 28683 HAS SOUPS 28207 WITH SCORE 28248.125
AT ITER 55 NEW BEST:: SOT 65470 SOS 40390 HAS SOPS 38807 HAS SOUS 28244 HAS SOUPS 27768 WITH SCORE 27808.39
AT ITER 56 NEW BEST:: SOT 65470 SOS 40119 HAS SOPS 38536 HAS SOUS 28104 HAS SOUPS 27628 WITH SCORE 27668.119
AT ITER 65 NEW BEST:: SOT 65408 SOS 39669 HAS SOPS 38086 HAS SOUS 28066 HAS SOUPS 27590 WITH SCORE 27629.669
AT ITER 68 NEW BEST:: SOT 65306 SOS 39605 HAS SOPS 38023 HAS SOUS 28045 HAS SOUPS 27570 WITH SCORE 27609.605
AT ITER 69 NEW BEST:: SOT 65306 SOS 39485 HAS SOPS 37903 HAS SOUS 28045 HAS SOUPS 27570 WITH SCORE 27609.485
AT ITER 73 NEW BEST:: SOT 65387 SOS 40041 HAS SOPS 37801 HAS SOUS 28133 HAS SOUPS 27468 WITH SCORE 27508.041
AT ITER 75 NEW BEST:: SOT 65414 SOS 39908 HAS SOPS 37668 HAS SOUS 28056 HAS SOUPS 27391 WITH SCORE 27430.908
AT ITER 76 NEW BEST:: SOT 65354 SOS 39872 HAS SOPS 37632 HAS SOUS 28004 HAS SOUPS 27339 WITH SCORE 27378.872
AT ITER 81 NEW BEST:: SOT 65196 SOS 39814 HAS SOPS 37574 HAS SOUS 27966 HAS SOUPS 27301 WITH SCORE 27340.814
AT ITER 82 NEW BEST:: SOT 65137 SOS 39558 HAS SOPS 37318 HAS SOUS 27806 HAS SOUPS 27141 WITH SCORE 27180.558
AT ITER 85 NEW BEST:: SOT 65065 SOS 39660 HAS SOPS 36898 HAS SOUS 27627 HAS SOUPS 26806 WITH SCORE 26845.66
AT ITER 86 NEW BEST:: SOT 65011 SOS 39562 HAS SOPS 36800 HAS SOUS 27565 HAS SOUPS 26744 WITH SCORE 26783.562
AT ITER 87 NEW BEST:: SOT 65011 SOS 39286 HAS SOPS 36524 HAS SOUS 27393 HAS SOUPS 26572 WITH SCORE 26611.286
AT ITER 95 NEW BEST:: SOT 65011 SOS 39148 HAS SOPS 36386 HAS SOUS 27320 HAS SOUPS 26499 WITH SCORE 26538.148
AT ITER 98 NEW BEST:: SOT 64413 SOS 38550 HAS SOPS 35788 HAS SOUS 26972 HAS SOUPS 26151 WITH SCORE 26189.55
AT ITER 99 NEW BEST:: SOT 64353 SOS 38490 HAS SOPS 35728 HAS SOUS 26972 HAS SOUPS 26151 WITH SCORE 26189.49
AT ITER 103 NEW BEST:: SOT 64353 SOS 38490 HAS SOPS 35728 HAS SOUS 26971 HAS SOUPS 26150 WITH SCORE 26188.49
AT ITER 104 NEW BEST:: SOT 64351 SOS 38488 HAS SOPS 35726 HAS SOUS 26969 HAS SOUPS 26148 WITH SCORE 26186.488
AT ITER 110 NEW BEST:: SOT 64038 SOS 38187 HAS SOPS 35425 HAS SOUS 26705 HAS SOUPS 25884 WITH SCORE 25922.187
AT ITER 114 NEW BEST:: SOT 63450 SOS 37618 HAS SOPS 34856 HAS SOUS 26508 HAS SOUPS 25687 WITH SCORE 25724.618
AT ITER 116 NEW BEST:: SOT 63064 SOS 37235 HAS SOPS 34473 HAS SOUS 26315 HAS SOUPS 25494 WITH SCORE 25531.235
AT ITER 117 NEW BEST:: SOT 63235 SOS 37406 HAS SOPS 34644 HAS SOUS 26310 HAS SOUPS 25489 WITH SCORE 25526.406
AT ITER 119 NEW BEST:: SOT 63037 SOS 36706 HAS SOPS 33944 HAS SOUS 25827 HAS SOUPS 25006 WITH SCORE 25042.706
AT ITER 120 NEW BEST:: SOT 62811 SOS 36298 HAS SOPS 33536 HAS SOUS 25601 HAS SOUPS 24780 WITH SCORE 24816.298
AT ITER 124 NEW BEST:: SOT 62712 SOS 36199 HAS SOPS 33437 HAS SOUS 25502 HAS SOUPS 24681 WITH SCORE 24717.199
AT ITER 125 NEW BEST:: SOT 62712 SOS 36198 HAS SOPS 33436 HAS SOUS 25501 HAS SOUPS 24680 WITH SCORE 24716.198
AT ITER 126 NEW BEST:: SOT 62712 SOS 36088 HAS SOPS 33326 HAS SOUS 25501 HAS SOUPS 24680 WITH SCORE 24716.088
AT ITER 129 NEW BEST:: SOT 62748 SOS 36150 HAS SOPS 33314 HAS SOUS 25560 HAS SOUPS 24665 WITH SCORE 24701.15
AT ITER 131 NEW BEST:: SOT 62678 SOS 36083 HAS SOPS 33236 HAS SOUS 25427 HAS SOUPS 24521 WITH SCORE 24557.083
AT ITER 137 NEW BEST:: SOT 62681 SOS 35636 HAS SOPS 32789 HAS SOUS 25258 HAS SOUPS 24352 WITH SCORE 24387.636
AT ITER 140 NEW BEST:: SOT 62569 SOS 35524 HAS SOPS 32677 HAS SOUS 25179 HAS SOUPS 24273 WITH SCORE 24308.524
AT ITER 144 NEW BEST:: SOT 62569 SOS 33773 HAS SOPS 30926 HAS SOUS 25179 HAS SOUPS 24273 WITH SCORE 24306.773
AT ITER 149 NEW BEST:: SOT 62503 SOS 33748 HAS SOPS 30859 HAS SOUS 25139 HAS SOUPS 24206 WITH SCORE 24239.748
AT ITER 150 NEW BEST:: SOT 62260 SOS 33505 HAS SOPS 30616 HAS SOUS 25025 HAS SOUPS 24092 WITH SCORE 24125.505
AT ITER 151 NEW BEST:: SOT 62259 SOS 33199 HAS SOPS 30310 HAS SOUS 24842 HAS SOUPS 23909 WITH SCORE 23942.199
AT ITER 160 NEW BEST:: SOT 62101 SOS 33039 HAS SOPS 29992 HAS SOUS 24669 HAS SOUPS 23671 WITH SCORE 23704.039
AT ITER 161 NEW BEST:: SOT 62020 SOS 32822 HAS SOPS 29741 HAS SOUS 24452 HAS SOUPS 23420 WITH SCORE 23452.822
AT ITER 162 NEW BEST:: SOT 62020 SOS 32821 HAS SOPS 29740 HAS SOUS 24451 HAS SOUPS 23419 WITH SCORE 23451.821
AT ITER 164 NEW BEST:: SOT 62011 SOS 32812 HAS SOPS 29731 HAS SOUS 24445 HAS SOUPS 23413 WITH SCORE 23445.812
AT ITER 167 NEW BEST:: SOT 61993 SOS 32776 HAS SOPS 29695 HAS SOUS 24445 HAS SOUPS 23413 WITH SCORE 23445.776
AT ITER 172 NEW BEST:: SOT 61843 SOS 32726 HAS SOPS 29645 HAS SOUS 24345 HAS SOUPS 23313 WITH SCORE 23345.726
AT ITER 173 NEW BEST:: SOT 61818 SOS 32379 HAS SOPS 29298 HAS SOUS 24329 HAS SOUPS 23297 WITH SCORE 23329.379
AT ITER 179 NEW BEST:: SOT 61657 SOS 32218 HAS SOPS 29137 HAS SOUS 24295 HAS SOUPS 23263 WITH SCORE 23295.218
AT ITER 183 NEW BEST:: SOT 60840 SOS 31401 HAS SOPS 28320 HAS SOUS 23776 HAS SOUPS 22744 WITH SCORE 22775.401
AT ITER 184 NEW BEST:: SOT 60840 SOS 31350 HAS SOPS 28269 HAS SOUS 23725 HAS SOUPS 22693 WITH SCORE 22724.35
AT ITER 188 NEW BEST:: SOT 60840 SOS 30997 HAS SOPS 27916 HAS SOUS 23675 HAS SOUPS 22643 WITH SCORE 22673.997
AT ITER 194 NEW BEST:: SOT 60840 SOS 30839 HAS SOPS 27758 HAS SOUS 23602 HAS SOUPS 22570 WITH SCORE 22600.839
AT ITER 196 NEW BEST:: SOT 60993 SOS 30567 HAS SOPS 27486 HAS SOUS 23423 HAS SOUPS 22391 WITH SCORE 22421.567
AT ITER 199 NEW BEST:: SOT 60970 SOS 30644 HAS SOPS 27098 HAS SOUS 23285 HAS SOUPS 22128 WITH SCORE 22158.644
AT ITER 204 NEW BEST:: SOT 60830 SOS 30485 HAS SOPS 27009 HAS SOUS 23162 HAS SOUPS 22075 WITH SCORE 22105.485
AT ITER 207 NEW BEST:: SOT 60830 SOS 30468 HAS SOPS 26992 HAS SOUS 23145 HAS SOUPS 22058 WITH SCORE 22088.468
AT ITER 217 NEW BEST:: SOT 60814 SOS 30440 HAS SOPS 26964 HAS SOUS 23129 HAS SOUPS 22042 WITH SCORE 22072.44
AT ITER 232 NEW BEST:: SOT 60698 SOS 30323 HAS SOPS 26847 HAS SOUS 23071 HAS SOUPS 21984 WITH SCORE 22014.323
AT ITER 234 NEW BEST:: SOT 60698 SOS 30219 HAS SOPS 26743 HAS SOUS 23071 HAS SOUPS 21984 WITH SCORE 22014.219
AT ITER 244 NEW BEST:: SOT 60698 SOS 29836 HAS SOPS 26743 HAS SOUS 23033 HAS SOUPS 21984 WITH SCORE 22013.836
AT ITER 248 NEW BEST:: SOT 60698 SOS 29835 HAS SOPS 26742 HAS SOUS 23033 HAS SOUPS 21984 WITH SCORE 22013.835
AT ITER 251 NEW BEST:: SOT 60623 SOS 29759 HAS SOPS 26666 HAS SOUS 22957 HAS SOUPS 21908 WITH SCORE 21937.759
AT ITER 253 NEW BEST:: SOT 60554 SOS 29505 HAS SOPS 26412 HAS SOUS 22860 HAS SOUPS 21811 WITH SCORE 21840.505
AT ITER 255 NEW BEST:: SOT 60546 SOS 29497 HAS SOPS 26404 HAS SOUS 22852 HAS SOUPS 21803 WITH SCORE 21832.497
AT ITER 259 NEW BEST:: SOT 60317 SOS 29192 HAS SOPS 26099 HAS SOUS 22662 HAS SOUPS 21613 WITH SCORE 21642.192
AT ITER 262 NEW BEST:: SOT 60206 SOS 29080 HAS SOPS 25987 HAS SOUS 22652 HAS SOUPS 21603 WITH SCORE 21632.08
AT ITER 267 NEW BEST:: SOT 60206 SOS 29079 HAS SOPS 25986 HAS SOUS 22651 HAS SOUPS 21602 WITH SCORE 21631.079
AT ITER 270 NEW BEST:: SOT 60206 SOS 29066 HAS SOPS 25973 HAS SOUS 22650 HAS SOUPS 21601 WITH SCORE 21630.066
AT ITER 271 NEW BEST:: SOT 60065 SOS 28925 HAS SOPS 25832 HAS SOUS 22556 HAS SOUPS 21507 WITH SCORE 21535.925
AT ITER 274 NEW BEST:: SOT 60021 SOS 28908 HAS SOPS 25815 HAS SOUS 22551 HAS SOUPS 21502 WITH SCORE 21530.908
AT ITER 279 NEW BEST:: SOT 60021 SOS 28906 HAS SOPS 25813 HAS SOUS 22551 HAS SOUPS 21502 WITH SCORE 21530.906
AT ITER 281 NEW BEST:: SOT 59996 SOS 28509 HAS SOPS 25416 HAS SOUS 22357 HAS SOUPS 21308 WITH SCORE 21336.509
AT ITER 282 NEW BEST:: SOT 60003 SOS 28345 HAS SOPS 25252 HAS SOUS 22126 HAS SOUPS 21077 WITH SCORE 21105.345
AT ITER 285 NEW BEST:: SOT 59933 SOS 28408 HAS SOPS 24840 HAS SOUS 21996 HAS SOUPS 20806 WITH SCORE 20834.408
AT ITER 290 NEW BEST:: SOT 59946 SOS 28290 HAS SOPS 24721 HAS SOUS 21878 HAS SOUPS 20687 WITH SCORE 20715.29
AT ITER 301 NEW BEST:: SOT 59946 SOS 28267 HAS SOPS 24698 HAS SOUS 21855 HAS SOUPS 20664 WITH SCORE 20692.267
AT ITER 306 NEW BEST:: SOT 59943 SOS 28264 HAS SOPS 24695 HAS SOUS 21852 HAS SOUPS 20661 WITH SCORE 20689.264
AT ITER 308 NEW BEST:: SOT 59871 SOS 27877 HAS SOPS 24441 HAS SOUS 21712 HAS SOUPS 20534 WITH SCORE 20561.877
AT ITER 312 NEW BEST:: SOT 59782 SOS 27783 HAS SOPS 24310 HAS SOUS 21589 HAS SOUPS 20374 WITH SCORE 20401.783
AT ITER 323 NEW BEST:: SOT 59962 SOS 27955 HAS SOPS 24482 HAS SOUS 21562 HAS SOUPS 20347 WITH SCORE 20374.955
AT ITER 324 NEW BEST:: SOT 59911 SOS 28022 HAS SOPS 24338 HAS SOUS 21497 HAS SOUPS 20203 WITH SCORE 20231.022
AT ITER 326 NEW BEST:: SOT 59877 SOS 28021 HAS SOPS 24337 HAS SOUS 21496 HAS SOUPS 20202 WITH SCORE 20230.021
AT ITER 328 NEW BEST:: SOT 59917 SOS 27951 HAS SOPS 24267 HAS SOUS 21454 HAS SOUPS 20160 WITH SCORE 20187.951
AT ITER 329 NEW BEST:: SOT 60004 SOS 27754 HAS SOPS 24070 HAS SOUS 21335 HAS SOUPS 20041 WITH SCORE 20068.754
AT ITER 330 NEW BEST:: SOT 60004 SOS 27723 HAS SOPS 24008 HAS SOUS 21335 HAS SOUPS 20010 WITH SCORE 20037.723
AT ITER 333 NEW BEST:: SOT 60004 SOS 27760 HAS SOPS 23969 HAS SOUS 21334 HAS SOUPS 19990 WITH SCORE 20017.76
AT ITER 334 NEW BEST:: SOT 59994 SOS 27750 HAS SOPS 23959 HAS SOUS 21305 HAS SOUPS 19961 WITH SCORE 19988.75
AT ITER 335 NEW BEST:: SOT 59875 SOS 27793 HAS SOPS 24002 HAS SOUS 21284 HAS SOUPS 19940 WITH SCORE 19967.793
AT ITER 340 NEW BEST:: SOT 59895 SOS 27809 HAS SOPS 24018 HAS SOUS 21278 HAS SOUPS 19934 WITH SCORE 19961.809
AT ITER 343 NEW BEST:: SOT 59878 SOS 27792 HAS SOPS 24001 HAS SOUS 21261 HAS SOUPS 19917 WITH SCORE 19944.792
AT ITER 355 NEW BEST:: SOT 59863 SOS 27732 HAS SOPS 23941 HAS SOUS 21211 HAS SOUPS 19867 WITH SCORE 19894.732
AT ITER 357 NEW BEST:: SOT 59836 SOS 27681 HAS SOPS 23890 HAS SOUS 21184 HAS SOUPS 19840 WITH SCORE 19867.681
AT ITER 358 NEW BEST:: SOT 59836 SOS 27627 HAS SOPS 23836 HAS SOUS 21130 HAS SOUPS 19786 WITH SCORE 19813.627
AT ITER 359 NEW BEST:: SOT 59614 SOS 27405 HAS SOPS 23614 HAS SOUS 21060 HAS SOUPS 19716 WITH SCORE 19743.405
AT ITER 360 NEW BEST:: SOT 59195 SOS 27379 HAS SOPS 23588 HAS SOUS 21026 HAS SOUPS 19682 WITH SCORE 19709.379
AT ITER 364 NEW BEST:: SOT 59194 SOS 27377 HAS SOPS 23586 HAS SOUS 21024 HAS SOUPS 19680 WITH SCORE 19707.377
AT ITER 365 NEW BEST:: SOT 59150 SOS 27333 HAS SOPS 23542 HAS SOUS 20998 HAS SOUPS 19654 WITH SCORE 19681.333
AT ITER 379 NEW BEST:: SOT 59150 SOS 27281 HAS SOPS 23490 HAS SOUS 20946 HAS SOUPS 19602 WITH SCORE 19629.281
AT ITER 386 NEW BEST:: SOT 59104 SOS 27560 HAS SOPS 23396 HAS SOUS 21000 HAS SOUPS 19508 WITH SCORE 19535.56
AT ITER 387 NEW BEST:: SOT 59101 SOS 27557 HAS SOPS 23390 HAS SOUS 20997 HAS SOUPS 19502 WITH SCORE 19529.557
AT ITER 392 NEW BEST:: SOT 59093 SOS 27549 HAS SOPS 23382 HAS SOUS 20989 HAS SOUPS 19494 WITH SCORE 19521.549
AT ITER 394 NEW BEST:: SOT 59080 SOS 27535 HAS SOPS 23368 HAS SOUS 20975 HAS SOUPS 19480 WITH SCORE 19507.535
AT ITER 395 NEW BEST:: SOT 59080 SOS 27855 HAS SOPS 23248 HAS SOUS 20965 HAS SOUPS 19360 WITH SCORE 19387.855
AT ITER 399 NEW BEST:: SOT 59080 SOS 27518 HAS SOPS 22911 HAS SOUS 20780 HAS SOUPS 19175 WITH SCORE 19202.518
AT ITER 403 NEW BEST:: SOT 59098 SOS 27145 HAS SOPS 22538 HAS SOUS 20561 HAS SOUPS 18956 WITH SCORE 18983.145
AT ITER 408 NEW BEST:: SOT 59276 SOS 27009 HAS SOPS 22402 HAS SOUS 20522 HAS SOUPS 18917 WITH SCORE 18944.009
AT ITER 410 NEW BEST:: SOT 59276 SOS 27009 HAS SOPS 22372 HAS SOUS 20522 HAS SOUPS 18887 WITH SCORE 18914.009
AT ITER 417 NEW BEST:: SOT 59275 SOS 26937 HAS SOPS 22300 HAS SOUS 20484 HAS SOUPS 18849 WITH SCORE 18875.937
AT ITER 418 NEW BEST:: SOT 59274 SOS 26835 HAS SOPS 22298 HAS SOUS 20482 HAS SOUPS 18847 WITH SCORE 18873.835
AT ITER 422 NEW BEST:: SOT 59293 SOS 26777 HAS SOPS 22240 HAS SOUS 20424 HAS SOUPS 18789 WITH SCORE 18815.777
AT ITER 426 NEW BEST:: SOT 59293 SOS 26618 HAS SOPS 22081 HAS SOUS 20368 HAS SOUPS 18733 WITH SCORE 18759.618
AT ITER 437 NEW BEST:: SOT 59293 SOS 26588 HAS SOPS 22006 HAS SOUS 20338 HAS SOUPS 18658 WITH SCORE 18684.588
AT ITER 441 NEW BEST:: SOT 59193 SOS 26190 HAS SOPS 21608 HAS SOUS 19936 HAS SOUPS 18256 WITH SCORE 18282.19
AT ITER 445 NEW BEST:: SOT 59193 SOS 26262 HAS SOPS 21536 HAS SOUS 19936 HAS SOUPS 18220 WITH SCORE 18246.262
AT ITER 446 NEW BEST:: SOT 59109 SOS 26196 HAS SOPS 21470 HAS SOUS 19906 HAS SOUPS 18190 WITH SCORE 18216.196
AT ITER 449 NEW BEST:: SOT 59055 SOS 26142 HAS SOPS 21416 HAS SOUS 19852 HAS SOUPS 18136 WITH SCORE 18162.142
AT ITER 451 NEW BEST:: SOT 58785 SOS 26155 HAS SOPS 21429 HAS SOUS 19814 HAS SOUPS 18098 WITH SCORE 18124.155
AT ITER 452 NEW BEST:: SOT 58695 SOS 26070 HAS SOPS 21344 HAS SOUS 19729 HAS SOUPS 18013 WITH SCORE 18039.07
AT ITER 454 NEW BEST:: SOT 58695 SOS 25680 HAS SOPS 21212 HAS SOUS 19729 HAS SOUPS 18013 WITH SCORE 18038.68
AT ITER 463 NEW BEST:: SOT 58688 SOS 25673 HAS SOPS 21205 HAS SOUS 19722 HAS SOUPS 18006 WITH SCORE 18031.673
AT ITER 467 NEW BEST:: SOT 58688 SOS 25655 HAS SOPS 21187 HAS SOUS 19710 HAS SOUPS 17994 WITH SCORE 18019.655
AT ITER 468 NEW BEST:: SOT 58575 SOS 25542 HAS SOPS 21178 HAS SOUS 19701 HAS SOUPS 17985 WITH SCORE 18010.542
AT ITER 483 NEW BEST:: SOT 58583 SOS 25511 HAS SOPS 21147 HAS SOUS 19670 HAS SOUPS 17954 WITH SCORE 17979.511
AT ITER 486 NEW BEST:: SOT 58582 SOS 25510 HAS SOPS 21145 HAS SOUS 19668 HAS SOUPS 17952 WITH SCORE 17977.51
AT ITER 497 NEW BEST:: SOT 58582 SOS 25503 HAS SOPS 21138 HAS SOUS 19661 HAS SOUPS 17945 WITH SCORE 17970.503
AT ITER 501 NEW BEST:: SOT 58587 SOS 25492 HAS SOPS 21127 HAS SOUS 19650 HAS SOUPS 17934 WITH SCORE 17959.492
AT ITER 508 NEW BEST:: SOT 58534 SOS 25347 HAS SOPS 20982 HAS SOUS 19447 HAS SOUPS 17731 WITH SCORE 17756.347
AT ITER 519 NEW BEST:: SOT 58531 SOS 25344 HAS SOPS 20979 HAS SOUS 19444 HAS SOUPS 17728 WITH SCORE 17753.344
AT ITER 527 NEW BEST:: SOT 58537 SOS 25452 HAS SOPS 21087 HAS SOUS 19442 HAS SOUPS 17726 WITH SCORE 17751.452
AT ITER 544 NEW BEST:: SOT 58454 SOS 25353 HAS SOPS 21031 HAS SOUS 19343 HAS SOUPS 17670 WITH SCORE 17695.353
AT ITER 546 NEW BEST:: SOT 58410 SOS 25312 HAS SOPS 20943 HAS SOUS 19282 HAS SOUPS 17579 WITH SCORE 17604.312
AT ITER 550 NEW BEST:: SOT 58388 SOS 25289 HAS SOPS 20920 HAS SOUS 19259 HAS SOUPS 17556 WITH SCORE 17581.289
AT ITER 562 NEW BEST:: SOT 58388 SOS 25279 HAS SOPS 20910 HAS SOUS 19258 HAS SOUPS 17555 WITH SCORE 17580.279
AT ITER 564 NEW BEST:: SOT 58388 SOS 25265 HAS SOPS 20896 HAS SOUS 19258 HAS SOUPS 17555 WITH SCORE 17580.265
AT ITER 565 NEW BEST:: SOT 58388 SOS 25256 HAS SOPS 20896 HAS SOUS 19287 HAS SOUPS 17555 WITH SCORE 17580.256
AT ITER 572 NEW BEST:: SOT 58388 SOS 25246 HAS SOPS 20886 HAS SOUS 19281 HAS SOUPS 17549 WITH SCORE 17574.246
AT ITER 575 NEW BEST:: SOT 58387 SOS 25140 HAS SOPS 20849 HAS SOUS 19279 HAS SOUPS 17547 WITH SCORE 17572.14
AT ITER 577 NEW BEST:: SOT 58388 SOS 25162 HAS SOPS 20797 HAS SOUS 19254 HAS SOUPS 17495 WITH SCORE 17520.162
AT ITER 579 NEW BEST:: SOT 58320 SOS 24997 HAS SOPS 20632 HAS SOUS 19089 HAS SOUPS 17330 WITH SCORE 17354.997
AT ITER 582 NEW BEST:: SOT 58319 SOS 24996 HAS SOPS 20631 HAS SOUS 19088 HAS SOUPS 17329 WITH SCORE 17353.996
AT ITER 586 NEW BEST:: SOT 58319 SOS 24903 HAS SOPS 20538 HAS SOUS 19052 HAS SOUPS 17293 WITH SCORE 17317.903
AT ITER 597 NEW BEST:: SOT 58319 SOS 24845 HAS SOPS 20480 HAS SOUS 18994 HAS SOUPS 17235 WITH SCORE 17259.845
AT ITER 602 NEW BEST:: SOT 58325 SOS 24940 HAS SOPS 20460 HAS SOUS 19014 HAS SOUPS 17215 WITH SCORE 17239.94
AT ITER 603 NEW BEST:: SOT 58324 SOS 24939 HAS SOPS 20458 HAS SOUS 19012 HAS SOUPS 17213 WITH SCORE 17237.939
AT ITER 605 NEW BEST:: SOT 58370 SOS 24974 HAS SOPS 20392 HAS SOUS 18946 HAS SOUPS 17147 WITH SCORE 17171.974
AT ITER 606 NEW BEST:: SOT 58235 SOS 24853 HAS SOPS 20271 HAS SOUS 18944 HAS SOUPS 17145 WITH SCORE 17169.853
AT ITER 607 NEW BEST:: SOT 58172 SOS 24793 HAS SOPS 20211 HAS SOUS 18824 HAS SOUPS 17025 WITH SCORE 17049.793
AT ITER 611 NEW BEST:: SOT 58229 SOS 24850 HAS SOPS 20268 HAS SOUS 18808 HAS SOUPS 17009 WITH SCORE 17033.85
AT ITER 617 NEW BEST:: SOT 57998 SOS 24705 HAS SOPS 20184 HAS SOUS 18663 HAS SOUPS 16925 WITH SCORE 16949.705
AT ITER 621 NEW BEST:: SOT 57998 SOS 24701 HAS SOPS 20180 HAS SOUS 18659 HAS SOUPS 16921 WITH SCORE 16945.701
AT ITER 628 NEW BEST:: SOT 57824 SOS 24454 HAS SOPS 19933 HAS SOUS 18505 HAS SOUPS 16767 WITH SCORE 16791.454
AT ITER 645 NEW BEST:: SOT 57803 SOS 24411 HAS SOPS 19890 HAS SOUS 18474 HAS SOUPS 16736 WITH SCORE 16760.411
AT ITER 647 NEW BEST:: SOT 57797 SOS 24405 HAS SOPS 19878 HAS SOUS 18456 HAS SOUPS 16724 WITH SCORE 16748.405
AT ITER 648 NEW BEST:: SOT 57489 SOS 24135 HAS SOPS 19608 HAS SOUS 18321 HAS SOUPS 16589 WITH SCORE 16613.135
AT ITER 652 NEW BEST:: SOT 57382 SOS 24002 HAS SOPS 19475 HAS SOUS 18241 HAS SOUPS 16509 WITH SCORE 16533.002
AT ITER 659 NEW BEST:: SOT 57330 SOS 23945 HAS SOPS 19418 HAS SOUS 18168 HAS SOUPS 16436 WITH SCORE 16459.945
AT ITER 675 NEW BEST:: SOT 57234 SOS 23801 HAS SOPS 19274 HAS SOUS 18072 HAS SOUPS 16340 WITH SCORE 16363.801
AT ITER 677 NEW BEST:: SOT 57196 SOS 23796 HAS SOPS 19269 HAS SOUS 18069 HAS SOUPS 16337 WITH SCORE 16360.796
AT ITER 680 NEW BEST:: SOT 56997 SOS 23749 HAS SOPS 19222 HAS SOUS 18003 HAS SOUPS 16271 WITH SCORE 16294.749
AT ITER 686 NEW BEST:: SOT 56997 SOS 23670 HAS SOPS 19222 HAS SOUS 17991 HAS SOUPS 16271 WITH SCORE 16294.67
AT ITER 688 NEW BEST:: SOT 56963 SOS 23669 HAS SOPS 19221 HAS SOUS 17990 HAS SOUPS 16270 WITH SCORE 16293.669
AT ITER 693 NEW BEST:: SOT 56959 SOS 23665 HAS SOPS 19217 HAS SOUS 17988 HAS SOUPS 16268 WITH SCORE 16291.665
AT ITER 696 NEW BEST:: SOT 57026 SOS 23643 HAS SOPS 19177 HAS SOUS 17956 HAS SOUPS 16218 WITH SCORE 16241.643
AT ITER 700 NEW BEST:: SOT 56999 SOS 23529 HAS SOPS 19082 HAS SOUS 17902 HAS SOUPS 16164 WITH SCORE 16187.529
AT ITER 701 NEW BEST:: SOT 56998 SOS 23528 HAS SOPS 19080 HAS SOUS 17900 HAS SOUPS 16162 WITH SCORE 16185.528
AT ITER 711 NEW BEST:: SOT 56959 SOS 23439 HAS SOPS 19041 HAS SOUS 17811 HAS SOUPS 16123 WITH SCORE 16146.439
AT ITER 713 NEW BEST:: SOT 56958 SOS 23397 HAS SOPS 19039 HAS SOUS 17809 HAS SOUPS 16121 WITH SCORE 16144.397
AT ITER 718 NEW BEST:: SOT 56928 SOS 23367 HAS SOPS 19009 HAS SOUS 17779 HAS SOUPS 16091 WITH SCORE 16114.367
AT ITER 719 NEW BEST:: SOT 56909 SOS 23310 HAS SOPS 18952 HAS SOUS 17741 HAS SOUPS 16053 WITH SCORE 16076.31
AT ITER 721 NEW BEST:: SOT 56897 SOS 23230 HAS SOPS 18895 HAS SOUS 17684 HAS SOUPS 16019 WITH SCORE 16042.23
AT ITER 726 NEW BEST:: SOT 56897 SOS 22915 HAS SOPS 18770 HAS SOUS 17682 HAS SOUPS 16019 WITH SCORE 16041.915
AT ITER 745 NEW BEST:: SOT 56897 SOS 22911 HAS SOPS 18766 HAS SOUS 17682 HAS SOUPS 16019 WITH SCORE 16041.911
AT ITER 752 NEW BEST:: SOT 56856 SOS 22840 HAS SOPS 18695 HAS SOUS 17654 HAS SOUPS 15991 WITH SCORE 16013.84
AT ITER 755 NEW BEST:: SOT 56856 SOS 22830 HAS SOPS 18685 HAS SOUS 17649 HAS SOUPS 15986 WITH SCORE 16008.83
AT ITER 762 NEW BEST:: SOT 56838 SOS 22779 HAS SOPS 18649 HAS SOUS 17613 HAS SOUPS 15950 WITH SCORE 15972.779
AT ITER 766 NEW BEST:: SOT 56786 SOS 22727 HAS SOPS 18545 HAS SOUS 17564 HAS SOUPS 15846 WITH SCORE 15868.727
AT ITER 771 NEW BEST:: SOT 56769 SOS 22675 HAS SOPS 18493 HAS SOUS 17512 HAS SOUPS 15794 WITH SCORE 15816.675
AT ITER 780 NEW BEST:: SOT 56769 SOS 22653 HAS SOPS 18471 HAS SOUS 17501 HAS SOUPS 15783 WITH SCORE 15805.653
AT ITER 785 NEW BEST:: SOT 56412 SOS 22584 HAS SOPS 18431 HAS SOUS 17472 HAS SOUPS 15783 WITH SCORE 15805.584
AT ITER 794 NEW BEST:: SOT 56412 SOS 22484 HAS SOPS 18331 HAS SOUS 17431 HAS SOUPS 15742 WITH SCORE 15764.484
AT ITER 810 NEW BEST:: SOT 56412 SOS 22436 HAS SOPS 18331 HAS SOUS 17431 HAS SOUPS 15742 WITH SCORE 15764.436
AT ITER 812 NEW BEST:: SOT 56285 SOS 22232 HAS SOPS 18127 HAS SOUS 17305 HAS SOUPS 15616 WITH SCORE 15638.232
AT ITER 814 NEW BEST:: SOT 56285 SOS 22227 HAS SOPS 18122 HAS SOUS 17300 HAS SOUPS 15611 WITH SCORE 15633.227
AT ITER 820 NEW BEST:: SOT 56296 SOS 22308 HAS SOPS 18203 HAS SOUS 17162 HAS SOUPS 15473 WITH SCORE 15495.308
AT ITER 839 NEW BEST:: SOT 56281 SOS 22295 HAS SOPS 18190 HAS SOUS 17154 HAS SOUPS 15465 WITH SCORE 15487.295
AT ITER 850 NEW BEST:: SOT 56280 SOS 22294 HAS SOPS 18189 HAS SOUS 17153 HAS SOUPS 15464 WITH SCORE 15486.294
AT ITER 853 NEW BEST:: SOT 56280 SOS 22290 HAS SOPS 18185 HAS SOUS 17149 HAS SOUPS 15460 WITH SCORE 15482.29
AT ITER 860 NEW BEST:: SOT 56246 SOS 22263 HAS SOPS 18158 HAS SOUS 17115 HAS SOUPS 15426 WITH SCORE 15448.263
AT ITER 866 NEW BEST:: SOT 56058 SOS 21804 HAS SOPS 17970 HAS SOUS 16927 HAS SOUPS 15309 WITH SCORE 15330.804
AT ITER 882 NEW BEST:: SOT 56049 SOS 21789 HAS SOPS 17955 HAS SOUS 16918 HAS SOUPS 15300 WITH SCORE 15321.789
AT ITER 896 NEW BEST:: SOT 55993 SOS 21721 HAS SOPS 17887 HAS SOUS 16874 HAS SOUPS 15256 WITH SCORE 15277.721
AT ITER 902 NEW BEST:: SOT 55963 SOS 21661 HAS SOPS 17827 HAS SOUS 16855 HAS SOUPS 15237 WITH SCORE 15258.661
AT ITER 917 NEW BEST:: SOT 55961 SOS 21659 HAS SOPS 17825 HAS SOUS 16853 HAS SOUPS 15235 WITH SCORE 15256.659
AT ITER 929 NEW BEST:: SOT 55920 SOS 21617 HAS SOPS 17743 HAS SOUS 16771 HAS SOUPS 15153 WITH SCORE 15174.617
AT ITER 947 NEW BEST:: SOT 55919 SOS 21574 HAS SOPS 17700 HAS SOUS 16759 HAS SOUPS 15141 WITH SCORE 15162.574
AT ITER 950 NEW BEST:: SOT 55935 SOS 21622 HAS SOPS 17716 HAS SOUS 16759 HAS SOUPS 15133 WITH SCORE 15154.622
AT ITER 951 NEW BEST:: SOT 55789 SOS 21450 HAS SOPS 17544 HAS SOUS 16606 HAS SOUPS 14980 WITH SCORE 15001.45
AT ITER 953 NEW BEST:: SOT 55789 SOS 21434 HAS SOPS 17528 HAS SOUS 16590 HAS SOUPS 14964 WITH SCORE 14985.434
AT ITER 954 NEW BEST:: SOT 55744 SOS 21389 HAS SOPS 17483 HAS SOUS 16590 HAS SOUPS 14964 WITH SCORE 14985.389
AT ITER 963 NEW BEST:: SOT 55708 SOS 21370 HAS SOPS 17464 HAS SOUS 16571 HAS SOUPS 14945 WITH SCORE 14966.37
AT ITER 965 NEW BEST:: SOT 55690 SOS 21316 HAS SOPS 17410 HAS SOUS 16553 HAS SOUPS 14927 WITH SCORE 14948.316
AT ITER 977 NEW BEST:: SOT 55690 SOS 21298 HAS SOPS 17374 HAS SOUS 16535 HAS SOUPS 14891 WITH SCORE 14912.298
AT ITER 982 NEW BEST:: SOT 55663 SOS 21271 HAS SOPS 17347 HAS SOUS 16508 HAS SOUPS 14864 WITH SCORE 14885.271
AT ITER 984 NEW BEST:: SOT 55305 SOS 20736 HAS SOPS 16812 HAS SOUS 16052 HAS SOUPS 14408 WITH SCORE 14428.736
AT ITER 991 NEW BEST:: SOT 55303 SOS 20655 HAS SOPS 16810 HAS SOUS 16050 HAS SOUPS 14406 WITH SCORE 14426.655
AT ITER 996 NEW BEST:: SOT 55237 SOS 20527 HAS SOPS 16682 HAS SOUS 15919 HAS SOUPS 14275 WITH SCORE 14295.527
AT ITER 1010 NEW BEST:: SOT 55221 SOS 20511 HAS SOPS 16666 HAS SOUS 15919 HAS SOUPS 14275 WITH SCORE 14295.511
AT ITER 1012 NEW BEST:: SOT 55111 SOS 20291 HAS SOPS 16446 HAS SOUS 15809 HAS SOUPS 14165 WITH SCORE 14185.291
AT ITER 1014 NEW BEST:: SOT 55110 SOS 20215 HAS SOPS 16419 HAS SOUS 15807 HAS SOUPS 14163 WITH SCORE 14183.215
AT ITER 1048 NEW BEST:: SOT 55012 SOS 20067 HAS SOPS 16271 HAS SOUS 15656 HAS SOUPS 14012 WITH SCORE 14032.067
AT ITER 1049 NEW BEST:: SOT 54802 SOS 19639 HAS SOPS 15843 HAS SOUS 15445 HAS SOUPS 13801 WITH SCORE 13820.639
AT ITER 1068 NEW BEST:: SOT 54770 SOS 19559 HAS SOPS 15763 HAS SOUS 15397 HAS SOUPS 13753 WITH SCORE 13772.559
AT ITER 1101 NEW BEST:: SOT 54717 SOS 19506 HAS SOPS 15657 HAS SOUS 15296 HAS SOUPS 13647 WITH SCORE 13666.506
AT ITER 1106 NEW BEST:: SOT 54715 SOS 19496 HAS SOPS 15647 HAS SOUS 15292 HAS SOUPS 13643 WITH SCORE 13662.496
AT ITER 1111 NEW BEST:: SOT 54715 SOS 19475 HAS SOPS 15605 HAS SOUS 15292 HAS SOUPS 13622 WITH SCORE 13641.475
AT ITER 1121 NEW BEST:: SOT 54704 SOS 19464 HAS SOPS 15594 HAS SOUS 15302 HAS SOUPS 13611 WITH SCORE 13630.464
AT ITER 1140 NEW BEST:: SOT 54698 SOS 19476 HAS SOPS 15606 HAS SOUS 15299 HAS SOUPS 13608 WITH SCORE 13627.476
AT ITER 1145 NEW BEST:: SOT 54709 SOS 19431 HAS SOPS 15561 HAS SOUS 15296 HAS SOUPS 13605 WITH SCORE 13624.431
AT ITER 1148 NEW BEST:: SOT 54709 SOS 19433 HAS SOPS 15563 HAS SOUS 15291 HAS SOUPS 13600 WITH SCORE 13619.433
AT ITER 1176 NEW BEST:: SOT 54629 SOS 19318 HAS SOPS 15528 HAS SOUS 15176 HAS SOUPS 13565 WITH SCORE 13584.318
AT ITER 1180 NEW BEST:: SOT 54623 SOS 19371 HAS SOPS 15519 HAS SOUS 15164 HAS SOUPS 13553 WITH SCORE 13572.371
AT ITER 1183 NEW BEST:: SOT 54619 SOS 19363 HAS SOPS 15511 HAS SOUS 15160 HAS SOUPS 13549 WITH SCORE 13568.363
AT ITER 1185 NEW BEST:: SOT 54619 SOS 19363 HAS SOPS 15511 HAS SOUS 15148 HAS SOUPS 13537 WITH SCORE 13556.363
AT ITER 1194 NEW BEST:: SOT 54616 SOS 19339 HAS SOPS 15487 HAS SOUS 15124 HAS SOUPS 13513 WITH SCORE 13532.339
AT ITER 1195 NEW BEST:: SOT 54603 SOS 19297 HAS SOPS 15445 HAS SOUS 15095 HAS SOUPS 13484 WITH SCORE 13503.297
AT ITER 1196 NEW BEST:: SOT 54545 SOS 19266 HAS SOPS 15414 HAS SOUS 15064 HAS SOUPS 13453 WITH SCORE 13472.266
AT ITER 1202 NEW BEST:: SOT 54548 SOS 19223 HAS SOPS 15371 HAS SOUS 15056 HAS SOUPS 13445 WITH SCORE 13464.223
AT ITER 1223 NEW BEST:: SOT 54666 SOS 19353 HAS SOPS 15310 HAS SOUS 15185 HAS SOUPS 13383 WITH SCORE 13402.353
AT ITER 1233 NEW BEST:: SOT 54657 SOS 19341 HAS SOPS 15298 HAS SOUS 15178 HAS SOUPS 13376 WITH SCORE 13395.341
AT ITER 1238 NEW BEST:: SOT 54657 SOS 19324 HAS SOPS 15281 HAS SOUS 15161 HAS SOUPS 13359 WITH SCORE 13378.324
AT ITER 1272 NEW BEST:: SOT 54649 SOS 19308 HAS SOPS 15265 HAS SOUS 15149 HAS SOUPS 13347 WITH SCORE 13366.308
AT ITER 1277 NEW BEST:: SOT 54680 SOS 19306 HAS SOPS 15263 HAS SOUS 15147 HAS SOUPS 13345 WITH SCORE 13364.306
AT ITER 1281 NEW BEST:: SOT 54689 SOS 19283 HAS SOPS 15240 HAS SOUS 15132 HAS SOUPS 13330 WITH SCORE 13349.283
AT ITER 1307 NEW BEST:: SOT 54662 SOS 19572 HAS SOPS 15213 HAS SOUS 15105 HAS SOUPS 13303 WITH SCORE 13322.572
AT ITER 1310 NEW BEST:: SOT 54699 SOS 19609 HAS SOPS 15208 HAS SOUS 15116 HAS SOUPS 13298 WITH SCORE 13317.609
AT ITER 1314 NEW BEST:: SOT 54761 SOS 19671 HAS SOPS 15203 HAS SOUS 15111 HAS SOUPS 13293 WITH SCORE 13312.671
AT ITER 1328 NEW BEST:: SOT 54753 SOS 19645 HAS SOPS 15177 HAS SOUS 15093 HAS SOUPS 13275 WITH SCORE 13294.645
AT ITER 1332 NEW BEST:: SOT 54736 SOS 19628 HAS SOPS 15160 HAS SOUS 15091 HAS SOUPS 13273 WITH SCORE 13292.628
AT ITER 1340 NEW BEST:: SOT 54686 SOS 19528 HAS SOPS 15060 HAS SOUS 15041 HAS SOUPS 13223 WITH SCORE 13242.528
AT ITER 1365 NEW BEST:: SOT 54659 SOS 19428 HAS SOPS 14960 HAS SOUS 14916 HAS SOUPS 13098 WITH SCORE 13117.428
AT ITER 1422 NEW BEST:: SOT 54639 SOS 19349 HAS SOPS 14881 HAS SOUS 14849 HAS SOUPS 13031 WITH SCORE 13050.349
AT ITER 1425 NEW BEST:: SOT 54639 SOS 19329 HAS SOPS 14841 HAS SOUS 14849 HAS SOUPS 13011 WITH SCORE 13030.329
AT ITER 1444 NEW BEST:: SOT 54623 SOS 19313 HAS SOPS 14825 HAS SOUS 14841 HAS SOUPS 13003 WITH SCORE 13022.313
AT ITER 1470 NEW BEST:: SOT 54624 SOS 19366 HAS SOPS 14845 HAS SOUS 14834 HAS SOUPS 12996 WITH SCORE 13015.366
AT ITER 1497 NEW BEST:: SOT 54574 SOS 19354 HAS SOPS 14833 HAS SOUS 14810 HAS SOUPS 12972 WITH SCORE 12991.354
AT ITER 1513 NEW BEST:: SOT 54517 SOS 19131 HAS SOPS 14831 HAS SOUS 14752 HAS SOUPS 12970 WITH SCORE 12989.131
AT ITER 1529 NEW BEST:: SOT 54500 SOS 19119 HAS SOPS 14819 HAS SOUS 14736 HAS SOUPS 12954 WITH SCORE 12973.119
AT ITER 1532 NEW BEST:: SOT 54465 SOS 19077 HAS SOPS 14777 HAS SOUS 14708 HAS SOUPS 12926 WITH SCORE 12945.077
AT ITER 1535 NEW BEST:: SOT 54464 SOS 19076 HAS SOPS 14776 HAS SOUS 14683 HAS SOUPS 12901 WITH SCORE 12920.076
AT ITER 1539 NEW BEST:: SOT 54464 SOS 19437 HAS SOPS 14704 HAS SOUS 14737 HAS SOUPS 12829 WITH SCORE 12848.437
AT ITER 1543 NEW BEST:: SOT 54445 SOS 19412 HAS SOPS 14679 HAS SOUS 14737 HAS SOUPS 12829 WITH SCORE 12848.412
AT ITER 1545 NEW BEST:: SOT 54438 SOS 19418 HAS SOPS 14685 HAS SOUS 14732 HAS SOUPS 12824 WITH SCORE 12843.418
AT ITER 1578 NEW BEST:: SOT 54437 SOS 19417 HAS SOPS 14683 HAS SOUS 14730 HAS SOUPS 12822 WITH SCORE 12841.417
AT ITER 1580 NEW BEST:: SOT 54426 SOS 19406 HAS SOPS 14672 HAS SOUS 14718 HAS SOUPS 12810 WITH SCORE 12829.406
AT ITER 1585 NEW BEST:: SOT 54410 SOS 19381 HAS SOPS 14647 HAS SOUS 14693 HAS SOUPS 12785 WITH SCORE 12804.381
AT ITER 1589 NEW BEST:: SOT 54381 SOS 19361 HAS SOPS 14613 HAS SOUS 14681 HAS SOUPS 12759 WITH SCORE 12778.361
AT ITER 1592 NEW BEST:: SOT 54381 SOS 19363 HAS SOPS 14601 HAS SOUS 14677 HAS SOUPS 12751 WITH SCORE 12770.363
AT ITER 1626 NEW BEST:: SOT 54386 SOS 19683 HAS SOPS 14510 HAS SOUS 14766 HAS SOUPS 12660 WITH SCORE 12679.683
AT ITER 1628 NEW BEST:: SOT 54392 SOS 19653 HAS SOPS 14480 HAS SOUS 14742 HAS SOUPS 12636 WITH SCORE 12655.653
AT ITER 1629 NEW BEST:: SOT 54426 SOS 19672 HAS SOPS 14499 HAS SOUS 14731 HAS SOUPS 12625 WITH SCORE 12644.672
AT ITER 1634 NEW BEST:: SOT 54427 SOS 19673 HAS SOPS 14475 HAS SOUS 14732 HAS SOUPS 12601 WITH SCORE 12620.673
AT ITER 1637 NEW BEST:: SOT 54428 SOS 19676 HAS SOPS 14452 HAS SOUS 14735 HAS SOUPS 12578 WITH SCORE 12597.676
AT ITER 1639 NEW BEST:: SOT 54476 SOS 19652 HAS SOPS 14376 HAS SOUS 14753 HAS SOUPS 12544 WITH SCORE 12563.652
AT ITER 1642 NEW BEST:: SOT 54475 SOS 19638 HAS SOPS 14349 HAS SOUS 14726 HAS SOUPS 12517 WITH SCORE 12536.638
AT ITER 1647 NEW BEST:: SOT 54332 SOS 19651 HAS SOPS 14362 HAS SOUS 14725 HAS SOUPS 12516 WITH SCORE 12535.651
AT ITER 1648 NEW BEST:: SOT 54182 SOS 19601 HAS SOPS 14312 HAS SOUS 14675 HAS SOUPS 12466 WITH SCORE 12485.601
AT ITER 1668 NEW BEST:: SOT 54131 SOS 19392 HAS SOPS 14307 HAS SOUS 14619 HAS SOUPS 12461 WITH SCORE 12480.392
AT ITER 1698 NEW BEST:: SOT 54147 SOS 19310 HAS SOPS 14225 HAS SOUS 14525 HAS SOUPS 12367 WITH SCORE 12386.31
AT ITER 1704 NEW BEST:: SOT 54136 SOS 19263 HAS SOPS 14178 HAS SOUS 14512 HAS SOUPS 12354 WITH SCORE 12373.263
AT ITER 1708 NEW BEST:: SOT 54158 SOS 19257 HAS SOPS 14172 HAS SOUS 14502 HAS SOUPS 12344 WITH SCORE 12363.257
AT ITER 1719 NEW BEST:: SOT 54145 SOS 19244 HAS SOPS 14159 HAS SOUS 14489 HAS SOUPS 12331 WITH SCORE 12350.244
AT ITER 1721 NEW BEST:: SOT 54099 SOS 19198 HAS SOPS 14113 HAS SOUS 14443 HAS SOUPS 12285 WITH SCORE 12304.198
AT ITER 1740 NEW BEST:: SOT 54066 SOS 19035 HAS SOPS 14077 HAS SOUS 14407 HAS SOUPS 12249 WITH SCORE 12268.035
AT ITER 1745 NEW BEST:: SOT 54066 SOS 19251 HAS SOPS 14034 HAS SOUS 14430 HAS SOUPS 12206 WITH SCORE 12225.251
AT ITER 1748 NEW BEST:: SOT 54065 SOS 19254 HAS SOPS 14032 HAS SOUS 14428 HAS SOUPS 12204 WITH SCORE 12223.254
AT ITER 1749 NEW BEST:: SOT 54051 SOS 19259 HAS SOPS 14037 HAS SOUS 14394 HAS SOUPS 12170 WITH SCORE 12189.259
AT ITER 1752 NEW BEST:: SOT 54046 SOS 19254 HAS SOPS 14032 HAS SOUS 14392 HAS SOUPS 12168 WITH SCORE 12187.254
AT ITER 1767 NEW BEST:: SOT 54046 SOS 19254 HAS SOPS 14032 HAS SOUS 14382 HAS SOUPS 12158 WITH SCORE 12177.254
AT ITER 1777 NEW BEST:: SOT 53968 SOS 19082 HAS SOPS 13954 HAS SOUS 14304 HAS SOUPS 12119 WITH SCORE 12138.082
AT ITER 1779 NEW BEST:: SOT 53968 SOS 19061 HAS SOPS 13954 HAS SOUS 14304 HAS SOUPS 12119 WITH SCORE 12138.061
AT ITER 1795 NEW BEST:: SOT 53766 SOS 18994 HAS SOPS 13887 HAS SOUS 14293 HAS SOUPS 12108 WITH SCORE 12126.994
AT ITER 1799 NEW BEST:: SOT 53756 SOS 18984 HAS SOPS 13867 HAS SOUS 14273 HAS SOUPS 12088 WITH SCORE 12106.984
AT ITER 1855 NEW BEST:: SOT 53607 SOS 18862 HAS SOPS 13690 HAS SOUS 14186 HAS SOUPS 12001 WITH SCORE 12019.862
AT ITER 1860 NEW BEST:: SOT 53600 SOS 18861 HAS SOPS 13689 HAS SOUS 14181 HAS SOUPS 11996 WITH SCORE 12014.861
AT ITER 1868 NEW BEST:: SOT 53564 SOS 18811 HAS SOPS 13639 HAS SOUS 14145 HAS SOUPS 11960 WITH SCORE 11978.811
AT ITER 1895 NEW BEST:: SOT 53564 SOS 18808 HAS SOPS 13639 HAS SOUS 14142 HAS SOUPS 11960 WITH SCORE 11978.808
AT ITER 1896 NEW BEST:: SOT 53530 SOS 18714 HAS SOPS 13545 HAS SOUS 14048 HAS SOUPS 11866 WITH SCORE 11884.714
AT ITER 1918 NEW BEST:: SOT 53420 SOS 18516 HAS SOPS 13347 HAS SOUS 13938 HAS SOUPS 11756 WITH SCORE 11774.516
AT ITER 1925 NEW BEST:: SOT 53420 SOS 18515 HAS SOPS 13285 HAS SOUS 13937 HAS SOUPS 11694 WITH SCORE 11712.515
AT ITER 1939 NEW BEST:: SOT 53398 SOS 18490 HAS SOPS 13260 HAS SOUS 13933 HAS SOUPS 11690 WITH SCORE 11708.49
AT ITER 1950 NEW BEST:: SOT 53366 SOS 18432 HAS SOPS 13202 HAS SOUS 13875 HAS SOUPS 11632 WITH SCORE 11650.432
AT ITER 1959 NEW BEST:: SOT 53366 SOS 18430 HAS SOPS 13200 HAS SOUS 13875 HAS SOUPS 11632 WITH SCORE 11650.43
AT ITER 1962 NEW BEST:: SOT 53346 SOS 18370 HAS SOPS 13180 HAS SOUS 13855 HAS SOUPS 11622 WITH SCORE 11640.37
AT ITER 1965 NEW BEST:: SOT 53289 SOS 18310 HAS SOPS 13177 HAS SOUS 13840 HAS SOUPS 11607 WITH SCORE 11625.31
AT ITER 1969 NEW BEST:: SOT 53270 SOS 18275 HAS SOPS 13155 HAS SOUS 13818 HAS SOUPS 11585 WITH SCORE 11603.275
AT ITER 2026 NEW BEST:: SOT 53270 SOS 18267 HAS SOPS 13135 HAS SOUS 13814 HAS SOUPS 11577 WITH SCORE 11595.267
AT ITER 2030 NEW BEST:: SOT 53296 SOS 18247 HAS SOPS 13115 HAS SOUS 13794 HAS SOUPS 11557 WITH SCORE 11575.247
AT ITER 2047 NEW BEST:: SOT 53290 SOS 18232 HAS SOPS 13100 HAS SOUS 13785 HAS SOUPS 11548 WITH SCORE 11566.232
AT ITER 2060 NEW BEST:: SOT 53268 SOS 18210 HAS SOPS 13078 HAS SOUS 13763 HAS SOUPS 11526 WITH SCORE 11544.21
AT ITER 2070 NEW BEST:: SOT 53230 SOS 18109 HAS SOPS 12981 HAS SOUS 13704 HAS SOUPS 11471 WITH SCORE 11489.109
AT ITER 2074 NEW BEST:: SOT 53222 SOS 17942 HAS SOPS 12965 HAS SOUS 13638 HAS SOUPS 11455 WITH SCORE 11472.942
AT ITER 2085 NEW BEST:: SOT 53222 SOS 17942 HAS SOPS 12963 HAS SOUS 13636 HAS SOUPS 11453 WITH SCORE 11470.942
AT ITER 2088 NEW BEST:: SOT 53177 SOS 17834 HAS SOPS 12934 HAS SOUS 13607 HAS SOUPS 11424 WITH SCORE 11441.834
AT ITER 2117 NEW BEST:: SOT 53176 SOS 17823 HAS SOPS 12932 HAS SOUS 13605 HAS SOUPS 11422 WITH SCORE 11439.823
AT ITER 2129 NEW BEST:: SOT 53229 SOS 17818 HAS SOPS 12927 HAS SOUS 13600 HAS SOUPS 11417 WITH SCORE 11434.818
AT ITER 2144 NEW BEST:: SOT 53229 SOS 17808 HAS SOPS 12927 HAS SOUS 13600 HAS SOUPS 11417 WITH SCORE 11434.808
AT ITER 2184 NEW BEST:: SOT 53175 SOS 17776 HAS SOPS 12895 HAS SOUS 13575 HAS SOUPS 11392 WITH SCORE 11409.776
AT ITER 2199 NEW BEST:: SOT 53175 SOS 17806 HAS SOPS 12881 HAS SOUS 13561 HAS SOUPS 11378 WITH SCORE 11395.806
AT ITER 2202 NEW BEST:: SOT 53223 SOS 17817 HAS SOPS 12857 HAS SOUS 13537 HAS SOUPS 11354 WITH SCORE 11371.817
AT ITER 2209 NEW BEST:: SOT 53214 SOS 17808 HAS SOPS 12848 HAS SOUS 13537 HAS SOUPS 11354 WITH SCORE 11371.808
AT ITER 2211 NEW BEST:: SOT 53168 SOS 17622 HAS SOPS 12848 HAS SOUS 13491 HAS SOUPS 11354 WITH SCORE 11371.622
AT ITER 2218 NEW BEST:: SOT 53126 SOS 17566 HAS SOPS 12792 HAS SOUS 13449 HAS SOUPS 11312 WITH SCORE 11329.566
AT ITER 2219 NEW BEST:: SOT 53095 SOS 17535 HAS SOPS 12761 HAS SOUS 13435 HAS SOUPS 11298 WITH SCORE 11315.535
AT ITER 2251 NEW BEST:: SOT 53093 SOS 17534 HAS SOPS 12760 HAS SOUS 13435 HAS SOUPS 11298 WITH SCORE 11315.534
AT ITER 2266 NEW BEST:: SOT 53019 SOS 17420 HAS SOPS 12725 HAS SOUS 13400 HAS SOUPS 11263 WITH SCORE 11280.42
AT ITER 2284 NEW BEST:: SOT 53011 SOS 17412 HAS SOPS 12701 HAS SOUS 13376 HAS SOUPS 11239 WITH SCORE 11256.412
AT ITER 2288 NEW BEST:: SOT 53002 SOS 17411 HAS SOPS 12693 HAS SOUS 13374 HAS SOUPS 11230 WITH SCORE 11247.411
AT ITER 2292 NEW BEST:: SOT 52986 SOS 17379 HAS SOPS 12661 HAS SOUS 13361 HAS SOUPS 11217 WITH SCORE 11234.379
AT ITER 2299 NEW BEST:: SOT 52988 SOS 17383 HAS SOPS 12665 HAS SOUS 13355 HAS SOUPS 11211 WITH SCORE 11228.383
AT ITER 2303 NEW BEST:: SOT 52975 SOS 17368 HAS SOPS 12650 HAS SOUS 13340 HAS SOUPS 11196 WITH SCORE 11213.368
AT ITER 2307 NEW BEST:: SOT 52983 SOS 17342 HAS SOPS 12624 HAS SOUS 13303 HAS SOUPS 11159 WITH SCORE 11176.342
AT ITER 2321 NEW BEST:: SOT 53000 SOS 17319 HAS SOPS 12601 HAS SOUS 13280 HAS SOUPS 11136 WITH SCORE 11153.319
AT ITER 2325 NEW BEST:: SOT 52998 SOS 17331 HAS SOPS 12605 HAS SOUS 13278 HAS SOUPS 11126 WITH SCORE 11143.331
AT ITER 2335 NEW BEST:: SOT 52900 SOS 17268 HAS SOPS 12564 HAS SOUS 13232 HAS SOUPS 11102 WITH SCORE 11119.268
AT ITER 2341 NEW BEST:: SOT 52866 SOS 17154 HAS SOPS 12542 HAS SOUS 13198 HAS SOUPS 11091 WITH SCORE 11108.154
AT ITER 2355 NEW BEST:: SOT 52866 SOS 17136 HAS SOPS 12536 HAS SOUS 13198 HAS SOUPS 11091 WITH SCORE 11108.136
AT ITER 2359 NEW BEST:: SOT 52845 SOS 17067 HAS SOPS 12520 HAS SOUS 13086 HAS SOUPS 11032 WITH SCORE 11049.067
AT ITER 2377 NEW BEST:: SOT 52845 SOS 17039 HAS SOPS 12492 HAS SOUS 13079 HAS SOUPS 11025 WITH SCORE 11042.039
AT ITER 2391 NEW BEST:: SOT 52843 SOS 17035 HAS SOPS 12488 HAS SOUS 13077 HAS SOUPS 11023 WITH SCORE 11040.035
AT ITER 2405 NEW BEST:: SOT 52811 SOS 16987 HAS SOPS 12403 HAS SOUS 13029 HAS SOUPS 10938 WITH SCORE 10954.987
AT ITER 2410 NEW BEST:: SOT 52727 SOS 16948 HAS SOPS 12364 HAS SOUS 12985 HAS SOUPS 10894 WITH SCORE 10910.948
AT ITER 2433 NEW BEST:: SOT 52722 SOS 16918 HAS SOPS 12334 HAS SOUS 12975 HAS SOUPS 10884 WITH SCORE 10900.918
AT ITER 2470 NEW BEST:: SOT 52734 SOS 16910 HAS SOPS 12326 HAS SOUS 12967 HAS SOUPS 10876 WITH SCORE 10892.91
AT ITER 2487 NEW BEST:: SOT 52728 SOS 16904 HAS SOPS 12317 HAS SOUS 12964 HAS SOUPS 10870 WITH SCORE 10886.904
AT ITER 2507 NEW BEST:: SOT 52717 SOS 16868 HAS SOPS 12277 HAS SOUS 12928 HAS SOUPS 10830 WITH SCORE 10846.868
AT ITER 2532 NEW BEST:: SOT 52731 SOS 16880 HAS SOPS 12289 HAS SOUS 12899 HAS SOUPS 10801 WITH SCORE 10817.88
AT ITER 2541 NEW BEST:: SOT 52713 SOS 16839 HAS SOPS 12248 HAS SOUS 12880 HAS SOUPS 10782 WITH SCORE 10798.839
AT ITER 2555 NEW BEST:: SOT 52690 SOS 16835 HAS SOPS 12244 HAS SOUS 12876 HAS SOUPS 10778 WITH SCORE 10794.835
AT ITER 2556 NEW BEST:: SOT 52676 SOS 16773 HAS SOPS 12182 HAS SOUS 12855 HAS SOUPS 10757 WITH SCORE 10773.773
AT ITER 2561 NEW BEST:: SOT 52676 SOS 16798 HAS SOPS 12207 HAS SOUS 12853 HAS SOUPS 10755 WITH SCORE 10771.798
AT ITER 2573 NEW BEST:: SOT 52676 SOS 16793 HAS SOPS 12202 HAS SOUS 12848 HAS SOUPS 10750 WITH SCORE 10766.793
AT ITER 2579 NEW BEST:: SOT 52676 SOS 16787 HAS SOPS 12196 HAS SOUS 12848 HAS SOUPS 10750 WITH SCORE 10766.787
AT ITER 2600 NEW BEST:: SOT 52664 SOS 16726 HAS SOPS 12135 HAS SOUS 12824 HAS SOUPS 10726 WITH SCORE 10742.726
AT ITER 2612 NEW BEST:: SOT 52663 SOS 16722 HAS SOPS 12131 HAS SOUS 12820 HAS SOUPS 10722 WITH SCORE 10738.722
AT ITER 2618 NEW BEST:: SOT 52662 SOS 16830 HAS SOPS 12129 HAS SOUS 12818 HAS SOUPS 10720 WITH SCORE 10736.83
AT ITER 2622 NEW BEST:: SOT 52654 SOS 16798 HAS SOPS 12097 HAS SOUS 12794 HAS SOUPS 10696 WITH SCORE 10712.798
AT ITER 2637 NEW BEST:: SOT 52654 SOS 16797 HAS SOPS 12089 HAS SOUS 12793 HAS SOUPS 10688 WITH SCORE 10704.797
AT ITER 2671 NEW BEST:: SOT 52608 SOS 16750 HAS SOPS 11997 HAS SOUS 12723 HAS SOUPS 10596 WITH SCORE 10612.75
AT ITER 2685 NEW BEST:: SOT 52595 SOS 16727 HAS SOPS 11974 HAS SOUS 12710 HAS SOUPS 10583 WITH SCORE 10599.727
AT ITER 2716 NEW BEST:: SOT 52568 SOS 16623 HAS SOPS 11974 HAS SOUS 12683 HAS SOUPS 10583 WITH SCORE 10599.623
AT ITER 2745 NEW BEST:: SOT 52504 SOS 16459 HAS SOPS 11842 HAS SOUS 12594 HAS SOUPS 10494 WITH SCORE 10510.459
AT ITER 2754 NEW BEST:: SOT 52501 SOS 16450 HAS SOPS 11833 HAS SOUS 12588 HAS SOUPS 10488 WITH SCORE 10504.45
AT ITER 2773 NEW BEST:: SOT 52547 SOS 16565 HAS SOPS 11852 HAS SOUS 12602 HAS SOUPS 10470 WITH SCORE 10486.565
AT ITER 2780 NEW BEST:: SOT 52522 SOS 16531 HAS SOPS 11782 HAS SOUS 12568 HAS SOUPS 10400 WITH SCORE 10416.531
AT ITER 2786 NEW BEST:: SOT 52521 SOS 16492 HAS SOPS 11742 HAS SOUS 12530 HAS SOUPS 10361 WITH SCORE 10377.492
AT ITER 2790 NEW BEST:: SOT 52413 SOS 16284 HAS SOPS 11674 HAS SOUS 12462 HAS SOUPS 10293 WITH SCORE 10309.284
AT ITER 2810 NEW BEST:: SOT 52407 SOS 16273 HAS SOPS 11663 HAS SOUS 12451 HAS SOUPS 10282 WITH SCORE 10298.273
AT ITER 2815 NEW BEST:: SOT 52309 SOS 16135 HAS SOPS 11569 HAS SOUS 12313 HAS SOUPS 10188 WITH SCORE 10204.135
AT ITER 2818 NEW BEST:: SOT 52281 SOS 16135 HAS SOPS 11534 HAS SOUS 12320 HAS SOUPS 10160 WITH SCORE 10176.135
AT ITER 2824 NEW BEST:: SOT 52254 SOS 16022 HAS SOPS 11474 HAS SOUS 12244 HAS SOUPS 10137 WITH SCORE 10153.022
AT ITER 2830 NEW BEST:: SOT 52240 SOS 16019 HAS SOPS 11455 HAS SOUS 12239 HAS SOUPS 10116 WITH SCORE 10132.019
AT ITER 2839 NEW BEST:: SOT 52232 SOS 16007 HAS SOPS 11451 HAS SOUS 12227 HAS SOUPS 10112 WITH SCORE 10128.007
AT ITER 2844 NEW BEST:: SOT 52197 SOS 15992 HAS SOPS 11436 HAS SOUS 12212 HAS SOUPS 10097 WITH SCORE 10112.992
AT ITER 2857 NEW BEST:: SOT 52197 SOS 15979 HAS SOPS 11423 HAS SOUS 12181 HAS SOUPS 10066 WITH SCORE 10081.979
AT ITER 2886 NEW BEST:: SOT 52197 SOS 15969 HAS SOPS 11423 HAS SOUS 12171 HAS SOUPS 10066 WITH SCORE 10081.969
AT ITER 2889 NEW BEST:: SOT 52185 SOS 15945 HAS SOPS 11399 HAS SOUS 12159 HAS SOUPS 10054 WITH SCORE 10069.945
AT ITER 2910 NEW BEST:: SOT 52185 SOS 15939 HAS SOPS 11393 HAS SOUS 12156 HAS SOUPS 10051 WITH SCORE 10066.939
AT ITER 2913 NEW BEST:: SOT 52185 SOS 16005 HAS SOPS 11327 HAS SOUS 12090 HAS SOUPS 9985 WITH SCORE 10001.005
AT ITER 2938 NEW BEST:: SOT 52175 SOS 15896 HAS SOPS 11218 HAS SOUS 12069 HAS SOUPS 9964 WITH SCORE 9979.896
AT ITER 2989 NEW BEST:: SOT 52169 SOS 15890 HAS SOPS 11212 HAS SOUS 12066 HAS SOUPS 9961 WITH SCORE 9976.89
AT ITER 2996 NEW BEST:: SOT 52163 SOS 15872 HAS SOPS 11212 HAS SOUS 12060 HAS SOUPS 9961 WITH SCORE 9976.872
AT ITER 3013 NEW BEST:: SOT 52163 SOS 15869 HAS SOPS 11206 HAS SOUS 12057 HAS SOUPS 9955 WITH SCORE 9970.869
AT ITER 3055 NEW BEST:: SOT 52144 SOS 15861 HAS SOPS 11198 HAS SOUS 12049 HAS SOUPS 9947 WITH SCORE 9962.861
AT ITER 3056 NEW BEST:: SOT 52112 SOS 15787 HAS SOPS 11124 HAS SOUS 11975 HAS SOUPS 9873 WITH SCORE 9888.787
AT ITER 3086 NEW BEST:: SOT 52080 SOS 15685 HAS SOPS 11036 HAS SOUS 11898 HAS SOUPS 9796 WITH SCORE 9811.685
AT ITER 3089 NEW BEST:: SOT 52080 SOS 15637 HAS SOPS 11036 HAS SOUS 11886 HAS SOUPS 9796 WITH SCORE 9811.637
AT ITER 3150 NEW BEST:: SOT 52074 SOS 15691 HAS SOPS 11090 HAS SOUS 11883 HAS SOUPS 9793 WITH SCORE 9808.691
AT ITER 3187 NEW BEST:: SOT 52074 SOS 15645 HAS SOPS 11044 HAS SOUS 11857 HAS SOUPS 9767 WITH SCORE 9782.645
AT ITER 3204 NEW BEST:: SOT 52047 SOS 15613 HAS SOPS 11012 HAS SOUS 11832 HAS SOUPS 9742 WITH SCORE 9757.613
AT ITER 3210 NEW BEST:: SOT 52049 SOS 15609 HAS SOPS 11008 HAS SOUS 11828 HAS SOUPS 9738 WITH SCORE 9753.609
AT ITER 3304 NEW BEST:: SOT 52020 SOS 15580 HAS SOPS 10974 HAS SOUS 11818 HAS SOUPS 9728 WITH SCORE 9743.58
AT ITER 3307 NEW BEST:: SOT 51994 SOS 15545 HAS SOPS 10954 HAS SOUS 11794 HAS SOUPS 9719 WITH SCORE 9734.545
AT ITER 3351 NEW BEST:: SOT 52017 SOS 15568 HAS SOPS 10977 HAS SOUS 11778 HAS SOUPS 9703 WITH SCORE 9718.568
AT ITER 3364 NEW BEST:: SOT 52015 SOS 15558 HAS SOPS 10975 HAS SOUS 11774 HAS SOUPS 9701 WITH SCORE 9716.558
AT ITER 3388 NEW BEST:: SOT 51999 SOS 15542 HAS SOPS 10959 HAS SOUS 11758 HAS SOUPS 9685 WITH SCORE 9700.542
AT ITER 3414 NEW BEST:: SOT 51988 SOS 15531 HAS SOPS 10957 HAS SOUS 11756 HAS SOUPS 9683 WITH SCORE 9698.531
AT ITER 3420 NEW BEST:: SOT 51978 SOS 15522 HAS SOPS 10937 HAS SOUS 11736 HAS SOUPS 9663 WITH SCORE 9678.522
AT ITER 3435 NEW BEST:: SOT 51923 SOS 15467 HAS SOPS 10827 HAS SOUS 11694 HAS SOUPS 9608 WITH SCORE 9623.467
AT ITER 3442 NEW BEST:: SOT 51918 SOS 15442 HAS SOPS 10827 HAS SOUS 11689 HAS SOUPS 9608 WITH SCORE 9623.442
AT ITER 3446 NEW BEST:: SOT 51917 SOS 15435 HAS SOPS 10821 HAS SOUS 11687 HAS SOUPS 9606 WITH SCORE 9621.435
AT ITER 3454 NEW BEST:: SOT 51955 SOS 15463 HAS SOPS 10849 HAS SOUS 11669 HAS SOUPS 9588 WITH SCORE 9603.463
AT ITER 3488 NEW BEST:: SOT 51955 SOS 15452 HAS SOPS 10838 HAS SOUS 11658 HAS SOUPS 9577 WITH SCORE 9592.452
AT ITER 3519 NEW BEST:: SOT 51990 SOS 15473 HAS SOPS 10859 HAS SOUS 11644 HAS SOUPS 9563 WITH SCORE 9578.473
AT ITER 3535 NEW BEST:: SOT 51972 SOS 15441 HAS SOPS 10827 HAS SOUS 11630 HAS SOUPS 9549 WITH SCORE 9564.441
AT ITER 3560 NEW BEST:: SOT 51966 SOS 15435 HAS SOPS 10815 HAS SOUS 11618 HAS SOUPS 9537 WITH SCORE 9552.435
AT ITER 3608 NEW BEST:: SOT 51996 SOS 15446 HAS SOPS 10674 HAS SOUS 11607 HAS SOUPS 9488 WITH SCORE 9503.446
AT ITER 3616 NEW BEST:: SOT 51947 SOS 15250 HAS SOPS 10674 HAS SOUS 11558 HAS SOUPS 9488 WITH SCORE 9503.25
AT ITER 3619 NEW BEST:: SOT 51940 SOS 15224 HAS SOPS 10659 HAS SOUS 11550 HAS SOUPS 9480 WITH SCORE 9495.224
AT ITER 3622 NEW BEST:: SOT 51934 SOS 15164 HAS SOPS 10599 HAS SOUS 11508 HAS SOUPS 9438 WITH SCORE 9453.164
AT ITER 3667 NEW BEST:: SOT 51936 SOS 15162 HAS SOPS 10597 HAS SOUS 11506 HAS SOUPS 9436 WITH SCORE 9451.162
AT ITER 3704 NEW BEST:: SOT 51940 SOS 15159 HAS SOPS 10594 HAS SOUS 11496 HAS SOUPS 9426 WITH SCORE 9441.159
AT ITER 3757 NEW BEST:: SOT 51939 SOS 15145 HAS SOPS 10580 HAS SOUS 11494 HAS SOUPS 9424 WITH SCORE 9439.145
AT ITER 3784 NEW BEST:: SOT 51924 SOS 15016 HAS SOPS 10470 HAS SOUS 11441 HAS SOUPS 9390 WITH SCORE 9405.016
AT ITER 3797 NEW BEST:: SOT 51892 SOS 14936 HAS SOPS 10406 HAS SOUS 11377 HAS SOUPS 9326 WITH SCORE 9340.936
AT ITER 3825 NEW BEST:: SOT 51823 SOS 14860 HAS SOPS 10406 HAS SOUS 11370 HAS SOUPS 9326 WITH SCORE 9340.86
AT ITER 3835 NEW BEST:: SOT 51823 SOS 14785 HAS SOPS 10406 HAS SOUS 11370 HAS SOUPS 9326 WITH SCORE 9340.785
AT ITER 3838 NEW BEST:: SOT 51817 SOS 14742 HAS SOPS 10363 HAS SOUS 11353 HAS SOUPS 9309 WITH SCORE 9323.742
AT ITER 3845 NEW BEST:: SOT 51786 SOS 14719 HAS SOPS 10301 HAS SOUS 11338 HAS SOUPS 9294 WITH SCORE 9308.719
AT ITER 3878 NEW BEST:: SOT 51760 SOS 14690 HAS SOPS 10272 HAS SOUS 11309 HAS SOUPS 9265 WITH SCORE 9279.69
AT ITER 3930 NEW BEST:: SOT 51760 SOS 14668 HAS SOPS 10270 HAS SOUS 11297 HAS SOUPS 9265 WITH SCORE 9279.668
AT ITER 4017 NEW BEST:: SOT 51758 SOS 14662 HAS SOPS 10264 HAS SOUS 11293 HAS SOUPS 9261 WITH SCORE 9275.662
AT ITER 4036 NEW BEST:: SOT 51753 SOS 14612 HAS SOPS 10214 HAS SOUS 11243 HAS SOUPS 9211 WITH SCORE 9225.612
AT ITER 4046 NEW BEST:: SOT 51757 SOS 14608 HAS SOPS 10210 HAS SOUS 11238 HAS SOUPS 9206 WITH SCORE 9220.608
AT ITER 4051 NEW BEST:: SOT 51757 SOS 14592 HAS SOPS 10194 HAS SOUS 11236 HAS SOUPS 9204 WITH SCORE 9218.592
AT ITER 4086 NEW BEST:: SOT 51759 SOS 14601 HAS SOPS 10188 HAS SOUS 11238 HAS SOUPS 9201 WITH SCORE 9215.601
AT ITER 4098 NEW BEST:: SOT 51748 SOS 14582 HAS SOPS 10169 HAS SOUS 11227 HAS SOUPS 9190 WITH SCORE 9204.582
AT ITER 4106 NEW BEST:: SOT 51922 SOS 14669 HAS SOPS 10256 HAS SOUS 11225 HAS SOUPS 9188 WITH SCORE 9202.669
AT ITER 4126 NEW BEST:: SOT 51907 SOS 14594 HAS SOPS 10256 HAS SOUS 11210 HAS SOUPS 9188 WITH SCORE 9202.594
AT ITER 4139 NEW BEST:: SOT 51916 SOS 14585 HAS SOPS 10247 HAS SOUS 11207 HAS SOUPS 9185 WITH SCORE 9199.585
AT ITER 4228 NEW BEST:: SOT 51898 SOS 14529 HAS SOPS 10191 HAS SOUS 11163 HAS SOUPS 9141 WITH SCORE 9155.529
AT ITER 4233 NEW BEST:: SOT 51896 SOS 14527 HAS SOPS 10191 HAS SOUS 11161 HAS SOUPS 9141 WITH SCORE 9155.527
AT ITER 4236 NEW BEST:: SOT 51896 SOS 14521 HAS SOPS 10191 HAS SOUS 11161 HAS SOUPS 9141 WITH SCORE 9155.521
AT ITER 4239 NEW BEST:: SOT 51904 SOS 14501 HAS SOPS 10171 HAS SOUS 11143 HAS SOUPS 9123 WITH SCORE 9137.501
AT ITER 4249 NEW BEST:: SOT 51897 SOS 14480 HAS SOPS 10150 HAS SOUS 11129 HAS SOUPS 9109 WITH SCORE 9123.48
AT ITER 4252 NEW BEST:: SOT 51896 SOS 14479 HAS SOPS 10148 HAS SOUS 11127 HAS SOUPS 9107 WITH SCORE 9121.479
AT ITER 4261 NEW BEST:: SOT 51874 SOS 14413 HAS SOPS 10126 HAS SOUS 11094 HAS SOUPS 9085 WITH SCORE 9099.413
AT ITER 4277 NEW BEST:: SOT 51870 SOS 14421 HAS SOPS 10124 HAS SOUS 11092 HAS SOUPS 9083 WITH SCORE 9097.421
AT ITER 4409 NEW BEST:: SOT 51876 SOS 14427 HAS SOPS 10130 HAS SOUS 11079 HAS SOUPS 9070 WITH SCORE 9084.427
AT ITER 4413 NEW BEST:: SOT 51868 SOS 14419 HAS SOPS 10114 HAS SOUS 11063 HAS SOUPS 9054 WITH SCORE 9068.419
AT ITER 4445 NEW BEST:: SOT 51862 SOS 14413 HAS SOPS 10102 HAS SOUS 11063 HAS SOUPS 9048 WITH SCORE 9062.413
AT ITER 4451 NEW BEST:: SOT 51856 SOS 14401 HAS SOPS 10090 HAS SOUS 11054 HAS SOUPS 9039 WITH SCORE 9053.401
AT ITER 4455 NEW BEST:: SOT 51854 SOS 14393 HAS SOPS 10090 HAS SOUS 11052 HAS SOUPS 9039 WITH SCORE 9053.393
AT ITER 4457 NEW BEST:: SOT 51616 SOS 14385 HAS SOPS 10082 HAS SOUS 11044 HAS SOUPS 9031 WITH SCORE 9045.385
AT ITER 4458 NEW BEST:: SOT 51596 SOS 14338 HAS SOPS 10042 HAS SOUS 11004 HAS SOUPS 8991 WITH SCORE 9005.338
AT ITER 4575 NEW BEST:: SOT 51596 SOS 14276 HAS SOPS 10042 HAS SOUS 10942 HAS SOUPS 8991 WITH SCORE 9005.276
AT ITER 4581 NEW BEST:: SOT 51600 SOS 14298 HAS SOPS 10064 HAS SOUS 10940 HAS SOUPS 8989 WITH SCORE 9003.298
AT ITER 4597 NEW BEST:: SOT 51600 SOS 14270 HAS SOPS 10036 HAS SOUS 10926 HAS SOUPS 8975 WITH SCORE 8989.27
AT ITER 4609 NEW BEST:: SOT 51577 SOS 14269 HAS SOPS 10035 HAS SOUS 10907 HAS SOUPS 8956 WITH SCORE 8970.269
AT ITER 4623 NEW BEST:: SOT 51633 SOS 14291 HAS SOPS 10031 HAS SOUS 10922 HAS SOUPS 8945 WITH SCORE 8959.291
AT ITER 4629 NEW BEST:: SOT 51615 SOS 14273 HAS SOPS 10004 HAS SOUS 10913 HAS SOUPS 8927 WITH SCORE 8941.273
AT ITER 4662 NEW BEST:: SOT 51619 SOS 14277 HAS SOPS 10008 HAS SOUS 10911 HAS SOUPS 8925 WITH SCORE 8939.277
AT ITER 4735 NEW BEST:: SOT 51605 SOS 14242 HAS SOPS 9973 HAS SOUS 10883 HAS SOUPS 8897 WITH SCORE 8911.242
AT ITER 4743 NEW BEST:: SOT 51577 SOS 14214 HAS SOPS 9945 HAS SOUS 10855 HAS SOUPS 8869 WITH SCORE 8883.214
AT ITER 4777 NEW BEST:: SOT 51591 SOS 14242 HAS SOPS 9973 HAS SOUS 10843 HAS SOUPS 8857 WITH SCORE 8871.242
AT ITER 4779 NEW BEST:: SOT 51579 SOS 14212 HAS SOPS 9943 HAS SOUS 10831 HAS SOUPS 8845 WITH SCORE 8859.212
AT ITER 4798 NEW BEST:: SOT 51554 SOS 14087 HAS SOPS 9943 HAS SOUS 10806 HAS SOUPS 8845 WITH SCORE 8859.087
AT ITER 4825 NEW BEST:: SOT 51536 SOS 14056 HAS SOPS 9912 HAS SOUS 10779 HAS SOUPS 8818 WITH SCORE 8832.056
AT ITER 4907 NEW BEST:: SOT 51536 SOS 14049 HAS SOPS 9863 HAS SOUS 10772 HAS SOUPS 8769 WITH SCORE 8783.049
AT ITER 4920 NEW BEST:: SOT 51536 SOS 14007 HAS SOPS 9863 HAS SOUS 10730 HAS SOUPS 8769 WITH SCORE 8783.007
AT ITER 4944 NEW BEST:: SOT 51516 SOS 13987 HAS SOPS 9843 HAS SOUS 10725 HAS SOUPS 8764 WITH SCORE 8777.987
AT ITER 4984 NEW BEST:: SOT 51510 SOS 13981 HAS SOPS 9837 HAS SOUS 10719 HAS SOUPS 8758 WITH SCORE 8771.981
AT ITER 4990 NEW BEST:: SOT 51477 SOS 13948 HAS SOPS 9804 HAS SOUS 10695 HAS SOUPS 8734 WITH SCORE 8747.948
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: AutoFlight-PT-12a-CTLCardinality-00 ( ( ( (AX( potential( (tk(P140)) <= (tk(P279)) ))) | (! ( potential( (tk(P107)) <= (tk(P64)) ) & potential( ( 3 ) <= (tk(P184)) ) )) ) | (AF((! potential( ( 1 ) <= (tk(P1)) )))) ) & (EF((EG( potential( ( 2 ) <= (tk(P285)) ))))) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-01 (AU( (AF(potential( ( 1 ) <= (tk(P163)) ))),(EF(potential( ( 2 ) <= (tk(P58)) ))) ))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-02 (AF((AG( ( potential( (tk(P67)) <= (tk(P222)) ) & potential( ( 2 ) <= (tk(P183)) ) )))))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-03 (AF(( ( ( potential( ( 3 ) <= (tk(P173)) ) & potential( (tk(P5)) <= (tk(P279)) ) ) & potential( (tk(P275)) <= (tk(P180)) ) ) & (EX( potential( (tk(P168)) <= (tk(P187)) ))) )))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-04 ( ( (AF((! potential( (tk(P189)) <= (tk(P80)) )))) & ( (AX( potential( (tk(P278)) <= (tk(P139)) ))) & (! ( potential( ( 3 ) <= (tk(P121)) ) | potential( (tk(P156)) <= (tk(P250)) ) )) ) ) | ( ( ( (! potential( ( 1 ) <= (tk(P130)) )) | ( potential( ( 3 ) <= (tk(P151)) ) | potential( ( 1 ) <= (tk(P13)) ) ) ) & (EF(potential( ( 3 ) <= (tk(P131)) ))) ) | potential( ( 1 ) <= (tk(P229)) ) ) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-05 ( (AF((EG( potential( (tk(P17)) <= (tk(P272)) ))))) & (! ( (EF(potential( ( 3 ) <= (tk(P15)) ))) | potential( ( 2 ) <= (tk(P279)) ) )) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-06 (AU( ( (! potential( ( 1 ) <= (tk(P227)) )) | potential( ( 2 ) <= (tk(P108)) ) ),potential( ( 2 ) <= (tk(P214)) ) ))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-07 ( ( (EG( (! potential( (tk(P123)) <= (tk(P142)) )))) | ( (AG( potential( (tk(P220)) <= (tk(P97)) ))) & ( ( potential( ( 3 ) <= (tk(P18)) ) | potential( (tk(P138)) <= (tk(P240)) ) ) | potential( ( 1 ) <= (tk(P152)) ) ) ) ) | ( (EU( potential( ( 2 ) <= (tk(P250)) ),potential( ( 2 ) <= (tk(P124)) ) )) & (! ( ( potential( ( 3 ) <= (tk(P33)) ) | potential( (tk(P146)) <= (tk(P301)) ) ) & potential( (tk(P203)) <= (tk(P57)) ) )) ) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-08 (EF(( (AF(potential( (tk(P286)) <= (tk(P139)) ))) & potential( ( 2 ) <= (tk(P190)) ) )))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-09 (AU( (AF(potential( (tk(P208)) <= (tk(P303)) ))),(AG( potential( ( 2 ) <= (tk(P245)) ))) ))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-10 (AG( ( potential( (tk(P51)) <= (tk(P167)) ) | ( ( potential( ( 1 ) <= (tk(P53)) ) | potential( (tk(P246)) <= (tk(P18)) ) ) | (! potential( ( 3 ) <= (tk(P106)) )) ) )))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-11 (AF((! (EX( potential( (tk(P291)) <= (tk(P116)) ))))))
PROPERTY: AutoFlight-PT-12a-CTLCardinality-12 ( (EX( (EF(potential( ( 3 ) <= (tk(P170)) ))))) & (AX( (! potential( ( 3 ) <= (tk(P274)) )))) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-13 ( ( ( (! ( potential( ( 3 ) <= (tk(P107)) ) | potential( ( 1 ) <= (tk(P64)) ) )) | (! ( potential( (tk(P288)) <= (tk(P33)) ) | potential( (tk(P141)) <= (tk(P196)) ) )) ) & ( (! ( potential( (tk(P264)) <= (tk(P16)) ) | potential( (tk(P42)) <= (tk(P34)) ) )) & ( ( potential( (tk(P49)) <= (tk(P227)) ) | potential( ( 2 ) <= (tk(P140)) ) ) | potential( (tk(P171)) <= (tk(P30)) ) ) ) ) | (AG( ( ( potential( (tk(P238)) <= (tk(P78)) ) | potential( (tk(P233)) <= (tk(P88)) ) ) | ( potential( ( 3 ) <= (tk(P146)) ) | potential( (tk(P99)) <= (tk(P241)) ) ) ))) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-14 ( ( ( ( ( potential( ( 1 ) <= (tk(P288)) ) & potential( ( 3 ) <= (tk(P3)) ) ) | ( potential( (tk(P52)) <= (tk(P215)) ) & potential( ( 3 ) <= (tk(P280)) ) ) ) | potential( ( 3 ) <= (tk(P45)) ) ) | ( ( potential( ( 1 ) <= (tk(P3)) ) & potential( (tk(P179)) <= (tk(P135)) ) ) | potential( ( 3 ) <= (tk(P244)) ) ) ) | ( ( (AG( potential( (tk(P34)) <= (tk(P201)) ))) & (AX( potential( ( 1 ) <= (tk(P87)) ))) ) & ( (AF(potential( (tk(P157)) <= (tk(P285)) ))) & (AF(potential( (tk(P75)) <= (tk(P26)) ))) ) ) )
PROPERTY: AutoFlight-PT-12a-CTLCardinality-15 (! ( ( ( potential( (tk(P214)) <= (tk(P27)) ) & ( potential( (tk(P246)) <= (tk(P214)) ) | potential( (tk(P134)) <= (tk(P81)) ) ) ) & potential( (tk(P262)) <= (tk(P115)) ) ) & (! (EF(potential( ( 3 ) <= (tk(P187)) )))) ))

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="AutoFlight-PT-12a"
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 AutoFlight-PT-12a, 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 r003-smll-158897508600467"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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