Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 380K
-rw-r--r-- 1 mcc users 3.9K Apr 12 12:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 12:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 11 13:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 11 13:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:38 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.4K Apr 14 12:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 14 12:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 17:18 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 10 17:18 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.1K Apr 9 23:43 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 9 23:43 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 10 22:28 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 10 22:28 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 11 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 195K Mar 24 05:38 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 RwMutex-PT-r0100w0010-CTLFireability-00
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-01
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-02
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-03
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-04
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-05
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-06
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-07
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-08
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-09
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-10
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-11
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-12
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-13
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-14
FORMULA_NAME RwMutex-PT-r0100w0010-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589744149789

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RwMutex (PT), instance r0100w0010
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: 320 places, 220 transitions, 2640 arcs.
AT ITER 0 NEW BEST:: SOT 60064 SOS 47856 HAS SOPS 47856 HAS SOUS 47856 HAS SOUPS 47856 WITH SCORE 47903.856
AT ITER 1 NEW BEST:: SOT 60064 SOS 47830 HAS SOPS 47830 HAS SOUS 47830 HAS SOUPS 47830 WITH SCORE 47877.83
AT ITER 2 NEW BEST:: SOT 60064 SOS 47688 HAS SOPS 47688 HAS SOUS 47688 HAS SOUPS 47688 WITH SCORE 47735.688
AT ITER 4 NEW BEST:: SOT 59910 SOS 47634 HAS SOPS 47634 HAS SOUS 47634 HAS SOUPS 47634 WITH SCORE 47681.634
AT ITER 5 NEW BEST:: SOT 59910 SOS 47442 HAS SOPS 47442 HAS SOUS 47442 HAS SOUPS 47442 WITH SCORE 47489.442
AT ITER 6 NEW BEST:: SOT 59698 SOS 47230 HAS SOPS 47230 HAS SOUS 47230 HAS SOUPS 47230 WITH SCORE 47277.23
AT ITER 9 NEW BEST:: SOT 59498 SOS 47444 HAS SOPS 47444 HAS SOUS 46934 HAS SOUPS 46934 WITH SCORE 46981.444
AT ITER 10 NEW BEST:: SOT 59498 SOS 47280 HAS SOPS 47280 HAS SOUS 46770 HAS SOUPS 46770 WITH SCORE 46817.28
AT ITER 12 NEW BEST:: SOT 59498 SOS 47228 HAS SOPS 47228 HAS SOUS 46770 HAS SOUPS 46770 WITH SCORE 46817.228
AT ITER 13 NEW BEST:: SOT 59498 SOS 47028 HAS SOPS 47028 HAS SOUS 46570 HAS SOUPS 46570 WITH SCORE 46617.028
AT ITER 14 NEW BEST:: SOT 59352 SOS 48058 HAS SOPS 48058 HAS SOUS 46356 HAS SOUPS 46356 WITH SCORE 46404.058
AT ITER 15 NEW BEST:: SOT 59152 SOS 47858 HAS SOPS 47858 HAS SOUS 46156 HAS SOUPS 46156 WITH SCORE 46203.858
AT ITER 16 NEW BEST:: SOT 59004 SOS 47710 HAS SOPS 47710 HAS SOUS 46008 HAS SOUPS 46008 WITH SCORE 46055.71
AT ITER 17 NEW BEST:: SOT 58840 SOS 47382 HAS SOPS 47382 HAS SOUS 45680 HAS SOUPS 45680 WITH SCORE 45727.382
AT ITER 18 NEW BEST:: SOT 58840 SOS 47354 HAS SOPS 47354 HAS SOUS 45680 HAS SOUPS 45680 WITH SCORE 45727.354
AT ITER 24 NEW BEST:: SOT 58640 SOS 46928 HAS SOPS 46928 HAS SOUS 45254 HAS SOUPS 45254 WITH SCORE 45300.928
AT ITER 25 NEW BEST:: SOT 58640 SOS 46788 HAS SOPS 46788 HAS SOUS 45114 HAS SOUPS 45114 WITH SCORE 45160.788
AT ITER 27 NEW BEST:: SOT 58640 SOS 46788 HAS SOPS 46788 HAS SOUS 45090 HAS SOUPS 45090 WITH SCORE 45136.788
AT ITER 28 NEW BEST:: SOT 58610 SOS 46542 HAS SOPS 46542 HAS SOUS 44844 HAS SOUPS 44844 WITH SCORE 44890.542
AT ITER 29 NEW BEST:: SOT 58410 SOS 46116 HAS SOPS 46116 HAS SOUS 44418 HAS SOUPS 44418 WITH SCORE 44464.116
AT ITER 30 NEW BEST:: SOT 58410 SOS 45918 HAS SOPS 45918 HAS SOUS 44220 HAS SOUPS 44220 WITH SCORE 44265.918
AT ITER 31 NEW BEST:: SOT 58420 SOS 45868 HAS SOPS 45868 HAS SOUS 44170 HAS SOUPS 44170 WITH SCORE 44215.868
AT ITER 33 NEW BEST:: SOT 58420 SOS 45768 HAS SOPS 45768 HAS SOUS 44146 HAS SOUPS 44146 WITH SCORE 44191.768
AT ITER 36 NEW BEST:: SOT 58424 SOS 45592 HAS SOPS 45592 HAS SOUS 43970 HAS SOUPS 43970 WITH SCORE 44015.592
AT ITER 38 NEW BEST:: SOT 58266 SOS 45434 HAS SOPS 45434 HAS SOUS 43812 HAS SOUPS 43812 WITH SCORE 43857.434
AT ITER 42 NEW BEST:: SOT 58190 SOS 45358 HAS SOPS 45358 HAS SOUS 43736 HAS SOUPS 43736 WITH SCORE 43781.358
AT ITER 43 NEW BEST:: SOT 58190 SOS 45328 HAS SOPS 45328 HAS SOUS 43706 HAS SOUPS 43706 WITH SCORE 43751.328
AT ITER 45 NEW BEST:: SOT 58036 SOS 45174 HAS SOPS 45174 HAS SOUS 43552 HAS SOUPS 43552 WITH SCORE 43597.174
AT ITER 46 NEW BEST:: SOT 57836 SOS 44738 HAS SOPS 44738 HAS SOUS 43150 HAS SOUPS 43150 WITH SCORE 43194.738
AT ITER 47 NEW BEST:: SOT 57836 SOS 44540 HAS SOPS 44540 HAS SOUS 42952 HAS SOUPS 42952 WITH SCORE 42996.54
AT ITER 48 NEW BEST:: SOT 57700 SOS 44514 HAS SOPS 44514 HAS SOUS 42926 HAS SOUPS 42926 WITH SCORE 42970.514
AT ITER 51 NEW BEST:: SOT 57700 SOS 44312 HAS SOPS 44312 HAS SOUS 42926 HAS SOUPS 42926 WITH SCORE 42970.312
AT ITER 52 NEW BEST:: SOT 57646 SOS 44258 HAS SOPS 44258 HAS SOUS 42872 HAS SOUPS 42872 WITH SCORE 42916.258
AT ITER 54 NEW BEST:: SOT 57762 SOS 44170 HAS SOPS 44170 HAS SOUS 42784 HAS SOUPS 42784 WITH SCORE 42828.17
AT ITER 55 NEW BEST:: SOT 57562 SOS 43648 HAS SOPS 43648 HAS SOUS 42284 HAS SOUPS 42284 WITH SCORE 42327.648
AT ITER 56 NEW BEST:: SOT 57392 SOS 43478 HAS SOPS 43478 HAS SOUS 42114 HAS SOUPS 42114 WITH SCORE 42157.478
AT ITER 62 NEW BEST:: SOT 57320 SOS 43406 HAS SOPS 43406 HAS SOUS 42042 HAS SOUPS 42042 WITH SCORE 42085.406
AT ITER 64 NEW BEST:: SOT 57320 SOS 43294 HAS SOPS 43294 HAS SOUS 41930 HAS SOUPS 41930 WITH SCORE 41973.294
AT ITER 65 NEW BEST:: SOT 57320 SOS 43260 HAS SOPS 43260 HAS SOUS 41896 HAS SOUPS 41896 WITH SCORE 41939.26
AT ITER 66 NEW BEST:: SOT 57320 SOS 43260 HAS SOPS 43260 HAS SOUS 41816 HAS SOUPS 41816 WITH SCORE 41859.26
AT ITER 67 NEW BEST:: SOT 57292 SOS 43018 HAS SOPS 43018 HAS SOUS 41574 HAS SOUPS 41574 WITH SCORE 41617.018
AT ITER 68 NEW BEST:: SOT 57292 SOS 42882 HAS SOPS 42882 HAS SOUS 41438 HAS SOUPS 41438 WITH SCORE 41480.882
AT ITER 71 NEW BEST:: SOT 57092 SOS 42680 HAS SOPS 42680 HAS SOUS 41236 HAS SOUPS 41236 WITH SCORE 41278.68
AT ITER 72 NEW BEST:: SOT 57092 SOS 42554 HAS SOPS 42554 HAS SOUS 41110 HAS SOUPS 41110 WITH SCORE 41152.554
AT ITER 74 NEW BEST:: SOT 57092 SOS 42388 HAS SOPS 42388 HAS SOUS 40944 HAS SOUPS 40944 WITH SCORE 40986.388
AT ITER 75 NEW BEST:: SOT 57086 SOS 42382 HAS SOPS 42382 HAS SOUS 40938 HAS SOUPS 40938 WITH SCORE 40980.382
AT ITER 78 NEW BEST:: SOT 56892 SOS 42188 HAS SOPS 42188 HAS SOUS 40744 HAS SOUPS 40744 WITH SCORE 40786.188
AT ITER 79 NEW BEST:: SOT 56866 SOS 42136 HAS SOPS 42136 HAS SOUS 40692 HAS SOUPS 40692 WITH SCORE 40734.136
AT ITER 80 NEW BEST:: SOT 56866 SOS 42088 HAS SOPS 42088 HAS SOUS 40644 HAS SOUPS 40644 WITH SCORE 40686.088
AT ITER 84 NEW BEST:: SOT 56854 SOS 42064 HAS SOPS 42064 HAS SOUS 40620 HAS SOUPS 40620 WITH SCORE 40662.064
AT ITER 87 NEW BEST:: SOT 56622 SOS 41608 HAS SOPS 41608 HAS SOUS 40164 HAS SOUPS 40164 WITH SCORE 40205.608
AT ITER 94 NEW BEST:: SOT 56514 SOS 41562 HAS SOPS 41562 HAS SOUS 40118 HAS SOUPS 40118 WITH SCORE 40159.562
AT ITER 96 NEW BEST:: SOT 56426 SOS 41560 HAS SOPS 41560 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40053.56
AT ITER 98 NEW BEST:: SOT 56426 SOS 41550 HAS SOPS 41550 HAS SOUS 40012 HAS SOUPS 40012 WITH SCORE 40053.55
AT ITER 99 NEW BEST:: SOT 56426 SOS 41324 HAS SOPS 41324 HAS SOUS 39786 HAS SOUPS 39786 WITH SCORE 39827.324
AT ITER 102 NEW BEST:: SOT 56426 SOS 41324 HAS SOPS 41324 HAS SOUS 39762 HAS SOUPS 39762 WITH SCORE 39803.324
AT ITER 103 NEW BEST:: SOT 56384 SOS 41282 HAS SOPS 41282 HAS SOUS 39720 HAS SOUPS 39720 WITH SCORE 39761.282
AT ITER 105 NEW BEST:: SOT 56384 SOS 41240 HAS SOPS 41240 HAS SOUS 39678 HAS SOUPS 39678 WITH SCORE 39719.24
AT ITER 107 NEW BEST:: SOT 56384 SOS 41020 HAS SOPS 41020 HAS SOUS 39458 HAS SOUPS 39458 WITH SCORE 39499.02
AT ITER 109 NEW BEST:: SOT 56384 SOS 40934 HAS SOPS 40934 HAS SOUS 39372 HAS SOUPS 39372 WITH SCORE 39412.934
AT ITER 112 NEW BEST:: SOT 56378 SOS 40792 HAS SOPS 40792 HAS SOUS 39230 HAS SOUPS 39230 WITH SCORE 39270.792
AT ITER 114 NEW BEST:: SOT 56378 SOS 40614 HAS SOPS 40614 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39092.614
AT ITER 115 NEW BEST:: SOT 56378 SOS 40606 HAS SOPS 40606 HAS SOUS 39052 HAS SOUPS 39052 WITH SCORE 39092.606
AT ITER 116 NEW BEST:: SOT 56182 SOS 40410 HAS SOPS 40410 HAS SOUS 38856 HAS SOUPS 38856 WITH SCORE 38896.41
AT ITER 119 NEW BEST:: SOT 56182 SOS 40410 HAS SOPS 40410 HAS SOUS 38804 HAS SOUPS 38804 WITH SCORE 38844.41
AT ITER 122 NEW BEST:: SOT 56044 SOS 40272 HAS SOPS 40272 HAS SOUS 38666 HAS SOUPS 38666 WITH SCORE 38706.272
AT ITER 123 NEW BEST:: SOT 55852 SOS 40080 HAS SOPS 40080 HAS SOUS 38474 HAS SOUPS 38474 WITH SCORE 38514.08
AT ITER 124 NEW BEST:: SOT 55678 SOS 39796 HAS SOPS 39796 HAS SOUS 38190 HAS SOUPS 38190 WITH SCORE 38229.796
AT ITER 125 NEW BEST:: SOT 55678 SOS 39710 HAS SOPS 39710 HAS SOUS 38104 HAS SOUPS 38104 WITH SCORE 38143.71
AT ITER 128 NEW BEST:: SOT 55566 SOS 39444 HAS SOPS 39444 HAS SOUS 37838 HAS SOUPS 37838 WITH SCORE 37877.444
AT ITER 130 NEW BEST:: SOT 55566 SOS 39350 HAS SOPS 39350 HAS SOUS 37744 HAS SOUPS 37744 WITH SCORE 37783.35
AT ITER 131 NEW BEST:: SOT 55566 SOS 39324 HAS SOPS 39324 HAS SOUS 37718 HAS SOUPS 37718 WITH SCORE 37757.324
AT ITER 132 NEW BEST:: SOT 55566 SOS 39228 HAS SOPS 39228 HAS SOUS 37622 HAS SOUPS 37622 WITH SCORE 37661.228
AT ITER 133 NEW BEST:: SOT 55566 SOS 39118 HAS SOPS 39118 HAS SOUS 37512 HAS SOUPS 37512 WITH SCORE 37551.118
AT ITER 134 NEW BEST:: SOT 55450 SOS 39002 HAS SOPS 39002 HAS SOUS 37396 HAS SOUPS 37396 WITH SCORE 37435.002
AT ITER 136 NEW BEST:: SOT 55450 SOS 38976 HAS SOPS 38976 HAS SOUS 37370 HAS SOUPS 37370 WITH SCORE 37408.976
AT ITER 137 NEW BEST:: SOT 55140 SOS 38438 HAS SOPS 38438 HAS SOUS 36832 HAS SOUPS 36832 WITH SCORE 36870.438
AT ITER 138 NEW BEST:: SOT 55140 SOS 38204 HAS SOPS 38204 HAS SOUS 36598 HAS SOUPS 36598 WITH SCORE 36636.204
AT ITER 141 NEW BEST:: SOT 55110 SOS 38174 HAS SOPS 38174 HAS SOUS 36568 HAS SOUPS 36568 WITH SCORE 36606.174
AT ITER 142 NEW BEST:: SOT 55110 SOS 38138 HAS SOPS 38138 HAS SOUS 36532 HAS SOUPS 36532 WITH SCORE 36570.138
AT ITER 143 NEW BEST:: SOT 55016 SOS 38090 HAS SOPS 38090 HAS SOUS 36484 HAS SOUPS 36484 WITH SCORE 36522.09
AT ITER 145 NEW BEST:: SOT 54804 SOS 37590 HAS SOPS 37590 HAS SOUS 35984 HAS SOUPS 35984 WITH SCORE 36021.59
AT ITER 147 NEW BEST:: SOT 54804 SOS 37588 HAS SOPS 37588 HAS SOUS 35982 HAS SOUPS 35982 WITH SCORE 36019.588
AT ITER 151 NEW BEST:: SOT 54654 SOS 37342 HAS SOPS 37342 HAS SOUS 35736 HAS SOUPS 35736 WITH SCORE 35773.342
AT ITER 153 NEW BEST:: SOT 54654 SOS 37018 HAS SOPS 37018 HAS SOUS 35412 HAS SOUPS 35412 WITH SCORE 35449.018
AT ITER 157 NEW BEST:: SOT 54592 SOS 36956 HAS SOPS 36956 HAS SOUS 35350 HAS SOUPS 35350 WITH SCORE 35386.956
AT ITER 159 NEW BEST:: SOT 54274 SOS 36638 HAS SOPS 36638 HAS SOUS 34998 HAS SOUPS 34998 WITH SCORE 35034.638
AT ITER 161 NEW BEST:: SOT 54082 SOS 36228 HAS SOPS 36228 HAS SOUS 34588 HAS SOUPS 34588 WITH SCORE 34624.228
AT ITER 168 NEW BEST:: SOT 53998 SOS 36144 HAS SOPS 36144 HAS SOUS 34504 HAS SOUPS 34504 WITH SCORE 34540.144
AT ITER 170 NEW BEST:: SOT 53930 SOS 36008 HAS SOPS 36008 HAS SOUS 34368 HAS SOUPS 34368 WITH SCORE 34404.008
AT ITER 176 NEW BEST:: SOT 53732 SOS 35712 HAS SOPS 35712 HAS SOUS 34072 HAS SOUPS 34072 WITH SCORE 34107.712
AT ITER 187 NEW BEST:: SOT 53716 SOS 35624 HAS SOPS 35624 HAS SOUS 33984 HAS SOUPS 33984 WITH SCORE 34019.624
AT ITER 188 NEW BEST:: SOT 53640 SOS 35548 HAS SOPS 35548 HAS SOUS 33908 HAS SOUPS 33908 WITH SCORE 33943.548
AT ITER 189 NEW BEST:: SOT 53566 SOS 35474 HAS SOPS 35474 HAS SOUS 33834 HAS SOUPS 33834 WITH SCORE 33869.474
AT ITER 193 NEW BEST:: SOT 53524 SOS 35334 HAS SOPS 35334 HAS SOUS 33694 HAS SOUPS 33694 WITH SCORE 33729.334
AT ITER 196 NEW BEST:: SOT 53284 SOS 35094 HAS SOPS 35094 HAS SOUS 33454 HAS SOUPS 33454 WITH SCORE 33489.094
AT ITER 201 NEW BEST:: SOT 53284 SOS 35064 HAS SOPS 35064 HAS SOUS 33424 HAS SOUPS 33424 WITH SCORE 33459.064
AT ITER 208 NEW BEST:: SOT 53284 SOS 34970 HAS SOPS 34970 HAS SOUS 33330 HAS SOUPS 33330 WITH SCORE 33364.97
AT ITER 210 NEW BEST:: SOT 53154 SOS 34892 HAS SOPS 34892 HAS SOUS 33252 HAS SOUPS 33252 WITH SCORE 33286.892
AT ITER 212 NEW BEST:: SOT 52874 SOS 34332 HAS SOPS 34332 HAS SOUS 32692 HAS SOUPS 32692 WITH SCORE 32726.332
AT ITER 216 NEW BEST:: SOT 52874 SOS 34150 HAS SOPS 34150 HAS SOUS 32672 HAS SOUPS 32672 WITH SCORE 32706.15
AT ITER 217 NEW BEST:: SOT 52838 SOS 34114 HAS SOPS 34114 HAS SOUS 32636 HAS SOUPS 32636 WITH SCORE 32670.114
AT ITER 223 NEW BEST:: SOT 52776 SOS 34036 HAS SOPS 34036 HAS SOUS 32558 HAS SOUPS 32558 WITH SCORE 32592.036
AT ITER 226 NEW BEST:: SOT 52732 SOS 33992 HAS SOPS 33992 HAS SOUS 32514 HAS SOUPS 32514 WITH SCORE 32547.992
AT ITER 229 NEW BEST:: SOT 52732 SOS 33754 HAS SOPS 33754 HAS SOUS 32478 HAS SOUPS 32478 WITH SCORE 32511.754
AT ITER 232 NEW BEST:: SOT 52688 SOS 33674 HAS SOPS 33674 HAS SOUS 32398 HAS SOUPS 32398 WITH SCORE 32431.674
AT ITER 233 NEW BEST:: SOT 52688 SOS 33604 HAS SOPS 33604 HAS SOUS 32328 HAS SOUPS 32328 WITH SCORE 32361.604
AT ITER 236 NEW BEST:: SOT 52616 SOS 33542 HAS SOPS 33542 HAS SOUS 32266 HAS SOUPS 32266 WITH SCORE 32299.542
AT ITER 238 NEW BEST:: SOT 52460 SOS 33310 HAS SOPS 33310 HAS SOUS 32034 HAS SOUPS 32034 WITH SCORE 32067.31
AT ITER 242 NEW BEST:: SOT 52260 SOS 33110 HAS SOPS 33110 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31867.11
AT ITER 258 NEW BEST:: SOT 52260 SOS 32942 HAS SOPS 32942 HAS SOUS 31666 HAS SOUPS 31666 WITH SCORE 31698.942
AT ITER 264 NEW BEST:: SOT 52174 SOS 32730 HAS SOPS 32730 HAS SOUS 31454 HAS SOUPS 31454 WITH SCORE 31486.73
AT ITER 265 NEW BEST:: SOT 52050 SOS 32396 HAS SOPS 32396 HAS SOUS 31120 HAS SOUPS 31120 WITH SCORE 31152.396
AT ITER 269 NEW BEST:: SOT 52044 SOS 32390 HAS SOPS 32390 HAS SOUS 31114 HAS SOUPS 31114 WITH SCORE 31146.39
AT ITER 270 NEW BEST:: SOT 52042 SOS 32388 HAS SOPS 32388 HAS SOUS 31112 HAS SOUPS 31112 WITH SCORE 31144.388
AT ITER 273 NEW BEST:: SOT 51928 SOS 32274 HAS SOPS 32274 HAS SOUS 30998 HAS SOUPS 30998 WITH SCORE 31030.274
AT ITER 274 NEW BEST:: SOT 51826 SOS 32172 HAS SOPS 32172 HAS SOUS 30896 HAS SOUPS 30896 WITH SCORE 30928.172
AT ITER 284 NEW BEST:: SOT 51826 SOS 32160 HAS SOPS 32160 HAS SOUS 30884 HAS SOUPS 30884 WITH SCORE 30916.16
AT ITER 286 NEW BEST:: SOT 51826 SOS 32346 HAS SOPS 32346 HAS SOUS 30778 HAS SOUPS 30778 WITH SCORE 30810.346
AT ITER 288 NEW BEST:: SOT 51540 SOS 32072 HAS SOPS 32072 HAS SOUS 30428 HAS SOUPS 30428 WITH SCORE 30460.072
AT ITER 290 NEW BEST:: SOT 51386 SOS 31920 HAS SOPS 31920 HAS SOUS 30046 HAS SOUPS 30046 WITH SCORE 30077.92
AT ITER 291 NEW BEST:: SOT 51386 SOS 31860 HAS SOPS 31860 HAS SOUS 29986 HAS SOUPS 29986 WITH SCORE 30017.86
AT ITER 292 NEW BEST:: SOT 51372 SOS 31846 HAS SOPS 31846 HAS SOUS 29972 HAS SOUPS 29972 WITH SCORE 30003.846
AT ITER 293 NEW BEST:: SOT 51370 SOS 31844 HAS SOPS 31844 HAS SOUS 29970 HAS SOUPS 29970 WITH SCORE 30001.844
AT ITER 298 NEW BEST:: SOT 51370 SOS 31808 HAS SOPS 31808 HAS SOUS 29934 HAS SOUPS 29934 WITH SCORE 29965.808
AT ITER 299 NEW BEST:: SOT 51370 SOS 31778 HAS SOPS 31778 HAS SOUS 29904 HAS SOUPS 29904 WITH SCORE 29935.778
AT ITER 300 NEW BEST:: SOT 51132 SOS 31302 HAS SOPS 31302 HAS SOUS 29428 HAS SOUPS 29428 WITH SCORE 29459.302
AT ITER 307 NEW BEST:: SOT 51116 SOS 31270 HAS SOPS 31270 HAS SOUS 29396 HAS SOUPS 29396 WITH SCORE 29427.27
AT ITER 308 NEW BEST:: SOT 51084 SOS 31238 HAS SOPS 31238 HAS SOUS 29364 HAS SOUPS 29364 WITH SCORE 29395.238
AT ITER 310 NEW BEST:: SOT 51078 SOS 31182 HAS SOPS 31182 HAS SOUS 29308 HAS SOUPS 29308 WITH SCORE 29339.182
AT ITER 311 NEW BEST:: SOT 51078 SOS 31236 HAS SOPS 31236 HAS SOUS 29116 HAS SOUPS 29116 WITH SCORE 29147.236
AT ITER 313 NEW BEST:: SOT 51084 SOS 31042 HAS SOPS 31042 HAS SOUS 28922 HAS SOUPS 28922 WITH SCORE 28953.042
AT ITER 319 NEW BEST:: SOT 51084 SOS 31018 HAS SOPS 31018 HAS SOUS 28898 HAS SOUPS 28898 WITH SCORE 28929.018
AT ITER 323 NEW BEST:: SOT 50986 SOS 30920 HAS SOPS 30920 HAS SOUS 28800 HAS SOUPS 28800 WITH SCORE 28830.92
AT ITER 324 NEW BEST:: SOT 50808 SOS 30654 HAS SOPS 30654 HAS SOUS 28534 HAS SOUPS 28534 WITH SCORE 28564.654
AT ITER 331 NEW BEST:: SOT 50612 SOS 30498 HAS SOPS 30498 HAS SOUS 28378 HAS SOUPS 28378 WITH SCORE 28408.498
AT ITER 334 NEW BEST:: SOT 50612 SOS 30356 HAS SOPS 30356 HAS SOUS 28338 HAS SOUPS 28338 WITH SCORE 28368.356
AT ITER 340 NEW BEST:: SOT 50572 SOS 30316 HAS SOPS 30316 HAS SOUS 28298 HAS SOUPS 28298 WITH SCORE 28328.316
AT ITER 342 NEW BEST:: SOT 50572 SOS 30210 HAS SOPS 30210 HAS SOUS 28298 HAS SOUPS 28298 WITH SCORE 28328.21
AT ITER 347 NEW BEST:: SOT 50478 SOS 30100 HAS SOPS 30100 HAS SOUS 28188 HAS SOUPS 28188 WITH SCORE 28218.1
AT ITER 351 NEW BEST:: SOT 50420 SOS 30042 HAS SOPS 30042 HAS SOUS 28130 HAS SOUPS 28130 WITH SCORE 28160.042
AT ITER 352 NEW BEST:: SOT 50358 SOS 29980 HAS SOPS 29980 HAS SOUS 28068 HAS SOUPS 28068 WITH SCORE 28097.98
AT ITER 357 NEW BEST:: SOT 50322 SOS 29944 HAS SOPS 29944 HAS SOUS 28032 HAS SOUPS 28032 WITH SCORE 28061.944
AT ITER 368 NEW BEST:: SOT 50122 SOS 29354 HAS SOPS 29354 HAS SOUS 27442 HAS SOUPS 27442 WITH SCORE 27471.354
AT ITER 369 NEW BEST:: SOT 50048 SOS 29204 HAS SOPS 29204 HAS SOUS 27292 HAS SOUPS 27292 WITH SCORE 27321.204
AT ITER 370 NEW BEST:: SOT 50048 SOS 29092 HAS SOPS 29092 HAS SOUS 27180 HAS SOUPS 27180 WITH SCORE 27209.092
AT ITER 373 NEW BEST:: SOT 50024 SOS 29068 HAS SOPS 29068 HAS SOUS 27156 HAS SOUPS 27156 WITH SCORE 27185.068
AT ITER 374 NEW BEST:: SOT 50024 SOS 28946 HAS SOPS 28946 HAS SOUS 27034 HAS SOUPS 27034 WITH SCORE 27062.946
AT ITER 378 NEW BEST:: SOT 49980 SOS 28902 HAS SOPS 28902 HAS SOUS 26990 HAS SOUPS 26990 WITH SCORE 27018.902
AT ITER 384 NEW BEST:: SOT 49942 SOS 28864 HAS SOPS 28864 HAS SOUS 26952 HAS SOUPS 26952 WITH SCORE 26980.864
AT ITER 385 NEW BEST:: SOT 49744 SOS 28722 HAS SOPS 28722 HAS SOUS 26810 HAS SOUPS 26810 WITH SCORE 26838.722
AT ITER 388 NEW BEST:: SOT 49720 SOS 28698 HAS SOPS 28698 HAS SOUS 26786 HAS SOUPS 26786 WITH SCORE 26814.698
AT ITER 389 NEW BEST:: SOT 49478 SOS 28446 HAS SOPS 28446 HAS SOUS 26534 HAS SOUPS 26534 WITH SCORE 26562.446
AT ITER 396 NEW BEST:: SOT 49296 SOS 28064 HAS SOPS 28064 HAS SOUS 26152 HAS SOUPS 26152 WITH SCORE 26180.064
AT ITER 398 NEW BEST:: SOT 49104 SOS 27858 HAS SOPS 27858 HAS SOUS 25946 HAS SOUPS 25946 WITH SCORE 25973.858
AT ITER 401 NEW BEST:: SOT 48896 SOS 27694 HAS SOPS 27694 HAS SOUS 25782 HAS SOUPS 25782 WITH SCORE 25809.694
AT ITER 403 NEW BEST:: SOT 48932 SOS 27692 HAS SOPS 27692 HAS SOUS 25780 HAS SOUPS 25780 WITH SCORE 25807.692
AT ITER 404 NEW BEST:: SOT 48924 SOS 27672 HAS SOPS 27672 HAS SOUS 25760 HAS SOUPS 25760 WITH SCORE 25787.672
AT ITER 410 NEW BEST:: SOT 48738 SOS 27324 HAS SOPS 27324 HAS SOUS 25412 HAS SOUPS 25412 WITH SCORE 25439.324
AT ITER 412 NEW BEST:: SOT 48738 SOS 27262 HAS SOPS 27262 HAS SOUS 25350 HAS SOUPS 25350 WITH SCORE 25377.262
AT ITER 413 NEW BEST:: SOT 48602 SOS 27032 HAS SOPS 27032 HAS SOUS 25120 HAS SOUPS 25120 WITH SCORE 25147.032
AT ITER 421 NEW BEST:: SOT 48592 SOS 26970 HAS SOPS 26970 HAS SOUS 25058 HAS SOUPS 25058 WITH SCORE 25084.97
AT ITER 422 NEW BEST:: SOT 48304 SOS 26594 HAS SOPS 26594 HAS SOUS 24682 HAS SOUPS 24682 WITH SCORE 24708.594
AT ITER 428 NEW BEST:: SOT 48304 SOS 26594 HAS SOPS 26594 HAS SOUS 24678 HAS SOUPS 24678 WITH SCORE 24704.594
AT ITER 431 NEW BEST:: SOT 48252 SOS 26332 HAS SOPS 26332 HAS SOUS 24416 HAS SOUPS 24416 WITH SCORE 24442.332
AT ITER 438 NEW BEST:: SOT 48252 SOS 26300 HAS SOPS 26300 HAS SOUS 24384 HAS SOUPS 24384 WITH SCORE 24410.3
AT ITER 443 NEW BEST:: SOT 48210 SOS 26258 HAS SOPS 26258 HAS SOUS 24342 HAS SOUPS 24342 WITH SCORE 24368.258
AT ITER 446 NEW BEST:: SOT 48072 SOS 26078 HAS SOPS 26078 HAS SOUS 24162 HAS SOUPS 24162 WITH SCORE 24188.078
AT ITER 462 NEW BEST:: SOT 48072 SOS 26058 HAS SOPS 26058 HAS SOUS 24142 HAS SOUPS 24142 WITH SCORE 24168.058
AT ITER 463 NEW BEST:: SOT 47914 SOS 25834 HAS SOPS 25834 HAS SOUS 23918 HAS SOUPS 23918 WITH SCORE 23943.834
AT ITER 464 NEW BEST:: SOT 47854 SOS 25774 HAS SOPS 25774 HAS SOUS 23858 HAS SOUPS 23858 WITH SCORE 23883.774
AT ITER 470 NEW BEST:: SOT 47854 SOS 26198 HAS SOPS 26198 HAS SOUS 23854 HAS SOUPS 23854 WITH SCORE 23880.198
AT ITER 471 NEW BEST:: SOT 47616 SOS 25884 HAS SOPS 25884 HAS SOUS 23540 HAS SOUPS 23540 WITH SCORE 23565.884
AT ITER 472 NEW BEST:: SOT 47610 SOS 25878 HAS SOPS 25878 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23559.878
AT ITER 473 NEW BEST:: SOT 47560 SOS 25832 HAS SOPS 25832 HAS SOUS 23496 HAS SOUPS 23496 WITH SCORE 23521.832
AT ITER 475 NEW BEST:: SOT 47466 SOS 25738 HAS SOPS 25738 HAS SOUS 23402 HAS SOUPS 23402 WITH SCORE 23427.738
AT ITER 480 NEW BEST:: SOT 47434 SOS 25702 HAS SOPS 25702 HAS SOUS 23366 HAS SOUPS 23366 WITH SCORE 23391.702
AT ITER 485 NEW BEST:: SOT 47424 SOS 25692 HAS SOPS 25692 HAS SOUS 23346 HAS SOUPS 23346 WITH SCORE 23371.692
AT ITER 488 NEW BEST:: SOT 47424 SOS 25728 HAS SOPS 25728 HAS SOUS 23204 HAS SOUPS 23204 WITH SCORE 23229.728
AT ITER 491 NEW BEST:: SOT 47286 SOS 25590 HAS SOPS 25590 HAS SOUS 23066 HAS SOUPS 23066 WITH SCORE 23091.59
AT ITER 494 NEW BEST:: SOT 47188 SOS 25440 HAS SOPS 25440 HAS SOUS 22916 HAS SOUPS 22916 WITH SCORE 22941.44
AT ITER 497 NEW BEST:: SOT 47036 SOS 25102 HAS SOPS 25102 HAS SOUS 22578 HAS SOUPS 22578 WITH SCORE 22603.102
AT ITER 498 NEW BEST:: SOT 47036 SOS 25048 HAS SOPS 25048 HAS SOUS 22524 HAS SOUPS 22524 WITH SCORE 22549.048
AT ITER 515 NEW BEST:: SOT 47036 SOS 24916 HAS SOPS 24916 HAS SOUS 22456 HAS SOUPS 22456 WITH SCORE 22480.916
AT ITER 518 NEW BEST:: SOT 46956 SOS 24756 HAS SOPS 24756 HAS SOUS 22296 HAS SOUPS 22296 WITH SCORE 22320.756
AT ITER 532 NEW BEST:: SOT 46788 SOS 24350 HAS SOPS 24350 HAS SOUS 21890 HAS SOUPS 21890 WITH SCORE 21914.35
AT ITER 533 NEW BEST:: SOT 46788 SOS 24252 HAS SOPS 24252 HAS SOUS 21792 HAS SOUPS 21792 WITH SCORE 21816.252
AT ITER 536 NEW BEST:: SOT 46784 SOS 24236 HAS SOPS 24236 HAS SOUS 21776 HAS SOUPS 21776 WITH SCORE 21800.236
AT ITER 542 NEW BEST:: SOT 46794 SOS 24112 HAS SOPS 24112 HAS SOUS 21652 HAS SOUPS 21652 WITH SCORE 21676.112
AT ITER 545 NEW BEST:: SOT 46756 SOS 24074 HAS SOPS 24074 HAS SOUS 21614 HAS SOUPS 21614 WITH SCORE 21638.074
AT ITER 557 NEW BEST:: SOT 46756 SOS 24222 HAS SOPS 24222 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21566.222
AT ITER 568 NEW BEST:: SOT 46774 SOS 24204 HAS SOPS 24204 HAS SOUS 21524 HAS SOUPS 21524 WITH SCORE 21548.204
AT ITER 569 NEW BEST:: SOT 46774 SOS 24204 HAS SOPS 24204 HAS SOUS 21520 HAS SOUPS 21520 WITH SCORE 21544.204
AT ITER 578 NEW BEST:: SOT 46764 SOS 24198 HAS SOPS 24198 HAS SOUS 21492 HAS SOUPS 21492 WITH SCORE 21516.198
AT ITER 579 NEW BEST:: SOT 46734 SOS 24168 HAS SOPS 24168 HAS SOUS 21462 HAS SOUPS 21462 WITH SCORE 21486.168
AT ITER 587 NEW BEST:: SOT 46716 SOS 24150 HAS SOPS 24150 HAS SOUS 21444 HAS SOUPS 21444 WITH SCORE 21468.15
AT ITER 593 NEW BEST:: SOT 46666 SOS 24050 HAS SOPS 24050 HAS SOUS 21344 HAS SOUPS 21344 WITH SCORE 21368.05
AT ITER 609 NEW BEST:: SOT 46666 SOS 23950 HAS SOPS 23950 HAS SOUS 21244 HAS SOUPS 21244 WITH SCORE 21267.95
AT ITER 612 NEW BEST:: SOT 46578 SOS 23798 HAS SOPS 23798 HAS SOUS 21092 HAS SOUPS 21092 WITH SCORE 21115.798
AT ITER 617 NEW BEST:: SOT 46578 SOS 23774 HAS SOPS 23774 HAS SOUS 21068 HAS SOUPS 21068 WITH SCORE 21091.774
AT ITER 620 NEW BEST:: SOT 46436 SOS 23520 HAS SOPS 23520 HAS SOUS 20814 HAS SOUPS 20814 WITH SCORE 20837.52
AT ITER 622 NEW BEST:: SOT 46436 SOS 23434 HAS SOPS 23434 HAS SOUS 20728 HAS SOUPS 20728 WITH SCORE 20751.434
AT ITER 623 NEW BEST:: SOT 46436 SOS 23406 HAS SOPS 23406 HAS SOUS 20700 HAS SOUPS 20700 WITH SCORE 20723.406
AT ITER 626 NEW BEST:: SOT 46358 SOS 23328 HAS SOPS 23328 HAS SOUS 20622 HAS SOUPS 20622 WITH SCORE 20645.328
AT ITER 632 NEW BEST:: SOT 46352 SOS 23322 HAS SOPS 23322 HAS SOUS 20616 HAS SOUPS 20616 WITH SCORE 20639.322
AT ITER 643 NEW BEST:: SOT 46350 SOS 23320 HAS SOPS 23320 HAS SOUS 20614 HAS SOUPS 20614 WITH SCORE 20637.32
AT ITER 649 NEW BEST:: SOT 46274 SOS 23244 HAS SOPS 23244 HAS SOUS 20538 HAS SOUPS 20538 WITH SCORE 20561.244
AT ITER 650 NEW BEST:: SOT 45996 SOS 22966 HAS SOPS 22966 HAS SOUS 20236 HAS SOUPS 20236 WITH SCORE 20258.966
AT ITER 652 NEW BEST:: SOT 45850 SOS 22820 HAS SOPS 22820 HAS SOUS 20090 HAS SOUPS 20090 WITH SCORE 20112.82
AT ITER 654 NEW BEST:: SOT 45870 SOS 22730 HAS SOPS 22730 HAS SOUS 20000 HAS SOUPS 20000 WITH SCORE 20022.73
AT ITER 658 NEW BEST:: SOT 45832 SOS 22660 HAS SOPS 22660 HAS SOUS 19930 HAS SOUPS 19930 WITH SCORE 19952.66
AT ITER 670 NEW BEST:: SOT 45832 SOS 22652 HAS SOPS 22652 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19944.652
AT ITER 704 NEW BEST:: SOT 45832 SOS 22560 HAS SOPS 22560 HAS SOUS 19922 HAS SOUPS 19922 WITH SCORE 19944.56
AT ITER 710 NEW BEST:: SOT 45832 SOS 22466 HAS SOPS 22466 HAS SOUS 19828 HAS SOUPS 19828 WITH SCORE 19850.466
AT ITER 731 NEW BEST:: SOT 45852 SOS 22440 HAS SOPS 22440 HAS SOUS 19802 HAS SOUPS 19802 WITH SCORE 19824.44
AT ITER 732 NEW BEST:: SOT 45680 SOS 22050 HAS SOPS 22050 HAS SOUS 19412 HAS SOUPS 19412 WITH SCORE 19434.05
AT ITER 733 NEW BEST:: SOT 45624 SOS 22042 HAS SOPS 22042 HAS SOUS 19404 HAS SOUPS 19404 WITH SCORE 19426.042
AT ITER 734 NEW BEST:: SOT 45590 SOS 22008 HAS SOPS 22008 HAS SOUS 19370 HAS SOUPS 19370 WITH SCORE 19392.008
AT ITER 735 NEW BEST:: SOT 45538 SOS 21956 HAS SOPS 21956 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19339.956
AT ITER 737 NEW BEST:: SOT 45386 SOS 21804 HAS SOPS 21804 HAS SOUS 19166 HAS SOUPS 19166 WITH SCORE 19187.804
AT ITER 738 NEW BEST:: SOT 45386 SOS 21732 HAS SOPS 21732 HAS SOUS 19166 HAS SOUPS 19166 WITH SCORE 19187.732
AT ITER 740 NEW BEST:: SOT 45338 SOS 21636 HAS SOPS 21636 HAS SOUS 19070 HAS SOUPS 19070 WITH SCORE 19091.636
AT ITER 744 NEW BEST:: SOT 45116 SOS 21480 HAS SOPS 21480 HAS SOUS 18600 HAS SOUPS 18600 WITH SCORE 18621.48
AT ITER 752 NEW BEST:: SOT 45044 SOS 21320 HAS SOPS 21320 HAS SOUS 18440 HAS SOUPS 18440 WITH SCORE 18461.32
AT ITER 758 NEW BEST:: SOT 45044 SOS 21314 HAS SOPS 21314 HAS SOUS 18434 HAS SOUPS 18434 WITH SCORE 18455.314
AT ITER 760 NEW BEST:: SOT 45044 SOS 21218 HAS SOPS 21218 HAS SOUS 18338 HAS SOUPS 18338 WITH SCORE 18359.218
AT ITER 762 NEW BEST:: SOT 45044 SOS 21122 HAS SOPS 21122 HAS SOUS 18242 HAS SOUPS 18242 WITH SCORE 18263.122
AT ITER 766 NEW BEST:: SOT 45044 SOS 21118 HAS SOPS 21118 HAS SOUS 18238 HAS SOUPS 18238 WITH SCORE 18259.118
AT ITER 770 NEW BEST:: SOT 44990 SOS 21024 HAS SOPS 21024 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18165.024
AT ITER 772 NEW BEST:: SOT 44934 SOS 20838 HAS SOPS 20838 HAS SOUS 17958 HAS SOUPS 17958 WITH SCORE 17978.838
AT ITER 831 NEW BEST:: SOT 44934 SOS 21008 HAS SOPS 21008 HAS SOUS 17870 HAS SOUPS 17870 WITH SCORE 17891.008
AT ITER 836 NEW BEST:: SOT 44822 SOS 20826 HAS SOPS 20826 HAS SOUS 17688 HAS SOUPS 17688 WITH SCORE 17708.826
AT ITER 843 NEW BEST:: SOT 44822 SOS 20804 HAS SOPS 20804 HAS SOUS 17666 HAS SOUPS 17666 WITH SCORE 17686.804
AT ITER 848 NEW BEST:: SOT 44802 SOS 21006 HAS SOPS 21006 HAS SOUS 17622 HAS SOUPS 17622 WITH SCORE 17643.006
AT ITER 861 NEW BEST:: SOT 44780 SOS 20974 HAS SOPS 20974 HAS SOUS 17590 HAS SOUPS 17590 WITH SCORE 17610.974
AT ITER 866 NEW BEST:: SOT 44746 SOS 20762 HAS SOPS 20762 HAS SOUS 17378 HAS SOUPS 17378 WITH SCORE 17398.762
AT ITER 878 NEW BEST:: SOT 44732 SOS 20734 HAS SOPS 20734 HAS SOUS 17350 HAS SOUPS 17350 WITH SCORE 17370.734
AT ITER 879 NEW BEST:: SOT 44728 SOS 20730 HAS SOPS 20730 HAS SOUS 17346 HAS SOUPS 17346 WITH SCORE 17366.73
AT ITER 886 NEW BEST:: SOT 44728 SOS 20720 HAS SOPS 20720 HAS SOUS 17336 HAS SOUPS 17336 WITH SCORE 17356.72
AT ITER 893 NEW BEST:: SOT 44728 SOS 20770 HAS SOPS 20770 HAS SOUS 17316 HAS SOUPS 17316 WITH SCORE 17336.77
AT ITER 897 NEW BEST:: SOT 44718 SOS 20736 HAS SOPS 20736 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17302.736
AT ITER 918 NEW BEST:: SOT 44718 SOS 20716 HAS SOPS 20716 HAS SOUS 17262 HAS SOUPS 17262 WITH SCORE 17282.716
AT ITER 931 NEW BEST:: SOT 44688 SOS 20670 HAS SOPS 20670 HAS SOUS 17216 HAS SOUPS 17216 WITH SCORE 17236.67
AT ITER 942 NEW BEST:: SOT 44690 SOS 20648 HAS SOPS 20648 HAS SOUS 17194 HAS SOUPS 17194 WITH SCORE 17214.648
AT ITER 948 NEW BEST:: SOT 44690 SOS 20634 HAS SOPS 20634 HAS SOUS 17180 HAS SOUPS 17180 WITH SCORE 17200.634
AT ITER 952 NEW BEST:: SOT 44604 SOS 20462 HAS SOPS 20462 HAS SOUS 17008 HAS SOUPS 17008 WITH SCORE 17028.462
AT ITER 953 NEW BEST:: SOT 44482 SOS 20340 HAS SOPS 20340 HAS SOUS 16886 HAS SOUPS 16886 WITH SCORE 16906.34
AT ITER 959 NEW BEST:: SOT 44486 SOS 20300 HAS SOPS 20300 HAS SOUS 16846 HAS SOUPS 16846 WITH SCORE 16866.3
AT ITER 960 NEW BEST:: SOT 44456 SOS 20270 HAS SOPS 20270 HAS SOUS 16816 HAS SOUPS 16816 WITH SCORE 16836.27
AT ITER 964 NEW BEST:: SOT 44386 SOS 20200 HAS SOPS 20200 HAS SOUS 16746 HAS SOUPS 16746 WITH SCORE 16766.2
AT ITER 973 NEW BEST:: SOT 44386 SOS 20136 HAS SOPS 20136 HAS SOUS 16682 HAS SOUPS 16682 WITH SCORE 16702.136
AT ITER 975 NEW BEST:: SOT 44342 SOS 20098 HAS SOPS 20098 HAS SOUS 16644 HAS SOUPS 16644 WITH SCORE 16664.098
AT ITER 977 NEW BEST:: SOT 44342 SOS 20074 HAS SOPS 20074 HAS SOUS 16620 HAS SOUPS 16620 WITH SCORE 16640.074
AT ITER 983 NEW BEST:: SOT 44300 SOS 20032 HAS SOPS 20032 HAS SOUS 16536 HAS SOUPS 16536 WITH SCORE 16556.032
AT ITER 984 NEW BEST:: SOT 44174 SOS 19782 HAS SOPS 19782 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16305.782
AT ITER 992 NEW BEST:: SOT 44154 SOS 19762 HAS SOPS 19762 HAS SOUS 16266 HAS SOUPS 16266 WITH SCORE 16285.762
AT ITER 1008 NEW BEST:: SOT 44154 SOS 19762 HAS SOPS 19762 HAS SOUS 16224 HAS SOUPS 16224 WITH SCORE 16243.762
AT ITER 1009 NEW BEST:: SOT 44074 SOS 19586 HAS SOPS 19586 HAS SOUS 16048 HAS SOUPS 16048 WITH SCORE 16067.586
AT ITER 1021 NEW BEST:: SOT 44056 SOS 19568 HAS SOPS 19568 HAS SOUS 15982 HAS SOUPS 15982 WITH SCORE 16001.568
AT ITER 1026 NEW BEST:: SOT 44018 SOS 19530 HAS SOPS 19530 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15963.53
AT ITER 1036 NEW BEST:: SOT 43992 SOS 19502 HAS SOPS 19502 HAS SOUS 15916 HAS SOUPS 15916 WITH SCORE 15935.502
AT ITER 1068 NEW BEST:: SOT 43992 SOS 19466 HAS SOPS 19466 HAS SOUS 15880 HAS SOUPS 15880 WITH SCORE 15899.466
AT ITER 1077 NEW BEST:: SOT 43958 SOS 19410 HAS SOPS 19410 HAS SOUS 15824 HAS SOUPS 15824 WITH SCORE 15843.41
AT ITER 1096 NEW BEST:: SOT 43958 SOS 19404 HAS SOPS 19404 HAS SOUS 15818 HAS SOUPS 15818 WITH SCORE 15837.404
AT ITER 1099 NEW BEST:: SOT 43974 SOS 19392 HAS SOPS 19392 HAS SOUS 15806 HAS SOUPS 15806 WITH SCORE 15825.392
AT ITER 1100 NEW BEST:: SOT 43974 SOS 19390 HAS SOPS 19390 HAS SOUS 15804 HAS SOUPS 15804 WITH SCORE 15823.39
AT ITER 1124 NEW BEST:: SOT 43916 SOS 19216 HAS SOPS 19216 HAS SOUS 15630 HAS SOUPS 15630 WITH SCORE 15649.216
AT ITER 1126 NEW BEST:: SOT 43916 SOS 19210 HAS SOPS 19210 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15643.21
AT ITER 1127 NEW BEST:: SOT 43916 SOS 19208 HAS SOPS 19208 HAS SOUS 15624 HAS SOUPS 15624 WITH SCORE 15643.208
AT ITER 1143 NEW BEST:: SOT 43846 SOS 19138 HAS SOPS 19138 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15573.138
AT ITER 1148 NEW BEST:: SOT 43846 SOS 19114 HAS SOPS 19114 HAS SOUS 15530 HAS SOUPS 15530 WITH SCORE 15549.114
AT ITER 1153 NEW BEST:: SOT 43836 SOS 19150 HAS SOPS 19150 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15533.15
AT ITER 1159 NEW BEST:: SOT 43836 SOS 19118 HAS SOPS 19118 HAS SOUS 15482 HAS SOUPS 15482 WITH SCORE 15501.118
AT ITER 1163 NEW BEST:: SOT 43782 SOS 19036 HAS SOPS 19036 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15419.036
AT ITER 1166 NEW BEST:: SOT 43778 SOS 18984 HAS SOPS 18984 HAS SOUS 15348 HAS SOUPS 15348 WITH SCORE 15366.984
AT ITER 1178 NEW BEST:: SOT 43772 SOS 18978 HAS SOPS 18978 HAS SOUS 15342 HAS SOUPS 15342 WITH SCORE 15360.978
AT ITER 1180 NEW BEST:: SOT 43772 SOS 18972 HAS SOPS 18972 HAS SOUS 15336 HAS SOUPS 15336 WITH SCORE 15354.972
AT ITER 1181 NEW BEST:: SOT 43750 SOS 18950 HAS SOPS 18950 HAS SOUS 15314 HAS SOUPS 15314 WITH SCORE 15332.95
AT ITER 1184 NEW BEST:: SOT 43764 SOS 18938 HAS SOPS 18938 HAS SOUS 15302 HAS SOUPS 15302 WITH SCORE 15320.938
AT ITER 1185 NEW BEST:: SOT 43706 SOS 18868 HAS SOPS 18868 HAS SOUS 15232 HAS SOUPS 15232 WITH SCORE 15250.868
AT ITER 1189 NEW BEST:: SOT 43706 SOS 18814 HAS SOPS 18814 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15196.814
AT ITER 1191 NEW BEST:: SOT 43652 SOS 18752 HAS SOPS 18752 HAS SOUS 15116 HAS SOUPS 15116 WITH SCORE 15134.752
AT ITER 1198 NEW BEST:: SOT 43622 SOS 18722 HAS SOPS 18722 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15074.722
AT ITER 1202 NEW BEST:: SOT 43600 SOS 18700 HAS SOPS 18700 HAS SOUS 15034 HAS SOUPS 15034 WITH SCORE 15052.7
AT ITER 1206 NEW BEST:: SOT 43584 SOS 18684 HAS SOPS 18684 HAS SOUS 15018 HAS SOUPS 15018 WITH SCORE 15036.684
AT ITER 1209 NEW BEST:: SOT 43584 SOS 18678 HAS SOPS 18678 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15030.678
AT ITER 1210 NEW BEST:: SOT 43582 SOS 18648 HAS SOPS 18648 HAS SOUS 14982 HAS SOUPS 14982 WITH SCORE 15000.648
AT ITER 1214 NEW BEST:: SOT 43582 SOS 18610 HAS SOPS 18610 HAS SOUS 14944 HAS SOUPS 14944 WITH SCORE 14962.61
AT ITER 1229 NEW BEST:: SOT 43492 SOS 18520 HAS SOPS 18520 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14872.52
AT ITER 1232 NEW BEST:: SOT 43486 SOS 18514 HAS SOPS 18514 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14866.514
AT ITER 1239 NEW BEST:: SOT 43386 SOS 18414 HAS SOPS 18414 HAS SOUS 14748 HAS SOUPS 14748 WITH SCORE 14766.414
AT ITER 1257 NEW BEST:: SOT 43298 SOS 18238 HAS SOPS 18238 HAS SOUS 14572 HAS SOUPS 14572 WITH SCORE 14590.238
AT ITER 1265 NEW BEST:: SOT 43282 SOS 18236 HAS SOPS 18236 HAS SOUS 14570 HAS SOUPS 14570 WITH SCORE 14588.236
AT ITER 1276 NEW BEST:: SOT 43170 SOS 18100 HAS SOPS 18100 HAS SOUS 14434 HAS SOUPS 14434 WITH SCORE 14452.1
AT ITER 1277 NEW BEST:: SOT 43092 SOS 18022 HAS SOPS 18022 HAS SOUS 14356 HAS SOUPS 14356 WITH SCORE 14374.022
AT ITER 1287 NEW BEST:: SOT 43084 SOS 18014 HAS SOPS 18014 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14366.014
AT ITER 1305 NEW BEST:: SOT 43068 SOS 17998 HAS SOPS 17998 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14349.998
AT ITER 1312 NEW BEST:: SOT 43068 SOS 17962 HAS SOPS 17962 HAS SOUS 14296 HAS SOUPS 14296 WITH SCORE 14313.962
AT ITER 1319 NEW BEST:: SOT 43040 SOS 17902 HAS SOPS 17902 HAS SOUS 14236 HAS SOUPS 14236 WITH SCORE 14253.902
AT ITER 1326 NEW BEST:: SOT 42966 SOS 17760 HAS SOPS 17760 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14111.76
AT ITER 1347 NEW BEST:: SOT 42966 SOS 17740 HAS SOPS 17740 HAS SOUS 14074 HAS SOUPS 14074 WITH SCORE 14091.74
AT ITER 1353 NEW BEST:: SOT 42962 SOS 17736 HAS SOPS 17736 HAS SOUS 14070 HAS SOUPS 14070 WITH SCORE 14087.736
AT ITER 1354 NEW BEST:: SOT 42962 SOS 17528 HAS SOPS 17528 HAS SOUS 14018 HAS SOUPS 14018 WITH SCORE 14035.528
AT ITER 1355 NEW BEST:: SOT 42952 SOS 17508 HAS SOPS 17508 HAS SOUS 13998 HAS SOUPS 13998 WITH SCORE 14015.508
AT ITER 1358 NEW BEST:: SOT 42932 SOS 17468 HAS SOPS 17468 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 13975.468
AT ITER 1359 NEW BEST:: SOT 42848 SOS 17274 HAS SOPS 17274 HAS SOUS 13764 HAS SOUPS 13764 WITH SCORE 13781.274
AT ITER 1371 NEW BEST:: SOT 42812 SOS 17202 HAS SOPS 17202 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13709.202
AT ITER 1381 NEW BEST:: SOT 42770 SOS 17160 HAS SOPS 17160 HAS SOUS 13650 HAS SOUPS 13650 WITH SCORE 13667.16
AT ITER 1384 NEW BEST:: SOT 42770 SOS 17150 HAS SOPS 17150 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13657.15
AT ITER 1406 NEW BEST:: SOT 42770 SOS 17142 HAS SOPS 17142 HAS SOUS 13632 HAS SOUPS 13632 WITH SCORE 13649.142
AT ITER 1407 NEW BEST:: SOT 42766 SOS 17138 HAS SOPS 17138 HAS SOUS 13628 HAS SOUPS 13628 WITH SCORE 13645.138
AT ITER 1409 NEW BEST:: SOT 42766 SOS 17106 HAS SOPS 17106 HAS SOUS 13596 HAS SOUPS 13596 WITH SCORE 13613.106
AT ITER 1410 NEW BEST:: SOT 42734 SOS 17020 HAS SOPS 17020 HAS SOUS 13588 HAS SOUPS 13588 WITH SCORE 13605.02
AT ITER 1412 NEW BEST:: SOT 42734 SOS 17006 HAS SOPS 17006 HAS SOUS 13574 HAS SOUPS 13574 WITH SCORE 13591.006
AT ITER 1415 NEW BEST:: SOT 42666 SOS 16950 HAS SOPS 16950 HAS SOUS 13436 HAS SOUPS 13436 WITH SCORE 13452.95
AT ITER 1440 NEW BEST:: SOT 42590 SOS 16874 HAS SOPS 16874 HAS SOUS 13360 HAS SOUPS 13360 WITH SCORE 13376.874
AT ITER 1476 NEW BEST:: SOT 42554 SOS 16834 HAS SOPS 16834 HAS SOUS 13320 HAS SOUPS 13320 WITH SCORE 13336.834
AT ITER 1478 NEW BEST:: SOT 42552 SOS 16830 HAS SOPS 16830 HAS SOUS 13316 HAS SOUPS 13316 WITH SCORE 13332.83
AT ITER 1531 NEW BEST:: SOT 42506 SOS 16806 HAS SOPS 16806 HAS SOUS 13254 HAS SOUPS 13254 WITH SCORE 13270.806
AT ITER 1550 NEW BEST:: SOT 42384 SOS 16434 HAS SOPS 16434 HAS SOUS 12882 HAS SOUPS 12882 WITH SCORE 12898.434
AT ITER 1566 NEW BEST:: SOT 42332 SOS 16382 HAS SOPS 16382 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12846.382
AT ITER 1579 NEW BEST:: SOT 42288 SOS 16338 HAS SOPS 16338 HAS SOUS 12786 HAS SOUPS 12786 WITH SCORE 12802.338
AT ITER 1599 NEW BEST:: SOT 42248 SOS 16298 HAS SOPS 16298 HAS SOUS 12746 HAS SOUPS 12746 WITH SCORE 12762.298
AT ITER 1600 NEW BEST:: SOT 42248 SOS 16266 HAS SOPS 16266 HAS SOUS 12746 HAS SOUPS 12746 WITH SCORE 12762.266
AT ITER 1609 NEW BEST:: SOT 42188 SOS 16288 HAS SOPS 16288 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12680.288
AT ITER 1611 NEW BEST:: SOT 42192 SOS 16204 HAS SOPS 16204 HAS SOUS 12580 HAS SOUPS 12580 WITH SCORE 12596.204
AT ITER 1621 NEW BEST:: SOT 42196 SOS 16194 HAS SOPS 16194 HAS SOUS 12570 HAS SOUPS 12570 WITH SCORE 12586.194
AT ITER 1630 NEW BEST:: SOT 42170 SOS 16168 HAS SOPS 16168 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12560.168
AT ITER 1637 NEW BEST:: SOT 42170 SOS 16152 HAS SOPS 16152 HAS SOUS 12528 HAS SOUPS 12528 WITH SCORE 12544.152
AT ITER 1642 NEW BEST:: SOT 42162 SOS 16110 HAS SOPS 16110 HAS SOUS 12486 HAS SOUPS 12486 WITH SCORE 12502.11
AT ITER 1643 NEW BEST:: SOT 42082 SOS 16056 HAS SOPS 16056 HAS SOUS 12432 HAS SOUPS 12432 WITH SCORE 12448.056
AT ITER 1662 NEW BEST:: SOT 42034 SOS 15944 HAS SOPS 15944 HAS SOUS 12320 HAS SOUPS 12320 WITH SCORE 12335.944
AT ITER 1692 NEW BEST:: SOT 41926 SOS 15856 HAS SOPS 15856 HAS SOUS 12232 HAS SOUPS 12232 WITH SCORE 12247.856
AT ITER 1706 NEW BEST:: SOT 41926 SOS 15852 HAS SOPS 15852 HAS SOUS 12228 HAS SOUPS 12228 WITH SCORE 12243.852
AT ITER 1712 NEW BEST:: SOT 41902 SOS 15822 HAS SOPS 15822 HAS SOUS 12198 HAS SOUPS 12198 WITH SCORE 12213.822
AT ITER 1726 NEW BEST:: SOT 41902 SOS 15680 HAS SOPS 15680 HAS SOUS 12056 HAS SOUPS 12056 WITH SCORE 12071.68
AT ITER 1748 NEW BEST:: SOT 41918 SOS 15674 HAS SOPS 15674 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12065.674
AT ITER 1749 NEW BEST:: SOT 41910 SOS 15666 HAS SOPS 15666 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12057.666
AT ITER 1756 NEW BEST:: SOT 41870 SOS 15582 HAS SOPS 15582 HAS SOUS 11958 HAS SOUPS 11958 WITH SCORE 11973.582
AT ITER 1780 NEW BEST:: SOT 41870 SOS 15530 HAS SOPS 15530 HAS SOUS 11906 HAS SOUPS 11906 WITH SCORE 11921.53
AT ITER 1785 NEW BEST:: SOT 41844 SOS 15528 HAS SOPS 15528 HAS SOUS 11904 HAS SOUPS 11904 WITH SCORE 11919.528
AT ITER 1794 NEW BEST:: SOT 41814 SOS 15492 HAS SOPS 15492 HAS SOUS 11868 HAS SOUPS 11868 WITH SCORE 11883.492
AT ITER 1795 NEW BEST:: SOT 41732 SOS 15328 HAS SOPS 15328 HAS SOUS 11704 HAS SOUPS 11704 WITH SCORE 11719.328
AT ITER 1804 NEW BEST:: SOT 41732 SOS 15316 HAS SOPS 15316 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11707.316
AT ITER 1805 NEW BEST:: SOT 41732 SOS 15306 HAS SOPS 15306 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11697.306
AT ITER 1811 NEW BEST:: SOT 41708 SOS 15282 HAS SOPS 15282 HAS SOUS 11658 HAS SOUPS 11658 WITH SCORE 11673.282
AT ITER 1820 NEW BEST:: SOT 41690 SOS 15246 HAS SOPS 15246 HAS SOUS 11622 HAS SOUPS 11622 WITH SCORE 11637.246
AT ITER 1834 NEW BEST:: SOT 41676 SOS 15232 HAS SOPS 15232 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11623.232
AT ITER 1849 NEW BEST:: SOT 41664 SOS 15220 HAS SOPS 15220 HAS SOUS 11596 HAS SOUPS 11596 WITH SCORE 11611.22
AT ITER 1865 NEW BEST:: SOT 41662 SOS 15216 HAS SOPS 15216 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11607.216
AT ITER 1898 NEW BEST:: SOT 41624 SOS 15178 HAS SOPS 15178 HAS SOUS 11554 HAS SOUPS 11554 WITH SCORE 11569.178
AT ITER 1919 NEW BEST:: SOT 41608 SOS 15162 HAS SOPS 15162 HAS SOUS 11538 HAS SOUPS 11538 WITH SCORE 11553.162
AT ITER 1959 NEW BEST:: SOT 41602 SOS 15150 HAS SOPS 15150 HAS SOUS 11526 HAS SOUPS 11526 WITH SCORE 11541.15
AT ITER 1977 NEW BEST:: SOT 41600 SOS 15142 HAS SOPS 15142 HAS SOUS 11518 HAS SOUPS 11518 WITH SCORE 11533.142
AT ITER 1996 NEW BEST:: SOT 41584 SOS 15104 HAS SOPS 15104 HAS SOUS 11480 HAS SOUPS 11480 WITH SCORE 11495.104
AT ITER 2008 NEW BEST:: SOT 41552 SOS 15068 HAS SOPS 15068 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11459.068
AT ITER 2068 NEW BEST:: SOT 41542 SOS 15058 HAS SOPS 15058 HAS SOUS 11434 HAS SOUPS 11434 WITH SCORE 11449.058
AT ITER 2087 NEW BEST:: SOT 41542 SOS 15054 HAS SOPS 15054 HAS SOUS 11430 HAS SOUPS 11430 WITH SCORE 11445.054
AT ITER 2103 NEW BEST:: SOT 41538 SOS 14988 HAS SOPS 14988 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11378.988
AT ITER 2110 NEW BEST:: SOT 41526 SOS 14976 HAS SOPS 14976 HAS SOUS 11352 HAS SOUPS 11352 WITH SCORE 11366.976
AT ITER 2114 NEW BEST:: SOT 41526 SOS 14888 HAS SOPS 14888 HAS SOUS 11264 HAS SOUPS 11264 WITH SCORE 11278.888
AT ITER 2138 NEW BEST:: SOT 41508 SOS 14910 HAS SOPS 14910 HAS SOUS 11208 HAS SOUPS 11208 WITH SCORE 11222.91
AT ITER 2164 NEW BEST:: SOT 41508 SOS 14908 HAS SOPS 14908 HAS SOUS 11206 HAS SOUPS 11206 WITH SCORE 11220.908
AT ITER 2184 NEW BEST:: SOT 41508 SOS 14894 HAS SOPS 14894 HAS SOUS 11192 HAS SOUPS 11192 WITH SCORE 11206.894
AT ITER 2189 NEW BEST:: SOT 41500 SOS 14904 HAS SOPS 14904 HAS SOUS 11150 HAS SOUPS 11150 WITH SCORE 11164.904
AT ITER 2191 NEW BEST:: SOT 41424 SOS 14752 HAS SOPS 14752 HAS SOUS 10998 HAS SOUPS 10998 WITH SCORE 11012.752
AT ITER 2196 NEW BEST:: SOT 41410 SOS 14730 HAS SOPS 14730 HAS SOUS 10976 HAS SOUPS 10976 WITH SCORE 10990.73
AT ITER 2212 NEW BEST:: SOT 41410 SOS 14722 HAS SOPS 14722 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 10982.722
AT ITER 2220 NEW BEST:: SOT 41404 SOS 14716 HAS SOPS 14716 HAS SOUS 10962 HAS SOUPS 10962 WITH SCORE 10976.716
AT ITER 2236 NEW BEST:: SOT 41464 SOS 14682 HAS SOPS 14682 HAS SOUS 10928 HAS SOUPS 10928 WITH SCORE 10942.682
AT ITER 2267 NEW BEST:: SOT 41378 SOS 14516 HAS SOPS 14516 HAS SOUS 10762 HAS SOUPS 10762 WITH SCORE 10776.516
AT ITER 2269 NEW BEST:: SOT 41348 SOS 14552 HAS SOPS 14552 HAS SOUS 10698 HAS SOUPS 10698 WITH SCORE 10712.552
AT ITER 2274 NEW BEST:: SOT 41348 SOS 14530 HAS SOPS 14530 HAS SOUS 10676 HAS SOUPS 10676 WITH SCORE 10690.53
AT ITER 2285 NEW BEST:: SOT 41302 SOS 14484 HAS SOPS 14484 HAS SOUS 10630 HAS SOUPS 10630 WITH SCORE 10644.484
AT ITER 2301 NEW BEST:: SOT 41302 SOS 14476 HAS SOPS 14476 HAS SOUS 10622 HAS SOUPS 10622 WITH SCORE 10636.476
AT ITER 2305 NEW BEST:: SOT 41302 SOS 14462 HAS SOPS 14462 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10622.462
AT ITER 2308 NEW BEST:: SOT 41252 SOS 14362 HAS SOPS 14362 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10522.362
AT ITER 2314 NEW BEST:: SOT 41190 SOS 14260 HAS SOPS 14260 HAS SOUS 10406 HAS SOUPS 10406 WITH SCORE 10420.26
AT ITER 2315 NEW BEST:: SOT 41190 SOS 14260 HAS SOPS 14260 HAS SOUS 10376 HAS SOUPS 10376 WITH SCORE 10390.26
AT ITER 2325 NEW BEST:: SOT 41164 SOS 14242 HAS SOPS 14242 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10372.242
AT ITER 2335 NEW BEST:: SOT 41168 SOS 14230 HAS SOPS 14230 HAS SOUS 10346 HAS SOUPS 10346 WITH SCORE 10360.23
AT ITER 2354 NEW BEST:: SOT 41142 SOS 14204 HAS SOPS 14204 HAS SOUS 10320 HAS SOUPS 10320 WITH SCORE 10334.204
AT ITER 2356 NEW BEST:: SOT 41108 SOS 14162 HAS SOPS 14162 HAS SOUS 10278 HAS SOUPS 10278 WITH SCORE 10292.162
AT ITER 2357 NEW BEST:: SOT 41068 SOS 14122 HAS SOPS 14122 HAS SOUS 10238 HAS SOUPS 10238 WITH SCORE 10252.122
AT ITER 2364 NEW BEST:: SOT 41052 SOS 14100 HAS SOPS 14100 HAS SOUS 10216 HAS SOUPS 10216 WITH SCORE 10230.1
AT ITER 2411 NEW BEST:: SOT 41050 SOS 14096 HAS SOPS 14096 HAS SOUS 10212 HAS SOUPS 10212 WITH SCORE 10226.096
AT ITER 2412 NEW BEST:: SOT 41016 SOS 14062 HAS SOPS 14062 HAS SOUS 10178 HAS SOUPS 10178 WITH SCORE 10192.062
AT ITER 2449 NEW BEST:: SOT 40950 SOS 13996 HAS SOPS 13996 HAS SOUS 10112 HAS SOUPS 10112 WITH SCORE 10125.996
AT ITER 2452 NEW BEST:: SOT 40946 SOS 13992 HAS SOPS 13992 HAS SOUS 10108 HAS SOUPS 10108 WITH SCORE 10121.992
AT ITER 2456 NEW BEST:: SOT 40938 SOS 13978 HAS SOPS 13978 HAS SOUS 10094 HAS SOUPS 10094 WITH SCORE 10107.978
AT ITER 2464 NEW BEST:: SOT 40930 SOS 13970 HAS SOPS 13970 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10099.97
AT ITER 2493 NEW BEST:: SOT 40924 SOS 13960 HAS SOPS 13960 HAS SOUS 10076 HAS SOUPS 10076 WITH SCORE 10089.96
AT ITER 2504 NEW BEST:: SOT 40914 SOS 13914 HAS SOPS 13914 HAS SOUS 10030 HAS SOUPS 10030 WITH SCORE 10043.914
AT ITER 2521 NEW BEST:: SOT 40892 SOS 13892 HAS SOPS 13892 HAS SOUS 10008 HAS SOUPS 10008 WITH SCORE 10021.892
AT ITER 2525 NEW BEST:: SOT 40884 SOS 13888 HAS SOPS 13888 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10017.888
AT ITER 2532 NEW BEST:: SOT 40884 SOS 13884 HAS SOPS 13884 HAS SOUS 10000 HAS SOUPS 10000 WITH SCORE 10013.884
AT ITER 2552 NEW BEST:: SOT 40866 SOS 13848 HAS SOPS 13848 HAS SOUS 9964 HAS SOUPS 9964 WITH SCORE 9977.848
AT ITER 2600 NEW BEST:: SOT 40840 SOS 13706 HAS SOPS 13706 HAS SOUS 9822 HAS SOUPS 9822 WITH SCORE 9835.706
AT ITER 2602 NEW BEST:: SOT 40770 SOS 13636 HAS SOPS 13636 HAS SOUS 9752 HAS SOUPS 9752 WITH SCORE 9765.636
AT ITER 2681 NEW BEST:: SOT 40726 SOS 13592 HAS SOPS 13592 HAS SOUS 9664 HAS SOUPS 9664 WITH SCORE 9677.592
AT ITER 2684 NEW BEST:: SOT 40726 SOS 13582 HAS SOPS 13582 HAS SOUS 9654 HAS SOUPS 9654 WITH SCORE 9667.582
AT ITER 2687 NEW BEST:: SOT 40710 SOS 13584 HAS SOPS 13584 HAS SOUS 9600 HAS SOUPS 9600 WITH SCORE 9613.584
AT ITER 2701 NEW BEST:: SOT 40704 SOS 13578 HAS SOPS 13578 HAS SOUS 9516 HAS SOUPS 9516 WITH SCORE 9529.578
AT ITER 2724 NEW BEST:: SOT 40704 SOS 13576 HAS SOPS 13576 HAS SOUS 9514 HAS SOUPS 9514 WITH SCORE 9527.576
AT ITER 2726 NEW BEST:: SOT 40704 SOS 13568 HAS SOPS 13568 HAS SOUS 9506 HAS SOUPS 9506 WITH SCORE 9519.568
AT ITER 2732 NEW BEST:: SOT 40696 SOS 13560 HAS SOPS 13560 HAS SOUS 9490 HAS SOUPS 9490 WITH SCORE 9503.56
AT ITER 2757 NEW BEST:: SOT 40638 SOS 13498 HAS SOPS 13498 HAS SOUS 9428 HAS SOUPS 9428 WITH SCORE 9441.498
AT ITER 2760 NEW BEST:: SOT 40634 SOS 13478 HAS SOPS 13478 HAS SOUS 9408 HAS SOUPS 9408 WITH SCORE 9421.478
AT ITER 2770 NEW BEST:: SOT 40622 SOS 13456 HAS SOPS 13456 HAS SOUS 9386 HAS SOUPS 9386 WITH SCORE 9399.456
AT ITER 2784 NEW BEST:: SOT 40612 SOS 13446 HAS SOPS 13446 HAS SOUS 9376 HAS SOUPS 9376 WITH SCORE 9389.446
AT ITER 2794 NEW BEST:: SOT 40584 SOS 13402 HAS SOPS 13402 HAS SOUS 9332 HAS SOUPS 9332 WITH SCORE 9345.402
AT ITER 2800 NEW BEST:: SOT 40564 SOS 13372 HAS SOPS 13372 HAS SOUS 9302 HAS SOUPS 9302 WITH SCORE 9315.372
AT ITER 2807 NEW BEST:: SOT 40586 SOS 13356 HAS SOPS 13356 HAS SOUS 9286 HAS SOUPS 9286 WITH SCORE 9299.356
AT ITER 2838 NEW BEST:: SOT 40586 SOS 13336 HAS SOPS 13336 HAS SOUS 9266 HAS SOUPS 9266 WITH SCORE 9279.336
AT ITER 2841 NEW BEST:: SOT 40584 SOS 13332 HAS SOPS 13332 HAS SOUS 9262 HAS SOUPS 9262 WITH SCORE 9275.332
AT ITER 2850 NEW BEST:: SOT 40572 SOS 13320 HAS SOPS 13320 HAS SOUS 9200 HAS SOUPS 9200 WITH SCORE 9213.32
AT ITER 2860 NEW BEST:: SOT 40564 SOS 13312 HAS SOPS 13312 HAS SOUS 9192 HAS SOUPS 9192 WITH SCORE 9205.312
AT ITER 2870 NEW BEST:: SOT 40564 SOS 13304 HAS SOPS 13304 HAS SOUS 9184 HAS SOUPS 9184 WITH SCORE 9197.304
AT ITER 2872 NEW BEST:: SOT 40536 SOS 13276 HAS SOPS 13276 HAS SOUS 9156 HAS SOUPS 9156 WITH SCORE 9169.276
AT ITER 2873 NEW BEST:: SOT 40566 SOS 13248 HAS SOPS 13248 HAS SOUS 9128 HAS SOUPS 9128 WITH SCORE 9141.248
AT ITER 2886 NEW BEST:: SOT 40552 SOS 13234 HAS SOPS 13234 HAS SOUS 9100 HAS SOUPS 9100 WITH SCORE 9113.234
AT ITER 2914 NEW BEST:: SOT 40550 SOS 13232 HAS SOPS 13232 HAS SOUS 9098 HAS SOUPS 9098 WITH SCORE 9111.232
AT ITER 2916 NEW BEST:: SOT 40550 SOS 13230 HAS SOPS 13230 HAS SOUS 9096 HAS SOUPS 9096 WITH SCORE 9109.23
AT ITER 2967 NEW BEST:: SOT 40548 SOS 13228 HAS SOPS 13228 HAS SOUS 9094 HAS SOUPS 9094 WITH SCORE 9107.228
AT ITER 2995 NEW BEST:: SOT 40532 SOS 13212 HAS SOPS 13212 HAS SOUS 9060 HAS SOUPS 9060 WITH SCORE 9073.212
AT ITER 3001 NEW BEST:: SOT 40488 SOS 13168 HAS SOPS 13168 HAS SOUS 9016 HAS SOUPS 9016 WITH SCORE 9029.168
AT ITER 3024 NEW BEST:: SOT 40472 SOS 13152 HAS SOPS 13152 HAS SOUS 9000 HAS SOUPS 9000 WITH SCORE 9013.152
AT ITER 3035 NEW BEST:: SOT 40472 SOS 13128 HAS SOPS 13128 HAS SOUS 8976 HAS SOUPS 8976 WITH SCORE 8989.128
AT ITER 3041 NEW BEST:: SOT 40472 SOS 13120 HAS SOPS 13120 HAS SOUS 8968 HAS SOUPS 8968 WITH SCORE 8981.12
AT ITER 3050 NEW BEST:: SOT 40472 SOS 13118 HAS SOPS 13118 HAS SOUS 8966 HAS SOUPS 8966 WITH SCORE 8979.118
AT ITER 3085 NEW BEST:: SOT 40466 SOS 13112 HAS SOPS 13112 HAS SOUS 8960 HAS SOUPS 8960 WITH SCORE 8973.112
AT ITER 3109 NEW BEST:: SOT 40466 SOS 13104 HAS SOPS 13104 HAS SOUS 8952 HAS SOUPS 8952 WITH SCORE 8965.104
AT ITER 3139 NEW BEST:: SOT 40466 SOS 13086 HAS SOPS 13086 HAS SOUS 8934 HAS SOUPS 8934 WITH SCORE 8947.086
AT ITER 3156 NEW BEST:: SOT 40462 SOS 13082 HAS SOPS 13082 HAS SOUS 8930 HAS SOUPS 8930 WITH SCORE 8943.082
AT ITER 3183 NEW BEST:: SOT 40460 SOS 13080 HAS SOPS 13080 HAS SOUS 8928 HAS SOUPS 8928 WITH SCORE 8941.08
AT ITER 3185 NEW BEST:: SOT 40402 SOS 12994 HAS SOPS 12994 HAS SOUS 8842 HAS SOUPS 8842 WITH SCORE 8854.994
AT ITER 3195 NEW BEST:: SOT 40382 SOS 12976 HAS SOPS 12976 HAS SOUS 8824 HAS SOUPS 8824 WITH SCORE 8836.976
AT ITER 3210 NEW BEST:: SOT 40356 SOS 12946 HAS SOPS 12946 HAS SOUS 8794 HAS SOUPS 8794 WITH SCORE 8806.946
AT ITER 3212 NEW BEST:: SOT 40336 SOS 12926 HAS SOPS 12926 HAS SOUS 8774 HAS SOUPS 8774 WITH SCORE 8786.926
AT ITER 3216 NEW BEST:: SOT 40284 SOS 12866 HAS SOPS 12866 HAS SOUS 8714 HAS SOUPS 8714 WITH SCORE 8726.866
AT ITER 3218 NEW BEST:: SOT 40284 SOS 12848 HAS SOPS 12848 HAS SOUS 8696 HAS SOUPS 8696 WITH SCORE 8708.848
AT ITER 3221 NEW BEST:: SOT 40254 SOS 12818 HAS SOPS 12818 HAS SOUS 8636 HAS SOUPS 8636 WITH SCORE 8648.818
AT ITER 3226 NEW BEST:: SOT 40200 SOS 12728 HAS SOPS 12728 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8558.728
AT ITER 3239 NEW BEST:: SOT 40200 SOS 12700 HAS SOPS 12700 HAS SOUS 8518 HAS SOUPS 8518 WITH SCORE 8530.7
AT ITER 3248 NEW BEST:: SOT 40194 SOS 12688 HAS SOPS 12688 HAS SOUS 8506 HAS SOUPS 8506 WITH SCORE 8518.688
AT ITER 3267 NEW BEST:: SOT 40194 SOS 12686 HAS SOPS 12686 HAS SOUS 8504 HAS SOUPS 8504 WITH SCORE 8516.686
AT ITER 3290 NEW BEST:: SOT 40154 SOS 12672 HAS SOPS 12672 HAS SOUS 8490 HAS SOUPS 8490 WITH SCORE 8502.672
AT ITER 3292 NEW BEST:: SOT 40140 SOS 12642 HAS SOPS 12642 HAS SOUS 8460 HAS SOUPS 8460 WITH SCORE 8472.642
AT ITER 3321 NEW BEST:: SOT 40110 SOS 12584 HAS SOPS 12584 HAS SOUS 8402 HAS SOUPS 8402 WITH SCORE 8414.584
AT ITER 3332 NEW BEST:: SOT 40094 SOS 12562 HAS SOPS 12562 HAS SOUS 8380 HAS SOUPS 8380 WITH SCORE 8392.562
AT ITER 3337 NEW BEST:: SOT 40092 SOS 12560 HAS SOPS 12560 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8390.56
AT ITER 3348 NEW BEST:: SOT 40072 SOS 12540 HAS SOPS 12540 HAS SOUS 8358 HAS SOUPS 8358 WITH SCORE 8370.54
AT ITER 3355 NEW BEST:: SOT 40070 SOS 12536 HAS SOPS 12536 HAS SOUS 8354 HAS SOUPS 8354 WITH SCORE 8366.536
AT ITER 3369 NEW BEST:: SOT 40062 SOS 12514 HAS SOPS 12514 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8344.514
AT ITER 3371 NEW BEST:: SOT 40048 SOS 12486 HAS SOPS 12486 HAS SOUS 8304 HAS SOUPS 8304 WITH SCORE 8316.486
AT ITER 3376 NEW BEST:: SOT 40046 SOS 12484 HAS SOPS 12484 HAS SOUS 8302 HAS SOUPS 8302 WITH SCORE 8314.484
AT ITER 3424 NEW BEST:: SOT 40020 SOS 12440 HAS SOPS 12440 HAS SOUS 8258 HAS SOUPS 8258 WITH SCORE 8270.44
AT ITER 3432 NEW BEST:: SOT 39982 SOS 12416 HAS SOPS 12416 HAS SOUS 8234 HAS SOUPS 8234 WITH SCORE 8246.416
AT ITER 3448 NEW BEST:: SOT 39942 SOS 12392 HAS SOPS 12392 HAS SOUS 8210 HAS SOUPS 8210 WITH SCORE 8222.392
AT ITER 3493 NEW BEST:: SOT 39932 SOS 12368 HAS SOPS 12368 HAS SOUS 8186 HAS SOUPS 8186 WITH SCORE 8198.368
AT ITER 3512 NEW BEST:: SOT 39914 SOS 12330 HAS SOPS 12330 HAS SOUS 8148 HAS SOUPS 8148 WITH SCORE 8160.33
AT ITER 3514 NEW BEST:: SOT 39906 SOS 12322 HAS SOPS 12322 HAS SOUS 8140 HAS SOUPS 8140 WITH SCORE 8152.322
AT ITER 3520 NEW BEST:: SOT 39894 SOS 12290 HAS SOPS 12290 HAS SOUS 8108 HAS SOUPS 8108 WITH SCORE 8120.29
AT ITER 3652 NEW BEST:: SOT 39882 SOS 12278 HAS SOPS 12278 HAS SOUS 8096 HAS SOUPS 8096 WITH SCORE 8108.278
AT ITER 3669 NEW BEST:: SOT 39846 SOS 12174 HAS SOPS 12174 HAS SOUS 7992 HAS SOUPS 7992 WITH SCORE 8004.174
AT ITER 3671 NEW BEST:: SOT 39794 SOS 12172 HAS SOPS 12172 HAS SOUS 7990 HAS SOUPS 7990 WITH SCORE 8002.172
AT ITER 3678 NEW BEST:: SOT 39788 SOS 12160 HAS SOPS 12160 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7990.16
AT ITER 3685 NEW BEST:: SOT 39758 SOS 12030 HAS SOPS 12030 HAS SOUS 7848 HAS SOUPS 7848 WITH SCORE 7860.03
AT ITER 3694 NEW BEST:: SOT 39744 SOS 11990 HAS SOPS 11990 HAS SOUS 7808 HAS SOUPS 7808 WITH SCORE 7819.99
AT ITER 3772 NEW BEST:: SOT 39716 SOS 11944 HAS SOPS 11944 HAS SOUS 7762 HAS SOUPS 7762 WITH SCORE 7773.944
AT ITER 3783 NEW BEST:: SOT 39686 SOS 11888 HAS SOPS 11888 HAS SOUS 7706 HAS SOUPS 7706 WITH SCORE 7717.888
AT ITER 3787 NEW BEST:: SOT 39672 SOS 11852 HAS SOPS 11852 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7681.852
AT ITER 3818 NEW BEST:: SOT 39654 SOS 11822 HAS SOPS 11822 HAS SOUS 7640 HAS SOUPS 7640 WITH SCORE 7651.822
AT ITER 3824 NEW BEST:: SOT 39650 SOS 11818 HAS SOPS 11818 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7647.818
AT ITER 3827 NEW BEST:: SOT 39610 SOS 11782 HAS SOPS 11782 HAS SOUS 7600 HAS SOUPS 7600 WITH SCORE 7611.782
AT ITER 3830 NEW BEST:: SOT 39608 SOS 11778 HAS SOPS 11778 HAS SOUS 7596 HAS SOUPS 7596 WITH SCORE 7607.778
AT ITER 3844 NEW BEST:: SOT 39600 SOS 11770 HAS SOPS 11770 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7599.77
AT ITER 3864 NEW BEST:: SOT 39578 SOS 11822 HAS SOPS 11822 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7535.822
AT ITER 3875 NEW BEST:: SOT 39602 SOS 11778 HAS SOPS 11778 HAS SOUS 7520 HAS SOUPS 7520 WITH SCORE 7531.778
AT ITER 3888 NEW BEST:: SOT 39602 SOS 11770 HAS SOPS 11770 HAS SOUS 7512 HAS SOUPS 7512 WITH SCORE 7523.77
AT ITER 3905 NEW BEST:: SOT 39592 SOS 11748 HAS SOPS 11748 HAS SOUS 7490 HAS SOUPS 7490 WITH SCORE 7501.748
AT ITER 3941 NEW BEST:: SOT 39588 SOS 11744 HAS SOPS 11744 HAS SOUS 7486 HAS SOUPS 7486 WITH SCORE 7497.744
AT ITER 3960 NEW BEST:: SOT 39566 SOS 11792 HAS SOPS 11792 HAS SOUS 7424 HAS SOUPS 7424 WITH SCORE 7435.792
AT ITER 3972 NEW BEST:: SOT 39564 SOS 11790 HAS SOPS 11790 HAS SOUS 7414 HAS SOUPS 7414 WITH SCORE 7425.79
AT ITER 3984 NEW BEST:: SOT 39514 SOS 11698 HAS SOPS 11698 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7333.698
AT ITER 3986 NEW BEST:: SOT 39514 SOS 11680 HAS SOPS 11680 HAS SOUS 7304 HAS SOUPS 7304 WITH SCORE 7315.68
AT ITER 4002 NEW BEST:: SOT 39498 SOS 11646 HAS SOPS 11646 HAS SOUS 7270 HAS SOUPS 7270 WITH SCORE 7281.646
AT ITER 4034 NEW BEST:: SOT 39498 SOS 11624 HAS SOPS 11624 HAS SOUS 7248 HAS SOUPS 7248 WITH SCORE 7259.624
AT ITER 4082 NEW BEST:: SOT 39494 SOS 11616 HAS SOPS 11616 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7251.616
AT ITER 4107 NEW BEST:: SOT 39494 SOS 11590 HAS SOPS 11590 HAS SOUS 7214 HAS SOUPS 7214 WITH SCORE 7225.59
AT ITER 4115 NEW BEST:: SOT 39494 SOS 11572 HAS SOPS 11572 HAS SOUS 7196 HAS SOUPS 7196 WITH SCORE 7207.572
AT ITER 4150 NEW BEST:: SOT 39462 SOS 11534 HAS SOPS 11534 HAS SOUS 7158 HAS SOUPS 7158 WITH SCORE 7169.534
AT ITER 4216 NEW BEST:: SOT 39462 SOS 11516 HAS SOPS 11516 HAS SOUS 7140 HAS SOUPS 7140 WITH SCORE 7151.516
AT ITER 4217 NEW BEST:: SOT 39484 SOS 11502 HAS SOPS 11502 HAS SOUS 7126 HAS SOUPS 7126 WITH SCORE 7137.502
AT ITER 4238 NEW BEST:: SOT 39454 SOS 11464 HAS SOPS 11464 HAS SOUS 7088 HAS SOUPS 7088 WITH SCORE 7099.464
AT ITER 4254 NEW BEST:: SOT 39448 SOS 11440 HAS SOPS 11440 HAS SOUS 7064 HAS SOUPS 7064 WITH SCORE 7075.44
AT ITER 4260 NEW BEST:: SOT 39448 SOS 11460 HAS SOPS 11460 HAS SOUS 7044 HAS SOUPS 7044 WITH SCORE 7055.46
AT ITER 4288 NEW BEST:: SOT 39444 SOS 11452 HAS SOPS 11452 HAS SOUS 7036 HAS SOUPS 7036 WITH SCORE 7047.452
AT ITER 4299 NEW BEST:: SOT 39434 SOS 11442 HAS SOPS 11442 HAS SOUS 7026 HAS SOUPS 7026 WITH SCORE 7037.442
AT ITER 4318 NEW BEST:: SOT 39424 SOS 11432 HAS SOPS 11432 HAS SOUS 7006 HAS SOUPS 7006 WITH SCORE 7017.432
AT ITER 4338 NEW BEST:: SOT 39394 SOS 11362 HAS SOPS 11362 HAS SOUS 6936 HAS SOUPS 6936 WITH SCORE 6947.362
AT ITER 4348 NEW BEST:: SOT 39376 SOS 11336 HAS SOPS 11336 HAS SOUS 6910 HAS SOUPS 6910 WITH SCORE 6921.336
AT ITER 4383 NEW BEST:: SOT 39322 SOS 11314 HAS SOPS 11314 HAS SOUS 6888 HAS SOUPS 6888 WITH SCORE 6899.314
AT ITER 4410 NEW BEST:: SOT 39308 SOS 11276 HAS SOPS 11276 HAS SOUS 6850 HAS SOUPS 6850 WITH SCORE 6861.276
AT ITER 4419 NEW BEST:: SOT 39306 SOS 11274 HAS SOPS 11274 HAS SOUS 6848 HAS SOUPS 6848 WITH SCORE 6859.274
AT ITER 4445 NEW BEST:: SOT 39298 SOS 11270 HAS SOPS 11270 HAS SOUS 6844 HAS SOUPS 6844 WITH SCORE 6855.27
AT ITER 4469 NEW BEST:: SOT 39280 SOS 11242 HAS SOPS 11242 HAS SOUS 6816 HAS SOUPS 6816 WITH SCORE 6827.242
AT ITER 4496 NEW BEST:: SOT 39264 SOS 11226 HAS SOPS 11226 HAS SOUS 6800 HAS SOUPS 6800 WITH SCORE 6811.226
AT ITER 4503 NEW BEST:: SOT 39260 SOS 11218 HAS SOPS 11218 HAS SOUS 6792 HAS SOUPS 6792 WITH SCORE 6803.218
AT ITER 4533 NEW BEST:: SOT 39260 SOS 11206 HAS SOPS 11206 HAS SOUS 6780 HAS SOUPS 6780 WITH SCORE 6791.206
AT ITER 4552 NEW BEST:: SOT 39260 SOS 11188 HAS SOPS 11188 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6779.188
AT ITER 4613 NEW BEST:: SOT 39252 SOS 11180 HAS SOPS 11180 HAS SOUS 6760 HAS SOUPS 6760 WITH SCORE 6771.18
AT ITER 4650 NEW BEST:: SOT 39248 SOS 11172 HAS SOPS 11172 HAS SOUS 6752 HAS SOUPS 6752 WITH SCORE 6763.172
AT ITER 4653 NEW BEST:: SOT 39234 SOS 11158 HAS SOPS 11158 HAS SOUS 6738 HAS SOUPS 6738 WITH SCORE 6749.158
AT ITER 4674 NEW BEST:: SOT 39234 SOS 11156 HAS SOPS 11156 HAS SOUS 6736 HAS SOUPS 6736 WITH SCORE 6747.156
AT ITER 4683 NEW BEST:: SOT 39232 SOS 11150 HAS SOPS 11150 HAS SOUS 6730 HAS SOUPS 6730 WITH SCORE 6741.15
AT ITER 4697 NEW BEST:: SOT 39206 SOS 11084 HAS SOPS 11084 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6675.084
AT ITER 4713 NEW BEST:: SOT 39200 SOS 11078 HAS SOPS 11078 HAS SOUS 6658 HAS SOUPS 6658 WITH SCORE 6669.078
AT ITER 4720 NEW BEST:: SOT 39176 SOS 11030 HAS SOPS 11030 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6621.03
AT ITER 4732 NEW BEST:: SOT 39160 SOS 11002 HAS SOPS 11002 HAS SOUS 6582 HAS SOUPS 6582 WITH SCORE 6593.002
AT ITER 4737 NEW BEST:: SOT 39124 SOS 10966 HAS SOPS 10966 HAS SOUS 6546 HAS SOUPS 6546 WITH SCORE 6556.966
AT ITER 4795 NEW BEST:: SOT 39122 SOS 10962 HAS SOPS 10962 HAS SOUS 6542 HAS SOUPS 6542 WITH SCORE 6552.962
AT ITER 4811 NEW BEST:: SOT 39082 SOS 10894 HAS SOPS 10894 HAS SOUS 6474 HAS SOUPS 6474 WITH SCORE 6484.894
AT ITER 4843 NEW BEST:: SOT 39064 SOS 10880 HAS SOPS 10880 HAS SOUS 6460 HAS SOUPS 6460 WITH SCORE 6470.88
AT ITER 4877 NEW BEST:: SOT 39060 SOS 10866 HAS SOPS 10866 HAS SOUS 6446 HAS SOUPS 6446 WITH SCORE 6456.866
AT ITER 4885 NEW BEST:: SOT 39060 SOS 10858 HAS SOPS 10858 HAS SOUS 6438 HAS SOUPS 6438 WITH SCORE 6448.858
AT ITER 4913 NEW BEST:: SOT 39060 SOS 10820 HAS SOPS 10820 HAS SOUS 6400 HAS SOUPS 6400 WITH SCORE 6410.82
AT ITER 4932 NEW BEST:: SOT 39030 SOS 10778 HAS SOPS 10778 HAS SOUS 6358 HAS SOUPS 6358 WITH SCORE 6368.778
AT ITER 4995 NEW BEST:: SOT 39030 SOS 10766 HAS SOPS 10766 HAS SOUS 6346 HAS SOUPS 6346 WITH SCORE 6356.766
Bounds file is: CTLFireability.xml
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-00 ( ( (! ((potential((tk(P5)>=1) & (tk(P127)>=1) & (tk(P128)>=1) & (tk(P129)>=1) & (tk(P130)>=1) & (tk(P131)>=1) & (tk(P132)>=1) & (tk(P133)>=1) & (tk(P134)>=1) & (tk(P136)>=1) & (tk(P137)>=1) & (tk(P138)>=1) & (tk(P139)>=1) & (tk(P140)>=1) & (tk(P141)>=1) & (tk(P142)>=1) & (tk(P143)>=1) & (tk(P144)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P148)>=1) & (tk(P149)>=1) & (tk(P150)>=1) & (tk(P151)>=1) & (tk(P152)>=1) & (tk(P153)>=1) & (tk(P154)>=1) & (tk(P155)>=1) & (tk(P156)>=1) & (tk(P158)>=1) & (tk(P159)>=1) & (tk(P160)>=1) & (tk(P161)>=1) & (tk(P162)>=1) & (tk(P163)>=1) & (tk(P164)>=1) & (tk(P165)>=1) & (tk(P166)>=1) & (tk(P167)>=1) & (tk(P169)>=1) & (tk(P170)>=1) & (tk(P171)>=1) & (tk(P172)>=1) & (tk(P173)>=1) & (tk(P174)>=1) & (tk(P175)>=1) & (tk(P176)>=1) & (tk(P177)>=1) & (tk(P178)>=1) & (tk(P180)>=1) & (tk(P181)>=1) & (tk(P182)>=1) & (tk(P183)>=1) & (tk(P184)>=1) & (tk(P185)>=1) & (tk(P186)>=1) & (tk(P187)>=1) & (tk(P188)>=1) & (tk(P189)>=1) & (tk(P191)>=1) & (tk(P192)>=1) & (tk(P193)>=1) & (tk(P194)>=1) & (tk(P195)>=1) & (tk(P196)>=1) & (tk(P197)>=1) & (tk(P198)>=1) & (tk(P199)>=1) & (tk(P200)>=1) & (tk(P202)>=1) & (tk(P203)>=1) & (tk(P204)>=1) & (tk(P205)>=1) & (tk(P206)>=1) & (tk(P207)>=1) & (tk(P208)>=1) & (tk(P209)>=1) & (tk(P210)>=1) & (tk(P211)>=1) & (tk(P213)>=1) & (tk(P214)>=1) & (tk(P215)>=1) & (tk(P216)>=1) & (tk(P217)>=1) & (tk(P218)>=1) & (tk(P219)>=1) & (tk(P220)>=1) & (tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1) & (tk(P226)>=1) & (tk(P227)>=1) & (tk(P228)>=1) & (tk(P229)>=1) & (tk(P230)>=1) & (tk(P231)>=1) & (tk(P232)>=1) & (tk(P233)>=1) & (tk(P234)>=1) & (tk(P236)>=1) & (tk(P237)>=1))))) | (AG( (EX( ((potential((tk(P146)>=1) & (tk(P150)>=1)))))))) ) & ( ( ( (! (! ((potential((tk(P193)>=1) & (tk(P280)>=1)))))) & (! ( ((potential((tk(P189)>=1) & (tk(P276)>=1)))) & ((potential((tk(P158)>=1) & (tk(P224)>=1)))) )) ) | (! (AF( ((potential((tk(P80)>=1))))))) ) | (! (EU( ((potential((tk(P103)>=1)))) , ((potential((tk(P9)>=1) & (tk(P127)>=1) & (tk(P128)>=1) & (tk(P129)>=1) & (tk(P130)>=1) & (tk(P131)>=1) & (tk(P132)>=1) & (tk(P133)>=1) & (tk(P134)>=1) & (tk(P136)>=1) & (tk(P137)>=1) & (tk(P138)>=1) & (tk(P139)>=1) & (tk(P140)>=1) & (tk(P141)>=1) & (tk(P142)>=1) & (tk(P143)>=1) & (tk(P144)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P148)>=1) & (tk(P149)>=1) & (tk(P150)>=1) & (tk(P151)>=1) & (tk(P152)>=1) & (tk(P153)>=1) & (tk(P154)>=1) & (tk(P155)>=1) & (tk(P156)>=1) & (tk(P158)>=1) & (tk(P159)>=1) & (tk(P160)>=1) & (tk(P161)>=1) & (tk(P162)>=1) & (tk(P163)>=1) & (tk(P164)>=1) & (tk(P165)>=1) & (tk(P166)>=1) & (tk(P167)>=1) & (tk(P169)>=1) & (tk(P170)>=1) & (tk(P171)>=1) & (tk(P172)>=1) & (tk(P173)>=1) & (tk(P174)>=1) & (tk(P175)>=1) & (tk(P176)>=1) & (tk(P177)>=1) & (tk(P178)>=1) & (tk(P180)>=1) & (tk(P181)>=1) & (tk(P182)>=1) & (tk(P183)>=1) & (tk(P184)>=1) & (tk(P185)>=1) & (tk(P186)>=1) & (tk(P187)>=1) & (tk(P188)>=1) & (tk(P189)>=1) & (tk(P191)>=1) & (tk(P192)>=1) & (tk(P193)>=1) & (tk(P194)>=1) & (tk(P195)>=1) & (tk(P196)>=1) & (tk(P197)>=1) & (tk(P198)>=1) & (tk(P199)>=1) & (tk(P200)>=1) & (tk(P202)>=1) & (tk(P203)>=1) & (tk(P204)>=1) & (tk(P205)>=1) & (tk(P206)>=1) & (tk(P207)>=1) & (tk(P208)>=1) & (tk(P209)>=1) & (tk(P210)>=1) & (tk(P211)>=1) & (tk(P213)>=1) & (tk(P214)>=1) & (tk(P215)>=1) & (tk(P216)>=1) & (tk(P217)>=1) & (tk(P218)>=1) & (tk(P219)>=1) & (tk(P220)>=1) & (tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1) & (tk(P226)>=1) & (tk(P227)>=1) & (tk(P228)>=1) & (tk(P229)>=1) & (tk(P230)>=1) & (tk(P231)>=1) & (tk(P232)>=1) & (tk(P233)>=1) & (tk(P234)>=1) & (tk(P236)>=1) & (tk(P237)>=1)))) ))) ) )
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-01 (EX( (AG( ( (! ((potential((tk(P4)>=1) & (tk(P237)>=1))))) & ( ((potential((tk(P170)>=1) & (tk(P257)>=1)))) | ((potential((tk(P66)>=1)))) ) )))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-02 (! (AG( ( (EF( ((potential((tk(P221)>=1) & (tk(P308)>=1)))))) | ( ( ((potential((tk(P81)>=1)))) | ((potential((tk(P91)>=1)))) ) | ( ((potential((tk(P4)>=1) & (tk(P237)>=1)))) & ((potential((tk(P90)>=1) & (tk(P144)>=1)))) ) ) ))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-03 ( (AF( ((potential((tk(P125)>=1)))))) | (AG( ( ( ( ((potential((tk(P135)>=1) & (tk(P149)>=1)))) & ((potential((tk(P158)>=1) & (tk(P224)>=1)))) ) & ( ((potential((tk(P209)>=1) & (tk(P296)>=1)))) | ((potential((tk(P215)>=1) & (tk(P302)>=1)))) ) ) | (AX( ((potential((tk(P161)>=1) & (tk(P248)>=1)))))) ))) )
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-04 (AG( (EF( (! (! ((potential((tk(P19)>=1))))))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-05 ( (AX( ( (EF( ((potential((tk(P158)>=1) & (tk(P224)>=1)))))) | ( ( ((potential((tk(P87)>=1)))) & ((potential((tk(P10)>=1) & (tk(P127)>=1) & (tk(P128)>=1) & (tk(P129)>=1) & (tk(P130)>=1) & (tk(P131)>=1) & (tk(P132)>=1) & (tk(P133)>=1) & (tk(P134)>=1) & (tk(P136)>=1) & (tk(P137)>=1) & (tk(P138)>=1) & (tk(P139)>=1) & (tk(P140)>=1) & (tk(P141)>=1) & (tk(P142)>=1) & (tk(P143)>=1) & (tk(P144)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P148)>=1) & (tk(P149)>=1) & (tk(P150)>=1) & (tk(P151)>=1) & (tk(P152)>=1) & (tk(P153)>=1) & (tk(P154)>=1) & (tk(P155)>=1) & (tk(P156)>=1) & (tk(P158)>=1) & (tk(P159)>=1) & (tk(P160)>=1) & (tk(P161)>=1) & (tk(P162)>=1) & (tk(P163)>=1) & (tk(P164)>=1) & (tk(P165)>=1) & (tk(P166)>=1) & (tk(P167)>=1) & (tk(P169)>=1) & (tk(P170)>=1) & (tk(P171)>=1) & (tk(P172)>=1) & (tk(P173)>=1) & (tk(P174)>=1) & (tk(P175)>=1) & (tk(P176)>=1) & (tk(P177)>=1) & (tk(P178)>=1) & (tk(P180)>=1) & (tk(P181)>=1) & (tk(P182)>=1) & (tk(P183)>=1) & (tk(P184)>=1) & (tk(P185)>=1) & (tk(P186)>=1) & (tk(P187)>=1) & (tk(P188)>=1) & (tk(P189)>=1) & (tk(P191)>=1) & (tk(P192)>=1) & (tk(P193)>=1) & (tk(P194)>=1) & (tk(P195)>=1) & (tk(P196)>=1) & (tk(P197)>=1) & (tk(P198)>=1) & (tk(P199)>=1) & (tk(P200)>=1) & (tk(P202)>=1) & (tk(P203)>=1) & (tk(P204)>=1) & (tk(P205)>=1) & (tk(P206)>=1) & (tk(P207)>=1) & (tk(P208)>=1) & (tk(P209)>=1) & (tk(P210)>=1) & (tk(P211)>=1) & (tk(P213)>=1) & (tk(P214)>=1) & (tk(P215)>=1) & (tk(P216)>=1) & (tk(P217)>=1) & (tk(P218)>=1) & (tk(P219)>=1) & (tk(P220)>=1) & (tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1) & (tk(P226)>=1) & (tk(P227)>=1) & (tk(P228)>=1) & (tk(P229)>=1) & (tk(P230)>=1) & (tk(P231)>=1) & (tk(P232)>=1) & (tk(P233)>=1) & (tk(P234)>=1) & (tk(P236)>=1) & (tk(P237)>=1)))) ) | ((potential((tk(P102)>=1)))) ) ))) & (EF( ((potential((tk(P217)>=1) & (tk(P304)>=1)))))) )
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-06 (AG( (! ( ((potential((tk(P25)>=1)))) & ((potential((tk(P247)>=1)))) ))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-07 (EF( (AG( ((potential((tk(P174)>=1) & (tk(P261)>=1))))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-08 (AX( (AX( (AF( ((potential((tk(P9)>=1) & (tk(P127)>=1) & (tk(P128)>=1) & (tk(P129)>=1) & (tk(P130)>=1) & (tk(P131)>=1) & (tk(P132)>=1) & (tk(P133)>=1) & (tk(P134)>=1) & (tk(P136)>=1) & (tk(P137)>=1) & (tk(P138)>=1) & (tk(P139)>=1) & (tk(P140)>=1) & (tk(P141)>=1) & (tk(P142)>=1) & (tk(P143)>=1) & (tk(P144)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P148)>=1) & (tk(P149)>=1) & (tk(P150)>=1) & (tk(P151)>=1) & (tk(P152)>=1) & (tk(P153)>=1) & (tk(P154)>=1) & (tk(P155)>=1) & (tk(P156)>=1) & (tk(P158)>=1) & (tk(P159)>=1) & (tk(P160)>=1) & (tk(P161)>=1) & (tk(P162)>=1) & (tk(P163)>=1) & (tk(P164)>=1) & (tk(P165)>=1) & (tk(P166)>=1) & (tk(P167)>=1) & (tk(P169)>=1) & (tk(P170)>=1) & (tk(P171)>=1) & (tk(P172)>=1) & (tk(P173)>=1) & (tk(P174)>=1) & (tk(P175)>=1) & (tk(P176)>=1) & (tk(P177)>=1) & (tk(P178)>=1) & (tk(P180)>=1) & (tk(P181)>=1) & (tk(P182)>=1) & (tk(P183)>=1) & (tk(P184)>=1) & (tk(P185)>=1) & (tk(P186)>=1) & (tk(P187)>=1) & (tk(P188)>=1) & (tk(P189)>=1) & (tk(P191)>=1) & (tk(P192)>=1) & (tk(P193)>=1) & (tk(P194)>=1) & (tk(P195)>=1) & (tk(P196)>=1) & (tk(P197)>=1) & (tk(P198)>=1) & (tk(P199)>=1) & (tk(P200)>=1) & (tk(P202)>=1) & (tk(P203)>=1) & (tk(P204)>=1) & (tk(P205)>=1) & (tk(P206)>=1) & (tk(P207)>=1) & (tk(P208)>=1) & (tk(P209)>=1) & (tk(P210)>=1) & (tk(P211)>=1) & (tk(P213)>=1) & (tk(P214)>=1) & (tk(P215)>=1) & (tk(P216)>=1) & (tk(P217)>=1) & (tk(P218)>=1) & (tk(P219)>=1) & (tk(P220)>=1) & (tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1) & (tk(P226)>=1) & (tk(P227)>=1) & (tk(P228)>=1) & (tk(P229)>=1) & (tk(P230)>=1) & (tk(P231)>=1) & (tk(P232)>=1) & (tk(P233)>=1) & (tk(P234)>=1) & (tk(P236)>=1) & (tk(P237)>=1))))))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-09 (! (AG( (EF( (! ((potential((tk(P225)>=1) & (tk(P311)>=1))))))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-10 (EF( (AX( ( ((potential((tk(P47)>=1)))) & ( ((potential((tk(P83)>=1)))) & ((potential((tk(P7)>=1) & (tk(P127)>=1) & (tk(P128)>=1) & (tk(P129)>=1) & (tk(P130)>=1) & (tk(P131)>=1) & (tk(P132)>=1) & (tk(P133)>=1) & (tk(P134)>=1) & (tk(P136)>=1) & (tk(P137)>=1) & (tk(P138)>=1) & (tk(P139)>=1) & (tk(P140)>=1) & (tk(P141)>=1) & (tk(P142)>=1) & (tk(P143)>=1) & (tk(P144)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P148)>=1) & (tk(P149)>=1) & (tk(P150)>=1) & (tk(P151)>=1) & (tk(P152)>=1) & (tk(P153)>=1) & (tk(P154)>=1) & (tk(P155)>=1) & (tk(P156)>=1) & (tk(P158)>=1) & (tk(P159)>=1) & (tk(P160)>=1) & (tk(P161)>=1) & (tk(P162)>=1) & (tk(P163)>=1) & (tk(P164)>=1) & (tk(P165)>=1) & (tk(P166)>=1) & (tk(P167)>=1) & (tk(P169)>=1) & (tk(P170)>=1) & (tk(P171)>=1) & (tk(P172)>=1) & (tk(P173)>=1) & (tk(P174)>=1) & (tk(P175)>=1) & (tk(P176)>=1) & (tk(P177)>=1) & (tk(P178)>=1) & (tk(P180)>=1) & (tk(P181)>=1) & (tk(P182)>=1) & (tk(P183)>=1) & (tk(P184)>=1) & (tk(P185)>=1) & (tk(P186)>=1) & (tk(P187)>=1) & (tk(P188)>=1) & (tk(P189)>=1) & (tk(P191)>=1) & (tk(P192)>=1) & (tk(P193)>=1) & (tk(P194)>=1) & (tk(P195)>=1) & (tk(P196)>=1) & (tk(P197)>=1) & (tk(P198)>=1) & (tk(P199)>=1) & (tk(P200)>=1) & (tk(P202)>=1) & (tk(P203)>=1) & (tk(P204)>=1) & (tk(P205)>=1) & (tk(P206)>=1) & (tk(P207)>=1) & (tk(P208)>=1) & (tk(P209)>=1) & (tk(P210)>=1) & (tk(P211)>=1) & (tk(P213)>=1) & (tk(P214)>=1) & (tk(P215)>=1) & (tk(P216)>=1) & (tk(P217)>=1) & (tk(P218)>=1) & (tk(P219)>=1) & (tk(P220)>=1) & (tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1) & (tk(P226)>=1) & (tk(P227)>=1) & (tk(P228)>=1) & (tk(P229)>=1) & (tk(P230)>=1) & (tk(P231)>=1) & (tk(P232)>=1) & (tk(P233)>=1) & (tk(P234)>=1) & (tk(P236)>=1) & (tk(P237)>=1)))) ) )))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-11 ( (EX( (! (EX( ((potential((tk(P161)>=1) & (tk(P248)>=1))))))))) & ((potential((tk(P167)>=1) & (tk(P254)>=1)))) )
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-12 (EF( (EG( ( ( ((potential((tk(P5)>=1) & (tk(P127)>=1) & (tk(P128)>=1) & (tk(P129)>=1) & (tk(P130)>=1) & (tk(P131)>=1) & (tk(P132)>=1) & (tk(P133)>=1) & (tk(P134)>=1) & (tk(P136)>=1) & (tk(P137)>=1) & (tk(P138)>=1) & (tk(P139)>=1) & (tk(P140)>=1) & (tk(P141)>=1) & (tk(P142)>=1) & (tk(P143)>=1) & (tk(P144)>=1) & (tk(P145)>=1) & (tk(P147)>=1) & (tk(P148)>=1) & (tk(P149)>=1) & (tk(P150)>=1) & (tk(P151)>=1) & (tk(P152)>=1) & (tk(P153)>=1) & (tk(P154)>=1) & (tk(P155)>=1) & (tk(P156)>=1) & (tk(P158)>=1) & (tk(P159)>=1) & (tk(P160)>=1) & (tk(P161)>=1) & (tk(P162)>=1) & (tk(P163)>=1) & (tk(P164)>=1) & (tk(P165)>=1) & (tk(P166)>=1) & (tk(P167)>=1) & (tk(P169)>=1) & (tk(P170)>=1) & (tk(P171)>=1) & (tk(P172)>=1) & (tk(P173)>=1) & (tk(P174)>=1) & (tk(P175)>=1) & (tk(P176)>=1) & (tk(P177)>=1) & (tk(P178)>=1) & (tk(P180)>=1) & (tk(P181)>=1) & (tk(P182)>=1) & (tk(P183)>=1) & (tk(P184)>=1) & (tk(P185)>=1) & (tk(P186)>=1) & (tk(P187)>=1) & (tk(P188)>=1) & (tk(P189)>=1) & (tk(P191)>=1) & (tk(P192)>=1) & (tk(P193)>=1) & (tk(P194)>=1) & (tk(P195)>=1) & (tk(P196)>=1) & (tk(P197)>=1) & (tk(P198)>=1) & (tk(P199)>=1) & (tk(P200)>=1) & (tk(P202)>=1) & (tk(P203)>=1) & (tk(P204)>=1) & (tk(P205)>=1) & (tk(P206)>=1) & (tk(P207)>=1) & (tk(P208)>=1) & (tk(P209)>=1) & (tk(P210)>=1) & (tk(P211)>=1) & (tk(P213)>=1) & (tk(P214)>=1) & (tk(P215)>=1) & (tk(P216)>=1) & (tk(P217)>=1) & (tk(P218)>=1) & (tk(P219)>=1) & (tk(P220)>=1) & (tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1) & (tk(P226)>=1) & (tk(P227)>=1) & (tk(P228)>=1) & (tk(P229)>=1) & (tk(P230)>=1) & (tk(P231)>=1) & (tk(P232)>=1) & (tk(P233)>=1) & (tk(P234)>=1) & (tk(P236)>=1) & (tk(P237)>=1)))) & ((potential((tk(P54)>=1)))) ) & ((potential((tk(P172)>=1) & (tk(P259)>=1)))) )))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-13 (EX( (EX( (! (! ((potential((tk(P244)>=1))))))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-14 (EX( (AG( (! ( ((potential((tk(P85)>=1)))) & ((potential((tk(P178)>=1) & (tk(P265)>=1)))) ))))))
PROPERTY: RwMutex-PT-r0100w0010-CTLFireability-15 (AX( ( (AG( ( ((potential((tk(P225)>=1) & (tk(P311)>=1)))) | ((potential((tk(P67)>=1)))) ))) | (EF( (! ((potential((tk(P221)>=1) & (tk(P308)>=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="RwMutex-PT-r0100w0010"
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 RwMutex-PT-r0100w0010, 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 r153-oct2-158972910100308"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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