Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 308K
-rw-r--r-- 1 mcc users 3.1K May 14 03:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 03:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 20:40 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 20:40 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.7K May 13 14:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 14:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K May 13 09:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 136K May 12 20:42 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 ShieldRVt-PT-050A-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-050A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590457499079

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 050A
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: 403 places, 403 transitions, 1706 arcs.
AT ITER 0 NEW BEST:: SOT 127357 SOS 93163 HAS SOPS 93163 HAS SOUS 87321 HAS SOUPS 87321 WITH SCORE 87414.163
AT ITER 4 NEW BEST:: SOT 127281 SOS 93067 HAS SOPS 93067 HAS SOUS 87225 HAS SOUPS 87225 WITH SCORE 87318.067
AT ITER 6 NEW BEST:: SOT 127096 SOS 92649 HAS SOPS 92649 HAS SOUS 86857 HAS SOUPS 86857 WITH SCORE 86949.649
AT ITER 9 NEW BEST:: SOT 127095 SOS 92648 HAS SOPS 92648 HAS SOUS 86856 HAS SOUPS 86856 WITH SCORE 86948.648
AT ITER 10 NEW BEST:: SOT 126942 SOS 92304 HAS SOPS 92304 HAS SOUS 86667 HAS SOUPS 86667 WITH SCORE 86759.304
AT ITER 11 NEW BEST:: SOT 126754 SOS 91934 HAS SOPS 91934 HAS SOUS 86293 HAS SOUPS 86293 WITH SCORE 86384.934
AT ITER 15 NEW BEST:: SOT 126732 SOS 91904 HAS SOPS 91904 HAS SOUS 86212 HAS SOUPS 86212 WITH SCORE 86303.904
AT ITER 16 NEW BEST:: SOT 126576 SOS 91589 HAS SOPS 91589 HAS SOUS 85983 HAS SOUPS 85983 WITH SCORE 86074.589
AT ITER 17 NEW BEST:: SOT 126497 SOS 91434 HAS SOPS 91434 HAS SOUS 85752 HAS SOUPS 85752 WITH SCORE 85843.434
AT ITER 20 NEW BEST:: SOT 126374 SOS 91240 HAS SOPS 91240 HAS SOUS 85536 HAS SOUPS 85536 WITH SCORE 85627.24
AT ITER 22 NEW BEST:: SOT 126222 SOS 90938 HAS SOPS 90938 HAS SOUS 85235 HAS SOUPS 85235 WITH SCORE 85325.938
AT ITER 23 NEW BEST:: SOT 126182 SOS 90898 HAS SOPS 90898 HAS SOUS 85185 HAS SOUPS 85185 WITH SCORE 85275.898
AT ITER 29 NEW BEST:: SOT 126179 SOS 90895 HAS SOPS 90895 HAS SOUS 85182 HAS SOUPS 85182 WITH SCORE 85272.895
AT ITER 30 NEW BEST:: SOT 126007 SOS 90554 HAS SOPS 90554 HAS SOUS 84841 HAS SOUPS 84841 WITH SCORE 84931.554
AT ITER 31 NEW BEST:: SOT 125995 SOS 90537 HAS SOPS 90537 HAS SOUS 84711 HAS SOUPS 84711 WITH SCORE 84801.537
AT ITER 34 NEW BEST:: SOT 125915 SOS 90375 HAS SOPS 90375 HAS SOUS 84550 HAS SOUPS 84550 WITH SCORE 84640.375
AT ITER 35 NEW BEST:: SOT 125740 SOS 90034 HAS SOPS 90034 HAS SOUS 84195 HAS SOUPS 84195 WITH SCORE 84285.034
AT ITER 38 NEW BEST:: SOT 125554 SOS 89592 HAS SOPS 89592 HAS SOUS 83639 HAS SOUPS 83639 WITH SCORE 83728.592
AT ITER 39 NEW BEST:: SOT 125551 SOS 89589 HAS SOPS 89589 HAS SOUS 83636 HAS SOUPS 83636 WITH SCORE 83725.589
AT ITER 40 NEW BEST:: SOT 125458 SOS 89466 HAS SOPS 89466 HAS SOUS 83513 HAS SOUPS 83513 WITH SCORE 83602.466
AT ITER 45 NEW BEST:: SOT 125450 SOS 89558 HAS SOPS 89558 HAS SOUS 83440 HAS SOUPS 83440 WITH SCORE 83529.558
AT ITER 46 NEW BEST:: SOT 125403 SOS 89490 HAS SOPS 89490 HAS SOUS 83283 HAS SOUPS 83283 WITH SCORE 83372.49
AT ITER 48 NEW BEST:: SOT 125316 SOS 89317 HAS SOPS 89317 HAS SOUS 83110 HAS SOUPS 83110 WITH SCORE 83199.317
AT ITER 51 NEW BEST:: SOT 125247 SOS 89180 HAS SOPS 89180 HAS SOUS 82905 HAS SOUPS 82905 WITH SCORE 82994.18
AT ITER 52 NEW BEST:: SOT 125134 SOS 89067 HAS SOPS 89067 HAS SOUS 82792 HAS SOUPS 82792 WITH SCORE 82881.067
AT ITER 55 NEW BEST:: SOT 125012 SOS 88841 HAS SOPS 88841 HAS SOUS 82669 HAS SOUPS 82669 WITH SCORE 82757.841
AT ITER 61 NEW BEST:: SOT 124835 SOS 88487 HAS SOPS 88487 HAS SOUS 82433 HAS SOUPS 82433 WITH SCORE 82521.487
AT ITER 63 NEW BEST:: SOT 124793 SOS 88411 HAS SOPS 88411 HAS SOUS 82351 HAS SOUPS 82351 WITH SCORE 82439.411
AT ITER 64 NEW BEST:: SOT 124639 SOS 88103 HAS SOPS 88103 HAS SOUS 81989 HAS SOUPS 81989 WITH SCORE 82077.103
AT ITER 66 NEW BEST:: SOT 124465 SOS 87667 HAS SOPS 87667 HAS SOUS 81624 HAS SOUPS 81624 WITH SCORE 81711.667
AT ITER 67 NEW BEST:: SOT 124312 SOS 87323 HAS SOPS 87323 HAS SOUS 81296 HAS SOUPS 81296 WITH SCORE 81383.323
AT ITER 70 NEW BEST:: SOT 124312 SOS 87350 HAS SOPS 87350 HAS SOUS 81287 HAS SOUPS 81287 WITH SCORE 81374.35
AT ITER 71 NEW BEST:: SOT 124176 SOS 87079 HAS SOPS 87079 HAS SOUS 80937 HAS SOUPS 80937 WITH SCORE 81024.079
AT ITER 72 NEW BEST:: SOT 124048 SOS 86791 HAS SOPS 86791 HAS SOUS 80764 HAS SOUPS 80764 WITH SCORE 80850.791
AT ITER 74 NEW BEST:: SOT 123872 SOS 86445 HAS SOPS 86445 HAS SOUS 80296 HAS SOUPS 80296 WITH SCORE 80382.445
AT ITER 84 NEW BEST:: SOT 123842 SOS 86415 HAS SOPS 86415 HAS SOUS 80266 HAS SOUPS 80266 WITH SCORE 80352.415
AT ITER 89 NEW BEST:: SOT 123653 SOS 86020 HAS SOPS 86020 HAS SOUS 80021 HAS SOUPS 80021 WITH SCORE 80107.02
AT ITER 91 NEW BEST:: SOT 123596 SOS 85861 HAS SOPS 85861 HAS SOUS 79915 HAS SOUPS 79915 WITH SCORE 80000.861
AT ITER 92 NEW BEST:: SOT 123172 SOS 85086 HAS SOPS 85086 HAS SOUS 79349 HAS SOUPS 79349 WITH SCORE 79434.086
AT ITER 97 NEW BEST:: SOT 123218 SOS 85292 HAS SOPS 85292 HAS SOUS 79185 HAS SOUPS 79185 WITH SCORE 79270.292
AT ITER 98 NEW BEST:: SOT 123329 SOS 85453 HAS SOPS 85453 HAS SOUS 79138 HAS SOUPS 79138 WITH SCORE 79223.453
AT ITER 100 NEW BEST:: SOT 123273 SOS 85303 HAS SOPS 85303 HAS SOUS 79036 HAS SOUPS 79036 WITH SCORE 79121.303
AT ITER 101 NEW BEST:: SOT 123082 SOS 84846 HAS SOPS 84846 HAS SOUS 78282 HAS SOUPS 78282 WITH SCORE 78366.846
AT ITER 102 NEW BEST:: SOT 122770 SOS 84378 HAS SOPS 84378 HAS SOUS 77849 HAS SOUPS 77849 WITH SCORE 77933.378
AT ITER 104 NEW BEST:: SOT 122573 SOS 83988 HAS SOPS 83988 HAS SOUS 77459 HAS SOUPS 77459 WITH SCORE 77542.988
AT ITER 112 NEW BEST:: SOT 122392 SOS 83617 HAS SOPS 83617 HAS SOUS 77016 HAS SOUPS 77016 WITH SCORE 77099.617
AT ITER 118 NEW BEST:: SOT 122038 SOS 83129 HAS SOPS 83129 HAS SOUS 76453 HAS SOUPS 76453 WITH SCORE 76536.129
AT ITER 119 NEW BEST:: SOT 121922 SOS 83013 HAS SOPS 83013 HAS SOUS 76337 HAS SOUPS 76337 WITH SCORE 76420.013
AT ITER 124 NEW BEST:: SOT 121916 SOS 83007 HAS SOPS 83007 HAS SOUS 76331 HAS SOUPS 76331 WITH SCORE 76414.007
AT ITER 127 NEW BEST:: SOT 121605 SOS 82522 HAS SOPS 82522 HAS SOUS 75840 HAS SOUPS 75840 WITH SCORE 75922.522
AT ITER 131 NEW BEST:: SOT 121486 SOS 82291 HAS SOPS 82291 HAS SOUS 75570 HAS SOUPS 75570 WITH SCORE 75652.291
AT ITER 137 NEW BEST:: SOT 121404 SOS 82127 HAS SOPS 82127 HAS SOUS 75324 HAS SOUPS 75324 WITH SCORE 75406.127
AT ITER 139 NEW BEST:: SOT 121068 SOS 81556 HAS SOPS 81556 HAS SOUS 74875 HAS SOUPS 74875 WITH SCORE 74956.556
AT ITER 140 NEW BEST:: SOT 121068 SOS 81547 HAS SOPS 81547 HAS SOUS 74850 HAS SOUPS 74850 WITH SCORE 74931.547
AT ITER 142 NEW BEST:: SOT 121068 SOS 81547 HAS SOPS 81547 HAS SOUS 74849 HAS SOUPS 74849 WITH SCORE 74930.547
AT ITER 143 NEW BEST:: SOT 120964 SOS 81339 HAS SOPS 81339 HAS SOUS 74551 HAS SOUPS 74551 WITH SCORE 74632.339
AT ITER 145 NEW BEST:: SOT 120937 SOS 81312 HAS SOPS 81312 HAS SOUS 74524 HAS SOUPS 74524 WITH SCORE 74605.312
AT ITER 147 NEW BEST:: SOT 120877 SOS 81114 HAS SOPS 81114 HAS SOUS 74343 HAS SOUPS 74343 WITH SCORE 74424.114
AT ITER 148 NEW BEST:: SOT 120877 SOS 81113 HAS SOPS 81113 HAS SOUS 74343 HAS SOUPS 74343 WITH SCORE 74424.113
AT ITER 151 NEW BEST:: SOT 120753 SOS 80787 HAS SOPS 80787 HAS SOUS 74118 HAS SOUPS 74118 WITH SCORE 74198.787
AT ITER 154 NEW BEST:: SOT 120511 SOS 80425 HAS SOPS 80425 HAS SOUS 73756 HAS SOUPS 73756 WITH SCORE 73836.425
AT ITER 156 NEW BEST:: SOT 120475 SOS 80315 HAS SOPS 80315 HAS SOUS 73611 HAS SOUPS 73611 WITH SCORE 73691.315
AT ITER 159 NEW BEST:: SOT 120357 SOS 80022 HAS SOPS 80022 HAS SOUS 73287 HAS SOUPS 73287 WITH SCORE 73367.022
AT ITER 160 NEW BEST:: SOT 120071 SOS 79538 HAS SOPS 79538 HAS SOUS 73001 HAS SOUPS 73001 WITH SCORE 73080.538
AT ITER 162 NEW BEST:: SOT 119998 SOS 79388 HAS SOPS 79388 HAS SOUS 72857 HAS SOUPS 72857 WITH SCORE 72936.388
AT ITER 163 NEW BEST:: SOT 119531 SOS 78748 HAS SOPS 78748 HAS SOUS 72217 HAS SOUPS 72217 WITH SCORE 72295.748
AT ITER 164 NEW BEST:: SOT 119446 SOS 78663 HAS SOPS 78663 HAS SOUS 72217 HAS SOUPS 72217 WITH SCORE 72295.663
AT ITER 166 NEW BEST:: SOT 119103 SOS 78007 HAS SOPS 78007 HAS SOUS 71609 HAS SOUPS 71609 WITH SCORE 71687.007
AT ITER 168 NEW BEST:: SOT 119103 SOS 78007 HAS SOPS 78007 HAS SOUS 71582 HAS SOUPS 71582 WITH SCORE 71660.007
AT ITER 173 NEW BEST:: SOT 119103 SOS 78007 HAS SOPS 78007 HAS SOUS 71553 HAS SOUPS 71553 WITH SCORE 71631.007
AT ITER 174 NEW BEST:: SOT 119074 SOS 77967 HAS SOPS 77967 HAS SOUS 71503 HAS SOUPS 71503 WITH SCORE 71580.967
AT ITER 175 NEW BEST:: SOT 119061 SOS 77928 HAS SOPS 77928 HAS SOUS 71464 HAS SOUPS 71464 WITH SCORE 71541.928
AT ITER 176 NEW BEST:: SOT 119061 SOS 78068 HAS SOPS 78068 HAS SOUS 71439 HAS SOUPS 71439 WITH SCORE 71517.068
AT ITER 177 NEW BEST:: SOT 119061 SOS 78068 HAS SOPS 78068 HAS SOUS 71438 HAS SOUPS 71438 WITH SCORE 71516.068
AT ITER 178 NEW BEST:: SOT 119061 SOS 77930 HAS SOPS 77930 HAS SOUS 71438 HAS SOUPS 71438 WITH SCORE 71515.93
AT ITER 181 NEW BEST:: SOT 119142 SOS 77934 HAS SOPS 77934 HAS SOUS 71404 HAS SOUPS 71404 WITH SCORE 71481.934
AT ITER 182 NEW BEST:: SOT 118831 SOS 77458 HAS SOPS 77458 HAS SOUS 70928 HAS SOUPS 70928 WITH SCORE 71005.458
AT ITER 186 NEW BEST:: SOT 118682 SOS 77126 HAS SOPS 77126 HAS SOUS 70778 HAS SOUPS 70778 WITH SCORE 70855.126
AT ITER 188 NEW BEST:: SOT 118682 SOS 77126 HAS SOPS 77126 HAS SOUS 70754 HAS SOUPS 70754 WITH SCORE 70831.126
AT ITER 189 NEW BEST:: SOT 118481 SOS 76813 HAS SOPS 76813 HAS SOUS 70554 HAS SOUPS 70554 WITH SCORE 70630.813
AT ITER 190 NEW BEST:: SOT 118478 SOS 76810 HAS SOPS 76810 HAS SOUS 70551 HAS SOUPS 70551 WITH SCORE 70627.81
AT ITER 191 NEW BEST:: SOT 118468 SOS 76800 HAS SOPS 76800 HAS SOUS 70541 HAS SOUPS 70541 WITH SCORE 70617.8
AT ITER 193 NEW BEST:: SOT 118303 SOS 76405 HAS SOPS 76405 HAS SOUS 70006 HAS SOUPS 70006 WITH SCORE 70082.405
AT ITER 199 NEW BEST:: SOT 118303 SOS 76312 HAS SOPS 76312 HAS SOUS 69914 HAS SOUPS 69914 WITH SCORE 69990.312
AT ITER 200 NEW BEST:: SOT 118141 SOS 76041 HAS SOPS 76041 HAS SOUS 69612 HAS SOUPS 69612 WITH SCORE 69688.041
AT ITER 201 NEW BEST:: SOT 118088 SOS 75742 HAS SOPS 75742 HAS SOUS 69282 HAS SOUPS 69282 WITH SCORE 69357.742
AT ITER 206 NEW BEST:: SOT 117739 SOS 75091 HAS SOPS 75091 HAS SOUS 68826 HAS SOUPS 68826 WITH SCORE 68901.091
AT ITER 211 NEW BEST:: SOT 117756 SOS 75096 HAS SOPS 75096 HAS SOUS 68692 HAS SOUPS 68692 WITH SCORE 68767.096
AT ITER 212 NEW BEST:: SOT 117736 SOS 75056 HAS SOPS 75056 HAS SOUS 68632 HAS SOUPS 68632 WITH SCORE 68707.056
AT ITER 213 NEW BEST:: SOT 117734 SOS 75052 HAS SOPS 75052 HAS SOUS 68628 HAS SOUPS 68628 WITH SCORE 68703.052
AT ITER 216 NEW BEST:: SOT 117708 SOS 74962 HAS SOPS 74962 HAS SOUS 68572 HAS SOUPS 68572 WITH SCORE 68646.962
AT ITER 217 NEW BEST:: SOT 117707 SOS 74961 HAS SOPS 74961 HAS SOUS 68439 HAS SOUPS 68439 WITH SCORE 68513.961
AT ITER 218 NEW BEST:: SOT 117776 SOS 74909 HAS SOPS 74909 HAS SOUS 68412 HAS SOUPS 68412 WITH SCORE 68486.909
AT ITER 219 NEW BEST:: SOT 117729 SOS 74733 HAS SOPS 74733 HAS SOUS 68266 HAS SOUPS 68266 WITH SCORE 68340.733
AT ITER 221 NEW BEST:: SOT 117643 SOS 74561 HAS SOPS 74561 HAS SOUS 68008 HAS SOUPS 68008 WITH SCORE 68082.561
AT ITER 224 NEW BEST:: SOT 117366 SOS 74017 HAS SOPS 74017 HAS SOUS 67538 HAS SOUPS 67538 WITH SCORE 67612.017
AT ITER 225 NEW BEST:: SOT 117342 SOS 73894 HAS SOPS 73894 HAS SOUS 67510 HAS SOUPS 67510 WITH SCORE 67583.894
AT ITER 238 NEW BEST:: SOT 117374 SOS 73926 HAS SOPS 73926 HAS SOUS 67509 HAS SOUPS 67509 WITH SCORE 67582.926
AT ITER 239 NEW BEST:: SOT 117302 SOS 73782 HAS SOPS 73782 HAS SOUS 67317 HAS SOUPS 67317 WITH SCORE 67390.782
AT ITER 240 NEW BEST:: SOT 117193 SOS 73573 HAS SOPS 73573 HAS SOUS 67108 HAS SOUPS 67108 WITH SCORE 67181.573
AT ITER 241 NEW BEST:: SOT 117115 SOS 73392 HAS SOPS 73392 HAS SOUS 66953 HAS SOUPS 66953 WITH SCORE 67026.392
AT ITER 243 NEW BEST:: SOT 117045 SOS 73229 HAS SOPS 73229 HAS SOUS 66790 HAS SOUPS 66790 WITH SCORE 66863.229
AT ITER 244 NEW BEST:: SOT 117037 SOS 73213 HAS SOPS 73213 HAS SOUS 66774 HAS SOUPS 66774 WITH SCORE 66847.213
AT ITER 250 NEW BEST:: SOT 116997 SOS 73305 HAS SOPS 73305 HAS SOUS 66752 HAS SOUPS 66752 WITH SCORE 66825.305
AT ITER 251 NEW BEST:: SOT 116849 SOS 73112 HAS SOPS 73112 HAS SOUS 66489 HAS SOUPS 66489 WITH SCORE 66562.112
AT ITER 252 NEW BEST:: SOT 116739 SOS 72952 HAS SOPS 72952 HAS SOUS 66317 HAS SOUPS 66317 WITH SCORE 66389.952
AT ITER 254 NEW BEST:: SOT 116638 SOS 72576 HAS SOPS 72576 HAS SOUS 65983 HAS SOUPS 65983 WITH SCORE 66055.576
AT ITER 259 NEW BEST:: SOT 116552 SOS 72440 HAS SOPS 72440 HAS SOUS 65847 HAS SOUPS 65847 WITH SCORE 65919.44
AT ITER 260 NEW BEST:: SOT 116525 SOS 72386 HAS SOPS 72386 HAS SOUS 65766 HAS SOUPS 65766 WITH SCORE 65838.386
AT ITER 264 NEW BEST:: SOT 116511 SOS 72334 HAS SOPS 72334 HAS SOUS 65730 HAS SOUPS 65730 WITH SCORE 65802.334
AT ITER 268 NEW BEST:: SOT 116462 SOS 72195 HAS SOPS 72195 HAS SOUS 65591 HAS SOUPS 65591 WITH SCORE 65663.195
AT ITER 270 NEW BEST:: SOT 116411 SOS 72127 HAS SOPS 72127 HAS SOUS 65523 HAS SOUPS 65523 WITH SCORE 65595.127
AT ITER 275 NEW BEST:: SOT 116135 SOS 71867 HAS SOPS 71867 HAS SOUS 65263 HAS SOUPS 65263 WITH SCORE 65334.867
AT ITER 277 NEW BEST:: SOT 116026 SOS 71740 HAS SOPS 71740 HAS SOUS 65078 HAS SOUPS 65078 WITH SCORE 65149.74
AT ITER 278 NEW BEST:: SOT 115788 SOS 71412 HAS SOPS 71412 HAS SOUS 64794 HAS SOUPS 64794 WITH SCORE 64865.412
AT ITER 280 NEW BEST:: SOT 115788 SOS 71423 HAS SOPS 71423 HAS SOUS 64782 HAS SOUPS 64782 WITH SCORE 64853.423
AT ITER 281 NEW BEST:: SOT 115788 SOS 71402 HAS SOPS 71402 HAS SOUS 64773 HAS SOUPS 64773 WITH SCORE 64844.402
AT ITER 283 NEW BEST:: SOT 115753 SOS 71297 HAS SOPS 71297 HAS SOUS 64703 HAS SOUPS 64703 WITH SCORE 64774.297
AT ITER 286 NEW BEST:: SOT 115637 SOS 71142 HAS SOPS 71142 HAS SOUS 64319 HAS SOUPS 64319 WITH SCORE 64390.142
AT ITER 288 NEW BEST:: SOT 115573 SOS 71054 HAS SOPS 71054 HAS SOUS 64231 HAS SOUPS 64231 WITH SCORE 64302.054
AT ITER 289 NEW BEST:: SOT 115573 SOS 71053 HAS SOPS 71053 HAS SOUS 64231 HAS SOUPS 64231 WITH SCORE 64302.053
AT ITER 291 NEW BEST:: SOT 115602 SOS 71238 HAS SOPS 71238 HAS SOUS 64210 HAS SOUPS 64210 WITH SCORE 64281.238
AT ITER 298 NEW BEST:: SOT 115467 SOS 71016 HAS SOPS 71016 HAS SOUS 63909 HAS SOUPS 63909 WITH SCORE 63980.016
AT ITER 303 NEW BEST:: SOT 115261 SOS 70790 HAS SOPS 70790 HAS SOUS 63507 HAS SOUPS 63507 WITH SCORE 63577.79
AT ITER 304 NEW BEST:: SOT 115219 SOS 70634 HAS SOPS 70634 HAS SOUS 63330 HAS SOUPS 63330 WITH SCORE 63400.634
AT ITER 306 NEW BEST:: SOT 115222 SOS 70570 HAS SOPS 70570 HAS SOUS 63266 HAS SOUPS 63266 WITH SCORE 63336.57
AT ITER 309 NEW BEST:: SOT 115222 SOS 70398 HAS SOPS 70398 HAS SOUS 63264 HAS SOUPS 63264 WITH SCORE 63334.398
AT ITER 310 NEW BEST:: SOT 115176 SOS 70298 HAS SOPS 70298 HAS SOUS 63213 HAS SOUPS 63213 WITH SCORE 63283.298
AT ITER 317 NEW BEST:: SOT 114984 SOS 69960 HAS SOPS 69960 HAS SOUS 62820 HAS SOUPS 62820 WITH SCORE 62889.96
AT ITER 318 NEW BEST:: SOT 114633 SOS 69493 HAS SOPS 69493 HAS SOUS 62436 HAS SOUPS 62436 WITH SCORE 62505.493
AT ITER 323 NEW BEST:: SOT 114599 SOS 69386 HAS SOPS 69386 HAS SOUS 62334 HAS SOUPS 62334 WITH SCORE 62403.386
AT ITER 324 NEW BEST:: SOT 114578 SOS 69302 HAS SOPS 69302 HAS SOUS 62250 HAS SOUPS 62250 WITH SCORE 62319.302
AT ITER 325 NEW BEST:: SOT 114487 SOS 68812 HAS SOPS 68812 HAS SOUS 61838 HAS SOUPS 61838 WITH SCORE 61906.812
AT ITER 326 NEW BEST:: SOT 114246 SOS 68544 HAS SOPS 68544 HAS SOUS 61474 HAS SOUPS 61474 WITH SCORE 61542.544
AT ITER 330 NEW BEST:: SOT 114189 SOS 68435 HAS SOPS 68435 HAS SOUS 61365 HAS SOUPS 61365 WITH SCORE 61433.435
AT ITER 331 NEW BEST:: SOT 114103 SOS 68306 HAS SOPS 68306 HAS SOUS 61148 HAS SOUPS 61148 WITH SCORE 61216.306
AT ITER 333 NEW BEST:: SOT 113986 SOS 68105 HAS SOPS 68105 HAS SOUS 60875 HAS SOUPS 60875 WITH SCORE 60943.105
AT ITER 334 NEW BEST:: SOT 113942 SOS 67995 HAS SOPS 67995 HAS SOUS 60838 HAS SOUPS 60838 WITH SCORE 60905.995
AT ITER 335 NEW BEST:: SOT 113942 SOS 67995 HAS SOPS 67995 HAS SOUS 60829 HAS SOUPS 60829 WITH SCORE 60896.995
AT ITER 338 NEW BEST:: SOT 113835 SOS 67686 HAS SOPS 67686 HAS SOUS 60503 HAS SOUPS 60503 WITH SCORE 60570.686
AT ITER 340 NEW BEST:: SOT 113642 SOS 67471 HAS SOPS 67471 HAS SOUS 60418 HAS SOUPS 60418 WITH SCORE 60485.471
AT ITER 343 NEW BEST:: SOT 113668 SOS 67424 HAS SOPS 67424 HAS SOUS 60384 HAS SOUPS 60384 WITH SCORE 60451.424
AT ITER 347 NEW BEST:: SOT 113604 SOS 67155 HAS SOPS 67155 HAS SOUS 60261 HAS SOUPS 60261 WITH SCORE 60328.155
AT ITER 348 NEW BEST:: SOT 113604 SOS 67217 HAS SOPS 67217 HAS SOUS 60233 HAS SOUPS 60233 WITH SCORE 60300.217
AT ITER 351 NEW BEST:: SOT 113521 SOS 67023 HAS SOPS 67023 HAS SOUS 60039 HAS SOUPS 60039 WITH SCORE 60106.023
AT ITER 353 NEW BEST:: SOT 113459 SOS 66852 HAS SOPS 66852 HAS SOUS 59806 HAS SOUPS 59806 WITH SCORE 59872.852
AT ITER 355 NEW BEST:: SOT 113358 SOS 66644 HAS SOPS 66644 HAS SOUS 59534 HAS SOUPS 59534 WITH SCORE 59600.644
AT ITER 358 NEW BEST:: SOT 113134 SOS 66190 HAS SOPS 66190 HAS SOUS 59394 HAS SOUPS 59394 WITH SCORE 59460.19
AT ITER 360 NEW BEST:: SOT 113134 SOS 66190 HAS SOPS 66190 HAS SOUS 59389 HAS SOUPS 59389 WITH SCORE 59455.19
AT ITER 364 NEW BEST:: SOT 113046 SOS 66058 HAS SOPS 66058 HAS SOUS 59220 HAS SOUPS 59220 WITH SCORE 59286.058
AT ITER 366 NEW BEST:: SOT 113046 SOS 66198 HAS SOPS 66198 HAS SOUS 59096 HAS SOUPS 59096 WITH SCORE 59162.198
AT ITER 370 NEW BEST:: SOT 112902 SOS 65882 HAS SOPS 65882 HAS SOUS 58664 HAS SOUPS 58664 WITH SCORE 58729.882
AT ITER 375 NEW BEST:: SOT 112753 SOS 65653 HAS SOPS 65653 HAS SOUS 58331 HAS SOUPS 58331 WITH SCORE 58396.653
AT ITER 378 NEW BEST:: SOT 112717 SOS 65509 HAS SOPS 65509 HAS SOUS 58240 HAS SOUPS 58240 WITH SCORE 58305.509
AT ITER 381 NEW BEST:: SOT 112717 SOS 65554 HAS SOPS 65554 HAS SOUS 58238 HAS SOUPS 58238 WITH SCORE 58303.554
AT ITER 387 NEW BEST:: SOT 112717 SOS 65438 HAS SOPS 65438 HAS SOUS 58195 HAS SOUPS 58195 WITH SCORE 58260.438
AT ITER 390 NEW BEST:: SOT 112707 SOS 65316 HAS SOPS 65316 HAS SOUS 58159 HAS SOUPS 58159 WITH SCORE 58224.316
AT ITER 391 NEW BEST:: SOT 112681 SOS 65230 HAS SOPS 65230 HAS SOUS 58141 HAS SOUPS 58141 WITH SCORE 58206.23
AT ITER 395 NEW BEST:: SOT 112665 SOS 65206 HAS SOPS 65206 HAS SOUS 58109 HAS SOUPS 58109 WITH SCORE 58174.206
AT ITER 400 NEW BEST:: SOT 112644 SOS 65129 HAS SOPS 65129 HAS SOUS 58025 HAS SOUPS 58025 WITH SCORE 58090.129
AT ITER 401 NEW BEST:: SOT 112521 SOS 64965 HAS SOPS 64965 HAS SOUS 57800 HAS SOUPS 57800 WITH SCORE 57864.965
AT ITER 407 NEW BEST:: SOT 112515 SOS 64994 HAS SOPS 64994 HAS SOUS 57782 HAS SOUPS 57782 WITH SCORE 57846.994
AT ITER 411 NEW BEST:: SOT 112459 SOS 64909 HAS SOPS 64909 HAS SOUS 57726 HAS SOUPS 57726 WITH SCORE 57790.909
AT ITER 414 NEW BEST:: SOT 112435 SOS 64837 HAS SOPS 64837 HAS SOUS 57613 HAS SOUPS 57613 WITH SCORE 57677.837
AT ITER 417 NEW BEST:: SOT 112435 SOS 64882 HAS SOPS 64882 HAS SOUS 57570 HAS SOUPS 57570 WITH SCORE 57634.882
AT ITER 418 NEW BEST:: SOT 112315 SOS 64739 HAS SOPS 64739 HAS SOUS 57404 HAS SOUPS 57404 WITH SCORE 57468.739
AT ITER 419 NEW BEST:: SOT 112143 SOS 64413 HAS SOPS 64413 HAS SOUS 57131 HAS SOUPS 57131 WITH SCORE 57195.413
AT ITER 420 NEW BEST:: SOT 112123 SOS 64370 HAS SOPS 64370 HAS SOUS 57109 HAS SOUPS 57109 WITH SCORE 57173.37
AT ITER 421 NEW BEST:: SOT 111794 SOS 63795 HAS SOPS 63795 HAS SOUS 56481 HAS SOUPS 56481 WITH SCORE 56544.795
AT ITER 429 NEW BEST:: SOT 111798 SOS 63805 HAS SOPS 63805 HAS SOUS 56434 HAS SOUPS 56434 WITH SCORE 56497.805
AT ITER 434 NEW BEST:: SOT 111773 SOS 63780 HAS SOPS 63780 HAS SOUS 56409 HAS SOUPS 56409 WITH SCORE 56472.78
AT ITER 436 NEW BEST:: SOT 111741 SOS 63732 HAS SOPS 63732 HAS SOUS 56280 HAS SOUPS 56280 WITH SCORE 56343.732
AT ITER 438 NEW BEST:: SOT 111711 SOS 63672 HAS SOPS 63672 HAS SOUS 56247 HAS SOUPS 56247 WITH SCORE 56310.672
AT ITER 447 NEW BEST:: SOT 111711 SOS 63695 HAS SOPS 63695 HAS SOUS 56241 HAS SOUPS 56241 WITH SCORE 56304.695
AT ITER 455 NEW BEST:: SOT 111705 SOS 63689 HAS SOPS 63689 HAS SOUS 56235 HAS SOUPS 56235 WITH SCORE 56298.689
AT ITER 467 NEW BEST:: SOT 111632 SOS 63259 HAS SOPS 63259 HAS SOUS 56012 HAS SOUPS 56012 WITH SCORE 56075.259
AT ITER 470 NEW BEST:: SOT 111628 SOS 63255 HAS SOPS 63255 HAS SOUS 56008 HAS SOUPS 56008 WITH SCORE 56071.255
AT ITER 472 NEW BEST:: SOT 111628 SOS 63298 HAS SOPS 63298 HAS SOUS 56002 HAS SOUPS 56002 WITH SCORE 56065.298
AT ITER 480 NEW BEST:: SOT 111551 SOS 63221 HAS SOPS 63221 HAS SOUS 55924 HAS SOUPS 55924 WITH SCORE 55987.221
AT ITER 481 NEW BEST:: SOT 111408 SOS 62995 HAS SOPS 62995 HAS SOUS 55727 HAS SOUPS 55727 WITH SCORE 55789.995
AT ITER 487 NEW BEST:: SOT 111310 SOS 62819 HAS SOPS 62819 HAS SOUS 55553 HAS SOUPS 55553 WITH SCORE 55615.819
AT ITER 493 NEW BEST:: SOT 111293 SOS 62886 HAS SOPS 62886 HAS SOUS 55536 HAS SOUPS 55536 WITH SCORE 55598.886
AT ITER 498 NEW BEST:: SOT 111299 SOS 62770 HAS SOPS 62770 HAS SOUS 55479 HAS SOUPS 55479 WITH SCORE 55541.77
AT ITER 499 NEW BEST:: SOT 111082 SOS 62486 HAS SOPS 62486 HAS SOUS 55242 HAS SOUPS 55242 WITH SCORE 55304.486
AT ITER 503 NEW BEST:: SOT 110954 SOS 62143 HAS SOPS 62143 HAS SOUS 55133 HAS SOUPS 55133 WITH SCORE 55195.143
AT ITER 505 NEW BEST:: SOT 110780 SOS 61797 HAS SOPS 61797 HAS SOUS 54785 HAS SOUPS 54785 WITH SCORE 54846.797
AT ITER 509 NEW BEST:: SOT 110766 SOS 61800 HAS SOPS 61800 HAS SOUS 54762 HAS SOUPS 54762 WITH SCORE 54823.8
AT ITER 512 NEW BEST:: SOT 110608 SOS 61504 HAS SOPS 61504 HAS SOUS 54505 HAS SOUPS 54505 WITH SCORE 54566.504
AT ITER 518 NEW BEST:: SOT 110608 SOS 61505 HAS SOPS 61505 HAS SOUS 54504 HAS SOUPS 54504 WITH SCORE 54565.505
AT ITER 525 NEW BEST:: SOT 110608 SOS 61488 HAS SOPS 61488 HAS SOUS 54496 HAS SOUPS 54496 WITH SCORE 54557.488
AT ITER 528 NEW BEST:: SOT 110602 SOS 61482 HAS SOPS 61482 HAS SOUS 54490 HAS SOUPS 54490 WITH SCORE 54551.482
AT ITER 535 NEW BEST:: SOT 110493 SOS 61345 HAS SOPS 61345 HAS SOUS 54353 HAS SOUPS 54353 WITH SCORE 54414.345
AT ITER 537 NEW BEST:: SOT 110317 SOS 60810 HAS SOPS 60810 HAS SOUS 53973 HAS SOUPS 53973 WITH SCORE 54033.81
AT ITER 542 NEW BEST:: SOT 110317 SOS 60819 HAS SOPS 60819 HAS SOUS 53968 HAS SOUPS 53968 WITH SCORE 54028.819
AT ITER 543 NEW BEST:: SOT 110277 SOS 60777 HAS SOPS 60777 HAS SOUS 53924 HAS SOUPS 53924 WITH SCORE 53984.777
AT ITER 545 NEW BEST:: SOT 110237 SOS 60691 HAS SOPS 60691 HAS SOUS 53813 HAS SOUPS 53813 WITH SCORE 53873.691
AT ITER 549 NEW BEST:: SOT 110232 SOS 60686 HAS SOPS 60686 HAS SOUS 53741 HAS SOUPS 53741 WITH SCORE 53801.686
AT ITER 550 NEW BEST:: SOT 110221 SOS 60664 HAS SOPS 60664 HAS SOUS 53708 HAS SOUPS 53708 WITH SCORE 53768.664
AT ITER 560 NEW BEST:: SOT 110159 SOS 60571 HAS SOPS 60571 HAS SOUS 53639 HAS SOUPS 53639 WITH SCORE 53699.571
AT ITER 567 NEW BEST:: SOT 109811 SOS 60107 HAS SOPS 60107 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53119.107
AT ITER 568 NEW BEST:: SOT 109811 SOS 60087 HAS SOPS 60087 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53119.087
AT ITER 571 NEW BEST:: SOT 109782 SOS 60058 HAS SOPS 60058 HAS SOUS 53059 HAS SOUPS 53059 WITH SCORE 53119.058
AT ITER 572 NEW BEST:: SOT 109727 SOS 59972 HAS SOPS 59972 HAS SOUS 52973 HAS SOUPS 52973 WITH SCORE 53032.972
AT ITER 582 NEW BEST:: SOT 109727 SOS 59923 HAS SOPS 59923 HAS SOUS 52879 HAS SOUPS 52879 WITH SCORE 52938.923
AT ITER 586 NEW BEST:: SOT 109716 SOS 59756 HAS SOPS 59756 HAS SOUS 52848 HAS SOUPS 52848 WITH SCORE 52907.756
AT ITER 590 NEW BEST:: SOT 109716 SOS 59718 HAS SOPS 59718 HAS SOUS 52810 HAS SOUPS 52810 WITH SCORE 52869.718
AT ITER 591 NEW BEST:: SOT 109599 SOS 59562 HAS SOPS 59562 HAS SOUS 52621 HAS SOUPS 52621 WITH SCORE 52680.562
AT ITER 593 NEW BEST:: SOT 109272 SOS 59005 HAS SOPS 59005 HAS SOUS 52064 HAS SOUPS 52064 WITH SCORE 52123.005
AT ITER 594 NEW BEST:: SOT 108969 SOS 58261 HAS SOPS 58261 HAS SOUS 51628 HAS SOUPS 51628 WITH SCORE 51686.261
AT ITER 597 NEW BEST:: SOT 108964 SOS 58170 HAS SOPS 58170 HAS SOUS 51564 HAS SOUPS 51564 WITH SCORE 51622.17
AT ITER 599 NEW BEST:: SOT 108935 SOS 58075 HAS SOPS 58075 HAS SOUS 51514 HAS SOUPS 51514 WITH SCORE 51572.075
AT ITER 605 NEW BEST:: SOT 108935 SOS 57917 HAS SOPS 57917 HAS SOUS 51351 HAS SOUPS 51351 WITH SCORE 51408.917
AT ITER 612 NEW BEST:: SOT 108925 SOS 57872 HAS SOPS 57872 HAS SOUS 51306 HAS SOUPS 51306 WITH SCORE 51363.872
AT ITER 614 NEW BEST:: SOT 108925 SOS 57867 HAS SOPS 57867 HAS SOUS 51301 HAS SOUPS 51301 WITH SCORE 51358.867
AT ITER 623 NEW BEST:: SOT 108923 SOS 57862 HAS SOPS 57862 HAS SOUS 51296 HAS SOUPS 51296 WITH SCORE 51353.862
AT ITER 624 NEW BEST:: SOT 108896 SOS 57827 HAS SOPS 57827 HAS SOUS 51217 HAS SOUPS 51217 WITH SCORE 51274.827
AT ITER 625 NEW BEST:: SOT 108896 SOS 57821 HAS SOPS 57821 HAS SOUS 51217 HAS SOUPS 51217 WITH SCORE 51274.821
AT ITER 633 NEW BEST:: SOT 108716 SOS 57421 HAS SOPS 57421 HAS SOUS 50888 HAS SOUPS 50888 WITH SCORE 50945.421
AT ITER 634 NEW BEST:: SOT 108679 SOS 57350 HAS SOPS 57350 HAS SOUS 50783 HAS SOUPS 50783 WITH SCORE 50840.35
AT ITER 635 NEW BEST:: SOT 108584 SOS 56970 HAS SOPS 56970 HAS SOUS 50496 HAS SOUPS 50496 WITH SCORE 50552.97
AT ITER 642 NEW BEST:: SOT 108487 SOS 56846 HAS SOPS 56846 HAS SOUS 50485 HAS SOUPS 50485 WITH SCORE 50541.846
AT ITER 644 NEW BEST:: SOT 108475 SOS 56830 HAS SOPS 56830 HAS SOUS 50469 HAS SOUPS 50469 WITH SCORE 50525.83
AT ITER 646 NEW BEST:: SOT 108281 SOS 56217 HAS SOPS 56217 HAS SOUS 50176 HAS SOUPS 50176 WITH SCORE 50232.217
AT ITER 650 NEW BEST:: SOT 108241 SOS 56210 HAS SOPS 56210 HAS SOUS 50131 HAS SOUPS 50131 WITH SCORE 50187.21
AT ITER 652 NEW BEST:: SOT 108274 SOS 56086 HAS SOPS 56086 HAS SOUS 50072 HAS SOUPS 50072 WITH SCORE 50128.086
AT ITER 655 NEW BEST:: SOT 108303 SOS 56119 HAS SOPS 56119 HAS SOUS 50046 HAS SOUPS 50046 WITH SCORE 50102.119
AT ITER 661 NEW BEST:: SOT 108272 SOS 56003 HAS SOPS 56003 HAS SOUS 49976 HAS SOUPS 49976 WITH SCORE 50032.003
AT ITER 662 NEW BEST:: SOT 108254 SOS 55967 HAS SOPS 55967 HAS SOUS 49940 HAS SOUPS 49940 WITH SCORE 49995.967
AT ITER 665 NEW BEST:: SOT 108155 SOS 55803 HAS SOPS 55803 HAS SOUS 49694 HAS SOUPS 49694 WITH SCORE 49749.803
AT ITER 668 NEW BEST:: SOT 108142 SOS 55764 HAS SOPS 55764 HAS SOUS 49669 HAS SOUPS 49669 WITH SCORE 49724.764
AT ITER 680 NEW BEST:: SOT 108181 SOS 55814 HAS SOPS 55814 HAS SOUS 49648 HAS SOUPS 49648 WITH SCORE 49703.814
AT ITER 682 NEW BEST:: SOT 108142 SOS 55721 HAS SOPS 55721 HAS SOUS 49595 HAS SOUPS 49595 WITH SCORE 49650.721
AT ITER 683 NEW BEST:: SOT 108126 SOS 55726 HAS SOPS 55726 HAS SOUS 49589 HAS SOUPS 49589 WITH SCORE 49644.726
AT ITER 691 NEW BEST:: SOT 108098 SOS 55698 HAS SOPS 55698 HAS SOUS 49561 HAS SOUPS 49561 WITH SCORE 49616.698
AT ITER 704 NEW BEST:: SOT 108030 SOS 55556 HAS SOPS 55556 HAS SOUS 49447 HAS SOUPS 49447 WITH SCORE 49502.556
AT ITER 705 NEW BEST:: SOT 108030 SOS 55733 HAS SOPS 55733 HAS SOUS 49422 HAS SOUPS 49422 WITH SCORE 49477.733
AT ITER 708 NEW BEST:: SOT 107891 SOS 55572 HAS SOPS 55572 HAS SOUS 49229 HAS SOUPS 49229 WITH SCORE 49284.572
AT ITER 710 NEW BEST:: SOT 107789 SOS 55382 HAS SOPS 55382 HAS SOUS 49182 HAS SOUPS 49182 WITH SCORE 49237.382
AT ITER 715 NEW BEST:: SOT 107765 SOS 55204 HAS SOPS 55204 HAS SOUS 49130 HAS SOUPS 49130 WITH SCORE 49185.204
AT ITER 719 NEW BEST:: SOT 107742 SOS 55081 HAS SOPS 55081 HAS SOUS 49022 HAS SOUPS 49022 WITH SCORE 49077.081
AT ITER 723 NEW BEST:: SOT 107742 SOS 55085 HAS SOPS 55085 HAS SOUS 49018 HAS SOUPS 49018 WITH SCORE 49073.085
AT ITER 725 NEW BEST:: SOT 107742 SOS 55003 HAS SOPS 55003 HAS SOUS 49009 HAS SOUPS 49009 WITH SCORE 49064.003
AT ITER 736 NEW BEST:: SOT 107596 SOS 54633 HAS SOPS 54633 HAS SOUS 48585 HAS SOUPS 48585 WITH SCORE 48639.633
AT ITER 740 NEW BEST:: SOT 107571 SOS 54558 HAS SOPS 54558 HAS SOUS 48507 HAS SOUPS 48507 WITH SCORE 48561.558
AT ITER 741 NEW BEST:: SOT 107550 SOS 54539 HAS SOPS 54539 HAS SOUS 48477 HAS SOUPS 48477 WITH SCORE 48531.539
AT ITER 742 NEW BEST:: SOT 107550 SOS 54591 HAS SOPS 54591 HAS SOUS 48449 HAS SOUPS 48449 WITH SCORE 48503.591
AT ITER 746 NEW BEST:: SOT 107543 SOS 54571 HAS SOPS 54571 HAS SOUS 48420 HAS SOUPS 48420 WITH SCORE 48474.571
AT ITER 747 NEW BEST:: SOT 107533 SOS 54579 HAS SOPS 54579 HAS SOUS 48407 HAS SOUPS 48407 WITH SCORE 48461.579
AT ITER 756 NEW BEST:: SOT 107502 SOS 54549 HAS SOPS 54549 HAS SOUS 48377 HAS SOUPS 48377 WITH SCORE 48431.549
AT ITER 765 NEW BEST:: SOT 107482 SOS 54524 HAS SOPS 54524 HAS SOUS 48352 HAS SOUPS 48352 WITH SCORE 48406.524
AT ITER 774 NEW BEST:: SOT 107479 SOS 54501 HAS SOPS 54501 HAS SOUS 48237 HAS SOUPS 48237 WITH SCORE 48291.501
AT ITER 788 NEW BEST:: SOT 107426 SOS 54425 HAS SOPS 54425 HAS SOUS 48161 HAS SOUPS 48161 WITH SCORE 48215.425
AT ITER 812 NEW BEST:: SOT 107354 SOS 54353 HAS SOPS 54353 HAS SOUS 48089 HAS SOUPS 48089 WITH SCORE 48143.353
AT ITER 817 NEW BEST:: SOT 107304 SOS 54278 HAS SOPS 54278 HAS SOUS 48014 HAS SOUPS 48014 WITH SCORE 48068.278
AT ITER 827 NEW BEST:: SOT 107313 SOS 54348 HAS SOPS 54348 HAS SOUS 48009 HAS SOUPS 48009 WITH SCORE 48063.348
AT ITER 837 NEW BEST:: SOT 107326 SOS 54361 HAS SOPS 54361 HAS SOUS 48003 HAS SOUPS 48003 WITH SCORE 48057.361
AT ITER 839 NEW BEST:: SOT 107326 SOS 54352 HAS SOPS 54352 HAS SOUS 48003 HAS SOUPS 48003 WITH SCORE 48057.352
AT ITER 845 NEW BEST:: SOT 107286 SOS 54283 HAS SOPS 54283 HAS SOUS 47972 HAS SOUPS 47972 WITH SCORE 48026.283
AT ITER 850 NEW BEST:: SOT 107280 SOS 54275 HAS SOPS 54275 HAS SOUS 47964 HAS SOUPS 47964 WITH SCORE 48018.275
AT ITER 854 NEW BEST:: SOT 107166 SOS 54137 HAS SOPS 54137 HAS SOUS 47748 HAS SOUPS 47748 WITH SCORE 47802.137
AT ITER 863 NEW BEST:: SOT 107125 SOS 54055 HAS SOPS 54055 HAS SOUS 47748 HAS SOUPS 47748 WITH SCORE 47802.055
AT ITER 868 NEW BEST:: SOT 107125 SOS 54035 HAS SOPS 54035 HAS SOUS 47708 HAS SOUPS 47708 WITH SCORE 47762.035
AT ITER 870 NEW BEST:: SOT 107101 SOS 53921 HAS SOPS 53921 HAS SOUS 47531 HAS SOUPS 47531 WITH SCORE 47584.921
AT ITER 877 NEW BEST:: SOT 106989 SOS 53829 HAS SOPS 53829 HAS SOUS 47363 HAS SOUPS 47363 WITH SCORE 47416.829
AT ITER 883 NEW BEST:: SOT 106923 SOS 53643 HAS SOPS 53643 HAS SOUS 47217 HAS SOUPS 47217 WITH SCORE 47270.643
AT ITER 885 NEW BEST:: SOT 106865 SOS 53469 HAS SOPS 53469 HAS SOUS 47043 HAS SOUPS 47043 WITH SCORE 47096.469
AT ITER 890 NEW BEST:: SOT 106865 SOS 53411 HAS SOPS 53411 HAS SOUS 47014 HAS SOUPS 47014 WITH SCORE 47067.411
AT ITER 907 NEW BEST:: SOT 106826 SOS 53213 HAS SOPS 53213 HAS SOUS 46935 HAS SOUPS 46935 WITH SCORE 46988.213
AT ITER 910 NEW BEST:: SOT 106722 SOS 53047 HAS SOPS 53047 HAS SOUS 46854 HAS SOUPS 46854 WITH SCORE 46907.047
AT ITER 917 NEW BEST:: SOT 106684 SOS 52995 HAS SOPS 52995 HAS SOUS 46768 HAS SOUPS 46768 WITH SCORE 46820.995
AT ITER 918 NEW BEST:: SOT 106640 SOS 52982 HAS SOPS 52982 HAS SOUS 46768 HAS SOUPS 46768 WITH SCORE 46820.982
AT ITER 920 NEW BEST:: SOT 106640 SOS 52982 HAS SOPS 52982 HAS SOUS 46747 HAS SOUPS 46747 WITH SCORE 46799.982
AT ITER 922 NEW BEST:: SOT 106591 SOS 52911 HAS SOPS 52911 HAS SOUS 46670 HAS SOUPS 46670 WITH SCORE 46722.911
AT ITER 938 NEW BEST:: SOT 106595 SOS 52822 HAS SOPS 52822 HAS SOUS 46658 HAS SOUPS 46658 WITH SCORE 46710.822
AT ITER 941 NEW BEST:: SOT 106595 SOS 52786 HAS SOPS 52786 HAS SOUS 46599 HAS SOUPS 46599 WITH SCORE 46651.786
AT ITER 944 NEW BEST:: SOT 106724 SOS 53163 HAS SOPS 53163 HAS SOUS 46530 HAS SOUPS 46530 WITH SCORE 46583.163
AT ITER 946 NEW BEST:: SOT 106561 SOS 52752 HAS SOPS 52752 HAS SOUS 46025 HAS SOUPS 46025 WITH SCORE 46077.752
AT ITER 947 NEW BEST:: SOT 106561 SOS 52699 HAS SOPS 52699 HAS SOUS 45981 HAS SOUPS 45981 WITH SCORE 46033.699
AT ITER 952 NEW BEST:: SOT 106514 SOS 52511 HAS SOPS 52511 HAS SOUS 45950 HAS SOUPS 45950 WITH SCORE 46002.511
AT ITER 957 NEW BEST:: SOT 106218 SOS 51947 HAS SOPS 51947 HAS SOUS 45485 HAS SOUPS 45485 WITH SCORE 45536.947
AT ITER 972 NEW BEST:: SOT 106218 SOS 51944 HAS SOPS 51944 HAS SOUS 45485 HAS SOUPS 45485 WITH SCORE 45536.944
AT ITER 975 NEW BEST:: SOT 106158 SOS 51734 HAS SOPS 51734 HAS SOUS 45357 HAS SOUPS 45357 WITH SCORE 45408.734
AT ITER 985 NEW BEST:: SOT 106118 SOS 51635 HAS SOPS 51635 HAS SOUS 45287 HAS SOUPS 45287 WITH SCORE 45338.635
AT ITER 990 NEW BEST:: SOT 106108 SOS 51620 HAS SOPS 51620 HAS SOUS 45272 HAS SOUPS 45272 WITH SCORE 45323.62
AT ITER 992 NEW BEST:: SOT 106046 SOS 51510 HAS SOPS 51510 HAS SOUS 45224 HAS SOUPS 45224 WITH SCORE 45275.51
AT ITER 995 NEW BEST:: SOT 105934 SOS 51398 HAS SOPS 51398 HAS SOUS 45135 HAS SOUPS 45135 WITH SCORE 45186.398
AT ITER 997 NEW BEST:: SOT 105908 SOS 51360 HAS SOPS 51360 HAS SOUS 45087 HAS SOUPS 45087 WITH SCORE 45138.36
AT ITER 1000 NEW BEST:: SOT 105898 SOS 51350 HAS SOPS 51350 HAS SOUS 45072 HAS SOUPS 45072 WITH SCORE 45123.35
AT ITER 1002 NEW BEST:: SOT 105772 SOS 51150 HAS SOPS 51150 HAS SOUS 44874 HAS SOUPS 44874 WITH SCORE 44925.15
AT ITER 1007 NEW BEST:: SOT 105595 SOS 50914 HAS SOPS 50914 HAS SOUS 44638 HAS SOUPS 44638 WITH SCORE 44688.914
AT ITER 1014 NEW BEST:: SOT 105571 SOS 50878 HAS SOPS 50878 HAS SOUS 44607 HAS SOUPS 44607 WITH SCORE 44657.878
AT ITER 1019 NEW BEST:: SOT 105565 SOS 50759 HAS SOPS 50759 HAS SOUS 44476 HAS SOUPS 44476 WITH SCORE 44526.759
AT ITER 1027 NEW BEST:: SOT 105558 SOS 50720 HAS SOPS 50720 HAS SOUS 44449 HAS SOUPS 44449 WITH SCORE 44499.72
AT ITER 1029 NEW BEST:: SOT 105426 SOS 50487 HAS SOPS 50487 HAS SOUS 44251 HAS SOUPS 44251 WITH SCORE 44301.487
AT ITER 1036 NEW BEST:: SOT 105333 SOS 50340 HAS SOPS 50340 HAS SOUS 44104 HAS SOUPS 44104 WITH SCORE 44154.34
AT ITER 1037 NEW BEST:: SOT 105333 SOS 50340 HAS SOPS 50340 HAS SOUS 44087 HAS SOUPS 44087 WITH SCORE 44137.34
AT ITER 1040 NEW BEST:: SOT 105321 SOS 50317 HAS SOPS 50317 HAS SOUS 44069 HAS SOUPS 44069 WITH SCORE 44119.317
AT ITER 1044 NEW BEST:: SOT 105321 SOS 50313 HAS SOPS 50313 HAS SOUS 44046 HAS SOUPS 44046 WITH SCORE 44096.313
AT ITER 1045 NEW BEST:: SOT 105291 SOS 50253 HAS SOPS 50253 HAS SOUS 44016 HAS SOUPS 44016 WITH SCORE 44066.253
AT ITER 1048 NEW BEST:: SOT 105247 SOS 50215 HAS SOPS 50215 HAS SOUS 43947 HAS SOUPS 43947 WITH SCORE 43997.215
AT ITER 1052 NEW BEST:: SOT 105174 SOS 50028 HAS SOPS 50028 HAS SOUS 43774 HAS SOUPS 43774 WITH SCORE 43824.028
AT ITER 1053 NEW BEST:: SOT 105116 SOS 49866 HAS SOPS 49866 HAS SOUS 43646 HAS SOUPS 43646 WITH SCORE 43695.866
AT ITER 1066 NEW BEST:: SOT 105053 SOS 49814 HAS SOPS 49814 HAS SOUS 43562 HAS SOUPS 43562 WITH SCORE 43611.814
AT ITER 1071 NEW BEST:: SOT 104990 SOS 49718 HAS SOPS 49718 HAS SOUS 43447 HAS SOUPS 43447 WITH SCORE 43496.718
AT ITER 1072 NEW BEST:: SOT 104978 SOS 49688 HAS SOPS 49688 HAS SOUS 43429 HAS SOUPS 43429 WITH SCORE 43478.688
AT ITER 1085 NEW BEST:: SOT 104965 SOS 49649 HAS SOPS 49649 HAS SOUS 43416 HAS SOUPS 43416 WITH SCORE 43465.649
AT ITER 1122 NEW BEST:: SOT 104855 SOS 49349 HAS SOPS 49349 HAS SOUS 43161 HAS SOUPS 43161 WITH SCORE 43210.349
AT ITER 1124 NEW BEST:: SOT 104789 SOS 49159 HAS SOPS 49159 HAS SOUS 42971 HAS SOUPS 42971 WITH SCORE 43020.159
AT ITER 1135 NEW BEST:: SOT 104692 SOS 49028 HAS SOPS 49028 HAS SOUS 42867 HAS SOUPS 42867 WITH SCORE 42916.028
AT ITER 1140 NEW BEST:: SOT 104650 SOS 48907 HAS SOPS 48907 HAS SOUS 42783 HAS SOUPS 42783 WITH SCORE 42831.907
AT ITER 1152 NEW BEST:: SOT 104430 SOS 48607 HAS SOPS 48607 HAS SOUS 42476 HAS SOUPS 42476 WITH SCORE 42524.607
AT ITER 1156 NEW BEST:: SOT 104389 SOS 48394 HAS SOPS 48394 HAS SOUS 42352 HAS SOUPS 42352 WITH SCORE 42400.394
AT ITER 1173 NEW BEST:: SOT 104363 SOS 48355 HAS SOPS 48355 HAS SOUS 42313 HAS SOUPS 42313 WITH SCORE 42361.355
AT ITER 1177 NEW BEST:: SOT 104361 SOS 48353 HAS SOPS 48353 HAS SOUS 42308 HAS SOUPS 42308 WITH SCORE 42356.353
AT ITER 1197 NEW BEST:: SOT 104257 SOS 48197 HAS SOPS 48197 HAS SOUS 42204 HAS SOUPS 42204 WITH SCORE 42252.197
AT ITER 1198 NEW BEST:: SOT 104225 SOS 48157 HAS SOPS 48157 HAS SOUS 42164 HAS SOUPS 42164 WITH SCORE 42212.157
AT ITER 1199 NEW BEST:: SOT 104232 SOS 47889 HAS SOPS 47889 HAS SOUS 42037 HAS SOUPS 42037 WITH SCORE 42084.889
AT ITER 1209 NEW BEST:: SOT 104087 SOS 47710 HAS SOPS 47710 HAS SOUS 41841 HAS SOUPS 41841 WITH SCORE 41888.71
AT ITER 1213 NEW BEST:: SOT 104087 SOS 47592 HAS SOPS 47592 HAS SOUS 41782 HAS SOUPS 41782 WITH SCORE 41829.592
AT ITER 1217 NEW BEST:: SOT 103946 SOS 47323 HAS SOPS 47323 HAS SOUS 41576 HAS SOUPS 41576 WITH SCORE 41623.323
AT ITER 1270 NEW BEST:: SOT 103888 SOS 47253 HAS SOPS 47253 HAS SOUS 41506 HAS SOUPS 41506 WITH SCORE 41553.253
AT ITER 1291 NEW BEST:: SOT 103842 SOS 47069 HAS SOPS 47069 HAS SOUS 41414 HAS SOUPS 41414 WITH SCORE 41461.069
AT ITER 1299 NEW BEST:: SOT 103815 SOS 47125 HAS SOPS 47125 HAS SOUS 41344 HAS SOUPS 41344 WITH SCORE 41391.125
AT ITER 1300 NEW BEST:: SOT 103811 SOS 47007 HAS SOPS 47007 HAS SOUS 41251 HAS SOUPS 41251 WITH SCORE 41298.007
AT ITER 1308 NEW BEST:: SOT 103743 SOS 46825 HAS SOPS 46825 HAS SOUS 41166 HAS SOUPS 41166 WITH SCORE 41212.825
AT ITER 1317 NEW BEST:: SOT 103716 SOS 46717 HAS SOPS 46717 HAS SOUS 41107 HAS SOUPS 41107 WITH SCORE 41153.717
AT ITER 1321 NEW BEST:: SOT 103680 SOS 46613 HAS SOPS 46613 HAS SOUS 41049 HAS SOUPS 41049 WITH SCORE 41095.613
AT ITER 1345 NEW BEST:: SOT 103666 SOS 46599 HAS SOPS 46599 HAS SOUS 41035 HAS SOUPS 41035 WITH SCORE 41081.599
AT ITER 1362 NEW BEST:: SOT 103656 SOS 46583 HAS SOPS 46583 HAS SOUS 41015 HAS SOUPS 41015 WITH SCORE 41061.583
AT ITER 1367 NEW BEST:: SOT 103620 SOS 46493 HAS SOPS 46493 HAS SOUS 41000 HAS SOUPS 41000 WITH SCORE 41046.493
AT ITER 1368 NEW BEST:: SOT 103555 SOS 46535 HAS SOPS 46535 HAS SOUS 40947 HAS SOUPS 40947 WITH SCORE 40993.535
AT ITER 1379 NEW BEST:: SOT 103562 SOS 46564 HAS SOPS 46564 HAS SOUS 40909 HAS SOUPS 40909 WITH SCORE 40955.564
AT ITER 1383 NEW BEST:: SOT 103556 SOS 46546 HAS SOPS 46546 HAS SOUS 40897 HAS SOUPS 40897 WITH SCORE 40943.546
AT ITER 1398 NEW BEST:: SOT 103552 SOS 46537 HAS SOPS 46537 HAS SOUS 40888 HAS SOUPS 40888 WITH SCORE 40934.537
AT ITER 1400 NEW BEST:: SOT 103519 SOS 46493 HAS SOPS 46493 HAS SOUS 40855 HAS SOUPS 40855 WITH SCORE 40901.493
AT ITER 1402 NEW BEST:: SOT 103492 SOS 46457 HAS SOPS 46457 HAS SOUS 40819 HAS SOUPS 40819 WITH SCORE 40865.457
AT ITER 1407 NEW BEST:: SOT 103441 SOS 46389 HAS SOPS 46389 HAS SOUS 40751 HAS SOUPS 40751 WITH SCORE 40797.389
AT ITER 1410 NEW BEST:: SOT 103469 SOS 46418 HAS SOPS 46418 HAS SOUS 40725 HAS SOUPS 40725 WITH SCORE 40771.418
AT ITER 1414 NEW BEST:: SOT 103383 SOS 46288 HAS SOPS 46288 HAS SOUS 40553 HAS SOUPS 40553 WITH SCORE 40599.288
AT ITER 1418 NEW BEST:: SOT 103377 SOS 46276 HAS SOPS 46276 HAS SOUS 40551 HAS SOUPS 40551 WITH SCORE 40597.276
AT ITER 1424 NEW BEST:: SOT 103345 SOS 46074 HAS SOPS 46074 HAS SOUS 40433 HAS SOUPS 40433 WITH SCORE 40479.074
AT ITER 1430 NEW BEST:: SOT 103351 SOS 46092 HAS SOPS 46092 HAS SOUS 40396 HAS SOUPS 40396 WITH SCORE 40442.092
AT ITER 1431 NEW BEST:: SOT 103337 SOS 46062 HAS SOPS 46062 HAS SOUS 40368 HAS SOUPS 40368 WITH SCORE 40414.062
AT ITER 1438 NEW BEST:: SOT 103298 SOS 46003 HAS SOPS 46003 HAS SOUS 40309 HAS SOUPS 40309 WITH SCORE 40355.003
AT ITER 1451 NEW BEST:: SOT 103298 SOS 45955 HAS SOPS 45955 HAS SOUS 40285 HAS SOUPS 40285 WITH SCORE 40330.955
AT ITER 1470 NEW BEST:: SOT 103246 SOS 45905 HAS SOPS 45905 HAS SOUS 40235 HAS SOUPS 40235 WITH SCORE 40280.905
AT ITER 1473 NEW BEST:: SOT 103234 SOS 45893 HAS SOPS 45893 HAS SOUS 40208 HAS SOUPS 40208 WITH SCORE 40253.893
AT ITER 1482 NEW BEST:: SOT 103198 SOS 45715 HAS SOPS 45715 HAS SOUS 40164 HAS SOUPS 40164 WITH SCORE 40209.715
AT ITER 1495 NEW BEST:: SOT 103186 SOS 45680 HAS SOPS 45680 HAS SOUS 40140 HAS SOUPS 40140 WITH SCORE 40185.68
AT ITER 1496 NEW BEST:: SOT 103141 SOS 45479 HAS SOPS 45479 HAS SOUS 40050 HAS SOUPS 40050 WITH SCORE 40095.479
AT ITER 1500 NEW BEST:: SOT 103074 SOS 45265 HAS SOPS 45265 HAS SOUS 40014 HAS SOUPS 40014 WITH SCORE 40059.265
AT ITER 1506 NEW BEST:: SOT 103067 SOS 45251 HAS SOPS 45251 HAS SOUS 40000 HAS SOUPS 40000 WITH SCORE 40045.251
AT ITER 1512 NEW BEST:: SOT 103042 SOS 45226 HAS SOPS 45226 HAS SOUS 39962 HAS SOUPS 39962 WITH SCORE 40007.226
AT ITER 1518 NEW BEST:: SOT 102992 SOS 45076 HAS SOPS 45076 HAS SOUS 39862 HAS SOUPS 39862 WITH SCORE 39907.076
AT ITER 1542 NEW BEST:: SOT 102992 SOS 44794 HAS SOPS 44794 HAS SOUS 39734 HAS SOUPS 39734 WITH SCORE 39778.794
AT ITER 1556 NEW BEST:: SOT 102992 SOS 44782 HAS SOPS 44782 HAS SOUS 39734 HAS SOUPS 39734 WITH SCORE 39778.782
AT ITER 1558 NEW BEST:: SOT 102954 SOS 44721 HAS SOPS 44721 HAS SOUS 39648 HAS SOUPS 39648 WITH SCORE 39692.721
AT ITER 1561 NEW BEST:: SOT 102957 SOS 44854 HAS SOPS 44854 HAS SOUS 39632 HAS SOUPS 39632 WITH SCORE 39676.854
AT ITER 1568 NEW BEST:: SOT 102957 SOS 44851 HAS SOPS 44851 HAS SOUS 39622 HAS SOUPS 39622 WITH SCORE 39666.851
AT ITER 1575 NEW BEST:: SOT 102926 SOS 44778 HAS SOPS 44778 HAS SOUS 39517 HAS SOUPS 39517 WITH SCORE 39561.778
AT ITER 1582 NEW BEST:: SOT 102926 SOS 44763 HAS SOPS 44763 HAS SOUS 39513 HAS SOUPS 39513 WITH SCORE 39557.763
AT ITER 1584 NEW BEST:: SOT 102912 SOS 44727 HAS SOPS 44727 HAS SOUS 39477 HAS SOUPS 39477 WITH SCORE 39521.727
AT ITER 1585 NEW BEST:: SOT 102710 SOS 44535 HAS SOPS 44535 HAS SOUS 39295 HAS SOUPS 39295 WITH SCORE 39339.535
AT ITER 1592 NEW BEST:: SOT 102704 SOS 44529 HAS SOPS 44529 HAS SOUS 39289 HAS SOUPS 39289 WITH SCORE 39333.529
AT ITER 1593 NEW BEST:: SOT 102694 SOS 44371 HAS SOPS 44371 HAS SOUS 39257 HAS SOUPS 39257 WITH SCORE 39301.371
AT ITER 1611 NEW BEST:: SOT 102645 SOS 44322 HAS SOPS 44322 HAS SOUS 39164 HAS SOUPS 39164 WITH SCORE 39208.322
AT ITER 1612 NEW BEST:: SOT 102638 SOS 44288 HAS SOPS 44288 HAS SOUS 39109 HAS SOUPS 39109 WITH SCORE 39153.288
AT ITER 1614 NEW BEST:: SOT 102634 SOS 44280 HAS SOPS 44280 HAS SOUS 39101 HAS SOUPS 39101 WITH SCORE 39145.28
AT ITER 1619 NEW BEST:: SOT 102618 SOS 44217 HAS SOPS 44217 HAS SOUS 39038 HAS SOUPS 39038 WITH SCORE 39082.217
AT ITER 1631 NEW BEST:: SOT 102604 SOS 44196 HAS SOPS 44196 HAS SOUS 39017 HAS SOUPS 39017 WITH SCORE 39061.196
AT ITER 1634 NEW BEST:: SOT 102595 SOS 44197 HAS SOPS 44197 HAS SOUS 38999 HAS SOUPS 38999 WITH SCORE 39043.197
AT ITER 1646 NEW BEST:: SOT 102528 SOS 44040 HAS SOPS 44040 HAS SOUS 38872 HAS SOUPS 38872 WITH SCORE 38916.04
AT ITER 1649 NEW BEST:: SOT 102528 SOS 44134 HAS SOPS 44134 HAS SOUS 38747 HAS SOUPS 38747 WITH SCORE 38791.134
AT ITER 1650 NEW BEST:: SOT 102515 SOS 44099 HAS SOPS 44099 HAS SOUS 38719 HAS SOUPS 38719 WITH SCORE 38763.099
AT ITER 1651 NEW BEST:: SOT 102511 SOS 44087 HAS SOPS 44087 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38754.087
AT ITER 1655 NEW BEST:: SOT 102482 SOS 44047 HAS SOPS 44047 HAS SOUS 38667 HAS SOUPS 38667 WITH SCORE 38711.047
AT ITER 1656 NEW BEST:: SOT 102405 SOS 43837 HAS SOPS 43837 HAS SOUS 38526 HAS SOUPS 38526 WITH SCORE 38569.837
AT ITER 1667 NEW BEST:: SOT 102215 SOS 43563 HAS SOPS 43563 HAS SOUS 38248 HAS SOUPS 38248 WITH SCORE 38291.563
AT ITER 1680 NEW BEST:: SOT 102189 SOS 43485 HAS SOPS 43485 HAS SOUS 38196 HAS SOUPS 38196 WITH SCORE 38239.485
AT ITER 1682 NEW BEST:: SOT 102133 SOS 43358 HAS SOPS 43358 HAS SOUS 38091 HAS SOUPS 38091 WITH SCORE 38134.358
AT ITER 1686 NEW BEST:: SOT 102143 SOS 43398 HAS SOPS 43398 HAS SOUS 38076 HAS SOUPS 38076 WITH SCORE 38119.398
AT ITER 1694 NEW BEST:: SOT 102120 SOS 43367 HAS SOPS 43367 HAS SOUS 38045 HAS SOUPS 38045 WITH SCORE 38088.367
AT ITER 1712 NEW BEST:: SOT 102056 SOS 43287 HAS SOPS 43287 HAS SOUS 37987 HAS SOUPS 37987 WITH SCORE 38030.287
AT ITER 1714 NEW BEST:: SOT 102014 SOS 43203 HAS SOPS 43203 HAS SOUS 37943 HAS SOUPS 37943 WITH SCORE 37986.203
AT ITER 1715 NEW BEST:: SOT 102014 SOS 43196 HAS SOPS 43196 HAS SOUS 37929 HAS SOUPS 37929 WITH SCORE 37972.196
AT ITER 1716 NEW BEST:: SOT 101803 SOS 42788 HAS SOPS 42788 HAS SOUS 37560 HAS SOUPS 37560 WITH SCORE 37602.788
AT ITER 1717 NEW BEST:: SOT 101786 SOS 42759 HAS SOPS 42759 HAS SOUS 37531 HAS SOUPS 37531 WITH SCORE 37573.759
AT ITER 1719 NEW BEST:: SOT 101760 SOS 42730 HAS SOPS 42730 HAS SOUS 37499 HAS SOUPS 37499 WITH SCORE 37541.73
AT ITER 1720 NEW BEST:: SOT 101676 SOS 42627 HAS SOPS 42627 HAS SOUS 37396 HAS SOUPS 37396 WITH SCORE 37438.627
AT ITER 1722 NEW BEST:: SOT 101642 SOS 42559 HAS SOPS 42559 HAS SOUS 37328 HAS SOUPS 37328 WITH SCORE 37370.559
AT ITER 1723 NEW BEST:: SOT 101627 SOS 42497 HAS SOPS 42497 HAS SOUS 37314 HAS SOUPS 37314 WITH SCORE 37356.497
AT ITER 1727 NEW BEST:: SOT 101589 SOS 42439 HAS SOPS 42439 HAS SOUS 37246 HAS SOUPS 37246 WITH SCORE 37288.439
AT ITER 1728 NEW BEST:: SOT 101521 SOS 42336 HAS SOPS 42336 HAS SOUS 37154 HAS SOUPS 37154 WITH SCORE 37196.336
AT ITER 1754 NEW BEST:: SOT 101426 SOS 42229 HAS SOPS 42229 HAS SOUS 36979 HAS SOUPS 36979 WITH SCORE 37021.229
AT ITER 1762 NEW BEST:: SOT 101363 SOS 42132 HAS SOPS 42132 HAS SOUS 36961 HAS SOUPS 36961 WITH SCORE 37003.132
AT ITER 1769 NEW BEST:: SOT 101408 SOS 42019 HAS SOPS 42019 HAS SOUS 36928 HAS SOUPS 36928 WITH SCORE 36970.019
AT ITER 1774 NEW BEST:: SOT 101279 SOS 41802 HAS SOPS 41802 HAS SOUS 36755 HAS SOUPS 36755 WITH SCORE 36796.802
AT ITER 1802 NEW BEST:: SOT 101231 SOS 41762 HAS SOPS 41762 HAS SOUS 36668 HAS SOUPS 36668 WITH SCORE 36709.762
AT ITER 1811 NEW BEST:: SOT 101164 SOS 41561 HAS SOPS 41561 HAS SOUS 36582 HAS SOUPS 36582 WITH SCORE 36623.561
AT ITER 1822 NEW BEST:: SOT 101054 SOS 41417 HAS SOPS 41417 HAS SOUS 36438 HAS SOUPS 36438 WITH SCORE 36479.417
AT ITER 1823 NEW BEST:: SOT 101054 SOS 41219 HAS SOPS 41219 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36415.219
AT ITER 1827 NEW BEST:: SOT 100823 SOS 40971 HAS SOPS 40971 HAS SOUS 36055 HAS SOUPS 36055 WITH SCORE 36095.971
AT ITER 1839 NEW BEST:: SOT 100751 SOS 40881 HAS SOPS 40881 HAS SOUS 35965 HAS SOUPS 35965 WITH SCORE 36005.881
AT ITER 1845 NEW BEST:: SOT 100748 SOS 40876 HAS SOPS 40876 HAS SOUS 35960 HAS SOUPS 35960 WITH SCORE 36000.876
AT ITER 1874 NEW BEST:: SOT 100750 SOS 40881 HAS SOPS 40881 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 35995.881
AT ITER 1878 NEW BEST:: SOT 100750 SOS 40770 HAS SOPS 40770 HAS SOUS 35955 HAS SOUPS 35955 WITH SCORE 35995.77
AT ITER 1885 NEW BEST:: SOT 100743 SOS 40769 HAS SOPS 40769 HAS SOUS 35941 HAS SOUPS 35941 WITH SCORE 35981.769
AT ITER 1888 NEW BEST:: SOT 100713 SOS 40739 HAS SOPS 40739 HAS SOUS 35874 HAS SOUPS 35874 WITH SCORE 35914.739
AT ITER 1898 NEW BEST:: SOT 100710 SOS 40722 HAS SOPS 40722 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35866.722
AT ITER 1902 NEW BEST:: SOT 100692 SOS 40704 HAS SOPS 40704 HAS SOUS 35808 HAS SOUPS 35808 WITH SCORE 35848.704
AT ITER 1904 NEW BEST:: SOT 100656 SOS 40654 HAS SOPS 40654 HAS SOUS 35758 HAS SOUPS 35758 WITH SCORE 35798.654
AT ITER 1913 NEW BEST:: SOT 100656 SOS 40647 HAS SOPS 40647 HAS SOUS 35707 HAS SOUPS 35707 WITH SCORE 35747.647
AT ITER 1927 NEW BEST:: SOT 100632 SOS 40607 HAS SOPS 40607 HAS SOUS 35647 HAS SOUPS 35647 WITH SCORE 35687.607
AT ITER 1933 NEW BEST:: SOT 100636 SOS 40617 HAS SOPS 40617 HAS SOUS 35579 HAS SOUPS 35579 WITH SCORE 35619.617
AT ITER 1942 NEW BEST:: SOT 100636 SOS 40617 HAS SOPS 40617 HAS SOUS 35565 HAS SOUPS 35565 WITH SCORE 35605.617
AT ITER 1944 NEW BEST:: SOT 100636 SOS 40577 HAS SOPS 40577 HAS SOUS 35544 HAS SOUPS 35544 WITH SCORE 35584.577
AT ITER 1947 NEW BEST:: SOT 100486 SOS 40219 HAS SOPS 40219 HAS SOUS 35295 HAS SOUPS 35295 WITH SCORE 35335.219
AT ITER 1951 NEW BEST:: SOT 100486 SOS 40189 HAS SOPS 40189 HAS SOUS 35280 HAS SOUPS 35280 WITH SCORE 35320.189
AT ITER 1954 NEW BEST:: SOT 100405 SOS 39922 HAS SOPS 39922 HAS SOUS 35139 HAS SOUPS 35139 WITH SCORE 35178.922
AT ITER 1956 NEW BEST:: SOT 100398 SOS 39908 HAS SOPS 39908 HAS SOUS 35125 HAS SOUPS 35125 WITH SCORE 35164.908
AT ITER 1961 NEW BEST:: SOT 100366 SOS 39876 HAS SOPS 39876 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35132.876
AT ITER 1985 NEW BEST:: SOT 100327 SOS 39833 HAS SOPS 39833 HAS SOUS 35065 HAS SOUPS 35065 WITH SCORE 35104.833
AT ITER 1994 NEW BEST:: SOT 100307 SOS 39785 HAS SOPS 39785 HAS SOUS 34948 HAS SOUPS 34948 WITH SCORE 34987.785
AT ITER 1996 NEW BEST:: SOT 100300 SOS 39757 HAS SOPS 39757 HAS SOUS 34927 HAS SOUPS 34927 WITH SCORE 34966.757
AT ITER 2002 NEW BEST:: SOT 100239 SOS 39696 HAS SOPS 39696 HAS SOUS 34838 HAS SOUPS 34838 WITH SCORE 34877.696
AT ITER 2014 NEW BEST:: SOT 100179 SOS 39576 HAS SOPS 39576 HAS SOUS 34718 HAS SOUPS 34718 WITH SCORE 34757.576
AT ITER 2016 NEW BEST:: SOT 100172 SOS 39562 HAS SOPS 39562 HAS SOUS 34711 HAS SOUPS 34711 WITH SCORE 34750.562
AT ITER 2019 NEW BEST:: SOT 100172 SOS 39541 HAS SOPS 39541 HAS SOUS 34711 HAS SOUPS 34711 WITH SCORE 34750.541
AT ITER 2045 NEW BEST:: SOT 100131 SOS 39459 HAS SOPS 39459 HAS SOUS 34629 HAS SOUPS 34629 WITH SCORE 34668.459
AT ITER 2050 NEW BEST:: SOT 99988 SOS 39276 HAS SOPS 39276 HAS SOUS 34446 HAS SOUPS 34446 WITH SCORE 34485.276
AT ITER 2052 NEW BEST:: SOT 99920 SOS 39091 HAS SOPS 39091 HAS SOUS 34384 HAS SOUPS 34384 WITH SCORE 34423.091
AT ITER 2060 NEW BEST:: SOT 99854 SOS 39025 HAS SOPS 39025 HAS SOUS 34318 HAS SOUPS 34318 WITH SCORE 34357.025
AT ITER 2066 NEW BEST:: SOT 99836 SOS 39001 HAS SOPS 39001 HAS SOUS 34294 HAS SOUPS 34294 WITH SCORE 34333.001
AT ITER 2076 NEW BEST:: SOT 99833 SOS 38998 HAS SOPS 38998 HAS SOUS 34291 HAS SOUPS 34291 WITH SCORE 34329.998
AT ITER 2078 NEW BEST:: SOT 99814 SOS 38904 HAS SOPS 38904 HAS SOUS 34244 HAS SOUPS 34244 WITH SCORE 34282.904
AT ITER 2092 NEW BEST:: SOT 99806 SOS 39021 HAS SOPS 39021 HAS SOUS 34237 HAS SOUPS 34237 WITH SCORE 34276.021
AT ITER 2100 NEW BEST:: SOT 99780 SOS 38920 HAS SOPS 38920 HAS SOUS 34151 HAS SOUPS 34151 WITH SCORE 34189.92
AT ITER 2101 NEW BEST:: SOT 99780 SOS 38886 HAS SOPS 38886 HAS SOUS 34151 HAS SOUPS 34151 WITH SCORE 34189.886
AT ITER 2111 NEW BEST:: SOT 99757 SOS 38858 HAS SOPS 38858 HAS SOUS 34123 HAS SOUPS 34123 WITH SCORE 34161.858
AT ITER 2113 NEW BEST:: SOT 99754 SOS 38855 HAS SOPS 38855 HAS SOUS 34120 HAS SOUPS 34120 WITH SCORE 34158.855
AT ITER 2116 NEW BEST:: SOT 99762 SOS 38905 HAS SOPS 38905 HAS SOUS 34114 HAS SOUPS 34114 WITH SCORE 34152.905
AT ITER 2132 NEW BEST:: SOT 99747 SOS 38903 HAS SOPS 38903 HAS SOUS 34097 HAS SOUPS 34097 WITH SCORE 34135.903
AT ITER 2148 NEW BEST:: SOT 99734 SOS 38890 HAS SOPS 38890 HAS SOUS 34085 HAS SOUPS 34085 WITH SCORE 34123.89
AT ITER 2151 NEW BEST:: SOT 99723 SOS 38882 HAS SOPS 38882 HAS SOUS 34072 HAS SOUPS 34072 WITH SCORE 34110.882
AT ITER 2161 NEW BEST:: SOT 99607 SOS 38743 HAS SOPS 38743 HAS SOUS 33896 HAS SOUPS 33896 WITH SCORE 33934.743
AT ITER 2197 NEW BEST:: SOT 99607 SOS 38743 HAS SOPS 38743 HAS SOUS 33873 HAS SOUPS 33873 WITH SCORE 33911.743
AT ITER 2204 NEW BEST:: SOT 99607 SOS 38661 HAS SOPS 38661 HAS SOUS 33832 HAS SOUPS 33832 WITH SCORE 33870.661
AT ITER 2225 NEW BEST:: SOT 99598 SOS 38703 HAS SOPS 38703 HAS SOUS 33823 HAS SOUPS 33823 WITH SCORE 33861.703
AT ITER 2228 NEW BEST:: SOT 99512 SOS 38596 HAS SOPS 38596 HAS SOUS 33707 HAS SOUPS 33707 WITH SCORE 33745.596
AT ITER 2229 NEW BEST:: SOT 99512 SOS 38600 HAS SOPS 38600 HAS SOUS 33702 HAS SOUPS 33702 WITH SCORE 33740.6
AT ITER 2231 NEW BEST:: SOT 99502 SOS 38454 HAS SOPS 38454 HAS SOUS 33654 HAS SOUPS 33654 WITH SCORE 33692.454
AT ITER 2265 NEW BEST:: SOT 99413 SOS 38366 HAS SOPS 38366 HAS SOUS 33434 HAS SOUPS 33434 WITH SCORE 33472.366
AT ITER 2301 NEW BEST:: SOT 99401 SOS 38323 HAS SOPS 38323 HAS SOUS 33397 HAS SOUPS 33397 WITH SCORE 33435.323
AT ITER 2333 NEW BEST:: SOT 99250 SOS 38100 HAS SOPS 38100 HAS SOUS 33188 HAS SOUPS 33188 WITH SCORE 33226.1
AT ITER 2371 NEW BEST:: SOT 99205 SOS 38013 HAS SOPS 38013 HAS SOUS 33112 HAS SOUPS 33112 WITH SCORE 33150.013
AT ITER 2374 NEW BEST:: SOT 99205 SOS 37987 HAS SOPS 37987 HAS SOUS 33103 HAS SOUPS 33103 WITH SCORE 33140.987
AT ITER 2399 NEW BEST:: SOT 99205 SOS 37981 HAS SOPS 37981 HAS SOUS 33091 HAS SOUPS 33091 WITH SCORE 33128.981
AT ITER 2404 NEW BEST:: SOT 99156 SOS 37784 HAS SOPS 37784 HAS SOUS 32979 HAS SOUPS 32979 WITH SCORE 33016.784
AT ITER 2419 NEW BEST:: SOT 99063 SOS 37660 HAS SOPS 37660 HAS SOUS 32853 HAS SOUPS 32853 WITH SCORE 32890.66
AT ITER 2429 NEW BEST:: SOT 99039 SOS 37624 HAS SOPS 37624 HAS SOUS 32817 HAS SOUPS 32817 WITH SCORE 32854.624
AT ITER 2437 NEW BEST:: SOT 98994 SOS 37529 HAS SOPS 37529 HAS SOUS 32718 HAS SOUPS 32718 WITH SCORE 32755.529
AT ITER 2442 NEW BEST:: SOT 98932 SOS 37405 HAS SOPS 37405 HAS SOUS 32668 HAS SOUPS 32668 WITH SCORE 32705.405
AT ITER 2469 NEW BEST:: SOT 98846 SOS 37233 HAS SOPS 37233 HAS SOUS 32585 HAS SOUPS 32585 WITH SCORE 32622.233
AT ITER 2490 NEW BEST:: SOT 98824 SOS 37211 HAS SOPS 37211 HAS SOUS 32541 HAS SOUPS 32541 WITH SCORE 32578.211
AT ITER 2502 NEW BEST:: SOT 98816 SOS 37165 HAS SOPS 37165 HAS SOUS 32506 HAS SOUPS 32506 WITH SCORE 32543.165
AT ITER 2545 NEW BEST:: SOT 98778 SOS 37030 HAS SOPS 37030 HAS SOUS 32422 HAS SOUPS 32422 WITH SCORE 32459.03
AT ITER 2548 NEW BEST:: SOT 98770 SOS 37013 HAS SOPS 37013 HAS SOUS 32410 HAS SOUPS 32410 WITH SCORE 32447.013
AT ITER 2551 NEW BEST:: SOT 98726 SOS 36969 HAS SOPS 36969 HAS SOUS 32322 HAS SOUPS 32322 WITH SCORE 32358.969
AT ITER 2553 NEW BEST:: SOT 98726 SOS 37014 HAS SOPS 37014 HAS SOUS 32318 HAS SOUPS 32318 WITH SCORE 32355.014
AT ITER 2554 NEW BEST:: SOT 98670 SOS 36878 HAS SOPS 36878 HAS SOUS 32168 HAS SOUPS 32168 WITH SCORE 32204.878
AT ITER 2558 NEW BEST:: SOT 98657 SOS 36852 HAS SOPS 36852 HAS SOUS 32155 HAS SOUPS 32155 WITH SCORE 32191.852
AT ITER 2562 NEW BEST:: SOT 98556 SOS 36675 HAS SOPS 36675 HAS SOUS 32027 HAS SOUPS 32027 WITH SCORE 32063.675
AT ITER 2581 NEW BEST:: SOT 98532 SOS 36569 HAS SOPS 36569 HAS SOUS 31955 HAS SOUPS 31955 WITH SCORE 31991.569
AT ITER 2585 NEW BEST:: SOT 98440 SOS 36421 HAS SOPS 36421 HAS SOUS 31827 HAS SOUPS 31827 WITH SCORE 31863.421
AT ITER 2603 NEW BEST:: SOT 98440 SOS 36412 HAS SOPS 36412 HAS SOUS 31827 HAS SOUPS 31827 WITH SCORE 31863.412
AT ITER 2613 NEW BEST:: SOT 98434 SOS 36406 HAS SOPS 36406 HAS SOUS 31821 HAS SOUPS 31821 WITH SCORE 31857.406
AT ITER 2627 NEW BEST:: SOT 98428 SOS 36397 HAS SOPS 36397 HAS SOUS 31812 HAS SOUPS 31812 WITH SCORE 31848.397
AT ITER 2651 NEW BEST:: SOT 98114 SOS 35726 HAS SOPS 35726 HAS SOUS 31395 HAS SOUPS 31395 WITH SCORE 31430.726
AT ITER 2659 NEW BEST:: SOT 98089 SOS 35673 HAS SOPS 35673 HAS SOUS 31306 HAS SOUPS 31306 WITH SCORE 31341.673
AT ITER 2665 NEW BEST:: SOT 98091 SOS 35699 HAS SOPS 35699 HAS SOUS 31292 HAS SOUPS 31292 WITH SCORE 31327.699
AT ITER 2668 NEW BEST:: SOT 98053 SOS 35661 HAS SOPS 35661 HAS SOUS 31233 HAS SOUPS 31233 WITH SCORE 31268.661
AT ITER 2693 NEW BEST:: SOT 98051 SOS 35659 HAS SOPS 35659 HAS SOUS 31231 HAS SOUPS 31231 WITH SCORE 31266.659
AT ITER 2695 NEW BEST:: SOT 98032 SOS 35634 HAS SOPS 35634 HAS SOUS 31206 HAS SOUPS 31206 WITH SCORE 31241.634
AT ITER 2705 NEW BEST:: SOT 98027 SOS 35628 HAS SOPS 35628 HAS SOUS 31196 HAS SOUPS 31196 WITH SCORE 31231.628
AT ITER 2724 NEW BEST:: SOT 98015 SOS 35611 HAS SOPS 35611 HAS SOUS 31180 HAS SOUPS 31180 WITH SCORE 31215.611
AT ITER 2736 NEW BEST:: SOT 97991 SOS 35562 HAS SOPS 35562 HAS SOUS 31132 HAS SOUPS 31132 WITH SCORE 31167.562
AT ITER 2747 NEW BEST:: SOT 97977 SOS 35541 HAS SOPS 35541 HAS SOUS 31111 HAS SOUPS 31111 WITH SCORE 31146.541
AT ITER 2750 NEW BEST:: SOT 97986 SOS 35508 HAS SOPS 35508 HAS SOUS 31093 HAS SOUPS 31093 WITH SCORE 31128.508
AT ITER 2795 NEW BEST:: SOT 97986 SOS 35547 HAS SOPS 35547 HAS SOUS 31092 HAS SOUPS 31092 WITH SCORE 31127.547
AT ITER 2797 NEW BEST:: SOT 97980 SOS 35539 HAS SOPS 35539 HAS SOUS 31084 HAS SOUPS 31084 WITH SCORE 31119.539
AT ITER 2807 NEW BEST:: SOT 97976 SOS 35533 HAS SOPS 35533 HAS SOUS 31078 HAS SOUPS 31078 WITH SCORE 31113.533
AT ITER 2822 NEW BEST:: SOT 97951 SOS 35496 HAS SOPS 35496 HAS SOUS 31041 HAS SOUPS 31041 WITH SCORE 31076.496
AT ITER 2828 NEW BEST:: SOT 97903 SOS 35395 HAS SOPS 35395 HAS SOUS 30978 HAS SOUPS 30978 WITH SCORE 31013.395
AT ITER 2840 NEW BEST:: SOT 97918 SOS 35394 HAS SOPS 35394 HAS SOUS 30977 HAS SOUPS 30977 WITH SCORE 31012.394
AT ITER 2842 NEW BEST:: SOT 97871 SOS 35301 HAS SOPS 35301 HAS SOUS 30950 HAS SOUPS 30950 WITH SCORE 30985.301
AT ITER 2846 NEW BEST:: SOT 97831 SOS 35231 HAS SOPS 35231 HAS SOUS 30845 HAS SOUPS 30845 WITH SCORE 30880.231
AT ITER 2855 NEW BEST:: SOT 97825 SOS 35254 HAS SOPS 35254 HAS SOUS 30809 HAS SOUPS 30809 WITH SCORE 30844.254
AT ITER 2862 NEW BEST:: SOT 97822 SOS 35245 HAS SOPS 35245 HAS SOUS 30803 HAS SOUPS 30803 WITH SCORE 30838.245
AT ITER 2870 NEW BEST:: SOT 97756 SOS 35179 HAS SOPS 35179 HAS SOUS 30737 HAS SOUPS 30737 WITH SCORE 30772.179
AT ITER 2892 NEW BEST:: SOT 97750 SOS 35171 HAS SOPS 35171 HAS SOUS 30729 HAS SOUPS 30729 WITH SCORE 30764.171
AT ITER 2894 NEW BEST:: SOT 97748 SOS 35167 HAS SOPS 35167 HAS SOUS 30727 HAS SOUPS 30727 WITH SCORE 30762.167
AT ITER 2909 NEW BEST:: SOT 97696 SOS 35052 HAS SOPS 35052 HAS SOUS 30677 HAS SOUPS 30677 WITH SCORE 30712.052
AT ITER 2922 NEW BEST:: SOT 97696 SOS 35049 HAS SOPS 35049 HAS SOUS 30659 HAS SOUPS 30659 WITH SCORE 30694.049
AT ITER 2923 NEW BEST:: SOT 97690 SOS 35005 HAS SOPS 35005 HAS SOUS 30627 HAS SOUPS 30627 WITH SCORE 30662.005
AT ITER 2929 NEW BEST:: SOT 97678 SOS 34981 HAS SOPS 34981 HAS SOUS 30603 HAS SOUPS 30603 WITH SCORE 30637.981
AT ITER 2941 NEW BEST:: SOT 97648 SOS 34921 HAS SOPS 34921 HAS SOUS 30573 HAS SOUPS 30573 WITH SCORE 30607.921
AT ITER 2944 NEW BEST:: SOT 97586 SOS 34859 HAS SOPS 34859 HAS SOUS 30511 HAS SOUPS 30511 WITH SCORE 30545.859
AT ITER 2970 NEW BEST:: SOT 97520 SOS 34694 HAS SOPS 34694 HAS SOUS 30412 HAS SOUPS 30412 WITH SCORE 30446.694
AT ITER 2972 NEW BEST:: SOT 97432 SOS 34520 HAS SOPS 34520 HAS SOUS 30203 HAS SOUPS 30203 WITH SCORE 30237.52
AT ITER 2973 NEW BEST:: SOT 97432 SOS 34520 HAS SOPS 34520 HAS SOUS 30200 HAS SOUPS 30200 WITH SCORE 30234.52
AT ITER 2975 NEW BEST:: SOT 97427 SOS 34510 HAS SOPS 34510 HAS SOUS 30195 HAS SOUPS 30195 WITH SCORE 30229.51
AT ITER 2979 NEW BEST:: SOT 97425 SOS 34436 HAS SOPS 34436 HAS SOUS 30179 HAS SOUPS 30179 WITH SCORE 30213.436
AT ITER 2986 NEW BEST:: SOT 97350 SOS 34574 HAS SOPS 34574 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30206.574
AT ITER 3015 NEW BEST:: SOT 97308 SOS 34526 HAS SOPS 34526 HAS SOUS 30128 HAS SOUPS 30128 WITH SCORE 30162.526
AT ITER 3055 NEW BEST:: SOT 97305 SOS 34523 HAS SOPS 34523 HAS SOUS 30122 HAS SOUPS 30122 WITH SCORE 30156.523
AT ITER 3061 NEW BEST:: SOT 97291 SOS 34508 HAS SOPS 34508 HAS SOUS 30107 HAS SOUPS 30107 WITH SCORE 30141.508
AT ITER 3072 NEW BEST:: SOT 97263 SOS 34450 HAS SOPS 34450 HAS SOUS 30051 HAS SOUPS 30051 WITH SCORE 30085.45
AT ITER 3110 NEW BEST:: SOT 97263 SOS 34447 HAS SOPS 34447 HAS SOUS 30048 HAS SOUPS 30048 WITH SCORE 30082.447
AT ITER 3129 NEW BEST:: SOT 97223 SOS 34327 HAS SOPS 34327 HAS SOUS 29928 HAS SOUPS 29928 WITH SCORE 29962.327
AT ITER 3146 NEW BEST:: SOT 97209 SOS 34319 HAS SOPS 34319 HAS SOUS 29916 HAS SOUPS 29916 WITH SCORE 29950.319
AT ITER 3178 NEW BEST:: SOT 97202 SOS 34275 HAS SOPS 34275 HAS SOUS 29892 HAS SOUPS 29892 WITH SCORE 29926.275
AT ITER 3187 NEW BEST:: SOT 97200 SOS 34273 HAS SOPS 34273 HAS SOUS 29888 HAS SOUPS 29888 WITH SCORE 29922.273
AT ITER 3189 NEW BEST:: SOT 97192 SOS 34221 HAS SOPS 34221 HAS SOUS 29822 HAS SOUPS 29822 WITH SCORE 29856.221
AT ITER 3192 NEW BEST:: SOT 97164 SOS 34179 HAS SOPS 34179 HAS SOUS 29794 HAS SOUPS 29794 WITH SCORE 29828.179
AT ITER 3222 NEW BEST:: SOT 97165 SOS 34171 HAS SOPS 34171 HAS SOUS 29777 HAS SOUPS 29777 WITH SCORE 29811.171
AT ITER 3274 NEW BEST:: SOT 97147 SOS 34167 HAS SOPS 34167 HAS SOUS 29773 HAS SOUPS 29773 WITH SCORE 29807.167
AT ITER 3303 NEW BEST:: SOT 97143 SOS 34163 HAS SOPS 34163 HAS SOUS 29769 HAS SOUPS 29769 WITH SCORE 29803.163
AT ITER 3324 NEW BEST:: SOT 97135 SOS 34155 HAS SOPS 34155 HAS SOUS 29761 HAS SOUPS 29761 WITH SCORE 29795.155
AT ITER 3365 NEW BEST:: SOT 97119 SOS 34131 HAS SOPS 34131 HAS SOUS 29737 HAS SOUPS 29737 WITH SCORE 29771.131
AT ITER 3379 NEW BEST:: SOT 97084 SOS 34066 HAS SOPS 34066 HAS SOUS 29667 HAS SOUPS 29667 WITH SCORE 29701.066
AT ITER 3395 NEW BEST:: SOT 97073 SOS 34199 HAS SOPS 34199 HAS SOUS 29631 HAS SOUPS 29631 WITH SCORE 29665.199
AT ITER 3399 NEW BEST:: SOT 97073 SOS 34211 HAS SOPS 34211 HAS SOUS 29629 HAS SOUPS 29629 WITH SCORE 29663.211
AT ITER 3401 NEW BEST:: SOT 97046 SOS 34124 HAS SOPS 34124 HAS SOUS 29566 HAS SOUPS 29566 WITH SCORE 29600.124
AT ITER 3430 NEW BEST:: SOT 96996 SOS 34038 HAS SOPS 34038 HAS SOUS 29498 HAS SOUPS 29498 WITH SCORE 29532.038
AT ITER 3440 NEW BEST:: SOT 96990 SOS 34033 HAS SOPS 34033 HAS SOUS 29481 HAS SOUPS 29481 WITH SCORE 29515.033
AT ITER 3466 NEW BEST:: SOT 96975 SOS 34021 HAS SOPS 34021 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29509.021
AT ITER 3490 NEW BEST:: SOT 96975 SOS 34005 HAS SOPS 34005 HAS SOUS 29475 HAS SOUPS 29475 WITH SCORE 29509.005
AT ITER 3593 NEW BEST:: SOT 96943 SOS 33957 HAS SOPS 33957 HAS SOUS 29443 HAS SOUPS 29443 WITH SCORE 29476.957
AT ITER 3595 NEW BEST:: SOT 96905 SOS 33913 HAS SOPS 33913 HAS SOUS 29396 HAS SOUPS 29396 WITH SCORE 29429.913
AT ITER 3603 NEW BEST:: SOT 96903 SOS 33911 HAS SOPS 33911 HAS SOUS 29394 HAS SOUPS 29394 WITH SCORE 29427.911
AT ITER 3606 NEW BEST:: SOT 96919 SOS 33974 HAS SOPS 33974 HAS SOUS 29387 HAS SOUPS 29387 WITH SCORE 29420.974
AT ITER 3615 NEW BEST:: SOT 96919 SOS 33971 HAS SOPS 33971 HAS SOUS 29384 HAS SOUPS 29384 WITH SCORE 29417.971
AT ITER 3617 NEW BEST:: SOT 96910 SOS 33962 HAS SOPS 33962 HAS SOUS 29366 HAS SOUPS 29366 WITH SCORE 29399.962
AT ITER 3637 NEW BEST:: SOT 96870 SOS 33922 HAS SOPS 33922 HAS SOUS 29326 HAS SOUPS 29326 WITH SCORE 29359.922
AT ITER 3646 NEW BEST:: SOT 96870 SOS 33863 HAS SOPS 33863 HAS SOUS 29307 HAS SOUPS 29307 WITH SCORE 29340.863
AT ITER 3653 NEW BEST:: SOT 96834 SOS 33803 HAS SOPS 33803 HAS SOUS 29271 HAS SOUPS 29271 WITH SCORE 29304.803
AT ITER 3702 NEW BEST:: SOT 96794 SOS 33761 HAS SOPS 33761 HAS SOUS 29254 HAS SOUPS 29254 WITH SCORE 29287.761
AT ITER 3737 NEW BEST:: SOT 96717 SOS 33609 HAS SOPS 33609 HAS SOUS 29185 HAS SOUPS 29185 WITH SCORE 29218.609
AT ITER 3750 NEW BEST:: SOT 96672 SOS 33564 HAS SOPS 33564 HAS SOUS 29140 HAS SOUPS 29140 WITH SCORE 29173.564
AT ITER 3781 NEW BEST:: SOT 96632 SOS 33410 HAS SOPS 33410 HAS SOUS 29110 HAS SOUPS 29110 WITH SCORE 29143.41
AT ITER 3785 NEW BEST:: SOT 96632 SOS 33408 HAS SOPS 33408 HAS SOUS 29110 HAS SOUPS 29110 WITH SCORE 29143.408
AT ITER 3798 NEW BEST:: SOT 96618 SOS 33355 HAS SOPS 33355 HAS SOUS 29063 HAS SOUPS 29063 WITH SCORE 29096.355
AT ITER 3810 NEW BEST:: SOT 96618 SOS 33357 HAS SOPS 33357 HAS SOUS 29055 HAS SOUPS 29055 WITH SCORE 29088.357
AT ITER 3814 NEW BEST:: SOT 96618 SOS 33334 HAS SOPS 33334 HAS SOUS 29054 HAS SOUPS 29054 WITH SCORE 29087.334
AT ITER 3850 NEW BEST:: SOT 96603 SOS 33287 HAS SOPS 33287 HAS SOUS 29021 HAS SOUPS 29021 WITH SCORE 29054.287
AT ITER 3877 NEW BEST:: SOT 96563 SOS 33087 HAS SOPS 33087 HAS SOUS 28926 HAS SOUPS 28926 WITH SCORE 28959.087
AT ITER 3886 NEW BEST:: SOT 96553 SOS 33075 HAS SOPS 33075 HAS SOUS 28914 HAS SOUPS 28914 WITH SCORE 28947.075
AT ITER 3941 NEW BEST:: SOT 96504 SOS 33083 HAS SOPS 33083 HAS SOUS 28907 HAS SOUPS 28907 WITH SCORE 28940.083
AT ITER 4026 NEW BEST:: SOT 96502 SOS 33077 HAS SOPS 33077 HAS SOUS 28905 HAS SOUPS 28905 WITH SCORE 28938.077
AT ITER 4039 NEW BEST:: SOT 96497 SOS 33062 HAS SOPS 33062 HAS SOUS 28893 HAS SOUPS 28893 WITH SCORE 28926.062
AT ITER 4205 NEW BEST:: SOT 96497 SOS 33060 HAS SOPS 33060 HAS SOUS 28889 HAS SOUPS 28889 WITH SCORE 28922.06
AT ITER 4206 NEW BEST:: SOT 96488 SOS 33048 HAS SOPS 33048 HAS SOUS 28877 HAS SOUPS 28877 WITH SCORE 28910.048
AT ITER 4208 NEW BEST:: SOT 96442 SOS 32975 HAS SOPS 32975 HAS SOUS 28799 HAS SOUPS 28799 WITH SCORE 28831.975
AT ITER 4227 NEW BEST:: SOT 96407 SOS 32912 HAS SOPS 32912 HAS SOUS 28732 HAS SOUPS 28732 WITH SCORE 28764.912
AT ITER 4233 NEW BEST:: SOT 96391 SOS 32872 HAS SOPS 32872 HAS SOUS 28700 HAS SOUPS 28700 WITH SCORE 28732.872
AT ITER 4236 NEW BEST:: SOT 96389 SOS 32792 HAS SOPS 32792 HAS SOUS 28689 HAS SOUPS 28689 WITH SCORE 28721.792
AT ITER 4264 NEW BEST:: SOT 96372 SOS 32747 HAS SOPS 32747 HAS SOUS 28672 HAS SOUPS 28672 WITH SCORE 28704.747
AT ITER 4290 NEW BEST:: SOT 96346 SOS 32662 HAS SOPS 32662 HAS SOUS 28615 HAS SOUPS 28615 WITH SCORE 28647.662
AT ITER 4305 NEW BEST:: SOT 96300 SOS 32566 HAS SOPS 32566 HAS SOUS 28544 HAS SOUPS 28544 WITH SCORE 28576.566
AT ITER 4307 NEW BEST:: SOT 96286 SOS 32538 HAS SOPS 32538 HAS SOUS 28526 HAS SOUPS 28526 WITH SCORE 28558.538
AT ITER 4325 NEW BEST:: SOT 96288 SOS 32538 HAS SOPS 32538 HAS SOUS 28516 HAS SOUPS 28516 WITH SCORE 28548.538
AT ITER 4348 NEW BEST:: SOT 96252 SOS 32450 HAS SOPS 32450 HAS SOUS 28436 HAS SOUPS 28436 WITH SCORE 28468.45
AT ITER 4370 NEW BEST:: SOT 96252 SOS 32430 HAS SOPS 32430 HAS SOUS 28433 HAS SOUPS 28433 WITH SCORE 28465.43
AT ITER 4373 NEW BEST:: SOT 96250 SOS 32428 HAS SOPS 32428 HAS SOUS 28429 HAS SOUPS 28429 WITH SCORE 28461.428
AT ITER 4399 NEW BEST:: SOT 96257 SOS 32466 HAS SOPS 32466 HAS SOUS 28424 HAS SOUPS 28424 WITH SCORE 28456.466
AT ITER 4409 NEW BEST:: SOT 96247 SOS 32428 HAS SOPS 32428 HAS SOUS 28386 HAS SOUPS 28386 WITH SCORE 28418.428
AT ITER 4410 NEW BEST:: SOT 96243 SOS 32422 HAS SOPS 32422 HAS SOUS 28380 HAS SOUPS 28380 WITH SCORE 28412.422
AT ITER 4427 NEW BEST:: SOT 96243 SOS 32415 HAS SOPS 32415 HAS SOUS 28380 HAS SOUPS 28380 WITH SCORE 28412.415
AT ITER 4449 NEW BEST:: SOT 96240 SOS 32411 HAS SOPS 32411 HAS SOUS 28376 HAS SOUPS 28376 WITH SCORE 28408.411
AT ITER 4455 NEW BEST:: SOT 96130 SOS 32266 HAS SOPS 32266 HAS SOUS 28229 HAS SOUPS 28229 WITH SCORE 28261.266
AT ITER 4467 NEW BEST:: SOT 96111 SOS 32191 HAS SOPS 32191 HAS SOUS 28180 HAS SOUPS 28180 WITH SCORE 28212.191
AT ITER 4485 NEW BEST:: SOT 96104 SOS 32179 HAS SOPS 32179 HAS SOUS 28170 HAS SOUPS 28170 WITH SCORE 28202.179
AT ITER 4528 NEW BEST:: SOT 96102 SOS 32179 HAS SOPS 32179 HAS SOUS 28164 HAS SOUPS 28164 WITH SCORE 28196.179
AT ITER 4533 NEW BEST:: SOT 96062 SOS 32099 HAS SOPS 32099 HAS SOUS 28109 HAS SOUPS 28109 WITH SCORE 28141.099
AT ITER 4573 NEW BEST:: SOT 96062 SOS 32057 HAS SOPS 32057 HAS SOUS 28105 HAS SOUPS 28105 WITH SCORE 28137.057
AT ITER 4577 NEW BEST:: SOT 96058 SOS 31975 HAS SOPS 31975 HAS SOUS 28093 HAS SOUPS 28093 WITH SCORE 28124.975
AT ITER 4588 NEW BEST:: SOT 96050 SOS 31871 HAS SOPS 31871 HAS SOUS 28001 HAS SOUPS 28001 WITH SCORE 28032.871
AT ITER 4599 NEW BEST:: SOT 96046 SOS 31905 HAS SOPS 31905 HAS SOUS 27993 HAS SOUPS 27993 WITH SCORE 28024.905
AT ITER 4655 NEW BEST:: SOT 96025 SOS 31878 HAS SOPS 31878 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 27999.878
AT ITER 4710 NEW BEST:: SOT 95993 SOS 31846 HAS SOPS 31846 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 27999.846
AT ITER 4713 NEW BEST:: SOT 95993 SOS 31833 HAS SOPS 31833 HAS SOUS 27968 HAS SOUPS 27968 WITH SCORE 27999.833
AT ITER 4736 NEW BEST:: SOT 95965 SOS 31777 HAS SOPS 31777 HAS SOUS 27926 HAS SOUPS 27926 WITH SCORE 27957.777
AT ITER 4753 NEW BEST:: SOT 95957 SOS 31746 HAS SOPS 31746 HAS SOUS 27895 HAS SOUPS 27895 WITH SCORE 27926.746
AT ITER 4754 NEW BEST:: SOT 95951 SOS 31734 HAS SOPS 31734 HAS SOUS 27886 HAS SOUPS 27886 WITH SCORE 27917.734
AT ITER 4775 NEW BEST:: SOT 95951 SOS 31734 HAS SOPS 31734 HAS SOUS 27882 HAS SOUPS 27882 WITH SCORE 27913.734
AT ITER 4780 NEW BEST:: SOT 95927 SOS 31702 HAS SOPS 31702 HAS SOUS 27850 HAS SOUPS 27850 WITH SCORE 27881.702
AT ITER 4787 NEW BEST:: SOT 95923 SOS 31698 HAS SOPS 31698 HAS SOUS 27824 HAS SOUPS 27824 WITH SCORE 27855.698
AT ITER 4821 NEW BEST:: SOT 95918 SOS 31693 HAS SOPS 31693 HAS SOUS 27824 HAS SOUPS 27824 WITH SCORE 27855.693
AT ITER 4828 NEW BEST:: SOT 95906 SOS 31677 HAS SOPS 31677 HAS SOUS 27792 HAS SOUPS 27792 WITH SCORE 27823.677
AT ITER 4840 NEW BEST:: SOT 95892 SOS 31657 HAS SOPS 31657 HAS SOUS 27772 HAS SOUPS 27772 WITH SCORE 27803.657
AT ITER 4849 NEW BEST:: SOT 95844 SOS 31561 HAS SOPS 31561 HAS SOUS 27677 HAS SOUPS 27677 WITH SCORE 27708.561
AT ITER 4870 NEW BEST:: SOT 95843 SOS 31560 HAS SOPS 31560 HAS SOUS 27676 HAS SOUPS 27676 WITH SCORE 27707.56
AT ITER 4872 NEW BEST:: SOT 95849 SOS 31550 HAS SOPS 31550 HAS SOUS 27658 HAS SOUPS 27658 WITH SCORE 27689.55
AT ITER 4876 NEW BEST:: SOT 95834 SOS 31515 HAS SOPS 31515 HAS SOUS 27623 HAS SOUPS 27623 WITH SCORE 27654.515
AT ITER 4882 NEW BEST:: SOT 95837 SOS 31529 HAS SOPS 31529 HAS SOUS 27620 HAS SOUPS 27620 WITH SCORE 27651.529
AT ITER 4893 NEW BEST:: SOT 95831 SOS 31523 HAS SOPS 31523 HAS SOUS 27614 HAS SOUPS 27614 WITH SCORE 27645.523
AT ITER 4911 NEW BEST:: SOT 95815 SOS 31491 HAS SOPS 31491 HAS SOUS 27611 HAS SOUPS 27611 WITH SCORE 27642.491
AT ITER 4917 NEW BEST:: SOT 95795 SOS 31451 HAS SOPS 31451 HAS SOUS 27581 HAS SOUPS 27581 WITH SCORE 27612.451
AT ITER 4932 NEW BEST:: SOT 95795 SOS 31450 HAS SOPS 31450 HAS SOUS 27577 HAS SOUPS 27577 WITH SCORE 27608.45
AT ITER 4949 NEW BEST:: SOT 95761 SOS 31418 HAS SOPS 31418 HAS SOUS 27537 HAS SOUPS 27537 WITH SCORE 27568.418
AT ITER 4993 NEW BEST:: SOT 95752 SOS 31457 HAS SOPS 31457 HAS SOUS 27519 HAS SOUPS 27519 WITH SCORE 27550.457
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-050A-CTLFireability-00 (AG( (! ( (! (! ((potential((tk(P117)>=1) & (tk(P118)>=1) & (tk(P121)>=1)))))) | ( ( ((potential((tk(P68)>=1) & (tk(P77)>=1) & (tk(P83)>=1)))) | ((potential((tk(P172)>=1)))) ) & ( ((potential((tk(P304)>=1)))) | ((potential((tk(P76)>=1) & (tk(P85)>=1) & (tk(P91)>=1)))) ) ) ))))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-01 (EF( ( (! ( (! ((potential((tk(P293)>=1) & (tk(P294)>=1) & (tk(P297)>=1))))) & (! ((potential((tk(P129)>=1) & (tk(P131)>=1) & (tk(P136)>=1))))) )) & (AF( ( ((potential((tk(P196)>=1) & (tk(P205)>=1) & (tk(P211)>=1)))) | ((potential((tk(P361)>=1) & (tk(P363)>=1) & (tk(P368)>=1)))) ))) )))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-02 ( (EU( (AF( ((potential((tk(P336)>=1)))))) , ((potential((tk(P197)>=1) & (tk(P198)>=1) & (tk(P201)>=1)))) )) | (AG( ( (! ((potential((tk(P52)>=1))))) | (! ( ((potential((tk(P84)>=1)))) | ((potential((tk(P148)>=1) & (tk(P157)>=1) & (tk(P163)>=1)))) )) ))) )
PROPERTY: ShieldRVt-PT-050A-CTLFireability-03 (EF( ( ( (EX( ((potential((tk(P17)>=1) & (tk(P19)>=1) & (tk(P24)>=1)))))) & ( (! ((potential((tk(P174)>=1))))) & ((potential((tk(P320)>=1)))) ) ) & (! ( ( ((potential((tk(P181)>=1) & (tk(P182)>=1) & (tk(P185)>=1)))) | ((potential((tk(P294)>=1)))) ) | ( ((potential((tk(P212)>=1)))) & ((potential((tk(P396)>=1)))) ) )) )))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-04 (! (EF( (EG( ( ((potential((tk(P296)>=1)))) | ((potential((tk(P164)>=1) & (tk(P173)>=1) & (tk(P179)>=1)))) ))))))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-05 (EF( ( (EF( ( ((potential((tk(P61)>=1) & (tk(P62)>=1) & (tk(P65)>=1)))) | ((potential((tk(P280)>=1)))) ))) | ( ( (! ((potential((tk(P294)>=1))))) | ( ((potential((tk(P252)>=1)))) | ((potential((tk(P266)>=1)))) ) ) & (AX( ((potential((tk(P229)>=1) & (tk(P230)>=1) & (tk(P233)>=1)))))) ) )))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-06 (AG( ( (AF( ( ((potential((tk(P168)>=1)))) | ((potential((tk(P334)>=1)))) ))) | (EX( (! ((potential((tk(P178)>=1))))))) )))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-07 (EU( ( (! (! ((potential((tk(P29)>=1) & (tk(P30)>=1) & (tk(P33)>=1)))))) | (! ((potential((tk(P258)>=1))))) ) , ( (EX( ((potential((tk(P272)>=1)))))) | ((potential((tk(P44)>=1)))) ) ))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-08 ( ( ((potential((tk(P217)>=1) & (tk(P219)>=1) & (tk(P224)>=1)))) | (! ((potential((tk(P305)>=1) & (tk(P307)>=1) & (tk(P312)>=1))))) ) & (EU( (! ( ((potential((tk(P54)>=1)))) | ((potential((tk(P255)>=1) & (tk(P258)>=1)))) )) , ( ( ((potential((tk(P224)>=1)))) | ((potential((tk(P254)>=1)))) ) & ( ((potential((tk(P72)>=1)))) | ((potential((tk(P150)>=1)))) ) ) )) )
PROPERTY: ShieldRVt-PT-050A-CTLFireability-09 ( (! ( ( ( ((potential((tk(P12)>=1) & (tk(P21)>=1) & (tk(P27)>=1)))) & ( ((potential((tk(P125)>=1) & (tk(P126)>=1) & (tk(P129)>=1)))) & ((potential((tk(P160)>=1)))) ) ) | ((potential((tk(P247)>=1) & (tk(P250)>=1)))) ) & ( (AF( ((potential((tk(P326)>=1)))))) | ( ( ((potential((tk(P231)>=1) & (tk(P234)>=1)))) | ((potential((tk(P177)>=1) & (tk(P179)>=1) & (tk(P184)>=1)))) ) | ((potential((tk(P316)>=1) & (tk(P325)>=1) & (tk(P331)>=1)))) ) ) )) & ( ((potential((tk(P308)>=1)))) | (EF( ( ( ((potential((tk(P324)>=1)))) | ((potential((tk(P212)>=1)))) ) | ((potential((tk(P158)>=1)))) ))) ) )
PROPERTY: ShieldRVt-PT-050A-CTLFireability-10 (AU( ( (! ( ((potential((tk(P87)>=1) & (tk(P90)>=1)))) | ((potential((tk(P190)>=1)))) )) & (AG( ((potential((tk(P234)>=1)))))) ) , (EF( ( ((potential((tk(P36)>=1) & (tk(P45)>=1) & (tk(P51)>=1)))) | ((potential((tk(P129)>=1) & (tk(P131)>=1) & (tk(P136)>=1)))) ))) ))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-11 (EF( ( ( (AF( ((potential((tk(P292)>=1) & (tk(P301)>=1) & (tk(P307)>=1)))))) | (AX( ((potential((tk(P210)>=1)))))) ) & ( (AX( ((potential((tk(P86)>=1)))))) & (EX( ((potential((tk(P212)>=1)))))) ) )))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-12 ( (EU( ((potential((tk(P296)>=1)))) , (! ((potential((tk(P112)>=1))))) )) & ( ((potential((tk(P167)>=1) & (tk(P170)>=1)))) | (EF( (AG( ((potential((tk(P252)>=1)))))))) ) )
PROPERTY: ShieldRVt-PT-050A-CTLFireability-13 (EF( ( (EU( ((potential((tk(P42)>=1)))) , ((potential((tk(P152)>=1)))) )) & (AU( ((potential((tk(P333)>=1) & (tk(P334)>=1) & (tk(P337)>=1)))) , ((potential((tk(P40)>=1)))) )) )))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-14 (EF( ((potential((tk(P202)>=1))))))
PROPERTY: ShieldRVt-PT-050A-CTLFireability-15 (EF( ((potential((tk(P309)>=1) & (tk(P310)>=1) & (tk(P313)>=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="ShieldRVt-PT-050A"
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 ShieldRVt-PT-050A, 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 r207-tajo-159033470401068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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