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-158922972500340.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-14a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500340
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 348K
-rw-r--r-- 1 mcc users 3.5K Apr 4 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 07:34 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.1K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K 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 4.0K Apr 3 21:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 3 13:29 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 169K 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-14a-CTLFireability-00
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-01
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-02
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-03
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-04
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-05
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-06
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-07
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-08
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-09
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-10
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-11
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-12
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-13
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-14
FORMULA_NAME FlexibleBarrier-PT-14a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589427129097

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 14a
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: 171 places, 578 transitions, 2719 arcs.
AT ITER 0 NEW BEST:: SOT 85744 SOS 71994 HAS SOPS 71994 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41877.994
AT ITER 1 NEW BEST:: SOT 85805 SOS 72129 HAS SOPS 72129 HAS SOUS 40784 HAS SOUPS 40784 WITH SCORE 40856.129
AT ITER 2 NEW BEST:: SOT 85451 SOS 71818 HAS SOPS 71818 HAS SOUS 40612 HAS SOUPS 40612 WITH SCORE 40683.818
AT ITER 4 NEW BEST:: SOT 85510 SOS 71814 HAS SOPS 71814 HAS SOUS 40606 HAS SOUPS 40606 WITH SCORE 40677.814
AT ITER 6 NEW BEST:: SOT 85707 SOS 71901 HAS SOPS 71901 HAS SOUS 39749 HAS SOUPS 39749 WITH SCORE 39820.901
AT ITER 7 NEW BEST:: SOT 85667 SOS 71781 HAS SOPS 71781 HAS SOUS 39669 HAS SOUPS 39669 WITH SCORE 39740.781
AT ITER 8 NEW BEST:: SOT 85732 SOS 71746 HAS SOPS 71746 HAS SOUS 39624 HAS SOUPS 39624 WITH SCORE 39695.746
AT ITER 10 NEW BEST:: SOT 85958 SOS 71759 HAS SOPS 71759 HAS SOUS 39606 HAS SOUPS 39606 WITH SCORE 39677.759
AT ITER 12 NEW BEST:: SOT 85966 SOS 71076 HAS SOPS 71076 HAS SOUS 36957 HAS SOUPS 36957 WITH SCORE 37028.076
AT ITER 13 NEW BEST:: SOT 84719 SOS 70134 HAS SOPS 69694 HAS SOUS 36957 HAS SOUPS 36879 WITH SCORE 36949.134
AT ITER 14 NEW BEST:: SOT 84719 SOS 69734 HAS SOPS 69294 HAS SOUS 36814 HAS SOUPS 36736 WITH SCORE 36805.734
AT ITER 16 NEW BEST:: SOT 84765 SOS 69713 HAS SOPS 69273 HAS SOUS 36793 HAS SOUPS 36715 WITH SCORE 36784.713
AT ITER 19 NEW BEST:: SOT 84878 SOS 69784 HAS SOPS 69361 HAS SOUS 36780 HAS SOUPS 36702 WITH SCORE 36771.784
AT ITER 28 NEW BEST:: SOT 84793 SOS 69718 HAS SOPS 69253 HAS SOUS 36714 HAS SOUPS 36622 WITH SCORE 36691.718
AT ITER 29 NEW BEST:: SOT 84404 SOS 69283 HAS SOPS 68818 HAS SOUS 36549 HAS SOUPS 36457 WITH SCORE 36526.283
AT ITER 30 NEW BEST:: SOT 84449 SOS 68853 HAS SOPS 68016 HAS SOUS 34113 HAS SOUPS 34021 WITH SCORE 34089.853
AT ITER 31 NEW BEST:: SOT 84498 SOS 68789 HAS SOPS 67996 HAS SOUS 34095 HAS SOUPS 34003 WITH SCORE 34071.789
AT ITER 34 NEW BEST:: SOT 83898 SOS 68177 HAS SOPS 67384 HAS SOUS 33731 HAS SOUPS 33639 WITH SCORE 33707.177
AT ITER 41 NEW BEST:: SOT 83894 SOS 68138 HAS SOPS 67345 HAS SOUS 33728 HAS SOUPS 33636 WITH SCORE 33704.138
AT ITER 44 NEW BEST:: SOT 83879 SOS 67847 HAS SOPS 67054 HAS SOUS 33451 HAS SOUPS 33359 WITH SCORE 33426.847
AT ITER 50 NEW BEST:: SOT 83880 SOS 67835 HAS SOPS 67042 HAS SOUS 33434 HAS SOUPS 33342 WITH SCORE 33409.835
AT ITER 51 NEW BEST:: SOT 83805 SOS 67798 HAS SOPS 67005 HAS SOUS 33384 HAS SOUPS 33292 WITH SCORE 33359.798
AT ITER 52 NEW BEST:: SOT 83800 SOS 67658 HAS SOPS 66553 HAS SOUS 32642 HAS SOUPS 32550 WITH SCORE 32617.658
AT ITER 53 NEW BEST:: SOT 83798 SOS 67576 HAS SOPS 66471 HAS SOUS 32562 HAS SOUPS 32470 WITH SCORE 32537.576
AT ITER 54 NEW BEST:: SOT 83957 SOS 67547 HAS SOPS 66442 HAS SOUS 32515 HAS SOUPS 32423 WITH SCORE 32490.547
AT ITER 56 NEW BEST:: SOT 82679 SOS 65919 HAS SOPS 64394 HAS SOUS 30604 HAS SOUPS 30512 WITH SCORE 30577.919
AT ITER 57 NEW BEST:: SOT 82641 SOS 65726 HAS SOPS 64201 HAS SOUS 30488 HAS SOUPS 30396 WITH SCORE 30461.726
AT ITER 65 NEW BEST:: SOT 83300 SOS 65287 HAS SOPS 64945 HAS SOUS 30365 HAS SOUPS 30316 WITH SCORE 30381.287
AT ITER 70 NEW BEST:: SOT 83469 SOS 63648 HAS SOPS 62950 HAS SOUS 27820 HAS SOUPS 27771 WITH SCORE 27834.648
AT ITER 76 NEW BEST:: SOT 83487 SOS 63634 HAS SOPS 62936 HAS SOUS 27806 HAS SOUPS 27757 WITH SCORE 27820.634
AT ITER 77 NEW BEST:: SOT 83539 SOS 63528 HAS SOPS 62830 HAS SOUS 27709 HAS SOUPS 27660 WITH SCORE 27723.528
AT ITER 78 NEW BEST:: SOT 83536 SOS 63385 HAS SOPS 62687 HAS SOUS 27645 HAS SOUPS 27596 WITH SCORE 27659.385
AT ITER 79 NEW BEST:: SOT 83554 SOS 63366 HAS SOPS 62668 HAS SOUS 27617 HAS SOUPS 27568 WITH SCORE 27631.366
AT ITER 83 NEW BEST:: SOT 83537 SOS 63023 HAS SOPS 62308 HAS SOUS 27436 HAS SOUPS 27387 WITH SCORE 27450.023
AT ITER 85 NEW BEST:: SOT 83550 SOS 62683 HAS SOPS 61968 HAS SOUS 27241 HAS SOUPS 27192 WITH SCORE 27254.683
AT ITER 87 NEW BEST:: SOT 83550 SOS 62675 HAS SOPS 61960 HAS SOUS 27233 HAS SOUPS 27184 WITH SCORE 27246.675
AT ITER 90 NEW BEST:: SOT 83540 SOS 62495 HAS SOPS 61770 HAS SOUS 27103 HAS SOUPS 27054 WITH SCORE 27116.495
AT ITER 91 NEW BEST:: SOT 83534 SOS 62377 HAS SOPS 61651 HAS SOUS 27085 HAS SOUPS 27036 WITH SCORE 27098.377
AT ITER 92 NEW BEST:: SOT 83524 SOS 60331 HAS SOPS 59605 HAS SOUS 25670 HAS SOUPS 25621 WITH SCORE 25681.331
AT ITER 94 NEW BEST:: SOT 83638 SOS 60146 HAS SOPS 58911 HAS SOUS 24492 HAS SOUPS 24443 WITH SCORE 24503.146
AT ITER 99 NEW BEST:: SOT 83624 SOS 57593 HAS SOPS 56232 HAS SOUS 23231 HAS SOUPS 23182 WITH SCORE 23239.593
AT ITER 100 NEW BEST:: SOT 82696 SOS 57099 HAS SOPS 55864 HAS SOUS 23162 HAS SOUPS 23113 WITH SCORE 23170.099
AT ITER 103 NEW BEST:: SOT 82593 SOS 57025 HAS SOPS 55790 HAS SOUS 23085 HAS SOUPS 23036 WITH SCORE 23093.025
AT ITER 104 NEW BEST:: SOT 82603 SOS 56994 HAS SOPS 55759 HAS SOUS 23063 HAS SOUPS 23014 WITH SCORE 23070.994
AT ITER 105 NEW BEST:: SOT 82219 SOS 56603 HAS SOPS 55414 HAS SOUS 22998 HAS SOUPS 22950 WITH SCORE 23006.603
AT ITER 108 NEW BEST:: SOT 82259 SOS 53324 HAS SOPS 51377 HAS SOUS 20983 HAS SOUPS 20933 WITH SCORE 20986.324
AT ITER 114 NEW BEST:: SOT 82257 SOS 53320 HAS SOPS 51373 HAS SOUS 20981 HAS SOUPS 20931 WITH SCORE 20984.32
AT ITER 116 NEW BEST:: SOT 82267 SOS 53314 HAS SOPS 51367 HAS SOUS 20977 HAS SOUPS 20927 WITH SCORE 20980.314
AT ITER 117 NEW BEST:: SOT 81001 SOS 52135 HAS SOPS 50188 HAS SOUS 20370 HAS SOUPS 20320 WITH SCORE 20372.135
AT ITER 118 NEW BEST:: SOT 80945 SOS 52096 HAS SOPS 50149 HAS SOUS 20331 HAS SOUPS 20281 WITH SCORE 20333.096
AT ITER 120 NEW BEST:: SOT 80941 SOS 52088 HAS SOPS 50141 HAS SOUS 20323 HAS SOUPS 20273 WITH SCORE 20325.088
AT ITER 124 NEW BEST:: SOT 80945 SOS 52084 HAS SOPS 50133 HAS SOUS 20315 HAS SOUPS 20265 WITH SCORE 20317.084
AT ITER 126 NEW BEST:: SOT 80904 SOS 51982 HAS SOPS 49984 HAS SOUS 20179 HAS SOUPS 20129 WITH SCORE 20180.982
AT ITER 127 NEW BEST:: SOT 80909 SOS 51942 HAS SOPS 49944 HAS SOUS 20139 HAS SOUPS 20089 WITH SCORE 20140.942
AT ITER 128 NEW BEST:: SOT 80965 SOS 51903 HAS SOPS 49905 HAS SOUS 20106 HAS SOUPS 20056 WITH SCORE 20107.903
AT ITER 129 NEW BEST:: SOT 80965 SOS 51861 HAS SOPS 49863 HAS SOUS 20106 HAS SOUPS 20056 WITH SCORE 20107.861
AT ITER 130 NEW BEST:: SOT 80954 SOS 51860 HAS SOPS 49862 HAS SOUS 20105 HAS SOUPS 20055 WITH SCORE 20106.86
AT ITER 134 NEW BEST:: SOT 80832 SOS 51784 HAS SOPS 49786 HAS SOUS 20029 HAS SOUPS 19979 WITH SCORE 20030.784
AT ITER 142 NEW BEST:: SOT 80870 SOS 51801 HAS SOPS 49772 HAS SOUS 20015 HAS SOUPS 19965 WITH SCORE 20016.801
AT ITER 145 NEW BEST:: SOT 80279 SOS 55240 HAS SOPS 49143 HAS SOUS 20017 HAS SOUPS 19929 WITH SCORE 19984.24
AT ITER 151 NEW BEST:: SOT 80338 SOS 55295 HAS SOPS 49198 HAS SOUS 20015 HAS SOUPS 19927 WITH SCORE 19982.295
AT ITER 153 NEW BEST:: SOT 80285 SOS 55239 HAS SOPS 49142 HAS SOUS 19964 HAS SOUPS 19876 WITH SCORE 19931.239
AT ITER 154 NEW BEST:: SOT 80298 SOS 55227 HAS SOPS 49130 HAS SOUS 19926 HAS SOUPS 19838 WITH SCORE 19893.227
AT ITER 157 NEW BEST:: SOT 78724 SOS 53692 HAS SOPS 47595 HAS SOUS 19138 HAS SOUPS 19050 WITH SCORE 19103.692
AT ITER 158 NEW BEST:: SOT 78705 SOS 53682 HAS SOPS 47579 HAS SOUS 19120 HAS SOUPS 19032 WITH SCORE 19085.682
AT ITER 165 NEW BEST:: SOT 78769 SOS 53810 HAS SOPS 47707 HAS SOUS 19117 HAS SOUPS 19029 WITH SCORE 19082.81
AT ITER 167 NEW BEST:: SOT 78768 SOS 53799 HAS SOPS 47696 HAS SOUS 19107 HAS SOUPS 19019 WITH SCORE 19072.799
AT ITER 172 NEW BEST:: SOT 78763 SOS 53522 HAS SOPS 47419 HAS SOUS 19062 HAS SOUPS 18974 WITH SCORE 19027.522
AT ITER 177 NEW BEST:: SOT 78851 SOS 53513 HAS SOPS 47418 HAS SOUS 19036 HAS SOUPS 18948 WITH SCORE 19001.513
AT ITER 179 NEW BEST:: SOT 78647 SOS 53336 HAS SOPS 47241 HAS SOUS 18962 HAS SOUPS 18874 WITH SCORE 18927.336
AT ITER 183 NEW BEST:: SOT 78610 SOS 53196 HAS SOPS 47101 HAS SOUS 18860 HAS SOUPS 18772 WITH SCORE 18825.196
AT ITER 185 NEW BEST:: SOT 78599 SOS 53185 HAS SOPS 47090 HAS SOUS 18860 HAS SOUPS 18772 WITH SCORE 18825.185
AT ITER 188 NEW BEST:: SOT 78599 SOS 52895 HAS SOPS 46800 HAS SOUS 18830 HAS SOUPS 18742 WITH SCORE 18794.895
AT ITER 191 NEW BEST:: SOT 78599 SOS 52829 HAS SOPS 46734 HAS SOUS 18824 HAS SOUPS 18736 WITH SCORE 18788.829
AT ITER 193 NEW BEST:: SOT 78585 SOS 52789 HAS SOPS 46694 HAS SOUS 18798 HAS SOUPS 18710 WITH SCORE 18762.789
AT ITER 195 NEW BEST:: SOT 78585 SOS 52761 HAS SOPS 46666 HAS SOUS 18798 HAS SOUPS 18710 WITH SCORE 18762.761
AT ITER 205 NEW BEST:: SOT 78585 SOS 52761 HAS SOPS 46562 HAS SOUS 18742 HAS SOUPS 18654 WITH SCORE 18706.761
AT ITER 207 NEW BEST:: SOT 78551 SOS 52730 HAS SOPS 46531 HAS SOUS 18721 HAS SOUPS 18633 WITH SCORE 18685.73
AT ITER 209 NEW BEST:: SOT 78555 SOS 51748 HAS SOPS 45549 HAS SOUS 18657 HAS SOUPS 18569 WITH SCORE 18620.748
AT ITER 215 NEW BEST:: SOT 78571 SOS 51638 HAS SOPS 45439 HAS SOUS 18602 HAS SOUPS 18514 WITH SCORE 18565.638
AT ITER 218 NEW BEST:: SOT 78536 SOS 49622 HAS SOPS 43423 HAS SOUS 18355 HAS SOUPS 18267 WITH SCORE 18316.622
AT ITER 225 NEW BEST:: SOT 78568 SOS 49571 HAS SOPS 43372 HAS SOUS 18304 HAS SOUPS 18216 WITH SCORE 18265.571
AT ITER 229 NEW BEST:: SOT 78633 SOS 49614 HAS SOPS 43415 HAS SOUS 18300 HAS SOUPS 18212 WITH SCORE 18261.614
AT ITER 231 NEW BEST:: SOT 78622 SOS 49625 HAS SOPS 43426 HAS SOUS 18290 HAS SOUPS 18202 WITH SCORE 18251.625
AT ITER 234 NEW BEST:: SOT 78610 SOS 49488 HAS SOPS 43289 HAS SOUS 18169 HAS SOUPS 18081 WITH SCORE 18130.488
AT ITER 236 NEW BEST:: SOT 78634 SOS 49554 HAS SOPS 43355 HAS SOUS 18164 HAS SOUPS 18076 WITH SCORE 18125.554
AT ITER 238 NEW BEST:: SOT 78577 SOS 49533 HAS SOPS 43311 HAS SOUS 18156 HAS SOUPS 18068 WITH SCORE 18117.533
AT ITER 244 NEW BEST:: SOT 78572 SOS 49511 HAS SOPS 43289 HAS SOUS 18149 HAS SOUPS 18061 WITH SCORE 18110.511
AT ITER 255 NEW BEST:: SOT 78554 SOS 49457 HAS SOPS 43235 HAS SOUS 18144 HAS SOUPS 18056 WITH SCORE 18105.457
AT ITER 256 NEW BEST:: SOT 78573 SOS 48038 HAS SOPS 41646 HAS SOUS 17841 HAS SOUPS 17753 WITH SCORE 17801.038
AT ITER 259 NEW BEST:: SOT 78536 SOS 47940 HAS SOPS 41548 HAS SOUS 17790 HAS SOUPS 17702 WITH SCORE 17749.94
AT ITER 260 NEW BEST:: SOT 78525 SOS 47911 HAS SOPS 41529 HAS SOUS 17771 HAS SOUPS 17683 WITH SCORE 17730.911
AT ITER 261 NEW BEST:: SOT 75287 SOS 47293 HAS SOPS 38290 HAS SOUS 15002 HAS SOUPS 14798 WITH SCORE 14845.293
AT ITER 262 NEW BEST:: SOT 75305 SOS 46534 HAS SOPS 37531 HAS SOUS 14904 HAS SOUPS 14700 WITH SCORE 14746.534
AT ITER 264 NEW BEST:: SOT 75263 SOS 46460 HAS SOPS 37447 HAS SOUS 14820 HAS SOUPS 14616 WITH SCORE 14662.46
AT ITER 269 NEW BEST:: SOT 75180 SOS 46236 HAS SOPS 37218 HAS SOUS 14655 HAS SOUPS 14451 WITH SCORE 14497.236
AT ITER 270 NEW BEST:: SOT 75177 SOS 46233 HAS SOPS 37212 HAS SOUS 14649 HAS SOUPS 14445 WITH SCORE 14491.233
AT ITER 273 NEW BEST:: SOT 74451 SOS 45497 HAS SOPS 36476 HAS SOUS 14271 HAS SOUPS 14067 WITH SCORE 14112.497
AT ITER 274 NEW BEST:: SOT 74441 SOS 45463 HAS SOPS 36426 HAS SOUS 14221 HAS SOUPS 14017 WITH SCORE 14062.463
AT ITER 277 NEW BEST:: SOT 73943 SOS 44965 HAS SOPS 36398 HAS SOUS 14133 HAS SOUPS 13929 WITH SCORE 13973.965
AT ITER 278 NEW BEST:: SOT 73971 SOS 44062 HAS SOPS 35336 HAS SOUS 13947 HAS SOUPS 13743 WITH SCORE 13787.062
AT ITER 288 NEW BEST:: SOT 73960 SOS 44029 HAS SOPS 35292 HAS SOUS 13903 HAS SOUPS 13699 WITH SCORE 13743.029
AT ITER 295 NEW BEST:: SOT 73913 SOS 43982 HAS SOPS 35202 HAS SOUS 13813 HAS SOUPS 13609 WITH SCORE 13652.982
AT ITER 300 NEW BEST:: SOT 73896 SOS 43965 HAS SOPS 35168 HAS SOUS 13779 HAS SOUPS 13575 WITH SCORE 13618.965
AT ITER 301 NEW BEST:: SOT 73912 SOS 44042 HAS SOPS 35200 HAS SOUS 13750 HAS SOUPS 13546 WITH SCORE 13590.042
AT ITER 302 NEW BEST:: SOT 73903 SOS 44009 HAS SOPS 35158 HAS SOUS 13731 HAS SOUPS 13527 WITH SCORE 13571.009
AT ITER 304 NEW BEST:: SOT 73897 SOS 44003 HAS SOPS 35146 HAS SOUS 13719 HAS SOUPS 13515 WITH SCORE 13559.003
AT ITER 311 NEW BEST:: SOT 73897 SOS 43986 HAS SOPS 35146 HAS SOUS 13719 HAS SOUPS 13515 WITH SCORE 13558.986
AT ITER 312 NEW BEST:: SOT 73835 SOS 43892 HAS SOPS 35022 HAS SOUS 13565 HAS SOUPS 13361 WITH SCORE 13404.892
AT ITER 313 NEW BEST:: SOT 73831 SOS 43856 HAS SOPS 34986 HAS SOUS 13532 HAS SOUPS 13328 WITH SCORE 13371.856
AT ITER 322 NEW BEST:: SOT 73819 SOS 43832 HAS SOPS 34962 HAS SOUS 13508 HAS SOUPS 13304 WITH SCORE 13347.832
AT ITER 332 NEW BEST:: SOT 73765 SOS 43724 HAS SOPS 34854 HAS SOUS 13454 HAS SOUPS 13250 WITH SCORE 13293.724
AT ITER 335 NEW BEST:: SOT 73612 SOS 43574 HAS SOPS 34740 HAS SOUS 13429 HAS SOUPS 13225 WITH SCORE 13268.574
AT ITER 341 NEW BEST:: SOT 73578 SOS 43504 HAS SOPS 34643 HAS SOUS 13339 HAS SOUPS 13135 WITH SCORE 13178.504
AT ITER 351 NEW BEST:: SOT 73574 SOS 43488 HAS SOPS 34627 HAS SOUS 13339 HAS SOUPS 13135 WITH SCORE 13178.488
AT ITER 377 NEW BEST:: SOT 73581 SOS 43495 HAS SOPS 34641 HAS SOUS 13329 HAS SOUPS 13125 WITH SCORE 13168.495
AT ITER 381 NEW BEST:: SOT 73590 SOS 42199 HAS SOPS 33354 HAS SOUS 13240 HAS SOUPS 13036 WITH SCORE 13078.199
AT ITER 383 NEW BEST:: SOT 73563 SOS 42103 HAS SOPS 33246 HAS SOUS 13169 HAS SOUPS 12965 WITH SCORE 13007.103
AT ITER 385 NEW BEST:: SOT 73551 SOS 42079 HAS SOPS 33191 HAS SOUS 13118 HAS SOUPS 12914 WITH SCORE 12956.079
AT ITER 388 NEW BEST:: SOT 72920 SOS 41524 HAS SOPS 32244 HAS SOUS 12452 HAS SOUPS 12248 WITH SCORE 12289.524
AT ITER 392 NEW BEST:: SOT 72920 SOS 41565 HAS SOPS 32244 HAS SOUS 12445 HAS SOUPS 12241 WITH SCORE 12282.565
AT ITER 395 NEW BEST:: SOT 72888 SOS 41533 HAS SOPS 32212 HAS SOUS 12415 HAS SOUPS 12211 WITH SCORE 12252.533
AT ITER 397 NEW BEST:: SOT 72888 SOS 41310 HAS SOPS 31989 HAS SOUS 12394 HAS SOUPS 12190 WITH SCORE 12231.31
AT ITER 399 NEW BEST:: SOT 71744 SOS 40763 HAS SOPS 31503 HAS SOUS 11993 HAS SOUPS 11789 WITH SCORE 11829.763
AT ITER 400 NEW BEST:: SOT 71727 SOS 40719 HAS SOPS 31459 HAS SOUS 11983 HAS SOUPS 11779 WITH SCORE 11819.719
AT ITER 404 NEW BEST:: SOT 71700 SOS 40727 HAS SOPS 31405 HAS SOUS 11861 HAS SOUPS 11657 WITH SCORE 11697.727
AT ITER 410 NEW BEST:: SOT 71643 SOS 40703 HAS SOPS 31364 HAS SOUS 11738 HAS SOUPS 11534 WITH SCORE 11574.703
AT ITER 416 NEW BEST:: SOT 71575 SOS 40665 HAS SOPS 31326 HAS SOUS 11597 HAS SOUPS 11393 WITH SCORE 11433.665
AT ITER 417 NEW BEST:: SOT 71575 SOS 40665 HAS SOPS 31326 HAS SOUS 11585 HAS SOUPS 11381 WITH SCORE 11421.665
AT ITER 418 NEW BEST:: SOT 71619 SOS 40625 HAS SOPS 31329 HAS SOUS 11552 HAS SOUPS 11348 WITH SCORE 11388.625
AT ITER 424 NEW BEST:: SOT 71629 SOS 40612 HAS SOPS 31320 HAS SOUS 11543 HAS SOUPS 11339 WITH SCORE 11379.612
AT ITER 427 NEW BEST:: SOT 71625 SOS 40605 HAS SOPS 31312 HAS SOUS 11538 HAS SOUPS 11334 WITH SCORE 11374.605
AT ITER 433 NEW BEST:: SOT 71597 SOS 40555 HAS SOPS 31256 HAS SOUS 11482 HAS SOUPS 11278 WITH SCORE 11318.555
AT ITER 439 NEW BEST:: SOT 71595 SOS 40541 HAS SOPS 31242 HAS SOUS 11468 HAS SOUPS 11264 WITH SCORE 11304.541
AT ITER 442 NEW BEST:: SOT 71545 SOS 40455 HAS SOPS 31146 HAS SOUS 11381 HAS SOUPS 11177 WITH SCORE 11217.455
AT ITER 444 NEW BEST:: SOT 71542 SOS 40419 HAS SOPS 31119 HAS SOUS 11357 HAS SOUPS 11153 WITH SCORE 11193.419
AT ITER 449 NEW BEST:: SOT 71540 SOS 40417 HAS SOPS 31117 HAS SOUS 11355 HAS SOUPS 11151 WITH SCORE 11191.417
AT ITER 453 NEW BEST:: SOT 71540 SOS 40503 HAS SOPS 31103 HAS SOUS 11227 HAS SOUPS 11023 WITH SCORE 11063.503
AT ITER 455 NEW BEST:: SOT 71557 SOS 40481 HAS SOPS 31081 HAS SOUS 11205 HAS SOUPS 11001 WITH SCORE 11041.481
AT ITER 456 NEW BEST:: SOT 71384 SOS 45156 HAS SOPS 30908 HAS SOUS 11214 HAS SOUPS 10989 WITH SCORE 11034.156
AT ITER 462 NEW BEST:: SOT 71303 SOS 45045 HAS SOPS 30842 HAS SOUS 11129 HAS SOUPS 10904 WITH SCORE 10949.045
AT ITER 469 NEW BEST:: SOT 71269 SOS 44977 HAS SOPS 30757 HAS SOUS 11059 HAS SOUPS 10832 WITH SCORE 10876.977
AT ITER 483 NEW BEST:: SOT 71248 SOS 45257 HAS SOPS 31037 HAS SOUS 11052 HAS SOUPS 10825 WITH SCORE 10870.257
AT ITER 484 NEW BEST:: SOT 71274 SOS 45325 HAS SOPS 31089 HAS SOUS 11020 HAS SOUPS 10793 WITH SCORE 10838.325
AT ITER 488 NEW BEST:: SOT 71280 SOS 45303 HAS SOPS 31067 HAS SOUS 10997 HAS SOUPS 10770 WITH SCORE 10815.303
AT ITER 489 NEW BEST:: SOT 71235 SOS 45258 HAS SOPS 31022 HAS SOUS 10981 HAS SOUPS 10754 WITH SCORE 10799.258
AT ITER 492 NEW BEST:: SOT 71231 SOS 45250 HAS SOPS 31014 HAS SOUS 10977 HAS SOUPS 10750 WITH SCORE 10795.25
AT ITER 493 NEW BEST:: SOT 71181 SOS 45200 HAS SOPS 30964 HAS SOUS 10951 HAS SOUPS 10724 WITH SCORE 10769.2
AT ITER 495 NEW BEST:: SOT 71181 SOS 45202 HAS SOPS 30956 HAS SOUS 10943 HAS SOUPS 10716 WITH SCORE 10761.202
AT ITER 496 NEW BEST:: SOT 71172 SOS 45209 HAS SOPS 30961 HAS SOUS 10934 HAS SOUPS 10707 WITH SCORE 10752.209
AT ITER 499 NEW BEST:: SOT 71094 SOS 45092 HAS SOPS 30805 HAS SOUS 10797 HAS SOUPS 10570 WITH SCORE 10615.092
AT ITER 506 NEW BEST:: SOT 71088 SOS 45082 HAS SOPS 30793 HAS SOUS 10785 HAS SOUPS 10558 WITH SCORE 10603.082
AT ITER 508 NEW BEST:: SOT 71091 SOS 45085 HAS SOPS 30785 HAS SOUS 10777 HAS SOUPS 10550 WITH SCORE 10595.085
AT ITER 516 NEW BEST:: SOT 71091 SOS 45085 HAS SOPS 30785 HAS SOUS 10776 HAS SOUPS 10549 WITH SCORE 10594.085
AT ITER 534 NEW BEST:: SOT 71034 SOS 44914 HAS SOPS 30671 HAS SOUS 10776 HAS SOUPS 10549 WITH SCORE 10593.914
AT ITER 535 NEW BEST:: SOT 71045 SOS 44622 HAS SOPS 30379 HAS SOUS 10769 HAS SOUPS 10542 WITH SCORE 10586.622
AT ITER 536 NEW BEST:: SOT 71036 SOS 44615 HAS SOPS 30361 HAS SOUS 10754 HAS SOUPS 10527 WITH SCORE 10571.615
AT ITER 537 NEW BEST:: SOT 71025 SOS 44595 HAS SOPS 30269 HAS SOUS 10592 HAS SOUPS 10365 WITH SCORE 10409.595
AT ITER 538 NEW BEST:: SOT 71066 SOS 44643 HAS SOPS 30290 HAS SOUS 10553 HAS SOUPS 10326 WITH SCORE 10370.643
AT ITER 547 NEW BEST:: SOT 71050 SOS 44611 HAS SOPS 30258 HAS SOUS 10537 HAS SOUPS 10310 WITH SCORE 10354.611
AT ITER 559 NEW BEST:: SOT 71072 SOS 44577 HAS SOPS 30247 HAS SOUS 10473 HAS SOUPS 10254 WITH SCORE 10298.577
AT ITER 561 NEW BEST:: SOT 70967 SOS 44532 HAS SOPS 30124 HAS SOUS 10361 HAS SOUPS 10142 WITH SCORE 10186.532
AT ITER 563 NEW BEST:: SOT 70949 SOS 44514 HAS SOPS 30106 HAS SOUS 10343 HAS SOUPS 10124 WITH SCORE 10168.514
AT ITER 565 NEW BEST:: SOT 70928 SOS 44493 HAS SOPS 30064 HAS SOUS 10331 HAS SOUPS 10112 WITH SCORE 10156.493
AT ITER 571 NEW BEST:: SOT 70922 SOS 44487 HAS SOPS 30058 HAS SOUS 10331 HAS SOUPS 10112 WITH SCORE 10156.487
AT ITER 580 NEW BEST:: SOT 70906 SOS 44489 HAS SOPS 30044 HAS SOUS 10317 HAS SOUPS 10098 WITH SCORE 10142.489
AT ITER 598 NEW BEST:: SOT 70895 SOS 44486 HAS SOPS 30033 HAS SOUS 10309 HAS SOUPS 10090 WITH SCORE 10134.486
AT ITER 613 NEW BEST:: SOT 70892 SOS 44480 HAS SOPS 30027 HAS SOUS 10303 HAS SOUPS 10084 WITH SCORE 10128.48
AT ITER 616 NEW BEST:: SOT 70862 SOS 44469 HAS SOPS 30005 HAS SOUS 10281 HAS SOUPS 10062 WITH SCORE 10106.469
AT ITER 619 NEW BEST:: SOT 70856 SOS 44460 HAS SOPS 29993 HAS SOUS 10275 HAS SOUPS 10056 WITH SCORE 10100.46
AT ITER 621 NEW BEST:: SOT 70843 SOS 44421 HAS SOPS 29954 HAS SOUS 10275 HAS SOUPS 10056 WITH SCORE 10100.421
AT ITER 624 NEW BEST:: SOT 70790 SOS 44315 HAS SOPS 29848 HAS SOUS 10222 HAS SOUPS 10003 WITH SCORE 10047.315
AT ITER 625 NEW BEST:: SOT 70781 SOS 44290 HAS SOPS 29814 HAS SOUS 10188 HAS SOUPS 9969 WITH SCORE 10013.29
AT ITER 626 NEW BEST:: SOT 70758 SOS 44267 HAS SOPS 29768 HAS SOUS 10142 HAS SOUPS 9923 WITH SCORE 9967.267
AT ITER 640 NEW BEST:: SOT 70909 SOS 44399 HAS SOPS 29376 HAS SOUS 10042 HAS SOUPS 9823 WITH SCORE 9867.399
AT ITER 643 NEW BEST:: SOT 70881 SOS 44315 HAS SOPS 29292 HAS SOUS 9986 HAS SOUPS 9767 WITH SCORE 9811.315
AT ITER 650 NEW BEST:: SOT 70860 SOS 44294 HAS SOPS 29257 HAS SOUS 9965 HAS SOUPS 9746 WITH SCORE 9790.294
AT ITER 656 NEW BEST:: SOT 70837 SOS 44255 HAS SOPS 29211 HAS SOUS 9879 HAS SOUPS 9660 WITH SCORE 9704.255
AT ITER 662 NEW BEST:: SOT 70830 SOS 44248 HAS SOPS 29204 HAS SOUS 9872 HAS SOUPS 9653 WITH SCORE 9697.248
AT ITER 666 NEW BEST:: SOT 70811 SOS 44358 HAS SOPS 29308 HAS SOUS 9856 HAS SOUPS 9637 WITH SCORE 9681.358
AT ITER 670 NEW BEST:: SOT 70811 SOS 44296 HAS SOPS 29262 HAS SOUS 9856 HAS SOUPS 9637 WITH SCORE 9681.296
AT ITER 675 NEW BEST:: SOT 70789 SOS 44268 HAS SOPS 29218 HAS SOUS 9847 HAS SOUPS 9628 WITH SCORE 9672.268
AT ITER 676 NEW BEST:: SOT 70763 SOS 44242 HAS SOPS 29179 HAS SOUS 9834 HAS SOUPS 9615 WITH SCORE 9659.242
AT ITER 679 NEW BEST:: SOT 70828 SOS 44300 HAS SOPS 29011 HAS SOUS 9799 HAS SOUPS 9580 WITH SCORE 9624.3
AT ITER 680 NEW BEST:: SOT 70823 SOS 44298 HAS SOPS 29001 HAS SOUS 9805 HAS SOUPS 9578 WITH SCORE 9622.298
AT ITER 693 NEW BEST:: SOT 70824 SOS 44297 HAS SOPS 29000 HAS SOUS 9804 HAS SOUPS 9577 WITH SCORE 9621.297
AT ITER 698 NEW BEST:: SOT 70844 SOS 44315 HAS SOPS 29018 HAS SOUS 9798 HAS SOUPS 9571 WITH SCORE 9615.315
AT ITER 700 NEW BEST:: SOT 70826 SOS 44374 HAS SOPS 29038 HAS SOUS 9789 HAS SOUPS 9562 WITH SCORE 9606.374
AT ITER 704 NEW BEST:: SOT 70769 SOS 44317 HAS SOPS 28924 HAS SOUS 9675 HAS SOUPS 9448 WITH SCORE 9492.317
AT ITER 705 NEW BEST:: SOT 70762 SOS 44268 HAS SOPS 28889 HAS SOUS 9661 HAS SOUPS 9434 WITH SCORE 9478.268
AT ITER 706 NEW BEST:: SOT 70758 SOS 44266 HAS SOPS 28881 HAS SOUS 9651 HAS SOUPS 9424 WITH SCORE 9468.266
AT ITER 723 NEW BEST:: SOT 70754 SOS 44262 HAS SOPS 28877 HAS SOUS 9648 HAS SOUPS 9421 WITH SCORE 9465.262
AT ITER 731 NEW BEST:: SOT 70741 SOS 44263 HAS SOPS 28875 HAS SOUS 9632 HAS SOUPS 9405 WITH SCORE 9449.263
AT ITER 738 NEW BEST:: SOT 70679 SOS 44178 HAS SOPS 28751 HAS SOUS 9531 HAS SOUPS 9304 WITH SCORE 9348.178
AT ITER 742 NEW BEST:: SOT 70679 SOS 44171 HAS SOPS 28744 HAS SOUS 9517 HAS SOUPS 9290 WITH SCORE 9334.171
AT ITER 747 NEW BEST:: SOT 70658 SOS 44167 HAS SOPS 28737 HAS SOUS 9511 HAS SOUPS 9284 WITH SCORE 9328.167
AT ITER 767 NEW BEST:: SOT 70640 SOS 44158 HAS SOPS 28710 HAS SOUS 9484 HAS SOUPS 9257 WITH SCORE 9301.158
AT ITER 789 NEW BEST:: SOT 70642 SOS 44115 HAS SOPS 28667 HAS SOUS 9477 HAS SOUPS 9250 WITH SCORE 9294.115
AT ITER 790 NEW BEST:: SOT 70629 SOS 44078 HAS SOPS 28630 HAS SOUS 9458 HAS SOUPS 9231 WITH SCORE 9275.078
AT ITER 813 NEW BEST:: SOT 70629 SOS 44070 HAS SOPS 28622 HAS SOUS 9450 HAS SOUPS 9223 WITH SCORE 9267.07
AT ITER 821 NEW BEST:: SOT 70596 SOS 44037 HAS SOPS 28556 HAS SOUS 9384 HAS SOUPS 9157 WITH SCORE 9201.037
AT ITER 830 NEW BEST:: SOT 70567 SOS 43869 HAS SOPS 28396 HAS SOUS 9259 HAS SOUPS 9032 WITH SCORE 9075.869
AT ITER 831 NEW BEST:: SOT 70529 SOS 43759 HAS SOPS 28284 HAS SOUS 9183 HAS SOUPS 8956 WITH SCORE 8999.759
AT ITER 842 NEW BEST:: SOT 70503 SOS 43733 HAS SOPS 28232 HAS SOUS 9150 HAS SOUPS 8923 WITH SCORE 8966.733
AT ITER 883 NEW BEST:: SOT 70482 SOS 43666 HAS SOPS 28153 HAS SOUS 9100 HAS SOUPS 8873 WITH SCORE 8916.666
AT ITER 901 NEW BEST:: SOT 70464 SOS 43648 HAS SOPS 28117 HAS SOUS 9064 HAS SOUPS 8837 WITH SCORE 8880.648
AT ITER 912 NEW BEST:: SOT 70463 SOS 43647 HAS SOPS 28115 HAS SOUS 9062 HAS SOUPS 8835 WITH SCORE 8878.647
AT ITER 918 NEW BEST:: SOT 70385 SOS 43569 HAS SOPS 28010 HAS SOUS 8960 HAS SOUPS 8730 WITH SCORE 8773.569
AT ITER 921 NEW BEST:: SOT 70438 SOS 43562 HAS SOPS 28031 HAS SOUS 8938 HAS SOUPS 8708 WITH SCORE 8751.562
AT ITER 935 NEW BEST:: SOT 70418 SOS 43522 HAS SOPS 27991 HAS SOUS 8924 HAS SOUPS 8694 WITH SCORE 8737.522
AT ITER 947 NEW BEST:: SOT 70288 SOS 44862 HAS SOPS 27846 HAS SOUS 8805 HAS SOUPS 8549 WITH SCORE 8593.862
AT ITER 958 NEW BEST:: SOT 70277 SOS 44851 HAS SOPS 27824 HAS SOUS 8812 HAS SOUPS 8548 WITH SCORE 8592.851
AT ITER 976 NEW BEST:: SOT 70275 SOS 44847 HAS SOPS 27809 HAS SOUS 8797 HAS SOUPS 8533 WITH SCORE 8577.847
AT ITER 988 NEW BEST:: SOT 70275 SOS 44812 HAS SOPS 27809 HAS SOUS 8762 HAS SOUPS 8498 WITH SCORE 8542.812
AT ITER 1004 NEW BEST:: SOT 70273 SOS 44809 HAS SOPS 27805 HAS SOUS 8759 HAS SOUPS 8495 WITH SCORE 8539.809
AT ITER 1010 NEW BEST:: SOT 69949 SOS 44491 HAS SOPS 27563 HAS SOUS 8723 HAS SOUPS 8459 WITH SCORE 8503.491
AT ITER 1011 NEW BEST:: SOT 69862 SOS 44401 HAS SOPS 27473 HAS SOUS 8672 HAS SOUPS 8408 WITH SCORE 8452.401
AT ITER 1022 NEW BEST:: SOT 69852 SOS 44391 HAS SOPS 27458 HAS SOUS 8657 HAS SOUPS 8393 WITH SCORE 8437.391
AT ITER 1028 NEW BEST:: SOT 69586 SOS 44853 HAS SOPS 28824 HAS SOUS 8652 HAS SOUPS 8388 WITH SCORE 8432.853
AT ITER 1036 NEW BEST:: SOT 69577 SOS 44854 HAS SOPS 28807 HAS SOUS 8630 HAS SOUPS 8366 WITH SCORE 8410.854
AT ITER 1071 NEW BEST:: SOT 69549 SOS 44782 HAS SOPS 28725 HAS SOUS 8574 HAS SOUPS 8310 WITH SCORE 8354.782
AT ITER 1075 NEW BEST:: SOT 69540 SOS 44766 HAS SOPS 28707 HAS SOUS 8556 HAS SOUPS 8292 WITH SCORE 8336.766
AT ITER 1110 NEW BEST:: SOT 69564 SOS 44760 HAS SOPS 28675 HAS SOUS 8534 HAS SOUPS 8270 WITH SCORE 8314.76
AT ITER 1119 NEW BEST:: SOT 69561 SOS 44689 HAS SOPS 28611 HAS SOUS 8495 HAS SOUPS 8231 WITH SCORE 8275.689
AT ITER 1126 NEW BEST:: SOT 69526 SOS 44634 HAS SOPS 28541 HAS SOUS 8441 HAS SOUPS 8177 WITH SCORE 8221.634
AT ITER 1129 NEW BEST:: SOT 69506 SOS 44724 HAS SOPS 28605 HAS SOUS 8432 HAS SOUPS 8168 WITH SCORE 8212.724
AT ITER 1133 NEW BEST:: SOT 69500 SOS 44544 HAS SOPS 28451 HAS SOUS 8334 HAS SOUPS 8070 WITH SCORE 8114.544
AT ITER 1140 NEW BEST:: SOT 69497 SOS 44539 HAS SOPS 28445 HAS SOUS 8329 HAS SOUPS 8065 WITH SCORE 8109.539
AT ITER 1147 NEW BEST:: SOT 69502 SOS 44523 HAS SOPS 28439 HAS SOUS 8319 HAS SOUPS 8055 WITH SCORE 8099.523
AT ITER 1149 NEW BEST:: SOT 69473 SOS 44465 HAS SOPS 28381 HAS SOUS 8261 HAS SOUPS 7997 WITH SCORE 8041.465
AT ITER 1152 NEW BEST:: SOT 69582 SOS 44569 HAS SOPS 28339 HAS SOUS 8239 HAS SOUPS 7975 WITH SCORE 8019.569
AT ITER 1180 NEW BEST:: SOT 69562 SOS 44461 HAS SOPS 28250 HAS SOUS 8181 HAS SOUPS 7917 WITH SCORE 7961.461
AT ITER 1188 NEW BEST:: SOT 69554 SOS 44442 HAS SOPS 28228 HAS SOUS 8158 HAS SOUPS 7894 WITH SCORE 7938.442
AT ITER 1190 NEW BEST:: SOT 69157 SOS 44049 HAS SOPS 27880 HAS SOUS 8104 HAS SOUPS 7840 WITH SCORE 7884.049
AT ITER 1192 NEW BEST:: SOT 69155 SOS 44043 HAS SOPS 27874 HAS SOUS 8100 HAS SOUPS 7836 WITH SCORE 7880.043
AT ITER 1210 NEW BEST:: SOT 69134 SOS 44001 HAS SOPS 27832 HAS SOUS 8066 HAS SOUPS 7802 WITH SCORE 7846.001
AT ITER 1221 NEW BEST:: SOT 69125 SOS 43989 HAS SOPS 27814 HAS SOUS 8056 HAS SOUPS 7792 WITH SCORE 7835.989
AT ITER 1226 NEW BEST:: SOT 69177 SOS 44064 HAS SOPS 27866 HAS SOUS 8033 HAS SOUPS 7769 WITH SCORE 7813.064
AT ITER 1229 NEW BEST:: SOT 69184 SOS 44055 HAS SOPS 27867 HAS SOUS 8030 HAS SOUPS 7766 WITH SCORE 7810.055
AT ITER 1230 NEW BEST:: SOT 69108 SOS 43942 HAS SOPS 27754 HAS SOUS 7956 HAS SOUPS 7692 WITH SCORE 7735.942
AT ITER 1254 NEW BEST:: SOT 69097 SOS 43931 HAS SOPS 27732 HAS SOUS 7934 HAS SOUPS 7670 WITH SCORE 7713.931
AT ITER 1273 NEW BEST:: SOT 69082 SOS 43901 HAS SOPS 27702 HAS SOUS 7921 HAS SOUPS 7657 WITH SCORE 7700.901
AT ITER 1276 NEW BEST:: SOT 69082 SOS 43893 HAS SOPS 27698 HAS SOUS 7917 HAS SOUPS 7653 WITH SCORE 7696.893
AT ITER 1293 NEW BEST:: SOT 69077 SOS 43878 HAS SOPS 27688 HAS SOUS 7912 HAS SOUPS 7648 WITH SCORE 7691.878
AT ITER 1316 NEW BEST:: SOT 69051 SOS 43878 HAS SOPS 27662 HAS SOUS 7886 HAS SOUPS 7622 WITH SCORE 7665.878
AT ITER 1331 NEW BEST:: SOT 69051 SOS 43873 HAS SOPS 27657 HAS SOUS 7886 HAS SOUPS 7622 WITH SCORE 7665.873
AT ITER 1340 NEW BEST:: SOT 69051 SOS 43732 HAS SOPS 27519 HAS SOUS 7880 HAS SOUPS 7616 WITH SCORE 7659.732
AT ITER 1357 NEW BEST:: SOT 69017 SOS 43679 HAS SOPS 27481 HAS SOUS 7838 HAS SOUPS 7574 WITH SCORE 7617.679
AT ITER 1364 NEW BEST:: SOT 69013 SOS 43600 HAS SOPS 27420 HAS SOUS 7799 HAS SOUPS 7535 WITH SCORE 7578.6
AT ITER 1371 NEW BEST:: SOT 68952 SOS 49076 HAS SOPS 27316 HAS SOUS 7795 HAS SOUPS 7510 WITH SCORE 7559.076
AT ITER 1375 NEW BEST:: SOT 68946 SOS 49095 HAS SOPS 27304 HAS SOUS 7758 HAS SOUPS 7473 WITH SCORE 7522.095
AT ITER 1390 NEW BEST:: SOT 68932 SOS 49067 HAS SOPS 27276 HAS SOUS 7730 HAS SOUPS 7445 WITH SCORE 7494.067
AT ITER 1392 NEW BEST:: SOT 68926 SOS 49055 HAS SOPS 27262 HAS SOUS 7720 HAS SOUPS 7435 WITH SCORE 7484.055
AT ITER 1399 NEW BEST:: SOT 68906 SOS 49025 HAS SOPS 27232 HAS SOUS 7700 HAS SOUPS 7415 WITH SCORE 7464.025
AT ITER 1402 NEW BEST:: SOT 68890 SOS 48993 HAS SOPS 27191 HAS SOUS 7666 HAS SOUPS 7381 WITH SCORE 7429.993
AT ITER 1409 NEW BEST:: SOT 68889 SOS 48990 HAS SOPS 27188 HAS SOUS 7664 HAS SOUPS 7379 WITH SCORE 7427.99
AT ITER 1418 NEW BEST:: SOT 68889 SOS 48925 HAS SOPS 27188 HAS SOUS 7663 HAS SOUPS 7379 WITH SCORE 7427.925
AT ITER 1421 NEW BEST:: SOT 68889 SOS 48910 HAS SOPS 27178 HAS SOUS 7658 HAS SOUPS 7374 WITH SCORE 7422.91
AT ITER 1424 NEW BEST:: SOT 68861 SOS 48884 HAS SOPS 27152 HAS SOUS 7646 HAS SOUPS 7362 WITH SCORE 7410.884
AT ITER 1441 NEW BEST:: SOT 68860 SOS 48882 HAS SOPS 27104 HAS SOUS 7640 HAS SOUPS 7356 WITH SCORE 7404.882
AT ITER 1452 NEW BEST:: SOT 68860 SOS 48878 HAS SOPS 26874 HAS SOUS 7618 HAS SOUPS 7334 WITH SCORE 7382.878
AT ITER 1472 NEW BEST:: SOT 68865 SOS 48861 HAS SOPS 26866 HAS SOUS 7614 HAS SOUPS 7330 WITH SCORE 7378.861
AT ITER 1476 NEW BEST:: SOT 68823 SOS 48819 HAS SOPS 26822 HAS SOUS 7588 HAS SOUPS 7304 WITH SCORE 7352.819
AT ITER 1479 NEW BEST:: SOT 68822 SOS 48817 HAS SOPS 26820 HAS SOUS 7587 HAS SOUPS 7303 WITH SCORE 7351.817
AT ITER 1480 NEW BEST:: SOT 68818 SOS 48813 HAS SOPS 26816 HAS SOUS 7583 HAS SOUPS 7299 WITH SCORE 7347.813
AT ITER 1516 NEW BEST:: SOT 68810 SOS 48794 HAS SOPS 26800 HAS SOUS 7578 HAS SOUPS 7294 WITH SCORE 7342.794
AT ITER 1529 NEW BEST:: SOT 68804 SOS 48788 HAS SOPS 26794 HAS SOUS 7572 HAS SOUPS 7288 WITH SCORE 7336.788
AT ITER 1552 NEW BEST:: SOT 68803 SOS 48787 HAS SOPS 26792 HAS SOUS 7570 HAS SOUPS 7286 WITH SCORE 7334.787
AT ITER 1557 NEW BEST:: SOT 68786 SOS 48755 HAS SOPS 26758 HAS SOUS 7553 HAS SOUPS 7269 WITH SCORE 7317.755
AT ITER 1572 NEW BEST:: SOT 68754 SOS 48707 HAS SOPS 26710 HAS SOUS 7521 HAS SOUPS 7237 WITH SCORE 7285.707
AT ITER 1591 NEW BEST:: SOT 68796 SOS 48751 HAS SOPS 26488 HAS SOUS 7471 HAS SOUPS 7187 WITH SCORE 7235.751
AT ITER 1600 NEW BEST:: SOT 68790 SOS 48782 HAS SOPS 26507 HAS SOUS 7473 HAS SOUPS 7183 WITH SCORE 7231.782
AT ITER 1631 NEW BEST:: SOT 68773 SOS 48714 HAS SOPS 26439 HAS SOUS 7422 HAS SOUPS 7132 WITH SCORE 7180.714
AT ITER 1682 NEW BEST:: SOT 68772 SOS 48711 HAS SOPS 26437 HAS SOUS 7421 HAS SOUPS 7131 WITH SCORE 7179.711
AT ITER 1691 NEW BEST:: SOT 68615 SOS 48575 HAS SOPS 26307 HAS SOUS 7380 HAS SOUPS 7090 WITH SCORE 7138.575
AT ITER 1700 NEW BEST:: SOT 68613 SOS 48572 HAS SOPS 26303 HAS SOUS 7376 HAS SOUPS 7086 WITH SCORE 7134.572
AT ITER 1721 NEW BEST:: SOT 68613 SOS 48572 HAS SOPS 26302 HAS SOUS 7375 HAS SOUPS 7085 WITH SCORE 7133.572
AT ITER 1724 NEW BEST:: SOT 68613 SOS 48588 HAS SOPS 26302 HAS SOUS 7359 HAS SOUPS 7069 WITH SCORE 7117.588
AT ITER 1726 NEW BEST:: SOT 68610 SOS 48585 HAS SOPS 26296 HAS SOUS 7353 HAS SOUPS 7063 WITH SCORE 7111.585
AT ITER 1786 NEW BEST:: SOT 68610 SOS 48573 HAS SOPS 26284 HAS SOUS 7353 HAS SOUPS 7063 WITH SCORE 7111.573
AT ITER 1788 NEW BEST:: SOT 68612 SOS 48589 HAS SOPS 26288 HAS SOUS 7343 HAS SOUPS 7053 WITH SCORE 7101.589
AT ITER 1825 NEW BEST:: SOT 68608 SOS 48585 HAS SOPS 26280 HAS SOUS 7331 HAS SOUPS 7041 WITH SCORE 7089.585
AT ITER 1830 NEW BEST:: SOT 68608 SOS 47964 HAS SOPS 26280 HAS SOUS 7327 HAS SOUPS 7039 WITH SCORE 7086.964
AT ITER 1844 NEW BEST:: SOT 68608 SOS 47964 HAS SOPS 26270 HAS SOUS 7317 HAS SOUPS 7029 WITH SCORE 7076.964
AT ITER 1855 NEW BEST:: SOT 68543 SOS 47910 HAS SOPS 26322 HAS SOUS 7317 HAS SOUPS 7029 WITH SCORE 7076.91
AT ITER 1876 NEW BEST:: SOT 68535 SOS 47915 HAS SOPS 26306 HAS SOUS 7311 HAS SOUPS 7019 WITH SCORE 7066.915
AT ITER 1888 NEW BEST:: SOT 68533 SOS 47913 HAS SOPS 26302 HAS SOUS 7310 HAS SOUPS 7015 WITH SCORE 7062.913
AT ITER 1889 NEW BEST:: SOT 68533 SOS 47885 HAS SOPS 26274 HAS SOUS 7282 HAS SOUPS 6987 WITH SCORE 7034.885
AT ITER 1892 NEW BEST:: SOT 68490 SOS 47842 HAS SOPS 26230 HAS SOUS 7258 HAS SOUPS 6963 WITH SCORE 7010.842
AT ITER 1905 NEW BEST:: SOT 68471 SOS 47823 HAS SOPS 26192 HAS SOUS 7240 HAS SOUPS 6945 WITH SCORE 6992.823
AT ITER 1916 NEW BEST:: SOT 68471 SOS 47817 HAS SOPS 26192 HAS SOUS 7240 HAS SOUPS 6945 WITH SCORE 6992.817
AT ITER 1957 NEW BEST:: SOT 68469 SOS 47817 HAS SOPS 26188 HAS SOUS 7236 HAS SOUPS 6941 WITH SCORE 6988.817
AT ITER 1983 NEW BEST:: SOT 68467 SOS 47813 HAS SOPS 26184 HAS SOUS 7232 HAS SOUPS 6937 WITH SCORE 6984.813
AT ITER 2010 NEW BEST:: SOT 68365 SOS 47791 HAS SOPS 26116 HAS SOUS 7148 HAS SOUPS 6853 WITH SCORE 6900.791
AT ITER 2018 NEW BEST:: SOT 68363 SOS 47783 HAS SOPS 26112 HAS SOUS 7144 HAS SOUPS 6849 WITH SCORE 6896.783
AT ITER 2030 NEW BEST:: SOT 68398 SOS 47832 HAS SOPS 25654 HAS SOUS 7125 HAS SOUPS 6830 WITH SCORE 6877.832
AT ITER 2031 NEW BEST:: SOT 68392 SOS 47826 HAS SOPS 25642 HAS SOUS 7113 HAS SOUPS 6818 WITH SCORE 6865.826
AT ITER 2038 NEW BEST:: SOT 68387 SOS 47821 HAS SOPS 25637 HAS SOUS 7108 HAS SOUPS 6813 WITH SCORE 6860.821
AT ITER 2097 NEW BEST:: SOT 68372 SOS 47756 HAS SOPS 25577 HAS SOUS 7078 HAS SOUPS 6783 WITH SCORE 6830.756
AT ITER 2136 NEW BEST:: SOT 68370 SOS 47753 HAS SOPS 25573 HAS SOUS 7075 HAS SOUPS 6780 WITH SCORE 6827.753
AT ITER 2189 NEW BEST:: SOT 68367 SOS 47749 HAS SOPS 25568 HAS SOUS 7070 HAS SOUPS 6775 WITH SCORE 6822.749
AT ITER 2193 NEW BEST:: SOT 68347 SOS 47739 HAS SOPS 25539 HAS SOUS 7038 HAS SOUPS 6743 WITH SCORE 6790.739
AT ITER 2197 NEW BEST:: SOT 68345 SOS 47736 HAS SOPS 25535 HAS SOUS 7036 HAS SOUPS 6741 WITH SCORE 6788.736
AT ITER 2207 NEW BEST:: SOT 68343 SOS 47730 HAS SOPS 25529 HAS SOUS 7032 HAS SOUPS 6737 WITH SCORE 6784.73
AT ITER 2232 NEW BEST:: SOT 68361 SOS 47690 HAS SOPS 25503 HAS SOUS 7007 HAS SOUPS 6712 WITH SCORE 6759.69
AT ITER 2277 NEW BEST:: SOT 68340 SOS 47670 HAS SOPS 25463 HAS SOUS 6984 HAS SOUPS 6689 WITH SCORE 6736.67
AT ITER 2278 NEW BEST:: SOT 68331 SOS 47655 HAS SOPS 25445 HAS SOUS 6966 HAS SOUPS 6671 WITH SCORE 6718.655
AT ITER 2371 NEW BEST:: SOT 68304 SOS 47638 HAS SOPS 25439 HAS SOUS 6964 HAS SOUPS 6669 WITH SCORE 6716.638
AT ITER 2379 NEW BEST:: SOT 68297 SOS 47632 HAS SOPS 25431 HAS SOUS 6956 HAS SOUPS 6661 WITH SCORE 6708.632
AT ITER 2388 NEW BEST:: SOT 68288 SOS 47620 HAS SOPS 25413 HAS SOUS 6941 HAS SOUPS 6646 WITH SCORE 6693.62
AT ITER 2463 NEW BEST:: SOT 68286 SOS 47616 HAS SOPS 25409 HAS SOUS 6937 HAS SOUPS 6642 WITH SCORE 6689.616
AT ITER 2480 NEW BEST:: SOT 68269 SOS 47619 HAS SOPS 25393 HAS SOUS 6934 HAS SOUPS 6639 WITH SCORE 6686.619
AT ITER 2490 NEW BEST:: SOT 68092 SOS 47441 HAS SOPS 25233 HAS SOUS 6931 HAS SOUPS 6636 WITH SCORE 6683.441
AT ITER 2502 NEW BEST:: SOT 68087 SOS 47436 HAS SOPS 25223 HAS SOUS 6930 HAS SOUPS 6635 WITH SCORE 6682.436
AT ITER 2533 NEW BEST:: SOT 68081 SOS 47417 HAS SOPS 25211 HAS SOUS 6924 HAS SOUPS 6629 WITH SCORE 6676.417
AT ITER 2542 NEW BEST:: SOT 68078 SOS 47411 HAS SOPS 25205 HAS SOUS 6921 HAS SOUPS 6626 WITH SCORE 6673.411
AT ITER 2549 NEW BEST:: SOT 68085 SOS 47397 HAS SOPS 25207 HAS SOUS 6920 HAS SOUPS 6625 WITH SCORE 6672.397
AT ITER 2615 NEW BEST:: SOT 68087 SOS 47400 HAS SOPS 25189 HAS SOUS 6907 HAS SOUPS 6612 WITH SCORE 6659.4
AT ITER 2625 NEW BEST:: SOT 68080 SOS 47391 HAS SOPS 25180 HAS SOUS 6901 HAS SOUPS 6606 WITH SCORE 6653.391
AT ITER 2634 NEW BEST:: SOT 68078 SOS 47388 HAS SOPS 25176 HAS SOUS 6899 HAS SOUPS 6604 WITH SCORE 6651.388
AT ITER 2658 NEW BEST:: SOT 68073 SOS 47388 HAS SOPS 25166 HAS SOUS 6889 HAS SOUPS 6594 WITH SCORE 6641.388
AT ITER 2693 NEW BEST:: SOT 68072 SOS 47388 HAS SOPS 25164 HAS SOUS 6886 HAS SOUPS 6591 WITH SCORE 6638.388
AT ITER 2731 NEW BEST:: SOT 68072 SOS 47386 HAS SOPS 25162 HAS SOUS 6885 HAS SOUPS 6590 WITH SCORE 6637.386
AT ITER 2738 NEW BEST:: SOT 68073 SOS 47344 HAS SOPS 25112 HAS SOUS 6854 HAS SOUPS 6559 WITH SCORE 6606.344
AT ITER 2740 NEW BEST:: SOT 68065 SOS 47310 HAS SOPS 25096 HAS SOUS 6838 HAS SOUPS 6543 WITH SCORE 6590.31
AT ITER 2748 NEW BEST:: SOT 68063 SOS 47308 HAS SOPS 25093 HAS SOUS 6836 HAS SOUPS 6540 WITH SCORE 6587.308
AT ITER 2843 NEW BEST:: SOT 68063 SOS 47292 HAS SOPS 25085 HAS SOUS 6836 HAS SOUPS 6540 WITH SCORE 6587.292
AT ITER 2845 NEW BEST:: SOT 67993 SOS 47256 HAS SOPS 25055 HAS SOUS 6816 HAS SOUPS 6520 WITH SCORE 6567.256
AT ITER 2863 NEW BEST:: SOT 67984 SOS 47247 HAS SOPS 25046 HAS SOUS 6807 HAS SOUPS 6511 WITH SCORE 6558.247
AT ITER 2874 NEW BEST:: SOT 67967 SOS 47225 HAS SOPS 25012 HAS SOUS 6769 HAS SOUPS 6473 WITH SCORE 6520.225
AT ITER 2897 NEW BEST:: SOT 67954 SOS 47196 HAS SOPS 24986 HAS SOUS 6759 HAS SOUPS 6463 WITH SCORE 6510.196
AT ITER 2905 NEW BEST:: SOT 67943 SOS 47144 HAS SOPS 24964 HAS SOUS 6732 HAS SOUPS 6441 WITH SCORE 6488.144
AT ITER 2931 NEW BEST:: SOT 67939 SOS 47138 HAS SOPS 24956 HAS SOUS 6726 HAS SOUPS 6435 WITH SCORE 6482.138
AT ITER 2945 NEW BEST:: SOT 67945 SOS 47133 HAS SOPS 24956 HAS SOUS 6722 HAS SOUPS 6431 WITH SCORE 6478.133
AT ITER 2952 NEW BEST:: SOT 67925 SOS 47113 HAS SOPS 24931 HAS SOUS 6697 HAS SOUPS 6406 WITH SCORE 6453.113
AT ITER 2987 NEW BEST:: SOT 67923 SOS 47101 HAS SOPS 24919 HAS SOUS 6685 HAS SOUPS 6394 WITH SCORE 6441.101
AT ITER 2998 NEW BEST:: SOT 67919 SOS 47093 HAS SOPS 24907 HAS SOUS 6673 HAS SOUPS 6382 WITH SCORE 6429.093
AT ITER 3013 NEW BEST:: SOT 67918 SOS 47095 HAS SOPS 24905 HAS SOUS 6668 HAS SOUPS 6377 WITH SCORE 6424.095
AT ITER 3020 NEW BEST:: SOT 67916 SOS 47091 HAS SOPS 24901 HAS SOUS 6666 HAS SOUPS 6375 WITH SCORE 6422.091
AT ITER 3062 NEW BEST:: SOT 67907 SOS 47082 HAS SOPS 24901 HAS SOUS 6666 HAS SOUPS 6375 WITH SCORE 6422.082
AT ITER 3080 NEW BEST:: SOT 67900 SOS 47093 HAS SOPS 24904 HAS SOUS 6654 HAS SOUPS 6363 WITH SCORE 6410.093
AT ITER 3091 NEW BEST:: SOT 67927 SOS 47120 HAS SOPS 24829 HAS SOUS 6640 HAS SOUPS 6349 WITH SCORE 6396.12
AT ITER 3103 NEW BEST:: SOT 67927 SOS 47112 HAS SOPS 24829 HAS SOUS 6638 HAS SOUPS 6347 WITH SCORE 6394.112
AT ITER 3134 NEW BEST:: SOT 67937 SOS 47143 HAS SOPS 24849 HAS SOUS 6637 HAS SOUPS 6346 WITH SCORE 6393.143
AT ITER 3138 NEW BEST:: SOT 67934 SOS 47156 HAS SOPS 24843 HAS SOUS 6631 HAS SOUPS 6340 WITH SCORE 6387.156
AT ITER 3147 NEW BEST:: SOT 67933 SOS 47155 HAS SOPS 24842 HAS SOUS 6630 HAS SOUPS 6339 WITH SCORE 6386.155
AT ITER 3170 NEW BEST:: SOT 67933 SOS 47138 HAS SOPS 24842 HAS SOUS 6630 HAS SOUPS 6339 WITH SCORE 6386.138
AT ITER 3244 NEW BEST:: SOT 67953 SOS 47158 HAS SOPS 24854 HAS SOUS 6614 HAS SOUPS 6323 WITH SCORE 6370.158
AT ITER 3259 NEW BEST:: SOT 67947 SOS 47152 HAS SOPS 24845 HAS SOUS 6608 HAS SOUPS 6317 WITH SCORE 6364.152
AT ITER 3260 NEW BEST:: SOT 67947 SOS 47140 HAS SOPS 24839 HAS SOUS 6602 HAS SOUPS 6311 WITH SCORE 6358.14
AT ITER 3262 NEW BEST:: SOT 67929 SOS 47121 HAS SOPS 24820 HAS SOUS 6591 HAS SOUPS 6300 WITH SCORE 6347.121
AT ITER 3329 NEW BEST:: SOT 67925 SOS 47117 HAS SOPS 24816 HAS SOUS 6587 HAS SOUPS 6296 WITH SCORE 6343.117
AT ITER 3369 NEW BEST:: SOT 67917 SOS 47105 HAS SOPS 24800 HAS SOUS 6571 HAS SOUPS 6280 WITH SCORE 6327.105
AT ITER 3379 NEW BEST:: SOT 67862 SOS 47059 HAS SOPS 24716 HAS SOUS 6487 HAS SOUPS 6196 WITH SCORE 6243.059
AT ITER 3401 NEW BEST:: SOT 67860 SOS 47055 HAS SOPS 24692 HAS SOUS 6404 HAS SOUPS 6113 WITH SCORE 6160.055
AT ITER 3408 NEW BEST:: SOT 67859 SOS 47520 HAS SOPS 24683 HAS SOUS 6405 HAS SOUPS 6107 WITH SCORE 6154.52
AT ITER 3458 NEW BEST:: SOT 67813 SOS 47521 HAS SOPS 24638 HAS SOUS 6360 HAS SOUPS 6062 WITH SCORE 6109.521
AT ITER 3482 NEW BEST:: SOT 67779 SOS 47469 HAS SOPS 24570 HAS SOUS 6292 HAS SOUPS 5994 WITH SCORE 6041.469
AT ITER 3489 NEW BEST:: SOT 67777 SOS 47465 HAS SOPS 24565 HAS SOUS 6288 HAS SOUPS 5990 WITH SCORE 6037.465
AT ITER 3500 NEW BEST:: SOT 67764 SOS 48693 HAS SOPS 24547 HAS SOUS 6280 HAS SOUPS 5978 WITH SCORE 6026.693
AT ITER 3531 NEW BEST:: SOT 67761 SOS 48687 HAS SOPS 24541 HAS SOUS 6274 HAS SOUPS 5972 WITH SCORE 6020.687
AT ITER 3550 NEW BEST:: SOT 67753 SOS 48675 HAS SOPS 24525 HAS SOUS 6265 HAS SOUPS 5959 WITH SCORE 6007.675
AT ITER 3574 NEW BEST:: SOT 67730 SOS 48648 HAS SOPS 24675 HAS SOUS 6248 HAS SOUPS 5942 WITH SCORE 5990.648
AT ITER 3631 NEW BEST:: SOT 67727 SOS 48642 HAS SOPS 24669 HAS SOUS 6239 HAS SOUPS 5933 WITH SCORE 5981.642
AT ITER 3634 NEW BEST:: SOT 67725 SOS 48642 HAS SOPS 24667 HAS SOUS 6237 HAS SOUPS 5931 WITH SCORE 5979.642
AT ITER 3651 NEW BEST:: SOT 67701 SOS 48636 HAS SOPS 24661 HAS SOUS 6237 HAS SOUPS 5931 WITH SCORE 5979.636
AT ITER 3694 NEW BEST:: SOT 67623 SOS 48556 HAS SOPS 24577 HAS SOUS 6169 HAS SOUPS 5863 WITH SCORE 5911.556
AT ITER 3742 NEW BEST:: SOT 67616 SOS 48544 HAS SOPS 24569 HAS SOUS 6166 HAS SOUPS 5860 WITH SCORE 5908.544
AT ITER 3750 NEW BEST:: SOT 67613 SOS 48541 HAS SOPS 24566 HAS SOUS 6163 HAS SOUPS 5857 WITH SCORE 5905.541
AT ITER 3771 NEW BEST:: SOT 67611 SOS 48539 HAS SOPS 24562 HAS SOUS 6159 HAS SOUPS 5853 WITH SCORE 5901.539
AT ITER 3783 NEW BEST:: SOT 67626 SOS 48538 HAS SOPS 24576 HAS SOUS 6157 HAS SOUPS 5851 WITH SCORE 5899.538
AT ITER 3812 NEW BEST:: SOT 67733 SOS 48641 HAS SOPS 24614 HAS SOUS 6156 HAS SOUPS 5850 WITH SCORE 5898.641
AT ITER 3877 NEW BEST:: SOT 67730 SOS 48635 HAS SOPS 24608 HAS SOUS 6156 HAS SOUPS 5850 WITH SCORE 5898.635
AT ITER 3973 NEW BEST:: SOT 67726 SOS 48631 HAS SOPS 24600 HAS SOUS 6148 HAS SOUPS 5842 WITH SCORE 5890.631
AT ITER 3988 NEW BEST:: SOT 67760 SOS 48657 HAS SOPS 24512 HAS SOUS 6134 HAS SOUPS 5828 WITH SCORE 5876.657
AT ITER 4001 NEW BEST:: SOT 67760 SOS 48657 HAS SOPS 24510 HAS SOUS 6132 HAS SOUPS 5824 WITH SCORE 5872.657
AT ITER 4037 NEW BEST:: SOT 67745 SOS 48626 HAS SOPS 24480 HAS SOUS 6102 HAS SOUPS 5794 WITH SCORE 5842.626
AT ITER 4064 NEW BEST:: SOT 67720 SOS 48602 HAS SOPS 24456 HAS SOUS 6091 HAS SOUPS 5783 WITH SCORE 5831.602
AT ITER 4078 NEW BEST:: SOT 67712 SOS 48594 HAS SOPS 24440 HAS SOUS 6075 HAS SOUPS 5767 WITH SCORE 5815.594
AT ITER 4114 NEW BEST:: SOT 67712 SOS 48592 HAS SOPS 24438 HAS SOUS 6073 HAS SOUPS 5765 WITH SCORE 5813.592
AT ITER 4138 NEW BEST:: SOT 67706 SOS 48576 HAS SOPS 24426 HAS SOUS 6068 HAS SOUPS 5760 WITH SCORE 5808.576
AT ITER 4141 NEW BEST:: SOT 67685 SOS 48545 HAS SOPS 24395 HAS SOUS 6038 HAS SOUPS 5730 WITH SCORE 5778.545
AT ITER 4148 NEW BEST:: SOT 67345 SOS 48213 HAS SOPS 24179 HAS SOUS 6022 HAS SOUPS 5714 WITH SCORE 5762.213
AT ITER 4218 NEW BEST:: SOT 67346 SOS 48178 HAS SOPS 24145 HAS SOUS 5988 HAS SOUPS 5680 WITH SCORE 5728.178
AT ITER 4234 NEW BEST:: SOT 67287 SOS 48060 HAS SOPS 24027 HAS SOUS 5929 HAS SOUPS 5621 WITH SCORE 5669.06
AT ITER 4254 NEW BEST:: SOT 67285 SOS 48056 HAS SOPS 24023 HAS SOUS 5927 HAS SOUPS 5619 WITH SCORE 5667.056
AT ITER 4260 NEW BEST:: SOT 67285 SOS 48050 HAS SOPS 24023 HAS SOUS 5927 HAS SOUPS 5619 WITH SCORE 5667.05
AT ITER 4276 NEW BEST:: SOT 67284 SOS 48039 HAS SOPS 24021 HAS SOUS 5926 HAS SOUPS 5618 WITH SCORE 5666.039
AT ITER 4281 NEW BEST:: SOT 67282 SOS 48018 HAS SOPS 24006 HAS SOUS 5921 HAS SOUPS 5613 WITH SCORE 5661.018
AT ITER 4327 NEW BEST:: SOT 67281 SOS 48017 HAS SOPS 23991 HAS SOUS 5901 HAS SOUPS 5593 WITH SCORE 5641.017
AT ITER 4382 NEW BEST:: SOT 67281 SOS 48012 HAS SOPS 23986 HAS SOUS 5891 HAS SOUPS 5583 WITH SCORE 5631.012
AT ITER 4395 NEW BEST:: SOT 67267 SOS 47991 HAS SOPS 23965 HAS SOUS 5877 HAS SOUPS 5569 WITH SCORE 5616.991
AT ITER 4457 NEW BEST:: SOT 67263 SOS 47988 HAS SOPS 23960 HAS SOUS 5877 HAS SOUPS 5569 WITH SCORE 5616.988
AT ITER 4505 NEW BEST:: SOT 67258 SOS 52154 HAS SOPS 23919 HAS SOUS 5866 HAS SOUPS 5546 WITH SCORE 5598.154
AT ITER 4526 NEW BEST:: SOT 67255 SOS 52159 HAS SOPS 23917 HAS SOUS 5860 HAS SOUPS 5540 WITH SCORE 5592.159
AT ITER 4651 NEW BEST:: SOT 66988 SOS 51902 HAS SOPS 23678 HAS SOUS 5754 HAS SOUPS 5434 WITH SCORE 5485.902
AT ITER 4733 NEW BEST:: SOT 66967 SOS 51881 HAS SOPS 23647 HAS SOUS 5723 HAS SOUPS 5403 WITH SCORE 5454.881
AT ITER 4792 NEW BEST:: SOT 66884 SOS 51797 HAS SOPS 23562 HAS SOUS 5679 HAS SOUPS 5358 WITH SCORE 5409.797
AT ITER 4844 NEW BEST:: SOT 66902 SOS 51870 HAS SOPS 23598 HAS SOUS 5667 HAS SOUPS 5346 WITH SCORE 5397.87
AT ITER 4992 NEW BEST:: SOT 66899 SOS 51865 HAS SOPS 23592 HAS SOUS 5663 HAS SOUPS 5341 WITH SCORE 5392.865
AT ITER 4994 NEW BEST:: SOT 66898 SOS 51864 HAS SOPS 23590 HAS SOUS 5661 HAS SOUPS 5339 WITH SCORE 5390.864
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-00 (EU( ( (! ( ((potential((tk(P140)>=1) & (tk(P171)>=1)))) & ((potential((tk(P11)>=1)))) )) & ( (! ((potential((tk(P91)>=1) & (tk(P170)>=1))))) | ((potential((tk(P109)>=1)))) ) ) , ( (EF( ((potential((tk(P84)>=1)))))) & (AG( ((potential((tk(P72)>=1) & (tk(P145)>=1) & (tk(P170)>=1)))))) ) ))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-01 (AG( (EG( (! ((potential((tk(P53)>=1) & (tk(P171)>=1)))))))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-02 (! (! (EF( (AG( ((potential((tk(P57)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-03 ( (AG( (EF( ( ((potential((tk(P49)>=1) & (tk(P144)>=1) & (tk(P170)>=1)))) & ((potential((tk(P37)>=1) & (tk(P120)>=1) & (tk(P170)>=1)))) ))))) & (EU( ( (! ((potential((tk(P9)>=1))))) | ( ((potential((tk(P36)>=1) & (tk(P73)>=1) & (tk(P170)>=1)))) | ((potential((tk(P26)>=1)))) ) ) , ( ((potential((tk(P12)>=1) & (tk(P85)>=1) & (tk(P170)>=1)))) | ( ((potential((tk(P143)>=1)))) | ((potential((tk(P39)>=1) & (tk(P171)>=1)))) ) ) )) )
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-04 ( ( (! ( (AF( ((potential((tk(P25)>=1) & (tk(P132)>=1) & (tk(P170)>=1)))))) | ( ( ((potential((tk(P37)>=1) & (tk(P84)>=1) & (tk(P170)>=1)))) | ((potential((tk(P37)>=1) & (tk(P72)>=1) & (tk(P170)>=1)))) ) | ( ((potential((tk(P37)>=1) & (tk(P48)>=1) & (tk(P170)>=1)))) & ((potential((tk(P60)>=1) & (tk(P157)>=1) & (tk(P170)>=1)))) ) ) )) | ( ((potential((tk(P13)>=1) & (tk(P96)>=1) & (tk(P170)>=1)))) | (! ( ( ((potential((tk(P66)>=1) & (tk(P171)>=1)))) & ((potential((tk(P12)>=1) & (tk(P170)>=1)))) ) | ( ((potential((tk(P61)>=1) & (tk(P120)>=1) & (tk(P170)>=1)))) & ((potential((tk(P96)>=1) & (tk(P133)>=1) & (tk(P170)>=1)))) ) )) ) ) & ( (AG( ( (! ((potential((tk(P18)>=1))))) | (! ((potential((tk(P24)>=1) & (tk(P85)>=1) & (tk(P170)>=1))))) ))) | ( ( (EX( ((potential((tk(P80)>=1) & (tk(P171)>=1)))))) | (AX( ((potential((tk(P73)>=1) & (tk(P132)>=1) & (tk(P170)>=1)))))) ) & ( (EX( ((potential((tk(P171)>=1) & (tk(P118)>=1)))))) & ( ((potential((tk(P111)>=1) & (tk(P171)>=1)))) & ( ((potential((tk(P25)>=1) & (tk(P156)>=1) & (tk(P170)>=1)))) | ((potential((tk(P88)>=1)))) ) ) ) ) ) )
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-05 (EF( (AX( ( ((potential((tk(P62)>=1)))) & ( ((potential((tk(P97)>=1) & (tk(P144)>=1) & (tk(P170)>=1)))) | ((potential((tk(P73)>=1) & (tk(P108)>=1) & (tk(P170)>=1)))) ) )))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-06 (EF( (EF( (AX( ((potential((tk(P36)>=1) & (tk(P170)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-07 (AG( (! ( (EX( ((potential((tk(P81)>=1)))))) & (EX( ((potential((tk(P168)>=1) & (tk(P170)>=1)))))) ))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-08 (EU( (EX( (! ((potential((tk(P131)>=1))))))) , (EU( ((potential((tk(P21)>=1)))) , ((potential((tk(P134)>=1)))) )) ))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-09 (EG( (AG( ( (! ((potential((tk(P122)>=1))))) | (! ((potential((tk(P100)>=1))))) )))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-10 (AG( ( (! (AX( ((potential((tk(P83)>=1))))))) & ( (EF( ((potential((tk(P171)>=1) & (tk(P118)>=1)))))) | ((potential((tk(P49)>=1) & (tk(P132)>=1) & (tk(P170)>=1)))) ) )))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-11 (EG( (EG( (EF( ((potential((tk(P81)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-12 (EF( (AF( (EF( ((potential((tk(P20)>=1) & (tk(P171)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-13 (EX( ( ( ( ( ((potential((tk(P127)>=1) & (tk(P170)>=1)))) & ((potential((tk(P86)>=1)))) ) | ((potential((tk(P37)>=1) & (tk(P120)>=1) & (tk(P170)>=1)))) ) & ((potential((tk(P168)>=1) & (tk(P170)>=1)))) ) | (EF( ((potential((tk(P93)>=1)))))) )))
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-14 ( (AG( ( ( ( ((potential((tk(P49)>=1) & (tk(P108)>=1) & (tk(P170)>=1)))) | ((potential((tk(P38)>=1)))) ) & (! ((potential((tk(P60)>=1) & (tk(P85)>=1) & (tk(P170)>=1))))) ) | (! ( ((potential((tk(P85)>=1) & (tk(P120)>=1) & (tk(P170)>=1)))) & ((potential((tk(P81)>=1)))) )) ))) | ( ( ((potential((tk(P111)>=1) & (tk(P171)>=1)))) | (EU( ((potential((tk(P108)>=1) & (tk(P145)>=1) & (tk(P170)>=1)))) , ((potential((tk(P95)>=1)))) )) ) | (EU( ( ((potential((tk(P160)>=1)))) | ((potential((tk(P73)>=1)))) ) , ( ((potential((tk(P36)>=1) & (tk(P85)>=1) & (tk(P170)>=1)))) & ((potential((tk(P33)>=1)))) ) )) ) )
PROPERTY: FlexibleBarrier-PT-14a-CTLFireability-15 (EF( ( ((potential((tk(P69)>=1)))) & (AU( ((potential((tk(P85)>=1) & (tk(P144)>=1) & (tk(P170)>=1)))) , ((potential((tk(P6)>=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="FlexibleBarrier-PT-14a"
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-14a, 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-158922972500340"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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