Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 284K
-rw-r--r-- 1 mcc users 4.0K Apr 11 23:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 11 23:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 10 22:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 22:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:43 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 14 12:43 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 07:43 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 10 07:43 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 9 12:03 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 9 12:03 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:21 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 107K 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 Parking-PT-416-CTLCardinality-00
FORMULA_NAME Parking-PT-416-CTLCardinality-01
FORMULA_NAME Parking-PT-416-CTLCardinality-02
FORMULA_NAME Parking-PT-416-CTLCardinality-03
FORMULA_NAME Parking-PT-416-CTLCardinality-04
FORMULA_NAME Parking-PT-416-CTLCardinality-05
FORMULA_NAME Parking-PT-416-CTLCardinality-06
FORMULA_NAME Parking-PT-416-CTLCardinality-07
FORMULA_NAME Parking-PT-416-CTLCardinality-08
FORMULA_NAME Parking-PT-416-CTLCardinality-09
FORMULA_NAME Parking-PT-416-CTLCardinality-10
FORMULA_NAME Parking-PT-416-CTLCardinality-11
FORMULA_NAME Parking-PT-416-CTLCardinality-12
FORMULA_NAME Parking-PT-416-CTLCardinality-13
FORMULA_NAME Parking-PT-416-CTLCardinality-14
FORMULA_NAME Parking-PT-416-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589645079441

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 416
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: 305 places, 433 transitions, 1289 arcs.
AT ITER 0 NEW BEST:: SOT 79497 SOS 56645 HAS SOPS 56645 HAS SOUS 37528 HAS SOUPS 37528 WITH SCORE 37584.645
AT ITER 3 NEW BEST:: SOT 79497 SOS 56356 HAS SOPS 56356 HAS SOUS 37493 HAS SOUPS 37493 WITH SCORE 37549.356
AT ITER 4 NEW BEST:: SOT 79473 SOS 56308 HAS SOPS 56308 HAS SOUS 37485 HAS SOUPS 37485 WITH SCORE 37541.308
AT ITER 10 NEW BEST:: SOT 78933 SOS 55502 HAS SOPS 55502 HAS SOUS 36999 HAS SOUPS 36999 WITH SCORE 37054.502
AT ITER 13 NEW BEST:: SOT 78384 SOS 54953 HAS SOPS 54953 HAS SOUS 36577 HAS SOUPS 36577 WITH SCORE 36631.953
AT ITER 15 NEW BEST:: SOT 78105 SOS 54674 HAS SOPS 54674 HAS SOUS 36369 HAS SOUPS 36369 WITH SCORE 36423.674
AT ITER 18 NEW BEST:: SOT 78105 SOS 54673 HAS SOPS 54673 HAS SOUS 36368 HAS SOUPS 36368 WITH SCORE 36422.673
AT ITER 19 NEW BEST:: SOT 77791 SOS 54419 HAS SOPS 54358 HAS SOUS 36208 HAS SOUPS 36147 WITH SCORE 36201.419
AT ITER 20 NEW BEST:: SOT 77652 SOS 54280 HAS SOPS 54219 HAS SOUS 36115 HAS SOUPS 36054 WITH SCORE 36108.28
AT ITER 25 NEW BEST:: SOT 77652 SOS 54143 HAS SOPS 54082 HAS SOUS 36114 HAS SOUPS 36053 WITH SCORE 36107.143
AT ITER 26 NEW BEST:: SOT 75745 SOS 51747 HAS SOPS 51607 HAS SOUS 34756 HAS SOUPS 34655 WITH SCORE 34706.747
AT ITER 27 NEW BEST:: SOT 75292 SOS 51491 HAS SOPS 51241 HAS SOUS 34598 HAS SOUPS 34387 WITH SCORE 34438.491
AT ITER 28 NEW BEST:: SOT 75223 SOS 51390 HAS SOPS 51140 HAS SOUS 34529 HAS SOUPS 34318 WITH SCORE 34369.39
AT ITER 29 NEW BEST:: SOT 74338 SOS 50653 HAS SOPS 50378 HAS SOUS 34181 HAS SOUPS 33957 WITH SCORE 34007.653
AT ITER 30 NEW BEST:: SOT 74338 SOS 50016 HAS SOPS 49741 HAS SOUS 34181 HAS SOUPS 33957 WITH SCORE 34007.016
AT ITER 38 NEW BEST:: SOT 74237 SOS 49915 HAS SOPS 49640 HAS SOUS 34082 HAS SOUPS 33858 WITH SCORE 33907.915
AT ITER 41 NEW BEST:: SOT 74237 SOS 49860 HAS SOPS 49585 HAS SOUS 34082 HAS SOUPS 33858 WITH SCORE 33907.86
AT ITER 43 NEW BEST:: SOT 73956 SOS 49668 HAS SOPS 49304 HAS SOUS 34029 HAS SOUPS 33716 WITH SCORE 33765.668
AT ITER 44 NEW BEST:: SOT 73030 SOS 48742 HAS SOPS 48378 HAS SOUS 33384 HAS SOUPS 33071 WITH SCORE 33119.742
AT ITER 47 NEW BEST:: SOT 73030 SOS 48702 HAS SOPS 48338 HAS SOUS 33384 HAS SOUPS 33071 WITH SCORE 33119.702
AT ITER 48 NEW BEST:: SOT 72471 SOS 47820 HAS SOPS 47411 HAS SOUS 32841 HAS SOUPS 32505 WITH SCORE 32552.82
AT ITER 49 NEW BEST:: SOT 72029 SOS 47402 HAS SOPS 46969 HAS SOUS 32423 HAS SOUPS 32063 WITH SCORE 32110.402
AT ITER 50 NEW BEST:: SOT 71959 SOS 46886 HAS SOPS 46453 HAS SOUS 32223 HAS SOUPS 31863 WITH SCORE 31909.886
AT ITER 52 NEW BEST:: SOT 71959 SOS 46886 HAS SOPS 46453 HAS SOUS 32220 HAS SOUPS 31860 WITH SCORE 31906.886
AT ITER 53 NEW BEST:: SOT 71935 SOS 46826 HAS SOPS 46393 HAS SOUS 32194 HAS SOUPS 31834 WITH SCORE 31880.826
AT ITER 56 NEW BEST:: SOT 71682 SOS 46586 HAS SOPS 46140 HAS SOUS 32034 HAS SOUPS 31661 WITH SCORE 31707.586
AT ITER 60 NEW BEST:: SOT 71681 SOS 46303 HAS SOPS 45857 HAS SOUS 31846 HAS SOUPS 31473 WITH SCORE 31519.303
AT ITER 61 NEW BEST:: SOT 71852 SOS 46729 HAS SOPS 46102 HAS SOUS 31988 HAS SOUPS 31434 WITH SCORE 31480.729
AT ITER 63 NEW BEST:: SOT 71780 SOS 46657 HAS SOPS 46030 HAS SOUS 31934 HAS SOUPS 31380 WITH SCORE 31426.657
AT ITER 64 NEW BEST:: SOT 71585 SOS 46461 HAS SOPS 45834 HAS SOUS 31803 HAS SOUPS 31249 WITH SCORE 31295.461
AT ITER 67 NEW BEST:: SOT 71585 SOS 46192 HAS SOPS 45565 HAS SOUS 31752 HAS SOUPS 31198 WITH SCORE 31244.192
AT ITER 68 NEW BEST:: SOT 71082 SOS 45421 HAS SOPS 44675 HAS SOUS 31303 HAS SOUPS 30630 WITH SCORE 30675.421
AT ITER 70 NEW BEST:: SOT 70427 SOS 44356 HAS SOPS 43610 HAS SOUS 30554 HAS SOUPS 29881 WITH SCORE 29925.356
AT ITER 74 NEW BEST:: SOT 70058 SOS 44006 HAS SOPS 43241 HAS SOUS 30226 HAS SOUPS 29534 WITH SCORE 29578.006
AT ITER 76 NEW BEST:: SOT 69431 SOS 41954 HAS SOPS 41136 HAS SOUS 29568 HAS SOUPS 28823 WITH SCORE 28864.954
AT ITER 78 NEW BEST:: SOT 69431 SOS 41897 HAS SOPS 41079 HAS SOUS 29567 HAS SOUPS 28822 WITH SCORE 28863.897
AT ITER 84 NEW BEST:: SOT 69431 SOS 41856 HAS SOPS 41038 HAS SOUS 29566 HAS SOUPS 28821 WITH SCORE 28862.856
AT ITER 85 NEW BEST:: SOT 69430 SOS 41699 HAS SOPS 40881 HAS SOUS 29521 HAS SOUPS 28776 WITH SCORE 28817.699
AT ITER 89 NEW BEST:: SOT 69394 SOS 41593 HAS SOPS 40775 HAS SOUS 29517 HAS SOUPS 28772 WITH SCORE 28813.593
AT ITER 90 NEW BEST:: SOT 69143 SOS 41342 HAS SOPS 40524 HAS SOUS 29260 HAS SOUPS 28515 WITH SCORE 28556.342
AT ITER 91 NEW BEST:: SOT 69083 SOS 41282 HAS SOPS 40464 HAS SOUS 29200 HAS SOUPS 28455 WITH SCORE 28496.282
AT ITER 97 NEW BEST:: SOT 68916 SOS 41397 HAS SOPS 40521 HAS SOUS 29098 HAS SOUPS 28295 WITH SCORE 28336.397
AT ITER 106 NEW BEST:: SOT 68915 SOS 41396 HAS SOPS 40520 HAS SOUS 29097 HAS SOUPS 28294 WITH SCORE 28335.396
AT ITER 116 NEW BEST:: SOT 68797 SOS 41278 HAS SOPS 40401 HAS SOUS 29032 HAS SOUPS 28228 WITH SCORE 28269.278
AT ITER 117 NEW BEST:: SOT 68700 SOS 41092 HAS SOPS 40304 HAS SOUS 28846 HAS SOUPS 28131 WITH SCORE 28172.092
AT ITER 119 NEW BEST:: SOT 68655 SOS 41047 HAS SOPS 40259 HAS SOUS 28816 HAS SOUPS 28101 WITH SCORE 28142.047
AT ITER 120 NEW BEST:: SOT 68655 SOS 40737 HAS SOPS 39949 HAS SOUS 28816 HAS SOUPS 28101 WITH SCORE 28141.737
AT ITER 129 NEW BEST:: SOT 68636 SOS 40718 HAS SOPS 39930 HAS SOUS 28778 HAS SOUPS 28063 WITH SCORE 28103.718
AT ITER 130 NEW BEST:: SOT 68634 SOS 40716 HAS SOPS 39928 HAS SOUS 28776 HAS SOUPS 28061 WITH SCORE 28101.716
AT ITER 131 NEW BEST:: SOT 68327 SOS 40355 HAS SOPS 39456 HAS SOUS 28605 HAS SOUPS 27779 WITH SCORE 27819.355
AT ITER 132 NEW BEST:: SOT 68224 SOS 40252 HAS SOPS 39353 HAS SOUS 28481 HAS SOUPS 27655 WITH SCORE 27695.252
AT ITER 141 NEW BEST:: SOT 68023 SOS 40051 HAS SOPS 39152 HAS SOUS 28301 HAS SOUPS 27475 WITH SCORE 27515.051
AT ITER 142 NEW BEST:: SOT 68023 SOS 40023 HAS SOPS 39124 HAS SOUS 28287 HAS SOUPS 27461 WITH SCORE 27501.023
AT ITER 147 NEW BEST:: SOT 67925 SOS 39922 HAS SOPS 39023 HAS SOUS 28160 HAS SOUPS 27334 WITH SCORE 27373.922
AT ITER 150 NEW BEST:: SOT 67829 SOS 39507 HAS SOPS 38608 HAS SOUS 27877 HAS SOUPS 27051 WITH SCORE 27090.507
AT ITER 154 NEW BEST:: SOT 67829 SOS 39427 HAS SOPS 38528 HAS SOUS 27837 HAS SOUPS 27011 WITH SCORE 27050.427
AT ITER 155 NEW BEST:: SOT 67637 SOS 39171 HAS SOPS 38272 HAS SOUS 27645 HAS SOUPS 26819 WITH SCORE 26858.171
AT ITER 161 NEW BEST:: SOT 67619 SOS 39153 HAS SOPS 38254 HAS SOUS 27627 HAS SOUPS 26801 WITH SCORE 26840.153
AT ITER 162 NEW BEST:: SOT 67609 SOS 39143 HAS SOPS 38239 HAS SOUS 27622 HAS SOUPS 26791 WITH SCORE 26830.143
AT ITER 163 NEW BEST:: SOT 67590 SOS 39088 HAS SOPS 38201 HAS SOUS 27610 HAS SOUPS 26788 WITH SCORE 26827.088
AT ITER 165 NEW BEST:: SOT 67589 SOS 39087 HAS SOPS 38200 HAS SOUS 27609 HAS SOUPS 26787 WITH SCORE 26826.087
AT ITER 167 NEW BEST:: SOT 67588 SOS 39086 HAS SOPS 38199 HAS SOUS 27608 HAS SOUPS 26786 WITH SCORE 26825.086
AT ITER 170 NEW BEST:: SOT 67501 SOS 38999 HAS SOPS 38112 HAS SOUS 27521 HAS SOUPS 26699 WITH SCORE 26737.999
AT ITER 173 NEW BEST:: SOT 67494 SOS 38992 HAS SOPS 38105 HAS SOUS 27514 HAS SOUPS 26692 WITH SCORE 26730.992
AT ITER 174 NEW BEST:: SOT 67473 SOS 38971 HAS SOPS 38084 HAS SOUS 27493 HAS SOUPS 26671 WITH SCORE 26709.971
AT ITER 175 NEW BEST:: SOT 67185 SOS 38731 HAS SOPS 37811 HAS SOUS 27366 HAS SOUPS 26511 WITH SCORE 26549.731
AT ITER 177 NEW BEST:: SOT 67185 SOS 38719 HAS SOPS 37799 HAS SOUS 27358 HAS SOUPS 26503 WITH SCORE 26541.719
AT ITER 180 NEW BEST:: SOT 67177 SOS 38758 HAS SOPS 37789 HAS SOUS 27271 HAS SOUPS 26367 WITH SCORE 26405.758
AT ITER 183 NEW BEST:: SOT 67042 SOS 38607 HAS SOPS 37638 HAS SOUS 27180 HAS SOUPS 26276 WITH SCORE 26314.607
AT ITER 185 NEW BEST:: SOT 66903 SOS 38607 HAS SOPS 37486 HAS SOUS 27217 HAS SOUPS 26161 WITH SCORE 26199.607
AT ITER 186 NEW BEST:: SOT 66903 SOS 38228 HAS SOPS 37107 HAS SOUS 27203 HAS SOUPS 26147 WITH SCORE 26185.228
AT ITER 189 NEW BEST:: SOT 66821 SOS 38132 HAS SOPS 37025 HAS SOUS 27107 HAS SOUPS 26065 WITH SCORE 26103.132
AT ITER 190 NEW BEST:: SOT 66717 SOS 38004 HAS SOPS 36924 HAS SOUS 27005 HAS SOUPS 25964 WITH SCORE 26002.004
AT ITER 192 NEW BEST:: SOT 66595 SOS 37882 HAS SOPS 36802 HAS SOUS 26973 HAS SOUPS 25932 WITH SCORE 25969.882
AT ITER 194 NEW BEST:: SOT 66528 SOS 37815 HAS SOPS 36735 HAS SOUS 26840 HAS SOUPS 25799 WITH SCORE 25836.815
AT ITER 195 NEW BEST:: SOT 66518 SOS 37733 HAS SOPS 36710 HAS SOUS 26768 HAS SOUPS 25784 WITH SCORE 25821.733
AT ITER 199 NEW BEST:: SOT 66518 SOS 37584 HAS SOPS 36615 HAS SOUS 26714 HAS SOUPS 25784 WITH SCORE 25821.584
AT ITER 202 NEW BEST:: SOT 66518 SOS 37584 HAS SOPS 36615 HAS SOUS 26708 HAS SOUPS 25778 WITH SCORE 25815.584
AT ITER 204 NEW BEST:: SOT 66461 SOS 37515 HAS SOPS 36546 HAS SOUS 26639 HAS SOUPS 25709 WITH SCORE 25746.515
AT ITER 206 NEW BEST:: SOT 66453 SOS 37507 HAS SOPS 36538 HAS SOUS 26631 HAS SOUPS 25701 WITH SCORE 25738.507
AT ITER 207 NEW BEST:: SOT 66429 SOS 37483 HAS SOPS 36514 HAS SOUS 26545 HAS SOUPS 25615 WITH SCORE 25652.483
AT ITER 214 NEW BEST:: SOT 66436 SOS 37472 HAS SOPS 36503 HAS SOUS 26535 HAS SOUPS 25605 WITH SCORE 25642.472
AT ITER 216 NEW BEST:: SOT 66436 SOS 37471 HAS SOPS 36502 HAS SOUS 26534 HAS SOUPS 25604 WITH SCORE 25641.471
AT ITER 217 NEW BEST:: SOT 66348 SOS 37445 HAS SOPS 36476 HAS SOUS 26420 HAS SOUPS 25490 WITH SCORE 25527.445
AT ITER 220 NEW BEST:: SOT 66348 SOS 37303 HAS SOPS 36334 HAS SOUS 26397 HAS SOUPS 25467 WITH SCORE 25504.303
AT ITER 222 NEW BEST:: SOT 66252 SOS 37135 HAS SOPS 36166 HAS SOUS 26277 HAS SOUPS 25347 WITH SCORE 25384.135
AT ITER 224 NEW BEST:: SOT 66273 SOS 37114 HAS SOPS 36145 HAS SOUS 26256 HAS SOUPS 25326 WITH SCORE 25363.114
AT ITER 229 NEW BEST:: SOT 66128 SOS 36870 HAS SOPS 35914 HAS SOUS 26143 HAS SOUPS 25213 WITH SCORE 25249.87
AT ITER 231 NEW BEST:: SOT 66115 SOS 36824 HAS SOPS 35868 HAS SOUS 26097 HAS SOUPS 25167 WITH SCORE 25203.824
AT ITER 240 NEW BEST:: SOT 66115 SOS 36719 HAS SOPS 35763 HAS SOUS 26045 HAS SOUPS 25115 WITH SCORE 25151.719
AT ITER 242 NEW BEST:: SOT 65580 SOS 36357 HAS SOPS 35372 HAS SOUS 25633 HAS SOUPS 24675 WITH SCORE 24711.357
AT ITER 243 NEW BEST:: SOT 65580 SOS 36277 HAS SOPS 35292 HAS SOUS 25593 HAS SOUPS 24635 WITH SCORE 24671.277
AT ITER 245 NEW BEST:: SOT 65580 SOS 36270 HAS SOPS 35285 HAS SOUS 25523 HAS SOUPS 24565 WITH SCORE 24601.27
AT ITER 253 NEW BEST:: SOT 65514 SOS 36167 HAS SOPS 35182 HAS SOUS 25403 HAS SOUPS 24445 WITH SCORE 24481.167
AT ITER 259 NEW BEST:: SOT 65437 SOS 36090 HAS SOPS 35076 HAS SOUS 25355 HAS SOUPS 24368 WITH SCORE 24404.09
AT ITER 261 NEW BEST:: SOT 65277 SOS 35926 HAS SOPS 34912 HAS SOUS 25220 HAS SOUPS 24233 WITH SCORE 24268.926
AT ITER 268 NEW BEST:: SOT 65277 SOS 35794 HAS SOPS 34780 HAS SOUS 25183 HAS SOUPS 24196 WITH SCORE 24231.794
AT ITER 269 NEW BEST:: SOT 65277 SOS 35768 HAS SOPS 34754 HAS SOUS 25170 HAS SOUPS 24183 WITH SCORE 24218.768
AT ITER 271 NEW BEST:: SOT 64900 SOS 35218 HAS SOPS 34152 HAS SOUS 24738 HAS SOUPS 23699 WITH SCORE 23734.218
AT ITER 280 NEW BEST:: SOT 64909 SOS 35417 HAS SOPS 34288 HAS SOUS 24794 HAS SOUPS 23692 WITH SCORE 23727.417
AT ITER 287 NEW BEST:: SOT 64614 SOS 34847 HAS SOPS 33718 HAS SOUS 24555 HAS SOUPS 23453 WITH SCORE 23487.847
AT ITER 289 NEW BEST:: SOT 64614 SOS 34787 HAS SOPS 33658 HAS SOUS 24495 HAS SOUPS 23393 WITH SCORE 23427.787
AT ITER 297 NEW BEST:: SOT 64538 SOS 34683 HAS SOPS 33554 HAS SOUS 24443 HAS SOUPS 23341 WITH SCORE 23375.683
AT ITER 298 NEW BEST:: SOT 64426 SOS 34457 HAS SOPS 33328 HAS SOUS 24272 HAS SOUPS 23170 WITH SCORE 23204.457
AT ITER 316 NEW BEST:: SOT 64421 SOS 34446 HAS SOPS 33317 HAS SOUS 24266 HAS SOUPS 23164 WITH SCORE 23198.446
AT ITER 325 NEW BEST:: SOT 64319 SOS 34340 HAS SOPS 33129 HAS SOUS 24115 HAS SOUPS 22931 WITH SCORE 22965.34
AT ITER 327 NEW BEST:: SOT 64318 SOS 33394 HAS SOPS 32392 HAS SOUS 23904 HAS SOUPS 22929 WITH SCORE 22962.394
AT ITER 331 NEW BEST:: SOT 64312 SOS 33382 HAS SOPS 32380 HAS SOUS 23901 HAS SOUPS 22926 WITH SCORE 22959.382
AT ITER 340 NEW BEST:: SOT 64265 SOS 33293 HAS SOPS 32291 HAS SOUS 23849 HAS SOUPS 22874 WITH SCORE 22907.293
AT ITER 344 NEW BEST:: SOT 64244 SOS 33257 HAS SOPS 32255 HAS SOUS 23823 HAS SOUPS 22848 WITH SCORE 22881.257
AT ITER 347 NEW BEST:: SOT 64131 SOS 33071 HAS SOPS 32069 HAS SOUS 23722 HAS SOUPS 22747 WITH SCORE 22780.071
AT ITER 366 NEW BEST:: SOT 64061 SOS 33019 HAS SOPS 31995 HAS SOUS 23706 HAS SOUPS 22709 WITH SCORE 22742.019
AT ITER 368 NEW BEST:: SOT 63913 SOS 32935 HAS SOPS 31757 HAS SOUS 23782 HAS SOUPS 22631 WITH SCORE 22663.935
AT ITER 379 NEW BEST:: SOT 63886 SOS 32899 HAS SOPS 31721 HAS SOUS 23746 HAS SOUPS 22595 WITH SCORE 22627.899
AT ITER 383 NEW BEST:: SOT 63796 SOS 32800 HAS SOPS 31622 HAS SOUS 23692 HAS SOUPS 22541 WITH SCORE 22573.8
AT ITER 386 NEW BEST:: SOT 63796 SOS 32720 HAS SOPS 31542 HAS SOUS 23651 HAS SOUPS 22500 WITH SCORE 22532.72
AT ITER 390 NEW BEST:: SOT 63777 SOS 32401 HAS SOPS 31174 HAS SOUS 23617 HAS SOUPS 22441 WITH SCORE 22473.401
AT ITER 391 NEW BEST:: SOT 63957 SOS 32531 HAS SOPS 31304 HAS SOUS 23571 HAS SOUPS 22395 WITH SCORE 22427.531
AT ITER 403 NEW BEST:: SOT 63853 SOS 32258 HAS SOPS 31132 HAS SOUS 23413 HAS SOUPS 22326 WITH SCORE 22358.258
AT ITER 406 NEW BEST:: SOT 63842 SOS 32214 HAS SOPS 31099 HAS SOUS 23380 HAS SOUPS 22304 WITH SCORE 22336.214
AT ITER 408 NEW BEST:: SOT 63793 SOS 32094 HAS SOPS 30973 HAS SOUS 23314 HAS SOUPS 22232 WITH SCORE 22264.094
AT ITER 414 NEW BEST:: SOT 63788 SOS 32089 HAS SOPS 30968 HAS SOUS 23302 HAS SOUPS 22220 WITH SCORE 22252.089
AT ITER 419 NEW BEST:: SOT 63774 SOS 32066 HAS SOPS 30945 HAS SOUS 23279 HAS SOUPS 22197 WITH SCORE 22229.066
AT ITER 423 NEW BEST:: SOT 63774 SOS 32090 HAS SOPS 30936 HAS SOUS 23303 HAS SOUPS 22188 WITH SCORE 22220.09
AT ITER 424 NEW BEST:: SOT 63774 SOS 32078 HAS SOPS 30924 HAS SOUS 23291 HAS SOUPS 22176 WITH SCORE 22208.078
AT ITER 425 NEW BEST:: SOT 63662 SOS 31997 HAS SOPS 30843 HAS SOUS 23266 HAS SOUPS 22151 WITH SCORE 22182.997
AT ITER 431 NEW BEST:: SOT 63662 SOS 31997 HAS SOPS 30802 HAS SOUS 23296 HAS SOUPS 22140 WITH SCORE 22171.997
AT ITER 436 NEW BEST:: SOT 62619 SOS 31243 HAS SOPS 30048 HAS SOUS 22833 HAS SOUPS 21677 WITH SCORE 21708.243
AT ITER 437 NEW BEST:: SOT 62581 SOS 31248 HAS SOPS 30053 HAS SOUS 22795 HAS SOUPS 21639 WITH SCORE 21670.248
AT ITER 440 NEW BEST:: SOT 62453 SOS 31113 HAS SOPS 29843 HAS SOUS 22742 HAS SOUPS 21511 WITH SCORE 21542.113
AT ITER 441 NEW BEST:: SOT 62433 SOS 31063 HAS SOPS 29803 HAS SOUS 22712 HAS SOUPS 21491 WITH SCORE 21522.063
AT ITER 458 NEW BEST:: SOT 62411 SOS 31141 HAS SOPS 29881 HAS SOUS 22696 HAS SOUPS 21475 WITH SCORE 21506.141
AT ITER 459 NEW BEST:: SOT 62361 SOS 30990 HAS SOPS 29780 HAS SOUS 22595 HAS SOUPS 21424 WITH SCORE 21454.99
AT ITER 460 NEW BEST:: SOT 62125 SOS 30869 HAS SOPS 29323 HAS SOUS 22589 HAS SOUPS 21082 WITH SCORE 21112.869
AT ITER 462 NEW BEST:: SOT 62129 SOS 30899 HAS SOPS 29304 HAS SOUS 22619 HAS SOUPS 21063 WITH SCORE 21093.899
AT ITER 483 NEW BEST:: SOT 62113 SOS 30851 HAS SOPS 29264 HAS SOUS 22587 HAS SOUPS 21039 WITH SCORE 21069.851
AT ITER 488 NEW BEST:: SOT 62476 SOS 30877 HAS SOPS 29280 HAS SOUS 22510 HAS SOUPS 20952 WITH SCORE 20982.877
AT ITER 493 NEW BEST:: SOT 62371 SOS 30633 HAS SOPS 29031 HAS SOUS 22266 HAS SOUPS 20703 WITH SCORE 20733.633
AT ITER 501 NEW BEST:: SOT 62337 SOS 30565 HAS SOPS 28963 HAS SOUS 22198 HAS SOUPS 20635 WITH SCORE 20665.565
AT ITER 510 NEW BEST:: SOT 62291 SOS 30457 HAS SOPS 28855 HAS SOUS 22136 HAS SOUPS 20573 WITH SCORE 20603.457
AT ITER 522 NEW BEST:: SOT 62241 SOS 30407 HAS SOPS 28805 HAS SOUS 22036 HAS SOUPS 20473 WITH SCORE 20503.407
AT ITER 527 NEW BEST:: SOT 62265 SOS 30318 HAS SOPS 28716 HAS SOUS 22008 HAS SOUPS 20445 WITH SCORE 20475.318
AT ITER 528 NEW BEST:: SOT 61895 SOS 29948 HAS SOPS 28346 HAS SOUS 21692 HAS SOUPS 20129 WITH SCORE 20158.948
AT ITER 530 NEW BEST:: SOT 61724 SOS 29913 HAS SOPS 28092 HAS SOUS 21737 HAS SOUPS 19955 WITH SCORE 19984.913
AT ITER 541 NEW BEST:: SOT 61715 SOS 29877 HAS SOPS 28056 HAS SOUS 21710 HAS SOUPS 19928 WITH SCORE 19957.877
AT ITER 550 NEW BEST:: SOT 61661 SOS 29863 HAS SOPS 28011 HAS SOUS 21717 HAS SOUPS 19910 WITH SCORE 19939.863
AT ITER 551 NEW BEST:: SOT 61661 SOS 29775 HAS SOPS 27945 HAS SOUS 21673 HAS SOUPS 19888 WITH SCORE 19917.775
AT ITER 552 NEW BEST:: SOT 61613 SOS 29743 HAS SOPS 27873 HAS SOUS 21665 HAS SOUPS 19840 WITH SCORE 19869.743
AT ITER 554 NEW BEST:: SOT 61610 SOS 29737 HAS SOPS 27867 HAS SOUS 21661 HAS SOUPS 19836 WITH SCORE 19865.737
AT ITER 561 NEW BEST:: SOT 61581 SOS 29708 HAS SOPS 27837 HAS SOUS 21660 HAS SOUPS 19834 WITH SCORE 19863.708
AT ITER 562 NEW BEST:: SOT 61465 SOS 29715 HAS SOPS 27715 HAS SOUS 21680 HAS SOUPS 19725 WITH SCORE 19754.715
AT ITER 570 NEW BEST:: SOT 61403 SOS 28707 HAS SOPS 26707 HAS SOUS 21507 HAS SOUPS 19552 WITH SCORE 19580.707
AT ITER 575 NEW BEST:: SOT 61391 SOS 28659 HAS SOPS 26671 HAS SOUS 21471 HAS SOUPS 19528 WITH SCORE 19556.659
AT ITER 580 NEW BEST:: SOT 61349 SOS 28586 HAS SOPS 26572 HAS SOUS 21465 HAS SOUPS 19496 WITH SCORE 19524.586
AT ITER 595 NEW BEST:: SOT 61288 SOS 28535 HAS SOPS 26545 HAS SOUS 21410 HAS SOUPS 19465 WITH SCORE 19493.535
AT ITER 601 NEW BEST:: SOT 61356 SOS 28588 HAS SOPS 26598 HAS SOUS 21409 HAS SOUPS 19464 WITH SCORE 19492.588
AT ITER 629 NEW BEST:: SOT 61344 SOS 28522 HAS SOPS 26532 HAS SOUS 21343 HAS SOUPS 19398 WITH SCORE 19426.522
AT ITER 632 NEW BEST:: SOT 61318 SOS 28496 HAS SOPS 26495 HAS SOUS 21317 HAS SOUPS 19361 WITH SCORE 19389.496
AT ITER 639 NEW BEST:: SOT 61271 SOS 28449 HAS SOPS 26448 HAS SOUS 21317 HAS SOUPS 19361 WITH SCORE 19389.449
AT ITER 641 NEW BEST:: SOT 61218 SOS 28130 HAS SOPS 26215 HAS SOUS 21084 HAS SOUPS 19214 WITH SCORE 19242.13
AT ITER 645 NEW BEST:: SOT 61188 SOS 28070 HAS SOPS 26140 HAS SOUS 21054 HAS SOUPS 19169 WITH SCORE 19197.07
AT ITER 646 NEW BEST:: SOT 61173 SOS 27991 HAS SOPS 26061 HAS SOUS 21009 HAS SOUPS 19124 WITH SCORE 19151.991
AT ITER 651 NEW BEST:: SOT 61187 SOS 28019 HAS SOPS 26044 HAS SOUS 21023 HAS SOUPS 19093 WITH SCORE 19121.019
AT ITER 658 NEW BEST:: SOT 61213 SOS 28183 HAS SOPS 26184 HAS SOUS 21008 HAS SOUPS 19054 WITH SCORE 19082.183
AT ITER 660 NEW BEST:: SOT 61157 SOS 28190 HAS SOPS 26191 HAS SOUS 20952 HAS SOUPS 18998 WITH SCORE 19026.19
AT ITER 663 NEW BEST:: SOT 61136 SOS 28118 HAS SOPS 26119 HAS SOUS 20931 HAS SOUPS 18977 WITH SCORE 19005.118
AT ITER 664 NEW BEST:: SOT 61108 SOS 28158 HAS SOPS 26130 HAS SOUS 20914 HAS SOUPS 18945 WITH SCORE 18973.158
AT ITER 665 NEW BEST:: SOT 61003 SOS 28168 HAS SOPS 26062 HAS SOUS 20842 HAS SOUPS 18795 WITH SCORE 18823.168
AT ITER 670 NEW BEST:: SOT 60995 SOS 28160 HAS SOPS 26062 HAS SOUS 20834 HAS SOUPS 18795 WITH SCORE 18823.16
AT ITER 693 NEW BEST:: SOT 60959 SOS 28124 HAS SOPS 26017 HAS SOUS 20807 HAS SOUPS 18759 WITH SCORE 18787.124
AT ITER 705 NEW BEST:: SOT 61033 SOS 28092 HAS SOPS 25985 HAS SOUS 20791 HAS SOUPS 18743 WITH SCORE 18771.092
AT ITER 707 NEW BEST:: SOT 61047 SOS 27945 HAS SOPS 25838 HAS SOUS 20717 HAS SOUPS 18669 WITH SCORE 18696.945
AT ITER 720 NEW BEST:: SOT 61047 SOS 27924 HAS SOPS 25773 HAS SOUS 20761 HAS SOUPS 18669 WITH SCORE 18696.924
AT ITER 726 NEW BEST:: SOT 61044 SOS 27921 HAS SOPS 25706 HAS SOUS 20758 HAS SOUPS 18602 WITH SCORE 18629.921
AT ITER 733 NEW BEST:: SOT 61013 SOS 27797 HAS SOPS 25613 HAS SOUS 20665 HAS SOUPS 18540 WITH SCORE 18567.797
AT ITER 738 NEW BEST:: SOT 60949 SOS 27745 HAS SOPS 25515 HAS SOUS 20665 HAS SOUPS 18494 WITH SCORE 18521.745
AT ITER 741 NEW BEST:: SOT 60937 SOS 27733 HAS SOPS 25503 HAS SOUS 20657 HAS SOUPS 18486 WITH SCORE 18513.733
AT ITER 750 NEW BEST:: SOT 60877 SOS 27671 HAS SOPS 25397 HAS SOUS 20634 HAS SOUPS 18419 WITH SCORE 18446.671
AT ITER 754 NEW BEST:: SOT 60795 SOS 27520 HAS SOPS 25233 HAS SOUS 20597 HAS SOUPS 18382 WITH SCORE 18409.52
AT ITER 775 NEW BEST:: SOT 60675 SOS 27339 HAS SOPS 25052 HAS SOUS 20477 HAS SOUPS 18262 WITH SCORE 18289.339
AT ITER 780 NEW BEST:: SOT 60653 SOS 27295 HAS SOPS 25008 HAS SOUS 20466 HAS SOUPS 18251 WITH SCORE 18278.295
AT ITER 783 NEW BEST:: SOT 60641 SOS 27280 HAS SOPS 24993 HAS SOUS 20454 HAS SOUPS 18239 WITH SCORE 18266.28
AT ITER 787 NEW BEST:: SOT 60570 SOS 27209 HAS SOPS 24922 HAS SOUS 20383 HAS SOUPS 18168 WITH SCORE 18195.209
AT ITER 801 NEW BEST:: SOT 60552 SOS 27173 HAS SOPS 24886 HAS SOUS 20347 HAS SOUPS 18132 WITH SCORE 18159.173
AT ITER 807 NEW BEST:: SOT 60556 SOS 27177 HAS SOPS 24886 HAS SOUS 20347 HAS SOUPS 18128 WITH SCORE 18155.177
AT ITER 808 NEW BEST:: SOT 60555 SOS 27176 HAS SOPS 24885 HAS SOUS 20346 HAS SOUPS 18127 WITH SCORE 18154.176
AT ITER 815 NEW BEST:: SOT 60361 SOS 26920 HAS SOPS 24604 HAS SOUS 20208 HAS SOUPS 17972 WITH SCORE 17998.92
AT ITER 823 NEW BEST:: SOT 60432 SOS 27015 HAS SOPS 24699 HAS SOUS 20188 HAS SOUPS 17952 WITH SCORE 17979.015
AT ITER 850 NEW BEST:: SOT 60431 SOS 27010 HAS SOPS 24693 HAS SOUS 20183 HAS SOUPS 17946 WITH SCORE 17973.01
AT ITER 851 NEW BEST:: SOT 60420 SOS 27121 HAS SOPS 24704 HAS SOUS 20244 HAS SOUPS 17920 WITH SCORE 17947.121
AT ITER 866 NEW BEST:: SOT 60382 SOS 27063 HAS SOPS 24646 HAS SOUS 20218 HAS SOUPS 17894 WITH SCORE 17921.063
AT ITER 871 NEW BEST:: SOT 60344 SOS 26994 HAS SOPS 24577 HAS SOUS 20149 HAS SOUPS 17825 WITH SCORE 17851.994
AT ITER 873 NEW BEST:: SOT 60327 SOS 26960 HAS SOPS 24543 HAS SOUS 20132 HAS SOUPS 17808 WITH SCORE 17834.96
AT ITER 875 NEW BEST:: SOT 60327 SOS 27032 HAS SOPS 24579 HAS SOUS 20096 HAS SOUPS 17772 WITH SCORE 17799.032
AT ITER 884 NEW BEST:: SOT 60201 SOS 26944 HAS SOPS 24453 HAS SOUS 20008 HAS SOUPS 17646 WITH SCORE 17672.944
AT ITER 908 NEW BEST:: SOT 60204 SOS 26876 HAS SOPS 24385 HAS SOUS 19975 HAS SOUPS 17613 WITH SCORE 17639.876
AT ITER 912 NEW BEST:: SOT 60204 SOS 26874 HAS SOPS 24385 HAS SOUS 19973 HAS SOUPS 17613 WITH SCORE 17639.874
AT ITER 924 NEW BEST:: SOT 60202 SOS 26869 HAS SOPS 24380 HAS SOUS 19970 HAS SOUPS 17610 WITH SCORE 17636.869
AT ITER 931 NEW BEST:: SOT 60202 SOS 26845 HAS SOPS 24364 HAS SOUS 19954 HAS SOUPS 17602 WITH SCORE 17628.845
AT ITER 944 NEW BEST:: SOT 60202 SOS 26831 HAS SOPS 24350 HAS SOUS 19940 HAS SOUPS 17588 WITH SCORE 17614.831
AT ITER 950 NEW BEST:: SOT 60067 SOS 26651 HAS SOPS 24215 HAS SOUS 19850 HAS SOUPS 17543 WITH SCORE 17569.651
AT ITER 962 NEW BEST:: SOT 59932 SOS 26516 HAS SOPS 24080 HAS SOUS 19789 HAS SOUPS 17482 WITH SCORE 17508.516
AT ITER 967 NEW BEST:: SOT 59556 SOS 25849 HAS SOPS 23426 HAS SOUS 19400 HAS SOUPS 17106 WITH SCORE 17131.849
AT ITER 986 NEW BEST:: SOT 59507 SOS 25753 HAS SOPS 23328 HAS SOUS 19351 HAS SOUPS 17055 WITH SCORE 17080.753
AT ITER 987 NEW BEST:: SOT 59506 SOS 25776 HAS SOPS 23339 HAS SOUS 19362 HAS SOUPS 17054 WITH SCORE 17079.776
AT ITER 998 NEW BEST:: SOT 59482 SOS 25716 HAS SOPS 23279 HAS SOUS 19314 HAS SOUPS 17006 WITH SCORE 17031.716
AT ITER 1007 NEW BEST:: SOT 59485 SOS 25719 HAS SOPS 23263 HAS SOUS 19327 HAS SOUPS 17000 WITH SCORE 17025.719
AT ITER 1011 NEW BEST:: SOT 59384 SOS 25990 HAS SOPS 23416 HAS SOUS 19395 HAS SOUPS 16950 WITH SCORE 16975.99
AT ITER 1023 NEW BEST:: SOT 59240 SOS 25725 HAS SOPS 23151 HAS SOUS 19335 HAS SOUPS 16890 WITH SCORE 16915.725
AT ITER 1025 NEW BEST:: SOT 59218 SOS 25681 HAS SOPS 23118 HAS SOUS 19313 HAS SOUPS 16879 WITH SCORE 16904.681
AT ITER 1035 NEW BEST:: SOT 59210 SOS 25652 HAS SOPS 23089 HAS SOUS 19292 HAS SOUPS 16858 WITH SCORE 16883.652
AT ITER 1042 NEW BEST:: SOT 59208 SOS 25648 HAS SOPS 23085 HAS SOUS 19290 HAS SOUPS 16856 WITH SCORE 16881.648
AT ITER 1057 NEW BEST:: SOT 59196 SOS 25624 HAS SOPS 23046 HAS SOUS 19266 HAS SOUPS 16817 WITH SCORE 16842.624
AT ITER 1061 NEW BEST:: SOT 59166 SOS 25554 HAS SOPS 22996 HAS SOUS 19246 HAS SOUPS 16807 WITH SCORE 16832.554
AT ITER 1080 NEW BEST:: SOT 59064 SOS 25452 HAS SOPS 22860 HAS SOUS 19212 HAS SOUPS 16739 WITH SCORE 16764.452
AT ITER 1087 NEW BEST:: SOT 59064 SOS 25446 HAS SOPS 22850 HAS SOUS 19212 HAS SOUPS 16737 WITH SCORE 16762.446
AT ITER 1107 NEW BEST:: SOT 59062 SOS 25441 HAS SOPS 22845 HAS SOUS 19209 HAS SOUPS 16734 WITH SCORE 16759.441
AT ITER 1133 NEW BEST:: SOT 59032 SOS 25435 HAS SOPS 22838 HAS SOUS 19201 HAS SOUPS 16725 WITH SCORE 16750.435
AT ITER 1141 NEW BEST:: SOT 58974 SOS 25222 HAS SOPS 22625 HAS SOUS 19145 HAS SOUPS 16669 WITH SCORE 16694.222
AT ITER 1152 NEW BEST:: SOT 58925 SOS 25124 HAS SOPS 22527 HAS SOUS 19096 HAS SOUPS 16620 WITH SCORE 16645.124
AT ITER 1176 NEW BEST:: SOT 58919 SOS 25118 HAS SOPS 22521 HAS SOUS 19093 HAS SOUPS 16617 WITH SCORE 16642.118
AT ITER 1205 NEW BEST:: SOT 58784 SOS 24987 HAS SOPS 22361 HAS SOUS 18929 HAS SOUPS 16453 WITH SCORE 16477.987
AT ITER 1208 NEW BEST:: SOT 58781 SOS 24984 HAS SOPS 22358 HAS SOUS 18926 HAS SOUPS 16450 WITH SCORE 16474.984
AT ITER 1210 NEW BEST:: SOT 58760 SOS 24964 HAS SOPS 22338 HAS SOUS 18906 HAS SOUPS 16430 WITH SCORE 16454.964
AT ITER 1222 NEW BEST:: SOT 58760 SOS 24971 HAS SOPS 22338 HAS SOUS 18906 HAS SOUPS 16423 WITH SCORE 16447.971
AT ITER 1228 NEW BEST:: SOT 58756 SOS 24469 HAS SOPS 21836 HAS SOUS 18876 HAS SOUPS 16393 WITH SCORE 16417.469
AT ITER 1265 NEW BEST:: SOT 58725 SOS 24326 HAS SOPS 21805 HAS SOUS 18733 HAS SOUPS 16362 WITH SCORE 16386.326
AT ITER 1281 NEW BEST:: SOT 58694 SOS 24286 HAS SOPS 21765 HAS SOUS 18714 HAS SOUPS 16343 WITH SCORE 16367.286
AT ITER 1306 NEW BEST:: SOT 58625 SOS 24099 HAS SOPS 21657 HAS SOUS 18560 HAS SOUPS 16268 WITH SCORE 16292.099
AT ITER 1308 NEW BEST:: SOT 58595 SOS 24090 HAS SOPS 21648 HAS SOUS 18533 HAS SOUPS 16241 WITH SCORE 16265.09
AT ITER 1322 NEW BEST:: SOT 58539 SOS 24054 HAS SOPS 21536 HAS SOUS 18553 HAS SOUPS 16185 WITH SCORE 16209.054
AT ITER 1339 NEW BEST:: SOT 58497 SOS 24054 HAS SOPS 21494 HAS SOUS 18553 HAS SOUPS 16143 WITH SCORE 16167.054
AT ITER 1343 NEW BEST:: SOT 58440 SOS 23997 HAS SOPS 21437 HAS SOUS 18514 HAS SOUPS 16104 WITH SCORE 16127.997
AT ITER 1349 NEW BEST:: SOT 58437 SOS 23994 HAS SOPS 21437 HAS SOUS 18511 HAS SOUPS 16104 WITH SCORE 16127.994
AT ITER 1351 NEW BEST:: SOT 58337 SOS 23873 HAS SOPS 21243 HAS SOUS 18490 HAS SOUPS 16010 WITH SCORE 16033.873
AT ITER 1362 NEW BEST:: SOT 58333 SOS 23830 HAS SOPS 21213 HAS SOUS 18460 HAS SOUPS 15993 WITH SCORE 16016.83
AT ITER 1386 NEW BEST:: SOT 58307 SOS 23879 HAS SOPS 21224 HAS SOUS 18497 HAS SOUPS 15992 WITH SCORE 16015.879
AT ITER 1402 NEW BEST:: SOT 58301 SOS 23855 HAS SOPS 21206 HAS SOUS 18479 HAS SOUPS 15980 WITH SCORE 16003.855
AT ITER 1411 NEW BEST:: SOT 58233 SOS 23787 HAS SOPS 21138 HAS SOUS 18457 HAS SOUPS 15958 WITH SCORE 15981.787
AT ITER 1421 NEW BEST:: SOT 58215 SOS 23785 HAS SOPS 21136 HAS SOUS 18445 HAS SOUPS 15946 WITH SCORE 15969.785
AT ITER 1426 NEW BEST:: SOT 58220 SOS 23790 HAS SOPS 21141 HAS SOUS 18441 HAS SOUPS 15942 WITH SCORE 15965.79
AT ITER 1433 NEW BEST:: SOT 58220 SOS 23738 HAS SOPS 21089 HAS SOUS 18415 HAS SOUPS 15916 WITH SCORE 15939.738
AT ITER 1438 NEW BEST:: SOT 58220 SOS 23738 HAS SOPS 21089 HAS SOUS 18405 HAS SOUPS 15906 WITH SCORE 15929.738
AT ITER 1455 NEW BEST:: SOT 58199 SOS 23717 HAS SOPS 21053 HAS SOUS 18393 HAS SOUPS 15879 WITH SCORE 15902.717
AT ITER 1463 NEW BEST:: SOT 58199 SOS 23641 HAS SOPS 20996 HAS SOUS 18393 HAS SOUPS 15879 WITH SCORE 15902.641
AT ITER 1467 NEW BEST:: SOT 58056 SOS 23451 HAS SOPS 20806 HAS SOUS 18250 HAS SOUPS 15736 WITH SCORE 15759.451
AT ITER 1468 NEW BEST:: SOT 58130 SOS 23564 HAS SOPS 20853 HAS SOUS 18258 HAS SOUPS 15705 WITH SCORE 15728.564
AT ITER 1495 NEW BEST:: SOT 58144 SOS 23599 HAS SOPS 20888 HAS SOUS 18257 HAS SOUPS 15704 WITH SCORE 15727.599
AT ITER 1506 NEW BEST:: SOT 58138 SOS 23588 HAS SOPS 20868 HAS SOUS 18249 HAS SOUPS 15687 WITH SCORE 15710.588
AT ITER 1508 NEW BEST:: SOT 58166 SOS 23581 HAS SOPS 20861 HAS SOUS 18242 HAS SOUPS 15680 WITH SCORE 15703.581
AT ITER 1509 NEW BEST:: SOT 58159 SOS 23553 HAS SOPS 20833 HAS SOUS 18221 HAS SOUPS 15659 WITH SCORE 15682.553
AT ITER 1511 NEW BEST:: SOT 57971 SOS 23272 HAS SOPS 20645 HAS SOUS 18034 HAS SOUPS 15565 WITH SCORE 15588.272
AT ITER 1518 NEW BEST:: SOT 57939 SOS 23228 HAS SOPS 20615 HAS SOUS 17990 HAS SOUPS 15535 WITH SCORE 15558.228
AT ITER 1522 NEW BEST:: SOT 57938 SOS 23173 HAS SOPS 20533 HAS SOUS 17970 HAS SOUPS 15488 WITH SCORE 15511.173
AT ITER 1530 NEW BEST:: SOT 57949 SOS 23184 HAS SOPS 20544 HAS SOUS 17961 HAS SOUPS 15479 WITH SCORE 15502.184
AT ITER 1552 NEW BEST:: SOT 57934 SOS 23141 HAS SOPS 20521 HAS SOUS 17944 HAS SOUPS 15476 WITH SCORE 15499.141
AT ITER 1556 NEW BEST:: SOT 57940 SOS 23118 HAS SOPS 20498 HAS SOUS 17921 HAS SOUPS 15453 WITH SCORE 15476.118
AT ITER 1560 NEW BEST:: SOT 57943 SOS 23215 HAS SOPS 20521 HAS SOUS 17941 HAS SOUPS 15399 WITH SCORE 15422.215
AT ITER 1568 NEW BEST:: SOT 57928 SOS 23200 HAS SOPS 20496 HAS SOUS 17926 HAS SOUPS 15374 WITH SCORE 15397.2
AT ITER 1579 NEW BEST:: SOT 58701 SOS 23908 HAS SOPS 21204 HAS SOUS 17855 HAS SOUPS 15303 WITH SCORE 15326.908
AT ITER 1593 NEW BEST:: SOT 58688 SOS 23939 HAS SOPS 21235 HAS SOUS 17849 HAS SOUPS 15297 WITH SCORE 15320.939
AT ITER 1595 NEW BEST:: SOT 58688 SOS 23939 HAS SOPS 21235 HAS SOUS 17848 HAS SOUPS 15296 WITH SCORE 15319.939
AT ITER 1596 NEW BEST:: SOT 58690 SOS 23940 HAS SOPS 21236 HAS SOUS 17844 HAS SOUPS 15292 WITH SCORE 15315.94
AT ITER 1654 NEW BEST:: SOT 58687 SOS 23925 HAS SOPS 21221 HAS SOUS 17841 HAS SOUPS 15289 WITH SCORE 15312.925
AT ITER 1666 NEW BEST:: SOT 58676 SOS 23856 HAS SOPS 21152 HAS SOUS 17812 HAS SOUPS 15260 WITH SCORE 15283.856
AT ITER 1683 NEW BEST:: SOT 58556 SOS 23634 HAS SOPS 20930 HAS SOUS 17666 HAS SOUPS 15114 WITH SCORE 15137.634
AT ITER 1695 NEW BEST:: SOT 58550 SOS 23622 HAS SOPS 20918 HAS SOUS 17639 HAS SOUPS 15087 WITH SCORE 15110.622
AT ITER 1715 NEW BEST:: SOT 58555 SOS 23614 HAS SOPS 20910 HAS SOUS 17636 HAS SOUPS 15084 WITH SCORE 15107.614
AT ITER 1724 NEW BEST:: SOT 58508 SOS 23450 HAS SOPS 20793 HAS SOUS 17519 HAS SOUPS 15014 WITH SCORE 15037.45
AT ITER 1730 NEW BEST:: SOT 58508 SOS 23441 HAS SOPS 20787 HAS SOUS 17513 HAS SOUPS 15011 WITH SCORE 15034.441
AT ITER 1738 NEW BEST:: SOT 58503 SOS 23442 HAS SOPS 20779 HAS SOUS 17510 HAS SOUPS 14999 WITH SCORE 15022.442
AT ITER 1739 NEW BEST:: SOT 58492 SOS 23454 HAS SOPS 20791 HAS SOUS 17470 HAS SOUPS 14959 WITH SCORE 14982.454
AT ITER 1740 NEW BEST:: SOT 58465 SOS 23348 HAS SOPS 20764 HAS SOUS 17377 HAS SOUPS 14945 WITH SCORE 14968.348
AT ITER 1761 NEW BEST:: SOT 58422 SOS 23262 HAS SOPS 20678 HAS SOUS 17317 HAS SOUPS 14885 WITH SCORE 14908.262
AT ITER 1779 NEW BEST:: SOT 58405 SOS 23228 HAS SOPS 20661 HAS SOUS 17300 HAS SOUPS 14885 WITH SCORE 14908.228
AT ITER 1823 NEW BEST:: SOT 58359 SOS 22998 HAS SOPS 20408 HAS SOUS 17254 HAS SOUPS 14816 WITH SCORE 14838.998
AT ITER 1830 NEW BEST:: SOT 58341 SOS 22960 HAS SOPS 20370 HAS SOUS 17216 HAS SOUPS 14778 WITH SCORE 14800.96
AT ITER 1838 NEW BEST:: SOT 58306 SOS 22890 HAS SOPS 20335 HAS SOUS 17181 HAS SOUPS 14778 WITH SCORE 14800.89
AT ITER 1844 NEW BEST:: SOT 58249 SOS 22769 HAS SOPS 20214 HAS SOUS 17060 HAS SOUPS 14657 WITH SCORE 14679.769
AT ITER 1855 NEW BEST:: SOT 58249 SOS 22761 HAS SOPS 20206 HAS SOUS 17060 HAS SOUPS 14657 WITH SCORE 14679.761
AT ITER 1874 NEW BEST:: SOT 58239 SOS 22751 HAS SOPS 20175 HAS SOUS 17050 HAS SOUPS 14626 WITH SCORE 14648.751
AT ITER 1877 NEW BEST:: SOT 58219 SOS 22614 HAS SOPS 20038 HAS SOUS 17013 HAS SOUPS 14589 WITH SCORE 14611.614
AT ITER 1878 NEW BEST:: SOT 58219 SOS 22613 HAS SOPS 20038 HAS SOUS 17012 HAS SOUPS 14589 WITH SCORE 14611.613
AT ITER 1913 NEW BEST:: SOT 58196 SOS 22654 HAS SOPS 20079 HAS SOUS 17007 HAS SOUPS 14584 WITH SCORE 14606.654
AT ITER 1942 NEW BEST:: SOT 58124 SOS 22510 HAS SOPS 20005 HAS SOUS 16914 HAS SOUPS 14561 WITH SCORE 14583.51
AT ITER 1948 NEW BEST:: SOT 58117 SOS 22503 HAS SOPS 19998 HAS SOUS 16906 HAS SOUPS 14553 WITH SCORE 14575.503
AT ITER 1957 NEW BEST:: SOT 58156 SOS 22484 HAS SOPS 19967 HAS SOUS 16887 HAS SOUPS 14522 WITH SCORE 14544.484
AT ITER 1961 NEW BEST:: SOT 58156 SOS 22478 HAS SOPS 19961 HAS SOUS 16881 HAS SOUPS 14516 WITH SCORE 14538.478
AT ITER 1966 NEW BEST:: SOT 58152 SOS 22461 HAS SOPS 19944 HAS SOUS 16864 HAS SOUPS 14499 WITH SCORE 14521.461
AT ITER 1968 NEW BEST:: SOT 58149 SOS 22458 HAS SOPS 19941 HAS SOUS 16861 HAS SOUPS 14496 WITH SCORE 14518.458
AT ITER 1971 NEW BEST:: SOT 58148 SOS 22457 HAS SOPS 19940 HAS SOUS 16860 HAS SOUPS 14495 WITH SCORE 14517.457
AT ITER 1979 NEW BEST:: SOT 58148 SOS 22451 HAS SOPS 19934 HAS SOUS 16850 HAS SOUPS 14485 WITH SCORE 14507.451
AT ITER 1980 NEW BEST:: SOT 58141 SOS 22444 HAS SOPS 19927 HAS SOUS 16843 HAS SOUPS 14478 WITH SCORE 14500.444
AT ITER 1989 NEW BEST:: SOT 58127 SOS 22413 HAS SOPS 19911 HAS SOUS 16814 HAS SOUPS 14464 WITH SCORE 14486.413
AT ITER 1990 NEW BEST:: SOT 58127 SOS 22389 HAS SOPS 19887 HAS SOUS 16802 HAS SOUPS 14452 WITH SCORE 14474.389
AT ITER 1998 NEW BEST:: SOT 58120 SOS 22361 HAS SOPS 19866 HAS SOUS 16781 HAS SOUPS 14438 WITH SCORE 14460.361
AT ITER 2010 NEW BEST:: SOT 58120 SOS 22343 HAS SOPS 19848 HAS SOUS 16773 HAS SOUPS 14430 WITH SCORE 14452.343
AT ITER 2056 NEW BEST:: SOT 58116 SOS 22333 HAS SOPS 19838 HAS SOUS 16767 HAS SOUPS 14424 WITH SCORE 14446.333
AT ITER 2057 NEW BEST:: SOT 58116 SOS 22297 HAS SOPS 19802 HAS SOUS 16749 HAS SOUPS 14406 WITH SCORE 14428.297
AT ITER 2096 NEW BEST:: SOT 58113 SOS 22305 HAS SOPS 19810 HAS SOUS 16745 HAS SOUPS 14402 WITH SCORE 14424.305
AT ITER 2115 NEW BEST:: SOT 58113 SOS 22305 HAS SOPS 19810 HAS SOUS 16724 HAS SOUPS 14381 WITH SCORE 14403.305
AT ITER 2141 NEW BEST:: SOT 58106 SOS 22298 HAS SOPS 19803 HAS SOUS 16717 HAS SOUPS 14374 WITH SCORE 14396.298
AT ITER 2145 NEW BEST:: SOT 58065 SOS 22247 HAS SOPS 19752 HAS SOUS 16713 HAS SOUPS 14370 WITH SCORE 14392.247
AT ITER 2147 NEW BEST:: SOT 58058 SOS 22264 HAS SOPS 19746 HAS SOUS 16726 HAS SOUPS 14360 WITH SCORE 14382.264
AT ITER 2161 NEW BEST:: SOT 58057 SOS 22263 HAS SOPS 19744 HAS SOUS 16725 HAS SOUPS 14358 WITH SCORE 14380.263
AT ITER 2168 NEW BEST:: SOT 58050 SOS 22249 HAS SOPS 19730 HAS SOUS 16718 HAS SOUPS 14351 WITH SCORE 14373.249
AT ITER 2172 NEW BEST:: SOT 58052 SOS 22246 HAS SOPS 19727 HAS SOUS 16715 HAS SOUPS 14348 WITH SCORE 14370.246
AT ITER 2214 NEW BEST:: SOT 58212 SOS 22406 HAS SOPS 19887 HAS SOUS 16705 HAS SOUPS 14338 WITH SCORE 14360.406
AT ITER 2239 NEW BEST:: SOT 58205 SOS 22367 HAS SOPS 19848 HAS SOUS 16661 HAS SOUPS 14294 WITH SCORE 14316.367
AT ITER 2247 NEW BEST:: SOT 58159 SOS 22348 HAS SOPS 19802 HAS SOUS 16678 HAS SOUPS 14284 WITH SCORE 14306.348
AT ITER 2264 NEW BEST:: SOT 58123 SOS 22292 HAS SOPS 19746 HAS SOUS 16634 HAS SOUPS 14240 WITH SCORE 14262.292
AT ITER 2271 NEW BEST:: SOT 58123 SOS 22280 HAS SOPS 19734 HAS SOUS 16622 HAS SOUPS 14228 WITH SCORE 14250.28
AT ITER 2273 NEW BEST:: SOT 58122 SOS 22279 HAS SOPS 19732 HAS SOUS 16621 HAS SOUPS 14226 WITH SCORE 14248.279
AT ITER 2284 NEW BEST:: SOT 58122 SOS 22269 HAS SOPS 19722 HAS SOUS 16611 HAS SOUPS 14216 WITH SCORE 14238.269
AT ITER 2299 NEW BEST:: SOT 58125 SOS 22228 HAS SOPS 19684 HAS SOUS 16570 HAS SOUPS 14178 WITH SCORE 14200.228
AT ITER 2300 NEW BEST:: SOT 58125 SOS 22224 HAS SOPS 19700 HAS SOUS 16550 HAS SOUPS 14178 WITH SCORE 14200.224
AT ITER 2303 NEW BEST:: SOT 58116 SOS 22215 HAS SOPS 19691 HAS SOUS 16550 HAS SOUPS 14178 WITH SCORE 14200.215
AT ITER 2315 NEW BEST:: SOT 58115 SOS 21969 HAS SOPS 19504 HAS SOUS 16489 HAS SOUPS 14176 WITH SCORE 14197.969
AT ITER 2320 NEW BEST:: SOT 58105 SOS 21949 HAS SOPS 19484 HAS SOUS 16479 HAS SOUPS 14166 WITH SCORE 14187.949
AT ITER 2326 NEW BEST:: SOT 58077 SOS 21873 HAS SOPS 19382 HAS SOUS 16439 HAS SOUPS 14126 WITH SCORE 14147.873
AT ITER 2335 NEW BEST:: SOT 58077 SOS 21865 HAS SOPS 19374 HAS SOUS 16431 HAS SOUPS 14118 WITH SCORE 14139.865
AT ITER 2338 NEW BEST:: SOT 58077 SOS 21865 HAS SOPS 19374 HAS SOUS 16428 HAS SOUPS 14115 WITH SCORE 14136.865
AT ITER 2343 NEW BEST:: SOT 58120 SOS 21908 HAS SOPS 19345 HAS SOUS 16471 HAS SOUPS 14086 WITH SCORE 14107.908
AT ITER 2344 NEW BEST:: SOT 58090 SOS 21878 HAS SOPS 19315 HAS SOUS 16441 HAS SOUPS 14056 WITH SCORE 14077.878
AT ITER 2351 NEW BEST:: SOT 58087 SOS 21875 HAS SOPS 19312 HAS SOUS 16432 HAS SOUPS 14047 WITH SCORE 14068.875
AT ITER 2368 NEW BEST:: SOT 58077 SOS 21865 HAS SOPS 19302 HAS SOUS 16422 HAS SOUPS 14037 WITH SCORE 14058.865
AT ITER 2385 NEW BEST:: SOT 58057 SOS 21845 HAS SOPS 19272 HAS SOUS 16412 HAS SOUPS 14017 WITH SCORE 14038.845
AT ITER 2391 NEW BEST:: SOT 58032 SOS 21840 HAS SOPS 19235 HAS SOUS 16397 HAS SOUPS 13970 WITH SCORE 13991.84
AT ITER 2393 NEW BEST:: SOT 58031 SOS 21839 HAS SOPS 19213 HAS SOUS 16410 HAS SOUPS 13962 WITH SCORE 13983.839
AT ITER 2401 NEW BEST:: SOT 58040 SOS 21838 HAS SOPS 19212 HAS SOUS 16409 HAS SOUPS 13961 WITH SCORE 13982.838
AT ITER 2415 NEW BEST:: SOT 58040 SOS 21824 HAS SOPS 19198 HAS SOUS 16402 HAS SOUPS 13954 WITH SCORE 13975.824
AT ITER 2433 NEW BEST:: SOT 58035 SOS 21822 HAS SOPS 19184 HAS SOUS 16398 HAS SOUPS 13950 WITH SCORE 13971.822
AT ITER 2443 NEW BEST:: SOT 57956 SOS 21723 HAS SOPS 19094 HAS SOUS 16371 HAS SOUPS 13923 WITH SCORE 13944.723
AT ITER 2444 NEW BEST:: SOT 57934 SOS 21680 HAS SOPS 19051 HAS SOUS 16350 HAS SOUPS 13902 WITH SCORE 13923.68
AT ITER 2471 NEW BEST:: SOT 57934 SOS 21680 HAS SOPS 19050 HAS SOUS 16350 HAS SOUPS 13901 WITH SCORE 13922.68
AT ITER 2473 NEW BEST:: SOT 57934 SOS 21660 HAS SOPS 19030 HAS SOUS 16330 HAS SOUPS 13881 WITH SCORE 13902.66
AT ITER 2474 NEW BEST:: SOT 57901 SOS 21594 HAS SOPS 18964 HAS SOUS 16297 HAS SOUPS 13848 WITH SCORE 13869.594
AT ITER 2491 NEW BEST:: SOT 57891 SOS 21584 HAS SOPS 18944 HAS SOUS 16293 HAS SOUPS 13834 WITH SCORE 13855.584
AT ITER 2514 NEW BEST:: SOT 57880 SOS 21562 HAS SOPS 18933 HAS SOUS 16271 HAS SOUPS 13823 WITH SCORE 13844.562
AT ITER 2588 NEW BEST:: SOT 57868 SOS 21534 HAS SOPS 18909 HAS SOUS 16255 HAS SOUPS 13811 WITH SCORE 13832.534
AT ITER 2589 NEW BEST:: SOT 57866 SOS 21532 HAS SOPS 18905 HAS SOUS 16253 HAS SOUPS 13807 WITH SCORE 13828.532
AT ITER 2602 NEW BEST:: SOT 57857 SOS 21544 HAS SOPS 18898 HAS SOUS 16266 HAS SOUPS 13801 WITH SCORE 13822.544
AT ITER 2603 NEW BEST:: SOT 57860 SOS 21533 HAS SOPS 18897 HAS SOUS 16259 HAS SOUPS 13799 WITH SCORE 13820.533
AT ITER 2604 NEW BEST:: SOT 57860 SOS 21531 HAS SOPS 18896 HAS SOUS 16258 HAS SOUPS 13799 WITH SCORE 13820.531
AT ITER 2657 NEW BEST:: SOT 57846 SOS 21464 HAS SOPS 18829 HAS SOUS 16218 HAS SOUPS 13759 WITH SCORE 13780.464
AT ITER 2668 NEW BEST:: SOT 57834 SOS 21444 HAS SOPS 18813 HAS SOUS 16206 HAS SOUPS 13751 WITH SCORE 13772.444
AT ITER 2672 NEW BEST:: SOT 57830 SOS 21436 HAS SOPS 18805 HAS SOUS 16202 HAS SOUPS 13747 WITH SCORE 13768.436
AT ITER 2695 NEW BEST:: SOT 57822 SOS 21420 HAS SOPS 18793 HAS SOUS 16196 HAS SOUPS 13743 WITH SCORE 13764.42
AT ITER 2703 NEW BEST:: SOT 57840 SOS 21438 HAS SOPS 18793 HAS SOUS 16196 HAS SOUPS 13725 WITH SCORE 13746.438
AT ITER 2709 NEW BEST:: SOT 57810 SOS 21391 HAS SOPS 18750 HAS SOUS 16175 HAS SOUPS 13708 WITH SCORE 13729.391
AT ITER 2714 NEW BEST:: SOT 57810 SOS 21369 HAS SOPS 18750 HAS SOUS 16153 HAS SOUPS 13708 WITH SCORE 13729.369
AT ITER 2721 NEW BEST:: SOT 57802 SOS 21353 HAS SOPS 18734 HAS SOUS 16145 HAS SOUPS 13700 WITH SCORE 13721.353
AT ITER 2728 NEW BEST:: SOT 57784 SOS 21281 HAS SOPS 18662 HAS SOUS 16109 HAS SOUPS 13664 WITH SCORE 13685.281
AT ITER 2732 NEW BEST:: SOT 57763 SOS 21148 HAS SOPS 18529 HAS SOUS 16066 HAS SOUPS 13621 WITH SCORE 13642.148
AT ITER 2753 NEW BEST:: SOT 57667 SOS 20956 HAS SOPS 18337 HAS SOUS 16060 HAS SOUPS 13615 WITH SCORE 13635.956
AT ITER 2754 NEW BEST:: SOT 57627 SOS 20916 HAS SOPS 18257 HAS SOUS 16060 HAS SOUPS 13575 WITH SCORE 13595.916
AT ITER 2773 NEW BEST:: SOT 57576 SOS 20903 HAS SOPS 18193 HAS SOUS 16098 HAS SOUPS 13562 WITH SCORE 13582.903
AT ITER 2794 NEW BEST:: SOT 57584 SOS 20887 HAS SOPS 18177 HAS SOUS 16094 HAS SOUPS 13558 WITH SCORE 13578.887
AT ITER 2806 NEW BEST:: SOT 57600 SOS 20903 HAS SOPS 18193 HAS SOUS 16092 HAS SOUPS 13556 WITH SCORE 13576.903
AT ITER 2808 NEW BEST:: SOT 57573 SOS 20865 HAS SOPS 18155 HAS SOUS 16072 HAS SOUPS 13536 WITH SCORE 13556.865
AT ITER 2836 NEW BEST:: SOT 57563 SOS 20816 HAS SOPS 18106 HAS SOUS 16067 HAS SOUPS 13531 WITH SCORE 13551.816
AT ITER 2877 NEW BEST:: SOT 57536 SOS 20780 HAS SOPS 18061 HAS SOUS 16040 HAS SOUPS 13495 WITH SCORE 13515.78
AT ITER 2890 NEW BEST:: SOT 57547 SOS 20675 HAS SOPS 17956 HAS SOUS 15978 HAS SOUPS 13433 WITH SCORE 13453.675
AT ITER 2928 NEW BEST:: SOT 57527 SOS 20632 HAS SOPS 17913 HAS SOUS 15955 HAS SOUPS 13410 WITH SCORE 13430.632
AT ITER 2937 NEW BEST:: SOT 57527 SOS 20631 HAS SOPS 17913 HAS SOUS 15954 HAS SOUPS 13410 WITH SCORE 13430.631
AT ITER 3003 NEW BEST:: SOT 57527 SOS 20576 HAS SOPS 17913 HAS SOUS 15899 HAS SOUPS 13410 WITH SCORE 13430.576
AT ITER 3020 NEW BEST:: SOT 57521 SOS 20568 HAS SOPS 17905 HAS SOUS 15893 HAS SOUPS 13404 WITH SCORE 13424.568
AT ITER 3039 NEW BEST:: SOT 57519 SOS 20560 HAS SOPS 17897 HAS SOUS 15887 HAS SOUPS 13398 WITH SCORE 13418.56
AT ITER 3063 NEW BEST:: SOT 57536 SOS 20574 HAS SOPS 17911 HAS SOUS 15884 HAS SOUPS 13395 WITH SCORE 13415.574
AT ITER 3078 NEW BEST:: SOT 57524 SOS 20562 HAS SOPS 17891 HAS SOUS 15872 HAS SOUPS 13375 WITH SCORE 13395.562
AT ITER 3092 NEW BEST:: SOT 57518 SOS 20538 HAS SOPS 17873 HAS SOUS 15854 HAS SOUPS 13363 WITH SCORE 13383.538
AT ITER 3096 NEW BEST:: SOT 57500 SOS 20505 HAS SOPS 17837 HAS SOUS 15836 HAS SOUPS 13342 WITH SCORE 13362.505
AT ITER 3130 NEW BEST:: SOT 57488 SOS 20495 HAS SOPS 17813 HAS SOUS 15834 HAS SOUPS 13326 WITH SCORE 13346.495
AT ITER 3145 NEW BEST:: SOT 57502 SOS 20519 HAS SOPS 17812 HAS SOUS 15858 HAS SOUPS 13325 WITH SCORE 13345.519
AT ITER 3154 NEW BEST:: SOT 57491 SOS 20373 HAS SOPS 17666 HAS SOUS 15812 HAS SOUPS 13279 WITH SCORE 13299.373
AT ITER 3165 NEW BEST:: SOT 57476 SOS 20353 HAS SOPS 17646 HAS SOUS 15797 HAS SOUPS 13264 WITH SCORE 13284.353
AT ITER 3171 NEW BEST:: SOT 57476 SOS 20356 HAS SOPS 17643 HAS SOUS 15800 HAS SOUPS 13261 WITH SCORE 13281.356
AT ITER 3186 NEW BEST:: SOT 57473 SOS 20350 HAS SOPS 17637 HAS SOUS 15797 HAS SOUPS 13258 WITH SCORE 13278.35
AT ITER 3203 NEW BEST:: SOT 57470 SOS 20350 HAS SOPS 17634 HAS SOUS 15797 HAS SOUPS 13255 WITH SCORE 13275.35
AT ITER 3229 NEW BEST:: SOT 57414 SOS 20264 HAS SOPS 17548 HAS SOUS 15785 HAS SOUPS 13243 WITH SCORE 13263.264
AT ITER 3239 NEW BEST:: SOT 57406 SOS 20267 HAS SOPS 17533 HAS SOUS 15796 HAS SOUPS 13236 WITH SCORE 13256.267
AT ITER 3261 NEW BEST:: SOT 57392 SOS 20262 HAS SOPS 17514 HAS SOUS 15791 HAS SOUPS 13217 WITH SCORE 13237.262
AT ITER 3265 NEW BEST:: SOT 57385 SOS 20266 HAS SOPS 17508 HAS SOUS 15790 HAS SOUPS 13211 WITH SCORE 13231.266
AT ITER 3282 NEW BEST:: SOT 57392 SOS 20266 HAS SOPS 17495 HAS SOUS 15793 HAS SOUPS 13205 WITH SCORE 13225.266
AT ITER 3287 NEW BEST:: SOT 57391 SOS 20263 HAS SOPS 17492 HAS SOUS 15790 HAS SOUPS 13202 WITH SCORE 13222.263
AT ITER 3314 NEW BEST:: SOT 57364 SOS 20275 HAS SOPS 17504 HAS SOUS 15775 HAS SOUPS 13187 WITH SCORE 13207.275
AT ITER 3333 NEW BEST:: SOT 57335 SOS 20286 HAS SOPS 17446 HAS SOUS 15786 HAS SOUPS 13129 WITH SCORE 13149.286
AT ITER 3340 NEW BEST:: SOT 57317 SOS 20208 HAS SOPS 17374 HAS SOUS 15766 HAS SOUPS 13111 WITH SCORE 13131.208
AT ITER 3349 NEW BEST:: SOT 57311 SOS 20202 HAS SOPS 17368 HAS SOUS 15766 HAS SOUPS 13111 WITH SCORE 13131.202
AT ITER 3415 NEW BEST:: SOT 57234 SOS 20041 HAS SOPS 17207 HAS SOUS 15752 HAS SOUPS 13097 WITH SCORE 13117.041
AT ITER 3416 NEW BEST:: SOT 57234 SOS 20041 HAS SOPS 17207 HAS SOUS 15745 HAS SOUPS 13090 WITH SCORE 13110.041
AT ITER 3420 NEW BEST:: SOT 57230 SOS 20037 HAS SOPS 17203 HAS SOUS 15730 HAS SOUPS 13075 WITH SCORE 13095.037
AT ITER 3442 NEW BEST:: SOT 57220 SOS 20010 HAS SOPS 17176 HAS SOUS 15716 HAS SOUPS 13061 WITH SCORE 13081.01
AT ITER 3446 NEW BEST:: SOT 57214 SOS 20004 HAS SOPS 17172 HAS SOUS 15716 HAS SOUPS 13061 WITH SCORE 13081.004
AT ITER 3459 NEW BEST:: SOT 57186 SOS 19934 HAS SOPS 17102 HAS SOUS 15690 HAS SOUPS 13035 WITH SCORE 13054.934
AT ITER 3476 NEW BEST:: SOT 57186 SOS 19912 HAS SOPS 17080 HAS SOUS 15679 HAS SOUPS 13024 WITH SCORE 13043.912
AT ITER 3524 NEW BEST:: SOT 57186 SOS 19901 HAS SOPS 17069 HAS SOUS 15657 HAS SOUPS 13002 WITH SCORE 13021.901
AT ITER 3526 NEW BEST:: SOT 57225 SOS 19918 HAS SOPS 17086 HAS SOUS 15645 HAS SOUPS 12990 WITH SCORE 13009.918
AT ITER 3535 NEW BEST:: SOT 57225 SOS 19917 HAS SOPS 17086 HAS SOUS 15644 HAS SOUPS 12990 WITH SCORE 13009.917
AT ITER 3543 NEW BEST:: SOT 57215 SOS 19879 HAS SOPS 17061 HAS SOUS 15620 HAS SOUPS 12979 WITH SCORE 12998.879
AT ITER 3554 NEW BEST:: SOT 57211 SOS 19871 HAS SOPS 17053 HAS SOUS 15614 HAS SOUPS 12973 WITH SCORE 12992.871
AT ITER 3563 NEW BEST:: SOT 57205 SOS 19865 HAS SOPS 17047 HAS SOUS 15612 HAS SOUPS 12971 WITH SCORE 12990.865
AT ITER 3571 NEW BEST:: SOT 57205 SOS 19862 HAS SOPS 17044 HAS SOUS 15609 HAS SOUPS 12968 WITH SCORE 12987.862
AT ITER 3575 NEW BEST:: SOT 56497 SOS 19145 HAS SOPS 16315 HAS SOUS 15614 HAS SOUPS 12961 WITH SCORE 12980.145
AT ITER 3580 NEW BEST:: SOT 56497 SOS 19134 HAS SOPS 16304 HAS SOUS 15614 HAS SOUPS 12961 WITH SCORE 12980.134
AT ITER 3600 NEW BEST:: SOT 56487 SOS 19114 HAS SOPS 16284 HAS SOUS 15594 HAS SOUPS 12941 WITH SCORE 12960.114
AT ITER 3603 NEW BEST:: SOT 56473 SOS 19114 HAS SOPS 16284 HAS SOUS 15580 HAS SOUPS 12927 WITH SCORE 12946.114
AT ITER 3618 NEW BEST:: SOT 56473 SOS 19110 HAS SOPS 16280 HAS SOUS 15576 HAS SOUPS 12923 WITH SCORE 12942.11
AT ITER 3637 NEW BEST:: SOT 56444 SOS 19082 HAS SOPS 16252 HAS SOUS 15548 HAS SOUPS 12895 WITH SCORE 12914.082
AT ITER 3654 NEW BEST:: SOT 56439 SOS 19083 HAS SOPS 16212 HAS SOUS 15549 HAS SOUPS 12855 WITH SCORE 12874.083
AT ITER 3657 NEW BEST:: SOT 56439 SOS 19055 HAS SOPS 16184 HAS SOUS 15537 HAS SOUPS 12843 WITH SCORE 12862.055
AT ITER 3754 NEW BEST:: SOT 56423 SOS 19005 HAS SOPS 16134 HAS SOUS 15487 HAS SOUPS 12793 WITH SCORE 12812.005
AT ITER 3781 NEW BEST:: SOT 56423 SOS 19003 HAS SOPS 16132 HAS SOUS 15487 HAS SOUPS 12793 WITH SCORE 12812.003
AT ITER 3806 NEW BEST:: SOT 56399 SOS 18939 HAS SOPS 16068 HAS SOUS 15437 HAS SOUPS 12743 WITH SCORE 12761.939
AT ITER 3841 NEW BEST:: SOT 56413 SOS 18934 HAS SOPS 16063 HAS SOUS 15432 HAS SOUPS 12738 WITH SCORE 12756.934
AT ITER 3860 NEW BEST:: SOT 56413 SOS 18927 HAS SOPS 16056 HAS SOUS 15425 HAS SOUPS 12731 WITH SCORE 12749.927
AT ITER 3863 NEW BEST:: SOT 56413 SOS 18891 HAS SOPS 16056 HAS SOUS 15389 HAS SOUPS 12731 WITH SCORE 12749.891
AT ITER 3883 NEW BEST:: SOT 56365 SOS 18951 HAS SOPS 16080 HAS SOUS 15395 HAS SOUPS 12719 WITH SCORE 12737.951
AT ITER 3893 NEW BEST:: SOT 56358 SOS 18923 HAS SOPS 16059 HAS SOUS 15381 HAS SOUPS 12712 WITH SCORE 12730.923
AT ITER 3896 NEW BEST:: SOT 56344 SOS 18889 HAS SOPS 16030 HAS SOUS 15356 HAS SOUPS 12692 WITH SCORE 12710.889
AT ITER 3920 NEW BEST:: SOT 56344 SOS 18878 HAS SOPS 16027 HAS SOUS 15351 HAS SOUPS 12691 WITH SCORE 12709.878
AT ITER 3926 NEW BEST:: SOT 56258 SOS 18780 HAS SOPS 15941 HAS SOUS 15309 HAS SOUPS 12661 WITH SCORE 12679.78
AT ITER 3927 NEW BEST:: SOT 56239 SOS 18742 HAS SOPS 15903 HAS SOUS 15290 HAS SOUPS 12642 WITH SCORE 12660.742
AT ITER 3933 NEW BEST:: SOT 56239 SOS 18712 HAS SOPS 15873 HAS SOUS 15260 HAS SOUPS 12612 WITH SCORE 12630.712
AT ITER 3953 NEW BEST:: SOT 56221 SOS 18658 HAS SOPS 15828 HAS SOUS 15224 HAS SOUPS 12585 WITH SCORE 12603.658
AT ITER 3976 NEW BEST:: SOT 56279 SOS 18474 HAS SOPS 15644 HAS SOUS 15222 HAS SOUPS 12583 WITH SCORE 12601.474
AT ITER 3977 NEW BEST:: SOT 56264 SOS 18424 HAS SOPS 15599 HAS SOUS 15217 HAS SOUPS 12578 WITH SCORE 12596.424
AT ITER 4017 NEW BEST:: SOT 56262 SOS 18422 HAS SOPS 15597 HAS SOUS 15213 HAS SOUPS 12574 WITH SCORE 12592.422
AT ITER 4055 NEW BEST:: SOT 56257 SOS 18436 HAS SOPS 15595 HAS SOUS 15228 HAS SOUPS 12573 WITH SCORE 12591.436
AT ITER 4067 NEW BEST:: SOT 56303 SOS 18394 HAS SOPS 15553 HAS SOUS 15228 HAS SOUPS 12573 WITH SCORE 12591.394
AT ITER 4113 NEW BEST:: SOT 56269 SOS 18381 HAS SOPS 15540 HAS SOUS 15210 HAS SOUPS 12555 WITH SCORE 12573.381
AT ITER 4174 NEW BEST:: SOT 56272 SOS 18395 HAS SOPS 15528 HAS SOUS 15224 HAS SOUPS 12543 WITH SCORE 12561.395
AT ITER 4202 NEW BEST:: SOT 56280 SOS 18379 HAS SOPS 15536 HAS SOUS 15200 HAS SOUPS 12543 WITH SCORE 12561.379
AT ITER 4223 NEW BEST:: SOT 56280 SOS 18356 HAS SOPS 15536 HAS SOUS 15177 HAS SOUPS 12543 WITH SCORE 12561.356
AT ITER 4247 NEW BEST:: SOT 56268 SOS 18340 HAS SOPS 15508 HAS SOUS 15165 HAS SOUPS 12519 WITH SCORE 12537.34
AT ITER 4271 NEW BEST:: SOT 56236 SOS 18260 HAS SOPS 15428 HAS SOUS 15117 HAS SOUPS 12471 WITH SCORE 12489.26
AT ITER 4276 NEW BEST:: SOT 56218 SOS 18235 HAS SOPS 15392 HAS SOUS 15110 HAS SOUPS 12453 WITH SCORE 12471.235
AT ITER 4283 NEW BEST:: SOT 56214 SOS 18239 HAS SOPS 15396 HAS SOUS 15106 HAS SOUPS 12449 WITH SCORE 12467.239
AT ITER 4284 NEW BEST:: SOT 56210 SOS 18228 HAS SOPS 15387 HAS SOUS 15099 HAS SOUPS 12444 WITH SCORE 12462.228
AT ITER 4329 NEW BEST:: SOT 56207 SOS 18225 HAS SOPS 15384 HAS SOUS 15096 HAS SOUPS 12441 WITH SCORE 12459.225
AT ITER 4341 NEW BEST:: SOT 56208 SOS 18220 HAS SOPS 15379 HAS SOUS 15092 HAS SOUPS 12437 WITH SCORE 12455.22
AT ITER 4353 NEW BEST:: SOT 56208 SOS 18209 HAS SOPS 15368 HAS SOUS 15081 HAS SOUPS 12426 WITH SCORE 12444.209
AT ITER 4365 NEW BEST:: SOT 56208 SOS 18255 HAS SOPS 15364 HAS SOUS 15127 HAS SOUPS 12422 WITH SCORE 12440.255
AT ITER 4368 NEW BEST:: SOT 56208 SOS 18252 HAS SOPS 15361 HAS SOUS 15124 HAS SOUPS 12419 WITH SCORE 12437.252
AT ITER 4371 NEW BEST:: SOT 56219 SOS 18239 HAS SOPS 15348 HAS SOUS 15120 HAS SOUPS 12415 WITH SCORE 12433.239
AT ITER 4395 NEW BEST:: SOT 56219 SOS 18240 HAS SOPS 15313 HAS SOUS 15121 HAS SOUPS 12380 WITH SCORE 12398.24
AT ITER 4445 NEW BEST:: SOT 56214 SOS 18228 HAS SOPS 15303 HAS SOUS 15109 HAS SOUPS 12370 WITH SCORE 12388.228
AT ITER 4447 NEW BEST:: SOT 56311 SOS 18294 HAS SOPS 15332 HAS SOUS 15120 HAS SOUPS 12362 WITH SCORE 12380.294
AT ITER 4458 NEW BEST:: SOT 56303 SOS 18274 HAS SOPS 15312 HAS SOUS 15108 HAS SOUPS 12350 WITH SCORE 12368.274
AT ITER 4460 NEW BEST:: SOT 56303 SOS 18269 HAS SOPS 15307 HAS SOUS 15108 HAS SOUPS 12350 WITH SCORE 12368.269
AT ITER 4500 NEW BEST:: SOT 56303 SOS 18265 HAS SOPS 15303 HAS SOUS 15107 HAS SOUPS 12349 WITH SCORE 12367.265
AT ITER 4502 NEW BEST:: SOT 56270 SOS 18199 HAS SOPS 15237 HAS SOUS 15101 HAS SOUPS 12343 WITH SCORE 12361.199
AT ITER 4531 NEW BEST:: SOT 56260 SOS 18154 HAS SOPS 15216 HAS SOUS 15066 HAS SOUPS 12332 WITH SCORE 12350.154
AT ITER 4619 NEW BEST:: SOT 56253 SOS 18147 HAS SOPS 15204 HAS SOUS 15064 HAS SOUPS 12325 WITH SCORE 12343.147
AT ITER 4629 NEW BEST:: SOT 56252 SOS 18146 HAS SOPS 15204 HAS SOUS 15061 HAS SOUPS 12323 WITH SCORE 12341.146
AT ITER 4630 NEW BEST:: SOT 56252 SOS 18144 HAS SOPS 15202 HAS SOUS 15059 HAS SOUPS 12321 WITH SCORE 12339.144
AT ITER 4635 NEW BEST:: SOT 56232 SOS 18104 HAS SOPS 15162 HAS SOUS 15039 HAS SOUPS 12301 WITH SCORE 12319.104
AT ITER 4664 NEW BEST:: SOT 56232 SOS 18094 HAS SOPS 15162 HAS SOUS 15029 HAS SOUPS 12301 WITH SCORE 12319.094
AT ITER 4673 NEW BEST:: SOT 56220 SOS 18052 HAS SOPS 15157 HAS SOUS 15008 HAS SOUPS 12299 WITH SCORE 12317.052
AT ITER 4683 NEW BEST:: SOT 56215 SOS 18047 HAS SOPS 15152 HAS SOUS 14998 HAS SOUPS 12289 WITH SCORE 12307.047
AT ITER 4754 NEW BEST:: SOT 56215 SOS 18044 HAS SOPS 15152 HAS SOUS 14995 HAS SOUPS 12289 WITH SCORE 12307.044
AT ITER 4790 NEW BEST:: SOT 56210 SOS 18039 HAS SOPS 15142 HAS SOUS 14990 HAS SOUPS 12279 WITH SCORE 12297.039
AT ITER 4795 NEW BEST:: SOT 56170 SOS 18011 HAS SOPS 15114 HAS SOUS 14978 HAS SOUPS 12267 WITH SCORE 12285.011
AT ITER 4838 NEW BEST:: SOT 56154 SOS 18011 HAS SOPS 15114 HAS SOUS 14972 HAS SOUPS 12261 WITH SCORE 12279.011
AT ITER 4840 NEW BEST:: SOT 56154 SOS 17985 HAS SOPS 15088 HAS SOUS 14959 HAS SOUPS 12248 WITH SCORE 12265.985
AT ITER 4938 NEW BEST:: SOT 56103 SOS 17840 HAS SOPS 14961 HAS SOUS 14890 HAS SOUPS 12197 WITH SCORE 12214.84
AT ITER 4981 NEW BEST:: SOT 56103 SOS 17839 HAS SOPS 14955 HAS SOUS 14889 HAS SOUPS 12191 WITH SCORE 12208.839
AT ITER 4996 NEW BEST:: SOT 56101 SOS 17835 HAS SOPS 14951 HAS SOUS 14887 HAS SOUPS 12189 WITH SCORE 12206.835
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: Parking-PT-416-CTLCardinality-00 (AG( ( ( (! potential( (tk(P236)) <= (tk(P218)) )) & (! potential( ( 3 ) <= (tk(P209)) )) ) | (AF(potential( (tk(P62)) <= (tk(P179)) ))) )))
PROPERTY: Parking-PT-416-CTLCardinality-01 (AX( (AF(( potential( ( 2 ) <= (tk(P289)) ) & potential( (tk(P97)) <= (tk(P167)) ) )))))
PROPERTY: Parking-PT-416-CTLCardinality-02 ( potential( (tk(P154)) <= (tk(P18)) ) & ( (AU( potential( (tk(P194)) <= (tk(P149)) ),potential( (tk(P26)) <= (tk(P269)) ) )) & (EG( potential( (tk(P106)) <= (tk(P63)) ))) ) )
PROPERTY: Parking-PT-416-CTLCardinality-03 ( (AG( (AG( potential( (tk(P225)) <= (tk(P279)) ))))) & (AX( (! ( potential( ( 3 ) <= (tk(P72)) ) | potential( ( 1 ) <= (tk(P184)) ) )))) )
PROPERTY: Parking-PT-416-CTLCardinality-04 (EG( (! ( ( potential( (tk(P41)) <= (tk(P292)) ) & potential( (tk(P186)) <= (tk(P302)) ) ) & potential( ( 1 ) <= (tk(P104)) ) ))))
PROPERTY: Parking-PT-416-CTLCardinality-05 (EF((AU( potential( (tk(P107)) <= (tk(P258)) ),potential( ( 3 ) <= (tk(P179)) ) ))))
PROPERTY: Parking-PT-416-CTLCardinality-06 ( (AG( (AX( potential( (tk(P187)) <= (tk(P169)) ))))) | potential( ( 3 ) <= (tk(P253)) ) )
PROPERTY: Parking-PT-416-CTLCardinality-07 (EU( ( (! potential( (tk(P220)) <= (tk(P37)) )) | (! potential( ( 2 ) <= (tk(P181)) )) ),(EF(potential( ( 2 ) <= (tk(P285)) ))) ))
PROPERTY: Parking-PT-416-CTLCardinality-08 (AF((AX( ( potential( ( 1 ) <= (tk(P19)) ) & potential( ( 1 ) <= (tk(P12)) ) )))))
PROPERTY: Parking-PT-416-CTLCardinality-09 ( (EX( ( (! potential( ( 2 ) <= (tk(P66)) )) | potential( (tk(P245)) <= (tk(P21)) ) ))) & (EG( ( ( potential( (tk(P138)) <= (tk(P218)) ) | potential( (tk(P257)) <= (tk(P40)) ) ) | potential( (tk(P259)) <= (tk(P150)) ) ))) )
PROPERTY: Parking-PT-416-CTLCardinality-10 (AF(( (! ( potential( ( 2 ) <= (tk(P305)) ) & potential( ( 3 ) <= (tk(P246)) ) )) & (AX( potential( ( 3 ) <= (tk(P191)) ))) )))
PROPERTY: Parking-PT-416-CTLCardinality-11 (AF(( (AG( potential( (tk(P48)) <= (tk(P127)) ))) | potential( ( 1 ) <= (tk(P106)) ) )))
PROPERTY: Parking-PT-416-CTLCardinality-12 (EU( ( (! potential( ( 1 ) <= (tk(P68)) )) | ( potential( (tk(P90)) <= (tk(P72)) ) & potential( ( 2 ) <= (tk(P101)) ) ) ),( ( potential( ( 2 ) <= (tk(P261)) ) | potential( ( 1 ) <= (tk(P280)) ) ) | ( potential( ( 2 ) <= (tk(P209)) ) & potential( (tk(P60)) <= (tk(P44)) ) ) ) ))
PROPERTY: Parking-PT-416-CTLCardinality-13 (EU( ( (! potential( ( 1 ) <= (tk(P175)) )) | potential( ( 1 ) <= (tk(P283)) ) ),( ( potential( (tk(P282)) <= (tk(P30)) ) | potential( (tk(P163)) <= (tk(P154)) ) ) & ( potential( ( 3 ) <= (tk(P46)) ) & potential( (tk(P171)) <= (tk(P84)) ) ) ) ))
PROPERTY: Parking-PT-416-CTLCardinality-14 (! (AF(( ( potential( ( 3 ) <= (tk(P143)) ) | potential( ( 3 ) <= (tk(P1)) ) ) & ( potential( (tk(P99)) <= (tk(P109)) ) & potential( ( 3 ) <= (tk(P168)) ) ) ))))
PROPERTY: Parking-PT-416-CTLCardinality-15 ( ( ( (EF(potential( (tk(P96)) <= (tk(P16)) ))) | (! potential( ( 1 ) <= (tk(P33)) )) ) & (AG( ( potential( (tk(P39)) <= (tk(P205)) ) | potential( (tk(P210)) <= (tk(P64)) ) ))) ) | ( ( ( (! potential( ( 2 ) <= (tk(P290)) )) & ( potential( ( 3 ) <= (tk(P117)) ) | potential( ( 1 ) <= (tk(P72)) ) ) ) & ( ( potential( (tk(P221)) <= (tk(P85)) ) | potential( (tk(P21)) <= (tk(P113)) ) ) & potential( (tk(P5)) <= (tk(P289)) ) ) ) & (! ( potential( (tk(P143)) <= (tk(P92)) ) | potential( (tk(P83)) <= (tk(P130)) ) )) ) )

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="Parking-PT-416"
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 Parking-PT-416, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961250600531"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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