Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 504K
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:29 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 14 12:29 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 14 12:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 14 12:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.7K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 15:19 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 15:19 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 14 12:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 14 12:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 14 12:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 14 12:24 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 327K 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 Eratosthenes-PT-200-CTLFireability-00
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-01
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-02
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-03
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-04
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-05
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-06
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-07
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-08
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-09
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-10
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-11
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-12
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-13
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-14
FORMULA_NAME Eratosthenes-PT-200-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589369562122

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Eratosthenes (PT), instance 200
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: 199 places, 699 transitions, 2097 arcs.
AT ITER 0 NEW BEST:: SOT 91841 SOS 45024 HAS SOPS 35448 HAS SOUS 13646 HAS SOUPS 9747 WITH SCORE 9792.024
AT ITER 1 NEW BEST:: SOT 92824 SOS 45510 HAS SOPS 34951 HAS SOUS 14314 HAS SOUPS 9645 WITH SCORE 9690.51
AT ITER 3 NEW BEST:: SOT 93188 SOS 45146 HAS SOPS 34223 HAS SOUS 14560 HAS SOUPS 9645 WITH SCORE 9690.146
AT ITER 4 NEW BEST:: SOT 93188 SOS 45116 HAS SOPS 34193 HAS SOUS 14560 HAS SOUPS 9645 WITH SCORE 9690.116
AT ITER 6 NEW BEST:: SOT 93188 SOS 45104 HAS SOPS 34177 HAS SOUS 14570 HAS SOUPS 9645 WITH SCORE 9690.104
AT ITER 7 NEW BEST:: SOT 93636 SOS 44872 HAS SOPS 33497 HAS SOUS 14764 HAS SOUPS 9645 WITH SCORE 9689.872
AT ITER 10 NEW BEST:: SOT 93610 SOS 44932 HAS SOPS 33439 HAS SOUS 14710 HAS SOUPS 9587 WITH SCORE 9631.932
AT ITER 20 NEW BEST:: SOT 93848 SOS 45064 HAS SOPS 33333 HAS SOUS 14812 HAS SOUPS 9531 WITH SCORE 9576.064
AT ITER 22 NEW BEST:: SOT 93966 SOS 44971 HAS SOPS 33075 HAS SOUS 14883 HAS SOUPS 9531 WITH SCORE 9575.971
AT ITER 23 NEW BEST:: SOT 94347 SOS 45061 HAS SOPS 32784 HAS SOUS 15023 HAS SOUPS 9453 WITH SCORE 9498.061
AT ITER 24 NEW BEST:: SOT 95004 SOS 45065 HAS SOPS 32131 HAS SOUS 15339 HAS SOUPS 9351 WITH SCORE 9396.065
AT ITER 25 NEW BEST:: SOT 95244 SOS 44752 HAS SOPS 31578 HAS SOUS 15390 HAS SOUPS 9290 WITH SCORE 9334.752
AT ITER 26 NEW BEST:: SOT 95251 SOS 44745 HAS SOPS 31557 HAS SOUS 15411 HAS SOUPS 9290 WITH SCORE 9334.745
AT ITER 32 NEW BEST:: SOT 94844 SOS 44492 HAS SOPS 31216 HAS SOUS 15460 HAS SOUPS 9290 WITH SCORE 9334.492
AT ITER 35 NEW BEST:: SOT 95584 SOS 44642 HAS SOPS 30626 HAS SOUS 15590 HAS SOUPS 9184 WITH SCORE 9228.642
AT ITER 40 NEW BEST:: SOT 95608 SOS 44610 HAS SOPS 30562 HAS SOUS 15606 HAS SOUPS 9184 WITH SCORE 9228.61
AT ITER 42 NEW BEST:: SOT 95674 SOS 44566 HAS SOPS 30452 HAS SOUS 15621 HAS SOUPS 9184 WITH SCORE 9228.566
AT ITER 45 NEW BEST:: SOT 95748 SOS 45128 HAS SOPS 30388 HAS SOUS 15742 HAS SOUPS 9126 WITH SCORE 9171.128
AT ITER 47 NEW BEST:: SOT 95708 SOS 45026 HAS SOPS 30348 HAS SOUS 15724 HAS SOUPS 9126 WITH SCORE 9171.026
AT ITER 48 NEW BEST:: SOT 96026 SOS 45210 HAS SOPS 30553 HAS SOUS 15679 HAS SOUPS 9123 WITH SCORE 9168.21
AT ITER 49 NEW BEST:: SOT 96063 SOS 45176 HAS SOPS 30482 HAS SOUS 15699 HAS SOUPS 9123 WITH SCORE 9168.176
AT ITER 53 NEW BEST:: SOT 96099 SOS 45083 HAS SOPS 30368 HAS SOUS 15684 HAS SOUPS 9108 WITH SCORE 9153.083
AT ITER 55 NEW BEST:: SOT 96099 SOS 45051 HAS SOPS 30336 HAS SOUS 15672 HAS SOUPS 9108 WITH SCORE 9153.051
AT ITER 57 NEW BEST:: SOT 96105 SOS 45033 HAS SOPS 30318 HAS SOUS 15660 HAS SOUPS 9102 WITH SCORE 9147.033
AT ITER 58 NEW BEST:: SOT 96163 SOS 44953 HAS SOPS 30180 HAS SOUS 15669 HAS SOUPS 9102 WITH SCORE 9146.953
AT ITER 62 NEW BEST:: SOT 95812 SOS 44685 HAS SOPS 29705 HAS SOUS 15589 HAS SOUPS 8960 WITH SCORE 9004.685
AT ITER 63 NEW BEST:: SOT 96127 SOS 44757 HAS SOPS 29462 HAS SOUS 15615 HAS SOUPS 8893 WITH SCORE 8937.757
AT ITER 64 NEW BEST:: SOT 96110 SOS 44613 HAS SOPS 29445 HAS SOUS 15505 HAS SOUPS 8893 WITH SCORE 8937.613
AT ITER 65 NEW BEST:: SOT 96788 SOS 44699 HAS SOPS 28853 HAS SOUS 15567 HAS SOUPS 8790 WITH SCORE 8834.699
AT ITER 67 NEW BEST:: SOT 96871 SOS 44865 HAS SOPS 28636 HAS SOUS 15492 HAS SOUPS 8715 WITH SCORE 8759.865
AT ITER 68 NEW BEST:: SOT 97005 SOS 44635 HAS SOPS 28770 HAS SOUS 15346 HAS SOUPS 8715 WITH SCORE 8759.635
AT ITER 69 NEW BEST:: SOT 97117 SOS 44859 HAS SOPS 28783 HAS SOUS 15580 HAS SOUPS 8712 WITH SCORE 8756.859
AT ITER 71 NEW BEST:: SOT 97283 SOS 44589 HAS SOPS 28949 HAS SOUS 15561 HAS SOUPS 8712 WITH SCORE 8756.589
AT ITER 72 NEW BEST:: SOT 97217 SOS 44457 HAS SOPS 28667 HAS SOUS 15627 HAS SOUPS 8712 WITH SCORE 8756.457
AT ITER 74 NEW BEST:: SOT 97448 SOS 44361 HAS SOPS 28278 HAS SOUS 15755 HAS SOUPS 8712 WITH SCORE 8756.361
AT ITER 75 NEW BEST:: SOT 96556 SOS 43869 HAS SOPS 27386 HAS SOUS 15739 HAS SOUPS 8696 WITH SCORE 8739.869
AT ITER 78 NEW BEST:: SOT 96559 SOS 43857 HAS SOPS 27389 HAS SOUS 15724 HAS SOUPS 8696 WITH SCORE 8739.857
AT ITER 79 NEW BEST:: SOT 96559 SOS 43593 HAS SOPS 27389 HAS SOUS 15658 HAS SOUPS 8696 WITH SCORE 8739.593
AT ITER 80 NEW BEST:: SOT 96984 SOS 43456 HAS SOPS 27250 HAS SOUS 15470 HAS SOUPS 8645 WITH SCORE 8688.456
AT ITER 81 NEW BEST:: SOT 97016 SOS 43421 HAS SOPS 27282 HAS SOUS 15470 HAS SOUPS 8645 WITH SCORE 8688.421
AT ITER 83 NEW BEST:: SOT 96712 SOS 43197 HAS SOPS 26978 HAS SOUS 15480 HAS SOUPS 8631 WITH SCORE 8674.197
AT ITER 84 NEW BEST:: SOT 96707 SOS 43159 HAS SOPS 26959 HAS SOUS 15480 HAS SOUPS 8631 WITH SCORE 8674.159
AT ITER 85 NEW BEST:: SOT 96781 SOS 42977 HAS SOPS 26835 HAS SOUS 15449 HAS SOUPS 8631 WITH SCORE 8673.977
AT ITER 87 NEW BEST:: SOT 96957 SOS 43140 HAS SOPS 26822 HAS SOUS 15540 HAS SOUPS 8618 WITH SCORE 8661.14
AT ITER 88 NEW BEST:: SOT 96938 SOS 43058 HAS SOPS 26451 HAS SOUS 15540 HAS SOUPS 8618 WITH SCORE 8661.058
AT ITER 95 NEW BEST:: SOT 96969 SOS 42900 HAS SOPS 26306 HAS SOUS 15492 HAS SOUPS 8618 WITH SCORE 8660.9
AT ITER 98 NEW BEST:: SOT 96961 SOS 42889 HAS SOPS 26303 HAS SOUS 15484 HAS SOUPS 8615 WITH SCORE 8657.889
AT ITER 103 NEW BEST:: SOT 95948 SOS 42815 HAS SOPS 24924 HAS SOUS 15538 HAS SOUPS 8587 WITH SCORE 8629.815
AT ITER 107 NEW BEST:: SOT 95939 SOS 42698 HAS SOPS 25212 HAS SOUS 15361 HAS SOUPS 8587 WITH SCORE 8629.698
AT ITER 110 NEW BEST:: SOT 96959 SOS 42758 HAS SOPS 24582 HAS SOUS 15194 HAS SOUPS 8497 WITH SCORE 8539.758
AT ITER 113 NEW BEST:: SOT 95707 SOS 42354 HAS SOPS 22910 HAS SOUS 14945 HAS SOUPS 8248 WITH SCORE 8290.354
AT ITER 114 NEW BEST:: SOT 95522 SOS 42584 HAS SOPS 22275 HAS SOUS 14923 HAS SOUPS 8051 WITH SCORE 8093.584
AT ITER 115 NEW BEST:: SOT 94513 SOS 42606 HAS SOPS 21266 HAS SOUS 14948 HAS SOUPS 8034 WITH SCORE 8076.606
AT ITER 116 NEW BEST:: SOT 94951 SOS 42285 HAS SOPS 21172 HAS SOUS 14966 HAS SOUPS 8026 WITH SCORE 8068.285
AT ITER 117 NEW BEST:: SOT 94750 SOS 42702 HAS SOPS 20789 HAS SOUS 15145 HAS SOUPS 8013 WITH SCORE 8055.702
AT ITER 122 NEW BEST:: SOT 95030 SOS 42878 HAS SOPS 20493 HAS SOUS 15169 HAS SOUPS 7998 WITH SCORE 8040.878
AT ITER 123 NEW BEST:: SOT 94819 SOS 41816 HAS SOPS 20026 HAS SOUS 15078 HAS SOUPS 7988 WITH SCORE 8029.816
AT ITER 124 NEW BEST:: SOT 94585 SOS 41756 HAS SOPS 20268 HAS SOUS 14908 HAS SOUPS 7988 WITH SCORE 8029.756
AT ITER 127 NEW BEST:: SOT 94569 SOS 41745 HAS SOPS 20266 HAS SOUS 14911 HAS SOUPS 7986 WITH SCORE 8027.745
AT ITER 128 NEW BEST:: SOT 94532 SOS 41623 HAS SOPS 20109 HAS SOUS 14879 HAS SOUPS 7978 WITH SCORE 8019.623
AT ITER 130 NEW BEST:: SOT 94532 SOS 41473 HAS SOPS 20009 HAS SOUS 14779 HAS SOUPS 7978 WITH SCORE 8019.473
AT ITER 131 NEW BEST:: SOT 94564 SOS 41391 HAS SOPS 19895 HAS SOUS 14815 HAS SOUPS 7978 WITH SCORE 8019.391
AT ITER 132 NEW BEST:: SOT 94645 SOS 41328 HAS SOPS 19826 HAS SOUS 14815 HAS SOUPS 7978 WITH SCORE 8019.328
AT ITER 134 NEW BEST:: SOT 94128 SOS 41128 HAS SOPS 19865 HAS SOUS 14951 HAS SOUPS 7922 WITH SCORE 7963.128
AT ITER 135 NEW BEST:: SOT 94131 SOS 40790 HAS SOPS 20040 HAS SOUS 14865 HAS SOUPS 7922 WITH SCORE 7962.79
AT ITER 136 NEW BEST:: SOT 94066 SOS 40765 HAS SOPS 19870 HAS SOUS 14822 HAS SOUPS 7879 WITH SCORE 7919.765
AT ITER 138 NEW BEST:: SOT 94386 SOS 39980 HAS SOPS 20265 HAS SOUS 14822 HAS SOUPS 7879 WITH SCORE 7918.98
AT ITER 140 NEW BEST:: SOT 95049 SOS 40290 HAS SOPS 19912 HAS SOUS 14882 HAS SOUPS 7791 WITH SCORE 7831.29
AT ITER 141 NEW BEST:: SOT 95060 SOS 40196 HAS SOPS 19865 HAS SOUS 14864 HAS SOUPS 7791 WITH SCORE 7831.196
AT ITER 143 NEW BEST:: SOT 95184 SOS 40149 HAS SOPS 19753 HAS SOUS 14875 HAS SOUPS 7791 WITH SCORE 7831.149
AT ITER 147 NEW BEST:: SOT 94870 SOS 39845 HAS SOPS 19763 HAS SOUS 14785 HAS SOUPS 7769 WITH SCORE 7808.845
AT ITER 152 NEW BEST:: SOT 94510 SOS 39485 HAS SOPS 19763 HAS SOUS 14647 HAS SOUPS 7769 WITH SCORE 7808.485
AT ITER 157 NEW BEST:: SOT 94220 SOS 39269 HAS SOPS 19564 HAS SOUS 14628 HAS SOUPS 7750 WITH SCORE 7789.269
AT ITER 162 NEW BEST:: SOT 94682 SOS 38737 HAS SOPS 18570 HAS SOUS 14695 HAS SOUPS 7750 WITH SCORE 7788.737
AT ITER 163 NEW BEST:: SOT 95079 SOS 39003 HAS SOPS 18439 HAS SOUS 14774 HAS SOUPS 7688 WITH SCORE 7727.003
AT ITER 165 NEW BEST:: SOT 95118 SOS 38976 HAS SOPS 18506 HAS SOUS 14767 HAS SOUPS 7688 WITH SCORE 7726.976
AT ITER 166 NEW BEST:: SOT 95021 SOS 38782 HAS SOPS 18409 HAS SOUS 14777 HAS SOUPS 7594 WITH SCORE 7632.782
AT ITER 167 NEW BEST:: SOT 95021 SOS 38757 HAS SOPS 18409 HAS SOUS 14777 HAS SOUPS 7594 WITH SCORE 7632.757
AT ITER 170 NEW BEST:: SOT 92234 SOS 39683 HAS SOPS 15622 HAS SOUS 13980 HAS SOUPS 6697 WITH SCORE 6736.683
AT ITER 171 NEW BEST:: SOT 92016 SOS 39627 HAS SOPS 15860 HAS SOUS 13901 HAS SOUPS 6697 WITH SCORE 6736.627
AT ITER 172 NEW BEST:: SOT 92081 SOS 39575 HAS SOPS 15769 HAS SOUS 13901 HAS SOUPS 6697 WITH SCORE 6736.575
AT ITER 175 NEW BEST:: SOT 92155 SOS 39523 HAS SOPS 15743 HAS SOUS 13825 HAS SOUPS 6671 WITH SCORE 6710.523
AT ITER 177 NEW BEST:: SOT 92027 SOS 39883 HAS SOPS 15615 HAS SOUS 13835 HAS SOUPS 6637 WITH SCORE 6676.883
AT ITER 180 NEW BEST:: SOT 92838 SOS 41811 HAS SOPS 14998 HAS SOUS 13918 HAS SOUPS 6525 WITH SCORE 6566.811
AT ITER 182 NEW BEST:: SOT 92816 SOS 41767 HAS SOPS 14976 HAS SOUS 13896 HAS SOUPS 6503 WITH SCORE 6544.767
AT ITER 184 NEW BEST:: SOT 92815 SOS 41837 HAS SOPS 14939 HAS SOUS 13942 HAS SOUPS 6477 WITH SCORE 6518.837
AT ITER 189 NEW BEST:: SOT 92815 SOS 41790 HAS SOPS 14939 HAS SOUS 13848 HAS SOUPS 6477 WITH SCORE 6518.79
AT ITER 192 NEW BEST:: SOT 92774 SOS 41554 HAS SOPS 14744 HAS SOUS 13807 HAS SOUPS 6400 WITH SCORE 6441.554
AT ITER 195 NEW BEST:: SOT 93334 SOS 42042 HAS SOPS 14672 HAS SOUS 13880 HAS SOUPS 6369 WITH SCORE 6411.042
AT ITER 198 NEW BEST:: SOT 93485 SOS 42180 HAS SOPS 14659 HAS SOUS 13867 HAS SOUPS 6356 WITH SCORE 6398.18
AT ITER 200 NEW BEST:: SOT 93178 SOS 42034 HAS SOPS 14280 HAS SOUS 13867 HAS SOUPS 6356 WITH SCORE 6398.034
AT ITER 202 NEW BEST:: SOT 93151 SOS 42016 HAS SOPS 14289 HAS SOUS 13876 HAS SOUPS 6356 WITH SCORE 6398.016
AT ITER 204 NEW BEST:: SOT 93175 SOS 41956 HAS SOPS 14217 HAS SOUS 13852 HAS SOUPS 6356 WITH SCORE 6397.956
AT ITER 210 NEW BEST:: SOT 93209 SOS 41768 HAS SOPS 14251 HAS SOUS 13724 HAS SOUPS 6292 WITH SCORE 6333.768
AT ITER 212 NEW BEST:: SOT 93211 SOS 41548 HAS SOPS 14253 HAS SOUS 13638 HAS SOUPS 6292 WITH SCORE 6333.548
AT ITER 216 NEW BEST:: SOT 93031 SOS 41587 HAS SOPS 14339 HAS SOUS 13609 HAS SOUPS 6281 WITH SCORE 6322.587
AT ITER 219 NEW BEST:: SOT 93066 SOS 41307 HAS SOPS 14024 HAS SOUS 13593 HAS SOUPS 6281 WITH SCORE 6322.307
AT ITER 221 NEW BEST:: SOT 91859 SOS 41409 HAS SOPS 12681 HAS SOUS 13051 HAS SOUPS 5603 WITH SCORE 5644.409
AT ITER 223 NEW BEST:: SOT 91910 SOS 41511 HAS SOPS 12548 HAS SOUS 13102 HAS SOUPS 5581 WITH SCORE 5622.511
AT ITER 226 NEW BEST:: SOT 91770 SOS 41429 HAS SOPS 12480 HAS SOUS 13138 HAS SOUPS 5581 WITH SCORE 5622.429
AT ITER 227 NEW BEST:: SOT 91817 SOS 41343 HAS SOPS 12347 HAS SOUS 13112 HAS SOUPS 5581 WITH SCORE 5622.343
AT ITER 230 NEW BEST:: SOT 91799 SOS 41325 HAS SOPS 12347 HAS SOUS 13109 HAS SOUPS 5581 WITH SCORE 5622.325
AT ITER 232 NEW BEST:: SOT 91648 SOS 41191 HAS SOPS 12364 HAS SOUS 13109 HAS SOUPS 5581 WITH SCORE 5622.191
AT ITER 235 NEW BEST:: SOT 91648 SOS 41143 HAS SOPS 12364 HAS SOUS 13109 HAS SOUPS 5581 WITH SCORE 5622.143
AT ITER 238 NEW BEST:: SOT 90554 SOS 40557 HAS SOPS 11198 HAS SOUS 12604 HAS SOUPS 5076 WITH SCORE 5116.557
AT ITER 242 NEW BEST:: SOT 90956 SOS 40785 HAS SOPS 11024 HAS SOUS 12659 HAS SOUPS 5017 WITH SCORE 5057.785
AT ITER 248 NEW BEST:: SOT 90950 SOS 40671 HAS SOPS 10916 HAS SOUS 12672 HAS SOUPS 5014 WITH SCORE 5054.671
AT ITER 249 NEW BEST:: SOT 90890 SOS 40631 HAS SOPS 10850 HAS SOUS 12624 HAS SOUPS 4966 WITH SCORE 5006.631
AT ITER 252 NEW BEST:: SOT 90899 SOS 40631 HAS SOPS 10841 HAS SOUS 12615 HAS SOUPS 4957 WITH SCORE 4997.631
AT ITER 256 NEW BEST:: SOT 91267 SOS 40620 HAS SOPS 10545 HAS SOUS 12536 HAS SOUPS 4908 WITH SCORE 4948.62
AT ITER 265 NEW BEST:: SOT 91208 SOS 40561 HAS SOPS 10545 HAS SOUS 12536 HAS SOUPS 4908 WITH SCORE 4948.561
AT ITER 278 NEW BEST:: SOT 91693 SOS 41045 HAS SOPS 10382 HAS SOUS 12693 HAS SOUPS 4839 WITH SCORE 4880.045
AT ITER 279 NEW BEST:: SOT 91754 SOS 40823 HAS SOPS 10443 HAS SOUS 12535 HAS SOUPS 4767 WITH SCORE 4807.823
AT ITER 281 NEW BEST:: SOT 91890 SOS 40725 HAS SOPS 10505 HAS SOUS 12488 HAS SOUPS 4757 WITH SCORE 4797.725
AT ITER 284 NEW BEST:: SOT 91924 SOS 40313 HAS SOPS 10479 HAS SOUS 12380 HAS SOUPS 4709 WITH SCORE 4749.313
AT ITER 286 NEW BEST:: SOT 91973 SOS 40309 HAS SOPS 10528 HAS SOUS 12328 HAS SOUPS 4709 WITH SCORE 4749.309
AT ITER 289 NEW BEST:: SOT 92453 SOS 40561 HAS SOPS 10418 HAS SOUS 12294 HAS SOUPS 4675 WITH SCORE 4715.561
AT ITER 295 NEW BEST:: SOT 92241 SOS 40643 HAS SOPS 10114 HAS SOUS 12263 HAS SOUPS 4563 WITH SCORE 4603.643
AT ITER 300 NEW BEST:: SOT 92387 SOS 40015 HAS SOPS 10444 HAS SOUS 12217 HAS SOUPS 4563 WITH SCORE 4603.015
AT ITER 312 NEW BEST:: SOT 92560 SOS 40185 HAS SOPS 10441 HAS SOUS 12302 HAS SOUPS 4560 WITH SCORE 4600.185
AT ITER 326 NEW BEST:: SOT 92755 SOS 40353 HAS SOPS 10414 HAS SOUS 12268 HAS SOUPS 4539 WITH SCORE 4579.353
AT ITER 332 NEW BEST:: SOT 92846 SOS 40314 HAS SOPS 10505 HAS SOUS 12234 HAS SOUPS 4522 WITH SCORE 4562.314
AT ITER 334 NEW BEST:: SOT 92860 SOS 40486 HAS SOPS 10423 HAS SOUS 12218 HAS SOUPS 4506 WITH SCORE 4546.486
AT ITER 335 NEW BEST:: SOT 92582 SOS 40240 HAS SOPS 10207 HAS SOUS 12205 HAS SOUPS 4493 WITH SCORE 4533.24
AT ITER 338 NEW BEST:: SOT 92506 SOS 40088 HAS SOPS 10131 HAS SOUS 12195 HAS SOUPS 4483 WITH SCORE 4523.088
AT ITER 350 NEW BEST:: SOT 92764 SOS 40332 HAS SOPS 10117 HAS SOUS 12231 HAS SOUPS 4469 WITH SCORE 4509.332
AT ITER 353 NEW BEST:: SOT 92764 SOS 40332 HAS SOPS 10089 HAS SOUS 12231 HAS SOUPS 4455 WITH SCORE 4495.332
AT ITER 354 NEW BEST:: SOT 93122 SOS 40174 HAS SOPS 10447 HAS SOUS 12139 HAS SOUPS 4421 WITH SCORE 4461.174
AT ITER 359 NEW BEST:: SOT 93120 SOS 40147 HAS SOPS 10399 HAS SOUS 12139 HAS SOUPS 4421 WITH SCORE 4461.147
AT ITER 360 NEW BEST:: SOT 92926 SOS 39991 HAS SOPS 10437 HAS SOUS 12131 HAS SOUPS 4421 WITH SCORE 4460.991
AT ITER 362 NEW BEST:: SOT 92934 SOS 39975 HAS SOPS 10445 HAS SOUS 12107 HAS SOUPS 4413 WITH SCORE 4452.975
AT ITER 379 NEW BEST:: SOT 93022 SOS 40005 HAS SOPS 10387 HAS SOUS 12122 HAS SOUPS 4355 WITH SCORE 4395.005
AT ITER 380 NEW BEST:: SOT 92910 SOS 39781 HAS SOPS 10275 HAS SOUS 12075 HAS SOUPS 4308 WITH SCORE 4347.781
AT ITER 381 NEW BEST:: SOT 93241 SOS 40108 HAS SOPS 10338 HAS SOUS 12108 HAS SOUPS 4287 WITH SCORE 4327.108
AT ITER 392 NEW BEST:: SOT 93680 SOS 40008 HAS SOPS 9799 HAS SOUS 12197 HAS SOUPS 4284 WITH SCORE 4324.008
AT ITER 401 NEW BEST:: SOT 93486 SOS 39886 HAS SOPS 9757 HAS SOUS 12231 HAS SOUPS 4280 WITH SCORE 4319.886
AT ITER 410 NEW BEST:: SOT 93486 SOS 39794 HAS SOPS 9849 HAS SOUS 12231 HAS SOUPS 4280 WITH SCORE 4319.794
AT ITER 414 NEW BEST:: SOT 93223 SOS 39487 HAS SOPS 9440 HAS SOUS 12096 HAS SOUPS 4145 WITH SCORE 4184.487
AT ITER 418 NEW BEST:: SOT 93227 SOS 39339 HAS SOPS 9288 HAS SOUS 12096 HAS SOUPS 4145 WITH SCORE 4184.339
AT ITER 424 NEW BEST:: SOT 93355 SOS 39365 HAS SOPS 9186 HAS SOUS 11978 HAS SOUPS 4132 WITH SCORE 4171.365
AT ITER 425 NEW BEST:: SOT 93456 SOS 39438 HAS SOPS 9029 HAS SOUS 12022 HAS SOUPS 4112 WITH SCORE 4151.438
AT ITER 426 NEW BEST:: SOT 93789 SOS 40031 HAS SOPS 8997 HAS SOUS 12008 HAS SOUPS 4098 WITH SCORE 4138.031
AT ITER 427 NEW BEST:: SOT 93785 SOS 40019 HAS SOPS 8985 HAS SOUS 12008 HAS SOUPS 4098 WITH SCORE 4138.019
AT ITER 430 NEW BEST:: SOT 93893 SOS 40123 HAS SOPS 8981 HAS SOUS 12056 HAS SOUPS 4094 WITH SCORE 4134.123
AT ITER 431 NEW BEST:: SOT 93837 SOS 39992 HAS SOPS 8925 HAS SOUS 12037 HAS SOUPS 4094 WITH SCORE 4133.992
AT ITER 432 NEW BEST:: SOT 93817 SOS 39430 HAS SOPS 8789 HAS SOUS 11983 HAS SOUPS 4040 WITH SCORE 4079.43
AT ITER 434 NEW BEST:: SOT 93817 SOS 39354 HAS SOPS 8789 HAS SOUS 11907 HAS SOUPS 4002 WITH SCORE 4041.354
AT ITER 445 NEW BEST:: SOT 94044 SOS 39562 HAS SOPS 8770 HAS SOUS 11888 HAS SOUPS 3983 WITH SCORE 4022.562
AT ITER 448 NEW BEST:: SOT 94044 SOS 39559 HAS SOPS 8770 HAS SOUS 11888 HAS SOUPS 3983 WITH SCORE 4022.559
AT ITER 451 NEW BEST:: SOT 93996 SOS 39535 HAS SOPS 8722 HAS SOUS 11976 HAS SOUPS 3927 WITH SCORE 3966.535
AT ITER 452 NEW BEST:: SOT 93956 SOS 39340 HAS SOPS 8544 HAS SOUS 11976 HAS SOUPS 3927 WITH SCORE 3966.34
AT ITER 453 NEW BEST:: SOT 93675 SOS 39662 HAS SOPS 8399 HAS SOUS 12043 HAS SOUPS 3926 WITH SCORE 3965.662
AT ITER 457 NEW BEST:: SOT 93762 SOS 39743 HAS SOPS 8424 HAS SOUS 12052 HAS SOUPS 3925 WITH SCORE 3964.743
AT ITER 461 NEW BEST:: SOT 93756 SOS 39707 HAS SOPS 8418 HAS SOUS 12046 HAS SOUPS 3925 WITH SCORE 3964.707
AT ITER 465 NEW BEST:: SOT 93540 SOS 39491 HAS SOPS 8418 HAS SOUS 11990 HAS SOUPS 3925 WITH SCORE 3964.491
AT ITER 476 NEW BEST:: SOT 93534 SOS 39461 HAS SOPS 8412 HAS SOUS 11972 HAS SOUPS 3919 WITH SCORE 3958.461
AT ITER 477 NEW BEST:: SOT 93534 SOS 39458 HAS SOPS 8412 HAS SOUS 11970 HAS SOUPS 3918 WITH SCORE 3957.458
AT ITER 483 NEW BEST:: SOT 93555 SOS 39454 HAS SOPS 8433 HAS SOUS 11950 HAS SOUPS 3905 WITH SCORE 3944.454
AT ITER 484 NEW BEST:: SOT 93503 SOS 39272 HAS SOPS 8381 HAS SOUS 11898 HAS SOUPS 3879 WITH SCORE 3918.272
AT ITER 486 NEW BEST:: SOT 93519 SOS 38956 HAS SOPS 7875 HAS SOUS 11878 HAS SOUPS 3814 WITH SCORE 3852.956
AT ITER 487 NEW BEST:: SOT 93479 SOS 38916 HAS SOPS 7870 HAS SOUS 11873 HAS SOUPS 3809 WITH SCORE 3847.916
AT ITER 488 NEW BEST:: SOT 93479 SOS 38872 HAS SOPS 7846 HAS SOUS 11865 HAS SOUPS 3805 WITH SCORE 3843.872
AT ITER 498 NEW BEST:: SOT 93474 SOS 38862 HAS SOPS 7845 HAS SOUS 11864 HAS SOUPS 3804 WITH SCORE 3842.862
AT ITER 500 NEW BEST:: SOT 93474 SOS 38807 HAS SOPS 7845 HAS SOUS 11809 HAS SOUPS 3804 WITH SCORE 3842.807
AT ITER 502 NEW BEST:: SOT 93501 SOS 38723 HAS SOPS 7872 HAS SOUS 11763 HAS SOUPS 3804 WITH SCORE 3842.723
AT ITER 504 NEW BEST:: SOT 93577 SOS 38703 HAS SOPS 7776 HAS SOUS 11749 HAS SOUPS 3790 WITH SCORE 3828.703
AT ITER 509 NEW BEST:: SOT 93417 SOS 38547 HAS SOPS 7780 HAS SOUS 11744 HAS SOUPS 3775 WITH SCORE 3813.547
AT ITER 511 NEW BEST:: SOT 93526 SOS 38541 HAS SOPS 7833 HAS SOUS 11714 HAS SOUPS 3773 WITH SCORE 3811.541
AT ITER 514 NEW BEST:: SOT 93548 SOS 38706 HAS SOPS 7789 HAS SOUS 11692 HAS SOUPS 3740 WITH SCORE 3778.706
AT ITER 515 NEW BEST:: SOT 93412 SOS 38570 HAS SOPS 7789 HAS SOUS 11664 HAS SOUPS 3740 WITH SCORE 3778.57
AT ITER 518 NEW BEST:: SOT 93420 SOS 38556 HAS SOPS 7737 HAS SOUS 11680 HAS SOUPS 3740 WITH SCORE 3778.556
AT ITER 526 NEW BEST:: SOT 93420 SOS 38550 HAS SOPS 7733 HAS SOUS 11676 HAS SOUPS 3738 WITH SCORE 3776.55
AT ITER 534 NEW BEST:: SOT 93437 SOS 38605 HAS SOPS 7729 HAS SOUS 11714 HAS SOUPS 3734 WITH SCORE 3772.605
AT ITER 535 NEW BEST:: SOT 92946 SOS 38668 HAS SOPS 7194 HAS SOUS 11525 HAS SOUPS 3534 WITH SCORE 3572.668
AT ITER 536 NEW BEST:: SOT 92946 SOS 38620 HAS SOPS 7170 HAS SOUS 11525 HAS SOUPS 3534 WITH SCORE 3572.62
AT ITER 549 NEW BEST:: SOT 92772 SOS 38452 HAS SOPS 7116 HAS SOUS 11592 HAS SOUPS 3490 WITH SCORE 3528.452
AT ITER 551 NEW BEST:: SOT 92783 SOS 38368 HAS SOPS 7127 HAS SOUS 11537 HAS SOUPS 3477 WITH SCORE 3515.368
AT ITER 555 NEW BEST:: SOT 92768 SOS 38338 HAS SOPS 7112 HAS SOUS 11553 HAS SOUPS 3462 WITH SCORE 3500.338
AT ITER 557 NEW BEST:: SOT 92743 SOS 38288 HAS SOPS 7087 HAS SOUS 11536 HAS SOUPS 3447 WITH SCORE 3485.288
AT ITER 561 NEW BEST:: SOT 92429 SOS 38668 HAS SOPS 6629 HAS SOUS 11629 HAS SOUPS 3437 WITH SCORE 3475.668
AT ITER 562 NEW BEST:: SOT 92522 SOS 38650 HAS SOPS 6518 HAS SOUS 11516 HAS SOUPS 3436 WITH SCORE 3474.65
AT ITER 564 NEW BEST:: SOT 93097 SOS 39176 HAS SOPS 6469 HAS SOUS 11537 HAS SOUPS 3420 WITH SCORE 3459.176
AT ITER 565 NEW BEST:: SOT 93069 SOS 39489 HAS SOPS 6277 HAS SOUS 11572 HAS SOUPS 3397 WITH SCORE 3436.489
AT ITER 567 NEW BEST:: SOT 93100 SOS 39551 HAS SOPS 6226 HAS SOUS 11676 HAS SOUPS 3372 WITH SCORE 3411.551
AT ITER 576 NEW BEST:: SOT 93022 SOS 39683 HAS SOPS 6220 HAS SOUS 11742 HAS SOUPS 3366 WITH SCORE 3405.683
AT ITER 579 NEW BEST:: SOT 92940 SOS 39655 HAS SOPS 6138 HAS SOUS 11716 HAS SOUPS 3340 WITH SCORE 3379.655
AT ITER 581 NEW BEST:: SOT 92940 SOS 39637 HAS SOPS 6102 HAS SOUS 11716 HAS SOUPS 3340 WITH SCORE 3379.637
AT ITER 582 NEW BEST:: SOT 92940 SOS 39577 HAS SOPS 6030 HAS SOUS 11716 HAS SOUPS 3340 WITH SCORE 3379.577
AT ITER 583 NEW BEST:: SOT 92968 SOS 39549 HAS SOPS 6002 HAS SOUS 11660 HAS SOUPS 3312 WITH SCORE 3351.549
AT ITER 584 NEW BEST:: SOT 92966 SOS 39621 HAS SOPS 6000 HAS SOUS 11696 HAS SOUPS 3310 WITH SCORE 3349.621
AT ITER 597 NEW BEST:: SOT 93201 SOS 39833 HAS SOPS 5891 HAS SOUS 11866 HAS SOUPS 3294 WITH SCORE 3333.833
AT ITER 598 NEW BEST:: SOT 94037 SOS 40385 HAS SOPS 5719 HAS SOUS 11817 HAS SOUPS 3262 WITH SCORE 3302.385
AT ITER 600 NEW BEST:: SOT 92782 SOS 44831 HAS SOPS 4168 HAS SOUS 11082 HAS SOUPS 2527 WITH SCORE 2571.831
AT ITER 601 NEW BEST:: SOT 92674 SOS 44723 HAS SOPS 4168 HAS SOUS 11098 HAS SOUPS 2527 WITH SCORE 2571.723
AT ITER 602 NEW BEST:: SOT 93330 SOS 45243 HAS SOPS 4120 HAS SOUS 11111 HAS SOUPS 2498 WITH SCORE 2543.243
AT ITER 605 NEW BEST:: SOT 92800 SOS 45815 HAS SOPS 3556 HAS SOUS 10777 HAS SOUPS 2096 WITH SCORE 2141.815
AT ITER 606 NEW BEST:: SOT 92704 SOS 45653 HAS SOPS 3520 HAS SOUS 10724 HAS SOUPS 2071 WITH SCORE 2116.653
AT ITER 608 NEW BEST:: SOT 92404 SOS 45353 HAS SOPS 3520 HAS SOUS 10747 HAS SOUPS 2071 WITH SCORE 2116.353
AT ITER 628 NEW BEST:: SOT 92398 SOS 45329 HAS SOPS 3520 HAS SOUS 10747 HAS SOUPS 2071 WITH SCORE 2116.329
AT ITER 629 NEW BEST:: SOT 92284 SOS 45196 HAS SOPS 3520 HAS SOUS 10672 HAS SOUPS 2071 WITH SCORE 2116.196
AT ITER 630 NEW BEST:: SOT 92298 SOS 45154 HAS SOPS 3506 HAS SOUS 10672 HAS SOUPS 2071 WITH SCORE 2116.154
AT ITER 635 NEW BEST:: SOT 91998 SOS 45335 HAS SOPS 3348 HAS SOUS 10634 HAS SOUPS 2033 WITH SCORE 2078.335
AT ITER 636 NEW BEST:: SOT 91756 SOS 45093 HAS SOPS 3348 HAS SOUS 10564 HAS SOUPS 2033 WITH SCORE 2078.093
AT ITER 637 NEW BEST:: SOT 91677 SOS 44935 HAS SOPS 3342 HAS SOUS 10511 HAS SOUPS 2019 WITH SCORE 2063.935
AT ITER 639 NEW BEST:: SOT 91674 SOS 44825 HAS SOPS 3339 HAS SOUS 10392 HAS SOUPS 2016 WITH SCORE 2060.825
AT ITER 643 NEW BEST:: SOT 92696 SOS 45821 HAS SOPS 3313 HAS SOUS 10506 HAS SOUPS 1991 WITH SCORE 2036.821
AT ITER 651 NEW BEST:: SOT 92686 SOS 45951 HAS SOPS 3303 HAS SOUS 10496 HAS SOUPS 1981 WITH SCORE 2026.951
AT ITER 658 NEW BEST:: SOT 92851 SOS 46101 HAS SOPS 3288 HAS SOUS 10481 HAS SOUPS 1966 WITH SCORE 2012.101
AT ITER 661 NEW BEST:: SOT 92822 SOS 46072 HAS SOPS 3259 HAS SOUS 10403 HAS SOUPS 1938 WITH SCORE 1984.0720000000001
AT ITER 667 NEW BEST:: SOT 92806 SOS 45930 HAS SOPS 3243 HAS SOUS 10200 HAS SOUPS 1927 WITH SCORE 1972.93
AT ITER 673 NEW BEST:: SOT 93081 SOS 46196 HAS SOPS 3234 HAS SOUS 10191 HAS SOUPS 1918 WITH SCORE 1964.196
AT ITER 674 NEW BEST:: SOT 93063 SOS 46190 HAS SOPS 3216 HAS SOUS 10191 HAS SOUPS 1918 WITH SCORE 1964.19
AT ITER 678 NEW BEST:: SOT 93063 SOS 46065 HAS SOPS 3116 HAS SOUS 10141 HAS SOUPS 1893 WITH SCORE 1939.065
AT ITER 688 NEW BEST:: SOT 93045 SOS 46379 HAS SOPS 3048 HAS SOUS 10075 HAS SOUPS 1827 WITH SCORE 1873.379
AT ITER 698 NEW BEST:: SOT 92693 SOS 46027 HAS SOPS 3048 HAS SOUS 10016 HAS SOUPS 1827 WITH SCORE 1873.027
AT ITER 704 NEW BEST:: SOT 92650 SOS 47030 HAS SOPS 3005 HAS SOUS 10007 HAS SOUPS 1807 WITH SCORE 1854.03
AT ITER 706 NEW BEST:: SOT 92654 SOS 46772 HAS SOPS 2857 HAS SOUS 9983 HAS SOUPS 1783 WITH SCORE 1829.772
AT ITER 709 NEW BEST:: SOT 92644 SOS 46780 HAS SOPS 2819 HAS SOUS 10038 HAS SOUPS 1764 WITH SCORE 1810.78
AT ITER 712 NEW BEST:: SOT 92944 SOS 46624 HAS SOPS 2687 HAS SOUS 9777 HAS SOUPS 1719 WITH SCORE 1765.624
AT ITER 720 NEW BEST:: SOT 92820 SOS 46498 HAS SOPS 2685 HAS SOUS 9737 HAS SOUPS 1717 WITH SCORE 1763.498
AT ITER 722 NEW BEST:: SOT 92770 SOS 46448 HAS SOPS 2685 HAS SOUS 9687 HAS SOUPS 1717 WITH SCORE 1763.448
AT ITER 724 NEW BEST:: SOT 92719 SOS 46397 HAS SOPS 2685 HAS SOUS 9687 HAS SOUPS 1717 WITH SCORE 1763.397
AT ITER 725 NEW BEST:: SOT 92577 SOS 46113 HAS SOPS 2543 HAS SOUS 9582 HAS SOUPS 1713 WITH SCORE 1759.113
AT ITER 736 NEW BEST:: SOT 92653 SOS 46265 HAS SOPS 2523 HAS SOUS 9586 HAS SOUPS 1693 WITH SCORE 1739.265
AT ITER 748 NEW BEST:: SOT 92626 SOS 46499 HAS SOPS 2496 HAS SOUS 9586 HAS SOUPS 1675 WITH SCORE 1721.499
AT ITER 762 NEW BEST:: SOT 92537 SOS 46365 HAS SOPS 2495 HAS SOUS 9497 HAS SOUPS 1674 WITH SCORE 1720.365
AT ITER 763 NEW BEST:: SOT 92537 SOS 46425 HAS SOPS 2480 HAS SOUS 9491 HAS SOUPS 1668 WITH SCORE 1714.425
AT ITER 767 NEW BEST:: SOT 92475 SOS 46363 HAS SOPS 2480 HAS SOUS 9491 HAS SOUPS 1668 WITH SCORE 1714.363
AT ITER 771 NEW BEST:: SOT 93265 SOS 47037 HAS SOPS 2364 HAS SOUS 9489 HAS SOUPS 1623 WITH SCORE 1670.037
AT ITER 773 NEW BEST:: SOT 93127 SOS 49017 HAS SOPS 2179 HAS SOUS 9470 HAS SOUPS 1557 WITH SCORE 1606.017
AT ITER 775 NEW BEST:: SOT 93057 SOS 48947 HAS SOPS 2179 HAS SOUS 9435 HAS SOUPS 1557 WITH SCORE 1605.9470000000001
AT ITER 782 NEW BEST:: SOT 93356 SOS 49235 HAS SOPS 2168 HAS SOUS 9579 HAS SOUPS 1546 WITH SCORE 1595.235
AT ITER 784 NEW BEST:: SOT 93435 SOS 49318 HAS SOPS 2157 HAS SOUS 9587 HAS SOUPS 1535 WITH SCORE 1584.318
AT ITER 793 NEW BEST:: SOT 93379 SOS 49206 HAS SOPS 2101 HAS SOUS 9475 HAS SOUPS 1479 WITH SCORE 1528.206
AT ITER 794 NEW BEST:: SOT 93115 SOS 48942 HAS SOPS 2101 HAS SOUS 9343 HAS SOUPS 1479 WITH SCORE 1527.942
AT ITER 797 NEW BEST:: SOT 93107 SOS 49086 HAS SOPS 2093 HAS SOUS 9319 HAS SOUPS 1455 WITH SCORE 1504.086
AT ITER 799 NEW BEST:: SOT 93127 SOS 49099 HAS SOPS 2059 HAS SOUS 9310 HAS SOUPS 1446 WITH SCORE 1495.099
AT ITER 804 NEW BEST:: SOT 93127 SOS 49093 HAS SOPS 2055 HAS SOUS 9306 HAS SOUPS 1444 WITH SCORE 1493.093
AT ITER 808 NEW BEST:: SOT 93207 SOS 49143 HAS SOPS 2025 HAS SOUS 9251 HAS SOUPS 1414 WITH SCORE 1463.143
AT ITER 811 NEW BEST:: SOT 93207 SOS 49008 HAS SOPS 2025 HAS SOUS 9116 HAS SOUPS 1414 WITH SCORE 1463.008
AT ITER 815 NEW BEST:: SOT 93185 SOS 49030 HAS SOPS 2003 HAS SOUS 9116 HAS SOUPS 1392 WITH SCORE 1441.03
AT ITER 829 NEW BEST:: SOT 93200 SOS 48900 HAS SOPS 2018 HAS SOUS 9079 HAS SOUPS 1387 WITH SCORE 1435.9
AT ITER 838 NEW BEST:: SOT 93205 SOS 48840 HAS SOPS 2023 HAS SOUS 9074 HAS SOUPS 1387 WITH SCORE 1435.84
AT ITER 840 NEW BEST:: SOT 93195 SOS 49735 HAS SOPS 2013 HAS SOUS 9064 HAS SOUPS 1377 WITH SCORE 1426.735
AT ITER 851 NEW BEST:: SOT 93175 SOS 50514 HAS SOPS 1967 HAS SOUS 9068 HAS SOUPS 1355 WITH SCORE 1405.514
AT ITER 852 NEW BEST:: SOT 93081 SOS 50420 HAS SOPS 1967 HAS SOUS 9021 HAS SOUPS 1355 WITH SCORE 1405.42
AT ITER 853 NEW BEST:: SOT 93081 SOS 50354 HAS SOPS 1901 HAS SOUS 9021 HAS SOUPS 1322 WITH SCORE 1372.354
AT ITER 857 NEW BEST:: SOT 92891 SOS 50678 HAS SOPS 1887 HAS SOUS 9094 HAS SOUPS 1307 WITH SCORE 1357.678
AT ITER 862 NEW BEST:: SOT 92894 SOS 50696 HAS SOPS 1878 HAS SOUS 9091 HAS SOUPS 1301 WITH SCORE 1351.696
AT ITER 863 NEW BEST:: SOT 92880 SOS 50644 HAS SOPS 1852 HAS SOUS 9062 HAS SOUPS 1296 WITH SCORE 1346.644
AT ITER 885 NEW BEST:: SOT 92847 SOS 51490 HAS SOPS 1819 HAS SOUS 9048 HAS SOUPS 1282 WITH SCORE 1333.49
AT ITER 893 NEW BEST:: SOT 92647 SOS 51290 HAS SOPS 1779 HAS SOUS 9050 HAS SOUPS 1282 WITH SCORE 1333.29
AT ITER 897 NEW BEST:: SOT 92311 SOS 50718 HAS SOPS 1743 HAS SOUS 9002 HAS SOUPS 1276 WITH SCORE 1326.718
AT ITER 899 NEW BEST:: SOT 92313 SOS 50698 HAS SOPS 1743 HAS SOUS 8998 HAS SOUPS 1274 WITH SCORE 1324.698
AT ITER 915 NEW BEST:: SOT 92343 SOS 50688 HAS SOPS 1733 HAS SOUS 8978 HAS SOUPS 1264 WITH SCORE 1314.688
AT ITER 918 NEW BEST:: SOT 92331 SOS 50673 HAS SOPS 1733 HAS SOUS 8975 HAS SOUPS 1264 WITH SCORE 1314.673
AT ITER 927 NEW BEST:: SOT 92316 SOS 50319 HAS SOPS 1718 HAS SOUS 8905 HAS SOUPS 1253 WITH SCORE 1303.319
AT ITER 934 NEW BEST:: SOT 92418 SOS 50367 HAS SOPS 1664 HAS SOUS 8879 HAS SOUPS 1227 WITH SCORE 1277.367
AT ITER 944 NEW BEST:: SOT 92829 SOS 50745 HAS SOPS 1631 HAS SOUS 8886 HAS SOUPS 1210 WITH SCORE 1260.745
AT ITER 945 NEW BEST:: SOT 93562 SOS 51473 HAS SOPS 1626 HAS SOUS 8944 HAS SOUPS 1205 WITH SCORE 1256.473
AT ITER 958 NEW BEST:: SOT 93561 SOS 51498 HAS SOPS 1625 HAS SOUS 8970 HAS SOUPS 1204 WITH SCORE 1255.498
AT ITER 968 NEW BEST:: SOT 93557 SOS 51495 HAS SOPS 1625 HAS SOUS 8972 HAS SOUPS 1204 WITH SCORE 1255.495
AT ITER 971 NEW BEST:: SOT 93557 SOS 50713 HAS SOPS 1625 HAS SOUS 8926 HAS SOUPS 1204 WITH SCORE 1254.713
AT ITER 972 NEW BEST:: SOT 93565 SOS 50629 HAS SOPS 1533 HAS SOUS 8891 HAS SOUPS 1169 WITH SCORE 1219.629
AT ITER 979 NEW BEST:: SOT 93544 SOS 50475 HAS SOPS 1512 HAS SOUS 8883 HAS SOUPS 1163 WITH SCORE 1213.475
AT ITER 981 NEW BEST:: SOT 93544 SOS 50385 HAS SOPS 1512 HAS SOUS 8873 HAS SOUPS 1163 WITH SCORE 1213.385
AT ITER 985 NEW BEST:: SOT 93558 SOS 50923 HAS SOPS 1492 HAS SOUS 8870 HAS SOUPS 1143 WITH SCORE 1193.923
AT ITER 987 NEW BEST:: SOT 93680 SOS 50771 HAS SOPS 1542 HAS SOUS 8815 HAS SOUPS 1124 WITH SCORE 1174.771
AT ITER 996 NEW BEST:: SOT 93705 SOS 49871 HAS SOPS 1548 HAS SOUS 8796 HAS SOUPS 1124 WITH SCORE 1173.871
AT ITER 997 NEW BEST:: SOT 93692 SOS 49858 HAS SOPS 1535 HAS SOUS 8827 HAS SOUPS 1111 WITH SCORE 1160.858
AT ITER 1008 NEW BEST:: SOT 93463 SOS 50660 HAS SOPS 1432 HAS SOUS 8791 HAS SOUPS 1075 WITH SCORE 1125.66
AT ITER 1022 NEW BEST:: SOT 93383 SOS 50580 HAS SOPS 1432 HAS SOUS 8791 HAS SOUPS 1075 WITH SCORE 1125.58
AT ITER 1025 NEW BEST:: SOT 93335 SOS 50532 HAS SOPS 1432 HAS SOUS 8771 HAS SOUPS 1075 WITH SCORE 1125.532
AT ITER 1055 NEW BEST:: SOT 93347 SOS 50508 HAS SOPS 1412 HAS SOUS 8755 HAS SOUPS 1059 WITH SCORE 1109.508
AT ITER 1064 NEW BEST:: SOT 93371 SOS 50460 HAS SOPS 1412 HAS SOUS 8731 HAS SOUPS 1059 WITH SCORE 1109.46
AT ITER 1071 NEW BEST:: SOT 93371 SOS 50452 HAS SOPS 1412 HAS SOUS 8723 HAS SOUPS 1059 WITH SCORE 1109.452
AT ITER 1082 NEW BEST:: SOT 93371 SOS 50460 HAS SOPS 1408 HAS SOUS 8725 HAS SOUPS 1055 WITH SCORE 1105.46
AT ITER 1083 NEW BEST:: SOT 93125 SOS 50214 HAS SOPS 1408 HAS SOUS 8636 HAS SOUPS 1055 WITH SCORE 1105.214
AT ITER 1086 NEW BEST:: SOT 93075 SOS 50164 HAS SOPS 1408 HAS SOUS 8591 HAS SOUPS 1055 WITH SCORE 1105.164
AT ITER 1094 NEW BEST:: SOT 93580 SOS 50514 HAS SOPS 1193 HAS SOUS 8666 HAS SOUPS 1006 WITH SCORE 1056.514
AT ITER 1099 NEW BEST:: SOT 93521 SOS 50450 HAS SOPS 1188 HAS SOUS 8661 HAS SOUPS 1001 WITH SCORE 1051.45
AT ITER 1101 NEW BEST:: SOT 93504 SOS 51304 HAS SOPS 1123 HAS SOUS 8632 HAS SOUPS 948 WITH SCORE 999.304
AT ITER 1111 NEW BEST:: SOT 93482 SOS 51282 HAS SOPS 1123 HAS SOUS 8610 HAS SOUPS 948 WITH SCORE 999.282
AT ITER 1118 NEW BEST:: SOT 93290 SOS 51090 HAS SOPS 1123 HAS SOUS 8514 HAS SOUPS 948 WITH SCORE 999.09
AT ITER 1119 NEW BEST:: SOT 93339 SOS 51088 HAS SOPS 1122 HAS SOUS 8488 HAS SOUPS 947 WITH SCORE 998.088
AT ITER 1125 NEW BEST:: SOT 93299 SOS 51048 HAS SOPS 1122 HAS SOUS 8488 HAS SOUPS 947 WITH SCORE 998.048
AT ITER 1130 NEW BEST:: SOT 93331 SOS 51040 HAS SOPS 1082 HAS SOUS 8464 HAS SOUPS 939 WITH SCORE 990.04
AT ITER 1138 NEW BEST:: SOT 93338 SOS 51038 HAS SOPS 1073 HAS SOUS 8457 HAS SOUPS 932 WITH SCORE 983.038
AT ITER 1144 NEW BEST:: SOT 93318 SOS 53056 HAS SOPS 1053 HAS SOUS 8440 HAS SOUPS 915 WITH SCORE 968.056
AT ITER 1165 NEW BEST:: SOT 93222 SOS 52960 HAS SOPS 1053 HAS SOUS 8464 HAS SOUPS 915 WITH SCORE 967.96
AT ITER 1167 NEW BEST:: SOT 93073 SOS 52735 HAS SOPS 1050 HAS SOUS 8461 HAS SOUPS 912 WITH SCORE 964.735
AT ITER 1170 NEW BEST:: SOT 93060 SOS 53059 HAS SOPS 1037 HAS SOUS 8473 HAS SOUPS 899 WITH SCORE 952.059
AT ITER 1171 NEW BEST:: SOT 92960 SOS 52959 HAS SOPS 1037 HAS SOUS 8509 HAS SOUPS 899 WITH SCORE 951.9590000000001
AT ITER 1174 NEW BEST:: SOT 92956 SOS 52799 HAS SOPS 1037 HAS SOUS 8505 HAS SOUPS 899 WITH SCORE 951.799
AT ITER 1192 NEW BEST:: SOT 92973 SOS 52811 HAS SOPS 1032 HAS SOUS 8468 HAS SOUPS 894 WITH SCORE 946.811
AT ITER 1195 NEW BEST:: SOT 92971 SOS 52864 HAS SOPS 1030 HAS SOUS 8466 HAS SOUPS 892 WITH SCORE 944.864
AT ITER 1197 NEW BEST:: SOT 92947 SOS 52828 HAS SOPS 1030 HAS SOUS 8454 HAS SOUPS 892 WITH SCORE 944.828
AT ITER 1202 NEW BEST:: SOT 92935 SOS 52712 HAS SOPS 1018 HAS SOUS 8448 HAS SOUPS 886 WITH SCORE 938.712
AT ITER 1203 NEW BEST:: SOT 92863 SOS 52640 HAS SOPS 1018 HAS SOUS 8448 HAS SOUPS 886 WITH SCORE 938.64
AT ITER 1210 NEW BEST:: SOT 92815 SOS 52592 HAS SOPS 1018 HAS SOUS 8412 HAS SOUPS 886 WITH SCORE 938.592
AT ITER 1216 NEW BEST:: SOT 92797 SOS 52583 HAS SOPS 1018 HAS SOUS 8421 HAS SOUPS 886 WITH SCORE 938.583
AT ITER 1228 NEW BEST:: SOT 92845 SOS 52654 HAS SOPS 1016 HAS SOUS 8444 HAS SOUPS 884 WITH SCORE 936.654
AT ITER 1229 NEW BEST:: SOT 92771 SOS 52532 HAS SOPS 994 HAS SOUS 8354 HAS SOUPS 872 WITH SCORE 924.532
AT ITER 1236 NEW BEST:: SOT 92771 SOS 52508 HAS SOPS 994 HAS SOUS 8354 HAS SOUPS 872 WITH SCORE 924.508
AT ITER 1241 NEW BEST:: SOT 92911 SOS 52488 HAS SOPS 984 HAS SOUS 8269 HAS SOUPS 862 WITH SCORE 914.488
AT ITER 1250 NEW BEST:: SOT 92875 SOS 52470 HAS SOPS 984 HAS SOUS 8269 HAS SOUPS 862 WITH SCORE 914.47
AT ITER 1263 NEW BEST:: SOT 92673 SOS 52946 HAS SOPS 1002 HAS SOUS 8374 HAS SOUPS 852 WITH SCORE 904.946
AT ITER 1276 NEW BEST:: SOT 92529 SOS 52778 HAS SOPS 1002 HAS SOUS 8326 HAS SOUPS 852 WITH SCORE 904.778
AT ITER 1280 NEW BEST:: SOT 92605 SOS 52914 HAS SOPS 950 HAS SOUS 8326 HAS SOUPS 836 WITH SCORE 888.914
AT ITER 1286 NEW BEST:: SOT 92603 SOS 52859 HAS SOPS 948 HAS SOUS 8290 HAS SOUPS 834 WITH SCORE 886.859
AT ITER 1287 NEW BEST:: SOT 92603 SOS 52865 HAS SOPS 944 HAS SOUS 8286 HAS SOUPS 830 WITH SCORE 882.865
AT ITER 1292 NEW BEST:: SOT 92537 SOS 52799 HAS SOPS 944 HAS SOUS 8286 HAS SOUPS 830 WITH SCORE 882.799
AT ITER 1297 NEW BEST:: SOT 92473 SOS 52751 HAS SOPS 944 HAS SOUS 8318 HAS SOUPS 830 WITH SCORE 882.751
AT ITER 1303 NEW BEST:: SOT 92398 SOS 54651 HAS SOPS 910 HAS SOUS 8353 HAS SOUPS 824 WITH SCORE 878.651
AT ITER 1314 NEW BEST:: SOT 92378 SOS 54551 HAS SOPS 910 HAS SOUS 8343 HAS SOUPS 824 WITH SCORE 878.551
AT ITER 1324 NEW BEST:: SOT 92380 SOS 54667 HAS SOPS 905 HAS SOUS 8338 HAS SOUPS 819 WITH SCORE 873.667
AT ITER 1326 NEW BEST:: SOT 92373 SOS 54658 HAS SOPS 904 HAS SOUS 8336 HAS SOUPS 819 WITH SCORE 873.658
AT ITER 1334 NEW BEST:: SOT 92372 SOS 54548 HAS SOPS 903 HAS SOUS 8335 HAS SOUPS 818 WITH SCORE 872.548
AT ITER 1363 NEW BEST:: SOT 92503 SOS 54676 HAS SOPS 900 HAS SOUS 8332 HAS SOUPS 815 WITH SCORE 869.676
AT ITER 1365 NEW BEST:: SOT 92489 SOS 54662 HAS SOPS 900 HAS SOUS 8332 HAS SOUPS 815 WITH SCORE 869.662
AT ITER 1369 NEW BEST:: SOT 92279 SOS 54487 HAS SOPS 900 HAS SOUS 8367 HAS SOUPS 815 WITH SCORE 869.487
AT ITER 1371 NEW BEST:: SOT 92279 SOS 54415 HAS SOPS 900 HAS SOUS 8355 HAS SOUPS 815 WITH SCORE 869.415
AT ITER 1386 NEW BEST:: SOT 92276 SOS 54549 HAS SOPS 897 HAS SOUS 8352 HAS SOUPS 812 WITH SCORE 866.549
AT ITER 1400 NEW BEST:: SOT 92115 SOS 54383 HAS SOPS 892 HAS SOUS 8329 HAS SOUPS 807 WITH SCORE 861.383
AT ITER 1420 NEW BEST:: SOT 91883 SOS 54151 HAS SOPS 892 HAS SOUS 8315 HAS SOUPS 807 WITH SCORE 861.151
AT ITER 1431 NEW BEST:: SOT 91877 SOS 54133 HAS SOPS 894 HAS SOUS 8311 HAS SOUPS 807 WITH SCORE 861.133
AT ITER 1441 NEW BEST:: SOT 91692 SOS 54918 HAS SOPS 863 HAS SOUS 8357 HAS SOUPS 776 WITH SCORE 830.918
AT ITER 1448 NEW BEST:: SOT 91292 SOS 54518 HAS SOPS 863 HAS SOUS 8306 HAS SOUPS 776 WITH SCORE 830.518
AT ITER 1456 NEW BEST:: SOT 91332 SOS 54498 HAS SOPS 863 HAS SOUS 8286 HAS SOUPS 776 WITH SCORE 830.498
AT ITER 1476 NEW BEST:: SOT 91344 SOS 54426 HAS SOPS 863 HAS SOUS 8274 HAS SOUPS 776 WITH SCORE 830.426
AT ITER 1499 NEW BEST:: SOT 91346 SOS 54425 HAS SOPS 863 HAS SOUS 8271 HAS SOUPS 776 WITH SCORE 830.425
AT ITER 1515 NEW BEST:: SOT 91559 SOS 54592 HAS SOPS 743 HAS SOUS 8273 HAS SOUPS 739 WITH SCORE 793.592
AT ITER 1521 NEW BEST:: SOT 91445 SOS 54535 HAS SOPS 743 HAS SOUS 8330 HAS SOUPS 739 WITH SCORE 793.535
AT ITER 1528 NEW BEST:: SOT 91373 SOS 54481 HAS SOPS 743 HAS SOUS 8402 HAS SOUPS 739 WITH SCORE 793.481
AT ITER 1532 NEW BEST:: SOT 91373 SOS 54475 HAS SOPS 743 HAS SOUS 8402 HAS SOUPS 739 WITH SCORE 793.475
AT ITER 1538 NEW BEST:: SOT 91321 SOS 54423 HAS SOPS 743 HAS SOUS 8376 HAS SOUPS 739 WITH SCORE 793.423
AT ITER 1549 NEW BEST:: SOT 91329 SOS 54335 HAS SOPS 743 HAS SOUS 8372 HAS SOUPS 739 WITH SCORE 793.335
AT ITER 1550 NEW BEST:: SOT 91313 SOS 54319 HAS SOPS 743 HAS SOUS 8370 HAS SOUPS 739 WITH SCORE 793.319
AT ITER 1575 NEW BEST:: SOT 91297 SOS 54303 HAS SOPS 743 HAS SOUS 8370 HAS SOUPS 739 WITH SCORE 793.303
AT ITER 1593 NEW BEST:: SOT 91297 SOS 54163 HAS SOPS 743 HAS SOUS 8342 HAS SOUPS 739 WITH SCORE 793.163
AT ITER 1599 NEW BEST:: SOT 91175 SOS 54041 HAS SOPS 743 HAS SOUS 8240 HAS SOUPS 739 WITH SCORE 793.041
AT ITER 1611 NEW BEST:: SOT 91180 SOS 53941 HAS SOPS 743 HAS SOUS 8235 HAS SOUPS 739 WITH SCORE 792.941
AT ITER 1637 NEW BEST:: SOT 91225 SOS 54031 HAS SOPS 742 HAS SOUS 8234 HAS SOUPS 738 WITH SCORE 792.031
AT ITER 1656 NEW BEST:: SOT 91139 SOS 53945 HAS SOPS 742 HAS SOUS 8320 HAS SOUPS 738 WITH SCORE 791.945
AT ITER 1659 NEW BEST:: SOT 91095 SOS 53901 HAS SOPS 742 HAS SOUS 8298 HAS SOUPS 738 WITH SCORE 791.901
AT ITER 1666 NEW BEST:: SOT 91095 SOS 53832 HAS SOPS 742 HAS SOUS 8224 HAS SOUPS 738 WITH SCORE 791.832
AT ITER 1674 NEW BEST:: SOT 91051 SOS 53788 HAS SOPS 742 HAS SOUS 8224 HAS SOUPS 738 WITH SCORE 791.788
AT ITER 1679 NEW BEST:: SOT 91051 SOS 53782 HAS SOPS 742 HAS SOUS 8218 HAS SOUPS 738 WITH SCORE 791.782
AT ITER 1685 NEW BEST:: SOT 91051 SOS 53775 HAS SOPS 742 HAS SOUS 8211 HAS SOUPS 738 WITH SCORE 791.775
AT ITER 1686 NEW BEST:: SOT 90851 SOS 53675 HAS SOPS 742 HAS SOUS 8311 HAS SOUPS 738 WITH SCORE 791.675
AT ITER 1695 NEW BEST:: SOT 90821 SOS 53660 HAS SOPS 742 HAS SOUS 8326 HAS SOUPS 738 WITH SCORE 791.66
AT ITER 1696 NEW BEST:: SOT 90813 SOS 53648 HAS SOPS 742 HAS SOUS 8322 HAS SOUPS 738 WITH SCORE 791.648
AT ITER 1700 NEW BEST:: SOT 90783 SOS 53618 HAS SOPS 742 HAS SOUS 8307 HAS SOUPS 738 WITH SCORE 791.618
AT ITER 1717 NEW BEST:: SOT 90755 SOS 53597 HAS SOPS 742 HAS SOUS 8335 HAS SOUPS 738 WITH SCORE 791.597
AT ITER 1723 NEW BEST:: SOT 90755 SOS 53471 HAS SOPS 742 HAS SOUS 8326 HAS SOUPS 738 WITH SCORE 791.471
AT ITER 1738 NEW BEST:: SOT 90659 SOS 53423 HAS SOPS 742 HAS SOUS 8374 HAS SOUPS 738 WITH SCORE 791.423
AT ITER 1751 NEW BEST:: SOT 90609 SOS 53373 HAS SOPS 742 HAS SOUS 8359 HAS SOUPS 738 WITH SCORE 791.373
AT ITER 1755 NEW BEST:: SOT 90577 SOS 53341 HAS SOPS 742 HAS SOUS 8359 HAS SOUPS 738 WITH SCORE 791.341
AT ITER 1793 NEW BEST:: SOT 90577 SOS 53261 HAS SOPS 742 HAS SOUS 8349 HAS SOUPS 738 WITH SCORE 791.261
AT ITER 1797 NEW BEST:: SOT 90273 SOS 52957 HAS SOPS 742 HAS SOUS 8280 HAS SOUPS 738 WITH SCORE 790.957
AT ITER 1827 NEW BEST:: SOT 90233 SOS 52897 HAS SOPS 742 HAS SOUS 8240 HAS SOUPS 738 WITH SCORE 790.897
AT ITER 1833 NEW BEST:: SOT 90175 SOS 52831 HAS SOPS 734 HAS SOUS 8148 HAS SOUPS 730 WITH SCORE 782.831
AT ITER 1834 NEW BEST:: SOT 90115 SOS 52781 HAS SOPS 734 HAS SOUS 8176 HAS SOUPS 730 WITH SCORE 782.781
AT ITER 1836 NEW BEST:: SOT 90124 SOS 52799 HAS SOPS 729 HAS SOUS 8171 HAS SOUPS 725 WITH SCORE 777.799
AT ITER 1848 NEW BEST:: SOT 90099 SOS 52794 HAS SOPS 722 HAS SOUS 8182 HAS SOUPS 718 WITH SCORE 770.794
AT ITER 1852 NEW BEST:: SOT 90003 SOS 52746 HAS SOPS 722 HAS SOUS 8230 HAS SOUPS 718 WITH SCORE 770.746
AT ITER 1902 NEW BEST:: SOT 90031 SOS 52727 HAS SOPS 720 HAS SOUS 8228 HAS SOUPS 716 WITH SCORE 768.727
AT ITER 1938 NEW BEST:: SOT 89932 SOS 52628 HAS SOPS 720 HAS SOUS 8182 HAS SOUPS 716 WITH SCORE 768.628
AT ITER 1941 NEW BEST:: SOT 89930 SOS 52626 HAS SOPS 720 HAS SOUS 8181 HAS SOUPS 716 WITH SCORE 768.626
AT ITER 1954 NEW BEST:: SOT 89910 SOS 52606 HAS SOPS 720 HAS SOUS 8171 HAS SOUPS 716 WITH SCORE 768.606
AT ITER 1969 NEW BEST:: SOT 89910 SOS 52546 HAS SOPS 720 HAS SOUS 8087 HAS SOUPS 716 WITH SCORE 768.546
AT ITER 1983 NEW BEST:: SOT 89910 SOS 52442 HAS SOPS 720 HAS SOUS 8087 HAS SOUPS 716 WITH SCORE 768.442
AT ITER 1992 NEW BEST:: SOT 89818 SOS 52327 HAS SOPS 720 HAS SOUS 8041 HAS SOUPS 716 WITH SCORE 768.327
AT ITER 1994 NEW BEST:: SOT 89818 SOS 52313 HAS SOPS 720 HAS SOUS 8039 HAS SOUPS 716 WITH SCORE 768.313
AT ITER 1997 NEW BEST:: SOT 89728 SOS 52223 HAS SOPS 720 HAS SOUS 7994 HAS SOUPS 716 WITH SCORE 768.223
AT ITER 2010 NEW BEST:: SOT 89724 SOS 52213 HAS SOPS 720 HAS SOUS 7990 HAS SOUPS 716 WITH SCORE 768.213
AT ITER 2011 NEW BEST:: SOT 89724 SOS 52059 HAS SOPS 720 HAS SOUS 7913 HAS SOUPS 716 WITH SCORE 768.059
AT ITER 2028 NEW BEST:: SOT 89718 SOS 51933 HAS SOPS 720 HAS SOUS 7913 HAS SOUPS 716 WITH SCORE 767.933
AT ITER 2033 NEW BEST:: SOT 89558 SOS 51733 HAS SOPS 720 HAS SOUS 7783 HAS SOUPS 716 WITH SCORE 767.733
AT ITER 2038 NEW BEST:: SOT 89558 SOS 51705 HAS SOPS 720 HAS SOUS 7776 HAS SOUPS 716 WITH SCORE 767.705
AT ITER 2039 NEW BEST:: SOT 89404 SOS 51551 HAS SOPS 720 HAS SOUS 7776 HAS SOUPS 716 WITH SCORE 767.551
AT ITER 2054 NEW BEST:: SOT 89409 SOS 51511 HAS SOPS 720 HAS SOUS 7776 HAS SOUPS 716 WITH SCORE 767.511
AT ITER 2063 NEW BEST:: SOT 89407 SOS 51444 HAS SOPS 720 HAS SOUS 7775 HAS SOUPS 716 WITH SCORE 767.444
AT ITER 2074 NEW BEST:: SOT 89363 SOS 51378 HAS SOPS 720 HAS SOUS 7753 HAS SOUPS 716 WITH SCORE 767.378
AT ITER 2079 NEW BEST:: SOT 89363 SOS 51375 HAS SOPS 720 HAS SOUS 7750 HAS SOUPS 716 WITH SCORE 767.375
AT ITER 2085 NEW BEST:: SOT 89351 SOS 51351 HAS SOPS 720 HAS SOUS 7750 HAS SOUPS 716 WITH SCORE 767.351
AT ITER 2107 NEW BEST:: SOT 89271 SOS 51281 HAS SOPS 720 HAS SOUS 7770 HAS SOUPS 716 WITH SCORE 767.281
AT ITER 2112 NEW BEST:: SOT 89121 SOS 51131 HAS SOPS 720 HAS SOUS 7770 HAS SOUPS 716 WITH SCORE 767.131
AT ITER 2118 NEW BEST:: SOT 88965 SOS 50975 HAS SOPS 720 HAS SOUS 7744 HAS SOUPS 716 WITH SCORE 766.975
AT ITER 2126 NEW BEST:: SOT 88959 SOS 50966 HAS SOPS 720 HAS SOUS 7741 HAS SOUPS 716 WITH SCORE 766.966
AT ITER 2133 NEW BEST:: SOT 88959 SOS 50372 HAS SOPS 720 HAS SOUS 7735 HAS SOUPS 716 WITH SCORE 766.372
AT ITER 2135 NEW BEST:: SOT 88951 SOS 50364 HAS SOPS 720 HAS SOUS 7737 HAS SOUPS 716 WITH SCORE 766.364
AT ITER 2144 NEW BEST:: SOT 88933 SOS 50316 HAS SOPS 720 HAS SOUS 7737 HAS SOUPS 716 WITH SCORE 766.316
AT ITER 2174 NEW BEST:: SOT 88933 SOS 50022 HAS SOPS 720 HAS SOUS 7737 HAS SOUPS 716 WITH SCORE 766.022
AT ITER 2252 NEW BEST:: SOT 88933 SOS 49980 HAS SOPS 720 HAS SOUS 7730 HAS SOUPS 716 WITH SCORE 765.98
AT ITER 2256 NEW BEST:: SOT 88909 SOS 49968 HAS SOPS 720 HAS SOUS 7742 HAS SOUPS 716 WITH SCORE 765.968
AT ITER 2286 NEW BEST:: SOT 88905 SOS 49768 HAS SOPS 720 HAS SOUS 7734 HAS SOUPS 716 WITH SCORE 765.768
AT ITER 2341 NEW BEST:: SOT 88893 SOS 49756 HAS SOPS 720 HAS SOUS 7722 HAS SOUPS 716 WITH SCORE 765.756
AT ITER 2353 NEW BEST:: SOT 88821 SOS 49684 HAS SOPS 720 HAS SOUS 7704 HAS SOUPS 716 WITH SCORE 765.684
AT ITER 2360 NEW BEST:: SOT 88827 SOS 49669 HAS SOPS 720 HAS SOUS 7695 HAS SOUPS 716 WITH SCORE 765.669
AT ITER 2375 NEW BEST:: SOT 88727 SOS 49569 HAS SOPS 720 HAS SOUS 7698 HAS SOUPS 716 WITH SCORE 765.569
AT ITER 2387 NEW BEST:: SOT 88569 SOS 49411 HAS SOPS 720 HAS SOUS 7616 HAS SOUPS 716 WITH SCORE 765.4110000000001
AT ITER 2408 NEW BEST:: SOT 88497 SOS 49339 HAS SOPS 720 HAS SOUS 7596 HAS SOUPS 716 WITH SCORE 765.3389999999999
AT ITER 2418 NEW BEST:: SOT 88461 SOS 49303 HAS SOPS 720 HAS SOUS 7578 HAS SOUPS 716 WITH SCORE 765.303
AT ITER 2425 NEW BEST:: SOT 88461 SOS 49254 HAS SOPS 720 HAS SOUS 7578 HAS SOUPS 716 WITH SCORE 765.254
AT ITER 2437 NEW BEST:: SOT 88461 SOS 49215 HAS SOPS 720 HAS SOUS 7539 HAS SOUPS 716 WITH SCORE 765.215
AT ITER 2450 NEW BEST:: SOT 88461 SOS 49202 HAS SOPS 720 HAS SOUS 7515 HAS SOUPS 716 WITH SCORE 765.202
AT ITER 2490 NEW BEST:: SOT 88181 SOS 48852 HAS SOPS 720 HAS SOUS 7345 HAS SOUPS 716 WITH SCORE 764.852
AT ITER 2521 NEW BEST:: SOT 88179 SOS 48841 HAS SOPS 720 HAS SOUS 7345 HAS SOUPS 716 WITH SCORE 764.841
AT ITER 2528 NEW BEST:: SOT 88039 SOS 48645 HAS SOPS 720 HAS SOUS 7250 HAS SOUPS 716 WITH SCORE 764.645
AT ITER 2549 NEW BEST:: SOT 88040 SOS 48653 HAS SOPS 719 HAS SOUS 7249 HAS SOUPS 715 WITH SCORE 763.653
AT ITER 2577 NEW BEST:: SOT 87968 SOS 48599 HAS SOPS 719 HAS SOUS 7274 HAS SOUPS 715 WITH SCORE 763.599
AT ITER 2581 NEW BEST:: SOT 87932 SOS 48563 HAS SOPS 719 HAS SOUS 7238 HAS SOUPS 715 WITH SCORE 763.563
AT ITER 2599 NEW BEST:: SOT 87754 SOS 48474 HAS SOPS 719 HAS SOUS 7327 HAS SOUPS 715 WITH SCORE 763.474
AT ITER 2617 NEW BEST:: SOT 87736 SOS 48456 HAS SOPS 719 HAS SOUS 7327 HAS SOUPS 715 WITH SCORE 763.456
AT ITER 2648 NEW BEST:: SOT 87700 SOS 48420 HAS SOPS 719 HAS SOUS 7327 HAS SOUPS 715 WITH SCORE 763.42
AT ITER 2713 NEW BEST:: SOT 87622 SOS 48342 HAS SOPS 719 HAS SOUS 7314 HAS SOUPS 715 WITH SCORE 763.342
AT ITER 2749 NEW BEST:: SOT 87390 SOS 48110 HAS SOPS 719 HAS SOUS 7266 HAS SOUPS 715 WITH SCORE 763.11
AT ITER 2789 NEW BEST:: SOT 87342 SOS 48062 HAS SOPS 719 HAS SOUS 7258 HAS SOUPS 715 WITH SCORE 763.062
AT ITER 2814 NEW BEST:: SOT 87334 SOS 48054 HAS SOPS 719 HAS SOUS 7258 HAS SOUPS 715 WITH SCORE 763.054
AT ITER 2815 NEW BEST:: SOT 87222 SOS 47942 HAS SOPS 719 HAS SOUS 7258 HAS SOUPS 715 WITH SCORE 762.942
AT ITER 2864 NEW BEST:: SOT 87210 SOS 47930 HAS SOPS 719 HAS SOUS 7258 HAS SOUPS 715 WITH SCORE 762.93
AT ITER 2883 NEW BEST:: SOT 87206 SOS 47928 HAS SOPS 719 HAS SOUS 7258 HAS SOUPS 715 WITH SCORE 762.928
AT ITER 2937 NEW BEST:: SOT 87206 SOS 47902 HAS SOPS 719 HAS SOUS 7232 HAS SOUPS 715 WITH SCORE 762.902
AT ITER 2938 NEW BEST:: SOT 87194 SOS 47896 HAS SOPS 719 HAS SOUS 7238 HAS SOUPS 715 WITH SCORE 762.896
AT ITER 2962 NEW BEST:: SOT 87194 SOS 47893 HAS SOPS 719 HAS SOUS 7235 HAS SOUPS 715 WITH SCORE 762.893
AT ITER 2979 NEW BEST:: SOT 87194 SOS 47872 HAS SOPS 719 HAS SOUS 7228 HAS SOUPS 715 WITH SCORE 762.872
AT ITER 3000 NEW BEST:: SOT 87140 SOS 47818 HAS SOPS 719 HAS SOUS 7201 HAS SOUPS 715 WITH SCORE 762.818
AT ITER 3028 NEW BEST:: SOT 87134 SOS 47809 HAS SOPS 719 HAS SOUS 7198 HAS SOUPS 715 WITH SCORE 762.809
AT ITER 3053 NEW BEST:: SOT 86984 SOS 47734 HAS SOPS 719 HAS SOUS 7273 HAS SOUPS 715 WITH SCORE 762.734
AT ITER 3068 NEW BEST:: SOT 86984 SOS 47624 HAS SOPS 719 HAS SOUS 7273 HAS SOUPS 715 WITH SCORE 762.624
AT ITER 3076 NEW BEST:: SOT 86964 SOS 47594 HAS SOPS 719 HAS SOUS 7253 HAS SOUPS 715 WITH SCORE 762.594
AT ITER 3164 NEW BEST:: SOT 86916 SOS 47534 HAS SOPS 719 HAS SOUS 7217 HAS SOUPS 715 WITH SCORE 762.534
AT ITER 3215 NEW BEST:: SOT 86908 SOS 47526 HAS SOPS 719 HAS SOUS 7215 HAS SOUPS 715 WITH SCORE 762.526
AT ITER 3243 NEW BEST:: SOT 86774 SOS 47392 HAS SOPS 719 HAS SOUS 7215 HAS SOUPS 715 WITH SCORE 762.392
AT ITER 3247 NEW BEST:: SOT 86774 SOS 47330 HAS SOPS 719 HAS SOUS 7091 HAS SOUPS 715 WITH SCORE 762.33
AT ITER 3278 NEW BEST:: SOT 86774 SOS 47310 HAS SOPS 719 HAS SOUS 7091 HAS SOUPS 715 WITH SCORE 762.31
AT ITER 3293 NEW BEST:: SOT 86702 SOS 47238 HAS SOPS 719 HAS SOUS 7035 HAS SOUPS 715 WITH SCORE 762.238
AT ITER 3334 NEW BEST:: SOT 86702 SOS 47209 HAS SOPS 719 HAS SOUS 6977 HAS SOUPS 715 WITH SCORE 762.2090000000001
AT ITER 3344 NEW BEST:: SOT 86702 SOS 47195 HAS SOPS 719 HAS SOUS 6977 HAS SOUPS 715 WITH SCORE 762.195
AT ITER 3363 NEW BEST:: SOT 86692 SOS 47171 HAS SOPS 719 HAS SOUS 6973 HAS SOUPS 715 WITH SCORE 762.171
AT ITER 3399 NEW BEST:: SOT 86672 SOS 47151 HAS SOPS 719 HAS SOUS 6962 HAS SOUPS 715 WITH SCORE 762.151
AT ITER 3416 NEW BEST:: SOT 86600 SOS 47079 HAS SOPS 719 HAS SOUS 6941 HAS SOUPS 715 WITH SCORE 762.079
AT ITER 3444 NEW BEST:: SOT 86610 SOS 47059 HAS SOPS 719 HAS SOUS 6931 HAS SOUPS 715 WITH SCORE 762.059
AT ITER 3487 NEW BEST:: SOT 86645 SOS 47143 HAS SOPS 712 HAS SOUS 6924 HAS SOUPS 708 WITH SCORE 755.143
AT ITER 3527 NEW BEST:: SOT 86648 SOS 47140 HAS SOPS 712 HAS SOUS 6924 HAS SOUPS 708 WITH SCORE 755.14
AT ITER 3580 NEW BEST:: SOT 86633 SOS 47125 HAS SOPS 712 HAS SOUS 6914 HAS SOUPS 708 WITH SCORE 755.125
AT ITER 3592 NEW BEST:: SOT 86615 SOS 47107 HAS SOPS 712 HAS SOUS 6905 HAS SOUPS 708 WITH SCORE 755.107
AT ITER 3605 NEW BEST:: SOT 86569 SOS 47084 HAS SOPS 712 HAS SOUS 6928 HAS SOUPS 708 WITH SCORE 755.0840000000001
AT ITER 3607 NEW BEST:: SOT 86553 SOS 47068 HAS SOPS 712 HAS SOUS 6928 HAS SOUPS 708 WITH SCORE 755.068
AT ITER 3637 NEW BEST:: SOT 86645 SOS 47450 HAS SOPS 705 HAS SOUS 7019 HAS SOUPS 705 WITH SCORE 752.45
AT ITER 3644 NEW BEST:: SOT 86597 SOS 47438 HAS SOPS 705 HAS SOUS 7031 HAS SOUPS 705 WITH SCORE 752.438
AT ITER 3650 NEW BEST:: SOT 86509 SOS 47328 HAS SOPS 705 HAS SOUS 6987 HAS SOUPS 705 WITH SCORE 752.328
AT ITER 3665 NEW BEST:: SOT 86493 SOS 47244 HAS SOPS 705 HAS SOUS 6977 HAS SOUPS 705 WITH SCORE 752.244
AT ITER 3718 NEW BEST:: SOT 86493 SOS 47220 HAS SOPS 705 HAS SOUS 6977 HAS SOUPS 705 WITH SCORE 752.22
AT ITER 3721 NEW BEST:: SOT 86491 SOS 47213 HAS SOPS 705 HAS SOUS 6976 HAS SOUPS 705 WITH SCORE 752.213
AT ITER 3741 NEW BEST:: SOT 86473 SOS 47195 HAS SOPS 705 HAS SOUS 6970 HAS SOUPS 705 WITH SCORE 752.195
AT ITER 3762 NEW BEST:: SOT 86473 SOS 47172 HAS SOPS 705 HAS SOUS 6924 HAS SOUPS 705 WITH SCORE 752.172
AT ITER 3769 NEW BEST:: SOT 86353 SOS 47052 HAS SOPS 705 HAS SOUS 6854 HAS SOUPS 705 WITH SCORE 752.052
AT ITER 3783 NEW BEST:: SOT 86367 SOS 46975 HAS SOPS 705 HAS SOUS 6847 HAS SOUPS 705 WITH SCORE 751.975
AT ITER 3802 NEW BEST:: SOT 86269 SOS 46877 HAS SOPS 705 HAS SOUS 6749 HAS SOUPS 705 WITH SCORE 751.877
AT ITER 3862 NEW BEST:: SOT 86107 SOS 46715 HAS SOPS 705 HAS SOUS 6749 HAS SOUPS 705 WITH SCORE 751.715
AT ITER 3867 NEW BEST:: SOT 86041 SOS 46649 HAS SOPS 705 HAS SOUS 6716 HAS SOUPS 705 WITH SCORE 751.649
AT ITER 3872 NEW BEST:: SOT 85961 SOS 46569 HAS SOPS 705 HAS SOUS 6711 HAS SOUPS 705 WITH SCORE 751.569
AT ITER 3915 NEW BEST:: SOT 85907 SOS 46515 HAS SOPS 705 HAS SOUS 6702 HAS SOUPS 705 WITH SCORE 751.515
AT ITER 3966 NEW BEST:: SOT 85889 SOS 46497 HAS SOPS 705 HAS SOUS 6693 HAS SOUPS 705 WITH SCORE 751.497
AT ITER 3970 NEW BEST:: SOT 85801 SOS 46409 HAS SOPS 705 HAS SOUS 6693 HAS SOUPS 705 WITH SCORE 751.409
AT ITER 3979 NEW BEST:: SOT 85723 SOS 46292 HAS SOPS 705 HAS SOUS 6576 HAS SOUPS 705 WITH SCORE 751.292
AT ITER 3995 NEW BEST:: SOT 85723 SOS 46268 HAS SOPS 705 HAS SOUS 6576 HAS SOUPS 705 WITH SCORE 751.268
AT ITER 4015 NEW BEST:: SOT 85431 SOS 45976 HAS SOPS 705 HAS SOUS 6430 HAS SOUPS 705 WITH SCORE 750.976
AT ITER 4047 NEW BEST:: SOT 85406 SOS 45951 HAS SOPS 705 HAS SOUS 6425 HAS SOUPS 705 WITH SCORE 750.951
AT ITER 4058 NEW BEST:: SOT 85338 SOS 45883 HAS SOPS 705 HAS SOUS 6442 HAS SOUPS 705 WITH SCORE 750.883
AT ITER 4098 NEW BEST:: SOT 85346 SOS 45971 HAS SOPS 701 HAS SOUS 6438 HAS SOUPS 701 WITH SCORE 746.971
AT ITER 4127 NEW BEST:: SOT 85138 SOS 45763 HAS SOPS 701 HAS SOUS 6410 HAS SOUPS 701 WITH SCORE 746.763
AT ITER 4146 NEW BEST:: SOT 85138 SOS 45755 HAS SOPS 701 HAS SOUS 6410 HAS SOUPS 701 WITH SCORE 746.755
AT ITER 4194 NEW BEST:: SOT 85138 SOS 45745 HAS SOPS 701 HAS SOUS 6408 HAS SOUPS 701 WITH SCORE 746.745
AT ITER 4302 NEW BEST:: SOT 85138 SOS 45737 HAS SOPS 701 HAS SOUS 6408 HAS SOUPS 701 WITH SCORE 746.737
AT ITER 4316 NEW BEST:: SOT 85128 SOS 45732 HAS SOPS 701 HAS SOUS 6413 HAS SOUPS 701 WITH SCORE 746.732
AT ITER 4355 NEW BEST:: SOT 85108 SOS 45629 HAS SOPS 699 HAS SOUS 6402 HAS SOUPS 699 WITH SCORE 744.629
AT ITER 4418 NEW BEST:: SOT 85098 SOS 45529 HAS SOPS 699 HAS SOUS 6402 HAS SOUPS 699 WITH SCORE 744.529
AT ITER 4451 NEW BEST:: SOT 85101 SOS 45523 HAS SOPS 699 HAS SOUS 6399 HAS SOUPS 699 WITH SCORE 744.523
AT ITER 4464 NEW BEST:: SOT 85099 SOS 45518 HAS SOPS 699 HAS SOUS 6397 HAS SOUPS 699 WITH SCORE 744.518
AT ITER 4482 NEW BEST:: SOT 85085 SOS 45469 HAS SOPS 699 HAS SOUS 6383 HAS SOUPS 699 WITH SCORE 744.469
AT ITER 4550 NEW BEST:: SOT 85085 SOS 45451 HAS SOPS 699 HAS SOUS 6383 HAS SOUPS 699 WITH SCORE 744.451
AT ITER 4558 NEW BEST:: SOT 85049 SOS 45397 HAS SOPS 699 HAS SOUS 6329 HAS SOUPS 699 WITH SCORE 744.397
AT ITER 4560 NEW BEST:: SOT 84899 SOS 45217 HAS SOPS 699 HAS SOUS 6241 HAS SOUPS 699 WITH SCORE 744.217
AT ITER 4705 NEW BEST:: SOT 84889 SOS 45212 HAS SOPS 699 HAS SOUS 6246 HAS SOUPS 699 WITH SCORE 744.212
AT ITER 4744 NEW BEST:: SOT 84885 SOS 45144 HAS SOPS 699 HAS SOUS 6240 HAS SOUPS 699 WITH SCORE 744.144
AT ITER 4757 NEW BEST:: SOT 84855 SOS 45114 HAS SOPS 699 HAS SOUS 6212 HAS SOUPS 699 WITH SCORE 744.114
AT ITER 4763 NEW BEST:: SOT 84871 SOS 45106 HAS SOPS 699 HAS SOUS 6204 HAS SOUPS 699 WITH SCORE 744.106
AT ITER 4842 NEW BEST:: SOT 84877 SOS 45082 HAS SOPS 699 HAS SOUS 6199 HAS SOUPS 699 WITH SCORE 744.082
AT ITER 4867 NEW BEST:: SOT 84877 SOS 45040 HAS SOPS 699 HAS SOUS 6157 HAS SOUPS 699 WITH SCORE 744.04
AT ITER 4926 NEW BEST:: SOT 84877 SOS 45020 HAS SOPS 699 HAS SOUS 6157 HAS SOUPS 699 WITH SCORE 744.02
AT ITER 4936 NEW BEST:: SOT 84877 SOS 44980 HAS SOPS 699 HAS SOUS 6157 HAS SOUPS 699 WITH SCORE 743.98
AT ITER 4977 NEW BEST:: SOT 84859 SOS 44965 HAS SOPS 699 HAS SOUS 6166 HAS SOUPS 699 WITH SCORE 743.965
AT ITER 4988 NEW BEST:: SOT 84857 SOS 44964 HAS SOPS 699 HAS SOUS 6167 HAS SOUPS 699 WITH SCORE 743.9639999999999
Bounds file is: CTLFireability.xml
PROPERTY: Eratosthenes-PT-200-CTLFireability-00 ( (EG( ((potential((tk(P11)>=1) & (tk(P144)>=1)))))) | (AX( ( ( (! ((potential((tk(P137)>=1) & (tk(P125)>=1))))) | ( ((potential((tk(P164)>=1) & (tk(P30)>=1)))) & ((potential((tk(P129)>=1) & (tk(P138)>=1)))) ) ) & ((potential((tk(P195)>=1) & (tk(P77)>=1)))) ))) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-01 ( (AG( (EX( ( ((potential((tk(P115)>=1) & (tk(P45)>=1)))) & ((potential((tk(P142)>=1) & (tk(P137)>=1)))) ))))) | (AG( (! (EX( ((potential((tk(P16)>=1) & (tk(P170)>=1))))))))) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-02 (EF( (AG( (! ((potential((tk(P16)>=1) & (tk(P170)>=1)))))))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-03 (AU( (AU( ((potential((tk(P162)>=1) & (tk(P81)>=1)))) , ((potential((tk(P27)>=1) & (tk(P180)>=1)))) )) , (AG( ( ((potential((tk(P37)>=1) & (tk(P4)>=1)))) | ((potential((tk(P137)>=1) & (tk(P168)>=1)))) ))) ))
PROPERTY: Eratosthenes-PT-200-CTLFireability-04 (AF( (EG( ( (! ((potential((tk(P138)>=1) & (tk(P123)>=1))))) & ( ((potential((tk(P35)>=1) & (tk(P137)>=1)))) & ((potential((tk(P112)>=1) & (tk(P138)>=1)))) ) )))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-05 (! (AG( (AU( ((potential((tk(P48)>=1) & (tk(P67)>=1)))) , ((potential((tk(P15)>=1) & (tk(P141)>=1)))) )))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-06 (AG( (! (AG( (! ((potential((tk(P186)>=1) & (tk(P140)>=1))))))))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-07 (EF( (! (AX( ( ((potential((tk(P5)>=1) & (tk(P145)>=1)))) | ((potential((tk(P76)>=1) & (tk(P67)>=1)))) ))))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-08 (EX( (AX( (EG( ((potential((tk(P178)>=1) & (tk(P142)>=1))))))))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-09 ( ((potential((tk(P181)>=1) & (tk(P87)>=1)))) & (! (AF( (! ((potential((tk(P29)>=1) & (tk(P89)>=1)))))))) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-10 ( (EG( ( (! ((potential((tk(P8)>=1) & (tk(P111)>=1))))) | (EG( ((potential((tk(P142)>=1) & (tk(P42)>=1)))))) ))) & ( (EX( ((potential((tk(P142)>=1) & (tk(P104)>=1)))))) | (! ((potential((tk(P41)>=1) & (tk(P187)>=1))))) ) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-11 ( (EU( (EX( ((potential((tk(P75)>=1) & (tk(P18)>=1)))))) , (EF( ((potential((tk(P91)>=1) & (tk(P179)>=1)))))) )) & (EG( (AU( ((potential((tk(P29)>=1) & (tk(P67)>=1)))) , ((potential((tk(P73)>=1) & (tk(P122)>=1)))) )))) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-12 ( (EF( (! (EX( ((potential((tk(P99)>=1) & (tk(P113)>=1))))))))) & (EX( ( (AF( ((potential((tk(P68)>=1) & (tk(P36)>=1)))))) | (AX( ((potential((tk(P142)>=1) & (tk(P51)>=1)))))) ))) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-13 (EG( ((potential((tk(P41)>=1) & (tk(P160)>=1))))))
PROPERTY: Eratosthenes-PT-200-CTLFireability-14 ( (EU( (AX( ((potential((tk(P138)>=1) & (tk(P155)>=1)))))) , ( ( ((potential((tk(P85)>=1) & (tk(P180)>=1)))) & ((potential((tk(P195)>=1) & (tk(P145)>=1)))) ) | ( ((potential((tk(P48)>=1) & (tk(P74)>=1)))) & ((potential((tk(P146)>=1) & (tk(P27)>=1)))) ) ) )) & (AX( (EF( (! ((potential((tk(P44)>=1) & (tk(P137)>=1))))))))) )
PROPERTY: Eratosthenes-PT-200-CTLFireability-15 ( ( ( (! (EG( ((potential((tk(P148)>=1) & (tk(P102)>=1))))))) | ((potential((tk(P31)>=1) & (tk(P117)>=1)))) ) & ( (! (EF( ((potential((tk(P138)>=1) & (tk(P188)>=1))))))) | (AU( ((potential((tk(P137)>=1) & (tk(P77)>=1)))) , ((potential((tk(P55)>=1) & (tk(P137)>=1)))) )) ) ) & (AX( (EF( (! ((potential((tk(P33)>=1) & (tk(P106)>=1))))))))) )
FORMULA Eratosthenes-PT-200-CTLFireability-00 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-01 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-02 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-03 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-04 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-05 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-06 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-07 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-08 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-09 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-10 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-11 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-12 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-13 FALSE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-14 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
FORMULA Eratosthenes-PT-200-CTLFireability-15 TRUE TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS

BK_STOP 1589369573420

--------------------
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="Eratosthenes-PT-200"
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 Eratosthenes-PT-200, 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 r063-tajo-158922808401044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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