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-159033469000124.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 ShieldIIPs-PT-010A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469000124
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 248K
-rw-r--r-- 1 mcc users 3.4K May 14 00:34 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 00:34 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 17:47 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 17:47 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K May 14 10:01 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:01 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.8K May 13 13:10 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K May 13 13:10 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 07:40 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 07:40 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K 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 84K 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 ShieldIIPs-PT-010A-CTLFireability-00
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-01
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-02
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-03
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-04
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-05
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-06
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-07
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-08
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-09
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-10
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-11
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-12
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-13
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-14
FORMULA_NAME ShieldIIPs-PT-010A-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1590435528180

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPs (PT), instance 010A
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: 253 places, 243 transitions, 1086 arcs.
AT ITER 0 NEW BEST:: SOT 41907 SOS 32489 HAS SOPS 32489 HAS SOUS 27586 HAS SOUPS 27586 WITH SCORE 27618.489
AT ITER 5 NEW BEST:: SOT 41907 SOS 32313 HAS SOPS 32313 HAS SOUS 27571 HAS SOUPS 27571 WITH SCORE 27603.313
AT ITER 10 NEW BEST:: SOT 41905 SOS 32268 HAS SOPS 32268 HAS SOUS 27567 HAS SOUPS 27567 WITH SCORE 27599.268
AT ITER 17 NEW BEST:: SOT 41889 SOS 32252 HAS SOPS 32252 HAS SOUS 27551 HAS SOUPS 27551 WITH SCORE 27583.252
AT ITER 23 NEW BEST:: SOT 41889 SOS 32239 HAS SOPS 32239 HAS SOUS 27550 HAS SOUPS 27550 WITH SCORE 27582.239
AT ITER 26 NEW BEST:: SOT 41877 SOS 32191 HAS SOPS 32191 HAS SOUS 27538 HAS SOUPS 27538 WITH SCORE 27570.191
AT ITER 28 NEW BEST:: SOT 41958 SOS 32132 HAS SOPS 32132 HAS SOUS 27514 HAS SOUPS 27514 WITH SCORE 27546.132
AT ITER 31 NEW BEST:: SOT 41921 SOS 32095 HAS SOPS 32095 HAS SOUS 27477 HAS SOUPS 27477 WITH SCORE 27509.095
AT ITER 32 NEW BEST:: SOT 41785 SOS 31958 HAS SOPS 31958 HAS SOUS 27340 HAS SOUPS 27340 WITH SCORE 27371.958
AT ITER 34 NEW BEST:: SOT 41762 SOS 31935 HAS SOPS 31935 HAS SOUS 27317 HAS SOUPS 27317 WITH SCORE 27348.935
AT ITER 41 NEW BEST:: SOT 41709 SOS 31881 HAS SOPS 31881 HAS SOUS 27263 HAS SOUPS 27263 WITH SCORE 27294.881
AT ITER 43 NEW BEST:: SOT 41706 SOS 31876 HAS SOPS 31876 HAS SOUS 27258 HAS SOUPS 27258 WITH SCORE 27289.876
AT ITER 45 NEW BEST:: SOT 41704 SOS 31874 HAS SOPS 31874 HAS SOUS 27257 HAS SOUPS 27257 WITH SCORE 27288.874
AT ITER 48 NEW BEST:: SOT 41676 SOS 31846 HAS SOPS 31846 HAS SOUS 27229 HAS SOUPS 27229 WITH SCORE 27260.846
AT ITER 50 NEW BEST:: SOT 41656 SOS 31826 HAS SOPS 31826 HAS SOUS 27209 HAS SOUPS 27209 WITH SCORE 27240.826
AT ITER 54 NEW BEST:: SOT 41667 SOS 31796 HAS SOPS 31796 HAS SOUS 27179 HAS SOUPS 27179 WITH SCORE 27210.796
AT ITER 55 NEW BEST:: SOT 41616 SOS 31490 HAS SOPS 31490 HAS SOUS 27051 HAS SOUPS 27051 WITH SCORE 27082.49
AT ITER 56 NEW BEST:: SOT 41616 SOS 31412 HAS SOPS 31412 HAS SOUS 26980 HAS SOUPS 26980 WITH SCORE 27011.412
AT ITER 60 NEW BEST:: SOT 41557 SOS 31353 HAS SOPS 31353 HAS SOUS 26921 HAS SOUPS 26921 WITH SCORE 26952.353
AT ITER 64 NEW BEST:: SOT 41557 SOS 31376 HAS SOPS 31376 HAS SOUS 26902 HAS SOUPS 26902 WITH SCORE 26933.376
AT ITER 67 NEW BEST:: SOT 41481 SOS 31298 HAS SOPS 31298 HAS SOUS 26836 HAS SOUPS 26836 WITH SCORE 26867.298
AT ITER 72 NEW BEST:: SOT 41576 SOS 31040 HAS SOPS 31040 HAS SOUS 26620 HAS SOUPS 26620 WITH SCORE 26651.04
AT ITER 77 NEW BEST:: SOT 41428 SOS 30892 HAS SOPS 30892 HAS SOUS 26472 HAS SOUPS 26472 WITH SCORE 26502.892
AT ITER 80 NEW BEST:: SOT 41414 SOS 30876 HAS SOPS 30876 HAS SOUS 26456 HAS SOUPS 26456 WITH SCORE 26486.876
AT ITER 82 NEW BEST:: SOT 41385 SOS 30845 HAS SOPS 30845 HAS SOUS 26425 HAS SOUPS 26425 WITH SCORE 26455.845
AT ITER 90 NEW BEST:: SOT 41325 SOS 30785 HAS SOPS 30785 HAS SOUS 26322 HAS SOUPS 26322 WITH SCORE 26352.785
AT ITER 100 NEW BEST:: SOT 41228 SOS 30614 HAS SOPS 30614 HAS SOUS 26268 HAS SOUPS 26268 WITH SCORE 26298.614
AT ITER 101 NEW BEST:: SOT 41228 SOS 30504 HAS SOPS 30504 HAS SOUS 26262 HAS SOUPS 26262 WITH SCORE 26292.504
AT ITER 102 NEW BEST:: SOT 41199 SOS 30382 HAS SOPS 30382 HAS SOUS 26239 HAS SOUPS 26239 WITH SCORE 26269.382
AT ITER 110 NEW BEST:: SOT 41251 SOS 30138 HAS SOPS 30138 HAS SOUS 26154 HAS SOUPS 26154 WITH SCORE 26184.138
AT ITER 112 NEW BEST:: SOT 41153 SOS 30040 HAS SOPS 30040 HAS SOUS 26056 HAS SOUPS 26056 WITH SCORE 26086.04
AT ITER 114 NEW BEST:: SOT 41180 SOS 29840 HAS SOPS 29840 HAS SOUS 25906 HAS SOUPS 25906 WITH SCORE 25935.84
AT ITER 117 NEW BEST:: SOT 41170 SOS 29849 HAS SOPS 29849 HAS SOUS 25871 HAS SOUPS 25871 WITH SCORE 25900.849
AT ITER 128 NEW BEST:: SOT 41161 SOS 29799 HAS SOPS 29799 HAS SOUS 25856 HAS SOUPS 25856 WITH SCORE 25885.799
AT ITER 129 NEW BEST:: SOT 41156 SOS 29794 HAS SOPS 29794 HAS SOUS 25851 HAS SOUPS 25851 WITH SCORE 25880.794
AT ITER 130 NEW BEST:: SOT 41154 SOS 29770 HAS SOPS 29770 HAS SOUS 25843 HAS SOUPS 25843 WITH SCORE 25872.77
AT ITER 135 NEW BEST:: SOT 41154 SOS 29769 HAS SOPS 29769 HAS SOUS 25842 HAS SOUPS 25842 WITH SCORE 25871.769
AT ITER 138 NEW BEST:: SOT 40956 SOS 29571 HAS SOPS 29571 HAS SOUS 25644 HAS SOUPS 25644 WITH SCORE 25673.571
AT ITER 143 NEW BEST:: SOT 40956 SOS 29571 HAS SOPS 29571 HAS SOUS 25604 HAS SOUPS 25604 WITH SCORE 25633.571
AT ITER 144 NEW BEST:: SOT 41174 SOS 29532 HAS SOPS 29532 HAS SOUS 25532 HAS SOUPS 25532 WITH SCORE 25561.532
AT ITER 145 NEW BEST:: SOT 41115 SOS 29473 HAS SOPS 29473 HAS SOUS 25473 HAS SOUPS 25473 WITH SCORE 25502.473
AT ITER 147 NEW BEST:: SOT 41080 SOS 29322 HAS SOPS 29322 HAS SOUS 25437 HAS SOUPS 25437 WITH SCORE 25466.322
AT ITER 148 NEW BEST:: SOT 41034 SOS 29092 HAS SOPS 29092 HAS SOUS 25370 HAS SOUPS 25370 WITH SCORE 25399.092
AT ITER 149 NEW BEST:: SOT 40813 SOS 28869 HAS SOPS 28869 HAS SOUS 25147 HAS SOUPS 25147 WITH SCORE 25175.869
AT ITER 154 NEW BEST:: SOT 40770 SOS 28564 HAS SOPS 28564 HAS SOUS 24981 HAS SOUPS 24981 WITH SCORE 25009.564
AT ITER 156 NEW BEST:: SOT 40765 SOS 28557 HAS SOPS 28557 HAS SOUS 24974 HAS SOUPS 24974 WITH SCORE 25002.557
AT ITER 163 NEW BEST:: SOT 40764 SOS 28523 HAS SOPS 28523 HAS SOUS 24970 HAS SOUPS 24970 WITH SCORE 24998.523
AT ITER 174 NEW BEST:: SOT 40841 SOS 28511 HAS SOPS 28511 HAS SOUS 24964 HAS SOUPS 24964 WITH SCORE 24992.511
AT ITER 176 NEW BEST:: SOT 40871 SOS 28539 HAS SOPS 28539 HAS SOUS 24961 HAS SOUPS 24961 WITH SCORE 24989.539
AT ITER 177 NEW BEST:: SOT 40847 SOS 28504 HAS SOPS 28504 HAS SOUS 24949 HAS SOUPS 24949 WITH SCORE 24977.504
AT ITER 180 NEW BEST:: SOT 40890 SOS 28524 HAS SOPS 28524 HAS SOUS 24933 HAS SOUPS 24933 WITH SCORE 24961.524
AT ITER 185 NEW BEST:: SOT 40776 SOS 28408 HAS SOPS 28408 HAS SOUS 24806 HAS SOUPS 24806 WITH SCORE 24834.408
AT ITER 194 NEW BEST:: SOT 40721 SOS 28353 HAS SOPS 28353 HAS SOUS 24751 HAS SOUPS 24751 WITH SCORE 24779.353
AT ITER 195 NEW BEST:: SOT 40697 SOS 28262 HAS SOPS 28262 HAS SOUS 24713 HAS SOUPS 24713 WITH SCORE 24741.262
AT ITER 205 NEW BEST:: SOT 40648 SOS 28215 HAS SOPS 28215 HAS SOUS 24666 HAS SOUPS 24666 WITH SCORE 24694.215
AT ITER 217 NEW BEST:: SOT 40613 SOS 28179 HAS SOPS 28179 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24658.179
AT ITER 218 NEW BEST:: SOT 40462 SOS 27941 HAS SOPS 27941 HAS SOUS 24392 HAS SOUPS 24392 WITH SCORE 24419.941
AT ITER 224 NEW BEST:: SOT 40281 SOS 27738 HAS SOPS 27738 HAS SOUS 24189 HAS SOUPS 24189 WITH SCORE 24216.738
AT ITER 225 NEW BEST:: SOT 40268 SOS 27733 HAS SOPS 27733 HAS SOUS 24163 HAS SOUPS 24163 WITH SCORE 24190.733
AT ITER 227 NEW BEST:: SOT 40225 SOS 27702 HAS SOPS 27702 HAS SOUS 24079 HAS SOUPS 24079 WITH SCORE 24106.702
AT ITER 231 NEW BEST:: SOT 40180 SOS 27642 HAS SOPS 27642 HAS SOUS 24019 HAS SOUPS 24019 WITH SCORE 24046.642
AT ITER 232 NEW BEST:: SOT 40128 SOS 27575 HAS SOPS 27575 HAS SOUS 23952 HAS SOUPS 23952 WITH SCORE 23979.575
AT ITER 235 NEW BEST:: SOT 40191 SOS 27577 HAS SOPS 27577 HAS SOUS 23923 HAS SOUPS 23923 WITH SCORE 23950.577
AT ITER 241 NEW BEST:: SOT 40151 SOS 27358 HAS SOPS 27358 HAS SOUS 23866 HAS SOUPS 23866 WITH SCORE 23893.358
AT ITER 243 NEW BEST:: SOT 40050 SOS 27262 HAS SOPS 27262 HAS SOUS 23809 HAS SOUPS 23809 WITH SCORE 23836.262
AT ITER 246 NEW BEST:: SOT 40050 SOS 27254 HAS SOPS 27254 HAS SOUS 23801 HAS SOUPS 23801 WITH SCORE 23828.254
AT ITER 250 NEW BEST:: SOT 40023 SOS 27224 HAS SOPS 27224 HAS SOUS 23771 HAS SOUPS 23771 WITH SCORE 23798.224
AT ITER 258 NEW BEST:: SOT 40028 SOS 27179 HAS SOPS 27179 HAS SOUS 23726 HAS SOUPS 23726 WITH SCORE 23753.179
AT ITER 261 NEW BEST:: SOT 39955 SOS 27105 HAS SOPS 27105 HAS SOUS 23652 HAS SOUPS 23652 WITH SCORE 23679.105
AT ITER 263 NEW BEST:: SOT 39951 SOS 27101 HAS SOPS 27101 HAS SOUS 23648 HAS SOUPS 23648 WITH SCORE 23675.101
AT ITER 269 NEW BEST:: SOT 39946 SOS 27083 HAS SOPS 27083 HAS SOUS 23597 HAS SOUPS 23597 WITH SCORE 23624.083
AT ITER 275 NEW BEST:: SOT 39929 SOS 27066 HAS SOPS 27066 HAS SOUS 23580 HAS SOUPS 23580 WITH SCORE 23607.066
AT ITER 276 NEW BEST:: SOT 39904 SOS 26979 HAS SOPS 26979 HAS SOUS 23493 HAS SOUPS 23493 WITH SCORE 23519.979
AT ITER 284 NEW BEST:: SOT 39861 SOS 26936 HAS SOPS 26936 HAS SOUS 23450 HAS SOUPS 23450 WITH SCORE 23476.936
AT ITER 287 NEW BEST:: SOT 39786 SOS 26770 HAS SOPS 26770 HAS SOUS 23323 HAS SOUPS 23323 WITH SCORE 23349.77
AT ITER 289 NEW BEST:: SOT 39796 SOS 26658 HAS SOPS 26658 HAS SOUS 23204 HAS SOUPS 23204 WITH SCORE 23230.658
AT ITER 290 NEW BEST:: SOT 39684 SOS 26467 HAS SOPS 26467 HAS SOUS 23013 HAS SOUPS 23013 WITH SCORE 23039.467
AT ITER 295 NEW BEST:: SOT 39671 SOS 26447 HAS SOPS 26447 HAS SOUS 22986 HAS SOUPS 22986 WITH SCORE 23012.447
AT ITER 299 NEW BEST:: SOT 39642 SOS 26395 HAS SOPS 26395 HAS SOUS 22934 HAS SOUPS 22934 WITH SCORE 22960.395
AT ITER 300 NEW BEST:: SOT 39642 SOS 26394 HAS SOPS 26394 HAS SOUS 22933 HAS SOUPS 22933 WITH SCORE 22959.394
AT ITER 303 NEW BEST:: SOT 39606 SOS 26358 HAS SOPS 26358 HAS SOUS 22897 HAS SOUPS 22897 WITH SCORE 22923.358
AT ITER 309 NEW BEST:: SOT 39699 SOS 26518 HAS SOPS 26518 HAS SOUS 22857 HAS SOUPS 22857 WITH SCORE 22883.518
AT ITER 317 NEW BEST:: SOT 39699 SOS 26500 HAS SOPS 26500 HAS SOUS 22851 HAS SOUPS 22851 WITH SCORE 22877.5
AT ITER 320 NEW BEST:: SOT 39683 SOS 26469 HAS SOPS 26469 HAS SOUS 22820 HAS SOUPS 22820 WITH SCORE 22846.469
AT ITER 324 NEW BEST:: SOT 39629 SOS 26413 HAS SOPS 26413 HAS SOUS 22764 HAS SOUPS 22764 WITH SCORE 22790.413
AT ITER 326 NEW BEST:: SOT 39627 SOS 26411 HAS SOPS 26411 HAS SOUS 22762 HAS SOUPS 22762 WITH SCORE 22788.411
AT ITER 334 NEW BEST:: SOT 39628 SOS 26380 HAS SOPS 26380 HAS SOUS 22762 HAS SOUPS 22762 WITH SCORE 22788.38
AT ITER 335 NEW BEST:: SOT 39490 SOS 26111 HAS SOPS 26111 HAS SOUS 22703 HAS SOUPS 22703 WITH SCORE 22729.111
AT ITER 338 NEW BEST:: SOT 39467 SOS 26065 HAS SOPS 26065 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22705.065
AT ITER 342 NEW BEST:: SOT 39467 SOS 26039 HAS SOPS 26039 HAS SOUS 22679 HAS SOUPS 22679 WITH SCORE 22705.039
AT ITER 356 NEW BEST:: SOT 39466 SOS 25899 HAS SOPS 25899 HAS SOUS 22598 HAS SOUPS 22598 WITH SCORE 22623.899
AT ITER 359 NEW BEST:: SOT 39507 SOS 25813 HAS SOPS 25813 HAS SOUS 22516 HAS SOUPS 22516 WITH SCORE 22541.813
AT ITER 361 NEW BEST:: SOT 39650 SOS 25932 HAS SOPS 25932 HAS SOUS 22462 HAS SOUPS 22462 WITH SCORE 22487.932
AT ITER 363 NEW BEST:: SOT 39637 SOS 25898 HAS SOPS 25898 HAS SOUS 22449 HAS SOUPS 22449 WITH SCORE 22474.898
AT ITER 375 NEW BEST:: SOT 39592 SOS 25804 HAS SOPS 25804 HAS SOUS 22355 HAS SOUPS 22355 WITH SCORE 22380.804
AT ITER 380 NEW BEST:: SOT 39592 SOS 25801 HAS SOPS 25801 HAS SOUS 22353 HAS SOUPS 22353 WITH SCORE 22378.801
AT ITER 382 NEW BEST:: SOT 39533 SOS 25742 HAS SOPS 25742 HAS SOUS 22294 HAS SOUPS 22294 WITH SCORE 22319.742
AT ITER 384 NEW BEST:: SOT 39533 SOS 25756 HAS SOPS 25756 HAS SOUS 22273 HAS SOUPS 22273 WITH SCORE 22298.756
AT ITER 387 NEW BEST:: SOT 39471 SOS 25724 HAS SOPS 25724 HAS SOUS 22241 HAS SOUPS 22241 WITH SCORE 22266.724
AT ITER 390 NEW BEST:: SOT 39577 SOS 25650 HAS SOPS 25650 HAS SOUS 22139 HAS SOUPS 22139 WITH SCORE 22164.65
AT ITER 402 NEW BEST:: SOT 39584 SOS 25631 HAS SOPS 25631 HAS SOUS 22107 HAS SOUPS 22107 WITH SCORE 22132.631
AT ITER 406 NEW BEST:: SOT 39600 SOS 25558 HAS SOPS 25558 HAS SOUS 21979 HAS SOUPS 21979 WITH SCORE 22004.558
AT ITER 408 NEW BEST:: SOT 39600 SOS 25528 HAS SOPS 25528 HAS SOUS 21979 HAS SOUPS 21979 WITH SCORE 22004.528
AT ITER 409 NEW BEST:: SOT 39519 SOS 25447 HAS SOPS 25447 HAS SOUS 21953 HAS SOUPS 21953 WITH SCORE 21978.447
AT ITER 415 NEW BEST:: SOT 39488 SOS 25416 HAS SOPS 25416 HAS SOUS 21922 HAS SOUPS 21922 WITH SCORE 21947.416
AT ITER 421 NEW BEST:: SOT 39515 SOS 25441 HAS SOPS 25441 HAS SOUS 21894 HAS SOUPS 21894 WITH SCORE 21919.441
AT ITER 432 NEW BEST:: SOT 39429 SOS 25261 HAS SOPS 25261 HAS SOUS 21714 HAS SOUPS 21714 WITH SCORE 21739.261
AT ITER 433 NEW BEST:: SOT 39431 SOS 25273 HAS SOPS 25273 HAS SOUS 21709 HAS SOUPS 21709 WITH SCORE 21734.273
AT ITER 435 NEW BEST:: SOT 39322 SOS 25108 HAS SOPS 25108 HAS SOUS 21542 HAS SOUPS 21542 WITH SCORE 21567.108
AT ITER 438 NEW BEST:: SOT 39315 SOS 25101 HAS SOPS 25101 HAS SOUS 21535 HAS SOUPS 21535 WITH SCORE 21560.101
AT ITER 441 NEW BEST:: SOT 39307 SOS 25050 HAS SOPS 25050 HAS SOUS 21534 HAS SOUPS 21534 WITH SCORE 21559.05
AT ITER 457 NEW BEST:: SOT 39285 SOS 25024 HAS SOPS 25024 HAS SOUS 21508 HAS SOUPS 21508 WITH SCORE 21533.024
AT ITER 459 NEW BEST:: SOT 39238 SOS 24810 HAS SOPS 24810 HAS SOUS 21384 HAS SOUPS 21384 WITH SCORE 21408.81
AT ITER 461 NEW BEST:: SOT 39118 SOS 24337 HAS SOPS 24337 HAS SOUS 20630 HAS SOUPS 20630 WITH SCORE 20654.337
AT ITER 463 NEW BEST:: SOT 39125 SOS 24224 HAS SOPS 24224 HAS SOUS 20534 HAS SOUPS 20534 WITH SCORE 20558.224
AT ITER 469 NEW BEST:: SOT 38926 SOS 23888 HAS SOPS 23888 HAS SOUS 20198 HAS SOUPS 20198 WITH SCORE 20221.888
AT ITER 470 NEW BEST:: SOT 38904 SOS 23866 HAS SOPS 23866 HAS SOUS 20176 HAS SOUPS 20176 WITH SCORE 20199.866
AT ITER 476 NEW BEST:: SOT 38805 SOS 23767 HAS SOPS 23767 HAS SOUS 20077 HAS SOUPS 20077 WITH SCORE 20100.767
AT ITER 482 NEW BEST:: SOT 38620 SOS 23623 HAS SOPS 23623 HAS SOUS 19933 HAS SOUPS 19933 WITH SCORE 19956.623
AT ITER 494 NEW BEST:: SOT 38632 SOS 23613 HAS SOPS 23613 HAS SOUS 19888 HAS SOUPS 19888 WITH SCORE 19911.613
AT ITER 509 NEW BEST:: SOT 38632 SOS 23597 HAS SOPS 23597 HAS SOUS 19880 HAS SOUPS 19880 WITH SCORE 19903.597
AT ITER 513 NEW BEST:: SOT 38632 SOS 23579 HAS SOPS 23579 HAS SOUS 19844 HAS SOUPS 19844 WITH SCORE 19867.579
AT ITER 524 NEW BEST:: SOT 38587 SOS 23490 HAS SOPS 23490 HAS SOUS 19755 HAS SOUPS 19755 WITH SCORE 19778.49
AT ITER 525 NEW BEST:: SOT 38581 SOS 23488 HAS SOPS 23488 HAS SOUS 19751 HAS SOUPS 19751 WITH SCORE 19774.488
AT ITER 531 NEW BEST:: SOT 38473 SOS 23380 HAS SOPS 23380 HAS SOUS 19603 HAS SOUPS 19603 WITH SCORE 19626.38
AT ITER 533 NEW BEST:: SOT 38397 SOS 23304 HAS SOPS 23304 HAS SOUS 19525 HAS SOUPS 19525 WITH SCORE 19548.304
AT ITER 536 NEW BEST:: SOT 38397 SOS 23302 HAS SOPS 23302 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19546.302
AT ITER 539 NEW BEST:: SOT 38377 SOS 23183 HAS SOPS 23183 HAS SOUS 19507 HAS SOUPS 19507 WITH SCORE 19530.183
AT ITER 540 NEW BEST:: SOT 38281 SOS 23087 HAS SOPS 23087 HAS SOUS 19368 HAS SOUPS 19368 WITH SCORE 19391.087
AT ITER 541 NEW BEST:: SOT 38281 SOS 23060 HAS SOPS 23060 HAS SOUS 19341 HAS SOUPS 19341 WITH SCORE 19364.06
AT ITER 544 NEW BEST:: SOT 38275 SOS 23039 HAS SOPS 23039 HAS SOUS 19329 HAS SOUPS 19329 WITH SCORE 19352.039
AT ITER 547 NEW BEST:: SOT 38341 SOS 23182 HAS SOPS 23182 HAS SOUS 19285 HAS SOUPS 19285 WITH SCORE 19308.182
AT ITER 552 NEW BEST:: SOT 38341 SOS 23162 HAS SOPS 23162 HAS SOUS 19265 HAS SOUPS 19265 WITH SCORE 19288.162
AT ITER 556 NEW BEST:: SOT 38362 SOS 23183 HAS SOPS 23183 HAS SOUS 19254 HAS SOUPS 19254 WITH SCORE 19277.183
AT ITER 564 NEW BEST:: SOT 38347 SOS 23178 HAS SOPS 23178 HAS SOUS 19244 HAS SOUPS 19244 WITH SCORE 19267.178
AT ITER 566 NEW BEST:: SOT 38298 SOS 23128 HAS SOPS 23128 HAS SOUS 19194 HAS SOUPS 19194 WITH SCORE 19217.128
AT ITER 575 NEW BEST:: SOT 38366 SOS 22854 HAS SOPS 22854 HAS SOUS 19076 HAS SOUPS 19076 WITH SCORE 19098.854
AT ITER 577 NEW BEST:: SOT 38317 SOS 22802 HAS SOPS 22802 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19060.802
AT ITER 581 NEW BEST:: SOT 38263 SOS 22783 HAS SOPS 22783 HAS SOUS 19019 HAS SOUPS 19019 WITH SCORE 19041.783
AT ITER 584 NEW BEST:: SOT 38241 SOS 22761 HAS SOPS 22761 HAS SOUS 18997 HAS SOUPS 18997 WITH SCORE 19019.761
AT ITER 589 NEW BEST:: SOT 38214 SOS 22728 HAS SOPS 22728 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18952.728
AT ITER 596 NEW BEST:: SOT 38229 SOS 22716 HAS SOPS 22716 HAS SOUS 18905 HAS SOUPS 18905 WITH SCORE 18927.716
AT ITER 598 NEW BEST:: SOT 38229 SOS 22709 HAS SOPS 22709 HAS SOUS 18880 HAS SOUPS 18880 WITH SCORE 18902.709
AT ITER 599 NEW BEST:: SOT 38226 SOS 22704 HAS SOPS 22704 HAS SOUS 18875 HAS SOUPS 18875 WITH SCORE 18897.704
AT ITER 600 NEW BEST:: SOT 38215 SOS 22634 HAS SOPS 22634 HAS SOUS 18805 HAS SOUPS 18805 WITH SCORE 18827.634
AT ITER 601 NEW BEST:: SOT 38134 SOS 22551 HAS SOPS 22551 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18744.551
AT ITER 602 NEW BEST:: SOT 38080 SOS 22549 HAS SOPS 22549 HAS SOUS 18621 HAS SOUPS 18621 WITH SCORE 18643.549
AT ITER 605 NEW BEST:: SOT 38076 SOS 22515 HAS SOPS 22515 HAS SOUS 18609 HAS SOUPS 18609 WITH SCORE 18631.515
AT ITER 606 NEW BEST:: SOT 38016 SOS 22475 HAS SOPS 22475 HAS SOUS 18475 HAS SOUPS 18475 WITH SCORE 18497.475
AT ITER 608 NEW BEST:: SOT 37946 SOS 22429 HAS SOPS 22429 HAS SOUS 18429 HAS SOUPS 18429 WITH SCORE 18451.429
AT ITER 609 NEW BEST:: SOT 37900 SOS 21862 HAS SOPS 21862 HAS SOUS 18344 HAS SOUPS 18344 WITH SCORE 18365.862
AT ITER 614 NEW BEST:: SOT 37900 SOS 21860 HAS SOPS 21860 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18363.86
AT ITER 617 NEW BEST:: SOT 37900 SOS 21824 HAS SOPS 21824 HAS SOUS 18342 HAS SOUPS 18342 WITH SCORE 18363.824
AT ITER 619 NEW BEST:: SOT 37900 SOS 21818 HAS SOPS 21818 HAS SOUS 18339 HAS SOUPS 18339 WITH SCORE 18360.818
AT ITER 625 NEW BEST:: SOT 37888 SOS 21806 HAS SOPS 21806 HAS SOUS 18327 HAS SOUPS 18327 WITH SCORE 18348.806
AT ITER 632 NEW BEST:: SOT 37823 SOS 21716 HAS SOPS 21716 HAS SOUS 18237 HAS SOUPS 18237 WITH SCORE 18258.716
AT ITER 638 NEW BEST:: SOT 37818 SOS 21687 HAS SOPS 21687 HAS SOUS 18208 HAS SOUPS 18208 WITH SCORE 18229.687
AT ITER 641 NEW BEST:: SOT 37749 SOS 21618 HAS SOPS 21618 HAS SOUS 18139 HAS SOUPS 18139 WITH SCORE 18160.618
AT ITER 642 NEW BEST:: SOT 37686 SOS 21520 HAS SOPS 21520 HAS SOUS 18037 HAS SOUPS 18037 WITH SCORE 18058.52
AT ITER 656 NEW BEST:: SOT 37556 SOS 21373 HAS SOPS 21373 HAS SOUS 17890 HAS SOUPS 17890 WITH SCORE 17911.373
AT ITER 658 NEW BEST:: SOT 37557 SOS 21346 HAS SOPS 21346 HAS SOUS 17866 HAS SOUPS 17866 WITH SCORE 17887.346
AT ITER 661 NEW BEST:: SOT 37612 SOS 21403 HAS SOPS 21403 HAS SOUS 17848 HAS SOUPS 17848 WITH SCORE 17869.403
AT ITER 686 NEW BEST:: SOT 37600 SOS 21509 HAS SOPS 21509 HAS SOUS 17837 HAS SOUPS 17837 WITH SCORE 17858.509
AT ITER 702 NEW BEST:: SOT 37579 SOS 21483 HAS SOPS 21483 HAS SOUS 17817 HAS SOUPS 17817 WITH SCORE 17838.483
AT ITER 715 NEW BEST:: SOT 37623 SOS 21480 HAS SOPS 21480 HAS SOUS 17814 HAS SOUPS 17814 WITH SCORE 17835.48
AT ITER 716 NEW BEST:: SOT 37623 SOS 21450 HAS SOPS 21450 HAS SOUS 17795 HAS SOUPS 17795 WITH SCORE 17816.45
AT ITER 717 NEW BEST:: SOT 37599 SOS 21420 HAS SOPS 21420 HAS SOUS 17765 HAS SOUPS 17765 WITH SCORE 17786.42
AT ITER 730 NEW BEST:: SOT 37582 SOS 21369 HAS SOPS 21369 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17718.369
AT ITER 733 NEW BEST:: SOT 37582 SOS 21366 HAS SOPS 21366 HAS SOUS 17697 HAS SOUPS 17697 WITH SCORE 17718.366
AT ITER 734 NEW BEST:: SOT 37525 SOS 21309 HAS SOPS 21309 HAS SOUS 17640 HAS SOUPS 17640 WITH SCORE 17661.309
AT ITER 747 NEW BEST:: SOT 37514 SOS 21321 HAS SOPS 21321 HAS SOUS 17612 HAS SOUPS 17612 WITH SCORE 17633.321
AT ITER 749 NEW BEST:: SOT 37410 SOS 21217 HAS SOPS 21217 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17529.217
AT ITER 752 NEW BEST:: SOT 37365 SOS 21154 HAS SOPS 21154 HAS SOUS 17436 HAS SOUPS 17436 WITH SCORE 17457.154
AT ITER 765 NEW BEST:: SOT 37242 SOS 21031 HAS SOPS 21031 HAS SOUS 17313 HAS SOUPS 17313 WITH SCORE 17334.031
AT ITER 767 NEW BEST:: SOT 37208 SOS 21003 HAS SOPS 21003 HAS SOUS 17284 HAS SOUPS 17284 WITH SCORE 17305.003
AT ITER 768 NEW BEST:: SOT 37196 SOS 20991 HAS SOPS 20991 HAS SOUS 17272 HAS SOUPS 17272 WITH SCORE 17292.991
AT ITER 774 NEW BEST:: SOT 37183 SOS 20978 HAS SOPS 20978 HAS SOUS 17271 HAS SOUPS 17271 WITH SCORE 17291.978
AT ITER 775 NEW BEST:: SOT 37177 SOS 20930 HAS SOPS 20930 HAS SOUS 17259 HAS SOUPS 17259 WITH SCORE 17279.93
AT ITER 777 NEW BEST:: SOT 37168 SOS 20905 HAS SOPS 20905 HAS SOUS 17229 HAS SOUPS 17229 WITH SCORE 17249.905
AT ITER 779 NEW BEST:: SOT 37149 SOS 20886 HAS SOPS 20886 HAS SOUS 17210 HAS SOUPS 17210 WITH SCORE 17230.886
AT ITER 782 NEW BEST:: SOT 37147 SOS 20872 HAS SOPS 20872 HAS SOUS 17175 HAS SOUPS 17175 WITH SCORE 17195.872
AT ITER 786 NEW BEST:: SOT 37204 SOS 20900 HAS SOPS 20900 HAS SOUS 17163 HAS SOUPS 17163 WITH SCORE 17183.9
AT ITER 787 NEW BEST:: SOT 37190 SOS 20872 HAS SOPS 20872 HAS SOUS 17135 HAS SOUPS 17135 WITH SCORE 17155.872
AT ITER 792 NEW BEST:: SOT 37189 SOS 20871 HAS SOPS 20871 HAS SOUS 17134 HAS SOUPS 17134 WITH SCORE 17154.871
AT ITER 802 NEW BEST:: SOT 37252 SOS 20891 HAS SOPS 20891 HAS SOUS 17072 HAS SOUPS 17072 WITH SCORE 17092.891
AT ITER 808 NEW BEST:: SOT 37252 SOS 20876 HAS SOPS 20876 HAS SOUS 17057 HAS SOUPS 17057 WITH SCORE 17077.876
AT ITER 821 NEW BEST:: SOT 37254 SOS 20878 HAS SOPS 20878 HAS SOUS 17054 HAS SOUPS 17054 WITH SCORE 17074.878
AT ITER 852 NEW BEST:: SOT 37267 SOS 20886 HAS SOPS 20886 HAS SOUS 17052 HAS SOUPS 17052 WITH SCORE 17072.886
AT ITER 858 NEW BEST:: SOT 37270 SOS 20876 HAS SOPS 20876 HAS SOUS 17042 HAS SOUPS 17042 WITH SCORE 17062.876
AT ITER 864 NEW BEST:: SOT 37247 SOS 20853 HAS SOPS 20853 HAS SOUS 17019 HAS SOUPS 17019 WITH SCORE 17039.853
AT ITER 869 NEW BEST:: SOT 37232 SOS 20780 HAS SOPS 20780 HAS SOUS 17005 HAS SOUPS 17005 WITH SCORE 17025.78
AT ITER 877 NEW BEST:: SOT 37200 SOS 20741 HAS SOPS 20741 HAS SOUS 16964 HAS SOUPS 16964 WITH SCORE 16984.741
AT ITER 891 NEW BEST:: SOT 37193 SOS 20600 HAS SOPS 20600 HAS SOUS 16890 HAS SOUPS 16890 WITH SCORE 16910.6
AT ITER 894 NEW BEST:: SOT 37136 SOS 20286 HAS SOPS 20286 HAS SOUS 16841 HAS SOUPS 16841 WITH SCORE 16861.286
AT ITER 901 NEW BEST:: SOT 37108 SOS 20258 HAS SOPS 20258 HAS SOUS 16813 HAS SOUPS 16813 WITH SCORE 16833.258
AT ITER 902 NEW BEST:: SOT 37108 SOS 20296 HAS SOPS 20296 HAS SOUS 16811 HAS SOUPS 16811 WITH SCORE 16831.296
AT ITER 905 NEW BEST:: SOT 37038 SOS 20224 HAS SOPS 20224 HAS SOUS 16741 HAS SOUPS 16741 WITH SCORE 16761.224
AT ITER 906 NEW BEST:: SOT 37039 SOS 20300 HAS SOPS 20300 HAS SOUS 16737 HAS SOUPS 16737 WITH SCORE 16757.3
AT ITER 921 NEW BEST:: SOT 37035 SOS 20283 HAS SOPS 20283 HAS SOUS 16730 HAS SOUPS 16730 WITH SCORE 16750.283
AT ITER 943 NEW BEST:: SOT 37035 SOS 20281 HAS SOPS 20281 HAS SOUS 16728 HAS SOUPS 16728 WITH SCORE 16748.281
AT ITER 946 NEW BEST:: SOT 37020 SOS 20258 HAS SOPS 20258 HAS SOUS 16712 HAS SOUPS 16712 WITH SCORE 16732.258
AT ITER 951 NEW BEST:: SOT 36926 SOS 20164 HAS SOPS 20164 HAS SOUS 16595 HAS SOUPS 16595 WITH SCORE 16615.164
AT ITER 976 NEW BEST:: SOT 36887 SOS 20125 HAS SOPS 20125 HAS SOUS 16556 HAS SOUPS 16556 WITH SCORE 16576.125
AT ITER 982 NEW BEST:: SOT 36885 SOS 20047 HAS SOPS 20047 HAS SOUS 16512 HAS SOUPS 16512 WITH SCORE 16532.047
AT ITER 987 NEW BEST:: SOT 36876 SOS 20038 HAS SOPS 20038 HAS SOUS 16503 HAS SOUPS 16503 WITH SCORE 16523.038
AT ITER 989 NEW BEST:: SOT 36811 SOS 19964 HAS SOPS 19964 HAS SOUS 16462 HAS SOUPS 16462 WITH SCORE 16481.964
AT ITER 1003 NEW BEST:: SOT 36798 SOS 19951 HAS SOPS 19951 HAS SOUS 16449 HAS SOUPS 16449 WITH SCORE 16468.951
AT ITER 1024 NEW BEST:: SOT 36803 SOS 20023 HAS SOPS 20023 HAS SOUS 16433 HAS SOUPS 16433 WITH SCORE 16453.023
AT ITER 1052 NEW BEST:: SOT 36727 SOS 19947 HAS SOPS 19947 HAS SOUS 16357 HAS SOUPS 16357 WITH SCORE 16376.947
AT ITER 1064 NEW BEST:: SOT 36694 SOS 19898 HAS SOPS 19898 HAS SOUS 16292 HAS SOUPS 16292 WITH SCORE 16311.898
AT ITER 1082 NEW BEST:: SOT 36679 SOS 19883 HAS SOPS 19883 HAS SOUS 16273 HAS SOUPS 16273 WITH SCORE 16292.883
AT ITER 1090 NEW BEST:: SOT 36655 SOS 19852 HAS SOPS 19852 HAS SOUS 16242 HAS SOUPS 16242 WITH SCORE 16261.852
AT ITER 1104 NEW BEST:: SOT 36643 SOS 19836 HAS SOPS 19836 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16245.836
AT ITER 1121 NEW BEST:: SOT 36638 SOS 19847 HAS SOPS 19847 HAS SOUS 16221 HAS SOUPS 16221 WITH SCORE 16240.847
AT ITER 1125 NEW BEST:: SOT 36586 SOS 19795 HAS SOPS 19795 HAS SOUS 16169 HAS SOUPS 16169 WITH SCORE 16188.795
AT ITER 1130 NEW BEST:: SOT 36572 SOS 19768 HAS SOPS 19768 HAS SOUS 16142 HAS SOUPS 16142 WITH SCORE 16161.768
AT ITER 1131 NEW BEST:: SOT 36566 SOS 19762 HAS SOPS 19762 HAS SOUS 16136 HAS SOUPS 16136 WITH SCORE 16155.762
AT ITER 1133 NEW BEST:: SOT 36542 SOS 19726 HAS SOPS 19726 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16119.726
AT ITER 1148 NEW BEST:: SOT 36541 SOS 19725 HAS SOPS 19725 HAS SOUS 16099 HAS SOUPS 16099 WITH SCORE 16118.725
AT ITER 1153 NEW BEST:: SOT 36508 SOS 19709 HAS SOPS 19709 HAS SOUS 16085 HAS SOUPS 16085 WITH SCORE 16104.709
AT ITER 1172 NEW BEST:: SOT 36489 SOS 19672 HAS SOPS 19672 HAS SOUS 16046 HAS SOUPS 16046 WITH SCORE 16065.672
AT ITER 1190 NEW BEST:: SOT 36489 SOS 19672 HAS SOPS 19672 HAS SOUS 16019 HAS SOUPS 16019 WITH SCORE 16038.672
AT ITER 1193 NEW BEST:: SOT 36457 SOS 19640 HAS SOPS 19640 HAS SOUS 15987 HAS SOUPS 15987 WITH SCORE 16006.64
AT ITER 1202 NEW BEST:: SOT 36433 SOS 19617 HAS SOPS 19617 HAS SOUS 15921 HAS SOUPS 15921 WITH SCORE 15940.617
AT ITER 1204 NEW BEST:: SOT 36433 SOS 19566 HAS SOPS 19566 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15906.566
AT ITER 1206 NEW BEST:: SOT 36438 SOS 19564 HAS SOPS 19564 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15890.564
AT ITER 1207 NEW BEST:: SOT 36345 SOS 19468 HAS SOPS 19468 HAS SOUS 15775 HAS SOUPS 15775 WITH SCORE 15794.468
AT ITER 1220 NEW BEST:: SOT 36345 SOS 19352 HAS SOPS 19352 HAS SOUS 15717 HAS SOUPS 15717 WITH SCORE 15736.352
AT ITER 1231 NEW BEST:: SOT 36345 SOS 19355 HAS SOPS 19355 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15725.355
AT ITER 1242 NEW BEST:: SOT 36349 SOS 19359 HAS SOPS 19359 HAS SOUS 15702 HAS SOUPS 15702 WITH SCORE 15721.359
AT ITER 1245 NEW BEST:: SOT 36365 SOS 19355 HAS SOPS 19355 HAS SOUS 15698 HAS SOUPS 15698 WITH SCORE 15717.355
AT ITER 1248 NEW BEST:: SOT 36381 SOS 19359 HAS SOPS 19359 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15711.359
AT ITER 1249 NEW BEST:: SOT 36353 SOS 19331 HAS SOPS 19331 HAS SOUS 15664 HAS SOUPS 15664 WITH SCORE 15683.331
AT ITER 1254 NEW BEST:: SOT 36349 SOS 19327 HAS SOPS 19327 HAS SOUS 15660 HAS SOUPS 15660 WITH SCORE 15679.327
AT ITER 1265 NEW BEST:: SOT 36349 SOS 19327 HAS SOPS 19327 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15676.327
AT ITER 1268 NEW BEST:: SOT 36303 SOS 19281 HAS SOPS 19281 HAS SOUS 15611 HAS SOUPS 15611 WITH SCORE 15630.281
AT ITER 1279 NEW BEST:: SOT 36303 SOS 19280 HAS SOPS 19280 HAS SOUS 15609 HAS SOUPS 15609 WITH SCORE 15628.28
AT ITER 1332 NEW BEST:: SOT 36281 SOS 19258 HAS SOPS 19258 HAS SOUS 15587 HAS SOUPS 15587 WITH SCORE 15606.258
AT ITER 1338 NEW BEST:: SOT 36286 SOS 19258 HAS SOPS 19258 HAS SOUS 15580 HAS SOUPS 15580 WITH SCORE 15599.258
AT ITER 1343 NEW BEST:: SOT 36293 SOS 19272 HAS SOPS 19272 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15597.272
AT ITER 1352 NEW BEST:: SOT 36290 SOS 19257 HAS SOPS 19257 HAS SOUS 15576 HAS SOUPS 15576 WITH SCORE 15595.257
AT ITER 1354 NEW BEST:: SOT 36285 SOS 19252 HAS SOPS 19252 HAS SOUS 15571 HAS SOUPS 15571 WITH SCORE 15590.252
AT ITER 1359 NEW BEST:: SOT 36282 SOS 19240 HAS SOPS 19240 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15584.24
AT ITER 1373 NEW BEST:: SOT 36285 SOS 19239 HAS SOPS 19239 HAS SOUS 15564 HAS SOUPS 15564 WITH SCORE 15583.239
AT ITER 1375 NEW BEST:: SOT 36324 SOS 19239 HAS SOPS 19239 HAS SOUS 15525 HAS SOUPS 15525 WITH SCORE 15544.239
AT ITER 1376 NEW BEST:: SOT 36324 SOS 19223 HAS SOPS 19223 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15528.223
AT ITER 1381 NEW BEST:: SOT 36307 SOS 19171 HAS SOPS 19171 HAS SOUS 15496 HAS SOUPS 15496 WITH SCORE 15515.171
AT ITER 1393 NEW BEST:: SOT 36318 SOS 19137 HAS SOPS 19137 HAS SOUS 15461 HAS SOUPS 15461 WITH SCORE 15480.137
AT ITER 1407 NEW BEST:: SOT 36231 SOS 19044 HAS SOPS 19044 HAS SOUS 15368 HAS SOUPS 15368 WITH SCORE 15387.044
AT ITER 1419 NEW BEST:: SOT 36206 SOS 19019 HAS SOPS 19019 HAS SOUS 15351 HAS SOUPS 15351 WITH SCORE 15370.019
AT ITER 1426 NEW BEST:: SOT 36204 SOS 19015 HAS SOPS 19015 HAS SOUS 15325 HAS SOUPS 15325 WITH SCORE 15344.015
AT ITER 1431 NEW BEST:: SOT 36197 SOS 19009 HAS SOPS 19009 HAS SOUS 15319 HAS SOUPS 15319 WITH SCORE 15338.009
AT ITER 1452 NEW BEST:: SOT 36247 SOS 18913 HAS SOPS 18913 HAS SOUS 15305 HAS SOUPS 15305 WITH SCORE 15323.913
AT ITER 1462 NEW BEST:: SOT 36247 SOS 18909 HAS SOPS 18909 HAS SOUS 15296 HAS SOUPS 15296 WITH SCORE 15314.909
AT ITER 1471 NEW BEST:: SOT 36249 SOS 18911 HAS SOPS 18911 HAS SOUS 15271 HAS SOUPS 15271 WITH SCORE 15289.911
AT ITER 1472 NEW BEST:: SOT 36230 SOS 18904 HAS SOPS 18904 HAS SOUS 15263 HAS SOUPS 15263 WITH SCORE 15281.904
AT ITER 1473 NEW BEST:: SOT 36222 SOS 18888 HAS SOPS 18888 HAS SOUS 15260 HAS SOUPS 15260 WITH SCORE 15278.888
AT ITER 1482 NEW BEST:: SOT 36219 SOS 18882 HAS SOPS 18882 HAS SOUS 15254 HAS SOUPS 15254 WITH SCORE 15272.882
AT ITER 1492 NEW BEST:: SOT 36214 SOS 18877 HAS SOPS 18877 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15267.877
AT ITER 1530 NEW BEST:: SOT 36181 SOS 18844 HAS SOPS 18844 HAS SOUS 15216 HAS SOUPS 15216 WITH SCORE 15234.844
AT ITER 1531 NEW BEST:: SOT 36181 SOS 18807 HAS SOPS 18807 HAS SOUS 15216 HAS SOUPS 15216 WITH SCORE 15234.807
AT ITER 1540 NEW BEST:: SOT 36181 SOS 18741 HAS SOPS 18741 HAS SOUS 15150 HAS SOUPS 15150 WITH SCORE 15168.741
AT ITER 1555 NEW BEST:: SOT 36181 SOS 18713 HAS SOPS 18713 HAS SOUS 15122 HAS SOUPS 15122 WITH SCORE 15140.713
AT ITER 1570 NEW BEST:: SOT 36225 SOS 18739 HAS SOPS 18739 HAS SOUS 14977 HAS SOUPS 14977 WITH SCORE 14995.739
AT ITER 1584 NEW BEST:: SOT 36222 SOS 18720 HAS SOPS 18720 HAS SOUS 14948 HAS SOUPS 14948 WITH SCORE 14966.72
AT ITER 1586 NEW BEST:: SOT 36219 SOS 18703 HAS SOPS 18703 HAS SOUS 14924 HAS SOUPS 14924 WITH SCORE 14942.703
AT ITER 1626 NEW BEST:: SOT 36213 SOS 18694 HAS SOPS 18694 HAS SOUS 14918 HAS SOUPS 14918 WITH SCORE 14936.694
AT ITER 1628 NEW BEST:: SOT 36191 SOS 18661 HAS SOPS 18661 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14903.661
AT ITER 1634 NEW BEST:: SOT 36183 SOS 18653 HAS SOPS 18653 HAS SOUS 14885 HAS SOUPS 14885 WITH SCORE 14903.653
AT ITER 1642 NEW BEST:: SOT 36217 SOS 18836 HAS SOPS 18836 HAS SOUS 14884 HAS SOUPS 14884 WITH SCORE 14902.836
AT ITER 1660 NEW BEST:: SOT 36200 SOS 18802 HAS SOPS 18802 HAS SOUS 14784 HAS SOUPS 14784 WITH SCORE 14802.802
AT ITER 1671 NEW BEST:: SOT 36188 SOS 18739 HAS SOPS 18739 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14769.739
AT ITER 1676 NEW BEST:: SOT 36188 SOS 18417 HAS SOPS 18417 HAS SOUS 14635 HAS SOUPS 14635 WITH SCORE 14653.417
AT ITER 1682 NEW BEST:: SOT 36095 SOS 18285 HAS SOPS 18285 HAS SOUS 14503 HAS SOUPS 14503 WITH SCORE 14521.285
AT ITER 1693 NEW BEST:: SOT 36090 SOS 18268 HAS SOPS 18268 HAS SOUS 14486 HAS SOUPS 14486 WITH SCORE 14504.268
AT ITER 1694 NEW BEST:: SOT 36088 SOS 18266 HAS SOPS 18266 HAS SOUS 14484 HAS SOUPS 14484 WITH SCORE 14502.266
AT ITER 1708 NEW BEST:: SOT 36084 SOS 18262 HAS SOPS 18262 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14498.262
AT ITER 1717 NEW BEST:: SOT 36084 SOS 18259 HAS SOPS 18259 HAS SOUS 14466 HAS SOUPS 14466 WITH SCORE 14484.259
AT ITER 1744 NEW BEST:: SOT 36084 SOS 18199 HAS SOPS 18199 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14475.199
AT ITER 1751 NEW BEST:: SOT 36044 SOS 18159 HAS SOPS 18159 HAS SOUS 14417 HAS SOUPS 14417 WITH SCORE 14435.159
AT ITER 1773 NEW BEST:: SOT 36040 SOS 18153 HAS SOPS 18153 HAS SOUS 14409 HAS SOUPS 14409 WITH SCORE 14427.153
AT ITER 1793 NEW BEST:: SOT 36046 SOS 18088 HAS SOPS 18088 HAS SOUS 14320 HAS SOUPS 14320 WITH SCORE 14338.088
AT ITER 1827 NEW BEST:: SOT 36046 SOS 18090 HAS SOPS 18090 HAS SOUS 14319 HAS SOUPS 14319 WITH SCORE 14337.09
AT ITER 1857 NEW BEST:: SOT 36010 SOS 18054 HAS SOPS 18054 HAS SOUS 14283 HAS SOUPS 14283 WITH SCORE 14301.054
AT ITER 1864 NEW BEST:: SOT 35991 SOS 18036 HAS SOPS 18036 HAS SOUS 14277 HAS SOUPS 14277 WITH SCORE 14295.036
AT ITER 1866 NEW BEST:: SOT 35987 SOS 18028 HAS SOPS 18028 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14287.028
AT ITER 1869 NEW BEST:: SOT 35977 SOS 18016 HAS SOPS 18016 HAS SOUS 14250 HAS SOUPS 14250 WITH SCORE 14268.016
AT ITER 1884 NEW BEST:: SOT 35983 SOS 18021 HAS SOPS 18021 HAS SOUS 14243 HAS SOUPS 14243 WITH SCORE 14261.021
AT ITER 1893 NEW BEST:: SOT 35959 SOS 17974 HAS SOPS 17974 HAS SOUS 14194 HAS SOUPS 14194 WITH SCORE 14211.974
AT ITER 1910 NEW BEST:: SOT 35964 SOS 17969 HAS SOPS 17969 HAS SOUS 14191 HAS SOUPS 14191 WITH SCORE 14208.969
AT ITER 1911 NEW BEST:: SOT 35903 SOS 17908 HAS SOPS 17908 HAS SOUS 14147 HAS SOUPS 14147 WITH SCORE 14164.908
AT ITER 1913 NEW BEST:: SOT 35933 SOS 17906 HAS SOPS 17906 HAS SOUS 14136 HAS SOUPS 14136 WITH SCORE 14153.906
AT ITER 1921 NEW BEST:: SOT 35891 SOS 17857 HAS SOPS 17857 HAS SOUS 14087 HAS SOUPS 14087 WITH SCORE 14104.857
AT ITER 1923 NEW BEST:: SOT 35875 SOS 17841 HAS SOPS 17841 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14092.841
AT ITER 1935 NEW BEST:: SOT 35876 SOS 17840 HAS SOPS 17840 HAS SOUS 14074 HAS SOUPS 14074 WITH SCORE 14091.84
AT ITER 1971 NEW BEST:: SOT 35872 SOS 17790 HAS SOPS 17790 HAS SOUS 14039 HAS SOUPS 14039 WITH SCORE 14056.79
AT ITER 1972 NEW BEST:: SOT 35868 SOS 17782 HAS SOPS 17782 HAS SOUS 14027 HAS SOUPS 14027 WITH SCORE 14044.782
AT ITER 1995 NEW BEST:: SOT 35853 SOS 17763 HAS SOPS 17763 HAS SOUS 14008 HAS SOUPS 14008 WITH SCORE 14025.763
AT ITER 2008 NEW BEST:: SOT 35853 SOS 17753 HAS SOPS 17753 HAS SOUS 13994 HAS SOUPS 13994 WITH SCORE 14011.753
AT ITER 2019 NEW BEST:: SOT 35850 SOS 17750 HAS SOPS 17750 HAS SOUS 13991 HAS SOUPS 13991 WITH SCORE 14008.75
AT ITER 2036 NEW BEST:: SOT 35848 SOS 17748 HAS SOPS 17748 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14006.748
AT ITER 2038 NEW BEST:: SOT 35848 SOS 17748 HAS SOPS 17748 HAS SOUS 13987 HAS SOUPS 13987 WITH SCORE 14004.748
AT ITER 2039 NEW BEST:: SOT 35847 SOS 17747 HAS SOPS 17747 HAS SOUS 13986 HAS SOUPS 13986 WITH SCORE 14003.747
AT ITER 2046 NEW BEST:: SOT 35847 SOS 17753 HAS SOPS 17753 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 13999.753
AT ITER 2065 NEW BEST:: SOT 35837 SOS 17640 HAS SOPS 17640 HAS SOUS 13941 HAS SOUPS 13941 WITH SCORE 13958.64
AT ITER 2081 NEW BEST:: SOT 35766 SOS 17747 HAS SOPS 17747 HAS SOUS 13930 HAS SOUPS 13930 WITH SCORE 13947.747
AT ITER 2090 NEW BEST:: SOT 35764 SOS 17745 HAS SOPS 17745 HAS SOUS 13928 HAS SOUPS 13928 WITH SCORE 13945.745
AT ITER 2096 NEW BEST:: SOT 35771 SOS 17725 HAS SOPS 17725 HAS SOUS 13927 HAS SOUPS 13927 WITH SCORE 13944.725
AT ITER 2102 NEW BEST:: SOT 35771 SOS 17725 HAS SOPS 17725 HAS SOUS 13909 HAS SOUPS 13909 WITH SCORE 13926.725
AT ITER 2104 NEW BEST:: SOT 35760 SOS 17705 HAS SOPS 17705 HAS SOUS 13889 HAS SOUPS 13889 WITH SCORE 13906.705
AT ITER 2109 NEW BEST:: SOT 35756 SOS 17701 HAS SOPS 17701 HAS SOUS 13885 HAS SOUPS 13885 WITH SCORE 13902.701
AT ITER 2135 NEW BEST:: SOT 35728 SOS 17689 HAS SOPS 17689 HAS SOUS 13873 HAS SOUPS 13873 WITH SCORE 13890.689
AT ITER 2149 NEW BEST:: SOT 35728 SOS 17639 HAS SOPS 17639 HAS SOUS 13854 HAS SOUPS 13854 WITH SCORE 13871.639
AT ITER 2162 NEW BEST:: SOT 35713 SOS 17586 HAS SOPS 17586 HAS SOUS 13801 HAS SOUPS 13801 WITH SCORE 13818.586
AT ITER 2163 NEW BEST:: SOT 35706 SOS 17572 HAS SOPS 17572 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13804.572
AT ITER 2170 NEW BEST:: SOT 35691 SOS 17509 HAS SOPS 17509 HAS SOUS 13680 HAS SOUPS 13680 WITH SCORE 13697.509
AT ITER 2188 NEW BEST:: SOT 35691 SOS 17476 HAS SOPS 17476 HAS SOUS 13653 HAS SOUPS 13653 WITH SCORE 13670.476
AT ITER 2189 NEW BEST:: SOT 35682 SOS 17467 HAS SOPS 17467 HAS SOUS 13653 HAS SOUPS 13653 WITH SCORE 13670.467
AT ITER 2201 NEW BEST:: SOT 35652 SOS 17220 HAS SOPS 17220 HAS SOUS 13578 HAS SOUPS 13578 WITH SCORE 13595.22
AT ITER 2206 NEW BEST:: SOT 35628 SOS 17196 HAS SOPS 17196 HAS SOUS 13554 HAS SOUPS 13554 WITH SCORE 13571.196
AT ITER 2211 NEW BEST:: SOT 35624 SOS 17174 HAS SOPS 17174 HAS SOUS 13532 HAS SOUPS 13532 WITH SCORE 13549.174
AT ITER 2215 NEW BEST:: SOT 35529 SOS 17076 HAS SOPS 17076 HAS SOUS 13446 HAS SOUPS 13446 WITH SCORE 13463.076
AT ITER 2220 NEW BEST:: SOT 35515 SOS 17035 HAS SOPS 17035 HAS SOUS 13414 HAS SOUPS 13414 WITH SCORE 13431.035
AT ITER 2228 NEW BEST:: SOT 35507 SOS 17027 HAS SOPS 17027 HAS SOUS 13402 HAS SOUPS 13402 WITH SCORE 13419.027
AT ITER 2262 NEW BEST:: SOT 35503 SOS 17007 HAS SOPS 17007 HAS SOUS 13397 HAS SOUPS 13397 WITH SCORE 13414.007
AT ITER 2309 NEW BEST:: SOT 35489 SOS 16993 HAS SOPS 16993 HAS SOUS 13383 HAS SOUPS 13383 WITH SCORE 13399.993
AT ITER 2318 NEW BEST:: SOT 35480 SOS 16975 HAS SOPS 16975 HAS SOUS 13381 HAS SOUPS 13381 WITH SCORE 13397.975
AT ITER 2334 NEW BEST:: SOT 35443 SOS 16952 HAS SOPS 16952 HAS SOUS 13358 HAS SOUPS 13358 WITH SCORE 13374.952
AT ITER 2348 NEW BEST:: SOT 35441 SOS 16936 HAS SOPS 16936 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13358.936
AT ITER 2351 NEW BEST:: SOT 35427 SOS 16927 HAS SOPS 16927 HAS SOUS 13342 HAS SOUPS 13342 WITH SCORE 13358.927
AT ITER 2362 NEW BEST:: SOT 35393 SOS 16890 HAS SOPS 16890 HAS SOUS 13305 HAS SOUPS 13305 WITH SCORE 13321.89
AT ITER 2384 NEW BEST:: SOT 35317 SOS 16700 HAS SOPS 16700 HAS SOUS 13164 HAS SOUPS 13164 WITH SCORE 13180.7
AT ITER 2424 NEW BEST:: SOT 35321 SOS 16675 HAS SOPS 16675 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13114.675
AT ITER 2426 NEW BEST:: SOT 35339 SOS 16657 HAS SOPS 16657 HAS SOUS 13098 HAS SOUPS 13098 WITH SCORE 13114.657
AT ITER 2446 NEW BEST:: SOT 35335 SOS 16653 HAS SOPS 16653 HAS SOUS 13094 HAS SOUPS 13094 WITH SCORE 13110.653
AT ITER 2476 NEW BEST:: SOT 35300 SOS 16578 HAS SOPS 16578 HAS SOUS 13039 HAS SOUPS 13039 WITH SCORE 13055.578
AT ITER 2488 NEW BEST:: SOT 35300 SOS 16580 HAS SOPS 16580 HAS SOUS 13037 HAS SOUPS 13037 WITH SCORE 13053.58
AT ITER 2526 NEW BEST:: SOT 35261 SOS 16519 HAS SOPS 16519 HAS SOUS 13013 HAS SOUPS 13013 WITH SCORE 13029.519
AT ITER 2535 NEW BEST:: SOT 35261 SOS 16480 HAS SOPS 16480 HAS SOUS 12995 HAS SOUPS 12995 WITH SCORE 13011.48
AT ITER 2553 NEW BEST:: SOT 35261 SOS 16478 HAS SOPS 16478 HAS SOUS 12993 HAS SOUPS 12993 WITH SCORE 13009.478
AT ITER 2555 NEW BEST:: SOT 35244 SOS 16461 HAS SOPS 16461 HAS SOUS 12976 HAS SOUPS 12976 WITH SCORE 12992.461
AT ITER 2584 NEW BEST:: SOT 35223 SOS 16416 HAS SOPS 16416 HAS SOUS 12947 HAS SOUPS 12947 WITH SCORE 12963.416
AT ITER 2603 NEW BEST:: SOT 35219 SOS 16408 HAS SOPS 16408 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12955.408
AT ITER 2615 NEW BEST:: SOT 35215 SOS 16396 HAS SOPS 16396 HAS SOUS 12939 HAS SOUPS 12939 WITH SCORE 12955.396
AT ITER 2623 NEW BEST:: SOT 35215 SOS 16395 HAS SOPS 16395 HAS SOUS 12938 HAS SOUPS 12938 WITH SCORE 12954.395
AT ITER 2624 NEW BEST:: SOT 35188 SOS 16348 HAS SOPS 16348 HAS SOUS 12883 HAS SOUPS 12883 WITH SCORE 12899.348
AT ITER 2630 NEW BEST:: SOT 35218 SOS 16282 HAS SOPS 16282 HAS SOUS 12848 HAS SOUPS 12848 WITH SCORE 12864.282
AT ITER 2631 NEW BEST:: SOT 35244 SOS 16279 HAS SOPS 16279 HAS SOUS 12846 HAS SOUPS 12846 WITH SCORE 12862.279
AT ITER 2649 NEW BEST:: SOT 35229 SOS 16238 HAS SOPS 16238 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12851.238
AT ITER 2661 NEW BEST:: SOT 35229 SOS 16238 HAS SOPS 16238 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12850.238
AT ITER 2671 NEW BEST:: SOT 35227 SOS 16236 HAS SOPS 16236 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12850.236
AT ITER 2717 NEW BEST:: SOT 35227 SOS 16236 HAS SOPS 16236 HAS SOUS 12830 HAS SOUPS 12830 WITH SCORE 12846.236
AT ITER 2738 NEW BEST:: SOT 35220 SOS 16203 HAS SOPS 16203 HAS SOUS 12827 HAS SOUPS 12827 WITH SCORE 12843.203
AT ITER 2749 NEW BEST:: SOT 35217 SOS 16200 HAS SOPS 16200 HAS SOUS 12822 HAS SOUPS 12822 WITH SCORE 12838.2
AT ITER 2757 NEW BEST:: SOT 35225 SOS 16209 HAS SOPS 16209 HAS SOUS 12804 HAS SOUPS 12804 WITH SCORE 12820.209
AT ITER 2760 NEW BEST:: SOT 35215 SOS 16178 HAS SOPS 16178 HAS SOUS 12773 HAS SOUPS 12773 WITH SCORE 12789.178
AT ITER 2773 NEW BEST:: SOT 35215 SOS 16261 HAS SOPS 16261 HAS SOUS 12767 HAS SOUPS 12767 WITH SCORE 12783.261
AT ITER 2785 NEW BEST:: SOT 35203 SOS 16249 HAS SOPS 16249 HAS SOUS 12755 HAS SOUPS 12755 WITH SCORE 12771.249
AT ITER 2786 NEW BEST:: SOT 35172 SOS 16220 HAS SOPS 16220 HAS SOUS 12731 HAS SOUPS 12731 WITH SCORE 12747.22
AT ITER 2788 NEW BEST:: SOT 35173 SOS 16217 HAS SOPS 16217 HAS SOUS 12727 HAS SOUPS 12727 WITH SCORE 12743.217
AT ITER 2810 NEW BEST:: SOT 35160 SOS 16204 HAS SOPS 16204 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12730.204
AT ITER 2813 NEW BEST:: SOT 35133 SOS 16177 HAS SOPS 16177 HAS SOUS 12709 HAS SOUPS 12709 WITH SCORE 12725.177
AT ITER 2826 NEW BEST:: SOT 35033 SOS 16077 HAS SOPS 16077 HAS SOUS 12616 HAS SOUPS 12616 WITH SCORE 12632.077
AT ITER 2866 NEW BEST:: SOT 35037 SOS 16081 HAS SOPS 16081 HAS SOUS 12606 HAS SOUPS 12606 WITH SCORE 12622.081
AT ITER 2879 NEW BEST:: SOT 35037 SOS 16057 HAS SOPS 16057 HAS SOUS 12603 HAS SOUPS 12603 WITH SCORE 12619.057
AT ITER 2891 NEW BEST:: SOT 35037 SOS 16057 HAS SOPS 16057 HAS SOUS 12579 HAS SOUPS 12579 WITH SCORE 12595.057
AT ITER 2916 NEW BEST:: SOT 35037 SOS 16057 HAS SOPS 16057 HAS SOUS 12573 HAS SOUPS 12573 WITH SCORE 12589.057
AT ITER 2932 NEW BEST:: SOT 35037 SOS 16113 HAS SOPS 16113 HAS SOUS 12571 HAS SOUPS 12571 WITH SCORE 12587.113
AT ITER 2935 NEW BEST:: SOT 35057 SOS 16109 HAS SOPS 16109 HAS SOUS 12557 HAS SOUPS 12557 WITH SCORE 12573.109
AT ITER 2937 NEW BEST:: SOT 35056 SOS 16124 HAS SOPS 16124 HAS SOUS 12555 HAS SOUPS 12555 WITH SCORE 12571.124
AT ITER 2949 NEW BEST:: SOT 35042 SOS 15834 HAS SOPS 15834 HAS SOUS 12487 HAS SOUPS 12487 WITH SCORE 12502.834
AT ITER 2951 NEW BEST:: SOT 35060 SOS 15787 HAS SOPS 15787 HAS SOUS 12482 HAS SOUPS 12482 WITH SCORE 12497.787
AT ITER 2973 NEW BEST:: SOT 35061 SOS 15793 HAS SOPS 15793 HAS SOUS 12480 HAS SOUPS 12480 WITH SCORE 12495.793
AT ITER 3016 NEW BEST:: SOT 35061 SOS 15631 HAS SOPS 15631 HAS SOUS 12454 HAS SOUPS 12454 WITH SCORE 12469.631
AT ITER 3037 NEW BEST:: SOT 35066 SOS 15632 HAS SOPS 15632 HAS SOUS 12443 HAS SOUPS 12443 WITH SCORE 12458.632
AT ITER 3042 NEW BEST:: SOT 35061 SOS 15627 HAS SOPS 15627 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12434.627
AT ITER 3065 NEW BEST:: SOT 35026 SOS 15636 HAS SOPS 15636 HAS SOUS 12415 HAS SOUPS 12415 WITH SCORE 12430.636
AT ITER 3076 NEW BEST:: SOT 35035 SOS 15634 HAS SOPS 15634 HAS SOUS 12413 HAS SOUPS 12413 WITH SCORE 12428.634
AT ITER 3125 NEW BEST:: SOT 34997 SOS 15595 HAS SOPS 15595 HAS SOUS 12374 HAS SOUPS 12374 WITH SCORE 12389.595
AT ITER 3127 NEW BEST:: SOT 34997 SOS 15597 HAS SOPS 15597 HAS SOUS 12373 HAS SOUPS 12373 WITH SCORE 12388.597
AT ITER 3156 NEW BEST:: SOT 35009 SOS 15580 HAS SOPS 15580 HAS SOUS 12347 HAS SOUPS 12347 WITH SCORE 12362.58
AT ITER 3177 NEW BEST:: SOT 35009 SOS 15578 HAS SOPS 15578 HAS SOUS 12338 HAS SOUPS 12338 WITH SCORE 12353.578
AT ITER 3183 NEW BEST:: SOT 34973 SOS 15540 HAS SOPS 15540 HAS SOUS 12278 HAS SOUPS 12278 WITH SCORE 12293.54
AT ITER 3187 NEW BEST:: SOT 34973 SOS 15502 HAS SOPS 15502 HAS SOUS 12253 HAS SOUPS 12253 WITH SCORE 12268.502
AT ITER 3210 NEW BEST:: SOT 34967 SOS 15499 HAS SOPS 15499 HAS SOUS 12250 HAS SOUPS 12250 WITH SCORE 12265.499
AT ITER 3222 NEW BEST:: SOT 34967 SOS 15489 HAS SOPS 15489 HAS SOUS 12212 HAS SOUPS 12212 WITH SCORE 12227.489
AT ITER 3234 NEW BEST:: SOT 34970 SOS 15472 HAS SOPS 15472 HAS SOUS 12199 HAS SOUPS 12199 WITH SCORE 12214.472
AT ITER 3240 NEW BEST:: SOT 34959 SOS 15381 HAS SOPS 15381 HAS SOUS 12121 HAS SOUPS 12121 WITH SCORE 12136.381
AT ITER 3246 NEW BEST:: SOT 34940 SOS 15327 HAS SOPS 15327 HAS SOUS 12089 HAS SOUPS 12089 WITH SCORE 12104.327
AT ITER 3258 NEW BEST:: SOT 34940 SOS 15307 HAS SOPS 15307 HAS SOUS 12080 HAS SOUPS 12080 WITH SCORE 12095.307
AT ITER 3259 NEW BEST:: SOT 34930 SOS 15263 HAS SOPS 15263 HAS SOUS 12060 HAS SOUPS 12060 WITH SCORE 12075.263
AT ITER 3280 NEW BEST:: SOT 34868 SOS 15187 HAS SOPS 15187 HAS SOUS 11998 HAS SOUPS 11998 WITH SCORE 12013.187
AT ITER 3282 NEW BEST:: SOT 34899 SOS 15192 HAS SOPS 15192 HAS SOUS 11924 HAS SOUPS 11924 WITH SCORE 11939.192
AT ITER 3297 NEW BEST:: SOT 34884 SOS 15156 HAS SOPS 15156 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11877.156
AT ITER 3309 NEW BEST:: SOT 34884 SOS 15153 HAS SOPS 15153 HAS SOUS 11859 HAS SOUPS 11859 WITH SCORE 11874.153
AT ITER 3317 NEW BEST:: SOT 34890 SOS 15165 HAS SOPS 15165 HAS SOUS 11853 HAS SOUPS 11853 WITH SCORE 11868.165
AT ITER 3323 NEW BEST:: SOT 34887 SOS 15162 HAS SOPS 15162 HAS SOUS 11847 HAS SOUPS 11847 WITH SCORE 11862.162
AT ITER 3342 NEW BEST:: SOT 34817 SOS 15041 HAS SOPS 15041 HAS SOUS 11758 HAS SOUPS 11758 WITH SCORE 11773.041
AT ITER 3350 NEW BEST:: SOT 34815 SOS 15051 HAS SOPS 15051 HAS SOUS 11755 HAS SOUPS 11755 WITH SCORE 11770.051
AT ITER 3356 NEW BEST:: SOT 34806 SOS 15042 HAS SOPS 15042 HAS SOUS 11746 HAS SOUPS 11746 WITH SCORE 11761.042
AT ITER 3362 NEW BEST:: SOT 34803 SOS 15039 HAS SOPS 15039 HAS SOUS 11743 HAS SOUPS 11743 WITH SCORE 11758.039
AT ITER 3409 NEW BEST:: SOT 34801 SOS 15013 HAS SOPS 15013 HAS SOUS 11717 HAS SOUPS 11717 WITH SCORE 11732.013
AT ITER 3449 NEW BEST:: SOT 34794 SOS 15006 HAS SOPS 15006 HAS SOUS 11710 HAS SOUPS 11710 WITH SCORE 11725.006
AT ITER 3491 NEW BEST:: SOT 34802 SOS 15007 HAS SOPS 15007 HAS SOUS 11706 HAS SOUPS 11706 WITH SCORE 11721.007
AT ITER 3522 NEW BEST:: SOT 34793 SOS 14998 HAS SOPS 14998 HAS SOUS 11697 HAS SOUPS 11697 WITH SCORE 11711.998
AT ITER 3554 NEW BEST:: SOT 34765 SOS 14963 HAS SOPS 14963 HAS SOUS 11660 HAS SOUPS 11660 WITH SCORE 11674.963
AT ITER 3575 NEW BEST:: SOT 34723 SOS 14858 HAS SOPS 14858 HAS SOUS 11597 HAS SOUPS 11597 WITH SCORE 11611.858
AT ITER 3587 NEW BEST:: SOT 34723 SOS 14852 HAS SOPS 14852 HAS SOUS 11592 HAS SOUPS 11592 WITH SCORE 11606.852
AT ITER 3593 NEW BEST:: SOT 34699 SOS 14841 HAS SOPS 14841 HAS SOUS 11581 HAS SOUPS 11581 WITH SCORE 11595.841
AT ITER 3606 NEW BEST:: SOT 34720 SOS 14847 HAS SOPS 14847 HAS SOUS 11563 HAS SOUPS 11563 WITH SCORE 11577.847
AT ITER 3616 NEW BEST:: SOT 34702 SOS 14936 HAS SOPS 14936 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11559.936
AT ITER 3675 NEW BEST:: SOT 34700 SOS 14929 HAS SOPS 14929 HAS SOUS 11544 HAS SOUPS 11544 WITH SCORE 11558.929
AT ITER 3680 NEW BEST:: SOT 34697 SOS 14929 HAS SOPS 14929 HAS SOUS 11543 HAS SOUPS 11543 WITH SCORE 11557.929
AT ITER 3765 NEW BEST:: SOT 34714 SOS 14954 HAS SOPS 14954 HAS SOUS 11537 HAS SOUPS 11537 WITH SCORE 11551.954
AT ITER 3786 NEW BEST:: SOT 34688 SOS 14947 HAS SOPS 14947 HAS SOUS 11530 HAS SOUPS 11530 WITH SCORE 11544.947
AT ITER 3791 NEW BEST:: SOT 34714 SOS 14951 HAS SOPS 14951 HAS SOUS 11499 HAS SOUPS 11499 WITH SCORE 11513.951
AT ITER 3803 NEW BEST:: SOT 34758 SOS 14995 HAS SOPS 14995 HAS SOUS 11457 HAS SOUPS 11457 WITH SCORE 11471.995
AT ITER 3818 NEW BEST:: SOT 34745 SOS 14981 HAS SOPS 14981 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11458.981
AT ITER 3821 NEW BEST:: SOT 34784 SOS 14979 HAS SOPS 14979 HAS SOUS 11442 HAS SOUPS 11442 WITH SCORE 11456.979
AT ITER 3836 NEW BEST:: SOT 34744 SOS 14939 HAS SOPS 14939 HAS SOUS 11418 HAS SOUPS 11418 WITH SCORE 11432.939
AT ITER 3843 NEW BEST:: SOT 34732 SOS 14908 HAS SOPS 14908 HAS SOUS 11387 HAS SOUPS 11387 WITH SCORE 11401.908
AT ITER 3854 NEW BEST:: SOT 34729 SOS 14893 HAS SOPS 14893 HAS SOUS 11378 HAS SOUPS 11378 WITH SCORE 11392.893
AT ITER 3975 NEW BEST:: SOT 34711 SOS 14884 HAS SOPS 14884 HAS SOUS 11369 HAS SOUPS 11369 WITH SCORE 11383.884
AT ITER 3980 NEW BEST:: SOT 34711 SOS 14876 HAS SOPS 14876 HAS SOUS 11367 HAS SOUPS 11367 WITH SCORE 11381.876
AT ITER 3985 NEW BEST:: SOT 34725 SOS 14879 HAS SOPS 14879 HAS SOUS 11360 HAS SOUPS 11360 WITH SCORE 11374.879
AT ITER 4009 NEW BEST:: SOT 34716 SOS 14870 HAS SOPS 14870 HAS SOUS 11351 HAS SOUPS 11351 WITH SCORE 11365.87
AT ITER 4016 NEW BEST:: SOT 34711 SOS 14862 HAS SOPS 14862 HAS SOUS 11349 HAS SOUPS 11349 WITH SCORE 11363.862
AT ITER 4045 NEW BEST:: SOT 34711 SOS 14875 HAS SOPS 14875 HAS SOUS 11342 HAS SOUPS 11342 WITH SCORE 11356.875
AT ITER 4082 NEW BEST:: SOT 34685 SOS 14793 HAS SOPS 14793 HAS SOUS 11308 HAS SOUPS 11308 WITH SCORE 11322.793
AT ITER 4087 NEW BEST:: SOT 34678 SOS 14756 HAS SOPS 14756 HAS SOUS 11290 HAS SOUPS 11290 WITH SCORE 11304.756
AT ITER 4108 NEW BEST:: SOT 34666 SOS 14735 HAS SOPS 14735 HAS SOUS 11257 HAS SOUPS 11257 WITH SCORE 11271.735
AT ITER 4128 NEW BEST:: SOT 34628 SOS 14713 HAS SOPS 14713 HAS SOUS 11235 HAS SOUPS 11235 WITH SCORE 11249.713
AT ITER 4148 NEW BEST:: SOT 34587 SOS 14560 HAS SOPS 14560 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11154.56
AT ITER 4149 NEW BEST:: SOT 34586 SOS 14559 HAS SOPS 14559 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11154.559
AT ITER 4168 NEW BEST:: SOT 34586 SOS 14557 HAS SOPS 14557 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11154.557
AT ITER 4185 NEW BEST:: SOT 34584 SOS 14555 HAS SOPS 14555 HAS SOUS 11140 HAS SOUPS 11140 WITH SCORE 11154.555
AT ITER 4247 NEW BEST:: SOT 34587 SOS 14541 HAS SOPS 14541 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11140.541
AT ITER 4250 NEW BEST:: SOT 34587 SOS 14530 HAS SOPS 14530 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11140.53
AT ITER 4268 NEW BEST:: SOT 34563 SOS 14506 HAS SOPS 14506 HAS SOUS 11102 HAS SOUPS 11102 WITH SCORE 11116.506
AT ITER 4300 NEW BEST:: SOT 34568 SOS 14504 HAS SOPS 14504 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11108.504
AT ITER 4303 NEW BEST:: SOT 34566 SOS 14502 HAS SOPS 14502 HAS SOUS 11094 HAS SOUPS 11094 WITH SCORE 11108.502
AT ITER 4310 NEW BEST:: SOT 34551 SOS 14506 HAS SOPS 14506 HAS SOUS 11088 HAS SOUPS 11088 WITH SCORE 11102.506
AT ITER 4327 NEW BEST:: SOT 34548 SOS 14503 HAS SOPS 14503 HAS SOUS 11085 HAS SOUPS 11085 WITH SCORE 11099.503
AT ITER 4355 NEW BEST:: SOT 34515 SOS 14434 HAS SOPS 14434 HAS SOUS 11079 HAS SOUPS 11079 WITH SCORE 11093.434
AT ITER 4455 NEW BEST:: SOT 34470 SOS 14370 HAS SOPS 14370 HAS SOUS 11015 HAS SOUPS 11015 WITH SCORE 11029.37
AT ITER 4469 NEW BEST:: SOT 34470 SOS 14370 HAS SOPS 14370 HAS SOUS 11007 HAS SOUPS 11007 WITH SCORE 11021.37
AT ITER 4485 NEW BEST:: SOT 34458 SOS 14358 HAS SOPS 14358 HAS SOUS 10995 HAS SOUPS 10995 WITH SCORE 11009.358
AT ITER 4504 NEW BEST:: SOT 34458 SOS 14358 HAS SOPS 14358 HAS SOUS 10971 HAS SOUPS 10971 WITH SCORE 10985.358
AT ITER 4526 NEW BEST:: SOT 34479 SOS 14391 HAS SOPS 14391 HAS SOUS 10966 HAS SOUPS 10966 WITH SCORE 10980.391
AT ITER 4560 NEW BEST:: SOT 34461 SOS 14357 HAS SOPS 14357 HAS SOUS 10935 HAS SOUPS 10935 WITH SCORE 10949.357
AT ITER 4565 NEW BEST:: SOT 34431 SOS 14327 HAS SOPS 14327 HAS SOUS 10905 HAS SOUPS 10905 WITH SCORE 10919.327
AT ITER 4567 NEW BEST:: SOT 34426 SOS 14321 HAS SOPS 14321 HAS SOUS 10897 HAS SOUPS 10897 WITH SCORE 10911.321
AT ITER 4614 NEW BEST:: SOT 34466 SOS 14399 HAS SOPS 14399 HAS SOUS 10896 HAS SOUPS 10896 WITH SCORE 10910.399
AT ITER 4629 NEW BEST:: SOT 34465 SOS 14398 HAS SOPS 14398 HAS SOUS 10895 HAS SOUPS 10895 WITH SCORE 10909.398
AT ITER 4632 NEW BEST:: SOT 34461 SOS 14394 HAS SOPS 14394 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10905.394
AT ITER 4642 NEW BEST:: SOT 34458 SOS 14391 HAS SOPS 14391 HAS SOUS 10888 HAS SOUPS 10888 WITH SCORE 10902.391
AT ITER 4644 NEW BEST:: SOT 34495 SOS 14409 HAS SOPS 14409 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10901.409
AT ITER 4656 NEW BEST:: SOT 34479 SOS 14338 HAS SOPS 14338 HAS SOUS 10860 HAS SOUPS 10860 WITH SCORE 10874.338
AT ITER 4713 NEW BEST:: SOT 34487 SOS 14344 HAS SOPS 14344 HAS SOUS 10858 HAS SOUPS 10858 WITH SCORE 10872.344
AT ITER 4739 NEW BEST:: SOT 34500 SOS 14333 HAS SOPS 14333 HAS SOUS 10851 HAS SOUPS 10851 WITH SCORE 10865.333
AT ITER 4838 NEW BEST:: SOT 34510 SOS 14290 HAS SOPS 14290 HAS SOUS 10823 HAS SOUPS 10823 WITH SCORE 10837.29
AT ITER 4863 NEW BEST:: SOT 34509 SOS 14289 HAS SOPS 14289 HAS SOUS 10820 HAS SOUPS 10820 WITH SCORE 10834.289
AT ITER 4873 NEW BEST:: SOT 34505 SOS 14285 HAS SOPS 14285 HAS SOUS 10816 HAS SOUPS 10816 WITH SCORE 10830.285
AT ITER 4906 NEW BEST:: SOT 34502 SOS 14267 HAS SOPS 14267 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10822.267
AT ITER 4919 NEW BEST:: SOT 34498 SOS 14263 HAS SOPS 14263 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10822.263
AT ITER 4948 NEW BEST:: SOT 34498 SOS 14246 HAS SOPS 14246 HAS SOUS 10808 HAS SOUPS 10808 WITH SCORE 10822.246
AT ITER 4997 NEW BEST:: SOT 34494 SOS 14236 HAS SOPS 14236 HAS SOUS 10791 HAS SOUPS 10791 WITH SCORE 10805.236
Bounds file is: CTLFireability.xml
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-00 ( (EU( ( (! ((potential((tk(P133)>=1) & (tk(P135)>=1))))) & (! ((potential((tk(P232)>=1) & (tk(P242)>=1))))) ) , (EF( ((potential((tk(P84)>=1) & (tk(P98)>=1)))))) )) | ((potential((tk(P126)>=1)))) )
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-01 (AG( (! ((potential((tk(P201)>=1)))))))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-02 ( ( (AG( ( (! ((potential((tk(P180)>=1) & (tk(P195)>=1))))) | ( ((potential((tk(P162)>=1) & (tk(P166)>=1) & (tk(P177)>=1)))) | ((potential((tk(P123)>=1)))) ) ))) & (! ( ( ( ((potential((tk(P84)>=1) & (tk(P98)>=1)))) | ((potential((tk(P176)>=1)))) ) & ( ((potential((tk(P66)>=1)))) | ((potential((tk(P162)>=1) & (tk(P166)>=1) & (tk(P178)>=1)))) ) ) & (EF( ((potential((tk(P137)>=1) & (tk(P141)>=1) & (tk(P153)>=1)))))) )) ) | (EU( (AF( ((potential((tk(P17)>=1)))))) , (AG( ((potential((tk(P102)>=1)))))) )) )
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-03 (EU( (AX( (! ((potential((tk(P30)>=1) & (tk(P45)>=1))))))) , ( ((potential((tk(P39)>=1) & (tk(P47)>=1) & (tk(P51)>=1)))) & ((potential((tk(P30)>=1) & (tk(P45)>=1)))) ) ))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-04 (! (AF( (EX( ((potential((tk(P239)>=1) & (tk(P247)>=1) & (tk(P253)>=1)))))))))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-05 (AG( ( ( ( (! ((potential((tk(P59)>=1) & (tk(P73)>=1))))) & ( ((potential((tk(P113)>=1) & (tk(P146)>=1)))) & ((potential((tk(P14)>=1) & (tk(P22)>=1) & (tk(P26)>=1)))) ) ) | (! ( ((potential((tk(P198)>=1)))) & ((potential((tk(P63)>=1) & (tk(P96)>=1)))) )) ) | (EF( ( ((potential((tk(P37)>=1) & (tk(P41)>=1) & (tk(P52)>=1)))) & ((potential((tk(P114)>=1) & (tk(P124)>=1) & (tk(P126)>=1)))) ))) )))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-06 ( (EG( (AF( ( ((potential((tk(P231)>=1) & (tk(P244)>=1)))) | ((potential((tk(P139)>=1) & (tk(P147)>=1) & (tk(P153)>=1)))) ))))) | (AF( ((potential((tk(P173)>=1)))))) )
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-07 ( ( ( (AF( ( ((potential((tk(P13)>=1) & (tk(P46)>=1)))) | ((potential((tk(P97)>=1)))) ))) & (! ( ( ((potential((tk(P141)>=1)))) | ((potential((tk(P212)>=1) & (tk(P216)>=1) & (tk(P228)>=1)))) ) | (! ((potential((tk(P34)>=1) & (tk(P48)>=1))))) )) ) | (EU( (! ((potential((tk(P112)>=1) & (tk(P118)>=1) & (tk(P128)>=1))))) , (! ((potential((tk(P182)>=1) & (tk(P192)>=1))))) )) ) & ( ( (EG( (! ((potential((tk(P152)>=1))))))) | ((potential((tk(P182)>=1) & (tk(P193)>=1)))) ) & ( ( ( ( ((potential((tk(P139)>=1) & (tk(P149)>=1) & (tk(P151)>=1)))) | ((potential((tk(P239)>=1) & (tk(P249)>=1) & (tk(P251)>=1)))) ) | (! ((potential((tk(P202)>=1))))) ) | (! ( ((potential((tk(P14)>=1) & (tk(P22)>=1) & (tk(P28)>=1)))) & ((potential((tk(P226)>=1)))) )) ) | ( ( ( ((potential((tk(P26)>=1)))) & ((potential((tk(P183)>=1) & (tk(P185)>=1)))) ) | ( ((potential((tk(P214)>=1) & (tk(P224)>=1) & (tk(P228)>=1)))) & ((potential((tk(P64)>=1) & (tk(P72)>=1) & (tk(P78)>=1)))) ) ) & (EF( ((potential((tk(P97)>=1)))))) ) ) ) )
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-08 (EF( ((potential((tk(P162)>=1) & (tk(P166)>=1) & (tk(P177)>=1))))))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-09 (EU( ( ( ((potential((tk(P134)>=1) & (tk(P149)>=1)))) | (! ((potential((tk(P30)>=1) & (tk(P45)>=1))))) ) | (EG( ((potential((tk(P212)>=1) & (tk(P216)>=1) & (tk(P227)>=1)))))) ) , ((potential((tk(P108)>=1) & (tk(P110)>=1)))) ))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-10 (AU( (EX( (! ((potential((tk(P47)>=1))))))) , (EF( ( ((potential((tk(P162)>=1) & (tk(P166)>=1) & (tk(P177)>=1)))) & ((potential((tk(P139)>=1) & (tk(P149)>=1) & (tk(P153)>=1)))) ))) ))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-11 (! ( (AF( ((potential((tk(P81)>=1) & (tk(P94)>=1)))))) & ( ( (! (! ((potential((tk(P97)>=1)))))) | (! ( ((potential((tk(P76)>=1)))) | ((potential((tk(P29)>=1) & (tk(P50)>=1)))) )) ) | (! ( ( ((potential((tk(P162)>=1) & (tk(P168)>=1) & (tk(P177)>=1)))) & ((potential((tk(P164)>=1) & (tk(P172)>=1) & (tk(P176)>=1)))) ) | ((potential((tk(P240)>=1)))) )) ) ))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-12 (AF( (EU( ((potential((tk(P134)>=1) & (tk(P148)>=1)))) , ( ((potential((tk(P201)>=1)))) | ((potential((tk(P182)>=1) & (tk(P193)>=1)))) ) ))))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-13 (EF( (EX( (EX( ((potential((tk(P7)>=1) & (tk(P18)>=1))))))))))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-14 (AF( ( (AU( ((potential((tk(P37)>=1) & (tk(P41)>=1) & (tk(P52)>=1)))) , ((potential((tk(P177)>=1)))) )) | ( (AX( ((potential((tk(P122)>=1)))))) & (AF( ((potential((tk(P109)>=1) & (tk(P123)>=1)))))) ) )))
PROPERTY: ShieldIIPs-PT-010A-CTLFireability-15 ( (AX( (AX( ( ((potential((tk(P39)>=1) & (tk(P49)>=1) & (tk(P53)>=1)))) & ((potential((tk(P115)>=1) & (tk(P136)>=1)))) ))))) | (AX( (! (EF( ((potential((tk(P165)>=1) & (tk(P186)>=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="ShieldIIPs-PT-010A"
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 ShieldIIPs-PT-010A, 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-159033469000124"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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