Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 244K
-rw-r--r-- 1 mcc users 3.6K Mar 30 01:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 30 01:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.1K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.8K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Mar 27 08:49 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 27 08:49 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:17 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Mar 26 08:17 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 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 57K 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 DES-PT-20a-CTLCardinality-00
FORMULA_NAME DES-PT-20a-CTLCardinality-01
FORMULA_NAME DES-PT-20a-CTLCardinality-02
FORMULA_NAME DES-PT-20a-CTLCardinality-03
FORMULA_NAME DES-PT-20a-CTLCardinality-04
FORMULA_NAME DES-PT-20a-CTLCardinality-05
FORMULA_NAME DES-PT-20a-CTLCardinality-06
FORMULA_NAME DES-PT-20a-CTLCardinality-07
FORMULA_NAME DES-PT-20a-CTLCardinality-08
FORMULA_NAME DES-PT-20a-CTLCardinality-09
FORMULA_NAME DES-PT-20a-CTLCardinality-10
FORMULA_NAME DES-PT-20a-CTLCardinality-11
FORMULA_NAME DES-PT-20a-CTLCardinality-12
FORMULA_NAME DES-PT-20a-CTLCardinality-13
FORMULA_NAME DES-PT-20a-CTLCardinality-14
FORMULA_NAME DES-PT-20a-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589106433431

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 20a
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 195 places, 152 transitions, 742 arcs.
AT ITER 0 NEW BEST:: SOT 23474 SOS 20065 HAS SOPS 20065 HAS SOUS 12869 HAS SOUPS 12869 WITH SCORE 12889.065
AT ITER 6 NEW BEST:: SOT 23465 SOS 19951 HAS SOPS 19951 HAS SOUS 12834 HAS SOUPS 12834 WITH SCORE 12853.951
AT ITER 8 NEW BEST:: SOT 23465 SOS 19950 HAS SOPS 19950 HAS SOUS 12833 HAS SOUPS 12833 WITH SCORE 12852.95
AT ITER 11 NEW BEST:: SOT 23465 SOS 19942 HAS SOPS 19942 HAS SOUS 12825 HAS SOUPS 12825 WITH SCORE 12844.942
AT ITER 19 NEW BEST:: SOT 23458 SOS 19926 HAS SOPS 19926 HAS SOUS 12809 HAS SOUPS 12809 WITH SCORE 12828.926
AT ITER 25 NEW BEST:: SOT 23424 SOS 19892 HAS SOPS 19892 HAS SOUS 12775 HAS SOUPS 12775 WITH SCORE 12794.892
AT ITER 29 NEW BEST:: SOT 23407 SOS 19875 HAS SOPS 19875 HAS SOUS 12758 HAS SOUPS 12758 WITH SCORE 12777.875
AT ITER 37 NEW BEST:: SOT 23369 SOS 19837 HAS SOPS 19837 HAS SOUS 12720 HAS SOUPS 12720 WITH SCORE 12739.837
AT ITER 46 NEW BEST:: SOT 23363 SOS 19821 HAS SOPS 19821 HAS SOUS 12704 HAS SOUPS 12704 WITH SCORE 12723.821
AT ITER 56 NEW BEST:: SOT 23346 SOS 19803 HAS SOPS 19803 HAS SOUS 12689 HAS SOUPS 12689 WITH SCORE 12708.803
AT ITER 62 NEW BEST:: SOT 23343 SOS 19800 HAS SOPS 19800 HAS SOUS 12683 HAS SOUPS 12683 WITH SCORE 12702.8
AT ITER 76 NEW BEST:: SOT 23336 SOS 19793 HAS SOPS 19793 HAS SOUS 12676 HAS SOUPS 12676 WITH SCORE 12695.793
AT ITER 87 NEW BEST:: SOT 23316 SOS 19773 HAS SOPS 19773 HAS SOUS 12672 HAS SOUPS 12672 WITH SCORE 12691.773
AT ITER 91 NEW BEST:: SOT 23316 SOS 19473 HAS SOPS 19473 HAS SOUS 12667 HAS SOUPS 12667 WITH SCORE 12686.473
AT ITER 94 NEW BEST:: SOT 23316 SOS 19473 HAS SOPS 19473 HAS SOUS 12666 HAS SOUPS 12666 WITH SCORE 12685.473
AT ITER 101 NEW BEST:: SOT 23312 SOS 19467 HAS SOPS 19467 HAS SOUS 12663 HAS SOUPS 12663 WITH SCORE 12682.467
AT ITER 102 NEW BEST:: SOT 23172 SOS 19312 HAS SOPS 19312 HAS SOUS 12620 HAS SOUPS 12620 WITH SCORE 12639.312
AT ITER 109 NEW BEST:: SOT 23172 SOS 19164 HAS SOPS 19164 HAS SOUS 12610 HAS SOUPS 12610 WITH SCORE 12629.164
AT ITER 116 NEW BEST:: SOT 23172 SOS 19164 HAS SOPS 19164 HAS SOUS 12609 HAS SOUPS 12609 WITH SCORE 12628.164
AT ITER 117 NEW BEST:: SOT 22778 SOS 18770 HAS SOPS 18770 HAS SOUS 12429 HAS SOUPS 12429 WITH SCORE 12447.77
AT ITER 126 NEW BEST:: SOT 22697 SOS 18752 HAS SOPS 18752 HAS SOUS 12410 HAS SOUPS 12410 WITH SCORE 12428.752
AT ITER 135 NEW BEST:: SOT 22710 SOS 18736 HAS SOPS 18736 HAS SOUS 12394 HAS SOUPS 12394 WITH SCORE 12412.736
AT ITER 136 NEW BEST:: SOT 22671 SOS 18697 HAS SOPS 18697 HAS SOUS 12355 HAS SOUPS 12355 WITH SCORE 12373.697
AT ITER 141 NEW BEST:: SOT 22186 SOS 18212 HAS SOPS 18212 HAS SOUS 12248 HAS SOUPS 12248 WITH SCORE 12266.212
AT ITER 143 NEW BEST:: SOT 22184 SOS 18210 HAS SOPS 18210 HAS SOUS 12196 HAS SOUPS 12196 WITH SCORE 12214.21
AT ITER 146 NEW BEST:: SOT 22184 SOS 18267 HAS SOPS 18267 HAS SOUS 12192 HAS SOUPS 12192 WITH SCORE 12210.267
AT ITER 165 NEW BEST:: SOT 22236 SOS 18216 HAS SOPS 18216 HAS SOUS 12141 HAS SOUPS 12141 WITH SCORE 12159.216
AT ITER 194 NEW BEST:: SOT 22233 SOS 18213 HAS SOPS 18213 HAS SOUS 12137 HAS SOUPS 12137 WITH SCORE 12155.213
AT ITER 197 NEW BEST:: SOT 21519 SOS 17484 HAS SOPS 17484 HAS SOUS 11408 HAS SOUPS 11408 WITH SCORE 11425.484
AT ITER 202 NEW BEST:: SOT 21519 SOS 17479 HAS SOPS 17479 HAS SOUS 11407 HAS SOUPS 11407 WITH SCORE 11424.479
AT ITER 208 NEW BEST:: SOT 21454 SOS 17478 HAS SOPS 17478 HAS SOUS 11341 HAS SOUPS 11341 WITH SCORE 11358.478
AT ITER 210 NEW BEST:: SOT 21423 SOS 17458 HAS SOPS 17458 HAS SOUS 11321 HAS SOUPS 11321 WITH SCORE 11338.458
AT ITER 211 NEW BEST:: SOT 21418 SOS 17457 HAS SOPS 17457 HAS SOUS 11320 HAS SOUPS 11320 WITH SCORE 11337.457
AT ITER 212 NEW BEST:: SOT 21412 SOS 17451 HAS SOPS 17451 HAS SOUS 11314 HAS SOUPS 11314 WITH SCORE 11331.451
AT ITER 218 NEW BEST:: SOT 20916 SOS 16955 HAS SOPS 16955 HAS SOUS 10817 HAS SOUPS 10817 WITH SCORE 10833.955
AT ITER 225 NEW BEST:: SOT 20912 SOS 16950 HAS SOPS 16950 HAS SOUS 10812 HAS SOUPS 10812 WITH SCORE 10828.95
AT ITER 227 NEW BEST:: SOT 20512 SOS 16450 HAS SOPS 16450 HAS SOUS 10632 HAS SOUPS 10632 WITH SCORE 10648.45
AT ITER 232 NEW BEST:: SOT 20512 SOS 16450 HAS SOPS 16450 HAS SOUS 10631 HAS SOUPS 10631 WITH SCORE 10647.45
AT ITER 245 NEW BEST:: SOT 20502 SOS 16440 HAS SOPS 16440 HAS SOUS 10621 HAS SOUPS 10621 WITH SCORE 10637.44
AT ITER 256 NEW BEST:: SOT 20502 SOS 16563 HAS SOPS 16563 HAS SOUS 10614 HAS SOUPS 10614 WITH SCORE 10630.563
AT ITER 265 NEW BEST:: SOT 20495 SOS 16530 HAS SOPS 16530 HAS SOUS 10593 HAS SOUPS 10593 WITH SCORE 10609.53
AT ITER 280 NEW BEST:: SOT 20447 SOS 16482 HAS SOPS 16482 HAS SOUS 10589 HAS SOUPS 10589 WITH SCORE 10605.482
AT ITER 293 NEW BEST:: SOT 20195 SOS 16230 HAS SOPS 16230 HAS SOUS 10334 HAS SOUPS 10334 WITH SCORE 10350.23
AT ITER 305 NEW BEST:: SOT 20167 SOS 16202 HAS SOPS 16202 HAS SOUS 10292 HAS SOUPS 10292 WITH SCORE 10308.202
AT ITER 310 NEW BEST:: SOT 20135 SOS 16196 HAS SOPS 16196 HAS SOUS 10286 HAS SOUPS 10286 WITH SCORE 10302.196
AT ITER 315 NEW BEST:: SOT 20135 SOS 16196 HAS SOPS 16196 HAS SOUS 10179 HAS SOUPS 10179 WITH SCORE 10195.196
AT ITER 317 NEW BEST:: SOT 20134 SOS 16195 HAS SOPS 16195 HAS SOUS 10177 HAS SOUPS 10177 WITH SCORE 10193.195
AT ITER 338 NEW BEST:: SOT 20172 SOS 16233 HAS SOPS 16233 HAS SOUS 10175 HAS SOUPS 10175 WITH SCORE 10191.233
AT ITER 340 NEW BEST:: SOT 20103 SOS 16158 HAS SOPS 16158 HAS SOUS 10156 HAS SOUPS 10156 WITH SCORE 10172.158
AT ITER 342 NEW BEST:: SOT 20103 SOS 16152 HAS SOPS 16152 HAS SOUS 10150 HAS SOUPS 10150 WITH SCORE 10166.152
AT ITER 343 NEW BEST:: SOT 20033 SOS 16082 HAS SOPS 16082 HAS SOUS 10082 HAS SOUPS 10082 WITH SCORE 10098.082
AT ITER 347 NEW BEST:: SOT 20025 SOS 16074 HAS SOPS 16074 HAS SOUS 10074 HAS SOUPS 10074 WITH SCORE 10090.074
AT ITER 351 NEW BEST:: SOT 20020 SOS 16016 HAS SOPS 16016 HAS SOUS 10016 HAS SOUPS 10016 WITH SCORE 10032.016
AT ITER 356 NEW BEST:: SOT 19994 SOS 15990 HAS SOPS 15990 HAS SOUS 9980 HAS SOUPS 9980 WITH SCORE 9995.99
AT ITER 358 NEW BEST:: SOT 19969 SOS 15965 HAS SOPS 15965 HAS SOUS 9977 HAS SOUPS 9977 WITH SCORE 9992.965
AT ITER 362 NEW BEST:: SOT 19958 SOS 15936 HAS SOPS 15936 HAS SOUS 9948 HAS SOUPS 9948 WITH SCORE 9963.936
AT ITER 365 NEW BEST:: SOT 19906 SOS 15884 HAS SOPS 15884 HAS SOUS 9922 HAS SOUPS 9922 WITH SCORE 9937.884
AT ITER 369 NEW BEST:: SOT 19906 SOS 15884 HAS SOPS 15884 HAS SOUS 9865 HAS SOUPS 9865 WITH SCORE 9880.884
AT ITER 370 NEW BEST:: SOT 19898 SOS 15876 HAS SOPS 15876 HAS SOUS 9857 HAS SOUPS 9857 WITH SCORE 9872.876
AT ITER 381 NEW BEST:: SOT 19930 SOS 15908 HAS SOPS 15908 HAS SOUS 9841 HAS SOUPS 9841 WITH SCORE 9856.908
AT ITER 393 NEW BEST:: SOT 19733 SOS 15708 HAS SOPS 15708 HAS SOUS 9641 HAS SOUPS 9641 WITH SCORE 9656.708
AT ITER 415 NEW BEST:: SOT 19722 SOS 15695 HAS SOPS 15695 HAS SOUS 9628 HAS SOUPS 9628 WITH SCORE 9643.695
AT ITER 439 NEW BEST:: SOT 19697 SOS 15670 HAS SOPS 15670 HAS SOUS 9622 HAS SOUPS 9622 WITH SCORE 9637.67
AT ITER 443 NEW BEST:: SOT 19697 SOS 15670 HAS SOPS 15670 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9636.67
AT ITER 453 NEW BEST:: SOT 19501 SOS 15470 HAS SOPS 15470 HAS SOUS 9421 HAS SOUPS 9421 WITH SCORE 9436.47
AT ITER 461 NEW BEST:: SOT 18853 SOS 14822 HAS SOPS 14822 HAS SOUS 8603 HAS SOUPS 8603 WITH SCORE 8617.822
AT ITER 488 NEW BEST:: SOT 18815 SOS 14784 HAS SOPS 14784 HAS SOUS 8602 HAS SOUPS 8602 WITH SCORE 8616.784
AT ITER 491 NEW BEST:: SOT 18812 SOS 14432 HAS SOPS 14432 HAS SOUS 8591 HAS SOUPS 8591 WITH SCORE 8605.432
AT ITER 494 NEW BEST:: SOT 18808 SOS 14428 HAS SOPS 14428 HAS SOUS 8587 HAS SOUPS 8587 WITH SCORE 8601.428
AT ITER 507 NEW BEST:: SOT 18688 SOS 14428 HAS SOPS 14428 HAS SOUS 8568 HAS SOUPS 8568 WITH SCORE 8582.428
AT ITER 508 NEW BEST:: SOT 18644 SOS 14379 HAS SOPS 14379 HAS SOUS 8519 HAS SOUPS 8519 WITH SCORE 8533.379
AT ITER 513 NEW BEST:: SOT 18453 SOS 14188 HAS SOPS 14188 HAS SOUS 8397 HAS SOUPS 8397 WITH SCORE 8411.188
AT ITER 518 NEW BEST:: SOT 18443 SOS 14178 HAS SOPS 14178 HAS SOUS 8369 HAS SOUPS 8369 WITH SCORE 8383.178
AT ITER 523 NEW BEST:: SOT 18392 SOS 14127 HAS SOPS 14127 HAS SOUS 8318 HAS SOUPS 8318 WITH SCORE 8332.127
AT ITER 532 NEW BEST:: SOT 18343 SOS 14068 HAS SOPS 14068 HAS SOUS 8279 HAS SOUPS 8279 WITH SCORE 8293.068
AT ITER 537 NEW BEST:: SOT 18352 SOS 14091 HAS SOPS 14091 HAS SOUS 8263 HAS SOUPS 8263 WITH SCORE 8277.091
AT ITER 542 NEW BEST:: SOT 18145 SOS 13884 HAS SOPS 13884 HAS SOUS 8120 HAS SOUPS 8120 WITH SCORE 8133.884
AT ITER 547 NEW BEST:: SOT 18207 SOS 13946 HAS SOPS 13946 HAS SOUS 8118 HAS SOUPS 8118 WITH SCORE 8131.946
AT ITER 552 NEW BEST:: SOT 18204 SOS 13943 HAS SOPS 13943 HAS SOUS 8115 HAS SOUPS 8115 WITH SCORE 8128.943
AT ITER 566 NEW BEST:: SOT 18191 SOS 13948 HAS SOPS 13948 HAS SOUS 8113 HAS SOUPS 8113 WITH SCORE 8126.948
AT ITER 573 NEW BEST:: SOT 18194 SOS 13951 HAS SOPS 13951 HAS SOUS 8112 HAS SOUPS 8112 WITH SCORE 8125.951
AT ITER 582 NEW BEST:: SOT 18132 SOS 13889 HAS SOPS 13889 HAS SOUS 8058 HAS SOUPS 8058 WITH SCORE 8071.889
AT ITER 589 NEW BEST:: SOT 18106 SOS 13863 HAS SOPS 13863 HAS SOUS 8032 HAS SOUPS 8032 WITH SCORE 8045.863
AT ITER 591 NEW BEST:: SOT 18119 SOS 13876 HAS SOPS 13876 HAS SOUS 8029 HAS SOUPS 8029 WITH SCORE 8042.876
AT ITER 596 NEW BEST:: SOT 18105 SOS 13862 HAS SOPS 13862 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8027.862
AT ITER 600 NEW BEST:: SOT 18070 SOS 13957 HAS SOPS 13957 HAS SOUS 7910 HAS SOUPS 7910 WITH SCORE 7923.957
AT ITER 606 NEW BEST:: SOT 18070 SOS 13957 HAS SOPS 13957 HAS SOUS 7895 HAS SOUPS 7895 WITH SCORE 7908.957
AT ITER 608 NEW BEST:: SOT 17974 SOS 13860 HAS SOPS 13860 HAS SOUS 7812 HAS SOUPS 7812 WITH SCORE 7825.86
AT ITER 611 NEW BEST:: SOT 17974 SOS 13859 HAS SOPS 13859 HAS SOUS 7811 HAS SOUPS 7811 WITH SCORE 7824.859
AT ITER 612 NEW BEST:: SOT 17974 SOS 13859 HAS SOPS 13859 HAS SOUS 7809 HAS SOUPS 7809 WITH SCORE 7822.859
AT ITER 635 NEW BEST:: SOT 17865 SOS 13750 HAS SOPS 13750 HAS SOUS 7684 HAS SOUPS 7684 WITH SCORE 7697.75
AT ITER 636 NEW BEST:: SOT 17864 SOS 13744 HAS SOPS 13744 HAS SOUS 7678 HAS SOUPS 7678 WITH SCORE 7691.744
AT ITER 641 NEW BEST:: SOT 17863 SOS 13651 HAS SOPS 13651 HAS SOUS 7676 HAS SOUPS 7676 WITH SCORE 7689.651
AT ITER 642 NEW BEST:: SOT 17855 SOS 13643 HAS SOPS 13643 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7673.643
AT ITER 661 NEW BEST:: SOT 17843 SOS 13619 HAS SOPS 13619 HAS SOUS 7636 HAS SOUPS 7636 WITH SCORE 7649.619
AT ITER 662 NEW BEST:: SOT 17785 SOS 13552 HAS SOPS 13552 HAS SOUS 7588 HAS SOUPS 7588 WITH SCORE 7601.552
AT ITER 663 NEW BEST:: SOT 16749 SOS 12784 HAS SOPS 12784 HAS SOUS 6521 HAS SOUPS 6521 WITH SCORE 6533.784
AT ITER 672 NEW BEST:: SOT 16760 SOS 12795 HAS SOPS 12795 HAS SOUS 6519 HAS SOUPS 6519 WITH SCORE 6531.795
AT ITER 693 NEW BEST:: SOT 16759 SOS 12794 HAS SOPS 12794 HAS SOUS 6517 HAS SOUPS 6517 WITH SCORE 6529.794
AT ITER 701 NEW BEST:: SOT 16732 SOS 12784 HAS SOPS 12784 HAS SOUS 6507 HAS SOUPS 6507 WITH SCORE 6519.784
AT ITER 729 NEW BEST:: SOT 16728 SOS 12780 HAS SOPS 12780 HAS SOUS 6499 HAS SOUPS 6499 WITH SCORE 6511.78
AT ITER 748 NEW BEST:: SOT 16704 SOS 12755 HAS SOPS 12755 HAS SOUS 6493 HAS SOUPS 6493 WITH SCORE 6505.755
AT ITER 749 NEW BEST:: SOT 16704 SOS 12726 HAS SOPS 12726 HAS SOUS 6479 HAS SOUPS 6479 WITH SCORE 6491.726
AT ITER 762 NEW BEST:: SOT 16705 SOS 12720 HAS SOPS 12720 HAS SOUS 6473 HAS SOUPS 6473 WITH SCORE 6485.72
AT ITER 775 NEW BEST:: SOT 16663 SOS 12678 HAS SOPS 12678 HAS SOUS 6431 HAS SOUPS 6431 WITH SCORE 6443.678
AT ITER 778 NEW BEST:: SOT 16653 SOS 12668 HAS SOPS 12668 HAS SOUS 6421 HAS SOUPS 6421 WITH SCORE 6433.668
AT ITER 783 NEW BEST:: SOT 16649 SOS 12634 HAS SOPS 12634 HAS SOUS 6403 HAS SOUPS 6403 WITH SCORE 6415.634
AT ITER 793 NEW BEST:: SOT 16640 SOS 12425 HAS SOPS 12425 HAS SOUS 6384 HAS SOUPS 6384 WITH SCORE 6396.425
AT ITER 804 NEW BEST:: SOT 16622 SOS 12407 HAS SOPS 12407 HAS SOUS 6348 HAS SOUPS 6348 WITH SCORE 6360.407
AT ITER 809 NEW BEST:: SOT 16618 SOS 12403 HAS SOPS 12403 HAS SOUS 6344 HAS SOUPS 6344 WITH SCORE 6356.403
AT ITER 811 NEW BEST:: SOT 16530 SOS 12315 HAS SOPS 12315 HAS SOUS 6292 HAS SOUPS 6292 WITH SCORE 6304.315
AT ITER 817 NEW BEST:: SOT 16530 SOS 12315 HAS SOPS 12315 HAS SOUS 6282 HAS SOUPS 6282 WITH SCORE 6294.315
AT ITER 824 NEW BEST:: SOT 16538 SOS 11945 HAS SOPS 11945 HAS SOUS 6278 HAS SOUPS 6278 WITH SCORE 6289.945
AT ITER 833 NEW BEST:: SOT 16538 SOS 11945 HAS SOPS 11945 HAS SOUS 6262 HAS SOUPS 6262 WITH SCORE 6273.945
AT ITER 844 NEW BEST:: SOT 16528 SOS 11887 HAS SOPS 11887 HAS SOUS 6256 HAS SOUPS 6256 WITH SCORE 6267.887
AT ITER 853 NEW BEST:: SOT 16531 SOS 12064 HAS SOPS 12064 HAS SOUS 6252 HAS SOUPS 6252 WITH SCORE 6264.064
AT ITER 865 NEW BEST:: SOT 16531 SOS 12055 HAS SOPS 12055 HAS SOUS 6243 HAS SOUPS 6243 WITH SCORE 6255.055
AT ITER 875 NEW BEST:: SOT 16548 SOS 12057 HAS SOPS 12057 HAS SOUS 6240 HAS SOUPS 6240 WITH SCORE 6252.057
AT ITER 883 NEW BEST:: SOT 16546 SOS 12073 HAS SOPS 12073 HAS SOUS 6231 HAS SOUPS 6231 WITH SCORE 6243.073
AT ITER 884 NEW BEST:: SOT 16509 SOS 12036 HAS SOPS 12036 HAS SOUS 6197 HAS SOUPS 6197 WITH SCORE 6209.036
AT ITER 887 NEW BEST:: SOT 16498 SOS 12057 HAS SOPS 12057 HAS SOUS 6194 HAS SOUPS 6194 WITH SCORE 6206.057
AT ITER 898 NEW BEST:: SOT 16495 SOS 12054 HAS SOPS 12054 HAS SOUS 6191 HAS SOUPS 6191 WITH SCORE 6203.054
AT ITER 927 NEW BEST:: SOT 16493 SOS 12052 HAS SOPS 12052 HAS SOUS 6189 HAS SOUPS 6189 WITH SCORE 6201.052
AT ITER 934 NEW BEST:: SOT 16435 SOS 11992 HAS SOPS 11992 HAS SOUS 6129 HAS SOUPS 6129 WITH SCORE 6140.992
AT ITER 939 NEW BEST:: SOT 16406 SOS 11963 HAS SOPS 11963 HAS SOUS 6126 HAS SOUPS 6126 WITH SCORE 6137.963
AT ITER 944 NEW BEST:: SOT 16406 SOS 11962 HAS SOPS 11962 HAS SOUS 6125 HAS SOUPS 6125 WITH SCORE 6136.962
AT ITER 980 NEW BEST:: SOT 16385 SOS 11941 HAS SOPS 11941 HAS SOUS 6110 HAS SOUPS 6110 WITH SCORE 6121.941
AT ITER 988 NEW BEST:: SOT 16370 SOS 12218 HAS SOPS 12218 HAS SOUS 6102 HAS SOUPS 6102 WITH SCORE 6114.218
AT ITER 991 NEW BEST:: SOT 16348 SOS 12196 HAS SOPS 12196 HAS SOUS 6091 HAS SOUPS 6091 WITH SCORE 6103.196
AT ITER 992 NEW BEST:: SOT 16347 SOS 12195 HAS SOPS 12195 HAS SOUS 6089 HAS SOUPS 6089 WITH SCORE 6101.195
AT ITER 998 NEW BEST:: SOT 16348 SOS 12196 HAS SOPS 12196 HAS SOUS 6071 HAS SOUPS 6071 WITH SCORE 6083.196
AT ITER 1002 NEW BEST:: SOT 16337 SOS 12185 HAS SOPS 12185 HAS SOUS 6049 HAS SOUPS 6049 WITH SCORE 6061.185
AT ITER 1006 NEW BEST:: SOT 16331 SOS 12179 HAS SOPS 12179 HAS SOUS 6037 HAS SOUPS 6037 WITH SCORE 6049.179
AT ITER 1016 NEW BEST:: SOT 16336 SOS 12184 HAS SOPS 12184 HAS SOUS 6032 HAS SOUPS 6032 WITH SCORE 6044.184
AT ITER 1019 NEW BEST:: SOT 16320 SOS 12168 HAS SOPS 12168 HAS SOUS 6016 HAS SOUPS 6016 WITH SCORE 6028.168
AT ITER 1022 NEW BEST:: SOT 16308 SOS 12144 HAS SOPS 12144 HAS SOUS 5992 HAS SOUPS 5992 WITH SCORE 6004.144
AT ITER 1042 NEW BEST:: SOT 16308 SOS 11978 HAS SOPS 11978 HAS SOUS 5910 HAS SOUPS 5910 WITH SCORE 5921.978
AT ITER 1048 NEW BEST:: SOT 16154 SOS 12020 HAS SOPS 12020 HAS SOUS 5871 HAS SOUPS 5871 WITH SCORE 5883.02
AT ITER 1053 NEW BEST:: SOT 16160 SOS 12020 HAS SOPS 12020 HAS SOUS 5857 HAS SOUPS 5857 WITH SCORE 5869.02
AT ITER 1060 NEW BEST:: SOT 16147 SOS 12007 HAS SOPS 12007 HAS SOUS 5844 HAS SOUPS 5844 WITH SCORE 5856.007
AT ITER 1063 NEW BEST:: SOT 16146 SOS 12006 HAS SOPS 12006 HAS SOUS 5842 HAS SOUPS 5842 WITH SCORE 5854.006
AT ITER 1067 NEW BEST:: SOT 16142 SOS 12002 HAS SOPS 12002 HAS SOUS 5834 HAS SOUPS 5834 WITH SCORE 5846.002
AT ITER 1075 NEW BEST:: SOT 16038 SOS 11891 HAS SOPS 11891 HAS SOUS 5723 HAS SOUPS 5723 WITH SCORE 5734.891
AT ITER 1077 NEW BEST:: SOT 16035 SOS 11888 HAS SOPS 11888 HAS SOUS 5685 HAS SOUPS 5685 WITH SCORE 5696.888
AT ITER 1083 NEW BEST:: SOT 16023 SOS 11876 HAS SOPS 11876 HAS SOUS 5661 HAS SOUPS 5661 WITH SCORE 5672.876
AT ITER 1137 NEW BEST:: SOT 16003 SOS 11856 HAS SOPS 11856 HAS SOUS 5656 HAS SOUPS 5656 WITH SCORE 5667.856
AT ITER 1153 NEW BEST:: SOT 15989 SOS 11842 HAS SOPS 11842 HAS SOUS 5628 HAS SOUPS 5628 WITH SCORE 5639.842
AT ITER 1163 NEW BEST:: SOT 15985 SOS 11838 HAS SOPS 11838 HAS SOUS 5620 HAS SOUPS 5620 WITH SCORE 5631.838
AT ITER 1170 NEW BEST:: SOT 15944 SOS 11797 HAS SOPS 11797 HAS SOUS 5577 HAS SOUPS 5577 WITH SCORE 5588.797
AT ITER 1185 NEW BEST:: SOT 15899 SOS 11716 HAS SOPS 11716 HAS SOUS 5543 HAS SOUPS 5543 WITH SCORE 5554.716
AT ITER 1190 NEW BEST:: SOT 15885 SOS 11684 HAS SOPS 11684 HAS SOUS 5527 HAS SOUPS 5527 WITH SCORE 5538.684
AT ITER 1209 NEW BEST:: SOT 15838 SOS 11637 HAS SOPS 11637 HAS SOUS 5460 HAS SOUPS 5460 WITH SCORE 5471.637
AT ITER 1215 NEW BEST:: SOT 15816 SOS 11615 HAS SOPS 11615 HAS SOUS 5438 HAS SOUPS 5438 WITH SCORE 5449.615
AT ITER 1221 NEW BEST:: SOT 15812 SOS 11607 HAS SOPS 11607 HAS SOUS 5430 HAS SOUPS 5430 WITH SCORE 5441.607
AT ITER 1223 NEW BEST:: SOT 15799 SOS 11585 HAS SOPS 11585 HAS SOUS 5401 HAS SOUPS 5401 WITH SCORE 5412.585
AT ITER 1225 NEW BEST:: SOT 15762 SOS 11578 HAS SOPS 11578 HAS SOUS 5380 HAS SOUPS 5380 WITH SCORE 5391.578
AT ITER 1250 NEW BEST:: SOT 15763 SOS 11579 HAS SOPS 11579 HAS SOUS 5369 HAS SOUPS 5369 WITH SCORE 5380.579
AT ITER 1253 NEW BEST:: SOT 15758 SOS 11574 HAS SOPS 11574 HAS SOUS 5359 HAS SOUPS 5359 WITH SCORE 5370.574
AT ITER 1268 NEW BEST:: SOT 15754 SOS 11569 HAS SOPS 11569 HAS SOUS 5354 HAS SOUPS 5354 WITH SCORE 5365.569
AT ITER 1277 NEW BEST:: SOT 15765 SOS 11580 HAS SOPS 11580 HAS SOUS 5347 HAS SOUPS 5347 WITH SCORE 5358.58
AT ITER 1294 NEW BEST:: SOT 15754 SOS 11563 HAS SOPS 11563 HAS SOUS 5330 HAS SOUPS 5330 WITH SCORE 5341.563
AT ITER 1297 NEW BEST:: SOT 15752 SOS 11561 HAS SOPS 11561 HAS SOUS 5326 HAS SOUPS 5326 WITH SCORE 5337.561
AT ITER 1299 NEW BEST:: SOT 15731 SOS 11540 HAS SOPS 11540 HAS SOUS 5320 HAS SOUPS 5320 WITH SCORE 5331.54
AT ITER 1315 NEW BEST:: SOT 15720 SOS 11529 HAS SOPS 11529 HAS SOUS 5298 HAS SOUPS 5298 WITH SCORE 5309.529
AT ITER 1345 NEW BEST:: SOT 15720 SOS 11521 HAS SOPS 11521 HAS SOUS 5296 HAS SOUPS 5296 WITH SCORE 5307.521
AT ITER 1364 NEW BEST:: SOT 15698 SOS 11475 HAS SOPS 11475 HAS SOUS 5290 HAS SOUPS 5290 WITH SCORE 5301.475
AT ITER 1370 NEW BEST:: SOT 15693 SOS 11470 HAS SOPS 11470 HAS SOUS 5285 HAS SOUPS 5285 WITH SCORE 5296.47
AT ITER 1373 NEW BEST:: SOT 15669 SOS 11415 HAS SOPS 11415 HAS SOUS 5244 HAS SOUPS 5244 WITH SCORE 5255.415
AT ITER 1393 NEW BEST:: SOT 15690 SOS 11436 HAS SOPS 11436 HAS SOUS 5243 HAS SOUPS 5243 WITH SCORE 5254.436
AT ITER 1397 NEW BEST:: SOT 15691 SOS 11424 HAS SOPS 11424 HAS SOUS 5231 HAS SOUPS 5231 WITH SCORE 5242.424
AT ITER 1403 NEW BEST:: SOT 15685 SOS 11418 HAS SOPS 11418 HAS SOUS 5213 HAS SOUPS 5213 WITH SCORE 5224.418
AT ITER 1413 NEW BEST:: SOT 15686 SOS 11409 HAS SOPS 11409 HAS SOUS 5212 HAS SOUPS 5212 WITH SCORE 5223.409
AT ITER 1460 NEW BEST:: SOT 15681 SOS 11404 HAS SOPS 11404 HAS SOUS 5176 HAS SOUPS 5176 WITH SCORE 5187.404
AT ITER 1462 NEW BEST:: SOT 15675 SOS 11398 HAS SOPS 11398 HAS SOUS 5158 HAS SOUPS 5158 WITH SCORE 5169.398
AT ITER 1480 NEW BEST:: SOT 15668 SOS 11391 HAS SOPS 11391 HAS SOUS 5151 HAS SOUPS 5151 WITH SCORE 5162.391
AT ITER 1483 NEW BEST:: SOT 15652 SOS 11377 HAS SOPS 11377 HAS SOUS 5137 HAS SOUPS 5137 WITH SCORE 5148.377
AT ITER 1531 NEW BEST:: SOT 15650 SOS 11375 HAS SOPS 11375 HAS SOUS 5135 HAS SOUPS 5135 WITH SCORE 5146.375
AT ITER 1533 NEW BEST:: SOT 15649 SOS 11374 HAS SOPS 11374 HAS SOUS 5134 HAS SOUPS 5134 WITH SCORE 5145.374
AT ITER 1539 NEW BEST:: SOT 15636 SOS 11350 HAS SOPS 11350 HAS SOUS 5110 HAS SOUPS 5110 WITH SCORE 5121.35
AT ITER 1555 NEW BEST:: SOT 15635 SOS 11349 HAS SOPS 11349 HAS SOUS 5109 HAS SOUPS 5109 WITH SCORE 5120.349
AT ITER 1572 NEW BEST:: SOT 15589 SOS 11303 HAS SOPS 11303 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5088.303
AT ITER 1583 NEW BEST:: SOT 15589 SOS 11290 HAS SOPS 11290 HAS SOUS 5077 HAS SOUPS 5077 WITH SCORE 5088.29
AT ITER 1588 NEW BEST:: SOT 15581 SOS 11282 HAS SOPS 11282 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5068.282
AT ITER 1591 NEW BEST:: SOT 15568 SOS 11254 HAS SOPS 11254 HAS SOUS 5040 HAS SOUPS 5040 WITH SCORE 5051.254
AT ITER 1609 NEW BEST:: SOT 15549 SOS 11228 HAS SOPS 11228 HAS SOUS 5014 HAS SOUPS 5014 WITH SCORE 5025.228
AT ITER 1613 NEW BEST:: SOT 15495 SOS 11174 HAS SOPS 11174 HAS SOUS 4982 HAS SOUPS 4982 WITH SCORE 4993.174
AT ITER 1628 NEW BEST:: SOT 15494 SOS 11173 HAS SOPS 11173 HAS SOUS 4981 HAS SOUPS 4981 WITH SCORE 4992.173
AT ITER 1638 NEW BEST:: SOT 15497 SOS 11182 HAS SOPS 11182 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4991.182
AT ITER 1646 NEW BEST:: SOT 15500 SOS 11160 HAS SOPS 11160 HAS SOUS 4980 HAS SOUPS 4980 WITH SCORE 4991.16
AT ITER 1649 NEW BEST:: SOT 15508 SOS 11168 HAS SOPS 11168 HAS SOUS 4961 HAS SOUPS 4961 WITH SCORE 4972.168
AT ITER 1668 NEW BEST:: SOT 15501 SOS 11161 HAS SOPS 11161 HAS SOUS 4948 HAS SOUPS 4948 WITH SCORE 4959.161
AT ITER 1675 NEW BEST:: SOT 15435 SOS 11095 HAS SOPS 11095 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4827.095
AT ITER 1681 NEW BEST:: SOT 15430 SOS 11012 HAS SOPS 11012 HAS SOUS 4816 HAS SOUPS 4816 WITH SCORE 4827.012
AT ITER 1685 NEW BEST:: SOT 15430 SOS 11001 HAS SOPS 11001 HAS SOUS 4805 HAS SOUPS 4805 WITH SCORE 4816.001
AT ITER 1735 NEW BEST:: SOT 15427 SOS 10998 HAS SOPS 10998 HAS SOUS 4803 HAS SOUPS 4803 WITH SCORE 4813.998
AT ITER 1748 NEW BEST:: SOT 15348 SOS 10938 HAS SOPS 10938 HAS SOUS 4785 HAS SOUPS 4785 WITH SCORE 4795.938
AT ITER 1752 NEW BEST:: SOT 15362 SOS 10952 HAS SOPS 10952 HAS SOUS 4752 HAS SOUPS 4752 WITH SCORE 4762.952
AT ITER 1757 NEW BEST:: SOT 15354 SOS 10944 HAS SOPS 10944 HAS SOUS 4736 HAS SOUPS 4736 WITH SCORE 4746.944
AT ITER 1763 NEW BEST:: SOT 15354 SOS 10941 HAS SOPS 10941 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4743.941
AT ITER 1766 NEW BEST:: SOT 15354 SOS 10941 HAS SOPS 10941 HAS SOUS 4712 HAS SOUPS 4712 WITH SCORE 4722.941
AT ITER 1776 NEW BEST:: SOT 15353 SOS 10940 HAS SOPS 10940 HAS SOUS 4711 HAS SOUPS 4711 WITH SCORE 4721.94
AT ITER 1820 NEW BEST:: SOT 15352 SOS 10937 HAS SOPS 10937 HAS SOUS 4707 HAS SOUPS 4707 WITH SCORE 4717.937
AT ITER 1824 NEW BEST:: SOT 15334 SOS 10919 HAS SOPS 10919 HAS SOUS 4689 HAS SOUPS 4689 WITH SCORE 4699.919
AT ITER 1825 NEW BEST:: SOT 15284 SOS 10869 HAS SOPS 10869 HAS SOUS 4664 HAS SOUPS 4664 WITH SCORE 4674.869
AT ITER 1830 NEW BEST:: SOT 15261 SOS 10829 HAS SOPS 10829 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4668.829
AT ITER 1831 NEW BEST:: SOT 15256 SOS 10824 HAS SOPS 10824 HAS SOUS 4655 HAS SOUPS 4655 WITH SCORE 4665.824
AT ITER 1833 NEW BEST:: SOT 15255 SOS 10818 HAS SOPS 10818 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4664.818
AT ITER 1871 NEW BEST:: SOT 15255 SOS 10801 HAS SOPS 10801 HAS SOUS 4654 HAS SOUPS 4654 WITH SCORE 4664.801
AT ITER 1882 NEW BEST:: SOT 15253 SOS 10799 HAS SOPS 10799 HAS SOUS 4650 HAS SOUPS 4650 WITH SCORE 4660.799
AT ITER 1886 NEW BEST:: SOT 15253 SOS 10773 HAS SOPS 10773 HAS SOUS 4624 HAS SOUPS 4624 WITH SCORE 4634.773
AT ITER 1907 NEW BEST:: SOT 15242 SOS 10762 HAS SOPS 10762 HAS SOUS 4623 HAS SOUPS 4623 WITH SCORE 4633.762
AT ITER 1941 NEW BEST:: SOT 15207 SOS 10727 HAS SOPS 10727 HAS SOUS 4611 HAS SOUPS 4611 WITH SCORE 4621.727
AT ITER 1945 NEW BEST:: SOT 15168 SOS 10675 HAS SOPS 10675 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4595.675
AT ITER 1947 NEW BEST:: SOT 15163 SOS 10675 HAS SOPS 10675 HAS SOUS 4553 HAS SOUPS 4553 WITH SCORE 4563.675
AT ITER 1980 NEW BEST:: SOT 15162 SOS 10674 HAS SOPS 10674 HAS SOUS 4551 HAS SOUPS 4551 WITH SCORE 4561.674
AT ITER 1990 NEW BEST:: SOT 15153 SOS 10665 HAS SOPS 10665 HAS SOUS 4533 HAS SOUPS 4533 WITH SCORE 4543.665
AT ITER 1993 NEW BEST:: SOT 15140 SOS 10619 HAS SOPS 10619 HAS SOUS 4528 HAS SOUPS 4528 WITH SCORE 4538.619
AT ITER 1999 NEW BEST:: SOT 15158 SOS 10637 HAS SOPS 10637 HAS SOUS 4482 HAS SOUPS 4482 WITH SCORE 4492.637
AT ITER 2045 NEW BEST:: SOT 15157 SOS 10636 HAS SOPS 10636 HAS SOUS 4480 HAS SOUPS 4480 WITH SCORE 4490.636
AT ITER 2048 NEW BEST:: SOT 15166 SOS 10619 HAS SOPS 10619 HAS SOUS 4463 HAS SOUPS 4463 WITH SCORE 4473.619
AT ITER 2052 NEW BEST:: SOT 15165 SOS 10618 HAS SOPS 10618 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4467.618
AT ITER 2053 NEW BEST:: SOT 15150 SOS 10603 HAS SOPS 10603 HAS SOUS 4427 HAS SOUPS 4427 WITH SCORE 4437.603
AT ITER 2079 NEW BEST:: SOT 15146 SOS 10563 HAS SOPS 10563 HAS SOUS 4410 HAS SOUPS 4410 WITH SCORE 4420.563
AT ITER 2100 NEW BEST:: SOT 15138 SOS 10555 HAS SOPS 10555 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4414.555
AT ITER 2103 NEW BEST:: SOT 15125 SOS 10542 HAS SOPS 10542 HAS SOUS 4404 HAS SOUPS 4404 WITH SCORE 4414.542
AT ITER 2123 NEW BEST:: SOT 15120 SOS 10537 HAS SOPS 10537 HAS SOUS 4399 HAS SOUPS 4399 WITH SCORE 4409.537
AT ITER 2153 NEW BEST:: SOT 15099 SOS 10276 HAS SOPS 10276 HAS SOUS 4366 HAS SOUPS 4366 WITH SCORE 4376.276
AT ITER 2203 NEW BEST:: SOT 15099 SOS 10272 HAS SOPS 10272 HAS SOUS 4362 HAS SOUPS 4362 WITH SCORE 4372.272
AT ITER 2220 NEW BEST:: SOT 15097 SOS 10270 HAS SOPS 10270 HAS SOUS 4360 HAS SOUPS 4360 WITH SCORE 4370.27
AT ITER 2240 NEW BEST:: SOT 15077 SOS 10250 HAS SOPS 10250 HAS SOUS 4344 HAS SOUPS 4344 WITH SCORE 4354.25
AT ITER 2258 NEW BEST:: SOT 15028 SOS 10201 HAS SOPS 10201 HAS SOUS 4326 HAS SOUPS 4326 WITH SCORE 4336.201
AT ITER 2272 NEW BEST:: SOT 15020 SOS 10193 HAS SOPS 10193 HAS SOUS 4310 HAS SOUPS 4310 WITH SCORE 4320.193
AT ITER 2274 NEW BEST:: SOT 14983 SOS 10156 HAS SOPS 10156 HAS SOUS 4235 HAS SOUPS 4235 WITH SCORE 4245.156
AT ITER 2282 NEW BEST:: SOT 14991 SOS 10164 HAS SOPS 10164 HAS SOUS 4219 HAS SOUPS 4219 WITH SCORE 4229.164
AT ITER 2349 NEW BEST:: SOT 14983 SOS 10156 HAS SOPS 10156 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4226.156
AT ITER 2364 NEW BEST:: SOT 14983 SOS 10156 HAS SOPS 10156 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4219.156
AT ITER 2366 NEW BEST:: SOT 14983 SOS 10143 HAS SOPS 10143 HAS SOUS 4196 HAS SOUPS 4196 WITH SCORE 4206.143
AT ITER 2374 NEW BEST:: SOT 14979 SOS 10139 HAS SOPS 10139 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4202.139
AT ITER 2382 NEW BEST:: SOT 14988 SOS 10137 HAS SOPS 10137 HAS SOUS 4190 HAS SOUPS 4190 WITH SCORE 4200.137
AT ITER 2406 NEW BEST:: SOT 14977 SOS 10128 HAS SOPS 10128 HAS SOUS 4181 HAS SOUPS 4181 WITH SCORE 4191.128
AT ITER 2419 NEW BEST:: SOT 14977 SOS 10128 HAS SOPS 10128 HAS SOUS 4165 HAS SOUPS 4165 WITH SCORE 4175.128
AT ITER 2473 NEW BEST:: SOT 14977 SOS 10125 HAS SOPS 10125 HAS SOUS 4162 HAS SOUPS 4162 WITH SCORE 4172.125
AT ITER 2486 NEW BEST:: SOT 14953 SOS 10101 HAS SOPS 10101 HAS SOUS 4155 HAS SOUPS 4155 WITH SCORE 4165.101
AT ITER 2503 NEW BEST:: SOT 14952 SOS 10100 HAS SOPS 10100 HAS SOUS 4154 HAS SOUPS 4154 WITH SCORE 4164.1
AT ITER 2534 NEW BEST:: SOT 14952 SOS 10100 HAS SOPS 10100 HAS SOUS 4130 HAS SOUPS 4130 WITH SCORE 4140.1
AT ITER 2550 NEW BEST:: SOT 14947 SOS 10095 HAS SOPS 10095 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4135.095
AT ITER 2557 NEW BEST:: SOT 14947 SOS 10041 HAS SOPS 10041 HAS SOUS 4125 HAS SOUPS 4125 WITH SCORE 4135.041
AT ITER 2584 NEW BEST:: SOT 14947 SOS 10041 HAS SOPS 10041 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4131.041
AT ITER 2590 NEW BEST:: SOT 14945 SOS 10039 HAS SOPS 10039 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4131.039
AT ITER 2630 NEW BEST:: SOT 14930 SOS 9994 HAS SOPS 9994 HAS SOUS 4121 HAS SOUPS 4121 WITH SCORE 4130.994
AT ITER 2649 NEW BEST:: SOT 14878 SOS 9942 HAS SOPS 9942 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4096.942
AT ITER 2660 NEW BEST:: SOT 14877 SOS 9941 HAS SOPS 9941 HAS SOUS 4085 HAS SOUPS 4085 WITH SCORE 4094.941
AT ITER 2670 NEW BEST:: SOT 14892 SOS 9956 HAS SOPS 9956 HAS SOUS 4078 HAS SOUPS 4078 WITH SCORE 4087.956
AT ITER 2685 NEW BEST:: SOT 14870 SOS 9934 HAS SOPS 9934 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4043.934
AT ITER 2695 NEW BEST:: SOT 14869 SOS 9933 HAS SOPS 9933 HAS SOUS 4032 HAS SOUPS 4032 WITH SCORE 4041.933
AT ITER 2711 NEW BEST:: SOT 14862 SOS 9924 HAS SOPS 9924 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4032.924
AT ITER 2724 NEW BEST:: SOT 14770 SOS 9832 HAS SOPS 9832 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4032.832
AT ITER 2756 NEW BEST:: SOT 14769 SOS 9831 HAS SOPS 9831 HAS SOUS 4020 HAS SOUPS 4020 WITH SCORE 4029.831
AT ITER 2763 NEW BEST:: SOT 14768 SOS 9826 HAS SOPS 9826 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4024.826
AT ITER 2766 NEW BEST:: SOT 14767 SOS 9856 HAS SOPS 9856 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4016.856
AT ITER 2769 NEW BEST:: SOT 14766 SOS 9855 HAS SOPS 9855 HAS SOUS 4006 HAS SOUPS 4006 WITH SCORE 4015.855
AT ITER 2772 NEW BEST:: SOT 14751 SOS 9840 HAS SOPS 9840 HAS SOUS 4003 HAS SOUPS 4003 WITH SCORE 4012.84
AT ITER 2786 NEW BEST:: SOT 14751 SOS 9840 HAS SOPS 9840 HAS SOUS 3999 HAS SOUPS 3999 WITH SCORE 4008.84
AT ITER 2826 NEW BEST:: SOT 14750 SOS 9852 HAS SOPS 9852 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 4001.852
AT ITER 2829 NEW BEST:: SOT 14744 SOS 9834 HAS SOPS 9834 HAS SOUS 3980 HAS SOUPS 3980 WITH SCORE 3989.834
AT ITER 2844 NEW BEST:: SOT 14744 SOS 9655 HAS SOPS 9655 HAS SOUS 3972 HAS SOUPS 3972 WITH SCORE 3981.655
AT ITER 2862 NEW BEST:: SOT 14726 SOS 9637 HAS SOPS 9637 HAS SOUS 3936 HAS SOUPS 3936 WITH SCORE 3945.637
AT ITER 2885 NEW BEST:: SOT 14721 SOS 9632 HAS SOPS 9632 HAS SOUS 3929 HAS SOUPS 3929 WITH SCORE 3938.632
AT ITER 2943 NEW BEST:: SOT 14714 SOS 9625 HAS SOPS 9625 HAS SOUS 3915 HAS SOUPS 3915 WITH SCORE 3924.625
AT ITER 2957 NEW BEST:: SOT 14704 SOS 9615 HAS SOPS 9615 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3914.615
AT ITER 2959 NEW BEST:: SOT 14717 SOS 9615 HAS SOPS 9615 HAS SOUS 3904 HAS SOUPS 3904 WITH SCORE 3913.615
AT ITER 2970 NEW BEST:: SOT 14715 SOS 9613 HAS SOPS 9613 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3910.613
AT ITER 3006 NEW BEST:: SOT 14712 SOS 9632 HAS SOPS 9632 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3904.632
AT ITER 3012 NEW BEST:: SOT 14712 SOS 9672 HAS SOPS 9672 HAS SOUS 3890 HAS SOUPS 3890 WITH SCORE 3899.672
AT ITER 3015 NEW BEST:: SOT 14712 SOS 9664 HAS SOPS 9664 HAS SOUS 3882 HAS SOUPS 3882 WITH SCORE 3891.664
AT ITER 3020 NEW BEST:: SOT 14712 SOS 9664 HAS SOPS 9664 HAS SOUS 3875 HAS SOUPS 3875 WITH SCORE 3884.664
AT ITER 3056 NEW BEST:: SOT 14709 SOS 9664 HAS SOPS 9664 HAS SOUS 3869 HAS SOUPS 3869 WITH SCORE 3878.664
AT ITER 3146 NEW BEST:: SOT 14692 SOS 9647 HAS SOPS 9647 HAS SOUS 3835 HAS SOUPS 3835 WITH SCORE 3844.647
AT ITER 3167 NEW BEST:: SOT 14691 SOS 9646 HAS SOPS 9646 HAS SOUS 3833 HAS SOUPS 3833 WITH SCORE 3842.646
AT ITER 3168 NEW BEST:: SOT 14687 SOS 9642 HAS SOPS 9642 HAS SOUS 3829 HAS SOUPS 3829 WITH SCORE 3838.642
AT ITER 3190 NEW BEST:: SOT 14686 SOS 9641 HAS SOPS 9641 HAS SOUS 3821 HAS SOUPS 3821 WITH SCORE 3830.641
AT ITER 3210 NEW BEST:: SOT 14685 SOS 9635 HAS SOPS 9635 HAS SOUS 3815 HAS SOUPS 3815 WITH SCORE 3824.635
AT ITER 3228 NEW BEST:: SOT 14682 SOS 9627 HAS SOPS 9627 HAS SOUS 3807 HAS SOUPS 3807 WITH SCORE 3816.627
AT ITER 3296 NEW BEST:: SOT 14674 SOS 9619 HAS SOPS 9619 HAS SOUS 3791 HAS SOUPS 3791 WITH SCORE 3800.619
AT ITER 3321 NEW BEST:: SOT 14671 SOS 9616 HAS SOPS 9616 HAS SOUS 3788 HAS SOUPS 3788 WITH SCORE 3797.616
AT ITER 3339 NEW BEST:: SOT 14671 SOS 9614 HAS SOPS 9614 HAS SOUS 3786 HAS SOUPS 3786 WITH SCORE 3795.614
AT ITER 3365 NEW BEST:: SOT 14657 SOS 9600 HAS SOPS 9600 HAS SOUS 3772 HAS SOUPS 3772 WITH SCORE 3781.6
AT ITER 3429 NEW BEST:: SOT 14654 SOS 9591 HAS SOPS 9591 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3773.591
AT ITER 3495 NEW BEST:: SOT 14652 SOS 9589 HAS SOPS 9589 HAS SOUS 3764 HAS SOUPS 3764 WITH SCORE 3773.589
AT ITER 3532 NEW BEST:: SOT 14652 SOS 9589 HAS SOPS 9589 HAS SOUS 3763 HAS SOUPS 3763 WITH SCORE 3772.589
AT ITER 3553 NEW BEST:: SOT 14654 SOS 9591 HAS SOPS 9591 HAS SOUS 3759 HAS SOUPS 3759 WITH SCORE 3768.591
AT ITER 3579 NEW BEST:: SOT 14626 SOS 9563 HAS SOPS 9563 HAS SOUS 3745 HAS SOUPS 3745 WITH SCORE 3754.563
AT ITER 3609 NEW BEST:: SOT 14676 SOS 9613 HAS SOPS 9613 HAS SOUS 3743 HAS SOUPS 3743 WITH SCORE 3752.613
AT ITER 3627 NEW BEST:: SOT 14673 SOS 9610 HAS SOPS 9610 HAS SOUS 3737 HAS SOUPS 3737 WITH SCORE 3746.61
AT ITER 3628 NEW BEST:: SOT 14673 SOS 9609 HAS SOPS 9609 HAS SOUS 3736 HAS SOUPS 3736 WITH SCORE 3745.609
AT ITER 3630 NEW BEST:: SOT 14680 SOS 9620 HAS SOPS 9620 HAS SOUS 3734 HAS SOUPS 3734 WITH SCORE 3743.62
AT ITER 3634 NEW BEST:: SOT 14693 SOS 9634 HAS SOPS 9634 HAS SOUS 3716 HAS SOUPS 3716 WITH SCORE 3725.634
AT ITER 3690 NEW BEST:: SOT 14689 SOS 9630 HAS SOPS 9630 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3717.63
AT ITER 3713 NEW BEST:: SOT 14689 SOS 9618 HAS SOPS 9618 HAS SOUS 3708 HAS SOUPS 3708 WITH SCORE 3717.618
AT ITER 3715 NEW BEST:: SOT 14688 SOS 9637 HAS SOPS 9637 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3703.637
AT ITER 3723 NEW BEST:: SOT 14681 SOS 9630 HAS SOPS 9630 HAS SOUS 3694 HAS SOUPS 3694 WITH SCORE 3703.63
AT ITER 3725 NEW BEST:: SOT 14677 SOS 9626 HAS SOPS 9626 HAS SOUS 3690 HAS SOUPS 3690 WITH SCORE 3699.626
AT ITER 3763 NEW BEST:: SOT 14678 SOS 9627 HAS SOPS 9627 HAS SOUS 3687 HAS SOUPS 3687 WITH SCORE 3696.627
AT ITER 3785 NEW BEST:: SOT 14670 SOS 9619 HAS SOPS 9619 HAS SOUS 3676 HAS SOUPS 3676 WITH SCORE 3685.619
AT ITER 3789 NEW BEST:: SOT 14663 SOS 9537 HAS SOPS 9537 HAS SOUS 3646 HAS SOUPS 3646 WITH SCORE 3655.537
AT ITER 3846 NEW BEST:: SOT 14663 SOS 9534 HAS SOPS 9534 HAS SOUS 3645 HAS SOUPS 3645 WITH SCORE 3654.534
AT ITER 3871 NEW BEST:: SOT 14661 SOS 9532 HAS SOPS 9532 HAS SOUS 3641 HAS SOUPS 3641 WITH SCORE 3650.532
AT ITER 3888 NEW BEST:: SOT 14660 SOS 9531 HAS SOPS 9531 HAS SOUS 3632 HAS SOUPS 3632 WITH SCORE 3641.531
AT ITER 3920 NEW BEST:: SOT 14641 SOS 9534 HAS SOPS 9534 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3636.534
AT ITER 3921 NEW BEST:: SOT 14637 SOS 9530 HAS SOPS 9530 HAS SOUS 3623 HAS SOUPS 3623 WITH SCORE 3632.53
AT ITER 3922 NEW BEST:: SOT 14635 SOS 9528 HAS SOPS 9528 HAS SOUS 3619 HAS SOUPS 3619 WITH SCORE 3628.528
AT ITER 3978 NEW BEST:: SOT 14632 SOS 9523 HAS SOPS 9523 HAS SOUS 3615 HAS SOUPS 3615 WITH SCORE 3624.523
AT ITER 4021 NEW BEST:: SOT 14637 SOS 9524 HAS SOPS 9524 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3622.524
AT ITER 4035 NEW BEST:: SOT 14635 SOS 9520 HAS SOPS 9520 HAS SOUS 3609 HAS SOUPS 3609 WITH SCORE 3618.52
AT ITER 4058 NEW BEST:: SOT 14629 SOS 9515 HAS SOPS 9515 HAS SOUS 3596 HAS SOUPS 3596 WITH SCORE 3605.515
AT ITER 4083 NEW BEST:: SOT 14629 SOS 9510 HAS SOPS 9510 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3600.51
AT ITER 4099 NEW BEST:: SOT 14609 SOS 9485 HAS SOPS 9485 HAS SOUS 3589 HAS SOUPS 3589 WITH SCORE 3598.485
AT ITER 4113 NEW BEST:: SOT 14608 SOS 9489 HAS SOPS 9489 HAS SOUS 3588 HAS SOUPS 3588 WITH SCORE 3597.489
AT ITER 4137 NEW BEST:: SOT 14596 SOS 9465 HAS SOPS 9465 HAS SOUS 3564 HAS SOUPS 3564 WITH SCORE 3573.465
AT ITER 4148 NEW BEST:: SOT 14592 SOS 9455 HAS SOPS 9455 HAS SOUS 3560 HAS SOUPS 3560 WITH SCORE 3569.455
AT ITER 4168 NEW BEST:: SOT 14592 SOS 9455 HAS SOPS 9455 HAS SOUS 3555 HAS SOUPS 3555 WITH SCORE 3564.455
AT ITER 4199 NEW BEST:: SOT 14583 SOS 9446 HAS SOPS 9446 HAS SOUS 3537 HAS SOUPS 3537 WITH SCORE 3546.446
AT ITER 4240 NEW BEST:: SOT 14583 SOS 9446 HAS SOPS 9446 HAS SOUS 3533 HAS SOUPS 3533 WITH SCORE 3542.446
AT ITER 4263 NEW BEST:: SOT 14586 SOS 9449 HAS SOPS 9449 HAS SOUS 3519 HAS SOUPS 3519 WITH SCORE 3528.449
AT ITER 4293 NEW BEST:: SOT 14578 SOS 9421 HAS SOPS 9421 HAS SOUS 3503 HAS SOUPS 3503 WITH SCORE 3512.421
AT ITER 4304 NEW BEST:: SOT 14577 SOS 9390 HAS SOPS 9390 HAS SOUS 3490 HAS SOUPS 3490 WITH SCORE 3499.39
AT ITER 4306 NEW BEST:: SOT 14577 SOS 9388 HAS SOPS 9388 HAS SOUS 3488 HAS SOUPS 3488 WITH SCORE 3497.388
AT ITER 4382 NEW BEST:: SOT 14570 SOS 9377 HAS SOPS 9377 HAS SOUS 3477 HAS SOUPS 3477 WITH SCORE 3486.377
AT ITER 4391 NEW BEST:: SOT 14567 SOS 9374 HAS SOPS 9374 HAS SOUS 3476 HAS SOUPS 3476 WITH SCORE 3485.374
AT ITER 4480 NEW BEST:: SOT 14575 SOS 9382 HAS SOPS 9382 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3475.382
AT ITER 4487 NEW BEST:: SOT 14574 SOS 9381 HAS SOPS 9381 HAS SOUS 3464 HAS SOUPS 3464 WITH SCORE 3473.381
AT ITER 4489 NEW BEST:: SOT 14574 SOS 9381 HAS SOPS 9381 HAS SOUS 3463 HAS SOUPS 3463 WITH SCORE 3472.381
AT ITER 4514 NEW BEST:: SOT 14574 SOS 9358 HAS SOPS 9358 HAS SOUS 3456 HAS SOUPS 3456 WITH SCORE 3465.358
AT ITER 4571 NEW BEST:: SOT 14570 SOS 9354 HAS SOPS 9354 HAS SOUS 3444 HAS SOUPS 3444 WITH SCORE 3453.354
AT ITER 4581 NEW BEST:: SOT 14569 SOS 9338 HAS SOPS 9338 HAS SOUS 3438 HAS SOUPS 3438 WITH SCORE 3447.338
AT ITER 4593 NEW BEST:: SOT 14568 SOS 9337 HAS SOPS 9337 HAS SOUS 3436 HAS SOUPS 3436 WITH SCORE 3445.337
AT ITER 4627 NEW BEST:: SOT 14569 SOS 9336 HAS SOPS 9336 HAS SOUS 3435 HAS SOUPS 3435 WITH SCORE 3444.336
AT ITER 4631 NEW BEST:: SOT 14568 SOS 9334 HAS SOPS 9334 HAS SOUS 3433 HAS SOUPS 3433 WITH SCORE 3442.334
AT ITER 4641 NEW BEST:: SOT 14567 SOS 9333 HAS SOPS 9333 HAS SOUS 3431 HAS SOUPS 3431 WITH SCORE 3440.333
AT ITER 4659 NEW BEST:: SOT 14565 SOS 9330 HAS SOPS 9330 HAS SOUS 3428 HAS SOUPS 3428 WITH SCORE 3437.33
AT ITER 4671 NEW BEST:: SOT 14565 SOS 9330 HAS SOPS 9330 HAS SOUS 3422 HAS SOUPS 3422 WITH SCORE 3431.33
AT ITER 4731 NEW BEST:: SOT 14565 SOS 9325 HAS SOPS 9325 HAS SOUS 3421 HAS SOUPS 3421 WITH SCORE 3430.325
AT ITER 4737 NEW BEST:: SOT 14563 SOS 9321 HAS SOPS 9321 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3428.321
AT ITER 4784 NEW BEST:: SOT 14559 SOS 9317 HAS SOPS 9317 HAS SOUS 3411 HAS SOUPS 3411 WITH SCORE 3420.317
AT ITER 4869 NEW BEST:: SOT 14559 SOS 9354 HAS SOPS 9354 HAS SOUS 3409 HAS SOUPS 3409 WITH SCORE 3418.354
AT ITER 4887 NEW BEST:: SOT 14558 SOS 9353 HAS SOPS 9353 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3417.353
AT ITER 4962 NEW BEST:: SOT 14543 SOS 9338 HAS SOPS 9338 HAS SOUS 3393 HAS SOUPS 3393 WITH SCORE 3402.338
AT ITER 4972 NEW BEST:: SOT 14538 SOS 9329 HAS SOPS 9329 HAS SOUS 3384 HAS SOUPS 3384 WITH SCORE 3393.329
AT ITER 4977 NEW BEST:: SOT 14538 SOS 9322 HAS SOPS 9322 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3386.322
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: DES-PT-20a-CTLCardinality-00 (AU( potential( (tk(P176)) <= (tk(P42)) ),( potential( ( 2 ) <= (tk(P159)) ) & potential( (tk(P162)) <= (tk(P68)) ) ) ))
PROPERTY: DES-PT-20a-CTLCardinality-01 ( (EF(( ( potential( (tk(P40)) <= (tk(P122)) ) & potential( ( 2 ) <= (tk(P93)) ) ) & ( potential( ( 3 ) <= (tk(P43)) ) & potential( ( 2 ) <= (tk(P157)) ) ) ))) | ( potential( (tk(P11)) <= (tk(P53)) ) & potential( ( 3 ) <= (tk(P65)) ) ) )
PROPERTY: DES-PT-20a-CTLCardinality-02 (AF((AG( (! potential( ( 1 ) <= (tk(P195)) ))))))
PROPERTY: DES-PT-20a-CTLCardinality-03 ( potential( (tk(P19)) <= (tk(P52)) ) & (AG( ( potential( (tk(P3)) <= (tk(P182)) ) | (! potential( (tk(P186)) <= (tk(P6)) )) ))) )
PROPERTY: DES-PT-20a-CTLCardinality-04 (AG( ( ( ( potential( ( 1 ) <= (tk(P104)) ) & potential( ( 2 ) <= (tk(P163)) ) ) | potential( (tk(P77)) <= (tk(P22)) ) ) & ( potential( (tk(P130)) <= (tk(P61)) ) & potential( (tk(P164)) <= (tk(P178)) ) ) )))
PROPERTY: DES-PT-20a-CTLCardinality-05 ( ( ( (! (! potential( (tk(P79)) <= (tk(P109)) ))) & (AF(potential( ( 2 ) <= (tk(P170)) ))) ) | (AU( potential( ( 3 ) <= (tk(P140)) ),potential( (tk(P114)) <= (tk(P190)) ) )) ) & (AF(potential( ( 1 ) <= (tk(P174)) ))) )
PROPERTY: DES-PT-20a-CTLCardinality-06 ( ( (! (EX( potential( ( 3 ) <= (tk(P107)) )))) | (! (! potential( ( 1 ) <= (tk(P63)) ))) ) & (EU( potential( (tk(P80)) <= (tk(P190)) ),( potential( (tk(P163)) <= (tk(P82)) ) & potential( ( 3 ) <= (tk(P14)) ) ) )) )
PROPERTY: DES-PT-20a-CTLCardinality-07 (EF((AG( potential( (tk(P16)) <= (tk(P3)) )))))
PROPERTY: DES-PT-20a-CTLCardinality-08 (AF((AG( ( potential( (tk(P172)) <= (tk(P53)) ) | potential( (tk(P185)) <= (tk(P96)) ) )))))
PROPERTY: DES-PT-20a-CTLCardinality-09 ( ( potential( (tk(P65)) <= (tk(P89)) ) | ( (! ( potential( ( 2 ) <= (tk(P1)) ) & potential( ( 3 ) <= (tk(P132)) ) )) | ( ( potential( (tk(P103)) <= (tk(P45)) ) | potential( (tk(P10)) <= (tk(P2)) ) ) | (! potential( (tk(P48)) <= (tk(P57)) )) ) ) ) & (! (EF(( potential( ( 3 ) <= (tk(P87)) ) | potential( ( 2 ) <= (tk(P114)) ) )))) )
PROPERTY: DES-PT-20a-CTLCardinality-10 (EF(( ( ( potential( (tk(P169)) <= (tk(P75)) ) & potential( ( 1 ) <= (tk(P24)) ) ) | potential( ( 1 ) <= (tk(P43)) ) ) & ( potential( ( 2 ) <= (tk(P110)) ) | (! potential( (tk(P104)) <= (tk(P4)) )) ) )))
PROPERTY: DES-PT-20a-CTLCardinality-11 (AG( (AU( potential( (tk(P134)) <= (tk(P68)) ),potential( (tk(P97)) <= (tk(P99)) ) ))))
PROPERTY: DES-PT-20a-CTLCardinality-12 ( (EF(( potential( ( 2 ) <= (tk(P102)) ) | (! potential( (tk(P60)) <= (tk(P143)) )) ))) & (! ( potential( ( 1 ) <= (tk(P41)) ) & (AX( potential( ( 2 ) <= (tk(P147)) ))) )) )
PROPERTY: DES-PT-20a-CTLCardinality-13 (EF((AX( (! potential( (tk(P58)) <= (tk(P114)) ))))))
PROPERTY: DES-PT-20a-CTLCardinality-14 (AG( (AF(potential( ( 3 ) <= (tk(P81)) )))))
PROPERTY: DES-PT-20a-CTLCardinality-15 (AU( (AX( potential( ( 1 ) <= (tk(P117)) ))),(! ( potential( (tk(P26)) <= (tk(P86)) ) | potential( (tk(P18)) <= (tk(P96)) ) )) ))

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="DES-PT-20a"
export BK_EXAMINATION="CTLCardinality"
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 DES-PT-20a, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r048-ebro-158902541900259"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-20a.tgz
mv DES-PT-20a execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;