MCC'2020 - Execution of r207-tajo-159033470401036

About the Execution of smart for ShieldRVt-PT-030A

Execution Summary
Max Memory Used (MB)	Time wait (ms)	CPU Usage (ms)	I/O Wait (ms)	Computed Result	Execution Status
15793.870	2437019.00	2437000.00	0.00	[undef]	Cannot compute

Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 256K
-rw-r--r-- 1 mcc users 4.2K May 14 02:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 26K May 14 02:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 20:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K May 13 20:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 14:46 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:46 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 09:41 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 09:41 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 82K May 12 20:42 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-00
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-01
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-02
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-03
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-04
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-05
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-06
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-07
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-08
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-09
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-10
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-11
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-12
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-13
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-14
FORMULA_NAME ShieldRVt-PT-030A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590456249162

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldRVt (PT), instance 030A
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: 243 places, 243 transitions, 1026 arcs.
AT ITER 0 NEW BEST:: SOT 46396 SOS 34198 HAS SOPS 34198 HAS SOUS 31925 HAS SOUPS 31925 WITH SCORE 31959.198
AT ITER 1 NEW BEST:: SOT 46281 SOS 34078 HAS SOPS 34078 HAS SOUS 31805 HAS SOUPS 31805 WITH SCORE 31839.078
AT ITER 4 NEW BEST:: SOT 46204 SOS 33925 HAS SOPS 33925 HAS SOUS 31652 HAS SOUPS 31652 WITH SCORE 31685.925
AT ITER 6 NEW BEST:: SOT 46119 SOS 33718 HAS SOPS 33718 HAS SOUS 31535 HAS SOUPS 31535 WITH SCORE 31568.718
AT ITER 7 NEW BEST:: SOT 46129 SOS 33664 HAS SOPS 33664 HAS SOUS 31471 HAS SOUPS 31471 WITH SCORE 31504.664
AT ITER 13 NEW BEST:: SOT 46048 SOS 33511 HAS SOPS 33511 HAS SOUS 31362 HAS SOUPS 31362 WITH SCORE 31395.511
AT ITER 14 NEW BEST:: SOT 46010 SOS 33417 HAS SOPS 33417 HAS SOUS 31273 HAS SOUPS 31273 WITH SCORE 31306.417
AT ITER 16 NEW BEST:: SOT 45996 SOS 33389 HAS SOPS 33389 HAS SOUS 31252 HAS SOUPS 31252 WITH SCORE 31285.389
AT ITER 19 NEW BEST:: SOT 45855 SOS 33167 HAS SOPS 33167 HAS SOUS 30997 HAS SOUPS 30997 WITH SCORE 31030.167
AT ITER 20 NEW BEST:: SOT 45855 SOS 33167 HAS SOPS 33167 HAS SOUS 30969 HAS SOUPS 30969 WITH SCORE 31002.167
AT ITER 24 NEW BEST:: SOT 45850 SOS 33162 HAS SOPS 33162 HAS SOUS 30964 HAS SOUPS 30964 WITH SCORE 30997.162
AT ITER 25 NEW BEST:: SOT 45760 SOS 32980 HAS SOPS 32980 HAS SOUS 30850 HAS SOUPS 30850 WITH SCORE 30882.98
AT ITER 26 NEW BEST:: SOT 45685 SOS 32833 HAS SOPS 32833 HAS SOUS 30662 HAS SOUPS 30662 WITH SCORE 30694.833
AT ITER 36 NEW BEST:: SOT 45569 SOS 32604 HAS SOPS 32604 HAS SOUS 30432 HAS SOUPS 30432 WITH SCORE 30464.604
AT ITER 37 NEW BEST:: SOT 45450 SOS 32316 HAS SOPS 32316 HAS SOUS 30195 HAS SOUPS 30195 WITH SCORE 30227.316
AT ITER 42 NEW BEST:: SOT 45444 SOS 32307 HAS SOPS 32307 HAS SOUS 30186 HAS SOUPS 30186 WITH SCORE 30218.307
AT ITER 44 NEW BEST:: SOT 45344 SOS 32056 HAS SOPS 32056 HAS SOUS 30028 HAS SOUPS 30028 WITH SCORE 30060.056
AT ITER 48 NEW BEST:: SOT 45330 SOS 32035 HAS SOPS 32035 HAS SOUS 30000 HAS SOUPS 30000 WITH SCORE 30032.035
AT ITER 53 NEW BEST:: SOT 45250 SOS 31919 HAS SOPS 31919 HAS SOUS 29884 HAS SOUPS 29884 WITH SCORE 29915.919
AT ITER 58 NEW BEST:: SOT 45138 SOS 31694 HAS SOPS 31694 HAS SOUS 29694 HAS SOUPS 29694 WITH SCORE 29725.694
AT ITER 59 NEW BEST:: SOT 45135 SOS 31691 HAS SOPS 31691 HAS SOUS 29691 HAS SOUPS 29691 WITH SCORE 29722.691
AT ITER 64 NEW BEST:: SOT 45129 SOS 31685 HAS SOPS 31685 HAS SOUS 29685 HAS SOUPS 29685 WITH SCORE 29716.685
AT ITER 71 NEW BEST:: SOT 45225 SOS 31849 HAS SOPS 31849 HAS SOUS 29673 HAS SOUPS 29673 WITH SCORE 29704.849
AT ITER 73 NEW BEST:: SOT 45178 SOS 31810 HAS SOPS 31810 HAS SOUS 29599 HAS SOUPS 29599 WITH SCORE 29630.81
AT ITER 74 NEW BEST:: SOT 45178 SOS 31810 HAS SOPS 31810 HAS SOUS 29572 HAS SOUPS 29572 WITH SCORE 29603.81
AT ITER 75 NEW BEST:: SOT 45072 SOS 31552 HAS SOPS 31552 HAS SOUS 29254 HAS SOUPS 29254 WITH SCORE 29285.552
AT ITER 77 NEW BEST:: SOT 45109 SOS 31594 HAS SOPS 31594 HAS SOUS 29227 HAS SOUPS 29227 WITH SCORE 29258.594
AT ITER 78 NEW BEST:: SOT 45070 SOS 31516 HAS SOPS 31516 HAS SOUS 29149 HAS SOUPS 29149 WITH SCORE 29180.516
AT ITER 79 NEW BEST:: SOT 44952 SOS 31218 HAS SOPS 31218 HAS SOUS 28899 HAS SOUPS 28899 WITH SCORE 28930.218
AT ITER 80 NEW BEST:: SOT 44903 SOS 31185 HAS SOPS 31185 HAS SOUS 28878 HAS SOUPS 28878 WITH SCORE 28909.185
AT ITER 82 NEW BEST:: SOT 44796 SOS 30908 HAS SOPS 30908 HAS SOUS 28663 HAS SOUPS 28663 WITH SCORE 28693.908
AT ITER 84 NEW BEST:: SOT 44668 SOS 30678 HAS SOPS 30678 HAS SOUS 28381 HAS SOUPS 28381 WITH SCORE 28411.678
AT ITER 86 NEW BEST:: SOT 44543 SOS 30432 HAS SOPS 30432 HAS SOUS 28251 HAS SOUPS 28251 WITH SCORE 28281.432
AT ITER 89 NEW BEST:: SOT 44424 SOS 30212 HAS SOPS 30212 HAS SOUS 28156 HAS SOUPS 28156 WITH SCORE 28186.212
AT ITER 90 NEW BEST:: SOT 44349 SOS 29993 HAS SOPS 29993 HAS SOUS 28008 HAS SOUPS 28008 WITH SCORE 28037.993
AT ITER 95 NEW BEST:: SOT 44349 SOS 30118 HAS SOPS 30118 HAS SOUS 27829 HAS SOUPS 27829 WITH SCORE 27859.118
AT ITER 96 NEW BEST:: SOT 44373 SOS 30114 HAS SOPS 30114 HAS SOUS 27659 HAS SOUPS 27659 WITH SCORE 27689.114
AT ITER 101 NEW BEST:: SOT 44140 SOS 29767 HAS SOPS 29767 HAS SOUS 27274 HAS SOUPS 27274 WITH SCORE 27303.767
AT ITER 104 NEW BEST:: SOT 44125 SOS 29752 HAS SOPS 29752 HAS SOUS 27259 HAS SOUPS 27259 WITH SCORE 27288.752
AT ITER 107 NEW BEST:: SOT 43934 SOS 29336 HAS SOPS 29336 HAS SOUS 26948 HAS SOUPS 26948 WITH SCORE 26977.336
AT ITER 109 NEW BEST:: SOT 43888 SOS 29245 HAS SOPS 29245 HAS SOUS 26825 HAS SOUPS 26825 WITH SCORE 26854.245
AT ITER 113 NEW BEST:: SOT 43749 SOS 29106 HAS SOPS 29106 HAS SOUS 26686 HAS SOUPS 26686 WITH SCORE 26715.106
AT ITER 117 NEW BEST:: SOT 43749 SOS 29007 HAS SOPS 29007 HAS SOUS 26630 HAS SOUPS 26630 WITH SCORE 26659.007
AT ITER 119 NEW BEST:: SOT 43691 SOS 28821 HAS SOPS 28821 HAS SOUS 26377 HAS SOUPS 26377 WITH SCORE 26405.821
AT ITER 120 NEW BEST:: SOT 43690 SOS 28820 HAS SOPS 28820 HAS SOUS 26376 HAS SOUPS 26376 WITH SCORE 26404.82
AT ITER 121 NEW BEST:: SOT 43683 SOS 28852 HAS SOPS 28852 HAS SOUS 26371 HAS SOUPS 26371 WITH SCORE 26399.852
AT ITER 122 NEW BEST:: SOT 43645 SOS 28612 HAS SOPS 28612 HAS SOUS 26162 HAS SOUPS 26162 WITH SCORE 26190.612
AT ITER 123 NEW BEST:: SOT 43643 SOS 28610 HAS SOPS 28610 HAS SOUS 26160 HAS SOUPS 26160 WITH SCORE 26188.61
AT ITER 124 NEW BEST:: SOT 43669 SOS 28514 HAS SOPS 28514 HAS SOUS 26094 HAS SOUPS 26094 WITH SCORE 26122.514
AT ITER 126 NEW BEST:: SOT 43643 SOS 28488 HAS SOPS 28488 HAS SOUS 26068 HAS SOUPS 26068 WITH SCORE 26096.488
AT ITER 130 NEW BEST:: SOT 43574 SOS 28364 HAS SOPS 28364 HAS SOUS 25944 HAS SOUPS 25944 WITH SCORE 25972.364
AT ITER 135 NEW BEST:: SOT 43532 SOS 28371 HAS SOPS 28371 HAS SOUS 25937 HAS SOUPS 25937 WITH SCORE 25965.371
AT ITER 138 NEW BEST:: SOT 43435 SOS 28190 HAS SOPS 28190 HAS SOUS 25745 HAS SOUPS 25745 WITH SCORE 25773.19
AT ITER 143 NEW BEST:: SOT 43384 SOS 28139 HAS SOPS 28139 HAS SOUS 25659 HAS SOUPS 25659 WITH SCORE 25687.139
AT ITER 145 NEW BEST:: SOT 43334 SOS 28052 HAS SOPS 28052 HAS SOUS 25595 HAS SOUPS 25595 WITH SCORE 25623.052
AT ITER 146 NEW BEST:: SOT 43258 SOS 28000 HAS SOPS 28000 HAS SOUS 25509 HAS SOUPS 25509 WITH SCORE 25537.0
AT ITER 147 NEW BEST:: SOT 43237 SOS 27925 HAS SOPS 27925 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25491.925
AT ITER 148 NEW BEST:: SOT 43229 SOS 27901 HAS SOPS 27901 HAS SOUS 25453 HAS SOUPS 25453 WITH SCORE 25480.901
AT ITER 149 NEW BEST:: SOT 43206 SOS 27855 HAS SOPS 27855 HAS SOUS 25407 HAS SOUPS 25407 WITH SCORE 25434.855
AT ITER 151 NEW BEST:: SOT 43137 SOS 27718 HAS SOPS 27718 HAS SOUS 25202 HAS SOUPS 25202 WITH SCORE 25229.718
AT ITER 154 NEW BEST:: SOT 43130 SOS 27711 HAS SOPS 27711 HAS SOUS 25195 HAS SOUPS 25195 WITH SCORE 25222.711
AT ITER 157 NEW BEST:: SOT 43183 SOS 27764 HAS SOPS 27764 HAS SOUS 25181 HAS SOUPS 25181 WITH SCORE 25208.764
AT ITER 162 NEW BEST:: SOT 43157 SOS 27738 HAS SOPS 27738 HAS SOUS 25155 HAS SOUPS 25155 WITH SCORE 25182.738
AT ITER 164 NEW BEST:: SOT 43026 SOS 27505 HAS SOPS 27505 HAS SOUS 24960 HAS SOUPS 24960 WITH SCORE 24987.505
AT ITER 169 NEW BEST:: SOT 42982 SOS 27315 HAS SOPS 27315 HAS SOUS 24823 HAS SOUPS 24823 WITH SCORE 24850.315
AT ITER 171 NEW BEST:: SOT 42646 SOS 26860 HAS SOPS 26860 HAS SOUS 24305 HAS SOUPS 24305 WITH SCORE 24331.86
AT ITER 173 NEW BEST:: SOT 42646 SOS 26813 HAS SOPS 26813 HAS SOUS 24259 HAS SOUPS 24259 WITH SCORE 24285.813
AT ITER 174 NEW BEST:: SOT 42610 SOS 26795 HAS SOPS 26795 HAS SOUS 24244 HAS SOUPS 24244 WITH SCORE 24270.795
AT ITER 177 NEW BEST:: SOT 42571 SOS 26682 HAS SOPS 26682 HAS SOUS 24127 HAS SOUPS 24127 WITH SCORE 24153.682
AT ITER 179 NEW BEST:: SOT 42467 SOS 26470 HAS SOPS 26470 HAS SOUS 23928 HAS SOUPS 23928 WITH SCORE 23954.47
AT ITER 183 NEW BEST:: SOT 42415 SOS 26390 HAS SOPS 26390 HAS SOUS 23845 HAS SOUPS 23845 WITH SCORE 23871.39
AT ITER 188 NEW BEST:: SOT 42371 SOS 26225 HAS SOPS 26225 HAS SOUS 23746 HAS SOUPS 23746 WITH SCORE 23772.225
AT ITER 189 NEW BEST:: SOT 42371 SOS 26225 HAS SOPS 26225 HAS SOUS 23737 HAS SOUPS 23737 WITH SCORE 23763.225
AT ITER 190 NEW BEST:: SOT 42269 SOS 26137 HAS SOPS 26137 HAS SOUS 23663 HAS SOUPS 23663 WITH SCORE 23689.137
AT ITER 191 NEW BEST:: SOT 42217 SOS 26039 HAS SOPS 26039 HAS SOUS 23621 HAS SOUPS 23621 WITH SCORE 23647.039
AT ITER 194 NEW BEST:: SOT 42205 SOS 26027 HAS SOPS 26027 HAS SOUS 23609 HAS SOUPS 23609 WITH SCORE 23635.027
AT ITER 196 NEW BEST:: SOT 42155 SOS 25952 HAS SOPS 25952 HAS SOUS 23534 HAS SOUPS 23534 WITH SCORE 23559.952
AT ITER 197 NEW BEST:: SOT 42154 SOS 25951 HAS SOPS 25951 HAS SOUS 23533 HAS SOUPS 23533 WITH SCORE 23558.951
AT ITER 201 NEW BEST:: SOT 42154 SOS 25951 HAS SOPS 25951 HAS SOUS 23527 HAS SOUPS 23527 WITH SCORE 23552.951
AT ITER 207 NEW BEST:: SOT 42143 SOS 25940 HAS SOPS 25940 HAS SOUS 23516 HAS SOUPS 23516 WITH SCORE 23541.94
AT ITER 208 NEW BEST:: SOT 42074 SOS 25842 HAS SOPS 25842 HAS SOUS 23418 HAS SOUPS 23418 WITH SCORE 23443.842
AT ITER 210 NEW BEST:: SOT 42047 SOS 25820 HAS SOPS 25820 HAS SOUS 23396 HAS SOUPS 23396 WITH SCORE 23421.82
AT ITER 228 NEW BEST:: SOT 42034 SOS 25807 HAS SOPS 25807 HAS SOUS 23383 HAS SOUPS 23383 WITH SCORE 23408.807
AT ITER 231 NEW BEST:: SOT 42034 SOS 25807 HAS SOPS 25807 HAS SOUS 23381 HAS SOUPS 23381 WITH SCORE 23406.807
AT ITER 232 NEW BEST:: SOT 42033 SOS 25806 HAS SOPS 25806 HAS SOUS 23380 HAS SOUPS 23380 WITH SCORE 23405.806
AT ITER 234 NEW BEST:: SOT 42013 SOS 25762 HAS SOPS 25762 HAS SOUS 23336 HAS SOUPS 23336 WITH SCORE 23361.762
AT ITER 235 NEW BEST:: SOT 41994 SOS 25724 HAS SOPS 25724 HAS SOUS 23298 HAS SOUPS 23298 WITH SCORE 23323.724
AT ITER 236 NEW BEST:: SOT 41994 SOS 25702 HAS SOPS 25702 HAS SOUS 23287 HAS SOUPS 23287 WITH SCORE 23312.702
AT ITER 242 NEW BEST:: SOT 41855 SOS 25423 HAS SOPS 25423 HAS SOUS 23021 HAS SOUPS 23021 WITH SCORE 23046.423
AT ITER 243 NEW BEST:: SOT 41782 SOS 25336 HAS SOPS 25336 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22959.336
AT ITER 244 NEW BEST:: SOT 41761 SOS 25342 HAS SOPS 25342 HAS SOUS 22922 HAS SOUPS 22922 WITH SCORE 22947.342
AT ITER 247 NEW BEST:: SOT 41737 SOS 25299 HAS SOPS 25299 HAS SOUS 22860 HAS SOUPS 22860 WITH SCORE 22885.299
AT ITER 248 NEW BEST:: SOT 41724 SOS 25250 HAS SOPS 25250 HAS SOUS 22846 HAS SOUPS 22846 WITH SCORE 22871.25
AT ITER 251 NEW BEST:: SOT 41708 SOS 25158 HAS SOPS 25158 HAS SOUS 22798 HAS SOUPS 22798 WITH SCORE 22823.158
AT ITER 270 NEW BEST:: SOT 41627 SOS 25060 HAS SOPS 25060 HAS SOUS 22683 HAS SOUPS 22683 WITH SCORE 22708.06
AT ITER 274 NEW BEST:: SOT 41610 SOS 25049 HAS SOPS 25049 HAS SOUS 22672 HAS SOUPS 22672 WITH SCORE 22697.049
AT ITER 275 NEW BEST:: SOT 41598 SOS 24946 HAS SOPS 24946 HAS SOUS 22569 HAS SOUPS 22569 WITH SCORE 22593.946
AT ITER 281 NEW BEST:: SOT 41378 SOS 24666 HAS SOPS 24666 HAS SOUS 22229 HAS SOUPS 22229 WITH SCORE 22253.666
AT ITER 283 NEW BEST:: SOT 41341 SOS 24629 HAS SOPS 24629 HAS SOUS 22192 HAS SOUPS 22192 WITH SCORE 22216.629
AT ITER 294 NEW BEST:: SOT 41225 SOS 24369 HAS SOPS 24369 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21977.369
AT ITER 297 NEW BEST:: SOT 41153 SOS 24279 HAS SOPS 24279 HAS SOUS 21863 HAS SOUPS 21863 WITH SCORE 21887.279
AT ITER 302 NEW BEST:: SOT 41145 SOS 24267 HAS SOPS 24267 HAS SOUS 21851 HAS SOUPS 21851 WITH SCORE 21875.267
AT ITER 303 NEW BEST:: SOT 41000 SOS 23840 HAS SOPS 23840 HAS SOUS 21580 HAS SOUPS 21580 WITH SCORE 21603.84
AT ITER 304 NEW BEST:: SOT 40965 SOS 23797 HAS SOPS 23797 HAS SOUS 21535 HAS SOUPS 21535 WITH SCORE 21558.797
AT ITER 305 NEW BEST:: SOT 40946 SOS 23778 HAS SOPS 23778 HAS SOUS 21472 HAS SOUPS 21472 WITH SCORE 21495.778
AT ITER 308 NEW BEST:: SOT 40930 SOS 23762 HAS SOPS 23762 HAS SOUS 21456 HAS SOUPS 21456 WITH SCORE 21479.762
AT ITER 311 NEW BEST:: SOT 40930 SOS 23774 HAS SOPS 23774 HAS SOUS 21453 HAS SOUPS 21453 WITH SCORE 21476.774
AT ITER 313 NEW BEST:: SOT 40903 SOS 23740 HAS SOPS 23740 HAS SOUS 21419 HAS SOUPS 21419 WITH SCORE 21442.74
AT ITER 316 NEW BEST:: SOT 40899 SOS 23714 HAS SOPS 23714 HAS SOUS 21340 HAS SOUPS 21340 WITH SCORE 21363.714
AT ITER 326 NEW BEST:: SOT 40764 SOS 23506 HAS SOPS 23506 HAS SOUS 21188 HAS SOUPS 21188 WITH SCORE 21211.506
AT ITER 331 NEW BEST:: SOT 40728 SOS 23438 HAS SOPS 23438 HAS SOUS 21136 HAS SOUPS 21136 WITH SCORE 21159.438
AT ITER 334 NEW BEST:: SOT 40728 SOS 23350 HAS SOPS 23350 HAS SOUS 21092 HAS SOUPS 21092 WITH SCORE 21115.35
AT ITER 345 NEW BEST:: SOT 40714 SOS 23336 HAS SOPS 23336 HAS SOUS 21069 HAS SOUPS 21069 WITH SCORE 21092.336
AT ITER 346 NEW BEST:: SOT 40669 SOS 23198 HAS SOPS 23198 HAS SOUS 20923 HAS SOUPS 20923 WITH SCORE 20946.198
AT ITER 347 NEW BEST:: SOT 40635 SOS 23146 HAS SOPS 23146 HAS SOUS 20871 HAS SOUPS 20871 WITH SCORE 20894.146
AT ITER 348 NEW BEST:: SOT 40610 SOS 23121 HAS SOPS 23121 HAS SOUS 20846 HAS SOUPS 20846 WITH SCORE 20869.121
AT ITER 349 NEW BEST:: SOT 40413 SOS 22766 HAS SOPS 22766 HAS SOUS 20530 HAS SOUPS 20530 WITH SCORE 20552.766
AT ITER 351 NEW BEST:: SOT 40412 SOS 22765 HAS SOPS 22765 HAS SOUS 20529 HAS SOUPS 20529 WITH SCORE 20551.765
AT ITER 358 NEW BEST:: SOT 40350 SOS 22663 HAS SOPS 22663 HAS SOUS 20427 HAS SOUPS 20427 WITH SCORE 20449.663
AT ITER 362 NEW BEST:: SOT 40283 SOS 22565 HAS SOPS 22565 HAS SOUS 20332 HAS SOUPS 20332 WITH SCORE 20354.565
AT ITER 371 NEW BEST:: SOT 40228 SOS 22500 HAS SOPS 22500 HAS SOUS 20267 HAS SOUPS 20267 WITH SCORE 20289.5
AT ITER 373 NEW BEST:: SOT 40238 SOS 22486 HAS SOPS 22486 HAS SOUS 20253 HAS SOUPS 20253 WITH SCORE 20275.486
AT ITER 381 NEW BEST:: SOT 40230 SOS 22478 HAS SOPS 22478 HAS SOUS 20245 HAS SOUPS 20245 WITH SCORE 20267.478
AT ITER 384 NEW BEST:: SOT 40226 SOS 22460 HAS SOPS 22460 HAS SOUS 20233 HAS SOUPS 20233 WITH SCORE 20255.46
AT ITER 385 NEW BEST:: SOT 40221 SOS 22455 HAS SOPS 22455 HAS SOUS 20228 HAS SOUPS 20228 WITH SCORE 20250.455
AT ITER 387 NEW BEST:: SOT 40147 SOS 22312 HAS SOPS 22312 HAS SOUS 20002 HAS SOUPS 20002 WITH SCORE 20024.312
AT ITER 394 NEW BEST:: SOT 40086 SOS 22121 HAS SOPS 22121 HAS SOUS 19939 HAS SOUPS 19939 WITH SCORE 19961.121
AT ITER 395 NEW BEST:: SOT 40065 SOS 22070 HAS SOPS 22070 HAS SOUS 19893 HAS SOUPS 19893 WITH SCORE 19915.07
AT ITER 405 NEW BEST:: SOT 40060 SOS 22057 HAS SOPS 22057 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19902.057
AT ITER 410 NEW BEST:: SOT 40060 SOS 22044 HAS SOPS 22044 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19902.044
AT ITER 416 NEW BEST:: SOT 40058 SOS 22034 HAS SOPS 22034 HAS SOUS 19870 HAS SOUPS 19870 WITH SCORE 19892.034
AT ITER 422 NEW BEST:: SOT 39884 SOS 21744 HAS SOPS 21744 HAS SOUS 19580 HAS SOUPS 19580 WITH SCORE 19601.744
AT ITER 430 NEW BEST:: SOT 39885 SOS 21697 HAS SOPS 21697 HAS SOUS 19576 HAS SOUPS 19576 WITH SCORE 19597.697
AT ITER 432 NEW BEST:: SOT 39830 SOS 21448 HAS SOPS 21448 HAS SOUS 19499 HAS SOUPS 19499 WITH SCORE 19520.448
AT ITER 436 NEW BEST:: SOT 39827 SOS 21402 HAS SOPS 21402 HAS SOUS 19443 HAS SOUPS 19443 WITH SCORE 19464.402
AT ITER 445 NEW BEST:: SOT 39795 SOS 21394 HAS SOPS 21394 HAS SOUS 19429 HAS SOUPS 19429 WITH SCORE 19450.394
AT ITER 447 NEW BEST:: SOT 39789 SOS 21376 HAS SOPS 21376 HAS SOUS 19417 HAS SOUPS 19417 WITH SCORE 19438.376
AT ITER 449 NEW BEST:: SOT 39780 SOS 21279 HAS SOPS 21279 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19350.279
AT ITER 450 NEW BEST:: SOT 39763 SOS 21262 HAS SOPS 21262 HAS SOUS 19312 HAS SOUPS 19312 WITH SCORE 19333.262
AT ITER 460 NEW BEST:: SOT 39734 SOS 21195 HAS SOPS 21195 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19164.195
AT ITER 463 NEW BEST:: SOT 39734 SOS 21186 HAS SOPS 21186 HAS SOUS 19143 HAS SOUPS 19143 WITH SCORE 19164.186
AT ITER 464 NEW BEST:: SOT 39715 SOS 21129 HAS SOPS 21129 HAS SOUS 19105 HAS SOUPS 19105 WITH SCORE 19126.129
AT ITER 468 NEW BEST:: SOT 39709 SOS 21114 HAS SOPS 21114 HAS SOUS 19090 HAS SOUPS 19090 WITH SCORE 19111.114
AT ITER 469 NEW BEST:: SOT 39665 SOS 21086 HAS SOPS 21086 HAS SOUS 19016 HAS SOUPS 19016 WITH SCORE 19037.086
AT ITER 471 NEW BEST:: SOT 39656 SOS 21069 HAS SOPS 21069 HAS SOUS 18999 HAS SOUPS 18999 WITH SCORE 19020.069
AT ITER 474 NEW BEST:: SOT 39596 SOS 20979 HAS SOPS 20979 HAS SOUS 18879 HAS SOUPS 18879 WITH SCORE 18899.979
AT ITER 475 NEW BEST:: SOT 39596 SOS 20979 HAS SOPS 20979 HAS SOUS 18863 HAS SOUPS 18863 WITH SCORE 18883.979
AT ITER 480 NEW BEST:: SOT 39548 SOS 20883 HAS SOPS 20883 HAS SOUS 18732 HAS SOUPS 18732 WITH SCORE 18752.883
AT ITER 484 NEW BEST:: SOT 39470 SOS 20726 HAS SOPS 20726 HAS SOUS 18575 HAS SOUPS 18575 WITH SCORE 18595.726
AT ITER 489 NEW BEST:: SOT 39451 SOS 20695 HAS SOPS 20695 HAS SOUS 18521 HAS SOUPS 18521 WITH SCORE 18541.695
AT ITER 503 NEW BEST:: SOT 39433 SOS 20657 HAS SOPS 20657 HAS SOUS 18483 HAS SOUPS 18483 WITH SCORE 18503.657
AT ITER 519 NEW BEST:: SOT 39368 SOS 20510 HAS SOPS 20510 HAS SOUS 18315 HAS SOUPS 18315 WITH SCORE 18335.51
AT ITER 522 NEW BEST:: SOT 39357 SOS 20424 HAS SOPS 20424 HAS SOUS 18282 HAS SOUPS 18282 WITH SCORE 18302.424
AT ITER 524 NEW BEST:: SOT 39343 SOS 20403 HAS SOPS 20403 HAS SOUS 18260 HAS SOUPS 18260 WITH SCORE 18280.403
AT ITER 526 NEW BEST:: SOT 39230 SOS 20234 HAS SOPS 20234 HAS SOUS 18091 HAS SOUPS 18091 WITH SCORE 18111.234
AT ITER 532 NEW BEST:: SOT 39227 SOS 20225 HAS SOPS 20225 HAS SOUS 18082 HAS SOUPS 18082 WITH SCORE 18102.225
AT ITER 538 NEW BEST:: SOT 39226 SOS 20221 HAS SOPS 20221 HAS SOUS 18079 HAS SOUPS 18079 WITH SCORE 18099.221
AT ITER 552 NEW BEST:: SOT 39104 SOS 19879 HAS SOPS 19879 HAS SOUS 17821 HAS SOUPS 17821 WITH SCORE 17840.879
AT ITER 553 NEW BEST:: SOT 39104 SOS 19873 HAS SOPS 19873 HAS SOUS 17813 HAS SOUPS 17813 WITH SCORE 17832.873
AT ITER 557 NEW BEST:: SOT 39086 SOS 19855 HAS SOPS 19855 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17814.855
AT ITER 558 NEW BEST:: SOT 39078 SOS 19807 HAS SOPS 19807 HAS SOUS 17761 HAS SOUPS 17761 WITH SCORE 17780.807
AT ITER 563 NEW BEST:: SOT 39059 SOS 19783 HAS SOPS 19783 HAS SOUS 17732 HAS SOUPS 17732 WITH SCORE 17751.783
AT ITER 572 NEW BEST:: SOT 38981 SOS 19675 HAS SOPS 19675 HAS SOUS 17595 HAS SOUPS 17595 WITH SCORE 17614.675
AT ITER 575 NEW BEST:: SOT 38924 SOS 19618 HAS SOPS 19618 HAS SOUS 17434 HAS SOUPS 17434 WITH SCORE 17453.618
AT ITER 578 NEW BEST:: SOT 38884 SOS 19522 HAS SOPS 19522 HAS SOUS 17366 HAS SOUPS 17366 WITH SCORE 17385.522
AT ITER 579 NEW BEST:: SOT 38881 SOS 19519 HAS SOPS 19519 HAS SOUS 17363 HAS SOUPS 17363 WITH SCORE 17382.519
AT ITER 585 NEW BEST:: SOT 38865 SOS 19425 HAS SOPS 19425 HAS SOUS 17328 HAS SOUPS 17328 WITH SCORE 17347.425
AT ITER 586 NEW BEST:: SOT 38802 SOS 19299 HAS SOPS 19299 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17245.299
AT ITER 590 NEW BEST:: SOT 38782 SOS 19279 HAS SOPS 19279 HAS SOUS 17177 HAS SOUPS 17177 WITH SCORE 17196.279
AT ITER 602 NEW BEST:: SOT 38736 SOS 19233 HAS SOPS 19233 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17150.233
AT ITER 606 NEW BEST:: SOT 38724 SOS 19218 HAS SOPS 19218 HAS SOUS 17116 HAS SOUPS 17116 WITH SCORE 17135.218
AT ITER 608 NEW BEST:: SOT 38708 SOS 19186 HAS SOPS 19186 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17095.186
AT ITER 619 NEW BEST:: SOT 38705 SOS 19183 HAS SOPS 19183 HAS SOUS 17076 HAS SOUPS 17076 WITH SCORE 17095.183
AT ITER 622 NEW BEST:: SOT 38671 SOS 19155 HAS SOPS 19155 HAS SOUS 17048 HAS SOUPS 17048 WITH SCORE 17067.155
AT ITER 639 NEW BEST:: SOT 38564 SOS 18760 HAS SOPS 18760 HAS SOUS 16855 HAS SOUPS 16855 WITH SCORE 16873.76
AT ITER 646 NEW BEST:: SOT 38401 SOS 18441 HAS SOPS 18441 HAS SOUS 16458 HAS SOUPS 16458 WITH SCORE 16476.441
AT ITER 647 NEW BEST:: SOT 38401 SOS 18432 HAS SOPS 18432 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16467.432
AT ITER 653 NEW BEST:: SOT 38296 SOS 18095 HAS SOPS 18095 HAS SOUS 16286 HAS SOUPS 16286 WITH SCORE 16304.095
AT ITER 655 NEW BEST:: SOT 38204 SOS 17993 HAS SOPS 17993 HAS SOUS 16260 HAS SOUPS 16260 WITH SCORE 16277.993
AT ITER 656 NEW BEST:: SOT 38241 SOS 18012 HAS SOPS 18012 HAS SOUS 16225 HAS SOUPS 16225 WITH SCORE 16243.012
AT ITER 660 NEW BEST:: SOT 38243 SOS 18007 HAS SOPS 18007 HAS SOUS 16220 HAS SOUPS 16220 WITH SCORE 16238.007
AT ITER 661 NEW BEST:: SOT 38164 SOS 17760 HAS SOPS 17760 HAS SOUS 16039 HAS SOUPS 16039 WITH SCORE 16056.76
AT ITER 672 NEW BEST:: SOT 38128 SOS 17712 HAS SOPS 17712 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 15996.712
AT ITER 679 NEW BEST:: SOT 38110 SOS 17676 HAS SOPS 17676 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15966.676
AT ITER 680 NEW BEST:: SOT 38092 SOS 17658 HAS SOPS 17658 HAS SOUS 15913 HAS SOUPS 15913 WITH SCORE 15930.658
AT ITER 682 NEW BEST:: SOT 38034 SOS 17605 HAS SOPS 17605 HAS SOUS 15852 HAS SOUPS 15852 WITH SCORE 15869.605
AT ITER 685 NEW BEST:: SOT 38017 SOS 17601 HAS SOPS 17601 HAS SOUS 15816 HAS SOUPS 15816 WITH SCORE 15833.601
AT ITER 689 NEW BEST:: SOT 38015 SOS 17536 HAS SOPS 17536 HAS SOUS 15752 HAS SOUPS 15752 WITH SCORE 15769.536
AT ITER 698 NEW BEST:: SOT 37993 SOS 17514 HAS SOPS 17514 HAS SOUS 15738 HAS SOUPS 15738 WITH SCORE 15755.514
AT ITER 717 NEW BEST:: SOT 37993 SOS 17514 HAS SOPS 17514 HAS SOUS 15737 HAS SOUPS 15737 WITH SCORE 15754.514
AT ITER 720 NEW BEST:: SOT 37992 SOS 17508 HAS SOPS 17508 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15748.508
AT ITER 726 NEW BEST:: SOT 37985 SOS 17633 HAS SOPS 17633 HAS SOUS 15669 HAS SOUPS 15669 WITH SCORE 15686.633
AT ITER 739 NEW BEST:: SOT 37975 SOS 17605 HAS SOPS 17605 HAS SOUS 15644 HAS SOUPS 15644 WITH SCORE 15661.605
AT ITER 741 NEW BEST:: SOT 37965 SOS 17595 HAS SOPS 17595 HAS SOUS 15634 HAS SOUPS 15634 WITH SCORE 15651.595
AT ITER 743 NEW BEST:: SOT 37965 SOS 17595 HAS SOPS 17595 HAS SOUS 15631 HAS SOUPS 15631 WITH SCORE 15648.595
AT ITER 750 NEW BEST:: SOT 37923 SOS 17474 HAS SOPS 17474 HAS SOUS 15547 HAS SOUPS 15547 WITH SCORE 15564.474
AT ITER 763 NEW BEST:: SOT 37918 SOS 17474 HAS SOPS 17474 HAS SOUS 15524 HAS SOUPS 15524 WITH SCORE 15541.474
AT ITER 775 NEW BEST:: SOT 37918 SOS 17454 HAS SOPS 17454 HAS SOUS 15514 HAS SOUPS 15514 WITH SCORE 15531.454
AT ITER 776 NEW BEST:: SOT 37918 SOS 17449 HAS SOPS 17449 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15526.449
AT ITER 778 NEW BEST:: SOT 37876 SOS 17449 HAS SOPS 17449 HAS SOUS 15508 HAS SOUPS 15508 WITH SCORE 15525.449
AT ITER 781 NEW BEST:: SOT 37823 SOS 17288 HAS SOPS 17288 HAS SOUS 15378 HAS SOUPS 15378 WITH SCORE 15395.288
AT ITER 786 NEW BEST:: SOT 37822 SOS 17286 HAS SOPS 17286 HAS SOUS 15375 HAS SOUPS 15375 WITH SCORE 15392.286
AT ITER 818 NEW BEST:: SOT 37800 SOS 17263 HAS SOPS 17263 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15342.263
AT ITER 819 NEW BEST:: SOT 37767 SOS 17164 HAS SOPS 17164 HAS SOUS 15255 HAS SOUPS 15255 WITH SCORE 15272.164
AT ITER 821 NEW BEST:: SOT 37773 SOS 17156 HAS SOPS 17156 HAS SOUS 15243 HAS SOUPS 15243 WITH SCORE 15260.156
AT ITER 823 NEW BEST:: SOT 37729 SOS 17101 HAS SOPS 17101 HAS SOUS 15188 HAS SOUPS 15188 WITH SCORE 15205.101
AT ITER 836 NEW BEST:: SOT 37722 SOS 17045 HAS SOPS 17045 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15184.045
AT ITER 848 NEW BEST:: SOT 37722 SOS 17007 HAS SOPS 17007 HAS SOUS 15167 HAS SOUPS 15167 WITH SCORE 15184.007
AT ITER 860 NEW BEST:: SOT 37712 SOS 16997 HAS SOPS 16997 HAS SOUS 15157 HAS SOUPS 15157 WITH SCORE 15173.997
AT ITER 880 NEW BEST:: SOT 37637 SOS 16876 HAS SOPS 16876 HAS SOUS 15020 HAS SOUPS 15020 WITH SCORE 15036.876
AT ITER 890 NEW BEST:: SOT 37631 SOS 16870 HAS SOPS 16870 HAS SOUS 15014 HAS SOUPS 15014 WITH SCORE 15030.87
AT ITER 892 NEW BEST:: SOT 37631 SOS 16869 HAS SOPS 16869 HAS SOUS 15011 HAS SOUPS 15011 WITH SCORE 15027.869
AT ITER 896 NEW BEST:: SOT 37631 SOS 16866 HAS SOPS 16866 HAS SOUS 15010 HAS SOUPS 15010 WITH SCORE 15026.866
AT ITER 910 NEW BEST:: SOT 37619 SOS 16844 HAS SOPS 16844 HAS SOUS 14983 HAS SOUPS 14983 WITH SCORE 14999.844
AT ITER 911 NEW BEST:: SOT 37601 SOS 16799 HAS SOPS 16799 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14940.799
AT ITER 912 NEW BEST:: SOT 37622 SOS 16820 HAS SOPS 16820 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14901.82
AT ITER 915 NEW BEST:: SOT 37597 SOS 16787 HAS SOPS 16787 HAS SOUS 14852 HAS SOUPS 14852 WITH SCORE 14868.787
AT ITER 924 NEW BEST:: SOT 37583 SOS 16791 HAS SOPS 16791 HAS SOUS 14849 HAS SOUPS 14849 WITH SCORE 14865.791
AT ITER 930 NEW BEST:: SOT 37563 SOS 16754 HAS SOPS 16754 HAS SOUS 14788 HAS SOUPS 14788 WITH SCORE 14804.754
AT ITER 933 NEW BEST:: SOT 37564 SOS 16755 HAS SOPS 16755 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14798.755
AT ITER 941 NEW BEST:: SOT 37540 SOS 16689 HAS SOPS 16689 HAS SOUS 14737 HAS SOUPS 14737 WITH SCORE 14753.689
AT ITER 942 NEW BEST:: SOT 37509 SOS 16626 HAS SOPS 16626 HAS SOUS 14667 HAS SOUPS 14667 WITH SCORE 14683.626
AT ITER 953 NEW BEST:: SOT 37467 SOS 16561 HAS SOPS 16561 HAS SOUS 14618 HAS SOUPS 14618 WITH SCORE 14634.561
AT ITER 962 NEW BEST:: SOT 37443 SOS 16537 HAS SOPS 16537 HAS SOUS 14594 HAS SOUPS 14594 WITH SCORE 14610.537
AT ITER 963 NEW BEST:: SOT 37434 SOS 16501 HAS SOPS 16501 HAS SOUS 14558 HAS SOUPS 14558 WITH SCORE 14574.501
AT ITER 974 NEW BEST:: SOT 37429 SOS 16481 HAS SOPS 16481 HAS SOUS 14543 HAS SOUPS 14543 WITH SCORE 14559.481
AT ITER 988 NEW BEST:: SOT 37437 SOS 16419 HAS SOPS 16419 HAS SOUS 14494 HAS SOUPS 14494 WITH SCORE 14510.419
AT ITER 995 NEW BEST:: SOT 37452 SOS 16434 HAS SOPS 16434 HAS SOUS 14482 HAS SOUPS 14482 WITH SCORE 14498.434
AT ITER 1001 NEW BEST:: SOT 37432 SOS 16409 HAS SOPS 16409 HAS SOUS 14452 HAS SOUPS 14452 WITH SCORE 14468.409
AT ITER 1009 NEW BEST:: SOT 37402 SOS 16367 HAS SOPS 16367 HAS SOUS 14402 HAS SOUPS 14402 WITH SCORE 14418.367
AT ITER 1011 NEW BEST:: SOT 37401 SOS 16376 HAS SOPS 16376 HAS SOUS 14388 HAS SOUPS 14388 WITH SCORE 14404.376
AT ITER 1015 NEW BEST:: SOT 37397 SOS 16370 HAS SOPS 16370 HAS SOUS 14382 HAS SOUPS 14382 WITH SCORE 14398.37
AT ITER 1020 NEW BEST:: SOT 37390 SOS 16335 HAS SOPS 16335 HAS SOUS 14368 HAS SOUPS 14368 WITH SCORE 14384.335
AT ITER 1028 NEW BEST:: SOT 37322 SOS 16205 HAS SOPS 16205 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14336.205
AT ITER 1053 NEW BEST:: SOT 37312 SOS 16191 HAS SOPS 16191 HAS SOUS 14315 HAS SOUPS 14315 WITH SCORE 14331.191
AT ITER 1067 NEW BEST:: SOT 37250 SOS 16094 HAS SOPS 16094 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14242.094
AT ITER 1092 NEW BEST:: SOT 37236 SOS 16079 HAS SOPS 16079 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14227.079
AT ITER 1105 NEW BEST:: SOT 37236 SOS 16079 HAS SOPS 16079 HAS SOUS 14200 HAS SOUPS 14200 WITH SCORE 14216.079
AT ITER 1107 NEW BEST:: SOT 37234 SOS 16077 HAS SOPS 16077 HAS SOUS 14198 HAS SOUPS 14198 WITH SCORE 14214.077
AT ITER 1120 NEW BEST:: SOT 37193 SOS 15954 HAS SOPS 15954 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14090.954
AT ITER 1122 NEW BEST:: SOT 37185 SOS 15946 HAS SOPS 15946 HAS SOUS 14067 HAS SOUPS 14067 WITH SCORE 14082.946
AT ITER 1126 NEW BEST:: SOT 37185 SOS 15946 HAS SOPS 15946 HAS SOUS 14061 HAS SOUPS 14061 WITH SCORE 14076.946
AT ITER 1131 NEW BEST:: SOT 37172 SOS 15933 HAS SOPS 15933 HAS SOUS 14026 HAS SOUPS 14026 WITH SCORE 14041.933
AT ITER 1137 NEW BEST:: SOT 37162 SOS 15950 HAS SOPS 15950 HAS SOUS 14020 HAS SOUPS 14020 WITH SCORE 14035.95
AT ITER 1150 NEW BEST:: SOT 37159 SOS 15927 HAS SOPS 15927 HAS SOUS 13998 HAS SOUPS 13998 WITH SCORE 14013.927
AT ITER 1155 NEW BEST:: SOT 37147 SOS 15891 HAS SOPS 15891 HAS SOUS 13962 HAS SOUPS 13962 WITH SCORE 13977.891
AT ITER 1176 NEW BEST:: SOT 37111 SOS 15788 HAS SOPS 15788 HAS SOUS 13921 HAS SOUPS 13921 WITH SCORE 13936.788
AT ITER 1184 NEW BEST:: SOT 37075 SOS 15700 HAS SOPS 15700 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13900.7
AT ITER 1190 NEW BEST:: SOT 37072 SOS 15680 HAS SOPS 15680 HAS SOUS 13860 HAS SOUPS 13860 WITH SCORE 13875.68
AT ITER 1209 NEW BEST:: SOT 37076 SOS 15687 HAS SOPS 15687 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.687
AT ITER 1218 NEW BEST:: SOT 37076 SOS 15676 HAS SOPS 15676 HAS SOUS 13832 HAS SOUPS 13832 WITH SCORE 13847.676
AT ITER 1219 NEW BEST:: SOT 37070 SOS 15670 HAS SOPS 15670 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13841.67
AT ITER 1223 NEW BEST:: SOT 37063 SOS 15663 HAS SOPS 15663 HAS SOUS 13810 HAS SOUPS 13810 WITH SCORE 13825.663
AT ITER 1226 NEW BEST:: SOT 37063 SOS 15646 HAS SOPS 15646 HAS SOUS 13772 HAS SOUPS 13772 WITH SCORE 13787.646
AT ITER 1236 NEW BEST:: SOT 37057 SOS 15649 HAS SOPS 15649 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13756.649
AT ITER 1245 NEW BEST:: SOT 37032 SOS 15591 HAS SOPS 15591 HAS SOUS 13726 HAS SOUPS 13726 WITH SCORE 13741.591
AT ITER 1247 NEW BEST:: SOT 37016 SOS 15567 HAS SOPS 15567 HAS SOUS 13702 HAS SOUPS 13702 WITH SCORE 13717.567
AT ITER 1250 NEW BEST:: SOT 36990 SOS 15529 HAS SOPS 15529 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13673.529
AT ITER 1260 NEW BEST:: SOT 36984 SOS 15511 HAS SOPS 15511 HAS SOUS 13640 HAS SOUPS 13640 WITH SCORE 13655.511
AT ITER 1268 NEW BEST:: SOT 36984 SOS 15511 HAS SOPS 15511 HAS SOUS 13639 HAS SOUPS 13639 WITH SCORE 13654.511
AT ITER 1279 NEW BEST:: SOT 36948 SOS 15421 HAS SOPS 15421 HAS SOUS 13563 HAS SOUPS 13563 WITH SCORE 13578.421
AT ITER 1290 NEW BEST:: SOT 36949 SOS 15421 HAS SOPS 15421 HAS SOUS 13553 HAS SOUPS 13553 WITH SCORE 13568.421
AT ITER 1303 NEW BEST:: SOT 36949 SOS 15421 HAS SOPS 15421 HAS SOUS 13549 HAS SOUPS 13549 WITH SCORE 13564.421
AT ITER 1310 NEW BEST:: SOT 36942 SOS 15418 HAS SOPS 15418 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13561.418
AT ITER 1317 NEW BEST:: SOT 36941 SOS 15413 HAS SOPS 15413 HAS SOUS 13543 HAS SOUPS 13543 WITH SCORE 13558.413
AT ITER 1356 NEW BEST:: SOT 36941 SOS 15409 HAS SOPS 15409 HAS SOUS 13543 HAS SOUPS 13543 WITH SCORE 13558.409
AT ITER 1360 NEW BEST:: SOT 36913 SOS 15349 HAS SOPS 15349 HAS SOUS 13498 HAS SOUPS 13498 WITH SCORE 13513.349
AT ITER 1373 NEW BEST:: SOT 36913 SOS 15353 HAS SOPS 15353 HAS SOUS 13496 HAS SOUPS 13496 WITH SCORE 13511.353
AT ITER 1379 NEW BEST:: SOT 36874 SOS 15330 HAS SOPS 15330 HAS SOUS 13477 HAS SOUPS 13477 WITH SCORE 13492.33
AT ITER 1417 NEW BEST:: SOT 36860 SOS 15360 HAS SOPS 15360 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13480.36
AT ITER 1418 NEW BEST:: SOT 36860 SOS 15358 HAS SOPS 15358 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13480.358
AT ITER 1438 NEW BEST:: SOT 36840 SOS 15332 HAS SOPS 15332 HAS SOUS 13437 HAS SOUPS 13437 WITH SCORE 13452.332
AT ITER 1452 NEW BEST:: SOT 36828 SOS 15302 HAS SOPS 15302 HAS SOUS 13413 HAS SOUPS 13413 WITH SCORE 13428.302
AT ITER 1459 NEW BEST:: SOT 36848 SOS 15268 HAS SOPS 15268 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13423.268
AT ITER 1467 NEW BEST:: SOT 36798 SOS 15143 HAS SOPS 15143 HAS SOUS 13307 HAS SOUPS 13307 WITH SCORE 13322.143
AT ITER 1474 NEW BEST:: SOT 36794 SOS 15137 HAS SOPS 15137 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13314.137
AT ITER 1488 NEW BEST:: SOT 36794 SOS 15134 HAS SOPS 15134 HAS SOUS 13293 HAS SOUPS 13293 WITH SCORE 13308.134
AT ITER 1496 NEW BEST:: SOT 36786 SOS 15116 HAS SOPS 15116 HAS SOUS 13275 HAS SOUPS 13275 WITH SCORE 13290.116
AT ITER 1501 NEW BEST:: SOT 36785 SOS 15115 HAS SOPS 15115 HAS SOUS 13274 HAS SOUPS 13274 WITH SCORE 13289.115
AT ITER 1520 NEW BEST:: SOT 36782 SOS 15111 HAS SOPS 15111 HAS SOUS 13270 HAS SOUPS 13270 WITH SCORE 13285.111
AT ITER 1526 NEW BEST:: SOT 36781 SOS 15110 HAS SOPS 15110 HAS SOUS 13268 HAS SOUPS 13268 WITH SCORE 13283.11
AT ITER 1541 NEW BEST:: SOT 36781 SOS 15117 HAS SOPS 15117 HAS SOUS 13239 HAS SOUPS 13239 WITH SCORE 13254.117
AT ITER 1551 NEW BEST:: SOT 36763 SOS 15055 HAS SOPS 15055 HAS SOUS 13206 HAS SOUPS 13206 WITH SCORE 13221.055
AT ITER 1553 NEW BEST:: SOT 36684 SOS 14978 HAS SOPS 14978 HAS SOUS 13100 HAS SOUPS 13100 WITH SCORE 13114.978
AT ITER 1568 NEW BEST:: SOT 36650 SOS 14934 HAS SOPS 14934 HAS SOUS 13055 HAS SOUPS 13055 WITH SCORE 13069.934
AT ITER 1580 NEW BEST:: SOT 36646 SOS 14930 HAS SOPS 14930 HAS SOUS 13051 HAS SOUPS 13051 WITH SCORE 13065.93
AT ITER 1596 NEW BEST:: SOT 36648 SOS 14918 HAS SOPS 14918 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13053.918
AT ITER 1614 NEW BEST:: SOT 36630 SOS 14892 HAS SOPS 14892 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13029.892
AT ITER 1619 NEW BEST:: SOT 36630 SOS 14865 HAS SOPS 14865 HAS SOUS 13015 HAS SOUPS 13015 WITH SCORE 13029.865
AT ITER 1621 NEW BEST:: SOT 36630 SOS 14854 HAS SOPS 14854 HAS SOUS 13011 HAS SOUPS 13011 WITH SCORE 13025.854
AT ITER 1622 NEW BEST:: SOT 36628 SOS 14846 HAS SOPS 14846 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13019.846
AT ITER 1634 NEW BEST:: SOT 36567 SOS 14785 HAS SOPS 14785 HAS SOUS 12942 HAS SOUPS 12942 WITH SCORE 12956.785
AT ITER 1659 NEW BEST:: SOT 36557 SOS 14775 HAS SOPS 14775 HAS SOUS 12932 HAS SOUPS 12932 WITH SCORE 12946.775
AT ITER 1666 NEW BEST:: SOT 36550 SOS 14740 HAS SOPS 14740 HAS SOUS 12918 HAS SOUPS 12918 WITH SCORE 12932.74
AT ITER 1689 NEW BEST:: SOT 36550 SOS 14740 HAS SOPS 14740 HAS SOUS 12916 HAS SOUPS 12916 WITH SCORE 12930.74
AT ITER 1693 NEW BEST:: SOT 36546 SOS 14734 HAS SOPS 14734 HAS SOUS 12910 HAS SOUPS 12910 WITH SCORE 12924.734
AT ITER 1695 NEW BEST:: SOT 36535 SOS 14704 HAS SOPS 14704 HAS SOUS 12885 HAS SOUPS 12885 WITH SCORE 12899.704
AT ITER 1697 NEW BEST:: SOT 36499 SOS 14649 HAS SOPS 14649 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12860.649
AT ITER 1702 NEW BEST:: SOT 36469 SOS 14589 HAS SOPS 14589 HAS SOUS 12801 HAS SOUPS 12801 WITH SCORE 12815.589
AT ITER 1720 NEW BEST:: SOT 36451 SOS 14571 HAS SOPS 14571 HAS SOUS 12783 HAS SOUPS 12783 WITH SCORE 12797.571
AT ITER 1747 NEW BEST:: SOT 36446 SOS 14555 HAS SOPS 14555 HAS SOUS 12778 HAS SOUPS 12778 WITH SCORE 12792.555
AT ITER 1758 NEW BEST:: SOT 36410 SOS 14466 HAS SOPS 14466 HAS SOUS 12733 HAS SOUPS 12733 WITH SCORE 12747.466
AT ITER 1767 NEW BEST:: SOT 36394 SOS 14444 HAS SOPS 14444 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12725.444
AT ITER 1771 NEW BEST:: SOT 36394 SOS 14441 HAS SOPS 14441 HAS SOUS 12711 HAS SOUPS 12711 WITH SCORE 12725.441
AT ITER 1776 NEW BEST:: SOT 36341 SOS 14361 HAS SOPS 14361 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12620.361
AT ITER 1789 NEW BEST:: SOT 36309 SOS 14306 HAS SOPS 14306 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12571.306
AT ITER 1812 NEW BEST:: SOT 36309 SOS 14302 HAS SOPS 14302 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12571.302
AT ITER 1882 NEW BEST:: SOT 36309 SOS 14297 HAS SOPS 14297 HAS SOUS 12552 HAS SOUPS 12552 WITH SCORE 12566.297
AT ITER 1892 NEW BEST:: SOT 36307 SOS 14295 HAS SOPS 14295 HAS SOUS 12550 HAS SOUPS 12550 WITH SCORE 12564.295
AT ITER 1910 NEW BEST:: SOT 36295 SOS 14237 HAS SOPS 14237 HAS SOUS 12544 HAS SOUPS 12544 WITH SCORE 12558.237
AT ITER 1947 NEW BEST:: SOT 36293 SOS 14235 HAS SOPS 14235 HAS SOUS 12542 HAS SOUPS 12542 WITH SCORE 12556.235
AT ITER 1972 NEW BEST:: SOT 36277 SOS 14204 HAS SOPS 14204 HAS SOUS 12511 HAS SOUPS 12511 WITH SCORE 12525.204
AT ITER 1982 NEW BEST:: SOT 36259 SOS 14170 HAS SOPS 14170 HAS SOUS 12484 HAS SOUPS 12484 WITH SCORE 12498.17
AT ITER 1995 NEW BEST:: SOT 36233 SOS 14096 HAS SOPS 14096 HAS SOUS 12403 HAS SOUPS 12403 WITH SCORE 12417.096
AT ITER 2000 NEW BEST:: SOT 36227 SOS 14055 HAS SOPS 14055 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12408.055
AT ITER 2014 NEW BEST:: SOT 36174 SOS 13993 HAS SOPS 13993 HAS SOUS 12369 HAS SOUPS 12369 WITH SCORE 12382.993
AT ITER 2018 NEW BEST:: SOT 36174 SOS 14014 HAS SOPS 14014 HAS SOUS 12354 HAS SOUPS 12354 WITH SCORE 12368.014
AT ITER 2021 NEW BEST:: SOT 36172 SOS 14012 HAS SOPS 14012 HAS SOUS 12352 HAS SOUPS 12352 WITH SCORE 12366.012
AT ITER 2043 NEW BEST:: SOT 36172 SOS 14010 HAS SOPS 14010 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12358.01
AT ITER 2052 NEW BEST:: SOT 36163 SOS 13995 HAS SOPS 13995 HAS SOUS 12337 HAS SOUPS 12337 WITH SCORE 12350.995
AT ITER 2059 NEW BEST:: SOT 36159 SOS 13991 HAS SOPS 13991 HAS SOUS 12333 HAS SOUPS 12333 WITH SCORE 12346.991
AT ITER 2065 NEW BEST:: SOT 36131 SOS 13949 HAS SOPS 13949 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12304.949
AT ITER 2071 NEW BEST:: SOT 36122 SOS 13911 HAS SOPS 13911 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12266.911
AT ITER 2077 NEW BEST:: SOT 36116 SOS 13903 HAS SOPS 13903 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12258.903
AT ITER 2085 NEW BEST:: SOT 36084 SOS 13836 HAS SOPS 13836 HAS SOUS 12197 HAS SOUPS 12197 WITH SCORE 12210.836
AT ITER 2106 NEW BEST:: SOT 36084 SOS 13833 HAS SOPS 13833 HAS SOUS 12194 HAS SOUPS 12194 WITH SCORE 12207.833
AT ITER 2120 NEW BEST:: SOT 36048 SOS 13797 HAS SOPS 13797 HAS SOUS 12170 HAS SOUPS 12170 WITH SCORE 12183.797
AT ITER 2125 NEW BEST:: SOT 36048 SOS 13783 HAS SOPS 13783 HAS SOUS 12156 HAS SOUPS 12156 WITH SCORE 12169.783
AT ITER 2127 NEW BEST:: SOT 36032 SOS 13776 HAS SOPS 13776 HAS SOUS 12143 HAS SOUPS 12143 WITH SCORE 12156.776
AT ITER 2131 NEW BEST:: SOT 36017 SOS 13751 HAS SOPS 13751 HAS SOUS 12108 HAS SOUPS 12108 WITH SCORE 12121.751
AT ITER 2135 NEW BEST:: SOT 36016 SOS 13750 HAS SOPS 13750 HAS SOUS 12107 HAS SOUPS 12107 WITH SCORE 12120.75
AT ITER 2138 NEW BEST:: SOT 35998 SOS 13714 HAS SOPS 13714 HAS SOUS 12073 HAS SOUPS 12073 WITH SCORE 12086.714
AT ITER 2164 NEW BEST:: SOT 35994 SOS 13706 HAS SOPS 13706 HAS SOUS 12065 HAS SOUPS 12065 WITH SCORE 12078.706
AT ITER 2189 NEW BEST:: SOT 35991 SOS 13702 HAS SOPS 13702 HAS SOUS 12061 HAS SOUPS 12061 WITH SCORE 12074.702
AT ITER 2190 NEW BEST:: SOT 35979 SOS 13713 HAS SOPS 13713 HAS SOUS 12050 HAS SOUPS 12050 WITH SCORE 12063.713
AT ITER 2229 NEW BEST:: SOT 35929 SOS 13663 HAS SOPS 13663 HAS SOUS 12000 HAS SOUPS 12000 WITH SCORE 12013.663
AT ITER 2254 NEW BEST:: SOT 35916 SOS 13624 HAS SOPS 13624 HAS SOUS 11974 HAS SOUPS 11974 WITH SCORE 11987.624
AT ITER 2332 NEW BEST:: SOT 35905 SOS 13609 HAS SOPS 13609 HAS SOUS 11956 HAS SOUPS 11956 WITH SCORE 11969.609
AT ITER 2339 NEW BEST:: SOT 35893 SOS 13597 HAS SOPS 13597 HAS SOUS 11944 HAS SOUPS 11944 WITH SCORE 11957.597
AT ITER 2343 NEW BEST:: SOT 35892 SOS 13596 HAS SOPS 13596 HAS SOUS 11943 HAS SOUPS 11943 WITH SCORE 11956.596
AT ITER 2361 NEW BEST:: SOT 35859 SOS 13548 HAS SOPS 13548 HAS SOUS 11888 HAS SOUPS 11888 WITH SCORE 11901.548
AT ITER 2387 NEW BEST:: SOT 35806 SOS 13487 HAS SOPS 13487 HAS SOUS 11851 HAS SOUPS 11851 WITH SCORE 11864.487
AT ITER 2397 NEW BEST:: SOT 35800 SOS 13479 HAS SOPS 13479 HAS SOUS 11843 HAS SOUPS 11843 WITH SCORE 11856.479
AT ITER 2416 NEW BEST:: SOT 35800 SOS 13474 HAS SOPS 13474 HAS SOUS 11838 HAS SOUPS 11838 WITH SCORE 11851.474
AT ITER 2439 NEW BEST:: SOT 35782 SOS 13440 HAS SOPS 13440 HAS SOUS 11804 HAS SOUPS 11804 WITH SCORE 11817.44
AT ITER 2446 NEW BEST:: SOT 35780 SOS 13436 HAS SOPS 13436 HAS SOUS 11799 HAS SOUPS 11799 WITH SCORE 11812.436
AT ITER 2447 NEW BEST:: SOT 35801 SOS 13418 HAS SOPS 13418 HAS SOUS 11794 HAS SOUPS 11794 WITH SCORE 11807.418
AT ITER 2458 NEW BEST:: SOT 35783 SOS 13324 HAS SOPS 13324 HAS SOUS 11760 HAS SOUPS 11760 WITH SCORE 11773.324
AT ITER 2472 NEW BEST:: SOT 35774 SOS 13288 HAS SOPS 13288 HAS SOUS 11733 HAS SOUPS 11733 WITH SCORE 11746.288
AT ITER 2496 NEW BEST:: SOT 35774 SOS 13288 HAS SOPS 13288 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11745.288
AT ITER 2503 NEW BEST:: SOT 35772 SOS 13281 HAS SOPS 13281 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11730.281
AT ITER 2523 NEW BEST:: SOT 35772 SOS 13281 HAS SOPS 13281 HAS SOUS 11712 HAS SOUPS 11712 WITH SCORE 11725.281
AT ITER 2573 NEW BEST:: SOT 35747 SOS 13287 HAS SOPS 13287 HAS SOUS 11692 HAS SOUPS 11692 WITH SCORE 11705.287
AT ITER 2591 NEW BEST:: SOT 35688 SOS 13215 HAS SOPS 13215 HAS SOUS 11620 HAS SOUPS 11620 WITH SCORE 11633.215
AT ITER 2592 NEW BEST:: SOT 35683 SOS 13199 HAS SOPS 13199 HAS SOUS 11608 HAS SOUPS 11608 WITH SCORE 11621.199
AT ITER 2594 NEW BEST:: SOT 35679 SOS 13178 HAS SOPS 13178 HAS SOUS 11580 HAS SOUPS 11580 WITH SCORE 11593.178
AT ITER 2599 NEW BEST:: SOT 35679 SOS 13164 HAS SOPS 13164 HAS SOUS 11566 HAS SOUPS 11566 WITH SCORE 11579.164
AT ITER 2604 NEW BEST:: SOT 35670 SOS 13157 HAS SOPS 13157 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11576.157
AT ITER 2623 NEW BEST:: SOT 35642 SOS 13073 HAS SOPS 13073 HAS SOUS 11521 HAS SOUPS 11521 WITH SCORE 11534.073
AT ITER 2624 NEW BEST:: SOT 35645 SOS 13067 HAS SOPS 13067 HAS SOUS 11508 HAS SOUPS 11508 WITH SCORE 11521.067
AT ITER 2654 NEW BEST:: SOT 35643 SOS 13061 HAS SOPS 13061 HAS SOUS 11504 HAS SOUPS 11504 WITH SCORE 11517.061
AT ITER 2660 NEW BEST:: SOT 35638 SOS 13047 HAS SOPS 13047 HAS SOUS 11493 HAS SOUPS 11493 WITH SCORE 11506.047
AT ITER 2673 NEW BEST:: SOT 35627 SOS 13043 HAS SOPS 13043 HAS SOUS 11489 HAS SOUPS 11489 WITH SCORE 11502.043
AT ITER 2691 NEW BEST:: SOT 35621 SOS 13037 HAS SOPS 13037 HAS SOUS 11483 HAS SOUPS 11483 WITH SCORE 11496.037
AT ITER 2700 NEW BEST:: SOT 35615 SOS 13035 HAS SOPS 13035 HAS SOUS 11472 HAS SOUPS 11472 WITH SCORE 11485.035
AT ITER 2709 NEW BEST:: SOT 35612 SOS 13045 HAS SOPS 13045 HAS SOUS 11471 HAS SOUPS 11471 WITH SCORE 11484.045
AT ITER 2738 NEW BEST:: SOT 35600 SOS 13024 HAS SOPS 13024 HAS SOUS 11455 HAS SOUPS 11455 WITH SCORE 11468.024
AT ITER 2745 NEW BEST:: SOT 35594 SOS 13016 HAS SOPS 13016 HAS SOUS 11447 HAS SOUPS 11447 WITH SCORE 11460.016
AT ITER 2758 NEW BEST:: SOT 35576 SOS 12997 HAS SOPS 12997 HAS SOUS 11428 HAS SOUPS 11428 WITH SCORE 11440.997
AT ITER 2759 NEW BEST:: SOT 35563 SOS 12927 HAS SOPS 12927 HAS SOUS 11406 HAS SOUPS 11406 WITH SCORE 11418.927
AT ITER 2764 NEW BEST:: SOT 35533 SOS 12843 HAS SOPS 12843 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11372.843
AT ITER 2770 NEW BEST:: SOT 35528 SOS 12830 HAS SOPS 12830 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11357.83
AT ITER 2782 NEW BEST:: SOT 35526 SOS 12829 HAS SOPS 12829 HAS SOUS 11345 HAS SOUPS 11345 WITH SCORE 11357.829
AT ITER 2784 NEW BEST:: SOT 35515 SOS 12814 HAS SOPS 12814 HAS SOUS 11325 HAS SOUPS 11325 WITH SCORE 11337.814
AT ITER 2785 NEW BEST:: SOT 35505 SOS 12800 HAS SOPS 12800 HAS SOUS 11311 HAS SOUPS 11311 WITH SCORE 11323.8
AT ITER 2790 NEW BEST:: SOT 35501 SOS 12789 HAS SOPS 12789 HAS SOUS 11304 HAS SOUPS 11304 WITH SCORE 11316.789
AT ITER 2794 NEW BEST:: SOT 35498 SOS 12791 HAS SOPS 12791 HAS SOUS 11297 HAS SOUPS 11297 WITH SCORE 11309.791
AT ITER 2821 NEW BEST:: SOT 35496 SOS 12787 HAS SOPS 12787 HAS SOUS 11294 HAS SOUPS 11294 WITH SCORE 11306.787
AT ITER 2828 NEW BEST:: SOT 35496 SOS 12787 HAS SOPS 12787 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11303.787
AT ITER 2844 NEW BEST:: SOT 35496 SOS 12740 HAS SOPS 12740 HAS SOUS 11288 HAS SOUPS 11288 WITH SCORE 11300.74
AT ITER 2872 NEW BEST:: SOT 35493 SOS 12737 HAS SOPS 12737 HAS SOUS 11285 HAS SOUPS 11285 WITH SCORE 11297.737
AT ITER 2887 NEW BEST:: SOT 35492 SOS 12735 HAS SOPS 12735 HAS SOUS 11282 HAS SOUPS 11282 WITH SCORE 11294.735
AT ITER 2893 NEW BEST:: SOT 35470 SOS 12680 HAS SOPS 12680 HAS SOUS 11249 HAS SOUPS 11249 WITH SCORE 11261.68
AT ITER 2896 NEW BEST:: SOT 35467 SOS 12676 HAS SOPS 12676 HAS SOUS 11245 HAS SOUPS 11245 WITH SCORE 11257.676
AT ITER 2918 NEW BEST:: SOT 35397 SOS 12502 HAS SOPS 12502 HAS SOUS 11139 HAS SOUPS 11139 WITH SCORE 11151.502
AT ITER 2930 NEW BEST:: SOT 35365 SOS 12462 HAS SOPS 12462 HAS SOUS 11099 HAS SOUPS 11099 WITH SCORE 11111.462
AT ITER 2933 NEW BEST:: SOT 35362 SOS 12454 HAS SOPS 12454 HAS SOUS 11091 HAS SOUPS 11091 WITH SCORE 11103.454
AT ITER 2949 NEW BEST:: SOT 35354 SOS 12465 HAS SOPS 12465 HAS SOUS 11089 HAS SOUPS 11089 WITH SCORE 11101.465
AT ITER 2950 NEW BEST:: SOT 35274 SOS 12349 HAS SOPS 12349 HAS SOUS 10973 HAS SOUPS 10973 WITH SCORE 10985.349
AT ITER 2951 NEW BEST:: SOT 35264 SOS 12329 HAS SOPS 12329 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 10965.329
AT ITER 2954 NEW BEST:: SOT 35201 SOS 12249 HAS SOPS 12249 HAS SOUS 10873 HAS SOUPS 10873 WITH SCORE 10885.249
AT ITER 2983 NEW BEST:: SOT 35201 SOS 12249 HAS SOPS 12249 HAS SOUS 10865 HAS SOUPS 10865 WITH SCORE 10877.249
AT ITER 2987 NEW BEST:: SOT 35204 SOS 12246 HAS SOPS 12246 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10867.246
AT ITER 2990 NEW BEST:: SOT 35201 SOS 12242 HAS SOPS 12242 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10863.242
AT ITER 2993 NEW BEST:: SOT 35193 SOS 12226 HAS SOPS 12226 HAS SOUS 10831 HAS SOUPS 10831 WITH SCORE 10843.226
AT ITER 3031 NEW BEST:: SOT 35191 SOS 12242 HAS SOPS 12242 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10842.242
AT ITER 3056 NEW BEST:: SOT 35178 SOS 12203 HAS SOPS 12203 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10803.203
AT ITER 3061 NEW BEST:: SOT 35187 SOS 12210 HAS SOPS 12210 HAS SOUS 10789 HAS SOUPS 10789 WITH SCORE 10801.21
AT ITER 3094 NEW BEST:: SOT 35135 SOS 12105 HAS SOPS 12105 HAS SOUS 10697 HAS SOUPS 10697 WITH SCORE 10709.105
AT ITER 3114 NEW BEST:: SOT 35128 SOS 12103 HAS SOPS 12103 HAS SOUS 10693 HAS SOUPS 10693 WITH SCORE 10705.103
AT ITER 3119 NEW BEST:: SOT 35122 SOS 12085 HAS SOPS 12085 HAS SOUS 10683 HAS SOUPS 10683 WITH SCORE 10695.085
AT ITER 3134 NEW BEST:: SOT 35087 SOS 12033 HAS SOPS 12033 HAS SOUS 10627 HAS SOUPS 10627 WITH SCORE 10639.033
AT ITER 3143 NEW BEST:: SOT 35075 SOS 11997 HAS SOPS 11997 HAS SOUS 10603 HAS SOUPS 10603 WITH SCORE 10614.997
AT ITER 3176 NEW BEST:: SOT 35063 SOS 11961 HAS SOPS 11961 HAS SOUS 10572 HAS SOUPS 10572 WITH SCORE 10583.961
AT ITER 3187 NEW BEST:: SOT 35063 SOS 11961 HAS SOPS 11961 HAS SOUS 10571 HAS SOUPS 10571 WITH SCORE 10582.961
AT ITER 3212 NEW BEST:: SOT 35063 SOS 11954 HAS SOPS 11954 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10578.954
AT ITER 3246 NEW BEST:: SOT 35063 SOS 11948 HAS SOPS 11948 HAS SOUS 10567 HAS SOUPS 10567 WITH SCORE 10578.948
AT ITER 3311 NEW BEST:: SOT 35047 SOS 11928 HAS SOPS 11928 HAS SOUS 10547 HAS SOUPS 10547 WITH SCORE 10558.928
AT ITER 3333 NEW BEST:: SOT 35043 SOS 11922 HAS SOPS 11922 HAS SOUS 10539 HAS SOUPS 10539 WITH SCORE 10550.922
AT ITER 3348 NEW BEST:: SOT 35058 SOS 11937 HAS SOPS 11937 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10548.937
AT ITER 3360 NEW BEST:: SOT 35062 SOS 11961 HAS SOPS 11961 HAS SOUS 10505 HAS SOUPS 10505 WITH SCORE 10516.961
AT ITER 3361 NEW BEST:: SOT 35061 SOS 11957 HAS SOPS 11957 HAS SOUS 10503 HAS SOUPS 10503 WITH SCORE 10514.957
AT ITER 3383 NEW BEST:: SOT 35077 SOS 11912 HAS SOPS 11912 HAS SOUS 10493 HAS SOUPS 10493 WITH SCORE 10504.912
AT ITER 3404 NEW BEST:: SOT 35075 SOS 11906 HAS SOPS 11906 HAS SOUS 10484 HAS SOUPS 10484 WITH SCORE 10495.906
AT ITER 3409 NEW BEST:: SOT 35062 SOS 11866 HAS SOPS 11866 HAS SOUS 10460 HAS SOUPS 10460 WITH SCORE 10471.866
AT ITER 3427 NEW BEST:: SOT 35058 SOS 11862 HAS SOPS 11862 HAS SOUS 10456 HAS SOUPS 10456 WITH SCORE 10467.862
AT ITER 3437 NEW BEST:: SOT 35056 SOS 11856 HAS SOPS 11856 HAS SOUS 10454 HAS SOUPS 10454 WITH SCORE 10465.856
AT ITER 3440 NEW BEST:: SOT 35041 SOS 11796 HAS SOPS 11796 HAS SOUS 10424 HAS SOUPS 10424 WITH SCORE 10435.796
AT ITER 3449 NEW BEST:: SOT 35022 SOS 11759 HAS SOPS 11759 HAS SOUS 10383 HAS SOUPS 10383 WITH SCORE 10394.759
AT ITER 3463 NEW BEST:: SOT 34991 SOS 11714 HAS SOPS 11714 HAS SOUS 10345 HAS SOUPS 10345 WITH SCORE 10356.714
AT ITER 3575 NEW BEST:: SOT 34981 SOS 11710 HAS SOPS 11710 HAS SOUS 10323 HAS SOUPS 10323 WITH SCORE 10334.71
AT ITER 3580 NEW BEST:: SOT 34947 SOS 11618 HAS SOPS 11618 HAS SOUS 10268 HAS SOUPS 10268 WITH SCORE 10279.618
AT ITER 3634 NEW BEST:: SOT 34944 SOS 11606 HAS SOPS 11606 HAS SOUS 10262 HAS SOUPS 10262 WITH SCORE 10273.606
AT ITER 3648 NEW BEST:: SOT 34932 SOS 11590 HAS SOPS 11590 HAS SOUS 10246 HAS SOUPS 10246 WITH SCORE 10257.59
AT ITER 3666 NEW BEST:: SOT 34930 SOS 11580 HAS SOPS 11580 HAS SOUS 10230 HAS SOUPS 10230 WITH SCORE 10241.58
AT ITER 3707 NEW BEST:: SOT 34910 SOS 11553 HAS SOPS 11553 HAS SOUS 10220 HAS SOUPS 10220 WITH SCORE 10231.553
AT ITER 3711 NEW BEST:: SOT 34895 SOS 11522 HAS SOPS 11522 HAS SOUS 10191 HAS SOUPS 10191 WITH SCORE 10202.522
AT ITER 3733 NEW BEST:: SOT 34895 SOS 11522 HAS SOPS 11522 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10196.522
AT ITER 3790 NEW BEST:: SOT 34835 SOS 11384 HAS SOPS 11384 HAS SOUS 10059 HAS SOUPS 10059 WITH SCORE 10070.384
AT ITER 3813 NEW BEST:: SOT 34799 SOS 11348 HAS SOPS 11348 HAS SOUS 10035 HAS SOUPS 10035 WITH SCORE 10046.348
AT ITER 3825 NEW BEST:: SOT 34789 SOS 11325 HAS SOPS 11325 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10027.325
AT ITER 3831 NEW BEST:: SOT 34801 SOS 11315 HAS SOPS 11315 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10006.315
AT ITER 3832 NEW BEST:: SOT 34800 SOS 11310 HAS SOPS 11310 HAS SOUS 9993 HAS SOUPS 9993 WITH SCORE 10004.31
AT ITER 3851 NEW BEST:: SOT 34800 SOS 11284 HAS SOPS 11284 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9991.284
AT ITER 3872 NEW BEST:: SOT 34806 SOS 11270 HAS SOPS 11270 HAS SOUS 9975 HAS SOUPS 9975 WITH SCORE 9986.27
AT ITER 3889 NEW BEST:: SOT 34812 SOS 11284 HAS SOPS 11284 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 9977.284
AT ITER 3924 NEW BEST:: SOT 34812 SOS 11284 HAS SOPS 11284 HAS SOUS 9965 HAS SOUPS 9965 WITH SCORE 9976.284
AT ITER 3942 NEW BEST:: SOT 34793 SOS 11254 HAS SOPS 11254 HAS SOUS 9935 HAS SOUPS 9935 WITH SCORE 9946.254
AT ITER 3952 NEW BEST:: SOT 34785 SOS 11209 HAS SOPS 11209 HAS SOUS 9886 HAS SOUPS 9886 WITH SCORE 9897.209
AT ITER 3977 NEW BEST:: SOT 34783 SOS 11209 HAS SOPS 11209 HAS SOUS 9877 HAS SOUPS 9877 WITH SCORE 9888.209
AT ITER 4012 NEW BEST:: SOT 34780 SOS 11206 HAS SOPS 11206 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9885.206
AT ITER 4062 NEW BEST:: SOT 34774 SOS 11154 HAS SOPS 11154 HAS SOUS 9840 HAS SOUPS 9840 WITH SCORE 9851.154
AT ITER 4064 NEW BEST:: SOT 34766 SOS 11153 HAS SOPS 11153 HAS SOUS 9839 HAS SOUPS 9839 WITH SCORE 9850.153
AT ITER 4079 NEW BEST:: SOT 34762 SOS 11149 HAS SOPS 11149 HAS SOUS 9831 HAS SOUPS 9831 WITH SCORE 9842.149
AT ITER 4090 NEW BEST:: SOT 34758 SOS 11145 HAS SOPS 11145 HAS SOUS 9827 HAS SOUPS 9827 WITH SCORE 9838.145
AT ITER 4126 NEW BEST:: SOT 34758 SOS 11125 HAS SOPS 11125 HAS SOUS 9817 HAS SOUPS 9817 WITH SCORE 9828.125
AT ITER 4131 NEW BEST:: SOT 34751 SOS 11106 HAS SOPS 11106 HAS SOUS 9812 HAS SOUPS 9812 WITH SCORE 9823.106
AT ITER 4143 NEW BEST:: SOT 34733 SOS 11088 HAS SOPS 11088 HAS SOUS 9784 HAS SOUPS 9784 WITH SCORE 9795.088
AT ITER 4163 NEW BEST:: SOT 34728 SOS 11077 HAS SOPS 11077 HAS SOUS 9774 HAS SOUPS 9774 WITH SCORE 9785.077
AT ITER 4183 NEW BEST:: SOT 34726 SOS 11074 HAS SOPS 11074 HAS SOUS 9772 HAS SOUPS 9772 WITH SCORE 9783.074
AT ITER 4198 NEW BEST:: SOT 34717 SOS 11062 HAS SOPS 11062 HAS SOUS 9760 HAS SOUPS 9760 WITH SCORE 9771.062
AT ITER 4258 NEW BEST:: SOT 34692 SOS 11037 HAS SOPS 11037 HAS SOUS 9735 HAS SOUPS 9735 WITH SCORE 9746.037
AT ITER 4299 NEW BEST:: SOT 34688 SOS 11029 HAS SOPS 11029 HAS SOUS 9727 HAS SOUPS 9727 WITH SCORE 9738.029
AT ITER 4303 NEW BEST:: SOT 34687 SOS 11021 HAS SOPS 11021 HAS SOUS 9722 HAS SOUPS 9722 WITH SCORE 9733.021
AT ITER 4405 NEW BEST:: SOT 34679 SOS 11006 HAS SOPS 11006 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9718.006
AT ITER 4423 NEW BEST:: SOT 34673 SOS 10998 HAS SOPS 10998 HAS SOUS 9699 HAS SOUPS 9699 WITH SCORE 9709.998
AT ITER 4451 NEW BEST:: SOT 34667 SOS 10986 HAS SOPS 10986 HAS SOUS 9690 HAS SOUPS 9690 WITH SCORE 9700.986
AT ITER 4456 NEW BEST:: SOT 34665 SOS 10980 HAS SOPS 10980 HAS SOUS 9684 HAS SOUPS 9684 WITH SCORE 9694.98
AT ITER 4491 NEW BEST:: SOT 34649 SOS 10952 HAS SOPS 10952 HAS SOUS 9653 HAS SOUPS 9653 WITH SCORE 9663.952
AT ITER 4500 NEW BEST:: SOT 34638 SOS 10938 HAS SOPS 10938 HAS SOUS 9640 HAS SOUPS 9640 WITH SCORE 9650.938
AT ITER 4521 NEW BEST:: SOT 34558 SOS 10945 HAS SOPS 10945 HAS SOUS 9564 HAS SOUPS 9564 WITH SCORE 9574.945
AT ITER 4522 NEW BEST:: SOT 34556 SOS 10937 HAS SOPS 10937 HAS SOUS 9556 HAS SOUPS 9556 WITH SCORE 9566.937
AT ITER 4524 NEW BEST:: SOT 34550 SOS 10929 HAS SOPS 10929 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9558.929
AT ITER 4525 NEW BEST:: SOT 34547 SOS 10926 HAS SOPS 10926 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9555.926
AT ITER 4539 NEW BEST:: SOT 34544 SOS 10921 HAS SOPS 10921 HAS SOUS 9540 HAS SOUPS 9540 WITH SCORE 9550.921
AT ITER 4549 NEW BEST:: SOT 34544 SOS 10920 HAS SOPS 10920 HAS SOUS 9539 HAS SOUPS 9539 WITH SCORE 9549.92
AT ITER 4555 NEW BEST:: SOT 34542 SOS 10917 HAS SOPS 10917 HAS SOUS 9535 HAS SOUPS 9535 WITH SCORE 9545.917
AT ITER 4558 NEW BEST:: SOT 34536 SOS 10920 HAS SOPS 10920 HAS SOUS 9532 HAS SOUPS 9532 WITH SCORE 9542.92
AT ITER 4561 NEW BEST:: SOT 34521 SOS 10881 HAS SOPS 10881 HAS SOUS 9508 HAS SOUPS 9508 WITH SCORE 9518.881
AT ITER 4564 NEW BEST:: SOT 34474 SOS 10834 HAS SOPS 10834 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.834
AT ITER 4580 NEW BEST:: SOT 34471 SOS 10829 HAS SOPS 10829 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.829
AT ITER 4662 NEW BEST:: SOT 34473 SOS 10839 HAS SOPS 10839 HAS SOUS 9444 HAS SOUPS 9444 WITH SCORE 9454.839
AT ITER 4702 NEW BEST:: SOT 34473 SOS 10833 HAS SOPS 10833 HAS SOUS 9434 HAS SOUPS 9434 WITH SCORE 9444.833
AT ITER 4703 NEW BEST:: SOT 34470 SOS 10825 HAS SOPS 10825 HAS SOUS 9421 HAS SOUPS 9421 WITH SCORE 9431.825
AT ITER 4742 NEW BEST:: SOT 34470 SOS 10827 HAS SOPS 10827 HAS SOUS 9419 HAS SOUPS 9419 WITH SCORE 9429.827
AT ITER 4760 NEW BEST:: SOT 34462 SOS 10811 HAS SOPS 10811 HAS SOUS 9409 HAS SOUPS 9409 WITH SCORE 9419.811
AT ITER 4790 NEW BEST:: SOT 34462 SOS 10775 HAS SOPS 10775 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9401.775
AT ITER 4809 NEW BEST:: SOT 34462 SOS 10775 HAS SOPS 10775 HAS SOUS 9377 HAS SOUPS 9377 WITH SCORE 9387.775
AT ITER 4814 NEW BEST:: SOT 34447 SOS 10741 HAS SOPS 10741 HAS SOUS 9373 HAS SOUPS 9373 WITH SCORE 9383.741
AT ITER 4853 NEW BEST:: SOT 34441 SOS 10696 HAS SOPS 10696 HAS SOUS 9361 HAS SOUPS 9361 WITH SCORE 9371.696
AT ITER 4901 NEW BEST:: SOT 34427 SOS 10677 HAS SOPS 10677 HAS SOUS 9342 HAS SOUPS 9342 WITH SCORE 9352.677
Bounds file is: CTLFireability.xml
PROPERTY: ShieldRVt-PT-030A-CTLFireability-00 ( (EU( ((potential((tk(P37)>=1) & (tk(P38)>=1) & (tk(P41)>=1)))) , ((potential((tk(P183)>=1) & (tk(P186)>=1)))) )) | ( (EU( (! ((potential((tk(P103)>=1) & (tk(P106)>=1))))) , ( ((potential((tk(P140)>=1) & (tk(P149)>=1) & (tk(P155)>=1)))) & ((potential((tk(P181)>=1) & (tk(P182)>=1) & (tk(P185)>=1)))) ) )) & (EF( ( (! ((potential((tk(P204)>=1))))) & ( ((potential((tk(P42)>=1)))) | ((potential((tk(P180)>=1)))) ) ))) ) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-01 (EF( (! ( (! ( ((potential((tk(P100)>=1) & (tk(P109)>=1) & (tk(P115)>=1)))) & ((potential((tk(P144)>=1)))) )) | (! (! ((potential((tk(P234)>=1)))))) ))))
PROPERTY: ShieldRVt-PT-030A-CTLFireability-02 ( ( ( (EG( ( ((potential((tk(P200)>=1)))) & ((potential((tk(P116)>=1)))) ))) | (EF( ( ((potential((tk(P36)>=1)))) | ((potential((tk(P65)>=1) & (tk(P67)>=1) & (tk(P72)>=1)))) ))) ) | ( ((potential((tk(P44)>=1)))) | (AG( (! ((potential((tk(P221)>=1) & (tk(P222)>=1) & (tk(P225)>=1))))))) ) ) | ( (EG( (AF( ((potential((tk(P204)>=1)))))))) & (! ( (EX( ((potential((tk(P202)>=1)))))) | ( (! ((potential((tk(P84)>=1) & (tk(P93)>=1) & (tk(P99)>=1))))) | ( ((potential((tk(P178)>=1)))) | ((potential((tk(P22)>=1)))) ) ) )) ) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-03 ( (EU( (! ( ((potential((tk(P118)>=1)))) | ((potential((tk(P197)>=1) & (tk(P198)>=1) & (tk(P201)>=1)))) )) , (! (! ((potential((tk(P161)>=1) & (tk(P163)>=1) & (tk(P168)>=1)))))) )) | (AG( ((potential((tk(P119)>=1) & (tk(P122)>=1)))))) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-04 ( (EF( ((potential((tk(P172)>=1)))))) | ( (AF( (! (! ((potential((tk(P23)>=1) & (tk(P26)>=1)))))))) & ((potential((tk(P63)>=1) & (tk(P66)>=1)))) ) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-05 ( ( (AF( ( (! ((potential((tk(P90)>=1))))) & ( ((potential((tk(P22)>=1)))) & ((potential((tk(P34)>=1)))) ) ))) | (EF( (EG( ((potential((tk(P68)>=1) & (tk(P77)>=1) & (tk(P83)>=1)))))))) ) & (! ((potential((tk(P153)>=1) & (tk(P155)>=1) & (tk(P160)>=1))))) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-06 (EF( ( (AU( ((potential((tk(P201)>=1) & (tk(P203)>=1) & (tk(P208)>=1)))) , ((potential((tk(P106)>=1)))) )) & ( (AG( ((potential((tk(P103)>=1) & (tk(P106)>=1)))))) & (EX( ((potential((tk(P80)>=1)))))) ) )))
PROPERTY: ShieldRVt-PT-030A-CTLFireability-07 (! (EU( (! ( ((potential((tk(P239)>=1) & (tk(P242)>=1)))) & ((potential((tk(P170)>=1)))) )) , (AG( ((potential((tk(P62)>=1)))))) )))
PROPERTY: ShieldRVt-PT-030A-CTLFireability-08 ( (AF( (! (EF( ((potential((tk(P55)>=1) & (tk(P58)>=1))))))))) & ( (! (! (EF( ((potential((tk(P240)>=1)))))))) | (AG( ( ( ((potential((tk(P198)>=1)))) | ((potential((tk(P97)>=1) & (tk(P99)>=1) & (tk(P104)>=1)))) ) & ( ((potential((tk(P180)>=1)))) | ((potential((tk(P87)>=1) & (tk(P90)>=1)))) ) ))) ) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-09 ( (EF( (! (AX( ((potential((tk(P50)>=1))))))))) & (EF( (EX( ((potential((tk(P151)>=1) & (tk(P154)>=1)))))))) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-10 (EG( (! ( (EF( ((potential((tk(P142)>=1)))))) | ((potential((tk(P66)>=1)))) ))))
PROPERTY: ShieldRVt-PT-030A-CTLFireability-11 (AX( (! (EF( ((potential((tk(P7)>=1) & (tk(P10)>=1)))))))))
PROPERTY: ShieldRVt-PT-030A-CTLFireability-12 (EF( ( (EU( ((potential((tk(P199)>=1) & (tk(P202)>=1)))) , ((potential((tk(P86)>=1)))) )) | ((potential((tk(P25)>=1) & (tk(P27)>=1) & (tk(P32)>=1)))) )))
PROPERTY: ShieldRVt-PT-030A-CTLFireability-13 ( ( (EX( (EX( ((potential((tk(P80)>=1)))))))) | (EF( (! (! ((potential((tk(P141)>=1) & (tk(P142)>=1) & (tk(P145)>=1)))))))) ) | (AX( ( ( ((potential((tk(P94)>=1)))) | ( ((potential((tk(P208)>=1)))) | ((potential((tk(P18)>=1)))) ) ) & ((potential((tk(P100)>=1)))) ))) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-14 ( (AG( (! ((potential((tk(P152)>=1))))))) & ( ( (AG( ( ((potential((tk(P32)>=1)))) & ((potential((tk(P52)>=1) & (tk(P61)>=1) & (tk(P67)>=1)))) ))) | ( ( ((potential((tk(P222)>=1)))) | (! ((potential((tk(P90)>=1))))) ) & ( ( ((potential((tk(P56)>=1)))) & ((potential((tk(P98)>=1)))) ) | (! ((potential((tk(P180)>=1))))) ) ) ) | (AX( (EG( ((potential((tk(P57)>=1) & (tk(P59)>=1) & (tk(P64)>=1)))))))) ) )
PROPERTY: ShieldRVt-PT-030A-CTLFireability-15 ( (EF( ( (! (! ((potential((tk(P151)>=1) & (tk(P154)>=1)))))) | ( ( ((potential((tk(P145)>=1) & (tk(P147)>=1) & (tk(P152)>=1)))) | ((potential((tk(P175)>=1) & (tk(P178)>=1)))) ) | ( ((potential((tk(P6)>=1)))) | ((potential((tk(P188)>=1) & (tk(P197)>=1) & (tk(P203)>=1)))) ) ) ))) & (! (AG( ((potential((tk(P224)>=1))))))) )

BK_STOP 1590458686181

--------------------
content from stderr:

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 373 Aborted ${SMART} ${INPUT_SM}

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldRVt-PT-030A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldRVt-PT-030A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470401036"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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