About the Execution of smart for ASLink-PT-02b
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15764.930 | 3600000.00 | 3599990.00 | 0.00 | [undef] | Time out reached |
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.r003-smll-158897508000036.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 ASLink-PT-02b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000036
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 588K
-rw-r--r-- 1 mcc users 3.5K Mar 25 09:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 09:36 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 417K 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 ASLink-PT-02b-CTLFireability-00
FORMULA_NAME ASLink-PT-02b-CTLFireability-01
FORMULA_NAME ASLink-PT-02b-CTLFireability-02
FORMULA_NAME ASLink-PT-02b-CTLFireability-03
FORMULA_NAME ASLink-PT-02b-CTLFireability-04
FORMULA_NAME ASLink-PT-02b-CTLFireability-05
FORMULA_NAME ASLink-PT-02b-CTLFireability-06
FORMULA_NAME ASLink-PT-02b-CTLFireability-07
FORMULA_NAME ASLink-PT-02b-CTLFireability-08
FORMULA_NAME ASLink-PT-02b-CTLFireability-09
FORMULA_NAME ASLink-PT-02b-CTLFireability-10
FORMULA_NAME ASLink-PT-02b-CTLFireability-11
FORMULA_NAME ASLink-PT-02b-CTLFireability-12
FORMULA_NAME ASLink-PT-02b-CTLFireability-13
FORMULA_NAME ASLink-PT-02b-CTLFireability-14
FORMULA_NAME ASLink-PT-02b-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1589000209756
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 02b
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: 1242 places, 1621 transitions, 5041 arcs.
AT ITER 0 NEW BEST:: SOT 1196856 SOS 402698 HAS SOPS 402698 HAS SOUS 312631 HAS SOUPS 312631 WITH SCORE 313033.698
AT ITER 10 NEW BEST:: SOT 1196856 SOS 402617 HAS SOPS 402617 HAS SOUS 312631 HAS SOUPS 312631 WITH SCORE 313033.617
AT ITER 32 NEW BEST:: SOT 1196760 SOS 402509 HAS SOPS 402509 HAS SOUS 312523 HAS SOUPS 312523 WITH SCORE 312925.509
AT ITER 45 NEW BEST:: SOT 1196041 SOS 402209 HAS SOPS 402209 HAS SOUS 312047 HAS SOUPS 312047 WITH SCORE 312449.209
AT ITER 49 NEW BEST:: SOT 1196041 SOS 402105 HAS SOPS 402105 HAS SOUS 312046 HAS SOUPS 312046 WITH SCORE 312448.105
AT ITER 60 NEW BEST:: SOT 1195952 SOS 402080 HAS SOPS 402080 HAS SOUS 312021 HAS SOUPS 312021 WITH SCORE 312423.08
AT ITER 65 NEW BEST:: SOT 1195796 SOS 401768 HAS SOPS 401768 HAS SOUS 311840 HAS SOUPS 311840 WITH SCORE 312241.768
AT ITER 75 NEW BEST:: SOT 1195795 SOS 401590 HAS SOPS 401590 HAS SOUS 311691 HAS SOUPS 311691 WITH SCORE 312092.59
AT ITER 93 NEW BEST:: SOT 1195616 SOS 401092 HAS SOPS 401092 HAS SOUS 311385 HAS SOUPS 311385 WITH SCORE 311786.092
AT ITER 104 NEW BEST:: SOT 1195616 SOS 401057 HAS SOPS 401057 HAS SOUS 311384 HAS SOUPS 311384 WITH SCORE 311785.057
AT ITER 128 NEW BEST:: SOT 1195172 SOS 400613 HAS SOPS 400613 HAS SOUS 310939 HAS SOUPS 310939 WITH SCORE 311339.613
AT ITER 135 NEW BEST:: SOT 1195047 SOS 400389 HAS SOPS 400389 HAS SOUS 310715 HAS SOUPS 310715 WITH SCORE 311115.389
AT ITER 136 NEW BEST:: SOT 1194953 SOS 400109 HAS SOPS 400109 HAS SOUS 310435 HAS SOUPS 310435 WITH SCORE 310835.109
AT ITER 140 NEW BEST:: SOT 1194822 SOS 399667 HAS SOPS 399667 HAS SOUS 308460 HAS SOUPS 308460 WITH SCORE 308859.667
AT ITER 143 NEW BEST:: SOT 1194706 SOS 399299 HAS SOPS 399299 HAS SOUS 308171 HAS SOUPS 308171 WITH SCORE 308570.299
AT ITER 155 NEW BEST:: SOT 1194579 SOS 399171 HAS SOPS 399171 HAS SOUS 308034 HAS SOUPS 308034 WITH SCORE 308433.171
AT ITER 157 NEW BEST:: SOT 1194318 SOS 398813 HAS SOPS 398813 HAS SOUS 307753 HAS SOUPS 307753 WITH SCORE 308151.813
AT ITER 161 NEW BEST:: SOT 1194318 SOS 398686 HAS SOPS 398686 HAS SOUS 307626 HAS SOUPS 307626 WITH SCORE 308024.686
AT ITER 167 NEW BEST:: SOT 1194293 SOS 398594 HAS SOPS 398594 HAS SOUS 307599 HAS SOUPS 307599 WITH SCORE 307997.594
AT ITER 180 NEW BEST:: SOT 1194186 SOS 399085 HAS SOPS 399085 HAS SOUS 307485 HAS SOUPS 307485 WITH SCORE 307884.085
AT ITER 183 NEW BEST:: SOT 1194147 SOS 399007 HAS SOPS 399007 HAS SOUS 307407 HAS SOUPS 307407 WITH SCORE 307806.007
AT ITER 186 NEW BEST:: SOT 1193370 SOS 398119 HAS SOPS 398119 HAS SOUS 307296 HAS SOUPS 307296 WITH SCORE 307694.119
AT ITER 190 NEW BEST:: SOT 1193126 SOS 397875 HAS SOPS 397875 HAS SOUS 307052 HAS SOUPS 307052 WITH SCORE 307449.875
AT ITER 199 NEW BEST:: SOT 1192118 SOS 405514 HAS SOPS 405514 HAS SOUS 306676 HAS SOUPS 306676 WITH SCORE 307081.514
AT ITER 200 NEW BEST:: SOT 1191342 SOS 405079 HAS SOPS 405079 HAS SOUS 305961 HAS SOUPS 305961 WITH SCORE 306366.079
AT ITER 208 NEW BEST:: SOT 1191320 SOS 405111 HAS SOPS 405111 HAS SOUS 305939 HAS SOUPS 305939 WITH SCORE 306344.111
AT ITER 224 NEW BEST:: SOT 1191320 SOS 405107 HAS SOPS 405107 HAS SOUS 305935 HAS SOUPS 305935 WITH SCORE 306340.107
AT ITER 227 NEW BEST:: SOT 1191305 SOS 405092 HAS SOPS 405092 HAS SOUS 305920 HAS SOUPS 305920 WITH SCORE 306325.092
AT ITER 233 NEW BEST:: SOT 1191305 SOS 404936 HAS SOPS 404936 HAS SOUS 305842 HAS SOUPS 305842 WITH SCORE 306246.936
AT ITER 242 NEW BEST:: SOT 1191252 SOS 404883 HAS SOPS 404883 HAS SOUS 305815 HAS SOUPS 305815 WITH SCORE 306219.883
AT ITER 247 NEW BEST:: SOT 1190160 SOS 403609 HAS SOPS 403609 HAS SOUS 304719 HAS SOUPS 304719 WITH SCORE 305122.609
AT ITER 258 NEW BEST:: SOT 1189246 SOS 405888 HAS SOPS 405888 HAS SOUS 304260 HAS SOUPS 304260 WITH SCORE 304665.888
AT ITER 263 NEW BEST:: SOT 1189170 SOS 405884 HAS SOPS 405884 HAS SOUS 304182 HAS SOUPS 304182 WITH SCORE 304587.884
AT ITER 278 NEW BEST:: SOT 1188349 SOS 405348 HAS SOPS 405348 HAS SOUS 303410 HAS SOUPS 303410 WITH SCORE 303815.348
AT ITER 282 NEW BEST:: SOT 1187645 SOS 404644 HAS SOPS 404644 HAS SOUS 302830 HAS SOUPS 302830 WITH SCORE 303234.644
AT ITER 284 NEW BEST:: SOT 1187407 SOS 404300 HAS SOPS 404300 HAS SOUS 302475 HAS SOUPS 302475 WITH SCORE 302879.3
AT ITER 310 NEW BEST:: SOT 1187407 SOS 404358 HAS SOPS 404358 HAS SOUS 302439 HAS SOUPS 302439 WITH SCORE 302843.358
AT ITER 320 NEW BEST:: SOT 1186767 SOS 403716 HAS SOPS 403716 HAS SOUS 301957 HAS SOUPS 301957 WITH SCORE 302360.716
AT ITER 324 NEW BEST:: SOT 1186766 SOS 403648 HAS SOPS 403648 HAS SOUS 301955 HAS SOUPS 301955 WITH SCORE 302358.648
AT ITER 338 NEW BEST:: SOT 1186615 SOS 403648 HAS SOPS 403648 HAS SOUS 301803 HAS SOUPS 301803 WITH SCORE 302206.648
AT ITER 363 NEW BEST:: SOT 1186212 SOS 403551 HAS SOPS 403551 HAS SOUS 301642 HAS SOUPS 301642 WITH SCORE 302045.551
AT ITER 367 NEW BEST:: SOT 1186212 SOS 403494 HAS SOPS 403494 HAS SOUS 301585 HAS SOUPS 301585 WITH SCORE 301988.494
AT ITER 376 NEW BEST:: SOT 1186110 SOS 403372 HAS SOPS 403372 HAS SOUS 301483 HAS SOUPS 301483 WITH SCORE 301886.372
AT ITER 378 NEW BEST:: SOT 1186110 SOS 403274 HAS SOPS 403274 HAS SOUS 301483 HAS SOUPS 301483 WITH SCORE 301886.274
AT ITER 385 NEW BEST:: SOT 1186159 SOS 403037 HAS SOPS 403037 HAS SOUS 301482 HAS SOUPS 301482 WITH SCORE 301885.037
AT ITER 390 NEW BEST:: SOT 1186159 SOS 402992 HAS SOPS 402992 HAS SOUS 301481 HAS SOUPS 301481 WITH SCORE 301883.992
AT ITER 401 NEW BEST:: SOT 1186029 SOS 402722 HAS SOPS 402722 HAS SOUS 301340 HAS SOUPS 301340 WITH SCORE 301742.722
AT ITER 404 NEW BEST:: SOT 1186029 SOS 402634 HAS SOPS 402634 HAS SOUS 301338 HAS SOUPS 301338 WITH SCORE 301740.634
AT ITER 416 NEW BEST:: SOT 1185863 SOS 402302 HAS SOPS 402302 HAS SOUS 301304 HAS SOUPS 301304 WITH SCORE 301706.302
AT ITER 423 NEW BEST:: SOT 1183991 SOS 401137 HAS SOPS 401137 HAS SOUS 299483 HAS SOUPS 299483 WITH SCORE 299884.137
AT ITER 440 NEW BEST:: SOT 1183990 SOS 401052 HAS SOPS 401052 HAS SOUS 299424 HAS SOUPS 299424 WITH SCORE 299825.052
AT ITER 447 NEW BEST:: SOT 1183975 SOS 401022 HAS SOPS 401022 HAS SOUS 299393 HAS SOUPS 299393 WITH SCORE 299794.022
AT ITER 455 NEW BEST:: SOT 1182807 SOS 399854 HAS SOPS 399854 HAS SOUS 299174 HAS SOUPS 299174 WITH SCORE 299573.854
AT ITER 459 NEW BEST:: SOT 1182748 SOS 399795 HAS SOPS 399795 HAS SOUS 299113 HAS SOUPS 299113 WITH SCORE 299512.795
AT ITER 460 NEW BEST:: SOT 1182680 SOS 399794 HAS SOPS 399794 HAS SOUS 299112 HAS SOUPS 299112 WITH SCORE 299511.794
AT ITER 467 NEW BEST:: SOT 1182679 SOS 399992 HAS SOPS 399992 HAS SOUS 298926 HAS SOUPS 298926 WITH SCORE 299325.992
AT ITER 479 NEW BEST:: SOT 1182687 SOS 399818 HAS SOPS 399818 HAS SOUS 298752 HAS SOUPS 298752 WITH SCORE 299151.818
AT ITER 484 NEW BEST:: SOT 1182687 SOS 399797 HAS SOPS 399797 HAS SOUS 298751 HAS SOUPS 298751 WITH SCORE 299150.797
AT ITER 492 NEW BEST:: SOT 1182047 SOS 399209 HAS SOPS 399209 HAS SOUS 298683 HAS SOUPS 298683 WITH SCORE 299082.209
AT ITER 498 NEW BEST:: SOT 1182047 SOS 399206 HAS SOPS 399206 HAS SOUS 298680 HAS SOUPS 298680 WITH SCORE 299079.206
AT ITER 516 NEW BEST:: SOT 1182047 SOS 399184 HAS SOPS 399184 HAS SOUS 298678 HAS SOUPS 298678 WITH SCORE 299077.184
AT ITER 535 NEW BEST:: SOT 1182009 SOS 398994 HAS SOPS 398994 HAS SOUS 298602 HAS SOUPS 298602 WITH SCORE 299000.994
AT ITER 536 NEW BEST:: SOT 1181909 SOS 398828 HAS SOPS 398828 HAS SOUS 298436 HAS SOUPS 298436 WITH SCORE 298834.828
AT ITER 540 NEW BEST:: SOT 1181839 SOS 398688 HAS SOPS 398688 HAS SOUS 298365 HAS SOUPS 298365 WITH SCORE 298763.688
AT ITER 543 NEW BEST:: SOT 1181839 SOS 398646 HAS SOPS 398646 HAS SOUS 298327 HAS SOUPS 298327 WITH SCORE 298725.646
AT ITER 548 NEW BEST:: SOT 1181682 SOS 398489 HAS SOPS 398489 HAS SOUS 298013 HAS SOUPS 298013 WITH SCORE 298411.489
AT ITER 550 NEW BEST:: SOT 1181535 SOS 398293 HAS SOPS 398293 HAS SOUS 297866 HAS SOUPS 297866 WITH SCORE 298264.293
AT ITER 553 NEW BEST:: SOT 1181397 SOS 399121 HAS SOPS 399121 HAS SOUS 297590 HAS SOUPS 297590 WITH SCORE 297989.121
AT ITER 560 NEW BEST:: SOT 1181477 SOS 398941 HAS SOPS 398941 HAS SOUS 297382 HAS SOUPS 297382 WITH SCORE 297780.941
AT ITER 568 NEW BEST:: SOT 1181347 SOS 398714 HAS SOPS 398714 HAS SOUS 297251 HAS SOUPS 297251 WITH SCORE 297649.714
AT ITER 574 NEW BEST:: SOT 1181347 SOS 398712 HAS SOPS 398712 HAS SOUS 297249 HAS SOUPS 297249 WITH SCORE 297647.712
AT ITER 575 NEW BEST:: SOT 1181249 SOS 398625 HAS SOPS 398625 HAS SOUS 297239 HAS SOUPS 297239 WITH SCORE 297637.625
AT ITER 586 NEW BEST:: SOT 1181053 SOS 398437 HAS SOPS 398437 HAS SOUS 297109 HAS SOUPS 297109 WITH SCORE 297507.437
AT ITER 596 NEW BEST:: SOT 1180912 SOS 398112 HAS SOPS 398112 HAS SOUS 296924 HAS SOUPS 296924 WITH SCORE 297322.112
AT ITER 597 NEW BEST:: SOT 1180784 SOS 396209 HAS SOPS 396209 HAS SOUS 296668 HAS SOUPS 296668 WITH SCORE 297064.209
AT ITER 611 NEW BEST:: SOT 1180477 SOS 396195 HAS SOPS 396195 HAS SOUS 296399 HAS SOUPS 296399 WITH SCORE 296795.195
AT ITER 619 NEW BEST:: SOT 1180213 SOS 395931 HAS SOPS 395931 HAS SOUS 296135 HAS SOUPS 296135 WITH SCORE 296530.931
AT ITER 631 NEW BEST:: SOT 1179962 SOS 395679 HAS SOPS 395679 HAS SOUS 295883 HAS SOUPS 295883 WITH SCORE 296278.679
AT ITER 640 NEW BEST:: SOT 1179961 SOS 395665 HAS SOPS 395665 HAS SOUS 295839 HAS SOUPS 295839 WITH SCORE 296234.665
AT ITER 647 NEW BEST:: SOT 1179799 SOS 393559 HAS SOPS 393559 HAS SOUS 295515 HAS SOUPS 295515 WITH SCORE 295908.559
AT ITER 653 NEW BEST:: SOT 1179409 SOS 394173 HAS SOPS 394173 HAS SOUS 295492 HAS SOUPS 295492 WITH SCORE 295886.173
AT ITER 654 NEW BEST:: SOT 1179186 SOS 393753 HAS SOPS 393753 HAS SOUS 295261 HAS SOUPS 295261 WITH SCORE 295654.753
AT ITER 664 NEW BEST:: SOT 1179277 SOS 393480 HAS SOPS 393480 HAS SOUS 295261 HAS SOUPS 295261 WITH SCORE 295654.48
AT ITER 667 NEW BEST:: SOT 1179286 SOS 393451 HAS SOPS 393451 HAS SOUS 295232 HAS SOUPS 295232 WITH SCORE 295625.451
AT ITER 680 NEW BEST:: SOT 1179283 SOS 393445 HAS SOPS 393445 HAS SOUS 295205 HAS SOUPS 295205 WITH SCORE 295598.445
AT ITER 699 NEW BEST:: SOT 1179145 SOS 393100 HAS SOPS 393100 HAS SOUS 294918 HAS SOUPS 294918 WITH SCORE 295311.1
AT ITER 704 NEW BEST:: SOT 1179145 SOS 392769 HAS SOPS 392769 HAS SOUS 294839 HAS SOUPS 294839 WITH SCORE 295231.769
AT ITER 706 NEW BEST:: SOT 1179047 SOS 392060 HAS SOPS 392060 HAS SOUS 294544 HAS SOUPS 294544 WITH SCORE 294936.06
AT ITER 711 NEW BEST:: SOT 1179176 SOS 392407 HAS SOPS 392407 HAS SOUS 294297 HAS SOUPS 294297 WITH SCORE 294689.407
AT ITER 721 NEW BEST:: SOT 1179072 SOS 392188 HAS SOPS 392188 HAS SOUS 294193 HAS SOUPS 294193 WITH SCORE 294585.188
AT ITER 722 NEW BEST:: SOT 1178927 SOS 391725 HAS SOPS 391725 HAS SOUS 294137 HAS SOUPS 294137 WITH SCORE 294528.725
AT ITER 726 NEW BEST:: SOT 1178869 SOS 391609 HAS SOPS 391609 HAS SOUS 294021 HAS SOUPS 294021 WITH SCORE 294412.609
AT ITER 731 NEW BEST:: SOT 1178826 SOS 385558 HAS SOPS 385558 HAS SOUS 293619 HAS SOUPS 293619 WITH SCORE 294004.558
AT ITER 740 NEW BEST:: SOT 1177242 SOS 385239 HAS SOPS 385239 HAS SOUS 292365 HAS SOUPS 292365 WITH SCORE 292750.239
AT ITER 791 NEW BEST:: SOT 1177235 SOS 385278 HAS SOPS 385278 HAS SOUS 292358 HAS SOUPS 292358 WITH SCORE 292743.278
AT ITER 810 NEW BEST:: SOT 1177225 SOS 385239 HAS SOPS 385239 HAS SOUS 292348 HAS SOUPS 292348 WITH SCORE 292733.239
AT ITER 813 NEW BEST:: SOT 1177130 SOS 385144 HAS SOPS 385144 HAS SOUS 292253 HAS SOUPS 292253 WITH SCORE 292638.144
AT ITER 814 NEW BEST:: SOT 1177105 SOS 385094 HAS SOPS 385094 HAS SOUS 292216 HAS SOUPS 292216 WITH SCORE 292601.094
AT ITER 815 NEW BEST:: SOT 1174508 SOS 382638 HAS SOPS 382638 HAS SOUS 292077 HAS SOUPS 292077 WITH SCORE 292459.638
AT ITER 820 NEW BEST:: SOT 1174493 SOS 382608 HAS SOPS 382608 HAS SOUS 292062 HAS SOUPS 292062 WITH SCORE 292444.608
AT ITER 827 NEW BEST:: SOT 1174467 SOS 382556 HAS SOPS 382556 HAS SOUS 292010 HAS SOUPS 292010 WITH SCORE 292392.556
AT ITER 829 NEW BEST:: SOT 1173832 SOS 381831 HAS SOPS 381831 HAS SOUS 291285 HAS SOUPS 291285 WITH SCORE 291666.831
AT ITER 862 NEW BEST:: SOT 1173995 SOS 383438 HAS SOPS 383438 HAS SOUS 290903 HAS SOUPS 290903 WITH SCORE 291286.438
AT ITER 873 NEW BEST:: SOT 1173995 SOS 383421 HAS SOPS 383421 HAS SOUS 290886 HAS SOUPS 290886 WITH SCORE 291269.421
AT ITER 875 NEW BEST:: SOT 1173569 SOS 383124 HAS SOPS 383124 HAS SOUS 290492 HAS SOUPS 290492 WITH SCORE 290875.124
AT ITER 881 NEW BEST:: SOT 1173396 SOS 382951 HAS SOPS 382951 HAS SOUS 290319 HAS SOUPS 290319 WITH SCORE 290701.951
AT ITER 888 NEW BEST:: SOT 1172814 SOS 383044 HAS SOPS 383044 HAS SOUS 289904 HAS SOUPS 289904 WITH SCORE 290287.044
AT ITER 891 NEW BEST:: SOT 1172813 SOS 383042 HAS SOPS 383042 HAS SOUS 289902 HAS SOUPS 289902 WITH SCORE 290285.042
AT ITER 894 NEW BEST:: SOT 1172586 SOS 382691 HAS SOPS 382691 HAS SOUS 289551 HAS SOUPS 289551 WITH SCORE 289933.691
AT ITER 903 NEW BEST:: SOT 1172586 SOS 382680 HAS SOPS 382680 HAS SOUS 289540 HAS SOUPS 289540 WITH SCORE 289922.68
AT ITER 942 NEW BEST:: SOT 1172559 SOS 382653 HAS SOPS 382653 HAS SOUS 289538 HAS SOUPS 289538 WITH SCORE 289920.653
AT ITER 944 NEW BEST:: SOT 1172559 SOS 382601 HAS SOPS 382601 HAS SOUS 289538 HAS SOUPS 289538 WITH SCORE 289920.601
AT ITER 946 NEW BEST:: SOT 1172559 SOS 381754 HAS SOPS 381754 HAS SOUS 289417 HAS SOUPS 289417 WITH SCORE 289798.754
AT ITER 954 NEW BEST:: SOT 1172640 SOS 381900 HAS SOPS 381900 HAS SOUS 287345 HAS SOUPS 287345 WITH SCORE 287726.9
AT ITER 962 NEW BEST:: SOT 1172620 SOS 381868 HAS SOPS 381868 HAS SOUS 287313 HAS SOUPS 287313 WITH SCORE 287694.868
AT ITER 973 NEW BEST:: SOT 1172433 SOS 381700 HAS SOPS 381700 HAS SOUS 287143 HAS SOUPS 287143 WITH SCORE 287524.7
AT ITER 979 NEW BEST:: SOT 1172433 SOS 381700 HAS SOPS 381700 HAS SOUS 287123 HAS SOUPS 287123 WITH SCORE 287504.7
AT ITER 990 NEW BEST:: SOT 1172421 SOS 381682 HAS SOPS 381682 HAS SOUS 287105 HAS SOUPS 287105 WITH SCORE 287486.682
AT ITER 999 NEW BEST:: SOT 1173372 SOS 382722 HAS SOPS 382722 HAS SOUS 286401 HAS SOUPS 286401 WITH SCORE 286783.722
AT ITER 1004 NEW BEST:: SOT 1173265 SOS 382508 HAS SOPS 382508 HAS SOUS 286294 HAS SOUPS 286294 WITH SCORE 286676.508
AT ITER 1010 NEW BEST:: SOT 1173171 SOS 382298 HAS SOPS 382298 HAS SOUS 286084 HAS SOUPS 286084 WITH SCORE 286466.298
AT ITER 1048 NEW BEST:: SOT 1176666 SOS 385700 HAS SOPS 385700 HAS SOUS 284608 HAS SOUPS 284608 WITH SCORE 284993.7
AT ITER 1058 NEW BEST:: SOT 1176662 SOS 385652 HAS SOPS 385652 HAS SOUS 284584 HAS SOUPS 284584 WITH SCORE 284969.652
AT ITER 1069 NEW BEST:: SOT 1176603 SOS 385534 HAS SOPS 385534 HAS SOUS 284525 HAS SOUPS 284525 WITH SCORE 284910.534
AT ITER 1077 NEW BEST:: SOT 1176596 SOS 385527 HAS SOPS 385527 HAS SOUS 284518 HAS SOUPS 284518 WITH SCORE 284903.527
AT ITER 1079 NEW BEST:: SOT 1176596 SOS 385478 HAS SOPS 385478 HAS SOUS 284469 HAS SOUPS 284469 WITH SCORE 284854.478
AT ITER 1083 NEW BEST:: SOT 1176577 SOS 385260 HAS SOPS 385260 HAS SOUS 281651 HAS SOUPS 281651 WITH SCORE 282036.26
AT ITER 1088 NEW BEST:: SOT 1176555 SOS 385238 HAS SOPS 385238 HAS SOUS 281629 HAS SOUPS 281629 WITH SCORE 282014.238
AT ITER 1093 NEW BEST:: SOT 1176566 SOS 385269 HAS SOPS 385269 HAS SOUS 281615 HAS SOUPS 281615 WITH SCORE 282000.269
AT ITER 1102 NEW BEST:: SOT 1174987 SOS 384390 HAS SOPS 384390 HAS SOUS 280113 HAS SOUPS 280113 WITH SCORE 280497.39
AT ITER 1123 NEW BEST:: SOT 1174836 SOS 384075 HAS SOPS 384075 HAS SOUS 279961 HAS SOUPS 279961 WITH SCORE 280345.075
AT ITER 1129 NEW BEST:: SOT 1174797 SOS 384071 HAS SOPS 384071 HAS SOUS 279956 HAS SOUPS 279956 WITH SCORE 280340.071
AT ITER 1131 NEW BEST:: SOT 1174796 SOS 384069 HAS SOPS 384069 HAS SOUS 279954 HAS SOUPS 279954 WITH SCORE 280338.069
AT ITER 1140 NEW BEST:: SOT 1174624 SOS 384084 HAS SOPS 384084 HAS SOUS 279929 HAS SOUPS 279929 WITH SCORE 280313.084
AT ITER 1143 NEW BEST:: SOT 1174624 SOS 383955 HAS SOPS 383955 HAS SOUS 279547 HAS SOUPS 279547 WITH SCORE 279930.955
AT ITER 1154 NEW BEST:: SOT 1174556 SOS 383955 HAS SOPS 383955 HAS SOUS 279479 HAS SOUPS 279479 WITH SCORE 279862.955
AT ITER 1157 NEW BEST:: SOT 1174533 SOS 383986 HAS SOPS 383986 HAS SOUS 279470 HAS SOUPS 279470 WITH SCORE 279853.986
AT ITER 1165 NEW BEST:: SOT 1173936 SOS 383389 HAS SOPS 383389 HAS SOUS 279072 HAS SOUPS 279072 WITH SCORE 279455.389
AT ITER 1169 NEW BEST:: SOT 1173647 SOS 383038 HAS SOPS 383038 HAS SOUS 278779 HAS SOUPS 278779 WITH SCORE 279162.038
AT ITER 1183 NEW BEST:: SOT 1172494 SOS 384867 HAS SOPS 384867 HAS SOUS 278028 HAS SOUPS 278028 WITH SCORE 278412.867
AT ITER 1185 NEW BEST:: SOT 1172377 SOS 384656 HAS SOPS 384656 HAS SOUS 277936 HAS SOUPS 277936 WITH SCORE 278320.656
AT ITER 1204 NEW BEST:: SOT 1172316 SOS 384534 HAS SOPS 384534 HAS SOUS 277814 HAS SOUPS 277814 WITH SCORE 278198.534
AT ITER 1206 NEW BEST:: SOT 1172315 SOS 384533 HAS SOPS 384533 HAS SOUS 277812 HAS SOUPS 277812 WITH SCORE 278196.533
AT ITER 1222 NEW BEST:: SOT 1172315 SOS 384826 HAS SOPS 384826 HAS SOUS 277804 HAS SOUPS 277804 WITH SCORE 278188.826
AT ITER 1235 NEW BEST:: SOT 1172314 SOS 383844 HAS SOPS 383844 HAS SOUS 277802 HAS SOUPS 277802 WITH SCORE 278185.844
AT ITER 1238 NEW BEST:: SOT 1172199 SOS 383729 HAS SOPS 383729 HAS SOUS 277687 HAS SOUPS 277687 WITH SCORE 278070.729
AT ITER 1270 NEW BEST:: SOT 1172129 SOS 383671 HAS SOPS 383671 HAS SOUS 277629 HAS SOUPS 277629 WITH SCORE 278012.671
AT ITER 1287 NEW BEST:: SOT 1172027 SOS 383015 HAS SOPS 383015 HAS SOUS 277489 HAS SOUPS 277489 WITH SCORE 277872.015
AT ITER 1292 NEW BEST:: SOT 1171994 SOS 382991 HAS SOPS 382991 HAS SOUS 277465 HAS SOUPS 277465 WITH SCORE 277847.991
AT ITER 1317 NEW BEST:: SOT 1171993 SOS 382332 HAS SOPS 382332 HAS SOUS 277314 HAS SOUPS 277314 WITH SCORE 277696.332
AT ITER 1326 NEW BEST:: SOT 1171992 SOS 382330 HAS SOPS 382330 HAS SOUS 277312 HAS SOUPS 277312 WITH SCORE 277694.33
AT ITER 1328 NEW BEST:: SOT 1171835 SOS 382328 HAS SOPS 382328 HAS SOUS 277155 HAS SOUPS 277155 WITH SCORE 277537.328
AT ITER 1329 NEW BEST:: SOT 1171818 SOS 382243 HAS SOPS 382243 HAS SOUS 277104 HAS SOUPS 277104 WITH SCORE 277486.243
AT ITER 1330 NEW BEST:: SOT 1171780 SOS 382075 HAS SOPS 382075 HAS SOUS 277028 HAS SOUPS 277028 WITH SCORE 277410.075
AT ITER 1339 NEW BEST:: SOT 1171786 SOS 382028 HAS SOPS 382028 HAS SOUS 276979 HAS SOUPS 276979 WITH SCORE 277361.028
AT ITER 1341 NEW BEST:: SOT 1171771 SOS 382012 HAS SOPS 382012 HAS SOUS 276936 HAS SOUPS 276936 WITH SCORE 277318.012
AT ITER 1369 NEW BEST:: SOT 1171736 SOS 381940 HAS SOPS 381940 HAS SOUS 276754 HAS SOUPS 276754 WITH SCORE 277135.94
AT ITER 1371 NEW BEST:: SOT 1171848 SOS 382108 HAS SOPS 382108 HAS SOUS 276589 HAS SOUPS 276589 WITH SCORE 276971.108
AT ITER 1397 NEW BEST:: SOT 1171848 SOS 382073 HAS SOPS 382073 HAS SOUS 276519 HAS SOUPS 276519 WITH SCORE 276901.073
AT ITER 1409 NEW BEST:: SOT 1171777 SOS 381931 HAS SOPS 381931 HAS SOUS 276377 HAS SOUPS 276377 WITH SCORE 276758.931
AT ITER 1410 NEW BEST:: SOT 1171746 SOS 381869 HAS SOPS 381869 HAS SOUS 276315 HAS SOUPS 276315 WITH SCORE 276696.869
AT ITER 1418 NEW BEST:: SOT 1171746 SOS 381853 HAS SOPS 381853 HAS SOUS 276299 HAS SOUPS 276299 WITH SCORE 276680.853
AT ITER 1445 NEW BEST:: SOT 1171716 SOS 381793 HAS SOPS 381793 HAS SOUS 276269 HAS SOUPS 276269 WITH SCORE 276650.793
AT ITER 1470 NEW BEST:: SOT 1171681 SOS 381726 HAS SOPS 381726 HAS SOUS 276202 HAS SOUPS 276202 WITH SCORE 276583.726
AT ITER 1489 NEW BEST:: SOT 1171676 SOS 381721 HAS SOPS 381721 HAS SOUS 276192 HAS SOUPS 276192 WITH SCORE 276573.721
AT ITER 1493 NEW BEST:: SOT 1171639 SOS 381711 HAS SOPS 381711 HAS SOUS 276187 HAS SOUPS 276187 WITH SCORE 276568.711
AT ITER 1496 NEW BEST:: SOT 1171638 SOS 381709 HAS SOPS 381709 HAS SOUS 276185 HAS SOUPS 276185 WITH SCORE 276566.709
AT ITER 1497 NEW BEST:: SOT 1171629 SOS 381691 HAS SOPS 381691 HAS SOUS 276167 HAS SOUPS 276167 WITH SCORE 276548.691
AT ITER 1502 NEW BEST:: SOT 1171628 SOS 381670 HAS SOPS 381670 HAS SOUS 276145 HAS SOUPS 276145 WITH SCORE 276526.67
AT ITER 1510 NEW BEST:: SOT 1171628 SOS 381535 HAS SOPS 381535 HAS SOUS 276010 HAS SOUPS 276010 WITH SCORE 276391.535
AT ITER 1523 NEW BEST:: SOT 1171593 SOS 381465 HAS SOPS 381465 HAS SOUS 275940 HAS SOUPS 275940 WITH SCORE 276321.465
AT ITER 1553 NEW BEST:: SOT 1171593 SOS 381463 HAS SOPS 381463 HAS SOUS 275938 HAS SOUPS 275938 WITH SCORE 276319.463
AT ITER 1576 NEW BEST:: SOT 1171593 SOS 381335 HAS SOPS 381335 HAS SOUS 275810 HAS SOUPS 275810 WITH SCORE 276191.335
AT ITER 1594 NEW BEST:: SOT 1171354 SOS 381061 HAS SOPS 381061 HAS SOUS 275359 HAS SOUPS 275359 WITH SCORE 275740.061
AT ITER 1595 NEW BEST:: SOT 1171352 SOS 381059 HAS SOPS 381059 HAS SOUS 275357 HAS SOUPS 275357 WITH SCORE 275738.059
AT ITER 1615 NEW BEST:: SOT 1171180 SOS 380704 HAS SOPS 380704 HAS SOUS 275263 HAS SOUPS 275263 WITH SCORE 275643.704
AT ITER 1624 NEW BEST:: SOT 1171020 SOS 380058 HAS SOPS 380058 HAS SOUS 275229 HAS SOUPS 275229 WITH SCORE 275609.058
AT ITER 1626 NEW BEST:: SOT 1171020 SOS 380056 HAS SOPS 380056 HAS SOUS 275227 HAS SOUPS 275227 WITH SCORE 275607.056
AT ITER 1633 NEW BEST:: SOT 1171020 SOS 380041 HAS SOPS 380041 HAS SOUS 275226 HAS SOUPS 275226 WITH SCORE 275606.041
AT ITER 1635 NEW BEST:: SOT 1171020 SOS 380004 HAS SOPS 380004 HAS SOUS 275189 HAS SOUPS 275189 WITH SCORE 275569.004
AT ITER 1654 NEW BEST:: SOT 1171019 SOS 379957 HAS SOPS 379957 HAS SOUS 274864 HAS SOUPS 274864 WITH SCORE 275243.957
AT ITER 1655 NEW BEST:: SOT 1171005 SOS 379929 HAS SOPS 379929 HAS SOUS 274836 HAS SOUPS 274836 WITH SCORE 275215.929
AT ITER 1662 NEW BEST:: SOT 1170932 SOS 379783 HAS SOPS 379783 HAS SOUS 274687 HAS SOUPS 274687 WITH SCORE 275066.783
AT ITER 1687 NEW BEST:: SOT 1170718 SOS 379793 HAS SOPS 379793 HAS SOUS 274586 HAS SOUPS 274586 WITH SCORE 274965.793
AT ITER 1689 NEW BEST:: SOT 1170625 SOS 379435 HAS SOPS 379435 HAS SOUS 274421 HAS SOUPS 274421 WITH SCORE 274800.435
AT ITER 1695 NEW BEST:: SOT 1170503 SOS 379420 HAS SOPS 379420 HAS SOUS 274401 HAS SOUPS 274401 WITH SCORE 274780.42
AT ITER 1704 NEW BEST:: SOT 1170503 SOS 379215 HAS SOPS 379215 HAS SOUS 274401 HAS SOUPS 274401 WITH SCORE 274780.215
AT ITER 1739 NEW BEST:: SOT 1170413 SOS 379051 HAS SOPS 379051 HAS SOUS 274237 HAS SOUPS 274237 WITH SCORE 274616.051
AT ITER 1749 NEW BEST:: SOT 1170248 SOS 380041 HAS SOPS 380041 HAS SOUS 274072 HAS SOUPS 274072 WITH SCORE 274452.041
AT ITER 1752 NEW BEST:: SOT 1170248 SOS 380392 HAS SOPS 380392 HAS SOUS 274031 HAS SOUPS 274031 WITH SCORE 274411.392
AT ITER 1764 NEW BEST:: SOT 1170212 SOS 380237 HAS SOPS 380237 HAS SOUS 273865 HAS SOUPS 273865 WITH SCORE 274245.237
AT ITER 1790 NEW BEST:: SOT 1170163 SOS 380074 HAS SOPS 380074 HAS SOUS 273751 HAS SOUPS 273751 WITH SCORE 274131.074
AT ITER 1794 NEW BEST:: SOT 1170162 SOS 380072 HAS SOPS 380072 HAS SOUS 273749 HAS SOUPS 273749 WITH SCORE 274129.072
AT ITER 1799 NEW BEST:: SOT 1169984 SOS 379831 HAS SOPS 379831 HAS SOUS 273508 HAS SOUPS 273508 WITH SCORE 273887.831
AT ITER 1804 NEW BEST:: SOT 1168707 SOS 378961 HAS SOPS 378961 HAS SOUS 272548 HAS SOUPS 272548 WITH SCORE 272926.961
AT ITER 1807 NEW BEST:: SOT 1168621 SOS 379106 HAS SOPS 379106 HAS SOUS 272462 HAS SOUPS 272462 WITH SCORE 272841.106
AT ITER 1814 NEW BEST:: SOT 1168459 SOS 378407 HAS SOPS 378407 HAS SOUS 272054 HAS SOUPS 272054 WITH SCORE 272432.407
AT ITER 1817 NEW BEST:: SOT 1168567 SOS 377879 HAS SOPS 377879 HAS SOUS 272038 HAS SOUPS 272038 WITH SCORE 272415.879
AT ITER 1823 NEW BEST:: SOT 1168354 SOS 377642 HAS SOPS 377642 HAS SOUS 271801 HAS SOUPS 271801 WITH SCORE 272178.642
AT ITER 1825 NEW BEST:: SOT 1168225 SOS 377446 HAS SOPS 377446 HAS SOUS 271698 HAS SOUPS 271698 WITH SCORE 272075.446
AT ITER 1829 NEW BEST:: SOT 1166432 SOS 375806 HAS SOPS 375806 HAS SOUS 270500 HAS SOUPS 270500 WITH SCORE 270875.806
AT ITER 1838 NEW BEST:: SOT 1166180 SOS 375302 HAS SOPS 375302 HAS SOUS 270107 HAS SOUPS 270107 WITH SCORE 270482.302
AT ITER 1853 NEW BEST:: SOT 1166388 SOS 375522 HAS SOPS 375522 HAS SOUS 269102 HAS SOUPS 269102 WITH SCORE 269477.522
AT ITER 1865 NEW BEST:: SOT 1166490 SOS 375332 HAS SOPS 375332 HAS SOUS 269023 HAS SOUPS 269023 WITH SCORE 269398.332
AT ITER 1875 NEW BEST:: SOT 1166287 SOS 375095 HAS SOPS 375095 HAS SOUS 268994 HAS SOUPS 268994 WITH SCORE 269369.095
AT ITER 1878 NEW BEST:: SOT 1166229 SOS 374979 HAS SOPS 374979 HAS SOUS 268878 HAS SOUPS 268878 WITH SCORE 269252.979
AT ITER 1882 NEW BEST:: SOT 1166191 SOS 375035 HAS SOPS 375035 HAS SOUS 268794 HAS SOUPS 268794 WITH SCORE 269169.035
AT ITER 1885 NEW BEST:: SOT 1166063 SOS 374803 HAS SOPS 374803 HAS SOUS 268702 HAS SOUPS 268702 WITH SCORE 269076.803
AT ITER 1890 NEW BEST:: SOT 1166000 SOS 374534 HAS SOPS 374534 HAS SOUS 268588 HAS SOUPS 268588 WITH SCORE 268962.534
AT ITER 1919 NEW BEST:: SOT 1165615 SOS 374357 HAS SOPS 374357 HAS SOUS 268411 HAS SOUPS 268411 WITH SCORE 268785.357
AT ITER 1949 NEW BEST:: SOT 1165611 SOS 374339 HAS SOPS 374339 HAS SOUS 268393 HAS SOUPS 268393 WITH SCORE 268767.339
AT ITER 1950 NEW BEST:: SOT 1165487 SOS 374249 HAS SOPS 374249 HAS SOUS 268237 HAS SOUPS 268237 WITH SCORE 268611.249
AT ITER 1982 NEW BEST:: SOT 1165347 SOS 373969 HAS SOPS 373969 HAS SOUS 267949 HAS SOUPS 267949 WITH SCORE 268322.969
AT ITER 1987 NEW BEST:: SOT 1165346 SOS 373968 HAS SOPS 373968 HAS SOUS 267947 HAS SOUPS 267947 WITH SCORE 268320.968
AT ITER 1988 NEW BEST:: SOT 1165393 SOS 374435 HAS SOPS 374435 HAS SOUS 267487 HAS SOUPS 267487 WITH SCORE 267861.435
AT ITER 1993 NEW BEST:: SOT 1169458 SOS 378498 HAS SOPS 378498 HAS SOUS 267271 HAS SOUPS 267271 WITH SCORE 267649.498
AT ITER 2000 NEW BEST:: SOT 1166229 SOS 375354 HAS SOPS 375354 HAS SOUS 267247 HAS SOUPS 267247 WITH SCORE 267622.354
AT ITER 2012 NEW BEST:: SOT 1166184 SOS 375219 HAS SOPS 375219 HAS SOUS 267156 HAS SOUPS 267156 WITH SCORE 267531.219
AT ITER 2013 NEW BEST:: SOT 1166183 SOS 374879 HAS SOPS 374879 HAS SOUS 267076 HAS SOUPS 267076 WITH SCORE 267450.879
AT ITER 2031 NEW BEST:: SOT 1166078 SOS 374669 HAS SOPS 374669 HAS SOUS 266953 HAS SOUPS 266953 WITH SCORE 267327.669
AT ITER 2044 NEW BEST:: SOT 1166101 SOS 375107 HAS SOPS 375107 HAS SOUS 266765 HAS SOUPS 266765 WITH SCORE 267140.107
AT ITER 2052 NEW BEST:: SOT 1166033 SOS 375055 HAS SOPS 375055 HAS SOUS 266713 HAS SOUPS 266713 WITH SCORE 267088.055
AT ITER 2054 NEW BEST:: SOT 1166033 SOS 375033 HAS SOPS 375033 HAS SOUS 266695 HAS SOUPS 266695 WITH SCORE 267070.033
AT ITER 2067 NEW BEST:: SOT 1165728 SOS 374728 HAS SOPS 374728 HAS SOUS 266390 HAS SOUPS 266390 WITH SCORE 266764.728
AT ITER 2072 NEW BEST:: SOT 1165566 SOS 374442 HAS SOPS 374442 HAS SOUS 266373 HAS SOUPS 266373 WITH SCORE 266747.442
AT ITER 2076 NEW BEST:: SOT 1165566 SOS 373313 HAS SOPS 373313 HAS SOUS 266373 HAS SOUPS 266373 WITH SCORE 266746.313
AT ITER 2077 NEW BEST:: SOT 1165418 SOS 373283 HAS SOPS 373283 HAS SOUS 266013 HAS SOUPS 266013 WITH SCORE 266386.283
AT ITER 2080 NEW BEST:: SOT 1165365 SOS 373177 HAS SOPS 373177 HAS SOUS 265907 HAS SOUPS 265907 WITH SCORE 266280.177
AT ITER 2081 NEW BEST:: SOT 1165365 SOS 373118 HAS SOPS 373118 HAS SOUS 265848 HAS SOUPS 265848 WITH SCORE 266221.118
AT ITER 2095 NEW BEST:: SOT 1165228 SOS 372821 HAS SOPS 372821 HAS SOUS 265746 HAS SOUPS 265746 WITH SCORE 266118.821
AT ITER 2117 NEW BEST:: SOT 1165188 SOS 372813 HAS SOPS 372813 HAS SOUS 265738 HAS SOUPS 265738 WITH SCORE 266110.813
AT ITER 2123 NEW BEST:: SOT 1165026 SOS 372524 HAS SOPS 372524 HAS SOUS 265345 HAS SOUPS 265345 WITH SCORE 265717.524
AT ITER 2128 NEW BEST:: SOT 1164923 SOS 372421 HAS SOPS 372421 HAS SOUS 265242 HAS SOUPS 265242 WITH SCORE 265614.421
AT ITER 2135 NEW BEST:: SOT 1164923 SOS 372260 HAS SOPS 372260 HAS SOUS 265081 HAS SOUPS 265081 WITH SCORE 265453.26
AT ITER 2152 NEW BEST:: SOT 1164905 SOS 372242 HAS SOPS 372242 HAS SOUS 265063 HAS SOUPS 265063 WITH SCORE 265435.242
AT ITER 2161 NEW BEST:: SOT 1164898 SOS 372179 HAS SOPS 372179 HAS SOUS 265049 HAS SOUPS 265049 WITH SCORE 265421.179
AT ITER 2177 NEW BEST:: SOT 1164898 SOS 372000 HAS SOPS 372000 HAS SOUS 265049 HAS SOUPS 265049 WITH SCORE 265421.0
AT ITER 2193 NEW BEST:: SOT 1164853 SOS 371955 HAS SOPS 371955 HAS SOUS 265004 HAS SOUPS 265004 WITH SCORE 265375.955
AT ITER 2200 NEW BEST:: SOT 1164698 SOS 372328 HAS SOPS 372328 HAS SOUS 264965 HAS SOUPS 264965 WITH SCORE 265337.328
AT ITER 2201 NEW BEST:: SOT 1164695 SOS 372325 HAS SOPS 372325 HAS SOUS 264962 HAS SOUPS 264962 WITH SCORE 265334.325
AT ITER 2209 NEW BEST:: SOT 1164357 SOS 371444 HAS SOPS 371444 HAS SOUS 264589 HAS SOUPS 264589 WITH SCORE 264960.444
AT ITER 2211 NEW BEST:: SOT 1164346 SOS 371433 HAS SOPS 371433 HAS SOUS 264545 HAS SOUPS 264545 WITH SCORE 264916.433
AT ITER 2212 NEW BEST:: SOT 1164269 SOS 374165 HAS SOPS 374165 HAS SOUS 264524 HAS SOUPS 264524 WITH SCORE 264898.165
AT ITER 2217 NEW BEST:: SOT 1164269 SOS 374042 HAS SOPS 374042 HAS SOUS 264401 HAS SOUPS 264401 WITH SCORE 264775.042
AT ITER 2226 NEW BEST:: SOT 1164268 SOS 374041 HAS SOPS 374041 HAS SOUS 264395 HAS SOUPS 264395 WITH SCORE 264769.041
AT ITER 2244 NEW BEST:: SOT 1164264 SOS 374033 HAS SOPS 374033 HAS SOUS 264387 HAS SOUPS 264387 WITH SCORE 264761.033
AT ITER 2253 NEW BEST:: SOT 1164264 SOS 373923 HAS SOPS 373923 HAS SOUS 264387 HAS SOUPS 264387 WITH SCORE 264760.923
AT ITER 2254 NEW BEST:: SOT 1164179 SOS 373864 HAS SOPS 373864 HAS SOUS 264328 HAS SOUPS 264328 WITH SCORE 264701.864
AT ITER 2265 NEW BEST:: SOT 1164144 SOS 373794 HAS SOPS 373794 HAS SOUS 264258 HAS SOUPS 264258 WITH SCORE 264631.794
AT ITER 2271 NEW BEST:: SOT 1164097 SOS 373747 HAS SOPS 373747 HAS SOUS 264211 HAS SOUPS 264211 WITH SCORE 264584.747
AT ITER 2274 NEW BEST:: SOT 1163976 SOS 373504 HAS SOPS 373504 HAS SOUS 264090 HAS SOUPS 264090 WITH SCORE 264463.504
AT ITER 2276 NEW BEST:: SOT 1163975 SOS 372521 HAS SOPS 372521 HAS SOUS 264012 HAS SOUPS 264012 WITH SCORE 264384.521
AT ITER 2277 NEW BEST:: SOT 1163975 SOS 372507 HAS SOPS 372507 HAS SOUS 263998 HAS SOUPS 263998 WITH SCORE 264370.507
AT ITER 2278 NEW BEST:: SOT 1162792 SOS 371831 HAS SOPS 371831 HAS SOUS 262815 HAS SOUPS 262815 WITH SCORE 263186.831
AT ITER 2289 NEW BEST:: SOT 1162792 SOS 371789 HAS SOPS 371789 HAS SOUS 262815 HAS SOUPS 262815 WITH SCORE 263186.789
AT ITER 2300 NEW BEST:: SOT 1162696 SOS 370919 HAS SOPS 370919 HAS SOUS 262334 HAS SOUPS 262334 WITH SCORE 262704.919
AT ITER 2304 NEW BEST:: SOT 1162625 SOS 370838 HAS SOPS 370838 HAS SOUS 262253 HAS SOUPS 262253 WITH SCORE 262623.838
AT ITER 2313 NEW BEST:: SOT 1162573 SOS 370734 HAS SOPS 370734 HAS SOUS 262149 HAS SOUPS 262149 WITH SCORE 262519.734
AT ITER 2316 NEW BEST:: SOT 1162438 SOS 370412 HAS SOPS 370412 HAS SOUS 262012 HAS SOUPS 262012 WITH SCORE 262382.412
AT ITER 2328 NEW BEST:: SOT 1162291 SOS 370530 HAS SOPS 370530 HAS SOUS 261916 HAS SOUPS 261916 WITH SCORE 262286.53
AT ITER 2329 NEW BEST:: SOT 1162092 SOS 370329 HAS SOPS 370329 HAS SOUS 261763 HAS SOUPS 261763 WITH SCORE 262133.329
AT ITER 2338 NEW BEST:: SOT 1162092 SOS 370175 HAS SOPS 370175 HAS SOUS 261763 HAS SOUPS 261763 WITH SCORE 262133.175
AT ITER 2355 NEW BEST:: SOT 1161348 SOS 369431 HAS SOPS 369431 HAS SOUS 260956 HAS SOUPS 260956 WITH SCORE 261325.431
AT ITER 2387 NEW BEST:: SOT 1161324 SOS 369360 HAS SOPS 369360 HAS SOUS 260885 HAS SOUPS 260885 WITH SCORE 261254.36
AT ITER 2393 NEW BEST:: SOT 1160942 SOS 370346 HAS SOPS 370346 HAS SOUS 260835 HAS SOUPS 260835 WITH SCORE 261205.346
AT ITER 2408 NEW BEST:: SOT 1160942 SOS 370283 HAS SOPS 370283 HAS SOUS 260835 HAS SOUPS 260835 WITH SCORE 261205.283
AT ITER 2409 NEW BEST:: SOT 1160942 SOS 370067 HAS SOPS 370067 HAS SOUS 260784 HAS SOUPS 260784 WITH SCORE 261154.067
AT ITER 2411 NEW BEST:: SOT 1160082 SOS 369912 HAS SOPS 369912 HAS SOUS 260014 HAS SOUPS 260014 WITH SCORE 260383.912
AT ITER 2425 NEW BEST:: SOT 1159939 SOS 369626 HAS SOPS 369626 HAS SOUS 259728 HAS SOUPS 259728 WITH SCORE 260097.626
AT ITER 2436 NEW BEST:: SOT 1159807 SOS 369125 HAS SOPS 369125 HAS SOUS 256896 HAS SOUPS 256896 WITH SCORE 257265.125
AT ITER 2438 NEW BEST:: SOT 1159807 SOS 369125 HAS SOPS 369125 HAS SOUS 256894 HAS SOUPS 256894 WITH SCORE 257263.125
AT ITER 2449 NEW BEST:: SOT 1159813 SOS 369108 HAS SOPS 369108 HAS SOUS 256877 HAS SOUPS 256877 WITH SCORE 257246.108
AT ITER 2451 NEW BEST:: SOT 1159837 SOS 369041 HAS SOPS 369041 HAS SOUS 256810 HAS SOUPS 256810 WITH SCORE 257179.041
AT ITER 2455 NEW BEST:: SOT 1159809 SOS 368903 HAS SOPS 368903 HAS SOUS 256672 HAS SOUPS 256672 WITH SCORE 257040.903
AT ITER 2462 NEW BEST:: SOT 1159938 SOS 369029 HAS SOPS 369029 HAS SOUS 256579 HAS SOUPS 256579 WITH SCORE 256948.029
AT ITER 2470 NEW BEST:: SOT 1159936 SOS 369025 HAS SOPS 369025 HAS SOUS 256577 HAS SOUPS 256577 WITH SCORE 256946.025
AT ITER 2474 NEW BEST:: SOT 1159936 SOS 369022 HAS SOPS 369022 HAS SOUS 256577 HAS SOUPS 256577 WITH SCORE 256946.022
AT ITER 2479 NEW BEST:: SOT 1159989 SOS 368972 HAS SOPS 368972 HAS SOUS 256527 HAS SOUPS 256527 WITH SCORE 256895.972
AT ITER 2484 NEW BEST:: SOT 1159989 SOS 368932 HAS SOPS 368932 HAS SOUS 256519 HAS SOUPS 256519 WITH SCORE 256887.932
AT ITER 2490 NEW BEST:: SOT 1159757 SOS 368468 HAS SOPS 368468 HAS SOUS 256055 HAS SOUPS 256055 WITH SCORE 256423.468
AT ITER 2492 NEW BEST:: SOT 1159734 SOS 368468 HAS SOPS 368468 HAS SOUS 256052 HAS SOUPS 256052 WITH SCORE 256420.468
AT ITER 2501 NEW BEST:: SOT 1159700 SOS 368400 HAS SOPS 368400 HAS SOUS 255984 HAS SOUPS 255984 WITH SCORE 256352.4
AT ITER 2515 NEW BEST:: SOT 1159560 SOS 368120 HAS SOPS 368120 HAS SOUS 255704 HAS SOUPS 255704 WITH SCORE 256072.12
AT ITER 2529 NEW BEST:: SOT 1159547 SOS 368120 HAS SOPS 368120 HAS SOUS 255691 HAS SOUPS 255691 WITH SCORE 256059.12
AT ITER 2535 NEW BEST:: SOT 1159604 SOS 367422 HAS SOPS 367422 HAS SOUS 253885 HAS SOUPS 253885 WITH SCORE 254252.422
AT ITER 2540 NEW BEST:: SOT 1159502 SOS 367320 HAS SOPS 367320 HAS SOUS 253783 HAS SOUPS 253783 WITH SCORE 254150.32
AT ITER 2545 NEW BEST:: SOT 1159493 SOS 367302 HAS SOPS 367302 HAS SOUS 253765 HAS SOUPS 253765 WITH SCORE 254132.302
AT ITER 2598 NEW BEST:: SOT 1159493 SOS 367274 HAS SOPS 367274 HAS SOUS 253765 HAS SOUPS 253765 WITH SCORE 254132.274
AT ITER 2612 NEW BEST:: SOT 1159052 SOS 366822 HAS SOPS 366822 HAS SOUS 252023 HAS SOUPS 252023 WITH SCORE 252389.822
AT ITER 2624 NEW BEST:: SOT 1158748 SOS 366565 HAS SOPS 366565 HAS SOUS 251719 HAS SOUPS 251719 WITH SCORE 252085.565
AT ITER 2639 NEW BEST:: SOT 1158740 SOS 366547 HAS SOPS 366547 HAS SOUS 251701 HAS SOUPS 251701 WITH SCORE 252067.547
AT ITER 2648 NEW BEST:: SOT 1158617 SOS 366301 HAS SOPS 366301 HAS SOUS 251455 HAS SOUPS 251455 WITH SCORE 251821.301
AT ITER 2665 NEW BEST:: SOT 1158370 SOS 365795 HAS SOPS 365795 HAS SOUS 251196 HAS SOUPS 251196 WITH SCORE 251561.795
AT ITER 2675 NEW BEST:: SOT 1158348 SOS 365773 HAS SOPS 365773 HAS SOUS 251174 HAS SOUPS 251174 WITH SCORE 251539.773
AT ITER 2676 NEW BEST:: SOT 1158150 SOS 365679 HAS SOPS 365679 HAS SOUS 251081 HAS SOUPS 251081 WITH SCORE 251446.679
AT ITER 2712 NEW BEST:: SOT 1158093 SOS 365571 HAS SOPS 365571 HAS SOUS 250973 HAS SOUPS 250973 WITH SCORE 251338.571
AT ITER 2730 NEW BEST:: SOT 1157942 SOS 365218 HAS SOPS 365218 HAS SOUS 250620 HAS SOUPS 250620 WITH SCORE 250985.218
AT ITER 2744 NEW BEST:: SOT 1157744 SOS 365314 HAS SOPS 365314 HAS SOUS 250549 HAS SOUPS 250549 WITH SCORE 250914.314
AT ITER 2748 NEW BEST:: SOT 1157744 SOS 365224 HAS SOPS 365224 HAS SOUS 250505 HAS SOUPS 250505 WITH SCORE 250870.224
AT ITER 2765 NEW BEST:: SOT 1157742 SOS 364445 HAS SOPS 364445 HAS SOUS 249002 HAS SOUPS 249002 WITH SCORE 249366.445
AT ITER 2779 NEW BEST:: SOT 1157692 SOS 364019 HAS SOPS 364019 HAS SOUS 248831 HAS SOUPS 248831 WITH SCORE 249195.019
AT ITER 2790 NEW BEST:: SOT 1157696 SOS 363765 HAS SOPS 363765 HAS SOUS 248706 HAS SOUPS 248706 WITH SCORE 249069.765
AT ITER 2796 NEW BEST:: SOT 1157587 SOS 363463 HAS SOPS 363463 HAS SOUS 248594 HAS SOUPS 248594 WITH SCORE 248957.463
AT ITER 2808 NEW BEST:: SOT 1157330 SOS 363036 HAS SOPS 363036 HAS SOUS 248337 HAS SOUPS 248337 WITH SCORE 248700.036
AT ITER 2822 NEW BEST:: SOT 1157330 SOS 363026 HAS SOPS 363026 HAS SOUS 248332 HAS SOUPS 248332 WITH SCORE 248695.026
AT ITER 2823 NEW BEST:: SOT 1157330 SOS 363015 HAS SOPS 363015 HAS SOUS 248321 HAS SOUPS 248321 WITH SCORE 248684.015
AT ITER 2832 NEW BEST:: SOT 1157299 SOS 362979 HAS SOPS 362979 HAS SOUS 248289 HAS SOUPS 248289 WITH SCORE 248651.979
AT ITER 2855 NEW BEST:: SOT 1157246 SOS 362873 HAS SOPS 362873 HAS SOUS 248236 HAS SOUPS 248236 WITH SCORE 248598.873
AT ITER 2861 NEW BEST:: SOT 1157280 SOS 362870 HAS SOPS 362870 HAS SOUS 248096 HAS SOUPS 248096 WITH SCORE 248458.87
AT ITER 2863 NEW BEST:: SOT 1157126 SOS 362570 HAS SOPS 362570 HAS SOUS 247796 HAS SOUPS 247796 WITH SCORE 248158.57
AT ITER 2869 NEW BEST:: SOT 1157126 SOS 362760 HAS SOPS 362760 HAS SOUS 247446 HAS SOUPS 247446 WITH SCORE 247808.76
AT ITER 2887 NEW BEST:: SOT 1157126 SOS 362736 HAS SOPS 362736 HAS SOUS 247443 HAS SOUPS 247443 WITH SCORE 247805.736
AT ITER 2921 NEW BEST:: SOT 1157027 SOS 362736 HAS SOPS 362736 HAS SOUS 247344 HAS SOUPS 247344 WITH SCORE 247706.736
AT ITER 2922 NEW BEST:: SOT 1157027 SOS 362735 HAS SOPS 362735 HAS SOUS 247344 HAS SOUPS 247344 WITH SCORE 247706.735
AT ITER 2929 NEW BEST:: SOT 1157026 SOS 363005 HAS SOPS 363005 HAS SOUS 247342 HAS SOUPS 247342 WITH SCORE 247705.005
AT ITER 2935 NEW BEST:: SOT 1156769 SOS 362758 HAS SOPS 362758 HAS SOUS 247086 HAS SOUPS 247086 WITH SCORE 247448.758
AT ITER 2953 NEW BEST:: SOT 1156513 SOS 362459 HAS SOPS 362459 HAS SOUS 246829 HAS SOUPS 246829 WITH SCORE 247191.459
AT ITER 2991 NEW BEST:: SOT 1156513 SOS 362380 HAS SOPS 362380 HAS SOUS 246758 HAS SOUPS 246758 WITH SCORE 247120.38
AT ITER 2992 NEW BEST:: SOT 1156498 SOS 362350 HAS SOPS 362350 HAS SOUS 246728 HAS SOUPS 246728 WITH SCORE 247090.35
AT ITER 2996 NEW BEST:: SOT 1156479 SOS 362312 HAS SOPS 362312 HAS SOUS 246690 HAS SOUPS 246690 WITH SCORE 247052.312
AT ITER 3041 NEW BEST:: SOT 1156458 SOS 362270 HAS SOPS 362270 HAS SOUS 246669 HAS SOUPS 246669 WITH SCORE 247031.27
AT ITER 3043 NEW BEST:: SOT 1156233 SOS 362045 HAS SOPS 362045 HAS SOUS 246444 HAS SOUPS 246444 WITH SCORE 246806.045
AT ITER 3045 NEW BEST:: SOT 1156218 SOS 362030 HAS SOPS 362030 HAS SOUS 246414 HAS SOUPS 246414 WITH SCORE 246776.03
AT ITER 3046 NEW BEST:: SOT 1155910 SOS 361722 HAS SOPS 361722 HAS SOUS 246106 HAS SOUPS 246106 WITH SCORE 246467.722
AT ITER 3047 NEW BEST:: SOT 1155923 SOS 361498 HAS SOPS 361498 HAS SOUS 245852 HAS SOUPS 245852 WITH SCORE 246213.498
AT ITER 3059 NEW BEST:: SOT 1155778 SOS 361353 HAS SOPS 361353 HAS SOUS 245707 HAS SOUPS 245707 WITH SCORE 246068.353
AT ITER 3060 NEW BEST:: SOT 1155735 SOS 361325 HAS SOPS 361325 HAS SOUS 245664 HAS SOUPS 245664 WITH SCORE 246025.325
AT ITER 3063 NEW BEST:: SOT 1155716 SOS 361306 HAS SOPS 361306 HAS SOUS 245645 HAS SOUPS 245645 WITH SCORE 246006.306
AT ITER 3075 NEW BEST:: SOT 1155785 SOS 361196 HAS SOPS 361196 HAS SOUS 245535 HAS SOUPS 245535 WITH SCORE 245896.196
AT ITER 3080 NEW BEST:: SOT 1155673 SOS 361084 HAS SOPS 361084 HAS SOUS 245423 HAS SOUPS 245423 WITH SCORE 245784.084
AT ITER 3081 NEW BEST:: SOT 1155620 SOS 360857 HAS SOPS 360857 HAS SOUS 245196 HAS SOUPS 245196 WITH SCORE 245556.857
AT ITER 3082 NEW BEST:: SOT 1155589 SOS 360826 HAS SOPS 360826 HAS SOUS 245165 HAS SOUPS 245165 WITH SCORE 245525.826
AT ITER 3094 NEW BEST:: SOT 1155589 SOS 360675 HAS SOPS 360675 HAS SOUS 245014 HAS SOUPS 245014 WITH SCORE 245374.675
AT ITER 3125 NEW BEST:: SOT 1155032 SOS 360437 HAS SOPS 360437 HAS SOUS 244640 HAS SOUPS 244640 WITH SCORE 245000.437
AT ITER 3128 NEW BEST:: SOT 1155032 SOS 360268 HAS SOPS 360268 HAS SOUS 244640 HAS SOUPS 244640 WITH SCORE 245000.268
AT ITER 3139 NEW BEST:: SOT 1155025 SOS 360254 HAS SOPS 360254 HAS SOUS 244628 HAS SOUPS 244628 WITH SCORE 244988.254
AT ITER 3140 NEW BEST:: SOT 1154848 SOS 359369 HAS SOPS 359369 HAS SOUS 244274 HAS SOUPS 244274 WITH SCORE 244633.369
AT ITER 3141 NEW BEST:: SOT 1155230 SOS 359573 HAS SOPS 359573 HAS SOUS 244172 HAS SOUPS 244172 WITH SCORE 244531.573
AT ITER 3147 NEW BEST:: SOT 1155186 SOS 359520 HAS SOPS 359520 HAS SOUS 244127 HAS SOUPS 244127 WITH SCORE 244486.52
AT ITER 3155 NEW BEST:: SOT 1155170 SOS 359488 HAS SOPS 359488 HAS SOUS 244095 HAS SOUPS 244095 WITH SCORE 244454.488
AT ITER 3161 NEW BEST:: SOT 1155170 SOS 359224 HAS SOPS 359224 HAS SOUS 244095 HAS SOUPS 244095 WITH SCORE 244454.224
AT ITER 3166 NEW BEST:: SOT 1155170 SOS 359224 HAS SOPS 359224 HAS SOUS 243995 HAS SOUPS 243995 WITH SCORE 244354.224
AT ITER 3177 NEW BEST:: SOT 1155157 SOS 359198 HAS SOPS 359198 HAS SOUS 243955 HAS SOUPS 243955 WITH SCORE 244314.198
AT ITER 3178 NEW BEST:: SOT 1155156 SOS 359196 HAS SOPS 359196 HAS SOUS 243953 HAS SOUPS 243953 WITH SCORE 244312.196
AT ITER 3199 NEW BEST:: SOT 1155163 SOS 359130 HAS SOPS 359130 HAS SOUS 243887 HAS SOUPS 243887 WITH SCORE 244246.13
AT ITER 3238 NEW BEST:: SOT 1155132 SOS 359099 HAS SOPS 359099 HAS SOUS 243854 HAS SOUPS 243854 WITH SCORE 244213.099
AT ITER 3256 NEW BEST:: SOT 1155093 SOS 358982 HAS SOPS 358982 HAS SOUS 243722 HAS SOUPS 243722 WITH SCORE 244080.982
AT ITER 3291 NEW BEST:: SOT 1154997 SOS 358886 HAS SOPS 358886 HAS SOUS 243626 HAS SOUPS 243626 WITH SCORE 243984.886
AT ITER 3309 NEW BEST:: SOT 1154843 SOS 358733 HAS SOPS 358733 HAS SOUS 243472 HAS SOUPS 243472 WITH SCORE 243830.733
AT ITER 3312 NEW BEST:: SOT 1154827 SOS 358716 HAS SOPS 358716 HAS SOUS 243455 HAS SOUPS 243455 WITH SCORE 243813.716
AT ITER 3318 NEW BEST:: SOT 1154650 SOS 358531 HAS SOPS 358531 HAS SOUS 243066 HAS SOUPS 243066 WITH SCORE 243424.531
AT ITER 3337 NEW BEST:: SOT 1154650 SOS 358492 HAS SOPS 358492 HAS SOUS 243066 HAS SOUPS 243066 WITH SCORE 243424.492
AT ITER 3341 NEW BEST:: SOT 1154650 SOS 358517 HAS SOPS 358517 HAS SOUS 242845 HAS SOUPS 242845 WITH SCORE 243203.517
AT ITER 3343 NEW BEST:: SOT 1154520 SOS 358432 HAS SOPS 358432 HAS SOUS 242760 HAS SOUPS 242760 WITH SCORE 243118.432
AT ITER 3349 NEW BEST:: SOT 1154532 SOS 358417 HAS SOPS 358417 HAS SOUS 242745 HAS SOUPS 242745 WITH SCORE 243103.417
AT ITER 3379 NEW BEST:: SOT 1154454 SOS 358356 HAS SOPS 358356 HAS SOUS 242684 HAS SOUPS 242684 WITH SCORE 243042.356
AT ITER 3386 NEW BEST:: SOT 1154466 SOS 358344 HAS SOPS 358344 HAS SOUS 242620 HAS SOUPS 242620 WITH SCORE 242978.344
AT ITER 3388 NEW BEST:: SOT 1154383 SOS 358261 HAS SOPS 358261 HAS SOUS 242537 HAS SOUPS 242537 WITH SCORE 242895.261
AT ITER 3393 NEW BEST:: SOT 1154194 SOS 358072 HAS SOPS 358072 HAS SOUS 242341 HAS SOUPS 242341 WITH SCORE 242699.072
AT ITER 3440 NEW BEST:: SOT 1154095 SOS 357874 HAS SOPS 357874 HAS SOUS 242143 HAS SOUPS 242143 WITH SCORE 242500.874
AT ITER 3445 NEW BEST:: SOT 1154095 SOS 357960 HAS SOPS 357960 HAS SOUS 239493 HAS SOUPS 239493 WITH SCORE 239850.96
AT ITER 3464 NEW BEST:: SOT 1154020 SOS 357453 HAS SOPS 357453 HAS SOUS 239364 HAS SOUPS 239364 WITH SCORE 239721.453
AT ITER 3473 NEW BEST:: SOT 1153904 SOS 357364 HAS SOPS 357364 HAS SOUS 239257 HAS SOUPS 239257 WITH SCORE 239614.364
AT ITER 3500 NEW BEST:: SOT 1153904 SOS 357362 HAS SOPS 357362 HAS SOUS 239256 HAS SOUPS 239256 WITH SCORE 239613.362
AT ITER 3514 NEW BEST:: SOT 1153909 SOS 357381 HAS SOPS 357381 HAS SOUS 239077 HAS SOUPS 239077 WITH SCORE 239434.381
AT ITER 3532 NEW BEST:: SOT 1153827 SOS 356959 HAS SOPS 356959 HAS SOUS 238835 HAS SOUPS 238835 WITH SCORE 239191.959
AT ITER 3538 NEW BEST:: SOT 1153916 SOS 356246 HAS SOPS 356246 HAS SOUS 238731 HAS SOUPS 238731 WITH SCORE 239087.246
AT ITER 3553 NEW BEST:: SOT 1153774 SOS 355962 HAS SOPS 355962 HAS SOUS 238447 HAS SOUPS 238447 WITH SCORE 238802.962
AT ITER 3573 NEW BEST:: SOT 1154003 SOS 354642 HAS SOPS 354642 HAS SOUS 238439 HAS SOUPS 238439 WITH SCORE 238793.642
AT ITER 3581 NEW BEST:: SOT 1154251 SOS 354924 HAS SOPS 354924 HAS SOUS 238333 HAS SOUPS 238333 WITH SCORE 238687.924
AT ITER 3615 NEW BEST:: SOT 1154244 SOS 354917 HAS SOPS 354917 HAS SOUS 238326 HAS SOUPS 238326 WITH SCORE 238680.917
AT ITER 3631 NEW BEST:: SOT 1154223 SOS 354878 HAS SOPS 354878 HAS SOUS 238266 HAS SOUPS 238266 WITH SCORE 238620.878
AT ITER 3633 NEW BEST:: SOT 1154351 SOS 355098 HAS SOPS 355098 HAS SOUS 237940 HAS SOUPS 237940 WITH SCORE 238295.098
AT ITER 3636 NEW BEST:: SOT 1154218 SOS 354965 HAS SOPS 354965 HAS SOUS 237807 HAS SOUPS 237807 WITH SCORE 238161.965
AT ITER 3641 NEW BEST:: SOT 1154189 SOS 354899 HAS SOPS 354899 HAS SOUS 237780 HAS SOUPS 237780 WITH SCORE 238134.899
AT ITER 3644 NEW BEST:: SOT 1154074 SOS 354670 HAS SOPS 354670 HAS SOUS 236752 HAS SOUPS 236752 WITH SCORE 237106.67
AT ITER 3689 NEW BEST:: SOT 1154099 SOS 354713 HAS SOPS 354713 HAS SOUS 236744 HAS SOUPS 236744 WITH SCORE 237098.713
AT ITER 3694 NEW BEST:: SOT 1154166 SOS 354822 HAS SOPS 354822 HAS SOUS 236730 HAS SOUPS 236730 WITH SCORE 237084.822
AT ITER 3697 NEW BEST:: SOT 1154138 SOS 354801 HAS SOPS 354801 HAS SOUS 236709 HAS SOUPS 236709 WITH SCORE 237063.801
AT ITER 3751 NEW BEST:: SOT 1154017 SOS 354715 HAS SOPS 354715 HAS SOUS 236623 HAS SOUPS 236623 WITH SCORE 236977.715
AT ITER 3762 NEW BEST:: SOT 1153614 SOS 354651 HAS SOPS 354651 HAS SOUS 236158 HAS SOUPS 236158 WITH SCORE 236512.651
AT ITER 3768 NEW BEST:: SOT 1153598 SOS 354608 HAS SOPS 354608 HAS SOUS 236141 HAS SOUPS 236141 WITH SCORE 236495.608
AT ITER 3775 NEW BEST:: SOT 1153397 SOS 355774 HAS SOPS 355774 HAS SOUS 236060 HAS SOUPS 236060 WITH SCORE 236415.774
AT ITER 3781 NEW BEST:: SOT 1153352 SOS 355936 HAS SOPS 355936 HAS SOUS 235994 HAS SOUPS 235994 WITH SCORE 236349.936
AT ITER 3793 NEW BEST:: SOT 1153351 SOS 355669 HAS SOPS 355669 HAS SOUS 235727 HAS SOUPS 235727 WITH SCORE 236082.669
AT ITER 3823 NEW BEST:: SOT 1153271 SOS 355509 HAS SOPS 355509 HAS SOUS 235567 HAS SOUPS 235567 WITH SCORE 235922.509
AT ITER 3834 NEW BEST:: SOT 1153243 SOS 355527 HAS SOPS 355527 HAS SOUS 235539 HAS SOUPS 235539 WITH SCORE 235894.527
AT ITER 3854 NEW BEST:: SOT 1153228 SOS 355512 HAS SOPS 355512 HAS SOUS 235538 HAS SOUPS 235538 WITH SCORE 235893.512
AT ITER 3858 NEW BEST:: SOT 1152780 SOS 355069 HAS SOPS 355069 HAS SOUS 235505 HAS SOUPS 235505 WITH SCORE 235860.069
AT ITER 3860 NEW BEST:: SOT 1152776 SOS 355021 HAS SOPS 355021 HAS SOUS 235497 HAS SOUPS 235497 WITH SCORE 235852.021
AT ITER 3863 NEW BEST:: SOT 1152688 SOS 354375 HAS SOPS 354375 HAS SOUS 235392 HAS SOUPS 235392 WITH SCORE 235746.375
AT ITER 3878 NEW BEST:: SOT 1152726 SOS 354355 HAS SOPS 354355 HAS SOUS 235372 HAS SOUPS 235372 WITH SCORE 235726.355
AT ITER 3879 NEW BEST:: SOT 1152720 SOS 354343 HAS SOPS 354343 HAS SOUS 235360 HAS SOUPS 235360 WITH SCORE 235714.343
AT ITER 3907 NEW BEST:: SOT 1152730 SOS 354077 HAS SOPS 354077 HAS SOUS 235094 HAS SOUPS 235094 WITH SCORE 235448.077
AT ITER 3929 NEW BEST:: SOT 1152574 SOS 353991 HAS SOPS 353991 HAS SOUS 235008 HAS SOUPS 235008 WITH SCORE 235361.991
AT ITER 3941 NEW BEST:: SOT 1152574 SOS 354054 HAS SOPS 354054 HAS SOUS 234952 HAS SOUPS 234952 WITH SCORE 235306.054
AT ITER 3956 NEW BEST:: SOT 1152532 SOS 353971 HAS SOPS 353971 HAS SOUS 234909 HAS SOUPS 234909 WITH SCORE 235262.971
AT ITER 3971 NEW BEST:: SOT 1152514 SOS 353929 HAS SOPS 353929 HAS SOUS 234873 HAS SOUPS 234873 WITH SCORE 235226.929
AT ITER 3974 NEW BEST:: SOT 1152425 SOS 353962 HAS SOPS 353962 HAS SOUS 234695 HAS SOUPS 234695 WITH SCORE 235048.962
AT ITER 3976 NEW BEST:: SOT 1152425 SOS 353956 HAS SOPS 353956 HAS SOUS 234689 HAS SOUPS 234689 WITH SCORE 235042.956
AT ITER 3984 NEW BEST:: SOT 1152154 SOS 353413 HAS SOPS 353413 HAS SOUS 234146 HAS SOUPS 234146 WITH SCORE 234499.413
AT ITER 4066 NEW BEST:: SOT 1152122 SOS 353381 HAS SOPS 353381 HAS SOUS 234114 HAS SOUPS 234114 WITH SCORE 234467.381
AT ITER 4071 NEW BEST:: SOT 1152055 SOS 352637 HAS SOPS 352637 HAS SOUS 234060 HAS SOUPS 234060 WITH SCORE 234412.637
AT ITER 4102 NEW BEST:: SOT 1151956 SOS 352439 HAS SOPS 352439 HAS SOUS 233862 HAS SOUPS 233862 WITH SCORE 234214.439
AT ITER 4120 NEW BEST:: SOT 1151901 SOS 352776 HAS SOPS 352776 HAS SOUS 233752 HAS SOUPS 233752 WITH SCORE 234104.776
AT ITER 4129 NEW BEST:: SOT 1151902 SOS 352668 HAS SOPS 352668 HAS SOUS 233699 HAS SOUPS 233699 WITH SCORE 234051.668
AT ITER 4152 NEW BEST:: SOT 1151902 SOS 352668 HAS SOPS 352668 HAS SOUS 233633 HAS SOUPS 233633 WITH SCORE 233985.668
AT ITER 4154 NEW BEST:: SOT 1151820 SOS 352580 HAS SOPS 352580 HAS SOUS 233550 HAS SOUPS 233550 WITH SCORE 233902.58
AT ITER 4175 NEW BEST:: SOT 1151815 SOS 352580 HAS SOPS 352580 HAS SOUS 233545 HAS SOUPS 233545 WITH SCORE 233897.58
AT ITER 4181 NEW BEST:: SOT 1151792 SOS 352534 HAS SOPS 352534 HAS SOUS 233499 HAS SOUPS 233499 WITH SCORE 233851.534
AT ITER 4183 NEW BEST:: SOT 1151900 SOS 352495 HAS SOPS 352495 HAS SOUS 233460 HAS SOUPS 233460 WITH SCORE 233812.495
AT ITER 4186 NEW BEST:: SOT 1151763 SOS 354102 HAS SOPS 354102 HAS SOUS 233323 HAS SOUPS 233323 WITH SCORE 233677.102
AT ITER 4191 NEW BEST:: SOT 1151763 SOS 354067 HAS SOPS 354067 HAS SOUS 233323 HAS SOUPS 233323 WITH SCORE 233677.067
AT ITER 4193 NEW BEST:: SOT 1151607 SOS 353812 HAS SOPS 353812 HAS SOUS 233068 HAS SOUPS 233068 WITH SCORE 233421.812
AT ITER 4204 NEW BEST:: SOT 1151557 SOS 353537 HAS SOPS 353537 HAS SOUS 233034 HAS SOUPS 233034 WITH SCORE 233387.537
AT ITER 4218 NEW BEST:: SOT 1151558 SOS 353709 HAS SOPS 353709 HAS SOUS 233031 HAS SOUPS 233031 WITH SCORE 233384.709
AT ITER 4230 NEW BEST:: SOT 1151441 SOS 353592 HAS SOPS 353592 HAS SOUS 232914 HAS SOUPS 232914 WITH SCORE 233267.592
AT ITER 4234 NEW BEST:: SOT 1151381 SOS 353364 HAS SOPS 353364 HAS SOUS 232686 HAS SOUPS 232686 WITH SCORE 233039.364
AT ITER 4255 NEW BEST:: SOT 1151284 SOS 353602 HAS SOPS 353602 HAS SOUS 232587 HAS SOUPS 232587 WITH SCORE 232940.602
AT ITER 4261 NEW BEST:: SOT 1151091 SOS 353304 HAS SOPS 353304 HAS SOUS 232103 HAS SOUPS 232103 WITH SCORE 232456.304
AT ITER 4269 NEW BEST:: SOT 1151091 SOS 353455 HAS SOPS 353455 HAS SOUS 232099 HAS SOUPS 232099 WITH SCORE 232452.455
AT ITER 4282 NEW BEST:: SOT 1151033 SOS 353339 HAS SOPS 353339 HAS SOUS 232009 HAS SOUPS 232009 WITH SCORE 232362.339
AT ITER 4296 NEW BEST:: SOT 1151033 SOS 353313 HAS SOPS 353313 HAS SOUS 231983 HAS SOUPS 231983 WITH SCORE 232336.313
AT ITER 4298 NEW BEST:: SOT 1151032 SOS 353311 HAS SOPS 353311 HAS SOUS 231981 HAS SOUPS 231981 WITH SCORE 232334.311
AT ITER 4301 NEW BEST:: SOT 1151031 SOS 353310 HAS SOPS 353310 HAS SOUS 231979 HAS SOUPS 231979 WITH SCORE 232332.31
AT ITER 4306 NEW BEST:: SOT 1150799 SOS 354103 HAS SOPS 354103 HAS SOUS 231952 HAS SOUPS 231952 WITH SCORE 232306.103
AT ITER 4309 NEW BEST:: SOT 1150799 SOS 354085 HAS SOPS 354085 HAS SOUS 231934 HAS SOUPS 231934 WITH SCORE 232288.085
AT ITER 4341 NEW BEST:: SOT 1150791 SOS 354076 HAS SOPS 354076 HAS SOUS 231925 HAS SOUPS 231925 WITH SCORE 232279.076
AT ITER 4343 NEW BEST:: SOT 1150129 SOS 353253 HAS SOPS 353253 HAS SOUS 231436 HAS SOUPS 231436 WITH SCORE 231789.253
AT ITER 4348 NEW BEST:: SOT 1150109 SOS 353209 HAS SOPS 353209 HAS SOUS 231395 HAS SOUPS 231395 WITH SCORE 231748.209
AT ITER 4352 NEW BEST:: SOT 1149763 SOS 354113 HAS SOPS 354113 HAS SOUS 231218 HAS SOUPS 231218 WITH SCORE 231572.113
AT ITER 4358 NEW BEST:: SOT 1149762 SOS 354071 HAS SOPS 354071 HAS SOUS 231216 HAS SOUPS 231216 WITH SCORE 231570.071
AT ITER 4361 NEW BEST:: SOT 1149693 SOS 353869 HAS SOPS 353869 HAS SOUS 231060 HAS SOUPS 231060 WITH SCORE 231413.869
AT ITER 4373 NEW BEST:: SOT 1149259 SOS 352945 HAS SOPS 352945 HAS SOUS 230387 HAS SOUPS 230387 WITH SCORE 230739.945
AT ITER 4383 NEW BEST:: SOT 1149235 SOS 353061 HAS SOPS 353061 HAS SOUS 230363 HAS SOUPS 230363 WITH SCORE 230716.061
AT ITER 4413 NEW BEST:: SOT 1149228 SOS 353054 HAS SOPS 353054 HAS SOUS 230356 HAS SOUPS 230356 WITH SCORE 230709.054
AT ITER 4453 NEW BEST:: SOT 1149200 SOS 353026 HAS SOPS 353026 HAS SOUS 230328 HAS SOUPS 230328 WITH SCORE 230681.026
AT ITER 4456 NEW BEST:: SOT 1148707 SOS 352478 HAS SOPS 352478 HAS SOUS 230291 HAS SOUPS 230291 WITH SCORE 230643.478
AT ITER 4466 NEW BEST:: SOT 1148732 SOS 352503 HAS SOPS 352503 HAS SOUS 230270 HAS SOUPS 230270 WITH SCORE 230622.503
AT ITER 4472 NEW BEST:: SOT 1148609 SOS 352380 HAS SOPS 352380 HAS SOUS 230147 HAS SOUPS 230147 WITH SCORE 230499.38
AT ITER 4474 NEW BEST:: SOT 1148575 SOS 352363 HAS SOPS 352363 HAS SOUS 230130 HAS SOUPS 230130 WITH SCORE 230482.363
AT ITER 4491 NEW BEST:: SOT 1148463 SOS 352249 HAS SOPS 352249 HAS SOUS 230017 HAS SOUPS 230017 WITH SCORE 230369.249
AT ITER 4547 NEW BEST:: SOT 1148450 SOS 352223 HAS SOPS 352223 HAS SOUS 229991 HAS SOUPS 229991 WITH SCORE 230343.223
AT ITER 4551 NEW BEST:: SOT 1148450 SOS 352223 HAS SOPS 352223 HAS SOUS 229622 HAS SOUPS 229622 WITH SCORE 229974.223
AT ITER 4564 NEW BEST:: SOT 1148440 SOS 352213 HAS SOPS 352213 HAS SOUS 229612 HAS SOUPS 229612 WITH SCORE 229964.213
AT ITER 4581 NEW BEST:: SOT 1148439 SOS 352204 HAS SOPS 352204 HAS SOUS 228566 HAS SOUPS 228566 WITH SCORE 228918.204
AT ITER 4621 NEW BEST:: SOT 1148568 SOS 351995 HAS SOPS 351995 HAS SOUS 228482 HAS SOUPS 228482 WITH SCORE 228833.995
AT ITER 4633 NEW BEST:: SOT 1148546 SOS 351951 HAS SOPS 351951 HAS SOUS 228438 HAS SOUPS 228438 WITH SCORE 228789.951
AT ITER 4640 NEW BEST:: SOT 1148546 SOS 351950 HAS SOPS 351950 HAS SOUS 228437 HAS SOUPS 228437 WITH SCORE 228788.95
AT ITER 4651 NEW BEST:: SOT 1148546 SOS 351790 HAS SOPS 351790 HAS SOUS 228357 HAS SOUPS 228357 WITH SCORE 228708.79
AT ITER 4653 NEW BEST:: SOT 1148394 SOS 353488 HAS SOPS 353488 HAS SOUS 228053 HAS SOUPS 228053 WITH SCORE 228406.488
AT ITER 4655 NEW BEST:: SOT 1148405 SOS 353483 HAS SOPS 353483 HAS SOUS 228048 HAS SOUPS 228048 WITH SCORE 228401.483
AT ITER 4670 NEW BEST:: SOT 1148362 SOS 353439 HAS SOPS 353439 HAS SOUS 227973 HAS SOUPS 227973 WITH SCORE 228326.439
AT ITER 4684 NEW BEST:: SOT 1148290 SOS 353300 HAS SOPS 353300 HAS SOUS 227834 HAS SOUPS 227834 WITH SCORE 228187.3
AT ITER 4685 NEW BEST:: SOT 1148346 SOS 353345 HAS SOPS 353345 HAS SOUS 227527 HAS SOUPS 227527 WITH SCORE 227880.345
AT ITER 4712 NEW BEST:: SOT 1148337 SOS 353271 HAS SOPS 353271 HAS SOUS 227453 HAS SOUPS 227453 WITH SCORE 227806.271
AT ITER 4735 NEW BEST:: SOT 1148216 SOS 353091 HAS SOPS 353091 HAS SOUS 227422 HAS SOUPS 227422 WITH SCORE 227775.091
AT ITER 4770 NEW BEST:: SOT 1148149 SOS 353092 HAS SOPS 353092 HAS SOUS 227297 HAS SOUPS 227297 WITH SCORE 227650.092
AT ITER 4775 NEW BEST:: SOT 1148149 SOS 353280 HAS SOPS 353280 HAS SOUS 227293 HAS SOUPS 227293 WITH SCORE 227646.28
AT ITER 4780 NEW BEST:: SOT 1148149 SOS 353188 HAS SOPS 353188 HAS SOUS 227293 HAS SOUPS 227293 WITH SCORE 227646.188
AT ITER 4799 NEW BEST:: SOT 1148058 SOS 353120 HAS SOPS 353120 HAS SOUS 226956 HAS SOUPS 226956 WITH SCORE 227309.12
AT ITER 4821 NEW BEST:: SOT 1148058 SOS 353085 HAS SOPS 353085 HAS SOUS 226921 HAS SOUPS 226921 WITH SCORE 227274.085
AT ITER 4836 NEW BEST:: SOT 1148138 SOS 353165 HAS SOPS 353165 HAS SOUS 226882 HAS SOUPS 226882 WITH SCORE 227235.165
AT ITER 4837 NEW BEST:: SOT 1148109 SOS 353136 HAS SOPS 353136 HAS SOUS 226795 HAS SOUPS 226795 WITH SCORE 227148.136
AT ITER 4846 NEW BEST:: SOT 1148109 SOS 353105 HAS SOPS 353105 HAS SOUS 226764 HAS SOUPS 226764 WITH SCORE 227117.105
AT ITER 4867 NEW BEST:: SOT 1148086 SOS 352686 HAS SOPS 352686 HAS SOUS 226345 HAS SOUPS 226345 WITH SCORE 226697.686
AT ITER 4874 NEW BEST:: SOT 1148058 SOS 352658 HAS SOPS 352658 HAS SOUS 226243 HAS SOUPS 226243 WITH SCORE 226595.658
AT ITER 4875 NEW BEST:: SOT 1147957 SOS 352503 HAS SOPS 352503 HAS SOUS 226088 HAS SOUPS 226088 WITH SCORE 226440.503
AT ITER 4893 NEW BEST:: SOT 1147950 SOS 350828 HAS SOPS 350828 HAS SOUS 225917 HAS SOUPS 225917 WITH SCORE 226267.828
AT ITER 4901 NEW BEST:: SOT 1147846 SOS 350672 HAS SOPS 350672 HAS SOUS 225761 HAS SOUPS 225761 WITH SCORE 226111.672
AT ITER 4904 NEW BEST:: SOT 1147831 SOS 350672 HAS SOPS 350672 HAS SOUS 225750 HAS SOUPS 225750 WITH SCORE 226100.672
AT ITER 4939 NEW BEST:: SOT 1147622 SOS 351102 HAS SOPS 351102 HAS SOUS 225737 HAS SOUPS 225737 WITH SCORE 226088.102
AT ITER 4945 NEW BEST:: SOT 1147557 SOS 351102 HAS SOPS 351102 HAS SOUS 225672 HAS SOUPS 225672 WITH SCORE 226023.102
AT ITER 4948 NEW BEST:: SOT 1147540 SOS 351085 HAS SOPS 351085 HAS SOUS 225655 HAS SOUPS 225655 WITH SCORE 226006.085
AT ITER 4955 NEW BEST:: SOT 1147450 SOS 351085 HAS SOPS 351085 HAS SOUS 225565 HAS SOUPS 225565 WITH SCORE 225916.085
AT ITER 4977 NEW BEST:: SOT 1147429 SOS 351085 HAS SOPS 351085 HAS SOUS 225544 HAS SOUPS 225544 WITH SCORE 225895.085
AT ITER 4979 NEW BEST:: SOT 1147429 SOS 351011 HAS SOPS 351011 HAS SOUS 225470 HAS SOUPS 225470 WITH SCORE 225821.011
AT ITER 4981 NEW BEST:: SOT 1147373 SOS 350932 HAS SOPS 350932 HAS SOUS 225391 HAS SOUPS 225391 WITH SCORE 225741.932
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-02b-CTLFireability-00 ( (EF( ( (AF( ((potential((tk(P626)>=1)))))) | ((potential((tk(P182)>=1)))) ))) | (AX( ((potential((tk(P306)>=1)))))) )
PROPERTY: ASLink-PT-02b-CTLFireability-01 (! (AG( (AF( ( ((potential((tk(P596)>=1)))) & ((potential((tk(P37)>=1)))) ))))))
PROPERTY: ASLink-PT-02b-CTLFireability-02 (AF( ( ((potential((tk(P494)>=1) & (tk(P889)>=1)))) & ((potential((tk(P111)>=1) & (tk(P567)>=1)))) )))
PROPERTY: ASLink-PT-02b-CTLFireability-03 (! ( ( ( (AF( ((potential((tk(P332)>=1) & (tk(P314)>=1)))))) | ( ( ((potential((tk(P355)>=1)))) | ((potential((tk(P510)>=1) & (tk(P916)>=1)))) ) | ( ((potential((tk(P509)>=1) & (tk(P924)>=1)))) & ((potential((tk(P505)>=1) & (tk(P927)>=1)))) ) ) ) | (EU( ((potential((tk(P631)>=1)))) , ((potential((tk(P502)>=1) & (tk(P883)>=1)))) )) ) & (AF( (! ( ((potential((tk(P187)>=1)))) & ((potential((tk(P275)>=1)))) )))) ))
PROPERTY: ASLink-PT-02b-CTLFireability-04 (EX( (AG( ( (! ((potential((tk(P71)>=1))))) | (! ((potential((tk(P497)>=1) & (tk(P885)>=1))))) )))))
PROPERTY: ASLink-PT-02b-CTLFireability-05 (EF( ( ( ( (! ((potential((tk(P387)>=1))))) & ((potential((tk(P1038)>=1)))) ) | (EF( ((potential((tk(P896)>=1)))))) ) & (AX( ( ((potential((tk(P1016)>=1)))) & ((potential((tk(P352)>=1)))) ))) )))
PROPERTY: ASLink-PT-02b-CTLFireability-06 ( (EF( ( (AX( ((potential((tk(P1057)>=1)))))) & (! ( ((potential((tk(P592)>=1)))) | ((potential((tk(P961)>=1)))) )) ))) | ( ( ((potential((tk(P430)>=1)))) | (EX( ( ((potential((tk(P980)>=1)))) & ((potential((tk(P526)>=1)))) ))) ) | ( ( (AX( ((potential((tk(P617)>=1)))))) | ( ((potential((tk(P107)>=1) & (tk(P576)>=1)))) & ((potential((tk(P506)>=1) & (tk(P895)>=1)))) ) ) & (AX( (! ((potential((tk(P719)>=1))))))) ) ) )
PROPERTY: ASLink-PT-02b-CTLFireability-07 (AX( (AF( ( ( ((potential((tk(P415)>=1)))) & ((potential((tk(P955)>=1)))) ) & ( ((potential((tk(P1221)>=1)))) & ((potential((tk(P190)>=1)))) ) )))))
PROPERTY: ASLink-PT-02b-CTLFireability-08 (AF( ( (EG( ( ((potential((tk(P514)>=1) & (tk(P910)>=1)))) & ((potential((tk(P1017)>=1)))) ))) & (! ((potential((tk(P110)>=1) & (tk(P557)>=1))))) )))
PROPERTY: ASLink-PT-02b-CTLFireability-09 (AF( ((potential((tk(P306)>=1))))))
PROPERTY: ASLink-PT-02b-CTLFireability-10 (AF( (! (AX( (! ((potential((tk(P627)>=1) & (tk(P820)>=1))))))))))
PROPERTY: ASLink-PT-02b-CTLFireability-11 ( (AG( (! ( ( ((potential((tk(P928)>=1) & (tk(P1110)>=1)))) & ((potential((tk(P719)>=1)))) ) | ( ((potential((tk(P525)>=1) & (tk(P752)>=1)))) & ((potential((tk(P501)>=1) & (tk(P918)>=1)))) ) )))) | (EG( ( ( ( ((potential((tk(P1155)>=1)))) | ((potential((tk(P583)>=1)))) ) & (! ((potential((tk(P608)>=1))))) ) | ( ((potential((tk(P39)>=1) & (tk(P181)>=1)))) | ( ((potential((tk(P346)>=1) & (tk(P338)>=1) & (tk(P342)>=1)))) & ((potential((tk(P30)>=1) & (tk(P168)>=1)))) ) ) ))) )
PROPERTY: ASLink-PT-02b-CTLFireability-12 (AF( (AU( (! ((potential((tk(P514)>=1) & (tk(P886)>=1))))) , ((potential((tk(P1016)>=1)))) ))))
PROPERTY: ASLink-PT-02b-CTLFireability-13 (! (EF( ((potential((tk(P494)>=1) & (tk(P886)>=1)))))))
PROPERTY: ASLink-PT-02b-CTLFireability-14 ( ( (EX( (EF( ((potential((tk(P475)>=1)))))))) & ( (AX( (! ((potential((tk(P22)>=1) & (tk(P162)>=1))))))) & ( (! ( ((potential((tk(P689)>=1) & (tk(P867)>=1)))) | ((potential((tk(P749)>=1)))) )) & ((potential((tk(P1047)>=1)))) ) ) ) | ( ( (! (AX( ((potential((tk(P106)>=1) & (tk(P575)>=1))))))) & (EG( (! ((potential((tk(P94)>=1) & (tk(P252)>=1))))))) ) | (EG( ( (! ((potential((tk(P768)>=1))))) & ( ((potential((tk(P699)>=1)))) & ((potential((tk(P317)>=1)))) ) ))) ) )
PROPERTY: ASLink-PT-02b-CTLFireability-15 (EF( (AF( (EF( ((potential((tk(P937)>=1) & (tk(P1112)>=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="ASLink-PT-02b"
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 ASLink-PT-02b, 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 r003-smll-158897508000036"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-02b.tgz
mv ASLink-PT-02b 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 '
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 ;