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-158961250700532.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 CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r108-csrt-158961250700532
=====================================================================

--------------------
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-CTLFireability-00
FORMULA_NAME Parking-PT-416-CTLFireability-01
FORMULA_NAME Parking-PT-416-CTLFireability-02
FORMULA_NAME Parking-PT-416-CTLFireability-03
FORMULA_NAME Parking-PT-416-CTLFireability-04
FORMULA_NAME Parking-PT-416-CTLFireability-05
FORMULA_NAME Parking-PT-416-CTLFireability-06
FORMULA_NAME Parking-PT-416-CTLFireability-07
FORMULA_NAME Parking-PT-416-CTLFireability-08
FORMULA_NAME Parking-PT-416-CTLFireability-09
FORMULA_NAME Parking-PT-416-CTLFireability-10
FORMULA_NAME Parking-PT-416-CTLFireability-11
FORMULA_NAME Parking-PT-416-CTLFireability-12
FORMULA_NAME Parking-PT-416-CTLFireability-13
FORMULA_NAME Parking-PT-416-CTLFireability-14
FORMULA_NAME Parking-PT-416-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589645080456

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Parking (PT), instance 416
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.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 1 NEW BEST:: SOT 79497 SOS 56605 HAS SOPS 56605 HAS SOUS 37527 HAS SOUPS 37527 WITH SCORE 37583.605
AT ITER 2 NEW BEST:: SOT 78988 SOS 55935 HAS SOPS 55839 HAS SOUS 37197 HAS SOUPS 37101 WITH SCORE 37156.935
AT ITER 4 NEW BEST:: SOT 78988 SOS 55758 HAS SOPS 55662 HAS SOUS 37133 HAS SOUPS 37037 WITH SCORE 37092.758
AT ITER 5 NEW BEST:: SOT 78431 SOS 54837 HAS SOPS 54672 HAS SOUS 36565 HAS SOUPS 36400 WITH SCORE 36454.837
AT ITER 7 NEW BEST:: SOT 78399 SOS 54850 HAS SOPS 54521 HAS SOUS 36563 HAS SOUPS 36234 WITH SCORE 36288.85
AT ITER 9 NEW BEST:: SOT 78084 SOS 54585 HAS SOPS 54206 HAS SOUS 36404 HAS SOUPS 36025 WITH SCORE 36079.585
AT ITER 11 NEW BEST:: SOT 78029 SOS 54529 HAS SOPS 54150 HAS SOUS 36394 HAS SOUPS 36015 WITH SCORE 36069.529
AT ITER 12 NEW BEST:: SOT 80117 SOS 56908 HAS SOPS 56416 HAS SOUS 36432 HAS SOUPS 35940 WITH SCORE 35996.908
AT ITER 15 NEW BEST:: SOT 79539 SOS 56330 HAS SOPS 55838 HAS SOUS 35974 HAS SOUPS 35482 WITH SCORE 35538.33
AT ITER 17 NEW BEST:: SOT 79092 SOS 55582 HAS SOPS 54978 HAS SOUS 35552 HAS SOUPS 34948 WITH SCORE 35003.582
AT ITER 18 NEW BEST:: SOT 79092 SOS 55333 HAS SOPS 54779 HAS SOUS 35439 HAS SOUPS 34885 WITH SCORE 34940.333
AT ITER 22 NEW BEST:: SOT 78974 SOS 55038 HAS SOPS 54484 HAS SOUS 35262 HAS SOUPS 34708 WITH SCORE 34763.038
AT ITER 29 NEW BEST:: SOT 79109 SOS 55448 HAS SOPS 54762 HAS SOUS 35363 HAS SOUPS 34677 WITH SCORE 34732.448
AT ITER 32 NEW BEST:: SOT 78721 SOS 55059 HAS SOPS 54373 HAS SOUS 35071 HAS SOUPS 34385 WITH SCORE 34440.059
AT ITER 33 NEW BEST:: SOT 78721 SOS 55058 HAS SOPS 54372 HAS SOUS 35070 HAS SOUPS 34384 WITH SCORE 34439.058
AT ITER 35 NEW BEST:: SOT 78386 SOS 54723 HAS SOPS 54037 HAS SOUS 34735 HAS SOUPS 34049 WITH SCORE 34103.723
AT ITER 36 NEW BEST:: SOT 77804 SOS 53722 HAS SOPS 52998 HAS SOUS 34072 HAS SOUPS 33348 WITH SCORE 33401.722
AT ITER 37 NEW BEST:: SOT 77804 SOS 53686 HAS SOPS 52962 HAS SOUS 34054 HAS SOUPS 33330 WITH SCORE 33383.686
AT ITER 39 NEW BEST:: SOT 76850 SOS 52732 HAS SOPS 52008 HAS SOUS 33415 HAS SOUPS 32691 WITH SCORE 32743.732
AT ITER 44 NEW BEST:: SOT 76323 SOS 51841 HAS SOPS 51117 HAS SOUS 32812 HAS SOUPS 32088 WITH SCORE 32139.841
AT ITER 45 NEW BEST:: SOT 76323 SOS 51677 HAS SOPS 50953 HAS SOUS 32784 HAS SOUPS 32060 WITH SCORE 32111.677
AT ITER 46 NEW BEST:: SOT 75762 SOS 50721 HAS SOPS 49997 HAS SOUS 32174 HAS SOUPS 31450 WITH SCORE 31500.721
AT ITER 48 NEW BEST:: SOT 75762 SOS 50699 HAS SOPS 49975 HAS SOUS 32174 HAS SOUPS 31450 WITH SCORE 31500.699
AT ITER 50 NEW BEST:: SOT 75448 SOS 50397 HAS SOPS 49661 HAS SOUS 31973 HAS SOUPS 31237 WITH SCORE 31287.397
AT ITER 54 NEW BEST:: SOT 75448 SOS 50232 HAS SOPS 49496 HAS SOUS 31929 HAS SOUPS 31193 WITH SCORE 31243.232
AT ITER 56 NEW BEST:: SOT 75254 SOS 49890 HAS SOPS 49266 HAS SOUS 31611 HAS SOUPS 30987 WITH SCORE 31036.89
AT ITER 59 NEW BEST:: SOT 75254 SOS 49889 HAS SOPS 49265 HAS SOUS 31610 HAS SOUPS 30986 WITH SCORE 31035.889
AT ITER 64 NEW BEST:: SOT 75078 SOS 49692 HAS SOPS 48988 HAS SOUS 31379 HAS SOUPS 30675 WITH SCORE 30724.692
AT ITER 68 NEW BEST:: SOT 74912 SOS 49497 HAS SOPS 48752 HAS SOUS 31172 HAS SOUPS 30427 WITH SCORE 30476.497
AT ITER 69 NEW BEST:: SOT 74858 SOS 49156 HAS SOPS 48411 HAS SOUS 30985 HAS SOUPS 30240 WITH SCORE 30289.156
AT ITER 74 NEW BEST:: SOT 74858 SOS 48765 HAS SOPS 48020 HAS SOUS 30890 HAS SOUPS 30145 WITH SCORE 30193.765
AT ITER 83 NEW BEST:: SOT 74858 SOS 48764 HAS SOPS 48019 HAS SOUS 30889 HAS SOUPS 30144 WITH SCORE 30192.764
AT ITER 86 NEW BEST:: SOT 75432 SOS 49212 HAS SOPS 48261 HAS SOUS 31026 HAS SOUPS 30118 WITH SCORE 30167.212
AT ITER 90 NEW BEST:: SOT 75431 SOS 49211 HAS SOPS 48260 HAS SOUS 31025 HAS SOUPS 30117 WITH SCORE 30166.211
AT ITER 92 NEW BEST:: SOT 75461 SOS 49241 HAS SOPS 48264 HAS SOUS 30973 HAS SOUPS 30039 WITH SCORE 30088.241
AT ITER 103 NEW BEST:: SOT 75393 SOS 48824 HAS SOPS 47847 HAS SOUS 30775 HAS SOUPS 29841 WITH SCORE 29889.824
AT ITER 110 NEW BEST:: SOT 75206 SOS 48646 HAS SOPS 47660 HAS SOUS 30663 HAS SOUPS 29720 WITH SCORE 29768.646
AT ITER 111 NEW BEST:: SOT 74992 SOS 48846 HAS SOPS 47680 HAS SOUS 30684 HAS SOUPS 29561 WITH SCORE 29609.846
AT ITER 113 NEW BEST:: SOT 74921 SOS 48774 HAS SOPS 47608 HAS SOUS 30624 HAS SOUPS 29501 WITH SCORE 29549.774
AT ITER 114 NEW BEST:: SOT 74921 SOS 48753 HAS SOPS 47587 HAS SOUS 30603 HAS SOUPS 29480 WITH SCORE 29528.753
AT ITER 115 NEW BEST:: SOT 74680 SOS 48538 HAS SOPS 47346 HAS SOUS 30493 HAS SOUPS 29344 WITH SCORE 29392.538
AT ITER 117 NEW BEST:: SOT 74665 SOS 48513 HAS SOPS 47321 HAS SOUS 30478 HAS SOUPS 29329 WITH SCORE 29377.513
AT ITER 118 NEW BEST:: SOT 74389 SOS 48318 HAS SOPS 47126 HAS SOUS 30416 HAS SOUPS 29267 WITH SCORE 29315.318
AT ITER 119 NEW BEST:: SOT 72874 SOS 46720 HAS SOPS 45493 HAS SOUS 29559 HAS SOUPS 28415 WITH SCORE 28461.72
AT ITER 124 NEW BEST:: SOT 72874 SOS 46651 HAS SOPS 45424 HAS SOUS 29558 HAS SOUPS 28414 WITH SCORE 28460.651
AT ITER 126 NEW BEST:: SOT 72852 SOS 46599 HAS SOPS 45342 HAS SOUS 29506 HAS SOUPS 28332 WITH SCORE 28378.599
AT ITER 127 NEW BEST:: SOT 72604 SOS 46351 HAS SOPS 45094 HAS SOUS 29324 HAS SOUPS 28150 WITH SCORE 28196.351
AT ITER 128 NEW BEST:: SOT 72595 SOS 45314 HAS SOPS 44128 HAS SOUS 29155 HAS SOUPS 28052 WITH SCORE 28097.314
AT ITER 131 NEW BEST:: SOT 72136 SOS 44544 HAS SOPS 43358 HAS SOUS 28631 HAS SOUPS 27528 WITH SCORE 27572.544
AT ITER 135 NEW BEST:: SOT 72136 SOS 44531 HAS SOPS 43345 HAS SOUS 28618 HAS SOUPS 27515 WITH SCORE 27559.531
AT ITER 137 NEW BEST:: SOT 72127 SOS 44501 HAS SOPS 43311 HAS SOUS 28594 HAS SOUPS 27487 WITH SCORE 27531.501
AT ITER 139 NEW BEST:: SOT 71995 SOS 44368 HAS SOPS 43178 HAS SOUS 28494 HAS SOUPS 27387 WITH SCORE 27431.368
AT ITER 140 NEW BEST:: SOT 71831 SOS 44203 HAS SOPS 43013 HAS SOUS 28367 HAS SOUPS 27260 WITH SCORE 27304.203
AT ITER 145 NEW BEST:: SOT 71794 SOS 44166 HAS SOPS 42976 HAS SOUS 28327 HAS SOUPS 27220 WITH SCORE 27264.166
AT ITER 146 NEW BEST:: SOT 73958 SOS 46500 HAS SOPS 45161 HAS SOUS 28334 HAS SOUPS 27078 WITH SCORE 27124.5
AT ITER 148 NEW BEST:: SOT 73943 SOS 46485 HAS SOPS 45146 HAS SOUS 28319 HAS SOUPS 27063 WITH SCORE 27109.485
AT ITER 163 NEW BEST:: SOT 73918 SOS 46426 HAS SOPS 45087 HAS SOUS 28268 HAS SOUPS 27012 WITH SCORE 27058.426
AT ITER 167 NEW BEST:: SOT 73836 SOS 46032 HAS SOPS 44693 HAS SOUS 28036 HAS SOUPS 26780 WITH SCORE 26826.032
AT ITER 168 NEW BEST:: SOT 73836 SOS 46024 HAS SOPS 44685 HAS SOUS 28028 HAS SOUPS 26772 WITH SCORE 26818.024
AT ITER 176 NEW BEST:: SOT 73836 SOS 45892 HAS SOPS 44553 HAS SOUS 27984 HAS SOUPS 26728 WITH SCORE 26773.892
AT ITER 179 NEW BEST:: SOT 73044 SOS 45112 HAS SOPS 43773 HAS SOUS 27974 HAS SOUPS 26718 WITH SCORE 26763.112
AT ITER 180 NEW BEST:: SOT 72943 SOS 44967 HAS SOPS 43626 HAS SOUS 27884 HAS SOUPS 26626 WITH SCORE 26670.967
AT ITER 182 NEW BEST:: SOT 72943 SOS 44764 HAS SOPS 43423 HAS SOUS 27884 HAS SOUPS 26626 WITH SCORE 26670.764
AT ITER 184 NEW BEST:: SOT 72943 SOS 44727 HAS SOPS 43386 HAS SOUS 27884 HAS SOUPS 26626 WITH SCORE 26670.727
AT ITER 189 NEW BEST:: SOT 72837 SOS 44257 HAS SOPS 42916 HAS SOUS 27542 HAS SOUPS 26284 WITH SCORE 26328.257
AT ITER 192 NEW BEST:: SOT 72828 SOS 44248 HAS SOPS 42907 HAS SOUS 27533 HAS SOUPS 26275 WITH SCORE 26319.248
AT ITER 193 NEW BEST:: SOT 72827 SOS 44247 HAS SOPS 42906 HAS SOUS 27532 HAS SOUPS 26274 WITH SCORE 26318.247
AT ITER 195 NEW BEST:: SOT 72773 SOS 44193 HAS SOPS 42852 HAS SOUS 27497 HAS SOUPS 26239 WITH SCORE 26283.193
AT ITER 196 NEW BEST:: SOT 72773 SOS 44172 HAS SOPS 42831 HAS SOUS 27476 HAS SOUPS 26218 WITH SCORE 26262.172
AT ITER 199 NEW BEST:: SOT 72855 SOS 42828 HAS SOPS 41487 HAS SOUS 27436 HAS SOUPS 26178 WITH SCORE 26220.828
AT ITER 203 NEW BEST:: SOT 72653 SOS 42675 HAS SOPS 41333 HAS SOUS 27177 HAS SOUPS 25918 WITH SCORE 25960.675
AT ITER 205 NEW BEST:: SOT 72522 SOS 42544 HAS SOPS 41202 HAS SOUS 27095 HAS SOUPS 25836 WITH SCORE 25878.544
AT ITER 208 NEW BEST:: SOT 72562 SOS 42371 HAS SOPS 41029 HAS SOUS 26973 HAS SOUPS 25714 WITH SCORE 25756.371
AT ITER 210 NEW BEST:: SOT 72530 SOS 42339 HAS SOPS 40997 HAS SOUS 26941 HAS SOUPS 25682 WITH SCORE 25724.339
AT ITER 212 NEW BEST:: SOT 71962 SOS 41723 HAS SOPS 40381 HAS SOUS 26565 HAS SOUPS 25306 WITH SCORE 25347.723
AT ITER 213 NEW BEST:: SOT 71962 SOS 41733 HAS SOPS 40391 HAS SOUS 26506 HAS SOUPS 25247 WITH SCORE 25288.733
AT ITER 218 NEW BEST:: SOT 71886 SOS 41611 HAS SOPS 40269 HAS SOUS 26430 HAS SOUPS 25171 WITH SCORE 25212.611
AT ITER 222 NEW BEST:: SOT 71878 SOS 41589 HAS SOPS 40247 HAS SOUS 26415 HAS SOUPS 25156 WITH SCORE 25197.589
AT ITER 223 NEW BEST:: SOT 71878 SOS 41580 HAS SOPS 40238 HAS SOUS 26406 HAS SOUPS 25147 WITH SCORE 25188.58
AT ITER 246 NEW BEST:: SOT 71768 SOS 40202 HAS SOPS 38860 HAS SOUS 26218 HAS SOUPS 24959 WITH SCORE 24999.202
AT ITER 252 NEW BEST:: SOT 71732 SOS 40166 HAS SOPS 38760 HAS SOUS 26118 HAS SOUPS 24795 WITH SCORE 24835.166
AT ITER 256 NEW BEST:: SOT 71753 SOS 40128 HAS SOPS 38722 HAS SOUS 26070 HAS SOUPS 24747 WITH SCORE 24787.128
AT ITER 257 NEW BEST:: SOT 71623 SOS 39966 HAS SOPS 38560 HAS SOUS 25969 HAS SOUPS 24646 WITH SCORE 24685.966
AT ITER 265 NEW BEST:: SOT 71585 SOS 39943 HAS SOPS 38537 HAS SOUS 25946 HAS SOUPS 24623 WITH SCORE 24662.943
AT ITER 268 NEW BEST:: SOT 71515 SOS 39830 HAS SOPS 38424 HAS SOUS 25925 HAS SOUPS 24602 WITH SCORE 24641.83
AT ITER 271 NEW BEST:: SOT 71515 SOS 39924 HAS SOPS 38409 HAS SOUS 26019 HAS SOUPS 24587 WITH SCORE 24626.924
AT ITER 280 NEW BEST:: SOT 71513 SOS 39918 HAS SOPS 38403 HAS SOUS 26015 HAS SOUPS 24583 WITH SCORE 24622.918
AT ITER 281 NEW BEST:: SOT 71513 SOS 39905 HAS SOPS 38390 HAS SOUS 26002 HAS SOUPS 24570 WITH SCORE 24609.905
AT ITER 289 NEW BEST:: SOT 71513 SOS 39878 HAS SOPS 38363 HAS SOUS 25998 HAS SOUPS 24566 WITH SCORE 24605.878
AT ITER 292 NEW BEST:: SOT 71353 SOS 39962 HAS SOPS 38447 HAS SOUS 25973 HAS SOUPS 24541 WITH SCORE 24580.962
AT ITER 295 NEW BEST:: SOT 71269 SOS 39760 HAS SOPS 38346 HAS SOUS 25785 HAS SOUPS 24454 WITH SCORE 24493.76
AT ITER 298 NEW BEST:: SOT 71239 SOS 39730 HAS SOPS 38316 HAS SOUS 25755 HAS SOUPS 24424 WITH SCORE 24463.73
AT ITER 301 NEW BEST:: SOT 71239 SOS 38541 HAS SOPS 37127 HAS SOUS 25647 HAS SOUPS 24316 WITH SCORE 24354.541
AT ITER 303 NEW BEST:: SOT 71235 SOS 38541 HAS SOPS 37123 HAS SOUS 25643 HAS SOUPS 24308 WITH SCORE 24346.541
AT ITER 305 NEW BEST:: SOT 71235 SOS 38540 HAS SOPS 37122 HAS SOUS 25643 HAS SOUPS 24308 WITH SCORE 24346.54
AT ITER 308 NEW BEST:: SOT 71180 SOS 38485 HAS SOPS 37122 HAS SOUS 25588 HAS SOUPS 24308 WITH SCORE 24346.485
AT ITER 310 NEW BEST:: SOT 71097 SOS 38310 HAS SOPS 36938 HAS SOUS 25413 HAS SOUPS 24124 WITH SCORE 24162.31
AT ITER 318 NEW BEST:: SOT 71097 SOS 38281 HAS SOPS 36909 HAS SOUS 25384 HAS SOUPS 24095 WITH SCORE 24133.281
AT ITER 321 NEW BEST:: SOT 71097 SOS 38234 HAS SOPS 36862 HAS SOUS 25376 HAS SOUPS 24087 WITH SCORE 24125.234
AT ITER 323 NEW BEST:: SOT 71097 SOS 38210 HAS SOPS 36838 HAS SOUS 25376 HAS SOUPS 24087 WITH SCORE 24125.21
AT ITER 335 NEW BEST:: SOT 71050 SOS 38127 HAS SOPS 36755 HAS SOUS 25293 HAS SOUPS 24004 WITH SCORE 24042.127
AT ITER 349 NEW BEST:: SOT 71014 SOS 38054 HAS SOPS 36710 HAS SOUS 25242 HAS SOUPS 23981 WITH SCORE 24019.054
AT ITER 350 NEW BEST:: SOT 71035 SOS 38164 HAS SOPS 36686 HAS SOUS 25352 HAS SOUPS 23957 WITH SCORE 23995.164
AT ITER 354 NEW BEST:: SOT 71005 SOS 38067 HAS SOPS 36611 HAS SOUS 25285 HAS SOUPS 23912 WITH SCORE 23950.067
AT ITER 358 NEW BEST:: SOT 71005 SOS 37956 HAS SOPS 36500 HAS SOUS 25272 HAS SOUPS 23899 WITH SCORE 23936.956
AT ITER 365 NEW BEST:: SOT 70277 SOS 37229 HAS SOPS 35689 HAS SOUS 24869 HAS SOUPS 23413 WITH SCORE 23450.229
AT ITER 372 NEW BEST:: SOT 70263 SOS 37083 HAS SOPS 35617 HAS SOUS 24815 HAS SOUPS 23403 WITH SCORE 23440.083
AT ITER 373 NEW BEST:: SOT 70037 SOS 36913 HAS SOPS 35413 HAS SOUS 24664 HAS SOUPS 23218 WITH SCORE 23254.913
AT ITER 375 NEW BEST:: SOT 70033 SOS 36919 HAS SOPS 35409 HAS SOUS 24670 HAS SOUPS 23214 WITH SCORE 23250.919
AT ITER 381 NEW BEST:: SOT 70021 SOS 36907 HAS SOPS 35397 HAS SOUS 24664 HAS SOUPS 23208 WITH SCORE 23244.907
AT ITER 398 NEW BEST:: SOT 69881 SOS 36733 HAS SOPS 35223 HAS SOUS 24541 HAS SOUPS 23085 WITH SCORE 23121.733
AT ITER 399 NEW BEST:: SOT 69878 SOS 36730 HAS SOPS 35220 HAS SOUS 24538 HAS SOUPS 23082 WITH SCORE 23118.73
AT ITER 402 NEW BEST:: SOT 70076 SOS 35449 HAS SOPS 33939 HAS SOUS 24511 HAS SOUPS 23055 WITH SCORE 23090.449
AT ITER 416 NEW BEST:: SOT 70126 SOS 35405 HAS SOPS 33895 HAS SOUS 24467 HAS SOUPS 23011 WITH SCORE 23046.405
AT ITER 419 NEW BEST:: SOT 70066 SOS 35303 HAS SOPS 33793 HAS SOUS 24430 HAS SOUPS 22974 WITH SCORE 23009.303
AT ITER 422 NEW BEST:: SOT 69924 SOS 35414 HAS SOPS 33904 HAS SOUS 24414 HAS SOUPS 22958 WITH SCORE 22993.414
AT ITER 426 NEW BEST:: SOT 69923 SOS 34036 HAS SOPS 32526 HAS SOUS 24292 HAS SOUPS 22836 WITH SCORE 22870.036
AT ITER 430 NEW BEST:: SOT 69869 SOS 33996 HAS SOPS 32486 HAS SOUS 24252 HAS SOUPS 22796 WITH SCORE 22829.996
AT ITER 435 NEW BEST:: SOT 69869 SOS 34084 HAS SOPS 32530 HAS SOUS 24260 HAS SOUPS 22760 WITH SCORE 22794.084
AT ITER 440 NEW BEST:: SOT 69612 SOS 33966 HAS SOPS 32290 HAS SOUS 24192 HAS SOUPS 22570 WITH SCORE 22603.966
AT ITER 447 NEW BEST:: SOT 69820 SOS 34345 HAS SOPS 32574 HAS SOUS 23497 HAS SOUPS 21827 WITH SCORE 21861.345
AT ITER 458 NEW BEST:: SOT 69804 SOS 34189 HAS SOPS 32418 HAS SOUS 23411 HAS SOUPS 21741 WITH SCORE 21775.189
AT ITER 459 NEW BEST:: SOT 69802 SOS 34184 HAS SOPS 32414 HAS SOUS 23409 HAS SOUPS 21739 WITH SCORE 21773.184
AT ITER 468 NEW BEST:: SOT 69757 SOS 34139 HAS SOPS 32369 HAS SOUS 23364 HAS SOUPS 21694 WITH SCORE 21728.139
AT ITER 472 NEW BEST:: SOT 69757 SOS 34138 HAS SOPS 32369 HAS SOUS 23363 HAS SOUPS 21694 WITH SCORE 21728.138
AT ITER 476 NEW BEST:: SOT 69737 SOS 34101 HAS SOPS 32332 HAS SOUS 23343 HAS SOUPS 21674 WITH SCORE 21708.101
AT ITER 486 NEW BEST:: SOT 69737 SOS 33939 HAS SOPS 32170 HAS SOUS 23292 HAS SOUPS 21623 WITH SCORE 21656.939
AT ITER 487 NEW BEST:: SOT 69723 SOS 33806 HAS SOPS 32084 HAS SOUS 23207 HAS SOUPS 21585 WITH SCORE 21618.806
AT ITER 488 NEW BEST:: SOT 69628 SOS 33711 HAS SOPS 31989 HAS SOUS 23074 HAS SOUPS 21452 WITH SCORE 21485.711
AT ITER 502 NEW BEST:: SOT 69574 SOS 33651 HAS SOPS 31929 HAS SOUS 23020 HAS SOUPS 21398 WITH SCORE 21431.651
AT ITER 506 NEW BEST:: SOT 69564 SOS 33631 HAS SOPS 31919 HAS SOUS 23000 HAS SOUPS 21388 WITH SCORE 21421.631
AT ITER 510 NEW BEST:: SOT 69599 SOS 33673 HAS SOPS 31961 HAS SOUS 22998 HAS SOUPS 21386 WITH SCORE 21419.673
AT ITER 511 NEW BEST:: SOT 69519 SOS 33564 HAS SOPS 31782 HAS SOUS 22905 HAS SOUPS 21223 WITH SCORE 21256.564
AT ITER 517 NEW BEST:: SOT 69519 SOS 33504 HAS SOPS 31722 HAS SOUS 22865 HAS SOUPS 21183 WITH SCORE 21216.504
AT ITER 519 NEW BEST:: SOT 69519 SOS 33456 HAS SOPS 31674 HAS SOUS 22817 HAS SOUPS 21135 WITH SCORE 21168.456
AT ITER 525 NEW BEST:: SOT 69437 SOS 33292 HAS SOPS 31510 HAS SOUS 22735 HAS SOUPS 21053 WITH SCORE 21086.292
AT ITER 527 NEW BEST:: SOT 69437 SOS 33278 HAS SOPS 31510 HAS SOUS 22721 HAS SOUPS 21053 WITH SCORE 21086.278
AT ITER 530 NEW BEST:: SOT 69342 SOS 33197 HAS SOPS 31297 HAS SOUS 22587 HAS SOUPS 20919 WITH SCORE 20952.197
AT ITER 532 NEW BEST:: SOT 69296 SOS 33082 HAS SOPS 31182 HAS SOUS 22518 HAS SOUPS 20850 WITH SCORE 20883.082
AT ITER 536 NEW BEST:: SOT 69194 SOS 32980 HAS SOPS 31080 HAS SOUS 22397 HAS SOUPS 20729 WITH SCORE 20761.98
AT ITER 539 NEW BEST:: SOT 69142 SOS 33091 HAS SOPS 31029 HAS SOUS 22422 HAS SOUPS 20676 WITH SCORE 20709.091
AT ITER 540 NEW BEST:: SOT 68930 SOS 32879 HAS SOPS 30817 HAS SOUS 22320 HAS SOUPS 20574 WITH SCORE 20606.879
AT ITER 546 NEW BEST:: SOT 68924 SOS 32845 HAS SOPS 30783 HAS SOUS 22314 HAS SOUPS 20568 WITH SCORE 20600.845
AT ITER 566 NEW BEST:: SOT 68923 SOS 32844 HAS SOPS 30782 HAS SOUS 22313 HAS SOUPS 20567 WITH SCORE 20599.844
AT ITER 573 NEW BEST:: SOT 68957 SOS 31820 HAS SOPS 29758 HAS SOUS 22305 HAS SOUPS 20559 WITH SCORE 20590.82
AT ITER 580 NEW BEST:: SOT 68890 SOS 31877 HAS SOPS 29815 HAS SOUS 22300 HAS SOUPS 20554 WITH SCORE 20585.877
AT ITER 599 NEW BEST:: SOT 68889 SOS 31876 HAS SOPS 29813 HAS SOUS 22299 HAS SOUPS 20552 WITH SCORE 20583.876
AT ITER 606 NEW BEST:: SOT 68885 SOS 31872 HAS SOPS 29809 HAS SOUS 22295 HAS SOUPS 20548 WITH SCORE 20579.872
AT ITER 607 NEW BEST:: SOT 68885 SOS 31763 HAS SOPS 29700 HAS SOUS 22251 HAS SOUPS 20504 WITH SCORE 20535.763
AT ITER 618 NEW BEST:: SOT 68819 SOS 31498 HAS SOPS 29501 HAS SOUS 22052 HAS SOUPS 20371 WITH SCORE 20402.498
AT ITER 622 NEW BEST:: SOT 67826 SOS 30784 HAS SOPS 28765 HAS SOUS 21693 HAS SOUPS 19990 WITH SCORE 20020.784
AT ITER 623 NEW BEST:: SOT 67806 SOS 30724 HAS SOPS 28705 HAS SOUS 21653 HAS SOUPS 19950 WITH SCORE 19980.724
AT ITER 624 NEW BEST:: SOT 67802 SOS 30714 HAS SOPS 28695 HAS SOUS 21643 HAS SOUPS 19940 WITH SCORE 19970.714
AT ITER 626 NEW BEST:: SOT 67635 SOS 30729 HAS SOPS 28579 HAS SOUS 21354 HAS SOUPS 19602 WITH SCORE 19632.729
AT ITER 630 NEW BEST:: SOT 67635 SOS 30638 HAS SOPS 28488 HAS SOUS 21341 HAS SOUPS 19589 WITH SCORE 19619.638
AT ITER 636 NEW BEST:: SOT 67540 SOS 30508 HAS SOPS 28453 HAS SOUS 21292 HAS SOUPS 19589 WITH SCORE 19619.508
AT ITER 648 NEW BEST:: SOT 67484 SOS 30412 HAS SOPS 28357 HAS SOUS 21127 HAS SOUPS 19424 WITH SCORE 19454.412
AT ITER 651 NEW BEST:: SOT 67480 SOS 30414 HAS SOPS 28363 HAS SOUS 21121 HAS SOUPS 19422 WITH SCORE 19452.414
AT ITER 652 NEW BEST:: SOT 67508 SOS 30416 HAS SOPS 28391 HAS SOUS 21083 HAS SOUPS 19410 WITH SCORE 19440.416
AT ITER 654 NEW BEST:: SOT 67400 SOS 30260 HAS SOPS 28229 HAS SOUS 20981 HAS SOUPS 19302 WITH SCORE 19332.26
AT ITER 662 NEW BEST:: SOT 67448 SOS 30275 HAS SOPS 28244 HAS SOUS 20973 HAS SOUPS 19294 WITH SCORE 19324.275
AT ITER 671 NEW BEST:: SOT 67424 SOS 30239 HAS SOPS 28208 HAS SOUS 20949 HAS SOUPS 19270 WITH SCORE 19300.239
AT ITER 676 NEW BEST:: SOT 67438 SOS 30239 HAS SOPS 28222 HAS SOUS 20933 HAS SOUPS 19256 WITH SCORE 19286.239
AT ITER 680 NEW BEST:: SOT 67420 SOS 30211 HAS SOPS 28219 HAS SOUS 20905 HAS SOUPS 19253 WITH SCORE 19283.211
AT ITER 682 NEW BEST:: SOT 67374 SOS 30027 HAS SOPS 28035 HAS SOUS 20813 HAS SOUPS 19161 WITH SCORE 19191.027
AT ITER 689 NEW BEST:: SOT 67296 SOS 29979 HAS SOPS 27987 HAS SOUS 20807 HAS SOUPS 19155 WITH SCORE 19184.979
AT ITER 695 NEW BEST:: SOT 67294 SOS 29970 HAS SOPS 27978 HAS SOUS 20805 HAS SOUPS 19153 WITH SCORE 19182.97
AT ITER 696 NEW BEST:: SOT 67284 SOS 29946 HAS SOPS 27954 HAS SOUS 20781 HAS SOUPS 19129 WITH SCORE 19158.946
AT ITER 700 NEW BEST:: SOT 67278 SOS 29940 HAS SOPS 27948 HAS SOUS 20775 HAS SOUPS 19123 WITH SCORE 19152.94
AT ITER 709 NEW BEST:: SOT 67248 SOS 29912 HAS SOPS 27920 HAS SOUS 20747 HAS SOUPS 19095 WITH SCORE 19124.912
AT ITER 710 NEW BEST:: SOT 67239 SOS 29903 HAS SOPS 27902 HAS SOUS 20738 HAS SOUPS 19077 WITH SCORE 19106.903
AT ITER 731 NEW BEST:: SOT 67167 SOS 29831 HAS SOPS 27830 HAS SOUS 20632 HAS SOUPS 18971 WITH SCORE 19000.831
AT ITER 737 NEW BEST:: SOT 67056 SOS 29345 HAS SOPS 27344 HAS SOUS 20595 HAS SOUPS 18934 WITH SCORE 18963.345
AT ITER 741 NEW BEST:: SOT 67328 SOS 28749 HAS SOPS 26748 HAS SOUS 20584 HAS SOUPS 18923 WITH SCORE 18951.749
AT ITER 745 NEW BEST:: SOT 67328 SOS 28730 HAS SOPS 26729 HAS SOUS 20565 HAS SOUPS 18904 WITH SCORE 18932.73
AT ITER 747 NEW BEST:: SOT 67324 SOS 28725 HAS SOPS 26724 HAS SOUS 20561 HAS SOUPS 18900 WITH SCORE 18928.725
AT ITER 748 NEW BEST:: SOT 67124 SOS 28695 HAS SOPS 26660 HAS SOUS 20563 HAS SOUPS 18868 WITH SCORE 18896.695
AT ITER 751 NEW BEST:: SOT 67070 SOS 28591 HAS SOPS 26556 HAS SOUS 20503 HAS SOUPS 18808 WITH SCORE 18836.591
AT ITER 757 NEW BEST:: SOT 67070 SOS 28589 HAS SOPS 26554 HAS SOUS 20502 HAS SOUPS 18807 WITH SCORE 18835.589
AT ITER 767 NEW BEST:: SOT 67070 SOS 28680 HAS SOPS 26599 HAS SOUS 20547 HAS SOUPS 18806 WITH SCORE 18834.68
AT ITER 779 NEW BEST:: SOT 67033 SOS 28617 HAS SOPS 26532 HAS SOUS 20517 HAS SOUPS 18772 WITH SCORE 18800.617
AT ITER 785 NEW BEST:: SOT 67013 SOS 28597 HAS SOPS 26522 HAS SOUS 20517 HAS SOUPS 18772 WITH SCORE 18800.597
AT ITER 792 NEW BEST:: SOT 66957 SOS 28541 HAS SOPS 26494 HAS SOUS 20482 HAS SOUPS 18737 WITH SCORE 18765.541
AT ITER 793 NEW BEST:: SOT 66957 SOS 28547 HAS SOPS 26500 HAS SOUS 20468 HAS SOUPS 18723 WITH SCORE 18751.547
AT ITER 804 NEW BEST:: SOT 66956 SOS 28479 HAS SOPS 26498 HAS SOUS 20400 HAS SOUPS 18721 WITH SCORE 18749.479
AT ITER 807 NEW BEST:: SOT 66947 SOS 28472 HAS SOPS 26483 HAS SOUS 20399 HAS SOUPS 18712 WITH SCORE 18740.472
AT ITER 812 NEW BEST:: SOT 66919 SOS 28193 HAS SOPS 26204 HAS SOUS 20335 HAS SOUPS 18648 WITH SCORE 18676.193
AT ITER 816 NEW BEST:: SOT 66871 SOS 28037 HAS SOPS 26048 HAS SOUS 20188 HAS SOUPS 18501 WITH SCORE 18529.037
AT ITER 829 NEW BEST:: SOT 66866 SOS 28031 HAS SOPS 26042 HAS SOUS 20182 HAS SOUPS 18495 WITH SCORE 18523.031
AT ITER 830 NEW BEST:: SOT 66888 SOS 27943 HAS SOPS 25954 HAS SOUS 20160 HAS SOUPS 18473 WITH SCORE 18500.943
AT ITER 831 NEW BEST:: SOT 66867 SOS 27914 HAS SOPS 25981 HAS SOUS 20094 HAS SOUPS 18464 WITH SCORE 18491.914
AT ITER 842 NEW BEST:: SOT 67060 SOS 28061 HAS SOPS 26029 HAS SOUS 20061 HAS SOUPS 18387 WITH SCORE 18415.061
AT ITER 848 NEW BEST:: SOT 67027 SOS 27943 HAS SOPS 25944 HAS SOUS 19976 HAS SOUPS 18335 WITH SCORE 18362.943
AT ITER 854 NEW BEST:: SOT 66886 SOS 27789 HAS SOPS 25790 HAS SOUS 19822 HAS SOUPS 18181 WITH SCORE 18208.789
AT ITER 860 NEW BEST:: SOT 66883 SOS 27783 HAS SOPS 25787 HAS SOUS 19819 HAS SOUPS 18181 WITH SCORE 18208.783
AT ITER 868 NEW BEST:: SOT 66879 SOS 27761 HAS SOPS 25765 HAS SOUS 19743 HAS SOUPS 18105 WITH SCORE 18132.761
AT ITER 885 NEW BEST:: SOT 66878 SOS 27760 HAS SOPS 25765 HAS SOUS 19742 HAS SOUPS 18105 WITH SCORE 18132.76
AT ITER 886 NEW BEST:: SOT 66851 SOS 27655 HAS SOPS 25663 HAS SOUS 19694 HAS SOUPS 18059 WITH SCORE 18086.655
AT ITER 904 NEW BEST:: SOT 66851 SOS 27579 HAS SOPS 25587 HAS SOUS 19618 HAS SOUPS 17983 WITH SCORE 18010.579
AT ITER 905 NEW BEST:: SOT 66856 SOS 27584 HAS SOPS 25581 HAS SOUS 19623 HAS SOUPS 17977 WITH SCORE 18004.584
AT ITER 908 NEW BEST:: SOT 66841 SOS 27577 HAS SOPS 25566 HAS SOUS 19616 HAS SOUPS 17962 WITH SCORE 17989.577
AT ITER 924 NEW BEST:: SOT 66841 SOS 27576 HAS SOPS 25565 HAS SOUS 19615 HAS SOUPS 17961 WITH SCORE 17988.576
AT ITER 925 NEW BEST:: SOT 66823 SOS 27540 HAS SOPS 25529 HAS SOUS 19597 HAS SOUPS 17943 WITH SCORE 17970.54
AT ITER 932 NEW BEST:: SOT 66786 SOS 27474 HAS SOPS 25455 HAS SOUS 19531 HAS SOUPS 17869 WITH SCORE 17896.474
AT ITER 937 NEW BEST:: SOT 66772 SOS 27452 HAS SOPS 25420 HAS SOUS 19523 HAS SOUPS 17848 WITH SCORE 17875.452
AT ITER 949 NEW BEST:: SOT 66766 SOS 27442 HAS SOPS 25410 HAS SOUS 19517 HAS SOUPS 17842 WITH SCORE 17869.442
AT ITER 950 NEW BEST:: SOT 66682 SOS 27271 HAS SOPS 25347 HAS SOUS 19373 HAS SOUPS 17791 WITH SCORE 17818.271
AT ITER 951 NEW BEST:: SOT 66649 SOS 27106 HAS SOPS 25171 HAS SOUS 19340 HAS SOUPS 17747 WITH SCORE 17774.106
AT ITER 956 NEW BEST:: SOT 66633 SOS 27107 HAS SOPS 25117 HAS SOUS 19379 HAS SOUPS 17731 WITH SCORE 17758.107
AT ITER 957 NEW BEST:: SOT 66426 SOS 26900 HAS SOPS 24842 HAS SOUS 19253 HAS SOUPS 17537 WITH SCORE 17563.9
AT ITER 963 NEW BEST:: SOT 66396 SOS 26834 HAS SOPS 24782 HAS SOUS 19223 HAS SOUPS 17507 WITH SCORE 17533.834
AT ITER 966 NEW BEST:: SOT 66382 SOS 26709 HAS SOPS 24647 HAS SOUS 19212 HAS SOUPS 17486 WITH SCORE 17512.709
AT ITER 968 NEW BEST:: SOT 66378 SOS 26700 HAS SOPS 24638 HAS SOUS 19210 HAS SOUPS 17484 WITH SCORE 17510.7
AT ITER 972 NEW BEST:: SOT 66434 SOS 26740 HAS SOPS 24678 HAS SOUS 19202 HAS SOUPS 17476 WITH SCORE 17502.74
AT ITER 982 NEW BEST:: SOT 66340 SOS 26758 HAS SOPS 24696 HAS SOUS 19140 HAS SOUPS 17414 WITH SCORE 17440.758
AT ITER 983 NEW BEST:: SOT 66340 SOS 26657 HAS SOPS 24640 HAS SOUS 19094 HAS SOUPS 17413 WITH SCORE 17439.657
AT ITER 994 NEW BEST:: SOT 66314 SOS 26630 HAS SOPS 24613 HAS SOUS 19067 HAS SOUPS 17386 WITH SCORE 17412.63
AT ITER 996 NEW BEST:: SOT 66318 SOS 26634 HAS SOPS 24613 HAS SOUS 19063 HAS SOUPS 17378 WITH SCORE 17404.634
AT ITER 1009 NEW BEST:: SOT 66318 SOS 26181 HAS SOPS 24160 HAS SOUS 19018 HAS SOUPS 17333 WITH SCORE 17359.181
AT ITER 1010 NEW BEST:: SOT 66242 SOS 26105 HAS SOPS 24084 HAS SOUS 18991 HAS SOUPS 17306 WITH SCORE 17332.105
AT ITER 1018 NEW BEST:: SOT 66242 SOS 26097 HAS SOPS 24076 HAS SOUS 18987 HAS SOUPS 17302 WITH SCORE 17328.097
AT ITER 1019 NEW BEST:: SOT 66562 SOS 25591 HAS SOPS 23570 HAS SOUS 18858 HAS SOUPS 17173 WITH SCORE 17198.591
AT ITER 1043 NEW BEST:: SOT 66253 SOS 26343 HAS SOPS 24322 HAS SOUS 18772 HAS SOUPS 17087 WITH SCORE 17113.343
AT ITER 1091 NEW BEST:: SOT 66022 SOS 26200 HAS SOPS 24179 HAS SOUS 18733 HAS SOUPS 17048 WITH SCORE 17074.2
AT ITER 1095 NEW BEST:: SOT 66008 SOS 26188 HAS SOPS 24162 HAS SOUS 18730 HAS SOUPS 17040 WITH SCORE 17066.188
AT ITER 1099 NEW BEST:: SOT 66021 SOS 26244 HAS SOPS 24107 HAS SOUS 18815 HAS SOUPS 17014 WITH SCORE 17040.244
AT ITER 1108 NEW BEST:: SOT 65844 SOS 26378 HAS SOPS 24087 HAS SOUS 18918 HAS SOUPS 16963 WITH SCORE 16989.378
AT ITER 1125 NEW BEST:: SOT 65749 SOS 26200 HAS SOPS 23909 HAS SOUS 18820 HAS SOUPS 16865 WITH SCORE 16891.2
AT ITER 1133 NEW BEST:: SOT 65755 SOS 26114 HAS SOPS 23823 HAS SOUS 18766 HAS SOUPS 16811 WITH SCORE 16837.114
AT ITER 1135 NEW BEST:: SOT 65750 SOS 26065 HAS SOPS 23774 HAS SOUS 18751 HAS SOUPS 16796 WITH SCORE 16822.065
AT ITER 1154 NEW BEST:: SOT 65721 SOS 26127 HAS SOPS 23789 HAS SOUS 18737 HAS SOUPS 16758 WITH SCORE 16784.127
AT ITER 1167 NEW BEST:: SOT 65715 SOS 26118 HAS SOPS 23780 HAS SOUS 18728 HAS SOUPS 16749 WITH SCORE 16775.118
AT ITER 1172 NEW BEST:: SOT 65713 SOS 26116 HAS SOPS 23778 HAS SOUS 18726 HAS SOUPS 16747 WITH SCORE 16773.116
AT ITER 1175 NEW BEST:: SOT 65702 SOS 26079 HAS SOPS 23741 HAS SOUS 18724 HAS SOUPS 16745 WITH SCORE 16771.079
AT ITER 1178 NEW BEST:: SOT 65702 SOS 26065 HAS SOPS 23727 HAS SOUS 18710 HAS SOUPS 16731 WITH SCORE 16757.065
AT ITER 1180 NEW BEST:: SOT 65593 SOS 25956 HAS SOPS 23618 HAS SOUS 18604 HAS SOUPS 16625 WITH SCORE 16650.956
AT ITER 1183 NEW BEST:: SOT 65572 SOS 25935 HAS SOPS 23597 HAS SOUS 18601 HAS SOUPS 16622 WITH SCORE 16647.935
AT ITER 1202 NEW BEST:: SOT 65532 SOS 25895 HAS SOPS 23481 HAS SOUS 18594 HAS SOUPS 16539 WITH SCORE 16564.895
AT ITER 1203 NEW BEST:: SOT 65522 SOS 25851 HAS SOPS 23437 HAS SOUS 18560 HAS SOUPS 16505 WITH SCORE 16530.851
AT ITER 1206 NEW BEST:: SOT 65497 SOS 25761 HAS SOPS 23359 HAS SOUS 18530 HAS SOUPS 16476 WITH SCORE 16501.761
AT ITER 1208 NEW BEST:: SOT 65417 SOS 25636 HAS SOPS 23224 HAS SOUS 18405 HAS SOUPS 16341 WITH SCORE 16366.636
AT ITER 1227 NEW BEST:: SOT 65267 SOS 25486 HAS SOPS 23074 HAS SOUS 18324 HAS SOUPS 16260 WITH SCORE 16285.486
AT ITER 1240 NEW BEST:: SOT 65255 SOS 25480 HAS SOPS 23062 HAS SOUS 18324 HAS SOUPS 16254 WITH SCORE 16279.48
AT ITER 1257 NEW BEST:: SOT 65263 SOS 25463 HAS SOPS 23045 HAS SOUS 18307 HAS SOUPS 16237 WITH SCORE 16262.463
AT ITER 1273 NEW BEST:: SOT 65259 SOS 25459 HAS SOPS 23041 HAS SOUS 18303 HAS SOUPS 16233 WITH SCORE 16258.459
AT ITER 1297 NEW BEST:: SOT 65256 SOS 25456 HAS SOPS 23038 HAS SOUS 18297 HAS SOUPS 16227 WITH SCORE 16252.456
AT ITER 1300 NEW BEST:: SOT 64902 SOS 26287 HAS SOPS 23869 HAS SOUS 18286 HAS SOUPS 16216 WITH SCORE 16242.287
AT ITER 1334 NEW BEST:: SOT 64892 SOS 26277 HAS SOPS 23859 HAS SOUS 18284 HAS SOUPS 16214 WITH SCORE 16240.277
AT ITER 1335 NEW BEST:: SOT 64859 SOS 26178 HAS SOPS 23760 HAS SOUS 18218 HAS SOUPS 16148 WITH SCORE 16174.178
AT ITER 1341 NEW BEST:: SOT 64855 SOS 26214 HAS SOPS 23774 HAS SOUS 18236 HAS SOUPS 16144 WITH SCORE 16170.214
AT ITER 1360 NEW BEST:: SOT 64853 SOS 26211 HAS SOPS 23771 HAS SOUS 18233 HAS SOUPS 16141 WITH SCORE 16167.211
AT ITER 1367 NEW BEST:: SOT 64765 SOS 26093 HAS SOPS 23683 HAS SOUS 18228 HAS SOUPS 16053 WITH SCORE 16079.093
AT ITER 1377 NEW BEST:: SOT 64751 SOS 26079 HAS SOPS 23655 HAS SOUS 18095 HAS SOUPS 16025 WITH SCORE 16051.079
AT ITER 1396 NEW BEST:: SOT 64692 SOS 25952 HAS SOPS 23506 HAS SOUS 18009 HAS SOUPS 15917 WITH SCORE 15942.952
AT ITER 1398 NEW BEST:: SOT 64735 SOS 25828 HAS SOPS 23382 HAS SOUS 17999 HAS SOUPS 15907 WITH SCORE 15932.828
AT ITER 1407 NEW BEST:: SOT 64715 SOS 25778 HAS SOPS 23342 HAS SOUS 17973 HAS SOUPS 15891 WITH SCORE 15916.778
AT ITER 1413 NEW BEST:: SOT 64685 SOS 25686 HAS SOPS 23250 HAS SOUS 17945 HAS SOUPS 15863 WITH SCORE 15888.686
AT ITER 1418 NEW BEST:: SOT 64644 SOS 25733 HAS SOPS 23224 HAS SOUS 18003 HAS SOUPS 15848 WITH SCORE 15873.733
AT ITER 1423 NEW BEST:: SOT 64633 SOS 25613 HAS SOPS 23104 HAS SOUS 17961 HAS SOUPS 15806 WITH SCORE 15831.613
AT ITER 1454 NEW BEST:: SOT 64584 SOS 25574 HAS SOPS 23064 HAS SOUS 17888 HAS SOUPS 15732 WITH SCORE 15757.574
AT ITER 1471 NEW BEST:: SOT 64572 SOS 25544 HAS SOPS 23034 HAS SOUS 17870 HAS SOUPS 15714 WITH SCORE 15739.544
AT ITER 1474 NEW BEST:: SOT 64646 SOS 25593 HAS SOPS 23072 HAS SOUS 17874 HAS SOUPS 15707 WITH SCORE 15732.593
AT ITER 1487 NEW BEST:: SOT 64622 SOS 25569 HAS SOPS 23048 HAS SOUS 17826 HAS SOUPS 15659 WITH SCORE 15684.569
AT ITER 1491 NEW BEST:: SOT 64574 SOS 25521 HAS SOPS 23000 HAS SOUS 17762 HAS SOUPS 15595 WITH SCORE 15620.521
AT ITER 1496 NEW BEST:: SOT 64585 SOS 25532 HAS SOPS 23011 HAS SOUS 17756 HAS SOUPS 15589 WITH SCORE 15614.532
AT ITER 1502 NEW BEST:: SOT 64585 SOS 25532 HAS SOPS 23000 HAS SOUS 17745 HAS SOUPS 15578 WITH SCORE 15603.532
AT ITER 1506 NEW BEST:: SOT 64613 SOS 25490 HAS SOPS 22998 HAS SOUS 17673 HAS SOUPS 15510 WITH SCORE 15535.49
AT ITER 1519 NEW BEST:: SOT 64577 SOS 25454 HAS SOPS 22936 HAS SOUS 17653 HAS SOUPS 15464 WITH SCORE 15489.454
AT ITER 1520 NEW BEST:: SOT 64537 SOS 25371 HAS SOPS 22887 HAS SOUS 17576 HAS SOUPS 15421 WITH SCORE 15446.371
AT ITER 1525 NEW BEST:: SOT 64533 SOS 25361 HAS SOPS 22881 HAS SOUS 17570 HAS SOUPS 15419 WITH SCORE 15444.361
AT ITER 1533 NEW BEST:: SOT 64395 SOS 25223 HAS SOPS 22743 HAS SOUS 17570 HAS SOUPS 15419 WITH SCORE 15444.223
AT ITER 1539 NEW BEST:: SOT 64375 SOS 25148 HAS SOPS 22668 HAS SOUS 17515 HAS SOUPS 15364 WITH SCORE 15389.148
AT ITER 1545 NEW BEST:: SOT 64351 SOS 25125 HAS SOPS 22654 HAS SOUS 17492 HAS SOUPS 15350 WITH SCORE 15375.125
AT ITER 1546 NEW BEST:: SOT 64338 SOS 25086 HAS SOPS 22615 HAS SOUS 17466 HAS SOUPS 15324 WITH SCORE 15349.086
AT ITER 1547 NEW BEST:: SOT 64560 SOS 25271 HAS SOPS 22800 HAS SOUS 17441 HAS SOUPS 15299 WITH SCORE 15324.271
AT ITER 1550 NEW BEST:: SOT 64518 SOS 25229 HAS SOPS 22758 HAS SOUS 17441 HAS SOUPS 15299 WITH SCORE 15324.229
AT ITER 1568 NEW BEST:: SOT 64551 SOS 25167 HAS SOPS 22702 HAS SOUS 17408 HAS SOUPS 15272 WITH SCORE 15297.167
AT ITER 1582 NEW BEST:: SOT 64539 SOS 25161 HAS SOPS 22696 HAS SOUS 17402 HAS SOUPS 15266 WITH SCORE 15291.161
AT ITER 1597 NEW BEST:: SOT 64561 SOS 25108 HAS SOPS 22643 HAS SOUS 17349 HAS SOUPS 15213 WITH SCORE 15238.108
AT ITER 1598 NEW BEST:: SOT 64546 SOS 25093 HAS SOPS 22613 HAS SOUS 17349 HAS SOUPS 15198 WITH SCORE 15223.093
AT ITER 1608 NEW BEST:: SOT 64455 SOS 24991 HAS SOPS 22511 HAS SOUS 17279 HAS SOUPS 15128 WITH SCORE 15152.991
AT ITER 1610 NEW BEST:: SOT 64387 SOS 24880 HAS SOPS 22400 HAS SOUS 17212 HAS SOUPS 15061 WITH SCORE 15085.88
AT ITER 1614 NEW BEST:: SOT 64319 SOS 24818 HAS SOPS 22349 HAS SOUS 17200 HAS SOUPS 15060 WITH SCORE 15084.818
AT ITER 1646 NEW BEST:: SOT 64244 SOS 24735 HAS SOPS 22277 HAS SOUS 17163 HAS SOUPS 15034 WITH SCORE 15058.735
AT ITER 1683 NEW BEST:: SOT 64223 SOS 24715 HAS SOPS 22257 HAS SOUS 17143 HAS SOUPS 15014 WITH SCORE 15038.715
AT ITER 1696 NEW BEST:: SOT 64402 SOS 24900 HAS SOPS 22324 HAS SOUS 17157 HAS SOUPS 14963 WITH SCORE 14987.9
AT ITER 1707 NEW BEST:: SOT 64389 SOS 24887 HAS SOPS 22311 HAS SOUS 17170 HAS SOUPS 14963 WITH SCORE 14987.887
AT ITER 1716 NEW BEST:: SOT 64372 SOS 24797 HAS SOPS 22277 HAS SOUS 17097 HAS SOUPS 14946 WITH SCORE 14970.797
AT ITER 1748 NEW BEST:: SOT 64271 SOS 24706 HAS SOPS 22186 HAS SOUS 17054 HAS SOUPS 14903 WITH SCORE 14927.706
AT ITER 1762 NEW BEST:: SOT 63563 SOS 23998 HAS SOPS 21478 HAS SOUS 16978 HAS SOUPS 14827 WITH SCORE 14850.998
AT ITER 1776 NEW BEST:: SOT 63527 SOS 23967 HAS SOPS 21424 HAS SOUS 16965 HAS SOUPS 14791 WITH SCORE 14814.967
AT ITER 1788 NEW BEST:: SOT 63482 SOS 23839 HAS SOPS 21296 HAS SOUS 16929 HAS SOUPS 14755 WITH SCORE 14778.839
AT ITER 1797 NEW BEST:: SOT 63477 SOS 23784 HAS SOPS 21241 HAS SOUS 16889 HAS SOUPS 14715 WITH SCORE 14738.784
AT ITER 1809 NEW BEST:: SOT 63457 SOS 23764 HAS SOPS 21221 HAS SOUS 16882 HAS SOUPS 14708 WITH SCORE 14731.764
AT ITER 1811 NEW BEST:: SOT 63432 SOS 23727 HAS SOPS 21195 HAS SOUS 16868 HAS SOUPS 14705 WITH SCORE 14728.727
AT ITER 1815 NEW BEST:: SOT 63432 SOS 23727 HAS SOPS 21195 HAS SOUS 16860 HAS SOUPS 14697 WITH SCORE 14720.727
AT ITER 1823 NEW BEST:: SOT 63388 SOS 23660 HAS SOPS 21128 HAS SOUS 16842 HAS SOUPS 14679 WITH SCORE 14702.66
AT ITER 1831 NEW BEST:: SOT 63427 SOS 23226 HAS SOPS 20694 HAS SOUS 16790 HAS SOUPS 14627 WITH SCORE 14650.226
AT ITER 1834 NEW BEST:: SOT 63454 SOS 23218 HAS SOPS 20686 HAS SOUS 16782 HAS SOUPS 14619 WITH SCORE 14642.218
AT ITER 1837 NEW BEST:: SOT 63390 SOS 23173 HAS SOPS 20641 HAS SOUS 16737 HAS SOUPS 14574 WITH SCORE 14597.173
AT ITER 1852 NEW BEST:: SOT 63132 SOS 22783 HAS SOPS 20396 HAS SOUS 16666 HAS SOUPS 14568 WITH SCORE 14590.783
AT ITER 1864 NEW BEST:: SOT 63120 SOS 22777 HAS SOPS 20384 HAS SOUS 16666 HAS SOUPS 14562 WITH SCORE 14584.777
AT ITER 1881 NEW BEST:: SOT 63106 SOS 22730 HAS SOPS 20337 HAS SOUS 16605 HAS SOUPS 14501 WITH SCORE 14523.73
AT ITER 1882 NEW BEST:: SOT 63081 SOS 22705 HAS SOPS 20306 HAS SOUS 16591 HAS SOUPS 14481 WITH SCORE 14503.705
AT ITER 1899 NEW BEST:: SOT 63034 SOS 22508 HAS SOPS 20165 HAS SOUS 16500 HAS SOUPS 14434 WITH SCORE 14456.508
AT ITER 1922 NEW BEST:: SOT 63028 SOS 22508 HAS SOPS 20165 HAS SOUS 16496 HAS SOUPS 14430 WITH SCORE 14452.508
AT ITER 1928 NEW BEST:: SOT 63020 SOS 22488 HAS SOPS 20145 HAS SOUS 16486 HAS SOUPS 14420 WITH SCORE 14442.488
AT ITER 1952 NEW BEST:: SOT 63019 SOS 22483 HAS SOPS 20156 HAS SOUS 16468 HAS SOUPS 14418 WITH SCORE 14440.483
AT ITER 1983 NEW BEST:: SOT 62951 SOS 22347 HAS SOPS 20020 HAS SOUS 16454 HAS SOUPS 14404 WITH SCORE 14426.347
AT ITER 1990 NEW BEST:: SOT 62938 SOS 22334 HAS SOPS 20007 HAS SOUS 16424 HAS SOUPS 14374 WITH SCORE 14396.334
AT ITER 1993 NEW BEST:: SOT 62929 SOS 22284 HAS SOPS 19979 HAS SOUS 16383 HAS SOUPS 14355 WITH SCORE 14377.284
AT ITER 2006 NEW BEST:: SOT 62922 SOS 22263 HAS SOPS 19965 HAS SOUS 16369 HAS SOUPS 14348 WITH SCORE 14370.263
AT ITER 2018 NEW BEST:: SOT 62921 SOS 22262 HAS SOPS 19964 HAS SOUS 16367 HAS SOUPS 14346 WITH SCORE 14368.262
AT ITER 2024 NEW BEST:: SOT 62906 SOS 22247 HAS SOPS 19934 HAS SOUS 16352 HAS SOUPS 14316 WITH SCORE 14338.247
AT ITER 2032 NEW BEST:: SOT 62903 SOS 22243 HAS SOPS 19928 HAS SOUS 16348 HAS SOUPS 14310 WITH SCORE 14332.243
AT ITER 2043 NEW BEST:: SOT 62905 SOS 22245 HAS SOPS 19929 HAS SOUS 16348 HAS SOUPS 14309 WITH SCORE 14331.245
AT ITER 2044 NEW BEST:: SOT 62911 SOS 22229 HAS SOPS 19913 HAS SOUS 16345 HAS SOUPS 14306 WITH SCORE 14328.229
AT ITER 2053 NEW BEST:: SOT 62881 SOS 22199 HAS SOPS 19853 HAS SOUS 16345 HAS SOUPS 14276 WITH SCORE 14298.199
AT ITER 2061 NEW BEST:: SOT 62881 SOS 22199 HAS SOPS 19842 HAS SOUS 16345 HAS SOUPS 14265 WITH SCORE 14287.199
AT ITER 2068 NEW BEST:: SOT 62879 SOS 22197 HAS SOPS 19838 HAS SOUS 16345 HAS SOUPS 14263 WITH SCORE 14285.197
AT ITER 2070 NEW BEST:: SOT 62879 SOS 22189 HAS SOPS 19838 HAS SOUS 16337 HAS SOUPS 14263 WITH SCORE 14285.189
AT ITER 2093 NEW BEST:: SOT 62811 SOS 22121 HAS SOPS 19770 HAS SOUS 16303 HAS SOUPS 14229 WITH SCORE 14251.121
AT ITER 2095 NEW BEST:: SOT 62805 SOS 22097 HAS SOPS 19746 HAS SOUS 16288 HAS SOUPS 14214 WITH SCORE 14236.097
AT ITER 2110 NEW BEST:: SOT 62805 SOS 22093 HAS SOPS 19742 HAS SOUS 16284 HAS SOUPS 14210 WITH SCORE 14232.093
AT ITER 2122 NEW BEST:: SOT 62757 SOS 22045 HAS SOPS 19694 HAS SOUS 16252 HAS SOUPS 14178 WITH SCORE 14200.045
AT ITER 2136 NEW BEST:: SOT 62772 SOS 22037 HAS SOPS 19686 HAS SOUS 16248 HAS SOUPS 14174 WITH SCORE 14196.037
AT ITER 2152 NEW BEST:: SOT 62772 SOS 22034 HAS SOPS 19686 HAS SOUS 16245 HAS SOUPS 14174 WITH SCORE 14196.034
AT ITER 2160 NEW BEST:: SOT 62738 SOS 21949 HAS SOPS 19601 HAS SOUS 16194 HAS SOUPS 14123 WITH SCORE 14144.949
AT ITER 2170 NEW BEST:: SOT 62738 SOS 21977 HAS SOPS 19629 HAS SOUS 16182 HAS SOUPS 14111 WITH SCORE 14132.977
AT ITER 2177 NEW BEST:: SOT 62749 SOS 22061 HAS SOPS 19682 HAS SOUS 16212 HAS SOUPS 14110 WITH SCORE 14132.061
AT ITER 2182 NEW BEST:: SOT 62746 SOS 22052 HAS SOPS 19676 HAS SOUS 16209 HAS SOUPS 14107 WITH SCORE 14129.052
AT ITER 2226 NEW BEST:: SOT 62698 SOS 21988 HAS SOPS 19612 HAS SOUS 16209 HAS SOUPS 14107 WITH SCORE 14128.988
AT ITER 2287 NEW BEST:: SOT 62698 SOS 21984 HAS SOPS 19608 HAS SOUS 16205 HAS SOUPS 14103 WITH SCORE 14124.984
AT ITER 2300 NEW BEST:: SOT 62696 SOS 21981 HAS SOPS 19605 HAS SOUS 16205 HAS SOUPS 14103 WITH SCORE 14124.981
AT ITER 2301 NEW BEST:: SOT 62677 SOS 21864 HAS SOPS 19558 HAS SOUS 16121 HAS SOUPS 14089 WITH SCORE 14110.864
AT ITER 2321 NEW BEST:: SOT 62656 SOS 21877 HAS SOPS 19571 HAS SOUS 16118 HAS SOUPS 14086 WITH SCORE 14107.877
AT ITER 2326 NEW BEST:: SOT 62656 SOS 21889 HAS SOPS 19583 HAS SOUS 16112 HAS SOUPS 14080 WITH SCORE 14101.889
AT ITER 2339 NEW BEST:: SOT 62656 SOS 21887 HAS SOPS 19581 HAS SOUS 16111 HAS SOUPS 14079 WITH SCORE 14100.887
AT ITER 2343 NEW BEST:: SOT 62652 SOS 21846 HAS SOPS 19573 HAS SOUS 16070 HAS SOUPS 14071 WITH SCORE 14092.846
AT ITER 2347 NEW BEST:: SOT 62620 SOS 21699 HAS SOPS 19426 HAS SOUS 16045 HAS SOUPS 14046 WITH SCORE 14067.699
AT ITER 2352 NEW BEST:: SOT 62597 SOS 21651 HAS SOPS 19378 HAS SOUS 15997 HAS SOUPS 13998 WITH SCORE 14019.651
AT ITER 2361 NEW BEST:: SOT 62585 SOS 21363 HAS SOPS 19090 HAS SOUS 15979 HAS SOUPS 13980 WITH SCORE 14001.363
AT ITER 2376 NEW BEST:: SOT 62579 SOS 21353 HAS SOPS 19078 HAS SOUS 15973 HAS SOUPS 13972 WITH SCORE 13993.353
AT ITER 2430 NEW BEST:: SOT 62575 SOS 21373 HAS SOPS 19098 HAS SOUS 15968 HAS SOUPS 13967 WITH SCORE 13988.373
AT ITER 2437 NEW BEST:: SOT 62575 SOS 21373 HAS SOPS 19098 HAS SOUS 15960 HAS SOUPS 13959 WITH SCORE 13980.373
AT ITER 2453 NEW BEST:: SOT 62575 SOS 21387 HAS SOPS 19112 HAS SOUS 15953 HAS SOUPS 13952 WITH SCORE 13973.387
AT ITER 2457 NEW BEST:: SOT 62565 SOS 21371 HAS SOPS 19092 HAS SOUS 15937 HAS SOUPS 13932 WITH SCORE 13953.371
AT ITER 2460 NEW BEST:: SOT 62596 SOS 21402 HAS SOPS 19123 HAS SOUS 15906 HAS SOUPS 13901 WITH SCORE 13922.402
AT ITER 2461 NEW BEST:: SOT 62588 SOS 21344 HAS SOPS 19065 HAS SOUS 15888 HAS SOUPS 13883 WITH SCORE 13904.344
AT ITER 2493 NEW BEST:: SOT 62590 SOS 21346 HAS SOPS 19069 HAS SOUS 15878 HAS SOUPS 13875 WITH SCORE 13896.346
AT ITER 2494 NEW BEST:: SOT 62675 SOS 21443 HAS SOPS 19115 HAS SOUS 15924 HAS SOUPS 13870 WITH SCORE 13891.443
AT ITER 2516 NEW BEST:: SOT 62625 SOS 21345 HAS SOPS 19015 HAS SOUS 15874 HAS SOUPS 13818 WITH SCORE 13839.345
AT ITER 2526 NEW BEST:: SOT 62595 SOS 21234 HAS SOPS 18917 HAS SOUS 15793 HAS SOUPS 13750 WITH SCORE 13771.234
AT ITER 2539 NEW BEST:: SOT 62579 SOS 21243 HAS SOPS 18897 HAS SOUS 15809 HAS SOUPS 13737 WITH SCORE 13758.243
AT ITER 2556 NEW BEST:: SOT 62529 SOS 21137 HAS SOPS 18791 HAS SOUS 15756 HAS SOUPS 13684 WITH SCORE 13705.137
AT ITER 2585 NEW BEST:: SOT 62524 SOS 21172 HAS SOPS 18825 HAS SOUS 15744 HAS SOUPS 13671 WITH SCORE 13692.172
AT ITER 2593 NEW BEST:: SOT 62512 SOS 21142 HAS SOPS 18795 HAS SOUS 15739 HAS SOUPS 13666 WITH SCORE 13687.142
AT ITER 2603 NEW BEST:: SOT 62508 SOS 21134 HAS SOPS 18787 HAS SOUS 15735 HAS SOUPS 13662 WITH SCORE 13683.134
AT ITER 2614 NEW BEST:: SOT 62473 SOS 21106 HAS SOPS 18746 HAS SOUS 15700 HAS SOUPS 13614 WITH SCORE 13635.106
AT ITER 2615 NEW BEST:: SOT 62440 SOS 21073 HAS SOPS 18713 HAS SOUS 15665 HAS SOUPS 13579 WITH SCORE 13600.073
AT ITER 2636 NEW BEST:: SOT 62713 SOS 21359 HAS SOPS 18999 HAS SOUS 15656 HAS SOUPS 13570 WITH SCORE 13591.359
AT ITER 2643 NEW BEST:: SOT 62721 SOS 21367 HAS SOPS 19007 HAS SOUS 15638 HAS SOUPS 13552 WITH SCORE 13573.367
AT ITER 2652 NEW BEST:: SOT 62709 SOS 21355 HAS SOPS 18995 HAS SOUS 15617 HAS SOUPS 13531 WITH SCORE 13552.355
AT ITER 2665 NEW BEST:: SOT 62703 SOS 21367 HAS SOPS 19007 HAS SOUS 15613 HAS SOUPS 13527 WITH SCORE 13548.367
AT ITER 2682 NEW BEST:: SOT 62690 SOS 21354 HAS SOPS 18994 HAS SOUS 15613 HAS SOUPS 13527 WITH SCORE 13548.354
AT ITER 2742 NEW BEST:: SOT 62666 SOS 21330 HAS SOPS 18970 HAS SOUS 15588 HAS SOUPS 13502 WITH SCORE 13523.33
AT ITER 2743 NEW BEST:: SOT 62666 SOS 21318 HAS SOPS 18962 HAS SOUS 15581 HAS SOUPS 13499 WITH SCORE 13520.318
AT ITER 2784 NEW BEST:: SOT 62671 SOS 21322 HAS SOPS 18966 HAS SOUS 15580 HAS SOUPS 13498 WITH SCORE 13519.322
AT ITER 2808 NEW BEST:: SOT 62671 SOS 21280 HAS SOPS 18938 HAS SOUS 15552 HAS SOUPS 13484 WITH SCORE 13505.28
AT ITER 2812 NEW BEST:: SOT 62684 SOS 21257 HAS SOPS 18915 HAS SOUS 15502 HAS SOUPS 13434 WITH SCORE 13455.257
AT ITER 2835 NEW BEST:: SOT 62738 SOS 21289 HAS SOPS 18947 HAS SOUS 15453 HAS SOUPS 13385 WITH SCORE 13406.289
AT ITER 2836 NEW BEST:: SOT 62738 SOS 21274 HAS SOPS 18932 HAS SOUS 15438 HAS SOUPS 13370 WITH SCORE 13391.274
AT ITER 2838 NEW BEST:: SOT 63233 SOS 21723 HAS SOPS 19383 HAS SOUS 15434 HAS SOUPS 13368 WITH SCORE 13389.723
AT ITER 2848 NEW BEST:: SOT 63212 SOS 21700 HAS SOPS 19360 HAS SOUS 15411 HAS SOUPS 13345 WITH SCORE 13366.7
AT ITER 2849 NEW BEST:: SOT 63202 SOS 21710 HAS SOPS 19370 HAS SOUS 15402 HAS SOUPS 13336 WITH SCORE 13357.71
AT ITER 2850 NEW BEST:: SOT 63202 SOS 21470 HAS SOPS 19130 HAS SOUS 15376 HAS SOUPS 13310 WITH SCORE 13331.47
AT ITER 2851 NEW BEST:: SOT 63186 SOS 21438 HAS SOPS 19098 HAS SOUS 15344 HAS SOUPS 13278 WITH SCORE 13299.438
AT ITER 2858 NEW BEST:: SOT 63190 SOS 21406 HAS SOPS 19066 HAS SOUS 15337 HAS SOUPS 13271 WITH SCORE 13292.406
AT ITER 2860 NEW BEST:: SOT 63190 SOS 21395 HAS SOPS 19066 HAS SOUS 15315 HAS SOUPS 13260 WITH SCORE 13281.395
AT ITER 2861 NEW BEST:: SOT 63289 SOS 21489 HAS SOPS 19160 HAS SOUS 15308 HAS SOUPS 13253 WITH SCORE 13274.489
AT ITER 2883 NEW BEST:: SOT 63288 SOS 21489 HAS SOPS 19158 HAS SOUS 15309 HAS SOUPS 13252 WITH SCORE 13273.489
AT ITER 2888 NEW BEST:: SOT 63276 SOS 21459 HAS SOPS 19134 HAS SOUS 15291 HAS SOUPS 13240 WITH SCORE 13261.459
AT ITER 2892 NEW BEST:: SOT 63272 SOS 21455 HAS SOPS 19130 HAS SOUS 15287 HAS SOUPS 13236 WITH SCORE 13257.455
AT ITER 2912 NEW BEST:: SOT 63254 SOS 21439 HAS SOPS 19114 HAS SOUS 15287 HAS SOUPS 13236 WITH SCORE 13257.439
AT ITER 2938 NEW BEST:: SOT 63254 SOS 21437 HAS SOPS 19114 HAS SOUS 15279 HAS SOUPS 13230 WITH SCORE 13251.437
AT ITER 2942 NEW BEST:: SOT 63250 SOS 21433 HAS SOPS 19110 HAS SOUS 15271 HAS SOUPS 13222 WITH SCORE 13243.433
AT ITER 2961 NEW BEST:: SOT 63240 SOS 21333 HAS SOPS 19010 HAS SOUS 15251 HAS SOUPS 13202 WITH SCORE 13223.333
AT ITER 2968 NEW BEST:: SOT 63278 SOS 21371 HAS SOPS 19048 HAS SOUS 15249 HAS SOUPS 13200 WITH SCORE 13221.371
AT ITER 2989 NEW BEST:: SOT 63278 SOS 21338 HAS SOPS 19018 HAS SOUS 15246 HAS SOUPS 13200 WITH SCORE 13221.338
AT ITER 3025 NEW BEST:: SOT 63278 SOS 21333 HAS SOPS 19013 HAS SOUS 15246 HAS SOUPS 13200 WITH SCORE 13221.333
AT ITER 3029 NEW BEST:: SOT 63124 SOS 21179 HAS SOPS 18859 HAS SOUS 15218 HAS SOUPS 13172 WITH SCORE 13193.179
AT ITER 3038 NEW BEST:: SOT 63117 SOS 21165 HAS SOPS 18845 HAS SOUS 15204 HAS SOUPS 13158 WITH SCORE 13179.165
AT ITER 3075 NEW BEST:: SOT 63113 SOS 21161 HAS SOPS 18837 HAS SOUS 15200 HAS SOUPS 13150 WITH SCORE 13171.161
AT ITER 3083 NEW BEST:: SOT 63111 SOS 21109 HAS SOPS 18835 HAS SOUS 15148 HAS SOUPS 13148 WITH SCORE 13169.109
AT ITER 3105 NEW BEST:: SOT 63118 SOS 21123 HAS SOPS 18849 HAS SOUS 15141 HAS SOUPS 13141 WITH SCORE 13162.123
AT ITER 3143 NEW BEST:: SOT 63097 SOS 21094 HAS SOPS 18820 HAS SOUS 15112 HAS SOUPS 13112 WITH SCORE 13133.094
AT ITER 3145 NEW BEST:: SOT 63025 SOS 20940 HAS SOPS 18636 HAS SOUS 15030 HAS SOUPS 13000 WITH SCORE 13020.94
AT ITER 3167 NEW BEST:: SOT 63163 SOS 20807 HAS SOPS 18503 HAS SOUS 15008 HAS SOUPS 12978 WITH SCORE 12998.807
AT ITER 3193 NEW BEST:: SOT 63108 SOS 20768 HAS SOPS 18464 HAS SOUS 14969 HAS SOUPS 12939 WITH SCORE 12959.768
AT ITER 3199 NEW BEST:: SOT 63094 SOS 20709 HAS SOPS 18405 HAS SOUS 14948 HAS SOUPS 12918 WITH SCORE 12938.709
AT ITER 3200 NEW BEST:: SOT 63094 SOS 20698 HAS SOPS 18405 HAS SOUS 14937 HAS SOUPS 12918 WITH SCORE 12938.698
AT ITER 3209 NEW BEST:: SOT 63096 SOS 20698 HAS SOPS 18405 HAS SOUS 14935 HAS SOUPS 12916 WITH SCORE 12936.698
AT ITER 3225 NEW BEST:: SOT 63094 SOS 20694 HAS SOPS 18401 HAS SOUS 14931 HAS SOUPS 12912 WITH SCORE 12932.694
AT ITER 3228 NEW BEST:: SOT 63120 SOS 20694 HAS SOPS 18401 HAS SOUS 14887 HAS SOUPS 12868 WITH SCORE 12888.694
AT ITER 3233 NEW BEST:: SOT 63150 SOS 20717 HAS SOPS 18430 HAS SOUS 14874 HAS SOUPS 12861 WITH SCORE 12881.717
AT ITER 3237 NEW BEST:: SOT 63150 SOS 20711 HAS SOPS 18424 HAS SOUS 14871 HAS SOUPS 12858 WITH SCORE 12878.711
AT ITER 3257 NEW BEST:: SOT 63171 SOS 20698 HAS SOPS 18411 HAS SOUS 14863 HAS SOUPS 12850 WITH SCORE 12870.698
AT ITER 3263 NEW BEST:: SOT 63168 SOS 20695 HAS SOPS 18408 HAS SOUS 14860 HAS SOUPS 12847 WITH SCORE 12867.695
AT ITER 3276 NEW BEST:: SOT 63162 SOS 20665 HAS SOPS 18378 HAS SOUS 14836 HAS SOUPS 12823 WITH SCORE 12843.665
AT ITER 3278 NEW BEST:: SOT 63060 SOS 20567 HAS SOPS 18280 HAS SOUS 14824 HAS SOUPS 12811 WITH SCORE 12831.567
AT ITER 3282 NEW BEST:: SOT 63076 SOS 20591 HAS SOPS 18288 HAS SOUS 14832 HAS SOUPS 12803 WITH SCORE 12823.591
AT ITER 3305 NEW BEST:: SOT 63086 SOS 20594 HAS SOPS 18291 HAS SOUS 14818 HAS SOUPS 12789 WITH SCORE 12809.594
AT ITER 3333 NEW BEST:: SOT 63063 SOS 20513 HAS SOPS 18210 HAS SOUS 14783 HAS SOUPS 12754 WITH SCORE 12774.513
AT ITER 3334 NEW BEST:: SOT 63065 SOS 20528 HAS SOPS 18225 HAS SOUS 14780 HAS SOUPS 12751 WITH SCORE 12771.528
AT ITER 3342 NEW BEST:: SOT 63056 SOS 20527 HAS SOPS 18224 HAS SOUS 14779 HAS SOUPS 12750 WITH SCORE 12770.527
AT ITER 3401 NEW BEST:: SOT 63056 SOS 20523 HAS SOPS 18220 HAS SOUS 14779 HAS SOUPS 12750 WITH SCORE 12770.523
AT ITER 3424 NEW BEST:: SOT 63052 SOS 20519 HAS SOPS 18216 HAS SOUS 14771 HAS SOUPS 12742 WITH SCORE 12762.519
AT ITER 3429 NEW BEST:: SOT 63054 SOS 20510 HAS SOPS 18207 HAS SOUS 14765 HAS SOUPS 12736 WITH SCORE 12756.51
AT ITER 3442 NEW BEST:: SOT 63029 SOS 20498 HAS SOPS 18182 HAS SOUS 14763 HAS SOUPS 12727 WITH SCORE 12747.498
AT ITER 3461 NEW BEST:: SOT 63010 SOS 20460 HAS SOPS 18163 HAS SOUS 14744 HAS SOUPS 12727 WITH SCORE 12747.46
AT ITER 3521 NEW BEST:: SOT 62986 SOS 20460 HAS SOPS 18148 HAS SOUS 14753 HAS SOUPS 12721 WITH SCORE 12741.46
AT ITER 3522 NEW BEST:: SOT 62980 SOS 20446 HAS SOPS 18134 HAS SOUS 14736 HAS SOUPS 12704 WITH SCORE 12724.446
AT ITER 3538 NEW BEST:: SOT 62966 SOS 20432 HAS SOPS 18106 HAS SOUS 14736 HAS SOUPS 12690 WITH SCORE 12710.432
AT ITER 3543 NEW BEST:: SOT 62884 SOS 20352 HAS SOPS 18026 HAS SOUS 14731 HAS SOUPS 12685 WITH SCORE 12705.352
AT ITER 3547 NEW BEST:: SOT 62884 SOS 20344 HAS SOPS 18018 HAS SOUS 14723 HAS SOUPS 12677 WITH SCORE 12697.344
AT ITER 3568 NEW BEST:: SOT 62882 SOS 20337 HAS SOPS 18011 HAS SOUS 14718 HAS SOUPS 12672 WITH SCORE 12692.337
AT ITER 3572 NEW BEST:: SOT 62888 SOS 20333 HAS SOPS 18007 HAS SOUS 14712 HAS SOUPS 12666 WITH SCORE 12686.333
AT ITER 3573 NEW BEST:: SOT 63010 SOS 19845 HAS SOPS 17641 HAS SOUS 14712 HAS SOUPS 12666 WITH SCORE 12685.845
AT ITER 3629 NEW BEST:: SOT 63010 SOS 19834 HAS SOPS 17631 HAS SOUS 14711 HAS SOUPS 12666 WITH SCORE 12685.834
AT ITER 3682 NEW BEST:: SOT 63016 SOS 19837 HAS SOPS 17634 HAS SOUS 14708 HAS SOUPS 12663 WITH SCORE 12682.837
AT ITER 3707 NEW BEST:: SOT 62998 SOS 19816 HAS SOPS 17613 HAS SOUS 14687 HAS SOUPS 12642 WITH SCORE 12661.816
AT ITER 3708 NEW BEST:: SOT 63006 SOS 19828 HAS SOPS 17557 HAS SOUS 14699 HAS SOUPS 12586 WITH SCORE 12605.828
AT ITER 3757 NEW BEST:: SOT 62993 SOS 19815 HAS SOPS 17544 HAS SOUS 14699 HAS SOUPS 12586 WITH SCORE 12605.815
AT ITER 3761 NEW BEST:: SOT 62994 SOS 19829 HAS SOPS 17523 HAS SOUS 14713 HAS SOUPS 12565 WITH SCORE 12584.829
AT ITER 3762 NEW BEST:: SOT 62989 SOS 19824 HAS SOPS 17518 HAS SOUS 14708 HAS SOUPS 12560 WITH SCORE 12579.824
AT ITER 3770 NEW BEST:: SOT 62985 SOS 19814 HAS SOPS 17508 HAS SOUS 14702 HAS SOUPS 12554 WITH SCORE 12573.814
AT ITER 3815 NEW BEST:: SOT 62953 SOS 19782 HAS SOPS 17476 HAS SOUS 14684 HAS SOUPS 12536 WITH SCORE 12555.782
AT ITER 3836 NEW BEST:: SOT 62956 SOS 19785 HAS SOPS 17471 HAS SOUS 14679 HAS SOUPS 12523 WITH SCORE 12542.785
AT ITER 3868 NEW BEST:: SOT 62913 SOS 19830 HAS SOPS 17494 HAS SOUS 14680 HAS SOUPS 12513 WITH SCORE 12532.83
AT ITER 3874 NEW BEST:: SOT 62923 SOS 19841 HAS SOPS 17505 HAS SOUS 14677 HAS SOUPS 12510 WITH SCORE 12529.841
AT ITER 3887 NEW BEST:: SOT 62911 SOS 19829 HAS SOPS 17493 HAS SOUS 14669 HAS SOUPS 12502 WITH SCORE 12521.829
AT ITER 3895 NEW BEST:: SOT 62863 SOS 19783 HAS SOPS 17447 HAS SOUS 14649 HAS SOUPS 12482 WITH SCORE 12501.783
AT ITER 3896 NEW BEST:: SOT 62854 SOS 19780 HAS SOPS 17444 HAS SOUS 14646 HAS SOUPS 12479 WITH SCORE 12498.78
AT ITER 3906 NEW BEST:: SOT 62852 SOS 19778 HAS SOPS 17440 HAS SOUS 14644 HAS SOUPS 12475 WITH SCORE 12494.778
AT ITER 3915 NEW BEST:: SOT 62844 SOS 19760 HAS SOPS 17422 HAS SOUS 14636 HAS SOUPS 12467 WITH SCORE 12486.76
AT ITER 3926 NEW BEST:: SOT 62844 SOS 19667 HAS SOPS 17329 HAS SOUS 14636 HAS SOUPS 12467 WITH SCORE 12486.667
AT ITER 3939 NEW BEST:: SOT 62837 SOS 19660 HAS SOPS 17322 HAS SOUS 14622 HAS SOUPS 12453 WITH SCORE 12472.66
AT ITER 3953 NEW BEST:: SOT 62838 SOS 19661 HAS SOPS 17323 HAS SOUS 14599 HAS SOUPS 12430 WITH SCORE 12449.661
AT ITER 3967 NEW BEST:: SOT 62830 SOS 19473 HAS SOPS 17135 HAS SOUS 14573 HAS SOUPS 12404 WITH SCORE 12423.473
AT ITER 3971 NEW BEST:: SOT 62829 SOS 19474 HAS SOPS 17136 HAS SOUS 14572 HAS SOUPS 12403 WITH SCORE 12422.474
AT ITER 3974 NEW BEST:: SOT 62829 SOS 19424 HAS SOPS 17086 HAS SOUS 14572 HAS SOUPS 12403 WITH SCORE 12422.424
AT ITER 3981 NEW BEST:: SOT 62813 SOS 19385 HAS SOPS 17047 HAS SOUS 14565 HAS SOUPS 12396 WITH SCORE 12415.385
AT ITER 3988 NEW BEST:: SOT 62812 SOS 19384 HAS SOPS 17046 HAS SOUS 14564 HAS SOUPS 12395 WITH SCORE 12414.384
AT ITER 4042 NEW BEST:: SOT 62759 SOS 19349 HAS SOPS 17011 HAS SOUS 14563 HAS SOUPS 12394 WITH SCORE 12413.349
AT ITER 4050 NEW BEST:: SOT 62717 SOS 19240 HAS SOPS 16902 HAS SOUS 14496 HAS SOUPS 12327 WITH SCORE 12346.24
AT ITER 4055 NEW BEST:: SOT 62693 SOS 19046 HAS SOPS 16708 HAS SOUS 14434 HAS SOUPS 12265 WITH SCORE 12284.046
AT ITER 4065 NEW BEST:: SOT 62691 SOS 19043 HAS SOPS 16705 HAS SOUS 14432 HAS SOUPS 12263 WITH SCORE 12282.043
AT ITER 4080 NEW BEST:: SOT 62692 SOS 19036 HAS SOPS 16698 HAS SOUS 14428 HAS SOUPS 12259 WITH SCORE 12278.036
AT ITER 4091 NEW BEST:: SOT 62683 SOS 19047 HAS SOPS 16683 HAS SOUS 14419 HAS SOUPS 12224 WITH SCORE 12243.047
AT ITER 4094 NEW BEST:: SOT 62683 SOS 19030 HAS SOPS 16666 HAS SOUS 14402 HAS SOUPS 12207 WITH SCORE 12226.03
AT ITER 4114 NEW BEST:: SOT 62701 SOS 19048 HAS SOPS 16671 HAS SOUS 14395 HAS SOUPS 12187 WITH SCORE 12206.048
AT ITER 4135 NEW BEST:: SOT 62674 SOS 19021 HAS SOPS 16621 HAS SOUS 14387 HAS SOUPS 12156 WITH SCORE 12175.021
AT ITER 4146 NEW BEST:: SOT 62919 SOS 19216 HAS SOPS 16816 HAS SOUS 14377 HAS SOUPS 12146 WITH SCORE 12165.216
AT ITER 4161 NEW BEST:: SOT 62919 SOS 19212 HAS SOPS 16816 HAS SOUS 14373 HAS SOUPS 12146 WITH SCORE 12165.212
AT ITER 4237 NEW BEST:: SOT 62919 SOS 19212 HAS SOPS 16816 HAS SOUS 14365 HAS SOUPS 12138 WITH SCORE 12157.212
AT ITER 4273 NEW BEST:: SOT 62918 SOS 19210 HAS SOPS 16814 HAS SOUS 14365 HAS SOUPS 12138 WITH SCORE 12157.21
AT ITER 4277 NEW BEST:: SOT 62902 SOS 19178 HAS SOPS 16800 HAS SOUS 14340 HAS SOUPS 12122 WITH SCORE 12141.178
AT ITER 4291 NEW BEST:: SOT 62902 SOS 19168 HAS SOPS 16790 HAS SOUS 14340 HAS SOUPS 12122 WITH SCORE 12141.168
AT ITER 4300 NEW BEST:: SOT 62860 SOS 19113 HAS SOPS 16739 HAS SOUS 14330 HAS SOUPS 12116 WITH SCORE 12135.113
AT ITER 4311 NEW BEST:: SOT 62845 SOS 19098 HAS SOPS 16724 HAS SOUS 14315 HAS SOUPS 12101 WITH SCORE 12120.098
AT ITER 4336 NEW BEST:: SOT 62812 SOS 19058 HAS SOPS 16684 HAS SOUS 14309 HAS SOUPS 12095 WITH SCORE 12114.058
AT ITER 4365 NEW BEST:: SOT 62821 SOS 19022 HAS SOPS 16648 HAS SOUS 14309 HAS SOUPS 12095 WITH SCORE 12114.022
AT ITER 4404 NEW BEST:: SOT 62788 SOS 18956 HAS SOPS 16582 HAS SOUS 14303 HAS SOUPS 12089 WITH SCORE 12107.956
AT ITER 4448 NEW BEST:: SOT 62733 SOS 18936 HAS SOPS 16562 HAS SOUS 14283 HAS SOUPS 12069 WITH SCORE 12087.936
AT ITER 4452 NEW BEST:: SOT 62770 SOS 19088 HAS SOPS 16714 HAS SOUS 14269 HAS SOUPS 12055 WITH SCORE 12074.088
AT ITER 4455 NEW BEST:: SOT 62766 SOS 19078 HAS SOPS 16704 HAS SOUS 14263 HAS SOUPS 12049 WITH SCORE 12068.078
AT ITER 4509 NEW BEST:: SOT 62764 SOS 19074 HAS SOPS 16701 HAS SOUS 14262 HAS SOUPS 12048 WITH SCORE 12067.074
AT ITER 4537 NEW BEST:: SOT 62765 SOS 19075 HAS SOPS 16688 HAS SOUS 14263 HAS SOUPS 12035 WITH SCORE 12054.075
AT ITER 4563 NEW BEST:: SOT 62759 SOS 19053 HAS SOPS 16666 HAS SOUS 14241 HAS SOUPS 12013 WITH SCORE 12032.053
AT ITER 4568 NEW BEST:: SOT 62713 SOS 18980 HAS SOPS 16534 HAS SOUS 14220 HAS SOUPS 11933 WITH SCORE 11951.98
AT ITER 4578 NEW BEST:: SOT 62711 SOS 18977 HAS SOPS 16531 HAS SOUS 14216 HAS SOUPS 11929 WITH SCORE 11947.977
AT ITER 4581 NEW BEST:: SOT 62711 SOS 18962 HAS SOPS 16531 HAS SOUS 14201 HAS SOUPS 11929 WITH SCORE 11947.962
AT ITER 4593 NEW BEST:: SOT 62711 SOS 18960 HAS SOPS 16531 HAS SOUS 14199 HAS SOUPS 11929 WITH SCORE 11947.96
AT ITER 4616 NEW BEST:: SOT 62702 SOS 18933 HAS SOPS 16513 HAS SOUS 14181 HAS SOUPS 11920 WITH SCORE 11938.933
AT ITER 4648 NEW BEST:: SOT 62702 SOS 18932 HAS SOPS 16512 HAS SOUS 14180 HAS SOUPS 11919 WITH SCORE 11937.932
AT ITER 4660 NEW BEST:: SOT 62672 SOS 18916 HAS SOPS 16496 HAS SOUS 14178 HAS SOUPS 11917 WITH SCORE 11935.916
AT ITER 4707 NEW BEST:: SOT 62664 SOS 18952 HAS SOPS 16532 HAS SOUS 14174 HAS SOUPS 11913 WITH SCORE 11931.952
AT ITER 4711 NEW BEST:: SOT 62647 SOS 18846 HAS SOPS 16426 HAS SOUS 14156 HAS SOUPS 11895 WITH SCORE 11913.846
AT ITER 4742 NEW BEST:: SOT 62645 SOS 18840 HAS SOPS 16420 HAS SOUS 14152 HAS SOUPS 11891 WITH SCORE 11909.84
AT ITER 4840 NEW BEST:: SOT 63009 SOS 19132 HAS SOPS 16712 HAS SOUS 14124 HAS SOUPS 11863 WITH SCORE 11882.132
AT ITER 4844 NEW BEST:: SOT 62971 SOS 19096 HAS SOPS 16676 HAS SOUS 14084 HAS SOUPS 11823 WITH SCORE 11842.096
Bounds file is: CTLFireability.xml
PROPERTY: Parking-PT-416-CTLFireability-00 (AU( ((potential((tk(P131)>=1)))) , (EF( ( ((potential((tk(P201)>=1)))) & ((potential((tk(P232)>=1)))) ))) ))
PROPERTY: Parking-PT-416-CTLFireability-01 ( (EF( ( ( ((potential((tk(P53)>=1)))) | ( ((potential((tk(P305)>=1)))) | ((potential((tk(P279)>=1)))) ) ) & (AF( ((potential((tk(P279)>=1)))))) ))) | ( (AX( (EG( ((potential((tk(P195)>=1) & (tk(P234)>=1)))))))) | ((potential((tk(P123)>=1)))) ) )
PROPERTY: Parking-PT-416-CTLFireability-02 (! (AU( (! ( ((potential((tk(P105)>=1) & (tk(P129)>=1)))) | ((potential((tk(P260)>=1) & (tk(P301)>=1)))) )) , (EG( ((potential((tk(P20)>=1) & (tk(P84)>=1)))))) )))
PROPERTY: Parking-PT-416-CTLFireability-03 (EF( ( ((potential((tk(P206)>=1) & (tk(P231)>=1)))) & ( ((potential((tk(P170)>=1) & (tk(P226)>=1)))) & ( (! ((potential((tk(P95)>=1))))) & ( ((potential((tk(P65)>=1) & (tk(P90)>=1)))) & ((potential((tk(P124)>=1) & (tk(P165)>=1)))) ) ) ) )))
PROPERTY: Parking-PT-416-CTLFireability-04 ( (AF( (! (EF( ((potential((tk(P139)>=1))))))))) & ( (AU( (! ((potential((tk(P190)>=1) & (tk(P231)>=1))))) , ( ((potential((tk(P15)>=1)))) & ((potential((tk(P259)>=1) & (tk(P300)>=1)))) ) )) & (! (! ( (! ((potential((tk(P193)>=1))))) | ( ((potential((tk(P302)>=1)))) & ((potential((tk(P139)>=1)))) ) ))) ) )
PROPERTY: Parking-PT-416-CTLFireability-05 ( (! ( (AF( ( ((potential((tk(P162)>=1)))) & ((potential((tk(P241)>=1) & (tk(P262)>=1)))) ))) & (! (EG( ((potential((tk(P136)>=1) & (tk(P161)>=1))))))) )) & ( (EX( ( ( ((potential((tk(P271)>=1)))) & ((potential((tk(P70)>=1)))) ) | ( ((potential((tk(P237)>=1) & (tk(P253)>=1)))) | ((potential((tk(P62)>=1)))) ) ))) | (EU( (! ((potential((tk(P139)>=1))))) , ( ((potential((tk(P173)>=1)))) | ((potential((tk(P263)>=1)))) ) )) ) )
PROPERTY: Parking-PT-416-CTLFireability-06 (AF( (! (AF( ((potential((tk(P280)>=1)))))))))
PROPERTY: Parking-PT-416-CTLFireability-07 (EF( ( ((potential((tk(P194)>=1) & (tk(P235)>=1)))) | ((potential((tk(P209)>=1)))) )))
PROPERTY: Parking-PT-416-CTLFireability-08 ( (AF( ( (EX( ((potential((tk(P112)>=1) & (tk(P161)>=1)))))) & ( ((potential((tk(P69)>=1)))) & ((potential((tk(P42)>=1) & (tk(P91)>=1)))) ) ))) | (AG( (EG( ( ((potential((tk(P45)>=1)))) & ((potential((tk(P107)>=1)))) ))))) )
PROPERTY: Parking-PT-416-CTLFireability-09 (AF( (AX( ( ((potential((tk(P139)>=1)))) | (! ((potential((tk(P105)>=1))))) )))))
PROPERTY: Parking-PT-416-CTLFireability-10 (AX( (AF( ( ( ((potential((tk(P45)>=1)))) | ((potential((tk(P61)>=1)))) ) & ((potential((tk(P103)>=1)))) )))))
PROPERTY: Parking-PT-416-CTLFireability-11 ( ( ( (! ( ((potential((tk(P29)>=1) & (tk(P78)>=1)))) & ( ((potential((tk(P39)>=1) & (tk(P67)>=1)))) | ((potential((tk(P61)>=1)))) ) )) & ((potential((tk(P26)>=1) & (tk(P85)>=1)))) ) | (AX( (! (! ((potential((tk(P70)>=1)))))))) ) | (EG( ( (EF( ((potential((tk(P139)>=1)))))) | (! (! ((potential((tk(P280)>=1)))))) ))) )
PROPERTY: Parking-PT-416-CTLFireability-12 ( (AX( (AG( (! ((potential((tk(P241)>=1) & (tk(P262)>=1))))))))) & (! ( ( (EX( ((potential((tk(P235)>=1)))))) & (EF( ((potential((tk(P252)>=1) & (tk(P301)>=1)))))) ) & (EF( ((potential((tk(P11)>=1)))))) )) )
PROPERTY: Parking-PT-416-CTLFireability-13 ( (! (EF( ((potential((tk(P201)>=1))))))) | (EF( (AG( (! ((potential((tk(P271)>=1))))))))) )
PROPERTY: Parking-PT-416-CTLFireability-14 (AF( ( ((potential((tk(P107)>=1) & (tk(P150)>=1)))) & ((potential((tk(P246)>=1) & (tk(P274)>=1)))) )))
PROPERTY: Parking-PT-416-CTLFireability-15 ( (AG( (EF( ((potential((tk(P23)>=1)))))))) | (EG( ( ((potential((tk(P305)>=1)))) | (EG( ((potential((tk(P96)>=1) & (tk(P155)>=1)))))) ))) )

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="CTLFireability"
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 CTLFireability"
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-158961250700532"
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 [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;