Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 240K
-rw-r--r-- 1 mcc users 3.4K Apr 4 18:01 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 4 18:01 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Apr 4 06:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 4 06:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 3 20:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 3 20:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 3 13:15 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 3 13:15 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 69K Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589391224795

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FlexibleBarrier (PT), instance 04b
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: 268 places, 305 transitions, 743 arcs.
AT ITER 0 NEW BEST:: SOT 51847 SOS 21531 HAS SOPS 21531 HAS SOUS 18658 HAS SOUPS 18658 WITH SCORE 18679.531
AT ITER 8 NEW BEST:: SOT 51765 SOS 21517 HAS SOPS 21517 HAS SOUS 18655 HAS SOUPS 18655 WITH SCORE 18676.517
AT ITER 10 NEW BEST:: SOT 51765 SOS 21517 HAS SOPS 21517 HAS SOUS 18636 HAS SOUPS 18636 WITH SCORE 18657.517
AT ITER 12 NEW BEST:: SOT 51773 SOS 21422 HAS SOPS 21422 HAS SOUS 18604 HAS SOUPS 18604 WITH SCORE 18625.422
AT ITER 18 NEW BEST:: SOT 51773 SOS 21373 HAS SOPS 21373 HAS SOUS 18557 HAS SOUPS 18557 WITH SCORE 18578.373
AT ITER 22 NEW BEST:: SOT 51785 SOS 21397 HAS SOPS 21397 HAS SOUS 18501 HAS SOUPS 18501 WITH SCORE 18522.397
AT ITER 28 NEW BEST:: SOT 51760 SOS 21292 HAS SOPS 21292 HAS SOUS 18456 HAS SOUPS 18456 WITH SCORE 18477.292
AT ITER 33 NEW BEST:: SOT 51691 SOS 21232 HAS SOPS 21232 HAS SOUS 18396 HAS SOUPS 18396 WITH SCORE 18417.232
AT ITER 36 NEW BEST:: SOT 51581 SOS 21036 HAS SOPS 21036 HAS SOUS 18226 HAS SOUPS 18226 WITH SCORE 18247.036
AT ITER 45 NEW BEST:: SOT 50641 SOS 23739 HAS SOPS 23739 HAS SOUS 17430 HAS SOUPS 17430 WITH SCORE 17453.739
AT ITER 50 NEW BEST:: SOT 50641 SOS 23730 HAS SOPS 23730 HAS SOUS 17429 HAS SOUPS 17429 WITH SCORE 17452.73
AT ITER 55 NEW BEST:: SOT 50625 SOS 23488 HAS SOPS 23488 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17319.488
AT ITER 56 NEW BEST:: SOT 50547 SOS 23176 HAS SOPS 23176 HAS SOUS 17164 HAS SOUPS 17164 WITH SCORE 17187.176
AT ITER 57 NEW BEST:: SOT 50316 SOS 22714 HAS SOPS 22714 HAS SOUS 16857 HAS SOUPS 16857 WITH SCORE 16879.714
AT ITER 63 NEW BEST:: SOT 50253 SOS 22654 HAS SOPS 22654 HAS SOUS 16810 HAS SOUPS 16810 WITH SCORE 16832.654
AT ITER 64 NEW BEST:: SOT 50217 SOS 22595 HAS SOPS 22595 HAS SOUS 16785 HAS SOUPS 16785 WITH SCORE 16807.595
AT ITER 69 NEW BEST:: SOT 50208 SOS 22577 HAS SOPS 22577 HAS SOUS 16764 HAS SOUPS 16764 WITH SCORE 16786.577
AT ITER 75 NEW BEST:: SOT 50148 SOS 22600 HAS SOPS 22600 HAS SOUS 16703 HAS SOUPS 16703 WITH SCORE 16725.6
AT ITER 76 NEW BEST:: SOT 50148 SOS 22597 HAS SOPS 22597 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16722.597
AT ITER 78 NEW BEST:: SOT 50113 SOS 22562 HAS SOPS 22562 HAS SOUS 16700 HAS SOUPS 16700 WITH SCORE 16722.562
AT ITER 81 NEW BEST:: SOT 49862 SOS 22290 HAS SOPS 22290 HAS SOUS 16474 HAS SOUPS 16474 WITH SCORE 16496.29
AT ITER 88 NEW BEST:: SOT 49759 SOS 22084 HAS SOPS 22084 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16417.084
AT ITER 90 NEW BEST:: SOT 49759 SOS 22084 HAS SOPS 22084 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16336.084
AT ITER 92 NEW BEST:: SOT 49732 SOS 22030 HAS SOPS 22030 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16293.03
AT ITER 107 NEW BEST:: SOT 49732 SOS 22014 HAS SOPS 22014 HAS SOUS 16271 HAS SOUPS 16271 WITH SCORE 16293.014
AT ITER 110 NEW BEST:: SOT 49731 SOS 22012 HAS SOPS 22012 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16291.012
AT ITER 113 NEW BEST:: SOT 49709 SOS 22012 HAS SOPS 22012 HAS SOUS 16268 HAS SOUPS 16268 WITH SCORE 16290.012
AT ITER 123 NEW BEST:: SOT 49684 SOS 21995 HAS SOPS 21995 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16271.995
AT ITER 124 NEW BEST:: SOT 49675 SOS 21977 HAS SOPS 21977 HAS SOUS 16241 HAS SOUPS 16241 WITH SCORE 16262.977
AT ITER 128 NEW BEST:: SOT 49663 SOS 21795 HAS SOPS 21795 HAS SOUS 16204 HAS SOUPS 16204 WITH SCORE 16225.795
AT ITER 129 NEW BEST:: SOT 49561 SOS 21693 HAS SOPS 21693 HAS SOUS 16158 HAS SOUPS 16158 WITH SCORE 16179.693
AT ITER 131 NEW BEST:: SOT 49572 SOS 21704 HAS SOPS 21704 HAS SOUS 16150 HAS SOUPS 16150 WITH SCORE 16171.704
AT ITER 132 NEW BEST:: SOT 49556 SOS 21672 HAS SOPS 21672 HAS SOUS 16134 HAS SOUPS 16134 WITH SCORE 16155.672
AT ITER 136 NEW BEST:: SOT 49538 SOS 21654 HAS SOPS 21654 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16143.654
AT ITER 137 NEW BEST:: SOT 49537 SOS 21652 HAS SOPS 21652 HAS SOUS 16120 HAS SOUPS 16120 WITH SCORE 16141.652
AT ITER 140 NEW BEST:: SOT 49520 SOS 21579 HAS SOPS 21579 HAS SOUS 16086 HAS SOUPS 16086 WITH SCORE 16107.579
AT ITER 147 NEW BEST:: SOT 49528 SOS 21558 HAS SOPS 21558 HAS SOUS 16065 HAS SOUPS 16065 WITH SCORE 16086.558
AT ITER 149 NEW BEST:: SOT 49515 SOS 21532 HAS SOPS 21532 HAS SOUS 16052 HAS SOUPS 16052 WITH SCORE 16073.532
AT ITER 160 NEW BEST:: SOT 49511 SOS 21505 HAS SOPS 21505 HAS SOUS 16048 HAS SOUPS 16048 WITH SCORE 16069.505
AT ITER 182 NEW BEST:: SOT 49380 SOS 21374 HAS SOPS 21374 HAS SOUS 16038 HAS SOUPS 16038 WITH SCORE 16059.374
AT ITER 188 NEW BEST:: SOT 49215 SOS 21569 HAS SOPS 21569 HAS SOUS 15988 HAS SOUPS 15988 WITH SCORE 16009.569
AT ITER 194 NEW BEST:: SOT 49196 SOS 21441 HAS SOPS 21441 HAS SOUS 15933 HAS SOUPS 15933 WITH SCORE 15954.441
AT ITER 198 NEW BEST:: SOT 49171 SOS 21319 HAS SOPS 21319 HAS SOUS 15887 HAS SOUPS 15887 WITH SCORE 15908.319
AT ITER 199 NEW BEST:: SOT 49160 SOS 21319 HAS SOPS 21319 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15907.319
AT ITER 202 NEW BEST:: SOT 49151 SOS 21310 HAS SOPS 21310 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15907.31
AT ITER 203 NEW BEST:: SOT 49151 SOS 21293 HAS SOPS 21293 HAS SOUS 15886 HAS SOUPS 15886 WITH SCORE 15907.293
AT ITER 207 NEW BEST:: SOT 49130 SOS 21251 HAS SOPS 21251 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15890.251
AT ITER 210 NEW BEST:: SOT 49220 SOS 21151 HAS SOPS 21151 HAS SOUS 15869 HAS SOUPS 15869 WITH SCORE 15890.151
AT ITER 218 NEW BEST:: SOT 49097 SOS 21028 HAS SOPS 21028 HAS SOUS 15773 HAS SOUPS 15773 WITH SCORE 15794.028
AT ITER 222 NEW BEST:: SOT 49060 SOS 20950 HAS SOPS 20950 HAS SOUS 15654 HAS SOUPS 15654 WITH SCORE 15674.95
AT ITER 224 NEW BEST:: SOT 49035 SOS 20875 HAS SOPS 20875 HAS SOUS 15579 HAS SOUPS 15579 WITH SCORE 15599.875
AT ITER 226 NEW BEST:: SOT 49021 SOS 20752 HAS SOPS 20752 HAS SOUS 15565 HAS SOUPS 15565 WITH SCORE 15585.752
AT ITER 231 NEW BEST:: SOT 49020 SOS 20749 HAS SOPS 20749 HAS SOUS 15563 HAS SOUPS 15563 WITH SCORE 15583.749
AT ITER 232 NEW BEST:: SOT 48974 SOS 20664 HAS SOPS 20664 HAS SOUS 15499 HAS SOUPS 15499 WITH SCORE 15519.664
AT ITER 245 NEW BEST:: SOT 48956 SOS 20502 HAS SOPS 20502 HAS SOUS 15445 HAS SOUPS 15445 WITH SCORE 15465.502
AT ITER 253 NEW BEST:: SOT 48900 SOS 20424 HAS SOPS 20424 HAS SOUS 15400 HAS SOUPS 15400 WITH SCORE 15420.424
AT ITER 255 NEW BEST:: SOT 48907 SOS 20438 HAS SOPS 20438 HAS SOUS 15379 HAS SOUPS 15379 WITH SCORE 15399.438
AT ITER 268 NEW BEST:: SOT 48875 SOS 20310 HAS SOPS 20310 HAS SOUS 15291 HAS SOUPS 15291 WITH SCORE 15311.31
AT ITER 279 NEW BEST:: SOT 48893 SOS 20228 HAS SOPS 20228 HAS SOUS 15269 HAS SOUPS 15269 WITH SCORE 15289.228
AT ITER 281 NEW BEST:: SOT 48870 SOS 20182 HAS SOPS 20182 HAS SOUS 15223 HAS SOUPS 15223 WITH SCORE 15243.182
AT ITER 292 NEW BEST:: SOT 48875 SOS 20175 HAS SOPS 20175 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15207.175
AT ITER 293 NEW BEST:: SOT 48843 SOS 20143 HAS SOPS 20143 HAS SOUS 15155 HAS SOUPS 15155 WITH SCORE 15175.143
AT ITER 294 NEW BEST:: SOT 48360 SOS 22283 HAS SOPS 22283 HAS SOUS 14842 HAS SOUPS 14842 WITH SCORE 14864.283
AT ITER 296 NEW BEST:: SOT 48293 SOS 22373 HAS SOPS 22373 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14819.373
AT ITER 298 NEW BEST:: SOT 48295 SOS 22361 HAS SOPS 22361 HAS SOUS 14782 HAS SOUPS 14782 WITH SCORE 14804.361
AT ITER 302 NEW BEST:: SOT 48295 SOS 22291 HAS SOPS 22291 HAS SOUS 14772 HAS SOUPS 14772 WITH SCORE 14794.291
AT ITER 307 NEW BEST:: SOT 48268 SOS 22237 HAS SOPS 22237 HAS SOUS 14718 HAS SOUPS 14718 WITH SCORE 14740.237
AT ITER 308 NEW BEST:: SOT 48036 SOS 22003 HAS SOPS 22003 HAS SOUS 14554 HAS SOUPS 14554 WITH SCORE 14576.003
AT ITER 326 NEW BEST:: SOT 48030 SOS 21991 HAS SOPS 21991 HAS SOUS 14542 HAS SOUPS 14542 WITH SCORE 14563.991
AT ITER 334 NEW BEST:: SOT 48073 SOS 21917 HAS SOPS 21917 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14374.917
AT ITER 354 NEW BEST:: SOT 48073 SOS 21915 HAS SOPS 21915 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14374.915
AT ITER 365 NEW BEST:: SOT 48100 SOS 21969 HAS SOPS 21969 HAS SOUS 14332 HAS SOUPS 14332 WITH SCORE 14353.969
AT ITER 366 NEW BEST:: SOT 48093 SOS 21967 HAS SOPS 21967 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14339.967
AT ITER 372 NEW BEST:: SOT 48093 SOS 21896 HAS SOPS 21896 HAS SOUS 14318 HAS SOUPS 14318 WITH SCORE 14339.896
AT ITER 374 NEW BEST:: SOT 47766 SOS 21608 HAS SOPS 21608 HAS SOUS 14111 HAS SOUPS 14111 WITH SCORE 14132.608
AT ITER 377 NEW BEST:: SOT 47788 SOS 21568 HAS SOPS 21568 HAS SOUS 14036 HAS SOUPS 14036 WITH SCORE 14057.568
AT ITER 391 NEW BEST:: SOT 47788 SOS 21563 HAS SOPS 21563 HAS SOUS 14035 HAS SOUPS 14035 WITH SCORE 14056.563
AT ITER 399 NEW BEST:: SOT 47743 SOS 21518 HAS SOPS 21518 HAS SOUS 13990 HAS SOUPS 13990 WITH SCORE 14011.518
AT ITER 438 NEW BEST:: SOT 47624 SOS 21399 HAS SOPS 21399 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 13977.399
AT ITER 440 NEW BEST:: SOT 47566 SOS 21341 HAS SOPS 21341 HAS SOUS 13953 HAS SOUPS 13953 WITH SCORE 13974.341
AT ITER 455 NEW BEST:: SOT 47548 SOS 21305 HAS SOPS 21305 HAS SOUS 13917 HAS SOUPS 13917 WITH SCORE 13938.305
AT ITER 480 NEW BEST:: SOT 47543 SOS 20157 HAS SOPS 20157 HAS SOUS 13912 HAS SOUPS 13912 WITH SCORE 13932.157
AT ITER 489 NEW BEST:: SOT 47506 SOS 20055 HAS SOPS 20055 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13867.055
AT ITER 490 NEW BEST:: SOT 47501 SOS 20050 HAS SOPS 20050 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13867.05
AT ITER 499 NEW BEST:: SOT 47482 SOS 20031 HAS SOPS 20031 HAS SOUS 13845 HAS SOUPS 13845 WITH SCORE 13865.031
AT ITER 501 NEW BEST:: SOT 47482 SOS 19992 HAS SOPS 19992 HAS SOUS 13813 HAS SOUPS 13813 WITH SCORE 13832.992
AT ITER 503 NEW BEST:: SOT 47462 SOS 19872 HAS SOPS 19872 HAS SOUS 13717 HAS SOUPS 13717 WITH SCORE 13736.872
AT ITER 509 NEW BEST:: SOT 47462 SOS 19758 HAS SOPS 19758 HAS SOUS 13679 HAS SOUPS 13679 WITH SCORE 13698.758
AT ITER 511 NEW BEST:: SOT 47430 SOS 19744 HAS SOPS 19744 HAS SOUS 13660 HAS SOUPS 13660 WITH SCORE 13679.744
AT ITER 513 NEW BEST:: SOT 47415 SOS 19776 HAS SOPS 19776 HAS SOUS 13645 HAS SOUPS 13645 WITH SCORE 13664.776
AT ITER 515 NEW BEST:: SOT 47379 SOS 19748 HAS SOPS 19748 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13636.748
AT ITER 523 NEW BEST:: SOT 47379 SOS 19723 HAS SOPS 19723 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13636.723
AT ITER 527 NEW BEST:: SOT 47370 SOS 19705 HAS SOPS 19705 HAS SOUS 13597 HAS SOUPS 13597 WITH SCORE 13616.705
AT ITER 530 NEW BEST:: SOT 47344 SOS 19679 HAS SOPS 19679 HAS SOUS 13558 HAS SOUPS 13558 WITH SCORE 13577.679
AT ITER 533 NEW BEST:: SOT 47297 SOS 19522 HAS SOPS 19522 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13502.522
AT ITER 540 NEW BEST:: SOT 47282 SOS 19341 HAS SOPS 19341 HAS SOUS 13369 HAS SOUPS 13369 WITH SCORE 13388.341
AT ITER 543 NEW BEST:: SOT 47244 SOS 19284 HAS SOPS 19284 HAS SOUS 13312 HAS SOUPS 13312 WITH SCORE 13331.284
AT ITER 544 NEW BEST:: SOT 47244 SOS 19284 HAS SOPS 19284 HAS SOUS 13299 HAS SOUPS 13299 WITH SCORE 13318.284
AT ITER 554 NEW BEST:: SOT 47230 SOS 19270 HAS SOPS 19270 HAS SOUS 13216 HAS SOUPS 13216 WITH SCORE 13235.27
AT ITER 555 NEW BEST:: SOT 47186 SOS 19354 HAS SOPS 19354 HAS SOUS 13176 HAS SOUPS 13176 WITH SCORE 13195.354
AT ITER 556 NEW BEST:: SOT 47185 SOS 19299 HAS SOPS 19299 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13194.299
AT ITER 558 NEW BEST:: SOT 47185 SOS 19297 HAS SOPS 19297 HAS SOUS 13175 HAS SOUPS 13175 WITH SCORE 13194.297
AT ITER 563 NEW BEST:: SOT 47158 SOS 19216 HAS SOPS 19216 HAS SOUS 13121 HAS SOUPS 13121 WITH SCORE 13140.216
AT ITER 569 NEW BEST:: SOT 47165 SOS 19211 HAS SOPS 19211 HAS SOUS 13116 HAS SOUPS 13116 WITH SCORE 13135.211
AT ITER 572 NEW BEST:: SOT 47155 SOS 19201 HAS SOPS 19201 HAS SOUS 13102 HAS SOUPS 13102 WITH SCORE 13121.201
AT ITER 580 NEW BEST:: SOT 47130 SOS 19120 HAS SOPS 19120 HAS SOUS 13089 HAS SOUPS 13089 WITH SCORE 13108.12
AT ITER 601 NEW BEST:: SOT 47130 SOS 19120 HAS SOPS 19120 HAS SOUS 13048 HAS SOUPS 13048 WITH SCORE 13067.12
AT ITER 605 NEW BEST:: SOT 47163 SOS 19150 HAS SOPS 19150 HAS SOUS 13042 HAS SOUPS 13042 WITH SCORE 13061.15
AT ITER 611 NEW BEST:: SOT 47163 SOS 19113 HAS SOPS 19113 HAS SOUS 13005 HAS SOUPS 13005 WITH SCORE 13024.113
AT ITER 626 NEW BEST:: SOT 47142 SOS 19078 HAS SOPS 19078 HAS SOUS 12984 HAS SOUPS 12984 WITH SCORE 13003.078
AT ITER 633 NEW BEST:: SOT 47125 SOS 19059 HAS SOPS 19059 HAS SOUS 12965 HAS SOUPS 12965 WITH SCORE 12984.059
AT ITER 637 NEW BEST:: SOT 47103 SOS 18993 HAS SOPS 18993 HAS SOUS 12912 HAS SOUPS 12912 WITH SCORE 12930.993
AT ITER 639 NEW BEST:: SOT 47066 SOS 18882 HAS SOPS 18882 HAS SOUS 12838 HAS SOUPS 12838 WITH SCORE 12856.882
AT ITER 648 NEW BEST:: SOT 47048 SOS 18810 HAS SOPS 18810 HAS SOUS 12805 HAS SOUPS 12805 WITH SCORE 12823.81
AT ITER 658 NEW BEST:: SOT 47050 SOS 18812 HAS SOPS 18812 HAS SOUS 12781 HAS SOUPS 12781 WITH SCORE 12799.812
AT ITER 664 NEW BEST:: SOT 46983 SOS 18500 HAS SOPS 18500 HAS SOUS 12674 HAS SOUPS 12674 WITH SCORE 12692.5
AT ITER 665 NEW BEST:: SOT 46991 SOS 18498 HAS SOPS 18498 HAS SOUS 12664 HAS SOUPS 12664 WITH SCORE 12682.498
AT ITER 666 NEW BEST:: SOT 46991 SOS 18334 HAS SOPS 18334 HAS SOUS 12615 HAS SOUPS 12615 WITH SCORE 12633.334
AT ITER 672 NEW BEST:: SOT 46989 SOS 18326 HAS SOPS 18326 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12627.326
AT ITER 683 NEW BEST:: SOT 46971 SOS 18290 HAS SOPS 18290 HAS SOUS 12593 HAS SOUPS 12593 WITH SCORE 12611.29
AT ITER 684 NEW BEST:: SOT 46976 SOS 18306 HAS SOPS 18306 HAS SOUS 12566 HAS SOUPS 12566 WITH SCORE 12584.306
AT ITER 686 NEW BEST:: SOT 46944 SOS 18274 HAS SOPS 18274 HAS SOUS 12534 HAS SOUPS 12534 WITH SCORE 12552.274
AT ITER 688 NEW BEST:: SOT 46938 SOS 18252 HAS SOPS 18252 HAS SOUS 12520 HAS SOUPS 12520 WITH SCORE 12538.252
AT ITER 690 NEW BEST:: SOT 46931 SOS 18245 HAS SOPS 18245 HAS SOUS 12519 HAS SOUPS 12519 WITH SCORE 12537.245
AT ITER 711 NEW BEST:: SOT 46875 SOS 18105 HAS SOPS 18105 HAS SOUS 12437 HAS SOUPS 12437 WITH SCORE 12455.105
AT ITER 719 NEW BEST:: SOT 46875 SOS 18104 HAS SOPS 18104 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12454.104
AT ITER 720 NEW BEST:: SOT 46874 SOS 18103 HAS SOPS 18103 HAS SOUS 12436 HAS SOUPS 12436 WITH SCORE 12454.103
AT ITER 726 NEW BEST:: SOT 46873 SOS 18101 HAS SOPS 18101 HAS SOUS 12434 HAS SOUPS 12434 WITH SCORE 12452.101
AT ITER 737 NEW BEST:: SOT 46869 SOS 18097 HAS SOPS 18097 HAS SOUS 12434 HAS SOUPS 12434 WITH SCORE 12452.097
AT ITER 740 NEW BEST:: SOT 46858 SOS 18064 HAS SOPS 18064 HAS SOUS 12412 HAS SOUPS 12412 WITH SCORE 12430.064
AT ITER 743 NEW BEST:: SOT 46835 SOS 18041 HAS SOPS 18041 HAS SOUS 12389 HAS SOUPS 12389 WITH SCORE 12407.041
AT ITER 747 NEW BEST:: SOT 46831 SOS 17871 HAS SOPS 17871 HAS SOUS 12379 HAS SOUPS 12379 WITH SCORE 12396.871
AT ITER 749 NEW BEST:: SOT 46824 SOS 17857 HAS SOPS 17857 HAS SOUS 12377 HAS SOUPS 12377 WITH SCORE 12394.857
AT ITER 752 NEW BEST:: SOT 46814 SOS 17847 HAS SOPS 17847 HAS SOUS 12361 HAS SOUPS 12361 WITH SCORE 12378.847
AT ITER 757 NEW BEST:: SOT 46814 SOS 17846 HAS SOPS 17846 HAS SOUS 12360 HAS SOUPS 12360 WITH SCORE 12377.846
AT ITER 763 NEW BEST:: SOT 46805 SOS 17828 HAS SOPS 17828 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12359.828
AT ITER 767 NEW BEST:: SOT 46805 SOS 17879 HAS SOPS 17879 HAS SOUS 12291 HAS SOUPS 12291 WITH SCORE 12308.879
AT ITER 777 NEW BEST:: SOT 46800 SOS 17879 HAS SOPS 17879 HAS SOUS 12286 HAS SOUPS 12286 WITH SCORE 12303.879
AT ITER 791 NEW BEST:: SOT 46776 SOS 17838 HAS SOPS 17838 HAS SOUS 12245 HAS SOUPS 12245 WITH SCORE 12262.838
AT ITER 796 NEW BEST:: SOT 46790 SOS 17791 HAS SOPS 17791 HAS SOUS 12207 HAS SOUPS 12207 WITH SCORE 12224.791
AT ITER 812 NEW BEST:: SOT 46774 SOS 17775 HAS SOPS 17775 HAS SOUS 12176 HAS SOUPS 12176 WITH SCORE 12193.775
AT ITER 816 NEW BEST:: SOT 46651 SOS 17744 HAS SOPS 17744 HAS SOUS 12096 HAS SOUPS 12096 WITH SCORE 12113.744
AT ITER 818 NEW BEST:: SOT 46635 SOS 17592 HAS SOPS 17592 HAS SOUS 12046 HAS SOUPS 12046 WITH SCORE 12063.592
AT ITER 823 NEW BEST:: SOT 46633 SOS 17588 HAS SOPS 17588 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12059.588
AT ITER 850 NEW BEST:: SOT 46624 SOS 17570 HAS SOPS 17570 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12059.57
AT ITER 852 NEW BEST:: SOT 46635 SOS 17564 HAS SOPS 17564 HAS SOUS 12042 HAS SOUPS 12042 WITH SCORE 12059.564
AT ITER 870 NEW BEST:: SOT 46629 SOS 17576 HAS SOPS 17576 HAS SOUS 12009 HAS SOUPS 12009 WITH SCORE 12026.576
AT ITER 875 NEW BEST:: SOT 46609 SOS 17452 HAS SOPS 17452 HAS SOUS 11994 HAS SOUPS 11994 WITH SCORE 12011.452
AT ITER 899 NEW BEST:: SOT 46608 SOS 17470 HAS SOPS 17470 HAS SOUS 11989 HAS SOUPS 11989 WITH SCORE 12006.47
AT ITER 900 NEW BEST:: SOT 46582 SOS 17436 HAS SOPS 17436 HAS SOUS 11969 HAS SOUPS 11969 WITH SCORE 11986.436
AT ITER 902 NEW BEST:: SOT 46605 SOS 17459 HAS SOPS 17459 HAS SOUS 11942 HAS SOUPS 11942 WITH SCORE 11959.459
AT ITER 910 NEW BEST:: SOT 46571 SOS 17419 HAS SOPS 17419 HAS SOUS 11930 HAS SOUPS 11930 WITH SCORE 11947.419
AT ITER 929 NEW BEST:: SOT 46540 SOS 17335 HAS SOPS 17335 HAS SOUS 11872 HAS SOUPS 11872 WITH SCORE 11889.335
AT ITER 930 NEW BEST:: SOT 46540 SOS 17335 HAS SOPS 17335 HAS SOUS 11854 HAS SOUPS 11854 WITH SCORE 11871.335
AT ITER 937 NEW BEST:: SOT 46484 SOS 17223 HAS SOPS 17223 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11766.223
AT ITER 956 NEW BEST:: SOT 46479 SOS 17213 HAS SOPS 17213 HAS SOUS 11740 HAS SOUPS 11740 WITH SCORE 11757.213
AT ITER 957 NEW BEST:: SOT 46487 SOS 17189 HAS SOPS 17189 HAS SOUS 11732 HAS SOUPS 11732 WITH SCORE 11749.189
AT ITER 965 NEW BEST:: SOT 46487 SOS 17188 HAS SOPS 17188 HAS SOUS 11719 HAS SOUPS 11719 WITH SCORE 11736.188
AT ITER 975 NEW BEST:: SOT 46487 SOS 17188 HAS SOPS 17188 HAS SOUS 11665 HAS SOUPS 11665 WITH SCORE 11682.188
AT ITER 988 NEW BEST:: SOT 46475 SOS 17170 HAS SOPS 17170 HAS SOUS 11647 HAS SOUPS 11647 WITH SCORE 11664.17
AT ITER 992 NEW BEST:: SOT 46461 SOS 17153 HAS SOPS 17153 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11654.153
AT ITER 998 NEW BEST:: SOT 46507 SOS 16312 HAS SOPS 16312 HAS SOUS 11637 HAS SOUPS 11637 WITH SCORE 11653.312
AT ITER 1006 NEW BEST:: SOT 46481 SOS 16286 HAS SOPS 16286 HAS SOUS 11598 HAS SOUPS 11598 WITH SCORE 11614.286
AT ITER 1007 NEW BEST:: SOT 46481 SOS 16286 HAS SOPS 16286 HAS SOUS 11586 HAS SOUPS 11586 WITH SCORE 11602.286
AT ITER 1019 NEW BEST:: SOT 46445 SOS 16214 HAS SOPS 16214 HAS SOUS 11531 HAS SOUPS 11531 WITH SCORE 11547.214
AT ITER 1021 NEW BEST:: SOT 46327 SOS 15977 HAS SOPS 15977 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11422.977
AT ITER 1028 NEW BEST:: SOT 46327 SOS 15977 HAS SOPS 15977 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11387.977
AT ITER 1039 NEW BEST:: SOT 46259 SOS 16015 HAS SOPS 16015 HAS SOUS 11343 HAS SOUPS 11343 WITH SCORE 11359.015
AT ITER 1053 NEW BEST:: SOT 46282 SOS 16061 HAS SOPS 16061 HAS SOUS 11335 HAS SOUPS 11335 WITH SCORE 11351.061
AT ITER 1100 NEW BEST:: SOT 46290 SOS 16018 HAS SOPS 16018 HAS SOUS 11319 HAS SOUPS 11319 WITH SCORE 11335.018
AT ITER 1107 NEW BEST:: SOT 46289 SOS 16006 HAS SOPS 16006 HAS SOUS 11317 HAS SOUPS 11317 WITH SCORE 11333.006
AT ITER 1125 NEW BEST:: SOT 46276 SOS 15994 HAS SOPS 15994 HAS SOUS 11291 HAS SOUPS 11291 WITH SCORE 11306.994
AT ITER 1130 NEW BEST:: SOT 46264 SOS 15970 HAS SOPS 15970 HAS SOUS 11232 HAS SOUPS 11232 WITH SCORE 11247.97
AT ITER 1164 NEW BEST:: SOT 46293 SOS 15945 HAS SOPS 15945 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11237.945
AT ITER 1222 NEW BEST:: SOT 46279 SOS 15917 HAS SOPS 15917 HAS SOUS 11201 HAS SOUPS 11201 WITH SCORE 11216.917
AT ITER 1226 NEW BEST:: SOT 46275 SOS 15917 HAS SOPS 15917 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11212.917
AT ITER 1229 NEW BEST:: SOT 46274 SOS 15915 HAS SOPS 15915 HAS SOUS 11197 HAS SOUPS 11197 WITH SCORE 11212.915
AT ITER 1236 NEW BEST:: SOT 46191 SOS 15962 HAS SOPS 15962 HAS SOUS 11183 HAS SOUPS 11183 WITH SCORE 11198.962
AT ITER 1244 NEW BEST:: SOT 46166 SOS 15924 HAS SOPS 15924 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11173.924
AT ITER 1286 NEW BEST:: SOT 46193 SOS 15897 HAS SOPS 15897 HAS SOUS 11158 HAS SOUPS 11158 WITH SCORE 11173.897
AT ITER 1291 NEW BEST:: SOT 46115 SOS 15741 HAS SOPS 15741 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11017.741
AT ITER 1294 NEW BEST:: SOT 46115 SOS 15732 HAS SOPS 15732 HAS SOUS 10993 HAS SOUPS 10993 WITH SCORE 11008.732
AT ITER 1296 NEW BEST:: SOT 46061 SOS 15602 HAS SOPS 15602 HAS SOUS 10867 HAS SOUPS 10867 WITH SCORE 10882.602
AT ITER 1301 NEW BEST:: SOT 46056 SOS 15592 HAS SOPS 15592 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10872.592
AT ITER 1314 NEW BEST:: SOT 45986 SOS 15572 HAS SOPS 15572 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10859.572
AT ITER 1317 NEW BEST:: SOT 45986 SOS 15558 HAS SOPS 15558 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10859.558
AT ITER 1334 NEW BEST:: SOT 45965 SOS 15428 HAS SOPS 15428 HAS SOUS 10778 HAS SOUPS 10778 WITH SCORE 10793.428
AT ITER 1339 NEW BEST:: SOT 45939 SOS 15397 HAS SOPS 15397 HAS SOUS 10773 HAS SOUPS 10773 WITH SCORE 10788.397
AT ITER 1342 NEW BEST:: SOT 45884 SOS 15217 HAS SOPS 15217 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10662.217
AT ITER 1351 NEW BEST:: SOT 45866 SOS 15138 HAS SOPS 15138 HAS SOUS 10629 HAS SOUPS 10629 WITH SCORE 10644.138
AT ITER 1363 NEW BEST:: SOT 45887 SOS 15154 HAS SOPS 15154 HAS SOUS 10628 HAS SOUPS 10628 WITH SCORE 10643.154
AT ITER 1374 NEW BEST:: SOT 45859 SOS 15087 HAS SOPS 15087 HAS SOUS 10573 HAS SOUPS 10573 WITH SCORE 10588.087
AT ITER 1375 NEW BEST:: SOT 45823 SOS 14803 HAS SOPS 14803 HAS SOUS 10537 HAS SOUPS 10537 WITH SCORE 10551.803
AT ITER 1376 NEW BEST:: SOT 45802 SOS 14761 HAS SOPS 14761 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10544.761
AT ITER 1390 NEW BEST:: SOT 45814 SOS 14751 HAS SOPS 14751 HAS SOUS 10514 HAS SOUPS 10514 WITH SCORE 10528.751
AT ITER 1392 NEW BEST:: SOT 45808 SOS 14686 HAS SOPS 14686 HAS SOUS 10508 HAS SOUPS 10508 WITH SCORE 10522.686
AT ITER 1409 NEW BEST:: SOT 45769 SOS 14647 HAS SOPS 14647 HAS SOUS 10488 HAS SOUPS 10488 WITH SCORE 10502.647
AT ITER 1424 NEW BEST:: SOT 45764 SOS 14647 HAS SOPS 14647 HAS SOUS 10481 HAS SOUPS 10481 WITH SCORE 10495.647
AT ITER 1429 NEW BEST:: SOT 45777 SOS 14673 HAS SOPS 14673 HAS SOUS 10476 HAS SOUPS 10476 WITH SCORE 10490.673
AT ITER 1455 NEW BEST:: SOT 45754 SOS 14636 HAS SOPS 14636 HAS SOUS 10441 HAS SOUPS 10441 WITH SCORE 10455.636
AT ITER 1461 NEW BEST:: SOT 45743 SOS 14614 HAS SOPS 14614 HAS SOUS 10419 HAS SOUPS 10419 WITH SCORE 10433.614
AT ITER 1465 NEW BEST:: SOT 45713 SOS 14584 HAS SOPS 14584 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10427.584
AT ITER 1474 NEW BEST:: SOT 45753 SOS 14544 HAS SOPS 14544 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10427.544
AT ITER 1479 NEW BEST:: SOT 45748 SOS 14472 HAS SOPS 14472 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10410.472
AT ITER 1485 NEW BEST:: SOT 45748 SOS 14471 HAS SOPS 14471 HAS SOUS 10396 HAS SOUPS 10396 WITH SCORE 10410.471
AT ITER 1525 NEW BEST:: SOT 45779 SOS 14502 HAS SOPS 14502 HAS SOUS 10390 HAS SOUPS 10390 WITH SCORE 10404.502
AT ITER 1556 NEW BEST:: SOT 45776 SOS 14458 HAS SOPS 14458 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10398.458
AT ITER 1600 NEW BEST:: SOT 45771 SOS 14448 HAS SOPS 14448 HAS SOUS 10374 HAS SOUPS 10374 WITH SCORE 10388.448
AT ITER 1601 NEW BEST:: SOT 45769 SOS 14444 HAS SOPS 14444 HAS SOUS 10372 HAS SOUPS 10372 WITH SCORE 10386.444
AT ITER 1607 NEW BEST:: SOT 45709 SOS 14195 HAS SOPS 14195 HAS SOUS 10239 HAS SOUPS 10239 WITH SCORE 10253.195
AT ITER 1609 NEW BEST:: SOT 45699 SOS 14195 HAS SOPS 14195 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10251.195
AT ITER 1635 NEW BEST:: SOT 45699 SOS 14195 HAS SOPS 14195 HAS SOUS 10229 HAS SOUPS 10229 WITH SCORE 10243.195
AT ITER 1636 NEW BEST:: SOT 45694 SOS 14190 HAS SOPS 14190 HAS SOUS 10222 HAS SOUPS 10222 WITH SCORE 10236.19
AT ITER 1656 NEW BEST:: SOT 45664 SOS 14140 HAS SOPS 14140 HAS SOUS 10197 HAS SOUPS 10197 WITH SCORE 10211.14
AT ITER 1666 NEW BEST:: SOT 45653 SOS 14130 HAS SOPS 14130 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10199.13
AT ITER 1670 NEW BEST:: SOT 45651 SOS 14121 HAS SOPS 14121 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10189.121
AT ITER 1688 NEW BEST:: SOT 45720 SOS 14052 HAS SOPS 14052 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10189.052
AT ITER 1697 NEW BEST:: SOT 45627 SOS 14028 HAS SOPS 14028 HAS SOUS 10086 HAS SOUPS 10086 WITH SCORE 10100.028
AT ITER 1699 NEW BEST:: SOT 45585 SOS 13980 HAS SOPS 13980 HAS SOUS 10054 HAS SOUPS 10054 WITH SCORE 10067.98
AT ITER 1709 NEW BEST:: SOT 45564 SOS 14120 HAS SOPS 14120 HAS SOUS 10033 HAS SOUPS 10033 WITH SCORE 10047.12
AT ITER 1712 NEW BEST:: SOT 45532 SOS 14083 HAS SOPS 14083 HAS SOUS 9984 HAS SOUPS 9984 WITH SCORE 9998.083
AT ITER 1722 NEW BEST:: SOT 45536 SOS 14075 HAS SOPS 14075 HAS SOUS 9976 HAS SOUPS 9976 WITH SCORE 9990.075
AT ITER 1727 NEW BEST:: SOT 45513 SOS 14015 HAS SOPS 14015 HAS SOUS 9934 HAS SOUPS 9934 WITH SCORE 9948.015
AT ITER 1736 NEW BEST:: SOT 45510 SOS 13997 HAS SOPS 13997 HAS SOUS 9927 HAS SOUPS 9927 WITH SCORE 9940.997
AT ITER 1738 NEW BEST:: SOT 45481 SOS 13968 HAS SOPS 13968 HAS SOUS 9907 HAS SOUPS 9907 WITH SCORE 9920.968
AT ITER 1748 NEW BEST:: SOT 45524 SOS 14012 HAS SOPS 14012 HAS SOUS 9894 HAS SOUPS 9894 WITH SCORE 9908.012
AT ITER 1759 NEW BEST:: SOT 45516 SOS 13996 HAS SOPS 13996 HAS SOUS 9888 HAS SOUPS 9888 WITH SCORE 9901.996
AT ITER 1776 NEW BEST:: SOT 45515 SOS 13995 HAS SOPS 13995 HAS SOUS 9888 HAS SOUPS 9888 WITH SCORE 9901.995
AT ITER 1794 NEW BEST:: SOT 45511 SOS 13987 HAS SOPS 13987 HAS SOUS 9885 HAS SOUPS 9885 WITH SCORE 9898.987
AT ITER 1795 NEW BEST:: SOT 45511 SOS 13987 HAS SOPS 13987 HAS SOUS 9879 HAS SOUPS 9879 WITH SCORE 9892.987
AT ITER 1797 NEW BEST:: SOT 45468 SOS 13911 HAS SOPS 13911 HAS SOUS 9852 HAS SOUPS 9852 WITH SCORE 9865.911
AT ITER 1809 NEW BEST:: SOT 45449 SOS 13869 HAS SOPS 13869 HAS SOUS 9819 HAS SOUPS 9819 WITH SCORE 9832.869
AT ITER 1810 NEW BEST:: SOT 45431 SOS 13815 HAS SOPS 13815 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9806.815
AT ITER 1811 NEW BEST:: SOT 45431 SOS 13788 HAS SOPS 13788 HAS SOUS 9793 HAS SOUPS 9793 WITH SCORE 9806.788
AT ITER 1818 NEW BEST:: SOT 45423 SOS 13787 HAS SOPS 13787 HAS SOUS 9785 HAS SOUPS 9785 WITH SCORE 9798.787
AT ITER 1844 NEW BEST:: SOT 45436 SOS 13774 HAS SOPS 13774 HAS SOUS 9777 HAS SOUPS 9777 WITH SCORE 9790.774
AT ITER 1845 NEW BEST:: SOT 45429 SOS 13753 HAS SOPS 13753 HAS SOUS 9770 HAS SOUPS 9770 WITH SCORE 9783.753
AT ITER 1848 NEW BEST:: SOT 45428 SOS 13775 HAS SOPS 13775 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9762.775
AT ITER 1849 NEW BEST:: SOT 45427 SOS 13767 HAS SOPS 13767 HAS SOUS 9748 HAS SOUPS 9748 WITH SCORE 9761.767
AT ITER 1861 NEW BEST:: SOT 45345 SOS 13601 HAS SOPS 13601 HAS SOUS 9666 HAS SOUPS 9666 WITH SCORE 9679.601
AT ITER 1883 NEW BEST:: SOT 45269 SOS 13534 HAS SOPS 13534 HAS SOUS 9599 HAS SOUPS 9599 WITH SCORE 9612.534
AT ITER 1934 NEW BEST:: SOT 45267 SOS 13532 HAS SOPS 13532 HAS SOUS 9595 HAS SOUPS 9595 WITH SCORE 9608.532
AT ITER 1947 NEW BEST:: SOT 45265 SOS 13529 HAS SOPS 13529 HAS SOUS 9592 HAS SOUPS 9592 WITH SCORE 9605.529
AT ITER 1951 NEW BEST:: SOT 45228 SOS 13483 HAS SOPS 13483 HAS SOUS 9565 HAS SOUPS 9565 WITH SCORE 9578.483
AT ITER 1995 NEW BEST:: SOT 45224 SOS 13471 HAS SOPS 13471 HAS SOUS 9545 HAS SOUPS 9545 WITH SCORE 9558.471
AT ITER 2039 NEW BEST:: SOT 45225 SOS 13442 HAS SOPS 13442 HAS SOUS 9529 HAS SOUPS 9529 WITH SCORE 9542.442
AT ITER 2042 NEW BEST:: SOT 45211 SOS 13435 HAS SOPS 13435 HAS SOUS 9515 HAS SOUPS 9515 WITH SCORE 9528.435
AT ITER 2060 NEW BEST:: SOT 45208 SOS 13429 HAS SOPS 13429 HAS SOUS 9509 HAS SOUPS 9509 WITH SCORE 9522.429
AT ITER 2104 NEW BEST:: SOT 45206 SOS 13425 HAS SOPS 13425 HAS SOUS 9505 HAS SOUPS 9505 WITH SCORE 9518.425
AT ITER 2124 NEW BEST:: SOT 45249 SOS 13427 HAS SOPS 13427 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9482.427
AT ITER 2133 NEW BEST:: SOT 45233 SOS 13408 HAS SOPS 13408 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9425.408
AT ITER 2140 NEW BEST:: SOT 45231 SOS 13406 HAS SOPS 13406 HAS SOUS 9412 HAS SOUPS 9412 WITH SCORE 9425.406
AT ITER 2148 NEW BEST:: SOT 45157 SOS 13258 HAS SOPS 13258 HAS SOUS 9340 HAS SOUPS 9340 WITH SCORE 9353.258
AT ITER 2170 NEW BEST:: SOT 45131 SOS 13241 HAS SOPS 13241 HAS SOUS 9319 HAS SOUPS 9319 WITH SCORE 9332.241
AT ITER 2174 NEW BEST:: SOT 45115 SOS 13226 HAS SOPS 13226 HAS SOUS 9304 HAS SOUPS 9304 WITH SCORE 9317.226
AT ITER 2194 NEW BEST:: SOT 45112 SOS 13215 HAS SOPS 13215 HAS SOUS 9298 HAS SOUPS 9298 WITH SCORE 9311.215
AT ITER 2208 NEW BEST:: SOT 45067 SOS 13170 HAS SOPS 13170 HAS SOUS 9253 HAS SOUPS 9253 WITH SCORE 9266.17
AT ITER 2214 NEW BEST:: SOT 45062 SOS 13160 HAS SOPS 13160 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9261.16
AT ITER 2229 NEW BEST:: SOT 45062 SOS 13152 HAS SOPS 13152 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9261.152
AT ITER 2239 NEW BEST:: SOT 45058 SOS 13133 HAS SOPS 13133 HAS SOUS 9229 HAS SOUPS 9229 WITH SCORE 9242.133
AT ITER 2245 NEW BEST:: SOT 45053 SOS 13181 HAS SOPS 13181 HAS SOUS 9208 HAS SOUPS 9208 WITH SCORE 9221.181
AT ITER 2267 NEW BEST:: SOT 45053 SOS 13126 HAS SOPS 13126 HAS SOUS 9206 HAS SOUPS 9206 WITH SCORE 9219.126
AT ITER 2283 NEW BEST:: SOT 45043 SOS 13125 HAS SOPS 13125 HAS SOUS 9160 HAS SOUPS 9160 WITH SCORE 9173.125
AT ITER 2288 NEW BEST:: SOT 45031 SOS 13107 HAS SOPS 13107 HAS SOUS 9136 HAS SOUPS 9136 WITH SCORE 9149.107
AT ITER 2308 NEW BEST:: SOT 45002 SOS 13057 HAS SOPS 13057 HAS SOUS 9107 HAS SOUPS 9107 WITH SCORE 9120.057
AT ITER 2322 NEW BEST:: SOT 45006 SOS 13061 HAS SOPS 13061 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9112.061
AT ITER 2327 NEW BEST:: SOT 44998 SOS 13037 HAS SOPS 13037 HAS SOUS 9099 HAS SOUPS 9099 WITH SCORE 9112.037
AT ITER 2333 NEW BEST:: SOT 44976 SOS 13005 HAS SOPS 13005 HAS SOUS 9089 HAS SOUPS 9089 WITH SCORE 9102.005
AT ITER 2346 NEW BEST:: SOT 44976 SOS 12983 HAS SOPS 12983 HAS SOUS 9070 HAS SOUPS 9070 WITH SCORE 9082.983
AT ITER 2363 NEW BEST:: SOT 44958 SOS 12933 HAS SOPS 12933 HAS SOUS 9037 HAS SOUPS 9037 WITH SCORE 9049.933
AT ITER 2388 NEW BEST:: SOT 44894 SOS 12831 HAS SOPS 12831 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8985.831
AT ITER 2394 NEW BEST:: SOT 44894 SOS 12830 HAS SOPS 12830 HAS SOUS 8973 HAS SOUPS 8973 WITH SCORE 8985.83
AT ITER 2402 NEW BEST:: SOT 44874 SOS 12826 HAS SOPS 12826 HAS SOUS 8956 HAS SOUPS 8956 WITH SCORE 8968.826
AT ITER 2422 NEW BEST:: SOT 44860 SOS 12847 HAS SOPS 12847 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8961.847
AT ITER 2436 NEW BEST:: SOT 44860 SOS 12829 HAS SOPS 12829 HAS SOUS 8949 HAS SOUPS 8949 WITH SCORE 8961.829
AT ITER 2447 NEW BEST:: SOT 44847 SOS 12842 HAS SOPS 12842 HAS SOUS 8948 HAS SOUPS 8948 WITH SCORE 8960.842
AT ITER 2459 NEW BEST:: SOT 44847 SOS 12842 HAS SOPS 12842 HAS SOUS 8941 HAS SOUPS 8941 WITH SCORE 8953.842
AT ITER 2462 NEW BEST:: SOT 44817 SOS 12862 HAS SOPS 12862 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8914.862
AT ITER 2557 NEW BEST:: SOT 44817 SOS 12851 HAS SOPS 12851 HAS SOUS 8879 HAS SOUPS 8879 WITH SCORE 8891.851
AT ITER 2567 NEW BEST:: SOT 44803 SOS 12788 HAS SOPS 12788 HAS SOUS 8866 HAS SOUPS 8866 WITH SCORE 8878.788
AT ITER 2574 NEW BEST:: SOT 44801 SOS 12784 HAS SOPS 12784 HAS SOUS 8837 HAS SOUPS 8837 WITH SCORE 8849.784
AT ITER 2602 NEW BEST:: SOT 44800 SOS 12782 HAS SOPS 12782 HAS SOUS 8836 HAS SOUPS 8836 WITH SCORE 8848.782
AT ITER 2613 NEW BEST:: SOT 44755 SOS 12909 HAS SOPS 12909 HAS SOUS 8814 HAS SOUPS 8814 WITH SCORE 8826.909
AT ITER 2654 NEW BEST:: SOT 44753 SOS 12902 HAS SOPS 12902 HAS SOUS 8809 HAS SOUPS 8809 WITH SCORE 8821.902
AT ITER 2668 NEW BEST:: SOT 44753 SOS 12902 HAS SOPS 12902 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8816.902
AT ITER 2759 NEW BEST:: SOT 44748 SOS 12907 HAS SOPS 12907 HAS SOUS 8799 HAS SOUPS 8799 WITH SCORE 8811.907
AT ITER 2769 NEW BEST:: SOT 44736 SOS 12883 HAS SOPS 12883 HAS SOUS 8773 HAS SOUPS 8773 WITH SCORE 8785.883
AT ITER 2797 NEW BEST:: SOT 44736 SOS 12871 HAS SOPS 12871 HAS SOUS 8761 HAS SOUPS 8761 WITH SCORE 8773.871
AT ITER 2800 NEW BEST:: SOT 44735 SOS 12881 HAS SOPS 12881 HAS SOUS 8754 HAS SOUPS 8754 WITH SCORE 8766.881
AT ITER 2821 NEW BEST:: SOT 44722 SOS 12869 HAS SOPS 12869 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8753.869
AT ITER 2836 NEW BEST:: SOT 44721 SOS 12859 HAS SOPS 12859 HAS SOUS 8741 HAS SOUPS 8741 WITH SCORE 8753.859
AT ITER 2853 NEW BEST:: SOT 44749 SOS 12864 HAS SOPS 12864 HAS SOUS 8719 HAS SOUPS 8719 WITH SCORE 8731.864
AT ITER 2857 NEW BEST:: SOT 44745 SOS 12868 HAS SOPS 12868 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8725.868
AT ITER 2878 NEW BEST:: SOT 44741 SOS 12852 HAS SOPS 12852 HAS SOUS 8687 HAS SOUPS 8687 WITH SCORE 8699.852
AT ITER 2879 NEW BEST:: SOT 44730 SOS 12830 HAS SOPS 12830 HAS SOUS 8676 HAS SOUPS 8676 WITH SCORE 8688.83
AT ITER 2912 NEW BEST:: SOT 44727 SOS 12827 HAS SOPS 12827 HAS SOUS 8673 HAS SOUPS 8673 WITH SCORE 8685.827
AT ITER 2916 NEW BEST:: SOT 44727 SOS 12821 HAS SOPS 12821 HAS SOUS 8667 HAS SOUPS 8667 WITH SCORE 8679.821
AT ITER 2921 NEW BEST:: SOT 44760 SOS 12854 HAS SOPS 12854 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8671.854
AT ITER 2923 NEW BEST:: SOT 44727 SOS 12788 HAS SOPS 12788 HAS SOUS 8626 HAS SOUPS 8626 WITH SCORE 8638.788
AT ITER 2939 NEW BEST:: SOT 44727 SOS 12788 HAS SOPS 12788 HAS SOUS 8600 HAS SOUPS 8600 WITH SCORE 8612.788
AT ITER 2985 NEW BEST:: SOT 44722 SOS 12773 HAS SOPS 12773 HAS SOUS 8595 HAS SOUPS 8595 WITH SCORE 8607.773
AT ITER 3006 NEW BEST:: SOT 44722 SOS 12773 HAS SOPS 12773 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8604.773
AT ITER 3036 NEW BEST:: SOT 44717 SOS 12793 HAS SOPS 12793 HAS SOUS 8582 HAS SOUPS 8582 WITH SCORE 8594.793
AT ITER 3060 NEW BEST:: SOT 44716 SOS 12783 HAS SOPS 12783 HAS SOUS 8581 HAS SOUPS 8581 WITH SCORE 8593.783
AT ITER 3068 NEW BEST:: SOT 44716 SOS 12783 HAS SOPS 12783 HAS SOUS 8575 HAS SOUPS 8575 WITH SCORE 8587.783
AT ITER 3069 NEW BEST:: SOT 44706 SOS 12785 HAS SOPS 12785 HAS SOUS 8566 HAS SOUPS 8566 WITH SCORE 8578.785
AT ITER 3094 NEW BEST:: SOT 44686 SOS 12763 HAS SOPS 12763 HAS SOUS 8488 HAS SOUPS 8488 WITH SCORE 8500.763
AT ITER 3108 NEW BEST:: SOT 44681 SOS 12774 HAS SOPS 12774 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8475.774
AT ITER 3109 NEW BEST:: SOT 44681 SOS 12756 HAS SOPS 12756 HAS SOUS 8463 HAS SOUPS 8463 WITH SCORE 8475.756
AT ITER 3113 NEW BEST:: SOT 44649 SOS 12724 HAS SOPS 12724 HAS SOUS 8440 HAS SOUPS 8440 WITH SCORE 8452.724
AT ITER 3133 NEW BEST:: SOT 44639 SOS 12704 HAS SOPS 12704 HAS SOUS 8429 HAS SOUPS 8429 WITH SCORE 8441.704
AT ITER 3147 NEW BEST:: SOT 44626 SOS 12678 HAS SOPS 12678 HAS SOUS 8422 HAS SOUPS 8422 WITH SCORE 8434.678
AT ITER 3154 NEW BEST:: SOT 44621 SOS 12668 HAS SOPS 12668 HAS SOUS 8412 HAS SOUPS 8412 WITH SCORE 8424.668
AT ITER 3158 NEW BEST:: SOT 44618 SOS 12662 HAS SOPS 12662 HAS SOUS 8406 HAS SOUPS 8406 WITH SCORE 8418.662
AT ITER 3171 NEW BEST:: SOT 44618 SOS 12657 HAS SOPS 12657 HAS SOUS 8401 HAS SOUPS 8401 WITH SCORE 8413.657
AT ITER 3240 NEW BEST:: SOT 44617 SOS 12642 HAS SOPS 12642 HAS SOUS 8399 HAS SOUPS 8399 WITH SCORE 8411.642
AT ITER 3242 NEW BEST:: SOT 44617 SOS 12653 HAS SOPS 12653 HAS SOUS 8388 HAS SOUPS 8388 WITH SCORE 8400.653
AT ITER 3243 NEW BEST:: SOT 44617 SOS 12653 HAS SOPS 12653 HAS SOUS 8378 HAS SOUPS 8378 WITH SCORE 8390.653
AT ITER 3247 NEW BEST:: SOT 44617 SOS 12651 HAS SOPS 12651 HAS SOUS 8376 HAS SOUPS 8376 WITH SCORE 8388.651
AT ITER 3249 NEW BEST:: SOT 44614 SOS 12640 HAS SOPS 12640 HAS SOUS 8373 HAS SOUPS 8373 WITH SCORE 8385.64
AT ITER 3264 NEW BEST:: SOT 44609 SOS 12667 HAS SOPS 12667 HAS SOUS 8368 HAS SOUPS 8368 WITH SCORE 8380.667
AT ITER 3317 NEW BEST:: SOT 44596 SOS 12622 HAS SOPS 12622 HAS SOUS 8355 HAS SOUPS 8355 WITH SCORE 8367.622
AT ITER 3323 NEW BEST:: SOT 44598 SOS 12626 HAS SOPS 12626 HAS SOUS 8351 HAS SOUPS 8351 WITH SCORE 8363.626
AT ITER 3335 NEW BEST:: SOT 44598 SOS 12626 HAS SOPS 12626 HAS SOUS 8341 HAS SOUPS 8341 WITH SCORE 8353.626
AT ITER 3348 NEW BEST:: SOT 44584 SOS 12565 HAS SOPS 12565 HAS SOUS 8262 HAS SOUPS 8262 WITH SCORE 8274.565
AT ITER 3409 NEW BEST:: SOT 44584 SOS 12563 HAS SOPS 12563 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8272.563
AT ITER 3488 NEW BEST:: SOT 44628 SOS 12330 HAS SOPS 12330 HAS SOUS 8260 HAS SOUPS 8260 WITH SCORE 8272.33
AT ITER 3528 NEW BEST:: SOT 44622 SOS 12360 HAS SOPS 12360 HAS SOUS 8254 HAS SOUPS 8254 WITH SCORE 8266.36
AT ITER 3569 NEW BEST:: SOT 44592 SOS 12360 HAS SOPS 12360 HAS SOUS 8224 HAS SOUPS 8224 WITH SCORE 8236.36
AT ITER 3572 NEW BEST:: SOT 44588 SOS 12353 HAS SOPS 12353 HAS SOUS 8218 HAS SOUPS 8218 WITH SCORE 8230.353
AT ITER 3590 NEW BEST:: SOT 44582 SOS 12341 HAS SOPS 12341 HAS SOUS 8206 HAS SOUPS 8206 WITH SCORE 8218.341
AT ITER 3647 NEW BEST:: SOT 44611 SOS 12302 HAS SOPS 12302 HAS SOUS 8185 HAS SOUPS 8185 WITH SCORE 8197.302
AT ITER 3700 NEW BEST:: SOT 44611 SOS 12370 HAS SOPS 12370 HAS SOUS 8179 HAS SOUPS 8179 WITH SCORE 8191.37
AT ITER 3711 NEW BEST:: SOT 44603 SOS 12382 HAS SOPS 12382 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8183.382
AT ITER 3724 NEW BEST:: SOT 44603 SOS 12381 HAS SOPS 12381 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8183.381
AT ITER 3757 NEW BEST:: SOT 44594 SOS 12363 HAS SOPS 12363 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8164.363
AT ITER 3817 NEW BEST:: SOT 44594 SOS 12357 HAS SOPS 12357 HAS SOUS 8152 HAS SOUPS 8152 WITH SCORE 8164.357
AT ITER 3822 NEW BEST:: SOT 44593 SOS 12355 HAS SOPS 12355 HAS SOUS 8151 HAS SOUPS 8151 WITH SCORE 8163.355
AT ITER 3834 NEW BEST:: SOT 44593 SOS 12336 HAS SOPS 12336 HAS SOUS 8119 HAS SOUPS 8119 WITH SCORE 8131.336
AT ITER 3842 NEW BEST:: SOT 44597 SOS 12310 HAS SOPS 12310 HAS SOUS 8111 HAS SOUPS 8111 WITH SCORE 8123.31
AT ITER 3843 NEW BEST:: SOT 44578 SOS 12291 HAS SOPS 12291 HAS SOUS 8093 HAS SOUPS 8093 WITH SCORE 8105.291
AT ITER 3845 NEW BEST:: SOT 44574 SOS 12287 HAS SOPS 12287 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8097.287
AT ITER 3859 NEW BEST:: SOT 44565 SOS 12278 HAS SOPS 12278 HAS SOUS 8085 HAS SOUPS 8085 WITH SCORE 8097.278
AT ITER 3883 NEW BEST:: SOT 44565 SOS 12278 HAS SOPS 12278 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8094.278
AT ITER 3941 NEW BEST:: SOT 44565 SOS 12282 HAS SOPS 12282 HAS SOUS 8078 HAS SOUPS 8078 WITH SCORE 8090.282
AT ITER 3945 NEW BEST:: SOT 44565 SOS 12281 HAS SOPS 12281 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8089.281
AT ITER 3967 NEW BEST:: SOT 44565 SOS 12227 HAS SOPS 12227 HAS SOUS 8077 HAS SOUPS 8077 WITH SCORE 8089.227
AT ITER 3993 NEW BEST:: SOT 44566 SOS 12221 HAS SOPS 12221 HAS SOUS 8071 HAS SOUPS 8071 WITH SCORE 8083.221
AT ITER 3997 NEW BEST:: SOT 44565 SOS 12220 HAS SOPS 12220 HAS SOUS 8070 HAS SOUPS 8070 WITH SCORE 8082.22
AT ITER 3998 NEW BEST:: SOT 44548 SOS 12210 HAS SOPS 12210 HAS SOUS 8060 HAS SOUPS 8060 WITH SCORE 8072.21
AT ITER 4000 NEW BEST:: SOT 44541 SOS 12122 HAS SOPS 12122 HAS SOUS 8048 HAS SOUPS 8048 WITH SCORE 8060.122
AT ITER 4074 NEW BEST:: SOT 44539 SOS 12139 HAS SOPS 12139 HAS SOUS 8025 HAS SOUPS 8025 WITH SCORE 8037.139
AT ITER 4106 NEW BEST:: SOT 44539 SOS 12137 HAS SOPS 12137 HAS SOUS 8023 HAS SOUPS 8023 WITH SCORE 8035.137
AT ITER 4108 NEW BEST:: SOT 44525 SOS 12106 HAS SOPS 12106 HAS SOUS 8010 HAS SOUPS 8010 WITH SCORE 8022.106
AT ITER 4121 NEW BEST:: SOT 44589 SOS 12109 HAS SOPS 12109 HAS SOUS 7987 HAS SOUPS 7987 WITH SCORE 7999.109
AT ITER 4165 NEW BEST:: SOT 44589 SOS 12108 HAS SOPS 12108 HAS SOUS 7978 HAS SOUPS 7978 WITH SCORE 7990.108
AT ITER 4166 NEW BEST:: SOT 44598 SOS 12112 HAS SOPS 12112 HAS SOUS 7968 HAS SOUPS 7968 WITH SCORE 7980.112
AT ITER 4176 NEW BEST:: SOT 44602 SOS 12077 HAS SOPS 12077 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7975.077
AT ITER 4178 NEW BEST:: SOT 44616 SOS 12058 HAS SOPS 12058 HAS SOUS 7938 HAS SOUPS 7938 WITH SCORE 7950.058
AT ITER 4238 NEW BEST:: SOT 44622 SOS 12033 HAS SOPS 12033 HAS SOUS 7927 HAS SOUPS 7927 WITH SCORE 7939.033
AT ITER 4283 NEW BEST:: SOT 44622 SOS 12054 HAS SOPS 12054 HAS SOUS 7924 HAS SOUPS 7924 WITH SCORE 7936.054
AT ITER 4287 NEW BEST:: SOT 44609 SOS 12041 HAS SOPS 12041 HAS SOUS 7898 HAS SOUPS 7898 WITH SCORE 7910.041
AT ITER 4300 NEW BEST:: SOT 44609 SOS 12041 HAS SOPS 12041 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7907.041
AT ITER 4305 NEW BEST:: SOT 44609 SOS 12041 HAS SOPS 12041 HAS SOUS 7888 HAS SOUPS 7888 WITH SCORE 7900.041
AT ITER 4315 NEW BEST:: SOT 44583 SOS 12037 HAS SOPS 12037 HAS SOUS 7843 HAS SOUPS 7843 WITH SCORE 7855.037
AT ITER 4371 NEW BEST:: SOT 44577 SOS 12031 HAS SOPS 12031 HAS SOUS 7837 HAS SOUPS 7837 WITH SCORE 7849.031
AT ITER 4380 NEW BEST:: SOT 44567 SOS 12031 HAS SOPS 12031 HAS SOUS 7827 HAS SOUPS 7827 WITH SCORE 7839.031
AT ITER 4383 NEW BEST:: SOT 44567 SOS 12031 HAS SOPS 12031 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7836.031
AT ITER 4385 NEW BEST:: SOT 44565 SOS 12030 HAS SOPS 12030 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7821.03
AT ITER 4394 NEW BEST:: SOT 44563 SOS 12015 HAS SOPS 12015 HAS SOUS 7807 HAS SOUPS 7807 WITH SCORE 7819.015
AT ITER 4397 NEW BEST:: SOT 44561 SOS 12011 HAS SOPS 12011 HAS SOUS 7803 HAS SOUPS 7803 WITH SCORE 7815.011
AT ITER 4417 NEW BEST:: SOT 44556 SOS 12006 HAS SOPS 12006 HAS SOUS 7798 HAS SOUPS 7798 WITH SCORE 7810.006
AT ITER 4434 NEW BEST:: SOT 44571 SOS 12036 HAS SOPS 12036 HAS SOUS 7782 HAS SOUPS 7782 WITH SCORE 7794.036
AT ITER 4478 NEW BEST:: SOT 44569 SOS 12034 HAS SOPS 12034 HAS SOUS 7780 HAS SOUPS 7780 WITH SCORE 7792.034
AT ITER 4547 NEW BEST:: SOT 44558 SOS 12012 HAS SOPS 12012 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7770.012
AT ITER 4602 NEW BEST:: SOT 44561 SOS 11994 HAS SOPS 11994 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7769.994
AT ITER 4606 NEW BEST:: SOT 44561 SOS 11983 HAS SOPS 11983 HAS SOUS 7758 HAS SOUPS 7758 WITH SCORE 7769.983
AT ITER 4610 NEW BEST:: SOT 44554 SOS 11976 HAS SOPS 11976 HAS SOUS 7751 HAS SOUPS 7751 WITH SCORE 7762.976
AT ITER 4637 NEW BEST:: SOT 44552 SOS 11973 HAS SOPS 11973 HAS SOUS 7748 HAS SOUPS 7748 WITH SCORE 7759.973
AT ITER 4659 NEW BEST:: SOT 44541 SOS 11975 HAS SOPS 11975 HAS SOUS 7740 HAS SOUPS 7740 WITH SCORE 7751.975
AT ITER 4707 NEW BEST:: SOT 44562 SOS 11996 HAS SOPS 11996 HAS SOUS 7735 HAS SOUPS 7735 WITH SCORE 7746.996
AT ITER 4749 NEW BEST:: SOT 44561 SOS 11993 HAS SOPS 11993 HAS SOUS 7734 HAS SOUPS 7734 WITH SCORE 7745.993
AT ITER 4773 NEW BEST:: SOT 44579 SOS 12007 HAS SOPS 12007 HAS SOUS 7717 HAS SOUPS 7717 WITH SCORE 7729.007
AT ITER 4785 NEW BEST:: SOT 44579 SOS 11993 HAS SOPS 11993 HAS SOUS 7690 HAS SOUPS 7690 WITH SCORE 7701.993
AT ITER 4806 NEW BEST:: SOT 44587 SOS 12001 HAS SOPS 12001 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7690.001
AT ITER 4813 NEW BEST:: SOT 44576 SOS 11979 HAS SOPS 11979 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7680.979
AT ITER 4815 NEW BEST:: SOT 44576 SOS 11954 HAS SOPS 11954 HAS SOUS 7669 HAS SOUPS 7669 WITH SCORE 7680.954
AT ITER 4825 NEW BEST:: SOT 44581 SOS 11959 HAS SOPS 11959 HAS SOUS 7667 HAS SOUPS 7667 WITH SCORE 7678.959
AT ITER 4857 NEW BEST:: SOT 44502 SOS 12148 HAS SOPS 12148 HAS SOUS 7637 HAS SOUPS 7637 WITH SCORE 7649.148
AT ITER 4876 NEW BEST:: SOT 44502 SOS 12148 HAS SOPS 12148 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7637.148
AT ITER 4977 NEW BEST:: SOT 44476 SOS 12122 HAS SOPS 12122 HAS SOUS 7625 HAS SOUPS 7625 WITH SCORE 7637.122
Bounds file is: CTLFireability.xml
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-00 (AG( (EF( (! ((potential((tk(P174)>=1) & (tk(P157)>=1) & (tk(P250)>=1)))))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-01 (EF( ( (AG( (! ((potential((tk(P189)>=1) & (tk(P266)>=1))))))) | (! ( (! ((potential((tk(P101)>=1))))) | (! ((potential((tk(P55)>=1))))) )) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-02 (EF( ( ( ((potential((tk(P249)>=1)))) & (AG( ((potential((tk(P166)>=1) & (tk(P53)>=1) & (tk(P240)>=1)))))) ) | (AX( ((potential((tk(P127)>=1)))))) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-03 (EG( (EG( (EF( ((potential((tk(P173)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-04 (EF( (AG( ( (! ((potential((tk(P207)>=1))))) & ((potential((tk(P198)>=1)))) )))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-05 (EF( ( (AF( ((potential((tk(P57)>=1)))))) & (AX( ((potential((tk(P100)>=1)))))) )))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-06 (AG( (EF( ((potential((tk(P196)>=1))))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-07 (EX( (EX( (AF( ((potential((tk(P28)>=1))))))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-08 ( (EF( ( (AG( ((potential((tk(P267)>=1)))))) | (AX( ((potential((tk(P75)>=1)))))) ))) | ( ((potential((tk(P48)>=1) & (tk(P254)>=1)))) & (EF( ( (! ((potential((tk(P201)>=1))))) | ( ((potential((tk(P203)>=1)))) & ((potential((tk(P209)>=1)))) ) ))) ) )
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-09 (EU( (! ( ( ((potential((tk(P232)>=1)))) & ((potential((tk(P69)>=1)))) ) | ( ((potential((tk(P112)>=1)))) & ((potential((tk(P162)>=1)))) ) )) , (AX( ( ((potential((tk(P155)>=1)))) & ((potential((tk(P231)>=1)))) ))) ))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-10 (AG( (! (EX( ((potential((tk(P91)>=1) & (tk(P266)>=1)))))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-11 (! (EF( (EF( ( ((potential((tk(P238)>=1)))) | ((potential((tk(P65)>=1)))) ))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-12 ( ( (AX( ( (! ((potential((tk(P41)>=1))))) | (! ((potential((tk(P62)>=1))))) ))) & ( (EF( ( ((potential((tk(P208)>=1)))) & ((potential((tk(P192)>=1) & (tk(P265)>=1)))) ))) | ((potential((tk(P102)>=1)))) ) ) | (AU( (! ((potential((tk(P51)>=1))))) , ( (! ((potential((tk(P12)>=1))))) & ( ((potential((tk(P208)>=1)))) | ((potential((tk(P131)>=1)))) ) ) )) )
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-13 (! (AG( (AF( ((potential((tk(P204)>=1)))))))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-14 (AF( (AG( ( ( ((potential((tk(P71)>=1)))) | ((potential((tk(P88)>=1) & (tk(P266)>=1)))) ) | (! ((potential((tk(P78)>=1))))) )))))
PROPERTY: FlexibleBarrier-PT-04b-CTLFireability-15 ( (EX( (! (EF( ((potential((tk(P17)>=1))))))))) | (EU( (AG( ((potential((tk(P261)>=1)))))) , ( ( ((potential((tk(P198)>=1)))) & ((potential((tk(P202)>=1)))) ) & ( ((potential((tk(P31)>=1)))) & ((potential((tk(P27)>=1)))) ) ) )) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is FlexibleBarrier-PT-04b, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r078-smll-158922972400268"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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