Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500356.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is FlexibleBarrier-PT-16a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500356
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 388K
-rw-r--r-- 1 mcc users 3.3K Apr 4 19:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 4 19:10 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 4 07:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 07:48 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.5K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 3 21:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 3 21:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 3 13:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 3 13:34 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 214K 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 FlexibleBarrier-PT-16a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-16a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589434425072

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 16a
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: 195 places, 724 transitions, 3489 arcs.
AT ITER 0 NEW BEST:: SOT 123777 SOS 105472 HAS SOPS 105472 HAS SOUS 60122 HAS SOUPS 60122 WITH SCORE 60227.472
AT ITER 4 NEW BEST:: SOT 123775 SOS 105021 HAS SOPS 105021 HAS SOUS 58104 HAS SOUPS 58104 WITH SCORE 58209.021
AT ITER 7 NEW BEST:: SOT 123818 SOS 104797 HAS SOPS 104797 HAS SOUS 56394 HAS SOUPS 56394 WITH SCORE 56498.797
AT ITER 10 NEW BEST:: SOT 123826 SOS 104564 HAS SOPS 104564 HAS SOUS 55769 HAS SOUPS 55769 WITH SCORE 55873.564
AT ITER 11 NEW BEST:: SOT 123660 SOS 104469 HAS SOPS 104469 HAS SOUS 55769 HAS SOUPS 55769 WITH SCORE 55873.469
AT ITER 14 NEW BEST:: SOT 123660 SOS 104347 HAS SOPS 104347 HAS SOUS 55708 HAS SOUPS 55708 WITH SCORE 55812.347
AT ITER 15 NEW BEST:: SOT 123789 SOS 103655 HAS SOPS 103655 HAS SOUS 52269 HAS SOUPS 52269 WITH SCORE 52372.655
AT ITER 16 NEW BEST:: SOT 123824 SOS 103671 HAS SOPS 103671 HAS SOUS 52268 HAS SOUPS 52268 WITH SCORE 52371.671
AT ITER 18 NEW BEST:: SOT 123650 SOS 103497 HAS SOPS 103497 HAS SOUS 52144 HAS SOUPS 52144 WITH SCORE 52247.497
AT ITER 19 NEW BEST:: SOT 123650 SOS 103228 HAS SOPS 103228 HAS SOUS 51794 HAS SOUPS 51794 WITH SCORE 51897.228
AT ITER 23 NEW BEST:: SOT 123756 SOS 103194 HAS SOPS 103194 HAS SOUS 51762 HAS SOUPS 51762 WITH SCORE 51865.194
AT ITER 24 NEW BEST:: SOT 123754 SOS 103162 HAS SOPS 103162 HAS SOUS 51740 HAS SOUPS 51740 WITH SCORE 51843.162
AT ITER 26 NEW BEST:: SOT 123322 SOS 102730 HAS SOPS 102730 HAS SOUS 51518 HAS SOUPS 51518 WITH SCORE 51620.73
AT ITER 30 NEW BEST:: SOT 123375 SOS 102771 HAS SOPS 102771 HAS SOUS 51494 HAS SOUPS 51494 WITH SCORE 51596.771
AT ITER 31 NEW BEST:: SOT 123383 SOS 102592 HAS SOPS 102592 HAS SOUS 51307 HAS SOUPS 51307 WITH SCORE 51409.592
AT ITER 32 NEW BEST:: SOT 123422 SOS 102390 HAS SOPS 102390 HAS SOUS 50307 HAS SOUPS 50307 WITH SCORE 50409.39
AT ITER 33 NEW BEST:: SOT 123421 SOS 102489 HAS SOPS 102489 HAS SOUS 50306 HAS SOUPS 50306 WITH SCORE 50408.489
AT ITER 34 NEW BEST:: SOT 123419 SOS 102332 HAS SOPS 102332 HAS SOUS 50277 HAS SOUPS 50277 WITH SCORE 50379.332
AT ITER 36 NEW BEST:: SOT 123482 SOS 100473 HAS SOPS 100473 HAS SOUS 46811 HAS SOUPS 46811 WITH SCORE 46911.473
AT ITER 37 NEW BEST:: SOT 123482 SOS 100037 HAS SOPS 100037 HAS SOUS 45643 HAS SOUPS 45643 WITH SCORE 45743.037
AT ITER 41 NEW BEST:: SOT 123165 SOS 99727 HAS SOPS 99727 HAS SOUS 45561 HAS SOUPS 45561 WITH SCORE 45660.727
AT ITER 44 NEW BEST:: SOT 123314 SOS 99815 HAS SOPS 99815 HAS SOUS 45556 HAS SOUPS 45556 WITH SCORE 45655.815
AT ITER 45 NEW BEST:: SOT 123416 SOS 99825 HAS SOPS 99825 HAS SOUS 45464 HAS SOUPS 45464 WITH SCORE 45563.825
AT ITER 46 NEW BEST:: SOT 123408 SOS 96935 HAS SOPS 96935 HAS SOUS 41810 HAS SOUPS 41810 WITH SCORE 41906.935
AT ITER 47 NEW BEST:: SOT 123149 SOS 96510 HAS SOPS 96510 HAS SOUS 41585 HAS SOUPS 41585 WITH SCORE 41681.51
AT ITER 50 NEW BEST:: SOT 122803 SOS 96164 HAS SOPS 96164 HAS SOUS 41417 HAS SOUPS 41417 WITH SCORE 41513.164
AT ITER 52 NEW BEST:: SOT 122803 SOS 94096 HAS SOPS 94096 HAS SOUS 39725 HAS SOUPS 39725 WITH SCORE 39819.096
AT ITER 55 NEW BEST:: SOT 122863 SOS 94036 HAS SOPS 94036 HAS SOUS 39665 HAS SOUPS 39665 WITH SCORE 39759.036
AT ITER 57 NEW BEST:: SOT 122918 SOS 93975 HAS SOPS 93975 HAS SOUS 39606 HAS SOUPS 39606 WITH SCORE 39699.975
AT ITER 62 NEW BEST:: SOT 122917 SOS 93900 HAS SOPS 93900 HAS SOUS 39606 HAS SOUPS 39606 WITH SCORE 39699.9
AT ITER 64 NEW BEST:: SOT 122914 SOS 93893 HAS SOPS 93893 HAS SOUS 39604 HAS SOUPS 39604 WITH SCORE 39697.893
AT ITER 67 NEW BEST:: SOT 122998 SOS 94061 HAS SOPS 94061 HAS SOUS 39603 HAS SOUPS 39603 WITH SCORE 39697.061
AT ITER 68 NEW BEST:: SOT 122911 SOS 93128 HAS SOPS 93128 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39220.128
AT ITER 69 NEW BEST:: SOT 122748 SOS 92965 HAS SOPS 92965 HAS SOUS 39076 HAS SOUPS 39076 WITH SCORE 39168.965
AT ITER 71 NEW BEST:: SOT 122233 SOS 92468 HAS SOPS 92468 HAS SOUS 38928 HAS SOUPS 38928 WITH SCORE 39020.468
AT ITER 75 NEW BEST:: SOT 122232 SOS 92396 HAS SOPS 92396 HAS SOUS 38843 HAS SOUPS 38843 WITH SCORE 38935.396
AT ITER 76 NEW BEST:: SOT 122226 SOS 92339 HAS SOPS 92339 HAS SOUS 38837 HAS SOUPS 38837 WITH SCORE 38929.339
AT ITER 77 NEW BEST:: SOT 122270 SOS 92295 HAS SOPS 92295 HAS SOUS 38790 HAS SOUPS 38790 WITH SCORE 38882.295
AT ITER 82 NEW BEST:: SOT 122255 SOS 92280 HAS SOPS 92280 HAS SOUS 38775 HAS SOUPS 38775 WITH SCORE 38867.28
AT ITER 84 NEW BEST:: SOT 122193 SOS 91170 HAS SOPS 91170 HAS SOUS 37905 HAS SOUPS 37905 WITH SCORE 37996.17
AT ITER 85 NEW BEST:: SOT 122116 SOS 91240 HAS SOPS 91240 HAS SOUS 37831 HAS SOUPS 37831 WITH SCORE 37922.24
AT ITER 93 NEW BEST:: SOT 122116 SOS 91214 HAS SOPS 91214 HAS SOUS 37829 HAS SOUPS 37829 WITH SCORE 37920.214
AT ITER 97 NEW BEST:: SOT 122099 SOS 91177 HAS SOPS 91177 HAS SOUS 37806 HAS SOUPS 37806 WITH SCORE 37897.177
AT ITER 101 NEW BEST:: SOT 122097 SOS 91173 HAS SOPS 91173 HAS SOUS 37804 HAS SOUPS 37804 WITH SCORE 37895.173
AT ITER 104 NEW BEST:: SOT 122091 SOS 91155 HAS SOPS 91155 HAS SOUS 37798 HAS SOUPS 37798 WITH SCORE 37889.155
AT ITER 107 NEW BEST:: SOT 122062 SOS 91034 HAS SOPS 91034 HAS SOUS 37769 HAS SOUPS 37769 WITH SCORE 37860.034
AT ITER 110 NEW BEST:: SOT 122054 SOS 91018 HAS SOPS 91018 HAS SOUS 37761 HAS SOUPS 37761 WITH SCORE 37852.018
AT ITER 111 NEW BEST:: SOT 121728 SOS 90634 HAS SOPS 90634 HAS SOUS 37512 HAS SOUPS 37512 WITH SCORE 37602.634
AT ITER 112 NEW BEST:: SOT 121728 SOS 90566 HAS SOPS 90566 HAS SOUS 37478 HAS SOUPS 37478 WITH SCORE 37568.566
AT ITER 113 NEW BEST:: SOT 122213 SOS 88602 HAS SOPS 88602 HAS SOUS 36303 HAS SOUPS 36303 WITH SCORE 36391.602
AT ITER 114 NEW BEST:: SOT 122213 SOS 88602 HAS SOPS 88602 HAS SOUS 36296 HAS SOUPS 36296 WITH SCORE 36384.602
AT ITER 116 NEW BEST:: SOT 122210 SOS 88595 HAS SOPS 88595 HAS SOUS 36293 HAS SOUPS 36293 WITH SCORE 36381.595
AT ITER 119 NEW BEST:: SOT 122244 SOS 88469 HAS SOPS 88469 HAS SOUS 36228 HAS SOUPS 36228 WITH SCORE 36316.469
AT ITER 127 NEW BEST:: SOT 122226 SOS 88451 HAS SOPS 88451 HAS SOUS 36201 HAS SOUPS 36201 WITH SCORE 36289.451
AT ITER 128 NEW BEST:: SOT 122199 SOS 88384 HAS SOPS 88384 HAS SOUS 36176 HAS SOUPS 36176 WITH SCORE 36264.384
AT ITER 129 NEW BEST:: SOT 122197 SOS 88342 HAS SOPS 88342 HAS SOUS 36155 HAS SOUPS 36155 WITH SCORE 36243.342
AT ITER 131 NEW BEST:: SOT 122312 SOS 88334 HAS SOPS 88334 HAS SOUS 36146 HAS SOUPS 36146 WITH SCORE 36234.334
AT ITER 136 NEW BEST:: SOT 122342 SOS 86711 HAS SOPS 86711 HAS SOUS 35640 HAS SOUPS 35640 WITH SCORE 35726.711
AT ITER 137 NEW BEST:: SOT 122418 SOS 85752 HAS SOPS 85752 HAS SOUS 35165 HAS SOUPS 35165 WITH SCORE 35250.752
AT ITER 138 NEW BEST:: SOT 122395 SOS 85686 HAS SOPS 85686 HAS SOUS 35104 HAS SOUPS 35104 WITH SCORE 35189.686
AT ITER 143 NEW BEST:: SOT 118341 SOS 82197 HAS SOPS 76660 HAS SOUS 28181 HAS SOUPS 28020 WITH SCORE 28102.197
AT ITER 147 NEW BEST:: SOT 118326 SOS 81437 HAS SOPS 75900 HAS SOUS 28111 HAS SOUPS 27950 WITH SCORE 28031.437
AT ITER 148 NEW BEST:: SOT 118310 SOS 77657 HAS SOPS 72191 HAS SOUS 27351 HAS SOUPS 27190 WITH SCORE 27267.657
AT ITER 149 NEW BEST:: SOT 117826 SOS 77173 HAS SOPS 71707 HAS SOUS 27253 HAS SOUPS 27092 WITH SCORE 27169.173
AT ITER 153 NEW BEST:: SOT 117182 SOS 76529 HAS SOPS 71063 HAS SOUS 26938 HAS SOUPS 26777 WITH SCORE 26853.529
AT ITER 155 NEW BEST:: SOT 117138 SOS 71524 HAS SOPS 66156 HAS SOUS 25502 HAS SOUPS 25341 WITH SCORE 25412.524
AT ITER 156 NEW BEST:: SOT 117133 SOS 71525 HAS SOPS 66146 HAS SOUS 25463 HAS SOUPS 25302 WITH SCORE 25373.525
AT ITER 157 NEW BEST:: SOT 117125 SOS 71568 HAS SOPS 66130 HAS SOUS 25396 HAS SOUPS 25235 WITH SCORE 25306.568
AT ITER 159 NEW BEST:: SOT 117110 SOS 71523 HAS SOPS 66085 HAS SOUS 25366 HAS SOUPS 25205 WITH SCORE 25276.523
AT ITER 165 NEW BEST:: SOT 117019 SOS 71387 HAS SOPS 65903 HAS SOUS 25276 HAS SOUPS 25115 WITH SCORE 25186.387
AT ITER 167 NEW BEST:: SOT 116989 SOS 71327 HAS SOPS 65843 HAS SOUS 25184 HAS SOUPS 25023 WITH SCORE 25094.327
AT ITER 169 NEW BEST:: SOT 116784 SOS 71117 HAS SOPS 65633 HAS SOUS 25074 HAS SOUPS 24913 WITH SCORE 24984.117
AT ITER 174 NEW BEST:: SOT 116758 SOS 71044 HAS SOPS 65498 HAS SOUS 25005 HAS SOUPS 24844 WITH SCORE 24915.044
AT ITER 176 NEW BEST:: SOT 116800 SOS 70776 HAS SOPS 65230 HAS SOUS 24625 HAS SOUPS 24464 WITH SCORE 24534.776
AT ITER 177 NEW BEST:: SOT 116754 SOS 70719 HAS SOPS 65173 HAS SOUS 24570 HAS SOUPS 24409 WITH SCORE 24479.719
AT ITER 181 NEW BEST:: SOT 116622 SOS 70527 HAS SOPS 64909 HAS SOUS 24381 HAS SOUPS 24220 WITH SCORE 24290.527
AT ITER 186 NEW BEST:: SOT 116597 SOS 70495 HAS SOPS 64859 HAS SOUS 24349 HAS SOUPS 24188 WITH SCORE 24258.495
AT ITER 188 NEW BEST:: SOT 116662 SOS 70608 HAS SOPS 64905 HAS SOUS 24319 HAS SOUPS 24158 WITH SCORE 24228.608
AT ITER 189 NEW BEST:: SOT 116662 SOS 70618 HAS SOPS 64910 HAS SOUS 24314 HAS SOUPS 24153 WITH SCORE 24223.618
AT ITER 190 NEW BEST:: SOT 116638 SOS 70697 HAS SOPS 64944 HAS SOUS 24245 HAS SOUPS 24084 WITH SCORE 24154.697
AT ITER 192 NEW BEST:: SOT 116634 SOS 70689 HAS SOPS 64934 HAS SOUS 24239 HAS SOUPS 24078 WITH SCORE 24148.689
AT ITER 194 NEW BEST:: SOT 116632 SOS 70686 HAS SOPS 64929 HAS SOUS 24236 HAS SOUPS 24073 WITH SCORE 24143.686
AT ITER 204 NEW BEST:: SOT 116375 SOS 70423 HAS SOPS 64653 HAS SOUS 24168 HAS SOUPS 24005 WITH SCORE 24075.423
AT ITER 205 NEW BEST:: SOT 116340 SOS 70353 HAS SOPS 64548 HAS SOUS 24063 HAS SOUPS 23900 WITH SCORE 23970.353
AT ITER 209 NEW BEST:: SOT 116329 SOS 70293 HAS SOPS 64488 HAS SOUS 24052 HAS SOUPS 23889 WITH SCORE 23959.293
AT ITER 211 NEW BEST:: SOT 116329 SOS 70291 HAS SOPS 64486 HAS SOUS 24050 HAS SOUPS 23887 WITH SCORE 23957.291
AT ITER 213 NEW BEST:: SOT 116336 SOS 70262 HAS SOPS 64464 HAS SOUS 24047 HAS SOUPS 23884 WITH SCORE 23954.262
AT ITER 216 NEW BEST:: SOT 116354 SOS 70204 HAS SOPS 64328 HAS SOUS 23911 HAS SOUPS 23748 WITH SCORE 23818.204
AT ITER 229 NEW BEST:: SOT 116351 SOS 70201 HAS SOPS 64322 HAS SOUS 23882 HAS SOUPS 23719 WITH SCORE 23789.201
AT ITER 230 NEW BEST:: SOT 116314 SOS 70090 HAS SOPS 64211 HAS SOUS 23882 HAS SOUPS 23719 WITH SCORE 23789.09
AT ITER 235 NEW BEST:: SOT 116314 SOS 70020 HAS SOPS 64106 HAS SOUS 23812 HAS SOUPS 23649 WITH SCORE 23719.02
AT ITER 236 NEW BEST:: SOT 111354 SOS 65684 HAS SOPS 59146 HAS SOUS 21359 HAS SOUPS 21164 WITH SCORE 21229.684
AT ITER 237 NEW BEST:: SOT 111403 SOS 65578 HAS SOPS 59049 HAS SOUS 21318 HAS SOUPS 21123 WITH SCORE 21188.578
AT ITER 242 NEW BEST:: SOT 111400 SOS 65563 HAS SOPS 59034 HAS SOUS 21309 HAS SOUPS 21114 WITH SCORE 21179.563
AT ITER 244 NEW BEST:: SOT 111392 SOS 65546 HAS SOPS 59014 HAS SOUS 21294 HAS SOUPS 21099 WITH SCORE 21164.546
AT ITER 250 NEW BEST:: SOT 111401 SOS 65501 HAS SOPS 58848 HAS SOUS 21100 HAS SOUPS 20905 WITH SCORE 20970.501
AT ITER 257 NEW BEST:: SOT 111394 SOS 65494 HAS SOPS 58841 HAS SOUS 21098 HAS SOUPS 20903 WITH SCORE 20968.494
AT ITER 259 NEW BEST:: SOT 111406 SOS 65503 HAS SOPS 58765 HAS SOUS 21020 HAS SOUPS 20825 WITH SCORE 20890.503
AT ITER 269 NEW BEST:: SOT 111321 SOS 65442 HAS SOPS 58680 HAS SOUS 20955 HAS SOUPS 20760 WITH SCORE 20825.442
AT ITER 275 NEW BEST:: SOT 111319 SOS 65411 HAS SOPS 58662 HAS SOUS 20952 HAS SOUPS 20757 WITH SCORE 20822.411
AT ITER 281 NEW BEST:: SOT 111300 SOS 65411 HAS SOPS 58643 HAS SOUS 20934 HAS SOUPS 20738 WITH SCORE 20803.411
AT ITER 282 NEW BEST:: SOT 111307 SOS 65365 HAS SOPS 58627 HAS SOUS 20934 HAS SOUPS 20738 WITH SCORE 20803.365
AT ITER 284 NEW BEST:: SOT 111307 SOS 65355 HAS SOPS 58622 HAS SOUS 20934 HAS SOUPS 20738 WITH SCORE 20803.355
AT ITER 286 NEW BEST:: SOT 111288 SOS 65317 HAS SOPS 58416 HAS SOUS 20391 HAS SOUPS 20195 WITH SCORE 20260.317
AT ITER 288 NEW BEST:: SOT 111182 SOS 60474 HAS SOPS 53693 HAS SOUS 19101 HAS SOUPS 18905 WITH SCORE 18965.474
AT ITER 290 NEW BEST:: SOT 111156 SOS 60422 HAS SOPS 53641 HAS SOUS 19039 HAS SOUPS 18843 WITH SCORE 18903.422
AT ITER 303 NEW BEST:: SOT 111154 SOS 60418 HAS SOPS 53636 HAS SOUS 19034 HAS SOUPS 18838 WITH SCORE 18898.418
AT ITER 305 NEW BEST:: SOT 111141 SOS 60392 HAS SOPS 53610 HAS SOUS 19034 HAS SOUPS 18838 WITH SCORE 18898.392
AT ITER 309 NEW BEST:: SOT 111136 SOS 60377 HAS SOPS 53595 HAS SOUS 19029 HAS SOUPS 18833 WITH SCORE 18893.377
AT ITER 310 NEW BEST:: SOT 111179 SOS 59362 HAS SOPS 52611 HAS SOUS 18708 HAS SOUPS 18512 WITH SCORE 18571.362
AT ITER 311 NEW BEST:: SOT 111179 SOS 59326 HAS SOPS 52593 HAS SOUS 18708 HAS SOUPS 18512 WITH SCORE 18571.326
AT ITER 316 NEW BEST:: SOT 110940 SOS 59087 HAS SOPS 52318 HAS SOUS 18649 HAS SOUPS 18453 WITH SCORE 18512.087
AT ITER 321 NEW BEST:: SOT 110930 SOS 59193 HAS SOPS 52413 HAS SOUS 18637 HAS SOUPS 18441 WITH SCORE 18500.193
AT ITER 322 NEW BEST:: SOT 110922 SOS 59175 HAS SOPS 52339 HAS SOUS 18565 HAS SOUPS 18367 WITH SCORE 18426.175
AT ITER 328 NEW BEST:: SOT 110929 SOS 59158 HAS SOPS 52322 HAS SOUS 18455 HAS SOUPS 18257 WITH SCORE 18316.158
AT ITER 352 NEW BEST:: SOT 110922 SOS 59117 HAS SOPS 52263 HAS SOUS 18433 HAS SOUPS 18235 WITH SCORE 18294.117
AT ITER 356 NEW BEST:: SOT 110892 SOS 57315 HAS SOPS 50465 HAS SOUS 18299 HAS SOUPS 18101 WITH SCORE 18158.315
AT ITER 357 NEW BEST:: SOT 110877 SOS 57275 HAS SOPS 50435 HAS SOUS 18265 HAS SOUPS 18067 WITH SCORE 18124.275
AT ITER 360 NEW BEST:: SOT 110888 SOS 56140 HAS SOPS 49316 HAS SOUS 18257 HAS SOUPS 18059 WITH SCORE 18115.14
AT ITER 364 NEW BEST:: SOT 110845 SOS 55769 HAS SOPS 49066 HAS SOUS 18171 HAS SOUPS 17973 WITH SCORE 18028.769
AT ITER 365 NEW BEST:: SOT 110846 SOS 55706 HAS SOPS 49031 HAS SOUS 18154 HAS SOUPS 17956 WITH SCORE 18011.706
AT ITER 373 NEW BEST:: SOT 110837 SOS 55697 HAS SOPS 49013 HAS SOUS 18133 HAS SOUPS 17935 WITH SCORE 17990.697
AT ITER 383 NEW BEST:: SOT 110835 SOS 55693 HAS SOPS 49009 HAS SOUS 18125 HAS SOUPS 17927 WITH SCORE 17982.693
AT ITER 384 NEW BEST:: SOT 110797 SOS 55617 HAS SOPS 48933 HAS SOUS 18113 HAS SOUPS 17915 WITH SCORE 17970.617
AT ITER 385 NEW BEST:: SOT 106667 SOS 81730 HAS SOPS 44680 HAS SOUS 16450 HAS SOUPS 16134 WITH SCORE 16215.73
AT ITER 390 NEW BEST:: SOT 106238 SOS 81307 HAS SOPS 44477 HAS SOUS 16191 HAS SOUPS 15875 WITH SCORE 15956.307
AT ITER 394 NEW BEST:: SOT 106240 SOS 81261 HAS SOPS 44406 HAS SOUS 16143 HAS SOUPS 15827 WITH SCORE 15908.261
AT ITER 397 NEW BEST:: SOT 106240 SOS 81279 HAS SOPS 44406 HAS SOUS 16125 HAS SOUPS 15809 WITH SCORE 15890.279
AT ITER 405 NEW BEST:: SOT 106125 SOS 81207 HAS SOPS 44239 HAS SOUS 15958 HAS SOUPS 15642 WITH SCORE 15723.207
AT ITER 411 NEW BEST:: SOT 106112 SOS 81219 HAS SOPS 44213 HAS SOUS 15902 HAS SOUPS 15578 WITH SCORE 15659.219
AT ITER 412 NEW BEST:: SOT 106097 SOS 81170 HAS SOPS 44166 HAS SOUS 15889 HAS SOUPS 15565 WITH SCORE 15646.17
AT ITER 416 NEW BEST:: SOT 106094 SOS 81167 HAS SOPS 44163 HAS SOUS 15886 HAS SOUPS 15562 WITH SCORE 15643.167
AT ITER 430 NEW BEST:: SOT 106093 SOS 81165 HAS SOPS 44161 HAS SOUS 15879 HAS SOUPS 15555 WITH SCORE 15636.165
AT ITER 436 NEW BEST:: SOT 106096 SOS 81167 HAS SOPS 43967 HAS SOUS 15861 HAS SOUPS 15537 WITH SCORE 15618.167
AT ITER 437 NEW BEST:: SOT 106154 SOS 81186 HAS SOPS 43986 HAS SOUS 15853 HAS SOUPS 15529 WITH SCORE 15610.186
AT ITER 439 NEW BEST:: SOT 106146 SOS 81099 HAS SOPS 43870 HAS SOUS 15716 HAS SOUPS 15392 WITH SCORE 15473.099
AT ITER 443 NEW BEST:: SOT 106549 SOS 81501 HAS SOPS 43906 HAS SOUS 15164 HAS SOUPS 14834 WITH SCORE 14915.501
AT ITER 446 NEW BEST:: SOT 106580 SOS 81564 HAS SOPS 43968 HAS SOUS 15158 HAS SOUPS 14828 WITH SCORE 14909.564
AT ITER 448 NEW BEST:: SOT 106576 SOS 81526 HAS SOPS 43934 HAS SOUS 15131 HAS SOUPS 14801 WITH SCORE 14882.526
AT ITER 457 NEW BEST:: SOT 106572 SOS 81523 HAS SOPS 43926 HAS SOUS 15113 HAS SOUPS 14783 WITH SCORE 14864.523
AT ITER 461 NEW BEST:: SOT 106583 SOS 81514 HAS SOPS 43915 HAS SOUS 15089 HAS SOUPS 14759 WITH SCORE 14840.514
AT ITER 464 NEW BEST:: SOT 106558 SOS 81489 HAS SOPS 43890 HAS SOUS 15064 HAS SOUPS 14734 WITH SCORE 14815.489
AT ITER 465 NEW BEST:: SOT 106547 SOS 81456 HAS SOPS 43756 HAS SOUS 14911 HAS SOUPS 14581 WITH SCORE 14662.456
AT ITER 474 NEW BEST:: SOT 106476 SOS 81458 HAS SOPS 43688 HAS SOUS 14843 HAS SOUPS 14513 WITH SCORE 14594.458
AT ITER 481 NEW BEST:: SOT 106392 SOS 81374 HAS SOPS 43520 HAS SOUS 14675 HAS SOUPS 14345 WITH SCORE 14426.374
AT ITER 482 NEW BEST:: SOT 106392 SOS 81372 HAS SOPS 43518 HAS SOUS 14671 HAS SOUPS 14341 WITH SCORE 14422.372
AT ITER 489 NEW BEST:: SOT 106352 SOS 81231 HAS SOPS 43332 HAS SOUS 14617 HAS SOUPS 14287 WITH SCORE 14368.231
AT ITER 510 NEW BEST:: SOT 106352 SOS 81222 HAS SOPS 43332 HAS SOUS 14617 HAS SOUPS 14287 WITH SCORE 14368.222
AT ITER 511 NEW BEST:: SOT 105454 SOS 80370 HAS SOPS 42751 HAS SOUS 14427 HAS SOUPS 14097 WITH SCORE 14177.37
AT ITER 531 NEW BEST:: SOT 105372 SOS 80286 HAS SOPS 42647 HAS SOUS 14346 HAS SOUPS 14016 WITH SCORE 14096.286
AT ITER 545 NEW BEST:: SOT 105367 SOS 80262 HAS SOPS 42618 HAS SOUS 14317 HAS SOUPS 13987 WITH SCORE 14067.262
AT ITER 548 NEW BEST:: SOT 105827 SOS 80706 HAS SOPS 42786 HAS SOUS 14150 HAS SOUPS 13820 WITH SCORE 13900.706
AT ITER 552 NEW BEST:: SOT 105821 SOS 80678 HAS SOPS 42758 HAS SOUS 14134 HAS SOUPS 13804 WITH SCORE 13884.678
AT ITER 555 NEW BEST:: SOT 105787 SOS 80596 HAS SOPS 42642 HAS SOUS 13990 HAS SOUPS 13660 WITH SCORE 13740.596
AT ITER 571 NEW BEST:: SOT 105755 SOS 80588 HAS SOPS 42634 HAS SOUS 13967 HAS SOUPS 13637 WITH SCORE 13717.588
AT ITER 574 NEW BEST:: SOT 105710 SOS 80532 HAS SOPS 42578 HAS SOUS 13913 HAS SOUPS 13583 WITH SCORE 13663.532
AT ITER 581 NEW BEST:: SOT 105711 SOS 80533 HAS SOPS 42576 HAS SOUS 13907 HAS SOUPS 13577 WITH SCORE 13657.533
AT ITER 583 NEW BEST:: SOT 105597 SOS 80419 HAS SOPS 42554 HAS SOUS 13885 HAS SOUPS 13555 WITH SCORE 13635.419
AT ITER 590 NEW BEST:: SOT 105564 SOS 80364 HAS SOPS 42488 HAS SOUS 13819 HAS SOUPS 13489 WITH SCORE 13569.364
AT ITER 602 NEW BEST:: SOT 105540 SOS 80362 HAS SOPS 42486 HAS SOUS 13817 HAS SOUPS 13487 WITH SCORE 13567.362
AT ITER 615 NEW BEST:: SOT 105499 SOS 80394 HAS SOPS 42461 HAS SOUS 13791 HAS SOUPS 13461 WITH SCORE 13541.394
AT ITER 616 NEW BEST:: SOT 105484 SOS 80370 HAS SOPS 42431 HAS SOUS 13772 HAS SOUPS 13442 WITH SCORE 13522.37
AT ITER 634 NEW BEST:: SOT 105484 SOS 80365 HAS SOPS 42426 HAS SOUS 13772 HAS SOUPS 13442 WITH SCORE 13522.365
AT ITER 638 NEW BEST:: SOT 105483 SOS 80362 HAS SOPS 42423 HAS SOUS 13769 HAS SOUPS 13439 WITH SCORE 13519.362
AT ITER 640 NEW BEST:: SOT 105450 SOS 80310 HAS SOPS 42357 HAS SOUS 13735 HAS SOUPS 13405 WITH SCORE 13485.31
AT ITER 643 NEW BEST:: SOT 105442 SOS 80298 HAS SOPS 42341 HAS SOUS 13719 HAS SOUPS 13389 WITH SCORE 13469.298
AT ITER 648 NEW BEST:: SOT 105377 SOS 80080 HAS SOPS 42035 HAS SOUS 13478 HAS SOUPS 13148 WITH SCORE 13228.08
AT ITER 650 NEW BEST:: SOT 105350 SOS 80053 HAS SOPS 41981 HAS SOUS 13426 HAS SOUPS 13096 WITH SCORE 13176.053
AT ITER 658 NEW BEST:: SOT 105344 SOS 80047 HAS SOPS 41969 HAS SOUS 13414 HAS SOUPS 13084 WITH SCORE 13164.047
AT ITER 663 NEW BEST:: SOT 105338 SOS 80032 HAS SOPS 41954 HAS SOUS 13402 HAS SOUPS 13072 WITH SCORE 13152.032
AT ITER 664 NEW BEST:: SOT 105332 SOS 80026 HAS SOPS 41942 HAS SOUS 13390 HAS SOUPS 13060 WITH SCORE 13140.026
AT ITER 665 NEW BEST:: SOT 105327 SOS 80021 HAS SOPS 41932 HAS SOUS 13380 HAS SOUPS 13050 WITH SCORE 13130.021
AT ITER 668 NEW BEST:: SOT 105299 SOS 79951 HAS SOPS 41848 HAS SOUS 13321 HAS SOUPS 12991 WITH SCORE 13070.951
AT ITER 670 NEW BEST:: SOT 105289 SOS 79935 HAS SOPS 41828 HAS SOUS 13301 HAS SOUPS 12971 WITH SCORE 13050.935
AT ITER 680 NEW BEST:: SOT 105289 SOS 79935 HAS SOPS 41823 HAS SOUS 13296 HAS SOUPS 12966 WITH SCORE 13045.935
AT ITER 689 NEW BEST:: SOT 105289 SOS 79908 HAS SOPS 41796 HAS SOUS 13278 HAS SOUPS 12948 WITH SCORE 13027.908
AT ITER 695 NEW BEST:: SOT 105222 SOS 79841 HAS SOPS 41699 HAS SOUS 13204 HAS SOUPS 12874 WITH SCORE 12953.841
AT ITER 703 NEW BEST:: SOT 104703 SOS 79382 HAS SOPS 41382 HAS SOUS 13182 HAS SOUPS 12852 WITH SCORE 12931.382
AT ITER 722 NEW BEST:: SOT 104702 SOS 79384 HAS SOPS 41382 HAS SOUS 13181 HAS SOUPS 12851 WITH SCORE 12930.384
AT ITER 728 NEW BEST:: SOT 104630 SOS 79314 HAS SOPS 41310 HAS SOUS 13147 HAS SOUPS 12817 WITH SCORE 12896.314
AT ITER 736 NEW BEST:: SOT 104513 SOS 79197 HAS SOPS 41188 HAS SOUS 13081 HAS SOUPS 12751 WITH SCORE 12830.197
AT ITER 746 NEW BEST:: SOT 104503 SOS 79180 HAS SOPS 41168 HAS SOUS 13058 HAS SOUPS 12728 WITH SCORE 12807.18
AT ITER 747 NEW BEST:: SOT 104504 SOS 79175 HAS SOPS 41163 HAS SOUS 13052 HAS SOUPS 12722 WITH SCORE 12801.175
AT ITER 754 NEW BEST:: SOT 104496 SOS 79114 HAS SOPS 41102 HAS SOUS 13006 HAS SOUPS 12676 WITH SCORE 12755.114
AT ITER 768 NEW BEST:: SOT 104474 SOS 79051 HAS SOPS 41038 HAS SOUS 12962 HAS SOUPS 12632 WITH SCORE 12711.051
AT ITER 770 NEW BEST:: SOT 104473 SOS 79057 HAS SOPS 41036 HAS SOUS 12946 HAS SOUPS 12616 WITH SCORE 12695.057
AT ITER 783 NEW BEST:: SOT 104513 SOS 79042 HAS SOPS 41019 HAS SOUS 12931 HAS SOUPS 12601 WITH SCORE 12680.042
AT ITER 785 NEW BEST:: SOT 104581 SOS 79096 HAS SOPS 40841 HAS SOUS 12742 HAS SOUPS 12412 WITH SCORE 12491.096
AT ITER 790 NEW BEST:: SOT 104571 SOS 79092 HAS SOPS 40832 HAS SOUS 12738 HAS SOUPS 12408 WITH SCORE 12487.092
AT ITER 796 NEW BEST:: SOT 104574 SOS 79091 HAS SOPS 40831 HAS SOUS 12737 HAS SOUPS 12407 WITH SCORE 12486.091
AT ITER 806 NEW BEST:: SOT 104518 SOS 79035 HAS SOPS 40775 HAS SOUS 12708 HAS SOUPS 12378 WITH SCORE 12457.035
AT ITER 813 NEW BEST:: SOT 104430 SOS 79052 HAS SOPS 40745 HAS SOUS 12675 HAS SOUPS 12345 WITH SCORE 12424.052
AT ITER 826 NEW BEST:: SOT 103908 SOS 78532 HAS SOPS 40244 HAS SOUS 12451 HAS SOUPS 12108 WITH SCORE 12186.532
AT ITER 829 NEW BEST:: SOT 103900 SOS 78524 HAS SOPS 40236 HAS SOUS 12447 HAS SOUPS 12104 WITH SCORE 12182.524
AT ITER 836 NEW BEST:: SOT 103898 SOS 78521 HAS SOPS 40232 HAS SOUS 12442 HAS SOUPS 12099 WITH SCORE 12177.521
AT ITER 838 NEW BEST:: SOT 103895 SOS 78515 HAS SOPS 40218 HAS SOUS 12380 HAS SOUPS 12035 WITH SCORE 12113.515
AT ITER 848 NEW BEST:: SOT 103880 SOS 78492 HAS SOPS 40188 HAS SOUS 12350 HAS SOUPS 12005 WITH SCORE 12083.492
AT ITER 851 NEW BEST:: SOT 103881 SOS 78499 HAS SOPS 40190 HAS SOUS 12340 HAS SOUPS 11995 WITH SCORE 12073.499
AT ITER 853 NEW BEST:: SOT 103879 SOS 78496 HAS SOPS 40187 HAS SOUS 12337 HAS SOUPS 11992 WITH SCORE 12070.496
AT ITER 857 NEW BEST:: SOT 103865 SOS 78481 HAS SOPS 40159 HAS SOUS 12328 HAS SOUPS 11983 WITH SCORE 12061.481
AT ITER 873 NEW BEST:: SOT 103777 SOS 78408 HAS SOPS 40128 HAS SOUS 12312 HAS SOUPS 11967 WITH SCORE 12045.408
AT ITER 876 NEW BEST:: SOT 103768 SOS 78399 HAS SOPS 40119 HAS SOUS 12303 HAS SOUPS 11958 WITH SCORE 12036.399
AT ITER 881 NEW BEST:: SOT 103759 SOS 78390 HAS SOPS 40101 HAS SOUS 12285 HAS SOUPS 11940 WITH SCORE 12018.39
AT ITER 883 NEW BEST:: SOT 103745 SOS 78376 HAS SOPS 40073 HAS SOUS 12279 HAS SOUPS 11934 WITH SCORE 12012.376
AT ITER 884 NEW BEST:: SOT 103766 SOS 78429 HAS SOPS 40115 HAS SOUS 12246 HAS SOUPS 11901 WITH SCORE 11979.429
AT ITER 902 NEW BEST:: SOT 103753 SOS 78423 HAS SOPS 40089 HAS SOUS 12226 HAS SOUPS 11881 WITH SCORE 11959.423
AT ITER 905 NEW BEST:: SOT 103753 SOS 78423 HAS SOPS 40089 HAS SOUS 12204 HAS SOUPS 11859 WITH SCORE 11937.423
AT ITER 915 NEW BEST:: SOT 103719 SOS 78389 HAS SOPS 40021 HAS SOUS 12160 HAS SOUPS 11815 WITH SCORE 11893.389
AT ITER 925 NEW BEST:: SOT 103689 SOS 78417 HAS SOPS 40005 HAS SOUS 12090 HAS SOUPS 11745 WITH SCORE 11823.417
AT ITER 926 NEW BEST:: SOT 103648 SOS 78337 HAS SOPS 39923 HAS SOUS 12036 HAS SOUPS 11691 WITH SCORE 11769.337
AT ITER 927 NEW BEST:: SOT 103602 SOS 78291 HAS SOPS 39910 HAS SOUS 12023 HAS SOUPS 11678 WITH SCORE 11756.291
AT ITER 933 NEW BEST:: SOT 103594 SOS 78283 HAS SOPS 39894 HAS SOUS 12007 HAS SOUPS 11662 WITH SCORE 11740.283
AT ITER 940 NEW BEST:: SOT 103582 SOS 78247 HAS SOPS 39858 HAS SOUS 11983 HAS SOUPS 11638 WITH SCORE 11716.247
AT ITER 961 NEW BEST:: SOT 103599 SOS 78150 HAS SOPS 39820 HAS SOUS 11943 HAS SOUPS 11598 WITH SCORE 11676.15
AT ITER 971 NEW BEST:: SOT 103581 SOS 78132 HAS SOPS 39784 HAS SOUS 11888 HAS SOUPS 11543 WITH SCORE 11621.132
AT ITER 972 NEW BEST:: SOT 103577 SOS 78120 HAS SOPS 39768 HAS SOUS 11864 HAS SOUPS 11519 WITH SCORE 11597.12
AT ITER 981 NEW BEST:: SOT 103572 SOS 78112 HAS SOPS 39758 HAS SOUS 11857 HAS SOUPS 11512 WITH SCORE 11590.112
AT ITER 988 NEW BEST:: SOT 103563 SOS 78103 HAS SOPS 39749 HAS SOUS 11848 HAS SOUPS 11503 WITH SCORE 11581.103
AT ITER 992 NEW BEST:: SOT 103529 SOS 77981 HAS SOPS 39628 HAS SOUS 11762 HAS SOUPS 11417 WITH SCORE 11494.981
AT ITER 997 NEW BEST:: SOT 103531 SOS 77981 HAS SOPS 39622 HAS SOUS 11706 HAS SOUPS 11361 WITH SCORE 11438.981
AT ITER 1012 NEW BEST:: SOT 103511 SOS 77961 HAS SOPS 39582 HAS SOUS 11666 HAS SOUPS 11321 WITH SCORE 11398.961
AT ITER 1037 NEW BEST:: SOT 103331 SOS 77790 HAS SOPS 39420 HAS SOUS 11603 HAS SOUPS 11258 WITH SCORE 11335.79
AT ITER 1038 NEW BEST:: SOT 103329 SOS 77766 HAS SOPS 39337 HAS SOUS 11521 HAS SOUPS 11176 WITH SCORE 11253.766
AT ITER 1047 NEW BEST:: SOT 103314 SOS 77739 HAS SOPS 39307 HAS SOUS 11491 HAS SOUPS 11146 WITH SCORE 11223.739
AT ITER 1067 NEW BEST:: SOT 103387 SOS 77646 HAS SOPS 39287 HAS SOUS 11467 HAS SOUPS 11126 WITH SCORE 11203.646
AT ITER 1095 NEW BEST:: SOT 103355 SOS 77630 HAS SOPS 39239 HAS SOUS 11419 HAS SOUPS 11078 WITH SCORE 11155.63
AT ITER 1104 NEW BEST:: SOT 103376 SOS 77606 HAS SOPS 39185 HAS SOUS 11313 HAS SOUPS 10972 WITH SCORE 11049.606
AT ITER 1138 NEW BEST:: SOT 103373 SOS 77603 HAS SOPS 39179 HAS SOUS 11307 HAS SOUPS 10966 WITH SCORE 11043.603
AT ITER 1140 NEW BEST:: SOT 103384 SOS 77605 HAS SOPS 38714 HAS SOUS 11280 HAS SOUPS 10939 WITH SCORE 11016.605
AT ITER 1157 NEW BEST:: SOT 103361 SOS 77568 HAS SOPS 38668 HAS SOUS 11234 HAS SOUPS 10893 WITH SCORE 10970.568
AT ITER 1164 NEW BEST:: SOT 103357 SOS 77560 HAS SOPS 38660 HAS SOUS 11234 HAS SOUPS 10893 WITH SCORE 10970.56
AT ITER 1168 NEW BEST:: SOT 103355 SOS 77541 HAS SOPS 38641 HAS SOUS 11232 HAS SOUPS 10891 WITH SCORE 10968.541
AT ITER 1172 NEW BEST:: SOT 103348 SOS 77527 HAS SOPS 38627 HAS SOUS 11232 HAS SOUPS 10891 WITH SCORE 10968.527
AT ITER 1174 NEW BEST:: SOT 103335 SOS 77514 HAS SOPS 38614 HAS SOUS 11219 HAS SOUPS 10878 WITH SCORE 10955.514
AT ITER 1187 NEW BEST:: SOT 103334 SOS 77532 HAS SOPS 38631 HAS SOUS 11217 HAS SOUPS 10876 WITH SCORE 10953.532
AT ITER 1192 NEW BEST:: SOT 103337 SOS 77517 HAS SOPS 38625 HAS SOUS 11211 HAS SOUPS 10870 WITH SCORE 10947.517
AT ITER 1217 NEW BEST:: SOT 103324 SOS 77506 HAS SOPS 38614 HAS SOUS 11200 HAS SOUPS 10859 WITH SCORE 10936.506
AT ITER 1224 NEW BEST:: SOT 103308 SOS 77507 HAS SOPS 38613 HAS SOUS 11199 HAS SOUPS 10858 WITH SCORE 10935.507
AT ITER 1225 NEW BEST:: SOT 103294 SOS 77467 HAS SOPS 38585 HAS SOUS 11189 HAS SOUPS 10848 WITH SCORE 10925.467
AT ITER 1239 NEW BEST:: SOT 103263 SOS 77320 HAS SOPS 38427 HAS SOUS 11065 HAS SOUPS 10724 WITH SCORE 10801.32
AT ITER 1264 NEW BEST:: SOT 103251 SOS 77308 HAS SOPS 38403 HAS SOUS 11041 HAS SOUPS 10700 WITH SCORE 10777.308
AT ITER 1307 NEW BEST:: SOT 103273 SOS 77308 HAS SOPS 38341 HAS SOUS 10967 HAS SOUPS 10626 WITH SCORE 10703.308
AT ITER 1320 NEW BEST:: SOT 103265 SOS 77296 HAS SOPS 38325 HAS SOUS 10955 HAS SOUPS 10614 WITH SCORE 10691.296
AT ITER 1327 NEW BEST:: SOT 103257 SOS 77284 HAS SOPS 38309 HAS SOUS 10946 HAS SOUPS 10605 WITH SCORE 10682.284
AT ITER 1330 NEW BEST:: SOT 103233 SOS 77287 HAS SOPS 38261 HAS SOUS 10906 HAS SOUPS 10565 WITH SCORE 10642.287
AT ITER 1340 NEW BEST:: SOT 103245 SOS 77297 HAS SOPS 38285 HAS SOUS 10890 HAS SOUPS 10549 WITH SCORE 10626.297
AT ITER 1352 NEW BEST:: SOT 103239 SOS 77288 HAS SOPS 38273 HAS SOUS 10878 HAS SOUPS 10537 WITH SCORE 10614.288
AT ITER 1353 NEW BEST:: SOT 103237 SOS 77286 HAS SOPS 38269 HAS SOUS 10864 HAS SOUPS 10523 WITH SCORE 10600.286
AT ITER 1365 NEW BEST:: SOT 103237 SOS 77285 HAS SOPS 38268 HAS SOUS 10863 HAS SOUPS 10522 WITH SCORE 10599.285
AT ITER 1382 NEW BEST:: SOT 103179 SOS 77227 HAS SOPS 38152 HAS SOUS 10747 HAS SOUPS 10406 WITH SCORE 10483.227
AT ITER 1395 NEW BEST:: SOT 103179 SOS 77227 HAS SOPS 38142 HAS SOUS 10737 HAS SOUPS 10396 WITH SCORE 10473.227
AT ITER 1404 NEW BEST:: SOT 103151 SOS 77171 HAS SOPS 38072 HAS SOUS 10681 HAS SOUPS 10340 WITH SCORE 10417.171
AT ITER 1414 NEW BEST:: SOT 103149 SOS 77169 HAS SOPS 38068 HAS SOUS 10679 HAS SOUPS 10338 WITH SCORE 10415.169
AT ITER 1426 NEW BEST:: SOT 103140 SOS 77160 HAS SOPS 38050 HAS SOUS 10661 HAS SOUPS 10320 WITH SCORE 10397.16
AT ITER 1430 NEW BEST:: SOT 103137 SOS 77154 HAS SOPS 38044 HAS SOUS 10655 HAS SOUPS 10314 WITH SCORE 10391.154
AT ITER 1440 NEW BEST:: SOT 103138 SOS 77156 HAS SOPS 38046 HAS SOUS 10654 HAS SOUPS 10313 WITH SCORE 10390.156
AT ITER 1443 NEW BEST:: SOT 103133 SOS 77151 HAS SOPS 38036 HAS SOUS 10644 HAS SOUPS 10303 WITH SCORE 10380.151
AT ITER 1444 NEW BEST:: SOT 103111 SOS 77153 HAS SOPS 37992 HAS SOUS 10600 HAS SOUPS 10259 WITH SCORE 10336.153
AT ITER 1451 NEW BEST:: SOT 103111 SOS 77143 HAS SOPS 37982 HAS SOUS 10590 HAS SOUPS 10249 WITH SCORE 10326.143
AT ITER 1473 NEW BEST:: SOT 103074 SOS 77095 HAS SOPS 37942 HAS SOUS 10550 HAS SOUPS 10209 WITH SCORE 10286.095
AT ITER 1496 NEW BEST:: SOT 103053 SOS 77087 HAS SOPS 37913 HAS SOUS 10534 HAS SOUPS 10193 WITH SCORE 10270.087
AT ITER 1499 NEW BEST:: SOT 102957 SOS 76880 HAS SOPS 37721 HAS SOUS 10323 HAS SOUPS 9982 WITH SCORE 10058.88
AT ITER 1521 NEW BEST:: SOT 102949 SOS 76873 HAS SOPS 37710 HAS SOUS 10311 HAS SOUPS 9970 WITH SCORE 10046.873
AT ITER 1543 NEW BEST:: SOT 102963 SOS 76828 HAS SOPS 37670 HAS SOUS 10264 HAS SOUPS 9933 WITH SCORE 10009.828
AT ITER 1565 NEW BEST:: SOT 102950 SOS 76814 HAS SOPS 37644 HAS SOUS 10239 HAS SOUPS 9908 WITH SCORE 9984.814
AT ITER 1570 NEW BEST:: SOT 102943 SOS 76800 HAS SOPS 37630 HAS SOUS 10232 HAS SOUPS 9901 WITH SCORE 9977.8
AT ITER 1575 NEW BEST:: SOT 102944 SOS 76783 HAS SOPS 37620 HAS SOUS 10228 HAS SOUPS 9897 WITH SCORE 9973.783
AT ITER 1582 NEW BEST:: SOT 102892 SOS 76716 HAS SOPS 37516 HAS SOUS 10167 HAS SOUPS 9836 WITH SCORE 9912.716
AT ITER 1591 NEW BEST:: SOT 102896 SOS 76720 HAS SOPS 37511 HAS SOUS 10162 HAS SOUPS 9831 WITH SCORE 9907.72
AT ITER 1595 NEW BEST:: SOT 102903 SOS 76711 HAS SOPS 37510 HAS SOUS 10162 HAS SOUPS 9831 WITH SCORE 9907.711
AT ITER 1600 NEW BEST:: SOT 102897 SOS 76702 HAS SOPS 37498 HAS SOUS 10156 HAS SOUPS 9825 WITH SCORE 9901.702
AT ITER 1602 NEW BEST:: SOT 102922 SOS 76726 HAS SOPS 37521 HAS SOUS 10150 HAS SOUPS 9819 WITH SCORE 9895.726
AT ITER 1603 NEW BEST:: SOT 102916 SOS 76729 HAS SOPS 37519 HAS SOUS 10141 HAS SOUPS 9810 WITH SCORE 9886.729
AT ITER 1624 NEW BEST:: SOT 102886 SOS 76699 HAS SOPS 37489 HAS SOUS 10111 HAS SOUPS 9780 WITH SCORE 9856.699
AT ITER 1648 NEW BEST:: SOT 102845 SOS 76647 HAS SOPS 37432 HAS SOUS 10077 HAS SOUPS 9746 WITH SCORE 9822.647
AT ITER 1684 NEW BEST:: SOT 102813 SOS 76583 HAS SOPS 37368 HAS SOUS 10038 HAS SOUPS 9707 WITH SCORE 9783.583
AT ITER 1687 NEW BEST:: SOT 102813 SOS 76580 HAS SOPS 37368 HAS SOUS 10038 HAS SOUPS 9707 WITH SCORE 9783.58
AT ITER 1688 NEW BEST:: SOT 102813 SOS 76579 HAS SOPS 37368 HAS SOUS 10037 HAS SOUPS 9706 WITH SCORE 9782.579
AT ITER 1692 NEW BEST:: SOT 102822 SOS 76574 HAS SOPS 37363 HAS SOUS 10023 HAS SOUPS 9692 WITH SCORE 9768.574
AT ITER 1701 NEW BEST:: SOT 102813 SOS 76550 HAS SOPS 37332 HAS SOUS 9994 HAS SOUPS 9663 WITH SCORE 9739.55
AT ITER 1715 NEW BEST:: SOT 102799 SOS 76494 HAS SOPS 37276 HAS SOUS 9952 HAS SOUPS 9621 WITH SCORE 9697.494
AT ITER 1728 NEW BEST:: SOT 102799 SOS 76482 HAS SOPS 37268 HAS SOUS 9948 HAS SOUPS 9617 WITH SCORE 9693.482
AT ITER 1775 NEW BEST:: SOT 102405 SOS 76106 HAS SOPS 36983 HAS SOUS 9945 HAS SOUPS 9602 WITH SCORE 9678.106
AT ITER 1796 NEW BEST:: SOT 102258 SOS 75952 HAS SOPS 36822 HAS SOUS 9861 HAS SOUPS 9518 WITH SCORE 9593.952
AT ITER 1803 NEW BEST:: SOT 102229 SOS 75923 HAS SOPS 36774 HAS SOUS 9813 HAS SOUPS 9470 WITH SCORE 9545.923
AT ITER 1819 NEW BEST:: SOT 102228 SOS 75923 HAS SOPS 36773 HAS SOUS 9812 HAS SOUPS 9469 WITH SCORE 9544.923
AT ITER 1821 NEW BEST:: SOT 102222 SOS 75917 HAS SOPS 36767 HAS SOUS 9806 HAS SOUPS 9463 WITH SCORE 9538.917
AT ITER 1823 NEW BEST:: SOT 102218 SOS 75905 HAS SOPS 36755 HAS SOUS 9794 HAS SOUPS 9451 WITH SCORE 9526.905
AT ITER 1829 NEW BEST:: SOT 102211 SOS 75902 HAS SOPS 36745 HAS SOUS 9784 HAS SOUPS 9441 WITH SCORE 9516.902
AT ITER 1867 NEW BEST:: SOT 102221 SOS 75907 HAS SOPS 36510 HAS SOUS 9769 HAS SOUPS 9426 WITH SCORE 9501.907
AT ITER 1897 NEW BEST:: SOT 102196 SOS 75870 HAS SOPS 36460 HAS SOUS 9737 HAS SOUPS 9394 WITH SCORE 9469.87
AT ITER 1905 NEW BEST:: SOT 102170 SOS 75827 HAS SOPS 36408 HAS SOUS 9686 HAS SOUPS 9343 WITH SCORE 9418.827
AT ITER 1911 NEW BEST:: SOT 102162 SOS 75773 HAS SOPS 36364 HAS SOUS 9650 HAS SOUPS 9307 WITH SCORE 9382.773
AT ITER 1920 NEW BEST:: SOT 102162 SOS 75776 HAS SOPS 36364 HAS SOUS 9646 HAS SOUPS 9303 WITH SCORE 9378.776
AT ITER 1922 NEW BEST:: SOT 102162 SOS 75772 HAS SOPS 36360 HAS SOUS 9642 HAS SOUPS 9299 WITH SCORE 9374.772
AT ITER 1924 NEW BEST:: SOT 102142 SOS 75752 HAS SOPS 36324 HAS SOUS 9606 HAS SOUPS 9263 WITH SCORE 9338.752
AT ITER 1927 NEW BEST:: SOT 102134 SOS 75744 HAS SOPS 36316 HAS SOUS 9606 HAS SOUPS 9263 WITH SCORE 9338.744
AT ITER 1932 NEW BEST:: SOT 102145 SOS 75747 HAS SOPS 36316 HAS SOUS 9592 HAS SOUPS 9249 WITH SCORE 9324.747
AT ITER 1937 NEW BEST:: SOT 102135 SOS 75718 HAS SOPS 36278 HAS SOUS 9555 HAS SOUPS 9212 WITH SCORE 9287.718
AT ITER 1940 NEW BEST:: SOT 102122 SOS 75663 HAS SOPS 36231 HAS SOUS 9529 HAS SOUPS 9186 WITH SCORE 9261.663
AT ITER 1944 NEW BEST:: SOT 102126 SOS 75664 HAS SOPS 36232 HAS SOUS 9526 HAS SOUPS 9183 WITH SCORE 9258.664
AT ITER 1962 NEW BEST:: SOT 102123 SOS 75658 HAS SOPS 36226 HAS SOUS 9524 HAS SOUPS 9181 WITH SCORE 9256.658
AT ITER 1979 NEW BEST:: SOT 102123 SOS 75640 HAS SOPS 36208 HAS SOUS 9506 HAS SOUPS 9163 WITH SCORE 9238.64
AT ITER 2009 NEW BEST:: SOT 102103 SOS 75555 HAS SOPS 36168 HAS SOUS 9466 HAS SOUPS 9123 WITH SCORE 9198.555
AT ITER 2024 NEW BEST:: SOT 102103 SOS 75503 HAS SOPS 36142 HAS SOUS 9466 HAS SOUPS 9123 WITH SCORE 9198.503
AT ITER 2038 NEW BEST:: SOT 102097 SOS 75497 HAS SOPS 36136 HAS SOUS 9460 HAS SOUPS 9117 WITH SCORE 9192.497
AT ITER 2071 NEW BEST:: SOT 102095 SOS 75494 HAS SOPS 36132 HAS SOUS 9456 HAS SOUPS 9113 WITH SCORE 9188.494
AT ITER 2086 NEW BEST:: SOT 102096 SOS 75491 HAS SOPS 36130 HAS SOUS 9454 HAS SOUPS 9111 WITH SCORE 9186.491
AT ITER 2108 NEW BEST:: SOT 102111 SOS 87865 HAS SOPS 36091 HAS SOUS 9455 HAS SOUPS 9086 WITH SCORE 9173.865
AT ITER 2124 NEW BEST:: SOT 102110 SOS 87862 HAS SOPS 36086 HAS SOUS 9449 HAS SOUPS 9080 WITH SCORE 9167.862
AT ITER 2134 NEW BEST:: SOT 102101 SOS 87862 HAS SOPS 36068 HAS SOUS 9437 HAS SOUPS 9068 WITH SCORE 9155.862
AT ITER 2141 NEW BEST:: SOT 102100 SOS 87860 HAS SOPS 36020 HAS SOUS 9427 HAS SOUPS 9058 WITH SCORE 9145.86
AT ITER 2149 NEW BEST:: SOT 102094 SOS 87854 HAS SOPS 36008 HAS SOUS 9415 HAS SOUPS 9046 WITH SCORE 9133.854
AT ITER 2169 NEW BEST:: SOT 102087 SOS 87847 HAS SOPS 35994 HAS SOUS 9408 HAS SOUPS 9039 WITH SCORE 9126.847
AT ITER 2170 NEW BEST:: SOT 102089 SOS 87844 HAS SOPS 35998 HAS SOUS 9408 HAS SOUPS 9039 WITH SCORE 9126.844
AT ITER 2192 NEW BEST:: SOT 102086 SOS 87838 HAS SOPS 35992 HAS SOUS 9405 HAS SOUPS 9036 WITH SCORE 9123.838
AT ITER 2225 NEW BEST:: SOT 102079 SOS 87824 HAS SOPS 35978 HAS SOUS 9396 HAS SOUPS 9027 WITH SCORE 9114.824
AT ITER 2238 NEW BEST:: SOT 102079 SOS 87824 HAS SOPS 35973 HAS SOUS 9386 HAS SOUPS 9017 WITH SCORE 9104.824
AT ITER 2260 NEW BEST:: SOT 102087 SOS 87815 HAS SOPS 35989 HAS SOUS 9375 HAS SOUPS 9006 WITH SCORE 9093.815
AT ITER 2277 NEW BEST:: SOT 102238 SOS 87852 HAS SOPS 35944 HAS SOUS 9326 HAS SOUPS 8957 WITH SCORE 9044.852
AT ITER 2282 NEW BEST:: SOT 102238 SOS 87840 HAS SOPS 35944 HAS SOUS 9326 HAS SOUPS 8957 WITH SCORE 9044.84
AT ITER 2297 NEW BEST:: SOT 102247 SOS 87854 HAS SOPS 35796 HAS SOUS 9322 HAS SOUPS 8953 WITH SCORE 9040.854
AT ITER 2306 NEW BEST:: SOT 102245 SOS 87864 HAS SOPS 35792 HAS SOUS 9318 HAS SOUPS 8949 WITH SCORE 9036.864
AT ITER 2323 NEW BEST:: SOT 102243 SOS 87862 HAS SOPS 35790 HAS SOUS 9318 HAS SOUPS 8949 WITH SCORE 9036.862
AT ITER 2356 NEW BEST:: SOT 102251 SOS 87859 HAS SOPS 35787 HAS SOUS 9315 HAS SOUPS 8946 WITH SCORE 9033.859
AT ITER 2374 NEW BEST:: SOT 102249 SOS 87856 HAS SOPS 35783 HAS SOUS 9311 HAS SOUPS 8942 WITH SCORE 9029.856
AT ITER 2383 NEW BEST:: SOT 102231 SOS 87820 HAS SOPS 35747 HAS SOUS 9284 HAS SOUPS 8915 WITH SCORE 9002.82
AT ITER 2391 NEW BEST:: SOT 102207 SOS 87784 HAS SOPS 35549 HAS SOUS 9140 HAS SOUPS 8771 WITH SCORE 8858.784
AT ITER 2405 NEW BEST:: SOT 102205 SOS 87780 HAS SOPS 35544 HAS SOUS 9136 HAS SOUPS 8767 WITH SCORE 8854.78
AT ITER 2408 NEW BEST:: SOT 102208 SOS 87780 HAS SOPS 35530 HAS SOUS 9113 HAS SOUPS 8744 WITH SCORE 8831.78
AT ITER 2442 NEW BEST:: SOT 102209 SOS 87779 HAS SOPS 35530 HAS SOUS 9113 HAS SOUPS 8744 WITH SCORE 8831.779
AT ITER 2443 NEW BEST:: SOT 102206 SOS 87779 HAS SOPS 35527 HAS SOUS 9110 HAS SOUPS 8741 WITH SCORE 8828.779
AT ITER 2466 NEW BEST:: SOT 102205 SOS 87756 HAS SOPS 35514 HAS SOUS 9108 HAS SOUPS 8739 WITH SCORE 8826.756
AT ITER 2501 NEW BEST:: SOT 102199 SOS 87724 HAS SOPS 35479 HAS SOUS 9082 HAS SOUPS 8713 WITH SCORE 8800.724
AT ITER 2510 NEW BEST:: SOT 102193 SOS 87719 HAS SOPS 35467 HAS SOUS 9077 HAS SOUPS 8708 WITH SCORE 8795.719
AT ITER 2514 NEW BEST:: SOT 102193 SOS 87719 HAS SOPS 35453 HAS SOUS 9063 HAS SOUPS 8694 WITH SCORE 8781.719
AT ITER 2520 NEW BEST:: SOT 102193 SOS 87712 HAS SOPS 35446 HAS SOUS 9056 HAS SOUPS 8687 WITH SCORE 8774.712
AT ITER 2533 NEW BEST:: SOT 102193 SOS 87711 HAS SOPS 35446 HAS SOUS 9056 HAS SOUPS 8687 WITH SCORE 8774.711
AT ITER 2554 NEW BEST:: SOT 102175 SOS 87687 HAS SOPS 35416 HAS SOUS 9026 HAS SOUPS 8657 WITH SCORE 8744.687
AT ITER 2565 NEW BEST:: SOT 102169 SOS 87678 HAS SOPS 35404 HAS SOUS 9020 HAS SOUPS 8651 WITH SCORE 8738.678
AT ITER 2580 NEW BEST:: SOT 102251 SOS 87758 HAS SOPS 35389 HAS SOUS 8887 HAS SOUPS 8518 WITH SCORE 8605.758
AT ITER 2583 NEW BEST:: SOT 102249 SOS 87754 HAS SOPS 35385 HAS SOUS 8884 HAS SOUPS 8515 WITH SCORE 8602.754
AT ITER 2677 NEW BEST:: SOT 102245 SOS 87746 HAS SOPS 35360 HAS SOUS 8859 HAS SOUPS 8490 WITH SCORE 8577.746
AT ITER 2696 NEW BEST:: SOT 102243 SOS 87741 HAS SOPS 35354 HAS SOUS 8855 HAS SOUPS 8486 WITH SCORE 8573.741
AT ITER 2726 NEW BEST:: SOT 102239 SOS 87733 HAS SOPS 35350 HAS SOUS 8851 HAS SOUPS 8482 WITH SCORE 8569.733
AT ITER 2809 NEW BEST:: SOT 102242 SOS 87739 HAS SOPS 35356 HAS SOUS 8846 HAS SOUPS 8477 WITH SCORE 8564.739
AT ITER 2818 NEW BEST:: SOT 102236 SOS 87743 HAS SOPS 35344 HAS SOUS 8838 HAS SOUPS 8469 WITH SCORE 8556.743
AT ITER 2895 NEW BEST:: SOT 102227 SOS 87734 HAS SOPS 35330 HAS SOUS 8825 HAS SOUPS 8456 WITH SCORE 8543.734
AT ITER 2903 NEW BEST:: SOT 102226 SOS 87733 HAS SOPS 35329 HAS SOUS 8825 HAS SOUPS 8456 WITH SCORE 8543.733
AT ITER 2959 NEW BEST:: SOT 102226 SOS 87731 HAS SOPS 35325 HAS SOUS 8819 HAS SOUPS 8450 WITH SCORE 8537.731
AT ITER 2962 NEW BEST:: SOT 102225 SOS 87729 HAS SOPS 35323 HAS SOUS 8818 HAS SOUPS 8449 WITH SCORE 8536.729
AT ITER 2985 NEW BEST:: SOT 102216 SOS 87718 HAS SOPS 35305 HAS SOUS 8800 HAS SOUPS 8431 WITH SCORE 8518.718
AT ITER 2996 NEW BEST:: SOT 102215 SOS 87714 HAS SOPS 35301 HAS SOUS 8797 HAS SOUPS 8428 WITH SCORE 8515.714
AT ITER 3020 NEW BEST:: SOT 102214 SOS 87675 HAS SOPS 35257 HAS SOUS 8756 HAS SOUPS 8387 WITH SCORE 8474.675
AT ITER 3045 NEW BEST:: SOT 102211 SOS 87673 HAS SOPS 35251 HAS SOUS 8753 HAS SOUPS 8384 WITH SCORE 8471.673
AT ITER 3049 NEW BEST:: SOT 102209 SOS 87673 HAS SOPS 35247 HAS SOUS 8748 HAS SOUPS 8379 WITH SCORE 8466.673
AT ITER 3097 NEW BEST:: SOT 102193 SOS 87657 HAS SOPS 35229 HAS SOUS 8732 HAS SOUPS 8363 WITH SCORE 8450.657
AT ITER 3101 NEW BEST:: SOT 102189 SOS 87653 HAS SOPS 35225 HAS SOUS 8732 HAS SOUPS 8363 WITH SCORE 8450.653
AT ITER 3137 NEW BEST:: SOT 102181 SOS 87611 HAS SOPS 35175 HAS SOUS 8682 HAS SOUPS 8313 WITH SCORE 8400.611
AT ITER 3151 NEW BEST:: SOT 102181 SOS 87609 HAS SOPS 35174 HAS SOUS 8682 HAS SOUPS 8313 WITH SCORE 8400.609
AT ITER 3154 NEW BEST:: SOT 102179 SOS 87609 HAS SOPS 35170 HAS SOUS 8678 HAS SOUPS 8309 WITH SCORE 8396.609
AT ITER 3182 NEW BEST:: SOT 102189 SOS 87578 HAS SOPS 35161 HAS SOUS 8678 HAS SOUPS 8309 WITH SCORE 8396.578
AT ITER 3224 NEW BEST:: SOT 102170 SOS 87560 HAS SOPS 35143 HAS SOUS 8670 HAS SOUPS 8301 WITH SCORE 8388.56
AT ITER 3249 NEW BEST:: SOT 102129 SOS 87540 HAS SOPS 35105 HAS SOUS 8640 HAS SOUPS 8263 WITH SCORE 8350.54
AT ITER 3300 NEW BEST:: SOT 102112 SOS 87486 HAS SOPS 35033 HAS SOUS 8569 HAS SOUPS 8191 WITH SCORE 8278.486
AT ITER 3372 NEW BEST:: SOT 102134 SOS 87429 HAS SOPS 34957 HAS SOUS 8512 HAS SOUPS 8134 WITH SCORE 8221.429
AT ITER 3404 NEW BEST:: SOT 102125 SOS 87420 HAS SOPS 34948 HAS SOUS 8503 HAS SOUPS 8125 WITH SCORE 8212.42
AT ITER 3416 NEW BEST:: SOT 102122 SOS 87410 HAS SOPS 34942 HAS SOUS 8495 HAS SOUPS 8117 WITH SCORE 8204.41
AT ITER 3426 NEW BEST:: SOT 102119 SOS 87406 HAS SOPS 34938 HAS SOUS 8492 HAS SOUPS 8114 WITH SCORE 8201.406
AT ITER 3486 NEW BEST:: SOT 102116 SOS 87397 HAS SOPS 34926 HAS SOUS 8483 HAS SOUPS 8105 WITH SCORE 8192.397
AT ITER 3490 NEW BEST:: SOT 102150 SOS 87444 HAS SOPS 34947 HAS SOUS 8473 HAS SOUPS 8095 WITH SCORE 8182.444
AT ITER 3513 NEW BEST:: SOT 102150 SOS 87443 HAS SOPS 34946 HAS SOUS 8472 HAS SOUPS 8094 WITH SCORE 8181.443
AT ITER 3583 NEW BEST:: SOT 102133 SOS 87409 HAS SOPS 34912 HAS SOUS 8455 HAS SOUPS 8077 WITH SCORE 8164.409
AT ITER 3586 NEW BEST:: SOT 102133 SOS 87408 HAS SOPS 34911 HAS SOUS 8454 HAS SOUPS 8076 WITH SCORE 8163.408
AT ITER 3633 NEW BEST:: SOT 102132 SOS 87400 HAS SOPS 34909 HAS SOUS 8452 HAS SOUPS 8074 WITH SCORE 8161.4
AT ITER 3636 NEW BEST:: SOT 102130 SOS 87398 HAS SOPS 34815 HAS SOUS 8436 HAS SOUPS 8058 WITH SCORE 8145.398
AT ITER 3705 NEW BEST:: SOT 102106 SOS 87368 HAS SOPS 34799 HAS SOUS 8409 HAS SOUPS 8031 WITH SCORE 8118.368
AT ITER 3710 NEW BEST:: SOT 102104 SOS 87365 HAS SOPS 34795 HAS SOUS 8405 HAS SOUPS 8027 WITH SCORE 8114.365
AT ITER 3735 NEW BEST:: SOT 102102 SOS 87360 HAS SOPS 34791 HAS SOUS 8401 HAS SOUPS 8023 WITH SCORE 8110.36
AT ITER 3741 NEW BEST:: SOT 102072 SOS 87310 HAS SOPS 34731 HAS SOUS 8352 HAS SOUPS 7974 WITH SCORE 8061.31
AT ITER 3769 NEW BEST:: SOT 102063 SOS 87285 HAS SOPS 34713 HAS SOUS 8336 HAS SOUPS 7958 WITH SCORE 8045.285
AT ITER 3777 NEW BEST:: SOT 102056 SOS 87290 HAS SOPS 34709 HAS SOUS 8330 HAS SOUPS 7952 WITH SCORE 8039.29
AT ITER 3807 NEW BEST:: SOT 102053 SOS 87290 HAS SOPS 34706 HAS SOUS 8327 HAS SOUPS 7949 WITH SCORE 8036.29
AT ITER 3823 NEW BEST:: SOT 102055 SOS 87294 HAS SOPS 34710 HAS SOUS 8325 HAS SOUPS 7947 WITH SCORE 8034.294
AT ITER 3831 NEW BEST:: SOT 102047 SOS 87285 HAS SOPS 34694 HAS SOUS 8309 HAS SOUPS 7931 WITH SCORE 8018.285
AT ITER 3845 NEW BEST:: SOT 102004 SOS 87243 HAS SOPS 34651 HAS SOUS 8287 HAS SOUPS 7909 WITH SCORE 7996.243
AT ITER 3870 NEW BEST:: SOT 102000 SOS 87239 HAS SOPS 34647 HAS SOUS 8283 HAS SOUPS 7905 WITH SCORE 7992.239
AT ITER 3884 NEW BEST:: SOT 101989 SOS 87243 HAS SOPS 34637 HAS SOUS 8270 HAS SOUPS 7892 WITH SCORE 7979.243
AT ITER 3886 NEW BEST:: SOT 101976 SOS 87222 HAS SOPS 34619 HAS SOUS 8252 HAS SOUPS 7874 WITH SCORE 7961.222
AT ITER 3936 NEW BEST:: SOT 101929 SOS 87217 HAS SOPS 34590 HAS SOUS 8219 HAS SOUPS 7841 WITH SCORE 7928.217
AT ITER 3947 NEW BEST:: SOT 101926 SOS 87184 HAS SOPS 34569 HAS SOUS 8213 HAS SOUPS 7835 WITH SCORE 7922.184
AT ITER 3964 NEW BEST:: SOT 101963 SOS 87216 HAS SOPS 34529 HAS SOUS 8183 HAS SOUPS 7805 WITH SCORE 7892.216
AT ITER 3975 NEW BEST:: SOT 101963 SOS 87215 HAS SOPS 34527 HAS SOUS 8182 HAS SOUPS 7804 WITH SCORE 7891.215
AT ITER 3979 NEW BEST:: SOT 101947 SOS 87191 HAS SOPS 34495 HAS SOUS 8150 HAS SOUPS 7772 WITH SCORE 7859.191
AT ITER 4136 NEW BEST:: SOT 101943 SOS 87187 HAS SOPS 34491 HAS SOUS 8146 HAS SOUPS 7768 WITH SCORE 7855.187
AT ITER 4163 NEW BEST:: SOT 101919 SOS 87163 HAS SOPS 34460 HAS SOUS 8110 HAS SOUPS 7732 WITH SCORE 7819.163
AT ITER 4223 NEW BEST:: SOT 101919 SOS 87143 HAS SOPS 34450 HAS SOUS 8110 HAS SOUPS 7732 WITH SCORE 7819.143
AT ITER 4224 NEW BEST:: SOT 101918 SOS 87141 HAS SOPS 34448 HAS SOUS 8109 HAS SOUPS 7731 WITH SCORE 7818.141
AT ITER 4260 NEW BEST:: SOT 101918 SOS 87138 HAS SOPS 34445 HAS SOUS 8106 HAS SOUPS 7728 WITH SCORE 7815.138
AT ITER 4323 NEW BEST:: SOT 101921 SOS 87141 HAS SOPS 34439 HAS SOUS 8100 HAS SOUPS 7722 WITH SCORE 7809.141
AT ITER 4349 NEW BEST:: SOT 101924 SOS 87152 HAS SOPS 34445 HAS SOUS 8093 HAS SOUPS 7715 WITH SCORE 7802.152
AT ITER 4355 NEW BEST:: SOT 101916 SOS 87144 HAS SOPS 34444 HAS SOUS 8092 HAS SOUPS 7714 WITH SCORE 7801.144
AT ITER 4391 NEW BEST:: SOT 101916 SOS 87137 HAS SOPS 34444 HAS SOUS 8092 HAS SOUPS 7714 WITH SCORE 7801.137
AT ITER 4415 NEW BEST:: SOT 101910 SOS 87125 HAS SOPS 34432 HAS SOUS 8080 HAS SOUPS 7702 WITH SCORE 7789.125
AT ITER 4452 NEW BEST:: SOT 101916 SOS 87131 HAS SOPS 34426 HAS SOUS 8074 HAS SOUPS 7696 WITH SCORE 7783.131
AT ITER 4458 NEW BEST:: SOT 101908 SOS 87131 HAS SOPS 34418 HAS SOUS 8066 HAS SOUPS 7688 WITH SCORE 7775.131
AT ITER 4550 NEW BEST:: SOT 101894 SOS 87124 HAS SOPS 34397 HAS SOUS 8052 HAS SOUPS 7674 WITH SCORE 7761.124
AT ITER 4637 NEW BEST:: SOT 101885 SOS 87097 HAS SOPS 34379 HAS SOUS 8051 HAS SOUPS 7673 WITH SCORE 7760.097
AT ITER 4643 NEW BEST:: SOT 101885 SOS 87095 HAS SOPS 34379 HAS SOUS 8051 HAS SOUPS 7673 WITH SCORE 7760.095
AT ITER 4713 NEW BEST:: SOT 101883 SOS 87091 HAS SOPS 34375 HAS SOUS 8047 HAS SOUPS 7669 WITH SCORE 7756.091
AT ITER 4723 NEW BEST:: SOT 101891 SOS 87107 HAS SOPS 34368 HAS SOUS 8041 HAS SOUPS 7663 WITH SCORE 7750.107
AT ITER 4735 NEW BEST:: SOT 101891 SOS 87094 HAS SOPS 34361 HAS SOUS 8039 HAS SOUPS 7661 WITH SCORE 7748.094
AT ITER 4738 NEW BEST:: SOT 101887 SOS 87090 HAS SOPS 34355 HAS SOUS 8037 HAS SOUPS 7657 WITH SCORE 7744.09
AT ITER 4747 NEW BEST:: SOT 101887 SOS 87088 HAS SOPS 34353 HAS SOUS 8035 HAS SOUPS 7655 WITH SCORE 7742.088
AT ITER 4750 NEW BEST:: SOT 101886 SOS 87080 HAS SOPS 34335 HAS SOUS 8025 HAS SOUPS 7645 WITH SCORE 7732.08
AT ITER 4758 NEW BEST:: SOT 101855 SOS 87052 HAS SOPS 34290 HAS SOUS 7994 HAS SOUPS 7614 WITH SCORE 7701.052
AT ITER 4819 NEW BEST:: SOT 101850 SOS 87041 HAS SOPS 34280 HAS SOUS 7984 HAS SOUPS 7604 WITH SCORE 7691.041
AT ITER 4838 NEW BEST:: SOT 101579 SOS 86770 HAS SOPS 34017 HAS SOUS 7908 HAS SOUPS 7528 WITH SCORE 7614.77
AT ITER 4911 NEW BEST:: SOT 101575 SOS 86774 HAS SOPS 34009 HAS SOUS 7904 HAS SOUPS 7524 WITH SCORE 7610.774
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-00 (! (EF( (EU( ((potential((tk(P60)>=1) & (tk(P73)>=1) & (tk(P194)>=1)))) , ((potential((tk(P67)>=1) & (tk(P194)>=1)))) )))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-01 ( (! ( (! (AF( ((potential((tk(P157)>=1) & (tk(P180)>=1) & (tk(P194)>=1))))))) & ((potential((tk(P185)>=1) & (tk(P195)>=1)))) )) & ( ((potential((tk(P25)>=1) & (tk(P96)>=1) & (tk(P194)>=1)))) | (! (! (EF( ((potential((tk(P174)>=1) & (tk(P195)>=1)))))))) ) )
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-02 ( (EX( ( (EF( ((potential((tk(P84)>=1) & (tk(P97)>=1) & (tk(P194)>=1)))))) & (EF( ((potential((tk(P6)>=1) & (tk(P195)>=1)))))) ))) | ((potential((tk(P72)>=1) & (tk(P181)>=1) & (tk(P194)>=1)))) )
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-03 ( (AG( (EF( ((potential((tk(P5)>=1) & (tk(P195)>=1)))))))) | ((potential((tk(P61)>=1) & (tk(P120)>=1) & (tk(P194)>=1)))) )
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-04 ( (EG( (EF( ( ((potential((tk(P73)>=1) & (tk(P192)>=1) & (tk(P194)>=1)))) & ((potential((tk(P117)>=1)))) ))))) & (EF( (AF( ( ((potential((tk(P36)>=1) & (tk(P181)>=1) & (tk(P194)>=1)))) | ((potential((tk(P36)>=1) & (tk(P97)>=1) & (tk(P194)>=1)))) ))))) )
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-05 (! ( (AU( ((potential((tk(P97)>=1) & (tk(P168)>=1) & (tk(P194)>=1)))) , (! ((potential((tk(P54)>=1))))) )) & (EF( ( ( ((potential((tk(P158)>=1)))) & ((potential((tk(P13)>=1) & (tk(P60)>=1) & (tk(P194)>=1)))) ) | ( ((potential((tk(P43)>=1) & (tk(P194)>=1)))) & ((potential((tk(P12)>=1) & (tk(P73)>=1) & (tk(P194)>=1)))) ) ))) ))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-06 (EG( (EF( (AG( ((potential((tk(P72)>=1) & (tk(P121)>=1) & (tk(P194)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-07 (EF( ( (AX( ((potential((tk(P48)>=1) & (tk(P85)>=1) & (tk(P194)>=1)))))) & ( ( ((potential((tk(P36)>=1) & (tk(P157)>=1) & (tk(P194)>=1)))) | ((potential((tk(P37)>=1) & (tk(P72)>=1) & (tk(P194)>=1)))) ) & (AG( ((potential((tk(P145)>=1) & (tk(P180)>=1) & (tk(P194)>=1)))))) ) )))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-08 (EF( (EG( ( ( ((potential((tk(P105)>=1)))) | ((potential((tk(P37)>=1) & (tk(P96)>=1) & (tk(P194)>=1)))) ) & ( ((potential((tk(P19)>=1) & (tk(P194)>=1)))) | ((potential((tk(P109)>=1) & (tk(P132)>=1) & (tk(P194)>=1)))) ) )))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-09 (! (EF( ( ((potential((tk(P174)>=1)))) & (AX( ((potential((tk(P115)>=1) & (tk(P194)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-10 (AX( (EX( (EF( ((potential((tk(P126)>=1) & (tk(P195)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-11 ( (EF( ((potential((tk(P160)>=1)))))) | ((potential((tk(P12)>=1) & (tk(P49)>=1) & (tk(P194)>=1)))) )
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-12 (EF( (AU( ( ((potential((tk(P168)>=1)))) | ((potential((tk(P30)>=1) & (tk(P195)>=1)))) ) , ( ((potential((tk(P195)>=1) & (tk(P10)>=1)))) & ((potential((tk(P75)>=1) & (tk(P195)>=1)))) ) ))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-13 (EG( (EF( (EG( ((potential((tk(P195)>=1) & (tk(P46)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-14 (! (AG( ( ( ( ((potential((tk(P72)>=1) & (tk(P145)>=1) & (tk(P194)>=1)))) & ((potential((tk(P121)>=1) & (tk(P168)>=1) & (tk(P194)>=1)))) ) | (! ((potential((tk(P20)>=1) & (tk(P195)>=1))))) ) | ((potential((tk(P24)>=1) & (tk(P73)>=1) & (tk(P194)>=1)))) ))))
PROPERTY: FlexibleBarrier-PT-16a-CTLFireability-15 ( ( ( (AF( ((potential((tk(P61)>=1) & (tk(P144)>=1) & (tk(P194)>=1)))))) | (AG( (! ((potential((tk(P72)>=1) & (tk(P133)>=1) & (tk(P194)>=1))))))) ) | (AX( (EF( ((potential((tk(P8)>=1) & (tk(P195)>=1)))))))) ) & (! (! ( ( ((potential((tk(P49)>=1) & (tk(P120)>=1) & (tk(P194)>=1)))) | (! ((potential((tk(P60)>=1) & (tk(P73)>=1) & (tk(P194)>=1))))) ) | ((potential((tk(P85)>=1) & (tk(P168)>=1) & (tk(P194)>=1)))) ))) )
FORMULA FlexibleBarrier-PT-16a-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

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="FlexibleBarrier-PT-16a"
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 FlexibleBarrier-PT-16a, 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 r078-smll-158922972500356"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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