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-158897508000020.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-01b, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508000020
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 476K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 09:36 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K 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.3K Apr 8 14:41 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K 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 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:56 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 293K 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-01b-CTLFireability-00
FORMULA_NAME ASLink-PT-01b-CTLFireability-01
FORMULA_NAME ASLink-PT-01b-CTLFireability-02
FORMULA_NAME ASLink-PT-01b-CTLFireability-03
FORMULA_NAME ASLink-PT-01b-CTLFireability-04
FORMULA_NAME ASLink-PT-01b-CTLFireability-05
FORMULA_NAME ASLink-PT-01b-CTLFireability-06
FORMULA_NAME ASLink-PT-01b-CTLFireability-07
FORMULA_NAME ASLink-PT-01b-CTLFireability-08
FORMULA_NAME ASLink-PT-01b-CTLFireability-09
FORMULA_NAME ASLink-PT-01b-CTLFireability-10
FORMULA_NAME ASLink-PT-01b-CTLFireability-11
FORMULA_NAME ASLink-PT-01b-CTLFireability-12
FORMULA_NAME ASLink-PT-01b-CTLFireability-13
FORMULA_NAME ASLink-PT-01b-CTLFireability-14
FORMULA_NAME ASLink-PT-01b-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1588989237823

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 01b
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: 846 places, 1148 transitions, 3624 arcs.
AT ITER 0 NEW BEST:: SOT 592042 SOS 207952 HAS SOPS 207952 HAS SOUS 160350 HAS SOUPS 160350 WITH SCORE 160557.952
AT ITER 1 NEW BEST:: SOT 592037 SOS 207947 HAS SOPS 207947 HAS SOUS 160344 HAS SOUPS 160344 WITH SCORE 160551.947
AT ITER 7 NEW BEST:: SOT 591893 SOS 207560 HAS SOPS 207560 HAS SOUS 160042 HAS SOUPS 160042 WITH SCORE 160249.56
AT ITER 16 NEW BEST:: SOT 591842 SOS 207458 HAS SOPS 207458 HAS SOUS 159990 HAS SOUPS 159990 WITH SCORE 160197.458
AT ITER 19 NEW BEST:: SOT 591138 SOS 211270 HAS SOPS 211270 HAS SOUS 159655 HAS SOUPS 159655 WITH SCORE 159866.27
AT ITER 22 NEW BEST:: SOT 591034 SOS 210898 HAS SOPS 210898 HAS SOUS 159508 HAS SOUPS 159508 WITH SCORE 159718.898
AT ITER 26 NEW BEST:: SOT 591024 SOS 210868 HAS SOPS 210868 HAS SOUS 159481 HAS SOUPS 159481 WITH SCORE 159691.868
AT ITER 28 NEW BEST:: SOT 590911 SOS 210733 HAS SOPS 210733 HAS SOUS 159458 HAS SOUPS 159458 WITH SCORE 159668.733
AT ITER 31 NEW BEST:: SOT 590794 SOS 210311 HAS SOPS 210311 HAS SOUS 159283 HAS SOUPS 159283 WITH SCORE 159493.311
AT ITER 41 NEW BEST:: SOT 590402 SOS 210004 HAS SOPS 210004 HAS SOUS 159139 HAS SOUPS 159139 WITH SCORE 159349.004
AT ITER 52 NEW BEST:: SOT 590402 SOS 210002 HAS SOPS 210002 HAS SOUS 159138 HAS SOUPS 159138 WITH SCORE 159348.002
AT ITER 54 NEW BEST:: SOT 589206 SOS 209797 HAS SOPS 209797 HAS SOUS 158335 HAS SOUPS 158335 WITH SCORE 158544.797
AT ITER 73 NEW BEST:: SOT 589125 SOS 209685 HAS SOPS 209685 HAS SOUS 158266 HAS SOUPS 158266 WITH SCORE 158475.685
AT ITER 77 NEW BEST:: SOT 589125 SOS 209684 HAS SOPS 209684 HAS SOUS 158265 HAS SOUPS 158265 WITH SCORE 158474.684
AT ITER 78 NEW BEST:: SOT 588877 SOS 209436 HAS SOPS 209436 HAS SOUS 158234 HAS SOUPS 158234 WITH SCORE 158443.436
AT ITER 98 NEW BEST:: SOT 588567 SOS 209201 HAS SOPS 209201 HAS SOUS 158120 HAS SOUPS 158120 WITH SCORE 158329.201
AT ITER 125 NEW BEST:: SOT 588620 SOS 209147 HAS SOPS 209147 HAS SOUS 158066 HAS SOUPS 158066 WITH SCORE 158275.147
AT ITER 134 NEW BEST:: SOT 588594 SOS 209121 HAS SOPS 209121 HAS SOUS 158040 HAS SOUPS 158040 WITH SCORE 158249.121
AT ITER 138 NEW BEST:: SOT 588476 SOS 208945 HAS SOPS 208945 HAS SOUS 157893 HAS SOUPS 157893 WITH SCORE 158101.945
AT ITER 144 NEW BEST:: SOT 587840 SOS 208309 HAS SOPS 208309 HAS SOUS 157257 HAS SOUPS 157257 WITH SCORE 157465.309
AT ITER 155 NEW BEST:: SOT 587715 SOS 208059 HAS SOPS 208059 HAS SOUS 157130 HAS SOUPS 157130 WITH SCORE 157338.059
AT ITER 163 NEW BEST:: SOT 587547 SOS 207947 HAS SOPS 207947 HAS SOUS 157018 HAS SOUPS 157018 WITH SCORE 157225.947
AT ITER 179 NEW BEST:: SOT 587529 SOS 207929 HAS SOPS 207929 HAS SOUS 156999 HAS SOUPS 156999 WITH SCORE 157206.929
AT ITER 190 NEW BEST:: SOT 587480 SOS 207880 HAS SOPS 207880 HAS SOUS 156950 HAS SOUPS 156950 WITH SCORE 157157.88
AT ITER 193 NEW BEST:: SOT 587324 SOS 207611 HAS SOPS 207611 HAS SOUS 156688 HAS SOUPS 156688 WITH SCORE 156895.611
AT ITER 203 NEW BEST:: SOT 587324 SOS 207469 HAS SOPS 207469 HAS SOUS 156688 HAS SOUPS 156688 WITH SCORE 156895.469
AT ITER 211 NEW BEST:: SOT 587317 SOS 207455 HAS SOPS 207455 HAS SOUS 156674 HAS SOUPS 156674 WITH SCORE 156881.455
AT ITER 212 NEW BEST:: SOT 587116 SOS 207710 HAS SOPS 207710 HAS SOUS 156635 HAS SOUPS 156635 WITH SCORE 156842.71
AT ITER 213 NEW BEST:: SOT 587035 SOS 207629 HAS SOPS 207629 HAS SOUS 156533 HAS SOUPS 156533 WITH SCORE 156740.629
AT ITER 222 NEW BEST:: SOT 587012 SOS 207645 HAS SOPS 207645 HAS SOUS 156510 HAS SOUPS 156510 WITH SCORE 156717.645
AT ITER 223 NEW BEST:: SOT 586853 SOS 207370 HAS SOPS 207370 HAS SOUS 156222 HAS SOUPS 156222 WITH SCORE 156429.37
AT ITER 225 NEW BEST:: SOT 586747 SOS 207006 HAS SOPS 207006 HAS SOUS 154609 HAS SOUPS 154609 WITH SCORE 154816.006
AT ITER 229 NEW BEST:: SOT 586747 SOS 207269 HAS SOPS 207269 HAS SOUS 154592 HAS SOUPS 154592 WITH SCORE 154799.269
AT ITER 241 NEW BEST:: SOT 586664 SOS 207184 HAS SOPS 207184 HAS SOUS 154507 HAS SOUPS 154507 WITH SCORE 154714.184
AT ITER 246 NEW BEST:: SOT 586426 SOS 206876 HAS SOPS 206876 HAS SOUS 154266 HAS SOUPS 154266 WITH SCORE 154472.876
AT ITER 251 NEW BEST:: SOT 586168 SOS 206816 HAS SOPS 206816 HAS SOUS 154205 HAS SOUPS 154205 WITH SCORE 154411.816
AT ITER 270 NEW BEST:: SOT 585763 SOS 206455 HAS SOPS 206455 HAS SOUS 153977 HAS SOUPS 153977 WITH SCORE 154183.455
AT ITER 279 NEW BEST:: SOT 585763 SOS 206449 HAS SOPS 206449 HAS SOUS 153977 HAS SOUPS 153977 WITH SCORE 154183.449
AT ITER 286 NEW BEST:: SOT 585507 SOS 206019 HAS SOPS 206019 HAS SOUS 153600 HAS SOUPS 153600 WITH SCORE 153806.019
AT ITER 291 NEW BEST:: SOT 585307 SOS 205652 HAS SOPS 205652 HAS SOUS 153393 HAS SOUPS 153393 WITH SCORE 153598.652
AT ITER 294 NEW BEST:: SOT 585272 SOS 205587 HAS SOPS 205587 HAS SOUS 153328 HAS SOUPS 153328 WITH SCORE 153533.587
AT ITER 299 NEW BEST:: SOT 585267 SOS 205137 HAS SOPS 205137 HAS SOUS 153201 HAS SOUPS 153201 WITH SCORE 153406.137
AT ITER 304 NEW BEST:: SOT 585238 SOS 205067 HAS SOPS 205067 HAS SOUS 153131 HAS SOUPS 153131 WITH SCORE 153336.067
AT ITER 318 NEW BEST:: SOT 585168 SOS 204927 HAS SOPS 204927 HAS SOUS 152991 HAS SOUPS 152991 WITH SCORE 153195.927
AT ITER 320 NEW BEST:: SOT 585110 SOS 204811 HAS SOPS 204811 HAS SOUS 152875 HAS SOUPS 152875 WITH SCORE 153079.811
AT ITER 327 NEW BEST:: SOT 584974 SOS 204543 HAS SOPS 204543 HAS SOUS 150884 HAS SOUPS 150884 WITH SCORE 151088.543
AT ITER 334 NEW BEST:: SOT 584974 SOS 204503 HAS SOPS 204503 HAS SOUS 150844 HAS SOUPS 150844 WITH SCORE 151048.503
AT ITER 338 NEW BEST:: SOT 584974 SOS 204445 HAS SOPS 204445 HAS SOUS 150841 HAS SOUPS 150841 WITH SCORE 151045.445
AT ITER 342 NEW BEST:: SOT 584776 SOS 204129 HAS SOPS 204129 HAS SOUS 150723 HAS SOUPS 150723 WITH SCORE 150927.129
AT ITER 345 NEW BEST:: SOT 584635 SOS 204074 HAS SOPS 204074 HAS SOUS 150610 HAS SOUPS 150610 WITH SCORE 150814.074
AT ITER 347 NEW BEST:: SOT 584481 SOS 203958 HAS SOPS 203958 HAS SOUS 150494 HAS SOUPS 150494 WITH SCORE 150697.958
AT ITER 350 NEW BEST:: SOT 584481 SOS 203812 HAS SOPS 203812 HAS SOUS 150494 HAS SOUPS 150494 WITH SCORE 150697.812
AT ITER 352 NEW BEST:: SOT 585729 SOS 205065 HAS SOPS 205065 HAS SOUS 148412 HAS SOUPS 148412 WITH SCORE 148617.065
AT ITER 362 NEW BEST:: SOT 585706 SOS 204754 HAS SOPS 204754 HAS SOUS 148404 HAS SOUPS 148404 WITH SCORE 148608.754
AT ITER 367 NEW BEST:: SOT 585659 SOS 204836 HAS SOPS 204836 HAS SOUS 148332 HAS SOUPS 148332 WITH SCORE 148536.836
AT ITER 376 NEW BEST:: SOT 585601 SOS 204774 HAS SOPS 204774 HAS SOUS 148270 HAS SOUPS 148270 WITH SCORE 148474.774
AT ITER 389 NEW BEST:: SOT 585601 SOS 204734 HAS SOPS 204734 HAS SOUS 148076 HAS SOUPS 148076 WITH SCORE 148280.734
AT ITER 396 NEW BEST:: SOT 585366 SOS 204499 HAS SOPS 204499 HAS SOUS 147868 HAS SOUPS 147868 WITH SCORE 148072.499
AT ITER 400 NEW BEST:: SOT 585365 SOS 204498 HAS SOPS 204498 HAS SOUS 147867 HAS SOUPS 147867 WITH SCORE 148071.498
AT ITER 401 NEW BEST:: SOT 585365 SOS 204427 HAS SOPS 204427 HAS SOUS 147851 HAS SOUPS 147851 WITH SCORE 148055.427
AT ITER 411 NEW BEST:: SOT 585162 SOS 204247 HAS SOPS 204247 HAS SOUS 147671 HAS SOUPS 147671 WITH SCORE 147875.247
AT ITER 412 NEW BEST:: SOT 585179 SOS 204366 HAS SOPS 204366 HAS SOUS 147620 HAS SOUPS 147620 WITH SCORE 147824.366
AT ITER 418 NEW BEST:: SOT 585026 SOS 204397 HAS SOPS 204397 HAS SOUS 147542 HAS SOUPS 147542 WITH SCORE 147746.397
AT ITER 430 NEW BEST:: SOT 584959 SOS 204211 HAS SOPS 204211 HAS SOUS 147443 HAS SOUPS 147443 WITH SCORE 147647.211
AT ITER 435 NEW BEST:: SOT 584959 SOS 206051 HAS SOPS 206051 HAS SOUS 147327 HAS SOUPS 147327 WITH SCORE 147533.051
AT ITER 444 NEW BEST:: SOT 584959 SOS 206050 HAS SOPS 206050 HAS SOUS 147326 HAS SOUPS 147326 WITH SCORE 147532.05
AT ITER 447 NEW BEST:: SOT 584931 SOS 206022 HAS SOPS 206022 HAS SOUS 147292 HAS SOUPS 147292 WITH SCORE 147498.022
AT ITER 454 NEW BEST:: SOT 585027 SOS 204105 HAS SOPS 204105 HAS SOUS 144742 HAS SOUPS 144742 WITH SCORE 144946.105
AT ITER 471 NEW BEST:: SOT 584971 SOS 204101 HAS SOPS 204101 HAS SOUS 144690 HAS SOUPS 144690 WITH SCORE 144894.101
AT ITER 474 NEW BEST:: SOT 584949 SOS 204079 HAS SOPS 204079 HAS SOUS 144668 HAS SOUPS 144668 WITH SCORE 144872.079
AT ITER 476 NEW BEST:: SOT 584774 SOS 203866 HAS SOPS 203866 HAS SOUS 144462 HAS SOUPS 144462 WITH SCORE 144665.866
AT ITER 479 NEW BEST:: SOT 584774 SOS 203863 HAS SOPS 203863 HAS SOUS 144459 HAS SOUPS 144459 WITH SCORE 144662.863
AT ITER 484 NEW BEST:: SOT 584755 SOS 203779 HAS SOPS 203779 HAS SOUS 144440 HAS SOUPS 144440 WITH SCORE 144643.779
AT ITER 492 NEW BEST:: SOT 584591 SOS 203631 HAS SOPS 203631 HAS SOUS 144292 HAS SOUPS 144292 WITH SCORE 144495.631
AT ITER 502 NEW BEST:: SOT 584537 SOS 203584 HAS SOPS 203584 HAS SOUS 144206 HAS SOUPS 144206 WITH SCORE 144409.584
AT ITER 508 NEW BEST:: SOT 584459 SOS 203208 HAS SOPS 203208 HAS SOUS 144111 HAS SOUPS 144111 WITH SCORE 144314.208
AT ITER 515 NEW BEST:: SOT 584405 SOS 203154 HAS SOPS 203154 HAS SOUS 144057 HAS SOUPS 144057 WITH SCORE 144260.154
AT ITER 521 NEW BEST:: SOT 584350 SOS 203476 HAS SOPS 203476 HAS SOUS 143994 HAS SOUPS 143994 WITH SCORE 144197.476
AT ITER 554 NEW BEST:: SOT 584337 SOS 203399 HAS SOPS 203399 HAS SOUS 143915 HAS SOUPS 143915 WITH SCORE 144118.399
AT ITER 559 NEW BEST:: SOT 584101 SOS 203154 HAS SOPS 203154 HAS SOUS 143670 HAS SOUPS 143670 WITH SCORE 143873.154
AT ITER 579 NEW BEST:: SOT 583827 SOS 202917 HAS SOPS 202917 HAS SOUS 143433 HAS SOUPS 143433 WITH SCORE 143635.917
AT ITER 581 NEW BEST:: SOT 583709 SOS 202666 HAS SOPS 202666 HAS SOUS 143182 HAS SOUPS 143182 WITH SCORE 143384.666
AT ITER 583 NEW BEST:: SOT 582463 SOS 202476 HAS SOPS 202476 HAS SOUS 142153 HAS SOUPS 142153 WITH SCORE 142355.476
AT ITER 591 NEW BEST:: SOT 582459 SOS 202472 HAS SOPS 202472 HAS SOUS 142141 HAS SOUPS 142141 WITH SCORE 142343.472
AT ITER 603 NEW BEST:: SOT 582452 SOS 202350 HAS SOPS 202350 HAS SOUS 142019 HAS SOUPS 142019 WITH SCORE 142221.35
AT ITER 605 NEW BEST:: SOT 581804 SOS 201810 HAS SOPS 201810 HAS SOUS 141479 HAS SOUPS 141479 WITH SCORE 141680.81
AT ITER 606 NEW BEST:: SOT 581692 SOS 201414 HAS SOPS 201414 HAS SOUS 141288 HAS SOUPS 141288 WITH SCORE 141489.414
AT ITER 611 NEW BEST:: SOT 581659 SOS 201205 HAS SOPS 201205 HAS SOUS 141233 HAS SOUPS 141233 WITH SCORE 141434.205
AT ITER 623 NEW BEST:: SOT 581570 SOS 201112 HAS SOPS 201112 HAS SOUS 141143 HAS SOUPS 141143 WITH SCORE 141344.112
AT ITER 636 NEW BEST:: SOT 581291 SOS 200601 HAS SOPS 200601 HAS SOUS 140721 HAS SOUPS 140721 WITH SCORE 140921.601
AT ITER 639 NEW BEST:: SOT 581231 SOS 200481 HAS SOPS 200481 HAS SOUS 140655 HAS SOUPS 140655 WITH SCORE 140855.481
AT ITER 641 NEW BEST:: SOT 581226 SOS 199978 HAS SOPS 199978 HAS SOUS 140579 HAS SOUPS 140579 WITH SCORE 140778.978
AT ITER 644 NEW BEST:: SOT 581175 SOS 199876 HAS SOPS 199876 HAS SOUS 140447 HAS SOUPS 140447 WITH SCORE 140646.876
AT ITER 645 NEW BEST:: SOT 581091 SOS 199852 HAS SOPS 199852 HAS SOUS 140373 HAS SOUPS 140373 WITH SCORE 140572.852
AT ITER 651 NEW BEST:: SOT 581068 SOS 199658 HAS SOPS 199658 HAS SOUS 140242 HAS SOUPS 140242 WITH SCORE 140441.658
AT ITER 662 NEW BEST:: SOT 581055 SOS 199457 HAS SOPS 199457 HAS SOUS 138187 HAS SOUPS 138187 WITH SCORE 138386.457
AT ITER 664 NEW BEST:: SOT 581055 SOS 199402 HAS SOPS 199402 HAS SOUS 138132 HAS SOUPS 138132 WITH SCORE 138331.402
AT ITER 665 NEW BEST:: SOT 581052 SOS 199393 HAS SOPS 199393 HAS SOUS 138123 HAS SOUPS 138123 WITH SCORE 138322.393
AT ITER 672 NEW BEST:: SOT 580920 SOS 199261 HAS SOPS 199261 HAS SOUS 137991 HAS SOUPS 137991 WITH SCORE 138190.261
AT ITER 682 NEW BEST:: SOT 580783 SOS 198987 HAS SOPS 198987 HAS SOUS 137717 HAS SOUPS 137717 WITH SCORE 137915.987
AT ITER 701 NEW BEST:: SOT 580646 SOS 198850 HAS SOPS 198850 HAS SOUS 137580 HAS SOUPS 137580 WITH SCORE 137778.85
AT ITER 703 NEW BEST:: SOT 580646 SOS 198748 HAS SOPS 198748 HAS SOUS 137529 HAS SOUPS 137529 WITH SCORE 137727.748
AT ITER 707 NEW BEST:: SOT 580645 SOS 198746 HAS SOPS 198746 HAS SOUS 137527 HAS SOUPS 137527 WITH SCORE 137725.746
AT ITER 718 NEW BEST:: SOT 580624 SOS 198455 HAS SOPS 198455 HAS SOUS 137483 HAS SOUPS 137483 WITH SCORE 137681.455
AT ITER 723 NEW BEST:: SOT 581532 SOS 199694 HAS SOPS 199694 HAS SOUS 135205 HAS SOUPS 135205 WITH SCORE 135404.694
AT ITER 725 NEW BEST:: SOT 581532 SOS 199676 HAS SOPS 199676 HAS SOUS 135204 HAS SOUPS 135204 WITH SCORE 135403.676
AT ITER 726 NEW BEST:: SOT 581532 SOS 199435 HAS SOPS 199435 HAS SOUS 135203 HAS SOUPS 135203 WITH SCORE 135402.435
AT ITER 727 NEW BEST:: SOT 581535 SOS 199400 HAS SOPS 199400 HAS SOUS 135168 HAS SOUPS 135168 WITH SCORE 135367.4
AT ITER 735 NEW BEST:: SOT 581478 SOS 199285 HAS SOPS 199285 HAS SOUS 135108 HAS SOUPS 135108 WITH SCORE 135307.285
AT ITER 749 NEW BEST:: SOT 581478 SOS 199258 HAS SOPS 199258 HAS SOUS 135081 HAS SOUPS 135081 WITH SCORE 135280.258
AT ITER 759 NEW BEST:: SOT 581452 SOS 199062 HAS SOPS 199062 HAS SOUS 134845 HAS SOUPS 134845 WITH SCORE 135044.062
AT ITER 784 NEW BEST:: SOT 581457 SOS 199067 HAS SOPS 199067 HAS SOUS 134785 HAS SOUPS 134785 WITH SCORE 134984.067
AT ITER 793 NEW BEST:: SOT 581264 SOS 198488 HAS SOPS 198488 HAS SOUS 134399 HAS SOUPS 134399 WITH SCORE 134597.488
AT ITER 799 NEW BEST:: SOT 581264 SOS 198425 HAS SOPS 198425 HAS SOUS 134336 HAS SOUPS 134336 WITH SCORE 134534.425
AT ITER 810 NEW BEST:: SOT 581102 SOS 198307 HAS SOPS 198307 HAS SOUS 134220 HAS SOUPS 134220 WITH SCORE 134418.307
AT ITER 811 NEW BEST:: SOT 581102 SOS 198234 HAS SOPS 198234 HAS SOUS 134219 HAS SOUPS 134219 WITH SCORE 134417.234
AT ITER 835 NEW BEST:: SOT 580736 SOS 197778 HAS SOPS 197778 HAS SOUS 133899 HAS SOUPS 133899 WITH SCORE 134096.778
AT ITER 837 NEW BEST:: SOT 580639 SOS 197419 HAS SOPS 197419 HAS SOUS 133797 HAS SOUPS 133797 WITH SCORE 133994.419
AT ITER 850 NEW BEST:: SOT 580639 SOS 197393 HAS SOPS 197393 HAS SOUS 133771 HAS SOUPS 133771 WITH SCORE 133968.393
AT ITER 852 NEW BEST:: SOT 580567 SOS 197336 HAS SOPS 197336 HAS SOUS 133692 HAS SOUPS 133692 WITH SCORE 133889.336
AT ITER 854 NEW BEST:: SOT 580566 SOS 197334 HAS SOPS 197334 HAS SOUS 133690 HAS SOUPS 133690 WITH SCORE 133887.334
AT ITER 858 NEW BEST:: SOT 580462 SOS 196980 HAS SOPS 196980 HAS SOUS 133470 HAS SOUPS 133470 WITH SCORE 133666.98
AT ITER 860 NEW BEST:: SOT 580445 SOS 196946 HAS SOPS 196946 HAS SOUS 133453 HAS SOUPS 133453 WITH SCORE 133649.946
AT ITER 865 NEW BEST:: SOT 580444 SOS 196944 HAS SOPS 196944 HAS SOUS 133451 HAS SOUPS 133451 WITH SCORE 133647.944
AT ITER 873 NEW BEST:: SOT 580273 SOS 196799 HAS SOPS 196799 HAS SOUS 133246 HAS SOUPS 133246 WITH SCORE 133442.799
AT ITER 874 NEW BEST:: SOT 580171 SOS 196818 HAS SOPS 196818 HAS SOUS 133169 HAS SOUPS 133169 WITH SCORE 133365.818
AT ITER 893 NEW BEST:: SOT 580122 SOS 196446 HAS SOPS 196446 HAS SOUS 133022 HAS SOUPS 133022 WITH SCORE 133218.446
AT ITER 912 NEW BEST:: SOT 579988 SOS 198960 HAS SOPS 198960 HAS SOUS 132754 HAS SOUPS 132754 WITH SCORE 132952.96
AT ITER 916 NEW BEST:: SOT 579926 SOS 198920 HAS SOPS 198920 HAS SOUS 132714 HAS SOUPS 132714 WITH SCORE 132912.92
AT ITER 920 NEW BEST:: SOT 579926 SOS 198891 HAS SOPS 198891 HAS SOUS 132712 HAS SOUPS 132712 WITH SCORE 132910.891
AT ITER 921 NEW BEST:: SOT 579892 SOS 198814 HAS SOPS 198814 HAS SOUS 132635 HAS SOUPS 132635 WITH SCORE 132833.814
AT ITER 922 NEW BEST:: SOT 579816 SOS 198593 HAS SOPS 198593 HAS SOUS 132517 HAS SOUPS 132517 WITH SCORE 132715.593
AT ITER 924 NEW BEST:: SOT 579799 SOS 198576 HAS SOPS 198576 HAS SOUS 132498 HAS SOUPS 132498 WITH SCORE 132696.576
AT ITER 930 NEW BEST:: SOT 579799 SOS 198543 HAS SOPS 198543 HAS SOUS 132465 HAS SOUPS 132465 WITH SCORE 132663.543
AT ITER 931 NEW BEST:: SOT 579692 SOS 198481 HAS SOPS 198481 HAS SOUS 132423 HAS SOUPS 132423 WITH SCORE 132621.481
AT ITER 944 NEW BEST:: SOT 579667 SOS 198356 HAS SOPS 198356 HAS SOUS 132348 HAS SOUPS 132348 WITH SCORE 132546.356
AT ITER 952 NEW BEST:: SOT 579667 SOS 198346 HAS SOPS 198346 HAS SOUS 132348 HAS SOUPS 132348 WITH SCORE 132546.346
AT ITER 956 NEW BEST:: SOT 579619 SOS 198296 HAS SOPS 198296 HAS SOUS 132298 HAS SOUPS 132298 WITH SCORE 132496.296
AT ITER 957 NEW BEST:: SOT 579543 SOS 198127 HAS SOPS 198127 HAS SOUS 132241 HAS SOUPS 132241 WITH SCORE 132439.127
AT ITER 962 NEW BEST:: SOT 579467 SOS 199156 HAS SOPS 199156 HAS SOUS 132165 HAS SOUPS 132165 WITH SCORE 132364.156
AT ITER 965 NEW BEST:: SOT 579262 SOS 198473 HAS SOPS 198473 HAS SOUS 128736 HAS SOUPS 128736 WITH SCORE 128934.473
AT ITER 966 NEW BEST:: SOT 579130 SOS 198366 HAS SOPS 198366 HAS SOUS 128629 HAS SOUPS 128629 WITH SCORE 128827.366
AT ITER 976 NEW BEST:: SOT 579039 SOS 198273 HAS SOPS 198273 HAS SOUS 128537 HAS SOUPS 128537 WITH SCORE 128735.273
AT ITER 1028 NEW BEST:: SOT 578943 SOS 198260 HAS SOPS 198260 HAS SOUS 128524 HAS SOUPS 128524 WITH SCORE 128722.26
AT ITER 1036 NEW BEST:: SOT 578900 SOS 198223 HAS SOPS 198223 HAS SOUS 128487 HAS SOUPS 128487 WITH SCORE 128685.223
AT ITER 1047 NEW BEST:: SOT 578901 SOS 198224 HAS SOPS 198224 HAS SOUS 128478 HAS SOUPS 128478 WITH SCORE 128676.224
AT ITER 1062 NEW BEST:: SOT 577761 SOS 197274 HAS SOPS 197274 HAS SOUS 127473 HAS SOUPS 127473 WITH SCORE 127670.274
AT ITER 1081 NEW BEST:: SOT 577761 SOS 197437 HAS SOPS 197437 HAS SOUS 127462 HAS SOUPS 127462 WITH SCORE 127659.437
AT ITER 1083 NEW BEST:: SOT 577761 SOS 197373 HAS SOPS 197373 HAS SOUS 127314 HAS SOUPS 127314 WITH SCORE 127511.373
AT ITER 1104 NEW BEST:: SOT 577552 SOS 196019 HAS SOPS 196019 HAS SOUS 127034 HAS SOUPS 127034 WITH SCORE 127230.019
AT ITER 1134 NEW BEST:: SOT 577552 SOS 195966 HAS SOPS 195966 HAS SOUS 126981 HAS SOUPS 126981 WITH SCORE 127176.966
AT ITER 1136 NEW BEST:: SOT 577637 SOS 195905 HAS SOPS 195905 HAS SOUS 126919 HAS SOUPS 126919 WITH SCORE 127114.905
AT ITER 1146 NEW BEST:: SOT 577665 SOS 196031 HAS SOPS 196031 HAS SOUS 126898 HAS SOUPS 126898 WITH SCORE 127094.031
AT ITER 1152 NEW BEST:: SOT 577612 SOS 195925 HAS SOPS 195925 HAS SOUS 126453 HAS SOUPS 126453 WITH SCORE 126648.925
AT ITER 1163 NEW BEST:: SOT 577574 SOS 195621 HAS SOPS 195621 HAS SOUS 126339 HAS SOUPS 126339 WITH SCORE 126534.621
AT ITER 1165 NEW BEST:: SOT 577504 SOS 195424 HAS SOPS 195424 HAS SOUS 126210 HAS SOUPS 126210 WITH SCORE 126405.424
AT ITER 1171 NEW BEST:: SOT 577491 SOS 195397 HAS SOPS 195397 HAS SOUS 126197 HAS SOUPS 126197 WITH SCORE 126392.397
AT ITER 1177 NEW BEST:: SOT 577491 SOS 195276 HAS SOPS 195276 HAS SOUS 126197 HAS SOUPS 126197 WITH SCORE 126392.276
AT ITER 1181 NEW BEST:: SOT 577476 SOS 195231 HAS SOPS 195231 HAS SOUS 126152 HAS SOUPS 126152 WITH SCORE 126347.231
AT ITER 1219 NEW BEST:: SOT 577464 SOS 195224 HAS SOPS 195224 HAS SOUS 126145 HAS SOUPS 126145 WITH SCORE 126340.224
AT ITER 1258 NEW BEST:: SOT 576950 SOS 194889 HAS SOPS 194889 HAS SOUS 125779 HAS SOUPS 125779 WITH SCORE 125973.889
AT ITER 1277 NEW BEST:: SOT 576798 SOS 194661 HAS SOPS 194661 HAS SOUS 125551 HAS SOUPS 125551 WITH SCORE 125745.661
AT ITER 1278 NEW BEST:: SOT 576912 SOS 193335 HAS SOPS 193335 HAS SOUS 125485 HAS SOUPS 125485 WITH SCORE 125678.335
AT ITER 1285 NEW BEST:: SOT 576859 SOS 193215 HAS SOPS 193215 HAS SOUS 125432 HAS SOUPS 125432 WITH SCORE 125625.215
AT ITER 1288 NEW BEST:: SOT 576859 SOS 192975 HAS SOPS 192975 HAS SOUS 125384 HAS SOUPS 125384 WITH SCORE 125576.975
AT ITER 1289 NEW BEST:: SOT 576831 SOS 192947 HAS SOPS 192947 HAS SOUS 125356 HAS SOUPS 125356 WITH SCORE 125548.947
AT ITER 1290 NEW BEST:: SOT 577841 SOS 194030 HAS SOPS 194030 HAS SOUS 123225 HAS SOUPS 123225 WITH SCORE 123419.03
AT ITER 1309 NEW BEST:: SOT 577681 SOS 193870 HAS SOPS 193870 HAS SOUS 123065 HAS SOUPS 123065 WITH SCORE 123258.87
AT ITER 1313 NEW BEST:: SOT 577683 SOS 193749 HAS SOPS 193749 HAS SOUS 122944 HAS SOUPS 122944 WITH SCORE 123137.749
AT ITER 1320 NEW BEST:: SOT 577683 SOS 193741 HAS SOPS 193741 HAS SOUS 122936 HAS SOUPS 122936 WITH SCORE 123129.741
AT ITER 1329 NEW BEST:: SOT 577684 SOS 193517 HAS SOPS 193517 HAS SOUS 122936 HAS SOUPS 122936 WITH SCORE 123129.517
AT ITER 1331 NEW BEST:: SOT 577188 SOS 193016 HAS SOPS 193016 HAS SOUS 122935 HAS SOUPS 122935 WITH SCORE 123128.016
AT ITER 1342 NEW BEST:: SOT 577244 SOS 193004 HAS SOPS 193004 HAS SOUS 122923 HAS SOUPS 122923 WITH SCORE 123116.004
AT ITER 1354 NEW BEST:: SOT 577231 SOS 192991 HAS SOPS 192991 HAS SOUS 122910 HAS SOUPS 122910 WITH SCORE 123102.991
AT ITER 1355 NEW BEST:: SOT 577217 SOS 192801 HAS SOPS 192801 HAS SOUS 122910 HAS SOUPS 122910 WITH SCORE 123102.801
AT ITER 1359 NEW BEST:: SOT 577217 SOS 192596 HAS SOPS 192596 HAS SOUS 122908 HAS SOUPS 122908 WITH SCORE 123100.596
AT ITER 1361 NEW BEST:: SOT 577162 SOS 192531 HAS SOPS 192531 HAS SOUS 122743 HAS SOUPS 122743 WITH SCORE 122935.531
AT ITER 1379 NEW BEST:: SOT 577174 SOS 192404 HAS SOPS 192404 HAS SOUS 122616 HAS SOUPS 122616 WITH SCORE 122808.404
AT ITER 1380 NEW BEST:: SOT 577120 SOS 192339 HAS SOPS 192339 HAS SOUS 122551 HAS SOUPS 122551 WITH SCORE 122743.339
AT ITER 1382 NEW BEST:: SOT 576981 SOS 192187 HAS SOPS 192187 HAS SOUS 122331 HAS SOUPS 122331 WITH SCORE 122523.187
AT ITER 1396 NEW BEST:: SOT 576884 SOS 192210 HAS SOPS 192210 HAS SOUS 122156 HAS SOUPS 122156 WITH SCORE 122348.21
AT ITER 1398 NEW BEST:: SOT 576880 SOS 192206 HAS SOPS 192206 HAS SOUS 122152 HAS SOUPS 122152 WITH SCORE 122344.206
AT ITER 1409 NEW BEST:: SOT 576688 SOS 191840 HAS SOPS 191840 HAS SOUS 121909 HAS SOUPS 121909 WITH SCORE 122100.84
AT ITER 1418 NEW BEST:: SOT 576643 SOS 191795 HAS SOPS 191795 HAS SOUS 121864 HAS SOUPS 121864 WITH SCORE 122055.795
AT ITER 1432 NEW BEST:: SOT 576614 SOS 191751 HAS SOPS 191751 HAS SOUS 121819 HAS SOUPS 121819 WITH SCORE 122010.751
AT ITER 1434 NEW BEST:: SOT 576439 SOS 191839 HAS SOPS 191839 HAS SOUS 121810 HAS SOUPS 121810 WITH SCORE 122001.839
AT ITER 1435 NEW BEST:: SOT 576439 SOS 191801 HAS SOPS 191801 HAS SOUS 121773 HAS SOUPS 121773 WITH SCORE 121964.801
AT ITER 1447 NEW BEST:: SOT 576206 SOS 191794 HAS SOPS 191794 HAS SOUS 121653 HAS SOUPS 121653 WITH SCORE 121844.794
AT ITER 1459 NEW BEST:: SOT 576146 SOS 191614 HAS SOPS 191614 HAS SOUS 121473 HAS SOUPS 121473 WITH SCORE 121664.614
AT ITER 1463 NEW BEST:: SOT 576133 SOS 191588 HAS SOPS 191588 HAS SOUS 121460 HAS SOUPS 121460 WITH SCORE 121651.588
AT ITER 1524 NEW BEST:: SOT 576132 SOS 191581 HAS SOPS 191581 HAS SOUS 121453 HAS SOUPS 121453 WITH SCORE 121644.581
AT ITER 1555 NEW BEST:: SOT 576103 SOS 191522 HAS SOPS 191522 HAS SOUS 121291 HAS SOUPS 121291 WITH SCORE 121482.522
AT ITER 1567 NEW BEST:: SOT 576094 SOS 191434 HAS SOPS 191434 HAS SOUS 121273 HAS SOUPS 121273 WITH SCORE 121464.434
AT ITER 1587 NEW BEST:: SOT 576002 SOS 191172 HAS SOPS 191172 HAS SOUS 121011 HAS SOUPS 121011 WITH SCORE 121202.172
AT ITER 1590 NEW BEST:: SOT 575980 SOS 191150 HAS SOPS 191150 HAS SOUS 120629 HAS SOUPS 120629 WITH SCORE 120820.15
AT ITER 1602 NEW BEST:: SOT 575944 SOS 191114 HAS SOPS 191114 HAS SOUS 120593 HAS SOUPS 120593 WITH SCORE 120784.114
AT ITER 1605 NEW BEST:: SOT 575926 SOS 190857 HAS SOPS 190857 HAS SOUS 120560 HAS SOUPS 120560 WITH SCORE 120750.857
AT ITER 1608 NEW BEST:: SOT 575925 SOS 190941 HAS SOPS 190941 HAS SOUS 120539 HAS SOUPS 120539 WITH SCORE 120729.941
AT ITER 1616 NEW BEST:: SOT 575925 SOS 190899 HAS SOPS 190899 HAS SOUS 120497 HAS SOUPS 120497 WITH SCORE 120687.899
AT ITER 1629 NEW BEST:: SOT 575252 SOS 190146 HAS SOPS 190146 HAS SOUS 120400 HAS SOUPS 120400 WITH SCORE 120590.146
AT ITER 1666 NEW BEST:: SOT 575283 SOS 190108 HAS SOPS 190108 HAS SOUS 120362 HAS SOUPS 120362 WITH SCORE 120552.108
AT ITER 1678 NEW BEST:: SOT 575243 SOS 189978 HAS SOPS 189978 HAS SOUS 120294 HAS SOUPS 120294 WITH SCORE 120483.978
AT ITER 1694 NEW BEST:: SOT 575244 SOS 189977 HAS SOPS 189977 HAS SOUS 120293 HAS SOUPS 120293 WITH SCORE 120482.977
AT ITER 1700 NEW BEST:: SOT 574531 SOS 189337 HAS SOPS 189337 HAS SOUS 119684 HAS SOUPS 119684 WITH SCORE 119873.337
AT ITER 1704 NEW BEST:: SOT 574477 SOS 189283 HAS SOPS 189283 HAS SOUS 119598 HAS SOUPS 119598 WITH SCORE 119787.283
AT ITER 1723 NEW BEST:: SOT 574444 SOS 189229 HAS SOPS 189229 HAS SOUS 119406 HAS SOUPS 119406 WITH SCORE 119595.229
AT ITER 1759 NEW BEST:: SOT 574377 SOS 189225 HAS SOPS 189225 HAS SOUS 119402 HAS SOUPS 119402 WITH SCORE 119591.225
AT ITER 1769 NEW BEST:: SOT 574376 SOS 189699 HAS SOPS 189699 HAS SOUS 119400 HAS SOUPS 119400 WITH SCORE 119589.699
AT ITER 1795 NEW BEST:: SOT 574355 SOS 189391 HAS SOPS 189391 HAS SOUS 119353 HAS SOUPS 119353 WITH SCORE 119542.391
AT ITER 1797 NEW BEST:: SOT 574353 SOS 189389 HAS SOPS 189389 HAS SOUS 119350 HAS SOUPS 119350 WITH SCORE 119539.389
AT ITER 1808 NEW BEST:: SOT 574106 SOS 189323 HAS SOPS 189323 HAS SOUS 119210 HAS SOUPS 119210 WITH SCORE 119399.323
AT ITER 1822 NEW BEST:: SOT 573931 SOS 188752 HAS SOPS 188752 HAS SOUS 119088 HAS SOUPS 119088 WITH SCORE 119276.752
AT ITER 1844 NEW BEST:: SOT 573930 SOS 189219 HAS SOPS 189219 HAS SOUS 119086 HAS SOUPS 119086 WITH SCORE 119275.219
AT ITER 1854 NEW BEST:: SOT 573930 SOS 189219 HAS SOPS 189219 HAS SOUS 119020 HAS SOUPS 119020 WITH SCORE 119209.219
AT ITER 1855 NEW BEST:: SOT 573888 SOS 187253 HAS SOPS 187253 HAS SOUS 118902 HAS SOUPS 118902 WITH SCORE 119089.253
AT ITER 1865 NEW BEST:: SOT 573763 SOS 187127 HAS SOPS 187127 HAS SOUS 118776 HAS SOUPS 118776 WITH SCORE 118963.127
AT ITER 1872 NEW BEST:: SOT 573763 SOS 186455 HAS SOPS 186455 HAS SOUS 118776 HAS SOUPS 118776 WITH SCORE 118962.455
AT ITER 1875 NEW BEST:: SOT 573709 SOS 186186 HAS SOPS 186186 HAS SOUS 118507 HAS SOUPS 118507 WITH SCORE 118693.186
AT ITER 1883 NEW BEST:: SOT 573548 SOS 186168 HAS SOPS 186168 HAS SOUS 118489 HAS SOUPS 118489 WITH SCORE 118675.168
AT ITER 1900 NEW BEST:: SOT 573536 SOS 186155 HAS SOPS 186155 HAS SOUS 118476 HAS SOUPS 118476 WITH SCORE 118662.155
AT ITER 1902 NEW BEST:: SOT 573447 SOS 186019 HAS SOPS 186019 HAS SOUS 118407 HAS SOUPS 118407 WITH SCORE 118593.019
AT ITER 1905 NEW BEST:: SOT 573390 SOS 186004 HAS SOPS 186004 HAS SOUS 118407 HAS SOUPS 118407 WITH SCORE 118593.004
AT ITER 1908 NEW BEST:: SOT 573384 SOS 185992 HAS SOPS 185992 HAS SOUS 118395 HAS SOUPS 118395 WITH SCORE 118580.992
AT ITER 1929 NEW BEST:: SOT 573384 SOS 185949 HAS SOPS 185949 HAS SOUS 118352 HAS SOUPS 118352 WITH SCORE 118537.949
AT ITER 1933 NEW BEST:: SOT 573383 SOS 185988 HAS SOPS 185988 HAS SOUS 118268 HAS SOUPS 118268 WITH SCORE 118453.988
AT ITER 1951 NEW BEST:: SOT 573383 SOS 185965 HAS SOPS 185965 HAS SOUS 118245 HAS SOUPS 118245 WITH SCORE 118430.965
AT ITER 1961 NEW BEST:: SOT 573323 SOS 185845 HAS SOPS 185845 HAS SOUS 118125 HAS SOUPS 118125 WITH SCORE 118310.845
AT ITER 1968 NEW BEST:: SOT 573254 SOS 185776 HAS SOPS 185776 HAS SOUS 118056 HAS SOUPS 118056 WITH SCORE 118241.776
AT ITER 1971 NEW BEST:: SOT 573245 SOS 185758 HAS SOPS 185758 HAS SOUS 118038 HAS SOUPS 118038 WITH SCORE 118223.758
AT ITER 1972 NEW BEST:: SOT 573164 SOS 185659 HAS SOPS 185659 HAS SOUS 117939 HAS SOUPS 117939 WITH SCORE 118124.659
AT ITER 1977 NEW BEST:: SOT 573163 SOS 185007 HAS SOPS 185007 HAS SOUS 117889 HAS SOUPS 117889 WITH SCORE 118074.007
AT ITER 1999 NEW BEST:: SOT 573160 SOS 186003 HAS SOPS 186003 HAS SOUS 117832 HAS SOUPS 117832 WITH SCORE 118018.003
AT ITER 2010 NEW BEST:: SOT 573150 SOS 185993 HAS SOPS 185993 HAS SOUS 117827 HAS SOUPS 117827 WITH SCORE 118012.993
AT ITER 2012 NEW BEST:: SOT 573126 SOS 185960 HAS SOPS 185960 HAS SOUS 117794 HAS SOUPS 117794 WITH SCORE 117979.96
AT ITER 2035 NEW BEST:: SOT 572990 SOS 185743 HAS SOPS 185743 HAS SOUS 117577 HAS SOUPS 117577 WITH SCORE 117762.743
AT ITER 2046 NEW BEST:: SOT 572987 SOS 185724 HAS SOPS 185724 HAS SOUS 117570 HAS SOUPS 117570 WITH SCORE 117755.724
AT ITER 2051 NEW BEST:: SOT 572987 SOS 185724 HAS SOPS 185724 HAS SOUS 117535 HAS SOUPS 117535 WITH SCORE 117720.724
AT ITER 2053 NEW BEST:: SOT 572930 SOS 185610 HAS SOPS 185610 HAS SOUS 117421 HAS SOUPS 117421 WITH SCORE 117606.61
AT ITER 2056 NEW BEST:: SOT 573047 SOS 185596 HAS SOPS 185596 HAS SOUS 117407 HAS SOUPS 117407 WITH SCORE 117592.596
AT ITER 2062 NEW BEST:: SOT 572927 SOS 185271 HAS SOPS 185271 HAS SOUS 117261 HAS SOUPS 117261 WITH SCORE 117446.271
AT ITER 2074 NEW BEST:: SOT 572927 SOS 185243 HAS SOPS 185243 HAS SOUS 117261 HAS SOUPS 117261 WITH SCORE 117446.243
AT ITER 2081 NEW BEST:: SOT 572893 SOS 185209 HAS SOPS 185209 HAS SOUS 117125 HAS SOUPS 117125 WITH SCORE 117310.209
AT ITER 2099 NEW BEST:: SOT 572726 SOS 185095 HAS SOPS 185095 HAS SOUS 116996 HAS SOUPS 116996 WITH SCORE 117181.095
AT ITER 2102 NEW BEST:: SOT 572714 SOS 185083 HAS SOPS 185083 HAS SOUS 116984 HAS SOUPS 116984 WITH SCORE 117169.083
AT ITER 2119 NEW BEST:: SOT 572710 SOS 185073 HAS SOPS 185073 HAS SOUS 116976 HAS SOUPS 116976 WITH SCORE 117161.073
AT ITER 2128 NEW BEST:: SOT 572644 SOS 184948 HAS SOPS 184948 HAS SOUS 116851 HAS SOUPS 116851 WITH SCORE 117035.948
AT ITER 2136 NEW BEST:: SOT 572644 SOS 184908 HAS SOPS 184908 HAS SOUS 116811 HAS SOUPS 116811 WITH SCORE 116995.908
AT ITER 2162 NEW BEST:: SOT 572665 SOS 185339 HAS SOPS 185339 HAS SOUS 116745 HAS SOUPS 116745 WITH SCORE 116930.339
AT ITER 2169 NEW BEST:: SOT 572634 SOS 185368 HAS SOPS 185368 HAS SOUS 116708 HAS SOUPS 116708 WITH SCORE 116893.368
AT ITER 2203 NEW BEST:: SOT 572533 SOS 185065 HAS SOPS 185065 HAS SOUS 116405 HAS SOUPS 116405 WITH SCORE 116590.065
AT ITER 2212 NEW BEST:: SOT 572486 SOS 184971 HAS SOPS 184971 HAS SOUS 115982 HAS SOUPS 115982 WITH SCORE 116166.971
AT ITER 2216 NEW BEST:: SOT 572411 SOS 185107 HAS SOPS 185107 HAS SOUS 115795 HAS SOUPS 115795 WITH SCORE 115980.107
AT ITER 2223 NEW BEST:: SOT 572131 SOS 184954 HAS SOPS 184954 HAS SOUS 115515 HAS SOUPS 115515 WITH SCORE 115699.954
AT ITER 2225 NEW BEST:: SOT 572107 SOS 184906 HAS SOPS 184906 HAS SOUS 115433 HAS SOUPS 115433 WITH SCORE 115617.906
AT ITER 2236 NEW BEST:: SOT 572071 SOS 184834 HAS SOPS 184834 HAS SOUS 115361 HAS SOUPS 115361 WITH SCORE 115545.834
AT ITER 2237 NEW BEST:: SOT 571867 SOS 184630 HAS SOPS 184630 HAS SOUS 115157 HAS SOUPS 115157 WITH SCORE 115341.63
AT ITER 2263 NEW BEST:: SOT 571658 SOS 184290 HAS SOPS 184290 HAS SOUS 114938 HAS SOUPS 114938 WITH SCORE 115122.29
AT ITER 2264 NEW BEST:: SOT 571658 SOS 184138 HAS SOPS 184138 HAS SOUS 114900 HAS SOUPS 114900 WITH SCORE 115084.138
AT ITER 2276 NEW BEST:: SOT 571629 SOS 184133 HAS SOPS 184133 HAS SOUS 114750 HAS SOUPS 114750 WITH SCORE 114934.133
AT ITER 2283 NEW BEST:: SOT 571610 SOS 184016 HAS SOPS 184016 HAS SOUS 114654 HAS SOUPS 114654 WITH SCORE 114838.016
AT ITER 2300 NEW BEST:: SOT 571609 SOS 184014 HAS SOPS 184014 HAS SOUS 114652 HAS SOUPS 114652 WITH SCORE 114836.014
AT ITER 2305 NEW BEST:: SOT 571574 SOS 183944 HAS SOPS 183944 HAS SOUS 114582 HAS SOUPS 114582 WITH SCORE 114765.944
AT ITER 2334 NEW BEST:: SOT 571526 SOS 184184 HAS SOPS 184184 HAS SOUS 114486 HAS SOUPS 114486 WITH SCORE 114670.184
AT ITER 2351 NEW BEST:: SOT 571459 SOS 184205 HAS SOPS 184205 HAS SOUS 114362 HAS SOUPS 114362 WITH SCORE 114546.205
AT ITER 2367 NEW BEST:: SOT 571463 SOS 184189 HAS SOPS 184189 HAS SOUS 114350 HAS SOUPS 114350 WITH SCORE 114534.189
AT ITER 2386 NEW BEST:: SOT 571253 SOS 183951 HAS SOPS 183951 HAS SOUS 114139 HAS SOUPS 114139 WITH SCORE 114322.951
AT ITER 2409 NEW BEST:: SOT 571219 SOS 183982 HAS SOPS 183982 HAS SOUS 114058 HAS SOUPS 114058 WITH SCORE 114241.982
AT ITER 2417 NEW BEST:: SOT 571161 SOS 184333 HAS SOPS 184333 HAS SOUS 114055 HAS SOUPS 114055 WITH SCORE 114239.333
AT ITER 2418 NEW BEST:: SOT 571147 SOS 184315 HAS SOPS 184315 HAS SOUS 114040 HAS SOUPS 114040 WITH SCORE 114224.315
AT ITER 2424 NEW BEST:: SOT 571102 SOS 184270 HAS SOPS 184270 HAS SOUS 113995 HAS SOUPS 113995 WITH SCORE 114179.27
AT ITER 2435 NEW BEST:: SOT 571102 SOS 184268 HAS SOPS 184268 HAS SOUS 113993 HAS SOUPS 113993 WITH SCORE 114177.268
AT ITER 2438 NEW BEST:: SOT 570992 SOS 184048 HAS SOPS 184048 HAS SOUS 113773 HAS SOUPS 113773 WITH SCORE 113957.048
AT ITER 2439 NEW BEST:: SOT 570915 SOS 183850 HAS SOPS 183850 HAS SOUS 113685 HAS SOUPS 113685 WITH SCORE 113868.85
AT ITER 2444 NEW BEST:: SOT 570944 SOS 183819 HAS SOPS 183819 HAS SOUS 113653 HAS SOUPS 113653 WITH SCORE 113836.819
AT ITER 2449 NEW BEST:: SOT 570881 SOS 183756 HAS SOPS 183756 HAS SOUS 113590 HAS SOUPS 113590 WITH SCORE 113773.756
AT ITER 2461 NEW BEST:: SOT 570743 SOS 183681 HAS SOPS 183681 HAS SOUS 113470 HAS SOUPS 113470 WITH SCORE 113653.681
AT ITER 2465 NEW BEST:: SOT 570730 SOS 183668 HAS SOPS 183668 HAS SOUS 113457 HAS SOUPS 113457 WITH SCORE 113640.668
AT ITER 2472 NEW BEST:: SOT 570676 SOS 183560 HAS SOPS 183560 HAS SOUS 113349 HAS SOUPS 113349 WITH SCORE 113532.56
AT ITER 2498 NEW BEST:: SOT 570656 SOS 183545 HAS SOPS 183545 HAS SOUS 113309 HAS SOUPS 113309 WITH SCORE 113492.545
AT ITER 2500 NEW BEST:: SOT 570655 SOS 183544 HAS SOPS 183544 HAS SOUS 113307 HAS SOUPS 113307 WITH SCORE 113490.544
AT ITER 2528 NEW BEST:: SOT 570643 SOS 183512 HAS SOPS 183512 HAS SOUS 113287 HAS SOUPS 113287 WITH SCORE 113470.512
AT ITER 2542 NEW BEST:: SOT 571123 SOS 184276 HAS SOPS 184276 HAS SOUS 113182 HAS SOUPS 113182 WITH SCORE 113366.276
AT ITER 2555 NEW BEST:: SOT 571165 SOS 184054 HAS SOPS 184054 HAS SOUS 112960 HAS SOUPS 112960 WITH SCORE 113144.054
AT ITER 2565 NEW BEST:: SOT 570845 SOS 184543 HAS SOPS 184543 HAS SOUS 112886 HAS SOUPS 112886 WITH SCORE 113070.543
AT ITER 2574 NEW BEST:: SOT 570938 SOS 184631 HAS SOPS 184631 HAS SOUS 112881 HAS SOUPS 112881 WITH SCORE 113065.631
AT ITER 2578 NEW BEST:: SOT 570861 SOS 184526 HAS SOPS 184526 HAS SOUS 112761 HAS SOUPS 112761 WITH SCORE 112945.526
AT ITER 2599 NEW BEST:: SOT 570849 SOS 184502 HAS SOPS 184502 HAS SOUS 112749 HAS SOUPS 112749 WITH SCORE 112933.502
AT ITER 2620 NEW BEST:: SOT 570849 SOS 184502 HAS SOPS 184502 HAS SOUS 112565 HAS SOUPS 112565 WITH SCORE 112749.502
AT ITER 2638 NEW BEST:: SOT 570697 SOS 184437 HAS SOPS 184437 HAS SOUS 112420 HAS SOUPS 112420 WITH SCORE 112604.437
AT ITER 2646 NEW BEST:: SOT 570697 SOS 184304 HAS SOPS 184304 HAS SOUS 112321 HAS SOUPS 112321 WITH SCORE 112505.304
AT ITER 2656 NEW BEST:: SOT 570704 SOS 184341 HAS SOPS 184341 HAS SOUS 112291 HAS SOUPS 112291 WITH SCORE 112475.341
AT ITER 2657 NEW BEST:: SOT 570689 SOS 184326 HAS SOPS 184326 HAS SOUS 112276 HAS SOUPS 112276 WITH SCORE 112460.326
AT ITER 2658 NEW BEST:: SOT 570566 SOS 184203 HAS SOPS 184203 HAS SOUS 112153 HAS SOUPS 112153 WITH SCORE 112337.203
AT ITER 2659 NEW BEST:: SOT 570554 SOS 184179 HAS SOPS 184179 HAS SOUS 112142 HAS SOUPS 112142 WITH SCORE 112326.179
AT ITER 2663 NEW BEST:: SOT 570554 SOS 184322 HAS SOPS 184322 HAS SOUS 112132 HAS SOUPS 112132 WITH SCORE 112316.322
AT ITER 2672 NEW BEST:: SOT 570614 SOS 185614 HAS SOPS 185614 HAS SOUS 112010 HAS SOUPS 112010 WITH SCORE 112195.614
AT ITER 2688 NEW BEST:: SOT 570493 SOS 185493 HAS SOPS 185493 HAS SOUS 111881 HAS SOUPS 111881 WITH SCORE 112066.493
AT ITER 2703 NEW BEST:: SOT 570472 SOS 185451 HAS SOPS 185451 HAS SOUS 111831 HAS SOUPS 111831 WITH SCORE 112016.451
AT ITER 2709 NEW BEST:: SOT 570400 SOS 185407 HAS SOPS 185407 HAS SOUS 111786 HAS SOUPS 111786 WITH SCORE 111971.407
AT ITER 2723 NEW BEST:: SOT 570321 SOS 185315 HAS SOPS 185315 HAS SOUS 111773 HAS SOUPS 111773 WITH SCORE 111958.315
AT ITER 2733 NEW BEST:: SOT 570184 SOS 185041 HAS SOPS 185041 HAS SOUS 111499 HAS SOUPS 111499 WITH SCORE 111684.041
AT ITER 2738 NEW BEST:: SOT 570184 SOS 185029 HAS SOPS 185029 HAS SOUS 111499 HAS SOUPS 111499 WITH SCORE 111684.029
AT ITER 2756 NEW BEST:: SOT 569489 SOS 184334 HAS SOPS 184334 HAS SOUS 110803 HAS SOUPS 110803 WITH SCORE 110987.334
AT ITER 2757 NEW BEST:: SOT 569482 SOS 184320 HAS SOPS 184320 HAS SOUS 110789 HAS SOUPS 110789 WITH SCORE 110973.32
AT ITER 2767 NEW BEST:: SOT 568483 SOS 183372 HAS SOPS 183372 HAS SOUS 110741 HAS SOUPS 110741 WITH SCORE 110924.372
AT ITER 2774 NEW BEST:: SOT 568449 SOS 183352 HAS SOPS 183352 HAS SOUS 110721 HAS SOUPS 110721 WITH SCORE 110904.352
AT ITER 2776 NEW BEST:: SOT 568379 SOS 183312 HAS SOPS 183312 HAS SOUS 110651 HAS SOUPS 110651 WITH SCORE 110834.312
AT ITER 2798 NEW BEST:: SOT 568375 SOS 183308 HAS SOPS 183308 HAS SOUS 110647 HAS SOUPS 110647 WITH SCORE 110830.308
AT ITER 2830 NEW BEST:: SOT 568357 SOS 183272 HAS SOPS 183272 HAS SOUS 110611 HAS SOUPS 110611 WITH SCORE 110794.272
AT ITER 2851 NEW BEST:: SOT 568266 SOS 183153 HAS SOPS 183153 HAS SOUS 110540 HAS SOUPS 110540 WITH SCORE 110723.153
AT ITER 2858 NEW BEST:: SOT 568265 SOS 183151 HAS SOPS 183151 HAS SOUS 110538 HAS SOUPS 110538 WITH SCORE 110721.151
AT ITER 2866 NEW BEST:: SOT 568061 SOS 181847 HAS SOPS 181847 HAS SOUS 110530 HAS SOUPS 110530 WITH SCORE 110711.847
AT ITER 2936 NEW BEST:: SOT 568043 SOS 181811 HAS SOPS 181811 HAS SOUS 110494 HAS SOUPS 110494 WITH SCORE 110675.811
AT ITER 2941 NEW BEST:: SOT 567549 SOS 181312 HAS SOPS 181312 HAS SOUS 109995 HAS SOUPS 109995 WITH SCORE 110176.312
AT ITER 2952 NEW BEST:: SOT 567519 SOS 181226 HAS SOPS 181226 HAS SOUS 109935 HAS SOUPS 109935 WITH SCORE 110116.226
AT ITER 2976 NEW BEST:: SOT 567519 SOS 181168 HAS SOPS 181168 HAS SOUS 109877 HAS SOUPS 109877 WITH SCORE 110058.168
AT ITER 3019 NEW BEST:: SOT 567597 SOS 181109 HAS SOPS 181109 HAS SOUS 109861 HAS SOUPS 109861 WITH SCORE 110042.109
AT ITER 3030 NEW BEST:: SOT 567536 SOS 181048 HAS SOPS 181048 HAS SOUS 109800 HAS SOUPS 109800 WITH SCORE 109981.048
AT ITER 3056 NEW BEST:: SOT 567529 SOS 180964 HAS SOPS 180964 HAS SOUS 109779 HAS SOUPS 109779 WITH SCORE 109959.964
AT ITER 3061 NEW BEST:: SOT 567491 SOS 180888 HAS SOPS 180888 HAS SOUS 109703 HAS SOUPS 109703 WITH SCORE 109883.888
AT ITER 3072 NEW BEST:: SOT 567175 SOS 180687 HAS SOPS 180687 HAS SOUS 109387 HAS SOUPS 109387 WITH SCORE 109567.687
AT ITER 3083 NEW BEST:: SOT 567085 SOS 180597 HAS SOPS 180597 HAS SOUS 109297 HAS SOUPS 109297 WITH SCORE 109477.597
AT ITER 3105 NEW BEST:: SOT 567071 SOS 179519 HAS SOPS 179519 HAS SOUS 109164 HAS SOUPS 109164 WITH SCORE 109343.519
AT ITER 3143 NEW BEST:: SOT 567071 SOS 179519 HAS SOPS 179519 HAS SOUS 109091 HAS SOUPS 109091 WITH SCORE 109270.519
AT ITER 3158 NEW BEST:: SOT 567000 SOS 179425 HAS SOPS 179425 HAS SOUS 108997 HAS SOUPS 108997 WITH SCORE 109176.425
AT ITER 3175 NEW BEST:: SOT 567024 SOS 179143 HAS SOPS 179143 HAS SOUS 108988 HAS SOUPS 108988 WITH SCORE 109167.143
AT ITER 3178 NEW BEST:: SOT 566936 SOS 178843 HAS SOPS 178843 HAS SOUS 108897 HAS SOUPS 108897 WITH SCORE 109075.843
AT ITER 3193 NEW BEST:: SOT 566936 SOS 178836 HAS SOPS 178836 HAS SOUS 108890 HAS SOUPS 108890 WITH SCORE 109068.836
AT ITER 3196 NEW BEST:: SOT 566864 SOS 178492 HAS SOPS 178492 HAS SOUS 108847 HAS SOUPS 108847 WITH SCORE 109025.492
AT ITER 3200 NEW BEST:: SOT 568326 SOS 179853 HAS SOPS 179853 HAS SOUS 108741 HAS SOUPS 108741 WITH SCORE 108920.853
AT ITER 3236 NEW BEST:: SOT 568268 SOS 179795 HAS SOPS 179795 HAS SOUS 108625 HAS SOUPS 108625 WITH SCORE 108804.795
AT ITER 3264 NEW BEST:: SOT 568612 SOS 180287 HAS SOPS 180287 HAS SOUS 108573 HAS SOUPS 108573 WITH SCORE 108753.287
AT ITER 3281 NEW BEST:: SOT 568640 SOS 180238 HAS SOPS 180238 HAS SOUS 108553 HAS SOUPS 108553 WITH SCORE 108733.238
AT ITER 3287 NEW BEST:: SOT 568648 SOS 179922 HAS SOPS 179922 HAS SOUS 108409 HAS SOUPS 108409 WITH SCORE 108588.922
AT ITER 3291 NEW BEST:: SOT 568685 SOS 179865 HAS SOPS 179865 HAS SOUS 108254 HAS SOUPS 108254 WITH SCORE 108433.865
AT ITER 3307 NEW BEST:: SOT 568685 SOS 179297 HAS SOPS 179297 HAS SOUS 108254 HAS SOUPS 108254 WITH SCORE 108433.297
AT ITER 3308 NEW BEST:: SOT 568614 SOS 179368 HAS SOPS 179368 HAS SOUS 108112 HAS SOUPS 108112 WITH SCORE 108291.368
AT ITER 3326 NEW BEST:: SOT 568614 SOS 179299 HAS SOPS 179299 HAS SOUS 108112 HAS SOUPS 108112 WITH SCORE 108291.299
AT ITER 3333 NEW BEST:: SOT 568587 SOS 179279 HAS SOPS 179279 HAS SOUS 108092 HAS SOUPS 108092 WITH SCORE 108271.279
AT ITER 3336 NEW BEST:: SOT 568586 SOS 179236 HAS SOPS 179236 HAS SOUS 108090 HAS SOUPS 108090 WITH SCORE 108269.236
AT ITER 3342 NEW BEST:: SOT 568586 SOS 179230 HAS SOPS 179230 HAS SOUS 108090 HAS SOUPS 108090 WITH SCORE 108269.23
AT ITER 3346 NEW BEST:: SOT 568570 SOS 179163 HAS SOPS 179163 HAS SOUS 108058 HAS SOUPS 108058 WITH SCORE 108237.163
AT ITER 3347 NEW BEST:: SOT 568570 SOS 178990 HAS SOPS 178990 HAS SOUS 108058 HAS SOUPS 108058 WITH SCORE 108236.99
AT ITER 3353 NEW BEST:: SOT 568536 SOS 179304 HAS SOPS 179304 HAS SOUS 108013 HAS SOUPS 108013 WITH SCORE 108192.304
AT ITER 3359 NEW BEST:: SOT 568533 SOS 179201 HAS SOPS 179201 HAS SOUS 108007 HAS SOUPS 108007 WITH SCORE 108186.201
AT ITER 3362 NEW BEST:: SOT 568533 SOS 179179 HAS SOPS 179179 HAS SOUS 107985 HAS SOUPS 107985 WITH SCORE 108164.179
AT ITER 3369 NEW BEST:: SOT 568570 SOS 179014 HAS SOPS 179014 HAS SOUS 107820 HAS SOUPS 107820 WITH SCORE 107999.014
AT ITER 3403 NEW BEST:: SOT 568524 SOS 178922 HAS SOPS 178922 HAS SOUS 107728 HAS SOUPS 107728 WITH SCORE 107906.922
AT ITER 3431 NEW BEST:: SOT 568343 SOS 178621 HAS SOPS 178621 HAS SOUS 107423 HAS SOUPS 107423 WITH SCORE 107601.621
AT ITER 3438 NEW BEST:: SOT 568321 SOS 178588 HAS SOPS 178588 HAS SOUS 107390 HAS SOUPS 107390 WITH SCORE 107568.588
AT ITER 3477 NEW BEST:: SOT 568348 SOS 178575 HAS SOPS 178575 HAS SOUS 107377 HAS SOUPS 107377 WITH SCORE 107555.575
AT ITER 3486 NEW BEST:: SOT 568317 SOS 178538 HAS SOPS 178538 HAS SOUS 107340 HAS SOUPS 107340 WITH SCORE 107518.538
AT ITER 3498 NEW BEST:: SOT 568111 SOS 178420 HAS SOPS 178420 HAS SOUS 107336 HAS SOUPS 107336 WITH SCORE 107514.42
AT ITER 3499 NEW BEST:: SOT 568052 SOS 178265 HAS SOPS 178265 HAS SOUS 107181 HAS SOUPS 107181 WITH SCORE 107359.265
AT ITER 3511 NEW BEST:: SOT 568052 SOS 178109 HAS SOPS 178109 HAS SOUS 107137 HAS SOUPS 107137 WITH SCORE 107315.109
AT ITER 3532 NEW BEST:: SOT 568009 SOS 178023 HAS SOPS 178023 HAS SOUS 107051 HAS SOUPS 107051 WITH SCORE 107229.023
AT ITER 3534 NEW BEST:: SOT 567967 SOS 177463 HAS SOPS 177463 HAS SOUS 106918 HAS SOUPS 106918 WITH SCORE 107095.463
AT ITER 3537 NEW BEST:: SOT 567860 SOS 177356 HAS SOPS 177356 HAS SOUS 106811 HAS SOUPS 106811 WITH SCORE 106988.356
AT ITER 3575 NEW BEST:: SOT 567823 SOS 177282 HAS SOPS 177282 HAS SOUS 106737 HAS SOUPS 106737 WITH SCORE 106914.282
AT ITER 3576 NEW BEST:: SOT 567728 SOS 177137 HAS SOPS 177137 HAS SOUS 106592 HAS SOUPS 106592 WITH SCORE 106769.137
AT ITER 3579 NEW BEST:: SOT 567035 SOS 176948 HAS SOPS 176948 HAS SOUS 105940 HAS SOUPS 105940 WITH SCORE 106116.948
AT ITER 3625 NEW BEST:: SOT 566976 SOS 176586 HAS SOPS 176586 HAS SOUS 105869 HAS SOUPS 105869 WITH SCORE 106045.586
AT ITER 3648 NEW BEST:: SOT 565405 SOS 175007 HAS SOPS 175007 HAS SOUS 105172 HAS SOUPS 105172 WITH SCORE 105347.007
AT ITER 3682 NEW BEST:: SOT 565448 SOS 175050 HAS SOPS 175050 HAS SOUS 105167 HAS SOUPS 105167 WITH SCORE 105342.05
AT ITER 3709 NEW BEST:: SOT 565436 SOS 175026 HAS SOPS 175026 HAS SOUS 105138 HAS SOUPS 105138 WITH SCORE 105313.026
AT ITER 3720 NEW BEST:: SOT 565382 SOS 174867 HAS SOPS 174867 HAS SOUS 105013 HAS SOUPS 105013 WITH SCORE 105187.867
AT ITER 3724 NEW BEST:: SOT 565378 SOS 174859 HAS SOPS 174859 HAS SOUS 105005 HAS SOUPS 105005 WITH SCORE 105179.859
AT ITER 3725 NEW BEST:: SOT 565361 SOS 174825 HAS SOPS 174825 HAS SOUS 104971 HAS SOUPS 104971 WITH SCORE 105145.825
AT ITER 3728 NEW BEST:: SOT 565373 SOS 174811 HAS SOPS 174811 HAS SOUS 104969 HAS SOUPS 104969 WITH SCORE 105143.811
AT ITER 3738 NEW BEST:: SOT 565373 SOS 174811 HAS SOPS 174811 HAS SOUS 104965 HAS SOUPS 104965 WITH SCORE 105139.811
AT ITER 3776 NEW BEST:: SOT 565795 SOS 175406 HAS SOPS 175406 HAS SOUS 104491 HAS SOUPS 104491 WITH SCORE 104666.406
AT ITER 3800 NEW BEST:: SOT 565659 SOS 175227 HAS SOPS 175227 HAS SOUS 104482 HAS SOUPS 104482 WITH SCORE 104657.227
AT ITER 3817 NEW BEST:: SOT 565663 SOS 175215 HAS SOPS 175215 HAS SOUS 104482 HAS SOUPS 104482 WITH SCORE 104657.215
AT ITER 3821 NEW BEST:: SOT 565632 SOS 175191 HAS SOPS 175191 HAS SOUS 104458 HAS SOUPS 104458 WITH SCORE 104633.191
AT ITER 3839 NEW BEST:: SOT 565590 SOS 175107 HAS SOPS 175107 HAS SOUS 104411 HAS SOUPS 104411 WITH SCORE 104586.107
AT ITER 3843 NEW BEST:: SOT 565094 SOS 174537 HAS SOPS 174537 HAS SOUS 103662 HAS SOUPS 103662 WITH SCORE 103836.537
AT ITER 3855 NEW BEST:: SOT 564964 SOS 174291 HAS SOPS 174291 HAS SOUS 103473 HAS SOUPS 103473 WITH SCORE 103647.291
AT ITER 3857 NEW BEST:: SOT 564799 SOS 174126 HAS SOPS 174126 HAS SOUS 103356 HAS SOUPS 103356 WITH SCORE 103530.126
AT ITER 3858 NEW BEST:: SOT 564810 SOS 174135 HAS SOPS 174135 HAS SOUS 103170 HAS SOUPS 103170 WITH SCORE 103344.135
AT ITER 3868 NEW BEST:: SOT 564617 SOS 173519 HAS SOPS 173519 HAS SOUS 103016 HAS SOUPS 103016 WITH SCORE 103189.519
AT ITER 3883 NEW BEST:: SOT 564622 SOS 173484 HAS SOPS 173484 HAS SOUS 102981 HAS SOUPS 102981 WITH SCORE 103154.484
AT ITER 3889 NEW BEST:: SOT 564519 SOS 173361 HAS SOPS 173361 HAS SOUS 102858 HAS SOUPS 102858 WITH SCORE 103031.361
AT ITER 3909 NEW BEST:: SOT 564515 SOS 173353 HAS SOPS 173353 HAS SOUS 102850 HAS SOUPS 102850 WITH SCORE 103023.353
AT ITER 3921 NEW BEST:: SOT 564483 SOS 173240 HAS SOPS 173240 HAS SOUS 102737 HAS SOUPS 102737 WITH SCORE 102910.24
AT ITER 3923 NEW BEST:: SOT 564474 SOS 173222 HAS SOPS 173222 HAS SOUS 102719 HAS SOUPS 102719 WITH SCORE 102892.222
AT ITER 3932 NEW BEST:: SOT 564489 SOS 173200 HAS SOPS 173200 HAS SOUS 102717 HAS SOUPS 102717 WITH SCORE 102890.2
AT ITER 3950 NEW BEST:: SOT 564441 SOS 173152 HAS SOPS 173152 HAS SOUS 102621 HAS SOUPS 102621 WITH SCORE 102794.152
AT ITER 3952 NEW BEST:: SOT 564414 SOS 173125 HAS SOPS 173125 HAS SOUS 102580 HAS SOUPS 102580 WITH SCORE 102753.125
AT ITER 3983 NEW BEST:: SOT 564416 SOS 173129 HAS SOPS 173129 HAS SOUS 102575 HAS SOUPS 102575 WITH SCORE 102748.129
AT ITER 3985 NEW BEST:: SOT 564416 SOS 173058 HAS SOPS 173058 HAS SOUS 102575 HAS SOUPS 102575 WITH SCORE 102748.058
AT ITER 3988 NEW BEST:: SOT 564415 SOS 172959 HAS SOPS 172959 HAS SOUS 102573 HAS SOUPS 102573 WITH SCORE 102745.959
AT ITER 3998 NEW BEST:: SOT 564360 SOS 172908 HAS SOPS 172908 HAS SOUS 102522 HAS SOUPS 102522 WITH SCORE 102694.908
AT ITER 4021 NEW BEST:: SOT 564326 SOS 172619 HAS SOPS 172619 HAS SOUS 102471 HAS SOUPS 102471 WITH SCORE 102643.619
AT ITER 4030 NEW BEST:: SOT 564326 SOS 172619 HAS SOPS 172619 HAS SOUS 102469 HAS SOUPS 102469 WITH SCORE 102641.619
AT ITER 4046 NEW BEST:: SOT 564235 SOS 172483 HAS SOPS 172483 HAS SOUS 102425 HAS SOUPS 102425 WITH SCORE 102597.483
AT ITER 4067 NEW BEST:: SOT 564227 SOS 172475 HAS SOPS 172475 HAS SOUS 102417 HAS SOUPS 102417 WITH SCORE 102589.475
AT ITER 4078 NEW BEST:: SOT 564191 SOS 172419 HAS SOPS 172419 HAS SOUS 102361 HAS SOUPS 102361 WITH SCORE 102533.419
AT ITER 4090 NEW BEST:: SOT 564120 SOS 171956 HAS SOPS 171956 HAS SOUS 102305 HAS SOUPS 102305 WITH SCORE 102476.956
AT ITER 4092 NEW BEST:: SOT 564120 SOS 171932 HAS SOPS 171932 HAS SOUS 102302 HAS SOUPS 102302 WITH SCORE 102473.932
AT ITER 4117 NEW BEST:: SOT 564110 SOS 171912 HAS SOPS 171912 HAS SOUS 102282 HAS SOUPS 102282 WITH SCORE 102453.912
AT ITER 4118 NEW BEST:: SOT 564110 SOS 171899 HAS SOPS 171899 HAS SOUS 102256 HAS SOUPS 102256 WITH SCORE 102427.899
AT ITER 4122 NEW BEST:: SOT 564105 SOS 171884 HAS SOPS 171884 HAS SOUS 102241 HAS SOUPS 102241 WITH SCORE 102412.884
AT ITER 4159 NEW BEST:: SOT 564095 SOS 171874 HAS SOPS 171874 HAS SOUS 102231 HAS SOUPS 102231 WITH SCORE 102402.874
AT ITER 4175 NEW BEST:: SOT 564073 SOS 171847 HAS SOPS 171847 HAS SOUS 102204 HAS SOUPS 102204 WITH SCORE 102375.847
AT ITER 4178 NEW BEST:: SOT 564070 SOS 171843 HAS SOPS 171843 HAS SOUS 102190 HAS SOUPS 102190 WITH SCORE 102361.843
AT ITER 4193 NEW BEST:: SOT 564032 SOS 171729 HAS SOPS 171729 HAS SOUS 102076 HAS SOUPS 102076 WITH SCORE 102247.729
AT ITER 4207 NEW BEST:: SOT 563995 SOS 171692 HAS SOPS 171692 HAS SOUS 102076 HAS SOUPS 102076 WITH SCORE 102247.692
AT ITER 4218 NEW BEST:: SOT 563963 SOS 171628 HAS SOPS 171628 HAS SOUS 102012 HAS SOUPS 102012 WITH SCORE 102183.628
AT ITER 4230 NEW BEST:: SOT 563873 SOS 171256 HAS SOPS 171256 HAS SOUS 101896 HAS SOUPS 101896 WITH SCORE 102067.256
AT ITER 4242 NEW BEST:: SOT 563873 SOS 170766 HAS SOPS 170766 HAS SOUS 101896 HAS SOUPS 101896 WITH SCORE 102066.766
AT ITER 4243 NEW BEST:: SOT 563825 SOS 170686 HAS SOPS 170686 HAS SOUS 101832 HAS SOUPS 101832 WITH SCORE 102002.686
AT ITER 4246 NEW BEST:: SOT 563904 SOS 170673 HAS SOPS 170673 HAS SOUS 101819 HAS SOUPS 101819 WITH SCORE 101989.673
AT ITER 4275 NEW BEST:: SOT 563933 SOS 170647 HAS SOPS 170647 HAS SOUS 101793 HAS SOUPS 101793 WITH SCORE 101963.647
AT ITER 4284 NEW BEST:: SOT 563787 SOS 170330 HAS SOPS 170330 HAS SOUS 101476 HAS SOUPS 101476 WITH SCORE 101646.33
AT ITER 4295 NEW BEST:: SOT 563710 SOS 170168 HAS SOPS 170168 HAS SOUS 101314 HAS SOUPS 101314 WITH SCORE 101484.168
AT ITER 4298 NEW BEST:: SOT 563710 SOS 170147 HAS SOPS 170147 HAS SOUS 101198 HAS SOUPS 101198 WITH SCORE 101368.147
AT ITER 4312 NEW BEST:: SOT 563559 SOS 169996 HAS SOPS 169996 HAS SOUS 100930 HAS SOUPS 100930 WITH SCORE 101099.996
AT ITER 4323 NEW BEST:: SOT 563520 SOS 169918 HAS SOPS 169918 HAS SOUS 100857 HAS SOUPS 100857 WITH SCORE 101026.918
AT ITER 4324 NEW BEST:: SOT 563519 SOS 169868 HAS SOPS 169868 HAS SOUS 100855 HAS SOUPS 100855 WITH SCORE 101024.868
AT ITER 4338 NEW BEST:: SOT 563489 SOS 169496 HAS SOPS 169496 HAS SOUS 100847 HAS SOUPS 100847 WITH SCORE 101016.496
AT ITER 4341 NEW BEST:: SOT 563408 SOS 169334 HAS SOPS 169334 HAS SOUS 100761 HAS SOUPS 100761 WITH SCORE 100930.334
AT ITER 4352 NEW BEST:: SOT 563401 SOS 169321 HAS SOPS 169321 HAS SOUS 100746 HAS SOUPS 100746 WITH SCORE 100915.321
AT ITER 4369 NEW BEST:: SOT 563437 SOS 169357 HAS SOPS 169357 HAS SOUS 100702 HAS SOUPS 100702 WITH SCORE 100871.357
AT ITER 4384 NEW BEST:: SOT 563361 SOS 169281 HAS SOPS 169281 HAS SOUS 100700 HAS SOUPS 100700 WITH SCORE 100869.281
AT ITER 4389 NEW BEST:: SOT 563327 SOS 169257 HAS SOPS 169257 HAS SOUS 100665 HAS SOUPS 100665 WITH SCORE 100834.257
AT ITER 4409 NEW BEST:: SOT 563327 SOS 169180 HAS SOPS 169180 HAS SOUS 100665 HAS SOUPS 100665 WITH SCORE 100834.18
AT ITER 4412 NEW BEST:: SOT 563177 SOS 169030 HAS SOPS 169030 HAS SOUS 100515 HAS SOUPS 100515 WITH SCORE 100684.03
AT ITER 4415 NEW BEST:: SOT 563177 SOS 169030 HAS SOPS 169030 HAS SOUS 100495 HAS SOUPS 100495 WITH SCORE 100664.03
AT ITER 4457 NEW BEST:: SOT 563164 SOS 169016 HAS SOPS 169016 HAS SOUS 100481 HAS SOUPS 100481 WITH SCORE 100650.016
AT ITER 4475 NEW BEST:: SOT 563162 SOS 169000 HAS SOPS 169000 HAS SOUS 100465 HAS SOUPS 100465 WITH SCORE 100634.0
AT ITER 4491 NEW BEST:: SOT 563152 SOS 168810 HAS SOPS 168810 HAS SOUS 100432 HAS SOUPS 100432 WITH SCORE 100600.81
AT ITER 4509 NEW BEST:: SOT 563142 SOS 168772 HAS SOPS 168772 HAS SOUS 100394 HAS SOUPS 100394 WITH SCORE 100562.772
AT ITER 4516 NEW BEST:: SOT 563068 SOS 168624 HAS SOPS 168624 HAS SOUS 100246 HAS SOUPS 100246 WITH SCORE 100414.624
AT ITER 4524 NEW BEST:: SOT 563068 SOS 168623 HAS SOPS 168623 HAS SOUS 100246 HAS SOUPS 100246 WITH SCORE 100414.623
AT ITER 4541 NEW BEST:: SOT 563004 SOS 168591 HAS SOPS 168591 HAS SOUS 100214 HAS SOUPS 100214 WITH SCORE 100382.591
AT ITER 4544 NEW BEST:: SOT 563004 SOS 168602 HAS SOPS 168602 HAS SOUS 100179 HAS SOUPS 100179 WITH SCORE 100347.602
AT ITER 4552 NEW BEST:: SOT 562914 SOS 168336 HAS SOPS 168336 HAS SOUS 100179 HAS SOUPS 100179 WITH SCORE 100347.336
AT ITER 4561 NEW BEST:: SOT 562823 SOS 168281 HAS SOPS 168281 HAS SOUS 100156 HAS SOUPS 100156 WITH SCORE 100324.281
AT ITER 4571 NEW BEST:: SOT 562708 SOS 168203 HAS SOPS 168203 HAS SOUS 100133 HAS SOUPS 100133 WITH SCORE 100301.203
AT ITER 4579 NEW BEST:: SOT 562704 SOS 168179 HAS SOPS 168179 HAS SOUS 100121 HAS SOUPS 100121 WITH SCORE 100289.179
AT ITER 4587 NEW BEST:: SOT 562576 SOS 168068 HAS SOPS 168068 HAS SOUS 100051 HAS SOUPS 100051 WITH SCORE 100219.068
AT ITER 4604 NEW BEST:: SOT 562576 SOS 167963 HAS SOPS 167963 HAS SOUS 100049 HAS SOUPS 100049 WITH SCORE 100216.963
AT ITER 4629 NEW BEST:: SOT 562482 SOS 168513 HAS SOPS 168513 HAS SOUS 100027 HAS SOUPS 100027 WITH SCORE 100195.513
AT ITER 4632 NEW BEST:: SOT 562472 SOS 168503 HAS SOPS 168503 HAS SOUS 100013 HAS SOUPS 100013 WITH SCORE 100181.503
AT ITER 4675 NEW BEST:: SOT 562438 SOS 168366 HAS SOPS 168366 HAS SOUS 99879 HAS SOUPS 99879 WITH SCORE 100047.366
AT ITER 4694 NEW BEST:: SOT 562310 SOS 168270 HAS SOPS 168270 HAS SOUS 99751 HAS SOUPS 99751 WITH SCORE 99919.27
AT ITER 4697 NEW BEST:: SOT 562255 SOS 168241 HAS SOPS 168241 HAS SOUS 99731 HAS SOUPS 99731 WITH SCORE 99899.241
AT ITER 4720 NEW BEST:: SOT 562255 SOS 168241 HAS SOPS 168241 HAS SOUS 99711 HAS SOUPS 99711 WITH SCORE 99879.241
AT ITER 4723 NEW BEST:: SOT 562173 SOS 167842 HAS SOPS 167842 HAS SOUS 99662 HAS SOUPS 99662 WITH SCORE 99829.842
AT ITER 4726 NEW BEST:: SOT 562193 SOS 166464 HAS SOPS 166464 HAS SOUS 99649 HAS SOUPS 99649 WITH SCORE 99815.464
AT ITER 4727 NEW BEST:: SOT 562099 SOS 166276 HAS SOPS 166276 HAS SOUS 99554 HAS SOUPS 99554 WITH SCORE 99720.276
AT ITER 4729 NEW BEST:: SOT 562090 SOS 166266 HAS SOPS 166266 HAS SOUS 99543 HAS SOUPS 99543 WITH SCORE 99709.266
AT ITER 4764 NEW BEST:: SOT 562090 SOS 166266 HAS SOPS 166266 HAS SOUS 99489 HAS SOUPS 99489 WITH SCORE 99655.266
AT ITER 4768 NEW BEST:: SOT 562003 SOS 166788 HAS SOPS 166788 HAS SOUS 99402 HAS SOUPS 99402 WITH SCORE 99568.788
AT ITER 4806 NEW BEST:: SOT 562009 SOS 166480 HAS SOPS 166480 HAS SOUS 99378 HAS SOUPS 99378 WITH SCORE 99544.48
AT ITER 4850 NEW BEST:: SOT 562015 SOS 166475 HAS SOPS 166475 HAS SOUS 99373 HAS SOUPS 99373 WITH SCORE 99539.475
AT ITER 4851 NEW BEST:: SOT 562078 SOS 165695 HAS SOPS 165695 HAS SOUS 99275 HAS SOUPS 99275 WITH SCORE 99440.695
AT ITER 4854 NEW BEST:: SOT 562075 SOS 165676 HAS SOPS 165676 HAS SOUS 99232 HAS SOUPS 99232 WITH SCORE 99397.676
AT ITER 4863 NEW BEST:: SOT 562075 SOS 165676 HAS SOPS 165676 HAS SOUS 99156 HAS SOUPS 99156 WITH SCORE 99321.676
AT ITER 4880 NEW BEST:: SOT 562063 SOS 165565 HAS SOPS 165565 HAS SOUS 99124 HAS SOUPS 99124 WITH SCORE 99289.565
AT ITER 4886 NEW BEST:: SOT 562062 SOS 165206 HAS SOPS 165206 HAS SOUS 99122 HAS SOUPS 99122 WITH SCORE 99287.206
AT ITER 4889 NEW BEST:: SOT 562036 SOS 165173 HAS SOPS 165173 HAS SOUS 99089 HAS SOUPS 99089 WITH SCORE 99254.173
AT ITER 4907 NEW BEST:: SOT 561934 SOS 163975 HAS SOPS 163975 HAS SOUS 98892 HAS SOUPS 98892 WITH SCORE 99055.975
AT ITER 4933 NEW BEST:: SOT 561913 SOS 163912 HAS SOPS 163912 HAS SOUS 98829 HAS SOUPS 98829 WITH SCORE 98992.912
AT ITER 4945 NEW BEST:: SOT 561901 SOS 163888 HAS SOPS 163888 HAS SOUS 98805 HAS SOUPS 98805 WITH SCORE 98968.888
AT ITER 4962 NEW BEST:: SOT 561877 SOS 163864 HAS SOPS 163864 HAS SOUS 98781 HAS SOUPS 98781 WITH SCORE 98944.864
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-01b-CTLFireability-00 ( ( ( ( ( ((potential((tk(P118)>=1) & (tk(P490)>=1)))) & (! ((potential((tk(P55)>=1))))) ) & (EX( ((potential((tk(P671)>=1)))))) ) | ( (AG( ((potential((tk(P263)>=1)))))) & (EG( ((potential((tk(P440)>=1) & (tk(P546)>=1)))))) ) ) & (! ( (! ( ((potential((tk(P41)>=1) & (tk(P161)>=1)))) & ((potential((tk(P121)>=1) & (tk(P519)>=1)))) )) & ( ((potential((tk(P102)>=1) & (tk(P508)>=1)))) | (! ((potential((tk(P116)>=1))))) ) )) ) | (AF( (EG( (! ((potential((tk(P303)>=1))))))))) )
PROPERTY: ASLink-PT-01b-CTLFireability-01 ( (! (EF( ( ( ((potential((tk(P532)>=1) & (tk(P714)>=1)))) & ((potential((tk(P228)>=1)))) ) | ( ((potential((tk(P541)>=1) & (tk(P724)>=1)))) | ((potential((tk(P122)>=1) & (tk(P514)>=1)))) ) )))) | ((potential((tk(P221)>=1)))) )
PROPERTY: ASLink-PT-01b-CTLFireability-02 (AF( ( (! ((potential((tk(P26)>=1) & (tk(P177)>=1))))) & ( ( ( ((potential((tk(P114)>=1) & (tk(P490)>=1)))) | ((potential((tk(P98)>=1) & (tk(P523)>=1)))) ) | ( ((potential((tk(P446)>=1)))) & ((potential((tk(P677)>=1)))) ) ) | ( ( ((potential((tk(P41)>=1) & (tk(P161)>=1)))) & ((potential((tk(P88)>=1) & (tk(P247)>=1)))) ) & ( ((potential((tk(P400)>=1)))) & ((potential((tk(P367)>=1)))) ) ) ) )))
PROPERTY: ASLink-PT-01b-CTLFireability-03 (AX( (AX( (AF( ((potential((tk(P456)>=1))))))))))
PROPERTY: ASLink-PT-01b-CTLFireability-04 ( (! ( ((potential((tk(P453)>=1)))) | (! (AX( ((potential((tk(P660)>=1))))))) )) | (AF( ((potential((tk(P206)>=1)))))) )
PROPERTY: ASLink-PT-01b-CTLFireability-05 (AF( (EX( ( ( ((potential((tk(P687)>=1)))) | ((potential((tk(P305)>=1)))) ) & ( ((potential((tk(P135)>=1)))) & ((potential((tk(P10)>=1) & (tk(P168)>=1)))) ) )))))
PROPERTY: ASLink-PT-01b-CTLFireability-06 (EG( (EX( (EF( ((potential((tk(P30)>=1) & (tk(P162)>=1))))))))))
PROPERTY: ASLink-PT-01b-CTLFireability-07 (AU( ((potential((tk(P109)>=1) & (tk(P483)>=1)))) , ( ( ( ((potential((tk(P34)>=1) & (tk(P159)>=1)))) | ((potential((tk(P661)>=1)))) ) | ((potential((tk(P39)>=1)))) ) | (AF( ((potential((tk(P94)>=1) & (tk(P484)>=1)))))) ) ))
PROPERTY: ASLink-PT-01b-CTLFireability-08 (AF( ( ((potential((tk(P37)>=1) & (tk(P179)>=1)))) & (EX( ( ((potential((tk(P421)>=1) & (tk(P417)>=1)))) & ((potential((tk(P97)>=1) & (tk(P501)>=1)))) ))) )))
PROPERTY: ASLink-PT-01b-CTLFireability-09 (AF( ( (! ( ((potential((tk(P73)>=1)))) & ( ((potential((tk(P400)>=1)))) & ((potential((tk(P17)>=1) & (tk(P167)>=1)))) ) )) & ( ( ( ((potential((tk(P122)>=1) & (tk(P493)>=1)))) | ((potential((tk(P342)>=1)))) ) | ((potential((tk(P117)>=1) & (tk(P525)>=1)))) ) | (AF( ((potential((tk(P157)>=1) & (tk(P408)>=1)))))) ) )))
PROPERTY: ASLink-PT-01b-CTLFireability-10 ( (EF( (AU( ((potential((tk(P117)>=1) & (tk(P492)>=1)))) , ((potential((tk(P626)>=1)))) )))) | (EU( ((potential((tk(P584)>=1)))) , (EG( ((potential((tk(P668)>=1)))))) )) )
PROPERTY: ASLink-PT-01b-CTLFireability-11 ( (AU( ((potential((tk(P14)>=1) & (tk(P168)>=1)))) , (! ( ((potential((tk(P98)>=1) & (tk(P493)>=1)))) | ((potential((tk(P98)>=1) & (tk(P514)>=1)))) )) )) & (AU( ( (! ((potential((tk(P106)>=1) & (tk(P496)>=1))))) | ( ((potential((tk(P109)>=1) & (tk(P510)>=1)))) & ((potential((tk(P106)>=1) & (tk(P529)>=1)))) ) ) , (AX( ((potential((tk(P414)>=1)))))) )) )
PROPERTY: ASLink-PT-01b-CTLFireability-12 (AF( (AX( ( ( ((potential((tk(P4)>=1)))) & ((potential((tk(P427)>=1)))) ) & ( ((potential((tk(P21)>=1) & (tk(P179)>=1)))) & ((potential((tk(P29)>=1) & (tk(P167)>=1)))) ) )))))
PROPERTY: ASLink-PT-01b-CTLFireability-13 (EF( ( ( ( (! ((potential((tk(P407)>=1) & (tk(P403)>=1))))) | ( ((potential((tk(P44)>=1)))) | ((potential((tk(P94)>=1) & (tk(P496)>=1)))) ) ) & (AF( ((potential((tk(P65)>=1)))))) ) | ( ( ( ((potential((tk(P7)>=1) & (tk(P64)>=1)))) & ((potential((tk(P289)>=1)))) ) & (! ((potential((tk(P160)>=1))))) ) & ( (! ((potential((tk(P102)>=1) & (tk(P529)>=1))))) & ( ((potential((tk(P292)>=1) & (tk(P424)>=1)))) | ((potential((tk(P467)>=1)))) ) ) ) )))
PROPERTY: ASLink-PT-01b-CTLFireability-14 (AU( (! ( ( ((potential((tk(P643)>=1)))) & ((potential((tk(P587)>=1) & (tk(P607)>=1)))) ) & (! ((potential((tk(P660)>=1))))) )) , ((potential((tk(P14)>=1) & (tk(P171)>=1)))) ))
PROPERTY: ASLink-PT-01b-CTLFireability-15 ( (EF( ( (EX( ((potential((tk(P253)>=1)))))) | ( ((potential((tk(P500)>=1)))) & (! ((potential((tk(P101)>=1) & (tk(P486)>=1))))) ) ))) | (EU( (AX( ((potential((tk(P639)>=1)))))) , (! (! ((potential((tk(P106)>=1) & (tk(P517)>=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-01b"
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-01b, 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-158897508000020"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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